+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/synthesis/experiments/unify-via-let.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/synthesis/experiments/unify-via-let.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/synthesis/experiments/unify-via-let.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/synthesis/experiments/unify-via-let.metta
[(Link A B)]
[(-> A B)]
[(Link A B)]
[]
[(Link A B)]
[(Link A B), (Link A C)]
[(Link A B)]
0.02user 0.01system 0:00.03elapsed 97%CPU (0avgtext+0avgdata 24304maxresident)k
0inputs+0outputs (0major+2887minor)pagefaults 0swaps