current bounds on the number of colors: 0 -- 51 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:18:14 2012 Optimize a model with 16926 rows, 1950 columns and 51900 nonzeros Presolve time: 0.07s Presolved: 16926 rows, 1950 columns, 51900 nonzeros Variable types: 0 continuous, 1950 integer (1950 binary) Root relaxation: objective 0.000000e+00, 143 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (503 simplex iterations) in 0.13 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 25 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:18:14 2012 Optimize a model with 8151 rows, 1287 columns and 24912 nonzeros Presolve time: 0.02s Presolved: 8151 rows, 1287 columns, 24912 nonzeros Variable types: 0 continuous, 1287 integer (1287 binary) Root relaxation: objective 0.000000e+00, 109 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 26 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1070 simplex iterations) in 0.10 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:18:14 2012 Optimize a model with 4101 rows, 981 columns and 12456 nonzeros Presolve time: 0.01s Presolved: 4101 rows, 981 columns, 12456 nonzeros Variable types: 0 continuous, 981 integer (981 binary) Root relaxation: objective 0.000000e+00, 105 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 82 - 0.00000 - - 0s 0 0 0.00000 0 100 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1888 simplex iterations) in 0.33 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 6 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:18:15 2012 Optimize a model with 6126 rows, 1134 columns and 18684 nonzeros Presolve time: 0.02s Presolved: 6126 rows, 1134 columns, 18684 nonzeros Variable types: 0 continuous, 1134 integer (1134 binary) Root relaxation: objective 0.000000e+00, 107 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 50 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 181 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 212 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 3s 0 0 0.00000 0 256 - 0.00000 - - 3s 0 2 0.00000 0 256 - 0.00000 - - 5s 318 2 0.00000 8 171 - 0.00000 - 178 10s Cutting planes: Clique: 177 Zero half: 11 Explored 323 nodes (80223 simplex iterations) in 10.07 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 9 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:18:25 2012 Optimize a model with 6801 rows, 1185 columns and 20760 nonzeros Presolve time: 0.02s Presolved: 6801 rows, 1185 columns, 20760 nonzeros Variable types: 0 continuous, 1185 integer (1185 binary) Root relaxation: objective 0.000000e+00, 107 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 36 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 106 - 0.00000 - - 0s 0 0 0.00000 0 193 - 0.00000 - - 1s 0 0 0.00000 0 117 - 0.00000 - - 1s 0 0 0.00000 0 115 - 0.00000 - - 2s 0 0 0.00000 0 142 - 0.00000 - - 2s 0 0 0.00000 0 103 - 0.00000 - - 3s 0 0 0.00000 0 132 - 0.00000 - - 3s 0 0 0.00000 0 108 - 0.00000 - - 4s 0 0 0.00000 0 65 - 0.00000 - - 5s 0 0 0.00000 0 146 - 0.00000 - - 5s 0 0 0.00000 0 18 - 0.00000 - - 6s 0 2 0.00000 0 18 - 0.00000 - - 8s * 37 1 24 0.0000000 0.00000 0.0% 121 9s Cutting planes: Clique: 14 Zero half: 5 Explored 38 nodes (45694 simplex iterations) in 9.11 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% optimal solution found: number of colors: 10