Time limits are hard when running on a cluster. On SLURM-systems, a running job is sent SIGTERM ahead of the SIGKILL that terminates the job. It would be good if JPRIME could catch a SIGTERM and exit safely to avoid ending with a half-written line in the output trace.
Time limits are hard when running on a cluster. On SLURM-systems, a running job is sent SIGTERM ahead of the SIGKILL that terminates the job. It would be good if JPRIME could catch a SIGTERM and exit safely to avoid ending with a half-written line in the output trace.