如何在docplex中异步中止求解？

from docplex.mp.model import Model

# 创建模型
model = Model(name='my_model')

# 定义变量和约束
x = model.integer_var(name='x')
y = model.integer_var(name='y')
model.add_constraint(x + y <= 10)

# 定义目标函数
model.maximize(x + 2*y)

# 求解器设置
solver = model.get_solver()
solver.parameters.timelimit = 10  # 设置求解时间限制为10秒

# 异步中止求解
solver.abort()

# 求解模型
solution = model.solve()

# 打印结果
print(solution)