[IA] All constraints are done.
[IA] backtrack searchAllSolutions done
[IA] correction violationTest de ConstraintDiff