current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:27 2012 Optimize a model with 72864 rows, 11378 columns and 228528 nonzeros Presolve time: 0.20s Presolved: 72864 rows, 11378 columns, 228528 nonzeros Variable types: 0 continuous, 11378 integer (11378 binary) Root relaxation: objective 0.000000e+00, 385 iterations, 0.08 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 (783 simplex iterations) in 0.40 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:28 2012 Optimize a model with 36504 rows, 6194 columns and 114264 nonzeros Presolve time: 0.16s Presolved: 36504 rows, 6194 columns, 114264 nonzeros Variable types: 0 continuous, 6194 integer (6194 binary) Root relaxation: objective 0.000000e+00, 391 iterations, 0.04 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 (938 simplex iterations) in 0.28 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:29 2012 Optimize a model with 18324 rows, 3602 columns and 57132 nonzeros Presolve time: 0.06s Presolved: 18324 rows, 3602 columns, 57132 nonzeros Variable types: 0 continuous, 3602 integer (3602 binary) Root relaxation: objective 0.000000e+00, 412 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 (800 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:29 2012 Optimize a model with 9234 rows, 2306 columns and 28566 nonzeros Presolve time: 0.03s Presolved: 9234 rows, 2306 columns, 28566 nonzeros Variable types: 0 continuous, 2306 integer (2306 binary) Root relaxation: objective 0.000000e+00, 300 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 (969 simplex iterations) in 0.06 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:29 2012 Optimize a model with 4184 rows, 1586 columns and 12696 nonzeros Presolve time: 0.01s Presolved: 4184 rows, 1586 columns, 12696 nonzeros Variable types: 0 continuous, 1586 integer (1586 binary) Root relaxation: objective 0.000000e+00, 307 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 288 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 453 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 434 - 0.00000 - - 4s 0 0 0.00000 0 447 - 0.00000 - - 6s 0 0 0.00000 0 441 - 0.00000 - - 7s 0 0 0.00000 0 430 - 0.00000 - - 9s 0 0 0.00000 0 427 - 0.00000 - - 10s 0 0 0.00000 0 426 - 0.00000 - - 12s 0 0 0.00000 0 426 - 0.00000 - - 13s 0 0 0.00000 0 433 - 0.00000 - - 14s 0 0 0.00000 0 433 - 0.00000 - - 14s 0 2 0.00000 0 433 - 0.00000 - - 15s Cutting planes: Clique: 24 Zero half: 16 Explored 12 nodes (59184 simplex iterations) in 16.32 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:39:46 2012 Optimize a model with 6204 rows, 1874 columns and 19044 nonzeros Presolve time: 0.02s Presolved: 6204 rows, 1874 columns, 19044 nonzeros Variable types: 0 continuous, 1874 integer (1874 binary) Root relaxation: objective 0.000000e+00, 302 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 261 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12003 simplex iterations) in 1.45 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 13:39:47 2012 Optimize a model with 5194 rows, 1730 columns and 15870 nonzeros Presolve time: 0.01s Presolved: 5194 rows, 1730 columns, 15870 nonzeros Variable types: 0 continuous, 1730 integer (1730 binary) Root relaxation: objective 0.000000e+00, 308 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 284 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 212 - 0.00000 - - 4s 0 0 0.00000 0 213 - 0.00000 - - 5s 0 0 0.00000 0 331 - 0.00000 - - 6s 0 0 0.00000 0 327 - 0.00000 - - 7s 0 2 0.00000 0 327 - 0.00000 - - 8s 87 26 infeasible 22 - 0.00000 - 192 10s 371 90 infeasible 21 - 0.00000 - 182 15s 604 108 0.00000 12 437 - 0.00000 - 161 20s 607 110 0.00000 9 359 - 0.00000 - 160 27s 609 111 0.00000 16 339 - 0.00000 - 159 30s 626 123 0.00000 21 336 - 0.00000 - 223 35s 778 140 infeasible 29 - 0.00000 - 239 40s 916 134 0.00000 27 354 - 0.00000 - 254 45s 1045 167 0.00000 35 335 - 0.00000 - 262 50s 1180 182 infeasible 41 - 0.00000 - 271 55s 1316 200 infeasible 33 - 0.00000 - 279 60s 1436 210 infeasible 35 - 0.00000 - 288 65s 1568 226 0.00000 34 317 - 0.00000 - 294 70s 1698 222 infeasible 33 - 0.00000 - 299 75s 1849 251 0.00000 34 322 - 0.00000 - 300 80s 1992 250 0.00000 30 352 - 0.00000 - 302 85s 2107 243 infeasible 28 - 0.00000 - 307 90s 2226 254 0.00000 39 332 - 0.00000 - 312 95s 2360 236 infeasible 33 - 0.00000 - 314 100s 2504 252 infeasible 35 - 0.00000 - 315 105s 2650 248 infeasible 31 - 0.00000 - 317 110s 2798 280 0.00000 34 331 - 0.00000 - 317 115s 2931 295 infeasible 33 - 0.00000 - 318 120s 3062 310 infeasible 37 - 0.00000 - 320 125s 3193 319 0.00000 25 355 - 0.00000 - 321 130s 3346 332 infeasible 36 - 0.00000 - 321 135s 3484 334 0.00000 31 335 - 0.00000 - 323 140s 3617 329 infeasible 35 - 0.00000 - 323 145s 3757 339 0.00000 37 319 - 0.00000 - 324 150s 3886 362 0.00000 31 357 - 0.00000 - 325 155s 4022 374 0.00000 32 344 - 0.00000 - 325 160s 4141 377 0.00000 32 338 - 0.00000 - 327 165s 4285 391 infeasible 34 - 0.00000 - 327 170s 4421 391 infeasible 37 - 0.00000 - 328 175s 4579 403 0.00000 30 252 - 0.00000 - 327 180s 4739 459 0.00000 38 329 - 0.00000 - 325 185s 4880 470 infeasible 35 - 0.00000 - 326 190s 5023 483 0.00000 33 350 - 0.00000 - 326 195s 5165 495 infeasible 41 - 0.00000 - 326 200s 5289 521 infeasible 39 - 0.00000 - 327 205s 5404 528 0.00000 40 340 - 0.00000 - 329 210s 5559 547 infeasible 35 - 0.00000 - 328 215s 5686 536 infeasible 37 - 0.00000 - 330 220s 5825 537 infeasible 38 - 0.00000 - 330 225s 5940 546 0.00000 40 332 - 0.00000 - 331 230s 6056 558 0.00000 37 228 - 0.00000 - 332 235s 6192 570 0.00000 41 248 - 0.00000 - 332 240s 6318 556 0.00000 33 307 - 0.00000 - 333 245s 6465 565 infeasible 37 - 0.00000 - 333 250s 6600 596 0.00000 38 258 - 0.00000 - 333 255s 6724 602 0.00000 30 334 - 0.00000 - 334 260s 6872 614 infeasible 34 - 0.00000 - 334 265s 7009 623 infeasible 35 - 0.00000 - 334 270s 7157 631 0.00000 39 327 - 0.00000 - 334 275s Cutting planes: Gomory: 2 Clique: 1 Zero half: 19 Explored 7229 nodes (2464087 simplex iterations) in 277.97 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