current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:49:59 2012 Optimize a model with 129600 rows, 24526 columns and 411480 nonzeros Presolve time: 0.45s Presolved: 129600 rows, 24526 columns, 411480 nonzeros Variable types: 0 continuous, 24526 integer (24526 binary) Root relaxation: objective 0.000000e+00, 552 iterations, 0.16 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 (1019 simplex iterations) in 0.79 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:50:01 2012 Optimize a model with 64908 rows, 12862 columns and 205740 nonzeros Presolve time: 0.18s Presolved: 64908 rows, 12862 columns, 205740 nonzeros Variable types: 0 continuous, 12862 integer (12862 binary) Root relaxation: objective 0.000000e+00, 672 iterations, 0.08 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 (1247 simplex iterations) in 0.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: 0 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:50:02 2012 Optimize a model with 32562 rows, 7030 columns and 102870 nonzeros Presolve time: 0.14s Presolved: 32562 rows, 7030 columns, 102870 nonzeros Variable types: 0 continuous, 7030 integer (7030 binary) Root relaxation: objective 0.000000e+00, 551 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 (1009 simplex iterations) in 0.21 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:50:03 2012 Optimize a model with 15790 rows, 4006 columns and 49530 nonzeros Presolve time: 0.05s Presolved: 15790 rows, 4006 columns, 49530 nonzeros Variable types: 0 continuous, 4006 integer (4006 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 (855 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 15:50:03 2012 Optimize a model with 7404 rows, 2494 columns and 22860 nonzeros Presolve time: 0.02s Presolved: 7404 rows, 2494 columns, 22860 nonzeros Variable types: 0 continuous, 2494 integer (2494 binary) Root relaxation: objective 0.000000e+00, 486 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 32 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5341 simplex iterations) in 0.50 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 15:50:04 2012 Optimize a model with 3810 rows, 1846 columns and 11430 nonzeros Presolve time: 0.01s Presolved: 3810 rows, 1846 columns, 11430 nonzeros Variable types: 0 continuous, 1846 integer (1846 binary) Root relaxation: objective 0.000000e+00, 489 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 430 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (6536 simplex iterations) in 1.09 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 15:50:05 2012 Optimize a model with 5008 rows, 2062 columns and 15240 nonzeros Presolve time: 0.01s Presolved: 5008 rows, 2062 columns, 15240 nonzeros Variable types: 0 continuous, 2062 integer (2062 binary) Root relaxation: objective 0.000000e+00, 492 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 428 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 594 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 4s 0 0 0.00000 0 406 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 6s 0 0 0.00000 0 409 - 0.00000 - - 7s 0 0 0.00000 0 412 - 0.00000 - - 8s 0 0 0.00000 0 412 - 0.00000 - - 8s 0 2 0.00000 0 410 - 0.00000 - - 10s 171 18 0.00000 9 524 - 0.00000 - 263 15s 354 41 infeasible 12 - 0.00000 - 249 20s 543 38 0.00000 15 537 - 0.00000 - 244 25s 605 62 0.00000 16 407 - 0.00000 - 239 33s 606 62 0.00000 5 384 - 0.00000 - 238 36s 608 64 0.00000 9 386 - 0.00000 - 237 41s 610 65 0.00000 10 384 - 0.00000 - 237 47s 612 66 0.00000 10 386 - 0.00000 - 236 52s 616 69 0.00000 11 542 - 0.00000 - 352 55s 622 73 0.00000 14 420 - 0.00000 - 352 60s 688 63 infeasible 22 - 0.00000 - 355 65s 776 28 0.00000 21 475 - 0.00000 - 362 70s 869 13 0.00000 19 516 - 0.00000 - 364 75s 943 9 0.00000 14 553 - 0.00000 - 376 80s 1020 10 0.00000 18 414 - 0.00000 - 382 85s Cutting planes: Zero half: 24 Explored 1077 nodes (475141 simplex iterations) in 89.83 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 15:51:35 2012 Optimize a model with 6206 rows, 2278 columns and 19050 nonzeros Presolve time: 0.02s Presolved: 6206 rows, 2278 columns, 19050 nonzeros Variable types: 0 continuous, 2278 integer (2278 binary) Root relaxation: objective 0.000000e+00, 459 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 414 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 276 - 0.00000 - - 6s 0 0 0.00000 0 264 - 0.00000 - - 6s 0 0 0.00000 0 258 - 0.00000 - - 7s 0 0 0.00000 0 274 - 0.00000 - - 7s 0 0 0.00000 0 268 - 0.00000 - - 7s 0 0 0.00000 0 262 - 0.00000 - - 7s 0 0 0.00000 0 284 - 0.00000 - - 8s 0 0 0.00000 0 246 - 0.00000 - - 8s 0 0 0.00000 0 234 - 0.00000 - - 9s 0 0 0.00000 0 240 - 0.00000 - - 9s 0 0 0.00000 0 240 - 0.00000 - - 9s 0 2 0.00000 0 240 - 0.00000 - - 10s * 232 3 48 0.0000000 0.00000 0.0% 70.4 12s Cutting planes: Zero half: 25 Explored 233 nodes (100668 simplex iterations) in 12.52 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