Infeasibility analysis on a MISOCP

[Benoît Martin]

Hello,

I am using Ampl with CPLEX to run a MISOCP.

For a small instance of my problem (dataset 1) it works and I get an optimal solution.

But for a bigger instance of my problem (dataset 2) it is declared infeasible. 

I thus tried the following:

option cplex_option 'issfind 1';

display {i in 1.._ncons: _con [i].iis != "non"} (_conname[i], _con[i].iis);

It causes CPLEX to crash.

Then I use XPRESS with

option xpress_options 'iis';

and I get the following message

Bad suffix .iis for _con

context:  display  >>> _con[1].iis <<<

Possible suffix values for _con.suffix:

        astatus   body      defvar   derstage

        dinit     dinit0    dual     lb

        lbs       lbs1      lbs2     ldual

        lslack    no        relax    slack

        sno       sstatus   stage    status

        ub        ubs       ubs1     ubs2

        udual     uslack

How can I obtain the constraints in this IIS?

Thank you very much!

[Victor Zverovich]

CPLEX options are not specified correctly. Should be:

  option cplex_options 'iisfind 1';

HTH,

Victor

--
You received this message because you are subscribed to the Google Groups "AMPL Modeling Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ampl+uns...@googlegroups.com.
To post to this group, send email to am...@googlegroups.com.
Visit this group at https://groups.google.com/group/ampl.
For more options, visit https://groups.google.com/d/optout.