cwd             /home/ghrunner/actions-runner/_work/bench/bench
start           Tue May 19 22:55:20 2026
nproc           256
sys.mem         515496 MiB
sys.mem.free    454764 MiB
sys.mem.avail   513990 MiB
sys.nprocs      4628
argv            0 = timeout
argv            1 = -k
argv            2 = 10
argv            3 = 80
argv            4 = z3
argv            5 = /home/ghrunner/actions-runner/_work/bench/bench/download/non-incremental/UFDTNIA/20241211-verus/verismo/security__secret.18.smt2
argv            6 = -T:20
childpid        2653050
poll            wall=1.000s usage=0.989s user=0.936s sys=0.053s mem=61892KiB roottime=0.000s load=0.99 rootload=0.00
end             Tue May 19 22:55:22 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.010s
group.total     1.459s
group.utime     1.390s
group.stime     0.069s
group.mempeak   67012KiB
group.pidpeak   3
status          exited
exitcode        0
walltime        1.470s
loadavg         0.99
