cwd             /home/ghrunner/actions-runner/_work/bench/bench
start           Sat May 23 23:26:07 2026
nproc           256
sys.mem         515496 MiB
sys.mem.free    450113 MiB
sys.mem.avail   513627 MiB
sys.nprocs      4867
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.38.smt2
argv            6 = -T:20
argv            7 = model_validate=true
childpid        3016996
poll            wall=1.000s usage=0.938s user=0.866s sys=0.072s mem=61160KiB roottime=0.000s load=0.94 rootload=0.00
poll            wall=2.000s usage=1.938s user=1.775s sys=0.163s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.938s user=2.751s sys=0.187s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.938s user=3.743s sys=0.195s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.938s user=4.675s sys=0.263s mem=196MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.938s user=5.641s sys=0.297s mem=260MiB roottime=0.000s load=1.00 rootload=0.00
end             Sat May 23 23:26:14 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.010s
group.total     6.370s
group.utime     6.026s
group.stime     0.344s
group.mempeak   264MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        6.432s
loadavg         0.99
