current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:23:56 2012 Optimize a model with 127117 rows, 24191 columns and 403711 nonzeros Presolve time: 0.43s Presolved: 127117 rows, 24191 columns, 403711 nonzeros Variable types: 0 continuous, 24191 integer (24191 binary) Root relaxation: objective 0.000000e+00, 547 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 (1011 simplex iterations) in 0.77 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:23:58 2012 Optimize a model with 63073 rows, 12581 columns and 199969 nonzeros Presolve time: 0.18s Presolved: 63073 rows, 12581 columns, 199969 nonzeros Variable types: 0 continuous, 12581 integer (12581 binary) Root relaxation: objective 0.000000e+00, 724 iterations, 0.08 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 (1306 simplex iterations) in 0.35 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:23:59 2012 Optimize a model with 31051 rows, 6776 columns and 98098 nonzeros Presolve time: 0.13s Presolved: 31051 rows, 6776 columns, 98098 nonzeros Variable types: 0 continuous, 6776 integer (6776 binary) Root relaxation: objective 0.000000e+00, 475 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 (907 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:24:00 2012 Optimize a model with 15633 rows, 3981 columns and 49049 nonzeros Presolve time: 0.05s Presolved: 15633 rows, 3981 columns, 49049 nonzeros Variable types: 0 continuous, 3981 integer (3981 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 (837 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:24:00 2012 Optimize a model with 7331 rows, 2476 columns and 22638 nonzeros Presolve time: 0.02s Presolved: 7331 rows, 2476 columns, 22638 nonzeros Variable types: 0 continuous, 2476 integer (2476 binary) Root relaxation: objective 0.000000e+00, 460 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 99 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3740 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:24:01 2012 Optimize a model with 3773 rows, 1831 columns and 11319 nonzeros Presolve time: 0.01s Presolved: 3773 rows, 1831 columns, 11319 nonzeros Variable types: 0 continuous, 1831 integer (1831 binary) Root relaxation: objective 0.000000e+00, 493 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 430 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (6538 simplex iterations) in 1.02 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:24:02 2012 Optimize a model with 4959 rows, 2046 columns and 15092 nonzeros Presolve time: 0.01s Presolved: 4959 rows, 2046 columns, 15092 nonzeros Variable types: 0 continuous, 2046 integer (2046 binary) Root relaxation: objective 0.000000e+00, 484 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 414 - 0.00000 - - 0s 0 0 0.00000 0 414 - 0.00000 - - 1s 0 0 0.00000 0 615 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 6s 0 0 0.00000 0 410 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 0 0.00000 0 392 - 0.00000 - - 9s 0 0 0.00000 0 392 - 0.00000 - - 10s 0 2 0.00000 0 391 - 0.00000 - - 11s 185 27 infeasible 14 - 0.00000 - 190 15s 456 12 0.00000 11 386 - 0.00000 - 186 20s 685 15 0.00000 10 422 - 0.00000 - 191 25s 705 23 0.00000 0 406 - 0.00000 - 191 33s 706 23 0.00000 0 406 - 0.00000 - 191 35s 708 25 0.00000 0 394 - 0.00000 - 190 40s 710 26 0.00000 0 535 - 0.00000 - 190 50s 712 27 0.00000 0 540 - 0.00000 - 189 57s 713 28 0.00000 0 539 - 0.00000 - 189 60s 715 29 0.00000 0 508 - 0.00000 - 188 66s 716 30 0.00000 0 515 - 0.00000 - 188 70s 735 35 infeasible 22 - 0.00000 - 302 75s 815 9 infeasible 24 - 0.00000 - 320 80s Cutting planes: Zero half: 33 Explored 843 nodes (335558 simplex iterations) in 81.81 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 15:25:24 2012 Optimize a model with 6145 rows, 2261 columns and 18865 nonzeros Presolve time: 0.02s Presolved: 6145 rows, 2261 columns, 18865 nonzeros Variable types: 0 continuous, 2261 integer (2261 binary) Root relaxation: objective 0.000000e+00, 469 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 400 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 559 - 0.00000 - - 1s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 5s 0 0 0.00000 0 542 - 0.00000 - - 5s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 2 0.00000 0 355 - 0.00000 - - 7s * 91 2 52 0.0000000 0.00000 0.0% 129 8s Cutting planes: Zero half: 5 Explored 92 nodes (55521 simplex iterations) in 8.81 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