current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:02 2012 Optimize a model with 81844 rows, 12056 columns and 256040 nonzeros Presolve time: 0.23s Presolved: 81844 rows, 12056 columns, 256040 nonzeros Variable types: 0 continuous, 12056 integer (12056 binary) Root relaxation: objective 0.000000e+00, 367 iterations, 0.09 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 (765 simplex iterations) in 0.44 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:04 2012 Optimize a model with 40996 rows, 6580 columns and 128020 nonzeros Presolve time: 0.15s Presolved: 40996 rows, 6580 columns, 128020 nonzeros Variable types: 0 continuous, 6580 integer (6580 binary) Root relaxation: objective 0.000000e+00, 349 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 (687 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: 0 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:04 2012 Optimize a model with 20020 rows, 3768 columns and 62280 nonzeros Presolve time: 0.07s Presolved: 20020 rows, 3768 columns, 62280 nonzeros Variable types: 0 continuous, 3768 integer (3768 binary) Root relaxation: objective 0.000000e+00, 438 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 (1076 simplex iterations) in 0.14 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:05 2012 Optimize a model with 10084 rows, 2436 columns and 31140 nonzeros Presolve time: 0.03s Presolved: 10084 rows, 2436 columns, 31140 nonzeros Variable types: 0 continuous, 2436 integer (2436 binary) Root relaxation: objective 0.000000e+00, 307 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 (719 simplex iterations) in 0.06 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:05 2012 Optimize a model with 4564 rows, 1696 columns and 13840 nonzeros Presolve time: 0.01s Presolved: 4564 rows, 1696 columns, 13840 nonzeros Variable types: 0 continuous, 1696 integer (1696 binary) Root relaxation: objective 0.000000e+00, 327 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 192 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 489 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 0 0.00000 0 470 - 0.00000 - - 4s 0 0 0.00000 0 481 - 0.00000 - - 5s 0 0 0.00000 0 480 - 0.00000 - - 6s 0 0 0.00000 0 489 - 0.00000 - - 7s 0 0 0.00000 0 478 - 0.00000 - - 8s 0 0 0.00000 0 485 - 0.00000 - - 9s 0 0 0.00000 0 481 - 0.00000 - - 9s 0 2 0.00000 0 481 - 0.00000 - - 11s Cutting planes: Clique: 19 Zero half: 26 Explored 7 nodes (60243 simplex iterations) in 11.55 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:51:17 2012 Optimize a model with 6772 rows, 1992 columns and 20760 nonzeros Presolve time: 0.02s Presolved: 6772 rows, 1992 columns, 20760 nonzeros Variable types: 0 continuous, 1992 integer (1992 binary) Root relaxation: objective 0.000000e+00, 322 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 290 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 3s 0 0 0.00000 0 351 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 383 - 0.00000 - - 5s 0 2 0.00000 0 383 - 0.00000 - - 6s * 146 3 48 0.0000000 0.00000 0.0% 93.2 7s Cutting planes: Clique: 9 Zero half: 9 Explored 147 nodes (48446 simplex iterations) in 7.61 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 16:51:24 2012 Optimize a model with 5668 rows, 1844 columns and 17300 nonzeros Presolve time: 0.01s Presolved: 5668 rows, 1844 columns, 17300 nonzeros Variable types: 0 continuous, 1844 integer (1844 binary) Root relaxation: objective 0.000000e+00, 310 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 290 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 0 0.00000 0 260 - 0.00000 - - 6s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 0 0.00000 0 259 - 0.00000 - - 7s 0 0 0.00000 0 256 - 0.00000 - - 8s 0 0 0.00000 0 254 - 0.00000 - - 9s 0 0 0.00000 0 236 - 0.00000 - - 10s 0 0 0.00000 0 244 - 0.00000 - - 10s 0 0 0.00000 0 233 - 0.00000 - - 11s 0 0 0.00000 0 224 - 0.00000 - - 12s 0 0 0.00000 0 226 - 0.00000 - - 13s 0 0 0.00000 0 226 - 0.00000 - - 14s 0 2 0.00000 0 226 - 0.00000 - - 15s 140 17 0.00000 16 383 - 0.00000 - 200 20s 363 35 0.00000 18 350 - 0.00000 - 201 25s 573 42 0.00000 15 353 - 0.00000 - 203 30s 800 30 0.00000 22 337 - 0.00000 - 199 35s 903 52 0.00000 10 437 - 0.00000 - 200 40s 905 54 0.00000 17 367 - 0.00000 - 200 45s 907 55 0.00000 23 371 - 0.00000 - 199 50s 910 57 0.00000 6 339 - 0.00000 - 199 56s 912 58 0.00000 17 361 - 0.00000 - 198 61s 915 60 0.00000 21 382 - 0.00000 - 198 66s 940 77 0.00000 23 363 - 0.00000 - 258 70s 1044 76 infeasible 27 - 0.00000 - 270 75s 1142 73 infeasible 28 - 0.00000 - 283 80s 1237 88 0.00000 22 381 - 0.00000 - 293 85s 1349 104 0.00000 28 344 - 0.00000 - 299 90s 1445 104 0.00000 28 362 - 0.00000 - 307 95s 1550 109 infeasible 28 - 0.00000 - 313 100s 1649 104 infeasible 30 - 0.00000 - 320 105s 1743 118 0.00000 34 350 - 0.00000 - 326 110s 1835 108 infeasible 28 - 0.00000 - 332 115s 1935 110 infeasible 32 - 0.00000 - 336 120s 2028 111 infeasible 28 - 0.00000 - 341 125s 2111 104 0.00000 27 374 - 0.00000 - 347 130s 2210 97 infeasible 34 - 0.00000 - 350 135s 2306 95 infeasible 24 - 0.00000 - 353 140s 2393 88 infeasible 29 - 0.00000 - 357 145s 2486 91 infeasible 30 - 0.00000 - 360 150s 2590 95 infeasible 33 - 0.00000 - 361 155s 2684 89 infeasible 26 - 0.00000 - 364 160s 2772 81 infeasible 26 - 0.00000 - 367 165s 2857 88 0.00000 27 385 - 0.00000 - 370 170s 2967 104 infeasible 34 - 0.00000 - 370 175s 3065 108 infeasible 32 - 0.00000 - 372 180s 3164 127 infeasible 33 - 0.00000 - 372 185s 3257 134 infeasible 29 - 0.00000 - 374 190s 3345 132 infeasible 33 - 0.00000 - 376 195s 3435 136 0.00000 27 374 - 0.00000 - 378 200s 3510 133 infeasible 28 - 0.00000 - 382 205s 3605 144 infeasible 29 - 0.00000 - 382 210s 3691 136 infeasible 22 - 0.00000 - 384 215s 3775 146 0.00000 35 360 - 0.00000 - 386 220s 3855 140 infeasible 28 - 0.00000 - 389 225s 3952 143 0.00000 24 376 - 0.00000 - 390 230s 4034 133 0.00000 22 377 - 0.00000 - 392 235s 4119 148 0.00000 19 386 - 0.00000 - 393 240s 4201 152 infeasible 32 - 0.00000 - 395 245s 4293 170 infeasible 33 - 0.00000 - 396 250s 4369 168 0.00000 28 352 - 0.00000 - 398 255s 4446 163 0.00000 29 348 - 0.00000 - 400 260s 4525 154 infeasible 29 - 0.00000 - 402 265s 4623 146 infeasible 24 - 0.00000 - 402 270s 4700 155 infeasible 35 - 0.00000 - 404 275s Cutting planes: Clique: 5 Zero half: 4 Explored 4714 nodes (1993170 simplex iterations) in 276.20 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