Int32 Solution.NumProcRequested { get; }