<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<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> <font color="#990000">Assertion `fabs(floor(value + 0.5) -
value) < integerTolerance</font><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">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<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)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 3.0cm 70.85pt 3.0cm;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="EN-GB">The attached LP causes
CBC to run into a failed assertion.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Cbc0038I
Pass 52: suminf. 1.75343 (4) obj. 470151 iterations 39<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Cbc0038I
Pass 53: suminf. 1.00847 (6) obj. 470151 iterations 49<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Cbc0038I
No solution found this major pass<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Cbc0038I
Before mini branch and bound, 125 integers at bound fixed
and 0 continuous<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Cbc0038I
Full problem 157 rows 227 columns, reduced to 79 rows 82
columns<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Assertion
failed!<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Program:
...<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">File:
../../../Cbc/src/CbcHeuristic.cpp, Line 2528<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-left:35.4pt;text-autospace:none"><span
style="font-size:10.0pt;font-family:Consolas" lang="EN-GB">Expression:
fabs(floor(value + 0.5) - value) < integerTolerance<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Can you take a look at
it?<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Thank you in advance,<o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"><br>
Rudi Araújo <br>
</span><span
style="font-size:8.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB">Software Engineer </span><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"><br>
<br>
</span><b><span
style="font-size:9.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB">SISCOG - Sistemas Cognitivos, SA</span></b><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"> <br>
</span><span
style="font-size:7.5pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
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
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"><br>
<br>
</span><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"><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
style="font-size:9.0pt;color:black;text-decoration:none" lang="EN-GB"></span></b></a><b><a
moz-do-not-send="true"
class="moz-txt-link-abbreviated"
href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.siscog.pt&d=CwMD-g&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=fO_5_ODweuLcSB_MOM62LzuRC1LDaduQUf4vI26Kk84&s=xcRr8LGqu9bUbOzmftkqUvlE8UDOdQN2BqLs0kwMYy8&e="><a class="moz-txt-link-abbreviated" href="http://www.siscog.pt">www.siscog.pt</a></a></b></span><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"> <br>
<br>
</span><b><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:#E36C0A;mso-fareast-language:PT"
lang="EN-GB">"Optimising the resources of the world"</span></b><span
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"
lang="EN-GB"> <br>
<br>
</span><span
style="font-size:7.5pt;font-family:"Arial",sans-serif;color:#736972;mso-fareast-language:PT"
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
style="font-size:7.5pt;font-family:"Arial",sans-serif;color:#736972;mso-fareast-language:PT">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
style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black;mso-fareast-language:PT"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></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 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=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 class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</body>
</html>