[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?

Mon Apr 6 11:21:29 EDT 2015

Noli,

Took some time to get fault to occur - but eventually got it to happen.  
In the end not very important (and is OK with NDEBUG set), but I have 
modified code in svn.

With -naive on, code gets solution of 0.0 immediately and RINS heuristic 
gets reasonable solution after a few minutes.  My test is still running 
with best solution of -78735.4.

What were glpk settings that solved it completely?

John Forrest
On 06/04/15 03:31, Noli Sicad wrote:
> 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
>