
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=iso-8859-2">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    Dear all,<br>

    <br>

    I'm using SCIP-3.1.2 with SoPlex 2.2.0 on windows (but this problem

    also arises with SCIP-3.1.1 or SCIP-3.1.0).<br>

    <br>

    The problem arises when I want to solve certain MIPs with absolute

    gap limit.<br>

    I have attached a small example file. In this MIP the optimal

    solution is equal to 0, and of course SCIP can solve easily. But

    when I set absolute gap to 11 (that is, set <i>limits/absgap</i>=11)

    SCIP terminates according to gap limit, but without solution:<br>

    <br>

    <i>SCIP Status        : solving was interrupted [gap limit reached]</i><i><br>

    </i><i>Solving Time (sec) : 0.01</i><i><br>

    </i><i>Solving Nodes      : 0</i><i><br>

    </i><i>Primal Bound       : +7.12610000000000e+000 (0 solutions)</i><i><br>

    </i><i>Dual Bound         : +0.00000000000000e+000</i><i><br>

    </i><i>Gap                : infinite<br>

      <br>

    </i>So, what I have got is trivially not correct, I guess.<br>

    How can we reach gap limit without a feasible solution? And why do

    SCIP set finite primal bound without any feasible solution? (Okay,

    it is indeed an upper bound for the optimum (according to bounds 0

    <= x417 <= 7), and it is lower than the absolute gap, but SCIP

    should not say that the gap limit reached since we have not got any

    solution.)<br>

    <br>

    Best regards,<br>

    Marko<br>

  </body>

</html>