Gurobi 5.0.1 (linux64) logging started Fri Nov 16 10:52:33 2012
Optimize a model with 16146 rows, 4830 columns and 52992 nonzeros
Presolve time: 0.12s
Presolved: 16146 rows, 4830 columns, 53117 nonzeros
Variable types: 0 continuous, 4830 integer (4830 binary)
Found heuristic solution: objective 46.0000000
Root relaxation: objective 2.000000e+00, 4414 iterations, 0.15 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 138 46.00000 2.00000 95.7% - 0s
H 0 0 15.0000000 2.00000 86.7% - 0s
H 0 0 5.0000000 2.00000 60.0% - 2s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 3s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 12s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 22s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 30s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 38s
0 0 2.00000 0 138 5.00000 2.00000 60.0% - 44s
H 0 0 4.0000000 2.00000 50.0% - 47s
0 2 2.00000 0 138 4.00000 2.00000 50.0% - 58s
1 3 3.00000 1 862 4.00000 2.00000 50.0% 44174 69s
2 4 3.00000 1 711 4.00000 3.00000 25.0% 34495 79s
3 5 3.00000 2 632 4.00000 3.00000 25.0% 24243 80s
7 3 cutoff 3 4.00000 3.00000 25.0% 14721 90s
13 3 3.00000 2 624 4.00000 3.00000 25.0% 9230 95s
Cutting planes:
Clique: 164
Explored 19 nodes (241962 simplex iterations) in 99.36 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%