current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:01 2012 Optimize a model with 96825 rows, 20292 columns and 309190 nonzeros Presolve time: 0.32s Presolved: 96825 rows, 20292 columns, 309190 nonzeros Variable types: 0 continuous, 20292 integer (20292 binary) Root relaxation: objective 0.000000e+00, 828 iterations, 0.10 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 (1298 simplex iterations) in 0.57 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:02 2012 Optimize a model with 48511 rows, 10639 columns and 154595 nonzeros Presolve time: 0.16s Presolved: 48511 rows, 10639 columns, 154595 nonzeros Variable types: 0 continuous, 10639 integer (10639 binary) Root relaxation: objective 0.000000e+00, 642 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 (1100 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:03 2012 Optimize a model with 23861 rows, 5714 columns and 75720 nonzeros Presolve time: 0.10s Presolved: 23861 rows, 5714 columns, 75720 nonzeros Variable types: 0 continuous, 5714 integer (5714 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (842 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:04 2012 Optimize a model with 12029 rows, 3350 columns and 37860 nonzeros Presolve time: 0.04s Presolved: 12029 rows, 3350 columns, 37860 nonzeros Variable types: 0 continuous, 3350 integer (3350 binary) Root relaxation: objective 0.000000e+00, 425 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 (782 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:04 2012 Optimize a model with 6113 rows, 2168 columns and 18930 nonzeros Presolve time: 0.02s Presolved: 6113 rows, 2168 columns, 18930 nonzeros Variable types: 0 continuous, 2168 integer (2168 binary) Root relaxation: objective 0.000000e+00, 430 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 (1490 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:11:04 2012 Optimize a model with 3155 rows, 1577 columns and 9465 nonzeros Presolve time: 0.01s Presolved: 3155 rows, 1577 columns, 9465 nonzeros Variable types: 0 continuous, 1577 integer (1577 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 392 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5503 simplex iterations) in 0.64 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 08:11:05 2012 Optimize a model with 4141 rows, 1774 columns and 12620 nonzeros Presolve time: 0.01s Presolved: 4141 rows, 1774 columns, 12620 nonzeros Variable types: 0 continuous, 1774 integer (1774 binary) Root relaxation: objective 0.000000e+00, 472 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 374 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 355 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 330 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 7s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 2 0.00000 0 363 - 0.00000 - - 9s 50 22 0.00000 6 409 - 0.00000 - 208 10s 640 57 infeasible 12 - 0.00000 - 138 15s 706 76 0.00000 7 360 - 0.00000 - 138 21s 709 78 0.00000 7 332 - 0.00000 - 137 26s 712 80 0.00000 10 314 - 0.00000 - 137 31s 714 82 0.00000 8 457 - 0.00000 - 136 36s 717 84 0.00000 9 439 - 0.00000 - 136 41s 719 85 0.00000 7 428 - 0.00000 - 135 45s 722 87 0.00000 17 434 - 0.00000 - 135 51s 726 90 0.00000 10 435 - 0.00000 - 134 55s 957 44 infeasible 27 - 0.00000 - 255 60s 1241 25 infeasible 24 - 0.00000 - 251 65s 1478 30 infeasible 24 - 0.00000 - 253 70s 1710 38 infeasible 32 - 0.00000 - 254 75s 1944 56 infeasible 29 - 0.00000 - 255 80s 2180 58 0.00000 23 326 - 0.00000 - 254 85s 2436 104 infeasible 28 - 0.00000 - 253 90s 2707 83 infeasible 26 - 0.00000 - 252 95s 2948 76 infeasible 27 - 0.00000 - 253 100s 3167 65 infeasible 31 - 0.00000 - 255 105s 3418 54 infeasible 26 - 0.00000 - 254 110s 3661 83 0.00000 28 354 - 0.00000 - 254 115s 3919 73 0.00000 26 340 - 0.00000 - 253 120s 4186 76 infeasible 25 - 0.00000 - 252 125s 4418 86 infeasible 27 - 0.00000 - 253 130s 4628 70 infeasible 27 - 0.00000 - 255 135s 4843 53 0.00000 26 372 - 0.00000 - 255 140s 5063 43 infeasible 31 - 0.00000 - 256 145s 5282 28 0.00000 26 423 - 0.00000 - 256 150s 5506 26 0.00000 28 354 - 0.00000 - 257 155s 5698 16 infeasible 28 - 0.00000 - 258 160s 5898 10 infeasible 26 - 0.00000 - 259 165s Cutting planes: Zero half: 23 Explored 5933 nodes (1602873 simplex iterations) in 166.32 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 08:13:51 2012 Optimize a model with 5127 rows, 1971 columns and 15775 nonzeros Presolve time: 0.01s Presolved: 5127 rows, 1971 columns, 15775 nonzeros Variable types: 0 continuous, 1971 integer (1971 binary) Root relaxation: objective 0.000000e+00, 422 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 370 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 150 MIR: 5 Zero half: 436 Explored 0 nodes (3267 simplex iterations) in 0.24 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