minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36365.884000 
s2: s + 0.001000f1 + 0.501000f2 >= 36365.884000 
f1: -f1 + 694x1 + 668x2 + 755x3 + 826x4 + 568x5 + 989x6 + 530x7 + 604x8 + 946x9 + 904x10 + 456x11 + 899x12 + 847x13 + 636x14 + 593x15 + 791x16 + 824x17 + 676x18 + 602x19 + 1030x20 + 753x21 + 502x22 + 605x23 + 789x24 + 654x25 + 902x26 + 750x27 + 507x28 + 914x29 + 578x30 + 871x31 + 757x32 + 719x33 + 667x34 + 1046x35 + 863x36 + 610x37 + 1023x38 + 600x39 + 367x40 + 885x41 + 680x42 + 911x43 + 791x44 + 1021x45 + 556x46 + 768x47 + 511x48 + 465x49 + 667x50 + 840x51 + 779x52 + 454x53 + 728x54 + 554x55 + 581x56 + 825x57 + 559x58 + 631x59 + 992x60 + 472x61 + 633x62 + 834x63 + 580x64 + 680x65 + 574x66 + 805x67 + 706x68 + 661x69 + 1175x70 + 972x71 + 863x72 + 549x73 + 662x74 + 620x75 + 994x76 + 777x77 + 738x78 + 756x79 + 683x80 + 635x81 + 934x82 + 769x83 + 363x84 + 687x85 + 715x86 + 614x87 + 838x88 + 636x89 + 630x90 + 478x91 + 961x92 + 785x93 + 713x94 + 792x95 + 744x96 + 562x97 + 838x98 + 446x99 + 1055x100  = 0 
f2: -f2 + 838x1 + 1046x2 + 785x3 + 559x4 + 635x5 + 680x6 + 472x7 + 662x8 + 738x9 + 610x10 + 568x11 + 756x12 + 946x13 + 680x14 + 961x15 + 902x16 + 934x17 + 574x18 + 789x19 + 581x20 + 826x21 + 631x22 + 620x23 + 661x24 + 593x25 + 713x26 + 779x27 + 667x28 + 791x29 + 911x30 + 465x31 + 1175x32 + 824x33 + 668x34 + 792x35 + 667x36 + 972x37 + 914x38 + 636x39 + 554x40 + 755x41 + 630x42 + 633x43 + 863x44 + 847x45 + 562x46 + 728x47 + 863x48 + 768x49 + 1030x50 + 1021x51 + 530x52 + 744x53 + 885x54 + 871x55 + 676x56 + 636x57 + 602x58 + 840x59 + 580x60 + 750x61 + 600x62 + 367x63 + 706x64 + 791x65 + 1023x66 + 994x67 + 715x68 + 478x69 + 719x70 + 578x71 + 989x72 + 502x73 + 757x74 + 456x75 + 825x76 + 899x77 + 1055x78 + 683x79 + 992x80 + 769x81 + 446x82 + 805x83 + 507x84 + 604x85 + 605x86 + 549x87 + 904x88 + 454x89 + 511x90 + 687x91 + 363x92 + 614x93 + 834x94 + 556x95 + 777x96 + 654x97 + 753x98 + 838x99 + 694x100  = 0 
constr1: + 300x1 + 372x2 + 986x3 + 897x4 + 232x5 + 788x6 + 585x7 + 293x8 + 235x9 + 277x10 + 727x11 + 701x12 + 231x13 + 807x14 + 313x15 + 807x16 + 142x17 + 446x18 + 290x19 + 810x20 + 10x21 + 335x22 + 367x23 + 931x24 + 709x25 + 117x26 + 419x27 + 365x28 + 640x29 + 488x30 + 243x31 + 354x32 + 327x33 + 731x34 + 72x35 + 957x36 + 537x37 + 4x38 + 682x39 + 699x40 + 298x41 + 294x42 + 97x43 + 371x44 + 827x45 + 208x46 + 115x47 + 731x48 + 510x49 + 429x50 + 596x51 + 181x52 + 253x53 + 155x54 + 639x55 + 963x56 + 498x57 + 366x58 + 600x59 + 425x60 + 846x61 + 533x62 + 308x63 + 322x64 + 188x65 + 458x66 + 277x67 + 815x68 + 597x69 + 565x70 + 113x71 + 589x72 + 36x73 + 775x74 + 993x75 + 262x76 + 826x77 + 913x78 + 116x79 + 5x80 + 929x81 + 316x82 + 524x83 + 692x84 + 386x85 + 353x86 + 358x87 + 472x88 + 785x89 + 608x90 + 492x91 + 346x92 + 502x93 + 675x94 + 292x95 + 158x96 + 604x97 + 915x98 + 433x99 + 213x100 <= 25307 
constr2: + 312x1 + 510x2 + 180x3 + 43x4 + 259x5 + 844x6 + 327x7 + 761x8 + 271x9 + 980x10 + 393x11 + 926x12 + 656x13 + 684x14 + 843x15 + 437x16 + 620x17 + 422x18 + 593x19 + 364x20 + 573x21 + 935x22 + 116x23 + 247x24 + 121x25 + 953x26 + 304x27 + 686x28 + 876x29 + 112x30 + 542x31 + 748x32 + 90x33 + 479x34 + 521x35 + 976x36 + 439x37 + 737x38 + 747x39 + 694x40 + 841x41 + 290x42 + 231x43 + 429x44 + 970x45 + 23x46 + 343x47 + 25x48 + 584x49 + 975x50 + 470x51 + 336x52 + 759x53 + 154x54 + 516x55 + 223x56 + 645x57 + 776x58 + 839x59 + 444x60 + 275x61 + 119x62 + 550x63 + 299x64 + 976x65 + 112x66 + 30x67 + 100x68 + 375x69 + 225x70 + 575x71 + 313x72 + 221x73 + 867x74 + 878x75 + 378x76 + 135x77 + 619x78 + 323x79 + 195x80 + 232x81 + 906x82 + 578x83 + 907x84 + 61x85 + 807x86 + 788x87 + 268x88 + 123x89 + 66x90 + 581x91 + 8x92 + 221x93 + 944x94 + 606x95 + 232x96 + 26x97 + 276x98 + 506x99 + 597x100 <= 25436 
constr3: + 576x1 + 34x2 + 758x3 + 82x4 + 599x5 + 848x6 + 143x7 + 264x8 + 874x9 + 860x10 + 192x11 + 895x12 + 518x13 + 313x14 + 459x15 + 56x16 + 783x17 + 307x18 + 868x19 + 887x20 + 138x21 + 694x22 + 781x23 + 779x24 + 550x25 + 494x26 + 882x27 + 392x28 + 900x29 + 831x30 + 212x31 + 743x32 + 781x33 + 228x34 + 168x35 + 562x36 + 18x37 + 50x38 + 646x39 + 339x40 + 276x41 + 676x42 + 477x43 + 36x44 + 387x45 + 142x46 + 212x47 + 782x48 + 1x49 + 501x50 + 904x51 + 237x52 + 718x53 + 963x54 + 403x55 + 480x56 + 155x57 + 302x58 + 937x59 + 955x60 + 746x61 + 872x62 + 755x63 + 934x64 + 451x65 + 518x66 + 518x67 + 806x68 + 599x69 + 402x70 + 747x71 + 113x72 + 173x73 + 27x74 + 254x75 + 580x76 + 698x77 + 867x78 + 937x79 + 727x80 + 91x81 + 126x82 + 17x83 + 5x84 + 667x85 + 559x86 + 637x87 + 455x88 + 426x89 + 429x90 + 916x91 + 952x92 + 769x93 + 895x94 + 583x95 + 296x96 + 225x97 + 166x98 + 137x99 + 108x100 <= 23390 
constr4: + 457x1 + 871x2 + 448x3 + 199x4 + 297x5 + 846x6 + 846x7 + 401x8 + 617x9 + 146x10 + 689x11 + 584x12 + 52x13 + 226x14 + 275x15 + 903x16 + 807x17 + 846x18 + 493x19 + 132x20 + 178x21 + 49x22 + 680x23 + 121x24 + 285x25 + 581x26 + 78x27 + 638x28 + 87x29 + 437x30 + 103x31 + 324x32 + 766x33 + 250x34 + 383x35 + 954x36 + 788x37 + 257x38 + 453x39 + 361x40 + 15x41 + 257x42 + 52x43 + 577x44 + 182x45 + 16x46 + 251x47 + 260x48 + 520x49 + 637x50 + 327x51 + 176x52 + 575x53 + 772x54 + 997x55 + 440x56 + 631x57 + 271x58 + 267x59 + 801x60 + 274x61 + 962x62 + 79x63 + 999x64 + 229x65 + 645x66 + 732x67 + 16x68 + 498x69 + 916x70 + 970x71 + 310x72 + 398x73 + 968x74 + 276x75 + 111x76 + 810x77 + 453x78 + 73x79 + 461x80 + 564x81 + 627x82 + 294x83 + 624x84 + 725x85 + 559x86 + 385x87 + 858x88 + 91x89 + 778x90 + 686x91 + 937x92 + 678x93 + 519x94 + 12x95 + 734x96 + 101x97 + 791x98 + 70x99 + 18x100 <= 24119 
constr5: + 753x1 + 708x2 + 883x3 + 777x4 + 367x5 + 105x6 + 114x7 + 677x8 + 719x9 + 200x10 + 360x11 + 115x12 + 918x13 + 836x14 + 841x15 + 334x16 + 343x17 + 607x18 + 678x19 + 213x20 + 320x21 + 247x22 + 714x23 + 419x24 + 715x25 + 147x26 + 180x27 + 383x28 + 116x29 + 257x30 + 402x31 + 723x32 + 311x33 + 802x34 + 498x35 + 335x36 + 41x37 + 666x38 + 896x39 + 621x40 + 748x41 + 618x42 + 685x43 + 317x44 + 606x45 + 663x46 + 20x47 + 441x48 + 609x49 + 451x50 + 662x51 + 783x52 + 786x53 + 897x54 + 189x55 + 204x56 + 420x57 + 868x58 + 347x59 + 765x60 + 604x61 + 911x62 + 994x63 + 230x64 + 948x65 + 979x66 + 563x67 + 78x68 + 731x69 + 279x70 + 657x71 + 39x72 + 481x73 + 953x74 + 709x75 + 688x76 + 317x77 + 47x78 + 154x79 + 20x80 + 425x81 + 75x82 + 432x83 + 386x84 + 275x85 + 641x86 + 204x87 + 341x88 + 444x89 + 193x90 + 692x91 + 924x92 + 338x93 + 457x94 + 709x95 + 82x96 + 128x97 + 154x98 + 39x99 + 453x100 <= 23307 
constr6: + 964x1 + 446x2 + 993x3 + 956x4 + 781x5 + 837x6 + 981x7 + 645x8 + 384x9 + 398x10 + 259x11 + 927x12 + 990x13 + 828x14 + 50x15 + 394x16 + 578x17 + 128x18 + 197x19 + 685x20 + 813x21 + 476x22 + 954x23 + 993x24 + 547x25 + 392x26 + 450x27 + 266x28 + 173x29 + 192x30 + 61x31 + 763x32 + 399x33 + 793x34 + 605x35 + 432x36 + 554x37 + 913x38 + 752x39 + 668x40 + 562x41 + 910x42 + 872x43 + 804x44 + 591x45 + 396x46 + 252x47 + 904x48 + 605x49 + 514x50 + 679x51 + 70x52 + 286x53 + 731x54 + 302x55 + 112x56 + 229x57 + 624x58 + 957x59 + 52x60 + 602x61 + 170x62 + 369x63 + 209x64 + 387x65 + 490x66 + 588x67 + 982x68 + 911x69 + 107x70 + 702x71 + 669x72 + 667x73 + 724x74 + 305x75 + 498x76 + 352x77 + 138x78 + 90x79 + 47x80 + 489x81 + 746x82 + 133x83 + 225x84 + 814x85 + 576x86 + 447x87 + 498x88 + 246x89 + 837x90 + 452x91 + 71x92 + 999x93 + 746x94 + 32x95 + 297x96 + 670x97 + 433x98 + 280x99 + 902x100 <= 25248 
constr7: + 561x1 + 821x2 + 19x3 + 539x4 + 406x5 + 960x6 + 776x7 + 911x8 + 201x9 + 604x10 + 55x11 + 191x12 + 299x13 + 104x14 + 749x15 + 711x16 + 768x17 + 770x18 + 566x19 + 243x20 + 810x21 + 784x22 + 345x23 + 216x24 + 838x25 + 343x26 + 287x27 + 769x28 + 540x29 + 6x30 + 89x31 + 242x32 + 233x33 + 177x34 + 746x35 + 341x36 + 198x37 + 336x38 + 183x39 + 674x40 + 840x41 + 256x42 + 788x43 + 944x44 + 904x45 + 112x46 + 936x47 + 375x48 + 139x49 + 435x50 + 630x51 + 873x52 + 89x53 + 338x54 + 676x55 + 322x56 + 407x57 + 272x58 + 453x59 + 102x60 + 7x61 + 62x62 + 345x63 + 577x64 + 630x65 + 7x66 + 10x67 + 262x68 + 267x69 + 348x70 + 782x71 + 891x72 + 932x73 + 623x74 + 362x75 + 777x76 + 802x77 + 105x78 + 252x79 + 838x80 + 418x81 + 894x82 + 254x83 + 229x84 + 244x85 + 534x86 + 415x87 + 563x88 + 374x89 + 381x90 + 475x91 + 266x92 + 896x93 + 257x94 + 241x95 + 303x96 + 175x97 + 936x98 + 842x99 + 574x100 <= 24830 
constr8: + 826x1 + 126x2 + 285x3 + 589x4 + 536x5 + 485x6 + 3x7 + 118x8 + 257x9 + 97x10 + 428x11 + 508x12 + 955x13 + 154x14 + 364x15 + 48x16 + 594x17 + 608x18 + 127x19 + 390x20 + 102x21 + 668x22 + 79x23 + 87x24 + 475x25 + 446x26 + 1x27 + 334x28 + 174x29 + 567x30 + 503x31 + 621x32 + 116x33 + 550x34 + 365x35 + 511x36 + 484x37 + 302x38 + 599x39 + 870x40 + 610x41 + 68x42 + 54x43 + 988x44 + 669x45 + 363x46 + 992x47 + 548x48 + 903x49 + 410x50 + 871x51 + 320x52 + 594x53 + 731x54 + 424x55 + 778x56 + 855x57 + 3x58 + 716x59 + 766x60 + 415x61 + 926x62 + 336x63 + 452x64 + 756x65 + 579x66 + 494x67 + 577x68 + 167x69 + 2x70 + 860x71 + 445x72 + 921x73 + 227x74 + 554x75 + 284x76 + 212x77 + 432x78 + 406x79 + 207x80 + 370x81 + 384x82 + 58x83 + 986x84 + 67x85 + 797x86 + 418x87 + 517x88 + 185x89 + 884x90 + 881x91 + 406x92 + 453x93 + 833x94 + 123x95 + 771x96 + 498x97 + 787x98 + 594x99 + 107x100 <= 23108 
constr9: + 136x1 + 646x2 + 213x3 + 243x4 + 317x5 + 36x6 + 306x7 + 318x8 + 201x9 + 301x10 + 243x11 + 117x12 + 752x13 + 908x14 + 392x15 + 17x16 + 1x17 + 745x18 + 496x19 + 878x20 + 601x21 + 550x22 + 669x23 + 76x24 + 750x25 + 690x26 + 932x27 + 578x28 + 182x29 + 239x30 + 112x31 + 935x32 + 967x33 + 958x34 + 790x35 + 402x36 + 615x37 + 552x38 + 240x39 + 113x40 + 844x41 + 389x42 + 653x43 + 99x44 + 26x45 + 799x46 + 253x47 + 649x48 + 74x49 + 205x50 + 960x51 + 359x52 + 151x53 + 394x54 + 542x55 + 5x56 + 138x57 + 222x58 + 766x59 + 474x60 + 845x61 + 762x62 + 217x63 + 438x64 + 362x65 + 750x66 + 789x67 + 21x68 + 843x69 + 541x70 + 85x71 + 897x72 + 361x73 + 429x74 + 246x75 + 222x76 + 39x77 + 417x78 + 90x79 + 6x80 + 710x81 + 505x82 + 519x83 + 157x84 + 89x85 + 103x86 + 606x87 + 891x88 + 312x89 + 130x90 + 598x91 + 127x92 + 79x93 + 701x94 + 185x95 + 393x96 + 839x97 + 799x98 + 379x99 + 333x100 <= 22625 
constr10: + 369x1 + 838x2 + 738x3 + 140x4 + 729x5 + 881x6 + 996x7 + 979x8 + 115x9 + 686x10 + 859x11 + 891x12 + 307x13 + 412x14 + 562x15 + 285x16 + 885x17 + 186x18 + 914x19 + 611x20 + 975x21 + 33x22 + 616x23 + 22x24 + 996x25 + 574x26 + 949x27 + 784x28 + 593x29 + 467x30 + 131x31 + 905x32 + 193x33 + 212x34 + 356x35 + 124x36 + 746x37 + 173x38 + 493x39 + 880x40 + 784x41 + 649x42 + 549x43 + 418x44 + 39x45 + 706x46 + 328x47 + 488x48 + 83x49 + 829x50 + 632x51 + 726x52 + 146x53 + 629x54 + 257x55 + 538x56 + 238x57 + 462x58 + 770x59 + 754x60 + 102x61 + 177x62 + 713x63 + 779x64 + 748x65 + 693x66 + 862x67 + 57x68 + 751x69 + 938x70 + 397x71 + 804x72 + 752x73 + 237x74 + 206x75 + 879x76 + 639x77 + 673x78 + 398x79 + 185x80 + 549x81 + 899x82 + 182x83 + 118x84 + 464x85 + 843x86 + 649x87 + 381x88 + 421x89 + 247x90 + 304x91 + 705x92 + 904x93 + 426x94 + 279x95 + 403x96 + 548x97 + 287x98 + 511x99 + 500x100 <= 23398 
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