} else {
solver.set(new ConstructorIntHeur(succ,offset));
}
SearchMonitorFactory.limitTime(solver, TIME_LIMIT);
solver.findSolution();
IMeasures mes = solver.getMeasures();
// the problem has at least one solution
Assert.assertFalse(mes.getSolutionCount() == 0 && mes.getTimeCount() < TIME_LIMIT/1000);
}