minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36236.368000 
s2: s + 0.001000f1 + 0.501000f2 >= 36236.368000 
f1: -f1 + 722x1 + 495x2 + 542x3 + 575x4 + 912x5 + 671x6 + 894x7 + 904x8 + 845x9 + 469x10 + 661x11 + 672x12 + 709x13 + 862x14 + 777x15 + 649x16 + 526x17 + 536x18 + 767x19 + 829x20 + 379x21 + 555x22 + 594x23 + 860x24 + 752x25 + 680x26 + 909x27 + 436x28 + 924x29 + 785x30 + 424x31 + 850x32 + 1030x33 + 615x34 + 672x35 + 892x36 + 525x37 + 793x38 + 925x39 + 814x40 + 522x41 + 755x42 + 845x43 + 1010x44 + 554x45 + 622x46 + 619x47 + 1118x48 + 803x49 + 704x50 + 462x51 + 495x52 + 889x53 + 633x54 + 663x55 + 953x56 + 562x57 + 806x58 + 727x59 + 604x60 + 705x61 + 831x62 + 850x63 + 973x64 + 632x65 + 638x66 + 705x67 + 692x68 + 912x69 + 533x70 + 510x71 + 829x72 + 939x73 + 570x74 + 584x75 + 621x76 + 790x77 + 884x78 + 995x79 + 857x80 + 606x81 + 1027x82 + 499x83 + 763x84 + 771x85 + 561x86 + 557x87 + 627x88 + 821x89 + 603x90 + 604x91 + 821x92 + 925x93 + 868x94 + 852x95 + 721x96 + 855x97 + 567x98 + 628x99 + 681x100  = 0 
f2: -f2 + 721x1 + 785x2 + 510x3 + 806x4 + 912x5 + 850x6 + 909x7 + 606x8 + 821x9 + 542x10 + 912x11 + 692x12 + 499x13 + 575x14 + 722x15 + 628x16 + 953x17 + 619x18 + 681x19 + 604x20 + 925x21 + 894x22 + 594x23 + 649x24 + 1010x25 + 567x26 + 704x27 + 536x28 + 829x29 + 709x30 + 632x31 + 525x32 + 495x33 + 705x34 + 462x35 + 892x36 + 1118x37 + 973x38 + 995x39 + 752x40 + 638x41 + 777x42 + 860x43 + 831x44 + 1030x45 + 925x46 + 852x47 + 857x48 + 845x49 + 554x50 + 570x51 + 793x52 + 555x53 + 924x54 + 379x55 + 627x56 + 661x57 + 755x58 + 705x59 + 621x60 + 604x61 + 622x62 + 603x63 + 939x64 + 814x65 + 904x66 + 855x67 + 633x68 + 803x69 + 829x70 + 680x71 + 763x72 + 771x73 + 767x74 + 884x75 + 821x76 + 584x77 + 522x78 + 790x79 + 889x80 + 533x81 + 561x82 + 672x83 + 562x84 + 526x85 + 671x86 + 436x87 + 862x88 + 672x89 + 663x90 + 615x91 + 424x92 + 469x93 + 495x94 + 850x95 + 727x96 + 1027x97 + 868x98 + 845x99 + 557x100  = 0 
constr1: + 945x1 + 965x2 + 19x3 + 239x4 + 803x5 + 567x6 + 427x7 + 592x8 + 27x9 + 901x10 + 67x11 + 67x12 + 674x13 + 488x14 + 525x15 + 65x16 + 703x17 + 325x18 + 60x19 + 876x20 + 796x21 + 405x22 + 40x23 + 122x24 + 614x25 + 77x26 + 572x27 + 183x28 + 199x29 + 69x30 + 121x31 + 818x32 + 197x33 + 107x34 + 339x35 + 325x36 + 210x37 + 599x38 + 953x39 + 743x40 + 524x41 + 294x42 + 552x43 + 123x44 + 197x45 + 617x46 + 742x47 + 697x48 + 739x49 + 902x50 + 905x51 + 794x52 + 398x53 + 460x54 + 232x55 + 54x56 + 727x57 + 160x58 + 590x59 + 384x60 + 133x61 + 309x62 + 300x63 + 742x64 + 24x65 + 797x66 + 342x67 + 907x68 + 936x69 + 331x70 + 171x71 + 71x72 + 181x73 + 780x74 + 39x75 + 948x76 + 927x77 + 351x78 + 547x79 + 177x80 + 741x81 + 682x82 + 73x83 + 169x84 + 552x85 + 287x86 + 978x87 + 155x88 + 303x89 + 56x90 + 859x91 + 609x92 + 418x93 + 217x94 + 306x95 + 35x96 + 265x97 + 405x98 + 363x99 + 195x100 <= 24999 
constr2: + 309x1 + 554x2 + 781x3 + 883x4 + 167x5 + 301x6 + 421x7 + 161x8 + 673x9 + 324x10 + 148x11 + 424x12 + 159x13 + 957x14 + 724x15 + 252x16 + 395x17 + 710x18 + 700x19 + 702x20 + 104x21 + 187x22 + 646x23 + 884x24 + 230x25 + 91x26 + 984x27 + 512x28 + 483x29 + 178x30 + 494x31 + 215x32 + 494x33 + 70x34 + 716x35 + 361x36 + 172x37 + 557x38 + 734x39 + 254x40 + 814x41 + 907x42 + 226x43 + 453x44 + 654x45 + 447x46 + 514x47 + 316x48 + 791x49 + 124x50 + 125x51 + 437x52 + 845x53 + 450x54 + 484x55 + 149x56 + 151x57 + 173x58 + 752x59 + 542x60 + 306x61 + 403x62 + 321x63 + 844x64 + 95x65 + 184x66 + 230x67 + 482x68 + 609x69 + 499x70 + 706x71 + 732x72 + 290x73 + 184x74 + 683x75 + 587x76 + 317x77 + 974x78 + 155x79 + 295x80 + 692x81 + 456x82 + 897x83 + 22x84 + 505x85 + 695x86 + 535x87 + 600x88 + 63x89 + 524x90 + 3x91 + 837x92 + 121x93 + 449x94 + 120x95 + 139x96 + 959x97 + 975x98 + 996x99 + 28x100 <= 22947 
constr3: + 192x1 + 264x2 + 677x3 + 719x4 + 9x5 + 79x6 + 705x7 + 553x8 + 942x9 + 21x10 + 506x11 + 986x12 + 461x13 + 485x14 + 619x15 + 276x16 + 271x17 + 697x18 + 676x19 + 61x20 + 624x21 + 75x22 + 848x23 + 103x24 + 618x25 + 123x26 + 293x27 + 625x28 + 777x29 + 373x30 + 110x31 + 858x32 + 693x33 + 154x34 + 897x35 + 427x36 + 189x37 + 805x38 + 747x39 + 772x40 + 921x41 + 717x42 + 146x43 + 499x44 + 725x45 + 664x46 + 704x47 + 387x48 + 35x49 + 644x50 + 709x51 + 680x52 + 119x53 + 718x54 + 123x55 + 462x56 + 523x57 + 269x58 + 409x59 + 898x60 + 275x61 + 877x62 + 715x63 + 877x64 + 64x65 + 247x66 + 894x67 + 534x68 + 167x69 + 333x70 + 39x71 + 534x72 + 360x73 + 777x74 + 307x75 + 564x76 + 354x77 + 765x78 + 30x79 + 32x80 + 348x81 + 650x82 + 886x83 + 994x84 + 275x85 + 475x86 + 975x87 + 267x88 + 97x89 + 545x90 + 175x91 + 697x92 + 458x93 + 992x94 + 185x95 + 710x96 + 951x97 + 310x98 + 692x99 + 687x100 <= 23773 
constr4: + 634x1 + 330x2 + 134x3 + 449x4 + 111x5 + 256x6 + 670x7 + 702x8 + 611x9 + 403x10 + 220x11 + 326x12 + 946x13 + 768x14 + 553x15 + 439x16 + 421x17 + 290x18 + 483x19 + 664x20 + 165x21 + 951x22 + 227x23 + 950x24 + 306x25 + 554x26 + 670x27 + 377x28 + 952x29 + 81x30 + 551x31 + 318x32 + 934x33 + 902x34 + 906x35 + 284x36 + 832x37 + 175x38 + 600x39 + 825x40 + 756x41 + 776x42 + 439x43 + 93x44 + 951x45 + 286x46 + 953x47 + 172x48 + 223x49 + 644x50 + 171x51 + 759x52 + 673x53 + 944x54 + 749x55 + 65x56 + 74x57 + 517x58 + 167x59 + 468x60 + 719x61 + 984x62 + 976x63 + 131x64 + 928x65 + 237x66 + 718x67 + 391x68 + 839x69 + 602x70 + 452x71 + 885x72 + 731x73 + 697x74 + 397x75 + 812x76 + 785x77 + 104x78 + 883x79 + 337x80 + 584x81 + 497x82 + 268x83 + 501x84 + 842x85 + 197x86 + 154x87 + 124x88 + 24x89 + 867x90 + 953x91 + 686x92 + 109x93 + 44x94 + 611x95 + 720x96 + 783x97 + 481x98 + 445x99 + 426x100 <= 24108 
constr5: + 450x1 + 458x2 + 164x3 + 788x4 + 659x5 + 642x6 + 72x7 + 217x8 + 645x9 + 334x10 + 512x11 + 776x12 + 687x13 + 117x14 + 872x15 + 534x16 + 566x17 + 139x18 + 795x19 + 253x20 + 793x21 + 597x22 + 550x23 + 704x24 + 435x25 + 112x26 + 700x27 + 961x28 + 318x29 + 481x30 + 979x31 + 61x32 + 349x33 + 555x34 + 763x35 + 492x36 + 207x37 + 951x38 + 372x39 + 740x40 + 337x41 + 277x42 + 735x43 + 886x44 + 514x45 + 342x46 + 265x47 + 349x48 + 878x49 + 884x50 + 182x51 + 139x52 + 774x53 + 47x54 + 881x55 + 102x56 + 964x57 + 296x58 + 535x59 + 45x60 + 906x61 + 254x62 + 572x63 + 494x64 + 306x65 + 342x66 + 82x67 + 858x68 + 813x69 + 181x70 + 647x71 + 133x72 + 239x73 + 206x74 + 13x75 + 968x76 + 127x77 + 416x78 + 658x79 + 16x80 + 857x81 + 559x82 + 951x83 + 807x84 + 110x85 + 225x86 + 923x87 + 368x88 + 920x89 + 232x90 + 232x91 + 214x92 + 952x93 + 677x94 + 275x95 + 772x96 + 291x97 + 585x98 + 198x99 + 411x100 <= 27749 
constr6: + 471x1 + 617x2 + 394x3 + 438x4 + 198x5 + 958x6 + 609x7 + 706x8 + 930x9 + 571x10 + 334x11 + 110x12 + 493x13 + 86x14 + 507x15 + 828x16 + 639x17 + 488x18 + 100x19 + 429x20 + 320x21 + 422x22 + 40x23 + 659x24 + 329x25 + 330x26 + 109x27 + 693x28 + 682x29 + 256x30 + 435x31 + 40x32 + 459x33 + 99x34 + 430x35 + 667x36 + 838x37 + 992x38 + 862x39 + 800x40 + 737x41 + 592x42 + 368x43 + 472x44 + 358x45 + 505x46 + 260x47 + 894x48 + 709x49 + 683x50 + 456x51 + 273x52 + 647x53 + 125x54 + 322x55 + 532x56 + 978x57 + 80x58 + 807x59 + 631x60 + 153x61 + 392x62 + 776x63 + 933x64 + 563x65 + 912x66 + 569x67 + 494x68 + 42x69 + 949x70 + 683x71 + 77x72 + 580x73 + 719x74 + 210x75 + 713x76 + 99x77 + 686x78 + 254x79 + 526x80 + 135x81 + 737x82 + 643x83 + 403x84 + 792x85 + 102x86 + 531x87 + 483x88 + 471x89 + 183x90 + 376x91 + 854x92 + 92x93 + 362x94 + 53x95 + 472x96 + 167x97 + 550x98 + 405x99 + 431x100 <= 24234 
constr7: + 257x1 + 250x2 + 31x3 + 73x4 + 331x5 + 374x6 + 375x7 + 754x8 + 68x9 + 325x10 + 446x11 + 973x12 + 7x13 + 552x14 + 196x15 + 290x16 + 331x17 + 917x18 + 96x19 + 52x20 + 594x21 + 399x22 + 761x23 + 549x24 + 972x25 + 851x26 + 356x27 + 142x28 + 795x29 + 586x30 + 731x31 + 466x32 + 606x33 + 36x34 + 770x35 + 754x36 + 345x37 + 209x38 + 426x39 + 224x40 + 906x41 + 536x42 + 720x43 + 679x44 + 827x45 + 923x46 + 421x47 + 158x48 + 269x49 + 543x50 + 173x51 + 427x52 + 201x53 + 470x54 + 826x55 + 124x56 + 958x57 + 742x58 + 209x59 + 597x60 + 776x61 + 33x62 + 122x63 + 399x64 + 77x65 + 293x66 + 994x67 + 854x68 + 120x69 + 995x70 + 754x71 + 896x72 + 632x73 + 355x74 + 455x75 + 755x76 + 193x77 + 381x78 + 954x79 + 525x80 + 975x81 + 367x82 + 648x83 + 195x84 + 480x85 + 291x86 + 961x87 + 333x88 + 9x89 + 879x90 + 658x91 + 79x92 + 741x93 + 46x94 + 69x95 + 176x96 + 20x97 + 764x98 + 279x99 + 148x100 <= 25496 
constr8: + 725x1 + 524x2 + 951x3 + 948x4 + 336x5 + 705x6 + 730x7 + 434x8 + 857x9 + 915x10 + 252x11 + 97x12 + 2x13 + 632x14 + 293x15 + 868x16 + 824x17 + 263x18 + 857x19 + 783x20 + 357x21 + 246x22 + 70x23 + 799x24 + 837x25 + 492x26 + 519x27 + 889x28 + 618x29 + 222x30 + 494x31 + 127x32 + 274x33 + 524x34 + 660x35 + 136x36 + 550x37 + 227x38 + 345x39 + 511x40 + 971x41 + 35x42 + 720x43 + 73x44 + 515x45 + 976x46 + 497x47 + 801x48 + 578x49 + 275x50 + 616x51 + 894x52 + 300x53 + 984x54 + 747x55 + 882x56 + 172x57 + 824x58 + 326x59 + 658x60 + 332x61 + 622x62 + 561x63 + 635x64 + 985x65 + 572x66 + 110x67 + 881x68 + 270x69 + 637x70 + 597x71 + 87x72 + 23x73 + 619x74 + 866x75 + 284x76 + 221x77 + 440x78 + 531x79 + 539x80 + 719x81 + 951x82 + 349x83 + 88x84 + 564x85 + 858x86 + 806x87 + 776x88 + 620x89 + 35x90 + 995x91 + 760x92 + 7x93 + 726x94 + 385x95 + 594x96 + 210x97 + 35x98 + 670x99 + 141x100 <= 23848 
constr9: + 230x1 + 171x2 + 497x3 + 967x4 + 67x5 + 830x6 + 719x7 + 707x8 + 893x9 + 456x10 + 998x11 + 580x12 + 636x13 + 199x14 + 311x15 + 563x16 + 153x17 + 444x18 + 917x19 + 778x20 + 962x21 + 466x22 + 681x23 + 521x24 + 96x25 + 4x26 + 621x27 + 976x28 + 714x29 + 485x30 + 652x31 + 58x32 + 298x33 + 104x34 + 93x35 + 622x36 + 229x37 + 624x38 + 534x39 + 262x40 + 797x41 + 870x42 + 373x43 + 490x44 + 264x45 + 968x46 + 495x47 + 341x48 + 232x49 + 871x50 + 155x51 + 429x52 + 819x53 + 854x54 + 693x55 + 756x56 + 211x57 + 176x58 + 766x59 + 187x60 + 197x61 + 145x62 + 24x63 + 828x64 + 980x65 + 497x66 + 765x67 + 933x68 + 677x69 + 366x70 + 647x71 + 706x72 + 403x73 + 233x74 + 383x75 + 778x76 + 418x77 + 542x78 + 265x79 + 743x80 + 254x81 + 463x82 + 660x83 + 288x84 + 899x85 + 704x86 + 188x87 + 697x88 + 964x89 + 689x90 + 881x91 + 87x92 + 751x93 + 185x94 + 544x95 + 30x96 + 453x97 + 976x98 + 183x99 + 525x100 <= 25210 
constr10: + 866x1 + 356x2 + 460x3 + 367x4 + 899x5 + 816x6 + 771x7 + 333x8 + 93x9 + 695x10 + 655x11 + 392x12 + 201x13 + 709x14 + 144x15 + 435x16 + 99x17 + 170x18 + 183x19 + 162x20 + 43x21 + 664x22 + 779x23 + 183x24 + 150x25 + 640x26 + 494x27 + 784x28 + 619x29 + 51x30 + 399x31 + 597x32 + 96x33 + 827x34 + 1000x35 + 412x36 + 165x37 + 786x38 + 376x39 + 118x40 + 54x41 + 375x42 + 912x43 + 698x44 + 475x45 + 775x46 + 944x47 + 599x48 + 298x49 + 831x50 + 137x51 + 844x52 + 729x53 + 509x54 + 330x55 + 50x56 + 406x57 + 934x58 + 797x59 + 430x60 + 9x61 + 351x62 + 665x63 + 770x64 + 695x65 + 975x66 + 216x67 + 394x68 + 55x69 + 289x70 + 113x71 + 794x72 + 591x73 + 709x74 + 741x75 + 325x76 + 549x77 + 686x78 + 83x79 + 949x80 + 64x81 + 947x82 + 30x83 + 743x84 + 175x85 + 639x86 + 828x87 + 142x88 + 775x89 + 379x90 + 272x91 + 630x92 + 903x93 + 969x94 + 655x95 + 416x96 + 733x97 + 25x98 + 772x99 + 11x100 <= 22644 
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