Gurobi 5.0.1 (linux64) logging started Fri Nov 16 12:02:47 2012
Optimize a model with 17323 rows, 5112 columns and 56727 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.60s
Presolved: 17321 rows, 5110 columns, 56239 nonzeros
Variable types: 0 continuous, 5110 integer (5110 binary)
Found heuristic solution: objective 71.0000000
Root relaxation: objective 2.000000e+00, 3646 iterations, 0.16 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 142 71.00000 2.00000 97.2% - 1s
H 0 0 66.0000000 2.00000 97.0% - 1s
H 0 0 5.0000000 2.00000 60.0% - 1s
0 0 2.66667 0 1028 5.00000 2.66667 46.7% - 5s
H 0 0 4.0000000 2.66667 33.3% - 9s
0 0 2.66667 0 4113 4.00000 2.66667 33.3% - 9s
0 0 2.66667 0 179 4.00000 2.66667 33.3% - 16s
0 0 2.66990 0 4047 4.00000 2.66990 33.3% - 20s
0 0 2.66990 0 4010 4.00000 2.66990 33.3% - 21s
0 0 2.66990 0 3992 4.00000 2.66990 33.3% - 22s
0 0 2.66990 0 3992 4.00000 2.66990 33.3% - 22s
0 0 2.66990 0 3750 4.00000 2.66990 33.3% - 25s
0 0 2.66990 0 3748 4.00000 2.66990 33.3% - 27s
0 0 2.66990 0 3762 4.00000 2.66990 33.3% - 30s
0 0 2.66990 0 3772 4.00000 2.66990 33.3% - 33s
0 0 2.66990 0 3832 4.00000 2.66990 33.3% - 36s
0 0 2.66990 0 3898 4.00000 2.66990 33.3% - 39s
0 0 2.66990 0 3898 4.00000 2.66990 33.3% - 40s
0 2 2.80000 0 3898 4.00000 2.80000 30.0% - 55s
Cutting planes:
Clique: 79
Zero half: 6
Explored 11 nodes (117147 simplex iterations) in 57.58 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0%