先の記事にも関係するが、トラブルの直接の原因はサーバーの容量不足。
前日までは問題無かったが、その日の朝にクライアントPCから接続するサーバーを切り替えていて、新しいサーバーの割り当て容量が少なかったために起きた不具合だった。
切り替え作業は旧サーバーから新サーバーに全ユーザーのファイルを属性を同じにしたままコピーし、その後にDNSサーバーに記述してあるIPアドレスを新しいサーバーのものに書き換えた。
ADサーバーで接続先を変更するのが本来のやり方なんだろうけど、そうするとポリシーが適用されるまで時間がかかるが、DNSサーバーのAレコードの書き換えならすぐに反映される。
今回のトラブルでクライアントPCが接続する先のサーバーが新しいサーバーになっていることが確認できたのはラッキー（？）だったな（汗）。