minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 38131.920000 s2: s + 0.001000f1 + 0.501000f2 >= 38131.920000 f1: -f1 + 576x1 + 585x2 + 831x3 + 320x4 + 872x5 + 948x6 + 695x7 + 836x8 + 746x9 + 609x10 + 1001x11 + 835x12 + 927x13 + 560x14 + 1101x15 + 879x16 + 477x17 + 697x18 + 858x19 + 702x20 + 447x21 + 503x22 + 1071x23 + 609x24 + 963x25 + 618x26 + 737x27 + 809x28 + 522x29 + 556x30 + 900x31 + 751x32 + 825x33 + 746x34 + 919x35 + 633x36 + 878x37 + 670x38 + 771x39 + 525x40 + 861x41 + 431x42 + 608x43 + 946x44 + 1187x45 + 631x46 + 435x47 + 1217x48 + 749x49 + 484x50 + 596x51 + 788x52 + 1052x53 + 618x54 + 664x55 + 875x56 + 827x57 + 331x58 + 467x59 + 759x60 + 499x61 + 590x62 + 732x63 + 819x64 + 724x65 + 880x66 + 938x67 + 444x68 + 717x69 + 798x70 + 577x71 + 656x72 + 1000x73 + 615x74 + 751x75 + 897x76 + 629x77 + 1016x78 + 1097x79 + 534x80 + 757x81 + 507x82 + 966x83 + 881x84 + 1026x85 + 877x86 + 956x87 + 735x88 + 836x89 + 674x90 + 1059x91 + 742x92 + 813x93 + 755x94 + 1064x95 + 495x96 + 1075x97 + 1177x98 + 938x99 + 680x100 = 0 f2: -f2 + 1000x1 + 724x2 + 732x3 + 1071x4 + 858x5 + 963x6 + 560x7 + 877x8 + 825x9 + 534x10 + 879x11 + 1097x12 + 503x13 + 836x14 + 919x15 + 596x16 + 618x17 + 590x18 + 1064x19 + 881x20 + 956x21 + 946x22 + 938x23 + 900x24 + 938x25 + 737x26 + 435x27 + 320x28 + 702x29 + 927x30 + 872x31 + 755x32 + 1075x33 + 585x34 + 757x35 + 878x36 + 680x37 + 577x38 + 819x39 + 444x40 + 897x41 + 633x42 + 1001x43 + 495x44 + 751x45 + 629x46 + 670x47 + 522x48 + 609x49 + 664x50 + 813x51 + 576x52 + 499x53 + 749x54 + 759x55 + 447x56 + 615x57 + 556x58 + 697x59 + 609x60 + 746x61 + 695x62 + 1026x63 + 948x64 + 1177x65 + 788x66 + 618x67 + 431x68 + 831x69 + 1217x70 + 717x71 + 1059x72 + 1016x73 + 1101x74 + 331x75 + 742x76 + 827x77 + 674x78 + 525x79 + 1187x80 + 631x81 + 809x82 + 735x83 + 507x84 + 861x85 + 798x86 + 746x87 + 875x88 + 751x89 + 608x90 + 467x91 + 484x92 + 836x93 + 771x94 + 477x95 + 966x96 + 835x97 + 656x98 + 1052x99 + 880x100 = 0 constr1: + 181x1 + 517x2 + 77x3 + 156x4 + 4x5 + 9x6 + 761x7 + 600x8 + 450x9 + 72x10 + 752x11 + 746x12 + 253x13 + 513x14 + 532x15 + 605x16 + 917x17 + 444x18 + 967x19 + 775x20 + 465x21 + 91x22 + 918x23 + 756x24 + 177x25 + 697x26 + 70x27 + 5x28 + 259x29 + 768x30 + 465x31 + 290x32 + 933x33 + 309x34 + 487x35 + 861x36 + 173x37 + 874x38 + 230x39 + 178x40 + 754x41 + 807x42 + 840x43 + 745x44 + 89x45 + 304x46 + 543x47 + 570x48 + 151x49 + 862x50 + 186x51 + 171x52 + 242x53 + 45x54 + 205x55 + 460x56 + 302x57 + 729x58 + 874x59 + 653x60 + 521x61 + 776x62 + 594x63 + 28x64 + 238x65 + 294x66 + 594x67 + 417x68 + 450x69 + 436x70 + 598x71 + 422x72 + 145x73 + 949x74 + 343x75 + 632x76 + 63x77 + 702x78 + 604x79 + 743x80 + 590x81 + 748x82 + 978x83 + 934x84 + 994x85 + 996x86 + 699x87 + 257x88 + 630x89 + 628x90 + 833x91 + 850x92 + 397x93 + 370x94 + 472x95 + 498x96 + 385x97 + 992x98 + 701x99 + 48x100 <= 13114 constr2: + 180x1 + 819x2 + 342x3 + 313x4 + 267x5 + 12x6 + 58x7 + 281x8 + 675x9 + 265x10 + 839x11 + 863x12 + 987x13 + 605x14 + 36x15 + 685x16 + 209x17 + 571x18 + 317x19 + 702x20 + 182x21 + 593x22 + 439x23 + 115x24 + 889x25 + 975x26 + 890x27 + 168x28 + 101x29 + 21x30 + 161x31 + 556x32 + 467x33 + 288x34 + 51x35 + 170x36 + 61x37 + 980x38 + 104x39 + 827x40 + 560x41 + 927x42 + 643x43 + 8x44 + 199x45 + 370x46 + 283x47 + 433x48 + 96x49 + 182x50 + 432x51 + 623x52 + 368x53 + 112x54 + 549x55 + 530x56 + 502x57 + 453x58 + 650x59 + 371x60 + 928x61 + 188x62 + 47x63 + 815x64 + 256x65 + 704x66 + 225x67 + 777x68 + 61x69 + 120x70 + 509x71 + 837x72 + 425x73 + 732x74 + 213x75 + 883x76 + 991x77 + 353x78 + 678x79 + 994x80 + 489x81 + 367x82 + 750x83 + 49x84 + 876x85 + 544x86 + 558x87 + 285x88 + 218x89 + 615x90 + 220x91 + 333x92 + 443x93 + 754x94 + 341x95 + 181x96 + 235x97 + 968x98 + 14x99 + 244x100 <= 12340 constr3: + 339x1 + 181x2 + 398x3 + 920x4 + 728x5 + 173x6 + 697x7 + 162x8 + 282x9 + 585x10 + 832x11 + 463x12 + 204x13 + 174x14 + 775x15 + 766x16 + 330x17 + 899x18 + 621x19 + 764x20 + 469x21 + 49x22 + 903x23 + 624x24 + 717x25 + 213x26 + 370x27 + 417x28 + 61x29 + 528x30 + 539x31 + 257x32 + 937x33 + 89x34 + 847x35 + 870x36 + 990x37 + 535x38 + 650x39 + 597x40 + 486x41 + 577x42 + 808x43 + 614x44 + 513x45 + 970x46 + 798x47 + 550x48 + 602x49 + 839x50 + 798x51 + 272x52 + 743x53 + 855x54 + 277x55 + 929x56 + 814x57 + 44x58 + 13x59 + 830x60 + 929x61 + 918x62 + 922x63 + 590x64 + 721x65 + 730x66 + 678x67 + 535x68 + 554x69 + 862x70 + 908x71 + 18x72 + 418x73 + 277x74 + 788x75 + 166x76 + 737x77 + 984x78 + 131x79 + 662x80 + 320x81 + 139x82 + 921x83 + 202x84 + 986x85 + 252x86 + 200x87 + 559x88 + 860x89 + 834x90 + 929x91 + 46x92 + 940x93 + 729x94 + 708x95 + 158x96 + 187x97 + 976x98 + 715x99 + 625x100 <= 12947 constr4: + 135x1 + 976x2 + 233x3 + 486x4 + 661x5 + 652x6 + 651x7 + 734x8 + 948x9 + 838x10 + 877x11 + 590x12 + 716x13 + 863x14 + 737x15 + 959x16 + 313x17 + 776x18 + 661x19 + 775x20 + 336x21 + 74x22 + 884x23 + 146x24 + 356x25 + 286x26 + 941x27 + 387x28 + 815x29 + 292x30 + 990x31 + 376x32 + 680x33 + 251x34 + 135x35 + 263x36 + 903x37 + 339x38 + 631x39 + 258x40 + 513x41 + 539x42 + 103x43 + 444x44 + 21x45 + 708x46 + 521x47 + 137x48 + 995x49 + 51x50 + 143x51 + 328x52 + 768x53 + 487x54 + 715x55 + 817x56 + 810x57 + 888x58 + 803x59 + 188x60 + 244x61 + 482x62 + 345x63 + 711x64 + 138x65 + 60x66 + 828x67 + 902x68 + 745x69 + 715x70 + 552x71 + 848x72 + 398x73 + 846x74 + 14x75 + 510x76 + 212x77 + 593x78 + 717x79 + 523x80 + 11x81 + 73x82 + 660x83 + 291x84 + 340x85 + 818x86 + 517x87 + 716x88 + 484x89 + 906x90 + 530x91 + 53x92 + 836x93 + 220x94 + 572x95 + 482x96 + 213x97 + 852x98 + 344x99 + 627x100 <= 13149 constr5: + 913x1 + 488x2 + 893x3 + 583x4 + 447x5 + 323x6 + 702x7 + 208x8 + 884x9 + 536x10 + 90x11 + 525x12 + 653x13 + 672x14 + 104x15 + 725x16 + 533x17 + 228x18 + 259x19 + 458x20 + 937x21 + 690x22 + 164x23 + 752x24 + 381x25 + 828x26 + 9x27 + 393x28 + 859x29 + 24x30 + 778x31 + 694x32 + 720x33 + 427x34 + 518x35 + 989x36 + 957x37 + 683x38 + 647x39 + 862x40 + 846x41 + 390x42 + 859x43 + 884x44 + 765x45 + 694x46 + 334x47 + 348x48 + 644x49 + 778x50 + 945x51 + 552x52 + 518x53 + 604x54 + 219x55 + 97x56 + 931x57 + 741x58 + 434x59 + 70x60 + 206x61 + 545x62 + 760x63 + 47x64 + 6x65 + 138x66 + 854x67 + 393x68 + 695x69 + 469x70 + 403x71 + 16x72 + 342x73 + 511x74 + 481x75 + 462x76 + 911x77 + 566x78 + 876x79 + 718x80 + 248x81 + 120x82 + 730x83 + 375x84 + 914x85 + 373x86 + 537x87 + 850x88 + 827x89 + 116x90 + 220x91 + 219x92 + 653x93 + 86x94 + 388x95 + 296x96 + 917x97 + 613x98 + 902x99 + 275x100 <= 12994 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