current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:22:59 2012 Optimize a model with 92545 rows, 19490 columns and 295584 nonzeros Presolve time: 0.30s Presolved: 92545 rows, 19490 columns, 295584 nonzeros Variable types: 0 continuous, 19490 integer (19490 binary) Root relaxation: objective 0.000000e+00, 674 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 (1096 simplex iterations) in 0.50 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:23:01 2012 Optimize a model with 46369 rows, 10226 columns and 147792 nonzeros Presolve time: 0.16s Presolved: 46369 rows, 10226 columns, 147792 nonzeros Variable types: 0 continuous, 10226 integer (10226 binary) Root relaxation: objective 0.000000e+00, 626 iterations, 0.04 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 (1089 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:23:02 2012 Optimize a model with 23281 rows, 5594 columns and 73896 nonzeros Presolve time: 0.09s Presolved: 23281 rows, 5594 columns, 73896 nonzeros Variable types: 0 continuous, 5594 integer (5594 binary) Root relaxation: objective 0.000000e+00, 416 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 (780 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 06:23:02 2012 Optimize a model with 11737 rows, 3278 columns and 36948 nonzeros Presolve time: 0.04s Presolved: 11737 rows, 3278 columns, 36948 nonzeros Variable types: 0 continuous, 3278 integer (3278 binary) Root relaxation: objective 0.000000e+00, 406 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 (783 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 06:23:03 2012 Optimize a model with 5965 rows, 2120 columns and 18474 nonzeros Presolve time: 0.02s Presolved: 5965 rows, 2120 columns, 18474 nonzeros Variable types: 0 continuous, 2120 integer (2120 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 (1484 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:23:03 2012 Optimize a model with 3079 rows, 1541 columns and 9237 nonzeros Presolve time: 0.01s Presolved: 3079 rows, 1541 columns, 9237 nonzeros Variable types: 0 continuous, 1541 integer (1541 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.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 493 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8610 simplex iterations) in 1.05 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 06:23:04 2012 Optimize a model with 4041 rows, 1734 columns and 12316 nonzeros Presolve time: 0.01s Presolved: 4041 rows, 1734 columns, 12316 nonzeros Variable types: 0 continuous, 1734 integer (1734 binary) Root relaxation: objective 0.000000e+00, 453 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 378 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 501 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 316 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 0 0.00000 0 308 - 0.00000 - - 6s 0 0 0.00000 0 300 - 0.00000 - - 7s 0 0 0.00000 0 300 - 0.00000 - - 7s 0 0 0.00000 0 300 - 0.00000 - - 8s 0 0 0.00000 0 300 - 0.00000 - - 8s 0 2 0.00000 0 300 - 0.00000 - - 9s 13 13 0.00000 8 358 - 0.00000 - 338 10s 601 98 0.00000 14 376 - 0.00000 - 121 15s 605 101 0.00000 10 364 - 0.00000 - 120 20s 609 103 0.00000 16 312 - 0.00000 - 119 25s 613 106 0.00000 11 473 - 0.00000 - 118 31s 616 108 0.00000 12 460 - 0.00000 - 118 37s 618 109 0.00000 20 470 - 0.00000 - 117 40s 768 83 0.00000 29 350 - 0.00000 - 236 45s 1008 38 infeasible 33 - 0.00000 - 237 50s 1199 45 infeasible 27 - 0.00000 - 246 55s 1466 82 infeasible 31 - 0.00000 - 242 60s 1714 68 infeasible 27 - 0.00000 - 244 65s 1938 66 infeasible 27 - 0.00000 - 248 70s 2169 59 infeasible 31 - 0.00000 - 250 75s 2381 83 infeasible 32 - 0.00000 - 252 80s 2629 89 infeasible 30 - 0.00000 - 252 85s 2857 75 infeasible 29 - 0.00000 - 253 90s 3116 78 0.00000 35 419 - 0.00000 - 251 95s 3321 87 0.00000 26 431 - 0.00000 - 254 100s 3553 93 infeasible 30 - 0.00000 - 255 105s 3788 92 infeasible 31 - 0.00000 - 255 110s 3988 104 0.00000 28 352 - 0.00000 - 257 115s 4178 102 infeasible 29 - 0.00000 - 259 120s 4408 126 infeasible 29 - 0.00000 - 259 125s 4612 126 infeasible 31 - 0.00000 - 261 130s 4818 108 infeasible 29 - 0.00000 - 262 135s 5040 128 infeasible 27 - 0.00000 - 263 140s 5239 105 infeasible 34 - 0.00000 - 264 145s 5423 117 infeasible 32 - 0.00000 - 266 150s 5649 117 infeasible 30 - 0.00000 - 265 155s 5862 118 infeasible 32 - 0.00000 - 266 160s 6078 120 infeasible 31 - 0.00000 - 266 165s 6333 121 0.00000 24 373 - 0.00000 - 265 170s 6561 105 infeasible 25 - 0.00000 - 265 175s 6809 109 0.00000 30 403 - 0.00000 - 264 180s 6997 95 infeasible 32 - 0.00000 - 265 185s 7211 95 infeasible 27 - 0.00000 - 266 190s 7407 89 0.00000 33 394 - 0.00000 - 266 195s 7654 96 0.00000 30 330 - 0.00000 - 265 200s 7844 82 0.00000 28 374 - 0.00000 - 266 205s 8048 86 infeasible 29 - 0.00000 - 266 210s 8233 77 infeasible 24 - 0.00000 - 268 215s 8434 80 0.00000 24 332 - 0.00000 - 268 220s 8629 65 0.00000 26 348 - 0.00000 - 269 225s 8804 66 0.00000 28 352 - 0.00000 - 270 230s 8977 59 0.00000 33 397 - 0.00000 - 271 235s 9181 45 infeasible 32 - 0.00000 - 271 240s 9370 26 0.00000 27 342 - 0.00000 - 272 245s 9615 31 infeasible 32 - 0.00000 - 271 250s 9823 21 infeasible 33 - 0.00000 - 271 255s Cutting planes: Gomory: 3 Clique: 2 Zero half: 3 Explored 10013 nodes (2790382 simplex iterations) in 259.95 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 06:27:24 2012 Optimize a model with 5003 rows, 1927 columns and 15395 nonzeros Presolve time: 0.01s Presolved: 5003 rows, 1927 columns, 15395 nonzeros Variable types: 0 continuous, 1927 integer (1927 binary) Root relaxation: objective 0.000000e+00, 414 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 344 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (7420 simplex iterations) in 0.70 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