Experiments with a multi-commodity formulation for the Symmetric Capacitated Vehicle Routing Problem