Solving sudoku with multiprocessing