One traditional way to speed up search like this is to THROW MORE CORES AT THE PROBLEM.
One traditional way to speed up search like this is to THROW MORE CORES AT THE PROBLEM.