current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:27 2012 Optimize a model with 50881 rows, 13514 columns and 165040 nonzeros Presolve time: 0.17s Presolved: 50881 rows, 13514 columns, 165040 nonzeros Variable types: 0 continuous, 13514 integer (13514 binary) Root relaxation: objective 0.000000e+00, 626 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 (972 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:28 2012 Optimize a model with 25521 rows, 7074 columns and 82520 nonzeros Presolve time: 0.13s Presolved: 25521 rows, 7074 columns, 82520 nonzeros Variable types: 0 continuous, 7074 integer (7074 binary) Root relaxation: objective 0.000000e+00, 428 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 (747 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:28 2012 Optimize a model with 12841 rows, 3854 columns and 41260 nonzeros Presolve time: 0.05s Presolved: 12841 rows, 3854 columns, 41260 nonzeros Variable types: 0 continuous, 3854 integer (3854 binary) Root relaxation: objective 0.000000e+00, 326 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 (613 simplex iterations) in 0.07 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:24:29 2012 Optimize a model with 6501 rows, 2244 columns and 20630 nonzeros Presolve time: 0.02s Presolved: 6501 rows, 2244 columns, 20630 nonzeros Variable types: 0 continuous, 2244 integer (2244 binary) Root relaxation: objective 0.000000e+00, 332 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 (631 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:24:29 2012 Optimize a model with 3331 rows, 1439 columns and 10315 nonzeros Presolve time: 0.01s Presolved: 3331 rows, 1439 columns, 10315 nonzeros Variable types: 0 continuous, 1439 integer (1439 binary) Root relaxation: objective 0.000000e+00, 374 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 (1041 simplex iterations) in 0.03 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:24:29 2012 Optimize a model with 1429 rows, 956 columns and 4126 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1268 rows, 795 columns, 3804 nonzeros Variable types: 0 continuous, 795 integer (795 binary) Root relaxation: objective 0.000000e+00, 169 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 161 - 0.00000 - - 0s Explored 0 nodes (683 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:24:29 2012 Optimize a model with 2063 rows, 1117 columns and 6189 nonzeros Presolve time: 0.01s Presolved: 2063 rows, 1117 columns, 6189 nonzeros Variable types: 0 continuous, 1117 integer (1117 binary) Root relaxation: objective 0.000000e+00, 362 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 310 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 2 Zero half: 349 Explored 0 nodes (5988 simplex iterations) in 0.65 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:24:30 2012 Optimize a model with 2697 rows, 1278 columns and 8252 nonzeros Presolve time: 0.01s Presolved: 2697 rows, 1278 columns, 8252 nonzeros Variable types: 0 continuous, 1278 integer (1278 binary) Root relaxation: objective 0.000000e+00, 376 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 223 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 238 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 222 - 0.00000 - - 2s 0 0 0.00000 0 194 - 0.00000 - - 2s 0 0 0.00000 0 200 - 0.00000 - - 2s 0 0 0.00000 0 175 - 0.00000 - - 2s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 140 - 0.00000 - - 2s 0 0 0.00000 0 136 - 0.00000 - - 2s 0 0 0.00000 0 159 - 0.00000 - - 2s 0 0 0.00000 0 158 - 0.00000 - - 3s 0 2 0.00000 0 158 - 0.00000 - - 3s 669 159 0.00000 24 216 - 0.00000 - 55.3 5s 714 173 0.00000 22 265 - 0.00000 - 54.4 10s * 863 117 30 0.0000000 0.00000 0.0% 99.3 11s Cutting planes: Gomory: 2 Zero half: 11 Explored 864 nodes (126207 simplex iterations) in 11.71 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: 4