minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 35653.044000 
s2: s + 0.001000f1 + 0.501000f2 >= 35653.044000 
f1: -f1 + 942x1 + 586x2 + 844x3 + 896x4 + 496x5 + 650x6 + 477x7 + 998x8 + 634x9 + 454x10 + 741x11 + 884x12 + 807x13 + 745x14 + 517x15 + 834x16 + 935x17 + 532x18 + 587x19 + 576x20 + 447x21 + 750x22 + 683x23 + 721x24 + 883x25 + 908x26 + 601x27 + 720x28 + 719x29 + 750x30 + 760x31 + 731x32 + 524x33 + 764x34 + 632x35 + 595x36 + 557x37 + 787x38 + 822x39 + 503x40 + 958x41 + 695x42 + 499x43 + 604x44 + 898x45 + 974x46 + 744x47 + 706x48 + 610x49 + 747x50 + 949x51 + 762x52 + 752x53 + 871x54 + 872x55 + 840x56 + 837x57 + 817x58 + 443x59 + 551x60 + 765x61 + 724x62 + 575x63 + 678x64 + 884x65 + 1017x66 + 620x67 + 405x68 + 715x69 + 546x70 + 799x71 + 657x72 + 674x73 + 757x74 + 294x75 + 823x76 + 568x77 + 474x78 + 696x79 + 748x80 + 736x81 + 675x82 + 776x83 + 933x84 + 680x85 + 683x86 + 545x87 + 656x88 + 868x89 + 515x90 + 869x91 + 719x92 + 814x93 + 675x94 + 319x95 + 1012x96 + 651x97 + 804x98 + 870x99 + 682x100  = 0 
f2: -f2 + 814x1 + 837x2 + 568x3 + 706x4 + 499x5 + 532x6 + 884x7 + 454x8 + 823x9 + 757x10 + 496x11 + 724x12 + 908x13 + 696x14 + 868x15 + 747x16 + 872x17 + 750x18 + 546x19 + 656x20 + 869x21 + 715x22 + 799x23 + 610x24 + 935x25 + 787x26 + 620x27 + 545x28 + 678x29 + 871x30 + 748x31 + 719x32 + 949x33 + 752x34 + 294x35 + 503x36 + 870x37 + 551x38 + 721x39 + 524x40 + 675x41 + 651x42 + 447x43 + 586x44 + 731x45 + 844x46 + 675x47 + 958x48 + 750x49 + 576x50 + 745x51 + 319x52 + 477x53 + 634x54 + 776x55 + 834x56 + 744x57 + 840x58 + 405x59 + 632x60 + 682x61 + 474x62 + 680x63 + 942x64 + 896x65 + 765x66 + 898x67 + 604x68 + 736x69 + 933x70 + 595x71 + 674x72 + 741x73 + 695x74 + 998x75 + 762x76 + 804x77 + 822x78 + 601x79 + 650x80 + 1017x81 + 720x82 + 884x83 + 760x84 + 817x85 + 1012x86 + 557x87 + 517x88 + 807x89 + 657x90 + 719x91 + 683x92 + 683x93 + 515x94 + 575x95 + 764x96 + 883x97 + 443x98 + 587x99 + 974x100  = 0 
constr1: + 705x1 + 762x2 + 126x3 + 380x4 + 780x5 + 785x6 + 280x7 + 590x8 + 568x9 + 200x10 + 277x11 + 997x12 + 114x13 + 163x14 + 830x15 + 322x16 + 482x17 + 224x18 + 378x19 + 217x20 + 659x21 + 547x22 + 129x23 + 403x24 + 54x25 + 586x26 + 170x27 + 717x28 + 62x29 + 344x30 + 943x31 + 521x32 + 139x33 + 628x34 + 925x35 + 322x36 + 249x37 + 273x38 + 527x39 + 227x40 + 208x41 + 118x42 + 738x43 + 367x44 + 172x45 + 966x46 + 601x47 + 231x48 + 789x49 + 295x50 + 201x51 + 601x52 + 566x53 + 636x54 + 947x55 + 918x56 + 64x57 + 860x58 + 607x59 + 865x60 + 997x61 + 755x62 + 621x63 + 709x64 + 79x65 + 727x66 + 788x67 + 221x68 + 697x69 + 187x70 + 85x71 + 900x72 + 187x73 + 453x74 + 87x75 + 629x76 + 697x77 + 89x78 + 42x79 + 706x80 + 803x81 + 310x82 + 726x83 + 847x84 + 804x85 + 590x86 + 20x87 + 789x88 + 220x89 + 720x90 + 714x91 + 338x92 + 200x93 + 687x94 + 826x95 + 6x96 + 214x97 + 2x98 + 745x99 + 405x100 <= 38264 
constr2: + 792x1 + 827x2 + 984x3 + 131x4 + 497x5 + 745x6 + 310x7 + 297x8 + 844x9 + 477x10 + 223x11 + 706x12 + 354x13 + 127x14 + 519x15 + 60x16 + 843x17 + 780x18 + 247x19 + 676x20 + 70x21 + 863x22 + 986x23 + 952x24 + 974x25 + 869x26 + 730x27 + 515x28 + 193x29 + 310x30 + 666x31 + 37x32 + 185x33 + 633x34 + 171x35 + 186x36 + 20x37 + 582x38 + 330x39 + 249x40 + 310x41 + 475x42 + 807x43 + 893x44 + 804x45 + 986x46 + 245x47 + 134x48 + 593x49 + 295x50 + 270x51 + 135x52 + 355x53 + 773x54 + 70x55 + 446x56 + 365x57 + 312x58 + 741x59 + 457x60 + 477x61 + 586x62 + 840x63 + 134x64 + 245x65 + 584x66 + 839x67 + 280x68 + 948x69 + 820x70 + 254x71 + 391x72 + 283x73 + 835x74 + 838x75 + 414x76 + 739x77 + 679x78 + 891x79 + 181x80 + 788x81 + 364x82 + 726x83 + 47x84 + 373x85 + 852x86 + 410x87 + 291x88 + 376x89 + 245x90 + 953x91 + 101x92 + 445x93 + 648x94 + 854x95 + 316x96 + 501x97 + 938x98 + 26x99 + 683x100 <= 34652 
constr3: + 364x1 + 757x2 + 969x3 + 59x4 + 272x5 + 227x6 + 76x7 + 836x8 + 531x9 + 120x10 + 619x11 + 49x12 + 941x13 + 768x14 + 133x15 + 261x16 + 632x17 + 710x18 + 458x19 + 496x20 + 162x21 + 151x22 + 744x23 + 62x24 + 744x25 + 774x26 + 821x27 + 288x28 + 215x29 + 312x30 + 945x31 + 152x32 + 163x33 + 24x34 + 275x35 + 598x36 + 315x37 + 219x38 + 425x39 + 135x40 + 233x41 + 234x42 + 523x43 + 795x44 + 444x45 + 5x46 + 494x47 + 309x48 + 551x49 + 148x50 + 771x51 + 341x52 + 562x53 + 110x54 + 383x55 + 471x56 + 110x57 + 220x58 + 939x59 + 235x60 + 667x61 + 485x62 + 524x63 + 453x64 + 731x65 + 682x66 + 26x67 + 76x68 + 847x69 + 193x70 + 611x71 + 93x72 + 671x73 + 980x74 + 551x75 + 112x76 + 36x77 + 617x78 + 811x79 + 376x80 + 56x81 + 682x82 + 920x83 + 229x84 + 530x85 + 60x86 + 899x87 + 331x88 + 556x89 + 145x90 + 870x91 + 233x92 + 815x93 + 952x94 + 395x95 + 941x96 + 988x97 + 659x98 + 598x99 + 989x100 <= 35766 
constr4: + 839x1 + 526x2 + 782x3 + 339x4 + 688x5 + 820x6 + 906x7 + 765x8 + 840x9 + 391x10 + 804x11 + 461x12 + 381x13 + 633x14 + 24x15 + 451x16 + 992x17 + 253x18 + 356x19 + 160x20 + 341x21 + 124x22 + 254x23 + 906x24 + 368x25 + 714x26 + 451x27 + 829x28 + 245x29 + 817x30 + 495x31 + 254x32 + 932x33 + 715x34 + 714x35 + 968x36 + 261x37 + 794x38 + 479x39 + 553x40 + 288x41 + 514x42 + 749x43 + 539x44 + 419x45 + 523x46 + 216x47 + 782x48 + 270x49 + 513x50 + 351x51 + 419x52 + 512x53 + 606x54 + 590x55 + 360x56 + 697x57 + 13x58 + 795x59 + 985x60 + 71x61 + 535x62 + 875x63 + 739x64 + 356x65 + 263x66 + 892x67 + 105x68 + 668x69 + 584x70 + 490x71 + 849x72 + 898x73 + 988x74 + 508x75 + 957x76 + 114x77 + 189x78 + 287x79 + 229x80 + 518x81 + 670x82 + 320x83 + 785x84 + 211x85 + 840x86 + 372x87 + 706x88 + 475x89 + 535x90 + 401x91 + 416x92 + 971x93 + 836x94 + 324x95 + 523x96 + 757x97 + 916x98 + 211x99 + 853x100 <= 33726 
constr5: + 560x1 + 344x2 + 743x3 + 810x4 + 223x5 + 823x6 + 416x7 + 236x8 + 708x9 + 64x10 + 831x11 + 858x12 + 432x13 + 91x14 + 898x15 + 212x16 + 642x17 + 46x18 + 118x19 + 508x20 + 810x21 + 762x22 + 195x23 + 650x24 + 936x25 + 683x26 + 172x27 + 1x28 + 821x29 + 91x30 + 89x31 + 47x32 + 334x33 + 989x34 + 159x35 + 598x36 + 735x37 + 140x38 + 998x39 + 335x40 + 115x41 + 132x42 + 376x43 + 652x44 + 463x45 + 149x46 + 30x47 + 100x48 + 375x49 + 14x50 + 452x51 + 881x52 + 229x53 + 437x54 + 505x55 + 634x56 + 247x57 + 266x58 + 794x59 + 436x60 + 935x61 + 75x62 + 551x63 + 155x64 + 723x65 + 759x66 + 883x67 + 803x68 + 676x69 + 326x70 + 238x71 + 700x72 + 714x73 + 437x74 + 84x75 + 551x76 + 732x77 + 476x78 + 789x79 + 36x80 + 258x81 + 58x82 + 412x83 + 926x84 + 918x85 + 46x86 + 483x87 + 99x88 + 660x89 + 29x90 + 508x91 + 687x92 + 808x93 + 689x94 + 255x95 + 56x96 + 854x97 + 77x98 + 537x99 + 921x100 <= 34350 
constr6: + 550x1 + 859x2 + 340x3 + 952x4 + 830x5 + 370x6 + 286x7 + 145x8 + 939x9 + 784x10 + 903x11 + 81x12 + 658x13 + 819x14 + 931x15 + 557x16 + 906x17 + 136x18 + 271x19 + 822x20 + 680x21 + 605x22 + 565x23 + 658x24 + 821x25 + 342x26 + 141x27 + 971x28 + 60x29 + 179x30 + 713x31 + 212x32 + 367x33 + 878x34 + 438x35 + 481x36 + 801x37 + 648x38 + 272x39 + 822x40 + 132x41 + 90x42 + 524x43 + 828x44 + 571x45 + 134x46 + 949x47 + 522x48 + 662x49 + 486x50 + 258x51 + 992x52 + 755x53 + 66x54 + 941x55 + 156x56 + 145x57 + 412x58 + 51x59 + 975x60 + 445x61 + 853x62 + 449x63 + 110x64 + 71x65 + 719x66 + 83x67 + 628x68 + 724x69 + 555x70 + 277x71 + 156x72 + 148x73 + 443x74 + 892x75 + 401x76 + 955x77 + 559x78 + 347x79 + 113x80 + 426x81 + 930x82 + 129x83 + 404x84 + 606x85 + 172x86 + 688x87 + 295x88 + 749x89 + 519x90 + 613x91 + 613x92 + 694x93 + 604x94 + 253x95 + 106x96 + 343x97 + 366x98 + 84x99 + 544x100 <= 35688 
constr7: + 116x1 + 599x2 + 379x3 + 710x4 + 367x5 + 711x6 + 888x7 + 791x8 + 772x9 + 138x10 + 805x11 + 104x12 + 841x13 + 155x14 + 364x15 + 610x16 + 6x17 + 43x18 + 404x19 + 346x20 + 816x21 + 261x22 + 553x23 + 516x24 + 200x25 + 609x26 + 624x27 + 92x28 + 700x29 + 355x30 + 469x31 + 948x32 + 147x33 + 900x34 + 23x35 + 507x36 + 330x37 + 406x38 + 193x39 + 818x40 + 20x41 + 881x42 + 945x43 + 871x44 + 276x45 + 82x46 + 771x47 + 788x48 + 211x49 + 97x50 + 349x51 + 15x52 + 110x53 + 433x54 + 586x55 + 178x56 + 535x57 + 802x58 + 785x59 + 458x60 + 249x61 + 320x62 + 333x63 + 258x64 + 134x65 + 403x66 + 69x67 + 79x68 + 387x69 + 95x70 + 619x71 + 532x72 + 80x73 + 291x74 + 343x75 + 789x76 + 867x77 + 196x78 + 403x79 + 870x80 + 349x81 + 354x82 + 54x83 + 899x84 + 121x85 + 55x86 + 596x87 + 807x88 + 186x89 + 805x90 + 627x91 + 560x92 + 571x93 + 71x94 + 573x95 + 359x96 + 550x97 + 861x98 + 58x99 + 363x100 <= 36911 
constr8: + 923x1 + 48x2 + 404x3 + 698x4 + 1000x5 + 598x6 + 31x7 + 612x8 + 375x9 + 50x10 + 942x11 + 438x12 + 141x13 + 865x14 + 660x15 + 414x16 + 768x17 + 13x18 + 685x19 + 362x20 + 859x21 + 189x22 + 827x23 + 409x24 + 823x25 + 699x26 + 739x27 + 41x28 + 198x29 + 414x30 + 359x31 + 631x32 + 976x33 + 73x34 + 412x35 + 5x36 + 128x37 + 808x38 + 427x39 + 837x40 + 734x41 + 656x42 + 122x43 + 729x44 + 461x45 + 725x46 + 923x47 + 717x48 + 892x49 + 979x50 + 457x51 + 153x52 + 279x53 + 521x54 + 352x55 + 490x56 + 53x57 + 639x58 + 764x59 + 504x60 + 81x61 + 909x62 + 823x63 + 655x64 + 219x65 + 349x66 + 133x67 + 815x68 + 911x69 + 254x70 + 329x71 + 510x72 + 779x73 + 465x74 + 152x75 + 452x76 + 571x77 + 14x78 + 43x79 + 748x80 + 790x81 + 734x82 + 264x83 + 856x84 + 448x85 + 408x86 + 63x87 + 363x88 + 272x89 + 654x90 + 447x91 + 910x92 + 266x93 + 23x94 + 8x95 + 86x96 + 492x97 + 390x98 + 344x99 + 386x100 <= 36851 
constr9: + 494x1 + 210x2 + 434x3 + 580x4 + 447x5 + 325x6 + 794x7 + 438x8 + 254x9 + 838x10 + 860x11 + 495x12 + 504x13 + 164x14 + 23x15 + 550x16 + 354x17 + 218x18 + 509x19 + 11x20 + 404x21 + 478x22 + 403x23 + 170x24 + 490x25 + 325x26 + 51x27 + 621x28 + 532x29 + 51x30 + 587x31 + 105x32 + 133x33 + 334x34 + 141x35 + 37x36 + 78x37 + 890x38 + 247x39 + 864x40 + 666x41 + 292x42 + 555x43 + 162x44 + 249x45 + 593x46 + 278x47 + 568x48 + 983x49 + 22x50 + 555x51 + 691x52 + 100x53 + 416x54 + 399x55 + 79x56 + 700x57 + 259x58 + 637x59 + 782x60 + 206x61 + 317x62 + 897x63 + 981x64 + 824x65 + 322x66 + 127x67 + 732x68 + 103x69 + 488x70 + 155x71 + 408x72 + 817x73 + 322x74 + 553x75 + 874x76 + 421x77 + 95x78 + 932x79 + 951x80 + 879x81 + 226x82 + 153x83 + 720x84 + 327x85 + 418x86 + 963x87 + 633x88 + 8x89 + 298x90 + 710x91 + 628x92 + 588x93 + 984x94 + 863x95 + 510x96 + 981x97 + 535x98 + 456x99 + 943x100 <= 35828 
constr10: + 467x1 + 732x2 + 46x3 + 84x4 + 336x5 + 61x6 + 61x7 + 575x8 + 83x9 + 380x10 + 807x11 + 909x12 + 62x13 + 255x14 + 885x15 + 329x16 + 80x17 + 129x18 + 899x19 + 353x20 + 251x21 + 501x22 + 418x23 + 218x24 + 669x25 + 269x26 + 679x27 + 234x28 + 914x29 + 488x30 + 656x31 + 589x32 + 150x33 + 349x34 + 740x35 + 658x36 + 445x37 + 380x38 + 754x39 + 149x40 + 53x41 + 300x42 + 902x43 + 382x44 + 464x45 + 27x46 + 226x47 + 934x48 + 37x49 + 347x50 + 33x51 + 183x52 + 782x53 + 257x54 + 92x55 + 914x56 + 874x57 + 910x58 + 334x59 + 833x60 + 546x61 + 1000x62 + 930x63 + 125x64 + 269x65 + 48x66 + 794x67 + 471x68 + 62x69 + 668x70 + 471x71 + 417x72 + 779x73 + 53x74 + 614x75 + 195x76 + 622x77 + 816x78 + 815x79 + 977x80 + 6x81 + 127x82 + 590x83 + 890x84 + 717x85 + 590x86 + 485x87 + 385x88 + 745x89 + 584x90 + 470x91 + 902x92 + 94x93 + 322x94 + 482x95 + 667x96 + 112x97 + 229x98 + 239x99 + 937x100 <= 39344 
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