ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Sat May 23 23:26:07 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         450117 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4869
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__secret.18.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             3016983
ramon: poll                 wall=1.000s usage=0.964s user=0.907s sys=0.057s mem=57356KiB roottime=0.000s load=0.96 rootload=0.00
ramon: end                  Sat May 23 23:26:09 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.010s
ramon: group.total          1.571s
ramon: group.utime          1.491s
ramon: group.stime          0.080s
ramon: group.mempeak        67084KiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             1.607s
ramon: loadavg              0.98
