current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:09 2012 Optimize a model with 54001 rows, 13553 columns and 174400 nonzeros Presolve time: 0.17s Presolved: 54001 rows, 13553 columns, 174400 nonzeros Variable types: 0 continuous, 13553 integer (13553 binary) Root relaxation: objective 0.000000e+00, 616 iterations, 0.05 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 (949 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:10 2012 Optimize a model with 27081 rows, 7113 columns and 87200 nonzeros Presolve time: 0.13s Presolved: 27081 rows, 7113 columns, 87200 nonzeros Variable types: 0 continuous, 7113 integer (7113 binary) Root relaxation: objective 0.000000e+00, 520 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 (879 simplex iterations) in 0.20 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:10 2012 Optimize a model with 13621 rows, 3893 columns and 43600 nonzeros Presolve time: 0.05s Presolved: 13621 rows, 3893 columns, 43600 nonzeros Variable types: 0 continuous, 3893 integer (3893 binary) Root relaxation: objective 0.000000e+00, 337 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 (619 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:11 2012 Optimize a model with 6891 rows, 2283 columns and 21800 nonzeros Presolve time: 0.02s Presolved: 6891 rows, 2283 columns, 21800 nonzeros Variable types: 0 continuous, 2283 integer (2283 binary) Root relaxation: objective 0.000000e+00, 338 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 (625 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:11 2012 Optimize a model with 3526 rows, 1478 columns and 10900 nonzeros Presolve time: 0.01s Presolved: 3526 rows, 1478 columns, 10900 nonzeros Variable types: 0 continuous, 1478 integer (1478 binary) Root relaxation: objective 0.000000e+00, 350 iterations, 0.00 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 (1703 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:11 2012 Optimize a model with 1507 rows, 995 columns and 4360 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1346 rows, 834 columns, 4038 nonzeros Variable types: 0 continuous, 834 integer (834 binary) Root relaxation: objective 0.000000e+00, 165 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (684 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:11 2012 Optimize a model with 2180 rows, 1156 columns and 6540 nonzeros Presolve time: 0.01s Presolved: 2180 rows, 1156 columns, 6540 nonzeros Variable types: 0 continuous, 1156 integer (1156 binary) Root relaxation: objective 0.000000e+00, 364 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 314 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 19 Clique: 1 Zero half: 323 Explored 0 nodes (6292 simplex iterations) in 0.71 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:25:12 2012 Optimize a model with 2853 rows, 1317 columns and 8720 nonzeros Presolve time: 0.01s Presolved: 2853 rows, 1317 columns, 8720 nonzeros Variable types: 0 continuous, 1317 integer (1317 binary) Root relaxation: objective 0.000000e+00, 388 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 302 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 2 0.00000 0 256 - 0.00000 - - 2s 605 114 0.00000 7 270 - 0.00000 - 82.2 5s 613 119 0.00000 15 232 - 0.00000 - 81.1 10s 994 99 infeasible 30 - 0.00000 - 135 15s 1718 111 infeasible 28 - 0.00000 - 135 20s 2442 111 infeasible 27 - 0.00000 - 136 25s 3167 42 infeasible 22 - 0.00000 - 137 30s 3941 72 0.00000 20 303 - 0.00000 - 135 35s 4701 58 0.00000 23 283 - 0.00000 - 136 40s * 5064 2 29 0.0000000 0.00000 0.0% 136 42s Cutting planes: Gomory: 1 Zero half: 13 Explored 5065 nodes (712587 simplex iterations) in 42.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: 4