user: 003.927 s
sys:  000.472 s
wall: 003.265 s
child_RSS_high:     548996 KiB
group_mem_high:     525416 KiB