current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:41:03 2012 Optimize a model with 62042 rows, 9902 columns and 194702 nonzeros Presolve time: 0.19s Presolved: 62042 rows, 9902 columns, 194702 nonzeros Variable types: 0 continuous, 9902 integer (9902 binary) Root relaxation: objective 0.000000e+00, 363 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 (861 simplex iterations) in 0.39 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:41:04 2012 Optimize a model with 30626 rows, 5346 columns and 95898 nonzeros Presolve time: 0.14s Presolved: 30626 rows, 5346 columns, 95898 nonzeros Variable types: 0 continuous, 5346 integer (5346 binary) Root relaxation: objective 0.000000e+00, 407 iterations, 0.04 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 (752 simplex iterations) in 0.22 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:41:05 2012 Optimize a model with 14918 rows, 3068 columns and 46496 nonzeros Presolve time: 0.05s Presolved: 14918 rows, 3068 columns, 46496 nonzeros Variable types: 0 continuous, 3068 integer (3068 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 (691 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 05:41:05 2012 Optimize a model with 7526 rows, 1996 columns and 23248 nonzeros Presolve time: 0.02s Presolved: 7526 rows, 1996 columns, 23248 nonzeros Variable types: 0 continuous, 1996 integer (1996 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1262 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:41:05 2012 Optimize a model with 3830 rows, 1460 columns and 11624 nonzeros Presolve time: 0.01s Presolved: 3830 rows, 1460 columns, 11624 nonzeros Variable types: 0 continuous, 1460 integer (1460 binary) Root relaxation: objective 0.000000e+00, 280 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 184 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 424 - 0.00000 - - 4s 0 0 0.00000 0 414 - 0.00000 - - 5s 0 0 0.00000 0 417 - 0.00000 - - 6s 0 0 0.00000 0 407 - 0.00000 - - 7s 0 0 0.00000 0 411 - 0.00000 - - 8s 0 0 0.00000 0 411 - 0.00000 - - 8s 0 2 0.00000 0 411 - 0.00000 - - 9s 10 2 infeasible 5 - 0.00000 - 627 10s Cutting planes: Clique: 25 Zero half: 17 Explored 19 nodes (44789 simplex iterations) in 10.40 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 05:41:16 2012 Optimize a model with 5678 rows, 1728 columns and 17436 nonzeros Presolve time: 0.02s Presolved: 5678 rows, 1728 columns, 17436 nonzeros Variable types: 0 continuous, 1728 integer (1728 binary) Root relaxation: objective 0.000000e+00, 286 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 268 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s Cutting planes: Clique: 21 Zero half: 2 Explored 0 nodes (4137 simplex iterations) in 0.47 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 05:41:16 2012 Optimize a model with 4754 rows, 1594 columns and 14530 nonzeros Presolve time: 0.01s Presolved: 4754 rows, 1594 columns, 14530 nonzeros Variable types: 0 continuous, 1594 integer (1594 binary) Root relaxation: objective 0.000000e+00, 276 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 262 - 0.00000 - - 0s 0 0 0.00000 0 271 - 0.00000 - - 0s 0 0 0.00000 0 311 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 4s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 345 - 0.00000 - - 6s 0 2 0.00000 0 345 - 0.00000 - - 7s 223 48 0.00000 22 301 - 0.00000 - 150 10s 606 47 0.00000 16 311 - 0.00000 - 130 15s 610 50 0.00000 17 341 - 0.00000 - 129 20s 613 52 0.00000 9 306 - 0.00000 - 128 26s 618 55 infeasible 15 - 0.00000 - 199 30s 764 93 0.00000 28 310 - 0.00000 - 214 35s 955 100 0.00000 31 292 - 0.00000 - 226 40s 1149 88 infeasible 31 - 0.00000 - 234 45s 1346 103 0.00000 31 308 - 0.00000 - 240 50s 1522 109 0.00000 29 313 - 0.00000 - 246 55s 1720 125 infeasible 33 - 0.00000 - 250 60s 1891 124 0.00000 35 299 - 0.00000 - 257 65s 2063 112 0.00000 32 284 - 0.00000 - 261 70s 2248 109 0.00000 29 237 - 0.00000 - 264 75s 2429 102 infeasible 35 - 0.00000 - 266 80s 2624 103 0.00000 30 283 - 0.00000 - 268 85s 2836 107 infeasible 30 - 0.00000 - 268 90s 3038 99 infeasible 31 - 0.00000 - 269 95s 3231 96 0.00000 31 319 - 0.00000 - 270 100s 3421 98 infeasible 30 - 0.00000 - 271 105s 3613 102 infeasible 35 - 0.00000 - 271 110s 3784 89 infeasible 31 - 0.00000 - 273 115s 3982 95 0.00000 29 292 - 0.00000 - 273 120s 4152 103 0.00000 30 285 - 0.00000 - 275 125s 4314 95 infeasible 28 - 0.00000 - 277 130s 4458 93 infeasible 27 - 0.00000 - 279 135s 4627 92 infeasible 29 - 0.00000 - 280 140s 4815 96 infeasible 34 - 0.00000 - 280 145s 4984 99 0.00000 32 321 - 0.00000 - 281 150s 5150 109 infeasible 34 - 0.00000 - 282 155s 5327 114 infeasible 34 - 0.00000 - 284 160s 5501 114 infeasible 36 - 0.00000 - 285 165s 5676 115 infeasible 35 - 0.00000 - 285 170s 5905 128 0.00000 35 230 - 0.00000 - 284 175s 6103 130 0.00000 31 228 - 0.00000 - 284 180s 6297 128 infeasible 34 - 0.00000 - 284 185s 6494 119 infeasible 36 - 0.00000 - 284 190s 6681 118 infeasible 38 - 0.00000 - 284 195s 6849 102 0.00000 27 303 - 0.00000 - 285 200s 7024 103 0.00000 27 317 - 0.00000 - 286 205s 7203 98 infeasible 28 - 0.00000 - 286 210s 7376 97 infeasible 32 - 0.00000 - 287 215s 7549 92 infeasible 35 - 0.00000 - 287 220s 7725 102 infeasible 30 - 0.00000 - 287 225s 7903 98 infeasible 31 - 0.00000 - 287 230s 8068 89 0.00000 20 325 - 0.00000 - 288 235s 8241 100 infeasible 32 - 0.00000 - 288 240s 8409 100 infeasible 31 - 0.00000 - 289 245s 8584 99 0.00000 28 313 - 0.00000 - 289 250s 8747 112 0.00000 32 313 - 0.00000 - 290 255s 8910 109 infeasible 30 - 0.00000 - 291 260s 9068 103 0.00000 28 297 - 0.00000 - 292 265s 9235 98 infeasible 30 - 0.00000 - 292 270s 9410 127 0.00000 37 313 - 0.00000 - 292 275s 9590 127 0.00000 33 319 - 0.00000 - 292 280s 9751 134 infeasible 36 - 0.00000 - 292 285s Cutting planes: Clique: 5 Zero half: 4 Explored 9764 nodes (2893055 simplex iterations) in 285.49 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