current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:34:58 2012 Optimize a model with 119039 rows, 23699 columns and 379056 nonzeros Presolve time: 0.40s Presolved: 119039 rows, 23699 columns, 379056 nonzeros Variable types: 0 continuous, 23699 integer (23699 binary) Root relaxation: objective 0.000000e+00, 580 iterations, 0.15 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 (1030 simplex iterations) in 0.71 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:35:00 2012 Optimize a model with 59626 rows, 12410 columns and 189528 nonzeros Presolve time: 0.18s Presolved: 59626 rows, 12410 columns, 189528 nonzeros Variable types: 0 continuous, 12410 integer (12410 binary) Root relaxation: objective 0.000000e+00, 795 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 (1354 simplex iterations) in 0.34 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:35:01 2012 Optimize a model with 29359 rows, 6659 columns and 92976 nonzeros Presolve time: 0.12s Presolved: 29359 rows, 6659 columns, 92976 nonzeros Variable types: 0 continuous, 6659 integer (6659 binary) Root relaxation: objective 0.000000e+00, 526 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 (977 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:35:02 2012 Optimize a model with 14786 rows, 3890 columns and 46488 nonzeros Presolve time: 0.05s Presolved: 14786 rows, 3890 columns, 46488 nonzeros Variable types: 0 continuous, 3890 integer (3890 binary) Root relaxation: objective 0.000000e+00, 434 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 (834 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:35:02 2012 Optimize a model with 6939 rows, 2399 columns and 21456 nonzeros Presolve time: 0.02s Presolved: 6939 rows, 2399 columns, 21456 nonzeros Variable types: 0 continuous, 2399 integer (2399 binary) Root relaxation: objective 0.000000e+00, 460 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 (1554 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:35:02 2012 Optimize a model with 3576 rows, 1760 columns and 10728 nonzeros Presolve time: 0.01s Presolved: 3576 rows, 1760 columns, 10728 nonzeros Variable types: 0 continuous, 1760 integer (1760 binary) Root relaxation: objective 0.000000e+00, 485 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 422 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5277 simplex iterations) in 0.56 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 14:35:03 2012 Optimize a model with 4697 rows, 1973 columns and 14304 nonzeros Presolve time: 0.01s Presolved: 4697 rows, 1973 columns, 14304 nonzeros Variable types: 0 continuous, 1973 integer (1973 binary) Root relaxation: objective 0.000000e+00, 475 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 418 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 489 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 6s 0 2 0.00000 0 374 - 0.00000 - - 7s 141 63 infeasible 29 - 0.00000 - 213 10s 553 102 infeasible 14 - 0.00000 - 169 15s 605 108 0.00000 14 387 - 0.00000 - 167 21s 608 110 0.00000 22 380 - 0.00000 - 166 26s 610 111 0.00000 11 382 - 0.00000 - 166 31s 612 112 0.00000 20 368 - 0.00000 - 165 35s 614 114 0.00000 16 362 - 0.00000 - 165 40s 616 115 0.00000 12 369 - 0.00000 - 164 45s 618 116 0.00000 12 352 - 0.00000 - 164 51s 625 121 0.00000 18 471 - 0.00000 - 321 55s 681 122 0.00000 26 419 - 0.00000 - 319 60s 822 86 0.00000 33 451 - 0.00000 - 315 65s 966 46 0.00000 25 418 - 0.00000 - 316 70s 1134 50 0.00000 27 394 - 0.00000 - 313 75s 1295 47 0.00000 30 390 - 0.00000 - 315 80s 1461 45 infeasible 25 - 0.00000 - 312 85s 1636 42 infeasible 28 - 0.00000 - 312 90s 1799 51 0.00000 30 449 - 0.00000 - 311 95s 1953 55 infeasible 33 - 0.00000 - 311 100s 2130 66 infeasible 30 - 0.00000 - 310 105s 2297 69 0.00000 24 378 - 0.00000 - 309 110s 2508 96 0.00000 32 384 - 0.00000 - 304 115s 2686 90 0.00000 29 396 - 0.00000 - 304 120s 2891 87 infeasible 29 - 0.00000 - 302 125s 3064 68 0.00000 27 444 - 0.00000 - 303 130s 3204 60 0.00000 25 394 - 0.00000 - 305 135s 3368 56 0.00000 30 396 - 0.00000 - 306 140s 3520 54 infeasible 32 - 0.00000 - 308 145s 3668 56 infeasible 29 - 0.00000 - 310 150s 3839 55 infeasible 35 - 0.00000 - 310 155s 4010 46 0.00000 29 472 - 0.00000 - 311 160s 4157 37 infeasible 32 - 0.00000 - 311 165s 4302 28 0.00000 26 390 - 0.00000 - 313 170s 4434 32 infeasible 39 - 0.00000 - 314 175s 4566 30 infeasible 39 - 0.00000 - 316 180s 4715 31 0.00000 37 476 - 0.00000 - 317 185s 4862 26 infeasible 30 - 0.00000 - 318 190s 5019 23 infeasible 31 - 0.00000 - 319 195s 5129 21 infeasible 25 - 0.00000 - 321 200s 5264 18 infeasible 28 - 0.00000 - 322 205s 5399 11 infeasible 31 - 0.00000 - 322 210s 5520 6 0.00000 31 467 - 0.00000 - 324 215s Cutting planes: Gomory: 1 Zero half: 23 Explored 5553 nodes (1848180 simplex iterations) in 216.51 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:40 2012 Optimize a model with 5818 rows, 2186 columns and 17880 nonzeros Presolve time: 0.02s Presolved: 5818 rows, 2186 columns, 17880 nonzeros Variable types: 0 continuous, 2186 integer (2186 binary) Root relaxation: objective 0.000000e+00, 453 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 398 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s Cutting planes: Clique: 10 Zero half: 3 Explored 0 nodes (5737 simplex iterations) in 0.53 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% optimal solution found: number of colors: 5