Better last-iteration logging
nvars in prototype
Almost working
Approx: share a lot of divisions
Restore logging of final diff and of restarts
Clearer logging in ALM
Also leave ALM if almost feasible and no progress