minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 37795.580000 s2: s + 0.001000f1 + 0.501000f2 >= 37795.580000 f1: -f1 + 504x1 + 800x2 + 801x3 + 1049x4 + 588x5 + 787x6 + 849x7 + 682x8 + 731x9 + 302x10 + 930x11 + 653x12 + 337x13 + 742x14 + 1080x15 + 709x16 + 593x17 + 816x18 + 1009x19 + 811x20 + 1132x21 + 894x22 + 987x23 + 768x24 + 660x25 + 498x26 + 670x27 + 1019x28 + 679x29 + 767x30 + 589x31 + 722x32 + 944x33 + 1076x34 + 1019x35 + 382x36 + 685x37 + 652x38 + 686x39 + 705x40 + 1009x41 + 858x42 + 807x43 + 1011x44 + 626x45 + 449x46 + 714x47 + 428x48 + 819x49 + 567x50 + 716x51 + 935x52 + 662x53 + 425x54 + 805x55 + 802x56 + 936x57 + 840x58 + 895x59 + 856x60 + 1036x61 + 889x62 + 1177x63 + 910x64 + 888x65 + 801x66 + 1038x67 + 628x68 + 786x69 + 485x70 + 895x71 + 459x72 + 599x73 + 858x74 + 313x75 + 739x76 + 836x77 + 463x78 + 846x79 + 425x80 + 857x81 + 994x82 + 543x83 + 1176x84 + 626x85 + 567x86 + 264x87 + 912x88 + 630x89 + 629x90 + 810x91 + 606x92 + 599x93 + 779x94 + 579x95 + 1006x96 + 810x97 + 671x98 + 945x99 + 749x100 = 0 f2: -f2 + 895x1 + 543x2 + 685x3 + 1019x4 + 805x5 + 936x6 + 786x7 + 888x8 + 994x9 + 670x10 + 679x11 + 498x12 + 779x13 + 428x14 + 1132x15 + 705x16 + 894x17 + 313x18 + 682x19 + 858x20 + 807x21 + 660x22 + 1176x23 + 749x24 + 606x25 + 810x26 + 846x27 + 567x28 + 302x29 + 801x30 + 588x31 + 731x32 + 1076x33 + 910x34 + 599x35 + 767x36 + 1036x37 + 819x38 + 1038x39 + 337x40 + 945x41 + 912x42 + 889x43 + 1009x44 + 840x45 + 264x46 + 626x47 + 742x48 + 716x49 + 425x50 + 1011x51 + 629x52 + 686x53 + 599x54 + 858x55 + 382x56 + 671x57 + 504x58 + 662x59 + 652x60 + 856x61 + 800x62 + 1177x63 + 1009x64 + 628x65 + 935x66 + 768x67 + 944x68 + 987x69 + 849x70 + 1006x71 + 739x72 + 463x73 + 593x74 + 709x75 + 653x76 + 579x77 + 1049x78 + 425x79 + 816x80 + 787x81 + 589x82 + 1019x83 + 801x84 + 626x85 + 895x86 + 802x87 + 810x88 + 567x89 + 722x90 + 811x91 + 930x92 + 485x93 + 1080x94 + 714x95 + 857x96 + 630x97 + 836x98 + 459x99 + 449x100 = 0 constr1: + 5x1 + 267x2 + 201x3 + 363x4 + 905x5 + 190x6 + 424x7 + 91x8 + 924x9 + 564x10 + 20x11 + 640x12 + 347x13 + 157x14 + 763x15 + 486x16 + 218x17 + 285x18 + 173x19 + 821x20 + 100x21 + 667x22 + 883x23 + 224x24 + 368x25 + 142x26 + 824x27 + 11x28 + 375x29 + 543x30 + 259x31 + 743x32 + 614x33 + 541x34 + 224x35 + 734x36 + 359x37 + 683x38 + 826x39 + 902x40 + 830x41 + 338x42 + 394x43 + 429x44 + 900x45 + 726x46 + 85x47 + 241x48 + 862x49 + 34x50 + 343x51 + 557x52 + 643x53 + 20x54 + 802x55 + 379x56 + 72x57 + 502x58 + 797x59 + 828x60 + 285x61 + 930x62 + 925x63 + 81x64 + 164x65 + 755x66 + 828x67 + 568x68 + 213x69 + 852x70 + 396x71 + 622x72 + 922x73 + 626x74 + 555x75 + 376x76 + 644x77 + 257x78 + 644x79 + 807x80 + 851x81 + 128x82 + 347x83 + 991x84 + 838x85 + 652x86 + 132x87 + 607x88 + 791x89 + 85x90 + 400x91 + 910x92 + 436x93 + 291x94 + 424x95 + 146x96 + 830x97 + 71x98 + 685x99 + 217x100 <= 25810 constr2: + 638x1 + 878x2 + 870x3 + 213x4 + 71x5 + 697x6 + 85x7 + 647x8 + 566x9 + 105x10 + 824x11 + 916x12 + 337x13 + 708x14 + 63x15 + 587x16 + 977x17 + 277x18 + 157x19 + 491x20 + 606x21 + 805x22 + 577x23 + 500x24 + 801x25 + 122x26 + 206x27 + 413x28 + 942x29 + 505x30 + 438x31 + 100x32 + 646x33 + 531x34 + 192x35 + 385x36 + 910x37 + 528x38 + 519x39 + 839x40 + 49x41 + 495x42 + 151x43 + 720x44 + 215x45 + 298x46 + 910x47 + 326x48 + 739x49 + 785x50 + 231x51 + 720x52 + 94x53 + 262x54 + 125x55 + 572x56 + 317x57 + 2x58 + 666x59 + 406x60 + 459x61 + 898x62 + 774x63 + 522x64 + 312x65 + 293x66 + 655x67 + 997x68 + 477x69 + 616x70 + 331x71 + 572x72 + 525x73 + 440x74 + 527x75 + 82x76 + 443x77 + 173x78 + 310x79 + 371x80 + 123x81 + 927x82 + 344x83 + 515x84 + 635x85 + 243x86 + 232x87 + 827x88 + 174x89 + 602x90 + 804x91 + 849x92 + 836x93 + 942x94 + 987x95 + 269x96 + 164x97 + 244x98 + 113x99 + 51x100 <= 23906 constr3: + 952x1 + 459x2 + 468x3 + 969x4 + 827x5 + 984x6 + 306x7 + 698x8 + 866x9 + 405x10 + 551x11 + 974x12 + 613x13 + 275x14 + 311x15 + 773x16 + 295x17 + 447x18 + 98x19 + 628x20 + 436x21 + 77x22 + 70x23 + 92x24 + 249x25 + 754x26 + 945x27 + 326x28 + 87x29 + 880x30 + 49x31 + 162x32 + 886x33 + 64x34 + 189x35 + 35x36 + 202x37 + 865x38 + 335x39 + 19x40 + 71x41 + 356x42 + 736x43 + 909x44 + 612x45 + 427x46 + 451x47 + 72x48 + 985x49 + 429x50 + 837x51 + 37x52 + 993x53 + 500x54 + 146x55 + 605x56 + 422x57 + 929x58 + 831x59 + 860x60 + 23x61 + 652x62 + 23x63 + 964x64 + 667x65 + 30x66 + 487x67 + 730x68 + 914x69 + 83x70 + 49x71 + 705x72 + 977x73 + 433x74 + 169x75 + 209x76 + 539x77 + 737x78 + 145x79 + 518x80 + 966x81 + 929x82 + 374x83 + 129x84 + 371x85 + 966x86 + 367x87 + 414x88 + 123x89 + 202x90 + 313x91 + 931x92 + 818x93 + 986x94 + 820x95 + 68x96 + 773x97 + 669x98 + 884x99 + 72x100 <= 24141 constr4: + 501x1 + 826x2 + 782x3 + 925x4 + 449x5 + 702x6 + 881x7 + 353x8 + 566x9 + 772x10 + 894x11 + 370x12 + 302x13 + 393x14 + 257x15 + 603x16 + 590x17 + 844x18 + 856x19 + 130x20 + 611x21 + 625x22 + 657x23 + 207x24 + 985x25 + 415x26 + 779x27 + 600x28 + 931x29 + 83x30 + 364x31 + 730x32 + 721x33 + 553x34 + 606x35 + 400x36 + 989x37 + 823x38 + 833x39 + 256x40 + 741x41 + 344x42 + 551x43 + 515x44 + 15x45 + 473x46 + 955x47 + 634x48 + 126x49 + 822x50 + 119x51 + 639x52 + 815x53 + 194x54 + 840x55 + 842x56 + 858x57 + 33x58 + 418x59 + 886x60 + 914x61 + 686x62 + 123x63 + 423x64 + 867x65 + 308x66 + 386x67 + 941x68 + 975x69 + 885x70 + 484x71 + 749x72 + 759x73 + 437x74 + 210x75 + 813x76 + 978x77 + 852x78 + 292x79 + 564x80 + 976x81 + 215x82 + 901x83 + 563x84 + 220x85 + 508x86 + 476x87 + 894x88 + 404x89 + 119x90 + 214x91 + 169x92 + 759x93 + 328x94 + 974x95 + 331x96 + 427x97 + 41x98 + 104x99 + 756x100 <= 26279 constr5: + 926x1 + 99x2 + 219x3 + 848x4 + 504x5 + 729x6 + 518x7 + 487x8 + 307x9 + 62x10 + 679x11 + 741x12 + 682x13 + 470x14 + 40x15 + 66x16 + 603x17 + 802x18 + 243x19 + 748x20 + 290x21 + 56x22 + 806x23 + 254x24 + 94x25 + 484x26 + 676x27 + 859x28 + 96x29 + 509x30 + 336x31 + 902x32 + 200x33 + 24x34 + 336x35 + 13x36 + 534x37 + 533x38 + 772x39 + 561x40 + 353x41 + 868x42 + 548x43 + 14x44 + 611x45 + 62x46 + 891x47 + 83x48 + 559x49 + 228x50 + 31x51 + 586x52 + 640x53 + 392x54 + 260x55 + 350x56 + 842x57 + 742x58 + 163x59 + 166x60 + 420x61 + 161x62 + 982x63 + 211x64 + 381x65 + 749x66 + 833x67 + 995x68 + 242x69 + 824x70 + 432x71 + 116x72 + 929x73 + 456x74 + 203x75 + 728x76 + 176x77 + 211x78 + 579x79 + 3x80 + 668x81 + 162x82 + 674x83 + 558x84 + 121x85 + 44x86 + 524x87 + 202x88 + 356x89 + 89x90 + 456x91 + 708x92 + 434x93 + 366x94 + 405x95 + 595x96 + 694x97 + 490x98 + 269x99 + 59x100 <= 24071 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