CHECKCOL: improved local search for graph coloring