current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:05 2012 Optimize a model with 49645 rows, 8787 columns and 156555 nonzeros Presolve time: 0.17s Presolved: 49645 rows, 8787 columns, 156555 nonzeros Variable types: 0 continuous, 8787 integer (8787 binary) Root relaxation: objective 0.000000e+00, 303 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 (583 simplex iterations) in 0.29 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 -- 63 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:06 2012 Optimize a model with 24493 rows, 4723 columns and 77035 nonzeros Presolve time: 0.11s Presolved: 24493 rows, 4723 columns, 77035 nonzeros Variable types: 0 continuous, 4723 integer (4723 binary) Root relaxation: objective 0.000000e+00, 307 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 (567 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:06 2012 Optimize a model with 11917 rows, 2691 columns and 37275 nonzeros Presolve time: 0.04s Presolved: 11917 rows, 2691 columns, 37275 nonzeros Variable types: 0 continuous, 2691 integer (2691 binary) Root relaxation: objective 0.000000e+00, 254 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 (505 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:06 2012 Optimize a model with 5629 rows, 1675 columns and 17395 nonzeros Presolve time: 0.02s Presolved: 5629 rows, 1675 columns, 17395 nonzeros Variable types: 0 continuous, 1675 integer (1675 binary) Root relaxation: objective 0.000000e+00, 266 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 (1618 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:07 2012 Optimize a model with 2485 rows, 1167 columns and 7455 nonzeros Presolve time: 0.01s Presolved: 2485 rows, 1167 columns, 7455 nonzeros Variable types: 0 continuous, 1167 integer (1167 binary) Root relaxation: objective 0.000000e+00, 284 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 198 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4849 simplex iterations) in 0.52 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:07 2012 Optimize a model with 4057 rows, 1421 columns and 12425 nonzeros Presolve time: 0.01s Presolved: 4057 rows, 1421 columns, 12425 nonzeros Variable types: 0 continuous, 1421 integer (1421 binary) Root relaxation: objective 0.000000e+00, 277 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.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 269 - 0.00000 - - 0s 0 0 0.00000 0 307 - 0.00000 - - 0s 0 0 0.00000 0 261 - 0.00000 - - 1s 0 0 0.00000 0 271 - 0.00000 - - 2s 0 0 0.00000 0 265 - 0.00000 - - 2s 0 0 0.00000 0 273 - 0.00000 - - 3s 0 0 0.00000 0 309 - 0.00000 - - 3s 0 0 0.00000 0 309 - 0.00000 - - 3s 0 2 0.00000 0 309 - 0.00000 - - 4s 30 20 0.00000 18 222 - 0.00000 - 226 5s 605 253 0.00000 30 304 - 0.00000 - 109 11s 610 256 0.00000 23 248 - 0.00000 - 108 15s 751 286 0.00000 31 206 - 0.00000 - 155 20s 1173 165 0.00000 26 214 - 0.00000 - 166 25s 1581 111 0.00000 24 284 - 0.00000 - 172 30s 1979 193 infeasible 25 - 0.00000 - 175 35s 2380 178 infeasible 34 - 0.00000 - 177 40s 2772 172 0.00000 30 237 - 0.00000 - 179 45s 3197 181 infeasible 28 - 0.00000 - 180 50s 3723 197 infeasible 34 - 0.00000 - 177 55s 4189 209 infeasible 35 - 0.00000 - 177 60s * 4263 1 28 0.0000000 0.00000 0.0% 177 60s Cutting planes: Gomory: 2 Clique: 5 Zero half: 8 Explored 4264 nodes (783427 simplex iterations) in 60.95 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:16:08 2012 Optimize a model with 3271 rows, 1294 columns and 9940 nonzeros Presolve time: 0.01s Presolved: 3271 rows, 1294 columns, 9940 nonzeros Variable types: 0 continuous, 1294 integer (1294 binary) Root relaxation: objective 0.000000e+00, 277 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 254 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 2 0.00000 0 366 - 0.00000 - - 6s Cutting planes: Clique: 8 Zero half: 17 Explored 7 nodes (29250 simplex iterations) in 6.87 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5