Use 12 cores by default