current bounds on the number of colors: 0 -- 158 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:46 2012 Optimize a model with 52298 rows, 13142 columns and 168902 nonzeros Presolve time: 0.17s Presolved: 52298 rows, 13142 columns, 168902 nonzeros Variable types: 0 continuous, 13142 integer (13142 binary) Root relaxation: objective 0.000000e+00, 563 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 (922 simplex iterations) in 0.28 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:47 2012 Optimize a model with 25898 rows, 6822 columns and 83382 nonzeros Presolve time: 0.13s Presolved: 25898 rows, 6822 columns, 83382 nonzeros Variable types: 0 continuous, 6822 integer (6822 binary) Root relaxation: objective 0.000000e+00, 409 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 (721 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:47 2012 Optimize a model with 12698 rows, 3662 columns and 40622 nonzeros Presolve time: 0.05s Presolved: 12698 rows, 3662 columns, 40622 nonzeros Variable types: 0 continuous, 3662 integer (3662 binary) Root relaxation: objective 0.000000e+00, 362 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 (673 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:48 2012 Optimize a model with 6098 rows, 2082 columns and 19242 nonzeros Presolve time: 0.02s Presolved: 6098 rows, 2082 columns, 19242 nonzeros Variable types: 0 continuous, 2082 integer (2082 binary) Root relaxation: objective 0.000000e+00, 342 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 (632 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:05:48 2012 Optimize a model with 2798 rows, 1292 columns and 8552 nonzeros Presolve time: 0.01s Presolved: 2798 rows, 1292 columns, 8552 nonzeros Variable types: 0 continuous, 1292 integer (1292 binary) Root relaxation: objective 0.000000e+00, 387 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 314 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 2 0.00000 0 350 - 0.00000 - - 2s 605 136 0.00000 14 367 - 0.00000 - 76.9 6s 608 138 0.00000 18 297 - 0.00000 - 76.5 10s 900 78 infeasible 26 - 0.00000 - 127 15s 1483 39 0.00000 25 312 - 0.00000 - 144 20s 2008 37 0.00000 24 242 - 0.00000 - 154 25s 2582 23 infeasible 26 - 0.00000 - 157 30s * 2822 0 21 0.0000000 0.00000 0.0% 158 32s Cutting planes: Gomory: 1 Zero half: 18 Explored 2823 nodes (462259 simplex iterations) in 32.11 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:20 2012 Optimize a model with 1478 rows, 976 columns and 4276 nonzeros Presolve removed 158 rows and 158 columns Presolve time: 0.00s Presolved: 1320 rows, 818 columns, 3960 nonzeros Variable types: 0 continuous, 818 integer (818 binary) Root relaxation: objective 0.000000e+00, 171 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 158 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (671 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:20 2012 Optimize a model with 2138 rows, 1134 columns and 6414 nonzeros Presolve time: 0.01s Presolved: 2138 rows, 1134 columns, 6414 nonzeros Variable types: 0 continuous, 1134 integer (1134 binary) Root relaxation: objective 0.000000e+00, 357 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 310 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3708 simplex iterations) in 0.33 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4