current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:53 2012 Optimize a model with 114609 rows, 22836 columns and 364936 nonzeros Presolve time: 0.39s Presolved: 114609 rows, 22836 columns, 364936 nonzeros Variable types: 0 continuous, 22836 integer (22836 binary) Root relaxation: objective 0.000000e+00, 555 iterations, 0.14 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 (989 simplex iterations) in 0.69 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:55 2012 Optimize a model with 57409 rows, 11968 columns and 182468 nonzeros Presolve time: 0.17s Presolved: 57409 rows, 11968 columns, 182468 nonzeros Variable types: 0 continuous, 11968 integer (11968 binary) Root relaxation: objective 0.000000e+00, 754 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 (1238 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:56 2012 Optimize a model with 28809 rows, 6534 columns and 91234 nonzeros Presolve time: 0.12s Presolved: 28809 rows, 6534 columns, 91234 nonzeros Variable types: 0 continuous, 6534 integer (6534 binary) Root relaxation: objective 0.000000e+00, 513 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 (1168 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:57 2012 Optimize a model with 14509 rows, 3817 columns and 45617 nonzeros Presolve time: 0.05s Presolved: 14509 rows, 3817 columns, 45617 nonzeros Variable types: 0 continuous, 3817 integer (3817 binary) Root relaxation: objective 0.000000e+00, 432 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 (831 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:57 2012 Optimize a model with 6809 rows, 2354 columns and 21054 nonzeros Presolve time: 0.02s Presolved: 6809 rows, 2354 columns, 21054 nonzeros Variable types: 0 continuous, 2354 integer (2354 binary) Root relaxation: objective 0.000000e+00, 444 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 (3408 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:57 2012 Optimize a model with 3509 rows, 1727 columns and 10527 nonzeros Presolve time: 0.01s Presolved: 3509 rows, 1727 columns, 10527 nonzeros Variable types: 0 continuous, 1727 integer (1727 binary) Root relaxation: objective 0.000000e+00, 477 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 416 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5615 simplex iterations) in 0.89 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:58:58 2012 Optimize a model with 4609 rows, 1936 columns and 14036 nonzeros Presolve time: 0.01s Presolved: 4609 rows, 1936 columns, 14036 nonzeros Variable types: 0 continuous, 1936 integer (1936 binary) Root relaxation: objective 0.000000e+00, 453 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 418 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 466 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 376 - 0.00000 - - 6s 0 0 0.00000 0 389 - 0.00000 - - 6s 0 0 0.00000 0 389 - 0.00000 - - 7s 0 2 0.00000 0 389 - 0.00000 - - 8s 65 40 0.00000 19 475 - 0.00000 - 278 10s 302 123 0.00000 27 380 - 0.00000 - 215 15s 603 182 0.00000 12 420 - 0.00000 - 189 21s 605 184 0.00000 19 386 - 0.00000 - 189 27s 607 185 0.00000 15 380 - 0.00000 - 188 32s 609 186 0.00000 35 376 - 0.00000 - 187 37s 611 188 0.00000 19 364 - 0.00000 - 187 42s 613 189 0.00000 12 360 - 0.00000 - 186 46s 657 192 infeasible 21 - 0.00000 - 300 50s 788 144 0.00000 13 454 - 0.00000 - 308 55s 896 116 0.00000 22 390 - 0.00000 - 317 60s 1007 82 infeasible 22 - 0.00000 - 323 65s 1137 34 infeasible 19 - 0.00000 - 327 70s 1233 14 infeasible 21 - 0.00000 - 336 75s 1326 15 infeasible 22 - 0.00000 - 344 80s 1420 13 infeasible 25 - 0.00000 - 352 85s 1506 9 0.00000 17 392 - 0.00000 - 359 90s 1612 13 infeasible 23 - 0.00000 - 361 95s 1731 16 infeasible 24 - 0.00000 - 362 100s 1828 9 infeasible 24 - 0.00000 - 367 105s 1934 11 infeasible 22 - 0.00000 - 368 110s 2027 14 0.00000 17 382 - 0.00000 - 372 115s 2121 14 infeasible 21 - 0.00000 - 376 120s 2208 15 0.00000 20 440 - 0.00000 - 380 125s 2299 14 0.00000 18 503 - 0.00000 - 383 130s 2397 10 0.00000 16 537 - 0.00000 - 385 135s 2494 15 infeasible 18 - 0.00000 - 387 140s 2592 19 0.00000 20 484 - 0.00000 - 388 145s 2709 14 infeasible 21 - 0.00000 - 388 150s 2800 15 infeasible 25 - 0.00000 - 390 155s 2880 11 0.00000 18 393 - 0.00000 - 394 160s 2965 4 infeasible 20 - 0.00000 - 396 165s 3062 5 infeasible 24 - 0.00000 - 398 170s 3167 2 0.00000 17 386 - 0.00000 - 398 175s Cutting planes: Gomory: 1 Zero half: 25 Explored 3180 nodes (1313867 simplex iterations) in 175.60 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:01:54 2012 Optimize a model with 5709 rows, 2145 columns and 17545 nonzeros Presolve time: 0.02s Presolved: 5709 rows, 2145 columns, 17545 nonzeros Variable types: 0 continuous, 2145 integer (2145 binary) Root relaxation: objective 0.000000e+00, 458 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 398 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 4s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 256 - 0.00000 - - 6s 0 0 0.00000 0 248 - 0.00000 - - 6s 0 0 0.00000 0 226 - 0.00000 - - 6s 0 0 0.00000 0 238 - 0.00000 - - 7s 0 0 0.00000 0 172 - 0.00000 - - 7s 0 0 0.00000 0 239 - 0.00000 - - 7s 0 0 0.00000 0 146 - 0.00000 - - 8s 0 0 0.00000 0 128 - 0.00000 - - 8s 0 0 0.00000 0 108 - 0.00000 - - 8s 0 0 0.00000 0 127 - 0.00000 - - 8s 0 0 0.00000 0 127 - 0.00000 - - 9s H 0 0 0.0000000 0.00000 0.0% - 9s Cutting planes: Zero half: 5 Explored 0 nodes (82015 simplex iterations) in 9.62 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% optimal solution found: number of colors: 5