minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36124.422000 
s2: s + 0.001000f1 + 0.501000f2 >= 36124.422000 
f1: -f1 + 603x1 + 637x2 + 840x3 + 1091x4 + 780x5 + 642x6 + 895x7 + 540x8 + 601x9 + 701x10 + 731x11 + 686x12 + 496x13 + 731x14 + 427x15 + 558x16 + 805x17 + 702x18 + 759x19 + 463x20 + 970x21 + 915x22 + 561x23 + 964x24 + 898x25 + 941x26 + 748x27 + 877x28 + 952x29 + 339x30 + 690x31 + 860x32 + 600x33 + 604x34 + 646x35 + 653x36 + 760x37 + 654x38 + 638x39 + 721x40 + 988x41 + 693x42 + 721x43 + 380x44 + 482x45 + 517x46 + 931x47 + 454x48 + 971x49 + 679x50 + 945x51 + 695x52 + 954x53 + 663x54 + 592x55 + 570x56 + 894x57 + 731x58 + 273x59 + 715x60 + 431x61 + 393x62 + 994x63 + 667x64 + 735x65 + 848x66 + 1094x67 + 961x68 + 671x69 + 615x70 + 815x71 + 697x72 + 523x73 + 403x74 + 725x75 + 647x76 + 623x77 + 1172x78 + 898x79 + 643x80 + 715x81 + 366x82 + 555x83 + 994x84 + 1017x85 + 915x86 + 669x87 + 883x88 + 492x89 + 660x90 + 891x91 + 581x92 + 845x93 + 860x94 + 750x95 + 775x96 + 952x97 + 640x98 + 784x99 + 535x100  = 0 
f2: -f2 + 860x1 + 646x2 + 898x3 + 964x4 + 748x5 + 517x6 + 721x7 + 561x8 + 780x9 + 877x10 + 615x11 + 840x12 + 805x13 + 427x14 + 640x15 + 845x16 + 721x17 + 482x18 + 403x19 + 994x20 + 735x21 + 1172x22 + 1017x23 + 731x24 + 660x25 + 784x26 + 380x27 + 970x28 + 431x29 + 994x30 + 1091x31 + 695x32 + 988x33 + 891x34 + 647x35 + 535x36 + 952x37 + 894x38 + 454x39 + 592x40 + 690x41 + 945x42 + 941x43 + 558x44 + 702x45 + 604x46 + 653x47 + 273x48 + 775x49 + 637x50 + 848x51 + 693x52 + 895x53 + 570x54 + 523x55 + 731x56 + 815x57 + 463x58 + 883x59 + 492x60 + 898x61 + 540x62 + 667x63 + 954x64 + 601x65 + 961x66 + 701x67 + 679x68 + 915x69 + 1094x70 + 603x71 + 731x72 + 663x73 + 952x74 + 971x75 + 600x76 + 715x77 + 860x78 + 931x79 + 697x80 + 671x81 + 715x82 + 623x83 + 496x84 + 393x85 + 555x86 + 725x87 + 750x88 + 669x89 + 643x90 + 759x91 + 581x92 + 642x93 + 915x94 + 654x95 + 686x96 + 339x97 + 760x98 + 366x99 + 638x100  = 0 
constr1: + 564x1 + 292x2 + 523x3 + 36x4 + 176x5 + 369x6 + 121x7 + 24x8 + 516x9 + 600x10 + 559x11 + 397x12 + 2x13 + 391x14 + 602x15 + 384x16 + 181x17 + 47x18 + 727x19 + 77x20 + 69x21 + 344x22 + 141x23 + 647x24 + 375x25 + 363x26 + 102x27 + 422x28 + 403x29 + 474x30 + 750x31 + 467x32 + 379x33 + 607x34 + 768x35 + 203x36 + 519x37 + 319x38 + 628x39 + 37x40 + 50x41 + 782x42 + 345x43 + 732x44 + 883x45 + 687x46 + 115x47 + 667x48 + 387x49 + 99x50 + 595x51 + 653x52 + 729x53 + 541x54 + 849x55 + 560x56 + 919x57 + 703x58 + 835x59 + 789x60 + 564x61 + 624x62 + 690x63 + 33x64 + 311x65 + 216x66 + 578x67 + 977x68 + 934x69 + 154x70 + 990x71 + 32x72 + 930x73 + 495x74 + 686x75 + 328x76 + 129x77 + 258x78 + 928x79 + 698x80 + 890x81 + 55x82 + 960x83 + 567x84 + 761x85 + 939x86 + 680x87 + 155x88 + 494x89 + 875x90 + 797x91 + 100x92 + 110x93 + 388x94 + 632x95 + 951x96 + 87x97 + 854x98 + 752x99 + 165x100 <= 24132 
constr2: + 573x1 + 982x2 + 94x3 + 166x4 + 745x5 + 542x6 + 510x7 + 352x8 + 900x9 + 656x10 + 649x11 + 285x12 + 866x13 + 617x14 + 422x15 + 170x16 + 561x17 + 697x18 + 190x19 + 526x20 + 120x21 + 512x22 + 463x23 + 772x24 + 302x25 + 496x26 + 799x27 + 747x28 + 429x29 + 670x30 + 721x31 + 814x32 + 148x33 + 345x34 + 945x35 + 595x36 + 86x37 + 199x38 + 39x39 + 437x40 + 196x41 + 434x42 + 726x43 + 648x44 + 475x45 + 134x46 + 491x47 + 456x48 + 30x49 + 312x50 + 325x51 + 569x52 + 154x53 + 998x54 + 655x55 + 301x56 + 92x57 + 313x58 + 358x59 + 751x60 + 379x61 + 107x62 + 595x63 + 387x64 + 205x65 + 201x66 + 536x67 + 658x68 + 691x69 + 400x70 + 251x71 + 790x72 + 221x73 + 568x74 + 893x75 + 363x76 + 556x77 + 393x78 + 224x79 + 664x80 + 113x81 + 816x82 + 787x83 + 377x84 + 521x85 + 208x86 + 437x87 + 325x88 + 206x89 + 905x90 + 403x91 + 622x92 + 364x93 + 715x94 + 570x95 + 101x96 + 537x97 + 375x98 + 331x99 + 601x100 <= 22992 
constr3: + 644x1 + 294x2 + 663x3 + 798x4 + 816x5 + 855x6 + 58x7 + 75x8 + 439x9 + 347x10 + 583x11 + 156x12 + 832x13 + 118x14 + 414x15 + 791x16 + 931x17 + 998x18 + 320x19 + 407x20 + 707x21 + 212x22 + 598x23 + 404x24 + 842x25 + 99x26 + 190x27 + 290x28 + 759x29 + 170x30 + 203x31 + 346x32 + 809x33 + 313x34 + 131x35 + 107x36 + 497x37 + 918x38 + 5x39 + 918x40 + 633x41 + 701x42 + 793x43 + 493x44 + 583x45 + 713x46 + 462x47 + 818x48 + 897x49 + 926x50 + 762x51 + 616x52 + 638x53 + 483x54 + 196x55 + 954x56 + 16x57 + 881x58 + 386x59 + 909x60 + 11x61 + 909x62 + 161x63 + 319x64 + 133x65 + 237x66 + 264x67 + 781x68 + 396x69 + 36x70 + 541x71 + 919x72 + 585x73 + 877x74 + 35x75 + 994x76 + 174x77 + 706x78 + 953x79 + 216x80 + 529x81 + 259x82 + 58x83 + 642x84 + 374x85 + 902x86 + 387x87 + 34x88 + 454x89 + 650x90 + 776x91 + 113x92 + 755x93 + 753x94 + 991x95 + 644x96 + 223x97 + 833x98 + 752x99 + 638x100 <= 26091 
constr4: + 578x1 + 315x2 + 780x3 + 640x4 + 748x5 + 95x6 + 633x7 + 480x8 + 331x9 + 978x10 + 628x11 + 45x12 + 295x13 + 310x14 + 190x15 + 576x16 + 338x17 + 792x18 + 787x19 + 620x20 + 768x21 + 763x22 + 582x23 + 238x24 + 771x25 + 915x26 + 413x27 + 485x28 + 676x29 + 211x30 + 285x31 + 498x32 + 873x33 + 982x34 + 148x35 + 62x36 + 930x37 + 143x38 + 81x39 + 174x40 + 827x41 + 280x42 + 76x43 + 752x44 + 111x45 + 290x46 + 797x47 + 419x48 + 73x49 + 522x50 + 830x51 + 504x52 + 74x53 + 510x54 + 80x55 + 556x56 + 617x57 + 67x58 + 911x59 + 305x60 + 703x61 + 335x62 + 477x63 + 663x64 + 998x65 + 341x66 + 511x67 + 14x68 + 109x69 + 428x70 + 411x71 + 65x72 + 702x73 + 559x74 + 573x75 + 971x76 + 498x77 + 411x78 + 908x79 + 417x80 + 561x81 + 722x82 + 952x83 + 99x84 + 12x85 + 732x86 + 616x87 + 466x88 + 55x89 + 919x90 + 53x91 + 161x92 + 176x93 + 690x94 + 105x95 + 788x96 + 817x97 + 358x98 + 966x99 + 833x100 <= 25192 
constr5: + 35x1 + 809x2 + 949x3 + 526x4 + 238x5 + 191x6 + 478x7 + 448x8 + 217x9 + 337x10 + 839x11 + 461x12 + 747x13 + 159x14 + 936x15 + 524x16 + 739x17 + 779x18 + 600x19 + 462x20 + 617x21 + 553x22 + 691x23 + 295x24 + 338x25 + 41x26 + 362x27 + 775x28 + 605x29 + 440x30 + 7x31 + 214x32 + 937x33 + 523x34 + 814x35 + 105x36 + 460x37 + 367x38 + 843x39 + 824x40 + 922x41 + 81x42 + 23x43 + 532x44 + 594x45 + 442x46 + 481x47 + 817x48 + 832x49 + 391x50 + 340x51 + 631x52 + 746x53 + 857x54 + 220x55 + 1000x56 + 909x57 + 242x58 + 192x59 + 130x60 + 236x61 + 786x62 + 127x63 + 627x64 + 827x65 + 645x66 + 171x67 + 142x68 + 424x69 + 942x70 + 999x71 + 544x72 + 893x73 + 472x74 + 560x75 + 930x76 + 782x77 + 817x78 + 221x79 + 260x80 + 741x81 + 134x82 + 303x83 + 110x84 + 927x85 + 213x86 + 8x87 + 134x88 + 181x89 + 261x90 + 267x91 + 761x92 + 267x93 + 662x94 + 831x95 + 91x96 + 865x97 + 960x98 + 787x99 + 741x100 <= 25309 
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