branchbound scheduling bug fix!