import json, resource, subprocess, sys, time
start = time.monotonic()
result = subprocess.run(sys.argv[2:])
usage = resource.getrusage(resource.RUSAGE_CHILDREN)
with open(sys.argv[1], "w") as output:
    json.dump(dict(elapsed_seconds=time.monotonic()-start, max_rss_kib=usage.ru_maxrss, exit_code=result.returncode), output, indent=2)
sys.exit(result.returncode)