Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 2012-02-25 05:23:35 -0500

joq gravatar image

You can add a --format= option to your time prefix, with a printf()-style formatting string.

See "man time" for the details.

You can add a --format= option to your time prefix, with a printf()-style formatting string.

See "man time" for the details.

EDIT:

Launch the nodes with different prefix arguments, like this (untested):

launch-prefix = "/usr/bin/time --format='node1: %E sec, %P'"
launch-prefix = "/usr/bin/time --format='node2: %E sec, %P'"