minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38703.196000 
s2: s + 0.001000f1 + 0.501000f2 >= 38703.196000 
f1: -f1 + 982x1 + 1009x2 + 1105x3 + 967x4 + 697x5 + 901x6 + 641x7 + 690x8 + 546x9 + 613x10 + 708x11 + 1059x12 + 569x13 + 976x14 + 774x15 + 755x16 + 842x17 + 972x18 + 761x19 + 625x20 + 861x21 + 880x22 + 804x23 + 573x24 + 851x25 + 514x26 + 853x27 + 663x28 + 1004x29 + 572x30 + 944x31 + 732x32 + 830x33 + 476x34 + 824x35 + 758x36 + 728x37 + 707x38 + 739x39 + 474x40 + 428x41 + 417x42 + 835x43 + 581x44 + 632x45 + 484x46 + 892x47 + 1035x48 + 401x49 + 839x50 + 600x51 + 684x52 + 1066x53 + 834x54 + 857x55 + 1061x56 + 710x57 + 877x58 + 795x59 + 976x60 + 1154x61 + 426x62 + 827x63 + 1082x64 + 943x65 + 797x66 + 557x67 + 834x68 + 497x69 + 705x70 + 695x71 + 609x72 + 655x73 + 630x74 + 614x75 + 935x76 + 1003x77 + 803x78 + 704x79 + 836x80 + 445x81 + 808x82 + 464x83 + 651x84 + 1079x85 + 781x86 + 708x87 + 861x88 + 1230x89 + 927x90 + 494x91 + 1096x92 + 673x93 + 626x94 + 861x95 + 734x96 + 825x97 + 842x98 + 995x99 + 709x100  = 0 
f2: -f2 + 755x1 + 836x2 + 808x3 + 710x4 + 803x5 + 781x6 + 861x7 + 995x8 + 630x9 + 944x10 + 943x11 + 625x12 + 697x13 + 935x14 + 1082x15 + 728x16 + 690x17 + 835x18 + 797x19 + 880x20 + 1004x21 + 632x22 + 853x23 + 901x24 + 892x25 + 572x26 + 497x27 + 707x28 + 851x29 + 795x30 + 877x31 + 705x32 + 569x33 + 626x34 + 861x35 + 774x36 + 1035x37 + 761x38 + 514x39 + 972x40 + 546x41 + 614x42 + 708x43 + 1105x44 + 464x45 + 1059x46 + 494x47 + 445x48 + 684x49 + 573x50 + 976x51 + 609x52 + 476x53 + 708x54 + 834x55 + 655x56 + 861x57 + 673x58 + 732x59 + 417x60 + 734x61 + 1061x62 + 758x63 + 1230x64 + 426x65 + 557x66 + 830x67 + 1066x68 + 651x69 + 1009x70 + 739x71 + 834x72 + 663x73 + 1154x74 + 401x75 + 704x76 + 842x77 + 474x78 + 1096x79 + 709x80 + 982x81 + 428x82 + 1079x83 + 1003x84 + 613x85 + 695x86 + 824x87 + 857x88 + 842x89 + 827x90 + 600x91 + 967x92 + 804x93 + 927x94 + 581x95 + 825x96 + 484x97 + 839x98 + 641x99 + 976x100  = 0 
constr1: + 943x1 + 768x2 + 113x3 + 112x4 + 619x5 + 431x6 + 948x7 + 551x8 + 186x9 + 382x10 + 204x11 + 965x12 + 849x13 + 855x14 + 598x15 + 951x16 + 791x17 + 682x18 + 86x19 + 900x20 + 184x21 + 476x22 + 4x23 + 47x24 + 931x25 + 35x26 + 417x27 + 875x28 + 388x29 + 615x30 + 431x31 + 985x32 + 873x33 + 280x34 + 410x35 + 569x36 + 230x37 + 552x38 + 449x39 + 58x40 + 929x41 + 848x42 + 739x43 + 570x44 + 915x45 + 481x46 + 27x47 + 484x48 + 987x49 + 865x50 + 881x51 + 757x52 + 971x53 + 995x54 + 358x55 + 93x56 + 47x57 + 11x58 + 62x59 + 511x60 + 97x61 + 918x62 + 763x63 + 304x64 + 486x65 + 108x66 + 942x67 + 527x68 + 95x69 + 139x70 + 253x71 + 65x72 + 472x73 + 571x74 + 603x75 + 762x76 + 145x77 + 180x78 + 75x79 + 267x80 + 734x81 + 720x82 + 739x83 + 734x84 + 760x85 + 64x86 + 89x87 + 259x88 + 392x89 + 32x90 + 359x91 + 745x92 + 726x93 + 842x94 + 510x95 + 604x96 + 926x97 + 891x98 + 876x99 + 74x100 <= 42813 
constr2: + 948x1 + 229x2 + 685x3 + 906x4 + 446x5 + 313x6 + 851x7 + 1x8 + 76x9 + 924x10 + 974x11 + 284x12 + 329x13 + 521x14 + 606x15 + 971x16 + 839x17 + 952x18 + 798x19 + 729x20 + 613x21 + 48x22 + 253x23 + 277x24 + 998x25 + 260x26 + 803x27 + 1000x28 + 696x29 + 335x30 + 771x31 + 681x32 + 697x33 + 632x34 + 526x35 + 154x36 + 674x37 + 541x38 + 786x39 + 218x40 + 402x41 + 304x42 + 853x43 + 383x44 + 353x45 + 858x46 + 4x47 + 426x48 + 282x49 + 74x50 + 65x51 + 281x52 + 78x53 + 756x54 + 337x55 + 355x56 + 416x57 + 426x58 + 874x59 + 255x60 + 316x61 + 716x62 + 613x63 + 145x64 + 527x65 + 751x66 + 504x67 + 369x68 + 230x69 + 976x70 + 505x71 + 604x72 + 222x73 + 45x74 + 538x75 + 728x76 + 671x77 + 768x78 + 656x79 + 993x80 + 608x81 + 867x82 + 650x83 + 661x84 + 794x85 + 787x86 + 42x87 + 784x88 + 732x89 + 685x90 + 413x91 + 286x92 + 554x93 + 89x94 + 442x95 + 717x96 + 381x97 + 338x98 + 77x99 + 367x100 <= 36845 
constr3: + 984x1 + 497x2 + 24x3 + 639x4 + 956x5 + 257x6 + 882x7 + 956x8 + 325x9 + 481x10 + 952x11 + 978x12 + 282x13 + 577x14 + 800x15 + 739x16 + 203x17 + 622x18 + 693x19 + 192x20 + 282x21 + 604x22 + 227x23 + 14x24 + 336x25 + 327x26 + 822x27 + 352x28 + 413x29 + 856x30 + 586x31 + 523x32 + 854x33 + 977x34 + 65x35 + 852x36 + 156x37 + 752x38 + 798x39 + 706x40 + 218x41 + 276x42 + 829x43 + 699x44 + 115x45 + 872x46 + 87x47 + 824x48 + 276x49 + 658x50 + 718x51 + 697x52 + 327x53 + 51x54 + 54x55 + 295x56 + 156x57 + 133x58 + 878x59 + 539x60 + 805x61 + 751x62 + 202x63 + 850x64 + 425x65 + 888x66 + 385x67 + 502x68 + 189x69 + 957x70 + 749x71 + 755x72 + 25x73 + 474x74 + 399x75 + 575x76 + 625x77 + 827x78 + 190x79 + 471x80 + 782x81 + 993x82 + 452x83 + 802x84 + 696x85 + 468x86 + 223x87 + 679x88 + 677x89 + 779x90 + 856x91 + 221x92 + 951x93 + 84x94 + 119x95 + 823x96 + 560x97 + 5x98 + 33x99 + 636x100 <= 36146 
constr4: + 859x1 + 299x2 + 169x3 + 14x4 + 665x5 + 886x6 + 182x7 + 111x8 + 247x9 + 262x10 + 509x11 + 643x12 + 510x13 + 881x14 + 493x15 + 759x16 + 681x17 + 870x18 + 39x19 + 970x20 + 608x21 + 501x22 + 405x23 + 91x24 + 523x25 + 877x26 + 409x27 + 951x28 + 799x29 + 324x30 + 198x31 + 639x32 + 267x33 + 593x34 + 479x35 + 916x36 + 703x37 + 225x38 + 562x39 + 363x40 + 930x41 + 572x42 + 963x43 + 919x44 + 169x45 + 334x46 + 87x47 + 401x48 + 663x49 + 222x50 + 816x51 + 369x52 + 576x53 + 279x54 + 490x55 + 746x56 + 572x57 + 920x58 + 920x59 + 639x60 + 788x61 + 716x62 + 816x63 + 800x64 + 510x65 + 416x66 + 351x67 + 827x68 + 568x69 + 312x70 + 174x71 + 467x72 + 943x73 + 154x74 + 31x75 + 169x76 + 574x77 + 926x78 + 976x79 + 446x80 + 477x81 + 170x82 + 341x83 + 757x84 + 879x85 + 161x86 + 715x87 + 360x88 + 138x89 + 69x90 + 881x91 + 146x92 + 942x93 + 441x94 + 621x95 + 630x96 + 405x97 + 960x98 + 360x99 + 954x100 <= 37149 
constr5: + 801x1 + 88x2 + 28x3 + 287x4 + 300x5 + 575x6 + 205x7 + 455x8 + 767x9 + 869x10 + 805x11 + 851x12 + 901x13 + 291x14 + 964x15 + 747x16 + 729x17 + 39x18 + 632x19 + 346x20 + 85x21 + 49x22 + 348x23 + 638x24 + 714x25 + 145x26 + 34x27 + 246x28 + 325x29 + 665x30 + 683x31 + 318x32 + 340x33 + 786x34 + 713x35 + 661x36 + 739x37 + 128x38 + 97x39 + 705x40 + 667x41 + 693x42 + 659x43 + 232x44 + 52x45 + 47x46 + 829x47 + 14x48 + 582x49 + 9x50 + 571x51 + 709x52 + 467x53 + 618x54 + 127x55 + 17x56 + 771x57 + 712x58 + 249x59 + 567x60 + 517x61 + 347x62 + 62x63 + 729x64 + 906x65 + 402x66 + 352x67 + 83x68 + 48x69 + 359x70 + 1x71 + 707x72 + 582x73 + 833x74 + 296x75 + 459x76 + 261x77 + 925x78 + 536x79 + 470x80 + 393x81 + 45x82 + 427x83 + 388x84 + 659x85 + 124x86 + 227x87 + 982x88 + 439x89 + 863x90 + 426x91 + 770x92 + 517x93 + 868x94 + 31x95 + 884x96 + 441x97 + 376x98 + 520x99 + 225x100 <= 39151 
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