[Cbc] CBC assertion failure

[John Forrest]

Haroldo, Rudi,

With that build I managed to get error.  Went away for me with <= so bad 
(and unlucky) assert.

Will change to <=

John
On 12/01/17 11:53, Haroldo Gambini Santos wrote:
>
> 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/54fec515/attachment-0001.html>