current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:17 2012 Optimize a model with 13992 rows, 15645 columns and 56936 nonzeros Presolve removed 26 rows and 2288 columns Presolve time: 0.11s Presolved: 13966 rows, 13357 columns, 54648 nonzeros Variable types: 0 continuous, 13357 integer (13357 binary) Root relaxation: objective 0.000000e+00, 265 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 (265 simplex iterations) in 0.13 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 -- 88 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:18 2012 Optimize a model with 7084 rows, 7901 columns and 28468 nonzeros Presolve removed 26 rows and 1144 columns Presolve time: 0.06s Presolved: 7058 rows, 6757 columns, 27324 nonzeros Variable types: 0 continuous, 6757 integer (6757 binary) Root relaxation: objective 0.000000e+00, 267 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 (267 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:18 2012 Optimize a model with 3630 rows, 4029 columns and 14234 nonzeros Presolve removed 26 rows and 572 columns Presolve time: 0.02s Presolved: 3604 rows, 3457 columns, 13662 nonzeros Variable types: 0 continuous, 3457 integer (3457 binary) Root relaxation: objective 0.000000e+00, 269 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 (269 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:18 2012 Optimize a model with 1903 rows, 2093 columns and 7117 nonzeros Presolve removed 26 rows and 286 columns Presolve time: 0.01s Presolved: 1877 rows, 1807 columns, 6831 nonzeros Variable types: 0 continuous, 1807 integer (1807 binary) Root relaxation: objective 0.000000e+00, 273 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 (273 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:18 2012 Optimize a model with 961 rows, 1037 columns and 3235 nonzeros Presolve removed 26 rows and 130 columns Presolve time: 0.00s Presolved: 935 rows, 907 columns, 3105 nonzeros Variable types: 0 continuous, 907 integer (907 binary) Root relaxation: objective 0.000000e+00, 253 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 (253 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:24:18 2012 Optimize a model with 490 rows, 509 columns and 1294 nonzeros Presolve removed 186 rows and 217 columns Presolve time: 0.00s Presolved: 304 rows, 292 columns, 912 nonzeros Variable types: 0 continuous, 292 integer (292 binary) Root relaxation: objective 0.000000e+00, 161 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 120 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (513 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:24:18 2012 Optimize a model with 647 rows, 685 columns and 1941 nonzeros Presolve removed 26 rows and 78 columns Presolve time: 0.00s Presolved: 621 rows, 607 columns, 1863 nonzeros Variable types: 0 continuous, 607 integer (607 binary) Root relaxation: objective 0.000000e+00, 249 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 (249 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