final BacktrackCounter sc = new BacktrackCounter(30);
sc.setAction(new ICounterAction() {
@Override
public void onLimitReached() {
solver.getSearchLoop().restart();
sc.reset();
}
});
solver.getSearchLoop().plugSearchMonitor(sc);
solver.getSearchLoop().plugSearchMonitor(ngs);
SMF.limitTime(solver, 200000);