Gurobi 5.0.1 (linux64) logging started Fri Nov 16 07:03:55 2012 Optimize a model with 12239 rows, 3660 columns and 40078 nonzeros Presolve removed 2 rows and 2 columns Presolve time: 0.32s Presolved: 12237 rows, 3658 columns, 39670 nonzeros Variable types: 0 continuous, 3658 integer (3658 binary) Found heuristic solution: objective 60.0000000 Root relaxation: objective 2.000000e+00, 2761 iterations, 0.10 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 120 60.00000 2.00000 96.7% - 0s H 0 0 56.0000000 2.00000 96.4% - 0s H 0 0 5.0000000 2.00000 60.0% - 0s 0 0 2.66667 0 889 5.00000 2.66667 46.7% - 1s 0 0 2.66667 0 3115 5.00000 2.66667 46.7% - 2s 0 0 2.66667 0 164 5.00000 2.66667 46.7% - 5s 0 0 2.67052 0 3109 5.00000 2.67052 46.6% - 8s 0 0 2.67052 0 3166 5.00000 2.67052 46.6% - 8s 0 0 2.67052 0 2947 5.00000 2.67052 46.6% - 10s 0 0 2.67052 0 2964 5.00000 2.67052 46.6% - 12s 0 0 2.67052 0 3027 5.00000 2.67052 46.6% - 13s 0 0 2.67052 0 3003 5.00000 2.67052 46.6% - 14s 0 0 2.67052 0 2946 5.00000 2.67052 46.6% - 16s 0 0 2.67052 0 2995 5.00000 2.67052 46.6% - 17s 0 0 2.67052 0 3024 5.00000 2.67052 46.6% - 19s 0 0 2.67052 0 3024 5.00000 2.67052 46.6% - 19s 0 2 2.80000 0 3024 5.00000 2.80000 44.0% - 25s * 25 4 17 4.0000000 3.00000 25.0% 416 26s Cutting planes: Clique: 104 Zero half: 20 Explored 30 nodes (69752 simplex iterations) in 28.38 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%