current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:08:11 2012 Optimize a model with 97609 rows, 20300 columns and 311542 nonzeros Presolve time: 0.32s Presolved: 97609 rows, 20300 columns, 311542 nonzeros Variable types: 0 continuous, 20300 integer (20300 binary) Root relaxation: objective 0.000000e+00, 706 iterations, 0.08 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 (1347 simplex iterations) in 0.63 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:08:12 2012 Optimize a model with 48903 rows, 10647 columns and 155771 nonzeros Presolve time: 0.16s Presolved: 48903 rows, 10647 columns, 155771 nonzeros Variable types: 0 continuous, 10647 integer (10647 binary) Root relaxation: objective 0.000000e+00, 719 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 (1172 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:08:13 2012 Optimize a model with 24053 rows, 5722 columns and 76296 nonzeros Presolve time: 0.10s Presolved: 24053 rows, 5722 columns, 76296 nonzeros Variable types: 0 continuous, 5722 integer (5722 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 (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 08:08:14 2012 Optimize a model with 12125 rows, 3358 columns and 38148 nonzeros Presolve time: 0.04s Presolved: 12125 rows, 3358 columns, 38148 nonzeros Variable types: 0 continuous, 3358 integer (3358 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 (786 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:08:14 2012 Optimize a model with 6161 rows, 2176 columns and 19074 nonzeros Presolve time: 0.02s Presolved: 6161 rows, 2176 columns, 19074 nonzeros Variable types: 0 continuous, 2176 integer (2176 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 (1572 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 08:08:14 2012 Optimize a model with 3179 rows, 1585 columns and 9537 nonzeros Presolve time: 0.01s Presolved: 3179 rows, 1585 columns, 9537 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 470 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 390 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5230 simplex iterations) in 0.71 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:08:15 2012 Optimize a model with 4173 rows, 1782 columns and 12716 nonzeros Presolve time: 0.01s Presolved: 4173 rows, 1782 columns, 12716 nonzeros Variable types: 0 continuous, 1782 integer (1782 binary) Root relaxation: objective 0.000000e+00, 426 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 368 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 537 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 0 0.00000 0 341 - 0.00000 - - 5s 0 0 0.00000 0 341 - 0.00000 - - 6s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 330 - 0.00000 - - 7s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 322 - 0.00000 - - 8s 0 0 0.00000 0 322 - 0.00000 - - 9s 0 0 0.00000 0 322 - 0.00000 - - 9s 0 2 0.00000 0 322 - 0.00000 - - 10s 457 108 0.00000 13 326 - 0.00000 - 135 15s 707 136 0.00000 20 348 - 0.00000 - 127 21s 710 138 0.00000 16 338 - 0.00000 - 127 26s 713 140 0.00000 7 330 - 0.00000 - 126 31s 715 141 0.00000 13 314 - 0.00000 - 126 35s 718 143 0.00000 11 314 - 0.00000 - 126 40s 869 124 infeasible 24 - 0.00000 - 234 45s 1076 64 0.00000 19 380 - 0.00000 - 243 50s 1310 80 infeasible 25 - 0.00000 - 245 55s 1515 69 infeasible 28 - 0.00000 - 254 60s 1736 76 0.00000 21 350 - 0.00000 - 256 65s 1958 76 infeasible 21 - 0.00000 - 258 70s 2145 103 infeasible 24 - 0.00000 - 262 75s 2329 103 infeasible 23 - 0.00000 - 266 80s 2568 124 0.00000 22 344 - 0.00000 - 265 85s 2758 110 infeasible 25 - 0.00000 - 269 90s 2972 112 infeasible 23 - 0.00000 - 270 95s 3218 136 infeasible 27 - 0.00000 - 268 100s 3454 130 0.00000 26 371 - 0.00000 - 269 105s 3645 119 infeasible 21 - 0.00000 - 272 110s 3878 126 0.00000 25 358 - 0.00000 - 271 115s 4108 122 infeasible 27 - 0.00000 - 270 120s 4312 122 0.00000 22 373 - 0.00000 - 271 125s 4492 102 0.00000 22 408 - 0.00000 - 273 130s 4701 95 infeasible 23 - 0.00000 - 273 135s 4886 68 infeasible 28 - 0.00000 - 275 140s 5056 48 infeasible 21 - 0.00000 - 276 145s 5227 31 infeasible 19 - 0.00000 - 278 150s 5391 17 infeasible 28 - 0.00000 - 279 155s 5550 8 0.00000 22 360 - 0.00000 - 281 160s Cutting planes: Zero half: 18 Explored 5671 nodes (1668674 simplex iterations) in 163.27 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:10:58 2012 Optimize a model with 5167 rows, 1979 columns and 15895 nonzeros Presolve time: 0.01s Presolved: 5167 rows, 1979 columns, 15895 nonzeros Variable types: 0 continuous, 1979 integer (1979 binary) Root relaxation: objective 0.000000e+00, 417 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 374 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2109 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% optimal solution found: number of colors: 5