Solver Stopped At Users Guide