current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:18:47 2012 Optimize a model with 87591 rows, 19065 columns and 280345 nonzeros Presolve time: 0.28s Presolved: 87591 rows, 19065 columns, 280345 nonzeros Variable types: 0 continuous, 19065 integer (19065 binary) Root relaxation: objective 0.000000e+00, 826 iterations, 0.10 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 (1315 simplex iterations) in 0.51 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:18:49 2012 Optimize a model with 43431 rows, 9897 columns and 138697 nonzeros Presolve time: 0.15s Presolved: 43431 rows, 9897 columns, 138697 nonzeros Variable types: 0 continuous, 9897 integer (9897 binary) Root relaxation: objective 0.000000e+00, 590 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 (1040 simplex iterations) in 0.24 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:18:50 2012 Optimize a model with 21351 rows, 5313 columns and 67873 nonzeros Presolve time: 0.09s Presolved: 21351 rows, 5313 columns, 67873 nonzeros Variable types: 0 continuous, 5313 integer (5313 binary) Root relaxation: objective 0.000000e+00, 413 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 (760 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 05:18:50 2012 Optimize a model with 10311 rows, 3021 columns and 32461 nonzeros Presolve time: 0.03s Presolved: 10311 rows, 3021 columns, 32461 nonzeros Variable types: 0 continuous, 3021 integer (3021 binary) Root relaxation: objective 0.000000e+00, 399 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 (766 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 05:18:50 2012 Optimize a model with 4791 rows, 1875 columns and 14755 nonzeros Presolve time: 0.01s Presolved: 4791 rows, 1875 columns, 14755 nonzeros Variable types: 0 continuous, 1875 integer (1875 binary) Root relaxation: objective 0.000000e+00, 407 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 346 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4867 simplex iterations) in 0.43 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 05:18:51 2012 Optimize a model with 2031 rows, 1302 columns and 5902 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1840 rows, 1111 columns, 5520 nonzeros Variable types: 0 continuous, 1111 integer (1111 binary) Root relaxation: objective 0.000000e+00, 206 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 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (832 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 05:18:51 2012 Optimize a model with 2951 rows, 1493 columns and 8853 nonzeros Presolve time: 0.01s Presolved: 2951 rows, 1493 columns, 8853 nonzeros Variable types: 0 continuous, 1493 integer (1493 binary) Root relaxation: objective 0.000000e+00, 456 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 380 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 492 - 0.00000 - - 0s 0 0 0.00000 0 527 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 1003 Explored 0 nodes (8929 simplex iterations) in 1.27 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 05:18:52 2012 Optimize a model with 3871 rows, 1684 columns and 11804 nonzeros Presolve time: 0.01s Presolved: 3871 rows, 1684 columns, 11804 nonzeros Variable types: 0 continuous, 1684 integer (1684 binary) Root relaxation: objective 0.000000e+00, 413 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 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 407 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 6s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 0 0.00000 0 280 - 0.00000 - - 7s 0 0 0.00000 0 276 - 0.00000 - - 8s 0 0 0.00000 0 275 - 0.00000 - - 8s 0 0 0.00000 0 281 - 0.00000 - - 9s 0 0 0.00000 0 278 - 0.00000 - - 9s 0 2 0.00000 0 278 - 0.00000 - - 9s 8 8 0.00000 5 369 - 0.00000 - 466 10s 709 62 0.00000 20 338 - 0.00000 - 97.2 16s 712 64 0.00000 24 332 - 0.00000 - 96.8 20s 716 66 0.00000 24 310 - 0.00000 - 96.3 26s 720 69 0.00000 22 290 - 0.00000 - 95.7 30s 1016 32 infeasible 32 - 0.00000 - 183 35s 1312 28 infeasible 28 - 0.00000 - 194 40s 1639 45 0.00000 27 344 - 0.00000 - 198 45s 1972 104 0.00000 26 340 - 0.00000 - 198 50s 2323 165 infeasible 35 - 0.00000 - 198 55s 2645 197 infeasible 31 - 0.00000 - 200 60s 2948 204 0.00000 20 381 - 0.00000 - 203 65s 3238 214 0.00000 28 338 - 0.00000 - 206 70s 3534 214 infeasible 27 - 0.00000 - 209 75s 3877 211 0.00000 28 348 - 0.00000 - 209 80s 4155 211 infeasible 30 - 0.00000 - 212 85s 4457 207 0.00000 25 346 - 0.00000 - 214 90s 4766 228 0.00000 28 352 - 0.00000 - 214 95s 5092 224 0.00000 28 342 - 0.00000 - 214 100s 5395 203 infeasible 25 - 0.00000 - 215 105s 5696 228 0.00000 26 353 - 0.00000 - 216 110s 5997 225 infeasible 29 - 0.00000 - 217 115s 6307 227 0.00000 39 322 - 0.00000 - 217 120s 6584 210 0.00000 28 340 - 0.00000 - 219 125s 6898 187 infeasible 26 - 0.00000 - 219 130s 7165 160 infeasible 24 - 0.00000 - 221 135s 7434 169 0.00000 22 332 - 0.00000 - 222 140s 7715 192 0.00000 25 385 - 0.00000 - 222 145s 8019 168 infeasible 28 - 0.00000 - 223 150s 8295 160 infeasible 26 - 0.00000 - 224 155s 8564 155 0.00000 31 344 - 0.00000 - 224 160s 8849 158 0.00000 27 425 - 0.00000 - 224 165s 9111 158 0.00000 22 366 - 0.00000 - 225 170s 9355 154 infeasible 27 - 0.00000 - 226 175s 9620 133 0.00000 24 336 - 0.00000 - 227 180s 9912 167 infeasible 31 - 0.00000 - 227 185s 10193 194 0.00000 23 407 - 0.00000 - 227 190s 10483 198 infeasible 28 - 0.00000 - 227 195s 10748 193 0.00000 27 348 - 0.00000 - 227 200s 11040 201 infeasible 32 - 0.00000 - 227 205s 11298 207 0.00000 31 428 - 0.00000 - 228 210s 11581 202 infeasible 30 - 0.00000 - 228 215s 11827 210 0.00000 28 358 - 0.00000 - 228 220s 12085 226 0.00000 31 363 - 0.00000 - 229 225s 12365 240 infeasible 28 - 0.00000 - 229 230s 12649 252 infeasible 28 - 0.00000 - 229 235s 12943 254 infeasible 30 - 0.00000 - 229 240s 13209 244 infeasible 31 - 0.00000 - 229 245s 13454 235 infeasible 28 - 0.00000 - 230 250s 13724 243 infeasible 33 - 0.00000 - 230 255s 13981 246 infeasible 30 - 0.00000 - 230 260s 14268 243 0.00000 30 344 - 0.00000 - 231 265s 14538 231 infeasible 27 - 0.00000 - 231 270s 14799 244 0.00000 31 359 - 0.00000 - 231 275s 15052 237 0.00000 32 432 - 0.00000 - 232 280s 15353 236 infeasible 31 - 0.00000 - 232 285s 15646 245 0.00000 29 336 - 0.00000 - 231 290s Cutting planes: Gomory: 1 Zero half: 20 Explored 15824 nodes (3743339 simplex iterations) in 293.31 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