Int32 Solution.NumMachinesRequested { get; }