minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 37209.244000 s2: s + 0.001000f1 + 0.501000f2 >= 37209.244000 f1: -f1 + 1069x1 + 740x2 + 785x3 + 1130x4 + 937x5 + 541x6 + 813x7 + 997x8 + 827x9 + 954x10 + 603x11 + 523x12 + 905x13 + 673x14 + 1000x15 + 306x16 + 881x17 + 758x18 + 594x19 + 716x20 + 540x21 + 716x22 + 771x23 + 695x24 + 722x25 + 672x26 + 829x27 + 621x28 + 520x29 + 692x30 + 875x31 + 567x32 + 656x33 + 528x34 + 934x35 + 584x36 + 723x37 + 626x38 + 914x39 + 563x40 + 889x41 + 1045x42 + 850x43 + 493x44 + 675x45 + 485x46 + 826x47 + 922x48 + 1178x49 + 542x50 + 612x51 + 693x52 + 539x53 + 990x54 + 726x55 + 1008x56 + 566x57 + 877x58 + 640x59 + 802x60 + 761x61 + 712x62 + 304x63 + 896x64 + 805x65 + 522x66 + 599x67 + 1015x68 + 960x69 + 612x70 + 881x71 + 891x72 + 535x73 + 662x74 + 732x75 + 966x76 + 750x77 + 1025x78 + 512x79 + 1186x80 + 985x81 + 382x82 + 426x83 + 538x84 + 879x85 + 502x86 + 733x87 + 639x88 + 460x89 + 802x90 + 450x91 + 562x92 + 1087x93 + 744x94 + 981x95 + 836x96 + 1042x97 + 737x98 + 581x99 + 572x100 = 0 f2: -f2 + 934x1 + 744x2 + 836x3 + 541x4 + 737x5 + 1069x6 + 540x7 + 1008x8 + 985x9 + 563x10 + 562x11 + 1042x12 + 960x13 + 802x14 + 879x15 + 1178x16 + 522x17 + 712x18 + 1015x19 + 914x20 + 599x21 + 566x22 + 877x23 + 512x24 + 829x25 + 740x26 + 733x27 + 460x28 + 723x29 + 716x30 + 750x31 + 502x32 + 621x33 + 722x34 + 827x35 + 542x36 + 881x37 + 1130x38 + 672x39 + 1045x40 + 716x41 + 802x42 + 584x43 + 673x44 + 450x45 + 937x46 + 639x47 + 990x48 + 761x49 + 881x50 + 850x51 + 981x52 + 826x53 + 662x54 + 997x55 + 382x56 + 889x57 + 1186x58 + 656x59 + 675x60 + 304x61 + 520x62 + 805x63 + 306x64 + 1000x65 + 493x66 + 813x67 + 1025x68 + 612x69 + 905x70 + 572x71 + 954x72 + 612x73 + 538x74 + 581x75 + 922x76 + 695x77 + 875x78 + 785x79 + 891x80 + 523x81 + 966x82 + 528x83 + 693x84 + 626x85 + 896x86 + 1087x87 + 567x88 + 603x89 + 485x90 + 771x91 + 692x92 + 539x93 + 758x94 + 594x95 + 726x96 + 426x97 + 535x98 + 732x99 + 640x100 = 0 constr1: + 135x1 + 83x2 + 476x3 + 156x4 + 740x5 + 233x6 + 534x7 + 413x8 + 362x9 + 641x10 + 799x11 + 665x12 + 868x13 + 291x14 + 352x15 + 481x16 + 700x17 + 47x18 + 759x19 + 441x20 + 723x21 + 657x22 + 923x23 + 343x24 + 35x25 + 499x26 + 685x27 + 10x28 + 668x29 + 55x30 + 551x31 + 534x32 + 9x33 + 227x34 + 158x35 + 458x36 + 961x37 + 572x38 + 159x39 + 111x40 + 421x41 + 775x42 + 148x43 + 70x44 + 341x45 + 314x46 + 380x47 + 809x48 + 777x49 + 478x50 + 820x51 + 638x52 + 600x53 + 729x54 + 151x55 + 883x56 + 267x57 + 478x58 + 87x59 + 598x60 + 680x61 + 140x62 + 9x63 + 8x64 + 662x65 + 247x66 + 923x67 + 221x68 + 580x69 + 33x70 + 102x71 + 916x72 + 256x73 + 246x74 + 649x75 + 255x76 + 801x77 + 242x78 + 747x79 + 186x80 + 948x81 + 796x82 + 199x83 + 692x84 + 223x85 + 744x86 + 261x87 + 384x88 + 456x89 + 166x90 + 142x91 + 985x92 + 963x93 + 877x94 + 860x95 + 423x96 + 902x97 + 789x98 + 218x99 + 388x100 <= 33604 constr2: + 997x1 + 101x2 + 459x3 + 557x4 + 461x5 + 341x6 + 120x7 + 853x8 + 879x9 + 760x10 + 178x11 + 481x12 + 586x13 + 112x14 + 900x15 + 116x16 + 325x17 + 462x18 + 288x19 + 893x20 + 666x21 + 430x22 + 158x23 + 376x24 + 407x25 + 80x26 + 467x27 + 313x28 + 553x29 + 539x30 + 840x31 + 275x32 + 64x33 + 336x34 + 118x35 + 757x36 + 593x37 + 698x38 + 523x39 + 384x40 + 655x41 + 320x42 + 126x43 + 649x44 + 326x45 + 990x46 + 314x47 + 593x48 + 653x49 + 87x50 + 301x51 + 550x52 + 162x53 + 844x54 + 510x55 + 192x56 + 315x57 + 297x58 + 481x59 + 340x60 + 353x61 + 21x62 + 771x63 + 449x64 + 483x65 + 526x66 + 620x67 + 988x68 + 636x69 + 270x70 + 351x71 + 884x72 + 989x73 + 264x74 + 859x75 + 309x76 + 464x77 + 497x78 + 87x79 + 590x80 + 106x81 + 880x82 + 265x83 + 82x84 + 382x85 + 764x86 + 204x87 + 759x88 + 153x89 + 192x90 + 867x91 + 72x92 + 994x93 + 423x94 + 408x95 + 203x96 + 135x97 + 704x98 + 507x99 + 730x100 <= 34889 constr3: + 850x1 + 575x2 + 490x3 + 442x4 + 833x5 + 470x6 + 515x7 + 507x8 + 422x9 + 498x10 + 692x11 + 442x12 + 85x13 + 877x14 + 422x15 + 542x16 + 17x17 + 58x18 + 776x19 + 381x20 + 176x21 + 497x22 + 411x23 + 343x24 + 656x25 + 728x26 + 661x27 + 266x28 + 388x29 + 118x30 + 480x31 + 266x32 + 5x33 + 328x34 + 1x35 + 605x36 + 336x37 + 264x38 + 560x39 + 88x40 + 988x41 + 217x42 + 251x43 + 693x44 + 609x45 + 219x46 + 617x47 + 663x48 + 312x49 + 543x50 + 183x51 + 723x52 + 469x53 + 586x54 + 805x55 + 95x56 + 189x57 + 634x58 + 999x59 + 959x60 + 767x61 + 963x62 + 844x63 + 757x64 + 669x65 + 751x66 + 183x67 + 349x68 + 456x69 + 535x70 + 439x71 + 577x72 + 637x73 + 964x74 + 887x75 + 802x76 + 146x77 + 492x78 + 612x79 + 9x80 + 255x81 + 878x82 + 827x83 + 314x84 + 893x85 + 341x86 + 23x87 + 446x88 + 535x89 + 549x90 + 780x91 + 819x92 + 260x93 + 983x94 + 173x95 + 605x96 + 289x97 + 781x98 + 54x99 + 728x100 <= 37341 constr4: + 971x1 + 333x2 + 781x3 + 103x4 + 725x5 + 394x6 + 792x7 + 348x8 + 319x9 + 946x10 + 503x11 + 222x12 + 534x13 + 608x14 + 293x15 + 276x16 + 51x17 + 361x18 + 896x19 + 131x20 + 662x21 + 470x22 + 388x23 + 222x24 + 903x25 + 611x26 + 57x27 + 828x28 + 180x29 + 643x30 + 757x31 + 436x32 + 185x33 + 632x34 + 480x35 + 538x36 + 460x37 + 747x38 + 986x39 + 751x40 + 957x41 + 33x42 + 604x43 + 211x44 + 711x45 + 240x46 + 577x47 + 114x48 + 79x49 + 781x50 + 604x51 + 616x52 + 495x53 + 270x54 + 495x55 + 244x56 + 666x57 + 86x58 + 135x59 + 269x60 + 469x61 + 756x62 + 745x63 + 744x64 + 179x65 + 963x66 + 3x67 + 486x68 + 246x69 + 896x70 + 195x71 + 334x72 + 524x73 + 694x74 + 953x75 + 342x76 + 471x77 + 50x78 + 500x79 + 769x80 + 348x81 + 285x82 + 445x83 + 696x84 + 199x85 + 286x86 + 29x87 + 577x88 + 243x89 + 420x90 + 416x91 + 569x92 + 308x93 + 844x94 + 1000x95 + 393x96 + 160x97 + 951x98 + 168x99 + 202x100 <= 39585 constr5: + 321x1 + 382x2 + 128x3 + 268x4 + 435x5 + 41x6 + 522x7 + 797x8 + 185x9 + 82x10 + 55x11 + 378x12 + 240x13 + 21x14 + 988x15 + 624x16 + 176x17 + 484x18 + 99x19 + 53x20 + 544x21 + 883x22 + 797x23 + 26x24 + 37x25 + 911x26 + 166x27 + 221x28 + 454x29 + 445x30 + 673x31 + 667x32 + 359x33 + 914x34 + 872x35 + 977x36 + 759x37 + 486x38 + 379x39 + 920x40 + 922x41 + 280x42 + 979x43 + 778x44 + 983x45 + 664x46 + 710x47 + 367x48 + 832x49 + 151x50 + 962x51 + 558x52 + 243x53 + 784x54 + 637x55 + 438x56 + 500x57 + 379x58 + 707x59 + 504x60 + 414x61 + 678x62 + 877x63 + 715x64 + 214x65 + 843x66 + 274x67 + 277x68 + 423x69 + 896x70 + 912x71 + 2x72 + 844x73 + 985x74 + 327x75 + 991x76 + 592x77 + 854x78 + 834x79 + 356x80 + 605x81 + 637x82 + 933x83 + 84x84 + 975x85 + 30x86 + 870x87 + 188x88 + 806x89 + 360x90 + 108x91 + 565x92 + 438x93 + 63x94 + 408x95 + 802x96 + 32x97 + 387x98 + 958x99 + 466x100 <= 36775 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