current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:11 2012 Optimize a model with 99500 rows, 20993 columns and 317900 nonzeros Presolve time: 0.33s Presolved: 99500 rows, 20993 columns, 317900 nonzeros Variable types: 0 continuous, 20993 integer (20993 binary) Root relaxation: objective 0.000000e+00, 802 iterations, 0.11 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 (1251 simplex iterations) in 0.58 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:13 2012 Optimize a model with 49850 rows, 10993 columns and 158950 nonzeros Presolve time: 0.17s Presolved: 49850 rows, 10993 columns, 158950 nonzeros Variable types: 0 continuous, 10993 integer (10993 binary) Root relaxation: objective 0.000000e+00, 623 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 (1048 simplex iterations) in 0.27 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:14 2012 Optimize a model with 25025 rows, 5993 columns and 79475 nonzeros Presolve time: 0.10s Presolved: 25025 rows, 5993 columns, 79475 nonzeros Variable types: 0 continuous, 5993 integer (5993 binary) Root relaxation: objective 0.000000e+00, 471 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 (870 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:14 2012 Optimize a model with 12116 rows, 3393 columns and 38148 nonzeros Presolve time: 0.04s Presolved: 12116 rows, 3393 columns, 38148 nonzeros Variable types: 0 continuous, 3393 integer (3393 binary) Root relaxation: objective 0.000000e+00, 413 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 (798 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:14 2012 Optimize a model with 6158 rows, 2193 columns and 19074 nonzeros Presolve time: 0.02s Presolved: 6158 rows, 2193 columns, 19074 nonzeros Variable types: 0 continuous, 2193 integer (2193 binary) Root relaxation: objective 0.000000e+00, 444 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 (2023 simplex iterations) in 0.10 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:14 2012 Optimize a model with 3179 rows, 1593 columns and 9537 nonzeros Presolve time: 0.01s Presolved: 3179 rows, 1593 columns, 9537 nonzeros Variable types: 0 continuous, 1593 integer (1593 binary) Root relaxation: objective 0.000000e+00, 452 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 314 - 0.00000 - - 0s 0 0 0.00000 0 405 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6936 simplex iterations) in 0.82 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:12:15 2012 Optimize a model with 4172 rows, 1793 columns and 12716 nonzeros Presolve time: 0.01s Presolved: 4172 rows, 1793 columns, 12716 nonzeros Variable types: 0 continuous, 1793 integer (1793 binary) Root relaxation: objective 0.000000e+00, 450 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 392 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 502 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 369 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 6s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 2 0.00000 0 365 - 0.00000 - - 7s 333 34 0.00000 20 338 - 0.00000 - 129 10s 605 79 0.00000 13 372 - 0.00000 - 132 16s 608 81 0.00000 15 360 - 0.00000 - 132 20s 611 83 0.00000 14 330 - 0.00000 - 131 26s 614 85 0.00000 15 306 - 0.00000 - 130 31s 629 91 0.00000 15 454 - 0.00000 - 241 35s 864 91 0.00000 20 476 - 0.00000 - 242 40s 1091 88 0.00000 26 364 - 0.00000 - 248 45s 1344 89 0.00000 21 362 - 0.00000 - 249 50s 1546 83 infeasible 24 - 0.00000 - 254 55s 1809 78 infeasible 24 - 0.00000 - 253 60s 2019 70 infeasible 26 - 0.00000 - 257 65s 2238 79 0.00000 24 362 - 0.00000 - 257 70s 2460 63 infeasible 26 - 0.00000 - 260 75s 2715 60 infeasible 26 - 0.00000 - 259 80s 2921 86 infeasible 32 - 0.00000 - 260 85s 3164 121 infeasible 24 - 0.00000 - 260 90s 3418 117 infeasible 31 - 0.00000 - 260 95s 3640 121 infeasible 28 - 0.00000 - 261 100s 3898 129 infeasible 25 - 0.00000 - 259 105s 4123 134 infeasible 27 - 0.00000 - 260 110s 4409 142 infeasible 29 - 0.00000 - 258 115s 4640 143 infeasible 30 - 0.00000 - 259 120s 4849 132 infeasible 28 - 0.00000 - 260 125s 5056 113 0.00000 22 416 - 0.00000 - 261 130s 5261 96 infeasible 29 - 0.00000 - 263 135s 5482 113 0.00000 23 368 - 0.00000 - 263 140s 5722 95 0.00000 24 446 - 0.00000 - 263 145s 5913 88 infeasible 26 - 0.00000 - 264 150s 6187 96 infeasible 27 - 0.00000 - 263 155s 6402 89 infeasible 24 - 0.00000 - 264 160s 6616 79 0.00000 31 340 - 0.00000 - 265 165s 6802 87 infeasible 33 - 0.00000 - 266 170s 7028 93 infeasible 31 - 0.00000 - 266 175s 7274 81 0.00000 31 354 - 0.00000 - 266 180s 7520 85 infeasible 31 - 0.00000 - 265 185s 7736 93 0.00000 24 460 - 0.00000 - 266 190s 7965 106 0.00000 23 370 - 0.00000 - 266 195s 8187 106 0.00000 22 354 - 0.00000 - 266 200s 8429 100 infeasible 25 - 0.00000 - 266 205s 8641 106 infeasible 30 - 0.00000 - 267 210s 8826 111 0.00000 26 444 - 0.00000 - 268 215s 9047 107 infeasible 31 - 0.00000 - 268 220s 9251 89 0.00000 25 451 - 0.00000 - 268 225s 9496 98 0.00000 25 395 - 0.00000 - 268 230s 9685 105 infeasible 29 - 0.00000 - 269 235s 9897 111 0.00000 21 416 - 0.00000 - 269 240s 10097 103 infeasible 26 - 0.00000 - 269 245s 10277 99 0.00000 30 370 - 0.00000 - 270 250s 10479 115 infeasible 28 - 0.00000 - 271 255s 10692 108 0.00000 26 364 - 0.00000 - 271 260s 10911 111 0.00000 24 372 - 0.00000 - 271 265s 11110 92 infeasible 30 - 0.00000 - 271 270s 11357 91 infeasible 28 - 0.00000 - 271 275s 11568 104 infeasible 27 - 0.00000 - 271 280s 11788 104 infeasible 28 - 0.00000 - 272 285s 12015 95 infeasible 23 - 0.00000 - 272 290s Cutting planes: Clique: 1 Zero half: 9 Explored 12144 nodes (3355259 simplex iterations) in 293.45 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:17:09 2012 Optimize a model with 5165 rows, 1993 columns and 15895 nonzeros Presolve time: 0.01s Presolved: 5165 rows, 1993 columns, 15895 nonzeros Variable types: 0 continuous, 1993 integer (1993 binary) Root relaxation: objective 0.000000e+00, 451 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 400 - 0.00000 - - 0s Explored 0 nodes (605 simplex iterations) in 0.03 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