current bounds on the number of colors: 0 -- 162 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:35:10 2012 Optimize a model with 55161 rows, 13801 columns and 178119 nonzeros Presolve time: 0.16s Presolved: 55161 rows, 13801 columns, 178119 nonzeros Variable types: 0 continuous, 13801 integer (13801 binary) Root relaxation: objective 0.000000e+00, 681 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 (1036 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:35:11 2012 Optimize a model with 27322 rows, 7159 columns and 87960 nonzeros Presolve time: 0.13s Presolved: 27322 rows, 7159 columns, 87960 nonzeros Variable types: 0 continuous, 7159 integer (7159 binary) Root relaxation: objective 0.000000e+00, 446 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 (771 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:35:12 2012 Optimize a model with 13742 rows, 3919 columns and 43980 nonzeros Presolve time: 0.05s Presolved: 13742 rows, 3919 columns, 43980 nonzeros Variable types: 0 continuous, 3919 integer (3919 binary) Root relaxation: objective 0.000000e+00, 343 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 (643 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:35:12 2012 Optimize a model with 6952 rows, 2299 columns and 21990 nonzeros Presolve time: 0.02s Presolved: 6952 rows, 2299 columns, 21990 nonzeros Variable types: 0 continuous, 2299 integer (2299 binary) Root relaxation: objective 0.000000e+00, 334 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 (629 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:35:12 2012 Optimize a model with 3557 rows, 1489 columns and 10995 nonzeros Presolve time: 0.01s Presolved: 3557 rows, 1489 columns, 10995 nonzeros Variable types: 0 continuous, 1489 integer (1489 binary) Root relaxation: objective 0.000000e+00, 365 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 (2323 simplex iterations) in 0.12 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:35:12 2012 Optimize a model with 1520 rows, 1003 columns and 4398 nonzeros Presolve removed 162 rows and 162 columns Presolve time: 0.00s Presolved: 1358 rows, 841 columns, 4074 nonzeros Variable types: 0 continuous, 841 integer (841 binary) Root relaxation: objective 0.000000e+00, 171 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 162 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (699 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:35:12 2012 Optimize a model with 2199 rows, 1165 columns and 6597 nonzeros Presolve time: 0.01s Presolved: 2199 rows, 1165 columns, 6597 nonzeros Variable types: 0 continuous, 1165 integer (1165 binary) Root relaxation: objective 0.000000e+00, 373 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 322 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3480 simplex iterations) in 0.31 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:35:13 2012 Optimize a model with 2878 rows, 1327 columns and 8796 nonzeros Presolve time: 0.01s Presolved: 2878 rows, 1327 columns, 8796 nonzeros Variable types: 0 continuous, 1327 integer (1327 binary) Root relaxation: objective 0.000000e+00, 370 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 296 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 0s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 1s 0 2 0.00000 0 385 - 0.00000 - - 2s 928 65 infeasible 20 - 0.00000 - 77.0 5s 1022 84 0.00000 11 263 - 0.00000 - 95.2 10s 1583 86 0.00000 20 268 - 0.00000 - 118 15s 2227 140 infeasible 25 - 0.00000 - 128 20s 2817 140 infeasible 30 - 0.00000 - 136 25s 3385 144 0.00000 29 259 - 0.00000 - 141 30s 3963 140 0.00000 24 256 - 0.00000 - 145 35s 4576 213 0.00000 29 258 - 0.00000 - 147 40s 5116 229 infeasible 31 - 0.00000 - 150 45s 5691 198 0.00000 30 284 - 0.00000 - 152 50s 6274 213 0.00000 29 276 - 0.00000 - 153 55s 6830 203 0.00000 24 248 - 0.00000 - 155 60s 7539 240 0.00000 22 262 - 0.00000 - 154 65s 8211 206 infeasible 27 - 0.00000 - 153 70s 8795 230 0.00000 25 244 - 0.00000 - 154 75s 9355 240 0.00000 25 258 - 0.00000 - 155 80s * 9838 2 28 0.0000000 0.00000 0.0% 156 83s Cutting planes: Gomory: 1 Zero half: 10 Explored 9839 nodes (1546848 simplex iterations) in 83.98 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