minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 37589.258000 s2: s + 0.001000f1 + 0.501000f2 >= 37589.258000 f1: -f1 + 594x1 + 635x2 + 719x3 + 961x4 + 582x5 + 856x6 + 656x7 + 692x8 + 817x9 + 722x10 + 802x11 + 630x12 + 600x13 + 711x14 + 871x15 + 701x16 + 404x17 + 769x18 + 967x19 + 960x20 + 842x21 + 801x22 + 1086x23 + 681x24 + 559x25 + 498x26 + 692x27 + 823x28 + 689x29 + 707x30 + 1013x31 + 816x32 + 450x33 + 867x34 + 862x35 + 762x36 + 914x37 + 874x38 + 986x39 + 597x40 + 778x41 + 1048x42 + 662x43 + 854x44 + 590x45 + 1063x46 + 790x47 + 750x48 + 712x49 + 1063x50 + 633x51 + 488x52 + 918x53 + 437x54 + 836x55 + 874x56 + 988x57 + 723x58 + 900x59 + 537x60 + 814x61 + 897x62 + 778x63 + 766x64 + 492x65 + 690x66 + 685x67 + 630x68 + 533x69 + 687x70 + 947x71 + 572x72 + 927x73 + 643x74 + 691x75 + 647x76 + 800x77 + 821x78 + 940x79 + 553x80 + 755x81 + 1009x82 + 756x83 + 375x84 + 352x85 + 907x86 + 741x87 + 621x88 + 519x89 + 1067x90 + 683x91 + 516x92 + 798x93 + 776x94 + 924x95 + 545x96 + 644x97 + 876x98 + 893x99 + 797x100 = 0 f2: -f2 + 876x1 + 862x2 + 893x3 + 582x4 + 907x5 + 545x6 + 643x7 + 722x8 + 692x9 + 874x10 + 871x11 + 712x12 + 723x13 + 630x14 + 816x15 + 711x16 + 597x17 + 701x18 + 1086x19 + 572x20 + 741x21 + 1013x22 + 967x23 + 450x24 + 594x25 + 600x26 + 960x27 + 488x28 + 656x29 + 927x30 + 801x31 + 918x32 + 437x33 + 940x34 + 802x35 + 836x36 + 766x37 + 683x38 + 559x39 + 352x40 + 790x41 + 900x42 + 823x43 + 519x44 + 798x45 + 635x46 + 1048x47 + 516x48 + 797x49 + 707x50 + 687x51 + 647x52 + 756x53 + 621x54 + 375x55 + 924x56 + 1067x57 + 1063x58 + 681x59 + 590x60 + 644x61 + 689x62 + 817x63 + 662x64 + 874x65 + 537x66 + 498x67 + 897x68 + 755x69 + 778x70 + 630x71 + 685x72 + 633x73 + 800x74 + 986x75 + 914x76 + 778x77 + 1063x78 + 719x79 + 762x80 + 692x81 + 553x82 + 867x83 + 404x84 + 1009x85 + 856x86 + 691x87 + 842x88 + 947x89 + 821x90 + 988x91 + 492x92 + 961x93 + 776x94 + 769x95 + 854x96 + 814x97 + 533x98 + 750x99 + 690x100 = 0 constr1: + 669x1 + 3x2 + 82x3 + 955x4 + 86x5 + 113x6 + 28x7 + 294x8 + 36x9 + 680x10 + 136x11 + 114x12 + 302x13 + 245x14 + 995x15 + 387x16 + 613x17 + 681x18 + 581x19 + 344x20 + 175x21 + 736x22 + 930x23 + 83x24 + 413x25 + 331x26 + 25x27 + 788x28 + 543x29 + 679x30 + 438x31 + 140x32 + 422x33 + 926x34 + 401x35 + 956x36 + 623x37 + 235x38 + 254x39 + 637x40 + 332x41 + 776x42 + 950x43 + 776x44 + 300x45 + 154x46 + 451x47 + 485x48 + 81x49 + 970x50 + 510x51 + 118x52 + 415x53 + 756x54 + 106x55 + 563x56 + 121x57 + 881x58 + 800x59 + 77x60 + 53x61 + 62x62 + 443x63 + 623x64 + 261x65 + 773x66 + 947x67 + 38x68 + 526x69 + 937x70 + 964x71 + 422x72 + 563x73 + 5x74 + 998x75 + 878x76 + 970x77 + 292x78 + 661x79 + 168x80 + 91x81 + 631x82 + 289x83 + 572x84 + 86x85 + 684x86 + 845x87 + 884x88 + 667x89 + 308x90 + 809x91 + 704x92 + 674x93 + 530x94 + 890x95 + 82x96 + 155x97 + 265x98 + 951x99 + 456x100 <= 32372 constr2: + 147x1 + 215x2 + 372x3 + 319x4 + 361x5 + 392x6 + 817x7 + 861x8 + 669x9 + 133x10 + 958x11 + 646x12 + 778x13 + 714x14 + 817x15 + 75x16 + 378x17 + 149x18 + 997x19 + 144x20 + 152x21 + 922x22 + 625x23 + 735x24 + 582x25 + 529x26 + 429x27 + 269x28 + 997x29 + 692x30 + 730x31 + 341x32 + 730x33 + 267x34 + 713x35 + 19x36 + 965x37 + 338x38 + 369x39 + 144x40 + 170x41 + 768x42 + 276x43 + 515x44 + 594x45 + 32x46 + 272x47 + 596x48 + 201x49 + 809x50 + 264x51 + 833x52 + 439x53 + 391x54 + 722x55 + 10x56 + 826x57 + 386x58 + 905x59 + 679x60 + 753x61 + 165x62 + 235x63 + 247x64 + 576x65 + 374x66 + 722x67 + 753x68 + 72x69 + 658x70 + 989x71 + 533x72 + 262x73 + 280x74 + 893x75 + 265x76 + 209x77 + 115x78 + 739x79 + 215x80 + 727x81 + 691x82 + 167x83 + 923x84 + 607x85 + 610x86 + 408x87 + 352x88 + 438x89 + 937x90 + 753x91 + 754x92 + 252x93 + 267x94 + 607x95 + 163x96 + 6x97 + 542x98 + 542x99 + 160x100 <= 38120 constr3: + 95x1 + 270x2 + 440x3 + 67x4 + 156x5 + 566x6 + 348x7 + 208x8 + 126x9 + 338x10 + 383x11 + 868x12 + 847x13 + 811x14 + 154x15 + 196x16 + 75x17 + 804x18 + 623x19 + 692x20 + 587x21 + 502x22 + 510x23 + 576x24 + 36x25 + 203x26 + 672x27 + 691x28 + 470x29 + 292x30 + 84x31 + 146x32 + 464x33 + 406x34 + 799x35 + 559x36 + 673x37 + 206x38 + 262x39 + 280x40 + 614x41 + 291x42 + 548x43 + 208x44 + 425x45 + 843x46 + 417x47 + 979x48 + 214x49 + 346x50 + 262x51 + 668x52 + 774x53 + 280x54 + 676x55 + 624x56 + 599x57 + 641x58 + 133x59 + 530x60 + 167x61 + 981x62 + 431x63 + 728x64 + 846x65 + 200x66 + 958x67 + 778x68 + 211x69 + 930x70 + 936x71 + 832x72 + 988x73 + 134x74 + 425x75 + 763x76 + 185x77 + 301x78 + 984x79 + 112x80 + 607x81 + 618x82 + 942x83 + 802x84 + 335x85 + 901x86 + 107x87 + 351x88 + 46x89 + 954x90 + 842x91 + 393x92 + 925x93 + 1x94 + 114x95 + 772x96 + 9x97 + 318x98 + 454x99 + 340x100 <= 33282 constr4: + 407x1 + 86x2 + 760x3 + 403x4 + 844x5 + 767x6 + 233x7 + 918x8 + 862x9 + 825x10 + 525x11 + 836x12 + 363x13 + 943x14 + 643x15 + 37x16 + 838x17 + 742x18 + 124x19 + 990x20 + 184x21 + 226x22 + 645x23 + 526x24 + 115x25 + 249x26 + 160x27 + 348x28 + 863x29 + 68x30 + 938x31 + 213x32 + 327x33 + 787x34 + 44x35 + 344x36 + 187x37 + 480x38 + 564x39 + 333x40 + 789x41 + 513x42 + 979x43 + 583x44 + 302x45 + 713x46 + 271x47 + 423x48 + 249x49 + 421x50 + 713x51 + 963x52 + 165x53 + 617x54 + 565x55 + 9x56 + 941x57 + 867x58 + 127x59 + 662x60 + 825x61 + 396x62 + 163x63 + 652x64 + 341x65 + 548x66 + 226x67 + 429x68 + 23x69 + 893x70 + 41x71 + 779x72 + 987x73 + 797x74 + 723x75 + 330x76 + 400x77 + 343x78 + 37x79 + 898x80 + 698x81 + 936x82 + 727x83 + 575x84 + 560x85 + 964x86 + 288x87 + 651x88 + 165x89 + 425x90 + 864x91 + 273x92 + 586x93 + 944x94 + 597x95 + 409x96 + 240x97 + 521x98 + 33x99 + 17x100 <= 34572 constr5: + 769x1 + 476x2 + 581x3 + 233x4 + 702x5 + 214x6 + 437x7 + 835x8 + 373x9 + 242x10 + 549x11 + 319x12 + 275x13 + 413x14 + 572x15 + 616x16 + 758x17 + 548x18 + 514x19 + 265x20 + 363x21 + 707x22 + 361x23 + 747x24 + 898x25 + 361x26 + 533x27 + 260x28 + 111x29 + 767x30 + 473x31 + 245x32 + 809x33 + 263x34 + 140x35 + 737x36 + 572x37 + 601x38 + 166x39 + 11x40 + 984x41 + 661x42 + 861x43 + 967x44 + 849x45 + 758x46 + 716x47 + 45x48 + 304x49 + 691x50 + 49x51 + 731x52 + 767x53 + 935x54 + 636x55 + 42x56 + 166x57 + 656x58 + 85x59 + 534x60 + 235x61 + 713x62 + 501x63 + 601x64 + 931x65 + 90x66 + 289x67 + 126x68 + 692x69 + 629x70 + 85x71 + 56x72 + 53x73 + 273x74 + 517x75 + 323x76 + 10x77 + 377x78 + 643x79 + 223x80 + 988x81 + 291x82 + 134x83 + 763x84 + 164x85 + 483x86 + 439x87 + 997x88 + 93x89 + 552x90 + 620x91 + 421x92 + 65x93 + 372x94 + 487x95 + 257x96 + 537x97 + 310x98 + 6x99 + 976x100 <= 37627 constr6: + 207x1 + 168x2 + 84x3 + 311x4 + 473x5 + 746x6 + 193x7 + 219x8 + 170x9 + 118x10 + 327x11 + 739x12 + 247x13 + 47x14 + 652x15 + 165x16 + 644x17 + 272x18 + 672x19 + 661x20 + 421x21 + 299x22 + 167x23 + 67x24 + 199x25 + 711x26 + 105x27 + 322x28 + 631x29 + 59x30 + 11x31 + 386x32 + 183x33 + 222x34 + 917x35 + 469x36 + 815x37 + 265x38 + 916x39 + 691x40 + 703x41 + 281x42 + 848x43 + 263x44 + 968x45 + 456x46 + 198x47 + 114x48 + 58x49 + 411x50 + 517x51 + 414x52 + 965x53 + 523x54 + 202x55 + 242x56 + 883x57 + 398x58 + 261x59 + 922x60 + 386x61 + 70x62 + 132x63 + 798x64 + 740x65 + 814x66 + 414x67 + 72x68 + 656x69 + 626x70 + 567x71 + 464x72 + 641x73 + 606x74 + 833x75 + 554x76 + 484x77 + 475x78 + 519x79 + 709x80 + 565x81 + 80x82 + 873x83 + 612x84 + 304x85 + 637x86 + 645x87 + 462x88 + 514x89 + 424x90 + 298x91 + 472x92 + 32x93 + 226x94 + 613x95 + 479x96 + 36x97 + 64x98 + 406x99 + 25x100 <= 39398 constr7: + 981x1 + 345x2 + 60x3 + 139x4 + 975x5 + 694x6 + 21x7 + 732x8 + 98x9 + 389x10 + 505x11 + 377x12 + 687x13 + 157x14 + 389x15 + 742x16 + 646x17 + 286x18 + 419x19 + 489x20 + 888x21 + 55x22 + 560x23 + 297x24 + 62x25 + 818x26 + 563x27 + 851x28 + 265x29 + 221x30 + 738x31 + 532x32 + 723x33 + 489x34 + 486x35 + 525x36 + 467x37 + 917x38 + 412x39 + 304x40 + 291x41 + 33x42 + 972x43 + 326x44 + 538x45 + 365x46 + 20x47 + 322x48 + 404x49 + 714x50 + 172x51 + 29x52 + 528x53 + 726x54 + 553x55 + 826x56 + 31x57 + 370x58 + 508x59 + 737x60 + 993x61 + 461x62 + 459x63 + 718x64 + 762x65 + 177x66 + 117x67 + 857x68 + 535x69 + 546x70 + 383x71 + 6x72 + 716x73 + 388x74 + 212x75 + 397x76 + 535x77 + 69x78 + 239x79 + 937x80 + 515x81 + 245x82 + 761x83 + 707x84 + 296x85 + 435x86 + 407x87 + 365x88 + 352x89 + 104x90 + 386x91 + 618x92 + 946x93 + 972x94 + 344x95 + 731x96 + 729x97 + 47x98 + 272x99 + 577x100 <= 35498 constr8: + 412x1 + 252x2 + 474x3 + 362x4 + 45x5 + 289x6 + 683x7 + 223x8 + 434x9 + 140x10 + 715x11 + 85x12 + 32x13 + 76x14 + 406x15 + 124x16 + 858x17 + 814x18 + 436x19 + 677x20 + 220x21 + 786x22 + 471x23 + 159x24 + 281x25 + 373x26 + 752x27 + 645x28 + 356x29 + 447x30 + 41x31 + 268x32 + 360x33 + 268x34 + 945x35 + 543x36 + 770x37 + 589x38 + 517x39 + 37x40 + 180x41 + 982x42 + 148x43 + 567x44 + 218x45 + 911x46 + 369x47 + 917x48 + 231x49 + 550x50 + 162x51 + 840x52 + 847x53 + 889x54 + 341x55 + 815x56 + 700x57 + 222x58 + 824x59 + 933x60 + 107x61 + 438x62 + 590x63 + 383x64 + 526x65 + 75x66 + 607x67 + 152x68 + 578x69 + 128x70 + 590x71 + 927x72 + 616x73 + 671x74 + 363x75 + 293x76 + 254x77 + 242x78 + 264x79 + 610x80 + 742x81 + 45x82 + 391x83 + 695x84 + 299x85 + 832x86 + 968x87 + 131x88 + 681x89 + 456x90 + 173x91 + 296x92 + 868x93 + 396x94 + 545x95 + 781x96 + 118x97 + 979x98 + 218x99 + 621x100 <= 38167 constr9: + 903x1 + 465x2 + 896x3 + 839x4 + 782x5 + 565x6 + 445x7 + 564x8 + 174x9 + 145x10 + 465x11 + 767x12 + 530x13 + 277x14 + 441x15 + 529x16 + 224x17 + 376x18 + 867x19 + 451x20 + 985x21 + 338x22 + 437x23 + 261x24 + 84x25 + 351x26 + 988x27 + 378x28 + 570x29 + 313x30 + 432x31 + 88x32 + 888x33 + 444x34 + 572x35 + 154x36 + 74x37 + 210x38 + 617x39 + 336x40 + 637x41 + 583x42 + 426x43 + 572x44 + 26x45 + 771x46 + 512x47 + 541x48 + 168x49 + 453x50 + 485x51 + 886x52 + 361x53 + 685x54 + 402x55 + 350x56 + 530x57 + 871x58 + 787x59 + 343x60 + 557x61 + 253x62 + 16x63 + 889x64 + 184x65 + 452x66 + 380x67 + 694x68 + 845x69 + 763x70 + 352x71 + 973x72 + 378x73 + 513x74 + 919x75 + 794x76 + 273x77 + 926x78 + 657x79 + 475x80 + 48x81 + 751x82 + 642x83 + 506x84 + 447x85 + 245x86 + 794x87 + 759x88 + 23x89 + 604x90 + 205x91 + 677x92 + 671x93 + 454x94 + 682x95 + 827x96 + 95x97 + 160x98 + 422x99 + 434x100 <= 38985 constr10: + 334x1 + 457x2 + 968x3 + 984x4 + 928x5 + 485x6 + 626x7 + 258x8 + 886x9 + 209x10 + 967x11 + 831x12 + 804x13 + 916x14 + 569x15 + 550x16 + 588x17 + 689x18 + 47x19 + 215x20 + 113x21 + 352x22 + 211x23 + 929x24 + 492x25 + 68x26 + 971x27 + 340x28 + 473x29 + 5x30 + 307x31 + 725x32 + 512x33 + 974x34 + 903x35 + 583x36 + 54x37 + 62x38 + 771x39 + 823x40 + 643x41 + 153x42 + 925x43 + 325x44 + 709x45 + 902x46 + 503x47 + 248x48 + 786x49 + 456x50 + 328x51 + 624x52 + 647x53 + 384x54 + 834x55 + 315x56 + 261x57 + 591x58 + 668x59 + 579x60 + 32x61 + 134x62 + 655x63 + 60x64 + 105x65 + 176x66 + 514x67 + 545x68 + 804x69 + 605x70 + 96x71 + 686x72 + 585x73 + 799x74 + 975x75 + 29x76 + 820x77 + 822x78 + 426x79 + 851x80 + 719x81 + 998x82 + 286x83 + 66x84 + 757x85 + 677x86 + 189x87 + 495x88 + 870x89 + 88x90 + 792x91 + 883x92 + 392x93 + 445x94 + 111x95 + 284x96 + 426x97 + 913x98 + 705x99 + 348x100 <= 34094 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