<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font face="Calibri,sans-serif" size="3" style="font-size:12pt;" color="#000000">Dear Gerald,</font><div><font face="Calibri,sans-serif" size="3" style="font-size:12pt;" color="#000000"><br></font></div><div>In order to clarify my situation, I made a quick example containing a user constraint handler which stays always infeasible, I set both scip_check and scip_enfolp to return <span style="font-size: 12pt;">SCIP_INFEASIBLE.</span></div><div><span style="font-size: 12pt;"><br></span></div><div><span style="font-size: 12pt;">When checking scip logs during solving process, i found a message claims infeasibility :</span></div><div><b>feasible solution found by trivial heuristic after 0.0 seconds, objective value -3.000000e+00</b></div><div><b>presolving:</b></div><div><b>propagator <pseudoobj> detected infeasibility<span style="font-size: 12pt;"> </span></b></div><div><b><span style="font-size: 12pt;"><br></span></b></div><div><span style="font-size: 12pt;">but after that, I get :</span></div><div><div><b>SCIP Status : problem is solved [optimal solution found]</b></div><div><b>Solving Time (sec) : 0.00</b></div><div><b>Solving Nodes : 0</b></div><div><b>Primal Bound : -3.00000000000000e+00 (1 solutions)</b></div><div><b>Dual Bound : -3.00000000000000e+00</b></div><div><b>Gap : 0.00 %</b></div></div><div><br></div><div>SCIP should print [infeasible] rather then [optimal solution found]</div><div>Please find the source code and the file containing SCIP logs for the example in the attachment.</div><div><br></div><div>Best regards</div><div>---</div><div>A. Ouali</div><div><br><br><div><hr id="stopSpelling">Date: Mon, 10 Aug 2015 18:55:41 +0200<br>From: gamrath@zib.de<br>To: oualiaek@hotmail.fr; scip@zib.de<br>Subject: Re: [Scip] User constraints checking<br><br>
<div class="ecxmoz-cite-prefix">Dear Abdelkader,<br>
<br>
can you send some more information and perhaps the output of SCIP?
I cannot imagine that SCIP states that the problem is infeasible
but prints a solution afterwards.<br>
<br>
The scip_check method is mainly used to check feasibility of
solutions generated by heuristics. Checking whether the node LP
solution is feasible is done by the scip_enfolp method, which
should normally do something to enforce feasibility, e.g., add a
constraint or perform branching, but can also just return
infeasible. If you did not modify this method to always return
infeasible, it might happen that LP solutions are accepted to be
feasible.<br>
<br>
Best,<br>
Gerald<br>
<br>
On 10.08.2015 14:30, Abdelkader Ouali wrote:<br>
</div>
<blockquote cite="mid:DUB115-W133C50DAA06B1CA69890851AB700@phx.gbl">
<style><!--
.ExternalClass .ecxhmmessage P {
padding:0px;
}
.ExternalClass body.ecxhmmessage {
font-size:12pt;
font-family:Calibri;
}
--></style>
<div dir="ltr"><font style="font-size:12pt;" face="Calibri,sans-serif" size="3" color="#000000">Dear SCIP
users,</font>
<div><br>
</div>
<div>
<div>I am implementing my own constraints using the constraint
handler as explained in the TSP example of SCIP,</div>
<div>The problem I am facing is the feasibility checking with
my own constraints, which they don't include problem
variables in their scope, but use them to check the
feasibility of other given information, </div>
<div>In order to see if SCIP respond to my constraints, I set
the callback function scip_check returns always infeasible.
In solving stage, SCIP detects the infeasibility, but after
that it prints solutions that ignore my constraints.</div>
</div>
<div><br>
</div>
<div>I want to know what is going on inside SCIP ! it detects
infeasibility but rather prints infeasible solutions.</div>
<div><br>
</div>
<div>Thanks in advance for any explanations.</div>
<div>---</div>
<div>A. Ouali</div>
</div>
<br>
<fieldset class="ecxmimeAttachmentHeader"></fieldset>
<br>
<pre>_______________________________________________
Scip mailing list
<a class="ecxmoz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="ecxmoz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip" target="_blank">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br></div></div> </div></body>
</html>