ramon: cwd                  /home/ghrunner/actions-runner/_work/bench/bench
ramon: start                Tue May 19 22:55:18 2026
ramon: nproc                256
ramon: sys.mem              515496 MiB
ramon: sys.mem.free         461670 MiB
ramon: sys.mem.avail        513990 MiB
ramon: sys.nprocs           4031
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__pcr.5.smt2
ramon: argv                 6 = -T:20
ramon: childpid             2637546
ramon: poll                 wall=1.000s usage=0.930s user=0.880s sys=0.050s mem=69148KiB roottime=0.000s load=0.93 rootload=0.00
ramon: poll                 wall=2.000s usage=1.929s user=1.815s sys=0.114s mem=134MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.929s user=2.781s sys=0.148s mem=140MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.929s user=3.770s sys=0.159s mem=147MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.929s user=4.746s sys=0.183s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.929s user=5.745s sys=0.184s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.928s user=6.721s sys=0.207s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.928s user=7.719s sys=0.209s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.928s user=8.718s sys=0.210s mem=151MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.928s user=9.712s sys=0.216s mem=152MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.928s user=10.705s sys=0.223s mem=158MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.928s user=11.702s sys=0.226s mem=158MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.928s user=12.655s sys=0.273s mem=189MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.927s user=13.610s sys=0.318s mem=248MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.927s user=14.599s sys=0.328s mem=265MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.927s user=15.584s sys=0.343s mem=286MiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Tue May 19 22:55:34 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.000s
ramon: group.total          16.266s
ramon: group.utime          15.883s
ramon: group.stime          0.383s
ramon: group.mempeak        286MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             16.338s
ramon: loadavg              1.00
