The problem, I have just described, is gone!
I did what is supposed to be the last thing to try: restart the ADSM
server after changing those options to the default, which I had changed
recently (TXNGROUPMAX, MOVEBATCHSIZE and MOVESIZETHRESH). Regretably I now
do not know, whether changing the options or restarting the server
helped.
Reinhard Mersch Westfaelische Wilhelms-Universitaet
Universitaetsrechenzentrum, Einsteinstrasse 60, 48149 Muenster, Germany
E-Mail: mersch AT uni-muenster DOT de Phone: +49(251)83-2488
|