Exploiting the Power of Local Search in a Branch and Bound Algorithm for Job Shop Scheduling