current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:59:56 2012 Optimize a model with 62561 rows, 10234 columns and 196588 nonzeros Presolve time: 0.19s Presolved: 62561 rows, 10234 columns, 196588 nonzeros Variable types: 0 continuous, 10234 integer (10234 binary) Root relaxation: objective 0.000000e+00, 349 iterations, 0.07 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 (664 simplex iterations) in 0.34 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:59:58 2012 Optimize a model with 31349 rows, 5576 columns and 98294 nonzeros Presolve time: 0.15s Presolved: 31349 rows, 5576 columns, 98294 nonzeros Variable types: 0 continuous, 5576 integer (5576 binary) Root relaxation: objective 0.000000e+00, 335 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 (623 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: 0 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:59:58 2012 Optimize a model with 15743 rows, 3247 columns and 49147 nonzeros Presolve time: 0.05s Presolved: 15743 rows, 3247 columns, 49147 nonzeros Variable types: 0 continuous, 3247 integer (3247 binary) Root relaxation: objective 0.000000e+00, 275 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 (556 simplex iterations) in 0.08 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:59:58 2012 Optimize a model with 7481 rows, 2014 columns and 23128 nonzeros Presolve time: 0.02s Presolved: 7481 rows, 2014 columns, 23128 nonzeros Variable types: 0 continuous, 2014 integer (2014 binary) Root relaxation: objective 0.000000e+00, 290 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 (1183 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:59:59 2012 Optimize a model with 3809 rows, 1466 columns and 11564 nonzeros Presolve time: 0.01s Presolved: 3809 rows, 1466 columns, 11564 nonzeros Variable types: 0 continuous, 1466 integer (1466 binary) Root relaxation: objective 0.000000e+00, 294 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 174 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 417 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 419 - 0.00000 - - 5s 0 0 0.00000 0 402 - 0.00000 - - 6s 0 0 0.00000 0 400 - 0.00000 - - 8s 0 0 0.00000 0 398 - 0.00000 - - 8s 0 0 0.00000 0 398 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 10s 0 0 0.00000 0 396 - 0.00000 - - 12s 0 0 0.00000 0 409 - 0.00000 - - 13s 0 0 0.00000 0 409 - 0.00000 - - 13s 0 2 0.00000 0 409 - 0.00000 - - 14s 8 2 infeasible 5 - 0.00000 - 724 15s Cutting planes: Clique: 17 Zero half: 12 Explored 19 nodes (63394 simplex iterations) in 15.78 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 08:00:14 2012 Optimize a model with 5645 rows, 1740 columns and 17346 nonzeros Presolve time: 0.02s Presolved: 5645 rows, 1740 columns, 17346 nonzeros Variable types: 0 continuous, 1740 integer (1740 binary) Root relaxation: objective 0.000000e+00, 296 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 169 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2574 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:00:15 2012 Optimize a model with 4727 rows, 1603 columns and 14455 nonzeros Presolve time: 0.01s Presolved: 4727 rows, 1603 columns, 14455 nonzeros Variable types: 0 continuous, 1603 integer (1603 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 274 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 3s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 216 - 0.00000 - - 4s 0 0 0.00000 0 214 - 0.00000 - - 4s 0 0 0.00000 0 208 - 0.00000 - - 5s 0 0 0.00000 0 247 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 6s 0 0 0.00000 0 315 - 0.00000 - - 7s 0 0 0.00000 0 306 - 0.00000 - - 7s 0 2 0.00000 0 306 - 0.00000 - - 8s 113 39 0.00000 8 308 - 0.00000 - 182 10s 573 118 infeasible 22 - 0.00000 - 148 15s 606 120 0.00000 17 240 - 0.00000 - 145 21s 608 122 0.00000 2 290 - 0.00000 - 144 25s 611 124 0.00000 5 297 - 0.00000 - 144 31s 653 142 infeasible 35 - 0.00000 - 213 35s 838 117 infeasible 33 - 0.00000 - 228 40s 1031 67 0.00000 35 230 - 0.00000 - 240 45s 1237 73 0.00000 36 291 - 0.00000 - 246 50s 1426 70 infeasible 41 - 0.00000 - 252 55s 1632 74 infeasible 38 - 0.00000 - 256 60s 1819 71 0.00000 30 297 - 0.00000 - 261 65s 2018 96 infeasible 38 - 0.00000 - 262 70s 2214 102 infeasible 36 - 0.00000 - 264 75s 2404 102 infeasible 38 - 0.00000 - 266 80s 2596 106 0.00000 30 326 - 0.00000 - 268 85s 2791 113 0.00000 41 295 - 0.00000 - 270 90s 2995 113 infeasible 38 - 0.00000 - 270 95s 3198 126 0.00000 39 238 - 0.00000 - 270 100s 3398 132 infeasible 35 - 0.00000 - 271 105s 3570 122 infeasible 36 - 0.00000 - 274 110s 3787 163 infeasible 35 - 0.00000 - 273 115s 4006 220 0.00000 38 323 - 0.00000 - 272 120s 4196 238 infeasible 36 - 0.00000 - 273 125s 4369 263 0.00000 30 232 - 0.00000 - 274 130s 4580 290 0.00000 35 301 - 0.00000 - 274 135s 4787 300 infeasible 34 - 0.00000 - 274 140s 4993 340 infeasible 40 - 0.00000 - 273 145s 5168 341 0.00000 34 288 - 0.00000 - 274 150s 5344 349 0.00000 36 288 - 0.00000 - 275 155s 5513 350 0.00000 31 319 - 0.00000 - 277 160s 5696 349 0.00000 39 258 - 0.00000 - 278 165s 5872 345 infeasible 35 - 0.00000 - 279 170s 6048 369 0.00000 35 238 - 0.00000 - 279 175s 6225 372 0.00000 33 300 - 0.00000 - 280 180s 6399 358 infeasible 33 - 0.00000 - 282 185s 6588 379 infeasible 40 - 0.00000 - 282 190s 6786 383 0.00000 33 312 - 0.00000 - 282 195s 6975 382 infeasible 38 - 0.00000 - 283 200s 7179 380 infeasible 37 - 0.00000 - 283 205s 7370 363 infeasible 36 - 0.00000 - 283 210s 7549 396 infeasible 40 - 0.00000 - 284 215s 7764 409 infeasible 38 - 0.00000 - 283 220s 7936 397 infeasible 37 - 0.00000 - 284 225s 8124 413 infeasible 37 - 0.00000 - 284 230s 8292 407 0.00000 34 330 - 0.00000 - 285 235s 8481 410 infeasible 38 - 0.00000 - 285 240s 8665 406 infeasible 41 - 0.00000 - 285 245s 8847 432 0.00000 39 245 - 0.00000 - 285 250s 9028 431 infeasible 37 - 0.00000 - 286 255s 9217 432 infeasible 37 - 0.00000 - 286 260s 9392 439 infeasible 37 - 0.00000 - 287 265s 9559 426 infeasible 40 - 0.00000 - 287 270s 9747 426 infeasible 35 - 0.00000 - 287 275s 9937 426 infeasible 37 - 0.00000 - 288 280s Cutting planes: Clique: 1 Zero half: 2 Explored 9956 nodes (2918186 simplex iterations) in 280.41 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