#!/usr/bin/bash
master="wombat29-man"
filename="workers.txt"
echo "Start time: "$(date +"%T") 
while read line
do
  echo $line
  ssh -o StrictHostKeyChecking=no -f -n $line 'taskset -c 0 ./seep-worker/bin/seep-worker --worker.ip '$line' --worker.port 3501 --data.port 5001 --master.ip '$master' --master.port 3500 --bufferpool.max.memory 104857600 --bufferpool.min.buffer.size 4194304 > '$line'-1.log'
  ssh -o StrictHostKeyChecking=no -f -n $line 'taskset -c 1 ./seep-worker/bin/seep-worker --worker.ip '$line' --worker.port 3502 --data.port 5002 --master.ip '$master' --master.port 3500 --bufferpool.max.memory 104857600 --bufferpool.min.buffer.size 4194304 > '$line'-2.log'
  ssh -o StrictHostKeyChecking=no -f -n $line 'taskset -c 2 ./seep-worker/bin/seep-worker --worker.ip '$line' --worker.port 3503 --data.port 5003 --master.ip '$master' --master.port 3500 --bufferpool.max.memory 104857600 --bufferpool.min.buffer.size 4194304 > '$line'-3.log'
  ssh -o StrictHostKeyChecking=no -f -n $line 'taskset -c 3 ./seep-worker/bin/seep-worker --worker.ip '$line' --worker.port 3504 --data.port 5004 --master.ip '$master' --master.port 3500 --bufferpool.max.memory 104857600 --bufferpool.min.buffer.size 4194304 > '$line'-4.log'
done < "$filename"