minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38478.300000 
s2: s + 0.001000f1 + 0.501000f2 >= 38478.300000 
f1: -f1 + 807x1 + 445x2 + 673x3 + 559x4 + 763x5 + 725x6 + 752x7 + 1051x8 + 1011x9 + 450x10 + 599x11 + 581x12 + 934x13 + 833x14 + 802x15 + 661x16 + 845x17 + 856x18 + 704x19 + 769x20 + 600x21 + 1091x22 + 687x23 + 832x24 + 650x25 + 916x26 + 939x27 + 518x28 + 1190x29 + 678x30 + 326x31 + 1060x32 + 804x33 + 1095x34 + 457x35 + 505x36 + 828x37 + 917x38 + 786x39 + 561x40 + 1041x41 + 929x42 + 946x43 + 347x44 + 684x45 + 504x46 + 698x47 + 784x48 + 840x49 + 677x50 + 571x51 + 753x52 + 501x53 + 656x54 + 899x55 + 580x56 + 877x57 + 1057x58 + 998x59 + 1054x60 + 776x61 + 643x62 + 1073x63 + 1068x64 + 691x65 + 616x66 + 812x67 + 752x68 + 898x69 + 457x70 + 849x71 + 907x72 + 575x73 + 1139x74 + 1039x75 + 729x76 + 389x77 + 775x78 + 835x79 + 586x80 + 624x81 + 575x82 + 874x83 + 1007x84 + 787x85 + 574x86 + 666x87 + 796x88 + 743x89 + 767x90 + 599x91 + 1046x92 + 647x93 + 782x94 + 535x95 + 924x96 + 748x97 + 718x98 + 855x99 + 1118x100  = 0 
f2: -f2 + 782x1 + 835x2 + 833x3 + 698x4 + 796x5 + 1091x6 + 666x7 + 804x8 + 729x9 + 535x10 + 786x11 + 574x12 + 505x13 + 1118x14 + 347x15 + 661x16 + 725x17 + 874x18 + 581x19 + 504x20 + 518x21 + 812x22 + 924x23 + 599x24 + 907x25 + 916x26 + 1007x27 + 704x28 + 457x29 + 450x30 + 917x31 + 1046x32 + 718x33 + 501x34 + 1051x35 + 832x36 + 673x37 + 787x38 + 802x39 + 599x40 + 1190x41 + 326x42 + 855x43 + 624x44 + 939x45 + 776x46 + 559x47 + 586x48 + 763x49 + 691x50 + 687x51 + 1060x52 + 753x53 + 684x54 + 828x55 + 743x56 + 748x57 + 656x58 + 643x59 + 784x60 + 946x61 + 445x62 + 929x63 + 1041x64 + 1054x65 + 457x66 + 752x67 + 934x68 + 849x69 + 1073x70 + 877x71 + 580x72 + 807x73 + 1139x74 + 561x75 + 898x76 + 571x77 + 647x78 + 1057x79 + 575x80 + 1039x81 + 575x82 + 767x83 + 389x84 + 840x85 + 600x86 + 677x87 + 899x88 + 1011x89 + 856x90 + 998x91 + 775x92 + 752x93 + 845x94 + 1068x95 + 678x96 + 650x97 + 769x98 + 616x99 + 1095x100  = 0 
constr1: + 196x1 + 177x2 + 912x3 + 190x4 + 331x5 + 957x6 + 359x7 + 47x8 + 966x9 + 502x10 + 618x11 + 91x12 + 109x13 + 317x14 + 298x15 + 468x16 + 141x17 + 362x18 + 166x19 + 354x20 + 916x21 + 903x22 + 412x23 + 391x24 + 526x25 + 328x26 + 47x27 + 552x28 + 723x29 + 215x30 + 966x31 + 378x32 + 981x33 + 962x34 + 216x35 + 923x36 + 692x37 + 300x38 + 986x39 + 76x40 + 512x41 + 317x42 + 860x43 + 936x44 + 226x45 + 481x46 + 119x47 + 222x48 + 361x49 + 193x50 + 273x51 + 438x52 + 5x53 + 68x54 + 626x55 + 494x56 + 446x57 + 380x58 + 638x59 + 955x60 + 459x61 + 737x62 + 114x63 + 702x64 + 794x65 + 254x66 + 811x67 + 484x68 + 763x69 + 742x70 + 106x71 + 748x72 + 251x73 + 133x74 + 439x75 + 767x76 + 890x77 + 174x78 + 281x79 + 714x80 + 260x81 + 304x82 + 626x83 + 891x84 + 488x85 + 680x86 + 82x87 + 701x88 + 307x89 + 797x90 + 251x91 + 508x92 + 130x93 + 295x94 + 606x95 + 336x96 + 114x97 + 990x98 + 816x99 + 106x100 <= 22986 
constr2: + 780x1 + 34x2 + 309x3 + 636x4 + 676x5 + 151x6 + 873x7 + 317x8 + 913x9 + 260x10 + 194x11 + 379x12 + 612x13 + 563x14 + 547x15 + 114x16 + 10x17 + 799x18 + 468x19 + 176x20 + 485x21 + 579x22 + 447x23 + 513x24 + 484x25 + 781x26 + 89x27 + 602x28 + 347x29 + 574x30 + 626x31 + 975x32 + 339x33 + 790x34 + 772x35 + 27x36 + 857x37 + 786x38 + 563x39 + 571x40 + 182x41 + 389x42 + 513x43 + 522x44 + 889x45 + 952x46 + 608x47 + 531x48 + 455x49 + 554x50 + 340x51 + 521x52 + 534x53 + 534x54 + 862x55 + 6x56 + 333x57 + 8x58 + 874x59 + 301x60 + 284x61 + 933x62 + 131x63 + 816x64 + 763x65 + 694x66 + 956x67 + 994x68 + 300x69 + 987x70 + 150x71 + 100x72 + 169x73 + 224x74 + 953x75 + 102x76 + 876x77 + 65x78 + 803x79 + 91x80 + 64x81 + 157x82 + 418x83 + 852x84 + 883x85 + 300x86 + 698x87 + 120x88 + 800x89 + 648x90 + 510x91 + 217x92 + 902x93 + 261x94 + 495x95 + 430x96 + 755x97 + 217x98 + 230x99 + 384x100 <= 26540 
constr3: + 104x1 + 694x2 + 366x3 + 188x4 + 292x5 + 34x6 + 845x7 + 242x8 + 813x9 + 36x10 + 76x11 + 923x12 + 765x13 + 723x14 + 550x15 + 941x16 + 663x17 + 477x18 + 266x19 + 340x20 + 585x21 + 478x22 + 448x23 + 563x24 + 570x25 + 241x26 + 511x27 + 846x28 + 196x29 + 122x30 + 32x31 + 345x32 + 241x33 + 541x34 + 416x35 + 763x36 + 750x37 + 7x38 + 489x39 + 969x40 + 713x41 + 929x42 + 382x43 + 459x44 + 210x45 + 588x46 + 569x47 + 143x48 + 19x49 + 80x50 + 653x51 + 848x52 + 663x53 + 971x54 + 434x55 + 172x56 + 540x57 + 114x58 + 197x59 + 632x60 + 625x61 + 57x62 + 412x63 + 725x64 + 407x65 + 795x66 + 955x67 + 688x68 + 927x69 + 441x70 + 504x71 + 674x72 + 727x73 + 659x74 + 366x75 + 733x76 + 133x77 + 824x78 + 324x79 + 66x80 + 263x81 + 878x82 + 660x83 + 595x84 + 161x85 + 489x86 + 884x87 + 444x88 + 773x89 + 948x90 + 725x91 + 992x92 + 816x93 + 216x94 + 797x95 + 21x96 + 952x97 + 144x98 + 365x99 + 232x100 <= 22447 
constr4: + 74x1 + 708x2 + 137x3 + 647x4 + 952x5 + 419x6 + 316x7 + 487x8 + 486x9 + 830x10 + 16x11 + 922x12 + 984x13 + 769x14 + 325x15 + 503x16 + 47x17 + 807x18 + 188x19 + 738x20 + 316x21 + 148x22 + 359x23 + 630x24 + 782x25 + 619x26 + 662x27 + 123x28 + 61x29 + 549x30 + 480x31 + 416x32 + 715x33 + 598x34 + 940x35 + 712x36 + 966x37 + 447x38 + 682x39 + 828x40 + 94x41 + 748x42 + 350x43 + 773x44 + 487x45 + 916x46 + 758x47 + 166x48 + 166x49 + 723x50 + 672x51 + 236x52 + 236x53 + 944x54 + 982x55 + 342x56 + 373x57 + 949x58 + 125x59 + 298x60 + 253x61 + 658x62 + 785x63 + 597x64 + 767x65 + 649x66 + 792x67 + 417x68 + 102x69 + 848x70 + 17x71 + 829x72 + 416x73 + 305x74 + 651x75 + 102x76 + 951x77 + 834x78 + 429x79 + 720x80 + 997x81 + 955x82 + 42x83 + 715x84 + 475x85 + 868x86 + 977x87 + 333x88 + 472x89 + 771x90 + 807x91 + 924x92 + 514x93 + 134x94 + 716x95 + 912x96 + 423x97 + 389x98 + 565x99 + 995x100 <= 26202 
constr5: + 440x1 + 499x2 + 149x3 + 400x4 + 761x5 + 169x6 + 363x7 + 643x8 + 677x9 + 249x10 + 273x11 + 755x12 + 214x13 + 30x14 + 854x15 + 945x16 + 313x17 + 603x18 + 642x19 + 927x20 + 549x21 + 60x22 + 573x23 + 596x24 + 96x25 + 908x26 + 981x27 + 47x28 + 183x29 + 346x30 + 486x31 + 588x32 + 777x33 + 619x34 + 879x35 + 48x36 + 676x37 + 431x38 + 897x39 + 493x40 + 203x41 + 451x42 + 904x43 + 29x44 + 148x45 + 146x46 + 61x47 + 664x48 + 228x49 + 123x50 + 250x51 + 435x52 + 544x53 + 657x54 + 315x55 + 326x56 + 546x57 + 318x58 + 204x59 + 229x60 + 88x61 + 949x62 + 888x63 + 738x64 + 485x65 + 162x66 + 299x67 + 487x68 + 356x69 + 66x70 + 149x71 + 942x72 + 248x73 + 298x74 + 350x75 + 5x76 + 773x77 + 713x78 + 687x79 + 803x80 + 613x81 + 245x82 + 719x83 + 539x84 + 795x85 + 304x86 + 209x87 + 412x88 + 512x89 + 671x90 + 863x91 + 221x92 + 216x93 + 134x94 + 352x95 + 17x96 + 610x97 + 862x98 + 168x99 + 766x100 <= 26098 
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