Get number of leaves for all cps from cp model