current bounds on the number of colors: 0 -- 52 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:20:13 2012 Optimize a model with 17160 rows, 2010 columns and 52676 nonzeros Presolve time: 0.07s Presolved: 17160 rows, 2010 columns, 52676 nonzeros Variable types: 0 continuous, 2010 integer (2010 binary) Root relaxation: objective 0.000000e+00, 125 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 (326 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 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:20:13 2012 Optimize a model with 8606 rows, 1334 columns and 26338 nonzeros Presolve time: 0.03s Presolved: 8606 rows, 1334 columns, 26338 nonzeros Variable types: 0 continuous, 1334 integer (1334 binary) Root relaxation: objective 0.000000e+00, 108 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 26 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1305 simplex iterations) in 0.12 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 18:20:14 2012 Optimize a model with 4000 rows, 970 columns and 12156 nonzeros Presolve time: 0.01s Presolved: 4000 rows, 970 columns, 12156 nonzeros Variable types: 0 continuous, 970 integer (970 binary) Root relaxation: objective 0.000000e+00, 104 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 60 - 0.00000 - - 0s 0 0 0.00000 0 56 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2919 simplex iterations) in 0.43 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: 6 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:20:14 2012 Optimize a model with 5974 rows, 1126 columns and 18234 nonzeros Presolve time: 0.02s Presolved: 5974 rows, 1126 columns, 18234 nonzeros Variable types: 0 continuous, 1126 integer (1126 binary) Root relaxation: objective 0.000000e+00, 117 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 64 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 0.00000 0 150 - 0.00000 - - 0s 0 0 0.00000 0 189 - 0.00000 - - 1s 0 0 0.00000 0 158 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 97 - 0.00000 - - 3s 0 0 0.00000 0 159 - 0.00000 - - 3s 0 0 0.00000 0 150 - 0.00000 - - 4s 0 0 0.00000 0 193 - 0.00000 - - 4s 0 0 0.00000 0 189 - 0.00000 - - 5s 0 2 0.00000 0 189 - 0.00000 - - 5s Cutting planes: Clique: 100 Explored 209 nodes (57286 simplex iterations) in 8.02 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: 9 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:20:22 2012 Optimize a model with 7290 rows, 1230 columns and 22286 nonzeros Presolve time: 0.02s Presolved: 7290 rows, 1230 columns, 22286 nonzeros Variable types: 0 continuous, 1230 integer (1230 binary) Root relaxation: objective 0.000000e+00, 115 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 30 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (871 simplex iterations) in 0.08 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: 9 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:20:22 2012 Optimize a model with 6632 rows, 1178 columns and 20260 nonzeros Presolve time: 0.02s Presolved: 6632 rows, 1178 columns, 20260 nonzeros Variable types: 0 continuous, 1178 integer (1178 binary) Root relaxation: objective 0.000000e+00, 111 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 62 - 0.00000 - - 0s 0 0 0.00000 0 36 - 0.00000 - - 0s 0 0 0.00000 0 110 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 0s 0 0 0.00000 0 35 - 0.00000 - - 1s 0 0 0.00000 0 78 - 0.00000 - - 1s 0 0 0.00000 0 95 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 11 Zero half: 46 Explored 0 nodes (18368 simplex iterations) in 2.49 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: 10