Opened 11 years ago

Closed 11 years ago

#68 closed defect (duplicate)

Cbc crash when using heuristics

Reported by: nowozin Owned by: somebody
Priority: major Component: component1
Version: Keywords:
Cc:

Description

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 the local tree search.

Attachments (1)

dano3_5.mps.gz (235.3 KB) - added by nowozin 11 years ago.
Benchmark problem from Mittelmann

Download all attachments as: .zip

Change History (2)

Changed 11 years ago by nowozin

Benchmark problem from Mittelmann

comment:1 Changed 11 years ago by forrest

  • Resolution set to duplicate
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.