@Override
public void configureSearch() {
// bottom-up optimisation, then classical branching
solver.set(ISF.lexico_LB(nbValues), ISF.minDom_LB(assignment));
// displays the root lower bound
solver.plugMonitor(new IMonitorInitPropagation() {
public void beforeInitialPropagation() {
}
public void afterInitialPropagation() {
System.out.println("bound after initial propagation : " + nbValues);