current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:25:38 2012 Optimize a model with 101910 rows, 21510 columns and 325624 nonzeros Presolve time: 0.34s Presolved: 101910 rows, 21510 columns, 325624 nonzeros Variable types: 0 continuous, 21510 integer (21510 binary) Root relaxation: objective 0.000000e+00, 744 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 (1155 simplex iterations) in 0.56 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:25:40 2012 Optimize a model with 50553 rows, 11157 columns and 161200 nonzeros Presolve time: 0.17s Presolved: 50553 rows, 11157 columns, 161200 nonzeros Variable types: 0 continuous, 11157 integer (11157 binary) Root relaxation: objective 0.000000e+00, 561 iterations, 0.03 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 (974 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:25:41 2012 Optimize a model with 25378 rows, 6082 columns and 80600 nonzeros Presolve time: 0.11s Presolved: 25378 rows, 6082 columns, 80600 nonzeros Variable types: 0 continuous, 6082 integer (6082 binary) Root relaxation: objective 0.000000e+00, 479 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 (880 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:25:41 2012 Optimize a model with 12287 rows, 3443 columns and 38688 nonzeros Presolve time: 0.04s Presolved: 12287 rows, 3443 columns, 38688 nonzeros Variable types: 0 continuous, 3443 integer (3443 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (793 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:25:41 2012 Optimize a model with 6245 rows, 2225 columns and 19344 nonzeros Presolve time: 0.02s Presolved: 6245 rows, 2225 columns, 19344 nonzeros Variable types: 0 continuous, 2225 integer (2225 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1909 simplex iterations) in 0.08 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:25:42 2012 Optimize a model with 3224 rows, 1616 columns and 9672 nonzeros Presolve time: 0.01s Presolved: 3224 rows, 1616 columns, 9672 nonzeros Variable types: 0 continuous, 1616 integer (1616 binary) Root relaxation: objective 0.000000e+00, 475 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 402 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5099 simplex iterations) in 0.63 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:25:42 2012 Optimize a model with 4231 rows, 1819 columns and 12896 nonzeros Presolve time: 0.01s Presolved: 4231 rows, 1819 columns, 12896 nonzeros Variable types: 0 continuous, 1819 integer (1819 binary) Root relaxation: objective 0.000000e+00, 462 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 390 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 431 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 4s 0 0 0.00000 0 363 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 346 - 0.00000 - - 6s 0 0 0.00000 0 346 - 0.00000 - - 7s 0 0 0.00000 0 346 - 0.00000 - - 7s 0 2 0.00000 0 346 - 0.00000 - - 8s 110 38 0.00000 16 356 - 0.00000 - 198 10s 658 65 0.00000 15 368 - 0.00000 - 141 15s 705 68 0.00000 12 364 - 0.00000 - 141 21s 707 69 0.00000 16 350 - 0.00000 - 140 25s 711 72 0.00000 12 326 - 0.00000 - 140 32s 712 72 0.00000 15 343 - 0.00000 - 139 35s 715 74 0.00000 15 491 - 0.00000 - 139 40s 884 37 infeasible 27 - 0.00000 - 238 45s 1118 20 0.00000 21 350 - 0.00000 - 242 50s 1402 20 0.00000 23 360 - 0.00000 - 238 55s 1619 25 infeasible 27 - 0.00000 - 241 60s 1805 17 infeasible 24 - 0.00000 - 248 65s 1994 24 0.00000 28 385 - 0.00000 - 252 70s 2193 29 0.00000 19 423 - 0.00000 - 255 75s 2395 41 0.00000 28 364 - 0.00000 - 257 80s 2598 26 0.00000 20 376 - 0.00000 - 260 85s 2804 34 infeasible 27 - 0.00000 - 261 90s 3040 46 infeasible 26 - 0.00000 - 260 95s 3274 44 0.00000 24 463 - 0.00000 - 260 100s 3456 30 infeasible 25 - 0.00000 - 263 105s 3658 18 infeasible 26 - 0.00000 - 265 110s 3881 17 0.00000 21 451 - 0.00000 - 265 115s 4052 24 infeasible 25 - 0.00000 - 267 120s 4235 25 0.00000 28 459 - 0.00000 - 269 125s 4426 18 infeasible 27 - 0.00000 - 271 130s Cutting planes: Zero half: 3 Explored 4537 nodes (1293701 simplex iterations) in 133.61 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 10:27:56 2012 Optimize a model with 5238 rows, 2022 columns and 16120 nonzeros Presolve time: 0.01s Presolved: 5238 rows, 2022 columns, 16120 nonzeros Variable types: 0 continuous, 2022 integer (2022 binary) Root relaxation: objective 0.000000e+00, 456 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 164 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4474 simplex iterations) in 0.36 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