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    460535 MiB
sys.mem.avail   513990 MiB
sys.nprocs      4268
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.24.smt2
argv            6 = -T:20
childpid        2638954
poll            wall=1.000s usage=0.954s user=0.895s sys=0.059s mem=56232KiB roottime=0.000s load=0.95 rootload=0.00
poll            wall=2.000s usage=1.952s user=1.869s sys=0.083s mem=84136KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.953s user=2.852s sys=0.101s mem=84392KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.953s user=3.849s sys=0.104s mem=85160KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.952s user=4.831s sys=0.121s mem=85928KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.952s user=5.829s sys=0.123s mem=85968KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=7.000s usage=6.951s user=6.813s sys=0.138s mem=92112KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=8.000s usage=7.951s user=7.795s sys=0.156s mem=112MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=9.000s usage=8.951s user=8.794s sys=0.157s mem=112MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=10.000s usage=9.951s user=9.778s sys=0.173s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=11.000s usage=10.951s user=10.778s sys=0.173s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=12.000s usage=11.951s user=11.777s sys=0.174s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=13.000s usage=12.951s user=12.768s sys=0.183s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=14.000s usage=13.951s user=13.763s sys=0.188s mem=142MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=15.000s usage=14.951s user=14.763s sys=0.188s mem=142MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=16.000s usage=15.951s user=15.762s sys=0.189s mem=142MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=17.000s usage=16.951s user=16.761s sys=0.190s mem=143MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=18.000s usage=17.950s user=17.757s sys=0.194s mem=148MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=19.000s usage=18.950s user=18.751s sys=0.199s mem=153MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=20.000s usage=19.950s user=19.751s sys=0.199s mem=153MiB 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.019s
group.utime     19.802s
group.stime     0.217s
group.mempeak   153MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        20.068s
loadavg         1.00
