minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 38362.840000 
s2: s + 0.001000f1 + 0.501000f2 >= 38362.840000 
f1: -f1 + 539x1 + 564x2 + 604x3 + 864x4 + 1149x5 + 727x6 + 481x7 + 772x8 + 901x9 + 706x10 + 780x11 + 806x12 + 810x13 + 746x14 + 870x15 + 1167x16 + 995x17 + 1075x18 + 576x19 + 661x20 + 518x21 + 742x22 + 1162x23 + 814x24 + 603x25 + 439x26 + 1026x27 + 641x28 + 737x29 + 1003x30 + 612x31 + 992x32 + 576x33 + 778x34 + 715x35 + 493x36 + 533x37 + 857x38 + 875x39 + 643x40 + 667x41 + 705x42 + 667x43 + 663x44 + 700x45 + 1055x46 + 938x47 + 561x48 + 633x49 + 608x50 + 731x51 + 723x52 + 933x53 + 1152x54 + 801x55 + 676x56 + 667x57 + 789x58 + 995x59 + 1008x60 + 811x61 + 723x62 + 773x63 + 821x64 + 836x65 + 654x66 + 856x67 + 912x68 + 678x69 + 1132x70 + 540x71 + 431x72 + 442x73 + 513x74 + 763x75 + 804x76 + 848x77 + 586x78 + 636x79 + 466x80 + 854x81 + 818x82 + 1226x83 + 1064x84 + 732x85 + 645x86 + 1075x87 + 1050x88 + 726x89 + 974x90 + 659x91 + 677x92 + 769x93 + 559x94 + 856x95 + 626x96 + 951x97 + 294x98 + 738x99 + 678x100  = 0 
f2: -f2 + 938x1 + 818x2 + 856x3 + 603x4 + 1075x5 + 810x6 + 636x7 + 612x8 + 726x9 + 667x10 + 1152x11 + 995x12 + 772x13 + 723x14 + 836x15 + 1162x16 + 848x17 + 576x18 + 559x19 + 804x20 + 661x21 + 715x22 + 466x23 + 901x24 + 678x25 + 1149x26 + 1055x27 + 732x28 + 442x29 + 513x30 + 1003x31 + 738x32 + 641x33 + 951x34 + 493x35 + 974x36 + 727x37 + 294x38 + 663x39 + 854x40 + 992x41 + 731x42 + 875x43 + 746x44 + 564x45 + 659x46 + 811x47 + 1008x48 + 1132x49 + 912x50 + 667x51 + 705x52 + 431x53 + 856x54 + 769x55 + 518x56 + 645x57 + 801x58 + 667x59 + 1050x60 + 780x61 + 1064x62 + 706x63 + 676x64 + 763x65 + 576x66 + 700x67 + 643x68 + 789x69 + 806x70 + 857x71 + 1167x72 + 737x73 + 723x74 + 439x75 + 539x76 + 814x77 + 870x78 + 608x79 + 633x80 + 604x81 + 1026x82 + 821x83 + 677x84 + 561x85 + 540x86 + 626x87 + 773x88 + 533x89 + 654x90 + 995x91 + 1226x92 + 1075x93 + 742x94 + 678x95 + 864x96 + 481x97 + 778x98 + 933x99 + 586x100  = 0 
constr1: + 836x1 + 351x2 + 527x3 + 906x4 + 128x5 + 115x6 + 706x7 + 737x8 + 578x9 + 508x10 + 50x11 + 905x12 + 659x13 + 574x14 + 99x15 + 339x16 + 812x17 + 673x18 + 592x19 + 850x20 + 268x21 + 89x22 + 22x23 + 662x24 + 788x25 + 615x26 + 693x27 + 69x28 + 203x29 + 954x30 + 311x31 + 182x32 + 785x33 + 820x34 + 604x35 + 366x36 + 652x37 + 413x38 + 571x39 + 630x40 + 220x41 + 249x42 + 810x43 + 67x44 + 207x45 + 624x46 + 448x47 + 253x48 + 685x49 + 457x50 + 712x51 + 43x52 + 753x53 + 95x54 + 5x55 + 667x56 + 325x57 + 543x58 + 819x59 + 395x60 + 435x61 + 991x62 + 491x63 + 774x64 + 827x65 + 391x66 + 221x67 + 216x68 + 120x69 + 916x70 + 236x71 + 585x72 + 465x73 + 497x74 + 444x75 + 394x76 + 17x77 + 957x78 + 291x79 + 402x80 + 502x81 + 867x82 + 728x83 + 941x84 + 266x85 + 109x86 + 358x87 + 825x88 + 508x89 + 806x90 + 535x91 + 1x92 + 277x93 + 58x94 + 786x95 + 982x96 + 33x97 + 390x98 + 331x99 + 129x100 <= 36769 
constr2: + 84x1 + 749x2 + 799x3 + 509x4 + 253x5 + 591x6 + 522x7 + 432x8 + 449x9 + 459x10 + 281x11 + 933x12 + 269x13 + 76x14 + 872x15 + 607x16 + 122x17 + 320x18 + 119x19 + 163x20 + 367x21 + 12x22 + 617x23 + 170x24 + 649x25 + 538x26 + 794x27 + 257x28 + 527x29 + 651x30 + 260x31 + 456x32 + 806x33 + 261x34 + 808x35 + 772x36 + 479x37 + 916x38 + 429x39 + 430x40 + 26x41 + 48x42 + 771x43 + 545x44 + 889x45 + 587x46 + 644x47 + 29x48 + 182x49 + 551x50 + 544x51 + 972x52 + 211x53 + 937x54 + 229x55 + 248x56 + 427x57 + 25x58 + 369x59 + 905x60 + 132x61 + 662x62 + 729x63 + 832x64 + 409x65 + 122x66 + 517x67 + 829x68 + 314x69 + 385x70 + 858x71 + 401x72 + 763x73 + 904x74 + 61x75 + 636x76 + 877x77 + 631x78 + 656x79 + 180x80 + 128x81 + 448x82 + 32x83 + 450x84 + 875x85 + 916x86 + 857x87 + 237x88 + 913x89 + 736x90 + 766x91 + 372x92 + 733x93 + 515x94 + 74x95 + 253x96 + 663x97 + 996x98 + 942x99 + 647x100 <= 41585 
constr3: + 299x1 + 596x2 + 513x3 + 920x4 + 828x5 + 206x6 + 63x7 + 669x8 + 43x9 + 900x10 + 246x11 + 940x12 + 100x13 + 699x14 + 7x15 + 383x16 + 980x17 + 508x18 + 967x19 + 370x20 + 597x21 + 512x22 + 398x23 + 711x24 + 895x25 + 384x26 + 297x27 + 916x28 + 719x29 + 55x30 + 407x31 + 767x32 + 346x33 + 966x34 + 4x35 + 195x36 + 326x37 + 726x38 + 720x39 + 306x40 + 365x41 + 459x42 + 21x43 + 721x44 + 946x45 + 38x46 + 963x47 + 322x48 + 391x49 + 800x50 + 740x51 + 44x52 + 797x53 + 574x54 + 494x55 + 172x56 + 473x57 + 751x58 + 765x59 + 249x60 + 950x61 + 614x62 + 565x63 + 600x64 + 775x65 + 56x66 + 249x67 + 964x68 + 714x69 + 278x70 + 685x71 + 980x72 + 668x73 + 969x74 + 60x75 + 674x76 + 975x77 + 351x78 + 129x79 + 216x80 + 37x81 + 512x82 + 319x83 + 538x84 + 394x85 + 999x86 + 576x87 + 721x88 + 35x89 + 353x90 + 677x91 + 197x92 + 552x93 + 15x94 + 651x95 + 128x96 + 883x97 + 804x98 + 200x99 + 19x100 <= 36121 
constr4: + 121x1 + 855x2 + 619x3 + 573x4 + 654x5 + 931x6 + 676x7 + 161x8 + 189x9 + 641x10 + 691x11 + 362x12 + 27x13 + 633x14 + 253x15 + 962x16 + 625x17 + 846x18 + 839x19 + 49x20 + 833x21 + 729x22 + 719x23 + 234x24 + 705x25 + 557x26 + 540x27 + 697x28 + 890x29 + 200x30 + 917x31 + 582x32 + 792x33 + 750x34 + 594x35 + 64x36 + 639x37 + 590x38 + 414x39 + 675x40 + 283x41 + 465x42 + 632x43 + 897x44 + 236x45 + 831x46 + 13x47 + 792x48 + 316x49 + 120x50 + 829x51 + 879x52 + 865x53 + 44x54 + 448x55 + 656x56 + 297x57 + 186x58 + 454x59 + 508x60 + 178x61 + 473x62 + 546x63 + 26x64 + 109x65 + 385x66 + 469x67 + 319x68 + 877x69 + 255x70 + 890x71 + 643x72 + 212x73 + 170x74 + 270x75 + 559x76 + 968x77 + 465x78 + 396x79 + 857x80 + 969x81 + 201x82 + 634x83 + 995x84 + 987x85 + 465x86 + 406x87 + 383x88 + 713x89 + 861x90 + 878x91 + 468x92 + 680x93 + 754x94 + 450x95 + 814x96 + 951x97 + 374x98 + 467x99 + 128x100 <= 38570 
constr5: + 335x1 + 981x2 + 801x3 + 735x4 + 112x5 + 153x6 + 799x7 + 28x8 + 492x9 + 58x10 + 537x11 + 553x12 + 588x13 + 856x14 + 276x15 + 121x16 + 161x17 + 521x18 + 206x19 + 214x20 + 995x21 + 558x22 + 961x23 + 664x24 + 614x25 + 919x26 + 733x27 + 45x28 + 326x29 + 735x30 + 712x31 + 475x32 + 919x33 + 655x34 + 717x35 + 310x36 + 742x37 + 805x38 + 470x39 + 827x40 + 509x41 + 306x42 + 497x43 + 817x44 + 481x45 + 740x46 + 204x47 + 739x48 + 276x49 + 688x50 + 121x51 + 583x52 + 826x53 + 830x54 + 368x55 + 476x56 + 948x57 + 850x58 + 144x59 + 406x60 + 743x61 + 566x62 + 420x63 + 185x64 + 602x65 + 482x66 + 333x67 + 23x68 + 266x69 + 679x70 + 939x71 + 898x72 + 703x73 + 551x74 + 419x75 + 881x76 + 107x77 + 133x78 + 873x79 + 516x80 + 798x81 + 220x82 + 539x83 + 334x84 + 915x85 + 273x86 + 154x87 + 381x88 + 296x89 + 288x90 + 792x91 + 59x92 + 928x93 + 791x94 + 215x95 + 538x96 + 274x97 + 453x98 + 560x99 + 762x100 <= 38807 
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