current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:38:22 2012 Optimize a model with 96334 rows, 20189 columns and 307622 nonzeros Presolve time: 0.31s Presolved: 96334 rows, 20189 columns, 307622 nonzeros Variable types: 0 continuous, 20189 integer (20189 binary) Root relaxation: objective 0.000000e+00, 702 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 (1134 simplex iterations) in 0.53 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 07:38:24 2012 Optimize a model with 48265 rows, 10585 columns and 153811 nonzeros Presolve time: 0.16s Presolved: 48265 rows, 10585 columns, 153811 nonzeros Variable types: 0 continuous, 10585 integer (10585 binary) Root relaxation: objective 0.000000e+00, 643 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 (1099 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 07:38:25 2012 Optimize a model with 23740 rows, 5685 columns and 75336 nonzeros Presolve time: 0.10s Presolved: 23740 rows, 5685 columns, 75336 nonzeros Variable types: 0 continuous, 5685 integer (5685 binary) Root relaxation: objective 0.000000e+00, 443 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 (830 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:38:25 2012 Optimize a model with 11968 rows, 3333 columns and 37668 nonzeros Presolve time: 0.04s Presolved: 11968 rows, 3333 columns, 37668 nonzeros Variable types: 0 continuous, 3333 integer (3333 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (797 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 07:38:25 2012 Optimize a model with 6082 rows, 2157 columns and 18834 nonzeros Presolve time: 0.02s Presolved: 6082 rows, 2157 columns, 18834 nonzeros Variable types: 0 continuous, 2157 integer (2157 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 (1717 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 07:38:25 2012 Optimize a model with 3139 rows, 1569 columns and 9417 nonzeros Presolve time: 0.01s Presolved: 3139 rows, 1569 columns, 9417 nonzeros Variable types: 0 continuous, 1569 integer (1569 binary) Root relaxation: objective 0.000000e+00, 428 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 392 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5158 simplex iterations) in 0.69 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 07:38:26 2012 Optimize a model with 4120 rows, 1765 columns and 12556 nonzeros Presolve time: 0.01s Presolved: 4120 rows, 1765 columns, 12556 nonzeros Variable types: 0 continuous, 1765 integer (1765 binary) Root relaxation: objective 0.000000e+00, 452 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 382 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 490 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 342 - 0.00000 - - 6s 0 0 0.00000 0 340 - 0.00000 - - 7s 0 0 0.00000 0 332 - 0.00000 - - 7s 0 0 0.00000 0 332 - 0.00000 - - 8s 0 0 0.00000 0 332 - 0.00000 - - 8s 0 2 0.00000 0 332 - 0.00000 - - 8s 83 21 0.00000 18 352 - 0.00000 - 188 10s 583 49 0.00000 16 344 - 0.00000 - 146 15s 607 66 0.00000 22 338 - 0.00000 - 144 21s 609 67 0.00000 18 316 - 0.00000 - 143 25s 612 69 0.00000 22 308 - 0.00000 - 143 30s 615 71 0.00000 13 345 - 0.00000 - 142 37s 621 75 0.00000 13 468 - 0.00000 - 258 40s 670 70 0.00000 15 344 - 0.00000 - 258 45s 845 44 infeasible 30 - 0.00000 - 263 50s 1040 67 infeasible 26 - 0.00000 - 267 55s 1238 67 infeasible 29 - 0.00000 - 270 60s 1404 85 0.00000 25 396 - 0.00000 - 275 65s 1618 75 infeasible 27 - 0.00000 - 274 70s 1815 76 0.00000 28 346 - 0.00000 - 275 75s 2008 81 infeasible 27 - 0.00000 - 275 80s 2199 98 0.00000 27 352 - 0.00000 - 275 85s 2426 117 infeasible 32 - 0.00000 - 274 90s 2635 128 infeasible 25 - 0.00000 - 275 95s 2835 108 0.00000 28 352 - 0.00000 - 277 100s 3027 100 0.00000 27 368 - 0.00000 - 278 105s 3248 103 infeasible 27 - 0.00000 - 277 110s 3459 108 infeasible 26 - 0.00000 - 277 115s 3658 93 infeasible 29 - 0.00000 - 278 120s 3857 90 0.00000 25 391 - 0.00000 - 279 125s 4036 83 infeasible 26 - 0.00000 - 281 130s 4256 95 infeasible 27 - 0.00000 - 279 135s 4426 71 0.00000 19 449 - 0.00000 - 281 140s 4632 67 infeasible 26 - 0.00000 - 281 145s 4813 56 0.00000 26 430 - 0.00000 - 282 150s 4998 55 0.00000 27 439 - 0.00000 - 283 155s 5200 47 0.00000 23 444 - 0.00000 - 283 160s 5399 36 0.00000 25 364 - 0.00000 - 283 165s 5612 27 0.00000 31 360 - 0.00000 - 283 170s 5791 24 infeasible 28 - 0.00000 - 284 175s 5972 23 infeasible 26 - 0.00000 - 285 180s 6152 25 infeasible 29 - 0.00000 - 286 185s 6326 17 0.00000 27 367 - 0.00000 - 287 190s 6489 18 0.00000 19 476 - 0.00000 - 288 195s 6662 13 infeasible 23 - 0.00000 - 289 200s 6850 21 0.00000 26 417 - 0.00000 - 290 205s 7007 16 infeasible 22 - 0.00000 - 291 210s 7190 25 infeasible 26 - 0.00000 - 291 215s 7398 31 infeasible 23 - 0.00000 - 291 220s 7607 38 infeasible 23 - 0.00000 - 291 225s 7780 29 infeasible 28 - 0.00000 - 291 230s 7946 15 infeasible 24 - 0.00000 - 292 235s 8127 14 0.00000 19 429 - 0.00000 - 292 240s Cutting planes: Zero half: 7 Explored 8258 nodes (2482424 simplex iterations) in 244.12 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 07:42:30 2012 Optimize a model with 5101 rows, 1961 columns and 15695 nonzeros Presolve time: 0.01s Presolved: 5101 rows, 1961 columns, 15695 nonzeros Variable types: 0 continuous, 1961 integer (1961 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.00000 0 190 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5047 simplex iterations) in 0.47 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