cwidmer default num_cpus to 1
cbd6d24 Jun 30, 2012
default num_cpus to 1
cbd6d24