Cbc version 2.6.0, build Nov 12 2010 command line - cbc -import bench/ns1425622.mps.gz -sec 28800 -threads 4 -maxS 1 -solve (default strategy 1) At line 1 NAME ns1425622.lp At line 2 ROWS At line 4710 COLUMNS At line 280905 RHS At line 283595 BOUNDS At line 287628 ENDATA Problem ns1425622.lp has 4706 rows, 4032 columns and 274176 elements Coin0008I ns1425622.lp 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 92025.7 - 3.69 seconds Cgl0004I processed model has 2690 rows, 4032 columns (4032 integer) and 270144 elements Objective coefficients multiple of 20 Cutoff increment increased from 1e-05 to 19.98 Cbc0038I Pass 1: suminf. 37.53479 (207) obj. 115151 iterations 4264 Cbc0038I Pass 2: suminf. 31.91085 (165) obj. 116511 iterations 675 Cbc0038I Pass 3: suminf. 31.63104 (175) obj. 118817 iterations 621 Cbc0038I Pass 4: suminf. 1.92000 (13) obj. 151420 iterations 1720 Cbc0038I Pass 5: suminf. 0.00000 (0) obj. 150540 iterations 268 Cbc0038I Solution found of 150540 Cbc0038I Cleaned solution of 150540 Cbc0038I Rounding solution of 148920 is better than previous of 150540 Cbc0038I Before mini branch and bound, 3210 integers at bound fixed and 0 continuous Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1085 rows 822 columns Cbc0038I Mini branch and bound did not improve solution (29.52 seconds) Cbc0038I Round again with cutoff of 143200 Cbc0038I Pass 6: suminf. 37.53479 (207) obj. 115151 iterations 0 Cbc0038I Pass 7: suminf. 31.91085 (165) obj. 116511 iterations 1408 Cbc0038I Pass 8: suminf. 31.63104 (175) obj. 118817 iterations 539 Cbc0038I Pass 9: suminf. 6.10387 (27) obj. 143200 iterations 1675 Cbc0038I Pass 10: suminf. 7.48582 (40) obj. 143200 iterations 302 Cbc0038I Pass 11: suminf. 0.00000 (0) obj. 141560 iterations 600 Cbc0038I Solution found of 141560 Cbc0038I Cleaned solution of 141560 Cbc0038I Rounding solution of 140660 is better than previous of 141560 Cbc0038I Before mini branch and bound, 3200 integers at bound fixed and 0 continuous Cbc0045I Full problem 2690 rows 4032 columns, reduced to 1090 rows 832 columns - 20 fixed gives 1010, 812 - still too large Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1010 rows 812 columns - too large Cbc0038I Mini branch and bound did not improve solution (35.48 seconds) Cbc0038I Round again with cutoff of 130900 Cbc0038I Pass 12: suminf. 37.53479 (207) obj. 115151 iterations 0 Cbc0038I Pass 13: suminf. 31.91085 (165) obj. 116511 iterations 1408 Cbc0038I Pass 14: suminf. 31.63104 (175) obj. 118817 iterations 539 Cbc0038I Pass 15: suminf. 11.59808 (56) obj. 130900 iterations 1874 Cbc0038I Pass 16: suminf. 5.53571 (18) obj. 130900 iterations 988 Cbc0038I Solution found of 130900 Cbc0038I Branch and bound needed to clear up 18 general integers Cbc0038I Full problem 2691 rows 4032 columns, reduced to 410 rows 42 columns Cbc0038I Cleaned solution of 126160 Cbc0038I Before mini branch and bound, 3200 integers at bound fixed and 0 continuous Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1090 rows 832 columns Cbc0038I Mini branch and bound did not improve solution (58.94 seconds) Cbc0038I Round again with cutoff of 115900 Cbc0038I Pass 17: suminf. 37.53479 (207) obj. 115151 iterations 0 Cbc0038I Pass 18: suminf. 31.69013 (163) obj. 115900 iterations 1382 Cbc0038I Pass 19: suminf. 32.73144 (173) obj. 115900 iterations 443 Cbc0038I Pass 20: suminf. 19.71634 (109) obj. 115900 iterations 1409 Cbc0038I Pass 21: suminf. 15.10922 (79) obj. 115900 iterations 893 Cbc0038I Pass 22: suminf. 7.52876 (35) obj. 115900 iterations 1293 Cbc0038I Pass 23: suminf. 8.39841 (28) obj. 115900 iterations 103 Cbc0038I Solution found of 115900 Cbc0038I Branch and bound needed to clear up 28 general integers Cbc0038I Full problem 2691 rows 4032 columns, reduced to 448 rows 50 columns Cbc0038I Cleaned solution of 115160 Cbc0038I Before mini branch and bound, 3166 integers at bound fixed and 0 continuous Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1107 rows 866 columns Cbc0038I Mini branch and bound did not improve solution (81.86 seconds) Cbc0038I Round again with cutoff of 108200 Cbc0038I Pass 24: suminf. 43.10737 (233) obj. 108200 iterations 581 Cbc0038I Pass 25: suminf. 31.26873 (191) obj. 108200 iterations 2204 Cbc0038I Pass 26: suminf. 18.20240 (103) obj. 108200 iterations 1493 Cbc0038I Pass 27: suminf. 11.37467 (53) obj. 108200 iterations 1330 Cbc0038I Pass 28: suminf. 9.91925 (34) obj. 108200 iterations 1205 Cbc0038I Solution found of 108200 Cbc0038I Branch and bound needed to clear up 33 general integers Cbc0038I Full problem 2691 rows 4032 columns, reduced to 443 rows 59 columns Cbc0038I Cleaned solution of 106500 Cbc0038I Before mini branch and bound, 3156 integers at bound fixed and 0 continuous Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1112 rows 876 columns Cbc0038I Mini branch and bound did not improve solution (107.82 seconds) Cbc0038I Round again with cutoff of 100680 Cbc0038I Pass 29: suminf. 45.00410 (263) obj. 100680 iterations 925 Cbc0038I Pass 30: suminf. 36.45373 (226) obj. 100680 iterations 2472 Cbc0038I Pass 31: suminf. 28.09809 (176) obj. 100680 iterations 1696 Cbc0038I Pass 32: suminf. 15.86866 (82) obj. 100680 iterations 1839 Cbc0038I Pass 33: suminf. 12.34020 (76) obj. 100680 iterations 1143 Cbc0038I Pass 34: suminf. 15.60989 (82) obj. 100680 iterations 1620 Cbc0038I Pass 35: suminf. 14.82883 (62) obj. 100680 iterations 858 Cbc0038I Pass 36: suminf. 13.66745 (72) obj. 100680 iterations 1308 Cbc0038I Pass 37: suminf. 13.90925 (66) obj. 100680 iterations 706 Cbc0038I Pass 38: suminf. 36.99563 (217) obj. 100680 iterations 3126 Cbc0038I Pass 39: suminf. 32.87069 (204) obj. 100680 iterations 1373 Cbc0038I Pass 40: suminf. 32.19917 (180) obj. 100680 iterations 1316 Cbc0038I Pass 41: suminf. 33.88987 (200) obj. 100680 iterations 1194 Cbc0038I Pass 42: suminf. 31.99683 (166) obj. 100680 iterations 994 Cbc0038I No solution found this major pass Cbc0038I After 117.30 seconds - Feasibility pump exiting with objective of 106500 - took 117.24 seconds Cbc0012I Integer solution of 106500 found by feasibility pump after 0 iterations and 0 nodes (117.65 seconds) Cbc0038I Full problem 2690 rows 4032 columns, reduced to 1034 rows 720 columns Cbc0038I Full problem 2690 rows 4032 columns, reduced to 610 rows 115 columns Cbc0012I Integer solution of 105980 found by combine solutions after 0 iterations and 0 nodes (144.60 seconds) Cbc0012I Integer solution of 105900 found by combine solutions after 1737 iterations and 0 nodes (166.62 seconds) Cbc0031I 72 added rows had average density of 532.514 Cbc0013I At root node, 72 cuts changed objective from 92025.7 to 92030.5 in 11 passes Cbc0014I Cut generator 0 (Probing) - 95 row cuts average 2.0 elements, 0 column cuts (10 active) in 0.680 seconds - new frequency is 1 Cbc0014I Cut generator 1 (Gomory) - 194 row cuts average 1988.6 elements, 0 column cuts (54 active) in 6.980 seconds - new frequency is -100 Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.030 seconds - new frequency is -100 Cbc0014I Cut generator 3 (Clique) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.000 seconds - new frequency is -100 Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 4.380 seconds - new frequency is -100 Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts average 0.0 elements, 0 column cuts (0 active) in 0.950 seconds - new frequency is -100 Cbc0014I Cut generator 6 (TwoMirCuts) - 3 row cuts average 2.0 elements, 0 column cuts (0 active) in 2.480 seconds - new frequency is -100 Cbc0030I Thread 0 used 0 times, waiting to start 0.269672, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 1 used 0 times, waiting to start 0.205205, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 2 used 0 times, waiting to start 0.139551, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Thread 3 used 0 times, waiting to start 0.0680771, 0 cpu time, 0 locks, 0 locked, 0 waiting for locks Cbc0030I Main thread 0 waiting for threads, 1 locks, 8.10623e-06 locked, 7.15256e-07 waiting for locks Cbc0019I Exiting on maximum solutions Cbc0005I Partial search - best objective 105900 (best possible 92030.5), took 1737 iterations and 0 nodes (168.26 seconds) Cbc0032I Strong branching done 110 times (6425 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 92025.7 to 92030.5 Probing was tried 55 times and created 475 cuts of which 50 were active after adding rounds of cuts (3.400 seconds) Gomory was tried 55 times and created 970 cuts of which 270 were active after adding rounds of cuts (34.900 seconds) Knapsack was tried 55 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.150 seconds) Clique was tried 55 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds) MixedIntegerRounding2 was tried 55 times and created 0 cuts of which 0 were active after adding rounds of cuts (21.900 seconds) FlowCover was tried 55 times and created 0 cuts of which 0 were active after adding rounds of cuts (4.750 seconds) TwoMirCuts was tried 55 times and created 15 cuts of which 0 were active after adding rounds of cuts (12.400 seconds) Result - Stopped on solutions objective 105900 after 0 nodes and 1737 iterations - took 177.14 seconds (total time 181.05) Total time 181.17 181.17user 0.30system 3:01.53elapsed 99%CPU (0avgtext+0avgdata 1481536maxresident)k 1632inputs+24outputs (0major+165165minor)pagefaults 0swaps