Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:01:37 2012 Optimize a model with 3834 rows, 125 columns and 7668 nonzeros Presolve removed 2720 rows and 0 columns Presolve time: 0.13s Presolved: 1114 rows, 125 columns, 7678 nonzeros Variable types: 0 continuous, 125 integer (125 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.658017e+01, 584 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 16.58017 0 118 7.00000 16.58017 137% - 0s H 0 0 8.0000000 16.58017 107% - 0s 0 0 16.19203 0 124 8.00000 16.19203 102% - 0s 0 0 16.11674 0 123 8.00000 16.11674 101% - 0s H 0 0 9.0000000 16.11674 79.1% - 0s 0 0 16.04121 0 125 9.00000 16.04121 78.2% - 0s 0 0 16.00413 0 125 9.00000 16.00413 77.8% - 0s 0 0 15.96824 0 125 9.00000 15.96824 77.4% - 1s 0 0 15.93188 0 123 9.00000 15.93188 77.0% - 1s 0 0 15.91561 0 123 9.00000 15.91561 76.8% - 1s 0 0 15.91339 0 122 9.00000 15.91339 76.8% - 1s 0 0 15.91006 0 124 9.00000 15.91006 76.8% - 1s 0 0 15.90917 0 124 9.00000 15.90917 76.8% - 2s 0 0 15.90915 0 124 9.00000 15.90915 76.8% - 2s 0 2 15.90905 0 124 9.00000 15.90905 76.8% - 2s * 437 107 6 10.0000000 13.26510 32.7% 65.0 4s 476 103 cutoff 11 10.00000 12.82411 28.2% 64.7 5s Cutting planes: Clique: 116 Explored 619 nodes (37562 simplex iterations) in 5.42 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%