construct/mc graph k coloring

construct/mc graph k coloring: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Graph G with 250 vertices numbered 0..249 and 1075 edges: (0,28), (0,38), (0,57), (0,131), (0,189), (0,241), (1,32), (1,55), (1,97), (1,127), (1,145), (1,147), (1,150), (1,167), (1,189), (1,199), (1,207)…