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         454416 MiB
ramon: sys.mem.avail        513627 MiB
ramon: sys.nprocs           4813
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__secret.13.smt2
ramon: argv                 6 = -T:20
ramon: argv                 7 = model_validate=true
ramon: childpid             3006855
ramon: poll                 wall=1.000s usage=0.953s user=0.925s sys=0.028s mem=28656KiB roottime=0.000s load=0.95 rootload=0.00
ramon: poll                 wall=2.000s usage=1.953s user=1.882s sys=0.071s mem=67168KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=3.000s usage=2.953s user=2.862s sys=0.091s mem=72032KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=4.000s usage=3.952s user=3.851s sys=0.101s mem=76128KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=5.000s usage=4.953s user=4.828s sys=0.125s mem=90464KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=6.000s usage=5.952s user=5.821s sys=0.131s mem=97632KiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=7.000s usage=6.952s user=6.778s sys=0.174s mem=132MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=8.000s usage=7.951s user=7.761s sys=0.191s mem=156MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=9.000s usage=8.951s user=8.756s sys=0.195s mem=163MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=10.000s usage=9.951s user=9.754s sys=0.197s mem=170MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=11.000s usage=10.951s user=10.751s sys=0.200s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=12.000s usage=11.951s user=11.747s sys=0.204s mem=184MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=13.000s usage=12.951s user=12.661s sys=0.290s mem=247MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=14.000s usage=13.951s user=13.660s sys=0.291s mem=248MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=15.000s usage=14.951s user=14.652s sys=0.299s mem=257MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=16.000s usage=15.951s user=15.646s sys=0.305s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=17.000s usage=16.951s user=16.645s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=18.000s usage=17.951s user=17.645s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=19.000s usage=18.951s user=18.645s sys=0.306s mem=273MiB roottime=0.000s load=1.00 rootload=0.00
ramon: poll                 wall=20.000s usage=19.951s user=19.645s sys=0.306s mem=273MiB 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.010s
ramon: group.total          20.033s
ramon: group.utime          19.699s
ramon: group.stime          0.334s
ramon: group.mempeak        273MiB
ramon: group.pidpeak        3
ramon: status               exited
ramon: exitcode             0
ramon: walltime             20.082s
ramon: loadavg              1.00
