current bounds on the number of colors: 0 -- 168 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:33:37 2012 Optimize a model with 59808 rows, 14822 columns and 193032 nonzeros Presolve time: 0.18s Presolved: 59808 rows, 14822 columns, 193032 nonzeros Variable types: 0 continuous, 14822 integer (14822 binary) Root relaxation: objective 0.000000e+00, 683 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 (1060 simplex iterations) in 0.33 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 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:33:38 2012 Optimize a model with 29988 rows, 7766 columns and 96516 nonzeros Presolve time: 0.14s Presolved: 29988 rows, 7766 columns, 96516 nonzeros Variable types: 0 continuous, 7766 integer (7766 binary) Root relaxation: objective 0.000000e+00, 562 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 (935 simplex iterations) in 0.22 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:33:39 2012 Optimize a model with 15078 rows, 4238 columns and 48258 nonzeros Presolve time: 0.06s Presolved: 15078 rows, 4238 columns, 48258 nonzeros Variable types: 0 continuous, 4238 integer (4238 binary) Root relaxation: objective 0.000000e+00, 390 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 (709 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 20:33:39 2012 Optimize a model with 7268 rows, 2390 columns and 22980 nonzeros Presolve time: 0.02s Presolved: 7268 rows, 2390 columns, 22980 nonzeros Variable types: 0 continuous, 2390 integer (2390 binary) Root relaxation: objective 0.000000e+00, 352 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 (655 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 20:33:39 2012 Optimize a model with 3718 rows, 1550 columns and 11490 nonzeros Presolve time: 0.01s Presolved: 3718 rows, 1550 columns, 11490 nonzeros Variable types: 0 continuous, 1550 integer (1550 binary) Root relaxation: objective 0.000000e+00, 376 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 (1509 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:33:39 2012 Optimize a model with 1588 rows, 1046 columns and 4596 nonzeros Presolve removed 168 rows and 168 columns Presolve time: 0.00s Presolved: 1420 rows, 878 columns, 4260 nonzeros Variable types: 0 continuous, 878 integer (878 binary) Root relaxation: objective 0.000000e+00, 179 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 168 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (716 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 20:33:39 2012 Optimize a model with 2298 rows, 1214 columns and 6894 nonzeros Presolve time: 0.01s Presolved: 2298 rows, 1214 columns, 6894 nonzeros Variable types: 0 continuous, 1214 integer (1214 binary) Root relaxation: objective 0.000000e+00, 391 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 336 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 471 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 2 Zero half: 399 Explored 0 nodes (7433 simplex iterations) in 0.88 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 20:33:40 2012 Optimize a model with 3008 rows, 1382 columns and 9192 nonzeros Presolve time: 0.01s Presolved: 3008 rows, 1382 columns, 9192 nonzeros Variable types: 0 continuous, 1382 integer (1382 binary) Root relaxation: objective 0.000000e+00, 406 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 326 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 319 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 217 - 0.00000 - - 2s 0 0 0.00000 0 213 - 0.00000 - - 3s 0 0 0.00000 0 200 - 0.00000 - - 3s 0 0 0.00000 0 194 - 0.00000 - - 3s 0 0 0.00000 0 196 - 0.00000 - - 4s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 2 0.00000 0 291 - 0.00000 - - 4s 11 11 0.00000 7 336 - 0.00000 - 267 5s 610 98 0.00000 12 254 - 0.00000 - 66.9 10s 616 102 0.00000 10 275 - 0.00000 - 66.2 15s 1189 202 infeasible 33 - 0.00000 - 131 20s 1856 313 0.00000 28 240 - 0.00000 - 134 25s 2530 379 infeasible 31 - 0.00000 - 135 30s 3160 369 infeasible 32 - 0.00000 - 138 35s 3796 397 infeasible 28 - 0.00000 - 139 40s 4404 411 0.00000 27 318 - 0.00000 - 141 45s 5009 478 0.00000 26 256 - 0.00000 - 142 50s 5628 481 infeasible 35 - 0.00000 - 143 55s 6244 499 infeasible 30 - 0.00000 - 144 60s 6810 529 infeasible 30 - 0.00000 - 145 65s 7436 543 0.00000 26 272 - 0.00000 - 146 70s 8060 539 0.00000 30 332 - 0.00000 - 146 75s 8667 590 0.00000 21 256 - 0.00000 - 146 80s 9386 675 infeasible 33 - 0.00000 - 145 85s 10105 684 0.00000 32 252 - 0.00000 - 145 90s 10788 695 infeasible 32 - 0.00000 - 145 95s 11472 677 infeasible 32 - 0.00000 - 144 100s 12134 693 infeasible 26 - 0.00000 - 144 105s 12729 670 infeasible 39 - 0.00000 - 145 110s 13368 699 0.00000 35 311 - 0.00000 - 145 115s 14021 814 0.00000 32 276 - 0.00000 - 145 120s 14595 778 infeasible 36 - 0.00000 - 145 125s 15154 761 0.00000 34 262 - 0.00000 - 146 130s 15740 773 infeasible 29 - 0.00000 - 146 135s 16378 899 0.00000 33 334 - 0.00000 - 146 140s 16977 964 0.00000 29 258 - 0.00000 - 146 145s 17602 969 infeasible 30 - 0.00000 - 146 150s 18192 945 infeasible 31 - 0.00000 - 147 155s 18791 930 infeasible 40 - 0.00000 - 147 160s 19391 966 infeasible 30 - 0.00000 - 147 165s 20064 949 0.00000 30 306 - 0.00000 - 147 170s 20641 962 0.00000 35 262 - 0.00000 - 147 175s 21163 928 infeasible 35 - 0.00000 - 148 180s 21785 926 0.00000 27 262 - 0.00000 - 148 185s 22356 949 infeasible 32 - 0.00000 - 148 190s 23041 988 0.00000 28 305 - 0.00000 - 148 195s 23680 1069 infeasible 27 - 0.00000 - 148 200s 24239 1066 infeasible 31 - 0.00000 - 148 205s 24790 1107 0.00000 30 246 - 0.00000 - 148 210s 25345 1110 infeasible 35 - 0.00000 - 149 215s 26011 1130 infeasible 35 - 0.00000 - 149 220s 26620 1127 infeasible 32 - 0.00000 - 149 225s 27227 1176 0.00000 36 321 - 0.00000 - 149 230s 27842 1227 infeasible 37 - 0.00000 - 149 235s 28468 1251 infeasible 33 - 0.00000 - 149 240s 29100 1227 0.00000 37 282 - 0.00000 - 149 245s 29726 1225 0.00000 35 254 - 0.00000 - 149 250s 30317 1230 infeasible 36 - 0.00000 - 149 255s 30847 1220 infeasible 32 - 0.00000 - 149 260s 31444 1175 infeasible 34 - 0.00000 - 149 265s 32017 1120 0.00000 30 289 - 0.00000 - 149 270s 32651 1136 infeasible 27 - 0.00000 - 149 275s 33330 1159 infeasible 30 - 0.00000 - 149 280s 34042 1157 infeasible 35 - 0.00000 - 149 285s 34692 1151 infeasible 33 - 0.00000 - 149 290s 35254 1191 infeasible 30 - 0.00000 - 149 295s Cutting planes: Gomory: 3 Zero half: 5 Explored 35304 nodes (5311329 simplex iterations) in 295.56 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