ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Tue May 19 22:55:20 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         454759 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4634
ramon: argv                 0 = timeout
ramon: argv                 1 = -k
ramon: argv                 2 = 10
ramon: argv                 3 = 80
ramon: argv                 4 = z3
ramon: argv                 5 = /home/ghrunner/actions-runner/_work/bench/bench/download/non-incremental/UFDTNIA/20241211-verus/verismo/security__mem.38.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2652867
ramon: poll                 wall=1.000s usage=0.956s user=0.898s sys=0.058s mem=73492KiB roottime=0.000s load=0.96 rootload=0.00
ramon: poll                 wall=2.000s usage=1.956s user=1.838s sys=0.118s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.955s user=2.804s sys=0.151s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.955s user=3.774s sys=0.181s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.955s user=4.736s sys=0.219s mem=196MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.955s user=5.696s sys=0.259s mem=264MiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Tue May 19 22:55:26 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.000s
ramon: group.total          6.401s
ramon: group.utime          6.079s
ramon: group.stime          0.322s
ramon: group.mempeak        264MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             6.446s
ramon: loadavg              0.99
