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         456397 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4640
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.16.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2646893
ramon: poll                 wall=1.000s usage=0.992s user=0.932s sys=0.060s mem=57536KiB roottime=0.000s load=0.99 rootload=0.00
ramon: poll                 wall=2.000s usage=1.992s user=1.914s sys=0.078s mem=86208KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.992s user=2.894s sys=0.098s mem=86296KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.992s user=3.880s sys=0.112s mem=94976KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.991s user=4.821s sys=0.170s mem=135MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.991s user=5.787s sys=0.204s mem=147MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.991s user=6.776s sys=0.215s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.991s user=7.774s sys=0.217s mem=163MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.991s user=8.738s sys=0.253s mem=164MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.991s user=9.735s sys=0.256s mem=165MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.991s user=10.733s sys=0.258s mem=165MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.991s user=11.706s sys=0.285s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.991s user=12.705s sys=0.286s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.991s user=13.700s sys=0.291s mem=172MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.991s user=14.697s sys=0.294s mem=177MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.990s user=15.697s sys=0.294s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.990s user=16.664s sys=0.326s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.990s user=17.661s sys=0.329s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.990s user=18.661s sys=0.329s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.990s user=19.661s sys=0.329s 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.677s
ramon: group.stime          0.350s
ramon: group.mempeak        180MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.037s
ramon: loadavg              1.00
