current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:19 2012 Optimize a model with 67077 rows, 15907 columns and 215847 nonzeros Presolve time: 0.20s Presolved: 67077 rows, 15907 columns, 215847 nonzeros Variable types: 0 continuous, 15907 integer (15907 binary) Root relaxation: objective 0.000000e+00, 572 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 (926 simplex iterations) in 0.34 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:20 2012 Optimize a model with 33241 rows, 8251 columns and 106683 nonzeros Presolve time: 0.15s Presolved: 33241 rows, 8251 columns, 106683 nonzeros Variable types: 0 continuous, 8251 integer (8251 binary) Root relaxation: objective 0.000000e+00, 479 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 (811 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:20 2012 Optimize a model with 16323 rows, 4423 columns and 52101 nonzeros Presolve time: 0.06s Presolved: 16323 rows, 4423 columns, 52101 nonzeros Variable types: 0 continuous, 4423 integer (4423 binary) Root relaxation: objective 0.000000e+00, 376 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 (699 simplex iterations) in 0.09 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:21 2012 Optimize a model with 7864 rows, 2509 columns and 24810 nonzeros Presolve time: 0.02s Presolved: 7864 rows, 2509 columns, 24810 nonzeros Variable types: 0 continuous, 2509 integer (2509 binary) Root relaxation: objective 0.000000e+00, 374 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 (729 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:21 2012 Optimize a model with 4019 rows, 1639 columns and 12405 nonzeros Presolve time: 0.01s Presolved: 4019 rows, 1639 columns, 12405 nonzeros Variable types: 0 continuous, 1639 integer (1639 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3248 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:18:21 2012 Optimize a model with 1712 rows, 1117 columns and 4962 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1538 rows, 943 columns, 4614 nonzeros Variable types: 0 continuous, 943 integer (943 binary) Root relaxation: objective 0.000000e+00, 181 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (741 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:18:21 2012 Optimize a model with 2481 rows, 1291 columns and 7443 nonzeros Presolve time: 0.01s Presolved: 2481 rows, 1291 columns, 7443 nonzeros Variable types: 0 continuous, 1291 integer (1291 binary) Root relaxation: objective 0.000000e+00, 396 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 346 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 462 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 31 Zero half: 389 Explored 0 nodes (6950 simplex iterations) in 0.90 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:18:22 2012 Optimize a model with 3250 rows, 1465 columns and 9924 nonzeros Presolve time: 0.01s Presolved: 3250 rows, 1465 columns, 9924 nonzeros Variable types: 0 continuous, 1465 integer (1465 binary) Root relaxation: objective 0.000000e+00, 392 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 338 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 236 - 0.00000 - - 3s 0 0 0.00000 0 228 - 0.00000 - - 3s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 220 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 188 - 0.00000 - - 4s 0 0 0.00000 0 246 - 0.00000 - - 5s 0 0 0.00000 0 192 - 0.00000 - - 5s 0 2 0.00000 0 192 - 0.00000 - - 6s 611 110 0.00000 18 300 - 0.00000 - 93.5 10s 617 114 0.00000 17 295 - 0.00000 - 92.6 15s 751 93 0.00000 28 318 - 0.00000 - 166 20s 1208 25 infeasible 32 - 0.00000 - 172 25s 1666 49 0.00000 27 312 - 0.00000 - 176 30s 2089 46 0.00000 31 364 - 0.00000 - 180 35s 2508 55 infeasible 29 - 0.00000 - 183 40s 2983 56 0.00000 28 284 - 0.00000 - 183 45s 3458 33 infeasible 26 - 0.00000 - 183 50s 3891 74 infeasible 27 - 0.00000 - 183 55s 4295 68 0.00000 26 300 - 0.00000 - 185 60s 4760 75 0.00000 26 290 - 0.00000 - 184 65s 5167 62 infeasible 31 - 0.00000 - 185 70s 5609 56 0.00000 21 366 - 0.00000 - 185 75s 6051 80 infeasible 25 - 0.00000 - 186 80s 6525 62 infeasible 33 - 0.00000 - 185 85s 6933 42 0.00000 24 324 - 0.00000 - 186 90s 7346 33 infeasible 28 - 0.00000 - 186 95s 7775 24 infeasible 31 - 0.00000 - 186 100s 8158 15 infeasible 28 - 0.00000 - 187 105s Cutting planes: Gomory: 2 Zero half: 3 Explored 8304 nodes (1613158 simplex iterations) in 107.13 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