Resolve "When killed by slurm due to walltime, not dumping data"

Andrea Monterubbianorequested to merge
2-when-killed-by-slurm-due-to-walltime-not-dumping-data into master

Closes #2 (closed)

Merge request reports