current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:22:26 2012 Optimize a model with 100842 rows, 20235 columns and 321146 nonzeros Presolve time: 0.33s Presolved: 100842 rows, 20235 columns, 321146 nonzeros Variable types: 0 continuous, 20235 integer (20235 binary) Root relaxation: objective 0.000000e+00, 851 iterations, 0.12 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 (1301 simplex iterations) in 0.60 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:22:28 2012 Optimize a model with 50519 rows, 10631 columns and 160573 nonzeros Presolve time: 0.17s Presolved: 50519 rows, 10631 columns, 160573 nonzeros Variable types: 0 continuous, 10631 integer (10631 binary) Root relaxation: objective 0.000000e+00, 714 iterations, 0.06 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 (1200 simplex iterations) in 0.30 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:22:29 2012 Optimize a model with 24844 rows, 5731 columns and 78648 nonzeros Presolve time: 0.10s Presolved: 24844 rows, 5731 columns, 78648 nonzeros Variable types: 0 continuous, 5731 integer (5731 binary) Root relaxation: objective 0.000000e+00, 518 iterations, 0.02 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 (968 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 07:22:29 2012 Optimize a model with 12520 rows, 3379 columns and 39324 nonzeros Presolve time: 0.04s Presolved: 12520 rows, 3379 columns, 39324 nonzeros Variable types: 0 continuous, 3379 integer (3379 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 (780 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:22:29 2012 Optimize a model with 6358 rows, 2203 columns and 19662 nonzeros Presolve time: 0.02s Presolved: 6358 rows, 2203 columns, 19662 nonzeros Variable types: 0 continuous, 2203 integer (2203 binary) Root relaxation: objective 0.000000e+00, 419 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 (1675 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:22:29 2012 Optimize a model with 3277 rows, 1615 columns and 9831 nonzeros Presolve time: 0.01s Presolved: 3277 rows, 1615 columns, 9831 nonzeros Variable types: 0 continuous, 1615 integer (1615 binary) Root relaxation: objective 0.000000e+00, 439 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 320 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 536 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 32 Zero half: 1290 Explored 0 nodes (8971 simplex iterations) in 1.31 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:22:31 2012 Optimize a model with 4304 rows, 1811 columns and 13108 nonzeros Presolve time: 0.01s Presolved: 4304 rows, 1811 columns, 13108 nonzeros Variable types: 0 continuous, 1811 integer (1811 binary) Root relaxation: objective 0.000000e+00, 438 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 372 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 2 0.00000 0 348 - 0.00000 - - 7s 218 52 0.00000 12 356 - 0.00000 - 179 10s 604 74 0.00000 11 541 - 0.00000 - 150 16s 606 75 0.00000 12 350 - 0.00000 - 149 21s 608 77 0.00000 13 356 - 0.00000 - 149 26s 610 78 0.00000 20 342 - 0.00000 - 148 31s 612 79 0.00000 18 320 - 0.00000 - 148 36s 614 81 0.00000 13 310 - 0.00000 - 147 40s 619 84 0.00000 13 451 - 0.00000 - 267 45s 647 85 0.00000 19 462 - 0.00000 - 270 50s 759 55 0.00000 22 467 - 0.00000 - 284 55s 873 16 infeasible 21 - 0.00000 - 295 60s 980 13 0.00000 19 477 - 0.00000 - 307 65s 1106 15 0.00000 19 460 - 0.00000 - 313 70s 1225 16 infeasible 24 - 0.00000 - 320 75s 1351 10 0.00000 23 396 - 0.00000 - 324 80s Explored 1416 nodes (503874 simplex iterations) in 82.48 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:23:53 2012 Optimize a model with 5331 rows, 2007 columns and 16385 nonzeros Presolve time: 0.01s Presolved: 5331 rows, 2007 columns, 16385 nonzeros Variable types: 0 continuous, 2007 integer (2007 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.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 1 Zero half: 287 Explored 0 nodes (11274 simplex iterations) in 1.25 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