current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:22 2012 Optimize a model with 55308 rows, 9548 columns and 174240 nonzeros Presolve time: 0.17s Presolved: 55308 rows, 9548 columns, 174240 nonzeros Variable types: 0 continuous, 9548 integer (9548 binary) Root relaxation: objective 0.000000e+00, 323 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 (631 simplex iterations) in 0.31 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:23 2012 Optimize a model with 27720 rows, 5192 columns and 87120 nonzeros Presolve time: 0.13s Presolved: 27720 rows, 5192 columns, 87120 nonzeros Variable types: 0 continuous, 5192 integer (5192 binary) Root relaxation: objective 0.000000e+00, 400 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 (903 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:23 2012 Optimize a model with 13508 rows, 2948 columns and 42240 nonzeros Presolve time: 0.05s Presolved: 13508 rows, 2948 columns, 42240 nonzeros Variable types: 0 continuous, 2948 integer (2948 binary) Root relaxation: objective 0.000000e+00, 268 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 (551 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:23 2012 Optimize a model with 6820 rows, 1892 columns and 21120 nonzeros Presolve time: 0.02s Presolved: 6820 rows, 1892 columns, 21120 nonzeros Variable types: 0 continuous, 1892 integer (1892 binary) Root relaxation: objective 0.000000e+00, 289 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 (869 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:23 2012 Optimize a model with 3476 rows, 1364 columns and 10560 nonzeros Presolve time: 0.01s Presolved: 3476 rows, 1364 columns, 10560 nonzeros Variable types: 0 continuous, 1364 integer (1364 binary) Root relaxation: objective 0.000000e+00, 285 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 264 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 391 - 0.00000 - - 4s 0 0 0.00000 0 391 - 0.00000 - - 5s 0 0 0.00000 0 389 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 2 0.00000 0 396 - 0.00000 - - 8s Cutting planes: Gomory: 1 Clique: 14 Zero half: 19 Explored 7 nodes (34440 simplex iterations) in 8.78 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:01:32 2012 Optimize a model with 5148 rows, 1628 columns and 15840 nonzeros Presolve time: 0.01s Presolved: 5148 rows, 1628 columns, 15840 nonzeros Variable types: 0 continuous, 1628 integer (1628 binary) Root relaxation: objective 0.000000e+00, 292 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 182 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2557 simplex iterations) in 0.18 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 04:01:33 2012 Optimize a model with 4312 rows, 1496 columns and 13200 nonzeros Presolve time: 0.01s Presolved: 4312 rows, 1496 columns, 13200 nonzeros Variable types: 0 continuous, 1496 integer (1496 binary) Root relaxation: objective 0.000000e+00, 284 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 262 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 265 - 0.00000 - - 5s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 6s 0 0 0.00000 0 282 - 0.00000 - - 7s 0 0 0.00000 0 282 - 0.00000 - - 7s 0 2 0.00000 0 282 - 0.00000 - - 7s 121 71 0.00000 19 259 - 0.00000 - 178 10s 604 120 0.00000 16 369 - 0.00000 - 122 15s 608 123 0.00000 14 226 - 0.00000 - 121 20s 613 126 0.00000 7 262 - 0.00000 - 120 25s 624 131 0.00000 19 278 - 0.00000 - 199 30s 749 151 0.00000 27 295 - 0.00000 - 205 35s 979 100 0.00000 30 301 - 0.00000 - 216 40s 1197 108 infeasible 35 - 0.00000 - 225 45s 1425 126 infeasible 34 - 0.00000 - 231 50s 1633 142 0.00000 30 295 - 0.00000 - 236 55s 1877 154 0.00000 32 214 - 0.00000 - 238 60s 2127 158 0.00000 34 261 - 0.00000 - 238 65s 2340 159 infeasible 30 - 0.00000 - 242 70s 2550 163 0.00000 29 286 - 0.00000 - 245 75s 2769 166 0.00000 23 302 - 0.00000 - 247 80s 2973 151 infeasible 30 - 0.00000 - 251 85s 3187 147 infeasible 34 - 0.00000 - 254 90s 3392 134 0.00000 27 286 - 0.00000 - 257 95s 3630 124 infeasible 27 - 0.00000 - 257 100s 3835 111 0.00000 27 293 - 0.00000 - 259 105s 4037 105 0.00000 32 236 - 0.00000 - 261 110s 4258 100 infeasible 27 - 0.00000 - 262 115s 4496 100 infeasible 28 - 0.00000 - 263 120s 4700 108 infeasible 32 - 0.00000 - 265 125s 4884 92 infeasible 33 - 0.00000 - 267 130s 5109 91 0.00000 32 278 - 0.00000 - 268 135s 5337 83 infeasible 32 - 0.00000 - 268 140s 5542 72 infeasible 33 - 0.00000 - 269 145s 5763 87 infeasible 36 - 0.00000 - 270 150s 6007 81 infeasible 37 - 0.00000 - 270 155s 6238 92 infeasible 29 - 0.00000 - 270 160s 6448 88 infeasible 32 - 0.00000 - 271 165s 6668 94 infeasible 31 - 0.00000 - 271 170s 6851 81 0.00000 30 282 - 0.00000 - 273 175s 7047 85 infeasible 43 - 0.00000 - 274 180s 7253 65 0.00000 29 234 - 0.00000 - 275 185s 7451 55 0.00000 26 304 - 0.00000 - 275 190s 7632 48 0.00000 23 318 - 0.00000 - 277 195s 7850 64 infeasible 41 - 0.00000 - 278 200s 8119 57 infeasible 33 - 0.00000 - 277 205s 8341 59 infeasible 36 - 0.00000 - 277 210s 8594 58 infeasible 33 - 0.00000 - 277 215s 8826 58 0.00000 27 256 - 0.00000 - 277 220s 9034 58 0.00000 27 304 - 0.00000 - 278 225s 9281 67 infeasible 34 - 0.00000 - 278 230s 9509 61 0.00000 33 286 - 0.00000 - 278 235s 9736 54 infeasible 34 - 0.00000 - 278 240s 9962 52 infeasible 34 - 0.00000 - 279 245s 10163 43 0.00000 40 278 - 0.00000 - 279 250s 10385 65 infeasible 37 - 0.00000 - 279 255s 10587 41 infeasible 36 - 0.00000 - 280 260s 10791 38 infeasible 26 - 0.00000 - 280 265s 11006 33 0.00000 32 313 - 0.00000 - 280 270s 11222 35 0.00000 28 316 - 0.00000 - 280 275s 11447 32 infeasible 30 - 0.00000 - 280 280s 11667 28 infeasible 32 - 0.00000 - 280 285s Cutting planes: Clique: 2 Zero half: 10 Explored 11772 nodes (3348122 simplex iterations) in 287.79 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