current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:19 2012 Optimize a model with 52800 rows, 9015 columns and 166208 nonzeros Presolve time: 0.18s Presolved: 52800 rows, 9015 columns, 166208 nonzeros Variable types: 0 continuous, 9015 integer (9015 binary) Root relaxation: objective 0.000000e+00, 334 iterations, 0.06 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 (614 simplex iterations) in 0.31 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:19 2012 Optimize a model with 26464 rows, 4919 columns and 83104 nonzeros Presolve time: 0.12s Presolved: 26464 rows, 4919 columns, 83104 nonzeros Variable types: 0 continuous, 4919 integer (4919 binary) Root relaxation: objective 0.000000e+00, 307 iterations, 0.03 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 (589 simplex iterations) in 0.18 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:20 2012 Optimize a model with 13296 rows, 2871 columns and 41552 nonzeros Presolve time: 0.04s Presolved: 13296 rows, 2871 columns, 41552 nonzeros Variable types: 0 continuous, 2871 integer (2871 binary) Root relaxation: objective 0.000000e+00, 259 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 (503 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:20 2012 Optimize a model with 6712 rows, 1847 columns and 20776 nonzeros Presolve time: 0.02s Presolved: 6712 rows, 1847 columns, 20776 nonzeros Variable types: 0 continuous, 1847 integer (1847 binary) Root relaxation: objective 0.000000e+00, 279 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 (942 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:20 2012 Optimize a model with 3420 rows, 1335 columns and 10388 nonzeros Presolve time: 0.01s Presolved: 3420 rows, 1335 columns, 10388 nonzeros Variable types: 0 continuous, 1335 integer (1335 binary) Root relaxation: objective 0.000000e+00, 282 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 172 - 0.00000 - - 0s 0 0 0.00000 0 160 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 2s 0 0 0.00000 0 381 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 381 - 0.00000 - - 7s 0 0 0.00000 0 379 - 0.00000 - - 8s 0 0 0.00000 0 377 - 0.00000 - - 9s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 2 0.00000 0 390 - 0.00000 - - 10s Cutting planes: Clique: 11 Zero half: 20 Explored 21 nodes (49515 simplex iterations) in 11.69 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:32 2012 Optimize a model with 5066 rows, 1591 columns and 15582 nonzeros Presolve time: 0.01s Presolved: 5066 rows, 1591 columns, 15582 nonzeros Variable types: 0 continuous, 1591 integer (1591 binary) Root relaxation: objective 0.000000e+00, 274 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 84 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3148 simplex iterations) in 0.25 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:03:33 2012 Optimize a model with 4243 rows, 1463 columns and 12985 nonzeros Presolve time: 0.01s Presolved: 4243 rows, 1463 columns, 12985 nonzeros Variable types: 0 continuous, 1463 integer (1463 binary) Root relaxation: objective 0.000000e+00, 265 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 254 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 288 - 0.00000 - - 2s 0 0 0.00000 0 313 - 0.00000 - - 2s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 2 0.00000 0 214 - 0.00000 - - 3s 201 34 0.00000 23 230 - 0.00000 - 107 5s 1195 26 infeasible 17 - 0.00000 - 88.6 10s 1209 36 0.00000 19 287 - 0.00000 - 87.9 15s 1213 39 0.00000 19 243 - 0.00000 - 87.6 20s 1218 42 0.00000 6 248 - 0.00000 - 87.3 25s 1424 66 infeasible 30 - 0.00000 - 136 30s 1709 99 infeasible 31 - 0.00000 - 152 35s 1982 154 infeasible 36 - 0.00000 - 163 40s 2251 199 infeasible 27 - 0.00000 - 172 45s 2531 211 0.00000 35 283 - 0.00000 - 179 50s 2786 226 0.00000 31 271 - 0.00000 - 186 55s 3049 223 infeasible 28 - 0.00000 - 191 60s 3328 218 infeasible 33 - 0.00000 - 196 65s 3604 224 infeasible 31 - 0.00000 - 199 70s 3882 230 0.00000 26 210 - 0.00000 - 202 75s 4272 232 0.00000 24 273 - 0.00000 - 202 80s * 4329 2 28 0.0000000 0.00000 0.0% 202 80s Cutting planes: Clique: 5 Zero half: 11 Explored 4330 nodes (897721 simplex iterations) in 80.84 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