Cbc icon indicating copy to clipboard operation
Cbc copied to clipboard

Published 20 hours ago • verified publisher icon coin-or

violated assert in CbcSOS.cpp line 564

Open tosttost opened this issue 2 years ago • 3 comments

1.) unpack the attached lp file 2.) run "cbc foo.lp -threads 4 -solve -quit" using a debug build of CBC 3.) Cbc aborts with the message

cbc: /tmp/cbc/src/CbcSOS.cpp:564: virtual CbcBranchingObject* CbcSOS::createCbcBranch(OsiSolverInterface*, const OsiBranchingInformation*, int): Assertion `lastNonZero - firstNonZero >= sosType_' failed.

foo.zip

tosttost avatar Sep 19 '22 11:09 tosttost

stable seems to work - will look at it. Could be tolerance problem - looking at size of optimal value.

jjhforrest avatar Sep 19 '22 11:09 jjhforrest

thanks. Yes, the problem is scaled badly. I will have to fix the code that generateded this MIP, too.

tosttost avatar Sep 19 '22 12:09 tosttost

Fixed a definite error in CbcNode to do with SOS (in master). Should fix bug (and seems to). Also fixed memory leak in CglLandP.cpp

jjhforrest avatar Sep 19 '22 14:09 jjhforrest