--- Job seymour Start 07/18/08 16:54:02 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.070 --- 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 Cbc: elapsed 0:00:00.173 GAMS/Cbc 2.1 LP/MIP Solver written by J. Forrest Reading parameter(s) from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2" >> threads 2 Finished reading from "/home/stefan/work/gams/benchmarks/LINLib.MIP/cbc.op2" Problem statistics: 1372 columns and 4944 rows. 1372 variables have integrality restrictions. Calling CBC main solution routine... Coin Cbc and Clp Solver version 2.10.00, build Jul 15 2008 command line - GAMS/CBC -threads 2 -solve -quit threads was changed from 0 to 2 Continuous objective value is 403.846 - 2.02 seconds 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 strengthened rows, 0 substitutions 0 fixed, 0 tightened bounds, 344 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.62 seconds) suminf. 92.21456 obj. 424.629 iterations 1261 Pass 2: (0.74 seconds) suminf. 65.44330 obj. 429.013 iterations 346 Pass 3: (0.82 seconds) suminf. 42.53333 obj. 431.233 iterations 279 Pass 4: (0.86 seconds) suminf. 38.00000 obj. 432 iterations 146 Pass 5: (0.89 seconds) suminf. 38.00000 obj. 432 iterations 42 Pass 6: (0.90 seconds) suminf. 9.66667 obj. 440.333 iterations 46 Pass 7: (0.91 seconds) suminf. 8.50000 obj. 440.5 iterations 30 Pass 8: (0.93 seconds) suminf. 0.00000 obj. 445 iterations 56 Solution found of 445 Cleaned solution of 445 Before mini branch and bound, 484 integers at bound fixed and 0 continuous of which 2 were internal integer and 0 internal continuous Full problem 4808 rows 1153 columns, reduced to 4407 rows 669 columns - too large Mini branch and bound did not improve solution (1.14 seconds) After 1.14 seconds - Feasibility pump exiting with objective of 3 - took 1.12 seconds Integer solution of 445 found by feasibility pump after 0 iterations and 0 nodes (1.52 seconds) Full problem 4808 rows 1153 columns, reduced to 5 rows 5 columns Integer solution of 439 found by combine solutions after 0 iterations and 0 nodes (2.00 seconds) 40 added rows had average density of 106.525 At root node, 40 cuts changed objective from 403.846 to 408.334 in 5 passes Cut generator 0 (Probing) - 74 row cuts (27 active), 0 column cuts in 0.132 seconds - new frequency is 1 Cut generator 1 (Gomory) - 427 row cuts (10 active), 0 column cuts in 0.636 seconds - new frequency is 1 Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts in 0.024 seconds - new frequency is -100 Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts in 0.028 seconds - new frequency is -100 Cut generator 4 (MixedIntegerRounding2) - 0 row cuts (0 active), 0 column cuts in 0.112 seconds - new frequency is -100 Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column cuts in 0.040 seconds - new frequency is -100 Cut generator 6 (TwoMirCuts) - 201 row cuts (3 active), 0 column cuts in 0.668 seconds - new frequency is -100 After 0 nodes, 1 on tree, 439 best solution, best possible 408.334 (8.31 seconds) After 100 nodes, 52 on tree, 439 best solution, best possible 409.381 (200.72 seconds) After 200 nodes, 110 on tree, 439 best solution, best possible 409.381 (319.68 seconds) After 300 nodes, 171 on tree, 439 best solution, best possible 409.381 (380.04 seconds) Cbc0038I Full problem 4808 rows 1153 columns, reduced to 672 rows 230 columns Cbc0012I Integer solution of 429 found by combine solutions after 123551 iterations and 315 nodes (384.65 seconds) Cbc0038I Full problem 4808 rows 1153 columns, reduced to 5 rows 5 columns Cbc0038I Full problem 4808 rows 1153 columns, reduced to 5 rows 5 columns Node limit reached. Have feasible solution. wallclocktime: 3635.81 used seconds: 7187.45 MIP solution: 429 (15533 nodes, 7187.45 seconds) Best possible: 413.9496536 Absolute gap: 15.05 (absolute tolerance optca: 0) Relative gap: 0.036358 (relative tolerance optcr: 0) --- Restarting execution --- seymour.gms(124) 0 Mb --- Reading solution for model m --- seymour.gms(124) 4 Mb *** Status: Normal completion --- Job seymour.gms Stop 07/18/08 17:54:38 elapsed 1:00:36.033