minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38246.878000 
s2: s + 0.001000f1 + 0.501000f2 >= 38246.878000 
f1: -f1 + 929x1 + 619x2 + 726x3 + 504x4 + 664x5 + 1102x6 + 767x7 + 1123x8 + 800x9 + 1086x10 + 656x11 + 914x12 + 930x13 + 764x14 + 1006x15 + 1002x16 + 658x17 + 824x18 + 647x19 + 433x20 + 934x21 + 972x22 + 579x23 + 524x24 + 810x25 + 813x26 + 1111x27 + 708x28 + 560x29 + 538x30 + 950x31 + 728x32 + 370x33 + 717x34 + 839x35 + 936x36 + 518x37 + 804x38 + 747x39 + 711x40 + 965x41 + 672x42 + 394x43 + 639x44 + 824x45 + 688x46 + 723x47 + 877x48 + 603x49 + 982x50 + 855x51 + 715x52 + 806x53 + 636x54 + 746x55 + 939x56 + 984x57 + 1111x58 + 746x59 + 598x60 + 659x61 + 538x62 + 721x63 + 678x64 + 975x65 + 731x66 + 688x67 + 1002x68 + 631x69 + 483x70 + 710x71 + 780x72 + 939x73 + 635x74 + 699x75 + 673x76 + 1025x77 + 715x78 + 490x79 + 871x80 + 500x81 + 674x82 + 861x83 + 546x84 + 700x85 + 1061x86 + 699x87 + 857x88 + 915x89 + 913x90 + 633x91 + 599x92 + 921x93 + 640x94 + 532x95 + 805x96 + 861x97 + 907x98 + 776x99 + 620x100  = 0 
f2: -f2 + 538x1 + 975x2 + 746x3 + 915x4 + 524x5 + 636x6 + 921x7 + 598x8 + 711x9 + 647x10 + 726x11 + 639x12 + 658x13 + 965x14 + 635x15 + 674x16 + 855x17 + 764x18 + 688x19 + 810x20 + 717x21 + 1102x22 + 631x23 + 804x24 + 715x25 + 972x26 + 699x27 + 370x28 + 907x29 + 934x30 + 747x31 + 603x32 + 700x33 + 914x34 + 1025x35 + 699x36 + 659x37 + 500x38 + 483x39 + 433x40 + 656x41 + 780x42 + 560x43 + 1006x44 + 936x45 + 1002x46 + 1111x47 + 599x48 + 579x49 + 813x50 + 746x51 + 672x52 + 532x53 + 982x54 + 619x55 + 490x56 + 710x57 + 871x58 + 806x59 + 538x60 + 939x61 + 913x62 + 877x63 + 767x64 + 673x65 + 728x66 + 800x67 + 1123x68 + 939x69 + 824x70 + 1111x71 + 861x72 + 504x73 + 678x74 + 394x75 + 824x76 + 708x77 + 929x78 + 1061x79 + 715x80 + 620x81 + 984x82 + 731x83 + 723x84 + 861x85 + 633x86 + 688x87 + 664x88 + 721x89 + 776x90 + 1086x91 + 950x92 + 546x93 + 1002x94 + 839x95 + 930x96 + 518x97 + 857x98 + 640x99 + 805x100  = 0 
constr1: + 949x1 + 345x2 + 247x3 + 842x4 + 549x5 + 380x6 + 869x7 + 694x8 + 801x9 + 431x10 + 364x11 + 833x12 + 44x13 + 189x14 + 844x15 + 942x16 + 687x17 + 582x18 + 413x19 + 385x20 + 149x21 + 812x22 + 855x23 + 852x24 + 327x25 + 526x26 + 104x27 + 282x28 + 343x29 + 502x30 + 747x31 + 781x32 + 590x33 + 253x34 + 438x35 + 585x36 + 288x37 + 660x38 + 66x39 + 89x40 + 869x41 + 851x42 + 980x43 + 775x44 + 273x45 + 572x46 + 880x47 + 199x48 + 978x49 + 710x50 + 699x51 + 419x52 + 342x53 + 708x54 + 838x55 + 413x56 + 364x57 + 662x58 + 400x59 + 770x60 + 209x61 + 237x62 + 923x63 + 371x64 + 707x65 + 881x66 + 563x67 + 53x68 + 687x69 + 85x70 + 732x71 + 633x72 + 588x73 + 327x74 + 388x75 + 218x76 + 64x77 + 683x78 + 547x79 + 204x80 + 936x81 + 111x82 + 552x83 + 457x84 + 306x85 + 566x86 + 996x87 + 51x88 + 389x89 + 167x90 + 727x91 + 800x92 + 893x93 + 45x94 + 809x95 + 399x96 + 202x97 + 622x98 + 176x99 + 326x100 <= 25628 
constr2: + 384x1 + 996x2 + 409x3 + 704x4 + 679x5 + 524x6 + 870x7 + 755x8 + 289x9 + 126x10 + 321x11 + 441x12 + 843x13 + 850x14 + 246x15 + 554x16 + 135x17 + 736x18 + 453x19 + 176x20 + 732x21 + 207x22 + 859x23 + 428x24 + 700x25 + 382x26 + 408x27 + 648x28 + 327x29 + 365x30 + 968x31 + 395x32 + 349x33 + 666x34 + 60x35 + 66x36 + 21x37 + 679x38 + 328x39 + 700x40 + 619x41 + 224x42 + 612x43 + 707x44 + 612x45 + 215x46 + 854x47 + 952x48 + 442x49 + 474x50 + 884x51 + 894x52 + 44x53 + 970x54 + 301x55 + 796x56 + 428x57 + 445x58 + 599x59 + 53x60 + 10x61 + 923x62 + 855x63 + 513x64 + 462x65 + 753x66 + 135x67 + 3x68 + 927x69 + 91x70 + 121x71 + 763x72 + 145x73 + 740x74 + 119x75 + 243x76 + 232x77 + 518x78 + 173x79 + 189x80 + 161x81 + 375x82 + 107x83 + 169x84 + 968x85 + 328x86 + 614x87 + 777x88 + 952x89 + 622x90 + 710x91 + 200x92 + 928x93 + 474x94 + 559x95 + 916x96 + 154x97 + 651x98 + 810x99 + 457x100 <= 25721 
constr3: + 175x1 + 276x2 + 328x3 + 75x4 + 426x5 + 939x6 + 778x7 + 877x8 + 908x9 + 526x10 + 790x11 + 757x12 + 789x13 + 3x14 + 176x15 + 645x16 + 686x17 + 227x18 + 305x19 + 751x20 + 647x21 + 293x22 + 997x23 + 349x24 + 571x25 + 610x26 + 318x27 + 864x28 + 832x29 + 983x30 + 120x31 + 539x32 + 210x33 + 272x34 + 341x35 + 95x36 + 783x37 + 114x38 + 584x39 + 599x40 + 738x41 + 550x42 + 228x43 + 539x44 + 306x45 + 100x46 + 117x47 + 271x48 + 913x49 + 187x50 + 708x51 + 828x52 + 624x53 + 563x54 + 341x55 + 172x56 + 864x57 + 5x58 + 658x59 + 423x60 + 441x61 + 543x62 + 447x63 + 387x64 + 613x65 + 507x66 + 406x67 + 205x68 + 380x69 + 560x70 + 795x71 + 379x72 + 591x73 + 317x74 + 239x75 + 692x76 + 119x77 + 659x78 + 655x79 + 964x80 + 237x81 + 386x82 + 468x83 + 91x84 + 834x85 + 176x86 + 42x87 + 373x88 + 671x89 + 287x90 + 403x91 + 362x92 + 99x93 + 14x94 + 84x95 + 461x96 + 362x97 + 965x98 + 188x99 + 654x100 <= 24340 
constr4: + 304x1 + 320x2 + 27x3 + 459x4 + 853x5 + 209x6 + 746x7 + 571x8 + 974x9 + 795x10 + 984x11 + 929x12 + 7x13 + 517x14 + 632x15 + 66x16 + 20x17 + 861x18 + 698x19 + 17x20 + 144x21 + 475x22 + 689x23 + 612x24 + 758x25 + 947x26 + 189x27 + 286x28 + 403x29 + 37x30 + 121x31 + 182x32 + 608x33 + 30x34 + 988x35 + 229x36 + 10x37 + 775x38 + 250x39 + 898x40 + 755x41 + 771x42 + 746x43 + 783x44 + 497x45 + 627x46 + 967x47 + 395x48 + 300x49 + 955x50 + 130x51 + 624x52 + 522x53 + 28x54 + 556x55 + 37x56 + 685x57 + 555x58 + 878x59 + 915x60 + 697x61 + 518x62 + 443x63 + 433x64 + 841x65 + 316x66 + 483x67 + 130x68 + 265x69 + 708x70 + 24x71 + 268x72 + 547x73 + 907x74 + 10x75 + 577x76 + 228x77 + 192x78 + 413x79 + 352x80 + 182x81 + 345x82 + 927x83 + 147x84 + 30x85 + 606x86 + 733x87 + 73x88 + 14x89 + 914x90 + 853x91 + 603x92 + 218x93 + 680x94 + 868x95 + 216x96 + 252x97 + 290x98 + 543x99 + 171x100 <= 23839 
constr5: + 105x1 + 977x2 + 582x3 + 329x4 + 838x5 + 127x6 + 738x7 + 141x8 + 775x9 + 171x10 + 772x11 + 213x12 + 237x13 + 382x14 + 941x15 + 329x16 + 22x17 + 907x18 + 488x19 + 371x20 + 452x21 + 374x22 + 838x23 + 538x24 + 564x25 + 393x26 + 842x27 + 602x28 + 810x29 + 510x30 + 941x31 + 624x32 + 122x33 + 59x34 + 913x35 + 561x36 + 47x37 + 375x38 + 991x39 + 786x40 + 693x41 + 1000x42 + 347x43 + 735x44 + 441x45 + 398x46 + 709x47 + 6x48 + 390x49 + 575x50 + 264x51 + 43x52 + 719x53 + 764x54 + 85x55 + 652x56 + 642x57 + 384x58 + 463x59 + 580x60 + 265x61 + 310x62 + 54x63 + 682x64 + 34x65 + 97x66 + 255x67 + 377x68 + 486x69 + 667x70 + 8x71 + 784x72 + 811x73 + 201x74 + 438x75 + 985x76 + 715x77 + 468x78 + 88x79 + 508x80 + 949x81 + 296x82 + 899x83 + 468x84 + 354x85 + 942x86 + 327x87 + 478x88 + 591x89 + 604x90 + 55x91 + 679x92 + 71x93 + 130x94 + 691x95 + 221x96 + 720x97 + 572x98 + 519x99 + 98x100 <= 27127 
constr6: + 834x1 + 479x2 + 372x3 + 810x4 + 41x5 + 415x6 + 572x7 + 990x8 + 849x9 + 983x10 + 922x11 + 989x12 + 21x13 + 773x14 + 713x15 + 69x16 + 77x17 + 453x18 + 527x19 + 375x20 + 38x21 + 399x22 + 551x23 + 57x24 + 72x25 + 909x26 + 23x27 + 739x28 + 584x29 + 23x30 + 353x31 + 988x32 + 62x33 + 705x34 + 684x35 + 909x36 + 814x37 + 466x38 + 818x39 + 330x40 + 161x41 + 357x42 + 817x43 + 678x44 + 371x45 + 473x46 + 972x47 + 430x48 + 965x49 + 986x50 + 745x51 + 635x52 + 298x53 + 920x54 + 315x55 + 338x56 + 300x57 + 990x58 + 328x59 + 214x60 + 934x61 + 722x62 + 714x63 + 562x64 + 514x65 + 409x66 + 15x67 + 217x68 + 898x69 + 426x70 + 851x71 + 121x72 + 225x73 + 832x74 + 675x75 + 801x76 + 609x77 + 731x78 + 586x79 + 529x80 + 684x81 + 141x82 + 503x83 + 64x84 + 110x85 + 239x86 + 170x87 + 389x88 + 223x89 + 500x90 + 684x91 + 801x92 + 52x93 + 282x94 + 70x95 + 146x96 + 309x97 + 479x98 + 847x99 + 792x100 <= 24240 
constr7: + 360x1 + 429x2 + 380x3 + 151x4 + 602x5 + 761x6 + 943x7 + 322x8 + 610x9 + 769x10 + 553x11 + 570x12 + 309x13 + 481x14 + 957x15 + 520x16 + 340x17 + 825x18 + 890x19 + 219x20 + 596x21 + 310x22 + 299x23 + 869x24 + 221x25 + 294x26 + 407x27 + 939x28 + 494x29 + 390x30 + 584x31 + 639x32 + 470x33 + 238x34 + 294x35 + 448x36 + 834x37 + 177x38 + 395x39 + 550x40 + 124x41 + 368x42 + 967x43 + 16x44 + 152x45 + 502x46 + 420x47 + 976x48 + 575x49 + 35x50 + 128x51 + 603x52 + 590x53 + 708x54 + 120x55 + 12x56 + 310x57 + 279x58 + 977x59 + 65x60 + 36x61 + 393x62 + 639x63 + 986x64 + 744x65 + 658x66 + 345x67 + 215x68 + 328x69 + 13x70 + 473x71 + 289x72 + 963x73 + 154x74 + 598x75 + 573x76 + 393x77 + 246x78 + 835x79 + 351x80 + 328x81 + 616x82 + 775x83 + 194x84 + 846x85 + 508x86 + 102x87 + 939x88 + 604x89 + 890x90 + 797x91 + 181x92 + 735x93 + 14x94 + 943x95 + 668x96 + 175x97 + 496x98 + 596x99 + 445x100 <= 21660 
constr8: + 484x1 + 27x2 + 214x3 + 51x4 + 585x5 + 928x6 + 590x7 + 580x8 + 217x9 + 304x10 + 839x11 + 632x12 + 751x13 + 163x14 + 298x15 + 444x16 + 196x17 + 266x18 + 911x19 + 456x20 + 682x21 + 387x22 + 588x23 + 904x24 + 17x25 + 474x26 + 401x27 + 389x28 + 820x29 + 316x30 + 911x31 + 970x32 + 579x33 + 212x34 + 930x35 + 778x36 + 56x37 + 448x38 + 740x39 + 55x40 + 300x41 + 75x42 + 586x43 + 203x44 + 714x45 + 354x46 + 703x47 + 633x48 + 713x49 + 721x50 + 383x51 + 226x52 + 836x53 + 429x54 + 188x55 + 922x56 + 675x57 + 162x58 + 146x59 + 755x60 + 938x61 + 181x62 + 308x63 + 247x64 + 503x65 + 281x66 + 895x67 + 256x68 + 366x69 + 284x70 + 284x71 + 482x72 + 878x73 + 424x74 + 272x75 + 813x76 + 51x77 + 565x78 + 333x79 + 645x80 + 980x81 + 84x82 + 993x83 + 876x84 + 724x85 + 363x86 + 892x87 + 189x88 + 468x89 + 22x90 + 669x91 + 625x92 + 509x93 + 978x94 + 899x95 + 980x96 + 768x97 + 722x98 + 254x99 + 646x100 <= 22959 
constr9: + 226x1 + 459x2 + 513x3 + 332x4 + 57x5 + 143x6 + 376x7 + 655x8 + 869x9 + 784x10 + 22x11 + 327x12 + 760x13 + 990x14 + 283x15 + 287x16 + 476x17 + 836x18 + 737x19 + 952x20 + 338x21 + 345x22 + 932x23 + 688x24 + 301x25 + 559x26 + 136x27 + 568x28 + 382x29 + 597x30 + 433x31 + 331x32 + 672x33 + 534x34 + 50x35 + 652x36 + 196x37 + 497x38 + 888x39 + 831x40 + 268x41 + 354x42 + 798x43 + 476x44 + 465x45 + 222x46 + 690x47 + 9x48 + 719x49 + 824x50 + 468x51 + 79x52 + 398x53 + 112x54 + 564x55 + 178x56 + 745x57 + 33x58 + 675x59 + 867x60 + 929x61 + 816x62 + 103x63 + 432x64 + 361x65 + 626x66 + 305x67 + 217x68 + 321x69 + 653x70 + 504x71 + 91x72 + 13x73 + 340x74 + 885x75 + 286x76 + 69x77 + 285x78 + 175x79 + 672x80 + 949x81 + 741x82 + 487x83 + 242x84 + 877x85 + 392x86 + 939x87 + 424x88 + 656x89 + 363x90 + 701x91 + 76x92 + 718x93 + 341x94 + 867x95 + 370x96 + 836x97 + 615x98 + 935x99 + 131x100 <= 23733 
constr10: + 598x1 + 40x2 + 55x3 + 527x4 + 418x5 + 488x6 + 129x7 + 778x8 + 250x9 + 715x10 + 928x11 + 119x12 + 185x13 + 959x14 + 31x15 + 130x16 + 510x17 + 990x18 + 825x19 + 995x20 + 763x21 + 420x22 + 46x23 + 69x24 + 822x25 + 532x26 + 59x27 + 424x28 + 305x29 + 466x30 + 968x31 + 150x32 + 164x33 + 320x34 + 706x35 + 15x36 + 495x37 + 915x38 + 417x39 + 110x40 + 875x41 + 701x42 + 890x43 + 244x44 + 440x45 + 331x46 + 516x47 + 467x48 + 638x49 + 142x50 + 996x51 + 970x52 + 582x53 + 540x54 + 947x55 + 261x56 + 72x57 + 54x58 + 572x59 + 28x60 + 294x61 + 226x62 + 81x63 + 121x64 + 181x65 + 776x66 + 5x67 + 140x68 + 161x69 + 607x70 + 122x71 + 777x72 + 247x73 + 400x74 + 579x75 + 815x76 + 970x77 + 800x78 + 696x79 + 49x80 + 745x81 + 520x82 + 63x83 + 326x84 + 302x85 + 101x86 + 679x87 + 739x88 + 167x89 + 290x90 + 165x91 + 237x92 + 974x93 + 444x94 + 409x95 + 10x96 + 378x97 + 179x98 + 352x99 + 223x100 <= 24212 
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