Halt / Reset
Run solver