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    451832 MiB
sys.mem.avail   513627 MiB
sys.nprocs      4883
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.14.smt2
argv            6 = -T:20
argv            7 = model_validate=true
childpid        3010746
poll            wall=1.000s usage=0.977s user=0.924s sys=0.053s mem=56232KiB roottime=0.000s load=0.98 rootload=0.00
poll            wall=2.000s usage=1.977s user=1.857s sys=0.120s mem=145MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.977s user=2.824s sys=0.153s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.977s user=3.824s sys=0.153s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.977s user=4.803s sys=0.174s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.977s user=5.802s sys=0.175s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=7.000s usage=6.976s user=6.770s sys=0.207s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=8.000s usage=7.976s user=7.769s sys=0.207s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=9.000s usage=8.976s user=8.768s sys=0.208s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=10.000s usage=9.976s user=9.767s sys=0.209s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=11.000s usage=10.976s user=10.767s sys=0.209s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=12.000s usage=11.976s user=11.766s sys=0.210s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=13.000s usage=12.976s user=12.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=14.000s usage=13.976s user=13.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=15.000s usage=14.976s user=14.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=16.000s usage=15.976s user=15.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=17.000s usage=16.976s user=16.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=18.000s usage=17.976s user=17.735s sys=0.241s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=19.000s usage=18.976s user=18.734s sys=0.242s mem=180MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=20.000s usage=19.976s user=19.734s sys=0.242s mem=180MiB roottime=0.000s load=1.00 rootload=0.00
end             Sat May 23 23:26:27 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.000s
group.total     20.024s
group.utime     19.763s
group.stime     0.261s
group.mempeak   180MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        20.048s
loadavg         1.00
