minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37746.384000 
s2: s + 0.001000f1 + 0.501000f2 >= 37746.384000 
f1: -f1 + 829x1 + 618x2 + 641x3 + 992x4 + 985x5 + 570x6 + 650x7 + 902x8 + 1049x9 + 571x10 + 567x11 + 498x12 + 600x13 + 986x14 + 855x15 + 688x16 + 995x17 + 962x18 + 644x19 + 710x20 + 632x21 + 1068x22 + 735x23 + 1087x24 + 646x25 + 780x26 + 655x27 + 706x28 + 1113x29 + 550x30 + 625x31 + 967x32 + 1101x33 + 551x34 + 963x35 + 799x36 + 472x37 + 1134x38 + 692x39 + 512x40 + 852x41 + 749x42 + 557x43 + 1144x44 + 707x45 + 679x46 + 907x47 + 789x48 + 732x49 + 556x50 + 784x51 + 796x52 + 702x53 + 744x54 + 603x55 + 917x56 + 998x57 + 527x58 + 949x59 + 791x60 + 883x61 + 619x62 + 707x63 + 383x64 + 494x65 + 477x66 + 822x67 + 1137x68 + 807x69 + 615x70 + 935x71 + 448x72 + 743x73 + 926x74 + 818x75 + 669x76 + 650x77 + 798x78 + 509x79 + 732x80 + 842x81 + 882x82 + 643x83 + 752x84 + 1063x85 + 436x86 + 637x87 + 652x88 + 914x89 + 510x90 + 749x91 + 727x92 + 731x93 + 663x94 + 790x95 + 888x96 + 506x97 + 545x98 + 872x99 + 635x100  = 0 
f2: -f2 + 509x1 + 822x2 + 888x3 + 963x4 + 992x5 + 882x6 + 962x7 + 641x8 + 790x9 + 749x10 + 998x11 + 1134x12 + 791x13 + 545x14 + 635x15 + 706x16 + 967x17 + 986x18 + 732x19 + 743x20 + 798x21 + 1101x22 + 707x23 + 752x24 + 926x25 + 935x26 + 995x27 + 735x28 + 807x29 + 1137x30 + 618x31 + 1087x32 + 1068x33 + 852x34 + 567x35 + 1049x36 + 600x37 + 472x38 + 917x39 + 652x40 + 571x41 + 744x42 + 527x43 + 619x44 + 749x45 + 818x46 + 512x47 + 692x48 + 644x49 + 796x50 + 784x51 + 643x52 + 710x53 + 383x54 + 655x55 + 663x56 + 907x57 + 506x58 + 556x59 + 646x60 + 494x61 + 780x62 + 789x63 + 557x64 + 448x65 + 498x66 + 702x67 + 949x68 + 632x69 + 707x70 + 625x71 + 732x72 + 829x73 + 570x74 + 510x75 + 603x76 + 883x77 + 436x78 + 842x79 + 1063x80 + 650x81 + 727x82 + 872x83 + 731x84 + 637x85 + 477x86 + 688x87 + 914x88 + 650x89 + 669x90 + 855x91 + 1144x92 + 615x93 + 679x94 + 799x95 + 551x96 + 902x97 + 985x98 + 550x99 + 1113x100  = 0 
constr1: + 502x1 + 533x2 + 697x3 + 408x4 + 809x5 + 41x6 + 515x7 + 241x8 + 595x9 + 342x10 + 60x11 + 429x12 + 633x13 + 370x14 + 523x15 + 758x16 + 432x17 + 364x18 + 984x19 + 393x20 + 430x21 + 762x22 + 887x23 + 813x24 + 264x25 + 862x26 + 322x27 + 523x28 + 338x29 + 464x30 + 202x31 + 395x32 + 616x33 + 83x34 + 924x35 + 953x36 + 87x37 + 407x38 + 996x39 + 650x40 + 828x41 + 41x42 + 139x43 + 641x44 + 112x45 + 453x46 + 184x47 + 800x48 + 344x49 + 304x50 + 601x51 + 512x52 + 639x53 + 166x54 + 878x55 + 263x56 + 529x57 + 510x58 + 378x59 + 805x60 + 839x61 + 631x62 + 649x63 + 614x64 + 996x65 + 498x66 + 656x67 + 789x68 + 721x69 + 645x70 + 464x71 + 436x72 + 459x73 + 172x74 + 841x75 + 295x76 + 865x77 + 502x78 + 207x79 + 10x80 + 949x81 + 129x82 + 46x83 + 166x84 + 657x85 + 685x86 + 421x87 + 824x88 + 469x89 + 873x90 + 860x91 + 764x92 + 57x93 + 145x94 + 494x95 + 908x96 + 712x97 + 18x98 + 325x99 + 595x100 <= 12440 
constr2: + 66x1 + 658x2 + 437x3 + 866x4 + 802x5 + 432x6 + 995x7 + 541x8 + 899x9 + 791x10 + 722x11 + 856x12 + 59x13 + 528x14 + 327x15 + 320x16 + 678x17 + 908x18 + 620x19 + 119x20 + 323x21 + 352x22 + 331x23 + 541x24 + 591x25 + 282x26 + 363x27 + 163x28 + 346x29 + 239x30 + 710x31 + 71x32 + 68x33 + 938x34 + 535x35 + 929x36 + 287x37 + 717x38 + 717x39 + 280x40 + 553x41 + 933x42 + 809x43 + 460x44 + 608x45 + 968x46 + 807x47 + 818x48 + 556x49 + 542x50 + 591x51 + 378x52 + 131x53 + 345x54 + 121x55 + 425x56 + 609x57 + 413x58 + 34x59 + 430x60 + 674x61 + 725x62 + 177x63 + 205x64 + 517x65 + 332x66 + 185x67 + 702x68 + 673x69 + 519x70 + 93x71 + 787x72 + 124x73 + 115x74 + 110x75 + 507x76 + 400x77 + 291x78 + 228x79 + 707x80 + 517x81 + 21x82 + 542x83 + 878x84 + 933x85 + 506x86 + 369x87 + 73x88 + 682x89 + 147x90 + 963x91 + 560x92 + 641x93 + 338x94 + 190x95 + 758x96 + 59x97 + 183x98 + 915x99 + 79x100 <= 12184 
constr3: + 229x1 + 340x2 + 172x3 + 475x4 + 683x5 + 538x6 + 824x7 + 806x8 + 676x9 + 253x10 + 945x11 + 102x12 + 235x13 + 546x14 + 412x15 + 230x16 + 562x17 + 188x18 + 627x19 + 43x20 + 712x21 + 411x22 + 388x23 + 144x24 + 657x25 + 66x26 + 471x27 + 428x28 + 616x29 + 712x30 + 353x31 + 644x32 + 598x33 + 602x34 + 20x35 + 536x36 + 575x37 + 189x38 + 283x39 + 344x40 + 337x41 + 845x42 + 174x43 + 906x44 + 653x45 + 909x46 + 459x47 + 779x48 + 177x49 + 813x50 + 216x51 + 970x52 + 116x53 + 725x54 + 600x55 + 803x56 + 328x57 + 541x58 + 515x59 + 969x60 + 396x61 + 552x62 + 372x63 + 33x64 + 905x65 + 589x66 + 834x67 + 935x68 + 897x69 + 244x70 + 254x71 + 50x72 + 607x73 + 904x74 + 536x75 + 879x76 + 762x77 + 601x78 + 160x79 + 423x80 + 55x81 + 599x82 + 766x83 + 808x84 + 257x85 + 223x86 + 577x87 + 948x88 + 275x89 + 926x90 + 543x91 + 563x92 + 48x93 + 463x94 + 762x95 + 714x96 + 7x97 + 324x98 + 302x99 + 345x100 <= 13875 
constr4: + 725x1 + 95x2 + 549x3 + 253x4 + 738x5 + 342x6 + 255x7 + 577x8 + 772x9 + 400x10 + 164x11 + 573x12 + 737x13 + 699x14 + 869x15 + 6x16 + 595x17 + 48x18 + 571x19 + 587x20 + 645x21 + 715x22 + 546x23 + 300x24 + 848x25 + 101x26 + 750x27 + 265x28 + 467x29 + 866x30 + 715x31 + 440x32 + 12x33 + 793x34 + 303x35 + 301x36 + 290x37 + 880x38 + 702x39 + 592x40 + 862x41 + 980x42 + 769x43 + 816x44 + 341x45 + 985x46 + 726x47 + 1x48 + 736x49 + 326x50 + 918x51 + 751x52 + 494x53 + 135x54 + 569x55 + 632x56 + 647x57 + 960x58 + 946x59 + 148x60 + 128x61 + 365x62 + 75x63 + 644x64 + 989x65 + 842x66 + 128x67 + 883x68 + 906x69 + 595x70 + 627x71 + 224x72 + 64x73 + 924x74 + 962x75 + 456x76 + 985x77 + 31x78 + 523x79 + 324x80 + 290x81 + 792x82 + 707x83 + 61x84 + 596x85 + 928x86 + 194x87 + 618x88 + 609x89 + 772x90 + 119x91 + 959x92 + 63x93 + 947x94 + 851x95 + 123x96 + 199x97 + 938x98 + 472x99 + 584x100 <= 11869 
constr5: + 461x1 + 501x2 + 801x3 + 467x4 + 160x5 + 957x6 + 712x7 + 313x8 + 560x9 + 180x10 + 116x11 + 623x12 + 376x13 + 352x14 + 841x15 + 409x16 + 778x17 + 291x18 + 720x19 + 448x20 + 833x21 + 141x22 + 817x23 + 311x24 + 101x25 + 401x26 + 871x27 + 284x28 + 401x29 + 129x30 + 176x31 + 247x32 + 421x33 + 745x34 + 586x35 + 396x36 + 714x37 + 813x38 + 797x39 + 512x40 + 225x41 + 433x42 + 819x43 + 998x44 + 963x45 + 509x46 + 336x47 + 656x48 + 263x49 + 718x50 + 394x51 + 957x52 + 662x53 + 843x54 + 735x55 + 5x56 + 575x57 + 932x58 + 226x59 + 14x60 + 569x61 + 292x62 + 76x63 + 660x64 + 284x65 + 337x66 + 291x67 + 66x68 + 408x69 + 15x70 + 284x71 + 220x72 + 889x73 + 169x74 + 192x75 + 433x76 + 591x77 + 211x78 + 328x79 + 194x80 + 784x81 + 529x82 + 864x83 + 475x84 + 378x85 + 376x86 + 341x87 + 764x88 + 290x89 + 7x90 + 95x91 + 743x92 + 87x93 + 611x94 + 717x95 + 240x96 + 900x97 + 301x98 + 659x99 + 31x100 <= 12243 
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