Running commands with 'time -p' may not be compatible with all systems
Sjors reports time -p
fails in csh. -p
was used because different systems give different output formats for time
. We may have to remove the job timing if there is no way to get a consistent output from a time
command across all systems.