Conference paperSolving hard stable matching problems via local search and cooperative parallelization