minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37738.352000 
s2: s + 0.001000f1 + 0.501000f2 >= 37738.352000 
f1: -f1 + 757x1 + 679x2 + 852x3 + 1225x4 + 770x5 + 282x6 + 783x7 + 934x8 + 760x9 + 1133x10 + 627x11 + 598x12 + 672x13 + 558x14 + 1057x15 + 569x16 + 961x17 + 1086x18 + 715x19 + 715x20 + 825x21 + 532x22 + 682x23 + 823x24 + 687x25 + 499x26 + 907x27 + 639x28 + 598x29 + 991x30 + 615x31 + 840x32 + 647x33 + 637x34 + 1169x35 + 842x36 + 666x37 + 1048x38 + 596x39 + 807x40 + 677x41 + 729x42 + 616x43 + 921x44 + 371x45 + 907x46 + 900x47 + 851x48 + 598x49 + 726x50 + 708x51 + 646x52 + 754x53 + 1019x54 + 817x55 + 481x56 + 666x57 + 745x58 + 824x59 + 474x60 + 569x61 + 916x62 + 756x63 + 628x64 + 441x65 + 894x66 + 1053x67 + 770x68 + 881x69 + 631x70 + 856x71 + 700x72 + 678x73 + 722x74 + 944x75 + 963x76 + 502x77 + 538x78 + 627x79 + 862x80 + 816x81 + 904x82 + 984x83 + 565x84 + 803x85 + 374x86 + 564x87 + 623x88 + 878x89 + 1038x90 + 384x91 + 672x92 + 892x93 + 843x94 + 736x95 + 667x96 + 937x97 + 909x98 + 1000x99 + 443x100  = 0 
f2: -f2 + 677x1 + 894x2 + 963x3 + 907x4 + 666x5 + 934x6 + 1086x7 + 679x8 + 631x9 + 637x10 + 598x11 + 770x12 + 639x13 + 862x14 + 909x15 + 840x16 + 672x17 + 921x18 + 807x19 + 878x20 + 569x21 + 825x22 + 1048x23 + 564x24 + 842x25 + 615x26 + 700x27 + 672x28 + 803x29 + 843x30 + 1225x31 + 856x32 + 745x33 + 558x34 + 823x35 + 502x36 + 682x37 + 499x38 + 892x39 + 569x40 + 474x41 + 900x42 + 384x43 + 627x44 + 756x45 + 1000x46 + 678x47 + 824x48 + 687x49 + 1053x50 + 647x51 + 596x52 + 1019x53 + 757x54 + 598x55 + 282x56 + 852x57 + 1169x58 + 817x59 + 770x60 + 708x61 + 904x62 + 944x63 + 715x64 + 1133x65 + 1057x66 + 667x67 + 646x68 + 937x69 + 441x70 + 538x71 + 907x72 + 961x73 + 783x74 + 722x75 + 729x76 + 481x77 + 881x78 + 851x79 + 616x80 + 666x81 + 371x82 + 736x83 + 726x84 + 1038x85 + 715x86 + 374x87 + 984x88 + 754x89 + 760x90 + 628x91 + 623x92 + 916x93 + 816x94 + 532x95 + 565x96 + 991x97 + 443x98 + 598x99 + 627x100  = 0 
constr1: + 356x1 + 6x2 + 832x3 + 433x4 + 810x5 + 386x6 + 440x7 + 906x8 + 516x9 + 956x10 + 510x11 + 657x12 + 595x13 + 429x14 + 948x15 + 97x16 + 229x17 + 573x18 + 403x19 + 906x20 + 98x21 + 245x22 + 56x23 + 676x24 + 528x25 + 89x26 + 441x27 + 748x28 + 455x29 + 626x30 + 936x31 + 409x32 + 405x33 + 661x34 + 724x35 + 852x36 + 503x37 + 342x38 + 51x39 + 298x40 + 581x41 + 474x42 + 241x43 + 753x44 + 355x45 + 152x46 + 837x47 + 956x48 + 799x49 + 510x50 + 432x51 + 71x52 + 22x53 + 579x54 + 213x55 + 666x56 + 638x57 + 80x58 + 192x59 + 14x60 + 873x61 + 493x62 + 607x63 + 401x64 + 71x65 + 174x66 + 609x67 + 777x68 + 385x69 + 770x70 + 41x71 + 763x72 + 629x73 + 104x74 + 170x75 + 90x76 + 317x77 + 73x78 + 128x79 + 438x80 + 70x81 + 124x82 + 610x83 + 579x84 + 971x85 + 620x86 + 570x87 + 13x88 + 510x89 + 114x90 + 465x91 + 268x92 + 170x93 + 547x94 + 427x95 + 932x96 + 201x97 + 615x98 + 119x99 + 377x100 <= 33727 
constr2: + 787x1 + 152x2 + 370x3 + 914x4 + 95x5 + 645x6 + 508x7 + 603x8 + 696x9 + 977x10 + 151x11 + 88x12 + 566x13 + 741x14 + 139x15 + 59x16 + 254x17 + 999x18 + 804x19 + 344x20 + 162x21 + 467x22 + 453x23 + 399x24 + 928x25 + 482x26 + 785x27 + 628x28 + 244x29 + 315x30 + 401x31 + 296x32 + 182x33 + 724x34 + 205x35 + 396x36 + 521x37 + 143x38 + 67x39 + 889x40 + 89x41 + 877x42 + 577x43 + 497x44 + 34x45 + 317x46 + 315x47 + 315x48 + 80x49 + 665x50 + 75x51 + 433x52 + 659x53 + 5x54 + 581x55 + 66x56 + 440x57 + 470x58 + 6x59 + 56x60 + 526x61 + 293x62 + 184x63 + 416x64 + 246x65 + 401x66 + 263x67 + 163x68 + 632x69 + 966x70 + 1x71 + 495x72 + 749x73 + 721x74 + 840x75 + 4x76 + 833x77 + 286x78 + 119x79 + 457x80 + 357x81 + 344x82 + 167x83 + 459x84 + 734x85 + 655x86 + 247x87 + 593x88 + 584x89 + 991x90 + 429x91 + 42x92 + 488x93 + 660x94 + 712x95 + 913x96 + 148x97 + 184x98 + 409x99 + 886x100 <= 36339 
constr3: + 241x1 + 603x2 + 725x3 + 945x4 + 162x5 + 75x6 + 252x7 + 569x8 + 122x9 + 831x10 + 245x11 + 346x12 + 308x13 + 141x14 + 173x15 + 896x16 + 173x17 + 754x18 + 802x19 + 98x20 + 286x21 + 978x22 + 106x23 + 351x24 + 86x25 + 336x26 + 777x27 + 637x28 + 521x29 + 909x30 + 445x31 + 511x32 + 897x33 + 369x34 + 418x35 + 66x36 + 607x37 + 651x38 + 29x39 + 948x40 + 968x41 + 569x42 + 970x43 + 812x44 + 863x45 + 254x46 + 604x47 + 952x48 + 559x49 + 191x50 + 632x51 + 18x52 + 702x53 + 628x54 + 353x55 + 303x56 + 778x57 + 400x58 + 801x59 + 933x60 + 987x61 + 520x62 + 933x63 + 107x64 + 723x65 + 691x66 + 142x67 + 886x68 + 600x69 + 614x70 + 887x71 + 376x72 + 550x73 + 765x74 + 258x75 + 783x76 + 526x77 + 553x78 + 722x79 + 903x80 + 888x81 + 901x82 + 183x83 + 815x84 + 456x85 + 383x86 + 52x87 + 653x88 + 705x89 + 263x90 + 89x91 + 73x92 + 532x93 + 377x94 + 95x95 + 210x96 + 544x97 + 618x98 + 511x99 + 292x100 <= 36746 
constr4: + 469x1 + 384x2 + 95x3 + 71x4 + 52x5 + 11x6 + 589x7 + 636x8 + 196x9 + 418x10 + 96x11 + 453x12 + 398x13 + 447x14 + 113x15 + 496x16 + 397x17 + 828x18 + 38x19 + 365x20 + 976x21 + 31x22 + 467x23 + 24x24 + 143x25 + 595x26 + 767x27 + 171x28 + 589x29 + 567x30 + 103x31 + 820x32 + 803x33 + 867x34 + 236x35 + 346x36 + 7x37 + 990x38 + 732x39 + 871x40 + 879x41 + 320x42 + 889x43 + 661x44 + 720x45 + 73x46 + 484x47 + 681x48 + 677x49 + 63x50 + 887x51 + 864x52 + 440x53 + 728x54 + 342x55 + 212x56 + 178x57 + 645x58 + 692x59 + 438x60 + 972x61 + 521x62 + 485x63 + 289x64 + 362x65 + 836x66 + 544x67 + 323x68 + 515x69 + 243x70 + 849x71 + 275x72 + 505x73 + 75x74 + 480x75 + 481x76 + 345x77 + 306x78 + 115x79 + 353x80 + 458x81 + 357x82 + 620x83 + 430x84 + 389x85 + 127x86 + 691x87 + 782x88 + 914x89 + 791x90 + 834x91 + 450x92 + 21x93 + 23x94 + 364x95 + 522x96 + 27x97 + 764x98 + 995x99 + 555x100 <= 35213 
constr5: + 507x1 + 715x2 + 75x3 + 91x4 + 140x5 + 992x6 + 769x7 + 15x8 + 618x9 + 683x10 + 197x11 + 416x12 + 715x13 + 389x14 + 901x15 + 339x16 + 945x17 + 145x18 + 324x19 + 100x20 + 819x21 + 619x22 + 948x23 + 607x24 + 201x25 + 653x26 + 828x27 + 510x28 + 130x29 + 62x30 + 920x31 + 984x32 + 110x33 + 329x34 + 266x35 + 854x36 + 83x37 + 975x38 + 485x39 + 206x40 + 409x41 + 853x42 + 652x43 + 219x44 + 508x45 + 915x46 + 797x47 + 988x48 + 125x49 + 946x50 + 456x51 + 191x52 + 784x53 + 308x54 + 150x55 + 25x56 + 460x57 + 937x58 + 58x59 + 928x60 + 444x61 + 605x62 + 609x63 + 747x64 + 337x65 + 371x66 + 489x67 + 359x68 + 372x69 + 41x70 + 707x71 + 49x72 + 94x73 + 369x74 + 689x75 + 763x76 + 590x77 + 219x78 + 726x79 + 463x80 + 373x81 + 972x82 + 592x83 + 613x84 + 652x85 + 212x86 + 894x87 + 396x88 + 89x89 + 467x90 + 658x91 + 730x92 + 244x93 + 338x94 + 942x95 + 341x96 + 428x97 + 618x98 + 607x99 + 262x100 <= 35615 
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