current bounds on the number of colors: 0 -- 160 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:14:23 2012 Optimize a model with 55360 rows, 13490 columns and 178400 nonzeros Presolve time: 0.16s Presolved: 55360 rows, 13490 columns, 178400 nonzeros Variable types: 0 continuous, 13490 integer (13490 binary) Root relaxation: objective 0.000000e+00, 588 iterations, 0.05 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 (962 simplex iterations) in 0.29 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:14:24 2012 Optimize a model with 27760 rows, 7090 columns and 89200 nonzeros Presolve time: 0.13s Presolved: 27760 rows, 7090 columns, 89200 nonzeros Variable types: 0 continuous, 7090 integer (7090 binary) Root relaxation: objective 0.000000e+00, 420 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 (756 simplex iterations) in 0.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: 0 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:14:25 2012 Optimize a model with 13960 rows, 3890 columns and 44600 nonzeros Presolve time: 0.05s Presolved: 13960 rows, 3890 columns, 44600 nonzeros Variable types: 0 continuous, 3890 integer (3890 binary) Root relaxation: objective 0.000000e+00, 340 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 (615 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:14:25 2012 Optimize a model with 7060 rows, 2290 columns and 22300 nonzeros Presolve time: 0.02s Presolved: 7060 rows, 2290 columns, 22300 nonzeros Variable types: 0 continuous, 2290 integer (2290 binary) Root relaxation: objective 0.000000e+00, 336 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 (607 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:14:25 2012 Optimize a model with 3610 rows, 1490 columns and 11150 nonzeros Presolve time: 0.01s Presolved: 3610 rows, 1490 columns, 11150 nonzeros Variable types: 0 continuous, 1490 integer (1490 binary) Root relaxation: objective 0.000000e+00, 346 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 120 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2174 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 Fri Dec 14 19:14:25 2012 Optimize a model with 1540 rows, 1010 columns and 4460 nonzeros Presolve removed 160 rows and 160 columns Presolve time: 0.00s Presolved: 1380 rows, 850 columns, 4140 nonzeros Variable types: 0 continuous, 850 integer (850 binary) Root relaxation: objective 0.000000e+00, 169 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 160 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (703 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 Fri Dec 14 19:14:25 2012 Optimize a model with 2230 rows, 1170 columns and 6690 nonzeros Presolve time: 0.01s Presolved: 2230 rows, 1170 columns, 6690 nonzeros Variable types: 0 continuous, 1170 integer (1170 binary) Root relaxation: objective 0.000000e+00, 367 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 318 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 0s 0 0 0.00000 0 452 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Clique: 2 Zero half: 682 Explored 0 nodes (6392 simplex iterations) in 0.93 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 Fri Dec 14 19:14:26 2012 Optimize a model with 2920 rows, 1330 columns and 8920 nonzeros Presolve time: 0.01s Presolved: 2920 rows, 1330 columns, 8920 nonzeros Variable types: 0 continuous, 1330 integer (1330 binary) Root relaxation: objective 0.000000e+00, 370 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 312 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 2 0.00000 0 384 - 0.00000 - - 2s 603 142 0.00000 26 370 - 0.00000 - 81.8 5s 611 148 0.00000 22 365 - 0.00000 - 80.7 10s 939 142 0.00000 30 276 - 0.00000 - 138 15s 1435 144 0.00000 27 304 - 0.00000 - 151 20s 1903 178 infeasible 32 - 0.00000 - 159 25s 2380 209 0.00000 34 345 - 0.00000 - 164 30s 2843 214 infeasible 34 - 0.00000 - 168 35s 3305 222 0.00000 31 320 - 0.00000 - 172 40s 3804 215 infeasible 36 - 0.00000 - 173 45s 4259 230 infeasible 33 - 0.00000 - 175 50s 4795 242 0.00000 31 291 - 0.00000 - 174 55s 5257 232 infeasible 31 - 0.00000 - 176 60s 5695 222 infeasible 32 - 0.00000 - 178 65s 6162 201 0.00000 33 313 - 0.00000 - 179 70s 6629 189 0.00000 33 268 - 0.00000 - 179 75s 7058 182 0.00000 31 322 - 0.00000 - 180 80s 7569 189 0.00000 33 317 - 0.00000 - 180 85s 8012 188 0.00000 27 285 - 0.00000 - 181 90s 8551 217 0.00000 36 250 - 0.00000 - 180 95s 9002 210 infeasible 32 - 0.00000 - 180 100s 9499 209 infeasible 36 - 0.00000 - 180 105s 9953 223 0.00000 27 333 - 0.00000 - 180 110s 10383 203 infeasible 30 - 0.00000 - 181 115s 10858 214 0.00000 24 337 - 0.00000 - 181 120s 11278 206 infeasible 33 - 0.00000 - 182 125s 11740 199 infeasible 35 - 0.00000 - 182 130s 12185 176 infeasible 32 - 0.00000 - 183 135s 12668 153 infeasible 33 - 0.00000 - 182 140s 13123 146 infeasible 36 - 0.00000 - 183 145s 13655 168 infeasible 31 - 0.00000 - 182 150s 14177 198 0.00000 29 266 - 0.00000 - 182 155s 14726 197 infeasible 29 - 0.00000 - 181 160s 15217 170 infeasible 33 - 0.00000 - 182 165s 15681 186 infeasible 29 - 0.00000 - 181 170s 16111 166 infeasible 32 - 0.00000 - 182 175s 16571 176 infeasible 30 - 0.00000 - 182 180s 17007 172 0.00000 22 336 - 0.00000 - 182 185s 17451 192 0.00000 29 272 - 0.00000 - 182 190s 17882 183 infeasible 31 - 0.00000 - 183 195s 18445 200 infeasible 29 - 0.00000 - 182 200s 18888 189 infeasible 29 - 0.00000 - 182 205s 19356 207 infeasible 31 - 0.00000 - 182 210s 19791 184 infeasible 31 - 0.00000 - 182 215s 20226 167 infeasible 36 - 0.00000 - 182 220s 20684 167 infeasible 35 - 0.00000 - 182 225s 21137 150 0.00000 32 268 - 0.00000 - 182 230s 21591 146 infeasible 32 - 0.00000 - 182 235s 22021 142 0.00000 30 339 - 0.00000 - 183 240s 22441 128 infeasible 29 - 0.00000 - 183 245s 22885 122 0.00000 26 250 - 0.00000 - 183 250s 23317 104 infeasible 34 - 0.00000 - 183 255s 23753 90 0.00000 32 316 - 0.00000 - 183 260s 24171 78 0.00000 35 266 - 0.00000 - 183 265s 24639 92 0.00000 25 281 - 0.00000 - 183 270s 25110 91 infeasible 38 - 0.00000 - 183 275s 25598 77 infeasible 31 - 0.00000 - 183 280s 26031 61 infeasible 33 - 0.00000 - 184 285s 26494 50 infeasible 30 - 0.00000 - 184 290s 26963 43 0.00000 29 325 - 0.00000 - 184 295s Cutting planes: Gomory: 2 Clique: 1 Zero half: 11 Explored 27029 nodes (4978854 simplex iterations) in 295.73 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: 5