current bounds on the number of colors: 0 -- 204 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:44:15 2012 Optimize a model with 104142 rows, 21827 columns and 332622 nonzeros Presolve time: 0.35s Presolved: 104142 rows, 21827 columns, 332622 nonzeros Variable types: 0 continuous, 21827 integer (21827 binary) Root relaxation: objective 0.000000e+00, 855 iterations, 0.10 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 (1351 simplex iterations) in 0.60 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:44:17 2012 Optimize a model with 52173 rows, 11423 columns and 166311 nonzeros Presolve time: 0.16s Presolved: 52173 rows, 11423 columns, 166311 nonzeros Variable types: 0 continuous, 11423 integer (11423 binary) Root relaxation: objective 0.000000e+00, 748 iterations, 0.06 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 (1277 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:44:18 2012 Optimize a model with 25679 rows, 6119 columns and 81525 nonzeros Presolve time: 0.10s Presolved: 25679 rows, 6119 columns, 81525 nonzeros Variable types: 0 continuous, 6119 integer (6119 binary) Root relaxation: objective 0.000000e+00, 473 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 (916 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:44:18 2012 Optimize a model with 12432 rows, 3467 columns and 39132 nonzeros Presolve time: 0.04s Presolved: 12432 rows, 3467 columns, 39132 nonzeros Variable types: 0 continuous, 3467 integer (3467 binary) Root relaxation: objective 0.000000e+00, 437 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 (843 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 10:44:18 2012 Optimize a model with 6318 rows, 2243 columns and 19566 nonzeros Presolve time: 0.02s Presolved: 6318 rows, 2243 columns, 19566 nonzeros Variable types: 0 continuous, 2243 integer (2243 binary) Root relaxation: objective 0.000000e+00, 429 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 (1649 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 10:44:19 2012 Optimize a model with 3261 rows, 1631 columns and 9783 nonzeros Presolve time: 0.01s Presolved: 3261 rows, 1631 columns, 9783 nonzeros Variable types: 0 continuous, 1631 integer (1631 binary) Root relaxation: objective 0.000000e+00, 467 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 404 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5850 simplex iterations) in 0.66 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 10:44:19 2012 Optimize a model with 4280 rows, 1835 columns and 13044 nonzeros Presolve time: 0.01s Presolved: 4280 rows, 1835 columns, 13044 nonzeros Variable types: 0 continuous, 1835 integer (1835 binary) Root relaxation: objective 0.000000e+00, 446 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 404 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 2 0.00000 0 374 - 0.00000 - - 8s 161 33 0.00000 14 348 - 0.00000 - 171 10s 582 78 0.00000 22 380 - 0.00000 - 162 15s 606 81 0.00000 23 374 - 0.00000 - 161 22s 609 83 0.00000 17 346 - 0.00000 - 160 26s 611 85 0.00000 17 326 - 0.00000 - 159 31s 614 87 0.00000 17 309 - 0.00000 - 159 36s 616 88 0.00000 21 295 - 0.00000 - 158 40s 618 89 0.00000 14 371 - 0.00000 - 158 45s 627 95 0.00000 16 459 - 0.00000 - 296 50s 767 73 infeasible 30 - 0.00000 - 288 55s 960 26 infeasible 26 - 0.00000 - 285 60s 1150 28 infeasible 26 - 0.00000 - 284 65s 1365 19 infeasible 26 - 0.00000 - 283 70s 1554 31 infeasible 24 - 0.00000 - 284 75s 1780 27 infeasible 25 - 0.00000 - 281 80s 2005 58 infeasible 32 - 0.00000 - 278 85s 2204 33 infeasible 27 - 0.00000 - 280 90s 2432 49 infeasible 38 - 0.00000 - 277 95s 2602 49 infeasible 29 - 0.00000 - 280 100s 2802 69 0.00000 26 441 - 0.00000 - 281 105s 2998 85 infeasible 29 - 0.00000 - 282 110s 3214 101 infeasible 32 - 0.00000 - 282 115s 3399 84 infeasible 26 - 0.00000 - 283 120s 3583 102 infeasible 29 - 0.00000 - 284 125s 3771 100 infeasible 28 - 0.00000 - 285 130s 3965 110 infeasible 28 - 0.00000 - 285 135s 4151 108 infeasible 27 - 0.00000 - 286 140s 4335 108 0.00000 27 437 - 0.00000 - 287 145s 4533 116 0.00000 28 402 - 0.00000 - 287 150s 4717 138 infeasible 25 - 0.00000 - 288 155s 4924 143 0.00000 27 350 - 0.00000 - 288 160s 5148 157 infeasible 31 - 0.00000 - 287 165s 5354 135 0.00000 24 372 - 0.00000 - 288 170s 5576 133 0.00000 25 458 - 0.00000 - 288 175s 5748 129 infeasible 28 - 0.00000 - 289 180s 5928 121 0.00000 26 360 - 0.00000 - 291 185s 6125 130 infeasible 28 - 0.00000 - 291 190s 6313 118 infeasible 32 - 0.00000 - 291 195s 6529 126 infeasible 29 - 0.00000 - 291 200s 6744 109 0.00000 23 395 - 0.00000 - 290 205s 6942 107 infeasible 25 - 0.00000 - 290 210s 7169 106 0.00000 27 366 - 0.00000 - 290 215s 7355 120 infeasible 31 - 0.00000 - 290 220s 7590 117 0.00000 25 455 - 0.00000 - 289 225s 7744 121 infeasible 27 - 0.00000 - 291 230s 7944 127 infeasible 27 - 0.00000 - 291 235s 8167 130 infeasible 30 - 0.00000 - 290 240s 8341 116 infeasible 27 - 0.00000 - 290 245s 8563 163 infeasible 28 - 0.00000 - 290 250s 8766 168 0.00000 30 368 - 0.00000 - 290 255s 8982 154 infeasible 26 - 0.00000 - 290 260s 9167 149 infeasible 24 - 0.00000 - 290 265s 9363 141 infeasible 25 - 0.00000 - 290 270s 9567 153 0.00000 29 372 - 0.00000 - 290 275s 9751 147 infeasible 31 - 0.00000 - 290 280s 9949 141 infeasible 32 - 0.00000 - 291 285s 10154 118 infeasible 29 - 0.00000 - 290 290s Cutting planes: Zero half: 23 Explored 10265 nodes (3042728 simplex iterations) in 293.40 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:49:13 2012 Optimize a model with 5299 rows, 2039 columns and 16305 nonzeros Presolve time: 0.01s Presolved: 5299 rows, 2039 columns, 16305 nonzeros Variable types: 0 continuous, 2039 integer (2039 binary) Root relaxation: time limit, 354 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 - 0 - - - - 0s Explored 0 nodes (354 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6