0.00/0.00 c Parsing...
2.41/2.49 c ==============================================================================
2.41/2.49 c | | ORIGINAL | LEARNT | |
2.41/2.49 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.41/2.49 c ==============================================================================
2.41/2.49 c | 0 | 2445459 6687382 | 733637 0 0 nan | 0.000 % |
88.32/88.38 c | 0 | 459462 3264797 | -- 0 -- -- | -- | -1360719/-1657359
88.32/88.39 c ==============================================================================
88.32/88.39 c Result : #vars: 7950 #clauses: 459462 #literals: 3264797
88.32/88.39 c CPU time: 87.69 s
88.32/88.39 c ==============================================================================
89.49/89.57 c This is MiniSat 2.0 beta
89.49/89.57 c WARNING: for repeatability, setting FPU to use double precision
89.49/89.57 c ============================[ Problem Statistics ]=============================
89.49/89.57 c | |
89.49/89.57 c | Number of variables: 7950 |
89.49/89.57 c | Number of clauses: 459462 |
89.54/90.02 c | Parsing time: 0.36 s |
89.54/90.06 c ============================[ Search Statistics ]==============================
89.54/90.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
89.54/90.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
89.54/90.06 c ===============================================================================
89.54/90.06 c | 0 | 7950 459462 3264797 | 153154 0 nan | 0.000 % |
89.54/90.06 c | 100 | 7950 459462 3264797 | 153154 100 8 | 0.000 % |
89.54/90.07 c | 200 | 7950 459462 3264797 | 153154 200 8 | 0.000 % |
89.54/90.09 c | 300 | 7950 459462 3264797 | 153154 300 8 | 0.000 % |
89.54/90.10 c | 411 | 7950 459462 3264797 | 153154 411 8 | 0.000 % |
90.09/90.12 c | 511 | 7949 459462 3264797 | 153154 510 8 | 0.013 % |
90.09/90.14 c | 621 | 7949 459462 3264797 | 153154 620 8 | 0.013 % |
90.09/90.17 c | 743 | 7949 459462 3264797 | 153154 742 8 | 0.013 % |
90.09/90.18 c | 843 | 7949 459462 3264797 | 153154 842 8 | 0.013 % |
90.19/90.21 c | 955 | 7949 459462 3264797 | 153154 954 8 | 0.013 % |
90.19/90.23 c | 1076 | 7949 459462 3264797 | 153154 1075 8 | 0.013 % |
90.19/90.27 c | 1209 | 7949 459462 3264797 | 153154 1208 8 | 0.013 % |
90.29/90.32 c | 1309 | 7949 459462 3264797 | 153154 1308 8 | 0.013 % |
90.29/90.35 c | 1420 | 7949 459462 3264797 | 153154 1419 8 | 0.013 % |
90.29/90.36 c | 1541 | 7949 459462 3264797 | 153154 1540 8 | 0.013 % |
90.29/90.41 c | 1675 | 7949 459462 3264797 | 153154 1674 8 | 0.013 % |
90.39/90.44 c | 1821 | 7949 459462 3264797 | 153154 1820 9 | 0.013 % |
90.39/90.44 c | 1921 | 7949 459462 3264797 | 153154 1920 9 | 0.013 % |
90.39/90.47 c | 2031 | 7949 459462 3264797 | 153154 2030 9 | 0.013 % |
90.39/90.49 c | 2152 | 7949 459462 3264797 | 153154 2151 9 | 0.013 % |
90.49/90.54 c | 2286 | 7949 459462 3264797 | 153154 2285 9 | 0.013 % |
90.49/90.58 c | 2432 | 7949 459462 3264797 | 153154 2431 9 | 0.013 % |
90.59/90.68 c | 2592 | 7949 459462 3264797 | 153154 2591 9 | 0.013 % |
90.69/90.72 c | 2693 | 7949 459462 3264797 | 153154 2692 9 | 0.013 % |
90.69/90.79 c | 2803 | 7949 459462 3264797 | 153154 2801 9 | 0.025 % |
90.79/90.83 c | 2925 | 7948 459462 3264797 | 153154 2923 9 | 0.025 % |
90.89/90.92 c | 3058 | 7948 459462 3264797 | 153154 3056 9 | 0.025 % |
90.89/90.96 c | 3205 | 7948 459462 3264797 | 153154 3203 9 | 0.025 % |
90.89/90.99 c | 3365 | 7948 459462 3264797 | 153154 3363 9 | 0.025 % |
91.08/91.18 c | 3542 | 7948 459462 3264797 | 153154 3540 9 | 0.025 % |
91.08/91.19 c | 3642 | 7948 459462 3264797 | 153154 3640 9 | 0.025 % |
91.08/91.21 c | 3753 | 7948 459462 3264797 | 153154 3751 9 | 0.025 % |
91.18/91.25 c | 3874 | 7948 459462 3264797 | 153154 3872 9 | 0.025 % |
91.18/91.28 c | 4008 | 7948 459462 3264797 | 153154 4006 9 | 0.025 % |
91.18/91.30 c | 4154 | 7948 459462 3264797 | 153154 4152 9 | 0.025 % |
91.28/91.35 c | 4314 | 7948 459462 3264797 | 153154 4312 9 | 0.025 % |
91.38/91.46 c | 4490 | 7948 459462 3264797 | 153154 4488 9 | 0.025 % |
91.38/91.50 c | 4683 | 7948 459462 3264797 | 153154 4681 9 | 0.025 % |
91.48/91.53 c | 4783 | 7948 459462 3264797 | 153154 4781 9 | 0.025 % |
91.48/91.54 c | 4893 | 7948 459462 3264797 | 153154 4891 9 | 0.025 % |
91.58/91.61 c | 5015 | 7948 459462 3264797 | 153154 5013 10 | 0.025 % |
91.58/91.65 c | 5149 | 7948 459462 3264797 | 153154 5147 10 | 0.025 % |
91.58/91.68 c | 5296 | 7948 459462 3264797 | 153154 5294 10 | 0.025 % |
91.58/91.70 c | 5457 | 7948 459462 3264797 | 153154 5455 10 | 0.025 % |
91.68/91.73 c | 5633 | 7948 459462 3264797 | 153154 5631 10 | 0.025 % |
91.68/91.80 c | 5826 | 7946 459462 3264797 | 153154 5822 10 | 0.050 % |
91.88/91.96 c | 6039 | 7946 459462 3264797 | 153154 6035 10 | 0.050 % |
91.88/91.97 c | 6139 | 7946 459462 3264797 | 153154 6135 10 | 0.050 % |
91.88/91.98 c | 6250 | 7946 459462 3264797 | 153154 6246 10 | 0.050 % |
91.98/92.01 c | 6373 | 7946 459462 3264797 | 153154 6369 10 | 0.050 % |
91.98/92.03 c | 6506 | 7946 459462 3264797 | 153154 6502 10 | 0.050 % |
91.98/92.07 c | 6653 | 7946 459462 3264797 | 153154 6649 10 | 0.050 % |
91.98/92.09 c | 6813 | 7946 459462 3264797 | 153154 6809 10 | 0.050 % |
92.08/92.12 c | 6989 | 7946 459462 3264797 | 153154 6985 10 | 0.050 % |
92.08/92.18 c | 7182 | 7946 459462 3264797 | 153154 7178 10 | 0.050 % |
92.18/92.26 c | 7394 | 7946 459462 3264797 | 153154 7390 11 | 0.050 % |
92.18/92.31 c | 7627 | 7945 459462 3264797 | 153154 7622 11 | 0.063 % |
92.28/92.32 c | 7727 | 7945 459462 3264797 | 153154 7722 11 | 0.063 % |
92.28/92.36 c | 7838 | 7944 459462 3264797 | 153154 7832 11 | 0.075 % |
92.28/92.38 c | 7959 | 7944 459462 3264797 | 153154 7953 11 | 0.075 % |
92.38/92.42 c | 8094 | 7944 459462 3264797 | 153154 8088 11 | 0.075 % |
92.48/92.54 c | 8241 | 7944 459462 3264797 | 153154 8235 11 | 0.075 % |
92.48/92.59 c | 8401 | 7944 459462 3264797 | 153154 8395 11 | 0.075 % |
92.58/92.65 c | 8577 | 7944 459462 3264797 | 153154 8571 11 | 0.075 % |
92.58/92.68 c | 8770 | 7944 459462 3264797 | 153154 8764 11 | 0.075 % |
92.68/92.81 c | 8983 | 7943 459462 3264797 | 153154 8976 11 | 0.088 % |
92.78/92.85 c | 9217 | 7943 459462 3264797 | 153154 9210 11 | 0.088 % |
92.78/92.89 c | 9474 | 7943 459462 3264797 | 153154 9467 11 | 0.088 % |
92.88/92.91 c | 9574 | 7943 459462 3264797 | 153154 9567 11 | 0.088 % |
92.88/92.94 c | 9684 | 7943 459462 3264797 | 153154 9677 11 | 0.088 % |
92.88/92.96 c | 9805 | 7943 459462 3264797 | 153154 9798 11 | 0.088 % |
92.88/92.99 c | 9938 | 7943 459462 3264797 | 153154 9931 11 | 0.088 % |
93.08/93.14 c | 10084 | 7943 459462 3264797 | 2147483647 10077 11 | 0.088 % |
93.18/93.22 c | 10246 | 7943 459462 3264797 | 2147483647 10239 11 | 0.088 % |
93.18/93.24 c | 10423 | 7943 459462 3264797 | 2147483647 10416 11 | 0.088 % |
93.18/93.28 c | 10616 | 7943 459462 3264797 | 2147483647 10609 11 | 0.088 % |
93.28/93.33 c | 10829 | 7943 459462 3264797 | 2147483647 10822 12 | 0.088 % |
93.28/93.39 c | 11063 | 7943 459462 3264797 | 2147483647 11056 12 | 0.088 % |
93.38/93.49 c | 11319 | 7943 459462 3264797 | 2147483647 11312 12 | 0.088 % |
93.48/93.57 c | 11600 | 7943 459462 3264797 | 2147483647 11593 12 | 0.088 % |
93.58/93.63 c | 11701 | 7943 459462 3264797 | 2147483647 11694 12 | 0.088 % |
93.68/93.72 c | 11811 | 7943 459462 3264797 | 2147483647 11804 12 | 0.088 % |
93.68/93.75 c | 11932 | 7943 459462 3264797 | 2147483647 11925 12 | 0.088 % |
93.68/93.79 c | 12067 | 7943 459462 3264797 | 2147483647 12060 12 | 0.088 % |
93.78/93.82 c | 12213 | 7943 459462 3264797 | 2147483647 12206 12 | 0.088 % |
93.78/93.87 c | 12374 | 7943 459462 3264797 | 2147483647 12367 12 | 0.088 % |
93.88/93.91 c | 12551 | 7943 459462 3264797 | 2147483647 12544 12 | 0.088 % |
93.98/94.08 c | 12744 | 7943 459462 3264797 | 2147483647 12737 12 | 0.088 % |
94.18/94.21 c | 12956 | 7943 459462 3264797 | 2147483647 12949 12 | 0.088 % |
94.18/94.25 c | 13189 | 7943 459462 3264797 | 2147483647 13182 12 | 0.088 % |
94.18/94.30 c | 13447 | 7943 459462 3264797 | 2147483647 13440 12 | 0.088 % |
94.28/94.34 c | 13729 | 7943 459462 3264797 | 2147483647 13722 12 | 0.088 % |
94.28/94.40 c | 14038 | 7942 459462 3264797 | 2147483647 14030 12 | 0.101 % |
94.38/94.42 c | 14138 | 7942 459462 3264797 | 2147483647 14130 12 | 0.101 % |
94.38/94.46 c | 14248 | 7942 459462 3264797 | 2147483647 14240 12 | 0.101 % |
94.48/94.52 c | 14369 | 7942 459462 3264797 | 2147483647 14361 12 | 0.101 % |
94.58/94.62 c | 14502 | 7942 459462 3264797 | 2147483647 14494 12 | 0.101 % |
94.58/94.64 c | 14649 | 7942 459462 3264797 | 2147483647 14641 12 | 0.101 % |
94.58/94.68 c | 14809 | 7942 459462 3264797 | 2147483647 14801 12 | 0.101 % |
94.68/94.72 c | 14987 | 7941 459462 3264797 | 2147483647 14978 12 | 0.113 % |
94.68/94.77 c | 15180 | 7941 459462 3264797 | 2147483647 15171 12 | 0.113 % |
94.78/94.82 c | 15393 | 7941 459462 3264797 | 2147483647 15384 12 | 0.113 % |
94.78/94.90 c | 15626 | 7941 459462 3264797 | 2147483647 15617 12 | 0.113 % |
94.88/94.95 c | 15882 | 7941 459462 3264797 | 2147483647 15873 12 | 0.113 % |
94.98/95.06 c | 16163 | 7941 459462 3264797 | 2147483647 16154 12 | 0.113 % |
95.08/95.12 c | 16473 | 7941 459462 3264797 | 2147483647 16464 12 | 0.113 % |
95.08/95.19 c | 16812 | 7941 459462 3264797 | 2147483647 16803 12 | 0.113 % |
95.18/95.24 c | 16912 | 7941 459462 3264797 | 2147483647 16903 12 | 0.113 % |
95.18/95.25 c | 17023 | 7941 459462 3264797 | 2147483647 17014 12 | 0.113 % |
95.18/95.28 c | 17144 | 7941 459462 3264797 | 2147483647 17135 12 | 0.113 % |
95.28/95.34 c | 17277 | 7941 459462 3264797 | 2147483647 17268 12 | 0.113 % |
95.28/95.39 c | 17424 | 7940 459462 3264797 | 2147483647 17414 12 | 0.126 % |
95.38/95.42 c | 17584 | 7940 459462 3264797 | 2147483647 17574 12 | 0.126 % |
95.38/95.45 c | 17761 | 7940 459462 3264797 | 2147483647 17751 12 | 0.126 % |
95.48/95.51 c | 17954 | 7940 459462 3264797 | 2147483647 17944 12 | 0.126 % |
95.48/95.55 c | 18169 | 7940 459462 3264797 | 2147483647 18159 12 | 0.126 % |
95.58/95.63 c | 18404 | 7940 459462 3264797 | 2147483647 18394 12 | 0.126 % |
95.58/95.66 c | 18661 | 7940 459462 3264797 | 2147483647 18651 12 | 0.126 % |
95.78/95.90 c | 18943 | 7940 459462 3264797 | 2147483647 18933 12 | 0.126 % |
95.88/95.96 c | 19252 | 7940 459462 3264797 | 2147483647 19242 12 | 0.126 % |
95.99/96.11 c | 19593 | 7940 459462 3264797 | 2147483647 19583 12 | 0.126 % |
96.09/96.20 c | 19965 | 7940 459462 3264797 | 2147483647 19955 12 | 0.126 % |
96.09/96.22 c | 20066 | 7940 459462 3264797 | 2147483647 20056 12 | 0.126 % |
96.19/96.27 c | 20179 | 7939 459462 3264797 | 2147483647 20168 12 | 0.138 % |
96.19/96.31 c | 20301 | 7939 459462 3264797 | 2147483647 20290 12 | 0.138 % |
96.29/96.34 c | 20435 | 7939 459462 3264797 | 2147483647 20424 12 | 0.138 % |
96.29/96.41 c | 20582 | 7939 459462 3264797 | 2147483647 20571 12 | 0.138 % |
96.39/96.44 c | 20743 | 7939 459462 3264797 | 2147483647 20732 12 | 0.138 % |
96.39/96.45 c | 20920 | 7939 459462 3264797 | 2147483647 20909 12 | 0.138 % |
96.39/96.48 c | 21113 | 7939 459462 3264797 | 2147483647 21102 12 | 0.138 % |
96.49/96.52 c | 21326 | 7939 459462 3264797 | 2147483647 21315 12 | 0.138 % |
96.49/96.56 c | 21559 | 7939 459462 3264797 | 2147483647 21548 12 | 0.138 % |
96.59/96.64 c | 21817 | 7939 459462 3264797 | 2147483647 21806 12 | 0.138 % |
96.79/96.84 c | 22098 | 7939 459462 3264797 | 2147483647 22087 12 | 0.138 % |
96.79/96.89 c | 22408 | 7939 459462 3264797 | 2147483647 22397 12 | 0.138 % |
96.89/96.93 c | 22747 | 7939 459462 3264797 | 2147483647 22736 12 | 0.138 % |
96.89/97.00 c | 23119 | 7939 459462 3264797 | 2147483647 23108 12 | 0.138 % |
96.99/97.11 c | 23529 | 7939 459462 3264797 | 2147483647 23518 12 | 0.138 % |
97.09/97.13 c | 23631 | 7939 459462 3264797 | 2147483647 23620 12 | 0.138 % |
97.09/97.19 c | 23741 | 7939 459462 3264797 | 2147483647 23730 12 | 0.138 % |
97.09/97.21 c | 23863 | 7939 459462 3264797 | 2147483647 23852 12 | 0.138 % |
97.19/97.24 c | 23996 | 7939 459462 3264797 | 2147483647 23985 12 | 0.138 % |
97.19/97.25 c | 24143 | 7939 459462 3264797 | 2147483647 24132 12 | 0.138 % |
97.19/97.29 c | 24304 | 7939 459462 3264797 | 2147483647 24293 12 | 0.138 % |
97.29/97.33 c | 24481 | 7939 459462 3264797 | 2147483647 24470 12 | 0.138 % |
97.29/97.38 c | 24677 | 7939 459462 3264797 | 2147483647 24666 12 | 0.138 % |
97.39/97.48 c | 24889 | 7939 459462 3264797 | 2147483647 24878 12 | 0.138 % |
97.49/97.59 c | 25126 | 7939 459462 3264797 | 2147483647 25115 12 | 0.138 % |
97.59/97.64 c | 25382 | 7939 459462 3264797 | 2147483647 25371 12 | 0.138 % |
97.69/97.79 c | 25665 | 7938 459462 3264797 | 2147483647 25653 12 | 0.151 % |
97.79/97.86 c | 25976 | 7938 459462 3264797 | 2147483647 25964 12 | 0.151 % |
97.89/97.96 c | 26315 | 7938 459462 3264797 | 2147483647 26303 12 | 0.151 % |
98.09/98.14 c | 26687 | 7938 459462 3264797 | 2147483647 26675 12 | 0.151 % |
98.19/98.24 c | 27097 | 7937 459462 3264797 | 2147483647 27084 12 | 0.164 % |
98.29/98.37 c | 27547 | 7937 459462 3264797 | 2147483647 27534 12 | 0.164 % |
98.29/98.40 c | 27647 | 7937 459462 3264797 | 2147483647 27634 12 | 0.164 % |
98.39/98.44 c | 27757 | 7937 459462 3264797 | 2147483647 27744 12 | 0.164 % |
98.39/98.46 c | 27878 | 7937 459462 3264797 | 2147483647 27865 12 | 0.164 % |
98.39/98.47 c | 28011 | 7937 459462 3264797 | 2147483647 27998 12 | 0.164 % |
98.39/98.49 c | 28158 | 7937 459462 3264797 | 2147483647 28145 12 | 0.164 % |
98.49/98.53 c | 28318 | 7937 459462 3264797 | 2147483647 28305 12 | 0.164 % |
98.59/98.64 c | 28495 | 7936 459462 3264797 | 2147483647 28481 12 | 0.176 % |
98.59/98.68 c | 28688 | 7936 459462 3264797 | 2147483647 28674 12 | 0.176 % |
98.69/98.73 c | 28900 | 7936 459462 3264797 | 2147483647 28886 12 | 0.176 % |
98.69/98.77 c | 29134 | 7936 459462 3264797 | 2147483647 29120 12 | 0.176 % |
98.79/98.84 c | 29390 | 7936 459462 3264797 | 2147483647 29376 12 | 0.176 % |
98.79/98.88 c | 29672 | 7936 459462 3264797 | 2147483647 29658 12 | 0.176 % |
98.89/99.00 c | 29982 | 7935 459462 3264797 | 2147483647 29967 12 | 0.189 % |
98.99/99.08 c | 30322 | 7935 459462 3264797 | 2147483647 30307 12 | 0.189 % |
99.09/99.19 c | 30695 | 7935 459462 3264797 | 2147483647 30680 12 | 0.189 % |
99.19/99.29 c | 31104 | 7935 459462 3264797 | 2147483647 31089 12 | 0.189 % |
99.29/99.34 c | 31554 | 7935 459462 3264797 | 2147483647 31539 12 | 0.189 % |
99.39/99.42 c | 32048 | 7935 459462 3264797 | 2147483647 32033 12 | 0.189 % |
99.39/99.45 c | 32150 | 7935 459462 3264797 | 2147483647 32135 12 | 0.189 % |
99.39/99.47 c | 32261 | 7935 459462 3264797 | 2147483647 32246 12 | 0.189 % |
99.39/99.49 c | 32383 | 7935 459462 3264797 | 2147483647 32368 12 | 0.189 % |
99.39/99.51 c | 32516 | 7935 459462 3264797 | 2147483647 32501 12 | 0.189 % |
99.49/99.57 c | 32662 | 7934 459462 3264797 | 2147483647 32646 12 | 0.201 % |
99.49/99.59 c | 32822 | 7934 459462 3264797 | 2147483647 32806 12 | 0.201 % |
99.59/99.64 c | 32999 | 7934 459462 3264797 | 2147483647 32983 12 | 0.201 % |
99.59/99.69 c | 33194 | 7934 459462 3264797 | 2147483647 33178 12 | 0.201 % |
99.69/99.76 c | 33407 | 7934 459462 3264797 | 2147483647 33391 12 | 0.201 % |
99.79/99.84 c | 33641 | 7934 459462 3264797 | 2147483647 33625 12 | 0.201 % |
99.79/99.88 c | 33898 | 7934 459462 3264797 | 2147483647 33882 12 | 0.201 % |
99.79/99.91 c | 34179 | 7934 459462 3264797 | 2147483647 34163 12 | 0.201 % |
99.89/99.94 c | 34489 | 7934 459462 3264797 | 2147483647 34473 12 | 0.201 % |
99.89/100.01 c | 34829 | 7934 459462 3264797 | 2147483647 34813 12 | 0.201 % |
100.09/100.15 c | 35201 | 7934 459462 3264797 | 2147483647 35185 12 | 0.201 % |
100.09/100.20 c | 35611 | 7934 459462 3264797 | 2147483647 35595 12 | 0.201 % |
100.19/100.31 c | 36062 | 7934 459462 3264797 | 2147483647 36046 12 | 0.201 % |
100.29/100.38 c | 36556 | 7934 459462 3264797 | 2147483647 36540 12 | 0.201 % |
100.39/100.50 c | 37099 | 7934 459462 3264797 | 2147483647 37083 12 | 0.201 % |
100.39/100.51 c | 37199 | 7934 459462 3264797 | 2147483647 37183 12 | 0.201 % |
100.49/100.55 c | 37309 | 7934 459462 3264797 | 2147483647 37293 12 | 0.201 % |
100.49/100.58 c | 37432 | 7934 459462 3264797 | 2147483647 37416 12 | 0.201 % |
100.49/100.61 c | 37566 | 7934 459462 3264797 | 2147483647 37550 12 | 0.201 % |
100.59/100.68 c | 37712 | 7934 459462 3264797 | 2147483647 37696 12 | 0.201 % |
100.69/100.77 c | 37873 | 7934 459462 3264797 | 2147483647 37857 12 | 0.201 % |
100.79/100.82 c | 38049 | 7934 459462 3264797 | 2147483647 38033 12 | 0.201 % |
100.79/100.85 c | 38243 | 7934 459462 3264797 | 2147483647 38227 12 | 0.201 % |
100.79/100.90 c | 38456 | 7934 459462 3264797 | 2147483647 38440 12 | 0.201 % |
100.89/100.99 c | 38689 | 7934 459462 3264797 | 2147483647 38673 12 | 0.201 % |
100.99/101.04 c | 38946 | 7934 459462 3264797 | 2147483647 38930 12 | 0.201 % |
100.99/101.08 c | 39227 | 7934 459462 3264797 | 2147483647 39211 12 | 0.201 % |
101.09/101.15 c | 39537 | 7934 459462 3264797 | 2147483647 39521 12 | 0.201 % |
101.19/101.24 c | 39876 | 7934 459462 3264797 | 2147483647 39860 12 | 0.201 % |
101.19/101.30 c | 40249 | 7934 459462 3264797 | 2147483647 40233 12 | 0.201 % |
101.29/101.37 c | 40660 | 7934 459462 3264797 | 2147483647 40644 12 | 0.201 % |
101.49/101.53 c | 41110 | 7934 459462 3264797 | 2147483647 41094 12 | 0.201 % |
101.59/101.65 c | 41603 | 7934 459462 3264797 | 2147483647 41587 12 | 0.201 % |
101.79/101.86 c | 42145 | 7934 459462 3264797 | 2147483647 42129 12 | 0.201 % |
101.89/101.98 c | 42742 | 7934 459462 3264797 | 2147483647 42726 12 | 0.201 % |
101.89/101.99 c | 42842 | 7933 459462 3264797 | 2147483647 42825 12 | 0.214 % |
101.99/102.02 c | 42954 | 7933 459462 3264797 | 2147483647 42937 12 | 0.214 % |
102.09/102.12 c | 43075 | 7933 459259 3264279 | 2147483647 43050 12 | 0.214 % |
102.09/102.14 c | 43208 | 7933 459259 3264279 | 2147483647 43183 12 | 0.214 % |
102.19/102.26 c | 43355 | 7933 459259 3264279 | 2147483647 43330 12 | 0.214 % |
102.19/102.29 c | 43515 | 7933 459259 3264279 | 2147483647 43490 12 | 0.214 % |
102.29/102.35 c | 43693 | 7933 459259 3264279 | 2147483647 43668 12 | 0.214 % |
102.39/102.42 c | 43886 | 7933 459259 3264279 | 2147483647 43861 12 | 0.214 % |
102.39/102.48 c | 44098 | 7933 459259 3264279 | 2147483647 44073 12 | 0.214 % |
102.49/102.61 c | 44332 | 7933 459259 3264279 | 2147483647 44307 12 | 0.214 % |
102.59/102.68 c | 44588 | 7933 459259 3264279 | 2147483647 44563 12 | 0.214 % |
102.69/102.74 c | 44870 | 7933 459259 3264279 | 2147483647 44845 12 | 0.214 % |
102.79/102.83 c | 45180 | 7933 459259 3264279 | 2147483647 45155 12 | 0.214 % |
102.89/103.01 c | 45519 | 7933 459259 3264279 | 2147483647 45494 12 | 0.214 % |
102.99/103.11 c | 45892 | 7933 459259 3264279 | 2147483647 45867 12 | 0.214 % |
103.19/103.26 c | 46302 | 7933 459259 3264279 | 2147483647 46277 12 | 0.214 % |
103.29/103.36 c | 46751 | 7932 459259 3264279 | 2147483647 46725 12 | 0.226 % |
103.49/103.56 c | 47245 | 7932 459259 3264279 | 2147483647 47219 12 | 0.226 % |
103.79/103.82 c | 47787 | 7932 459259 3264279 | 2147483647 47761 12 | 0.226 % |
103.99/104.05 c | 48384 | 7932 459259 3264279 | 2147483647 48358 12 | 0.226 % |
104.19/104.24 c | 49039 | 7932 459259 3264279 | 2147483647 49013 12 | 0.226 % |
104.19/104.29 c | 49139 | 7932 459259 3264279 | 2147483647 49113 12 | 0.226 % |
104.29/104.35 c | 49249 | 7932 459259 3264279 | 2147483647 49223 12 | 0.226 % |
104.39/104.43 c | 49371 | 7932 459259 3264279 | 2147483647 49345 12 | 0.226 % |
104.39/104.45 c | 49504 | 7932 459259 3264279 | 2147483647 49478 12 | 0.226 % |
104.39/104.47 c | 49651 | 7932 459259 3264279 | 2147483647 49625 12 | 0.226 % |
104.39/104.49 c | 49811 | 7932 459259 3264279 | 2147483647 49785 12 | 0.226 % |
104.49/104.53 c | 49987 | 7932 459259 3264279 | 2147483647 49961 12 | 0.226 % |
104.49/104.60 c | 50182 | 7931 459259 3264279 | 2147483647 50155 12 | 0.239 % |
104.59/104.71 c | 50394 | 7931 459259 3264279 | 2147483647 50367 13 | 0.239 % |
104.69/104.74 c | 50628 | 7931 459259 3264279 | 2147483647 50601 13 | 0.239 % |
104.69/104.77 c | 50886 | 7931 459259 3264279 | 2147483647 50859 12 | 0.239 % |
104.79/104.84 c | 51167 | 7930 459259 3264279 | 2147483647 51139 12 | 0.252 % |
104.79/104.89 c | 51477 | 7930 459259 3264279 | 2147483647 51449 12 | 0.252 % |
104.89/104.94 c | 51816 | 7930 459259 3264279 | 2147483647 51788 12 | 0.252 % |
104.89/105.01 c | 52188 | 7930 459259 3264279 | 2147483647 52160 12 | 0.252 % |
104.99/105.11 c | 52597 | 7929 459259 3264279 | 2147483647 52568 12 | 0.264 % |
105.19/105.30 c | 53047 | 7929 459259 3264279 | 2147483647 53018 12 | 0.264 % |
105.39/105.51 c | 53540 | 7929 459259 3264279 | 2147483647 53511 12 | 0.264 % |
105.59/105.67 c | 54082 | 7929 459259 3264279 | 2147483647 54053 13 | 0.264 % |
105.79/105.87 c | 54678 | 7929 459259 3264279 | 2147483647 54649 13 | 0.264 % |
105.99/106.11 c | 55333 | 7929 459259 3264279 | 2147483647 55304 13 | 0.264 % |
106.39/106.43 c | 56053 | 7929 459259 3264279 | 2147483647 56024 13 | 0.264 % |
106.39/106.45 c | 56153 | 7929 459259 3264279 | 2147483647 56124 13 | 0.264 % |
106.39/106.51 c | 56265 | 7929 459259 3264279 | 2147483647 56236 13 | 0.264 % |
106.49/106.56 c | 56387 | 7929 459259 3264279 | 2147483647 56358 13 | 0.264 % |
106.49/106.59 c | 56520 | 7929 459259 3264279 | 2147483647 56491 13 | 0.264 % |
106.59/106.64 c | 56666 | 7929 459259 3264279 | 2147483647 56637 13 | 0.264 % |
106.69/106.78 c | 56828 | 7929 459259 3264279 | 2147483647 56799 13 | 0.264 % |
106.99/107.05 c | 57005 | 7929 459259 3264279 | 2147483647 56976 13 | 0.264 % |
106.99/107.12 c | 57198 | 7929 459259 3264279 | 2147483647 57169 13 | 0.264 % |
107.09/107.15 c | 57411 | 7929 459259 3264279 | 2147483647 57382 13 | 0.264 % |
107.09/107.20 c | 57645 | 7929 459259 3264279 | 2147483647 57616 13 | 0.264 % |
107.19/107.29 c | 57902 | 7929 459259 3264279 | 2147483647 57873 13 | 0.264 % |
107.29/107.39 c | 58184 | 7929 459259 3264279 | 2147483647 58155 13 | 0.264 % |
107.39/107.47 c | 58493 | 7928 459259 3264279 | 2147483647 58463 13 | 0.277 % |
107.49/107.53 c | 58833 | 7928 459259 3264279 | 2147483647 58803 13 | 0.277 % |
107.59/107.65 c | 59205 | 7928 459259 3264279 | 2147483647 59175 13 | 0.277 % |
107.69/107.77 c | 59615 | 7928 459259 3264279 | 2147483647 59585 13 | 0.277 % |
107.79/107.90 c | 60064 | 7928 459259 3264279 | 2147483647 60034 13 | 0.277 % |
108.09/108.17 c | 60558 | 7928 459259 3264279 | 2147483647 60528 13 | 0.277 % |
108.29/108.39 c | 61100 | 7928 459259 3264279 | 2147483647 61070 13 | 0.277 % |
108.59/108.67 c | 61697 | 7928 459259 3264279 | 2147483647 61667 13 | 0.277 % |
108.79/108.83 c | 62352 | 7928 459259 3264279 | 2147483647 62322 13 | 0.277 % |
108.89/109.01 c | 63073 | 7927 459259 3264279 | 2147483647 63042 13 | 0.289 % |
109.09/109.12 c | 63865 | 7925 459259 3264279 | 2147483647 63832 13 | 0.314 % |
109.09/109.13 c | 63965 | 7925 459259 3264279 | 2147483647 63932 13 | 0.314 % |
109.09/109.17 c | 64075 | 7925 459259 3264279 | 2147483647 64042 13 | 0.314 % |
109.19/109.24 c | 64197 | 7925 459259 3264279 | 2147483647 64164 13 | 0.314 % |
109.19/109.29 c | 64331 | 7925 459259 3264279 | 2147483647 64298 13 | 0.314 % |
109.29/109.35 c | 64477 | 7925 459259 3264279 | 2147483647 64444 13 | 0.314 % |
109.29/109.39 c | 64638 | 7925 459259 3264279 | 2147483647 64605 13 | 0.314 % |
109.39/109.43 c | 64814 | 7925 459259 3264279 | 2147483647 64781 13 | 0.314 % |
109.39/109.48 c | 65010 | 7925 459259 3264279 | 2147483647 64977 13 | 0.314 % |
109.49/109.54 c | 65224 | 7925 459259 3264279 | 2147483647 65191 13 | 0.314 % |
109.49/109.61 c | 65457 | 7925 459259 3264279 | 2147483647 65424 13 | 0.314 % |
109.59/109.65 c | 65715 | 7925 459259 3264279 | 2147483647 65682 13 | 0.314 % |
109.69/109.75 c | 65997 | 7925 459259 3264279 | 2147483647 65964 13 | 0.314 % |
109.79/109.85 c | 66306 | 7925 459259 3264279 | 2147483647 66273 13 | 0.314 % |
109.89/109.94 c | 66647 | 7925 459259 3264279 | 2147483647 66614 13 | 0.314 % |
109.99/110.05 c | 67019 | 7925 459259 3264279 | 2147483647 66986 13 | 0.314 % |
110.09/110.15 c | 67429 | 7925 459259 3264279 | 2147483647 67396 13 | 0.314 % |
110.29/110.33 c | 67879 | 7925 459259 3264279 | 2147483647 67846 13 | 0.314 % |
110.39/110.49 c | 68373 | 7925 459259 3264279 | 2147483647 68340 13 | 0.314 % |
110.59/110.64 c | 68916 | 7925 459259 3264279 | 2147483647 68883 13 | 0.314 % |
110.79/110.82 c | 69512 | 7925 459259 3264279 | 2147483647 69479 13 | 0.314 % |
111.19/111.29 c | 70167 | 7925 459259 3264279 | 2147483647 70134 13 | 0.314 % |
111.39/111.52 c | 70887 | 7925 459259 3264279 | 2147483647 70854 13 | 0.314 % |
111.69/111.72 c | 71681 | 7925 459259 3264279 | 2147483647 71648 13 | 0.314 % |
111.79/111.87 c | 72552 | 7925 459259 3264279 | 2147483647 72519 13 | 0.314 % |
111.79/111.88 c | 72652 | 7925 459259 3264279 | 2147483647 72619 13 | 0.314 % |
111.79/111.89 c | 72762 | 7925 459259 3264279 | 2147483647 72729 13 | 0.314 % |
111.89/111.94 c | 72884 | 7925 459259 3264279 | 2147483647 72851 13 | 0.314 % |
111.89/111.97 c | 73018 | 7925 459259 3264279 | 2147483647 72985 13 | 0.314 % |
111.99/112.03 c | 73164 | 7925 459259 3264279 | 2147483647 73131 13 | 0.314 % |
111.99/112.07 c | 73324 | 7925 459259 3264279 | 2147483647 73291 13 | 0.314 % |
112.09/112.17 c | 73501 | 7925 459259 3264279 | 2147483647 73468 13 | 0.314 % |
112.20/112.27 c | 73694 | 7925 459259 3264279 | 2147483647 73661 13 | 0.314 % |
112.29/112.33 c | 73907 | 7925 459259 3264279 | 2147483647 73874 13 | 0.314 % |
112.29/112.41 c | 74140 | 7925 459259 3264279 | 2147483647 74107 13 | 0.314 % |
112.39/112.45 c | 74396 | 7925 459259 3264279 | 2147483647 74363 13 | 0.314 % |
112.39/112.51 c | 74677 | 7924 459259 3264279 | 2147483647 74643 13 | 0.327 % |
112.69/112.75 c | 74986 | 7924 459259 3264279 | 2147483647 74952 13 | 0.327 % |
112.69/112.78 c | 75326 | 7924 459259 3264279 | 2147483647 75292 13 | 0.327 % |
112.89/112.95 c | 75698 | 7924 459259 3264279 | 2147483647 75664 13 | 0.327 % |
112.99/113.04 c | 76107 | 7924 459259 3264279 | 2147483647 76073 13 | 0.327 % |
113.09/113.13 c | 76556 | 7924 459259 3264279 | 2147483647 76522 13 | 0.327 % |
113.19/113.24 c | 77049 | 7924 459259 3264279 | 2147483647 77015 13 | 0.327 % |
113.30/113.34 c | 77591 | 7924 459259 3264279 | 2147483647 77557 13 | 0.327 % |
113.49/113.55 c | 78187 | 7924 459259 3264279 | 2147483647 78153 13 | 0.327 % |
113.59/113.71 c | 78842 | 7924 459259 3264279 | 2147483647 78808 13 | 0.327 % |
113.79/113.87 c | 79563 | 7924 459259 3264279 | 2147483647 79529 14 | 0.327 % |
113.99/114.02 c | 80355 | 7923 459259 3264279 | 2147483647 80320 14 | 0.340 % |
114.29/114.33 c | 81226 | 7923 459259 3264279 | 2147483647 81191 14 | 0.340 % |
114.40/114.52 c | 82185 | 7923 459259 3264279 | 2147483647 82150 13 | 0.340 % |
114.49/114.54 c | 82285 | 7923 459259 3264279 | 2147483647 82250 13 | 0.340 % |
114.49/114.57 c | 82397 | 7923 459259 3264279 | 2147483647 82362 13 | 0.340 % |
114.59/114.62 c | 82519 | 7923 459259 3264279 | 2147483647 82484 13 | 0.340 % |
114.59/114.70 c | 82654 | 7923 459259 3264279 | 2147483647 82619 13 | 0.340 % |
114.69/114.73 c | 82801 | 7923 459259 3264279 | 2147483647 82766 13 | 0.340 % |
114.79/114.82 c | 82963 | 7923 459259 3264279 | 2147483647 82928 13 | 0.340 % |
114.79/114.84 c | 83139 | 7923 459259 3264279 | 2147483647 83104 13 | 0.340 % |
114.89/114.93 c | 83334 | 7923 459259 3264279 | 2147483647 83299 13 | 0.340 % |
114.89/114.98 c | 83546 | 7923 459259 3264279 | 2147483647 83511 13 | 0.340 % |
114.99/115.11 c | 83779 | 7923 459259 3264279 | 2147483647 83744 14 | 0.340 % |
115.09/115.21 c | 84035 | 7923 459259 3264279 | 2147483647 84000 14 | 0.340 % |
115.19/115.27 c | 84316 | 7923 459259 3264279 | 2147483647 84281 14 | 0.340 % |
115.29/115.32 c | 84625 | 7923 459259 3264279 | 2147483647 84590 14 | 0.340 % |
115.39/115.44 c | 84965 | 7923 459259 3264279 | 2147483647 84930 14 | 0.340 % |
115.39/115.50 c | 85337 | 7923 459259 3264279 | 2147483647 85302 14 | 0.340 % |
115.50/115.61 c | 85746 | 7923 459259 3264279 | 2147483647 85711 14 | 0.340 % |
115.59/115.69 c | 86195 | 7923 459259 3264279 | 2147483647 86160 14 | 0.340 % |
115.79/115.87 c | 86689 | 7923 459259 3264279 | 2147483647 86654 13 | 0.340 % |
115.89/115.97 c | 87231 | 7923 459259 3264279 | 2147483647 87196 13 | 0.340 % |
116.09/116.21 c | 87828 | 7923 459259 3264279 | 2147483647 87793 14 | 0.340 % |
116.60/116.64 c | 88483 | 7923 459259 3264279 | 2147483647 88448 14 | 0.340 % |
116.69/116.80 c | 89203 | 7923 459259 3264279 | 2147483647 89168 14 | 0.340 % |
116.99/117.05 c | 89997 | 7923 459259 3264279 | 2147483647 89962 14 | 0.340 % |
117.19/117.26 c | 90870 | 7923 459259 3264279 | 2147483647 90835 13 | 0.340 % |
117.49/117.52 c | 91828 | 7923 459259 3264279 | 2147483647 91793 13 | 0.340 % |
117.70/117.74 c | 92882 | 7923 459259 3264279 | 2147483647 92847 13 | 0.340 % |
117.79/117.85 c | 92982 | 7923 459259 3264279 | 2147483647 92947 13 | 0.340 % |
117.79/117.88 c | 93094 | 7923 459259 3264279 | 2147483647 93059 13 | 0.340 % |
117.89/117.98 c | 93218 | 7923 459139 3263969 | 2147483647 93174 13 | 0.340 % |
118.09/118.19 c | 93351 | 7923 459139 3263969 | 2147483647 93307 14 | 0.340 % |
118.19/118.31 c | 93499 | 7923 459139 3263969 | 2147483647 93455 14 | 0.340 % |
118.29/118.38 c | 93659 | 7923 459139 3263969 | 2147483647 93615 14 | 0.340 % |
118.39/118.46 c | 93836 | 7923 459139 3263969 | 2147483647 93792 14 | 0.340 % |
118.39/118.49 c | 94030 | 7923 459139 3263969 | 2147483647 93986 14 | 0.340 % |
118.49/118.54 c | 94242 | 7923 459139 3263969 | 2147483647 94198 14 | 0.340 % |
118.59/118.62 c | 94476 | 7923 459139 3263969 | 2147483647 94432 14 | 0.340 % |
118.59/118.67 c | 94733 | 7923 459139 3263969 | 2147483647 94689 14 | 0.340 % |
118.69/118.75 c | 95014 | 7923 459139 3263969 | 2147483647 94970 14 | 0.340 % |
118.80/118.86 c | 95323 | 7923 459139 3263969 | 2147483647 95279 14 | 0.340 % |
118.89/118.98 c | 95663 | 7923 459139 3263969 | 2147483647 95619 14 | 0.340 % |
118.99/119.05 c | 96035 | 7923 459139 3263969 | 2147483647 95991 14 | 0.340 % |
119.09/119.14 c | 96445 | 7922 459139 3263969 | 2147483647 96400 14 | 0.352 % |
119.29/119.32 c | 96894 | 7922 459139 3263969 | 2147483647 96849 14 | 0.352 % |
119.39/119.46 c | 97389 | 7922 459139 3263969 | 2147483647 97344 14 | 0.352 % |
119.49/119.54 c | 97931 | 7922 459139 3263969 | 2147483647 97886 14 | 0.352 % |
119.69/119.72 c | 98529 | 7922 459139 3263969 | 2147483647 98484 14 | 0.352 % |
119.79/119.89 c | 99185 | 7922 459139 3263969 | 2147483647 99140 14 | 0.352 % |
119.90/120.01 c | 99906 | 7921 459139 3263969 | 2147483647 99860 14 | 0.365 % |
120.19/120.22 c | 100698 | 7921 459139 3263969 | 2147483647 100652 13 | 0.365 % |
120.49/120.52 c | 101570 | 7921 459139 3263969 | 2147483647 101524 14 | 0.365 % |
120.89/120.98 c | 102528 | 7920 459139 3263969 | 2147483647 102481 14 | 0.377 % |
121.29/121.33 c | 103581 | 7920 459139 3263969 | 2147483647 103534 14 | 0.377 % |
121.49/121.55 c | 104739 | 7920 459139 3263969 | 2147483647 104692 14 | 0.377 % |
121.49/121.57 c | 104839 | 7920 459139 3263969 | 2147483647 104792 14 | 0.377 % |
121.49/121.60 c | 104949 | 7920 459139 3263969 | 2147483647 104902 14 | 0.377 % |
121.59/121.63 c | 105072 | 7920 459139 3263969 | 2147483647 105025 14 | 0.377 % |
121.59/121.70 c | 105206 | 7920 459139 3263969 | 2147483647 105159 14 | 0.377 % |
121.69/121.77 c | 105352 | 7920 459139 3263969 | 2147483647 105305 14 | 0.377 % |
121.69/121.81 c | 105513 | 7920 459139 3263969 | 2147483647 105466 14 | 0.377 % |
121.89/122.01 c | 105691 | 7920 459139 3263969 | 2147483647 105644 14 | 0.377 % |
121.99/122.07 c | 105885 | 7920 459139 3263969 | 2147483647 105838 14 | 0.377 % |
122.10/122.15 c | 106098 | 7920 459139 3263969 | 2147483647 106051 14 | 0.377 % |
122.10/122.19 c | 106331 | 7920 459139 3263969 | 2147483647 106284 14 | 0.377 % |
122.19/122.30 c | 106588 | 7920 459139 3263969 | 2147483647 106541 14 | 0.377 % |
122.39/122.48 c | 106869 | 7920 459139 3263969 | 2147483647 106822 14 | 0.377 % |
122.49/122.54 c | 107179 | 7920 459139 3263969 | 2147483647 107132 14 | 0.377 % |
122.59/122.64 c | 107518 | 7920 459139 3263969 | 2147483647 107471 14 | 0.377 % |
122.89/123.00 c | 107891 | 7920 459139 3263969 | 2147483647 107844 14 | 0.377 % |
123.20/123.26 c | 108300 | 7920 459139 3263969 | 2147483647 108253 14 | 0.377 % |
123.20/123.29 c | 108750 | 7920 459139 3263969 | 2147483647 108703 14 | 0.377 % |
123.39/123.48 c | 109245 | 7920 459139 3263969 | 2147483647 109198 14 | 0.377 % |
123.49/123.55 c | 109789 | 7920 459139 3263969 | 2147483647 109742 14 | 0.377 % |
123.59/123.70 c | 110385 | 7919 459139 3263969 | 2147483647 110337 14 | 0.390 % |
123.79/123.89 c | 111041 | 7919 459139 3263969 | 2147483647 110993 14 | 0.390 % |
124.30/124.33 c | 111761 | 7919 459139 3263969 | 2147483647 111713 14 | 0.390 % |
124.49/124.59 c | 112554 | 7918 459139 3263969 | 2147483647 112505 14 | 0.403 % |
124.79/124.90 c | 113427 | 7918 459139 3263969 | 2147483647 113378 14 | 0.403 % |
124.99/125.09 c | 114386 | 7918 459139 3263969 | 2147483647 114337 14 | 0.403 % |
125.40/125.45 c | 115439 | 7918 459139 3263969 | 2147483647 115390 14 | 0.403 % |
125.69/125.73 c | 116597 | 7918 459139 3263969 | 2147483647 116548 14 | 0.403 % |
126.39/126.50 c | 117871 | 7918 459139 3263969 | 2147483647 117822 14 | 0.403 % |
126.50/126.54 c | 117972 | 7917 459139 3263969 | 2147483647 117922 14 | 0.415 % |
126.50/126.58 c | 118083 | 7917 459139 3263969 | 2147483647 118033 14 | 0.415 % |
126.50/126.60 c | 118204 | 7917 459139 3263969 | 2147483647 118154 14 | 0.415 % |
126.59/126.67 c | 118338 | 7917 459139 3263969 | 2147483647 118288 14 | 0.415 % |
126.59/126.71 c | 118485 | 7917 459139 3263969 | 2147483647 118435 14 | 0.415 % |
126.69/126.73 c | 118646 | 7917 459139 3263969 | 2147483647 118596 14 | 0.415 % |
126.79/126.84 c | 118822 | 7917 459139 3263969 | 2147483647 118772 14 | 0.415 % |
126.79/126.89 c | 119015 | 7917 459139 3263969 | 2147483647 118965 14 | 0.415 % |
126.89/126.92 c | 119227 | 7917 459139 3263969 | 2147483647 119177 14 | 0.415 % |
126.89/127.01 c | 119461 | 7917 459139 3263969 | 2147483647 119411 14 | 0.415 % |
126.99/127.09 c | 119717 | 7917 459139 3263969 | 2147483647 119667 14 | 0.415 % |
127.09/127.18 c | 119999 | 7917 459139 3263969 | 2147483647 119949 14 | 0.415 % |
127.29/127.34 c | 120310 | 7917 459139 3263969 | 2147483647 120260 14 | 0.415 % |
127.39/127.47 c | 120650 | 7917 459139 3263969 | 2147483647 120600 14 | 0.415 % |
127.49/127.59 c | 121022 | 7917 459139 3263969 | 2147483647 120972 14 | 0.415 % |
127.60/127.68 c | 121434 | 7917 459139 3263969 | 2147483647 121384 14 | 0.415 % |
127.69/127.73 c | 121884 | 7917 459139 3263969 | 2147483647 121834 14 | 0.415 % |
127.79/127.83 c | 122378 | 7917 459139 3263969 | 2147483647 122328 14 | 0.415 % |
127.99/128.06 c | 122921 | 7917 459139 3263969 | 2147483647 122871 14 | 0.415 % |
128.09/128.18 c | 123518 | 7917 459139 3263969 | 2147483647 123468 14 | 0.415 % |
128.29/128.39 c | 124174 | 7917 459139 3263969 | 2147483647 124124 14 | 0.415 % |
128.49/128.60 c | 124895 | 7917 459139 3263969 | 2147483647 124845 14 | 0.415 % |
128.79/128.84 c | 125689 | 7917 459139 3263969 | 2147483647 125639 14 | 0.415 % |
129.09/129.13 c | 126561 | 7917 459139 3263969 | 2147483647 126511 14 | 0.415 % |
129.39/129.42 c | 127519 | 7917 459139 3263969 | 2147483647 127469 14 | 0.415 % |
129.59/129.71 c | 128573 | 7917 459139 3263969 | 2147483647 128523 14 | 0.415 % |
129.99/130.02 c | 129731 | 7916 459139 3263969 | 2147483647 129680 14 | 0.428 % |
130.39/130.50 c | 131004 | 7916 459139 3263969 | 2147483647 130953 14 | 0.428 % |
131.09/131.13 c | 132404 | 7916 459139 3263969 | 2147483647 132353 14 | 0.428 % |
131.09/131.18 c | 132505 | 7916 459139 3263969 | 2147483647 132454 14 | 0.428 % |
131.19/131.28 c | 132616 | 7916 459139 3263969 | 2147483647 132565 14 | 0.428 % |
131.29/131.32 c | 132737 | 7916 459139 3263969 | 2147483647 132686 14 | 0.428 % |
131.29/131.41 c | 132871 | 7916 459139 3263969 | 2147483647 132820 14 | 0.428 % |
131.39/131.44 c | 133018 | 7916 459139 3263969 | 2147483647 132967 14 | 0.428 % |
131.49/131.61 c | 133179 | 7916 459139 3263969 | 2147483647 133128 14 | 0.428 % |
131.59/131.71 c | 133357 | 7916 459139 3263969 | 2147483647 133306 14 | 0.428 % |
131.69/131.79 c | 133550 | 7916 459139 3263969 | 2147483647 133499 14 | 0.428 % |
131.79/131.85 c | 133762 | 7916 459139 3263969 | 2147483647 133711 14 | 0.428 % |
131.89/132.01 c | 133995 | 7916 459139 3263969 | 2147483647 133944 14 | 0.428 % |
132.00/132.07 c | 134252 | 7916 459139 3263969 | 2147483647 134201 14 | 0.428 % |
132.09/132.20 c | 134534 | 7916 459139 3263969 | 2147483647 134483 14 | 0.428 % |
132.29/132.34 c | 134843 | 7916 459139 3263969 | 2147483647 134792 14 | 0.428 % |
132.49/132.55 c | 135182 | 7916 459139 3263969 | 2147483647 135131 14 | 0.428 % |
132.59/132.67 c | 135554 | 7916 459139 3263969 | 2147483647 135503 14 | 0.428 % |
132.69/132.79 c | 135964 | 7916 459139 3263969 | 2147483647 135913 14 | 0.428 % |
132.99/133.05 c | 136416 | 7916 459139 3263969 | 2147483647 136365 14 | 0.428 % |
133.19/133.24 c | 136909 | 7916 459139 3263969 | 2147483647 136858 14 | 0.428 % |
133.39/133.44 c | 137452 | 7915 459139 3263969 | 2147483647 137400 14 | 0.440 % |
133.49/133.59 c | 138048 | 7915 459139 3263969 | 2147483647 137996 14 | 0.440 % |
133.69/133.76 c | 138703 | 7915 459139 3263969 | 2147483647 138651 14 | 0.440 % |
133.79/133.87 c | 139423 | 7915 459139 3263969 | 2147483647 139371 14 | 0.440 % |
134.29/134.34 c | 140215 | 7915 459139 3263969 | 2147483647 140163 14 | 0.440 % |
134.69/134.76 c | 141087 | 7915 459139 3263969 | 2147483647 141035 14 | 0.440 % |
135.09/135.20 c | 142045 | 7915 459139 3263969 | 2147483647 141993 14 | 0.440 % |
135.49/135.53 c | 143100 | 7915 459139 3263969 | 2147483647 143048 14 | 0.440 % |
135.79/135.89 c | 144258 | 7915 459139 3263969 | 2147483647 144206 14 | 0.440 % |
136.29/136.39 c | 145532 | 7915 459139 3263969 | 2147483647 145480 14 | 0.440 % |
136.79/136.86 c | 146934 | 7915 459139 3263969 | 2147483647 146882 14 | 0.440 % |
137.19/137.25 c | 148474 | 7914 459139 3263969 | 2147483647 148421 14 | 0.453 % |
137.19/137.29 c | 148574 | 7914 459139 3263969 | 2147483647 148521 14 | 0.453 % |
137.29/137.32 c | 148686 | 7914 459139 3263969 | 2147483647 148633 14 | 0.453 % |
137.29/137.36 c | 148809 | 7914 459139 3263969 | 2147483647 148756 14 | 0.453 % |
137.29/137.41 c | 148943 | 7914 459139 3263969 | 2147483647 148890 14 | 0.453 % |
137.39/137.46 c | 149090 | 7914 459139 3263969 | 2147483647 149037 14 | 0.453 % |
137.50/137.54 c | 149251 | 7914 459139 3263969 | 2147483647 149198 14 | 0.453 % |
137.50/137.58 c | 149427 | 7914 459139 3263969 | 2147483647 149374 14 | 0.453 % |
137.59/137.65 c | 149620 | 7914 459139 3263969 | 2147483647 149567 14 | 0.453 % |
137.59/137.68 c | 149832 | 7914 459139 3263969 | 2147483647 149779 14 | 0.453 % |
137.89/137.91 c | 150065 | 7914 459139 3263969 | 2147483647 150012 14 | 0.453 % |
137.99/138.05 c | 150321 | 7914 459139 3263969 | 2147483647 150268 14 | 0.453 % |
138.09/138.13 c | 150602 | 7914 459139 3263969 | 2147483647 150549 14 | 0.453 % |
138.09/138.18 c | 150912 | 7913 459139 3263969 | 2147483647 150858 14 | 0.465 % |
138.29/138.33 c | 151253 | 7913 459139 3263969 | 2147483647 151199 14 | 0.465 % |
138.49/138.55 c | 151626 | 7913 459139 3263969 | 2147483647 151572 14 | 0.465 % |
138.69/138.78 c | 152036 | 7913 459139 3263969 | 2147483647 151982 14 | 0.465 % |
138.89/138.99 c | 152486 | 7913 459139 3263969 | 2147483647 152432 14 | 0.465 % |
138.99/139.08 c | 152979 | 7913 459139 3263969 | 2147483647 152925 14 | 0.465 % |
139.29/139.39 c | 153522 | 7913 459139 3263969 | 2147483647 153468 14 | 0.465 % |
139.70/139.77 c | 154118 | 7913 459019 3263659 | 2147483647 154055 14 | 0.465 % |
139.79/139.90 c | 154773 | 7913 459019 3263659 | 2147483647 154710 14 | 0.465 % |
140.09/140.18 c | 155495 | 7913 459019 3263659 | 2147483647 155432 14 | 0.465 % |
140.49/140.53 c | 156288 | 7913 459019 3263659 | 2147483647 156225 14 | 0.465 % |
140.69/140.75 c | 157159 | 7913 459019 3263659 | 2147483647 157096 14 | 0.465 % |
140.89/140.93 c | 158118 | 7913 459019 3263659 | 2147483647 158055 14 | 0.465 % |
141.19/141.25 c | 159171 | 7913 459019 3263659 | 2147483647 159108 14 | 0.465 % |
141.69/141.79 c | 160330 | 7912 459019 3263659 | 2147483647 160266 14 | 0.478 % |
142.29/142.33 c | 161604 | 7912 459019 3263659 | 2147483647 161540 14 | 0.478 % |
143.19/143.27 c | 163005 | 7912 459019 3263659 | 2147483647 162941 15 | 0.478 % |
144.39/144.45 c | 164546 | 7912 459019 3263659 | 2147483647 164482 15 | 0.478 % |
147.29/147.36 c | 166240 | 7912 459019 3263659 | 2147483647 166176 16 | 0.478 % |
147.29/147.39 c | 166340 | 7912 459019 3263659 | 2147483647 166276 16 | 0.478 % |
147.29/147.42 c | 166451 | 7912 459019 3263659 | 2147483647 166387 16 | 0.478 % |
147.40/147.46 c | 166572 | 7912 459019 3263659 | 2147483647 166508 16 | 0.478 % |
147.40/147.48 c | 166707 | 7912 459019 3263659 | 2147483647 166643 16 | 0.478 % |
147.49/147.52 c | 166855 | 7912 459019 3263659 | 2147483647 166791 16 | 0.478 % |
147.49/147.61 c | 167016 | 7911 459019 3263659 | 2147483647 166951 16 | 0.491 % |
147.59/147.65 c | 167193 | 7911 459019 3263659 | 2147483647 167128 16 | 0.491 % |
147.59/147.66 c | 167388 | 7911 459019 3263659 | 2147483647 167323 16 | 0.491 % |
147.69/147.74 c | 167601 | 7911 459019 3263659 | 2147483647 167536 16 | 0.491 % |
147.79/147.83 c | 167834 | 7911 459019 3263659 | 2147483647 167769 16 | 0.491 % |
147.89/147.92 c | 168090 | 7911 459019 3263659 | 2147483647 168025 16 | 0.491 % |
147.99/148.11 c | 168371 | 7911 459019 3263659 | 2147483647 168306 16 | 0.491 % |
148.19/148.28 c | 168681 | 7911 459019 3263659 | 2147483647 168616 16 | 0.491 % |
148.29/148.33 c | 169020 | 7911 459019 3263659 | 2147483647 168955 16 | 0.491 % |
148.39/148.50 c | 169393 | 7911 459019 3263659 | 2147483647 169328 16 | 0.491 % |
148.59/148.65 c | 169802 | 7911 459019 3263659 | 2147483647 169737 16 | 0.491 % |
148.69/148.74 c | 170252 | 7911 459019 3263659 | 2147483647 170187 16 | 0.491 % |
148.89/148.95 c | 170745 | 7911 459019 3263659 | 2147483647 170680 16 | 0.491 % |
148.99/149.10 c | 171287 | 7911 459019 3263659 | 2147483647 171222 16 | 0.491 % |
149.29/149.33 c | 171883 | 7911 459019 3263659 | 2147483647 171818 16 | 0.491 % |
149.39/149.50 c | 172538 | 7911 459019 3263659 | 2147483647 172473 16 | 0.491 % |
149.79/149.83 c | 173258 | 7911 459019 3263659 | 2147483647 173193 16 | 0.491 % |
150.19/150.23 c | 174051 | 7911 459019 3263659 | 2147483647 173986 16 | 0.491 % |
150.59/150.64 c | 174922 | 7911 459019 3263659 | 2147483647 174857 16 | 0.491 % |
150.70/150.77 c | 175880 | 7911 459019 3263659 | 2147483647 175815 16 | 0.491 % |
150.89/150.95 c | 176935 | 7910 459019 3263659 | 2147483647 176869 16 | 0.503 % |
151.39/151.45 c | 178094 | 7910 459019 3263659 | 2147483647 178028 16 | 0.503 % |
151.59/151.69 c | 179367 | 7910 459019 3263659 | 2147483647 179301 16 | 0.503 % |
151.99/152.10 c | 180767 | 7910 459019 3263659 | 2147483647 180701 16 | 0.503 % |
152.59/152.71 c | 182308 | 7910 459019 3263659 | 2147483647 182242 16 | 0.503 % |
153.29/153.36 c | 184002 | 7910 459019 3263659 | 2147483647 183936 16 | 0.503 % |
154.69/154.72 c | 185866 | 7910 459019 3263659 | 2147483647 185800 16 | 0.503 % |
154.69/154.79 c | 185967 | 7910 459019 3263659 | 2147483647 185901 16 | 0.503 % |
154.79/154.85 c | 186079 | 7910 459019 3263659 | 2147483647 186013 16 | 0.503 % |
154.79/154.90 c | 186200 | 7910 459019 3263659 | 2147483647 186134 16 | 0.503 % |
154.89/154.99 c | 186334 | 7910 459019 3263659 | 2147483647 186268 16 | 0.503 % |
155.00/155.06 c | 186481 | 7910 459019 3263659 | 2147483647 186415 16 | 0.503 % |
155.10/155.14 c | 186641 | 7910 459019 3263659 | 2147483647 186575 16 | 0.503 % |
155.10/155.20 c | 186817 | 7910 459019 3263659 | 2147483647 186751 16 | 0.503 % |
155.29/155.33 c | 187011 | 7910 459019 3263659 | 2147483647 186945 16 | 0.503 % |
155.29/155.41 c | 187223 | 7910 459019 3263659 | 2147483647 187157 16 | 0.503 % |
155.40/155.50 c | 187456 | 7910 459019 3263659 | 2147483647 187390 16 | 0.503 % |
155.50/155.59 c | 187713 | 7910 459019 3263659 | 2147483647 187647 16 | 0.503 % |
155.60/155.72 c | 187994 | 7910 459019 3263659 | 2147483647 187928 16 | 0.503 % |
155.70/155.80 c | 188303 | 7910 459019 3263659 | 2147483647 188237 16 | 0.503 % |
156.00/156.04 c | 188642 | 7910 459019 3263659 | 2147483647 188576 16 | 0.503 % |
156.10/156.20 c | 189014 | 7910 459019 3263659 | 2147483647 188948 16 | 0.503 % |
156.30/156.38 c | 189425 | 7910 459019 3263659 | 2147483647 189359 16 | 0.503 % |
157.10/157.14 c | 189874 | 7910 459019 3263659 | 2147483647 189808 17 | 0.503 % |
157.20/157.25 c | 190367 | 7910 459019 3263659 | 2147483647 190301 17 | 0.503 % |
157.40/157.47 c | 190909 | 7910 459019 3263659 | 2147483647 190843 17 | 0.503 % |
157.70/157.74 c | 191507 | 7910 459019 3263659 | 2147483647 191441 17 | 0.503 % |
157.80/157.84 c | 192163 | 7910 459019 3263659 | 2147483647 192097 17 | 0.503 % |
158.10/158.21 c | 192883 | 7910 459019 3263659 | 2147483647 192817 17 | 0.503 % |
158.60/158.63 c | 193676 | 7910 459019 3263659 | 2147483647 193610 17 | 0.503 % |
158.90/159.00 c | 194548 | 7910 459019 3263659 | 2147483647 194482 17 | 0.503 % |
159.40/159.48 c | 195507 | 7910 459019 3263659 | 2147483647 195441 17 | 0.503 % |
159.80/159.85 c | 196560 | 7910 459019 3263659 | 2147483647 196494 17 | 0.503 % |
160.40/160.51 c | 197718 | 7910 459019 3263659 | 2147483647 197652 17 | 0.503 % |
160.90/161.01 c | 198991 | 7910 459019 3263659 | 2147483647 198925 17 | 0.503 % |
161.60/161.63 c | 200391 | 7910 459019 3263659 | 2147483647 200325 16 | 0.503 % |
163.10/163.18 c | 201932 | 7910 459019 3263659 | 2147483647 201866 17 | 0.503 % |
163.50/163.53 c | 203627 | 7910 459019 3263659 | 2147483647 203561 17 | 0.503 % |
164.10/164.21 c | 205491 | 7909 459019 3263659 | 2147483647 205424 17 | 0.516 % |
165.40/165.43 c | 207540 | 7909 459019 3263659 | 2147483647 207473 17 | 0.516 % |
165.40/165.47 c | 207641 | 7909 459019 3263659 | 2147483647 207574 17 | 0.516 % |
165.50/165.56 c | 207752 | 7909 459019 3263659 | 2147483647 207685 17 | 0.516 % |
165.50/165.60 c | 207874 | 7909 459019 3263659 | 2147483647 207807 17 | 0.516 % |
165.60/165.65 c | 208007 | 7909 459019 3263659 | 2147483647 207940 17 | 0.516 % |
165.70/165.78 c | 208153 | 7909 459019 3263659 | 2147483647 208086 17 | 0.516 % |
165.80/165.86 c | 208314 | 7909 459019 3263659 | 2147483647 208247 17 | 0.516 % |
165.80/165.92 c | 208490 | 7909 459019 3263659 | 2147483647 208423 17 | 0.516 % |
165.90/165.99 c | 208683 | 7908 459019 3263659 | 2147483647 208615 17 | 0.528 % |
166.00/166.07 c | 208895 | 7908 459019 3263659 | 2147483647 208827 17 | 0.528 % |
166.10/166.17 c | 209128 | 7908 459019 3263659 | 2147483647 209060 17 | 0.528 % |
166.20/166.29 c | 209384 | 7908 459019 3263659 | 2147483647 209316 17 | 0.528 % |
166.30/166.34 c | 209665 | 7908 459019 3263659 | 2147483647 209597 17 | 0.528 % |
166.50/166.54 c | 209974 | 7908 459019 3263659 | 2147483647 209906 17 | 0.528 % |
166.60/166.65 c | 210314 | 7907 459019 3263659 | 2147483647 210245 17 | 0.541 % |
166.80/166.89 c | 210686 | 7907 459019 3263659 | 2147483647 210617 17 | 0.541 % |
167.10/167.18 c | 211096 | 7907 459019 3263659 | 2147483647 211027 17 | 0.541 % |
167.40/167.49 c | 211545 | 7907 459019 3263659 | 2147483647 211476 17 | 0.541 % |
167.90/167.93 c | 212038 | 7907 459019 3263659 | 2147483647 211969 17 | 0.541 % |
168.50/168.59 c | 212580 | 7906 458935 3263442 | 2147483647 212503 17 | 0.553 % |
168.80/168.83 c | 213176 | 7906 458935 3263442 | 2147483647 213099 17 | 0.553 % |
168.90/168.99 c | 213832 | 7906 458935 3263442 | 2147483647 213755 17 | 0.553 % |
169.30/169.42 c | 214552 | 7906 458935 3263442 | 2147483647 214475 17 | 0.553 % |
170.40/170.44 c | 215344 | 7906 458935 3263442 | 2147483647 215267 17 | 0.553 % |
170.90/171.01 c | 216215 | 7906 458935 3263442 | 2147483647 216138 17 | 0.553 % |
171.40/171.44 c | 217173 | 7905 458935 3263442 | 2147483647 217095 17 | 0.566 % |
171.70/171.72 c | 218226 | 7905 458935 3263442 | 2147483647 218148 17 | 0.566 % |
172.10/172.21 c | 219385 | 7905 458935 3263442 | 2147483647 219307 17 | 0.566 % |
173.60/173.62 c | 220658 | 7905 458935 3263442 | 2147483647 220580 17 | 0.566 % |
176.80/176.84 c | 222059 | 7904 458935 3263442 | 2147483647 221980 19 | 0.579 % |
178.80/178.84 c | 223600 | 7904 458935 3263442 | 2147483647 223521 19 | 0.579 % |
179.40/179.46 c | 225295 | 7904 458935 3263442 | 2147483647 225216 19 | 0.579 % |
180.70/180.73 c | 227158 | 7904 458935 3263442 | 2147483647 227079 19 | 0.579 % |
182.20/182.27 c | 229208 | 7904 458935 3263442 | 2147483647 229129 19 | 0.579 % |
183.90/183.97 c | 231462 | 7903 458935 3263442 | 2147483647 231382 19 | 0.591 % |
183.90/183.99 c | 231562 | 7903 458935 3263442 | 2147483647 231482 19 | 0.591 % |
184.00/184.09 c | 231672 | 7903 458935 3263442 | 2147483647 231592 19 | 0.591 % |
184.10/184.13 c | 231793 | 7903 458935 3263442 | 2147483647 231713 19 | 0.591 % |
184.10/184.20 c | 231926 | 7903 458935 3263442 | 2147483647 231846 19 | 0.591 % |
184.20/184.30 c | 232073 | 7903 458935 3263442 | 2147483647 231993 19 | 0.591 % |
184.30/184.33 c | 232234 | 7903 458935 3263442 | 2147483647 232154 19 | 0.591 % |
184.50/184.52 c | 232412 | 7903 458935 3263442 | 2147483647 232332 19 | 0.591 % |
184.60/184.65 c | 232606 | 7903 458935 3263442 | 2147483647 232526 19 | 0.591 % |
184.60/184.72 c | 232820 | 7903 458935 3263442 | 2147483647 232740 19 | 0.591 % |
184.80/184.85 c | 233053 | 7903 458935 3263442 | 2147483647 232973 19 | 0.591 % |
185.20/185.26 c | 233310 | 7903 458935 3263442 | 2147483647 233230 19 | 0.591 % |
185.30/185.39 c | 233591 | 7903 458935 3263442 | 2147483647 233511 19 | 0.591 % |
185.40/185.51 c | 233900 | 7903 458935 3263442 | 2147483647 233820 19 | 0.591 % |
185.60/185.63 c | 234240 | 7903 458935 3263442 | 2147483647 234160 19 | 0.591 % |
185.90/185.94 c | 234612 | 7903 458935 3263442 | 2147483647 234532 19 | 0.591 % |
186.10/186.14 c | 235021 | 7903 458935 3263442 | 2147483647 234941 19 | 0.591 % |
186.20/186.25 c | 235473 | 7903 458935 3263442 | 2147483647 235393 19 | 0.591 % |
186.90/186.95 c | 235967 | 7903 458935 3263442 | 2147483647 235887 19 | 0.591 % |
187.10/187.16 c | 236509 | 7903 458935 3263442 | 2147483647 236429 19 | 0.591 % |
187.30/187.32 c | 237105 | 7903 458935 3263442 | 2147483647 237025 19 | 0.591 % |
187.50/187.54 c | 237761 | 7903 458935 3263442 | 2147483647 237681 19 | 0.591 % |
187.80/187.89 c | 238481 | 7903 458935 3263442 | 2147483647 238401 19 | 0.591 % |
188.20/188.26 c | 239273 | 7903 458935 3263442 | 2147483647 239193 19 | 0.591 % |
189.20/189.29 c | 240144 | 7903 458935 3263442 | 2147483647 240064 19 | 0.591 % |
190.00/190.04 c | 241103 | 7903 458935 3263442 | 2147483647 241023 19 | 0.591 % |
191.10/191.12 c | 242157 | 7903 458935 3263442 | 2147483647 242077 19 | 0.591 % |
192.00/192.08 c | 243317 | 7903 458935 3263442 | 2147483647 243237 19 | 0.591 % |
193.20/193.23 c | 244590 | 7903 458935 3263442 | 2147483647 244510 19 | 0.591 % |
195.40/195.50 c | 245990 | 7903 458935 3263442 | 2147483647 245910 19 | 0.591 % |
196.40/196.44 c | 247530 | 7903 458935 3263442 | 2147483647 247450 19 | 0.591 % |
197.20/197.27 c | 249226 | 7903 458935 3263442 | 2147483647 249146 19 | 0.591 % |
199.10/199.17 c | 251089 | 7903 458935 3263442 | 2147483647 251009 20 | 0.591 % |
199.40/199.50 c | 253138 | 7903 458935 3263442 | 2147483647 253058 20 | 0.591 % |
200.70/200.80 c | 255391 | 7903 458935 3263442 | 2147483647 255311 19 | 0.591 % |
201.60/201.64 c | 257869 | 7903 458935 3263442 | 2147483647 257789 19 | 0.591 % |
201.60/201.66 c | 257969 | 7903 458935 3263442 | 2147483647 257889 19 | 0.591 % |
201.60/201.72 c | 258080 | 7903 458935 3263442 | 2147483647 258000 19 | 0.591 % |
201.70/201.75 c | 258201 | 7903 458935 3263442 | 2147483647 258121 19 | 0.591 % |
201.80/201.86 c | 258335 | 7903 458935 3263442 | 2147483647 258255 19 | 0.591 % |
201.90/201.93 c | 258482 | 7903 458935 3263442 | 2147483647 258402 19 | 0.591 % |
201.90/202.00 c | 258643 | 7903 458935 3263442 | 2147483647 258563 19 | 0.591 % |
202.09/202.14 c | 258820 | 7903 458935 3263442 | 2147483647 258740 19 | 0.591 % |
202.19/202.24 c | 259013 | 7903 458935 3263442 | 2147483647 258933 19 | 0.591 % |
202.19/202.31 c | 259225 | 7903 458935 3263442 | 2147483647 259145 19 | 0.591 % |
202.39/202.51 c | 259458 | 7903 458935 3263442 | 2147483647 259378 19 | 0.591 % |
202.59/202.65 c | 259714 | 7903 458935 3263442 | 2147483647 259634 19 | 0.591 % |
202.69/202.79 c | 259995 | 7903 458935 3263442 | 2147483647 259915 19 | 0.591 % |
202.99/203.02 c | 260304 | 7903 458935 3263442 | 2147483647 260224 19 | 0.591 % |
203.09/203.13 c | 260644 | 7903 458935 3263442 | 2147483647 260564 19 | 0.591 % |
203.59/203.66 c | 261018 | 7903 458935 3263442 | 2147483647 260938 20 | 0.591 % |
203.99/204.02 c | 261427 | 7903 458935 3263442 | 2147483647 261347 20 | 0.591 % |
204.09/204.18 c | 261877 | 7903 458935 3263442 | 2147483647 261797 20 | 0.591 % |
204.39/204.49 c | 262371 | 7903 458935 3263442 | 2147483647 262291 20 | 0.591 % |
204.69/204.79 c | 262913 | 7903 458935 3263442 | 2147483647 262833 19 | 0.591 % |
205.09/205.12 c | 263509 | 7903 458935 3263442 | 2147483647 263429 19 | 0.591 % |
205.39/205.49 c | 264167 | 7903 458935 3263442 | 2147483647 264087 19 | 0.591 % |
205.79/205.82 c | 264887 | 7903 458935 3263442 | 2147483647 264807 19 | 0.591 % |
205.99/206.07 c | 265682 | 7903 458935 3263442 | 2147483647 265602 19 | 0.591 % |
206.39/206.49 c | 266553 | 7903 458935 3263442 | 2147483647 266473 19 | 0.591 % |
207.59/207.69 c | 267513 | 7903 458935 3263442 | 2147483647 267433 19 | 0.591 % |
210.09/210.20 c | 268566 | 7903 458935 3263442 | 2147483647 268486 20 | 0.591 % |
210.39/210.46 c | 269725 | 7903 458935 3263442 | 2147483647 269645 20 | 0.591 % |
211.39/211.42 c | 270998 | 7903 458899 3263349 | 2147483647 270912 20 | 0.591 % |
212.09/212.14 c | 272398 | 7903 458899 3263349 | 2147483647 272312 20 | 0.591 % |
213.49/213.56 c | 273938 | 7903 458899 3263349 | 2147483647 273852 20 | 0.591 % |
214.59/214.67 c | 275632 | 7903 458899 3263349 | 2147483647 275546 20 | 0.591 % |
216.59/216.70 c | 277495 | 7903 458899 3263349 | 2147483647 277409 20 | 0.591 % |
217.29/217.34 c | 279544 | 7903 458899 3263349 | 2147483647 279458 20 | 0.591 % |
220.19/220.28 c | 281797 | 7903 458899 3263349 | 2147483647 281711 20 | 0.591 % |
221.79/221.83 c | 284276 | 7903 458899 3263349 | 2147483647 284190 20 | 0.591 % |
222.99/223.10 c | 287001 | 7903 458899 3263349 | 2147483647 286915 20 | 0.591 % |
223.09/223.15 c | 287101 | 7903 458899 3263349 | 2147483647 287015 20 | 0.591 % |
223.19/223.23 c | 287211 | 7903 458899 3263349 | 2147483647 287125 20 | 0.591 % |
223.30/223.35 c | 287333 | 7903 458899 3263349 | 2147483647 287247 20 | 0.591 % |
223.39/223.43 c | 287467 | 7903 458899 3263349 | 2147483647 287381 20 | 0.591 % |
223.59/223.62 c | 287613 | 7903 458899 3263349 | 2147483647 287527 20 | 0.591 % |
223.69/223.73 c | 287774 | 7903 458899 3263349 | 2147483647 287688 20 | 0.591 % |
223.79/223.84 c | 287950 | 7903 458899 3263349 | 2147483647 287864 20 | 0.591 % |
223.89/223.99 c | 288144 | 7903 458899 3263349 | 2147483647 288058 20 | 0.591 % |
224.09/224.15 c | 288356 | 7902 458899 3263349 | 2147483647 288269 20 | 0.604 % |
224.09/224.17 c | 288590 | 7902 458899 3263349 | 2147483647 288503 20 | 0.604 % |
224.19/224.21 c | 288847 | 7902 458899 3263349 | 2147483647 288760 20 | 0.604 % |
224.49/224.52 c | 289129 | 7902 458899 3263349 | 2147483647 289042 20 | 0.604 % |
224.59/224.61 c | 289438 | 7902 458899 3263349 | 2147483647 289351 20 | 0.604 % |
224.59/224.67 c | 289778 | 7902 458899 3263349 | 2147483647 289691 20 | 0.604 % |
224.79/224.82 c | 290151 | 7902 458899 3263349 | 2147483647 290064 20 | 0.604 % |
224.89/224.92 c | 290560 | 7902 458899 3263349 | 2147483647 290473 20 | 0.604 % |
225.09/225.17 c | 291009 | 7902 458899 3263349 | 2147483647 290922 20 | 0.604 % |
225.29/225.34 c | 291502 | 7902 458899 3263349 | 2147483647 291415 20 | 0.604 % |
225.50/225.54 c | 292044 | 7902 458899 3263349 | 2147483647 291957 20 | 0.604 % |
225.89/225.92 c | 292641 | 7902 458899 3263349 | 2147483647 292554 20 | 0.604 % |
226.60/226.67 c | 293297 | 7902 458899 3263349 | 2147483647 293210 20 | 0.604 % |
226.89/226.96 c | 294019 | 7902 458899 3263349 | 2147483647 293932 20 | 0.604 % |
227.70/227.74 c | 294811 | 7902 458899 3263349 | 2147483647 294724 20 | 0.604 % |
228.19/228.29 c | 295682 | 7902 458899 3263349 | 2147483647 295595 20 | 0.604 % |
229.79/229.87 c | 296641 | 7902 458899 3263349 | 2147483647 296554 20 | 0.604 % |
230.19/230.24 c | 297695 | 7902 458899 3263349 | 2147483647 297608 20 | 0.604 % |
230.79/230.87 c | 298854 | 7902 458899 3263349 | 2147483647 298767 20 | 0.604 % |
231.69/231.77 c | 300130 | 7902 458899 3263349 | 2147483647 300043 20 | 0.604 % |
235.09/235.20 c | 301530 | 7902 458899 3263349 | 2147483647 301443 21 | 0.604 % |
235.79/235.83 c | 303070 | 7902 458899 3263349 | 2147483647 302983 21 | 0.604 % |
236.59/236.66 c | 304764 | 7902 458899 3263349 | 2147483647 304677 21 | 0.604 % |
238.09/238.18 c | 306628 | 7902 458899 3263349 | 2147483647 306541 21 | 0.604 % |
239.99/240.02 c | 308677 | 7901 458899 3263349 | 2147483647 308589 21 | 0.616 % |
241.29/241.38 c | 310930 | 7901 458899 3263349 | 2147483647 310842 21 | 0.616 % |
244.59/244.63 c | 313408 | 7901 458899 3263349 | 2147483647 313320 22 | 0.616 % |
245.39/245.47 c | 316135 | 7901 458899 3263349 | 2147483647 316047 22 | 0.616 % |
247.59/247.62 c | 319132 | 7901 458899 3263349 | 2147483647 319044 22 | 0.616 % |
247.59/247.66 c | 319233 | 7901 458899 3263349 | 2147483647 319145 22 | 0.616 % |
247.69/247.72 c | 319344 | 7901 458899 3263349 | 2147483647 319256 22 | 0.616 % |
247.69/247.77 c | 319465 | 7901 458899 3263349 | 2147483647 319377 22 | 0.616 % |
247.79/247.90 c | 319600 | 7901 458899 3263349 | 2147483647 319512 22 | 0.616 % |
247.89/247.96 c | 319747 | 7901 458899 3263349 | 2147483647 319659 22 | 0.616 % |
247.99/248.08 c | 319907 | 7901 458899 3263349 | 2147483647 319819 22 | 0.616 % |
248.09/248.19 c | 320083 | 7901 458899 3263349 | 2147483647 319995 22 | 0.616 % |
248.19/248.27 c | 320277 | 7901 458899 3263349 | 2147483647 320189 22 | 0.616 % |
248.39/248.42 c | 320489 | 7901 458899 3263349 | 2147483647 320401 22 | 0.616 % |
248.49/248.56 c | 320722 | 7901 458899 3263349 | 2147483647 320634 22 | 0.616 % |
248.79/248.82 c | 320978 | 7901 458899 3263349 | 2147483647 320890 22 | 0.616 % |
248.89/248.99 c | 321261 | 7901 458899 3263349 | 2147483647 321173 22 | 0.616 % |
249.29/249.33 c | 321570 | 7901 458899 3263349 | 2147483647 321482 22 | 0.616 % |
249.49/249.57 c | 321909 | 7901 458899 3263349 | 2147483647 321821 22 | 0.616 % |
249.59/249.66 c | 322282 | 7901 458899 3263349 | 2147483647 322194 22 | 0.616 % |
249.79/249.89 c | 322692 | 7901 458899 3263349 | 2147483647 322604 22 | 0.616 % |
249.99/250.07 c | 323141 | 7901 458899 3263349 | 2147483647 323053 22 | 0.616 % |
250.29/250.31 c | 323635 | 7901 458899 3263349 | 2147483647 323547 22 | 0.616 % |
250.69/250.73 c | 324178 | 7901 458899 3263349 | 2147483647 324090 22 | 0.616 % |
250.89/250.98 c | 324776 | 7901 458899 3263349 | 2147483647 324688 22 | 0.616 % |
251.49/251.54 c | 325432 | 7901 458899 3263349 | 2147483647 325344 22 | 0.616 % |
251.90/251.99 c | 326152 | 7901 458899 3263349 | 2147483647 326064 22 | 0.616 % |
252.39/252.42 c | 326945 | 7901 458899 3263349 | 2147483647 326857 21 | 0.616 % |
253.09/253.13 c | 327817 | 7901 458899 3263349 | 2147483647 327729 22 | 0.616 % |
253.89/253.91 c | 328775 | 7901 458899 3263349 | 2147483647 328687 22 | 0.616 % |
253.99/254.09 c | 329828 | 7901 458899 3263349 | 2147483647 329740 22 | 0.616 % |
255.39/255.44 c | 330986 | 7901 458899 3263349 | 2147483647 330898 22 | 0.616 % |
256.49/256.53 c | 332260 | 7901 458899 3263349 | 2147483647 332172 22 | 0.616 % |
258.29/258.36 c | 333661 | 7901 458899 3263349 | 2147483647 333573 22 | 0.616 % |
259.29/259.34 c | 335201 | 7901 458899 3263349 | 2147483647 335113 22 | 0.616 % |
260.09/260.17 c | 336896 | 7901 458899 3263349 | 2147483647 336808 22 | 0.616 % |
261.49/261.54 c | 338759 | 7901 458899 3263349 | 2147483647 338671 21 | 0.616 % |
263.39/263.45 c | 340808 | 7901 458899 3263349 | 2147483647 340720 21 | 0.616 % |
264.59/264.63 c | 343062 | 7901 458899 3263349 | 2147483647 342974 22 | 0.616 % |
265.19/265.28 c | 345540 | 7901 458899 3263349 | 2147483647 345452 22 | 0.616 % |
266.20/266.28 c | 348265 | 7900 458899 3263349 | 2147483647 348176 22 | 0.629 % |
268.90/268.98 c | 351263 | 7900 458899 3263349 | 2147483647 351174 22 | 0.629 % |
272.40/272.41 c | 354561 | 7900 458899 3263349 | 2147483647 354472 22 | 0.629 % |
272.50/272.61 c | 354661 | 7900 458863 3263256 | 2147483647 354569 22 | 0.629 % |
272.60/272.69 c | 354771 | 7900 458863 3263256 | 2147483647 354679 22 | 0.629 % |
272.70/272.73 c | 354893 | 7900 458863 3263256 | 2147483647 354801 22 | 0.629 % |
272.80/272.84 c | 355027 | 7900 458863 3263256 | 2147483647 354935 22 | 0.629 % |
272.90/272.95 c | 355174 | 7900 458863 3263256 | 2147483647 355082 22 | 0.629 % |
273.10/273.13 c | 355336 | 7900 458863 3263256 | 2147483647 355244 22 | 0.629 % |
273.20/273.30 c | 355514 | 7900 458863 3263256 | 2147483647 355422 22 | 0.629 % |
273.30/273.34 c | 355709 | 7900 458863 3263256 | 2147483647 355617 22 | 0.629 % |
273.40/273.49 c | 355921 | 7900 458863 3263256 | 2147483647 355829 22 | 0.629 % |
273.50/273.54 c | 356154 | 7900 458863 3263256 | 2147483647 356062 22 | 0.629 % |
273.60/273.67 c | 356412 | 7900 458863 3263256 | 2147483647 356320 22 | 0.629 % |
273.70/273.74 c | 356693 | 7900 458863 3263256 | 2147483647 356601 22 | 0.629 % |
273.80/273.88 c | 357003 | 7900 458863 3263256 | 2147483647 356911 22 | 0.629 % |
274.20/274.27 c | 357343 | 7900 458863 3263256 | 2147483647 357251 22 | 0.629 % |
274.40/274.44 c | 357716 | 7900 458863 3263256 | 2147483647 357624 22 | 0.629 % |
274.50/274.55 c | 358127 | 7900 458863 3263256 | 2147483647 358035 22 | 0.629 % |
274.70/274.73 c | 358576 | 7900 458863 3263256 | 2147483647 358484 22 | 0.629 % |
275.00/275.05 c | 359070 | 7900 458863 3263256 | 2147483647 358978 22 | 0.629 % |
275.40/275.45 c | 359613 | 7900 458863 3263256 | 2147483647 359521 22 | 0.629 % |
275.60/275.67 c | 360209 | 7900 458863 3263256 | 2147483647 360117 22 | 0.629 % |
276.00/276.07 c | 360864 | 7900 458863 3263256 | 2147483647 360772 22 | 0.629 % |
276.40/276.49 c | 361585 | 7899 458863 3263256 | 2147483647 361492 22 | 0.642 % |
276.80/276.88 c | 362378 | 7899 458863 3263256 | 2147483647 362285 22 | 0.642 % |
277.60/277.62 c | 363249 | 7899 458863 3263256 | 2147483647 363156 22 | 0.642 % |
278.00/278.07 c | 364207 | 7899 458863 3263256 | 2147483647 364114 22 | 0.642 % |
278.60/278.63 c | 365261 | 7899 458863 3263256 | 2147483647 365168 22 | 0.642 % |
280.00/280.05 c | 366419 | 7899 458863 3263256 | 2147483647 366326 22 | 0.642 % |
282.60/282.63 c | 367692 | 7899 458863 3263256 | 2147483647 367599 22 | 0.642 % |
283.70/283.75 c | 369093 | 7899 458863 3263256 | 2147483647 369000 22 | 0.642 % |
287.20/287.26 c | 370634 | 7899 458863 3263256 | 2147483647 370541 22 | 0.642 % |
287.90/287.99 c | 372329 | 7899 458863 3263256 | 2147483647 372236 22 | 0.642 % |
288.70/288.79 c | 374192 | 7899 458863 3263256 | 2147483647 374099 22 | 0.642 % |
290.70/290.76 c | 376241 | 7899 458863 3263256 | 2147483647 376148 22 | 0.642 % |
292.40/292.50 c | 378496 | 7899 458863 3263256 | 2147483647 378403 22 | 0.642 % |
294.40/294.51 c | 380975 | 7899 458863 3263256 | 2147483647 380882 22 | 0.642 % |
296.60/296.64 c | 383701 | 7899 458863 3263256 | 2147483647 383608 22 | 0.642 % |
302.70/302.74 c | 386698 | 7899 458863 3263256 | 2147483647 386605 22 | 0.642 % |
309.90/309.93 c | 389994 | 7899 458863 3263256 | 2147483647 389901 22 | 0.642 % |
313.20/313.28 c | 393619 | 7899 458863 3263256 | 2147483647 393526 22 | 0.642 % |
313.30/313.33 c | 393720 | 7899 458863 3263256 | 2147483647 393627 22 | 0.642 % |
313.30/313.38 c | 393831 | 7899 458863 3263256 | 2147483647 393738 22 | 0.642 % |
313.40/313.44 c | 393955 | 7899 458863 3263256 | 2147483647 393862 22 | 0.642 % |
313.50/313.56 c | 394088 | 7899 458863 3263256 | 2147483647 393995 22 | 0.642 % |
313.60/313.66 c | 394234 | 7899 458863 3263256 | 2147483647 394141 22 | 0.642 % |
313.60/313.70 c | 394395 | 7899 458863 3263256 | 2147483647 394302 22 | 0.642 % |
313.80/313.86 c | 394573 | 7899 458863 3263256 | 2147483647 394480 22 | 0.642 % |
313.90/313.96 c | 394766 | 7899 458863 3263256 | 2147483647 394673 22 | 0.642 % |
314.00/314.05 c | 394978 | 7899 458863 3263256 | 2147483647 394885 22 | 0.642 % |
314.20/314.22 c | 395211 | 7899 458863 3263256 | 2147483647 395118 22 | 0.642 % |
314.30/314.35 c | 395468 | 7899 458863 3263256 | 2147483647 395375 22 | 0.642 % |
314.50/314.53 c | 395749 | 7899 458863 3263256 | 2147483647 395656 22 | 0.642 % |
314.70/314.77 c | 396058 | 7899 458863 3263256 | 2147483647 395965 22 | 0.642 % |
315.00/315.06 c | 396397 | 7899 458863 3263256 | 2147483647 396304 22 | 0.642 % |
315.10/315.15 c | 396770 | 7899 458863 3263256 | 2147483647 396677 22 | 0.642 % |
315.30/315.34 c | 397180 | 7899 458863 3263256 | 2147483647 397087 22 | 0.642 % |
315.50/315.58 c | 397629 | 7899 458863 3263256 | 2147483647 397536 22 | 0.642 % |
316.30/316.37 c | 398124 | 7899 458863 3263256 | 2147483647 398031 22 | 0.642 % |
316.70/316.79 c | 398668 | 7899 458863 3263256 | 2147483647 398575 22 | 0.642 % |
317.00/317.08 c | 399264 | 7899 458863 3263256 | 2147483647 399171 22 | 0.642 % |
317.50/317.51 c | 399921 | 7899 458863 3263256 | 2147483647 399828 22 | 0.642 % |
318.30/318.32 c | 400642 | 7899 458863 3263256 | 2147483647 400549 22 | 0.642 % |
318.80/318.82 c | 401434 | 7899 458863 3263256 | 2147483647 401341 22 | 0.642 % |
319.80/319.86 c | 402306 | 7899 458863 3263256 | 2147483647 402213 22 | 0.642 % |
320.20/320.28 c | 403264 | 7899 458863 3263256 | 2147483647 403171 22 | 0.642 % |
321.10/321.20 c | 404318 | 7899 458863 3263256 | 2147483647 404225 22 | 0.642 % |
322.50/322.56 c | 405477 | 7899 458863 3263256 | 2147483647 405384 22 | 0.642 % |
323.90/323.99 c | 406750 | 7899 458863 3263256 | 2147483647 406657 22 | 0.642 % |
325.00/325.08 c | 408151 | 7899 458863 3263256 | 2147483647 408058 22 | 0.642 % |
328.90/328.93 c | 409692 | 7899 458863 3263256 | 2147483647 409599 22 | 0.642 % |
329.90/329.91 c | 411388 | 7899 458863 3263256 | 2147483647 411295 22 | 0.642 % |
331.70/331.79 c | 413251 | 7899 458863 3263256 | 2147483647 413158 22 | 0.642 % |
332.70/332.71 c | 415300 | 7899 458863 3263256 | 2147483647 415207 22 | 0.642 % |
334.10/334.14 c | 417553 | 7899 458863 3263256 | 2147483647 417460 22 | 0.642 % |
338.20/338.21 c | 420031 | 7899 458863 3263256 | 2147483647 419938 22 | 0.642 % |
340.10/340.21 c | 422757 | 7899 458863 3263256 | 2147483647 422664 22 | 0.642 % |
346.70/346.74 c | 425754 | 7899 458863 3263256 | 2147483647 425661 23 | 0.642 % |
348.60/348.67 c | 429051 | 7899 458863 3263256 | 2147483647 428958 23 | 0.642 % |
352.10/352.11 c | 432676 | 7899 458863 3263256 | 2147483647 432583 23 | 0.642 % |
357.90/357.99 c | 436663 | 7899 458863 3263256 | 2147483647 436570 23 | 0.642 % |
358.00/358.05 c | 436763 | 7899 458863 3263256 | 2147483647 436670 23 | 0.642 % |
358.10/358.15 c | 436873 | 7899 458863 3263256 | 2147483647 436780 23 | 0.642 % |
358.20/358.23 c | 436997 | 7899 458863 3263256 | 2147483647 436904 23 | 0.642 % |
358.40/358.44 c | 437130 | 7899 458863 3263256 | 2147483647 437037 23 | 0.642 % |
358.50/358.56 c | 437277 | 7899 458863 3263256 | 2147483647 437184 23 | 0.642 % |
358.70/358.78 c | 437437 | 7899 458863 3263256 | 2147483647 437344 23 | 0.642 % |
358.90/358.95 c | 437613 | 7899 458863 3263256 | 2147483647 437520 23 | 0.642 % |
359.10/359.14 c | 437806 | 7899 458863 3263256 | 2147483647 437713 23 | 0.642 % |
359.30/359.36 c | 438020 | 7899 458863 3263256 | 2147483647 437927 23 | 0.642 % |
359.50/359.54 c | 438253 | 7899 458863 3263256 | 2147483647 438160 23 | 0.642 % |
359.90/359.96 c | 438509 | 7899 458863 3263256 | 2147483647 438416 23 | 0.642 % |
360.10/360.20 c | 438791 | 7899 458863 3263256 | 2147483647 438698 23 | 0.642 % |
360.50/360.53 c | 439100 | 7899 458863 3263256 | 2147483647 439007 23 | 0.642 % |
360.70/360.72 c | 439440 | 7899 458863 3263256 | 2147483647 439347 23 | 0.642 % |
360.81/360.90 c | 439812 | 7899 458863 3263256 | 2147483647 439719 23 | 0.642 % |
361.00/361.10 c | 440222 | 7899 458863 3263256 | 2147483647 440129 23 | 0.642 % |
361.20/361.22 c | 440671 | 7899 458863 3263256 | 2147483647 440578 23 | 0.642 % |
362.30/362.40 c | 441165 | 7899 458863 3263256 | 2147483647 441072 23 | 0.642 % |
362.50/362.57 c | 441708 | 7899 458863 3263256 | 2147483647 441615 23 | 0.642 % |
362.80/362.87 c | 442304 | 7899 458863 3263256 | 2147483647 442211 23 | 0.642 % |
363.30/363.40 c | 442960 | 7899 458863 3263256 | 2147483647 442867 23 | 0.642 % |
363.60/363.69 c | 443680 | 7899 458863 3263256 | 2147483647 443587 23 | 0.642 % |
364.60/364.61 c | 444472 | 7899 458863 3263256 | 2147483647 444379 23 | 0.642 % |
365.00/365.03 c | 445343 | 7899 458863 3263256 | 2147483647 445250 23 | 0.642 % |
365.80/365.90 c | 446302 | 7899 458863 3263256 | 2147483647 446209 23 | 0.642 % |
366.40/366.47 c | 447355 | 7899 458863 3263256 | 2147483647 447262 23 | 0.642 % |
367.70/367.80 c | 448513 | 7899 458863 3263256 | 2147483647 448420 23 | 0.642 % |
368.70/368.77 c | 449787 | 7899 458863 3263256 | 2147483647 449694 23 | 0.642 % |
370.40/370.44 c | 451187 | 7899 458863 3263256 | 2147483647 451094 23 | 0.642 % |
371.70/371.71 c | 452728 | 7899 458863 3263256 | 2147483647 452635 23 | 0.642 % |
372.91/372.96 c | 454422 | 7899 458863 3263256 | 2147483647 454329 23 | 0.642 % |
375.50/375.56 c | 456286 | 7899 458851 3263225 | 2147483647 456191 23 | 0.642 % |
380.01/380.10 c | 458335 | 7899 458851 3263225 | 2147483647 458240 23 | 0.642 % |
380.41/380.47 c | 460588 | 7899 458851 3263225 | 2147483647 460493 23 | 0.642 % |
382.41/382.44 c | 463066 | 7899 458851 3263225 | 2147483647 462971 23 | 0.642 % |
383.41/383.46 c | 465792 | 7899 458851 3263225 | 2147483647 465697 23 | 0.642 % |
386.61/386.67 c | 468789 | 7899 458851 3263225 | 2147483647 468694 23 | 0.642 % |
391.51/391.53 c | 472086 | 7899 458851 3263225 | 2147483647 471991 23 | 0.642 % |
395.21/395.31 c | 475711 | 7899 458851 3263225 | 2147483647 475616 23 | 0.642 % |
399.41/399.44 c | 479699 | 7899 458851 3263225 | 2147483647 479604 23 | 0.642 % |
404.91/404.92 c | 484085 | 7899 458851 3263225 | 2147483647 483990 24 | 0.642 % |
404.91/404.96 c | 484185 | 7899 458851 3263225 | 2147483647 484090 24 | 0.642 % |
405.01/405.03 c | 484297 | 7899 458851 3263225 | 2147483647 484202 24 | 0.642 % |
405.11/405.13 c | 484419 | 7899 458851 3263225 | 2147483647 484324 24 | 0.642 % |
405.11/405.17 c | 484553 | 7899 458851 3263225 | 2147483647 484458 24 | 0.642 % |
405.21/405.24 c | 484700 | 7899 458851 3263225 | 2147483647 484605 24 | 0.642 % |
405.31/405.35 c | 484861 | 7899 458851 3263225 | 2147483647 484766 24 | 0.642 % |
405.51/405.52 c | 485037 | 7899 458851 3263225 | 2147483647 484942 24 | 0.642 % |
405.61/405.62 c | 485231 | 7899 458851 3263225 | 2147483647 485136 24 | 0.642 % |
405.91/405.92 c | 485443 | 7899 458851 3263225 | 2147483647 485348 24 | 0.642 % |
406.01/406.02 c | 485677 | 7899 458851 3263225 | 2147483647 485582 24 | 0.642 % |
406.31/406.32 c | 485933 | 7899 458851 3263225 | 2147483647 485838 24 | 0.642 % |
406.71/406.73 c | 486216 | 7899 458851 3263225 | 2147483647 486121 24 | 0.642 % |
406.81/406.87 c | 486525 | 7899 458851 3263225 | 2147483647 486430 24 | 0.642 % |
406.91/406.98 c | 486864 | 7899 458851 3263225 | 2147483647 486769 24 | 0.642 % |
407.41/407.50 c | 487236 | 7899 458851 3263225 | 2147483647 487141 24 | 0.642 % |
407.81/407.81 c | 487645 | 7899 458851 3263225 | 2147483647 487550 24 | 0.642 % |
408.11/408.17 c | 488095 | 7899 458851 3263225 | 2147483647 488000 24 | 0.642 % |
408.51/408.56 c | 488588 | 7899 458851 3263225 | 2147483647 488493 24 | 0.642 % |
408.81/408.83 c | 489131 | 7899 458851 3263225 | 2147483647 489036 24 | 0.642 % |
409.11/409.15 c | 489728 | 7899 458851 3263225 | 2147483647 489633 24 | 0.642 % |
409.31/409.37 c | 490384 | 7899 458851 3263225 | 2147483647 490289 24 | 0.642 % |
409.61/409.64 c | 491105 | 7899 458851 3263225 | 2147483647 491010 24 | 0.642 % |
410.31/410.32 c | 491897 | 7899 458851 3263225 | 2147483647 491802 24 | 0.642 % |
411.31/411.34 c | 492769 | 7899 458851 3263225 | 2147483647 492674 24 | 0.642 % |
412.91/412.97 c | 493728 | 7899 458851 3263225 | 2147483647 493633 24 | 0.642 % |
413.71/413.80 c | 494781 | 7899 458851 3263225 | 2147483647 494686 24 | 0.642 % |
414.11/414.17 c | 495940 | 7899 458851 3263225 | 2147483647 495845 24 | 0.642 % |
414.81/414.89 c | 497213 | 7899 458851 3263225 | 2147483647 497118 24 | 0.642 % |
417.71/417.78 c | 498614 | 7899 458851 3263225 | 2147483647 498519 24 | 0.642 % |
420.11/420.16 c | 500154 | 7899 458851 3263225 | 2147483647 500059 24 | 0.642 % |
421.61/421.62 c | 501849 | 7899 458851 3263225 | 2147483647 501754 24 | 0.642 % |
423.31/423.38 c | 503714 | 7899 458851 3263225 | 2147483647 503619 24 | 0.642 % |
425.21/425.27 c | 505764 | 7899 458851 3263225 | 2147483647 505669 24 | 0.642 % |
433.01/433.03 c | 508018 | 7899 458851 3263225 | 2147483647 507923 25 | 0.642 % |
434.61/434.68 c | 510497 | 7899 458851 3263225 | 2147483647 510402 25 | 0.642 % |
435.41/435.45 c | 513224 | 7899 458851 3263225 | 2147483647 513129 25 | 0.642 % |
437.11/437.16 c | 516222 | 7899 458851 3263225 | 2147483647 516127 24 | 0.642 % |
438.71/438.78 c | 519518 | 7899 458851 3263225 | 2147483647 519423 24 | 0.642 % |
443.91/443.93 c | 523144 | 7899 458851 3263225 | 2147483647 523049 24 | 0.642 % |
450.21/450.29 c | 527131 | 7899 458851 3263225 | 2147483647 527036 24 | 0.642 % |
456.41/456.43 c | 531516 | 7899 458851 3263225 | 2147483647 531421 24 | 0.642 % |
466.42/466.50 c | 536340 | 7899 458851 3263225 | 2147483647 536245 25 | 0.642 % |
466.51/466.58 c | 536440 | 7899 458851 3263225 | 2147483647 536345 25 | 0.642 % |
466.61/466.63 c | 536550 | 7899 458851 3263225 | 2147483647 536455 25 | 0.642 % |
466.71/466.72 c | 536673 | 7899 458851 3263225 | 2147483647 536578 25 | 0.642 % |
466.71/466.76 c | 536807 | 7899 458851 3263225 | 2147483647 536712 25 | 0.642 % |
466.91/466.93 c | 536953 | 7899 458851 3263225 | 2147483647 536858 25 | 0.642 % |
467.01/467.09 c | 537113 | 7899 458851 3263225 | 2147483647 537018 25 | 0.642 % |
467.31/467.37 c | 537290 | 7899 458851 3263225 | 2147483647 537195 25 | 0.642 % |
467.41/467.43 c | 537483 | 7899 458851 3263225 | 2147483647 537388 25 | 0.642 % |
467.61/467.62 c | 537695 | 7899 458851 3263225 | 2147483647 537600 25 | 0.642 % |
467.71/467.74 c | 537928 | 7899 458851 3263225 | 2147483647 537833 25 | 0.642 % |
468.01/468.10 c | 538185 | 7899 458851 3263225 | 2147483647 538090 25 | 0.642 % |
468.21/468.24 c | 538467 | 7899 458851 3263225 | 2147483647 538372 25 | 0.642 % |
468.31/468.39 c | 538778 | 7899 458851 3263225 | 2147483647 538683 25 | 0.642 % |
468.51/468.55 c | 539117 | 7899 458851 3263225 | 2147483647 539022 25 | 0.642 % |
468.62/468.70 c | 539490 | 7899 458851 3263225 | 2147483647 539395 25 | 0.642 % |
469.01/469.05 c | 539900 | 7899 458851 3263225 | 2147483647 539805 25 | 0.642 % |
469.61/469.61 c | 540349 | 7899 458851 3263225 | 2147483647 540254 25 | 0.642 % |
470.21/470.25 c | 540843 | 7899 458851 3263225 | 2147483647 540748 25 | 0.642 % |
470.41/470.42 c | 541386 | 7899 458851 3263225 | 2147483647 541291 25 | 0.642 % |
471.21/471.26 c | 541983 | 7899 458851 3263225 | 2147483647 541888 25 | 0.642 % |
471.61/471.61 c | 542640 | 7899 458851 3263225 | 2147483647 542545 25 | 0.642 % |
472.11/472.13 c | 543360 | 7899 458851 3263225 | 2147483647 543265 25 | 0.642 % |
473.11/473.16 c | 544152 | 7899 458851 3263225 | 2147483647 544057 25 | 0.642 % |
473.71/473.77 c | 545023 | 7899 458851 3263225 | 2147483647 544928 25 | 0.642 % |
474.41/474.45 c | 545983 | 7899 458851 3263225 | 2147483647 545888 25 | 0.642 % |
474.91/474.96 c | 547036 | 7899 458851 3263225 | 2147483647 546941 25 | 0.642 % |
476.61/476.66 c | 548194 | 7899 458851 3263225 | 2147483647 548099 25 | 0.642 % |
477.31/477.33 c | 549467 | 7899 458851 3263225 | 2147483647 549372 25 | 0.642 % |
479.21/479.27 c | 550868 | 7899 458851 3263225 | 2147483647 550773 25 | 0.642 % |
481.11/481.16 c | 552409 | 7899 458851 3263225 | 2147483647 552314 25 | 0.642 % |
485.81/485.83 c | 554103 | 7899 458851 3263225 | 2147483647 554008 26 | 0.642 % |
487.81/487.83 c | 555967 | 7899 458851 3263225 | 2147483647 555872 26 | 0.642 % |
490.22/490.30 c | 558016 | 7899 458851 3263225 | 2147483647 557921 25 | 0.642 % |
491.52/491.52 c | 560271 | 7899 458851 3263225 | 2147483647 560176 25 | 0.642 % |
494.22/494.29 c | 562750 | 7899 458851 3263225 | 2147483647 562655 25 | 0.642 % |
495.72/495.74 c | 565477 | 7899 458851 3263225 | 2147483647 565382 25 | 0.642 % |
499.12/499.17 c | 568475 | 7899 458851 3263225 | 2147483647 568380 25 | 0.642 % |
502.72/502.81 c | 571772 | 7899 458851 3263225 | 2147483647 571677 25 | 0.642 % |
506.62/506.64 c | 575397 | 7899 458851 3263225 | 2147483647 575302 25 | 0.642 % |
512.32/512.41 c | 579384 | 7898 458839 3263194 | 2147483647 579288 25 | 0.654 % |
515.72/515.74 c | 583771 | 7898 458839 3263194 | 2147483647 583675 25 | 0.654 % |
522.82/522.90 c | 588594 | 7898 458839 3263194 | 2147483647 588498 25 | 0.654 % |
527.62/527.67 c | 593899 | 7898 458839 3263194 | 2147483647 593803 25 | 0.654 % |
527.72/527.72 c | 593999 | 7898 458839 3263194 | 2147483647 593903 25 | 0.654 % |
527.72/527.77 c | 594111 | 7898 458839 3263194 | 2147483647 594015 25 | 0.654 % |
527.82/527.91 c | 594232 | 7898 458839 3263194 | 2147483647 594136 25 | 0.654 % |
528.02/528.06 c | 594366 | 7898 458839 3263194 | 2147483647 594270 25 | 0.654 % |
528.32/528.35 c | 594512 | 7898 458839 3263194 | 2147483647 594416 25 | 0.654 % |
528.42/528.51 c | 594672 | 7898 458839 3263194 | 2147483647 594576 25 | 0.654 % |
528.62/528.62 c | 594848 | 7898 458839 3263194 | 2147483647 594752 25 | 0.654 % |
528.62/528.68 c | 595041 | 7898 458839 3263194 | 2147483647 594945 25 | 0.654 % |
528.92/528.93 c | 595253 | 7898 458839 3263194 | 2147483647 595157 25 | 0.654 % |
529.02/529.09 c | 595487 | 7898 458839 3263194 | 2147483647 595391 25 | 0.654 % |
529.22/529.25 c | 595743 | 7898 458839 3263194 | 2147483647 595647 25 | 0.654 % |
529.42/529.44 c | 596025 | 7898 458839 3263194 | 2147483647 595929 25 | 0.654 % |
529.72/529.72 c | 596334 | 7898 458839 3263194 | 2147483647 596238 25 | 0.654 % |
531.02/531.02 c | 596673 | 7898 458839 3263194 | 2147483647 596577 25 | 0.654 % |
531.32/531.36 c | 597045 | 7898 458839 3263194 | 2147483647 596949 25 | 0.654 % |
531.92/531.99 c | 597455 | 7898 458839 3263194 | 2147483647 597359 25 | 0.654 % |
532.52/532.52 c | 597904 | 7898 458839 3263194 | 2147483647 597808 25 | 0.654 % |
532.92/532.96 c | 598398 | 7898 458839 3263194 | 2147483647 598302 25 | 0.654 % |
533.52/533.56 c | 598940 | 7898 458839 3263194 | 2147483647 598844 25 | 0.654 % |
533.82/533.85 c | 599536 | 7898 458839 3263194 | 2147483647 599440 25 | 0.654 % |
534.12/534.20 c | 600192 | 7898 458839 3263194 | 2147483647 600096 25 | 0.654 % |
534.92/534.93 c | 600913 | 7898 458839 3263194 | 2147483647 600817 25 | 0.654 % |
535.52/535.56 c | 601707 | 7898 458839 3263194 | 2147483647 601611 25 | 0.654 % |
536.32/536.35 c | 602579 | 7898 458839 3263194 | 2147483647 602483 25 | 0.654 % |
536.92/536.99 c | 603539 | 7898 458839 3263194 | 2147483647 603443 25 | 0.654 % |
537.72/537.79 c | 604592 | 7898 458839 3263194 | 2147483647 604496 25 | 0.654 % |
540.02/540.09 c | 605751 | 7898 458839 3263194 | 2147483647 605655 25 | 0.654 % |
541.02/541.08 c | 607025 | 7898 458839 3263194 | 2147483647 606929 25 | 0.654 % |
542.92/542.98 c | 608426 | 7898 458839 3263194 | 2147483647 608330 25 | 0.654 % |
544.32/544.40 c | 609967 | 7898 458839 3263194 | 2147483647 609871 25 | 0.654 % |
545.52/545.59 c | 611661 | 7898 458839 3263194 | 2147483647 611565 25 | 0.654 % |
547.72/547.76 c | 613524 | 7898 458839 3263194 | 2147483647 613428 25 | 0.654 % |
550.62/550.64 c | 615575 | 7898 458839 3263194 | 2147483647 615479 25 | 0.654 % |
555.62/555.70 c | 617829 | 7898 458839 3263194 | 2147483647 617733 25 | 0.654 % |
564.01/564.04 c | 620309 | 7898 458839 3263194 | 2147483647 620213 25 | 0.654 % |
566.61/566.69 c | 623034 | 7898 458839 3263194 | 2147483647 622938 25 | 0.654 % |
569.82/569.85 c | 626031 | 7898 458839 3263194 | 2147483647 625935 25 | 0.654 % |
573.51/573.52 c | 629328 | 7898 458839 3263194 | 2147483647 629232 25 | 0.654 % |
575.71/575.71 c | 632953 | 7898 458839 3263194 | 2147483647 632857 25 | 0.654 % |
582.71/582.73 c | 636942 | 7898 458839 3263194 | 2147483647 636846 25 | 0.654 % |
590.62/590.68 c | 641327 | 7898 458839 3263194 | 2147483647 641231 25 | 0.654 % |
598.02/598.03 c | 646150 | 7898 458839 3263194 | 2147483647 646054 25 | 0.654 % |
603.83/603.86 c | 651456 | 7898 458839 3263194 | 2147483647 651360 25 | 0.654 % |
614.63/614.69 c | 657292 | 7898 458839 3263194 | 2147483647 657196 25 | 0.654 % |
614.73/614.78 c | 657392 | 7898 458839 3263194 | 2147483647 657296 25 | 0.654 % |
614.93/614.92 c | 657502 | 7898 458839 3263194 | 2147483647 657406 25 | 0.654 % |
615.03/615.06 c | 657623 | 7898 458839 3263194 | 2147483647 657527 25 | 0.654 % |
615.13/615.19 c | 657757 | 7898 458839 3263194 | 2147483647 657661 25 | 0.654 % |
615.33/615.38 c | 657904 | 7898 458839 3263194 | 2147483647 657808 25 | 0.654 % |
615.63/615.64 c | 658064 | 7898 458839 3263194 | 2147483647 657968 25 | 0.654 % |
615.73/615.74 c | 658241 | 7898 458839 3263194 | 2147483647 658145 25 | 0.654 % |
615.93/616.01 c | 658434 | 7898 458839 3263194 | 2147483647 658338 25 | 0.654 % |
616.13/616.15 c | 658647 | 7898 458839 3263194 | 2147483647 658551 25 | 0.654 % |
616.43/616.46 c | 658880 | 7898 458839 3263194 | 2147483647 658784 25 | 0.654 % |
616.63/616.63 c | 659136 | 7898 458839 3263194 | 2147483647 659040 25 | 0.654 % |
617.03/617.10 c | 659417 | 7898 458839 3263194 | 2147483647 659321 25 | 0.654 % |
617.33/617.38 c | 659728 | 7898 458839 3263194 | 2147483647 659632 25 | 0.654 % |
617.53/617.56 c | 660069 | 7898 458839 3263194 | 2147483647 659973 25 | 0.654 % |
618.13/618.15 c | 660441 | 7898 458839 3263194 | 2147483647 660345 25 | 0.654 % |
618.53/618.55 c | 660850 | 7898 458839 3263194 | 2147483647 660754 25 | 0.654 % |
619.13/619.15 c | 661300 | 7898 458839 3263194 | 2147483647 661204 25 | 0.654 % |
621.43/621.51 c | 661793 | 7898 458839 3263194 | 2147483647 661697 25 | 0.654 % |
622.13/622.13 c | 662337 | 7898 458839 3263194 | 2147483647 662241 25 | 0.654 % |
622.53/622.52 c | 662933 | 7898 458839 3263194 | 2147483647 662837 25 | 0.654 % |
622.83/622.86 c | 663588 | 7898 458839 3263194 | 2147483647 663492 25 | 0.654 % |
623.33/623.36 c | 664309 | 7898 458839 3263194 | 2147483647 664213 25 | 0.654 % |
623.93/623.95 c | 665101 | 7898 458839 3263194 | 2147483647 665005 25 | 0.654 % |
624.73/624.74 c | 665973 | 7898 458839 3263194 | 2147483647 665877 25 | 0.654 % |
625.13/625.20 c | 666931 | 7898 458839 3263194 | 2147483647 666835 25 | 0.654 % |
626.33/626.34 c | 667985 | 7898 458839 3263194 | 2147483647 667889 25 | 0.654 % |
627.73/627.72 c | 669143 | 7898 458839 3263194 | 2147483647 669047 25 | 0.654 % |
629.93/630.00 c | 670416 | 7898 458839 3263194 | 2147483647 670320 25 | 0.654 % |
630.73/630.76 c | 671816 | 7898 458839 3263194 | 2147483647 671720 25 | 0.654 % |
631.73/631.71 c | 673360 | 7898 458839 3263194 | 2147483647 673264 25 | 0.654 % |
632.83/632.87 c | 675054 | 7898 458839 3263194 | 2147483647 674958 25 | 0.654 % |
637.53/637.54 c | 676917 | 7898 458839 3263194 | 2147483647 676821 25 | 0.654 % |
639.33/639.34 c | 678967 | 7898 458839 3263194 | 2147483647 678871 25 | 0.654 % |
643.43/643.43 c | 681220 | 7898 458839 3263194 | 2147483647 681124 25 | 0.654 % |
648.03/648.04 c | 683698 | 7898 458839 3263194 | 2147483647 683602 25 | 0.654 % |
651.43/651.50 c | 686423 | 7897 458839 3263194 | 2147483647 686326 25 | 0.667 % |
658.53/658.51 c | 689421 | 7897 458839 3263194 | 2147483647 689324 25 | 0.667 % |
663.43/663.45 c | 692718 | 7897 458839 3263194 | 2147483647 692621 25 | 0.667 % |
666.93/666.97 c | 696344 | 7897 458839 3263194 | 2147483647 696247 25 | 0.667 % |
670.43/670.47 c | 700332 | 7897 458839 3263194 | 2147483647 700235 25 | 0.667 % |
676.93/677.00 c | 704718 | 7897 458839 3263194 | 2147483647 704621 25 | 0.667 % |
681.33/681.37 c | 709541 | 7897 458839 3263194 | 2147483647 709444 25 | 0.667 % |
688.93/688.97 c | 714846 | 7897 458839 3263194 | 2147483647 714749 25 | 0.667 % |
698.43/698.48 c | 720682 | 7897 458839 3263194 | 2147483647 720585 25 | 0.667 % |
712.84/712.87 c | 727100 | 7897 458839 3263194 | 2147483647 727003 25 | 0.667 % |
713.04/713.03 c | 727201 | 7897 458839 3263194 | 2147483647 727104 25 | 0.667 % |
713.14/713.17 c | 727314 | 7897 458839 3263194 | 2147483647 727217 25 | 0.667 % |
713.24/713.31 c | 727435 | 7897 458839 3263194 | 2147483647 727338 25 | 0.667 % |
713.54/713.55 c | 727568 | 7897 458839 3263194 | 2147483647 727471 25 | 0.667 % |
713.74/713.77 c | 727714 | 7897 458839 3263194 | 2147483647 727617 25 | 0.667 % |
713.94/713.98 c | 727875 | 7897 458839 3263194 | 2147483647 727778 25 | 0.667 % |
714.14/714.16 c | 728051 | 7897 458839 3263194 | 2147483647 727954 25 | 0.667 % |
714.24/714.28 c | 728244 | 7897 458839 3263194 | 2147483647 728147 25 | 0.667 % |
714.44/714.45 c | 728457 | 7897 458839 3263194 | 2147483647 728360 25 | 0.667 % |
715.04/715.02 c | 728691 | 7897 458839 3263194 | 2147483647 728594 25 | 0.667 % |
715.04/715.06 c | 728948 | 7897 458839 3263194 | 2147483647 728851 25 | 0.667 % |
715.24/715.22 c | 729230 | 7897 458839 3263194 | 2147483647 729133 25 | 0.667 % |
715.54/715.52 c | 729542 | 7897 458839 3263194 | 2147483647 729445 25 | 0.667 % |
715.74/715.72 c | 729881 | 7897 458839 3263194 | 2147483647 729784 25 | 0.667 % |
716.14/716.16 c | 730253 | 7897 458839 3263194 | 2147483647 730156 25 | 0.667 % |
716.74/716.79 c | 730663 | 7897 458839 3263194 | 2147483647 730566 25 | 0.667 % |
717.24/717.28 c | 731112 | 7897 458839 3263194 | 2147483647 731015 25 | 0.667 % |
718.24/718.27 c | 731606 | 7897 458839 3263194 | 2147483647 731509 25 | 0.667 % |
719.94/720.00 c | 732149 | 7897 458839 3263194 | 2147483647 732052 25 | 0.667 % |
720.04/720.05 c | 732745 | 7897 458839 3263194 | 2147483647 732648 25 | 0.667 % |
720.44/720.50 c | 733400 | 7897 458839 3263194 | 2147483647 733303 25 | 0.667 % |
721.04/721.04 c | 734121 | 7897 458839 3263194 | 2147483647 734024 25 | 0.667 % |
721.14/721.21 c | 734915 | 7897 458839 3263194 | 2147483647 734818 25 | 0.667 % |
722.64/722.62 c | 735786 | 7897 458839 3263194 | 2147483647 735689 25 | 0.667 % |
723.04/723.10 c | 736744 | 7897 458839 3263194 | 2147483647 736647 25 | 0.667 % |
724.14/724.17 c | 737797 | 7897 458839 3263194 | 2147483647 737700 25 | 0.667 % |
725.24/725.24 c | 738955 | 7897 458839 3263194 | 2147483647 738858 25 | 0.667 % |
726.84/726.82 c | 740228 | 7897 458839 3263194 | 2147483647 740131 25 | 0.667 % |
729.44/729.44 c | 741628 | 7897 458839 3263194 | 2147483647 741531 25 | 0.667 % |
731.04/731.03 c | 743168 | 7897 458839 3263194 | 2147483647 743071 25 | 0.667 % |
732.44/732.42 c | 744862 | 7897 458839 3263194 | 2147483647 744765 25 | 0.667 % |
740.24/740.27 c | 746725 | 7897 458839 3263194 | 2147483647 746628 25 | 0.667 % |
742.64/742.63 c | 748774 | 7897 458827 3263163 | 2147483647 748675 25 | 0.667 % |
745.74/745.81 c | 751028 | 7897 458827 3263163 | 2147483647 750929 25 | 0.667 % |
751.64/751.70 c | 753506 | 7897 458827 3263163 | 2147483647 753407 25 | 0.667 % |
760.54/760.55 c | 756232 | 7897 458827 3263163 | 2147483647 756133 25 | 0.667 % |
763.24/763.30 c | 759230 | 7897 458827 3263163 | 2147483647 759131 25 | 0.667 % |
766.84/766.87 c | 762528 | 7897 458827 3263163 | 2147483647 762429 25 | 0.667 % |
769.64/769.64 c | 766154 | 7897 458827 3263163 | 2147483647 766055 25 | 0.667 % |
780.64/780.68 c | 770141 | 7897 458827 3263163 | 2147483647 770042 25 | 0.667 % |
788.54/788.57 c | 774527 | 7897 458827 3263163 | 2147483647 774428 25 | 0.667 % |
805.25/805.31 c | 779350 | 7897 458827 3263163 | 2147483647 779251 26 | 0.667 % |
812.24/812.26 c | 784656 | 7897 458827 3263163 | 2147483647 784557 26 | 0.667 % |
824.75/824.77 c | 790493 | 7897 458827 3263163 | 789901 790394 25 | 0.667 % |
834.75/834.78 c | 796912 | 7897 458827 3263163 | 789901 705245 25 | 0.667 % |
849.75/849.74 c | 803972 | 7897 458827 3263163 | 2147483647 712305 25 | 0.667 % |
849.75/849.81 c | 804072 | 7897 458827 3263163 | 2147483647 712405 25 | 0.667 % |
849.95/849.94 c | 804182 | 7897 458827 3263163 | 2147483647 712515 25 | 0.667 % |
850.05/850.07 c | 804304 | 7897 458827 3263163 | 2147483647 712637 25 | 0.667 % |
850.15/850.16 c | 804438 | 7897 458827 3263163 | 2147483647 712771 25 | 0.667 % |
850.45/850.49 c | 804585 | 7897 458827 3263163 | 2147483647 712918 25 | 0.667 % |
850.65/850.63 c | 804746 | 7897 458827 3263163 | 2147483647 713079 25 | 0.667 % |
850.85/850.82 c | 804923 | 7897 458827 3263163 | 2147483647 713256 25 | 0.667 % |
851.05/851.03 c | 805116 | 7897 458827 3263163 | 2147483647 713449 25 | 0.667 % |
851.55/851.52 c | 805328 | 7897 458827 3263163 | 2147483647 713661 25 | 0.667 % |
851.75/851.72 c | 805561 | 7897 458827 3263163 | 2147483647 713894 25 | 0.667 % |
852.05/852.02 c | 805818 | 7897 458827 3263163 | 2147483647 714151 25 | 0.667 % |
852.25/852.26 c | 806099 | 7897 458827 3263163 | 2147483647 714432 25 | 0.667 % |
852.65/852.65 c | 806408 | 7897 458827 3263163 | 2147483647 714741 25 | 0.667 % |
852.85/852.83 c | 806747 | 7897 458827 3263163 | 2147483647 715080 25 | 0.667 % |
853.65/853.66 c | 807121 | 7897 458827 3263163 | 2147483647 715454 25 | 0.667 % |
854.15/854.18 c | 807531 | 7897 458827 3263163 | 2147483647 715864 25 | 0.667 % |
854.45/854.46 c | 807980 | 7897 458827 3263163 | 2147483647 716313 25 | 0.667 % |
855.25/855.26 c | 808473 | 7897 458827 3263163 | 2147483647 716806 25 | 0.667 % |
855.95/856.00 c | 809016 | 7897 458827 3263163 | 2147483647 717349 25 | 0.667 % |
856.65/856.68 c | 809614 | 7897 458827 3263163 | 2147483647 717947 25 | 0.667 % |
856.95/856.94 c | 810270 | 7897 458827 3263163 | 2147483647 718603 25 | 0.667 % |
858.15/858.17 c | 810991 | 7897 458827 3263163 | 2147483647 719324 25 | 0.667 % |
858.35/858.40 c | 811783 | 7897 458827 3263163 | 2147483647 720116 25 | 0.667 % |
859.35/859.38 c | 812654 | 7897 458827 3263163 | 2147483647 720987 25 | 0.667 % |
860.15/860.13 c | 813613 | 7895 458827 3263163 | 2147483647 721944 25 | 0.692 % |
862.05/862.07 c | 814667 | 7895 458827 3263163 | 2147483647 722998 25 | 0.692 % |
862.75/862.81 c | 815825 | 7895 458827 3263163 | 2147483647 724156 25 | 0.692 % |
864.85/864.91 c | 817099 | 7895 458827 3263163 | 2147483647 725430 25 | 0.692 % |
867.75/867.72 c | 818499 | 7895 458827 3263163 | 2147483647 726830 25 | 0.692 % |
869.45/869.50 c | 820039 | 7895 458827 3263163 | 2147483647 728370 25 | 0.692 % |
870.65/870.68 c | 821734 | 7895 458827 3263163 | 2147483647 730065 25 | 0.692 % |
872.35/872.40 c | 823597 | 7895 458827 3263163 | 2147483647 731928 25 | 0.692 % |
874.55/874.54 c | 825647 | 7895 458827 3263163 | 2147483647 733978 24 | 0.692 % |
877.45/877.46 c | 827901 | 7895 458827 3263163 | 2147483647 736232 24 | 0.692 % |
882.65/882.67 c | 830380 | 7895 458827 3263163 | 2147483647 738711 25 | 0.692 % |
887.15/887.18 c | 833106 | 7895 458827 3263163 | 2147483647 741437 25 | 0.692 % |
889.85/889.89 c | 836104 | 7895 458827 3263163 | 2147483647 744435 24 | 0.692 % |
896.85/896.87 c | 839400 | 7895 458827 3263163 | 2147483647 747731 25 | 0.692 % |
897.85/897.87 c | 843025 | 7895 458827 3263163 | 2147483647 751356 25 | 0.692 % |
901.25/901.26 c | 847013 | 7895 458827 3263163 | 2147483647 755344 25 | 0.692 % |
905.05/905.08 c | 851398 | 7895 458827 3263163 | 2147483647 759729 25 | 0.692 % |
910.86/910.82 c | 856221 | 7895 458827 3263163 | 2147483647 764552 25 | 0.692 % |
922.44/922.45 c | 861528 | 7895 458827 3263163 | 2147483647 769859 25 | 0.692 % |
928.24/928.26 c | 867364 | 7895 458827 3263163 | 2147483647 775695 25 | 0.692 % |
940.65/940.69 c | 873783 | 7895 458827 3263163 | 2147483647 782114 25 | 0.692 % |
953.15/953.17 c | 880843 | 7895 458827 3263163 | 2147483647 789174 25 | 0.692 % |
963.85/963.84 c | 888607 | 7895 458827 3263163 | 2147483647 796938 25 | 0.692 % |
963.95/963.99 c | 888708 | 7895 458827 3263163 | 2147483647 797039 25 | 0.692 % |
964.05/964.09 c | 888819 | 7895 458827 3263163 | 2147483647 797150 25 | 0.692 % |
964.25/964.22 c | 888942 | 7895 458827 3263163 | 2147483647 797273 25 | 0.692 % |
964.35/964.40 c | 889076 | 7895 458827 3263163 | 2147483647 797407 25 | 0.692 % |
964.65/964.63 c | 889224 | 7895 458827 3263163 | 2147483647 797555 25 | 0.692 % |
964.75/964.76 c | 889384 | 7895 458827 3263163 | 2147483647 797715 25 | 0.692 % |
965.05/965.07 c | 889561 | 7895 458827 3263163 | 2147483647 797892 25 | 0.692 % |
965.25/965.30 c | 889755 | 7895 458827 3263163 | 2147483647 798086 25 | 0.692 % |
965.45/965.41 c | 889967 | 7895 458827 3263163 | 2147483647 798298 25 | 0.692 % |
965.65/965.66 c | 890202 | 7895 458827 3263163 | 2147483647 798533 25 | 0.692 % |
966.35/966.37 c | 890459 | 7895 458827 3263163 | 2147483647 798790 25 | 0.692 % |
966.85/966.81 c | 890741 | 7895 458827 3263163 | 2147483647 799072 25 | 0.692 % |
967.05/967.08 c | 891050 | 7895 458827 3263163 | 2147483647 799381 25 | 0.692 % |
967.55/967.53 c | 891389 | 7895 458827 3263163 | 2147483647 799720 25 | 0.692 % |
967.95/967.91 c | 891761 | 7895 458827 3263163 | 2147483647 800092 25 | 0.692 % |
968.55/968.52 c | 892170 | 7895 458827 3263163 | 2147483647 800501 25 | 0.692 % |
970.85/970.87 c | 892620 | 7895 458827 3263163 | 2147483647 800951 25 | 0.692 % |
970.95/970.99 c | 893115 | 7895 458827 3263163 | 2147483647 801446 25 | 0.692 % |
971.45/971.42 c | 893658 | 7895 458827 3263163 | 2147483647 801989 25 | 0.692 % |
971.75/971.71 c | 894256 | 7895 458827 3263163 | 2147483647 802587 25 | 0.692 % |
973.05/973.09 c | 894912 | 7895 458827 3263163 | 2147483647 803243 25 | 0.692 % |
974.05/974.06 c | 895633 | 7895 458827 3263163 | 2147483647 803964 25 | 0.692 % |
975.45/975.47 c | 896426 | 7894 458827 3263163 | 2147483647 804756 25 | 0.704 % |
977.05/977.07 c | 897297 | 7894 458827 3263163 | 2147483647 805627 25 | 0.704 % |
977.85/977.86 c | 898255 | 7894 458827 3263163 | 2147483647 806585 25 | 0.704 % |
983.05/983.09 c | 899308 | 7894 458827 3263163 | 2147483647 807638 25 | 0.704 % |
983.55/983.51 c | 900469 | 7894 458827 3263163 | 2147483647 808799 25 | 0.704 % |
984.25/984.28 c | 901742 | 7894 458827 3263163 | 2147483647 810072 25 | 0.704 % |
984.75/984.72 c | 903142 | 7894 458827 3263163 | 2147483647 811472 25 | 0.704 % |
988.35/988.39 c | 904683 | 7894 458827 3263163 | 2147483647 813013 25 | 0.704 % |
989.95/989.94 c | 906377 | 7894 458827 3263163 | 2147483647 814707 25 | 0.704 % |
990.65/990.70 c | 908241 | 7894 458827 3263163 | 2147483647 816571 25 | 0.704 % |
996.35/996.37 c | 910291 | 7894 458827 3263163 | 2147483647 818621 25 | 0.704 % |
999.96/999.96 c | 912544 | 7894 458827 3263163 | 2147483647 820874 25 | 0.704 % |
1002.75/1002.80 c | 915026 | 7894 458827 3263163 | 2147483647 823356 25 | 0.704 % |
1005.25/1005.24 c | 917752 | 7894 458827 3263163 | 2147483647 826082 25 | 0.704 % |
1008.65/1008.63 c | 920750 | 7894 458827 3263163 | 2147483647 829080 25 | 0.704 % |
1019.25/1019.25 c | 924047 | 7894 458827 3263163 | 2147483647 832377 26 | 0.704 % |
1020.45/1020.44 c | 927673 | 7894 458827 3263163 | 2147483647 836003 25 | 0.704 % |
1021.15/1021.19 c | 931662 | 7894 458827 3263163 | 2147483647 839992 25 | 0.704 % |
1027.75/1027.76 c | 936049 | 7894 458827 3263163 | 2147483647 844379 25 | 0.704 % |
1038.85/1038.86 c | 940872 | 7894 458827 3263163 | 2147483647 849202 25 | 0.704 % |
1049.26/1049.22 c | 946178 | 7894 458798 3263087 | 2147483647 854505 25 | 0.704 % |
1076.06/1076.06 c | 952014 | 7894 458798 3263087 | 2147483647 860341 27 | 0.704 % |
1084.07/1084.05 c | 958433 | 7894 458798 3263087 | 2147483647 866760 27 | 0.704 % |
1088.67/1088.69 c | 965493 | 7894 458798 3263087 | 2147483647 873820 27 | 0.704 % |
1108.07/1108.05 c | 973259 | 7894 458798 3263087 | 2147483647 881586 27 | 0.704 % |
1124.47/1124.49 c | 981800 | 7894 458798 3263087 | 2147483647 890127 27 | 0.704 % |
1124.57/1124.58 c | 981900 | 7894 458798 3263087 | 2147483647 890227 27 | 0.704 % |
1124.77/1124.75 c | 982010 | 7894 458798 3263087 | 2147483647 890337 27 | 0.704 % |
1124.97/1124.99 c | 982131 | 7894 458798 3263087 | 2147483647 890458 27 | 0.704 % |
1125.07/1125.10 c | 982264 | 7894 458798 3263087 | 2147483647 890591 27 | 0.704 % |
1125.27/1125.29 c | 982410 | 7894 458798 3263087 | 2147483647 890737 27 | 0.704 % |
1125.38/1125.40 c | 982570 | 7894 458798 3263087 | 2147483647 890897 27 | 0.704 % |
1125.67/1125.62 c | 982746 | 7894 458798 3263087 | 2147483647 891073 27 | 0.704 % |
1125.97/1125.93 c | 982941 | 7894 458798 3263087 | 2147483647 891268 27 | 0.704 % |
1126.27/1126.26 c | 983153 | 7894 458798 3263087 | 2147483647 891480 27 | 0.704 % |
1126.57/1126.54 c | 983387 | 7894 458798 3263087 | 2147483647 891714 27 | 0.704 % |
1126.87/1126.87 c | 983643 | 7894 458798 3263087 | 2147483647 891970 27 | 0.704 % |
1127.27/1127.25 c | 983924 | 7894 458798 3263087 | 2147483647 892251 27 | 0.704 % |
1127.47/1127.48 c | 984233 | 7894 458798 3263087 | 2147483647 892560 27 | 0.704 % |
1127.67/1127.69 c | 984574 | 7894 458798 3263087 | 2147483647 892901 27 | 0.704 % |
1128.17/1128.11 c | 984946 | 7894 458798 3263087 | 2147483647 893273 27 | 0.704 % |
1128.27/1128.25 c | 985356 | 7894 458798 3263087 | 2147483647 893683 27 | 0.704 % |
1128.77/1128.71 c | 985806 | 7894 458798 3263087 | 2147483647 894133 27 | 0.704 % |
1129.07/1129.04 c | 986300 | 7894 458798 3263087 | 2147483647 894627 27 | 0.704 % |
1129.67/1129.71 c | 986842 | 7894 458798 3263087 | 2147483647 895169 27 | 0.704 % |
1130.57/1130.61 c | 987439 | 7894 458798 3263087 | 2147483647 895766 27 | 0.704 % |
1131.57/1131.58 c | 988094 | 7894 458798 3263087 | 2147483647 896421 27 | 0.704 % |
1132.77/1132.80 c | 988814 | 7894 458798 3263087 | 2147483647 897141 27 | 0.704 % |
1133.67/1133.68 c | 989607 | 7894 458798 3263087 | 2147483647 897934 27 | 0.704 % |
1134.47/1134.48 c | 990479 | 7894 458798 3263087 | 2147483647 898806 27 | 0.704 % |
1135.57/1135.56 c | 991437 | 7894 458798 3263087 | 2147483647 899764 26 | 0.704 % |
1137.27/1137.26 c | 992491 | 7894 458798 3263087 | 2147483647 900818 26 | 0.704 % |
1140.27/1140.26 c | 993650 | 7894 458798 3263087 | 2147483647 901977 27 | 0.704 % |
1140.78/1140.72 c | 994923 | 7894 458798 3263087 | 2147483647 903250 27 | 0.704 % |
1143.77/1143.77 c | 996324 | 7894 458798 3263087 | 2147483647 904651 27 | 0.704 % |
1145.18/1145.21 c | 997864 | 7894 458798 3263087 | 2147483647 906191 27 | 0.704 % |
1147.27/1147.22 c | 999558 | 7894 458798 3263087 | 2147483647 907885 27 | 0.704 % |
1150.17/1150.19 c | 1001422 | 7894 458798 3263087 | 2147483647 909749 27 | 0.704 % |
1153.47/1153.47 c | 1003473 | 7894 458798 3263087 | 2147483647 911800 26 | 0.704 % |
1157.08/1157.10 c | 1005727 | 7894 458798 3263087 | 2147483647 914054 26 | 0.704 % |
1163.38/1163.33 c | 1008210 | 7894 458798 3263087 | 2147483647 916537 26 | 0.704 % |
1166.48/1166.44 c | 1010936 | 7894 458798 3263087 | 2147483647 919263 26 | 0.704 % |
1169.88/1169.82 c | 1013933 | 7894 458798 3263087 | 2147483647 922260 26 | 0.704 % |
1177.98/1177.99 c | 1017229 | 7894 458798 3263087 | 2147483647 925556 26 | 0.704 % |
1190.88/1190.89 c | 1020855 | 7894 458798 3263087 | 2147483647 929182 27 | 0.704 % |
1198.18/1198.18 c | 1024842 | 7894 458798 3263087 | 2147483647 933169 27 | 0.704 % |
1200.08/1200.04 HOME/SatELiteGTI: line 36: 31027 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821448-1242528185/watcher-1821448-1242528185 -o /tmp/evaluation-result-1821448-1242528185/solver-1821448-1242528185 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821448-1242528185.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30828
/proc/meminfo: memFree=1209056/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=952 CPUtime=0
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 118 0 0 0 0 0 0 0 20 0 1 0 1017319522 974848 54 4294967295 134512640 135223648 3219737040 3219735932 134737065 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 238 56 45 174 0 63 0
[startup+0.030384 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30828
/proc/meminfo: memFree=1209056/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=3840 CPUtime=0.03
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 792 0 0 0 2 1 0 0 20 0 1 0 1017319522 3932160 728 4294967295 134512640 135223648 3219737040 3219735608 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 960 729 47 174 0 785 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6252
[startup+0.110377 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30828
/proc/meminfo: memFree=1209056/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=12060 CPUtime=0.11
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 2547 0 0 0 9 2 0 0 20 0 1 0 1017319522 12349440 2483 4294967295 134512640 135223648 3219737040 3219735608 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 3015 2483 47 174 0 2840 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14472
[startup+0.31036 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30828
/proc/meminfo: memFree=1209056/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=28936 CPUtime=0.31
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 6550 0 0 0 25 6 0 0 21 0 1 0 1017319522 29630464 6486 4294967295 134512640 135223648 3219737040 3219735992 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 7234 6486 47 174 0 7059 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31348
[startup+0.710328 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 30828
/proc/meminfo: memFree=1209056/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=74348 CPUtime=0.7
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 15304 0 0 0 56 14 0 0 22 0 1 0 1017319522 76132352 15240 4294967295 134512640 135223648 3219737040 3219735992 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 18587 15240 47 174 0 18412 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 76760
[startup+1.51026 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30833
/proc/meminfo: memFree=1123704/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=148560 CPUtime=1.5
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 32297 0 0 0 122 28 0 0 25 0 1 0 1017319522 152125440 32233 4294967295 134512640 135223648 3219737040 3219735992 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 37140 32233 47 174 0 36965 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 150972
[startup+3.11013 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30833
/proc/meminfo: memFree=1030084/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=251780 CPUtime=3.1
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 58073 0 0 0 266 44 0 0 25 0 1 0 1017319522 257822720 57988 4294967295 134512640 135223648 3219737040 3219735536 134548581 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 62945 57988 68 174 0 62770 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 254192
[startup+6.30987 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30833
/proc/meminfo: memFree=977260/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=252804 CPUtime=6.3
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 58261 0 0 0 585 45 0 0 25 0 1 0 1017319522 258871296 58176 4294967295 134512640 135223648 3219737040 3219735536 134548912 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 63201 58176 68 174 0 63026 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 255216
[startup+12.7093 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30833
/proc/meminfo: memFree=942396/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=279268 CPUtime=12.7
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 70077 0 0 0 1212 58 0 0 25 0 1 0 1017319522 285970432 63714 4294967295 134512640 135223648 3219737040 3219735040 134549033 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 69817 63714 73 174 0 69642 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 281680
[startup+25.5083 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 30833
/proc/meminfo: memFree=877392/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=324852 CPUtime=25.5
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 82284 0 0 0 2484 66 0 0 25 0 1 0 1017319522 332648448 75345 4294967295 134512640 135223648 3219737040 3219735056 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 81213 75345 73 174 0 81038 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 327264
[startup+51.1162 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 31024
/proc/meminfo: memFree=876752/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2412 CPUtime=0.01
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 367 646 0 0 0 1 0 0 18 0 1 0 1017319521 2469888 276 4294967295 134512640 135169312 3219671504 3219670040 3085176558 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30828/statm: 603 276 235 161 0 42 0
[pid=30832] ppid=30828 vsize=325364 CPUtime=51.11
/proc/30832/stat : 30832 (SatELite_releas) R 30828 30828 10436 0 -1 4202496 82433 0 0 0 5044 67 0 0 25 0 1 0 1017319522 333172736 75494 4294967295 134512640 135223648 3219737040 3219735136 134585500 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30832/statm: 81341 75494 73 174 0 81166 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 327776
[startup+102.322 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 31211
/proc/meminfo: memFree=1119328/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=39036 CPUtime=12.75
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 9668 0 0 0 1260 15 0 0 25 0 1 0 1017328479 39972864 9603 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 9759 9603 73 172 0 9586 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 41452
[startup+162.327 s]
/proc/loadavg: 1.07 1.00 1.00 3/95 31399
/proc/meminfo: memFree=1100836/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=57552 CPUtime=72.76
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 14315 0 0 0 7257 19 0 0 25 0 1 0 1017328479 58933248 14250 4294967295 134512640 135215339 3221037936 3221036224 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 14388 14250 73 172 0 14215 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 59968
[startup+222.312 s]
/proc/loadavg: 1.07 1.01 1.00 3/95 31588
/proc/meminfo: memFree=1087188/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=71088 CPUtime=132.75
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 17662 0 0 0 13249 26 0 0 25 0 1 0 1017328479 72794112 17597 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 17772 17597 73 172 0 17599 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 73504
[startup+282.317 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 31775
/proc/meminfo: memFree=1075260/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=83312 CPUtime=192.76
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 20622 0 0 0 19249 27 0 0 25 0 1 0 1017328479 85311488 20557 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 20828 20557 73 172 0 20655 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85728
[startup+342.312 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 31963
/proc/meminfo: memFree=1066440/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=91720 CPUtime=252.76
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 22793 0 0 0 25247 29 0 0 25 0 1 0 1017328479 93921280 22728 4294967295 134512640 135215339 3221037936 3221035992 134532481 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 22930 22728 73 172 0 22757 0
Current children cumulated CPU time (s) 342.3
################
# More data... #
################
[pid=31027] ppid=30828 vsize=111836 CPUtime=372.77
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 27684 0 0 0 37246 31 0 0 25 0 1 0 1017328479 114520064 27619 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 27959 27619 73 172 0 27786 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 114252
[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32531
/proc/meminfo: memFree=1038308/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=119572 CPUtime=432.78
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 29663 0 0 0 43244 34 0 0 25 0 1 0 1017328479 122441728 29598 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 29893 29598 73 172 0 29720 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 121988
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32720
/proc/meminfo: memFree=1031140/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=126660 CPUtime=492.77
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 31454 0 0 0 49242 35 0 0 25 0 1 0 1017328479 129699840 31389 4294967295 134512640 135215339 3221037936 3221036224 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 31665 31389 73 172 0 31492 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 129076
[startup+642.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 440
/proc/meminfo: memFree=1025288/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=132580 CPUtime=552.79
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 32946 0 0 0 55244 35 0 0 25 0 1 0 1017328479 135761920 32881 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 33145 32881 73 172 0 32972 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 134996
[startup+702.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 626
/proc/meminfo: memFree=1019948/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=139084 CPUtime=612.79
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 34287 0 0 0 61242 37 0 0 25 0 1 0 1017328479 142422016 34222 4294967295 134512640 135215339 3221037936 3221036224 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 34771 34222 73 172 0 34598 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 141500
[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 815
/proc/meminfo: memFree=1013756/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=145116 CPUtime=672.8
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 35790 0 0 0 67241 39 0 0 25 0 1 0 1017328479 148598784 35725 4294967295 134512640 135215339 3221037936 3221036032 134527372 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 36279 35725 73 172 0 36106 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 147532
[startup+822.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1020
/proc/meminfo: memFree=1009044/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=149716 CPUtime=732.8
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 36977 0 0 0 73241 39 0 0 25 0 1 0 1017328479 153309184 36912 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 37429 36912 73 172 0 37256 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 152132
[startup+882.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1209
/proc/meminfo: memFree=1008928/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=149848 CPUtime=792.81
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 37012 0 0 0 79242 39 0 0 25 0 1 0 1017328479 153444352 36947 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 37462 36947 73 172 0 37289 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 152264
[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1397
/proc/meminfo: memFree=1008788/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=149848 CPUtime=852.81
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 37019 0 0 0 85242 39 0 0 25 0 1 0 1017328479 153444352 36954 4294967295 134512640 135215339 3221037936 3221036224 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 37462 36954 73 172 0 37289 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 152264
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1583
/proc/meminfo: memFree=1003348/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=155180 CPUtime=912.81
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 38403 0 0 0 91242 39 0 0 25 0 1 0 1017328479 158904320 38338 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 38795 38338 73 172 0 38622 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 157596
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1783
/proc/meminfo: memFree=997024/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=161948 CPUtime=972.82
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 40093 0 0 0 97240 42 0 0 25 0 1 0 1017328479 165834752 40028 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 40487 40028 73 172 0 40314 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 164364
[startup+1122.32 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 1972
/proc/meminfo: memFree=990436/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=168268 CPUtime=1032.83
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 41706 0 0 0 103240 43 0 0 25 0 1 0 1017328479 172306432 41641 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 42067 41641 73 172 0 41894 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 170684
[startup+1182.32 s]
/proc/loadavg: 1.10 1.04 1.01 2/95 2163
/proc/meminfo: memFree=985484/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=173244 CPUtime=1092.84
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 42993 0 0 0 109240 44 0 0 25 0 1 0 1017328479 177401856 42928 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 43311 42928 73 172 0 43138 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 175660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.07 1.03 1.00 3/95 2165
/proc/meminfo: memFree=983644/2074464 swapFree=1948616/1959888
[pid=30828] ppid=30826 vsize=2416 CPUtime=89.54
/proc/30828/stat : 30828 (SatELiteGTI) S 30826 30828 10436 0 -1 4194304 386 92064 0 0 0 1 8876 77 18 0 1 0 1017319521 2473984 277 4294967295 134512640 135169312 3219671504 3219667720 3085176558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/30828/statm: 604 277 235 161 0 43 0
[pid=31027] ppid=30828 vsize=175128 CPUtime=1110.54
/proc/31027/stat : 31027 (minisat_static) R 30828 30828 10436 0 -1 4202496 43445 0 0 0 111009 45 0 0 25 0 1 0 1017328479 179331072 43380 4294967295 134512640 135215339 3221037936 3221036224 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31027/statm: 43782 43380 73 172 0 43609 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 177544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.1
CPU user time (s): 1198.85
CPU system time (s): 1.25
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 347552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.85
system time used= 1.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1380
runsolver used 0.05 second user time and 0.02 second system time
The end
Begin job on tipi16 at 2009-05-17 04:43:05
IDJOB=1821448
IDBENCH=70959
IDSOLVER=657
FILE ID=tipi16/1821448-1242528185
PBS_JOBID=
Free space on /tmp= 4882 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r3-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821448-1242528185/watcher-1821448-1242528185 -o /tmp/evaluation-result-1821448-1242528185/solver-1821448-1242528185 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821448-1242528185.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 91d125ee3007575f40ddeef126d7f80f
RANDOM SEED= 506847101
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1208964 kB
Buffers: 41104 kB
Cached: 743552 kB
SwapCached: 5940 kB
Active: 153604 kB
Inactive: 641080 kB
HighTotal: 1178688 kB
HighFree: 471480 kB
LowTotal: 895776 kB
LowFree: 737484 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 64312 kB
Writeback: 0 kB
AnonPages: 9316 kB
Mapped: 3260 kB
Slab: 62016 kB
PageTables: 508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4849 MiB
End job on tipi16 at 2009-05-17 05:03:12