current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:26 2012 Optimize a model with 54730 rows, 9290 columns and 172250 nonzeros Presolve time: 0.17s Presolved: 54730 rows, 9290 columns, 172250 nonzeros Variable types: 0 continuous, 9290 integer (9290 binary) Root relaxation: objective 0.000000e+00, 351 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 (650 simplex iterations) in 0.30 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:27 2012 Optimize a model with 27010 rows, 5000 columns and 84800 nonzeros Presolve time: 0.12s Presolved: 27010 rows, 5000 columns, 84800 nonzeros Variable types: 0 continuous, 5000 integer (5000 binary) Root relaxation: objective 0.000000e+00, 307 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 (665 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:28 2012 Optimize a model with 13570 rows, 2920 columns and 42400 nonzeros Presolve time: 0.05s Presolved: 13570 rows, 2920 columns, 42400 nonzeros Variable types: 0 continuous, 2920 integer (2920 binary) Root relaxation: objective 0.000000e+00, 268 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 (561 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:28 2012 Optimize a model with 6850 rows, 1880 columns and 21200 nonzeros Presolve time: 0.02s Presolved: 6850 rows, 1880 columns, 21200 nonzeros Variable types: 0 continuous, 1880 integer (1880 binary) Root relaxation: objective 0.000000e+00, 274 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 (619 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:28 2012 Optimize a model with 3490 rows, 1360 columns and 10600 nonzeros Presolve time: 0.01s Presolved: 3490 rows, 1360 columns, 10600 nonzeros Variable types: 0 continuous, 1360 integer (1360 binary) Root relaxation: objective 0.000000e+00, 302 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 258 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 367 - 0.00000 - - 4s 0 0 0.00000 0 386 - 0.00000 - - 5s 0 0 0.00000 0 379 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 381 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 390 - 0.00000 - - 10s 0 2 0.00000 0 390 - 0.00000 - - 11s Cutting planes: Clique: 16 Zero half: 16 Explored 15 nodes (43692 simplex iterations) in 11.59 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 02:17:40 2012 Optimize a model with 5170 rows, 1620 columns and 15900 nonzeros Presolve time: 0.01s Presolved: 5170 rows, 1620 columns, 15900 nonzeros Variable types: 0 continuous, 1620 integer (1620 binary) Root relaxation: objective 0.000000e+00, 270 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 238 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1602 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:17:40 2012 Optimize a model with 4330 rows, 1490 columns and 13250 nonzeros Presolve time: 0.01s Presolved: 4330 rows, 1490 columns, 13250 nonzeros Variable types: 0 continuous, 1490 integer (1490 binary) Root relaxation: objective 0.000000e+00, 267 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 266 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 281 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 293 - 0.00000 - - 4s 0 0 0.00000 0 285 - 0.00000 - - 5s 0 0 0.00000 0 342 - 0.00000 - - 6s 0 0 0.00000 0 342 - 0.00000 - - 6s 0 2 0.00000 0 342 - 0.00000 - - 7s 357 101 0.00000 22 257 - 0.00000 - 115 10s 805 113 0.00000 22 180 - 0.00000 - 100 15s 809 115 0.00000 12 281 - 0.00000 - 99.0 20s 990 152 infeasible 30 - 0.00000 - 148 25s 1239 132 infeasible 41 - 0.00000 - 167 30s 1480 163 infeasible 32 - 0.00000 - 180 35s 1728 191 infeasible 37 - 0.00000 - 190 40s 1949 188 0.00000 23 313 - 0.00000 - 201 45s 2202 255 0.00000 32 302 - 0.00000 - 204 50s 2444 343 0.00000 34 300 - 0.00000 - 207 55s 2701 426 0.00000 31 290 - 0.00000 - 208 60s 2936 461 infeasible 34 - 0.00000 - 212 65s 3158 447 infeasible 31 - 0.00000 - 216 70s 3387 484 infeasible 35 - 0.00000 - 219 75s 3618 471 infeasible 29 - 0.00000 - 222 80s 3840 499 0.00000 36 228 - 0.00000 - 224 85s 4080 497 infeasible 34 - 0.00000 - 226 90s 4334 513 0.00000 33 277 - 0.00000 - 227 95s 4569 498 infeasible 27 - 0.00000 - 228 100s 4788 527 0.00000 36 270 - 0.00000 - 230 105s 5042 549 infeasible 35 - 0.00000 - 231 110s 5272 569 0.00000 29 246 - 0.00000 - 232 115s 5550 591 0.00000 33 294 - 0.00000 - 232 120s 5770 575 infeasible 35 - 0.00000 - 234 125s 5996 571 infeasible 37 - 0.00000 - 236 130s 6211 574 0.00000 34 252 - 0.00000 - 237 135s 6436 555 0.00000 27 312 - 0.00000 - 238 140s 6634 553 infeasible 29 - 0.00000 - 240 145s 6845 564 infeasible 31 - 0.00000 - 241 150s 7054 569 0.00000 34 228 - 0.00000 - 243 155s 7272 567 infeasible 34 - 0.00000 - 244 160s 7491 554 infeasible 37 - 0.00000 - 244 165s 7691 554 0.00000 32 282 - 0.00000 - 246 170s 7898 555 0.00000 37 248 - 0.00000 - 247 175s 8118 549 infeasible 32 - 0.00000 - 247 180s 8327 550 0.00000 35 279 - 0.00000 - 248 185s 8538 531 infeasible 42 - 0.00000 - 249 190s 8815 538 infeasible 33 - 0.00000 - 248 195s 9042 531 0.00000 31 284 - 0.00000 - 248 200s 9246 519 infeasible 34 - 0.00000 - 249 205s 9479 536 0.00000 34 282 - 0.00000 - 250 210s 9682 515 infeasible 31 - 0.00000 - 251 215s 9888 507 0.00000 15 323 - 0.00000 - 251 220s 10097 534 infeasible 29 - 0.00000 - 252 225s 10303 512 0.00000 31 277 - 0.00000 - 252 230s 10495 508 infeasible 28 - 0.00000 - 253 235s 10701 506 0.00000 32 208 - 0.00000 - 254 240s 10912 493 infeasible 26 - 0.00000 - 254 245s 11147 512 0.00000 31 303 - 0.00000 - 254 250s 11376 529 0.00000 28 306 - 0.00000 - 254 255s 11589 520 infeasible 31 - 0.00000 - 255 260s 11797 548 infeasible 34 - 0.00000 - 255 265s 12013 550 infeasible 34 - 0.00000 - 256 270s 12239 556 0.00000 32 268 - 0.00000 - 256 275s 12451 558 0.00000 31 272 - 0.00000 - 256 280s 12661 554 0.00000 28 298 - 0.00000 - 256 285s Cutting planes: Gomory: 2 Clique: 3 Zero half: 8 Explored 12669 nodes (3288183 simplex iterations) in 285.13 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