Displaying a Conflict in the Interactive Optimizer

ILOG CPLEX 11.0 User's Manual > Infeasibility and Unboundedness > Diagnosing Infeasibility by Refining Conflicts > Meet the Conflict Refiner in the Interactive Optimizer > Displaying a Conflict in the Interactive Optimizer

Displaying a Conflict in the Interactive Optimizer

INDEX

PREVIOUS NEXT

As you can see in the log displayed on the screen, the conflict refiner works to narrow the choices until it arrives at a conflict containing only two members. Since the conflict is small in this simplified example, you can see it in its entirety by entering this command:

display conflict all

Minimize
 obj:
Subject To
 c2: x1 + x2 + 0.8 x3 + 0.6 x4 + 0.4 x5 >= 2.1
 c8: x2 + x3 + x4 + x5 <= 0
Bounds
 0 <= x1 <= 1
 0 <= x2 <= 1
 0 <= x3 <= 1
 0 <= x4 <= 1
 0 <= x5 <= 1
Binaries
 x1  x2  x3  x4  x5

In a larger conflict, you can selectively display constraints or bounds on variables by using these commands to specify a range of rows or columns:

display conflict constraints

display conflict variables

You can also write the entire conflict to a file in LP-format to browse later by using the command (where modelname is the name you gave the problem):

write modelname.clp

PREVIOUS NEXT