solver_printprobleminfo
solver_printprobleminfo(solv, problem);
extern void solver_printprobleminfo(Solver *solv, Id problem);