Improve performance of ILP coloring by pre-coloring largest clique

By assigning colors to the largest clique of the graph, the solution space can be reduced.