TP1 constraint programming finished.