Parallelizing constraint solvers for hard RCPSP instances