add RandomRestartSolver