minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 35773.524000 s2: s + 0.001000f1 + 0.501000f2 >= 35773.524000 f1: -f1 + 486x1 + 737x2 + 887x3 + 556x4 + 775x5 + 314x6 + 592x7 + 522x8 + 694x9 + 388x10 + 702x11 + 598x12 + 916x13 + 722x14 + 895x15 + 696x16 + 561x17 + 479x18 + 964x19 + 650x20 + 849x21 + 541x22 + 996x23 + 504x24 + 791x25 + 499x26 + 309x27 + 895x28 + 482x29 + 862x30 + 793x31 + 860x32 + 886x33 + 544x34 + 667x35 + 539x36 + 719x37 + 722x38 + 592x39 + 951x40 + 602x41 + 882x42 + 502x43 + 1003x44 + 626x45 + 827x46 + 742x47 + 709x48 + 737x49 + 589x50 + 689x51 + 594x52 + 750x53 + 866x54 + 633x55 + 763x56 + 559x57 + 926x58 + 563x59 + 671x60 + 651x61 + 907x62 + 630x63 + 688x64 + 735x65 + 704x66 + 1004x67 + 480x68 + 474x69 + 729x70 + 523x71 + 867x72 + 701x73 + 959x74 + 833x75 + 972x76 + 818x77 + 665x78 + 866x79 + 589x80 + 698x81 + 501x82 + 844x83 + 857x84 + 723x85 + 504x86 + 834x87 + 754x88 + 961x89 + 427x90 + 1052x91 + 906x92 + 851x93 + 713x94 + 859x95 + 587x96 + 841x97 + 604x98 + 671x99 + 912x100 = 0 f2: -f2 + 504x1 + 722x2 + 866x3 + 665x4 + 851x5 + 541x6 + 704x7 + 696x8 + 912x9 + 502x10 + 482x11 + 972x12 + 671x13 + 594x14 + 1003x15 + 486x16 + 959x17 + 504x18 + 886x19 + 626x20 + 651x21 + 587x22 + 926x23 + 602x24 + 906x25 + 589x26 + 750x27 + 501x28 + 499x29 + 867x30 + 818x31 + 729x32 + 754x33 + 630x34 + 522x35 + 951x36 + 844x37 + 895x38 + 689x39 + 742x40 + 709x41 + 735x42 + 866x43 + 961x44 + 650x45 + 480x46 + 694x47 + 598x48 + 857x49 + 559x50 + 791x51 + 427x52 + 702x53 + 523x54 + 604x55 + 827x56 + 633x57 + 561x58 + 563x59 + 1004x60 + 474x61 + 589x62 + 882x63 + 849x64 + 1052x65 + 719x66 + 701x67 + 698x68 + 314x69 + 592x70 + 309x71 + 539x72 + 833x73 + 592x74 + 544x75 + 775x76 + 834x77 + 763x78 + 895x79 + 671x80 + 688x81 + 907x82 + 841x83 + 862x84 + 479x85 + 859x86 + 722x87 + 667x88 + 964x89 + 916x90 + 887x91 + 996x92 + 860x93 + 723x94 + 737x95 + 713x96 + 737x97 + 388x98 + 793x99 + 556x100 = 0 constr1: + 859x1 + 695x2 + 19x3 + 227x4 + 813x5 + 452x6 + 935x7 + 250x8 + 375x9 + 401x10 + 71x11 + 578x12 + 684x13 + 601x14 + 901x15 + 314x16 + 355x17 + 819x18 + 334x19 + 368x20 + 970x21 + 258x22 + 956x23 + 173x24 + 455x25 + 108x26 + 253x27 + 765x28 + 455x29 + 12x30 + 355x31 + 9x32 + 521x33 + 730x34 + 908x35 + 23x36 + 217x37 + 176x38 + 322x39 + 743x40 + 728x41 + 589x42 + 986x43 + 621x44 + 232x45 + 451x46 + 23x47 + 772x48 + 19x49 + 931x50 + 382x51 + 703x52 + 43x53 + 374x54 + 402x55 + 576x56 + 9x57 + 555x58 + 407x59 + 443x60 + 737x61 + 446x62 + 385x63 + 849x64 + 354x65 + 110x66 + 388x67 + 184x68 + 240x69 + 740x70 + 19x71 + 248x72 + 955x73 + 600x74 + 108x75 + 950x76 + 64x77 + 406x78 + 840x79 + 218x80 + 101x81 + 763x82 + 709x83 + 738x84 + 671x85 + 971x86 + 150x87 + 671x88 + 62x89 + 964x90 + 600x91 + 966x92 + 614x93 + 849x94 + 245x95 + 654x96 + 605x97 + 570x98 + 355x99 + 902x100 <= 11222 constr2: + 750x1 + 171x2 + 193x3 + 608x4 + 944x5 + 902x6 + 690x7 + 237x8 + 289x9 + 452x10 + 518x11 + 287x12 + 808x13 + 24x14 + 505x15 + 485x16 + 495x17 + 741x18 + 955x19 + 985x20 + 845x21 + 597x22 + 50x23 + 573x24 + 731x25 + 838x26 + 454x27 + 226x28 + 441x29 + 322x30 + 218x31 + 665x32 + 288x33 + 333x34 + 39x35 + 653x36 + 135x37 + 592x38 + 739x39 + 652x40 + 904x41 + 651x42 + 948x43 + 475x44 + 978x45 + 92x46 + 775x47 + 673x48 + 55x49 + 115x50 + 765x51 + 65x52 + 750x53 + 472x54 + 139x55 + 635x56 + 168x57 + 161x58 + 328x59 + 169x60 + 245x61 + 943x62 + 416x63 + 732x64 + 286x65 + 232x66 + 165x67 + 271x68 + 562x69 + 797x70 + 187x71 + 737x72 + 747x73 + 922x74 + 401x75 + 269x76 + 392x77 + 923x78 + 5x79 + 819x80 + 243x81 + 107x82 + 127x83 + 142x84 + 74x85 + 101x86 + 67x87 + 766x88 + 569x89 + 926x90 + 65x91 + 94x92 + 580x93 + 55x94 + 118x95 + 341x96 + 751x97 + 837x98 + 787x99 + 447x100 <= 12219 constr3: + 83x1 + 319x2 + 840x3 + 726x4 + 528x5 + 143x6 + 205x7 + 320x8 + 699x9 + 750x10 + 452x11 + 403x12 + 499x13 + 82x14 + 679x15 + 851x16 + 372x17 + 965x18 + 673x19 + 223x20 + 964x21 + 981x22 + 327x23 + 868x24 + 775x25 + 948x26 + 744x27 + 848x28 + 874x29 + 367x30 + 866x31 + 609x32 + 273x33 + 553x34 + 150x35 + 870x36 + 220x37 + 280x38 + 841x39 + 722x40 + 531x41 + 484x42 + 155x43 + 782x44 + 543x45 + 333x46 + 130x47 + 790x48 + 179x49 + 891x50 + 846x51 + 961x52 + 773x53 + 998x54 + 84x55 + 307x56 + 184x57 + 46x58 + 662x59 + 956x60 + 427x61 + 898x62 + 359x63 + 49x64 + 825x65 + 243x66 + 369x67 + 704x68 + 984x69 + 783x70 + 193x71 + 815x72 + 524x73 + 705x74 + 199x75 + 428x76 + 92x77 + 670x78 + 169x79 + 419x80 + 594x81 + 24x82 + 287x83 + 541x84 + 630x85 + 973x86 + 31x87 + 509x88 + 529x89 + 526x90 + 272x91 + 91x92 + 988x93 + 947x94 + 440x95 + 164x96 + 520x97 + 411x98 + 737x99 + 54x100 <= 13288 constr4: + 297x1 + 48x2 + 141x3 + 669x4 + 597x5 + 732x6 + 418x7 + 774x8 + 823x9 + 63x10 + 336x11 + 657x12 + 403x13 + 696x14 + 82x15 + 45x16 + 580x17 + 492x18 + 783x19 + 509x20 + 454x21 + 164x22 + 275x23 + 679x24 + 923x25 + 667x26 + 988x27 + 61x28 + 913x29 + 818x30 + 136x31 + 134x32 + 120x33 + 653x34 + 636x35 + 44x36 + 910x37 + 765x38 + 36x39 + 133x40 + 245x41 + 630x42 + 248x43 + 516x44 + 921x45 + 57x46 + 419x47 + 415x48 + 932x49 + 553x50 + 101x51 + 777x52 + 124x53 + 280x54 + 464x55 + 256x56 + 594x57 + 833x58 + 580x59 + 494x60 + 923x61 + 238x62 + 836x63 + 290x64 + 545x65 + 466x66 + 169x67 + 150x68 + 697x69 + 309x70 + 444x71 + 264x72 + 220x73 + 709x74 + 502x75 + 635x76 + 624x77 + 433x78 + 955x79 + 325x80 + 230x81 + 214x82 + 424x83 + 233x84 + 436x85 + 700x86 + 154x87 + 77x88 + 115x89 + 240x90 + 433x91 + 211x92 + 239x93 + 570x94 + 166x95 + 794x96 + 932x97 + 942x98 + 811x99 + 804x100 <= 11109 constr5: + 690x1 + 821x2 + 522x3 + 887x4 + 106x5 + 244x6 + 681x7 + 586x8 + 65x9 + 57x10 + 329x11 + 377x12 + 97x13 + 996x14 + 788x15 + 3x16 + 48x17 + 490x18 + 157x19 + 699x20 + 655x21 + 875x22 + 123x23 + 95x24 + 516x25 + 366x26 + 684x27 + 180x28 + 706x29 + 769x30 + 366x31 + 150x32 + 693x33 + 36x34 + 526x35 + 578x36 + 625x37 + 549x38 + 539x39 + 607x40 + 890x41 + 251x42 + 977x43 + 990x44 + 676x45 + 974x46 + 609x47 + 264x48 + 107x49 + 139x50 + 381x51 + 590x52 + 145x53 + 899x54 + 695x55 + 344x56 + 700x57 + 642x58 + 33x59 + 465x60 + 479x61 + 410x62 + 436x63 + 8x64 + 295x65 + 47x66 + 315x67 + 750x68 + 726x69 + 659x70 + 431x71 + 180x72 + 146x73 + 266x74 + 676x75 + 372x76 + 973x77 + 141x78 + 72x79 + 462x80 + 116x81 + 969x82 + 224x83 + 651x84 + 642x85 + 759x86 + 357x87 + 330x88 + 580x89 + 883x90 + 641x91 + 432x92 + 4x93 + 263x94 + 581x95 + 514x96 + 720x97 + 376x98 + 844x99 + 531x100 <= 12507 constr6: + 10x1 + 352x2 + 496x3 + 93x4 + 286x5 + 540x6 + 337x7 + 967x8 + 151x9 + 928x10 + 798x11 + 333x12 + 162x13 + 148x14 + 737x15 + 262x16 + 15x17 + 884x18 + 264x19 + 491x20 + 514x21 + 814x22 + 671x23 + 392x24 + 459x25 + 519x26 + 27x27 + 296x28 + 424x29 + 837x30 + 223x31 + 103x32 + 289x33 + 276x34 + 537x35 + 272x36 + 449x37 + 876x38 + 788x39 + 79x40 + 306x41 + 31x42 + 246x43 + 487x44 + 671x45 + 398x46 + 56x47 + 531x48 + 833x49 + 682x50 + 731x51 + 142x52 + 149x53 + 733x54 + 840x55 + 109x56 + 2x57 + 833x58 + 917x59 + 98x60 + 46x61 + 597x62 + 589x63 + 33x64 + 736x65 + 382x66 + 126x67 + 853x68 + 612x69 + 682x70 + 146x71 + 538x72 + 876x73 + 580x74 + 905x75 + 370x76 + 476x77 + 565x78 + 340x79 + 2x80 + 100x81 + 479x82 + 937x83 + 596x84 + 696x85 + 378x86 + 428x87 + 396x88 + 41x89 + 57x90 + 242x91 + 214x92 + 211x93 + 484x94 + 462x95 + 341x96 + 814x97 + 669x98 + 550x99 + 3x100 <= 11673 constr7: + 347x1 + 571x2 + 247x3 + 779x4 + 492x5 + 51x6 + 151x7 + 927x8 + 332x9 + 340x10 + 830x11 + 844x12 + 45x13 + 105x14 + 743x15 + 666x16 + 499x17 + 553x18 + 880x19 + 473x20 + 89x21 + 888x22 + 301x23 + 954x24 + 272x25 + 880x26 + 652x27 + 818x28 + 381x29 + 962x30 + 584x31 + 45x32 + 34x33 + 240x34 + 384x35 + 254x36 + 754x37 + 468x38 + 895x39 + 682x40 + 192x41 + 400x42 + 884x43 + 980x44 + 550x45 + 502x46 + 913x47 + 72x48 + 616x49 + 415x50 + 518x51 + 228x52 + 297x53 + 247x54 + 741x55 + 488x56 + 850x57 + 301x58 + 726x59 + 858x60 + 841x61 + 181x62 + 131x63 + 702x64 + 405x65 + 400x66 + 154x67 + 344x68 + 21x69 + 216x70 + 296x71 + 435x72 + 40x73 + 822x74 + 258x75 + 900x76 + 572x77 + 63x78 + 980x79 + 413x80 + 826x81 + 584x82 + 813x83 + 85x84 + 262x85 + 440x86 + 894x87 + 580x88 + 585x89 + 277x90 + 209x91 + 545x92 + 97x93 + 979x94 + 622x95 + 534x96 + 798x97 + 202x98 + 661x99 + 81x100 <= 12103 constr8: + 466x1 + 828x2 + 923x3 + 626x4 + 598x5 + 114x6 + 580x7 + 525x8 + 471x9 + 297x10 + 17x11 + 937x12 + 928x13 + 944x14 + 466x15 + 458x16 + 201x17 + 185x18 + 165x19 + 576x20 + 156x21 + 122x22 + 803x23 + 344x24 + 858x25 + 446x26 + 90x27 + 331x28 + 390x29 + 810x30 + 546x31 + 868x32 + 758x33 + 330x34 + 506x35 + 276x36 + 224x37 + 995x38 + 322x39 + 991x40 + 81x41 + 209x42 + 873x43 + 294x44 + 725x45 + 544x46 + 343x47 + 246x48 + 620x49 + 93x50 + 377x51 + 293x52 + 792x53 + 493x54 + 298x55 + 482x56 + 147x57 + 619x58 + 366x59 + 100x60 + 837x61 + 260x62 + 808x63 + 463x64 + 856x65 + 940x66 + 419x67 + 909x68 + 447x69 + 776x70 + 938x71 + 617x72 + 960x73 + 875x74 + 82x75 + 107x76 + 991x77 + 932x78 + 565x79 + 249x80 + 668x81 + 37x82 + 479x83 + 26x84 + 594x85 + 940x86 + 587x87 + 979x88 + 17x89 + 811x90 + 741x91 + 461x92 + 275x93 + 778x94 + 751x95 + 347x96 + 848x97 + 417x98 + 150x99 + 262x100 <= 11900 constr9: + 696x1 + 109x2 + 502x3 + 655x4 + 135x5 + 309x6 + 656x7 + 289x8 + 54x9 + 2x10 + 13x11 + 629x12 + 544x13 + 412x14 + 533x15 + 474x16 + 438x17 + 853x18 + 752x19 + 920x20 + 642x21 + 595x22 + 325x23 + 900x24 + 254x25 + 91x26 + 222x27 + 791x28 + 844x29 + 106x30 + 608x31 + 382x32 + 167x33 + 292x34 + 853x35 + 433x36 + 390x37 + 127x38 + 451x39 + 381x40 + 157x41 + 687x42 + 140x43 + 172x44 + 477x45 + 74x46 + 862x47 + 682x48 + 970x49 + 924x50 + 618x51 + 912x52 + 98x53 + 106x54 + 384x55 + 828x56 + 83x57 + 344x58 + 695x59 + 196x60 + 779x61 + 957x62 + 840x63 + 24x64 + 471x65 + 587x66 + 90x67 + 647x68 + 951x69 + 146x70 + 164x71 + 975x72 + 191x73 + 493x74 + 737x75 + 712x76 + 390x77 + 346x78 + 309x79 + 87x80 + 368x81 + 771x82 + 459x83 + 421x84 + 813x85 + 281x86 + 753x87 + 447x88 + 714x89 + 678x90 + 104x91 + 134x92 + 557x93 + 409x94 + 494x95 + 583x96 + 659x97 + 380x98 + 910x99 + 978x100 <= 12180 constr10: + 397x1 + 131x2 + 434x3 + 139x4 + 530x5 + 98x6 + 6x7 + 475x8 + 450x9 + 901x10 + 174x11 + 79x12 + 646x13 + 379x14 + 442x15 + 187x16 + 461x17 + 149x18 + 895x19 + 694x20 + 442x21 + 72x22 + 653x23 + 876x24 + 362x25 + 157x26 + 464x27 + 475x28 + 385x29 + 907x30 + 505x31 + 304x32 + 195x33 + 562x34 + 12x35 + 833x36 + 509x37 + 416x38 + 426x39 + 602x40 + 171x41 + 174x42 + 526x43 + 618x44 + 546x45 + 378x46 + 458x47 + 645x48 + 422x49 + 501x50 + 905x51 + 875x52 + 674x53 + 483x54 + 85x55 + 717x56 + 286x57 + 568x58 + 408x59 + 893x60 + 42x61 + 479x62 + 909x63 + 189x64 + 598x65 + 603x66 + 246x67 + 964x68 + 51x69 + 601x70 + 245x71 + 878x72 + 745x73 + 698x74 + 638x75 + 203x76 + 185x77 + 179x78 + 177x79 + 501x80 + 650x81 + 718x82 + 491x83 + 837x84 + 687x85 + 841x86 + 772x87 + 565x88 + 61x89 + 900x90 + 64x91 + 653x92 + 223x93 + 885x94 + 904x95 + 511x96 + 372x97 + 134x98 + 648x99 + 125x100 <= 12336 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