option show_stats 1;
option prestats 1;
option omit_zero_rows 1;
option cplex_options 'mipdisplay=2 mipinterval=100 timelimit=3600 timing =1';
model test.mod;
data test.dat;
solve;
display Satisfaction;
display x;