Can specify timelimit when solving ILP.