// SMF.log(solver, true, true);
solver.set(
new ObjectiveStrategy(a,OptimizationPolicy.TOP_DOWN),
ISF.minDom_LB(a));
SMF.restartAfterEachSolution(solver);
NogoodStoreFromSolutions ng = new NogoodStoreFromSolutions(new IntVar[]{a});
solver.post(ng);
solver.plugMonitor(ng);
solver.findAllOptimalSolutions(ResolutionPolicy.MAXIMIZE, a, false);
Assert.assertEquals(solver.hasReachedLimit(),false);