current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:02:32 2012 Optimize a model with 99900 rows, 20997 columns and 319100 nonzeros Presolve time: 0.33s Presolved: 99900 rows, 20997 columns, 319100 nonzeros Variable types: 0 continuous, 20997 integer (20997 binary) Root relaxation: objective 0.000000e+00, 841 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 (1327 simplex iterations) in 0.59 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:02:33 2012 Optimize a model with 50050 rows, 10997 columns and 159550 nonzeros Presolve time: 0.17s Presolved: 50050 rows, 10997 columns, 159550 nonzeros Variable types: 0 continuous, 10997 integer (10997 binary) Root relaxation: objective 0.000000e+00, 630 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 (1085 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 09:02:34 2012 Optimize a model with 25125 rows, 5997 columns and 79775 nonzeros Presolve time: 0.10s Presolved: 25125 rows, 5997 columns, 79775 nonzeros Variable types: 0 continuous, 5997 integer (5997 binary) Root relaxation: objective 0.000000e+00, 466 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 (857 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:02:35 2012 Optimize a model with 12164 rows, 3397 columns and 38292 nonzeros Presolve time: 0.04s Presolved: 12164 rows, 3397 columns, 38292 nonzeros Variable types: 0 continuous, 3397 integer (3397 binary) Root relaxation: objective 0.000000e+00, 412 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 (784 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 09:02:35 2012 Optimize a model with 6182 rows, 2197 columns and 19146 nonzeros Presolve time: 0.02s Presolved: 6182 rows, 2197 columns, 19146 nonzeros Variable types: 0 continuous, 2197 integer (2197 binary) Root relaxation: objective 0.000000e+00, 434 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 8 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2112 simplex iterations) in 0.09 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 09:02:35 2012 Optimize a model with 3191 rows, 1597 columns and 9573 nonzeros Presolve time: 0.01s Presolved: 3191 rows, 1597 columns, 9573 nonzeros Variable types: 0 continuous, 1597 integer (1597 binary) Root relaxation: objective 0.000000e+00, 451 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 400 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5305 simplex iterations) in 0.68 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 09:02:36 2012 Optimize a model with 4188 rows, 1797 columns and 12764 nonzeros Presolve time: 0.01s Presolved: 4188 rows, 1797 columns, 12764 nonzeros Variable types: 0 continuous, 1797 integer (1797 binary) Root relaxation: objective 0.000000e+00, 457 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 380 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 502 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 8s 0 0 0.00000 0 344 - 0.00000 - - 8s 0 2 0.00000 0 344 - 0.00000 - - 9s 16 14 0.00000 10 356 - 0.00000 - 321 10s 491 99 infeasible 15 - 0.00000 - 144 15s 605 147 0.00000 11 372 - 0.00000 - 147 20s 609 149 0.00000 17 346 - 0.00000 - 146 28s 611 151 0.00000 14 341 - 0.00000 - 146 31s 613 152 0.00000 14 318 - 0.00000 - 145 36s 616 154 0.00000 26 318 - 0.00000 - 145 41s 631 162 0.00000 16 360 - 0.00000 - 259 45s 807 149 infeasible 25 - 0.00000 - 254 50s 1020 103 infeasible 22 - 0.00000 - 254 55s 1235 71 0.00000 24 371 - 0.00000 - 258 60s 1423 85 infeasible 25 - 0.00000 - 262 65s 1658 94 infeasible 23 - 0.00000 - 259 70s 1868 98 0.00000 24 364 - 0.00000 - 261 75s 2069 85 0.00000 27 354 - 0.00000 - 264 80s 2268 96 0.00000 22 365 - 0.00000 - 266 85s 2453 91 infeasible 25 - 0.00000 - 270 90s 2646 98 infeasible 23 - 0.00000 - 272 95s 2864 88 infeasible 23 - 0.00000 - 272 100s 3081 83 0.00000 23 355 - 0.00000 - 272 105s 3271 73 infeasible 22 - 0.00000 - 275 110s 3504 80 0.00000 22 451 - 0.00000 - 274 115s 3690 60 infeasible 24 - 0.00000 - 276 120s 3871 49 infeasible 22 - 0.00000 - 277 125s 4099 43 infeasible 24 - 0.00000 - 276 130s 4285 27 0.00000 22 360 - 0.00000 - 278 135s 4443 19 infeasible 23 - 0.00000 - 280 140s 4639 25 infeasible 25 - 0.00000 - 281 145s 4859 27 0.00000 21 450 - 0.00000 - 280 150s 5059 21 infeasible 27 - 0.00000 - 280 155s 5246 14 infeasible 26 - 0.00000 - 281 160s 5410 8 infeasible 23 - 0.00000 - 282 165s Cutting planes: Zero half: 24 Explored 5551 nodes (1638788 simplex iterations) in 168.73 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 09:05:25 2012 Optimize a model with 5185 rows, 1997 columns and 15955 nonzeros Presolve time: 0.01s Presolved: 5185 rows, 1997 columns, 15955 nonzeros Variable types: 0 continuous, 1997 integer (1997 binary) Root relaxation: objective 0.000000e+00, 423 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 178 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4924 simplex iterations) in 0.41 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