current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:33:27 2012 Optimize a model with 65859 rows, 15893 columns and 212193 nonzeros Presolve time: 0.20s Presolved: 65859 rows, 15893 columns, 212193 nonzeros Variable types: 0 continuous, 15893 integer (15893 binary) Root relaxation: objective 0.000000e+00, 571 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 (930 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:33:28 2012 Optimize a model with 32639 rows, 8237 columns and 104877 nonzeros Presolve time: 0.15s Presolved: 32639 rows, 8237 columns, 104877 nonzeros Variable types: 0 continuous, 8237 integer (8237 binary) Root relaxation: objective 0.000000e+00, 566 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 (950 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:33:28 2012 Optimize a model with 16029 rows, 4409 columns and 51219 nonzeros Presolve time: 0.06s Presolved: 16029 rows, 4409 columns, 51219 nonzeros Variable types: 0 continuous, 4409 integer (4409 binary) Root relaxation: objective 0.000000e+00, 363 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 (688 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 22:33:29 2012 Optimize a model with 7724 rows, 2495 columns and 24390 nonzeros Presolve time: 0.02s Presolved: 7724 rows, 2495 columns, 24390 nonzeros Variable types: 0 continuous, 2495 integer (2495 binary) Root relaxation: objective 0.000000e+00, 371 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 (713 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 22:33:29 2012 Optimize a model with 3949 rows, 1625 columns and 12195 nonzeros Presolve time: 0.01s Presolved: 3949 rows, 1625 columns, 12195 nonzeros Variable types: 0 continuous, 1625 integer (1625 binary) Root relaxation: objective 0.000000e+00, 381 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 (2782 simplex iterations) in 0.15 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 22:33:29 2012 Optimize a model with 1684 rows, 1103 columns and 4878 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1510 rows, 929 columns, 4530 nonzeros Variable types: 0 continuous, 929 integer (929 binary) Root relaxation: objective 0.000000e+00, 182 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (736 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 22:33:29 2012 Optimize a model with 2439 rows, 1277 columns and 7317 nonzeros Presolve time: 0.01s Presolved: 2439 rows, 1277 columns, 7317 nonzeros Variable types: 0 continuous, 1277 integer (1277 binary) Root relaxation: objective 0.000000e+00, 398 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 344 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4053 simplex iterations) in 0.48 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 22:33:30 2012 Optimize a model with 3194 rows, 1451 columns and 9756 nonzeros Presolve time: 0.01s Presolved: 3194 rows, 1451 columns, 9756 nonzeros Variable types: 0 continuous, 1451 integer (1451 binary) Root relaxation: objective 0.000000e+00, 384 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 328 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 2s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 4s 0 2 0.00000 0 264 - 0.00000 - - 4s 86 31 0.00000 16 296 - 0.00000 - 106 5s 607 73 0.00000 21 292 - 0.00000 - 83.6 10s 612 76 0.00000 21 236 - 0.00000 - 83.0 15s 917 76 0.00000 22 304 - 0.00000 - 156 20s 1441 148 0.00000 24 309 - 0.00000 - 160 25s 1991 180 0.00000 22 298 - 0.00000 - 161 30s 2550 221 infeasible 24 - 0.00000 - 160 35s 3069 242 infeasible 24 - 0.00000 - 161 40s 3549 262 0.00000 20 298 - 0.00000 - 164 45s 4075 284 0.00000 26 294 - 0.00000 - 164 50s 4639 278 0.00000 25 290 - 0.00000 - 163 55s 5210 255 infeasible 24 - 0.00000 - 162 60s 5741 244 0.00000 29 296 - 0.00000 - 163 65s 6266 225 infeasible 26 - 0.00000 - 164 70s 6795 164 infeasible 28 - 0.00000 - 164 75s 7267 194 0.00000 30 302 - 0.00000 - 165 80s 7752 199 infeasible 24 - 0.00000 - 166 85s 8283 204 0.00000 26 308 - 0.00000 - 166 90s 8798 197 0.00000 25 300 - 0.00000 - 166 95s 9320 159 infeasible 23 - 0.00000 - 166 100s 9817 166 infeasible 31 - 0.00000 - 167 105s 10320 155 0.00000 24 278 - 0.00000 - 167 110s 10881 178 0.00000 29 294 - 0.00000 - 166 115s 11329 170 infeasible 27 - 0.00000 - 167 120s 11788 155 0.00000 27 290 - 0.00000 - 168 125s 12288 143 0.00000 25 290 - 0.00000 - 168 130s 12823 136 infeasible 30 - 0.00000 - 168 135s 13309 134 infeasible 27 - 0.00000 - 168 140s 13805 116 infeasible 31 - 0.00000 - 168 145s 14300 117 infeasible 24 - 0.00000 - 168 150s 14811 134 0.00000 34 286 - 0.00000 - 169 155s 15355 120 0.00000 21 302 - 0.00000 - 168 160s 15797 110 infeasible 26 - 0.00000 - 169 165s 16254 109 infeasible 35 - 0.00000 - 169 170s 16692 101 0.00000 21 308 - 0.00000 - 170 175s 17096 111 0.00000 18 286 - 0.00000 - 171 180s 17542 117 infeasible 31 - 0.00000 - 171 185s 17995 112 0.00000 27 289 - 0.00000 - 171 190s 18505 100 infeasible 29 - 0.00000 - 171 195s 18963 114 0.00000 32 290 - 0.00000 - 171 200s 19462 107 0.00000 17 349 - 0.00000 - 171 205s 19949 96 0.00000 21 365 - 0.00000 - 171 210s 20414 99 0.00000 24 301 - 0.00000 - 171 215s 20899 82 infeasible 22 - 0.00000 - 171 220s 21359 82 infeasible 24 - 0.00000 - 171 225s 21831 58 infeasible 21 - 0.00000 - 171 230s 22244 47 infeasible 28 - 0.00000 - 172 235s 22660 31 0.00000 16 371 - 0.00000 - 172 240s 23096 35 0.00000 22 294 - 0.00000 - 172 245s 23514 23 0.00000 22 365 - 0.00000 - 173 250s 23941 18 infeasible 24 - 0.00000 - 173 255s 24376 21 0.00000 29 304 - 0.00000 - 173 260s 24819 10 infeasible 32 - 0.00000 - 173 265s 25286 3 infeasible 30 - 0.00000 - 173 270s Cutting planes: Clique: 1 Zero half: 2 Explored 25434 nodes (4455865 simplex iterations) in 271.90 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5