current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:48 2012 Optimize a model with 107801 rows, 21176 columns and 342900 nonzeros Presolve time: 0.36s Presolved: 107801 rows, 21176 columns, 342900 nonzeros Variable types: 0 continuous, 21176 integer (21176 binary) Root relaxation: objective 0.000000e+00, 503 iterations, 0.13 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 (950 simplex iterations) in 0.65 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:50 2012 Optimize a model with 54001 rows, 11126 columns and 171450 nonzeros Presolve time: 0.16s Presolved: 54001 rows, 11126 columns, 171450 nonzeros Variable types: 0 continuous, 11126 integer (11126 binary) Root relaxation: objective 0.000000e+00, 619 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 (1088 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:51 2012 Optimize a model with 27101 rows, 6101 columns and 85725 nonzeros Presolve time: 0.11s Presolved: 27101 rows, 6101 columns, 85725 nonzeros Variable types: 0 continuous, 6101 integer (6101 binary) Root relaxation: objective 0.000000e+00, 451 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 (837 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: 0 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:51 2012 Optimize a model with 13113 rows, 3488 columns and 41148 nonzeros Presolve time: 0.04s Presolved: 13113 rows, 3488 columns, 41148 nonzeros Variable types: 0 continuous, 3488 integer (3488 binary) Root relaxation: objective 0.000000e+00, 414 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 (803 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:51 2012 Optimize a model with 6657 rows, 2282 columns and 20574 nonzeros Presolve time: 0.02s Presolved: 6657 rows, 2282 columns, 20574 nonzeros Variable types: 0 continuous, 2282 integer (2282 binary) Root relaxation: objective 0.000000e+00, 429 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 (1520 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:52 2012 Optimize a model with 3429 rows, 1679 columns and 10287 nonzeros Presolve time: 0.01s Presolved: 3429 rows, 1679 columns, 10287 nonzeros Variable types: 0 continuous, 1679 integer (1679 binary) Root relaxation: objective 0.000000e+00, 455 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 400 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5502 simplex iterations) in 0.72 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:19:52 2012 Optimize a model with 4505 rows, 1880 columns and 13716 nonzeros Presolve time: 0.01s Presolved: 4505 rows, 1880 columns, 13716 nonzeros Variable types: 0 continuous, 1880 integer (1880 binary) Root relaxation: objective 0.000000e+00, 466 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 382 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 520 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 2 0.00000 0 374 - 0.00000 - - 6s 226 70 0.00000 23 362 - 0.00000 - 179 10s 605 85 0.00000 12 376 - 0.00000 - 157 15s 705 102 0.00000 10 358 - 0.00000 - 156 23s 707 103 0.00000 20 345 - 0.00000 - 156 26s 709 104 0.00000 20 326 - 0.00000 - 155 31s 711 106 0.00000 6 333 - 0.00000 - 155 36s 713 107 0.00000 20 330 - 0.00000 - 154 42s 714 108 0.00000 6 321 - 0.00000 - 154 45s 716 109 0.00000 20 333 - 0.00000 - 154 50s 726 114 0.00000 13 500 - 0.00000 - 271 55s 815 111 0.00000 26 376 - 0.00000 - 273 60s 993 86 0.00000 20 368 - 0.00000 - 267 65s 1142 64 infeasible 27 - 0.00000 - 273 70s 1319 81 infeasible 26 - 0.00000 - 275 75s 1501 99 0.00000 26 381 - 0.00000 - 274 80s 1654 84 0.00000 24 393 - 0.00000 - 278 85s 1811 81 infeasible 26 - 0.00000 - 280 90s 1939 79 0.00000 25 488 - 0.00000 - 284 95s 2078 76 0.00000 23 449 - 0.00000 - 287 100s 2211 45 infeasible 26 - 0.00000 - 289 105s 2353 55 0.00000 21 448 - 0.00000 - 291 110s 2504 86 0.00000 32 354 - 0.00000 - 292 115s 2649 83 infeasible 25 - 0.00000 - 294 120s 2795 85 infeasible 24 - 0.00000 - 296 125s 2930 102 0.00000 29 451 - 0.00000 - 299 130s 3056 96 0.00000 23 476 - 0.00000 - 302 135s 3217 99 infeasible 26 - 0.00000 - 303 140s 3336 98 infeasible 24 - 0.00000 - 306 145s 3457 87 infeasible 26 - 0.00000 - 309 150s 3596 98 0.00000 21 472 - 0.00000 - 310 155s 3755 113 infeasible 23 - 0.00000 - 310 160s 3955 135 0.00000 20 489 - 0.00000 - 309 165s 4116 148 0.00000 21 374 - 0.00000 - 309 170s 4288 134 infeasible 25 - 0.00000 - 310 175s 4475 115 infeasible 23 - 0.00000 - 309 180s 4647 121 0.00000 22 473 - 0.00000 - 309 185s 4763 95 infeasible 21 - 0.00000 - 311 190s 4910 94 infeasible 24 - 0.00000 - 312 195s 5029 87 0.00000 20 483 - 0.00000 - 314 200s 5193 119 0.00000 24 401 - 0.00000 - 313 205s 5369 107 0.00000 24 430 - 0.00000 - 313 210s 5536 98 0.00000 23 368 - 0.00000 - 313 215s 5674 82 infeasible 25 - 0.00000 - 313 220s 5796 60 infeasible 24 - 0.00000 - 315 225s 5961 75 infeasible 25 - 0.00000 - 314 230s 6114 64 infeasible 24 - 0.00000 - 314 235s 6255 51 infeasible 23 - 0.00000 - 315 240s 6410 60 infeasible 22 - 0.00000 - 315 245s 6560 50 0.00000 17 440 - 0.00000 - 315 250s 6695 43 infeasible 20 - 0.00000 - 316 255s 6824 40 0.00000 25 364 - 0.00000 - 317 260s 6943 27 0.00000 24 437 - 0.00000 - 318 265s 7058 26 infeasible 28 - 0.00000 - 319 270s 7191 21 infeasible 27 - 0.00000 - 320 275s 7334 18 infeasible 25 - 0.00000 - 320 280s 7450 14 0.00000 24 441 - 0.00000 - 321 285s 7576 34 infeasible 21 - 0.00000 - 321 290s Cutting planes: Gomory: 1 Zero half: 16 Explored 7652 nodes (2499021 simplex iterations) in 293.10 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:24:46 2012 Optimize a model with 5581 rows, 2081 columns and 17145 nonzeros Presolve time: 0.02s Explored 0 nodes (0 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6