minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36383.454000 
s2: s + 0.001000f1 + 0.501000f2 >= 36383.454000 
f1: -f1 + 712x1 + 839x2 + 811x3 + 531x4 + 621x5 + 641x6 + 655x7 + 909x8 + 811x9 + 606x10 + 886x11 + 804x12 + 555x13 + 844x14 + 792x15 + 537x16 + 456x17 + 452x18 + 813x19 + 693x20 + 682x21 + 539x22 + 786x23 + 781x24 + 763x25 + 672x26 + 672x27 + 590x28 + 1166x29 + 546x30 + 441x31 + 517x32 + 1030x33 + 352x34 + 862x35 + 873x36 + 871x37 + 541x38 + 860x39 + 706x40 + 629x41 + 552x42 + 557x43 + 563x44 + 1121x45 + 551x46 + 539x47 + 1137x48 + 731x49 + 1167x50 + 736x51 + 863x52 + 498x53 + 566x54 + 424x55 + 939x56 + 1046x57 + 952x58 + 588x59 + 973x60 + 978x61 + 640x62 + 930x63 + 625x64 + 1001x65 + 686x66 + 788x67 + 1005x68 + 750x69 + 572x70 + 637x71 + 513x72 + 822x73 + 560x74 + 831x75 + 928x76 + 334x77 + 866x78 + 618x79 + 652x80 + 751x81 + 672x82 + 708x83 + 936x84 + 901x85 + 582x86 + 770x87 + 932x88 + 653x89 + 402x90 + 555x91 + 760x92 + 449x93 + 986x94 + 547x95 + 832x96 + 526x97 + 574x98 + 1160x99 + 695x100  = 0 
f2: -f2 + 792x1 + 621x2 + 588x3 + 531x4 + 641x5 + 708x6 + 693x7 + 672x8 + 901x9 + 751x10 + 563x11 + 770x12 + 1030x13 + 811x14 + 546x15 + 1160x16 + 655x17 + 526x18 + 653x19 + 986x20 + 682x21 + 909x22 + 763x23 + 952x24 + 736x25 + 760x26 + 686x27 + 539x28 + 672x29 + 804x30 + 574x31 + 832x32 + 618x33 + 1137x34 + 498x35 + 557x36 + 863x37 + 781x38 + 822x39 + 750x40 + 886x41 + 424x42 + 932x43 + 871x44 + 1166x45 + 334x46 + 873x47 + 539x48 + 695x49 + 352x50 + 788x51 + 555x52 + 456x53 + 1167x54 + 811x55 + 547x56 + 513x57 + 555x58 + 541x59 + 928x60 + 517x61 + 537x62 + 973x63 + 860x64 + 731x65 + 449x66 + 606x67 + 551x68 + 452x69 + 866x70 + 441x71 + 566x72 + 625x73 + 844x74 + 712x75 + 930x76 + 813x77 + 1001x78 + 862x79 + 1121x80 + 402x81 + 640x82 + 637x83 + 1005x84 + 831x85 + 672x86 + 939x87 + 560x88 + 590x89 + 629x90 + 978x91 + 786x92 + 936x93 + 706x94 + 652x95 + 552x96 + 582x97 + 572x98 + 839x99 + 1046x100  = 0 
constr1: + 684x1 + 197x2 + 582x3 + 565x4 + 483x5 + 718x6 + 455x7 + 748x8 + 68x9 + 522x10 + 298x11 + 880x12 + 860x13 + 299x14 + 537x15 + 711x16 + 988x17 + 66x18 + 638x19 + 990x20 + 304x21 + 309x22 + 548x23 + 284x24 + 434x25 + 812x26 + 306x27 + 859x28 + 228x29 + 990x30 + 312x31 + 509x32 + 473x33 + 255x34 + 294x35 + 693x36 + 209x37 + 447x38 + 631x39 + 570x40 + 87x41 + 714x42 + 737x43 + 74x44 + 538x45 + 258x46 + 410x47 + 219x48 + 134x49 + 396x50 + 689x51 + 849x52 + 752x53 + 685x54 + 834x55 + 734x56 + 836x57 + 140x58 + 24x59 + 837x60 + 384x61 + 404x62 + 697x63 + 549x64 + 245x65 + 432x66 + 11x67 + 71x68 + 65x69 + 286x70 + 993x71 + 87x72 + 606x73 + 727x74 + 28x75 + 234x76 + 161x77 + 397x78 + 354x79 + 660x80 + 26x81 + 130x82 + 711x83 + 783x84 + 607x85 + 896x86 + 310x87 + 188x88 + 719x89 + 125x90 + 247x91 + 194x92 + 120x93 + 75x94 + 838x95 + 599x96 + 552x97 + 840x98 + 560x99 + 121x100 <= 24476 
constr2: + 924x1 + 409x2 + 701x3 + 616x4 + 153x5 + 580x6 + 133x7 + 413x8 + 350x9 + 282x10 + 946x11 + 914x12 + 394x13 + 292x14 + 596x15 + 13x16 + 71x17 + 997x18 + 808x19 + 5x20 + 938x21 + 747x22 + 941x23 + 31x24 + 467x25 + 797x26 + 542x27 + 696x28 + 407x29 + 307x30 + 22x31 + 766x32 + 942x33 + 88x34 + 173x35 + 389x36 + 776x37 + 769x38 + 917x39 + 99x40 + 662x41 + 931x42 + 220x43 + 179x44 + 115x45 + 198x46 + 960x47 + 314x48 + 752x49 + 589x50 + 700x51 + 244x52 + 537x53 + 737x54 + 117x55 + 204x56 + 841x57 + 57x58 + 979x59 + 679x60 + 46x61 + 386x62 + 360x63 + 702x64 + 836x65 + 103x66 + 195x67 + 533x68 + 763x69 + 855x70 + 554x71 + 183x72 + 208x73 + 689x74 + 450x75 + 222x76 + 813x77 + 82x78 + 703x79 + 515x80 + 945x81 + 360x82 + 202x83 + 531x84 + 966x85 + 262x86 + 341x87 + 100x88 + 109x89 + 543x90 + 336x91 + 907x92 + 489x93 + 343x94 + 130x95 + 566x96 + 294x97 + 901x98 + 367x99 + 808x100 <= 25623 
constr3: + 669x1 + 685x2 + 579x3 + 589x4 + 46x5 + 480x6 + 851x7 + 232x8 + 128x9 + 710x10 + 834x11 + 69x12 + 270x13 + 15x14 + 515x15 + 503x16 + 148x17 + 299x18 + 247x19 + 752x20 + 579x21 + 765x22 + 415x23 + 655x24 + 776x25 + 499x26 + 83x27 + 214x28 + 176x29 + 831x30 + 252x31 + 725x32 + 76x33 + 268x34 + 258x35 + 370x36 + 605x37 + 552x38 + 142x39 + 332x40 + 407x41 + 316x42 + 533x43 + 418x44 + 741x45 + 116x46 + 674x47 + 302x48 + 201x49 + 943x50 + 913x51 + 842x52 + 992x53 + 991x54 + 578x55 + 583x56 + 743x57 + 998x58 + 92x59 + 607x60 + 97x61 + 573x62 + 46x63 + 49x64 + 140x65 + 53x66 + 829x67 + 902x68 + 207x69 + 353x70 + 128x71 + 614x72 + 596x73 + 634x74 + 123x75 + 69x76 + 421x77 + 57x78 + 325x79 + 155x80 + 50x81 + 907x82 + 2x83 + 295x84 + 212x85 + 702x86 + 409x87 + 426x88 + 545x89 + 622x90 + 284x91 + 283x92 + 767x93 + 855x94 + 441x95 + 325x96 + 764x97 + 1000x98 + 92x99 + 747x100 <= 26748 
constr4: + 293x1 + 720x2 + 249x3 + 606x4 + 272x5 + 822x6 + 425x7 + 849x8 + 345x9 + 170x10 + 640x11 + 295x12 + 778x13 + 473x14 + 509x15 + 544x16 + 199x17 + 871x18 + 546x19 + 482x20 + 992x21 + 840x22 + 91x23 + 496x24 + 784x25 + 913x26 + 522x27 + 316x28 + 179x29 + 996x30 + 978x31 + 500x32 + 458x33 + 118x34 + 634x35 + 703x36 + 543x37 + 129x38 + 878x39 + 948x40 + 55x41 + 81x42 + 925x43 + 919x44 + 723x45 + 760x46 + 221x47 + 699x48 + 845x49 + 737x50 + 63x51 + 902x52 + 667x53 + 108x54 + 738x55 + 249x56 + 462x57 + 742x58 + 449x59 + 746x60 + 168x61 + 815x62 + 396x63 + 784x64 + 671x65 + 233x66 + 376x67 + 492x68 + 76x69 + 957x70 + 247x71 + 784x72 + 643x73 + 563x74 + 173x75 + 201x76 + 809x77 + 269x78 + 472x79 + 420x80 + 991x81 + 243x82 + 245x83 + 555x84 + 513x85 + 669x86 + 42x87 + 37x88 + 318x89 + 259x90 + 488x91 + 431x92 + 77x93 + 196x94 + 733x95 + 516x96 + 204x97 + 513x98 + 140x99 + 990x100 <= 21385 
constr5: + 348x1 + 330x2 + 396x3 + 36x4 + 3x5 + 234x6 + 552x7 + 981x8 + 763x9 + 594x10 + 95x11 + 925x12 + 846x13 + 730x14 + 609x15 + 836x16 + 152x17 + 401x18 + 176x19 + 349x20 + 228x21 + 560x22 + 812x23 + 335x24 + 1000x25 + 721x26 + 821x27 + 549x28 + 578x29 + 974x30 + 470x31 + 184x32 + 689x33 + 257x34 + 282x35 + 242x36 + 685x37 + 472x38 + 464x39 + 51x40 + 482x41 + 93x42 + 814x43 + 479x44 + 391x45 + 519x46 + 816x47 + 798x48 + 465x49 + 626x50 + 126x51 + 714x52 + 735x53 + 864x54 + 247x55 + 703x56 + 573x57 + 117x58 + 655x59 + 236x60 + 768x61 + 987x62 + 105x63 + 796x64 + 964x65 + 267x66 + 990x67 + 356x68 + 719x69 + 607x70 + 418x71 + 355x72 + 531x73 + 112x74 + 329x75 + 571x76 + 319x77 + 163x78 + 85x79 + 818x80 + 556x81 + 570x82 + 477x83 + 559x84 + 239x85 + 60x86 + 741x87 + 389x88 + 873x89 + 749x90 + 432x91 + 762x92 + 984x93 + 500x94 + 223x95 + 693x96 + 788x97 + 231x98 + 638x99 + 578x100 <= 23536 
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