minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 36927.120000 s2: s + 0.001000f1 + 0.501000f2 >= 36927.120000 f1: -f1 + 1035x1 + 760x2 + 1051x3 + 473x4 + 414x5 + 773x6 + 571x7 + 578x8 + 690x9 + 552x10 + 916x11 + 1000x12 + 538x13 + 485x14 + 480x15 + 619x16 + 1069x17 + 694x18 + 1116x19 + 964x20 + 810x21 + 523x22 + 570x23 + 457x24 + 540x25 + 718x26 + 776x27 + 599x28 + 967x29 + 835x30 + 561x31 + 973x32 + 1006x33 + 913x34 + 536x35 + 754x36 + 1032x37 + 756x38 + 692x39 + 830x40 + 884x41 + 830x42 + 872x43 + 730x44 + 418x45 + 1042x46 + 585x47 + 1058x48 + 957x49 + 331x50 + 935x51 + 317x52 + 755x53 + 636x54 + 751x55 + 812x56 + 655x57 + 590x58 + 858x59 + 916x60 + 554x61 + 1062x62 + 861x63 + 486x64 + 742x65 + 625x66 + 887x67 + 883x68 + 652x69 + 960x70 + 811x71 + 920x72 + 456x73 + 335x74 + 638x75 + 799x76 + 753x77 + 511x78 + 1028x79 + 590x80 + 710x81 + 1025x82 + 920x83 + 524x84 + 500x85 + 873x86 + 932x87 + 886x88 + 819x89 + 799x90 + 613x91 + 637x92 + 1050x93 + 543x94 + 756x95 + 565x96 + 500x97 + 659x98 + 472x99 + 666x100 = 0 f2: -f2 + 886x1 + 637x2 + 776x3 + 538x4 + 590x5 + 1035x6 + 457x7 + 1042x8 + 543x9 + 753x10 + 967x11 + 1032x12 + 973x13 + 480x14 + 756x15 + 916x16 + 561x17 + 570x18 + 1058x19 + 638x20 + 913x21 + 799x22 + 659x23 + 590x24 + 1006x25 + 418x26 + 1050x27 + 666x28 + 655x29 + 760x30 + 500x31 + 835x32 + 751x33 + 872x34 + 960x35 + 473x36 + 916x37 + 485x38 + 1000x39 + 540x40 + 613x41 + 456x42 + 756x43 + 799x44 + 1116x45 + 511x46 + 932x47 + 1069x48 + 1062x49 + 861x50 + 619x51 + 625x52 + 812x53 + 585x54 + 773x55 + 554x56 + 599x57 + 524x58 + 1051x59 + 578x60 + 830x61 + 718x62 + 873x63 + 331x64 + 565x65 + 536x66 + 636x67 + 884x68 + 692x69 + 811x70 + 830x71 + 819x72 + 1025x73 + 964x74 + 652x75 + 710x76 + 883x77 + 920x78 + 730x79 + 335x80 + 486x81 + 754x82 + 500x83 + 935x84 + 887x85 + 523x86 + 571x87 + 810x88 + 552x89 + 694x90 + 414x91 + 1028x92 + 957x93 + 472x94 + 690x95 + 755x96 + 317x97 + 742x98 + 920x99 + 858x100 = 0 constr1: + 898x1 + 857x2 + 98x3 + 371x4 + 519x5 + 328x6 + 933x7 + 92x8 + 730x9 + 405x10 + 696x11 + 465x12 + 383x13 + 69x14 + 53x15 + 692x16 + 677x17 + 120x18 + 210x19 + 432x20 + 703x21 + 4x22 + 211x23 + 439x24 + 387x25 + 785x26 + 268x27 + 656x28 + 326x29 + 497x30 + 747x31 + 347x32 + 333x33 + 286x34 + 351x35 + 5x36 + 474x37 + 954x38 + 324x39 + 250x40 + 963x41 + 560x42 + 834x43 + 999x44 + 770x45 + 220x46 + 153x47 + 491x48 + 381x49 + 835x50 + 461x51 + 553x52 + 644x53 + 122x54 + 889x55 + 735x56 + 308x57 + 536x58 + 502x59 + 99x60 + 399x61 + 900x62 + 808x63 + 307x64 + 424x65 + 29x66 + 734x67 + 298x68 + 728x69 + 403x70 + 510x71 + 906x72 + 587x73 + 561x74 + 10x75 + 733x76 + 592x77 + 640x78 + 526x79 + 586x80 + 602x81 + 123x82 + 213x83 + 664x84 + 770x85 + 85x86 + 438x87 + 116x88 + 24x89 + 658x90 + 626x91 + 371x92 + 550x93 + 192x94 + 531x95 + 863x96 + 109x97 + 501x98 + 773x99 + 642x100 <= 36577 constr2: + 137x1 + 353x2 + 834x3 + 903x4 + 721x5 + 983x6 + 642x7 + 927x8 + 104x9 + 81x10 + 4x11 + 348x12 + 585x13 + 511x14 + 443x15 + 670x16 + 483x17 + 947x18 + 772x19 + 29x20 + 58x21 + 65x22 + 598x23 + 593x24 + 245x25 + 975x26 + 908x27 + 716x28 + 660x29 + 619x30 + 291x31 + 907x32 + 959x33 + 104x34 + 730x35 + 87x36 + 901x37 + 199x38 + 149x39 + 30x40 + 713x41 + 317x42 + 80x43 + 929x44 + 109x45 + 569x46 + 205x47 + 669x48 + 252x49 + 515x50 + 964x51 + 616x52 + 250x53 + 524x54 + 302x55 + 553x56 + 82x57 + 520x58 + 496x59 + 583x60 + 635x61 + 772x62 + 864x63 + 326x64 + 338x65 + 456x66 + 417x67 + 612x68 + 711x69 + 643x70 + 111x71 + 621x72 + 239x73 + 257x74 + 386x75 + 417x76 + 573x77 + 246x78 + 867x79 + 457x80 + 456x81 + 233x82 + 696x83 + 740x84 + 403x85 + 679x86 + 352x87 + 125x88 + 215x89 + 381x90 + 213x91 + 209x92 + 953x93 + 603x94 + 565x95 + 994x96 + 708x97 + 617x98 + 368x99 + 701x100 <= 36182 constr3: + 865x1 + 15x2 + 43x3 + 227x4 + 111x5 + 89x6 + 519x7 + 489x8 + 618x9 + 560x10 + 455x11 + 520x12 + 54x13 + 945x14 + 534x15 + 236x16 + 668x17 + 296x18 + 761x19 + 424x20 + 931x21 + 501x22 + 683x23 + 450x24 + 896x25 + 906x26 + 951x27 + 871x28 + 326x29 + 886x30 + 927x31 + 173x32 + 140x33 + 63x34 + 936x35 + 219x36 + 641x37 + 57x38 + 538x39 + 849x40 + 946x41 + 138x42 + 296x43 + 136x44 + 198x45 + 890x46 + 941x47 + 824x48 + 293x49 + 435x50 + 465x51 + 227x52 + 749x53 + 852x54 + 167x55 + 877x56 + 697x57 + 942x58 + 671x59 + 496x60 + 464x61 + 836x62 + 667x63 + 298x64 + 434x65 + 603x66 + 2x67 + 710x68 + 714x69 + 798x70 + 710x71 + 155x72 + 218x73 + 878x74 + 462x75 + 200x76 + 321x77 + 611x78 + 475x79 + 787x80 + 541x81 + 358x82 + 772x83 + 108x84 + 465x85 + 147x86 + 185x87 + 572x88 + 158x89 + 440x90 + 464x91 + 693x92 + 810x93 + 391x94 + 145x95 + 233x96 + 930x97 + 140x98 + 794x99 + 619x100 <= 38612 constr4: + 892x1 + 11x2 + 374x3 + 661x4 + 142x5 + 893x6 + 728x7 + 938x8 + 917x9 + 617x10 + 234x11 + 474x12 + 232x13 + 588x14 + 140x15 + 762x16 + 777x17 + 304x18 + 448x19 + 71x20 + 130x21 + 240x22 + 241x23 + 740x24 + 28x25 + 350x26 + 908x27 + 631x28 + 543x29 + 389x30 + 436x31 + 567x32 + 576x33 + 677x34 + 175x35 + 679x36 + 231x37 + 227x38 + 378x39 + 207x40 + 429x41 + 373x42 + 102x43 + 951x44 + 758x45 + 759x46 + 360x47 + 99x48 + 747x49 + 735x50 + 978x51 + 470x52 + 460x53 + 648x54 + 587x55 + 182x56 + 800x57 + 833x58 + 335x59 + 908x60 + 149x61 + 188x62 + 71x63 + 289x64 + 206x65 + 975x66 + 671x67 + 399x68 + 352x69 + 955x70 + 482x71 + 597x72 + 852x73 + 70x74 + 382x75 + 785x76 + 682x77 + 353x78 + 616x79 + 139x80 + 474x81 + 760x82 + 742x83 + 998x84 + 99x85 + 310x86 + 983x87 + 63x88 + 928x89 + 741x90 + 571x91 + 353x92 + 14x93 + 399x94 + 226x95 + 710x96 + 38x97 + 695x98 + 718x99 + 502x100 <= 37338 constr5: + 976x1 + 215x2 + 17x3 + 296x4 + 513x5 + 733x6 + 138x7 + 781x8 + 7x9 + 214x10 + 209x11 + 931x12 + 827x13 + 961x14 + 60x15 + 940x16 + 575x17 + 543x18 + 804x19 + 892x20 + 191x21 + 353x22 + 112x23 + 723x24 + 282x25 + 712x26 + 476x27 + 530x28 + 252x29 + 177x30 + 597x31 + 543x32 + 644x33 + 950x34 + 513x35 + 86x36 + 732x37 + 836x38 + 321x39 + 774x40 + 12x41 + 871x42 + 535x43 + 951x44 + 78x45 + 365x46 + 190x47 + 549x48 + 240x49 + 45x50 + 884x51 + 526x52 + 836x53 + 926x54 + 321x55 + 139x56 + 640x57 + 176x58 + 85x59 + 57x60 + 36x61 + 347x62 + 451x63 + 789x64 + 224x65 + 938x66 + 344x67 + 74x68 + 842x69 + 654x70 + 930x71 + 139x72 + 704x73 + 802x74 + 354x75 + 263x76 + 186x77 + 419x78 + 399x79 + 704x80 + 309x81 + 843x82 + 760x83 + 482x84 + 784x85 + 939x86 + 288x87 + 804x88 + 359x89 + 445x90 + 848x91 + 440x92 + 114x93 + 18x94 + 446x95 + 851x96 + 355x97 + 217x98 + 887x99 + 524x100 <= 36798 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