let max_unprocessed_split_candidates = 100000