//x.lessOrEqual(y).execute();
x.mul(2).sub(cost).more(y).execute();
C.traceChoicePoints(vars);
//C.displayOnBacktrack(vars);
C.traceFailures(vars);
IntValueSelector value_selector = new IntValueSelectorMin();
IntVarSelector var_selector = new IntVarSelectorMinSize(vars);
Goal print = new GoalAnd(new GoalPrint(vars),new GoalPrintObject(C,cost));
Goal solution = new GoalAnd(print,