Gurobi 5.0.1 (linux64) logging started Fri Nov 16 10:50:35 2012 Optimize a model with 15663 rows, 4830 columns and 51543 nonzeros Presolve time: 0.12s Presolved: 15663 rows, 4830 columns, 51698 nonzeros Variable types: 0 continuous, 4830 integer (4830 binary) Found heuristic solution: objective 42.0000000 Root relaxation: objective 2.000000e+00, 5076 iterations, 0.26 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 138 42.00000 2.00000 95.2% - 2s H 0 0 19.0000000 2.00000 89.5% - 2s H 0 0 5.0000000 2.00000 60.0% - 2s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 4s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 11s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 19s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 28s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 36s 0 0 2.00000 0 138 5.00000 2.00000 60.0% - 42s 0 2 2.00000 0 138 5.00000 2.00000 60.0% - 66s 1 3 3.00000 1 947 5.00000 2.00000 60.0% 41753 76s 2 4 3.00000 1 740 5.00000 3.00000 40.0% 32584 85s 9 5 4.00000 5 245 5.00000 3.00000 40.0% 8973 90s H 27 1 4.0000000 3.00000 25.0% 3622 97s 32 4 cutoff 6 4.00000 3.00000 25.0% 3436 100s 35 3 3.00000 5 479 4.00000 3.00000 25.0% 3701 105s 40 2 3.00000 2 132 4.00000 3.00000 25.0% 3632 110s 42 0 cutoff 3 4.00000 4.00000 0.0% 4033 117s Cutting planes: Clique: 128 Explored 43 nodes (287346 simplex iterations) in 117.85 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%