Segmentation fault in libgurobi130.so (13.0.1) during MIP solve — reproducible at fixed offset, invalid array index

Summary

We are experiencing deterministic segmentation faults inside Gurobi 13.0.1 when solving MIP models. The crash always occurs at the same instruction and offset in libgurobi130.so, suggesting an internal bug rather than application-level misuse. The issue is more frequent under multi-threaded and multi-instance workloads.

Environment

ItemValue

Gurobi version

13.0.1 (gurobipy)

Python

3.12.3

Ubuntu 6.8.0-101-generic, x86_64

CPU

AMD Ryzen 9 9955HX, 32 logical cores

Memory

60 GB total, ~58 GB available

NUMA

Single node

Threads

Default (auto, uses all cores)

Crash Details

Location: libgurobi130.so, offset 0x600ada+2617
Instruction: movsd (%rdi,%r15,8),%xmm5 — r15 holds invalid index causing out-of-bounds access
Reproducibility: Single instance ~3–5 min; two instances in parallel ~40 sec

What We Tried (all still crash)

Threads=8/16, OBBT=0, Method=1 (simplex), gurobi.env threads=8

Questions

Is this known in 13.0.1? Any workaround?
Parameters to avoid this path (Presolve=0, Heuristics=0, etc.)?
Should we open a support ticket with core dump and model?