current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:20:11 2012 Optimize a model with 65772 rows, 15892 columns and 211932 nonzeros Presolve time: 0.20s Presolved: 65772 rows, 15892 columns, 211932 nonzeros Variable types: 0 continuous, 15892 integer (15892 binary) Root relaxation: objective 0.000000e+00, 673 iterations, 0.07 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.37 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:20:12 2012 Optimize a model with 32596 rows, 8236 columns and 104748 nonzeros Presolve time: 0.14s Presolved: 32596 rows, 8236 columns, 104748 nonzeros Variable types: 0 continuous, 8236 integer (8236 binary) Root relaxation: objective 0.000000e+00, 461 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 (795 simplex iterations) in 0.21 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:20:13 2012 Optimize a model with 16008 rows, 4408 columns and 51156 nonzeros Presolve time: 0.06s Presolved: 16008 rows, 4408 columns, 51156 nonzeros Variable types: 0 continuous, 4408 integer (4408 binary) Root relaxation: objective 0.000000e+00, 363 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 (653 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:20:13 2012 Optimize a model with 7714 rows, 2494 columns and 24360 nonzeros Presolve time: 0.02s Presolved: 7714 rows, 2494 columns, 24360 nonzeros Variable types: 0 continuous, 2494 integer (2494 binary) Root relaxation: objective 0.000000e+00, 366 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 (712 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 22:20:13 2012 Optimize a model with 3944 rows, 1624 columns and 12180 nonzeros Presolve time: 0.01s Presolved: 3944 rows, 1624 columns, 12180 nonzeros Variable types: 0 continuous, 1624 integer (1624 binary) Root relaxation: objective 0.000000e+00, 379 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 150 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 13 Zero half: 49 Explored 0 nodes (3156 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 Fri Dec 14 22:20:13 2012 Optimize a model with 1682 rows, 1102 columns and 4872 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1508 rows, 928 columns, 4524 nonzeros Variable types: 0 continuous, 928 integer (928 binary) Root relaxation: objective 0.000000e+00, 182 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (745 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 22:20:13 2012 Optimize a model with 2436 rows, 1276 columns and 7308 nonzeros Presolve time: 0.01s Presolved: 2436 rows, 1276 columns, 7308 nonzeros Variable types: 0 continuous, 1276 integer (1276 binary) Root relaxation: objective 0.000000e+00, 393 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 342 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 477 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 29 Zero half: 400 Explored 0 nodes (6270 simplex iterations) in 0.81 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 22:20:14 2012 Optimize a model with 3190 rows, 1450 columns and 9744 nonzeros Presolve time: 0.01s Presolved: 3190 rows, 1450 columns, 9744 nonzeros Variable types: 0 continuous, 1450 integer (1450 binary) Root relaxation: objective 0.000000e+00, 384 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 332 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 2 0.00000 0 286 - 0.00000 - - 3s 236 78 infeasible 22 - 0.00000 - 104 5s 612 171 0.00000 11 264 - 0.00000 - 92.9 10s 617 174 0.00000 12 372 - 0.00000 - 92.2 15s 692 202 0.00000 20 292 - 0.00000 - 163 20s 1213 199 infeasible 28 - 0.00000 - 164 25s 1684 228 0.00000 23 369 - 0.00000 - 168 30s 2118 256 infeasible 28 - 0.00000 - 174 35s 2545 315 0.00000 26 349 - 0.00000 - 178 40s 3036 316 0.00000 27 332 - 0.00000 - 179 45s 3543 335 0.00000 26 270 - 0.00000 - 178 50s 4038 342 infeasible 25 - 0.00000 - 179 55s 4506 352 infeasible 22 - 0.00000 - 180 60s 4960 364 infeasible 31 - 0.00000 - 182 65s 5399 367 infeasible 27 - 0.00000 - 183 70s 5831 387 infeasible 27 - 0.00000 - 185 75s 6265 357 infeasible 28 - 0.00000 - 186 80s 6763 357 0.00000 26 295 - 0.00000 - 186 85s 7184 326 infeasible 31 - 0.00000 - 187 90s 7619 307 infeasible 29 - 0.00000 - 187 95s 8030 290 0.00000 21 284 - 0.00000 - 188 100s 8493 267 0.00000 26 323 - 0.00000 - 188 105s 8959 287 infeasible 35 - 0.00000 - 189 110s 9480 306 0.00000 24 348 - 0.00000 - 188 115s 9951 285 infeasible 24 - 0.00000 - 188 120s 10408 307 infeasible 23 - 0.00000 - 188 125s 10890 315 infeasible 23 - 0.00000 - 188 130s 11368 313 infeasible 25 - 0.00000 - 188 135s 11887 306 0.00000 28 288 - 0.00000 - 187 140s 12329 294 0.00000 24 324 - 0.00000 - 188 145s 12773 246 infeasible 29 - 0.00000 - 188 150s 13263 244 0.00000 33 282 - 0.00000 - 188 155s 13744 265 0.00000 23 276 - 0.00000 - 187 160s 14289 272 infeasible 30 - 0.00000 - 186 165s 14807 276 infeasible 27 - 0.00000 - 186 170s 15277 262 infeasible 26 - 0.00000 - 186 175s 15761 250 infeasible 27 - 0.00000 - 186 180s 16311 298 infeasible 27 - 0.00000 - 185 185s 16747 295 infeasible 36 - 0.00000 - 186 190s 17259 317 0.00000 24 324 - 0.00000 - 185 195s 17712 300 infeasible 33 - 0.00000 - 185 200s 18172 302 infeasible 22 - 0.00000 - 186 205s 18611 295 infeasible 24 - 0.00000 - 186 210s 19065 317 infeasible 24 - 0.00000 - 186 215s 19562 316 0.00000 25 334 - 0.00000 - 185 220s 20037 321 infeasible 25 - 0.00000 - 186 225s 20464 296 infeasible 33 - 0.00000 - 186 230s 20915 269 infeasible 23 - 0.00000 - 186 235s 21384 292 0.00000 28 317 - 0.00000 - 186 240s 21814 296 0.00000 26 341 - 0.00000 - 186 245s 22263 259 infeasible 26 - 0.00000 - 186 250s 22718 264 0.00000 28 290 - 0.00000 - 186 255s 23151 245 infeasible 25 - 0.00000 - 187 260s 23587 225 0.00000 23 296 - 0.00000 - 187 265s 23987 205 infeasible 30 - 0.00000 - 187 270s 24403 189 infeasible 31 - 0.00000 - 187 275s 24867 187 infeasible 29 - 0.00000 - 187 280s 25276 156 infeasible 26 - 0.00000 - 188 285s 25679 139 infeasible 25 - 0.00000 - 188 290s 26114 124 infeasible 27 - 0.00000 - 188 295s Cutting planes: Zero half: 10 Explored 26129 nodes (4947121 simplex iterations) in 295.21 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