cwd             /home/ghrunner/actions-runner/_work/bench/bench
start           Sat May 23 23:26:07 2026
nproc           256
sys.mem         515496 MiB
sys.mem.free    451264 MiB
sys.mem.avail   513627 MiB
sys.nprocs      4885
argv            0 = timeout
argv            1 = -k
argv            2 = 10
argv            3 = 80
argv            4 = z3
argv            5 = /home/ghrunner/actions-runner/_work/bench/bench/download/non-incremental/UFDTNIA/20241211-verus/verismo/security__monitor.16.smt2
argv            6 = -T:20
argv            7 = model_validate=true
childpid        3012362
poll            wall=1.000s usage=0.968s user=0.914s sys=0.054s mem=50936KiB roottime=0.000s load=0.97 rootload=0.00
poll            wall=2.000s usage=1.968s user=1.882s sys=0.086s mem=86264KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=3.000s usage=2.968s user=2.857s sys=0.111s mem=86540KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=4.000s usage=3.967s user=3.850s sys=0.117s mem=86796KiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=5.000s usage=4.967s user=4.726s sys=0.241s mem=133MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=6.000s usage=5.967s user=5.705s sys=0.262s mem=140MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=7.000s usage=6.966s user=6.688s sys=0.278s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=8.000s usage=7.966s user=7.682s sys=0.284s mem=161MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=9.000s usage=8.966s user=8.540s sys=0.426s mem=163MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=10.000s usage=9.966s user=9.533s sys=0.433s mem=164MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=11.000s usage=10.966s user=10.523s sys=0.443s mem=165MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=12.000s usage=11.965s user=11.496s sys=0.470s mem=165MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=13.000s usage=12.965s user=12.490s sys=0.475s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=14.000s usage=13.965s user=13.490s sys=0.475s mem=166MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=15.000s usage=14.965s user=14.475s sys=0.490s mem=176MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=16.000s usage=15.965s user=15.471s sys=0.494s mem=177MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=17.000s usage=16.965s user=16.422s sys=0.543s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=18.000s usage=17.965s user=17.419s sys=0.546s mem=178MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=19.000s usage=18.965s user=18.416s sys=0.549s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
poll            wall=20.000s usage=19.964s user=19.415s sys=0.550s mem=179MiB roottime=0.000s load=1.00 rootload=0.00
end             Sat May 23 23:26:27 2026
root.execname   timeout
root.utime      0.000s
root.stime      0.000s
group.total     20.027s
group.utime     19.453s
group.stime     0.574s
group.mempeak   180MiB
group.pidpeak   3
status          exited
exitcode        0
walltime        20.062s
loadavg         1.00
