Symbol: solver_printcompleteprobleminfo