The message
presolve, constraint six_one['c1',1]:
all variables eliminated, but lower bound = 1 > 0
is basically telling you that constraint six_one['c1',1] is "infeasible": any solution to the other constraints cannot also satisfy this one. When I expand this infeasible constraint, I see
ampl: expand six_one['c1',1];
subject to six_one['c1',1]:
amt_res_cust['r1','c1',1] = 1;
So this constraint states that the variable amt_res_cust['r1','c1',1] must equal 1. However I also see that the lower and upper bounds on this variable are zero:
ampl: display amt_res_cust['r1','c1',1].lb,amt_res_cust['r1','c1',1].ub;
amt_res_cust['r1','c1',1].lb = 0
amt_res_cust['r1','c1',1].ub = 0
This tells me that presolve has found, by an analysis of other variable bounds and of constraints, that amt_res_cust['r1','c1',1] can only take the value 0 -- which implies that the constraint six_one['c1',1] saying that amt_res_cust['r1','c1',1] = 1 cannot be satisfied.
You will need to figure out why amt_res_cust['r1','c1',1] can only have the value 0, by looking at the other constraints that affect this variable. If you want to use a solver to find an irreducible infeasible subset (IIS), then type "solve;" a second type and the problem will be sent to the solver even though presolve has already found it to be infeasible.
Bob Fourer
am...@googlegroups.com