Towards Generic Scalable Parallel Combinatorial Search