Bounding, Filtering and Diversification in CP-based Local Branching AI Group UNIBO Tree and local search Hybrid Optimization