IntExp cost = C.sum(vars); cost.name("cost");
//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);