TP2 of constraint programming finished.