current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:25:54 2012 Optimize a model with 53504 rows, 9026 columns and 168320 nonzeros Presolve time: 0.18s Presolved: 53504 rows, 9026 columns, 168320 nonzeros Variable types: 0 continuous, 9026 integer (9026 binary) Root relaxation: objective 0.000000e+00, 316 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 (615 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 00:25:55 2012 Optimize a model with 26816 rows, 4930 columns and 84160 nonzeros Presolve time: 0.12s Presolved: 26816 rows, 4930 columns, 84160 nonzeros Variable types: 0 continuous, 4930 integer (4930 binary) Root relaxation: objective 0.000000e+00, 410 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 (753 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:25:56 2012 Optimize a model with 13472 rows, 2882 columns and 42080 nonzeros Presolve time: 0.04s Presolved: 13472 rows, 2882 columns, 42080 nonzeros Variable types: 0 continuous, 2882 integer (2882 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 (510 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:25:56 2012 Optimize a model with 6800 rows, 1858 columns and 21040 nonzeros Presolve time: 0.02s Presolved: 6800 rows, 1858 columns, 21040 nonzeros Variable types: 0 continuous, 1858 integer (1858 binary) Root relaxation: objective 0.000000e+00, 262 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 (902 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 00:25:56 2012 Optimize a model with 3464 rows, 1346 columns and 10520 nonzeros Presolve time: 0.01s Presolved: 3464 rows, 1346 columns, 10520 nonzeros Variable types: 0 continuous, 1346 integer (1346 binary) Root relaxation: objective 0.000000e+00, 285 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 184 - 0.00000 - - 0s 0 0 0.00000 0 245 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 1s 0 0 0.00000 0 393 - 0.00000 - - 1s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 5s 0 0 0.00000 0 375 - 0.00000 - - 6s 0 0 0.00000 0 371 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 2 0.00000 0 371 - 0.00000 - - 9s 4 2 infeasible 3 - 0.00000 - 983 10s Cutting planes: Clique: 17 Zero half: 24 Explored 17 nodes (41390 simplex iterations) in 10.54 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:26:07 2012 Optimize a model with 5132 rows, 1602 columns and 15780 nonzeros Presolve time: 0.01s Presolved: 5132 rows, 1602 columns, 15780 nonzeros Variable types: 0 continuous, 1602 integer (1602 binary) Root relaxation: objective 0.000000e+00, 281 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 139 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2756 simplex iterations) in 0.17 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:26:07 2012 Optimize a model with 4298 rows, 1474 columns and 13150 nonzeros Presolve time: 0.01s Presolved: 4298 rows, 1474 columns, 13150 nonzeros Variable types: 0 continuous, 1474 integer (1474 binary) Root relaxation: objective 0.000000e+00, 270 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 250 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 203 - 0.00000 - - 3s 0 0 0.00000 0 229 - 0.00000 - - 3s 0 0 0.00000 0 232 - 0.00000 - - 4s 0 0 0.00000 0 232 - 0.00000 - - 4s 0 2 0.00000 0 232 - 0.00000 - - 5s 675 88 infeasible 23 - 0.00000 - 93.6 10s 706 100 0.00000 12 321 - 0.00000 - 94.1 15s 710 103 0.00000 21 258 - 0.00000 - 93.5 20s 714 106 0.00000 10 308 - 0.00000 - 93.0 25s 844 128 0.00000 29 273 - 0.00000 - 166 30s 1123 133 infeasible 30 - 0.00000 - 180 35s 1388 148 0.00000 32 248 - 0.00000 - 195 40s 1675 187 infeasible 27 - 0.00000 - 201 45s 1962 202 infeasible 30 - 0.00000 - 206 50s 2274 200 infeasible 26 - 0.00000 - 208 55s 2568 220 0.00000 29 216 - 0.00000 - 210 60s 2858 242 0.00000 25 218 - 0.00000 - 211 65s 3141 265 infeasible 31 - 0.00000 - 213 70s 3399 269 0.00000 28 262 - 0.00000 - 216 75s 3674 274 infeasible 27 - 0.00000 - 218 80s 3981 297 0.00000 30 283 - 0.00000 - 218 85s 4240 286 infeasible 27 - 0.00000 - 220 90s 4509 283 infeasible 25 - 0.00000 - 221 95s 4805 273 0.00000 30 266 - 0.00000 - 221 100s 5100 336 0.00000 30 216 - 0.00000 - 222 105s 5354 332 0.00000 27 216 - 0.00000 - 223 110s 5627 339 0.00000 29 281 - 0.00000 - 224 115s 5880 326 infeasible 32 - 0.00000 - 225 120s 6130 328 0.00000 29 255 - 0.00000 - 227 125s 6391 343 0.00000 33 267 - 0.00000 - 227 130s 6675 365 infeasible 31 - 0.00000 - 227 135s 6977 375 infeasible 28 - 0.00000 - 227 140s 7269 381 infeasible 33 - 0.00000 - 228 145s 7561 373 0.00000 22 214 - 0.00000 - 228 150s 7824 356 infeasible 30 - 0.00000 - 229 155s 8077 365 0.00000 20 302 - 0.00000 - 229 160s 8328 380 infeasible 26 - 0.00000 - 230 165s 8598 418 infeasible 23 - 0.00000 - 230 170s 8875 415 0.00000 29 270 - 0.00000 - 230 175s 9132 418 infeasible 34 - 0.00000 - 230 180s 9376 402 infeasible 22 - 0.00000 - 231 185s 9625 415 infeasible 29 - 0.00000 - 232 190s 9842 418 0.00000 26 214 - 0.00000 - 233 195s 10095 409 infeasible 23 - 0.00000 - 233 200s 10355 423 infeasible 33 - 0.00000 - 234 205s 10600 416 0.00000 33 269 - 0.00000 - 234 210s 10910 412 infeasible 32 - 0.00000 - 234 215s 11151 427 0.00000 29 261 - 0.00000 - 234 220s 11392 414 infeasible 33 - 0.00000 - 235 225s 11640 412 infeasible 37 - 0.00000 - 235 230s 11896 412 infeasible 30 - 0.00000 - 236 235s 12165 421 infeasible 29 - 0.00000 - 236 240s 12435 425 infeasible 26 - 0.00000 - 236 245s 12729 433 infeasible 26 - 0.00000 - 236 250s 13015 429 infeasible 25 - 0.00000 - 236 255s 13292 432 0.00000 31 293 - 0.00000 - 236 260s 13555 421 infeasible 26 - 0.00000 - 236 265s 13803 409 0.00000 23 264 - 0.00000 - 236 270s 14059 403 infeasible 30 - 0.00000 - 237 275s 14294 402 0.00000 25 214 - 0.00000 - 237 280s 14544 420 0.00000 19 298 - 0.00000 - 237 285s Cutting planes: Clique: 4 Zero half: 15 Explored 14598 nodes (3495083 simplex iterations) in 286.15 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