current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:28 2012 Optimize a model with 80785 rows, 11560 columns and 252360 nonzeros Presolve time: 0.23s Presolved: 80785 rows, 11560 columns, 252360 nonzeros Variable types: 0 continuous, 11560 integer (11560 binary) Root relaxation: objective 0.000000e+00, 347 iterations, 0.09 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 (745 simplex iterations) in 0.44 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:29 2012 Optimize a model with 40465 rows, 6340 columns and 126180 nonzeros Presolve time: 0.15s Presolved: 40465 rows, 6340 columns, 126180 nonzeros Variable types: 0 continuous, 6340 integer (6340 binary) Root relaxation: objective 0.000000e+00, 350 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 (748 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:30 2012 Optimize a model with 20305 rows, 3730 columns and 63090 nonzeros Presolve time: 0.07s Presolved: 20305 rows, 3730 columns, 63090 nonzeros Variable types: 0 continuous, 3730 integer (3730 binary) Root relaxation: objective 0.000000e+00, 423 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 (854 simplex iterations) in 0.13 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:30 2012 Optimize a model with 10225 rows, 2425 columns and 31545 nonzeros Presolve time: 0.03s Presolved: 10225 rows, 2425 columns, 31545 nonzeros Variable types: 0 continuous, 2425 integer (2425 binary) Root relaxation: objective 0.000000e+00, 308 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 (727 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:30 2012 Optimize a model with 4625 rows, 1700 columns and 14020 nonzeros Presolve time: 0.01s Presolved: 4625 rows, 1700 columns, 14020 nonzeros Variable types: 0 continuous, 1700 integer (1700 binary) Root relaxation: objective 0.000000e+00, 311 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 288 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 0s 0 0 0.00000 0 487 - 0.00000 - - 2s 0 0 0.00000 0 491 - 0.00000 - - 2s 0 0 0.00000 0 489 - 0.00000 - - 3s 0 0 0.00000 0 483 - 0.00000 - - 4s 0 0 0.00000 0 491 - 0.00000 - - 4s 0 0 0.00000 0 477 - 0.00000 - - 5s 0 0 0.00000 0 487 - 0.00000 - - 6s 0 0 0.00000 0 479 - 0.00000 - - 7s 0 0 0.00000 0 480 - 0.00000 - - 8s 0 0 0.00000 0 480 - 0.00000 - - 9s 0 2 0.00000 0 480 - 0.00000 - - 10s Cutting planes: Clique: 32 Zero half: 14 Explored 3 nodes (54951 simplex iterations) in 10.59 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:59:41 2012 Optimize a model with 6865 rows, 1990 columns and 21030 nonzeros Presolve time: 0.02s Presolved: 6865 rows, 1990 columns, 21030 nonzeros Variable types: 0 continuous, 1990 integer (1990 binary) Root relaxation: objective 0.000000e+00, 312 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 219 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 269 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 4s 0 0 0.00000 0 315 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 345 - 0.00000 - - 8s 0 0 0.00000 0 379 - 0.00000 - - 9s 0 0 0.00000 0 368 - 0.00000 - - 10s 0 2 0.00000 0 368 - 0.00000 - - 11s 417 158 0.00000 38 196 - 0.00000 - 98.7 15s 605 228 0.00000 34 296 - 0.00000 - 93.9 20s 608 230 0.00000 23 311 - 0.00000 - 93.4 25s 612 232 0.00000 36 274 - 0.00000 - 92.8 30s 618 236 0.00000 17 251 - 0.00000 - 172 35s 680 264 0.00000 19 316 - 0.00000 - 175 40s 973 265 infeasible 53 - 0.00000 - 177 45s * 1044 82 50 0.0000000 0.00000 0.0% 176 45s Cutting planes: Clique: 4 Zero half: 5 Explored 1045 nodes (239738 simplex iterations) in 45.79 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 15:00:27 2012 Optimize a model with 5745 rows, 1845 columns and 17525 nonzeros Presolve time: 0.02s Presolved: 5745 rows, 1845 columns, 17525 nonzeros Variable types: 0 continuous, 1845 integer (1845 binary) Root relaxation: objective 0.000000e+00, 306 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 164 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 4s 0 0 0.00000 0 398 - 0.00000 - - 6s 0 0 0.00000 0 369 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 10s 0 0 0.00000 0 386 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 12s 0 0 0.00000 0 376 - 0.00000 - - 14s 0 0 0.00000 0 395 - 0.00000 - - 15s 0 0 0.00000 0 391 - 0.00000 - - 16s 0 0 0.00000 0 387 - 0.00000 - - 17s 0 0 0.00000 0 398 - 0.00000 - - 19s 0 0 0.00000 0 398 - 0.00000 - - 19s 0 2 0.00000 0 398 - 0.00000 - - 21s 53 13 0.00000 8 409 - 0.00000 - 428 25s 177 34 0.00000 14 257 - 0.00000 - 321 30s 314 40 infeasible 21 - 0.00000 - 304 35s 470 40 0.00000 13 377 - 0.00000 - 285 40s 623 42 0.00000 8 402 - 0.00000 - 277 45s 749 42 infeasible 13 - 0.00000 - 281 50s 910 48 infeasible 21 - 0.00000 - 274 55s 1067 46 infeasible 17 - 0.00000 - 270 60s 1193 55 0.00000 19 368 - 0.00000 - 274 65s 1205 59 0.00000 9 429 - 0.00000 - 272 71s 1209 61 0.00000 11 418 - 0.00000 - 271 77s 1210 62 0.00000 11 415 - 0.00000 - 271 81s 1211 63 0.00000 14 428 - 0.00000 - 271 86s 1213 64 0.00000 11 414 - 0.00000 - 270 90s 1215 65 0.00000 7 426 - 0.00000 - 270 98s 1216 66 0.00000 14 418 - 0.00000 - 270 100s 1218 67 0.00000 11 404 - 0.00000 - 269 108s 1219 68 0.00000 9 404 - 0.00000 - 269 112s 1222 70 0.00000 11 407 - 0.00000 - 268 115s 1257 69 0.00000 22 364 - 0.00000 - 325 120s 1340 41 infeasible 23 - 0.00000 - 333 125s 1421 17 infeasible 27 - 0.00000 - 340 130s 1507 16 infeasible 24 - 0.00000 - 346 135s 1580 19 infeasible 25 - 0.00000 - 353 140s 1651 16 0.00000 22 378 - 0.00000 - 361 145s 1730 19 0.00000 25 361 - 0.00000 - 366 150s 1823 18 infeasible 25 - 0.00000 - 368 155s 1908 21 0.00000 23 371 - 0.00000 - 371 160s 1975 14 infeasible 21 - 0.00000 - 377 165s 2045 12 infeasible 24 - 0.00000 - 382 170s 2131 10 0.00000 22 381 - 0.00000 - 384 175s 2213 10 0.00000 20 396 - 0.00000 - 387 180s 2292 15 infeasible 23 - 0.00000 - 389 185s 2365 12 0.00000 22 393 - 0.00000 - 393 190s 2443 14 infeasible 23 - 0.00000 - 395 195s 2519 10 0.00000 23 369 - 0.00000 - 398 200s 2607 14 infeasible 22 - 0.00000 - 399 205s 2683 12 0.00000 21 362 - 0.00000 - 402 210s 2765 6 infeasible 23 - 0.00000 - 403 215s 2845 14 0.00000 26 384 - 0.00000 - 404 220s 2927 10 infeasible 26 - 0.00000 - 406 225s 3007 12 infeasible 30 - 0.00000 - 407 230s 3079 8 infeasible 24 - 0.00000 - 409 235s Cutting planes: Clique: 9 Zero half: 14 Explored 3142 nodes (1366620 simplex iterations) in 239.02 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