[Cbc] Convergence problem with miplib2010/30n20b8
Fausto Richetti Blanco
fausto.blanco at gmail.com
Tue Jun 27 10:20:28 EDT 2017
I would check if there are any inconsistencies on the treatment of the MPS
file constraints.
This file format has a series os behaviours that are not defined by the
standard, so different solvers can interpret the file in different ways.
On Tue, Jun 27, 2017 at 3:32 AM, <ycollette.nospam at free.fr> wrote:
> Hello,
>
> Finally, the behavior is different, but the result is the same.
> No solution found ... yet. Still trying since yesterday.
> Sorry for the noise...
>
> Best regards,
>
> YC
>
> ----- Mail original -----
> De: "ycollette nospam" <ycollette.nospam at free.fr>
> À: "Stefan Vigerske" <stefan at math.hu-berlin.de>
> Cc: cbc at list.coin-or.org
> Envoyé: Lundi 26 Juin 2017 16:57:36
> Objet: Re: [Cbc] Convergence problem with miplib2010/30n20b8
>
> With cbc-2.8.9, the behavior is not the same:
>
> At line 1 NAME 30n20b8
> At line 2 ROWS
> At line 580 COLUMNS
> At line 110291 RHS
> At line 110322 BOUNDS
> At line 128761 ENDATA
> Problem 30n20b8 has 576 rows, 18380 columns and 109706 elements
> Coin0008I 30n20b8 read with 0 errors
> Continuous objective value is 1.56641 - 0.14 seconds
> Cgl0003I 0 fixed, 0 tightened bounds, 3 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0003I 0 fixed, 0 tightened bounds, 2 strengthened rows, 0 substitutions
> Cgl0004I processed model has 492 rows, 8028 columns (8028 integer) and
> 53159 elements
> Cutoff increment increased from 1e-05 to 0.9999
> Cbc0045I 2 integer variables out of 8028 objects (8028 integer) have costs
> - high priority
> Cbc0045I branch on satisfied N create fake objective Y random cost N
> Cbc0038I Pass 1: suminf. 3.17212 (62) obj. 453 iterations 603
> Cbc0038I Pass 2: suminf. 2.99989 (62) obj. 453 iterations 9
> Cbc0038I Pass 3: suminf. 7.13649 (63) obj. 454.594 iterations 33
> Cbc0038I Pass 4: suminf. 6.77913 (63) obj. 454.594 iterations 5
> Cbc0038I Pass 5: suminf. 6.84809 (63) obj. 454.594 iterations 5
> Cbc0038I Pass 6: suminf. 6.84809 (63) obj. 454.594 iterations 2
> Cbc0038I Pass 7: suminf. 11.97326 (67) obj. 487.595 iterations 34
> Cbc0038I Pass 8: suminf. 12.45588 (68) obj. 487.595 iterations 7
> Cbc0038I Pass 9: suminf. 10.79150 (64) obj. 454.594 iterations 20
> Cbc0038I Pass 10: suminf. 11.04126 (66) obj. 454.594 iterations 7
> Cbc0038I Pass 11: suminf. 16.54273 (79) obj. 487.595 iterations 26
> Cbc0038I Pass 12: suminf. 12.97333 (67) obj. 487.595 iterations 9
> Cbc0038I Pass 13: suminf. 11.89674 (67) obj. 454.594 iterations 9
> Cbc0038I Pass 14: suminf. 11.89674 (67) obj. 454.594 iterations 2
> Cbc0038I Pass 15: suminf. 12.46953 (67) obj. 454.594 iterations 10
> Cbc0038I Pass 16: suminf. 12.10175 (68) obj. 454.594 iterations 5
> Cbc0038I Pass 17: suminf. 11.55066 (66) obj. 454.594 iterations 7
> Cbc0038I Pass 18: suminf. 11.55066 (66) obj. 454.594 iterations 1
> Cbc0038I Pass 19: suminf. 12.65707 (69) obj. 454.594 iterations 12
> Cbc0038I Pass 20: suminf. 11.72332 (63) obj. 454.594 iterations 9
> Cbc0038I Pass 21: suminf. 11.86895 (67) obj. 454.594 iterations 11
> Cbc0038I Pass 22: suminf. 11.85620 (63) obj. 454.594 iterations 6
> Cbc0038I Pass 23: suminf. 12.40729 (65) obj. 454.594 iterations 5
> Cbc0038I Pass 24: suminf. 12.40729 (65) obj. 454.594 iterations 3
> Cbc0038I Pass 25: suminf. 12.26679 (64) obj. 487.595 iterations 17
> Cbc0038I Pass 26: suminf. 12.39445 (65) obj. 487.595 iterations 5
> Cbc0038I Pass 27: suminf. 12.46687 (64) obj. 454.594 iterations 11
> Cbc0038I Pass 28: suminf. 12.46687 (64) obj. 454.594 iterations 2
> Cbc0038I Pass 29: suminf. 12.83511 (63) obj. 487.595 iterations 24
> Cbc0038I Pass 30: suminf. 13.08486 (65) obj. 487.595 iterations 12
> Cbc0038I Pass 31: suminf. 12.76438 (68) obj. 454.594 iterations 7
> Cbc0038I Pass 32: suminf. 12.76438 (68) obj. 454.594 iterations 5
> Cbc0038I Pass 33: suminf. 12.21329 (66) obj. 454.594 iterations 7
> Cbc0038I Pass 34: suminf. 12.21329 (66) obj. 454.594 iterations 5
> Cbc0038I Pass 35: suminf. 12.76438 (68) obj. 454.594 iterations 5
> Cbc0038I Pass 36: suminf. 23.56249 (87) obj. 819.377 iterations 115
> Cbc0038I Pass 37: suminf. 13.51225 (65) obj. 1083.94 iterations 83
> Cbc0038I Pass 38: suminf. 17.51270 (64) obj. 919.554 iterations 44
> Cbc0038I Pass 39: suminf. 19.16697 (68) obj. 922.541 iterations 4
> Cbc0038I Pass 40: suminf. 14.91827 (59) obj. 925.252 iterations 8
> Cbc0038I Pass 41: suminf. 18.22469 (72) obj. 922.541 iterations 5
> Cbc0038I Pass 42: suminf. 16.22472 (66) obj. 922.541 iterations 3
> Cbc0038I Pass 43: suminf. 15.14784 (56) obj. 981.175 iterations 20
> Cbc0038I Pass 44: suminf. 17.65709 (72) obj. 1003.49 iterations 14
> Cbc0038I Pass 45: suminf. 17.94346 (66) obj. 1003.63 iterations 3
> Cbc0038I Pass 46: suminf. 18.04894 (61) obj. 957.34 iterations 26
> Cbc0038I Pass 47: suminf. 23.72560 (77) obj. 1006 iterations 26
> Cbc0038I Pass 48: suminf. 13.41490 (45) obj. 969.188 iterations 11
> Cbc0038I Pass 49: suminf. 14.74272 (68) obj. 970.344 iterations 12
> Cbc0038I Pass 50: suminf. 13.98395 (66) obj. 970.484 iterations 2
> Cbc0038I Pass 51: suminf. 14.16897 (53) obj. 969.188 iterations 15
> Cbc0038I Pass 52: suminf. 17.27209 (72) obj. 970.344 iterations 13
> Cbc0038I Pass 53: suminf. 13.25309 (66) obj. 970.484 iterations 5
> Cbc0038I Pass 54: suminf. 12.83650 (51) obj. 969.188 iterations 20
> Cbc0038I Pass 55: suminf. 13.25892 (64) obj. 970.484 iterations 10
> Cbc0038I Pass 56: suminf. 12.69114 (49) obj. 969.188 iterations 16
> Cbc0038I Pass 57: suminf. 14.01186 (68) obj. 970.344 iterations 11
> Cbc0038I Pass 58: suminf. 13.25309 (66) obj. 970.484 iterations 2
> Cbc0038I Pass 59: suminf. 12.53574 (48) obj. 965.625 iterations 20
> Cbc0038I Pass 60: suminf. 13.25892 (64) obj. 970.484 iterations 11
> Cbc0038I Pass 61: suminf. 17.14355 (63) obj. 965.639 iterations 10
> Cbc0038I Pass 62: suminf. 14.01186 (68) obj. 970.344 iterations 7
> Cbc0038I Pass 63: suminf. 13.25309 (66) obj. 970.484 iterations 2
> Cbc0038I Pass 64: suminf. 12.72794 (47) obj. 969.188 iterations 20
> Cbc0038I Pass 65: suminf. 13.25892 (64) obj. 970.484 iterations 12
> Cbc0038I Pass 66: suminf. 21.32026 (74) obj. 875.111 iterations 17
> Cbc0038I Pass 67: suminf. 13.71199 (53) obj. 878.754 iterations 11
> Cbc0038I Pass 68: suminf. 18.41747 (73) obj. 889.391 iterations 26
> Cbc0038I Pass 69: suminf. 17.35490 (82) obj. 921.06 iterations 9
> Cbc0038I Pass 70: suminf. 17.33797 (54) obj. 876.092 iterations 30
> Cbc0038I Pass 71: suminf. 16.30169 (60) obj. 877.622 iterations 2
> Cbc0038I Pass 72: suminf. 21.02180 (71) obj. 897.327 iterations 22
> Cbc0038I Pass 73: suminf. 16.06395 (81) obj. 953.334 iterations 13
> Cbc0038I Pass 74: suminf. 16.56708 (52) obj. 826.758 iterations 24
> Cbc0038I Pass 75: suminf. 16.89138 (55) obj. 826.758 iterations 9
> Cbc0038I Pass 76: suminf. 17.82485 (67) obj. 956.463 iterations 22
> Cbc0038I Pass 77: suminf. 13.88599 (85) obj. 1189.8 iterations 7
> Cbc0038I Pass 78: suminf. 6.84924 (58) obj. 1275.31 iterations 30
> Cbc0038I Pass 79: suminf. 3.73289 (55) obj. 1275.35 iterations 12
> Cbc0038I Pass 80: suminf. 2.51824 (49) obj. 1276.78 iterations 11
> Cbc0038I Pass 81: suminf. 2.68478 (57) obj. 1276.78 iterations 11
> Cbc0038I Pass 82: suminf. 2.65202 (61) obj. 1276.78 iterations 10
> Cbc0038I Pass 83: suminf. 19.85141 (66) obj. 754.191 iterations 32
> Cbc0038I Pass 84: suminf. 15.89955 (56) obj. 880.929 iterations 14
> Cbc0038I Pass 85: suminf. 6.71837 (63) obj. 1127.98 iterations 26
> Cbc0038I Pass 86: suminf. 6.38870 (63) obj. 1127.98 iterations 4
> Cbc0038I Pass 87: suminf. 2.48647 (57) obj. 1272.33 iterations 24
> Cbc0038I Pass 88: suminf. 2.57883 (59) obj. 1276.78 iterations 4
> Cbc0038I Pass 89: suminf. 18.09382 (59) obj. 754.191 iterations 32
> Cbc0038I Pass 90: suminf. 15.47113 (57) obj. 880.929 iterations 20
> Cbc0038I Pass 91: suminf. 5.21086 (66) obj. 1273.08 iterations 39
> Cbc0038I Pass 92: suminf. 5.12167 (66) obj. 1275.35 iterations 3
> Cbc0038I Pass 93: suminf. 2.73414 (57) obj. 1276.78 iterations 18
> Cbc0038I Pass 94: suminf. 2.71826 (61) obj. 1276.78 iterations 5
> Cbc0038I Pass 95: suminf. 2.95185 (59) obj. 1276.73 iterations 9
> Cbc0038I Pass 96: suminf. 2.70389 (61) obj. 1276.78 iterations 9
> Cbc0038I Pass 97: suminf. 18.33131 (59) obj. 754.191 iterations 28
> Cbc0038I Pass 98: suminf. 15.95809 (57) obj. 880.929 iterations 18
> Cbc0038I Pass 99: suminf. 10.45759 (69) obj. 1089.37 iterations 13
> Cbc0038I Pass 100: suminf. 26.36431 (94) obj. 600.375 iterations 117
> Cbc0038I No solution found this major pass
> Cbc0038I Before mini branch and bound, 7645 integers at bound fixed and 0
> continuous
> Cbc0038I Full problem 492 rows 8028 columns, reduced to 347 rows 383
> columns
> Cbc0038I Mini branch and bound did not improve solution (3.07 seconds)
> Cbc0038I After 3.07 seconds - Feasibility pump exiting - took 0.91 seconds
> Cbc0031I 66 added rows had average density of 186.28788
> Cbc0013I At root node, 66 cuts changed objective from 43.335573 to
> 79.854439 in 20 passes
> Cbc0014I Cut generator 0 (Probing) - 288 row cuts average 158.4 elements,
> 0 column cuts (60 active) in 1.329 seconds - new frequency is 1
> Cbc0014I Cut generator 1 (Gomory) - 6 row cuts average 263.2 elements, 0
> column cuts (0 active) in 0.298 seconds - new frequency is -100
> Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.042 seconds - new frequency is -100
> Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.005 seconds - new frequency is -100
> Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 47 row cuts average
> 222.6 elements, 0 column cuts (0 active) in 0.076 seconds - new frequency
> is 1
> Cbc0014I Cut generator 6 (TwoMirCuts) - 72 row cuts average 225.8
> elements, 0 column cuts (0 active) in 0.162 seconds - new frequency is 1
> Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible
> 79.854439 (6.60 seconds)
> Cbc0010I After 100 nodes, 25 on tree, 1e+50 best solution, best possible
> 129.18871 (10.81 seconds)
> Cbc0010I After 200 nodes, 32 on tree, 1e+50 best solution, best possible
> 129.18871 (12.10 seconds)
> Cbc0010I After 300 nodes, 64 on tree, 1e+50 best solution, best possible
> 129.18871 (13.03 seconds)
> Cbc0010I After 400 nodes, 80 on tree, 1e+50 best solution, best possible
> 129.18871 (14.03 seconds)
> Cbc0010I After 500 nodes, 73 on tree, 1e+50 best solution, best possible
> 129.18871 (15.55 seconds)
> Cbc0010I After 600 nodes, 35 on tree, 1e+50 best solution, best possible
> 129.18871 (16.44 seconds)
> Cbc0010I After 700 nodes, 53 on tree, 1e+50 best solution, best possible
> 129.18871 (17.35 seconds)
> Cbc0010I After 800 nodes, 38 on tree, 1e+50 best solution, best possible
> 129.18871 (18.07 seconds)
> Cbc0010I After 900 nodes, 49 on tree, 1e+50 best solution, best possible
> 129.18871 (19.29 seconds)
> Cbc0010I After 1000 nodes, 101 on tree, 1e+50 best solution, best possible
> 129.18871 (20.64 seconds)
> Cbc0010I After 1100 nodes, 134 on tree, 1e+50 best solution, best possible
> 151 (21.86 seconds)
> Cbc0004I Integer solution of 653 found after 21627 iterations and 1102
> nodes (21.94 seconds)
> Cbc0038I Full problem 492 rows 8028 columns, reduced to 195 rows 133
> columns
> Cbc0010I After 1200 nodes, 112 on tree, 653 best solution, best possible
> 151 (28.40 seconds)
> Cbc0038I Full problem 492 rows 8028 columns, reduced to 224 rows 162
> columns
> Cbc0010I After 1300 nodes, 121 on tree, 653 best solution, best possible
> 151 (31.81 seconds)
> Cbc0010I After 1400 nodes, 142 on tree, 653 best solution, best possible
> 151 (37.18 seconds)
> Cbc0038I Full problem 492 rows 8028 columns, reduced to 170 rows 112
> columns
> Cbc0010I After 1500 nodes, 156 on tree, 653 best solution, best possible
> 151 (40.59 seconds)
> Cbc0038I Full problem 492 rows 8028 columns, reduced to 238 rows 151
> columns
> Cbc0010I After 1600 nodes, 175 on tree, 653 best solution, best possible
> 151 (44.80 seconds)
> Cbc0010I After 1700 nodes, 212 on tree, 653 best solution, best possible
> 151 (53.68 seconds)
>
>
>
> ----- Mail original -----
> De: "ycollette nospam" <ycollette.nospam at free.fr>
> À: "Stefan Vigerske" <stefan at math.hu-berlin.de>
> Cc: cbc at list.coin-or.org
> Envoyé: Lundi 26 Juin 2017 16:46:49
> Objet: Re: [Cbc] Convergence problem with miplib2010/30n20b8
>
> I know the differences between MIP and LP. But I remember that with an old
> version of cbc it worked before the timeout of 300 sec I fixed for this
> test.
>
> ----- Mail original -----
> De: "Stefan Vigerske" <stefan at math.hu-berlin.de>
> À: cbc at list.coin-or.org
> Envoyé: Lundi 26 Juin 2017 16:44:34
> Objet: Re: [Cbc] Convergence problem with miplib2010/30n20b8
>
> Maybe I missed some recent breakthrough in the world of optimization,
> but just because Clp is able to solve the LP relaxation of 30n20b8
> quickly, one cannot be sure that Cbc will quickly find a feasible
> solution to the MIP.
>
> On 06/26/2017 04:39 PM, ycollette.nospam at free.fr wrote:
> > The missing part of cbc:
> >
> > At line 1 NAME 30n20b8
> > At line 2 ROWS
> > At line 580 COLUMNS
> > At line 110291 RHS
> > At line 110322 BOUNDS
> > At line 128761 ENDATA
> > Problem 30n20b8 has 576 rows, 18380 columns and 109706 elements
> > Coin0008I 30n20b8 read with 0 errors
> > Continuous objective value is 1.56641 - 0.10 seconds
> > Cgl0004I processed model has 491 rows, 8028 columns (8028 integer (7971
> of which binary)) and 53138 elements
> > Cutoff increment increased from 1e-05 to 0.9999
> > Cbc0045I 2 integer variables out of 8028 objects (8028 integer) have
> costs - high priority
> > Cbc0045I branch on satisfied Y create fake objective Y random cost Y
> > Cbc0038I Initial state - 196 integers unsatisfied sum - 33.5079
> > Cbc0038I Pass 1: suminf. 3.44346 (60) obj. 453 iterations 582
> > Cbc0038I Pass 2: suminf. 3.34653 (60) obj. 453 iterations 19
> > Cbc0038I Pass 3: suminf. 7.03585 (60) obj. 454.594 iterations 35
> > Cbc0038I Pass 4: suminf. 7.03585 (60) obj. 454.594 iterations 10
> > Cbc0038I Pass 5: suminf. 7.10415 (59) obj. 454.594 iterations 8
> > Cbc0038I Pass 6: suminf. 7.10415 (59) obj. 454.594 iterations 4
> > Cbc0038I Pass 7: suminf. 10.14507 (56) obj. 454.594 iterations 32
> > Cbc0038I Pass 8: suminf. 9.78964 (61) obj. 454.594 iterations 14
> > Cbc0038I Pass 9: suminf. 10.94741 (58) obj. 454.594 iterations 22
> > Cbc0038I Pass 10: suminf. 11.40422 (62) obj. 454.594 iterations 12
> > Cbc0038I Pass 11: suminf. 23.07154 (82) obj. 499.914 iterations 27
> > Cbc0038I Pass 12: suminf. 12.18306 (60) obj. 487.595 iterations 19
> > Cbc0038I Pass 13: suminf. 12.18306 (60) obj. 487.595 iterations 2
> > Cbc0038I Pass 14: suminf. 12.19694 (61) obj. 454.594 iterations 15
> > Cbc0038I Pass 15: suminf. 12.26858 (62) obj. 454.594 iterations 9
> > Cbc0038I Pass 16: suminf. 12.59845 (64) obj. 454.594 iterations 7
> > Cbc0038I Pass 17: suminf. 12.59845 (64) obj. 454.594 iterations 5
> > Cbc0038I Pass 18: suminf. 16.19725 (74) obj. 487.595 iterations 17
> > Cbc0038I Pass 19: suminf. 12.66110 (61) obj. 487.595 iterations 10
> > Cbc0038I Pass 20: suminf. 15.78065 (85) obj. 454.594 iterations 25
> > Cbc0038I Pass 21: suminf. 12.49605 (63) obj. 454.594 iterations 18
> > Cbc0038I Pass 22: suminf. 12.49605 (63) obj. 454.594 iterations 2
> > Cbc0038I Pass 23: suminf. 14.74148 (72) obj. 454.594 iterations 9
> > Cbc0038I Pass 24: suminf. 12.85834 (63) obj. 454.594 iterations 7
> > Cbc0038I Pass 25: suminf. 14.77824 (70) obj. 454.594 iterations 14
> > Cbc0038I Pass 26: suminf. 12.03422 (61) obj. 454.594 iterations 12
> > Cbc0038I Pass 27: suminf. 12.03422 (61) obj. 454.594 iterations 2
> > Cbc0038I Pass 28: suminf. 12.51226 (62) obj. 454.594 iterations 8
> > Cbc0038I Pass 29: suminf. 12.51226 (62) obj. 454.594 iterations 5
> > Cbc0038I Pass 30: suminf. 21.85301 (81) obj. 454.594 iterations 10
> > Cbc0038I Pass 31: suminf. 12.03422 (61) obj. 454.594 iterations 10
> > Cbc0038I Pass 32: suminf. 12.03422 (61) obj. 454.594 iterations 2
> > Cbc0038I Pass 33: suminf. 14.74148 (72) obj. 454.594 iterations 10
> > Cbc0038I Pass 34: suminf. 12.85834 (63) obj. 454.594 iterations 6
> > Cbc0038I Pass 35: suminf. 14.41276 (72) obj. 454.594 iterations 7
> > Cbc0038I Pass 36: suminf. 12.84212 (64) obj. 454.594 iterations 6
> > Cbc0038I Pass 37: suminf. 15.02805 (72) obj. 454.594 iterations 10
> > Cbc0038I Pass 38: suminf. 20.44714 (95) obj. 925.549 iterations 126
> > Cbc0038I Pass 39: suminf. 16.41279 (71) obj. 983.301 iterations 62
> > Cbc0038I Pass 40: suminf. 13.27421 (65) obj. 973.911 iterations 30
> > Cbc0038I Pass 41: suminf. 9.79846 (50) obj. 973.74 iterations 3
> > Cbc0038I Pass 42: suminf. 12.51723 (48) obj. 693.605 iterations 18
> > Cbc0038I Pass 43: suminf. 12.70067 (53) obj. 713.45 iterations 15
> > Cbc0038I Pass 44: suminf. 11.23859 (51) obj. 713.45 iterations 14
> > Cbc0038I Pass 45: suminf. 11.45577 (50) obj. 713.45 iterations 8
> > Cbc0038I Pass 46: suminf. 15.45592 (58) obj. 717.459 iterations 27
> > Cbc0038I Pass 47: suminf. 14.36702 (56) obj. 794.134 iterations 18
> > Cbc0038I Pass 48: suminf. 13.47185 (54) obj. 794.134 iterations 3
> > Cbc0038I Pass 49: suminf. 15.50911 (58) obj. 717.459 iterations 21
> > Cbc0038I Pass 50: suminf. 14.37117 (56) obj. 798.021 iterations 18
> > Cbc0038I Pass 51: suminf. 13.47600 (54) obj. 798.021 iterations 3
> > Cbc0038I Pass 52: suminf. 22.68284 (84) obj. 846.461 iterations 128
> > Cbc0038I Pass 53: suminf. 18.57079 (72) obj. 887.407 iterations 59
> > Cbc0038I Pass 54: suminf. 18.43260 (72) obj. 862.071 iterations 21
> > Cbc0038I Pass 55: suminf. 19.74845 (78) obj. 873.792 iterations 12
> > Cbc0038I Pass 56: suminf. 19.06775 (69) obj. 863.075 iterations 15
> > Cbc0038I Pass 57: suminf. 13.50916 (52) obj. 891.173 iterations 10
> > Cbc0038I Pass 58: suminf. 22.87530 (75) obj. 988.677 iterations 20
> > Cbc0038I Pass 59: suminf. 18.28259 (67) obj. 988.677 iterations 7
> > Cbc0038I Pass 60: suminf. 13.99150 (58) obj. 1094.75 iterations 18
> > Cbc0038I Pass 61: suminf. 15.40796 (61) obj. 1267.08 iterations 18
> > Cbc0038I Pass 62: suminf. 7.88882 (46) obj. 1340.87 iterations 5
> > Cbc0038I Pass 63: suminf. 13.54525 (55) obj. 1196.52 iterations 16
> > Cbc0038I Pass 64: suminf. 8.41569 (57) obj. 1295.73 iterations 19
> > Cbc0038I Pass 65: suminf. 9.96606 (64) obj. 1295.73 iterations 15
> > Cbc0038I Pass 66: suminf. 10.37178 (62) obj. 1295.73 iterations 3
> > Cbc0038I Pass 67: suminf. 11.56677 (60) obj. 1295.73 iterations 17
> > Cbc0038I Pass 68: suminf. 11.55920 (62) obj. 1295.73 iterations 8
> > Cbc0038I Pass 69: suminf. 11.01049 (70) obj. 1295.73 iterations 11
> > Cbc0038I Pass 70: suminf. 7.48935 (55) obj. 1295.73 iterations 7
> > Cbc0038I Pass 71: suminf. 10.84838 (58) obj. 1297.3 iterations 14
> > Cbc0038I Pass 72: suminf. 10.91403 (60) obj. 1295.73 iterations 1
> > Cbc0038I Pass 73: suminf. 8.88900 (72) obj. 1268.52 iterations 8
> > Cbc0038I Pass 74: suminf. 8.83585 (75) obj. 1312.12 iterations 5
> > Cbc0038I Pass 75: suminf. 5.77727 (73) obj. 1348.14 iterations 11
> > Cbc0038I Pass 76: suminf. 2.40838 (45) obj. 1351.23 iterations 30
> > Cbc0038I Pass 77: suminf. 2.50573 (46) obj. 1350.17 iterations 5
> > Cbc0038I Pass 78: suminf. 3.43292 (43) obj. 1178.68 iterations 25
> > Cbc0038I Pass 79: suminf. 1.68753 (47) obj. 1178.68 iterations 25
> > Cbc0038I Pass 80: suminf. 10.49116 (53) obj. 1178.46 iterations 30
> > Cbc0038I Pass 81: suminf. 5.19409 (53) obj. 1275.35 iterations 41
> > Cbc0038I Pass 82: suminf. 4.34798 (52) obj. 1275.35 iterations 5
> > Cbc0038I Pass 83: suminf. 2.30426 (42) obj. 1254.5 iterations 31
> > Cbc0038I Pass 84: suminf. 1.66459 (45) obj. 1275.35 iterations 26
> > Cbc0038I Pass 85: suminf. 9.65069 (55) obj. 1178.46 iterations 29
> > Cbc0038I Pass 86: suminf. 6.36467 (54) obj. 1222.02 iterations 27
> > Cbc0038I Pass 87: suminf. 2.13080 (48) obj. 1275.35 iterations 24
> > Cbc0038I Pass 88: suminf. 2.13080 (48) obj. 1275.35 iterations 0
> > Cbc0038I Pass 89: suminf. 9.97728 (55) obj. 1178.46 iterations 35
> > Cbc0038I Pass 90: suminf. 7.67562 (57) obj. 1222.02 iterations 36
> > Cbc0038I Pass 91: suminf. 3.16010 (50) obj. 1275.35 iterations 19
> > Cbc0038I Pass 92: suminf. 2.38080 (50) obj. 1275.35 iterations 6
> > Cbc0038I Pass 93: suminf. 3.74856 (53) obj. 1243.41 iterations 38
> > Cbc0038I Pass 94: suminf. 1.71964 (46) obj. 1275.35 iterations 38
> > Cbc0038I Pass 95: suminf. 2.34377 (42) obj. 1254.5 iterations 21
> > Cbc0038I Pass 96: suminf. 1.53098 (39) obj. 1275.35 iterations 21
> > Cbc0038I Pass 97: suminf. 9.55188 (55) obj. 1178.46 iterations 31
> > Cbc0038I Pass 98: suminf. 7.80986 (51) obj. 1222.02 iterations 26
> > Cbc0038I Pass 99: suminf. 2.83396 (43) obj. 1178.68 iterations 43
> > Cbc0038I Pass 100: suminf. 24.56681 (92) obj. 858.79 iterations 124
> > Cbc0038I No solution found this major pass
> > Cbc0038I Before mini branch and bound, 7605 integers at bound fixed and
> 0 continuous
> > Cbc0038I Full problem 491 rows 8028 columns, reduced to 366 rows 423
> columns
> > Cbc0038I Mini branch and bound did not improve solution (1.40 seconds)
> > Cbc0038I After 1.40 seconds - Feasibility pump exiting - took 0.90
> seconds
> > Cbc0031I 59 added rows had average density of 233.55932
> > Cbc0013I At root node, 59 cuts changed objective from 43.335573 to
> 86.107549 in 20 passes
> > Cbc0014I Cut generator 0 (Probing) - 283 row cuts average 172.1
> elements, 0 column cuts (0 active) in 1.356 seconds - new frequency is 1
> > Cbc0014I Cut generator 1 (Gomory) - 15 row cuts average 743.3 elements,
> 0 column cuts (0 active) in 0.314 seconds - new frequency is -100
> > Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.049 seconds - new frequency is -100
> > Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.007 seconds - new frequency is -100
> > Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 50 row cuts average
> 224.3 elements, 0 column cuts (0 active) in 0.088 seconds - new frequency
> is 1
> > Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements,
> 0 column cuts (0 active) in 0.104 seconds - new frequency is -100
> > Cbc0014I Cut generator 6 (TwoMirCuts) - 78 row cuts average 236.0
> elements, 0 column cuts (0 active) in 0.179 seconds - new frequency is 1
> > Cbc0027I Exiting on user event
> > Cbc0005I Partial search - best objective 1e+50 (best possible
> 86.107549), took 5432 iterations and 0 nodes (5.24 seconds)
> >
> >
> >
> > ----- Mail original -----
> > De: "Fausto Richetti Blanco" <fausto.blanco at gmail.com>
> > À: "ycollette nospam" <ycollette.nospam at free.fr>
> > Cc: "cbc" <cbc at list.coin-or.org>
> > Envoyé: Lundi 26 Juin 2017 16:35:11
> > Objet: Re: [Cbc] Convergence problem with miplib2010/30n20b8
> >
> >
> > CLP:
> > Problem 30n20b8 has 576 rows, 18380 columns and 109706 elements
> >
> > CBS:
> > Cbc0038I Full problem 491 rows 8028 columns, reduced to 366 rows 423
> columns
> >
> >
> >
> > Are you sure you're comparing the same problem?
> >
> >
> >
> >
> > On Mon, Jun 26, 2017 at 11:30 AM, < ycollette.nospam at free.fr > wrote:
> >
> >
> > At the beginning of the cbc run, I got this in the logs:
> >
> > Cbc0038I Full problem 491 rows 8028 columns, reduced to 366 rows 423
> columns
> > Cbc0038I Mini branch and bound did not improve solution (1.51 seconds)
> > Cbc0038I After 1.51 seconds - Feasibility pump exiting - took 0.98
> seconds
> > Cbc0031I 59 added rows had average density of 233.55932
> > Cbc0013I At root node, 59 cuts changed objective from 43.335573 to
> 86.107549 in 20 passes
> > Cbc0014I Cut generator 0 (Probing) - 283 row cuts average 172.1
> elements, 0 column cuts (0 active) in 1.322 seconds - new frequency is 1
> > Cbc0014I Cut generator 1 (Gomory) - 15 row cuts average 743.3 elements,
> 0 column cuts (0 active) in 0.283 seconds - new frequency is -100
> > Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.045 seconds - new frequency is -100
> > Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0
> column cuts (0 active) in 0.005 seconds - new frequency is -100
> > Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 50 row cuts average
> 224.3 elements, 0 column cuts (0 active) in 0.075 seconds - new frequency
> is 1
> > Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements,
> 0 column cuts (0 active) in 0.092 seconds - new frequency is -100
> > Cbc0014I Cut generator 6 (TwoMirCuts) - 78 row cuts average 236.0
> elements, 0 column cuts (0 active) in 0.169 seconds - new frequency is 1
> >
> >
> > ----- Mail original -----
> > De: "ycollette nospam" < ycollette.nospam at free.fr >
> > À: "cbc" < cbc at list.coin-or.org >
> > Envoyé: Lundi 26 Juin 2017 16:28:31
> > Objet: [Cbc] Convergence problem with miplib2010/30n20b8
> >
> >
> >
> > Hello,
> >
> > I am trying to run somes tests from miplib2010. And I meet some strange
> behavior.
> > If I run clp on 30n20b8.mps without specific options, it converges
> quickly to a solution:
> >
> > At line 1 NAME 30n20b8
> > At line 2 ROWS
> > At line 580 COLUMNS
> > At line 110291 RHS
> > At line 110322 BOUNDS
> > At line 128761 ENDATA
> > Problem 30n20b8 has 576 rows, 18380 columns and 109706 elements
> > Model was imported from /home/artelys/repository/coin/
> Cbc/build/Dependencies/.//MIPLIB2000/src/EP_MIPLIB2000/
> instances/miplib2010/30n20b8.mps.gz in 0.114319 seconds
> > Presolve 493 (-83) rows, 11093 (-7287) columns and 63118 (-46588)
> elements
> > Perturbing problem by 0.001%%of 301.52267 - largest nonzero change
> 0.00028965583 ( 9.6064362e-05%%) - largest zero change 0.00028962251
> > 0 Obj 0.041886881 Primal inf 253.60538 (88)
> > 78 Obj 0.044696222 Primal inf 359.4158 (159)
> > 142 Obj 0.04542365 Primal inf 105.42604 (119)
> > 214 Obj 0.045885186 Primal inf 83.292978 (114)
> > 298 Obj 0.046155092 Primal inf 32.89186 (74)
> > 380 Obj 0.048508765 Primal inf 87.130897 (64)
> > 464 Obj 0.057466585 Primal inf 99.796642 (62)
> > 548 Obj 0.068410705 Primal inf 276.03475 (64)
> > 632 Obj 0.077664609 Primal inf 167.63095 (63)
> > 716 Obj 0.08533722 Primal inf 123.90711 (47)
> > 800 Obj 0.093453993 Primal inf 94.340415 (35)
> > 884 Obj 1.079625 Primal inf 0.56385768 (23)
> > 950 Obj 1.669254
> > Optimal - objective value 1.5664076
> > After Postsolve, objective 1.5664076, infeasibilities - dual 0 (0),
> primal 0 (0)
> > Optimal objective 1.566407646 - 950 iterations time 0.112, Presolve 0.03
> >
> >
> >
> > Now, If I run cbc on this problem, it never stops.
> > An example of the log I've got:
> >
> > Cbc0010I After 91600 nodes, 675 on tree, 1e+50 best solution, best
> possible 202 (1278.41 seconds)
> > Cbc0010I After 91700 nodes, 626 on tree, 1e+50 best solution, best
> possible 202 (1279.79 seconds)
> > Cbc0010I After 91800 nodes, 724 on tree, 1e+50 best solution, best
> possible 202 (1281.46 seconds)
> > Cbc0010I After 91900 nodes, 805 on tree, 1e+50 best solution, best
> possible 202 (1283.06 seconds)
> > Cbc0010I After 92000 nodes, 709 on tree, 1e+50 best solution, best
> possible 202 (1284.15 seconds)
> >
> >
> > I feel the number of best solutions is quite strange: 1e+50 (this number
> never changes).
> >
> > I performed these tests on the trunk version of cbc. I will try the same
> test on an older version of cbc.
> >
> > Best regards,
> >
> > YC
> > _______________________________________________
> > Cbc mailing list
> > Cbc at list.coin-or.org
> > https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-
> tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=EqDbNlOmPhOlal3SI7C5XWuE8KhPe3
> sA5awi8py-lBA&s=o5HK9S3C5JZo5CHwNMumDoTjHXpYF-W3LjyehdeuF7w&e=
> >
> > _______________________________________________
> > Cbc mailing list
> > Cbc at list.coin-or.org
> > https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=QLQl3jHZx6hPNKTb0I9pud73uBDZjS
> YyVOorevkAFrU&m=oRCE3ZWfhw5CzXVvq3XW5L7Hm5bKjiC3gT_F_qL8yfw&s=
> zHJEZcVYlhOOruUvsI8rMvBRloUvGYesE99_H866lr4&e=
> >
> >
> > _______________________________________________
> > Cbc mailing list
> > Cbc at list.coin-or.org
> > https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=BRcuJnQr5NAzU29t80hk2rsLc4vrlR
> ySBDabuq0O1ZI&m=FAig13bHGHcoLArQxx2GnWpxX-0oBDkbbxHBj1RT_WQ&s=W4_gzRqdfHJ-
> Gz2ToEdQO0HTeLnCe1GsudjIWXAikCo&e=
> >
>
>
> --
> https://urldefense.proofpoint.com/v2/url?u=http-3A__www.
> gams.com_-7Estefan&d=DwIGaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx
> WPA_2Wlc4&r=kY-tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=
> kwhZTaz4xtoeDVYnyTu5fjfNUuM8pX9BkzNqaqRsX9Y&s=l2wqzn-a8_
> RpNtYu5PiSX7iIs4VkQjXh2tRoUx2azZM&e=
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-
> tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=kwhZTaz4xtoeDVYnyTu5fjfNUuM8pX
> 9BkzNqaqRsX9Y&s=UDDRax2ZXVWiGQUftNQi_TThA-S_BLez_6-k4BcCNvY&e=
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-
> tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=kG8XF_
> ZguPV4JbrNFCfRpYr7CZmZmWPySsOEbl8cHjA&s=-_lVUsasvFEOpdwpbaAyBrR9si6lIMyW
> afk2EiGeGfU&e=
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-
> tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=Z_sKBNAO_1nnvBM8EYRfnR_
> 3PdZc3nVqyd9io8WWT4U&s=-F6T6Zby1KGjvs2rfXRkvKEYpCuYivh-WUGFB9lCRDE&e=
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.
> coin-2Dor.org_mailman_listinfo_cbc&d=DwIGaQ&c=Ngd-
> ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=QLQl3jHZx6hPNKTb0I9pud73uBDZjS
> YyVOorevkAFrU&m=7DeIQBvzFw6cuaZHOlRR65Hw1hy1Q6
> ZYVq1GYKlep2c&s=chX4SUH6-KGf-HtsTtQTSbZIrcfzOgvX4NxoktZDnsQ&e=
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170627/8650ba3c/attachment-0001.html>
More information about the Cbc
mailing list