$> System.core.restart(new Random().nextInt());

2017-07-15 15:45:37 [INFO]: Destroying current system...

......

Done!(2003.20s)

System restart.

0000-00-00 00:00:00 [INFO]: System started.​

$>