current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:28 2012 Optimize a model with 80227 rows, 11755 columns and 250901 nonzeros Presolve time: 0.22s Presolved: 80227 rows, 11755 columns, 250901 nonzeros Variable types: 0 continuous, 11755 integer (11755 binary) Root relaxation: objective 0.000000e+00, 353 iterations, 0.09 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 (768 simplex iterations) in 0.44 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:29 2012 Optimize a model with 39638 rows, 6353 columns and 123732 nonzeros Presolve time: 0.15s Presolved: 39638 rows, 6353 columns, 123732 nonzeros Variable types: 0 continuous, 6353 integer (6353 binary) Root relaxation: objective 0.000000e+00, 442 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 (833 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:30 2012 Optimize a model with 19892 rows, 3725 columns and 61866 nonzeros Presolve time: 0.07s Presolved: 19892 rows, 3725 columns, 61866 nonzeros Variable types: 0 continuous, 3725 integer (3725 binary) Root relaxation: objective 0.000000e+00, 418 iterations, 0.02 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 (828 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:30 2012 Optimize a model with 10019 rows, 2411 columns and 30933 nonzeros Presolve time: 0.03s Presolved: 10019 rows, 2411 columns, 30933 nonzeros Variable types: 0 continuous, 2411 integer (2411 binary) Root relaxation: objective 0.000000e+00, 298 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 (754 simplex iterations) in 0.06 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:30 2012 Optimize a model with 4534 rows, 1681 columns and 13748 nonzeros Presolve time: 0.01s Presolved: 4534 rows, 1681 columns, 13748 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 316 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 292 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 469 - 0.00000 - - 3s 0 0 0.00000 0 461 - 0.00000 - - 4s 0 0 0.00000 0 452 - 0.00000 - - 5s 0 0 0.00000 0 445 - 0.00000 - - 7s 0 0 0.00000 0 448 - 0.00000 - - 8s 0 0 0.00000 0 447 - 0.00000 - - 10s 0 0 0.00000 0 456 - 0.00000 - - 11s 0 0 0.00000 0 459 - 0.00000 - - 12s 0 0 0.00000 0 454 - 0.00000 - - 13s 0 2 0.00000 0 449 - 0.00000 - - 14s 5 5 0.00000 4 431 - 0.00000 - 1139 15s Cutting planes: Clique: 40 Zero half: 20 Explored 36 nodes (66065 simplex iterations) in 16.69 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:47 2012 Optimize a model with 6728 rows, 1973 columns and 20622 nonzeros Presolve time: 0.02s Presolved: 6728 rows, 1973 columns, 20622 nonzeros Variable types: 0 continuous, 1973 integer (1973 binary) Root relaxation: objective 0.000000e+00, 315 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 272 - 0.00000 - - 0s 0 0 0.00000 0 265 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 46 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Clique: 1 Zero half: 7 Explored 0 nodes (19892 simplex iterations) in 3.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:09:51 2012 Optimize a model with 5631 rows, 1827 columns and 17185 nonzeros Presolve time: 0.01s Presolved: 5631 rows, 1827 columns, 17185 nonzeros Variable types: 0 continuous, 1827 integer (1827 binary) Root relaxation: objective 0.000000e+00, 322 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 290 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 464 - 0.00000 - - 2s 0 0 0.00000 0 351 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 358 - 0.00000 - - 9s 0 0 0.00000 0 361 - 0.00000 - - 11s 0 0 0.00000 0 352 - 0.00000 - - 12s 0 0 0.00000 0 341 - 0.00000 - - 13s 0 0 0.00000 0 343 - 0.00000 - - 14s 0 0 0.00000 0 343 - 0.00000 - - 15s 0 2 0.00000 0 343 - 0.00000 - - 16s 131 18 infeasible 15 - 0.00000 - 247 20s 394 62 infeasible 30 - 0.00000 - 195 25s 603 113 0.00000 18 282 - 0.00000 - 192 31s 605 115 0.00000 21 332 - 0.00000 - 191 36s 607 116 0.00000 12 333 - 0.00000 - 191 41s 609 117 0.00000 21 329 - 0.00000 - 190 47s 611 119 0.00000 25 326 - 0.00000 - 190 51s 613 120 0.00000 26 309 - 0.00000 - 189 55s 615 121 0.00000 18 332 - 0.00000 - 188 60s 622 124 0.00000 18 395 - 0.00000 - 298 65s 655 128 infeasible 30 - 0.00000 - 299 70s 752 99 0.00000 32 348 - 0.00000 - 307 75s 858 65 0.00000 36 324 - 0.00000 - 315 80s 951 29 infeasible 39 - 0.00000 - 326 85s 1049 10 infeasible 26 - 0.00000 - 336 90s 1141 12 infeasible 31 - 0.00000 - 341 95s 1253 26 0.00000 33 353 - 0.00000 - 343 100s 1366 43 0.00000 35 357 - 0.00000 - 344 105s 1458 37 infeasible 41 - 0.00000 - 348 110s 1571 56 infeasible 37 - 0.00000 - 348 115s 1690 93 infeasible 42 - 0.00000 - 347 120s 1793 86 0.00000 32 365 - 0.00000 - 351 125s 1893 88 infeasible 38 - 0.00000 - 355 130s 1989 88 infeasible 40 - 0.00000 - 358 135s 2093 86 infeasible 32 - 0.00000 - 361 140s 2192 93 0.00000 37 350 - 0.00000 - 363 145s 2290 87 0.00000 33 382 - 0.00000 - 366 150s 2401 102 0.00000 35 339 - 0.00000 - 366 155s 2503 108 infeasible 31 - 0.00000 - 367 160s 2599 102 infeasible 34 - 0.00000 - 369 165s 2698 103 infeasible 33 - 0.00000 - 371 170s 2797 112 infeasible 34 - 0.00000 - 372 175s 2899 120 infeasible 40 - 0.00000 - 373 180s 2997 114 infeasible 33 - 0.00000 - 375 185s 3097 112 infeasible 41 - 0.00000 - 376 190s 3201 116 0.00000 30 333 - 0.00000 - 377 195s 3302 111 infeasible 30 - 0.00000 - 379 200s 3386 105 infeasible 35 - 0.00000 - 381 205s 3481 112 0.00000 38 342 - 0.00000 - 382 210s 3586 107 infeasible 33 - 0.00000 - 382 215s 3682 105 infeasible 38 - 0.00000 - 384 220s 3776 109 infeasible 34 - 0.00000 - 385 225s 3880 101 infeasible 41 - 0.00000 - 385 230s 3984 97 infeasible 37 - 0.00000 - 385 235s 4079 94 infeasible 29 - 0.00000 - 386 240s 4185 102 infeasible 32 - 0.00000 - 386 245s 4289 92 infeasible 33 - 0.00000 - 386 250s 4392 93 infeasible 30 - 0.00000 - 387 255s 4490 113 infeasible 43 - 0.00000 - 387 260s 4604 123 infeasible 34 - 0.00000 - 386 265s 4689 134 infeasible 44 - 0.00000 - 388 270s 4774 125 0.00000 32 392 - 0.00000 - 390 275s Cutting planes: Clique: 7 Zero half: 12 Explored 4791 nodes (1933826 simplex iterations) in 275.63 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