ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Sat May 23 23:26:06 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         457203 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4636
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__monitor.10.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             3005969
ramon: poll                 wall=1.000s usage=0.860s user=0.820s sys=0.040s mem=46640KiB roottime=0.000s load=0.86 rootload=0.00
ramon: poll                 wall=2.000s usage=1.859s user=1.739s sys=0.120s mem=122MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.859s user=2.682s sys=0.177s mem=148MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.859s user=3.680s sys=0.179s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.858s user=4.657s sys=0.201s mem=152MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.858s user=5.641s sys=0.217s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.858s user=6.630s sys=0.228s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.858s user=7.608s sys=0.250s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.858s user=8.606s sys=0.252s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.858s user=9.606s sys=0.252s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.858s user=10.606s sys=0.252s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.858s user=11.606s sys=0.252s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.858s user=12.579s sys=0.279s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.857s user=13.577s sys=0.281s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.857s user=14.575s sys=0.282s mem=171MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.857s user=15.575s sys=0.282s mem=172MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.857s user=16.572s sys=0.285s mem=173MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.857s user=17.572s sys=0.285s mem=174MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.857s user=18.572s sys=0.285s mem=174MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.857s user=19.571s sys=0.286s mem=174MiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Sat May 23 23:26:26 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.030s
ramon: group.total          20.023s
ramon: group.utime          19.717s
ramon: group.stime          0.306s
ramon: group.mempeak        175MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.165s
ramon: loadavg              0.99
