Gurobi 5.0.1 (linux64) logging started Fri Nov 16 11:52:14 2012
Optimize a model with 17892 rows, 5112 columns and 58504 nonzeros
Presolve time: 0.13s
Presolved: 17892 rows, 5112 columns, 58596 nonzeros
Variable types: 0 continuous, 5112 integer (5112 binary)
Found heuristic solution: objective 45.0000000
Root simplex log...
Iteration Objective Primal Inf. Dual Inf. Time
17497 1.9779728e+00 1.173894e+03 0.000000e+00 5s
19755 2.0000000e+00 0.000000e+00 0.000000e+00 6s
Root relaxation: objective 2.000000e+00, 19755 iterations, 6.25 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 142 45.00000 2.00000 95.6% - 6s
H 0 0 18.0000000 2.00000 88.9% - 6s
H 0 0 5.0000000 2.00000 60.0% - 6s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 6s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 7s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 7s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 8s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 8s
0 0 2.00000 0 142 5.00000 2.00000 60.0% - 8s
0 2 2.00000 0 142 5.00000 2.00000 60.0% - 9s
1 3 3.00000 1 321 5.00000 2.00139 60.0% 18053 17s
2 4 3.00000 1 483 5.00000 3.00000 40.0% 16619 24s
5 5 3.09091 3 209 5.00000 3.00000 40.0% 13209 34s
H 8 4 4.0000000 3.00000 25.0% 8332 35s
14 2 cutoff 4 4.00000 3.00000 25.0% 6232 40s
Cutting planes:
Clique: 12
Explored 19 nodes (116097 simplex iterations) in 40.93 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%