Originally posted by: SystemAdmin
The error message means that CPLEX proved your problem to be infeasible in presolve.
Presolving was able to fix a bunch of variables and these fixings rendered the row named c130 (which is the 130th constraint if you don't use explicit row names) infeasible.
To investigate this issue you can use the conflict refiner:
-
Export your problem into a .sav file before solving it.
-
Use the interactive optimizer to analyze the conflict:
read <your problem>.sav
conflict
display conflict all
This will list a minimal set of conflicting constraints/bounds. From this set you should be able to tell what is wrong with your model.
Yes, in general it is a good idea to specify bounds for variables, even if they are implied by constraints.
#CPLEXOptimizers#DecisionOptimization