current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:05 2012 Optimize a model with 52417 rows, 8831 columns and 164871 nonzeros Presolve time: 0.17s Presolved: 52417 rows, 8831 columns, 164871 nonzeros Variable types: 0 continuous, 8831 integer (8831 binary) Root relaxation: objective 0.000000e+00, 321 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 (611 simplex iterations) in 0.31 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 -- 63 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:06 2012 Optimize a model with 25857 rows, 4767 columns and 81127 nonzeros Presolve time: 0.12s Presolved: 25857 rows, 4767 columns, 81127 nonzeros Variable types: 0 continuous, 4767 integer (4767 binary) Root relaxation: objective 0.000000e+00, 308 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 (657 simplex iterations) in 0.18 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:06 2012 Optimize a model with 12577 rows, 2735 columns and 39255 nonzeros Presolve time: 0.04s Presolved: 12577 rows, 2735 columns, 39255 nonzeros Variable types: 0 continuous, 2735 integer (2735 binary) Root relaxation: objective 0.000000e+00, 262 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 (494 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:06 2012 Optimize a model with 5937 rows, 1719 columns and 18319 nonzeros Presolve time: 0.02s Presolved: 5937 rows, 1719 columns, 18319 nonzeros Variable types: 0 continuous, 1719 integer (1719 binary) Root relaxation: objective 0.000000e+00, 273 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 (751 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:06 2012 Optimize a model with 2617 rows, 1211 columns and 7851 nonzeros Presolve time: 0.01s Presolved: 2617 rows, 1211 columns, 7851 nonzeros Variable types: 0 continuous, 1211 integer (1211 binary) Root relaxation: objective 0.000000e+00, 280 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 228 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4188 simplex iterations) in 0.48 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:10:07 2012 Optimize a model with 4277 rows, 1465 columns and 13085 nonzeros Presolve time: 0.01s Presolved: 4277 rows, 1465 columns, 13085 nonzeros Variable types: 0 continuous, 1465 integer (1465 binary) Root relaxation: objective 0.000000e+00, 265 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 244 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 3s 0 0 0.00000 0 269 - 0.00000 - - 3s 0 0 0.00000 0 295 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 2 0.00000 0 290 - 0.00000 - - 5s 539 99 0.00000 23 238 - 0.00000 - 126 10s 1103 114 0.00000 9 212 - 0.00000 - 116 15s 1108 118 0.00000 19 287 - 0.00000 - 116 20s 1112 120 0.00000 7 271 - 0.00000 - 116 25s 1214 122 0.00000 27 238 - 0.00000 - 157 30s 1507 95 0.00000 26 281 - 0.00000 - 169 35s 1763 113 infeasible 27 - 0.00000 - 180 40s 2022 158 0.00000 36 257 - 0.00000 - 188 45s 2304 240 infeasible 30 - 0.00000 - 191 50s 2540 266 infeasible 33 - 0.00000 - 197 55s 2798 274 infeasible 34 - 0.00000 - 201 60s 3050 268 infeasible 33 - 0.00000 - 205 65s 3314 252 infeasible 26 - 0.00000 - 208 70s 3569 279 0.00000 30 263 - 0.00000 - 211 75s 3836 282 0.00000 35 276 - 0.00000 - 213 80s 4084 324 0.00000 34 292 - 0.00000 - 215 85s 4294 332 0.00000 28 208 - 0.00000 - 218 90s 4534 332 0.00000 31 272 - 0.00000 - 220 95s 4784 340 0.00000 26 300 - 0.00000 - 222 100s 5036 372 0.00000 31 208 - 0.00000 - 223 105s 5290 360 infeasible 29 - 0.00000 - 224 110s 5513 357 0.00000 31 285 - 0.00000 - 226 115s 5772 361 0.00000 27 308 - 0.00000 - 227 120s 6011 370 infeasible 29 - 0.00000 - 228 125s 6252 375 infeasible 35 - 0.00000 - 229 130s 6513 384 0.00000 32 274 - 0.00000 - 229 135s 6763 368 infeasible 31 - 0.00000 - 230 140s 7025 366 infeasible 28 - 0.00000 - 230 145s 7270 359 0.00000 33 278 - 0.00000 - 231 150s 7511 378 0.00000 25 293 - 0.00000 - 231 155s 7775 400 0.00000 27 293 - 0.00000 - 231 160s 8022 413 0.00000 32 283 - 0.00000 - 232 165s 8277 448 0.00000 24 279 - 0.00000 - 232 170s 8518 457 infeasible 30 - 0.00000 - 233 175s 8768 481 0.00000 27 273 - 0.00000 - 234 180s 9015 484 0.00000 28 284 - 0.00000 - 234 185s 9251 480 infeasible 30 - 0.00000 - 235 190s 9487 466 infeasible 29 - 0.00000 - 235 195s 9725 458 0.00000 31 282 - 0.00000 - 236 200s 9953 447 0.00000 27 284 - 0.00000 - 237 205s 10186 440 infeasible 36 - 0.00000 - 237 210s 10424 434 infeasible 36 - 0.00000 - 238 215s 10649 421 infeasible 36 - 0.00000 - 238 220s 10877 413 0.00000 29 266 - 0.00000 - 239 225s 11094 408 infeasible 33 - 0.00000 - 240 230s 11313 411 infeasible 35 - 0.00000 - 240 235s 11527 393 infeasible 27 - 0.00000 - 241 240s 11790 422 infeasible 31 - 0.00000 - 241 245s 12036 416 infeasible 31 - 0.00000 - 241 250s 12267 417 infeasible 29 - 0.00000 - 241 255s 12511 429 0.00000 34 247 - 0.00000 - 242 260s 12747 423 infeasible 30 - 0.00000 - 242 265s 13010 451 0.00000 39 275 - 0.00000 - 242 270s 13232 433 infeasible 26 - 0.00000 - 243 275s 13446 421 infeasible 34 - 0.00000 - 243 280s 13663 408 0.00000 29 291 - 0.00000 - 244 285s 13926 411 0.00000 29 277 - 0.00000 - 244 290s 14175 406 0.00000 28 278 - 0.00000 - 244 295s Cutting planes: Gomory: 2 Clique: 5 Zero half: 16 Explored 14250 nodes (3508281 simplex iterations) in 296.61 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:15:04 2012 Optimize a model with 5107 rows, 1592 columns and 15702 nonzeros Presolve time: 0.01s Presolved: 5107 rows, 1592 columns, 15702 nonzeros Variable types: 0 continuous, 1592 integer (1592 binary) Root relaxation: objective 0.000000e+00, 264 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 254 - 0.00000 - - 0s Explored 0 nodes (615 simplex iterations) in 0.03 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: 7