[Cbc] Assertion failed ClpPrimalColumnSteepest - crash
Haroldo Gambini Santos
haroldo.santos at gmail.com
Sat Mar 5 21:15:36 EST 2016
Hi Piotr,
I tested with CBC 2.9.8 and everything works fine.
Could you update the CBC version ? Many bug fixes were made since CBC 2.9.2.
Cheers,
Haroldo
On 02-03-2016 19:32, Piotr Dobaczewski wrote:
> 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>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160305/d9f3418e/attachment.html>
More information about the Cbc
mailing list