[Termtools] memory requirements for termCOMP

Dear all, as I've mentioned in my previous mail, the next competition will run on the RWTH HPC cluster. I'll have to make a reservation for the nodes that we need at some point. To do so, I need to know which resources are required. Are the following specs *not* acceptable to anyone? Then please let me know soon (say, until the end of April). * 4 cores (as on StarExec) * 20840MiB memory (roughly 22Gb -- less than what we had on StarExec) Best Florian