<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div>Hi Jennifer,<br>
</div>
<div><br>
</div>
<div>this sounds very strange and like a bug. Usually, SCIP should
not claim infeasibility if it finds a solution on a tighter model.
If you want, you can send me your model via a personal mail and I
will have a look.<br>
<br>
</div>
<div>Which SCIP version and which LP solver do you use?<br>
</div>
<div><br>
Best,<br>
Jakob<br>
</div>
<div><br>
<div class="moz-cite-prefix">Am 11.03.19 um 16:21 schrieb Jennifer
Uebbing:<br>
</div>
<blockquote type="cite"
cite="mid:1557370352.117267.1552317695908.JavaMail.zimbra@mpi-magdeburg.mpg.de">
<meta http-equiv="content-type" content="text/html;
charset=UTF-8">
<div style="font-family: Arial; font-size: 10pt; color: #000000">
<div data-marker="__QUOTED_TEXT__">
<div style="font-family: Arial; font-size: 10pt; color:
#000000">
<div>
<div style="font-family: Arial; font-size: 10pt; color:
#000000">
<div>
<div style="font-family: Arial; font-size: 10pt;
color: #000000">
<div>Hello fellow SCIP users,<br>
</div>
<br>
<div>I am facing a problem with using SCIP and
hope, that someone can help me with this: </div>
<br>
<div>If I plug in my model and solve it, I get the
result that it is infeasible. However, if I add
a constraint, which fixes a specific binary
variable to one, SCIP does find a feasible
solution. Why can SCIP not find this solution
without this constraint? I could also make SCIP
find this solution in the original problem
(without fixing the variable), by enforcing
branching on this binary variable first.<br>
</div>
<br>
<div>Can someone explain the behavior of SCIP to
me? Why does this happen?<br>
</div>
<br>
<div>Best regards,<br>
</div>
<div>Jennifer</div>
</div>
</div>
</div>
</div>
</div>
<br>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-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="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Jakob Witzig
Zuse Institute Berlin (ZIB)
Division Mathematical Optimization and Scientific Information
Research Group Mathematical Optimization Methods
Takustrasse 7
14195 Berlin
Tel. : +49 (0)30 84185-416
Fax : +49 (0)30 84185-269
email: <a class="moz-txt-link-abbreviated" href="mailto:witzig@zib.de">witzig@zib.de</a></pre>
</div>
</body>
</html>