current bounds on the number of colors: 0 -- 187 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:54:08 2012 Optimize a model with 83794 rows, 18290 columns and 268212 nonzeros Presolve time: 0.27s Presolved: 83794 rows, 18290 columns, 268212 nonzeros Variable types: 0 continuous, 18290 integer (18290 binary) Root relaxation: objective 0.000000e+00, 773 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 (773 simplex iterations) in 0.39 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:54:10 2012 Optimize a model with 41541 rows, 9501 columns and 132664 nonzeros Presolve time: 0.16s Presolved: 41541 rows, 9501 columns, 132664 nonzeros Variable types: 0 continuous, 9501 integer (9501 binary) Root relaxation: objective 0.000000e+00, 599 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 (1011 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:54:11 2012 Optimize a model with 20864 rows, 5200 columns and 66332 nonzeros Presolve time: 0.09s Presolved: 20864 rows, 5200 columns, 66332 nonzeros Variable types: 0 continuous, 5200 integer (5200 binary) Root relaxation: objective 0.000000e+00, 385 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 (741 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: 0 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:54:11 2012 Optimize a model with 10076 rows, 2956 columns and 31724 nonzeros Presolve time: 0.03s Presolved: 10076 rows, 2956 columns, 31724 nonzeros Variable types: 0 continuous, 2956 integer (2956 binary) Root relaxation: objective 0.000000e+00, 386 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 (728 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:54:11 2012 Optimize a model with 4682 rows, 1834 columns and 14420 nonzeros Presolve time: 0.01s Presolved: 4682 rows, 1834 columns, 14420 nonzeros Variable types: 0 continuous, 1834 integer (1834 binary) Root relaxation: objective 0.000000e+00, 427 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 126 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3955 simplex iterations) in 0.30 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 03:54:11 2012 Optimize a model with 1985 rows, 1273 columns and 5768 nonzeros Presolve removed 187 rows and 187 columns Presolve time: 0.00s Presolved: 1798 rows, 1086 columns, 5394 nonzeros Variable types: 0 continuous, 1086 integer (1086 binary) Root relaxation: objective 0.000000e+00, 197 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 187 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (798 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 03:54:12 2012 Optimize a model with 2884 rows, 1460 columns and 8652 nonzeros Presolve time: 0.01s Presolved: 2884 rows, 1460 columns, 8652 nonzeros Variable types: 0 continuous, 1460 integer (1460 binary) Root relaxation: objective 0.000000e+00, 445 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 370 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5313 simplex iterations) in 0.67 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 03:54:12 2012 Optimize a model with 3783 rows, 1647 columns and 11536 nonzeros Presolve time: 0.01s Presolved: 3783 rows, 1647 columns, 11536 nonzeros Variable types: 0 continuous, 1647 integer (1647 binary) Root relaxation: objective 0.000000e+00, 424 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 354 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 295 - 0.00000 - - 3s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 0 0.00000 0 272 - 0.00000 - - 4s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 260 - 0.00000 - - 4s 0 0 0.00000 0 256 - 0.00000 - - 5s 0 0 0.00000 0 258 - 0.00000 - - 5s 0 0 0.00000 0 260 - 0.00000 - - 6s 0 0 0.00000 0 260 - 0.00000 - - 6s 0 2 0.00000 0 260 - 0.00000 - - 7s 342 112 infeasible 26 - 0.00000 - 111 10s 605 146 0.00000 25 312 - 0.00000 - 112 15s 609 148 0.00000 21 268 - 0.00000 - 111 20s 612 150 0.00000 18 238 - 0.00000 - 110 26s 615 152 0.00000 25 406 - 0.00000 - 110 31s 624 158 0.00000 18 408 - 0.00000 - 212 35s 863 98 infeasible 30 - 0.00000 - 217 40s 1205 100 0.00000 34 389 - 0.00000 - 210 45s 1479 120 0.00000 33 316 - 0.00000 - 216 50s 1805 132 0.00000 29 310 - 0.00000 - 216 55s 2120 189 0.00000 32 331 - 0.00000 - 215 60s 2443 188 infeasible 38 - 0.00000 - 215 65s 2741 180 0.00000 36 326 - 0.00000 - 216 70s 3077 212 0.00000 31 318 - 0.00000 - 216 75s 3438 199 infeasible 35 - 0.00000 - 216 80s 3769 194 0.00000 33 334 - 0.00000 - 216 85s 4085 202 infeasible 36 - 0.00000 - 216 90s 4376 203 0.00000 33 334 - 0.00000 - 218 95s 4684 211 infeasible 28 - 0.00000 - 218 100s 5045 200 infeasible 29 - 0.00000 - 216 105s 5361 216 infeasible 36 - 0.00000 - 217 110s 5725 250 0.00000 32 340 - 0.00000 - 216 115s 6088 275 0.00000 32 356 - 0.00000 - 216 120s 6454 265 infeasible 34 - 0.00000 - 216 125s 6753 274 0.00000 27 393 - 0.00000 - 216 130s 7073 270 0.00000 29 322 - 0.00000 - 217 135s 7394 287 infeasible 35 - 0.00000 - 217 140s 7707 276 0.00000 34 332 - 0.00000 - 218 145s 8044 261 infeasible 31 - 0.00000 - 218 150s 8324 257 infeasible 35 - 0.00000 - 219 155s 8625 248 infeasible 29 - 0.00000 - 219 160s 8938 241 infeasible 37 - 0.00000 - 220 165s 9208 251 infeasible 33 - 0.00000 - 221 170s 9497 236 infeasible 29 - 0.00000 - 221 175s 9812 229 infeasible 36 - 0.00000 - 221 180s 10078 245 infeasible 37 - 0.00000 - 222 185s 10370 265 infeasible 37 - 0.00000 - 222 190s 10625 260 0.00000 31 424 - 0.00000 - 223 195s 10903 250 0.00000 30 365 - 0.00000 - 223 200s 11209 242 0.00000 31 332 - 0.00000 - 223 205s 11516 213 infeasible 28 - 0.00000 - 223 210s 11799 204 0.00000 31 391 - 0.00000 - 223 215s 12128 221 infeasible 34 - 0.00000 - 223 220s 12380 239 infeasible 35 - 0.00000 - 223 225s 12681 252 infeasible 33 - 0.00000 - 223 230s 12994 239 infeasible 36 - 0.00000 - 224 235s 13341 252 infeasible 35 - 0.00000 - 223 240s 13637 250 0.00000 25 405 - 0.00000 - 224 245s 13958 257 0.00000 25 314 - 0.00000 - 224 250s 14276 277 0.00000 31 320 - 0.00000 - 223 255s 14622 317 infeasible 35 - 0.00000 - 223 260s 14945 338 infeasible 28 - 0.00000 - 223 265s 15311 354 infeasible 37 - 0.00000 - 223 270s 15691 348 infeasible 33 - 0.00000 - 222 275s 16126 347 infeasible 33 - 0.00000 - 221 280s 16527 332 infeasible 32 - 0.00000 - 221 285s 16928 351 infeasible 29 - 0.00000 - 220 290s Cutting planes: Gomory: 2 Zero half: 16 Explored 17255 nodes (3844951 simplex iterations) in 294.28 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