current bounds on the number of colors: 0 -- 166 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:03 2012 Optimize a model with 56357 rows, 14455 columns and 182351 nonzeros Presolve time: 0.17s Presolved: 56357 rows, 14455 columns, 182351 nonzeros Variable types: 0 continuous, 14455 integer (14455 binary) Root relaxation: objective 0.000000e+00, 601 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 (965 simplex iterations) in 0.30 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:04 2012 Optimize a model with 27923 rows, 7483 columns and 90077 nonzeros Presolve time: 0.14s Presolved: 27923 rows, 7483 columns, 90077 nonzeros Variable types: 0 continuous, 7483 integer (7483 binary) Root relaxation: objective 0.000000e+00, 564 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 (904 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:05 2012 Optimize a model with 13706 rows, 3997 columns and 43940 nonzeros Presolve time: 0.05s Presolved: 13706 rows, 3997 columns, 43940 nonzeros Variable types: 0 continuous, 3997 integer (3997 binary) Root relaxation: objective 0.000000e+00, 339 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 (640 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 20:06:05 2012 Optimize a model with 6936 rows, 2337 columns and 21970 nonzeros Presolve time: 0.02s Presolved: 6936 rows, 2337 columns, 21970 nonzeros Variable types: 0 continuous, 2337 integer (2337 binary) Root relaxation: objective 0.000000e+00, 350 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 (657 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 20:06:05 2012 Optimize a model with 3551 rows, 1507 columns and 10985 nonzeros Presolve time: 0.01s Presolved: 3551 rows, 1507 columns, 10985 nonzeros Variable types: 0 continuous, 1507 integer (1507 binary) Root relaxation: objective 0.000000e+00, 374 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 10 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1982 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:05 2012 Optimize a model with 1520 rows, 1009 columns and 4394 nonzeros Presolve removed 166 rows and 166 columns Presolve time: 0.00s Presolved: 1354 rows, 843 columns, 4062 nonzeros Variable types: 0 continuous, 843 integer (843 binary) Root relaxation: objective 0.000000e+00, 172 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 166 - 0.00000 - - 0s Explored 0 nodes (712 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 20:06:05 2012 Optimize a model with 2197 rows, 1175 columns and 6591 nonzeros Presolve time: 0.01s Presolved: 2197 rows, 1175 columns, 6591 nonzeros Variable types: 0 continuous, 1175 integer (1175 binary) Root relaxation: objective 0.000000e+00, 378 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 330 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 19 Zero half: 411 Explored 0 nodes (5928 simplex iterations) in 0.66 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 20:06:06 2012 Optimize a model with 2874 rows, 1341 columns and 8788 nonzeros Presolve time: 0.01s Presolved: 2874 rows, 1341 columns, 8788 nonzeros Variable types: 0 continuous, 1341 integer (1341 binary) Root relaxation: objective 0.000000e+00, 393 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 320 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 2s 0 0 0.00000 0 197 - 0.00000 - - 2s 0 0 0.00000 0 192 - 0.00000 - - 3s 0 0 0.00000 0 184 - 0.00000 - - 3s 0 0 0.00000 0 315 - 0.00000 - - 3s 0 0 0.00000 0 176 - 0.00000 - - 3s 0 2 0.00000 0 176 - 0.00000 - - 4s 297 35 0.00000 21 244 - 0.00000 - 56.0 5s 664 108 0.00000 20 238 - 0.00000 - 93.9 10s * 1336 2 23 0.0000000 0.00000 0.0% 113 14s Cutting planes: Gomory: 4 Zero half: 11 Explored 1337 nodes (196371 simplex iterations) in 14.76 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