current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:03:01 2012 Optimize a model with 67672 rows, 16255 columns and 217976 nonzeros Presolve time: 0.21s Presolved: 67672 rows, 16255 columns, 217976 nonzeros Variable types: 0 continuous, 16255 integer (16255 binary) Root relaxation: objective 0.000000e+00, 690 iterations, 0.06 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 (1094 simplex iterations) in 0.37 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:03:02 2012 Optimize a model with 33924 rows, 8511 columns and 108988 nonzeros Presolve time: 0.15s Presolved: 33924 rows, 8511 columns, 108988 nonzeros Variable types: 0 continuous, 8511 integer (8511 binary) Root relaxation: objective 0.000000e+00, 561 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 (974 simplex iterations) in 0.23 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:03:03 2012 Optimize a model with 17050 rows, 4639 columns and 54494 nonzeros Presolve time: 0.07s Presolved: 17050 rows, 4639 columns, 54494 nonzeros Variable types: 0 continuous, 4639 integer (4639 binary) Root relaxation: objective 0.000000e+00, 385 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 (678 simplex iterations) in 0.10 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:03:03 2012 Optimize a model with 8613 rows, 2703 columns and 27247 nonzeros Presolve time: 0.03s Presolved: 8613 rows, 2703 columns, 27247 nonzeros Variable types: 0 continuous, 2703 integer (2703 binary) Root relaxation: objective 0.000000e+00, 383 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 (695 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:03:04 2012 Optimize a model with 4011 rows, 1647 columns and 12385 nonzeros Presolve time: 0.01s Presolved: 4011 rows, 1647 columns, 12385 nonzeros Variable types: 0 continuous, 1647 integer (1647 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 62 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2892 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 23:03:04 2012 Optimize a model with 1710 rows, 1119 columns and 4954 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1534 rows, 943 columns, 4602 nonzeros Variable types: 0 continuous, 943 integer (943 binary) Root relaxation: objective 0.000000e+00, 189 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (801 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 23:03:04 2012 Optimize a model with 2477 rows, 1295 columns and 7431 nonzeros Presolve time: 0.01s Presolved: 2477 rows, 1295 columns, 7431 nonzeros Variable types: 0 continuous, 1295 integer (1295 binary) Root relaxation: objective 0.000000e+00, 425 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 254 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 0s 0 0 0.00000 0 474 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 27 Clique: 1 Zero half: 409 Explored 0 nodes (9158 simplex iterations) in 1.14 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 23:03:05 2012 Optimize a model with 3244 rows, 1471 columns and 9908 nonzeros Presolve time: 0.01s Presolved: 3244 rows, 1471 columns, 9908 nonzeros Variable types: 0 continuous, 1471 integer (1471 binary) Root relaxation: objective 0.000000e+00, 397 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 346 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 297 - 0.00000 - - 3s 0 0 0.00000 0 263 - 0.00000 - - 3s 0 0 0.00000 0 218 - 0.00000 - - 4s 0 0 0.00000 0 219 - 0.00000 - - 4s 0 0 0.00000 0 220 - 0.00000 - - 4s 0 0 0.00000 0 212 - 0.00000 - - 5s 0 2 0.00000 0 212 - 0.00000 - - 5s 606 69 0.00000 14 304 - 0.00000 - 92.6 10s 611 73 0.00000 13 355 - 0.00000 - 91.8 15s 1049 138 infeasible 26 - 0.00000 - 147 20s 1550 235 infeasible 31 - 0.00000 - 154 25s 2121 392 infeasible 29 - 0.00000 - 153 30s 2624 481 0.00000 25 288 - 0.00000 - 156 35s 3114 537 0.00000 30 282 - 0.00000 - 159 40s 3616 597 0.00000 26 332 - 0.00000 - 161 45s 4123 628 0.00000 29 276 - 0.00000 - 162 50s 4677 670 infeasible 36 - 0.00000 - 162 55s 5163 756 infeasible 23 - 0.00000 - 163 60s 5660 783 infeasible 29 - 0.00000 - 165 65s 6139 780 infeasible 31 - 0.00000 - 166 70s 6668 843 infeasible 28 - 0.00000 - 166 75s 7147 844 infeasible 28 - 0.00000 - 167 80s 7663 872 0.00000 26 298 - 0.00000 - 167 85s 8185 940 0.00000 30 302 - 0.00000 - 167 90s 8692 957 0.00000 26 294 - 0.00000 - 168 95s 9198 959 0.00000 28 347 - 0.00000 - 168 100s 9685 966 0.00000 26 293 - 0.00000 - 168 105s 10172 975 0.00000 31 290 - 0.00000 - 169 110s 10649 1008 0.00000 31 290 - 0.00000 - 170 115s 11144 1047 0.00000 31 294 - 0.00000 - 170 120s 11591 1076 infeasible 31 - 0.00000 - 171 125s 12098 1097 infeasible 30 - 0.00000 - 171 130s 12620 1089 0.00000 23 282 - 0.00000 - 171 135s 13115 1084 infeasible 31 - 0.00000 - 171 140s 13626 1121 0.00000 29 300 - 0.00000 - 171 145s 14132 1131 infeasible 29 - 0.00000 - 171 150s 14656 1151 infeasible 27 - 0.00000 - 171 155s 15154 1173 infeasible 30 - 0.00000 - 171 160s 15644 1225 0.00000 27 270 - 0.00000 - 171 165s 16176 1273 0.00000 31 268 - 0.00000 - 171 170s 16707 1274 0.00000 33 288 - 0.00000 - 171 175s 17265 1272 infeasible 30 - 0.00000 - 170 180s 17780 1303 infeasible 34 - 0.00000 - 170 185s 18289 1330 0.00000 28 294 - 0.00000 - 171 190s 18772 1347 0.00000 25 298 - 0.00000 - 171 195s 19285 1344 infeasible 34 - 0.00000 - 171 200s 19804 1365 infeasible 32 - 0.00000 - 171 205s 20260 1327 infeasible 31 - 0.00000 - 171 210s 20754 1367 0.00000 29 294 - 0.00000 - 171 215s 21210 1355 infeasible 32 - 0.00000 - 172 220s 21665 1334 infeasible 30 - 0.00000 - 172 225s 22184 1315 infeasible 33 - 0.00000 - 172 230s 22666 1281 0.00000 30 302 - 0.00000 - 173 235s 23151 1262 infeasible 39 - 0.00000 - 173 240s 23635 1252 infeasible 32 - 0.00000 - 173 245s 24115 1254 infeasible 29 - 0.00000 - 173 250s 24601 1234 0.00000 32 294 - 0.00000 - 173 255s 25143 1248 0.00000 29 302 - 0.00000 - 173 260s 25639 1254 infeasible 30 - 0.00000 - 173 265s 26121 1256 0.00000 28 286 - 0.00000 - 173 270s 26603 1248 infeasible 31 - 0.00000 - 173 275s 27060 1247 infeasible 29 - 0.00000 - 174 280s 27529 1248 0.00000 28 272 - 0.00000 - 174 285s 28044 1239 infeasible 29 - 0.00000 - 174 290s Cutting planes: Gomory: 1 Zero half: 10 Explored 28519 nodes (5010644 simplex iterations) in 294.76 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