Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/metta-wam/tests/extended_compat/hyperon-miner/match/result.metta
0.05user 0.01system 0:00.06elapsed 100%CPU (0avgtext+0avgdata 33248maxresident)k
0inputs+0outputs (0major+3632minor)pagefaults 0swaps