current bounds on the number of colors: 0 -- 164 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:51:59 2012 Optimize a model with 55022 rows, 14117 columns and 178022 nonzeros Presolve removed 1 rows and 82 columns Presolve time: 0.16s Presolved: 55021 rows, 14035 columns, 177940 nonzeros Variable types: 0 continuous, 14035 integer (14035 binary) Root relaxation: objective 0.000000e+00, 565 iterations, 0.04 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 (913 simplex iterations) in 0.29 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 19:52:00 2012 Optimize a model with 27593 rows, 7393 columns and 89011 nonzeros Presolve removed 1 rows and 41 columns Presolve time: 0.14s Presolved: 27592 rows, 7352 columns, 88970 nonzeros Variable types: 0 continuous, 7352 integer (7352 binary) Root relaxation: objective 0.000000e+00, 413 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 (715 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:01 2012 Optimize a model with 13544 rows, 3949 columns and 43420 nonzeros Presolve removed 1 rows and 20 columns Presolve time: 0.05s Presolved: 13543 rows, 3929 columns, 43400 nonzeros Variable types: 0 continuous, 3929 integer (3929 binary) Root relaxation: objective 0.000000e+00, 332 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 (810 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:01 2012 Optimize a model with 6854 rows, 2309 columns and 21710 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.02s Presolved: 6853 rows, 2299 columns, 21700 nonzeros Variable types: 0 continuous, 2299 integer (2299 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (640 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 19:52:01 2012 Optimize a model with 3509 rows, 1489 columns and 10855 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 3508 rows, 1484 columns, 10850 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 374 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 (1130 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:52:01 2012 Optimize a model with 1502 rows, 997 columns and 4342 nonzeros Presolve removed 164 rows and 165 columns Presolve time: 0.00s Presolved: 1338 rows, 832 columns, 4014 nonzeros Variable types: 0 continuous, 832 integer (832 binary) Root relaxation: objective 0.000000e+00, 173 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 163 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (704 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 19:52:01 2012 Optimize a model with 2171 rows, 1161 columns and 6513 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2170 rows, 1158 columns, 6510 nonzeros Variable types: 0 continuous, 1158 integer (1158 binary) Root relaxation: objective 0.000000e+00, 399 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 318 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 0s 0 0 0.00000 0 451 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Zero half: 457 Explored 0 nodes (6907 simplex iterations) in 0.75 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 19:52:02 2012 Optimize a model with 2840 rows, 1325 columns and 8684 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 2839 rows, 1321 columns, 8680 nonzeros Variable types: 0 continuous, 1321 integer (1321 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.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 275 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 0 0.00000 0 257 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 2s 0 0 0.00000 0 206 - 0.00000 - - 2s 0 0 0.00000 0 204 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 3s 0 2 0.00000 0 206 - 0.00000 - - 3s 475 126 0.00000 22 170 - 0.00000 - 75.0 5s 611 149 0.00000 18 382 - 0.00000 - 74.1 10s * 778 88 29 0.0000000 0.00000 0.0% 116 12s Cutting planes: Gomory: 2 Clique: 2 Zero half: 12 Explored 779 nodes (129392 simplex iterations) in 12.22 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