current bounds on the number of colors: 0 -- 172 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:53 2012 Optimize a model with 65274 rows, 15549 columns and 210098 nonzeros Presolve time: 0.20s Presolved: 65274 rows, 15549 columns, 210098 nonzeros Variable types: 0 continuous, 15549 integer (15549 binary) Root relaxation: objective 0.000000e+00, 645 iterations, 0.05 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 (1037 simplex iterations) in 0.35 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:55 2012 Optimize a model with 32723 rows, 8153 columns and 105049 nonzeros Presolve time: 0.14s Presolved: 32723 rows, 8153 columns, 105049 nonzeros Variable types: 0 continuous, 8153 integer (8153 binary) Root relaxation: objective 0.000000e+00, 429 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 (770 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:55 2012 Optimize a model with 16069 rows, 4369 columns and 51303 nonzeros Presolve time: 0.06s Presolved: 16069 rows, 4369 columns, 51303 nonzeros Variable types: 0 continuous, 4369 integer (4369 binary) Root relaxation: objective 0.000000e+00, 355 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 (651 simplex iterations) in 0.09 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:56 2012 Optimize a model with 7742 rows, 2477 columns and 24430 nonzeros Presolve time: 0.02s Presolved: 7742 rows, 2477 columns, 24430 nonzeros Variable types: 0 continuous, 2477 integer (2477 binary) Root relaxation: objective 0.000000e+00, 349 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 (646 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:56 2012 Optimize a model with 3957 rows, 1617 columns and 12215 nonzeros Presolve time: 0.01s Presolved: 3957 rows, 1617 columns, 12215 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 396 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 64 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3218 simplex iterations) in 0.16 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:56 2012 Optimize a model with 1686 rows, 1101 columns and 4886 nonzeros Presolve removed 172 rows and 172 columns Presolve time: 0.00s Presolved: 1514 rows, 929 columns, 4542 nonzeros Variable types: 0 continuous, 929 integer (929 binary) Root relaxation: objective 0.000000e+00, 177 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 172 - 0.00000 - - 0s Explored 0 nodes (730 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:56 2012 Optimize a model with 2443 rows, 1273 columns and 7329 nonzeros Presolve time: 0.01s Presolved: 2443 rows, 1273 columns, 7329 nonzeros Variable types: 0 continuous, 1273 integer (1273 binary) Root relaxation: objective 0.000000e+00, 389 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 344 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3788 simplex iterations) in 0.42 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:38:56 2012 Optimize a model with 3200 rows, 1445 columns and 9772 nonzeros Presolve time: 0.01s Presolved: 3200 rows, 1445 columns, 9772 nonzeros Variable types: 0 continuous, 1445 integer (1445 binary) Root relaxation: objective 0.000000e+00, 387 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 332 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 2 0.00000 0 260 - 0.00000 - - 3s 321 84 0.00000 12 300 - 0.00000 - 82.2 5s 707 155 0.00000 30 278 - 0.00000 - 79.7 10s 714 160 0.00000 10 230 - 0.00000 - 78.9 15s 726 166 0.00000 19 388 - 0.00000 - 150 20s 1172 79 infeasible 37 - 0.00000 - 156 25s 1713 98 infeasible 36 - 0.00000 - 161 30s 2226 127 0.00000 34 328 - 0.00000 - 165 35s 2743 174 infeasible 37 - 0.00000 - 167 40s 3270 171 infeasible 36 - 0.00000 - 168 45s 3824 157 0.00000 35 341 - 0.00000 - 170 50s 4336 133 infeasible 35 - 0.00000 - 172 55s 4873 108 0.00000 31 300 - 0.00000 - 173 60s 5431 76 infeasible 35 - 0.00000 - 173 65s 5914 55 0.00000 32 304 - 0.00000 - 175 70s 6414 75 infeasible 37 - 0.00000 - 175 75s 6950 61 0.00000 32 288 - 0.00000 - 175 80s 7487 44 infeasible 36 - 0.00000 - 175 85s 8025 48 infeasible 33 - 0.00000 - 175 90s 8540 55 infeasible 33 - 0.00000 - 176 95s 9070 57 infeasible 34 - 0.00000 - 176 100s 9547 47 infeasible 38 - 0.00000 - 177 105s 10059 69 infeasible 35 - 0.00000 - 177 110s 10598 64 0.00000 30 368 - 0.00000 - 177 115s 11151 65 0.00000 35 298 - 0.00000 - 176 120s 11697 89 0.00000 31 348 - 0.00000 - 176 125s 12256 86 infeasible 35 - 0.00000 - 176 130s 12789 103 0.00000 34 290 - 0.00000 - 176 135s 13278 60 0.00000 32 299 - 0.00000 - 176 140s 13827 89 0.00000 34 290 - 0.00000 - 176 145s 14357 77 infeasible 34 - 0.00000 - 176 150s 14882 62 infeasible 33 - 0.00000 - 176 155s 15480 54 infeasible 35 - 0.00000 - 176 160s 16051 81 infeasible 35 - 0.00000 - 176 165s 16628 100 infeasible 36 - 0.00000 - 175 170s 17219 105 infeasible 34 - 0.00000 - 175 175s 17795 83 0.00000 35 308 - 0.00000 - 175 180s 18361 61 infeasible 33 - 0.00000 - 175 185s 18883 53 infeasible 33 - 0.00000 - 175 190s 19483 59 0.00000 37 348 - 0.00000 - 174 195s 20049 46 infeasible 31 - 0.00000 - 174 200s 20557 48 0.00000 24 286 - 0.00000 - 174 205s 21103 138 0.00000 33 332 - 0.00000 - 174 210s 21656 181 0.00000 30 294 - 0.00000 - 174 215s 22179 138 infeasible 32 - 0.00000 - 174 220s 22709 134 infeasible 35 - 0.00000 - 175 225s 23251 186 0.00000 36 310 - 0.00000 - 174 230s 23827 264 0.00000 31 348 - 0.00000 - 174 235s 24364 291 0.00000 34 354 - 0.00000 - 174 240s 24911 298 infeasible 36 - 0.00000 - 174 245s 25471 298 infeasible 33 - 0.00000 - 174 250s 25996 293 infeasible 31 - 0.00000 - 174 255s 26546 299 infeasible 34 - 0.00000 - 174 260s 27103 320 infeasible 30 - 0.00000 - 174 265s 27648 275 infeasible 33 - 0.00000 - 174 270s 28244 260 0.00000 32 294 - 0.00000 - 174 275s 28849 325 infeasible 34 - 0.00000 - 174 280s 29403 345 0.00000 34 286 - 0.00000 - 174 285s 29949 377 0.00000 31 278 - 0.00000 - 174 290s 30541 389 infeasible 35 - 0.00000 - 174 295s Cutting planes: Gomory: 1 Zero half: 9 Explored 30623 nodes (5350179 simplex iterations) in 295.64 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: 5