Solver Stopped At Users Request