New machines and new partition

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