Text this: On scalable parallel recursive backtracking