[Cbc] Unexpected Abort

[John Forrest]

Yves,

CglProbing tightened bounds on a variable twice and then made that a 
column cut.  The cut did not like having a column twice.

Fixed in 2.9 (well stable Cgl) - svn update should fix.

John
On 05/05/15 15:13, Yves Touchard wrote:
> Hi,
>
> I get an Abort with the following constraint file:
> https://www.dropbox.com/s/jbcee0tfm2jfoh3/abort.lp?dl=0
>
> Tried with rev 2164 and rev 2185
> Built with Weaken Cuts and gcc 4.9
> ./configure
> make CXX=/soft/gcc-4.9.0/bin/g++ CPPFLAGS="-DWEAKEN_CUTS=1"
> make install
>
> [$] bin/cbc abort.lp branch solution t.sol
>
> command line - bin/cbc abort.lp branch solution t.sol (default strategy 1)
> Continuous objective value is 6533.42 - 0.03 seconds
> Cgl0003I 0 fixed, 0 tightened bounds, 20 strengthened rows, 0 
> substitutions
> terminate called after throwing an instance of 'CoinError'
> Aborted
>
> Could you tell me if the constraint file is ok?
>
> Thanks and regards
>
> Yves
>
> ------------------------------------------------------------------------------
> This message and any attachments (the "message") are confidential and 
> intended solely for the addressee(s). Any unauthorized use or 
> dissemination is prohibited. E-mails are susceptible to alteration. 
> Neither DxO Labs nor any of its subsidiaries or affiliates shall be 
> liable for the message if altered, changed or falsified.
> Ce message et toutes les pièces jointes (ci-après le "message") sont 
> confidentiels et établis à l'intention exclusive de ses destinataires. 
> Toute utilisation ou diffusion non autorisé est interdite. Tout 
> message électronique est susceptible d'altération. DxO Labs et ses 
> filiales déclinent toute responsabilité au titre de ce message s'il a 
> été altéré, modifié ou falsifié.
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc

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