solver case label to the configuration properties read from the first solver instance the case created — the configuration that actually ran, not what was assumed