current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:00 2012 Optimize a model with 71201 rows, 16729 columns and 228997 nonzeros Presolve time: 0.22s Presolved: 71201 rows, 16729 columns, 228997 nonzeros Variable types: 0 continuous, 16729 integer (16729 binary) Root relaxation: objective 0.000000e+00, 678 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 (1085 simplex iterations) in 0.40 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:01 2012 Optimize a model with 35291 rows, 8674 columns and 113212 nonzeros Presolve time: 0.15s Presolved: 35291 rows, 8674 columns, 113212 nonzeros Variable types: 0 continuous, 8674 integer (8674 binary) Root relaxation: objective 0.000000e+00, 483 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 (869 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:02 2012 Optimize a model with 17735 rows, 4736 columns and 56606 nonzeros Presolve time: 0.07s Presolved: 17735 rows, 4736 columns, 56606 nonzeros Variable types: 0 continuous, 4736 integer (4736 binary) Root relaxation: objective 0.000000e+00, 377 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 (688 simplex iterations) in 0.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: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:02 2012 Optimize a model with 8957 rows, 2767 columns and 28303 nonzeros Presolve time: 0.03s Presolved: 8957 rows, 2767 columns, 28303 nonzeros Variable types: 0 continuous, 2767 integer (2767 binary) Root relaxation: objective 0.000000e+00, 372 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 (706 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:02 2012 Optimize a model with 4169 rows, 1693 columns and 12865 nonzeros Presolve time: 0.01s Presolved: 4169 rows, 1693 columns, 12865 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 409 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 (1685 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:02 2012 Optimize a model with 1775 rows, 1156 columns and 5146 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1596 rows, 977 columns, 4788 nonzeros Variable types: 0 continuous, 977 integer (977 binary) Root relaxation: objective 0.000000e+00, 187 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 179 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (755 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:02 2012 Optimize a model with 2573 rows, 1335 columns and 7719 nonzeros Presolve time: 0.01s Presolved: 2573 rows, 1335 columns, 7719 nonzeros Variable types: 0 continuous, 1335 integer (1335 binary) Root relaxation: objective 0.000000e+00, 428 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 352 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4933 simplex iterations) in 0.50 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:39:03 2012 Optimize a model with 3371 rows, 1514 columns and 10292 nonzeros Presolve time: 0.01s Presolved: 3371 rows, 1514 columns, 10292 nonzeros Variable types: 0 continuous, 1514 integer (1514 binary) Root relaxation: objective 0.000000e+00, 400 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 338 - 0.00000 - - 0s 0 0 0.00000 0 309 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 2 0.00000 0 298 - 0.00000 - - 4s 217 48 0.00000 18 310 - 0.00000 - 101 5s 806 106 0.00000 12 350 - 0.00000 - 81.4 10s 810 109 0.00000 14 384 - 0.00000 - 81.0 15s 1082 62 infeasible 28 - 0.00000 - 134 20s 1539 108 0.00000 25 360 - 0.00000 - 147 25s 2038 201 infeasible 28 - 0.00000 - 151 30s 2569 236 infeasible 29 - 0.00000 - 153 35s 3019 226 0.00000 25 306 - 0.00000 - 158 40s 3502 257 infeasible 31 - 0.00000 - 160 45s 3965 260 0.00000 26 306 - 0.00000 - 162 50s 4428 259 infeasible 30 - 0.00000 - 164 55s 4893 276 infeasible 37 - 0.00000 - 165 60s 5375 250 0.00000 28 318 - 0.00000 - 166 65s 5825 252 0.00000 28 322 - 0.00000 - 168 70s 6281 202 0.00000 30 308 - 0.00000 - 169 75s 6768 177 0.00000 27 306 - 0.00000 - 170 80s 7228 145 0.00000 35 296 - 0.00000 - 171 85s 7718 131 infeasible 29 - 0.00000 - 171 90s 8198 123 infeasible 35 - 0.00000 - 171 95s 8645 106 infeasible 35 - 0.00000 - 172 100s 9098 75 infeasible 30 - 0.00000 - 173 105s 9560 103 infeasible 38 - 0.00000 - 173 110s 10007 98 infeasible 28 - 0.00000 - 173 115s 10484 107 infeasible 31 - 0.00000 - 173 120s 10930 105 0.00000 28 306 - 0.00000 - 174 125s 11341 98 infeasible 31 - 0.00000 - 175 130s 11783 60 infeasible 31 - 0.00000 - 175 135s 12243 132 0.00000 30 372 - 0.00000 - 175 140s 12676 153 0.00000 31 302 - 0.00000 - 176 145s 13145 120 infeasible 30 - 0.00000 - 176 150s 13608 83 infeasible 27 - 0.00000 - 176 155s 14067 136 infeasible 36 - 0.00000 - 176 160s 14463 106 0.00000 30 298 - 0.00000 - 177 165s 14922 87 infeasible 33 - 0.00000 - 177 170s 15418 157 infeasible 29 - 0.00000 - 176 175s 15880 173 infeasible 30 - 0.00000 - 177 180s 16348 173 infeasible 37 - 0.00000 - 177 185s 16836 167 0.00000 29 300 - 0.00000 - 177 190s 17321 156 infeasible 33 - 0.00000 - 177 195s 17789 150 0.00000 27 314 - 0.00000 - 177 200s 18322 149 0.00000 26 296 - 0.00000 - 177 205s 18817 132 infeasible 35 - 0.00000 - 176 210s 19267 98 infeasible 29 - 0.00000 - 177 215s 19702 99 0.00000 27 310 - 0.00000 - 177 220s 20139 82 infeasible 31 - 0.00000 - 177 225s 20611 88 infeasible 28 - 0.00000 - 177 230s 21046 75 infeasible 31 - 0.00000 - 177 235s 21467 60 infeasible 29 - 0.00000 - 178 240s 21856 63 infeasible 33 - 0.00000 - 178 245s 22233 68 0.00000 24 336 - 0.00000 - 179 250s 22699 54 infeasible 26 - 0.00000 - 179 255s 23085 44 0.00000 25 316 - 0.00000 - 179 260s 23468 9 infeasible 29 - 0.00000 - 179 265s Cutting planes: Gomory: 5 Zero half: 14 Explored 23642 nodes (4283355 simplex iterations) in 267.50 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5