5051525354555657585960
protected Solver modeler(int m) { GolombRuler pb = new GolombRuler(); pb.readArgs("-m", Integer.toString(m)); pb.createSolver(); pb.buildModel(); pb.configureSearch(); return pb.getSolver(); } @Test(groups = "verylong") public void testSmall() {