On 02/07/18 15:21, Makarius wrote:
>
> 2 * Intel(R) Xeon(R) Gold 6148 CPU @ 2.40GHz;
> 2 NUMA nodes: distance factor 2.1 for memory access;
> each CPU with 20 cores and hyper-threading: total of 80 hardware threads
>
> 256 GB SSD
>
> Ubuntu Linux 16.04
Here are more timing results on that
On 02/07/18 15:53, Lawrence Paulson wrote:
> These speedups are certainly very impressive! I have wondered what sort of
> factor could be achieved with enough cores, but was never persistent enough
> in trying to borrow hardware from people who had it.
I was myself wondering about more cores:
These speedups are certainly very impressive! I have wondered what sort of
factor could be achieved with enough cores, but was never persistent enough in
trying to borrow hardware from people who had it.
Larry
> On 2 Jul 2018, at 14:21, Makarius wrote:
>
> Just for the fun of it, here are
On 04/09/17 13:18, Lars Hupel wrote:
>> The canonical build parameters for this machine appear to be:
>>
>> isabelle build -j8 -o threads=6
>
> I find this combination (8*6 = 48 threads) to be surprising, given that
> that machine has only access to 22 physical (non-HT) cores. Judging from
>
> The canonical build parameters for this machine appear to be:
>
> isabelle build -j8 -o threads=6
I find this combination (8*6 = 48 threads) to be surprising, given that
that machine has only access to 22 physical (non-HT) cores. Judging from
your list below, this is the minimum number of
