changed so that max_time is the normal way to specify a budget for the search