strftime()をマイクロ秒の精度で使用しようとしています。これは%fを使用して可能と思われます(ここで説明)。ただし、次のコードを試してみると:
import time
import strftime from time
print strftime("%H:%M:%S.%f")
...時間、分、秒を取得しますが、%fはマイクロ秒の符号なしで%fとして出力されます。私はUbuntuでPython2.6.5を実行しているので、問題なく、%fがサポートされているはずです(私が知る限り、2.6以降でサポートされています)。