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           4258
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.12.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2638926
ramon: poll                 wall=1.001s usage=0.932s user=0.886s sys=0.046s mem=61948KiB roottime=0.000s load=0.93 rootload=0.00
ramon: poll                 wall=2.000s usage=1.931s user=1.827s sys=0.104s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.931s user=2.792s sys=0.139s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.931s user=3.792s sys=0.139s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.930s user=4.774s sys=0.156s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.930s user=5.774s sys=0.156s mem=114MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.930s user=6.759s sys=0.171s mem=114MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.930s user=7.752s sys=0.178s mem=118MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.930s user=8.727s sys=0.203s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.930s user=9.727s sys=0.203s mem=151MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.930s user=10.724s sys=0.206s mem=151MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.930s user=11.717s sys=0.213s mem=163MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.930s user=12.685s sys=0.245s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.930s user=13.685s sys=0.245s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.930s user=14.682s sys=0.248s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.930s user=15.682s sys=0.248s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.930s user=16.681s sys=0.249s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.930s user=17.602s sys=0.328s mem=279MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.930s user=18.601s sys=0.329s mem=279MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.930s user=19.601s sys=0.329s mem=279MiB 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.033s
ramon: group.utime          19.674s
ramon: group.stime          0.359s
ramon: group.mempeak        280MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.103s
ramon: loadavg              1.00
