cwd             /home/ghrunner/actions-runner/_work/bench/bench
start           Sun May 24 07:52:00 2026
nproc           256
sys.mem         515496 MiB
sys.mem.free    460581 MiB
sys.mem.avail   513608 MiB
sys.nprocs      4008
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
argv            7 = -v:2
argv            8 = -st
argv            9 = tactic.default_tactic=(then simplify propagate-values solve-eqs simplify sls-smt)
argv            10 = model_validate=true
childpid        3065704
end             Sun May 24 07:52:00 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.020s
group.total     0.280s
group.utime     0.247s
group.stime     0.033s
group.mempeak   27740KiB
group.pidpeak   3
status          exited
exitcode        0
walltime        0.335s
loadavg         0.84
