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