Gurobi 5.0.1 (linux64) logging started Fri Nov 16 03:01:14 2012

Optimize a model with 9723 rows, 1190 columns and 30190 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.11s
Presolved: 9755 rows, 1188 columns, 33077 nonzeros
Variable types: 0 continuous, 1188 integer (1188 binary)
Found heuristic solution: objective 34.0000000

Root relaxation: objective 3.452345e+00, 8920 iterations, 0.74 seconds

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

     0     0    3.45234    0 1082   34.00000    3.45234  89.8%     -    1s
     0     0    4.00000    0  117   34.00000    4.00000  88.2%     -    2s
H    0     0                      33.0000000    4.00000  87.9%     -    2s
     0     0    4.85714    0  141   33.00000    4.85714  85.3%     -    3s
H    0     0                      22.0000000    4.85714  77.9%     -    3s
H    0     0                       8.0000000    4.85714  39.3%     -    3s
     0     0    4.88525    0  864    8.00000    4.88525  38.9%     -    4s
     0     0    4.92045    0  841    8.00000    4.92045  38.5%     -    4s
     0     0    4.98677    0  838    8.00000    4.98677  37.7%     -    4s
     0     0    4.99787    0  766    8.00000    4.99787  37.5%     -    4s
     0     0    4.99787    0  760    8.00000    4.99787  37.5%     -    5s
     0     0    4.99787    0  762    8.00000    4.99787  37.5%     -    5s
     0     0    4.99787    0  684    8.00000    4.99787  37.5%     -    7s
     0     0    4.99787    0  738    8.00000    4.99787  37.5%     -    9s
     0     0    4.99787    0  738    8.00000    4.99787  37.5%     -    9s
     0     2    5.00000    0  738    8.00000    5.00000  37.5%     -   12s
    54    41    6.00000   17   64    8.00000    6.00000  25.0%   333   15s
   322   192    7.00000   23   58    8.00000    6.00000  25.0%   122   20s
   603   327    7.00000   20   69    8.00000    7.00000  12.5%   111   25s
   612   333    7.00000   17  108    8.00000    7.00000  12.5%   110   30s
   631   348    7.00000   22  126    8.00000    7.00000  12.5%   167   35s
  1527    68 infeasible   35         8.00000    7.00000  12.5%   136   40s

Cutting planes:
  Clique: 18
  Zero half: 7

Explored 2243 nodes (318451 simplex iterations) in 43.84 seconds
Thread count was 1 (of 16 available processors)

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