current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:04:12 2012 Optimize a model with 72450 rows, 17003 columns and 233010 nonzeros Presolve time: 0.23s Presolved: 72450 rows, 17003 columns, 233010 nonzeros Variable types: 0 continuous, 17003 integer (17003 binary) Root relaxation: objective 0.000000e+00, 701 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 (1106 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:04:13 2012 Optimize a model with 36315 rows, 8903 columns and 116505 nonzeros Presolve time: 0.15s Presolved: 36315 rows, 8903 columns, 116505 nonzeros Variable types: 0 continuous, 8903 integer (8903 binary) Root relaxation: objective 0.000000e+00, 497 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 (897 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:04:14 2012 Optimize a model with 17846 rows, 4763 columns and 56958 nonzeros Presolve time: 0.07s Presolved: 17846 rows, 4763 columns, 56958 nonzeros Variable types: 0 continuous, 4763 integer (4763 binary) Root relaxation: objective 0.000000e+00, 414 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 (756 simplex iterations) in 0.11 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 01:04:14 2012 Optimize a model with 9013 rows, 2783 columns and 28479 nonzeros Presolve time: 0.03s Presolved: 9013 rows, 2783 columns, 28479 nonzeros Variable types: 0 continuous, 2783 integer (2783 binary) Root relaxation: objective 0.000000e+00, 392 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 (761 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 01:04:14 2012 Optimize a model with 4195 rows, 1703 columns and 12945 nonzeros Presolve time: 0.01s Presolved: 4195 rows, 1703 columns, 12945 nonzeros Variable types: 0 continuous, 1703 integer (1703 binary) Root relaxation: objective 0.000000e+00, 418 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 (2878 simplex iterations) in 0.16 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 01:04:15 2012 Optimize a model with 1786 rows, 1163 columns and 5178 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1606 rows, 983 columns, 4818 nonzeros Variable types: 0 continuous, 983 integer (983 binary) Root relaxation: objective 0.000000e+00, 191 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 180 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (797 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 01:04:15 2012 Optimize a model with 2589 rows, 1343 columns and 7767 nonzeros Presolve time: 0.01s Presolved: 2589 rows, 1343 columns, 7767 nonzeros Variable types: 0 continuous, 1343 integer (1343 binary) Root relaxation: objective 0.000000e+00, 406 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 358 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 0s 0 0 0.00000 0 500 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 31 Zero half: 475 Explored 0 nodes (7962 simplex iterations) in 1.05 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 01:04:16 2012 Optimize a model with 3392 rows, 1523 columns and 10356 nonzeros Presolve time: 0.01s Presolved: 3392 rows, 1523 columns, 10356 nonzeros Variable types: 0 continuous, 1523 integer (1523 binary) Root relaxation: objective 0.000000e+00, 398 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 328 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 2 0.00000 0 298 - 0.00000 - - 4s 92 24 0.00000 12 331 - 0.00000 - 115 5s 606 202 0.00000 22 423 - 0.00000 - 100 10s 611 206 0.00000 18 387 - 0.00000 - 98.7 15s 803 224 infeasible 36 - 0.00000 - 159 20s 1230 182 infeasible 25 - 0.00000 - 168 25s 1607 216 infeasible 30 - 0.00000 - 177 30s 2067 244 infeasible 32 - 0.00000 - 178 35s 2480 243 infeasible 35 - 0.00000 - 181 40s 2884 285 0.00000 34 286 - 0.00000 - 184 45s 3327 298 infeasible 29 - 0.00000 - 184 50s 3734 301 infeasible 32 - 0.00000 - 186 55s 4185 306 0.00000 37 302 - 0.00000 - 185 60s 4594 279 infeasible 32 - 0.00000 - 187 65s 4966 225 infeasible 26 - 0.00000 - 190 70s 5421 216 0.00000 30 280 - 0.00000 - 189 75s 5807 172 0.00000 31 352 - 0.00000 - 191 80s 6220 181 infeasible 28 - 0.00000 - 191 85s 6626 167 infeasible 32 - 0.00000 - 192 90s 7052 153 infeasible 34 - 0.00000 - 192 95s 7471 144 infeasible 32 - 0.00000 - 192 100s 7829 140 infeasible 30 - 0.00000 - 193 105s 8228 137 0.00000 28 286 - 0.00000 - 193 110s 8604 145 0.00000 32 298 - 0.00000 - 194 115s 9049 138 infeasible 30 - 0.00000 - 194 120s 9457 140 infeasible 28 - 0.00000 - 194 125s 9807 158 0.00000 34 308 - 0.00000 - 194 130s 10248 149 0.00000 30 337 - 0.00000 - 194 135s 10652 147 infeasible 25 - 0.00000 - 194 140s 11043 160 infeasible 33 - 0.00000 - 195 145s 11413 166 0.00000 24 352 - 0.00000 - 195 150s 11794 165 0.00000 25 300 - 0.00000 - 195 155s 12210 159 0.00000 27 298 - 0.00000 - 195 160s 12637 176 infeasible 28 - 0.00000 - 195 165s 13062 187 0.00000 26 316 - 0.00000 - 195 170s 13524 175 infeasible 29 - 0.00000 - 195 175s 13912 189 infeasible 27 - 0.00000 - 195 180s 14329 190 0.00000 29 329 - 0.00000 - 195 185s 14741 192 0.00000 25 284 - 0.00000 - 195 190s 15127 198 0.00000 25 358 - 0.00000 - 195 195s 15484 195 infeasible 26 - 0.00000 - 195 200s 15895 182 infeasible 31 - 0.00000 - 195 205s 16315 184 infeasible 35 - 0.00000 - 195 210s 16708 183 infeasible 31 - 0.00000 - 196 215s 17113 192 0.00000 31 292 - 0.00000 - 196 220s 17564 209 0.00000 25 344 - 0.00000 - 195 225s 17991 222 infeasible 35 - 0.00000 - 195 230s 18399 204 infeasible 34 - 0.00000 - 196 235s 18804 201 infeasible 34 - 0.00000 - 196 240s 19175 202 infeasible 33 - 0.00000 - 196 245s 19591 210 0.00000 29 308 - 0.00000 - 196 250s 19996 217 infeasible 33 - 0.00000 - 196 255s 20383 222 infeasible 36 - 0.00000 - 197 260s 20773 212 infeasible 28 - 0.00000 - 197 265s 21105 228 infeasible 33 - 0.00000 - 197 270s 21508 239 infeasible 37 - 0.00000 - 197 275s 21912 247 infeasible 31 - 0.00000 - 198 280s 22345 246 infeasible 29 - 0.00000 - 197 285s 22754 263 infeasible 37 - 0.00000 - 197 290s Cutting planes: Gomory: 1 Zero half: 12 Explored 23100 nodes (4606107 simplex iterations) in 294.59 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