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