write process pids to file