<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Jack,<br>
<br>
You should now get a message in file to say results not valid when
infeasible.<br>
<br>
John Forrest<br>
On 26/08/16 16:43, Jack Dunn wrote:<br>
</div>
<blockquote
cite="mid:CABKkHkQr8fUqWAriSPvgUXAvDf_4t8KRmZpCXaW3p916gsMUJw@mail.gmail.com"
type="cite">
<div dir="ltr">Hi all,
<div><br>
</div>
<div>If I request the duals using the Cbc binary on a problem
that ends up being infeasible (see attached model.lp file for
a minimal example) I encounter a segfault:</div>
<div><br>
</div>
<p class="inbox-inbox-p1"><span class="inbox-inbox-s1">$ <font
face="monospace">cbc</font></span><font face="monospace"><span
class="inbox-inbox-s2"> -import </span><span
class="inbox-inbox-s1">model.lp</span><span
class="inbox-inbox-s2"> -solve -printingOptions all
-solution </span><span class="inbox-inbox-s1">model.sol</span><span
class="inbox-inbox-s2"> -printingOptions rhs<span
class="inbox-inbox-Apple-converted-space"> </span>-solution
</span><span class="inbox-inbox-s1">rhsranges.txt</span><span
class="inbox-inbox-s2"> -printingOptions objective
-solution costranges.txt<span
class="inbox-inbox-Apple-converted-space"> </span></span></font></p>
<p class="inbox-inbox-p1"><span class="inbox-inbox-s2"><font
face="monospace">Welcome to the CBC MILP Solver<span
class="inbox-inbox-Apple-converted-space"> <br>
</span></font></span><span
style="font-family:monospace;line-height:1.5">Version: 2.9.8</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> <br>
</span><span style="font-family:monospace;line-height:1.5">Build
Date: Apr 28 2016</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> <br>
</span><span style="font-family:monospace;line-height:1.5">Revision
Number: 2277</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> <br>
</span><span style="font-family:monospace;line-height:1.5"><br>
command line - cbc -import model.lp -solve -printingOptions
all -solution model.sol -printingOptions rhs -solution
rhsranges.txt -printingOptions objective -solution
costranges.txt (default strategy 1)<br>
</span><span style="font-family:monospace;line-height:1.5"><br>
Presolve determined that the problem was infeasible with
tolerance of 1e-08<br>
</span><span style="font-family:monospace;line-height:1.5"><br>
Analysis indicates model infeasible or unbounded<br>
</span><span style="font-family:monospace;line-height:1.5">0</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">Obj 0 Primal
inf 1.9999999 (1) Dual inf 0.9999999 (1)<br>
</span><span style="font-family:monospace;line-height:1.5">1</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">Obj 0 Primal
inf 0.9999999 (1)<br>
</span><span style="font-family:monospace;line-height:1.5">Primal
infeasible - objective value 0<br>
</span><span style="font-family:monospace;line-height:1.5">PrimalInfeasible
objective 0 - 1 iterations time 0.002<br>
</span><span style="font-family:monospace;line-height:1.5"><br>
Result - Linear relaxation infeasible<br>
</span><span style="font-family:monospace;line-height:1.5"><br>
Enumerated nodes: </span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">0<br>
</span><span style="font-family:monospace;line-height:1.5">Total
iterations: </span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">0<br>
</span><span style="font-family:monospace;line-height:1.5">Time
(CPU seconds): </span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">0.00<br>
</span><span style="font-family:monospace;line-height:1.5">Time
(Wallclock Seconds): </span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">0.01<br>
</span><span style="font-family:monospace;line-height:1.5"><br>
Option for printingOptions changed from normal to all<br>
</span><span style="font-family:monospace;line-height:1.5">Option
for printingOptions changed from all to rhs!ranging<br>
</span><span style="font-family:monospace;line-height:1.5">0</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">Obj 0 Primal
inf 0.9999999 (1)<br>
</span><span style="font-family:monospace;line-height:1.5">Primal
infeasible - objective value 0<br>
</span><span style="font-family:monospace;line-height:1.5">Primal
infeasible - objective value 0<br>
</span><span style="font-family:monospace;line-height:1.5">[1]</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">22862
segmentation fault</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5">cbc -import
model.lp -solve -printingOptions</span><span
class="inbox-inbox-Apple-converted-space"
style="font-family:monospace;line-height:1.5"> </span><span
style="font-family:monospace;line-height:1.5"> </span></p>
<div><br>
</div>
<div>(I also posted this to the issue tracker: <a
moz-do-not-send="true"
href="https://urldefense.proofpoint.com/v2/url?u=https-3A__projects.coin-2Dor.org_Cbc_ticket_170&d=CwMFaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=woETK4VtCb8PX9kQHU5U79PxeIs1la2TmzvoBGrOI1k&s=Fq808UWUHNIPMCKnjEq7cXUcUC7s6PzDrRdvXDhgH8I&e=">https://projects.coin-or.org/Cbc/ticket/170</a>)</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=woETK4VtCb8PX9kQHU5U79PxeIs1la2TmzvoBGrOI1k&s=HC7cMjneWNWOoDfieMUcn5eEuBGLyAsJsAM2-uLtdb8&e=">https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=woETK4VtCb8PX9kQHU5U79PxeIs1la2TmzvoBGrOI1k&s=HC7cMjneWNWOoDfieMUcn5eEuBGLyAsJsAM2-uLtdb8&e=</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>