Details
-
Enhancement
-
Resolution: Done
-
Minor
-
None
-
None
-
2020 Week 31-33 (from Jul 27)
-
3
-
NEW
-
NEW
Description
When an arbitrary subsingle fails, it's hard to reproduce that, because we don know the randomSeed.
See DefaultPlannerBenchmark line 287:
} catch (ExecutionException e) { Throwable cause = e.getCause(); singleBenchmarkRunnerExceptionLogger.warn("The subSingleBenchmarkRunner ({}) failed.", subSingleBenchmarkRunner, cause); ... }
That log line, as well as the one for warmup failures, as well as the repetition for the first one at the end of the benchmark, should also mention the randomSeed, just like the solver does in it's first INFO solving started message.