Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT (TO) | 79194 | 20051.9 | 2520.23 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20333 |
Best CPU time to get the best result obtained on this benchmark | 19579.2 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1234 |
Number of constraints | 1134 |
Number of domains | 10 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
Minimum variable degree | 1 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1134 |
Distribution of constraint types | [{"type":"intension","count":1134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.66/0.56 c version: 2018-08-14 0.98/0.89 c seed: 1918783732 0.98/0.89 c timeout: 20160 0.98/0.89 c memlimit: 22000 0.98/0.89 c nbcore: 8 0.98/0.89 c Parsing instance... 3.17/1.54 c Parsing done, starting search... 65.26/10.95 o 125737 65.26/10.96 o 125727 65.26/10.96 o 124736 65.26/10.97 o 124726 65.26/10.97 o 124636 65.26/10.97 o 124626 65.26/10.98 o 124616 65.26/11.00 o 123736 65.26/11.00 o 123726 65.26/11.00 o 123716 65.26/11.00 o 123636 65.26/11.00 o 123626 66.13/11.02 o 123616 66.13/11.02 o 123606 66.13/11.02 o 123605 66.13/11.03 o 122736 66.13/11.03 o 122726 66.13/11.03 o 122725 66.13/11.03 o 122716 66.13/11.03 o 122715 66.13/11.04 o 122706 66.13/11.04 o 122705 66.13/11.04 o 122636 66.13/11.04 o 122626 66.13/11.04 o 122616 66.13/11.05 o 122606 66.13/11.05 o 122605 66.13/11.06 o 122604 66.13/11.06 o 122536 66.13/11.06 o 122535 66.13/11.06 o 122534 66.13/11.07 o 122526 66.13/11.07 o 122525 66.13/11.07 o 122524 66.13/11.07 o 122516 66.13/11.07 o 122515 66.13/11.07 o 122514 66.13/11.08 o 122506 66.13/11.08 o 122505 66.13/11.08 o 122504 66.13/11.08 o 121636 66.13/11.08 o 121635 66.13/11.08 o 121634 66.13/11.09 o 121626 66.13/11.09 o 121625 66.13/11.09 o 121624 66.13/11.09 o 121616 66.13/11.09 o 121615 66.13/11.09 o 121614 66.13/11.10 o 121606 66.13/11.10 o 121605 66.13/11.10 o 121604 66.13/11.10 o 121536 66.13/11.10 o 121526 66.13/11.10 o 121525 66.87/11.11 o 121524 66.87/11.11 o 121516 66.87/11.11 o 121515 66.87/11.11 o 121514 66.87/11.11 o 121506 66.87/11.11 o 121505 66.87/11.11 o 121504 66.87/11.12 o 121496 66.87/11.12 o 121495 66.87/11.12 o 121494 66.87/11.12 o 121486 66.87/11.13 o 121485 66.87/11.13 o 121484 66.87/11.13 o 121426 66.87/11.13 o 121425 66.87/11.13 o 121424 66.87/11.13 o 121416 66.87/11.14 o 121415 66.87/11.14 o 121414 66.87/11.14 o 121406 66.87/11.14 o 121405 66.87/11.14 o 121404 66.87/11.14 o 121396 66.87/11.15 o 121395 66.87/11.15 o 121394 66.87/11.15 o 121386 66.87/11.15 o 121385 66.87/11.15 o 121384 66.87/11.15 o 121336 66.87/11.16 o 121335 66.87/11.16 o 121326 66.87/11.16 o 121325 66.87/11.16 o 121316 66.87/11.16 o 121315 66.87/11.16 o 121306 66.87/11.16 o 121305 66.87/11.16 o 121296 66.87/11.17 o 121295 66.87/11.17 o 121294 66.87/11.17 o 121286 66.87/11.17 o 121285 66.87/11.17 o 121284 66.87/11.19 o 120626 66.87/11.20 o 120625 66.87/11.20 o 120526 66.87/11.20 o 120525 66.87/11.20 o 120524 66.87/11.20 o 120516 66.87/11.20 o 120515 66.87/11.20 o 120514 66.87/11.20 o 120506 67.59/11.21 o 120505 67.59/11.21 o 120504 67.59/11.21 o 120496 67.59/11.21 o 120495 67.59/11.21 o 120494 67.59/11.21 o 120426 67.59/11.21 o 120425 67.59/11.21 o 120424 67.59/11.22 o 120416 67.59/11.22 o 120415 67.59/11.22 o 120414 67.59/11.22 o 120406 67.59/11.22 o 120405 67.59/11.22 o 120404 67.59/11.22 o 120396 67.59/11.22 o 120395 67.59/11.22 o 120394 67.59/11.23 o 120386 67.59/11.23 o 120385 67.59/11.23 o 120384 67.59/11.23 o 120316 67.59/11.23 o 120306 67.59/11.23 o 120305 67.59/11.23 o 120304 67.59/11.24 o 120296 67.59/11.24 o 120295 67.59/11.24 o 120294 67.59/11.24 o 120286 67.59/11.24 o 120285 67.59/11.24 o 120284 67.59/11.25 o 119625 67.59/11.25 o 119624 67.59/11.25 o 119623 67.59/11.25 o 119525 67.59/11.25 o 119524 67.59/11.26 o 119523 67.59/11.26 o 119515 67.59/11.26 o 119514 67.59/11.26 o 119513 67.59/11.26 o 119505 67.59/11.26 o 119504 67.59/11.26 o 119503 67.59/11.26 o 119425 67.59/11.26 o 119424 67.59/11.26 o 119415 67.59/11.26 o 119414 67.59/11.29 o 119413 67.59/11.29 o 119405 67.59/11.29 o 119404 67.59/11.29 o 119403 67.59/11.29 o 119395 67.59/11.29 o 119394 67.59/11.29 o 119393 68.35/11.30 o 119315 68.35/11.30 o 119305 68.35/11.30 o 119295 68.35/11.30 o 119294 68.35/11.30 o 119293 68.35/11.32 o 119285 68.35/11.32 o 119284 68.35/11.32 o 119283 68.35/11.34 o 119225 68.35/11.34 o 119215 68.35/11.35 o 119214 68.35/11.35 o 119205 68.35/11.35 o 119204 68.35/11.35 o 119203 68.35/11.37 o 119195 68.35/11.37 o 119194 68.35/11.37 o 119193 68.35/11.37 o 119192 68.35/11.38 o 119185 68.35/11.38 o 119184 68.35/11.39 o 119183 69.12/11.40 o 119182 69.12/11.42 o 118625 69.12/11.42 o 118615 69.12/11.42 o 118525 69.12/11.42 o 118515 69.12/11.42 o 118514 69.12/11.42 o 118513 69.12/11.42 o 118505 69.12/11.42 o 118504 69.12/11.42 o 118503 69.12/11.43 o 118495 69.12/11.43 o 118494 69.12/11.43 o 118493 69.12/11.43 o 118425 69.12/11.43 o 118424 69.12/11.43 o 118423 69.12/11.43 o 118415 69.12/11.43 o 118414 69.12/11.44 o 118413 69.12/11.44 o 118405 69.12/11.44 o 118404 69.12/11.44 o 118403 69.12/11.44 o 118395 69.12/11.44 o 118394 69.12/11.44 o 118393 69.12/11.44 o 118325 69.12/11.45 o 118324 69.12/11.45 o 118315 69.12/11.45 o 118314 69.12/11.45 o 118305 69.12/11.45 o 118304 69.12/11.45 o 118295 69.12/11.45 o 118294 69.12/11.46 o 118293 69.12/11.46 o 118292 69.12/11.46 o 118285 69.12/11.46 o 118284 69.12/11.46 o 118283 69.12/11.47 o 118215 69.12/11.47 o 118205 69.12/11.47 o 118204 69.12/11.47 o 118195 69.12/11.48 o 118194 69.12/11.48 o 118193 69.12/11.48 o 118185 69.12/11.48 o 118184 69.12/11.48 o 118183 69.12/11.48 o 118182 69.12/11.50 o 118115 69.92/11.50 o 118114 69.92/11.50 o 118105 69.92/11.50 o 118104 69.92/11.50 o 118095 69.92/11.50 o 118094 69.92/11.50 o 118085 69.92/11.51 o 118084 69.92/11.51 o 118083 69.92/11.52 o 118082 69.92/11.54 o 118075 69.92/11.54 o 118074 69.92/11.55 o 118073 69.92/11.55 o 118072 70.72/11.60 o 118066 70.72/11.60 o 118065 70.72/11.60 o 118064 70.72/11.60 o 118063 70.72/11.61 o 118062 70.72/11.63 o 118055 70.72/11.63 o 118054 70.72/11.63 o 118053 70.72/11.64 o 118052 70.72/11.66 o 118045 70.72/11.66 o 118044 70.72/11.66 o 118043 70.72/11.66 o 118042 70.72/11.67 o 117995 70.72/11.68 o 117985 70.72/11.68 o 117975 70.72/11.68 o 117974 70.72/11.68 o 117973 70.72/11.68 o 117965 70.72/11.68 o 117964 70.72/11.68 o 117963 70.72/11.68 o 117955 70.72/11.68 o 117954 70.72/11.68 o 117953 70.72/11.68 o 117945 70.72/11.68 o 117944 70.72/11.69 o 117943 70.72/11.69 o 117935 70.72/11.69 o 117934 70.72/11.69 o 117933 70.72/11.69 o 117932 71.55/11.77 o 117886 71.55/11.78 o 117876 71.55/11.78 o 117866 71.55/11.78 o 117856 71.55/11.78 o 117855 71.55/11.78 o 117854 71.55/11.79 o 117845 71.55/11.79 o 117844 71.55/11.79 o 117843 71.55/11.79 o 117835 71.55/11.79 o 117834 71.55/11.79 o 117833 71.55/11.80 o 117832 73.98/12.04 o 117215 73.98/12.04 o 117205 73.98/12.04 o 117204 73.98/12.04 o 117203 73.98/12.04 o 117202 73.98/12.04 o 117195 73.98/12.04 o 117194 73.98/12.04 o 117193 73.98/12.05 o 117192 73.98/12.05 o 117186 73.98/12.05 o 117185 73.98/12.05 o 117184 73.98/12.05 o 117183 73.98/12.05 o 117182 73.98/12.06 o 117175 73.98/12.06 o 117174 73.98/12.06 o 117173 73.98/12.06 o 117172 73.98/12.06 o 117165 73.98/12.06 o 117164 73.98/12.06 o 117163 73.98/12.06 o 117162 73.98/12.06 o 117155 73.98/12.06 o 117154 73.98/12.07 o 117153 73.98/12.07 o 117152 73.98/12.07 o 117125 73.98/12.07 o 117115 73.98/12.07 o 117114 73.98/12.07 o 117113 73.98/12.07 o 117112 73.98/12.07 o 117105 73.98/12.07 o 117104 73.98/12.08 o 117103 73.98/12.08 o 117102 73.98/12.08 o 117095 73.98/12.08 o 117094 73.98/12.08 o 117093 73.98/12.08 o 117092 73.98/12.08 o 117085 73.98/12.08 o 117084 73.98/12.08 o 117083 73.98/12.09 o 117082 73.98/12.09 o 117076 73.98/12.09 o 117075 73.98/12.09 o 117074 73.98/12.10 o 117073 73.98/12.10 o 117072 73.98/12.10 o 117065 73.98/12.10 o 117064 73.98/12.10 o 117063 73.98/12.10 o 117062 73.98/12.10 o 117055 73.98/12.10 o 117054 73.98/12.10 o 117053 73.98/12.10 o 117052 74.78/12.11 o 117006 74.78/12.11 o 116996 74.78/12.11 o 116986 74.78/12.11 o 116976 74.78/12.11 o 116975 74.78/12.11 o 116974 74.78/12.11 o 116973 74.78/12.11 o 116972 74.78/12.11 o 116965 74.78/12.11 o 116964 74.78/12.11 o 116963 74.78/12.12 o 116962 74.78/12.12 o 116955 74.78/12.12 o 116954 74.78/12.12 o 116953 74.78/12.12 o 116952 74.78/12.12 o 116945 74.78/12.12 o 116944 74.78/12.12 o 116943 74.78/12.12 o 116942 74.78/12.13 o 116941 74.78/12.16 o 116935 74.78/12.16 o 116934 74.78/12.17 o 116933 74.78/12.17 o 116932 74.78/12.17 o 116931 74.78/12.17 o 116906 74.78/12.17 o 116896 74.78/12.17 o 116886 74.78/12.17 o 116885 74.78/12.17 o 116876 74.78/12.17 o 116875 74.78/12.17 o 116874 74.78/12.18 o 116873 74.78/12.18 o 116866 74.78/12.18 o 116865 74.78/12.18 o 116864 74.78/12.18 o 116863 74.78/12.18 o 116862 74.78/12.18 o 116855 74.78/12.18 o 116854 74.78/12.18 o 116853 74.78/12.19 o 116852 74.78/12.19 o 116845 74.78/12.19 o 116844 74.78/12.19 o 116843 74.78/12.19 o 116842 74.78/12.19 o 116835 74.78/12.19 o 116834 74.78/12.19 o 116833 74.78/12.19 o 116832 74.78/12.20 o 116831 76.29/12.38 o 116378 76.29/12.38 o 116278 76.29/12.38 o 116178 76.29/12.38 o 116177 76.29/12.38 o 116175 76.29/12.39 o 116078 76.29/12.39 o 116077 76.29/12.39 o 116075 76.29/12.39 o 115978 76.29/12.39 o 115968 76.29/12.39 o 115277 76.29/12.39 o 115267 76.29/12.39 o 115177 76.29/12.39 o 115167 76.29/12.40 o 115077 76.29/12.40 o 115067 76.29/12.40 o 114977 76.29/12.40 o 114967 76.29/12.40 o 114878 76.29/12.40 o 114868 77.12/12.41 o 114867 77.12/12.41 o 114277 77.12/12.41 o 114267 77.12/12.41 o 114177 77.12/12.41 o 114167 77.12/12.41 o 114077 77.12/12.41 o 114067 77.12/12.41 o 114066 77.12/12.42 o 113977 77.12/12.42 o 113967 77.12/12.42 o 113966 77.12/12.42 o 113878 77.12/12.42 o 113868 77.12/12.42 o 113867 77.12/12.43 o 113177 77.12/12.43 o 113176 77.12/12.43 o 113167 77.12/12.43 o 113157 77.12/12.44 o 113147 77.12/12.44 o 113146 77.12/12.44 o 113077 77.12/12.44 o 113076 77.12/12.44 o 113067 77.12/12.44 o 112977 77.12/12.44 o 112976 77.12/12.44 o 112970 77.12/12.44 o 112967 77.12/12.45 o 112960 77.12/12.45 o 112950 77.12/12.45 o 112940 77.12/12.45 o 112930 77.12/12.45 o 112929 77.12/12.45 o 112919 77.12/12.45 o 112918 77.12/12.45 o 112917 77.12/12.46 o 112877 77.12/12.46 o 112876 77.12/12.46 o 112867 77.12/12.46 o 112866 77.12/12.46 o 112778 77.12/12.47 o 112777 77.12/12.48 o 112771 77.12/12.48 o 112768 77.12/12.48 o 112767 77.12/12.48 o 112761 77.12/12.48 o 112760 77.12/12.48 o 112759 77.12/12.48 o 112758 77.12/12.48 o 112757 77.12/12.48 o 112751 77.12/12.48 o 112750 77.12/12.49 o 111876 77.12/12.49 o 111776 77.12/12.49 o 111766 77.12/12.49 o 102284 77.12/12.50 o 102283 77.12/12.50 o 102282 77.12/12.50 o 102184 77.12/12.50 o 102183 77.12/12.50 o 102182 77.12/12.50 o 102084 77.12/12.50 o 102083 77.12/12.50 o 102082 77.85/12.51 o 102081 77.85/12.51 o 101984 77.85/12.51 o 101983 77.85/12.51 o 101982 77.85/12.51 o 101981 77.85/12.51 o 101883 77.85/12.51 o 101882 77.85/12.51 o 101881 77.85/12.51 o 101083 77.85/12.51 o 101082 77.85/12.51 o 100983 77.85/12.52 o 100982 77.85/12.52 o 100981 77.85/12.52 o 100884 77.85/12.52 o 100883 77.85/12.52 o 100882 77.85/12.52 o 100881 77.85/12.52 o 100784 77.85/12.52 o 100783 77.85/12.53 o 100782 77.85/12.53 o 100781 77.85/12.53 o 100775 77.85/12.53 o 100774 77.85/12.53 o 100773 77.85/12.53 o 100772 77.85/12.53 o 100771 77.85/12.54 o 100770 77.85/12.54 o 100684 77.85/12.54 o 100683 77.85/12.54 o 100682 77.85/12.54 o 100681 77.85/12.54 o 100675 77.85/12.54 o 100674 77.85/12.54 o 100673 77.85/12.54 o 100672 77.85/12.56 o 100671 77.85/12.56 o 99975 77.85/12.56 o 99974 77.85/12.56 o 99973 77.85/12.56 o 99875 77.85/12.59 o 99874 78.60/12.60 o 99873 78.60/12.60 o 99775 78.60/12.60 o 99774 78.60/12.60 o 99773 78.60/12.60 o 99772 78.60/12.60 o 99771 78.60/12.62 o 99765 78.60/12.62 o 99764 78.60/12.62 o 99763 78.60/12.63 o 99762 78.60/12.63 o 99761 78.60/12.67 o 99760 78.60/12.68 o 99755 78.60/12.69 o 99754 78.60/12.69 o 99753 78.60/12.69 o 99752 78.60/12.69 o 99751 78.60/12.69 o 99750 79.34/12.70 o 99749 79.34/12.76 o 99684 79.34/12.76 o 99683 79.34/12.76 o 99682 79.34/12.76 o 99681 79.34/12.76 o 99675 79.34/12.76 o 99674 79.34/12.76 o 99673 79.34/12.77 o 99672 79.34/12.77 o 99671 79.34/12.77 o 99670 79.34/12.77 o 99665 79.34/12.77 o 99664 79.34/12.77 o 99663 79.34/12.77 o 99662 79.34/12.77 o 99661 79.34/12.77 o 99660 79.34/12.77 o 99659 80.14/12.84 o 99655 80.14/12.85 o 99654 80.14/12.85 o 99653 80.14/12.85 o 99652 80.14/12.85 o 99651 80.14/12.85 o 99650 80.14/12.85 o 99649 87.29/13.74 o 99648 87.29/13.75 o 99647 87.29/13.75 o 99646 87.29/13.75 o 99645 87.29/13.75 o 99644 87.29/13.75 o 99643 87.29/13.75 o 99642 87.29/13.76 o 99638 87.29/13.76 o 99637 87.29/13.76 o 99636 87.29/13.76 o 99635 87.29/13.76 o 99634 87.29/13.76 o 99633 87.29/13.76 o 99632 87.29/13.76 o 99631 88.09/13.80 o 99565 88.09/13.81 o 99564 88.09/13.81 o 99563 88.09/13.81 o 99555 88.09/13.81 o 99554 88.09/13.81 o 99553 88.09/13.81 o 99552 88.09/13.81 o 99551 88.09/13.81 o 99550 88.09/13.81 o 99549 88.09/13.81 o 99545 88.09/13.81 o 99544 88.09/13.82 o 99543 88.09/13.82 o 99542 88.09/13.82 o 99541 88.09/13.82 o 99540 88.09/13.82 o 99539 88.09/13.83 o 99538 88.09/13.83 o 99537 88.09/13.83 o 99536 88.09/13.83 o 99535 88.91/13.91 o 99480 88.91/13.92 o 99479 88.91/13.92 o 99478 88.91/13.92 o 99477 88.91/13.92 o 99469 88.91/13.92 o 99468 88.91/13.92 o 99467 88.91/13.92 o 99466 88.91/13.92 o 99465 88.91/13.92 o 99459 88.91/13.92 o 99458 88.91/13.92 o 99457 88.91/13.92 o 99456 88.91/13.93 o 99455 88.91/13.93 o 99454 88.91/13.93 o 99453 88.91/13.93 o 99452 88.91/13.93 o 99449 88.91/13.93 o 99448 88.91/13.93 o 99447 88.91/13.93 o 99446 88.91/13.93 o 99445 88.91/13.95 o 99444 88.91/13.95 o 99443 88.91/13.95 o 99442 88.91/13.95 o 99441 88.91/13.95 o 99440 88.91/13.95 o 99439 88.91/13.95 o 99438 88.91/13.95 o 99437 88.91/13.95 o 99432 88.91/13.95 o 99431 88.91/13.95 o 99430 88.91/13.95 o 99429 88.91/13.95 o 99428 88.91/13.96 o 99427 88.91/13.96 o 99421 88.91/13.96 o 99420 88.91/13.96 o 99419 88.91/13.96 o 99418 88.91/13.96 o 99417 88.91/13.96 o 99416 88.91/13.97 o 99412 88.91/13.97 o 99411 88.91/13.97 o 99410 88.91/13.97 o 99409 88.91/13.97 o 99380 88.91/13.97 o 99379 88.91/13.97 o 99372 88.91/13.97 o 99371 88.91/13.97 o 99370 88.91/13.97 o 99369 88.91/13.97 o 99362 88.91/13.97 o 99361 88.91/13.98 o 99360 88.91/13.98 o 99359 88.91/13.98 o 99358 88.91/13.98 o 99357 88.91/13.98 o 98872 88.91/13.98 o 98863 88.91/13.98 o 98862 88.91/13.98 o 98853 88.91/13.98 o 98852 88.91/13.98 o 98850 88.91/13.99 o 98849 88.91/13.99 o 98848 88.91/13.99 o 98840 88.91/13.99 o 98839 88.91/13.99 o 98838 88.91/13.99 o 98763 88.91/13.99 o 98761 88.91/14.00 o 98760 88.91/14.00 o 98753 88.91/14.00 o 98751 88.91/14.00 o 98750 88.91/14.00 o 98749 88.91/14.00 o 98662 88.91/14.00 o 98661 88.91/14.00 o 98660 88.91/14.00 o 98659 88.91/14.01 o 98652 88.91/14.01 o 98651 88.91/14.01 o 98650 88.91/14.01 o 98649 88.91/14.01 o 98642 88.91/14.01 o 98641 88.91/14.01 o 98640 89.73/14.01 o 98639 89.73/14.01 o 98572 89.73/14.02 o 98571 89.73/14.02 o 98570 89.73/14.02 o 98569 89.73/14.02 o 98563 89.73/14.02 o 98562 89.73/14.02 o 98561 89.73/14.02 o 98560 89.73/14.02 o 98559 89.73/14.02 o 98553 89.73/14.02 o 98552 89.73/14.02 o 98551 89.73/14.04 o 98547 89.73/14.04 o 98546 89.73/14.04 o 98545 89.73/14.04 o 98537 89.73/14.04 o 98536 89.73/14.04 o 98535 89.73/14.04 o 98534 89.73/14.04 o 98527 89.73/14.04 o 98526 89.73/14.06 o 98525 89.73/14.06 o 98524 89.73/14.07 o 98523 89.73/14.07 o 98516 89.73/14.07 o 98515 89.73/14.07 o 98514 89.73/14.08 o 98513 89.73/14.08 o 98506 89.73/14.08 o 98505 89.73/14.08 o 98504 89.73/14.08 o 98503 89.73/14.09 o 98463 89.73/14.10 o 98462 89.73/14.10 o 98461 89.73/14.10 o 98453 89.73/14.10 o 98452 89.73/14.10 o 98451 89.73/14.10 o 98450 89.73/14.10 o 98449 89.73/14.10 o 98362 89.73/14.10 o 98361 89.73/14.11 o 98360 89.73/14.11 o 98352 89.73/14.11 o 98351 89.73/14.11 o 98350 89.73/14.11 o 98349 89.73/14.11 o 98342 89.73/14.11 o 98341 89.73/14.11 o 98340 89.73/14.11 o 98339 89.73/14.12 o 98263 89.73/14.12 o 98262 89.73/14.12 o 98261 89.73/14.12 o 98260 89.73/14.12 o 98253 89.73/14.12 o 98252 89.73/14.12 o 98251 89.73/14.12 o 98250 89.73/14.12 o 98249 89.73/14.12 o 98243 89.73/14.12 o 98242 90.62/14.13 o 98241 90.62/14.13 o 98240 90.62/14.13 o 98239 90.62/14.13 o 98238 90.62/14.13 o 98237 90.62/14.13 o 98236 90.62/14.13 o 98235 90.62/14.20 o 98230 91.23/14.21 o 98229 91.23/14.21 o 98228 91.23/14.21 o 98227 91.23/14.21 o 98226 91.23/14.21 o 98221 91.23/14.21 o 98220 91.23/14.21 o 98211 91.23/14.21 o 98210 91.23/14.21 o 98201 91.23/14.21 o 98200 91.23/14.21 o 98199 91.23/14.21 o 98191 91.23/14.21 o 98190 91.23/14.21 o 98161 91.23/14.21 o 98160 91.23/14.21 o 98159 91.23/14.22 o 98158 91.23/14.22 o 98152 91.23/14.22 o 98151 91.23/14.22 o 98150 91.23/14.22 o 98149 91.23/14.22 o 98148 91.23/14.23 o 98141 91.23/14.23 o 98140 91.23/14.23 o 98139 91.23/14.23 o 98138 91.23/14.23 o 98130 91.23/14.23 o 98129 91.23/14.24 o 98128 91.23/14.24 o 98127 91.23/14.24 o 98121 91.23/14.24 o 98120 91.23/14.24 o 98110 91.23/14.24 o 98109 91.23/14.24 o 98108 91.23/14.24 o 98100 91.23/14.24 o 98099 91.23/14.24 o 98062 91.23/14.25 o 98061 91.23/14.25 o 98060 91.23/14.25 o 98059 91.23/14.25 o 98052 91.23/14.25 o 98051 91.23/14.25 o 98050 91.23/14.25 o 98049 91.23/14.26 o 98048 91.23/14.26 o 98047 91.23/14.26 o 98042 91.23/14.26 o 98040 91.23/14.26 o 98039 91.23/14.27 o 98038 91.23/14.27 o 98037 91.23/14.27 o 97972 91.23/14.27 o 97971 91.23/14.27 o 97970 91.23/14.27 o 97969 91.23/14.27 o 97962 91.23/14.27 o 97961 91.23/14.27 o 97960 91.23/14.27 o 97959 91.23/14.27 o 97958 91.23/14.27 o 97953 91.23/14.27 o 97952 91.23/14.28 o 97951 91.23/14.28 o 97950 91.23/14.28 o 97949 91.23/14.28 o 97948 91.23/14.28 o 97947 91.23/14.28 o 97943 91.23/14.28 o 97942 91.23/14.28 o 97940 91.23/14.29 o 97939 91.23/14.29 o 97938 91.23/14.29 o 97937 91.23/14.29 o 97931 91.23/14.30 o 97930 91.23/14.30 o 97929 91.23/14.30 o 97928 91.23/14.30 o 97927 91.23/14.30 o 97920 92.02/14.31 o 97919 92.02/14.31 o 97918 92.02/14.31 o 97917 92.02/14.31 o 97911 92.02/14.31 o 97853 92.02/14.31 o 97843 92.02/14.31 o 97842 92.02/14.31 o 97841 92.02/14.31 o 97840 92.02/14.31 o 97832 92.02/14.31 o 97831 92.02/14.31 o 97830 92.02/14.32 o 97829 92.02/14.32 o 97828 92.02/14.32 o 97827 92.02/14.32 o 97822 92.02/14.32 o 97821 92.02/14.32 o 97820 92.02/14.32 o 97819 92.02/14.32 o 97818 92.02/14.32 o 97817 92.02/14.33 o 97816 92.02/14.33 o 97815 92.02/14.33 o 97763 92.02/14.34 o 97762 92.02/14.34 o 97761 92.02/14.34 o 97760 92.02/14.34 o 97758 92.02/14.34 o 97757 92.02/14.34 o 97756 92.02/14.34 o 97748 92.02/14.34 o 97747 92.02/14.34 o 97746 92.02/14.34 o 97738 92.02/14.34 o 97737 92.02/14.34 o 97733 92.02/14.35 o 97729 92.02/14.35 o 97728 92.02/14.35 o 97727 92.02/14.35 o 97723 92.02/14.35 o 97722 92.02/14.35 o 97717 92.02/14.35 o 97716 92.02/14.35 o 97715 92.02/14.36 o 97714 92.02/14.36 o 97707 92.02/14.36 o 97706 92.02/14.36 o 97705 92.02/14.36 o 97704 92.02/14.36 o 97697 92.02/14.36 o 97696 92.02/14.36 o 97695 92.02/14.37 o 97694 92.02/14.37 o 97463 92.02/14.37 o 97453 92.02/14.37 o 97363 92.02/14.37 o 97353 92.02/14.37 o 97352 92.02/14.37 o 97351 92.02/14.37 o 97350 92.02/14.37 o 97349 92.02/14.37 o 97344 92.02/14.37 o 97343 92.02/14.37 o 97342 92.02/14.38 o 97341 92.02/14.38 o 97340 92.02/14.38 o 97339 92.02/14.38 o 97263 92.02/14.38 o 97262 92.02/14.38 o 97253 92.02/14.38 o 97252 92.02/14.38 o 97251 92.02/14.38 o 97250 92.02/14.38 o 97244 92.02/14.39 o 97243 92.02/14.39 o 97242 92.02/14.40 o 97241 92.02/14.40 o 97240 92.02/14.40 o 97239 92.02/14.40 o 97234 92.02/14.40 o 97233 92.02/14.40 o 97232 92.02/14.40 o 97231 92.02/14.40 o 97230 92.02/14.40 o 97229 92.02/14.40 o 97143 92.02/14.40 o 97133 92.02/14.40 o 97132 92.82/14.41 o 97131 92.82/14.41 o 97130 92.82/14.41 o 97129 92.82/14.41 o 97128 92.82/14.41 o 97042 92.82/14.41 o 97032 92.82/14.41 o 97031 92.82/14.42 o 97030 92.82/14.42 o 97029 92.82/14.42 o 97028 92.82/14.42 o 97022 92.82/14.42 o 97021 92.82/14.42 o 97020 92.82/14.42 o 97019 92.82/14.42 o 97018 92.82/14.42 o 96952 92.82/14.43 o 96951 92.82/14.43 o 96950 92.82/14.43 o 96949 92.82/14.43 o 96948 92.82/14.43 o 96942 92.82/14.43 o 96941 92.82/14.43 o 96940 92.82/14.43 o 96939 92.82/14.44 o 96938 92.82/14.44 o 96933 92.82/14.44 o 96932 92.82/14.44 o 96931 92.82/14.44 o 96930 92.82/14.44 o 96929 92.82/14.44 o 96928 92.82/14.44 o 96923 92.82/14.45 o 96922 92.82/14.45 o 96921 92.82/14.45 o 96920 92.82/14.45 o 96919 92.82/14.45 o 96918 92.82/14.46 o 96917 92.82/14.46 o 96916 92.82/14.46 o 96915 92.82/14.46 o 96914 92.82/14.46 o 96843 92.82/14.46 o 96842 92.82/14.47 o 96841 92.82/14.47 o 96840 92.82/14.47 o 96833 92.82/14.47 o 96832 92.82/14.47 o 96831 92.82/14.47 o 96830 92.82/14.47 o 96829 92.82/14.47 o 96828 92.82/14.47 o 96823 92.82/14.47 o 96822 92.82/14.48 o 96821 92.82/14.48 o 96820 92.82/14.48 o 96819 92.82/14.48 o 96818 92.82/14.48 o 96817 92.82/14.48 o 96816 92.82/14.48 o 96815 92.82/14.48 o 96814 99.95/15.37 o 96813 99.95/15.38 o 96812 99.95/15.38 o 96811 99.95/15.38 o 96810 99.95/15.38 o 96809 99.95/15.38 o 96808 99.95/15.38 o 96807 99.95/15.39 o 96806 99.95/15.40 o 96801 99.95/15.40 o 96800 99.95/15.40 o 96799 99.95/15.40 o 96798 99.95/15.40 o 96797 99.95/15.40 o 96790 99.95/15.40 o 96789 100.75/15.41 o 96788 100.75/15.41 o 96787 100.75/15.41 o 96786 100.75/15.41 o 96779 100.75/15.41 o 96778 100.75/15.41 o 96777 100.75/15.41 o 96776 100.75/15.41 o 96775 100.75/15.41 o 96744 100.75/15.41 o 96743 100.75/15.41 o 96734 100.75/15.41 o 96733 100.75/15.41 o 96732 100.75/15.41 o 96731 100.75/15.41 o 96730 100.75/15.41 o 96724 100.75/15.41 o 96723 100.75/15.41 o 96722 100.75/15.42 o 96721 100.75/15.42 o 96720 100.75/15.43 o 96719 100.75/15.43 o 96718 100.75/15.43 o 96717 100.75/15.43 o 96716 100.75/15.43 o 96715 100.75/15.46 o 96710 100.75/15.46 o 96709 100.75/15.46 o 96708 100.75/15.46 o 96701 100.75/15.46 o 96700 100.75/15.46 o 96699 100.75/15.46 o 96698 100.75/15.46 o 96363 100.75/15.47 o 96263 100.75/15.47 o 96262 100.75/15.47 o 96163 100.75/15.47 o 96162 100.75/15.47 o 96153 100.75/15.47 o 96152 100.75/15.47 o 96144 100.75/15.47 o 96143 100.75/15.47 o 96142 100.75/15.48 o 96141 100.75/15.48 o 96140 100.75/15.48 o 96139 100.75/15.48 o 96134 100.75/15.48 o 96133 100.75/15.48 o 96132 100.75/15.48 o 96131 100.75/15.48 o 96130 100.75/15.48 o 96129 100.75/15.49 o 96124 100.75/15.49 o 96123 100.75/15.49 o 96122 100.75/15.49 o 96121 100.75/15.49 o 96120 100.75/15.49 o 96119 100.75/15.49 o 96063 100.75/15.49 o 96062 100.75/15.49 o 96061 100.75/15.49 o 96053 100.75/15.49 o 96052 100.75/15.50 o 96051 100.75/15.50 o 96043 100.75/15.50 o 96042 100.75/15.50 o 96041 100.75/15.50 o 96040 100.75/15.50 o 96039 101.57/15.51 o 96034 101.57/15.51 o 96033 101.57/15.51 o 96032 101.57/15.51 o 96031 101.57/15.51 o 96030 101.57/15.51 o 96029 101.57/15.52 o 96024 101.57/15.52 o 96023 101.57/15.52 o 96022 101.57/15.52 o 96021 101.57/15.52 o 96020 101.57/15.52 o 96019 101.57/15.52 o 96018 101.57/15.52 o 95943 101.57/15.52 o 95933 101.57/15.52 o 95932 101.57/15.53 o 95931 101.57/15.53 o 95930 101.57/15.53 o 95929 101.57/15.53 o 95928 101.57/15.53 o 95923 101.57/15.53 o 95922 101.57/15.53 o 95921 101.57/15.53 o 95920 101.57/15.53 o 95919 101.57/15.54 o 95918 101.57/15.55 o 95852 101.57/15.55 o 95851 101.57/15.55 o 95842 101.57/15.55 o 95841 101.57/15.55 o 95833 101.57/15.55 o 95832 101.57/15.55 o 95831 101.57/15.55 o 95830 101.57/15.56 o 95829 101.57/15.56 o 95828 101.57/15.56 o 95823 101.57/15.56 o 95822 101.57/15.56 o 95821 101.57/15.56 o 95820 101.57/15.56 o 95819 101.57/15.56 o 95818 103.13/15.73 o 95813 103.13/15.74 o 95812 103.13/15.74 o 95803 103.13/15.74 o 95802 103.13/15.74 o 95793 103.13/15.74 o 95792 103.13/15.74 o 95783 103.13/15.74 o 95782 103.13/15.74 o 95773 103.13/15.74 o 95772 103.13/15.74 o 95771 103.13/15.74 o 95763 103.13/15.74 o 95762 103.13/15.75 o 95761 103.13/15.75 o 95753 103.13/15.75 o 95752 103.13/15.75 o 95751 103.13/15.75 o 95743 103.13/15.75 o 95742 103.13/15.75 o 95741 103.13/15.75 o 95740 103.13/15.75 o 95733 103.13/15.75 o 95732 103.13/15.76 o 95731 103.13/15.76 o 95730 103.13/15.76 o 95729 103.13/15.76 o 95728 103.13/15.76 o 95723 103.13/15.76 o 95722 103.13/15.76 o 95721 103.13/15.77 o 95720 103.13/15.77 o 95714 103.13/15.77 o 95713 103.13/15.77 o 95712 103.13/15.77 o 95711 103.13/15.77 o 95710 103.13/15.77 o 95709 103.13/15.78 o 95352 103.13/15.78 o 95351 103.13/15.78 o 95252 103.13/15.78 o 95251 103.13/15.79 o 95250 103.13/15.79 o 95249 103.13/15.79 o 95152 103.13/15.79 o 95151 103.13/15.79 o 95150 103.13/15.79 o 95149 103.13/15.79 o 95142 103.13/15.80 o 95141 103.13/15.80 o 95140 103.13/15.80 o 95139 103.13/15.80 o 95052 103.13/15.80 o 95051 103.13/15.80 o 95050 103.13/15.80 o 95049 103.13/15.80 o 95042 103.13/15.80 o 95041 103.13/15.80 o 95040 103.96/15.81 o 95039 103.96/15.81 o 95038 103.96/15.81 o 95032 103.96/15.81 o 95031 103.96/15.81 o 95030 103.96/15.81 o 95029 103.96/15.81 o 95028 103.96/15.82 o 95027 103.96/15.82 o 95022 103.96/15.82 o 95021 103.96/15.82 o 95020 103.96/15.82 o 95019 103.96/15.82 o 95018 103.96/15.82 o 95017 103.96/15.82 o 94961 103.96/15.82 o 94951 103.96/15.82 o 94950 103.96/15.83 o 94949 103.96/15.83 o 94948 103.96/15.83 o 94941 103.96/15.83 o 94940 103.96/15.83 o 94939 103.96/15.83 o 94938 103.96/15.83 o 94932 103.96/15.83 o 94931 103.96/15.83 o 94930 103.96/15.84 o 94929 103.96/15.84 o 94928 103.96/15.84 o 94927 103.96/15.84 o 94922 103.96/15.84 o 94921 103.96/15.84 o 94920 103.96/15.84 o 94919 103.96/15.84 o 94918 103.96/15.84 o 94917 103.96/15.85 o 94916 103.96/15.85 o 94850 103.96/15.85 o 94849 103.96/15.85 o 94848 103.96/15.85 o 94847 103.96/15.85 o 94846 103.96/15.85 o 94840 103.96/15.85 o 94839 103.96/15.86 o 94838 103.96/15.86 o 94837 103.96/15.86 o 94836 103.96/15.86 o 94831 103.96/15.86 o 94830 103.96/15.86 o 94829 103.96/15.86 o 94828 103.96/15.86 o 94827 103.96/15.86 o 94826 103.96/15.86 o 94821 103.96/15.86 o 94820 103.96/15.86 o 94819 103.96/15.87 o 94818 103.96/15.87 o 94817 103.96/15.87 o 94816 103.96/15.87 o 94815 103.96/15.87 o 94814 110.31/16.65 o 94808 110.31/16.67 o 94807 110.31/16.67 o 94806 110.31/16.67 o 94805 110.31/16.67 o 94804 110.31/16.67 o 94798 110.31/16.67 o 94797 110.31/16.67 o 94796 110.31/16.67 o 94795 110.31/16.67 o 94794 110.31/16.67 o 94788 110.31/16.67 o 94787 110.31/16.67 o 94786 110.31/16.67 o 94785 110.31/16.67 o 94784 110.31/16.68 o 94778 110.31/16.68 o 94777 110.31/16.68 o 94776 110.31/16.68 o 94775 110.31/16.68 o 94774 110.31/16.68 o 94769 110.31/16.68 o 94768 110.31/16.68 o 94767 110.31/16.68 o 94753 110.31/16.68 o 94752 110.31/16.68 o 94749 110.31/16.68 o 94743 110.31/16.68 o 94742 110.31/16.68 o 94739 110.31/16.69 o 94734 110.31/16.69 o 94733 110.31/16.69 o 94728 110.31/16.69 o 94724 110.31/16.69 o 94723 110.31/16.69 o 94718 110.31/16.69 o 94714 110.31/16.69 o 94713 110.31/16.69 o 94708 110.31/16.70 o 94707 110.31/16.70 o 94704 110.31/16.70 o 94703 111.10/16.70 o 94698 111.10/16.70 o 94697 111.10/16.70 o 94696 111.10/16.70 o 94695 111.10/16.70 o 94688 111.10/16.70 o 94632 111.10/16.70 o 94631 111.10/16.70 o 94630 111.10/16.71 o 94628 111.10/16.71 o 94627 111.10/16.71 o 94622 111.10/16.71 o 94621 111.10/16.71 o 94618 111.10/16.71 o 94612 111.10/16.71 o 94611 111.10/16.72 o 94608 111.10/16.72 o 94607 111.10/16.72 o 94606 111.10/16.72 o 94605 111.10/16.72 o 94598 111.10/16.72 o 94597 111.10/16.72 o 94596 111.10/16.72 o 94595 111.10/16.72 o 94588 111.10/16.73 o 94587 111.10/16.73 o 94586 111.10/16.73 o 94585 111.10/16.73 o 94578 111.10/16.73 o 94577 111.10/16.73 o 94576 111.10/16.73 o 94575 111.10/16.73 o 94574 111.10/16.73 o 94573 111.10/16.73 o 94340 111.10/16.74 o 94330 111.10/16.74 o 94329 111.10/16.74 o 94328 111.10/16.74 o 94240 111.10/16.74 o 94239 111.10/16.74 o 94238 111.10/16.74 o 94230 111.10/16.74 o 94229 111.10/16.75 o 94228 111.10/16.75 o 94151 111.10/16.75 o 94141 111.10/16.75 o 94140 111.10/16.75 o 94132 111.10/16.75 o 94131 111.10/16.75 o 94130 111.10/16.75 o 94129 111.10/16.75 o 94128 111.10/16.75 o 94127 111.10/16.75 o 94051 111.10/16.75 o 94050 111.10/16.76 o 94049 111.10/16.76 o 94041 111.10/16.76 o 94040 111.10/16.76 o 94039 111.10/16.76 o 94031 111.10/16.76 o 94030 111.10/16.76 o 94029 111.10/16.76 o 94028 111.10/16.76 o 94027 111.10/16.76 o 94022 111.10/16.76 o 94021 111.10/16.76 o 94020 111.10/16.77 o 94019 111.10/16.77 o 94018 111.10/16.77 o 94017 111.10/16.77 o 94012 111.10/16.77 o 94011 111.10/16.77 o 94010 111.10/16.77 o 94009 111.10/16.77 o 94008 111.10/16.77 o 94007 111.10/16.77 o 93942 111.10/16.77 o 93941 111.10/16.77 o 93940 111.10/16.77 o 93939 111.10/16.77 o 93938 111.10/16.79 o 93932 111.10/16.79 o 93931 111.10/16.79 o 93930 111.10/16.79 o 93929 111.10/16.79 o 93928 111.10/16.79 o 93921 111.10/16.79 o 93920 111.10/16.79 o 93919 111.10/16.79 o 93918 111.10/16.79 o 93911 111.10/16.79 o 93910 111.10/16.79 o 93909 111.10/16.79 o 93908 111.10/16.79 o 93907 111.10/16.79 o 93901 111.10/16.79 o 93900 111.10/16.79 o 93899 111.10/16.79 o 93898 111.10/16.79 o 93897 111.10/16.79 o 93850 111.10/16.79 o 93849 111.10/16.79 o 93848 111.10/16.79 o 93841 111.10/16.79 o 93840 111.10/16.81 o 93839 111.10/16.81 o 93838 111.10/16.81 o 93831 111.10/16.81 o 93830 111.10/16.81 o 93829 111.10/16.81 o 93828 111.10/16.81 o 93821 111.10/16.81 o 93820 111.10/16.81 o 93819 111.10/16.81 o 93818 111.10/16.81 o 93811 111.10/16.81 o 93810 111.10/16.81 o 93809 111.96/16.82 o 93808 111.96/16.82 o 93807 111.96/16.82 o 93801 111.96/16.82 o 93800 111.96/16.82 o 93799 111.96/16.82 o 93798 111.96/16.82 o 93797 111.96/16.82 o 93796 111.96/16.83 o 93739 111.96/16.83 o 93738 111.96/16.83 o 93729 111.96/16.83 o 93728 111.96/16.83 o 93727 111.96/16.83 o 93720 111.96/16.83 o 93719 111.96/16.83 o 93718 111.96/16.83 o 93717 111.96/16.83 o 93710 111.96/16.83 o 93709 111.96/16.83 o 93708 111.96/16.83 o 93707 111.96/16.84 o 93706 111.96/16.84 o 93700 111.96/16.84 o 93699 111.96/16.84 o 93698 111.96/16.84 o 93697 111.96/16.84 o 93696 111.96/16.84 o 93695 111.96/16.84 o 93694 111.96/16.85 o 93693 115.05/17.22 o 93634 115.05/17.23 o 93624 115.05/17.23 o 93623 115.05/17.23 o 93615 115.05/17.23 o 93614 115.05/17.23 o 93613 115.05/17.23 o 93612 115.05/17.23 o 93611 115.05/17.24 o 93605 115.05/17.24 o 93604 115.05/17.24 o 93603 115.05/17.24 o 93602 115.05/17.24 o 93601 115.05/17.24 o 93595 115.05/17.24 o 93594 115.05/17.25 o 93593 115.05/17.25 o 93592 115.05/17.25 o 93591 115.05/17.25 o 93513 115.05/17.25 o 93504 115.05/17.25 o 93503 115.05/17.25 o 93502 115.05/17.25 o 93501 115.05/17.25 o 93493 115.05/17.25 o 93492 115.05/17.26 o 93491 115.05/17.29 o 93414 115.05/17.29 o 93413 115.05/17.29 o 93412 115.80/17.30 o 93404 115.80/17.30 o 93403 115.80/17.31 o 93402 115.80/17.31 o 93394 115.80/17.31 o 93393 115.80/17.31 o 93392 115.80/17.31 o 93385 115.80/17.31 o 93384 115.80/17.31 o 93383 115.80/17.31 o 93382 115.80/17.32 o 93381 115.80/17.33 o 93374 115.80/17.33 o 93373 115.80/17.33 o 93372 115.80/17.33 o 93371 115.80/17.35 o 93324 115.80/17.35 o 93314 115.80/17.35 o 93313 115.80/17.35 o 93312 115.80/17.35 o 93311 115.80/17.35 o 93305 115.80/17.36 o 93304 115.80/17.36 o 93303 115.80/17.36 o 93302 115.80/17.36 o 93301 115.80/17.36 o 93294 115.80/17.36 o 93293 115.80/17.36 o 93292 115.80/17.36 o 93291 115.80/17.36 o 93284 115.80/17.36 o 93283 115.80/17.36 o 93282 115.80/17.36 o 93281 115.80/17.36 o 93274 115.80/17.36 o 93273 115.80/17.36 o 93272 115.80/17.37 o 93271 115.80/17.40 o 93214 116.60/17.40 o 93204 116.60/17.40 o 93203 116.60/17.40 o 93194 116.60/17.40 o 93193 116.60/17.40 o 93192 116.60/17.41 o 93183 116.60/17.41 o 93182 116.60/17.41 o 93181 116.60/17.41 o 93174 116.60/17.41 o 93173 116.60/17.41 o 93172 116.60/17.41 o 93171 116.60/17.42 o 93164 116.60/17.43 o 93163 116.60/17.43 o 93162 116.60/17.45 o 93154 116.60/17.46 o 93153 116.60/17.46 o 93152 116.60/17.46 o 93151 116.60/17.46 o 93143 116.60/17.46 o 93142 116.60/17.46 o 93141 116.60/17.50 o 92902 116.60/17.50 o 92802 117.40/17.51 o 92702 117.40/17.51 o 92701 117.40/17.51 o 92692 117.40/17.51 o 92691 117.40/17.51 o 92682 117.40/17.51 o 92681 117.40/17.51 o 92582 117.40/17.51 o 92581 117.40/17.51 o 92572 117.40/17.51 o 92571 117.40/17.52 o 92562 117.40/17.52 o 92561 117.40/17.52 o 92552 117.40/17.52 o 92551 117.40/17.52 o 92482 117.40/17.52 o 92472 117.40/17.52 o 92462 117.40/17.52 o 92461 117.40/17.52 o 92452 117.40/17.52 o 92451 117.40/17.53 o 92442 117.40/17.53 o 92441 117.40/17.53 o 92440 117.40/17.53 o 92393 117.40/17.53 o 92383 117.40/17.53 o 92382 117.40/17.53 o 92373 117.40/17.53 o 92372 117.40/17.53 o 92363 117.40/17.53 o 92362 117.40/17.54 o 92353 117.40/17.54 o 92352 117.40/17.54 o 92351 117.40/17.54 o 92342 117.40/17.54 o 92341 117.40/17.54 o 92340 117.40/17.54 o 92293 117.40/17.54 o 92283 117.40/17.54 o 92273 117.40/17.54 o 92263 117.40/17.54 o 92262 117.40/17.55 o 92253 117.40/17.55 o 92252 117.40/17.55 o 92251 117.40/17.55 o 92244 117.40/17.55 o 92243 117.40/17.55 o 92242 117.40/17.55 o 92241 117.40/17.56 o 92240 117.40/17.56 o 92203 117.40/17.56 o 92193 117.40/17.56 o 92192 117.40/17.56 o 92183 117.40/17.56 o 92182 117.40/17.56 o 92173 117.40/17.56 o 92172 117.40/17.57 o 92163 117.40/17.57 o 92162 117.40/17.57 o 92153 117.40/17.57 o 92152 117.40/17.57 o 92151 117.40/17.57 o 92144 117.40/17.57 o 92143 117.40/17.57 o 92142 117.40/17.57 o 92141 118.20/17.65 o 92132 118.20/17.66 o 92131 118.20/17.66 o 92130 118.20/17.66 o 92122 118.20/17.66 o 92121 118.20/17.66 o 92120 118.20/17.67 o 92052 118.20/17.67 o 92051 118.20/17.67 o 92043 118.20/17.67 o 92042 118.20/17.67 o 92041 118.20/17.67 o 92032 118.20/17.67 o 92031 118.20/17.68 o 92023 118.20/17.68 o 92022 118.20/17.68 o 92021 118.20/17.69 o 92012 118.20/17.69 o 92011 118.20/17.69 o 92010 123.75/18.36 o 91952 123.75/18.36 o 91951 123.75/18.37 o 91942 123.75/18.37 o 91941 123.75/18.37 o 91932 123.75/18.37 o 91931 123.75/18.37 o 91922 123.75/18.37 o 91921 123.75/18.37 o 91913 123.75/18.37 o 91912 123.75/18.38 o 91911 134.15/19.62 o 91910 134.15/19.63 o 91903 134.15/19.63 o 91902 134.15/19.63 o 91901 134.15/19.63 o 91900 134.15/19.63 o 91893 134.15/19.63 o 91892 134.15/19.63 o 91891 134.15/19.63 o 91890 134.15/19.63 o 91883 134.15/19.64 o 91882 134.15/19.64 o 91881 134.15/19.64 o 91880 134.15/19.65 o 91874 134.15/19.65 o 91873 134.15/19.65 o 91872 134.15/19.66 o 91871 134.15/19.66 o 91870 134.15/19.69 o 91842 134.92/19.70 o 91841 134.92/19.70 o 91832 134.92/19.70 o 91831 134.92/19.70 o 91822 134.92/19.70 o 91821 134.92/19.70 o 91813 134.92/19.70 o 91812 134.92/19.70 o 91811 134.92/19.71 o 91810 134.92/19.71 o 91809 134.92/19.71 o 91801 134.92/19.71 o 91800 134.92/19.71 o 91799 134.92/19.75 o 91793 134.92/19.75 o 91792 134.92/19.76 o 91791 134.92/19.76 o 91790 134.92/19.76 o 91783 134.92/19.76 o 91782 134.92/19.76 o 91781 134.92/19.76 o 91780 134.92/19.76 o 91773 134.92/19.76 o 91772 134.92/19.76 o 91771 134.92/19.76 o 91770 134.92/19.77 o 91763 134.92/19.77 o 91762 134.92/19.77 o 91761 134.92/19.77 o 91760 134.92/19.77 o 91753 134.92/19.77 o 91752 134.92/19.77 o 91751 134.92/19.77 o 91750 135.71/19.84 o 91740 135.71/19.85 o 91739 135.71/19.85 o 91640 135.71/19.85 o 91639 135.71/19.85 o 91630 135.71/19.85 o 91629 135.71/19.85 o 91620 135.71/19.85 o 91619 135.71/19.85 o 91571 135.71/19.85 o 91561 135.71/19.85 o 91551 135.71/19.86 o 91550 135.71/19.86 o 91541 135.71/19.86 o 91540 135.71/19.86 o 91440 135.71/19.86 o 91430 135.71/19.86 o 91420 135.71/19.86 o 91419 135.71/19.86 o 91340 135.71/19.87 o 91339 135.71/19.87 o 91330 135.71/19.87 o 91329 135.71/19.87 o 91320 135.71/19.87 o 91319 135.71/19.87 o 91310 135.71/19.87 o 91309 135.71/19.87 o 91240 135.71/19.87 o 91230 135.71/19.88 o 91229 135.71/19.88 o 91220 135.71/19.88 o 91219 135.71/19.88 o 91210 135.71/19.89 o 91209 135.71/19.89 o 91161 135.71/19.89 o 91151 135.71/19.89 o 91141 135.71/19.89 o 91131 135.71/19.89 o 91130 135.71/19.89 o 91121 135.71/19.89 o 91120 135.71/19.90 o 91119 135.71/19.90 o 91110 135.71/19.90 o 91109 135.71/19.90 o 91051 135.71/19.90 o 91050 136.51/19.91 o 91041 136.51/19.91 o 91040 136.51/19.91 o 91031 136.51/19.91 o 91030 136.51/19.91 o 91022 136.51/19.91 o 91021 136.51/19.91 o 91020 136.51/19.91 o 91019 136.51/19.92 o 91011 136.51/19.92 o 91010 136.51/19.92 o 91009 136.51/19.93 o 91008 136.51/19.94 o 91007 136.51/19.94 o 91000 136.51/19.94 o 90999 136.51/19.94 o 90998 136.51/19.95 o 90997 136.51/19.98 o 90988 136.51/19.99 o 90987 136.51/19.99 o 90951 136.51/19.99 o 90950 136.51/19.99 o 90941 136.51/19.99 o 90940 136.51/19.99 o 90931 136.51/19.99 o 90930 136.51/19.99 o 90921 136.51/19.99 o 90920 136.51/19.99 o 90919 136.51/20.01 o 90918 136.51/20.01 o 90909 136.51/20.01 o 90908 136.51/20.01 o 90900 136.51/20.01 o 90899 136.51/20.01 o 90898 150.03/21.63 o 90831 150.03/21.64 o 90821 150.03/21.64 o 90811 150.03/21.64 o 90810 150.03/21.64 o 90809 150.03/21.64 o 90800 150.03/21.64 o 90799 150.03/21.66 o 90559 150.03/21.66 o 90549 150.03/21.66 o 90539 150.03/21.66 o 90538 150.03/21.66 o 90459 150.03/21.66 o 90458 150.03/21.66 o 90449 150.03/21.66 o 90448 150.03/21.67 o 90439 150.03/21.67 o 90438 150.03/21.67 o 90359 150.03/21.67 o 90358 150.03/21.67 o 90349 150.03/21.67 o 90348 150.03/21.67 o 90339 150.03/21.67 o 90338 150.03/21.67 o 90337 150.03/21.67 o 90329 150.03/21.67 o 90328 150.03/21.69 o 90327 150.03/21.69 o 90249 150.03/21.69 o 90248 150.03/21.69 o 90239 150.03/21.69 o 90238 150.03/21.69 o 90229 150.03/21.69 o 90228 150.03/21.70 o 90218 150.03/21.70 o 90208 150.03/21.70 o 90207 150.03/21.70 o 90206 150.03/21.70 o 90198 150.03/21.70 o 90197 150.03/21.70 o 90196 150.03/21.70 o 90128 150.03/21.70 o 90118 150.03/21.70 o 90108 150.03/21.70 o 90107 150.83/21.70 o 90098 150.83/21.70 o 90097 150.83/21.70 o 90029 150.83/21.70 o 90019 150.83/21.71 o 90009 150.83/21.71 o 90008 150.83/21.71 o 90007 150.83/21.71 o 89998 150.83/21.71 o 89997 150.83/21.71 o 89939 150.83/21.71 o 89929 150.83/21.71 o 89919 150.83/21.71 o 89909 150.83/21.71 o 89908 150.83/21.72 o 89900 150.83/21.72 o 89899 150.83/21.72 o 89898 150.83/21.74 o 89850 150.83/21.75 o 89840 150.83/21.75 o 89839 150.83/21.75 o 89830 150.83/21.75 o 89829 150.83/21.75 o 89828 150.83/21.75 o 89820 150.83/21.75 o 89819 150.83/21.75 o 89818 155.61/22.37 o 89815 155.61/22.37 o 89814 155.61/22.37 o 89806 155.61/22.38 o 89805 155.61/22.38 o 89804 155.61/22.38 o 89796 155.61/22.38 o 89795 155.61/22.39 o 89794 155.61/22.39 o 89787 155.61/22.39 o 89786 155.61/22.39 o 89785 155.61/22.39 o 89726 155.61/22.39 o 89716 156.41/22.40 o 89706 156.41/22.40 o 89705 156.41/22.40 o 89704 156.41/22.40 o 89696 156.41/22.40 o 89695 156.41/22.41 o 89687 156.41/22.41 o 89686 156.41/22.42 o 89685 156.41/22.43 o 89684 156.41/22.43 o 89683 156.41/22.43 o 89678 156.41/22.43 o 89677 156.41/22.44 o 89676 156.41/22.45 o 89675 156.41/22.45 o 89626 156.41/22.45 o 89617 156.41/22.45 o 89612 156.41/22.45 o 89611 156.41/22.45 o 89610 156.41/22.45 o 89607 156.41/22.45 o 89532 156.41/22.46 o 89522 156.41/22.46 o 89521 156.41/22.46 o 89512 156.41/22.46 o 89511 156.41/22.46 o 89443 156.41/22.47 o 89433 156.41/22.47 o 89423 156.41/22.47 o 89422 156.41/22.47 o 89414 156.41/22.47 o 89413 156.41/22.47 o 89412 156.41/22.47 o 89404 156.41/22.47 o 89343 156.41/22.47 o 89333 156.41/22.48 o 89332 156.41/22.48 o 89323 156.41/22.48 o 89322 156.41/22.48 o 89314 156.41/22.48 o 89313 156.41/22.49 o 89312 156.41/22.49 o 89305 157.20/22.50 o 89250 157.20/22.50 o 89241 157.20/22.50 o 89240 157.20/22.50 o 89231 157.20/22.50 o 89230 157.20/22.50 o 89229 157.20/22.50 o 89221 157.20/22.50 o 89220 157.20/22.50 o 89219 157.20/22.50 o 89218 157.20/22.50 o 89152 157.20/22.50 o 89150 157.20/22.50 o 89149 157.20/22.51 o 89142 157.20/22.51 o 89141 157.20/22.51 o 89140 157.20/22.51 o 89139 157.20/22.51 o 89132 157.20/22.51 o 89131 157.20/22.51 o 89130 157.20/22.51 o 89129 157.20/22.51 o 89119 157.20/22.51 o 89118 157.20/22.52 o 89050 157.20/22.52 o 89049 157.20/22.52 o 89040 157.20/22.52 o 89039 157.20/22.52 o 89030 157.20/22.52 o 89029 157.20/22.52 o 89019 157.20/22.52 o 89018 157.20/22.52 o 88960 157.20/22.52 o 88951 157.20/22.53 o 88950 157.20/22.53 o 88941 157.20/22.53 o 88940 157.20/22.53 o 88931 157.20/22.53 o 88930 157.20/22.53 o 88929 157.20/22.54 o 88928 157.20/22.54 o 88919 157.20/22.54 o 88918 157.20/22.54 o 88860 157.20/22.54 o 88850 157.20/22.54 o 88840 157.20/22.54 o 88830 157.20/22.54 o 88829 157.20/22.54 o 88820 157.20/22.55 o 88819 157.20/22.55 o 88818 176.34/24.97 o 88814 176.34/24.98 o 88813 176.34/24.99 o 88812 176.34/24.99 o 88811 176.34/24.99 o 88810 176.34/25.01 o 88804 176.34/25.01 o 88803 176.34/25.01 o 88802 176.34/25.01 o 88801 176.34/25.01 o 88800 177.25/25.03 o 88799 177.25/25.07 o 88795 177.25/25.09 o 88794 177.25/25.09 o 88793 177.25/25.09 o 88792 177.25/25.09 o 88791 177.25/25.09 o 88790 177.25/25.09 o 88789 178.00/25.15 o 88784 178.00/25.15 o 88783 178.00/25.16 o 88782 178.00/25.16 o 88781 178.00/25.17 o 88780 178.00/25.17 o 88771 178.00/25.17 o 88770 178.72/25.26 o 88769 178.72/25.26 o 88768 180.31/25.41 o 88760 180.31/25.42 o 88750 180.31/25.42 o 88749 180.31/25.42 o 88739 180.31/25.42 o 88738 180.31/25.42 o 88729 180.31/25.42 o 88728 180.31/25.42 o 88719 180.31/25.42 o 88718 180.31/25.42 o 88710 180.31/25.43 o 88709 180.31/25.43 o 88708 180.31/25.44 o 88707 181.91/25.62 o 88701 181.91/25.63 o 88691 181.91/25.63 o 88690 181.91/25.63 o 88682 181.91/25.63 o 88681 181.91/25.63 o 88680 181.91/25.64 o 88672 181.91/25.64 o 88671 181.91/25.64 o 88670 181.91/25.65 o 88610 181.91/25.65 o 88609 181.91/25.65 o 88608 181.91/25.65 o 88600 181.91/25.65 o 88599 181.91/25.65 o 88598 181.91/25.65 o 88592 181.91/25.65 o 88591 181.91/25.65 o 88590 181.91/25.66 o 88589 181.91/25.66 o 88588 181.91/25.66 o 88582 181.91/25.66 o 88581 181.91/25.66 o 88580 181.91/25.67 o 88501 181.91/25.68 o 88500 181.91/25.68 o 88492 181.91/25.68 o 88491 181.91/25.68 o 88490 181.91/25.68 o 88482 181.91/25.68 o 88481 181.91/25.68 o 88480 181.91/25.68 o 88472 181.91/25.68 o 88471 181.91/25.68 o 88470 181.91/25.69 o 88463 181.91/25.69 o 88462 181.91/25.69 o 88461 181.91/25.69 o 88452 181.91/25.69 o 88451 181.91/25.69 o 88442 181.91/25.69 o 88441 181.91/25.69 o 88432 181.91/25.70 o 88431 181.91/25.70 o 88422 181.91/25.70 o 88421 181.91/25.70 o 88420 181.91/25.70 o 88412 181.91/25.70 o 88411 181.91/25.70 o 88402 181.91/25.70 o 88393 181.91/25.70 o 88392 181.91/25.70 o 88383 181.91/25.70 o 88382 181.91/25.71 o 88302 181.91/25.71 o 88292 182.78/25.72 o 88283 182.78/25.72 o 88282 182.78/25.72 o 88273 182.78/25.72 o 88272 182.78/25.72 o 88265 182.78/25.72 o 88264 182.78/25.72 o 88254 182.78/25.72 o 88244 182.78/25.72 o 88234 182.78/25.72 o 88233 182.78/25.72 o 88223 182.78/25.72 o 88222 182.78/25.72 o 88221 182.78/25.73 o 88212 182.78/25.73 o 88211 182.78/25.73 o 88164 182.78/25.73 o 88153 182.78/25.73 o 88144 182.78/25.73 o 88143 182.78/25.73 o 88133 182.78/25.73 o 88123 182.78/25.73 o 88122 182.78/25.74 o 88121 182.78/25.74 o 88112 182.78/25.74 o 88111 182.78/25.74 o 88064 182.78/25.74 o 88054 182.78/25.75 o 88053 182.78/25.75 o 88043 182.78/25.75 o 88033 182.78/25.75 o 88023 182.78/25.75 o 88022 182.78/25.75 o 88013 182.78/25.75 o 88012 182.78/25.76 o 88010 182.78/25.76 o 88009 182.78/25.76 o 88000 182.78/25.76 o 87999 182.78/25.76 o 87992 182.78/25.76 o 87991 182.78/25.76 o 87990 182.78/25.76 o 87989 182.78/25.76 o 87982 182.78/25.76 o 87981 182.78/25.76 o 87980 182.78/25.76 o 87979 182.78/25.76 o 87964 182.78/25.76 o 87954 182.78/25.77 o 87952 182.78/25.77 o 87944 182.78/25.77 o 87942 182.78/25.77 o 87941 182.78/25.77 o 87940 182.78/25.77 o 87939 182.78/25.77 o 87932 182.78/25.77 o 87930 182.78/25.77 o 87929 182.78/25.77 o 87923 182.78/25.77 o 87922 182.78/25.77 o 87921 182.78/25.79 o 87920 182.78/25.79 o 87919 182.78/25.79 o 87912 182.78/25.79 o 87911 182.78/25.79 o 87910 182.78/25.79 o 87909 182.78/25.79 o 87902 182.78/25.79 o 87900 182.78/25.79 o 87899 182.78/25.79 o 87898 182.78/25.80 o 87852 182.78/25.80 o 87842 182.78/25.80 o 87832 182.78/25.80 o 87831 182.78/25.80 o 87830 182.78/25.80 o 87829 182.78/25.80 o 87820 182.78/25.80 o 87819 182.78/25.80 o 87810 182.78/25.80 o 87809 182.78/25.80 o 87801 182.78/25.80 o 87800 183.49/25.81 o 87799 183.49/25.81 o 87798 183.49/25.81 o 87743 183.49/25.81 o 87733 183.49/25.81 o 87723 183.49/25.81 o 87722 183.49/25.81 o 87721 183.49/25.81 o 87720 183.49/25.82 o 87719 183.49/25.82 o 87712 183.49/25.82 o 87711 183.49/25.82 o 87710 183.49/25.82 o 87709 183.49/25.82 o 87700 183.49/25.82 o 87699 183.49/25.82 o 87690 183.49/25.83 o 87689 183.49/25.84 o 87688 185.14/26.02 o 87681 185.14/26.03 o 87680 185.14/26.07 o 87663 185.14/26.07 o 87653 185.14/26.08 o 87644 185.14/26.08 o 87643 185.14/26.08 o 87633 185.14/26.08 o 87632 185.14/26.08 o 87631 185.14/26.08 o 87630 185.14/26.08 o 87622 185.14/26.08 o 87621 185.14/26.08 o 87620 185.14/26.08 o 87612 185.14/26.08 o 87611 185.14/26.08 o 87610 185.14/26.09 o 87602 185.14/26.09 o 87601 185.14/26.09 o 87600 185.14/26.09 o 87592 185.14/26.09 o 87591 185.14/26.09 o 87590 185.14/26.10 o 87589 189.86/26.63 o 87581 189.86/26.63 o 87580 189.86/26.64 o 87571 189.86/26.64 o 87570 189.86/26.67 o 87534 189.86/26.68 o 87533 189.86/26.68 o 87532 189.86/26.68 o 87524 189.86/26.68 o 87523 189.86/26.68 o 87522 189.86/26.68 o 87514 189.86/26.68 o 87513 189.86/26.68 o 87512 189.86/26.68 o 87503 189.86/26.68 o 87502 189.86/26.68 o 87501 189.86/26.68 o 87500 189.86/26.69 o 87491 189.86/26.69 o 87490 189.86/26.69 o 87443 189.86/26.69 o 87442 189.86/26.69 o 87441 189.86/26.69 o 87432 189.86/26.69 o 87431 189.86/26.69 o 87422 189.86/26.69 o 87421 189.86/26.69 o 87412 189.86/26.69 o 87411 189.86/26.69 o 87402 189.86/26.69 o 87401 189.86/26.70 o 87400 189.86/26.70 o 87398 189.86/26.70 o 87397 189.86/26.70 o 87396 190.66/26.71 o 87339 190.66/26.71 o 87338 190.66/26.71 o 87337 190.66/26.71 o 87329 190.66/26.71 o 87328 190.66/26.71 o 87327 190.66/26.71 o 87319 190.66/26.71 o 87318 190.66/26.71 o 87317 190.66/26.71 o 87308 190.66/26.71 o 87307 190.66/26.71 o 87299 190.66/26.71 o 87298 190.66/26.71 o 87297 190.66/26.72 o 87260 190.66/26.72 o 87250 190.66/26.72 o 87249 190.66/26.72 o 87248 190.66/26.72 o 87240 190.66/26.72 o 87239 190.66/26.72 o 87238 190.66/26.72 o 87229 190.66/26.72 o 87228 190.66/26.72 o 87219 190.66/26.72 o 87218 190.66/26.73 o 87209 190.66/26.73 o 87208 190.66/26.73 o 87200 190.66/26.73 o 87198 190.66/26.73 o 87197 190.66/26.73 o 87152 190.66/26.73 o 87142 190.66/26.73 o 87140 190.66/26.73 o 87139 190.66/26.73 o 87131 190.66/26.73 o 87129 190.66/26.74 o 87121 190.66/26.74 o 87119 190.66/26.74 o 87112 190.66/26.74 o 87110 190.66/26.74 o 87109 190.66/26.74 o 87108 190.66/26.74 o 87098 190.66/26.74 o 87097 190.66/26.74 o 87050 190.66/26.74 o 87049 190.66/26.74 o 87040 190.66/26.75 o 87039 190.66/26.75 o 87038 190.66/26.75 o 87029 190.66/26.75 o 87028 190.66/26.75 o 87019 190.66/26.75 o 87018 190.66/26.75 o 87009 190.66/26.75 o 87008 190.66/26.75 o 87007 190.66/26.75 o 86999 190.66/26.75 o 86998 190.66/26.75 o 86997 190.66/26.76 o 86950 190.66/26.76 o 86949 190.66/26.76 o 86948 190.66/26.76 o 86940 190.66/26.76 o 86939 190.66/26.76 o 86938 190.66/26.76 o 86929 190.66/26.76 o 86928 190.66/26.76 o 86919 190.66/26.76 o 86918 190.66/26.76 o 86909 190.66/26.76 o 86908 190.66/26.77 o 86907 190.66/26.77 o 86898 190.66/26.77 o 86897 190.66/26.77 o 86860 190.66/26.77 o 86850 190.66/26.77 o 86840 190.66/26.78 o 86830 190.66/26.78 o 86820 190.66/26.78 o 86819 190.66/26.78 o 86809 190.66/26.78 o 86808 190.66/26.78 o 86799 190.66/26.78 o 86798 190.66/26.79 o 86797 190.66/26.80 o 86789 191.48/26.80 o 86780 191.48/26.80 o 86779 191.48/26.80 o 86762 191.48/26.80 o 86752 191.48/26.80 o 86742 191.48/26.80 o 86732 191.48/26.81 o 86722 191.48/26.81 o 86721 191.48/26.81 o 86720 191.48/26.81 o 86719 191.48/26.81 o 86711 191.48/26.81 o 86710 191.48/26.81 o 86709 191.48/26.82 o 86701 191.48/26.82 o 86700 191.48/26.82 o 86699 191.48/26.82 o 86698 191.48/26.86 o 86689 191.48/26.86 o 86680 191.48/26.86 o 86679 191.48/26.86 o 86670 191.48/26.87 o 86669 193.12/27.06 o 86668 193.12/27.07 o 86667 193.12/27.07 o 86666 193.12/27.08 o 86665 193.12/27.08 o 86659 193.12/27.08 o 86658 193.12/27.08 o 86657 193.12/27.10 o 86656 193.12/27.10 o 86655 193.12/27.11 o 86654 195.43/27.38 o 86642 195.43/27.39 o 86641 195.43/27.39 o 86632 195.43/27.39 o 86631 195.43/27.39 o 86621 195.43/27.39 o 86620 195.43/27.39 o 86611 195.43/27.39 o 86610 195.43/27.39 o 86601 195.43/27.39 o 86600 195.43/27.39 o 86591 195.43/27.39 o 86590 195.43/27.39 o 86589 196.23/27.40 o 86581 196.23/27.40 o 86580 196.23/27.40 o 86579 196.23/27.41 o 86578 196.23/27.47 o 86577 196.23/27.47 o 86570 196.23/27.47 o 86569 196.23/27.47 o 86568 196.23/27.48 o 86567 196.23/27.48 o 86566 196.23/27.49 o 86561 196.23/27.49 o 86560 196.23/27.49 o 86559 196.23/27.49 o 86558 196.23/27.49 o 86557 197.04/27.50 o 86556 197.04/27.51 o 86550 197.04/27.51 o 86540 197.04/27.51 o 86530 197.04/27.51 o 86529 197.04/27.51 o 86520 197.04/27.51 o 86519 197.04/27.51 o 86510 197.04/27.51 o 86509 197.04/27.51 o 86508 197.04/27.52 o 86507 197.04/27.52 o 86500 197.04/27.52 o 86499 197.04/27.52 o 86498 197.04/27.52 o 86497 197.04/27.52 o 86490 197.04/27.52 o 86489 197.04/27.53 o 86488 197.04/27.53 o 86487 197.04/27.53 o 86480 197.04/27.53 o 86479 197.04/27.53 o 86478 197.04/27.53 o 86477 197.04/27.53 o 86470 197.04/27.54 o 86469 197.04/27.54 o 86468 197.04/27.54 o 86467 197.04/27.54 o 86466 197.04/27.54 o 86461 197.04/27.54 o 86460 197.04/27.55 o 86459 197.04/27.55 o 86458 197.04/27.55 o 86457 197.04/27.55 o 86456 197.04/27.59 o 86452 197.82/27.60 o 86451 199.42/27.85 o 86432 199.42/27.86 o 86422 199.42/27.86 o 86421 199.42/27.86 o 86420 199.42/27.86 o 86411 199.42/27.86 o 86410 199.42/27.86 o 86401 199.42/27.86 o 86400 199.42/27.86 o 86399 199.42/27.86 o 86391 199.42/27.86 o 86390 199.42/27.86 o 86389 199.42/27.89 o 86381 199.42/27.90 o 86380 199.42/27.90 o 86379 199.42/27.90 o 86370 199.42/27.90 o 86369 202.61/28.22 o 86368 202.61/28.26 o 86367 202.61/28.27 o 86360 202.61/28.27 o 86359 202.61/28.27 o 86358 202.61/28.27 o 86357 203.40/28.32 o 86309 203.40/28.33 o 86308 203.40/28.33 o 86299 203.40/28.33 o 86298 203.40/28.33 o 86289 203.40/28.33 o 86288 203.40/28.33 o 86280 203.40/28.33 o 86279 203.40/28.33 o 86278 203.40/28.33 o 86270 203.40/28.33 o 86269 203.40/28.34 o 86268 203.40/28.34 o 86267 203.40/28.35 o 86260 203.40/28.35 o 86259 203.40/28.35 o 86258 203.40/28.35 o 86257 203.40/28.39 o 86213 203.40/28.39 o 86212 203.40/28.39 o 86203 203.40/28.39 o 86202 203.40/28.39 o 86192 203.40/28.39 o 86191 203.40/28.39 o 86190 203.40/28.39 o 86188 203.40/28.39 o 86187 203.40/28.39 o 86181 203.40/28.39 o 86178 203.40/28.40 o 86177 203.40/28.40 o 86169 203.40/28.40 o 86168 204.20/28.41 o 86167 204.20/28.41 o 86159 204.20/28.41 o 86158 204.20/28.41 o 86157 204.20/28.43 o 86156 204.20/28.45 o 86123 204.20/28.46 o 86122 204.20/28.46 o 86121 204.20/28.46 o 86120 204.20/28.46 o 86113 204.20/28.46 o 86110 204.20/28.46 o 86101 204.20/28.46 o 86100 204.20/28.46 o 86093 204.20/28.46 o 86092 204.20/28.46 o 86091 204.20/28.46 o 86090 204.20/28.47 o 86081 204.20/28.47 o 86080 204.20/28.47 o 86079 204.20/28.47 o 86070 204.20/28.47 o 86069 204.99/28.53 o 86036 204.99/28.53 o 86026 204.99/28.54 o 86025 204.99/28.54 o 86024 204.99/28.54 o 86015 204.99/28.54 o 86014 204.99/28.54 o 86005 204.99/28.54 o 86004 204.99/28.54 o 86003 204.99/28.54 o 85995 204.99/28.54 o 85994 204.99/28.55 o 85993 204.99/28.56 o 85992 205.79/28.66 o 85991 205.79/28.66 o 85983 205.79/28.66 o 85982 205.79/28.66 o 85981 205.79/28.66 o 85980 205.79/28.66 o 85972 205.79/28.66 o 85971 205.79/28.66 o 85970 205.79/28.67 o 85969 205.79/28.67 o 85961 205.79/28.67 o 85960 205.79/28.67 o 85959 205.79/28.67 o 85913 205.79/28.67 o 85902 205.79/28.67 o 85892 205.79/28.67 o 85891 205.79/28.67 o 85890 205.79/28.67 o 85882 205.79/28.67 o 85881 205.79/28.67 o 85880 205.79/28.67 o 85872 205.79/28.67 o 85871 205.79/28.67 o 85870 205.79/28.68 o 85862 205.79/28.68 o 85861 205.79/28.68 o 85860 205.79/28.68 o 85824 205.79/28.68 o 85813 205.79/28.68 o 85812 205.79/28.68 o 85802 205.79/28.69 o 85792 205.79/28.69 o 85791 205.79/28.69 o 85782 205.79/28.69 o 85781 205.79/28.70 o 85774 205.79/28.70 o 85773 205.79/28.70 o 85772 205.79/28.70 o 85771 205.79/28.71 o 85764 205.79/28.71 o 85763 205.79/28.71 o 85762 205.79/28.71 o 85761 206.65/28.72 o 85725 206.65/28.72 o 85724 206.65/28.72 o 85723 206.65/28.72 o 85715 206.65/28.72 o 85714 206.65/28.72 o 85713 206.65/28.72 o 85712 206.65/28.72 o 85705 206.65/28.72 o 85704 206.65/28.72 o 85703 206.65/28.72 o 85702 206.65/28.72 o 85694 206.65/28.73 o 85693 206.65/28.73 o 85692 206.65/28.73 o 85684 206.65/28.73 o 85683 206.65/28.73 o 85682 206.65/28.75 o 85681 206.65/28.77 o 85680 206.65/28.78 o 85671 206.65/28.78 o 85670 206.65/28.78 o 85662 206.65/28.78 o 85661 206.65/28.78 o 85660 206.65/28.78 o 85659 206.65/28.78 o 85651 206.65/28.78 o 85650 206.65/28.78 o 85649 207.44/28.85 o 85621 207.44/28.85 o 85620 207.44/28.85 o 85619 207.44/28.85 o 85618 207.44/28.85 o 85610 207.44/28.85 o 85609 207.44/28.85 o 85608 207.44/28.85 o 85607 207.44/28.85 o 85601 207.44/28.85 o 85600 207.44/28.85 o 85599 207.44/28.85 o 85598 207.44/28.85 o 85597 207.44/28.85 o 85591 207.44/28.86 o 85590 207.44/28.86 o 85589 207.44/28.86 o 85588 207.44/28.86 o 85587 207.44/28.86 o 85579 207.44/28.86 o 85578 207.44/28.86 o 85577 207.44/28.87 o 85569 207.44/28.87 o 85568 207.44/28.87 o 85567 207.44/28.90 o 85530 207.44/28.90 o 85520 208.17/28.91 o 85519 208.17/28.91 o 85510 208.17/28.91 o 85509 208.17/28.91 o 85508 208.17/28.91 o 85500 208.17/28.91 o 85499 208.17/28.91 o 85498 208.17/28.92 o 85489 208.17/28.92 o 85488 208.17/28.93 o 85481 208.17/28.94 o 85480 208.17/28.94 o 85479 208.17/28.94 o 85478 208.17/28.94 o 85471 208.17/28.94 o 85470 208.17/28.94 o 85469 208.17/28.94 o 85468 208.17/28.95 o 85432 208.17/28.95 o 85422 208.17/28.95 o 85421 208.17/28.95 o 85412 208.17/28.95 o 85411 208.17/28.95 o 85410 208.17/28.95 o 85409 208.17/28.96 o 85401 208.17/28.96 o 85400 208.17/28.96 o 85399 208.17/28.96 o 85392 208.17/28.96 o 85391 208.17/28.96 o 85390 208.17/28.96 o 85389 209.04/29.11 o 85388 209.84/29.11 o 85387 209.84/29.11 o 85382 209.84/29.11 o 85381 209.84/29.12 o 85380 209.84/29.12 o 85379 209.84/29.12 o 85378 209.84/29.12 o 85377 209.84/29.12 o 85375 209.84/29.12 o 85374 209.84/29.12 o 85373 209.84/29.13 o 85372 209.84/29.13 o 85371 209.84/29.13 o 85370 209.84/29.13 o 85369 211.36/29.37 o 85363 211.36/29.38 o 85362 211.36/29.38 o 85361 211.36/29.38 o 85360 211.36/29.38 o 85352 211.36/29.38 o 85351 211.36/29.38 o 85350 212.95/29.53 o 85349 212.95/29.53 o 85341 212.95/29.53 o 85340 212.95/29.53 o 85339 212.95/29.60 o 85302 212.95/29.60 o 85301 213.76/29.61 o 85300 213.76/29.61 o 85292 213.76/29.61 o 85291 213.76/29.61 o 85290 213.76/29.61 o 85282 213.76/29.61 o 85281 213.76/29.61 o 85280 213.76/29.61 o 85272 213.76/29.61 o 85271 213.76/29.61 o 85270 213.76/29.61 o 85269 213.76/29.62 o 85268 213.76/29.62 o 85263 213.76/29.62 o 85262 213.76/29.62 o 85261 213.76/29.62 o 85260 213.76/29.62 o 85259 213.76/29.62 o 85258 224.12/30.96 o 85223 224.12/30.96 o 85213 224.12/30.97 o 85204 224.12/30.97 o 85203 224.12/30.97 o 85194 224.12/30.97 o 85193 224.12/30.97 o 85192 224.12/30.99 o 85185 224.12/30.99 o 85184 224.12/30.99 o 85114 224.12/30.99 o 85104 224.12/30.99 o 85095 224.12/31.00 o 85094 224.12/31.00 o 85085 224.12/31.00 o 85084 224.12/31.00 o 85083 224.12/31.00 o 85075 224.12/31.00 o 85074 224.12/31.00 o 85004 224.12/31.00 o 84994 224.12/31.00 o 84985 224.12/31.01 o 84984 224.12/31.01 o 84975 224.12/31.01 o 84974 224.12/31.01 o 84973 224.98/31.07 o 84972 224.98/31.08 o 84971 224.98/31.08 o 84970 224.98/31.08 o 84963 224.98/31.08 o 84962 224.98/31.08 o 84961 224.98/31.08 o 84960 224.98/31.10 o 84959 225.87/31.13 o 84923 225.87/31.13 o 84913 225.87/31.13 o 84904 225.87/31.13 o 84903 225.87/31.13 o 84894 225.87/31.13 o 84893 225.87/31.13 o 84891 225.87/31.13 o 84890 225.87/31.13 o 84889 225.87/31.13 o 84888 225.87/31.14 o 84879 225.87/31.14 o 84878 225.87/31.15 o 84877 225.87/31.15 o 84868 225.87/31.15 o 84867 225.87/31.15 o 84866 225.87/31.15 o 84821 225.87/31.15 o 84820 225.87/31.15 o 84810 225.87/31.15 o 84800 225.87/31.16 o 84790 225.87/31.16 o 84789 225.87/31.16 o 84788 225.87/31.16 o 84780 225.87/31.16 o 84779 225.87/31.16 o 84778 225.87/31.16 o 84777 225.87/31.16 o 84769 225.87/31.16 o 84768 225.87/31.16 o 84767 225.87/31.16 o 84766 225.87/31.16 o 84711 225.87/31.16 o 84710 225.87/31.16 o 84700 225.87/31.17 o 84699 225.87/31.17 o 84698 225.87/31.17 o 84691 225.87/31.17 o 84690 225.87/31.17 o 84689 225.87/31.17 o 84688 225.87/31.17 o 84680 225.87/31.17 o 84679 225.87/31.17 o 84678 225.87/31.17 o 84677 225.87/31.18 o 84669 225.87/31.18 o 84668 225.87/31.18 o 84667 226.50/31.28 o 84622 226.50/31.29 o 84621 226.50/31.29 o 84620 226.50/31.29 o 84612 226.50/31.29 o 84611 226.50/31.29 o 84610 226.50/31.29 o 84602 226.50/31.29 o 84601 226.50/31.29 o 84600 226.50/31.29 o 84599 226.50/31.29 o 84592 226.50/31.29 o 84591 226.50/31.29 o 84590 226.50/31.29 o 84589 226.50/31.29 o 84581 226.50/31.30 o 84580 226.50/31.30 o 84579 226.50/31.30 o 84578 226.50/31.30 o 84571 226.50/31.30 o 84570 226.50/31.30 o 84569 227.30/31.31 o 84568 227.30/31.32 o 84534 227.30/31.32 o 84525 227.30/31.32 o 84524 227.30/31.32 o 84515 227.30/31.32 o 84514 227.30/31.32 o 84505 227.30/31.32 o 84504 227.30/31.32 o 84496 227.30/31.32 o 84495 227.30/31.32 o 84494 227.30/31.33 o 84487 227.30/31.33 o 84486 227.30/31.33 o 84485 227.30/31.34 o 84484 227.30/31.34 o 84483 227.30/31.34 o 84482 227.30/31.36 o 84481 230.49/31.78 o 84480 230.49/31.79 o 84479 230.49/31.79 o 84478 230.49/31.79 o 84471 230.49/31.79 o 84470 230.49/31.79 o 84469 230.49/31.79 o 84468 232.95/32.03 o 84414 232.95/32.03 o 84405 232.95/32.03 o 84404 232.95/32.03 o 84395 232.95/32.03 o 84394 232.95/32.03 o 84385 232.95/32.05 o 84384 232.95/32.05 o 84383 236.07/32.45 o 84379 236.07/32.45 o 84378 236.07/32.46 o 84377 236.07/32.46 o 84368 236.07/32.46 o 84367 236.07/32.46 o 84366 236.07/32.46 o 84365 236.07/32.46 o 84358 236.07/32.46 o 84357 236.07/32.46 o 84356 236.07/32.46 o 84355 240.06/32.98 o 84300 240.06/33.00 o 84299 240.06/33.00 o 84290 240.06/33.00 o 84289 240.06/33.00 o 84288 240.06/33.00 o 84280 240.06/33.00 o 84279 240.06/33.00 o 84278 240.06/33.00 o 84277 240.06/33.00 o 84270 240.06/33.00 o 84269 240.06/33.00 o 84268 240.06/33.00 o 84267 240.82/33.02 o 84266 240.82/33.02 o 84260 240.82/33.02 o 84259 240.82/33.02 o 84258 240.82/33.02 o 84257 240.82/33.02 o 84256 243.14/33.40 o 84255 243.14/33.41 o 84254 244.73/33.58 o 84200 244.73/33.59 o 84190 244.73/33.59 o 84189 244.73/33.59 o 84180 244.73/33.59 o 84179 244.73/33.59 o 84178 244.73/33.59 o 84177 244.73/33.59 o 84170 244.73/33.59 o 84169 244.73/33.59 o 84168 244.73/33.59 o 84167 244.73/33.59 o 84166 245.53/33.60 o 84160 245.53/33.60 o 84159 245.53/33.60 o 84158 245.53/33.60 o 84157 245.53/33.60 o 84156 251.10/34.37 o 84121 251.10/34.37 o 84120 251.10/34.37 o 84111 251.10/34.37 o 84110 251.10/34.37 o 84101 251.10/34.37 o 84100 251.10/34.37 o 84091 251.10/34.37 o 84090 251.10/34.37 o 84089 251.10/34.37 o 84088 251.10/34.37 o 84087 251.10/34.37 o 84080 251.10/34.38 o 84079 251.10/34.38 o 84078 251.10/34.38 o 84077 251.10/34.38 o 84070 251.10/34.38 o 84069 251.10/34.38 o 84068 251.10/34.38 o 84067 253.49/34.61 o 84051 253.49/34.62 o 84041 253.49/34.62 o 84031 253.49/34.62 o 84022 253.49/34.62 o 84021 253.49/34.62 o 84012 253.49/34.62 o 84011 253.49/34.62 o 84010 253.49/34.66 o 84003 253.49/34.67 o 84002 253.49/34.67 o 84001 254.29/34.71 o 84000 254.29/34.71 o 83999 254.29/34.73 o 83998 255.11/34.86 o 83992 255.11/34.87 o 83991 255.11/34.87 o 83990 255.11/34.87 o 83989 255.11/34.90 o 83983 255.11/34.91 o 83982 255.11/34.91 o 83981 255.11/34.91 o 83980 255.11/34.91 o 83979 255.11/34.91 o 83978 255.11/34.91 o 83977 255.97/34.93 o 83920 255.97/34.94 o 83919 255.97/34.94 o 83911 255.97/34.94 o 83910 255.97/34.94 o 83909 255.97/34.94 o 83901 255.97/34.94 o 83900 255.97/34.94 o 83899 255.97/34.94 o 83891 255.97/34.94 o 83890 255.97/34.94 o 83889 255.97/34.94 o 83881 255.97/34.94 o 83880 255.97/34.94 o 83879 255.97/34.94 o 83878 255.97/34.96 o 83830 255.97/34.96 o 83829 255.97/34.96 o 83821 255.97/34.97 o 83820 255.97/34.97 o 83819 255.97/34.97 o 83811 255.97/34.97 o 83810 255.97/34.97 o 83809 255.97/34.97 o 83801 255.97/34.97 o 83800 255.97/34.97 o 83799 255.97/34.97 o 83791 255.97/34.97 o 83790 255.97/34.97 o 83789 255.97/34.98 o 83788 256.76/35.10 o 83742 256.76/35.11 o 83741 256.76/35.11 o 83733 256.76/35.11 o 83732 256.76/35.11 o 83731 256.76/35.11 o 83723 256.76/35.11 o 83722 256.76/35.11 o 83721 256.76/35.11 o 83713 256.76/35.11 o 83712 256.76/35.11 o 83711 256.76/35.11 o 83704 256.76/35.11 o 83703 256.76/35.12 o 83702 256.76/35.12 o 83701 256.76/35.12 o 83694 256.76/35.12 o 83693 256.76/35.12 o 83692 256.76/35.12 o 83691 257.63/35.19 o 83690 257.63/35.20 o 83689 257.63/35.20 o 83688 259.08/35.39 o 83684 259.08/35.40 o 83683 259.08/35.40 o 83682 259.87/35.42 o 83681 260.67/35.52 o 83680 260.67/35.53 o 83679 260.67/35.56 o 83678 264.71/36.03 o 83673 264.71/36.03 o 83672 264.71/36.04 o 83671 264.71/36.04 o 83670 273.49/37.16 o 83668 273.49/37.17 o 83667 273.49/37.17 o 83666 273.49/37.17 o 83665 273.49/37.17 o 83609 273.49/37.17 o 83599 273.49/37.17 o 83598 273.49/37.17 o 83597 273.49/37.17 o 83589 273.49/37.17 o 83588 273.49/37.17 o 83587 273.49/37.17 o 83580 273.49/37.17 o 83579 273.49/37.19 o 83578 273.49/37.19 o 83577 273.49/37.19 o 83576 273.49/37.19 o 83575 273.49/37.20 o 83518 273.49/37.20 o 83517 273.49/37.20 o 83516 273.49/37.20 o 83509 273.49/37.20 o 83508 273.49/37.20 o 83507 273.49/37.20 o 83506 273.49/37.20 o 83499 273.49/37.20 o 83498 273.49/37.20 o 83497 273.49/37.20 o 83496 273.49/37.20 o 83488 273.49/37.20 o 83487 274.20/37.21 o 83486 274.20/37.21 o 83485 274.20/37.21 o 83477 274.20/37.21 o 83476 274.20/37.21 o 83475 274.20/37.21 o 83467 274.20/37.21 o 83466 274.20/37.21 o 83465 274.20/37.22 o 83408 274.20/37.22 o 83398 274.20/37.22 o 83397 274.20/37.22 o 83388 274.20/37.22 o 83387 274.20/37.22 o 83378 274.20/37.22 o 83377 274.20/37.22 o 83376 274.20/37.23 o 83375 274.20/37.23 o 83368 274.20/37.23 o 83367 274.20/37.23 o 83366 274.20/37.23 o 83365 274.20/37.24 o 83308 274.20/37.24 o 83307 274.20/37.24 o 83306 274.20/37.24 o 83298 274.20/37.24 o 83297 274.20/37.24 o 83296 274.20/37.24 o 83289 274.20/37.24 o 83288 274.20/37.24 o 83287 274.20/37.24 o 83286 274.20/37.24 o 83279 274.20/37.24 o 83278 274.20/37.24 o 83277 274.20/37.24 o 83276 274.20/37.25 o 83268 274.20/37.25 o 83267 274.20/37.25 o 83266 274.20/37.27 o 83265 274.20/37.27 o 83257 274.20/37.27 o 83256 274.20/37.27 o 83255 274.20/37.28 o 83197 274.20/37.28 o 83187 274.20/37.28 o 83186 274.20/37.28 o 83177 274.20/37.28 o 83176 274.20/37.28 o 83167 274.20/37.28 o 83166 274.20/37.28 o 83165 274.20/37.30 o 83157 274.20/37.30 o 83156 274.20/37.30 o 83155 303.70/40.93 o 83099 303.70/40.93 o 83098 303.70/40.93 o 83089 303.70/40.93 o 83088 303.70/40.93 o 83087 303.70/40.93 o 83079 303.70/40.93 o 83078 303.70/40.93 o 83077 303.70/40.93 o 83070 303.70/40.93 o 83069 303.70/40.93 o 83068 303.70/40.94 o 83067 303.70/40.94 o 83066 303.70/40.94 o 83059 303.70/40.94 o 83058 303.70/40.94 o 83057 303.70/40.94 o 83056 340.39/45.52 o 83054 340.39/45.53 o 83053 340.39/45.53 o 83052 340.39/45.53 o 83051 340.39/45.53 o 83050 340.39/45.53 o 83049 340.39/45.55 o 83048 357.04/47.63 o 83028 357.04/47.63 o 83018 357.04/47.63 o 83017 357.04/47.63 o 83016 357.04/47.63 o 83008 357.04/47.63 o 83007 357.04/47.63 o 83006 357.04/47.63 o 82998 357.04/47.63 o 82997 357.04/47.63 o 82996 357.04/47.63 o 82988 357.04/47.64 o 82987 357.04/47.64 o 82986 357.04/47.64 o 82978 357.04/47.64 o 82977 357.04/47.64 o 82976 357.04/47.64 o 82975 357.04/47.65 o 82967 357.04/47.65 o 82966 357.04/47.65 o 82965 385.75/51.26 o 82930 385.75/51.26 o 82920 385.75/51.26 o 82910 385.75/51.26 o 82909 385.75/51.26 o 82908 385.75/51.26 o 82900 385.75/51.26 o 82899 385.75/51.27 o 82898 385.75/51.27 o 82890 385.75/51.27 o 82889 385.75/51.27 o 82888 385.75/51.27 o 82887 385.75/51.27 o 82886 385.75/51.27 o 82880 385.75/51.27 o 82879 385.75/51.27 o 82878 385.75/51.28 o 82877 385.75/51.28 o 82876 385.75/51.28 o 82869 385.75/51.28 o 82868 385.75/51.29 o 82867 385.75/51.29 o 82866 2489.09/315.43 o 82859 2489.09/315.44 o 82858 2489.09/315.44 o 82849 2489.09/315.44 o 82848 2489.09/315.45 o 82847 2489.09/315.45 o 82839 2489.09/315.45 o 82838 2489.09/315.45 o 82837 2497.76/316.52 o 82836 2497.76/316.53 o 82759 2497.76/316.53 o 82749 2497.76/316.53 o 82748 2497.76/316.53 o 82747 2497.76/316.53 o 82740 2497.76/316.53 o 82739 2497.76/316.53 o 82738 2497.76/316.53 o 82737 2548.63/322.92 o 82681 2548.63/322.93 o 82680 2548.63/322.93 o 82679 2548.63/322.93 o 82678 2548.63/322.93 o 82670 2548.63/322.93 o 82669 2548.63/322.93 o 82668 2548.63/322.93 o 82667 2548.63/322.93 o 82659 2548.63/322.93 o 82658 2548.63/322.93 o 82657 2548.63/322.94 o 82649 2548.63/322.94 o 82648 2548.63/322.94 o 82647 2551.81/323.32 o 82580 2551.81/323.33 o 82579 2551.81/323.33 o 82570 2551.81/323.33 o 82569 2551.81/323.33 o 82568 2551.81/323.33 o 82567 2551.81/323.33 o 82559 2551.81/323.33 o 82558 2551.81/323.33 o 82557 2551.81/323.34 o 82549 2551.81/323.34 o 82548 2551.81/323.34 o 82547 2592.37/328.48 o 82546 2592.37/328.49 o 82540 2592.37/328.49 o 82539 2592.37/328.49 o 82538 2593.20/328.59 o 82537 2862.66/362.41 o 82532 2862.66/362.43 o 82531 2862.66/362.43 o 82474 2862.66/362.43 o 82473 2862.66/362.43 o 82464 2862.66/362.43 o 82463 2862.66/362.43 o 82462 2862.66/362.43 o 82453 2862.66/362.43 o 82452 2862.66/362.43 o 82443 2862.66/362.43 o 82442 2862.66/362.44 o 82441 2862.66/362.44 o 82440 2862.66/362.45 o 82352 2862.66/362.45 o 82351 2862.66/362.45 o 82350 2862.66/362.45 o 82342 2862.66/362.45 o 82341 2862.66/362.45 o 82340 2862.66/362.45 o 82331 2862.66/362.45 o 82330 2862.66/362.45 o 82329 2862.66/362.46 o 82264 2862.66/362.46 o 82263 2862.66/362.46 o 82262 2862.66/362.46 o 82261 2862.66/362.46 o 82253 2862.66/362.46 o 82252 2862.66/362.46 o 82251 2862.66/362.46 o 82242 2862.66/362.46 o 82241 2862.66/362.46 o 82240 2862.66/362.47 o 82231 2862.66/362.47 o 82230 2862.66/362.47 o 82229 2862.66/362.47 o 82163 2862.66/362.47 o 82153 2862.66/362.47 o 82152 2862.66/362.47 o 82151 2862.66/362.47 o 82142 2862.66/362.47 o 82141 2862.66/362.47 o 82140 2862.66/362.48 o 82132 2862.66/362.48 o 82131 2862.66/362.48 o 82130 2865.85/362.88 o 82129 2865.85/362.88 o 82128 2865.85/362.89 o 82122 2865.85/362.89 o 82121 2865.85/362.89 o 82120 2865.85/362.90 o 82119 2867.51/363.05 o 82118 2867.51/363.05 o 82117 2867.51/363.05 o 82110 2867.51/363.05 o 82109 2867.51/363.05 o 82108 2867.51/363.05 o 82107 2867.51/363.06 o 82106 2867.51/363.08 o 82063 2867.51/363.08 o 82062 2867.51/363.08 o 82061 2867.51/363.08 o 82053 2867.51/363.08 o 82052 2867.51/363.08 o 82051 2867.51/363.08 o 82042 2867.51/363.08 o 82041 2867.51/363.08 o 82040 2867.51/363.09 o 82032 2867.51/363.09 o 82031 2867.51/363.09 o 82030 2875.46/364.02 o 81971 2875.46/364.02 o 81970 2875.46/364.03 o 81969 2875.46/364.03 o 81961 2875.46/364.03 o 81960 2875.46/364.03 o 81959 2875.46/364.03 o 81950 2875.46/364.03 o 81949 2875.46/364.03 o 81940 2875.46/364.04 o 81939 2885.70/365.31 o 81938 2885.70/365.31 o 81871 2885.70/365.31 o 81870 2885.70/365.31 o 81869 2885.70/365.31 o 81861 2885.70/365.31 o 81860 2885.70/365.31 o 81859 2885.70/365.31 o 81850 2885.70/365.31 o 81849 2885.70/365.32 o 81840 2885.70/365.32 o 81839 3647.46/461.11 o 81791 3647.46/461.12 o 81790 3647.46/461.12 o 81789 3647.46/461.12 o 81781 3647.46/461.12 o 81780 3647.46/461.12 o 81779 3647.46/461.12 o 81770 3647.46/461.12 o 81769 3647.46/461.12 o 81760 3647.46/461.12 o 81759 4821.41/608.94 o 81750 4821.41/608.96 o 81749 4821.41/608.96 o 81748 4821.41/608.96 o 81739 4821.41/608.96 o 81738 4821.41/608.96 o 81737 4821.41/608.96 o 81729 4821.41/608.96 o 81728 4821.41/608.96 o 81727 4826.97/609.63 o 81726 4826.97/609.64 o 81649 4826.97/609.64 o 81648 4826.97/609.64 o 81639 4826.97/609.64 o 81638 4826.97/609.64 o 81637 4826.97/609.64 o 81630 4826.97/609.64 o 81629 4826.97/609.64 o 81628 4826.97/609.64 o 81627 5126.17/647.33 o 81623 5126.17/647.33 o 81622 5126.17/647.33 o 81621 5132.49/648.13 o 81581 5132.49/648.13 o 81580 5132.49/648.14 o 81579 5132.49/648.14 o 81571 5132.49/648.14 o 81570 5132.49/648.14 o 81569 5132.49/648.14 o 81568 5132.49/648.14 o 81560 5132.49/648.14 o 81559 5132.49/648.14 o 81558 5132.49/648.14 o 81550 5132.49/648.14 o 81549 5132.49/648.15 o 81548 5132.49/648.18 o 81547 5132.49/648.19 o 81539 5132.49/648.19 o 81538 5132.49/648.19 o 81537 5132.49/648.19 o 81536 5132.49/648.19 o 81470 5132.49/648.19 o 81469 5132.49/648.19 o 81468 5132.49/648.20 o 81460 5132.49/648.20 o 81459 5132.49/648.20 o 81458 5132.49/648.20 o 81457 5132.49/648.20 o 81449 5132.49/648.20 o 81448 5133.24/648.20 o 81447 5133.24/648.22 o 81439 5133.24/648.22 o 81438 5133.24/648.22 o 81437 5178.44/653.99 o 81436 5178.44/654.00 o 81370 5178.44/654.00 o 81369 5178.44/654.00 o 81368 5178.44/654.00 o 81360 5178.44/654.00 o 81359 5178.44/654.00 o 81358 5178.44/654.00 o 81357 5178.44/654.00 o 81349 5178.44/654.00 o 81348 5178.44/654.00 o 81347 5178.44/654.01 o 81339 5178.44/654.01 o 81338 5178.44/654.01 o 81337 5729.26/723.33 o 81335 5729.26/723.33 o 81334 5729.26/723.33 o 81333 5729.26/723.33 o 81332 5730.84/723.52 o 81331 5769.07/728.37 o 81330 5769.07/728.37 o 81329 5771.48/728.69 o 81328 5780.24/729.72 o 81322 5780.24/729.72 o 81321 5780.24/729.73 o 81320 5780.24/729.73 o 81319 5780.24/729.73 o 81318 7152.22/901.99 o 81270 7152.22/902.00 o 81269 7152.22/902.00 o 81268 7152.22/902.00 o 81260 7152.22/902.00 o 81259 7152.22/902.00 o 81258 7152.22/902.00 o 81257 7152.22/902.00 o 81249 7152.22/902.00 o 81248 7152.22/902.00 o 81247 7152.22/902.01 o 81239 7152.22/902.01 o 81238 7152.22/902.01 o 81237 8064.10/1016.33 o 81236 8064.10/1016.35 o 81171 8064.10/1016.35 o 81170 8064.10/1016.35 o 81169 8064.10/1016.35 o 81168 8064.10/1016.35 o 81160 8064.10/1016.35 o 81159 8064.10/1016.35 o 81158 8064.10/1016.35 o 81157 8064.10/1016.35 o 81149 8064.10/1016.35 o 81148 8064.10/1016.35 o 81147 8064.10/1016.36 o 81139 8064.10/1016.36 o 81138 8064.10/1016.36 o 81137 15723.79/1977.29 o 81133 15723.79/1977.30 o 81132 15723.79/1977.30 o 81123 15723.79/1977.30 o 81122 15723.79/1977.30 o 81114 15723.79/1977.30 o 81113 15723.79/1977.30 o 81112 15723.79/1977.30 o 81105 15724.59/1977.31 o 81104 15724.59/1977.31 o 81103 15726.98/1977.68 o 81102 15727.78/1977.75 o 81095 15727.78/1977.76 o 81094 15727.78/1977.76 o 81093 15731.76/1978.26 o 81092 15743.73/1979.74 o 81091 15743.73/1979.76 o 81090 15743.73/1979.76 o 81089 15743.73/1979.76 o 81088 15743.73/1979.76 o 81087 15743.73/1979.76 o 81086 15743.73/1979.80 o 81085 15744.53/1979.83 o 81082 15744.53/1979.83 o 81081 15744.53/1979.84 o 81080 15745.33/1979.91 o 81079 16025.17/2015.02 o 81078 16025.17/2015.04 o 81077 16615.01/2089.05 o 81059 16615.01/2089.07 o 81058 16615.01/2089.07 o 81057 16615.01/2089.07 o 81056 16615.01/2089.07 o 81048 16615.01/2089.07 o 81047 16615.01/2089.07 o 81046 16615.01/2089.07 o 81038 16615.01/2089.07 o 81037 16615.01/2089.07 o 81036 16618.17/2089.45 o 81035 16622.11/2089.95 o 81034 16622.11/2089.96 o 81033 16646.04/2092.92 o 80970 16646.04/2092.93 o 80969 16646.04/2092.93 o 80968 16646.04/2092.93 o 80967 16646.04/2092.93 o 80960 16646.04/2092.93 o 80959 16646.04/2092.93 o 80958 16646.04/2092.93 o 80957 16647.70/2093.15 o 80951 16647.70/2093.16 o 80950 16647.70/2093.16 o 80949 16647.70/2093.17 o 80948 16647.70/2093.17 o 80947 16647.70/2093.17 o 80946 16647.70/2093.17 o 80871 16647.70/2093.17 o 80870 16647.70/2093.17 o 80869 16647.70/2093.17 o 80868 16647.70/2093.17 o 80867 16647.70/2093.17 o 80859 16647.70/2093.17 o 80858 16647.70/2093.17 o 80857 16647.70/2093.18 o 80849 16647.70/2093.19 o 80848 16647.70/2093.19 o 80847 16651.62/2093.68 o 80846 16651.62/2093.68 o 80845 16682.71/2097.53 o 80769 16682.71/2097.53 o 80768 16682.71/2097.55 o 80767 16682.71/2097.55 o 80766 16682.71/2097.55 o 80759 16682.71/2097.55 o 80758 16682.71/2097.55 o 80757 16682.71/2097.55 o 80756 16682.71/2097.55 o 80748 16682.71/2097.55 o 80747 16682.71/2097.55 o 80746 16686.79/2098.06 o 80745 16686.79/2098.07 o 80744 16693.08/2098.86 o 80669 16693.08/2098.87 o 80668 16693.08/2098.87 o 80667 16693.08/2098.87 o 80666 16693.08/2098.87 o 80658 16693.08/2098.87 o 80657 16693.08/2098.87 o 80656 16693.08/2098.88 o 80648 16693.08/2098.88 o 80647 16693.08/2098.88 o 80646 16709.03/2100.84 o 80645 16709.03/2100.84 o 80644 16791.15/2111.16 o 80639 16791.15/2111.17 o 80638 16791.15/2111.17 o 80637 16791.15/2111.19 o 80636 16791.15/2111.20 o 80628 16791.15/2111.20 o 80627 16791.15/2111.20 o 80626 16791.87/2111.21 o 80625 16791.87/2111.21 o 80549 16791.87/2111.21 o 80548 16791.87/2111.21 o 80547 16791.87/2111.21 o 80546 16791.87/2111.21 o 80538 16791.87/2111.21 o 80537 16791.87/2111.21 o 80536 16791.87/2111.22 o 80528 16791.87/2111.22 o 80527 16791.87/2111.22 o 80526 16800.64/2112.38 o 80525 16800.64/2112.39 o 80524 16800.64/2112.39 o 80523 16800.64/2112.39 o 80522 16800.64/2112.39 o 80521 16802.24/2112.54 o 80520 16802.24/2112.54 o 80515 16802.24/2112.55 o 80514 16802.24/2112.55 o 80513 16802.24/2112.55 o 80512 16802.24/2112.55 o 80511 16805.46/2112.91 o 80510 16806.34/2113.07 o 80509 16813.41/2113.90 o 80508 16813.41/2113.91 o 80507 16813.41/2113.93 o 80506 16813.41/2113.97 o 80475 16813.41/2113.98 o 80474 16813.41/2113.98 o 80473 16813.41/2113.98 o 80472 16813.41/2113.98 o 80464 16813.41/2113.98 o 80463 16813.41/2113.98 o 80462 16813.41/2113.98 o 80461 16813.41/2113.98 o 80454 16813.41/2113.98 o 80453 16813.41/2113.98 o 80452 16813.41/2114.00 o 80451 16813.41/2114.00 o 80450 16813.41/2114.00 o 80375 16813.41/2114.00 o 80374 16813.41/2114.00 o 80373 16814.30/2114.02 o 80372 16814.30/2114.02 o 80364 16814.30/2114.02 o 80363 16814.30/2114.02 o 80362 16814.30/2114.02 o 80361 16814.30/2114.02 o 80360 16814.30/2114.02 o 80352 16814.30/2114.02 o 80351 16814.30/2114.02 o 80350 16814.30/2114.03 o 80349 16814.30/2114.03 o 80342 16814.30/2114.03 o 80341 16814.30/2114.03 o 80340 16814.30/2114.03 o 80339 16814.30/2114.03 o 80264 16814.30/2114.03 o 80263 16814.30/2114.03 o 80262 16814.30/2114.03 o 80261 16814.30/2114.04 o 80253 16814.30/2114.04 o 80252 16814.30/2114.04 o 80251 16814.30/2114.04 o 80250 16814.30/2114.05 o 80249 16814.30/2114.05 o 80242 16814.30/2114.06 o 80241 16814.30/2114.06 o 80240 16814.30/2114.06 o 80239 16814.30/2114.06 o 80165 16814.30/2114.06 o 80164 16814.30/2114.06 o 80163 16814.30/2114.06 o 80162 16814.30/2114.06 o 80161 16814.30/2114.06 o 80153 16814.30/2114.06 o 80152 16814.30/2114.07 o 80151 16814.30/2114.07 o 80150 16814.30/2114.07 o 80143 16814.30/2114.07 o 80142 16814.30/2114.07 o 80141 16814.30/2114.07 o 80140 16816.65/2114.31 o 80074 16816.65/2114.32 o 80073 16816.65/2114.32 o 80072 16816.65/2114.32 o 80071 16816.65/2114.32 o 80063 16816.65/2114.32 o 80062 16816.65/2114.32 o 80061 16816.65/2114.32 o 80060 16816.65/2114.32 o 80053 16816.65/2114.32 o 80052 16816.65/2114.32 o 80051 16816.65/2114.33 o 80050 16816.65/2114.33 o 80049 16816.65/2114.34 o 80048 16816.65/2114.34 o 80041 16816.65/2114.34 o 80040 16816.65/2114.34 o 80039 16816.65/2114.34 o 80038 16816.65/2114.34 o 79963 16816.65/2114.34 o 79962 16816.65/2114.34 o 79961 16816.65/2114.34 o 79960 16816.65/2114.35 o 79953 16816.65/2114.35 o 79952 16816.65/2114.35 o 79951 16816.65/2114.35 o 79950 16816.65/2114.35 o 79949 16816.65/2114.35 o 79942 16816.65/2114.35 o 79941 16816.65/2114.36 o 79940 16816.65/2114.36 o 79939 16823.81/2115.30 o 79937 16824.60/2115.31 o 79936 16824.60/2115.31 o 79935 16835.71/2116.74 o 79934 16835.71/2116.74 o 79859 16835.71/2116.74 o 79858 16835.71/2116.74 o 79857 16835.71/2116.74 o 79856 16835.71/2116.74 o 79855 16835.71/2116.74 o 79847 16835.71/2116.74 o 79846 16835.71/2116.74 o 79845 16835.71/2116.77 o 79844 16837.31/2116.92 o 79837 16837.31/2116.92 o 79836 16837.31/2116.92 o 79835 16837.31/2117.00 o 79834 16838.98/2117.16 o 79771 16838.98/2117.16 o 79770 16838.98/2117.16 o 79769 16838.98/2117.17 o 79768 16838.98/2117.17 o 79760 16838.98/2117.17 o 79759 16838.98/2117.17 o 79758 16838.98/2117.18 o 79750 16838.98/2117.18 o 79749 16838.98/2117.18 o 79748 16838.98/2117.20 o 79747 16838.98/2117.20 o 79746 16839.72/2117.21 o 79745 16839.72/2117.21 o 79670 16839.72/2117.21 o 79669 16839.72/2117.21 o 79668 16839.72/2117.21 o 79667 16839.72/2117.21 o 79666 16839.72/2117.21 o 79658 16839.72/2117.21 o 79657 16839.72/2117.21 o 79656 16839.72/2117.22 o 79648 16839.72/2117.22 o 79647 16839.72/2117.22 o 79646 16973.69/2134.09 o 79638 16973.69/2134.10 o 79637 16973.69/2134.10 o 79636 16973.69/2134.10 o 79629 16973.69/2134.10 o 79628 16973.69/2134.10 o 79627 16973.69/2134.10 o 79626 16976.80/2134.49 o 79625 16976.80/2134.50 o 79549 16976.80/2134.50 o 79548 16976.80/2134.50 o 79547 16976.80/2134.50 o 79546 16976.80/2134.50 o 79538 16976.80/2134.50 o 79537 16976.80/2134.50 o 79536 16976.80/2134.50 o 79528 16976.80/2134.50 o 79527 16977.65/2134.51 o 79526 17333.96/2179.26 o 79525 17333.96/2179.27 o 79449 17333.96/2179.28 o 79448 17333.96/2179.28 o 79447 17333.96/2179.28 o 79446 17333.96/2179.28 o 79438 17333.96/2179.28 o 79437 17333.96/2179.28 o 79436 17333.96/2179.28 o 79428 17333.96/2179.28 o 79427 17333.96/2179.29 o 79426 17367.44/2183.44 o 79425 17367.44/2183.48 o 79423 17367.44/2183.48 o 79422 17367.44/2183.49 o 79421 17367.44/2183.49 o 79420 17367.44/2183.49 o 79419 17367.44/2183.49 o 79412 17367.44/2183.49 o 79411 17367.44/2183.49 o 79410 17367.44/2183.49 o 79409 17368.24/2183.58 o 79408 17368.24/2183.58 o 79407 17368.24/2183.58 o 79406 17369.84/2183.71 o 79405 17369.84/2183.71 o 79404 17453.54/2194.29 o 79349 17453.54/2194.30 o 79348 17453.54/2194.30 o 79347 17453.54/2194.30 o 79346 17453.54/2194.30 o 79338 17453.54/2194.30 o 79337 17453.54/2194.30 o 79336 17454.33/2194.31 o 79328 17454.33/2194.31 o 79327 17454.33/2194.31 o 79326 19264.68/2421.50 o 79322 19264.68/2421.50 o 79321 19264.68/2421.50 o 79320 19264.68/2421.50 o 79319 19264.68/2421.50 o 79312 19264.68/2421.50 o 79311 19264.68/2421.50 o 79310 19264.68/2421.50 o 79309 19264.68/2421.50 o 79303 19265.48/2421.51 o 79302 19265.48/2421.51 o 79301 19265.48/2421.51 o 79300 19265.48/2421.51 o 79299 19265.48/2421.51 o 79298 19266.28/2421.62 o 79297 19266.28/2421.64 o 79296 19388.26/2436.93 o 79293 19388.26/2436.94 o 79292 19388.26/2436.94 o 79291 19388.26/2436.94 o 79290 19388.26/2436.94 o 79289 19388.26/2436.94 o 79288 19389.12/2437.02 o 79287 19389.12/2437.04 o 79286 19392.24/2437.42 o 79285 19451.23/2444.82 o 79259 19451.23/2444.82 o 79258 19451.23/2444.82 o 79257 19451.23/2444.82 o 79256 19451.23/2444.82 o 79248 19451.23/2444.82 o 79247 19451.23/2444.82 o 79246 19451.23/2444.82 o 79238 19451.23/2444.82 o 79237 19451.23/2444.82 o 79236 19455.14/2445.30 o 79234 19455.14/2445.30 o 79233 19455.14/2445.31 o 79232 19455.14/2445.31 o 79231 19455.14/2445.31 o 79230 19455.14/2445.31 o 79224 19455.14/2445.31 o 79223 19455.14/2445.31 o 79222 19455.14/2445.31 o 79221 19455.14/2445.31 o 79220 19455.14/2445.31 o 79215 19455.14/2445.32 o 79214 19455.14/2445.32 o 79213 19455.14/2445.32 o 79212 19455.14/2445.32 o 79211 19455.14/2445.32 o 79210 19455.14/2445.33 o 79209 19455.14/2445.34 o 79208 19459.13/2445.84 o 79207 19459.13/2445.88 o 79206 19459.13/2445.89 o 79205 19597.72/2463.24 o 79204 19597.72/2463.26 o 79203 19597.72/2463.26 o 79202 19597.72/2463.26 o 79201 19597.72/2463.26 o 79200 19597.72/2463.26 o 79199 19597.72/2463.26 o 79198 19597.72/2463.26 o 79197 19597.72/2463.26 o 79196 19600.89/2463.70 o 79195 19601.68/2463.71 o 79194 20050.57/2520.07 s SATISFIABLE 20050.57/2520.08 v <instantiation> 20050.57/2520.08 v <list> 20050.57/2520.08 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] 20050.57/2520.08 v </list> 20050.57/2520.08 v <values> 20050.57/2520.08 v 156 394 792 554 282 44 240 478 240 478 100 338 380 142 30 268 86 324 792 554 666 428 240 478 352 114 708 470 484 722 554 792 792 554 380 142 366 128 498 736 554 792 498 736 128 366 498 736 778 540 470 708 694 456 750 512 792 554 268 30 526 764 428 666 282 44 380 142 764 526 484 722 478 240 268 30 156 394 86 324 540 778 16 254 394 156 778 540 736 498 540 778 554 792 750 512 240 478 414 652 680 442 778 540 324 86 792 554 554 792 156 394 792 554 708 470 778 540 554 792 240 478 240 478 554 792 296 58 694 456 708 470 380 142 240 478 554 792 792 554 30 268 680 442 736 498 380 142 708 470 338 100 324 86 554 792 554 792 666 428 128 366 156 394 16 254 380 142 324 86 498 736 156 394 310 72 296 58 554 792 86 324 142 380 352 114 792 554 380 142 394 156 478 240 352 114 394 156 554 792 1000 1000 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 1000 1000 0 1000 1000 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 0 1000 1000 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 100 100 100 0 0 0 100 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 100 100 0 100 100 0 100 0 100 0 100 0 100 100 0 100 0 0 0 0 100 100 0 0 100 100 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 100 0 100 100 0 0 0 0 0 100 100 0 0 0 100 100 0 100 0 0 0 0 100 0 100 100 0 0 100 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 100 0 100 100 100 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 100 0 100 100 0 100 0 0 100 100 0 100 100 0 100 0 0 100 0 0 0 0 100 0 0 0 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 100 0 100 0 100 100 100 100 0 0 100 0 0 100 0 0 100 100 0 100 100 0 100 100 100 0 100 0 0 0 0 0 0 100 100 100 100 100 0 100 100 100 100 0 0 0 0 0 100 0 0 100 0 100 0 100 100 100 100 100 100 0 100 0 100 0 100 0 0 0 100 0 0 100 10 10 10 10 0 0 0 10 0 10 0 10 0 0 10 0 10 10 10 10 10 0 10 10 0 10 0 10 0 0 0 10 0 10 10 0 0 10 10 0 10 0 10 10 10 10 0 10 10 0 10 0 10 0 10 10 10 10 0 10 0 0 0 10 0 0 0 10 10 0 10 10 10 0 10 10 0 0 10 10 10 0 0 10 0 0 0 10 0 10 0 10 0 0 10 0 10 0 10 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 10 10 10 0 0 0 10 10 10 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 0 10 0 10 10 10 10 0 10 10 0 0 0 10 0 0 0 10 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 10 10 10 10 0 10 0 0 0 10 0 10 10 0 0 0 0 10 10 10 10 10 0 0 0 0 10 0 0 10 10 0 10 10 10 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 20050.57/2520.08 v </values> 20050.57/2520.08 v </instantiation>
OK 79194
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 (12360 MiB free) memory of node 1: 16384 MiB (10999 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309230-1534365407/watcher-4309230-1534365407 -o /tmp/evaluation-result-4309230-1534365407/solver-4309230-1534365407 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534362885-28904 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1918783732 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309230-1534365407.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29089, runsolver pid=29086 [startup+0.100863 s]* /proc/loadavg: 7.84 8.71 8.82 3/198 29109 /proc/meminfo: memFree=23904024/32770624 swapFree=67105356/67108860 [pid=29089] ppid=29086 vsize=26103420 memory=28852 CPUtime=0.1 cores=0-7 /proc/29089/stat : 29089 (java) S 29086 29089 28877 0 -1 1077944320 6676 0 0 0 9 1 0 0 20 0 20 0 254103883 26729902080 7213 33554432000 4194304 4196468 140735551261600 140735551244144 140088998260471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 /proc/29089/statm: 6525855 7213 3140 1 0 6487932 0 [pid=29089/tid=29091] ppid=29086 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29089/task/29091/stat : 29091 (java) R 29086 29089 28877 0 -1 4202560 4730 0 0 0 7 1 0 0 20 0 20 0 254103883 26729902080 7213 33554432000 4194304 4196468 140735551261600 140089002462136 140088978530163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29092] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29092/stat : 29092 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088950881296 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29093] ppid=29086 vsize=26103420 memory=140060254111360 CPUtime=0 cores=0-7 /proc/29089/task/29093/stat : 29093 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088949828752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29094] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29094/stat : 29094 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088554421008 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29095] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29095/stat : 29095 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088553368464 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29096] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29096/stat : 29096 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088552315408 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29097] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29097/stat : 29097 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088551262864 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29098] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29098/stat : 29098 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088550209808 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29099] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29099/stat : 29099 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 7213 33554432000 4194304 4196468 140735551261600 140088549157264 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29100] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29100/stat : 29100 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087337675504 140088998271618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29101] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29101/stat : 29101 (java) S 29086 29089 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087336621728 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29102] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29102/stat : 29102 (java) S 29086 29089 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087335568624 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29103] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29103/stat : 29103 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087334517200 140088998279067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29104] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29104/stat : 29104 (java) S 29086 29089 28877 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087333464304 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29105] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29105/stat : 29105 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087332411760 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29106] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29106/stat : 29106 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087331358704 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29107] ppid=29086 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/29089/task/29107/stat : 29107 (java) S 29086 29089 28877 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087330306160 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29108] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29108/stat : 29108 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087329254368 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29109] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29109/stat : 29109 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 7213 33554432000 4194304 4196468 140735551261600 140087328201904 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 28852 KiB [startup+0.216859 s]* /proc/loadavg: 7.84 8.71 8.82 3/198 29109 /proc/meminfo: memFree=23890676/32770624 swapFree=67105356/67108860 [pid=29089] ppid=29086 vsize=26103420 memory=43004 CPUtime=0.29 cores=0-7 /proc/29089/stat : 29089 (java) S 29086 29089 28877 0 -1 1077944320 10384 0 0 0 27 2 0 0 20 0 20 0 254103883 26729902080 10751 33554432000 4194304 4196468 140735551261600 140735551244144 140088998260471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 /proc/29089/statm: 6525855 10751 3315 1 0 6487932 0 [pid=29089/tid=29091] ppid=29086 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/29089/task/29091/stat : 29091 (java) R 29086 29089 28877 0 -1 4202560 8164 0 0 0 18 1 0 0 20 0 20 0 254103883 26729902080 10751 33554432000 4194304 4196468 140735551261600 140089002482496 140088990497598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29092] ppid=29086 vsize=26103420 memory=9264 CPUtime=0 cores=0-7 /proc/29089/task/29092/stat : 29092 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088950881296 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29093] ppid=29086 vsize=26103420 memory=3546217029498668704 CPUtime=0 cores=0-7 /proc/29089/task/29093/stat : 29093 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088949828752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29094] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29094/stat : 29094 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088554421008 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29095] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29095/stat : 29095 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088553368464 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29096] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29096/stat : 29096 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088552315408 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29097] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29097/stat : 29097 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088551262864 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29098] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29098/stat : 29098 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088550209808 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29099] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29099/stat : 29099 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 10751 33554432000 4194304 4196468 140735551261600 140088549157264 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29100] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29100/stat : 29100 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087337675504 140088998271618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29101] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29101/stat : 29101 (java) S 29086 29089 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087336621728 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29102] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29102/stat : 29102 (java) S 29086 29089 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087335568624 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29103] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29103/stat : 29103 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087334517200 140088998279067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29104] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29104/stat : 29104 (java) S 29086 29089 28877 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087333464304 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29105] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29105/stat : 29105 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087332411760 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29106] ppid=29086 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/29089/task/29106/stat : 29106 (java) S 29086 29089 28877 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087331358704 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29107] ppid=29086 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/29089/task/29107/stat : 29107 (java) R 29086 29089 28877 0 -1 4202560 290 0 0 0 6 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087330301152 140088998281818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29108] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29108/stat : 29108 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087329254368 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29109] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29109/stat : 29109 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 10751 33554432000 4194304 4196468 140735551261600 140087328201904 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43004 KiB [startup+0.310218 s]* /proc/loadavg: 7.84 8.71 8.82 3/198 29109 /proc/meminfo: memFree=23887388/32770624 swapFree=67105356/67108860 [pid=29089] ppid=29086 vsize=26103420 memory=46528 CPUtime=0.42 cores=0-7 /proc/29089/stat : 29089 (java) S 29086 29089 28877 0 -1 1077944320 10848 0 0 0 39 3 0 0 20 0 20 0 254103883 26729902080 11632 33554432000 4194304 4196468 140735551261600 140735551244144 140088998260471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 /proc/29089/statm: 6525855 11632 3342 1 0 6487932 0 [pid=29089/tid=29091] ppid=29086 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29089/task/29091/stat : 29091 (java) R 29086 29089 28877 0 -1 4202560 8514 0 0 0 27 2 0 0 20 0 20 0 254103883 26729902080 11632 33554432000 4194304 4196468 140735551261600 140089002470192 140088982340958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29092] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29092/stat : 29092 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088950881296 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29093] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29093/stat : 29093 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088949828752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29094] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29094/stat : 29094 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088554421008 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29095] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29095/stat : 29095 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088553368464 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29096] ppid=29086 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/29089/task/29096/stat : 29096 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088552315408 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29097] ppid=29086 vsize=26103420 memory=140060091577263 CPUtime=0 cores=0-7 /proc/29089/task/29097/stat : 29097 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088551262864 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29098] ppid=29086 vsize=26103420 memory=140060091579568 CPUtime=0 cores=0-7 /proc/29089/task/29098/stat : 29098 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088550209808 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29099] ppid=29086 vsize=26103420 memory=140060091581872 CPUtime=0 cores=0-7 /proc/29089/task/29099/stat : 29099 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26729902080 11632 33554432000 4194304 4196468 140735551261600 140088549157264 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29100] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29100/stat : 29100 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087337675504 140088998271618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29101] ppid=29086 vsize=26103420 memory=280120183170704 CPUtime=0 cores=0-7 /proc/29089/task/29101/stat : 29101 (java) S 29086 29089 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087336621728 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29102] ppid=29086 vsize=26103420 memory=280120183177616 CPUtime=0 cores=0-7 /proc/29089/task/29102/stat : 29102 (java) S 29086 29089 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254103886 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087335568624 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29103] ppid=29086 vsize=26103420 memory=280120183118896 CPUtime=0 cores=0-7 /proc/29089/task/29103/stat : 29103 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087334517200 140088998279067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29104] ppid=29086 vsize=26103420 memory=280120183191440 CPUtime=0 cores=0-7 /proc/29089/task/29104/stat : 29104 (java) S 29086 29089 28877 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087333464304 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29105] ppid=29086 vsize=26103420 memory=280120183198352 CPUtime=0.01 cores=0-7 /proc/29089/task/29105/stat : 29105 (java) S 29086 29089 28877 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087332411760 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29106] ppid=29086 vsize=26103420 memory=280120183196048 CPUtime=0.01 cores=0-7 /proc/29089/task/29106/stat : 29106 (java) S 29086 29089 28877 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087331358704 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29107] ppid=29086 vsize=26103420 memory=280120183212656 CPUtime=0.08 cores=0-7 /proc/29089/task/29107/stat : 29107 (java) S 29086 29089 28877 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087330306160 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29108] ppid=29086 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29108/stat : 29108 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087329254368 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29109] ppid=29086 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/29089/task/29109/stat : 29109 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103889 26729902080 11632 33554432000 4194304 4196468 140735551261600 140087328201904 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46528 KiB [startup+0.700871 s] /proc/loadavg: 7.84 8.71 8.82 2/198 29109 /proc/meminfo: memFree=23848156/32770624 swapFree=67105356/67108860 [pid=29089] ppid=29086 vsize=26105488 memory=85524 CPUtime=0.97 cores=0-7 /proc/29089/stat : 29089 (java) S 29086 29089 28877 0 -1 1077944320 17790 0 0 0 91 6 0 0 20 0 20 0 254103883 26732019712 21381 33554432000 4194304 4196468 140735551261600 140735551244144 140088998260471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 /proc/29089/statm: 6526372 21381 3499 1 0 6488444 0 [pid=29089/tid=29091] ppid=29086 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/29089/task/29091/stat : 29091 (java) R 29086 29089 28877 0 -1 4202560 14993 0 0 0 62 5 0 0 20 0 20 0 254103883 26732019712 21381 33554432000 4194304 4196468 140735551261600 140089002483136 140088965855772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29092] ppid=29086 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29092/stat : 29092 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088950881296 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29093] ppid=29086 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29093/stat : 29093 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088949828752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29094] ppid=29086 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29094/stat : 29094 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088554421008 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29095] ppid=29086 vsize=26105488 memory=4632 CPUtime=0 cores=0-7 /proc/29089/task/29095/stat : 29095 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088553368464 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29096] ppid=29086 vsize=26105488 memory=3644 CPUtime=0 cores=0-7 /proc/29089/task/29096/stat : 29096 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088552315408 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29097] ppid=29086 vsize=26105488 memory=1268 CPUtime=0 cores=0-7 /proc/29089/task/29097/stat : 29097 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088551262864 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29098] ppid=29086 vsize=26105488 memory=1124 CPUtime=0 cores=0-7 /proc/29089/task/29098/stat : 29098 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088550209808 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29099] ppid=29086 vsize=26105488 memory=14884 CPUtime=0 cores=0-7 /proc/29089/task/29099/stat : 29099 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254103884 26732019712 21381 33554432000 4194304 4196468 140735551261600 140088549157264 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29100] ppid=29086 vsize=26105488 memory=3316 CPUtime=0 cores=0-7 /proc/29089/task/29100/stat : 29100 (java) S 29086 29089 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254103886 26732019712 21381 33554432000 4194304 4196468 140735551261600 140087337675504 140088998271618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 ################ # More data... # ################ [pid=29089/tid=29119] ppid=29086 vsize=27850524 memory=8069992 CPUtime=2483.81 cores=0-7 /proc/29089/task/29119/stat : 29119 (java) R 29086 29089 28877 0 -1 4202560 271135 0 0 0 248124 257 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087301084632 140088643867869 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29120] ppid=29086 vsize=27850524 memory=8069992 CPUtime=2474.85 cores=0-7 /proc/29089/task/29120/stat : 29120 (java) R 29086 29089 28877 0 -1 4202560 262863 0 0 0 247198 287 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087300031576 140088643888888 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29121] ppid=29086 vsize=27850524 memory=8069992 CPUtime=0.02 cores=0-7 /proc/29089/task/29121/stat : 29121 (java) S 29086 29089 28877 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 46 0 254104251 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087298987280 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29122] ppid=29086 vsize=27850524 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/29089/task/29122/stat : 29122 (java) S 29086 29089 28877 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 46 0 254104252 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087297934224 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29123] ppid=29086 vsize=27850524 memory=12468 CPUtime=2484.01 cores=0-7 /proc/29089/task/29123/stat : 29123 (java) R 29086 29089 28877 0 -1 4202560 282618 0 0 0 248124 277 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087296877232 140088643958303 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29124] ppid=29086 vsize=27850524 memory=752 CPUtime=0.02 cores=0-7 /proc/29089/task/29124/stat : 29124 (java) S 29086 29089 28877 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087295829648 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29125] ppid=29086 vsize=27850524 memory=8069992 CPUtime=0.01 cores=0-7 /proc/29089/task/29125/stat : 29125 (java) S 29086 29089 28877 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087294777104 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29126] ppid=29086 vsize=27850524 memory=1812 CPUtime=0.01 cores=0-7 /proc/29089/task/29126/stat : 29126 (java) S 29086 29089 28877 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087293724048 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29127] ppid=29086 vsize=27850524 memory=492 CPUtime=0.01 cores=0-7 /proc/29089/task/29127/stat : 29127 (java) S 29086 29089 28877 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 46 0 254104979 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087290537488 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29128] ppid=29086 vsize=27850524 memory=1616 CPUtime=0.01 cores=0-7 /proc/29089/task/29128/stat : 29128 (java) S 29086 29089 28877 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 46 0 254104979 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087289484432 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29129] ppid=29086 vsize=27850524 memory=928 CPUtime=0.01 cores=0-7 /proc/29089/task/29129/stat : 29129 (java) S 29086 29089 28877 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 46 0 254104980 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087288431888 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29130] ppid=29086 vsize=27850524 memory=2216 CPUtime=0.02 cores=0-7 /proc/29089/task/29130/stat : 29130 (java) S 29086 29089 28877 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087287378832 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29131] ppid=29086 vsize=27850524 memory=928 CPUtime=0.02 cores=0-7 /proc/29089/task/29131/stat : 29131 (java) S 29086 29089 28877 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087286326288 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29132] ppid=29086 vsize=27850524 memory=1100 CPUtime=0.01 cores=0-7 /proc/29089/task/29132/stat : 29132 (java) S 29086 29089 28877 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087285274256 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29133] ppid=29086 vsize=27850524 memory=2064 CPUtime=0.01 cores=0-7 /proc/29089/task/29133/stat : 29133 (java) S 29086 29089 28877 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087284221712 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29134] ppid=29086 vsize=27850524 memory=1752 CPUtime=0.01 cores=0-7 /proc/29089/task/29134/stat : 29134 (java) S 29086 29089 28877 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087283168656 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29135] ppid=29086 vsize=27850524 memory=8069992 CPUtime=0.02 cores=0-7 /proc/29089/task/29135/stat : 29135 (java) S 29086 29089 28877 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087282116112 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 Current children cumulated CPU time: 19909.4 s Current children cumulated vsize: 27850524 KiB Current children cumulated memory: 8069992 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.55 8.65 8.73 9/224 29190 /proc/meminfo: memFree=15846976/32770624 swapFree=67105356/67108860 [pid=29089] ppid=29086 vsize=27850524 memory=8069992 CPUtime=20050.6 cores=0-7 /proc/29089/stat : 29089 (java) S 29086 29089 28877 0 -1 1077944320 2576302 0 0 0 2002460 2597 0 0 20 0 46 0 254103883 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140735551244144 140088998260471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 /proc/29089/statm: 6962631 2017498 3620 1 0 6924182 0 [pid=29089/tid=29091] ppid=29086 vsize=27850524 memory=2216 CPUtime=3.3 cores=0-7 /proc/29089/task/29091/stat : 29091 (java) S 29086 29089 28877 0 -1 1077944384 25992 0 0 0 320 10 0 0 20 0 46 0 254103883 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140089002497936 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29092] ppid=29086 vsize=27850524 memory=928 CPUtime=5.72 cores=0-7 /proc/29089/task/29092/stat : 29092 (java) S 29086 29089 28877 0 -1 1077944384 54925 0 0 0 482 90 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088950881296 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29093] ppid=29086 vsize=27850524 memory=1564 CPUtime=5.63 cores=0-7 /proc/29089/task/29093/stat : 29093 (java) S 29086 29089 28877 0 -1 1077944384 61701 0 0 0 479 84 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088949828752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29094] ppid=29086 vsize=27850524 memory=4126316290023845779 CPUtime=5.7 cores=0-7 /proc/29089/task/29094/stat : 29094 (java) S 29086 29089 28877 0 -1 1077944384 57612 0 0 0 486 84 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088554421008 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29095] ppid=29086 vsize=27850524 memory=288230596050944315 CPUtime=5.75 cores=0-7 /proc/29089/task/29095/stat : 29095 (java) S 29086 29089 28877 0 -1 1077944384 60654 0 0 0 488 87 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088553368464 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29096] ppid=29086 vsize=27850524 memory=15536314971856400 CPUtime=5.71 cores=0-7 /proc/29089/task/29096/stat : 29096 (java) S 29086 29089 28877 0 -1 1077944384 56027 0 0 0 485 86 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088552315408 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29097] ppid=29086 vsize=27850524 memory=7888 CPUtime=5.65 cores=0-7 /proc/29089/task/29097/stat : 29097 (java) S 29086 29089 28877 0 -1 1077944384 53776 0 0 0 480 85 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088551262864 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29098] ppid=29086 vsize=27850524 memory=6791534058613427641 CPUtime=5.68 cores=0-7 /proc/29089/task/29098/stat : 29098 (java) S 29086 29089 28877 0 -1 1077944384 57681 0 0 0 482 86 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088550209808 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29099] ppid=29086 vsize=27850524 memory=1796 CPUtime=5.73 cores=0-7 /proc/29089/task/29099/stat : 29099 (java) S 29086 29089 28877 0 -1 1077944384 53065 0 0 0 483 90 0 0 20 0 46 0 254103884 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140088549157264 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29100] ppid=29086 vsize=27850524 memory=912 CPUtime=1.51 cores=0-7 /proc/29089/task/29100/stat : 29100 (java) S 29086 29089 28877 0 -1 1077944384 90541 0 0 0 124 27 0 0 20 0 46 0 254103886 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087337675504 140088998271618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29101] ppid=29086 vsize=27850524 memory=4144 CPUtime=0 cores=0-7 /proc/29089/task/29101/stat : 29101 (java) S 29086 29089 28877 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 254103886 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087336621792 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29102] ppid=29086 vsize=27850524 memory=0 CPUtime=0 cores=0-7 /proc/29089/task/29102/stat : 29102 (java) S 29086 29089 28877 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 254103886 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087335568640 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29103] ppid=29086 vsize=27850524 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/29089/task/29103/stat : 29103 (java) S 29086 29089 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087334517200 140088998279067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29104] ppid=29086 vsize=27850524 memory=6628 CPUtime=2.94 cores=0-7 /proc/29089/task/29104/stat : 29104 (java) S 29086 29089 28877 0 -1 1077944384 9583 0 0 0 292 2 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087333464304 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29105] ppid=29086 vsize=27850524 memory=8836 CPUtime=2.89 cores=0-7 /proc/29089/task/29105/stat : 29105 (java) S 29086 29089 28877 0 -1 1077944384 14808 0 0 0 285 4 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087332411760 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29106] ppid=29086 vsize=27850524 memory=1124 CPUtime=3.13 cores=0-7 /proc/29089/task/29106/stat : 29106 (java) S 29086 29089 28877 0 -1 1077944384 11319 0 0 0 311 2 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087331358704 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29107] ppid=29086 vsize=27850524 memory=14884 CPUtime=1.41 cores=0-7 /proc/29089/task/29107/stat : 29107 (java) S 29086 29089 28877 0 -1 1077944384 14590 0 0 0 139 2 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087330306160 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29108] ppid=29086 vsize=27850524 memory=3316 CPUtime=0 cores=0-7 /proc/29089/task/29108/stat : 29108 (java) S 29086 29089 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087329254368 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29109] ppid=29086 vsize=27850524 memory=13636 CPUtime=0.95 cores=0-7 /proc/29089/task/29109/stat : 29109 (java) S 29086 29089 28877 0 -1 1077944384 4856 0 0 0 47 48 0 0 20 0 46 0 254103889 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087328201904 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29110] ppid=29086 vsize=27850524 memory=38588 CPUtime=0.04 cores=0-7 /proc/29089/task/29110/stat : 29110 (java) S 29086 29089 28877 0 -1 1077944384 1791 0 0 0 4 0 0 0 20 0 46 0 254104202 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087314760656 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29111] ppid=29086 vsize=27850524 memory=1176 CPUtime=4.91 cores=0-7 /proc/29089/task/29111/stat : 29111 (java) S 29086 29089 28877 0 -1 1077944384 14382 0 0 0 237 254 0 0 20 0 46 0 254104224 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087311611296 140088998271618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29112] ppid=29086 vsize=27850524 memory=492 CPUtime=2495.53 cores=0-7 /proc/29089/task/29112/stat : 29112 (java) R 29086 29089 28877 0 -1 4202560 239461 0 0 0 249329 224 0 0 20 0 46 0 254104240 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087310550808 140088633559144 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29113] ppid=29086 vsize=27850524 memory=1616 CPUtime=2496.59 cores=0-7 /proc/29089/task/29113/stat : 29113 (java) R 29086 29089 28877 0 -1 4202560 196103 0 0 0 249482 177 0 0 20 0 46 0 254104241 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087309499784 140088637325877 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29114] ppid=29086 vsize=27850524 memory=928 CPUtime=0.2 cores=0-7 /proc/29089/task/29114/stat : 29114 (java) S 29086 29089 28877 0 -1 1077944384 639 0 0 0 19 1 0 0 20 0 46 0 254104241 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087308452752 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29115] ppid=29086 vsize=27850524 memory=2216 CPUtime=0.18 cores=0-7 /proc/29089/task/29115/stat : 29115 (java) S 29086 29089 28877 0 -1 1077944384 392 0 0 0 18 0 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087305303056 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29116] ppid=29086 vsize=27850524 memory=928 CPUtime=2504.88 cores=0-7 /proc/29089/task/29116/stat : 29116 (java) R 29086 29089 28877 0 -1 4202560 247806 0 0 0 250253 235 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087304246448 140088643198592 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29117] ppid=29086 vsize=27850524 memory=1564 CPUtime=2494.87 cores=0-7 /proc/29089/task/29117/stat : 29117 (java) R 29086 29089 28877 0 -1 4202560 196903 0 0 0 249302 185 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087303190296 140088639672512 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29118] ppid=29086 vsize=27850524 memory=2192 CPUtime=2495.66 cores=0-7 /proc/29089/task/29118/stat : 29118 (java) R 29086 29089 28877 0 -1 4202560 219990 0 0 0 249357 209 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087302137880 140088637325559 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29119] ppid=29086 vsize=27850524 memory=6791534058613427641 CPUtime=2501.49 cores=0-7 /proc/29089/task/29119/stat : 29119 (java) R 29086 29089 28877 0 -1 4202560 272329 0 0 0 249891 258 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087301086864 140088631975356 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29120] ppid=29086 vsize=27850524 memory=2216 CPUtime=2492.21 cores=0-7 /proc/29089/task/29120/stat : 29120 (java) R 29086 29089 28877 0 -1 4202560 267406 0 0 0 248931 290 0 0 20 0 46 0 254104248 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087300032504 140088643471167 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29121] ppid=29086 vsize=27850524 memory=928 CPUtime=0.02 cores=0-7 /proc/29089/task/29121/stat : 29121 (java) S 29086 29089 28877 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 46 0 254104251 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087298987280 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29122] ppid=29086 vsize=27850524 memory=1564 CPUtime=0.02 cores=0-7 /proc/29089/task/29122/stat : 29122 (java) S 29086 29089 28877 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 46 0 254104252 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087297934224 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29123] ppid=29086 vsize=27850524 memory=8069992 CPUtime=2501.7 cores=0-7 /proc/29089/task/29123/stat : 29123 (java) R 29086 29089 28877 0 -1 4202560 285942 0 0 0 249892 278 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087296874104 140088633559162 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29124] ppid=29086 vsize=27850524 memory=3984 CPUtime=0.02 cores=0-7 /proc/29089/task/29124/stat : 29124 (java) S 29086 29089 28877 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087295829648 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29125] ppid=29086 vsize=27850524 memory=8069992 CPUtime=0.01 cores=0-7 /proc/29089/task/29125/stat : 29125 (java) S 29086 29089 28877 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087294777104 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29126] ppid=29086 vsize=27850524 memory=8069992 CPUtime=0.01 cores=0-7 /proc/29089/task/29126/stat : 29126 (java) S 29086 29089 28877 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 46 0 254104279 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087293724048 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29127] ppid=29086 vsize=27850524 memory=7450750752460727407 CPUtime=0.01 cores=0-7 /proc/29089/task/29127/stat : 29127 (java) S 29086 29089 28877 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 46 0 254104979 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087290537488 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29128] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.01 cores=0-7 /proc/29089/task/29128/stat : 29128 (java) S 29086 29089 28877 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 46 0 254104979 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087289484432 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29129] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.01 cores=0-7 /proc/29089/task/29129/stat : 29129 (java) S 29086 29089 28877 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 46 0 254104980 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087288431888 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29130] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.02 cores=0-7 /proc/29089/task/29130/stat : 29130 (java) S 29086 29089 28877 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087287378832 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29131] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.02 cores=0-7 /proc/29089/task/29131/stat : 29131 (java) S 29086 29089 28877 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087286326288 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29132] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.01 cores=0-7 /proc/29089/task/29132/stat : 29132 (java) S 29086 29089 28877 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087285274256 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29133] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.01 cores=0-7 /proc/29089/task/29133/stat : 29133 (java) S 29086 29089 28877 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087284221712 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29134] ppid=29086 vsize=27850524 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/29089/task/29134/stat : 29134 (java) S 29086 29089 28877 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087283168656 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 [pid=29089/tid=29135] ppid=29086 vsize=27850524 memory=7451036681033377124 CPUtime=0.02 cores=0-7 /proc/29089/task/29135/stat : 29135 (java) S 29086 29089 28877 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 46 0 254104981 28518936576 2017498 33554432000 4194304 4196468 140735551261600 140087282116112 140088998270677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38129664 140735551267917 140735551268101 140735551268101 140735551270863 0 Current children cumulated CPU time: 20050.6 s Current children cumulated vsize: 27850524 KiB Current children cumulated memory: 8069992 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.23 s] # the end of solver process 29089 was just reported to runsolver # cumulated CPU time of all completed processes: user=20025.9 s, system=26.0384 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s]* /proc/loadavg: 8.55 8.65 8.73 2/180 29193 /proc/meminfo: memFree=22345588/32770624 swapFree=67105356/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.23 CPU time (s): 20051.9 CPU user time (s): 20025.9 CPU system time (s): 26.0384 CPU usage (%): 795.638 Max. virtual memory (cumulated for all children) (KiB): 28050216 Max. memory (cumulated for all children) (KiB): 8071656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20025.9 system time used= 26.0384 maximum resident set size= 8072412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2583331 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 379667 involuntary context switches= 426821 # summary of solver processes directly reported to runsolver: # pid: 29089 # total CPU time (s): 20051.9 # total CPU user time (s): 20025.9 # total CPU system time (s): 26.0384 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.7998 second user time and 37.744 second system time The end
Begin job on node149 at 2018-08-15 22:36:47 IDJOB=4309230 IDBENCH=141204 IDSOLVER=2793 FILE ID=node149/4309230-1534365407 RUNJOBID= node149-1534362885-28904 PBS_JOBID= 21038274 Free space on /tmp= 44896 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309230-1534365407/watcher-4309230-1534365407 -o /tmp/evaluation-result-4309230-1534365407/solver-4309230-1534365407 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534362885-28904 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1918783732 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309230-1534365407.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=1918783732 node149.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.60 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.60 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.60 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.60 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: 23921580 kB MemAvailable: 31895796 kB Buffers: 178708 kB Cached: 8007712 kB SwapCached: 1704 kB Active: 3704692 kB Inactive: 4534244 kB Active(anon): 3048 kB Inactive(anon): 109892 kB Active(file): 3701644 kB Inactive(file): 4424352 kB Unevictable: 7596 kB Mlocked: 7596 kB SwapTotal: 67108860 kB SwapFree: 67105356 kB Dirty: 35912 kB Writeback: 0 kB AnonPages: 58320 kB Mapped: 55488 kB Shmem: 57760 kB Slab: 304196 kB SReclaimable: 276680 kB SUnreclaim: 27516 kB KernelStack: 3232 kB PageTables: 4932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 44860 MiB End job on node149 at 2018-08-15 23:18:47