current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:37 2012 Optimize a model with 122219 rows, 23729 columns and 388596 nonzeros Presolve time: 0.41s Presolved: 122219 rows, 23729 columns, 388596 nonzeros Variable types: 0 continuous, 23729 integer (23729 binary) Root relaxation: objective 0.000000e+00, 583 iterations, 0.16 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 (1039 simplex iterations) in 0.75 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:39 2012 Optimize a model with 61216 rows, 12440 columns and 194298 nonzeros Presolve time: 0.17s Presolved: 61216 rows, 12440 columns, 194298 nonzeros Variable types: 0 continuous, 12440 integer (12440 binary) Root relaxation: objective 0.000000e+00, 812 iterations, 0.07 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 (1334 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: 0 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:40 2012 Optimize a model with 30139 rows, 6689 columns and 95316 nonzeros Presolve time: 0.13s Presolved: 30139 rows, 6689 columns, 95316 nonzeros Variable types: 0 continuous, 6689 integer (6689 binary) Root relaxation: objective 0.000000e+00, 493 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 (898 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:41 2012 Optimize a model with 15176 rows, 3920 columns and 47658 nonzeros Presolve time: 0.05s Presolved: 15176 rows, 3920 columns, 47658 nonzeros Variable types: 0 continuous, 3920 integer (3920 binary) Root relaxation: objective 0.000000e+00, 435 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 (845 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:41 2012 Optimize a model with 7119 rows, 2429 columns and 21996 nonzeros Presolve time: 0.02s Presolved: 7119 rows, 2429 columns, 21996 nonzeros Variable types: 0 continuous, 2429 integer (2429 binary) Root relaxation: objective 0.000000e+00, 474 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 (3125 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:41 2012 Optimize a model with 3666 rows, 1790 columns and 10998 nonzeros Presolve time: 0.01s Presolved: 3666 rows, 1790 columns, 10998 nonzeros Variable types: 0 continuous, 1790 integer (1790 binary) Root relaxation: objective 0.000000e+00, 475 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 340 - 0.00000 - - 0s 0 0 0.00000 0 515 - 0.00000 - - 1s 0 0 0.00000 0 603 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Gomory: 43 Zero half: 1446 Explored 0 nodes (11577 simplex iterations) in 2.13 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:43 2012 Optimize a model with 4817 rows, 2003 columns and 14664 nonzeros Presolve time: 0.01s Presolved: 4817 rows, 2003 columns, 14664 nonzeros Variable types: 0 continuous, 2003 integer (2003 binary) Root relaxation: objective 0.000000e+00, 461 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 410 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 610 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 408 - 0.00000 - - 4s 0 0 0.00000 0 408 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 6s 0 0 0.00000 0 426 - 0.00000 - - 6s 0 0 0.00000 0 401 - 0.00000 - - 8s 0 0 0.00000 0 394 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 2 0.00000 0 400 - 0.00000 - - 12s 93 29 0.00000 19 484 - 0.00000 - 284 15s 325 65 0.00000 14 507 - 0.00000 - 216 20s 527 144 infeasible 37 - 0.00000 - 214 25s 605 150 0.00000 17 408 - 0.00000 - 210 33s 606 150 0.00000 5 404 - 0.00000 - 210 35s 609 152 0.00000 26 384 - 0.00000 - 209 43s 610 153 0.00000 15 374 - 0.00000 - 208 45s 612 154 0.00000 23 379 - 0.00000 - 208 52s 613 155 0.00000 26 504 - 0.00000 - 207 56s 614 156 0.00000 4 379 - 0.00000 - 207 62s 615 156 0.00000 18 488 - 0.00000 - 207 65s 660 164 infeasible 23 - 0.00000 - 363 70s 765 144 0.00000 23 382 - 0.00000 - 367 75s 877 99 infeasible 25 - 0.00000 - 367 80s 984 60 infeasible 28 - 0.00000 - 368 85s 1088 28 0.00000 29 424 - 0.00000 - 371 90s 1210 27 0.00000 25 417 - 0.00000 - 370 95s 1303 22 infeasible 27 - 0.00000 - 376 100s 1398 17 infeasible 24 - 0.00000 - 378 105s 1491 16 0.00000 28 390 - 0.00000 - 381 110s 1574 13 infeasible 22 - 0.00000 - 386 115s 1670 13 0.00000 23 517 - 0.00000 - 386 120s 1780 19 0.00000 29 522 - 0.00000 - 386 125s 1878 21 infeasible 27 - 0.00000 - 387 130s 1999 28 infeasible 30 - 0.00000 - 385 135s 2105 22 0.00000 25 444 - 0.00000 - 386 140s 2197 20 0.00000 24 519 - 0.00000 - 389 145s 2294 27 0.00000 31 504 - 0.00000 - 390 150s 2385 20 infeasible 29 - 0.00000 - 392 155s 2486 25 0.00000 27 396 - 0.00000 - 392 160s 2588 21 infeasible 29 - 0.00000 - 393 165s 2683 16 0.00000 20 523 - 0.00000 - 394 170s 2780 11 infeasible 27 - 0.00000 - 395 175s 2885 2 infeasible 29 - 0.00000 - 395 180s Cutting planes: Gomory: 1 Clique: 1 Zero half: 21 Explored 2892 nodes (1207495 simplex iterations) in 180.23 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:44:44 2012 Optimize a model with 5968 rows, 2216 columns and 18330 nonzeros Presolve time: 0.02s Presolved: 5968 rows, 2216 columns, 18330 nonzeros Variable types: 0 continuous, 2216 integer (2216 binary) Root relaxation: objective 0.000000e+00, 464 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 394 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 2 0.00000 0 318 - 0.00000 - - 5s * 104 0 56 0.0000000 0.00000 0.0% 102 6s Cutting planes: Zero half: 36 Explored 105 nodes (51893 simplex iterations) in 6.83 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% optimal solution found: number of colors: 5