-format tracefile. It has three commandline parameters, the first is tracefile
-name, the second is a number (number of cpu), the last one is root directory
-for the new trace (this can be omitted, by default it is 'foo')
+format tracefile. It has four commandline parameters, the first is tracefile
+name, the second is process file, the third is a number (number of cpu),
+the last one is root directory for the new trace (this can be omitted,
+by default it is 'foo')