current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:32:15 2012 Optimize a model with 57553 rows, 9648 columns and 181038 nonzeros Presolve time: 0.18s Presolved: 57553 rows, 9648 columns, 181038 nonzeros Variable types: 0 continuous, 9648 integer (9648 binary) Root relaxation: objective 0.000000e+00, 359 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 (651 simplex iterations) in 0.32 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:32:16 2012 Optimize a model with 28843 rows, 5259 columns and 90519 nonzeros Presolve time: 0.13s Presolved: 28843 rows, 5259 columns, 90519 nonzeros Variable types: 0 continuous, 5259 integer (5259 binary) Root relaxation: objective 0.000000e+00, 325 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 (600 simplex iterations) in 0.20 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 04:32:17 2012 Optimize a model with 14053 rows, 2998 columns and 43888 nonzeros Presolve time: 0.05s Presolved: 14053 rows, 2998 columns, 43888 nonzeros Variable types: 0 continuous, 2998 integer (2998 binary) Root relaxation: objective 0.000000e+00, 276 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 (669 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 04:32:17 2012 Optimize a model with 7093 rows, 1934 columns and 21944 nonzeros Presolve time: 0.02s Presolved: 7093 rows, 1934 columns, 21944 nonzeros Variable types: 0 continuous, 1934 integer (1934 binary) Root relaxation: objective 0.000000e+00, 277 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 (585 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 04:32:17 2012 Optimize a model with 3613 rows, 1402 columns and 10972 nonzeros Presolve time: 0.01s Presolved: 3613 rows, 1402 columns, 10972 nonzeros Variable types: 0 continuous, 1402 integer (1402 binary) Root relaxation: objective 0.000000e+00, 312 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 266 - 0.00000 - - 0s 0 0 0.00000 0 241 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 387 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 7s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 0 0.00000 0 389 - 0.00000 - - 8s 0 0 0.00000 0 389 - 0.00000 - - 9s 0 2 0.00000 0 389 - 0.00000 - - 10s Cutting planes: Clique: 10 Zero half: 20 Explored 8 nodes (41114 simplex iterations) in 10.58 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 04:32:28 2012 Optimize a model with 5353 rows, 1668 columns and 16458 nonzeros Presolve time: 0.01s Presolved: 5353 rows, 1668 columns, 16458 nonzeros Variable types: 0 continuous, 1668 integer (1668 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 109 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2644 simplex iterations) in 0.16 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 04:32:28 2012 Optimize a model with 4483 rows, 1535 columns and 13715 nonzeros Presolve time: 0.01s Presolved: 4483 rows, 1535 columns, 13715 nonzeros Variable types: 0 continuous, 1535 integer (1535 binary) Root relaxation: objective 0.000000e+00, 281 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 254 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 191 - 0.00000 - - 2s 0 0 0.00000 0 178 - 0.00000 - - 2s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 172 - 0.00000 - - 3s 0 0 0.00000 0 265 - 0.00000 - - 3s 0 0 0.00000 0 377 - 0.00000 - - 4s 0 0 0.00000 0 365 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 5s 0 0 0.00000 0 330 - 0.00000 - - 6s 0 0 0.00000 0 333 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 2 0.00000 0 328 - 0.00000 - - 7s 308 43 0.00000 17 206 - 0.00000 - 94.7 10s 905 45 0.00000 20 265 - 0.00000 - 78.9 15s 909 47 0.00000 30 251 - 0.00000 - 78.6 20s 956 67 0.00000 17 314 - 0.00000 - 123 25s 1289 113 infeasible 25 - 0.00000 - 142 30s 1628 152 infeasible 26 - 0.00000 - 154 35s 1925 205 0.00000 28 274 - 0.00000 - 163 40s 2286 214 infeasible 30 - 0.00000 - 168 45s 2614 246 infeasible 35 - 0.00000 - 172 50s 2937 251 0.00000 22 300 - 0.00000 - 177 55s 3194 292 infeasible 27 - 0.00000 - 181 60s 3433 297 0.00000 27 294 - 0.00000 - 186 65s 3666 336 0.00000 28 239 - 0.00000 - 191 70s 3932 336 infeasible 30 - 0.00000 - 195 75s 4187 349 0.00000 25 228 - 0.00000 - 198 80s 4453 351 infeasible 27 - 0.00000 - 201 85s 4756 360 infeasible 31 - 0.00000 - 202 90s 5056 356 infeasible 22 - 0.00000 - 203 95s 5332 342 0.00000 32 280 - 0.00000 - 205 100s 5632 332 0.00000 26 276 - 0.00000 - 205 105s 5872 328 infeasible 26 - 0.00000 - 208 110s 6135 333 infeasible 32 - 0.00000 - 209 115s 6390 346 infeasible 25 - 0.00000 - 211 120s 6675 353 infeasible 26 - 0.00000 - 211 125s 6926 358 infeasible 27 - 0.00000 - 212 130s 7222 362 infeasible 24 - 0.00000 - 213 135s 7473 379 infeasible 26 - 0.00000 - 214 140s 7736 400 infeasible 27 - 0.00000 - 215 145s 7981 401 infeasible 28 - 0.00000 - 216 150s 8226 396 infeasible 25 - 0.00000 - 217 155s 8465 393 0.00000 25 269 - 0.00000 - 219 160s 8748 400 0.00000 29 270 - 0.00000 - 219 165s 9010 386 0.00000 26 242 - 0.00000 - 219 170s 9248 372 infeasible 27 - 0.00000 - 220 175s 9494 360 infeasible 27 - 0.00000 - 221 180s 9734 350 infeasible 27 - 0.00000 - 222 185s 9995 361 infeasible 29 - 0.00000 - 223 190s 10232 362 infeasible 28 - 0.00000 - 223 195s 10465 369 infeasible 29 - 0.00000 - 224 200s 10698 364 0.00000 25 301 - 0.00000 - 225 205s 10947 379 0.00000 23 280 - 0.00000 - 226 210s 11271 371 infeasible 30 - 0.00000 - 225 215s 11521 385 infeasible 28 - 0.00000 - 226 220s 11816 374 0.00000 27 282 - 0.00000 - 226 225s 12098 392 infeasible 28 - 0.00000 - 226 230s 12361 387 0.00000 25 317 - 0.00000 - 226 235s 12676 404 infeasible 31 - 0.00000 - 226 240s 12984 438 infeasible 29 - 0.00000 - 226 245s 13307 437 infeasible 34 - 0.00000 - 226 250s 13590 432 0.00000 29 275 - 0.00000 - 226 255s 13819 417 infeasible 22 - 0.00000 - 227 260s 14050 424 infeasible 31 - 0.00000 - 228 265s 14281 425 infeasible 29 - 0.00000 - 228 270s 14542 430 0.00000 28 313 - 0.00000 - 229 275s 14792 408 infeasible 28 - 0.00000 - 229 280s 15021 399 infeasible 28 - 0.00000 - 230 285s Cutting planes: Clique: 1 Zero half: 4 Explored 15060 nodes (3509317 simplex iterations) in 285.93 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