ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Sat May 23 23:20:18 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         453543 MiB
ramon: sys.mem.avail        513628 MiB
ramon: sys.nprocs           4382
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/UFDTLIA/20241211-verus/splinterdb/abstract_system__MsgHistory_v.26.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             2676294
ramon: end                  Sat May 23 23:20:18 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.000s
ramon: group.total          0.042s
ramon: group.utime          0.027s
ramon: group.stime          0.015s
ramon: group.mempeak        21652KiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             0.161s
ramon: loadavg              0.26
