minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36298.114000 s2: s + 0.001000f1 + 0.501000f2 >= 36298.114000 f1: -f1 + 771x1 + 509x2 + 640x3 + 509x4 + 641x5 + 626x6 + 640x7 + 891x8 + 960x9 + 928x10 + 975x11 + 843x12 + 654x13 + 856x14 + 612x15 + 871x16 + 731x17 + 720x18 + 771x19 + 810x20 + 1047x21 + 713x22 + 574x23 + 557x24 + 697x25 + 660x26 + 812x27 + 384x28 + 714x29 + 967x30 + 761x31 + 722x32 + 1026x33 + 850x34 + 1077x35 + 627x36 + 729x37 + 511x38 + 929x39 + 561x40 + 966x41 + 310x42 + 1086x43 + 832x44 + 700x45 + 564x46 + 602x47 + 1046x48 + 854x49 + 489x50 + 505x51 + 577x52 + 608x53 + 445x54 + 747x55 + 791x56 + 543x57 + 403x58 + 703x59 + 914x60 + 836x61 + 925x62 + 437x63 + 542x64 + 1158x65 + 691x66 + 849x67 + 927x68 + 903x69 + 864x70 + 669x71 + 724x72 + 720x73 + 570x74 + 840x75 + 358x76 + 565x77 + 639x78 + 658x79 + 851x80 + 639x81 + 492x82 + 749x83 + 761x84 + 682x85 + 740x86 + 779x87 + 601x88 + 668x89 + 866x90 + 645x91 + 550x92 + 967x93 + 890x94 + 707x95 + 804x96 + 822x97 + 475x98 + 353x99 + 830x100 = 0 f2: -f2 + 310x1 + 511x2 + 791x3 + 564x4 + 492x5 + 445x6 + 561x7 + 731x8 + 864x9 + 722x10 + 542x11 + 353x12 + 700x13 + 714x14 + 574x15 + 602x16 + 608x17 + 627x18 + 658x19 + 843x20 + 358x21 + 761x22 + 804x23 + 601x24 + 639x25 + 850x26 + 557x27 + 771x28 + 779x29 + 929x30 + 669x31 + 1086x32 + 505x33 + 697x34 + 967x35 + 720x36 + 509x37 + 660x38 + 927x39 + 668x40 + 822x41 + 890x42 + 509x43 + 682x44 + 713x45 + 851x46 + 640x47 + 403x48 + 729x49 + 691x50 + 849x51 + 832x52 + 641x53 + 707x54 + 639x55 + 489x56 + 761x57 + 724x58 + 1047x59 + 925x60 + 747x61 + 891x62 + 437x63 + 1158x64 + 975x65 + 866x66 + 475x67 + 703x68 + 967x69 + 960x70 + 645x71 + 836x72 + 928x73 + 1077x74 + 771x75 + 854x76 + 914x77 + 550x78 + 626x79 + 1046x80 + 810x81 + 749x82 + 654x83 + 740x84 + 1026x85 + 966x86 + 840x87 + 903x88 + 830x89 + 577x90 + 612x91 + 565x92 + 570x93 + 871x94 + 640x95 + 720x96 + 543x97 + 856x98 + 384x99 + 812x100 = 0 constr1: + 563x1 + 345x2 + 393x3 + 949x4 + 987x5 + 599x6 + 350x7 + 915x8 + 739x9 + 475x10 + 52x11 + 165x12 + 640x13 + 702x14 + 476x15 + 672x16 + 775x17 + 155x18 + 563x19 + 851x20 + 588x21 + 635x22 + 101x23 + 306x24 + 739x25 + 945x26 + 836x27 + 16x28 + 846x29 + 698x30 + 477x31 + 134x32 + 516x33 + 515x34 + 774x35 + 191x36 + 940x37 + 529x38 + 154x39 + 1000x40 + 84x41 + 545x42 + 664x43 + 857x44 + 277x45 + 916x46 + 696x47 + 229x48 + 459x49 + 169x50 + 460x51 + 617x52 + 359x53 + 80x54 + 774x55 + 327x56 + 163x57 + 682x58 + 670x59 + 200x60 + 728x61 + 210x62 + 920x63 + 211x64 + 585x65 + 11x66 + 64x67 + 440x68 + 918x69 + 711x70 + 805x71 + 251x72 + 961x73 + 707x74 + 367x75 + 322x76 + 281x77 + 780x78 + 425x79 + 78x80 + 1000x81 + 136x82 + 701x83 + 538x84 + 973x85 + 373x86 + 722x87 + 821x88 + 281x89 + 282x90 + 623x91 + 640x92 + 59x93 + 376x94 + 189x95 + 175x96 + 619x97 + 671x98 + 606x99 + 567x100 <= 13486 constr2: + 659x1 + 585x2 + 392x3 + 969x4 + 234x5 + 866x6 + 244x7 + 669x8 + 58x9 + 598x10 + 114x11 + 645x12 + 18x13 + 714x14 + 804x15 + 464x16 + 25x17 + 785x18 + 813x19 + 663x20 + 89x21 + 29x22 + 987x23 + 536x24 + 75x25 + 180x26 + 657x27 + 218x28 + 114x29 + 977x30 + 490x31 + 772x32 + 656x33 + 584x34 + 805x35 + 333x36 + 281x37 + 840x38 + 20x39 + 633x40 + 258x41 + 277x42 + 259x43 + 792x44 + 31x45 + 205x46 + 994x47 + 959x48 + 816x49 + 231x50 + 9x51 + 276x52 + 594x53 + 836x54 + 822x55 + 755x56 + 92x57 + 390x58 + 464x59 + 98x60 + 593x61 + 433x62 + 417x63 + 717x64 + 191x65 + 620x66 + 495x67 + 73x68 + 321x69 + 309x70 + 287x71 + 289x72 + 978x73 + 568x74 + 814x75 + 371x76 + 925x77 + 663x78 + 152x79 + 696x80 + 637x81 + 727x82 + 61x83 + 494x84 + 711x85 + 823x86 + 471x87 + 110x88 + 202x89 + 327x90 + 917x91 + 101x92 + 986x93 + 706x94 + 13x95 + 724x96 + 312x97 + 213x98 + 908x99 + 94x100 <= 12749 constr3: + 144x1 + 400x2 + 864x3 + 774x4 + 770x5 + 512x6 + 965x7 + 314x8 + 628x9 + 752x10 + 58x11 + 133x12 + 449x13 + 743x14 + 554x15 + 357x16 + 506x17 + 164x18 + 289x19 + 667x20 + 884x21 + 730x22 + 624x23 + 132x24 + 427x25 + 256x26 + 714x27 + 179x28 + 536x29 + 621x30 + 800x31 + 567x32 + 636x33 + 940x34 + 277x35 + 692x36 + 627x37 + 516x38 + 625x39 + 307x40 + 463x41 + 781x42 + 334x43 + 905x44 + 178x45 + 138x46 + 302x47 + 321x48 + 394x49 + 425x50 + 431x51 + 97x52 + 738x53 + 244x54 + 20x55 + 870x56 + 973x57 + 5x58 + 643x59 + 158x60 + 698x61 + 564x62 + 190x63 + 602x64 + 614x65 + 449x66 + 627x67 + 72x68 + 661x69 + 864x70 + 435x71 + 650x72 + 79x73 + 848x74 + 699x75 + 753x76 + 34x77 + 387x78 + 468x79 + 912x80 + 396x81 + 187x82 + 836x83 + 801x84 + 670x85 + 417x86 + 129x87 + 184x88 + 848x89 + 909x90 + 649x91 + 145x92 + 103x93 + 677x94 + 67x95 + 411x96 + 695x97 + 526x98 + 340x99 + 218x100 <= 11130 constr4: + 345x1 + 396x2 + 460x3 + 106x4 + 870x5 + 99x6 + 388x7 + 915x8 + 444x9 + 493x10 + 106x11 + 86x12 + 596x13 + 960x14 + 482x15 + 111x16 + 899x17 + 970x18 + 874x19 + 67x20 + 128x21 + 968x22 + 911x23 + 370x24 + 500x25 + 272x26 + 632x27 + 523x28 + 684x29 + 495x30 + 116x31 + 906x32 + 624x33 + 299x34 + 500x35 + 299x36 + 993x37 + 655x38 + 897x39 + 220x40 + 654x41 + 961x42 + 589x43 + 213x44 + 620x45 + 355x46 + 441x47 + 327x48 + 518x49 + 643x50 + 18x51 + 238x52 + 42x53 + 564x54 + 410x55 + 678x56 + 312x57 + 273x58 + 392x59 + 375x60 + 258x61 + 782x62 + 104x63 + 969x64 + 181x65 + 53x66 + 704x67 + 574x68 + 506x69 + 273x70 + 888x71 + 867x72 + 51x73 + 941x74 + 544x75 + 252x76 + 910x77 + 955x78 + 239x79 + 787x80 + 715x81 + 892x82 + 112x83 + 327x84 + 478x85 + 362x86 + 907x87 + 572x88 + 980x89 + 303x90 + 773x91 + 935x92 + 854x93 + 580x94 + 607x95 + 543x96 + 328x97 + 282x98 + 40x99 + 43x100 <= 12651 constr5: + 188x1 + 425x2 + 874x3 + 198x4 + 933x5 + 848x6 + 217x7 + 492x8 + 632x9 + 928x10 + 876x11 + 881x12 + 705x13 + 663x14 + 974x15 + 284x16 + 766x17 + 846x18 + 462x19 + 355x20 + 202x21 + 426x22 + 580x23 + 691x24 + 237x25 + 376x26 + 730x27 + 508x28 + 95x29 + 670x30 + 236x31 + 515x32 + 897x33 + 578x34 + 56x35 + 206x36 + 90x37 + 564x38 + 981x39 + 61x40 + 834x41 + 531x42 + 388x43 + 749x44 + 690x45 + 224x46 + 863x47 + 108x48 + 6x49 + 565x50 + 443x51 + 460x52 + 464x53 + 548x54 + 327x55 + 193x56 + 380x57 + 551x58 + 51x59 + 714x60 + 459x61 + 795x62 + 40x63 + 927x64 + 842x65 + 620x66 + 618x67 + 719x68 + 46x69 + 160x70 + 311x71 + 390x72 + 446x73 + 419x74 + 44x75 + 969x76 + 63x77 + 230x78 + 956x79 + 419x80 + 62x81 + 872x82 + 768x83 + 67x84 + 9x85 + 904x86 + 765x87 + 340x88 + 738x89 + 79x90 + 490x91 + 211x92 + 832x93 + 121x94 + 477x95 + 910x96 + 455x97 + 590x98 + 560x99 + 825x100 <= 12451 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