current bounds on the number of colors: 0 -- 53 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:27:00 2012 Optimize a model with 18357 rows, 2082 columns and 56290 nonzeros Presolve time: 0.07s Presolved: 18357 rows, 2082 columns, 56290 nonzeros Variable types: 0 continuous, 2082 integer (2082 binary) Root relaxation: objective 0.000000e+00, 121 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 (307 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 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:27:01 2012 Optimize a model with 9205 rows, 1393 columns and 28145 nonzeros Presolve time: 0.03s Presolved: 9205 rows, 1393 columns, 28145 nonzeros Variable types: 0 continuous, 1393 integer (1393 binary) Root relaxation: objective 0.000000e+00, 122 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 18 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1154 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:27:01 2012 Optimize a model with 4277 rows, 1022 columns and 12990 nonzeros Presolve time: 0.01s Presolved: 4277 rows, 1022 columns, 12990 nonzeros Variable types: 0 continuous, 1022 integer (1022 binary) Root relaxation: objective 0.000000e+00, 106 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 92 - 0.00000 - - 0s 0 0 0.00000 0 84 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2231 simplex iterations) in 0.30 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:27:01 2012 Optimize a model with 6389 rows, 1181 columns and 19485 nonzeros Presolve time: 0.02s Presolved: 6389 rows, 1181 columns, 19485 nonzeros Variable types: 0 continuous, 1181 integer (1181 binary) Root relaxation: objective 0.000000e+00, 110 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 42 - 0.00000 - - 0s 0 0 0.00000 0 92 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 197 - 0.00000 - - 2s 0 0 0.00000 0 239 - 0.00000 - - 3s 0 0 0.00000 0 219 - 0.00000 - - 3s 0 0 0.00000 0 265 - 0.00000 - - 4s 0 0 0.00000 0 207 - 0.00000 - - 5s 0 0 0.00000 0 199 - 0.00000 - - 6s 0 0 0.00000 0 193 - 0.00000 - - 7s 0 0 0.00000 0 202 - 0.00000 - - 8s 0 0 0.00000 0 199 - 0.00000 - - 9s 0 2 0.00000 0 199 - 0.00000 - - 10s Cutting planes: Clique: 150 Zero half: 5 Explored 177 nodes (79764 simplex iterations) in 13.19 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:27:15 2012 Optimize a model with 7797 rows, 1287 columns and 23815 nonzeros Presolve time: 0.02s Presolved: 7797 rows, 1287 columns, 23815 nonzeros Variable types: 0 continuous, 1287 integer (1287 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 49 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1321 simplex iterations) in 0.13 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:27:15 2012 Optimize a model with 7093 rows, 1234 columns and 21650 nonzeros Presolve time: 0.02s Presolved: 7093 rows, 1234 columns, 21650 nonzeros Variable types: 0 continuous, 1234 integer (1234 binary) Root relaxation: objective 0.000000e+00, 123 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 38 - 0.00000 - - 0s 0 0 0.00000 0 72 - 0.00000 - - 0s 0 0 0.00000 0 84 - 0.00000 - - 1s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 141 - 0.00000 - - 2s 0 0 0.00000 0 171 - 0.00000 - - 2s 0 0 0.00000 0 145 - 0.00000 - - 3s 0 0 0.00000 0 234 - 0.00000 - - 4s 0 0 0.00000 0 187 - 0.00000 - - 5s 0 0 0.00000 0 215 - 0.00000 - - 6s 0 0 0.00000 0 164 - 0.00000 - - 6s 0 2 0.00000 0 164 - 0.00000 - - 7s 416 36 0.00000 13 97 - 0.00000 - 69.3 10s * 435 1 23 0.0000000 0.00000 0.0% 68.4 10s Cutting planes: Clique: 60 Zero half: 1 Explored 436 nodes (68571 simplex iterations) in 10.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% optimal solution found: number of colors: 10