minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 38574.684000 s2: s + 0.001000f1 + 0.501000f2 >= 38574.684000 f1: -f1 + 504x1 + 803x2 + 667x3 + 1103x4 + 834x5 + 585x6 + 811x7 + 856x8 + 690x9 + 832x10 + 846x11 + 813x12 + 868x13 + 793x14 + 825x15 + 1002x16 + 860x17 + 615x18 + 540x19 + 797x20 + 616x21 + 660x22 + 707x23 + 866x24 + 647x25 + 746x26 + 1006x27 + 608x28 + 877x29 + 900x30 + 573x31 + 788x32 + 484x33 + 853x34 + 942x35 + 630x36 + 591x37 + 630x38 + 640x39 + 1169x40 + 932x41 + 1034x42 + 957x43 + 798x44 + 669x45 + 625x46 + 467x47 + 1051x48 + 552x49 + 717x50 + 654x51 + 388x52 + 559x53 + 555x54 + 1104x55 + 783x56 + 959x57 + 668x58 + 507x59 + 855x60 + 986x61 + 831x62 + 821x63 + 825x64 + 868x65 + 852x66 + 832x67 + 828x68 + 799x69 + 686x70 + 510x71 + 671x72 + 575x73 + 740x74 + 510x75 + 675x76 + 996x77 + 636x78 + 826x79 + 1022x80 + 1140x81 + 654x82 + 909x83 + 799x84 + 1162x85 + 653x86 + 814x87 + 625x88 + 599x89 + 476x90 + 767x91 + 954x92 + 906x93 + 904x94 + 649x95 + 873x96 + 565x97 + 853x98 + 1008x99 + 632x100 = 0 f2: -f2 + 868x1 + 510x2 + 832x3 + 388x4 + 1140x5 + 591x6 + 625x7 + 585x8 + 640x9 + 996x10 + 630x11 + 616x12 + 552x13 + 649x14 + 831x15 + 746x16 + 798x17 + 868x18 + 476x19 + 671x20 + 686x21 + 834x22 + 1103x23 + 555x24 + 573x25 + 707x26 + 821x27 + 615x28 + 660x29 + 630x30 + 1006x31 + 559x32 + 717x33 + 860x34 + 467x35 + 654x36 + 636x37 + 826x38 + 954x39 + 797x40 + 608x41 + 853x42 + 855x43 + 1022x44 + 668x45 + 814x46 + 653x47 + 906x48 + 799x49 + 813x50 + 507x51 + 853x52 + 565x53 + 783x54 + 510x55 + 832x56 + 877x57 + 986x58 + 811x59 + 852x60 + 632x61 + 1034x62 + 767x63 + 957x64 + 599x65 + 675x66 + 846x67 + 740x68 + 856x69 + 873x70 + 825x71 + 904x72 + 828x73 + 1051x74 + 484x75 + 866x76 + 1169x77 + 900x78 + 959x79 + 575x80 + 1008x81 + 825x82 + 540x83 + 504x84 + 667x85 + 932x86 + 1162x87 + 909x88 + 942x89 + 793x90 + 669x91 + 803x92 + 625x93 + 690x94 + 1002x95 + 788x96 + 799x97 + 647x98 + 1104x99 + 654x100 = 0 constr1: + 42x1 + 551x2 + 367x3 + 553x4 + 260x5 + 282x6 + 218x7 + 117x8 + 902x9 + 781x10 + 680x11 + 354x12 + 849x13 + 884x14 + 797x15 + 545x16 + 987x17 + 91x18 + 983x19 + 282x20 + 509x21 + 639x22 + 681x23 + 253x24 + 660x25 + 593x26 + 779x27 + 289x28 + 656x29 + 741x30 + 354x31 + 857x32 + 799x33 + 788x34 + 252x35 + 314x36 + 512x37 + 670x38 + 960x39 + 477x40 + 806x41 + 669x42 + 319x43 + 749x44 + 819x45 + 442x46 + 445x47 + 744x48 + 57x49 + 113x50 + 174x51 + 422x52 + 791x53 + 148x54 + 73x55 + 67x56 + 624x57 + 97x58 + 142x59 + 173x60 + 404x61 + 307x62 + 448x63 + 980x64 + 700x65 + 129x66 + 657x67 + 645x68 + 919x69 + 449x70 + 368x71 + 614x72 + 821x73 + 275x74 + 68x75 + 672x76 + 983x77 + 206x78 + 822x79 + 990x80 + 475x81 + 700x82 + 657x83 + 335x84 + 265x85 + 845x86 + 649x87 + 926x88 + 904x89 + 660x90 + 716x91 + 933x92 + 758x93 + 91x94 + 483x95 + 980x96 + 602x97 + 160x98 + 375x99 + 915x100 <= 11927 constr2: + 41x1 + 69x2 + 478x3 + 298x4 + 224x5 + 402x6 + 61x7 + 276x8 + 465x9 + 86x10 + 101x11 + 597x12 + 136x13 + 71x14 + 945x15 + 882x16 + 183x17 + 109x18 + 808x19 + 995x20 + 883x21 + 114x22 + 948x23 + 573x24 + 951x25 + 658x26 + 289x27 + 159x28 + 833x29 + 297x30 + 614x31 + 158x32 + 758x33 + 583x34 + 709x35 + 287x36 + 239x37 + 269x38 + 651x39 + 552x40 + 361x41 + 957x42 + 751x43 + 229x44 + 77x45 + 867x46 + 58x47 + 844x48 + 877x49 + 486x50 + 260x51 + 280x52 + 322x53 + 948x54 + 297x55 + 582x56 + 518x57 + 905x58 + 110x59 + 106x60 + 197x61 + 39x62 + 599x63 + 807x64 + 210x65 + 203x66 + 804x67 + 113x68 + 115x69 + 740x70 + 335x71 + 987x72 + 525x73 + 659x74 + 982x75 + 649x76 + 886x77 + 417x78 + 977x79 + 323x80 + 36x81 + 803x82 + 387x83 + 942x84 + 922x85 + 487x86 + 738x87 + 795x88 + 740x89 + 500x90 + 557x91 + 420x92 + 647x93 + 75x94 + 336x95 + 202x96 + 76x97 + 785x98 + 362x99 + 457x100 <= 13727 constr3: + 523x1 + 193x2 + 162x3 + 577x4 + 852x5 + 604x6 + 273x7 + 877x8 + 320x9 + 622x10 + 665x11 + 79x12 + 112x13 + 449x14 + 746x15 + 72x16 + 731x17 + 567x18 + 766x19 + 946x20 + 229x21 + 727x22 + 687x23 + 40x24 + 739x25 + 816x26 + 430x27 + 260x28 + 892x29 + 967x30 + 836x31 + 869x32 + 431x33 + 641x34 + 129x35 + 854x36 + 719x37 + 832x38 + 398x39 + 805x40 + 199x41 + 358x42 + 275x43 + 265x44 + 190x45 + 283x46 + 440x47 + 969x48 + 482x49 + 710x50 + 877x51 + 684x52 + 404x53 + 414x54 + 97x55 + 973x56 + 847x57 + 398x58 + 11x59 + 331x60 + 817x61 + 659x62 + 931x63 + 378x64 + 542x65 + 110x66 + 662x67 + 436x68 + 967x69 + 592x70 + 179x71 + 350x72 + 774x73 + 392x74 + 697x75 + 731x76 + 95x77 + 14x78 + 302x79 + 993x80 + 287x81 + 654x82 + 518x83 + 701x84 + 908x85 + 100x86 + 424x87 + 47x88 + 768x89 + 915x90 + 72x91 + 582x92 + 237x93 + 756x94 + 765x95 + 35x96 + 767x97 + 311x98 + 617x99 + 261x100 <= 11551 constr4: + 215x1 + 582x2 + 898x3 + 493x4 + 394x5 + 164x6 + 772x7 + 415x8 + 870x9 + 665x10 + 227x11 + 162x12 + 751x13 + 266x14 + 46x15 + 383x16 + 301x17 + 708x18 + 615x19 + 651x20 + 569x21 + 491x22 + 941x23 + 124x24 + 329x25 + 638x26 + 851x27 + 930x28 + 60x29 + 86x30 + 290x31 + 206x32 + 580x33 + 32x34 + 368x35 + 460x36 + 751x37 + 137x38 + 893x39 + 881x40 + 781x41 + 259x42 + 177x43 + 282x44 + 551x45 + 137x46 + 192x47 + 50x48 + 732x49 + 439x50 + 474x51 + 330x52 + 403x53 + 894x54 + 651x55 + 143x56 + 113x57 + 859x58 + 213x59 + 254x60 + 1000x61 + 46x62 + 776x63 + 278x64 + 636x65 + 817x66 + 989x67 + 610x68 + 13x69 + 327x70 + 909x71 + 179x72 + 283x73 + 73x74 + 421x75 + 191x76 + 846x77 + 735x78 + 687x79 + 525x80 + 577x81 + 196x82 + 143x83 + 332x84 + 139x85 + 447x86 + 475x87 + 136x88 + 460x89 + 897x90 + 696x91 + 810x92 + 631x93 + 409x94 + 637x95 + 594x96 + 693x97 + 417x98 + 553x99 + 350x100 <= 13056 constr5: + 819x1 + 375x2 + 550x3 + 183x4 + 958x5 + 308x6 + 191x7 + 873x8 + 244x9 + 155x10 + 597x11 + 998x12 + 735x13 + 420x14 + 44x15 + 714x16 + 718x17 + 507x18 + 554x19 + 298x20 + 706x21 + 481x22 + 350x23 + 384x24 + 146x25 + 717x26 + 937x27 + 248x28 + 278x29 + 249x30 + 893x31 + 504x32 + 780x33 + 653x34 + 440x35 + 594x36 + 708x37 + 356x38 + 407x39 + 850x40 + 596x41 + 888x42 + 883x43 + 694x44 + 140x45 + 359x46 + 485x47 + 833x48 + 968x49 + 747x50 + 841x51 + 910x52 + 519x53 + 147x54 + 380x55 + 732x56 + 382x57 + 4x58 + 398x59 + 447x60 + 44x61 + 334x62 + 263x63 + 841x64 + 388x65 + 502x66 + 585x67 + 948x68 + 445x69 + 167x70 + 825x71 + 415x72 + 427x73 + 896x74 + 246x75 + 514x76 + 689x77 + 267x78 + 118x79 + 322x80 + 45x81 + 844x82 + 515x83 + 803x84 + 995x85 + 653x86 + 425x87 + 801x88 + 76x89 + 25x90 + 653x91 + 861x92 + 271x93 + 440x94 + 981x95 + 689x96 + 893x97 + 748x98 + 474x99 + 635x100 <= 13460 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