solver.getSearchLoop().plugSearchMonitor(
new LargeNeighborhoodSearch(solver,
new SequenceNeighborhood(
new ExplainingObjective(solver, 200, 123456L),
new ExplainingCut(solver, 200, 123456L),
new RandomNeighborhood4Explanation(solver, vars, 200, 123456L)), true));
solver.post(ngs);
solver.set(IntStrategyFactory.random_bound(vars, seed));
// SMF.log(solver, true, true, new IMessage() {