Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem