current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:28:21 2012 Optimize a model with 66034 rows, 10546 columns and 207276 nonzeros Presolve time: 0.20s Presolved: 66034 rows, 10546 columns, 207276 nonzeros Variable types: 0 continuous, 10546 integer (10546 binary) Root relaxation: objective 0.000000e+00, 370 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 (686 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:28:22 2012 Optimize a model with 32609 rows, 5681 columns and 102136 nonzeros Presolve time: 0.15s Presolved: 32609 rows, 5681 columns, 102136 nonzeros Variable types: 0 continuous, 5681 integer (5681 binary) Root relaxation: objective 0.000000e+00, 421 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 (802 simplex iterations) in 0.23 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:28:23 2012 Optimize a model with 16374 rows, 3318 columns and 51068 nonzeros Presolve time: 0.05s Presolved: 16374 rows, 3318 columns, 51068 nonzeros Variable types: 0 continuous, 3318 integer (3318 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (553 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:28:23 2012 Optimize a model with 7779 rows, 2067 columns and 24032 nonzeros Presolve time: 0.02s Presolved: 7779 rows, 2067 columns, 24032 nonzeros Variable types: 0 continuous, 2067 integer (2067 binary) Root relaxation: objective 0.000000e+00, 301 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 14 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1505 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:28:23 2012 Optimize a model with 3959 rows, 1511 columns and 12016 nonzeros Presolve time: 0.01s Presolved: 3959 rows, 1511 columns, 12016 nonzeros Variable types: 0 continuous, 1511 integer (1511 binary) Root relaxation: objective 0.000000e+00, 304 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 176 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 0s 0 0 0.00000 0 438 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 424 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 418 - 0.00000 - - 4s 0 0 0.00000 0 417 - 0.00000 - - 5s 0 0 0.00000 0 416 - 0.00000 - - 6s 0 0 0.00000 0 413 - 0.00000 - - 7s 0 0 0.00000 0 414 - 0.00000 - - 8s 0 0 0.00000 0 414 - 0.00000 - - 9s 0 0 0.00000 0 412 - 0.00000 - - 11s 0 0 0.00000 0 428 - 0.00000 - - 12s 0 0 0.00000 0 428 - 0.00000 - - 12s 0 2 0.00000 0 428 - 0.00000 - - 13s 24 2 0.00000 3 417 - 0.00000 - 522 15s Cutting planes: Clique: 18 Zero half: 13 Explored 35 nodes (58782 simplex iterations) in 15.90 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 09:28:39 2012 Optimize a model with 5869 rows, 1789 columns and 18024 nonzeros Presolve time: 0.02s Presolved: 5869 rows, 1789 columns, 18024 nonzeros Variable types: 0 continuous, 1789 integer (1789 binary) Root relaxation: objective 0.000000e+00, 296 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 260 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1687 simplex iterations) in 0.10 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 09:28:39 2012 Optimize a model with 4914 rows, 1650 columns and 15020 nonzeros Presolve time: 0.01s Presolved: 4914 rows, 1650 columns, 15020 nonzeros Variable types: 0 continuous, 1650 integer (1650 binary) Root relaxation: objective 0.000000e+00, 297 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 276 - 0.00000 - - 0s 0 0 0.00000 0 219 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 212 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 0 0.00000 0 227 - 0.00000 - - 5s 0 0 0.00000 0 207 - 0.00000 - - 6s 0 0 0.00000 0 200 - 0.00000 - - 6s 0 0 0.00000 0 192 - 0.00000 - - 7s 0 0 0.00000 0 269 - 0.00000 - - 8s 0 0 0.00000 0 282 - 0.00000 - - 8s 0 0 0.00000 0 282 - 0.00000 - - 9s 0 2 0.00000 0 282 - 0.00000 - - 10s 320 76 0.00000 21 253 - 0.00000 - 156 15s 771 81 0.00000 23 303 - 0.00000 - 146 20s 1005 114 0.00000 20 329 - 0.00000 - 142 26s 1008 116 0.00000 10 328 - 0.00000 - 142 30s 1013 121 0.00000 16 337 - 0.00000 - 179 35s 1177 120 infeasible 30 - 0.00000 - 194 40s 1341 70 0.00000 30 319 - 0.00000 - 209 45s 1500 62 infeasible 37 - 0.00000 - 221 50s 1686 82 infeasible 42 - 0.00000 - 228 55s 1877 95 0.00000 37 236 - 0.00000 - 233 60s 2065 87 infeasible 36 - 0.00000 - 238 65s 2246 84 infeasible 38 - 0.00000 - 242 70s 2407 95 infeasible 38 - 0.00000 - 247 75s 2579 87 0.00000 35 315 - 0.00000 - 251 80s 2744 74 0.00000 30 316 - 0.00000 - 255 85s 2904 78 infeasible 36 - 0.00000 - 258 90s 3061 101 infeasible 39 - 0.00000 - 261 95s 3229 103 0.00000 36 319 - 0.00000 - 264 100s 3392 94 infeasible 39 - 0.00000 - 268 105s 3539 85 infeasible 37 - 0.00000 - 272 110s 3715 117 infeasible 36 - 0.00000 - 273 115s 3923 129 infeasible 38 - 0.00000 - 272 120s 4119 153 0.00000 28 329 - 0.00000 - 272 125s 4288 162 0.00000 32 316 - 0.00000 - 273 130s 4460 158 infeasible 34 - 0.00000 - 275 135s 4624 164 infeasible 31 - 0.00000 - 276 140s 4795 171 0.00000 32 232 - 0.00000 - 278 145s 4985 161 0.00000 31 239 - 0.00000 - 278 150s 5169 153 0.00000 30 305 - 0.00000 - 278 155s 5341 149 infeasible 31 - 0.00000 - 279 160s 5525 143 0.00000 34 313 - 0.00000 - 280 165s 5698 138 infeasible 39 - 0.00000 - 280 170s 5871 127 infeasible 36 - 0.00000 - 281 175s 6032 142 0.00000 35 318 - 0.00000 - 282 180s 6210 144 infeasible 38 - 0.00000 - 283 185s 6421 133 0.00000 32 300 - 0.00000 - 282 190s 6599 155 0.00000 31 214 - 0.00000 - 282 195s 6784 172 0.00000 32 337 - 0.00000 - 282 200s 6945 193 infeasible 38 - 0.00000 - 283 205s 7100 190 0.00000 39 297 - 0.00000 - 284 210s 7258 198 0.00000 35 298 - 0.00000 - 285 215s 7429 203 0.00000 34 242 - 0.00000 - 286 220s 7599 203 infeasible 33 - 0.00000 - 286 225s 7759 195 0.00000 33 315 - 0.00000 - 287 230s 7930 198 infeasible 36 - 0.00000 - 287 235s 8093 217 0.00000 38 323 - 0.00000 - 287 240s 8250 260 infeasible 38 - 0.00000 - 288 245s 8397 265 0.00000 39 230 - 0.00000 - 289 250s 8560 264 infeasible 38 - 0.00000 - 289 255s 8740 270 infeasible 41 - 0.00000 - 289 260s 8909 279 0.00000 34 326 - 0.00000 - 289 265s 9068 294 0.00000 27 308 - 0.00000 - 290 270s 9235 299 infeasible 36 - 0.00000 - 290 275s 9409 299 infeasible 34 - 0.00000 - 290 280s Cutting planes: Gomory: 1 Clique: 6 Zero half: 13 Explored 9418 nodes (2799697 simplex iterations) in 280.17 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