current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:16 2012 Optimize a model with 24987 rows, 8151 columns and 82336 nonzeros Presolve time: 0.12s Presolved: 24987 rows, 8151 columns, 82336 nonzeros Variable types: 0 continuous, 8151 integer (8151 binary) Root relaxation: objective 0.000000e+00, 422 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 (667 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 -- 62 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:16 2012 Optimize a model with 12556 rows, 4276 columns and 41168 nonzeros Presolve time: 0.06s Presolved: 12556 rows, 4276 columns, 41168 nonzeros Variable types: 0 continuous, 4276 integer (4276 binary) Root relaxation: objective 0.000000e+00, 312 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 (544 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:17 2012 Optimize a model with 6140 rows, 2276 columns and 19920 nonzeros Presolve time: 0.02s Presolved: 6140 rows, 2276 columns, 19920 nonzeros Variable types: 0 continuous, 2276 integer (2276 binary) Root relaxation: objective 0.000000e+00, 254 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 (450 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:17 2012 Optimize a model with 2932 rows, 1276 columns and 9296 nonzeros Presolve time: 0.01s Presolved: 2932 rows, 1276 columns, 9296 nonzeros Variable types: 0 continuous, 1276 integer (1276 binary) Root relaxation: objective 0.000000e+00, 286 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 (505 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:32:17 2012 Optimize a model with 1328 rows, 776 columns and 3984 nonzeros Presolve time: 0.00s Presolved: 1328 rows, 776 columns, 3984 nonzeros Variable types: 0 continuous, 776 integer (776 binary) Root relaxation: objective 0.000000e+00, 301 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 250 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s 0 0 0.00000 0 208 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 0s 0 0 0.00000 0 309 - 0.00000 - - 0s 0 0 0.00000 0 307 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 2 0.00000 0 314 - 0.00000 - - 1s Cutting planes: Zero half: 16 Explored 21 nodes (17330 simplex iterations) in 1.38 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:18 2012 Optimize a model with 2130 rows, 1026 columns and 6640 nonzeros Presolve time: 0.01s Presolved: 2130 rows, 1026 columns, 6640 nonzeros Variable types: 0 continuous, 1026 integer (1026 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 (801 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:32:18 2012 Optimize a model with 1729 rows, 901 columns and 5312 nonzeros Presolve time: 0.01s Presolved: 1729 rows, 901 columns, 5312 nonzeros Variable types: 0 continuous, 901 integer (901 binary) Root relaxation: objective 0.000000e+00, 301 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 (1347 simplex iterations) in 0.05 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