minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38135.434000 
s2: s + 0.001000f1 + 0.501000f2 >= 38135.434000 
f1: -f1 + 869x1 + 1043x2 + 829x3 + 813x4 + 683x5 + 548x6 + 658x7 + 785x8 + 733x9 + 751x10 + 891x11 + 549x12 + 365x13 + 633x14 + 691x15 + 583x16 + 693x17 + 625x18 + 880x19 + 544x20 + 1038x21 + 525x22 + 706x23 + 557x24 + 974x25 + 802x26 + 460x27 + 813x28 + 1126x29 + 698x30 + 550x31 + 895x32 + 807x33 + 844x34 + 802x35 + 966x36 + 838x37 + 1075x38 + 332x39 + 678x40 + 440x41 + 644x42 + 700x43 + 546x44 + 500x45 + 782x46 + 965x47 + 1054x48 + 854x49 + 1053x50 + 721x51 + 572x52 + 773x53 + 853x54 + 840x55 + 849x56 + 715x57 + 1032x58 + 762x59 + 779x60 + 780x61 + 685x62 + 572x63 + 737x64 + 931x65 + 945x66 + 828x67 + 978x68 + 965x69 + 701x70 + 431x71 + 862x72 + 719x73 + 877x74 + 838x75 + 813x76 + 275x77 + 802x78 + 754x79 + 547x80 + 1039x81 + 940x82 + 730x83 + 1195x84 + 871x85 + 560x86 + 627x87 + 503x88 + 523x89 + 906x90 + 612x91 + 857x92 + 660x93 + 890x94 + 864x95 + 976x96 + 840x97 + 569x98 + 702x99 + 977x100  = 0 
f2: -f2 + 500x1 + 880x2 + 844x3 + 829x4 + 849x5 + 785x6 + 807x7 + 813x8 + 440x9 + 974x10 + 625x11 + 702x12 + 549x13 + 838x14 + 733x15 + 715x16 + 691x17 + 853x18 + 890x19 + 906x20 + 1039x21 + 627x22 + 966x23 + 802x24 + 862x25 + 523x26 + 1053x27 + 838x28 + 685x29 + 701x30 + 560x31 + 719x32 + 431x33 + 503x34 + 730x35 + 1195x36 + 737x37 + 782x38 + 780x39 + 895x40 + 550x41 + 864x42 + 658x43 + 572x44 + 802x45 + 762x46 + 644x47 + 1043x48 + 546x49 + 583x50 + 945x51 + 612x52 + 1038x53 + 931x54 + 557x55 + 877x56 + 698x57 + 547x58 + 569x59 + 869x60 + 633x61 + 977x62 + 544x63 + 978x64 + 754x65 + 460x66 + 548x67 + 813x68 + 1126x69 + 802x70 + 779x71 + 976x72 + 678x73 + 940x74 + 891x75 + 840x76 + 1054x77 + 854x78 + 828x79 + 365x80 + 332x81 + 840x82 + 525x83 + 700x84 + 1032x85 + 275x86 + 706x87 + 871x88 + 773x89 + 721x90 + 965x91 + 660x92 + 857x93 + 813x94 + 751x95 + 1075x96 + 683x97 + 965x98 + 572x99 + 693x100  = 0 
constr1: + 523x1 + 834x2 + 236x3 + 954x4 + 630x5 + 702x6 + 835x7 + 751x8 + 529x9 + 192x10 + 405x11 + 28x12 + 825x13 + 169x14 + 108x15 + 206x16 + 865x17 + 126x18 + 26x19 + 568x20 + 524x21 + 370x22 + 661x23 + 74x24 + 752x25 + 858x26 + 219x27 + 871x28 + 285x29 + 475x30 + 990x31 + 605x32 + 512x33 + 668x34 + 414x35 + 923x36 + 483x37 + 323x38 + 81x39 + 573x40 + 441x41 + 873x42 + 260x43 + 264x44 + 668x45 + 301x46 + 727x47 + 988x48 + 885x49 + 234x50 + 891x51 + 917x52 + 830x53 + 976x54 + 435x55 + 776x56 + 993x57 + 884x58 + 19x59 + 749x60 + 959x61 + 16x62 + 636x63 + 210x64 + 1x65 + 8x66 + 171x67 + 138x68 + 335x69 + 858x70 + 549x71 + 952x72 + 162x73 + 507x74 + 356x75 + 670x76 + 818x77 + 745x78 + 894x79 + 204x80 + 1000x81 + 557x82 + 178x83 + 850x84 + 882x85 + 974x86 + 26x87 + 253x88 + 48x89 + 84x90 + 16x91 + 378x92 + 545x93 + 889x94 + 65x95 + 892x96 + 588x97 + 664x98 + 170x99 + 661x100 <= 12841 
constr2: + 940x1 + 298x2 + 382x3 + 637x4 + 722x5 + 870x6 + 795x7 + 736x8 + 683x9 + 776x10 + 600x11 + 165x12 + 235x13 + 408x14 + 331x15 + 258x16 + 521x17 + 549x18 + 366x19 + 520x20 + 304x21 + 589x22 + 28x23 + 692x24 + 562x25 + 535x26 + 597x27 + 84x28 + 309x29 + 541x30 + 378x31 + 856x32 + 83x33 + 748x34 + 25x35 + 156x36 + 611x37 + 328x38 + 14x39 + 887x40 + 777x41 + 984x42 + 494x43 + 486x44 + 263x45 + 37x46 + 459x47 + 702x48 + 289x49 + 866x50 + 398x51 + 76x52 + 370x53 + 554x54 + 704x55 + 5x56 + 344x57 + 565x58 + 328x59 + 597x60 + 912x61 + 465x62 + 467x63 + 328x64 + 18x65 + 121x66 + 613x67 + 83x68 + 75x69 + 863x70 + 338x71 + 152x72 + 446x73 + 578x74 + 939x75 + 604x76 + 720x77 + 134x78 + 385x79 + 449x80 + 430x81 + 270x82 + 468x83 + 931x84 + 287x85 + 498x86 + 578x87 + 916x88 + 497x89 + 769x90 + 334x91 + 247x92 + 5x93 + 910x94 + 958x95 + 253x96 + 474x97 + 818x98 + 963x99 + 689x100 <= 13172 
constr3: + 933x1 + 671x2 + 381x3 + 438x4 + 929x5 + 787x6 + 313x7 + 447x8 + 67x9 + 797x10 + 706x11 + 912x12 + 72x13 + 986x14 + 361x15 + 331x16 + 214x17 + 429x18 + 194x19 + 159x20 + 525x21 + 986x22 + 349x23 + 502x24 + 708x25 + 848x26 + 774x27 + 881x28 + 713x29 + 592x30 + 45x31 + 812x32 + 54x33 + 809x34 + 723x35 + 505x36 + 956x37 + 199x38 + 953x39 + 326x40 + 73x41 + 192x42 + 352x43 + 318x44 + 489x45 + 132x46 + 737x47 + 144x48 + 199x49 + 952x50 + 604x51 + 266x52 + 248x53 + 890x54 + 56x55 + 804x56 + 124x57 + 42x58 + 77x59 + 973x60 + 469x61 + 366x62 + 250x63 + 910x64 + 284x65 + 10x66 + 200x67 + 969x68 + 46x69 + 665x70 + 460x71 + 808x72 + 162x73 + 655x74 + 605x75 + 821x76 + 711x77 + 835x78 + 491x79 + 862x80 + 888x81 + 509x82 + 266x83 + 477x84 + 200x85 + 20x86 + 897x87 + 864x88 + 963x89 + 765x90 + 749x91 + 126x92 + 163x93 + 771x94 + 893x95 + 661x96 + 518x97 + 793x98 + 165x99 + 429x100 <= 12088 
constr4: + 411x1 + 664x2 + 789x3 + 911x4 + 225x5 + 577x6 + 938x7 + 81x8 + 55x9 + 248x10 + 188x11 + 368x12 + 739x13 + 474x14 + 360x15 + 117x16 + 607x17 + 541x18 + 476x19 + 879x20 + 400x21 + 933x22 + 864x23 + 177x24 + 733x25 + 592x26 + 716x27 + 239x28 + 16x29 + 610x30 + 642x31 + 833x32 + 998x33 + 704x34 + 10x35 + 844x36 + 590x37 + 501x38 + 88x39 + 491x40 + 948x41 + 590x42 + 215x43 + 489x44 + 11x45 + 831x46 + 818x47 + 156x48 + 493x49 + 50x50 + 791x51 + 233x52 + 579x53 + 364x54 + 435x55 + 858x56 + 955x57 + 94x58 + 564x59 + 633x60 + 37x61 + 172x62 + 120x63 + 529x64 + 940x65 + 728x66 + 73x67 + 105x68 + 909x69 + 845x70 + 214x71 + 169x72 + 514x73 + 963x74 + 217x75 + 121x76 + 804x77 + 205x78 + 915x79 + 596x80 + 258x81 + 493x82 + 104x83 + 528x84 + 93x85 + 490x86 + 130x87 + 891x88 + 255x89 + 656x90 + 806x91 + 860x92 + 487x93 + 485x94 + 985x95 + 720x96 + 878x97 + 154x98 + 25x99 + 703x100 <= 12269 
constr5: + 125x1 + 901x2 + 613x3 + 459x4 + 463x5 + 119x6 + 239x7 + 984x8 + 21x9 + 253x10 + 882x11 + 896x12 + 873x13 + 838x14 + 790x15 + 208x16 + 625x17 + 636x18 + 956x19 + 404x20 + 928x21 + 168x22 + 305x23 + 461x24 + 956x25 + 701x26 + 450x27 + 83x28 + 47x29 + 165x30 + 870x31 + 837x32 + 743x33 + 630x34 + 479x35 + 897x36 + 452x37 + 883x38 + 134x39 + 269x40 + 126x41 + 139x42 + 786x43 + 266x44 + 139x45 + 738x46 + 304x47 + 180x48 + 657x49 + 834x50 + 8x51 + 322x52 + 120x53 + 488x54 + 891x55 + 198x56 + 885x57 + 558x58 + 54x59 + 469x60 + 671x61 + 940x62 + 678x63 + 620x64 + 931x65 + 790x66 + 882x67 + 55x68 + 774x69 + 812x70 + 42x71 + 161x72 + 502x73 + 29x74 + 145x75 + 434x76 + 615x77 + 946x78 + 956x79 + 460x80 + 727x81 + 538x82 + 848x83 + 525x84 + 697x85 + 969x86 + 198x87 + 714x88 + 370x89 + 767x90 + 966x91 + 601x92 + 447x93 + 626x94 + 156x95 + 988x96 + 705x97 + 676x98 + 742x99 + 964x100 <= 13839 
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