current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:55 2012 Optimize a model with 70489 rows, 16721 columns and 226861 nonzeros Presolve time: 0.22s Presolved: 70489 rows, 16721 columns, 226861 nonzeros Variable types: 0 continuous, 16721 integer (16721 binary) Root relaxation: objective 0.000000e+00, 649 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 (1027 simplex iterations) in 0.38 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:57 2012 Optimize a model with 34939 rows, 8666 columns and 112156 nonzeros Presolve time: 0.15s Presolved: 34939 rows, 8666 columns, 112156 nonzeros Variable types: 0 continuous, 8666 integer (8666 binary) Root relaxation: objective 0.000000e+00, 530 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 (907 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:57 2012 Optimize a model with 17559 rows, 4728 columns and 56078 nonzeros Presolve time: 0.07s Presolved: 17559 rows, 4728 columns, 56078 nonzeros Variable types: 0 continuous, 4728 integer (4728 binary) Root relaxation: objective 0.000000e+00, 378 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 (704 simplex iterations) in 0.10 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:58 2012 Optimize a model with 8869 rows, 2759 columns and 28039 nonzeros Presolve time: 0.03s Presolved: 8869 rows, 2759 columns, 28039 nonzeros Variable types: 0 continuous, 2759 integer (2759 binary) Root relaxation: objective 0.000000e+00, 377 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 (726 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:58 2012 Optimize a model with 4129 rows, 1685 columns and 12745 nonzeros Presolve time: 0.01s Presolved: 4129 rows, 1685 columns, 12745 nonzeros Variable types: 0 continuous, 1685 integer (1685 binary) Root relaxation: objective 0.000000e+00, 391 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 142 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3174 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:58 2012 Optimize a model with 1759 rows, 1148 columns and 5098 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1580 rows, 969 columns, 4740 nonzeros Variable types: 0 continuous, 969 integer (969 binary) Root relaxation: objective 0.000000e+00, 190 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 179 - 0.00000 - - 0s Explored 0 nodes (793 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:58 2012 Optimize a model with 2549 rows, 1327 columns and 7647 nonzeros Presolve time: 0.01s Presolved: 2549 rows, 1327 columns, 7647 nonzeros Variable types: 0 continuous, 1327 integer (1327 binary) Root relaxation: objective 0.000000e+00, 390 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 350 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 469 - 0.00000 - - 0s 0 0 0.00000 0 498 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 384 Explored 0 nodes (7846 simplex iterations) in 1.01 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:24:59 2012 Optimize a model with 3339 rows, 1506 columns and 10196 nonzeros Presolve time: 0.01s Presolved: 3339 rows, 1506 columns, 10196 nonzeros Variable types: 0 continuous, 1506 integer (1506 binary) Root relaxation: objective 0.000000e+00, 405 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 348 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 477 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 3s 0 2 0.00000 0 412 - 0.00000 - - 3s 277 41 0.00000 17 316 - 0.00000 - 96.0 5s 617 58 0.00000 15 429 - 0.00000 - 89.4 11s 733 47 infeasible 31 - 0.00000 - 138 15s 1142 37 0.00000 31 340 - 0.00000 - 158 20s 1562 43 infeasible 29 - 0.00000 - 167 25s 2016 59 0.00000 26 310 - 0.00000 - 171 30s 2447 58 infeasible 25 - 0.00000 - 173 35s 2843 48 0.00000 28 278 - 0.00000 - 177 40s 3251 72 infeasible 25 - 0.00000 - 179 45s 3637 56 0.00000 32 332 - 0.00000 - 182 50s 4032 79 0.00000 26 400 - 0.00000 - 183 55s 4373 68 infeasible 27 - 0.00000 - 187 60s 4754 77 0.00000 34 318 - 0.00000 - 189 65s 5156 73 0.00000 29 324 - 0.00000 - 189 70s 5526 51 0.00000 27 300 - 0.00000 - 191 75s 5877 72 0.00000 29 284 - 0.00000 - 193 80s 6284 93 0.00000 24 296 - 0.00000 - 193 85s 6711 94 0.00000 23 280 - 0.00000 - 192 90s 7104 105 infeasible 28 - 0.00000 - 193 95s 7498 99 0.00000 25 300 - 0.00000 - 193 100s 7889 104 0.00000 28 298 - 0.00000 - 193 105s 8249 102 0.00000 26 298 - 0.00000 - 194 110s 8659 108 infeasible 26 - 0.00000 - 194 115s 9095 138 infeasible 30 - 0.00000 - 193 120s 9456 127 infeasible 24 - 0.00000 - 194 125s 9910 181 0.00000 28 306 - 0.00000 - 193 130s 10369 170 infeasible 29 - 0.00000 - 192 135s 10832 163 infeasible 33 - 0.00000 - 191 140s 11281 162 infeasible 32 - 0.00000 - 191 145s 11713 164 infeasible 30 - 0.00000 - 191 150s 12076 153 0.00000 25 318 - 0.00000 - 192 155s 12460 163 infeasible 34 - 0.00000 - 192 160s 12825 152 infeasible 26 - 0.00000 - 192 165s 13201 136 infeasible 28 - 0.00000 - 193 170s 13591 144 infeasible 28 - 0.00000 - 193 175s 13951 140 infeasible 26 - 0.00000 - 194 180s 14337 168 0.00000 30 274 - 0.00000 - 194 185s 14762 169 infeasible 26 - 0.00000 - 194 190s 15181 158 infeasible 26 - 0.00000 - 194 195s 15580 159 0.00000 23 312 - 0.00000 - 194 200s 15974 153 infeasible 27 - 0.00000 - 194 205s 16379 152 0.00000 31 262 - 0.00000 - 194 210s 16782 161 infeasible 30 - 0.00000 - 194 215s 17171 160 0.00000 31 256 - 0.00000 - 194 220s 17548 157 infeasible 31 - 0.00000 - 195 225s 17953 160 0.00000 35 298 - 0.00000 - 194 230s 18340 175 0.00000 27 315 - 0.00000 - 195 235s 18714 185 infeasible 29 - 0.00000 - 195 240s 19071 158 0.00000 30 320 - 0.00000 - 196 245s 19431 140 infeasible 22 - 0.00000 - 196 250s 19799 134 0.00000 28 317 - 0.00000 - 196 255s 20151 114 infeasible 24 - 0.00000 - 197 260s 20535 108 0.00000 33 387 - 0.00000 - 197 265s 20940 93 infeasible 33 - 0.00000 - 196 270s 21272 83 infeasible 27 - 0.00000 - 197 275s 21649 80 0.00000 29 339 - 0.00000 - 197 280s 22062 71 infeasible 31 - 0.00000 - 197 285s 22372 59 infeasible 32 - 0.00000 - 197 290s Cutting planes: Gomory: 2 Zero half: 13 Explored 22723 nodes (4514248 simplex iterations) in 294.72 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: 5