changes to Solver: added maximal execution time