time_limit = inf
objective_bound = -inf
objective_target = +inf