solver_printproblem
solver_printproblem(solv, problem[i]);
solver_printproblem(solv, disabled.elements[i]);
extern void solver_printproblem(Solver *solv, Id v);