current bounds on the number of colors: 0 -- 162 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:16 2012 Optimize a model with 56133 rows, 13813 columns and 181035 nonzeros Presolve time: 0.17s Presolved: 56133 rows, 13813 columns, 181035 nonzeros Variable types: 0 continuous, 13813 integer (13813 binary) Root relaxation: objective 0.000000e+00, 548 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 (903 simplex iterations) in 0.29 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:17 2012 Optimize a model with 27802 rows, 7171 columns and 89400 nonzeros Presolve time: 0.14s Presolved: 27802 rows, 7171 columns, 89400 nonzeros Variable types: 0 continuous, 7171 integer (7171 binary) Root relaxation: objective 0.000000e+00, 503 iterations, 0.03 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 (853 simplex iterations) in 0.20 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:17 2012 Optimize a model with 13982 rows, 3931 columns and 44700 nonzeros Presolve time: 0.05s Presolved: 13982 rows, 3931 columns, 44700 nonzeros Variable types: 0 continuous, 3931 integer (3931 binary) Root relaxation: objective 0.000000e+00, 345 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 (630 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:17 2012 Optimize a model with 7072 rows, 2311 columns and 22350 nonzeros Presolve time: 0.02s Presolved: 7072 rows, 2311 columns, 22350 nonzeros Variable types: 0 continuous, 2311 integer (2311 binary) Root relaxation: objective 0.000000e+00, 353 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 (634 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:17 2012 Optimize a model with 3617 rows, 1501 columns and 11175 nonzeros Presolve time: 0.01s Presolved: 3617 rows, 1501 columns, 11175 nonzeros Variable types: 0 continuous, 1501 integer (1501 binary) Root relaxation: objective 0.000000e+00, 367 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 102 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2681 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:18 2012 Optimize a model with 1544 rows, 1015 columns and 4470 nonzeros Presolve removed 162 rows and 162 columns Presolve time: 0.00s Presolved: 1382 rows, 853 columns, 4146 nonzeros Variable types: 0 continuous, 853 integer (853 binary) Root relaxation: objective 0.000000e+00, 170 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 162 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (726 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:18 2012 Optimize a model with 2235 rows, 1177 columns and 6705 nonzeros Presolve time: 0.01s Presolved: 2235 rows, 1177 columns, 6705 nonzeros Variable types: 0 continuous, 1177 integer (1177 binary) Root relaxation: objective 0.000000e+00, 377 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 320 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3909 simplex iterations) in 0.38 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:33:18 2012 Optimize a model with 2926 rows, 1339 columns and 8940 nonzeros Presolve time: 0.01s Presolved: 2926 rows, 1339 columns, 8940 nonzeros Variable types: 0 continuous, 1339 integer (1339 binary) Root relaxation: objective 0.000000e+00, 365 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 298 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 2 0.00000 0 402 - 0.00000 - - 2s 570 39 0.00000 14 260 - 0.00000 - 98.7 5s 609 54 0.00000 20 379 - 0.00000 - 96.7 10s 887 33 0.00000 24 284 - 0.00000 - 151 15s 1426 26 0.00000 25 268 - 0.00000 - 157 20s 1972 30 infeasible 22 - 0.00000 - 158 25s 2474 14 infeasible 24 - 0.00000 - 161 30s 2942 18 infeasible 24 - 0.00000 - 166 35s 3436 8 infeasible 26 - 0.00000 - 167 40s 3967 7 infeasible 23 - 0.00000 - 168 45s 4528 16 0.00000 24 274 - 0.00000 - 167 50s 5104 20 0.00000 25 242 - 0.00000 - 167 55s Cutting planes: Gomory: 1 Zero half: 22 Explored 5321 nodes (908075 simplex iterations) in 57.04 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5