[Cbc] Bug in CBC - CbcModel::doOneNode
John Forrest
john.forrest at fastercoin.com
Thu Jul 10 03:53:49 EDT 2014
Haroldo,
In the latest trunk there is an assert(feasible) at 15938 - but I don't
think that is the one you mean. I think you mean the one below at line
15905.
if (feasible) {
//int numberPasses = doCutsNow(1) ? maximumCutPasses_ : 0;
int numberPasses = /*doCutsNow(1) ?*/ maximumCutPasses_
/*: 0*/;
feasible = solveWithCuts(cuts, numberPasses, node);
if (fathomDone)
assert (feasible);
}
I am unable to reproduce the problem using gcc 4.6.3 or gcc 4.9.0 and
-O1 g. What exactly were your configure options? Do you still get the
correct answer if you take out assert?
John Forrest
On 09/07/14 21:57, Haroldo Gambini Santos wrote:
> Hi Forrest,
>
> CBC trunk (compiled with "-O1 -g" ) is exiting at one assertion when
> solving a small MIP:
> *http://www.decom.ufop.br/haroldo/files/layer2.mps.gz*
> (188 rows, 114 columns, 108 of which are binary)
>
> The message is:
> *cbc: CbcModel.cpp:15939: int CbcModel::doOneNode(CbcModel*,
> CbcNode*&, CbcNode*&): Assertion `feasible' failed.
> *
> and the stack trace is:
>
> *#3 0x00007ffff5493ee2 in __GI___assert_fail
> (assertion=0x7ffff78c3acd "feasible", file=0x7ffff78c066e "CbcModel.cpp",
> line=15939,
> function=0x7ffff78c3140 <CbcModel::doOneNode(CbcModel*, CbcNode*&,
> CbcNode*&)::__PRETTY_FUNCTION__> "int CbcModel::doOneNode(CbcModel*,
> CbcNode*&, CbcNode*&)") at assert.c:101
> #4 0x00007ffff788f473 in CbcModel::doOneNode
> (this=this at entry=0x64ee50, baseModel=baseModel at entry=0x64ee50, node=
> @0x7fffffff6bf0: 0xb7d530, newNode=@0x7fffffff6960: 0x0) at
> CbcModel.cpp:15939
> #5 0x00007ffff7898473 in CbcModel::branchAndBound
> (this=this at entry=0x64ee50, doStatistics=doStatistics at entry=0)
> at CbcModel.cpp:4553
> #6 0x00007ffff7b85e8d in CbcMain1 (argc=argc at entry=2,
> argv=argv at entry=0x7fffffffe008, model=...,
> callBack=callBack at entry=0x7ffff7b64f17 <dummyCallBack(CbcModel*,
> int)>, parameterData=...) at CbcSolver.cpp:6371
> #7 0x00007ffff7b97bf8 in CbcMain1 (argc=argc at entry=2,
> argv=argv at entry=0x7fffffffe008, model=...,
> callBack=callBack at entry=0x7ffff7b64f17 <dummyCallBack(CbcModel*,
> int)>) at CbcSolver.cpp:1295
> #8 0x00007ffff7b97c0d in CbcMain1 (argc=argc at entry=2,
> argv=argv at entry=0x7fffffffe008, model=...) at CbcSolver.cpp:1163
> #9 0x0000000000400e4f in main (argc=2, argv=0x7fffffffe008) at
> CoinSolve.cpp:336
> *
> Cheers,
>
> Haroldo
> --
> ==================================================
> 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/20140710/9f38a646/attachment.html>
More information about the Cbc
mailing list