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,
new GoalGenerate(vars,var_selector,value_selector),
print);