minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36466.284000 s2: s + 0.001000f1 + 0.501000f2 >= 36466.284000 f1: -f1 + 654x1 + 668x2 + 929x3 + 879x4 + 767x5 + 517x6 + 343x7 + 571x8 + 788x9 + 493x10 + 635x11 + 900x12 + 961x13 + 765x14 + 650x15 + 426x16 + 786x17 + 655x18 + 907x19 + 852x20 + 615x21 + 764x22 + 600x23 + 879x24 + 524x25 + 920x26 + 652x27 + 636x28 + 842x29 + 706x30 + 630x31 + 828x32 + 883x33 + 595x34 + 1029x35 + 757x36 + 903x37 + 516x38 + 647x39 + 427x40 + 1059x41 + 833x42 + 560x43 + 766x44 + 900x45 + 680x46 + 519x47 + 671x48 + 594x49 + 1092x50 + 601x51 + 407x52 + 897x53 + 770x54 + 727x55 + 503x56 + 605x57 + 820x58 + 882x59 + 585x60 + 938x61 + 834x62 + 701x63 + 513x64 + 1024x65 + 575x66 + 720x67 + 763x68 + 650x69 + 530x70 + 710x71 + 772x72 + 637x73 + 608x74 + 393x75 + 817x76 + 720x77 + 1085x78 + 735x79 + 917x80 + 514x81 + 515x82 + 717x83 + 1109x84 + 698x85 + 900x86 + 729x87 + 534x88 + 608x89 + 633x90 + 558x91 + 947x92 + 1128x93 + 586x94 + 991x95 + 998x96 + 724x97 + 653x98 + 766x99 + 722x100 = 0 f2: -f2 + 834x1 + 727x2 + 605x3 + 929x4 + 766x5 + 633x6 + 655x7 + 1059x8 + 903x9 + 852x10 + 720x11 + 833x12 + 710x13 + 647x14 + 820x15 + 615x16 + 947x17 + 907x18 + 654x19 + 938x20 + 729x21 + 706x22 + 1128x23 + 1085x24 + 594x25 + 763x26 + 879x27 + 842x28 + 600x29 + 897x30 + 608x31 + 516x32 + 701x33 + 998x34 + 653x35 + 817x36 + 513x37 + 900x38 + 828x39 + 680x40 + 650x41 + 1024x42 + 766x43 + 519x44 + 558x45 + 595x46 + 571x47 + 636x48 + 722x49 + 724x50 + 493x51 + 920x52 + 720x53 + 900x54 + 772x55 + 426x56 + 515x57 + 1092x58 + 586x59 + 917x60 + 786x61 + 717x62 + 524x63 + 900x64 + 882x65 + 635x66 + 668x67 + 608x68 + 1029x69 + 393x70 + 879x71 + 343x72 + 991x73 + 560x74 + 757x75 + 698x76 + 530x77 + 650x78 + 601x79 + 637x80 + 1109x81 + 767x82 + 961x83 + 652x84 + 407x85 + 585x86 + 671x87 + 630x88 + 770x89 + 503x90 + 427x91 + 517x92 + 514x93 + 883x94 + 765x95 + 764x96 + 575x97 + 735x98 + 534x99 + 788x100 = 0 constr1: + 22x1 + 16x2 + 692x3 + 68x4 + 4x5 + 708x6 + 149x7 + 99x8 + 617x9 + 244x10 + 277x11 + 345x12 + 20x13 + 151x14 + 369x15 + 317x16 + 225x17 + 252x18 + 284x19 + 591x20 + 807x21 + 979x22 + 326x23 + 370x24 + 240x25 + 161x26 + 630x27 + 508x28 + 452x29 + 476x30 + 432x31 + 7x32 + 141x33 + 634x34 + 229x35 + 390x36 + 529x37 + 24x38 + 109x39 + 663x40 + 417x41 + 358x42 + 886x43 + 107x44 + 661x45 + 572x46 + 786x47 + 982x48 + 709x49 + 595x50 + 154x51 + 639x52 + 390x53 + 411x54 + 93x55 + 336x56 + 233x57 + 937x58 + 415x59 + 571x60 + 779x61 + 301x62 + 362x63 + 385x64 + 268x65 + 965x66 + 630x67 + 194x68 + 697x69 + 44x70 + 8x71 + 636x72 + 929x73 + 120x74 + 373x75 + 813x76 + 320x77 + 351x78 + 836x79 + 351x80 + 846x81 + 255x82 + 620x83 + 190x84 + 133x85 + 833x86 + 851x87 + 371x88 + 661x89 + 227x90 + 522x91 + 358x92 + 936x93 + 600x94 + 754x95 + 838x96 + 908x97 + 953x98 + 608x99 + 481x100 <= 23587 constr2: + 941x1 + 471x2 + 528x3 + 183x4 + 723x5 + 102x6 + 977x7 + 447x8 + 865x9 + 669x10 + 76x11 + 524x12 + 704x13 + 518x14 + 184x15 + 235x16 + 320x17 + 529x18 + 468x19 + 128x20 + 44x21 + 268x22 + 191x23 + 816x24 + 982x25 + 793x26 + 268x27 + 998x28 + 441x29 + 484x30 + 119x31 + 589x32 + 945x33 + 578x34 + 289x35 + 770x36 + 92x37 + 193x38 + 924x39 + 279x40 + 957x41 + 194x42 + 269x43 + 689x44 + 220x45 + 928x46 + 909x47 + 312x48 + 472x49 + 94x50 + 742x51 + 615x52 + 200x53 + 857x54 + 814x55 + 481x56 + 605x57 + 875x58 + 54x59 + 969x60 + 424x61 + 140x62 + 439x63 + 910x64 + 691x65 + 55x66 + 346x67 + 547x68 + 697x69 + 88x70 + 165x71 + 288x72 + 437x73 + 255x74 + 540x75 + 576x76 + 916x77 + 636x78 + 294x79 + 642x80 + 738x81 + 88x82 + 899x83 + 271x84 + 805x85 + 312x86 + 79x87 + 383x88 + 260x89 + 313x90 + 657x91 + 299x92 + 638x93 + 978x94 + 800x95 + 344x96 + 67x97 + 365x98 + 546x99 + 840x100 <= 22266 constr3: + 982x1 + 932x2 + 391x3 + 642x4 + 334x5 + 878x6 + 574x7 + 945x8 + 482x9 + 105x10 + 372x11 + 786x12 + 217x13 + 606x14 + 491x15 + 975x16 + 786x17 + 652x18 + 482x19 + 53x20 + 590x21 + 9x22 + 753x23 + 191x24 + 432x25 + 169x26 + 671x27 + 453x28 + 92x29 + 535x30 + 738x31 + 26x32 + 752x33 + 95x34 + 994x35 + 785x36 + 797x37 + 168x38 + 628x39 + 454x40 + 629x41 + 354x42 + 824x43 + 981x44 + 762x45 + 204x46 + 794x47 + 163x48 + 379x49 + 587x50 + 193x51 + 270x52 + 862x53 + 866x54 + 402x55 + 414x56 + 227x57 + 132x58 + 649x59 + 640x60 + 839x61 + 571x62 + 142x63 + 23x64 + 933x65 + 606x66 + 946x67 + 202x68 + 794x69 + 669x70 + 716x71 + 260x72 + 599x73 + 158x74 + 399x75 + 455x76 + 574x77 + 827x78 + 768x79 + 942x80 + 345x81 + 385x82 + 617x83 + 605x84 + 230x85 + 410x86 + 247x87 + 370x88 + 388x89 + 406x90 + 972x91 + 496x92 + 290x93 + 532x94 + 148x95 + 927x96 + 660x97 + 347x98 + 672x99 + 806x100 <= 26460 constr4: + 821x1 + 107x2 + 431x3 + 784x4 + 683x5 + 286x6 + 624x7 + 814x8 + 333x9 + 26x10 + 565x11 + 406x12 + 167x13 + 596x14 + 364x15 + 481x16 + 678x17 + 70x18 + 691x19 + 664x20 + 202x21 + 250x22 + 833x23 + 641x24 + 22x25 + 619x26 + 495x27 + 423x28 + 703x29 + 235x30 + 659x31 + 613x32 + 655x33 + 501x34 + 1000x35 + 577x36 + 727x37 + 73x38 + 80x39 + 904x40 + 830x41 + 898x42 + 501x43 + 231x44 + 612x45 + 976x46 + 26x47 + 723x48 + 894x49 + 469x50 + 773x51 + 845x52 + 328x53 + 232x54 + 10x55 + 232x56 + 932x57 + 210x58 + 742x59 + 375x60 + 29x61 + 101x62 + 401x63 + 407x64 + 546x65 + 319x66 + 41x67 + 536x68 + 676x69 + 311x70 + 590x71 + 28x72 + 79x73 + 319x74 + 946x75 + 595x76 + 632x77 + 228x78 + 917x79 + 645x80 + 51x81 + 574x82 + 50x83 + 213x84 + 322x85 + 691x86 + 636x87 + 685x88 + 573x89 + 155x90 + 7x91 + 271x92 + 709x93 + 530x94 + 350x95 + 622x96 + 895x97 + 919x98 + 241x99 + 526x100 <= 23724 constr5: + 7x1 + 465x2 + 442x3 + 554x4 + 219x5 + 167x6 + 984x7 + 454x8 + 887x9 + 592x10 + 408x11 + 441x12 + 748x13 + 170x14 + 874x15 + 901x16 + 613x17 + 816x18 + 683x19 + 431x20 + 410x21 + 217x22 + 303x23 + 412x24 + 304x25 + 888x26 + 679x27 + 7x28 + 677x29 + 671x30 + 673x31 + 437x32 + 108x33 + 99x34 + 179x35 + 94x36 + 53x37 + 310x38 + 190x39 + 106x40 + 195x41 + 96x42 + 914x43 + 551x44 + 107x45 + 59x46 + 694x47 + 157x48 + 576x49 + 697x50 + 796x51 + 726x52 + 927x53 + 638x54 + 79x55 + 951x56 + 139x57 + 286x58 + 677x59 + 976x60 + 425x61 + 181x62 + 467x63 + 139x64 + 50x65 + 41x66 + 475x67 + 343x68 + 603x69 + 992x70 + 590x71 + 322x72 + 892x73 + 297x74 + 282x75 + 193x76 + 963x77 + 669x78 + 851x79 + 455x80 + 806x81 + 122x82 + 905x83 + 695x84 + 123x85 + 435x86 + 742x87 + 387x88 + 209x89 + 713x90 + 172x91 + 344x92 + 426x93 + 376x94 + 249x95 + 840x96 + 576x97 + 555x98 + 122x99 + 710x100 <= 25004 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