# VARIABLES #
#############
CLONE_WKDIR=$(mktemp -d)
-MAX_NUMBER_GROUPS=400
+#MAX_NUMBER_GROUPS=400
+MAX_NUMBER_GROUPS=200
# (depends on the machine)
#############
echo
# Background jobs:
- kill -9 $(jobs -p)
+ #remaining_jobs=$(jobs -p)
+ (kill -9 $(jobs -p) 2>&1) >/dev/null
# Cleanup:
rm -rf $CLONE_WKDIR