current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:21 2012 Optimize a model with 48762 rows, 8710 columns and 153846 nonzeros Presolve time: 0.16s Presolved: 48762 rows, 8710 columns, 153846 nonzeros Variable types: 0 continuous, 8710 integer (8710 binary) Root relaxation: objective 0.000000e+00, 289 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 (571 simplex iterations) in 0.28 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:22 2012 Optimize a model with 24058 rows, 4678 columns and 75702 nonzeros Presolve time: 0.11s Presolved: 24058 rows, 4678 columns, 75702 nonzeros Variable types: 0 continuous, 4678 integer (4678 binary) Root relaxation: objective 0.000000e+00, 299 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 (654 simplex iterations) in 0.17 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:22 2012 Optimize a model with 11706 rows, 2662 columns and 36630 nonzeros Presolve time: 0.04s Presolved: 11706 rows, 2662 columns, 36630 nonzeros Variable types: 0 continuous, 2662 integer (2662 binary) Root relaxation: objective 0.000000e+00, 257 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 (650 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:23 2012 Optimize a model with 5530 rows, 1654 columns and 17094 nonzeros Presolve time: 0.01s Presolved: 5530 rows, 1654 columns, 17094 nonzeros Variable types: 0 continuous, 1654 integer (1654 binary) Root relaxation: objective 0.000000e+00, 271 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 (1186 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:29:23 2012 Optimize a model with 2442 rows, 1150 columns and 7326 nonzeros Presolve time: 0.01s Presolved: 2442 rows, 1150 columns, 7326 nonzeros Variable types: 0 continuous, 1150 integer (1150 binary) Root relaxation: objective 0.000000e+00, 282 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 226 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4366 simplex iterations) in 0.47 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 23:29:23 2012 Optimize a model with 3986 rows, 1402 columns and 12210 nonzeros Presolve time: 0.01s Presolved: 3986 rows, 1402 columns, 12210 nonzeros Variable types: 0 continuous, 1402 integer (1402 binary) Root relaxation: objective 0.000000e+00, 268 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 248 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 1s 0 0 0.00000 0 198 - 0.00000 - - 1s 0 0 0.00000 0 202 - 0.00000 - - 1s 0 0 0.00000 0 194 - 0.00000 - - 2s 0 0 0.00000 0 184 - 0.00000 - - 2s 0 0 0.00000 0 194 - 0.00000 - - 2s 0 0 0.00000 0 188 - 0.00000 - - 3s 0 0 0.00000 0 176 - 0.00000 - - 3s 0 0 0.00000 0 162 - 0.00000 - - 3s 0 0 0.00000 0 162 - 0.00000 - - 4s 0 0 0.00000 0 162 - 0.00000 - - 4s 0 0 0.00000 0 162 - 0.00000 - - 4s 0 2 0.00000 0 162 - 0.00000 - - 4s 8 6 0.00000 6 262 - 0.00000 - 290 5s 705 125 0.00000 11 210 - 0.00000 - 84.4 10s 711 129 0.00000 19 308 - 0.00000 - 83.7 15s 946 115 0.00000 39 168 - 0.00000 - 142 20s 1485 112 0.00000 42 212 - 0.00000 - 148 25s 2087 152 0.00000 40 210 - 0.00000 - 148 30s * 2482 6 41 0.0000000 0.00000 0.0% 148 33s Cutting planes: Clique: 5 Zero half: 12 Explored 2483 nodes (409728 simplex iterations) in 33.16 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 23:29:56 2012 Optimize a model with 3214 rows, 1276 columns and 9768 nonzeros Presolve time: 0.01s Presolved: 3214 rows, 1276 columns, 9768 nonzeros Variable types: 0 continuous, 1276 integer (1276 binary) Root relaxation: objective 0.000000e+00, 277 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 244 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 351 - 0.00000 - - 5s 0 0 0.00000 0 359 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 5s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 2 0.00000 0 371 - 0.00000 - - 6s Cutting planes: Clique: 8 Zero half: 18 Explored 13 nodes (37507 simplex iterations) in 7.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