Improved auto-saving of the convergence state (server.cc in netcpu, converger_1).