Free Intel tools

One possible solution to our performance counter woes: use Intel's VTune package for Linux. Presumably Intel knows what the right parameters are! Free non-commercial downloads, including their excellent C compiler...