current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:56:36 2012 Optimize a model with 50652 rows, 8740 columns and 159516 nonzeros Presolve time: 0.17s Presolved: 50652 rows, 8740 columns, 159516 nonzeros Variable types: 0 continuous, 8740 integer (8740 binary) Root relaxation: objective 0.000000e+00, 330 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 (614 simplex iterations) in 0.29 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 Thu Dec 13 22:56:36 2012 Optimize a model with 24988 rows, 4708 columns and 78492 nonzeros Presolve time: 0.11s Presolved: 24988 rows, 4708 columns, 78492 nonzeros Variable types: 0 continuous, 4708 integer (4708 binary) Root relaxation: objective 0.000000e+00, 403 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 (735 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 Thu Dec 13 22:56:37 2012 Optimize a model with 12156 rows, 2692 columns and 37980 nonzeros Presolve time: 0.04s Presolved: 12156 rows, 2692 columns, 37980 nonzeros Variable types: 0 continuous, 2692 integer (2692 binary) Root relaxation: objective 0.000000e+00, 256 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 (663 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 Thu Dec 13 22:56:37 2012 Optimize a model with 5740 rows, 1684 columns and 17724 nonzeros Presolve time: 0.02s Presolved: 5740 rows, 1684 columns, 17724 nonzeros Variable types: 0 continuous, 1684 integer (1684 binary) Root relaxation: objective 0.000000e+00, 255 iterations, 0.00 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 (1469 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:56:37 2012 Optimize a model with 2532 rows, 1180 columns and 7596 nonzeros Presolve time: 0.01s Presolved: 2532 rows, 1180 columns, 7596 nonzeros Variable types: 0 continuous, 1180 integer (1180 binary) Root relaxation: objective 0.000000e+00, 283 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 202 - 0.00000 - - 0s 0 0 0.00000 0 315 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5147 simplex iterations) in 0.59 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 Thu Dec 13 22:56:38 2012 Optimize a model with 4136 rows, 1432 columns and 12660 nonzeros Presolve time: 0.01s Presolved: 4136 rows, 1432 columns, 12660 nonzeros Variable types: 0 continuous, 1432 integer (1432 binary) Root relaxation: objective 0.000000e+00, 264 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 232 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 1s 0 0 0.00000 0 205 - 0.00000 - - 1s 0 0 0.00000 0 283 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 2 0.00000 0 336 - 0.00000 - - 4s 48 26 0.00000 18 214 - 0.00000 - 189 5s 762 31 infeasible 26 - 0.00000 - 117 10s 806 44 0.00000 20 322 - 0.00000 - 117 15s 811 48 0.00000 8 287 - 0.00000 - 117 20s 910 62 0.00000 20 293 - 0.00000 - 161 25s 1238 75 0.00000 24 293 - 0.00000 - 176 30s 1586 171 infeasible 31 - 0.00000 - 179 35s 1949 238 0.00000 31 214 - 0.00000 - 180 40s 2298 263 0.00000 30 276 - 0.00000 - 181 45s 2589 296 infeasible 32 - 0.00000 - 187 50s 2932 315 infeasible 30 - 0.00000 - 190 55s 3246 341 0.00000 30 271 - 0.00000 - 192 60s 3567 372 0.00000 34 198 - 0.00000 - 195 65s 3870 363 infeasible 36 - 0.00000 - 198 70s 4149 360 infeasible 31 - 0.00000 - 201 75s 4455 372 infeasible 30 - 0.00000 - 202 80s 4784 387 0.00000 34 272 - 0.00000 - 203 85s 5108 405 0.00000 30 216 - 0.00000 - 203 90s 5405 388 0.00000 26 204 - 0.00000 - 204 95s 5691 384 infeasible 28 - 0.00000 - 206 100s 6037 402 infeasible 31 - 0.00000 - 205 105s 6352 407 infeasible 38 - 0.00000 - 206 110s 6653 422 infeasible 39 - 0.00000 - 207 115s 6941 424 infeasible 36 - 0.00000 - 208 120s 7278 441 infeasible 34 - 0.00000 - 209 125s 7595 450 infeasible 32 - 0.00000 - 209 130s 7876 449 infeasible 31 - 0.00000 - 210 135s 8161 444 0.00000 29 200 - 0.00000 - 211 140s 8452 441 infeasible 28 - 0.00000 - 211 145s 8720 445 infeasible 35 - 0.00000 - 212 150s 8993 458 infeasible 34 - 0.00000 - 213 155s 9270 459 0.00000 28 216 - 0.00000 - 214 160s 9616 479 0.00000 27 186 - 0.00000 - 214 165s 9949 464 infeasible 34 - 0.00000 - 214 170s 10297 456 infeasible 29 - 0.00000 - 214 175s 10611 466 0.00000 34 204 - 0.00000 - 214 180s 10913 458 0.00000 39 192 - 0.00000 - 214 185s 11233 458 0.00000 18 288 - 0.00000 - 214 190s 11512 459 0.00000 31 270 - 0.00000 - 215 195s 11790 455 infeasible 25 - 0.00000 - 215 200s 12095 466 0.00000 28 273 - 0.00000 - 215 205s 12383 478 0.00000 29 243 - 0.00000 - 216 210s 12702 471 0.00000 35 267 - 0.00000 - 216 215s 12960 489 0.00000 32 273 - 0.00000 - 216 220s 13230 499 0.00000 29 285 - 0.00000 - 217 225s 13504 515 infeasible 31 - 0.00000 - 217 230s 13829 532 0.00000 28 255 - 0.00000 - 217 235s 14153 534 0.00000 28 273 - 0.00000 - 217 240s 14442 519 infeasible 27 - 0.00000 - 217 245s 14710 505 infeasible 31 - 0.00000 - 217 250s 15011 518 0.00000 22 267 - 0.00000 - 217 255s 15329 536 infeasible 32 - 0.00000 - 217 260s 15630 533 infeasible 36 - 0.00000 - 217 265s 15966 545 0.00000 31 204 - 0.00000 - 217 270s 16260 557 infeasible 32 - 0.00000 - 218 275s 16568 555 0.00000 29 206 - 0.00000 - 218 280s 16858 565 infeasible 32 - 0.00000 - 218 285s 17129 578 0.00000 27 266 - 0.00000 - 218 290s 17431 568 infeasible 36 - 0.00000 - 218 295s Cutting planes: Gomory: 1 Clique: 4 Zero half: 21 Explored 17521 nodes (3853644 simplex iterations) in 296.56 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 Thu Dec 13 23:01:35 2012 Optimize a model with 4938 rows, 1558 columns and 15192 nonzeros Presolve time: 0.01s Presolved: 4938 rows, 1558 columns, 15192 nonzeros Variable types: 0 continuous, 1558 integer (1558 binary) Root relaxation: objective 0.000000e+00, 288 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 252 - 0.00000 - - 0s Explored 0 nodes (779 simplex iterations) in 0.04 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