Parallel branch and cut for capacitated vehicle routingSYMPHONY: A Parallel Framework for Branch and Cut. White paper