current bounds on the number of colors: 0 -- 132 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:51:22 2012 Optimize a model with 55968 rows, 9558 columns and 176220 nonzeros Presolve time: 0.18s Presolved: 55968 rows, 9558 columns, 176220 nonzeros Variable types: 0 continuous, 9558 integer (9558 binary) Root relaxation: objective 0.000000e+00, 361 iterations, 0.06 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 (647 simplex iterations) in 0.31 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:51:23 2012 Optimize a model with 28050 rows, 5202 columns and 88110 nonzeros Presolve time: 0.13s Presolved: 28050 rows, 5202 columns, 88110 nonzeros Variable types: 0 continuous, 5202 integer (5202 binary) Root relaxation: objective 0.000000e+00, 320 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 (603 simplex iterations) in 0.19 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:51:23 2012 Optimize a model with 13668 rows, 2958 columns and 42720 nonzeros Presolve time: 0.05s Presolved: 13668 rows, 2958 columns, 42720 nonzeros Variable types: 0 continuous, 2958 integer (2958 binary) Root relaxation: objective 0.000000e+00, 266 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 (512 simplex iterations) in 0.07 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:51:23 2012 Optimize a model with 6900 rows, 1902 columns and 21360 nonzeros Presolve time: 0.02s Presolved: 6900 rows, 1902 columns, 21360 nonzeros Variable types: 0 continuous, 1902 integer (1902 binary) Root relaxation: objective 0.000000e+00, 277 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 (967 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:51:23 2012 Optimize a model with 3516 rows, 1374 columns and 10680 nonzeros Presolve time: 0.01s Presolved: 3516 rows, 1374 columns, 10680 nonzeros Variable types: 0 continuous, 1374 integer (1374 binary) Root relaxation: objective 0.000000e+00, 280 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 170 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 5s 0 0 0.00000 0 378 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 8s 0 0 0.00000 0 375 - 0.00000 - - 9s 0 0 0.00000 0 377 - 0.00000 - - 10s 0 0 0.00000 0 377 - 0.00000 - - 11s 0 2 0.00000 0 377 - 0.00000 - - 12s Cutting planes: Clique: 19 Zero half: 20 Explored 15 nodes (50064 simplex iterations) in 12.43 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 03:51:36 2012 Optimize a model with 5208 rows, 1638 columns and 16020 nonzeros Presolve time: 0.01s Presolved: 5208 rows, 1638 columns, 16020 nonzeros Variable types: 0 continuous, 1638 integer (1638 binary) Root relaxation: objective 0.000000e+00, 281 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 242 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1418 simplex iterations) in 0.08 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 03:51:36 2012 Optimize a model with 4362 rows, 1506 columns and 13350 nonzeros Presolve time: 0.01s Presolved: 4362 rows, 1506 columns, 13350 nonzeros Variable types: 0 continuous, 1506 integer (1506 binary) Root relaxation: objective 0.000000e+00, 272 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 258 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 214 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 2s 0 0 0.00000 0 196 - 0.00000 - - 3s 0 0 0.00000 0 188 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 2 0.00000 0 348 - 0.00000 - - 5s 877 62 0.00000 27 235 - 0.00000 - 85.0 10s 907 77 0.00000 22 234 - 0.00000 - 84.8 16s 911 80 0.00000 7 257 - 0.00000 - 84.5 20s 917 86 0.00000 13 225 - 0.00000 - 129 25s 1004 108 0.00000 21 314 - 0.00000 - 138 30s 1268 154 0.00000 29 296 - 0.00000 - 153 35s 1553 207 0.00000 32 272 - 0.00000 - 165 40s 1864 294 infeasible 34 - 0.00000 - 170 45s 2177 303 infeasible 36 - 0.00000 - 177 50s 2463 341 infeasible 37 - 0.00000 - 182 55s 2730 390 0.00000 38 247 - 0.00000 - 186 60s 2993 425 0.00000 36 204 - 0.00000 - 190 65s 3273 475 infeasible 31 - 0.00000 - 193 70s 3576 518 0.00000 30 256 - 0.00000 - 195 75s 3857 531 infeasible 30 - 0.00000 - 198 80s 4152 596 0.00000 32 206 - 0.00000 - 200 85s 4489 643 0.00000 30 287 - 0.00000 - 200 90s 4787 667 0.00000 37 269 - 0.00000 - 202 95s 5114 702 infeasible 35 - 0.00000 - 203 100s 5412 734 0.00000 32 280 - 0.00000 - 204 105s 5705 759 0.00000 29 274 - 0.00000 - 205 110s 6000 782 infeasible 36 - 0.00000 - 206 115s 6262 782 infeasible 36 - 0.00000 - 208 120s 6559 799 0.00000 38 262 - 0.00000 - 209 125s 6809 815 0.00000 33 263 - 0.00000 - 211 130s 7082 860 0.00000 35 227 - 0.00000 - 212 135s 7362 868 infeasible 35 - 0.00000 - 213 140s 7649 883 infeasible 30 - 0.00000 - 214 145s 7918 898 0.00000 35 278 - 0.00000 - 215 150s 8186 906 0.00000 38 310 - 0.00000 - 216 155s 8453 901 infeasible 37 - 0.00000 - 217 160s 8724 906 infeasible 32 - 0.00000 - 218 165s 9007 915 0.00000 37 288 - 0.00000 - 218 170s 9301 911 0.00000 37 230 - 0.00000 - 219 175s 9609 931 infeasible 36 - 0.00000 - 219 180s 9941 923 infeasible 37 - 0.00000 - 219 185s 10239 945 infeasible 35 - 0.00000 - 219 190s 10506 952 0.00000 34 294 - 0.00000 - 220 195s 10753 973 infeasible 31 - 0.00000 - 221 200s 11014 972 infeasible 37 - 0.00000 - 222 205s 11290 964 0.00000 32 271 - 0.00000 - 222 210s 11556 970 infeasible 33 - 0.00000 - 223 215s 11853 979 0.00000 26 255 - 0.00000 - 223 220s 12125 997 0.00000 33 228 - 0.00000 - 223 225s 12386 1000 infeasible 36 - 0.00000 - 224 230s 12655 1047 0.00000 37 277 - 0.00000 - 224 235s 12935 1077 infeasible 34 - 0.00000 - 224 240s 13205 1123 0.00000 33 271 - 0.00000 - 224 245s 13491 1171 0.00000 33 283 - 0.00000 - 224 250s 13743 1181 infeasible 31 - 0.00000 - 225 255s 14004 1196 0.00000 35 256 - 0.00000 - 226 260s 14267 1201 0.00000 29 290 - 0.00000 - 226 265s 14526 1194 infeasible 27 - 0.00000 - 227 270s 14780 1212 0.00000 36 290 - 0.00000 - 227 275s 15054 1210 0.00000 30 237 - 0.00000 - 227 280s Cutting planes: Gomory: 1 Clique: 4 Zero half: 10 Explored 15273 nodes (3513480 simplex iterations) in 284.22 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