[Cbc] CBC assertion failure

[Rudi Araújo]

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


 <http://www.siscog.pt> 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.

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170111/821a8c79/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.zip
Type: application/x-zip-compressed
Size: 45013 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170111/821a8c79/attachment-0001.bin>