current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:40:55 2012 Optimize a model with 51648 rows, 8997 columns and 162752 nonzeros Presolve time: 0.18s Presolved: 51648 rows, 8997 columns, 162752 nonzeros Variable types: 0 continuous, 8997 integer (8997 binary) Root relaxation: objective 0.000000e+00, 328 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 (794 simplex iterations) in 0.34 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:40:55 2012 Optimize a model with 25888 rows, 4901 columns and 81376 nonzeros Presolve time: 0.12s Presolved: 25888 rows, 4901 columns, 81376 nonzeros Variable types: 0 continuous, 4901 integer (4901 binary) Root relaxation: objective 0.000000e+00, 297 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 (652 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: 0 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:40:56 2012 Optimize a model with 13008 rows, 2853 columns and 40688 nonzeros Presolve time: 0.04s Presolved: 13008 rows, 2853 columns, 40688 nonzeros Variable types: 0 continuous, 2853 integer (2853 binary) Root relaxation: objective 0.000000e+00, 259 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 (520 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 00:40:56 2012 Optimize a model with 6568 rows, 1829 columns and 20344 nonzeros Presolve time: 0.02s Presolved: 6568 rows, 1829 columns, 20344 nonzeros Variable types: 0 continuous, 1829 integer (1829 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (820 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 00:40:56 2012 Optimize a model with 3348 rows, 1317 columns and 10172 nonzeros Presolve time: 0.01s Presolved: 3348 rows, 1317 columns, 10172 nonzeros Variable types: 0 continuous, 1317 integer (1317 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 254 - 0.00000 - - 0s 0 0 0.00000 0 225 - 0.00000 - - 0s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 367 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 371 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 2 0.00000 0 358 - 0.00000 - - 7s Cutting planes: Clique: 16 Zero half: 13 Explored 43 nodes (41067 simplex iterations) in 8.43 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 00:41:05 2012 Optimize a model with 4958 rows, 1573 columns and 15258 nonzeros Presolve time: 0.01s Presolved: 4958 rows, 1573 columns, 15258 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 271 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 192 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2266 simplex iterations) in 0.13 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 00:41:05 2012 Optimize a model with 4153 rows, 1445 columns and 12715 nonzeros Presolve time: 0.01s Presolved: 4153 rows, 1445 columns, 12715 nonzeros Variable types: 0 continuous, 1445 integer (1445 binary) Root relaxation: objective 0.000000e+00, 263 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 146 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 265 - 0.00000 - - 2s 0 0 0.00000 0 184 - 0.00000 - - 2s 0 0 0.00000 0 144 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 0 0.00000 0 299 - 0.00000 - - 4s 0 0 0.00000 0 299 - 0.00000 - - 4s 0 2 0.00000 0 299 - 0.00000 - - 5s 703 91 0.00000 11 304 - 0.00000 - 99.1 10s 708 95 0.00000 11 300 - 0.00000 - 98.4 15s 713 98 0.00000 25 293 - 0.00000 - 97.7 21s 717 101 0.00000 2 263 - 0.00000 - 97.2 25s 724 105 0.00000 11 229 - 0.00000 - 96.2 30s 789 129 0.00000 25 253 - 0.00000 - 170 35s 1140 100 infeasible 27 - 0.00000 - 176 40s 1549 117 infeasible 25 - 0.00000 - 178 45s 1935 135 infeasible 28 - 0.00000 - 180 50s 2284 212 0.00000 32 260 - 0.00000 - 183 55s 2632 262 0.00000 38 245 - 0.00000 - 185 60s 2971 291 0.00000 27 220 - 0.00000 - 188 65s 3274 312 0.00000 29 228 - 0.00000 - 191 70s 3657 341 0.00000 31 264 - 0.00000 - 192 75s 3960 358 0.00000 24 306 - 0.00000 - 195 80s 4334 390 infeasible 33 - 0.00000 - 195 85s 4697 429 infeasible 42 - 0.00000 - 196 90s 5022 446 infeasible 27 - 0.00000 - 198 95s 5343 479 infeasible 32 - 0.00000 - 200 100s 5682 494 0.00000 33 204 - 0.00000 - 201 105s 6065 551 infeasible 35 - 0.00000 - 201 110s 6409 557 infeasible 32 - 0.00000 - 202 115s 6729 537 0.00000 36 204 - 0.00000 - 204 120s 7067 539 infeasible 32 - 0.00000 - 205 125s 7424 550 0.00000 28 300 - 0.00000 - 205 130s 7801 609 infeasible 34 - 0.00000 - 205 135s 8141 603 infeasible 34 - 0.00000 - 206 140s 8483 603 0.00000 31 281 - 0.00000 - 206 145s 8840 600 infeasible 39 - 0.00000 - 207 150s 9211 591 0.00000 38 224 - 0.00000 - 207 155s 9570 590 infeasible 33 - 0.00000 - 207 160s 9900 592 infeasible 30 - 0.00000 - 207 165s 10243 609 0.00000 32 259 - 0.00000 - 207 170s 10568 604 0.00000 35 286 - 0.00000 - 208 175s 10890 644 infeasible 37 - 0.00000 - 208 180s 11208 646 0.00000 32 264 - 0.00000 - 209 185s 11570 672 0.00000 31 288 - 0.00000 - 209 190s 11858 680 0.00000 32 214 - 0.00000 - 210 195s 12188 724 0.00000 30 256 - 0.00000 - 210 200s 12535 771 infeasible 36 - 0.00000 - 210 205s 12905 789 0.00000 33 212 - 0.00000 - 210 210s 13219 747 infeasible 31 - 0.00000 - 211 215s 13544 748 infeasible 40 - 0.00000 - 211 220s 13871 753 infeasible 35 - 0.00000 - 212 225s 14207 735 0.00000 29 259 - 0.00000 - 212 230s 14527 769 0.00000 34 210 - 0.00000 - 212 235s 14848 764 0.00000 32 225 - 0.00000 - 212 240s 15168 754 infeasible 36 - 0.00000 - 213 245s 15454 758 infeasible 32 - 0.00000 - 213 250s 15875 779 infeasible 29 - 0.00000 - 213 255s 16321 799 infeasible 35 - 0.00000 - 212 260s 16723 807 0.00000 27 212 - 0.00000 - 212 265s 17146 810 infeasible 32 - 0.00000 - 211 270s 17552 798 infeasible 28 - 0.00000 - 211 275s 17933 783 infeasible 28 - 0.00000 - 211 280s 18314 824 infeasible 32 - 0.00000 - 210 285s Cutting planes: Zero half: 16 Explored 18578 nodes (3938453 simplex iterations) in 288.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