current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:03 2012 Optimize a model with 45811 rows, 8191 columns and 144509 nonzeros Presolve time: 0.16s Presolved: 45811 rows, 8191 columns, 144509 nonzeros Variable types: 0 continuous, 8191 integer (8191 binary) Root relaxation: objective 0.000000e+00, 280 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 (554 simplex iterations) in 0.27 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:04 2012 Optimize a model with 22592 rows, 4409 columns and 71070 nonzeros Presolve time: 0.10s Presolved: 22592 rows, 4409 columns, 71070 nonzeros Variable types: 0 continuous, 4409 integer (4409 binary) Root relaxation: objective 0.000000e+00, 280 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 (594 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:04 2012 Optimize a model with 11357 rows, 2579 columns and 35535 nonzeros Presolve time: 0.04s Presolved: 11357 rows, 2579 columns, 35535 nonzeros Variable types: 0 continuous, 2579 integer (2579 binary) Root relaxation: objective 0.000000e+00, 249 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 (509 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:04 2012 Optimize a model with 5365 rows, 1603 columns and 16583 nonzeros Presolve time: 0.01s Presolved: 5365 rows, 1603 columns, 16583 nonzeros Variable types: 0 continuous, 1603 integer (1603 binary) Root relaxation: objective 0.000000e+00, 262 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 (1352 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:05 2012 Optimize a model with 2369 rows, 1115 columns and 7107 nonzeros Presolve time: 0.01s Presolved: 2369 rows, 1115 columns, 7107 nonzeros Variable types: 0 continuous, 1115 integer (1115 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 194 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3231 simplex iterations) in 0.33 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:33:05 2012 Optimize a model with 3867 rows, 1359 columns and 11845 nonzeros Presolve time: 0.01s Presolved: 3867 rows, 1359 columns, 11845 nonzeros Variable types: 0 continuous, 1359 integer (1359 binary) Root relaxation: objective 0.000000e+00, 258 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 242 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 293 - 0.00000 - - 1s 0 0 0.00000 0 243 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 3s 0 0 0.00000 0 239 - 0.00000 - - 4s 0 0 0.00000 0 255 - 0.00000 - - 4s 0 0 0.00000 0 255 - 0.00000 - - 4s 0 2 0.00000 0 255 - 0.00000 - - 5s 893 54 0.00000 16 255 - 0.00000 - 95.2 10s 918 68 0.00000 19 268 - 0.00000 - 93.8 16s 922 70 0.00000 13 267 - 0.00000 - 93.4 20s 928 74 0.00000 20 252 - 0.00000 - 92.8 25s 1247 70 infeasible 28 - 0.00000 - 153 30s 1582 87 infeasible 30 - 0.00000 - 166 35s 1931 112 0.00000 27 278 - 0.00000 - 173 40s 2249 154 0.00000 25 249 - 0.00000 - 180 45s 2658 181 0.00000 38 204 - 0.00000 - 181 50s 2957 180 infeasible 29 - 0.00000 - 187 55s 3243 182 infeasible 31 - 0.00000 - 192 60s 3540 179 infeasible 32 - 0.00000 - 196 65s 3805 160 infeasible 35 - 0.00000 - 200 70s 4110 153 0.00000 23 259 - 0.00000 - 203 75s 4415 154 infeasible 29 - 0.00000 - 205 80s 4712 139 infeasible 30 - 0.00000 - 207 85s 5041 142 0.00000 33 200 - 0.00000 - 208 90s 5341 128 0.00000 29 223 - 0.00000 - 210 95s 5660 133 0.00000 29 245 - 0.00000 - 210 100s 5963 140 0.00000 23 288 - 0.00000 - 211 105s 6271 146 infeasible 34 - 0.00000 - 212 110s 6564 141 0.00000 35 248 - 0.00000 - 213 115s 6868 135 0.00000 33 261 - 0.00000 - 214 120s 7171 136 infeasible 34 - 0.00000 - 215 125s 7469 140 0.00000 31 251 - 0.00000 - 215 130s 7799 136 0.00000 35 262 - 0.00000 - 215 135s 8089 116 0.00000 30 220 - 0.00000 - 216 140s 8375 102 infeasible 31 - 0.00000 - 217 145s 8710 103 0.00000 25 226 - 0.00000 - 217 150s 9047 100 infeasible 39 - 0.00000 - 217 155s 9354 105 0.00000 31 243 - 0.00000 - 217 160s 9631 106 infeasible 28 - 0.00000 - 218 165s 9927 120 infeasible 32 - 0.00000 - 219 170s 10208 125 0.00000 31 260 - 0.00000 - 219 175s 10516 111 infeasible 29 - 0.00000 - 220 180s 10811 104 0.00000 27 263 - 0.00000 - 220 185s 11140 111 infeasible 30 - 0.00000 - 220 190s 11493 106 0.00000 27 227 - 0.00000 - 219 195s 11874 103 0.00000 27 199 - 0.00000 - 219 200s 12195 96 0.00000 30 296 - 0.00000 - 219 205s 12479 90 infeasible 32 - 0.00000 - 219 210s 12762 89 0.00000 28 280 - 0.00000 - 220 215s 13051 100 0.00000 29 233 - 0.00000 - 220 220s *13070 4 32 0.0000000 0.00000 0.0% 220 220s Cutting planes: Clique: 2 Zero half: 8 Explored 13071 nodes (2914054 simplex iterations) in 220.35 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:36:45 2012 Optimize a model with 3118 rows, 1237 columns and 9476 nonzeros Presolve time: 0.01s Presolved: 3118 rows, 1237 columns, 9476 nonzeros Variable types: 0 continuous, 1237 integer (1237 binary) Root relaxation: objective 0.000000e+00, 270 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 238 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 355 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 0 0.00000 0 355 - 0.00000 - - 7s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 8s 0 2 0.00000 0 355 - 0.00000 - - 9s Cutting planes: Clique: 11 Zero half: 19 Explored 17 nodes (38524 simplex iterations) in 9.55 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5