let factory = { name = "factory"; tmpdir = None; max_sequences_for_disk_read_ends_map = 50000; max_file_handles_for_read_ends_map = 8000; sorting_collection_size_ratio = 0.25; mem_param = None; }