added quotes for filenames; truncated remaining time (no floats supported by ulimit)
added quotes for filenames;
truncated remaining time (no floats supported by ulimit)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle