solver_printsolution
solver_printsolution(solv, problem, solution);
extern void solver_printsolution(Solver *solv, Id problem, Id solution);