TP4 of constraint programming finished.