DEFAULT_CPU_TIME

Default maximum CPU time: 1000ms.