cwd             /home/ghrunner/actions-runner/_work/bench/bench
start           Tue May 19 22:55:18 2026
nproc           256
sys.mem         515496 MiB
sys.mem.free    460542 MiB
sys.mem.avail   513990 MiB
sys.nprocs      4252
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.13.smt2
argv            6 = -T:20
childpid        2638919
poll            wall=1.000s usage=0.954s user=0.914s sys=0.040s mem=44312KiB roottime=0.000s load=0.95 rootload=0.00
poll            wall=2.000s usage=1.953s user=1.895s sys=0.058s mem=67732KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.953s user=2.876s sys=0.077s mem=71932KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.953s user=3.865s sys=0.088s mem=83964KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.953s user=4.842s sys=0.111s mem=94204KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.953s user=5.821s sys=0.132s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=7.000s usage=6.953s user=6.801s sys=0.152s mem=132MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=8.000s usage=7.953s user=7.781s sys=0.172s mem=162MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=9.000s usage=8.953s user=8.775s sys=0.178s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=10.000s usage=9.953s user=9.774s sys=0.179s mem=172MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=11.000s usage=10.953s user=10.766s sys=0.187s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=12.000s usage=11.952s user=11.750s sys=0.202s mem=197MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=13.000s usage=12.952s user=12.668s sys=0.284s mem=248MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=14.000s usage=13.952s user=13.663s sys=0.289s mem=256MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=15.000s usage=14.952s user=14.660s sys=0.292s mem=261MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=16.000s usage=15.952s user=15.646s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=17.000s usage=16.952s user=16.646s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=18.000s usage=17.952s user=17.645s sys=0.307s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=19.000s usage=18.952s user=18.644s sys=0.308s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=20.000s usage=19.952s user=19.644s sys=0.308s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
end             Tue May 19 22:55:38 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.000s
group.total     20.031s
group.utime     19.695s
group.stime     0.336s
group.mempeak   274MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        20.079s
loadavg         1.00
