--- Job seymour Start 08/21/08 14:14:42 GAMS Rev 227 Copyright (C) 1987-2008 GAMS Development. All rights reserved Licensee: Stefan Vigerske G071106/0001CB-LNX Humboldt University Berlin, Numerical Mathematics DC5918 --- Starting compilation --- seymour.gms(106) 2 Mb --- GDXin=/home/stefan/work/gams/models/LINlib/seymour.gdx --- seymour.gms(148) 4 Mb --- Starting execution: elapsed 0:00:00.074 --- seymour.gms(123) 5 Mb --- Generating MIP model m --- seymour.gms(124) 7 Mb --- 4,945 rows 1,373 columns 34,922 non-zeroes --- 1,372 discrete-columns --- seymour.gms(124) 7 Mb --- Executing COINCBC: elapsed 0:00:00.182 GAMS/CoinCbc 2.0 LP/MIP Solver written by J. Forrest Problem statistics: 1372 columns and 4944 rows. 1372 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.00.00, build Mar 20 2008 command line - GAMS/CBC -solve -quit Continuous objective value is 403.846 - 2.00 seconds 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 346 strengthened rows, 0 substitutions processed model has 4808 rows, 1153 columns (1153 integer) and 33047 elements Objective coefficients multiple of 1 Cutoff increment increased from 1e-05 to 0.999 Pass 1: (0.65 seconds) obj. 97.01622 --> up = 41 , down = 0 Pass 2: (0.78 seconds) obj. 59.34375 --> up = 8 , down = 0 Pass 3: (0.84 seconds) obj. 52.33333 --> up = 9 , down = 0 Pass 4: (0.88 seconds) obj. 44.00000 --> up = 0 , down = 0 -- rand = 15 ( 15) Pass 5: (0.90 seconds) obj. 35.75000 --> up = 11 , down = 0 Pass 6: (0.92 seconds) obj. 25.00000 --> up = 20 , down = 0 Pass 7: (0.95 seconds) obj. 8.50000 --> up = 2 , down = 0 Full problem 4809 rows 1153 columns, reduced to 5 rows 5 columns Pass 8: (0.98 seconds) obj. 6.50000 --> up = 0 , down = 0 -- rand = 13 ( 26) - solution found of 449 - cleaned solution of 449 Before mini branch and bound, 470 integers at bound fixed and 0 continuous of which 1 were internal integer and 0 internal continuous Full problem 4808 rows 1153 columns, reduced to 4455 rows 683 columns - too large Mini branch and bound did not improve solution (1.24 seconds) Round again with cutoff of 444.485 Pass 9: (1.80 seconds) obj. 97.01622 --> up = 44 , down = 0 Pass 10: (1.93 seconds) obj. 57.08333 --> up = 22 , down = 0 Pass 11: (2.01 seconds) obj. 37.50000 --> up = 5 , down = 0 Pass 12: (2.04 seconds) obj. 32.50000 --> up = 0 , down = 0 -- rand = 12 ( 12) Pass 13: (2.06 seconds) obj. 25.50000 --> up = 14 , down = 0 Pass 14: (2.09 seconds) obj. 11.50000 --> up = 0 , down = 0 -- rand = 12 ( 12) Pass 15: (2.10 seconds) obj. 4.50000 --> up = 3 , down = 0 Pass 16: (2.11 seconds) obj. 1.50000 --> up = 0 , down = 0 -- rand = 3 ( 23) - solution found of 443 - cleaned solution of 443 Before mini branch and bound, 474 integers at bound fixed and 0 continuous of which 1 were internal integer and 0 internal continuous Full problem 4808 rows 1153 columns, reduced to 4457 rows 679 columns - too large Mini branch and bound did not improve solution (2.31 seconds) After 2.31 seconds - Feasibility pump exiting - took 2.30 seconds Integer solution of 443 found by feasibility pump after 0 iterations and 0 nodes (2.81 seconds) Full problem 4808 rows 1153 columns, reduced to 4 rows 3 columns Integer solution of 435 found by combine solutions after 3543 iterations and 0 nodes (8.97 seconds) 23 added rows had average density of 8.26087 At root node, 23 cuts changed objective from 403.846 to 407.044 in 5 passes Cut generator 0 (Probing) - 27 row cuts (12 active), 0 column cuts in 0.036 seconds - new frequency is 2 Cut generator 1 (Gomory) - 912 row cuts (7 active), 0 column cuts in 0.840 seconds - new frequency is 1 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.016 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.012 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 0 row cuts (0 active), 0 column cuts in 0.028 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in 0.004 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 178 row cuts (3 active), 0 column cuts in 0.908 seconds - new frequency is -100 After 0 nodes, 1 on tree, 435 best solution, best possible 407.044 (9.90 seconds) After 100 nodes, 53 on tree, 435 best solution, best possible 407.515 (119.03 seconds) After 200 nodes, 119 on tree, 435 best solution, best possible 407.515 (210.30 seconds) After 300 nodes, 165 on tree, 435 best solution, best possible 407.515 (263.34 seconds) After 400 nodes, 165 on tree, 435 best solution, best possible 407.515 (298.41 seconds) After 500 nodes, 162 on tree, 435 best solution, best possible 407.515 (339.11 seconds) After 600 nodes, 162 on tree, 435 best solution, best possible 407.515 (376.18 seconds) After 700 nodes, 167 on tree, 435 best solution, best possible 407.515 (422.46 seconds) After 800 nodes, 163 on tree, 435 best solution, best possible 407.515 (434.78 seconds) After 900 nodes, 163 on tree, 435 best solution, best possible 407.515 (443.39 seconds) After 1000 nodes, 165 on tree, 435 best solution, best possible 407.515 (451.36 seconds) After 1100 nodes, 163 on tree, 435 best solution, best possible 407.515 (459.49 seconds) After 1200 nodes, 167 on tree, 435 best solution, best possible 407.515 (468.89 seconds) After 1300 nodes, 165 on tree, 435 best solution, best possible 407.515 (476.11 seconds) After 1400 nodes, 162 on tree, 435 best solution, best possible 407.515 (482.63 seconds) After 1500 nodes, 160 on tree, 435 best solution, best possible 407.515 (489.48 seconds) After 1600 nodes, 164 on tree, 435 best solution, best possible 407.515 (499.62 seconds) After 1700 nodes, 161 on tree, 435 best solution, best possible 407.515 (506.66 seconds) After 1800 nodes, 163 on tree, 435 best solution, best possible 407.515 (514.42 seconds) After 1900 nodes, 160 on tree, 435 best solution, best possible 407.515 (521.99 seconds) After 2000 nodes, 160 on tree, 435 best solution, best possible 407.515 (528.51 seconds) After 2100 nodes, 163 on tree, 435 best solution, best possible 407.515 (535.62 seconds) After 2200 nodes, 160 on tree, 435 best solution, best possible 407.515 (542.46 seconds) After 2300 nodes, 160 on tree, 435 best solution, best possible 407.515 (548.75 seconds) After 2400 nodes, 159 on tree, 435 best solution, best possible 407.515 (555.45 seconds) After 2500 nodes, 159 on tree, 435 best solution, best possible 407.515 (561.85 seconds) After 2600 nodes, 160 on tree, 435 best solution, best possible 407.515 (568.20 seconds) After 2700 nodes, 159 on tree, 435 best solution, best possible 407.515 (575.32 seconds) After 2800 nodes, 158 on tree, 435 best solution, best possible 407.515 (582.74 seconds) After 2900 nodes, 154 on tree, 435 best solution, best possible 407.515 (589.56 seconds) After 3000 nodes, 158 on tree, 435 best solution, best possible 407.515 (597.17 seconds) After 3100 nodes, 155 on tree, 435 best solution, best possible 407.515 (603.21 seconds) After 3200 nodes, 155 on tree, 435 best solution, best possible 407.515 (611.98 seconds) After 3300 nodes, 159 on tree, 435 best solution, best possible 407.515 (621.28 seconds) After 3400 nodes, 153 on tree, 435 best solution, best possible 407.515 (634.22 seconds) After 3500 nodes, 148 on tree, 435 best solution, best possible 407.515 (652.09 seconds) After 3600 nodes, 151 on tree, 435 best solution, best possible 407.515 (668.52 seconds) After 3700 nodes, 145 on tree, 435 best solution, best possible 407.515 (681.54 seconds) After 3800 nodes, 152 on tree, 435 best solution, best possible 407.515 (701.83 seconds) After 3900 nodes, 167 on tree, 435 best solution, best possible 407.515 (716.48 seconds) After 4000 nodes, 171 on tree, 435 best solution, best possible 407.515 (729.41 seconds) After 4100 nodes, 169 on tree, 435 best solution, best possible 407.515 (740.55 seconds) After 4200 nodes, 169 on tree, 435 best solution, best possible 407.515 (750.83 seconds) After 4300 nodes, 168 on tree, 435 best solution, best possible 407.515 (761.24 seconds) After 4400 nodes, 167 on tree, 435 best solution, best possible 407.515 (774.30 seconds) After 4500 nodes, 160 on tree, 435 best solution, best possible 407.515 (785.88 seconds) After 4600 nodes, 163 on tree, 435 best solution, best possible 407.515 (797.77 seconds) After 4700 nodes, 172 on tree, 435 best solution, best possible 407.515 (808.51 seconds) After 4800 nodes, 168 on tree, 435 best solution, best possible 407.515 (819.41 seconds) After 4900 nodes, 169 on tree, 435 best solution, best possible 407.515 (830.26 seconds) After 5000 nodes, 166 on tree, 435 best solution, best possible 407.515 (841.20 seconds) After 5100 nodes, 172 on tree, 435 best solution, best possible 407.515 (853.33 seconds) After 5200 nodes, 183 on tree, 435 best solution, best possible 407.515 (865.34 seconds) After 5300 nodes, 190 on tree, 435 best solution, best possible 407.515 (876.80 seconds) After 5400 nodes, 189 on tree, 435 best solution, best possible 407.515 (885.78 seconds) After 5500 nodes, 189 on tree, 435 best solution, best possible 407.515 (894.79 seconds) After 5600 nodes, 187 on tree, 435 best solution, best possible 407.515 (905.41 seconds) After 5700 nodes, 185 on tree, 435 best solution, best possible 407.515 (914.93 seconds) After 5800 nodes, 188 on tree, 435 best solution, best possible 407.515 (926.07 seconds) After 5900 nodes, 187 on tree, 435 best solution, best possible 407.515 (935.09 seconds) After 6000 nodes, 195 on tree, 435 best solution, best possible 407.515 (944.87 seconds) After 6100 nodes, 194 on tree, 435 best solution, best possible 407.515 (953.88 seconds) After 6200 nodes, 207 on tree, 435 best solution, best possible 407.515 (964.81 seconds) After 6300 nodes, 208 on tree, 435 best solution, best possible 407.515 (975.74 seconds) After 6400 nodes, 201 on tree, 435 best solution, best possible 407.515 (984.39 seconds) After 6500 nodes, 197 on tree, 435 best solution, best possible 407.515 (994.19 seconds) After 6600 nodes, 193 on tree, 435 best solution, best possible 407.515 (1003.59 seconds) After 6700 nodes, 191 on tree, 435 best solution, best possible 407.515 (1013.64 seconds) After 6800 nodes, 184 on tree, 435 best solution, best possible 407.515 (1023.38 seconds) After 6900 nodes, 185 on tree, 435 best solution, best possible 407.515 (1034.02 seconds) After 7000 nodes, 182 on tree, 435 best solution, best possible 407.515 (1043.62 seconds) After 7100 nodes, 194 on tree, 435 best solution, best possible 407.515 (1055.06 seconds) After 7200 nodes, 194 on tree, 435 best solution, best possible 407.515 (1065.79 seconds) After 7300 nodes, 197 on tree, 435 best solution, best possible 407.515 (1078.83 seconds) After 7400 nodes, 195 on tree, 435 best solution, best possible 407.515 (1090.24 seconds) After 7500 nodes, 198 on tree, 435 best solution, best possible 407.515 (1099.86 seconds) After 7600 nodes, 195 on tree, 435 best solution, best possible 407.515 (1110.09 seconds) After 7700 nodes, 187 on tree, 435 best solution, best possible 407.515 (1121.21 seconds) After 7800 nodes, 183 on tree, 435 best solution, best possible 407.515 (1132.41 seconds) After 7900 nodes, 184 on tree, 435 best solution, best possible 407.515 (1141.11 seconds) After 8000 nodes, 183 on tree, 435 best solution, best possible 407.515 (1150.25 seconds) After 8100 nodes, 187 on tree, 435 best solution, best possible 407.515 (1160.24 seconds) After 8200 nodes, 180 on tree, 435 best solution, best possible 407.515 (1170.34 seconds) After 8300 nodes, 175 on tree, 435 best solution, best possible 407.515 (1180.63 seconds) After 8400 nodes, 171 on tree, 435 best solution, best possible 407.515 (1192.37 seconds) After 8500 nodes, 170 on tree, 435 best solution, best possible 407.515 (1204.61 seconds) After 8600 nodes, 168 on tree, 435 best solution, best possible 407.515 (1216.33 seconds) After 8700 nodes, 168 on tree, 435 best solution, best possible 407.515 (1227.53 seconds) After 8800 nodes, 165 on tree, 435 best solution, best possible 407.515 (1240.35 seconds) After 8900 nodes, 166 on tree, 435 best solution, best possible 407.515 (1252.49 seconds) After 9000 nodes, 170 on tree, 435 best solution, best possible 407.515 (1265.52 seconds) After 9100 nodes, 174 on tree, 435 best solution, best possible 407.515 (1275.22 seconds) After 9200 nodes, 175 on tree, 435 best solution, best possible 407.515 (1284.36 seconds) After 9300 nodes, 174 on tree, 435 best solution, best possible 407.515 (1294.17 seconds) After 9400 nodes, 169 on tree, 435 best solution, best possible 407.515 (1304.40 seconds) After 9500 nodes, 185 on tree, 435 best solution, best possible 407.515 (1316.45 seconds) After 9600 nodes, 182 on tree, 435 best solution, best possible 407.515 (1326.45 seconds) After 9700 nodes, 181 on tree, 435 best solution, best possible 407.515 (1336.80 seconds) After 9800 nodes, 182 on tree, 435 best solution, best possible 407.515 (1347.94 seconds) After 9900 nodes, 183 on tree, 435 best solution, best possible 407.515 (1357.52 seconds) After 10000 nodes, 183 on tree, 435 best solution, best possible 407.515 (1367.25 seconds) After 10100 nodes, 181 on tree, 435 best solution, best possible 407.515 (1377.41 seconds) After 10200 nodes, 184 on tree, 435 best solution, best possible 407.515 (1388.17 seconds) After 10300 nodes, 179 on tree, 435 best solution, best possible 407.515 (1398.54 seconds) After 10400 nodes, 189 on tree, 435 best solution, best possible 407.515 (1410.32 seconds) After 10500 nodes, 183 on tree, 435 best solution, best possible 407.515 (1419.86 seconds) After 10600 nodes, 182 on tree, 435 best solution, best possible 407.515 (1430.72 seconds) After 10700 nodes, 182 on tree, 435 best solution, best possible 407.515 (1440.49 seconds) After 10800 nodes, 181 on tree, 435 best solution, best possible 407.515 (1450.93 seconds) After 10900 nodes, 184 on tree, 435 best solution, best possible 407.515 (1460.48 seconds) After 11000 nodes, 180 on tree, 435 best solution, best possible 407.515 (1471.68 seconds) After 11100 nodes, 230 on tree, 435 best solution, best possible 408.838 (1555.23 seconds) After 11200 nodes, 280 on tree, 435 best solution, best possible 409.342 (1638.94 seconds) After 11300 nodes, 330 on tree, 435 best solution, best possible 409.701 (1719.16 seconds) After 11400 nodes, 380 on tree, 435 best solution, best possible 409.959 (1778.90 seconds) Exiting on maximum time Partial search - best objective 435 (best possible 410.065), took 1734003 iterations and 11453 nodes (1799.26 seconds) Strong branching done 16004 times (1007325 iterations), fathomed 70 nodes and fixed 91 variables Maximum depth 122, 304084 variables fixed on reduced cost Cuts at root node changed objective from 403.846 to 407.044 Probing was tried 3252 times and created 1476 cuts of which 784 were active after adding rounds of cuts (13.045 seconds) Gomory was tried 1512 times and created 11285 cuts of which 908 were active after adding rounds of cuts (32.886 seconds) Knapsack was tried 5 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.016 seconds) Clique was tried 5 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.012 seconds) MixedIntegerRounding2 was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.028 seconds) FlowCover was tried 1 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.004 seconds) TwoMirCuts was tried 5 times and created 178 cuts of which 3 were active after adding rounds of cuts (0.908 seconds) Result - Stopped on time objective 435 after 11453 nodes and 1734003 iterations - took 1800.31 seconds (total time 1802.32) Total time 1802.50 Time limit reached. Have feasible solution. Writing solution. Objective: 435 Time: 1802.5 s --- Restarting execution --- seymour.gms(124) 0 Mb --- Reading solution for model m --- seymour.gms(124) 4 Mb *** Status: Normal completion --- Job seymour.gms Stop 08/21/08 14:44:54 elapsed 0:30:11.939