Add timeout for MLSolver, we give up if we can't generate the file within an hour.