データ出力のGDXファイルがやたらとでかい(160MB...)ので、どうしたもんかと試しにZIPしてみたら結構小さくなった。ということは、GAMSのシステム自体に圧縮オプションがあるんじゃないか、と思って調べたら、あった。Compression:Starting with version 22.…