minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37393.478000 
s2: s + 0.001000f1 + 0.501000f2 >= 37393.478000 
f1: -f1 + 853x1 + 558x2 + 747x3 + 426x4 + 537x5 + 510x6 + 1026x7 + 687x8 + 715x9 + 788x10 + 609x11 + 750x12 + 714x13 + 627x14 + 611x15 + 868x16 + 813x17 + 961x18 + 782x19 + 668x20 + 864x21 + 607x22 + 851x23 + 512x24 + 542x25 + 800x26 + 745x27 + 521x28 + 979x29 + 789x30 + 806x31 + 781x32 + 982x33 + 1048x34 + 950x35 + 643x36 + 542x37 + 690x38 + 373x39 + 813x40 + 507x41 + 898x42 + 738x43 + 1029x44 + 567x45 + 497x46 + 539x47 + 1017x48 + 976x49 + 635x50 + 858x51 + 732x52 + 853x53 + 694x54 + 650x55 + 904x56 + 745x57 + 853x58 + 635x59 + 825x60 + 818x61 + 952x62 + 908x63 + 779x64 + 762x65 + 583x66 + 415x67 + 1007x68 + 487x69 + 567x70 + 472x71 + 657x72 + 627x73 + 633x74 + 690x75 + 494x76 + 627x77 + 1117x78 + 735x79 + 997x80 + 728x81 + 925x82 + 863x83 + 556x84 + 625x85 + 1024x86 + 813x87 + 603x88 + 835x89 + 614x90 + 958x91 + 899x92 + 896x93 + 786x94 + 1155x95 + 585x96 + 517x97 + 942x98 + 761x99 + 837x100  = 0 
f2: -f2 + 728x1 + 1007x2 + 904x3 + 583x4 + 997x5 + 542x6 + 899x7 + 958x8 + 1117x9 + 539x10 + 625x11 + 1155x12 + 556x13 + 635x14 + 732x15 + 567x16 + 694x17 + 497x18 + 643x19 + 1048x20 + 650x21 + 1029x22 + 510x23 + 813x24 + 942x25 + 853x26 + 426x27 + 781x28 + 507x29 + 373x30 + 614x31 + 982x32 + 567x33 + 858x34 + 788x35 + 687x36 + 472x37 + 979x38 + 853x39 + 908x40 + 898x41 + 633x42 + 745x43 + 609x44 + 487x45 + 1017x46 + 779x47 + 521x48 + 789x49 + 512x50 + 738x51 + 627x52 + 851x53 + 1024x54 + 864x55 + 813x56 + 558x57 + 961x58 + 611x59 + 952x60 + 635x61 + 585x62 + 537x63 + 517x64 + 715x65 + 782x66 + 627x67 + 786x68 + 603x69 + 735x70 + 835x71 + 657x72 + 690x73 + 806x74 + 690x75 + 542x76 + 800x77 + 950x78 + 1026x79 + 607x80 + 925x81 + 825x82 + 976x83 + 415x84 + 837x85 + 896x86 + 762x87 + 745x88 + 494x89 + 747x90 + 853x91 + 818x92 + 668x93 + 627x94 + 750x95 + 813x96 + 714x97 + 868x98 + 863x99 + 761x100  = 0 
constr1: + 131x1 + 944x2 + 745x3 + 133x4 + 440x5 + 35x6 + 627x7 + 21x8 + 555x9 + 405x10 + 538x11 + 328x12 + 616x13 + 762x14 + 465x15 + 73x16 + 261x17 + 594x18 + 638x19 + 396x20 + 704x21 + 782x22 + 587x23 + 634x24 + 983x25 + 119x26 + 556x27 + 359x28 + 616x29 + 261x30 + 53x31 + 637x32 + 281x33 + 754x34 + 995x35 + 193x36 + 886x37 + 22x38 + 296x39 + 386x40 + 64x41 + 42x42 + 130x43 + 655x44 + 42x45 + 841x46 + 18x47 + 992x48 + 413x49 + 736x50 + 440x51 + 266x52 + 347x53 + 651x54 + 27x55 + 974x56 + 405x57 + 928x58 + 147x59 + 441x60 + 864x61 + 684x62 + 978x63 + 235x64 + 257x65 + 964x66 + 356x67 + 857x68 + 359x69 + 139x70 + 204x71 + 125x72 + 991x73 + 873x74 + 184x75 + 667x76 + 48x77 + 87x78 + 930x79 + 956x80 + 647x81 + 742x82 + 512x83 + 933x84 + 193x85 + 376x86 + 939x87 + 295x88 + 110x89 + 387x90 + 273x91 + 623x92 + 474x93 + 763x94 + 637x95 + 709x96 + 789x97 + 23x98 + 667x99 + 494x100 <= 25015 
constr2: + 374x1 + 638x2 + 483x3 + 126x4 + 94x5 + 789x6 + 537x7 + 171x8 + 863x9 + 466x10 + 320x11 + 157x12 + 246x13 + 7x14 + 707x15 + 649x16 + 615x17 + 362x18 + 979x19 + 964x20 + 776x21 + 603x22 + 21x23 + 629x24 + 59x25 + 896x26 + 976x27 + 302x28 + 222x29 + 50x30 + 26x31 + 745x32 + 724x33 + 136x34 + 618x35 + 687x36 + 827x37 + 233x38 + 820x39 + 769x40 + 141x41 + 700x42 + 362x43 + 986x44 + 450x45 + 730x46 + 184x47 + 200x48 + 219x49 + 584x50 + 502x51 + 400x52 + 462x53 + 104x54 + 24x55 + 17x56 + 367x57 + 911x58 + 823x59 + 758x60 + 195x61 + 190x62 + 199x63 + 735x64 + 253x65 + 147x66 + 520x67 + 567x68 + 299x69 + 383x70 + 503x71 + 389x72 + 856x73 + 768x74 + 557x75 + 765x76 + 193x77 + 623x78 + 797x79 + 661x80 + 682x81 + 169x82 + 112x83 + 11x84 + 888x85 + 983x86 + 683x87 + 28x88 + 895x89 + 256x90 + 245x91 + 972x92 + 276x93 + 660x94 + 563x95 + 651x96 + 762x97 + 736x98 + 502x99 + 380x100 <= 24701 
constr3: + 804x1 + 890x2 + 805x3 + 268x4 + 570x5 + 442x6 + 939x7 + 151x8 + 47x9 + 611x10 + 879x11 + 497x12 + 794x13 + 156x14 + 12x15 + 877x16 + 253x17 + 798x18 + 611x19 + 732x20 + 448x21 + 679x22 + 234x23 + 506x24 + 837x25 + 873x26 + 625x27 + 837x28 + 820x29 + 258x30 + 302x31 + 668x32 + 471x33 + 764x34 + 121x35 + 308x36 + 708x37 + 516x38 + 206x39 + 891x40 + 216x41 + 501x42 + 935x43 + 871x44 + 184x45 + 748x46 + 297x47 + 733x48 + 968x49 + 731x50 + 757x51 + 925x52 + 639x53 + 664x54 + 727x55 + 835x56 + 287x57 + 14x58 + 328x59 + 677x60 + 79x61 + 761x62 + 582x63 + 674x64 + 138x65 + 564x66 + 977x67 + 47x68 + 639x69 + 757x70 + 93x71 + 9x72 + 497x73 + 621x74 + 125x75 + 336x76 + 111x77 + 194x78 + 236x79 + 624x80 + 20x81 + 583x82 + 428x83 + 673x84 + 222x85 + 649x86 + 169x87 + 622x88 + 713x89 + 985x90 + 372x91 + 840x92 + 2x93 + 95x94 + 371x95 + 634x96 + 534x97 + 563x98 + 558x99 + 716x100 <= 27636 
constr4: + 27x1 + 24x2 + 338x3 + 857x4 + 992x5 + 430x6 + 145x7 + 744x8 + 599x9 + 223x10 + 160x11 + 868x12 + 403x13 + 748x14 + 690x15 + 561x16 + 735x17 + 57x18 + 807x19 + 908x20 + 848x21 + 127x22 + 450x23 + 610x24 + 974x25 + 762x26 + 898x27 + 533x28 + 985x29 + 778x30 + 219x31 + 461x32 + 552x33 + 483x34 + 780x35 + 979x36 + 849x37 + 743x38 + 432x39 + 429x40 + 455x41 + 497x42 + 743x43 + 446x44 + 533x45 + 793x46 + 381x47 + 21x48 + 405x49 + 261x50 + 152x51 + 700x52 + 846x53 + 644x54 + 36x55 + 297x56 + 455x57 + 243x58 + 424x59 + 974x60 + 231x61 + 939x62 + 32x63 + 387x64 + 663x65 + 135x66 + 251x67 + 872x68 + 428x69 + 447x70 + 261x71 + 478x72 + 296x73 + 906x74 + 260x75 + 117x76 + 80x77 + 142x78 + 621x79 + 173x80 + 437x81 + 96x82 + 694x83 + 767x84 + 165x85 + 625x86 + 772x87 + 403x88 + 114x89 + 636x90 + 468x91 + 811x92 + 215x93 + 579x94 + 723x95 + 860x96 + 48x97 + 994x98 + 225x99 + 218x100 <= 25693 
constr5: + 719x1 + 971x2 + 181x3 + 792x4 + 114x5 + 812x6 + 562x7 + 858x8 + 270x9 + 727x10 + 488x11 + 991x12 + 493x13 + 147x14 + 302x15 + 17x16 + 61x17 + 368x18 + 192x19 + 520x20 + 544x21 + 108x22 + 959x23 + 556x24 + 19x25 + 285x26 + 157x27 + 568x28 + 57x29 + 852x30 + 212x31 + 827x32 + 815x33 + 301x34 + 974x35 + 160x36 + 136x37 + 922x38 + 340x39 + 965x40 + 536x41 + 272x42 + 82x43 + 517x44 + 563x45 + 79x46 + 502x47 + 24x48 + 517x49 + 988x50 + 223x51 + 968x52 + 313x53 + 504x54 + 34x55 + 579x56 + 85x57 + 617x58 + 492x59 + 150x60 + 82x61 + 710x62 + 422x63 + 775x64 + 622x65 + 836x66 + 938x67 + 80x68 + 260x69 + 902x70 + 905x71 + 776x72 + 313x73 + 742x74 + 462x75 + 659x76 + 606x77 + 423x78 + 986x79 + 896x80 + 275x81 + 286x82 + 496x83 + 744x84 + 848x85 + 890x86 + 424x87 + 580x88 + 628x89 + 105x90 + 366x91 + 117x92 + 353x93 + 860x94 + 818x95 + 619x96 + 308x97 + 40x98 + 272x99 + 857x100 <= 23518 
constr6: + 55x1 + 149x2 + 772x3 + 243x4 + 40x5 + 212x6 + 388x7 + 103x8 + 596x9 + 995x10 + 88x11 + 995x12 + 30x13 + 418x14 + 997x15 + 604x16 + 712x17 + 619x18 + 663x19 + 781x20 + 621x21 + 934x22 + 721x23 + 610x24 + 735x25 + 919x26 + 451x27 + 476x28 + 456x29 + 668x30 + 629x31 + 250x32 + 883x33 + 650x34 + 438x35 + 460x36 + 666x37 + 63x38 + 970x39 + 375x40 + 391x41 + 480x42 + 94x43 + 902x44 + 550x45 + 82x46 + 76x47 + 469x48 + 423x49 + 43x50 + 491x51 + 359x52 + 167x53 + 336x54 + 110x55 + 239x56 + 198x57 + 926x58 + 994x59 + 144x60 + 624x61 + 228x62 + 586x63 + 671x64 + 206x65 + 493x66 + 613x67 + 534x68 + 596x69 + 617x70 + 124x71 + 481x72 + 570x73 + 866x74 + 527x75 + 979x76 + 78x77 + 497x78 + 39x79 + 240x80 + 190x81 + 520x82 + 299x83 + 322x84 + 745x85 + 360x86 + 93x87 + 358x88 + 941x89 + 499x90 + 5x91 + 462x92 + 864x93 + 409x94 + 19x95 + 839x96 + 817x97 + 5x98 + 446x99 + 730x100 <= 25416 
constr7: + 32x1 + 249x2 + 904x3 + 756x4 + 780x5 + 560x6 + 644x7 + 263x8 + 802x9 + 924x10 + 319x11 + 934x12 + 966x13 + 91x14 + 363x15 + 65x16 + 339x17 + 452x18 + 129x19 + 870x20 + 916x21 + 762x22 + 682x23 + 791x24 + 275x25 + 62x26 + 750x27 + 723x28 + 956x29 + 507x30 + 255x31 + 986x32 + 457x33 + 562x34 + 444x35 + 436x36 + 349x37 + 407x38 + 1000x39 + 545x40 + 387x41 + 704x42 + 371x43 + 711x44 + 431x45 + 819x46 + 222x47 + 690x48 + 129x49 + 390x50 + 881x51 + 773x52 + 120x53 + 590x54 + 831x55 + 268x56 + 746x57 + 43x58 + 958x59 + 948x60 + 911x61 + 424x62 + 89x63 + 31x64 + 365x65 + 814x66 + 352x67 + 122x68 + 227x69 + 16x70 + 517x71 + 929x72 + 457x73 + 414x74 + 327x75 + 632x76 + 180x77 + 29x78 + 257x79 + 321x80 + 669x81 + 555x82 + 418x83 + 179x84 + 8x85 + 925x86 + 284x87 + 647x88 + 191x89 + 155x90 + 479x91 + 188x92 + 286x93 + 944x94 + 773x95 + 794x96 + 39x97 + 636x98 + 750x99 + 328x100 <= 22952 
constr8: + 361x1 + 659x2 + 783x3 + 485x4 + 834x5 + 32x6 + 25x7 + 766x8 + 232x9 + 879x10 + 857x11 + 262x12 + 509x13 + 39x14 + 9x15 + 375x16 + 592x17 + 274x18 + 822x19 + 411x20 + 446x21 + 959x22 + 425x23 + 583x24 + 966x25 + 191x26 + 496x27 + 849x28 + 315x29 + 433x30 + 636x31 + 592x32 + 700x33 + 289x34 + 171x35 + 795x36 + 212x37 + 483x38 + 13x39 + 599x40 + 180x41 + 754x42 + 361x43 + 451x44 + 654x45 + 645x46 + 367x47 + 541x48 + 194x49 + 662x50 + 22x51 + 293x52 + 236x53 + 643x54 + 326x55 + 231x56 + 682x57 + 728x58 + 677x59 + 659x60 + 311x61 + 297x62 + 459x63 + 798x64 + 485x65 + 290x66 + 936x67 + 505x68 + 53x69 + 881x70 + 339x71 + 519x72 + 407x73 + 904x74 + 947x75 + 921x76 + 966x77 + 878x78 + 216x79 + 795x80 + 266x81 + 165x82 + 288x83 + 654x84 + 487x85 + 804x86 + 845x87 + 983x88 + 883x89 + 316x90 + 883x91 + 933x92 + 658x93 + 116x94 + 309x95 + 676x96 + 899x97 + 751x98 + 127x99 + 446x100 <= 24601 
constr9: + 636x1 + 722x2 + 891x3 + 245x4 + 918x5 + 362x6 + 895x7 + 606x8 + 273x9 + 191x10 + 602x11 + 198x12 + 883x13 + 730x14 + 208x15 + 11x16 + 824x17 + 619x18 + 885x19 + 77x20 + 881x21 + 147x22 + 37x23 + 897x24 + 634x25 + 892x26 + 396x27 + 473x28 + 81x29 + 285x30 + 389x31 + 304x32 + 164x33 + 137x34 + 813x35 + 1000x36 + 801x37 + 238x38 + 167x39 + 550x40 + 757x41 + 929x42 + 743x43 + 42x44 + 648x45 + 270x46 + 2x47 + 906x48 + 918x49 + 658x50 + 394x51 + 582x52 + 654x53 + 644x54 + 925x55 + 964x56 + 140x57 + 741x58 + 940x59 + 643x60 + 480x61 + 366x62 + 574x63 + 2x64 + 886x65 + 216x66 + 501x67 + 424x68 + 487x69 + 252x70 + 798x71 + 499x72 + 653x73 + 187x74 + 739x75 + 739x76 + 8x77 + 668x78 + 858x79 + 198x80 + 710x81 + 187x82 + 997x83 + 156x84 + 420x85 + 598x86 + 803x87 + 547x88 + 936x89 + 696x90 + 43x91 + 594x92 + 810x93 + 384x94 + 830x95 + 136x96 + 332x97 + 129x98 + 900x99 + 372x100 <= 25554 
constr10: + 475x1 + 660x2 + 421x3 + 315x4 + 279x5 + 937x6 + 931x7 + 722x8 + 94x9 + 445x10 + 482x11 + 196x12 + 795x13 + 431x14 + 107x15 + 493x16 + 596x17 + 729x18 + 609x19 + 540x20 + 508x21 + 95x22 + 910x23 + 189x24 + 641x25 + 539x26 + 365x27 + 351x28 + 469x29 + 482x30 + 760x31 + 862x32 + 247x33 + 806x34 + 362x35 + 496x36 + 777x37 + 355x38 + 187x39 + 34x40 + 9x41 + 117x42 + 473x43 + 458x44 + 474x45 + 743x46 + 747x47 + 524x48 + 226x49 + 931x50 + 734x51 + 231x52 + 692x53 + 758x54 + 378x55 + 736x56 + 582x57 + 939x58 + 20x59 + 932x60 + 82x61 + 126x62 + 924x63 + 640x64 + 271x65 + 48x66 + 102x67 + 458x68 + 727x69 + 392x70 + 883x71 + 599x72 + 216x73 + 206x74 + 239x75 + 246x76 + 501x77 + 824x78 + 235x79 + 425x80 + 820x81 + 382x82 + 626x83 + 481x84 + 824x85 + 552x86 + 654x87 + 56x88 + 863x89 + 861x90 + 218x91 + 999x92 + 643x93 + 236x94 + 640x95 + 224x96 + 178x97 + 829x98 + 250x99 + 962x100 <= 25478 
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