minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38109.330000 
s2: s + 0.001000f1 + 0.501000f2 >= 38109.330000 
f1: -f1 + 805x1 + 828x2 + 860x3 + 794x4 + 714x5 + 970x6 + 593x7 + 578x8 + 653x9 + 733x10 + 739x11 + 717x12 + 756x13 + 868x14 + 732x15 + 603x16 + 901x17 + 628x18 + 612x19 + 316x20 + 519x21 + 887x22 + 805x23 + 652x24 + 711x25 + 675x26 + 710x27 + 1086x28 + 739x29 + 833x30 + 997x31 + 680x32 + 749x33 + 956x34 + 508x35 + 770x36 + 634x37 + 557x38 + 628x39 + 1002x40 + 699x41 + 986x42 + 833x43 + 1052x44 + 1102x45 + 1012x46 + 831x47 + 840x48 + 802x49 + 1053x50 + 923x51 + 668x52 + 493x53 + 957x54 + 1160x55 + 884x56 + 831x57 + 538x58 + 653x59 + 424x60 + 883x61 + 782x62 + 900x63 + 755x64 + 709x65 + 981x66 + 736x67 + 873x68 + 704x69 + 358x70 + 664x71 + 837x72 + 465x73 + 1025x74 + 898x75 + 658x76 + 764x77 + 614x78 + 523x79 + 499x80 + 1042x81 + 611x82 + 902x83 + 230x84 + 681x85 + 832x86 + 729x87 + 568x88 + 842x89 + 812x90 + 742x91 + 764x92 + 693x93 + 555x94 + 428x95 + 763x96 + 1163x97 + 603x98 + 1183x99 + 905x100  = 0 
f2: -f2 + 555x1 + 465x2 + 833x3 + 568x4 + 230x5 + 680x6 + 902x7 + 736x8 + 628x9 + 812x10 + 831x11 + 923x12 + 1102x13 + 764x14 + 1086x15 + 717x16 + 805x17 + 733x18 + 693x19 + 956x20 + 742x21 + 709x22 + 681x23 + 833x24 + 652x25 + 668x26 + 499x27 + 970x28 + 603x29 + 1025x30 + 557x31 + 805x32 + 358x33 + 578x34 + 887x35 + 611x36 + 428x37 + 831x38 + 710x39 + 729x40 + 593x41 + 794x42 + 739x43 + 763x44 + 1160x45 + 901x46 + 764x47 + 837x48 + 653x49 + 802x50 + 828x51 + 628x52 + 1183x53 + 316x54 + 840x55 + 508x56 + 634x57 + 898x58 + 905x59 + 664x60 + 1002x61 + 523x62 + 493x63 + 1012x64 + 732x65 + 900x66 + 675x67 + 755x68 + 603x69 + 711x70 + 1053x71 + 699x72 + 957x73 + 1042x74 + 739x75 + 860x76 + 981x77 + 997x78 + 756x79 + 782x80 + 614x81 + 883x82 + 832x83 + 538x84 + 770x85 + 704x86 + 653x87 + 884x88 + 986x89 + 519x90 + 873x91 + 612x92 + 1163x93 + 749x94 + 1052x95 + 658x96 + 842x97 + 714x98 + 424x99 + 868x100  = 0 
constr1: + 34x1 + 388x2 + 426x3 + 32x4 + 200x5 + 315x6 + 377x7 + 582x8 + 949x9 + 947x10 + 165x11 + 921x12 + 128x13 + 798x14 + 509x15 + 488x16 + 915x17 + 43x18 + 319x19 + 598x20 + 918x21 + 605x22 + 832x23 + 823x24 + 443x25 + 434x26 + 938x27 + 67x28 + 416x29 + 721x30 + 532x31 + 324x32 + 535x33 + 697x34 + 515x35 + 400x36 + 230x37 + 338x38 + 42x39 + 805x40 + 517x41 + 149x42 + 931x43 + 408x44 + 364x45 + 546x46 + 484x47 + 132x48 + 80x49 + 997x50 + 913x51 + 604x52 + 58x53 + 768x54 + 387x55 + 559x56 + 919x57 + 536x58 + 12x59 + 766x60 + 301x61 + 568x62 + 80x63 + 279x64 + 739x65 + 478x66 + 571x67 + 856x68 + 941x69 + 279x70 + 989x71 + 572x72 + 315x73 + 116x74 + 46x75 + 549x76 + 703x77 + 929x78 + 994x79 + 925x80 + 305x81 + 770x82 + 548x83 + 189x84 + 251x85 + 446x86 + 611x87 + 691x88 + 580x89 + 454x90 + 814x91 + 580x92 + 942x93 + 382x94 + 151x95 + 621x96 + 614x97 + 433x98 + 105x99 + 457x100 <= 37823 
constr2: + 668x1 + 111x2 + 304x3 + 562x4 + 688x5 + 450x6 + 489x7 + 208x8 + 751x9 + 604x10 + 715x11 + 522x12 + 179x13 + 132x14 + 988x15 + 954x16 + 238x17 + 803x18 + 960x19 + 238x20 + 667x21 + 756x22 + 563x23 + 840x24 + 158x25 + 598x26 + 183x27 + 574x28 + 868x29 + 517x30 + 468x31 + 824x32 + 594x33 + 20x34 + 152x35 + 243x36 + 623x37 + 524x38 + 700x39 + 969x40 + 434x41 + 258x42 + 995x43 + 221x44 + 18x45 + 2x46 + 489x47 + 496x48 + 784x49 + 518x50 + 512x51 + 358x52 + 485x53 + 645x54 + 754x55 + 126x56 + 66x57 + 243x58 + 94x59 + 987x60 + 500x61 + 245x62 + 91x63 + 629x64 + 477x65 + 162x66 + 542x67 + 423x68 + 426x69 + 465x70 + 580x71 + 592x72 + 886x73 + 933x74 + 95x75 + 682x76 + 82x77 + 505x78 + 113x79 + 931x80 + 641x81 + 380x82 + 290x83 + 172x84 + 933x85 + 379x86 + 473x87 + 461x88 + 509x89 + 178x90 + 797x91 + 301x92 + 98x93 + 929x94 + 937x95 + 371x96 + 748x97 + 54x98 + 553x99 + 206x100 <= 38170 
constr3: + 13x1 + 333x2 + 513x3 + 658x4 + 190x5 + 817x6 + 239x7 + 160x8 + 174x9 + 216x10 + 361x11 + 729x12 + 941x13 + 653x14 + 128x15 + 686x16 + 967x17 + 416x18 + 386x19 + 569x20 + 113x21 + 914x22 + 232x23 + 461x24 + 536x25 + 997x26 + 358x27 + 642x28 + 285x29 + 100x30 + 149x31 + 399x32 + 816x33 + 676x34 + 1x35 + 870x36 + 887x37 + 733x38 + 74x39 + 230x40 + 662x41 + 676x42 + 716x43 + 876x44 + 421x45 + 589x46 + 85x47 + 888x48 + 11x49 + 553x50 + 665x51 + 63x52 + 501x53 + 891x54 + 656x55 + 420x56 + 653x57 + 699x58 + 859x59 + 54x60 + 810x61 + 40x62 + 521x63 + 192x64 + 60x65 + 670x66 + 885x67 + 795x68 + 724x69 + 467x70 + 836x71 + 676x72 + 38x73 + 802x74 + 104x75 + 894x76 + 70x77 + 707x78 + 774x79 + 694x80 + 668x81 + 42x82 + 120x83 + 833x84 + 328x85 + 603x86 + 266x87 + 14x88 + 692x89 + 678x90 + 14x91 + 420x92 + 965x93 + 943x94 + 406x95 + 170x96 + 103x97 + 211x98 + 997x99 + 432x100 <= 37343 
constr4: + 945x1 + 244x2 + 508x3 + 817x4 + 277x5 + 154x6 + 399x7 + 457x8 + 888x9 + 734x10 + 77x11 + 955x12 + 568x13 + 649x14 + 985x15 + 635x16 + 161x17 + 943x18 + 911x19 + 934x20 + 448x21 + 328x22 + 388x23 + 61x24 + 511x25 + 824x26 + 379x27 + 344x28 + 792x29 + 615x30 + 933x31 + 867x32 + 208x33 + 632x34 + 142x35 + 74x36 + 153x37 + 267x38 + 40x39 + 900x40 + 941x41 + 650x42 + 745x43 + 544x44 + 812x45 + 668x46 + 732x47 + 603x48 + 541x49 + 603x50 + 673x51 + 382x52 + 565x53 + 46x54 + 524x55 + 16x56 + 449x57 + 966x58 + 750x59 + 992x60 + 339x61 + 882x62 + 510x63 + 927x64 + 103x65 + 490x66 + 774x67 + 199x68 + 563x69 + 4x70 + 901x71 + 142x72 + 57x73 + 704x74 + 953x75 + 313x76 + 125x77 + 196x78 + 545x79 + 217x80 + 781x81 + 864x82 + 420x83 + 503x84 + 707x85 + 639x86 + 108x87 + 607x88 + 909x89 + 187x90 + 104x91 + 526x92 + 399x93 + 630x94 + 405x95 + 668x96 + 222x97 + 680x98 + 194x99 + 432x100 <= 36230 
constr5: + 650x1 + 671x2 + 93x3 + 387x4 + 299x5 + 705x6 + 220x7 + 845x8 + 909x9 + 440x10 + 830x11 + 870x12 + 88x13 + 442x14 + 25x15 + 419x16 + 809x17 + 4x18 + 148x19 + 488x20 + 502x21 + 975x22 + 471x23 + 25x24 + 347x25 + 680x26 + 862x27 + 740x28 + 365x29 + 777x30 + 956x31 + 101x32 + 482x33 + 321x34 + 824x35 + 232x36 + 742x37 + 868x38 + 296x39 + 492x40 + 732x41 + 195x42 + 8x43 + 380x44 + 2x45 + 394x46 + 2x47 + 829x48 + 737x49 + 620x50 + 739x51 + 176x52 + 511x53 + 8x54 + 825x55 + 293x56 + 125x57 + 112x58 + 655x59 + 692x60 + 207x61 + 629x62 + 845x63 + 180x64 + 120x65 + 669x66 + 352x67 + 584x68 + 546x69 + 336x70 + 517x71 + 236x72 + 287x73 + 350x74 + 245x75 + 780x76 + 738x77 + 162x78 + 104x79 + 127x80 + 643x81 + 211x82 + 91x83 + 254x84 + 964x85 + 790x86 + 840x87 + 792x88 + 511x89 + 917x90 + 495x91 + 690x92 + 108x93 + 541x94 + 856x95 + 111x96 + 140x97 + 796x98 + 870x99 + 963x100 <= 37370 
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