current bounds on the number of colors: 0 -- 160 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:21:26 2012 Optimize a model with 54400 rows, 13478 columns and 175520 nonzeros Presolve time: 0.18s Presolved: 54400 rows, 13478 columns, 175520 nonzeros Variable types: 0 continuous, 13478 integer (13478 binary) Root relaxation: objective 0.000000e+00, 433 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 (718 simplex iterations) in 0.28 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:21:27 2012 Optimize a model with 27280 rows, 7078 columns and 87760 nonzeros Presolve time: 0.13s Presolved: 27280 rows, 7078 columns, 87760 nonzeros Variable types: 0 continuous, 7078 integer (7078 binary) Root relaxation: objective 0.000000e+00, 391 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 (682 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:21:27 2012 Optimize a model with 13720 rows, 3878 columns and 43880 nonzeros Presolve time: 0.05s Presolved: 13720 rows, 3878 columns, 43880 nonzeros Variable types: 0 continuous, 3878 integer (3878 binary) Root relaxation: objective 0.000000e+00, 328 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 (615 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:21:27 2012 Optimize a model with 6940 rows, 2278 columns and 21940 nonzeros Presolve time: 0.02s Presolved: 6940 rows, 2278 columns, 21940 nonzeros Variable types: 0 continuous, 2278 integer (2278 binary) Root relaxation: objective 0.000000e+00, 350 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 (636 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:21:28 2012 Optimize a model with 3550 rows, 1478 columns and 10970 nonzeros Presolve time: 0.01s Presolved: 3550 rows, 1478 columns, 10970 nonzeros Variable types: 0 continuous, 1478 integer (1478 binary) Root relaxation: objective 0.000000e+00, 346 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 94 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1936 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:21:28 2012 Optimize a model with 1516 rows, 998 columns and 4388 nonzeros Presolve removed 160 rows and 160 columns Presolve time: 0.00s Presolved: 1356 rows, 838 columns, 4068 nonzeros Variable types: 0 continuous, 838 integer (838 binary) Root relaxation: objective 0.000000e+00, 178 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 160 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (714 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:21:28 2012 Optimize a model with 2194 rows, 1158 columns and 6582 nonzeros Presolve time: 0.01s Presolved: 2194 rows, 1158 columns, 6582 nonzeros Variable types: 0 continuous, 1158 integer (1158 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.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 0s 0 0 0.00000 0 458 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 543 Explored 0 nodes (6547 simplex iterations) in 0.86 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:21:29 2012 Optimize a model with 2872 rows, 1318 columns and 8776 nonzeros Presolve time: 0.01s Presolved: 2872 rows, 1318 columns, 8776 nonzeros Variable types: 0 continuous, 1318 integer (1318 binary) Root relaxation: objective 0.000000e+00, 355 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 308 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 259 - 0.00000 - - 2s 0 0 0.00000 0 257 - 0.00000 - - 2s 0 2 0.00000 0 256 - 0.00000 - - 3s 606 95 0.00000 18 302 - 0.00000 - 68.6 5s 612 99 0.00000 23 236 - 0.00000 - 67.9 10s 619 104 0.00000 16 271 - 0.00000 - 67.1 15s 1064 81 infeasible 26 - 0.00000 - 149 20s 1617 92 infeasible 25 - 0.00000 - 159 25s 2106 69 0.00000 23 285 - 0.00000 - 167 30s 2713 118 0.00000 23 258 - 0.00000 - 165 35s 3341 148 infeasible 26 - 0.00000 - 163 40s * 3803 0 25 0.0000000 0.00000 0.0% 163 43s Cutting planes: Zero half: 8 Explored 3804 nodes (650089 simplex iterations) in 43.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% optimal solution found: number of colors: 4