Ortools CP-SAT 求解器在 num_search_workers ≥ 8 时出现启动后立即冻结的问题，源于 v9.11.4210 版本中多线程调度与对称性检测模块的竞态缺陷；升级至后续版本（如 v9.12+）可彻底解决，无需修改模型逻辑。
ortools cp-sat 求解器在 `num_search_workers ≥ 8` 时出现启动后立即冻结的问题，源于 v9.11.4210 版本中多线程调度与对称性检测模块的竞态缺陷；升级至后续版本（如 v9.12+）可彻底解决，无需修改模型逻辑。
在使用 OR-Tools 的 CP-SAT 求解器进行大规模约束满足问题（如 N 皇后）求解时，启用多工作线程（num_search_workers）是加速搜索的常用手段。然而，在 OR-Tools v9.11.4210 及部分早期 v9.11.x 版本中，当 num_search_workers ≥ 8 时，求解器常在完成预处理（presolve）后、刚进入主搜索阶段即无响应——表现为日志停在 #Model 0.11s var:59/60 constraints:114/114 后不再推进，CPU 占用停滞，程序无限挂起。
该问题并非模型建模错误所致。以经典的 8 皇后问题为例：
from ortools.sat.python import cp_model
n = 8
model = cp_model.CpModel()
queens = [model.NewIntVar(0, n - 1, f"queen_{i}") for i in range(n)]
# 列约束
model.AddAllDifferent(queens)
# 对角线约束
for i in range(n):
for j in range(i + 1, n):
model.Add(queens[i] - queens[j] != i - j)
model.Add(queens[i] - queens[j] != j - i)
solver = cp_model.CpSolver()
solver.parameters.max_time_in_seconds = 10
solver.parameters.log_search_progress = True
solver.parameters.num_search_workers = 8 # ← 触发冻结的关键参数
status = solver.Solve(model) # 此处永久阻塞
尽管模型逻辑完全正确（且在 workers 时运行正常），但 v9.11.4210 中存在一个已知的底层并发缺陷：<strong>对称性检测（Symmetry Detection）模块与多线程搜索初始化存在资源争用或同步等待超时，尤其在 worker 数量达到 8 及以上时，触发了特定条件下的死锁路径</strong>。日志中显示 <code>[Symmetry] #generators: 1, average support size: 72 等信息后停滞，正是该模块未能正常释放控制权的典型表现。
✅ 根本解决方案：升级 OR-Tools
该问题已在后续版本中修复。官方确认，v9.12 及更高版本（如 v9.13、v10.x）已彻底解决此冻结行为。升级后，相同代码可稳定启用 8+ 工作线程，并输出完整搜索统计（如 Starting search at 0.00s with 8 workers 及各子求解器耗时分析），求解效率显著提升。
升级命令：
pip install --upgrade ortools # 或指定最新稳定版 pip install ortools==9.13.4290 # 示例版本号，请以 PyPI 最新为准
⚠️ 临时规避方案（不推荐长期使用）
若因环境限制暂无法升级，可采取以下折中方式：
- 将
num_search_workers设为7或更低（实测≤7均稳定）； - 显式禁用对称性检测（仅适用于确定无对称结构的模型）：
solver.parameters.cp_model_presolve = False # 关闭预处理（含对称性） # 或更精细地（需 OR-Tools ≥ v9.12） solver.parameters.symmetry_level = 0
⚠️ 注意：关闭预处理可能降低求解效率，且不能保证在所有场景下规避冻结。
? 最佳实践建议
- 始终通过
pip show ortools确认当前版本，并优先使用 OR-Tools 官方发布页 推荐的稳定版； - 在生产环境部署前，对
num_search_workers进行压力测试（如 1/4/8/16），验证版本兼容性； - 开启
log_search_progress=True并结合max_time_in_seconds，便于快速识别异常挂起。
该问题凸显了约束求解器底层并发实现的复杂性——即使模型本身简洁正确，运行时环境与库版本的细微差异也可能导致严重稳定性问题。及时更新依赖、关注官方 release notes，是保障 CP-SAT 高效稳定运行的关键。
