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    455151 MiB
sys.mem.avail   513990 MiB
sys.nprocs      4621
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__mem.37.smt2
argv            6 = -T:20
childpid        2650075
poll            wall=1.000s usage=0.996s user=0.924s sys=0.072s mem=89636KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=2.000s usage=1.996s user=1.888s sys=0.108s mem=127MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.996s user=2.832s sys=0.164s mem=134MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.996s user=3.830s sys=0.166s mem=134MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.996s user=4.740s sys=0.256s mem=136MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.996s user=5.670s sys=0.326s mem=136MiB roottime=0.000s load=1.00 rootload=0.00
end             Tue May 19 22:55:26 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.000s
group.total     6.411s
group.utime     6.028s
group.stime     0.383s
group.mempeak   136MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        6.415s
loadavg         1.00
