current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:05:05 2012 Optimize a model with 49330 rows, 8782 columns and 155610 nonzeros Presolve time: 0.16s Presolved: 49330 rows, 8782 columns, 155610 nonzeros Variable types: 0 continuous, 8782 integer (8782 binary) Root relaxation: objective 0.000000e+00, 340 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 (697 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:05:05 2012 Optimize a model with 24338 rows, 4718 columns and 76570 nonzeros Presolve time: 0.11s Presolved: 24338 rows, 4718 columns, 76570 nonzeros Variable types: 0 continuous, 4718 integer (4718 binary) Root relaxation: objective 0.000000e+00, 388 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 (912 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:05:06 2012 Optimize a model with 11842 rows, 2686 columns and 37050 nonzeros Presolve time: 0.04s Presolved: 11842 rows, 2686 columns, 37050 nonzeros Variable types: 0 continuous, 2686 integer (2686 binary) Root relaxation: objective 0.000000e+00, 257 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 (515 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:05:06 2012 Optimize a model with 5594 rows, 1670 columns and 17290 nonzeros Presolve time: 0.02s Presolved: 5594 rows, 1670 columns, 17290 nonzeros Variable types: 0 continuous, 1670 integer (1670 binary) Root relaxation: objective 0.000000e+00, 268 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 (1101 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:05:06 2012 Optimize a model with 2470 rows, 1162 columns and 7410 nonzeros Presolve time: 0.01s Presolved: 2470 rows, 1162 columns, 7410 nonzeros Variable types: 0 continuous, 1162 integer (1162 binary) Root relaxation: objective 0.000000e+00, 300 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 248 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4513 simplex iterations) in 0.55 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:05:07 2012 Optimize a model with 4032 rows, 1416 columns and 12350 nonzeros Presolve time: 0.01s Presolved: 4032 rows, 1416 columns, 12350 nonzeros Variable types: 0 continuous, 1416 integer (1416 binary) Root relaxation: objective 0.000000e+00, 266 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 252 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 205 - 0.00000 - - 1s 0 0 0.00000 0 190 - 0.00000 - - 1s 0 0 0.00000 0 188 - 0.00000 - - 2s 0 0 0.00000 0 185 - 0.00000 - - 2s 0 0 0.00000 0 186 - 0.00000 - - 2s 0 0 0.00000 0 168 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 2 0.00000 0 334 - 0.00000 - - 5s 1003 89 0.00000 26 200 - 0.00000 - 72.6 10s 1008 93 0.00000 31 269 - 0.00000 - 72.2 15s 1012 95 0.00000 26 290 - 0.00000 - 71.9 20s 1138 87 0.00000 34 238 - 0.00000 - 115 25s 1482 92 0.00000 39 212 - 0.00000 - 133 30s 1801 151 infeasible 37 - 0.00000 - 146 35s 2100 166 infeasible 36 - 0.00000 - 156 40s 2415 169 infeasible 36 - 0.00000 - 163 45s 2754 196 0.00000 31 267 - 0.00000 - 169 50s 3062 200 0.00000 38 263 - 0.00000 - 176 55s 3450 200 infeasible 34 - 0.00000 - 180 60s 3800 228 0.00000 40 236 - 0.00000 - 182 65s 4139 225 infeasible 40 - 0.00000 - 185 70s 4508 228 infeasible 35 - 0.00000 - 186 75s 4803 259 0.00000 35 259 - 0.00000 - 189 80s 5155 255 infeasible 35 - 0.00000 - 191 85s 5500 258 0.00000 39 257 - 0.00000 - 193 90s 5880 254 infeasible 37 - 0.00000 - 193 95s 6223 267 0.00000 34 259 - 0.00000 - 194 100s 6572 268 infeasible 35 - 0.00000 - 195 105s 6882 270 0.00000 37 275 - 0.00000 - 197 110s 7248 260 infeasible 34 - 0.00000 - 198 115s 7628 278 infeasible 38 - 0.00000 - 198 120s 8006 282 0.00000 37 266 - 0.00000 - 198 125s 8386 274 infeasible 32 - 0.00000 - 198 130s 8716 358 0.00000 39 256 - 0.00000 - 198 135s 9095 381 infeasible 38 - 0.00000 - 199 140s 9495 383 0.00000 37 273 - 0.00000 - 198 145s 9858 404 0.00000 35 231 - 0.00000 - 199 150s 10187 401 0.00000 40 216 - 0.00000 - 199 155s 10587 429 0.00000 38 223 - 0.00000 - 199 160s 10907 461 infeasible 42 - 0.00000 - 200 165s 11294 466 0.00000 29 289 - 0.00000 - 200 170s 11633 473 0.00000 37 199 - 0.00000 - 200 175s 11961 475 0.00000 36 274 - 0.00000 - 201 180s 12350 564 0.00000 36 264 - 0.00000 - 201 185s 12768 598 infeasible 43 - 0.00000 - 200 190s 13214 600 0.00000 43 216 - 0.00000 - 200 195s 13616 622 0.00000 36 280 - 0.00000 - 200 200s 14013 625 0.00000 40 178 - 0.00000 - 200 205s 14476 672 infeasible 36 - 0.00000 - 199 210s 14911 641 0.00000 33 267 - 0.00000 - 199 215s 15309 665 infeasible 33 - 0.00000 - 198 220s 15727 705 0.00000 41 229 - 0.00000 - 198 225s 16135 757 infeasible 38 - 0.00000 - 198 230s 16535 761 infeasible 41 - 0.00000 - 198 235s 16959 735 infeasible 37 - 0.00000 - 198 240s 17367 731 0.00000 33 194 - 0.00000 - 198 245s 17767 731 0.00000 28 286 - 0.00000 - 198 250s 18182 778 infeasible 42 - 0.00000 - 198 255s 18545 767 0.00000 41 268 - 0.00000 - 198 260s 18933 745 infeasible 36 - 0.00000 - 198 265s 19318 742 0.00000 39 208 - 0.00000 - 198 270s 19711 733 infeasible 35 - 0.00000 - 198 275s 20090 726 infeasible 34 - 0.00000 - 199 280s 20474 708 infeasible 36 - 0.00000 - 199 285s 20838 664 0.00000 33 291 - 0.00000 - 199 290s 21247 663 infeasible 41 - 0.00000 - 199 295s Cutting planes: Clique: 4 Zero half: 5 Explored 21372 nodes (4287403 simplex iterations) in 296.67 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:04 2012 Optimize a model with 4813 rows, 1543 columns and 14820 nonzeros Presolve time: 0.01s Presolved: 4813 rows, 1543 columns, 14820 nonzeros Variable types: 0 continuous, 1543 integer (1543 binary) Root relaxation: objective 0.000000e+00, 267 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 234 - 0.00000 - - 0s Explored 0 nodes (896 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7