COIN-OR CBC made distributed