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         459790 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4410
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.24.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             3005025
ramon: poll                 wall=1.000s usage=0.993s user=0.940s sys=0.053s mem=84092KiB roottime=0.000s load=0.99 rootload=0.00
ramon: poll                 wall=2.001s usage=1.994s user=1.941s sys=0.053s mem=84348KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.993s user=2.922s sys=0.071s mem=85116KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.993s user=3.921s sys=0.072s mem=85336KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.993s user=4.864s sys=0.129s mem=85812KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.992s user=5.804s sys=0.188s mem=86068KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.992s user=6.791s sys=0.201s mem=92212KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.992s user=7.770s sys=0.222s mem=112MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.992s user=8.737s sys=0.255s mem=140MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.992s user=9.733s sys=0.259s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.992s user=10.733s sys=0.259s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.992s user=11.712s sys=0.280s mem=141MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.992s user=12.710s sys=0.282s mem=142MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.992s user=13.710s sys=0.282s mem=142MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.991s user=14.706s sys=0.285s mem=143MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.991s user=15.703s sys=0.288s mem=148MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.991s user=16.677s sys=0.314s mem=153MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.991s user=17.676s sys=0.315s mem=153MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.991s user=18.673s sys=0.318s mem=156MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.991s user=19.670s sys=0.321s mem=158MiB 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.021s
ramon: group.utime          19.682s
ramon: group.stime          0.339s
ramon: group.mempeak        159MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.030s
ramon: loadavg              1.00
