Beyond Data Parallelism: The Advantages of Multiple Parallelizations in Combinatorial Search