minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 38627.394000 s2: s + 0.001000f1 + 0.501000f2 >= 38627.394000 f1: -f1 + 525x1 + 686x2 + 565x3 + 456x4 + 545x5 + 952x6 + 1000x7 + 1023x8 + 817x9 + 987x10 + 793x11 + 905x12 + 868x13 + 1091x14 + 743x15 + 587x16 + 714x17 + 692x18 + 853x19 + 869x20 + 714x21 + 515x22 + 623x23 + 661x24 + 940x25 + 1011x26 + 1013x27 + 638x28 + 1003x29 + 759x30 + 886x31 + 517x32 + 841x33 + 946x34 + 1058x35 + 795x36 + 655x37 + 1086x38 + 661x39 + 702x40 + 681x41 + 707x42 + 705x43 + 1014x44 + 823x45 + 372x46 + 1004x47 + 563x48 + 913x49 + 420x50 + 582x51 + 1013x52 + 913x53 + 767x54 + 639x55 + 937x56 + 726x57 + 678x58 + 460x59 + 814x60 + 676x61 + 840x62 + 721x63 + 914x64 + 491x65 + 760x66 + 878x67 + 960x68 + 879x69 + 862x70 + 725x71 + 1020x72 + 714x73 + 588x74 + 554x75 + 840x76 + 962x77 + 562x78 + 742x79 + 884x80 + 427x81 + 699x82 + 974x83 + 846x84 + 705x85 + 492x86 + 538x87 + 993x88 + 546x89 + 684x90 + 850x91 + 860x92 + 961x93 + 693x94 + 758x95 + 773x96 + 677x97 + 932x98 + 577x99 + 964x100 = 0 f2: -f2 + 705x1 + 655x2 + 767x3 + 1020x4 + 886x5 + 563x6 + 1013x7 + 879x8 + 707x9 + 742x10 + 913x11 + 420x12 + 725x13 + 491x14 + 554x15 + 840x16 + 1091x17 + 582x18 + 1014x19 + 962x20 + 699x21 + 743x22 + 456x23 + 905x24 + 525x25 + 960x26 + 974x27 + 1000x28 + 372x29 + 853x30 + 693x31 + 914x32 + 1011x33 + 623x34 + 840x35 + 1023x36 + 661x37 + 987x38 + 760x39 + 427x40 + 686x41 + 721x42 + 940x43 + 946x44 + 538x45 + 795x46 + 884x47 + 517x48 + 961x49 + 702x50 + 1013x51 + 546x52 + 1058x53 + 545x54 + 758x55 + 577x56 + 677x57 + 841x58 + 714x59 + 639x60 + 814x61 + 587x62 + 714x63 + 932x64 + 492x65 + 714x66 + 937x67 + 661x68 + 678x69 + 964x70 + 862x71 + 850x72 + 868x73 + 823x74 + 878x75 + 952x76 + 846x77 + 1003x78 + 460x79 + 793x80 + 1004x81 + 773x82 + 869x83 + 817x84 + 562x85 + 588x86 + 676x87 + 913x88 + 705x89 + 1086x90 + 638x91 + 684x92 + 681x93 + 759x94 + 565x95 + 515x96 + 726x97 + 993x98 + 692x99 + 860x100 = 0 constr1: + 133x1 + 272x2 + 299x3 + 974x4 + 966x5 + 933x6 + 637x7 + 375x8 + 98x9 + 367x10 + 515x11 + 841x12 + 303x13 + 563x14 + 473x15 + 616x16 + 991x17 + 481x18 + 344x19 + 970x20 + 848x21 + 782x22 + 644x23 + 706x24 + 620x25 + 19x26 + 355x27 + 96x28 + 488x29 + 709x30 + 131x31 + 29x32 + 967x33 + 101x34 + 882x35 + 993x36 + 86x37 + 823x38 + 22x39 + 30x40 + 96x41 + 462x42 + 932x43 + 756x44 + 153x45 + 172x46 + 411x47 + 894x48 + 212x49 + 516x50 + 321x51 + 865x52 + 216x53 + 506x54 + 2x55 + 138x56 + 717x57 + 944x58 + 806x59 + 855x60 + 25x61 + 649x62 + 314x63 + 291x64 + 264x65 + 143x66 + 604x67 + 756x68 + 157x69 + 6x70 + 585x71 + 862x72 + 436x73 + 513x74 + 377x75 + 1000x76 + 522x77 + 330x78 + 143x79 + 412x80 + 648x81 + 588x82 + 284x83 + 249x84 + 590x85 + 764x86 + 843x87 + 987x88 + 820x89 + 945x90 + 812x91 + 447x92 + 513x93 + 137x94 + 507x95 + 562x96 + 47x97 + 565x98 + 217x99 + 809x100 <= 35798 constr2: + 684x1 + 121x2 + 126x3 + 574x4 + 592x5 + 248x6 + 955x7 + 424x8 + 614x9 + 892x10 + 760x11 + 169x12 + 111x13 + 88x14 + 690x15 + 626x16 + 622x17 + 644x18 + 179x19 + 449x20 + 909x21 + 50x22 + 90x23 + 294x24 + 647x25 + 530x26 + 370x27 + 912x28 + 741x29 + 224x30 + 72x31 + 496x32 + 524x33 + 114x34 + 287x35 + 882x36 + 19x37 + 21x38 + 278x39 + 569x40 + 808x41 + 800x42 + 678x43 + 98x44 + 402x45 + 837x46 + 671x47 + 878x48 + 222x49 + 972x50 + 298x51 + 538x52 + 244x53 + 730x54 + 214x55 + 864x56 + 785x57 + 436x58 + 734x59 + 566x60 + 957x61 + 711x62 + 231x63 + 340x64 + 796x65 + 786x66 + 692x67 + 592x68 + 991x69 + 336x70 + 924x71 + 4x72 + 354x73 + 73x74 + 984x75 + 60x76 + 357x77 + 919x78 + 128x79 + 963x80 + 646x81 + 715x82 + 117x83 + 197x84 + 683x85 + 128x86 + 134x87 + 788x88 + 770x89 + 164x90 + 510x91 + 605x92 + 268x93 + 428x94 + 674x95 + 266x96 + 187x97 + 279x98 + 621x99 + 480x100 <= 37530 constr3: + 242x1 + 403x2 + 69x3 + 183x4 + 222x5 + 956x6 + 786x7 + 767x8 + 250x9 + 779x10 + 535x11 + 707x12 + 585x13 + 577x14 + 186x15 + 603x16 + 463x17 + 192x18 + 928x19 + 87x20 + 12x21 + 506x22 + 559x23 + 549x24 + 62x25 + 297x26 + 593x27 + 839x28 + 22x29 + 862x30 + 205x31 + 724x32 + 32x33 + 685x34 + 71x35 + 932x36 + 422x37 + 181x38 + 886x39 + 495x40 + 827x41 + 858x42 + 779x43 + 989x44 + 370x45 + 636x46 + 646x47 + 988x48 + 975x49 + 672x50 + 139x51 + 888x52 + 891x53 + 92x54 + 799x55 + 388x56 + 818x57 + 861x58 + 789x59 + 436x60 + 470x61 + 627x62 + 750x63 + 677x64 + 579x65 + 322x66 + 186x67 + 41x68 + 195x69 + 584x70 + 210x71 + 469x72 + 569x73 + 708x74 + 272x75 + 845x76 + 728x77 + 867x78 + 99x79 + 757x80 + 860x81 + 106x82 + 382x83 + 935x84 + 606x85 + 145x86 + 912x87 + 202x88 + 650x89 + 172x90 + 915x91 + 407x92 + 514x93 + 995x94 + 695x95 + 652x96 + 402x97 + 569x98 + 6x99 + 572x100 <= 33303 constr4: + 449x1 + 983x2 + 686x3 + 906x4 + 411x5 + 177x6 + 28x7 + 738x8 + 913x9 + 139x10 + 34x11 + 1000x12 + 148x13 + 167x14 + 440x15 + 780x16 + 190x17 + 412x18 + 940x19 + 339x20 + 622x21 + 412x22 + 846x23 + 980x24 + 225x25 + 622x26 + 326x27 + 76x28 + 550x29 + 219x30 + 258x31 + 748x32 + 344x33 + 907x34 + 515x35 + 72x36 + 934x37 + 135x38 + 159x39 + 960x40 + 299x41 + 174x42 + 839x43 + 713x44 + 888x45 + 74x46 + 719x47 + 242x48 + 103x49 + 922x50 + 995x51 + 665x52 + 625x53 + 536x54 + 622x55 + 798x56 + 7x57 + 299x58 + 107x59 + 629x60 + 274x61 + 660x62 + 583x63 + 622x64 + 557x65 + 314x66 + 403x67 + 694x68 + 335x69 + 744x70 + 332x71 + 862x72 + 348x73 + 204x74 + 877x75 + 561x76 + 339x77 + 305x78 + 281x79 + 800x80 + 847x81 + 875x82 + 739x83 + 591x84 + 528x85 + 55x86 + 897x87 + 375x88 + 914x89 + 731x90 + 170x91 + 565x92 + 147x93 + 736x94 + 830x95 + 7x96 + 783x97 + 494x98 + 980x99 + 268x100 <= 34295 constr5: + 865x1 + 424x2 + 72x3 + 475x4 + 57x5 + 350x6 + 217x7 + 534x8 + 13x9 + 479x10 + 174x11 + 568x12 + 720x13 + 798x14 + 162x15 + 345x16 + 851x17 + 41x18 + 17x19 + 687x20 + 506x21 + 68x22 + 87x23 + 226x24 + 28x25 + 613x26 + 880x27 + 760x28 + 485x29 + 703x30 + 71x31 + 424x32 + 134x33 + 752x34 + 194x35 + 16x36 + 241x37 + 253x38 + 218x39 + 513x40 + 216x41 + 748x42 + 286x43 + 736x44 + 845x45 + 255x46 + 327x47 + 70x48 + 537x49 + 822x50 + 211x51 + 78x52 + 991x53 + 291x54 + 796x55 + 500x56 + 88x57 + 430x58 + 728x59 + 594x60 + 367x61 + 200x62 + 992x63 + 786x64 + 956x65 + 234x66 + 131x67 + 522x68 + 92x69 + 445x70 + 227x71 + 785x72 + 693x73 + 777x74 + 229x75 + 997x76 + 620x77 + 89x78 + 819x79 + 270x80 + 825x81 + 316x82 + 707x83 + 722x84 + 415x85 + 627x86 + 839x87 + 234x88 + 151x89 + 559x90 + 269x91 + 569x92 + 548x93 + 658x94 + 711x95 + 554x96 + 182x97 + 276x98 + 379x99 + 320x100 <= 42724 constr6: + 164x1 + 870x2 + 634x3 + 634x4 + 24x5 + 928x6 + 241x7 + 353x8 + 89x9 + 313x10 + 892x11 + 333x12 + 773x13 + 331x14 + 520x15 + 52x16 + 31x17 + 426x18 + 85x19 + 850x20 + 158x21 + 472x22 + 321x23 + 310x24 + 402x25 + 195x26 + 843x27 + 636x28 + 492x29 + 340x30 + 935x31 + 859x32 + 909x33 + 600x34 + 543x35 + 167x36 + 988x37 + 825x38 + 93x39 + 222x40 + 843x41 + 596x42 + 604x43 + 925x44 + 200x45 + 402x46 + 934x47 + 610x48 + 670x49 + 633x50 + 310x51 + 385x52 + 620x53 + 258x54 + 150x55 + 137x56 + 250x57 + 555x58 + 791x59 + 911x60 + 585x61 + 509x62 + 270x63 + 184x64 + 122x65 + 972x66 + 547x67 + 897x68 + 20x69 + 484x70 + 330x71 + 304x72 + 97x73 + 928x74 + 804x75 + 434x76 + 967x77 + 91x78 + 941x79 + 590x80 + 473x81 + 42x82 + 198x83 + 454x84 + 93x85 + 958x86 + 794x87 + 723x88 + 326x89 + 476x90 + 363x91 + 391x92 + 834x93 + 95x94 + 732x95 + 427x96 + 331x97 + 242x98 + 686x99 + 865x100 <= 40369 constr7: + 838x1 + 431x2 + 744x3 + 691x4 + 72x5 + 322x6 + 601x7 + 586x8 + 307x9 + 277x10 + 546x11 + 886x12 + 87x13 + 125x14 + 767x15 + 523x16 + 565x17 + 797x18 + 185x19 + 858x20 + 678x21 + 163x22 + 236x23 + 197x24 + 291x25 + 624x26 + 859x27 + 302x28 + 412x29 + 603x30 + 457x31 + 479x32 + 916x33 + 245x34 + 160x35 + 665x36 + 257x37 + 876x38 + 61x39 + 328x40 + 383x41 + 50x42 + 352x43 + 354x44 + 948x45 + 581x46 + 534x47 + 998x48 + 195x49 + 630x50 + 200x51 + 105x52 + 891x53 + 621x54 + 818x55 + 640x56 + 943x57 + 289x58 + 951x59 + 420x60 + 374x61 + 178x62 + 755x63 + 511x64 + 819x65 + 569x66 + 166x67 + 474x68 + 467x69 + 13x70 + 981x71 + 336x72 + 444x73 + 534x74 + 154x75 + 482x76 + 858x77 + 971x78 + 841x79 + 523x80 + 850x81 + 830x82 + 115x83 + 139x84 + 826x85 + 589x86 + 285x87 + 990x88 + 540x89 + 897x90 + 880x91 + 293x92 + 609x93 + 992x94 + 545x95 + 146x96 + 234x97 + 869x98 + 904x99 + 309x100 <= 34230 constr8: + 654x1 + 74x2 + 336x3 + 778x4 + 56x5 + 734x6 + 771x7 + 399x8 + 820x9 + 673x10 + 669x11 + 997x12 + 870x13 + 213x14 + 388x15 + 682x16 + 745x17 + 621x18 + 613x19 + 368x20 + 664x21 + 410x22 + 317x23 + 173x24 + 438x25 + 89x26 + 843x27 + 741x28 + 200x29 + 497x30 + 737x31 + 909x32 + 32x33 + 743x34 + 881x35 + 144x36 + 738x37 + 740x38 + 356x39 + 252x40 + 137x41 + 948x42 + 691x43 + 460x44 + 89x45 + 255x46 + 233x47 + 325x48 + 988x49 + 602x50 + 964x51 + 859x52 + 671x53 + 829x54 + 993x55 + 620x56 + 876x57 + 340x58 + 871x59 + 641x60 + 263x61 + 135x62 + 426x63 + 962x64 + 292x65 + 676x66 + 351x67 + 201x68 + 598x69 + 563x70 + 692x71 + 660x72 + 823x73 + 903x74 + 167x75 + 406x76 + 37x77 + 266x78 + 692x79 + 556x80 + 600x81 + 999x82 + 122x83 + 258x84 + 167x85 + 383x86 + 508x87 + 622x88 + 123x89 + 526x90 + 186x91 + 809x92 + 856x93 + 630x94 + 535x95 + 939x96 + 545x97 + 617x98 + 179x99 + 54x100 <= 40188 constr9: + 213x1 + 81x2 + 916x3 + 255x4 + 70x5 + 268x6 + 601x7 + 462x8 + 111x9 + 100x10 + 484x11 + 908x12 + 473x13 + 240x14 + 143x15 + 64x16 + 323x17 + 446x18 + 172x19 + 892x20 + 790x21 + 54x22 + 804x23 + 96x24 + 656x25 + 990x26 + 507x27 + 118x28 + 403x29 + 63x30 + 408x31 + 38x32 + 781x33 + 852x34 + 775x35 + 145x36 + 896x37 + 584x38 + 641x39 + 576x40 + 745x41 + 982x42 + 160x43 + 997x44 + 259x45 + 953x46 + 886x47 + 278x48 + 803x49 + 620x50 + 485x51 + 991x52 + 795x53 + 280x54 + 734x55 + 190x56 + 89x57 + 643x58 + 276x59 + 415x60 + 792x61 + 966x62 + 352x63 + 280x64 + 292x65 + 332x66 + 205x67 + 125x68 + 120x69 + 64x70 + 83x71 + 339x72 + 554x73 + 574x74 + 991x75 + 54x76 + 979x77 + 654x78 + 191x79 + 885x80 + 609x81 + 70x82 + 72x83 + 51x84 + 959x85 + 351x86 + 458x87 + 302x88 + 225x89 + 869x90 + 744x91 + 545x92 + 483x93 + 601x94 + 91x95 + 44x96 + 338x97 + 177x98 + 597x99 + 457x100 <= 39585 constr10: + 389x1 + 738x2 + 486x3 + 892x4 + 9x5 + 718x6 + 345x7 + 903x8 + 932x9 + 970x10 + 989x11 + 674x12 + 283x13 + 54x14 + 126x15 + 964x16 + 797x17 + 861x18 + 401x19 + 837x20 + 991x21 + 119x22 + 208x23 + 586x24 + 234x25 + 119x26 + 27x27 + 878x28 + 26x29 + 260x30 + 572x31 + 389x32 + 110x33 + 730x34 + 400x35 + 225x36 + 493x37 + 480x38 + 643x39 + 64x40 + 197x41 + 785x42 + 722x43 + 754x44 + 92x45 + 797x46 + 585x47 + 429x48 + 922x49 + 304x50 + 229x51 + 683x52 + 243x53 + 1000x54 + 48x55 + 720x56 + 191x57 + 681x58 + 170x59 + 183x60 + 67x61 + 394x62 + 533x63 + 572x64 + 375x65 + 743x66 + 334x67 + 577x68 + 448x69 + 703x70 + 761x71 + 611x72 + 366x73 + 574x74 + 635x75 + 252x76 + 318x77 + 906x78 + 415x79 + 745x80 + 631x81 + 728x82 + 564x83 + 19x84 + 406x85 + 974x86 + 748x87 + 840x88 + 428x89 + 593x90 + 781x91 + 329x92 + 300x93 + 14x94 + 937x95 + 388x96 + 400x97 + 66x98 + 631x99 + 98x100 <= 36169 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