current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:36:48 2012 Optimize a model with 55185 rows, 9297 columns and 173615 nonzeros Presolve time: 0.17s Presolved: 55185 rows, 9297 columns, 173615 nonzeros Variable types: 0 continuous, 9297 integer (9297 binary) Root relaxation: objective 0.000000e+00, 336 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 (614 simplex iterations) in 0.31 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:36:49 2012 Optimize a model with 27234 rows, 5007 columns and 85472 nonzeros Presolve time: 0.12s Presolved: 27234 rows, 5007 columns, 85472 nonzeros Variable types: 0 continuous, 5007 integer (5007 binary) Root relaxation: objective 0.000000e+00, 316 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 (852 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:36:50 2012 Optimize a model with 13682 rows, 2927 columns and 42736 nonzeros Presolve time: 0.05s Presolved: 13682 rows, 2927 columns, 42736 nonzeros Variable types: 0 continuous, 2927 integer (2927 binary) Root relaxation: objective 0.000000e+00, 260 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 (530 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:36:50 2012 Optimize a model with 6906 rows, 1887 columns and 21368 nonzeros Presolve time: 0.02s Presolved: 6906 rows, 1887 columns, 21368 nonzeros Variable types: 0 continuous, 1887 integer (1887 binary) Root relaxation: objective 0.000000e+00, 273 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 (1007 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:36:50 2012 Optimize a model with 3518 rows, 1367 columns and 10684 nonzeros Presolve time: 0.01s Presolved: 3518 rows, 1367 columns, 10684 nonzeros Variable types: 0 continuous, 1367 integer (1367 binary) Root relaxation: objective 0.000000e+00, 281 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 176 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 387 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 4s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 393 - 0.00000 - - 5s 0 0 0.00000 0 396 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 2 0.00000 0 391 - 0.00000 - - 9s 18 2 infeasible 5 - 0.00000 - 442 10s Cutting planes: Clique: 23 Zero half: 27 Explored 23 nodes (49260 simplex iterations) in 10.16 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:37:00 2012 Optimize a model with 5212 rows, 1627 columns and 16026 nonzeros Presolve time: 0.01s Presolved: 5212 rows, 1627 columns, 16026 nonzeros Variable types: 0 continuous, 1627 integer (1627 binary) Root relaxation: objective 0.000000e+00, 271 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 232 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 271 MIR: 6 Zero half: 353 Explored 0 nodes (3859 simplex iterations) in 0.33 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:37:01 2012 Optimize a model with 4365 rows, 1497 columns and 13355 nonzeros Presolve time: 0.01s Presolved: 4365 rows, 1497 columns, 13355 nonzeros Variable types: 0 continuous, 1497 integer (1497 binary) Root relaxation: objective 0.000000e+00, 270 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 258 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 1s 0 0 0.00000 0 321 - 0.00000 - - 1s 0 0 0.00000 0 245 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 158 - 0.00000 - - 3s 0 0 0.00000 0 235 - 0.00000 - - 3s 0 0 0.00000 0 209 - 0.00000 - - 3s 0 0 0.00000 0 201 - 0.00000 - - 4s 0 0 0.00000 0 217 - 0.00000 - - 4s 0 0 0.00000 0 197 - 0.00000 - - 5s 0 0 0.00000 0 209 - 0.00000 - - 5s 0 0 0.00000 0 208 - 0.00000 - - 6s 0 2 0.00000 0 174 - 0.00000 - - 6s 366 79 0.00000 14 228 - 0.00000 - 105 10s 1007 98 0.00000 11 239 - 0.00000 - 100 15s 1012 102 0.00000 13 226 - 0.00000 - 99.4 20s 1017 105 0.00000 9 325 - 0.00000 - 98.9 25s 1077 127 0.00000 32 286 - 0.00000 - 136 30s 1324 121 infeasible 37 - 0.00000 - 151 35s 1606 144 infeasible 38 - 0.00000 - 163 40s 1822 150 0.00000 21 299 - 0.00000 - 176 45s 2100 194 infeasible 33 - 0.00000 - 182 50s 2387 225 infeasible 36 - 0.00000 - 186 55s 2628 244 0.00000 33 283 - 0.00000 - 192 60s 2873 251 infeasible 34 - 0.00000 - 196 65s 3131 269 0.00000 33 282 - 0.00000 - 199 70s 3387 277 infeasible 32 - 0.00000 - 203 75s 3645 293 infeasible 40 - 0.00000 - 205 80s 3917 305 infeasible 33 - 0.00000 - 208 85s 4162 304 0.00000 32 284 - 0.00000 - 211 90s 4437 315 0.00000 29 296 - 0.00000 - 212 95s 4678 320 0.00000 29 287 - 0.00000 - 215 100s 4972 338 0.00000 31 281 - 0.00000 - 216 105s 5252 392 0.00000 32 285 - 0.00000 - 216 110s 5502 406 infeasible 32 - 0.00000 - 218 115s 5775 427 infeasible 32 - 0.00000 - 219 120s 6046 450 0.00000 30 284 - 0.00000 - 219 125s 6318 468 0.00000 37 268 - 0.00000 - 220 130s 6565 479 infeasible 32 - 0.00000 - 221 135s 6843 509 infeasible 28 - 0.00000 - 222 140s 7096 516 0.00000 30 271 - 0.00000 - 223 145s 7378 538 infeasible 34 - 0.00000 - 223 150s 7653 541 infeasible 32 - 0.00000 - 225 155s 7934 544 infeasible 35 - 0.00000 - 225 160s 8160 522 infeasible 30 - 0.00000 - 227 165s 8418 520 infeasible 31 - 0.00000 - 227 170s 8677 521 0.00000 34 230 - 0.00000 - 228 175s 8987 519 0.00000 29 294 - 0.00000 - 228 180s 9258 514 infeasible 30 - 0.00000 - 229 185s 9561 521 0.00000 29 222 - 0.00000 - 229 190s 9833 503 infeasible 31 - 0.00000 - 229 195s 10092 512 0.00000 33 284 - 0.00000 - 229 200s 10375 525 infeasible 35 - 0.00000 - 229 205s 10633 529 infeasible 37 - 0.00000 - 230 210s 10906 540 infeasible 34 - 0.00000 - 230 215s 11139 537 0.00000 33 214 - 0.00000 - 231 220s 11392 542 0.00000 32 285 - 0.00000 - 231 225s 11613 547 0.00000 37 300 - 0.00000 - 232 230s 11869 529 infeasible 29 - 0.00000 - 233 235s 12114 528 0.00000 38 214 - 0.00000 - 233 240s 12388 528 infeasible 37 - 0.00000 - 233 245s 12628 514 infeasible 32 - 0.00000 - 234 250s 12855 509 0.00000 31 312 - 0.00000 - 235 255s 13108 520 0.00000 34 282 - 0.00000 - 235 260s 13435 519 infeasible 31 - 0.00000 - 235 265s 13731 523 infeasible 34 - 0.00000 - 234 270s 14010 528 0.00000 28 264 - 0.00000 - 234 275s 14242 518 infeasible 32 - 0.00000 - 235 280s 14483 525 infeasible 36 - 0.00000 - 235 285s Cutting planes: Gomory: 1 Clique: 3 Zero half: 5 Explored 14545 nodes (3470590 simplex iterations) in 286.25 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: 6