Gurobi 5.0.1 (linux64) logging started Fri Nov 16 01:49:45 2012 Optimize a model with 6510 rows, 930 columns and 20340 nonzeros Presolve time: 0.06s Presolved: 6510 rows, 930 columns, 28013 nonzeros Variable types: 0 continuous, 930 integer (930 binary) Found heuristic solution: objective 19.0000000 Root relaxation: objective 2.000000e+00, 1981 iterations, 0.10 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 60 19.00000 2.00000 89.5% - 0s H 0 0 9.0000000 2.00000 77.8% - 0s 0 0 2.00000 0 60 9.00000 2.00000 77.8% - 0s 0 0 2.00000 0 60 9.00000 2.00000 77.8% - 0s H 0 0 8.0000000 2.00000 75.0% - 0s 0 0 2.00000 0 60 8.00000 2.00000 75.0% - 1s 0 0 2.00000 0 60 8.00000 2.00000 75.0% - 1s 0 0 2.00000 0 60 8.00000 2.00000 75.0% - 2s 0 0 2.00000 0 60 8.00000 2.00000 75.0% - 2s H 0 0 7.0000000 2.00000 71.4% - 2s 0 2 2.00000 0 60 7.00000 2.00000 71.4% - 3s 12 12 cutoff 8 7.00000 3.00000 57.1% 823 5s 120 22 cutoff 11 7.00000 4.16123 40.6% 422 10s 240 32 cutoff 13 7.00000 5.00000 28.6% 370 15s 329 25 6.00000 7 103 7.00000 5.20000 25.7% 387 20s 427 15 6.00000 8 127 7.00000 6.00000 14.3% 385 25s 549 3 6.00000 10 60 7.00000 6.00000 14.3% 366 30s Cutting planes: Clique: 238 Explored 553 nodes (212899 simplex iterations) in 30.15 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 7.000000000000e+00, best bound 7.000000000000e+00, gap 0.0%