minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38514.444000 
s2: s + 0.001000f1 + 0.501000f2 >= 38514.444000 
f1: -f1 + 846x1 + 578x2 + 811x3 + 890x4 + 795x5 + 521x6 + 718x7 + 757x8 + 995x9 + 825x10 + 843x11 + 874x12 + 834x13 + 831x14 + 556x15 + 601x16 + 472x17 + 487x18 + 640x19 + 885x20 + 766x21 + 867x22 + 849x23 + 1053x24 + 532x25 + 1120x26 + 664x27 + 1030x28 + 624x29 + 627x30 + 905x31 + 1051x32 + 532x33 + 906x34 + 695x35 + 1121x36 + 771x37 + 845x38 + 735x39 + 759x40 + 684x41 + 1088x42 + 773x43 + 967x44 + 942x45 + 906x46 + 626x47 + 827x48 + 814x49 + 573x50 + 851x51 + 925x52 + 670x53 + 551x54 + 557x55 + 596x56 + 669x57 + 717x58 + 907x59 + 810x60 + 454x61 + 985x62 + 1028x63 + 940x64 + 864x65 + 834x66 + 569x67 + 758x68 + 689x69 + 718x70 + 922x71 + 522x72 + 885x73 + 438x74 + 924x75 + 721x76 + 506x77 + 891x78 + 774x79 + 904x80 + 895x81 + 525x82 + 743x83 + 452x84 + 915x85 + 636x86 + 982x87 + 634x88 + 585x89 + 602x90 + 768x91 + 711x92 + 707x93 + 914x94 + 858x95 + 757x96 + 915x97 + 689x98 + 798x99 + 646x100  = 0 
f2: -f2 + 669x1 + 845x2 + 596x3 + 834x4 + 773x5 + 985x6 + 915x7 + 759x8 + 1088x9 + 834x10 + 525x11 + 885x12 + 858x13 + 995x14 + 774x15 + 532x16 + 522x17 + 768x18 + 707x19 + 758x20 + 771x21 + 843x22 + 689x23 + 551x24 + 626x25 + 454x26 + 924x27 + 646x28 + 914x29 + 1051x30 + 585x31 + 885x32 + 743x33 + 814x34 + 557x35 + 907x36 + 849x37 + 1121x38 + 864x39 + 798x40 + 895x41 + 766x42 + 718x43 + 487x44 + 982x45 + 695x46 + 472x47 + 684x48 + 721x49 + 867x50 + 906x51 + 506x52 + 906x53 + 831x54 + 602x55 + 891x56 + 624x57 + 578x58 + 664x59 + 811x60 + 942x61 + 851x62 + 636x63 + 795x64 + 640x65 + 627x66 + 810x67 + 717x68 + 1028x69 + 735x70 + 670x71 + 925x72 + 915x73 + 556x74 + 967x75 + 825x76 + 904x77 + 452x78 + 1120x79 + 940x80 + 905x81 + 890x82 + 573x83 + 922x84 + 711x85 + 846x86 + 438x87 + 521x88 + 757x89 + 874x90 + 634x91 + 757x92 + 601x93 + 718x94 + 569x95 + 1053x96 + 532x97 + 827x98 + 1030x99 + 689x100  = 0 
constr1: + 478x1 + 606x2 + 7x3 + 934x4 + 968x5 + 476x6 + 590x7 + 191x8 + 711x9 + 686x10 + 598x11 + 338x12 + 156x13 + 580x14 + 397x15 + 662x16 + 246x17 + 915x18 + 704x19 + 358x20 + 7x21 + 308x22 + 392x23 + 737x24 + 500x25 + 668x26 + 47x27 + 185x28 + 63x29 + 987x30 + 518x31 + 950x32 + 999x33 + 582x34 + 120x35 + 443x36 + 620x37 + 927x38 + 758x39 + 525x40 + 821x41 + 234x42 + 331x43 + 393x44 + 92x45 + 96x46 + 39x47 + 973x48 + 503x49 + 342x50 + 830x51 + 307x52 + 687x53 + 789x54 + 208x55 + 300x56 + 170x57 + 370x58 + 25x59 + 905x60 + 2x61 + 997x62 + 633x63 + 145x64 + 750x65 + 963x66 + 179x67 + 952x68 + 775x69 + 846x70 + 872x71 + 452x72 + 802x73 + 322x74 + 315x75 + 777x76 + 707x77 + 273x78 + 812x79 + 68x80 + 957x81 + 942x82 + 119x83 + 793x84 + 909x85 + 851x86 + 644x87 + 487x88 + 591x89 + 372x90 + 383x91 + 481x92 + 572x93 + 540x94 + 927x95 + 685x96 + 724x97 + 269x98 + 137x99 + 822x100 <= 13653 
constr2: + 209x1 + 436x2 + 110x3 + 534x4 + 924x5 + 7x6 + 786x7 + 258x8 + 868x9 + 640x10 + 280x11 + 273x12 + 114x13 + 760x14 + 809x15 + 16x16 + 409x17 + 841x18 + 838x19 + 433x20 + 60x21 + 875x22 + 1000x23 + 321x24 + 740x25 + 57x26 + 541x27 + 41x28 + 813x29 + 523x30 + 448x31 + 135x32 + 15x33 + 451x34 + 463x35 + 916x36 + 127x37 + 234x38 + 324x39 + 358x40 + 390x41 + 691x42 + 751x43 + 958x44 + 519x45 + 813x46 + 329x47 + 40x48 + 235x49 + 91x50 + 72x51 + 896x52 + 783x53 + 461x54 + 48x55 + 586x56 + 266x57 + 279x58 + 278x59 + 655x60 + 281x61 + 535x62 + 941x63 + 820x64 + 525x65 + 641x66 + 83x67 + 492x68 + 234x69 + 292x70 + 394x71 + 964x72 + 136x73 + 916x74 + 426x75 + 972x76 + 468x77 + 952x78 + 476x79 + 539x80 + 893x81 + 643x82 + 382x83 + 569x84 + 705x85 + 518x86 + 988x87 + 196x88 + 16x89 + 290x90 + 363x91 + 30x92 + 926x93 + 456x94 + 989x95 + 235x96 + 899x97 + 700x98 + 258x99 + 662x100 <= 12041 
constr3: + 549x1 + 221x2 + 435x3 + 355x4 + 519x5 + 752x6 + 355x7 + 664x8 + 373x9 + 625x10 + 441x11 + 821x12 + 220x13 + 29x14 + 782x15 + 457x16 + 877x17 + 25x18 + 953x19 + 715x20 + 644x21 + 780x22 + 782x23 + 758x24 + 995x25 + 820x26 + 939x27 + 262x28 + 837x29 + 445x30 + 516x31 + 510x32 + 245x33 + 887x34 + 190x35 + 299x36 + 222x37 + 974x38 + 149x39 + 840x40 + 11x41 + 491x42 + 992x43 + 867x44 + 199x45 + 576x46 + 761x47 + 645x48 + 604x49 + 877x50 + 961x51 + 427x52 + 350x53 + 544x54 + 552x55 + 577x56 + 470x57 + 790x58 + 319x59 + 452x60 + 882x61 + 701x62 + 440x63 + 101x64 + 98x65 + 68x66 + 425x67 + 643x68 + 154x69 + 304x70 + 735x71 + 319x72 + 685x73 + 783x74 + 520x75 + 752x76 + 494x77 + 638x78 + 582x79 + 879x80 + 975x81 + 908x82 + 625x83 + 642x84 + 724x85 + 70x86 + 555x87 + 875x88 + 999x89 + 764x90 + 611x91 + 496x92 + 908x93 + 273x94 + 636x95 + 595x96 + 676x97 + 381x98 + 246x99 + 881x100 <= 12159 
constr4: + 155x1 + 937x2 + 929x3 + 954x4 + 945x5 + 565x6 + 263x7 + 37x8 + 9x9 + 615x10 + 103x11 + 798x12 + 343x13 + 295x14 + 712x15 + 699x16 + 475x17 + 599x18 + 970x19 + 11x20 + 944x21 + 324x22 + 652x23 + 707x24 + 630x25 + 315x26 + 933x27 + 196x28 + 575x29 + 208x30 + 406x31 + 481x32 + 891x33 + 559x34 + 388x35 + 779x36 + 317x37 + 93x38 + 361x39 + 182x40 + 542x41 + 710x42 + 706x43 + 923x44 + 496x45 + 238x46 + 792x47 + 542x48 + 18x49 + 786x50 + 289x51 + 424x52 + 960x53 + 71x54 + 687x55 + 380x56 + 426x57 + 503x58 + 93x59 + 924x60 + 914x61 + 170x62 + 959x63 + 660x64 + 600x65 + 952x66 + 681x67 + 203x68 + 360x69 + 90x70 + 740x71 + 7x72 + 89x73 + 32x74 + 743x75 + 463x76 + 998x77 + 882x78 + 434x79 + 465x80 + 742x81 + 593x82 + 851x83 + 620x84 + 365x85 + 381x86 + 771x87 + 317x88 + 931x89 + 568x90 + 279x91 + 53x92 + 739x93 + 727x94 + 26x95 + 607x96 + 371x97 + 413x98 + 527x99 + 731x100 <= 12833 
constr5: + 805x1 + 477x2 + 925x3 + 834x4 + 704x5 + 799x6 + 955x7 + 805x8 + 635x9 + 165x10 + 594x11 + 801x12 + 749x13 + 516x14 + 306x15 + 123x16 + 674x17 + 377x18 + 467x19 + 860x20 + 50x21 + 178x22 + 371x23 + 122x24 + 210x25 + 946x26 + 965x27 + 180x28 + 288x29 + 47x30 + 727x31 + 671x32 + 713x33 + 613x34 + 674x35 + 158x36 + 893x37 + 555x38 + 747x39 + 827x40 + 279x41 + 171x42 + 238x43 + 97x44 + 792x45 + 900x46 + 208x47 + 197x48 + 531x49 + 434x50 + 882x51 + 38x52 + 472x53 + 954x54 + 723x55 + 378x56 + 987x57 + 145x58 + 629x59 + 730x60 + 652x61 + 236x62 + 349x63 + 867x64 + 271x65 + 270x66 + 653x67 + 773x68 + 28x69 + 512x70 + 91x71 + 958x72 + 14x73 + 818x74 + 273x75 + 518x76 + 30x77 + 933x78 + 437x79 + 651x80 + 687x81 + 363x82 + 233x83 + 436x84 + 409x85 + 243x86 + 634x87 + 552x88 + 880x89 + 792x90 + 531x91 + 862x92 + 692x93 + 681x94 + 985x95 + 780x96 + 833x97 + 136x98 + 94x99 + 58x100 <= 12701 
constr6: + 64x1 + 646x2 + 584x3 + 347x4 + 997x5 + 827x6 + 590x7 + 836x8 + 641x9 + 491x10 + 278x11 + 376x12 + 713x13 + 707x14 + 529x15 + 393x16 + 1x17 + 934x18 + 329x19 + 888x20 + 492x21 + 479x22 + 929x23 + 383x24 + 697x25 + 17x26 + 500x27 + 781x28 + 43x29 + 553x30 + 939x31 + 359x32 + 470x33 + 441x34 + 426x35 + 804x36 + 943x37 + 69x38 + 338x39 + 406x40 + 386x41 + 80x42 + 758x43 + 678x44 + 932x45 + 326x46 + 288x47 + 423x48 + 969x49 + 737x50 + 131x51 + 320x52 + 196x53 + 622x54 + 552x55 + 876x56 + 716x57 + 967x58 + 236x59 + 355x60 + 659x61 + 921x62 + 318x63 + 928x64 + 624x65 + 597x66 + 788x67 + 715x68 + 268x69 + 833x70 + 21x71 + 350x72 + 935x73 + 943x74 + 901x75 + 155x76 + 746x77 + 674x78 + 558x79 + 114x80 + 732x81 + 238x82 + 988x83 + 701x84 + 880x85 + 447x86 + 47x87 + 215x88 + 923x89 + 247x90 + 739x91 + 782x92 + 808x93 + 666x94 + 249x95 + 582x96 + 526x97 + 923x98 + 413x99 + 743x100 <= 12121 
constr7: + 528x1 + 472x2 + 556x3 + 730x4 + 866x5 + 99x6 + 255x7 + 552x8 + 441x9 + 934x10 + 272x11 + 712x12 + 121x13 + 429x14 + 375x15 + 160x16 + 274x17 + 270x18 + 787x19 + 613x20 + 580x21 + 226x22 + 274x23 + 775x24 + 200x25 + 695x26 + 92x27 + 562x28 + 465x29 + 662x30 + 575x31 + 436x32 + 469x33 + 591x34 + 498x35 + 211x36 + 951x37 + 651x38 + 405x39 + 583x40 + 694x41 + 183x42 + 309x43 + 114x44 + 141x45 + 973x46 + 835x47 + 349x48 + 906x49 + 132x50 + 723x51 + 228x52 + 202x53 + 29x54 + 783x55 + 79x56 + 385x57 + 54x58 + 203x59 + 681x60 + 733x61 + 130x62 + 153x63 + 923x64 + 794x65 + 277x66 + 989x67 + 512x68 + 205x69 + 705x70 + 272x71 + 976x72 + 387x73 + 654x74 + 855x75 + 343x76 + 401x77 + 284x78 + 795x79 + 253x80 + 916x81 + 97x82 + 624x83 + 214x84 + 480x85 + 479x86 + 72x87 + 521x88 + 995x89 + 317x90 + 303x91 + 555x92 + 489x93 + 579x94 + 823x95 + 740x96 + 240x97 + 889x98 + 452x99 + 791x100 <= 12806 
constr8: + 904x1 + 708x2 + 795x3 + 872x4 + 380x5 + 769x6 + 604x7 + 792x8 + 305x9 + 6x10 + 703x11 + 164x12 + 240x13 + 209x14 + 212x15 + 710x16 + 584x17 + 634x18 + 54x19 + 949x20 + 209x21 + 637x22 + 693x23 + 538x24 + 688x25 + 354x26 + 396x27 + 773x28 + 280x29 + 606x30 + 82x31 + 575x32 + 654x33 + 314x34 + 859x35 + 567x36 + 450x37 + 817x38 + 374x39 + 335x40 + 586x41 + 28x42 + 606x43 + 542x44 + 393x45 + 863x46 + 580x47 + 534x48 + 954x49 + 204x50 + 265x51 + 333x52 + 592x53 + 61x54 + 942x55 + 678x56 + 175x57 + 724x58 + 70x59 + 664x60 + 553x61 + 428x62 + 529x63 + 52x64 + 69x65 + 7x66 + 993x67 + 25x68 + 98x69 + 977x70 + 518x71 + 1x72 + 678x73 + 457x74 + 956x75 + 499x76 + 715x77 + 765x78 + 881x79 + 993x80 + 790x81 + 517x82 + 354x83 + 49x84 + 944x85 + 421x86 + 813x87 + 599x88 + 223x89 + 493x90 + 183x91 + 807x92 + 804x93 + 658x94 + 645x95 + 853x96 + 885x97 + 772x98 + 485x99 + 287x100 <= 13888 
constr9: + 832x1 + 678x2 + 435x3 + 407x4 + 248x5 + 9x6 + 989x7 + 86x8 + 669x9 + 34x10 + 781x11 + 937x12 + 21x13 + 375x14 + 335x15 + 90x16 + 450x17 + 752x18 + 516x19 + 296x20 + 353x21 + 251x22 + 919x23 + 111x24 + 542x25 + 47x26 + 192x27 + 917x28 + 773x29 + 411x30 + 628x31 + 916x32 + 489x33 + 78x34 + 665x35 + 572x36 + 855x37 + 990x38 + 916x39 + 32x40 + 377x41 + 315x42 + 389x43 + 518x44 + 517x45 + 923x46 + 479x47 + 722x48 + 277x49 + 750x50 + 467x51 + 234x52 + 231x53 + 618x54 + 924x55 + 585x56 + 381x57 + 798x58 + 410x59 + 950x60 + 693x61 + 553x62 + 601x63 + 533x64 + 368x65 + 666x66 + 649x67 + 698x68 + 420x69 + 255x70 + 886x71 + 851x72 + 915x73 + 257x74 + 368x75 + 837x76 + 964x77 + 436x78 + 242x79 + 483x80 + 232x81 + 913x82 + 708x83 + 261x84 + 276x85 + 590x86 + 891x87 + 324x88 + 563x89 + 714x90 + 910x91 + 377x92 + 915x93 + 740x94 + 257x95 + 894x96 + 797x97 + 147x98 + 212x99 + 97x100 <= 13915 
constr10: + 14x1 + 633x2 + 73x3 + 789x4 + 96x5 + 228x6 + 723x7 + 935x8 + 647x9 + 717x10 + 701x11 + 602x12 + 26x13 + 112x14 + 510x15 + 896x16 + 94x17 + 669x18 + 561x19 + 300x20 + 323x21 + 870x22 + 12x23 + 170x24 + 654x25 + 99x26 + 497x27 + 798x28 + 951x29 + 200x30 + 78x31 + 89x32 + 826x33 + 564x34 + 15x35 + 602x36 + 136x37 + 658x38 + 57x39 + 793x40 + 757x41 + 457x42 + 952x43 + 867x44 + 282x45 + 477x46 + 80x47 + 907x48 + 602x49 + 390x50 + 613x51 + 222x52 + 255x53 + 790x54 + 348x55 + 980x56 + 508x57 + 622x58 + 441x59 + 212x60 + 747x61 + 520x62 + 122x63 + 550x64 + 134x65 + 508x66 + 929x67 + 432x68 + 416x69 + 525x70 + 540x71 + 652x72 + 243x73 + 322x74 + 510x75 + 206x76 + 322x77 + 264x78 + 909x79 + 657x80 + 150x81 + 709x82 + 476x83 + 481x84 + 603x85 + 245x86 + 457x87 + 704x88 + 82x89 + 574x90 + 102x91 + 203x92 + 70x93 + 542x94 + 617x95 + 612x96 + 162x97 + 74x98 + 630x99 + 56x100 <= 13493 
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