After defining "param tlim" and "param stlim symbolic" I could find nothing
wrong with your AMPL statements. But it's not clear what you mean when you
say that the "directive only takes effect at the first CPLEX call." Is the
value of tlim or stlim or cplex_options not changing from one pass through
the loop to the next? Is _solve_time equal to zero? Or is it that
cplex_options is being changed but CPLEX is ignoring it? In any case, it
may be necessary to consider the entire loop and not just these three
statements in order to determine what the problem is.
Bob Fourer
4...@ampl.com