File indexing completed on 2025-08-05 08:12:41
0001
0002
0003
0004
0005 echo PWD=${PWD}
0006 echo LD_LIBRARY_PATH=${LD_LIBRARY_PATH}
0007 echo HOST=`hostname`
0008
0009 ulimit -c 0
0010
0011
0012 dirname=`printf "PROD1_highW%04d" ${1}`
0013 mkdir -p ${dirname}
0014 cd ${dirname}
0015
0016
0017 rand=$(od -vAn -N4 -t u4 < /dev/urandom)
0018 cat ../PROD1_highW/slight.in | sed "s/RND_SEED.*/RND_SEED = ${rand}/" | sed 's/N_EVENTS.*/N_EVENTS = 100000/' > slight.in
0019
0020
0021
0022
0023
0024 starlight
0025
0026 cp -p ../log/runstarlight${1}.out output.txt