MIPLIB 2003 の ds 問題を以下のサーバで解き続けているのだが、Nodes Left の値も減少傾向にあり（最高時は 2642729 個)、実行の山は越えたのではないだろうか。http://miplib.zib.de/miplib2003/ds.php によると最適目的関数値は 93.5200 となっている。 N…