<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi George,<br>
    <br>
    does SCIP detect the infeasibility already in presolving? If that is
    the case, as a start, you should set the verbosity level in SCIP to
    5 (which stands for full). The parameter is called
    "display/verblevel", in the interactive shell, type "set disp
    verblevel 5". This will give you the information which constraint
    handler or other plugin detected the infeasibility.<br>
    <br>
    After that, we can discuss how to identify the cause for the
    infeasibility. For that, it would be good if you sent us the
    instance and the SCIP output (best send it to me directly).<br>
    <br>
    Best,<br>
    Gerald<br>
    <br>
    <div class="moz-cite-prefix">Am 21.09.2013 23:28, schrieb George
      Nychis:<br>
    </div>
    <blockquote
cite="mid:CA+7oygcO7YZMTEGbSU9Xvi0UFuSaKJLtb4mQhEL6LjWat9h3qQ@mail.gmail.com"
      type="cite">
      <div dir="ltr">If I am running SCIP on a ZMPL file like "scip -f
        blah.zpl" and it determines that my problem is infeasible, is
        there any way to also output the potential variables that are
        causing the infeasibility?  Basically, something to help me
        debug the issue.
        <div>
          <br>
        </div>
        <div>Thanks!</div>
        <div><br>
        </div>
        <div>- George</div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>