current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:45:20 2012 Optimize a model with 100783 rows, 20717 columns and 321453 nonzeros Presolve time: 0.33s Presolved: 100783 rows, 20717 columns, 321453 nonzeros Variable types: 0 continuous, 20717 integer (20717 binary) Root relaxation: objective 0.000000e+00, 788 iterations, 0.11 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 (1250 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:45:22 2012 Optimize a model with 49983 rows, 10767 columns and 159103 nonzeros Presolve time: 0.16s Presolved: 49983 rows, 10767 columns, 159103 nonzeros Variable types: 0 continuous, 10767 integer (10767 binary) Root relaxation: objective 0.000000e+00, 597 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 (1001 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:45:22 2012 Optimize a model with 24583 rows, 5792 columns and 77928 nonzeros Presolve time: 0.10s Presolved: 24583 rows, 5792 columns, 77928 nonzeros Variable types: 0 continuous, 5792 integer (5792 binary) Root relaxation: objective 0.000000e+00, 440 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 (829 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:45:23 2012 Optimize a model with 12391 rows, 3404 columns and 38964 nonzeros Presolve time: 0.04s Presolved: 12391 rows, 3404 columns, 38964 nonzeros Variable types: 0 continuous, 3404 integer (3404 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (798 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:45:23 2012 Optimize a model with 6295 rows, 2210 columns and 19482 nonzeros Presolve time: 0.02s Presolved: 6295 rows, 2210 columns, 19482 nonzeros Variable types: 0 continuous, 2210 integer (2210 binary) Root relaxation: objective 0.000000e+00, 448 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 (1724 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 08:45:23 2012 Optimize a model with 3247 rows, 1613 columns and 9741 nonzeros Presolve time: 0.01s Presolved: 3247 rows, 1613 columns, 9741 nonzeros Variable types: 0 continuous, 1613 integer (1613 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.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 540 - 0.00000 - - 0s 0 0 0.00000 0 556 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 1302 Explored 0 nodes (8508 simplex iterations) in 1.44 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:45:25 2012 Optimize a model with 4263 rows, 1812 columns and 12988 nonzeros Presolve time: 0.01s Presolved: 4263 rows, 1812 columns, 12988 nonzeros Variable types: 0 continuous, 1812 integer (1812 binary) Root relaxation: objective 0.000000e+00, 454 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 388 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 357 - 0.00000 - - 6s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 2 0.00000 0 354 - 0.00000 - - 7s 130 52 infeasible 16 - 0.00000 - 192 10s 528 98 0.00000 19 396 - 0.00000 - 161 15s 606 119 0.00000 15 348 - 0.00000 - 158 20s 609 121 0.00000 14 352 - 0.00000 - 157 25s 612 123 0.00000 9 336 - 0.00000 - 156 32s 616 128 0.00000 10 373 - 0.00000 - 250 35s 802 94 infeasible 21 - 0.00000 - 256 40s 973 34 infeasible 23 - 0.00000 - 266 45s 1137 20 infeasible 24 - 0.00000 - 276 50s 1279 10 0.00000 19 478 - 0.00000 - 286 55s 1437 14 infeasible 20 - 0.00000 - 289 60s 1597 2 infeasible 19 - 0.00000 - 293 65s Cutting planes: Zero half: 19 Explored 1602 nodes (520130 simplex iterations) in 65.15 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:46:30 2012 Optimize a model with 5279 rows, 2011 columns and 16235 nonzeros Presolve time: 0.01s Presolved: 5279 rows, 2011 columns, 16235 nonzeros Variable types: 0 continuous, 2011 integer (2011 binary) Root relaxation: objective 0.000000e+00, 432 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 366 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (11318 simplex iterations) in 1.35 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