minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 37593.776000 s2: s + 0.001000f1 + 0.501000f2 >= 37593.776000 f1: -f1 + 855x1 + 1005x2 + 509x3 + 1046x4 + 983x5 + 754x6 + 732x7 + 713x8 + 674x9 + 975x10 + 590x11 + 909x12 + 741x13 + 627x14 + 568x15 + 977x16 + 363x17 + 861x18 + 941x19 + 916x20 + 738x21 + 977x22 + 188x23 + 677x24 + 778x25 + 536x26 + 920x27 + 820x28 + 747x29 + 586x30 + 602x31 + 775x32 + 632x33 + 847x34 + 780x35 + 1018x36 + 697x37 + 821x38 + 789x39 + 1040x40 + 813x41 + 607x42 + 408x43 + 584x44 + 735x45 + 705x46 + 421x47 + 979x48 + 584x49 + 413x50 + 803x51 + 310x52 + 1024x53 + 1044x54 + 800x55 + 825x56 + 476x57 + 693x58 + 496x59 + 629x60 + 848x61 + 819x62 + 770x63 + 480x64 + 602x65 + 800x66 + 1108x67 + 555x68 + 682x69 + 670x70 + 875x71 + 843x72 + 489x73 + 775x74 + 628x75 + 955x76 + 892x77 + 760x78 + 1141x79 + 558x80 + 732x81 + 782x82 + 971x83 + 393x84 + 987x85 + 860x86 + 1059x87 + 651x88 + 731x89 + 727x90 + 1130x91 + 545x92 + 723x93 + 990x94 + 486x95 + 575x96 + 703x97 + 979x98 + 613x99 + 945x100 = 0 f2: -f2 + 754x1 + 682x2 + 413x3 + 800x4 + 363x5 + 782x6 + 775x7 + 486x8 + 723x9 + 813x10 + 747x11 + 979x12 + 732x13 + 627x14 + 628x15 + 760x16 + 476x17 + 677x18 + 819x19 + 977x20 + 558x21 + 602x22 + 555x23 + 825x24 + 1044x25 + 990x26 + 780x27 + 545x28 + 408x29 + 732x30 + 738x31 + 713x32 + 651x33 + 875x34 + 575x35 + 568x36 + 860x37 + 843x38 + 703x39 + 821x40 + 607x41 + 1059x42 + 861x43 + 1130x44 + 983x45 + 393x46 + 496x47 + 775x48 + 670x49 + 613x50 + 770x51 + 584x52 + 584x53 + 941x54 + 778x55 + 1005x56 + 629x57 + 847x58 + 855x59 + 955x60 + 590x61 + 480x62 + 509x63 + 1046x64 + 586x65 + 536x66 + 693x67 + 1141x68 + 916x69 + 803x70 + 310x71 + 421x72 + 800x73 + 909x74 + 632x75 + 975x76 + 892x77 + 979x78 + 789x79 + 820x80 + 971x81 + 188x82 + 705x83 + 1040x84 + 735x85 + 697x86 + 977x87 + 741x88 + 945x89 + 987x90 + 1018x91 + 1108x92 + 489x93 + 602x94 + 920x95 + 848x96 + 674x97 + 727x98 + 1024x99 + 731x100 = 0 constr1: + 919x1 + 595x2 + 38x3 + 447x4 + 325x5 + 118x6 + 53x7 + 659x8 + 566x9 + 638x10 + 648x11 + 360x12 + 335x13 + 42x14 + 957x15 + 248x16 + 393x17 + 430x18 + 296x19 + 69x20 + 866x21 + 371x22 + 330x23 + 664x24 + 288x25 + 392x26 + 693x27 + 793x28 + 113x29 + 662x30 + 141x31 + 334x32 + 948x33 + 325x34 + 534x35 + 980x36 + 326x37 + 665x38 + 881x39 + 191x40 + 956x41 + 338x42 + 588x43 + 899x44 + 588x45 + 318x46 + 684x47 + 110x48 + 579x49 + 920x50 + 932x51 + 68x52 + 44x53 + 350x54 + 747x55 + 481x56 + 878x57 + 515x58 + 928x59 + 660x60 + 27x61 + 306x62 + 253x63 + 520x64 + 784x65 + 245x66 + 725x67 + 506x68 + 784x69 + 337x70 + 598x71 + 963x72 + 856x73 + 379x74 + 580x75 + 612x76 + 416x77 + 967x78 + 355x79 + 339x80 + 551x81 + 5x82 + 868x83 + 431x84 + 252x85 + 146x86 + 314x87 + 773x88 + 941x89 + 472x90 + 972x91 + 121x92 + 752x93 + 902x94 + 17x95 + 844x96 + 179x97 + 405x98 + 947x99 + 537x100 <= 36381 constr2: + 752x1 + 171x2 + 658x3 + 834x4 + 918x5 + 825x6 + 100x7 + 951x8 + 163x9 + 7x10 + 10x11 + 828x12 + 368x13 + 993x14 + 946x15 + 746x16 + 420x17 + 657x18 + 332x19 + 453x20 + 178x21 + 686x22 + 908x23 + 204x24 + 130x25 + 861x26 + 439x27 + 994x28 + 337x29 + 777x30 + 638x31 + 224x32 + 632x33 + 602x34 + 213x35 + 767x36 + 445x37 + 895x38 + 393x39 + 639x40 + 828x41 + 755x42 + 467x43 + 50x44 + 221x45 + 865x46 + 967x47 + 574x48 + 595x49 + 248x50 + 203x51 + 404x52 + 215x53 + 822x54 + 936x55 + 12x56 + 578x57 + 588x58 + 515x59 + 885x60 + 827x61 + 918x62 + 633x63 + 430x64 + 716x65 + 759x66 + 957x67 + 399x68 + 432x69 + 942x70 + 498x71 + 405x72 + 384x73 + 92x74 + 487x75 + 24x76 + 898x77 + 841x78 + 22x79 + 821x80 + 578x81 + 970x82 + 483x83 + 179x84 + 996x85 + 980x86 + 517x87 + 54x88 + 543x89 + 45x90 + 47x91 + 445x92 + 554x93 + 935x94 + 795x95 + 917x96 + 468x97 + 677x98 + 812x99 + 154x100 <= 36418 constr3: + 389x1 + 211x2 + 673x3 + 329x4 + 33x5 + 928x6 + 535x7 + 705x8 + 438x9 + 892x10 + 624x11 + 514x12 + 77x13 + 116x14 + 18x15 + 194x16 + 573x17 + 947x18 + 722x19 + 728x20 + 155x21 + 424x22 + 781x23 + 13x24 + 17x25 + 478x26 + 296x27 + 930x28 + 398x29 + 986x30 + 519x31 + 961x32 + 938x33 + 946x34 + 606x35 + 523x36 + 822x37 + 2x38 + 842x39 + 364x40 + 958x41 + 479x42 + 414x43 + 65x44 + 551x45 + 432x46 + 501x47 + 557x48 + 471x49 + 312x50 + 146x51 + 415x52 + 87x53 + 965x54 + 265x55 + 781x56 + 953x57 + 910x58 + 972x59 + 949x60 + 346x61 + 662x62 + 725x63 + 696x64 + 23x65 + 444x66 + 471x67 + 437x68 + 360x69 + 279x70 + 908x71 + 558x72 + 397x73 + 186x74 + 893x75 + 750x76 + 27x77 + 28x78 + 492x79 + 846x80 + 221x81 + 868x82 + 634x83 + 706x84 + 91x85 + 855x86 + 928x87 + 936x88 + 140x89 + 418x90 + 925x91 + 282x92 + 859x93 + 551x94 + 460x95 + 608x96 + 596x97 + 520x98 + 268x99 + 407x100 <= 42169 constr4: + 678x1 + 52x2 + 470x3 + 937x4 + 576x5 + 306x6 + 495x7 + 232x8 + 408x9 + 965x10 + 848x11 + 266x12 + 124x13 + 95x14 + 670x15 + 573x16 + 285x17 + 791x18 + 927x19 + 818x20 + 678x21 + 829x22 + 305x23 + 809x24 + 215x25 + 154x26 + 548x27 + 46x28 + 262x29 + 317x30 + 679x31 + 93x32 + 58x33 + 686x34 + 859x35 + 623x36 + 55x37 + 283x38 + 609x39 + 418x40 + 985x41 + 453x42 + 237x43 + 292x44 + 890x45 + 224x46 + 48x47 + 628x48 + 738x49 + 204x50 + 480x51 + 380x52 + 122x53 + 63x54 + 118x55 + 976x56 + 719x57 + 616x58 + 371x59 + 302x60 + 631x61 + 730x62 + 355x63 + 420x64 + 830x65 + 269x66 + 613x67 + 578x68 + 573x69 + 709x70 + 784x71 + 357x72 + 439x73 + 79x74 + 733x75 + 679x76 + 189x77 + 727x78 + 668x79 + 352x80 + 195x81 + 243x82 + 825x83 + 158x84 + 825x85 + 886x86 + 236x87 + 219x88 + 865x89 + 12x90 + 801x91 + 923x92 + 89x93 + 457x94 + 925x95 + 859x96 + 193x97 + 985x98 + 636x99 + 329x100 <= 39038 constr5: + 803x1 + 449x2 + 256x3 + 998x4 + 448x5 + 393x6 + 794x7 + 627x8 + 329x9 + 6x10 + 958x11 + 983x12 + 84x13 + 6x14 + 846x15 + 30x16 + 434x17 + 147x18 + 135x19 + 352x20 + 969x21 + 867x22 + 376x23 + 191x24 + 106x25 + 458x26 + 682x27 + 26x28 + 650x29 + 136x30 + 198x31 + 279x32 + 586x33 + 274x34 + 105x35 + 3x36 + 773x37 + 250x38 + 161x39 + 481x40 + 645x41 + 647x42 + 229x43 + 908x44 + 701x45 + 867x46 + 646x47 + 789x48 + 469x49 + 814x50 + 872x51 + 372x52 + 800x53 + 950x54 + 663x55 + 128x56 + 901x57 + 588x58 + 899x59 + 997x60 + 720x61 + 757x62 + 82x63 + 856x64 + 279x65 + 558x66 + 400x67 + 627x68 + 188x69 + 37x70 + 71x71 + 562x72 + 109x73 + 591x74 + 855x75 + 738x76 + 773x77 + 214x78 + 908x79 + 445x80 + 786x81 + 80x82 + 891x83 + 48x84 + 116x85 + 78x86 + 923x87 + 687x88 + 840x89 + 473x90 + 179x91 + 565x92 + 569x93 + 397x94 + 488x95 + 101x96 + 858x97 + 107x98 + 76x99 + 696x100 <= 39353 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