1)Archiveの仕方
まず躓いたのは、UploadでWrapperFolderを含めてはいけないことでした。普通にzipでやってしまうと含まれてしまうので、CurrentDirに入って、
tar cvf aaa.tar ./*
とやってtar FILEをつくり"upload solver"を実行します。
それから、TESTフォルダに入って"create_job"でソルバと動かしたいベンチマークのペアを指定します
２）staticに注意
基本的に実行ファイルは、-static でビルドされている必要があります。いきなり即終了したので変だなあと思ってログを見ると、*.soが見つからないというエラーで実行されていませんでした。StarExecは、古いLinuxらしいです。failureとして報告されないので、要注意です。ログは見るようにしましょう。
３）sigterm
InComplete部門は、SigTermが来たらSolutionをプリントすることになっていますが、どうも来ない疑いがあります。そこで、本来のTIMEOUT直前5秒前に発生させて実行しました。(90sec/300sec各トラック用にScriptを用意）
timout 85 ./EXE $1
timeout 295 ./EXE $1
これで一応いけることを確認しました。
SIGTERMのDebug用として、runsolverを紹介されました。これ上で走らせれば、SIGTERMとSIGKILLを自由なタイミングで操作可能とのことでしたが、local machineで、fileに出力させながらやってみると、強制終了が、いくつかでていました。特にTIMEOUTのところで出ている訳ではないので不思議です。とりあえず、上記方策を、事務局に提案しておきました。
=>
その後、予想通り、SIGTERMとSIGKILLのDelayは、User責任になったようです。最終的には、以下のスクリプトで提出しました。displayの処理時間は、User責任なので、最後のflush(stdout)するのを忘れないようにしましょう。
#!/bin/sh
delay=5
wl=`expr $STAREXEC_WALLCLOCK_LIMIT - $delay`
#echo $STAREXEC_WALLCLOCK_LIMIT $wl
timeout $wl ./maxroster $1
最大インスタンス（d4.wcnfで、約1400万変数)でも殆ど時間がかかっていなかったので5秒も取る必要はなかったのかもしれません。
４）テストの確認
主催者が50インスタンスづつ用意してくれているので、それでcreate_jobで確認します。
なぜか、他の人のソルバーもテストすることも可能でした。
create_jobが終ると、job_informationで、CSVファイルをダウンロードします。
こんな感じです。
| pair id | benchmark | benchmark id | solver | solver id | configuration | configuration id | status | cpu time | wallclock time | memory usage | result | optimum_solution | hard_clauses | optimum | checker_solution | checker | given_solution |
| 290700075 | Weighted/1401.wcsp.dir.wcnf | 4414170 | maxroster | 11897 | default.sh | 219868 | complete | 85 | 85.01 | 250044 | -- | 459106 | satisfied | FALSE | 459111 | ok | 459111 |
| 290700076 | Weighted/1401.wcsp.log.wcnf | 4414171 | maxroster | 11897 | default.sh | 219868 | complete | 84.99 | 85.01 | 256424 | -- | -1 | satisfied | FALSE | 467103 | ok | 467103 |
| 290700077 | Weighted/1403.wcsp.dir.wcnf | 4414172 | maxroster | 11897 | default.sh | 219868 | complete | 85.01 | 85.01 | 248172 | -- | 459246 | satisfied | FALSE | 459274 | ok | 459274 |
５）所感
締め切りの2日前になってもカテゴリーやらスクリプトが変わりました。オーガナイザが変わったので致し方ない面があるかと思います。来年からは、今年の経験を元に改善されることでしょう。
=>
締め切り日が変更され2週間遅れます。
結果は、SAT２０１７で発表されるそうです。
