current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:57:59 2012 Optimize a model with 64071 rows, 15621 columns and 206572 nonzeros Presolve time: 0.20s Presolved: 64071 rows, 15621 columns, 206572 nonzeros Variable types: 0 continuous, 15621 integer (15621 binary) Root relaxation: objective 0.000000e+00, 667 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 (1069 simplex iterations) in 0.36 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:58:01 2012 Optimize a model with 32122 rows, 8182 columns and 103286 nonzeros Presolve time: 0.15s Presolved: 32122 rows, 8182 columns, 103286 nonzeros Variable types: 0 continuous, 8182 integer (8182 binary) Root relaxation: objective 0.000000e+00, 467 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 (825 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:58:01 2012 Optimize a model with 15776 rows, 4376 columns and 50442 nonzeros Presolve time: 0.06s Presolved: 15776 rows, 4376 columns, 50442 nonzeros Variable types: 0 continuous, 4376 integer (4376 binary) Root relaxation: objective 0.000000e+00, 357 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 (691 simplex iterations) in 0.09 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:58:01 2012 Optimize a model with 7603 rows, 2473 columns and 24020 nonzeros Presolve time: 0.02s Presolved: 7603 rows, 2473 columns, 24020 nonzeros Variable types: 0 continuous, 2473 integer (2473 binary) Root relaxation: objective 0.000000e+00, 356 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 (652 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:58:02 2012 Optimize a model with 3888 rows, 1608 columns and 12010 nonzeros Presolve time: 0.01s Presolved: 3888 rows, 1608 columns, 12010 nonzeros Variable types: 0 continuous, 1608 integer (1608 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 (1870 simplex iterations) in 0.09 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 Fri Dec 14 21:58:02 2012 Optimize a model with 1659 rows, 1089 columns and 4804 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1486 rows, 916 columns, 4458 nonzeros Variable types: 0 continuous, 916 integer (916 binary) Root relaxation: objective 0.000000e+00, 185 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 173 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (723 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 Fri Dec 14 21:58:02 2012 Optimize a model with 2402 rows, 1262 columns and 7206 nonzeros Presolve time: 0.01s Presolved: 2402 rows, 1262 columns, 7206 nonzeros Variable types: 0 continuous, 1262 integer (1262 binary) Root relaxation: objective 0.000000e+00, 415 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 334 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 481 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 402 Explored 0 nodes (7815 simplex iterations) in 1.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:58:03 2012 Optimize a model with 3145 rows, 1435 columns and 9608 nonzeros Presolve time: 0.01s Presolved: 3145 rows, 1435 columns, 9608 nonzeros Variable types: 0 continuous, 1435 integer (1435 binary) Root relaxation: objective 0.000000e+00, 407 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 330 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 319 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 2 0.00000 0 410 - 0.00000 - - 2s 612 122 0.00000 24 242 - 0.00000 - 93.6 5s 1108 125 0.00000 12 373 - 0.00000 - 85.5 10s 1112 127 0.00000 17 323 - 0.00000 - 85.2 15s 1279 143 0.00000 31 380 - 0.00000 - 123 20s 1812 183 infeasible 32 - 0.00000 - 136 25s 2287 196 infeasible 32 - 0.00000 - 147 30s 2819 242 infeasible 34 - 0.00000 - 151 35s 3306 263 0.00000 36 292 - 0.00000 - 155 40s 3819 272 infeasible 37 - 0.00000 - 158 45s 4310 251 0.00000 31 304 - 0.00000 - 160 50s 4806 235 0.00000 32 298 - 0.00000 - 162 55s 5295 250 0.00000 32 306 - 0.00000 - 164 60s 5799 264 infeasible 36 - 0.00000 - 165 65s 6293 284 infeasible 35 - 0.00000 - 166 70s 6809 266 infeasible 34 - 0.00000 - 167 75s 7306 281 0.00000 30 302 - 0.00000 - 167 80s 7797 260 0.00000 31 294 - 0.00000 - 168 85s 8312 273 infeasible 39 - 0.00000 - 169 90s 8797 262 0.00000 38 332 - 0.00000 - 169 95s 9331 252 infeasible 37 - 0.00000 - 170 100s 9816 247 0.00000 33 294 - 0.00000 - 170 105s 10304 241 0.00000 34 284 - 0.00000 - 171 110s 10763 182 infeasible 34 - 0.00000 - 172 115s 11255 154 infeasible 32 - 0.00000 - 172 120s 11740 153 0.00000 34 308 - 0.00000 - 173 125s 12228 117 0.00000 28 292 - 0.00000 - 173 130s 12761 120 0.00000 32 260 - 0.00000 - 173 135s 13232 101 0.00000 30 288 - 0.00000 - 173 140s 13703 138 0.00000 37 296 - 0.00000 - 174 145s 14205 162 0.00000 37 289 - 0.00000 - 174 150s 14705 222 0.00000 33 270 - 0.00000 - 174 155s 15229 224 0.00000 33 290 - 0.00000 - 174 160s 15737 214 infeasible 32 - 0.00000 - 174 165s 16251 184 infeasible 33 - 0.00000 - 174 170s 16761 166 infeasible 35 - 0.00000 - 174 175s 17240 145 infeasible 34 - 0.00000 - 175 180s 17712 163 infeasible 36 - 0.00000 - 175 185s 18208 151 infeasible 31 - 0.00000 - 175 190s 18726 153 0.00000 30 300 - 0.00000 - 175 195s 19193 162 0.00000 30 298 - 0.00000 - 175 200s 19644 143 0.00000 32 296 - 0.00000 - 176 205s 20119 118 infeasible 29 - 0.00000 - 176 210s 20587 86 0.00000 25 362 - 0.00000 - 176 215s 21027 82 0.00000 31 291 - 0.00000 - 176 220s 21559 164 infeasible 34 - 0.00000 - 176 225s 22056 211 0.00000 26 298 - 0.00000 - 176 230s 22606 253 infeasible 35 - 0.00000 - 176 235s 23108 245 0.00000 36 296 - 0.00000 - 176 240s 23652 249 0.00000 35 328 - 0.00000 - 176 245s 24126 249 infeasible 30 - 0.00000 - 176 250s 24647 252 0.00000 30 358 - 0.00000 - 176 255s 25134 217 0.00000 36 290 - 0.00000 - 176 260s 25627 206 infeasible 34 - 0.00000 - 176 265s 26142 241 infeasible 34 - 0.00000 - 176 270s 26579 202 infeasible 31 - 0.00000 - 177 275s 27060 199 infeasible 35 - 0.00000 - 177 280s 27597 200 0.00000 34 340 - 0.00000 - 177 285s 28089 168 infeasible 32 - 0.00000 - 177 290s 28566 183 0.00000 30 276 - 0.00000 - 177 295s Cutting planes: Gomory: 1 Clique: 1 Zero half: 27 Explored 28580 nodes (5067341 simplex iterations) in 295.15 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