graph coloring finished