current bounds on the number of colors: 0 -- 158 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:54 2012 Optimize a model with 51824 rows, 13136 columns and 167480 nonzeros Presolve time: 0.17s Presolved: 51824 rows, 13136 columns, 167480 nonzeros Variable types: 0 continuous, 13136 integer (13136 binary) Root relaxation: objective 0.000000e+00, 647 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 (1016 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:55 2012 Optimize a model with 25664 rows, 6816 columns and 82680 nonzeros Presolve time: 0.13s Presolved: 25664 rows, 6816 columns, 82680 nonzeros Variable types: 0 continuous, 6816 integer (6816 binary) Root relaxation: objective 0.000000e+00, 455 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 (803 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:55 2012 Optimize a model with 12584 rows, 3656 columns and 40280 nonzeros Presolve time: 0.05s Presolved: 12584 rows, 3656 columns, 40280 nonzeros Variable types: 0 continuous, 3656 integer (3656 binary) Root relaxation: objective 0.000000e+00, 324 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 (621 simplex iterations) in 0.07 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:56 2012 Optimize a model with 6044 rows, 2076 columns and 19080 nonzeros Presolve time: 0.02s Presolved: 6044 rows, 2076 columns, 19080 nonzeros Variable types: 0 continuous, 2076 integer (2076 binary) Root relaxation: objective 0.000000e+00, 324 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 (767 simplex iterations) in 0.04 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 19:06:56 2012 Optimize a model with 2774 rows, 1286 columns and 8480 nonzeros Presolve time: 0.01s Presolved: 2774 rows, 1286 columns, 8480 nonzeros Variable types: 0 continuous, 1286 integer (1286 binary) Root relaxation: objective 0.000000e+00, 357 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 296 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 339 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 1s 0 2 0.00000 0 403 - 0.00000 - - 1s 706 99 0.00000 22 222 - 0.00000 - 71.9 5s 714 105 0.00000 16 279 - 0.00000 - 71.1 10s 1349 217 0.00000 31 248 - 0.00000 - 124 15s 2110 286 infeasible 34 - 0.00000 - 129 20s 2899 401 infeasible 31 - 0.00000 - 129 25s 3670 470 infeasible 35 - 0.00000 - 130 30s 4411 489 infeasible 32 - 0.00000 - 131 35s 5144 538 0.00000 33 239 - 0.00000 - 132 40s * 5251 3 28 0.0000000 0.00000 0.0% 132 40s Cutting planes: Zero half: 2 Explored 5252 nodes (706292 simplex iterations) in 40.70 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:07:36 2012 Optimize a model with 1466 rows, 970 columns and 4240 nonzeros Presolve removed 158 rows and 158 columns Presolve time: 0.00s Presolved: 1308 rows, 812 columns, 3924 nonzeros Variable types: 0 continuous, 812 integer (812 binary) Root relaxation: objective 0.000000e+00, 169 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 158 - 0.00000 - - 0s Explored 0 nodes (680 simplex iterations) in 0.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: 2 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:07:36 2012 Optimize a model with 2120 rows, 1128 columns and 6360 nonzeros Presolve time: 0.01s Presolved: 2120 rows, 1128 columns, 6360 nonzeros Variable types: 0 continuous, 1128 integer (1128 binary) Root relaxation: objective 0.000000e+00, 360 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 441 - 0.00000 - - 0s 0 0 0.00000 0 409 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 426 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 3s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 2 0.00000 0 400 - 0.00000 - - 3s Cutting planes: Zero half: 16 Explored 3 nodes (26813 simplex iterations) in 3.77 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4