current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:08:55 2012 Optimize a model with 124013 rows, 24055 columns and 394295 nonzeros Presolve time: 0.42s Presolved: 124013 rows, 24055 columns, 394295 nonzeros Variable types: 0 continuous, 24055 integer (24055 binary) Root relaxation: objective 0.000000e+00, 564 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 (1013 simplex iterations) in 0.77 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:08:58 2012 Optimize a model with 61535 rows, 12499 columns and 195305 nonzeros Presolve time: 0.17s Presolved: 61535 rows, 12499 columns, 195305 nonzeros Variable types: 0 continuous, 12499 integer (12499 binary) Root relaxation: objective 0.000000e+00, 688 iterations, 0.05 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 (1159 simplex iterations) in 0.31 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 15:08:59 2012 Optimize a model with 30296 rows, 6721 columns and 95810 nonzeros Presolve time: 0.13s Presolved: 30296 rows, 6721 columns, 95810 nonzeros Variable types: 0 continuous, 6721 integer (6721 binary) Root relaxation: objective 0.000000e+00, 477 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 (927 simplex iterations) in 0.19 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 15:08:59 2012 Optimize a model with 15255 rows, 3939 columns and 47905 nonzeros Presolve time: 0.05s Presolved: 15255 rows, 3939 columns, 47905 nonzeros Variable types: 0 continuous, 3939 integer (3939 binary) Root relaxation: objective 0.000000e+00, 437 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 (842 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:08:59 2012 Optimize a model with 7156 rows, 2441 columns and 22110 nonzeros Presolve time: 0.02s Presolved: 7156 rows, 2441 columns, 22110 nonzeros Variable types: 0 continuous, 2441 integer (2441 binary) Root relaxation: objective 0.000000e+00, 463 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 (4143 simplex iterations) in 0.40 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:09:00 2012 Optimize a model with 3685 rows, 1799 columns and 11055 nonzeros Presolve time: 0.01s Presolved: 3685 rows, 1799 columns, 11055 nonzeros Variable types: 0 continuous, 1799 integer (1799 binary) Root relaxation: objective 0.000000e+00, 482 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 426 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 0.00000 0 589 - 0.00000 - - 1s 0 0 0.00000 0 595 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Zero half: 1554 Explored 0 nodes (9673 simplex iterations) in 2.06 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:09:02 2012 Optimize a model with 4842 rows, 2013 columns and 14740 nonzeros Presolve time: 0.01s Presolved: 4842 rows, 2013 columns, 14740 nonzeros Variable types: 0 continuous, 2013 integer (2013 binary) Root relaxation: objective 0.000000e+00, 481 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 412 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 584 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 0 0.00000 0 389 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 8s 0 0 0.00000 0 376 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 2 0.00000 0 378 - 0.00000 - - 11s 134 47 infeasible 15 - 0.00000 - 243 15s 501 79 0.00000 15 402 - 0.00000 - 174 20s 803 103 0.00000 12 398 - 0.00000 - 169 26s 805 105 0.00000 4 388 - 0.00000 - 169 31s 807 106 0.00000 13 391 - 0.00000 - 169 37s 809 107 0.00000 4 372 - 0.00000 - 168 42s 811 109 0.00000 11 362 - 0.00000 - 168 46s 812 109 0.00000 17 393 - 0.00000 - 167 50s 839 109 infeasible 20 - 0.00000 - 260 55s 953 71 0.00000 18 472 - 0.00000 - 274 60s 1050 40 infeasible 22 - 0.00000 - 288 65s 1151 12 infeasible 24 - 0.00000 - 298 70s 1271 6 0.00000 25 382 - 0.00000 - 305 75s 1370 7 infeasible 25 - 0.00000 - 315 80s 1496 15 infeasible 24 - 0.00000 - 319 85s 1597 12 0.00000 24 390 - 0.00000 - 326 90s 1687 6 infeasible 23 - 0.00000 - 334 95s 1805 12 0.00000 27 402 - 0.00000 - 336 100s Cutting planes: Zero half: 10 Explored 1858 nodes (694642 simplex iterations) in 102.68 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:10:45 2012 Optimize a model with 5999 rows, 2227 columns and 18425 nonzeros Presolve time: 0.02s Presolved: 5999 rows, 2227 columns, 18425 nonzeros Variable types: 0 continuous, 2227 integer (2227 binary) Root relaxation: objective 0.000000e+00, 461 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 402 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 4s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 278 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 0 0.00000 0 274 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 276 - 0.00000 - - 5s 0 0 0.00000 0 254 - 0.00000 - - 5s 0 0 0.00000 0 242 - 0.00000 - - 6s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 0 0.00000 0 252 - 0.00000 - - 7s 0 2 0.00000 0 252 - 0.00000 - - 7s * 142 1 60 0.0000000 0.00000 0.0% 87.8 9s Cutting planes: Zero half: 11 Explored 143 nodes (75738 simplex iterations) in 9.14 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