INFO0("------------------- Produce the trace file---------------------------");
INFO1("Producing the trace of the run into %s",tracefilename);
FILE*out = fopen(tracefilename,"w");
INFO0("------------------- Produce the trace file---------------------------");
INFO1("Producing the trace of the run into %s",tracefilename);
FILE*out = fopen(tracefilename,"w");