Opened 12 years ago

Closed 12 years ago

#28 closed defect (fixed)

CbcModel.cpp:517: void CbcModel::branchAndBound(int): Assertion `lower[i]<1.0e10' failed.

Reported by: kim Owned by: somebody
Priority: major Component: component1
Version: Keywords:
Cc:

Description

I will attach the mps file.

pre@betelgeuse:~/trunk/solver$ cbc assertion-lower.mps 
At line 1 NAME          BLANK
At line 2 ROWS
At line 605 COLUMNS
At line 4035 RHS
At line 4245 BOUNDS
At line 4692 ENDATA
Problem BLANK has 601 rows, 579 columns and 6195 elements
Optimal - objective value 1.60267e+06
Cgl0003I 0 fixed, 25 tightened bounds, 94 strengthened rows, 12 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 94 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 0 strengthened rows, 3 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 10 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0004I processed model has 256 rows, 137 columns (110 integer) and 1211 elements
Optimal - objective value 1.60267e+06
110 integer variables and 25 variables could be made integer
cbc: CbcModel.cpp:517: void CbcModel::branchAndBound(int): Assertion `lower[i]<1.0e10' failed.
Aborted
pre@betelgeuse:~/trunk/solver$

Attachments (1)

assertion-lower.mps (239.3 KB) - added by kim 12 years ago.

Download all attachments as: .zip

Change History (2)

Changed 12 years ago by kim

comment:1 Changed 12 years ago by forrest

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

I would not call this a "major" defect. It would not fail in a production environment as NDEBUG would be defined. It does point out some scaling issues which could cause problems. Should there be no checking? lower bounds of -1.0e20 OK? -1.0e30?

Have modified code to 1.0e20 - hopefully will still help people debug their projects.

Note: See TracTickets for help on using tickets.