first solution
Use clique, basic symmetry breaking for graph coloring
Add AllDifferent for cliques constraint and also visit nodes in decreasing order of their rank