minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 35170.622000 
s2: s + 0.001000f1 + 0.501000f2 >= 35170.622000 
f1: -f1 + 633x1 + 686x2 + 828x3 + 448x4 + 488x5 + 886x6 + 673x7 + 780x8 + 668x9 + 422x10 + 464x11 + 760x12 + 842x13 + 637x14 + 574x15 + 841x16 + 532x17 + 947x18 + 712x19 + 734x20 + 815x21 + 873x22 + 945x23 + 407x24 + 798x25 + 717x26 + 640x27 + 688x28 + 805x29 + 863x30 + 796x31 + 597x32 + 730x33 + 493x34 + 541x35 + 871x36 + 448x37 + 557x38 + 690x39 + 801x40 + 690x41 + 748x42 + 853x43 + 906x44 + 593x45 + 925x46 + 916x47 + 624x48 + 681x49 + 669x50 + 579x51 + 926x52 + 703x53 + 430x54 + 1023x55 + 554x56 + 854x57 + 809x58 + 785x59 + 712x60 + 564x61 + 1030x62 + 917x63 + 660x64 + 1058x65 + 634x66 + 457x67 + 972x68 + 1028x69 + 580x70 + 932x71 + 723x72 + 669x73 + 487x74 + 440x75 + 650x76 + 623x77 + 621x78 + 605x79 + 488x80 + 848x81 + 784x82 + 913x83 + 521x84 + 590x85 + 677x86 + 646x87 + 656x88 + 688x89 + 939x90 + 867x91 + 483x92 + 328x93 + 534x94 + 578x95 + 477x96 + 676x97 + 800x98 + 680x99 + 628x100  = 0 
f2: -f2 + 640x1 + 488x2 + 798x3 + 703x4 + 945x5 + 841x6 + 634x7 + 593x8 + 650x9 + 947x10 + 690x11 + 784x12 + 854x13 + 574x14 + 972x15 + 483x16 + 448x17 + 656x18 + 917x19 + 493x20 + 848x21 + 557x22 + 541x23 + 680x24 + 430x25 + 534x26 + 867x27 + 926x28 + 734x29 + 673x30 + 1030x31 + 925x32 + 457x33 + 717x34 + 521x35 + 688x36 + 669x37 + 809x38 + 579x39 + 686x40 + 597x41 + 532x42 + 842x43 + 624x44 + 681x45 + 748x46 + 448x47 + 871x48 + 801x49 + 1023x50 + 712x51 + 676x52 + 805x53 + 677x54 + 780x55 + 580x56 + 440x57 + 477x58 + 1058x59 + 633x60 + 873x61 + 785x62 + 590x63 + 800x64 + 916x65 + 637x66 + 815x67 + 932x68 + 796x69 + 886x70 + 828x71 + 723x72 + 464x73 + 578x74 + 621x75 + 660x76 + 328x77 + 730x78 + 668x79 + 407x80 + 554x81 + 760x82 + 690x83 + 913x84 + 688x85 + 669x86 + 623x87 + 605x88 + 487x89 + 712x90 + 628x91 + 863x92 + 1028x93 + 853x94 + 646x95 + 422x96 + 939x97 + 564x98 + 488x99 + 906x100  = 0 
constr1: + 566x1 + 664x2 + 226x3 + 592x4 + 134x5 + 128x6 + 344x7 + 190x8 + 296x9 + 610x10 + 74x11 + 3x12 + 515x13 + 309x14 + 870x15 + 670x16 + 653x17 + 99x18 + 607x19 + 974x20 + 740x21 + 636x22 + 962x23 + 480x24 + 581x25 + 338x26 + 841x27 + 206x28 + 783x29 + 533x30 + 569x31 + 436x32 + 863x33 + 174x34 + 213x35 + 827x36 + 707x37 + 710x38 + 795x39 + 568x40 + 865x41 + 463x42 + 117x43 + 524x44 + 352x45 + 143x46 + 944x47 + 811x48 + 907x49 + 506x50 + 942x51 + 679x52 + 147x53 + 438x54 + 741x55 + 357x56 + 932x57 + 423x58 + 143x59 + 581x60 + 717x61 + 203x62 + 154x63 + 180x64 + 106x65 + 822x66 + 144x67 + 19x68 + 244x69 + 789x70 + 150x71 + 15x72 + 101x73 + 236x74 + 311x75 + 497x76 + 215x77 + 890x78 + 744x79 + 725x80 + 84x81 + 497x82 + 555x83 + 598x84 + 485x85 + 913x86 + 295x87 + 974x88 + 301x89 + 869x90 + 4x91 + 656x92 + 485x93 + 491x94 + 481x95 + 128x96 + 305x97 + 253x98 + 904x99 + 432x100 <= 11741 
constr2: + 792x1 + 550x2 + 679x3 + 254x4 + 530x5 + 547x6 + 804x7 + 291x8 + 540x9 + 391x10 + 972x11 + 799x12 + 441x13 + 400x14 + 431x15 + 662x16 + 496x17 + 871x18 + 920x19 + 118x20 + 347x21 + 770x22 + 425x23 + 170x24 + 655x25 + 483x26 + 6x27 + 220x28 + 185x29 + 78x30 + 288x31 + 581x32 + 13x33 + 332x34 + 705x35 + 693x36 + 191x37 + 500x38 + 500x39 + 375x40 + 228x41 + 823x42 + 308x43 + 219x44 + 23x45 + 194x46 + 890x47 + 45x48 + 999x49 + 550x50 + 138x51 + 171x52 + 373x53 + 113x54 + 309x55 + 377x56 + 497x57 + 284x58 + 606x59 + 55x60 + 932x61 + 765x62 + 759x63 + 207x64 + 509x65 + 956x66 + 571x67 + 105x68 + 71x69 + 728x70 + 380x71 + 473x72 + 103x73 + 18x74 + 948x75 + 805x76 + 360x77 + 478x78 + 966x79 + 506x80 + 537x81 + 655x82 + 676x83 + 174x84 + 164x85 + 138x86 + 792x87 + 550x88 + 854x89 + 615x90 + 630x91 + 215x92 + 851x93 + 534x94 + 598x95 + 279x96 + 706x97 + 726x98 + 677x99 + 347x100 <= 12654 
constr3: + 258x1 + 188x2 + 588x3 + 408x4 + 749x5 + 822x6 + 269x7 + 21x8 + 388x9 + 171x10 + 955x11 + 478x12 + 475x13 + 919x14 + 966x15 + 242x16 + 912x17 + 175x18 + 748x19 + 158x20 + 550x21 + 100x22 + 437x23 + 985x24 + 588x25 + 213x26 + 629x27 + 614x28 + 493x29 + 52x30 + 686x31 + 575x32 + 904x33 + 126x34 + 542x35 + 198x36 + 200x37 + 853x38 + 419x39 + 93x40 + 443x41 + 783x42 + 844x43 + 885x44 + 452x45 + 182x46 + 242x47 + 808x48 + 627x49 + 224x50 + 984x51 + 178x52 + 754x53 + 223x54 + 33x55 + 89x56 + 15x57 + 328x58 + 865x59 + 475x60 + 767x61 + 798x62 + 616x63 + 839x64 + 584x65 + 646x66 + 820x67 + 816x68 + 684x69 + 811x70 + 894x71 + 327x72 + 250x73 + 449x74 + 450x75 + 407x76 + 430x77 + 380x78 + 290x79 + 401x80 + 927x81 + 488x82 + 825x83 + 905x84 + 806x85 + 976x86 + 882x87 + 925x88 + 507x89 + 506x90 + 625x91 + 242x92 + 386x93 + 95x94 + 775x95 + 841x96 + 688x97 + 302x98 + 272x99 + 76x100 <= 12314 
constr4: + 359x1 + 674x2 + 21x3 + 235x4 + 631x5 + 224x6 + 471x7 + 227x8 + 862x9 + 55x10 + 264x11 + 590x12 + 204x13 + 883x14 + 360x15 + 424x16 + 854x17 + 38x18 + 225x19 + 263x20 + 222x21 + 940x22 + 187x23 + 54x24 + 321x25 + 629x26 + 618x27 + 322x28 + 281x29 + 285x30 + 253x31 + 30x32 + 155x33 + 100x34 + 95x35 + 176x36 + 633x37 + 376x38 + 239x39 + 140x40 + 119x41 + 361x42 + 210x43 + 174x44 + 400x45 + 762x46 + 501x47 + 98x48 + 223x49 + 628x50 + 726x51 + 278x52 + 472x53 + 365x54 + 122x55 + 373x56 + 855x57 + 27x58 + 814x59 + 732x60 + 654x61 + 539x62 + 665x63 + 558x64 + 994x65 + 870x66 + 38x67 + 737x68 + 324x69 + 57x70 + 229x71 + 345x72 + 802x73 + 419x74 + 569x75 + 50x76 + 117x77 + 160x78 + 433x79 + 664x80 + 379x81 + 162x82 + 80x83 + 193x84 + 516x85 + 621x86 + 7x87 + 815x88 + 511x89 + 112x90 + 432x91 + 49x92 + 605x93 + 185x94 + 315x95 + 145x96 + 266x97 + 856x98 + 260x99 + 150x100 <= 11707 
constr5: + 889x1 + 482x2 + 568x3 + 510x4 + 264x5 + 607x6 + 488x7 + 105x8 + 790x9 + 761x10 + 113x11 + 293x12 + 482x13 + 109x14 + 606x15 + 919x16 + 918x17 + 44x18 + 617x19 + 853x20 + 583x21 + 83x22 + 229x23 + 561x24 + 879x25 + 122x26 + 113x27 + 50x28 + 812x29 + 55x30 + 362x31 + 708x32 + 808x33 + 690x34 + 751x35 + 821x36 + 281x37 + 944x38 + 308x39 + 225x40 + 649x41 + 178x42 + 618x43 + 237x44 + 478x45 + 589x46 + 36x47 + 437x48 + 681x49 + 730x50 + 497x51 + 16x52 + 96x53 + 798x54 + 311x55 + 665x56 + 797x57 + 337x58 + 76x59 + 126x60 + 479x61 + 105x62 + 212x63 + 963x64 + 574x65 + 742x66 + 920x67 + 686x68 + 986x69 + 518x70 + 124x71 + 26x72 + 475x73 + 576x74 + 238x75 + 406x76 + 968x77 + 186x78 + 316x79 + 556x80 + 986x81 + 797x82 + 924x83 + 725x84 + 600x85 + 470x86 + 707x87 + 170x88 + 290x89 + 598x90 + 161x91 + 179x92 + 320x93 + 216x94 + 842x95 + 834x96 + 635x97 + 536x98 + 21x99 + 607x100 <= 10862 
constr6: + 527x1 + 763x2 + 191x3 + 317x4 + 708x5 + 869x6 + 49x7 + 294x8 + 838x9 + 49x10 + 972x11 + 605x12 + 756x13 + 228x14 + 967x15 + 570x16 + 724x17 + 125x18 + 292x19 + 564x20 + 829x21 + 856x22 + 825x23 + 563x24 + 781x25 + 290x26 + 33x27 + 692x28 + 819x29 + 697x30 + 379x31 + 586x32 + 924x33 + 979x34 + 936x35 + 41x36 + 465x37 + 52x38 + 302x39 + 651x40 + 213x41 + 123x42 + 490x43 + 270x44 + 873x45 + 251x46 + 247x47 + 986x48 + 601x49 + 132x50 + 922x51 + 397x52 + 342x53 + 90x54 + 129x55 + 856x56 + 228x57 + 651x58 + 181x59 + 858x60 + 884x61 + 739x62 + 341x63 + 554x64 + 473x65 + 449x66 + 292x67 + 255x68 + 509x69 + 265x70 + 888x71 + 218x72 + 707x73 + 570x74 + 579x75 + 184x76 + 445x77 + 63x78 + 827x79 + 819x80 + 350x81 + 689x82 + 716x83 + 984x84 + 30x85 + 929x86 + 100x87 + 984x88 + 851x89 + 401x90 + 20x91 + 489x92 + 396x93 + 26x94 + 43x95 + 516x96 + 286x97 + 204x98 + 268x99 + 159x100 <= 11515 
constr7: + 473x1 + 786x2 + 396x3 + 851x4 + 677x5 + 270x6 + 28x7 + 67x8 + 363x9 + 942x10 + 245x11 + 156x12 + 636x13 + 1000x14 + 533x15 + 812x16 + 684x17 + 305x18 + 79x19 + 925x20 + 237x21 + 872x22 + 59x23 + 542x24 + 755x25 + 978x26 + 891x27 + 791x28 + 998x29 + 390x30 + 726x31 + 118x32 + 421x33 + 191x34 + 903x35 + 558x36 + 384x37 + 751x38 + 228x39 + 76x40 + 123x41 + 48x42 + 329x43 + 579x44 + 472x45 + 828x46 + 45x47 + 367x48 + 635x49 + 124x50 + 354x51 + 420x52 + 558x53 + 66x54 + 808x55 + 959x56 + 669x57 + 906x58 + 568x59 + 769x60 + 361x61 + 626x62 + 275x63 + 41x64 + 310x65 + 160x66 + 34x67 + 336x68 + 927x69 + 586x70 + 325x71 + 165x72 + 624x73 + 606x74 + 263x75 + 297x76 + 232x77 + 242x78 + 310x79 + 378x80 + 623x81 + 586x82 + 886x83 + 122x84 + 924x85 + 383x86 + 349x87 + 662x88 + 180x89 + 740x90 + 486x91 + 554x92 + 920x93 + 130x94 + 232x95 + 538x96 + 85x97 + 603x98 + 38x99 + 977x100 <= 12506 
constr8: + 390x1 + 675x2 + 531x3 + 330x4 + 637x5 + 473x6 + 411x7 + 630x8 + 975x9 + 689x10 + 483x11 + 57x12 + 124x13 + 182x14 + 824x15 + 773x16 + 792x17 + 622x18 + 451x19 + 566x20 + 288x21 + 804x22 + 442x23 + 356x24 + 833x25 + 93x26 + 869x27 + 284x28 + 674x29 + 853x30 + 963x31 + 470x32 + 199x33 + 930x34 + 852x35 + 302x36 + 238x37 + 350x38 + 911x39 + 701x40 + 612x41 + 455x42 + 92x43 + 126x44 + 7x45 + 336x46 + 992x47 + 44x48 + 940x49 + 543x50 + 534x51 + 737x52 + 296x53 + 630x54 + 386x55 + 959x56 + 16x57 + 605x58 + 438x59 + 409x60 + 532x61 + 349x62 + 424x63 + 496x64 + 398x65 + 109x66 + 200x67 + 161x68 + 237x69 + 494x70 + 716x71 + 675x72 + 878x73 + 472x74 + 334x75 + 812x76 + 784x77 + 709x78 + 906x79 + 147x80 + 85x81 + 443x82 + 66x83 + 572x84 + 822x85 + 29x86 + 956x87 + 177x88 + 158x89 + 457x90 + 785x91 + 262x92 + 123x93 + 704x94 + 134x95 + 635x96 + 106x97 + 227x98 + 861x99 + 596x100 <= 11096 
constr9: + 315x1 + 162x2 + 535x3 + 197x4 + 892x5 + 453x6 + 366x7 + 731x8 + 965x9 + 148x10 + 525x11 + 648x12 + 826x13 + 408x14 + 783x15 + 109x16 + 964x17 + 522x18 + 1x19 + 288x20 + 886x21 + 587x22 + 566x23 + 192x24 + 160x25 + 723x26 + 340x27 + 259x28 + 437x29 + 333x30 + 59x31 + 145x32 + 606x33 + 279x34 + 867x35 + 272x36 + 855x37 + 261x38 + 53x39 + 352x40 + 167x41 + 333x42 + 158x43 + 743x44 + 427x45 + 554x46 + 226x47 + 84x48 + 185x49 + 851x50 + 245x51 + 694x52 + 183x53 + 939x54 + 513x55 + 708x56 + 620x57 + 297x58 + 285x59 + 660x60 + 947x61 + 823x62 + 546x63 + 822x64 + 717x65 + 229x66 + 702x67 + 360x68 + 557x69 + 197x70 + 323x71 + 91x72 + 684x73 + 47x74 + 783x75 + 66x76 + 686x77 + 540x78 + 43x79 + 752x80 + 521x81 + 53x82 + 726x83 + 576x84 + 203x85 + 724x86 + 314x87 + 989x88 + 66x89 + 663x90 + 868x91 + 50x92 + 475x93 + 450x94 + 359x95 + 296x96 + 758x97 + 75x98 + 495x99 + 445x100 <= 13121 
constr10: + 249x1 + 739x2 + 542x3 + 141x4 + 184x5 + 836x6 + 622x7 + 228x8 + 599x9 + 649x10 + 854x11 + 21x12 + 163x13 + 966x14 + 50x15 + 273x16 + 56x17 + 391x18 + 673x19 + 73x20 + 524x21 + 630x22 + 113x23 + 15x24 + 736x25 + 992x26 + 34x27 + 485x28 + 996x29 + 406x30 + 456x31 + 563x32 + 938x33 + 734x34 + 451x35 + 355x36 + 400x37 + 129x38 + 192x39 + 542x40 + 40x41 + 996x42 + 368x43 + 983x44 + 554x45 + 18x46 + 430x47 + 229x48 + 254x49 + 455x50 + 819x51 + 619x52 + 405x53 + 820x54 + 323x55 + 225x56 + 375x57 + 456x58 + 111x59 + 290x60 + 12x61 + 242x62 + 596x63 + 286x64 + 606x65 + 450x66 + 344x67 + 320x68 + 835x69 + 632x70 + 290x71 + 839x72 + 541x73 + 905x74 + 305x75 + 311x76 + 251x77 + 263x78 + 593x79 + 39x80 + 224x81 + 896x82 + 612x83 + 42x84 + 850x85 + 700x86 + 125x87 + 520x88 + 202x89 + 89x90 + 308x91 + 77x92 + 248x93 + 473x94 + 383x95 + 687x96 + 510x97 + 104x98 + 453x99 + 730x100 <= 10316 
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