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         456665 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4635
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.14.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2645737
ramon: poll                 wall=1.000s usage=0.983s user=0.936s sys=0.047s mem=55064KiB roottime=0.000s load=0.98 rootload=0.00
ramon: poll                 wall=2.000s usage=1.983s user=1.885s sys=0.098s mem=123MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.982s user=2.830s sys=0.153s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.983s user=3.829s sys=0.154s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.982s user=4.698s sys=0.284s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.981s user=5.586s sys=0.396s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.981s user=6.584s sys=0.397s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.981s user=7.581s sys=0.400s mem=162MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.980s user=8.552s sys=0.429s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.980s user=9.550s sys=0.431s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.980s user=10.549s sys=0.432s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.980s user=11.525s sys=0.456s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.980s user=12.524s sys=0.456s mem=169MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.980s user=13.517s sys=0.463s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.980s user=14.515s sys=0.465s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.980s user=15.515s sys=0.465s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.980s user=16.485s sys=0.495s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.980s user=17.482s sys=0.498s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.980s user=18.481s sys=0.499s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.980s user=19.480s sys=0.500s mem=180MiB 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.000s
ramon: group.total          20.027s
ramon: group.utime          19.504s
ramon: group.stime          0.523s
ramon: group.mempeak        180MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.046s
ramon: loadavg              1.00
