Graph_coloring_problem loading ...