current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:46:03 2012 Optimize a model with 58893 rows, 9855 columns and 185255 nonzeros Presolve time: 0.18s Presolved: 58893 rows, 9855 columns, 185255 nonzeros Variable types: 0 continuous, 9855 integer (9855 binary) Root relaxation: objective 0.000000e+00, 330 iterations, 0.07 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 (649 simplex iterations) in 0.32 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:46:04 2012 Optimize a model with 29075 rows, 5299 columns and 91245 nonzeros Presolve time: 0.13s Presolved: 29075 rows, 5299 columns, 91245 nonzeros Variable types: 0 continuous, 5299 integer (5299 binary) Root relaxation: objective 0.000000e+00, 320 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 (609 simplex iterations) in 0.20 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 05:46:04 2012 Optimize a model with 14166 rows, 3021 columns and 44240 nonzeros Presolve time: 0.05s Presolved: 14166 rows, 3021 columns, 44240 nonzeros Variable types: 0 continuous, 3021 integer (3021 binary) Root relaxation: objective 0.000000e+00, 277 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 (553 simplex iterations) in 0.08 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 05:46:05 2012 Optimize a model with 7150 rows, 1949 columns and 22120 nonzeros Presolve time: 0.02s Presolved: 7150 rows, 1949 columns, 22120 nonzeros Variable types: 0 continuous, 1949 integer (1949 binary) Root relaxation: objective 0.000000e+00, 283 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 (739 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 05:46:05 2012 Optimize a model with 3642 rows, 1413 columns and 11060 nonzeros Presolve time: 0.01s Presolved: 3642 rows, 1413 columns, 11060 nonzeros Variable types: 0 continuous, 1413 integer (1413 binary) Root relaxation: objective 0.000000e+00, 306 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 258 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 3s 0 0 0.00000 0 387 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 0 0.00000 0 387 - 0.00000 - - 9s 0 0 0.00000 0 403 - 0.00000 - - 10s 0 0 0.00000 0 390 - 0.00000 - - 11s 0 0 0.00000 0 390 - 0.00000 - - 12s 0 0 0.00000 0 390 - 0.00000 - - 12s 0 2 0.00000 0 390 - 0.00000 - - 13s Cutting planes: Clique: 11 Zero half: 20 Explored 23 nodes (53144 simplex iterations) in 14.28 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 05:46:19 2012 Optimize a model with 5396 rows, 1681 columns and 16590 nonzeros Presolve time: 0.01s Presolved: 5396 rows, 1681 columns, 16590 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 287 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 136 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3050 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:46:20 2012 Optimize a model with 4519 rows, 1547 columns and 13825 nonzeros Presolve time: 0.01s Presolved: 4519 rows, 1547 columns, 13825 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 280 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 0.00000 0 241 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 1s 0 0 0.00000 0 213 - 0.00000 - - 1s 0 0 0.00000 0 223 - 0.00000 - - 2s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 3s 0 0 0.00000 0 207 - 0.00000 - - 3s 0 0 0.00000 0 195 - 0.00000 - - 4s 0 0 0.00000 0 153 - 0.00000 - - 5s 0 0 0.00000 0 159 - 0.00000 - - 5s 0 0 0.00000 0 159 - 0.00000 - - 5s 0 2 0.00000 0 159 - 0.00000 - - 7s 405 64 0.00000 20 290 - 0.00000 - 107 10s 1104 79 0.00000 22 378 - 0.00000 - 96.2 15s 1110 83 0.00000 22 243 - 0.00000 - 95.7 20s 1120 90 0.00000 17 261 - 0.00000 - 125 25s 1255 104 0.00000 31 312 - 0.00000 - 135 30s 1519 136 0.00000 31 226 - 0.00000 - 150 35s 1808 161 infeasible 33 - 0.00000 - 163 40s 2099 172 0.00000 35 290 - 0.00000 - 172 45s 2360 209 0.00000 35 256 - 0.00000 - 178 50s 2643 240 infeasible 34 - 0.00000 - 182 55s 2860 233 infeasible 33 - 0.00000 - 189 60s 3125 246 0.00000 31 269 - 0.00000 - 194 65s 3404 239 infeasible 30 - 0.00000 - 198 70s 3656 249 infeasible 37 - 0.00000 - 202 75s 3880 223 infeasible 28 - 0.00000 - 206 80s 4156 243 infeasible 38 - 0.00000 - 208 85s 4407 246 0.00000 41 252 - 0.00000 - 211 90s 4649 240 infeasible 39 - 0.00000 - 213 95s 4934 233 0.00000 26 214 - 0.00000 - 215 100s 5154 239 infeasible 36 - 0.00000 - 217 105s 5394 245 0.00000 37 292 - 0.00000 - 220 110s 5642 271 0.00000 28 218 - 0.00000 - 221 115s 5914 279 infeasible 31 - 0.00000 - 222 120s 6198 267 infeasible 35 - 0.00000 - 222 125s 6454 265 0.00000 32 271 - 0.00000 - 224 130s 6700 267 infeasible 34 - 0.00000 - 225 135s 6966 285 infeasible 33 - 0.00000 - 225 140s 7220 269 0.00000 30 282 - 0.00000 - 226 145s 7459 252 0.00000 30 319 - 0.00000 - 227 150s 7699 242 0.00000 37 273 - 0.00000 - 228 155s 7933 226 infeasible 35 - 0.00000 - 229 160s 8184 231 0.00000 32 296 - 0.00000 - 230 165s 8426 229 0.00000 28 260 - 0.00000 - 231 170s 8669 242 0.00000 35 212 - 0.00000 - 231 175s 8909 230 0.00000 31 226 - 0.00000 - 232 180s 9165 284 infeasible 31 - 0.00000 - 233 185s 9461 348 infeasible 39 - 0.00000 - 232 190s 9714 361 infeasible 34 - 0.00000 - 233 195s 9965 390 infeasible 28 - 0.00000 - 234 200s 10207 386 infeasible 33 - 0.00000 - 235 205s 10482 429 0.00000 32 285 - 0.00000 - 235 210s 10716 453 0.00000 33 218 - 0.00000 - 236 215s 10944 435 0.00000 31 283 - 0.00000 - 237 220s 11199 432 0.00000 30 295 - 0.00000 - 237 225s 11446 437 0.00000 35 301 - 0.00000 - 237 230s 11693 438 infeasible 36 - 0.00000 - 238 235s 11951 428 infeasible 35 - 0.00000 - 238 240s 12217 484 0.00000 30 302 - 0.00000 - 238 245s 12505 512 infeasible 36 - 0.00000 - 238 250s 12795 546 0.00000 29 226 - 0.00000 - 238 255s 13050 539 infeasible 39 - 0.00000 - 239 260s 13307 528 0.00000 36 242 - 0.00000 - 239 265s 13543 496 infeasible 36 - 0.00000 - 240 270s 13782 465 infeasible 32 - 0.00000 - 240 275s 14042 467 0.00000 37 214 - 0.00000 - 241 280s Cutting planes: Clique: 1 Zero half: 13 Explored 14187 nodes (3453822 simplex iterations) in 282.10 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