current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:55 2012 Optimize a model with 43200 rows, 7918 columns and 136440 nonzeros Presolve time: 0.16s Presolved: 43200 rows, 7918 columns, 136440 nonzeros Variable types: 0 continuous, 7918 integer (7918 binary) Root relaxation: objective 0.000000e+00, 324 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 (592 simplex iterations) in 0.27 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:56 2012 Optimize a model with 21660 rows, 4318 columns and 68220 nonzeros Presolve time: 0.09s Presolved: 21660 rows, 4318 columns, 68220 nonzeros Variable types: 0 continuous, 4318 integer (4318 binary) Root relaxation: objective 0.000000e+00, 285 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 (541 simplex iterations) in 0.15 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:56 2012 Optimize a model with 10890 rows, 2518 columns and 34110 nonzeros Presolve time: 0.04s Presolved: 10890 rows, 2518 columns, 34110 nonzeros Variable types: 0 continuous, 2518 integer (2518 binary) Root relaxation: objective 0.000000e+00, 248 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 (460 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:56 2012 Optimize a model with 5146 rows, 1558 columns and 15918 nonzeros Presolve time: 0.01s Presolved: 5146 rows, 1558 columns, 15918 nonzeros Variable types: 0 continuous, 1558 integer (1558 binary) Root relaxation: objective 0.000000e+00, 254 iterations, 0.00 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 (596 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:56 2012 Optimize a model with 2274 rows, 1078 columns and 6822 nonzeros Presolve time: 0.01s Presolved: 2274 rows, 1078 columns, 6822 nonzeros Variable types: 0 continuous, 1078 integer (1078 binary) Root relaxation: objective 0.000000e+00, 266 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 240 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3818 simplex iterations) in 0.43 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:01:57 2012 Optimize a model with 3710 rows, 1318 columns and 11370 nonzeros Presolve time: 0.01s Presolved: 3710 rows, 1318 columns, 11370 nonzeros Variable types: 0 continuous, 1318 integer (1318 binary) Root relaxation: objective 0.000000e+00, 255 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 228 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 2 0.00000 0 273 - 0.00000 - - 3s 259 79 0.00000 22 164 - 0.00000 - 85.8 5s 709 166 0.00000 23 100 - 0.00000 - 75.3 10s 844 226 0.00000 36 189 - 0.00000 - 111 15s * 912 99 37 0.0000000 0.00000 0.0% 115 15s Cutting planes: Gomory: 2 Clique: 1 Zero half: 3 Explored 913 nodes (130895 simplex iterations) in 15.67 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:02:13 2012 Optimize a model with 2992 rows, 1198 columns and 9096 nonzeros Presolve time: 0.01s Presolved: 2992 rows, 1198 columns, 9096 nonzeros Variable types: 0 continuous, 1198 integer (1198 binary) Root relaxation: objective 0.000000e+00, 266 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 232 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 325 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 2 0.00000 0 334 - 0.00000 - - 5s Cutting planes: Clique: 15 Zero half: 13 Explored 25 nodes (34002 simplex iterations) in 6.10 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