Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:43:14 2012

Optimize a model with 457 rows, 43 columns and 914 nonzeros
Presolve removed 323 rows and 0 columns
Presolve time: 0.00s
Presolved: 134 rows, 43 columns, 705 nonzeros
Variable types: 0 continuous, 43 integer (43 binary)
Found heuristic solution: objective 5.0000000

Root relaxation: objective 8.540000e+00, 85 iterations, 0.00 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    8.54000    0   36    5.00000    8.54000  70.8%     -    0s
H    0     0                       6.0000000    8.54000  42.3%     -    0s
     0     0    8.14955    0   39    6.00000    8.14955  35.8%     -    0s
     0     0    8.06352    0   40    6.00000    8.06352  34.4%     -    0s
     0     0    8.01579    0   40    6.00000    8.01579  33.6%     -    0s
     0     0    8.00206    0   39    6.00000    8.00206  33.4%     -    0s
     0     0    8.00169    0   39    6.00000    8.00169  33.4%     -    0s
     0     2    7.99778    0   39    6.00000    7.99778  33.3%     -    0s

Cutting planes:
  Clique: 15
  Zero half: 6

Explored 17 nodes (464 simplex iterations) in 0.04 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 6.000000000000e+00, best bound 6.000000000000e+00, gap 0.0%