Max-SAT evaluation 2015 へ投稿した自分のソルバ、テスト環境では動作したけれど、クラスタのノードでは動作していないとか。 何が原因なんやろ……

We have a problem with your solvers toysat and toysat_ls. The solvers run fine in several machines (e.g., in the cluster front end), giving the right solution for the tested instances. But not in the cluster nodes, where the evaluation is run. The solvers start taking memory without any output in the shell, until reach the maximum memory permitted, 3.5 GB.

The nodes CPUs are:
Intel(R) Xeon(R) CPU E5-2620 0 @ 2.00GHz

The nodes are Linux CentOS release 6.5.