Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization