minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 37015.974000 s2: s + 0.001000f1 + 0.501000f2 >= 37015.974000 f1: -f1 + 655x1 + 627x2 + 1025x3 + 807x4 + 418x5 + 620x6 + 670x7 + 895x8 + 619x9 + 671x10 + 930x11 + 424x12 + 713x13 + 618x14 + 559x15 + 765x16 + 803x17 + 643x18 + 940x19 + 524x20 + 902x21 + 891x22 + 936x23 + 623x24 + 1022x25 + 548x26 + 626x27 + 757x28 + 1122x29 + 866x30 + 1118x31 + 566x32 + 624x33 + 555x34 + 303x35 + 883x36 + 874x37 + 801x38 + 1035x39 + 703x40 + 685x41 + 301x42 + 533x43 + 623x44 + 989x45 + 992x46 + 1021x47 + 863x48 + 788x49 + 690x50 + 1080x51 + 1037x52 + 921x53 + 758x54 + 1007x55 + 716x56 + 809x57 + 727x58 + 1067x59 + 915x60 + 499x61 + 744x62 + 505x63 + 738x64 + 741x65 + 859x66 + 774x67 + 787x68 + 606x69 + 790x70 + 430x71 + 519x72 + 681x73 + 905x74 + 448x75 + 623x76 + 645x77 + 688x78 + 607x79 + 395x80 + 713x81 + 455x82 + 653x83 + 823x84 + 511x85 + 740x86 + 821x87 + 910x88 + 708x89 + 982x90 + 557x91 + 737x92 + 781x93 + 566x94 + 648x95 + 745x96 + 627x97 + 709x98 + 955x99 + 909x100 = 0 f2: -f2 + 765x1 + 891x2 + 671x3 + 744x4 + 566x5 + 685x6 + 801x7 + 982x8 + 1122x9 + 708x10 + 803x11 + 418x12 + 910x13 + 555x14 + 511x15 + 424x16 + 557x17 + 505x18 + 757x19 + 455x20 + 745x21 + 915x22 + 643x23 + 790x24 + 1080x25 + 1021x26 + 559x27 + 936x28 + 713x29 + 1007x30 + 738x31 + 741x32 + 655x33 + 807x34 + 301x35 + 727x36 + 883x37 + 823x38 + 781x39 + 627x40 + 930x41 + 902x42 + 863x43 + 448x44 + 653x45 + 866x46 + 737x47 + 618x48 + 619x49 + 648x50 + 607x51 + 624x52 + 1118x53 + 713x54 + 1025x55 + 774x56 + 681x57 + 758x58 + 623x59 + 533x60 + 627x61 + 788x62 + 940x63 + 1022x64 + 703x65 + 1067x66 + 787x67 + 740x68 + 859x69 + 645x70 + 548x71 + 620x72 + 716x73 + 821x74 + 709x75 + 809x76 + 905x77 + 895x78 + 670x79 + 303x80 + 606x81 + 623x82 + 690x83 + 395x84 + 519x85 + 921x86 + 1035x87 + 499x88 + 955x89 + 566x90 + 626x91 + 1037x92 + 909x93 + 688x94 + 430x95 + 874x96 + 623x97 + 992x98 + 989x99 + 524x100 = 0 constr1: + 853x1 + 282x2 + 925x3 + 490x4 + 843x5 + 801x6 + 864x7 + 22x8 + 505x9 + 69x10 + 821x11 + 673x12 + 907x13 + 912x14 + 339x15 + 362x16 + 650x17 + 173x18 + 717x19 + 929x20 + 265x21 + 721x22 + 46x23 + 741x24 + 890x25 + 242x26 + 475x27 + 923x28 + 767x29 + 813x30 + 531x31 + 718x32 + 24x33 + 977x34 + 191x35 + 265x36 + 568x37 + 397x38 + 378x39 + 918x40 + 630x41 + 579x42 + 896x43 + 325x44 + 662x45 + 897x46 + 855x47 + 684x48 + 932x49 + 948x50 + 990x51 + 177x52 + 395x53 + 532x54 + 537x55 + 617x56 + 954x57 + 246x58 + 288x59 + 134x60 + 578x61 + 172x62 + 602x63 + 499x64 + 360x65 + 61x66 + 494x67 + 200x68 + 341x69 + 877x70 + 964x71 + 804x72 + 183x73 + 83x74 + 429x75 + 566x76 + 982x77 + 949x78 + 672x79 + 570x80 + 543x81 + 844x82 + 408x83 + 860x84 + 705x85 + 511x86 + 623x87 + 878x88 + 881x89 + 665x90 + 571x91 + 698x92 + 38x93 + 210x94 + 467x95 + 607x96 + 20x97 + 47x98 + 217x99 + 653x100 <= 36209 constr2: + 339x1 + 830x2 + 139x3 + 39x4 + 425x5 + 255x6 + 673x7 + 596x8 + 83x9 + 271x10 + 923x11 + 596x12 + 170x13 + 344x14 + 130x15 + 271x16 + 801x17 + 421x18 + 525x19 + 136x20 + 915x21 + 921x22 + 173x23 + 622x24 + 26x25 + 325x26 + 500x27 + 740x28 + 820x29 + 952x30 + 521x31 + 946x32 + 740x33 + 780x34 + 461x35 + 161x36 + 209x37 + 917x38 + 796x39 + 304x40 + 569x41 + 257x42 + 179x43 + 744x44 + 755x45 + 462x46 + 364x47 + 87x48 + 336x49 + 895x50 + 874x51 + 959x52 + 865x53 + 412x54 + 245x55 + 189x56 + 61x57 + 165x58 + 734x59 + 209x60 + 593x61 + 246x62 + 464x63 + 537x64 + 854x65 + 280x66 + 475x67 + 468x68 + 146x69 + 291x70 + 832x71 + 375x72 + 959x73 + 357x74 + 364x75 + 594x76 + 836x77 + 386x78 + 342x79 + 682x80 + 685x81 + 570x82 + 431x83 + 83x84 + 155x85 + 668x86 + 684x87 + 643x88 + 29x89 + 796x90 + 757x91 + 344x92 + 546x93 + 646x94 + 364x95 + 653x96 + 180x97 + 201x98 + 501x99 + 639x100 <= 39711 constr3: + 861x1 + 442x2 + 524x3 + 741x4 + 410x5 + 202x6 + 641x7 + 216x8 + 403x9 + 177x10 + 842x11 + 718x12 + 100x13 + 575x14 + 644x15 + 319x16 + 639x17 + 486x18 + 461x19 + 429x20 + 629x21 + 636x22 + 56x23 + 200x24 + 779x25 + 807x26 + 962x27 + 716x28 + 173x29 + 666x30 + 511x31 + 388x32 + 108x33 + 906x34 + 130x35 + 627x36 + 871x37 + 671x38 + 936x39 + 839x40 + 771x41 + 859x42 + 194x43 + 788x44 + 866x45 + 589x46 + 372x47 + 394x48 + 854x49 + 331x50 + 521x51 + 159x52 + 267x53 + 90x54 + 227x55 + 899x56 + 206x57 + 661x58 + 739x59 + 141x60 + 760x61 + 735x62 + 582x63 + 769x64 + 633x65 + 490x66 + 778x67 + 519x68 + 149x69 + 980x70 + 644x71 + 299x72 + 991x73 + 276x74 + 26x75 + 71x76 + 8x77 + 672x78 + 863x79 + 888x80 + 191x81 + 109x82 + 874x83 + 83x84 + 335x85 + 403x86 + 262x87 + 158x88 + 402x89 + 263x90 + 528x91 + 471x92 + 167x93 + 279x94 + 291x95 + 902x96 + 788x97 + 819x98 + 820x99 + 937x100 <= 38244 constr4: + 343x1 + 222x2 + 606x3 + 926x4 + 788x5 + 285x6 + 212x7 + 761x8 + 687x9 + 49x10 + 347x11 + 785x12 + 58x13 + 538x14 + 886x15 + 116x16 + 141x17 + 849x18 + 231x19 + 369x20 + 656x21 + 35x22 + 460x23 + 138x24 + 232x25 + 971x26 + 40x27 + 489x28 + 450x29 + 541x30 + 906x31 + 843x32 + 457x33 + 209x34 + 670x35 + 878x36 + 159x37 + 742x38 + 606x39 + 418x40 + 85x41 + 211x42 + 718x43 + 481x44 + 387x45 + 925x46 + 466x47 + 622x48 + 943x49 + 91x50 + 281x51 + 647x52 + 231x53 + 849x54 + 551x55 + 467x56 + 557x57 + 342x58 + 189x59 + 226x60 + 261x61 + 70x62 + 231x63 + 32x64 + 512x65 + 728x66 + 681x67 + 640x68 + 959x69 + 166x70 + 161x71 + 184x72 + 479x73 + 142x74 + 307x75 + 713x76 + 951x77 + 20x78 + 239x79 + 899x80 + 539x81 + 628x82 + 483x83 + 787x84 + 182x85 + 696x86 + 161x87 + 861x88 + 18x89 + 886x90 + 39x91 + 663x92 + 191x93 + 1000x94 + 417x95 + 820x96 + 461x97 + 481x98 + 207x99 + 828x100 <= 36944 constr5: + 424x1 + 447x2 + 840x3 + 518x4 + 196x5 + 757x6 + 7x7 + 824x8 + 210x9 + 564x10 + 618x11 + 518x12 + 127x13 + 835x14 + 335x15 + 114x16 + 29x17 + 806x18 + 328x19 + 649x20 + 640x21 + 756x22 + 93x23 + 20x24 + 858x25 + 787x26 + 437x27 + 285x28 + 965x29 + 604x30 + 363x31 + 130x32 + 212x33 + 190x34 + 120x35 + 628x36 + 521x37 + 500x38 + 381x39 + 268x40 + 493x41 + 703x42 + 173x43 + 779x44 + 666x45 + 921x46 + 101x47 + 391x48 + 305x49 + 95x50 + 987x51 + 245x52 + 586x53 + 684x54 + 192x55 + 481x56 + 839x57 + 966x58 + 110x59 + 439x60 + 248x61 + 378x62 + 480x63 + 256x64 + 613x65 + 238x66 + 28x67 + 603x68 + 934x69 + 851x70 + 521x71 + 938x72 + 122x73 + 407x74 + 538x75 + 584x76 + 306x77 + 293x78 + 551x79 + 395x80 + 84x81 + 612x82 + 30x83 + 254x84 + 375x85 + 760x86 + 165x87 + 796x88 + 202x89 + 618x90 + 508x91 + 780x92 + 907x93 + 993x94 + 541x95 + 88x96 + 449x97 + 542x98 + 916x99 + 405x100 <= 37107 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