The high_resolution_clock is the system_clock on Ubuntu 12.10, it claims
1 micro sec precision