current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:47 2012 Optimize a model with 14019 rows, 15039 columns and 56416 nonzeros Presolve removed 28 rows and 2408 columns Presolve time: 0.11s Presolved: 13991 rows, 12631 columns, 54008 nonzeros Variable types: 0 continuous, 12631 integer (12631 binary) Root relaxation: objective 0.000000e+00, 258 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 (374 simplex iterations) in 0.14 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 -- 86 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:47 2012 Optimize a model with 7096 rows, 7600 columns and 28208 nonzeros Presolve removed 28 rows and 1204 columns Presolve time: 0.06s Presolved: 7068 rows, 6396 columns, 27004 nonzeros Variable types: 0 continuous, 6396 integer (6396 binary) Root relaxation: objective 0.000000e+00, 258 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 (369 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 -- 43 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:47 2012 Optimize a model with 3554 rows, 3794 columns and 13776 nonzeros Presolve removed 28 rows and 588 columns Presolve time: 0.02s Presolved: 3526 rows, 3206 columns, 13188 nonzeros Variable types: 0 continuous, 3206 integer (3206 binary) Root relaxation: objective 0.000000e+00, 259 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 (378 simplex iterations) in 0.03 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 -- 21 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:47 2012 Optimize a model with 1783 rows, 1891 columns and 6560 nonzeros Presolve removed 28 rows and 280 columns Presolve time: 0.01s Presolved: 1755 rows, 1611 columns, 6280 nonzeros Variable types: 0 continuous, 1611 integer (1611 binary) Root relaxation: objective 0.000000e+00, 264 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 (389 simplex iterations) in 0.01 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 Sat Dec 15 16:23:47 2012 Optimize a model with 978 rows, 1026 columns and 3280 nonzeros Presolve removed 28 rows and 140 columns Presolve time: 0.00s Presolved: 950 rows, 886 columns, 3140 nonzeros Variable types: 0 continuous, 886 integer (886 binary) Root relaxation: objective 0.000000e+00, 239 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 (239 simplex iterations) in 0.00 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 Sat Dec 15 16:23:47 2012 Optimize a model with 495 rows, 507 columns and 1312 nonzeros Presolve removed 183 rows and 216 columns Presolve time: 0.00s Presolved: 312 rows, 291 columns, 936 nonzeros Variable types: 0 continuous, 291 integer (291 binary) Root relaxation: objective 0.000000e+00, 150 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 135 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (497 simplex iterations) in 0.01 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 Sat Dec 15 16:23:47 2012 Optimize a model with 656 rows, 680 columns and 1968 nonzeros Presolve removed 28 rows and 84 columns Presolve time: 0.00s Presolved: 628 rows, 596 columns, 1884 nonzeros Variable types: 0 continuous, 596 integer (596 binary) Root relaxation: objective 0.000000e+00, 256 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 (351 simplex iterations) in 0.00 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: 3