Opened 8 years ago

Closed 7 weeks ago

#115 closed defect (migrated)

CBC 2.6.0 crashing

Reported by: dindy Owned by: tkr
Priority: major Component: Cbc
Version: 2.6.0 Keywords:
Cc:

Description

Hello,

I have a model with wich CBC 2.6.0 crashes, the system doesn't let me attach it to the ticket. I'm using the precompiled CBC version available from CoinAll?. I'm not able to compile a newer version so I don't know if this has been already fixed in the latest version.

The command line used is:

cbc -import crash.lp -solve -solu r.txt -quit

The CBC log up to the crash is:


Cbc version 2.6.0, build Nov 7 2010 command line - cbc -import crash.lp -solve -solu r.txt -quit (default strategy 1) Continuous objective value is -0.0845723 - 0.08 seconds Cgl0003I 0 fixed, 0 tightened bounds, 14 strengthened rows, 0 substitutions Cgl0004I processed model has 812 rows, 1088 columns (784 integer) and 80015 elements Cbc0038I Pass 1: suminf. 0.10713 (2) obj. -0.0813099 iterations 218 Cbc0038I Solution found of -0.0810757 Cbc0038I Branch and bound needed to clear up 2 general integers


Just contact me back if you need the model or some further help.

Bye,

Attachments (1)

cbccrash.zip (956.9 KB) - added by dindy 7 years ago.
Sample lp model causing CBC to crash

Download all attachments as: .zip

Change History (4)

comment:1 Changed 8 years ago by dindy

Some further information. I have been able to compile CBC 2.7.0 using MinGW, compilation was smooth, no problems, no warnings. The problem persists. It works if I set presolve to off, but then I found another model where it crash even with presolve off. It works instead with preprocess set to off. The bug happens whenever the line:

Cbc0038I Branch and bound needed to clear up 2 general integers

appears in the log.

Hope it helps.

Bye

comment:2 Changed 7 years ago by dindy

Retested recently with 2.7.5, same result. I have been able to narrow the problem down to a feasibility pump problem. By setting "-feasibilitypump off" it always works, though slower.

Changed 7 years ago by dindy

Sample lp model causing CBC to crash

comment:3 Changed 7 weeks ago by stefan

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

This ticket has been migrated to GitHub and will be resolved there: https://github.com/coin-or/Cbc/issues/115

Note: See TracTickets for help on using tickets.