fixed
Infeasible solution! source: 'fixed [hint]'
absl::container_internal::raw_hash_map<>::at
std::bad_alloc
repr(IntVar)
IntVar.Proto()
num_search_workers >= 10
cp_model_presolve = false