current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:52 2012 Optimize a model with 79236 rows, 18148 columns and 254448 nonzeros Presolve time: 0.25s Presolved: 79236 rows, 18148 columns, 254448 nonzeros Variable types: 0 continuous, 18148 integer (18148 binary) Root relaxation: objective 0.000000e+00, 701 iterations, 0.07 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 (1350 simplex iterations) in 0.51 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:53 2012 Optimize a model with 39286 rows, 9406 columns and 125856 nonzeros Presolve time: 0.15s Presolved: 39286 rows, 9406 columns, 125856 nonzeros Variable types: 0 continuous, 9406 integer (9406 binary) Root relaxation: objective 0.000000e+00, 570 iterations, 0.03 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 (964 simplex iterations) in 0.24 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:54 2012 Optimize a model with 19736 rows, 5128 columns and 62928 nonzeros Presolve time: 0.08s Presolved: 19736 rows, 5128 columns, 62928 nonzeros Variable types: 0 continuous, 5128 integer (5128 binary) Root relaxation: objective 0.000000e+00, 385 iterations, 0.01 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 (734 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:55 2012 Optimize a model with 9536 rows, 2896 columns and 30096 nonzeros Presolve time: 0.03s Presolved: 9536 rows, 2896 columns, 30096 nonzeros Variable types: 0 continuous, 2896 integer (2896 binary) Root relaxation: objective 0.000000e+00, 404 iterations, 0.01 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 (717 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:55 2012 Optimize a model with 4436 rows, 1780 columns and 13680 nonzeros Presolve time: 0.01s Presolved: 4436 rows, 1780 columns, 13680 nonzeros Variable types: 0 continuous, 1780 integer (1780 binary) Root relaxation: objective 0.000000e+00, 411 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 207 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3023 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: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:55 2012 Optimize a model with 1886 rows, 1222 columns and 5472 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1700 rows, 1036 columns, 5100 nonzeros Variable types: 0 continuous, 1036 integer (1036 binary) Root relaxation: objective 0.000000e+00, 196 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 186 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (850 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:55 2012 Optimize a model with 2736 rows, 1408 columns and 8208 nonzeros Presolve time: 0.01s Presolved: 2736 rows, 1408 columns, 8208 nonzeros Variable types: 0 continuous, 1408 integer (1408 binary) Root relaxation: objective 0.000000e+00, 419 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 372 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4602 simplex iterations) in 0.59 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:24:56 2012 Optimize a model with 3586 rows, 1594 columns and 10944 nonzeros Presolve time: 0.01s Presolved: 3586 rows, 1594 columns, 10944 nonzeros Variable types: 0 continuous, 1594 integer (1594 binary) Root relaxation: objective 0.000000e+00, 410 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 342 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 489 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 4s 0 0 0.00000 0 296 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 5s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 2 0.00000 0 280 - 0.00000 - - 7s 411 109 infeasible 28 - 0.00000 - 116 10s 606 170 0.00000 15 328 - 0.00000 - 117 15s 609 172 0.00000 14 314 - 0.00000 - 116 20s 613 175 0.00000 9 280 - 0.00000 - 116 25s 619 179 infeasible 12 - 0.00000 - 206 30s 965 152 infeasible 23 - 0.00000 - 205 35s 1348 150 infeasible 34 - 0.00000 - 203 40s 1673 191 infeasible 26 - 0.00000 - 208 45s 2006 214 0.00000 24 397 - 0.00000 - 210 50s 2307 213 0.00000 26 398 - 0.00000 - 214 55s 2640 244 0.00000 29 336 - 0.00000 - 215 60s 2967 229 infeasible 39 - 0.00000 - 218 65s 3283 217 0.00000 27 360 - 0.00000 - 219 70s 3559 189 infeasible 29 - 0.00000 - 223 75s 3882 202 0.00000 30 366 - 0.00000 - 224 80s 4216 216 0.00000 25 336 - 0.00000 - 224 85s 4599 231 infeasible 26 - 0.00000 - 223 90s 4931 239 0.00000 26 316 - 0.00000 - 223 95s 5249 229 infeasible 26 - 0.00000 - 224 100s 5572 226 infeasible 27 - 0.00000 - 225 105s 5891 209 0.00000 27 342 - 0.00000 - 225 110s 6198 178 infeasible 27 - 0.00000 - 226 115s 6515 149 0.00000 19 320 - 0.00000 - 227 120s 6819 129 0.00000 29 370 - 0.00000 - 227 125s 7121 103 infeasible 27 - 0.00000 - 228 130s 7421 93 infeasible 27 - 0.00000 - 228 135s 7738 74 0.00000 27 314 - 0.00000 - 228 140s 8047 71 infeasible 30 - 0.00000 - 228 145s 8360 68 infeasible 27 - 0.00000 - 229 150s 8661 69 infeasible 27 - 0.00000 - 229 155s 8971 49 infeasible 27 - 0.00000 - 229 160s 9265 39 0.00000 23 322 - 0.00000 - 229 165s 9584 22 infeasible 33 - 0.00000 - 229 170s 9851 23 0.00000 19 413 - 0.00000 - 230 175s 10136 34 0.00000 26 394 - 0.00000 - 230 180s 10448 18 0.00000 20 397 - 0.00000 - 231 185s 10720 20 infeasible 29 - 0.00000 - 231 190s 11026 30 infeasible 28 - 0.00000 - 231 195s 11314 22 0.00000 24 322 - 0.00000 - 232 200s 11540 10 infeasible 22 - 0.00000 - 233 205s 11809 11 infeasible 30 - 0.00000 - 233 210s Cutting planes: Zero half: 16 Explored 11939 nodes (2844231 simplex iterations) in 212.34 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5