On Wed, 30 Sep 2015, Victor Shoup wrote: > According to lscpu: > > Intel(R) Xeon(R) CPU E5-2680 v2 @ 2.80GHz Actually, could you post the rest of the lscpu output? (I should have asked that first...) -- Marc Glisse