plug weakrulemap memory map if the solver gets re-run