begin 0.144-SNAPSHOT
fixed bug: If there weren't maxNumberOfSolvers availiable then even after all the solvers had failed we still waited for the failAfterTime.
release 0.144