minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38731.810000 
s2: s + 0.001000f1 + 0.501000f2 >= 38731.810000 
f1: -f1 + 630x1 + 613x2 + 786x3 + 805x4 + 611x5 + 826x6 + 753x7 + 979x8 + 701x9 + 597x10 + 751x11 + 693x12 + 812x13 + 619x14 + 810x15 + 460x16 + 1000x17 + 972x18 + 878x19 + 906x20 + 447x21 + 827x22 + 894x23 + 984x24 + 898x25 + 687x26 + 816x27 + 843x28 + 712x29 + 945x30 + 985x31 + 1237x32 + 1125x33 + 703x34 + 916x35 + 475x36 + 735x37 + 852x38 + 833x39 + 486x40 + 957x41 + 500x42 + 893x43 + 779x44 + 683x45 + 708x46 + 729x47 + 761x48 + 566x49 + 498x50 + 926x51 + 657x52 + 832x53 + 938x54 + 890x55 + 550x56 + 654x57 + 796x58 + 1123x59 + 553x60 + 634x61 + 872x62 + 1029x63 + 1021x64 + 940x65 + 781x66 + 756x67 + 1098x68 + 808x69 + 841x70 + 568x71 + 320x72 + 990x73 + 225x74 + 724x75 + 354x76 + 898x77 + 842x78 + 435x79 + 745x80 + 1039x81 + 600x82 + 834x83 + 892x84 + 768x85 + 889x86 + 746x87 + 1093x88 + 873x89 + 711x90 + 912x91 + 541x92 + 565x93 + 411x94 + 580x95 + 869x96 + 882x97 + 750x98 + 925x99 + 799x100  = 0 
f2: -f2 + 869x1 + 693x2 + 894x3 + 808x4 + 657x5 + 708x6 + 761x7 + 447x8 + 826x9 + 898x10 + 945x11 + 810x12 + 753x13 + 957x14 + 597x15 + 580x16 + 475x17 + 816x18 + 912x19 + 1093x20 + 940x21 + 979x22 + 834x23 + 916x24 + 751x25 + 872x26 + 553x27 + 878x28 + 833x29 + 568x30 + 703x31 + 1029x32 + 985x33 + 498x34 + 683x35 + 926x36 + 1039x37 + 873x38 + 925x39 + 460x40 + 1125x41 + 687x42 + 550x43 + 354x44 + 634x45 + 893x46 + 1098x47 + 630x48 + 843x49 + 541x50 + 565x51 + 852x52 + 225x53 + 411x54 + 745x55 + 906x56 + 486x57 + 729x58 + 566x59 + 768x60 + 600x61 + 796x62 + 724x63 + 781x64 + 1123x65 + 832x66 + 500x67 + 890x68 + 613x69 + 882x70 + 842x71 + 892x72 + 711x73 + 1237x74 + 805x75 + 735x76 + 841x77 + 756x78 + 611x79 + 750x80 + 712x81 + 746x82 + 990x83 + 654x84 + 898x85 + 938x86 + 619x87 + 812x88 + 827x89 + 435x90 + 889x91 + 984x92 + 1021x93 + 786x94 + 972x95 + 1000x96 + 779x97 + 799x98 + 701x99 + 320x100  = 0 
constr1: + 339x1 + 822x2 + 34x3 + 176x4 + 351x5 + 704x6 + 218x7 + 360x8 + 395x9 + 292x10 + 502x11 + 610x12 + 480x13 + 973x14 + 113x15 + 223x16 + 725x17 + 245x18 + 214x19 + 190x20 + 492x21 + 473x22 + 75x23 + 390x24 + 441x25 + 870x26 + 709x27 + 817x28 + 607x29 + 872x30 + 142x31 + 662x32 + 225x33 + 159x34 + 615x35 + 595x36 + 409x37 + 624x38 + 542x39 + 724x40 + 739x41 + 29x42 + 175x43 + 918x44 + 55x45 + 244x46 + 626x47 + 771x48 + 169x49 + 49x50 + 201x51 + 100x52 + 922x53 + 475x54 + 86x55 + 505x56 + 443x57 + 280x58 + 943x59 + 960x60 + 925x61 + 440x62 + 930x63 + 407x64 + 650x65 + 43x66 + 854x67 + 258x68 + 905x69 + 154x70 + 967x71 + 316x72 + 532x73 + 262x74 + 960x75 + 94x76 + 594x77 + 876x78 + 207x79 + 968x80 + 645x81 + 115x82 + 970x83 + 219x84 + 274x85 + 36x86 + 612x87 + 155x88 + 330x89 + 879x90 + 526x91 + 174x92 + 779x93 + 397x94 + 301x95 + 302x96 + 773x97 + 994x98 + 744x99 + 479x100 <= 23272 
constr2: + 171x1 + 629x2 + 615x3 + 482x4 + 476x5 + 839x6 + 969x7 + 889x8 + 39x9 + 154x10 + 499x11 + 120x12 + 979x13 + 191x14 + 268x15 + 910x16 + 290x17 + 419x18 + 341x19 + 410x20 + 726x21 + 747x22 + 442x23 + 763x24 + 803x25 + 193x26 + 891x27 + 487x28 + 84x29 + 845x30 + 920x31 + 29x32 + 61x33 + 669x34 + 71x35 + 802x36 + 605x37 + 379x38 + 5x39 + 380x40 + 88x41 + 209x42 + 190x43 + 873x44 + 118x45 + 358x46 + 789x47 + 205x48 + 365x49 + 93x50 + 235x51 + 566x52 + 15x53 + 443x54 + 264x55 + 224x56 + 44x57 + 541x58 + 355x59 + 728x60 + 919x61 + 851x62 + 810x63 + 154x64 + 600x65 + 960x66 + 496x67 + 809x68 + 397x69 + 933x70 + 346x71 + 434x72 + 687x73 + 617x74 + 1x75 + 1000x76 + 278x77 + 185x78 + 469x79 + 237x80 + 909x81 + 231x82 + 814x83 + 430x84 + 716x85 + 565x86 + 571x87 + 396x88 + 104x89 + 79x90 + 750x91 + 882x92 + 538x93 + 82x94 + 86x95 + 58x96 + 995x97 + 999x98 + 651x99 + 335x100 <= 24350 
constr3: + 913x1 + 384x2 + 810x3 + 658x4 + 699x5 + 322x6 + 261x7 + 121x8 + 415x9 + 451x10 + 466x11 + 117x12 + 440x13 + 703x14 + 310x15 + 758x16 + 4x17 + 67x18 + 792x19 + 677x20 + 75x21 + 823x22 + 197x23 + 420x24 + 693x25 + 799x26 + 637x27 + 987x28 + 215x29 + 32x30 + 1x31 + 350x32 + 292x33 + 891x34 + 364x35 + 929x36 + 453x37 + 932x38 + 13x39 + 519x40 + 247x41 + 535x42 + 381x43 + 61x44 + 687x45 + 255x46 + 990x47 + 818x48 + 310x49 + 271x50 + 735x51 + 187x52 + 373x53 + 805x54 + 784x55 + 249x56 + 280x57 + 994x58 + 368x59 + 762x60 + 818x61 + 979x62 + 543x63 + 536x64 + 548x65 + 629x66 + 757x67 + 500x68 + 453x69 + 515x70 + 384x71 + 656x72 + 722x73 + 320x74 + 822x75 + 664x76 + 331x77 + 827x78 + 96x79 + 887x80 + 138x81 + 301x82 + 65x83 + 945x84 + 594x85 + 788x86 + 921x87 + 213x88 + 593x89 + 670x90 + 589x91 + 630x92 + 998x93 + 645x94 + 538x95 + 22x96 + 673x97 + 366x98 + 974x99 + 451x100 <= 22882 
constr4: + 136x1 + 134x2 + 667x3 + 514x4 + 862x5 + 778x6 + 268x7 + 172x8 + 981x9 + 834x10 + 774x11 + 711x12 + 801x13 + 443x14 + 245x15 + 137x16 + 31x17 + 467x18 + 154x19 + 555x20 + 329x21 + 239x22 + 331x23 + 512x24 + 313x25 + 253x26 + 161x27 + 851x28 + 486x29 + 608x30 + 141x31 + 684x32 + 416x33 + 134x34 + 232x35 + 393x36 + 940x37 + 193x38 + 5x39 + 893x40 + 806x41 + 8x42 + 911x43 + 770x44 + 907x45 + 483x46 + 523x47 + 670x48 + 282x49 + 25x50 + 860x51 + 847x52 + 982x53 + 138x54 + 97x55 + 663x56 + 948x57 + 324x58 + 152x59 + 919x60 + 565x61 + 903x62 + 222x63 + 971x64 + 324x65 + 279x66 + 854x67 + 993x68 + 805x69 + 277x70 + 902x71 + 457x72 + 426x73 + 437x74 + 209x75 + 452x76 + 61x77 + 470x78 + 511x79 + 821x80 + 76x81 + 339x82 + 252x83 + 984x84 + 425x85 + 109x86 + 411x87 + 486x88 + 870x89 + 877x90 + 193x91 + 516x92 + 992x93 + 540x94 + 2x95 + 247x96 + 515x97 + 777x98 + 989x99 + 881x100 <= 27454 
constr5: + 934x1 + 550x2 + 855x3 + 643x4 + 759x5 + 160x6 + 105x7 + 393x8 + 129x9 + 228x10 + 390x11 + 811x12 + 863x13 + 470x14 + 687x15 + 383x16 + 521x17 + 299x18 + 357x19 + 318x20 + 663x21 + 121x22 + 771x23 + 899x24 + 2x25 + 733x26 + 657x27 + 565x28 + 842x29 + 9x30 + 316x31 + 980x32 + 877x33 + 83x34 + 782x35 + 254x36 + 892x37 + 4x38 + 234x39 + 935x40 + 566x41 + 245x42 + 404x43 + 739x44 + 554x45 + 618x46 + 547x47 + 531x48 + 213x49 + 756x50 + 318x51 + 449x52 + 56x53 + 824x54 + 512x55 + 637x56 + 360x57 + 506x58 + 76x59 + 52x60 + 130x61 + 855x62 + 670x63 + 148x64 + 125x65 + 230x66 + 968x67 + 56x68 + 222x69 + 973x70 + 856x71 + 116x72 + 762x73 + 34x74 + 306x75 + 480x76 + 919x77 + 73x78 + 817x79 + 717x80 + 343x81 + 607x82 + 605x83 + 425x84 + 898x85 + 888x86 + 733x87 + 275x88 + 121x89 + 334x90 + 746x91 + 157x92 + 466x93 + 317x94 + 247x95 + 717x96 + 791x97 + 927x98 + 731x99 + 563x100 <= 26191 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
end