minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37585.242000 
s2: s + 0.001000f1 + 0.501000f2 >= 37585.242000 
f1: -f1 + 607x1 + 401x2 + 645x3 + 907x4 + 915x5 + 499x6 + 914x7 + 879x8 + 757x9 + 978x10 + 608x11 + 548x12 + 470x13 + 1167x14 + 1017x15 + 699x16 + 942x17 + 547x18 + 986x19 + 875x20 + 876x21 + 658x22 + 461x23 + 546x24 + 866x25 + 664x26 + 649x27 + 1125x28 + 362x29 + 941x30 + 817x31 + 1064x32 + 908x33 + 586x34 + 774x35 + 796x36 + 762x37 + 605x38 + 643x39 + 661x40 + 752x41 + 730x42 + 893x43 + 742x44 + 884x45 + 611x46 + 922x47 + 953x48 + 360x49 + 918x50 + 770x51 + 946x52 + 913x53 + 523x54 + 440x55 + 636x56 + 859x57 + 968x58 + 313x59 + 1114x60 + 792x61 + 800x62 + 780x63 + 817x64 + 1108x65 + 1038x66 + 655x67 + 697x68 + 700x69 + 797x70 + 1030x71 + 753x72 + 591x73 + 936x74 + 634x75 + 712x76 + 581x77 + 827x78 + 434x79 + 686x80 + 759x81 + 772x82 + 871x83 + 643x84 + 759x85 + 623x86 + 605x87 + 934x88 + 697x89 + 534x90 + 1029x91 + 650x92 + 961x93 + 509x94 + 652x95 + 571x96 + 420x97 + 673x98 + 734x99 + 735x100  = 0 
f2: -f2 + 879x1 + 313x2 + 1038x3 + 605x4 + 611x5 + 420x6 + 752x7 + 893x8 + 652x9 + 792x10 + 908x11 + 1029x12 + 1064x13 + 523x14 + 636x15 + 978x16 + 401x17 + 440x18 + 942x19 + 655x20 + 915x21 + 509x22 + 734x23 + 953x24 + 645x25 + 605x26 + 608x27 + 941x28 + 591x29 + 643x30 + 774x31 + 961x32 + 884x33 + 461x34 + 759x35 + 866x36 + 876x37 + 623x38 + 1108x39 + 700x40 + 922x41 + 673x42 + 548x43 + 534x44 + 661x45 + 607x46 + 586x47 + 434x48 + 907x49 + 796x50 + 986x51 + 913x52 + 757x53 + 699x54 + 547x55 + 686x56 + 827x57 + 735x58 + 968x59 + 936x60 + 697x61 + 772x62 + 470x63 + 1114x64 + 914x65 + 360x66 + 658x67 + 817x68 + 918x69 + 759x70 + 946x71 + 634x72 + 1125x73 + 362x74 + 649x75 + 571x76 + 650x77 + 546x78 + 934x79 + 499x80 + 664x81 + 730x82 + 753x83 + 859x84 + 1030x85 + 697x86 + 800x87 + 817x88 + 875x89 + 770x90 + 1017x91 + 742x92 + 871x93 + 643x94 + 712x95 + 1167x96 + 780x97 + 581x98 + 797x99 + 762x100  = 0 
constr1: + 461x1 + 652x2 + 104x3 + 149x4 + 136x5 + 711x6 + 86x7 + 604x8 + 79x9 + 426x10 + 5x11 + 411x12 + 968x13 + 453x14 + 459x15 + 660x16 + 763x17 + 51x18 + 861x19 + 618x20 + 878x21 + 407x22 + 252x23 + 166x24 + 953x25 + 804x26 + 409x27 + 519x28 + 768x29 + 383x30 + 953x31 + 820x32 + 818x33 + 759x34 + 511x35 + 425x36 + 884x37 + 342x38 + 252x39 + 91x40 + 85x41 + 479x42 + 783x43 + 500x44 + 304x45 + 78x46 + 861x47 + 29x48 + 12x49 + 166x50 + 760x51 + 32x52 + 229x53 + 966x54 + 999x55 + 1x56 + 558x57 + 929x58 + 170x59 + 761x60 + 733x61 + 80x62 + 179x63 + 537x64 + 237x65 + 432x66 + 675x67 + 494x68 + 874x69 + 588x70 + 802x71 + 249x72 + 720x73 + 49x74 + 885x75 + 636x76 + 321x77 + 980x78 + 598x79 + 884x80 + 872x81 + 548x82 + 973x83 + 754x84 + 497x85 + 359x86 + 880x87 + 889x88 + 629x89 + 54x90 + 267x91 + 149x92 + 414x93 + 625x94 + 400x95 + 656x96 + 840x97 + 81x98 + 839x99 + 387x100 <= 11700 
constr2: + 496x1 + 653x2 + 871x3 + 371x4 + 224x5 + 465x6 + 154x7 + 578x8 + 19x9 + 332x10 + 680x11 + 868x12 + 297x13 + 720x14 + 320x15 + 279x16 + 386x17 + 183x18 + 387x19 + 345x20 + 88x21 + 993x22 + 601x23 + 465x24 + 796x25 + 66x26 + 955x27 + 474x28 + 962x29 + 318x30 + 464x31 + 411x32 + 828x33 + 157x34 + 365x35 + 319x36 + 312x37 + 165x38 + 549x39 + 86x40 + 417x41 + 665x42 + 252x43 + 65x44 + 134x45 + 878x46 + 836x47 + 279x48 + 813x49 + 768x50 + 548x51 + 544x52 + 678x53 + 951x54 + 956x55 + 165x56 + 832x57 + 364x58 + 610x59 + 540x60 + 61x61 + 41x62 + 98x63 + 637x64 + 229x65 + 204x66 + 592x67 + 215x68 + 491x69 + 818x70 + 894x71 + 984x72 + 913x73 + 764x74 + 387x75 + 431x76 + 925x77 + 323x78 + 362x79 + 330x80 + 905x81 + 252x82 + 575x83 + 919x84 + 172x85 + 90x86 + 376x87 + 979x88 + 123x89 + 750x90 + 632x91 + 28x92 + 285x93 + 8x94 + 483x95 + 575x96 + 146x97 + 731x98 + 529x99 + 154x100 <= 12917 
constr3: + 567x1 + 794x2 + 445x3 + 35x4 + 665x5 + 486x6 + 378x7 + 116x8 + 651x9 + 450x10 + 851x11 + 953x12 + 413x13 + 9x14 + 984x15 + 80x16 + 941x17 + 901x18 + 779x19 + 433x20 + 752x21 + 320x22 + 188x23 + 797x24 + 881x25 + 483x26 + 77x27 + 315x28 + 303x29 + 67x30 + 45x31 + 727x32 + 9x33 + 760x34 + 54x35 + 530x36 + 177x37 + 996x38 + 749x39 + 744x40 + 457x41 + 763x42 + 277x43 + 956x44 + 41x45 + 943x46 + 930x47 + 516x48 + 740x49 + 969x50 + 207x51 + 581x52 + 782x53 + 584x54 + 231x55 + 269x56 + 367x57 + 418x58 + 341x59 + 235x60 + 77x61 + 763x62 + 411x63 + 367x64 + 131x65 + 888x66 + 650x67 + 329x68 + 164x69 + 587x70 + 887x71 + 491x72 + 302x73 + 669x74 + 464x75 + 254x76 + 990x77 + 262x78 + 562x79 + 958x80 + 488x81 + 540x82 + 555x83 + 141x84 + 28x85 + 989x86 + 798x87 + 704x88 + 408x89 + 277x90 + 290x91 + 692x92 + 920x93 + 382x94 + 818x95 + 560x96 + 22x97 + 283x98 + 603x99 + 984x100 <= 12813 
constr4: + 403x1 + 336x2 + 393x3 + 844x4 + 27x5 + 170x6 + 476x7 + 303x8 + 329x9 + 731x10 + 380x11 + 109x12 + 402x13 + 819x14 + 676x15 + 808x16 + 232x17 + 467x18 + 362x19 + 4x20 + 381x21 + 763x22 + 981x23 + 773x24 + 176x25 + 139x26 + 948x27 + 876x28 + 43x29 + 539x30 + 70x31 + 441x32 + 593x33 + 338x34 + 934x35 + 904x36 + 425x37 + 983x38 + 115x39 + 412x40 + 716x41 + 690x42 + 833x43 + 244x44 + 782x45 + 608x46 + 299x47 + 369x48 + 455x49 + 192x50 + 763x51 + 19x52 + 767x53 + 41x54 + 303x55 + 159x56 + 716x57 + 297x58 + 548x59 + 577x60 + 587x61 + 444x62 + 567x63 + 170x64 + 472x65 + 425x66 + 113x67 + 752x68 + 830x69 + 60x70 + 46x71 + 376x72 + 965x73 + 556x74 + 930x75 + 5x76 + 504x77 + 371x78 + 811x79 + 295x80 + 890x81 + 711x82 + 757x83 + 723x84 + 756x85 + 291x86 + 689x87 + 676x88 + 489x89 + 29x90 + 51x91 + 93x92 + 636x93 + 599x94 + 598x95 + 123x96 + 222x97 + 685x98 + 120x99 + 589x100 <= 12149 
constr5: + 773x1 + 899x2 + 390x3 + 840x4 + 683x5 + 616x6 + 614x7 + 930x8 + 726x9 + 463x10 + 238x11 + 770x12 + 923x13 + 67x14 + 198x15 + 540x16 + 126x17 + 207x18 + 22x19 + 288x20 + 827x21 + 987x22 + 531x23 + 258x24 + 997x25 + 457x26 + 790x27 + 534x28 + 509x29 + 289x30 + 457x31 + 364x32 + 440x33 + 697x34 + 577x35 + 288x36 + 320x37 + 882x38 + 2x39 + 887x40 + 781x41 + 620x42 + 414x43 + 297x44 + 12x45 + 544x46 + 868x47 + 66x48 + 589x49 + 751x50 + 401x51 + 647x52 + 642x53 + 382x54 + 992x55 + 105x56 + 851x57 + 447x58 + 897x59 + 963x60 + 539x61 + 215x62 + 851x63 + 283x64 + 273x65 + 25x66 + 329x67 + 220x68 + 942x69 + 766x70 + 598x71 + 606x72 + 793x73 + 265x74 + 425x75 + 282x76 + 84x77 + 764x78 + 104x79 + 96x80 + 694x81 + 726x82 + 669x83 + 901x84 + 406x85 + 575x86 + 273x87 + 254x88 + 226x89 + 905x90 + 35x91 + 686x92 + 748x93 + 407x94 + 591x95 + 624x96 + 687x97 + 211x98 + 23x99 + 211x100 <= 12472 
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