Gurobi 5.0.1 (linux64) logging started Fri Nov 16 12:21:40 2012 Optimize a model with 18288 rows, 5256 columns and 59832 nonzeros Presolve time: 0.14s Presolved: 18288 rows, 5256 columns, 59933 nonzeros Variable types: 0 continuous, 5256 integer (5256 binary) Found heuristic solution: objective 47.0000000 Root relaxation: objective 2.000000e+00, 8131 iterations, 1.26 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 144 47.00000 2.00000 95.7% - 6s H 0 0 15.0000000 2.00000 86.7% - 6s H 0 0 5.0000000 2.00000 60.0% - 6s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 7s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 16s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 23s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 33s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 47s 0 0 2.00000 0 144 5.00000 2.00000 60.0% - 53s 0 2 2.00000 0 144 5.00000 2.00000 60.0% - 84s 1 3 3.00000 1 961 5.00000 2.00000 60.0% 51762 99s 2 4 3.00000 1 765 5.00000 3.00000 40.0% 42101 113s 7 3 3.00000 3 140 5.00000 3.00000 40.0% 12428 115s 12 8 3.25000 7 347 5.00000 3.00000 40.0% 8476 120s 16 12 4.00000 9 134 5.00000 3.00000 40.0% 7480 125s * 29 5 19 4.0000000 3.00000 25.0% 4403 126s 36 6 cutoff 6 4.00000 3.00000 25.0% 3949 131s 38 4 cutoff 6 4.00000 3.00000 25.0% 4248 135s 45 3 cutoff 5 4.00000 3.00000 25.0% 4037 140s 52 0 cutoff 5 4.00000 4.00000 0.0% 4109 146s Cutting planes: Clique: 115 Explored 53 nodes (344479 simplex iterations) in 146.64 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%