current bounds on the number of colors: 0 -- 109 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:01 2012 Optimize a model with 35479 rows, 6541 columns and 111996 nonzeros Presolve time: 0.16s Presolved: 35479 rows, 6541 columns, 111996 nonzeros Variable types: 0 continuous, 6541 integer (6541 binary) Root relaxation: objective 0.000000e+00, 258 iterations, 0.04 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 (516 simplex iterations) in 0.24 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 -- 54 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:02 2012 Optimize a model with 17794 rows, 3598 columns and 55998 nonzeros Presolve time: 0.07s Presolved: 17794 rows, 3598 columns, 55998 nonzeros Variable types: 0 continuous, 3598 integer (3598 binary) Root relaxation: objective 0.000000e+00, 277 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 (508 simplex iterations) in 0.11 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 -- 27 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:02 2012 Optimize a model with 8624 rows, 2072 columns and 26962 nonzeros Presolve time: 0.03s Presolved: 8624 rows, 2072 columns, 26962 nonzeros Variable types: 0 continuous, 2072 integer (2072 binary) Root relaxation: objective 0.000000e+00, 223 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 (471 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:02 2012 Optimize a model with 4039 rows, 1309 columns and 12444 nonzeros Presolve time: 0.01s Presolved: 4039 rows, 1309 columns, 12444 nonzeros Variable types: 0 continuous, 1309 integer (1309 binary) Root relaxation: objective 0.000000e+00, 227 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 (1324 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:02 2012 Optimize a model with 2074 rows, 982 columns and 6222 nonzeros Presolve time: 0.01s Presolved: 2074 rows, 982 columns, 6222 nonzeros Variable types: 0 continuous, 982 integer (982 binary) Root relaxation: objective 0.000000e+00, 229 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 168 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3536 simplex iterations) in 0.32 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:03 2012 Optimize a model with 2729 rows, 1091 columns and 8296 nonzeros Presolve time: 0.01s Presolved: 2729 rows, 1091 columns, 8296 nonzeros Variable types: 0 continuous, 1091 integer (1091 binary) Root relaxation: objective 0.000000e+00, 244 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 212 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 323 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 322 - 0.00000 - - 5s 0 2 0.00000 0 322 - 0.00000 - - 5s Cutting planes: Clique: 8 Zero half: 10 Explored 7 nodes (27725 simplex iterations) in 5.52 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:08 2012 Optimize a model with 3384 rows, 1200 columns and 10370 nonzeros Presolve time: 0.01s Presolved: 3384 rows, 1200 columns, 10370 nonzeros Variable types: 0 continuous, 1200 integer (1200 binary) Root relaxation: objective 0.000000e+00, 237 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 214 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 0s 0 0 0.00000 0 117 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 244 - 0.00000 - - 1s 0 2 0.00000 0 244 - 0.00000 - - 1s 927 48 0.00000 20 152 - 0.00000 - 64.8 5s 1211 46 0.00000 22 187 - 0.00000 - 64.9 10s * 1501 5 29 0.0000000 0.00000 0.0% 92.1 13s Cutting planes: Gomory: 2 Clique: 1 Zero half: 11 Explored 1502 nodes (154651 simplex iterations) in 13.88 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% optimal solution found: number of colors: 5