Decision Optimization

Decision Optimization

Delivers prescriptive analytics capabilities and decision intelligence to improve decision-making.


#Analytics
#DecisionOptimization
#DecisionOptimization
 View Only
  • 1.  How do I identify which constraint is causing infeasibility?

    Posted 04/15/17 06:52 AM

    Originally posted by: BhavnaJha


    When I run this it shows the following:

     

    I am attaching the .mod file.

    <<< setup


    <<< generate

    Infeasibility row 'c131119':  0  = 7546.17.
    Presolve time = 4.91 sec. (1067.18 ticks)

    Root node processing (before b&c):
      Real time             =    6.94 sec. (1925.72 ticks)
    Parallel b&c, 4 threads:
      Real time             =    0.00 sec. (0.00 ticks)
      Sync time (average)   =    0.00 sec.
      Wait time (average)   =    0.00 sec.
                              ------------
    Total (root+branch&cut) =    6.94 sec. (1925.72 ticks)

    <<< solve


    <<< no solution

    Even when I have named the constraints it doesn't tell which constraint  by name is causing the error. 

    And I can't seem to find any logical flaws in the way I have constructed the constraints. Please let me know if you find any logical error or otherwise a way how I find out which constraint is creating infeasibility. 

    Please help me.

    Thank you in advance. 

     

     


    #DecisionOptimization
    #OPLusingCPLEXOptimizer


  • 2.  Re: How do I identify which constraint is causing infeasibility?

    Posted 04/17/17 10:15 AM


  • 3.  Re: How do I identify which constraint is causing infeasibility?

    Posted 04/25/17 04:07 AM

    Since presolve detects infeasibility, you will have to run the conflict refiner without presolve. Do so

    1. Export your model to a SAV file. Do this either by using option '-e [export-file]' of oplrun or by using the 'Export Format' setting in the .ops file.

    2. Run the following commands in the interactive
    CPLEX> read model.sav
    CPLEX> set pre pre n
    CPLEX> conflict
    CPLEX> disp conf all

       This will give you a minimal conflict that shows the conflicting constraints/bounds.
     


    #DecisionOptimization
    #OPLusingCPLEXOptimizer