long total_usage = rt.totalMemory() - rt.freeMemory() - initial_usage;
System.out.printf("Loaded %s design in %5.3f seconds using %d MBs of heap space.%s",
design.getPartName(), (stop-start)/1000000000.0, total_usage/(1024*1024), System.getProperty("line.separator"));
design.saveXDLFile(args[0].replace(".xdl", "_saved.xdl"), true);
}
}