added missed const to Solver::solve and SolverBenchmark::run