<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Haroldo,<br>
<br>
Does assert go away if changed to <= integerTolerance?<br>
<br>
If so easiest thing is to make that change.<br>
<br>
John<br>
On 12/01/17 11:53, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote
cite="mid:541126ef-b49a-c8f5-6051-fa190a2d510d@gmail.com"
type="cite">
<meta http-equiv="Context-Type" content="text/html;
charset=windows-1252">
<p>Hi Forrest,</p>
<p>Crashed in my fresh cbc build (rev 2322).</p>
<p>Built with Blas, Lapack and Glpk, <br>
</p>
<p>build flags:</p>
<p>export CFLAGS="-O2 -g" ; export CXXFLAGS="-O2 -g" ; ./configure
--prefix=/usr --enable-cbc-parallel --enable-gnu-packages
ADD_CXXFLAGS="-O2 -g" LDFLAGS="-lz -lpthread -lrt" ; make clean</p>
<p> Assertion `fabs(floor(value + 0.5) - value) <
integerTolerance<br>
</p>
<b>Debugging:</b><b><br>
</b><b>value: 9.9999999999999995e-07</b><b><br>
</b><br>
<br>
<br>
<div class="moz-cite-prefix">Em 12/01/2017 07:31, John Forrest
escreveu:<br>
</div>
<blockquote
cite="mid:c3122a49-c9c0-8259-bf79-423a6e96c3d1@fastercoin.com"
type="cite">
<div class="moz-cite-prefix">Rudi,<br>
<br>
Unable to reproduce error.<br>
<br>
What compiler and configure options were used (and what
parameters for cbc).<br>
<br>
John Forrest<br>
<br>
<br>
On 11/01/17 18:40, Rudi Araújo wrote:<br>
</div>
<blockquote cite="mid:028801d26c3a$3e4296a0$bac7c3e0$@siscog.pt"
type="cite">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<div class="WordSection1">
<p class="MsoNormal">Hi,</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"><span lang="EN-GB">The attached LP
causes CBC to run into a failed assertion.</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Cbc0038I Pass 52:
suminf. 1.75343 (4) obj. 470151 iterations 39</span></p>
<p class="MsoNormal"><span lang="EN-GB">Cbc0038I Pass 53:
suminf. 1.00847 (6) obj. 470151 iterations 49</span></p>
<p class="MsoNormal"><span lang="EN-GB">Cbc0038I No solution
found this major pass</span></p>
<p class="MsoNormal"><span lang="EN-GB">Cbc0038I Before mini
branch and bound, 125 integers at bound fixed and 0
continuous</span></p>
<p class="MsoNormal"><span lang="EN-GB">Cbc0038I Full
problem 157 rows 227 columns, reduced to 79 rows 82
columns</span></p>
<p class="MsoNormal"><span lang="EN-GB">Assertion failed!</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Program: ...</span></p>
<p class="MsoNormal"><span lang="EN-GB">File:
../../../Cbc/src/CbcHeuristic.cpp, Line 2528</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Expression:
fabs(floor(value + 0.5) - value) < integerTolerance</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">We tried running
with 2.9, 2.9.8 and a recent trunk build (from some days
ago) and the failure is consistent.</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Can you take a look
at it?</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Thank you in
advance,</span></p>
<p class="MsoNormal"><span lang="EN-GB"><br>
Rudi Araújo <br>
</span><span lang="EN-GB">Software Engineer </span><span
lang="EN-GB"><br>
<br>
</span><b><span lang="EN-GB">SISCOG - Sistemas Cognitivos,
SA</span></b><span lang="EN-GB"> <br>
</span><span lang="EN-GB">Campo Grande, 378 - 3º, 1700-097
Lisboa • Portugal <br>
Tel: +351 217 529 100 • Fax: +351 217 529 101<br>
</span><span lang="EN-GB"><br>
<br>
</span><span><a moz-do-not-send="true"
href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.siscog.pt&d=CwMFAw&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=0G4mANzkPYvSS8AglgvN4V6qa0ji5NBNBkJWYC0RWO4&s=fSjj118G6OhVYJRwECv0pIMMG3D3lRAkHWkC6PykviY&e="><b><span
lang="EN-GB"></span></b></a><b><a
moz-do-not-send="true"
class="moz-txt-link-abbreviated"
href="http://www.siscog.pt"><a class="moz-txt-link-abbreviated" href="http://www.siscog.pt">www.siscog.pt</a></a></b></span><span
lang="EN-GB"> <br>
<br>
</span><b><span lang="EN-GB">"Optimising the resources of
the world"</span></b><span lang="EN-GB"> <br>
<br>
</span><span lang="EN-GB">DISCLAIMER<br>
This message may contain confidential information. You
should not copy or address this message to third
parties.<br>
If you are not the appropriate recipient we kindly ask
you to delete the message and notify the sender.<br>
The contents of this message and its attachments are the
sole responsibility of the sender and under no
circumstances can SISCOG - Sistemas Cognitivos, SA be
liable for any resulting consequences. <br>
<br>
</span><span>AVISO<br>
Esta mensagem pode conter informação considerada
confidencial, não devendo ser copiada ou endereçada a
terceiros.<br>
Se o receptor não for o destinatário apropriado,
agradecemos que destrua a mensagem e informe o emissor
do sucedido.<br>
O conteúdo desta mensagem bem como dos respectivos
anexos é da responsabilidade exclusiva do emissor, não
podendo a SISCOG - Sistemas Cognitivos, SA ser
responsabilizada por eventuais consequências.</span><span></span></p>
<p class="MsoNormal"> </p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a moz-do-not-send="true" 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=0G4mANzkPYvSS8AglgvN4V6qa0ji5NBNBkJWYC0RWO4&s=L_xzXIRh7Gv_E6iA2Y-FUIMCFEaGPFfstW32TD9Kog0&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=0G4mANzkPYvSS8AglgvN4V6qa0ji5NBNBkJWYC0RWO4&s=L_xzXIRh7Gv_E6iA2Y-FUIMCFEaGPFfstW32TD9Kog0&e=</a>
</pre>
</blockquote>
<p><br>
</p>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a moz-do-not-send="true" class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a moz-do-not-send="true" 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=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=fO_5_ODweuLcSB_MOM62LzuRC1LDaduQUf4vI26Kk84&s=-sOeYPqMxeyzZpmftAxwlozvJ78YGQo2VhxTorIyvcc&e=">https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=fO_5_ODweuLcSB_MOM62LzuRC1LDaduQUf4vI26Kk84&s=-sOeYPqMxeyzZpmftAxwlozvJ78YGQo2VhxTorIyvcc&e=</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
<a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</blockquote>
<p><br>
</p>
</body>
</html>