current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:55:14 2012 Optimize a model with 99232 rows, 19936 columns and 316026 nonzeros Presolve time: 0.32s Presolved: 99232 rows, 19936 columns, 316026 nonzeros Variable types: 0 continuous, 19936 integer (19936 binary) Root relaxation: objective 0.000000e+00, 709 iterations, 0.07 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 (1153 simplex iterations) in 0.55 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:55:16 2012 Optimize a model with 49203 rows, 10381 columns and 156384 nonzeros Presolve time: 0.16s Presolved: 49203 rows, 10381 columns, 156384 nonzeros Variable types: 0 continuous, 10381 integer (10381 binary) Root relaxation: objective 0.000000e+00, 591 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 (1019 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:55:16 2012 Optimize a model with 24699 rows, 5701 columns and 78192 nonzeros Presolve time: 0.10s Presolved: 24699 rows, 5701 columns, 78192 nonzeros Variable types: 0 continuous, 5701 integer (5701 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (793 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 06:55:17 2012 Optimize a model with 12447 rows, 3361 columns and 39096 nonzeros Presolve time: 0.04s Presolved: 12447 rows, 3361 columns, 39096 nonzeros Variable types: 0 continuous, 3361 integer (3361 binary) Root relaxation: objective 0.000000e+00, 413 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 (970 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:55:17 2012 Optimize a model with 6321 rows, 2191 columns and 19548 nonzeros Presolve time: 0.02s Presolved: 6321 rows, 2191 columns, 19548 nonzeros Variable types: 0 continuous, 2191 integer (2191 binary) Root relaxation: objective 0.000000e+00, 420 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 (1966 simplex iterations) in 0.13 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 06:55:17 2012 Optimize a model with 3258 rows, 1606 columns and 9774 nonzeros Presolve time: 0.01s Presolved: 3258 rows, 1606 columns, 9774 nonzeros Variable types: 0 continuous, 1606 integer (1606 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 386 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5373 simplex iterations) in 0.74 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 06:55:18 2012 Optimize a model with 4279 rows, 1801 columns and 13032 nonzeros Presolve time: 0.01s Presolved: 4279 rows, 1801 columns, 13032 nonzeros Variable types: 0 continuous, 1801 integer (1801 binary) Root relaxation: objective 0.000000e+00, 445 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 386 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 520 - 0.00000 - - 1s 0 0 0.00000 0 479 - 0.00000 - - 3s 0 0 0.00000 0 488 - 0.00000 - - 4s 0 0 0.00000 0 481 - 0.00000 - - 5s 0 0 0.00000 0 474 - 0.00000 - - 6s 0 0 0.00000 0 478 - 0.00000 - - 7s 0 0 0.00000 0 478 - 0.00000 - - 7s 0 2 0.00000 0 478 - 0.00000 - - 8s 48 16 0.00000 11 459 - 0.00000 - 284 10s 364 22 infeasible 10 - 0.00000 - 177 15s 603 55 0.00000 19 398 - 0.00000 - 175 20s 605 57 0.00000 5 479 - 0.00000 - 174 25s 607 58 0.00000 10 479 - 0.00000 - 174 31s 609 59 0.00000 17 462 - 0.00000 - 173 36s 610 60 0.00000 9 454 - 0.00000 - 173 40s 612 61 0.00000 10 460 - 0.00000 - 172 45s 614 63 0.00000 13 456 - 0.00000 - 172 50s 669 55 infeasible 24 - 0.00000 - 265 55s 777 23 infeasible 31 - 0.00000 - 284 60s 878 10 infeasible 25 - 0.00000 - 299 65s 986 8 infeasible 24 - 0.00000 - 306 70s 1072 2 infeasible 24 - 0.00000 - 321 75s Cutting planes: Gomory: 1 Zero half: 25 Explored 1093 nodes (386870 simplex iterations) in 75.88 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 06:56:34 2012 Optimize a model with 5300 rows, 1996 columns and 16290 nonzeros Presolve time: 0.02s Presolved: 5300 rows, 1996 columns, 16290 nonzeros Variable types: 0 continuous, 1996 integer (1996 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.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 64 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 4s * 0 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 160 Explored 0 nodes (37972 simplex iterations) in 4.11 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