Symbol: solver_printprobleminfo