minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37078.724000 
s2: s + 0.001000f1 + 0.501000f2 >= 37078.724000 
f1: -f1 + 1062x1 + 838x2 + 865x3 + 709x4 + 550x5 + 861x6 + 583x7 + 631x8 + 399x9 + 533x10 + 513x11 + 702x12 + 870x13 + 716x14 + 901x15 + 784x16 + 548x17 + 654x18 + 678x19 + 528x20 + 392x21 + 713x22 + 542x23 + 501x24 + 351x25 + 638x26 + 473x27 + 815x28 + 897x29 + 786x30 + 955x31 + 980x32 + 333x33 + 971x34 + 810x35 + 1091x36 + 913x37 + 691x38 + 909x39 + 526x40 + 1131x41 + 955x42 + 910x43 + 950x44 + 1061x45 + 751x46 + 847x47 + 624x48 + 807x49 + 574x50 + 683x51 + 778x52 + 1038x53 + 616x54 + 973x55 + 1006x56 + 610x57 + 983x58 + 554x59 + 1002x60 + 719x61 + 500x62 + 713x63 + 714x64 + 898x65 + 584x66 + 582x67 + 810x68 + 691x69 + 1074x70 + 744x71 + 553x72 + 1108x73 + 673x74 + 589x75 + 795x76 + 758x77 + 372x78 + 759x79 + 475x80 + 847x81 + 879x82 + 742x83 + 764x84 + 575x85 + 837x86 + 614x87 + 491x88 + 1068x89 + 685x90 + 498x91 + 654x92 + 507x93 + 871x94 + 815x95 + 700x96 + 612x97 + 835x98 + 1032x99 + 660x100  = 0 
f2: -f2 + 685x1 + 501x2 + 815x3 + 582x4 + 473x5 + 548x6 + 815x7 + 1074x8 + 847x9 + 983x10 + 865x11 + 910x12 + 1061x13 + 871x14 + 744x15 + 528x16 + 1068x17 + 638x18 + 614x19 + 372x20 + 498x21 + 810x22 + 709x23 + 575x24 + 950x25 + 500x26 + 807x27 + 589x28 + 714x29 + 691x30 + 491x31 + 909x32 + 678x33 + 742x34 + 837x35 + 513x36 + 475x37 + 533x38 + 786x39 + 392x40 + 507x41 + 764x42 + 847x43 + 612x44 + 683x45 + 1091x46 + 778x47 + 879x48 + 616x49 + 759x50 + 584x51 + 719x52 + 955x53 + 751x54 + 542x55 + 973x56 + 713x57 + 870x58 + 702x59 + 971x60 + 1002x61 + 1032x62 + 898x63 + 784x64 + 399x65 + 955x66 + 980x67 + 1038x68 + 861x69 + 897x70 + 700x71 + 691x72 + 583x73 + 624x74 + 1062x75 + 351x76 + 713x77 + 654x78 + 1006x79 + 631x80 + 654x81 + 333x82 + 838x83 + 835x84 + 554x85 + 795x86 + 913x87 + 553x88 + 810x89 + 526x90 + 758x91 + 610x92 + 550x93 + 716x94 + 1131x95 + 673x96 + 901x97 + 660x98 + 574x99 + 1108x100  = 0 
constr1: + 749x1 + 611x2 + 246x3 + 812x4 + 183x5 + 944x6 + 366x7 + 258x8 + 773x9 + 337x10 + 821x11 + 251x12 + 534x13 + 712x14 + 993x15 + 326x16 + 170x17 + 417x18 + 310x19 + 287x20 + 809x21 + 989x22 + 813x23 + 653x24 + 882x25 + 578x26 + 257x27 + 913x28 + 135x29 + 512x30 + 347x31 + 323x32 + 78x33 + 460x34 + 789x35 + 127x36 + 504x37 + 110x38 + 265x39 + 458x40 + 284x41 + 676x42 + 753x43 + 607x44 + 763x45 + 79x46 + 222x47 + 271x48 + 755x49 + 795x50 + 851x51 + 618x52 + 125x53 + 82x54 + 601x55 + 817x56 + 217x57 + 168x58 + 779x59 + 678x60 + 80x61 + 54x62 + 113x63 + 56x64 + 935x65 + 441x66 + 199x67 + 698x68 + 216x69 + 641x70 + 774x71 + 59x72 + 146x73 + 853x74 + 576x75 + 885x76 + 742x77 + 572x78 + 429x79 + 144x80 + 506x81 + 211x82 + 379x83 + 182x84 + 777x85 + 324x86 + 807x87 + 86x88 + 455x89 + 259x90 + 455x91 + 100x92 + 94x93 + 265x94 + 346x95 + 182x96 + 350x97 + 882x98 + 4x99 + 230x100 <= 40929 
constr2: + 429x1 + 866x2 + 195x3 + 435x4 + 919x5 + 262x6 + 62x7 + 407x8 + 603x9 + 268x10 + 170x11 + 299x12 + 502x13 + 588x14 + 195x15 + 826x16 + 385x17 + 193x18 + 637x19 + 166x20 + 440x21 + 865x22 + 676x23 + 220x24 + 459x25 + 738x26 + 78x27 + 175x28 + 623x29 + 482x30 + 926x31 + 571x32 + 259x33 + 956x34 + 801x35 + 137x36 + 61x37 + 760x38 + 786x39 + 904x40 + 797x41 + 906x42 + 527x43 + 680x44 + 799x45 + 103x46 + 971x47 + 206x48 + 411x49 + 941x50 + 309x51 + 909x52 + 430x53 + 354x54 + 54x55 + 89x56 + 289x57 + 234x58 + 957x59 + 325x60 + 999x61 + 84x62 + 124x63 + 700x64 + 753x65 + 828x66 + 418x67 + 713x68 + 675x69 + 344x70 + 241x71 + 850x72 + 854x73 + 621x74 + 207x75 + 598x76 + 47x77 + 721x78 + 184x79 + 997x80 + 516x81 + 656x82 + 320x83 + 294x84 + 476x85 + 89x86 + 43x87 + 536x88 + 966x89 + 480x90 + 591x91 + 964x92 + 14x93 + 900x94 + 742x95 + 552x96 + 182x97 + 289x98 + 375x99 + 604x100 <= 32340 
constr3: + 939x1 + 237x2 + 42x3 + 127x4 + 872x5 + 379x6 + 484x7 + 276x8 + 106x9 + 748x10 + 516x11 + 380x12 + 718x13 + 196x14 + 293x15 + 746x16 + 517x17 + 300x18 + 590x19 + 612x20 + 349x21 + 38x22 + 721x23 + 579x24 + 93x25 + 676x26 + 359x27 + 958x28 + 83x29 + 248x30 + 577x31 + 614x32 + 447x33 + 483x34 + 319x35 + 49x36 + 191x37 + 864x38 + 19x39 + 57x40 + 795x41 + 56x42 + 37x43 + 915x44 + 729x45 + 614x46 + 926x47 + 851x48 + 160x49 + 987x50 + 215x51 + 965x52 + 278x53 + 193x54 + 873x55 + 348x56 + 277x57 + 937x58 + 436x59 + 45x60 + 551x61 + 631x62 + 427x63 + 210x64 + 424x65 + 475x66 + 69x67 + 417x68 + 523x69 + 665x70 + 427x71 + 548x72 + 169x73 + 207x74 + 862x75 + 825x76 + 408x77 + 707x78 + 281x79 + 362x80 + 967x81 + 988x82 + 393x83 + 309x84 + 29x85 + 455x86 + 706x87 + 443x88 + 601x89 + 58x90 + 963x91 + 426x92 + 721x93 + 90x94 + 334x95 + 972x96 + 550x97 + 638x98 + 507x99 + 304x100 <= 37439 
constr4: + 514x1 + 519x2 + 929x3 + 986x4 + 778x5 + 1000x6 + 906x7 + 513x8 + 594x9 + 808x10 + 272x11 + 342x12 + 83x13 + 629x14 + 540x15 + 405x16 + 501x17 + 745x18 + 779x19 + 296x20 + 955x21 + 219x22 + 375x23 + 321x24 + 566x25 + 196x26 + 749x27 + 843x28 + 687x29 + 901x30 + 462x31 + 904x32 + 576x33 + 438x34 + 208x35 + 75x36 + 330x37 + 438x38 + 28x39 + 422x40 + 989x41 + 136x42 + 40x43 + 930x44 + 285x45 + 50x46 + 765x47 + 748x48 + 922x49 + 406x50 + 432x51 + 716x52 + 293x53 + 395x54 + 346x55 + 422x56 + 808x57 + 98x58 + 466x59 + 235x60 + 717x61 + 396x62 + 184x63 + 935x64 + 779x65 + 89x66 + 873x67 + 162x68 + 599x69 + 224x70 + 16x71 + 482x72 + 326x73 + 28x74 + 322x75 + 710x76 + 646x77 + 426x78 + 895x79 + 786x80 + 980x81 + 398x82 + 701x83 + 839x84 + 821x85 + 534x86 + 471x87 + 546x88 + 440x89 + 500x90 + 112x91 + 90x92 + 328x93 + 798x94 + 819x95 + 101x96 + 253x97 + 575x98 + 756x99 + 794x100 <= 37982 
constr5: + 890x1 + 187x2 + 576x3 + 574x4 + 520x5 + 251x6 + 717x7 + 225x8 + 483x9 + 815x10 + 537x11 + 607x12 + 90x13 + 15x14 + 627x15 + 868x16 + 202x17 + 318x18 + 532x19 + 346x20 + 539x21 + 539x22 + 514x23 + 877x24 + 353x25 + 215x26 + 527x27 + 95x28 + 315x29 + 595x30 + 553x31 + 780x32 + 229x33 + 49x34 + 921x35 + 965x36 + 727x37 + 936x38 + 454x39 + 327x40 + 558x41 + 755x42 + 58x43 + 707x44 + 856x45 + 657x46 + 442x47 + 701x48 + 170x49 + 333x50 + 824x51 + 991x52 + 148x53 + 101x54 + 619x55 + 582x56 + 833x57 + 444x58 + 555x59 + 402x60 + 394x61 + 65x62 + 639x63 + 120x64 + 762x65 + 696x66 + 9x67 + 17x68 + 633x69 + 103x70 + 79x71 + 610x72 + 220x73 + 400x74 + 666x75 + 636x76 + 753x77 + 564x78 + 408x79 + 787x80 + 885x81 + 852x82 + 467x83 + 130x84 + 928x85 + 895x86 + 58x87 + 643x88 + 829x89 + 393x90 + 190x91 + 897x92 + 524x93 + 312x94 + 932x95 + 952x96 + 882x97 + 624x98 + 344x99 + 913x100 <= 39675 
constr6: + 858x1 + 617x2 + 227x3 + 111x4 + 995x5 + 979x6 + 475x7 + 618x8 + 332x9 + 204x10 + 421x11 + 970x12 + 6x13 + 802x14 + 784x15 + 172x16 + 121x17 + 620x18 + 321x19 + 559x20 + 175x21 + 537x22 + 289x23 + 901x24 + 238x25 + 747x26 + 564x27 + 415x28 + 497x29 + 110x30 + 682x31 + 903x32 + 542x33 + 396x34 + 160x35 + 38x36 + 647x37 + 978x38 + 21x39 + 614x40 + 634x41 + 434x42 + 784x43 + 639x44 + 35x45 + 729x46 + 326x47 + 860x48 + 383x49 + 392x50 + 758x51 + 733x52 + 561x53 + 901x54 + 792x55 + 917x56 + 903x57 + 433x58 + 415x59 + 123x60 + 971x61 + 666x62 + 380x63 + 954x64 + 381x65 + 496x66 + 613x67 + 723x68 + 542x69 + 186x70 + 40x71 + 401x72 + 828x73 + 657x74 + 418x75 + 778x76 + 899x77 + 137x78 + 293x79 + 922x80 + 136x81 + 109x82 + 771x83 + 681x84 + 78x85 + 458x86 + 990x87 + 482x88 + 595x89 + 225x90 + 698x91 + 36x92 + 505x93 + 871x94 + 63x95 + 91x96 + 184x97 + 71x98 + 833x99 + 638x100 <= 36140 
constr7: + 235x1 + 507x2 + 728x3 + 792x4 + 950x5 + 421x6 + 624x7 + 183x8 + 969x9 + 670x10 + 319x11 + 260x12 + 94x13 + 672x14 + 598x15 + 704x16 + 301x17 + 345x18 + 19x19 + 567x20 + 935x21 + 427x22 + 13x23 + 431x24 + 261x25 + 619x26 + 51x27 + 237x28 + 537x29 + 483x30 + 780x31 + 554x32 + 457x33 + 323x34 + 534x35 + 136x36 + 489x37 + 954x38 + 818x39 + 240x40 + 511x41 + 167x42 + 852x43 + 597x44 + 423x45 + 701x46 + 101x47 + 696x48 + 199x49 + 880x50 + 627x51 + 100x52 + 3x53 + 403x54 + 726x55 + 842x56 + 352x57 + 179x58 + 554x59 + 940x60 + 738x61 + 299x62 + 346x63 + 979x64 + 832x65 + 377x66 + 377x67 + 131x68 + 517x69 + 558x70 + 384x71 + 236x72 + 831x73 + 511x74 + 486x75 + 9x76 + 577x77 + 944x78 + 97x79 + 627x80 + 611x81 + 94x82 + 128x83 + 973x84 + 183x85 + 194x86 + 779x87 + 567x88 + 108x89 + 939x90 + 6x91 + 85x92 + 452x93 + 986x94 + 900x95 + 167x96 + 136x97 + 838x98 + 488x99 + 209x100 <= 34703 
constr8: + 53x1 + 708x2 + 312x3 + 469x4 + 761x5 + 985x6 + 85x7 + 80x8 + 953x9 + 143x10 + 840x11 + 222x12 + 136x13 + 330x14 + 200x15 + 801x16 + 522x17 + 633x18 + 505x19 + 945x20 + 826x21 + 707x22 + 929x23 + 510x24 + 27x25 + 222x26 + 438x27 + 185x28 + 816x29 + 928x30 + 869x31 + 410x32 + 862x33 + 449x34 + 467x35 + 217x36 + 831x37 + 453x38 + 614x39 + 728x40 + 535x41 + 492x42 + 562x43 + 101x44 + 153x45 + 211x46 + 46x47 + 770x48 + 25x49 + 298x50 + 590x51 + 966x52 + 145x53 + 430x54 + 393x55 + 836x56 + 766x57 + 335x58 + 211x59 + 1x60 + 770x61 + 314x62 + 282x63 + 649x64 + 706x65 + 342x66 + 555x67 + 273x68 + 111x69 + 168x70 + 188x71 + 35x72 + 55x73 + 689x74 + 49x75 + 783x76 + 731x77 + 388x78 + 794x79 + 750x80 + 113x81 + 59x82 + 937x83 + 152x84 + 586x85 + 745x86 + 975x87 + 229x88 + 715x89 + 40x90 + 565x91 + 46x92 + 381x93 + 907x94 + 621x95 + 411x96 + 127x97 + 178x98 + 137x99 + 788x100 <= 38191 
constr9: + 860x1 + 616x2 + 785x3 + 657x4 + 44x5 + 908x6 + 803x7 + 9x8 + 967x9 + 688x10 + 122x11 + 229x12 + 978x13 + 913x14 + 408x15 + 337x16 + 224x17 + 576x18 + 127x19 + 412x20 + 438x21 + 514x22 + 705x23 + 88x24 + 734x25 + 287x26 + 847x27 + 573x28 + 511x29 + 565x30 + 596x31 + 486x32 + 817x33 + 348x34 + 137x35 + 305x36 + 300x37 + 625x38 + 361x39 + 856x40 + 144x41 + 941x42 + 637x43 + 412x44 + 595x45 + 93x46 + 327x47 + 839x48 + 944x49 + 810x50 + 296x51 + 39x52 + 85x53 + 185x54 + 773x55 + 217x56 + 611x57 + 930x58 + 891x59 + 121x60 + 415x61 + 459x62 + 369x63 + 356x64 + 133x65 + 876x66 + 388x67 + 433x68 + 938x69 + 866x70 + 546x71 + 649x72 + 471x73 + 31x74 + 83x75 + 956x76 + 843x77 + 582x78 + 633x79 + 110x80 + 64x81 + 721x82 + 37x83 + 716x84 + 994x85 + 141x86 + 827x87 + 818x88 + 54x89 + 818x90 + 451x91 + 54x92 + 439x93 + 414x94 + 800x95 + 819x96 + 640x97 + 249x98 + 402x99 + 697x100 <= 37105 
constr10: + 886x1 + 607x2 + 176x3 + 270x4 + 336x5 + 505x6 + 771x7 + 663x8 + 325x9 + 932x10 + 125x11 + 107x12 + 174x13 + 717x14 + 22x15 + 870x16 + 328x17 + 66x18 + 121x19 + 91x20 + 690x21 + 720x22 + 642x23 + 341x24 + 722x25 + 453x26 + 486x27 + 1x28 + 583x29 + 182x30 + 97x31 + 784x32 + 574x33 + 592x34 + 784x35 + 623x36 + 551x37 + 969x38 + 695x39 + 912x40 + 711x41 + 558x42 + 177x43 + 897x44 + 46x45 + 668x46 + 565x47 + 882x48 + 472x49 + 522x50 + 414x51 + 809x52 + 326x53 + 411x54 + 488x55 + 200x56 + 532x57 + 806x58 + 880x59 + 75x60 + 210x61 + 320x62 + 338x63 + 13x64 + 654x65 + 711x66 + 891x67 + 266x68 + 438x69 + 102x70 + 983x71 + 468x72 + 744x73 + 190x74 + 209x75 + 792x76 + 813x77 + 569x78 + 728x79 + 928x80 + 71x81 + 215x82 + 799x83 + 657x84 + 865x85 + 387x86 + 842x87 + 28x88 + 389x89 + 757x90 + 182x91 + 279x92 + 301x93 + 208x94 + 679x95 + 659x96 + 157x97 + 379x98 + 121x99 + 550x100 <= 34290 
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