current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:58:34 2012 Optimize a model with 74448 rows, 16332 columns and 238304 nonzeros Presolve time: 0.23s Presolved: 74448 rows, 16332 columns, 238304 nonzeros Variable types: 0 continuous, 16332 integer (16332 binary) Root relaxation: objective 0.000000e+00, 755 iterations, 0.09 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 (1170 simplex iterations) in 0.43 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:58:35 2012 Optimize a model with 37312 rows, 8588 columns and 119152 nonzeros Presolve time: 0.15s Presolved: 37312 rows, 8588 columns, 119152 nonzeros Variable types: 0 continuous, 8588 integer (8588 binary) Root relaxation: objective 0.000000e+00, 605 iterations, 0.04 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 (1006 simplex iterations) in 0.24 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:58:36 2012 Optimize a model with 18744 rows, 4716 columns and 59576 nonzeros Presolve time: 0.07s Presolved: 18744 rows, 4716 columns, 59576 nonzeros Variable types: 0 continuous, 4716 integer (4716 binary) Root relaxation: objective 0.000000e+00, 409 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 (745 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:58:36 2012 Optimize a model with 9460 rows, 2780 columns and 29788 nonzeros Presolve time: 0.03s Presolved: 9460 rows, 2780 columns, 29788 nonzeros Variable types: 0 continuous, 2780 integer (2780 binary) Root relaxation: objective 0.000000e+00, 360 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 (695 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:58:36 2012 Optimize a model with 4396 rows, 1724 columns and 13540 nonzeros Presolve time: 0.01s Presolved: 4396 rows, 1724 columns, 13540 nonzeros Variable types: 0 continuous, 1724 integer (1724 binary) Root relaxation: objective 0.000000e+00, 403 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 197 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4165 simplex iterations) in 0.36 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 22:58:37 2012 Optimize a model with 1864 rows, 1196 columns and 5416 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1688 rows, 1020 columns, 5064 nonzeros Variable types: 0 continuous, 1020 integer (1020 binary) Root relaxation: objective 0.000000e+00, 184 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (768 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 22:58:37 2012 Optimize a model with 2708 rows, 1372 columns and 8124 nonzeros Presolve time: 0.01s Presolved: 2708 rows, 1372 columns, 8124 nonzeros Variable types: 0 continuous, 1372 integer (1372 binary) Root relaxation: objective 0.000000e+00, 414 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 350 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 493 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 28 Zero half: 1150 Explored 0 nodes (6511 simplex iterations) in 0.99 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 22:58:38 2012 Optimize a model with 3552 rows, 1548 columns and 10832 nonzeros Presolve time: 0.01s Presolved: 3552 rows, 1548 columns, 10832 nonzeros Variable types: 0 continuous, 1548 integer (1548 binary) Root relaxation: objective 0.000000e+00, 387 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 342 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 0s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 268 - 0.00000 - - 4s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 0 0.00000 0 262 - 0.00000 - - 5s 0 2 0.00000 0 262 - 0.00000 - - 6s 328 58 0.00000 20 329 - 0.00000 - 159 10s 709 54 0.00000 13 317 - 0.00000 - 141 16s 711 55 0.00000 7 427 - 0.00000 - 141 20s 714 57 0.00000 20 399 - 0.00000 - 140 25s 717 59 0.00000 17 414 - 0.00000 - 139 30s 902 46 0.00000 25 325 - 0.00000 - 205 35s 1134 44 0.00000 25 369 - 0.00000 - 215 40s 1358 64 infeasible 32 - 0.00000 - 223 45s 1555 67 infeasible 27 - 0.00000 - 232 50s 1776 78 0.00000 28 409 - 0.00000 - 236 55s 1986 88 infeasible 31 - 0.00000 - 240 60s 2170 74 0.00000 31 352 - 0.00000 - 245 65s 2355 61 infeasible 31 - 0.00000 - 249 70s 2537 63 0.00000 28 405 - 0.00000 - 254 75s 2723 47 0.00000 26 413 - 0.00000 - 257 80s 2913 41 0.00000 25 366 - 0.00000 - 260 85s 3099 41 infeasible 25 - 0.00000 - 262 90s 3291 59 0.00000 28 318 - 0.00000 - 263 95s 3467 39 infeasible 25 - 0.00000 - 266 100s 3660 36 0.00000 26 310 - 0.00000 - 268 105s 3854 28 infeasible 26 - 0.00000 - 269 110s 4050 22 infeasible 26 - 0.00000 - 270 115s 4231 13 infeasible 28 - 0.00000 - 272 120s 4430 10 infeasible 35 - 0.00000 - 272 125s 4674 6 0.00000 30 306 - 0.00000 - 271 130s Cutting planes: Zero half: 17 Explored 4685 nodes (1315548 simplex iterations) in 130.35 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