Simon Marlow <marlowsd@gmail.com> writes:

> How many cores does the builder machine have?  (this should make it easier
> for me to repro)
>
It looks like 8.

Cheers,

- Ben