Solver::freeProblem()を実装