current bounds on the number of colors: 0 -- 159 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:04 2012 Optimize a model with 52931 rows, 13229 columns and 170877 nonzeros Presolve time: 0.17s Presolved: 52931 rows, 13229 columns, 170877 nonzeros Variable types: 0 continuous, 13229 integer (13229 binary) Root relaxation: objective 0.000000e+00, 611 iterations, 0.06 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 (953 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:05 2012 Optimize a model with 26211 rows, 6869 columns and 84357 nonzeros Presolve time: 0.13s Presolved: 26211 rows, 6869 columns, 84357 nonzeros Variable types: 0 continuous, 6869 integer (6869 binary) Root relaxation: objective 0.000000e+00, 403 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 (733 simplex iterations) in 0.18 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:05 2012 Optimize a model with 12851 rows, 3689 columns and 41097 nonzeros Presolve time: 0.05s Presolved: 12851 rows, 3689 columns, 41097 nonzeros Variable types: 0 continuous, 3689 integer (3689 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 (660 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:06 2012 Optimize a model with 6171 rows, 2099 columns and 19467 nonzeros Presolve time: 0.02s Presolved: 6171 rows, 2099 columns, 19467 nonzeros Variable types: 0 continuous, 2099 integer (2099 binary) Root relaxation: objective 0.000000e+00, 344 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 (623 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:06 2012 Optimize a model with 2831 rows, 1304 columns and 8652 nonzeros Presolve time: 0.01s Presolved: 2831 rows, 1304 columns, 8652 nonzeros Variable types: 0 continuous, 1304 integer (1304 binary) Root relaxation: objective 0.000000e+00, 359 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 292 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 250 - 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 236 - 0.00000 - - 2s 0 0 0.00000 0 237 - 0.00000 - - 2s 0 0 0.00000 0 245 - 0.00000 - - 2s 0 0 0.00000 0 245 - 0.00000 - - 2s 0 2 0.00000 0 245 - 0.00000 - - 2s 729 16 0.00000 16 265 - 0.00000 - 66.6 5s 1208 29 0.00000 3 310 - 0.00000 - 73.1 10s 1213 32 0.00000 3 304 - 0.00000 - 72.8 15s 1502 27 0.00000 26 279 - 0.00000 - 109 20s 2104 51 0.00000 23 271 - 0.00000 - 124 25s 2667 28 0.00000 24 240 - 0.00000 - 133 30s 3243 10 infeasible 29 - 0.00000 - 138 35s 3708 1 infeasible 27 - 0.00000 - 145 40s Cutting planes: Gomory: 2 Zero half: 9 Explored 3754 nodes (573087 simplex iterations) in 40.42 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:46 2012 Optimize a model with 4167 rows, 1622 columns and 12978 nonzeros Presolve time: 0.01s Presolved: 4167 rows, 1622 columns, 12978 nonzeros Variable types: 0 continuous, 1622 integer (1622 binary) Root relaxation: objective 0.000000e+00, 355 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 (1051 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:12:46 2012 Optimize a model with 3499 rows, 1463 columns and 10815 nonzeros Presolve time: 0.01s Presolved: 3499 rows, 1463 columns, 10815 nonzeros Variable types: 0 continuous, 1463 integer (1463 binary) Root relaxation: objective 0.000000e+00, 366 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 (1499 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% optimal solution found: number of colors: 5