<div>&nbsp;</div>
<div>Hi Tim,</div>
<div>&nbsp;</div>
<div>I am using an MPS file which is located at the following location:</div>
<div><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://uts.cc.utexas.edu/~jeetv/MIPproblem.mps" target="_blank">http://uts.cc.utexas.edu/~jeetv/MIPproblem.mps</a>&nbsp;(too big to be posted here...)&nbsp;</div>

<div>&nbsp;</div>
<div>when I am using the following code it returns the message isAbandoned regardless </div>
<div>whether&nbsp;branchAndBound() is called or not....but if I use Cbc solver directly, it returns the primal infeasibility. Could you check if the status functions (called in the code below) written OsiCbcSolverInterface() are working properly..
</div>
<div>&nbsp;</div>
<div>regards,</div>
<div>vishy</div>
<div>&nbsp;</div>
<div>#include &quot;flopc.hpp&quot;<br>using namespace flopc;<br>#include &quot;OsiCbcSolverInterface.hpp&quot;</div>
<div>
<p>int main() {<br>&nbsp; MP_model my_knap(new OsiCbcSolverInterface);<br>&nbsp; int num_err = 0;<br>&nbsp; num_err = my_knap-&gt;readMps(&quot;MIPproblem&quot;);<br>&nbsp; if(num_err != 0)<br>&nbsp; cout &lt;&lt; &quot;errors reading MPS file\n&quot;; 
<br>&nbsp; <br>&nbsp; my_knap-&gt;branchAndBound();<br>//&nbsp; my_knap.minimize(); // doesn&#39;t work and throws segmentation fault; wonder why?</p>
<p>cout &lt;&lt; &quot;Num Cols:=&quot; &lt;&lt;&nbsp;&nbsp; my_knap-&gt;getNumCols()&lt;&lt;endl;<br>cout &lt;&lt; &quot;Num Rows:=&quot; &lt;&lt;&nbsp;&nbsp; my_knap-&gt;getNumRows()&lt;&lt;endl;</p>
<p>&nbsp; if( my_knap-&gt;isProvenPrimalInfeasible() == true)<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;primal infeasible\n&quot;;<br>&nbsp; else if( my_knap-&gt;isProvenDualInfeasible() == true)<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;dual infeasible\n&quot;; 
<br>&nbsp; else if( my_knap-&gt;isAbandoned() == true)<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;isAbandoned\n&quot;;<br>&nbsp; else if( my_knap-&gt;isProvenOptimal() == true)<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;isProvenOptimal\n&quot;;<br>&nbsp; else if( my_knap-&gt;isDualObjectiveLimitReached() == true) 
<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;isDualObjectiveLimitReached\n&quot;;<br>&nbsp; else if( my_knap-&gt;isPrimalObjectiveLimitReached() == true)<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;isPrimalObjectiveLimitReached\n&quot;;<br>&nbsp; else if( my_knap-&gt;isIterationLimitReached() == true) 
<br>&nbsp;&nbsp;&nbsp; cout &lt;&lt; &quot;isIterationLimitReached\n&quot;;<br>}<br></p></div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div><br><br>&nbsp;</div>
<div><span class="gmail_quote">On 5/10/07, <b class="gmail_sendername">Tim Hultberg</b> &lt;<a onclick="return top.js.OpenExtLink(window,event,this)" href="mailto:Tim.Hultberg@eumetsat.int" target="_blank">Tim.Hultberg@eumetsat.int
</a>&gt; wrote:</span> 
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">First make sure that the wrong status comes from Cbc by trying<br>instance-&gt;isProvenOptimal()<br>Then post the question to the Cbc mailing list. 
<br><br>You can also try your model with cplex as solver (i.e not via MPS<br>file)<br>and Cbc on the MPS file...<br><br>Cheers, Tim<br><br>&gt;&gt;&gt; &quot;Vishy Jeet&quot; &lt;<a onclick="return top.js.OpenExtLink(window,event,this)" href="mailto:vishv.jeet@gmail.com" target="_blank">
vishv.jeet@gmail.com </a>&gt; 09/05/2007 18:32 &gt;&gt;&gt;<br>Hi Everyone,<br><br>I am running the following little program. My class &quot;dir&quot; has a set of<br>binary variables called &quot;X&quot;.<br>After minimization getStatus() return &quot;OPTIMAL&quot; while Xs are displayed 
<br>as<br>fractional. When I<br>solve the mipModel.mps using CPLEX: it tells me the problem is<br>infeasible! I<br>don&#39;t understand<br>why cbc solver is returning false message OPTIMAL. Any help on this is<br>appreciated. 
<br><br>regards,<br>vishy<br><br><br>#include &quot;mathModel.h&quot;<br><br>typedef enum {SUCCESS = 0, FAILURE = -1};<br><br>int main() {<br>int retcode = FAILURE;<br>container c;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; /* container 
<br>class<br>object that will contains all data*/<br>c.readData(&quot;c:/dataLocation&quot;);<br>dir instance(c);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;/* Instantiate an<br>object<br>of dir class */<br>instance.minimize();<br>retcode = 
instance.getStatus();<br>if (MP_model::OPTIMAL == retcode){<br>&nbsp;&nbsp; instance-&gt;writeMps(&quot;mipModel&quot;, &quot;mps&quot;, 1.0);<br>&nbsp;&nbsp; instance.X.display(&quot;instance (X)&quot;);<br>&nbsp;&nbsp; cout&lt;&lt;&quot;obj val:=&quot;&lt;&lt;instance-&gt;getObjValue()&lt;&lt;endl; 
<br>}<br>return SUCCESS;<br>}// main<br></blockquote></div><br><br clear="all"><br>-- <br>Best Regards,<br>Vishv Jeet, Ph.D.,<br>Operations Research Scientist,<br>Gravitant Inc.,<br>(The Business Governance Company)<br><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://www.gravitant.com/" target="_blank">
http://www.gravitant.com</a><br>Austin, TX, USA.<br>Cell&nbsp;&nbsp;&nbsp;&nbsp;: 1-512-657-8678<br>Home : 1-512-788-5795<br>Work&nbsp;&nbsp;: 1-512-535-7399 <br>_______________________<br>Youngest Music Meastro<br><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://www.mayanksahu.net/" target="_blank">
http://www.mayanksahu.net</a>