current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:13:01 2012 Optimize a model with 69696 rows, 16278 columns and 224048 nonzeros Presolve time: 0.22s Presolved: 69696 rows, 16278 columns, 224048 nonzeros Variable types: 0 continuous, 16278 integer (16278 binary) Root relaxation: objective 0.000000e+00, 662 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 (1067 simplex iterations) in 0.38 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 23:13:03 2012 Optimize a model with 34936 rows, 8534 columns and 112024 nonzeros Presolve time: 0.15s Presolved: 34936 rows, 8534 columns, 112024 nonzeros Variable types: 0 continuous, 8534 integer (8534 binary) Root relaxation: objective 0.000000e+00, 504 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 (878 simplex iterations) in 0.22 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 23:13:03 2012 Optimize a model with 17556 rows, 4662 columns and 56012 nonzeros Presolve time: 0.07s Presolved: 17556 rows, 4662 columns, 56012 nonzeros Variable types: 0 continuous, 4662 integer (4662 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 (680 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:13:04 2012 Optimize a model with 8866 rows, 2726 columns and 28006 nonzeros Presolve time: 0.03s Presolved: 8866 rows, 2726 columns, 28006 nonzeros Variable types: 0 continuous, 2726 integer (2726 binary) Root relaxation: objective 0.000000e+00, 371 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 (671 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 23:13:04 2012 Optimize a model with 4126 rows, 1670 columns and 12730 nonzeros Presolve time: 0.01s Presolved: 4126 rows, 1670 columns, 12730 nonzeros Variable types: 0 continuous, 1670 integer (1670 binary) Root relaxation: objective 0.000000e+00, 393 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 (1785 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:13:04 2012 Optimize a model with 1756 rows, 1142 columns and 5092 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1580 rows, 966 columns, 4740 nonzeros Variable types: 0 continuous, 966 integer (966 binary) Root relaxation: objective 0.000000e+00, 188 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 Explored 0 nodes (775 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 23:13:04 2012 Optimize a model with 2546 rows, 1318 columns and 7638 nonzeros Presolve time: 0.01s Presolved: 2546 rows, 1318 columns, 7638 nonzeros Variable types: 0 continuous, 1318 integer (1318 binary) Root relaxation: objective 0.000000e+00, 398 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 348 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 475 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 23 Zero half: 441 Explored 0 nodes (6805 simplex iterations) in 0.89 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 23:13:05 2012 Optimize a model with 3336 rows, 1494 columns and 10184 nonzeros Presolve time: 0.01s Presolved: 3336 rows, 1494 columns, 10184 nonzeros Variable types: 0 continuous, 1494 integer (1494 binary) Root relaxation: objective 0.000000e+00, 455 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 348 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 288 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 250 - 0.00000 - - 3s 0 0 0.00000 0 257 - 0.00000 - - 4s 0 0 0.00000 0 251 - 0.00000 - - 4s 0 0 0.00000 0 240 - 0.00000 - - 4s 0 0 0.00000 0 260 - 0.00000 - - 4s 0 0 0.00000 0 259 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 5s 0 0 0.00000 0 248 - 0.00000 - - 5s 0 0 0.00000 0 212 - 0.00000 - - 6s 0 0 0.00000 0 236 - 0.00000 - - 6s 0 0 0.00000 0 217 - 0.00000 - - 6s 0 0 0.00000 0 425 - 0.00000 - - 7s 0 0 0.00000 0 383 - 0.00000 - - 7s 0 2 0.00000 0 382 - 0.00000 - - 7s 489 109 0.00000 22 298 - 0.00000 - 88.7 10s 609 137 0.00000 23 284 - 0.00000 - 84.6 15s 614 141 0.00000 24 274 - 0.00000 - 83.9 20s 620 145 infeasible 16 - 0.00000 - 169 25s 1080 73 infeasible 30 - 0.00000 - 173 30s 1625 228 infeasible 32 - 0.00000 - 168 35s 2090 245 0.00000 27 294 - 0.00000 - 173 40s 2549 236 infeasible 33 - 0.00000 - 177 45s 3003 232 0.00000 30 312 - 0.00000 - 180 50s 3461 216 infeasible 32 - 0.00000 - 182 55s 3900 179 0.00000 31 294 - 0.00000 - 184 60s 4307 184 infeasible 32 - 0.00000 - 187 65s 4759 180 infeasible 27 - 0.00000 - 188 70s 5154 155 0.00000 28 290 - 0.00000 - 190 75s 5604 129 0.00000 30 306 - 0.00000 - 191 80s 6053 104 0.00000 30 306 - 0.00000 - 191 85s 6509 88 infeasible 30 - 0.00000 - 192 90s 6959 70 infeasible 29 - 0.00000 - 192 95s 7374 59 0.00000 31 312 - 0.00000 - 193 100s 7797 38 0.00000 27 292 - 0.00000 - 194 105s 8227 32 0.00000 24 302 - 0.00000 - 194 110s 8701 40 infeasible 31 - 0.00000 - 193 115s 9161 34 infeasible 24 - 0.00000 - 193 120s 9588 37 0.00000 29 286 - 0.00000 - 194 125s 10027 36 infeasible 26 - 0.00000 - 194 130s 10470 7 infeasible 30 - 0.00000 - 194 135s Cutting planes: Gomory: 1 Zero half: 11 Explored 10490 nodes (2115736 simplex iterations) in 135.41 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