minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 38610.326000 s2: s + 0.001000f1 + 0.501000f2 >= 38610.326000 f1: -f1 + 720x1 + 569x2 + 832x3 + 746x4 + 601x5 + 863x6 + 596x7 + 1013x8 + 736x9 + 737x10 + 1062x11 + 381x12 + 1044x13 + 605x14 + 970x15 + 1177x16 + 747x17 + 842x18 + 875x19 + 627x20 + 839x21 + 674x22 + 897x23 + 876x24 + 597x25 + 649x26 + 1087x27 + 752x28 + 525x29 + 754x30 + 692x31 + 835x32 + 436x33 + 1183x34 + 369x35 + 940x36 + 654x37 + 1090x38 + 780x39 + 1045x40 + 578x41 + 896x42 + 1008x43 + 798x44 + 734x45 + 987x46 + 694x47 + 565x48 + 809x49 + 818x50 + 972x51 + 887x52 + 614x53 + 930x54 + 694x55 + 872x56 + 712x57 + 500x58 + 739x59 + 831x60 + 522x61 + 1008x62 + 834x63 + 734x64 + 490x65 + 924x66 + 422x67 + 598x68 + 499x69 + 846x70 + 939x71 + 797x72 + 538x73 + 656x74 + 931x75 + 861x76 + 784x77 + 586x78 + 859x79 + 620x80 + 1055x81 + 645x82 + 857x83 + 623x84 + 797x85 + 643x86 + 566x87 + 811x88 + 819x89 + 688x90 + 922x91 + 1142x92 + 902x93 + 795x94 + 744x95 + 754x96 + 453x97 + 427x98 + 839x99 + 928x100 = 0 f2: -f2 + 422x1 + 1062x2 + 720x3 + 1142x4 + 846x5 + 897x6 + 734x7 + 859x8 + 627x9 + 436x10 + 863x11 + 857x12 + 739x13 + 569x14 + 930x15 + 694x16 + 1008x17 + 649x18 + 1044x19 + 797x20 + 835x21 + 597x22 + 831x23 + 525x24 + 811x25 + 734x26 + 928x27 + 972x28 + 601x29 + 643x30 + 381x31 + 970x32 + 578x33 + 875x34 + 819x35 + 747x36 + 688x37 + 939x38 + 931x39 + 876x40 + 797x41 + 752x42 + 614x43 + 1090x44 + 887x45 + 784x46 + 692x47 + 499x48 + 645x49 + 798x50 + 924x51 + 565x52 + 654x53 + 922x54 + 369x55 + 694x56 + 834x57 + 754x58 + 427x59 + 987x60 + 896x61 + 940x62 + 809x63 + 818x64 + 839x65 + 861x66 + 1008x67 + 623x68 + 839x69 + 1087x70 + 872x71 + 780x72 + 1045x73 + 500x74 + 1177x75 + 842x76 + 1013x77 + 712x78 + 522x79 + 566x80 + 538x81 + 605x82 + 1183x83 + 736x84 + 674x85 + 754x86 + 453x87 + 832x88 + 746x89 + 902x90 + 586x91 + 795x92 + 744x93 + 598x94 + 620x95 + 656x96 + 737x97 + 596x98 + 1055x99 + 490x100 = 0 constr1: + 921x1 + 650x2 + 962x3 + 835x4 + 999x5 + 399x6 + 828x7 + 452x8 + 60x9 + 492x10 + 393x11 + 282x12 + 145x13 + 663x14 + 912x15 + 619x16 + 989x17 + 823x18 + 607x19 + 497x20 + 944x21 + 453x22 + 193x23 + 425x24 + 971x25 + 17x26 + 31x27 + 831x28 + 882x29 + 285x30 + 71x31 + 990x32 + 335x33 + 387x34 + 790x35 + 922x36 + 686x37 + 285x38 + 981x39 + 25x40 + 656x41 + 376x42 + 925x43 + 950x44 + 2x45 + 232x46 + 242x47 + 844x48 + 297x49 + 667x50 + 889x51 + 331x52 + 876x53 + 494x54 + 362x55 + 741x56 + 624x57 + 32x58 + 108x59 + 933x60 + 242x61 + 944x62 + 460x63 + 653x64 + 431x65 + 855x66 + 284x67 + 493x68 + 140x69 + 406x70 + 611x71 + 114x72 + 893x73 + 726x74 + 65x75 + 29x76 + 543x77 + 842x78 + 544x79 + 351x80 + 564x81 + 838x82 + 321x83 + 533x84 + 458x85 + 980x86 + 628x87 + 953x88 + 443x89 + 851x90 + 854x91 + 571x92 + 258x93 + 935x94 + 312x95 + 938x96 + 475x97 + 871x98 + 156x99 + 468x100 <= 13688 constr2: + 367x1 + 365x2 + 439x3 + 790x4 + 117x5 + 998x6 + 332x7 + 12x8 + 973x9 + 578x10 + 562x11 + 549x12 + 348x13 + 95x14 + 786x15 + 432x16 + 689x17 + 117x18 + 698x19 + 459x20 + 169x21 + 743x22 + 66x23 + 607x24 + 258x25 + 849x26 + 277x27 + 528x28 + 430x29 + 40x30 + 344x31 + 102x32 + 388x33 + 893x34 + 836x35 + 805x36 + 149x37 + 640x38 + 684x39 + 686x40 + 916x41 + 157x42 + 166x43 + 906x44 + 900x45 + 456x46 + 259x47 + 418x48 + 503x49 + 689x50 + 437x51 + 127x52 + 258x53 + 358x54 + 851x55 + 179x56 + 530x57 + 626x58 + 614x59 + 173x60 + 469x61 + 841x62 + 25x63 + 885x64 + 369x65 + 826x66 + 931x67 + 916x68 + 541x69 + 609x70 + 597x71 + 361x72 + 930x73 + 386x74 + 346x75 + 396x76 + 648x77 + 47x78 + 914x79 + 507x80 + 825x81 + 316x82 + 662x83 + 463x84 + 799x85 + 607x86 + 833x87 + 68x88 + 868x89 + 633x90 + 179x91 + 43x92 + 885x93 + 331x94 + 573x95 + 448x96 + 278x97 + 73x98 + 628x99 + 290x100 <= 12495 constr3: + 638x1 + 974x2 + 12x3 + 963x4 + 615x5 + 579x6 + 769x7 + 577x8 + 808x9 + 699x10 + 798x11 + 430x12 + 865x13 + 341x14 + 946x15 + 510x16 + 20x17 + 971x18 + 865x19 + 318x20 + 797x21 + 441x22 + 963x23 + 211x24 + 240x25 + 310x26 + 349x27 + 978x28 + 525x29 + 437x30 + 261x31 + 91x32 + 140x33 + 697x34 + 247x35 + 660x36 + 369x37 + 538x38 + 681x39 + 264x40 + 799x41 + 610x42 + 551x43 + 653x44 + 573x45 + 718x46 + 30x47 + 671x48 + 906x49 + 662x50 + 929x51 + 774x52 + 928x53 + 260x54 + 774x55 + 944x56 + 569x57 + 373x58 + 902x59 + 927x60 + 604x61 + 369x62 + 407x63 + 345x64 + 31x65 + 306x66 + 402x67 + 562x68 + 675x69 + 599x70 + 116x71 + 362x72 + 49x73 + 30x74 + 150x75 + 342x76 + 662x77 + 739x78 + 331x79 + 296x80 + 488x81 + 292x82 + 861x83 + 646x84 + 566x85 + 281x86 + 359x87 + 364x88 + 905x89 + 412x90 + 201x91 + 578x92 + 221x93 + 485x94 + 46x95 + 163x96 + 790x97 + 946x98 + 262x99 + 275x100 <= 13016 constr4: + 810x1 + 685x2 + 618x3 + 111x4 + 718x5 + 337x6 + 743x7 + 128x8 + 763x9 + 171x10 + 515x11 + 639x12 + 377x13 + 3x14 + 62x15 + 648x16 + 936x17 + 178x18 + 469x19 + 816x20 + 999x21 + 954x22 + 1x23 + 390x24 + 620x25 + 437x26 + 632x27 + 272x28 + 570x29 + 337x30 + 791x31 + 811x32 + 676x33 + 665x34 + 523x35 + 930x36 + 556x37 + 915x38 + 506x39 + 985x40 + 634x41 + 265x42 + 669x43 + 113x44 + 454x45 + 409x46 + 618x47 + 354x48 + 596x49 + 388x50 + 227x51 + 959x52 + 459x53 + 127x54 + 457x55 + 238x56 + 140x57 + 275x58 + 743x59 + 643x60 + 820x61 + 806x62 + 111x63 + 631x64 + 889x65 + 526x66 + 733x67 + 820x68 + 388x69 + 353x70 + 926x71 + 678x72 + 363x73 + 782x74 + 630x75 + 665x76 + 939x77 + 962x78 + 820x79 + 118x80 + 360x81 + 642x82 + 567x83 + 659x84 + 837x85 + 732x86 + 758x87 + 29x88 + 315x89 + 781x90 + 433x91 + 359x92 + 698x93 + 752x94 + 329x95 + 857x96 + 481x97 + 44x98 + 769x99 + 71x100 <= 13419 constr5: + 166x1 + 545x2 + 255x3 + 200x4 + 297x5 + 977x6 + 595x7 + 535x8 + 915x9 + 796x10 + 22x11 + 802x12 + 658x13 + 508x14 + 593x15 + 378x16 + 537x17 + 111x18 + 622x19 + 581x20 + 198x21 + 66x22 + 201x23 + 402x24 + 163x25 + 397x26 + 447x27 + 732x28 + 62x29 + 421x30 + 232x31 + 119x32 + 58x33 + 500x34 + 860x35 + 756x36 + 938x37 + 433x38 + 831x39 + 397x40 + 482x41 + 440x42 + 932x43 + 63x44 + 324x45 + 512x46 + 92x47 + 42x48 + 459x49 + 767x50 + 476x51 + 915x52 + 402x53 + 733x54 + 113x55 + 516x56 + 434x57 + 908x58 + 50x59 + 977x60 + 655x61 + 715x62 + 881x63 + 395x64 + 936x65 + 102x66 + 410x67 + 856x68 + 544x69 + 542x70 + 984x71 + 121x72 + 344x73 + 479x74 + 947x75 + 602x76 + 865x77 + 911x78 + 762x79 + 119x80 + 435x81 + 344x82 + 320x83 + 820x84 + 840x85 + 634x86 + 288x87 + 977x88 + 350x89 + 362x90 + 633x91 + 376x92 + 46x93 + 593x94 + 641x95 + 135x96 + 248x97 + 581x98 + 874x99 + 924x100 <= 13061 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