minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36627.426000 s2: s + 0.001000f1 + 0.501000f2 >= 36627.426000 f1: -f1 + 778x1 + 748x2 + 567x3 + 769x4 + 412x5 + 605x6 + 530x7 + 963x8 + 437x9 + 821x10 + 772x11 + 937x12 + 638x13 + 726x14 + 369x15 + 887x16 + 908x17 + 433x18 + 989x19 + 728x20 + 863x21 + 906x22 + 587x23 + 544x24 + 666x25 + 878x26 + 814x27 + 697x28 + 867x29 + 803x30 + 842x31 + 936x32 + 834x33 + 1032x34 + 779x35 + 840x36 + 960x37 + 845x38 + 705x39 + 783x40 + 618x41 + 993x42 + 793x43 + 1022x44 + 891x45 + 592x46 + 730x47 + 532x48 + 698x49 + 575x50 + 512x51 + 741x52 + 647x53 + 1042x54 + 422x55 + 846x56 + 962x57 + 754x58 + 766x59 + 867x60 + 733x61 + 856x62 + 957x63 + 795x64 + 491x65 + 697x66 + 976x67 + 471x68 + 599x69 + 763x70 + 863x71 + 912x72 + 942x73 + 650x74 + 710x75 + 638x76 + 493x77 + 540x78 + 818x79 + 872x80 + 803x81 + 833x82 + 906x83 + 774x84 + 468x85 + 592x86 + 617x87 + 895x88 + 747x89 + 547x90 + 670x91 + 841x92 + 394x93 + 586x94 + 495x95 + 545x96 + 711x97 + 411x98 + 562x99 + 589x100 = 0 f2: -f2 + 495x1 + 545x2 + 912x3 + 747x4 + 638x5 + 841x6 + 697x7 + 592x8 + 769x9 + 730x10 + 863x11 + 726x12 + 741x13 + 422x14 + 895x15 + 840x16 + 834x17 + 814x18 + 705x19 + 962x20 + 845x21 + 942x22 + 846x23 + 963x24 + 887x25 + 491x26 + 530x27 + 547x28 + 647x29 + 586x30 + 779x31 + 587x32 + 599x33 + 766x34 + 976x35 + 833x36 + 748x37 + 906x38 + 937x39 + 772x40 + 803x41 + 1032x42 + 710x43 + 856x44 + 562x45 + 906x46 + 698x47 + 670x48 + 697x49 + 878x50 + 863x51 + 908x52 + 774x53 + 821x54 + 540x55 + 412x56 + 394x57 + 867x58 + 936x59 + 592x60 + 842x61 + 512x62 + 618x63 + 493x64 + 989x65 + 728x66 + 795x67 + 763x68 + 605x69 + 589x70 + 666x71 + 960x72 + 471x73 + 778x74 + 783x75 + 544x76 + 891x77 + 803x78 + 793x79 + 1042x80 + 437x81 + 411x82 + 575x83 + 650x84 + 957x85 + 567x86 + 867x87 + 433x88 + 532x89 + 1022x90 + 617x91 + 638x92 + 733x93 + 818x94 + 711x95 + 369x96 + 872x97 + 754x98 + 468x99 + 993x100 = 0 constr1: + 823x1 + 797x2 + 768x3 + 994x4 + 839x5 + 569x6 + 177x7 + 45x8 + 927x9 + 469x10 + 794x11 + 883x12 + 408x13 + 865x14 + 873x15 + 363x16 + 912x17 + 938x18 + 82x19 + 198x20 + 1000x21 + 785x22 + 733x23 + 452x24 + 239x25 + 651x26 + 766x27 + 297x28 + 94x29 + 233x30 + 861x31 + 914x32 + 116x33 + 488x34 + 390x35 + 299x36 + 178x37 + 889x38 + 569x39 + 898x40 + 398x41 + 127x42 + 897x43 + 290x44 + 723x45 + 486x46 + 206x47 + 939x48 + 725x49 + 416x50 + 677x51 + 535x52 + 854x53 + 647x54 + 69x55 + 165x56 + 422x57 + 113x58 + 170x59 + 232x60 + 420x61 + 325x62 + 140x63 + 663x64 + 945x65 + 185x66 + 767x67 + 332x68 + 732x69 + 397x70 + 387x71 + 919x72 + 12x73 + 319x74 + 715x75 + 834x76 + 932x77 + 415x78 + 503x79 + 189x80 + 744x81 + 755x82 + 20x83 + 993x84 + 203x85 + 202x86 + 745x87 + 935x88 + 99x89 + 723x90 + 890x91 + 456x92 + 297x93 + 989x94 + 903x95 + 733x96 + 244x97 + 350x98 + 99x99 + 935x100 <= 12013 constr2: + 297x1 + 685x2 + 343x3 + 761x4 + 814x5 + 255x6 + 286x7 + 140x8 + 420x9 + 1000x10 + 167x11 + 492x12 + 190x13 + 270x14 + 414x15 + 352x16 + 254x17 + 780x18 + 410x19 + 561x20 + 343x21 + 123x22 + 379x23 + 501x24 + 482x25 + 181x26 + 417x27 + 371x28 + 884x29 + 594x30 + 950x31 + 395x32 + 676x33 + 677x34 + 569x35 + 134x36 + 607x37 + 230x38 + 459x39 + 32x40 + 118x41 + 960x42 + 724x43 + 315x44 + 549x45 + 634x46 + 245x47 + 573x48 + 324x49 + 616x50 + 581x51 + 231x52 + 736x53 + 985x54 + 479x55 + 173x56 + 97x57 + 488x58 + 200x59 + 563x60 + 939x61 + 861x62 + 683x63 + 733x64 + 743x65 + 660x66 + 447x67 + 348x68 + 337x69 + 691x70 + 21x71 + 646x72 + 969x73 + 278x74 + 893x75 + 564x76 + 356x77 + 340x78 + 816x79 + 395x80 + 27x81 + 769x82 + 29x83 + 421x84 + 873x85 + 172x86 + 606x87 + 840x88 + 607x89 + 433x90 + 786x91 + 44x92 + 122x93 + 494x94 + 131x95 + 128x96 + 289x97 + 960x98 + 128x99 + 132x100 <= 11822 constr3: + 543x1 + 37x2 + 547x3 + 95x4 + 695x5 + 498x6 + 971x7 + 400x8 + 400x9 + 27x10 + 88x11 + 162x12 + 86x13 + 61x14 + 597x15 + 735x16 + 866x17 + 174x18 + 297x19 + 28x20 + 896x21 + 411x22 + 582x23 + 515x24 + 706x25 + 436x26 + 764x27 + 154x28 + 972x29 + 60x30 + 605x31 + 203x32 + 744x33 + 811x34 + 840x35 + 20x36 + 402x37 + 430x38 + 825x39 + 383x40 + 923x41 + 780x42 + 397x43 + 97x44 + 112x45 + 994x46 + 337x47 + 893x48 + 978x49 + 510x50 + 34x51 + 145x52 + 773x53 + 173x54 + 220x55 + 37x56 + 411x57 + 614x58 + 749x59 + 25x60 + 545x61 + 782x62 + 601x63 + 413x64 + 94x65 + 205x66 + 310x67 + 929x68 + 601x69 + 861x70 + 399x71 + 197x72 + 635x73 + 720x74 + 692x75 + 191x76 + 879x77 + 185x78 + 622x79 + 363x80 + 118x81 + 136x82 + 981x83 + 588x84 + 439x85 + 793x86 + 875x87 + 38x88 + 713x89 + 27x90 + 512x91 + 542x92 + 146x93 + 267x94 + 198x95 + 262x96 + 338x97 + 849x98 + 773x99 + 28x100 <= 12357 constr4: + 954x1 + 362x2 + 288x3 + 856x4 + 808x5 + 816x6 + 42x7 + 957x8 + 81x9 + 294x10 + 929x11 + 774x12 + 360x13 + 523x14 + 421x15 + 679x16 + 811x17 + 841x18 + 748x19 + 82x20 + 319x21 + 30x22 + 376x23 + 57x24 + 306x25 + 357x26 + 549x27 + 350x28 + 608x29 + 677x30 + 262x31 + 724x32 + 248x33 + 279x34 + 767x35 + 541x36 + 278x37 + 338x38 + 50x39 + 845x40 + 898x41 + 568x42 + 60x43 + 979x44 + 869x45 + 480x46 + 79x47 + 325x48 + 145x49 + 308x50 + 600x51 + 491x52 + 695x53 + 914x54 + 40x55 + 945x56 + 569x57 + 221x58 + 590x59 + 463x60 + 600x61 + 156x62 + 569x63 + 266x64 + 581x65 + 192x66 + 784x67 + 202x68 + 242x69 + 104x70 + 995x71 + 532x72 + 159x73 + 550x74 + 545x75 + 616x76 + 384x77 + 401x78 + 635x79 + 347x80 + 692x81 + 363x82 + 830x83 + 804x84 + 414x85 + 650x86 + 75x87 + 800x88 + 102x89 + 953x90 + 776x91 + 576x92 + 398x93 + 543x94 + 926x95 + 151x96 + 671x97 + 189x98 + 458x99 + 671x100 <= 12501 constr5: + 358x1 + 60x2 + 162x3 + 253x4 + 490x5 + 522x6 + 262x7 + 99x8 + 315x9 + 380x10 + 206x11 + 198x12 + 409x13 + 273x14 + 561x15 + 908x16 + 506x17 + 378x18 + 127x19 + 350x20 + 451x21 + 704x22 + 583x23 + 295x24 + 386x25 + 269x26 + 731x27 + 738x28 + 743x29 + 433x30 + 408x31 + 122x32 + 228x33 + 581x34 + 849x35 + 185x36 + 98x37 + 568x38 + 172x39 + 532x40 + 253x41 + 751x42 + 241x43 + 516x44 + 316x45 + 391x46 + 40x47 + 85x48 + 541x49 + 571x50 + 33x51 + 384x52 + 693x53 + 179x54 + 116x55 + 195x56 + 466x57 + 321x58 + 321x59 + 254x60 + 315x61 + 419x62 + 39x63 + 501x64 + 300x65 + 902x66 + 607x67 + 67x68 + 805x69 + 943x70 + 728x71 + 235x72 + 186x73 + 818x74 + 475x75 + 6x76 + 458x77 + 598x78 + 214x79 + 267x80 + 434x81 + 5x82 + 954x83 + 616x84 + 842x85 + 150x86 + 311x87 + 564x88 + 572x89 + 268x90 + 430x91 + 790x92 + 306x93 + 191x94 + 292x95 + 309x96 + 407x97 + 192x98 + 612x99 + 217x100 <= 11832 constr6: + 187x1 + 126x2 + 426x3 + 939x4 + 954x5 + 332x6 + 454x7 + 167x8 + 890x9 + 441x10 + 777x11 + 52x12 + 502x13 + 802x14 + 52x15 + 559x16 + 469x17 + 104x18 + 162x19 + 429x20 + 952x21 + 568x22 + 173x23 + 476x24 + 277x25 + 508x26 + 112x27 + 713x28 + 592x29 + 866x30 + 125x31 + 689x32 + 191x33 + 114x34 + 438x35 + 107x36 + 836x37 + 371x38 + 486x39 + 746x40 + 733x41 + 804x42 + 983x43 + 734x44 + 429x45 + 557x46 + 395x47 + 650x48 + 58x49 + 333x50 + 214x51 + 692x52 + 351x53 + 219x54 + 377x55 + 826x56 + 314x57 + 688x58 + 742x59 + 202x60 + 957x61 + 994x62 + 856x63 + 735x64 + 14x65 + 609x66 + 538x67 + 33x68 + 641x69 + 107x70 + 917x71 + 459x72 + 11x73 + 569x74 + 61x75 + 493x76 + 287x77 + 737x78 + 355x79 + 66x80 + 99x81 + 68x82 + 706x83 + 873x84 + 554x85 + 696x86 + 964x87 + 982x88 + 218x89 + 990x90 + 396x91 + 112x92 + 701x93 + 91x94 + 523x95 + 658x96 + 58x97 + 49x98 + 334x99 + 245x100 <= 12166 constr7: + 465x1 + 834x2 + 167x3 + 411x4 + 731x5 + 862x6 + 150x7 + 454x8 + 35x9 + 397x10 + 327x11 + 721x12 + 757x13 + 266x14 + 707x15 + 748x16 + 775x17 + 106x18 + 607x19 + 817x20 + 851x21 + 656x22 + 28x23 + 465x24 + 306x25 + 242x26 + 391x27 + 416x28 + 581x29 + 248x30 + 256x31 + 822x32 + 651x33 + 578x34 + 405x35 + 934x36 + 632x37 + 161x38 + 134x39 + 761x40 + 834x41 + 290x42 + 768x43 + 241x44 + 413x45 + 712x46 + 444x47 + 553x48 + 390x49 + 929x50 + 823x51 + 946x52 + 721x53 + 398x54 + 914x55 + 237x56 + 893x57 + 718x58 + 506x59 + 454x60 + 189x61 + 26x62 + 119x63 + 524x64 + 471x65 + 296x66 + 855x67 + 644x68 + 646x69 + 850x70 + 386x71 + 166x72 + 866x73 + 854x74 + 845x75 + 308x76 + 29x77 + 246x78 + 929x79 + 392x80 + 950x81 + 271x82 + 291x83 + 821x84 + 816x85 + 148x86 + 524x87 + 587x88 + 553x89 + 18x90 + 57x91 + 206x92 + 397x93 + 883x94 + 714x95 + 653x96 + 603x97 + 597x98 + 421x99 + 877x100 <= 12680 constr8: + 477x1 + 313x2 + 693x3 + 844x4 + 217x5 + 335x6 + 514x7 + 391x8 + 736x9 + 308x10 + 392x11 + 144x12 + 214x13 + 11x14 + 232x15 + 448x16 + 583x17 + 621x18 + 901x19 + 77x20 + 44x21 + 447x22 + 245x23 + 395x24 + 268x25 + 816x26 + 228x27 + 647x28 + 479x29 + 621x30 + 522x31 + 308x32 + 539x33 + 551x34 + 378x35 + 416x36 + 465x37 + 138x38 + 171x39 + 421x40 + 694x41 + 334x42 + 473x43 + 171x44 + 108x45 + 440x46 + 99x47 + 722x48 + 641x49 + 111x50 + 669x51 + 443x52 + 573x53 + 633x54 + 621x55 + 631x56 + 183x57 + 414x58 + 48x59 + 188x60 + 454x61 + 314x62 + 356x63 + 820x64 + 234x65 + 325x66 + 605x67 + 447x68 + 442x69 + 244x70 + 746x71 + 279x72 + 645x73 + 856x74 + 768x75 + 33x76 + 309x77 + 716x78 + 276x79 + 57x80 + 797x81 + 305x82 + 683x83 + 117x84 + 888x85 + 763x86 + 827x87 + 326x88 + 507x89 + 780x90 + 505x91 + 748x92 + 207x93 + 62x94 + 667x95 + 129x96 + 626x97 + 947x98 + 454x99 + 75x100 <= 11692 constr9: + 124x1 + 912x2 + 124x3 + 464x4 + 943x5 + 800x6 + 169x7 + 805x8 + 914x9 + 354x10 + 171x11 + 518x12 + 875x13 + 812x14 + 606x15 + 366x16 + 658x17 + 247x18 + 922x19 + 267x20 + 623x21 + 967x22 + 370x23 + 672x24 + 163x25 + 422x26 + 967x27 + 317x28 + 739x29 + 783x30 + 132x31 + 564x32 + 739x33 + 749x34 + 993x35 + 644x36 + 79x37 + 540x38 + 298x39 + 967x40 + 105x41 + 276x42 + 991x43 + 870x44 + 8x45 + 179x46 + 540x47 + 874x48 + 293x49 + 130x50 + 785x51 + 635x52 + 774x53 + 910x54 + 73x55 + 779x56 + 317x57 + 726x58 + 845x59 + 961x60 + 408x61 + 641x62 + 951x63 + 977x64 + 8x65 + 599x66 + 49x67 + 696x68 + 397x69 + 661x70 + 350x71 + 610x72 + 294x73 + 611x74 + 430x75 + 183x76 + 820x77 + 767x78 + 93x79 + 199x80 + 726x81 + 858x82 + 842x83 + 628x84 + 555x85 + 177x86 + 626x87 + 614x88 + 222x89 + 35x90 + 493x91 + 542x92 + 347x93 + 191x94 + 461x95 + 214x96 + 973x97 + 645x98 + 292x99 + 877x100 <= 12793 constr10: + 709x1 + 22x2 + 262x3 + 203x4 + 21x5 + 151x6 + 186x7 + 942x8 + 822x9 + 893x10 + 881x11 + 516x12 + 569x13 + 325x14 + 935x15 + 441x16 + 330x17 + 429x18 + 449x19 + 224x20 + 786x21 + 433x22 + 436x23 + 571x24 + 972x25 + 353x26 + 834x27 + 664x28 + 698x29 + 63x30 + 955x31 + 863x32 + 560x33 + 884x34 + 743x35 + 479x36 + 701x37 + 833x38 + 895x39 + 369x40 + 103x41 + 952x42 + 691x43 + 281x44 + 149x45 + 59x46 + 691x47 + 106x48 + 29x49 + 257x50 + 912x51 + 257x52 + 806x53 + 431x54 + 562x55 + 655x56 + 469x57 + 555x58 + 955x59 + 530x60 + 203x61 + 840x62 + 728x63 + 674x64 + 82x65 + 711x66 + 428x67 + 750x68 + 389x69 + 898x70 + 71x71 + 190x72 + 576x73 + 689x74 + 65x75 + 776x76 + 458x77 + 991x78 + 50x79 + 350x80 + 688x81 + 67x82 + 699x83 + 733x84 + 58x85 + 34x86 + 292x87 + 477x88 + 14x89 + 402x90 + 863x91 + 829x92 + 763x93 + 759x94 + 577x95 + 590x96 + 61x97 + 208x98 + 997x99 + 118x100 <= 11481 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