current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:00:03 2012 Optimize a model with 23101 rows, 2419 columns and 70728 nonzeros Presolve time: 0.10s Presolved: 23101 rows, 2419 columns, 70728 nonzeros Variable types: 0 continuous, 2419 integer (2419 binary) Root relaxation: objective 0.000000e+00, 147 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 (496 simplex iterations) in 0.17 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:00:04 2012 Optimize a model with 11579 rows, 1621 columns and 35364 nonzeros Presolve time: 0.04s Presolved: 11579 rows, 1621 columns, 35364 nonzeros Variable types: 0 continuous, 1621 integer (1621 binary) Root relaxation: objective 0.000000e+00, 121 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 54 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1236 simplex iterations) in 0.14 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:00:04 2012 Optimize a model with 5818 rows, 1222 columns and 17682 nonzeros Presolve time: 0.02s Presolved: 5818 rows, 1222 columns, 17682 nonzeros Variable types: 0 continuous, 1222 integer (1222 binary) Root relaxation: objective 0.000000e+00, 116 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 68 - 0.00000 - - 0s 0 0 0.00000 0 94 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2855 simplex iterations) in 0.58 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:00:05 2012 Optimize a model with 8287 rows, 1393 columns and 25260 nonzeros Presolve time: 0.02s Presolved: 8287 rows, 1393 columns, 25260 nonzeros Variable types: 0 continuous, 1393 integer (1393 binary) Root relaxation: objective 0.000000e+00, 124 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 44 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 0.00000 0 147 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 111 - 0.00000 - - 2s 0 0 0.00000 0 184 - 0.00000 - - 3s 0 0 0.00000 0 110 - 0.00000 - - 4s 0 0 0.00000 0 112 - 0.00000 - - 5s 0 0 0.00000 0 107 - 0.00000 - - 6s 0 0 0.00000 0 48 - 0.00000 - - 7s 0 0 0.00000 0 105 - 0.00000 - - 8s 0 0 0.00000 0 175 - 0.00000 - - 8s 0 0 0.00000 0 175 - 0.00000 - - 9s 0 2 0.00000 0 175 - 0.00000 - - 10s 301 9 infeasible 15 - 0.00000 - 140 15s 755 16 infeasible 18 - 0.00000 - 128 20s 1160 15 infeasible 19 - 0.00000 - 130 25s 1205 22 0.00000 0 163 - 0.00000 - 129 30s 1207 23 0.00000 0 222 - 0.00000 - 129 35s 1209 24 0.00000 0 246 - 0.00000 - 129 41s 1211 26 0.00000 0 255 - 0.00000 - 128 47s 1215 28 infeasible 11 - 0.00000 - 174 51s 1482 18 0.00000 22 142 - 0.00000 - 172 55s 1814 12 infeasible 24 - 0.00000 - 171 60s 2133 20 infeasible 28 - 0.00000 - 170 65s 2511 12 0.00000 19 169 - 0.00000 - 167 70s 2830 15 0.00000 24 133 - 0.00000 - 168 75s 3201 15 infeasible 27 - 0.00000 - 166 80s 3548 14 infeasible 27 - 0.00000 - 165 85s 3924 18 0.00000 26 152 - 0.00000 - 163 90s 4287 9 infeasible 23 - 0.00000 - 162 95s 4646 11 infeasible 24 - 0.00000 - 162 100s 4976 11 0.00000 22 154 - 0.00000 - 162 105s 5267 11 0.00000 23 156 - 0.00000 - 163 110s 5649 5 infeasible 24 - 0.00000 - 161 115s Cutting planes: Clique: 57 Zero half: 4 Explored 5724 nodes (975566 simplex iterations) in 115.90 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:02:01 2012 Optimize a model with 9933 rows, 1507 columns and 30312 nonzeros Presolve time: 0.03s Presolved: 9933 rows, 1507 columns, 30312 nonzeros Variable types: 0 continuous, 1507 integer (1507 binary) Root relaxation: objective 0.000000e+00, 128 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 32 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1649 simplex iterations) in 0.16 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:02:01 2012 Optimize a model with 9110 rows, 1450 columns and 27786 nonzeros Presolve time: 0.03s Presolved: 9110 rows, 1450 columns, 27786 nonzeros Variable types: 0 continuous, 1450 integer (1450 binary) Root relaxation: objective 0.000000e+00, 120 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 32 - 0.00000 - - 0s 0 0 0.00000 0 34 - 0.00000 - - 0s 0 0 0.00000 0 153 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 125 - 0.00000 - - 2s 0 0 0.00000 0 58 - 0.00000 - - 3s 0 0 0.00000 0 167 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 4s 0 0 0.00000 0 20 - 0.00000 - - 5s 0 0 0.00000 0 69 - 0.00000 - - 6s 0 0 0.00000 0 91 - 0.00000 - - 7s 0 0 0.00000 0 22 - 0.00000 - - 8s 0 2 0.00000 0 22 - 0.00000 - - 9s 3 3 0.00000 2 148 - 0.00000 - 674 10s * 71 5 25 0.0000000 0.00000 0.0% 115 11s Cutting planes: Clique: 10 Zero half: 1 Explored 72 nodes (50250 simplex iterations) in 11.90 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: 11