minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37134.446000 
s2: s + 0.001000f1 + 0.501000f2 >= 37134.446000 
f1: -f1 + 851x1 + 727x2 + 473x3 + 964x4 + 772x5 + 607x6 + 852x7 + 850x8 + 521x9 + 855x10 + 1121x11 + 670x12 + 1114x13 + 874x14 + 1035x15 + 919x16 + 643x17 + 934x18 + 733x19 + 919x20 + 611x21 + 458x22 + 688x23 + 880x24 + 618x25 + 895x26 + 858x27 + 653x28 + 777x29 + 522x30 + 684x31 + 412x32 + 527x33 + 876x34 + 615x35 + 879x36 + 870x37 + 977x38 + 648x39 + 742x40 + 416x41 + 792x42 + 579x43 + 943x44 + 794x45 + 832x46 + 810x47 + 651x48 + 799x49 + 786x50 + 1015x51 + 696x52 + 800x53 + 601x54 + 744x55 + 674x56 + 912x57 + 977x58 + 614x59 + 762x60 + 470x61 + 745x62 + 574x63 + 648x64 + 807x65 + 903x66 + 678x67 + 1092x68 + 651x69 + 700x70 + 471x71 + 826x72 + 535x73 + 586x74 + 675x75 + 853x76 + 599x77 + 930x78 + 589x79 + 620x80 + 832x81 + 825x82 + 498x83 + 720x84 + 936x85 + 712x86 + 762x87 + 858x88 + 773x89 + 689x90 + 901x91 + 873x92 + 321x93 + 582x94 + 529x95 + 535x96 + 609x97 + 529x98 + 744x99 + 972x100  = 0 
f2: -f2 + 458x1 + 901x2 + 873x3 + 470x4 + 800x5 + 799x6 + 1015x7 + 498x8 + 826x9 + 535x10 + 745x11 + 696x12 + 786x13 + 529x14 + 733x15 + 678x16 + 810x17 + 675x18 + 876x19 + 620x20 + 977x21 + 964x22 + 684x23 + 607x24 + 648x25 + 744x26 + 618x27 + 936x28 + 832x29 + 609x30 + 919x31 + 762x32 + 653x33 + 535x34 + 1121x35 + 615x36 + 582x37 + 529x38 + 852x39 + 851x40 + 972x41 + 895x42 + 858x43 + 674x44 + 574x45 + 579x46 + 416x47 + 321x48 + 471x49 + 521x50 + 807x51 + 614x52 + 912x53 + 648x54 + 870x55 + 772x56 + 742x57 + 832x58 + 527x59 + 762x60 + 930x61 + 855x62 + 611x63 + 522x64 + 670x65 + 586x66 + 727x67 + 473x68 + 1114x69 + 825x70 + 651x71 + 599x72 + 792x73 + 777x74 + 943x75 + 720x76 + 689x77 + 700x78 + 601x79 + 934x80 + 773x81 + 858x82 + 919x83 + 794x84 + 1035x85 + 643x86 + 412x87 + 977x88 + 853x89 + 688x90 + 903x91 + 712x92 + 1092x93 + 874x94 + 589x95 + 879x96 + 744x97 + 880x98 + 850x99 + 651x100  = 0 
constr1: + 867x1 + 588x2 + 411x3 + 506x4 + 330x5 + 216x6 + 618x7 + 117x8 + 138x9 + 227x10 + 314x11 + 756x12 + 167x13 + 137x14 + 933x15 + 527x16 + 128x17 + 17x18 + 761x19 + 404x20 + 98x21 + 493x22 + 681x23 + 131x24 + 549x25 + 108x26 + 273x27 + 433x28 + 683x29 + 898x30 + 908x31 + 728x32 + 974x33 + 556x34 + 512x35 + 283x36 + 913x37 + 359x38 + 70x39 + 60x40 + 979x41 + 296x42 + 508x43 + 288x44 + 346x45 + 643x46 + 933x47 + 184x48 + 44x49 + 974x50 + 549x51 + 888x52 + 550x53 + 325x54 + 16x55 + 673x56 + 223x57 + 926x58 + 403x59 + 152x60 + 467x61 + 244x62 + 887x63 + 759x64 + 283x65 + 846x66 + 523x67 + 65x68 + 858x69 + 855x70 + 208x71 + 1000x72 + 375x73 + 854x74 + 261x75 + 585x76 + 200x77 + 453x78 + 35x79 + 885x80 + 171x81 + 468x82 + 464x83 + 856x84 + 60x85 + 757x86 + 22x87 + 571x88 + 68x89 + 512x90 + 147x91 + 876x92 + 534x93 + 670x94 + 96x95 + 722x96 + 795x97 + 480x98 + 629x99 + 332x100 <= 12580 
constr2: + 10x1 + 462x2 + 887x3 + 537x4 + 632x5 + 355x6 + 667x7 + 500x8 + 715x9 + 312x10 + 862x11 + 36x12 + 331x13 + 279x14 + 186x15 + 184x16 + 930x17 + 212x18 + 217x19 + 244x20 + 126x21 + 673x22 + 62x23 + 408x24 + 705x25 + 716x26 + 83x27 + 46x28 + 539x29 + 286x30 + 212x31 + 687x32 + 77x33 + 220x34 + 569x35 + 197x36 + 533x37 + 616x38 + 821x39 + 784x40 + 583x41 + 478x42 + 595x43 + 75x44 + 263x45 + 130x46 + 958x47 + 997x48 + 714x49 + 663x50 + 638x51 + 971x52 + 509x53 + 159x54 + 160x55 + 451x56 + 43x57 + 647x58 + 101x59 + 840x60 + 513x61 + 42x62 + 496x63 + 539x64 + 971x65 + 763x66 + 674x67 + 894x68 + 414x69 + 22x70 + 543x71 + 593x72 + 718x73 + 550x74 + 624x75 + 119x76 + 464x77 + 694x78 + 450x79 + 24x80 + 678x81 + 651x82 + 243x83 + 727x84 + 776x85 + 366x86 + 986x87 + 987x88 + 872x89 + 956x90 + 206x91 + 816x92 + 459x93 + 271x94 + 995x95 + 293x96 + 69x97 + 733x98 + 627x99 + 285x100 <= 12919 
constr3: + 395x1 + 856x2 + 671x3 + 78x4 + 857x5 + 200x6 + 136x7 + 160x8 + 766x9 + 172x10 + 12x11 + 988x12 + 320x13 + 755x14 + 338x15 + 479x16 + 602x17 + 727x18 + 162x19 + 127x20 + 675x21 + 430x22 + 473x23 + 546x24 + 38x25 + 737x26 + 648x27 + 487x28 + 834x29 + 166x30 + 115x31 + 954x32 + 41x33 + 424x34 + 148x35 + 730x36 + 259x37 + 324x38 + 104x39 + 68x40 + 10x41 + 300x42 + 790x43 + 559x44 + 798x45 + 509x46 + 981x47 + 631x48 + 448x49 + 155x50 + 357x51 + 157x52 + 353x53 + 322x54 + 899x55 + 436x56 + 939x57 + 644x58 + 264x59 + 627x60 + 324x61 + 952x62 + 57x63 + 224x64 + 440x65 + 279x66 + 318x67 + 57x68 + 277x69 + 87x70 + 532x71 + 899x72 + 495x73 + 242x74 + 461x75 + 725x76 + 244x77 + 350x78 + 261x79 + 819x80 + 207x81 + 381x82 + 981x83 + 541x84 + 768x85 + 204x86 + 402x87 + 312x88 + 1000x89 + 22x90 + 37x91 + 418x92 + 967x93 + 552x94 + 243x95 + 41x96 + 127x97 + 500x98 + 404x99 + 403x100 <= 12964 
constr4: + 982x1 + 980x2 + 544x3 + 820x4 + 718x5 + 376x6 + 473x7 + 159x8 + 921x9 + 934x10 + 411x11 + 980x12 + 227x13 + 333x14 + 801x15 + 456x16 + 294x17 + 337x18 + 908x19 + 86x20 + 335x21 + 715x22 + 766x23 + 718x24 + 256x25 + 672x26 + 112x27 + 472x28 + 534x29 + 272x30 + 907x31 + 580x32 + 931x33 + 910x34 + 936x35 + 187x36 + 803x37 + 924x38 + 746x39 + 461x40 + 768x41 + 726x42 + 816x43 + 131x44 + 288x45 + 829x46 + 238x47 + 317x48 + 300x49 + 787x50 + 763x51 + 499x52 + 57x53 + 427x54 + 290x55 + 693x56 + 657x57 + 40x58 + 420x59 + 70x60 + 225x61 + 739x62 + 818x63 + 786x64 + 858x65 + 768x66 + 581x67 + 30x68 + 938x69 + 272x70 + 568x71 + 423x72 + 330x73 + 574x74 + 179x75 + 263x76 + 128x77 + 756x78 + 32x79 + 581x80 + 964x81 + 741x82 + 175x83 + 27x84 + 333x85 + 987x86 + 876x87 + 521x88 + 635x89 + 144x90 + 710x91 + 855x92 + 453x93 + 719x94 + 87x95 + 693x96 + 491x97 + 378x98 + 457x99 + 68x100 <= 11745 
constr5: + 889x1 + 678x2 + 301x3 + 125x4 + 326x5 + 239x6 + 860x7 + 69x8 + 519x9 + 354x10 + 31x11 + 672x12 + 463x13 + 510x14 + 694x15 + 927x16 + 36x17 + 873x18 + 292x19 + 514x20 + 543x21 + 771x22 + 987x23 + 131x24 + 870x25 + 778x26 + 717x27 + 947x28 + 298x29 + 239x30 + 394x31 + 273x32 + 771x33 + 85x34 + 78x35 + 368x36 + 513x37 + 15x38 + 514x39 + 71x40 + 411x41 + 880x42 + 505x43 + 721x44 + 67x45 + 67x46 + 331x47 + 901x48 + 590x49 + 299x50 + 3x51 + 862x52 + 230x53 + 290x54 + 882x55 + 74x56 + 369x57 + 124x58 + 508x59 + 996x60 + 105x61 + 482x62 + 864x63 + 668x64 + 980x65 + 762x66 + 946x67 + 820x68 + 836x69 + 715x70 + 603x71 + 738x72 + 958x73 + 308x74 + 678x75 + 419x76 + 437x77 + 469x78 + 658x79 + 381x80 + 582x81 + 754x82 + 397x83 + 714x84 + 468x85 + 604x86 + 29x87 + 241x88 + 547x89 + 658x90 + 38x91 + 518x92 + 239x93 + 506x94 + 985x95 + 887x96 + 28x97 + 283x98 + 145x99 + 360x100 <= 12501 
constr6: + 789x1 + 987x2 + 868x3 + 589x4 + 453x5 + 969x6 + 919x7 + 594x8 + 301x9 + 519x10 + 797x11 + 680x12 + 466x13 + 671x14 + 768x15 + 333x16 + 755x17 + 114x18 + 559x19 + 683x20 + 894x21 + 865x22 + 323x23 + 191x24 + 290x25 + 528x26 + 516x27 + 169x28 + 779x29 + 604x30 + 275x31 + 49x32 + 579x33 + 874x34 + 567x35 + 94x36 + 462x37 + 978x38 + 378x39 + 550x40 + 52x41 + 830x42 + 435x43 + 707x44 + 721x45 + 245x46 + 972x47 + 314x48 + 709x49 + 4x50 + 492x51 + 453x52 + 206x53 + 745x54 + 572x55 + 760x56 + 348x57 + 73x58 + 508x59 + 413x60 + 194x61 + 562x62 + 85x63 + 858x64 + 145x65 + 63x66 + 638x67 + 136x68 + 263x69 + 433x70 + 865x71 + 420x72 + 418x73 + 802x74 + 85x75 + 152x76 + 959x77 + 114x78 + 236x79 + 385x80 + 671x81 + 276x82 + 709x83 + 728x84 + 479x85 + 895x86 + 313x87 + 571x88 + 822x89 + 616x90 + 456x91 + 227x92 + 792x93 + 357x94 + 219x95 + 270x96 + 87x97 + 922x98 + 41x99 + 788x100 <= 11434 
constr7: + 495x1 + 160x2 + 846x3 + 100x4 + 26x5 + 770x6 + 487x7 + 656x8 + 902x9 + 911x10 + 94x11 + 706x12 + 144x13 + 905x14 + 790x15 + 380x16 + 866x17 + 288x18 + 927x19 + 172x20 + 928x21 + 520x22 + 891x23 + 99x24 + 812x25 + 610x26 + 40x27 + 544x28 + 705x29 + 9x30 + 91x31 + 381x32 + 257x33 + 277x34 + 89x35 + 463x36 + 8x37 + 713x38 + 143x39 + 488x40 + 184x41 + 207x42 + 897x43 + 598x44 + 630x45 + 832x46 + 148x47 + 515x48 + 714x49 + 47x50 + 822x51 + 22x52 + 609x53 + 93x54 + 163x55 + 830x56 + 469x57 + 772x58 + 128x59 + 644x60 + 281x61 + 654x62 + 937x63 + 904x64 + 551x65 + 893x66 + 957x67 + 352x68 + 572x69 + 243x70 + 751x71 + 822x72 + 376x73 + 753x74 + 237x75 + 913x76 + 513x77 + 827x78 + 851x79 + 354x80 + 879x81 + 880x82 + 511x83 + 646x84 + 535x85 + 284x86 + 355x87 + 384x88 + 114x89 + 904x90 + 680x91 + 326x92 + 446x93 + 774x94 + 392x95 + 361x96 + 2x97 + 680x98 + 610x99 + 88x100 <= 13295 
constr8: + 725x1 + 368x2 + 99x3 + 366x4 + 649x5 + 481x6 + 994x7 + 76x8 + 818x9 + 250x10 + 513x11 + 822x12 + 197x13 + 954x14 + 969x15 + 559x16 + 79x17 + 602x18 + 920x19 + 673x20 + 934x21 + 544x22 + 494x23 + 224x24 + 984x25 + 737x26 + 698x27 + 867x28 + 928x29 + 920x30 + 780x31 + 288x32 + 334x33 + 90x34 + 43x35 + 391x36 + 557x37 + 861x38 + 622x39 + 3x40 + 85x41 + 202x42 + 341x43 + 22x44 + 960x45 + 312x46 + 528x47 + 12x48 + 399x49 + 770x50 + 140x51 + 694x52 + 93x53 + 910x54 + 699x55 + 263x56 + 865x57 + 478x58 + 986x59 + 240x60 + 14x61 + 961x62 + 788x63 + 669x64 + 317x65 + 977x66 + 628x67 + 615x68 + 943x69 + 340x70 + 20x71 + 330x72 + 893x73 + 405x74 + 154x75 + 791x76 + 938x77 + 634x78 + 112x79 + 281x80 + 253x81 + 214x82 + 130x83 + 434x84 + 98x85 + 271x86 + 394x87 + 86x88 + 400x89 + 687x90 + 573x91 + 732x92 + 171x93 + 733x94 + 261x95 + 354x96 + 433x97 + 691x98 + 14x99 + 215x100 <= 12220 
constr9: + 807x1 + 197x2 + 681x3 + 521x4 + 337x5 + 264x6 + 232x7 + 511x8 + 366x9 + 672x10 + 512x11 + 827x12 + 309x13 + 533x14 + 704x15 + 836x16 + 892x17 + 704x18 + 186x19 + 913x20 + 26x21 + 697x22 + 787x23 + 185x24 + 299x25 + 938x26 + 189x27 + 314x28 + 358x29 + 788x30 + 222x31 + 980x32 + 48x33 + 839x34 + 841x35 + 469x36 + 832x37 + 444x38 + 690x39 + 268x40 + 203x41 + 893x42 + 732x43 + 857x44 + 143x45 + 977x46 + 244x47 + 785x48 + 418x49 + 211x50 + 325x51 + 132x52 + 147x53 + 505x54 + 76x55 + 928x56 + 989x57 + 431x58 + 700x59 + 30x60 + 673x61 + 468x62 + 330x63 + 435x64 + 683x65 + 234x66 + 311x67 + 574x68 + 594x69 + 689x70 + 699x71 + 670x72 + 410x73 + 98x74 + 342x75 + 371x76 + 796x77 + 814x78 + 31x79 + 146x80 + 130x81 + 46x82 + 391x83 + 196x84 + 478x85 + 218x86 + 69x87 + 421x88 + 754x89 + 549x90 + 594x91 + 447x92 + 431x93 + 909x94 + 284x95 + 398x96 + 817x97 + 358x98 + 613x99 + 196x100 <= 12257 
constr10: + 287x1 + 8x2 + 466x3 + 810x4 + 7x5 + 894x6 + 198x7 + 65x8 + 529x9 + 646x10 + 544x11 + 813x12 + 238x13 + 29x14 + 962x15 + 537x16 + 893x17 + 948x18 + 446x19 + 485x20 + 551x21 + 634x22 + 335x23 + 197x24 + 636x25 + 439x26 + 863x27 + 631x28 + 510x29 + 673x30 + 616x31 + 879x32 + 348x33 + 745x34 + 734x35 + 492x36 + 678x37 + 429x38 + 489x39 + 538x40 + 373x41 + 957x42 + 678x43 + 272x44 + 762x45 + 256x46 + 5x47 + 930x48 + 195x49 + 918x50 + 978x51 + 119x52 + 204x53 + 406x54 + 406x55 + 737x56 + 866x57 + 207x58 + 333x59 + 250x60 + 240x61 + 777x62 + 111x63 + 251x64 + 148x65 + 964x66 + 913x67 + 940x68 + 113x69 + 437x70 + 76x71 + 266x72 + 413x73 + 942x74 + 419x75 + 274x76 + 665x77 + 677x78 + 471x79 + 761x80 + 854x81 + 426x82 + 61x83 + 198x84 + 557x85 + 67x86 + 812x87 + 956x88 + 12x89 + 889x90 + 850x91 + 810x92 + 622x93 + 907x94 + 638x95 + 437x96 + 593x97 + 216x98 + 188x99 + 186x100 <= 11454 
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