The total number of constraints in the ctr-file is : 1134
The objective is minimising the number of frequencies. 
