20151112 / Problème réseau + serveur OS

Un problème réseau est apparu le 11/11 dans la matinée, il est en cours de traitement.

EDIT 12/11/2015 11h00 : De plus, un bug système est apparu sur le serveur d'OS. Loïs et Emmanuel sont en train d'investiguer pour un retour à la normale le plus rapidement possible.

EDIT 13/11/2015 10h30 : Le problème semble fixé, redémarrage progressif des serveurs et de certaines queues.

EDIT 13/11/2015 14h30 : Les queues suivantes sont up:

- toutes les queues E5-2667v2…

- toutes les queues E5-2670deb256…

- toutes les queues E5-2670gpgpu…

- E5-2670deb128

- E5-2670deb64nl

- toutes les queues x5570

- toutes les queues x5650

- r815lin128ib

- une grande partie des queues séquentielles

Les autres queues seront re-démarrées progressivement lundi dans la matinée.