[Cbc] Assertion failed ClpPrimalColumnSteepest - crash
Piotr Dobaczewski
pdobacz at gmail.com
Wed Mar 2 17:32:24 EST 2016
Hi all,
I am running into problems running cbc 2.9.2 on windows (as used by
Julia's Cbc.jl package):
Cgl0002I 44 variables fixed
Cgl0003I 16 fixed, 46 tightened bounds, 289 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 7 tightened bounds, 179 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 113 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 39 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
Cgl0004I processed model has 1033 rows, 661 columns (361 integer (304
of which binary)) and 4354 elements
Cbc0038I Initial state - 86 integers unsatisfied sum - 9.92574
Cbc0038I Pass 1: suminf. 1.38917 (6) obj. -638803 iterations 233
Cbc0038I Pass 2: suminf. 0.73150 (3) obj. -638803 iterations 6
Cbc0038I Solution found of -638803
Cbc0038I Branch and bound needed to clear up 3 general integers
Cbc0038I Full problem 1033 rows 661 columns, reduced to 6 rows 3 columns
Cbc0038I Cleaned solution of -638803
Cbc0038I Before mini branch and bound, 274 integers at bound fixed and
168 continuous
Cbc0038I Full problem 1033 rows 661 columns, reduced to 293 rows 137 columns
Cbc0038I Mini branch and bound improved solution from -638803 to
-638804 (0.40 seconds)
Cbc0038I Freeing continuous variables gives a solution of -638804
Cbc0038I Round again with cutoff of -712338
Cbc0038I Pass 3: suminf. 1.52324 (25) obj. -712338 iterations 29
Cbc0038I Pass 4: suminf. 0.94825 (5) obj. -712338 iterations 54
Cbc0038I Pass 5: suminf. 0.58462 (4) obj. -712338 iterations 4
Cbc0038I Solution found of -712338
Cbc0038I Branch and bound needed to clear up 4 general integers
Cbc0038I Full problem 1034 rows 661 columns, reduced to 33 rows 23 columns
Cbc0038I Cleaned solution of -730987
Cbc0038I Before mini branch and bound, 274 integers at bound fixed and
166 continuous
Cbc0038I Full problem 1033 rows 661 columns, reduced to 302 rows 142 columns
Cbc0038I Mini branch and bound improved solution from -730987 to
-881794 (0.62 seconds)
Cbc0038I Round again with cutoff of -980263
Cbc0038I Pass 6: suminf. 4.03179 (50) obj. -980263 iterations 56
Cbc0038I Pass 7: suminf. 2.26538 (24) obj. -980263 iterations 84
Cbc0038I Pass 8: suminf. 2.26538 (24) obj. -980263 iterations 1
Cbc0038I Pass 9: suminf. 1.77803 (13) obj. -980263 iterations 64
Cbc0038I Pass 10: suminf. 1.58654 (12) obj. -980263 iterations 3
Cbc0038I Solution found of -980263
Cbc0038I Branch and bound needed to clear up 12 general integers
Cbc0038I Full problem 1034 rows 661 columns, reduced to 84 rows 57 columns
Cbc0038I Cleaned solution of -1.03876e+006
Cbc0038I Before mini branch and bound, 269 integers at bound fixed and
160 continuous
Cbc0038I Full problem 1033 rows 661 columns, reduced to 318 rows 155 columns
Cbc0038I Mini branch and bound improved solution from -1.03876e+006 to
-1.03876e+006 (0.97 seconds)
Cbc0038I Round again with cutoff of -1.13937e+006
Cbc0038I Pass 11: suminf. 6.98464 (65) obj. -1.13937e+006 iterations 29
Cbc0038I Pass 12: suminf. 6.02369 (45) obj. -1.13937e+006 iterations 67
Cbc0038I Pass 13: suminf. 5.11624 (41) obj. -1.13937e+006 iterations 7
Cbc0038I Pass 14: suminf. 4.20083 (20) obj. -1.13937e+006 iterations 85
Cbc0038I Pass 15: suminf. 4.20083 (20) obj. -1.13937e+006 iterations 6
Cbc0038I Pass 16: suminf. 3.94619 (15) obj. -1.13937e+006 iterations 14
Cbc0038I Solution found of -1.13937e+006
Cbc0038I Branch and bound needed to clear up 15 general integers
Cbc0038I Full problem 1034 rows 661 columns, reduced to 108 rows 77 columns
Cbc0038I Cleaned solution of -1.2257e+006
Cbc0038I Before mini branch and bound, 262 integers at bound fixed and
146 continuous
Cbc0038I Full problem 1033 rows 661 columns, reduced to 345 rows 174 columns
Cbc0038I Mini branch and bound improved solution from -1.2257e+006 to
-1.35945e+006 (1.37 seconds)
Cbc0038I Round again with cutoff of -1.36386e+006
Cbc0038I Pass 17: suminf. 9.73935 (84) obj. -1.36386e+006 iterations 21
Cbc0038I Pass 18: suminf. 5.73061 (48) obj. -1.36386e+006 iterations 141
Cbc0038I Pass 19: suminf. 5.73061 (48) obj. -1.36386e+006 iterations 3
Cbc0038I Pass 20: suminf. 5.24542 (41) obj. -1.36386e+006 iterations 97
Cbc0038I Pass 21: suminf. 5.10894 (41) obj. -1.36386e+006 iterations 7
Cbc0038I Pass 22: suminf. 5.27795 (25) obj. -1.36386e+006 iterations 58
Cbc0038I Pass 23: suminf. 4.86692 (24) obj. -1.36386e+006 iterations 11
Cbc0038I Pass 24: suminf. 4.60442 (22) obj. -1.36386e+006 iterations 13
Cbc0038I Pass 25: suminf. 4.57836 (22) obj. -1.36386e+006 iterations 1
Cbc0038I Pass 26: suminf. 5.06458 (23) obj. -1.36386e+006 iterations 6
Cbc0038I Pass 27: suminf. 4.65355 (22) obj. -1.36386e+006 iterations 4
Cbc0038I Pass 28: suminf. 13.57472 (77) obj. -1.36386e+006 iterations 187
Cbc0038I Pass 29: suminf. 10.64001 (63) obj. -1.36386e+006 iterations 79
Cbc0038I Pass 30: suminf. 8.99599 (61) obj. -1.36386e+006 iterations 65
Cbc0038I Pass 31: suminf. 8.99599 (61) obj. -1.36386e+006 iterations 2
Cbc0038I Pass 32: suminf. 8.18704 (52) obj. -1.36386e+006 iterations 56
Cbc0038I Pass 33: suminf. 8.25267 (50) obj. -1.36386e+006 iterations 19
Cbc0038I Pass 34: suminf. 6.93430 (43) obj. -1.36386e+006 iterations 27
A s s e r t i o n f a i l e d !
P r o g r a m : d : \ p i o t r \ J u l i a - 0 . 3 . 5 w o r k \ b
i n \ j u l i a . e x e
F i l e : C l p P r i m a l C o l u m n S t e e p e s t . c p p ,
L i n e 5 9 0
E x p r e s s i o n : m o d e l _ - > r e d u c e d C o s t ( b e s
t S e q u e n c e ) > 0 . 0
My options are: primalTolerance 1e-009, randomCbc 1
I am however unable to reproduce the problem using the mps file
exported from the AML system Jump.jl. When I try with the .mps file
attached i get:
...
At line 1 NAME BLANK
At line 2 ROWS
At line 3814 COLUMNS
At line 10128 RHS
At line 10437 BOUNDS
At line 11196 ENDATA
Problem BLANK has 3798 rows, 1547 columns and 11667 elements
Coin0008I BLANK read with 0 errors
Coin:solv
Continuous objective value is -1.37541e+006 - 0.06 seconds
Cgl0002I 44 variables fixed
Cgl0000I Cut generators found to be infeasible! (or unbounded)
Pre-processing says infeasible or unbounded
Coin:
I cannot pinpoint any trait of the model which could lead to this
behaviour. Do you have any clues?
Best Regards
Piotr Dobaczewski<div id="DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br />
<table style="border-top: 1px solid #aaabb6;">
<tr>
<td style="width: 470px; padding-top: 20px; color: #41424e;
font-size: 13px; font-family: Arial, Helvetica, sans-serif;
line-height: 18px;">Ten e-mail został wysłany z komputera wolnego od
wirusów chronionego przez Avast. <br /><a
href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail"
target="_blank" style="color: #4453ea;">www.avast.com</a> </td>
</tr>
</table>
<a href="#DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"></a></div>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: model_phase2.mps.mps.gz
Type: application/x-gzip
Size: 64525 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160302/934d219b/attachment-0001.bin>
More information about the Cbc
mailing list