changed maxCliques from 10000 to 1000