current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:30:35 2012 Optimize a model with 77533 rows, 17503 columns and 248703 nonzeros Presolve time: 0.24s Presolved: 77533 rows, 17503 columns, 248703 nonzeros Variable types: 0 continuous, 17503 integer (17503 binary) Root relaxation: objective 0.000000e+00, 733 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 (1177 simplex iterations) in 0.44 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:30:36 2012 Optimize a model with 38433 rows, 9085 columns and 122985 nonzeros Presolve time: 0.15s Presolved: 38433 rows, 9085 columns, 122985 nonzeros Variable types: 0 continuous, 9085 integer (9085 binary) Root relaxation: objective 0.000000e+00, 586 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 (1002 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% current bounds on the number of colors: 0 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:30:37 2012 Optimize a model with 18883 rows, 4876 columns and 60126 nonzeros Presolve time: 0.07s Presolved: 18883 rows, 4876 columns, 60126 nonzeros Variable types: 0 continuous, 4876 integer (4876 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (710 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% current bounds on the number of colors: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:30:37 2012 Optimize a model with 9533 rows, 2863 columns and 30063 nonzeros Presolve time: 0.03s Presolved: 9533 rows, 2863 columns, 30063 nonzeros Variable types: 0 continuous, 2863 integer (2863 binary) Root relaxation: objective 0.000000e+00, 381 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 (725 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 02:30:37 2012 Optimize a model with 4433 rows, 1765 columns and 13665 nonzeros Presolve time: 0.01s Presolved: 4433 rows, 1765 columns, 13665 nonzeros Variable types: 0 continuous, 1765 integer (1765 binary) Root relaxation: objective 0.000000e+00, 403 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 124 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4231 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:30:38 2012 Optimize a model with 1883 rows, 1216 columns and 5466 nonzeros Presolve removed 183 rows and 183 columns Presolve time: 0.00s Presolved: 1700 rows, 1033 columns, 5100 nonzeros Variable types: 0 continuous, 1033 integer (1033 binary) Root relaxation: objective 0.000000e+00, 194 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 183 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (805 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 02:30:38 2012 Optimize a model with 2733 rows, 1399 columns and 8199 nonzeros Presolve time: 0.01s Presolved: 2733 rows, 1399 columns, 8199 nonzeros Variable types: 0 continuous, 1399 integer (1399 binary) Root relaxation: objective 0.000000e+00, 419 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 364 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4432 simplex iterations) in 0.56 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 02:30:38 2012 Optimize a model with 3583 rows, 1582 columns and 10932 nonzeros Presolve time: 0.01s Presolved: 3583 rows, 1582 columns, 10932 nonzeros Variable types: 0 continuous, 1582 integer (1582 binary) Root relaxation: objective 0.000000e+00, 420 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 356 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 299 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 4s 0 0 0.00000 0 278 - 0.00000 - - 4s 0 0 0.00000 0 280 - 0.00000 - - 4s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 2 0.00000 0 280 - 0.00000 - - 5s 604 102 0.00000 18 435 - 0.00000 - 110 10s 608 105 0.00000 9 459 - 0.00000 - 110 17s 610 106 0.00000 10 435 - 0.00000 - 109 21s 613 108 0.00000 21 431 - 0.00000 - 109 26s 701 101 infeasible 32 - 0.00000 - 184 30s 1022 22 0.00000 31 316 - 0.00000 - 197 35s 1352 34 infeasible 35 - 0.00000 - 202 40s 1664 52 infeasible 30 - 0.00000 - 206 45s 2005 79 0.00000 32 314 - 0.00000 - 206 50s 2342 58 infeasible 31 - 0.00000 - 207 55s 2645 47 0.00000 28 365 - 0.00000 - 210 60s 2947 83 0.00000 31 328 - 0.00000 - 212 65s 3281 145 0.00000 39 292 - 0.00000 - 212 70s 3600 170 infeasible 34 - 0.00000 - 214 75s 3897 163 0.00000 33 318 - 0.00000 - 216 80s 4221 167 0.00000 30 381 - 0.00000 - 217 85s 4501 171 0.00000 30 367 - 0.00000 - 219 90s 4796 134 infeasible 32 - 0.00000 - 221 95s 5080 120 infeasible 29 - 0.00000 - 223 100s 5382 132 infeasible 38 - 0.00000 - 223 105s 5698 158 infeasible 30 - 0.00000 - 224 110s 6019 169 infeasible 31 - 0.00000 - 224 115s 6335 171 infeasible 30 - 0.00000 - 225 120s 6656 162 infeasible 26 - 0.00000 - 225 125s 7015 175 infeasible 31 - 0.00000 - 224 130s 7337 157 0.00000 32 330 - 0.00000 - 224 135s 7727 161 infeasible 31 - 0.00000 - 223 140s 8072 172 0.00000 32 302 - 0.00000 - 223 145s 8420 154 infeasible 31 - 0.00000 - 223 150s 8754 176 infeasible 34 - 0.00000 - 222 155s 9060 176 infeasible 32 - 0.00000 - 223 160s 9387 185 infeasible 31 - 0.00000 - 223 165s 9695 175 infeasible 33 - 0.00000 - 224 170s 10009 177 infeasible 31 - 0.00000 - 224 175s 10358 182 0.00000 27 341 - 0.00000 - 223 180s 10638 174 0.00000 31 324 - 0.00000 - 224 185s 10950 156 0.00000 33 324 - 0.00000 - 224 190s 11268 148 0.00000 28 402 - 0.00000 - 224 195s 11559 151 0.00000 26 367 - 0.00000 - 225 200s 11916 146 infeasible 37 - 0.00000 - 225 205s 12273 149 infeasible 34 - 0.00000 - 224 210s 12634 144 infeasible 29 - 0.00000 - 224 215s 12949 141 infeasible 29 - 0.00000 - 224 220s 13286 138 infeasible 35 - 0.00000 - 224 225s 13629 131 infeasible 31 - 0.00000 - 223 230s 13914 118 infeasible 36 - 0.00000 - 224 235s 14230 134 0.00000 33 348 - 0.00000 - 224 240s 14557 143 infeasible 34 - 0.00000 - 224 245s 14858 130 infeasible 33 - 0.00000 - 224 250s 15155 129 infeasible 31 - 0.00000 - 224 255s 15457 147 0.00000 28 312 - 0.00000 - 224 260s 15794 136 infeasible 36 - 0.00000 - 224 265s 16081 119 infeasible 32 - 0.00000 - 224 270s 16398 132 0.00000 33 343 - 0.00000 - 224 275s 16736 108 infeasible 34 - 0.00000 - 224 280s 17063 105 0.00000 31 314 - 0.00000 - 224 285s 17401 109 infeasible 32 - 0.00000 - 224 290s Cutting planes: Gomory: 1 Zero half: 28 Explored 17706 nodes (4009860 simplex iterations) in 294.62 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