minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36584.756000 s2: s + 0.001000f1 + 0.501000f2 >= 36584.756000 f1: -f1 + 680x1 + 824x2 + 671x3 + 836x4 + 1154x5 + 751x6 + 693x7 + 915x8 + 500x9 + 473x10 + 832x11 + 704x12 + 1075x13 + 947x14 + 453x15 + 948x16 + 646x17 + 872x18 + 618x19 + 991x20 + 552x21 + 710x22 + 558x23 + 885x24 + 974x25 + 653x26 + 459x27 + 760x28 + 859x29 + 1002x30 + 1021x31 + 620x32 + 764x33 + 649x34 + 790x35 + 867x36 + 557x37 + 818x38 + 595x39 + 696x40 + 697x41 + 518x42 + 571x43 + 551x44 + 549x45 + 452x46 + 705x47 + 532x48 + 1048x49 + 537x50 + 675x51 + 734x52 + 680x53 + 907x54 + 441x55 + 932x56 + 1071x57 + 564x58 + 667x59 + 1081x60 + 728x61 + 613x62 + 718x63 + 815x64 + 531x65 + 687x66 + 383x67 + 598x68 + 412x69 + 731x70 + 434x71 + 523x72 + 596x73 + 641x74 + 814x75 + 581x76 + 872x77 + 849x78 + 677x79 + 595x80 + 817x81 + 731x82 + 803x83 + 659x84 + 666x85 + 1087x86 + 889x87 + 569x88 + 583x89 + 894x90 + 919x91 + 989x92 + 755x93 + 647x94 + 1125x95 + 700x96 + 422x97 + 1000x98 + 789x99 + 752x100 = 0 f2: -f2 + 500x1 + 598x2 + 991x3 + 523x4 + 613x5 + 581x6 + 452x7 + 646x8 + 687x9 + 641x10 + 531x11 + 948x12 + 518x13 + 677x14 + 453x15 + 915x16 + 751x17 + 790x18 + 814x19 + 731x20 + 412x21 + 1002x22 + 1000x23 + 571x24 + 666x25 + 569x26 + 667x27 + 849x28 + 557x29 + 718x30 + 653x31 + 1087x32 + 1071x33 + 885x34 + 867x35 + 710x36 + 532x37 + 989x38 + 696x39 + 815x40 + 595x41 + 697x42 + 755x43 + 803x44 + 817x45 + 473x46 + 549x47 + 974x48 + 734x49 + 1125x50 + 705x51 + 947x52 + 618x53 + 832x54 + 919x55 + 1081x56 + 700x57 + 537x58 + 647x59 + 383x60 + 1048x61 + 659x62 + 649x63 + 932x64 + 620x65 + 675x66 + 731x67 + 434x68 + 1154x69 + 422x70 + 680x71 + 552x72 + 551x73 + 894x74 + 596x75 + 564x76 + 872x77 + 693x78 + 1075x79 + 872x80 + 558x81 + 583x82 + 836x83 + 818x84 + 671x85 + 789x86 + 764x87 + 704x88 + 595x89 + 680x90 + 728x91 + 1021x92 + 824x93 + 459x94 + 752x95 + 760x96 + 889x97 + 441x98 + 907x99 + 859x100 = 0 constr1: + 772x1 + 318x2 + 680x3 + 720x4 + 70x5 + 88x6 + 9x7 + 236x8 + 412x9 + 828x10 + 719x11 + 89x12 + 444x13 + 435x14 + 944x15 + 508x16 + 163x17 + 390x18 + 415x19 + 861x20 + 529x21 + 476x22 + 537x23 + 273x24 + 369x25 + 385x26 + 119x27 + 546x28 + 499x29 + 235x30 + 729x31 + 884x32 + 204x33 + 989x34 + 151x35 + 929x36 + 163x37 + 247x38 + 1000x39 + 684x40 + 508x41 + 770x42 + 541x43 + 735x44 + 791x45 + 86x46 + 645x47 + 142x48 + 920x49 + 590x50 + 793x51 + 772x52 + 95x53 + 648x54 + 767x55 + 763x56 + 87x57 + 511x58 + 697x59 + 366x60 + 56x61 + 907x62 + 557x63 + 290x64 + 567x65 + 6x66 + 860x67 + 502x68 + 443x69 + 735x70 + 662x71 + 768x72 + 432x73 + 784x74 + 986x75 + 721x76 + 870x77 + 194x78 + 784x79 + 830x80 + 8x81 + 6x82 + 634x83 + 263x84 + 472x85 + 516x86 + 196x87 + 986x88 + 712x89 + 878x90 + 265x91 + 271x92 + 344x93 + 395x94 + 567x95 + 835x96 + 717x97 + 399x98 + 312x99 + 160x100 <= 35231 constr2: + 91x1 + 464x2 + 819x3 + 438x4 + 67x5 + 513x6 + 309x7 + 434x8 + 545x9 + 862x10 + 942x11 + 139x12 + 158x13 + 294x14 + 392x15 + 322x16 + 498x17 + 73x18 + 589x19 + 696x20 + 615x21 + 636x22 + 799x23 + 624x24 + 355x25 + 810x26 + 594x27 + 753x28 + 209x29 + 840x30 + 806x31 + 463x32 + 598x33 + 950x34 + 703x35 + 913x36 + 390x37 + 579x38 + 55x39 + 762x40 + 759x41 + 119x42 + 489x43 + 27x44 + 346x45 + 888x46 + 918x47 + 605x48 + 327x49 + 680x50 + 545x51 + 714x52 + 752x53 + 915x54 + 405x55 + 219x56 + 579x57 + 92x58 + 636x59 + 648x60 + 827x61 + 47x62 + 63x63 + 29x64 + 557x65 + 590x66 + 52x67 + 314x68 + 157x69 + 895x70 + 425x71 + 720x72 + 200x73 + 546x74 + 595x75 + 129x76 + 378x77 + 509x78 + 595x79 + 911x80 + 560x81 + 449x82 + 174x83 + 57x84 + 301x85 + 276x86 + 242x87 + 819x88 + 783x89 + 736x90 + 246x91 + 341x92 + 360x93 + 368x94 + 649x95 + 714x96 + 8x97 + 536x98 + 416x99 + 880x100 <= 39240 constr3: + 191x1 + 625x2 + 905x3 + 681x4 + 46x5 + 201x6 + 924x7 + 53x8 + 828x9 + 822x10 + 236x11 + 325x12 + 257x13 + 689x14 + 98x15 + 322x16 + 878x17 + 74x18 + 724x19 + 807x20 + 165x21 + 937x22 + 922x23 + 180x24 + 852x25 + 5x26 + 952x27 + 997x28 + 464x29 + 432x30 + 209x31 + 546x32 + 375x33 + 982x34 + 792x35 + 335x36 + 915x37 + 203x38 + 87x39 + 548x40 + 548x41 + 717x42 + 218x43 + 36x44 + 476x45 + 732x46 + 203x47 + 119x48 + 162x49 + 775x50 + 678x51 + 922x52 + 977x53 + 383x54 + 627x55 + 908x56 + 833x57 + 643x58 + 921x59 + 865x60 + 795x61 + 317x62 + 688x63 + 945x64 + 367x65 + 634x66 + 748x67 + 992x68 + 448x69 + 853x70 + 479x71 + 85x72 + 508x73 + 626x74 + 909x75 + 981x76 + 39x77 + 908x78 + 464x79 + 535x80 + 767x81 + 362x82 + 172x83 + 344x84 + 231x85 + 140x86 + 378x87 + 207x88 + 558x89 + 728x90 + 831x91 + 952x92 + 7x93 + 377x94 + 900x95 + 171x96 + 713x97 + 285x98 + 309x99 + 315x100 <= 40195 constr4: + 54x1 + 297x2 + 403x3 + 795x4 + 258x5 + 162x6 + 67x7 + 13x8 + 26x9 + 378x10 + 855x11 + 576x12 + 333x13 + 252x14 + 823x15 + 534x16 + 937x17 + 938x18 + 421x19 + 774x20 + 545x21 + 71x22 + 777x23 + 515x24 + 505x25 + 141x26 + 487x27 + 562x28 + 947x29 + 399x30 + 630x31 + 703x32 + 731x33 + 805x34 + 601x35 + 607x36 + 556x37 + 125x38 + 311x39 + 564x40 + 875x41 + 230x42 + 221x43 + 126x44 + 953x45 + 917x46 + 112x47 + 182x48 + 59x49 + 946x50 + 470x51 + 644x52 + 564x53 + 666x54 + 597x55 + 632x56 + 167x57 + 469x58 + 728x59 + 738x60 + 880x61 + 847x62 + 494x63 + 413x64 + 290x65 + 425x66 + 381x67 + 638x68 + 816x69 + 432x70 + 921x71 + 359x72 + 318x73 + 698x74 + 576x75 + 432x76 + 695x77 + 14x78 + 664x79 + 466x80 + 231x81 + 858x82 + 45x83 + 973x84 + 536x85 + 333x86 + 701x87 + 249x88 + 544x89 + 309x90 + 622x91 + 478x92 + 879x93 + 792x94 + 29x95 + 119x96 + 203x97 + 413x98 + 534x99 + 736x100 <= 36290 constr5: + 503x1 + 37x2 + 611x3 + 619x4 + 678x5 + 471x6 + 700x7 + 55x8 + 959x9 + 646x10 + 960x11 + 781x12 + 22x13 + 80x14 + 369x15 + 241x16 + 373x17 + 278x18 + 416x19 + 963x20 + 371x21 + 309x22 + 513x23 + 211x24 + 697x25 + 149x26 + 755x27 + 546x28 + 813x29 + 836x30 + 380x31 + 819x32 + 705x33 + 226x34 + 97x35 + 68x36 + 755x37 + 45x38 + 360x39 + 792x40 + 989x41 + 364x42 + 736x43 + 654x44 + 756x45 + 389x46 + 589x47 + 865x48 + 395x49 + 514x50 + 887x51 + 160x52 + 39x53 + 142x54 + 762x55 + 221x56 + 235x57 + 322x58 + 53x59 + 536x60 + 323x61 + 452x62 + 821x63 + 859x64 + 187x65 + 340x66 + 394x67 + 573x68 + 191x69 + 328x70 + 847x71 + 34x72 + 130x73 + 623x74 + 700x75 + 968x76 + 138x77 + 1000x78 + 740x79 + 393x80 + 352x81 + 170x82 + 993x83 + 61x84 + 562x85 + 827x86 + 814x87 + 647x88 + 219x89 + 827x90 + 970x91 + 142x92 + 816x93 + 504x94 + 314x95 + 476x96 + 547x97 + 195x98 + 901x99 + 720x100 <= 40624 constr6: + 526x1 + 627x2 + 794x3 + 522x4 + 261x5 + 506x6 + 621x7 + 83x8 + 103x9 + 97x10 + 255x11 + 78x12 + 882x13 + 627x14 + 901x15 + 981x16 + 851x17 + 776x18 + 258x19 + 357x20 + 484x21 + 971x22 + 725x23 + 807x24 + 335x25 + 748x26 + 599x27 + 354x28 + 886x29 + 926x30 + 488x31 + 29x32 + 53x33 + 312x34 + 385x35 + 231x36 + 836x37 + 614x38 + 889x39 + 960x40 + 568x41 + 950x42 + 786x43 + 911x44 + 137x45 + 878x46 + 916x47 + 517x48 + 651x49 + 707x50 + 327x51 + 990x52 + 862x53 + 33x54 + 274x55 + 270x56 + 944x57 + 8x58 + 401x59 + 167x60 + 953x61 + 995x62 + 232x63 + 197x64 + 412x65 + 490x66 + 99x67 + 925x68 + 659x69 + 423x70 + 48x71 + 207x72 + 161x73 + 746x74 + 962x75 + 586x76 + 671x77 + 382x78 + 654x79 + 726x80 + 426x81 + 852x82 + 727x83 + 66x84 + 337x85 + 797x86 + 244x87 + 453x88 + 929x89 + 651x90 + 158x91 + 767x92 + 715x93 + 503x94 + 29x95 + 808x96 + 331x97 + 809x98 + 562x99 + 189x100 <= 38124 constr7: + 299x1 + 567x2 + 758x3 + 198x4 + 791x5 + 961x6 + 121x7 + 330x8 + 925x9 + 630x10 + 135x11 + 178x12 + 39x13 + 46x14 + 148x15 + 809x16 + 849x17 + 831x18 + 966x19 + 522x20 + 981x21 + 550x22 + 897x23 + 483x24 + 623x25 + 57x26 + 106x27 + 278x28 + 560x29 + 255x30 + 6x31 + 288x32 + 173x33 + 316x34 + 418x35 + 820x36 + 46x37 + 256x38 + 75x39 + 287x40 + 706x41 + 495x42 + 749x43 + 684x44 + 408x45 + 705x46 + 102x47 + 39x48 + 845x49 + 177x50 + 458x51 + 236x52 + 515x53 + 479x54 + 855x55 + 271x56 + 766x57 + 168x58 + 696x59 + 115x60 + 743x61 + 483x62 + 76x63 + 318x64 + 171x65 + 940x66 + 6x67 + 369x68 + 179x69 + 459x70 + 85x71 + 187x72 + 124x73 + 836x74 + 228x75 + 285x76 + 222x77 + 750x78 + 217x79 + 69x80 + 254x81 + 670x82 + 167x83 + 973x84 + 326x85 + 275x86 + 958x87 + 170x88 + 362x89 + 634x90 + 504x91 + 56x92 + 300x93 + 434x94 + 155x95 + 923x96 + 391x97 + 735x98 + 156x99 + 21x100 <= 35105 constr8: + 598x1 + 823x2 + 63x3 + 87x4 + 33x5 + 677x6 + 222x7 + 41x8 + 596x9 + 962x10 + 506x11 + 881x12 + 288x13 + 985x14 + 807x15 + 693x16 + 750x17 + 409x18 + 624x19 + 284x20 + 582x21 + 99x22 + 553x23 + 821x24 + 644x25 + 270x26 + 620x27 + 156x28 + 943x29 + 980x30 + 350x31 + 979x32 + 51x33 + 780x34 + 833x35 + 709x36 + 262x37 + 480x38 + 370x39 + 995x40 + 53x41 + 750x42 + 186x43 + 416x44 + 583x45 + 321x46 + 815x47 + 791x48 + 494x49 + 696x50 + 851x51 + 378x52 + 618x53 + 388x54 + 441x55 + 370x56 + 264x57 + 747x58 + 389x59 + 300x60 + 813x61 + 10x62 + 611x63 + 408x64 + 126x65 + 85x66 + 117x67 + 90x68 + 554x69 + 254x70 + 279x71 + 3x72 + 236x73 + 542x74 + 853x75 + 536x76 + 299x77 + 677x78 + 585x79 + 967x80 + 660x81 + 274x82 + 743x83 + 431x84 + 29x85 + 912x86 + 604x87 + 575x88 + 361x89 + 277x90 + 480x91 + 563x92 + 833x93 + 891x94 + 98x95 + 389x96 + 863x97 + 65x98 + 122x99 + 768x100 <= 38802 constr9: + 444x1 + 393x2 + 687x3 + 185x4 + 796x5 + 803x6 + 14x7 + 82x8 + 806x9 + 921x10 + 942x11 + 108x12 + 725x13 + 806x14 + 386x15 + 62x16 + 257x17 + 393x18 + 455x19 + 967x20 + 687x21 + 109x22 + 960x23 + 366x24 + 77x25 + 153x26 + 594x27 + 673x28 + 904x29 + 920x30 + 32x31 + 49x32 + 599x33 + 480x34 + 526x35 + 786x36 + 455x37 + 492x38 + 424x39 + 301x40 + 816x41 + 652x42 + 123x43 + 720x44 + 717x45 + 641x46 + 768x47 + 818x48 + 886x49 + 156x50 + 22x51 + 578x52 + 959x53 + 503x54 + 798x55 + 239x56 + 128x57 + 592x58 + 374x59 + 664x60 + 556x61 + 579x62 + 865x63 + 587x64 + 837x65 + 39x66 + 212x67 + 7x68 + 357x69 + 806x70 + 233x71 + 101x72 + 884x73 + 263x74 + 350x75 + 416x76 + 351x77 + 989x78 + 53x79 + 675x80 + 317x81 + 855x82 + 827x83 + 2x84 + 114x85 + 713x86 + 498x87 + 533x88 + 566x89 + 368x90 + 273x91 + 923x92 + 404x93 + 239x94 + 977x95 + 594x96 + 653x97 + 982x98 + 817x99 + 986x100 <= 36375 constr10: + 850x1 + 996x2 + 740x3 + 109x4 + 400x5 + 882x6 + 778x7 + 419x8 + 683x9 + 482x10 + 989x11 + 442x12 + 833x13 + 686x14 + 440x15 + 839x16 + 108x17 + 476x18 + 852x19 + 431x20 + 307x21 + 900x22 + 494x23 + 729x24 + 304x25 + 884x26 + 142x27 + 88x28 + 577x29 + 174x30 + 319x31 + 212x32 + 17x33 + 718x34 + 299x35 + 719x36 + 566x37 + 31x38 + 382x39 + 618x40 + 459x41 + 5x42 + 544x43 + 216x44 + 349x45 + 690x46 + 758x47 + 936x48 + 520x49 + 611x50 + 840x51 + 37x52 + 282x53 + 122x54 + 954x55 + 935x56 + 829x57 + 300x58 + 269x59 + 33x60 + 143x61 + 571x62 + 661x63 + 387x64 + 499x65 + 483x66 + 859x67 + 504x68 + 31x69 + 302x70 + 42x71 + 887x72 + 958x73 + 970x74 + 636x75 + 644x76 + 350x77 + 432x78 + 252x79 + 838x80 + 697x81 + 869x82 + 915x83 + 136x84 + 325x85 + 906x86 + 726x87 + 274x88 + 326x89 + 190x90 + 52x91 + 208x92 + 529x93 + 329x94 + 3x95 + 384x96 + 97x97 + 49x98 + 962x99 + 542x100 <= 35741 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