current bounds on the number of colors: 0 -- 55 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:39:36 2012 Optimize a model with 20575 rows, 2245 columns and 63045 nonzeros Presolve time: 0.09s Presolved: 20575 rows, 2245 columns, 63045 nonzeros Variable types: 0 continuous, 2245 integer (2245 binary) Root relaxation: objective 0.000000e+00, 137 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 (487 simplex iterations) in 0.15 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 18:39:36 2012 Optimize a model with 9935 rows, 1475 columns and 30355 nonzeros Presolve time: 0.03s Presolved: 9935 rows, 1475 columns, 30355 nonzeros Variable types: 0 continuous, 1475 integer (1475 binary) Root relaxation: objective 0.000000e+00, 116 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 (1251 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:39:36 2012 Optimize a model with 4615 rows, 1090 columns and 14010 nonzeros Presolve time: 0.01s Presolved: 4615 rows, 1090 columns, 14010 nonzeros Variable types: 0 continuous, 1090 integer (1090 binary) Root relaxation: objective 0.000000e+00, 110 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 70 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2818 simplex iterations) in 0.45 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:39:37 2012 Optimize a model with 6895 rows, 1255 columns and 21015 nonzeros Presolve time: 0.02s Presolved: 6895 rows, 1255 columns, 21015 nonzeros Variable types: 0 continuous, 1255 integer (1255 binary) Root relaxation: objective 0.000000e+00, 113 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 32 - 0.00000 - - 0s 0 0 0.00000 0 208 - 0.00000 - - 1s 0 0 0.00000 0 275 - 0.00000 - - 1s 0 0 0.00000 0 253 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 3s 0 0 0.00000 0 279 - 0.00000 - - 5s 0 0 0.00000 0 287 - 0.00000 - - 6s 0 0 0.00000 0 287 - 0.00000 - - 6s 0 2 0.00000 0 287 - 0.00000 - - 8s 91 7 0.00000 12 184 - 0.00000 - 197 10s Cutting planes: Clique: 199 Explored 165 nodes (65211 simplex iterations) in 11.49 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:39:49 2012 Optimize a model with 8415 rows, 1365 columns and 25685 nonzeros Presolve time: 0.02s Presolved: 8415 rows, 1365 columns, 25685 nonzeros Variable types: 0 continuous, 1365 integer (1365 binary) Root relaxation: objective 0.000000e+00, 114 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 36 - 0.00000 - - 0s 0 0 0.00000 0 32 - 0.00000 - - 0s Cutting planes: Clique: 2 Explored 0 nodes (2132 simplex iterations) in 0.22 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:39:49 2012 Optimize a model with 7655 rows, 1310 columns and 23350 nonzeros Presolve time: 0.02s Presolved: 7655 rows, 1310 columns, 23350 nonzeros Variable types: 0 continuous, 1310 integer (1310 binary) Root relaxation: objective 0.000000e+00, 121 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 50 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 119 - 0.00000 - - 1s 0 0 0.00000 0 148 - 0.00000 - - 1s 0 0 0.00000 0 133 - 0.00000 - - 2s 0 0 0.00000 0 183 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 268 - 0.00000 - - 5s 0 0 0.00000 0 268 - 0.00000 - - 5s 0 2 0.00000 0 268 - 0.00000 - - 7s 512 16 0.00000 20 107 - 0.00000 - 87.4 10s 614 27 0.00000 21 193 - 0.00000 - 87.7 15s 618 30 0.00000 18 256 - 0.00000 - 87.1 21s 620 31 0.00000 13 221 - 0.00000 - 86.8 25s 624 34 0.00000 14 158 - 0.00000 - 86.3 30s 700 35 0.00000 28 118 - 0.00000 - 167 35s * 1112 0 33 0.0000000 0.00000 0.0% 147 38s Cutting planes: Clique: 27 Zero half: 3 Explored 1113 nodes (194716 simplex iterations) in 38.79 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