Zooming in on the following:
"If both a soft_walltime and a hard walltime are set, the soft_walltime will never be extended past the job’s hard walltime.
Job K has a soft_walltime=1:00:00 and a hard walltime=1:30:00
When K exceeds its soft_walltime, it would have been extended to 2:00:00. Since 2:00:00 is past its hard walltime, K is extended to 1:30:00 instead."
[Al] Going further, what happens when Job k has soft_walltime=1:30:00 and job K exceeds this limit also. Will you print a log message about not being able to extend anymore?