Parameters

all_timers_clock	Scope: private		STRING
Description:Which clock to use for the all timers output
Range			Default: gettimeofday
.*	any clock name allowed

before_checkpoint	Scope: private		BOOLEAN
Description:Before a checkpoint
			Default: no

n_top_timers	Scope: private		INT
Description:How many timers to include in the top timer report
Range			Default: (none)
	Do not print the report
1:*	Any number of timers

next	Scope: private		BOOLEAN
Description:On next iteration
			Default: no

out_at	Scope: private		INT
Description:Output timer information at a given iteration
Range			Default: -1
-1	Never (default)
0:*	At this iteration

out_every	Scope: private		INT
Description:How often to output timer report to screen
Range			Default: (none)
	Never (default)
1:*	Every so many iterations

out_filename	Scope: private		STRING
Description:File name for timer reports
Range			Default: (none)
^$	empty filename: print to stdout
.+$	otherwise: print to that file

output_all_timers	Scope: private		BOOLEAN
Description:Output a separate file containing all the Cactus timers
			Default: no

checkpoint_every

Scope: shared from IO

INT

out_dir

Scope: shared from IO

STRING