current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:52:26 2012 Optimize a model with 60033 rows, 9192 columns and 187968 nonzeros Presolve time: 0.18s Presolved: 60033 rows, 9192 columns, 187968 nonzeros Variable types: 0 continuous, 9192 integer (9192 binary) Root relaxation: objective 0.000000e+00, 303 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 (660 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:52:27 2012 Optimize a model with 30081 rows, 5064 columns and 93984 nonzeros Presolve time: 0.14s Presolved: 30081 rows, 5064 columns, 93984 nonzeros Variable types: 0 continuous, 5064 integer (5064 binary) Root relaxation: objective 0.000000e+00, 316 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 (588 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:52:28 2012 Optimize a model with 15105 rows, 3000 columns and 46992 nonzeros Presolve time: 0.05s Presolved: 15105 rows, 3000 columns, 46992 nonzeros Variable types: 0 continuous, 3000 integer (3000 binary) Root relaxation: objective 0.000000e+00, 381 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 (759 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:52:28 2012 Optimize a model with 7617 rows, 1968 columns and 23496 nonzeros Presolve time: 0.02s Presolved: 7617 rows, 1968 columns, 23496 nonzeros Variable types: 0 continuous, 1968 integer (1968 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 (1453 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:52:28 2012 Optimize a model with 3873 rows, 1452 columns and 11748 nonzeros Presolve time: 0.01s Presolved: 3873 rows, 1452 columns, 11748 nonzeros Variable types: 0 continuous, 1452 integer (1452 binary) Root relaxation: objective 0.000000e+00, 297 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 0 0 0.00000 0 251 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 431 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 419 - 0.00000 - - 3s 0 0 0.00000 0 415 - 0.00000 - - 4s 0 0 0.00000 0 420 - 0.00000 - - 5s 0 0 0.00000 0 423 - 0.00000 - - 5s 0 0 0.00000 0 425 - 0.00000 - - 6s 0 0 0.00000 0 425 - 0.00000 - - 7s 0 2 0.00000 0 425 - 0.00000 - - 7s Cutting planes: Clique: 26 Zero half: 8 Explored 17 nodes (45795 simplex iterations) in 8.61 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 01:52:37 2012 Optimize a model with 5745 rows, 1710 columns and 17622 nonzeros Presolve time: 0.02s Presolved: 5745 rows, 1710 columns, 17622 nonzeros Variable types: 0 continuous, 1710 integer (1710 binary) Root relaxation: objective 0.000000e+00, 272 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 248 - 0.00000 - - 0s 0 0 0.00000 0 259 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 281 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 2 0.00000 0 352 - 0.00000 - - 4s 29 27 0.00000 20 192 - 0.00000 - 219 5s * 109 2 35 0.0000000 0.00000 0.0% 89.9 5s Cutting planes: Clique: 4 Zero half: 14 Explored 110 nodes (35242 simplex iterations) in 5.16 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 01:52:42 2012 Optimize a model with 4809 rows, 1581 columns and 14685 nonzeros Presolve time: 0.01s Presolved: 4809 rows, 1581 columns, 14685 nonzeros Variable types: 0 continuous, 1581 integer (1581 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 213 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 0 0.00000 0 321 - 0.00000 - - 6s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 0 0.00000 0 344 - 0.00000 - - 7s 0 2 0.00000 0 344 - 0.00000 - - 8s 38 26 infeasible 23 - 0.00000 - 321 10s 371 100 0.00000 21 316 - 0.00000 - 170 15s 603 128 0.00000 5 359 - 0.00000 - 163 20s 607 131 0.00000 13 366 - 0.00000 - 162 28s 608 132 0.00000 23 348 - 0.00000 - 162 31s 610 133 0.00000 12 336 - 0.00000 - 161 35s 613 135 0.00000 21 331 - 0.00000 - 161 40s 617 138 0.00000 15 322 - 0.00000 - 160 46s 620 140 0.00000 14 333 - 0.00000 - 159 50s 695 152 infeasible 25 - 0.00000 - 264 55s 826 130 0.00000 22 329 - 0.00000 - 275 60s 943 94 infeasible 24 - 0.00000 - 286 65s 1085 90 infeasible 27 - 0.00000 - 289 70s 1216 89 0.00000 25 324 - 0.00000 - 296 75s 1344 101 infeasible 22 - 0.00000 - 301 80s 1484 99 infeasible 25 - 0.00000 - 304 85s 1611 104 infeasible 28 - 0.00000 - 307 90s 1736 103 0.00000 25 309 - 0.00000 - 312 95s 1879 96 0.00000 22 324 - 0.00000 - 313 100s 2009 98 infeasible 31 - 0.00000 - 315 105s 2136 85 infeasible 25 - 0.00000 - 318 110s 2260 95 0.00000 29 304 - 0.00000 - 321 115s 2383 96 infeasible 25 - 0.00000 - 324 120s 2499 92 0.00000 25 327 - 0.00000 - 327 125s 2643 96 infeasible 21 - 0.00000 - 327 130s 2771 92 0.00000 23 323 - 0.00000 - 328 135s 2900 95 0.00000 24 232 - 0.00000 - 330 140s 3014 87 infeasible 24 - 0.00000 - 333 145s 3135 86 infeasible 23 - 0.00000 - 334 150s 3253 84 0.00000 24 308 - 0.00000 - 336 155s 3374 79 infeasible 24 - 0.00000 - 338 160s 3499 80 infeasible 31 - 0.00000 - 339 165s 3611 74 infeasible 23 - 0.00000 - 340 170s 3730 75 infeasible 26 - 0.00000 - 342 175s 3849 70 0.00000 26 302 - 0.00000 - 343 180s 3980 71 infeasible 23 - 0.00000 - 343 185s 4101 64 0.00000 19 293 - 0.00000 - 344 190s 4213 52 infeasible 23 - 0.00000 - 346 195s 4325 46 infeasible 22 - 0.00000 - 347 200s 4431 42 0.00000 25 312 - 0.00000 - 349 205s 4559 34 infeasible 23 - 0.00000 - 349 210s 4681 38 infeasible 27 - 0.00000 - 349 215s 4791 36 infeasible 24 - 0.00000 - 350 220s 4890 35 infeasible 24 - 0.00000 - 352 225s 4998 33 0.00000 27 332 - 0.00000 - 353 230s 5103 28 infeasible 29 - 0.00000 - 354 235s 5210 19 infeasible 22 - 0.00000 - 356 240s 5329 20 infeasible 23 - 0.00000 - 356 245s 5456 19 infeasible 24 - 0.00000 - 355 250s 5580 17 infeasible 22 - 0.00000 - 356 255s 5703 18 infeasible 24 - 0.00000 - 356 260s 5824 13 infeasible 23 - 0.00000 - 356 265s 5940 21 0.00000 23 315 - 0.00000 - 357 270s 6044 13 infeasible 21 - 0.00000 - 358 275s 6166 17 infeasible 25 - 0.00000 - 358 280s Cutting planes: Clique: 6 Zero half: 20 Explored 6235 nodes (2267668 simplex iterations) in 282.68 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