current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:44:46 2012 Optimize a model with 125298 rows, 24174 columns and 398254 nonzeros Presolve time: 0.44s Presolved: 125298 rows, 24174 columns, 398254 nonzeros Variable types: 0 continuous, 24174 integer (24174 binary) Root relaxation: objective 0.000000e+00, 561 iterations, 0.16 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 (1024 simplex iterations) in 0.77 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:44:49 2012 Optimize a model with 62172 rows, 12564 columns and 197266 nonzeros Presolve time: 0.18s Presolved: 62172 rows, 12564 columns, 197266 nonzeros Variable types: 0 continuous, 12564 integer (12564 binary) Root relaxation: objective 0.000000e+00, 746 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 (1304 simplex iterations) in 0.33 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:44:50 2012 Optimize a model with 30609 rows, 6759 columns and 96772 nonzeros Presolve time: 0.13s Presolved: 30609 rows, 6759 columns, 96772 nonzeros Variable types: 0 continuous, 6759 integer (6759 binary) Root relaxation: objective 0.000000e+00, 528 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 (996 simplex iterations) in 0.19 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 15:44:50 2012 Optimize a model with 15412 rows, 3964 columns and 48386 nonzeros Presolve time: 0.05s Presolved: 15412 rows, 3964 columns, 48386 nonzeros Variable types: 0 continuous, 3964 integer (3964 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (879 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 15:44:51 2012 Optimize a model with 7229 rows, 2459 columns and 22332 nonzeros Presolve time: 0.02s Presolved: 7229 rows, 2459 columns, 22332 nonzeros Variable types: 0 continuous, 2459 integer (2459 binary) Root relaxation: objective 0.000000e+00, 473 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 (2475 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 15:44:51 2012 Optimize a model with 3722 rows, 1814 columns and 11166 nonzeros Presolve time: 0.01s Presolved: 3722 rows, 1814 columns, 11166 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 510 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 330 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9401 simplex iterations) in 1.16 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 15:44:52 2012 Optimize a model with 4891 rows, 2029 columns and 14888 nonzeros Presolve time: 0.01s Presolved: 4891 rows, 2029 columns, 14888 nonzeros Variable types: 0 continuous, 2029 integer (2029 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.00000 0 426 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 565 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 2 0.00000 0 386 - 0.00000 - - 9s 3 3 0.00000 2 510 - 0.00000 - 1218 10s 219 45 0.00000 19 368 - 0.00000 - 227 15s 495 62 infeasible 14 - 0.00000 - 203 20s 757 74 0.00000 16 506 - 0.00000 - 198 25s 805 90 0.00000 10 376 - 0.00000 - 198 33s 806 90 0.00000 14 382 - 0.00000 - 198 35s 808 92 0.00000 14 366 - 0.00000 - 197 41s 810 93 0.00000 25 391 - 0.00000 - 197 48s 811 94 0.00000 18 356 - 0.00000 - 196 51s 815 98 0.00000 14 557 - 0.00000 - 282 55s 906 75 0.00000 18 501 - 0.00000 - 294 60s 998 48 0.00000 27 510 - 0.00000 - 305 65s 1090 20 0.00000 26 479 - 0.00000 - 317 70s 1180 12 infeasible 25 - 0.00000 - 329 75s 1263 9 infeasible 23 - 0.00000 - 340 80s 1345 3 infeasible 22 - 0.00000 - 350 85s Cutting planes: Zero half: 17 Explored 1381 nodes (541280 simplex iterations) in 87.00 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 15:46:19 2012 Optimize a model with 6060 rows, 2244 columns and 18610 nonzeros Presolve time: 0.02s Presolved: 6060 rows, 2244 columns, 18610 nonzeros Variable types: 0 continuous, 2244 integer (2244 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.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 497 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 419 - 0.00000 - - 3s 0 0 0.00000 0 437 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Clique: 2 Zero half: 1 Explored 0 nodes (30387 simplex iterations) in 4.82 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