IntVar[] vars = VF.enumeratedArray("vars", 3, 0, 2, solver);
NogoodStoreFromRestarts ngs = new NogoodStoreFromRestarts(vars);
solver.post(ngs);
solver.set(ISF.random_value(vars, 29091981L));
final BacktrackCounter sc = new BacktrackCounter(30);
sc.setAction(new ICounterAction() {
@Override
public void onLimitReached() {
solver.getSearchLoop().restart();
sc.reset();
}