current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:54 2012 Optimize a model with 97707 rows, 20301 columns and 311836 nonzeros Presolve time: 0.32s Presolved: 97707 rows, 20301 columns, 311836 nonzeros Variable types: 0 continuous, 20301 integer (20301 binary) Root relaxation: objective 0.000000e+00, 784 iterations, 0.09 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 (1393 simplex iterations) in 0.62 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:56 2012 Optimize a model with 48952 rows, 10648 columns and 155918 nonzeros Presolve time: 0.16s Presolved: 48952 rows, 10648 columns, 155918 nonzeros Variable types: 0 continuous, 10648 integer (10648 binary) Root relaxation: objective 0.000000e+00, 659 iterations, 0.05 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 (1094 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:57 2012 Optimize a model with 24077 rows, 5723 columns and 76368 nonzeros Presolve time: 0.10s Presolved: 24077 rows, 5723 columns, 76368 nonzeros Variable types: 0 continuous, 5723 integer (5723 binary) Root relaxation: objective 0.000000e+00, 418 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 (788 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:57 2012 Optimize a model with 12137 rows, 3359 columns and 38184 nonzeros Presolve time: 0.04s Presolved: 12137 rows, 3359 columns, 38184 nonzeros Variable types: 0 continuous, 3359 integer (3359 binary) Root relaxation: objective 0.000000e+00, 407 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 (773 simplex iterations) in 0.07 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 Sat Dec 15 08:00:57 2012 Optimize a model with 6167 rows, 2177 columns and 19092 nonzeros Presolve time: 0.02s Presolved: 6167 rows, 2177 columns, 19092 nonzeros Variable types: 0 continuous, 2177 integer (2177 binary) Root relaxation: objective 0.000000e+00, 432 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 (2328 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:57 2012 Optimize a model with 3182 rows, 1586 columns and 9546 nonzeros Presolve time: 0.01s Presolved: 3182 rows, 1586 columns, 9546 nonzeros Variable types: 0 continuous, 1586 integer (1586 binary) Root relaxation: objective 0.000000e+00, 450 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 320 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 552 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 34 Zero half: 1087 Explored 0 nodes (9036 simplex iterations) in 1.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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:00:59 2012 Optimize a model with 4177 rows, 1783 columns and 12728 nonzeros Presolve time: 0.01s Presolved: 4177 rows, 1783 columns, 12728 nonzeros Variable types: 0 continuous, 1783 integer (1783 binary) Root relaxation: objective 0.000000e+00, 472 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 388 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 326 - 0.00000 - - 6s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 2 0.00000 0 344 - 0.00000 - - 7s 219 37 infeasible 22 - 0.00000 - 140 10s 675 65 0.00000 22 413 - 0.00000 - 145 15s 705 73 0.00000 19 342 - 0.00000 - 144 20s 709 75 0.00000 15 322 - 0.00000 - 143 26s 711 77 0.00000 19 318 - 0.00000 - 143 30s 714 79 0.00000 16 304 - 0.00000 - 142 36s 716 80 0.00000 26 304 - 0.00000 - 142 40s 736 93 0.00000 24 460 - 0.00000 - 257 45s 997 102 0.00000 26 344 - 0.00000 - 247 50s 1227 94 0.00000 30 350 - 0.00000 - 250 55s 1441 106 0.00000 28 370 - 0.00000 - 254 60s 1658 111 infeasible 33 - 0.00000 - 258 65s 1879 100 0.00000 36 344 - 0.00000 - 260 70s 2111 112 infeasible 33 - 0.00000 - 260 75s 2327 98 0.00000 29 354 - 0.00000 - 261 80s 2535 104 infeasible 32 - 0.00000 - 263 85s 2768 95 0.00000 28 346 - 0.00000 - 262 90s 2987 102 0.00000 29 446 - 0.00000 - 263 95s 3216 103 infeasible 33 - 0.00000 - 263 100s 3425 120 infeasible 30 - 0.00000 - 263 105s 3644 119 0.00000 28 344 - 0.00000 - 264 110s 3853 108 infeasible 30 - 0.00000 - 266 115s 4071 108 0.00000 27 358 - 0.00000 - 267 120s 4273 92 0.00000 28 338 - 0.00000 - 268 125s 4447 84 0.00000 26 356 - 0.00000 - 270 130s 4635 94 infeasible 32 - 0.00000 - 271 135s 4834 91 0.00000 28 340 - 0.00000 - 271 140s 5036 91 0.00000 29 356 - 0.00000 - 272 145s 5242 93 0.00000 31 358 - 0.00000 - 271 150s 5482 89 infeasible 32 - 0.00000 - 270 155s 5719 84 0.00000 27 444 - 0.00000 - 269 160s 5893 60 infeasible 34 - 0.00000 - 271 165s 6059 42 infeasible 26 - 0.00000 - 272 170s 6301 60 0.00000 24 370 - 0.00000 - 271 175s 6529 52 infeasible 29 - 0.00000 - 270 180s 6752 49 infeasible 28 - 0.00000 - 270 185s 6994 51 infeasible 31 - 0.00000 - 270 190s 7181 36 infeasible 33 - 0.00000 - 271 195s 7392 31 infeasible 30 - 0.00000 - 271 200s 7605 20 infeasible 34 - 0.00000 - 271 205s 7788 17 infeasible 31 - 0.00000 - 272 210s 7980 7 0.00000 24 348 - 0.00000 - 272 215s 8206 21 infeasible 28 - 0.00000 - 271 220s 8443 2 infeasible 29 - 0.00000 - 271 225s Cutting planes: Zero half: 7 Explored 8528 nodes (2362052 simplex iterations) in 227.31 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:04:46 2012 Optimize a model with 5172 rows, 1980 columns and 15910 nonzeros Presolve time: 0.01s Presolved: 5172 rows, 1980 columns, 15910 nonzeros Variable types: 0 continuous, 1980 integer (1980 binary) Root relaxation: objective 0.000000e+00, 424 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 366 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (6492 simplex iterations) in 0.73 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: 5