Add multithreading support to DefaultSolutionJudge