current bounds on the number of colors: 0 -- 185 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:59:40 2012 Optimize a model with 77925 rows, 17865 columns and 250240 nonzeros Presolve time: 0.25s Presolved: 77925 rows, 17865 columns, 250240 nonzeros Variable types: 0 continuous, 17865 integer (17865 binary) Root relaxation: objective 0.000000e+00, 755 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 (1143 simplex iterations) in 0.42 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:59:41 2012 Optimize a model with 39055 rows, 9355 columns and 125120 nonzeros Presolve time: 0.15s Presolved: 39055 rows, 9355 columns, 125120 nonzeros Variable types: 0 continuous, 9355 integer (9355 binary) Root relaxation: objective 0.000000e+00, 635 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 (1081 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 02:59:42 2012 Optimize a model with 19620 rows, 5100 columns and 62560 nonzeros Presolve time: 0.08s Presolved: 19620 rows, 5100 columns, 62560 nonzeros Variable types: 0 continuous, 5100 integer (5100 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 (747 simplex iterations) in 0.12 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 02:59:42 2012 Optimize a model with 9480 rows, 2880 columns and 29920 nonzeros Presolve time: 0.03s Presolved: 9480 rows, 2880 columns, 29920 nonzeros Variable types: 0 continuous, 2880 integer (2880 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 (725 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 02:59:42 2012 Optimize a model with 4410 rows, 1770 columns and 13600 nonzeros Presolve time: 0.01s Presolved: 4410 rows, 1770 columns, 13600 nonzeros Variable types: 0 continuous, 1770 integer (1770 binary) Root relaxation: objective 0.000000e+00, 426 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 137 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4629 simplex iterations) in 0.34 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 02:59:43 2012 Optimize a model with 1875 rows, 1215 columns and 5440 nonzeros Presolve removed 185 rows and 185 columns Presolve time: 0.00s Presolved: 1690 rows, 1030 columns, 5070 nonzeros Variable types: 0 continuous, 1030 integer (1030 binary) Root relaxation: objective 0.000000e+00, 192 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 185 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (795 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 02:59:43 2012 Optimize a model with 2720 rows, 1400 columns and 8160 nonzeros Presolve time: 0.01s Presolved: 2720 rows, 1400 columns, 8160 nonzeros Variable types: 0 continuous, 1400 integer (1400 binary) Root relaxation: objective 0.000000e+00, 419 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 284 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5851 simplex iterations) in 0.68 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 02:59:44 2012 Optimize a model with 3565 rows, 1585 columns and 10880 nonzeros Presolve time: 0.01s Presolved: 3565 rows, 1585 columns, 10880 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 415 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 352 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 2s 0 2 0.00000 0 318 - 0.00000 - - 3s 325 44 0.00000 15 304 - 0.00000 - 110 5s 607 69 0.00000 12 316 - 0.00000 - 105 10s 611 72 0.00000 20 282 - 0.00000 - 104 15s 615 74 0.00000 7 290 - 0.00000 - 103 20s 620 78 0.00000 18 252 - 0.00000 - 102 25s 702 90 infeasible 32 - 0.00000 - 236 30s 1015 41 0.00000 22 308 - 0.00000 - 234 35s 1347 59 infeasible 27 - 0.00000 - 232 40s 1695 59 0.00000 24 367 - 0.00000 - 230 45s 2026 76 infeasible 28 - 0.00000 - 229 50s 2321 113 0.00000 24 318 - 0.00000 - 231 55s 2640 136 infeasible 25 - 0.00000 - 232 60s 2971 141 0.00000 26 326 - 0.00000 - 232 65s 3304 162 infeasible 28 - 0.00000 - 232 70s 3603 145 infeasible 24 - 0.00000 - 234 75s 3886 136 0.00000 23 420 - 0.00000 - 235 80s 4198 136 infeasible 27 - 0.00000 - 235 85s 4490 140 0.00000 24 390 - 0.00000 - 236 90s 4771 179 0.00000 22 404 - 0.00000 - 237 95s 5078 192 0.00000 24 411 - 0.00000 - 237 100s 5384 200 0.00000 29 329 - 0.00000 - 237 105s 5710 192 infeasible 23 - 0.00000 - 236 110s 6026 184 0.00000 25 350 - 0.00000 - 236 115s 6355 193 infeasible 27 - 0.00000 - 236 120s 6690 192 0.00000 21 308 - 0.00000 - 235 125s 6975 173 0.00000 27 317 - 0.00000 - 236 130s 7299 197 0.00000 22 332 - 0.00000 - 236 135s 7606 178 0.00000 23 316 - 0.00000 - 236 140s 7896 168 0.00000 23 362 - 0.00000 - 236 145s 8126 182 infeasible 27 - 0.00000 - 238 150s 8451 199 infeasible 31 - 0.00000 - 237 155s 8747 187 0.00000 26 413 - 0.00000 - 237 160s 9032 192 infeasible 25 - 0.00000 - 238 165s 9332 203 infeasible 28 - 0.00000 - 238 170s 9619 202 infeasible 23 - 0.00000 - 239 175s 9903 202 infeasible 24 - 0.00000 - 239 180s 10175 210 infeasible 25 - 0.00000 - 239 185s 10459 210 infeasible 24 - 0.00000 - 240 190s 10758 211 infeasible 26 - 0.00000 - 240 195s 11089 214 infeasible 28 - 0.00000 - 239 200s 11399 232 0.00000 23 318 - 0.00000 - 239 205s 11735 220 infeasible 26 - 0.00000 - 239 210s 12028 205 infeasible 24 - 0.00000 - 239 215s 12312 221 infeasible 27 - 0.00000 - 239 220s 12616 213 infeasible 28 - 0.00000 - 239 225s 12933 214 infeasible 24 - 0.00000 - 239 230s 13201 226 infeasible 27 - 0.00000 - 239 235s 13495 238 0.00000 32 314 - 0.00000 - 240 240s 13791 218 infeasible 23 - 0.00000 - 240 245s 14089 228 0.00000 25 389 - 0.00000 - 240 250s 14388 233 0.00000 29 331 - 0.00000 - 240 255s 14696 215 infeasible 26 - 0.00000 - 240 260s 15013 214 infeasible 29 - 0.00000 - 240 265s 15307 208 0.00000 23 328 - 0.00000 - 240 270s 15548 208 0.00000 32 325 - 0.00000 - 241 275s 15821 197 0.00000 28 322 - 0.00000 - 241 280s 16095 193 0.00000 25 320 - 0.00000 - 241 285s 16366 188 infeasible 32 - 0.00000 - 241 290s Cutting planes: Zero half: 14 Explored 16690 nodes (4044543 simplex iterations) in 294.48 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