current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:25:11 2012 Optimize a model with 65424 rows, 15888 columns and 210888 nonzeros Presolve time: 0.20s Presolved: 65424 rows, 15888 columns, 210888 nonzeros Variable types: 0 continuous, 15888 integer (15888 binary) Root relaxation: objective 0.000000e+00, 626 iterations, 0.05 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 (1032 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:25:12 2012 Optimize a model with 32424 rows, 8232 columns and 104232 nonzeros Presolve time: 0.14s Presolved: 32424 rows, 8232 columns, 104232 nonzeros Variable types: 0 continuous, 8232 integer (8232 binary) Root relaxation: objective 0.000000e+00, 501 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 (841 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:25:13 2012 Optimize a model with 15924 rows, 4404 columns and 50904 nonzeros Presolve time: 0.06s Presolved: 15924 rows, 4404 columns, 50904 nonzeros Variable types: 0 continuous, 4404 integer (4404 binary) Root relaxation: objective 0.000000e+00, 362 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 (682 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:25:13 2012 Optimize a model with 7674 rows, 2490 columns and 24240 nonzeros Presolve time: 0.02s Presolved: 7674 rows, 2490 columns, 24240 nonzeros Variable types: 0 continuous, 2490 integer (2490 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 (693 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:25:13 2012 Optimize a model with 3924 rows, 1620 columns and 12120 nonzeros Presolve time: 0.01s Presolved: 3924 rows, 1620 columns, 12120 nonzeros Variable types: 0 continuous, 1620 integer (1620 binary) Root relaxation: objective 0.000000e+00, 375 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 (1570 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: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:25:13 2012 Optimize a model with 1674 rows, 1098 columns and 4848 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1500 rows, 924 columns, 4500 nonzeros Variable types: 0 continuous, 924 integer (924 binary) Root relaxation: objective 0.000000e+00, 178 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 Explored 0 nodes (753 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:25:13 2012 Optimize a model with 2424 rows, 1272 columns and 7272 nonzeros Presolve time: 0.01s Presolved: 2424 rows, 1272 columns, 7272 nonzeros Variable types: 0 continuous, 1272 integer (1272 binary) Root relaxation: objective 0.000000e+00, 409 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 344 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4161 simplex iterations) in 0.48 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:25:14 2012 Optimize a model with 3174 rows, 1446 columns and 9696 nonzeros Presolve time: 0.01s Presolved: 3174 rows, 1446 columns, 9696 nonzeros Variable types: 0 continuous, 1446 integer (1446 binary) Root relaxation: objective 0.000000e+00, 388 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 324 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 467 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 2 0.00000 0 402 - 0.00000 - - 3s 427 113 0.00000 17 236 - 0.00000 - 97.7 5s 709 146 0.00000 11 246 - 0.00000 - 84.0 10s 714 150 0.00000 12 222 - 0.00000 - 83.4 15s 820 140 0.00000 19 355 - 0.00000 - 157 20s 1283 74 infeasible 32 - 0.00000 - 164 25s 1802 81 0.00000 28 330 - 0.00000 - 166 30s 2267 97 infeasible 29 - 0.00000 - 170 35s 2732 116 infeasible 30 - 0.00000 - 172 40s 3189 121 infeasible 31 - 0.00000 - 174 45s 3659 123 0.00000 26 304 - 0.00000 - 176 50s 4136 142 0.00000 29 321 - 0.00000 - 177 55s 4593 187 0.00000 35 282 - 0.00000 - 177 60s 5042 216 0.00000 28 298 - 0.00000 - 179 65s 5486 224 infeasible 33 - 0.00000 - 181 70s 5931 235 0.00000 38 280 - 0.00000 - 182 75s 6431 255 0.00000 30 349 - 0.00000 - 181 80s 6847 263 infeasible 30 - 0.00000 - 183 85s 7313 267 0.00000 35 294 - 0.00000 - 183 90s 7751 273 infeasible 38 - 0.00000 - 184 95s 8210 270 0.00000 34 290 - 0.00000 - 184 100s 8667 273 0.00000 29 311 - 0.00000 - 185 105s 9071 275 infeasible 33 - 0.00000 - 186 110s 9461 263 0.00000 26 275 - 0.00000 - 187 115s 9921 253 0.00000 28 266 - 0.00000 - 188 120s 10298 238 infeasible 34 - 0.00000 - 189 125s 10706 220 infeasible 32 - 0.00000 - 189 130s 11157 219 infeasible 35 - 0.00000 - 190 135s 11599 209 0.00000 23 292 - 0.00000 - 190 140s 12003 196 infeasible 30 - 0.00000 - 190 145s 12458 189 infeasible 30 - 0.00000 - 191 150s 12908 181 infeasible 31 - 0.00000 - 191 155s 13332 167 infeasible 33 - 0.00000 - 191 160s 13843 172 infeasible 36 - 0.00000 - 191 165s 14344 179 infeasible 33 - 0.00000 - 190 170s 14776 171 infeasible 33 - 0.00000 - 190 175s 15175 152 0.00000 30 325 - 0.00000 - 191 180s 15580 141 infeasible 37 - 0.00000 - 191 185s 16002 141 infeasible 29 - 0.00000 - 192 190s 16476 147 0.00000 27 292 - 0.00000 - 191 195s 16924 145 0.00000 30 290 - 0.00000 - 191 200s 17354 133 0.00000 28 380 - 0.00000 - 192 205s 17760 119 infeasible 31 - 0.00000 - 192 210s 18176 129 0.00000 29 268 - 0.00000 - 193 215s 18640 107 infeasible 31 - 0.00000 - 193 220s 19065 104 0.00000 26 292 - 0.00000 - 193 225s 19463 100 infeasible 31 - 0.00000 - 194 230s 19895 100 infeasible 28 - 0.00000 - 194 235s 20314 79 infeasible 32 - 0.00000 - 194 240s 20775 90 infeasible 34 - 0.00000 - 194 245s 21309 90 infeasible 30 - 0.00000 - 193 250s 21800 83 infeasible 32 - 0.00000 - 193 255s 22272 77 infeasible 30 - 0.00000 - 193 260s 22719 92 infeasible 33 - 0.00000 - 193 265s 23101 76 infeasible 32 - 0.00000 - 193 270s 23509 60 infeasible 28 - 0.00000 - 194 275s 23911 46 infeasible 30 - 0.00000 - 194 280s 24311 32 infeasible 32 - 0.00000 - 194 285s 24755 26 0.00000 30 359 - 0.00000 - 194 290s 25156 41 0.00000 24 290 - 0.00000 - 194 295s Cutting planes: Zero half: 15 Explored 25220 nodes (4919394 simplex iterations) in 295.66 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