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) | 2899564 | 252.105 | 240.631 |
| Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
| MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2899564 |
| Best CPU time to get the best result obtained on this benchmark | 252.105 |
| 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":"sum","count":500}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 1729894513 0.68/0.56 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 3.40/1.66 c Parsing done, starting first complete search... 4.04/1.90 o 0 4.04/1.90 o 16126 4.04/1.90 o 23556 4.04/1.91 o 26209 4.04/1.91 o 49765 4.04/1.91 o 54523 4.04/1.92 o 60785 4.04/1.92 o 76911 4.04/1.92 o 84341 4.04/1.92 o 88788 4.04/1.92 o 95333 4.04/1.93 o 100091 4.04/1.93 o 115506 4.04/1.93 o 119121 4.04/1.94 o 145789 4.04/1.94 o 151876 4.04/1.94 o 157894 4.04/1.94 o 180160 4.04/1.94 o 184139 4.04/1.94 o 213961 4.04/1.95 o 214157 4.04/1.95 o 227824 4.04/1.95 o 254478 4.04/1.95 o 256355 4.04/1.95 o 264769 4.04/1.95 o 272477 4.04/1.96 o 275372 4.04/1.96 o 279019 4.04/1.96 o 280896 4.04/1.96 o 283611 4.04/1.96 o 285488 4.04/1.96 o 292536 4.04/1.96 o 294413 4.04/1.96 o 311031 4.04/1.97 o 312908 4.04/1.97 o 343301 4.04/1.97 o 345178 4.04/1.97 o 371073 4.04/1.97 o 372950 4.04/1.97 o 374997 4.04/1.97 o 376874 4.04/1.98 o 378635 4.04/1.98 o 378729 4.04/1.98 o 382344 4.04/1.98 o 385239 4.04/1.98 o 392448 4.04/1.98 o 393783 4.04/1.98 o 405394 4.04/1.99 o 407619 4.04/1.99 o 415854 4.04/1.99 o 417225 4.04/1.99 o 420840 4.04/1.99 o 424530 4.04/1.99 o 428145 4.04/2.00 o 429385 4.04/2.00 o 429609 4.04/2.00 o 431594 4.04/2.00 o 433355 4.04/2.00 o 434595 4.39/2.01 o 436508 4.39/2.01 o 437748 4.39/2.01 o 440123 4.39/2.01 o 441363 4.39/2.01 o 441636 4.39/2.01 o 442876 4.39/2.01 o 444470 4.39/2.01 o 445710 4.39/2.02 o 445921 4.39/2.02 o 450083 4.39/2.02 o 451323 4.39/2.02 o 451534 4.39/2.04 o 452252 4.39/2.04 o 452463 4.39/2.05 o 455717 4.39/2.05 o 467020 4.39/2.05 o 467231 4.39/2.06 o 477946 4.39/2.06 o 481870 4.39/2.07 o 482225 4.39/2.07 o 483986 4.39/2.07 o 487910 4.39/2.08 o 489684 4.39/2.08 o 492518 4.39/2.08 o 495922 4.39/2.09 o 496133 4.39/2.10 o 496795 4.39/2.10 o 497006 4.39/2.10 o 501403 4.39/2.10 o 501614 4.39/2.10 o 505018 4.39/2.10 o 505229 4.69/2.11 o 505417 4.69/2.11 o 505628 4.69/2.11 o 509341 4.69/2.11 o 509552 4.69/2.12 o 513782 4.69/2.12 o 513993 4.69/2.12 o 515022 4.69/2.12 o 515233 4.69/2.12 o 518946 4.69/2.12 o 519157 4.69/2.13 o 525714 4.69/2.13 o 525925 4.69/2.13 o 529329 4.69/2.13 o 529540 4.69/2.14 o 530059 4.69/2.14 o 530255 4.69/2.14 o 530270 4.69/2.14 o 530466 4.69/2.14 o 533714 4.69/2.14 o 537329 4.69/2.15 o 538868 4.69/2.15 o 540032 4.69/2.15 o 540228 4.69/2.16 o 541988 4.69/2.17 o 545603 4.69/2.17 o 547142 4.69/2.17 o 548306 4.69/2.17 o 548502 4.69/2.19 o 549190 5.01/2.21 o 549401 5.01/2.21 o 551203 5.01/2.21 o 552235 5.01/2.21 o 553399 5.01/2.21 o 553595 5.01/2.26 o 553876 5.01/2.26 o 554087 5.01/2.26 o 555251 5.01/2.26 o 555447 5.01/2.29 o 556522 5.01/2.29 o 562251 5.01/2.29 o 562518 5.01/2.29 o 566133 5.01/2.30 o 568967 5.28/2.30 o 570862 5.28/2.30 o 571058 5.28/2.30 o 575349 5.28/2.30 o 582484 5.28/2.31 o 584023 5.28/2.31 o 585187 5.28/2.31 o 585383 5.28/2.36 o 589182 5.28/2.36 o 593505 5.28/2.36 o 597429 5.28/2.36 o 598461 5.28/2.36 o 605229 5.28/2.37 o 606768 5.28/2.37 o 607932 5.28/2.37 o 608128 5.45/2.47 o 609900 5.45/2.47 o 611235 5.45/2.47 o 611431 5.45/2.47 o 613460 5.45/2.47 o 613656 5.45/2.48 o 615221 5.45/2.48 o 615417 5.55/2.55 o 617145 5.55/2.55 o 619370 5.55/2.55 o 621131 5.55/2.55 o 621342 5.55/2.55 o 622466 5.55/2.55 o 622677 5.55/2.56 o 625361 5.55/2.56 o 625572 5.55/2.56 o 628195 5.55/2.56 o 628406 5.55/2.56 o 629734 5.55/2.56 o 629945 5.55/2.56 o 630898 5.55/2.56 o 631109 5.55/2.56 o 631305 5.55/2.58 o 631451 5.55/2.59 o 631822 5.55/2.59 o 632033 5.55/2.59 o 635437 5.55/2.59 o 635648 5.55/2.59 o 636469 5.55/2.59 o 636680 5.55/2.59 o 636976 5.55/2.59 o 637187 5.55/2.59 o 638008 5.55/2.59 o 638219 5.65/2.60 o 638336 5.65/2.60 o 638351 5.65/2.60 o 638547 5.65/2.60 o 639383 5.65/2.60 o 639579 5.75/2.72 o 641210 5.75/2.72 o 642545 5.75/2.72 o 645321 5.75/2.72 o 646860 5.75/2.75 o 646992 5.75/2.75 o 647188 5.75/2.75 o 648024 5.75/2.75 o 648220 5.95/2.98 o 648331 5.95/2.98 o 649025 5.95/2.98 o 649221 5.95/2.98 o 650360 5.95/2.98 o 650556 5.95/2.99 o 651392 5.95/2.99 o 651588 6.81/3.78 o 651678 6.81/3.78 o 651889 6.81/3.78 o 652710 6.81/3.78 o 652921 6.91/3.88 o 653053 7.01/3.94 o 653177 7.01/3.94 o 654512 7.01/3.94 o 654723 7.01/3.95 o 654855 7.34/4.21 o 655676 7.34/4.21 o 655887 7.34/4.26 o 656334 7.34/4.26 o 656530 7.34/4.26 o 656545 7.34/4.26 o 656741 7.34/4.26 o 659781 7.34/4.26 o 659977 7.54/4.41 o 660421 7.54/4.41 o 661453 7.54/4.45 o 661585 7.54/4.45 o 661781 7.54/4.45 o 662617 7.54/4.45 o 662813 7.54/4.47 o 666080 7.54/4.47 o 667112 8.19/5.06 o 667663 8.19/5.06 o 668998 8.19/5.06 o 670759 8.19/5.06 o 671791 8.19/5.06 o 673618 8.49/5.37 o 674221 8.49/5.37 o 674417 8.49/5.38 o 682026 8.49/5.38 o 682237 8.49/5.38 o 683269 8.49/5.38 o 684979 8.49/5.39 o 685346 8.49/5.40 o 686385 8.49/5.40 o 689280 8.59/5.40 o 692114 8.59/5.46 o 693059 8.59/5.47 o 693066 8.59/5.47 o 695961 8.59/5.47 o 698795 8.59/5.47 o 699827 8.89/5.79 o 700202 8.89/5.79 o 701131 8.89/5.79 o 704367 9.72/6.50 o 704772 9.82/6.66 o 706076 9.82/6.66 o 709312 10.62/7.41 o 709708 10.62/7.41 o 713323 16.86/13.69 o 713380 16.86/13.69 o 713591 16.86/13.69 o 714309 16.86/13.69 o 714520 18.41/15.19 o 716903 18.41/15.19 o 717114 21.01/17.74 o 717678 21.01/17.74 o 717889 21.01/17.74 o 720914 21.01/17.74 o 721125 24.11/20.82 o 721905 24.11/20.82 o 722116 24.11/20.82 o 725829 24.11/20.82 o 726040 24.11/20.82 o 729065 24.11/20.82 o 729276 24.11/20.83 o 733724 24.11/20.83 o 733935 24.11/20.83 o 737339 24.11/20.83 o 737550 25.42/22.19 o 738050 25.42/22.19 o 738261 25.42/22.19 o 739385 25.42/22.19 o 739596 25.51/22.23 o 742454 25.51/22.23 o 742665 25.51/22.23 o 743789 25.51/22.23 o 744000 29.43/26.12 o 746740 29.43/26.12 o 746951 29.52/26.23 c First complete search done, starting ALNS search... 30.39/26.71 o 748172 30.39/26.72 o 750278 30.39/26.72 o 750489 30.39/26.72 o 752039 30.39/26.72 o 752250 30.39/26.72 o 752389 30.39/26.72 o 752836 30.39/26.72 o 753047 30.39/26.72 o 753756 30.39/26.73 o 756537 30.39/26.73 o 758643 30.39/26.73 o 758854 30.39/26.73 o 759247 30.39/26.73 o 759458 30.39/26.73 o 759737 30.39/26.73 o 759795 30.39/26.73 o 759810 30.39/26.73 o 762576 30.39/26.73 o 764682 30.39/26.73 o 764893 30.39/26.74 o 765165 30.39/26.74 o 767271 30.39/26.74 o 767482 30.39/26.74 o 767678 30.39/26.74 o 767827 30.39/26.74 o 768038 30.39/26.74 o 768279 30.39/26.74 o 770385 30.39/26.74 o 770581 30.39/26.74 o 770596 30.39/26.74 o 770792 30.39/26.74 o 770968 30.39/26.75 o 771058 30.39/26.75 o 771305 30.39/26.75 o 771516 30.39/26.75 o 774086 30.39/26.75 o 776192 30.39/26.75 o 776403 30.39/26.75 o 779151 30.39/26.75 o 779362 30.39/26.75 o 781257 30.39/26.75 o 781468 30.39/26.76 o 782081 30.39/26.76 o 782292 30.39/26.76 o 784187 30.39/26.76 o 784398 30.39/26.76 o 784677 30.39/26.76 o 784888 30.39/26.76 o 787516 30.39/26.76 o 789622 30.39/26.76 o 789833 30.39/26.77 o 789887 30.39/26.77 o 790098 30.39/26.77 o 793216 30.39/26.77 o 795322 30.39/26.77 o 795533 30.39/26.78 o 798510 30.39/26.78 o 798721 30.39/26.78 o 799172 30.39/26.78 o 799383 30.39/26.78 o 800302 30.39/26.78 o 802408 30.39/26.78 o 802619 30.52/26.80 o 802844 30.52/26.80 o 803055 30.52/26.80 o 803512 30.52/26.80 o 803585 30.52/26.80 o 808457 30.52/26.81 o 808668 30.52/26.81 o 813363 30.52/26.81 o 813574 30.52/26.81 o 816731 30.52/26.81 o 816942 30.52/26.81 o 819967 30.52/26.81 o 820178 30.52/26.81 o 821759 30.52/26.81 o 823865 30.52/26.82 o 824076 30.52/26.82 o 824990 30.52/26.82 o 825201 30.52/26.83 o 826261 30.52/26.83 o 826989 30.52/26.83 o 827715 30.52/26.83 o 827730 30.52/26.83 o 832602 30.52/26.83 o 832813 30.52/26.84 o 833264 30.52/26.84 o 833475 30.52/26.84 o 834394 30.52/26.84 o 836500 30.52/26.84 o 836711 30.52/26.85 o 837104 30.52/26.85 o 837315 30.52/26.88 o 838412 30.52/26.88 o 838623 30.52/26.88 o 839542 30.52/26.89 o 839753 30.52/26.89 o 841648 30.52/26.89 o 841859 30.52/26.89 o 842817 30.52/26.89 o 843028 30.52/26.89 o 843181 30.52/26.89 o 843529 30.52/26.89 o 843669 30.52/26.89 o 844410 30.52/26.89 o 849282 30.52/26.89 o 849493 30.52/26.89 o 851074 30.52/26.89 o 853180 30.52/26.89 o 853391 30.63/26.91 o 854370 30.63/26.91 o 854581 30.63/26.94 o 855032 30.63/26.94 o 856162 30.63/26.94 o 858268 30.63/26.94 o 858479 30.92/27.14 o 860494 30.92/27.14 o 860678 30.92/27.14 o 862737 30.92/27.14 o 862921 30.92/27.14 o 864480 30.92/27.14 o 864664 30.92/27.14 o 865132 30.92/27.14 o 865316 30.92/27.14 o 867375 30.92/27.15 o 867559 30.92/27.15 o 867617 30.92/27.15 o 869425 30.92/27.15 o 869609 30.92/27.15 o 870077 30.92/27.15 o 872320 30.92/27.15 o 872504 30.92/27.15 o 873121 30.92/27.15 o 873305 30.92/27.15 o 873773 30.92/27.15 o 876016 30.92/27.15 o 876200 30.92/27.15 o 878718 30.92/27.15 o 878902 30.92/27.16 o 880961 30.92/27.16 o 881145 30.92/27.16 o 882359 30.92/27.16 o 882543 30.92/27.17 o 883160 30.92/27.17 o 883812 30.92/27.17 o 886055 30.92/27.17 o 886113 30.92/27.17 o 888105 30.92/27.17 o 888757 30.92/27.17 o 891000 30.92/27.17 o 891184 30.92/27.19 o 892479 30.92/27.20 o 892663 31.03/27.24 o 893372 31.03/27.24 o 896780 31.03/27.24 o 898259 31.03/27.24 o 898443 31.03/27.24 o 899657 31.03/27.24 o 899841 31.03/27.24 o 900024 31.03/27.24 o 900208 31.03/27.24 o 900615 31.03/27.24 o 901874 31.03/27.24 o 903353 31.03/27.24 o 903411 31.03/27.24 o 906819 31.03/27.25 o 908298 31.03/27.25 o 908482 31.03/27.25 o 909065 31.03/27.25 o 909249 31.03/27.25 o 910544 31.03/27.25 o 910728 31.03/27.28 o 911732 31.03/27.28 o 911916 31.14/27.36 o 913602 31.14/27.36 o 914754 31.14/27.37 o 923312 31.14/27.37 o 930968 31.14/27.37 o 932120 31.14/27.37 o 933041 31.14/27.37 o 934193 31.14/27.37 o 934263 31.14/27.37 o 935415 31.14/27.37 o 935885 31.14/27.37 o 937263 31.14/27.37 o 937733 31.14/27.37 o 938485 31.14/27.37 o 938955 31.14/27.37 o 939637 31.14/27.37 o 940107 31.14/27.37 o 940716 31.14/27.38 o 941713 31.14/27.38 o 942564 31.14/27.38 o 943786 31.14/27.38 o 944938 31.14/27.38 o 945408 31.14/27.38 o 946340 31.14/27.38 o 947191 31.14/27.38 o 948413 31.14/27.38 o 949565 31.14/27.38 o 950035 31.14/27.38 o 951072 31.14/27.38 o 951542 31.14/27.38 o 952474 31.14/27.38 o 953626 31.69/27.70 o 953760 31.69/27.70 o 955207 31.69/27.70 o 956357 31.69/27.70 o 957313 31.69/27.70 o 958463 31.69/27.70 o 958647 31.69/27.70 o 958924 31.69/27.70 o 959108 31.69/27.71 o 960074 31.69/27.71 o 960258 31.69/27.71 o 960493 31.69/27.71 o 960677 31.69/27.71 o 961807 31.69/27.71 o 961967 31.69/27.71 o 962372 31.69/27.71 o 963338 31.69/27.71 o 964488 31.69/27.71 o 965444 31.69/27.71 o 966594 31.69/27.71 o 966778 31.69/27.71 o 966955 31.69/27.71 o 966981 31.69/27.72 o 967165 31.69/27.72 o 967377 31.69/27.72 o 968773 31.69/27.72 o 968931 31.69/27.72 o 969091 31.69/27.72 o 969496 31.69/27.72 o 971612 31.69/27.72 o 973718 31.69/27.72 o 973902 31.69/27.72 o 974868 31.69/27.72 o 975052 31.69/27.72 o 975234 31.69/27.72 o 975292 31.69/27.72 o 975307 31.69/27.72 o 975392 31.69/27.73 o 975552 31.69/27.73 o 975614 31.69/27.73 o 975957 31.69/27.73 o 978073 31.69/27.73 o 980179 31.69/27.73 o 981329 31.69/27.73 o 981513 31.69/27.73 o 982212 31.69/27.73 o 982396 31.69/27.73 o 982539 31.69/27.73 o 982948 31.69/27.74 o 983554 31.69/27.74 o 984142 31.69/27.74 o 985108 31.69/27.74 o 985268 31.69/27.74 o 985330 31.69/27.74 o 985673 31.69/27.74 o 987789 31.69/27.74 o 989895 31.69/27.74 o 990079 31.69/27.74 o 991045 31.69/27.74 o 991229 31.69/27.74 o 991411 31.69/27.74 o 991469 31.69/27.74 o 991484 31.69/27.74 o 991569 31.69/27.75 o 991729 31.69/27.75 o 991791 31.69/27.75 o 992134 31.69/27.75 o 994250 31.69/27.75 o 996356 31.69/27.75 o 997506 31.69/27.75 o 997690 31.69/27.75 o 997983 31.69/27.75 o 998167 31.69/27.75 o 998387 31.69/27.76 o 999537 31.69/27.76 o 1000493 31.69/27.76 o 1001643 31.69/27.76 o 1002187 31.69/27.76 o 1002793 31.69/27.76 o 1003833 31.69/27.76 o 1004247 31.69/27.76 o 1004507 31.69/27.76 o 1004569 31.69/27.76 o 1004912 31.69/27.76 o 1007028 31.69/27.76 o 1009134 31.69/27.76 o 1010284 31.69/27.76 o 1010468 31.69/27.76 o 1010650 31.69/27.77 o 1010708 31.69/27.77 o 1010723 31.69/27.77 o 1010808 31.69/27.77 o 1010968 31.69/27.77 o 1011030 31.69/27.77 o 1011373 31.69/27.77 o 1013489 31.69/27.77 o 1015595 31.69/27.77 o 1016745 31.69/27.77 o 1016929 31.69/27.78 o 1017519 31.69/27.78 o 1017703 31.69/27.78 o 1018669 31.69/27.78 o 1018853 31.69/27.78 o 1018904 31.69/27.78 o 1019025 31.69/27.78 o 1020949 31.69/27.78 o 1021131 31.69/27.78 o 1023055 31.69/27.78 o 1024205 31.69/27.79 o 1024329 31.69/27.79 o 1024569 31.69/27.79 o 1024917 31.69/27.79 o 1025369 31.69/27.79 o 1025725 31.69/27.79 o 1025783 31.69/27.79 o 1025798 31.69/27.79 o 1025883 31.69/27.79 o 1026043 31.69/27.79 o 1026105 31.69/27.79 o 1026448 31.69/27.79 o 1027414 31.69/27.79 o 1027596 31.69/27.79 o 1029520 31.69/27.79 o 1030670 31.69/27.79 o 1030854 31.69/27.80 o 1031030 31.80/27.80 o 1031378 31.80/27.80 o 1031830 31.80/27.80 o 1032186 31.80/27.80 o 1032244 31.80/27.80 o 1032259 31.80/27.80 o 1032344 31.80/27.80 o 1032504 31.80/27.80 o 1032566 31.80/27.80 o 1032909 31.80/27.80 o 1033875 31.80/27.80 o 1034057 31.80/27.80 o 1035981 31.80/27.80 o 1037131 31.80/27.81 o 1037315 31.80/27.82 o 1038244 31.80/27.82 o 1038428 31.80/27.82 o 1038707 31.80/27.83 o 1038889 31.80/27.83 o 1040813 31.80/27.83 o 1041035 31.80/27.83 o 1041378 31.80/27.83 o 1041570 31.80/27.83 o 1043494 31.80/27.83 o 1043676 31.80/27.83 o 1045600 31.80/27.83 o 1045784 31.80/27.83 o 1046308 31.80/27.83 o 1047116 31.80/27.83 o 1047174 31.80/27.83 o 1047189 31.80/27.83 o 1047274 31.80/27.84 o 1047434 31.80/27.84 o 1047496 31.80/27.84 o 1047839 31.80/27.84 o 1048031 31.80/27.84 o 1049955 31.80/27.84 o 1050137 31.80/27.84 o 1052061 31.80/27.84 o 1052245 31.80/27.87 o 1052947 31.80/27.87 o 1053131 31.80/27.87 o 1054163 31.80/27.87 o 1056087 31.80/27.87 o 1056271 31.80/27.87 o 1057676 31.80/27.87 o 1057860 31.80/27.88 o 1058326 31.80/27.88 o 1058518 31.80/27.88 o 1060442 31.80/27.88 o 1060624 31.80/27.88 o 1062548 31.80/27.88 o 1062732 31.80/27.88 o 1063194 31.80/27.88 o 1063378 31.80/27.88 o 1064714 31.80/27.88 o 1064872 31.80/27.88 o 1065094 31.80/27.88 o 1065629 31.80/27.88 o 1067553 31.80/27.88 o 1067735 31.80/27.88 o 1069659 31.80/27.89 o 1069843 31.80/27.89 o 1069870 31.80/27.89 o 1070043 31.80/27.89 o 1070227 31.80/27.89 o 1070605 31.80/27.89 o 1070877 31.80/27.89 o 1072041 31.80/27.89 o 1072455 31.80/27.89 o 1072555 31.80/27.89 o 1072715 31.80/27.89 o 1073120 31.80/27.89 o 1073312 31.80/27.89 o 1075418 31.80/27.89 o 1077342 31.80/27.89 o 1077526 31.80/27.89 o 1077702 31.80/27.90 o 1078050 31.80/27.90 o 1078502 31.91/27.90 o 1078858 31.91/27.90 o 1078916 31.91/27.90 o 1078931 31.91/27.90 o 1079016 31.91/27.90 o 1079176 31.91/27.90 o 1079238 31.91/27.90 o 1079581 31.91/27.90 o 1079773 31.91/27.90 o 1081879 31.91/27.90 o 1083803 31.91/27.90 o 1083987 32.16/28.18 o 1084685 32.16/28.18 o 1084869 32.16/28.18 o 1085009 32.16/28.18 o 1086933 32.16/28.18 o 1087568 32.16/28.18 o 1089636 32.16/28.18 o 1091560 32.16/28.18 o 1091744 32.16/28.19 o 1093291 32.16/28.19 o 1095215 32.16/28.19 o 1095399 32.16/28.19 o 1095543 32.16/28.19 o 1097283 32.16/28.19 o 1097467 32.16/28.19 o 1097558 32.16/28.19 o 1099202 32.16/28.19 o 1099346 32.16/28.19 o 1101270 32.16/28.19 o 1101357 32.16/28.19 o 1102620 32.16/28.19 o 1102833 32.16/28.19 o 1103001 32.16/28.19 o 1105069 32.16/28.19 o 1106993 32.16/28.19 o 1107177 32.16/28.20 o 1107636 32.16/28.20 o 1107710 32.26/28.20 o 1108618 32.26/28.20 o 1108862 32.26/28.20 o 1109958 32.26/28.20 o 1110212 32.26/28.20 o 1110425 32.26/28.20 o 1112661 32.26/28.20 o 1114585 32.26/28.20 o 1114769 32.26/28.20 o 1116653 32.26/28.20 o 1116837 32.26/28.20 o 1118492 32.26/28.20 o 1118676 32.26/28.20 o 1120187 32.26/28.21 o 1120371 32.26/28.21 o 1121573 32.26/28.21 o 1121647 32.26/28.21 o 1122555 32.26/28.21 o 1122799 32.26/28.21 o 1123895 32.26/28.21 o 1124810 32.26/28.21 o 1126073 32.26/28.21 o 1126286 32.26/28.21 o 1126598 32.26/28.21 o 1128522 32.26/28.21 o 1128666 32.26/28.21 o 1130590 32.26/28.21 o 1131631 32.26/28.21 o 1132546 32.26/28.21 o 1133809 32.26/28.22 o 1134022 32.26/28.22 o 1136258 32.26/28.22 o 1138326 32.26/28.22 o 1140250 32.26/28.22 o 1142089 32.26/28.22 o 1143784 32.26/28.22 o 1143968 32.26/28.22 o 1145865 32.26/28.22 o 1146009 32.26/28.22 o 1147933 32.26/28.22 o 1149772 32.26/28.22 o 1151467 32.26/28.22 o 1151651 32.26/28.22 o 1152826 32.26/28.22 o 1152900 32.26/28.22 o 1153808 32.26/28.23 o 1154005 32.26/28.23 o 1154173 32.26/28.23 o 1156241 32.26/28.23 o 1158080 32.26/28.23 o 1159775 32.26/28.23 o 1160418 32.26/28.23 o 1160492 32.26/28.23 o 1161400 32.26/28.23 o 1161644 32.26/28.23 o 1162740 32.26/28.23 o 1163223 32.26/28.23 o 1163833 32.26/28.23 o 1165672 32.26/28.23 o 1167367 32.26/28.23 o 1167596 32.26/28.23 o 1167740 32.26/28.24 o 1169435 32.26/28.24 o 1169619 32.26/28.24 o 1169643 32.26/28.24 o 1170906 32.26/28.24 o 1171119 32.26/28.24 o 1171516 32.26/28.24 o 1173355 32.26/28.24 o 1173584 32.26/28.24 o 1175423 32.26/28.24 o 1175607 32.26/28.24 o 1176486 32.26/28.24 o 1177118 32.26/28.24 o 1177302 32.26/28.24 o 1178410 32.26/28.24 o 1178594 32.26/28.24 o 1179042 32.26/28.25 o 1179226 32.26/28.25 o 1179328 32.26/28.25 o 1180782 32.26/28.25 o 1182621 32.26/28.25 o 1183684 32.26/28.25 o 1184316 32.26/28.25 o 1185384 32.26/28.25 o 1185597 32.26/28.25 o 1185765 32.26/28.25 o 1187833 32.26/28.25 o 1189672 32.26/28.25 o 1191367 32.26/28.25 o 1191999 32.26/28.25 o 1193291 32.26/28.25 o 1193923 32.26/28.25 o 1194025 32.26/28.26 o 1194107 32.26/28.26 o 1194209 32.26/28.26 o 1195776 32.26/28.26 o 1196408 32.26/28.26 o 1196592 32.26/28.26 o 1197531 32.26/28.26 o 1197847 32.26/28.26 o 1199635 32.26/28.26 o 1199720 32.26/28.26 o 1201559 32.26/28.26 o 1203254 32.26/28.26 o 1203483 32.26/28.26 o 1203627 32.26/28.26 o 1205322 32.26/28.26 o 1206894 32.26/28.26 o 1207038 32.26/28.27 o 1207123 32.26/28.27 o 1208962 32.26/28.27 o 1210657 32.26/28.27 o 1210841 32.26/28.27 o 1211289 32.26/28.27 o 1211473 32.26/28.27 o 1211575 32.26/28.27 o 1212107 32.26/28.27 o 1212291 32.26/28.27 o 1212393 32.26/28.27 o 1212798 32.26/28.27 o 1214493 32.26/28.27 o 1215125 32.26/28.27 o 1215390 32.26/28.28 o 1215477 32.26/28.28 o 1215562 32.26/28.28 o 1217401 32.26/28.28 o 1218664 32.26/28.28 o 1219045 32.26/28.28 o 1219189 32.26/28.28 o 1219274 32.26/28.28 o 1221113 32.26/28.28 o 1222808 32.26/28.28 o 1223626 32.26/28.28 o 1223810 32.26/28.28 o 1223912 32.26/28.28 o 1224204 32.26/28.28 o 1224388 32.26/28.28 o 1225022 32.26/28.29 o 1225206 32.26/28.29 o 1225239 32.26/28.29 o 1225324 32.26/28.29 o 1226345 32.26/28.29 o 1227163 32.26/28.29 o 1228040 32.26/28.29 o 1228858 32.26/28.29 o 1230000 32.26/28.29 o 1231096 32.26/28.29 o 1232011 32.26/28.29 o 1233274 32.26/28.29 o 1233487 32.26/28.29 o 1233655 32.26/28.29 o 1234028 32.26/28.29 o 1235723 32.26/28.30 o 1236541 32.26/28.30 o 1236725 32.26/28.30 o 1236827 32.37/28.30 o 1236889 32.37/28.30 o 1236974 32.37/28.30 o 1238813 32.37/28.30 o 1239631 32.37/28.30 o 1240030 32.37/28.30 o 1240848 32.37/28.30 o 1242208 32.37/28.30 o 1242589 32.37/28.30 o 1242733 32.37/28.30 o 1244657 32.37/28.30 o 1245475 32.37/28.30 o 1246496 32.37/28.31 o 1247314 32.37/28.31 o 1247498 32.37/28.31 o 1248191 32.37/28.31 o 1248375 32.37/28.31 o 1248377 32.37/28.31 o 1249009 32.37/28.31 o 1249193 32.37/28.31 o 1249295 32.37/28.31 o 1249520 32.37/28.31 o 1249704 32.37/28.31 o 1250152 32.37/28.31 o 1250336 32.37/28.31 o 1250438 32.37/28.31 o 1250961 32.37/28.32 o 1251779 32.37/28.32 o 1251963 32.37/28.32 o 1252656 32.37/28.32 o 1252840 32.37/28.32 o 1253474 32.37/28.32 o 1253658 32.37/28.32 o 1254495 32.37/28.32 o 1255313 32.37/28.32 o 1255497 32.37/28.32 o 1255638 32.37/28.32 o 1255822 32.37/28.32 o 1256456 32.37/28.32 o 1256640 32.37/28.32 o 1256742 32.37/28.32 o 1256746 32.37/28.33 o 1256748 32.37/28.33 o 1256932 32.37/28.33 o 1257380 32.37/28.33 o 1257564 32.37/28.33 o 1257705 32.37/28.33 o 1258523 32.37/28.33 o 1258707 32.37/28.33 o 1258838 32.37/28.33 o 1259022 32.37/28.33 o 1259430 32.37/28.33 o 1259573 32.37/28.33 o 1259802 32.37/28.33 o 1260354 32.37/28.33 o 1260679 32.37/28.33 o 1261497 32.37/28.34 o 1261680 32.37/28.34 o 1261848 32.37/28.34 o 1261849 32.37/28.34 o 1261992 32.37/28.34 o 1262221 32.37/28.34 o 1262773 32.37/28.34 o 1263916 32.37/28.34 o 1264036 32.37/28.34 o 1264249 32.37/28.34 o 1264417 32.37/28.34 o 1264418 32.37/28.34 o 1264561 32.37/28.34 o 1264790 32.37/28.34 o 1266485 32.37/28.34 o 1267628 32.37/28.35 o 1268446 32.37/28.35 o 1268630 32.37/28.35 o 1268964 32.37/28.35 o 1269148 32.37/28.35 o 1269782 32.37/28.35 o 1269966 32.37/28.35 o 1270334 32.37/28.35 o 1270659 32.37/28.35 o 1271477 32.37/28.35 o 1271661 32.37/28.35 o 1271682 32.37/28.35 o 1271866 32.37/28.35 o 1272223 32.37/28.35 o 1272775 32.37/28.36 o 1273918 32.37/28.36 o 1274102 32.37/28.36 o 1274394 32.37/28.36 o 1274578 32.37/28.36 o 1274935 32.37/28.36 o 1276630 32.37/28.36 o 1276814 32.37/28.36 o 1277384 32.37/28.36 o 1277568 32.37/28.36 o 1279079 32.37/28.36 o 1279263 32.37/28.36 o 1280222 32.37/28.36 o 1280406 32.37/28.36 o 1280918 32.37/28.36 o 1282061 32.37/28.36 o 1282245 32.37/28.37 o 1282271 32.37/28.37 o 1282455 32.37/28.37 o 1283966 32.37/28.37 o 1284150 32.37/28.37 o 1285506 32.37/28.37 o 1285742 32.37/28.37 o 1285886 32.37/28.37 o 1286115 32.37/28.37 o 1287810 32.37/28.37 o 1289146 32.37/28.37 o 1290841 32.37/28.37 o 1291025 32.37/28.37 o 1291984 32.37/28.37 o 1292168 32.37/28.37 o 1292802 32.37/28.38 o 1292986 32.53/28.40 o 1294051 32.53/28.40 o 1294869 32.53/28.40 o 1295053 32.53/28.40 o 1295501 32.53/28.40 o 1295685 32.53/28.40 o 1296555 32.53/28.40 o 1297373 32.53/28.41 o 1297716 32.53/28.41 o 1298859 32.53/28.41 o 1299052 32.53/28.41 o 1300747 32.53/28.41 o 1301890 32.53/28.41 o 1302708 32.53/28.41 o 1302892 32.53/28.41 o 1303340 32.53/28.41 o 1303524 32.53/28.41 o 1304029 32.53/28.41 o 1304410 32.53/28.41 o 1305335 32.53/28.41 o 1306478 32.53/28.41 o 1307030 32.53/28.42 o 1308173 32.53/28.42 o 1308991 32.53/28.42 o 1309097 32.53/28.42 o 1310240 32.53/28.42 o 1311058 32.53/28.42 o 1311242 32.53/28.42 o 1311690 32.53/28.42 o 1311874 32.53/28.42 o 1312670 32.53/28.42 o 1312854 32.53/28.42 o 1313013 32.53/28.42 o 1313831 32.53/28.42 o 1314349 32.53/28.43 o 1316044 32.53/28.43 o 1316862 32.53/28.43 o 1317187 32.53/28.43 o 1318005 32.53/28.43 o 1318189 32.53/28.43 o 1318637 32.53/28.43 o 1318821 32.53/28.43 o 1318875 32.53/28.43 o 1319092 32.53/28.43 o 1319305 32.53/28.43 o 1319617 32.53/28.43 o 1319846 32.53/28.43 o 1321541 32.53/28.43 o 1322684 32.53/28.44 o 1323502 32.53/28.44 o 1323686 32.53/28.44 o 1324134 32.53/28.44 o 1324318 32.53/28.44 o 1325103 32.53/28.44 o 1325921 32.53/28.44 o 1326798 32.53/28.44 o 1327616 32.53/28.44 o 1328197 32.53/28.44 o 1329340 32.53/28.44 o 1330264 32.53/28.44 o 1331407 32.53/28.44 o 1332225 32.53/28.45 o 1332777 32.53/28.45 o 1333102 32.53/28.45 o 1333920 32.53/28.45 o 1335761 32.53/28.45 o 1336904 32.53/28.45 o 1337456 32.53/28.45 o 1338599 32.53/28.45 o 1339417 32.53/28.45 o 1339601 32.53/28.45 o 1340049 32.53/28.45 o 1340233 32.53/28.45 o 1340992 32.53/28.45 o 1342687 32.53/28.46 o 1343830 32.53/28.46 o 1344648 32.53/28.46 o 1344832 32.53/28.46 o 1345280 32.53/28.46 o 1345464 32.53/28.46 o 1345712 32.53/28.46 o 1346530 32.53/28.46 o 1346714 32.53/28.46 o 1347162 32.53/28.46 o 1347346 32.53/28.46 o 1347426 32.53/28.47 o 1348569 32.53/28.47 o 1349387 32.53/28.47 o 1349571 32.53/28.47 o 1350019 32.53/28.47 o 1350203 32.53/28.47 o 1350406 32.53/28.47 o 1350590 32.53/28.47 o 1350805 32.53/28.47 o 1350973 32.53/28.47 o 1351346 32.53/28.47 o 1351898 32.53/28.48 o 1353041 32.53/28.48 o 1353780 32.53/28.48 o 1354923 32.53/28.48 o 1355741 32.53/28.48 o 1355925 32.53/28.48 o 1356373 32.53/28.48 o 1356557 32.53/28.49 o 1356681 32.53/28.50 o 1357499 32.53/28.50 o 1358423 32.64/28.50 o 1359241 32.64/28.50 o 1359425 32.64/28.50 o 1359646 32.64/28.50 o 1360464 32.64/28.50 o 1360648 32.64/28.50 o 1361388 32.64/28.50 o 1361572 32.64/28.50 o 1362206 32.64/28.50 o 1362390 32.64/28.50 o 1362838 32.64/28.51 o 1363022 32.64/28.51 o 1363033 32.64/28.51 o 1363217 32.64/28.51 o 1363472 32.64/28.51 o 1364290 32.64/28.51 o 1364474 32.64/28.51 o 1364922 32.64/28.51 o 1365106 32.64/28.52 o 1365287 32.64/28.52 o 1365471 32.64/28.52 o 1365919 32.64/28.52 o 1366103 32.64/28.52 o 1366369 32.64/28.52 o 1366478 32.64/28.52 o 1367296 32.64/28.52 o 1367403 32.64/28.52 o 1368546 32.64/28.52 o 1369364 32.64/28.52 o 1369639 32.64/28.52 o 1370457 32.64/28.52 o 1370782 32.64/28.52 o 1371600 32.64/28.52 o 1371784 32.64/28.52 o 1372232 32.64/28.53 o 1372416 32.64/28.53 o 1372527 32.64/28.53 o 1372568 32.64/28.53 o 1372730 32.64/28.53 o 1372834 32.64/28.53 o 1373210 32.64/28.53 o 1373535 32.64/28.53 o 1374353 32.64/28.53 o 1375179 32.64/28.53 o 1375552 32.64/28.53 o 1376104 32.64/28.53 o 1377247 32.64/28.53 o 1378065 32.64/28.53 o 1378249 32.64/28.53 o 1378697 32.64/28.54 o 1378881 32.64/28.54 o 1379448 32.64/28.54 o 1380266 32.64/28.54 o 1380450 32.64/28.55 o 1380898 32.64/28.55 o 1381082 32.64/28.55 o 1381117 32.64/28.55 o 1381935 32.64/28.55 o 1382119 32.64/28.55 o 1382567 32.64/28.55 o 1382751 32.64/28.56 o 1382816 32.64/28.56 o 1383000 32.64/28.56 o 1383448 32.64/28.56 o 1383632 32.64/28.57 o 1383944 32.64/28.57 o 1384269 32.64/28.58 o 1385087 32.64/28.58 o 1385271 32.64/28.58 o 1385719 32.64/28.58 o 1385903 32.64/28.58 o 1386184 32.64/28.58 o 1386371 32.64/28.58 o 1386923 32.64/28.58 o 1387185 32.64/28.58 o 1388066 32.64/28.58 o 1388884 32.64/28.58 o 1389068 32.64/28.58 o 1389164 32.64/28.58 o 1389348 32.64/28.59 o 1389376 32.64/28.59 o 1389701 32.64/28.59 o 1390519 32.64/28.59 o 1390582 32.64/28.59 o 1391400 32.64/28.59 o 1391584 32.64/28.59 o 1392032 32.64/28.59 o 1392216 32.64/28.59 o 1392627 32.64/28.59 o 1392690 32.64/28.59 o 1393508 32.64/28.59 o 1393692 32.64/28.59 o 1394286 32.64/28.60 o 1394470 32.64/28.60 o 1394648 32.64/28.60 o 1395344 32.74/28.60 o 1395606 32.74/28.60 o 1396487 32.74/28.60 o 1396671 32.74/28.60 o 1397305 32.74/28.60 o 1397489 32.74/28.60 o 1397860 32.74/28.60 o 1398122 32.74/28.60 o 1399003 32.74/28.60 o 1399821 32.74/28.60 o 1400005 32.74/28.60 o 1400453 32.74/28.60 o 1400637 32.74/28.61 o 1401078 32.74/28.61 o 1401262 32.74/28.61 o 1401710 32.74/28.61 o 1401894 32.74/28.62 o 1402034 32.74/28.62 o 1402218 32.74/28.62 o 1402666 32.74/28.63 o 1402850 32.74/28.63 o 1402956 32.74/28.63 o 1402998 32.74/28.63 o 1403185 32.74/28.63 o 1404062 32.74/28.63 o 1404880 32.74/28.63 o 1405020 32.74/28.63 o 1405901 32.74/28.63 o 1406719 32.74/28.63 o 1406903 32.74/28.63 o 1407351 32.74/28.63 o 1407535 32.74/28.63 o 1407570 32.74/28.63 o 1408388 32.74/28.63 o 1408572 32.74/28.64 o 1409020 32.74/28.64 o 1409204 32.74/28.64 o 1409356 32.74/28.64 o 1409805 32.74/28.64 o 1410067 32.74/28.64 o 1410130 32.74/28.64 o 1410948 32.74/28.64 o 1411223 32.74/28.64 o 1411485 32.74/28.65 o 1412366 32.74/28.65 o 1413184 32.74/28.65 o 1413368 32.74/28.65 o 1413972 32.74/28.65 o 1414156 32.74/28.65 o 1414853 32.74/28.65 o 1415037 32.74/28.65 o 1415485 32.74/28.65 o 1415669 32.74/28.65 o 1415705 32.74/28.66 o 1415768 32.74/28.66 o 1416586 32.74/28.66 o 1416826 32.74/28.66 o 1417088 32.74/28.66 o 1417969 32.74/28.66 o 1418787 32.74/28.66 o 1418971 32.74/28.66 o 1419575 32.74/28.66 o 1419759 32.74/28.66 o 1420456 32.74/28.66 o 1420640 32.74/28.67 o 1421311 32.74/28.67 o 1421630 32.74/28.68 o 1421817 32.74/28.68 o 1422369 32.74/28.68 o 1422631 32.74/28.68 o 1422694 32.74/28.68 o 1423512 32.74/28.68 o 1423696 32.74/28.68 o 1424067 32.74/28.68 o 1424329 32.74/28.68 o 1425210 32.74/28.68 o 1425394 32.74/28.68 o 1426028 32.74/28.68 o 1426212 33.52/29.24 o 1427578 33.52/29.24 o 1437382 33.52/29.24 o 1442169 33.52/29.24 o 1443787 33.52/29.24 o 1448574 33.52/29.24 o 1452486 33.52/29.25 o 1457273 33.52/29.25 o 1459346 33.52/29.25 o 1461067 33.52/29.25 o 1463781 33.52/29.25 o 1465854 33.52/29.25 o 1466543 33.52/29.25 o 1466646 33.52/29.25 o 1468264 33.52/29.25 o 1473051 33.52/29.25 o 1475124 33.52/29.25 o 1478070 33.52/29.25 o 1480143 33.52/29.25 o 1482857 33.52/29.25 o 1484930 33.52/29.25 o 1485256 33.52/29.25 o 1485792 33.52/29.25 o 1486363 33.52/29.26 o 1488554 33.52/29.26 o 1488657 33.52/29.26 o 1490275 33.52/29.26 o 1495062 33.52/29.26 o 1497135 33.52/29.26 o 1499059 33.52/29.26 o 1501132 33.52/29.26 o 1503846 33.52/29.26 o 1505919 33.52/29.26 o 1506301 33.52/29.26 o 1508492 33.52/29.26 o 1508595 33.52/29.26 o 1510213 33.52/29.26 o 1515000 33.52/29.26 o 1518997 33.52/29.26 o 1523784 33.52/29.27 o 1525857 33.52/29.27 o 1526645 33.52/29.27 o 1526647 33.52/29.27 o 1527181 33.52/29.27 o 1527667 33.52/29.27 o 1527752 33.52/29.27 o 1529943 33.52/29.27 o 1530046 33.52/29.27 o 1536451 33.52/29.29 o 1542535 33.52/29.29 o 1561819 33.52/29.29 o 1567903 33.52/29.29 o 1571952 33.52/29.29 o 1578036 33.52/29.30 o 1583641 33.52/29.30 o 1588033 33.65/29.30 o 1588299 33.65/29.30 o 1589626 33.65/29.30 o 1589892 33.65/29.30 o 1590106 33.65/29.30 o 1591699 33.65/29.30 o 1591965 33.65/29.30 o 1592395 33.65/29.30 o 1594468 33.65/29.30 o 1596061 33.65/29.30 o 1597122 33.65/29.30 o 1598365 33.65/29.30 o 1598631 33.65/29.30 o 1601134 33.65/29.30 o 1602727 33.65/29.31 o 1605526 33.65/29.31 o 1607119 33.65/29.31 o 1607599 33.65/29.31 o 1609192 33.65/29.31 o 1611013 33.65/29.31 o 1611149 33.65/29.31 o 1612392 33.65/29.31 o 1612658 33.65/29.31 o 1616754 33.65/29.31 o 1616784 33.65/29.31 o 1621146 33.65/29.31 o 1622739 33.65/29.31 o 1625532 33.65/29.31 o 1625798 33.65/29.31 o 1626011 33.65/29.31 o 1627224 33.65/29.31 o 1631616 33.65/29.32 o 1631882 33.65/29.32 o 1633209 33.65/29.32 o 1633475 33.65/29.32 o 1633689 33.65/29.32 o 1635282 33.65/29.32 o 1635548 33.65/29.32 o 1637103 33.65/29.32 o 1637369 33.65/29.32 o 1641631 33.65/29.32 o 1642844 33.65/29.32 o 1647236 33.65/29.32 o 1647502 33.65/29.32 o 1648829 33.65/29.32 o 1649095 33.65/29.32 o 1651598 33.65/29.32 o 1653191 33.65/29.33 o 1657274 33.65/29.33 o 1658867 33.65/29.33 o 1658947 33.65/29.33 o 1662457 33.65/29.33 o 1663771 33.65/29.33 o 1664037 33.65/29.33 o 1668133 33.65/29.33 o 1668213 33.65/29.33 o 1669726 33.65/29.33 o 1669806 33.65/29.33 o 1671510 33.65/29.33 o 1673103 33.65/29.33 o 1673183 33.65/29.33 o 1673573 33.65/29.33 o 1673653 33.65/29.33 o 1676950 33.65/29.33 o 1677030 33.65/29.34 o 1678543 33.65/29.34 o 1678623 33.65/29.34 o 1678673 33.65/29.34 o 1680266 33.65/29.34 o 1680346 33.65/29.34 o 1681003 33.65/29.34 o 1681083 33.65/29.34 o 1682018 33.65/29.34 o 1685395 33.65/29.34 o 1685475 33.65/29.34 o 1687118 33.65/29.34 o 1687198 33.65/29.34 o 1688711 33.65/29.34 o 1688791 33.65/29.34 o 1689616 33.65/29.34 o 1689696 33.65/29.35 o 1690607 33.65/29.35 o 1692330 33.65/29.35 o 1693923 33.65/29.35 o 1694828 33.65/29.35 o 1694908 33.65/29.35 o 1695204 33.65/29.35 o 1695234 33.65/29.35 o 1695500 33.65/29.35 o 1698003 33.65/29.35 o 1699596 33.65/29.35 o 1700076 33.65/29.35 o 1701669 33.65/29.35 o 1702574 33.65/29.35 o 1702654 33.65/29.35 o 1703490 33.65/29.35 o 1703570 33.65/29.36 o 1704395 33.65/29.36 o 1704475 33.65/29.36 o 1705067 33.65/29.36 o 1707539 33.65/29.36 o 1708444 33.65/29.36 o 1709261 33.65/29.36 o 1709527 33.65/29.36 o 1710246 33.65/29.36 o 1713623 33.65/29.36 o 1714528 33.65/29.36 o 1714608 33.65/29.36 o 1715216 33.65/29.36 o 1716121 33.65/29.36 o 1716201 33.65/29.36 o 1716939 33.65/29.36 o 1717019 33.65/29.36 o 1717844 33.65/29.37 o 1717924 33.65/29.37 o 1718369 33.65/29.37 o 1718848 33.65/29.37 o 1719241 33.65/29.37 o 1720061 33.65/29.37 o 1720091 33.65/29.37 o 1720357 33.65/29.37 o 1721955 33.65/29.37 o 1722860 33.65/29.37 o 1723548 33.65/29.37 o 1724453 33.65/29.37 o 1725271 33.65/29.37 o 1726176 33.65/29.37 o 1726256 33.65/29.37 o 1727166 33.65/29.37 o 1728759 33.65/29.38 o 1728889 33.65/29.38 o 1730482 33.65/29.38 o 1730562 33.65/29.38 o 1731387 33.65/29.38 o 1731467 33.65/29.38 o 1731739 33.65/29.38 o 1732644 33.65/29.38 o 1732724 33.65/29.38 o 1734363 33.65/29.38 o 1734443 33.65/29.38 o 1735956 33.65/29.38 o 1736036 33.65/29.38 o 1737213 33.65/29.38 o 1737293 33.65/29.38 o 1738118 33.65/29.38 o 1738198 33.65/29.39 o 1738435 33.65/29.39 o 1739340 33.65/29.39 o 1739420 33.65/29.39 o 1740262 33.65/29.39 o 1741484 33.65/29.39 o 1741519 33.65/29.39 o 1742741 33.65/29.39 o 1744013 33.65/29.39 o 1744143 33.65/29.39 o 1745736 33.65/29.39 o 1746993 33.65/29.39 o 1748215 33.65/29.39 o 1749120 33.65/29.39 o 1749200 33.65/29.39 o 1750323 33.65/29.39 o 1750659 33.65/29.40 o 1751916 33.65/29.40 o 1753138 33.75/29.40 o 1754043 33.75/29.40 o 1754123 33.75/29.40 o 1755017 33.75/29.40 o 1755097 33.75/29.40 o 1755576 33.75/29.40 o 1755947 33.75/29.40 o 1756264 33.75/29.40 o 1757169 33.75/29.40 o 1757521 33.75/29.40 o 1758426 33.75/29.40 o 1759594 33.75/29.40 o 1759965 33.75/29.40 o 1761187 33.75/29.41 o 1761222 33.75/29.41 o 1762444 33.75/29.41 o 1763349 33.75/29.41 o 1763429 33.75/29.41 o 1764004 33.75/29.41 o 1764321 33.75/29.41 o 1765226 33.75/29.41 o 1766394 33.75/29.41 o 1766765 33.75/29.41 o 1767987 33.75/29.41 o 1768022 33.75/29.41 o 1769244 33.75/29.41 o 1770149 33.75/29.41 o 1770229 33.75/29.41 o 1771431 33.75/29.42 o 1772336 33.75/29.42 o 1773504 33.75/29.42 o 1775097 33.75/29.42 o 1776354 33.75/29.42 o 1777259 33.75/29.42 o 1777339 33.75/29.42 o 1777576 33.75/29.42 o 1778481 33.75/29.42 o 1778561 33.75/29.42 o 1779559 33.75/29.42 o 1779639 33.75/29.42 o 1779848 33.75/29.42 o 1781632 33.75/29.42 o 1783225 33.75/29.42 o 1784482 33.75/29.43 o 1784562 33.75/29.43 o 1785704 33.75/29.43 o 1785784 33.75/29.43 o 1786609 33.75/29.43 o 1786689 33.75/29.43 o 1786783 33.75/29.43 o 1786818 33.75/29.43 o 1788040 33.75/29.43 o 1788945 33.75/29.43 o 1789025 33.75/29.43 o 1789789 33.75/29.43 o 1790320 33.75/29.43 o 1790430 33.75/29.43 o 1791335 33.75/29.43 o 1792084 33.75/29.46 o 1792550 33.75/29.46 o 1793807 33.75/29.46 o 1794712 33.75/29.47 o 1794792 33.75/29.47 o 1794886 33.75/29.47 o 1795791 33.75/29.47 o 1795871 33.75/29.47 o 1796143 33.75/29.47 o 1796223 33.75/29.47 o 1797048 33.75/29.47 o 1797128 33.75/29.47 o 1797365 33.75/29.47 o 1798270 33.75/29.47 o 1798350 33.75/29.47 o 1798425 33.75/29.47 o 1798505 33.75/29.47 o 1799504 33.75/29.47 o 1800761 33.75/29.47 o 1800841 33.75/29.48 o 1801983 33.75/29.48 o 1802063 33.75/29.48 o 1802888 33.75/29.48 o 1802968 33.75/29.48 o 1803250 33.75/29.48 o 1803863 33.75/29.48 o 1803993 33.75/29.48 o 1804329 33.75/29.48 o 1805586 33.75/29.48 o 1806808 33.75/29.48 o 1807713 33.75/29.48 o 1808947 33.75/29.48 o 1810169 33.75/29.48 o 1811074 33.75/29.48 o 1811109 33.75/29.48 o 1811426 33.75/29.49 o 1812331 33.75/29.49 o 1812411 33.75/29.49 o 1813106 33.75/29.49 o 1813477 33.75/29.49 o 1814699 33.75/29.49 o 1814734 33.75/29.49 o 1815956 33.75/29.49 o 1816036 33.75/29.49 o 1816861 33.75/29.49 o 1816941 33.75/29.49 o 1818007 33.75/29.49 o 1819032 33.75/29.49 o 1819645 33.75/29.49 o 1819775 33.75/29.49 o 1820146 33.75/29.50 o 1821368 33.75/29.50 o 1821403 33.93/29.50 o 1822625 33.93/29.50 o 1823530 33.93/29.50 o 1824676 33.93/29.50 o 1825933 33.93/29.50 o 1826838 33.93/29.50 o 1827155 33.93/29.50 o 1828060 33.93/29.50 o 1828112 33.93/29.50 o 1828802 33.93/29.50 o 1828939 33.93/29.50 o 1830069 33.93/29.50 o 1830812 33.93/29.50 o 1831148 33.93/29.51 o 1832405 33.93/29.51 o 1833430 33.93/29.51 o 1834043 33.93/29.51 o 1834173 33.93/29.51 o 1835766 33.93/29.51 o 1837023 33.93/29.51 o 1838245 33.93/29.51 o 1838703 33.93/29.51 o 1839960 33.93/29.51 o 1841182 33.93/29.51 o 1841518 33.93/29.51 o 1841553 33.93/29.51 o 1842775 33.93/29.51 o 1843680 33.93/29.51 o 1843760 33.93/29.52 o 1843784 33.93/29.52 o 1844721 33.93/29.52 o 1845978 33.93/29.52 o 1847057 33.93/29.52 o 1848314 33.93/29.52 o 1848650 33.93/29.52 o 1849907 33.93/29.52 o 1850812 33.93/29.52 o 1850892 33.93/29.52 o 1851129 33.93/29.52 o 1852034 33.93/29.52 o 1852114 33.93/29.52 o 1852411 33.93/29.52 o 1852491 33.93/29.52 o 1852747 33.93/29.53 o 1854004 33.93/29.53 o 1854084 33.93/29.53 o 1855226 33.93/29.53 o 1855306 33.93/29.53 o 1856131 33.93/29.53 o 1856211 33.93/29.53 o 1856255 33.93/29.53 o 1856302 33.93/29.53 o 1856487 33.93/29.53 o 1857744 33.93/29.53 o 1858080 33.93/29.53 o 1859337 33.93/29.53 o 1860559 33.93/29.53 o 1860584 33.93/29.53 o 1862177 33.93/29.54 o 1863399 33.93/29.54 o 1863434 33.93/29.54 o 1864656 33.93/29.54 o 1865561 33.93/29.54 o 1866412 33.93/29.54 o 1867669 33.93/29.54 o 1868916 33.93/29.54 o 1870509 33.93/29.54 o 1871766 33.93/29.54 o 1872671 33.93/29.54 o 1872988 33.93/29.54 o 1873893 33.93/29.54 o 1873973 33.93/29.54 o 1874136 33.93/29.54 o 1874299 33.93/29.55 o 1875892 33.93/29.55 o 1877149 33.93/29.55 o 1877653 33.93/29.55 o 1878910 33.93/29.55 o 1879989 33.93/29.55 o 1881246 33.93/29.55 o 1882468 33.93/29.55 o 1883373 33.93/29.55 o 1883453 33.93/29.55 o 1884704 33.93/29.55 o 1884834 33.93/29.55 o 1886427 33.93/29.55 o 1886733 33.93/29.55 o 1889069 33.93/29.56 o 1889107 33.93/29.56 o 1890830 33.93/29.56 o 1891443 33.93/29.56 o 1893166 33.93/29.56 o 1894759 33.93/29.56 o 1894839 33.93/29.56 o 1895664 33.93/29.56 o 1895744 33.93/29.56 o 1896016 33.93/29.56 o 1896921 33.93/29.56 o 1897001 33.93/29.56 o 1897168 33.93/29.56 o 1898073 33.93/29.56 o 1898153 33.93/29.57 o 1898660 33.93/29.57 o 1898740 33.93/29.57 o 1899565 33.93/29.57 o 1899645 33.93/29.57 o 1899843 33.93/29.57 o 1900995 33.93/29.57 o 1901900 33.93/29.57 o 1902240 33.93/29.57 o 1902487 33.93/29.57 o 1903392 33.93/29.57 o 1903472 33.93/29.57 o 1903744 33.93/29.57 o 1903824 33.93/29.57 o 1904649 33.93/29.57 o 1904729 33.93/29.58 o 1904935 33.93/29.58 o 1905275 33.93/29.58 o 1905522 33.93/29.58 o 1906427 33.93/29.58 o 1906779 33.93/29.58 o 1907684 33.93/29.58 o 1907764 33.93/29.58 o 1907842 33.93/29.58 o 1907922 33.93/29.58 o 1907969 33.93/29.58 o 1908874 33.93/29.58 o 1909226 33.93/29.59 o 1910131 33.93/29.59 o 1910289 33.93/29.59 o 1910369 33.93/29.59 o 1911264 33.93/29.59 o 1911422 33.93/29.59 o 1912219 33.93/29.59 o 1912559 33.93/29.59 o 1913711 33.93/29.59 o 1913869 33.93/29.59 o 1913949 33.93/29.59 o 1914616 33.93/29.59 o 1914774 33.93/29.59 o 1914854 33.93/29.59 o 1915365 33.93/29.60 o 1915600 33.93/29.60 o 1916857 34.04/29.60 o 1918047 34.04/29.60 o 1919304 34.04/29.60 o 1920209 34.04/29.60 o 1920289 34.04/29.60 o 1920456 34.04/29.60 o 1920536 34.04/29.60 o 1921361 34.04/29.60 o 1921441 34.04/29.60 o 1921519 34.04/29.60 o 1921599 34.04/29.60 o 1921668 34.04/29.61 o 1922573 34.04/29.61 o 1922731 34.04/29.61 o 1922820 34.04/29.61 o 1922978 34.04/29.61 o 1923725 34.04/29.61 o 1923883 34.04/29.61 o 1923963 34.04/29.61 o 1924078 34.04/29.61 o 1924950 34.04/29.62 o 1925537 34.04/29.62 o 1926442 34.04/29.62 o 1926522 34.04/29.62 o 1926600 34.04/29.62 o 1926680 34.04/29.62 o 1927184 34.04/29.62 o 1927342 34.04/29.62 o 1928089 34.04/29.62 o 1928247 34.04/29.62 o 1928327 34.04/29.62 o 1928875 34.04/29.62 o 1928955 34.04/29.63 o 1929033 34.04/29.63 o 1929113 34.04/29.63 o 1929609 34.04/29.63 o 1929767 34.04/29.63 o 1930621 34.04/29.63 o 1931345 34.04/29.63 o 1931475 34.04/29.63 o 1931576 34.04/29.63 o 1931916 34.04/29.63 o 1933068 34.04/29.63 o 1933973 34.04/29.63 o 1934131 34.04/29.63 o 1934211 34.04/29.64 o 1934715 34.04/29.64 o 1934873 34.04/29.64 o 1934953 34.04/29.64 o 1935620 34.04/29.64 o 1935700 34.04/29.64 o 1935778 34.04/29.64 o 1935858 34.04/29.64 o 1935978 34.04/29.64 o 1936136 34.04/29.64 o 1936225 34.04/29.64 o 1937130 34.04/29.65 o 1937288 34.04/29.65 o 1937368 34.04/29.65 o 1937872 34.04/29.65 o 1938030 34.04/29.65 o 1938110 34.04/29.65 o 1938777 34.04/29.65 o 1938857 34.04/29.65 o 1938935 34.04/29.65 o 1939015 34.04/29.66 o 1939529 34.04/29.66 o 1939687 34.04/29.66 o 1939767 34.04/29.66 o 1939935 34.04/29.66 o 1940290 34.04/29.66 o 1940395 34.04/29.66 o 1941547 34.04/29.67 o 1942299 34.04/29.67 o 1942457 34.04/29.67 o 1943204 34.04/29.67 o 1943362 34.04/29.67 o 1943442 34.04/29.67 o 1943946 34.04/29.67 o 1944026 34.04/29.67 o 1944099 34.04/29.67 o 1944851 34.04/29.67 o 1944931 34.04/29.67 o 1945009 34.04/29.67 o 1945089 34.04/29.68 o 1945395 34.04/29.68 o 1946147 34.04/29.68 o 1946216 34.04/29.68 o 1947400 34.04/29.68 o 1948552 34.04/29.68 o 1949304 34.04/29.68 o 1949457 34.04/29.68 o 1950209 34.04/29.68 o 1950367 34.04/29.69 o 1950564 34.04/29.69 o 1950916 34.04/29.69 o 1951821 34.04/29.69 o 1951979 34.04/29.69 o 1952573 34.04/29.69 o 1952731 34.04/29.69 o 1952811 34.04/29.69 o 1952870 34.04/29.69 o 1953622 34.04/29.69 o 1953702 34.04/29.69 o 1953742 34.04/29.69 o 1953822 34.04/29.69 o 1954329 34.04/29.69 o 1955234 34.04/29.69 o 1955314 34.04/29.69 o 1955986 34.04/29.70 o 1956066 34.04/29.70 o 1956144 34.04/29.70 o 1956224 34.23/29.70 o 1956881 34.23/29.70 o 1957039 34.23/29.70 o 1957633 34.23/29.70 o 1957791 34.23/29.70 o 1957871 34.23/29.70 o 1957892 34.23/29.70 o 1958139 34.23/29.71 o 1958292 34.23/29.71 o 1959044 34.23/29.71 o 1959124 34.23/29.71 o 1959202 34.23/29.71 o 1959282 34.23/29.71 o 1959479 34.23/29.71 o 1959637 34.23/29.71 o 1959717 34.23/29.72 o 1959869 34.23/29.72 o 1959974 34.23/29.72 o 1960221 34.23/29.72 o 1960374 34.23/29.72 o 1961126 34.23/29.72 o 1961206 34.23/29.72 o 1961284 34.23/29.72 o 1961364 34.23/29.73 o 1961783 34.23/29.73 o 1961941 34.23/29.73 o 1962554 34.23/29.73 o 1962655 34.23/29.73 o 1962736 34.23/29.73 o 1962890 34.23/29.73 o 1962995 34.23/29.73 o 1963242 34.23/29.73 o 1963395 34.23/29.73 o 1964147 34.23/29.73 o 1964305 34.23/29.73 o 1964385 34.23/29.73 o 1965042 34.23/29.74 o 1965200 34.23/29.74 o 1965280 34.23/29.74 o 1965794 34.23/29.74 o 1965874 34.23/29.74 o 1965952 34.23/29.74 o 1966032 34.23/29.74 o 1966808 34.23/29.74 o 1966966 34.23/29.74 o 1967560 34.23/29.74 o 1967718 34.23/29.74 o 1967798 34.23/29.75 o 1968455 34.23/29.75 o 1968535 34.23/29.75 o 1969207 34.23/29.75 o 1969287 34.23/29.75 o 1969365 34.23/29.75 o 1969445 34.23/29.75 o 1969871 34.23/29.75 o 1970029 34.23/29.75 o 1970109 34.23/29.75 o 1970184 34.23/29.76 o 1970264 34.23/29.76 o 1970366 34.23/29.76 o 1970524 34.23/29.76 o 1970766 34.23/29.76 o 1971518 34.23/29.76 o 1971676 34.23/29.76 o 1971756 34.23/29.77 o 1971998 34.23/29.77 o 1972078 34.23/29.77 o 1972156 34.23/29.77 o 1972236 34.23/29.77 o 1972750 34.23/29.77 o 1972908 34.23/29.77 o 1972988 34.23/29.78 o 1973242 34.23/29.78 o 1973322 34.23/29.78 o 1973994 34.23/29.78 o 1974074 34.23/29.78 o 1974636 34.23/29.78 o 1975102 34.23/29.78 o 1975454 34.23/29.78 o 1976359 34.23/29.78 o 1976379 34.23/29.78 o 1976533 34.23/29.78 o 1976638 34.23/29.78 o 1977790 34.23/29.79 o 1978695 34.23/29.79 o 1978775 34.23/29.79 o 1979022 34.23/29.79 o 1979927 34.23/29.79 o 1980007 34.23/29.79 o 1980679 34.23/29.79 o 1980759 34.23/29.79 o 1980837 34.23/29.79 o 1980917 34.23/29.79 o 1981574 34.23/29.79 o 1982326 34.23/29.79 o 1982484 34.23/29.79 o 1982564 34.23/29.79 o 1983340 34.23/29.80 o 1983498 34.23/29.80 o 1983578 34.38/29.80 o 1984092 34.38/29.80 o 1984250 34.38/29.80 o 1984330 34.38/29.80 o 1984987 34.38/29.80 o 1985067 34.38/29.80 o 1985739 34.38/29.80 o 1985819 34.38/29.80 o 1985897 34.38/29.80 o 1985977 34.38/29.81 o 1986270 34.38/29.81 o 1986423 34.38/29.81 o 1987175 34.38/29.81 o 1987333 34.38/29.81 o 1987492 34.38/29.81 o 1987853 34.38/29.81 o 1987933 34.38/29.81 o 1988180 34.38/29.81 o 1989085 34.38/29.81 o 1989287 34.38/29.81 o 1989312 34.38/29.82 o 1989392 34.38/29.82 o 1990544 34.38/29.82 o 1991449 34.38/29.82 o 1992201 34.38/29.82 o 1992359 34.38/29.82 o 1993182 34.38/29.82 o 1993489 34.38/29.82 o 1994641 34.38/29.82 o 1995546 34.38/29.82 o 1996298 34.38/29.82 o 1996456 34.38/29.82 o 1996536 34.38/29.82 o 1996793 34.38/29.82 o 1996873 34.38/29.82 o 1996951 34.38/29.83 o 1997031 34.38/29.83 o 1997193 34.38/29.83 o 1997351 34.38/29.83 o 1997945 34.38/29.83 o 1998103 34.38/29.83 o 1998183 34.38/29.83 o 1998297 34.38/29.83 o 1998639 34.38/29.83 o 1999363 34.38/29.83 o 1999951 34.38/29.84 o 2000081 34.38/29.84 o 2000263 34.38/29.84 o 2000442 34.38/29.84 o 2000769 34.38/29.84 o 2000922 34.38/29.84 o 2001674 34.38/29.84 o 2001754 34.38/29.84 o 2002074 34.38/29.84 o 2002154 34.38/29.84 o 2002826 34.38/29.84 o 2002906 34.38/29.84 o 2002937 34.38/29.84 o 2003426 34.38/29.84 o 2003527 34.38/29.84 o 2003608 34.38/29.85 o 2003762 34.38/29.85 o 2003787 34.38/29.85 o 2004114 34.38/29.85 o 2005019 34.38/29.85 o 2005099 34.38/29.85 o 2005771 34.38/29.85 o 2005851 34.38/29.85 o 2006171 34.38/29.85 o 2006923 34.38/29.85 o 2007003 34.38/29.85 o 2007383 34.38/29.85 o 2007463 34.38/29.85 o 2007630 34.38/29.85 o 2008535 34.38/29.85 o 2008615 34.38/29.85 o 2009287 34.38/29.86 o 2009367 34.38/29.86 o 2009445 34.38/29.86 o 2009525 34.38/29.86 o 2010182 34.38/29.86 o 2010934 34.38/29.86 o 2011092 34.38/29.86 o 2011172 34.38/29.86 o 2011201 34.38/29.86 o 2011948 34.38/29.86 o 2012106 34.38/29.87 o 2012700 34.38/29.87 o 2012858 34.38/29.87 o 2012938 34.38/29.87 o 2013016 34.38/29.87 o 2013090 34.38/29.87 o 2013170 34.38/29.87 o 2013595 34.38/29.87 o 2014347 34.38/29.87 o 2014427 34.38/29.87 o 2014505 34.38/29.87 o 2014585 34.59/30.09 o 2014846 34.59/30.09 o 2014926 34.59/30.09 o 2015004 34.59/30.09 o 2015084 34.59/30.09 o 2015188 34.59/30.09 o 2015268 34.59/30.09 o 2015298 34.59/30.09 o 2015399 34.59/30.09 o 2015480 34.59/30.09 o 2015634 34.59/30.09 o 2015659 34.59/30.09 o 2015802 34.59/30.10 o 2015828 34.59/30.10 o 2015986 34.59/30.10 o 2016549 34.59/30.10 o 2016733 34.59/30.10 o 2016891 34.59/30.10 o 2016931 34.59/30.10 o 2016960 34.59/30.10 o 2017118 34.59/30.10 o 2017244 34.59/30.10 o 2017423 34.59/30.10 o 2017750 34.59/30.10 o 2017903 34.59/30.10 o 2018655 34.59/30.10 o 2018813 34.59/30.10 o 2018839 34.59/30.10 o 2018997 34.59/30.11 o 2019473 34.59/30.11 o 2019657 34.69/30.11 o 2019815 34.69/30.11 o 2019895 34.69/30.11 o 2019956 34.69/30.11 o 2020036 34.69/30.11 o 2020616 34.69/30.11 o 2020774 34.69/30.11 o 2020854 34.69/30.11 o 2020880 34.69/30.11 o 2020958 34.69/30.11 o 2021038 34.88/30.34 o 2021288 34.88/30.35 o 2021334 34.88/30.35 o 2023912 34.88/30.35 o 2024676 34.88/30.35 o 2025331 34.88/30.35 o 2026095 34.88/30.35 o 2026285 34.88/30.35 o 2027704 34.88/30.35 o 2028071 34.88/30.35 o 2030649 34.88/30.35 o 2032068 34.88/30.35 o 2032832 34.88/30.35 o 2033100 34.88/30.35 o 2033864 34.88/30.35 o 2034259 34.88/30.35 o 2035678 34.88/30.35 o 2036442 34.88/30.35 o 2036491 34.88/30.36 o 2038305 34.88/30.36 o 2039069 34.88/30.36 o 2039337 34.88/30.36 o 2041915 34.88/30.36 o 2042679 34.88/30.36 o 2043334 34.88/30.36 o 2044098 34.88/30.36 o 2044794 34.88/30.36 o 2046838 34.88/30.36 o 2048257 34.88/30.36 o 2048953 34.88/30.36 o 2049021 34.88/30.36 o 2049717 34.88/30.36 o 2049741 34.88/30.36 o 2050551 34.88/30.36 o 2051710 34.88/30.36 o 2053129 34.88/30.37 o 2053893 34.88/30.37 o 2054589 34.88/30.37 o 2056941 34.88/30.37 o 2057705 34.88/30.37 o 2058401 34.88/30.37 o 2059056 34.88/30.37 o 2059124 34.88/30.37 o 2059820 34.88/30.37 o 2060271 34.88/30.37 o 2061035 34.88/30.37 o 2061690 34.88/30.37 o 2062454 34.88/30.37 o 2063345 34.88/30.37 o 2064474 34.88/30.37 o 2064539 37.18/32.09 o 2066336 37.18/32.09 o 2066520 37.18/32.09 o 2070153 37.18/32.09 o 2070494 37.18/32.09 o 2074375 37.18/32.09 o 2077195 37.18/32.10 o 2077379 37.18/32.10 o 2078452 37.18/32.10 o 2078636 37.18/32.10 o 2079586 37.18/32.10 o 2082406 37.18/32.10 o 2083663 37.18/32.10 o 2083847 47.53/41.52 o 2085193 47.53/41.52 o 2085780 47.53/41.52 o 2087148 47.53/41.52 o 2089060 47.53/41.52 o 2090667 50.12/43.61 o 2091995 50.12/43.61 o 2092278 50.12/43.61 o 2092351 50.12/43.61 o 2093770 50.12/43.61 o 2094798 50.12/43.61 o 2096217 50.12/43.61 o 2096711 50.12/43.61 o 2096713 50.12/43.61 o 2097668 50.12/43.62 o 2099160 50.12/43.62 o 2100092 50.12/43.62 o 2100579 50.12/43.62 o 2100965 50.12/43.62 o 2100967 50.12/43.62 o 2103414 50.12/43.62 o 2104906 50.12/43.62 o 2106325 50.12/43.62 o 2106812 50.12/43.65 o 2107610 50.12/43.65 o 2108600 50.12/43.66 o 2108717 50.12/43.66 o 2109794 50.12/43.66 o 2110090 50.12/43.66 o 2112104 50.12/43.66 o 2113247 50.12/43.66 o 2114324 50.12/43.66 o 2115263 50.12/43.66 o 2115329 50.12/43.66 o 2116406 50.12/43.66 o 2117392 50.12/43.66 o 2118469 50.12/43.66 o 2119459 50.12/43.67 o 2120212 50.12/43.67 o 2121202 50.12/43.67 o 2121289 50.12/43.67 o 2122279 50.12/43.67 o 2122546 50.12/43.67 o 2123536 50.12/43.67 o 2123618 50.12/43.67 o 2124604 50.12/43.67 o 2125681 50.12/43.67 o 2125861 50.12/43.67 o 2126938 50.12/43.67 o 2127928 50.12/43.68 o 2128540 50.12/43.68 o 2128627 50.12/43.68 o 2129617 50.12/43.68 o 2130229 50.12/43.68 o 2130248 50.12/43.68 o 2131168 50.30/43.71 o 2131927 50.30/43.71 o 2132623 50.30/43.71 o 2134352 50.30/43.71 o 2135959 50.30/43.71 o 2136347 50.30/43.71 o 2137954 50.30/43.71 o 2138744 50.30/43.71 o 2140739 50.30/43.71 o 2142346 50.30/43.71 o 2142621 50.30/43.71 o 2144228 50.30/43.72 o 2144924 50.52/43.94 o 2144976 50.52/43.94 o 2145056 50.52/43.94 o 2145061 50.52/43.94 o 2145219 50.52/43.94 o 2145534 50.52/43.94 o 2145718 50.52/43.94 o 2145955 50.52/43.94 o 2146945 50.52/43.94 o 2147129 50.52/43.95 o 2147287 50.52/43.95 o 2147367 50.52/43.95 o 2147393 50.52/43.95 o 2147497 50.52/43.95 o 2147577 50.52/43.95 o 2147588 50.52/43.96 o 2147746 50.52/43.96 o 2147894 50.52/43.96 o 2148724 50.52/43.96 o 2148908 50.52/43.96 o 2149381 50.52/43.96 o 2149640 50.52/43.97 o 2149778 50.52/43.97 o 2150792 50.52/43.97 o 2150976 50.52/43.97 o 2151134 50.52/43.97 o 2151214 50.52/43.97 o 2151782 50.52/43.97 o 2151966 50.52/43.97 o 2152046 50.52/43.97 o 2152124 50.52/43.98 o 2152204 50.52/43.98 o 2152297 50.52/43.98 o 2152481 50.52/43.98 o 2152639 50.52/43.98 o 2152704 50.52/43.99 o 2153570 50.52/43.99 o 2153728 50.52/43.99 o 2154523 50.52/43.99 o 2154782 50.52/43.99 o 2154885 50.52/43.99 o 2155934 50.52/43.99 o 2156092 50.52/44.00 o 2156118 50.52/44.00 o 2156276 50.52/44.00 o 2156924 50.52/44.00 o 2157108 50.52/44.00 o 2157266 50.52/44.00 o 2157346 50.52/44.00 o 2157404 50.52/44.01 o 2157507 50.66/44.01 o 2158398 50.66/44.01 o 2158556 50.66/44.01 o 2158658 50.66/44.01 o 2158675 50.66/44.02 o 2159724 50.66/44.02 o 2159834 50.66/44.02 o 2160986 50.66/44.02 o 2162035 50.66/44.02 o 2162193 50.66/44.02 o 2163025 50.66/44.02 o 2163183 50.66/44.02 o 2163263 50.66/44.03 o 2163289 50.66/44.03 o 2163367 50.66/44.03 o 2163447 50.66/44.04 o 2163494 50.66/44.04 o 2163652 50.66/44.04 o 2163678 50.66/44.04 o 2163836 50.66/44.04 o 2164182 50.66/44.04 o 2164366 50.66/44.04 o 2164447 50.66/44.04 o 2164706 50.66/44.04 o 2165858 50.66/44.04 o 2166042 50.66/44.04 o 2166200 50.66/44.05 o 2166848 50.66/44.05 o 2167006 50.66/44.05 o 2167032 50.66/44.05 o 2167190 50.66/44.05 o 2167862 50.66/44.05 o 2168046 50.66/44.05 o 2168204 50.66/44.05 o 2168284 50.66/44.05 o 2168429 50.66/44.06 o 2168587 50.66/44.06 o 2169478 50.66/44.06 o 2169636 50.66/44.06 o 2169716 50.66/44.06 o 2169742 50.66/44.06 o 2169820 50.66/44.06 o 2169900 50.66/44.07 o 2170006 50.66/44.08 o 2170082 50.66/44.08 o 2170108 50.66/44.08 o 2170266 50.66/44.08 o 2170990 50.66/44.08 o 2171174 50.66/44.08 o 2172149 50.66/44.08 o 2172311 50.66/44.08 o 2173301 50.66/44.08 o 2173485 50.66/44.08 o 2173643 50.66/44.09 o 2173667 50.66/44.09 o 2174315 50.66/44.09 o 2174499 50.66/44.09 o 2174657 50.66/44.09 o 2174737 50.66/44.09 o 2175164 50.66/44.09 o 2175322 50.66/44.09 o 2175402 50.66/44.09 o 2176213 50.66/44.09 o 2176293 50.66/44.09 o 2176371 50.66/44.09 o 2176451 50.66/44.09 o 2177221 50.66/44.09 o 2177379 50.66/44.10 o 2177477 50.66/44.10 o 2178467 50.66/44.10 o 2178689 50.66/44.10 o 2178792 50.66/44.10 o 2179841 50.66/44.10 o 2180831 50.66/44.10 o 2180989 50.66/44.10 o 2181069 50.66/44.10 o 2181173 50.66/44.10 o 2181253 50.66/44.10 o 2181367 50.66/44.10 o 2181393 50.66/44.10 o 2181551 50.66/44.10 o 2182045 50.66/44.10 o 2182229 50.76/44.11 o 2182332 50.76/44.11 o 2183322 50.76/44.11 o 2184266 50.76/44.11 o 2184531 50.76/44.11 o 2184790 50.76/44.11 o 2184893 50.76/44.11 o 2185942 50.76/44.11 o 2186932 50.76/44.11 o 2187116 50.76/44.11 o 2187274 50.76/44.11 o 2187354 50.76/44.11 o 2187367 50.76/44.11 o 2187378 50.76/44.12 o 2187697 50.76/44.12 o 2188089 50.76/44.12 o 2188354 50.76/44.12 o 2188613 50.76/44.12 o 2189765 50.76/44.12 o 2190755 50.76/44.12 o 2190913 50.76/44.12 o 2190939 50.76/44.12 o 2191097 50.76/44.12 o 2191177 50.76/44.12 o 2191769 50.76/44.12 o 2191849 50.76/44.12 o 2191953 50.76/44.12 o 2192033 50.76/44.12 o 2192111 50.76/44.13 o 2192191 54.18/47.27 o 2194306 54.18/47.27 o 2196188 54.39/47.48 o 2197726 54.39/47.49 o 2198226 54.39/47.49 o 2199764 54.50/47.52 o 2200161 54.50/47.52 o 2201768 54.50/47.52 o 2201875 54.50/47.52 o 2203555 54.50/47.52 o 2205756 54.50/47.52 o 2205888 54.50/47.52 o 2208089 54.50/47.53 o 2209696 54.50/47.53 o 2210885 54.50/47.53 o 2211611 54.50/47.53 o 2213218 54.50/47.53 o 2213812 54.50/47.53 o 2215419 54.50/47.53 o 2216571 54.70/47.75 o 2221686 54.70/47.75 o 2223381 54.70/47.75 o 2226987 54.70/47.75 o 2228682 54.70/47.75 o 2230289 55.95/48.86 o 2230818 55.95/48.86 o 2230884 55.95/48.86 o 2231636 55.95/48.87 o 2232134 55.95/48.87 o 2232952 55.95/48.87 o 2233704 55.95/48.89 o 2234311 55.95/48.89 o 2234527 55.95/48.89 o 2235784 55.95/48.89 o 2236216 55.95/48.89 o 2237473 55.95/48.89 o 2238291 55.95/48.89 o 2239043 55.95/48.89 o 2239102 55.95/48.89 o 2239854 55.95/48.89 o 2240359 55.95/48.89 o 2241111 56.06/48.91 o 2241647 56.06/48.91 o 2241928 56.06/48.91 o 2242680 56.06/48.91 o 2242739 56.06/48.92 o 2243178 56.06/48.92 o 2243996 56.06/48.92 o 2244748 56.06/48.92 o 2245284 56.06/48.93 o 2245500 56.06/48.93 o 2245627 56.06/48.94 o 2245843 56.06/48.94 o 2246379 56.06/48.94 o 2246595 56.06/48.94 o 2247197 56.06/48.94 o 2247413 56.06/48.94 o 2247733 56.06/48.94 o 2247949 56.06/48.95 o 2248165 56.06/48.95 o 2248397 56.06/48.95 o 2249110 56.06/48.95 o 2249491 56.06/48.95 o 2249870 56.06/48.95 o 2250302 56.06/48.95 o 2250741 56.06/48.95 o 2250807 56.06/48.95 o 2251559 56.06/48.96 o 2251775 56.06/48.96 o 2252095 56.06/48.96 o 2252311 57.30/50.15 o 2253019 57.30/50.15 o 2253648 57.30/50.15 o 2255101 57.30/50.15 o 2255919 57.30/50.18 o 2256763 57.30/50.18 o 2257915 57.30/50.18 o 2259180 57.30/50.18 o 2259313 57.30/50.18 o 2261381 57.30/50.18 o 2262533 57.30/50.18 o 2263242 57.30/50.18 o 2263499 57.30/50.18 o 2265700 57.30/50.18 o 2266852 57.30/50.18 o 2267768 57.30/50.18 o 2268920 57.30/50.18 o 2269523 57.30/50.18 o 2269852 57.30/50.19 o 2271920 57.30/50.19 o 2272629 57.30/50.19 o 2274038 57.30/50.19 o 2276239 57.30/50.19 o 2278307 57.30/50.19 o 2279459 57.30/50.19 o 2279569 57.30/50.19 o 2279702 57.30/50.19 o 2280618 57.30/50.19 o 2281770 58.62/51.44 o 2283062 58.62/51.44 o 2285922 58.62/51.44 o 2287834 58.62/51.45 o 2289523 60.75/53.55 o 2289890 60.75/53.55 o 2291147 60.75/53.57 o 2292192 60.75/53.58 o 2293449 60.75/53.58 o 2293693 60.75/53.58 o 2294112 60.75/53.58 o 2295369 60.85/53.61 o 2295898 60.85/53.61 o 2296561 60.85/53.62 o 2297818 60.85/53.65 o 2298168 60.85/53.65 o 2299425 60.85/53.66 o 2300208 60.85/53.66 o 2300558 60.85/53.66 o 2301815 60.85/53.66 o 2302478 60.85/53.66 o 2303735 60.85/53.66 o 2304329 60.85/53.66 o 2305586 60.85/53.66 o 2306249 60.85/53.66 o 2307506 60.85/53.67 o 2307889 60.85/53.67 o 2309146 60.85/53.67 o 2309740 60.85/53.67 o 2310997 60.85/53.67 o 2311660 60.85/53.67 o 2312917 60.85/53.68 o 2313327 60.85/53.68 o 2313990 60.85/53.68 o 2315247 60.85/53.68 o 2315841 60.85/53.68 o 2317098 60.85/53.68 o 2317761 60.85/53.68 o 2319018 60.85/53.69 o 2319545 60.95/53.78 o 2319703 61.05/53.84 o 2319795 61.05/53.84 o 2320162 61.05/53.84 o 2320460 61.05/53.84 o 2321717 61.05/53.84 o 2322244 61.05/53.84 o 2322402 61.05/53.87 o 2322640 61.05/53.87 o 2323046 61.05/53.87 o 2323115 61.05/53.87 o 2324195 61.05/53.88 o 2324722 61.05/53.88 o 2324880 61.05/53.88 o 2325452 61.05/53.88 o 2325610 61.05/53.88 o 2325979 61.05/53.88 o 2326137 61.15/53.92 o 2326642 61.15/53.93 o 2327372 61.15/53.93 o 2327899 61.15/53.93 o 2328057 61.15/53.98 o 2329284 61.15/53.98 o 2329442 61.15/53.99 o 2329811 61.15/53.99 o 2329969 61.26/54.03 o 2330361 61.26/54.03 o 2330888 61.26/54.03 o 2331046 61.26/54.06 o 2331513 61.26/54.06 o 2331671 61.26/54.06 o 2332040 61.26/54.06 o 2332198 61.26/54.09 o 2332259 61.26/54.09 o 2332955 61.26/54.09 o 2334912 61.26/54.10 o 2336824 61.26/54.10 o 2337520 61.37/54.13 o 2337936 61.37/54.13 o 2339025 61.37/54.13 o 2339721 61.37/54.13 o 2340042 61.37/54.13 o 2340738 61.37/54.13 o 2341131 61.37/54.13 o 2341827 61.37/54.13 o 2342816 61.37/54.13 o 2343833 61.37/54.13 o 2344922 61.37/54.13 o 2345618 61.37/54.17 o 2345825 61.37/54.17 o 2347106 61.37/54.17 o 2347418 61.37/54.17 o 2347437 61.37/54.17 o 2349030 61.37/54.17 o 2349342 61.37/54.17 o 2350049 61.37/54.17 o 2350436 61.37/54.17 o 2352360 61.37/54.17 o 2353953 61.37/54.17 o 2354362 61.37/54.17 o 2354693 61.37/54.17 o 2356286 61.37/54.18 o 2356594 61.37/54.18 o 2358518 61.37/54.18 o 2360111 61.37/54.19 o 2360807 61.37/54.19 o 2362731 61.37/54.19 o 2364324 61.37/54.19 o 2364519 61.37/54.19 o 2366112 63.50/56.28 o 2366679 63.50/56.28 o 2366820 63.50/56.28 o 2367337 63.50/56.29 o 2367356 63.50/56.29 o 2369032 63.50/56.29 o 2369146 63.50/56.29 o 2370841 63.50/56.29 o 2371662 63.50/56.29 o 2373357 63.50/56.29 o 2375033 63.50/56.29 o 2375174 63.50/56.29 o 2375372 63.50/56.29 o 2375513 63.50/56.29 o 2377067 63.50/56.29 o 2377208 63.60/56.38 o 2377659 63.60/56.38 o 2379348 63.60/56.38 o 2380338 63.60/56.38 o 2380437 63.60/56.38 o 2381427 63.60/56.39 o 2381568 63.72/56.42 o 2382760 63.72/56.43 o 2383790 63.72/56.43 o 2383952 63.72/56.43 o 2385209 63.72/56.43 o 2386298 63.72/56.44 o 2386665 63.72/56.44 o 2387114 63.72/56.44 o 2388203 63.72/56.46 o 2388371 63.72/56.46 o 2389460 63.86/56.51 o 2391172 63.86/56.51 o 2393240 63.86/56.51 o 2394347 66.10/58.62 o 2395975 66.10/58.62 o 2398057 66.10/58.62 o 2399209 66.10/58.69 o 2399316 66.10/58.69 o 2399478 66.10/58.69 o 2399794 66.10/58.69 o 2400221 66.21/58.73 o 2401516 66.21/58.73 o 2402892 66.21/58.73 o 2404061 66.21/58.73 o 2404442 66.21/58.74 o 2407370 66.21/58.74 o 2411017 66.82/59.00 o 2411224 66.82/59.00 o 2412393 66.96/59.06 o 2413082 66.96/59.06 o 2414096 66.96/59.09 o 2414397 66.96/59.09 o 2416598 66.96/59.09 o 2416604 66.96/59.09 o 2418805 67.07/59.12 o 2419819 67.07/59.14 o 2419929 67.07/59.14 o 2421116 67.07/59.14 o 2422130 67.16/59.20 o 2423408 67.16/59.20 o 2423549 67.16/59.23 o 2424369 67.16/59.23 o 2424510 67.16/59.23 o 2425001 67.16/59.23 o 2425142 67.16/59.24 o 2425626 67.16/59.25 o 2425767 67.16/59.25 o 2426258 67.16/59.25 o 2426399 67.46/59.58 o 2428319 67.46/59.58 o 2429396 67.46/59.58 o 2430301 67.46/59.58 o 2430324 67.46/59.58 o 2433641 67.46/59.58 o 2434546 67.46/59.59 o 2434718 67.46/59.59 o 2435623 68.08/60.15 o 2435767 68.08/60.17 o 2436096 68.08/60.17 o 2436371 68.08/60.17 o 2436798 68.08/60.17 o 2437276 68.08/60.17 o 2437703 68.08/60.17 o 2438290 68.08/60.17 o 2438717 68.08/60.18 o 2438832 68.08/60.18 o 2439737 68.08/60.18 o 2439846 68.08/60.18 o 2440751 68.08/60.18 o 2441178 68.17/60.21 o 2441528 68.17/60.21 o 2441955 68.17/60.27 o 2442608 68.17/60.27 o 2443865 68.17/60.27 o 2446937 68.17/60.27 o 2449907 68.17/60.27 o 2451164 68.28/60.37 o 2451856 68.38/60.42 o 2452345 68.38/60.43 o 2453422 68.38/60.44 o 2453520 68.38/60.44 o 2454585 68.38/60.44 o 2455662 68.38/60.44 o 2456080 68.38/60.44 o 2457157 68.48/60.50 o 2457555 68.48/60.50 o 2459050 68.48/60.58 o 2460127 68.58/60.64 o 2460314 68.58/60.65 o 2460875 68.58/60.65 o 2461316 68.58/60.65 o 2462573 68.58/60.65 o 2463228 68.58/60.65 o 2464485 68.58/60.65 o 2464621 68.58/60.65 o 2465878 68.58/60.65 o 2466689 68.58/60.65 o 2467946 68.68/60.72 o 2468498 68.68/60.72 o 2469285 68.68/60.73 o 2469663 68.68/60.73 o 2469859 68.68/60.73 o 2470740 68.68/60.73 o 2471527 68.68/60.74 o 2471930 68.68/60.77 o 2472477 68.68/60.77 o 2472565 68.68/60.79 o 2473083 68.68/60.79 o 2473095 68.78/60.84 o 2474341 68.78/60.84 o 2476542 68.78/60.84 o 2478231 68.78/60.84 o 2478565 68.78/60.84 o 2480254 68.78/60.84 o 2482834 68.78/60.84 o 2484523 68.78/60.84 o 2485035 68.78/60.84 o 2486724 68.88/60.91 o 2486989 68.88/60.91 o 2487685 68.88/60.92 o 2488142 68.88/60.92 o 2488417 68.88/60.92 o 2488767 68.88/60.92 o 2490024 68.88/60.92 o 2490720 69.01/61.02 o 2490822 69.01/61.02 o 2490993 69.01/61.02 o 2493399 69.01/61.02 o 2494818 69.60/61.60 o 2495307 69.60/61.60 o 2495523 69.60/61.60 o 2496161 69.60/61.60 o 2496262 69.60/61.60 o 2496665 69.60/61.60 o 2497754 69.60/61.60 o 2497970 69.60/61.61 o 2498831 69.60/61.61 o 2499047 69.60/61.61 o 2499318 69.60/61.61 o 2499416 69.60/61.61 o 2499419 69.60/61.61 o 2499822 69.60/61.61 o 2500911 69.60/61.61 o 2501988 69.60/61.61 o 2502204 69.60/61.64 o 2502333 69.60/61.64 o 2502698 69.60/61.64 o 2503703 69.60/61.64 o 2504780 69.60/61.64 o 2504996 69.60/61.64 o 2505008 69.60/61.64 o 2505869 69.60/61.64 o 2506085 69.91/61.93 o 2506149 69.91/61.93 o 2506365 69.91/61.94 o 2506991 69.91/61.94 o 2507028 69.91/61.94 o 2507654 69.91/61.94 o 2508447 69.91/61.94 o 2509073 69.91/61.94 o 2509543 69.91/61.94 o 2509759 70.74/62.73 o 2509919 70.74/62.73 o 2510060 70.74/62.73 o 2510299 70.74/62.73 o 2510440 70.74/62.73 o 2510696 70.74/62.73 o 2511076 70.74/62.73 o 2511217 71.15/63.16 o 2512120 71.15/63.16 o 2512261 71.15/63.16 o 2512500 71.15/63.16 o 2512641 71.15/63.17 o 2512897 71.15/63.17 o 2513277 71.15/63.17 o 2513418 71.54/63.53 o 2513523 71.54/63.53 o 2513664 71.54/63.53 o 2513903 71.54/63.53 o 2514044 71.76/63.77 o 2515099 71.76/63.78 o 2515240 72.86/64.85 o 2515650 72.86/64.85 o 2516727 72.96/64.93 o 2517049 72.96/64.93 o 2518300 72.96/64.93 o 2518463 72.96/64.93 o 2518577 72.96/64.93 o 2518812 72.96/64.93 o 2518894 72.96/64.93 o 2519082 72.96/64.93 o 2520501 72.96/64.93 o 2520617 72.96/64.94 o 2520676 72.96/64.94 o 2521469 72.96/64.94 o 2521510 72.96/64.94 o 2521673 72.96/64.94 o 2521787 72.96/64.94 o 2521799 72.96/64.94 o 2522022 72.96/64.94 o 2522104 72.96/64.94 o 2523711 72.96/64.94 o 2525130 72.96/64.94 o 2526207 73.07/65.09 o 2526806 73.07/65.10 o 2526934 73.07/65.10 o 2527156 73.07/65.10 o 2527389 73.07/65.10 o 2527626 73.07/65.10 o 2528408 73.07/65.10 o 2528561 73.07/65.10 o 2528675 73.07/65.10 o 2528687 73.07/65.10 o 2528910 73.07/65.10 o 2530599 73.07/65.10 o 2532018 73.17/65.12 o 2533095 73.17/65.12 o 2533283 73.17/65.12 o 2533625 73.17/65.12 o 2534702 73.46/65.45 o 2534736 73.46/65.46 o 2534985 73.46/65.46 o 2535126 73.46/65.46 o 2535206 73.46/65.48 o 2535505 73.46/65.48 o 2535585 73.56/65.56 o 2535975 73.56/65.57 o 2536055 73.56/65.58 o 2536116 73.56/65.58 o 2536196 73.66/65.62 o 2536214 73.66/65.62 o 2536986 73.66/65.62 o 2538138 73.66/65.63 o 2538834 73.66/65.68 o 2539256 73.66/65.68 o 2539470 73.66/65.68 o 2540166 73.66/65.68 o 2541919 73.66/65.68 o 2542615 73.66/65.69 o 2542633 73.66/65.69 o 2543861 73.66/65.69 o 2544557 73.76/65.70 o 2545013 73.76/65.70 o 2545709 73.76/65.73 o 2547413 73.76/65.74 o 2547938 73.76/65.74 o 2549862 73.87/65.86 o 2552016 73.87/65.86 o 2553705 73.87/65.86 o 2555051 73.87/65.86 o 2556740 73.87/65.87 o 2558867 73.87/65.87 o 2561902 73.87/65.88 o 2563591 73.87/65.89 o 2563965 73.87/65.89 o 2565654 73.97/66.00 o 2565693 73.97/66.00 o 2565909 73.97/66.00 o 2566535 73.97/66.00 o 2568142 73.97/66.00 o 2568358 74.08/66.02 o 2568715 74.08/66.02 o 2568931 74.08/66.02 o 2571164 74.08/66.02 o 2571380 74.08/66.06 o 2572771 74.08/66.07 o 2572987 74.27/66.23 o 2573900 74.38/66.30 o 2575126 74.38/66.31 o 2575623 74.38/66.31 o 2575885 74.38/66.31 o 2578650 74.38/66.31 o 2581097 74.69/66.63 o 2581281 75.02/66.90 o 2581843 75.02/66.90 o 2582748 75.02/66.90 o 2582889 75.02/66.90 o 2582944 75.02/66.91 o 2583085 75.02/66.92 o 2583178 75.02/66.92 o 2584083 75.02/66.92 o 2586566 75.02/66.92 o 2587471 75.02/66.93 o 2589706 75.02/66.93 o 2589992 75.02/66.93 o 2593717 75.02/66.93 o 2597105 75.02/66.93 o 2597391 75.02/66.93 o 2598010 75.02/66.93 o 2598151 75.62/67.50 o 2598242 75.62/67.50 o 2598383 75.62/67.50 o 2599232 75.62/67.50 o 2599373 75.62/67.53 o 2600209 75.62/67.53 o 2601298 75.62/67.53 o 2602272 75.62/67.53 o 2603361 75.62/67.53 o 2604721 75.62/67.53 o 2605810 75.62/67.53 o 2607573 75.62/67.53 o 2607711 75.62/67.53 o 2607959 75.62/67.53 o 2610022 75.62/67.53 o 2611111 75.62/67.54 o 2611116 75.62/67.54 o 2612090 75.62/67.54 o 2613179 75.62/67.54 o 2613657 75.62/67.54 o 2613795 75.62/67.54 o 2614043 75.62/67.54 o 2616106 75.62/67.54 o 2616111 75.62/67.54 o 2618174 75.62/67.54 o 2619263 75.62/67.54 o 2619611 75.62/67.54 o 2620590 75.62/67.55 o 2621679 75.62/67.55 o 2623442 75.62/67.55 o 2623580 75.62/67.55 o 2623823 75.62/67.55 o 2625891 75.62/67.55 o 2626980 75.62/67.55 o 2627954 75.62/67.55 o 2629043 76.16/68.02 o 2629236 76.86/68.73 o 2629956 76.86/68.74 o 2630097 77.36/69.23 o 2630993 77.46/69.35 o 2630995 77.46/69.36 o 2631075 77.46/69.36 o 2631155 77.46/69.36 o 2631291 77.46/69.36 o 2631371 77.46/69.36 o 2632152 77.46/69.36 o 2632368 77.46/69.36 o 2632448 77.68/69.50 o 2632509 77.68/69.50 o 2632589 77.68/69.56 o 2633001 77.68/69.56 o 2635341 77.68/69.56 o 2636836 77.68/69.56 o 2637363 77.68/69.57 o 2637379 77.68/69.57 o 2637906 77.68/69.57 o 2638874 77.68/69.57 o 2639401 77.98/69.89 o 2639541 77.98/69.89 o 2642896 77.98/69.89 o 2643366 77.98/69.89 o 2644349 77.98/69.89 o 2644819 78.69/70.58 o 2646273 78.69/70.58 o 2646406 78.69/70.58 o 2647275 78.69/70.58 o 2647947 78.69/70.58 o 2650053 78.90/70.71 o 2650795 78.90/70.71 o 2651322 78.90/70.71 o 2652206 78.90/70.71 o 2652733 79.59/71.43 o 2653135 79.59/71.43 o 2654149 79.59/71.43 o 2655039 79.59/71.43 o 2656534 79.59/71.43 o 2657548 79.59/71.43 o 2657732 80.39/72.25 o 2658094 80.39/72.25 o 2658474 80.39/72.25 o 2658554 80.39/72.25 o 2659547 80.39/72.25 o 2659627 80.39/72.25 o 2659927 80.39/72.25 o 2660007 80.39/72.25 o 2660537 80.39/72.25 o 2660917 80.39/72.25 o 2660997 80.60/72.42 o 2661821 80.60/72.42 o 2662201 80.60/72.42 o 2662417 80.60/72.42 o 2662447 80.60/72.42 o 2662663 80.60/72.42 o 2662827 80.60/72.42 o 2663043 80.60/72.43 o 2663510 80.60/72.43 o 2663890 80.60/72.43 o 2664136 80.60/72.43 o 2664516 80.60/72.43 o 2664732 81.40/73.27 o 2665961 81.40/73.27 o 2667453 81.40/73.27 o 2667980 81.40/73.27 o 2668358 81.40/73.27 o 2668885 81.61/73.44 o 2668998 81.61/73.44 o 2669525 81.61/73.44 o 2670417 81.61/73.44 o 2670944 81.61/73.44 o 2671810 81.61/73.44 o 2672337 82.81/74.67 o 2672766 82.81/74.68 o 2673236 82.93/74.72 o 2673706 82.93/74.72 o 2675099 82.93/74.72 o 2675569 83.03/74.80 o 2676089 83.03/74.80 o 2676559 87.96/79.75 o 2676873 87.96/79.75 o 2677400 87.96/79.76 o 2677526 87.96/79.76 o 2678979 87.96/79.76 o 2679506 88.06/79.88 o 2680067 88.06/79.88 o 2681144 88.06/79.88 o 2681360 88.06/79.88 o 2682130 88.06/79.88 o 2682346 88.06/79.88 o 2683207 88.06/79.88 o 2683423 88.06/79.88 o 2684360 88.06/79.88 o 2684372 88.06/79.88 o 2685449 88.06/79.88 o 2685665 88.06/79.88 o 2686061 88.06/79.88 o 2686277 88.06/79.89 o 2687138 88.06/79.89 o 2687354 88.16/79.95 o 2687710 88.16/79.96 o 2688932 88.16/79.96 o 2689086 88.16/79.96 o 2690308 88.16/79.96 o 2690590 88.16/79.96 o 2690777 88.16/79.96 o 2691835 88.16/79.96 o 2692140 88.16/79.96 o 2692371 88.16/79.96 o 2693747 88.16/79.96 o 2694969 88.16/79.96 o 2695439 88.16/79.96 o 2695595 88.16/79.96 o 2696065 88.47/80.29 o 2697550 88.47/80.29 o 2698943 88.47/80.30 o 2699413 88.57/80.30 o 2700949 88.57/80.30 o 2701419 88.57/80.30 o 2702342 88.57/80.30 o 2702812 89.78/81.38 o 2704859 89.78/81.38 o 2705329 89.78/81.38 o 2705545 92.29/83.88 o 2705548 92.29/83.88 o 2705689 92.29/83.88 o 2706883 92.29/83.88 o 2707024 92.39/83.95 o 2707116 92.39/83.95 o 2708114 92.39/83.95 o 2709449 92.39/83.95 o 2710177 92.39/83.95 o 2711512 92.50/84.03 o 2711653 92.62/84.15 o 2712392 92.62/84.15 o 2712576 92.62/84.15 o 2713169 92.62/84.15 o 2713353 92.71/84.20 o 2714074 92.71/84.21 o 2716015 92.71/84.21 o 2718121 92.71/84.21 o 2720045 92.71/84.23 o 2720229 92.92/84.48 o 2720706 93.02/84.59 o 2721423 93.12/84.60 o 2722623 93.12/84.61 o 2723578 93.12/84.61 o 2725070 93.22/84.74 o 2725267 93.42/84.92 o 2726759 94.84/86.35 o 2727087 94.84/86.35 o 2727558 94.84/86.35 o 2727922 95.14/86.68 o 2728744 95.24/86.71 o 2729410 95.24/86.71 o 2733940 95.24/86.71 o 2735197 95.84/87.32 o 2736085 95.84/87.32 o 2739247 95.84/87.33 o 2741171 95.84/87.34 o 2741312 95.95/87.40 o 2741388 95.95/87.40 o 2742799 95.95/87.41 o 2744564 95.95/87.41 o 2746039 95.95/87.41 o 2747963 95.95/87.41 o 2749374 96.47/87.95 o 2749579 96.47/87.95 o 2749761 96.47/87.95 o 2751685 98.08/89.52 o 2751964 98.08/89.53 o 2752148 98.18/89.62 o 2752590 98.18/89.63 o 2752774 98.60/90.06 o 2753951 98.60/90.06 o 2754092 98.60/90.06 o 2754135 98.60/90.06 o 2754276 98.60/90.06 o 2754478 98.60/90.06 o 2754662 98.60/90.06 o 2754803 98.70/90.14 o 2755503 98.70/90.14 o 2755644 98.70/90.14 o 2756030 98.70/90.14 o 2756171 98.70/90.14 o 2756603 98.70/90.14 o 2759238 98.70/90.14 o 2759765 98.70/90.14 o 2759906 98.70/90.14 o 2759949 99.20/90.63 o 2760504 99.20/90.63 o 2760884 99.20/90.63 o 2761957 99.20/90.63 o 2762337 99.20/90.69 o 2762947 99.20/90.69 o 2763327 99.40/90.83 o 2765643 99.40/90.83 o 2767725 99.40/90.84 o 2767954 99.40/90.84 o 2770036 99.40/90.84 o 2771026 99.71/91.15 o 2771167 101.82/93.21 o 2771175 104.54/95.92 o 2772472 105.25/96.60 o 2774230 105.25/96.60 o 2774414 105.25/96.60 o 2775722 105.25/96.61 o 2775906 105.25/96.64 o 2776541 105.25/96.64 o 2778033 105.25/96.64 o 2778217 105.76/97.12 o 2778373 105.76/97.12 o 2779166 105.76/97.12 o 2779792 105.76/97.12 o 2780653 105.76/97.12 o 2780841 105.76/97.12 o 2782260 105.76/97.12 o 2782886 105.76/97.16 o 2783079 111.51/102.80 o 2783455 111.51/102.80 o 2784081 111.51/102.80 o 2784221 111.51/102.80 o 2785518 111.51/102.80 o 2786144 111.51/102.86 o 2786371 111.61/102.92 o 2786776 111.61/102.92 o 2787402 111.61/102.92 o 2788839 111.61/102.92 o 2789465 111.61/102.92 o 2790136 111.61/102.92 o 2790762 120.45/111.69 o 2790796 120.55/111.72 o 2790833 120.55/111.72 o 2791738 120.55/111.72 o 2792090 120.55/111.72 o 2792995 120.55/111.72 o 2793706 120.55/111.72 o 2793868 120.55/111.72 o 2795125 120.55/111.72 o 2796030 132.68/123.78 o 2796335 138.99/129.82 o 2796581 138.99/129.82 o 2796765 138.99/129.82 o 2796800 138.99/129.82 o 2798193 138.99/129.83 o 2798663 138.99/129.83 o 2798847 138.99/129.83 o 2799043 138.99/129.83 o 2799227 141.71/132.53 o 2799368 141.71/132.56 o 2799407 141.71/132.57 o 2800033 141.71/132.57 o 2800174 141.71/132.57 o 2800664 141.71/132.57 o 2800805 141.71/132.57 o 2801290 141.71/132.57 o 2801431 141.93/132.77 o 2801946 141.93/132.78 o 2802807 145.17/135.90 o 2802884 145.17/135.90 o 2804079 145.17/135.90 o 2804295 145.17/135.90 o 2805168 145.17/135.90 o 2805384 145.87/136.62 o 2805410 145.87/136.62 o 2806499 145.87/136.62 o 2807611 145.87/136.62 o 2808700 145.87/136.63 o 2808916 147.09/137.88 o 2809336 147.09/137.88 o 2810062 147.09/137.88 o 2810532 147.19/137.90 o 2810688 147.19/137.90 o 2811158 147.19/137.95 o 2811465 147.19/137.95 o 2811935 154.46/145.05 o 2812375 154.46/145.05 o 2812559 154.46/145.05 o 2812902 154.46/145.06 o 2813086 155.36/146.00 o 2813906 156.88/147.45 o 2814350 156.88/147.46 o 2814491 156.88/147.46 o 2815842 156.88/147.46 o 2815983 156.88/147.46 o 2816156 156.88/147.46 o 2816272 156.88/147.46 o 2817648 156.88/147.46 o 2817789 156.88/147.46 o 2818378 156.88/147.46 o 2818519 156.88/147.46 o 2819754 156.88/147.46 o 2819895 157.08/147.67 o 2819995 160.24/150.70 o 2820208 160.24/150.70 o 2820349 160.24/150.70 o 2820678 160.24/150.70 o 2820819 160.47/150.92 o 2820994 160.47/150.92 o 2821174 160.47/150.92 o 2821917 160.47/150.93 o 2823510 160.47/150.94 o 2825316 160.58/151.07 o 2826672 160.58/151.07 o 2828478 160.58/151.08 o 2829674 161.08/151.51 o 2830333 161.08/151.51 o 2830619 161.08/151.51 o 2830959 161.08/151.51 o 2831245 161.08/151.56 o 2831386 161.08/151.56 o 2831784 161.08/151.56 o 2832063 161.08/151.56 o 2832689 161.08/151.56 o 2832830 165.55/155.86 o 2833111 165.55/155.86 o 2833252 165.55/155.86 o 2833638 165.55/155.86 o 2833779 165.55/155.86 o 2834108 165.55/155.87 o 2834249 176.21/166.35 o 2834372 176.21/166.35 o 2834462 176.21/166.35 o 2834842 176.21/166.35 o 2835058 176.21/166.35 o 2835214 176.21/166.35 o 2835684 176.21/166.35 o 2835900 176.21/166.35 o 2836064 176.21/166.35 o 2836280 176.21/166.36 o 2836358 176.21/166.36 o 2836738 176.21/166.36 o 2837110 176.21/166.36 o 2837580 176.21/166.36 o 2837960 176.21/166.37 o 2838312 176.21/166.37 o 2838643 176.21/166.37 o 2838914 176.21/166.37 o 2839439 176.21/166.37 o 2839819 176.21/166.37 o 2840418 176.21/166.37 o 2840735 176.21/166.37 o 2841640 176.21/166.37 o 2842020 176.21/166.38 o 2842110 176.21/166.38 o 2842490 176.21/166.38 o 2842706 177.97/168.02 o 2843103 187.76/177.67 o 2843208 187.76/177.67 o 2843424 187.76/177.67 o 2843588 187.76/177.67 o 2843804 187.76/177.67 o 2844297 187.76/177.67 o 2844677 187.76/177.67 o 2844893 188.78/178.68 o 2846589 188.78/178.68 o 2846730 188.78/178.68 o 2846805 188.78/178.68 o 2846946 188.78/178.68 o 2849977 188.78/178.68 o 2850193 188.78/178.68 o 2850334 188.78/178.68 o 2850465 188.78/178.68 o 2853712 188.78/178.68 o 2853853 188.78/178.68 o 2853928 188.78/178.69 o 2854069 188.78/178.69 o 2855955 188.78/178.69 o 2856171 188.78/178.69 o 2856312 194.69/184.45 o 2856575 194.69/184.45 o 2857045 194.69/184.45 o 2857063 194.69/184.45 o 2857968 194.69/184.45 o 2858438 195.32/185.02 o 2859424 195.32/185.05 o 2860501 196.44/186.14 o 2861135 196.44/186.15 o 2861289 196.44/186.15 o 2862546 196.74/186.41 o 2862779 196.74/186.41 o 2862995 196.83/186.51 o 2863868 196.83/186.57 o 2864084 197.03/186.70 o 2865787 197.03/186.70 o 2866003 197.03/186.70 o 2866876 197.03/186.70 o 2867092 197.03/186.72 o 2867825 197.03/186.72 o 2868914 197.03/186.73 o 2869130 197.03/186.73 o 2869186 197.03/186.73 o 2869402 197.03/186.73 o 2871224 197.03/186.75 o 2871440 197.03/186.75 o 2872313 197.03/186.75 o 2872529 204.07/193.60 o 2874298 204.07/193.60 o 2875691 204.07/193.63 o 2875713 204.07/193.63 o 2879350 204.07/193.63 o 2879710 204.07/193.63 o 2883347 214.44/203.86 o 2883748 214.44/203.86 o 2883932 214.44/203.86 o 2884500 214.44/203.86 o 2884970 214.44/203.86 o 2885154 214.44/203.87 o 2885186 214.44/203.87 o 2885370 214.44/203.87 o 2885953 214.44/203.87 o 2886423 214.44/203.87 o 2886639 214.44/203.87 o 2886823 214.44/203.87 o 2886963 214.44/203.87 o 2887010 214.44/203.87 o 2888016 214.44/203.87 o 2888232 214.44/203.87 o 2888416 214.44/203.87 o 2888486 214.44/203.87 o 2888670 214.44/203.87 o 2888702 214.44/203.87 o 2888886 215.18/204.50 o 2889531 215.18/204.50 o 2889672 215.18/204.50 o 2891342 215.18/204.50 o 2893923 215.18/204.50 o 2894064 243.99/232.72 o 2894325 243.99/232.72 o 2895396 243.99/232.72 o 2896022 243.99/232.72 o 2896402 243.99/232.72 o 2896861 243.99/232.72 o 2898558 243.99/232.72 o 2898938 243.99/232.72 o 2899184 243.99/232.72 o 2899564 252.06/240.60 s SATISFIABLE 252.06/240.60 v <instantiation> 252.06/240.60 v <list> 252.06/240.60 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.06/240.61 v </list> 252.06/240.61 v <values> 252.06/240.61 v 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 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 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 1 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 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 1 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 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 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 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 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 1 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 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 1 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 1 1 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 1 0 0 0 0 0 1 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 0 0 0 0 0 1 0 1 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 0 0 0 1 0 0 0 0 1 0 1 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 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 1 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 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 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 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 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 1 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 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 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 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 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 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 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 0 0 0 0 0 1 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 1 0 1 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 1 252.06/240.61 v </values> 252.06/240.61 v </instantiation>
OK 2899564
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 (13505 MiB free)
memory of node 1: 16384 MiB (8080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310555-1534328917/watcher-4310555-1534328917 -o /tmp/evaluation-result-4310555-1534328917/solver-4310555-1534328917 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25433 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1729894513 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310555-1534328917.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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=29165, runsolver pid=29162
[startup+0.108113 s]*
/proc/loadavg: 1.28 1.70 1.77 3/215 29180
/proc/meminfo: memFree=22083416/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14082736 memory=33712 CPUtime=0.13 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 7351 0 0 0 12 1 0 0 20 0 15 0 250454836 14420721664 8428 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3520684 8428 3138 1 0 3482761 0
[pid=29165/tid=29167] ppid=29162 vsize=14082736 memory=-8557575366716462204 CPUtime=0.1 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 5424 0 0 0 9 1 0 0 20 0 15 0 250454836 14420721664 8428 33554432000 4194304 4196468 140729268331008 140634132111344 140634120562037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 8428 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 8428 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 8428 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 8428 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454838 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633600669344 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633599616240 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0.01 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) R 29162 29165 21905 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 250454841 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633595406240 140634120121150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454842 14420721664 8428 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33712 KiB
[startup+0.210481 s]*
/proc/loadavg: 1.28 1.70 1.77 5/215 29180
/proc/meminfo: memFree=22071500/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14082736 memory=46832 CPUtime=0.3 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 10293 0 0 0 28 2 0 0 20 0 15 0 250454836 14420721664 11708 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3520684 11708 3384 1 0 3482761 0
[pid=29165/tid=29167] ppid=29162 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) S 29162 29165 21905 0 -1 1077944384 8061 0 0 0 18 1 0 0 20 0 15 0 250454836 14420721664 11708 33554432000 4194304 4196468 140729268331008 140634132112544 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 11708 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14082736 memory=139946071245397 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 11708 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 11708 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 11708 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250454838 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633600669344 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633599616240 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) R 29162 29165 21905 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 250454841 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) R 29162 29165 21905 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 15 0 250454841 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633596459376 140634107130205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0.06 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) R 29162 29165 21905 0 -1 4202560 281 0 0 0 6 0 0 0 20 0 15 0 250454841 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633595406320 140634106404112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454842 14420721664 11708 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46832 KiB
[startup+0.312331 s]*
/proc/loadavg: 1.28 1.70 1.77 3/215 29180
/proc/meminfo: memFree=22067840/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14082736 memory=50172 CPUtime=0.44 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 10703 0 0 0 42 2 0 0 20 0 15 0 250454836 14420721664 12543 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3520684 12543 3386 1 0 3482761 0
[pid=29165/tid=29167] ppid=29162 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 8417 0 0 0 28 1 0 0 20 0 15 0 250454836 14420721664 12543 33554432000 4194304 4196468 140729268331008 140634132045760 140634109447583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14082736 memory=4294977828 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 12543 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14082736 memory=139946071245227 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 12543 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 12543 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14420721664 12543 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250454838 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633600669344 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250454839 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633599616240 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 250454841 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 250454841 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0.08 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 304 0 0 0 8 0 0 0 20 0 15 0 250454841 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14082736 memory=139946071221888 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454842 14420721664 12543 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50172 KiB
[startup+0.701009 s]
/proc/loadavg: 1.28 1.70 1.77 3/215 29180
/proc/meminfo: memFree=22045916/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14084804 memory=88840 CPUtime=0.99 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 17564 0 0 0 95 4 0 0 20 0 15 0 250454836 14422839296 22210 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3521201 22210 3503 1 0 3483273 0
[pid=29165/tid=29167] ppid=29162 vsize=14084804 memory=265238725297491 CPUtime=0.67 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 14853 0 0 0 64 3 0 0 20 0 15 0 250454836 14422839296 22210 33554432000 4194304 4196468 140729268331008 140634132086840 140634127905949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14422839296 22210 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454837 14422839296 22210 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14422839296 22210 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250454837 14422839296 22210 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250454838 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250454839 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633600669344 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250454839 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633599616240 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14084804 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 653 0 0 0 8 0 0 0 20 0 15 0 250454841 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 264 0 0 0 6 0 0 0 20 0 15 0 250454841 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 411 0 0 0 15 0 0 0 20 0 15 0 250454841 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14084804 memory=12552 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250454842 14422839296 22210 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88840 KiB
[startup+1.5007 s]
/proc/loadavg: 1.28 1.70 1.77 6/215 29180
/proc/meminfo: memFree=21994268/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14088900 memory=218760 CPUtime=3.17 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 27190 0 0 0 307 10 0 0 20 0 15 0 250454836 14427033600 54690 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3522225 54690 3565 1 0 3484297 0
[pid=29165/tid=29167] ppid=29162 vsize=14088900 memory=10759 CPUtime=1.46 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 19406 0 0 0 139 7 0 0 20 0 15 0 250454836 14427033600 54690 33554432000 4194304 4196468 140729268331008 140634132116112 140634111964510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 250454837 14427033600 54690 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 250454837 14427033600 54690 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 250454837 14427033600 54690 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 250454837 14427033600 54690 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 250454838 14427033600 54690 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
################
# More data... #
################
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 30152 0 0 0 10094 50 0 0 20 0 15 0 250454836 14431227904 822832 33554432000 4194304 4196468 140729268331008 140634132118512 140633765634771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14092996 memory=3324676 CPUtime=0.66 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 1940 0 0 0 49 17 0 0 20 0 15 0 250454837 14431227904 822832 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14092996 memory=3324676 CPUtime=0.65 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1706 0 0 0 48 17 0 0 20 0 15 0 250454837 14431227904 822832 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14092996 memory=3332884 CPUtime=0.65 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 942 0 0 0 49 16 0 0 20 0 15 0 250454837 14431227904 822832 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14092996 memory=279891879979856 CPUtime=0.65 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 1907 0 0 0 49 16 0 0 20 0 15 0 250454837 14431227904 822832 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14092996 memory=3752 CPUtime=0.12 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 4054 0 0 0 12 0 0 0 20 0 15 0 250454838 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14092996 memory=68112 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633600669408 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14092996 memory=3752 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633599616256 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14092996 memory=68100 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14092996 memory=2148 CPUtime=3.15 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 6730 0 0 0 314 1 0 0 20 0 15 0 250454841 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14092996 memory=1196 CPUtime=2.38 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 4130 0 0 0 237 1 0 0 20 0 15 0 250454841 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14092996 memory=3291328 CPUtime=1.15 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 7946 0 0 0 113 2 0 0 20 0 15 0 250454841 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14092996 memory=844 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14092996 memory=3880 CPUtime=0.04 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 586 0 0 0 1 3 0 0 20 0 15 0 250454842 14431227904 822832 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 111.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3291328 KiB
[startup+162.301 s]
/proc/loadavg: 1.72 1.71 1.77 3/215 29265
/proc/meminfo: memFree=19573308/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14092996 memory=2924684 CPUtime=172.15 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 71557 0 0 0 17085 130 0 0 20 0 15 0 250454836 14431227904 731171 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3523249 731171 3621 1 0 3485321 0
[pid=29165/tid=29167] ppid=29162 vsize=14092996 memory=2934944 CPUtime=161.14 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 32510 0 0 0 16063 51 0 0 20 0 15 0 250454836 14431227904 731171 33554432000 4194304 4196468 140729268331008 140634132120960 140633765337412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14092996 memory=2928788 CPUtime=0.91 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 2548 0 0 0 74 17 0 0 20 0 15 0 250454837 14431227904 731171 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14092996 memory=2928788 CPUtime=0.91 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 1928 0 0 0 74 17 0 0 20 0 15 0 250454837 14431227904 731171 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14092996 memory=2924684 CPUtime=0.91 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 1482 0 0 0 75 16 0 0 20 0 15 0 250454837 14431227904 731171 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14092996 memory=3116388 CPUtime=0.92 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2194 0 0 0 75 17 0 0 20 0 15 0 250454837 14431227904 731171 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14092996 memory=2938948 CPUtime=0.16 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 4318 0 0 0 15 1 0 0 20 0 15 0 250454838 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14092996 memory=2946128 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633600669408 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14092996 memory=2972828 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633599616256 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14092996 memory=3752 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14092996 memory=2946128 CPUtime=3.35 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 8415 0 0 0 333 2 0 0 20 0 15 0 250454841 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14092996 memory=2958440 CPUtime=2.48 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 6083 0 0 0 247 1 0 0 20 0 15 0 250454841 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14092996 memory=2934944 CPUtime=1.19 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 10016 0 0 0 117 2 0 0 20 0 15 0 250454841 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14092996 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14092996 memory=1020 CPUtime=0.08 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 623 0 0 0 4 4 0 0 20 0 15 0 250454842 14431227904 731171 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 172.15 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2924684 KiB
[startup+222.301 s]
/proc/loadavg: 1.72 1.71 1.76 3/215 29266
/proc/meminfo: memFree=19587400/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14092996 memory=2849400 CPUtime=233.35 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 82442 0 0 0 23198 137 0 0 20 0 15 0 250454836 14431227904 712350 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3523249 712350 3621 1 0 3485321 0
[pid=29165/tid=29167] ppid=29162 vsize=14092996 memory=2851456 CPUtime=220.76 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 36834 0 0 0 22025 51 0 0 20 0 15 0 250454836 14431227904 712350 33554432000 4194304 4196468 140729268331008 140634132120912 140633765337126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14092996 memory=2845304 CPUtime=1.25 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 3538 0 0 0 107 18 0 0 20 0 15 0 250454837 14431227904 712350 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14092996 memory=2845304 CPUtime=1.25 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 2292 0 0 0 107 18 0 0 20 0 15 0 250454837 14431227904 712350 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14092996 memory=2845304 CPUtime=1.24 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 1714 0 0 0 106 18 0 0 20 0 15 0 250454837 14431227904 712350 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14092996 memory=2853512 CPUtime=1.25 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2364 0 0 0 107 18 0 0 20 0 15 0 250454837 14431227904 712350 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14092996 memory=2845304 CPUtime=0.19 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 4570 0 0 0 17 2 0 0 20 0 15 0 250454838 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633600669408 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14092996 memory=2845304 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633599616256 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14092996 memory=2845304 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14092996 memory=1500 CPUtime=3.45 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 10202 0 0 0 343 2 0 0 20 0 15 0 250454841 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14092996 memory=844 CPUtime=2.53 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 7203 0 0 0 252 1 0 0 20 0 15 0 250454841 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14092996 memory=3880 CPUtime=1.22 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 11631 0 0 0 120 2 0 0 20 0 15 0 250454841 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14092996 memory=2845304 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14092996 memory=2845304 CPUtime=0.12 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 654 0 0 0 6 6 0 0 20 0 15 0 250454842 14431227904 712350 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 233.35 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2849400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+240.601 s]
/proc/loadavg: 1.66 1.69 1.76 3/215 29267
/proc/meminfo: memFree=19579836/32770624 swapFree=67108172/67108860
[pid=29165] ppid=29162 vsize=14092996 memory=2827336 CPUtime=252.06 cores=0,2,4,6
/proc/29165/stat : 29165 (java) S 29162 29165 21905 0 -1 1077944320 84415 0 0 0 25067 139 0 0 20 0 15 0 250454836 14431227904 706834 33554432000 4194304 4196468 140729268331008 140729268313552 140634127884023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
/proc/29165/statm: 3523249 706834 3621 1 0 3485321 0
[pid=29165/tid=29167] ppid=29162 vsize=14092996 memory=6791534058613427641 CPUtime=238.94 cores=0,2,4,6
/proc/29165/task/29167/stat : 29167 (java) R 29162 29165 21905 0 -1 4202560 37909 0 0 0 23843 51 0 0 20 0 15 0 250454836 14431227904 706834 33554432000 4194304 4196468 140729268331008 140634132120688 140633764690800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29168] ppid=29162 vsize=14092996 memory=288230583166042426 CPUtime=1.35 cores=0,2,4,6
/proc/29165/task/29168/stat : 29168 (java) S 29162 29165 21905 0 -1 1077944384 3553 0 0 0 117 18 0 0 20 0 15 0 250454837 14431227904 706834 33554432000 4194304 4196468 140729268331008 140634080504336 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29169] ppid=29162 vsize=14092996 memory=14974468741139023 CPUtime=1.36 cores=0,2,4,6
/proc/29165/task/29169/stat : 29169 (java) S 29162 29165 21905 0 -1 1077944384 2302 0 0 0 117 19 0 0 20 0 15 0 250454837 14431227904 706834 33554432000 4194304 4196468 140729268331008 140634079451792 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29170] ppid=29162 vsize=14092996 memory=2324 CPUtime=1.35 cores=0,2,4,6
/proc/29165/task/29170/stat : 29170 (java) S 29162 29165 21905 0 -1 1077944384 1736 0 0 0 117 18 0 0 20 0 15 0 250454837 14431227904 706834 33554432000 4194304 4196468 140729268331008 140634078398736 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29171] ppid=29162 vsize=14092996 memory=1580 CPUtime=1.36 cores=0,2,4,6
/proc/29165/task/29171/stat : 29171 (java) S 29162 29165 21905 0 -1 1077944384 2377 0 0 0 118 18 0 0 20 0 15 0 250454837 14431227904 706834 33554432000 4194304 4196468 140729268331008 140634077346192 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29172] ppid=29162 vsize=14092996 memory=496 CPUtime=0.2 cores=0,2,4,6
/proc/29165/task/29172/stat : 29172 (java) S 29162 29165 21905 0 -1 1077944384 4570 0 0 0 18 2 0 0 20 0 15 0 250454838 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633601723120 140634127895170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29173] ppid=29162 vsize=14092996 memory=928 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29173/stat : 29173 (java) S 29162 29165 21905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633600669408 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29174] ppid=29162 vsize=14092996 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29174/stat : 29174 (java) S 29162 29165 21905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250454839 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633599616256 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29175] ppid=29162 vsize=14092996 memory=1964 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29175/stat : 29175 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633598564816 140634127902619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29176] ppid=29162 vsize=14092996 memory=1572 CPUtime=3.48 cores=0,2,4,6
/proc/29165/task/29176/stat : 29176 (java) S 29162 29165 21905 0 -1 1077944384 10591 0 0 0 346 2 0 0 20 0 15 0 250454841 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633597511920 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29177] ppid=29162 vsize=14092996 memory=924 CPUtime=2.58 cores=0,2,4,6
/proc/29165/task/29177/stat : 29177 (java) S 29162 29165 21905 0 -1 1077944384 7594 0 0 0 257 1 0 0 20 0 15 0 250454841 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633596459376 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29178] ppid=29162 vsize=14092996 memory=1992 CPUtime=1.22 cores=0,2,4,6
/proc/29165/task/29178/stat : 29178 (java) S 29162 29165 21905 0 -1 1077944384 11689 0 0 0 120 2 0 0 20 0 15 0 250454841 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633595406320 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29179] ppid=29162 vsize=14092996 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/29165/task/29179/stat : 29179 (java) S 29162 29165 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250454841 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633594354016 140634127894229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
[pid=29165/tid=29180] ppid=29162 vsize=14092996 memory=1880 CPUtime=0.13 cores=0,2,4,6
/proc/29165/task/29180/stat : 29180 (java) S 29162 29165 21905 0 -1 1077944384 654 0 0 0 6 7 0 0 20 0 15 0 250454842 14431227904 706834 33554432000 4194304 4196468 140729268331008 140633593302064 140634127895170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39464960 140729268335706 140729268335886 140729268335886 140729268338639 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2827336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.631 s]
# the end of solver process 29165 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.688 s, system=1.41665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.631
CPU time (s): 252.105
CPU user time (s): 250.688
CPU system time (s): 1.41665
CPU usage (%): 104.769
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3454908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.688
system time used= 1.41665
maximum resident set size= 3454908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84912
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= 12361
involuntary context switches= 441
# summary of solver processes directly reported to runsolver:
# pid: 29165
# total CPU time (s): 252.105
# total CPU user time (s): 250.688
# total CPU system time (s): 1.41665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45586 second user time and 2.4761 second system time
The end
Begin job on node136 at 2018-08-15 12:28:37 IDJOB=4310555 IDBENCH=141153 IDSOLVER=2796 FILE ID=node136/4310555-1534328917 RUNJOBID= node136-1534323825-25433 PBS_JOBID= 21038144 Free space on /tmp= 38992 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-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-4310555-1534328917/watcher-4310555-1534328917 -o /tmp/evaluation-result-4310555-1534328917/solver-4310555-1534328917 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25433 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1729894513 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310555-1534328917.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1729894513 node136.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 : 5333.50 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 : 5333.50 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 : 5333.50 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 : 5333.50 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: 22104708 kB MemAvailable: 29437804 kB Buffers: 131112 kB Cached: 7430876 kB SwapCached: 16 kB Active: 6331748 kB Inactive: 3737948 kB Active(anon): 2459328 kB Inactive(anon): 109076 kB Active(file): 3872420 kB Inactive(file): 3628872 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67108172 kB Dirty: 35808 kB Writeback: 0 kB AnonPages: 2529748 kB Mapped: 68444 kB Shmem: 57768 kB Slab: 288528 kB SReclaimable: 260264 kB SUnreclaim: 28264 kB KernelStack: 3792 kB PageTables: 10368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3884972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2375680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 38956 MiB End job on node136 at 2018-08-15 12:32:37