minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38238.344000 
s2: s + 0.001000f1 + 0.501000f2 >= 38238.344000 
f1: -f1 + 1068x1 + 567x2 + 704x3 + 973x4 + 1047x5 + 874x6 + 665x7 + 580x8 + 959x9 + 618x10 + 848x11 + 1031x12 + 944x13 + 852x14 + 436x15 + 1096x16 + 533x17 + 767x18 + 819x19 + 856x20 + 622x21 + 848x22 + 916x23 + 535x24 + 1045x25 + 425x26 + 1088x27 + 702x28 + 995x29 + 574x30 + 817x31 + 960x32 + 884x33 + 661x34 + 759x35 + 753x36 + 738x37 + 538x38 + 520x39 + 934x40 + 806x41 + 807x42 + 653x43 + 555x44 + 762x45 + 554x46 + 1039x47 + 662x48 + 1046x49 + 645x50 + 682x51 + 599x52 + 591x53 + 642x54 + 1006x55 + 633x56 + 1055x57 + 631x58 + 761x59 + 430x60 + 644x61 + 1024x62 + 933x63 + 745x64 + 578x65 + 1067x66 + 888x67 + 680x68 + 442x69 + 946x70 + 652x71 + 689x72 + 753x73 + 913x74 + 1197x75 + 518x76 + 517x77 + 535x78 + 619x79 + 838x80 + 576x81 + 749x82 + 946x83 + 713x84 + 482x85 + 540x86 + 966x87 + 1074x88 + 276x89 + 653x90 + 971x91 + 968x92 + 918x93 + 915x94 + 997x95 + 437x96 + 434x97 + 643x98 + 837x99 + 789x100  = 0 
f2: -f2 + 436x1 + 995x2 + 430x3 + 535x4 + 1047x5 + 1024x6 + 713x7 + 884x8 + 643x9 + 745x10 + 662x11 + 753x12 + 838x13 + 555x14 + 533x15 + 856x16 + 1068x17 + 1096x18 + 1074x19 + 578x20 + 1031x21 + 434x22 + 1045x23 + 622x24 + 968x25 + 591x26 + 807x27 + 644x28 + 1055x29 + 753x30 + 567x31 + 633x32 + 761x33 + 944x34 + 580x35 + 789x36 + 538x37 + 702x38 + 1088x39 + 618x40 + 934x41 + 762x42 + 554x43 + 946x44 + 817x45 + 806x46 + 819x47 + 848x48 + 759x49 + 913x50 + 837x51 + 959x52 + 997x53 + 517x54 + 852x55 + 535x56 + 915x57 + 960x58 + 425x59 + 576x60 + 1006x61 + 946x62 + 689x63 + 520x64 + 653x65 + 661x66 + 540x67 + 599x68 + 971x69 + 767x70 + 966x71 + 574x72 + 848x73 + 653x74 + 518x75 + 888x76 + 1039x77 + 680x78 + 933x79 + 916x80 + 437x81 + 276x82 + 973x83 + 652x84 + 918x85 + 1046x86 + 874x87 + 482x88 + 749x89 + 645x90 + 1197x91 + 738x92 + 619x93 + 631x94 + 704x95 + 682x96 + 442x97 + 665x98 + 1067x99 + 642x100  = 0 
constr1: + 495x1 + 474x2 + 366x3 + 841x4 + 88x5 + 172x6 + 323x7 + 466x8 + 634x9 + 441x10 + 721x11 + 517x12 + 305x13 + 983x14 + 475x15 + 626x16 + 346x17 + 559x18 + 524x19 + 51x20 + 377x21 + 18x22 + 515x23 + 724x24 + 780x25 + 65x26 + 128x27 + 548x28 + 894x29 + 647x30 + 365x31 + 984x32 + 676x33 + 480x34 + 316x35 + 915x36 + 312x37 + 454x38 + 723x39 + 214x40 + 278x41 + 456x42 + 472x43 + 306x44 + 122x45 + 770x46 + 340x47 + 6x48 + 295x49 + 234x50 + 506x51 + 2x52 + 230x53 + 568x54 + 213x55 + 80x56 + 620x57 + 68x58 + 907x59 + 206x60 + 929x61 + 205x62 + 732x63 + 596x64 + 559x65 + 326x66 + 328x67 + 278x68 + 241x69 + 423x70 + 684x71 + 305x72 + 904x73 + 116x74 + 131x75 + 558x76 + 548x77 + 200x78 + 678x79 + 600x80 + 887x81 + 737x82 + 706x83 + 638x84 + 434x85 + 193x86 + 556x87 + 312x88 + 748x89 + 176x90 + 749x91 + 81x92 + 959x93 + 763x94 + 486x95 + 106x96 + 586x97 + 530x98 + 307x99 + 185x100 <= 13164 
constr2: + 707x1 + 824x2 + 999x3 + 371x4 + 935x5 + 663x6 + 902x7 + 521x8 + 483x9 + 939x10 + 340x11 + 5x12 + 941x13 + 770x14 + 798x15 + 30x16 + 619x17 + 792x18 + 561x19 + 692x20 + 556x21 + 101x22 + 959x23 + 256x24 + 881x25 + 346x26 + 141x27 + 329x28 + 642x29 + 858x30 + 94x31 + 917x32 + 97x33 + 841x34 + 616x35 + 148x36 + 879x37 + 213x38 + 779x39 + 84x40 + 49x41 + 503x42 + 385x43 + 740x44 + 425x45 + 833x46 + 169x47 + 554x48 + 212x49 + 877x50 + 793x51 + 756x52 + 871x53 + 602x54 + 232x55 + 567x56 + 689x57 + 110x58 + 744x59 + 425x60 + 88x61 + 722x62 + 268x63 + 592x64 + 971x65 + 929x66 + 821x67 + 447x68 + 523x69 + 710x70 + 109x71 + 708x72 + 464x73 + 433x74 + 249x75 + 476x76 + 942x77 + 304x78 + 823x79 + 346x80 + 133x81 + 110x82 + 51x83 + 658x84 + 521x85 + 573x86 + 953x87 + 400x88 + 902x89 + 435x90 + 891x91 + 551x92 + 482x93 + 630x94 + 424x95 + 315x96 + 273x97 + 1000x98 + 201x99 + 78x100 <= 12033 
constr3: + 875x1 + 312x2 + 147x3 + 853x4 + 503x5 + 415x6 + 783x7 + 620x8 + 542x9 + 380x10 + 390x11 + 315x12 + 165x13 + 264x14 + 509x15 + 591x16 + 595x17 + 940x18 + 485x19 + 807x20 + 313x21 + 582x22 + 850x23 + 831x24 + 280x25 + 205x26 + 407x27 + 192x28 + 302x29 + 790x30 + 830x31 + 672x32 + 783x33 + 629x34 + 337x35 + 105x36 + 547x37 + 459x38 + 786x39 + 580x40 + 491x41 + 291x42 + 771x43 + 193x44 + 524x45 + 219x46 + 965x47 + 686x48 + 24x49 + 491x50 + 305x51 + 660x52 + 192x53 + 888x54 + 801x55 + 632x56 + 602x57 + 485x58 + 861x59 + 775x60 + 946x61 + 118x62 + 14x63 + 374x64 + 579x65 + 45x66 + 506x67 + 373x68 + 402x69 + 177x70 + 996x71 + 371x72 + 855x73 + 75x74 + 793x75 + 566x76 + 996x77 + 398x78 + 954x79 + 121x80 + 57x81 + 978x82 + 622x83 + 885x84 + 414x85 + 695x86 + 340x87 + 699x88 + 454x89 + 850x90 + 81x91 + 191x92 + 860x93 + 594x94 + 862x95 + 174x96 + 479x97 + 888x98 + 424x99 + 705x100 <= 12184 
constr4: + 928x1 + 266x2 + 823x3 + 68x4 + 785x5 + 243x6 + 675x7 + 533x8 + 832x9 + 938x10 + 42x11 + 331x12 + 40x13 + 7x14 + 438x15 + 696x16 + 504x17 + 281x18 + 963x19 + 852x20 + 90x21 + 941x22 + 597x23 + 764x24 + 82x25 + 434x26 + 499x27 + 565x28 + 7x29 + 604x30 + 9x31 + 189x32 + 500x33 + 162x34 + 855x35 + 150x36 + 899x37 + 65x38 + 3x39 + 970x40 + 78x41 + 981x42 + 744x43 + 733x44 + 182x45 + 587x46 + 756x47 + 71x48 + 553x49 + 713x50 + 282x51 + 629x52 + 212x53 + 528x54 + 780x55 + 578x56 + 164x57 + 343x58 + 319x59 + 145x60 + 525x61 + 832x62 + 485x63 + 464x64 + 263x65 + 463x66 + 907x67 + 764x68 + 116x69 + 967x70 + 400x71 + 247x72 + 514x73 + 235x74 + 904x75 + 58x76 + 953x77 + 461x78 + 540x79 + 635x80 + 933x81 + 33x82 + 18x83 + 518x84 + 529x85 + 952x86 + 52x87 + 227x88 + 808x89 + 988x90 + 450x91 + 668x92 + 483x93 + 294x94 + 471x95 + 124x96 + 705x97 + 41x98 + 821x99 + 470x100 <= 13178 
constr5: + 542x1 + 682x2 + 86x3 + 815x4 + 407x5 + 760x6 + 521x7 + 208x8 + 648x9 + 640x10 + 705x11 + 534x12 + 332x13 + 525x14 + 77x15 + 84x16 + 971x17 + 55x18 + 290x19 + 737x20 + 505x21 + 459x22 + 523x23 + 940x24 + 862x25 + 354x26 + 153x27 + 898x28 + 331x29 + 82x30 + 769x31 + 232x32 + 271x33 + 191x34 + 935x35 + 800x36 + 6x37 + 320x38 + 127x39 + 636x40 + 884x41 + 106x42 + 238x43 + 540x44 + 989x45 + 686x46 + 123x47 + 735x48 + 613x49 + 770x50 + 375x51 + 292x52 + 62x53 + 896x54 + 902x55 + 551x56 + 534x57 + 897x58 + 580x59 + 514x60 + 836x61 + 560x62 + 918x63 + 569x64 + 959x65 + 391x66 + 30x67 + 588x68 + 694x69 + 138x70 + 988x71 + 83x72 + 949x73 + 133x74 + 934x75 + 764x76 + 565x77 + 279x78 + 718x79 + 956x80 + 657x81 + 707x82 + 366x83 + 215x84 + 143x85 + 443x86 + 829x87 + 680x88 + 413x89 + 229x90 + 318x91 + 488x92 + 313x93 + 817x94 + 694x95 + 271x96 + 188x97 + 640x98 + 954x99 + 828x100 <= 12688 
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