ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Tue May 19 22:55:18 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         460542 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4252
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.13.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2638919
ramon: poll                 wall=1.000s usage=0.954s user=0.914s sys=0.040s mem=44312KiB roottime=0.000s load=0.95 rootload=0.00
ramon: poll                 wall=2.000s usage=1.953s user=1.895s sys=0.058s mem=67732KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.953s user=2.876s sys=0.077s mem=71932KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.953s user=3.865s sys=0.088s mem=83964KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.953s user=4.842s sys=0.111s mem=94204KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.953s user=5.821s sys=0.132s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.953s user=6.801s sys=0.152s mem=132MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.953s user=7.781s sys=0.172s mem=162MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.953s user=8.775s sys=0.178s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.953s user=9.774s sys=0.179s mem=172MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.953s user=10.766s sys=0.187s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.952s user=11.750s sys=0.202s mem=197MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.952s user=12.668s sys=0.284s mem=248MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.952s user=13.663s sys=0.289s mem=256MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.952s user=14.660s sys=0.292s mem=261MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.952s user=15.646s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.952s user=16.646s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.952s user=17.645s sys=0.307s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.952s user=18.644s sys=0.308s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.952s user=19.644s sys=0.308s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Tue May 19 22:55:38 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.000s
ramon: group.total          20.031s
ramon: group.utime          19.695s
ramon: group.stime          0.336s
ramon: group.mempeak        274MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.079s
ramon: loadavg              1.00
