current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:53:05 2012 Optimize a model with 114712 rows, 22733 columns and 365144 nonzeros Presolve time: 0.39s Presolved: 114712 rows, 22733 columns, 365144 nonzeros Variable types: 0 continuous, 22733 integer (22733 binary) Root relaxation: objective 0.000000e+00, 530 iterations, 0.14 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 (966 simplex iterations) in 0.70 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:53:07 2012 Optimize a model with 57460 rows, 11917 columns and 182572 nonzeros Presolve time: 0.17s Presolved: 57460 rows, 11917 columns, 182572 nonzeros Variable types: 0 continuous, 11917 integer (11917 binary) Root relaxation: objective 0.000000e+00, 728 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 (1241 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:53:08 2012 Optimize a model with 28834 rows, 6509 columns and 91286 nonzeros Presolve time: 0.12s Presolved: 28834 rows, 6509 columns, 91286 nonzeros Variable types: 0 continuous, 6509 integer (6509 binary) Root relaxation: objective 0.000000e+00, 489 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 (892 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:53:08 2012 Optimize a model with 14521 rows, 3805 columns and 45643 nonzeros Presolve time: 0.05s Presolved: 14521 rows, 3805 columns, 45643 nonzeros Variable types: 0 continuous, 3805 integer (3805 binary) Root relaxation: objective 0.000000e+00, 425 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 (834 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:53:09 2012 Optimize a model with 6814 rows, 2349 columns and 21066 nonzeros Presolve time: 0.02s Presolved: 6814 rows, 2349 columns, 21066 nonzeros Variable types: 0 continuous, 2349 integer (2349 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1725 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 12:53:09 2012 Optimize a model with 3511 rows, 1725 columns and 10533 nonzeros Presolve time: 0.01s Presolved: 3511 rows, 1725 columns, 10533 nonzeros Variable types: 0 continuous, 1725 integer (1725 binary) Root relaxation: objective 0.000000e+00, 453 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 318 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6790 simplex iterations) in 0.92 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 12:53:10 2012 Optimize a model with 4612 rows, 1933 columns and 14044 nonzeros Presolve time: 0.01s Presolved: 4612 rows, 1933 columns, 14044 nonzeros Variable types: 0 continuous, 1933 integer (1933 binary) Root relaxation: objective 0.000000e+00, 450 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 406 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 487 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 2 0.00000 0 356 - 0.00000 - - 8s 57 13 0.00000 10 372 - 0.00000 - 238 10s 301 51 0.00000 19 492 - 0.00000 - 214 15s 601 48 0.00000 18 442 - 0.00000 - 196 20s 804 91 0.00000 17 587 - 0.00000 - 199 26s 805 92 0.00000 25 382 - 0.00000 - 198 30s 808 94 0.00000 7 362 - 0.00000 - 198 37s 809 94 0.00000 16 357 - 0.00000 - 197 40s 811 96 0.00000 6 421 - 0.00000 - 197 45s 813 97 0.00000 19 471 - 0.00000 - 196 52s 814 98 0.00000 6 512 - 0.00000 - 196 55s 865 100 infeasible 18 - 0.00000 - 288 60s 980 64 0.00000 15 496 - 0.00000 - 299 65s 1112 34 0.00000 21 420 - 0.00000 - 304 70s 1244 36 0.00000 15 524 - 0.00000 - 309 75s 1380 44 infeasible 23 - 0.00000 - 312 80s 1508 42 0.00000 18 378 - 0.00000 - 317 85s 1627 27 infeasible 23 - 0.00000 - 322 90s 1724 16 infeasible 19 - 0.00000 - 329 95s 1844 16 0.00000 17 412 - 0.00000 - 331 100s 1962 6 infeasible 17 - 0.00000 - 335 105s Cutting planes: Gomory: 1 Zero half: 16 Explored 2011 nodes (727649 simplex iterations) in 107.09 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 12:54:57 2012 Optimize a model with 5713 rows, 2141 columns and 17555 nonzeros Presolve time: 0.02s Presolved: 5713 rows, 2141 columns, 17555 nonzeros Variable types: 0 continuous, 2141 integer (2141 binary) Root relaxation: objective 0.000000e+00, 449 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 384 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 4s * 0 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 198 Explored 0 nodes (41315 simplex iterations) in 4.54 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