current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:18 2012 Optimize a model with 66010 rows, 10741 columns and 207410 nonzeros Presolve time: 0.20s Presolved: 66010 rows, 10741 columns, 207410 nonzeros Variable types: 0 continuous, 10741 integer (10741 binary) Root relaxation: objective 0.000000e+00, 351 iterations, 0.08 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 (667 simplex iterations) in 0.36 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:19 2012 Optimize a model with 33075 rows, 5841 columns and 103705 nonzeros Presolve time: 0.15s Presolved: 33075 rows, 5841 columns, 103705 nonzeros Variable types: 0 continuous, 5841 integer (5841 binary) Root relaxation: objective 0.000000e+00, 421 iterations, 0.04 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 (792 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:19 2012 Optimize a model with 16137 rows, 3321 columns and 50371 nonzeros Presolve time: 0.06s Presolved: 16137 rows, 3321 columns, 50371 nonzeros Variable types: 0 continuous, 3321 integer (3321 binary) Root relaxation: objective 0.000000e+00, 282 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 (550 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:20 2012 Optimize a model with 7668 rows, 2061 columns and 23704 nonzeros Presolve time: 0.02s Presolved: 7668 rows, 2061 columns, 23704 nonzeros Variable types: 0 continuous, 2061 integer (2061 binary) Root relaxation: objective 0.000000e+00, 293 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 (1055 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:20 2012 Optimize a model with 3904 rows, 1501 columns and 11852 nonzeros Presolve time: 0.01s Presolved: 3904 rows, 1501 columns, 11852 nonzeros Variable types: 0 continuous, 1501 integer (1501 binary) Root relaxation: objective 0.000000e+00, 309 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 280 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 419 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 421 - 0.00000 - - 5s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 2 0.00000 0 421 - 0.00000 - - 7s Cutting planes: Clique: 7 Zero half: 19 Explored 7 nodes (28803 simplex iterations) in 7.45 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:27 2012 Optimize a model with 5786 rows, 1781 columns and 17778 nonzeros Presolve time: 0.02s Presolved: 5786 rows, 1781 columns, 17778 nonzeros Variable types: 0 continuous, 1781 integer (1781 binary) Root relaxation: objective 0.000000e+00, 298 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 151 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 45 MIR: 1 Zero half: 179 Explored 0 nodes (4574 simplex iterations) in 0.44 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:31:28 2012 Optimize a model with 4845 rows, 1641 columns and 14815 nonzeros Presolve time: 0.01s Presolved: 4845 rows, 1641 columns, 14815 nonzeros Variable types: 0 continuous, 1641 integer (1641 binary) Root relaxation: objective 0.000000e+00, 286 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 278 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 2s 0 0 0.00000 0 335 - 0.00000 - - 2s 0 0 0.00000 0 329 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 331 - 0.00000 - - 5s 0 0 0.00000 0 332 - 0.00000 - - 6s 0 0 0.00000 0 351 - 0.00000 - - 6s 0 0 0.00000 0 324 - 0.00000 - - 7s 0 2 0.00000 0 324 - 0.00000 - - 8s 101 40 0.00000 18 268 - 0.00000 - 191 10s 509 59 infeasible 23 - 0.00000 - 159 15s 803 72 0.00000 30 331 - 0.00000 - 152 20s 808 76 0.00000 15 324 - 0.00000 - 151 26s 810 77 0.00000 24 332 - 0.00000 - 150 30s 814 80 0.00000 30 320 - 0.00000 - 150 35s 818 82 0.00000 29 302 - 0.00000 - 149 41s 822 85 0.00000 11 258 - 0.00000 - 148 45s 846 95 0.00000 21 238 - 0.00000 - 223 50s 985 76 infeasible 34 - 0.00000 - 233 55s 1158 68 infeasible 25 - 0.00000 - 242 60s 1344 120 infeasible 26 - 0.00000 - 246 65s 1514 126 0.00000 23 305 - 0.00000 - 253 70s 1721 125 infeasible 24 - 0.00000 - 255 75s 1904 134 0.00000 25 238 - 0.00000 - 259 80s 2063 143 0.00000 27 281 - 0.00000 - 263 85s 2225 135 0.00000 25 332 - 0.00000 - 268 90s 2405 139 infeasible 27 - 0.00000 - 271 95s 2604 138 infeasible 33 - 0.00000 - 272 100s 2803 139 0.00000 25 299 - 0.00000 - 273 105s 2962 138 0.00000 26 313 - 0.00000 - 277 110s 3136 130 infeasible 29 - 0.00000 - 279 115s 3305 123 infeasible 27 - 0.00000 - 281 120s 3495 119 infeasible 26 - 0.00000 - 282 125s 3677 129 0.00000 33 313 - 0.00000 - 282 130s 3847 145 infeasible 30 - 0.00000 - 284 135s 4005 153 0.00000 29 306 - 0.00000 - 286 140s 4190 150 infeasible 30 - 0.00000 - 286 145s 4385 151 infeasible 31 - 0.00000 - 286 150s 4567 139 infeasible 24 - 0.00000 - 287 155s 4730 130 infeasible 22 - 0.00000 - 289 160s 4918 134 infeasible 25 - 0.00000 - 289 165s 5079 123 infeasible 27 - 0.00000 - 290 170s 5254 128 0.00000 27 299 - 0.00000 - 291 175s 5430 168 0.00000 29 329 - 0.00000 - 291 180s 5603 189 0.00000 28 312 - 0.00000 - 291 185s 5782 196 0.00000 31 309 - 0.00000 - 292 190s 5962 230 infeasible 30 - 0.00000 - 292 195s 6153 283 infeasible 34 - 0.00000 - 292 200s 6322 292 infeasible 28 - 0.00000 - 293 205s 6494 300 0.00000 29 325 - 0.00000 - 293 210s 6685 309 infeasible 31 - 0.00000 - 293 215s 6846 318 infeasible 32 - 0.00000 - 294 220s 7007 327 infeasible 33 - 0.00000 - 294 225s 7191 325 infeasible 29 - 0.00000 - 295 230s 7332 322 infeasible 28 - 0.00000 - 296 235s 7504 328 0.00000 27 323 - 0.00000 - 297 240s 7653 321 0.00000 22 334 - 0.00000 - 298 245s 7825 327 infeasible 27 - 0.00000 - 298 250s 7992 318 infeasible 25 - 0.00000 - 298 255s 8132 326 infeasible 36 - 0.00000 - 300 260s 8261 325 0.00000 31 303 - 0.00000 - 301 265s 8421 329 infeasible 37 - 0.00000 - 302 270s 8560 320 infeasible 32 - 0.00000 - 303 275s 8734 318 0.00000 28 242 - 0.00000 - 303 280s 8924 334 infeasible 29 - 0.00000 - 303 285s Cutting planes: Zero half: 4 Explored 9027 nodes (2776567 simplex iterations) in 288.27 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: 6