current bounds on the number of colors: 0 -- 121 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:22:21 2012 Optimize a model with 42541 rows, 7967 columns and 134520 nonzeros Presolve time: 0.16s Presolved: 42541 rows, 7967 columns, 134520 nonzeros Variable types: 0 continuous, 7967 integer (7967 binary) Root relaxation: objective 0.000000e+00, 302 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 (569 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:22:22 2012 Optimize a model with 21331 rows, 4337 columns and 67260 nonzeros Presolve time: 0.09s Presolved: 21331 rows, 4337 columns, 67260 nonzeros Variable types: 0 continuous, 4337 integer (4337 binary) Root relaxation: objective 0.000000e+00, 289 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 (528 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:22:23 2012 Optimize a model with 10726 rows, 2522 columns and 33630 nonzeros Presolve time: 0.04s Presolved: 10726 rows, 2522 columns, 33630 nonzeros Variable types: 0 continuous, 2522 integer (2522 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 (484 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:22:23 2012 Optimize a model with 5070 rows, 1554 columns and 15694 nonzeros Presolve time: 0.01s Presolved: 5070 rows, 1554 columns, 15694 nonzeros Variable types: 0 continuous, 1554 integer (1554 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (924 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 21:22:23 2012 Optimize a model with 2242 rows, 1070 columns and 6726 nonzeros Presolve time: 0.01s Presolved: 2242 rows, 1070 columns, 6726 nonzeros Variable types: 0 continuous, 1070 integer (1070 binary) Root relaxation: objective 0.000000e+00, 264 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 242 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3027 simplex iterations) in 0.36 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:22:23 2012 Optimize a model with 3656 rows, 1312 columns and 11210 nonzeros Presolve time: 0.01s Presolved: 3656 rows, 1312 columns, 11210 nonzeros Variable types: 0 continuous, 1312 integer (1312 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 122 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 178 - 0.00000 - - 1s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 1s 0 0 0.00000 0 168 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 2s 0 0 0.00000 0 295 - 0.00000 - - 2s 0 0 0.00000 0 237 - 0.00000 - - 3s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 2 0.00000 0 254 - 0.00000 - - 4s 288 93 0.00000 33 142 - 0.00000 - 67.7 5s 608 116 0.00000 22 270 - 0.00000 - 52.7 10s 997 104 0.00000 37 190 - 0.00000 - 114 15s * 1461 5 38 0.0000000 0.00000 0.0% 127 19s Cutting planes: Gomory: 2 Clique: 2 Zero half: 11 Explored 1462 nodes (219256 simplex iterations) in 19.19 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:22:43 2012 Optimize a model with 2949 rows, 1191 columns and 8968 nonzeros Presolve time: 0.01s Presolved: 2949 rows, 1191 columns, 8968 nonzeros Variable types: 0 continuous, 1191 integer (1191 binary) Root relaxation: objective 0.000000e+00, 279 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 217 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 333 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 325 - 0.00000 - - 4s 0 0 0.00000 0 325 - 0.00000 - - 5s 0 2 0.00000 0 325 - 0.00000 - - 5s Cutting planes: Clique: 13 Zero half: 24 Explored 39 nodes (41243 simplex iterations) in 6.55 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