Solver running.