What version of OR-Tools and what language are you using?
Version: main/v9.13
Language: Java 11

Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)
CP-SAT

What operating system (Linux, Windows, ...) and version?
debian 12

What did you do?
Steps to reproduce the behavior:

1. Ran Solver with callback (can provide additional information about solver in private message)
2. See several feasible results
3. Error during solve (solve does not complete and throws exception)

What did you expect to see
Successful solve (is successful with 9.12)

What did you see instead?
C [libortools.so.9+0x1012867] operations_research::sat::ComputeMinSumOfWeightedEndMins(absl::lts_20250512::Span<operations_research::sat::CompletionTimeEvent const>, operations_research::StrongInt64<operations_research::sat::IntegerValue_integer_tag_>, double, double, operations_research::sat::CtExhaustiveHelper&, double&, double&, bool&, int&)+0x1c7

Make sure you include information that can help us debug (full error message, model Proto).

Anything else we should know about your project / environment
Running using distroless java 17 base image, containerized in ECS