Gurobi 5.0.1 (linux64) logging started Sat Nov 17 23:38:40 2012
Optimize a model with 1 rows, 31 columns and 31 nonzeros
Model has 50 quadratic objective terms
Presolve time: 0.00s
Presolved: 51 rows, 81 columns, 181 nonzeros
Variable types: 0 continuous, 81 integer (81 binary)
Found heuristic solution: objective 17.0000000
Root relaxation: objective 0.000000e+00, 61 iterations, 0.00 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 0.00000 0 19 17.00000 0.00000 100% - 0s
H 0 0 16.0000000 0.00000 100% - 0s
0 0 0.00000 0 21 16.00000 0.00000 100% - 0s
0 0 0.00000 0 12 16.00000 0.00000 100% - 0s
H 0 0 12.0000000 0.00000 100% - 0s
H 0 0 10.0000000 0.00000 100% - 0s
0 0 0.00000 0 16 10.00000 0.00000 100% - 0s
0 0 0.00000 0 16 10.00000 0.00000 100% - 0s
0 2 0.00000 0 16 10.00000 0.00000 100% - 0s
* 162 53 9 9.0000000 2.00000 77.8% 5.5 0s
* 184 29 6 8.0000000 4.00000 50.0% 7.3 0s
Cutting planes:
Cover: 90
Explored 216 nodes (1762 simplex iterations) in 0.04 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 8.000000000000e+00, best bound 8.000000000000e+00, gap 0.0%