Large upload not completing "containerised" #46
Description
I ran an upload of 26264 problems (TPTP v9.2.1). All seemed to be going well but it stopped prematurely with ...
, i.e., only 24680 problems were processed, even though the upload ended without error. I looked into "make logs-app" and extracted the lines that show each problem being processed. There are only 21741 lines, and it ends abruptly with ...
2026-01-02 19:53:52.529 [starexec-util-3] INFO org.starexec.data.database.Benchmarks - executing - /app/data/processor_scripts/3/20251226-16.36.54.470/TPTP/process "/app/data/Benchmarks/3/20260102-19.14.17.716/Problems/ANA/ANA134_1.002.008.p"
2026-01-02 19:53:52.600 [starexec-util-3] INFO org.starexec.data.database.Benchmarks - exec
I tried to download the space XML, but that provided a bad .zip file (I'll make another issue). So I downloaded the whole space and indeed there are only 24680 problems. I did a diff on the problem names, and the ones that are missing are all the problems from from the LCL domain (which is a space on StarExec). Maybe the processing gets to the last domain/space, and terminates before that last domain/space is processed?