diff --git a/UD_any/launchBatches.py b/UD_any/launchBatches.py index 8355460b0a947a0e25e3e03c9ebe866ef775114d..40ef2439b2a267ddd4dad796c32309ad04ab6de9 100755 --- a/UD_any/launchBatches.py +++ b/UD_any/launchBatches.py @@ -182,7 +182,13 @@ def getOarNbUsedGpuPerNode() : cores = 1 gpunum = 1 if "core=" in ressources : - cores = int(ressources.split("core=")[-1].split('/')[0]) + coresStr="" + coresStrBase = ressources.split("core=")[-1] + for symbol in coresStrBase : + if symbol < '0' or symbol > '9' : + break + coresStr = coresStr + symbol + cores = int(coresStr) if "gpunum=" in ressources : gpunum = int(ressources.split("gpunum=")[-1].split(',')[0])