current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:58:30 2012 Optimize a model with 128196 rows, 24513 columns and 407268 nonzeros Presolve time: 0.45s Presolved: 128196 rows, 24513 columns, 407268 nonzeros Variable types: 0 continuous, 24513 integer (24513 binary) Root relaxation: objective 0.000000e+00, 570 iterations, 0.16 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 (1018 simplex iterations) in 0.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: 0 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:58:32 2012 Optimize a model with 64206 rows, 12849 columns and 203634 nonzeros Presolve time: 0.19s Presolved: 64206 rows, 12849 columns, 203634 nonzeros Variable types: 0 continuous, 12849 integer (12849 binary) Root relaxation: objective 0.000000e+00, 711 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 (1226 simplex iterations) in 0.34 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:58:33 2012 Optimize a model with 32211 rows, 7017 columns and 101817 nonzeros Presolve time: 0.13s Presolved: 32211 rows, 7017 columns, 101817 nonzeros Variable types: 0 continuous, 7017 integer (7017 binary) Root relaxation: objective 0.000000e+00, 543 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 (1263 simplex iterations) in 0.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: 0 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:58:34 2012 Optimize a model with 15621 rows, 3993 columns and 49023 nonzeros Presolve time: 0.05s Presolved: 15621 rows, 3993 columns, 49023 nonzeros Variable types: 0 continuous, 3993 integer (3993 binary) Root relaxation: objective 0.000000e+00, 443 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 (849 simplex iterations) in 0.09 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 15:58:34 2012 Optimize a model with 7326 rows, 2481 columns and 22626 nonzeros Presolve time: 0.02s Presolved: 7326 rows, 2481 columns, 22626 nonzeros Variable types: 0 continuous, 2481 integer (2481 binary) Root relaxation: objective 0.000000e+00, 463 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 (4742 simplex iterations) in 0.47 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 15:58:35 2012 Optimize a model with 3771 rows, 1833 columns and 11313 nonzeros Presolve time: 0.01s Presolved: 3771 rows, 1833 columns, 11313 nonzeros Variable types: 0 continuous, 1833 integer (1833 binary) Root relaxation: objective 0.000000e+00, 495 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 340 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8646 simplex iterations) in 1.11 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 15:58:36 2012 Optimize a model with 4956 rows, 2049 columns and 15084 nonzeros Presolve time: 0.01s Presolved: 4956 rows, 2049 columns, 15084 nonzeros Variable types: 0 continuous, 2049 integer (2049 binary) Root relaxation: objective 0.000000e+00, 463 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 424 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 535 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 2 0.00000 0 394 - 0.00000 - - 7s 106 34 0.00000 14 499 - 0.00000 - 241 10s 373 57 0.00000 20 501 - 0.00000 - 204 15s 603 101 0.00000 13 420 - 0.00000 - 202 21s 605 103 0.00000 16 386 - 0.00000 - 201 28s 606 103 0.00000 13 385 - 0.00000 - 201 30s 608 105 0.00000 11 405 - 0.00000 - 200 37s 609 105 0.00000 17 380 - 0.00000 - 200 40s 611 107 0.00000 11 360 - 0.00000 - 199 49s 612 107 0.00000 15 350 - 0.00000 - 199 51s 613 108 0.00000 11 352 - 0.00000 - 199 55s 615 109 0.00000 21 336 - 0.00000 - 198 62s 616 110 0.00000 9 350 - 0.00000 - 198 66s 621 113 0.00000 17 527 - 0.00000 - 368 70s 630 119 0.00000 21 527 - 0.00000 - 367 75s 700 104 0.00000 27 527 - 0.00000 - 374 80s 772 82 0.00000 31 531 - 0.00000 - 384 85s 846 63 0.00000 28 514 - 0.00000 - 397 90s 931 32 infeasible 31 - 0.00000 - 401 95s 1008 18 0.00000 24 462 - 0.00000 - 409 100s 1078 16 0.00000 20 524 - 0.00000 - 413 105s 1156 20 infeasible 28 - 0.00000 - 417 110s 1248 30 0.00000 28 537 - 0.00000 - 417 115s 1321 31 0.00000 26 402 - 0.00000 - 420 120s 1401 23 infeasible 28 - 0.00000 - 424 125s 1478 28 0.00000 24 517 - 0.00000 - 425 130s 1558 30 infeasible 28 - 0.00000 - 429 135s 1616 26 0.00000 25 454 - 0.00000 - 435 140s 1697 15 infeasible 22 - 0.00000 - 437 145s 1780 6 infeasible 29 - 0.00000 - 436 150s Cutting planes: Zero half: 14 Explored 1843 nodes (842048 simplex iterations) in 153.69 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 16:01:10 2012 Optimize a model with 6141 rows, 2265 columns and 18855 nonzeros Presolve time: 0.02s Presolved: 6141 rows, 2265 columns, 18855 nonzeros Variable types: 0 continuous, 2265 integer (2265 binary) Root relaxation: objective 0.000000e+00, 470 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 410 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 487 - 0.00000 - - 2s 0 0 0.00000 0 480 - 0.00000 - - 3s 0 0 0.00000 0 491 - 0.00000 - - 4s 0 0 0.00000 0 491 - 0.00000 - - 5s 0 2 0.00000 0 491 - 0.00000 - - 6s 605 127 0.00000 63 338 - 0.00000 - 65.5 11s 609 129 0.00000 43 292 - 0.00000 - 65.0 15s 613 132 0.00000 63 266 - 0.00000 - 64.6 21s H 615 126 0.0000000 0.00000 0.0% 64.4 25s Cutting planes: Zero half: 8 Explored 615 nodes (135912 simplex iterations) in 25.61 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