SCIP (3.0.1) ベースのソフトウェアを使用しています。実行する実験がたくさんあります。そのために、SCIP の最大実行時間を単純に強制したいと思います。最適なソリューションをまだ見つけていない場合は、x 秒後に、これまでに見つかった最適なソリューションが出力されます。
現在、バインドされた PID プロセスに目的の時間の後に sigint 割り込みを送信するスクリプトを使用していますが、常に機能しているわけではありません。これをSCIPで適切にコーディングしたいと思います。簡単に聞こえるかもしれませんが、それを行うための適切なオプションが見つかりませんでした。
何か考えはありますか？
よろしくお願いいたします。