add withNewSolverAsync

starting a solver in such a way that it can be threadKill-ed