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         457146 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4645
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: argv                 7 = model_validate=true
ramon: childpid             3006028
ramon: poll                 wall=1.000s usage=0.872s user=0.840s sys=0.032s mem=28548KiB roottime=0.000s load=0.87 rootload=0.00
ramon: poll                 wall=2.000s usage=1.873s user=1.765s sys=0.108s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.872s user=2.740s sys=0.132s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.872s user=3.740s sys=0.132s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.872s user=4.717s sys=0.155s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.872s user=5.717s sys=0.155s mem=113MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.872s user=6.697s sys=0.175s mem=114MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.872s user=7.697s sys=0.175s mem=114MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.872s user=8.674s sys=0.198s mem=140MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.872s user=9.665s sys=0.207s mem=151MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.872s user=10.663s sys=0.209s mem=153MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.872s user=11.656s sys=0.216s mem=163MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.872s user=12.624s sys=0.248s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.872s user=13.622s sys=0.250s mem=167MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.872s user=14.621s sys=0.251s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.872s user=15.621s sys=0.251s mem=168MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.872s user=16.567s sys=0.305s mem=236MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.872s user=17.546s sys=0.326s mem=279MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.872s user=18.546s sys=0.326s mem=279MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.872s user=19.545s sys=0.327s mem=280MiB 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.010s
ramon: group.total          20.035s
ramon: group.utime          19.679s
ramon: group.stime          0.356s
ramon: group.mempeak        280MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.163s
ramon: loadavg              0.99
