minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37691.666000 
s2: s + 0.001000f1 + 0.501000f2 >= 37691.666000 
f1: -f1 + 803x1 + 728x2 + 743x3 + 464x4 + 853x5 + 587x6 + 856x7 + 579x8 + 359x9 + 635x10 + 661x11 + 679x12 + 583x13 + 1026x14 + 637x15 + 652x16 + 603x17 + 583x18 + 1017x19 + 817x20 + 633x21 + 633x22 + 672x23 + 540x24 + 732x25 + 879x26 + 1031x27 + 801x28 + 892x29 + 1030x30 + 844x31 + 659x32 + 952x33 + 917x34 + 1078x35 + 1012x36 + 709x37 + 699x38 + 1091x39 + 887x40 + 802x41 + 1016x42 + 757x43 + 810x44 + 1023x45 + 757x46 + 518x47 + 632x48 + 1091x49 + 595x50 + 630x51 + 916x52 + 759x53 + 674x54 + 553x55 + 703x56 + 530x57 + 790x58 + 628x59 + 671x60 + 667x61 + 885x62 + 527x63 + 970x64 + 683x65 + 716x66 + 714x67 + 919x68 + 504x69 + 703x70 + 924x71 + 533x72 + 510x73 + 993x74 + 840x75 + 538x76 + 909x77 + 884x78 + 639x79 + 811x80 + 1000x81 + 267x82 + 632x83 + 937x84 + 875x85 + 768x86 + 928x87 + 378x88 + 948x89 + 628x90 + 530x91 + 676x92 + 662x93 + 490x94 + 1006x95 + 949x96 + 822x97 + 694x98 + 1013x99 + 600x100  = 0 
f2: -f2 + 587x1 + 632x2 + 919x3 + 637x4 + 803x5 + 937x6 + 674x7 + 699x8 + 714x9 + 267x10 + 662x11 + 1031x12 + 490x13 + 633x14 + 533x15 + 359x16 + 1006x17 + 672x18 + 583x19 + 716x20 + 844x21 + 1091x22 + 709x23 + 790x24 + 530x25 + 659x26 + 822x27 + 628x28 + 661x29 + 633x30 + 671x31 + 1012x32 + 916x33 + 801x34 + 683x35 + 378x36 + 948x37 + 1023x38 + 1091x39 + 628x40 + 993x41 + 879x42 + 892x43 + 928x44 + 757x45 + 632x46 + 885x47 + 887x48 + 1026x49 + 810x50 + 768x51 + 527x52 + 504x53 + 917x54 + 676x55 + 840x56 + 1017x57 + 743x58 + 970x59 + 464x60 + 732x61 + 667x62 + 579x63 + 759x64 + 1078x65 + 652x66 + 757x67 + 540x68 + 856x69 + 694x70 + 1016x71 + 949x72 + 952x73 + 603x74 + 1030x75 + 600x76 + 630x77 + 530x78 + 703x79 + 1013x80 + 1000x81 + 639x82 + 924x83 + 583x84 + 802x85 + 635x86 + 817x87 + 875x88 + 679x89 + 811x90 + 884x91 + 595x92 + 728x93 + 510x94 + 518x95 + 538x96 + 703x97 + 909x98 + 553x99 + 853x100  = 0 
constr1: + 300x1 + 446x2 + 505x3 + 739x4 + 559x5 + 388x6 + 378x7 + 229x8 + 733x9 + 121x10 + 297x11 + 326x12 + 633x13 + 489x14 + 434x15 + 48x16 + 115x17 + 818x18 + 537x19 + 567x20 + 24x21 + 799x22 + 633x23 + 244x24 + 887x25 + 47x26 + 792x27 + 396x28 + 972x29 + 93x30 + 791x31 + 368x32 + 255x33 + 592x34 + 69x35 + 877x36 + 820x37 + 979x38 + 963x39 + 123x40 + 98x41 + 324x42 + 327x43 + 407x44 + 614x45 + 262x46 + 954x47 + 891x48 + 567x49 + 961x50 + 4x51 + 19x52 + 314x53 + 622x54 + 694x55 + 784x56 + 62x57 + 118x58 + 301x59 + 192x60 + 926x61 + 979x62 + 899x63 + 169x64 + 132x65 + 299x66 + 471x67 + 75x68 + 179x69 + 466x70 + 682x71 + 413x72 + 82x73 + 943x74 + 803x75 + 77x76 + 886x77 + 804x78 + 522x79 + 251x80 + 942x81 + 792x82 + 750x83 + 388x84 + 158x85 + 198x86 + 169x87 + 457x88 + 767x89 + 494x90 + 608x91 + 960x92 + 772x93 + 249x94 + 710x95 + 216x96 + 220x97 + 575x98 + 112x99 + 334x100 <= 13640 
constr2: + 78x1 + 955x2 + 327x3 + 373x4 + 352x5 + 824x6 + 449x7 + 418x8 + 144x9 + 601x10 + 539x11 + 125x12 + 858x13 + 784x14 + 834x15 + 302x16 + 450x17 + 195x18 + 358x19 + 87x20 + 638x21 + 539x22 + 620x23 + 73x24 + 792x25 + 869x26 + 460x27 + 485x28 + 31x29 + 634x30 + 715x31 + 349x32 + 773x33 + 345x34 + 944x35 + 475x36 + 712x37 + 658x38 + 904x39 + 127x40 + 947x41 + 227x42 + 852x43 + 123x44 + 533x45 + 989x46 + 751x47 + 848x48 + 183x49 + 357x50 + 459x51 + 393x52 + 256x53 + 86x54 + 276x55 + 372x56 + 410x57 + 499x58 + 329x59 + 806x60 + 396x61 + 240x62 + 312x63 + 118x64 + 679x65 + 696x66 + 833x67 + 55x68 + 116x69 + 398x70 + 495x71 + 193x72 + 147x73 + 254x74 + 132x75 + 199x76 + 747x77 + 451x78 + 317x79 + 608x80 + 431x81 + 801x82 + 776x83 + 272x84 + 541x85 + 451x86 + 643x87 + 334x88 + 63x89 + 36x90 + 446x91 + 253x92 + 956x93 + 199x94 + 469x95 + 357x96 + 310x97 + 553x98 + 17x99 + 441x100 <= 12048 
constr3: + 275x1 + 886x2 + 706x3 + 796x4 + 990x5 + 892x6 + 249x7 + 389x8 + 208x9 + 262x10 + 903x11 + 578x12 + 215x13 + 479x14 + 243x15 + 287x16 + 534x17 + 444x18 + 260x19 + 692x20 + 899x21 + 720x22 + 336x23 + 780x24 + 986x25 + 711x26 + 264x27 + 433x28 + 426x29 + 646x30 + 560x31 + 21x32 + 36x33 + 863x34 + 922x35 + 136x36 + 258x37 + 840x38 + 185x39 + 231x40 + 956x41 + 50x42 + 128x43 + 617x44 + 522x45 + 573x46 + 627x47 + 218x48 + 96x49 + 216x50 + 106x51 + 73x52 + 3x53 + 475x54 + 507x55 + 740x56 + 718x57 + 463x58 + 775x59 + 761x60 + 649x61 + 675x62 + 402x63 + 413x64 + 671x65 + 263x66 + 958x67 + 823x68 + 950x69 + 770x70 + 207x71 + 148x72 + 289x73 + 54x74 + 982x75 + 803x76 + 63x77 + 360x78 + 575x79 + 751x80 + 834x81 + 451x82 + 653x83 + 474x84 + 795x85 + 325x86 + 755x87 + 134x88 + 331x89 + 382x90 + 555x91 + 285x92 + 434x93 + 422x94 + 97x95 + 912x96 + 538x97 + 454x98 + 95x99 + 489x100 <= 12574 
constr4: + 724x1 + 871x2 + 86x3 + 769x4 + 951x5 + 381x6 + 255x7 + 768x8 + 928x9 + 207x10 + 75x11 + 415x12 + 157x13 + 836x14 + 940x15 + 621x16 + 592x17 + 571x18 + 706x19 + 787x20 + 982x21 + 713x22 + 912x23 + 801x24 + 424x25 + 117x26 + 518x27 + 305x28 + 836x29 + 343x30 + 703x31 + 874x32 + 692x33 + 778x34 + 106x35 + 92x36 + 299x37 + 984x38 + 507x39 + 8x40 + 509x41 + 708x42 + 105x43 + 943x44 + 174x45 + 184x46 + 776x47 + 664x48 + 592x49 + 110x50 + 86x51 + 932x52 + 544x53 + 297x54 + 431x55 + 948x56 + 543x57 + 987x58 + 699x59 + 543x60 + 219x61 + 6x62 + 997x63 + 367x64 + 373x65 + 966x66 + 805x67 + 187x68 + 866x69 + 611x70 + 741x71 + 348x72 + 557x73 + 746x74 + 221x75 + 187x76 + 225x77 + 779x78 + 337x79 + 295x80 + 554x81 + 994x82 + 15x83 + 673x84 + 163x85 + 136x86 + 548x87 + 105x88 + 327x89 + 25x90 + 22x91 + 425x92 + 427x93 + 485x94 + 585x95 + 927x96 + 399x97 + 161x98 + 597x99 + 374x100 <= 13915 
constr5: + 674x1 + 557x2 + 596x3 + 745x4 + 875x5 + 52x6 + 123x7 + 961x8 + 919x9 + 735x10 + 384x11 + 420x12 + 807x13 + 224x14 + 403x15 + 546x16 + 609x17 + 948x18 + 471x19 + 878x20 + 207x21 + 443x22 + 500x23 + 894x24 + 167x25 + 170x26 + 111x27 + 589x28 + 986x29 + 923x30 + 415x31 + 874x32 + 239x33 + 985x34 + 680x35 + 495x36 + 776x37 + 974x38 + 762x39 + 781x40 + 298x41 + 719x42 + 968x43 + 757x44 + 439x45 + 604x46 + 676x47 + 79x48 + 846x49 + 419x50 + 392x51 + 117x52 + 903x53 + 420x54 + 252x55 + 998x56 + 553x57 + 916x58 + 892x59 + 806x60 + 598x61 + 373x62 + 449x63 + 514x64 + 164x65 + 570x66 + 78x67 + 679x68 + 900x69 + 285x70 + 459x71 + 642x72 + 396x73 + 563x74 + 891x75 + 191x76 + 655x77 + 364x78 + 375x79 + 180x80 + 850x81 + 950x82 + 515x83 + 229x84 + 998x85 + 570x86 + 638x87 + 847x88 + 675x89 + 187x90 + 45x91 + 552x92 + 417x93 + 747x94 + 398x95 + 188x96 + 247x97 + 640x98 + 87x99 + 695x100 <= 13232 
constr6: + 227x1 + 978x2 + 257x3 + 540x4 + 329x5 + 774x6 + 745x7 + 186x8 + 402x9 + 125x10 + 474x11 + 581x12 + 322x13 + 917x14 + 326x15 + 749x16 + 25x17 + 154x18 + 237x19 + 857x20 + 788x21 + 268x22 + 361x23 + 185x24 + 108x25 + 725x26 + 127x27 + 908x28 + 20x29 + 613x30 + 363x31 + 872x32 + 485x33 + 520x34 + 315x35 + 799x36 + 587x37 + 532x38 + 40x39 + 862x40 + 728x41 + 158x42 + 314x43 + 326x44 + 862x45 + 828x46 + 899x47 + 542x48 + 271x49 + 627x50 + 345x51 + 389x52 + 839x53 + 672x54 + 910x55 + 314x56 + 397x57 + 425x58 + 242x59 + 118x60 + 352x61 + 499x62 + 494x63 + 726x64 + 295x65 + 155x66 + 352x67 + 627x68 + 669x69 + 688x70 + 268x71 + 148x72 + 805x73 + 349x74 + 751x75 + 769x76 + 10x77 + 154x78 + 411x79 + 904x80 + 484x81 + 145x82 + 296x83 + 490x84 + 528x85 + 635x86 + 576x87 + 949x88 + 655x89 + 883x90 + 384x91 + 513x92 + 676x93 + 680x94 + 780x95 + 229x96 + 624x97 + 693x98 + 1x99 + 929x100 <= 12190 
constr7: + 84x1 + 336x2 + 726x3 + 966x4 + 803x5 + 372x6 + 978x7 + 657x8 + 536x9 + 755x10 + 909x11 + 272x12 + 670x13 + 898x14 + 408x15 + 869x16 + 16x17 + 552x18 + 676x19 + 821x20 + 194x21 + 257x22 + 66x23 + 947x24 + 389x25 + 221x26 + 370x27 + 460x28 + 941x29 + 808x30 + 239x31 + 443x32 + 980x33 + 385x34 + 735x35 + 300x36 + 358x37 + 765x38 + 798x39 + 810x40 + 253x41 + 787x42 + 978x43 + 620x44 + 981x45 + 336x46 + 870x47 + 938x48 + 943x49 + 267x50 + 585x51 + 2x52 + 640x53 + 928x54 + 206x55 + 887x56 + 728x57 + 198x58 + 620x59 + 543x60 + 454x61 + 51x62 + 621x63 + 802x64 + 137x65 + 629x66 + 857x67 + 680x68 + 182x69 + 921x70 + 898x71 + 274x72 + 679x73 + 878x74 + 296x75 + 174x76 + 984x77 + 897x78 + 692x79 + 13x80 + 58x81 + 512x82 + 223x83 + 6x84 + 394x85 + 921x86 + 666x87 + 986x88 + 233x89 + 483x90 + 422x91 + 984x92 + 227x93 + 353x94 + 700x95 + 161x96 + 699x97 + 28x98 + 307x99 + 411x100 <= 12242 
constr8: + 587x1 + 442x2 + 420x3 + 450x4 + 892x5 + 368x6 + 862x7 + 717x8 + 900x9 + 581x10 + 5x11 + 455x12 + 997x13 + 894x14 + 353x15 + 147x16 + 392x17 + 567x18 + 281x19 + 89x20 + 455x21 + 861x22 + 469x23 + 680x24 + 258x25 + 131x26 + 875x27 + 214x28 + 652x29 + 264x30 + 357x31 + 56x32 + 381x33 + 110x34 + 912x35 + 479x36 + 503x37 + 962x38 + 108x39 + 638x40 + 779x41 + 33x42 + 368x43 + 687x44 + 972x45 + 503x46 + 974x47 + 397x48 + 201x49 + 111x50 + 761x51 + 10x52 + 893x53 + 409x54 + 260x55 + 968x56 + 640x57 + 525x58 + 36x59 + 810x60 + 493x61 + 699x62 + 938x63 + 170x64 + 860x65 + 12x66 + 253x67 + 626x68 + 376x69 + 640x70 + 380x71 + 830x72 + 912x73 + 552x74 + 406x75 + 999x76 + 880x77 + 572x78 + 196x79 + 695x80 + 191x81 + 956x82 + 19x83 + 753x84 + 65x85 + 192x86 + 133x87 + 400x88 + 724x89 + 923x90 + 518x91 + 757x92 + 693x93 + 545x94 + 361x95 + 309x96 + 154x97 + 487x98 + 203x99 + 438x100 <= 12394 
constr9: + 768x1 + 71x2 + 835x3 + 721x4 + 52x5 + 969x6 + 302x7 + 254x8 + 893x9 + 464x10 + 97x11 + 895x12 + 315x13 + 347x14 + 945x15 + 870x16 + 202x17 + 820x18 + 145x19 + 983x20 + 217x21 + 891x22 + 789x23 + 917x24 + 941x25 + 370x26 + 121x27 + 1x28 + 222x29 + 160x30 + 953x31 + 632x32 + 886x33 + 905x34 + 904x35 + 540x36 + 815x37 + 851x38 + 628x39 + 248x40 + 244x41 + 536x42 + 318x43 + 63x44 + 789x45 + 1000x46 + 516x47 + 660x48 + 558x49 + 742x50 + 193x51 + 184x52 + 606x53 + 969x54 + 666x55 + 257x56 + 306x57 + 435x58 + 881x59 + 272x60 + 1x61 + 731x62 + 211x63 + 440x64 + 184x65 + 164x66 + 548x67 + 44x68 + 725x69 + 853x70 + 440x71 + 679x72 + 630x73 + 721x74 + 689x75 + 84x76 + 378x77 + 863x78 + 302x79 + 726x80 + 108x81 + 345x82 + 192x83 + 670x84 + 614x85 + 919x86 + 709x87 + 747x88 + 633x89 + 860x90 + 80x91 + 219x92 + 279x93 + 254x94 + 509x95 + 765x96 + 748x97 + 111x98 + 806x99 + 416x100 <= 12258 
constr10: + 51x1 + 222x2 + 792x3 + 242x4 + 681x5 + 929x6 + 549x7 + 533x8 + 814x9 + 674x10 + 323x11 + 294x12 + 101x13 + 576x14 + 307x15 + 329x16 + 5x17 + 243x18 + 273x19 + 388x20 + 71x21 + 857x22 + 717x23 + 275x24 + 963x25 + 371x26 + 69x27 + 389x28 + 914x29 + 254x30 + 567x31 + 798x32 + 875x33 + 501x34 + 585x35 + 125x36 + 168x37 + 323x38 + 547x39 + 198x40 + 208x41 + 60x42 + 826x43 + 439x44 + 573x45 + 515x46 + 5x47 + 397x48 + 926x49 + 211x50 + 746x51 + 406x52 + 660x53 + 696x54 + 464x55 + 230x56 + 471x57 + 677x58 + 3x59 + 461x60 + 968x61 + 134x62 + 749x63 + 501x64 + 358x65 + 261x66 + 250x67 + 78x68 + 635x69 + 856x70 + 138x71 + 964x72 + 230x73 + 367x74 + 721x75 + 598x76 + 386x77 + 864x78 + 16x79 + 615x80 + 75x81 + 52x82 + 914x83 + 278x84 + 349x85 + 657x86 + 794x87 + 47x88 + 743x89 + 249x90 + 954x91 + 50x92 + 50x93 + 128x94 + 36x95 + 834x96 + 77x97 + 424x98 + 571x99 + 805x100 <= 10960 
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