#!/bin/bash

# pin ourself to CPU1
taskset -p 2 $$ > /dev/null

echo "`date +%s`: begin $1"

ct=1
while [ $ct -lt 1000000 ]; do
	ct=$(($ct + 1))
done

echo "`date +%s`:   end $1"