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         459757 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4430
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: argv                 7 = model_validate=true
ramon: childpid             3005041
ramon: poll                 wall=1.000s usage=0.974s user=0.924s sys=0.050s mem=69680KiB roottime=0.000s load=0.97 rootload=0.00
ramon: poll                 wall=2.000s usage=1.974s user=1.870s sys=0.104s mem=136MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.974s user=2.831s sys=0.143s mem=145MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.973s user=3.825s sys=0.148s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.973s user=4.807s sys=0.166s mem=149MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.973s user=5.804s sys=0.169s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.973s user=6.778s sys=0.195s mem=150MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.973s user=7.774s sys=0.199s mem=151MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.972s user=8.770s sys=0.202s mem=152MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.972s user=9.760s sys=0.212s mem=158MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.972s user=10.750s sys=0.222s mem=172MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.972s user=11.727s sys=0.245s mem=203MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.972s user=12.647s sys=0.325s mem=265MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.972s user=13.645s sys=0.327s mem=266MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.972s user=14.595s sys=0.377s mem=16496KiB roottime=0.000s load=1.00 rootload=0.00
ramon: end                  Sat May 23 23:26:21 2026
ramon: root.execname        timeout
ramon: root.utime           0.000s
ramon: root.stime           0.020s
ramon: group.total          14.973s
ramon: group.utime          14.595s
ramon: group.stime          0.378s
ramon: group.mempeak        286MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             15.002s
ramon: loadavg              1.00
