Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/hyperon-wam/reports/extended_compat/hyperon-pln/metta/pln/match/ImplicationDirectIntroductionMatchTest.metta [()] [(idi_induction_match GroundingSpace-0x55ecb60d9c68)] 0.06user 0.00system 0:00.06elapsed 100%CPU (0avgtext+0avgdata 33012maxresident)k 0inputs+0outputs (0major+3641minor)pagefaults 0swaps