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    460590 MiB
sys.mem.avail   513990 MiB
sys.nprocs      4240
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__monitor.15.smt2
argv            6 = -T:20
childpid        2638823
poll            wall=1.000s usage=0.910s user=0.853s sys=0.057s mem=56308KiB roottime=0.000s load=0.91 rootload=0.00
poll            wall=2.000s usage=1.910s user=1.830s sys=0.080s mem=89076KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.910s user=2.812s sys=0.098s mem=89588KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.910s user=3.812s sys=0.098s mem=89588KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.910s user=4.798s sys=0.112s mem=90100KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.910s user=5.774s sys=0.136s mem=107MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=7.000s usage=6.910s user=6.739s sys=0.171s mem=145MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=8.000s usage=7.910s user=7.729s sys=0.181s mem=159MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=9.000s usage=8.910s user=8.723s sys=0.187s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=10.000s usage=9.910s user=9.723s sys=0.187s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=11.000s usage=10.910s user=10.720s sys=0.190s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=12.000s usage=11.909s user=11.709s sys=0.200s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=13.000s usage=12.909s user=12.671s sys=0.238s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=14.000s usage=13.909s user=13.669s sys=0.240s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=15.000s usage=14.909s user=14.666s sys=0.243s mem=186MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=16.000s usage=15.909s user=15.650s sys=0.259s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=17.000s usage=16.909s user=16.650s sys=0.259s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=18.000s usage=17.909s user=17.650s sys=0.259s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=19.000s usage=18.909s user=18.650s sys=0.259s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=20.000s usage=19.909s user=19.649s sys=0.260s mem=201MiB 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.024s
group.utime     19.743s
group.stime     0.282s
group.mempeak   202MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        20.116s
loadavg         1.00
