Sanity check for separation sites.
ILP-based local clustering with COIN-OR (Cbc, Clp).