Cbc version 2.6.0, build Nov 12 2010 command line - cbc -import bench/ns1758913.mps.gz -sec 28800 -threads 4 -maxS 1 -solve (default strategy 1) At line 1 NAME mps At line 2 ROWS At line 624170 COLUMNS At line 1907619 RHS At line 2513834 BOUNDS At line 2531791 ENDATA Problem mps has 624166 rows, 17956 columns and 1283444 elements Coin0008I mps read with 0 errors seconds was changed from 1e+100 to 28800 threads was changed from 0 to 4 maxSolutions was changed from 9999999 to 1 Continuous objective value is -1501.18 - 153.42 seconds Cgl0003I 0 fixed, 0 tightened bounds, 4552 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 441 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 90 strengthened rows, 0 substitutions Cgl0003I 0 fixed, 0 tightened bounds, 102 strengthened rows, 0 substitutions Cgl0004I processed model has 615032 rows, 17824 columns (17822 integer) and 1270280 elements Cbc0038I Pass 1: (488.05 seconds) suminf. 85.99485 (4349) obj. -340.169 iterations 24267 Cbc0038I Pass 2: (965.41 seconds) suminf. 63.06522 (4400) obj. -230.091 iterations 22812 Cbc0038I Pass 3: (984.25 seconds) suminf. 58.55703 (4239) obj. -75.5946 iterations 1122 Cbc0038I Pass 4: (989.40 seconds) suminf. 57.63591 (4176) obj. -75.6626 iterations 221 Cbc0038I Pass 5: (1630.90 seconds) suminf. 41.22400 (4611) obj. -74.0616 iterations 33328 Cbc0038I Pass 6: (1635.40 seconds) suminf. 37.21600 (4373) obj. -74.0616 iterations 498 Cbc0038I Pass 7: (1639.40 seconds) suminf. 36.49600 (4327) obj. -74.0616 iterations 148 Cbc0038I Pass 8: (1697.69 seconds) suminf. 29.94118 (1994) obj. -78.1309 iterations 4272 Cbc0038I Pass 9: (1922.82 seconds) suminf. 29.44800 (3681) obj. -74.0616 iterations 14586 Cbc0038I Pass 10: (1976.43 seconds) suminf. 28.25862 (3203) obj. -74.4382 iterations 2981 Cbc0038I Pass 11: (2107.25 seconds) suminf. 27.41600 (3427) obj. -74.0616 iterations 8646 Cbc0038I Pass 12: (2168.82 seconds) suminf. 27.63333 (97) obj. -147.483 iterations 5726 Cbc0038I Pass 13: (2169.50 seconds) suminf. 18.80000 (88) obj. -147.483 iterations 928 Cbc0038I Pass 14: (2170.07 seconds) suminf. 16.80000 (84) obj. -147.483 iterations 73 Cbc0038I Pass 15: (2170.66 seconds) suminf. 16.80000 (84) obj. -147.483 iterations 4 Cbc0038I Pass 16: (2171.28 seconds) suminf. 20.33333 (65) obj. -147.483 iterations 860 Cbc0038I Pass 17: (2171.89 seconds) suminf. 16.86667 (69) obj. -147.483 iterations 635 Cbc0038I Pass 18: (2172.46 seconds) suminf. 16.00000 (74) obj. -147.483 iterations 140 Cbc0038I Pass 19: (2173.09 seconds) suminf. 14.06667 (55) obj. -147.483 iterations 793 Cbc0038I Pass 20: (2173.65 seconds) suminf. 11.20000 (56) obj. -147.483 iterations 280 Cbc0038I Pass 21: (2174.21 seconds) suminf. 11.20000 (56) obj. -147.483 iterations 10 Cbc0038I Pass 22: (2174.99 seconds) suminf. 13.96667 (41) obj. -147.483 iterations 1040 Cbc0038I Pass 23: (2175.56 seconds) suminf. 7.26667 (33) obj. -147.483 iterations 453 Cbc0038I Pass 24: (2176.12 seconds) suminf. 7.00000 (35) obj. -147.483 iterations 174 Cbc0038I Pass 25: (2176.69 seconds) suminf. 4.90000 (17) obj. -147.483 iterations 821 Cbc0038I Pass 26: (2177.31 seconds) suminf. 3.06667 (12) obj. -147.483 iterations 358 Cbc0038I Pass 27: (2177.99 seconds) suminf. 2.80000 (14) obj. -147.483 iterations 171 Cbc0038I Pass 28: (2178.55 seconds) suminf. 0.00000 (0) obj. -147.483 iterations 400 Cbc0038I Solution found of -147.483 Cbc0038I Before mini branch and bound, 10576 integers at bound fixed and 0 continuous Cbc0038I Full problem 615032 rows 17824 columns, reduced to 61478 rows 7248 columns Cbc0038I Mini branch and bound did not improve solution (2257.18 seconds) Cbc0038I Round again with cutoff of -282.552 Cbc0038I Pass 29: (2258.54 seconds) suminf. 85.99485 (4349) obj. -340.169 iterations 0 Cbc0038I Pass 30: (2584.23 seconds) suminf. 63.24185 (4377) obj. -282.552 iterations 16737 Cbc0038I Pass 31: (2615.82 seconds) suminf. 58.86878 (4209) obj. -282.552 iterations 1829 Cbc0038I Pass 32: (2618.02 seconds) suminf. 57.95192 (4167) obj. -282.552 iterations 88 Cbc0038I Pass 33: (3107.75 seconds) suminf. 40.49702 (4454) obj. -282.552 iterations 24978 Cbc0038I Pass 34: (3112.49 seconds) suminf. 37.53584 (4372) obj. -282.552 iterations 399 Cbc0038I Pass 35: (3114.69 seconds) suminf. 36.81584 (4326) obj. -282.552 iterations 94 Cbc0038I Pass 36: (3261.05 seconds) suminf. 30.82530 (3602) obj. -282.552 iterations 9286 Cbc0038I Pass 37: (3346.34 seconds) suminf. 29.64940 (3697) obj. -282.552 iterations 4603 Cbc0038I Pass 38: (3413.64 seconds) suminf. 33.73976 (1039) obj. -308.436 iterations 3387 Cbc0038I Pass 39: (3434.48 seconds) suminf. 35.57111 (536) obj. -377.504 iterations 2885 Cbc0038I Pass 40: (3565.50 seconds) suminf. 27.93730 (3251) obj. -282.552 iterations 10246 Cbc0038I Pass 41: (3569.00 seconds) suminf. 25.78286 (3175) obj. -282.552 iterations 367 Cbc0038I Pass 42: (3570.62 seconds) suminf. 25.58931 (3162) obj. -282.552 iterations 97 Cbc0038I Pass 43: (3650.87 seconds) suminf. 27.51020 (1125) obj. -290.525 iterations 5230 Cbc0038I Pass 44: (3797.48 seconds) suminf. 24.53290 (3034) obj. -282.552 iterations 11138 Cbc0038I Pass 45: (3830.96 seconds) suminf. 25.75090 (1696) obj. -282.552 iterations 2330 Cbc0038I Pass 46: (4023.04 seconds) suminf. 23.51677 (2908) obj. -282.552 iterations 15648 Cbc0038I Pass 47: (4058.93 seconds) suminf. 42.00000 (116) obj. -282.552 iterations 4819 Cbc0038I Pass 48: (4076.16 seconds) suminf. 28.04819 (1665) obj. -282.552 iterations 2767 Cbc0038I Pass 49: (4164.61 seconds) suminf. 21.92611 (2539) obj. -282.552 iterations 8609 Cbc0038I Pass 50: (4166.28 seconds) suminf. 21.47082 (2510) obj. -282.552 iterations 143 Cbc0038I Pass 51: (4207.16 seconds) suminf. 26.36590 (99) obj. -282.552 iterations 4721 Cbc0038I Pass 52: (4229.67 seconds) suminf. 18.29041 (1796) obj. -282.552 iterations 3445 Cbc0038I Pass 53: (4247.78 seconds) suminf. 17.40771 (2058) obj. -282.552 iterations 1617 Cbc0038I Pass 54: (4277.28 seconds) suminf. 31.24006 (66) obj. -282.552 iterations 4201 Cbc0038I Pass 55: (4306.61 seconds) suminf. 18.52391 (1645) obj. -282.552 iterations 4972 Cbc0038I Pass 56: (4336.44 seconds) suminf. 16.61823 (1694) obj. -282.552 iterations 3342 Cbc0038I Pass 57: (4339.00 seconds) suminf. 14.37832 (1717) obj. -282.552 iterations 473 Cbc0038I Pass 58: (4365.13 seconds) suminf. 20.66667 (185) obj. -282.552 iterations 2953 Cbc0038I No solution found this major pass Cbc0038I Before mini branch and bound, 9809 integers at bound fixed and 0 continuous Cbc0038I Mini branch and bound did not improve solution (4366.99 seconds) Cbc0038I After 4366.99 seconds - Feasibility pump exiting with objective of -147.483 - took 4366.23 seconds Cbc0012I Integer solution of -147.483 found by feasibility pump after 0 iterations and 0 nodes (4367.75 seconds) Cbc0038I Full problem 615032 rows 17824 columns, reduced to 3247 rows 1130 columns Cbc0038I Full problem 615032 rows 17824 columns, reduced to 0 rows 0 columns Cbc0031I 189 added rows had average density of 87.7566 Cbc0013I At root node, 189 cuts changed objective from -1498.18 to -1459.54 in 20 passes Cbc0014I Cut generator 0 (Probing) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 77.970 seconds - new frequency is 1 Cbc0014I Cut generator 1 (Gomory) - 400 row cuts average 2285.8 elements, 0 column cuts (92 active) in 104.630 seconds - new frequency is 1 Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.570 seconds - new frequency is -100 Cbc0014I Cut generator 3 (Clique) - 3214 row cuts average 11.4 elements, 0 column cuts (97 active) in 11.910 seconds - new frequency is 1 Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 6.380 seconds - new frequency is -100 Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 1.020 seconds - new frequency is -100 Cbc0014I Cut generator 6 (TwoMirCuts) - 8 row cuts average 118.5 elements, 0 column cuts (0 active) in 118.750 seconds - new frequency is -100 Cbc0030I Thread 0 used 0 times, waiting to start 2.44736, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 1 used 0 times, waiting to start 1.88827, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 2 used 0 times, waiting to start 1.32764, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 3 used 0 times, waiting to start 0.768214, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Main thread 0 waiting for threads, 1 locks, 7.39098e-06 locked, 7.15256e-07 waiting for locks Cbc0019I Exiting on maximum solutions Cbc0005I Partial search - best objective -147.483 (best possible -1459.54), took 205219 iterations and 0 nodes (9456.86 seconds) Cbc0032I Strong branching done 110 times (11000 iterations), fathomed 0 nodes and fixed 0 variables Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost Cuts at root node changed objective from -1498.18 to -1459.54 Probing was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (389.850 seconds) Gomory was tried 100 times and created 2000 cuts of which 460 were active after adding rounds of cuts (523.150 seconds) Knapsack was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (2.850 seconds) Clique was tried 100 times and created 16070 cuts of which 485 were active after adding rounds of cuts (59.550 seconds) MixedIntegerRounding2 was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (31.900 seconds) FlowCover was tried 100 times and created 0 cuts of which 0 were active after adding rounds of cuts (5.100 seconds) TwoMirCuts was tried 100 times and created 40 cuts of which 0 were active after adding rounds of cuts (593.750 seconds) Result - Stopped on solutions objective -147.4828653170001 after 0 nodes and 205219 iterations - took 20412.12 seconds (total time 20567.83) Total time 20576.17 20576.23user 11.69system 5:43:21elapsed 99%CPU (0avgtext+0avgdata 15668368maxresident)k 14328inputs+32outputs (0major+5061990minor)pagefaults 0swaps