current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:44:57 2012 Optimize a model with 63894 rows, 10446 columns and 200790 nonzeros Presolve time: 0.19s Presolved: 63894 rows, 10446 columns, 200790 nonzeros Variable types: 0 continuous, 10446 integer (10446 binary) Root relaxation: objective 0.000000e+00, 364 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 (674 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:44:58 2012 Optimize a model with 31554 rows, 5616 columns and 98940 nonzeros Presolve time: 0.15s Presolved: 31554 rows, 5616 columns, 98940 nonzeros Variable types: 0 continuous, 5616 integer (5616 binary) Root relaxation: objective 0.000000e+00, 410 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 (760 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:44:59 2012 Optimize a model with 15846 rows, 3270 columns and 49470 nonzeros Presolve time: 0.05s Presolved: 15846 rows, 3270 columns, 49470 nonzeros Variable types: 0 continuous, 3270 integer (3270 binary) Root relaxation: objective 0.000000e+00, 280 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 (582 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:44:59 2012 Optimize a model with 7530 rows, 2028 columns and 23280 nonzeros Presolve time: 0.02s Presolved: 7530 rows, 2028 columns, 23280 nonzeros Variable types: 0 continuous, 2028 integer (2028 binary) Root relaxation: objective 0.000000e+00, 291 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 (1446 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:44:59 2012 Optimize a model with 3834 rows, 1476 columns and 11640 nonzeros Presolve time: 0.01s Presolved: 3834 rows, 1476 columns, 11640 nonzeros Variable types: 0 continuous, 1476 integer (1476 binary) Root relaxation: objective 0.000000e+00, 300 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 274 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 1s 0 0 0.00000 0 447 - 0.00000 - - 1s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 430 - 0.00000 - - 4s 0 0 0.00000 0 438 - 0.00000 - - 4s 0 0 0.00000 0 423 - 0.00000 - - 5s 0 0 0.00000 0 415 - 0.00000 - - 7s 0 0 0.00000 0 425 - 0.00000 - - 8s 0 0 0.00000 0 420 - 0.00000 - - 9s 0 0 0.00000 0 414 - 0.00000 - - 11s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 0 0.00000 0 411 - 0.00000 - - 14s 0 0 0.00000 0 411 - 0.00000 - - 14s 0 2 0.00000 0 411 - 0.00000 - - 15s Cutting planes: Clique: 32 Zero half: 22 Explored 45 nodes (64541 simplex iterations) in 17.74 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 08:45:17 2012 Optimize a model with 5682 rows, 1752 columns and 17460 nonzeros Presolve time: 0.02s Presolved: 5682 rows, 1752 columns, 17460 nonzeros Variable types: 0 continuous, 1752 integer (1752 binary) Root relaxation: objective 0.000000e+00, 295 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 0 0 0.00000 0 231 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (9317 simplex iterations) in 1.19 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 08:45:18 2012 Optimize a model with 4758 rows, 1614 columns and 14550 nonzeros Presolve time: 0.01s Presolved: 4758 rows, 1614 columns, 14550 nonzeros Variable types: 0 continuous, 1614 integer (1614 binary) Root relaxation: objective 0.000000e+00, 297 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 266 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 367 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 5s 0 0 0.00000 0 277 - 0.00000 - - 6s 0 0 0.00000 0 165 - 0.00000 - - 7s 0 0 0.00000 0 296 - 0.00000 - - 8s 0 0 0.00000 0 304 - 0.00000 - - 9s 0 0 0.00000 0 281 - 0.00000 - - 9s 0 0 0.00000 0 279 - 0.00000 - - 10s 0 0 0.00000 0 291 - 0.00000 - - 11s 0 0 0.00000 0 291 - 0.00000 - - 11s 0 2 0.00000 0 291 - 0.00000 - - 12s 238 54 infeasible 29 - 0.00000 - 117 15s 1014 35 infeasible 22 - 0.00000 - 98.1 20s 1105 45 0.00000 9 327 - 0.00000 - 97.2 25s 1108 47 0.00000 16 352 - 0.00000 - 97.0 30s 1111 49 0.00000 20 303 - 0.00000 - 96.7 35s 1114 51 0.00000 3 290 - 0.00000 - 96.4 40s 1200 78 infeasible 28 - 0.00000 - 153 45s 1446 113 infeasible 29 - 0.00000 - 166 50s 1675 144 0.00000 31 327 - 0.00000 - 176 55s 1882 145 infeasible 30 - 0.00000 - 187 60s 2103 166 infeasible 31 - 0.00000 - 195 65s 2340 217 infeasible 36 - 0.00000 - 199 70s 2556 249 infeasible 34 - 0.00000 - 205 75s 2779 268 infeasible 32 - 0.00000 - 209 80s 3012 335 0.00000 31 282 - 0.00000 - 211 85s 3198 335 infeasible 32 - 0.00000 - 216 90s 3419 354 infeasible 32 - 0.00000 - 219 95s 3644 391 0.00000 30 312 - 0.00000 - 221 100s 3859 402 infeasible 34 - 0.00000 - 224 105s 4093 398 0.00000 36 294 - 0.00000 - 226 110s 4314 405 0.00000 30 292 - 0.00000 - 228 115s 4542 409 0.00000 29 303 - 0.00000 - 230 120s 4747 402 infeasible 29 - 0.00000 - 232 125s 4954 425 0.00000 34 311 - 0.00000 - 234 130s 5163 412 0.00000 30 298 - 0.00000 - 236 135s 5383 430 infeasible 29 - 0.00000 - 237 140s 5588 429 infeasible 33 - 0.00000 - 238 145s 5790 435 infeasible 36 - 0.00000 - 240 150s 5982 453 0.00000 28 294 - 0.00000 - 241 155s 6176 467 infeasible 31 - 0.00000 - 243 160s 6393 508 0.00000 27 309 - 0.00000 - 243 165s 6610 527 0.00000 31 302 - 0.00000 - 243 170s 6820 533 0.00000 40 271 - 0.00000 - 244 175s 7018 533 infeasible 32 - 0.00000 - 245 180s 7212 563 infeasible 32 - 0.00000 - 246 185s 7419 574 0.00000 30 317 - 0.00000 - 247 190s 7633 574 infeasible 31 - 0.00000 - 248 195s 7843 594 0.00000 31 304 - 0.00000 - 248 200s 8090 611 infeasible 40 - 0.00000 - 248 205s 8284 597 infeasible 29 - 0.00000 - 249 210s 8477 582 0.00000 34 222 - 0.00000 - 250 215s 8674 597 infeasible 36 - 0.00000 - 251 220s 8857 592 0.00000 29 306 - 0.00000 - 252 225s 9049 570 infeasible 29 - 0.00000 - 253 230s 9255 578 0.00000 25 308 - 0.00000 - 253 235s 9483 618 0.00000 29 278 - 0.00000 - 253 240s 9682 627 0.00000 35 319 - 0.00000 - 254 245s 9908 685 0.00000 26 310 - 0.00000 - 253 250s 10128 713 infeasible 36 - 0.00000 - 254 255s 10365 728 infeasible 31 - 0.00000 - 253 260s 10574 745 0.00000 38 289 - 0.00000 - 254 265s 10791 754 infeasible 30 - 0.00000 - 254 270s 11007 754 infeasible 34 - 0.00000 - 254 275s Cutting planes: Clique: 3 Zero half: 8 Explored 11093 nodes (2891055 simplex iterations) in 277.36 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