今まで，古いsgeのディレクトリを使い続けてもubuntu14から18までは問題なく動いていた．20.04 ltsにすると，一部の計算機でうまくジョブが走らなくなった．exit codeは10で早期にこけているようだということしかわからない．だましだまし使うのをやめ，apt…