Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 2721013 | 252.081 | 239.733 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml |
| MD5SUM | f56a4553a90e1a028ece3fd7f833aea7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2721013 |
| Best CPU time to get the best result obtained on this benchmark | 252.081 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 500 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2000}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
| Minimum constraint arity | 7 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":500}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.56 c seed: 584253516 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 3.50/1.70 c Parsing done, starting first complete search... 4.00/1.94 o 0 4.00/1.94 o 16126 4.00/1.95 o 23556 4.00/1.95 o 26209 4.00/1.95 o 49765 4.00/1.96 o 54523 4.00/1.96 o 60785 4.00/1.96 o 76911 4.00/1.96 o 84341 4.00/1.97 o 88788 4.00/1.97 o 95333 4.00/1.97 o 100091 4.00/1.97 o 115506 4.00/1.97 o 119121 4.00/1.98 o 145789 4.00/1.98 o 151876 4.00/1.98 o 157894 4.00/1.98 o 180160 4.00/1.98 o 184139 4.00/1.99 o 213961 4.00/1.99 o 214157 4.00/1.99 o 227824 4.00/1.99 o 254478 4.00/1.99 o 256355 4.00/1.99 o 264769 4.00/2.00 o 272477 4.00/2.00 o 275372 4.29/2.01 o 279019 4.29/2.01 o 280896 4.29/2.01 o 283611 4.29/2.01 o 285488 4.29/2.01 o 292536 4.29/2.01 o 294413 4.29/2.01 o 311031 4.29/2.01 o 312908 4.29/2.01 o 343301 4.29/2.01 o 345178 4.29/2.01 o 371073 4.29/2.02 o 372950 4.29/2.02 o 374997 4.29/2.02 o 376874 4.29/2.02 o 378635 4.29/2.02 o 378729 4.29/2.02 o 382344 4.29/2.02 o 385239 4.29/2.03 o 392448 4.29/2.03 o 393783 4.29/2.03 o 405394 4.29/2.03 o 407619 4.29/2.03 o 415854 4.29/2.04 o 417225 4.29/2.04 o 420840 4.29/2.04 o 424530 4.29/2.04 o 428145 4.29/2.04 o 429385 4.29/2.05 o 429609 4.29/2.05 o 431594 4.29/2.05 o 433355 4.29/2.05 o 434595 4.29/2.05 o 436508 4.29/2.05 o 437748 4.29/2.05 o 440123 4.29/2.05 o 441363 4.29/2.06 o 441636 4.29/2.06 o 442876 4.29/2.06 o 444470 4.29/2.06 o 445710 4.29/2.07 o 445921 4.29/2.07 o 450083 4.29/2.07 o 451323 4.29/2.08 o 451534 4.29/2.10 o 452252 4.29/2.10 o 452463 4.60/2.11 o 455717 4.60/2.11 o 467020 4.60/2.11 o 467231 4.60/2.11 o 477946 4.60/2.12 o 481870 4.60/2.13 o 482225 4.60/2.13 o 483986 4.60/2.13 o 487910 4.60/2.14 o 489684 4.60/2.14 o 492518 4.60/2.14 o 495922 4.60/2.14 o 496133 4.60/2.16 o 496795 4.60/2.16 o 497006 4.60/2.16 o 501403 4.60/2.16 o 501614 4.60/2.16 o 505018 4.60/2.19 o 505229 4.60/2.19 o 505417 4.60/2.19 o 505628 4.60/2.19 o 509341 4.60/2.19 o 509552 4.88/2.21 o 513782 4.88/2.21 o 513993 4.88/2.21 o 515022 4.88/2.21 o 515233 4.88/2.21 o 518946 4.88/2.21 o 519157 4.88/2.21 o 525714 4.88/2.21 o 525925 4.88/2.21 o 529329 4.88/2.22 o 529540 4.88/2.22 o 530059 4.88/2.22 o 530255 4.88/2.23 o 530270 4.88/2.23 o 530466 4.88/2.23 o 533714 4.88/2.23 o 537329 4.88/2.23 o 538868 4.88/2.23 o 540032 4.88/2.23 o 540228 4.88/2.24 o 541988 4.88/2.24 o 545603 4.88/2.24 o 547142 4.88/2.24 o 548306 4.88/2.24 o 548502 4.88/2.27 o 549190 4.88/2.27 o 549401 4.88/2.27 o 551203 4.88/2.27 o 552235 4.88/2.28 o 553399 4.88/2.28 o 553595 5.19/2.33 o 553876 5.19/2.33 o 554087 5.19/2.33 o 555251 5.19/2.33 o 555447 5.19/2.37 o 556522 5.19/2.37 o 562251 5.19/2.37 o 562518 5.19/2.38 o 566133 5.19/2.38 o 568967 5.19/2.38 o 570862 5.19/2.39 o 571058 5.19/2.39 o 575349 5.19/2.39 o 582484 5.48/2.40 o 584023 5.48/2.41 o 585187 5.48/2.41 o 585383 5.48/2.47 o 589182 5.48/2.47 o 593505 5.48/2.47 o 597429 5.48/2.47 o 598461 5.48/2.48 o 605229 5.48/2.49 o 606768 5.48/2.49 o 607932 5.48/2.49 o 608128 5.77/2.63 o 609900 5.77/2.64 o 611235 5.77/2.64 o 611431 5.77/2.64 o 613460 5.77/2.64 o 613656 5.77/2.64 o 615221 5.77/2.64 o 615417 5.87/2.74 o 617145 5.87/2.75 o 619370 5.87/2.75 o 621131 5.87/2.75 o 621342 5.87/2.75 o 622466 5.87/2.75 o 622677 5.87/2.75 o 625361 5.87/2.75 o 625572 5.87/2.75 o 628195 5.87/2.75 o 628406 5.87/2.76 o 629734 5.87/2.76 o 629945 5.87/2.76 o 630898 5.87/2.76 o 631109 5.87/2.76 o 631305 5.87/2.79 o 631451 5.87/2.79 o 631822 5.87/2.79 o 632033 5.87/2.79 o 635437 5.87/2.79 o 635648 5.87/2.79 o 636469 5.87/2.79 o 636680 5.87/2.79 o 636976 5.87/2.80 o 637187 5.87/2.80 o 638008 5.97/2.80 o 638219 5.97/2.80 o 638336 5.97/2.80 o 638351 5.97/2.80 o 638547 5.97/2.80 o 639383 5.97/2.81 o 639579 6.07/2.97 o 641210 6.28/3.15 o 642545 6.28/3.15 o 645321 6.28/3.15 o 646860 6.28/3.15 o 646992 6.28/3.15 o 647188 6.28/3.15 o 648024 6.28/3.15 o 648220 6.47/3.34 o 648331 6.47/3.34 o 649025 6.47/3.34 o 649221 6.47/3.34 o 650360 6.47/3.34 o 650556 6.47/3.35 o 651392 6.47/3.35 o 651588 7.77/4.54 o 651678 7.77/4.54 o 651889 7.77/4.54 o 652710 7.77/4.54 o 652921 7.87/4.69 o 653053 7.97/4.77 o 653177 7.97/4.77 o 654512 7.97/4.78 o 654723 7.97/4.78 o 654855 8.38/5.15 o 655676 8.38/5.15 o 655887 8.47/5.22 o 656334 8.47/5.22 o 656530 8.47/5.22 o 656545 8.47/5.22 o 656741 8.47/5.22 o 659781 8.47/5.22 o 659977 8.67/5.45 o 660421 8.67/5.45 o 661453 8.77/5.50 o 661585 8.77/5.50 o 661781 8.77/5.50 o 662617 8.77/5.51 o 662813 8.77/5.53 o 666080 8.77/5.54 o 667112 9.60/6.37 o 667663 9.60/6.37 o 668998 9.60/6.37 o 670759 9.60/6.37 o 671791 9.60/6.37 o 673618 10.10/6.82 o 674221 10.10/6.82 o 674417 10.10/6.82 o 682026 10.10/6.82 o 682237 10.10/6.82 o 683269 10.10/6.83 o 684979 10.10/6.85 o 685346 10.10/6.85 o 686385 10.10/6.85 o 689280 10.10/6.85 o 692114 10.20/6.93 o 693059 10.20/6.95 o 693066 10.20/6.95 o 695961 10.20/6.96 o 698795 10.20/6.96 o 699827 10.70/7.42 o 700202 10.70/7.42 o 701131 10.70/7.42 o 704367 11.77/8.47 o 704772 12.07/8.71 o 706076 12.07/8.71 o 709312 13.17/9.82 o 709708 13.17/9.82 o 713323 22.44/19.09 c First complete search done, starting ALNS search... 23.10/19.49 o 714524 23.10/19.49 o 714925 23.10/19.49 o 718083 23.10/19.49 o 722613 23.10/19.49 o 724949 23.10/19.49 o 725350 23.10/19.49 o 725693 23.10/19.49 o 727628 23.10/19.50 o 728029 23.10/19.50 o 729822 23.10/19.50 o 732158 23.10/19.50 o 732559 23.10/19.50 o 734095 23.10/19.50 o 734496 23.10/19.50 o 739178 23.33/19.50 o 739579 23.33/19.50 o 741514 23.33/19.50 o 741915 23.33/19.50 o 743708 23.33/19.50 o 746044 23.33/19.50 o 746445 23.33/19.51 o 746788 23.33/19.51 o 750917 23.33/19.51 o 751318 23.33/19.51 o 753253 23.33/19.51 o 753654 23.85/19.80 o 758335 23.85/19.80 o 759237 23.85/19.80 o 763939 23.85/19.80 o 771622 23.85/19.80 o 777723 23.85/19.81 o 778730 23.85/19.81 o 781360 23.85/19.81 o 782367 23.85/19.81 o 783876 23.85/19.81 o 784883 23.85/19.81 o 787218 23.85/19.81 o 790803 23.85/19.81 o 793319 23.85/19.81 o 794326 23.85/19.81 o 795515 23.85/19.81 o 796522 23.85/19.81 o 798031 23.85/19.81 o 799038 23.85/19.82 o 799913 23.85/19.82 o 800920 23.85/19.82 o 802536 23.85/19.82 o 803657 23.85/19.82 o 806173 23.85/19.82 o 806999 23.85/19.82 o 809463 23.85/19.82 o 813100 23.85/19.82 o 815616 23.85/19.82 o 816691 23.85/19.82 o 817812 23.85/19.82 o 820328 23.85/19.82 o 822210 23.85/19.82 o 823217 23.85/19.83 o 824123 23.85/19.83 o 825130 23.85/19.83 o 825598 23.85/19.83 o 826719 23.85/19.83 o 827353 23.85/19.83 o 829235 23.85/19.83 o 829549 23.85/19.83 o 832065 23.85/19.83 o 833947 23.85/19.83 o 833978 23.85/19.83 o 835860 23.85/19.83 o 836867 23.85/19.83 o 837127 23.85/19.83 o 838248 23.85/19.84 o 840764 23.85/19.84 o 841771 23.85/19.84 o 842677 23.85/19.84 o 843684 23.85/19.84 o 844559 23.85/19.89 o 845566 23.85/19.89 o 845702 23.85/19.89 o 846709 23.85/19.89 o 848096 23.85/19.89 o 849978 23.85/19.89 o 850237 23.85/19.89 o 852150 23.85/19.90 o 854283 23.85/19.90 o 855404 24.13/19.90 o 857920 24.13/19.90 o 859833 24.13/19.90 o 861715 24.13/19.90 o 864103 24.13/19.90 o 866016 24.13/19.90 o 867898 24.13/19.90 o 868501 24.13/19.90 o 868532 24.13/19.90 o 870414 24.13/19.90 o 871557 24.13/19.90 o 872564 24.13/19.90 o 872836 24.13/19.90 o 873911 24.13/19.91 o 875635 24.13/19.91 o 877548 24.13/19.91 o 878151 24.13/19.91 o 880064 24.13/19.91 o 881207 24.13/19.91 o 882214 24.13/19.91 o 883089 24.13/19.91 o 884096 24.13/19.91 o 884731 24.13/19.91 o 885874 24.13/19.91 o 887247 24.13/19.91 o 888390 24.13/19.91 o 889397 24.13/19.91 o 889803 24.13/19.91 o 890810 24.13/19.92 o 890946 24.13/19.92 o 891953 24.13/19.92 o 892291 24.13/19.92 o 892331 24.13/19.92 o 892934 24.13/19.92 o 892965 24.13/19.92 o 893704 24.13/19.92 o 894847 24.13/19.92 o 895854 24.13/19.92 o 896025 24.13/19.92 o 897032 24.13/19.92 o 898489 24.13/19.92 o 899610 24.13/19.92 o 900244 24.13/19.93 o 902126 24.13/19.93 o 903133 24.13/19.93 o 904145 24.13/19.93 o 905152 24.13/19.93 o 906027 24.13/19.93 o 907034 24.13/19.93 o 907427 24.13/19.93 o 907691 24.13/19.93 o 908772 24.13/19.93 o 908812 24.13/19.93 o 909446 24.13/19.93 o 911328 24.13/19.93 o 912335 24.13/19.93 o 912471 24.13/19.93 o 913478 24.13/19.94 o 914566 24.13/19.94 o 914891 24.13/19.94 o 916085 24.13/19.94 o 916896 24.13/19.94 o 917160 24.13/19.94 o 918241 24.13/19.94 o 918281 24.13/19.94 o 918884 24.13/19.94 o 918915 24.13/19.94 o 920797 24.13/19.94 o 921660 24.13/19.94 o 921700 24.13/19.94 o 922303 24.13/19.94 o 924216 24.13/19.95 o 926098 24.13/19.95 o 927241 24.13/19.95 o 928248 24.13/19.95 o 928873 24.13/19.95 o 929673 24.13/19.95 o 930262 24.13/19.95 o 931073 24.13/19.95 o 931337 24.13/19.95 o 933092 24.13/19.95 o 934974 24.13/19.95 o 936117 24.13/19.95 o 937124 24.13/19.95 o 937155 24.13/19.95 o 937894 24.13/19.95 o 938030 24.13/19.96 o 939037 24.13/19.96 o 940176 24.13/19.96 o 940207 24.13/19.96 o 940946 24.13/19.96 o 942089 24.13/19.96 o 943096 24.13/19.96 o 943372 24.13/19.96 o 944183 24.13/19.96 o 944447 24.13/19.96 o 944521 24.13/19.96 o 944561 24.13/19.96 o 945164 24.13/19.96 o 945195 24.13/19.96 o 947077 24.13/19.96 o 948084 24.13/19.97 o 949254 24.13/19.97 o 950261 24.13/19.97 o 951136 24.13/19.97 o 952143 24.13/19.97 o 952279 24.13/19.97 o 953286 24.13/19.97 o 954191 24.13/19.97 o 954981 24.13/19.97 o 956124 24.13/19.97 o 957366 24.13/19.97 o 958219 24.13/19.97 o 958544 24.13/19.97 o 960308 24.13/19.97 o 962068 24.13/19.98 o 962568 24.13/19.98 o 964450 24.13/19.98 o 965313 24.13/19.98 o 965353 24.13/19.98 o 965956 24.13/19.98 o 967869 24.13/19.98 o 969751 24.13/19.98 o 970894 24.13/19.98 o 971927 24.13/19.98 o 972727 24.13/19.98 o 974127 24.13/19.98 o 974391 24.13/19.98 o 976146 24.13/19.98 o 978028 24.13/19.99 o 979171 24.13/19.99 o 979202 24.13/19.99 o 979941 24.13/19.99 o 981084 24.13/19.99 o 981989 24.13/19.99 o 982091 24.13/19.99 o 982996 24.13/19.99 o 983815 24.13/19.99 o 984822 24.13/19.99 o 985727 24.13/19.99 o 986019 24.13/19.99 o 986121 24.13/19.99 o 987026 24.13/19.99 o 987095 24.13/19.99 o 987676 24.13/20.00 o 987812 24.13/20.00 o 988819 24.13/20.00 o 989725 24.13/20.00 o 990732 24.13/20.00 o 991313 24.13/20.00 o 992456 24.13/20.00 o 993463 24.13/20.00 o 993619 24.13/20.00 o 993755 24.13/20.00 o 994762 24.13/20.00 o 995667 24.13/20.00 o 995802 24.13/20.00 o 996108 24.13/20.00 o 996502 24.13/20.01 o 997407 24.26/20.01 o 997509 24.26/20.01 o 998414 24.26/20.01 o 999042 24.26/20.01 o 1000049 24.26/20.01 o 1000099 24.26/20.01 o 1001242 24.26/20.01 o 1001484 24.26/20.01 o 1002087 24.26/20.01 o 1002701 24.26/20.01 o 1004000 24.26/20.01 o 1005143 24.26/20.01 o 1006150 24.26/20.01 o 1007055 24.26/20.02 o 1007210 24.26/20.02 o 1007448 24.26/20.02 o 1008353 24.26/20.02 o 1008502 24.26/20.02 o 1009136 24.26/20.02 o 1009875 24.26/20.02 o 1010011 24.26/20.02 o 1011018 24.26/20.02 o 1011310 24.26/20.02 o 1012317 24.26/20.02 o 1012608 24.26/20.02 o 1013615 24.26/20.03 o 1014520 24.26/20.03 o 1014548 24.26/20.03 o 1014682 24.26/20.03 o 1014838 24.26/20.03 o 1015981 24.26/20.03 o 1016136 24.26/20.03 o 1017279 24.26/20.03 o 1018286 24.26/20.03 o 1019191 24.26/20.03 o 1019216 24.26/20.03 o 1019800 24.26/20.03 o 1021098 24.26/20.04 o 1022105 24.26/20.04 o 1023010 24.26/20.04 o 1023112 24.26/20.04 o 1023376 24.26/20.04 o 1023377 24.26/20.04 o 1023552 24.26/20.04 o 1023592 24.26/20.04 o 1024195 24.26/20.04 o 1025101 24.26/20.04 o 1026108 24.26/20.04 o 1027013 24.26/20.04 o 1027304 24.26/20.04 o 1027406 24.26/20.04 o 1028311 24.26/20.05 o 1028962 24.26/20.05 o 1029384 24.26/20.05 o 1030465 24.26/20.05 o 1031108 24.26/20.05 o 1031722 24.26/20.05 o 1033021 24.26/20.05 o 1033177 24.26/20.05 o 1033830 24.26/20.05 o 1033988 24.26/20.05 o 1034252 24.26/20.05 o 1035158 24.26/20.05 o 1035333 24.26/20.05 o 1035373 24.26/20.06 o 1035976 24.26/20.06 o 1036007 24.26/20.06 o 1037889 24.26/20.06 o 1039188 24.26/20.06 o 1040195 24.26/20.06 o 1040486 24.26/20.06 o 1041493 24.26/20.06 o 1043190 24.26/20.06 o 1044489 24.26/20.06 o 1045787 24.26/20.06 o 1046794 24.26/20.06 o 1047699 24.26/20.06 o 1047937 24.26/20.07 o 1048842 25.18/20.86 o 1049007 25.18/20.86 o 1049094 25.18/20.86 o 1049488 25.18/20.86 o 1050393 25.18/20.86 o 1050920 25.18/20.87 o 1051012 25.18/20.87 o 1052101 25.18/20.87 o 1052628 25.18/20.87 o 1053237 25.18/20.87 o 1053764 25.18/20.87 o 1054326 25.18/20.87 o 1054853 25.18/20.87 o 1055231 25.18/20.87 o 1055758 25.18/20.87 o 1055995 25.18/20.87 o 1056004 25.18/20.87 o 1056347 25.18/20.87 o 1056930 25.18/20.87 o 1057140 25.18/20.87 o 1058229 25.18/20.88 o 1058746 25.18/20.88 o 1059942 25.18/20.88 o 1060197 25.18/20.88 o 1060237 25.18/20.88 o 1060519 25.18/20.88 o 1060528 25.18/20.88 o 1060840 25.18/20.88 o 1060871 25.18/20.88 o 1061454 25.18/20.88 o 1062753 25.18/20.88 o 1063842 25.18/20.88 o 1064747 25.18/20.88 o 1065274 25.18/20.89 o 1065801 25.18/20.89 o 1066328 25.18/20.89 o 1067100 25.18/20.89 o 1067627 25.18/20.89 o 1068181 25.18/20.89 o 1068907 25.18/20.89 o 1069787 25.18/20.89 o 1070082 25.18/20.89 o 1070158 25.18/20.89 o 1071063 25.18/20.89 o 1071800 25.18/20.89 o 1072889 25.18/20.89 o 1073794 25.18/20.90 o 1074321 25.30/20.90 o 1074429 25.30/20.90 o 1074509 25.30/20.90 o 1074724 25.30/20.90 o 1075015 25.30/20.90 o 1075358 25.30/20.90 o 1076335 25.30/20.90 o 1077240 25.30/20.90 o 1077767 25.30/20.90 o 1077951 25.30/20.90 o 1078329 25.30/20.90 o 1078856 25.30/20.91 o 1079289 25.30/20.92 o 1079392 25.30/20.92 o 1079886 25.30/20.92 o 1080280 25.30/20.92 o 1081185 25.30/20.92 o 1081369 25.30/20.92 o 1082274 25.30/20.92 o 1082707 25.30/20.92 o 1082801 25.30/20.92 o 1083234 25.30/20.92 o 1084007 25.30/20.92 o 1084191 25.30/20.92 o 1085096 25.30/20.92 o 1085623 25.30/20.92 o 1086056 25.30/20.93 o 1086361 25.30/20.93 o 1086397 25.30/20.93 o 1087486 25.30/20.93 o 1087980 25.30/20.93 o 1089279 25.30/20.93 o 1090368 25.30/20.93 o 1090895 25.30/20.93 o 1091328 25.30/20.93 o 1091706 25.30/20.93 o 1091800 25.30/20.93 o 1092233 25.30/20.93 o 1092628 25.30/20.93 o 1093190 25.30/20.93 o 1093717 25.30/20.93 o 1094095 25.30/20.94 o 1094622 25.30/20.94 o 1095055 25.30/20.94 o 1095176 25.30/20.94 o 1095391 25.30/20.94 o 1095682 25.30/20.94 o 1096025 25.30/20.94 o 1096782 25.30/20.94 o 1097002 25.30/20.94 o 1097907 25.30/20.94 o 1098002 25.30/20.94 o 1098585 25.30/20.94 o 1098795 25.30/20.94 o 1099884 25.30/20.94 o 1100789 25.30/20.94 o 1101222 25.30/20.95 o 1101316 25.30/20.95 o 1101749 25.30/20.95 o 1101956 25.30/20.95 o 1102483 25.30/20.95 o 1102916 25.30/20.95 o 1103037 25.30/20.95 o 1103470 25.30/20.95 o 1103543 25.30/20.95 o 1103855 25.30/20.95 o 1103886 25.30/20.95 o 1104469 25.30/20.95 o 1104863 25.30/20.96 o 1105768 25.30/20.96 o 1105863 25.30/20.96 o 1106656 25.30/20.96 o 1107745 25.30/20.96 o 1108650 25.30/20.96 o 1109083 25.30/20.96 o 1109177 25.30/20.96 o 1109610 25.30/20.96 o 1110134 25.30/20.96 o 1111039 25.30/20.97 o 1111566 25.30/20.97 o 1111999 25.30/20.97 o 1112439 25.30/20.97 o 1112966 25.30/20.97 o 1113399 25.30/20.97 o 1113777 25.30/20.97 o 1113871 25.30/20.98 o 1114304 25.30/20.98 o 1114425 25.30/20.98 o 1114952 25.30/20.98 o 1115243 25.30/20.98 o 1115274 25.30/20.98 o 1116251 25.30/20.98 o 1117156 25.30/20.98 o 1117251 25.30/20.98 o 1118044 25.30/20.98 o 1119133 25.30/20.98 o 1120038 25.30/20.98 o 1120565 25.30/20.98 o 1120998 25.30/20.99 o 1121378 25.30/20.99 o 1121507 25.30/20.99 o 1121940 25.30/20.99 o 1122034 25.30/20.99 o 1122467 25.30/20.99 o 1122588 25.30/20.99 o 1123115 25.30/20.99 o 1123406 25.30/20.99 o 1123437 25.30/20.99 o 1124020 25.30/20.99 o 1124194 25.30/20.99 o 1124414 25.30/20.99 o 1125319 25.30/21.00 o 1125414 25.30/21.00 o 1125997 25.30/21.00 o 1126207 25.30/21.00 o 1127296 25.30/21.00 o 1128201 25.30/21.00 o 1128728 25.30/21.00 o 1129161 25.30/21.00 o 1129208 25.30/21.00 o 1129735 25.30/21.01 o 1130168 25.42/21.01 o 1130353 25.42/21.01 o 1130447 25.42/21.02 o 1130880 25.42/21.02 o 1131009 25.42/21.02 o 1131536 25.42/21.02 o 1131969 25.42/21.02 o 1132090 25.42/21.02 o 1132523 25.42/21.03 o 1132909 25.42/21.03 o 1133814 25.42/21.03 o 1134492 25.42/21.03 o 1134702 25.42/21.03 o 1135791 25.42/21.03 o 1136696 25.42/21.03 o 1136798 25.42/21.03 o 1137703 25.42/21.03 o 1138136 25.42/21.03 o 1138230 25.42/21.03 o 1138663 25.42/21.04 o 1139007 25.42/21.04 o 1139109 25.42/21.04 o 1140014 25.42/21.04 o 1140541 25.42/21.04 o 1140974 25.42/21.06 o 1141269 25.42/21.06 o 1141363 25.42/21.06 o 1141796 25.42/21.07 o 1142161 25.42/21.07 o 1142688 25.42/21.07 o 1143121 25.42/21.07 o 1143510 25.42/21.07 o 1143943 25.42/21.07 o 1144207 25.42/21.07 o 1144734 25.42/21.07 o 1145112 25.42/21.07 o 1145639 25.42/21.07 o 1146119 25.42/21.07 o 1146646 25.42/21.07 o 1147079 25.42/21.07 o 1147374 25.42/21.07 o 1147468 25.42/21.07 o 1147901 25.42/21.08 o 1147968 25.42/21.09 o 1148346 25.42/21.09 o 1148873 25.42/21.09 o 1149435 25.42/21.09 o 1149962 25.42/21.09 o 1150021 25.42/21.09 o 1150333 25.42/21.09 o 1150364 25.42/21.09 o 1150947 25.42/21.09 o 1151157 25.42/21.09 o 1151239 25.42/21.09 o 1151341 25.42/21.09 o 1152246 25.42/21.09 o 1152773 25.42/21.09 o 1153206 25.42/21.10 o 1153377 25.42/21.10 o 1153755 25.42/21.10 o 1153849 25.42/21.10 o 1154282 25.42/21.10 o 1154497 25.42/21.10 o 1154818 25.42/21.10 o 1154905 25.42/21.10 o 1155432 25.42/21.10 o 1156204 25.42/21.10 o 1156731 25.42/21.10 o 1157164 25.53/21.11 o 1157459 25.53/21.11 o 1157553 25.53/21.11 o 1157986 25.53/21.11 o 1158370 25.53/21.11 o 1158764 25.53/21.11 o 1159142 25.53/21.12 o 1159669 25.53/21.12 o 1160149 25.53/21.12 o 1160676 25.53/21.12 o 1161109 25.53/21.12 o 1161964 25.53/21.12 o 1162066 25.53/21.12 o 1162971 25.53/21.12 o 1163404 25.53/21.12 o 1163498 25.53/21.12 o 1163931 25.53/21.12 o 1164359 25.53/21.12 o 1164569 25.53/21.12 o 1164651 25.53/21.12 o 1164753 25.53/21.12 o 1165658 25.53/21.13 o 1166449 25.53/21.13 o 1166878 25.53/21.13 o 1167461 25.53/21.13 o 1167671 25.53/21.13 o 1167753 25.53/21.13 o 1168760 25.53/21.13 o 1169665 25.53/21.13 o 1170192 25.53/21.13 o 1170625 25.53/21.13 o 1170920 25.53/21.13 o 1171014 25.53/21.13 o 1171447 25.53/21.17 o 1171527 25.62/21.20 o 1171595 25.62/21.20 o 1171697 25.62/21.20 o 1172075 25.62/21.20 o 1172602 25.62/21.20 o 1172682 25.62/21.20 o 1173035 25.62/21.20 o 1173115 25.62/21.20 o 1173424 25.62/21.20 o 1173857 25.62/21.20 o 1173937 25.62/21.21 o 1173990 25.62/21.21 o 1174070 25.62/21.21 o 1174282 25.62/21.21 o 1174762 25.62/21.21 o 1175289 25.62/21.21 o 1175369 25.62/21.21 o 1175958 25.62/21.21 o 1176038 25.62/21.21 o 1176535 25.62/21.21 o 1176544 25.62/21.21 o 1176856 25.62/21.21 o 1177470 25.62/21.21 o 1177762 25.62/21.21 o 1177864 25.62/21.21 o 1178769 25.62/21.22 o 1178849 25.62/21.22 o 1179296 25.62/21.22 o 1179376 25.62/21.22 o 1179729 25.62/21.22 o 1179809 25.62/21.22 o 1180024 25.62/21.22 o 1180118 25.62/21.22 o 1180551 25.62/21.22 o 1180631 25.62/21.25 o 1180728 25.62/21.25 o 1180808 25.62/21.25 o 1181025 25.62/21.25 o 1181552 25.62/21.25 o 1182114 25.62/21.25 o 1182641 25.62/21.25 o 1182721 25.62/21.25 o 1183074 25.62/21.25 o 1183154 25.84/21.44 o 1183321 25.84/21.44 o 1183848 25.84/21.44 o 1183926 25.84/21.44 o 1184317 25.84/21.44 o 1185324 25.84/21.44 o 1185411 25.84/21.44 o 1186418 25.84/21.44 o 1186529 25.84/21.45 o 1187927 25.84/21.45 o 1188934 25.84/21.45 o 1189461 25.84/21.45 o 1189814 25.84/21.45 o 1190341 25.84/21.45 o 1190868 25.84/21.45 o 1191890 25.84/21.45 o 1192897 25.84/21.45 o 1193424 25.84/21.45 o 1193815 25.84/21.45 o 1194295 25.84/21.45 o 1194822 25.84/21.45 o 1195413 25.84/21.45 o 1195804 25.84/21.45 o 1196811 25.84/21.46 o 1197338 25.84/21.46 o 1197416 25.84/21.46 o 1197943 25.84/21.46 o 1198003 25.84/21.46 o 1198691 25.84/21.46 o 1198936 25.84/21.46 o 1200334 25.84/21.46 o 1201492 25.84/21.46 o 1202890 25.84/21.46 o 1203417 25.84/21.46 o 1203897 25.84/21.46 o 1204424 25.84/21.46 o 1205406 25.84/21.46 o 1206413 25.84/21.46 o 1206940 25.84/21.47 o 1207007 25.84/21.47 o 1207069 25.84/21.47 o 1207596 25.84/21.47 o 1208368 25.84/21.47 o 1209281 25.84/21.47 o 1210679 25.84/21.47 o 1211206 25.84/21.47 o 1211686 25.84/21.47 o 1212213 25.84/21.47 o 1213195 25.84/21.47 o 1214202 25.84/21.47 o 1214729 25.84/21.47 o 1215275 25.84/21.47 o 1215802 25.84/21.47 o 1216452 25.84/21.47 o 1217451 25.84/21.48 o 1218177 25.84/21.48 o 1218865 25.84/21.48 o 1219110 25.84/21.48 o 1220508 25.84/21.48 o 1221666 25.84/21.48 o 1223064 25.84/21.48 o 1223591 25.84/21.48 o 1224071 25.84/21.48 o 1224598 25.84/21.48 o 1225580 25.84/21.48 o 1226587 25.84/21.48 o 1227114 25.84/21.48 o 1227406 25.84/21.48 o 1227742 25.84/21.49 o 1227804 25.84/21.49 o 1228331 25.84/21.49 o 1229103 25.84/21.49 o 1230016 25.84/21.49 o 1231414 25.84/21.49 o 1231941 25.84/21.49 o 1232421 25.84/21.49 o 1232948 25.84/21.49 o 1233930 25.84/21.49 o 1234937 25.84/21.49 o 1235464 25.84/21.49 o 1235475 25.84/21.49 o 1235955 25.84/21.49 o 1236482 25.84/21.50 o 1236577 25.84/21.50 o 1236929 25.95/21.50 o 1237265 25.95/21.50 o 1237854 25.95/21.50 o 1237901 25.95/21.50 o 1238908 25.95/21.50 o 1239059 25.95/21.50 o 1240457 25.95/21.50 o 1241464 25.95/21.50 o 1241475 25.95/21.50 o 1242482 25.95/21.50 o 1243009 25.95/21.50 o 1243991 25.95/21.50 o 1244518 25.95/21.51 o 1244998 25.95/21.51 o 1245525 25.95/21.51 o 1245558 25.95/21.51 o 1245758 25.95/21.51 o 1246776 25.95/21.51 o 1247783 25.95/21.51 o 1248310 25.95/21.51 o 1249281 25.95/21.51 o 1249808 25.95/21.51 o 1250299 25.95/21.51 o 1250826 25.95/21.51 o 1250863 25.95/21.51 o 1251355 25.95/21.51 o 1251707 25.95/21.52 o 1252043 25.95/21.52 o 1252632 25.95/21.52 o 1252668 25.95/21.52 o 1252679 25.95/21.52 o 1253686 25.95/21.52 o 1253837 25.95/21.52 o 1254217 25.95/21.52 o 1255235 25.95/21.52 o 1256242 25.95/21.52 o 1256326 25.95/21.52 o 1256915 25.95/21.52 o 1256962 25.95/21.52 o 1257969 25.95/21.52 o 1258120 25.95/21.52 o 1259518 25.95/21.53 o 1260525 25.95/21.53 o 1260536 25.95/21.53 o 1261543 25.95/21.53 o 1262070 25.95/21.53 o 1262561 25.95/21.53 o 1263052 25.95/21.53 o 1263579 25.95/21.53 o 1264059 25.95/21.53 o 1264586 25.95/21.53 o 1265113 25.95/21.53 o 1265358 25.95/21.53 o 1265444 25.95/21.53 o 1265644 25.95/21.53 o 1266662 25.95/21.53 o 1267669 25.95/21.54 o 1268342 25.95/21.54 o 1268389 25.95/21.54 o 1269396 25.95/21.54 o 1269547 25.95/21.54 o 1270945 25.95/21.54 o 1271952 25.95/21.54 o 1271963 25.95/21.54 o 1272970 25.95/21.54 o 1273497 25.95/21.54 o 1273988 25.95/21.54 o 1274479 25.95/21.54 o 1275006 25.95/21.54 o 1275486 25.95/21.54 o 1276013 25.95/21.55 o 1276793 25.95/21.55 o 1277559 25.95/21.55 o 1277895 25.95/21.55 o 1278484 25.95/21.55 o 1278531 25.95/21.55 o 1279538 25.95/21.55 o 1279689 25.95/21.55 o 1280069 25.95/21.55 o 1281087 25.95/21.55 o 1282094 25.95/21.55 o 1282621 25.95/21.55 o 1283592 25.95/21.55 o 1284119 25.95/21.55 o 1284610 25.95/21.55 o 1285137 25.95/21.56 o 1285286 25.95/21.56 o 1285700 25.95/21.56 o 1286052 25.95/21.56 o 1286388 25.95/21.56 o 1286977 25.95/21.56 o 1287013 25.95/21.56 o 1287024 25.95/21.56 o 1288031 25.95/21.56 o 1288182 25.95/21.56 o 1288562 25.95/21.56 o 1289580 25.95/21.56 o 1290587 25.95/21.56 o 1291114 25.95/21.57 o 1292085 25.95/21.57 o 1292612 25.95/21.57 o 1293103 25.95/21.57 o 1293630 25.95/21.57 o 1293637 25.95/21.57 o 1294226 25.95/21.57 o 1294262 25.95/21.57 o 1294273 25.95/21.57 o 1295280 25.95/21.57 o 1295431 25.95/21.57 o 1295811 25.95/21.57 o 1296829 25.95/21.57 o 1297836 25.95/21.57 o 1298363 25.95/21.57 o 1299334 25.95/21.58 o 1299861 25.95/21.58 o 1300352 25.95/21.58 o 1300879 25.95/21.58 o 1301305 25.95/21.58 o 1301550 25.95/21.58 o 1301636 25.95/21.58 o 1301836 25.95/21.58 o 1302843 25.95/21.58 o 1302854 25.95/21.58 o 1303861 25.95/21.58 o 1304388 25.95/21.58 o 1304857 25.95/21.58 o 1305864 25.95/21.59 o 1306391 25.95/21.59 o 1306449 25.95/21.59 o 1306976 25.95/21.59 o 1307742 25.95/21.59 o 1308760 25.95/21.59 o 1309287 25.95/21.59 o 1309433 25.95/21.59 o 1309960 25.95/21.59 o 1310732 25.95/21.59 o 1311645 25.95/21.59 o 1313043 25.95/21.59 o 1313570 26.05/21.64 o 1313610 26.05/21.64 o 1313981 26.05/21.64 o 1314011 26.05/21.64 o 1314382 26.05/21.64 o 1314611 26.05/21.64 o 1314974 26.05/21.64 o 1315375 26.05/21.64 o 1315879 26.05/21.64 o 1316280 26.05/21.64 o 1316651 26.05/21.64 o 1316707 26.05/21.64 o 1316835 26.05/21.65 o 1316880 26.05/21.65 o 1317644 26.05/21.65 o 1318177 26.05/21.65 o 1318941 26.05/21.65 o 1319167 26.05/21.65 o 1319559 26.05/21.65 o 1320464 26.05/21.65 o 1321228 26.05/21.65 o 1322268 26.05/21.65 o 1323032 26.05/21.65 o 1323702 26.05/21.65 o 1324999 26.05/21.65 o 1325763 26.05/21.65 o 1325904 26.05/21.65 o 1326668 26.05/21.66 o 1327069 26.05/21.66 o 1327776 26.05/21.66 o 1328177 26.05/21.66 o 1328681 26.05/21.66 o 1329082 26.05/21.66 o 1329445 26.05/21.66 o 1329846 26.05/21.66 o 1330323 26.05/21.66 o 1330785 26.05/21.66 o 1330948 26.05/21.66 o 1330993 26.05/21.66 o 1331385 26.05/21.66 o 1332290 26.05/21.66 o 1333054 26.05/21.66 o 1334162 26.05/21.67 o 1334926 26.05/21.67 o 1335067 26.05/21.67 o 1335831 26.05/21.67 o 1336232 26.05/21.67 o 1336715 26.05/21.67 o 1337620 26.05/21.67 o 1338195 26.05/21.67 o 1339492 26.05/21.67 o 1340397 26.05/21.67 o 1340798 26.05/21.67 o 1340940 26.05/21.67 o 1341845 26.05/21.67 o 1342246 26.05/21.67 o 1343126 26.05/21.67 o 1343527 26.05/21.68 o 1344991 26.05/21.68 o 1345119 26.05/21.68 o 1347225 26.05/21.68 o 1347406 26.05/21.68 o 1349512 26.05/21.68 o 1349913 26.05/21.68 o 1351817 26.05/21.68 o 1351835 26.05/21.68 o 1351870 26.05/21.68 o 1354104 26.05/21.68 o 1354505 26.05/21.68 o 1356210 26.05/21.68 o 1356611 26.05/21.68 o 1357115 26.05/21.68 o 1357516 26.05/21.69 o 1358412 26.05/21.69 o 1358813 26.05/21.69 o 1359176 26.05/21.69 o 1359577 26.05/21.69 o 1359593 26.05/21.69 o 1360498 26.05/21.69 o 1362302 26.05/21.69 o 1362746 26.05/21.69 o 1362764 26.05/21.69 o 1362799 26.05/21.69 o 1362927 26.05/21.69 o 1365033 26.05/21.69 o 1365938 26.05/21.69 o 1366702 26.05/21.69 o 1367094 26.05/21.70 o 1367235 26.16/21.70 o 1367999 26.16/21.70 o 1368400 26.16/21.70 o 1368992 26.16/21.70 o 1369897 26.16/21.70 o 1370289 26.16/21.70 o 1371194 26.16/21.70 o 1371595 26.16/21.70 o 1372414 26.16/21.70 o 1372815 26.16/21.70 o 1373672 26.16/21.70 o 1374066 26.16/21.70 o 1374229 26.16/21.70 o 1375038 26.16/21.71 o 1376335 26.16/21.71 o 1377815 26.16/21.71 o 1379112 26.16/21.71 o 1379513 26.16/21.71 o 1380017 26.16/21.71 o 1380418 26.16/21.71 o 1380781 26.16/21.71 o 1381182 26.16/21.71 o 1381305 26.16/21.71 o 1382525 26.16/21.71 o 1382837 26.16/21.71 o 1383783 26.16/21.71 o 1384159 26.16/21.71 o 1384177 26.16/21.71 o 1384212 26.16/21.72 o 1384340 26.16/21.72 o 1385149 26.16/21.72 o 1386446 26.16/21.72 o 1387926 26.16/21.72 o 1389223 26.16/21.72 o 1390128 26.16/21.72 o 1390892 26.16/21.72 o 1391054 26.16/21.72 o 1391195 26.16/21.72 o 1391588 26.16/21.72 o 1391959 26.16/21.72 o 1392043 26.16/21.72 o 1392184 26.16/21.72 o 1392948 26.16/21.72 o 1394010 26.16/21.73 o 1394915 26.16/21.73 o 1395679 26.16/21.73 o 1396032 26.16/21.73 o 1396461 26.16/21.73 o 1396589 26.16/21.73 o 1397931 26.16/21.73 o 1398695 26.16/21.73 o 1400708 26.16/21.73 o 1401472 26.16/21.73 o 1401613 26.16/21.73 o 1402377 26.16/21.73 o 1402910 26.16/21.73 o 1403674 26.16/21.73 o 1404075 26.16/21.73 o 1404410 26.16/21.74 o 1404802 26.16/21.74 o 1405707 26.16/21.74 o 1406108 26.16/21.74 o 1406471 26.16/21.74 o 1406872 26.16/21.74 o 1407483 26.16/21.74 o 1408247 26.16/21.74 o 1408648 26.44/21.82 o 1408805 26.44/21.82 o 1409176 26.44/21.82 o 1409206 26.44/21.82 o 1409577 26.44/21.82 o 1409875 26.44/21.82 o 1410267 26.44/21.82 o 1410771 26.44/21.82 o 1411172 26.44/21.82 o 1411911 26.44/21.82 o 1412303 26.44/21.82 o 1413208 26.44/21.82 o 1413852 26.44/21.82 o 1414661 26.44/21.83 o 1415958 26.44/21.83 o 1417392 26.44/21.83 o 1418689 26.44/21.83 o 1419594 26.44/21.83 o 1419995 26.44/21.83 o 1420073 26.44/21.83 o 1420474 26.44/21.83 o 1421370 26.44/21.83 o 1421771 26.44/21.83 o 1422391 26.44/21.83 o 1422870 26.44/21.83 o 1423262 26.44/21.83 o 1424167 26.44/21.83 o 1424568 26.44/21.83 o 1424931 26.44/21.84 o 1425332 26.44/21.84 o 1425473 26.44/21.84 o 1426145 26.44/21.84 o 1426191 26.44/21.84 o 1426635 26.44/21.84 o 1426653 26.44/21.84 o 1426688 26.44/21.84 o 1426816 26.44/21.84 o 1427146 26.44/21.84 o 1427625 26.44/21.84 o 1428017 26.44/21.84 o 1428922 26.44/21.84 o 1429686 26.44/21.84 o 1430814 26.44/21.84 o 1431578 26.44/21.84 o 1431719 26.44/21.85 o 1432483 26.44/21.85 o 1432824 26.44/21.85 o 1432844 26.44/21.85 o 1432890 26.44/21.85 o 1433334 26.44/21.85 o 1433352 26.44/21.85 o 1433387 26.44/21.85 o 1433515 26.44/21.85 o 1434716 26.44/21.85 o 1435621 26.44/21.85 o 1435878 26.44/21.85 o 1435898 26.44/21.85 o 1435944 26.44/21.85 o 1436388 26.44/21.85 o 1436406 26.44/21.85 o 1436441 26.44/21.86 o 1436569 26.44/21.86 o 1436899 26.44/21.86 o 1437378 26.44/21.86 o 1438675 26.44/21.86 o 1439815 26.44/21.86 o 1440761 26.44/21.86 o 1441117 26.44/21.86 o 1441135 26.44/21.86 o 1441170 26.44/21.86 o 1441298 26.44/21.86 o 1441628 26.44/21.86 o 1443404 26.44/21.86 o 1444425 26.44/21.86 o 1446201 26.44/21.86 o 1447498 26.44/21.86 o 1448403 26.44/21.87 o 1449167 26.44/21.87 o 1449308 26.44/21.87 o 1449568 26.44/21.87 o 1449709 26.44/21.87 o 1451281 26.44/21.87 o 1451347 26.44/21.87 o 1451791 26.44/21.87 o 1451809 26.44/21.87 o 1451844 26.44/21.87 o 1451972 26.44/21.87 o 1452302 26.44/21.87 o 1454078 26.44/21.87 o 1455375 26.44/21.87 o 1456280 26.44/21.87 o 1457044 26.44/21.88 o 1457445 26.44/21.88 o 1457586 26.44/21.88 o 1458601 26.44/21.88 o 1459898 26.44/21.88 o 1460662 26.44/21.88 o 1461063 26.44/21.88 o 1461567 26.44/21.88 o 1461968 26.44/21.88 o 1462109 26.44/21.88 o 1462438 26.44/21.88 o 1462579 26.44/21.88 o 1463343 26.44/21.88 o 1463484 26.44/21.88 o 1463744 26.44/21.88 o 1463885 26.44/21.88 o 1463927 26.44/21.89 o 1463945 26.44/21.89 o 1463980 26.44/21.89 o 1464108 26.44/21.89 o 1464516 26.44/21.89 o 1464908 26.44/21.89 o 1465049 26.44/21.89 o 1465813 26.44/21.89 o 1466214 26.44/21.89 o 1466307 26.44/21.89 o 1466708 26.44/21.89 o 1466864 26.44/21.89 o 1468065 26.44/21.89 o 1468970 26.44/21.89 o 1469545 26.44/21.89 o 1470842 26.44/21.89 o 1471747 26.44/21.90 o 1472148 26.59/21.90 o 1472511 26.59/21.90 o 1472912 26.59/21.90 o 1473147 26.59/21.90 o 1473747 26.59/21.90 o 1474652 26.59/21.90 o 1475416 26.59/21.90 o 1475817 26.59/21.90 o 1476091 26.59/21.90 o 1476403 26.59/21.90 o 1476585 26.59/21.90 o 1476948 26.59/21.90 o 1477349 26.59/21.90 o 1477485 26.59/21.91 o 1477530 26.59/21.91 o 1478294 26.59/21.91 o 1478827 26.59/21.91 o 1479591 26.59/21.91 o 1480327 26.59/21.91 o 1481624 26.59/21.91 o 1482388 26.59/21.91 o 1482789 26.59/21.91 o 1483293 26.59/21.91 o 1483694 26.59/21.91 o 1484164 26.59/21.91 o 1484305 26.59/21.91 o 1485069 26.59/21.91 o 1485470 26.59/21.91 o 1485923 26.59/21.91 o 1486324 26.59/21.92 o 1486559 26.59/21.92 o 1486722 26.59/21.92 o 1487923 26.59/21.92 o 1488828 26.59/21.92 o 1489229 26.59/21.92 o 1489699 26.59/21.92 o 1490100 26.59/21.92 o 1490604 26.59/21.92 o 1491005 26.59/21.92 o 1491368 26.59/21.92 o 1491769 26.59/21.92 o 1491910 26.59/21.92 o 1492641 26.59/21.92 o 1492782 26.59/21.92 o 1493405 26.59/21.92 o 1493546 26.59/21.93 o 1493806 26.59/21.93 o 1493947 26.59/21.93 o 1494482 26.59/21.93 o 1494883 26.59/21.93 o 1495024 26.59/21.93 o 1495569 26.59/21.93 o 1495961 26.59/21.93 o 1496102 26.59/21.93 o 1496866 26.59/21.93 o 1496969 26.59/21.93 o 1497448 26.59/21.93 o 1497840 26.59/21.93 o 1498745 26.59/21.93 o 1498861 26.59/21.93 o 1499340 26.59/21.94 o 1500637 26.59/21.94 o 1501542 26.59/21.94 o 1502306 26.59/21.94 o 1503019 26.59/21.94 o 1503160 26.59/21.94 o 1503924 26.59/21.94 o 1504275 26.59/21.94 o 1504667 26.59/21.94 o 1505572 26.59/21.94 o 1505639 26.59/21.94 o 1506936 26.59/21.94 o 1507841 26.59/21.94 o 1508605 26.59/21.94 o 1509345 26.59/21.94 o 1509878 26.59/21.95 o 1510642 26.59/21.95 o 1511043 26.59/21.95 o 1511184 26.59/21.95 o 1511356 26.59/21.95 o 1511497 26.59/21.95 o 1511719 26.59/21.95 o 1512120 26.59/21.95 o 1512261 27.22/22.40 o 1513028 27.22/22.40 o 1513943 27.22/22.40 o 1514322 27.22/22.40 o 1517824 27.22/22.40 o 1519682 27.22/22.40 o 1521331 27.22/22.40 o 1523189 27.22/22.40 o 1524833 27.22/22.40 o 1526691 27.22/22.41 o 1529810 27.22/22.41 o 1533317 27.22/22.41 o 1536819 27.22/22.41 o 1538677 27.22/22.41 o 1540367 27.22/22.41 o 1542225 27.22/22.41 o 1543869 27.22/22.41 o 1545727 27.22/22.41 o 1545824 27.22/22.41 o 1549372 27.22/22.41 o 1552874 27.22/22.41 o 1554732 27.22/22.41 o 1555145 27.22/22.41 o 1557003 27.22/22.41 o 1557143 27.22/22.41 o 1559414 27.22/22.42 o 1561272 27.22/22.42 o 1562433 27.22/22.42 o 1564704 27.22/22.42 o 1565711 27.22/22.42 o 1566151 27.22/22.42 o 1566705 27.22/22.42 o 1567145 27.22/22.42 o 1567936 27.22/22.42 o 1569200 27.22/22.42 o 1570207 27.22/22.42 o 1570647 27.22/22.42 o 1572632 27.22/22.42 o 1573072 27.22/22.42 o 1573639 27.22/22.42 o 1574079 27.22/22.42 o 1574812 27.22/22.43 o 1575819 27.22/22.43 o 1576808 27.22/22.43 o 1578955 27.22/22.43 o 1580385 27.22/22.43 o 1581546 27.22/22.43 o 1583817 27.22/22.43 o 1584824 27.22/22.43 o 1585205 27.22/22.43 o 1585972 27.22/22.43 o 1586042 27.22/22.43 o 1589474 27.22/22.43 o 1590481 27.22/22.43 o 1591745 27.22/22.43 o 1592752 27.22/22.43 o 1593192 27.22/22.44 o 1593428 27.22/22.44 o 1593868 27.22/22.44 o 1595699 27.22/22.44 o 1596139 27.22/22.44 o 1598697 27.22/22.44 o 1600555 27.22/22.44 o 1600968 27.22/22.44 o 1602826 27.22/22.44 o 1603949 27.22/22.44 o 1605026 27.22/22.44 o 1605904 27.22/22.44 o 1605945 27.22/22.44 o 1606242 27.22/22.44 o 1606414 27.22/22.44 o 1606802 27.22/22.44 o 1607181 27.22/22.45 o 1607251 27.22/22.45 o 1610683 27.22/22.45 o 1612954 27.22/22.45 o 1614812 27.22/22.45 o 1615252 27.22/22.45 o 1615819 27.22/22.45 o 1616259 27.22/22.45 o 1617872 27.22/22.45 o 1618879 27.22/22.45 o 1619319 27.22/22.45 o 1620535 27.22/22.45 o 1620975 27.22/22.45 o 1621324 27.22/22.45 o 1623595 27.22/22.45 o 1624035 27.22/22.45 o 1624602 27.22/22.46 o 1625042 27.22/22.46 o 1625713 27.22/22.46 o 1626153 27.22/22.46 o 1626703 27.22/22.46 o 1627143 27.22/22.46 o 1627887 27.22/22.46 o 1627928 27.22/22.46 o 1629759 27.22/22.46 o 1630766 27.22/22.46 o 1630961 27.22/22.46 o 1632819 27.22/22.46 o 1633826 27.22/22.46 o 1634937 27.22/22.46 o 1635927 27.22/22.46 o 1636367 27.22/22.47 o 1636599 27.22/22.47 o 1637039 27.22/22.47 o 1637333 27.22/22.47 o 1638340 27.22/22.47 o 1639451 27.22/22.47 o 1640441 27.22/22.47 o 1641113 27.22/22.47 o 1641553 27.22/22.47 o 1642159 27.22/22.47 o 1643149 27.22/22.47 o 1643589 27.22/22.47 o 1643821 27.22/22.47 o 1644261 27.22/22.47 o 1644603 27.22/22.47 o 1645392 27.22/22.48 o 1645545 27.22/22.48 o 1646673 27.22/22.48 o 1647663 27.22/22.48 o 1648335 27.22/22.48 o 1648775 27.22/22.48 o 1649124 27.22/22.48 o 1650720 27.22/22.48 o 1651392 27.22/22.48 o 1651832 27.22/22.48 o 1652174 27.22/22.48 o 1652963 27.22/22.48 o 1653376 27.22/22.48 o 1655234 27.22/22.48 o 1655674 27.22/22.48 o 1655906 27.22/22.49 o 1656346 27.22/22.49 o 1656896 27.22/22.49 o 1657336 27.22/22.49 o 1658099 27.22/22.49 o 1658771 27.22/22.49 o 1660342 27.22/22.49 o 1660495 27.22/22.49 o 1662613 27.22/22.49 o 1663285 27.22/22.49 o 1663603 27.22/22.49 o 1664275 27.22/22.49 o 1664715 27.22/22.49 o 1666331 27.22/22.49 o 1666744 27.22/22.49 o 1668602 27.22/22.50 o 1669592 27.22/22.50 o 1670032 27.32/22.50 o 1670264 27.32/22.50 o 1670704 27.32/22.50 o 1670881 27.32/22.50 o 1671034 27.32/22.50 o 1673152 27.32/22.50 o 1674142 27.32/22.50 o 1674752 27.32/22.50 o 1675165 27.32/22.50 o 1677023 27.32/22.50 o 1678030 27.32/22.50 o 1679020 27.32/22.50 o 1679141 27.32/22.51 o 1680131 27.32/22.51 o 1680571 27.32/22.51 o 1680962 27.32/22.51 o 1682073 27.32/22.51 o 1683673 27.32/22.51 o 1685944 27.32/22.51 o 1686951 27.32/22.51 o 1688062 27.32/22.51 o 1688502 27.32/22.51 o 1689052 27.32/22.51 o 1689492 27.32/22.51 o 1689844 27.32/22.51 o 1690955 27.32/22.51 o 1691945 27.32/22.52 o 1692385 27.32/22.52 o 1692826 27.32/22.52 o 1693266 27.32/22.52 o 1694565 27.32/22.52 o 1695555 27.32/22.52 o 1695600 27.32/22.52 o 1697458 27.32/22.52 o 1698448 27.32/22.52 o 1699329 27.32/22.52 o 1699769 27.32/22.52 o 1699809 27.32/22.52 o 1700431 27.32/22.52 o 1700831 27.32/22.52 o 1701712 27.32/22.52 o 1701821 27.32/22.53 o 1702702 27.32/22.53 o 1703142 27.32/22.53 o 1703282 27.32/22.53 o 1703722 27.32/22.53 o 1704560 27.32/22.53 o 1705000 27.32/22.53 o 1705158 27.32/22.53 o 1706039 27.32/22.53 o 1706148 27.32/22.53 o 1707029 27.32/22.53 o 1708006 27.32/22.53 o 1708887 27.32/22.53 o 1709327 27.32/22.53 o 1709724 27.32/22.53 o 1710165 27.32/22.54 o 1710605 27.32/22.54 o 1710865 27.32/22.54 o 1710935 27.32/22.54 o 1711307 27.32/22.54 o 1711519 27.32/22.54 o 1712509 27.32/22.54 o 1713377 27.32/22.54 o 1714367 27.32/22.54 o 1715248 27.32/22.54 o 1715480 27.32/22.54 o 1715922 27.32/22.54 o 1716089 27.32/22.54 o 1716711 27.32/22.54 o 1716864 27.32/22.55 o 1717871 27.32/22.55 o 1718982 27.32/22.55 o 1719972 27.32/22.55 o 1720853 27.32/22.55 o 1721293 27.32/22.55 o 1722131 27.32/22.55 o 1722571 27.32/22.55 o 1722990 27.32/22.55 o 1723828 27.32/22.55 o 1724268 27.32/22.55 o 1724804 27.32/22.55 o 1725390 27.32/22.55 o 1725620 27.32/22.55 o 1726501 27.32/22.55 o 1726941 27.32/22.55 o 1727338 27.32/22.56 o 1727779 27.32/22.56 o 1728219 27.32/22.56 o 1728361 27.32/22.56 o 1728810 27.32/22.56 o 1729182 27.32/22.56 o 1729349 27.32/22.56 o 1729434 27.32/22.56 o 1729555 27.32/22.56 o 1730545 27.32/22.56 o 1731252 27.32/22.56 o 1732242 27.32/22.56 o 1732976 27.32/22.56 o 1733302 27.32/22.57 o 1734999 27.32/22.57 o 1735160 27.32/22.57 o 1736857 27.32/22.57 o 1737847 27.32/22.57 o 1738728 27.32/22.57 o 1738819 27.32/22.57 o 1739191 27.32/22.57 o 1740150 27.32/22.57 o 1741261 27.32/22.57 o 1742251 27.32/22.57 o 1742837 27.32/22.57 o 1742958 27.32/22.57 o 1743948 27.32/22.57 o 1744829 27.32/22.57 o 1745212 27.32/22.58 o 1746909 27.32/22.58 o 1747790 27.32/22.58 o 1747899 27.32/22.58 o 1748780 27.32/22.58 o 1749220 27.32/22.58 o 1749617 27.32/22.58 o 1750058 27.32/22.58 o 1750498 27.32/22.58 o 1751016 27.32/22.58 o 1751456 27.32/22.58 o 1752294 27.32/22.58 o 1752734 27.32/22.58 o 1752826 27.32/22.58 o 1753626 27.32/22.59 o 1753914 27.32/22.59 o 1754023 27.32/22.59 o 1754904 27.32/22.59 o 1755039 27.32/22.59 o 1755131 27.32/22.59 o 1755471 27.32/22.59 o 1755911 27.32/22.59 o 1756141 27.32/22.59 o 1756250 27.32/22.59 o 1757131 27.32/22.59 o 1757259 27.32/22.59 o 1757631 27.32/22.59 o 1758420 27.32/22.59 o 1758455 27.32/22.60 o 1758994 27.32/22.60 o 1759580 27.32/22.60 o 1759701 27.43/22.60 o 1760691 27.43/22.60 o 1761572 27.43/22.60 o 1762012 27.43/22.60 o 1762239 27.43/22.60 o 1762300 27.43/22.60 o 1762527 27.43/22.60 o 1762850 27.43/22.60 o 1763290 27.43/22.60 o 1763517 27.43/22.60 o 1763657 27.43/22.60 o 1763870 27.43/22.60 o 1764097 27.43/22.60 o 1764158 27.43/22.61 o 1764267 27.43/22.61 o 1764708 27.43/22.61 o 1765148 27.43/22.61 o 1765375 27.43/22.61 o 1765467 27.43/22.61 o 1765532 27.43/22.61 o 1765759 27.43/22.61 o 1766112 27.43/22.61 o 1766339 27.43/22.61 o 1766509 27.43/22.61 o 1766950 27.43/22.61 o 1767390 27.43/22.61 o 1767617 27.43/22.61 o 1767709 27.43/22.61 o 1767907 27.43/22.62 o 1768134 27.43/22.62 o 1768347 27.43/22.62 o 1768574 27.43/22.62 o 1768892 27.43/22.62 o 1769159 27.43/22.62 o 1769599 27.43/22.62 o 1770149 27.43/22.62 o 1770589 27.43/22.62 o 1770816 27.43/22.62 o 1771427 27.43/22.62 o 1771654 27.43/22.62 o 1771867 27.43/22.62 o 1772094 27.43/22.62 o 1772447 27.43/22.62 o 1772674 27.43/22.62 o 1772735 27.43/22.63 o 1773285 27.43/22.63 o 1773725 27.43/22.63 o 1773952 27.43/22.63 o 1774044 27.43/22.63 o 1774190 27.43/22.63 o 1774417 27.43/22.63 o 1774562 27.43/22.63 o 1774729 27.43/22.63 o 1775380 27.43/22.63 o 1775521 27.43/22.63 o 1776511 27.43/22.63 o 1776632 27.43/22.63 o 1777622 27.43/22.63 o 1777849 27.43/22.63 o 1778062 27.43/22.64 o 1778289 27.43/22.64 o 1778425 27.43/22.64 o 1778431 27.43/22.64 o 1778589 27.43/22.64 o 1778970 27.43/22.64 o 1779556 27.43/22.64 o 1779677 27.43/22.64 o 1780667 27.43/22.64 o 1781107 27.43/22.64 o 1781589 27.43/22.64 o 1782029 27.43/22.64 o 1782511 27.43/22.64 o 1782875 27.43/22.64 o 1783802 27.43/22.64 o 1784084 27.43/22.65 o 1784157 27.43/22.65 o 1784717 27.43/22.65 o 1785166 27.43/22.65 o 1785705 27.43/22.65 o 1786356 27.43/22.65 o 1786362 27.43/22.65 o 1786520 27.43/22.65 o 1786901 27.43/22.65 o 1787487 27.43/22.65 o 1788598 27.43/22.65 o 1789038 27.43/22.65 o 1789588 27.43/22.65 o 1790028 27.43/22.65 o 1790255 27.43/22.65 o 1790866 27.43/22.65 o 1791093 27.43/22.66 o 1791306 27.43/22.66 o 1791533 27.43/22.66 o 1791886 27.43/22.66 o 1792113 27.43/22.66 o 1792174 27.43/22.66 o 1792724 27.43/22.66 o 1793164 27.43/22.66 o 1793391 27.43/22.66 o 1793483 27.43/22.66 o 1793495 27.43/22.66 o 1793696 27.43/22.66 o 1794686 27.43/22.66 o 1794913 27.43/22.66 o 1795126 27.43/22.66 o 1795353 27.43/22.67 o 1795445 27.43/22.67 o 1795964 27.43/22.67 o 1796404 27.43/22.67 o 1796631 27.43/22.67 o 1796723 27.43/22.67 o 1796828 27.43/22.67 o 1797055 27.43/22.67 o 1797479 27.43/22.67 o 1797485 27.43/22.67 o 1797643 27.43/22.67 o 1798024 27.43/22.67 o 1798731 27.43/22.67 o 1799721 27.43/22.67 o 1799948 27.43/22.67 o 1800161 27.43/22.68 o 1800388 27.43/22.68 o 1800719 27.43/22.68 o 1800725 27.43/22.68 o 1800883 27.43/22.68 o 1801264 27.43/22.68 o 1801850 27.43/22.68 o 1801971 27.43/22.68 o 1802961 27.43/22.68 o 1803401 27.43/22.68 o 1803628 27.43/22.68 o 1803829 27.43/22.68 o 1804056 27.43/22.68 o 1804269 27.43/22.68 o 1804496 27.43/22.68 o 1804819 27.43/22.68 o 1805259 27.43/22.69 o 1805486 27.43/22.69 o 1805578 27.43/22.69 o 1806097 27.43/22.69 o 1806324 27.43/22.69 o 1806537 27.43/22.69 o 1806764 27.43/22.69 o 1806856 27.43/22.69 o 1807382 27.43/22.69 o 1808372 27.43/22.69 o 1808544 27.43/22.69 o 1808925 27.43/22.69 o 1809511 27.43/22.69 o 1810622 27.43/22.69 o 1811612 27.43/22.69 o 1812120 27.43/22.70 o 1813110 27.43/22.70 o 1813129 27.54/22.70 o 1813668 27.54/22.70 o 1813857 27.54/22.70 o 1814864 27.54/22.70 o 1815554 27.54/22.70 o 1816561 27.54/22.70 o 1817551 27.54/22.70 o 1817672 27.54/22.70 o 1818662 27.54/22.70 o 1819102 27.54/22.70 o 1819133 27.54/22.70 o 1819823 27.54/22.70 o 1820830 27.54/22.70 o 1821941 27.54/22.71 o 1822381 27.54/22.71 o 1822931 27.54/22.71 o 1823371 27.54/22.71 o 1823598 27.54/22.71 o 1823799 27.54/22.71 o 1824026 27.54/22.71 o 1824789 27.54/22.71 o 1825016 27.54/22.71 o 1825229 27.54/22.71 o 1825456 27.54/22.71 o 1825548 27.54/22.71 o 1826067 27.54/22.71 o 1826507 27.54/22.71 o 1826734 27.54/22.71 o 1826826 27.54/22.72 o 1826889 27.54/22.72 o 1827050 27.54/22.72 o 1827277 27.54/22.72 o 1827499 27.54/22.72 o 1827871 27.54/22.72 o 1828038 27.54/22.72 o 1828660 27.54/22.72 o 1828830 27.54/22.72 o 1829820 27.54/22.72 o 1829941 27.54/22.72 o 1830931 27.54/22.72 o 1831158 27.54/22.72 o 1831371 27.54/22.72 o 1831598 27.54/22.72 o 1831678 27.54/22.72 o 1831799 27.54/22.73 o 1832789 27.54/22.73 o 1833229 27.54/22.73 o 1833456 27.54/22.73 o 1833548 27.54/22.73 o 1833744 27.54/22.73 o 1834067 27.54/22.73 o 1834294 27.54/22.73 o 1834507 27.54/22.73 o 1834734 27.54/22.73 o 1834826 27.54/22.73 o 1834933 27.54/22.73 o 1835160 27.54/22.73 o 1835373 27.54/22.74 o 1835600 27.54/22.74 o 1835953 27.54/22.74 o 1836180 27.54/22.74 o 1836241 27.54/22.74 o 1836791 27.54/22.74 o 1837231 27.54/22.74 o 1837458 27.54/22.74 o 1837550 27.54/22.74 o 1838111 27.54/22.74 o 1838338 27.54/22.74 o 1838551 27.54/22.74 o 1838778 27.54/22.74 o 1838870 27.54/22.74 o 1839389 27.54/22.74 o 1839829 27.54/22.75 o 1840056 27.54/22.75 o 1840148 27.54/22.75 o 1840175 27.54/22.75 o 1840402 27.54/22.75 o 1841335 27.54/22.75 o 1841456 27.54/22.75 o 1842446 27.54/22.75 o 1842673 27.54/22.75 o 1842892 27.54/22.75 o 1843454 27.54/22.75 o 1843681 27.54/22.75 o 1844028 27.54/22.75 o 1845725 27.54/22.75 o 1845952 27.54/22.76 o 1846715 27.54/22.76 o 1846942 27.54/22.76 o 1847155 27.54/22.76 o 1847382 27.54/22.76 o 1847583 27.54/22.76 o 1848023 27.54/22.76 o 1848573 27.54/22.76 o 1849013 27.54/22.76 o 1849240 27.54/22.76 o 1849313 27.54/22.76 o 1849540 27.54/22.76 o 1849753 27.54/22.76 o 1849980 27.54/22.76 o 1850060 27.54/22.76 o 1850500 27.54/22.76 o 1851171 27.54/22.77 o 1851611 27.54/22.77 o 1851838 27.54/22.77 o 1852449 27.54/22.77 o 1852676 27.54/22.77 o 1852889 27.54/22.77 o 1853116 27.54/22.77 o 1853374 27.54/22.77 o 1853924 27.54/22.77 o 1854364 27.54/22.77 o 1854591 27.54/22.77 o 1855202 27.54/22.77 o 1855429 27.54/22.77 o 1855642 27.54/22.77 o 1855869 27.54/22.78 o 1855972 27.54/22.78 o 1856522 27.54/22.78 o 1856962 27.54/22.78 o 1857189 27.54/22.78 o 1857800 27.54/22.78 o 1858027 27.54/22.78 o 1858240 27.54/22.78 o 1858467 27.54/22.78 o 1858820 27.54/22.78 o 1859047 27.54/22.78 o 1859108 27.54/22.78 o 1859658 27.54/22.78 o 1860098 27.54/22.78 o 1860325 27.54/22.79 o 1860508 27.54/22.79 o 1860735 27.54/22.79 o 1861668 27.54/22.79 o 1861789 27.54/22.79 o 1862779 27.54/22.79 o 1863006 27.54/22.79 o 1863219 27.54/22.79 o 1863446 27.54/22.79 o 1863647 27.54/22.79 o 1864637 27.54/22.79 o 1865077 27.54/22.79 o 1865304 27.54/22.79 o 1865377 27.54/22.79 o 1865817 27.54/22.79 o 1866044 27.54/22.80 o 1866124 27.54/22.80 o 1866351 27.65/22.80 o 1867235 27.65/22.80 o 1867462 27.65/22.80 o 1867675 27.65/22.80 o 1867902 27.65/22.80 o 1868513 27.65/22.80 o 1868953 27.65/22.80 o 1869180 27.65/22.80 o 1869261 27.65/22.80 o 1869401 27.65/22.80 o 1869614 27.65/22.80 o 1869841 27.65/22.81 o 1869902 27.65/22.81 o 1870452 27.65/22.81 o 1870892 27.65/22.81 o 1871119 27.65/22.81 o 1871772 27.65/22.81 o 1871999 27.65/22.81 o 1872212 27.65/22.81 o 1872439 27.65/22.81 o 1872500 27.65/22.81 o 1873050 27.65/22.81 o 1873490 27.65/22.81 o 1873717 27.65/22.81 o 1873725 27.65/22.81 o 1874715 27.65/22.81 o 1874942 27.65/22.82 o 1875155 27.65/22.82 o 1875382 27.65/22.82 o 1875482 27.65/22.82 o 1875616 27.65/22.82 o 1876202 27.65/22.82 o 1876323 27.65/22.82 o 1877313 27.65/22.82 o 1877753 27.65/22.82 o 1877980 27.65/22.82 o 1878181 27.65/22.82 o 1878621 27.65/22.82 o 1878848 27.65/22.82 o 1879171 27.65/22.82 o 1879398 27.65/22.83 o 1879611 27.65/22.83 o 1879838 27.65/22.83 o 1879899 27.65/22.83 o 1880449 27.65/22.83 o 1880889 27.65/22.83 o 1881116 27.65/22.83 o 1881118 27.65/22.83 o 1881146 27.65/22.83 o 1881359 27.65/22.83 o 1881586 27.65/22.83 o 1881647 27.65/22.83 o 1882197 27.65/22.84 o 1882637 27.65/22.84 o 1882864 27.65/22.84 o 1883215 27.65/22.84 o 1883442 27.65/22.84 o 1883655 27.65/22.84 o 1883882 27.65/22.84 o 1884404 27.65/22.84 o 1884844 27.65/22.84 o 1885071 27.65/22.84 o 1885211 27.65/22.85 o 1885424 27.65/22.85 o 1885651 27.65/22.85 o 1885712 27.65/22.85 o 1886262 27.65/22.85 o 1886702 27.65/22.85 o 1886929 27.65/22.85 o 1887002 27.65/22.85 o 1887229 27.65/22.85 o 1887442 27.65/22.85 o 1887669 27.65/22.85 o 1888022 27.65/22.85 o 1888249 27.65/22.85 o 1888282 27.65/22.85 o 1888310 27.65/22.86 o 1888860 27.65/22.86 o 1889300 27.65/22.86 o 1889527 27.65/22.86 o 1889718 27.65/22.86 o 1889891 27.65/22.86 o 1889919 27.65/22.86 o 1890909 27.65/22.86 o 1891136 27.65/22.86 o 1891349 27.65/22.86 o 1891576 27.65/22.86 o 1891668 27.65/22.86 o 1891890 27.65/22.87 o 1891983 27.65/22.87 o 1892011 27.65/22.87 o 1893001 27.65/22.87 o 1893441 27.65/22.87 o 1893668 27.65/22.87 o 1893869 27.65/22.87 o 1894096 27.65/22.87 o 1894309 27.65/22.87 o 1894536 27.65/22.87 o 1894859 27.65/22.87 o 1895299 27.65/22.87 o 1895526 27.65/22.87 o 1895951 27.65/22.87 o 1896178 27.65/22.88 o 1896391 27.65/22.88 o 1896618 27.65/22.88 o 1896791 27.65/22.88 o 1897231 27.65/22.88 o 1897809 27.65/22.88 o 1898249 27.65/22.88 o 1898476 27.65/22.88 o 1898568 27.65/22.88 o 1898790 27.65/22.88 o 1898883 27.65/22.89 o 1898911 27.65/22.89 o 1899901 27.65/22.89 o 1900128 27.65/22.89 o 1900341 27.65/22.89 o 1900568 27.65/22.89 o 1900741 27.65/22.89 o 1900769 27.65/22.89 o 1901759 27.65/22.89 o 1902199 27.65/22.89 o 1902426 27.65/22.89 o 1902465 27.65/22.90 o 1902487 27.65/22.90 o 1902927 27.65/22.90 o 1903010 27.77/22.90 o 1903647 27.77/22.90 o 1903740 27.77/22.90 o 1904758 27.77/22.90 o 1905198 27.77/22.90 o 1905425 27.77/22.90 o 1905748 27.77/22.90 o 1906188 27.77/22.90 o 1906415 27.77/22.90 o 1906600 27.77/22.90 o 1907040 27.77/22.90 o 1907267 27.77/22.91 o 1907356 27.77/22.91 o 1907583 27.77/22.91 o 1908346 27.77/22.91 o 1908573 27.77/22.91 o 1908786 27.77/22.91 o 1909013 27.77/22.91 o 1909214 27.77/22.91 o 1910204 27.77/22.91 o 1910644 27.77/22.91 o 1910871 27.77/22.99 o 1911159 27.77/22.99 o 1911386 27.77/22.99 o 1911599 27.77/22.99 o 1911826 27.77/22.99 o 1912027 27.77/23.00 o 1912467 27.77/23.00 o 1913017 27.77/23.00 o 1913457 27.77/23.00 o 1913684 27.77/23.00 o 1913858 27.77/23.00 o 1913949 27.77/23.00 o 1914939 27.77/23.01 o 1915166 27.77/23.01 o 1915379 27.77/23.01 o 1915606 27.77/23.01 o 1915686 27.77/23.01 o 1915779 27.77/23.01 o 1915807 27.77/23.01 o 1916797 27.77/23.01 o 1917237 28.10/23.01 o 1917464 28.10/23.02 o 1917557 28.10/23.02 o 1917784 28.10/23.02 o 1918107 28.10/23.02 o 1918547 28.10/23.02 o 1918774 28.10/23.02 o 1918866 28.10/23.02 o 1919209 28.10/23.02 o 1919649 28.10/23.02 o 1919876 28.10/23.02 o 1920199 28.10/23.03 o 1920426 28.10/23.03 o 1920639 28.10/23.03 o 1920866 28.10/23.03 o 1920978 28.10/23.03 o 1921067 28.10/23.03 o 1921507 28.10/23.03 o 1922057 28.10/23.03 o 1922497 28.10/23.03 o 1922724 28.10/23.03 o 1922948 28.10/23.04 o 1923021 28.10/23.04 o 1923248 28.10/23.04 o 1923461 28.10/23.04 o 1923688 28.10/23.04 o 1923889 28.10/23.04 o 1924329 28.10/23.04 o 1924879 28.10/23.04 o 1925319 28.10/23.04 o 1925546 28.10/23.04 o 1925561 28.10/23.05 o 1925654 28.10/23.05 o 1925682 28.10/23.05 o 1926672 28.10/23.05 o 1927112 28.10/23.05 o 1927339 28.10/23.05 o 1927852 28.10/23.05 o 1928426 28.10/23.05 o 1929105 28.10/23.05 o 1930123 28.10/23.05 o 1930563 28.10/23.05 o 1930790 28.10/23.05 o 1931113 28.10/23.05 o 1931553 28.10/23.06 o 1931780 28.10/23.06 o 1931944 28.10/23.06 o 1933055 28.10/23.06 o 1933282 28.10/23.06 o 1934073 28.10/23.06 o 1934300 28.10/23.06 o 1935063 28.10/23.06 o 1935290 28.10/23.06 o 1935503 28.10/23.06 o 1935730 28.10/23.07 o 1935931 28.10/23.07 o 1936371 28.10/23.07 o 1936921 28.10/23.07 o 1937361 28.10/23.07 o 1937588 28.10/23.07 o 1937773 28.10/23.07 o 1938213 28.10/23.07 o 1938440 28.10/23.07 o 1938501 28.10/23.07 o 1938728 28.10/23.07 o 1939519 28.10/23.08 o 1939746 28.10/23.08 o 1939959 28.10/23.08 o 1940186 28.10/23.08 o 1940237 28.10/23.08 o 1940677 28.10/23.08 o 1940904 28.10/23.08 o 1940996 28.10/23.08 o 1941077 28.10/23.08 o 1941304 28.10/23.09 o 1942095 28.10/23.09 o 1942322 28.10/23.09 o 1942535 28.10/23.09 o 1942762 28.10/23.09 o 1942854 28.10/23.09 o 1943275 28.10/23.09 o 1943502 28.10/23.09 o 1943594 28.10/23.09 o 1943703 28.10/23.09 o 1944693 28.10/23.09 o 1945133 28.10/23.09 o 1945360 28.10/23.09 o 1945452 28.10/23.10 o 1945495 28.10/23.10 o 1945722 28.10/23.10 o 1946045 28.10/23.10 o 1946485 28.10/23.10 o 1946712 28.10/23.10 o 1946785 28.10/23.10 o 1947012 28.10/23.10 o 1947225 28.10/23.10 o 1947452 28.10/23.10 o 1947625 28.10/23.10 o 1948065 28.10/23.10 o 1948643 28.10/23.11 o 1949083 28.19/23.11 o 1949310 28.19/23.11 o 1949439 28.19/23.11 o 1949666 28.19/23.11 o 1949879 28.19/23.11 o 1950106 28.19/23.11 o 1950120 28.19/23.11 o 1950213 28.19/23.11 o 1950241 28.19/23.11 o 1950791 28.19/23.12 o 1951231 28.19/23.12 o 1951458 28.19/23.12 o 1951641 28.19/23.12 o 1951692 28.19/23.12 o 1952371 28.19/23.12 o 1952399 28.19/23.12 o 1953389 28.19/23.12 o 1953616 28.19/23.12 o 1953829 28.19/23.12 o 1954056 28.19/23.13 o 1954136 28.19/23.13 o 1954229 28.19/23.13 o 1954257 28.19/23.13 o 1955247 28.19/23.13 o 1955687 28.19/23.13 o 1955914 28.19/23.13 o 1956087 28.19/23.14 o 1957028 28.19/23.14 o 1957468 28.19/23.14 o 1957695 28.19/23.14 o 1958018 28.19/23.14 o 1958245 28.19/23.14 o 1958458 28.19/23.14 o 1958685 28.19/23.14 o 1958858 28.19/23.14 o 1958886 28.19/23.14 o 1959876 28.19/23.14 o 1960316 28.19/23.15 o 1960543 28.19/23.15 o 1960654 28.19/23.15 o 1960881 28.19/23.15 o 1961094 28.19/23.15 o 1961321 28.19/23.15 o 1961644 28.19/23.15 o 1962084 28.19/23.15 o 1962311 28.19/23.16 o 1962391 28.19/23.17 o 1962405 28.19/23.17 o 1962485 28.19/23.17 o 1962632 28.19/23.17 o 1962712 28.19/23.17 o 1962845 28.19/23.17 o 1963072 28.19/23.17 o 1963152 28.19/23.18 o 1963273 28.19/23.18 o 1963353 28.19/23.18 o 1964263 28.19/23.18 o 1964343 28.19/23.18 o 1964703 28.19/23.18 o 1964783 28.19/23.18 o 1964930 28.19/23.18 o 1965010 28.19/23.18 o 1965023 28.19/23.18 o 1965103 28.19/23.18 o 1965176 28.19/23.19 o 1965536 28.19/23.19 o 1965616 28.19/23.19 o 1965763 28.19/23.19 o 1965843 28.19/23.19 o 1965964 28.19/23.19 o 1966404 28.19/23.19 o 1966954 28.19/23.19 o 1967394 28.19/23.19 o 1967621 28.19/23.19 o 1967701 28.19/23.20 o 1967713 28.28/23.20 o 1967793 28.28/23.20 o 1968306 28.28/23.20 o 1968746 28.28/23.20 o 1968973 28.28/23.20 o 1969053 28.28/23.20 o 1969158 28.28/23.20 o 1969238 28.28/23.20 o 1969385 28.28/23.21 o 1969465 28.28/23.21 o 1969598 28.28/23.21 o 1969825 28.28/23.21 o 1969905 28.28/23.21 o 1969914 28.28/23.21 o 1969994 28.28/23.21 o 1970354 28.28/23.21 o 1970434 28.28/23.21 o 1970904 28.28/23.21 o 1971344 28.28/23.21 o 1971424 28.28/23.22 o 1971571 28.28/23.22 o 1971651 28.28/23.23 o 1971722 28.28/23.23 o 1971949 28.28/23.23 o 1972029 28.28/23.23 o 1972242 28.28/23.23 o 1972769 28.28/23.23 o 1973209 28.28/23.23 o 1973880 28.28/23.23 o 1974320 28.28/23.23 o 1974547 28.28/23.23 o 1974627 28.28/23.23 o 1974639 28.28/23.23 o 1974719 28.28/23.23 o 1975150 28.28/23.24 o 1975590 28.28/23.24 o 1975817 28.28/23.24 o 1975897 28.28/23.24 o 1975899 28.28/23.24 o 1975979 28.28/23.24 o 1975999 28.28/23.24 o 1976226 28.28/23.24 o 1976573 28.28/23.24 o 1976812 28.28/23.24 o 1977252 28.28/23.24 o 1977830 28.28/23.24 o 1978270 28.28/23.24 o 1978497 28.28/23.24 o 1978577 28.28/23.25 o 1978670 28.28/23.25 o 1978698 28.28/23.25 o 1979688 28.28/23.25 o 1979768 28.28/23.25 o 1979915 28.28/23.25 o 1979995 28.28/23.25 o 1980128 28.28/23.25 o 1980355 28.28/23.25 o 1980435 30.02/24.46 o 1980500 30.02/24.46 o 1981768 30.02/24.46 o 1981995 30.02/24.47 o 1982678 30.02/24.47 o 1982794 30.02/24.47 o 1983417 30.02/24.47 o 1984912 30.02/24.48 o 1985093 30.02/24.48 o 1985113 30.02/24.48 o 1986861 30.02/24.49 o 1988524 30.02/24.49 o 1988676 30.02/24.49 o 1988982 30.02/24.49 o 1988990 30.02/24.49 o 1990758 30.19/24.50 o 1992506 30.19/24.50 o 1994001 30.19/24.51 o 1994228 30.19/24.52 o 1994357 30.19/24.52 o 1994709 30.19/24.52 o 1994936 30.19/24.52 o 1995195 30.19/24.52 o 1995448 30.19/24.52 o 1996943 30.19/24.52 o 1997170 30.19/24.52 o 1997554 30.19/24.52 o 1997781 30.19/24.52 o 1998249 30.19/24.52 o 1998599 30.19/24.52 o 1998619 30.19/24.52 o 2000367 30.19/24.52 o 2000594 30.19/24.52 o 2001862 30.19/24.52 o 2002089 30.19/24.54 o 2002355 30.19/24.54 o 2002636 30.19/24.54 o 2004131 30.19/24.55 o 2004358 30.62/25.00 o 2006435 30.62/25.00 o 2008307 30.62/25.00 o 2010532 30.62/25.00 o 2010587 30.62/25.00 o 2012445 30.62/25.00 o 2013480 30.62/25.00 o 2015338 30.62/25.00 o 2016582 30.62/25.00 o 2018807 30.62/25.00 o 2019475 30.62/25.00 o 2021700 30.62/25.00 o 2023558 35.28/29.03 o 2023881 35.28/29.03 o 2024958 35.28/29.03 o 2028243 35.28/29.03 o 2029320 35.28/29.03 o 2029738 35.28/29.03 o 2030815 35.28/29.04 o 2031355 35.28/29.04 o 2032432 35.28/29.10 o 2032448 35.28/29.10 o 2032975 35.28/29.10 o 2033537 35.28/29.10 o 2034064 35.28/29.11 o 2034387 35.47/29.11 o 2034717 35.47/29.11 o 2035806 35.47/29.11 o 2036333 35.47/29.11 o 2036507 35.47/29.11 o 2036830 35.47/29.11 o 2038249 35.47/29.11 o 2038776 35.47/29.11 o 2039338 35.47/29.11 o 2039865 35.47/29.11 o 2040157 35.47/29.12 o 2040596 35.47/29.12 o 2041461 35.47/29.12 o 2041926 35.47/29.12 o 2042398 35.47/29.12 o 2042950 35.47/29.12 o 2044369 35.47/29.12 o 2045458 35.47/29.12 o 2046273 35.47/29.12 o 2047362 35.47/29.12 o 2047692 35.47/29.12 o 2048781 35.47/29.12 o 2049308 35.47/29.13 o 2050078 35.47/29.13 o 2051497 35.47/29.14 o 2052024 35.47/29.14 o 2052941 35.47/29.15 o 2054137 35.47/29.15 o 2054664 35.47/29.15 o 2054887 35.47/29.15 o 2055556 35.47/29.15 o 2056083 35.47/29.15 o 2056406 35.47/29.15 o 2057825 35.47/29.16 o 2058352 35.47/29.16 o 2058914 35.47/29.16 o 2059441 35.47/29.17 o 2060291 35.47/29.17 o 2060514 35.47/29.17 o 2061710 35.47/29.17 o 2062783 35.47/29.17 o 2063979 35.47/29.17 o 2065068 35.47/29.17 o 2065595 35.47/29.18 o 2065851 35.47/29.18 o 2067270 35.47/29.18 o 2068359 35.47/29.18 o 2068886 35.47/29.18 o 2069555 35.47/29.18 o 2070082 35.47/29.19 o 2070217 35.47/29.19 o 2070547 35.47/29.19 o 2071636 35.47/29.19 o 2072500 35.47/29.19 o 2073589 35.47/29.19 o 2074769 35.47/29.19 o 2075858 35.47/29.19 o 2075965 35.47/29.19 o 2077054 35.47/29.19 o 2077581 35.56/29.20 o 2077990 35.56/29.21 o 2079268 35.56/29.21 o 2080118 35.56/29.21 o 2081537 35.56/29.21 o 2082626 35.56/29.21 o 2083153 35.56/29.21 o 2083543 35.56/29.22 o 2084070 35.56/29.22 o 2084962 35.56/29.22 o 2085489 35.56/29.22 o 2086158 35.56/29.22 o 2086685 35.56/29.22 o 2087294 35.56/29.23 o 2087624 35.56/29.23 o 2088713 35.56/29.23 o 2089960 35.56/29.23 o 2091049 35.56/29.23 o 2091576 35.56/29.24 o 2092245 35.56/29.24 o 2092772 35.56/29.24 o 2093008 35.56/29.25 o 2093338 35.56/29.25 o 2094427 35.56/29.25 o 2094954 35.56/29.25 o 2095061 35.56/29.25 o 2095623 35.56/29.25 o 2096150 42.85/36.40 o 2097413 42.85/36.41 o 2098274 42.85/36.42 o 2101034 42.85/36.42 o 2104428 42.85/36.42 o 2106739 42.85/36.43 o 2107241 42.85/36.43 o 2109552 42.85/36.43 o 2110856 42.85/36.44 o 2113167 42.85/36.44 o 2114716 42.85/36.44 o 2115218 42.85/36.44 o 2117529 42.85/36.44 o 2118826 42.85/36.45 o 2119687 42.85/36.45 o 2120564 42.85/36.45 o 2121861 42.85/36.46 o 2122722 42.85/36.46 o 2122794 42.85/36.47 o 2122798 42.85/36.47 o 2124095 42.85/36.47 o 2124956 42.85/36.47 o 2125028 42.85/36.47 o 2125689 42.85/36.47 o 2126550 42.85/36.47 o 2127427 42.85/36.48 o 2128724 42.85/36.48 o 2129585 42.85/36.48 o 2129657 42.85/36.48 o 2130030 42.85/36.48 o 2130967 42.85/36.48 o 2132264 42.85/36.48 o 2133125 42.85/36.48 o 2134002 42.85/36.49 o 2135299 42.85/36.49 o 2136160 42.85/36.49 o 2136232 48.22/41.73 o 2136455 48.22/41.73 o 2138726 48.22/41.73 o 2141317 48.22/41.73 o 2143588 51.57/45.00 o 2143614 51.57/45.00 o 2144739 51.57/45.00 o 2146101 51.57/45.00 o 2147358 51.57/45.00 o 2149071 51.57/45.00 o 2150328 51.57/45.00 o 2152896 51.57/45.00 o 2154153 51.57/45.00 o 2154440 51.57/45.00 o 2154791 51.57/45.00 o 2157410 51.57/45.00 o 2158667 51.68/45.01 o 2159721 51.68/45.01 o 2160978 55.71/48.73 o 2161120 55.71/48.73 o 2161525 55.71/48.74 o 2162069 55.71/48.74 o 2162539 55.71/48.76 o 2162616 55.71/48.76 o 2163459 55.71/48.77 o 2163929 55.71/48.77 o 2164315 57.72/50.75 o 2164419 57.72/50.75 o 2164629 57.72/50.75 o 2165718 57.72/50.75 o 2165992 57.72/50.75 o 2166390 57.72/50.75 o 2167689 57.72/50.75 o 2168778 57.72/50.75 o 2168855 57.72/50.75 o 2169065 57.72/50.76 o 2170154 57.72/50.76 o 2170608 57.72/50.78 o 2170855 57.72/50.78 o 2171971 57.72/50.78 o 2172369 57.72/50.78 o 2173668 57.72/50.79 o 2173745 57.72/50.79 o 2175044 57.72/50.79 o 2175377 57.89/50.82 o 2175870 57.89/50.82 o 2176740 57.89/50.82 o 2178437 57.89/50.82 o 2179813 57.89/50.83 o 2181584 57.89/50.85 o 2182165 57.89/50.85 o 2184978 57.89/50.88 o 2185471 57.89/50.88 o 2188038 57.89/50.89 o 2189414 57.89/50.89 o 2189735 57.89/50.89 o 2191111 57.89/50.89 o 2192410 57.89/50.89 o 2193499 57.89/50.89 o 2193969 58.00/50.92 o 2194750 58.00/50.92 o 2196047 58.00/50.92 o 2197269 58.00/50.92 o 2197709 58.00/50.93 o 2198565 58.00/50.93 o 2199787 58.00/50.93 o 2201625 58.00/50.93 o 2202847 58.00/50.93 o 2202922 58.00/50.93 o 2204144 58.00/50.96 o 2204671 58.00/50.96 o 2205111 58.00/50.96 o 2205141 58.00/50.96 o 2205581 58.00/50.96 o 2205982 58.00/50.97 o 2206368 58.00/50.97 o 2206838 58.00/50.97 o 2207239 58.00/50.97 o 2207343 58.00/50.97 o 2207412 58.00/50.97 o 2207813 58.00/50.97 o 2207852 58.00/50.97 o 2208253 58.11/51.02 o 2208588 58.11/51.04 o 2209511 58.11/51.04 o 2209833 58.11/51.04 o 2210715 58.11/51.04 o 2211683 58.11/51.04 o 2212940 58.11/51.05 o 2213930 58.11/51.06 o 2214158 58.11/51.06 o 2215148 58.11/51.06 o 2216061 58.11/51.07 o 2216328 58.11/51.09 o 2217318 58.11/51.09 o 2217550 58.11/51.09 o 2218540 58.22/51.11 o 2219554 58.22/51.11 o 2220467 58.22/51.11 o 2220811 58.22/51.11 o 2221724 58.22/51.11 o 2221974 58.22/51.11 o 2222942 58.22/51.11 o 2224199 58.22/51.12 o 2225112 58.22/51.12 o 2226334 58.22/51.12 o 2227324 58.22/51.15 o 2227520 58.22/51.15 o 2227930 58.22/51.15 o 2228363 58.42/51.31 o 2228461 58.42/51.31 o 2228602 58.42/51.31 o 2228688 58.42/51.31 o 2228829 58.42/51.31 o 2229479 58.42/51.31 o 2229706 58.42/51.31 o 2229847 58.42/51.31 o 2229945 58.42/51.31 o 2230086 58.42/51.31 o 2230219 58.42/51.32 o 2230880 58.42/51.32 o 2231238 58.42/51.32 o 2232256 58.42/51.32 o 2232397 58.42/51.32 o 2232483 58.42/51.32 o 2232624 58.54/51.42 o 2233185 58.54/51.45 o 2233188 58.54/51.45 o 2234178 58.54/51.45 o 2234347 58.54/51.45 o 2235111 58.54/51.45 o 2235190 58.54/51.45 o 2235954 58.54/51.48 o 2236229 58.54/51.48 o 2237072 58.54/51.48 o 2237836 58.54/51.48 o 2238024 58.54/51.48 o 2238916 58.54/51.48 o 2239906 58.54/51.48 o 2240749 58.54/51.48 o 2240836 58.54/51.48 o 2240983 58.54/51.48 o 2241826 58.63/51.52 o 2242295 58.63/51.55 o 2242377 58.63/51.55 o 2243116 58.63/51.55 o 2244611 58.63/51.55 o 2244884 58.63/51.55 o 2246379 58.63/51.56 o 2247113 58.63/51.56 o 2248881 58.63/51.56 o 2250376 58.74/51.60 o 2251840 58.74/51.60 o 2253616 58.74/51.64 o 2253809 58.74/51.64 o 2254242 58.74/51.64 o 2254296 58.74/51.64 o 2254479 58.74/51.64 o 2254528 58.74/51.64 o 2254892 58.74/51.64 o 2255518 58.74/51.64 o 2255631 58.74/51.64 o 2255707 58.74/51.64 o 2255890 58.74/51.64 o 2255939 58.74/51.65 o 2256929 58.74/51.65 o 2257555 58.74/51.65 o 2257864 58.74/51.65 o 2258490 58.74/51.65 o 2258570 58.74/51.65 o 2258724 58.74/51.65 o 2258907 58.74/51.65 o 2259946 58.74/51.65 o 2260572 58.74/51.65 o 2260936 58.74/51.65 o 2261562 58.74/51.66 o 2261995 62.48/54.26 o 2263044 62.48/54.28 o 2263498 62.48/54.28 o 2265717 62.48/54.28 o 2267986 62.48/54.28 o 2269724 62.48/54.28 o 2271993 62.59/54.30 o 2273698 62.59/54.30 o 2274152 62.59/54.31 o 2278640 62.59/54.31 o 2282647 62.59/54.32 o 2284916 62.59/54.34 o 2285589 62.59/54.34 o 2287858 64.69/56.48 o 2287894 64.69/56.49 o 2288368 64.81/56.51 o 2288396 64.81/56.53 o 2289386 64.81/56.54 o 2289819 64.81/56.54 o 2290100 64.81/56.55 o 2290128 64.81/56.55 o 2290685 64.81/56.55 o 2291118 64.81/56.55 o 2292086 64.81/56.55 o 2292180 64.81/56.55 o 2292560 64.81/56.55 o 2292588 64.81/56.55 o 2293578 64.81/56.55 o 2294011 64.91/56.61 o 2295177 64.91/56.61 o 2296408 64.91/56.61 o 2298679 64.91/56.61 o 2301730 64.91/56.61 o 2304001 64.91/56.68 o 2304652 64.91/56.68 o 2304814 64.91/56.68 o 2306071 64.91/56.70 o 2307175 65.03/56.70 o 2307398 65.03/56.70 o 2308594 65.03/56.70 o 2308655 65.03/56.70 o 2309851 65.03/56.70 o 2310761 65.03/56.70 o 2311957 65.03/56.76 o 2312013 65.03/56.76 o 2312414 65.03/56.76 o 2312625 65.03/56.76 o 2312840 65.03/56.76 o 2313051 65.03/56.76 o 2313310 65.03/56.76 o 2313521 65.03/56.76 o 2313711 65.03/56.76 o 2313922 65.03/56.76 o 2314182 65.03/56.76 o 2314608 65.03/56.76 o 2315078 65.03/56.77 o 2315479 65.03/56.77 o 2315690 65.03/56.77 o 2315772 65.03/56.77 o 2316173 65.03/56.77 o 2316384 65.03/56.77 o 2316454 65.03/56.77 o 2317540 65.03/56.77 o 2317751 65.03/56.77 o 2317941 65.03/56.77 o 2318152 65.03/56.78 o 2318304 65.03/56.78 o 2318705 65.03/56.78 o 2319278 65.03/56.78 o 2320575 65.03/56.78 o 2320976 65.03/56.78 o 2321187 65.03/56.78 o 2321256 65.03/56.78 o 2321446 65.03/56.78 o 2321657 65.03/56.78 o 2321751 65.03/56.78 o 2322021 65.03/56.78 o 2322091 65.03/56.78 o 2322492 65.03/56.78 o 2323388 65.03/56.79 o 2323789 65.03/56.79 o 2323858 65.03/56.79 o 2324259 65.03/56.79 o 2324470 65.14/56.82 o 2324539 65.14/56.82 o 2324979 65.14/56.82 o 2326808 65.14/56.82 o 2327248 65.26/56.90 o 2327255 65.26/56.91 o 2328098 65.26/56.91 o 2329137 65.26/56.91 o 2330135 65.26/56.91 o 2331174 65.26/56.91 o 2332446 65.26/56.91 o 2333485 65.26/56.92 o 2333744 65.26/56.92 o 2334783 65.26/57.00 o 2335613 65.26/57.00 o 2336053 65.26/57.00 o 2336194 65.26/57.00 o 2336264 65.26/57.00 o 2336405 65.26/57.00 o 2336491 65.26/57.00 o 2336632 65.26/57.00 o 2336744 65.26/57.00 o 2336955 65.26/57.00 o 2337209 65.26/57.00 o 2337649 65.26/57.00 o 2337860 65.26/57.01 o 2337876 65.26/57.01 o 2338087 65.37/57.01 o 2338228 65.37/57.02 o 2338261 65.37/57.02 o 2338331 65.37/57.02 o 2338472 65.37/57.04 o 2338645 65.37/57.04 o 2338647 65.37/57.04 o 2338858 65.37/57.04 o 2338874 65.37/57.04 o 2339085 65.37/57.04 o 2339191 65.37/57.05 o 2339418 65.37/57.05 o 2340127 65.37/57.05 o 2340567 65.37/57.05 o 2340794 65.37/57.05 o 2341005 65.37/57.05 o 2341146 65.37/57.06 o 2341179 65.37/57.06 o 2341249 65.37/57.06 o 2341390 65.37/57.06 o 2341469 65.37/57.06 o 2341485 65.37/57.06 o 2341696 65.37/57.06 o 2341723 65.37/57.06 o 2341950 65.37/57.06 o 2342163 65.37/57.06 o 2342390 65.37/57.06 o 2342601 65.37/57.06 o 2342742 65.37/57.06 o 2342759 65.37/57.06 o 2342775 65.37/57.06 o 2342845 65.37/57.06 o 2342986 67.71/59.32 o 2343051 67.71/59.33 o 2343124 67.71/59.33 o 2344543 67.71/59.35 o 2344684 69.84/61.48 o 2345391 69.84/61.48 o 2346688 69.84/61.48 o 2347702 69.94/61.50 o 2347875 69.94/61.50 o 2348615 69.94/61.50 o 2349276 69.94/61.50 o 2350652 69.94/61.50 o 2350849 69.94/61.50 o 2351189 69.94/61.50 o 2352886 69.94/61.50 o 2354262 69.94/61.52 o 2354739 69.94/61.52 o 2355245 69.94/61.52 o 2355282 69.94/61.52 o 2356140 69.94/61.52 o 2357516 69.94/61.52 o 2357713 69.94/61.52 o 2359750 69.94/61.52 o 2361126 69.94/61.52 o 2361447 69.94/61.52 o 2362823 69.94/61.53 o 2363758 69.94/61.53 o 2365134 69.94/61.54 o 2366148 69.94/61.55 o 2366284 69.94/61.55 o 2366967 69.94/61.55 o 2367981 69.94/61.55 o 2368343 69.94/61.55 o 2369357 70.47/62.03 o 2370130 70.47/62.03 o 2371089 70.47/62.03 o 2371093 70.47/62.03 o 2372107 70.47/62.03 o 2372419 70.47/62.03 o 2372440 70.47/62.03 o 2373458 70.47/62.04 o 2374341 70.47/62.04 o 2375010 70.47/62.04 o 2375060 70.47/62.04 o 2376099 70.47/62.05 o 2376270 70.47/62.05 o 2377359 70.47/62.05 o 2378333 70.47/62.05 o 2379422 70.47/62.05 o 2380461 70.47/62.05 o 2381835 70.47/62.06 o 2382874 70.47/62.06 o 2382924 70.47/62.06 o 2383963 70.47/62.06 o 2384981 70.47/62.07 o 2385995 70.47/62.07 o 2386527 70.47/62.08 o 2387922 70.47/62.08 o 2389011 70.47/62.08 o 2390029 70.47/62.09 o 2391043 70.47/62.09 o 2391064 70.47/62.09 o 2391068 70.47/62.09 o 2392082 70.47/62.10 o 2392293 70.66/62.24 o 2392418 70.66/62.24 o 2392645 70.66/62.24 o 2392725 70.66/62.24 o 2392805 70.66/62.25 o 2392885 70.66/62.25 o 2393223 70.66/62.25 o 2394300 70.66/62.28 o 2398001 70.66/62.28 o 2401616 70.66/62.28 o 2403445 70.66/62.28 o 2407225 70.66/62.28 o 2410840 70.66/62.29 o 2413049 70.66/62.29 o 2413214 70.66/62.29 o 2416829 71.45/62.71 o 2417184 71.45/62.71 o 2418441 71.45/62.71 o 2419663 71.55/62.88 o 2421064 71.55/62.88 o 2421504 71.65/62.90 o 2421797 71.65/62.90 o 2423289 71.65/62.90 o 2423729 71.87/63.16 o 2423777 71.87/63.16 o 2423798 71.87/63.16 o 2424178 71.87/63.16 o 2424269 71.87/63.16 o 2424773 71.87/63.16 o 2425174 71.87/63.16 o 2425554 72.16/63.46 o 2425730 72.16/63.46 o 2425767 72.16/63.46 o 2426200 72.16/63.46 o 2426486 72.16/63.46 o 2426672 72.16/63.46 o 2427105 72.16/63.47 o 2427142 72.16/63.47 o 2427234 72.16/63.47 o 2427291 72.16/63.47 o 2427761 72.16/63.47 o 2428194 72.16/63.48 o 2428386 72.16/63.48 o 2428426 72.16/63.48 o 2428659 72.16/63.48 o 2429175 72.16/63.48 o 2429608 72.16/63.48 o 2429737 72.16/63.48 o 2430264 72.16/63.49 o 2430697 72.26/63.50 o 2430734 72.26/63.50 o 2431167 72.26/63.60 o 2431228 72.26/63.60 o 2432056 72.26/63.60 o 2432526 72.37/63.60 o 2433548 72.37/63.60 o 2434018 72.37/63.60 o 2434974 72.37/63.60 o 2435638 72.37/63.60 o 2436106 72.37/63.60 o 2436300 72.37/63.60 o 2437598 72.37/63.60 o 2438337 72.37/63.60 o 2439635 72.37/63.60 o 2440105 72.37/63.60 o 2440403 72.37/63.61 o 2441359 72.37/63.61 o 2442023 72.37/63.61 o 2443242 72.37/63.61 o 2443571 72.37/63.61 o 2443983 72.37/63.61 o 2444528 72.37/63.62 o 2446020 72.37/63.62 o 2446490 72.37/63.62 o 2447318 72.37/63.62 o 2447788 72.37/63.62 o 2449015 72.37/63.62 o 2449485 72.37/63.62 o 2449814 72.37/63.62 o 2450226 72.37/63.62 o 2450965 72.37/63.63 o 2452263 72.37/63.63 o 2452662 72.37/63.63 o 2453960 72.37/63.63 o 2454430 72.37/63.64 o 2454896 72.37/63.64 o 2455366 72.37/63.64 o 2456194 72.37/63.64 o 2456664 72.48/63.79 o 2457375 72.48/63.79 o 2458452 72.48/63.79 o 2460410 72.48/63.79 o 2461487 72.48/63.79 o 2462516 72.48/63.79 o 2463593 73.74/64.87 o 2463701 73.74/64.88 o 2466169 73.74/64.88 o 2467258 73.92/64.90 o 2467588 73.92/64.90 o 2468677 73.92/64.92 o 2469859 73.92/64.92 o 2470948 74.03/65.05 o 2470978 74.03/65.05 o 2471742 74.03/65.05 o 2471822 74.03/65.05 o 2471996 74.03/65.05 o 2472076 74.03/65.05 o 2472760 74.03/65.05 o 2472840 74.03/65.05 o 2473521 74.03/65.06 o 2473601 74.03/65.10 o 2473912 74.03/65.10 o 2474046 74.03/65.10 o 2474497 74.03/65.10 o 2474776 74.03/65.10 o 2474832 74.03/65.10 o 2475030 74.03/65.10 o 2475794 74.03/65.10 o 2475874 74.03/65.10 o 2475961 74.03/65.10 o 2476095 74.03/65.10 o 2476546 74.03/65.10 o 2476825 74.03/65.10 o 2476881 74.03/65.10 o 2477843 74.03/65.10 o 2477923 74.03/65.11 o 2478607 74.13/65.11 o 2478687 74.13/65.11 o 2479368 74.13/65.11 o 2479448 74.62/65.61 o 2479679 74.62/65.61 o 2479698 74.62/65.61 o 2480462 74.82/65.84 o 2480641 74.82/65.84 o 2482060 74.82/65.84 o 2482530 74.82/65.85 o 2484028 74.82/65.85 o 2484498 74.82/65.86 o 2486096 74.82/65.87 o 2486566 74.82/65.87 o 2487524 74.82/65.87 o 2487994 74.82/65.87 o 2488390 74.82/65.87 o 2490458 74.82/65.87 o 2490928 74.82/65.88 o 2491877 74.82/65.88 o 2492347 75.43/66.43 o 2493741 75.63/66.61 o 2495117 75.63/66.67 o 2495372 75.63/66.67 o 2495413 75.63/66.67 o 2496074 75.63/66.67 o 2497450 76.94/67.98 o 2497942 76.94/67.98 o 2498153 76.94/67.98 o 2498412 76.94/67.98 o 2498623 77.15/68.15 o 2498845 77.15/68.18 o 2499056 78.58/69.59 o 2499634 78.58/69.59 o 2500014 78.68/69.64 o 2505285 78.68/69.64 o 2508787 78.68/69.65 o 2508867 78.68/69.65 o 2511680 78.68/69.65 o 2511760 78.98/69.96 o 2511959 79.38/70.31 o 2512493 79.38/70.31 o 2513988 79.38/70.32 o 2515327 79.38/70.32 o 2516822 79.38/70.33 o 2517209 79.38/70.33 o 2518704 79.38/70.33 o 2518957 79.38/70.33 o 2520452 79.89/70.86 o 2520730 79.89/70.86 o 2521635 80.29/71.23 o 2521834 80.29/71.26 o 2522845 80.29/71.29 o 2523855 80.39/71.30 o 2524869 82.91/73.85 o 2525276 83.01/73.94 o 2526274 83.01/73.94 o 2526332 83.01/73.94 o 2526861 83.01/73.94 o 2528356 83.01/73.97 o 2529198 83.01/73.97 o 2531280 83.12/74.02 o 2531903 83.12/74.02 o 2532114 83.12/74.02 o 2532330 83.12/74.02 o 2534106 83.12/74.03 o 2535854 83.12/74.06 o 2536065 83.12/74.06 o 2536792 83.12/74.06 o 2537402 83.12/74.06 o 2537672 83.12/74.06 o 2537987 83.12/74.06 o 2539735 83.12/74.08 o 2539946 83.12/74.09 o 2540824 83.12/74.09 o 2541035 83.61/74.56 o 2541740 83.71/74.61 o 2543463 83.71/74.61 o 2546433 83.71/74.61 o 2546851 83.71/74.61 o 2549821 84.01/74.91 o 2549882 84.01/74.91 o 2549962 84.12/75.05 o 2550610 84.12/75.05 o 2551515 84.12/75.07 o 2551738 84.12/75.07 o 2552728 84.12/75.08 o 2553633 84.12/75.09 o 2554391 84.12/75.09 o 2554476 84.12/75.09 o 2555381 84.32/75.26 o 2555593 84.32/75.26 o 2556357 84.32/75.26 o 2556601 84.42/75.39 o 2556742 84.62/75.55 o 2557506 85.02/75.93 o 2557779 85.02/75.93 o 2559001 85.32/76.26 o 2559402 85.42/76.35 o 2561037 85.42/76.35 o 2561470 85.62/76.55 o 2561798 85.62/76.55 o 2562041 85.62/76.55 o 2564109 85.62/76.55 o 2564147 85.62/76.55 o 2566215 85.72/76.64 o 2566648 86.02/76.95 o 2566680 86.02/76.95 o 2566821 86.13/77.01 o 2569095 86.13/77.04 o 2570109 86.13/77.04 o 2571099 86.13/77.04 o 2571240 86.32/77.28 o 2571908 86.32/77.28 o 2572922 86.32/77.28 o 2573912 86.32/77.28 o 2574053 86.92/77.88 o 2574930 86.92/77.88 o 2576306 87.06/77.98 o 2576447 87.06/77.98 o 2576490 87.06/77.98 o 2577725 87.06/77.98 o 2577866 88.96/79.65 o 2578907 88.96/79.66 o 2579023 88.96/79.66 o 2580399 89.06/79.71 o 2580719 89.06/79.71 o 2581105 89.06/79.71 o 2582095 89.06/79.71 o 2582481 89.06/79.74 o 2582749 89.06/79.74 o 2582952 89.06/79.74 o 2583560 89.06/79.74 o 2584936 89.06/79.74 o 2585642 89.06/79.74 o 2587018 89.06/79.74 o 2587404 91.16/81.85 o 2587696 91.16/81.86 o 2588359 91.16/81.87 o 2589321 91.16/81.87 o 2589591 91.16/81.87 o 2589944 91.16/81.87 o 2590298 91.16/81.87 o 2590975 91.16/81.87 o 2591904 91.16/81.87 o 2591928 91.16/81.87 o 2592591 91.16/81.87 o 2592996 91.16/81.87 o 2594010 91.16/81.89 o 2594744 91.16/81.89 o 2595758 92.78/83.43 o 2596893 92.78/83.43 o 2597034 92.78/83.43 o 2597314 92.78/83.43 o 2599011 92.78/83.44 o 2599152 92.78/83.48 o 2599400 92.78/83.49 o 2600418 92.78/83.49 o 2600887 92.88/83.56 o 2601320 93.08/83.79 o 2602861 93.18/83.81 o 2602982 93.18/83.81 o 2603391 93.18/83.81 o 2605088 93.18/83.81 o 2605429 93.18/83.81 o 2607126 93.18/83.81 o 2608173 93.18/83.81 o 2609870 94.18/84.83 o 2610001 94.18/84.83 o 2610381 94.18/84.83 o 2610461 94.28/84.96 o 2610522 94.28/84.96 o 2610602 94.39/85.05 o 2611461 94.39/85.05 o 2611602 94.49/85.20 o 2611841 94.58/85.25 o 2611982 94.58/85.25 o 2612062 94.58/85.29 o 2612880 94.58/85.29 o 2612960 94.58/85.29 o 2613021 94.58/85.29 o 2613101 94.58/85.29 o 2613260 94.58/85.29 o 2613401 94.58/85.29 o 2613481 95.18/85.88 o 2613861 97.99/88.67 o 2613941 97.99/88.67 o 2614846 97.99/88.67 o 2615373 97.99/88.67 o 2616004 97.99/88.67 o 2616531 97.99/88.68 o 2616909 97.99/88.68 o 2617436 97.99/88.70 o 2617906 98.09/88.72 o 2617927 98.09/88.72 o 2618397 98.09/88.72 o 2618454 98.09/88.72 o 2618924 98.09/88.72 o 2619357 98.19/88.84 o 2619853 98.19/88.84 o 2620380 98.19/88.84 o 2620758 98.19/88.84 o 2621285 98.19/88.86 o 2621776 98.19/88.86 o 2622303 98.19/88.86 o 2622736 98.29/88.96 o 2623470 98.29/88.96 o 2624375 101.99/92.68 o 2624422 101.99/92.68 o 2624808 102.50/93.16 o 2625024 102.50/93.16 o 2625165 102.50/93.16 o 2626063 102.50/93.16 o 2626204 103.32/93.91 o 2626486 103.32/93.99 o 2626834 103.32/93.99 o 2629105 105.96/96.33 o 2629332 105.96/96.33 o 2629765 106.16/96.55 o 2630228 106.16/96.55 o 2631450 106.16/96.55 o 2631883 108.86/99.28 o 2632901 109.06/99.43 o 2634845 109.06/99.43 o 2635426 109.06/99.43 o 2637464 109.36/99.71 o 2639728 109.36/99.79 o 2640197 110.48/100.89 o 2640230 110.48/100.89 o 2641452 110.48/100.89 o 2641532 110.58/100.92 o 2641951 110.58/100.92 o 2644222 110.58/100.93 o 2645598 112.49/102.84 o 2645692 112.49/102.84 o 2645984 112.49/102.84 o 2646125 112.89/103.29 o 2646162 112.89/103.29 o 2646595 113.81/104.13 o 2646923 113.90/104.25 o 2647769 113.90/104.25 o 2648296 114.00/104.36 o 2649807 114.00/104.36 o 2650334 114.00/104.36 o 2650804 114.10/104.42 o 2651555 114.10/104.42 o 2652082 114.10/104.43 o 2652552 114.30/104.64 o 2652896 114.50/104.81 o 2652947 114.50/104.81 o 2654174 114.50/104.81 o 2654644 114.50/104.83 o 2654701 114.60/104.91 o 2655171 125.22/114.66 o 2655243 126.42/115.89 o 2657546 137.67/127.03 o 2657846 137.77/127.16 o 2658066 137.77/127.16 o 2658270 137.77/127.16 o 2659288 137.77/127.16 o 2659389 137.77/127.16 o 2660205 137.77/127.16 o 2661427 137.86/127.21 o 2662445 137.86/127.21 o 2663459 148.50/137.69 o 2663894 148.50/137.69 o 2664421 149.20/138.37 o 2664583 149.20/138.37 o 2665191 149.20/138.37 o 2665660 149.30/138.48 o 2665817 149.30/138.48 o 2666286 150.40/139.59 o 2666527 150.50/139.62 o 2667791 150.50/139.62 o 2668224 150.91/140.05 o 2668534 150.91/140.05 o 2668560 150.91/140.05 o 2670257 150.91/140.05 o 2670638 150.91/140.05 o 2672335 150.91/140.05 o 2673449 150.91/140.05 o 2675146 150.91/140.10 o 2675579 169.59/158.47 o 2675680 169.59/158.47 o 2675760 169.59/158.47 o 2676496 169.59/158.47 o 2676637 169.59/158.47 o 2677872 169.59/158.47 o 2678013 169.59/158.47 o 2678093 169.69/158.50 o 2678764 169.69/158.50 o 2678807 169.69/158.50 o 2680183 169.69/158.50 o 2680263 169.69/158.53 o 2680324 169.69/158.53 o 2680404 169.69/158.54 o 2681173 169.69/158.54 o 2681314 169.69/158.54 o 2681394 191.84/180.46 o 2682130 191.84/180.46 o 2682563 201.35/189.75 o 2683422 201.85/190.27 o 2684446 201.85/190.27 o 2685485 202.26/190.67 o 2685866 202.56/190.91 o 2686727 202.67/191.03 o 2687388 202.67/191.04 o 2688152 202.67/191.04 o 2688807 202.67/191.04 o 2689571 202.86/191.25 o 2689845 202.86/191.25 o 2690246 202.86/191.25 o 2691264 202.86/191.25 o 2692652 202.86/191.26 o 2694071 202.86/191.29 o 2695089 202.96/191.38 o 2695853 207.98/196.39 o 2696751 207.98/196.39 o 2696892 212.92/201.03 o 2697178 212.92/201.03 o 2697319 212.92/201.06 o 2697647 212.92/201.06 o 2697788 213.02/201.13 o 2698880 213.02/201.13 o 2699870 220.62/208.70 o 2700636 220.62/208.70 o 2701933 221.63/209.72 o 2702405 221.63/209.72 o 2702448 221.63/209.72 o 2703824 221.63/209.76 o 2704128 221.63/209.76 o 2704330 221.63/209.76 o 2704406 221.63/209.76 o 2705825 221.73/209.80 o 2707201 231.92/219.83 o 2707233 232.02/219.95 o 2707613 238.24/226.19 o 2708370 238.24/226.19 o 2708450 238.24/226.19 o 2708897 238.24/226.19 o 2708977 241.04/228.95 o 2709398 241.04/228.95 o 2710024 241.04/228.95 o 2710057 241.04/228.95 o 2710799 241.04/228.95 o 2712175 241.04/228.95 o 2712801 241.04/228.95 o 2714481 241.04/228.95 o 2715107 241.04/228.95 o 2715857 241.04/228.95 o 2716483 241.83/229.75 o 2716705 241.83/229.76 o 2716777 241.83/229.76 o 2717352 241.83/229.76 o 2717610 241.83/229.76 o 2719011 241.83/229.76 o 2720387 242.83/230.73 o 2721013 252.03/239.70 s SATISFIABLE 252.03/239.70 v <instantiation> 252.03/239.70 v <list> 252.03/239.70 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 252.03/239.70 v </list> 252.03/239.70 v <values> 252.03/239.70 v 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 252.03/239.70 v </values> 252.03/239.70 v </instantiation>
OK 2721013
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9792 MiB free)
memory of node 1: 16384 MiB (12684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310554-1534329093/watcher-4310554-1534329093 -o /tmp/evaluation-result-4310554-1534329093/solver-4310554-1534329093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21607 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 584253516 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310554-1534329093.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21651, runsolver pid=21648
[startup+0.100116 s]*
/proc/loadavg: 0.75 1.16 1.32 3/215 21666
/proc/meminfo: memFree=22996472/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14082736 memory=33520 CPUtime=0.12 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 7304 0 0 0 10 2 0 0 20 0 15 0 250472171 14420721664 8380 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3520684 8380 3137 1 0 3482761 0
[pid=21651/tid=21653] ppid=21648 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 5387 0 0 0 8 1 0 0 20 0 15 0 250472172 14420721664 8380 33554432000 4194304 4196468 140722192620672 140074027265792 140074007111006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14082736 memory=5793855602434365881 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073362187168 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073361134576 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0.01 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 8380 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33520 KiB
[startup+0.210273 s]*
/proc/loadavg: 0.75 1.16 1.32 4/215 21666
/proc/meminfo: memFree=22975200/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14082736 memory=46908 CPUtime=0.29 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 10335 0 0 0 27 2 0 0 20 0 15 0 250472171 14420721664 11727 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3520684 11727 3377 1 0 3482761 0
[pid=21651/tid=21653] ppid=21648 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 8075 0 0 0 17 2 0 0 20 0 15 0 250472172 14420721664 11727 33554432000 4194304 4196468 140722192620672 140074027257648 140074004594075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14082736 memory=4211974077629263242 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073362187168 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073361134576 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) R 21648 21651 21576 0 -1 4202560 445 0 0 0 2 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073359030768 140074004575483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) R 21648 21651 21576 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0.05 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) R 21648 21651 21576 0 -1 4202560 271 0 0 0 5 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073356925680 140074001735376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 11727 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46908 KiB
[startup+0.310447 s]*
/proc/loadavg: 0.75 1.16 1.32 3/215 21666
/proc/meminfo: memFree=22968128/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14082736 memory=50500 CPUtime=0.43 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 10768 0 0 0 40 3 0 0 20 0 15 0 250472171 14420721664 12625 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3520684 12625 3380 1 0 3482761 0
[pid=21651/tid=21653] ppid=21648 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 8460 0 0 0 27 2 0 0 20 0 15 0 250472172 14420721664 12625 33554432000 4194304 4196468 140722192620672 140074027249752 140074008196174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14082736 memory=4211974077629263242 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14082736 memory=280702701427072 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14082736 memory=280702553936384 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14082736 memory=140351276954383 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472172 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14082736 memory=280702701433984 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14082736 memory=140351276958991 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073362187168 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14082736 memory=140351276982903 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472174 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073361134576 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14082736 memory=140351276985208 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14082736 memory=140351424472704 CPUtime=0.08 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 297 0 0 0 8 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14082736 memory=140351424506224 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472177 14420721664 12625 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50500 KiB
[startup+0.700674 s]
/proc/loadavg: 0.75 1.16 1.32 5/215 21666
/proc/meminfo: memFree=22916472/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14084804 memory=88636 CPUtime=0.98 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 17560 0 0 0 93 5 0 0 20 0 15 0 250472171 14422839296 22159 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3521201 22159 3505 1 0 3483273 0
[pid=21651/tid=21653] ppid=21648 vsize=14084804 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 14883 0 0 0 63 4 0 0 20 0 15 0 250472172 14422839296 22159 33554432000 4194304 4196468 140722192620672 140074027254624 140073911554094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472172 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250472172 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250472174 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250472174 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073362187168 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14084804 memory=6608 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250472174 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073361134576 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14084804 memory=4452 CPUtime=0.07 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14084804 memory=3732 CPUtime=0.07 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) R 21648 21651 21576 0 -1 4202560 364 0 0 0 15 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073356925680 140074002015261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250472177 14422839296 22159 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88636 KiB
[startup+1.50071 s]
/proc/loadavg: 0.75 1.16 1.32 8/215 21666
/proc/meminfo: memFree=22832216/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14088900 memory=219372 CPUtime=3 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 25726 0 0 0 290 10 0 0 20 0 15 0 250472171 14427033600 54843 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3522225 54843 3565 1 0 3484297 0
[pid=21651/tid=21653] ppid=21648 vsize=14088900 memory=3868 CPUtime=1.46 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 17980 0 0 0 140 6 0 0 20 0 15 0 250472172 14427033600 54843 33554432000 4194304 4196468 140722192620672 140074027255776 140074007111006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14088900 memory=68356 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 250472172 14427033600 54843 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14088900 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 250472172 14427033600 54843 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 250472172 14427033600 54843 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 250472172 14427033600 54843 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14088900 memory=7379241870439768405 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 250472174 14427033600 54843 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
################
# More data... #
################
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 37565 0 0 0 15987 58 0 0 20 0 15 0 250472172 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140074027264768 140073660975544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14092996 memory=4283556 CPUtime=1.56 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 2084 0 0 0 127 29 0 0 20 0 15 0 250472172 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14092996 memory=4283556 CPUtime=1.55 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 3588 0 0 0 125 30 0 0 20 0 15 0 250472172 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14092996 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 2966 0 0 0 128 29 0 0 20 0 15 0 250472172 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14092996 memory=4283556 CPUtime=1.57 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 3234 0 0 0 127 30 0 0 20 0 15 0 250472172 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14092996 memory=4283556 CPUtime=0.2 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 8749 0 0 0 19 1 0 0 20 0 15 0 250472174 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14092996 memory=4283556 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073362187232 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14092996 memory=4283556 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073361134592 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14092996 memory=4283556 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14092996 memory=4283556 CPUtime=2.76 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 7116 0 0 0 275 1 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14092996 memory=0 CPUtime=2.51 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 6084 0 0 0 250 1 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14092996 memory=6791534058613427641 CPUtime=1.16 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 8968 0 0 0 114 2 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14092996 memory=3796 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14092996 memory=2300 CPUtime=0.06 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 727 0 0 0 3 3 0 0 20 0 15 0 250472177 14431227904 1070889 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 173.51 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4283556 KiB
[startup+222.301 s]
/proc/loadavg: 1.81 1.53 1.44 3/215 21669
/proc/meminfo: memFree=14479448/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14092996 memory=4302324 CPUtime=234.42 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 96911 0 0 0 23249 193 0 0 20 0 15 0 250472171 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3523249 1075581 3617 1 0 3485321 0
[pid=21651/tid=21653] ppid=21648 vsize=14092996 memory=4302324 CPUtime=220.17 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 44517 0 0 0 21959 58 0 0 20 0 15 0 250472172 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140074027264744 140073663988846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14092996 memory=4302324 CPUtime=1.83 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 2640 0 0 0 153 30 0 0 20 0 15 0 250472172 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14092996 memory=4302324 CPUtime=1.82 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 4192 0 0 0 151 31 0 0 20 0 15 0 250472172 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14092996 memory=0 CPUtime=1.84 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 3565 0 0 0 155 29 0 0 20 0 15 0 250472172 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14092996 memory=4302324 CPUtime=1.84 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 4416 0 0 0 153 31 0 0 20 0 15 0 250472172 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0.21 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 8988 0 0 0 20 1 0 0 20 0 15 0 250472174 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073362187232 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073361134592 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14092996 memory=4302324 CPUtime=2.76 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 7442 0 0 0 275 1 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14092996 memory=4302324 CPUtime=2.56 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 7702 0 0 0 254 2 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14092996 memory=6791534058613427641 CPUtime=1.19 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 11163 0 0 0 117 2 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14092996 memory=3796 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14092996 memory=3868 CPUtime=0.1 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 852 0 0 0 5 5 0 0 20 0 15 0 250472177 14431227904 1075581 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 234.42 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4302324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.701 s]
/proc/loadavg: 2.00 1.59 1.46 5/214 21700
/proc/meminfo: memFree=18661788/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14092996 memory=4305888 CPUtime=252.03 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 98679 0 0 0 25009 194 0 0 20 0 15 0 250472171 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3523249 1076472 3617 1 0 3485321 0
[pid=21651/tid=21653] ppid=21648 vsize=14092996 memory=2192 CPUtime=237.5 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 44866 0 0 0 23692 58 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140074027266296 140073671261413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.89 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 3021 0 0 0 159 30 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.88 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 4199 0 0 0 157 31 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14092996 memory=4302324 CPUtime=1.9 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 3568 0 0 0 161 29 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.9 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 4418 0 0 0 159 31 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14092996 memory=4305888 CPUtime=0.21 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 8992 0 0 0 20 1 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073362187232 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073361134592 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14092996 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 7442 0 0 0 275 1 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14092996 memory=4305888 CPUtime=2.57 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 7702 0 0 0 255 2 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14092996 memory=3868 CPUtime=1.21 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 12185 0 0 0 118 3 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14092996 memory=4305888 CPUtime=0.1 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 852 0 0 0 5 5 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4305888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.733 s]
# the end of solver process 21651 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.107 s, system=1.97358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+239.701 s]
/proc/loadavg: 2.00 1.59 1.46 5/214 21700
/proc/meminfo: memFree=18661788/32770624 swapFree=67108688/67108860
[pid=21651] ppid=21648 vsize=14092996 memory=4305888 CPUtime=252.03 cores=0,2,4,6
/proc/21651/stat : 21651 (java) S 21648 21651 21576 0 -1 1077944320 98679 0 0 0 25009 194 0 0 20 0 15 0 250472171 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140722192603216 140074023030519 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
/proc/21651/statm: 3523249 1076472 3617 1 0 3485321 0
[pid=21651/tid=21653] ppid=21648 vsize=14092996 memory=2192 CPUtime=237.5 cores=0,2,4,6
/proc/21651/task/21653/stat : 21653 (java) R 21648 21651 21576 0 -1 4202560 44866 0 0 0 23692 58 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140074027266296 140073671261413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21654] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.89 cores=0,2,4,6
/proc/21651/task/21654/stat : 21654 (java) S 21648 21651 21576 0 -1 1077944384 3021 0 0 0 159 30 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073618352912 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21655] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.88 cores=0,2,4,6
/proc/21651/task/21655/stat : 21655 (java) S 21648 21651 21576 0 -1 1077944384 4199 0 0 0 157 31 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073617300368 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21656] ppid=21648 vsize=14092996 memory=4302324 CPUtime=1.9 cores=0,2,4,6
/proc/21651/task/21656/stat : 21656 (java) S 21648 21651 21576 0 -1 1077944384 3568 0 0 0 161 29 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073616247824 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21657] ppid=21648 vsize=14092996 memory=4305888 CPUtime=1.9 cores=0,2,4,6
/proc/21651/task/21657/stat : 21657 (java) S 21648 21651 21576 0 -1 1077944384 4418 0 0 0 159 31 0 0 20 0 15 0 250472172 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073615195280 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21658] ppid=21648 vsize=14092996 memory=4305888 CPUtime=0.21 cores=0,2,4,6
/proc/21651/task/21658/stat : 21658 (java) S 21648 21651 21576 0 -1 1077944384 8992 0 0 0 20 1 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073363240944 140074023041666 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21659] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21659/stat : 21659 (java) S 21648 21651 21576 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073362187232 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21660] ppid=21648 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21660/stat : 21660 (java) S 21648 21651 21576 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 250472174 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073361134592 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21661] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21661/stat : 21661 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073360083152 140074023049115 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21662] ppid=21648 vsize=14092996 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/21651/task/21662/stat : 21662 (java) S 21648 21651 21576 0 -1 1077944384 7442 0 0 0 275 1 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073359030768 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21663] ppid=21648 vsize=14092996 memory=4305888 CPUtime=2.57 cores=0,2,4,6
/proc/21651/task/21663/stat : 21663 (java) S 21648 21651 21576 0 -1 1077944384 7702 0 0 0 255 2 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073357978224 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21664] ppid=21648 vsize=14092996 memory=3868 CPUtime=1.21 cores=0,2,4,6
/proc/21651/task/21664/stat : 21664 (java) S 21648 21651 21576 0 -1 1077944384 12185 0 0 0 118 3 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073356925680 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21665] ppid=21648 vsize=14092996 memory=4302324 CPUtime=0 cores=0,2,4,6
/proc/21651/task/21665/stat : 21665 (java) S 21648 21651 21576 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073355873376 140074023040725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
[pid=21651/tid=21666] ppid=21648 vsize=14092996 memory=4305888 CPUtime=0.1 cores=0,2,4,6
/proc/21651/task/21666/stat : 21666 (java) S 21648 21651 21576 0 -1 1077944384 852 0 0 0 5 5 0 0 20 0 15 0 250472177 14431227904 1076472 33554432000 4194304 4196468 140722192620672 140073354819888 140074023041666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 10289152 140722192622683 140722192622862 140722192622862 140722192625615 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4305888 KiB
Child status: 143
Real time (s): 239.733
CPU time (s): 252.081
CPU user time (s): 250.107
CPU system time (s): 1.97358
CPU usage (%): 105.151
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4305888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.107
system time used= 1.97358
maximum resident set size= 4306712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99045
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11084
involuntary context switches= 274
# summary of solver processes directly reported to runsolver:
# pid: 21651
# total CPU time (s): 252.081
# total CPU user time (s): 250.107
# total CPU system time (s): 1.97358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15333 second user time and 2.71625 second system time
The end
Begin job on node106 at 2018-08-15 12:31:33 IDJOB=4310554 IDBENCH=141161 IDSOLVER=2796 FILE ID=node106/4310554-1534329093 RUNJOBID= node106-1534329093-21607 PBS_JOBID= 21038157 Free space on /tmp= 42412 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310554-1534329093/watcher-4310554-1534329093 -o /tmp/evaluation-result-4310554-1534329093/solver-4310554-1534329093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534329093-21607 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 584253516 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310554-1534329093.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7 RANDOM SEED=584253516 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23021684 kB MemAvailable: 31866804 kB Buffers: 201660 kB Cached: 8858476 kB SwapCached: 0 kB Active: 4623784 kB Inactive: 4520288 kB Active(anon): 30664 kB Inactive(anon): 113676 kB Active(file): 4593120 kB Inactive(file): 4406612 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 71332 kB Writeback: 24 kB AnonPages: 89232 kB Mapped: 67492 kB Shmem: 57824 kB Slab: 301928 kB SReclaimable: 273848 kB SUnreclaim: 28080 kB KernelStack: 3360 kB PageTables: 5940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1315576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 42376 MiB End job on node106 at 2018-08-15 12:35:33