[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #67: Cbc crash when using heuristics
COIN-OR Branch-and-Cut MIP Solver
coin-trac at coin-or.org
Tue Mar 17 09:14:55 EDT 2009
#67: Cbc crash when using heuristics
------------------------+---------------------------------------------------
Reporter: nowozin | Owner: somebody
Type: defect | Status: new
Priority: major | Milestone:
Component: component1 | Version:
Keywords: |
------------------------+---------------------------------------------------
Running latest Cbc trunk, checked out on 2009/03/16, compiled on Linux
x86_64 with Intel icpc 11 on the attached standard model
{{{
/opt/coin-cbc-trunk20090316/bin/cbc -dins on -divings on -divingf on
-divingg on -divingl on -divingp o
n -divingv on -local on -rand on -rens on -import dano3_5.mps -branch
}}}
Results on the following crash:
{{{
Coin Cbc and Clp Solver version 1.2trunk, build Mar 16 2009
command line - /opt/coin-cbc-trunk20090316/bin/cbc -dins on -divings on
-divingf on -divingg on -divingl on -divingp on -divingv on -local on
-rand on -rens on -import dano3_5.mps -branch (default strategy 1)
Option for Dins changed from off to on
Option for DivingSome changed from off to on
Option for DivingFractional changed from off to on
Option for DivingGuided changed from off to on
Option for DivingLineSearch changed from off to on
Option for DivingPseudoCost changed from off to on
Option for DivingVectorLength changed from off to on
Option for localTreeSearch changed from off to on
Option for randomizedRounding changed from off to on
Option for Rens changed from off to on
At line 16 NAME DANO3MIP
At line 17 ROWS
At line 3221 COLUMNS
At line 46865 RHS
At line 47366 BOUNDS
At line 47967 ENDATA
Problem DANO3MIP has 3202 rows, 13873 columns and 79655 elements
Coin0008I DANO3MIP read with 0 errors
Continuous objective value is 576.232 - 18.70 seconds
Cgl0003I 0 fixed, 63 tightened bounds, 0 strengthened rows, 0
substitutions
Cgl0004I processed model has 3139 rows, 13825 columns (115 integer) and
80277 elements
115 0-1 variables normal local cuts
maximum diversifications 0, initial cutspace 10, max time 10000 seconds,
max nodes 2000
Cbc0038I Pass 1: (1.51 seconds) suminf. 1.00000 (11) obj. 581.047
iterations 1360
Cbc0038I Pass 2: (1.58 seconds) suminf. 1.00000 (10) obj. 581.023
iterations 39
Cbc0038I Pass 3: (2.23 seconds) suminf. 0.73948 (12) obj. 583.288
iterations 582
Cbc0038I Pass 4: (2.87 seconds) suminf. 0.00000 (0) obj. 586.917
iterations 595
Cbc0038I Solution found of 586.917
Cbc0038I Before mini branch and bound, 77 integers at bound fixed and
11845 continuous
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 1935 rows 1743
columns
Cbc0038I Mini branch and bound did not improve solution (21.16 seconds)
Cbc0038I Freeing continuous variables gives a solution of 578.728
Cbc0038I Round again with cutoff of 578.479
Cbc0038I Pass 5: (39.55 seconds) suminf. 1.00984 (10) obj. 578.479
iterations 5195
Cbc0038I Pass 6: (41.85 seconds) suminf. 1.40455 (7) obj. 578.479
iterations 2418
Cbc0038I Pass 7: (42.34 seconds) suminf. 1.00000 (8) obj. 578.47
iterations 448
Cbc0038I Pass 8: (42.39 seconds) suminf. 1.00000 (7) obj. 578.47
iterations 7
Cbc0038I Pass 9: (43.76 seconds) suminf. 0.41604 (17) obj. 578.479
iterations 1453
Cbc0038I Pass 10: (44.65 seconds) suminf. 0.00000 (0) obj. 578.479
iterations 878
Cbc0038I Solution found of 578.479
Cbc0038I Before mini branch and bound, 74 integers at bound fixed and
11567 continuous
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2059 rows 2031
columns - 5 fixed gives 1904, 1859 - still too large
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 1901 rows 1855
columns - too large
Cbc0038I Mini branch and bound did not improve solution (46.77 seconds)
Cbc0038I Freeing continuous variables gives a solution of 577.094
Cbc0038I Round again with cutoff of 576.922
Cbc0038I Pass 11: (62.60 seconds) suminf. 1.15820 (15) obj. 576.922
iterations 1696
Cbc0038I Pass 12: (67.21 seconds) suminf. 2.58360 (13) obj. 576.922
iterations 5970
Cbc0038I Pass 13: (71.25 seconds) suminf. 1.06642 (8) obj. 576.922
iterations 5153
Cbc0038I Pass 14: (72.55 seconds) suminf. 1.70723 (7) obj. 576.922
iterations 1633
Cbc0038I Pass 15: (78.10 seconds) suminf. 2.71100 (17) obj. 576.922
iterations 6957
Cbc0038I No solution found this major pass
Cbc0038I After 78.10 seconds - Feasibility pump exiting with objective of
577.094 - took 78.04 seconds
Cbc0012I Integer solution of 577.094 found by feasibility pump after 0
iterations and 0 nodes (78.11 seconds)
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2735 rows 11269
columns - 9 fixed gives 2646, 10765 - still too large
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2822 rows 11670
columns - 5 fixed gives 2662, 10841 - still too large
Entering the Randomized Rounding Heuristic
Perturbing problem by 0.001 % of 77.7773 - largest nonzero change
9.99988e-05 (% 0.001306) - largest zero change 0
0 Obj 288.489 Primal inf 18993.9 (1000) Dual inf 3.8981e+14 (11059)
139 Obj 543.292 Primal inf 10290.8 (467) Dual inf 3.36446e+12 (9371)
173 Obj 543.292 Primal inf 9856.77 (462) Dual inf 3.57477e+12 (9553)
216 Obj 543.292 Primal inf 8798.83 (461) Dual inf 5.02659e+12 (9435)
252 Obj 543.292 Primal inf 8007.7 (461) Dual inf 4.91388e+12 (9210)
297 Obj 543.292 Primal inf 7200.8 (464) Dual inf 5.20483e+13 (8718)
354 Obj 543.292 Primal inf 6185.98 (453) Dual inf 2.17381e+13 (8468)
426 Obj 567.291 Primal inf 5310.28 (454) Dual inf 1.9133e+13 (7272)
516 Obj 567.291 Primal inf 4916.75 (475) Dual inf 7.11097e+12 (7908)
629 Obj 567.291 Primal inf 4745.84 (506) Dual inf 5.83108e+12 (6375)
768 Obj 573.879 Primal inf 4028.68 (470) Dual inf 1.45643e+13 (6154)
907 Obj 617.887 Primal inf 3324.64 (430) Dual inf 2.11422e+13 (6005)
1046 Obj 631.333 Primal inf 2844.28 (410) Dual inf 1.42525e+13 (5477)
1185 Obj 666.747 Primal inf 2341.52 (377) Dual inf 3.58639e+13 (6403)
1324 Obj 685.617 Primal inf 2020.52 (364) Dual inf 3.45205e+12 (5830)
1463 Obj 707.775 Primal inf 1768.32 (343) Dual inf 3.77952e+13 (5970)
1602 Obj 717.245 Primal inf 1625.46 (331) Dual inf 1.99042e+13 (5878)
1741 Obj 728.25 Primal inf 1516.16 (315) Dual inf 1.112e+13 (6276)
1880 Obj 736.401 Primal inf 1143.54 (301) Dual inf 9.89488e+13 (6551)
2019 Obj 729.925 Primal inf 966.091 (304) Dual inf 9.68857e+12 (6302)
2158 Obj 726.582 Primal inf 839.934 (313) Dual inf 5.74331e+12 (6749)
2297 Obj 727.176 Primal inf 635.825 (286) Dual inf 6.57721e+12 (6351)
2436 Obj 723.547 Primal inf 567.368 (295) Dual inf 1.65683e+12 (5835)
2575 Obj 718.465 Primal inf 525.661 (267) Dual inf 2.05492e+13 (6252)
2714 Obj 715.166 Primal inf 472.591 (254) Dual inf 4.52433e+12 (6251)
2853 Obj 715.029 Primal inf 323.959 (248) Dual inf 6.20764e+12 (6252)
2992 Obj 717.119 Primal inf 296.657 (240) Dual inf 4.44057e+12 (5592)
3131 Obj 717.411 Primal inf 261.091 (200) Dual inf 6.77969e+12 (6030)
3270 Obj 718.834 Primal inf 225.838 (218) Dual inf 5.32054e+12 (6046)
3409 Obj 717.877 Primal inf 217.023 (190) Dual inf 2.18158e+13 (6294)
3548 Obj 718.91 Primal inf 190.713 (180) Dual inf 4.63893e+12 (6081)
3687 Obj 723.124 Primal inf 142.232 (195) Dual inf 3.04748e+12 (6016)
3826 Obj 725.544 Primal inf 119.493 (184) Dual inf 2.1475e+13 (6338)
3965 Obj 725.186 Primal inf 101.445 (177) Dual inf 1.91847e+13 (6225)
4104 Obj 725.039 Primal inf 89.6155 (167) Dual inf 6.48043e+13 (6157)
4243 Obj 723.85 Primal inf 82.5786 (167) Dual inf 4.06209e+12 (6181)
4382 Obj 724.826 Primal inf 72.0848 (161) Dual inf 9.74576e+11 (5901)
4521 Obj 725.201 Primal inf 64.4696 (139) Dual inf 6.26401e+11 (5722)
4660 Obj 723.723 Primal inf 59.4656 (132) Dual inf 1.00388e+13 (6428)
4799 Obj 723.715 Primal inf 53.9902 (131) Dual inf 1.85542e+12 (5758)
4938 Obj 725.77 Primal inf 47.2176 (125) Dual inf 1.24847e+12 (6005)
5077 Obj 725.957 Primal inf 42.547 (116) Dual inf 4.68395e+12 (6203)
5216 Obj 725.402 Primal inf 33.5186 (103) Dual inf 2.77179e+12 (6145)
5355 Obj 724.829 Primal inf 32.1664 (72) Dual inf 3.28763e+12 (6207)
5494 Obj 725.391 Primal inf 30.4306 (77) Dual inf 2.61588e+12 (6387)
5633 Obj 725.229 Primal inf 27.137 (55) Dual inf 2.6333e+12 (6406)
5772 Obj 725.558 Primal inf 22.3064 (49) Dual inf 4.42126e+11 (5804)
5911 Obj 722.267 Primal inf 20.1952 (45) Dual inf 1.00977e+12 (6449)
6050 Obj 722.604 Primal inf 17.858 (44) Dual inf 6.15986e+11 (6104)
6189 Obj 722.176 Primal inf 13.3276 (59) Dual inf 7.47252e+11 (5868)
6328 Obj 721.257 Primal inf 9.04076 (30) Dual inf 2.95334e+11 (6103)
6467 Obj 721.365 Primal inf 3.90207 (20) Dual inf 1.24931e+12 (6404)
6606 Obj 720.685 Primal inf 2.72697 (17) Dual inf 3.34323e+11 (6093)
6640 Obj 721.053 Primal inf 2.38475 (13) Dual inf 4.0448e+11 (6067)
6683 Obj 721.139 Primal inf 2.19224 (11) Dual inf 1.94762e+11 (6141)
6719 Obj 721.04 Primal inf 0.56114 (4) Dual inf 2.61196e+11 (6410)
6764 Obj 719.978 Primal inf 5.72849e-06 (1) Dual inf 31776 (6074)
6821 Obj 717.019 Primal inf 5.72849e-06 (1) Dual inf 5.28938e+06 (5985)
6893 Obj 716.978 Primal inf 5.72849e-06 (1) Dual inf 1.37333e+06 (6556)
6983 Obj 713.528 Primal inf 5.72849e-06 (1) Dual inf 17062.4 (6151)
7096 Obj 704.531 Primal inf 5.72849e-06 (1) Dual inf 28971.1 (6035)
7235 Obj 680.565 Primal inf 5.72849e-06 (1) Dual inf 35876.4 (6250)
7374 Obj 655.68 Primal inf 5.72849e-06 (1) Dual inf 25090.4 (6305)
7513 Obj 642.012 Primal inf 5.72849e-06 (1) Dual inf 173164 (6195)
7652 Obj 640.48 Primal inf 5.72849e-06 (1) Dual inf 29618.5 (6299)
7791 Obj 636.015 Primal inf 5.72849e-06 (1) Dual inf 10355.9 (6260)
7930 Obj 629.789 Primal inf 5.72849e-06 (1) Dual inf 64183.5 (6085)
8069 Obj 626.513 Primal inf 5.72849e-06 (1) Dual inf 3969.97 (6368)
8208 Obj 621.286 Primal inf 5.72849e-06 (1) Dual inf 14690.3 (5979)
8347 Obj 614.788 Primal inf 5.72849e-06 (1) Dual inf 34479.9 (6547)
8486 Obj 610.647 Primal inf 5.72849e-06 (1) Dual inf 84658.1 (6162)
8625 Obj 605.526 Primal inf 5.72849e-06 (1) Dual inf 60319.3 (6394)
8764 Obj 603.056 Primal inf 5.72849e-06 (1) Dual inf 15252.6 (6273)
8903 Obj 598.775 Primal inf 5.72849e-06 (1) Dual inf 10397.4 (6162)
9042 Obj 597.826 Primal inf 5.72849e-06 (1) Dual inf 8948.57 (6116)
9181 Obj 596.879 Primal inf 5.72849e-06 (1) Dual inf 5051.75 (6373)
9320 Obj 596.192 Primal inf 5.72849e-06 (1) Dual inf 2532.32 (6167)
9459 Obj 595.413 Primal inf 5.72849e-06 (1) Dual inf 2791.82 (6201)
9598 Obj 594.392 Primal inf 5.72849e-06 (1) Dual inf 2779.69 (6534)
9737 Obj 593.865 Primal inf 5.72849e-06 (1) Dual inf 26346.4 (6425)
9876 Obj 593.183 Primal inf 5.72849e-06 (1) Dual inf 15911.8 (6040)
10015 Obj 592.845 Primal inf 5.72849e-06 (1) Dual inf 2518.92 (5915)
10154 Obj 592.497 Primal inf 5.72849e-06 (1) Dual inf 1050.76 (5785)
10293 Obj 591.823 Primal inf 5.72849e-06 (1) Dual inf 23285.9 (6002)
10432 Obj 591.437 Primal inf 5.72849e-06 (1) Dual inf 2462.98 (6358)
10571 Obj 590.859 Primal inf 5.72849e-06 (1) Dual inf 6742.7 (6104)
10710 Obj 590.331 Primal inf 5.72849e-06 (1) Dual inf 2531.5 (6068)
10849 Obj 589.727 Primal inf 5.72849e-06 (1) Dual inf 1459.97 (6096)
10988 Obj 589.087 Primal inf 5.72849e-06 (1) Dual inf 2952.38 (6248)
11127 Obj 588.485 Primal inf 5.72849e-06 (1) Dual inf 2587.61 (6111)
11266 Obj 588.215 Primal inf 5.72849e-06 (1) Dual inf 978.165 (6223)
11405 Obj 587.801 Primal inf 5.72849e-06 (1) Dual inf 5298.34 (5989)
11544 Obj 587.298 Primal inf 5.72849e-06 (1) Dual inf 399.379 (5566)
11683 Obj 586.937 Primal inf 5.72849e-06 (1) Dual inf 792.424 (5956)
11822 Obj 586.387 Primal inf 5.72849e-06 (1) Dual inf 5220.06 (6154)
11961 Obj 585.989 Primal inf 5.72849e-06 (1) Dual inf 968.432 (6134)
12100 Obj 585.402 Primal inf 5.72849e-06 (1) Dual inf 33589.5 (6329)
12239 Obj 584.939 Primal inf 5.72849e-06 (1) Dual inf 2085.27 (6026)
12378 Obj 584.522 Primal inf 5.72849e-06 (1) Dual inf 1006.53 (5812)
12517 Obj 583.995 Primal inf 5.72849e-06 (1) Dual inf 1401.15 (5981)
12656 Obj 583.583 Primal inf 5.72849e-06 (1) Dual inf 17329.5 (6363)
12795 Obj 583.344 Primal inf 5.72849e-06 (1) Dual inf 732.589 (5974)
12934 Obj 582.872 Primal inf 5.72849e-06 (1) Dual inf 2176.94 (5919)
13073 Obj 582.7 Primal inf 5.72849e-06 (1) Dual inf 441.676 (5623)
13212 Obj 582.389 Primal inf 5.72849e-06 (1) Dual inf 1626.12 (5751)
13351 Obj 581.881 Primal inf 5.72849e-06 (1) Dual inf 1015.97 (6179)
13490 Obj 581.572 Primal inf 5.72849e-06 (1) Dual inf 2926.43 (6015)
13629 Obj 581.4 Primal inf 5.72849e-06 (1) Dual inf 1098.63 (6318)
13768 Obj 581.243 Primal inf 5.72849e-06 (1) Dual inf 1330.15 (5700)
13907 Obj 580.904 Primal inf 5.72849e-06 (1) Dual inf 1927.89 (5768)
14046 Obj 580.66 Primal inf 5.72849e-06 (1) Dual inf 2024.35 (5477)
14185 Obj 580.399 Primal inf 5.72849e-06 (1) Dual inf 538.663 (5403)
14324 Obj 580.313 Primal inf 5.72849e-06 (1) Dual inf 661.972 (5580)
14463 Obj 580.099 Primal inf 5.72849e-06 (1) Dual inf 1036.08 (5999)
14602 Obj 579.894 Primal inf 5.72849e-06 (1) Dual inf 804.937 (5350)
14741 Obj 579.598 Primal inf 5.72849e-06 (1) Dual inf 16550.5 (6476)
14880 Obj 579.442 Primal inf 5.72849e-06 (1) Dual inf 9773.09 (6753)
15019 Obj 579.298 Primal inf 5.72849e-06 (1) Dual inf 3436.15 (6148)
15158 Obj 579.224 Primal inf 5.72849e-06 (1) Dual inf 622.66 (6101)
15297 Obj 579.062 Primal inf 5.72849e-06 (1) Dual inf 6669.38 (6131)
15436 Obj 578.98 Primal inf 5.72849e-06 (1) Dual inf 612.514 (6110)
15575 Obj 578.847 Primal inf 5.72849e-06 (1) Dual inf 299.072 (5239)
15714 Obj 578.68 Primal inf 5.72849e-06 (1) Dual inf 701.76 (6099)
15853 Obj 578.604 Primal inf 5.72849e-06 (1) Dual inf 336.896 (5838)
15992 Obj 578.507 Primal inf 5.72849e-06 (1) Dual inf 341.634 (5791)
16131 Obj 578.397 Primal inf 5.72849e-06 (1) Dual inf 355.535 (5491)
16270 Obj 578.293 Primal inf 5.72849e-06 (1) Dual inf 944.057 (5585)
16409 Obj 578.215 Primal inf 5.72849e-06 (1) Dual inf 216.23 (5128)
16548 Obj 578.076 Primal inf 5.72849e-06 (1) Dual inf 113.27 (5054)
16687 Obj 577.969 Primal inf 5.72849e-06 (1) Dual inf 275.232 (4978)
16826 Obj 577.848 Primal inf 5.72849e-06 (1) Dual inf 474.561 (5757)
16965 Obj 577.784 Primal inf 5.72849e-06 (1) Dual inf 573.013 (5942)
17104 Obj 577.695 Primal inf 5.72849e-06 (1) Dual inf 439.982 (5554)
17243 Obj 577.623 Primal inf 5.72849e-06 (1) Dual inf 31.3366 (3173)
17382 Obj 577.515 Primal inf 5.72849e-06 (1) Dual inf 371.886 (5739)
17521 Obj 577.378 Primal inf 5.72849e-06 (1) Dual inf 1634.81 (5887)
17660 Obj 577.342 Primal inf 5.72849e-06 (1) Dual inf 237.892 (4942)
17799 Obj 577.303 Primal inf 5.72849e-06 (1) Dual inf 3596.08 (5950)
17938 Obj 577.249 Primal inf 5.72849e-06 (1) Dual inf 259.14 (5004)
18077 Obj 577.184 Primal inf 5.72849e-06 (1) Dual inf 1766.6 (6617)
18216 Obj 577.162 Primal inf 5.72849e-06 (1) Dual inf 644.295 (5091)
18355 Obj 577.08 Primal inf 5.72849e-06 (1) Dual inf 1783.04 (5682)
18494 Obj 576.999 Primal inf 5.72849e-06 (1) Dual inf 15175.8 (5431)
18633 Obj 576.969 Primal inf 5.72849e-06 (1) Dual inf 4909.76 (4576)
18772 Obj 576.937 Primal inf 5.72849e-06 (1) Dual inf 5498.32 (4660)
18911 Obj 576.901 Primal inf 5.72849e-06 (1) Dual inf 6892.53 (5250)
19050 Obj 576.853 Primal inf 5.72849e-06 (1) Dual inf 5284.32 (4190)
19189 Obj 576.831 Primal inf 5.72849e-06 (1) Dual inf 215.858 (4163)
19328 Obj 576.8 Primal inf 5.72849e-06 (1) Dual inf 349.597 (5155)
19467 Obj 576.762 Primal inf 5.72849e-06 (1) Dual inf 535.797 (5165)
19606 Obj 576.743 Primal inf 5.72849e-06 (1) Dual inf 306.903 (5242)
19745 Obj 576.725 Primal inf 5.72849e-06 (1) Dual inf 715.269 (5826)
19884 Obj 576.693 Primal inf 5.72849e-06 (1) Dual inf 249.778 (5081)
20023 Obj 576.67 Primal inf 5.72849e-06 (1) Dual inf 32.5016 (2524)
20162 Obj 576.64 Primal inf 5.72849e-06 (1) Dual inf 7641.17 (5457)
20301 Obj 576.626 Primal inf 5.72849e-06 (1) Dual inf 420.582 (5794)
20440 Obj 576.611 Primal inf 5.72849e-06 (1) Dual inf 154.525 (5020)
20579 Obj 576.592 Primal inf 5.72849e-06 (1) Dual inf 86.0063 (3243)
20718 Obj 576.557 Primal inf 5.72849e-06 (1) Dual inf 281.602 (5628)
20857 Obj 576.55 Primal inf 5.72849e-06 (1) Dual inf 12.6301 (2380)
20996 Obj 576.522 Primal inf 5.72849e-06 (1) Dual inf 105.265 (4829)
21135 Obj 576.502 Primal inf 5.72849e-06 (1) Dual inf 389.769 (6052)
21274 Obj 576.483 Primal inf 5.72849e-06 (1) Dual inf 49.6673 (3157)
21413 Obj 576.473 Primal inf 5.72849e-06 (1) Dual inf 29.1668 (3035)
21552 Obj 576.46 Primal inf 5.72849e-06 (1) Dual inf 246.363 (6258)
21691 Obj 576.431 Primal inf 5.72849e-06 (1) Dual inf 1649.34 (5588)
21830 Obj 576.412 Primal inf 5.72849e-06 (1) Dual inf 92.001 (4805)
21969 Obj 576.389 Primal inf 5.72849e-06 (1) Dual inf 92.1749 (3444)
22108 Obj 576.378 Primal inf 5.72849e-06 (1) Dual inf 35.4823 (2840)
22247 Obj 576.369 Primal inf 5.72849e-06 (1) Dual inf 3.28619 (1338)
22386 Obj 576.355 Primal inf 5.72849e-06 (1) Dual inf 33.504 (3308)
22525 Obj 576.339 Primal inf 5.72849e-06 (1) Dual inf 46.4254 (3589)
22664 Obj 576.326 Primal inf 5.72849e-06 (1) Dual inf 111.897 (4791)
22803 Obj 576.321 Primal inf 5.72849e-06 (1) Dual inf 15.8707 (1710)
22942 Obj 576.313 Primal inf 5.72849e-06 (1) Dual inf 12.044 (2241)
23081 Obj 576.306 Primal inf 5.72849e-06 (1) Dual inf 41.8035 (3343)
23220 Obj 576.299 Primal inf 5.72849e-06 (1) Dual inf 181.293 (4752)
23359 Obj 576.287 Primal inf 5.72849e-06 (1) Dual inf 5.69429 (1589)
23498 Obj 576.283 Primal inf 5.72849e-06 (1) Dual inf 6.3684 (1792)
23637 Obj 576.273 Primal inf 5.72849e-06 (1) Dual inf 13.4315 (2656)
23776 Obj 576.267 Primal inf 5.72849e-06 (1) Dual inf 16.6715 (2726)
23915 Obj 576.264 Primal inf 5.72849e-06 (1) Dual inf 17.7803 (2895)
24054 Obj 576.258 Primal inf 5.72849e-06 (1) Dual inf 94.8152 (4077)
24193 Obj 576.252 Primal inf 5.72849e-06 (1) Dual inf 1.502 (917)
24332 Obj 576.247 Primal inf 5.72849e-06 (1) Dual inf 3.7518 (1323)
24471 Obj 576.24 Primal inf 5.72849e-06 (1) Dual inf 3.27486 (654)
24610 Obj 576.237 Primal inf 5.72849e-06 (1) Dual inf 2.47832 (626)
24749 Obj 576.235 Primal inf 5.72849e-06 (1) Dual inf 2.68133 (1174)
24888 Obj 576.234 Primal inf 5.72849e-06 (1) Dual inf 0.132745 (267)
25027 Obj 576.232 Primal inf 5.72849e-06 (1) Dual inf 0.722382 (231)
25132 Obj 576.231 Primal inf 5.72849e-06 (1)
Optimal - objective value 576.232
Leaving the Randomized Rounding Heuristic
Cbc0045I Full problem 3140 rows 13825 columns, reduced to 2823 rows 11670
columns - 5 fixed gives 2662, 10841 - still too large
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2822 rows 11670
columns - 5 fixed gives 2662, 10841 - still too large
Cut size: 115 Cut rhs: 0
Cbc0045I Full problem 3140 rows 13825 columns, reduced to 2815 rows 11620
columns - 5 fixed gives 2658, 10816 - still too large
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2814 rows 11620
columns - 5 fixed gives 2658, 10816 - still too large
Cbc0031I 34 added rows had average density of 9.55882
Cbc0013I At root node, 34 cuts changed objective from 576.232 to 576.348
in 6 passes
Cbc0014I Cut generator 0 (Probing) - 33 row cuts, 3 column cuts (35
active) in 0.096 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 3 row cuts, 0 column cuts (2 active)
in 0.076 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts, 0 column cuts (0 active)
in 0.120 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts, 0 column cuts (0 active)
in 0.008 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts, 0 column
cuts (0 active) in 0.052 seconds - new frequency is -100
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts, 0 column cuts (0
active) in 0.344 seconds - new frequency is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 3 row cuts, 0 column cuts (0
active) in 0.172 seconds - new frequency is -100
initial cut - rhs -1.79769e+308 0
Cbc0010I After 0 nodes, 1 on tree, 577.094 best solution, best possible
576.348 (209.41 seconds)
Cbc0045I Full problem 3139 rows 13825 columns, reduced to 2774 rows 11442
columns - 4 fixed gives 2652, 10816 - still too large
Cbc0010I After 100 nodes, 7 on tree, 577.094 best solution, best possible
576.597 (354.24 seconds)
Cbc0010I After 200 nodes, 26 on tree, 577.094 best solution, best possible
576.597 (437.41 seconds)
Cbc0016I Integer solution of 577.065 found by strong branching after 88813
iterations and 242 nodes (469.47 seconds)
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 2750 rows 11321
columns - too large
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 2743 rows 11316
columns - too large
Cbc0010I After 300 nodes, 26 on tree, 577.065 best solution, best possible
576.705 (536.54 seconds)
Cbc0004I Integer solution of 577.03 found after 119771 iterations and 309
nodes (551.15 seconds)
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 2763 rows 11373
columns - too large
Cbc0016I Integer solution of 577.027 found by strong branching after
126878 iterations and 342 nodes (586.48 seconds)
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 2763 rows 11373
columns - too large
Cbc0016I Integer solution of 576.925 found by strong branching after
131104 iterations and 363 nodes (603.56 seconds)
Cbc0038I Full problem 3139 rows 13825 columns, reduced to 2763 rows 11373
columns - too large
Cbc0010I After 400 nodes, 9 on tree, 576.925 best solution, best possible
576.705 (624.44 seconds)
Cbc0038I Full problem 3140 rows 13825 columns, reduced to 2773 rows 11444
columns - too large
local state 1 after 490 nodes and 463 seconds, new solution 576.925, best
solution 576.925, k was 10
reverseCut - changing cut 0 out of 1, old rhs -1.79769e+308 0 new rhs 1
1.79769e+308, bias 0 smallest 1 Cut size: 115 Cut rhs: 0
inserting cut - now 2 cuts, rhs -1.79769e+308 0, cutspace 10,
diversification 0
0 - rhs 1 1.79769e+308
1 - rhs -1.79769e+308 0
cbc: CbcModel.cpp:5917: int CbcModel::addCuts(CbcNode *,
CoinWarmStartBasis *&, bool): Assertion `lastws->fullBasis()' failed.
Aborted
}}}
I have seen this crash in other models and I believe it is due to local
tree search.
--
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/67>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.
More information about the Cbc-tickets
mailing list