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