minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36859.852000 s2: s + 0.001000f1 + 0.501000f2 >= 36859.852000 f1: -f1 + 442x1 + 1020x2 + 901x3 + 607x4 + 897x5 + 604x6 + 347x7 + 624x8 + 869x9 + 788x10 + 710x11 + 1050x12 + 286x13 + 703x14 + 585x15 + 669x16 + 614x17 + 816x18 + 728x19 + 688x20 + 953x21 + 688x22 + 882x23 + 770x24 + 407x25 + 436x26 + 1030x27 + 930x28 + 778x29 + 667x30 + 790x31 + 671x32 + 628x33 + 464x34 + 680x35 + 885x36 + 882x37 + 354x38 + 831x39 + 1046x40 + 987x41 + 920x42 + 427x43 + 451x44 + 760x45 + 528x46 + 992x47 + 994x48 + 1041x49 + 562x50 + 539x51 + 481x52 + 620x53 + 717x54 + 588x55 + 713x56 + 497x57 + 645x58 + 766x59 + 696x60 + 905x61 + 920x62 + 574x63 + 864x64 + 914x65 + 417x66 + 756x67 + 915x68 + 648x69 + 709x70 + 898x71 + 1061x72 + 632x73 + 892x74 + 1075x75 + 913x76 + 824x77 + 462x78 + 876x79 + 817x80 + 646x81 + 648x82 + 668x83 + 879x84 + 999x85 + 638x86 + 768x87 + 614x88 + 467x89 + 815x90 + 900x91 + 848x92 + 596x93 + 716x94 + 978x95 + 890x96 + 504x97 + 456x98 + 858x99 + 822x100 = 0 f2: -f2 + 462x1 + 562x2 + 876x3 + 442x4 + 879x5 + 596x6 + 760x7 + 464x8 + 504x9 + 915x10 + 347x11 + 1075x12 + 286x13 + 756x14 + 858x15 + 688x16 + 539x17 + 882x18 + 930x19 + 768x20 + 897x21 + 632x22 + 614x23 + 436x24 + 456x25 + 713x26 + 407x27 + 696x28 + 638x29 + 987x30 + 427x31 + 451x32 + 978x33 + 680x34 + 822x35 + 467x36 + 620x37 + 1041x38 + 709x39 + 1020x40 + 585x41 + 646x42 + 703x43 + 497x44 + 588x45 + 892x46 + 648x47 + 905x48 + 831x49 + 710x50 + 890x51 + 999x52 + 607x53 + 864x54 + 645x55 + 628x56 + 766x57 + 817x58 + 994x59 + 953x60 + 604x61 + 824x62 + 728x63 + 1050x64 + 624x65 + 900x66 + 528x67 + 481x68 + 848x69 + 869x70 + 668x71 + 770x72 + 898x73 + 717x74 + 815x75 + 790x76 + 1046x77 + 688x78 + 417x79 + 816x80 + 992x81 + 920x82 + 778x83 + 1030x84 + 667x85 + 671x86 + 716x87 + 648x88 + 882x89 + 574x90 + 669x91 + 920x92 + 913x93 + 885x94 + 914x95 + 354x96 + 901x97 + 788x98 + 1061x99 + 614x100 = 0 constr1: + 290x1 + 518x2 + 689x3 + 236x4 + 690x5 + 141x6 + 242x7 + 108x8 + 528x9 + 764x10 + 605x11 + 867x12 + 722x13 + 372x14 + 462x15 + 161x16 + 580x17 + 609x18 + 866x19 + 12x20 + 783x21 + 557x22 + 246x23 + 386x24 + 931x25 + 614x26 + 387x27 + 991x28 + 520x29 + 487x30 + 436x31 + 173x32 + 544x33 + 159x34 + 260x35 + 375x36 + 915x37 + 396x38 + 440x39 + 261x40 + 480x41 + 238x42 + 232x43 + 518x44 + 631x45 + 68x46 + 829x47 + 799x48 + 577x49 + 160x50 + 818x51 + 309x52 + 258x53 + 209x54 + 163x55 + 556x56 + 100x57 + 916x58 + 982x59 + 839x60 + 451x61 + 43x62 + 933x63 + 796x64 + 8x65 + 1x66 + 895x67 + 405x68 + 535x69 + 884x70 + 194x71 + 751x72 + 640x73 + 815x74 + 961x75 + 217x76 + 295x77 + 2x78 + 318x79 + 612x80 + 90x81 + 755x82 + 78x83 + 373x84 + 614x85 + 82x86 + 735x87 + 581x88 + 400x89 + 198x90 + 172x91 + 139x92 + 845x93 + 193x94 + 427x95 + 823x96 + 281x97 + 701x98 + 403x99 + 574x100 <= 34333 constr2: + 750x1 + 578x2 + 19x3 + 436x4 + 124x5 + 329x6 + 6x7 + 496x8 + 719x9 + 115x10 + 27x11 + 400x12 + 968x13 + 577x14 + 210x15 + 104x16 + 742x17 + 531x18 + 442x19 + 22x20 + 405x21 + 96x22 + 816x23 + 19x24 + 198x25 + 474x26 + 282x27 + 718x28 + 517x29 + 740x30 + 810x31 + 601x32 + 397x33 + 515x34 + 945x35 + 480x36 + 236x37 + 646x38 + 601x39 + 5x40 + 350x41 + 582x42 + 953x43 + 213x44 + 499x45 + 621x46 + 992x47 + 561x48 + 665x49 + 366x50 + 56x51 + 77x52 + 512x53 + 352x54 + 504x55 + 977x56 + 280x57 + 722x58 + 16x59 + 865x60 + 243x61 + 214x62 + 763x63 + 989x64 + 474x65 + 654x66 + 447x67 + 152x68 + 121x69 + 824x70 + 100x71 + 218x72 + 714x73 + 57x74 + 550x75 + 253x76 + 18x77 + 275x78 + 434x79 + 248x80 + 862x81 + 207x82 + 459x83 + 405x84 + 845x85 + 576x86 + 531x87 + 827x88 + 443x89 + 846x90 + 249x91 + 308x92 + 944x93 + 998x94 + 917x95 + 900x96 + 117x97 + 787x98 + 852x99 + 878x100 <= 36938 constr3: + 494x1 + 614x2 + 222x3 + 420x4 + 765x5 + 395x6 + 781x7 + 557x8 + 52x9 + 962x10 + 185x11 + 734x12 + 8x13 + 947x14 + 557x15 + 142x16 + 991x17 + 622x18 + 656x19 + 60x20 + 45x21 + 128x22 + 856x23 + 755x24 + 347x25 + 870x26 + 702x27 + 58x28 + 981x29 + 555x30 + 32x31 + 693x32 + 570x33 + 186x34 + 365x35 + 222x36 + 283x37 + 506x38 + 787x39 + 74x40 + 680x41 + 964x42 + 81x43 + 995x44 + 415x45 + 542x46 + 412x47 + 81x48 + 130x49 + 750x50 + 650x51 + 936x52 + 51x53 + 582x54 + 769x55 + 753x56 + 760x57 + 451x58 + 93x59 + 872x60 + 127x61 + 100x62 + 20x63 + 657x64 + 177x65 + 682x66 + 410x67 + 34x68 + 255x69 + 773x70 + 971x71 + 7x72 + 46x73 + 25x74 + 869x75 + 161x76 + 417x77 + 419x78 + 682x79 + 700x80 + 811x81 + 406x82 + 38x83 + 907x84 + 658x85 + 524x86 + 758x87 + 772x88 + 267x89 + 470x90 + 491x91 + 451x92 + 352x93 + 986x94 + 18x95 + 856x96 + 546x97 + 232x98 + 340x99 + 17x100 <= 37158 constr4: + 170x1 + 206x2 + 585x3 + 747x4 + 236x5 + 740x6 + 322x7 + 875x8 + 76x9 + 771x10 + 156x11 + 919x12 + 140x13 + 381x14 + 724x15 + 824x16 + 370x17 + 13x18 + 297x19 + 72x20 + 260x21 + 822x22 + 306x23 + 388x24 + 664x25 + 684x26 + 222x27 + 129x28 + 905x29 + 662x30 + 53x31 + 447x32 + 665x33 + 913x34 + 530x35 + 662x36 + 114x37 + 876x38 + 846x39 + 923x40 + 402x41 + 195x42 + 443x43 + 849x44 + 178x45 + 765x46 + 678x47 + 64x48 + 198x49 + 276x50 + 411x51 + 311x52 + 451x53 + 481x54 + 493x55 + 466x56 + 779x57 + 179x58 + 844x59 + 483x60 + 136x61 + 620x62 + 518x63 + 320x64 + 817x65 + 362x66 + 610x67 + 488x68 + 136x69 + 486x70 + 511x71 + 548x72 + 624x73 + 856x74 + 640x75 + 320x76 + 727x77 + 493x78 + 996x79 + 936x80 + 657x81 + 998x82 + 855x83 + 761x84 + 375x85 + 73x86 + 387x87 + 229x88 + 89x89 + 844x90 + 588x91 + 597x92 + 281x93 + 277x94 + 103x95 + 844x96 + 436x97 + 243x98 + 225x99 + 952x100 <= 34418 constr5: + 993x1 + 429x2 + 190x3 + 21x4 + 692x5 + 265x6 + 749x7 + 976x8 + 670x9 + 660x10 + 465x11 + 739x12 + 926x13 + 37x14 + 561x15 + 366x16 + 617x17 + 94x18 + 74x19 + 408x20 + 151x21 + 870x22 + 914x23 + 406x24 + 188x25 + 274x26 + 999x27 + 211x28 + 303x29 + 209x30 + 897x31 + 115x32 + 75x33 + 866x34 + 909x35 + 126x36 + 55x37 + 887x38 + 726x39 + 621x40 + 389x41 + 871x42 + 817x43 + 574x44 + 381x45 + 164x46 + 407x47 + 559x48 + 400x49 + 114x50 + 306x51 + 821x52 + 252x53 + 683x54 + 324x55 + 386x56 + 652x57 + 426x58 + 915x59 + 345x60 + 235x61 + 6x62 + 709x63 + 282x64 + 277x65 + 555x66 + 180x67 + 204x68 + 924x69 + 224x70 + 264x71 + 502x72 + 763x73 + 147x74 + 199x75 + 980x76 + 957x77 + 694x78 + 982x79 + 627x80 + 395x81 + 166x82 + 37x83 + 259x84 + 489x85 + 287x86 + 37x87 + 791x88 + 278x89 + 449x90 + 9x91 + 542x92 + 709x93 + 409x94 + 949x95 + 136x96 + 439x97 + 8x98 + 657x99 + 608x100 <= 36587 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