Added time limit parameter to ILP solver.