public final static int[][] OPTIMAL_RULER = {
{5, 11}, {6, 17}, {7, 25}, {8, 34}, {9, 44}, {10, 55}, {11, 72}
};
protected Solver modeler(int m) {
GolombRuler pb = new GolombRuler();
pb.readArgs("-m", Integer.toString(m));
pb.createSolver();
pb.buildModel();
pb.configureSearch();
return pb.getSolver();
}