Solver
The result of one member of a concurrent solver run, captured on the member's worker after its solver finished (or failed). Results are safe to read once obtained from the runner: the await establishes the necessary happens-before ordering.
Parameters
the 0-based index of the member within the run
the member's label
the best solution the member found; the problem's bad solution when the member failed or never ran
the member solver's cumulative oracle-call count
the member solver's cumulative requested replications
the member solver's full result record, when the solver was created and ran; null when the member never ran
the member's lifecycle outcome
the failure cause when status is FAILED; null otherwise
the CPU time the member's worker thread spent running the solver, in milliseconds. Unlike wall-clock time this does not depend on the worker count or on how busy the machine was, so it is comparable across machines. It counts only the worker thread: any work the evaluator hands to other threads is not included, so on a delegating evaluator this is below wall clock rather than above it. Null when the member never ran or when the JVM does not support or has disabled per-thread CPU time.