current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:11:02 2012 Optimize a model with 81252 rows, 12048 columns and 254264 nonzeros Presolve time: 0.23s Presolved: 81252 rows, 12048 columns, 254264 nonzeros Variable types: 0 continuous, 12048 integer (12048 binary) Root relaxation: objective 0.000000e+00, 394 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 (804 simplex iterations) in 0.45 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 17:11:04 2012 Optimize a model with 40700 rows, 6572 columns and 127132 nonzeros Presolve time: 0.15s Presolved: 40700 rows, 6572 columns, 127132 nonzeros Variable types: 0 continuous, 6572 integer (6572 binary) Root relaxation: objective 0.000000e+00, 345 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 (675 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 17:11:05 2012 Optimize a model with 19876 rows, 3760 columns and 61848 nonzeros Presolve time: 0.07s Presolved: 19876 rows, 3760 columns, 61848 nonzeros Variable types: 0 continuous, 3760 integer (3760 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 (870 simplex iterations) in 0.12 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 17:11:05 2012 Optimize a model with 10012 rows, 2428 columns and 30924 nonzeros Presolve time: 0.03s Presolved: 10012 rows, 2428 columns, 30924 nonzeros Variable types: 0 continuous, 2428 integer (2428 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (729 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 17:11:05 2012 Optimize a model with 4532 rows, 1688 columns and 13744 nonzeros Presolve time: 0.01s Presolved: 4532 rows, 1688 columns, 13744 nonzeros Variable types: 0 continuous, 1688 integer (1688 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 294 - 0.00000 - - 0s 0 0 0.00000 0 291 - 0.00000 - - 0s 0 0 0.00000 0 491 - 0.00000 - - 1s 0 0 0.00000 0 497 - 0.00000 - - 2s 0 0 0.00000 0 485 - 0.00000 - - 3s 0 0 0.00000 0 486 - 0.00000 - - 4s 0 0 0.00000 0 491 - 0.00000 - - 5s 0 0 0.00000 0 492 - 0.00000 - - 5s 0 0 0.00000 0 488 - 0.00000 - - 6s 0 2 0.00000 0 488 - 0.00000 - - 8s Cutting planes: Clique: 14 Zero half: 14 Explored 9 nodes (44099 simplex iterations) in 8.75 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 17:11:14 2012 Optimize a model with 6724 rows, 1984 columns and 20616 nonzeros Presolve time: 0.02s Presolved: 6724 rows, 1984 columns, 20616 nonzeros Variable types: 0 continuous, 1984 integer (1984 binary) Root relaxation: objective 0.000000e+00, 313 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 286 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Explored 0 nodes (29462 simplex iterations) in 4.36 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 17:11:18 2012 Optimize a model with 5628 rows, 1836 columns and 17180 nonzeros Presolve time: 0.01s Presolved: 5628 rows, 1836 columns, 17180 nonzeros Variable types: 0 continuous, 1836 integer (1836 binary) Root relaxation: objective 0.000000e+00, 326 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 294 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 0s 0 0 0.00000 0 460 - 0.00000 - - 1s 0 0 0.00000 0 451 - 0.00000 - - 2s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 456 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 5s 0 0 0.00000 0 409 - 0.00000 - - 6s 0 0 0.00000 0 406 - 0.00000 - - 7s 0 0 0.00000 0 412 - 0.00000 - - 8s 0 0 0.00000 0 416 - 0.00000 - - 9s 0 0 0.00000 0 394 - 0.00000 - - 11s 0 0 0.00000 0 369 - 0.00000 - - 12s 0 0 0.00000 0 377 - 0.00000 - - 14s 0 0 0.00000 0 371 - 0.00000 - - 15s 0 0 0.00000 0 390 - 0.00000 - - 16s 0 0 0.00000 0 390 - 0.00000 - - 16s 0 2 0.00000 0 390 - 0.00000 - - 18s 26 14 0.00000 18 314 - 0.00000 - 390 20s 322 25 0.00000 21 362 - 0.00000 - 169 25s 549 48 infeasible 30 - 0.00000 - 177 30s 748 36 0.00000 26 365 - 0.00000 - 185 35s 807 55 0.00000 10 444 - 0.00000 - 184 40s 813 59 0.00000 8 424 - 0.00000 - 182 45s 817 61 0.00000 14 418 - 0.00000 - 181 53s 818 62 0.00000 20 418 - 0.00000 - 181 58s 819 63 0.00000 27 417 - 0.00000 - 181 60s 832 69 0.00000 15 407 - 0.00000 - 229 65s 922 51 0.00000 26 358 - 0.00000 - 247 70s 1002 21 infeasible 27 - 0.00000 - 263 75s 1089 24 0.00000 27 360 - 0.00000 - 277 80s 1188 19 0.00000 27 375 - 0.00000 - 287 85s 1279 16 infeasible 26 - 0.00000 - 297 90s 1363 14 infeasible 27 - 0.00000 - 307 95s 1453 24 infeasible 28 - 0.00000 - 313 100s 1533 24 infeasible 26 - 0.00000 - 321 105s 1595 28 0.00000 27 357 - 0.00000 - 333 110s 1669 18 0.00000 24 381 - 0.00000 - 340 115s 1757 24 infeasible 29 - 0.00000 - 345 120s 1846 16 infeasible 25 - 0.00000 - 349 125s 1942 32 0.00000 34 360 - 0.00000 - 351 130s 2021 25 0.00000 25 363 - 0.00000 - 356 135s 2123 29 infeasible 35 - 0.00000 - 357 140s 2202 26 0.00000 28 367 - 0.00000 - 362 145s 2286 32 infeasible 36 - 0.00000 - 366 150s 2366 32 0.00000 32 355 - 0.00000 - 370 155s 2431 31 0.00000 28 363 - 0.00000 - 376 160s 2518 30 infeasible 25 - 0.00000 - 378 165s 2600 22 infeasible 27 - 0.00000 - 381 170s 2675 23 infeasible 30 - 0.00000 - 384 175s 2770 24 infeasible 30 - 0.00000 - 385 180s 2852 28 0.00000 25 373 - 0.00000 - 387 185s 2949 25 infeasible 24 - 0.00000 - 387 190s 3045 29 infeasible 27 - 0.00000 - 387 195s 3134 26 infeasible 27 - 0.00000 - 388 200s 3215 29 infeasible 29 - 0.00000 - 390 205s 3305 29 infeasible 26 - 0.00000 - 392 210s 3383 31 0.00000 27 352 - 0.00000 - 394 215s 3467 23 infeasible 24 - 0.00000 - 395 220s 3559 33 infeasible 31 - 0.00000 - 396 225s 3633 27 0.00000 24 390 - 0.00000 - 398 230s 3727 29 0.00000 23 359 - 0.00000 - 398 235s 3818 20 0.00000 22 368 - 0.00000 - 399 240s 3919 33 infeasible 34 - 0.00000 - 398 245s 4015 19 infeasible 26 - 0.00000 - 398 250s 4114 30 infeasible 27 - 0.00000 - 399 255s 4208 30 0.00000 28 376 - 0.00000 - 399 260s 4282 14 infeasible 23 - 0.00000 - 401 265s 4361 11 infeasible 23 - 0.00000 - 403 270s 4439 13 infeasible 23 - 0.00000 - 404 275s 4545 13 infeasible 28 - 0.00000 - 403 280s Cutting planes: Gomory: 3 Clique: 9 Zero half: 12 Explored 4578 nodes (1915113 simplex iterations) in 282.28 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