current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:36:02 2012 Optimize a model with 84973 rows, 11893 columns and 265209 nonzeros Presolve time: 0.23s Presolved: 84973 rows, 11893 columns, 265209 nonzeros Variable types: 0 continuous, 11893 integer (11893 binary) Root relaxation: objective 0.000000e+00, 350 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 (759 simplex iterations) in 0.46 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:36:03 2012 Optimize a model with 41979 rows, 6454 columns and 130788 nonzeros Presolve time: 0.15s Presolved: 41979 rows, 6454 columns, 130788 nonzeros Variable types: 0 continuous, 6454 integer (6454 binary) Root relaxation: objective 0.000000e+00, 450 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 (1015 simplex iterations) in 0.28 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 16:36:04 2012 Optimize a model with 21063 rows, 3808 columns and 65394 nonzeros Presolve time: 0.07s Presolved: 21063 rows, 3808 columns, 65394 nonzeros Variable types: 0 continuous, 3808 integer (3808 binary) Root relaxation: objective 0.000000e+00, 415 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 (811 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 16:36:05 2012 Optimize a model with 10605 rows, 2485 columns and 32697 nonzeros Presolve time: 0.03s Presolved: 10605 rows, 2485 columns, 32697 nonzeros Variable types: 0 continuous, 2485 integer (2485 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1459 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: 0 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:36:05 2012 Optimize a model with 4795 rows, 1750 columns and 14532 nonzeros Presolve time: 0.01s Presolved: 4795 rows, 1750 columns, 14532 nonzeros Variable types: 0 continuous, 1750 integer (1750 binary) Root relaxation: objective 0.000000e+00, 319 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 224 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 493 - 0.00000 - - 2s 0 0 0.00000 0 507 - 0.00000 - - 2s 0 0 0.00000 0 496 - 0.00000 - - 3s 0 0 0.00000 0 490 - 0.00000 - - 4s 0 0 0.00000 0 493 - 0.00000 - - 5s 0 0 0.00000 0 488 - 0.00000 - - 6s 0 0 0.00000 0 491 - 0.00000 - - 7s 0 0 0.00000 0 495 - 0.00000 - - 8s 0 0 0.00000 0 484 - 0.00000 - - 9s 0 0 0.00000 0 490 - 0.00000 - - 10s 0 0 0.00000 0 487 - 0.00000 - - 10s 0 2 0.00000 0 487 - 0.00000 - - 12s Cutting planes: Clique: 25 Zero half: 23 Explored 23 nodes (72521 simplex iterations) in 13.97 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 16:36:19 2012 Optimize a model with 7119 rows, 2044 columns and 21798 nonzeros Presolve time: 0.02s Presolved: 7119 rows, 2044 columns, 21798 nonzeros Variable types: 0 continuous, 2044 integer (2044 binary) Root relaxation: objective 0.000000e+00, 314 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 195 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 412 - 0.00000 - - 4s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 442 - 0.00000 - - 6s 0 0 0.00000 0 439 - 0.00000 - - 7s 0 0 0.00000 0 433 - 0.00000 - - 8s 0 0 0.00000 0 448 - 0.00000 - - 10s 0 0 0.00000 0 335 - 0.00000 - - 11s 0 2 0.00000 0 335 - 0.00000 - - 11s 362 75 0.00000 31 216 - 0.00000 - 107 15s 904 98 0.00000 3 390 - 0.00000 - 95.9 20s 907 100 0.00000 30 303 - 0.00000 - 95.6 26s 909 101 0.00000 18 263 - 0.00000 - 95.4 30s 913 104 0.00000 31 256 - 0.00000 - 95.0 35s 918 107 infeasible 10 - 0.00000 - 155 40s 941 123 0.00000 21 301 - 0.00000 - 155 45s 1150 158 0.00000 41 281 - 0.00000 - 163 50s 1461 248 0.00000 43 264 - 0.00000 - 169 55s 1771 322 0.00000 40 298 - 0.00000 - 175 60s 2086 395 0.00000 53 232 - 0.00000 - 180 65s 2433 492 infeasible 48 - 0.00000 - 180 70s 2702 523 0.00000 47 211 - 0.00000 - 186 75s 2988 557 infeasible 48 - 0.00000 - 190 80s * 3230 1 48 0.0000000 0.00000 0.0% 191 84s Cutting planes: Clique: 11 Zero half: 7 Explored 3231 nodes (674302 simplex iterations) in 84.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:37:43 2012 Optimize a model with 5957 rows, 1897 columns and 18165 nonzeros Presolve time: 0.02s Presolved: 5957 rows, 1897 columns, 18165 nonzeros Variable types: 0 continuous, 1897 integer (1897 binary) Root relaxation: objective 0.000000e+00, 315 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 168 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 2s 0 0 0.00000 0 445 - 0.00000 - - 2s 0 0 0.00000 0 403 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 6s 0 0 0.00000 0 409 - 0.00000 - - 7s 0 0 0.00000 0 413 - 0.00000 - - 9s 0 0 0.00000 0 408 - 0.00000 - - 10s 0 0 0.00000 0 400 - 0.00000 - - 11s 0 0 0.00000 0 397 - 0.00000 - - 12s 0 0 0.00000 0 391 - 0.00000 - - 13s 0 0 0.00000 0 393 - 0.00000 - - 14s 0 0 0.00000 0 391 - 0.00000 - - 14s 0 2 0.00000 0 391 - 0.00000 - - 16s 74 38 infeasible 22 - 0.00000 - 334 20s 226 62 infeasible 17 - 0.00000 - 270 25s 398 74 0.00000 12 375 - 0.00000 - 253 30s 598 86 0.00000 16 334 - 0.00000 - 235 35s 703 99 0.00000 9 264 - 0.00000 - 235 40s 705 101 0.00000 17 385 - 0.00000 - 235 46s 707 102 0.00000 11 398 - 0.00000 - 234 52s 708 103 0.00000 14 385 - 0.00000 - 234 56s 710 104 0.00000 17 380 - 0.00000 - 233 61s 712 105 0.00000 11 383 - 0.00000 - 232 67s 714 107 0.00000 16 325 - 0.00000 - 232 70s 754 111 infeasible 25 - 0.00000 - 317 75s 840 97 0.00000 29 372 - 0.00000 - 327 80s 909 65 infeasible 24 - 0.00000 - 343 85s 994 45 0.00000 32 391 - 0.00000 - 350 90s 1067 30 0.00000 25 358 - 0.00000 - 361 95s 1151 28 infeasible 25 - 0.00000 - 367 100s 1245 34 0.00000 26 389 - 0.00000 - 369 105s 1315 38 infeasible 31 - 0.00000 - 377 110s 1406 53 infeasible 33 - 0.00000 - 378 115s 1483 46 infeasible 29 - 0.00000 - 383 120s 1560 57 0.00000 23 390 - 0.00000 - 387 125s 1655 60 0.00000 25 373 - 0.00000 - 387 130s 1747 68 infeasible 33 - 0.00000 - 388 135s 1820 65 infeasible 29 - 0.00000 - 392 140s 1898 57 0.00000 30 381 - 0.00000 - 395 145s 1983 54 infeasible 32 - 0.00000 - 397 150s 2057 52 infeasible 27 - 0.00000 - 400 155s 2143 54 0.00000 28 383 - 0.00000 - 401 160s 2219 52 0.00000 24 382 - 0.00000 - 404 165s 2295 48 infeasible 27 - 0.00000 - 406 170s 2375 40 infeasible 25 - 0.00000 - 408 175s 2452 37 infeasible 32 - 0.00000 - 409 180s 2527 32 infeasible 32 - 0.00000 - 411 185s 2608 31 infeasible 30 - 0.00000 - 412 190s 2684 31 infeasible 27 - 0.00000 - 414 195s Cutting planes: Zero half: 10 Explored 2709 nodes (1190203 simplex iterations) in 196.99 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