[Cbc] CBC assertion failure

[John Forrest]

Rudi,

Unable to reproduce error.

What compiler and configure options were used (and what parameters for cbc).

John Forrest


On 11/01/17 18:40, Rudi Araújo wrote:
>
> Hi,
>
> The attached LP causes CBC to run into a failed assertion.
>
> Cbc0038I Pass  52: suminf.    1.75343 (4) obj. 470151 iterations 39
>
> Cbc0038I Pass  53: suminf.    1.00847 (6) obj. 470151 iterations 49
>
> Cbc0038I No solution found this major pass
>
> Cbc0038I Before mini branch and bound, 125 integers at bound fixed and 
> 0 continuous
>
> Cbc0038I Full problem 157 rows 227 columns, reduced to 79 rows 82 columns
>
> Assertion failed!
>
> Program: ...
>
> File: ../../../Cbc/src/CbcHeuristic.cpp, Line 2528
>
> Expression: fabs(floor(value + 0.5) - value) < integerTolerance
>
> We tried running with 2.9, 2.9.8 and a recent trunk build (from some 
> days ago) and the failure is consistent.
>
> Can you take a look at it?
>
> Thank you in advance,
>
>
> Rudi Araújo
> Software Engineer
>
> *SISCOG - Sistemas Cognitivos, SA*
> Campo Grande, 378 - 3º, 1700-097 Lisboa • Portugal
> Tel: +351 217 529 100 • Fax: +351 217 529 101
>
>
> *www.siscog.pt* 
> <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=>
>
> *"Optimising the resources of the world"*
>
> DISCLAIMER
> This message may contain confidential information. You should not copy 
> or address this message to third parties.
> If you are not the appropriate recipient we kindly ask you to delete 
> the message and notify the sender.
> 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.
>
> AVISO
> Esta mensagem pode conter informação considerada confidencial, não 
> devendo ser copiada ou endereçada a terceiros.
> Se o receptor não for o destinatário apropriado, agradecemos que 
> destrua a mensagem e informe o emissor do sucedido.
> 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.
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> 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=


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170112/52c9166b/attachment.html>