Pour cherche un module qui contient le motif "nom" faire :
module avail |& grep -i nom
Exemple : chercher tous les modules gcc :
module avail |& grep -i gcc
Un petit changement dans les paramètres slurm peu rapidement avoir des conséquences importantes sur les conditions réelles d’exécution de votre job. Il est bon de vérifier régulièrement que tout se passe bien comme vous le souhaitez/l’imaginez. Soit de façon systématique, avec la possibilité de garder une trace à chaque run (à coût zéro, utile en particulier à posteriori pour vérifier que tout s’est bien passé), soit de façon interactive ponctuelle :
/usr/bin/time --verbose
qui affichera le taux de CPU moyen utilisé. 100% = 1 coeur, 200% = 2 coeurs, etc.. :
/usr/bin/time --verbose mon_programme ... mes_parametres...
srun ...parametres_srun... /usr/bin/time --verbose mon_programme ... mes_parametres...
/usr/bin/time --help
ou man time
(ne pas confondre avec la commande time
intégrée dans le shell/interpréteur de commande)ssh mirielXXX
srun --pty --jobid JOBID /bin/bash -i
top
pour observer le % CPU (100%= 1 coeur, 200% = 2 coeurs, ...)man top
pour en savoir plusLes sauvegardes se trouvent dans le répertoire /home/.snapshot
[fond rouge] !! à valider !![/fond rouge]
il faut utiliser pageant pour déclarer la clef de l'utilisateur et pour la charger
Ensuite dans putty :
session : mettre hostname plafrim port 22
connections :
- dans date indiquer le login dans auto-login username
- dans proxy : sélectionner local, mettre ssh.plafrim.fr dans proxy hostname avec le port 22, dans telnet command or proxy command : plink %user@%proxyhost -P %proxyport -nc %host:%port
- dans ssh : dans auth cocher attempt authentication with pageant et allow agent forwarding et sélectionner la clef de l'utilisateur
Les accès réseau sont très filtrés en sortie de PlaFRIM. Certains sites ont des IPs qui changent très souvent ou de multiples IPs. C’est le cas de gitlab.com et de github.com .
Pour pouvoir utiliser de façon fiable les dépôts de ces sites, il faut ajouter ceci dans votre $HOME/.ssh/config
:
##### git clone git@gitlab.com ....
Host gitlab.com
Hostname altssh.gitlab.com
User git
Port 443
##### git clone git@github.com ....
Host github.com
Hostname ssh.github.com
User git
Port 443
Cela revient à figer l’adresse qui sera utilisée, en prenant celle qui est autorisée en sortie de PlaFRIM.