20240618 / Partitions modifications: E5

REMINDER:

• starting today:
  • E5 has been modified:
  • E5 wall time has been reduced to 4 hours walltime
  • new partition E5-short, with 30 minutes walltime
  • new partition E5-long, with 8 days walltime

Please update your submission scripts.

Documentation has been updated and reflect actual state.