When you get messages like
presolve, constraint constraint_4['P5']:
all variables eliminated, but lower bound = 3e-08 > 0
presolve, constraint constraint_4['P4']:
all variables eliminated, but lower bound = 4e-08 > 0
presolve, constraint constraint_3['P5']:
all variables eliminated, but upper bound = -3.9e-07 < 0
Setting $presolve_eps >= 3.6e-08 might help.
it means that AMPL's presolve phase is simplifying three of the constraints to invalid inequalities: 3e-08 <= 0, 4e-08 <= 0, and -3.9e-07 >= 0. This proves that there is no feasible solution to within the tolerances used by presolve. However presolve is also telling you that if you increase the value of the presolve_eps tolerance then it will ignore these slight infeasibilities and it might accept the reduced problem and pass it to the solver. The presolve_eps option is an AMPL option, not a CPLEX option, so to increase its value to, for example, 8.0e-07, you would say:
option presolve_eps 8.0e-07;
Alternatively you could try setting
option presolve 0;
which turns off AMPL's presolve entirely and leaves it to the solve to do any presolving. You are also getting the error message
Error at _cmdno 27 executing "let" command
(file ../slr.run, line 76, offset 2145):
can't compute 99.6373/0
because in the statement "let step := scale * (UB - Lagrangian) / norm;" the value of norm is zero.
Bob Fourer
am...@googlegroups.com
=======