The "we have run out of total time" check is still being done in problem.terminate, right? (as it is in BitStringProblem)