/** print out some info about the system and JVM etc. */
public static void show() {
Properties prop = System.getProperties();
JDDConsole.out.println(
"Using JDD build " + jdd.Version.build + " on " + (new Date()).toString() + "\n");
JDDConsole.out.print(
"Using " + prop.getProperty("java.vendor") + " JRE " + prop.getProperty("java.version"));
String jit = prop.getProperty("java.compiler");
if (jit != null) JDDConsole.out.print(", " + jit + " JIT in");
JDDConsole.out.println(" " + prop.getProperty("java.vm.name"));
JDDConsole.out.println(
"OS "
+ prop.getProperty("os.name")
+ " on "
+ rt.availableProcessors()
+ " "
+ prop.getProperty("os.arch")
+ " CPU(s)");
JDDConsole.out.print("Total JRE memory: ");
Digits.printNumber1024(rt.maxMemory());
JDDConsole.out.print(", memory currently reserved by the JRE: ");
Digits.printNumber1024(usedMemory());
JDDConsole.out.println("\n");
}
