2#########################
10#########################
13/profiler/run/enable true
14/profiler/event/enable true
15/profiler/track/enable true
16/profiler/step/enable false
18/profiler/run/components wall_clock cpu_clock peak_rss
19/profiler/event/components wall_clock cpu_clock peak_rss
20/profiler/track/components wall_clock
21/profiler/step/components wall_clock
23/profiler/per_thread false
24/profiler/per_event false
26/profiler/output/dart true
27/profiler/output/text true
28/profiler/output/json false
29/profiler/output/cout false
33/profiler/timeline false
35##########################
38/random/setDirectoryName run_random_seed_info
39/random/setSavingFlag 1
40/random/saveEachEventFlag 0
42##########################
43# Initialisation procedure