@@ -30,7 +30,7 @@
#-------------- paramètres OAR---------------------------
-# walltime de 6mn ( donc trop court pour le prog/timer de 10mn)
+# walltime de 3mn ( donc trop court pour le prog/timer de 4mn)
#OAR -l cpu=1/core=1,walltime=00:3:00
#OAR -n dmtcp_ex1
