minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36445.200000 
s2: s + 0.001000f1 + 0.501000f2 >= 36445.200000 
f1: -f1 + 976x1 + 412x2 + 1112x3 + 860x4 + 865x5 + 245x6 + 836x7 + 522x8 + 743x9 + 735x10 + 576x11 + 790x12 + 354x13 + 688x14 + 943x15 + 706x16 + 987x17 + 1082x18 + 720x19 + 846x20 + 583x21 + 487x22 + 641x23 + 546x24 + 1134x25 + 727x26 + 491x27 + 642x28 + 548x29 + 635x30 + 996x31 + 620x32 + 842x33 + 722x34 + 693x35 + 872x36 + 678x37 + 1054x38 + 573x39 + 1000x40 + 972x41 + 961x42 + 793x43 + 808x44 + 529x45 + 425x46 + 502x47 + 875x48 + 601x49 + 339x50 + 466x51 + 405x52 + 882x53 + 554x54 + 503x55 + 746x56 + 570x57 + 808x58 + 511x59 + 851x60 + 768x61 + 684x62 + 1029x63 + 866x64 + 697x65 + 794x66 + 502x67 + 882x68 + 159x69 + 769x70 + 440x71 + 608x72 + 1107x73 + 960x74 + 594x75 + 725x76 + 727x77 + 847x78 + 735x79 + 509x80 + 435x81 + 343x82 + 770x83 + 760x84 + 841x85 + 948x86 + 522x87 + 771x88 + 1109x89 + 870x90 + 923x91 + 775x92 + 723x93 + 798x94 + 640x95 + 948x96 + 1055x97 + 810x98 + 716x99 + 858x100  = 0 
f2: -f2 + 425x1 + 972x2 + 1054x3 + 882x4 + 771x5 + 1134x6 + 583x7 + 948x8 + 635x9 + 961x10 + 923x11 + 688x12 + 760x13 + 860x14 + 948x15 + 716x16 + 684x17 + 491x18 + 727x19 + 503x20 + 1055x21 + 522x22 + 808x23 + 502x24 + 798x25 + 509x26 + 641x27 + 159x28 + 594x29 + 996x30 + 768x31 + 769x32 + 502x33 + 546x34 + 511x35 + 706x36 + 727x37 + 858x38 + 1082x39 + 466x40 + 808x41 + 487x42 + 529x43 + 865x44 + 810x45 + 576x46 + 725x47 + 548x48 + 343x49 + 735x50 + 1029x51 + 678x52 + 846x53 + 842x54 + 435x55 + 697x56 + 554x57 + 882x58 + 354x59 + 1000x60 + 775x61 + 875x62 + 770x63 + 836x64 + 245x65 + 608x66 + 640x67 + 693x68 + 1109x69 + 573x70 + 735x71 + 976x72 + 405x73 + 790x74 + 601x75 + 440x76 + 851x77 + 746x78 + 720x79 + 522x80 + 723x81 + 794x82 + 722x83 + 570x84 + 620x85 + 642x86 + 412x87 + 847x88 + 943x89 + 866x90 + 339x91 + 987x92 + 743x93 + 841x94 + 872x95 + 1112x96 + 870x97 + 1107x98 + 960x99 + 793x100  = 0 
constr1: + 1x1 + 463x2 + 604x3 + 695x4 + 16x5 + 578x6 + 221x7 + 467x8 + 885x9 + 250x10 + 164x11 + 892x12 + 592x13 + 300x14 + 280x15 + 402x16 + 321x17 + 216x18 + 94x19 + 381x20 + 823x21 + 102x22 + 618x23 + 442x24 + 379x25 + 15x26 + 548x27 + 886x28 + 11x29 + 148x30 + 794x31 + 180x32 + 831x33 + 359x34 + 466x35 + 854x36 + 172x37 + 260x38 + 637x39 + 853x40 + 769x41 + 142x42 + 635x43 + 170x44 + 13x45 + 265x46 + 872x47 + 41x48 + 245x49 + 467x50 + 34x51 + 920x52 + 815x53 + 554x54 + 113x55 + 732x56 + 321x57 + 653x58 + 779x59 + 78x60 + 752x61 + 378x62 + 597x63 + 688x64 + 960x65 + 603x66 + 882x67 + 307x68 + 878x69 + 680x70 + 449x71 + 468x72 + 511x73 + 83x74 + 857x75 + 594x76 + 350x77 + 894x78 + 532x79 + 753x80 + 409x81 + 133x82 + 293x83 + 28x84 + 905x85 + 196x86 + 441x87 + 717x88 + 772x89 + 151x90 + 175x91 + 164x92 + 580x93 + 804x94 + 240x95 + 930x96 + 212x97 + 722x98 + 661x99 + 755x100 <= 34109 
constr2: + 168x1 + 274x2 + 142x3 + 883x4 + 545x5 + 259x6 + 288x7 + 941x8 + 937x9 + 664x10 + 267x11 + 711x12 + 574x13 + 73x14 + 985x15 + 467x16 + 83x17 + 734x18 + 239x19 + 101x20 + 433x21 + 25x22 + 454x23 + 62x24 + 428x25 + 590x26 + 472x27 + 659x28 + 735x29 + 500x30 + 27x31 + 435x32 + 808x33 + 913x34 + 152x35 + 275x36 + 145x37 + 135x38 + 753x39 + 739x40 + 4x41 + 794x42 + 77x43 + 877x44 + 92x45 + 845x46 + 987x47 + 193x48 + 364x49 + 320x50 + 160x51 + 81x52 + 593x53 + 194x54 + 200x55 + 470x56 + 79x57 + 294x58 + 7x59 + 848x60 + 381x61 + 159x62 + 934x63 + 894x64 + 608x65 + 324x66 + 156x67 + 314x68 + 1000x69 + 83x70 + 787x71 + 330x72 + 157x73 + 117x74 + 606x75 + 95x76 + 440x77 + 613x78 + 643x79 + 727x80 + 826x81 + 913x82 + 485x83 + 945x84 + 341x85 + 253x86 + 7x87 + 419x88 + 589x89 + 819x90 + 233x91 + 78x92 + 277x93 + 787x94 + 35x95 + 37x96 + 713x97 + 282x98 + 842x99 + 568x100 <= 36215 
constr3: + 750x1 + 28x2 + 168x3 + 969x4 + 309x5 + 576x6 + 668x7 + 917x8 + 695x9 + 270x10 + 998x11 + 588x12 + 972x13 + 256x14 + 534x15 + 155x16 + 93x17 + 22x18 + 927x19 + 629x20 + 582x21 + 404x22 + 259x23 + 914x24 + 508x25 + 474x26 + 20x27 + 541x28 + 287x29 + 274x30 + 905x31 + 847x32 + 998x33 + 408x34 + 352x35 + 646x36 + 830x37 + 668x38 + 789x39 + 123x40 + 953x41 + 839x42 + 324x43 + 654x44 + 734x45 + 351x46 + 586x47 + 554x48 + 461x49 + 738x50 + 396x51 + 321x52 + 695x53 + 757x54 + 949x55 + 694x56 + 352x57 + 490x58 + 745x59 + 533x60 + 341x61 + 748x62 + 724x63 + 236x64 + 979x65 + 955x66 + 735x67 + 774x68 + 894x69 + 358x70 + 992x71 + 916x72 + 605x73 + 588x74 + 759x75 + 554x76 + 278x77 + 129x78 + 248x79 + 99x80 + 613x81 + 225x82 + 212x83 + 381x84 + 124x85 + 431x86 + 407x87 + 346x88 + 82x89 + 547x90 + 376x91 + 532x92 + 148x93 + 533x94 + 859x95 + 110x96 + 501x97 + 220x98 + 734x99 + 907x100 <= 34532 
constr4: + 725x1 + 474x2 + 634x3 + 126x4 + 345x5 + 1x6 + 986x7 + 55x8 + 902x9 + 596x10 + 669x11 + 105x12 + 557x13 + 27x14 + 621x15 + 240x16 + 709x17 + 664x18 + 476x19 + 431x20 + 326x21 + 220x22 + 342x23 + 248x24 + 645x25 + 194x26 + 951x27 + 895x28 + 254x29 + 287x30 + 187x31 + 898x32 + 979x33 + 463x34 + 794x35 + 434x36 + 87x37 + 863x38 + 784x39 + 782x40 + 314x41 + 138x42 + 71x43 + 477x44 + 571x45 + 477x46 + 204x47 + 720x48 + 718x49 + 874x50 + 58x51 + 193x52 + 739x53 + 21x54 + 729x55 + 262x56 + 939x57 + 888x58 + 861x59 + 572x60 + 953x61 + 752x62 + 607x63 + 724x64 + 430x65 + 532x66 + 748x67 + 479x68 + 233x69 + 105x70 + 999x71 + 962x72 + 744x73 + 135x74 + 40x75 + 152x76 + 329x77 + 578x78 + 82x79 + 514x80 + 304x81 + 760x82 + 181x83 + 991x84 + 103x85 + 206x86 + 193x87 + 116x88 + 671x89 + 482x90 + 118x91 + 99x92 + 473x93 + 95x94 + 812x95 + 260x96 + 356x97 + 322x98 + 727x99 + 181x100 <= 40184 
constr5: + 279x1 + 315x2 + 916x3 + 916x4 + 256x5 + 228x6 + 488x7 + 573x8 + 175x9 + 188x10 + 77x11 + 443x12 + 560x13 + 221x14 + 302x15 + 862x16 + 57x17 + 311x18 + 530x19 + 757x20 + 829x21 + 373x22 + 599x23 + 445x24 + 849x25 + 527x26 + 265x27 + 508x28 + 321x29 + 138x30 + 754x31 + 236x32 + 240x33 + 434x34 + 943x35 + 14x36 + 610x37 + 43x38 + 255x39 + 324x40 + 385x41 + 83x42 + 714x43 + 5x44 + 323x45 + 281x46 + 395x47 + 711x48 + 287x49 + 106x50 + 327x51 + 191x52 + 242x53 + 223x54 + 865x55 + 713x56 + 996x57 + 825x58 + 203x59 + 118x60 + 921x61 + 64x62 + 101x63 + 424x64 + 962x65 + 654x66 + 747x67 + 935x68 + 368x69 + 48x70 + 993x71 + 778x72 + 188x73 + 182x74 + 159x75 + 437x76 + 232x77 + 543x78 + 507x79 + 742x80 + 779x81 + 519x82 + 225x83 + 333x84 + 992x85 + 83x86 + 499x87 + 23x88 + 980x89 + 115x90 + 104x91 + 330x92 + 489x93 + 621x94 + 687x95 + 470x96 + 526x97 + 153x98 + 625x99 + 352x100 <= 32535 
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