[Cbc] What is trap 6 error (i.e. cbc-mip: line 13: 6790 Abort trap: 6 ) in CBC 2.9.3 and 2.9.4?

Sun Apr 5 22:31:51 EDT 2015

Hi John,

Here's (below) is the log of CBC.

The model has 1000 polygons / forest stands to be harvested. This is
the base case, no adjacency problem.

GLPK 4.55 solved this problem using proximity search.

However, CBC solver 2.9.4 could not find a solution (see error below).

No threads this time.

I can send you the mps format of this model, if you like

Thanks, Noli

~~~~~~

command line - /usr/local/bin/cbc MIP_1000_stands_data_1000_base.mod%
-randomCbcSeed 0 -randomSeed 0 -proximity on -printi csv -solve -solu
solution_new_cbc_latest_rev6.csv (default strategy 1)
GMPL model file ./MIP_1000_stands_data_1000_base.mod and data file ./
Reading model section from ./MIP_1000_stands_data_1000_base.mod...
Reading data section from ./MIP_1000_stands_data_1000_base.mod...
./MIP_1000_stands_data_1000_base.mod:8906: warning: unexpected end of
file; missing end statement inserted
8906 lines were read
Generating TotalMax...
Generating Discounted_Net_Value...
Generating TotalVolume...
Generating Stand_Cut...
Generating Harvest_Volume1...
Generating Area1...
Generating AreaConstraints...
Generating Evenflow_Harvest_Volume_HV_Alpha...
Generating Evenflow_Harvest_Volume_HV_Beta...
Model has been successfully generated
Assertion failed: (nErrors), function resetFakeBounds, file
ClpSimplexDual.cpp, line 7684.
 CoinMpsIO::readGMPL(): Maximization problem reformulated as minimization
Problem MIP_1000_stands_data_1000_base has 2041 rows, 10022 columns
and 58222 elements
Model was imported from ./MIP_1000_stands_data_1000_base.mod in 0.954473 seconds
randomCbcSeed was changed from -1 to 0
using time of day randomSeed was changed from 1234567 to 1428280373
Option for proximitySearch changed from off to on
Option for printingOptions changed from normal to csv
Continuous objective value is -78822.6 - 5.75 seconds
Cgl0003I 0 fixed, 0 tightened bounds, 7 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
Cgl0004I processed model has 1991 rows, 10008 columns (10000 integer
(10000 of which binary)) and 41062 elements
Cbc0038I Initial state - 18 integers unsatisfied sum - 4.46242
Cbc0038I Pass   1: suminf.    1.26031 (15) obj. -78772.3 iterations 1089
Cbc0038I Pass   2: suminf.    2.03330 (11) obj. -78467.1 iterations 282
Cbc0038I Pass   3: suminf.    1.27948 (9) obj. -78516.9 iterations 19
Cbc0038I Pass   4: suminf.    0.59257 (6) obj. -78565.9 iterations 36
Cbc0038I Pass   5: suminf.    0.42175 (10) obj. -78578.9 iterations 214
Cbc0038I Pass   6: suminf.    2.18356 (11) obj. -78511.2 iterations 154
Cbc0038I Pass   7: suminf.    1.73014 (10) obj. -78511.2 iterations 12
Cbc0038I Pass   8: suminf.    2.52459 (11) obj. -78480.5 iterations 86
Cbc0038I Pass   9: suminf.    2.01409 (9) obj. -78455.1 iterations 42
Cbc0038I Pass  10: suminf.    1.86137 (11) obj. -78456.6 iterations 64
Cbc0038I Pass  11: suminf.    2.53041 (10) obj. -78333.8 iterations 110
Cbc0038I Pass  12: suminf.    1.98053 (9) obj. -78299.3 iterations 15
Cbc0038I Pass  13: suminf.    1.82905 (9) obj. -78308.2 iterations 4
Cbc0038I Pass  14: suminf.    2.36110 (9) obj. -78256.5 iterations 60
Cbc0038I Pass  15: suminf.    1.54195 (8) obj. -78231.9 iterations 54
Cbc0038I Pass  16: suminf.    1.41994 (11) obj. -78198.3 iterations 71
Cbc0038I Pass  17: suminf.    0.64763 (7) obj. -78157.6 iterations 156
Cbc0038I Pass  18: suminf.    2.46342 (11) obj. -78159.1 iterations 158
Cbc0038I Pass  19: suminf.    0.31624 (6) obj. -78098.5 iterations 86
Cbc0038I Pass  20: suminf.    0.29267 (4) obj. -78092 iterations 70
Cbc0038I Pass  21: suminf.    0.88768 (8) obj. -78034.8 iterations 125
Cbc0038I Pass  22: suminf.    0.19295 (1) obj. -78024.4 iterations 86
Cbc0038I Pass  23: suminf.    0.26200 (1) obj. -78029.9 iterations 32
Cbc0038I Pass  24: suminf.    3.21232 (14) obj. -74764.8 iterations 1232
Cbc0038I Pass  25: suminf.    1.49638 (7) obj. -74761 iterations 341
Cbc0038I Pass  26: suminf.    1.15665 (7) obj. -74646.1 iterations 8
Cbc0038I Pass  27: suminf.    1.08803 (7) obj. -74611.6 iterations 2
Cbc0038I Pass  28: suminf.    1.78293 (7) obj. -74473.9 iterations 19
Cbc0038I Pass  29: suminf.    0.76934 (5) obj. -74365.7 iterations 12
Cbc0038I Pass  30: suminf.    0.76934 (5) obj. -74365.7 iterations 0
Cbc0038I No solution found this major pass
Cbc0038I Before mini branch and bound, 9619 integers at bound fixed
and 0 continuous
Cbc0038I Full problem 1991 rows 10008 columns, reduced to 340 rows 380 columns
/Users/nsicad/.config/gedit/tools/cbc-mip: line 13: 94285 Abort trap:
6           /usr/local/bin/cbc $GEDIT_CURRENT_DOCUMENT_NAME%
-randomCbcSeed 0 -randomSeed 0 -proximity on -printi csv -solve -solu
solution_new_cbc_latest_rev6.csv

On 4/5/15, John Forrest <john.forrest at fastercoin.com> wrote:
> Noli,
>
> a) I don't think you sent the right problem- continuous and integer
> solutions are 0.0.
>
> b) Only one assert is printed - are other asserts in same place i.e.
> line 7684?
>
> c) Probably a thread error - does it only occur with proximity search on?
>
> d) I am fairly sure code can recover - however it would be good to track
> bug.  So if you want you can just remove that assert.
>
> e) Easter Sunday - a day without bugs - so no hurry.
>
> John Forrest