minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 35346.824000 
s2: s + 0.001000f1 + 0.501000f2 >= 35346.824000 
f1: -f1 + 909x1 + 366x2 + 893x3 + 696x4 + 568x5 + 1054x6 + 939x7 + 808x8 + 690x9 + 753x10 + 873x11 + 675x12 + 842x13 + 1013x14 + 837x15 + 794x16 + 676x17 + 1000x18 + 659x19 + 728x20 + 639x21 + 521x22 + 935x23 + 1030x24 + 884x25 + 722x26 + 505x27 + 664x28 + 638x29 + 870x30 + 548x31 + 497x32 + 525x33 + 991x34 + 745x35 + 1012x36 + 654x37 + 496x38 + 944x39 + 604x40 + 506x41 + 567x42 + 442x43 + 740x44 + 647x45 + 727x46 + 636x47 + 516x48 + 834x49 + 522x50 + 793x51 + 788x52 + 796x53 + 501x54 + 566x55 + 838x56 + 574x57 + 555x58 + 565x59 + 479x60 + 620x61 + 563x62 + 845x63 + 632x64 + 731x65 + 439x66 + 878x67 + 622x68 + 601x69 + 696x70 + 568x71 + 898x72 + 865x73 + 528x74 + 894x75 + 404x76 + 871x77 + 698x78 + 724x79 + 665x80 + 869x81 + 581x82 + 547x83 + 591x84 + 580x85 + 545x86 + 589x87 + 831x88 + 1020x89 + 987x90 + 835x91 + 780x92 + 710x93 + 505x94 + 736x95 + 722x96 + 832x97 + 654x98 + 503x99 + 464x100  = 0 
f2: -f2 + 664x1 + 780x2 + 736x3 + 505x4 + 659x5 + 676x6 + 516x7 + 464x8 + 835x9 + 566x10 + 675x11 + 696x12 + 497x13 + 548x14 + 521x15 + 831x16 + 501x17 + 1020x18 + 690x19 + 834x20 + 837x21 + 565x22 + 740x23 + 496x24 + 845x25 + 870x26 + 909x27 + 698x28 + 574x29 + 580x30 + 788x31 + 522x32 + 842x33 + 555x34 + 620x35 + 601x36 + 710x37 + 1013x38 + 939x39 + 935x40 + 638x41 + 563x42 + 439x43 + 871x44 + 647x45 + 636x46 + 724x47 + 581x48 + 547x49 + 722x50 + 753x51 + 503x52 + 604x53 + 987x54 + 869x55 + 1054x56 + 808x57 + 878x58 + 505x59 + 639x60 + 1030x61 + 873x62 + 622x63 + 442x64 + 404x65 + 1000x66 + 865x67 + 838x68 + 654x69 + 731x70 + 545x71 + 727x72 + 528x73 + 893x74 + 506x75 + 794x76 + 991x77 + 1012x78 + 944x79 + 796x80 + 728x81 + 665x82 + 591x83 + 589x84 + 525x85 + 832x86 + 568x87 + 884x88 + 632x89 + 696x90 + 793x91 + 654x92 + 567x93 + 722x94 + 568x95 + 745x96 + 898x97 + 479x98 + 366x99 + 894x100  = 0 
constr1: + 622x1 + 227x2 + 131x3 + 978x4 + 866x5 + 242x6 + 251x7 + 594x8 + 943x9 + 132x10 + 819x11 + 359x12 + 757x13 + 744x14 + 520x15 + 735x16 + 8x17 + 241x18 + 493x19 + 761x20 + 696x21 + 542x22 + 743x23 + 331x24 + 57x25 + 585x26 + 616x27 + 445x28 + 266x29 + 274x30 + 255x31 + 453x32 + 720x33 + 315x34 + 180x35 + 347x36 + 547x37 + 812x38 + 791x39 + 189x40 + 157x41 + 70x42 + 216x43 + 370x44 + 176x45 + 2x46 + 693x47 + 153x48 + 191x49 + 345x50 + 162x51 + 433x52 + 562x53 + 36x54 + 514x55 + 88x56 + 981x57 + 236x58 + 233x59 + 463x60 + 783x61 + 352x62 + 684x63 + 74x64 + 157x65 + 36x66 + 629x67 + 210x68 + 726x69 + 310x70 + 721x71 + 820x72 + 263x73 + 145x74 + 668x75 + 546x76 + 222x77 + 860x78 + 298x79 + 952x80 + 889x81 + 274x82 + 461x83 + 670x84 + 23x85 + 914x86 + 212x87 + 602x88 + 347x89 + 511x90 + 512x91 + 477x92 + 166x93 + 15x94 + 759x95 + 555x96 + 268x97 + 829x98 + 459x99 + 997x100 <= 37699 
constr2: + 349x1 + 513x2 + 157x3 + 55x4 + 956x5 + 777x6 + 58x7 + 379x8 + 810x9 + 833x10 + 236x11 + 266x12 + 457x13 + 286x14 + 874x15 + 415x16 + 264x17 + 945x18 + 539x19 + 282x20 + 506x21 + 937x22 + 812x23 + 143x24 + 267x25 + 574x26 + 556x27 + 452x28 + 648x29 + 814x30 + 659x31 + 557x32 + 237x33 + 546x34 + 636x35 + 25x36 + 590x37 + 247x38 + 353x39 + 468x40 + 281x41 + 920x42 + 501x43 + 213x44 + 721x45 + 712x46 + 665x47 + 560x48 + 715x49 + 971x50 + 538x51 + 939x52 + 162x53 + 508x54 + 327x55 + 139x56 + 117x57 + 782x58 + 317x59 + 966x60 + 61x61 + 117x62 + 13x63 + 656x64 + 81x65 + 924x66 + 115x67 + 809x68 + 109x69 + 191x70 + 631x71 + 531x72 + 741x73 + 584x74 + 734x75 + 326x76 + 60x77 + 141x78 + 143x79 + 902x80 + 121x81 + 782x82 + 24x83 + 474x84 + 486x85 + 817x86 + 249x87 + 917x88 + 290x89 + 191x90 + 102x91 + 430x92 + 670x93 + 639x94 + 279x95 + 714x96 + 785x97 + 664x98 + 706x99 + 438x100 <= 36914 
constr3: + 416x1 + 940x2 + 214x3 + 559x4 + 522x5 + 406x6 + 14x7 + 105x8 + 361x9 + 311x10 + 407x11 + 814x12 + 889x13 + 449x14 + 299x15 + 158x16 + 24x17 + 723x18 + 871x19 + 764x20 + 506x21 + 814x22 + 570x23 + 536x24 + 325x25 + 287x26 + 467x27 + 599x28 + 604x29 + 217x30 + 354x31 + 296x32 + 391x33 + 954x34 + 212x35 + 175x36 + 879x37 + 859x38 + 586x39 + 28x40 + 387x41 + 883x42 + 321x43 + 450x44 + 784x45 + 410x46 + 817x47 + 227x48 + 35x49 + 112x50 + 40x51 + 625x52 + 743x53 + 62x54 + 349x55 + 428x56 + 972x57 + 2x58 + 320x59 + 505x60 + 820x61 + 893x62 + 375x63 + 414x64 + 125x65 + 830x66 + 952x67 + 249x68 + 316x69 + 935x70 + 412x71 + 585x72 + 687x73 + 5x74 + 775x75 + 434x76 + 752x77 + 218x78 + 444x79 + 395x80 + 942x81 + 428x82 + 277x83 + 257x84 + 461x85 + 606x86 + 589x87 + 955x88 + 251x89 + 940x90 + 800x91 + 213x92 + 268x93 + 928x94 + 240x95 + 776x96 + 645x97 + 450x98 + 376x99 + 694x100 <= 37191 
constr4: + 612x1 + 957x2 + 228x3 + 833x4 + 77x5 + 725x6 + 790x7 + 635x8 + 60x9 + 656x10 + 891x11 + 687x12 + 931x13 + 628x14 + 602x15 + 16x16 + 62x17 + 216x18 + 407x19 + 117x20 + 495x21 + 442x22 + 818x23 + 799x24 + 988x25 + 256x26 + 517x27 + 636x28 + 486x29 + 720x30 + 33x31 + 161x32 + 818x33 + 834x34 + 136x35 + 41x36 + 601x37 + 986x38 + 785x39 + 321x40 + 890x41 + 665x42 + 265x43 + 783x44 + 813x45 + 180x46 + 847x47 + 452x48 + 728x49 + 177x50 + 357x51 + 935x52 + 580x53 + 711x54 + 884x55 + 803x56 + 254x57 + 29x58 + 759x59 + 806x60 + 513x61 + 751x62 + 68x63 + 458x64 + 152x65 + 399x66 + 840x67 + 830x68 + 519x69 + 984x70 + 970x71 + 548x72 + 545x73 + 274x74 + 213x75 + 786x76 + 929x77 + 195x78 + 313x79 + 379x80 + 124x81 + 202x82 + 481x83 + 390x84 + 18x85 + 492x86 + 492x87 + 188x88 + 667x89 + 113x90 + 902x91 + 740x92 + 686x93 + 590x94 + 862x95 + 888x96 + 721x97 + 307x98 + 767x99 + 446x100 <= 37864 
constr5: + 334x1 + 92x2 + 908x3 + 970x4 + 578x5 + 987x6 + 114x7 + 748x8 + 202x9 + 788x10 + 161x11 + 738x12 + 170x13 + 109x14 + 651x15 + 38x16 + 733x17 + 910x18 + 882x19 + 366x20 + 889x21 + 123x22 + 361x23 + 911x24 + 583x25 + 943x26 + 312x27 + 838x28 + 966x29 + 413x30 + 771x31 + 719x32 + 951x33 + 758x34 + 362x35 + 849x36 + 816x37 + 161x38 + 576x39 + 14x40 + 715x41 + 748x42 + 749x43 + 317x44 + 174x45 + 22x46 + 918x47 + 753x48 + 178x49 + 422x50 + 674x51 + 914x52 + 390x53 + 259x54 + 220x55 + 369x56 + 900x57 + 621x58 + 950x59 + 342x60 + 249x61 + 648x62 + 627x63 + 508x64 + 367x65 + 414x66 + 682x67 + 169x68 + 28x69 + 611x70 + 136x71 + 400x72 + 899x73 + 240x74 + 932x75 + 265x76 + 872x77 + 963x78 + 507x79 + 766x80 + 86x81 + 44x82 + 91x83 + 406x84 + 834x85 + 440x86 + 930x87 + 948x88 + 159x89 + 479x90 + 319x91 + 14x92 + 875x93 + 672x94 + 933x95 + 888x96 + 662x97 + 817x98 + 909x99 + 761x100 <= 37792 
constr6: + 747x1 + 655x2 + 8x3 + 949x4 + 61x5 + 369x6 + 19x7 + 819x8 + 134x9 + 98x10 + 406x11 + 392x12 + 6x13 + 61x14 + 278x15 + 555x16 + 106x17 + 59x18 + 447x19 + 282x20 + 314x21 + 726x22 + 751x23 + 999x24 + 786x25 + 158x26 + 912x27 + 231x28 + 451x29 + 367x30 + 904x31 + 11x32 + 481x33 + 550x34 + 762x35 + 801x36 + 829x37 + 361x38 + 684x39 + 243x40 + 970x41 + 446x42 + 577x43 + 421x44 + 90x45 + 57x46 + 111x47 + 424x48 + 560x49 + 633x50 + 232x51 + 811x52 + 933x53 + 522x54 + 794x55 + 119x56 + 302x57 + 530x58 + 185x59 + 137x60 + 562x61 + 61x62 + 458x63 + 850x64 + 351x65 + 939x66 + 304x67 + 360x68 + 812x69 + 47x70 + 225x71 + 708x72 + 414x73 + 569x74 + 848x75 + 763x76 + 61x77 + 131x78 + 907x79 + 88x80 + 877x81 + 389x82 + 827x83 + 702x84 + 896x85 + 139x86 + 289x87 + 297x88 + 489x89 + 315x90 + 918x91 + 196x92 + 793x93 + 682x94 + 120x95 + 682x96 + 716x97 + 798x98 + 586x99 + 840x100 <= 38604 
constr7: + 114x1 + 259x2 + 26x3 + 133x4 + 884x5 + 496x6 + 737x7 + 948x8 + 117x9 + 695x10 + 866x11 + 239x12 + 582x13 + 744x14 + 660x15 + 981x16 + 60x17 + 583x18 + 698x19 + 223x20 + 135x21 + 283x22 + 834x23 + 315x24 + 132x25 + 186x26 + 503x27 + 955x28 + 254x29 + 17x30 + 617x31 + 220x32 + 159x33 + 678x34 + 834x35 + 194x36 + 305x37 + 328x38 + 265x39 + 497x40 + 105x41 + 515x42 + 553x43 + 492x44 + 912x45 + 678x46 + 688x47 + 464x48 + 683x49 + 639x50 + 666x51 + 559x52 + 234x53 + 588x54 + 502x55 + 776x56 + 787x57 + 850x58 + 302x59 + 475x60 + 262x61 + 305x62 + 554x63 + 951x64 + 401x65 + 171x66 + 539x67 + 518x68 + 563x69 + 634x70 + 666x71 + 118x72 + 730x73 + 129x74 + 152x75 + 680x76 + 344x77 + 152x78 + 5x79 + 378x80 + 111x81 + 282x82 + 444x83 + 727x84 + 427x85 + 568x86 + 987x87 + 947x88 + 215x89 + 662x90 + 918x91 + 642x92 + 156x93 + 707x94 + 947x95 + 361x96 + 879x97 + 516x98 + 485x99 + 761x100 <= 35111 
constr8: + 516x1 + 183x2 + 735x3 + 363x4 + 556x5 + 477x6 + 329x7 + 961x8 + 284x9 + 892x10 + 3x11 + 873x12 + 626x13 + 61x14 + 755x15 + 772x16 + 627x17 + 224x18 + 752x19 + 389x20 + 109x21 + 887x22 + 26x23 + 287x24 + 620x25 + 72x26 + 753x27 + 828x28 + 64x29 + 326x30 + 914x31 + 901x32 + 611x33 + 166x34 + 159x35 + 864x36 + 589x37 + 276x38 + 109x39 + 299x40 + 594x41 + 757x42 + 958x43 + 915x44 + 952x45 + 61x46 + 583x47 + 201x48 + 644x49 + 281x50 + 257x51 + 738x52 + 37x53 + 804x54 + 571x55 + 660x56 + 293x57 + 804x58 + 876x59 + 710x60 + 933x61 + 627x62 + 627x63 + 575x64 + 191x65 + 544x66 + 561x67 + 284x68 + 923x69 + 566x70 + 379x71 + 516x72 + 861x73 + 467x74 + 42x75 + 109x76 + 4x77 + 88x78 + 885x79 + 711x80 + 147x81 + 797x82 + 324x83 + 22x84 + 242x85 + 756x86 + 13x87 + 98x88 + 571x89 + 707x90 + 433x91 + 328x92 + 223x93 + 140x94 + 174x95 + 80x96 + 161x97 + 279x98 + 476x99 + 559x100 <= 34466 
constr9: + 347x1 + 893x2 + 446x3 + 261x4 + 598x5 + 375x6 + 593x7 + 794x8 + 784x9 + 726x10 + 824x11 + 187x12 + 398x13 + 100x14 + 381x15 + 482x16 + 792x17 + 680x18 + 430x19 + 195x20 + 961x21 + 254x22 + 773x23 + 335x24 + 169x25 + 451x26 + 367x27 + 186x28 + 540x29 + 291x30 + 311x31 + 831x32 + 562x33 + 998x34 + 634x35 + 345x36 + 878x37 + 652x38 + 930x39 + 450x40 + 442x41 + 447x42 + 190x43 + 735x44 + 808x45 + 55x46 + 934x47 + 271x48 + 168x49 + 389x50 + 929x51 + 809x52 + 919x53 + 11x54 + 361x55 + 645x56 + 732x57 + 928x58 + 820x59 + 480x60 + 234x61 + 655x62 + 891x63 + 635x64 + 123x65 + 743x66 + 341x67 + 18x68 + 650x69 + 418x70 + 50x71 + 615x72 + 6x73 + 760x74 + 546x75 + 31x76 + 228x77 + 467x78 + 278x79 + 17x80 + 83x81 + 59x82 + 347x83 + 828x84 + 248x85 + 841x86 + 669x87 + 624x88 + 537x89 + 614x90 + 808x91 + 562x92 + 732x93 + 820x94 + 110x95 + 547x96 + 472x97 + 521x98 + 118x99 + 664x100 <= 34577 
constr10: + 666x1 + 918x2 + 947x3 + 926x4 + 487x5 + 109x6 + 609x7 + 91x8 + 955x9 + 161x10 + 872x11 + 550x12 + 379x13 + 485x14 + 989x15 + 1000x16 + 641x17 + 958x18 + 784x19 + 67x20 + 717x21 + 92x22 + 598x23 + 200x24 + 719x25 + 270x26 + 583x27 + 9x28 + 999x29 + 108x30 + 759x31 + 270x32 + 536x33 + 108x34 + 511x35 + 610x36 + 303x37 + 296x38 + 827x39 + 709x40 + 542x41 + 981x42 + 836x43 + 401x44 + 637x45 + 131x46 + 550x47 + 919x48 + 421x49 + 714x50 + 744x51 + 498x52 + 165x53 + 481x54 + 513x55 + 265x56 + 232x57 + 974x58 + 255x59 + 351x60 + 27x61 + 731x62 + 736x63 + 124x64 + 306x65 + 325x66 + 115x67 + 572x68 + 625x69 + 309x70 + 654x71 + 108x72 + 461x73 + 442x74 + 16x75 + 378x76 + 843x77 + 899x78 + 710x79 + 189x80 + 597x81 + 239x82 + 344x83 + 726x84 + 402x85 + 263x86 + 571x87 + 607x88 + 141x89 + 552x90 + 79x91 + 291x92 + 387x93 + 300x94 + 184x95 + 8x96 + 639x97 + 727x98 + 167x99 + 755x100 <= 40545 
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