ADDM can stuck on reloading.
This doesn`t help:
Before ADDM 8.2 you will need to restart reasoning directly:
tw_svc_reasoning --daemon stop
tw_svc_reasoning --daemon start
From ADDM 8.2 it is possible to do this in a single step:
sudo /sbin/service tideway restart reasoning
But this does: