ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Tue May 19 22:55:19 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         459232 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4407
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: childpid             2640459
ramon: poll                 wall=1.000s usage=0.984s user=0.955s sys=0.029s mem=28240KiB roottime=0.000s load=0.98 rootload=0.00
ramon: poll                 wall=2.000s usage=1.983s user=1.872s sys=0.111s mem=121MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.983s user=2.827s sys=0.156s mem=148MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.983s user=3.825s sys=0.158s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.983s user=4.803s sys=0.180s mem=152MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.983s user=5.779s sys=0.204s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.983s user=6.747s sys=0.236s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.983s user=7.742s sys=0.241s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.983s user=8.741s sys=0.242s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.983s user=9.741s sys=0.242s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.982s user=10.740s sys=0.242s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.982s user=11.740s sys=0.242s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.982s user=12.717s sys=0.265s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.982s user=13.713s sys=0.269s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.982s user=14.711s sys=0.271s mem=171MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.982s user=15.711s sys=0.271s mem=171MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.982s user=16.710s sys=0.272s mem=173MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.982s user=17.709s sys=0.273s mem=174MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.982s user=18.709s sys=0.273s mem=174MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.982s user=19.709s sys=0.273s mem=175MiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Tue May 19 22:55:39 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.010s
ramon: group.total          20.022s
ramon: group.utime          19.731s
ramon: group.stime          0.291s
ramon: group.mempeak        175MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.039s
ramon: loadavg              1.00
