current bounds on the number of colors: 0 -- 165 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:12 2012 Optimize a model with 55679 rows, 14207 columns and 180072 nonzeros Presolve removed 1 rows and 82 columns Presolve time: 0.17s Presolved: 55678 rows, 14125 columns, 179990 nonzeros Variable types: 0 continuous, 14125 integer (14125 binary) Root relaxation: objective 0.000000e+00, 610 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 (948 simplex iterations) in 0.30 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:13 2012 Optimize a model with 27922 rows, 7442 columns and 90036 nonzeros Presolve removed 1 rows and 41 columns Presolve time: 0.13s Presolved: 27921 rows, 7401 columns, 89995 nonzeros Variable types: 0 continuous, 7401 integer (7401 binary) Root relaxation: objective 0.000000e+00, 517 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 (887 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:13 2012 Optimize a model with 13705 rows, 3977 columns and 43920 nonzeros Presolve removed 1 rows and 20 columns Presolve time: 0.05s Presolved: 13704 rows, 3957 columns, 43900 nonzeros Variable types: 0 continuous, 3957 integer (3957 binary) Root relaxation: objective 0.000000e+00, 338 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 (640 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:14 2012 Optimize a model with 6935 rows, 2327 columns and 21960 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.02s Presolved: 6934 rows, 2317 columns, 21950 nonzeros Variable types: 0 continuous, 2317 integer (2317 binary) Root relaxation: objective 0.000000e+00, 350 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 (628 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:14 2012 Optimize a model with 3550 rows, 1502 columns and 10980 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 3549 rows, 1497 columns, 10975 nonzeros Variable types: 0 continuous, 1497 integer (1497 binary) Root relaxation: objective 0.000000e+00, 354 iterations, 0.00 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 (1864 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:14 2012 Optimize a model with 1519 rows, 1007 columns and 4392 nonzeros Presolve removed 165 rows and 166 columns Presolve time: 0.00s Presolved: 1354 rows, 841 columns, 4062 nonzeros Variable types: 0 continuous, 841 integer (841 binary) Root relaxation: objective 0.000000e+00, 170 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 164 - 0.00000 - - 0s Explored 0 nodes (736 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:14 2012 Optimize a model with 2196 rows, 1172 columns and 6588 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2195 rows, 1169 columns, 6585 nonzeros Variable types: 0 continuous, 1169 integer (1169 binary) Root relaxation: objective 0.000000e+00, 358 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 324 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 453 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 25 Zero half: 190 Explored 0 nodes (6185 simplex iterations) in 0.65 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:01:15 2012 Optimize a model with 2873 rows, 1337 columns and 8784 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 2872 rows, 1333 columns, 8780 nonzeros Variable types: 0 continuous, 1333 integer (1333 binary) Root relaxation: objective 0.000000e+00, 382 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 310 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 321 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 2 0.00000 0 360 - 0.00000 - - 2s 601 142 0.00000 29 310 - 0.00000 - 77.5 5s 612 149 0.00000 22 358 - 0.00000 - 76.1 10s 618 153 0.00000 13 280 - 0.00000 - 75.4 15s 1088 115 infeasible 32 - 0.00000 - 150 20s 1801 156 infeasible 35 - 0.00000 - 147 25s * 2421 0 27 0.0000000 0.00000 0.0% 144 29s Cutting planes: Zero half: 10 Explored 2422 nodes (370783 simplex iterations) in 29.24 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: 4