minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37838.250000 
s2: s + 0.001000f1 + 0.501000f2 >= 37838.250000 
f1: -f1 + 949x1 + 754x2 + 1040x3 + 911x4 + 731x5 + 580x6 + 626x7 + 784x8 + 777x9 + 579x10 + 744x11 + 579x12 + 462x13 + 1030x14 + 676x15 + 849x16 + 1059x17 + 1047x18 + 732x19 + 761x20 + 892x21 + 466x22 + 851x23 + 742x24 + 732x25 + 943x26 + 890x27 + 619x28 + 969x29 + 661x30 + 640x31 + 819x32 + 659x33 + 552x34 + 922x35 + 865x36 + 1057x37 + 996x38 + 382x39 + 851x40 + 410x41 + 661x42 + 683x43 + 753x44 + 623x45 + 640x46 + 684x47 + 656x48 + 871x49 + 1005x50 + 985x51 + 588x52 + 549x53 + 798x54 + 929x55 + 949x56 + 877x57 + 1080x58 + 737x59 + 801x60 + 789x61 + 663x62 + 934x63 + 992x64 + 1014x65 + 881x66 + 402x67 + 487x68 + 985x69 + 515x70 + 479x71 + 554x72 + 660x73 + 920x74 + 509x75 + 624x76 + 819x77 + 656x78 + 921x79 + 819x80 + 895x81 + 704x82 + 654x83 + 699x84 + 611x85 + 439x86 + 550x87 + 429x88 + 843x89 + 807x90 + 986x91 + 651x92 + 632x93 + 1062x94 + 992x95 + 678x96 + 653x97 + 650x98 + 786x99 + 574x100  = 0 
f2: -f2 + 986x1 + 849x2 + 676x3 + 851x4 + 921x5 + 789x6 + 992x7 + 892x8 + 466x9 + 678x10 + 754x11 + 588x12 + 654x13 + 949x14 + 1040x15 + 515x16 + 479x17 + 920x18 + 624x19 + 922x20 + 985x21 + 819x22 + 798x23 + 640x24 + 890x25 + 509x26 + 632x27 + 784x28 + 1057x29 + 661x30 + 1059x31 + 1080x32 + 661x33 + 552x34 + 1005x35 + 753x36 + 871x37 + 1062x38 + 653x39 + 462x40 + 777x41 + 865x42 + 934x43 + 943x44 + 619x45 + 410x46 + 656x47 + 574x48 + 895x49 + 651x50 + 761x51 + 579x52 + 650x53 + 737x54 + 843x55 + 985x56 + 1030x57 + 911x58 + 996x59 + 623x60 + 550x61 + 969x62 + 819x63 + 801x64 + 851x65 + 684x66 + 382x67 + 786x68 + 949x69 + 549x70 + 554x71 + 807x72 + 663x73 + 580x74 + 731x75 + 881x76 + 819x77 + 656x78 + 659x79 + 660x80 + 402x81 + 640x82 + 732x83 + 439x84 + 732x85 + 1047x86 + 742x87 + 683x88 + 429x89 + 992x90 + 579x91 + 744x92 + 1014x93 + 611x94 + 929x95 + 704x96 + 487x97 + 877x98 + 626x99 + 699x100  = 0 
constr1: + 322x1 + 389x2 + 486x3 + 43x4 + 30x5 + 451x6 + 620x7 + 327x8 + 746x9 + 666x10 + 183x11 + 437x12 + 810x13 + 612x14 + 265x15 + 277x16 + 63x17 + 562x18 + 494x19 + 619x20 + 794x21 + 901x22 + 658x23 + 129x24 + 206x25 + 757x26 + 242x27 + 603x28 + 237x29 + 620x30 + 624x31 + 338x32 + 688x33 + 81x34 + 266x35 + 644x36 + 769x37 + 639x38 + 338x39 + 785x40 + 962x41 + 494x42 + 861x43 + 838x44 + 606x45 + 375x46 + 766x47 + 139x48 + 869x49 + 610x50 + 914x51 + 23x52 + 147x53 + 690x54 + 35x55 + 769x56 + 303x57 + 213x58 + 880x59 + 222x60 + 414x61 + 495x62 + 873x63 + 248x64 + 352x65 + 622x66 + 310x67 + 83x68 + 959x69 + 261x70 + 511x71 + 816x72 + 893x73 + 363x74 + 130x75 + 939x76 + 997x77 + 779x78 + 586x79 + 263x80 + 647x81 + 772x82 + 477x83 + 256x84 + 310x85 + 440x86 + 283x87 + 158x88 + 932x89 + 503x90 + 364x91 + 830x92 + 458x93 + 603x94 + 1x95 + 818x96 + 643x97 + 596x98 + 128x99 + 398x100 <= 39137 
constr2: + 764x1 + 175x2 + 437x3 + 228x4 + 95x5 + 929x6 + 381x7 + 515x8 + 550x9 + 780x10 + 694x11 + 532x12 + 201x13 + 1x14 + 347x15 + 582x16 + 96x17 + 452x18 + 644x19 + 515x20 + 939x21 + 440x22 + 231x23 + 397x24 + 748x25 + 954x26 + 395x27 + 677x28 + 336x29 + 635x30 + 509x31 + 60x32 + 324x33 + 521x34 + 517x35 + 253x36 + 188x37 + 52x38 + 880x39 + 478x40 + 780x41 + 539x42 + 870x43 + 428x44 + 185x45 + 526x46 + 859x47 + 654x48 + 886x49 + 443x50 + 120x51 + 863x52 + 362x53 + 780x54 + 993x55 + 279x56 + 55x57 + 469x58 + 495x59 + 281x60 + 618x61 + 945x62 + 222x63 + 180x64 + 856x65 + 100x66 + 69x67 + 755x68 + 77x69 + 848x70 + 555x71 + 679x72 + 845x73 + 195x74 + 126x75 + 162x76 + 837x77 + 837x78 + 436x79 + 348x80 + 8x81 + 276x82 + 300x83 + 537x84 + 189x85 + 993x86 + 796x87 + 223x88 + 357x89 + 674x90 + 707x91 + 58x92 + 512x93 + 193x94 + 198x95 + 697x96 + 983x97 + 498x98 + 229x99 + 104x100 <= 38215 
constr3: + 350x1 + 894x2 + 186x3 + 932x4 + 46x5 + 907x6 + 104x7 + 964x8 + 949x9 + 592x10 + 671x11 + 14x12 + 676x13 + 811x14 + 597x15 + 405x16 + 971x17 + 486x18 + 482x19 + 98x20 + 699x21 + 167x22 + 27x23 + 863x24 + 718x25 + 280x26 + 50x27 + 54x28 + 51x29 + 110x30 + 962x31 + 819x32 + 501x33 + 396x34 + 133x35 + 908x36 + 395x37 + 439x38 + 712x39 + 237x40 + 543x41 + 186x42 + 956x43 + 968x44 + 257x45 + 377x46 + 237x47 + 175x48 + 419x49 + 136x50 + 340x51 + 970x52 + 237x53 + 155x54 + 350x55 + 214x56 + 192x57 + 933x58 + 685x59 + 746x60 + 837x61 + 4x62 + 860x63 + 370x64 + 317x65 + 441x66 + 797x67 + 894x68 + 209x69 + 202x70 + 933x71 + 225x72 + 81x73 + 602x74 + 333x75 + 685x76 + 983x77 + 606x78 + 73x79 + 139x80 + 204x81 + 272x82 + 698x83 + 430x84 + 943x85 + 389x86 + 950x87 + 311x88 + 43x89 + 729x90 + 724x91 + 920x92 + 463x93 + 952x94 + 611x95 + 524x96 + 198x97 + 508x98 + 266x99 + 330x100 <= 36789 
constr4: + 539x1 + 959x2 + 800x3 + 852x4 + 46x5 + 659x6 + 78x7 + 625x8 + 740x9 + 337x10 + 834x11 + 335x12 + 713x13 + 123x14 + 38x15 + 618x16 + 303x17 + 45x18 + 955x19 + 966x20 + 516x21 + 983x22 + 980x23 + 474x24 + 120x25 + 150x26 + 688x27 + 726x28 + 650x29 + 82x30 + 322x31 + 290x32 + 147x33 + 535x34 + 883x35 + 712x36 + 592x37 + 605x38 + 956x39 + 279x40 + 762x41 + 114x42 + 310x43 + 128x44 + 311x45 + 766x46 + 68x47 + 819x48 + 520x49 + 964x50 + 645x51 + 641x52 + 98x53 + 158x54 + 429x55 + 673x56 + 903x57 + 695x58 + 60x59 + 61x60 + 85x61 + 512x62 + 147x63 + 884x64 + 380x65 + 422x66 + 668x67 + 241x68 + 299x69 + 984x70 + 952x71 + 688x72 + 458x73 + 371x74 + 888x75 + 213x76 + 878x77 + 440x78 + 256x79 + 871x80 + 898x81 + 779x82 + 197x83 + 631x84 + 202x85 + 516x86 + 900x87 + 292x88 + 80x89 + 640x90 + 645x91 + 673x92 + 801x93 + 526x94 + 217x95 + 99x96 + 215x97 + 460x98 + 378x99 + 869x100 <= 37841 
constr5: + 319x1 + 26x2 + 720x3 + 934x4 + 999x5 + 932x6 + 791x7 + 48x8 + 623x9 + 429x10 + 24x11 + 872x12 + 481x13 + 581x14 + 646x15 + 947x16 + 586x17 + 977x18 + 74x19 + 686x20 + 181x21 + 410x22 + 181x23 + 878x24 + 79x25 + 148x26 + 867x27 + 959x28 + 443x29 + 658x30 + 355x31 + 415x32 + 237x33 + 142x34 + 490x35 + 930x36 + 209x37 + 539x38 + 624x39 + 134x40 + 827x41 + 709x42 + 96x43 + 790x44 + 926x45 + 237x46 + 697x47 + 585x48 + 992x49 + 592x50 + 961x51 + 891x52 + 682x53 + 879x54 + 359x55 + 664x56 + 315x57 + 198x58 + 239x59 + 646x60 + 108x61 + 207x62 + 528x63 + 978x64 + 562x65 + 431x66 + 783x67 + 903x68 + 585x69 + 718x70 + 468x71 + 893x72 + 750x73 + 433x74 + 897x75 + 918x76 + 851x77 + 25x78 + 848x79 + 992x80 + 349x81 + 955x82 + 396x83 + 952x84 + 662x85 + 840x86 + 797x87 + 428x88 + 957x89 + 493x90 + 278x91 + 414x92 + 243x93 + 106x94 + 424x95 + 677x96 + 671x97 + 261x98 + 471x99 + 597x100 <= 41263 
constr6: + 810x1 + 326x2 + 35x3 + 834x4 + 716x5 + 194x6 + 160x7 + 470x8 + 352x9 + 635x10 + 238x11 + 260x12 + 682x13 + 345x14 + 287x15 + 801x16 + 812x17 + 816x18 + 122x19 + 487x20 + 273x21 + 798x22 + 353x23 + 227x24 + 361x25 + 456x26 + 610x27 + 782x28 + 770x29 + 172x30 + 657x31 + 759x32 + 964x33 + 743x34 + 722x35 + 821x36 + 850x37 + 990x38 + 889x39 + 727x40 + 965x41 + 374x42 + 700x43 + 277x44 + 258x45 + 503x46 + 189x47 + 534x48 + 81x49 + 923x50 + 995x51 + 275x52 + 478x53 + 442x54 + 200x55 + 713x56 + 986x57 + 118x58 + 554x59 + 673x60 + 106x61 + 537x62 + 52x63 + 977x64 + 532x65 + 301x66 + 805x67 + 194x68 + 511x69 + 344x70 + 654x71 + 673x72 + 338x73 + 544x74 + 550x75 + 337x76 + 521x77 + 531x78 + 279x79 + 677x80 + 238x81 + 644x82 + 648x83 + 737x84 + 316x85 + 91x86 + 19x87 + 72x88 + 411x89 + 635x90 + 70x91 + 613x92 + 569x93 + 404x94 + 604x95 + 972x96 + 597x97 + 848x98 + 187x99 + 200x100 <= 37520 
constr7: + 996x1 + 528x2 + 686x3 + 273x4 + 44x5 + 316x6 + 50x7 + 257x8 + 282x9 + 713x10 + 100x11 + 354x12 + 796x13 + 979x14 + 594x15 + 943x16 + 258x17 + 562x18 + 961x19 + 908x20 + 170x21 + 305x22 + 452x23 + 997x24 + 925x25 + 104x26 + 123x27 + 310x28 + 390x29 + 12x30 + 479x31 + 627x32 + 552x33 + 308x34 + 881x35 + 311x36 + 135x37 + 180x38 + 155x39 + 143x40 + 587x41 + 836x42 + 643x43 + 334x44 + 746x45 + 992x46 + 789x47 + 168x48 + 861x49 + 791x50 + 296x51 + 986x52 + 368x53 + 870x54 + 358x55 + 542x56 + 420x57 + 317x58 + 950x59 + 426x60 + 311x61 + 846x62 + 11x63 + 991x64 + 737x65 + 803x66 + 237x67 + 965x68 + 30x69 + 71x70 + 373x71 + 267x72 + 73x73 + 258x74 + 283x75 + 809x76 + 493x77 + 111x78 + 513x79 + 48x80 + 692x81 + 976x82 + 312x83 + 895x84 + 82x85 + 623x86 + 624x87 + 846x88 + 457x89 + 444x90 + 154x91 + 860x92 + 500x93 + 91x94 + 80x95 + 675x96 + 270x97 + 13x98 + 545x99 + 648x100 <= 37167 
constr8: + 713x1 + 823x2 + 679x3 + 613x4 + 324x5 + 193x6 + 922x7 + 546x8 + 665x9 + 705x10 + 806x11 + 941x12 + 315x13 + 333x14 + 914x15 + 665x16 + 897x17 + 1000x18 + 38x19 + 640x20 + 720x21 + 608x22 + 457x23 + 814x24 + 246x25 + 728x26 + 210x27 + 811x28 + 7x29 + 206x30 + 346x31 + 180x32 + 577x33 + 588x34 + 767x35 + 921x36 + 674x37 + 217x38 + 593x39 + 310x40 + 935x41 + 782x42 + 278x43 + 628x44 + 684x45 + 532x46 + 15x47 + 935x48 + 433x49 + 235x50 + 194x51 + 304x52 + 608x53 + 58x54 + 688x55 + 562x56 + 939x57 + 179x58 + 207x59 + 15x60 + 218x61 + 238x62 + 768x63 + 154x64 + 199x65 + 452x66 + 392x67 + 884x68 + 5x69 + 876x70 + 545x71 + 954x72 + 290x73 + 935x74 + 407x75 + 843x76 + 235x77 + 886x78 + 430x79 + 541x80 + 742x81 + 921x82 + 640x83 + 847x84 + 471x85 + 815x86 + 9x87 + 350x88 + 685x89 + 162x90 + 566x91 + 538x92 + 556x93 + 666x94 + 799x95 + 655x96 + 515x97 + 24x98 + 963x99 + 391x100 <= 39842 
constr9: + 982x1 + 568x2 + 518x3 + 70x4 + 843x5 + 165x6 + 910x7 + 786x8 + 562x9 + 873x10 + 100x11 + 578x12 + 740x13 + 938x14 + 125x15 + 91x16 + 444x17 + 148x18 + 402x19 + 710x20 + 138x21 + 228x22 + 946x23 + 184x24 + 738x25 + 766x26 + 958x27 + 770x28 + 884x29 + 417x30 + 477x31 + 577x32 + 964x33 + 400x34 + 384x35 + 141x36 + 497x37 + 209x38 + 397x39 + 348x40 + 40x41 + 455x42 + 510x43 + 190x44 + 537x45 + 690x46 + 937x47 + 816x48 + 334x49 + 444x50 + 287x51 + 707x52 + 809x53 + 236x54 + 551x55 + 837x56 + 493x57 + 117x58 + 923x59 + 813x60 + 506x61 + 485x62 + 288x63 + 848x64 + 420x65 + 976x66 + 856x67 + 553x68 + 338x69 + 245x70 + 458x71 + 171x72 + 801x73 + 38x74 + 822x75 + 647x76 + 440x77 + 18x78 + 539x79 + 210x80 + 156x81 + 109x82 + 291x83 + 549x84 + 580x85 + 356x86 + 84x87 + 366x88 + 899x89 + 620x90 + 215x91 + 428x92 + 291x93 + 314x94 + 386x95 + 933x96 + 551x97 + 834x98 + 16x99 + 65x100 <= 36897 
constr10: + 495x1 + 533x2 + 967x3 + 518x4 + 55x5 + 372x6 + 116x7 + 416x8 + 990x9 + 269x10 + 330x11 + 213x12 + 54x13 + 773x14 + 785x15 + 974x16 + 399x17 + 182x18 + 397x19 + 315x20 + 922x21 + 774x22 + 352x23 + 583x24 + 525x25 + 477x26 + 621x27 + 715x28 + 116x29 + 450x30 + 997x31 + 600x32 + 668x33 + 556x34 + 331x35 + 375x36 + 424x37 + 291x38 + 306x39 + 595x40 + 142x41 + 454x42 + 172x43 + 244x44 + 872x45 + 492x46 + 634x47 + 804x48 + 870x49 + 215x50 + 706x51 + 915x52 + 320x53 + 938x54 + 322x55 + 949x56 + 63x57 + 784x58 + 311x59 + 313x60 + 515x61 + 790x62 + 50x63 + 761x64 + 812x65 + 693x66 + 704x67 + 511x68 + 772x69 + 243x70 + 295x71 + 732x72 + 609x73 + 722x74 + 150x75 + 793x76 + 406x77 + 742x78 + 148x79 + 936x80 + 168x81 + 272x82 + 598x83 + 98x84 + 875x85 + 407x86 + 603x87 + 321x88 + 340x89 + 36x90 + 353x91 + 916x92 + 375x93 + 420x94 + 848x95 + 456x96 + 545x97 + 672x98 + 676x99 + 972x100 <= 36284 
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