current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:51:48 2012 Optimize a model with 56486 rows, 9382 columns and 177580 nonzeros Presolve time: 0.17s Presolved: 56486 rows, 9382 columns, 177580 nonzeros Variable types: 0 continuous, 9382 integer (9382 binary) Root relaxation: objective 0.000000e+00, 310 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 (615 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:51:49 2012 Optimize a model with 27875 rows, 5059 columns and 87424 nonzeros Presolve time: 0.13s Presolved: 27875 rows, 5059 columns, 87424 nonzeros Variable types: 0 continuous, 5059 integer (5059 binary) Root relaxation: objective 0.000000e+00, 313 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 (612 simplex iterations) in 0.19 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:51:50 2012 Optimize a model with 14003 rows, 2963 columns and 43712 nonzeros Presolve time: 0.05s Presolved: 14003 rows, 2963 columns, 43712 nonzeros Variable types: 0 continuous, 2963 integer (2963 binary) Root relaxation: objective 0.000000e+00, 265 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 (530 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:51:50 2012 Optimize a model with 7067 rows, 1915 columns and 21856 nonzeros Presolve time: 0.02s Presolved: 7067 rows, 1915 columns, 21856 nonzeros Variable types: 0 continuous, 1915 integer (1915 binary) Root relaxation: objective 0.000000e+00, 279 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 (939 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:51:50 2012 Optimize a model with 3599 rows, 1391 columns and 10928 nonzeros Presolve time: 0.01s Presolved: 3599 rows, 1391 columns, 10928 nonzeros Variable types: 0 continuous, 1391 integer (1391 binary) Root relaxation: objective 0.000000e+00, 305 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 0 0 0.00000 0 245 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 0 0.00000 0 373 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 2 0.00000 0 386 - 0.00000 - - 10s Cutting planes: Gomory: 1 Clique: 28 Zero half: 32 Explored 62 nodes (57211 simplex iterations) in 12.76 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:52:03 2012 Optimize a model with 5333 rows, 1653 columns and 16392 nonzeros Presolve time: 0.01s Presolved: 5333 rows, 1653 columns, 16392 nonzeros Variable types: 0 continuous, 1653 integer (1653 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 241 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3881 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:52:04 2012 Optimize a model with 4466 rows, 1522 columns and 13660 nonzeros Presolve time: 0.01s Presolved: 4466 rows, 1522 columns, 13660 nonzeros Variable types: 0 continuous, 1522 integer (1522 binary) Root relaxation: objective 0.000000e+00, 276 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 256 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 257 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 329 - 0.00000 - - 3s 0 0 0.00000 0 317 - 0.00000 - - 4s 0 0 0.00000 0 353 - 0.00000 - - 4s 0 0 0.00000 0 353 - 0.00000 - - 5s 0 2 0.00000 0 353 - 0.00000 - - 5s 446 90 infeasible 24 - 0.00000 - 124 10s 605 130 0.00000 22 214 - 0.00000 - 121 15s 610 133 0.00000 15 259 - 0.00000 - 120 20s 704 164 0.00000 26 301 - 0.00000 - 187 25s 928 127 0.00000 36 314 - 0.00000 - 202 30s 1177 122 0.00000 38 303 - 0.00000 - 211 35s 1425 138 0.00000 35 284 - 0.00000 - 218 40s 1652 191 0.00000 25 280 - 0.00000 - 223 45s 1905 212 infeasible 31 - 0.00000 - 225 50s 2136 213 0.00000 32 299 - 0.00000 - 230 55s 2371 256 infeasible 36 - 0.00000 - 233 60s 2630 283 infeasible 40 - 0.00000 - 234 65s 2892 284 0.00000 34 218 - 0.00000 - 235 70s 3154 304 0.00000 35 279 - 0.00000 - 235 75s 3405 303 infeasible 33 - 0.00000 - 236 80s 3653 313 0.00000 40 273 - 0.00000 - 237 85s 3920 322 infeasible 43 - 0.00000 - 238 90s 4167 331 infeasible 35 - 0.00000 - 239 95s 4419 331 0.00000 34 220 - 0.00000 - 240 100s 4661 363 infeasible 40 - 0.00000 - 240 105s 4905 363 infeasible 41 - 0.00000 - 241 110s 5144 376 infeasible 32 - 0.00000 - 242 115s 5422 386 infeasible 36 - 0.00000 - 241 120s 5664 372 infeasible 38 - 0.00000 - 242 125s 5903 375 0.00000 34 258 - 0.00000 - 242 130s 6142 372 infeasible 30 - 0.00000 - 243 135s 6409 413 infeasible 34 - 0.00000 - 243 140s 6670 438 0.00000 37 273 - 0.00000 - 243 145s 6939 419 infeasible 33 - 0.00000 - 243 150s 7191 385 infeasible 40 - 0.00000 - 243 155s 7456 404 infeasible 39 - 0.00000 - 242 160s 7706 396 infeasible 34 - 0.00000 - 243 165s 7937 391 infeasible 39 - 0.00000 - 243 170s 8165 403 infeasible 32 - 0.00000 - 244 175s 8383 393 0.00000 29 269 - 0.00000 - 245 180s 8580 388 infeasible 38 - 0.00000 - 246 185s 8814 396 0.00000 39 280 - 0.00000 - 246 190s 9050 398 infeasible 36 - 0.00000 - 247 195s 9262 400 0.00000 37 304 - 0.00000 - 247 200s 9484 402 infeasible 33 - 0.00000 - 248 205s 9707 379 infeasible 32 - 0.00000 - 248 210s 9900 390 infeasible 31 - 0.00000 - 250 215s 10133 401 0.00000 34 269 - 0.00000 - 250 220s 10345 389 0.00000 38 280 - 0.00000 - 250 225s 10593 397 0.00000 34 264 - 0.00000 - 250 230s 10837 385 0.00000 30 291 - 0.00000 - 250 235s 11044 368 infeasible 38 - 0.00000 - 251 240s 11282 386 infeasible 31 - 0.00000 - 251 245s 11504 444 0.00000 40 287 - 0.00000 - 251 250s 11718 448 infeasible 33 - 0.00000 - 251 255s 11915 463 infeasible 43 - 0.00000 - 252 260s 12133 443 0.00000 42 286 - 0.00000 - 253 265s 12340 426 infeasible 32 - 0.00000 - 253 270s 12551 457 infeasible 34 - 0.00000 - 254 275s 12777 473 infeasible 36 - 0.00000 - 254 280s Cutting planes: Clique: 7 Zero half: 10 Explored 12906 nodes (3315614 simplex iterations) in 283.60 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