current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:07:09 2012 Optimize a model with 106353 rows, 21453 columns and 338855 nonzeros Presolve time: 0.35s Presolved: 106353 rows, 21453 columns, 338855 nonzeros Variable types: 0 continuous, 21453 integer (21453 binary) Root relaxation: objective 0.000000e+00, 668 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 (1081 simplex iterations) in 0.56 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:07:11 2012 Optimize a model with 52752 rows, 11151 columns and 167750 nonzeros Presolve time: 0.16s Presolved: 52752 rows, 11151 columns, 167750 nonzeros Variable types: 0 continuous, 11151 integer (11151 binary) Root relaxation: objective 0.000000e+00, 530 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 (933 simplex iterations) in 0.26 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:07:12 2012 Optimize a model with 26477 rows, 6101 columns and 83875 nonzeros Presolve time: 0.11s Presolved: 26477 rows, 6101 columns, 83875 nonzeros Variable types: 0 continuous, 6101 integer (6101 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (843 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:07:12 2012 Optimize a model with 12814 rows, 3475 columns and 40260 nonzeros Presolve time: 0.04s Presolved: 12814 rows, 3475 columns, 40260 nonzeros Variable types: 0 continuous, 3475 integer (3475 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 (829 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 10:07:12 2012 Optimize a model with 6508 rows, 2263 columns and 20130 nonzeros Presolve time: 0.02s Presolved: 6508 rows, 2263 columns, 20130 nonzeros Variable types: 0 continuous, 2263 integer (2263 binary) Root relaxation: objective 0.000000e+00, 461 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 (2044 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 10:07:13 2012 Optimize a model with 3355 rows, 1657 columns and 10065 nonzeros Presolve time: 0.01s Presolved: 3355 rows, 1657 columns, 10065 nonzeros Variable types: 0 continuous, 1657 integer (1657 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 404 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5645 simplex iterations) in 0.88 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 10:07:14 2012 Optimize a model with 4406 rows, 1859 columns and 13420 nonzeros Presolve time: 0.01s Presolved: 4406 rows, 1859 columns, 13420 nonzeros Variable types: 0 continuous, 1859 integer (1859 binary) Root relaxation: objective 0.000000e+00, 431 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 388 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 493 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 2 0.00000 0 351 - 0.00000 - - 7s 146 58 0.00000 18 358 - 0.00000 - 171 10s 527 101 0.00000 13 402 - 0.00000 - 157 15s 704 124 0.00000 10 576 - 0.00000 - 158 20s 705 125 0.00000 8 348 - 0.00000 - 158 25s 708 127 0.00000 15 342 - 0.00000 - 157 31s 710 128 0.00000 8 385 - 0.00000 - 156 36s 712 129 0.00000 5 314 - 0.00000 - 156 41s 714 131 0.00000 18 457 - 0.00000 - 156 47s 718 133 0.00000 10 332 - 0.00000 - 259 50s 746 138 0.00000 17 380 - 0.00000 - 260 55s 869 100 infeasible 24 - 0.00000 - 272 60s 1020 61 infeasible 24 - 0.00000 - 276 65s 1162 20 0.00000 15 468 - 0.00000 - 285 70s 1294 20 infeasible 22 - 0.00000 - 292 75s 1437 15 0.00000 22 390 - 0.00000 - 295 80s 1553 3 0.00000 15 486 - 0.00000 - 304 85s Cutting planes: Zero half: 9 Explored 1621 nodes (546395 simplex iterations) in 88.26 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 10:08:42 2012 Optimize a model with 5457 rows, 2061 columns and 16775 nonzeros Presolve time: 0.02s Presolved: 5457 rows, 2061 columns, 16775 nonzeros Variable types: 0 continuous, 2061 integer (2061 binary) Root relaxation: objective 0.000000e+00, 447 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 252 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 11 Clique: 28 Zero half: 112 Explored 0 nodes (5807 simplex iterations) in 0.57 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