[Cbc] CBC assertion failure

[Haroldo Gambini Santos]

Hi Forrest,

Crashed in my fresh cbc build (rev 2322).

Built with Blas, Lapack and Glpk,

build flags:

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

Assertion `fabs(floor(value + 0.5) - value) < integerTolerance

*Debugging:**
**value:   9.9999999999999995e-07**
*


Em 12/01/2017 07:31, John Forrest escreveu:
> 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
>>
>>
>> ** 
>> <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=>*www.siscog.pt*
>>
>> *"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=  
>
>
>
>
> _______________________________________________
> 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=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=fO_5_ODweuLcSB_MOM62LzuRC1LDaduQUf4vI26Kk84&s=-sOeYPqMxeyzZpmftAxwlozvJ78YGQo2VhxTorIyvcc&e=

-- 
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/

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