current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:33 2012 Optimize a model with 28099 rows, 8445 columns and 91917 nonzeros Presolve removed 1 rows and 63 columns Presolve time: 0.14s Presolved: 28098 rows, 8382 columns, 91854 nonzeros Variable types: 0 continuous, 8382 integer (8382 binary) Root relaxation: objective 0.000000e+00, 356 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 (605 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 -- 63 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 13891 rows, 4381 columns and 45229 nonzeros Presolve removed 1 rows and 31 columns Presolve time: 0.07s Presolved: 13890 rows, 4350 columns, 45198 nonzeros Variable types: 0 continuous, 4350 integer (4350 binary) Root relaxation: objective 0.000000e+00, 304 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 (533 simplex iterations) in 0.10 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 6787 rows, 2349 columns and 21885 nonzeros Presolve removed 1 rows and 15 columns Presolve time: 0.02s Presolved: 6786 rows, 2334 columns, 21870 nonzeros Variable types: 0 continuous, 2334 integer (2334 binary) Root relaxation: objective 0.000000e+00, 259 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 (468 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 3235 rows, 1333 columns and 10213 nonzeros Presolve removed 1 rows and 7 columns Presolve time: 0.01s Presolved: 3234 rows, 1326 columns, 10206 nonzeros Variable types: 0 continuous, 1326 integer (1326 binary) Root relaxation: objective 0.000000e+00, 277 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 (502 simplex iterations) in 0.02 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 1459 rows, 825 columns and 4377 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 1458 rows, 822 columns, 4374 nonzeros Variable types: 0 continuous, 822 integer (822 binary) Root relaxation: objective 0.000000e+00, 303 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 246 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2437 simplex iterations) in 0.16 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 2347 rows, 1079 columns and 7295 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 2346 rows, 1074 columns, 7290 nonzeros Variable types: 0 continuous, 1074 integer (1074 binary) Root relaxation: objective 0.000000e+00, 278 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 10 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1318 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:33:34 2012 Optimize a model with 1903 rows, 952 columns and 5836 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 1902 rows, 948 columns, 5832 nonzeros Variable types: 0 continuous, 948 integer (948 binary) Root relaxation: objective 0.000000e+00, 285 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 226 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3341 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% optimal solution found: number of colors: 4