current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:30:54 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, 318 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 (687 simplex iterations) in 0.32 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 00:30:55 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, 305 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 (586 simplex iterations) in 0.19 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 00:30:56 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, 260 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 (532 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 00:30:56 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, 265 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 (612 simplex iterations) in 0.04 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 00:30:56 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, 277 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 256 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 388 - 0.00000 - - 8s 0 0 0.00000 0 381 - 0.00000 - - 9s 0 0 0.00000 0 370 - 0.00000 - - 10s 0 0 0.00000 0 370 - 0.00000 - - 10s 0 0 0.00000 0 370 - 0.00000 - - 11s 0 2 0.00000 0 370 - 0.00000 - - 11s Cutting planes: Clique: 11 Zero half: 17 Explored 9 nodes (48909 simplex iterations) in 12.21 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 00:31:09 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 240 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 287 MIR: 2 Zero half: 375 Explored 0 nodes (2537 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:31:09 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, 267 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 244 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 273 - 0.00000 - - 1s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 225 - 0.00000 - - 1s 0 0 0.00000 0 295 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 2 0.00000 0 352 - 0.00000 - - 4s 24 22 0.00000 17 273 - 0.00000 - 262 5s 943 34 0.00000 14 216 - 0.00000 - 98.5 10s 1305 33 0.00000 13 283 - 0.00000 - 95.6 15s 1309 35 0.00000 19 305 - 0.00000 - 95.3 20s 1344 51 infeasible 25 - 0.00000 - 121 25s 1608 55 infeasible 20 - 0.00000 - 142 30s 1887 84 0.00000 26 269 - 0.00000 - 155 35s 2139 74 0.00000 25 273 - 0.00000 - 168 40s 2394 77 0.00000 26 227 - 0.00000 - 178 45s 2657 86 infeasible 23 - 0.00000 - 185 50s 2882 75 infeasible 25 - 0.00000 - 193 55s 3126 69 0.00000 25 273 - 0.00000 - 199 60s 3382 65 0.00000 17 307 - 0.00000 - 203 65s 3638 69 infeasible 31 - 0.00000 - 207 70s 3897 60 infeasible 26 - 0.00000 - 211 75s 4157 60 infeasible 27 - 0.00000 - 214 80s 4442 65 infeasible 28 - 0.00000 - 215 85s 4736 93 infeasible 28 - 0.00000 - 216 90s 5042 91 infeasible 30 - 0.00000 - 217 95s 5355 90 0.00000 25 287 - 0.00000 - 219 100s 5630 91 infeasible 29 - 0.00000 - 220 105s 5910 97 infeasible 28 - 0.00000 - 222 110s 6181 96 infeasible 29 - 0.00000 - 223 115s 6405 104 infeasible 27 - 0.00000 - 225 120s 6671 98 0.00000 23 255 - 0.00000 - 227 125s 6956 93 0.00000 28 232 - 0.00000 - 228 130s 7200 101 0.00000 17 297 - 0.00000 - 229 135s 7448 105 infeasible 25 - 0.00000 - 230 140s 7654 111 infeasible 29 - 0.00000 - 233 145s 7869 100 infeasible 27 - 0.00000 - 234 150s 8092 103 0.00000 25 312 - 0.00000 - 235 155s 8357 112 infeasible 29 - 0.00000 - 236 160s 8633 106 infeasible 23 - 0.00000 - 237 165s 8878 109 infeasible 30 - 0.00000 - 237 170s 9085 100 infeasible 24 - 0.00000 - 239 175s 9326 95 infeasible 32 - 0.00000 - 240 180s 9582 99 0.00000 26 210 - 0.00000 - 241 185s 9820 89 0.00000 24 290 - 0.00000 - 241 190s 10074 83 infeasible 23 - 0.00000 - 242 195s 10316 83 0.00000 26 208 - 0.00000 - 243 200s 10579 98 infeasible 24 - 0.00000 - 243 205s 10845 90 0.00000 20 261 - 0.00000 - 243 210s 11105 78 infeasible 26 - 0.00000 - 243 215s 11375 80 infeasible 24 - 0.00000 - 244 220s 11617 82 0.00000 27 271 - 0.00000 - 244 225s 11859 78 infeasible 25 - 0.00000 - 245 230s 12116 73 infeasible 26 - 0.00000 - 245 235s 12340 71 infeasible 27 - 0.00000 - 246 240s 12612 69 infeasible 29 - 0.00000 - 246 245s 12860 69 infeasible 31 - 0.00000 - 246 250s 13122 71 infeasible 25 - 0.00000 - 247 255s 13387 56 infeasible 26 - 0.00000 - 247 260s 13653 58 0.00000 26 204 - 0.00000 - 247 265s 13911 54 0.00000 30 297 - 0.00000 - 247 270s 14157 38 infeasible 23 - 0.00000 - 248 275s 14430 41 0.00000 16 299 - 0.00000 - 247 280s Cutting planes: Clique: 5 Zero half: 6 Explored 14680 nodes (3654591 simplex iterations) in 284.47 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6