[Cbc] Assertion failure, stable 2.2 branch

[John J Forrest]

Christoph,

Ouch!

The optimal solution to the problem has integer variables with values
ranging from one up to 1.0e10!  Cbc allows integer variables to have larger
values but I suspect large areas of the code have not been tested with such
values.

At first I got a different error, but I managed to get exactly the one you
mentioned.  That I have fixed but the other error remained if I turned on
preprocessing.

I suppose I could ask if you need such large values - but 1.0e10 would only
rescue a very small bank.

I will look at it slowly.

John


                                                                                                                     
  From:       Christoph Cullmann <cullmann at absint.de>                                                                
                                                                                                                     
  To:         cbc at list.coin-or.org                                                                                   
                                                                                                                     
  Date:       04/07/2009 03:23 AM                                                                                    
                                                                                                                     
  Subject:    [Cbc] Assertion failure, stable 2.2 branch                                                             
                                                                                                                     





Hi,

I get the following assertion with the attached file:

CglProbing.cpp:3404: int CglProbing::probe(const OsiSolverInterface&,
const OsiRowCutDebugger*, OsiCuts&, double*, double*, CoinPackedMatrix*,
CoinPackedMatrix*, const CoinBigIndex*, const int*, const double*, const
double*, const char*, double*, double*, int*, CglTreeInfo*) const:
Assertion
`(markIt&8)!=0' failed.

Compiled with VC 2008 SP1.

Greetings

Christoph

--
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: cullmann at AbsInt.de
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234


[attachment "problem.lp" deleted by John J Forrest/Watson/IBM]
_______________________________________________
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/20090410/3b864bfa/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: graycol.gif
Type: image/gif
Size: 105 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090410/3b864bfa/attachment.gif 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ecblank.gif
Type: image/gif
Size: 45 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20090410/3b864bfa/attachment-0001.gif