Opened 11 years ago

Closed 10 years ago

#87 closed defect (fixed)

CBC 2.4 crashes on Windows platfrom in Debug mode

Reported by: kistamas Owned by: tkr
Priority: major Component: component1
Version: 2.4 Keywords: Cbc, Debug mode



I have downloaded CBC 2.4 and try to use it on Windows 7. My development environment: Microsoft Visual C++ 2008. I compiled in Debug mode, and run sample2.cpp on flugpl.mps. I did not add any cut generators. The crash occurs in CbcModel::branchAndBound line 3910.

This problem is even more mysterious because whether tree search crashed or not depended on the cut generators I added. Experiment 1) I added Gomory cuts, and the program terminated properly. Experiment 2) I added CglLandP cuts, and CBC crashed, but now at a different location: CbcModel::branchAndBound(), line 3681, and inside that CbcTree::bestNode(double cutoff=1.0000000000000001e+050) Line 273.

Thank you for providing some feedback.

Tamas Kis

Change History (2)

comment:1 Changed 11 years ago by tkr

  • Owner changed from somebody to tkr
  • Status changed from new to assigned
  • Version set to 2.4

comment:2 Changed 10 years ago by lou

  • Resolution set to fixed
  • Status changed from assigned to closed

The user doesn't provide the specific error, but based on the location (CbcTree::bestNode, call to pop_heap) I'm going to guess that the problem here is an assert failure (something like `invalid heap') that actually originates in the MS debug heap implementation. Cause: cbc was altering the node evaluation method without actually rebuilding the heap. Because of this, the heap appeared corrupted (nodes in the wrong place). This is now fixed.

Note: See TracTickets for help on using tickets.