HSPICE のServer/Client モードの Server の再起動に時間がかかるようになった?

HSPICE Server/Client モードにて，昔は問題なく使えていたスクリプトが異常な動作をするようになった．やっていることは簡単で，

% hspice  -CC -port 25000 -share share.sp -stop 0.3

% hspice  -CC -port 25000  target1.sp

% hspice  -CC -port 25000  target2.sp

% hspice  -CC -port 25000  target3.sp

...

% hspice  -CC -K -port 25000

というのを for ループでぶん回すのだが，

% hspice  -CC -K -port 25000

でサーバー KILL を確認しても，

% hspice  -CC -port 25000 -share share.sp -stop 0.3

>info:         ***** The specified port 25000 is not available now.

と表示されて HSPICE Server が起動しない．しばらく待つと Server が起動する．

% lsof -i :25000

しても LISTEN していないのに，よくわからない．KILL してから再起動まで20秒ぐらい待つと動く．for ループを3つに分割してサーバー立ち上げ・KILL は最初と最後に1回のみにすれば動くのだが，手動で止めたときにまた適切な時間待たないといけないし，わすれそうだし，困ってます．