minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36689.674000 
s2: s + 0.001000f1 + 0.501000f2 >= 36689.674000 
f1: -f1 + 793x1 + 756x2 + 923x3 + 915x4 + 833x5 + 667x6 + 701x7 + 700x8 + 311x9 + 891x10 + 790x11 + 835x12 + 569x13 + 795x14 + 860x15 + 1091x16 + 368x17 + 817x18 + 961x19 + 711x20 + 801x21 + 859x22 + 567x23 + 939x24 + 950x25 + 1049x26 + 791x27 + 762x28 + 491x29 + 753x30 + 835x31 + 368x32 + 882x33 + 830x34 + 809x35 + 885x36 + 955x37 + 772x38 + 909x39 + 458x40 + 847x41 + 351x42 + 748x43 + 675x44 + 509x45 + 990x46 + 489x47 + 491x48 + 706x49 + 796x50 + 785x51 + 686x52 + 634x53 + 932x54 + 555x55 + 949x56 + 926x57 + 932x58 + 719x59 + 534x60 + 544x61 + 999x62 + 729x63 + 565x64 + 1073x65 + 639x66 + 722x67 + 641x68 + 527x69 + 655x70 + 868x71 + 786x72 + 558x73 + 760x74 + 845x75 + 663x76 + 1047x77 + 659x78 + 623x79 + 723x80 + 726x81 + 570x82 + 510x83 + 666x84 + 824x85 + 498x86 + 738x87 + 663x88 + 756x89 + 653x90 + 443x91 + 983x92 + 858x93 + 529x94 + 487x95 + 614x96 + 593x97 + 862x98 + 610x99 + 672x100  = 0 
f2: -f2 + 817x1 + 949x2 + 932x3 + 675x4 + 738x5 + 639x6 + 830x7 + 786x8 + 634x9 + 748x10 + 1049x11 + 723x12 + 663x13 + 915x14 + 729x15 + 701x16 + 527x17 + 1047x18 + 570x19 + 923x20 + 950x21 + 835x22 + 593x23 + 510x24 + 868x25 + 756x26 + 534x27 + 760x28 + 891x29 + 860x30 + 726x31 + 623x32 + 351x33 + 443x34 + 672x35 + 610x36 + 833x37 + 932x38 + 700x39 + 555x40 + 558x41 + 667x42 + 719x43 + 809x44 + 706x45 + 926x46 + 955x47 + 859x48 + 666x49 + 845x50 + 498x51 + 983x52 + 491x53 + 756x54 + 659x55 + 567x56 + 711x57 + 882x58 + 569x59 + 795x60 + 772x61 + 790x62 + 793x63 + 489x64 + 565x65 + 686x66 + 653x67 + 722x68 + 999x69 + 509x70 + 885x71 + 368x72 + 847x73 + 835x74 + 796x75 + 614x76 + 458x77 + 785x78 + 990x79 + 762x80 + 311x81 + 487x82 + 529x83 + 491x84 + 909x85 + 1091x86 + 753x87 + 824x88 + 368x89 + 862x90 + 939x91 + 655x92 + 801x93 + 544x94 + 641x95 + 663x96 + 1073x97 + 791x98 + 961x99 + 858x100  = 0 
constr1: + 292x1 + 546x2 + 189x3 + 584x4 + 184x5 + 542x6 + 80x7 + 395x8 + 768x9 + 556x10 + 414x11 + 514x12 + 403x13 + 43x14 + 588x15 + 129x16 + 318x17 + 949x18 + 340x19 + 217x20 + 353x21 + 305x22 + 316x23 + 824x24 + 510x25 + 570x26 + 157x27 + 166x28 + 887x29 + 263x30 + 110x31 + 631x32 + 191x33 + 348x34 + 153x35 + 622x36 + 550x37 + 510x38 + 411x39 + 54x40 + 463x41 + 584x42 + 702x43 + 849x44 + 100x45 + 338x46 + 921x47 + 475x48 + 750x49 + 703x50 + 620x51 + 710x52 + 328x53 + 741x54 + 278x55 + 829x56 + 3x57 + 615x58 + 153x59 + 107x60 + 281x61 + 756x62 + 658x63 + 580x64 + 605x65 + 86x66 + 956x67 + 889x68 + 310x69 + 694x70 + 749x71 + 318x72 + 274x73 + 21x74 + 301x75 + 981x76 + 903x77 + 187x78 + 116x79 + 666x80 + 202x81 + 218x82 + 834x83 + 831x84 + 658x85 + 714x86 + 111x87 + 719x88 + 491x89 + 116x90 + 395x91 + 773x92 + 350x93 + 881x94 + 309x95 + 181x96 + 61x97 + 930x98 + 310x99 + 704x100 <= 11707 
constr2: + 819x1 + 134x2 + 38x3 + 162x4 + 5x5 + 31x6 + 720x7 + 19x8 + 454x9 + 172x10 + 271x11 + 252x12 + 305x13 + 388x14 + 668x15 + 496x16 + 396x17 + 382x18 + 178x19 + 846x20 + 346x21 + 841x22 + 243x23 + 770x24 + 392x25 + 917x26 + 490x27 + 923x28 + 194x29 + 537x30 + 33x31 + 332x32 + 478x33 + 302x34 + 218x35 + 558x36 + 270x37 + 833x38 + 968x39 + 682x40 + 800x41 + 715x42 + 173x43 + 745x44 + 631x45 + 882x46 + 771x47 + 614x48 + 673x49 + 975x50 + 22x51 + 920x52 + 729x53 + 159x54 + 86x55 + 508x56 + 868x57 + 597x58 + 576x59 + 943x60 + 462x61 + 677x62 + 620x63 + 309x64 + 61x65 + 384x66 + 542x67 + 455x68 + 235x69 + 412x70 + 807x71 + 127x72 + 494x73 + 107x74 + 43x75 + 332x76 + 937x77 + 922x78 + 26x79 + 978x80 + 122x81 + 98x82 + 977x83 + 41x84 + 540x85 + 464x86 + 889x87 + 547x88 + 972x89 + 998x90 + 933x91 + 320x92 + 774x93 + 57x94 + 526x95 + 4x96 + 200x97 + 820x98 + 849x99 + 614x100 <= 13635 
constr3: + 468x1 + 639x2 + 277x3 + 440x4 + 182x5 + 956x6 + 243x7 + 764x8 + 37x9 + 714x10 + 673x11 + 662x12 + 619x13 + 813x14 + 104x15 + 333x16 + 967x17 + 297x18 + 30x19 + 525x20 + 187x21 + 881x22 + 810x23 + 182x24 + 664x25 + 970x26 + 713x27 + 396x28 + 87x29 + 62x30 + 870x31 + 326x32 + 400x33 + 276x34 + 579x35 + 265x36 + 637x37 + 860x38 + 772x39 + 132x40 + 981x41 + 461x42 + 267x43 + 116x44 + 876x45 + 513x46 + 738x47 + 136x48 + 887x49 + 310x50 + 943x51 + 131x52 + 467x53 + 669x54 + 169x55 + 335x56 + 13x57 + 116x58 + 902x59 + 831x60 + 441x61 + 54x62 + 846x63 + 402x64 + 429x65 + 55x66 + 703x67 + 668x68 + 725x69 + 75x70 + 1x71 + 47x72 + 199x73 + 319x74 + 146x75 + 84x76 + 422x77 + 28x78 + 825x79 + 765x80 + 137x81 + 857x82 + 636x83 + 492x84 + 107x85 + 999x86 + 533x87 + 131x88 + 90x89 + 677x90 + 327x91 + 796x92 + 571x93 + 236x94 + 339x95 + 8x96 + 3x97 + 282x98 + 551x99 + 523x100 <= 12482 
constr4: + 428x1 + 806x2 + 987x3 + 64x4 + 292x5 + 204x6 + 319x7 + 902x8 + 934x9 + 327x10 + 955x11 + 704x12 + 604x13 + 554x14 + 135x15 + 791x16 + 987x17 + 30x18 + 204x19 + 673x20 + 109x21 + 183x22 + 404x23 + 674x24 + 215x25 + 831x26 + 465x27 + 831x28 + 643x29 + 272x30 + 970x31 + 634x32 + 813x33 + 204x34 + 228x35 + 435x36 + 447x37 + 622x38 + 812x39 + 220x40 + 527x41 + 776x42 + 104x43 + 666x44 + 926x45 + 646x46 + 173x47 + 889x48 + 409x49 + 8x50 + 736x51 + 143x52 + 770x53 + 185x54 + 240x55 + 837x56 + 941x57 + 852x58 + 696x59 + 283x60 + 173x61 + 732x62 + 39x63 + 283x64 + 719x65 + 905x66 + 234x67 + 219x68 + 356x69 + 784x70 + 815x71 + 221x72 + 810x73 + 530x74 + 730x75 + 457x76 + 617x77 + 834x78 + 689x79 + 479x80 + 432x81 + 609x82 + 585x83 + 792x84 + 392x85 + 651x86 + 417x87 + 236x88 + 389x89 + 833x90 + 981x91 + 131x92 + 698x93 + 576x94 + 370x95 + 543x96 + 212x97 + 686x98 + 550x99 + 86x100 <= 12083 
constr5: + 992x1 + 150x2 + 390x3 + 697x4 + 207x5 + 87x6 + 782x7 + 6x8 + 796x9 + 816x10 + 697x11 + 205x12 + 676x13 + 424x14 + 515x15 + 841x16 + 793x17 + 14x18 + 155x19 + 32x20 + 490x21 + 647x22 + 982x23 + 614x24 + 175x25 + 245x26 + 620x27 + 193x28 + 735x29 + 635x30 + 735x31 + 492x32 + 708x33 + 356x34 + 737x35 + 982x36 + 572x37 + 956x38 + 757x39 + 570x40 + 496x41 + 68x42 + 459x43 + 271x44 + 135x45 + 376x46 + 598x47 + 471x48 + 257x49 + 946x50 + 104x51 + 410x52 + 974x53 + 927x54 + 514x55 + 786x56 + 855x57 + 615x58 + 335x59 + 207x60 + 889x61 + 575x62 + 976x63 + 210x64 + 344x65 + 280x66 + 527x67 + 524x68 + 136x69 + 431x70 + 198x71 + 518x72 + 267x73 + 244x74 + 671x75 + 417x76 + 632x77 + 350x78 + 884x79 + 326x80 + 96x81 + 812x82 + 583x83 + 644x84 + 721x85 + 140x86 + 825x87 + 439x88 + 205x89 + 117x90 + 500x91 + 197x92 + 986x93 + 391x94 + 108x95 + 545x96 + 634x97 + 336x98 + 991x99 + 43x100 <= 13604 
constr6: + 241x1 + 962x2 + 978x3 + 724x4 + 370x5 + 844x6 + 571x7 + 187x8 + 572x9 + 106x10 + 869x11 + 869x12 + 789x13 + 823x14 + 484x15 + 393x16 + 266x17 + 658x18 + 69x19 + 135x20 + 387x21 + 664x22 + 877x23 + 431x24 + 726x25 + 983x26 + 918x27 + 310x28 + 546x29 + 371x30 + 871x31 + 358x32 + 731x33 + 634x34 + 203x35 + 484x36 + 706x37 + 122x38 + 263x39 + 290x40 + 260x41 + 648x42 + 910x43 + 413x44 + 809x45 + 184x46 + 647x47 + 775x48 + 172x49 + 362x50 + 588x51 + 964x52 + 735x53 + 737x54 + 867x55 + 990x56 + 334x57 + 636x58 + 254x59 + 475x60 + 66x61 + 927x62 + 836x63 + 588x64 + 605x65 + 441x66 + 832x67 + 974x68 + 434x69 + 854x70 + 527x71 + 427x72 + 892x73 + 844x74 + 292x75 + 1000x76 + 516x77 + 623x78 + 558x79 + 950x80 + 902x81 + 832x82 + 246x83 + 891x84 + 315x85 + 640x86 + 948x87 + 544x88 + 430x89 + 527x90 + 233x91 + 2x92 + 449x93 + 889x94 + 637x95 + 524x96 + 415x97 + 86x98 + 8x99 + 66x100 <= 13138 
constr7: + 417x1 + 229x2 + 734x3 + 495x4 + 592x5 + 684x6 + 972x7 + 779x8 + 909x9 + 79x10 + 290x11 + 469x12 + 977x13 + 814x14 + 183x15 + 85x16 + 631x17 + 806x18 + 655x19 + 875x20 + 578x21 + 646x22 + 312x23 + 429x24 + 85x25 + 658x26 + 52x27 + 575x28 + 666x29 + 473x30 + 507x31 + 556x32 + 742x33 + 753x34 + 768x35 + 512x36 + 666x37 + 336x38 + 402x39 + 624x40 + 802x41 + 147x42 + 523x43 + 774x44 + 751x45 + 314x46 + 546x47 + 271x48 + 471x49 + 343x50 + 906x51 + 175x52 + 217x53 + 660x54 + 314x55 + 898x56 + 564x57 + 588x58 + 285x59 + 946x60 + 687x61 + 86x62 + 42x63 + 494x64 + 104x65 + 384x66 + 244x67 + 855x68 + 784x69 + 56x70 + 233x71 + 11x72 + 603x73 + 91x74 + 876x75 + 660x76 + 731x77 + 688x78 + 389x79 + 408x80 + 355x81 + 59x82 + 605x83 + 697x84 + 254x85 + 501x86 + 221x87 + 645x88 + 183x89 + 840x90 + 175x91 + 172x92 + 561x93 + 14x94 + 321x95 + 959x96 + 503x97 + 321x98 + 696x99 + 605x100 <= 11558 
constr8: + 939x1 + 273x2 + 807x3 + 323x4 + 145x5 + 63x6 + 72x7 + 178x8 + 803x9 + 45x10 + 765x11 + 501x12 + 1x13 + 951x14 + 731x15 + 946x16 + 493x17 + 763x18 + 269x19 + 767x20 + 127x21 + 532x22 + 894x23 + 268x24 + 650x25 + 703x26 + 786x27 + 702x28 + 943x29 + 583x30 + 52x31 + 532x32 + 240x33 + 634x34 + 287x35 + 68x36 + 100x37 + 212x38 + 879x39 + 837x40 + 671x41 + 809x42 + 839x43 + 331x44 + 304x45 + 533x46 + 219x47 + 816x48 + 556x49 + 855x50 + 517x51 + 720x52 + 608x53 + 727x54 + 139x55 + 555x56 + 689x57 + 917x58 + 69x59 + 277x60 + 693x61 + 91x62 + 217x63 + 14x64 + 177x65 + 792x66 + 592x67 + 308x68 + 92x69 + 565x70 + 529x71 + 415x72 + 352x73 + 441x74 + 131x75 + 746x76 + 78x77 + 479x78 + 5x79 + 358x80 + 432x81 + 749x82 + 888x83 + 665x84 + 815x85 + 150x86 + 113x87 + 889x88 + 205x89 + 39x90 + 586x91 + 499x92 + 786x93 + 323x94 + 752x95 + 168x96 + 545x97 + 896x98 + 452x99 + 173x100 <= 11625 
constr9: + 44x1 + 457x2 + 261x3 + 718x4 + 735x5 + 485x6 + 612x7 + 714x8 + 885x9 + 148x10 + 634x11 + 793x12 + 777x13 + 337x14 + 272x15 + 812x16 + 707x17 + 763x18 + 133x19 + 927x20 + 7x21 + 757x22 + 185x23 + 84x24 + 428x25 + 445x26 + 988x27 + 560x28 + 279x29 + 358x30 + 735x31 + 259x32 + 544x33 + 488x34 + 752x35 + 66x36 + 129x37 + 397x38 + 656x39 + 486x40 + 28x41 + 547x42 + 895x43 + 964x44 + 372x45 + 599x46 + 708x47 + 709x48 + 705x49 + 238x50 + 247x51 + 518x52 + 774x53 + 444x54 + 345x55 + 103x56 + 452x57 + 40x58 + 672x59 + 638x60 + 263x61 + 924x62 + 87x63 + 979x64 + 110x65 + 967x66 + 666x67 + 91x68 + 222x69 + 821x70 + 260x71 + 151x72 + 77x73 + 547x74 + 98x75 + 636x76 + 233x77 + 541x78 + 759x79 + 379x80 + 289x81 + 810x82 + 512x83 + 929x84 + 752x85 + 325x86 + 96x87 + 806x88 + 583x89 + 876x90 + 403x91 + 352x92 + 402x93 + 843x94 + 997x95 + 255x96 + 608x97 + 247x98 + 746x99 + 600x100 <= 13137 
constr10: + 447x1 + 552x2 + 833x3 + 654x4 + 86x5 + 499x6 + 458x7 + 450x8 + 235x9 + 864x10 + 781x11 + 738x12 + 973x13 + 864x14 + 983x15 + 925x16 + 982x17 + 850x18 + 807x19 + 46x20 + 221x21 + 550x22 + 122x23 + 52x24 + 819x25 + 690x26 + 297x27 + 452x28 + 327x29 + 511x30 + 711x31 + 852x32 + 188x33 + 266x34 + 102x35 + 31x36 + 792x37 + 14x38 + 114x39 + 758x40 + 61x41 + 919x42 + 826x43 + 43x44 + 474x45 + 158x46 + 972x47 + 998x48 + 297x49 + 497x50 + 880x51 + 58x52 + 880x53 + 234x54 + 497x55 + 719x56 + 394x57 + 118x58 + 537x59 + 872x60 + 846x61 + 405x62 + 220x63 + 276x64 + 13x65 + 215x66 + 387x67 + 166x68 + 733x69 + 299x70 + 817x71 + 679x72 + 259x73 + 831x74 + 687x75 + 194x76 + 42x77 + 525x78 + 625x79 + 493x80 + 439x81 + 602x82 + 352x83 + 60x84 + 536x85 + 736x86 + 936x87 + 975x88 + 422x89 + 811x90 + 10x91 + 553x92 + 528x93 + 606x94 + 209x95 + 281x96 + 313x97 + 749x98 + 55x99 + 195x100 <= 11240 
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