current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:14:57 2012 Optimize a model with 62629 rows, 10235 columns and 196792 nonzeros Presolve time: 0.18s Presolved: 62629 rows, 10235 columns, 196792 nonzeros Variable types: 0 continuous, 10235 integer (10235 binary) Root relaxation: objective 0.000000e+00, 329 iterations, 0.07 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 (629 simplex iterations) in 0.34 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:14:58 2012 Optimize a model with 31383 rows, 5577 columns and 98396 nonzeros Presolve time: 0.14s Presolved: 31383 rows, 5577 columns, 98396 nonzeros Variable types: 0 continuous, 5577 integer (5577 binary) Root relaxation: objective 0.000000e+00, 329 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 (692 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:14:58 2012 Optimize a model with 15760 rows, 3248 columns and 49198 nonzeros Presolve time: 0.05s Presolved: 15760 rows, 3248 columns, 49198 nonzeros Variable types: 0 continuous, 3248 integer (3248 binary) Root relaxation: objective 0.000000e+00, 277 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 (581 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:14:59 2012 Optimize a model with 7489 rows, 2015 columns and 23152 nonzeros Presolve time: 0.02s Presolved: 7489 rows, 2015 columns, 23152 nonzeros Variable types: 0 continuous, 2015 integer (2015 binary) Root relaxation: objective 0.000000e+00, 283 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 (1420 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:14:59 2012 Optimize a model with 3813 rows, 1467 columns and 11576 nonzeros Presolve time: 0.01s Presolved: 3813 rows, 1467 columns, 11576 nonzeros Variable types: 0 continuous, 1467 integer (1467 binary) Root relaxation: objective 0.000000e+00, 291 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 272 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 429 - 0.00000 - - 1s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 416 - 0.00000 - - 4s 0 0 0.00000 0 410 - 0.00000 - - 5s 0 0 0.00000 0 407 - 0.00000 - - 7s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 2 0.00000 0 407 - 0.00000 - - 9s 6 4 infeasible 5 - 0.00000 - 837 10s Cutting planes: Clique: 16 Zero half: 19 Explored 29 nodes (42841 simplex iterations) in 10.87 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:15:10 2012 Optimize a model with 5651 rows, 1741 columns and 17364 nonzeros Presolve time: 0.02s Presolved: 5651 rows, 1741 columns, 17364 nonzeros Variable types: 0 continuous, 1741 integer (1741 binary) Root relaxation: objective 0.000000e+00, 296 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 256 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 326 MIR: 14 Zero half: 363 Explored 0 nodes (3317 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:15:10 2012 Optimize a model with 4732 rows, 1604 columns and 14470 nonzeros Presolve time: 0.01s Presolved: 4732 rows, 1604 columns, 14470 nonzeros Variable types: 0 continuous, 1604 integer (1604 binary) Root relaxation: objective 0.000000e+00, 290 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 262 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 196 - 0.00000 - - 2s 0 0 0.00000 0 232 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 277 - 0.00000 - - 4s 0 0 0.00000 0 253 - 0.00000 - - 5s 0 0 0.00000 0 230 - 0.00000 - - 5s 0 0 0.00000 0 220 - 0.00000 - - 6s 0 0 0.00000 0 231 - 0.00000 - - 7s 0 0 0.00000 0 242 - 0.00000 - - 7s 0 0 0.00000 0 221 - 0.00000 - - 8s 0 2 0.00000 0 221 - 0.00000 - - 8s 56 22 0.00000 2 250 - 0.00000 - 154 10s 560 205 0.00000 20 293 - 0.00000 - 127 15s 606 214 0.00000 18 331 - 0.00000 - 126 21s 609 216 0.00000 13 325 - 0.00000 - 125 26s 612 218 0.00000 22 308 - 0.00000 - 125 31s 615 220 0.00000 23 327 - 0.00000 - 124 35s 764 220 infeasible 31 - 0.00000 - 212 40s 958 157 infeasible 34 - 0.00000 - 225 45s 1142 94 infeasible 36 - 0.00000 - 236 50s 1338 60 infeasible 37 - 0.00000 - 240 55s 1504 56 infeasible 32 - 0.00000 - 251 60s 1691 69 0.00000 28 292 - 0.00000 - 255 65s 1881 89 infeasible 36 - 0.00000 - 259 70s 2047 87 infeasible 33 - 0.00000 - 265 75s 2230 90 0.00000 29 277 - 0.00000 - 268 80s 2417 93 infeasible 38 - 0.00000 - 269 85s 2649 103 infeasible 38 - 0.00000 - 267 90s 2867 99 0.00000 37 294 - 0.00000 - 266 95s 3038 98 infeasible 35 - 0.00000 - 269 100s 3261 119 infeasible 37 - 0.00000 - 267 105s 3448 124 0.00000 35 297 - 0.00000 - 268 110s 3631 125 0.00000 30 325 - 0.00000 - 269 115s 3805 123 0.00000 32 318 - 0.00000 - 271 120s 3992 116 infeasible 29 - 0.00000 - 271 125s 4183 139 0.00000 34 317 - 0.00000 - 271 130s 4351 141 infeasible 37 - 0.00000 - 273 135s 4534 140 infeasible 35 - 0.00000 - 274 140s 4703 139 infeasible 39 - 0.00000 - 275 145s 4888 156 infeasible 38 - 0.00000 - 276 150s 5073 163 infeasible 40 - 0.00000 - 276 155s 5276 170 infeasible 41 - 0.00000 - 276 160s 5440 160 0.00000 27 329 - 0.00000 - 277 165s 5616 164 infeasible 39 - 0.00000 - 278 170s 5780 180 infeasible 29 - 0.00000 - 279 175s 5976 198 infeasible 31 - 0.00000 - 279 180s 6164 208 infeasible 35 - 0.00000 - 279 185s 6365 205 infeasible 40 - 0.00000 - 278 190s 6563 208 0.00000 33 234 - 0.00000 - 278 195s 6749 214 infeasible 39 - 0.00000 - 279 200s 6943 210 0.00000 33 308 - 0.00000 - 279 205s 7138 213 infeasible 30 - 0.00000 - 279 210s 7329 214 infeasible 28 - 0.00000 - 279 215s 7513 206 infeasible 32 - 0.00000 - 279 220s 7709 264 0.00000 31 310 - 0.00000 - 279 225s 7906 273 infeasible 37 - 0.00000 - 279 230s 8109 262 infeasible 34 - 0.00000 - 279 235s 8297 242 infeasible 34 - 0.00000 - 279 240s 8475 234 0.00000 26 322 - 0.00000 - 280 245s 8647 242 infeasible 32 - 0.00000 - 281 250s 8856 240 infeasible 31 - 0.00000 - 280 255s 9045 225 infeasible 28 - 0.00000 - 280 260s 9225 243 infeasible 37 - 0.00000 - 280 265s 9415 245 infeasible 37 - 0.00000 - 281 270s 9597 273 0.00000 34 248 - 0.00000 - 281 275s 9832 302 0.00000 38 276 - 0.00000 - 280 280s 10028 308 infeasible 31 - 0.00000 - 280 285s Cutting planes: Clique: 3 Zero half: 21 Explored 10032 nodes (2868133 simplex iterations) in 285.18 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: 6