current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:09:55 2012 Optimize a model with 54145 rows, 9100 columns and 170304 nonzeros Presolve time: 0.17s Presolved: 54145 rows, 9100 columns, 170304 nonzeros Variable types: 0 continuous, 9100 integer (9100 binary) Root relaxation: objective 0.000000e+00, 331 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 (624 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:09:56 2012 Optimize a model with 27137 rows, 4972 columns and 85152 nonzeros Presolve time: 0.12s Presolved: 27137 rows, 4972 columns, 85152 nonzeros Variable types: 0 continuous, 4972 integer (4972 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 (574 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 01:09:56 2012 Optimize a model with 13633 rows, 2908 columns and 42576 nonzeros Presolve time: 0.05s Presolved: 13633 rows, 2908 columns, 42576 nonzeros Variable types: 0 continuous, 2908 integer (2908 binary) Root relaxation: objective 0.000000e+00, 265 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 (742 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:09:56 2012 Optimize a model with 6881 rows, 1876 columns and 21288 nonzeros Presolve time: 0.02s Presolved: 6881 rows, 1876 columns, 21288 nonzeros Variable types: 0 continuous, 1876 integer (1876 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 (622 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 01:09:56 2012 Optimize a model with 3505 rows, 1360 columns and 10644 nonzeros Presolve time: 0.01s Presolved: 3505 rows, 1360 columns, 10644 nonzeros Variable types: 0 continuous, 1360 integer (1360 binary) Root relaxation: objective 0.000000e+00, 277 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 252 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 381 - 0.00000 - - 5s 0 0 0.00000 0 377 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 379 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 2 0.00000 0 382 - 0.00000 - - 10s Cutting planes: Clique: 17 Zero half: 36 Explored 41 nodes (52916 simplex iterations) in 12.02 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:10:09 2012 Optimize a model with 5193 rows, 1618 columns and 15966 nonzeros Presolve time: 0.01s Presolved: 5193 rows, 1618 columns, 15966 nonzeros Variable types: 0 continuous, 1618 integer (1618 binary) Root relaxation: objective 0.000000e+00, 278 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 142 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3327 simplex iterations) in 0.25 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:10:09 2012 Optimize a model with 4349 rows, 1489 columns and 13305 nonzeros Presolve time: 0.01s Presolved: 4349 rows, 1489 columns, 13305 nonzeros Variable types: 0 continuous, 1489 integer (1489 binary) Root relaxation: objective 0.000000e+00, 273 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 258 - 0.00000 - - 0s 0 0 0.00000 0 106 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 313 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 3s 0 0 0.00000 0 277 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 253 - 0.00000 - - 5s 0 0 0.00000 0 248 - 0.00000 - - 5s 0 0 0.00000 0 262 - 0.00000 - - 6s 0 0 0.00000 0 257 - 0.00000 - - 7s 0 2 0.00000 0 257 - 0.00000 - - 7s 308 64 0.00000 20 207 - 0.00000 - 94.0 10s 706 92 0.00000 20 264 - 0.00000 - 89.3 15s 710 95 0.00000 22 279 - 0.00000 - 88.8 20s 897 116 0.00000 29 210 - 0.00000 - 145 25s 1211 127 infeasible 30 - 0.00000 - 162 30s 1539 167 0.00000 28 241 - 0.00000 - 172 35s 1843 223 infeasible 29 - 0.00000 - 178 40s 2137 251 0.00000 26 220 - 0.00000 - 185 45s 2448 262 infeasible 31 - 0.00000 - 188 50s 2782 298 0.00000 34 245 - 0.00000 - 189 55s 3117 305 infeasible 34 - 0.00000 - 190 60s 3425 319 0.00000 25 293 - 0.00000 - 192 65s 3721 349 0.00000 20 285 - 0.00000 - 194 70s 4003 365 infeasible 31 - 0.00000 - 197 75s 4293 383 0.00000 22 214 - 0.00000 - 199 80s 4600 384 infeasible 31 - 0.00000 - 200 85s 4927 457 0.00000 32 272 - 0.00000 - 200 90s 5240 481 infeasible 34 - 0.00000 - 201 95s 5527 484 infeasible 33 - 0.00000 - 202 100s 5829 492 infeasible 38 - 0.00000 - 204 105s 6106 497 0.00000 37 279 - 0.00000 - 205 110s 6416 491 infeasible 34 - 0.00000 - 206 115s 6687 484 0.00000 30 220 - 0.00000 - 207 120s 7003 523 0.00000 30 266 - 0.00000 - 207 125s 7346 522 0.00000 26 263 - 0.00000 - 207 130s 7626 524 0.00000 26 271 - 0.00000 - 208 135s 7922 538 infeasible 35 - 0.00000 - 209 140s 8215 543 0.00000 32 284 - 0.00000 - 209 145s 8500 564 infeasible 31 - 0.00000 - 210 150s 8816 552 0.00000 33 214 - 0.00000 - 210 155s 9099 573 infeasible 30 - 0.00000 - 210 160s 9376 570 infeasible 25 - 0.00000 - 211 165s 9652 580 infeasible 30 - 0.00000 - 212 170s 9939 579 0.00000 35 268 - 0.00000 - 212 175s 10246 568 infeasible 28 - 0.00000 - 213 180s 10551 593 infeasible 27 - 0.00000 - 212 185s 10824 596 0.00000 29 280 - 0.00000 - 213 190s 11117 601 infeasible 30 - 0.00000 - 213 195s 11369 587 infeasible 30 - 0.00000 - 214 200s 11615 591 infeasible 32 - 0.00000 - 216 205s 11857 615 0.00000 30 296 - 0.00000 - 216 210s 12105 621 0.00000 30 211 - 0.00000 - 217 215s 12383 619 infeasible 29 - 0.00000 - 218 220s 12697 623 infeasible 28 - 0.00000 - 218 225s 12979 619 infeasible 33 - 0.00000 - 218 230s 13260 606 infeasible 30 - 0.00000 - 218 235s 13536 606 infeasible 30 - 0.00000 - 219 240s 13806 628 0.00000 30 286 - 0.00000 - 219 245s 14115 633 0.00000 32 260 - 0.00000 - 219 250s 14420 636 0.00000 28 275 - 0.00000 - 219 255s 14699 637 0.00000 29 279 - 0.00000 - 219 260s 14984 672 infeasible 33 - 0.00000 - 220 265s 15287 681 infeasible 37 - 0.00000 - 220 270s 15574 682 infeasible 32 - 0.00000 - 220 275s 15878 690 infeasible 35 - 0.00000 - 220 280s Cutting planes: Clique: 7 Zero half: 17 Explored 16169 nodes (3597826 simplex iterations) in 284.56 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