Vertex_cover_problem loading ...