current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:22:26 2012 Optimize a model with 53495 rows, 9271 columns and 168545 nonzeros Presolve time: 0.17s Presolved: 53495 rows, 9271 columns, 168545 nonzeros Variable types: 0 continuous, 9271 integer (9271 binary) Root relaxation: objective 0.000000e+00, 309 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 (693 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:22:27 2012 Optimize a model with 26402 rows, 4981 columns and 82976 nonzeros Presolve time: 0.12s Presolved: 26402 rows, 4981 columns, 82976 nonzeros Variable types: 0 continuous, 4981 integer (4981 binary) Root relaxation: objective 0.000000e+00, 315 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 (711 simplex iterations) in 0.20 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:22:28 2012 Optimize a model with 13266 rows, 2901 columns and 41488 nonzeros Presolve time: 0.04s Presolved: 13266 rows, 2901 columns, 41488 nonzeros Variable types: 0 continuous, 2901 integer (2901 binary) Root relaxation: objective 0.000000e+00, 264 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 (503 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 02:22:28 2012 Optimize a model with 6698 rows, 1861 columns and 20744 nonzeros Presolve time: 0.02s Presolved: 6698 rows, 1861 columns, 20744 nonzeros Variable types: 0 continuous, 1861 integer (1861 binary) Root relaxation: objective 0.000000e+00, 280 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 (979 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 02:22:28 2012 Optimize a model with 3414 rows, 1341 columns and 10372 nonzeros Presolve time: 0.01s Presolved: 3414 rows, 1341 columns, 10372 nonzeros Variable types: 0 continuous, 1341 integer (1341 binary) Root relaxation: objective 0.000000e+00, 293 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 258 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 387 - 0.00000 - - 5s 0 0 0.00000 0 381 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 0 0.00000 0 368 - 0.00000 - - 9s 0 0 0.00000 0 361 - 0.00000 - - 9s 0 0 0.00000 0 367 - 0.00000 - - 10s 0 0 0.00000 0 367 - 0.00000 - - 10s 0 2 0.00000 0 367 - 0.00000 - - 11s Cutting planes: Clique: 11 Zero half: 32 Explored 59 nodes (58714 simplex iterations) in 13.64 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 02:22:42 2012 Optimize a model with 5056 rows, 1601 columns and 15558 nonzeros Presolve time: 0.01s Presolved: 5056 rows, 1601 columns, 15558 nonzeros Variable types: 0 continuous, 1601 integer (1601 binary) Root relaxation: objective 0.000000e+00, 299 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 127 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3048 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:22:42 2012 Optimize a model with 4235 rows, 1471 columns and 12965 nonzeros Presolve time: 0.01s Presolved: 4235 rows, 1471 columns, 12965 nonzeros Variable types: 0 continuous, 1471 integer (1471 binary) Root relaxation: objective 0.000000e+00, 284 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 250 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 288 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 1s 0 0 0.00000 0 241 - 0.00000 - - 2s 0 0 0.00000 0 199 - 0.00000 - - 3s 0 0 0.00000 0 149 - 0.00000 - - 3s 0 0 0.00000 0 278 - 0.00000 - - 3s 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 - - 5s 988 53 0.00000 30 194 - 0.00000 - 84.1 10s 1306 50 0.00000 23 315 - 0.00000 - 84.0 15s 1310 53 0.00000 6 326 - 0.00000 - 83.8 20s 1521 91 infeasible 36 - 0.00000 - 119 25s 1860 104 0.00000 23 304 - 0.00000 - 135 30s 2176 142 0.00000 35 203 - 0.00000 - 147 35s 2489 159 infeasible 35 - 0.00000 - 156 40s 2820 180 0.00000 31 270 - 0.00000 - 163 45s 3176 192 infeasible 39 - 0.00000 - 167 50s 3494 218 0.00000 38 248 - 0.00000 - 172 55s 3812 244 0.00000 32 289 - 0.00000 - 176 60s 4140 276 infeasible 31 - 0.00000 - 179 65s 4408 278 infeasible 35 - 0.00000 - 183 70s 4713 263 infeasible 38 - 0.00000 - 185 75s 5032 282 0.00000 31 300 - 0.00000 - 187 80s 5369 311 0.00000 37 269 - 0.00000 - 188 85s 5721 291 0.00000 40 192 - 0.00000 - 189 90s 6011 281 infeasible 38 - 0.00000 - 192 95s 6340 292 0.00000 37 266 - 0.00000 - 193 100s 6679 311 infeasible 44 - 0.00000 - 194 105s 7051 305 infeasible 37 - 0.00000 - 194 110s 7399 301 infeasible 40 - 0.00000 - 195 115s 7729 307 0.00000 40 212 - 0.00000 - 196 120s 8070 306 0.00000 40 272 - 0.00000 - 196 125s 8363 295 0.00000 26 304 - 0.00000 - 198 130s 8658 312 infeasible 32 - 0.00000 - 199 135s 8956 334 infeasible 42 - 0.00000 - 199 140s 9261 351 infeasible 38 - 0.00000 - 200 145s 9589 377 0.00000 35 266 - 0.00000 - 201 150s 9875 363 0.00000 35 209 - 0.00000 - 202 155s 10155 365 infeasible 40 - 0.00000 - 203 160s 10468 378 0.00000 35 222 - 0.00000 - 203 165s 10808 382 infeasible 39 - 0.00000 - 203 170s 11113 399 0.00000 33 250 - 0.00000 - 204 175s 11385 389 infeasible 41 - 0.00000 - 205 180s 11679 369 infeasible 36 - 0.00000 - 206 185s 12005 387 infeasible 39 - 0.00000 - 206 190s 12343 371 0.00000 34 243 - 0.00000 - 206 195s 12668 418 0.00000 34 212 - 0.00000 - 206 200s 13012 456 0.00000 28 267 - 0.00000 - 206 205s 13325 487 0.00000 31 286 - 0.00000 - 206 210s 13658 536 0.00000 28 292 - 0.00000 - 206 215s 13972 576 infeasible 36 - 0.00000 - 207 220s 14308 598 0.00000 33 230 - 0.00000 - 207 225s 14616 608 infeasible 29 - 0.00000 - 207 230s 14936 618 infeasible 41 - 0.00000 - 207 235s 15250 632 infeasible 37 - 0.00000 - 208 240s 15543 633 infeasible 34 - 0.00000 - 208 245s 15873 675 infeasible 39 - 0.00000 - 208 250s 16200 658 infeasible 34 - 0.00000 - 209 255s 16584 690 infeasible 39 - 0.00000 - 208 260s 16916 690 infeasible 35 - 0.00000 - 208 265s 17241 691 infeasible 38 - 0.00000 - 209 270s 17581 717 infeasible 41 - 0.00000 - 209 275s 17896 712 infeasible 36 - 0.00000 - 209 280s Cutting planes: Gomory: 1 Clique: 3 Zero half: 7 Explored 18094 nodes (3815690 simplex iterations) in 283.01 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