Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:21:26 2012 Optimize a model with 5938 rows, 155 columns and 11876 nonzeros Presolve removed 4292 rows and 0 columns Presolve time: 0.26s Presolved: 1646 rows, 155 columns, 11948 nonzeros Variable types: 0 continuous, 155 integer (155 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.953357e+01, 736 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.53357 0 151 8.00000 19.53357 144% - 0s H 0 0 9.0000000 19.53357 117% - 0s 0 0 18.91650 0 153 9.00000 18.91650 110% - 0s H 0 0 10.0000000 18.91650 89.2% - 0s 0 0 18.87327 0 154 10.00000 18.87327 88.7% - 0s 0 0 18.81342 0 155 10.00000 18.81342 88.1% - 1s 0 0 18.80535 0 155 10.00000 18.80535 88.1% - 1s 0 0 18.80129 0 155 10.00000 18.80129 88.0% - 1s 0 0 18.79175 0 155 10.00000 18.79175 87.9% - 1s 0 0 18.79157 0 155 10.00000 18.79157 87.9% - 1s 0 2 18.78915 0 155 10.00000 18.78915 87.9% - 2s 276 191 14.08884 8 71 10.00000 17.85055 78.5% 88.0 5s 601 348 12.50473 62 155 10.00000 15.83641 58.4% 83.7 11s 627 367 13.91858 20 72 10.00000 15.83641 58.4% 95.1 15s 1015 418 12.70000 28 41 10.00000 14.64840 46.5% 103 20s 1622 426 13.80465 34 70 10.00000 13.91724 39.2% 80.2 25s 2081 471 cutoff 35 10.00000 13.12777 31.3% 72.9 30s Cutting planes: Clique: 48 Explored 3108 nodes (186116 simplex iterations) in 34.14 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%