current bounds on the number of colors: 0 -- 119 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:54:38 2012 Optimize a model with 41478 rows, 7722 columns and 131098 nonzeros Presolve time: 0.16s Presolved: 41478 rows, 7722 columns, 131098 nonzeros Variable types: 0 continuous, 7722 integer (7722 binary) Root relaxation: objective 0.000000e+00, 313 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 (634 simplex iterations) in 0.26 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 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:54:39 2012 Optimize a model with 20448 rows, 4152 columns and 64438 nonzeros Presolve time: 0.09s Presolved: 20448 rows, 4152 columns, 64438 nonzeros Variable types: 0 continuous, 4152 integer (4152 binary) Root relaxation: objective 0.000000e+00, 269 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 (502 simplex iterations) in 0.13 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:54:39 2012 Optimize a model with 9933 rows, 2367 columns and 31108 nonzeros Presolve time: 0.03s Presolved: 9933 rows, 2367 columns, 31108 nonzeros Variable types: 0 continuous, 2367 integer (2367 binary) Root relaxation: objective 0.000000e+00, 245 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 (481 simplex iterations) in 0.05 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:54:39 2012 Optimize a model with 5026 rows, 1534 columns and 15554 nonzeros Presolve time: 0.01s Presolved: 5026 rows, 1534 columns, 15554 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 246 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 (1025 simplex iterations) in 0.05 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 20:54:39 2012 Optimize a model with 2222 rows, 1058 columns and 6666 nonzeros Presolve time: 0.01s Presolved: 2222 rows, 1058 columns, 6666 nonzeros Variable types: 0 continuous, 1058 integer (1058 binary) Root relaxation: objective 0.000000e+00, 251 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 190 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4037 simplex iterations) in 0.39 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 20:54:40 2012 Optimize a model with 3624 rows, 1296 columns and 11110 nonzeros Presolve time: 0.01s Presolved: 3624 rows, 1296 columns, 11110 nonzeros Variable types: 0 continuous, 1296 integer (1296 binary) Root relaxation: objective 0.000000e+00, 245 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 236 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 291 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 2 0.00000 0 294 - 0.00000 - - 2s 558 107 0.00000 21 160 - 0.00000 - 83.4 5s 711 132 0.00000 21 307 - 0.00000 - 80.9 10s * 762 110 31 0.0000000 0.00000 0.0% 119 11s Cutting planes: Gomory: 3 Zero half: 6 Explored 763 nodes (108214 simplex iterations) in 11.69 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 20:54:51 2012 Optimize a model with 2923 rows, 1177 columns and 8888 nonzeros Presolve time: 0.01s Presolved: 2923 rows, 1177 columns, 8888 nonzeros Variable types: 0 continuous, 1177 integer (1177 binary) Root relaxation: objective 0.000000e+00, 262 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 234 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 2s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 331 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 2 0.00000 0 334 - 0.00000 - - 5s Cutting planes: Clique: 12 Zero half: 20 Explored 15 nodes (30938 simplex iterations) in 6.37 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