Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:56:16 2012 Optimize a model with 5641 rows, 150 columns and 11282 nonzeros Presolve removed 4138 rows and 0 columns Presolve time: 0.25s Presolved: 1503 rows, 150 columns, 11059 nonzeros Variable types: 0 continuous, 150 integer (150 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 1.865383e+01, 731 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 18.65383 0 149 8.00000 18.65383 133% - 0s 0 0 18.21490 0 148 8.00000 18.21490 128% - 0s 0 0 18.08606 0 150 8.00000 18.08606 126% - 0s H 0 0 9.0000000 18.08606 101% - 0s 0 0 18.04756 0 149 9.00000 18.04756 101% - 1s 0 0 18.01956 0 149 9.00000 18.01956 100% - 1s 0 0 17.99793 0 150 9.00000 17.99793 100% - 1s 0 0 17.98279 0 149 9.00000 17.98279 100% - 1s 0 0 17.98177 0 149 9.00000 17.98177 100% - 1s 0 0 17.98151 0 149 9.00000 17.98151 100% - 2s 0 2 17.98126 0 149 9.00000 17.98126 100% - 2s * 281 176 12 10.0000000 17.03500 70.4% 79.5 4s 298 175 13.66513 9 70 10.00000 16.93303 69.3% 78.7 5s 601 294 12.98701 20 149 10.00000 14.94917 49.5% 78.1 10s 663 337 12.19885 42 62 10.00000 14.94917 49.5% 105 15s 1434 255 11.00000 25 30 10.00000 13.14932 31.5% 81.9 20s 1825 186 12.01395 41 58 10.00000 12.11075 21.1% 73.8 25s Cutting planes: Clique: 49 Explored 2100 nodes (142983 simplex iterations) in 26.56 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%