optimin: fix default timeout
So that it matches the help text
MODIFY
utils/optimin/README.md
utils/optimin/README.md
@@ -40,7 +40,7 @@ General options:
-m megs - Memory limit for child process (default=none)
-o dir - Output directory
-p - Display progress bar
- -t msec - Run time limit for child process (default=none)
+ -t msec - Run time limit for child process (default=5000)
-w csv - Weights file
Generic Options:

MODIFY
utils/optimin/src/OptiMin.cpp
utils/optimin/src/OptiMin.cpp
@@ -142,7 +142,7 @@ static cl::opt<std::string> MemLimit(
cl::value_desc("megs"), cl::init("none"));
static cl::opt<std::string> Timeout(
"t", cl::desc("Run time limit for child process (default=5000)"),
- cl::value_desc("msec"), cl::init("4000"));
+ cl::value_desc("msec"), cl::init("5000"));
static cl::opt<bool> CrashMode(
"C", cl::desc("Keep crashing inputs, reject everything else"));

optimin: fix default timeout

So that it matches the help text