fixes to the restarting solver