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         454806 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4820
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.15.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             3006423
ramon: poll                 wall=1.000s usage=0.996s user=0.958s sys=0.038s mem=56384KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=2.000s usage=1.996s user=1.935s sys=0.061s mem=89152KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.996s user=2.914s sys=0.082s mem=89632KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.995s user=3.912s sys=0.083s mem=89632KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.995s user=4.897s sys=0.098s mem=90144KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.995s user=5.875s sys=0.120s mem=108MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.995s user=6.841s sys=0.154s mem=146MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.995s user=7.830s sys=0.165s mem=159MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.995s user=8.825s sys=0.170s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.995s user=9.824s sys=0.171s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.995s user=10.824s sys=0.171s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.995s user=11.810s sys=0.185s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.995s user=12.778s sys=0.217s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.995s user=13.777s sys=0.218s mem=185MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.995s user=14.776s sys=0.219s mem=185MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.994s user=15.770s sys=0.225s mem=193MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.994s user=16.759s sys=0.235s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.994s user=17.759s sys=0.235s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.994s user=18.758s sys=0.236s mem=201MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.994s user=19.758s sys=0.236s mem=201MiB 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.000s
ramon: group.total          20.027s
ramon: group.utime          19.767s
ramon: group.stime          0.260s
ramon: group.mempeak        201MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.032s
ramon: loadavg              1.00
