current bounds on the number of colors: 0 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:55:09 2012 Optimize a model with 22457 rows, 2396 columns and 68796 nonzeros Presolve time: 0.09s Presolved: 22457 rows, 2396 columns, 68796 nonzeros Variable types: 0 continuous, 2396 integer (2396 binary) Root relaxation: objective 0.000000e+00, 143 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 (356 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:55:10 2012 Optimize a model with 11257 rows, 1598 columns and 34398 nonzeros Presolve time: 0.03s Presolved: 11257 rows, 1598 columns, 34398 nonzeros Variable types: 0 continuous, 1598 integer (1598 binary) Root relaxation: objective 0.000000e+00, 120 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 (963 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:55:10 2012 Optimize a model with 5657 rows, 1199 columns and 17199 nonzeros Presolve time: 0.01s Presolved: 5657 rows, 1199 columns, 17199 nonzeros Variable types: 0 continuous, 1199 integer (1199 binary) Root relaxation: objective 0.000000e+00, 114 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 58 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3938 simplex iterations) in 0.66 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:55:11 2012 Optimize a model with 8057 rows, 1370 columns and 24570 nonzeros Presolve time: 0.02s Presolved: 8057 rows, 1370 columns, 24570 nonzeros Variable types: 0 continuous, 1370 integer (1370 binary) Root relaxation: objective 0.000000e+00, 128 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 40 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 0.00000 0 30 - 0.00000 - - 1s 0 0 0.00000 0 287 - 0.00000 - - 1s 0 0 0.00000 0 22 - 0.00000 - - 2s 0 0 0.00000 0 130 - 0.00000 - - 2s 0 0 0.00000 0 112 - 0.00000 - - 3s 0 0 0.00000 0 103 - 0.00000 - - 4s 0 0 0.00000 0 178 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 6s 0 0 0.00000 0 205 - 0.00000 - - 7s 0 2 0.00000 0 205 - 0.00000 - - 8s 203 25 infeasible 25 - 0.00000 - 89.1 10s 1003 24 0.00000 11 30 - 0.00000 - 77.6 16s 1008 28 0.00000 28 121 - 0.00000 - 77.2 21s 1010 29 0.00000 11 136 - 0.00000 - 77.0 25s 1023 34 0.00000 16 163 - 0.00000 - 118 30s 1272 51 0.00000 26 114 - 0.00000 - 122 35s 1694 49 0.00000 23 146 - 0.00000 - 127 40s 2102 51 0.00000 28 126 - 0.00000 - 130 45s * 2331 6 31 0.0000000 0.00000 0.0% 130 47s Cutting planes: Clique: 13 Zero half: 2 Explored 2332 nodes (343521 simplex iterations) in 47.44 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:55:59 2012 Optimize a model with 6457 rows, 1256 columns and 19656 nonzeros Presolve time: 0.02s Presolved: 6457 rows, 1256 columns, 19656 nonzeros Variable types: 0 continuous, 1256 integer (1256 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 60 - 0.00000 - - 0s 0 0 0.00000 0 72 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 278 - 0.00000 - - 6s 0 0 0.00000 0 309 - 0.00000 - - 8s 0 0 0.00000 0 321 - 0.00000 - - 9s 0 0 0.00000 0 295 - 0.00000 - - 10s 0 2 0.00000 0 292 - 0.00000 - - 11s Cutting planes: Clique: 68 Zero half: 3 Explored 9 nodes (44756 simplex iterations) in 11.70 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:56:10 2012 Optimize a model with 7257 rows, 1313 columns and 22113 nonzeros Presolve time: 0.02s Presolved: 7257 rows, 1313 columns, 22113 nonzeros Variable types: 0 continuous, 1313 integer (1313 binary) Root relaxation: objective 0.000000e+00, 118 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 72 - 0.00000 - - 0s 0 0 0.00000 0 90 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 212 - 0.00000 - - 4s 0 0 0.00000 0 210 - 0.00000 - - 5s 0 0 0.00000 0 218 - 0.00000 - - 6s 0 0 0.00000 0 205 - 0.00000 - - 8s 0 0 0.00000 0 183 - 0.00000 - - 9s 0 0 0.00000 0 242 - 0.00000 - - 10s 0 0 0.00000 0 242 - 0.00000 - - 11s 0 2 0.00000 0 242 - 0.00000 - - 12s Cutting planes: Clique: 113 Zero half: 10 Explored 63 nodes (64122 simplex iterations) in 14.29 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10