current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:21:25 2012 Optimize a model with 116865 rows, 23161 columns and 372015 nonzeros Presolve time: 0.40s Presolved: 116865 rows, 23161 columns, 372015 nonzeros Variable types: 0 continuous, 23161 integer (23161 binary) Root relaxation: objective 0.000000e+00, 545 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 (964 simplex iterations) in 0.70 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:21:27 2012 Optimize a model with 57982 rows, 12031 columns and 184236 nonzeros Presolve time: 0.18s Presolved: 57982 rows, 12031 columns, 184236 nonzeros Variable types: 0 continuous, 12031 integer (12031 binary) Root relaxation: objective 0.000000e+00, 784 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 (1345 simplex iterations) in 0.35 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:21:28 2012 Optimize a model with 29096 rows, 6571 columns and 92118 nonzeros Presolve time: 0.12s Presolved: 29096 rows, 6571 columns, 92118 nonzeros Variable types: 0 continuous, 6571 integer (6571 binary) Root relaxation: objective 0.000000e+00, 442 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 (867 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 13:21:29 2012 Optimize a model with 14653 rows, 3841 columns and 46059 nonzeros Presolve time: 0.05s Presolved: 14653 rows, 3841 columns, 46059 nonzeros Variable types: 0 continuous, 3841 integer (3841 binary) Root relaxation: objective 0.000000e+00, 432 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 (831 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 13:21:29 2012 Optimize a model with 6876 rows, 2371 columns and 21258 nonzeros Presolve time: 0.02s Presolved: 6876 rows, 2371 columns, 21258 nonzeros Variable types: 0 continuous, 2371 integer (2371 binary) Root relaxation: objective 0.000000e+00, 474 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 (2779 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:21:29 2012 Optimize a model with 3543 rows, 1741 columns and 10629 nonzeros Presolve time: 0.01s Presolved: 3543 rows, 1741 columns, 10629 nonzeros Variable types: 0 continuous, 1741 integer (1741 binary) Root relaxation: objective 0.000000e+00, 476 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 420 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6535 simplex iterations) in 0.89 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 13:21:30 2012 Optimize a model with 4654 rows, 1951 columns and 14172 nonzeros Presolve time: 0.01s Presolved: 4654 rows, 1951 columns, 14172 nonzeros Variable types: 0 continuous, 1951 integer (1951 binary) Root relaxation: objective 0.000000e+00, 479 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 410 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 505 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 382 - 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 376 - 0.00000 - - 7s 0 0 0.00000 0 386 - 0.00000 - - 8s 0 0 0.00000 0 378 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 10s 0 0 0.00000 0 364 - 0.00000 - - 11s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 2 0.00000 0 366 - 0.00000 - - 13s 55 15 0.00000 12 415 - 0.00000 - 288 15s 297 39 0.00000 14 440 - 0.00000 - 225 20s 599 43 infeasible 16 - 0.00000 - 206 25s 705 68 0.00000 22 386 - 0.00000 - 200 32s 706 68 0.00000 6 374 - 0.00000 - 199 35s 709 70 0.00000 13 382 - 0.00000 - 198 42s 710 71 0.00000 22 379 - 0.00000 - 198 45s 712 72 0.00000 8 366 - 0.00000 - 198 50s 818 49 infeasible 26 - 0.00000 - 284 55s 945 7 infeasible 26 - 0.00000 - 296 60s 1074 38 0.00000 27 494 - 0.00000 - 302 65s 1175 23 infeasible 27 - 0.00000 - 315 70s 1292 22 infeasible 28 - 0.00000 - 321 75s 1398 18 infeasible 26 - 0.00000 - 331 80s 1526 20 0.00000 28 394 - 0.00000 - 334 85s 1654 10 infeasible 28 - 0.00000 - 337 90s 1770 8 infeasible 29 - 0.00000 - 340 95s Cutting planes: Zero half: 8 Explored 1871 nodes (723233 simplex iterations) in 99.60 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 13:23:10 2012 Optimize a model with 5765 rows, 2161 columns and 17715 nonzeros Presolve time: 0.02s Presolved: 5765 rows, 2161 columns, 17715 nonzeros Variable types: 0 continuous, 2161 integer (2161 binary) Root relaxation: objective 0.000000e+00, 468 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 394 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 417 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12600 simplex iterations) in 1.57 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