The old machines node4 and node5 have been replaced by new machines of the same name with the following features:

• node4: 72 cores and 256 GB RAM, high speed partition.
• node5: 88 cores and 512GB RAM, partition highmemplus

Node 5 is part of a new highmemplus partition to use it, use the following option: -p highmemplus

A new server node27 has also been added to the highmem partition with 24 cores and 144GB of RAM