minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36556.142000 s2: s + 0.001000f1 + 0.501000f2 >= 36556.142000 f1: -f1 + 630x1 + 729x2 + 468x3 + 307x4 + 761x5 + 579x6 + 1045x7 + 813x8 + 582x9 + 496x10 + 569x11 + 564x12 + 869x13 + 789x14 + 582x15 + 624x16 + 520x17 + 666x18 + 696x19 + 651x20 + 704x21 + 343x22 + 770x23 + 844x24 + 771x25 + 937x26 + 333x27 + 1012x28 + 763x29 + 403x30 + 998x31 + 765x32 + 1103x33 + 574x34 + 689x35 + 741x36 + 566x37 + 977x38 + 491x39 + 1025x40 + 898x41 + 427x42 + 922x43 + 993x44 + 780x45 + 458x46 + 1106x47 + 832x48 + 827x49 + 726x50 + 953x51 + 740x52 + 528x53 + 616x54 + 897x55 + 1109x56 + 359x57 + 813x58 + 690x59 + 678x60 + 668x61 + 1110x62 + 719x63 + 800x64 + 989x65 + 977x66 + 550x67 + 460x68 + 768x69 + 760x70 + 802x71 + 743x72 + 638x73 + 834x74 + 600x75 + 788x76 + 687x77 + 548x78 + 1066x79 + 510x80 + 584x81 + 1039x82 + 429x83 + 887x84 + 906x85 + 949x86 + 919x87 + 957x88 + 407x89 + 766x90 + 912x91 + 621x92 + 561x93 + 589x94 + 490x95 + 401x96 + 796x97 + 790x98 + 778x99 + 922x100 = 0 f2: -f2 + 584x1 + 689x2 + 957x3 + 922x4 + 407x5 + 869x6 + 827x7 + 778x8 + 906x9 + 561x10 + 897x11 + 937x12 + 788x13 + 460x14 + 765x15 + 802x16 + 333x17 + 638x18 + 743x19 + 668x20 + 766x21 + 789x22 + 834x23 + 741x24 + 696x25 + 1110x26 + 582x27 + 761x28 + 579x29 + 800x30 + 922x31 + 468x32 + 760x33 + 458x34 + 403x35 + 666x36 + 564x37 + 616x38 + 729x39 + 630x40 + 621x41 + 780x42 + 1012x43 + 813x44 + 343x45 + 520x46 + 359x47 + 887x48 + 989x49 + 307x50 + 1109x51 + 770x52 + 768x53 + 1066x54 + 490x55 + 796x56 + 912x57 + 977x58 + 919x59 + 993x60 + 1039x61 + 790x62 + 690x63 + 998x64 + 898x65 + 589x66 + 726x67 + 582x68 + 496x69 + 528x70 + 510x71 + 687x72 + 953x73 + 491x74 + 651x75 + 704x76 + 813x77 + 977x78 + 844x79 + 429x80 + 719x81 + 763x82 + 401x83 + 548x84 + 678x85 + 740x86 + 574x87 + 566x88 + 1025x89 + 427x90 + 624x91 + 600x92 + 550x93 + 569x94 + 949x95 + 771x96 + 832x97 + 1106x98 + 1103x99 + 1045x100 = 0 constr1: + 884x1 + 464x2 + 531x3 + 179x4 + 755x5 + 403x6 + 141x7 + 295x8 + 706x9 + 218x10 + 120x11 + 25x12 + 193x13 + 641x14 + 541x15 + 445x16 + 673x17 + 604x18 + 147x19 + 809x20 + 203x21 + 95x22 + 669x23 + 206x24 + 504x25 + 658x26 + 645x27 + 719x28 + 63x29 + 202x30 + 954x31 + 779x32 + 705x33 + 958x34 + 234x35 + 882x36 + 805x37 + 15x38 + 456x39 + 241x40 + 330x41 + 701x42 + 69x43 + 967x44 + 384x45 + 745x46 + 526x47 + 292x48 + 326x49 + 230x50 + 522x51 + 909x52 + 218x53 + 583x54 + 681x55 + 585x56 + 404x57 + 928x58 + 940x59 + 320x60 + 536x61 + 349x62 + 999x63 + 585x64 + 349x65 + 548x66 + 831x67 + 185x68 + 648x69 + 49x70 + 644x71 + 643x72 + 936x73 + 836x74 + 501x75 + 147x76 + 344x77 + 869x78 + 535x79 + 120x80 + 959x81 + 828x82 + 52x83 + 549x84 + 504x85 + 850x86 + 443x87 + 647x88 + 576x89 + 664x90 + 516x91 + 997x92 + 764x93 + 609x94 + 776x95 + 753x96 + 383x97 + 224x98 + 971x99 + 433x100 <= 23993 constr2: + 667x1 + 938x2 + 750x3 + 639x4 + 774x5 + 49x6 + 484x7 + 484x8 + 70x9 + 803x10 + 290x11 + 173x12 + 248x13 + 457x14 + 904x15 + 615x16 + 923x17 + 811x18 + 576x19 + 639x20 + 685x21 + 558x22 + 14x23 + 14x24 + 271x25 + 326x26 + 932x27 + 241x28 + 369x29 + 129x30 + 307x31 + 203x32 + 630x33 + 66x34 + 809x35 + 336x36 + 893x37 + 848x38 + 590x39 + 576x40 + 574x41 + 979x42 + 117x43 + 65x44 + 47x45 + 349x46 + 236x47 + 441x48 + 546x49 + 712x50 + 314x51 + 670x52 + 919x53 + 876x54 + 643x55 + 135x56 + 328x57 + 525x58 + 710x59 + 942x60 + 826x61 + 455x62 + 225x63 + 804x64 + 357x65 + 337x66 + 666x67 + 876x68 + 224x69 + 819x70 + 677x71 + 171x72 + 767x73 + 447x74 + 244x75 + 229x76 + 680x77 + 385x78 + 610x79 + 584x80 + 48x81 + 624x82 + 678x83 + 844x84 + 120x85 + 64x86 + 561x87 + 281x88 + 368x89 + 701x90 + 903x91 + 392x92 + 616x93 + 736x94 + 198x95 + 102x96 + 569x97 + 175x98 + 224x99 + 34x100 <= 23134 constr3: + 13x1 + 225x2 + 933x3 + 427x4 + 25x5 + 681x6 + 414x7 + 38x8 + 481x9 + 867x10 + 781x11 + 911x12 + 664x13 + 323x14 + 866x15 + 296x16 + 149x17 + 520x18 + 444x19 + 361x20 + 977x21 + 427x22 + 59x23 + 447x24 + 342x25 + 976x26 + 868x27 + 778x28 + 152x29 + 735x30 + 375x31 + 265x32 + 485x33 + 175x34 + 17x35 + 109x36 + 212x37 + 968x38 + 553x39 + 517x40 + 440x41 + 974x42 + 523x43 + 647x44 + 89x45 + 741x46 + 974x47 + 594x48 + 687x49 + 360x50 + 543x51 + 188x52 + 742x53 + 687x54 + 946x55 + 255x56 + 473x57 + 957x58 + 373x59 + 235x60 + 575x61 + 181x62 + 27x63 + 994x64 + 406x65 + 656x66 + 881x67 + 494x68 + 826x69 + 200x70 + 723x71 + 132x72 + 501x73 + 466x74 + 468x75 + 893x76 + 100x77 + 159x78 + 856x79 + 289x80 + 262x81 + 807x82 + 770x83 + 811x84 + 491x85 + 418x86 + 693x87 + 754x88 + 462x89 + 542x90 + 35x91 + 509x92 + 764x93 + 248x94 + 800x95 + 461x96 + 736x97 + 315x98 + 492x99 + 408x100 <= 25264 constr4: + 143x1 + 37x2 + 385x3 + 665x4 + 165x5 + 443x6 + 868x7 + 419x8 + 689x9 + 416x10 + 459x11 + 244x12 + 674x13 + 286x14 + 326x15 + 600x16 + 493x17 + 343x18 + 349x19 + 366x20 + 28x21 + 542x22 + 63x23 + 372x24 + 650x25 + 398x26 + 6x27 + 244x28 + 114x29 + 485x30 + 460x31 + 217x32 + 889x33 + 57x34 + 4x35 + 696x36 + 768x37 + 551x38 + 946x39 + 640x40 + 922x41 + 747x42 + 913x43 + 983x44 + 885x45 + 188x46 + 270x47 + 490x48 + 707x49 + 475x50 + 31x51 + 483x52 + 751x53 + 592x54 + 627x55 + 985x56 + 79x57 + 147x58 + 346x59 + 426x60 + 44x61 + 668x62 + 514x63 + 607x64 + 275x65 + 10x66 + 373x67 + 211x68 + 585x69 + 659x70 + 955x71 + 859x72 + 680x73 + 617x74 + 921x75 + 261x76 + 685x77 + 296x78 + 103x79 + 50x80 + 398x81 + 239x82 + 443x83 + 306x84 + 324x85 + 533x86 + 112x87 + 385x88 + 869x89 + 176x90 + 445x91 + 38x92 + 151x93 + 828x94 + 238x95 + 654x96 + 412x97 + 432x98 + 34x99 + 586x100 <= 24281 constr5: + 333x1 + 193x2 + 877x3 + 599x4 + 129x5 + 148x6 + 86x7 + 833x8 + 914x9 + 47x10 + 520x11 + 618x12 + 452x13 + 434x14 + 624x15 + 614x16 + 773x17 + 304x18 + 941x19 + 690x20 + 292x21 + 770x22 + 520x23 + 816x24 + 669x25 + 902x26 + 533x27 + 185x28 + 541x29 + 109x30 + 397x31 + 415x32 + 849x33 + 39x34 + 402x35 + 222x36 + 389x37 + 367x38 + 672x39 + 822x40 + 341x41 + 47x42 + 83x43 + 762x44 + 21x45 + 3x46 + 366x47 + 807x48 + 593x49 + 261x50 + 445x51 + 676x52 + 685x53 + 3x54 + 352x55 + 323x56 + 803x57 + 163x58 + 279x59 + 252x60 + 727x61 + 274x62 + 740x63 + 477x64 + 522x65 + 136x66 + 172x67 + 697x68 + 233x69 + 61x70 + 163x71 + 390x72 + 403x73 + 879x74 + 282x75 + 61x76 + 805x77 + 355x78 + 203x79 + 744x80 + 847x81 + 504x82 + 647x83 + 5x84 + 851x85 + 450x86 + 788x87 + 221x88 + 785x89 + 988x90 + 833x91 + 772x92 + 931x93 + 923x94 + 893x95 + 623x96 + 602x97 + 315x98 + 355x99 + 295x100 <= 25873 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