Backing Up Files

    {  Exmpl9.4-1_FileBackUp.mpl  }

    {  Applications of Optimization with Xpress-MP  }

    {  Chapter 9.3,  Backing up Files,  Size: 35x49,  Page 178 }


TITLE
    FileBackUp;

INDEX
    file := 1..16;

DATA
    Cap := 1.44;
    Size[file] := 0.001 * (46,55,62,87,108,114,137,164,253,364,372,388,406,432,461,851);
    Nd := 1 / Cap * SUM(file: Size);

INDEX
    disk := 1..CEIL(Nd);


VARIABLE
    Save[file,disk];
    DiskUse;

MODEL

    MIN DiskUse;

SUBJECT TO

    DiskLimit[file] -> DLIM:
        DiskUse >= SUM(disk: disk * Save);

    FileIntoSingleDsk[file] -> FDSK:
        SUM(disk: Save) = 1;

    DiskCapacity[disk] -> DCAP:
        SUM(file: Size * Save) <= Cap;

BINARY
    Save;

END