current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:27:04 2012 Optimize a model with 94570 rows, 20171 columns and 302330 nonzeros Presolve time: 0.31s Presolved: 94570 rows, 20171 columns, 302330 nonzeros Variable types: 0 continuous, 20171 integer (20171 binary) Root relaxation: objective 0.000000e+00, 770 iterations, 0.08 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 (1365 simplex iterations) in 0.59 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 07:27:06 2012 Optimize a model with 47383 rows, 10567 columns and 151165 nonzeros Presolve time: 0.16s Presolved: 47383 rows, 10567 columns, 151165 nonzeros Variable types: 0 continuous, 10567 integer (10567 binary) Root relaxation: objective 0.000000e+00, 695 iterations, 0.05 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 (1194 simplex iterations) in 0.30 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 07:27:07 2012 Optimize a model with 23308 rows, 5667 columns and 74040 nonzeros Presolve time: 0.09s Presolved: 23308 rows, 5667 columns, 74040 nonzeros Variable types: 0 continuous, 5667 integer (5667 binary) Root relaxation: objective 0.000000e+00, 432 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 (828 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 07:27:07 2012 Optimize a model with 11752 rows, 3315 columns and 37020 nonzeros Presolve time: 0.04s Presolved: 11752 rows, 3315 columns, 37020 nonzeros Variable types: 0 continuous, 3315 integer (3315 binary) Root relaxation: objective 0.000000e+00, 410 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 (774 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 07:27:08 2012 Optimize a model with 5974 rows, 2139 columns and 18510 nonzeros Presolve time: 0.02s Presolved: 5974 rows, 2139 columns, 18510 nonzeros Variable types: 0 continuous, 2139 integer (2139 binary) Root relaxation: objective 0.000000e+00, 411 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 (1966 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:27:08 2012 Optimize a model with 3085 rows, 1551 columns and 9255 nonzeros Presolve time: 0.01s Presolved: 3085 rows, 1551 columns, 9255 nonzeros Variable types: 0 continuous, 1551 integer (1551 binary) Root relaxation: objective 0.000000e+00, 460 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 338 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 521 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 46 Clique: 1 Zero half: 1173 Explored 0 nodes (9414 simplex iterations) in 1.25 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 07:27:09 2012 Optimize a model with 4048 rows, 1747 columns and 12340 nonzeros Presolve time: 0.01s Presolved: 4048 rows, 1747 columns, 12340 nonzeros Variable types: 0 continuous, 1747 integer (1747 binary) Root relaxation: objective 0.000000e+00, 453 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 386 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 3s 0 0 0.00000 0 306 - 0.00000 - - 4s 0 0 0.00000 0 313 - 0.00000 - - 5s 0 0 0.00000 0 298 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 6s 0 0 0.00000 0 310 - 0.00000 - - 6s 0 2 0.00000 0 308 - 0.00000 - - 7s 308 63 0.00000 15 356 - 0.00000 - 128 10s 611 102 0.00000 18 336 - 0.00000 - 126 16s 614 104 0.00000 19 312 - 0.00000 - 126 20s 617 106 0.00000 11 302 - 0.00000 - 125 25s 620 108 0.00000 9 296 - 0.00000 - 124 31s 759 120 infeasible 38 - 0.00000 - 222 35s 1068 84 infeasible 33 - 0.00000 - 222 40s 1379 97 infeasible 31 - 0.00000 - 223 45s 1705 97 infeasible 31 - 0.00000 - 224 50s 2047 95 infeasible 31 - 0.00000 - 221 55s 2357 71 infeasible 35 - 0.00000 - 223 60s 2657 73 0.00000 23 361 - 0.00000 - 224 65s 2974 72 infeasible 39 - 0.00000 - 224 70s 3303 71 infeasible 34 - 0.00000 - 223 75s 3626 74 infeasible 35 - 0.00000 - 223 80s 3962 92 infeasible 28 - 0.00000 - 221 85s 4231 87 infeasible 28 - 0.00000 - 223 90s 4536 92 infeasible 25 - 0.00000 - 224 95s 4862 94 infeasible 32 - 0.00000 - 223 100s 5144 74 infeasible 33 - 0.00000 - 225 105s 5451 69 infeasible 33 - 0.00000 - 225 110s 5716 46 infeasible 26 - 0.00000 - 226 115s 5995 49 infeasible 33 - 0.00000 - 227 120s 6297 61 0.00000 30 364 - 0.00000 - 226 125s 6593 59 infeasible 31 - 0.00000 - 227 130s 6901 59 infeasible 28 - 0.00000 - 227 135s 7172 66 infeasible 32 - 0.00000 - 227 140s 7441 57 infeasible 28 - 0.00000 - 228 145s 7699 51 infeasible 32 - 0.00000 - 229 150s 7984 48 0.00000 31 352 - 0.00000 - 229 155s 8301 43 infeasible 39 - 0.00000 - 229 160s 8612 40 infeasible 36 - 0.00000 - 229 165s 8891 41 infeasible 32 - 0.00000 - 229 170s 9208 32 infeasible 32 - 0.00000 - 229 175s 9488 42 infeasible 37 - 0.00000 - 229 180s 9725 41 infeasible 41 - 0.00000 - 230 185s 9970 34 infeasible 36 - 0.00000 - 231 190s 10236 30 infeasible 35 - 0.00000 - 231 195s 10529 21 infeasible 35 - 0.00000 - 231 200s 10771 21 0.00000 33 342 - 0.00000 - 231 205s 11043 13 infeasible 34 - 0.00000 - 232 210s Cutting planes: Gomory: 1 Zero half: 14 Explored 11269 nodes (2665756 simplex iterations) in 214.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 07:30:44 2012 Optimize a model with 5011 rows, 1943 columns and 15425 nonzeros Presolve time: 0.01s Presolved: 5011 rows, 1943 columns, 15425 nonzeros Variable types: 0 continuous, 1943 integer (1943 binary) Root relaxation: objective 0.000000e+00, 440 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 360 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2096 simplex iterations) in 0.11 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