add time limit for solver