user: 003.956 s
sys:  000.579 s
wall: 003.497 s
child_RSS_high:     556828 KiB
group_mem_high:     533120 KiB