terminate all but the fastest solver after a call to "solve"
allow exit by client even while choosing solvers