Add output of minimum element size to trace file