current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:40:34 2012 Optimize a model with 45567 rows, 8187 columns and 143777 nonzeros Presolve time: 0.16s Presolved: 45567 rows, 8187 columns, 143777 nonzeros Variable types: 0 continuous, 8187 integer (8187 binary) Root relaxation: objective 0.000000e+00, 311 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 (588 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:40:35 2012 Optimize a model with 22472 rows, 4405 columns and 70710 nonzeros Presolve time: 0.10s Presolved: 22472 rows, 4405 columns, 70710 nonzeros Variable types: 0 continuous, 4405 integer (4405 binary) Root relaxation: objective 0.000000e+00, 301 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 (690 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:40:36 2012 Optimize a model with 11297 rows, 2575 columns and 35355 nonzeros Presolve time: 0.04s Presolved: 11297 rows, 2575 columns, 35355 nonzeros Variable types: 0 continuous, 2575 integer (2575 binary) Root relaxation: objective 0.000000e+00, 249 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.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:40:36 2012 Optimize a model with 5337 rows, 1599 columns and 16499 nonzeros Presolve time: 0.01s Presolved: 5337 rows, 1599 columns, 16499 nonzeros Variable types: 0 continuous, 1599 integer (1599 binary) Root relaxation: objective 0.000000e+00, 253 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 (605 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:40:36 2012 Optimize a model with 2357 rows, 1111 columns and 7071 nonzeros Presolve time: 0.01s Presolved: 2357 rows, 1111 columns, 7071 nonzeros Variable types: 0 continuous, 1111 integer (1111 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 244 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3849 simplex iterations) in 0.44 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:40:37 2012 Optimize a model with 3847 rows, 1355 columns and 11785 nonzeros Presolve time: 0.01s Presolved: 3847 rows, 1355 columns, 11785 nonzeros Variable types: 0 continuous, 1355 integer (1355 binary) Root relaxation: objective 0.000000e+00, 257 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 294 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 235 - 0.00000 - - 1s 0 0 0.00000 0 259 - 0.00000 - - 1s 0 0 0.00000 0 271 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 2 0.00000 0 286 - 0.00000 - - 3s 246 40 0.00000 20 203 - 0.00000 - 96.9 5s 807 110 0.00000 13 210 - 0.00000 - 80.5 10s 815 117 0.00000 10 187 - 0.00000 - 117 15s 1082 151 0.00000 35 194 - 0.00000 - 125 20s * 1421 3 36 0.0000000 0.00000 0.0% 135 23s Cutting planes: Clique: 1 Zero half: 8 Explored 1422 nodes (216884 simplex iterations) in 23.39 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:41:00 2012 Optimize a model with 3102 rows, 1233 columns and 9428 nonzeros Presolve time: 0.01s Presolved: 3102 rows, 1233 columns, 9428 nonzeros Variable types: 0 continuous, 1233 integer (1233 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 240 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 350 - 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 345 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 341 - 0.00000 - - 4s 0 0 0.00000 0 341 - 0.00000 - - 5s 0 2 0.00000 0 341 - 0.00000 - - 5s Cutting planes: Clique: 9 Zero half: 29 Explored 31 nodes (30973 simplex iterations) in 6.53 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