0.00/0.00 c Parsing...
2.09/2.18 c ==============================================================================
2.09/2.18 c | | ORIGINAL | LEARNT | |
2.09/2.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.09/2.18 c ==============================================================================
2.09/2.18 c | 0 | 2445459 6687382 | 733637 0 0 nan | 0.000 % |
81.86/81.92 c | 0 | 459462 3264797 | -- 0 -- -- | -- | -1360719/-1657359
81.86/81.93 c ==============================================================================
81.86/81.93 c Result : #vars: 7950 #clauses: 459462 #literals: 3264797
81.86/81.93 c CPU time: 81.2576 s
81.86/81.93 c ==============================================================================
82.94/83.07 c This is MiniSat 2.0 beta
82.94/83.07 c WARNING: for repeatability, setting FPU to use double precision
82.94/83.07 c ============================[ Problem Statistics ]=============================
82.94/83.07 c | |
82.94/83.07 c | Number of variables: 7950 |
82.94/83.07 c | Number of clauses: 459462 |
83.03/83.47 c | Parsing time: 0.35 s |
83.44/83.51 c ============================[ Search Statistics ]==============================
83.44/83.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
83.44/83.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
83.44/83.51 c ===============================================================================
83.44/83.51 c | 0 | 7950 459462 3264797 | 153154 0 nan | 0.000 % |
83.44/83.51 c | 100 | 7950 459462 3264797 | 153154 100 8 | 0.000 % |
83.44/83.52 c | 200 | 7950 459462 3264797 | 153154 200 8 | 0.000 % |
83.44/83.54 c | 300 | 7950 459462 3264797 | 153154 300 8 | 0.000 % |
83.44/83.55 c | 411 | 7950 459462 3264797 | 153154 411 8 | 0.000 % |
83.44/83.56 c | 511 | 7949 459462 3264797 | 153154 510 8 | 0.013 % |
83.44/83.58 c | 621 | 7949 459462 3264797 | 153154 620 8 | 0.013 % |
83.44/83.60 c | 743 | 7949 459462 3264797 | 153154 742 8 | 0.013 % |
83.55/83.61 c | 843 | 7949 459462 3264797 | 153154 842 8 | 0.013 % |
83.55/83.63 c | 955 | 7949 459462 3264797 | 153154 954 8 | 0.013 % |
83.55/83.65 c | 1076 | 7949 459462 3264797 | 153154 1075 8 | 0.013 % |
83.55/83.68 c | 1209 | 7949 459462 3264797 | 153154 1208 8 | 0.013 % |
83.64/83.71 c | 1309 | 7949 459462 3264797 | 153154 1308 8 | 0.013 % |
83.64/83.73 c | 1420 | 7949 459462 3264797 | 153154 1419 8 | 0.013 % |
83.64/83.75 c | 1541 | 7949 459462 3264797 | 153154 1540 8 | 0.013 % |
83.64/83.78 c | 1675 | 7949 459462 3264797 | 153154 1674 8 | 0.013 % |
83.74/83.81 c | 1821 | 7949 459462 3264797 | 153154 1820 9 | 0.013 % |
83.74/83.81 c | 1921 | 7949 459462 3264797 | 153154 1920 9 | 0.013 % |
83.74/83.83 c | 2031 | 7949 459462 3264797 | 153154 2030 9 | 0.013 % |
83.74/83.85 c | 2152 | 7949 459462 3264797 | 153154 2151 9 | 0.013 % |
83.74/83.88 c | 2286 | 7949 459462 3264797 | 153154 2285 9 | 0.013 % |
83.84/83.91 c | 2432 | 7949 459462 3264797 | 153154 2431 9 | 0.013 % |
83.84/83.98 c | 2592 | 7949 459462 3264797 | 153154 2591 9 | 0.013 % |
83.94/84.01 c | 2693 | 7949 459462 3264797 | 153154 2692 9 | 0.013 % |
83.94/84.06 c | 2803 | 7949 459462 3264797 | 153154 2801 9 | 0.025 % |
83.94/84.09 c | 2925 | 7948 459462 3264797 | 153154 2923 9 | 0.025 % |
84.04/84.15 c | 3058 | 7948 459462 3264797 | 153154 3056 9 | 0.025 % |
84.04/84.18 c | 3205 | 7948 459462 3264797 | 153154 3203 9 | 0.025 % |
84.14/84.20 c | 3365 | 7948 459462 3264797 | 153154 3363 9 | 0.025 % |
84.24/84.33 c | 3542 | 7948 459462 3264797 | 153154 3540 9 | 0.025 % |
84.24/84.35 c | 3642 | 7948 459462 3264797 | 153154 3640 9 | 0.025 % |
84.24/84.36 c | 3753 | 7948 459462 3264797 | 153154 3751 9 | 0.025 % |
84.24/84.39 c | 3874 | 7948 459462 3264797 | 153154 3872 9 | 0.025 % |
84.34/84.41 c | 4008 | 7948 459462 3264797 | 153154 4006 9 | 0.025 % |
84.34/84.43 c | 4154 | 7948 459462 3264797 | 153154 4152 9 | 0.025 % |
84.34/84.47 c | 4314 | 7948 459462 3264797 | 153154 4312 9 | 0.025 % |
84.44/84.57 c | 4490 | 7948 459462 3264797 | 153154 4488 9 | 0.025 % |
84.54/84.60 c | 4683 | 7948 459462 3264797 | 153154 4681 9 | 0.025 % |
84.54/84.63 c | 4783 | 7948 459462 3264797 | 153154 4781 9 | 0.025 % |
84.54/84.64 c | 4893 | 7948 459462 3264797 | 153154 4891 9 | 0.025 % |
84.54/84.70 c | 5015 | 7948 459462 3264797 | 153154 5013 10 | 0.025 % |
84.64/84.73 c | 5149 | 7948 459462 3264797 | 153154 5147 10 | 0.025 % |
84.64/84.76 c | 5296 | 7948 459462 3264797 | 153154 5294 10 | 0.025 % |
84.64/84.78 c | 5457 | 7948 459462 3264797 | 153154 5455 10 | 0.025 % |
84.74/84.81 c | 5633 | 7948 459462 3264797 | 153154 5631 10 | 0.025 % |
84.74/84.87 c | 5826 | 7946 459462 3264797 | 153154 5822 10 | 0.050 % |
84.84/85.00 c | 6039 | 7946 459462 3264797 | 153154 6035 10 | 0.050 % |
84.94/85.00 c | 6139 | 7946 459462 3264797 | 153154 6135 10 | 0.050 % |
84.94/85.02 c | 6250 | 7946 459462 3264797 | 153154 6246 10 | 0.050 % |
84.94/85.04 c | 6373 | 7946 459462 3264797 | 153154 6369 10 | 0.050 % |
84.94/85.06 c | 6506 | 7946 459462 3264797 | 153154 6502 10 | 0.050 % |
84.94/85.09 c | 6653 | 7946 459462 3264797 | 153154 6649 10 | 0.050 % |
85.04/85.11 c | 6813 | 7946 459462 3264797 | 153154 6809 10 | 0.050 % |
85.04/85.14 c | 6989 | 7946 459462 3264797 | 153154 6985 10 | 0.050 % |
85.04/85.19 c | 7182 | 7946 459462 3264797 | 153154 7178 10 | 0.050 % |
85.14/85.27 c | 7394 | 7946 459462 3264797 | 153154 7390 11 | 0.050 % |
85.24/85.30 c | 7627 | 7945 459462 3264797 | 153154 7622 11 | 0.063 % |
85.24/85.32 c | 7727 | 7945 459462 3264797 | 153154 7722 11 | 0.063 % |
85.24/85.35 c | 7838 | 7944 459462 3264797 | 153154 7832 11 | 0.075 % |
85.24/85.36 c | 7959 | 7944 459462 3264797 | 153154 7953 11 | 0.075 % |
85.34/85.40 c | 8094 | 7944 459462 3264797 | 153154 8088 11 | 0.075 % |
85.44/85.50 c | 8241 | 7944 459462 3264797 | 153154 8235 11 | 0.075 % |
85.44/85.54 c | 8401 | 7944 459462 3264797 | 153154 8395 11 | 0.075 % |
85.44/85.59 c | 8577 | 7944 459462 3264797 | 153154 8571 11 | 0.075 % |
85.54/85.62 c | 8770 | 7944 459462 3264797 | 153154 8764 11 | 0.075 % |
85.65/85.73 c | 8983 | 7943 459462 3264797 | 153154 8976 11 | 0.088 % |
85.65/85.77 c | 9217 | 7943 459462 3264797 | 153154 9210 11 | 0.088 % |
85.75/85.80 c | 9474 | 7943 459462 3264797 | 153154 9467 11 | 0.088 % |
85.75/85.82 c | 9574 | 7943 459462 3264797 | 153154 9567 11 | 0.088 % |
85.75/85.85 c | 9684 | 7943 459462 3264797 | 153154 9677 11 | 0.088 % |
85.75/85.87 c | 9805 | 7943 459462 3264797 | 153154 9798 11 | 0.088 % |
85.75/85.89 c | 9938 | 7943 459462 3264797 | 153154 9931 11 | 0.088 % |
85.94/86.02 c | 10084 | 7943 459462 3264797 | 2147483647 10077 11 | 0.088 % |
85.94/86.08 c | 10246 | 7943 459462 3264797 | 2147483647 10239 11 | 0.088 % |
86.04/86.11 c | 10423 | 7943 459462 3264797 | 2147483647 10416 11 | 0.088 % |
86.04/86.15 c | 10616 | 7943 459462 3264797 | 2147483647 10609 11 | 0.088 % |
86.04/86.19 c | 10829 | 7943 459462 3264797 | 2147483647 10822 12 | 0.088 % |
86.14/86.25 c | 11063 | 7943 459462 3264797 | 2147483647 11056 12 | 0.088 % |
86.24/86.33 c | 11319 | 7943 459462 3264797 | 2147483647 11312 12 | 0.088 % |
86.34/86.40 c | 11600 | 7943 459462 3264797 | 2147483647 11593 12 | 0.088 % |
86.34/86.46 c | 11701 | 7943 459462 3264797 | 2147483647 11694 12 | 0.088 % |
86.44/86.53 c | 11811 | 7943 459462 3264797 | 2147483647 11804 12 | 0.088 % |
86.44/86.56 c | 11932 | 7943 459462 3264797 | 2147483647 11925 12 | 0.088 % |
86.44/86.59 c | 12067 | 7943 459462 3264797 | 2147483647 12060 12 | 0.088 % |
86.54/86.63 c | 12213 | 7943 459462 3264797 | 2147483647 12206 12 | 0.088 % |
86.54/86.67 c | 12374 | 7943 459462 3264797 | 2147483647 12367 12 | 0.088 % |
86.64/86.70 c | 12551 | 7943 459462 3264797 | 2147483647 12544 12 | 0.088 % |
86.75/86.84 c | 12744 | 7943 459462 3264797 | 2147483647 12737 12 | 0.088 % |
86.84/86.96 c | 12956 | 7943 459462 3264797 | 2147483647 12949 12 | 0.088 % |
86.94/87.00 c | 13189 | 7943 459462 3264797 | 2147483647 13182 12 | 0.088 % |
86.94/87.04 c | 13447 | 7943 459462 3264797 | 2147483647 13440 12 | 0.088 % |
86.94/87.08 c | 13729 | 7943 459462 3264797 | 2147483647 13722 12 | 0.088 % |
87.04/87.13 c | 14038 | 7942 459462 3264797 | 2147483647 14030 12 | 0.101 % |
87.04/87.15 c | 14138 | 7942 459462 3264797 | 2147483647 14130 12 | 0.101 % |
87.04/87.19 c | 14248 | 7942 459462 3264797 | 2147483647 14240 12 | 0.101 % |
87.14/87.24 c | 14369 | 7942 459462 3264797 | 2147483647 14361 12 | 0.101 % |
87.24/87.32 c | 14502 | 7942 459462 3264797 | 2147483647 14494 12 | 0.101 % |
87.24/87.35 c | 14649 | 7942 459462 3264797 | 2147483647 14641 12 | 0.101 % |
87.24/87.38 c | 14809 | 7942 459462 3264797 | 2147483647 14801 12 | 0.101 % |
87.34/87.42 c | 14987 | 7941 459462 3264797 | 2147483647 14978 12 | 0.113 % |
87.34/87.46 c | 15180 | 7941 459462 3264797 | 2147483647 15171 12 | 0.113 % |
87.44/87.51 c | 15393 | 7941 459462 3264797 | 2147483647 15384 12 | 0.113 % |
87.44/87.57 c | 15626 | 7941 459462 3264797 | 2147483647 15617 12 | 0.113 % |
87.54/87.62 c | 15882 | 7941 459462 3264797 | 2147483647 15873 12 | 0.113 % |
87.64/87.71 c | 16163 | 7941 459462 3264797 | 2147483647 16154 12 | 0.113 % |
87.64/87.76 c | 16473 | 7941 459462 3264797 | 2147483647 16464 12 | 0.113 % |
87.74/87.82 c | 16812 | 7941 459462 3264797 | 2147483647 16803 12 | 0.113 % |
87.74/87.86 c | 16912 | 7941 459462 3264797 | 2147483647 16903 12 | 0.113 % |
87.74/87.88 c | 17023 | 7941 459462 3264797 | 2147483647 17014 12 | 0.113 % |
87.85/87.91 c | 17144 | 7941 459462 3264797 | 2147483647 17135 12 | 0.113 % |
87.85/87.96 c | 17277 | 7941 459462 3264797 | 2147483647 17268 12 | 0.113 % |
87.95/88.00 c | 17424 | 7940 459462 3264797 | 2147483647 17414 12 | 0.126 % |
87.95/88.03 c | 17584 | 7940 459462 3264797 | 2147483647 17574 12 | 0.126 % |
87.95/88.06 c | 17761 | 7940 459462 3264797 | 2147483647 17751 12 | 0.126 % |
88.04/88.11 c | 17954 | 7940 459462 3264797 | 2147483647 17944 12 | 0.126 % |
88.04/88.14 c | 18169 | 7940 459462 3264797 | 2147483647 18159 12 | 0.126 % |
88.14/88.21 c | 18404 | 7940 459462 3264797 | 2147483647 18394 12 | 0.126 % |
88.14/88.24 c | 18661 | 7940 459462 3264797 | 2147483647 18651 12 | 0.126 % |
88.34/88.41 c | 18943 | 7940 459462 3264797 | 2147483647 18933 12 | 0.126 % |
88.34/88.47 c | 19252 | 7940 459462 3264797 | 2147483647 19242 12 | 0.126 % |
88.44/88.59 c | 19593 | 7940 459462 3264797 | 2147483647 19583 12 | 0.126 % |
88.54/88.68 c | 19965 | 7940 459462 3264797 | 2147483647 19955 12 | 0.126 % |
88.54/88.70 c | 20066 | 7940 459462 3264797 | 2147483647 20056 12 | 0.126 % |
88.64/88.74 c | 20179 | 7939 459462 3264797 | 2147483647 20168 12 | 0.138 % |
88.64/88.78 c | 20301 | 7939 459462 3264797 | 2147483647 20290 12 | 0.138 % |
88.74/88.81 c | 20435 | 7939 459462 3264797 | 2147483647 20424 12 | 0.138 % |
88.74/88.87 c | 20582 | 7939 459462 3264797 | 2147483647 20571 12 | 0.138 % |
88.74/88.90 c | 20743 | 7939 459462 3264797 | 2147483647 20732 12 | 0.138 % |
88.84/88.91 c | 20920 | 7939 459462 3264797 | 2147483647 20909 12 | 0.138 % |
88.84/88.94 c | 21113 | 7939 459462 3264797 | 2147483647 21102 12 | 0.138 % |
88.84/88.97 c | 21326 | 7939 459462 3264797 | 2147483647 21315 12 | 0.138 % |
88.95/89.02 c | 21559 | 7939 459462 3264797 | 2147483647 21548 12 | 0.138 % |
88.95/89.08 c | 21817 | 7939 459462 3264797 | 2147483647 21806 12 | 0.138 % |
89.14/89.26 c | 22098 | 7939 459462 3264797 | 2147483647 22087 12 | 0.138 % |
89.24/89.30 c | 22408 | 7939 459462 3264797 | 2147483647 22397 12 | 0.138 % |
89.24/89.34 c | 22747 | 7939 459462 3264797 | 2147483647 22736 12 | 0.138 % |
89.34/89.41 c | 23119 | 7939 459462 3264797 | 2147483647 23108 12 | 0.138 % |
89.44/89.50 c | 23529 | 7939 459462 3264797 | 2147483647 23518 12 | 0.138 % |
89.44/89.52 c | 23631 | 7939 459462 3264797 | 2147483647 23620 12 | 0.138 % |
89.44/89.58 c | 23741 | 7939 459462 3264797 | 2147483647 23730 12 | 0.138 % |
89.54/89.60 c | 23863 | 7939 459462 3264797 | 2147483647 23852 12 | 0.138 % |
89.54/89.62 c | 23996 | 7939 459462 3264797 | 2147483647 23985 12 | 0.138 % |
89.54/89.64 c | 24143 | 7939 459462 3264797 | 2147483647 24132 12 | 0.138 % |
89.54/89.67 c | 24304 | 7939 459462 3264797 | 2147483647 24293 12 | 0.138 % |
89.64/89.71 c | 24481 | 7939 459462 3264797 | 2147483647 24470 12 | 0.138 % |
89.64/89.75 c | 24677 | 7939 459462 3264797 | 2147483647 24666 12 | 0.138 % |
89.74/89.84 c | 24889 | 7939 459462 3264797 | 2147483647 24878 12 | 0.138 % |
89.84/89.92 c | 25126 | 7939 459462 3264797 | 2147483647 25115 12 | 0.138 % |
89.84/89.98 c | 25382 | 7939 459462 3264797 | 2147483647 25371 12 | 0.138 % |
89.94/90.10 c | 25665 | 7938 459462 3264797 | 2147483647 25653 12 | 0.151 % |
90.04/90.16 c | 25976 | 7938 459462 3264797 | 2147483647 25964 12 | 0.151 % |
90.14/90.25 c | 26315 | 7938 459462 3264797 | 2147483647 26303 12 | 0.151 % |
90.34/90.40 c | 26687 | 7938 459462 3264797 | 2147483647 26675 12 | 0.151 % |
90.34/90.49 c | 27097 | 7937 459462 3264797 | 2147483647 27084 12 | 0.164 % |
90.54/90.60 c | 27547 | 7937 459462 3264797 | 2147483647 27534 12 | 0.164 % |
90.54/90.63 c | 27647 | 7937 459462 3264797 | 2147483647 27634 12 | 0.164 % |
90.54/90.67 c | 27757 | 7937 459462 3264797 | 2147483647 27744 12 | 0.164 % |
90.54/90.69 c | 27878 | 7937 459462 3264797 | 2147483647 27865 12 | 0.164 % |
90.64/90.70 c | 28011 | 7937 459462 3264797 | 2147483647 27998 12 | 0.164 % |
90.64/90.72 c | 28158 | 7937 459462 3264797 | 2147483647 28145 12 | 0.164 % |
90.64/90.76 c | 28318 | 7937 459462 3264797 | 2147483647 28305 12 | 0.164 % |
90.74/90.85 c | 28495 | 7936 459462 3264797 | 2147483647 28481 12 | 0.176 % |
90.74/90.88 c | 28688 | 7936 459462 3264797 | 2147483647 28674 12 | 0.176 % |
90.84/90.93 c | 28900 | 7936 459462 3264797 | 2147483647 28886 12 | 0.176 % |
90.84/90.97 c | 29134 | 7936 459462 3264797 | 2147483647 29120 12 | 0.176 % |
90.94/91.04 c | 29390 | 7936 459462 3264797 | 2147483647 29376 12 | 0.176 % |
90.94/91.08 c | 29672 | 7936 459462 3264797 | 2147483647 29658 12 | 0.176 % |
91.04/91.18 c | 29982 | 7935 459462 3264797 | 2147483647 29967 12 | 0.189 % |
91.14/91.25 c | 30322 | 7935 459462 3264797 | 2147483647 30307 12 | 0.189 % |
91.24/91.36 c | 30695 | 7935 459462 3264797 | 2147483647 30680 12 | 0.189 % |
91.34/91.45 c | 31104 | 7935 459462 3264797 | 2147483647 31089 12 | 0.189 % |
91.34/91.49 c | 31554 | 7935 459462 3264797 | 2147483647 31539 12 | 0.189 % |
91.44/91.58 c | 32048 | 7935 459462 3264797 | 2147483647 32033 12 | 0.189 % |
91.54/91.61 c | 32150 | 7935 459462 3264797 | 2147483647 32135 12 | 0.189 % |
91.54/91.62 c | 32261 | 7935 459462 3264797 | 2147483647 32246 12 | 0.189 % |
91.54/91.64 c | 32383 | 7935 459462 3264797 | 2147483647 32368 12 | 0.189 % |
91.54/91.65 c | 32516 | 7935 459462 3264797 | 2147483647 32501 12 | 0.189 % |
91.64/91.71 c | 32662 | 7934 459462 3264797 | 2147483647 32646 12 | 0.201 % |
91.64/91.73 c | 32822 | 7934 459462 3264797 | 2147483647 32806 12 | 0.201 % |
91.64/91.77 c | 32999 | 7934 459462 3264797 | 2147483647 32983 12 | 0.201 % |
91.74/91.82 c | 33194 | 7934 459462 3264797 | 2147483647 33178 12 | 0.201 % |
91.74/91.88 c | 33407 | 7934 459462 3264797 | 2147483647 33391 12 | 0.201 % |
91.83/91.95 c | 33641 | 7934 459462 3264797 | 2147483647 33625 12 | 0.201 % |
91.83/91.99 c | 33898 | 7934 459462 3264797 | 2147483647 33882 12 | 0.201 % |
91.93/92.02 c | 34179 | 7934 459462 3264797 | 2147483647 34163 12 | 0.201 % |
91.93/92.05 c | 34489 | 7934 459462 3264797 | 2147483647 34473 12 | 0.201 % |
92.03/92.12 c | 34829 | 7934 459462 3264797 | 2147483647 34813 12 | 0.201 % |
92.13/92.25 c | 35201 | 7934 459462 3264797 | 2147483647 35185 12 | 0.201 % |
92.13/92.30 c | 35611 | 7934 459462 3264797 | 2147483647 35595 12 | 0.201 % |
92.24/92.40 c | 36062 | 7934 459462 3264797 | 2147483647 36046 12 | 0.201 % |
92.34/92.47 c | 36556 | 7934 459462 3264797 | 2147483647 36540 12 | 0.201 % |
92.43/92.59 c | 37099 | 7934 459462 3264797 | 2147483647 37083 12 | 0.201 % |
92.43/92.60 c | 37199 | 7934 459462 3264797 | 2147483647 37183 12 | 0.201 % |
92.53/92.64 c | 37309 | 7934 459462 3264797 | 2147483647 37293 12 | 0.201 % |
92.53/92.66 c | 37432 | 7934 459462 3264797 | 2147483647 37416 12 | 0.201 % |
92.53/92.70 c | 37566 | 7934 459462 3264797 | 2147483647 37550 12 | 0.201 % |
92.63/92.76 c | 37712 | 7934 459462 3264797 | 2147483647 37696 12 | 0.201 % |
92.73/92.84 c | 37873 | 7934 459462 3264797 | 2147483647 37857 12 | 0.201 % |
92.73/92.89 c | 38049 | 7934 459462 3264797 | 2147483647 38033 12 | 0.201 % |
92.83/92.91 c | 38243 | 7934 459462 3264797 | 2147483647 38227 12 | 0.201 % |
92.83/92.97 c | 38456 | 7934 459462 3264797 | 2147483647 38440 12 | 0.201 % |
92.93/93.04 c | 38689 | 7934 459462 3264797 | 2147483647 38673 12 | 0.201 % |
92.93/93.09 c | 38946 | 7934 459462 3264797 | 2147483647 38930 12 | 0.201 % |
93.03/93.13 c | 39227 | 7934 459462 3264797 | 2147483647 39211 12 | 0.201 % |
93.03/93.19 c | 39537 | 7934 459462 3264797 | 2147483647 39521 12 | 0.201 % |
93.13/93.29 c | 39876 | 7934 459462 3264797 | 2147483647 39860 12 | 0.201 % |
93.23/93.34 c | 40249 | 7934 459462 3264797 | 2147483647 40233 12 | 0.201 % |
93.33/93.41 c | 40660 | 7934 459462 3264797 | 2147483647 40644 12 | 0.201 % |
93.43/93.56 c | 41110 | 7934 459462 3264797 | 2147483647 41094 12 | 0.201 % |
93.53/93.67 c | 41603 | 7934 459462 3264797 | 2147483647 41587 12 | 0.201 % |
93.73/93.86 c | 42145 | 7934 459462 3264797 | 2147483647 42129 12 | 0.201 % |
93.83/93.97 c | 42742 | 7934 459462 3264797 | 2147483647 42726 12 | 0.201 % |
93.83/93.99 c | 42842 | 7933 459462 3264797 | 2147483647 42825 12 | 0.214 % |
93.93/94.01 c | 42954 | 7933 459462 3264797 | 2147483647 42937 12 | 0.214 % |
94.03/94.11 c | 43075 | 7933 459259 3264279 | 2147483647 43050 12 | 0.214 % |
94.03/94.12 c | 43208 | 7933 459259 3264279 | 2147483647 43183 12 | 0.214 % |
94.13/94.23 c | 43355 | 7933 459259 3264279 | 2147483647 43330 12 | 0.214 % |
94.13/94.26 c | 43515 | 7933 459259 3264279 | 2147483647 43490 12 | 0.214 % |
94.23/94.31 c | 43693 | 7933 459259 3264279 | 2147483647 43668 12 | 0.214 % |
94.23/94.37 c | 43886 | 7933 459259 3264279 | 2147483647 43861 12 | 0.214 % |
94.32/94.43 c | 44098 | 7933 459259 3264279 | 2147483647 44073 12 | 0.214 % |
94.43/94.54 c | 44332 | 7933 459259 3264279 | 2147483647 44307 12 | 0.214 % |
94.53/94.60 c | 44588 | 7933 459259 3264279 | 2147483647 44563 12 | 0.214 % |
94.53/94.66 c | 44870 | 7933 459259 3264279 | 2147483647 44845 12 | 0.214 % |
94.62/94.74 c | 45180 | 7933 459259 3264279 | 2147483647 45155 12 | 0.214 % |
94.72/94.89 c | 45519 | 7933 459259 3264279 | 2147483647 45494 12 | 0.214 % |
94.82/94.98 c | 45892 | 7933 459259 3264279 | 2147483647 45867 12 | 0.214 % |
95.03/95.11 c | 46302 | 7933 459259 3264279 | 2147483647 46277 12 | 0.214 % |
95.13/95.20 c | 46751 | 7932 459259 3264279 | 2147483647 46725 12 | 0.226 % |
95.23/95.37 c | 47245 | 7932 459259 3264279 | 2147483647 47219 12 | 0.226 % |
95.43/95.59 c | 47787 | 7932 459259 3264279 | 2147483647 47761 12 | 0.226 % |
95.63/95.79 c | 48384 | 7932 459259 3264279 | 2147483647 48358 12 | 0.226 % |
95.83/95.96 c | 49039 | 7932 459259 3264279 | 2147483647 49013 12 | 0.226 % |
95.93/96.00 c | 49139 | 7932 459259 3264279 | 2147483647 49113 12 | 0.226 % |
95.93/96.05 c | 49249 | 7932 459259 3264279 | 2147483647 49223 12 | 0.226 % |
96.03/96.12 c | 49371 | 7932 459259 3264279 | 2147483647 49345 12 | 0.226 % |
96.03/96.14 c | 49504 | 7932 459259 3264279 | 2147483647 49478 12 | 0.226 % |
96.03/96.16 c | 49651 | 7932 459259 3264279 | 2147483647 49625 12 | 0.226 % |
96.03/96.19 c | 49811 | 7932 459259 3264279 | 2147483647 49785 12 | 0.226 % |
96.13/96.23 c | 49987 | 7932 459259 3264279 | 2147483647 49961 12 | 0.226 % |
96.13/96.29 c | 50182 | 7931 459259 3264279 | 2147483647 50155 12 | 0.239 % |
96.23/96.38 c | 50394 | 7931 459259 3264279 | 2147483647 50367 13 | 0.239 % |
96.33/96.41 c | 50628 | 7931 459259 3264279 | 2147483647 50601 13 | 0.239 % |
96.33/96.44 c | 50886 | 7931 459259 3264279 | 2147483647 50859 12 | 0.239 % |
96.43/96.52 c | 51167 | 7930 459259 3264279 | 2147483647 51139 12 | 0.252 % |
96.43/96.56 c | 51477 | 7930 459259 3264279 | 2147483647 51449 12 | 0.252 % |
96.53/96.61 c | 51816 | 7930 459259 3264279 | 2147483647 51788 12 | 0.252 % |
96.53/96.67 c | 52188 | 7930 459259 3264279 | 2147483647 52160 12 | 0.252 % |
96.63/96.76 c | 52597 | 7929 459259 3264279 | 2147483647 52568 12 | 0.264 % |
96.83/96.93 c | 53047 | 7929 459259 3264279 | 2147483647 53018 12 | 0.264 % |
96.92/97.10 c | 53540 | 7929 459259 3264279 | 2147483647 53511 12 | 0.264 % |
97.12/97.24 c | 54082 | 7929 459259 3264279 | 2147483647 54053 13 | 0.264 % |
97.32/97.41 c | 54678 | 7929 459259 3264279 | 2147483647 54649 13 | 0.264 % |
97.52/97.61 c | 55333 | 7929 459259 3264279 | 2147483647 55304 13 | 0.264 % |
97.73/97.89 c | 56053 | 7929 459259 3264279 | 2147483647 56024 13 | 0.264 % |
97.83/97.91 c | 56153 | 7929 459259 3264279 | 2147483647 56124 13 | 0.264 % |
97.83/97.96 c | 56265 | 7929 459259 3264279 | 2147483647 56236 13 | 0.264 % |
97.92/98.00 c | 56387 | 7929 459259 3264279 | 2147483647 56358 13 | 0.264 % |
97.92/98.03 c | 56520 | 7929 459259 3264279 | 2147483647 56491 13 | 0.264 % |
97.92/98.08 c | 56666 | 7929 459259 3264279 | 2147483647 56637 13 | 0.264 % |
98.02/98.19 c | 56828 | 7929 459259 3264279 | 2147483647 56799 13 | 0.264 % |
98.32/98.42 c | 57005 | 7929 459259 3264279 | 2147483647 56976 13 | 0.264 % |
98.32/98.48 c | 57198 | 7929 459259 3264279 | 2147483647 57169 13 | 0.264 % |
98.42/98.51 c | 57411 | 7929 459259 3264279 | 2147483647 57382 13 | 0.264 % |
98.42/98.55 c | 57645 | 7929 459259 3264279 | 2147483647 57616 13 | 0.264 % |
98.52/98.63 c | 57902 | 7929 459259 3264279 | 2147483647 57873 13 | 0.264 % |
98.62/98.72 c | 58184 | 7929 459259 3264279 | 2147483647 58155 13 | 0.264 % |
98.62/98.80 c | 58493 | 7928 459259 3264279 | 2147483647 58463 13 | 0.277 % |
98.72/98.86 c | 58833 | 7928 459259 3264279 | 2147483647 58803 13 | 0.277 % |
98.83/98.96 c | 59205 | 7928 459259 3264279 | 2147483647 59175 13 | 0.277 % |
98.92/99.07 c | 59615 | 7928 459259 3264279 | 2147483647 59585 13 | 0.277 % |
99.02/99.19 c | 60064 | 7928 459259 3264279 | 2147483647 60034 13 | 0.277 % |
99.32/99.42 c | 60558 | 7928 459259 3264279 | 2147483647 60528 13 | 0.277 % |
99.42/99.60 c | 61100 | 7928 459259 3264279 | 2147483647 61070 13 | 0.277 % |
99.72/99.83 c | 61697 | 7928 459259 3264279 | 2147483647 61667 13 | 0.277 % |
99.82/99.97 c | 62352 | 7928 459259 3264279 | 2147483647 62322 13 | 0.277 % |
100.02/100.13 c | 63073 | 7927 459259 3264279 | 2147483647 63042 13 | 0.289 % |
100.12/100.25 c | 63865 | 7925 459259 3264279 | 2147483647 63832 13 | 0.314 % |
100.12/100.26 c | 63965 | 7925 459259 3264279 | 2147483647 63932 13 | 0.314 % |
100.12/100.29 c | 64075 | 7925 459259 3264279 | 2147483647 64042 13 | 0.314 % |
100.22/100.36 c | 64197 | 7925 459259 3264279 | 2147483647 64164 13 | 0.314 % |
100.32/100.40 c | 64331 | 7925 459259 3264279 | 2147483647 64298 13 | 0.314 % |
100.32/100.46 c | 64477 | 7925 459259 3264279 | 2147483647 64444 13 | 0.314 % |
100.42/100.50 c | 64638 | 7925 459259 3264279 | 2147483647 64605 13 | 0.314 % |
100.42/100.54 c | 64814 | 7925 459259 3264279 | 2147483647 64781 13 | 0.314 % |
100.42/100.58 c | 65010 | 7925 459259 3264279 | 2147483647 64977 13 | 0.314 % |
100.52/100.64 c | 65224 | 7925 459259 3264279 | 2147483647 65191 13 | 0.314 % |
100.62/100.71 c | 65457 | 7925 459259 3264279 | 2147483647 65424 13 | 0.314 % |
100.62/100.75 c | 65715 | 7925 459259 3264279 | 2147483647 65682 13 | 0.314 % |
100.72/100.83 c | 65997 | 7925 459259 3264279 | 2147483647 65964 13 | 0.314 % |
100.82/100.93 c | 66306 | 7925 459259 3264279 | 2147483647 66273 13 | 0.314 % |
100.92/101.02 c | 66647 | 7925 459259 3264279 | 2147483647 66614 13 | 0.314 % |
101.02/101.12 c | 67019 | 7925 459259 3264279 | 2147483647 66986 13 | 0.314 % |
101.12/101.21 c | 67429 | 7925 459259 3264279 | 2147483647 67396 13 | 0.314 % |
101.22/101.37 c | 67879 | 7925 459259 3264279 | 2147483647 67846 13 | 0.314 % |
101.41/101.51 c | 68373 | 7925 459259 3264279 | 2147483647 68340 13 | 0.314 % |
101.51/101.64 c | 68916 | 7925 459259 3264279 | 2147483647 68883 13 | 0.314 % |
101.71/101.80 c | 69512 | 7925 459259 3264279 | 2147483647 69479 13 | 0.314 % |
102.01/102.19 c | 70167 | 7925 459259 3264279 | 2147483647 70134 13 | 0.314 % |
102.22/102.39 c | 70887 | 7925 459259 3264279 | 2147483647 70854 13 | 0.314 % |
102.42/102.57 c | 71681 | 7925 459259 3264279 | 2147483647 71648 13 | 0.314 % |
102.62/102.71 c | 72552 | 7925 459259 3264279 | 2147483647 72519 13 | 0.314 % |
102.62/102.72 c | 72652 | 7925 459259 3264279 | 2147483647 72619 13 | 0.314 % |
102.62/102.73 c | 72762 | 7925 459259 3264279 | 2147483647 72729 13 | 0.314 % |
102.62/102.77 c | 72884 | 7925 459259 3264279 | 2147483647 72851 13 | 0.314 % |
102.72/102.80 c | 73018 | 7925 459259 3264279 | 2147483647 72985 13 | 0.314 % |
102.72/102.85 c | 73164 | 7925 459259 3264279 | 2147483647 73131 13 | 0.314 % |
102.72/102.89 c | 73324 | 7925 459259 3264279 | 2147483647 73291 13 | 0.314 % |
102.82/102.97 c | 73501 | 7925 459259 3264279 | 2147483647 73468 13 | 0.314 % |
102.92/103.07 c | 73694 | 7925 459259 3264279 | 2147483647 73661 13 | 0.314 % |
103.02/103.11 c | 73907 | 7925 459259 3264279 | 2147483647 73874 13 | 0.314 % |
103.02/103.18 c | 74140 | 7925 459259 3264279 | 2147483647 74107 13 | 0.314 % |
103.12/103.22 c | 74396 | 7925 459259 3264279 | 2147483647 74363 13 | 0.314 % |
103.12/103.28 c | 74677 | 7924 459259 3264279 | 2147483647 74643 13 | 0.327 % |
103.32/103.48 c | 74986 | 7924 459259 3264279 | 2147483647 74952 13 | 0.327 % |
103.42/103.52 c | 75326 | 7924 459259 3264279 | 2147483647 75292 13 | 0.327 % |
103.52/103.66 c | 75698 | 7924 459259 3264279 | 2147483647 75664 13 | 0.327 % |
103.62/103.75 c | 76107 | 7924 459259 3264279 | 2147483647 76073 13 | 0.327 % |
103.72/103.85 c | 76556 | 7924 459259 3264279 | 2147483647 76522 13 | 0.327 % |
103.82/103.96 c | 77049 | 7924 459259 3264279 | 2147483647 77015 13 | 0.327 % |
103.92/104.05 c | 77591 | 7924 459259 3264279 | 2147483647 77557 13 | 0.327 % |
104.12/104.25 c | 78187 | 7924 459259 3264279 | 2147483647 78153 13 | 0.327 % |
104.22/104.39 c | 78842 | 7924 459259 3264279 | 2147483647 78808 13 | 0.327 % |
104.42/104.54 c | 79563 | 7924 459259 3264279 | 2147483647 79529 14 | 0.327 % |
104.52/104.68 c | 80355 | 7923 459259 3264279 | 2147483647 80320 14 | 0.340 % |
104.82/104.96 c | 81226 | 7923 459259 3264279 | 2147483647 81191 14 | 0.340 % |
105.02/105.14 c | 82185 | 7923 459259 3264279 | 2147483647 82150 13 | 0.340 % |
105.02/105.16 c | 82285 | 7923 459259 3264279 | 2147483647 82250 13 | 0.340 % |
105.02/105.19 c | 82397 | 7923 459259 3264279 | 2147483647 82362 13 | 0.340 % |
105.11/105.24 c | 82519 | 7923 459259 3264279 | 2147483647 82484 13 | 0.340 % |
105.21/105.31 c | 82654 | 7923 459259 3264279 | 2147483647 82619 13 | 0.340 % |
105.21/105.34 c | 82801 | 7923 459259 3264279 | 2147483647 82766 13 | 0.340 % |
105.31/105.41 c | 82963 | 7923 459259 3264279 | 2147483647 82928 13 | 0.340 % |
105.31/105.43 c | 83139 | 7923 459259 3264279 | 2147483647 83104 13 | 0.340 % |
105.42/105.52 c | 83334 | 7923 459259 3264279 | 2147483647 83299 13 | 0.340 % |
105.42/105.56 c | 83546 | 7923 459259 3264279 | 2147483647 83511 13 | 0.340 % |
105.52/105.68 c | 83779 | 7923 459259 3264279 | 2147483647 83744 14 | 0.340 % |
105.61/105.77 c | 84035 | 7923 459259 3264279 | 2147483647 84000 14 | 0.340 % |
105.71/105.83 c | 84316 | 7923 459259 3264279 | 2147483647 84281 14 | 0.340 % |
105.71/105.88 c | 84625 | 7923 459259 3264279 | 2147483647 84590 14 | 0.340 % |
105.81/105.98 c | 84965 | 7923 459259 3264279 | 2147483647 84930 14 | 0.340 % |
105.91/106.04 c | 85337 | 7923 459259 3264279 | 2147483647 85302 14 | 0.340 % |
106.01/106.14 c | 85746 | 7923 459259 3264279 | 2147483647 85711 14 | 0.340 % |
106.11/106.22 c | 86195 | 7923 459259 3264279 | 2147483647 86160 14 | 0.340 % |
106.31/106.40 c | 86689 | 7923 459259 3264279 | 2147483647 86654 13 | 0.340 % |
106.31/106.49 c | 87231 | 7923 459259 3264279 | 2147483647 87196 13 | 0.340 % |
106.62/106.71 c | 87828 | 7923 459259 3264279 | 2147483647 87793 14 | 0.340 % |
106.92/107.07 c | 88483 | 7923 459259 3264279 | 2147483647 88448 14 | 0.340 % |
107.12/107.23 c | 89203 | 7923 459259 3264279 | 2147483647 89168 14 | 0.340 % |
107.31/107.46 c | 89997 | 7923 459259 3264279 | 2147483647 89962 14 | 0.340 % |
107.51/107.66 c | 90870 | 7923 459259 3264279 | 2147483647 90835 13 | 0.340 % |
107.81/107.92 c | 91828 | 7923 459259 3264279 | 2147483647 91793 13 | 0.340 % |
108.01/108.13 c | 92882 | 7923 459259 3264279 | 2147483647 92847 13 | 0.340 % |
108.11/108.22 c | 92982 | 7923 459259 3264279 | 2147483647 92947 13 | 0.340 % |
108.11/108.25 c | 93094 | 7923 459259 3264279 | 2147483647 93059 13 | 0.340 % |
108.21/108.35 c | 93218 | 7923 459139 3263969 | 2147483647 93174 13 | 0.340 % |
108.41/108.53 c | 93351 | 7923 459139 3263969 | 2147483647 93307 14 | 0.340 % |
108.51/108.63 c | 93499 | 7923 459139 3263969 | 2147483647 93455 14 | 0.340 % |
108.51/108.69 c | 93659 | 7923 459139 3263969 | 2147483647 93615 14 | 0.340 % |
108.61/108.76 c | 93836 | 7923 459139 3263969 | 2147483647 93792 14 | 0.340 % |
108.61/108.79 c | 94030 | 7923 459139 3263969 | 2147483647 93986 14 | 0.340 % |
108.72/108.84 c | 94242 | 7923 459139 3263969 | 2147483647 94198 14 | 0.340 % |
108.82/108.91 c | 94476 | 7923 459139 3263969 | 2147483647 94432 14 | 0.340 % |
108.82/108.96 c | 94733 | 7923 459139 3263969 | 2147483647 94689 14 | 0.340 % |
108.91/109.04 c | 95014 | 7923 459139 3263969 | 2147483647 94970 14 | 0.340 % |
109.01/109.14 c | 95323 | 7923 459139 3263969 | 2147483647 95279 14 | 0.340 % |
109.11/109.25 c | 95663 | 7923 459139 3263969 | 2147483647 95619 14 | 0.340 % |
109.21/109.31 c | 96035 | 7923 459139 3263969 | 2147483647 95991 14 | 0.340 % |
109.21/109.39 c | 96445 | 7922 459139 3263969 | 2147483647 96400 14 | 0.352 % |
109.41/109.55 c | 96894 | 7922 459139 3263969 | 2147483647 96849 14 | 0.352 % |
109.51/109.67 c | 97389 | 7922 459139 3263969 | 2147483647 97344 14 | 0.352 % |
109.61/109.76 c | 97931 | 7922 459139 3263969 | 2147483647 97886 14 | 0.352 % |
109.81/109.91 c | 98529 | 7922 459139 3263969 | 2147483647 98484 14 | 0.352 % |
109.91/110.08 c | 99185 | 7922 459139 3263969 | 2147483647 99140 14 | 0.352 % |
110.01/110.20 c | 99906 | 7921 459139 3263969 | 2147483647 99860 14 | 0.365 % |
110.21/110.39 c | 100698 | 7921 459139 3263969 | 2147483647 100652 13 | 0.365 % |
110.51/110.66 c | 101570 | 7921 459139 3263969 | 2147483647 101524 14 | 0.365 % |
110.91/111.05 c | 102528 | 7920 459139 3263969 | 2147483647 102481 14 | 0.377 % |
111.22/111.35 c | 103581 | 7920 459139 3263969 | 2147483647 103534 14 | 0.377 % |
111.42/111.57 c | 104739 | 7920 459139 3263969 | 2147483647 104692 14 | 0.377 % |
111.42/111.59 c | 104839 | 7920 459139 3263969 | 2147483647 104792 14 | 0.377 % |
111.52/111.62 c | 104949 | 7920 459139 3263969 | 2147483647 104902 14 | 0.377 % |
111.52/111.65 c | 105072 | 7920 459139 3263969 | 2147483647 105025 14 | 0.377 % |
111.62/111.72 c | 105206 | 7920 459139 3263969 | 2147483647 105159 14 | 0.377 % |
111.62/111.78 c | 105352 | 7920 459139 3263969 | 2147483647 105305 14 | 0.377 % |
111.71/111.81 c | 105513 | 7920 459139 3263969 | 2147483647 105466 14 | 0.377 % |
111.81/111.98 c | 105691 | 7920 459139 3263969 | 2147483647 105644 14 | 0.377 % |
111.91/112.03 c | 105885 | 7920 459139 3263969 | 2147483647 105838 14 | 0.377 % |
111.91/112.10 c | 106098 | 7920 459139 3263969 | 2147483647 106051 14 | 0.377 % |
112.02/112.14 c | 106331 | 7920 459139 3263969 | 2147483647 106284 14 | 0.377 % |
112.12/112.23 c | 106588 | 7920 459139 3263969 | 2147483647 106541 14 | 0.377 % |
112.21/112.38 c | 106869 | 7920 459139 3263969 | 2147483647 106822 14 | 0.377 % |
112.31/112.43 c | 107179 | 7920 459139 3263969 | 2147483647 107132 14 | 0.377 % |
112.41/112.53 c | 107518 | 7920 459139 3263969 | 2147483647 107471 14 | 0.377 % |
112.71/112.84 c | 107891 | 7920 459139 3263969 | 2147483647 107844 14 | 0.377 % |
112.91/113.06 c | 108300 | 7920 459139 3263969 | 2147483647 108253 14 | 0.377 % |
112.91/113.09 c | 108750 | 7920 459139 3263969 | 2147483647 108703 14 | 0.377 % |
113.12/113.25 c | 109245 | 7920 459139 3263969 | 2147483647 109198 14 | 0.377 % |
113.22/113.32 c | 109789 | 7920 459139 3263969 | 2147483647 109742 14 | 0.377 % |
113.31/113.46 c | 110385 | 7919 459139 3263969 | 2147483647 110337 14 | 0.390 % |
113.51/113.65 c | 111041 | 7919 459139 3263969 | 2147483647 110993 14 | 0.390 % |
113.91/114.03 c | 111761 | 7919 459139 3263969 | 2147483647 111713 14 | 0.390 % |
114.11/114.25 c | 112554 | 7918 459139 3263969 | 2147483647 112505 14 | 0.403 % |
114.41/114.51 c | 113427 | 7918 459139 3263969 | 2147483647 113378 14 | 0.403 % |
114.61/114.70 c | 114386 | 7918 459139 3263969 | 2147483647 114337 14 | 0.403 % |
114.91/115.02 c | 115439 | 7918 459139 3263969 | 2147483647 115390 14 | 0.403 % |
115.11/115.28 c | 116597 | 7918 459139 3263969 | 2147483647 116548 14 | 0.403 % |
115.81/115.92 c | 117871 | 7918 459139 3263969 | 2147483647 117822 14 | 0.403 % |
115.81/115.95 c | 117972 | 7917 459139 3263969 | 2147483647 117922 14 | 0.415 % |
115.81/115.99 c | 118083 | 7917 459139 3263969 | 2147483647 118033 14 | 0.415 % |
115.91/116.02 c | 118204 | 7917 459139 3263969 | 2147483647 118154 14 | 0.415 % |
115.91/116.07 c | 118338 | 7917 459139 3263969 | 2147483647 118288 14 | 0.415 % |
116.01/116.11 c | 118485 | 7917 459139 3263969 | 2147483647 118435 14 | 0.415 % |
116.01/116.13 c | 118646 | 7917 459139 3263969 | 2147483647 118596 14 | 0.415 % |
116.11/116.22 c | 118822 | 7917 459139 3263969 | 2147483647 118772 14 | 0.415 % |
116.11/116.27 c | 119015 | 7917 459139 3263969 | 2147483647 118965 14 | 0.415 % |
116.21/116.30 c | 119227 | 7917 459139 3263969 | 2147483647 119177 14 | 0.415 % |
116.21/116.38 c | 119461 | 7917 459139 3263969 | 2147483647 119411 14 | 0.415 % |
116.31/116.45 c | 119717 | 7917 459139 3263969 | 2147483647 119667 14 | 0.415 % |
116.41/116.54 c | 119999 | 7917 459139 3263969 | 2147483647 119949 14 | 0.415 % |
116.51/116.67 c | 120310 | 7917 459139 3263969 | 2147483647 120260 14 | 0.415 % |
116.61/116.78 c | 120650 | 7917 459139 3263969 | 2147483647 120600 14 | 0.415 % |
116.81/116.90 c | 121022 | 7917 459139 3263969 | 2147483647 120972 14 | 0.415 % |
116.81/116.99 c | 121434 | 7917 459139 3263969 | 2147483647 121384 14 | 0.415 % |
116.91/117.05 c | 121884 | 7917 459139 3263969 | 2147483647 121834 14 | 0.415 % |
117.01/117.14 c | 122378 | 7917 459139 3263969 | 2147483647 122328 14 | 0.415 % |
117.21/117.34 c | 122921 | 7917 459139 3263969 | 2147483647 122871 14 | 0.415 % |
117.31/117.45 c | 123518 | 7917 459139 3263969 | 2147483647 123468 14 | 0.415 % |
117.51/117.64 c | 124174 | 7917 459139 3263969 | 2147483647 124124 14 | 0.415 % |
117.71/117.83 c | 124895 | 7917 459139 3263969 | 2147483647 124845 14 | 0.415 % |
117.91/118.05 c | 125689 | 7917 459139 3263969 | 2147483647 125639 14 | 0.415 % |
118.21/118.32 c | 126561 | 7917 459139 3263969 | 2147483647 126511 14 | 0.415 % |
118.40/118.59 c | 127519 | 7917 459139 3263969 | 2147483647 127469 14 | 0.415 % |
118.71/118.85 c | 128573 | 7917 459139 3263969 | 2147483647 128523 14 | 0.415 % |
119.00/119.14 c | 129731 | 7916 459139 3263969 | 2147483647 129680 14 | 0.428 % |
119.40/119.57 c | 131004 | 7916 459139 3263969 | 2147483647 130953 14 | 0.428 % |
120.00/120.14 c | 132404 | 7916 459139 3263969 | 2147483647 132353 14 | 0.428 % |
120.00/120.18 c | 132505 | 7916 459139 3263969 | 2147483647 132454 14 | 0.428 % |
120.10/120.28 c | 132616 | 7916 459139 3263969 | 2147483647 132565 14 | 0.428 % |
120.20/120.32 c | 132737 | 7916 459139 3263969 | 2147483647 132686 14 | 0.428 % |
120.20/120.39 c | 132871 | 7916 459139 3263969 | 2147483647 132820 14 | 0.428 % |
120.30/120.43 c | 133018 | 7916 459139 3263969 | 2147483647 132967 14 | 0.428 % |
120.40/120.58 c | 133179 | 7916 459139 3263969 | 2147483647 133128 14 | 0.428 % |
120.50/120.66 c | 133357 | 7916 459139 3263969 | 2147483647 133306 14 | 0.428 % |
120.60/120.74 c | 133550 | 7916 459139 3263969 | 2147483647 133499 14 | 0.428 % |
120.60/120.80 c | 133762 | 7916 459139 3263969 | 2147483647 133711 14 | 0.428 % |
120.80/120.93 c | 133995 | 7916 459139 3263969 | 2147483647 133944 14 | 0.428 % |
120.80/120.99 c | 134252 | 7916 459139 3263969 | 2147483647 134201 14 | 0.428 % |
121.00/121.12 c | 134534 | 7916 459139 3263969 | 2147483647 134483 14 | 0.428 % |
121.10/121.25 c | 134843 | 7916 459139 3263969 | 2147483647 134792 14 | 0.428 % |
121.30/121.42 c | 135182 | 7916 459139 3263969 | 2147483647 135131 14 | 0.428 % |
121.40/121.54 c | 135554 | 7916 459139 3263969 | 2147483647 135503 14 | 0.428 % |
121.50/121.66 c | 135964 | 7916 459139 3263969 | 2147483647 135913 14 | 0.428 % |
121.70/121.89 c | 136416 | 7916 459139 3263969 | 2147483647 136365 14 | 0.428 % |
121.90/122.06 c | 136909 | 7916 459139 3263969 | 2147483647 136858 14 | 0.428 % |
122.10/122.24 c | 137452 | 7915 459139 3263969 | 2147483647 137400 14 | 0.440 % |
122.20/122.37 c | 138048 | 7915 459139 3263969 | 2147483647 137996 14 | 0.440 % |
122.40/122.53 c | 138703 | 7915 459139 3263969 | 2147483647 138651 14 | 0.440 % |
122.50/122.65 c | 139423 | 7915 459139 3263969 | 2147483647 139371 14 | 0.440 % |
122.90/123.04 c | 140215 | 7915 459139 3263969 | 2147483647 140163 14 | 0.440 % |
123.20/123.40 c | 141087 | 7915 459139 3263969 | 2147483647 141035 14 | 0.440 % |
123.60/123.78 c | 142045 | 7915 459139 3263969 | 2147483647 141993 14 | 0.440 % |
123.90/124.09 c | 143100 | 7915 459139 3263969 | 2147483647 143048 14 | 0.440 % |
124.30/124.43 c | 144258 | 7915 459139 3263969 | 2147483647 144206 14 | 0.440 % |
124.71/124.87 c | 145532 | 7915 459139 3263969 | 2147483647 145480 14 | 0.440 % |
125.11/125.28 c | 146934 | 7915 459139 3263969 | 2147483647 146882 14 | 0.440 % |
125.50/125.66 c | 148474 | 7914 459139 3263969 | 2147483647 148421 14 | 0.453 % |
125.50/125.70 c | 148574 | 7914 459139 3263969 | 2147483647 148521 14 | 0.453 % |
125.60/125.72 c | 148686 | 7914 459139 3263969 | 2147483647 148633 14 | 0.453 % |
125.60/125.76 c | 148809 | 7914 459139 3263969 | 2147483647 148756 14 | 0.453 % |
125.70/125.81 c | 148943 | 7914 459139 3263969 | 2147483647 148890 14 | 0.453 % |
125.70/125.86 c | 149090 | 7914 459139 3263969 | 2147483647 149037 14 | 0.453 % |
125.80/125.93 c | 149251 | 7914 459139 3263969 | 2147483647 149198 14 | 0.453 % |
125.80/125.97 c | 149427 | 7914 459139 3263969 | 2147483647 149374 14 | 0.453 % |
125.90/126.03 c | 149620 | 7914 459139 3263969 | 2147483647 149567 14 | 0.453 % |
125.90/126.06 c | 149832 | 7914 459139 3263969 | 2147483647 149779 14 | 0.453 % |
126.10/126.25 c | 150065 | 7914 459139 3263969 | 2147483647 150012 14 | 0.453 % |
126.20/126.38 c | 150321 | 7914 459139 3263969 | 2147483647 150268 14 | 0.453 % |
126.31/126.44 c | 150602 | 7914 459139 3263969 | 2147483647 150549 14 | 0.453 % |
126.31/126.50 c | 150912 | 7913 459139 3263969 | 2147483647 150858 14 | 0.465 % |
126.50/126.63 c | 151253 | 7913 459139 3263969 | 2147483647 151199 14 | 0.465 % |
126.70/126.82 c | 151626 | 7913 459139 3263969 | 2147483647 151572 14 | 0.465 % |
126.90/127.02 c | 152036 | 7913 459139 3263969 | 2147483647 151982 14 | 0.465 % |
127.10/127.20 c | 152486 | 7913 459139 3263969 | 2147483647 152432 14 | 0.465 % |
127.10/127.28 c | 152979 | 7913 459139 3263969 | 2147483647 152925 14 | 0.465 % |
127.40/127.54 c | 153522 | 7913 459139 3263969 | 2147483647 153468 14 | 0.465 % |
127.70/127.88 c | 154118 | 7913 459019 3263659 | 2147483647 154055 14 | 0.465 % |
127.90/128.01 c | 154773 | 7913 459019 3263659 | 2147483647 154710 14 | 0.465 % |
128.10/128.27 c | 155495 | 7913 459019 3263659 | 2147483647 155432 14 | 0.465 % |
128.40/128.57 c | 156288 | 7913 459019 3263659 | 2147483647 156225 14 | 0.465 % |
128.60/128.78 c | 157159 | 7913 459019 3263659 | 2147483647 157096 14 | 0.465 % |
128.80/128.94 c | 158118 | 7913 459019 3263659 | 2147483647 158055 14 | 0.465 % |
129.10/129.23 c | 159171 | 7913 459019 3263659 | 2147483647 159108 14 | 0.465 % |
129.60/129.71 c | 160330 | 7912 459019 3263659 | 2147483647 160266 14 | 0.478 % |
130.09/130.20 c | 161604 | 7912 459019 3263659 | 2147483647 161540 14 | 0.478 % |
130.89/131.02 c | 163005 | 7912 459019 3263659 | 2147483647 162941 15 | 0.478 % |
131.90/132.00 c | 164546 | 7912 459019 3263659 | 2147483647 164482 15 | 0.478 % |
134.29/134.49 c | 166240 | 7912 459019 3263659 | 2147483647 166176 16 | 0.478 % |
134.39/134.51 c | 166340 | 7912 459019 3263659 | 2147483647 166276 16 | 0.478 % |
134.39/134.54 c | 166451 | 7912 459019 3263659 | 2147483647 166387 16 | 0.478 % |
134.39/134.58 c | 166572 | 7912 459019 3263659 | 2147483647 166508 16 | 0.478 % |
134.49/134.60 c | 166707 | 7912 459019 3263659 | 2147483647 166643 16 | 0.478 % |
134.49/134.64 c | 166855 | 7912 459019 3263659 | 2147483647 166791 16 | 0.478 % |
134.59/134.72 c | 167016 | 7911 459019 3263659 | 2147483647 166951 16 | 0.491 % |
134.59/134.76 c | 167193 | 7911 459019 3263659 | 2147483647 167128 16 | 0.491 % |
134.59/134.77 c | 167388 | 7911 459019 3263659 | 2147483647 167323 16 | 0.491 % |
134.69/134.85 c | 167601 | 7911 459019 3263659 | 2147483647 167536 16 | 0.491 % |
134.79/134.94 c | 167834 | 7911 459019 3263659 | 2147483647 167769 16 | 0.491 % |
134.89/135.03 c | 168090 | 7911 459019 3263659 | 2147483647 168025 16 | 0.491 % |
134.99/135.20 c | 168371 | 7911 459019 3263659 | 2147483647 168306 16 | 0.491 % |
135.19/135.35 c | 168681 | 7911 459019 3263659 | 2147483647 168616 16 | 0.491 % |
135.19/135.39 c | 169020 | 7911 459019 3263659 | 2147483647 168955 16 | 0.491 % |
135.39/135.55 c | 169393 | 7911 459019 3263659 | 2147483647 169328 16 | 0.491 % |
135.49/135.69 c | 169802 | 7911 459019 3263659 | 2147483647 169737 16 | 0.491 % |
135.59/135.77 c | 170252 | 7911 459019 3263659 | 2147483647 170187 16 | 0.491 % |
135.80/135.95 c | 170745 | 7911 459019 3263659 | 2147483647 170680 16 | 0.491 % |
135.90/136.08 c | 171287 | 7911 459019 3263659 | 2147483647 171222 16 | 0.491 % |
136.09/136.29 c | 171883 | 7911 459019 3263659 | 2147483647 171818 16 | 0.491 % |
136.30/136.45 c | 172538 | 7911 459019 3263659 | 2147483647 172473 16 | 0.491 % |
136.59/136.74 c | 173258 | 7911 459019 3263659 | 2147483647 173193 16 | 0.491 % |
136.99/137.11 c | 174051 | 7911 459019 3263659 | 2147483647 173986 16 | 0.491 % |
137.30/137.49 c | 174922 | 7911 459019 3263659 | 2147483647 174857 16 | 0.491 % |
137.49/137.63 c | 175880 | 7911 459019 3263659 | 2147483647 175815 16 | 0.491 % |
137.69/137.81 c | 176935 | 7910 459019 3263659 | 2147483647 176869 16 | 0.503 % |
138.09/138.25 c | 178094 | 7910 459019 3263659 | 2147483647 178028 16 | 0.503 % |
138.40/138.51 c | 179367 | 7910 459019 3263659 | 2147483647 179301 16 | 0.503 % |
138.79/138.90 c | 180767 | 7910 459019 3263659 | 2147483647 180701 16 | 0.503 % |
139.29/139.44 c | 182308 | 7910 459019 3263659 | 2147483647 182242 16 | 0.503 % |
139.89/140.02 c | 184002 | 7910 459019 3263659 | 2147483647 183936 16 | 0.503 % |
140.99/141.16 c | 185866 | 7910 459019 3263659 | 2147483647 185800 16 | 0.503 % |
141.09/141.22 c | 185967 | 7910 459019 3263659 | 2147483647 185901 16 | 0.503 % |
141.09/141.27 c | 186079 | 7910 459019 3263659 | 2147483647 186013 16 | 0.503 % |
141.19/141.32 c | 186200 | 7910 459019 3263659 | 2147483647 186134 16 | 0.503 % |
141.19/141.39 c | 186334 | 7910 459019 3263659 | 2147483647 186268 16 | 0.503 % |
141.29/141.46 c | 186481 | 7910 459019 3263659 | 2147483647 186415 16 | 0.503 % |
141.39/141.53 c | 186641 | 7910 459019 3263659 | 2147483647 186575 16 | 0.503 % |
141.39/141.59 c | 186817 | 7910 459019 3263659 | 2147483647 186751 16 | 0.503 % |
141.59/141.70 c | 187011 | 7910 459019 3263659 | 2147483647 186945 16 | 0.503 % |
141.59/141.78 c | 187223 | 7910 459019 3263659 | 2147483647 187157 16 | 0.503 % |
141.69/141.86 c | 187456 | 7910 459019 3263659 | 2147483647 187390 16 | 0.503 % |
141.79/141.94 c | 187713 | 7910 459019 3263659 | 2147483647 187647 16 | 0.503 % |
141.89/142.06 c | 187994 | 7910 459019 3263659 | 2147483647 187928 16 | 0.503 % |
141.99/142.15 c | 188303 | 7910 459019 3263659 | 2147483647 188237 16 | 0.503 % |
142.19/142.35 c | 188642 | 7910 459019 3263659 | 2147483647 188576 16 | 0.503 % |
142.39/142.50 c | 189014 | 7910 459019 3263659 | 2147483647 188948 16 | 0.503 % |
142.49/142.67 c | 189425 | 7910 459019 3263659 | 2147483647 189359 16 | 0.503 % |
143.19/143.30 c | 189874 | 7910 459019 3263659 | 2147483647 189808 17 | 0.503 % |
143.29/143.42 c | 190367 | 7910 459019 3263659 | 2147483647 190301 17 | 0.503 % |
143.49/143.61 c | 190909 | 7910 459019 3263659 | 2147483647 190843 17 | 0.503 % |
143.69/143.84 c | 191507 | 7910 459019 3263659 | 2147483647 191441 17 | 0.503 % |
143.79/143.95 c | 192163 | 7910 459019 3263659 | 2147483647 192097 17 | 0.503 % |
144.09/144.27 c | 192883 | 7910 459019 3263659 | 2147483647 192817 17 | 0.503 % |
144.49/144.64 c | 193676 | 7910 459019 3263659 | 2147483647 193610 17 | 0.503 % |
144.78/144.97 c | 194548 | 7910 459019 3263659 | 2147483647 194482 17 | 0.503 % |
145.28/145.40 c | 195507 | 7910 459019 3263659 | 2147483647 195441 17 | 0.503 % |
145.58/145.75 c | 196560 | 7910 459019 3263659 | 2147483647 196494 17 | 0.503 % |
146.19/146.36 c | 197718 | 7910 459019 3263659 | 2147483647 197652 17 | 0.503 % |
146.68/146.80 c | 198991 | 7910 459019 3263659 | 2147483647 198925 17 | 0.503 % |
147.19/147.34 c | 200391 | 7910 459019 3263659 | 2147483647 200325 16 | 0.503 % |
148.48/148.65 c | 201932 | 7910 459019 3263659 | 2147483647 201866 17 | 0.503 % |
148.88/149.00 c | 203627 | 7910 459019 3263659 | 2147483647 203561 17 | 0.503 % |
149.49/149.62 c | 205491 | 7909 459019 3263659 | 2147483647 205424 17 | 0.516 % |
150.49/150.66 c | 207540 | 7909 459019 3263659 | 2147483647 207473 17 | 0.516 % |
150.59/150.71 c | 207641 | 7909 459019 3263659 | 2147483647 207574 17 | 0.516 % |
150.59/150.78 c | 207752 | 7909 459019 3263659 | 2147483647 207685 17 | 0.516 % |
150.69/150.82 c | 207874 | 7909 459019 3263659 | 2147483647 207807 17 | 0.516 % |
150.69/150.87 c | 208007 | 7909 459019 3263659 | 2147483647 207940 17 | 0.516 % |
150.78/150.98 c | 208153 | 7909 459019 3263659 | 2147483647 208086 17 | 0.516 % |
150.88/151.06 c | 208314 | 7909 459019 3263659 | 2147483647 208247 17 | 0.516 % |
150.98/151.11 c | 208490 | 7909 459019 3263659 | 2147483647 208423 17 | 0.516 % |
150.98/151.18 c | 208683 | 7908 459019 3263659 | 2147483647 208615 17 | 0.528 % |
151.08/151.25 c | 208895 | 7908 459019 3263659 | 2147483647 208827 17 | 0.528 % |
151.18/151.35 c | 209128 | 7908 459019 3263659 | 2147483647 209060 17 | 0.528 % |
151.28/151.45 c | 209384 | 7908 459019 3263659 | 2147483647 209316 17 | 0.528 % |
151.38/151.50 c | 209665 | 7908 459019 3263659 | 2147483647 209597 17 | 0.528 % |
151.48/151.67 c | 209974 | 7908 459019 3263659 | 2147483647 209906 17 | 0.528 % |
151.59/151.76 c | 210314 | 7907 459019 3263659 | 2147483647 210245 17 | 0.541 % |
151.78/151.97 c | 210686 | 7907 459019 3263659 | 2147483647 210617 17 | 0.541 % |
152.08/152.21 c | 211096 | 7907 459019 3263659 | 2147483647 211027 17 | 0.541 % |
152.28/152.47 c | 211545 | 7907 459019 3263659 | 2147483647 211476 17 | 0.541 % |
152.69/152.85 c | 212038 | 7907 459019 3263659 | 2147483647 211969 17 | 0.541 % |
153.28/153.44 c | 212580 | 7906 458935 3263442 | 2147483647 212503 17 | 0.553 % |
153.48/153.65 c | 213176 | 7906 458935 3263442 | 2147483647 213099 17 | 0.553 % |
153.68/153.82 c | 213832 | 7906 458935 3263442 | 2147483647 213755 17 | 0.553 % |
153.98/154.17 c | 214552 | 7906 458935 3263442 | 2147483647 214475 17 | 0.553 % |
154.88/155.03 c | 215344 | 7906 458935 3263442 | 2147483647 215267 17 | 0.553 % |
155.38/155.52 c | 216215 | 7906 458935 3263442 | 2147483647 216138 17 | 0.553 % |
155.78/155.90 c | 217173 | 7905 458935 3263442 | 2147483647 217095 17 | 0.566 % |
155.98/156.15 c | 218226 | 7905 458935 3263442 | 2147483647 218148 17 | 0.566 % |
156.38/156.59 c | 219385 | 7905 458935 3263442 | 2147483647 219307 17 | 0.566 % |
157.68/157.80 c | 220658 | 7905 458935 3263442 | 2147483647 220580 17 | 0.566 % |
160.49/160.65 c | 222059 | 7904 458935 3263442 | 2147483647 221980 19 | 0.579 % |
162.18/162.30 c | 223600 | 7904 458935 3263442 | 2147483647 223521 19 | 0.579 % |
162.78/162.91 c | 225295 | 7904 458935 3263442 | 2147483647 225216 19 | 0.579 % |
163.88/164.03 c | 227158 | 7904 458935 3263442 | 2147483647 227079 19 | 0.579 % |
165.17/165.35 c | 229208 | 7904 458935 3263442 | 2147483647 229129 19 | 0.579 % |
166.67/166.81 c | 231462 | 7903 458935 3263442 | 2147483647 231382 19 | 0.591 % |
166.67/166.83 c | 231562 | 7903 458935 3263442 | 2147483647 231482 19 | 0.591 % |
166.78/166.92 c | 231672 | 7903 458935 3263442 | 2147483647 231592 19 | 0.591 % |
166.78/166.96 c | 231793 | 7903 458935 3263442 | 2147483647 231713 19 | 0.591 % |
166.87/167.02 c | 231926 | 7903 458935 3263442 | 2147483647 231846 19 | 0.591 % |
166.98/167.10 c | 232073 | 7903 458935 3263442 | 2147483647 231993 19 | 0.591 % |
166.98/167.14 c | 232234 | 7903 458935 3263442 | 2147483647 232154 19 | 0.591 % |
167.08/167.29 c | 232412 | 7903 458935 3263442 | 2147483647 232332 19 | 0.591 % |
167.27/167.40 c | 232606 | 7903 458935 3263442 | 2147483647 232526 19 | 0.591 % |
167.27/167.46 c | 232820 | 7903 458935 3263442 | 2147483647 232740 19 | 0.591 % |
167.37/167.58 c | 233053 | 7903 458935 3263442 | 2147483647 232973 19 | 0.591 % |
167.77/167.94 c | 233310 | 7903 458935 3263442 | 2147483647 233230 19 | 0.591 % |
167.87/168.05 c | 233591 | 7903 458935 3263442 | 2147483647 233511 19 | 0.591 % |
167.97/168.17 c | 233900 | 7903 458935 3263442 | 2147483647 233820 19 | 0.591 % |
168.07/168.27 c | 234240 | 7903 458935 3263442 | 2147483647 234160 19 | 0.591 % |
168.37/168.53 c | 234612 | 7903 458935 3263442 | 2147483647 234532 19 | 0.591 % |
168.57/168.71 c | 235021 | 7903 458935 3263442 | 2147483647 234941 19 | 0.591 % |
168.67/168.81 c | 235473 | 7903 458935 3263442 | 2147483647 235393 19 | 0.591 % |
169.27/169.45 c | 235967 | 7903 458935 3263442 | 2147483647 235887 19 | 0.591 % |
169.47/169.64 c | 236509 | 7903 458935 3263442 | 2147483647 236429 19 | 0.591 % |
169.67/169.81 c | 237105 | 7903 458935 3263442 | 2147483647 237025 19 | 0.591 % |
169.87/170.02 c | 237761 | 7903 458935 3263442 | 2147483647 237681 19 | 0.591 % |
170.17/170.32 c | 238481 | 7903 458935 3263442 | 2147483647 238401 19 | 0.591 % |
170.47/170.67 c | 239273 | 7903 458935 3263442 | 2147483647 239193 19 | 0.591 % |
171.37/171.53 c | 240144 | 7903 458935 3263442 | 2147483647 240064 19 | 0.591 % |
171.97/172.15 c | 241103 | 7903 458935 3263442 | 2147483647 241023 19 | 0.591 % |
172.87/173.07 c | 242157 | 7903 458935 3263442 | 2147483647 242077 19 | 0.591 % |
173.67/173.90 c | 243317 | 7903 458935 3263442 | 2147483647 243237 19 | 0.591 % |
174.68/174.87 c | 244590 | 7903 458935 3263442 | 2147483647 244510 19 | 0.591 % |
176.57/176.75 c | 245990 | 7903 458935 3263442 | 2147483647 245910 19 | 0.591 % |
177.37/177.58 c | 247530 | 7903 458935 3263442 | 2147483647 247450 19 | 0.591 % |
178.17/178.30 c | 249226 | 7903 458935 3263442 | 2147483647 249146 19 | 0.591 % |
179.77/179.99 c | 251089 | 7903 458935 3263442 | 2147483647 251009 20 | 0.591 % |
180.17/180.33 c | 253138 | 7903 458935 3263442 | 2147483647 253058 20 | 0.591 % |
181.27/181.48 c | 255391 | 7903 458935 3263442 | 2147483647 255311 19 | 0.591 % |
182.07/182.29 c | 257869 | 7903 458935 3263442 | 2147483647 257789 19 | 0.591 % |
182.17/182.31 c | 257969 | 7903 458935 3263442 | 2147483647 257889 19 | 0.591 % |
182.17/182.37 c | 258080 | 7903 458935 3263442 | 2147483647 258000 19 | 0.591 % |
182.27/182.40 c | 258201 | 7903 458935 3263442 | 2147483647 258121 19 | 0.591 % |
182.27/182.50 c | 258335 | 7903 458935 3263442 | 2147483647 258255 19 | 0.591 % |
182.37/182.56 c | 258482 | 7903 458935 3263442 | 2147483647 258402 19 | 0.591 % |
182.47/182.62 c | 258643 | 7903 458935 3263442 | 2147483647 258563 19 | 0.591 % |
182.57/182.75 c | 258820 | 7903 458935 3263442 | 2147483647 258740 19 | 0.591 % |
182.67/182.84 c | 259013 | 7903 458935 3263442 | 2147483647 258933 19 | 0.591 % |
182.77/182.90 c | 259225 | 7903 458935 3263442 | 2147483647 259145 19 | 0.591 % |
182.87/183.07 c | 259458 | 7903 458935 3263442 | 2147483647 259378 19 | 0.591 % |
183.07/183.20 c | 259714 | 7903 458935 3263442 | 2147483647 259634 19 | 0.591 % |
183.17/183.33 c | 259995 | 7903 458935 3263442 | 2147483647 259915 19 | 0.591 % |
183.37/183.54 c | 260304 | 7903 458935 3263442 | 2147483647 260224 19 | 0.591 % |
183.47/183.66 c | 260644 | 7903 458935 3263442 | 2147483647 260564 19 | 0.591 % |
183.97/184.11 c | 261018 | 7903 458935 3263442 | 2147483647 260938 20 | 0.591 % |
184.27/184.42 c | 261427 | 7903 458935 3263442 | 2147483647 261347 20 | 0.591 % |
184.37/184.57 c | 261877 | 7903 458935 3263442 | 2147483647 261797 20 | 0.591 % |
184.67/184.83 c | 262371 | 7903 458935 3263442 | 2147483647 262291 20 | 0.591 % |
184.87/185.10 c | 262913 | 7903 458935 3263442 | 2147483647 262833 19 | 0.591 % |
185.17/185.39 c | 263509 | 7903 458935 3263442 | 2147483647 263429 19 | 0.591 % |
185.57/185.72 c | 264167 | 7903 458935 3263442 | 2147483647 264087 19 | 0.591 % |
185.87/186.02 c | 264887 | 7903 458935 3263442 | 2147483647 264807 19 | 0.591 % |
186.07/186.26 c | 265682 | 7903 458935 3263442 | 2147483647 265602 19 | 0.591 % |
186.47/186.64 c | 266553 | 7903 458935 3263442 | 2147483647 266473 19 | 0.591 % |
187.47/187.67 c | 267513 | 7903 458935 3263442 | 2147483647 267433 19 | 0.591 % |
189.77/189.94 c | 268566 | 7903 458935 3263442 | 2147483647 268486 20 | 0.591 % |
190.07/190.20 c | 269725 | 7903 458935 3263442 | 2147483647 269645 20 | 0.591 % |
190.87/191.08 c | 270998 | 7903 458899 3263349 | 2147483647 270912 20 | 0.591 % |
191.57/191.73 c | 272398 | 7903 458899 3263349 | 2147483647 272312 20 | 0.591 % |
192.66/192.89 c | 273938 | 7903 458899 3263349 | 2147483647 273852 20 | 0.591 % |
193.66/193.83 c | 275632 | 7903 458899 3263349 | 2147483647 275546 20 | 0.591 % |
195.36/195.57 c | 277495 | 7903 458899 3263349 | 2147483647 277409 20 | 0.591 % |
195.96/196.14 c | 279544 | 7903 458899 3263349 | 2147483647 279458 20 | 0.591 % |
198.46/198.65 c | 281797 | 7903 458899 3263349 | 2147483647 281711 20 | 0.591 % |
199.76/199.99 c | 284276 | 7903 458899 3263349 | 2147483647 284190 20 | 0.591 % |
200.95/201.15 c | 287001 | 7903 458899 3263349 | 2147483647 286915 20 | 0.591 % |
200.95/201.20 c | 287101 | 7903 458899 3263349 | 2147483647 287015 20 | 0.591 % |
201.06/201.28 c | 287211 | 7903 458899 3263349 | 2147483647 287125 20 | 0.591 % |
201.16/201.38 c | 287333 | 7903 458899 3263349 | 2147483647 287247 20 | 0.591 % |
201.26/201.46 c | 287467 | 7903 458899 3263349 | 2147483647 287381 20 | 0.591 % |
201.45/201.62 c | 287613 | 7903 458899 3263349 | 2147483647 287527 20 | 0.591 % |
201.55/201.71 c | 287774 | 7903 458899 3263349 | 2147483647 287688 20 | 0.591 % |
201.65/201.81 c | 287950 | 7903 458899 3263349 | 2147483647 287864 20 | 0.591 % |
201.75/201.95 c | 288144 | 7903 458899 3263349 | 2147483647 288058 20 | 0.591 % |
201.95/202.10 c | 288356 | 7902 458899 3263349 | 2147483647 288269 20 | 0.604 % |
201.95/202.12 c | 288590 | 7902 458899 3263349 | 2147483647 288503 20 | 0.604 % |
201.95/202.17 c | 288847 | 7902 458899 3263349 | 2147483647 288760 20 | 0.604 % |
202.26/202.44 c | 289129 | 7902 458899 3263349 | 2147483647 289042 20 | 0.604 % |
202.36/202.52 c | 289438 | 7902 458899 3263349 | 2147483647 289351 20 | 0.604 % |
202.36/202.59 c | 289778 | 7902 458899 3263349 | 2147483647 289691 20 | 0.604 % |
202.56/202.72 c | 290151 | 7902 458899 3263349 | 2147483647 290064 20 | 0.604 % |
202.66/202.83 c | 290560 | 7902 458899 3263349 | 2147483647 290473 20 | 0.604 % |
202.86/203.05 c | 291009 | 7902 458899 3263349 | 2147483647 290922 20 | 0.604 % |
203.05/203.22 c | 291502 | 7902 458899 3263349 | 2147483647 291415 20 | 0.604 % |
203.26/203.41 c | 292044 | 7902 458899 3263349 | 2147483647 291957 20 | 0.604 % |
203.55/203.77 c | 292641 | 7902 458899 3263349 | 2147483647 292554 20 | 0.604 % |
204.25/204.43 c | 293297 | 7902 458899 3263349 | 2147483647 293210 20 | 0.604 % |
204.55/204.70 c | 294019 | 7902 458899 3263349 | 2147483647 293932 20 | 0.604 % |
205.25/205.41 c | 294811 | 7902 458899 3263349 | 2147483647 294724 20 | 0.604 % |
205.75/205.91 c | 295682 | 7902 458899 3263349 | 2147483647 295595 20 | 0.604 % |
207.05/207.25 c | 296641 | 7902 458899 3263349 | 2147483647 296554 20 | 0.604 % |
207.45/207.60 c | 297695 | 7902 458899 3263349 | 2147483647 297608 20 | 0.604 % |
207.95/208.16 c | 298854 | 7902 458899 3263349 | 2147483647 298767 20 | 0.604 % |
208.75/208.96 c | 300130 | 7902 458899 3263349 | 2147483647 300043 20 | 0.604 % |
211.85/212.02 c | 301530 | 7902 458899 3263349 | 2147483647 301443 21 | 0.604 % |
212.35/212.59 c | 303070 | 7902 458899 3263349 | 2147483647 302983 21 | 0.604 % |
213.16/213.36 c | 304764 | 7902 458899 3263349 | 2147483647 304677 21 | 0.604 % |
214.45/214.66 c | 306628 | 7902 458899 3263349 | 2147483647 306541 21 | 0.604 % |
216.15/216.31 c | 308677 | 7901 458899 3263349 | 2147483647 308589 21 | 0.616 % |
217.25/217.48 c | 310930 | 7901 458899 3263349 | 2147483647 310842 21 | 0.616 % |
220.25/220.40 c | 313408 | 7901 458899 3263349 | 2147483647 313320 22 | 0.616 % |
221.05/221.20 c | 316135 | 7901 458899 3263349 | 2147483647 316047 22 | 0.616 % |
222.95/223.10 c | 319132 | 7901 458899 3263349 | 2147483647 319044 22 | 0.616 % |
222.95/223.15 c | 319233 | 7901 458899 3263349 | 2147483647 319145 22 | 0.616 % |
222.95/223.20 c | 319344 | 7901 458899 3263349 | 2147483647 319256 22 | 0.616 % |
223.05/223.24 c | 319465 | 7901 458899 3263349 | 2147483647 319377 22 | 0.616 % |
223.15/223.37 c | 319600 | 7901 458899 3263349 | 2147483647 319512 22 | 0.616 % |
223.25/223.42 c | 319747 | 7901 458899 3263349 | 2147483647 319659 22 | 0.616 % |
223.35/223.53 c | 319907 | 7901 458899 3263349 | 2147483647 319819 22 | 0.616 % |
223.45/223.63 c | 320083 | 7901 458899 3263349 | 2147483647 319995 22 | 0.616 % |
223.55/223.70 c | 320277 | 7901 458899 3263349 | 2147483647 320189 22 | 0.616 % |
223.65/223.84 c | 320489 | 7901 458899 3263349 | 2147483647 320401 22 | 0.616 % |
223.75/223.97 c | 320722 | 7901 458899 3263349 | 2147483647 320634 22 | 0.616 % |
224.04/224.20 c | 320978 | 7901 458899 3263349 | 2147483647 320890 22 | 0.616 % |
224.15/224.36 c | 321261 | 7901 458899 3263349 | 2147483647 321173 22 | 0.616 % |
224.44/224.66 c | 321570 | 7901 458899 3263349 | 2147483647 321482 22 | 0.616 % |
224.64/224.88 c | 321909 | 7901 458899 3263349 | 2147483647 321821 22 | 0.616 % |
224.74/224.97 c | 322282 | 7901 458899 3263349 | 2147483647 322194 22 | 0.616 % |
224.94/225.18 c | 322692 | 7901 458899 3263349 | 2147483647 322604 22 | 0.616 % |
225.14/225.35 c | 323141 | 7901 458899 3263349 | 2147483647 323053 22 | 0.616 % |
225.35/225.56 c | 323635 | 7901 458899 3263349 | 2147483647 323547 22 | 0.616 % |
225.74/225.93 c | 324178 | 7901 458899 3263349 | 2147483647 324090 22 | 0.616 % |
225.94/226.16 c | 324776 | 7901 458899 3263349 | 2147483647 324688 22 | 0.616 % |
226.45/226.66 c | 325432 | 7901 458899 3263349 | 2147483647 325344 22 | 0.616 % |
226.84/227.06 c | 326152 | 7901 458899 3263349 | 2147483647 326064 22 | 0.616 % |
227.24/227.45 c | 326945 | 7901 458899 3263349 | 2147483647 326857 21 | 0.616 % |
227.94/228.10 c | 327817 | 7901 458899 3263349 | 2147483647 327729 22 | 0.616 % |
228.64/228.81 c | 328775 | 7901 458899 3263349 | 2147483647 328687 22 | 0.616 % |
228.74/228.99 c | 329828 | 7901 458899 3263349 | 2147483647 329740 22 | 0.616 % |
229.94/230.15 c | 330986 | 7901 458899 3263349 | 2147483647 330898 22 | 0.616 % |
230.84/231.06 c | 332260 | 7901 458899 3263349 | 2147483647 332172 22 | 0.616 % |
232.45/232.67 c | 333661 | 7901 458899 3263349 | 2147483647 333573 22 | 0.616 % |
233.35/233.55 c | 335201 | 7901 458899 3263349 | 2147483647 335113 22 | 0.616 % |
234.15/234.35 c | 336896 | 7901 458899 3263349 | 2147483647 336808 22 | 0.616 % |
235.35/235.56 c | 338759 | 7901 458899 3263349 | 2147483647 338671 21 | 0.616 % |
237.04/237.27 c | 340808 | 7901 458899 3263349 | 2147483647 340720 21 | 0.616 % |
238.14/238.35 c | 343062 | 7901 458899 3263349 | 2147483647 342974 22 | 0.616 % |
238.74/238.97 c | 345540 | 7901 458899 3263349 | 2147483647 345452 22 | 0.616 % |
239.64/239.88 c | 348265 | 7900 458899 3263349 | 2147483647 348176 22 | 0.629 % |
242.04/242.25 c | 351263 | 7900 458899 3263349 | 2147483647 351174 22 | 0.629 % |
245.14/245.30 c | 354561 | 7900 458899 3263349 | 2147483647 354472 22 | 0.629 % |
245.34/245.51 c | 354661 | 7900 458863 3263256 | 2147483647 354569 22 | 0.629 % |
245.34/245.58 c | 354771 | 7900 458863 3263256 | 2147483647 354679 22 | 0.629 % |
245.43/245.62 c | 354893 | 7900 458863 3263256 | 2147483647 354801 22 | 0.629 % |
245.53/245.72 c | 355027 | 7900 458863 3263256 | 2147483647 354935 22 | 0.629 % |
245.63/245.83 c | 355174 | 7900 458863 3263256 | 2147483647 355082 22 | 0.629 % |
245.73/245.99 c | 355336 | 7900 458863 3263256 | 2147483647 355244 22 | 0.629 % |
245.93/246.14 c | 355514 | 7900 458863 3263256 | 2147483647 355422 22 | 0.629 % |
245.93/246.19 c | 355709 | 7900 458863 3263256 | 2147483647 355617 22 | 0.629 % |
246.14/246.33 c | 355921 | 7900 458863 3263256 | 2147483647 355829 22 | 0.629 % |
246.14/246.38 c | 356154 | 7900 458863 3263256 | 2147483647 356062 22 | 0.629 % |
246.24/246.49 c | 356412 | 7900 458863 3263256 | 2147483647 356320 22 | 0.629 % |
246.33/246.56 c | 356693 | 7900 458863 3263256 | 2147483647 356601 22 | 0.629 % |
246.53/246.70 c | 357003 | 7900 458863 3263256 | 2147483647 356911 22 | 0.629 % |
246.83/247.05 c | 357343 | 7900 458863 3263256 | 2147483647 357251 22 | 0.629 % |
247.03/247.21 c | 357716 | 7900 458863 3263256 | 2147483647 357624 22 | 0.629 % |
247.13/247.32 c | 358127 | 7900 458863 3263256 | 2147483647 358035 22 | 0.629 % |
247.24/247.48 c | 358576 | 7900 458863 3263256 | 2147483647 358484 22 | 0.629 % |
247.53/247.79 c | 359070 | 7900 458863 3263256 | 2147483647 358978 22 | 0.629 % |
247.93/248.15 c | 359613 | 7900 458863 3263256 | 2147483647 359521 22 | 0.629 % |
248.13/248.35 c | 360209 | 7900 458863 3263256 | 2147483647 360117 22 | 0.629 % |
248.53/248.73 c | 360864 | 7900 458863 3263256 | 2147483647 360772 22 | 0.629 % |
248.94/249.12 c | 361585 | 7899 458863 3263256 | 2147483647 361492 22 | 0.642 % |
249.24/249.49 c | 362378 | 7899 458863 3263256 | 2147483647 362285 22 | 0.642 % |
249.94/250.16 c | 363249 | 7899 458863 3263256 | 2147483647 363156 22 | 0.642 % |
250.34/250.58 c | 364207 | 7899 458863 3263256 | 2147483647 364114 22 | 0.642 % |
250.94/251.10 c | 365261 | 7899 458863 3263256 | 2147483647 365168 22 | 0.642 % |
252.14/252.34 c | 366419 | 7899 458863 3263256 | 2147483647 366326 22 | 0.642 % |
254.43/254.65 c | 367692 | 7899 458863 3263256 | 2147483647 367599 22 | 0.642 % |
255.43/255.65 c | 369093 | 7899 458863 3263256 | 2147483647 369000 22 | 0.642 % |
258.63/258.80 c | 370634 | 7899 458863 3263256 | 2147483647 370541 22 | 0.642 % |
259.33/259.52 c | 372329 | 7899 458863 3263256 | 2147483647 372236 22 | 0.642 % |
260.03/260.26 c | 374192 | 7899 458863 3263256 | 2147483647 374099 22 | 0.642 % |
261.83/262.06 c | 376241 | 7899 458863 3263256 | 2147483647 376148 22 | 0.642 % |
263.43/263.61 c | 378496 | 7899 458863 3263256 | 2147483647 378403 22 | 0.642 % |
265.13/265.38 c | 380975 | 7899 458863 3263256 | 2147483647 380882 22 | 0.642 % |
267.03/267.22 c | 383701 | 7899 458863 3263256 | 2147483647 383608 22 | 0.642 % |
272.23/272.49 c | 386698 | 7899 458863 3263256 | 2147483647 386605 22 | 0.642 % |
278.53/278.77 c | 389994 | 7899 458863 3263256 | 2147483647 389901 22 | 0.642 % |
281.52/281.76 c | 393619 | 7899 458863 3263256 | 2147483647 393526 22 | 0.642 % |
281.62/281.80 c | 393720 | 7899 458863 3263256 | 2147483647 393627 22 | 0.642 % |
281.62/281.85 c | 393831 | 7899 458863 3263256 | 2147483647 393738 22 | 0.642 % |
281.72/281.92 c | 393955 | 7899 458863 3263256 | 2147483647 393862 22 | 0.642 % |
281.82/282.03 c | 394088 | 7899 458863 3263256 | 2147483647 393995 22 | 0.642 % |
281.92/282.13 c | 394234 | 7899 458863 3263256 | 2147483647 394141 22 | 0.642 % |
281.92/282.17 c | 394395 | 7899 458863 3263256 | 2147483647 394302 22 | 0.642 % |
282.12/282.31 c | 394573 | 7899 458863 3263256 | 2147483647 394480 22 | 0.642 % |
282.22/282.40 c | 394766 | 7899 458863 3263256 | 2147483647 394673 22 | 0.642 % |
282.22/282.50 c | 394978 | 7899 458863 3263256 | 2147483647 394885 22 | 0.642 % |
282.43/282.66 c | 395211 | 7899 458863 3263256 | 2147483647 395118 22 | 0.642 % |
282.53/282.78 c | 395468 | 7899 458863 3263256 | 2147483647 395375 22 | 0.642 % |
282.72/282.94 c | 395749 | 7899 458863 3263256 | 2147483647 395656 22 | 0.642 % |
282.92/283.16 c | 396058 | 7899 458863 3263256 | 2147483647 395965 22 | 0.642 % |
283.22/283.43 c | 396397 | 7899 458863 3263256 | 2147483647 396304 22 | 0.642 % |
283.32/283.52 c | 396770 | 7899 458863 3263256 | 2147483647 396677 22 | 0.642 % |
283.42/283.70 c | 397180 | 7899 458863 3263256 | 2147483647 397087 22 | 0.642 % |
283.72/283.92 c | 397629 | 7899 458863 3263256 | 2147483647 397536 22 | 0.642 % |
284.32/284.60 c | 398124 | 7899 458863 3263256 | 2147483647 398031 22 | 0.642 % |
284.72/284.98 c | 398668 | 7899 458863 3263256 | 2147483647 398575 22 | 0.642 % |
285.02/285.25 c | 399264 | 7899 458863 3263256 | 2147483647 399171 22 | 0.642 % |
285.42/285.64 c | 399921 | 7899 458863 3263256 | 2147483647 399828 22 | 0.642 % |
286.12/286.37 c | 400642 | 7899 458863 3263256 | 2147483647 400549 22 | 0.642 % |
286.62/286.81 c | 401434 | 7899 458863 3263256 | 2147483647 401341 22 | 0.642 % |
287.52/287.71 c | 402306 | 7899 458863 3263256 | 2147483647 402213 22 | 0.642 % |
287.82/288.10 c | 403264 | 7899 458863 3263256 | 2147483647 403171 22 | 0.642 % |
288.72/288.90 c | 404318 | 7899 458863 3263256 | 2147483647 404225 22 | 0.642 % |
289.91/290.10 c | 405477 | 7899 458863 3263256 | 2147483647 405384 22 | 0.642 % |
291.11/291.31 c | 406750 | 7899 458863 3263256 | 2147483647 406657 22 | 0.642 % |
292.02/292.28 c | 408151 | 7899 458863 3263256 | 2147483647 408058 22 | 0.642 % |
295.62/295.89 c | 409692 | 7899 458863 3263256 | 2147483647 409599 22 | 0.642 % |
296.62/296.81 c | 411388 | 7899 458863 3263256 | 2147483647 411295 22 | 0.642 % |
298.21/298.49 c | 413251 | 7899 458863 3263256 | 2147483647 413158 22 | 0.642 % |
299.11/299.31 c | 415300 | 7899 458863 3263256 | 2147483647 415207 22 | 0.642 % |
300.41/300.65 c | 417553 | 7899 458863 3263256 | 2147483647 417460 22 | 0.642 % |
304.01/304.26 c | 420031 | 7899 458863 3263256 | 2147483647 419938 22 | 0.642 % |
305.81/306.07 c | 422757 | 7899 458863 3263256 | 2147483647 422664 22 | 0.642 % |
311.71/311.98 c | 425754 | 7899 458863 3263256 | 2147483647 425661 23 | 0.642 % |
313.41/313.67 c | 429051 | 7899 458863 3263256 | 2147483647 428958 23 | 0.642 % |
316.52/316.78 c | 432676 | 7899 458863 3263256 | 2147483647 432583 23 | 0.642 % |
321.71/321.99 c | 436663 | 7899 458863 3263256 | 2147483647 436570 23 | 0.642 % |
321.81/322.05 c | 436763 | 7899 458863 3263256 | 2147483647 436670 23 | 0.642 % |
321.91/322.13 c | 436873 | 7899 458863 3263256 | 2147483647 436780 23 | 0.642 % |
322.01/322.21 c | 436997 | 7899 458863 3263256 | 2147483647 436904 23 | 0.642 % |
322.21/322.41 c | 437130 | 7899 458863 3263256 | 2147483647 437037 23 | 0.642 % |
322.31/322.52 c | 437277 | 7899 458863 3263256 | 2147483647 437184 23 | 0.642 % |
322.51/322.71 c | 437437 | 7899 458863 3263256 | 2147483647 437344 23 | 0.642 % |
322.61/322.89 c | 437613 | 7899 458863 3263256 | 2147483647 437520 23 | 0.642 % |
322.81/323.05 c | 437806 | 7899 458863 3263256 | 2147483647 437713 23 | 0.642 % |
323.01/323.25 c | 438020 | 7899 458863 3263256 | 2147483647 437927 23 | 0.642 % |
323.21/323.43 c | 438253 | 7899 458863 3263256 | 2147483647 438160 23 | 0.642 % |
323.61/323.82 c | 438509 | 7899 458863 3263256 | 2147483647 438416 23 | 0.642 % |
323.80/324.06 c | 438791 | 7899 458863 3263256 | 2147483647 438698 23 | 0.642 % |
324.10/324.35 c | 439100 | 7899 458863 3263256 | 2147483647 439007 23 | 0.642 % |
324.31/324.52 c | 439440 | 7899 458863 3263256 | 2147483647 439347 23 | 0.642 % |
324.50/324.71 c | 439812 | 7899 458863 3263256 | 2147483647 439719 23 | 0.642 % |
324.70/324.90 c | 440222 | 7899 458863 3263256 | 2147483647 440129 23 | 0.642 % |
324.80/325.03 c | 440671 | 7899 458863 3263256 | 2147483647 440578 23 | 0.642 % |
325.90/326.11 c | 441165 | 7899 458863 3263256 | 2147483647 441072 23 | 0.642 % |
326.00/326.28 c | 441708 | 7899 458863 3263256 | 2147483647 441615 23 | 0.642 % |
326.30/326.58 c | 442304 | 7899 458863 3263256 | 2147483647 442211 23 | 0.642 % |
326.80/327.07 c | 442960 | 7899 458863 3263256 | 2147483647 442867 23 | 0.642 % |
327.10/327.34 c | 443680 | 7899 458863 3263256 | 2147483647 443587 23 | 0.642 % |
327.90/328.16 c | 444472 | 7899 458863 3263256 | 2147483647 444379 23 | 0.642 % |
328.30/328.53 c | 445343 | 7899 458863 3263256 | 2147483647 445250 23 | 0.642 % |
329.10/329.30 c | 446302 | 7899 458863 3263256 | 2147483647 446209 23 | 0.642 % |
329.60/329.83 c | 447355 | 7899 458863 3263256 | 2147483647 447262 23 | 0.642 % |
330.80/331.01 c | 448513 | 7899 458863 3263256 | 2147483647 448420 23 | 0.642 % |
331.70/331.93 c | 449787 | 7899 458863 3263256 | 2147483647 449694 23 | 0.642 % |
333.20/333.44 c | 451187 | 7899 458863 3263256 | 2147483647 451094 23 | 0.642 % |
334.40/334.61 c | 452728 | 7899 458863 3263256 | 2147483647 452635 23 | 0.642 % |
335.50/335.76 c | 454422 | 7899 458863 3263256 | 2147483647 454329 23 | 0.642 % |
338.00/338.26 c | 456286 | 7899 458851 3263225 | 2147483647 456191 23 | 0.642 % |
342.10/342.33 c | 458335 | 7899 458851 3263225 | 2147483647 458240 23 | 0.642 % |
342.40/342.69 c | 460588 | 7899 458851 3263225 | 2147483647 460493 23 | 0.642 % |
344.20/344.48 c | 463066 | 7899 458851 3263225 | 2147483647 462971 23 | 0.642 % |
345.20/345.42 c | 465792 | 7899 458851 3263225 | 2147483647 465697 23 | 0.642 % |
347.99/348.22 c | 468789 | 7899 458851 3263225 | 2147483647 468694 23 | 0.642 % |
352.19/352.47 c | 472086 | 7899 458851 3263225 | 2147483647 471991 23 | 0.642 % |
355.59/355.81 c | 475711 | 7899 458851 3263225 | 2147483647 475616 23 | 0.642 % |
359.29/359.51 c | 479699 | 7899 458851 3263225 | 2147483647 479604 23 | 0.642 % |
364.19/364.49 c | 484085 | 7899 458851 3263225 | 2147483647 483990 24 | 0.642 % |
364.29/364.54 c | 484185 | 7899 458851 3263225 | 2147483647 484090 24 | 0.642 % |
364.39/364.61 c | 484297 | 7899 458851 3263225 | 2147483647 484202 24 | 0.642 % |
364.49/364.71 c | 484419 | 7899 458851 3263225 | 2147483647 484324 24 | 0.642 % |
364.49/364.74 c | 484553 | 7899 458851 3263225 | 2147483647 484458 24 | 0.642 % |
364.59/364.82 c | 484700 | 7899 458851 3263225 | 2147483647 484605 24 | 0.642 % |
364.69/364.92 c | 484861 | 7899 458851 3263225 | 2147483647 484766 24 | 0.642 % |
364.79/365.07 c | 485037 | 7899 458851 3263225 | 2147483647 484942 24 | 0.642 % |
364.89/365.18 c | 485231 | 7899 458851 3263225 | 2147483647 485136 24 | 0.642 % |
365.18/365.46 c | 485443 | 7899 458851 3263225 | 2147483647 485348 24 | 0.642 % |
365.28/365.55 c | 485677 | 7899 458851 3263225 | 2147483647 485582 24 | 0.642 % |
365.58/365.82 c | 485933 | 7899 458851 3263225 | 2147483647 485838 24 | 0.642 % |
365.88/366.19 c | 486216 | 7899 458851 3263225 | 2147483647 486121 24 | 0.642 % |
366.09/366.33 c | 486525 | 7899 458851 3263225 | 2147483647 486430 24 | 0.642 % |
366.18/366.44 c | 486864 | 7899 458851 3263225 | 2147483647 486769 24 | 0.642 % |
366.58/366.89 c | 487236 | 7899 458851 3263225 | 2147483647 487141 24 | 0.642 % |
366.88/367.18 c | 487645 | 7899 458851 3263225 | 2147483647 487550 24 | 0.642 % |
367.28/367.51 c | 488095 | 7899 458851 3263225 | 2147483647 488000 24 | 0.642 % |
367.58/367.87 c | 488588 | 7899 458851 3263225 | 2147483647 488493 24 | 0.642 % |
367.88/368.14 c | 489131 | 7899 458851 3263225 | 2147483647 489036 24 | 0.642 % |
368.19/368.42 c | 489728 | 7899 458851 3263225 | 2147483647 489633 24 | 0.642 % |
368.38/368.64 c | 490384 | 7899 458851 3263225 | 2147483647 490289 24 | 0.642 % |
368.68/368.91 c | 491105 | 7899 458851 3263225 | 2147483647 491010 24 | 0.642 % |
369.29/369.53 c | 491897 | 7899 458851 3263225 | 2147483647 491802 24 | 0.642 % |
370.19/370.44 c | 492769 | 7899 458851 3263225 | 2147483647 492674 24 | 0.642 % |
371.69/371.95 c | 493728 | 7899 458851 3263225 | 2147483647 493633 24 | 0.642 % |
372.49/372.71 c | 494781 | 7899 458851 3263225 | 2147483647 494686 24 | 0.642 % |
372.79/373.07 c | 495940 | 7899 458851 3263225 | 2147483647 495845 24 | 0.642 % |
373.49/373.74 c | 497213 | 7899 458851 3263225 | 2147483647 497118 24 | 0.642 % |
375.99/376.26 c | 498614 | 7899 458851 3263225 | 2147483647 498519 24 | 0.642 % |
378.09/378.40 c | 500154 | 7899 458851 3263225 | 2147483647 500059 24 | 0.642 % |
379.48/379.75 c | 501849 | 7899 458851 3263225 | 2147483647 501754 24 | 0.642 % |
381.08/381.39 c | 503714 | 7899 458851 3263225 | 2147483647 503619 24 | 0.642 % |
382.88/383.14 c | 505764 | 7899 458851 3263225 | 2147483647 505669 24 | 0.642 % |
389.89/390.18 c | 508018 | 7899 458851 3263225 | 2147483647 507923 25 | 0.642 % |
391.39/391.64 c | 510497 | 7899 458851 3263225 | 2147483647 510402 25 | 0.642 % |
392.08/392.32 c | 513224 | 7899 458851 3263225 | 2147483647 513129 25 | 0.642 % |
393.58/393.89 c | 516222 | 7899 458851 3263225 | 2147483647 516127 24 | 0.642 % |
395.08/395.35 c | 519518 | 7899 458851 3263225 | 2147483647 519423 24 | 0.642 % |
399.67/399.98 c | 523144 | 7899 458851 3263225 | 2147483647 523049 24 | 0.642 % |
405.38/405.65 c | 527131 | 7899 458851 3263225 | 2147483647 527036 24 | 0.642 % |
410.58/410.89 c | 531516 | 7899 458851 3263225 | 2147483647 531421 24 | 0.642 % |
419.77/420.01 c | 536340 | 7899 458851 3263225 | 2147483647 536245 25 | 0.642 % |
419.77/420.09 c | 536440 | 7899 458851 3263225 | 2147483647 536345 25 | 0.642 % |
419.88/420.15 c | 536550 | 7899 458851 3263225 | 2147483647 536455 25 | 0.642 % |
419.98/420.25 c | 536673 | 7899 458851 3263225 | 2147483647 536578 25 | 0.642 % |
419.98/420.29 c | 536807 | 7899 458851 3263225 | 2147483647 536712 25 | 0.642 % |
420.17/420.43 c | 536953 | 7899 458851 3263225 | 2147483647 536858 25 | 0.642 % |
420.27/420.58 c | 537113 | 7899 458851 3263225 | 2147483647 537018 25 | 0.642 % |
420.57/420.83 c | 537290 | 7899 458851 3263225 | 2147483647 537195 25 | 0.642 % |
420.57/420.89 c | 537483 | 7899 458851 3263225 | 2147483647 537388 25 | 0.642 % |
420.77/421.08 c | 537695 | 7899 458851 3263225 | 2147483647 537600 25 | 0.642 % |
420.87/421.19 c | 537928 | 7899 458851 3263225 | 2147483647 537833 25 | 0.642 % |
421.27/421.52 c | 538185 | 7899 458851 3263225 | 2147483647 538090 25 | 0.642 % |
421.37/421.65 c | 538467 | 7899 458851 3263225 | 2147483647 538372 25 | 0.642 % |
421.57/421.80 c | 538778 | 7899 458851 3263225 | 2147483647 538683 25 | 0.642 % |
421.67/421.95 c | 539117 | 7899 458851 3263225 | 2147483647 539022 25 | 0.642 % |
421.87/422.10 c | 539490 | 7899 458851 3263225 | 2147483647 539395 25 | 0.642 % |
422.17/422.40 c | 539900 | 7899 458851 3263225 | 2147483647 539805 25 | 0.642 % |
422.67/422.91 c | 540349 | 7899 458851 3263225 | 2147483647 540254 25 | 0.642 % |
423.17/423.50 c | 540843 | 7899 458851 3263225 | 2147483647 540748 25 | 0.642 % |
423.37/423.67 c | 541386 | 7899 458851 3263225 | 2147483647 541291 25 | 0.642 % |
424.17/424.44 c | 541983 | 7899 458851 3263225 | 2147483647 541888 25 | 0.642 % |
424.47/424.78 c | 542640 | 7899 458851 3263225 | 2147483647 542545 25 | 0.642 % |
424.97/425.26 c | 543360 | 7899 458851 3263225 | 2147483647 543265 25 | 0.642 % |
425.97/426.21 c | 544152 | 7899 458851 3263225 | 2147483647 544057 25 | 0.642 % |
426.47/426.79 c | 545023 | 7899 458851 3263225 | 2147483647 544928 25 | 0.642 % |
427.17/427.43 c | 545983 | 7899 458851 3263225 | 2147483647 545888 25 | 0.642 % |
427.67/427.93 c | 547036 | 7899 458851 3263225 | 2147483647 546941 25 | 0.642 % |
429.16/429.48 c | 548194 | 7899 458851 3263225 | 2147483647 548099 25 | 0.642 % |
429.87/430.11 c | 549467 | 7899 458851 3263225 | 2147483647 549372 25 | 0.642 % |
431.56/431.85 c | 550868 | 7899 458851 3263225 | 2147483647 550773 25 | 0.642 % |
433.36/433.61 c | 552409 | 7899 458851 3263225 | 2147483647 552314 25 | 0.642 % |
437.57/437.86 c | 554103 | 7899 458851 3263225 | 2147483647 554008 26 | 0.642 % |
439.36/439.68 c | 555967 | 7899 458851 3263225 | 2147483647 555872 26 | 0.642 % |
441.66/441.91 c | 558016 | 7899 458851 3263225 | 2147483647 557921 25 | 0.642 % |
442.66/442.94 c | 560271 | 7899 458851 3263225 | 2147483647 560176 25 | 0.642 % |
445.36/445.64 c | 562750 | 7899 458851 3263225 | 2147483647 562655 25 | 0.642 % |
446.66/446.97 c | 565477 | 7899 458851 3263225 | 2147483647 565382 25 | 0.642 % |
449.66/449.97 c | 568475 | 7899 458851 3263225 | 2147483647 568380 25 | 0.642 % |
453.06/453.30 c | 571772 | 7899 458851 3263225 | 2147483647 571677 25 | 0.642 % |
456.46/456.75 c | 575397 | 7899 458851 3263225 | 2147483647 575302 25 | 0.642 % |
461.56/461.89 c | 579384 | 7898 458839 3263194 | 2147483647 579288 25 | 0.654 % |
464.86/465.11 c | 583771 | 7898 458839 3263194 | 2147483647 583675 25 | 0.654 % |
471.15/471.41 c | 588594 | 7898 458839 3263194 | 2147483647 588498 25 | 0.654 % |
475.45/475.76 c | 593899 | 7898 458839 3263194 | 2147483647 593803 25 | 0.654 % |
475.55/475.81 c | 593999 | 7898 458839 3263194 | 2147483647 593903 25 | 0.654 % |
475.55/475.87 c | 594111 | 7898 458839 3263194 | 2147483647 594015 25 | 0.654 % |
475.76/476.00 c | 594232 | 7898 458839 3263194 | 2147483647 594136 25 | 0.654 % |
475.86/476.14 c | 594366 | 7898 458839 3263194 | 2147483647 594270 25 | 0.654 % |
476.16/476.41 c | 594512 | 7898 458839 3263194 | 2147483647 594416 25 | 0.654 % |
476.26/476.56 c | 594672 | 7898 458839 3263194 | 2147483647 594576 25 | 0.654 % |
476.36/476.67 c | 594848 | 7898 458839 3263194 | 2147483647 594752 25 | 0.654 % |
476.46/476.73 c | 595041 | 7898 458839 3263194 | 2147483647 594945 25 | 0.654 % |
476.66/476.99 c | 595253 | 7898 458839 3263194 | 2147483647 595157 25 | 0.654 % |
476.86/477.14 c | 595487 | 7898 458839 3263194 | 2147483647 595391 25 | 0.654 % |
476.96/477.30 c | 595743 | 7898 458839 3263194 | 2147483647 595647 25 | 0.654 % |
477.16/477.49 c | 596025 | 7898 458839 3263194 | 2147483647 595929 25 | 0.654 % |
477.46/477.77 c | 596334 | 7898 458839 3263194 | 2147483647 596238 25 | 0.654 % |
478.65/478.95 c | 596673 | 7898 458839 3263194 | 2147483647 596577 25 | 0.654 % |
478.95/479.27 c | 597045 | 7898 458839 3263194 | 2147483647 596949 25 | 0.654 % |
479.55/479.83 c | 597455 | 7898 458839 3263194 | 2147483647 597359 25 | 0.654 % |
480.05/480.31 c | 597904 | 7898 458839 3263194 | 2147483647 597808 25 | 0.654 % |
480.46/480.75 c | 598398 | 7898 458839 3263194 | 2147483647 598302 25 | 0.654 % |
481.05/481.33 c | 598940 | 7898 458839 3263194 | 2147483647 598844 25 | 0.654 % |
481.35/481.60 c | 599536 | 7898 458839 3263194 | 2147483647 599440 25 | 0.654 % |
481.65/481.96 c | 600192 | 7898 458839 3263194 | 2147483647 600096 25 | 0.654 % |
482.35/482.63 c | 600913 | 7898 458839 3263194 | 2147483647 600817 25 | 0.654 % |
482.95/483.23 c | 601707 | 7898 458839 3263194 | 2147483647 601611 25 | 0.654 % |
483.66/483.90 c | 602579 | 7898 458839 3263194 | 2147483647 602483 25 | 0.654 % |
484.25/484.52 c | 603539 | 7898 458839 3263194 | 2147483647 603443 25 | 0.654 % |
484.95/485.27 c | 604592 | 7898 458839 3263194 | 2147483647 604496 25 | 0.654 % |
487.15/487.42 c | 605751 | 7898 458839 3263194 | 2147483647 605655 25 | 0.654 % |
488.05/488.34 c | 607025 | 7898 458839 3263194 | 2147483647 606929 25 | 0.654 % |
489.75/490.06 c | 608426 | 7898 458839 3263194 | 2147483647 608330 25 | 0.654 % |
491.05/491.37 c | 609967 | 7898 458839 3263194 | 2147483647 609871 25 | 0.654 % |
492.25/492.50 c | 611661 | 7898 458839 3263194 | 2147483647 611565 25 | 0.654 % |
494.15/494.49 c | 613524 | 7898 458839 3263194 | 2147483647 613428 25 | 0.654 % |
496.85/497.12 c | 615575 | 7898 458839 3263194 | 2147483647 615479 25 | 0.654 % |
501.45/501.73 c | 617829 | 7898 458839 3263194 | 2147483647 617733 25 | 0.654 % |
509.14/509.41 c | 620309 | 7898 458839 3263194 | 2147483647 620213 25 | 0.654 % |
511.54/511.88 c | 623034 | 7898 458839 3263194 | 2147483647 622938 25 | 0.654 % |
514.44/514.78 c | 626031 | 7898 458839 3263194 | 2147483647 625935 25 | 0.654 % |
517.84/518.19 c | 629328 | 7898 458839 3263194 | 2147483647 629232 25 | 0.654 % |
519.94/520.24 c | 632953 | 7898 458839 3263194 | 2147483647 632857 25 | 0.654 % |
526.34/526.63 c | 636942 | 7898 458839 3263194 | 2147483647 636846 25 | 0.654 % |
533.54/533.89 c | 641327 | 7898 458839 3263194 | 2147483647 641231 25 | 0.654 % |
540.33/540.63 c | 646150 | 7898 458839 3263194 | 2147483647 646054 25 | 0.654 % |
545.73/546.06 c | 651456 | 7898 458839 3263194 | 2147483647 651360 25 | 0.654 % |
555.63/555.96 c | 657292 | 7898 458839 3263194 | 2147483647 657196 25 | 0.654 % |
555.73/556.06 c | 657392 | 7898 458839 3263194 | 2147483647 657296 25 | 0.654 % |
555.83/556.19 c | 657502 | 7898 458839 3263194 | 2147483647 657406 25 | 0.654 % |
556.03/556.34 c | 657623 | 7898 458839 3263194 | 2147483647 657527 25 | 0.654 % |
556.13/556.47 c | 657757 | 7898 458839 3263194 | 2147483647 657661 25 | 0.654 % |
556.33/556.64 c | 657904 | 7898 458839 3263194 | 2147483647 657808 25 | 0.654 % |
556.53/556.89 c | 658064 | 7898 458839 3263194 | 2147483647 657968 25 | 0.654 % |
556.63/556.99 c | 658241 | 7898 458839 3263194 | 2147483647 658145 25 | 0.654 % |
556.93/557.24 c | 658434 | 7898 458839 3263194 | 2147483647 658338 25 | 0.654 % |
557.02/557.39 c | 658647 | 7898 458839 3263194 | 2147483647 658551 25 | 0.654 % |
557.33/557.67 c | 658880 | 7898 458839 3263194 | 2147483647 658784 25 | 0.654 % |
557.52/557.83 c | 659136 | 7898 458839 3263194 | 2147483647 659040 25 | 0.654 % |
557.92/558.26 c | 659417 | 7898 458839 3263194 | 2147483647 659321 25 | 0.654 % |
558.22/558.54 c | 659728 | 7898 458839 3263194 | 2147483647 659632 25 | 0.654 % |
558.42/558.73 c | 660069 | 7898 458839 3263194 | 2147483647 659973 25 | 0.654 % |
559.02/559.32 c | 660441 | 7898 458839 3263194 | 2147483647 660345 25 | 0.654 % |
559.42/559.71 c | 660850 | 7898 458839 3263194 | 2147483647 660754 25 | 0.654 % |
559.92/560.29 c | 661300 | 7898 458839 3263194 | 2147483647 661204 25 | 0.654 % |
562.22/562.53 c | 661793 | 7898 458839 3263194 | 2147483647 661697 25 | 0.654 % |
562.82/563.14 c | 662337 | 7898 458839 3263194 | 2147483647 662241 25 | 0.654 % |
563.23/563.53 c | 662933 | 7898 458839 3263194 | 2147483647 662837 25 | 0.654 % |
563.53/563.85 c | 663588 | 7898 458839 3263194 | 2147483647 663492 25 | 0.654 % |
564.03/564.33 c | 664309 | 7898 458839 3263194 | 2147483647 664213 25 | 0.654 % |
564.53/564.86 c | 665101 | 7898 458839 3263194 | 2147483647 665005 25 | 0.654 % |
565.23/565.60 c | 665973 | 7898 458839 3263194 | 2147483647 665877 25 | 0.654 % |
565.72/566.03 c | 666931 | 7898 458839 3263194 | 2147483647 666835 25 | 0.654 % |
566.82/567.11 c | 667985 | 7898 458839 3263194 | 2147483647 667889 25 | 0.654 % |
568.02/568.36 c | 669143 | 7898 458839 3263194 | 2147483647 669047 25 | 0.654 % |
570.12/570.41 c | 670416 | 7898 458839 3263194 | 2147483647 670320 25 | 0.654 % |
570.82/571.13 c | 671816 | 7898 458839 3263194 | 2147483647 671720 25 | 0.654 % |
571.72/572.04 c | 673360 | 7898 458839 3263194 | 2147483647 673264 25 | 0.654 % |
572.82/573.15 c | 675054 | 7898 458839 3263194 | 2147483647 674958 25 | 0.654 % |
577.22/577.56 c | 676917 | 7898 458839 3263194 | 2147483647 676821 25 | 0.654 % |
578.91/579.21 c | 678967 | 7898 458839 3263194 | 2147483647 678871 25 | 0.654 % |
582.72/583.07 c | 681220 | 7898 458839 3263194 | 2147483647 681124 25 | 0.654 % |
586.92/587.23 c | 683698 | 7898 458839 3263194 | 2147483647 683602 25 | 0.654 % |
590.02/590.34 c | 686423 | 7897 458839 3263194 | 2147483647 686326 25 | 0.667 % |
596.11/596.43 c | 689421 | 7897 458839 3263194 | 2147483647 689324 25 | 0.667 % |
600.41/600.79 c | 692718 | 7897 458839 3263194 | 2147483647 692621 25 | 0.667 % |
603.71/604.05 c | 696344 | 7897 458839 3263194 | 2147483647 696247 25 | 0.667 % |
607.01/607.33 c | 700332 | 7897 458839 3263194 | 2147483647 700235 25 | 0.667 % |
612.91/613.21 c | 704718 | 7897 458839 3263194 | 2147483647 704621 25 | 0.667 % |
616.91/617.20 c | 709541 | 7897 458839 3263194 | 2147483647 709444 25 | 0.667 % |
623.81/624.10 c | 714846 | 7897 458839 3263194 | 2147483647 714749 25 | 0.667 % |
632.21/632.57 c | 720682 | 7897 458839 3263194 | 2147483647 720585 25 | 0.667 % |
646.00/646.34 c | 727100 | 7897 458839 3263194 | 2147483647 727003 25 | 0.667 % |
646.10/646.50 c | 727201 | 7897 458839 3263194 | 2147483647 727104 25 | 0.667 % |
646.30/646.63 c | 727314 | 7897 458839 3263194 | 2147483647 727217 25 | 0.667 % |
646.40/646.76 c | 727435 | 7897 458839 3263194 | 2147483647 727338 25 | 0.667 % |
646.60/646.98 c | 727568 | 7897 458839 3263194 | 2147483647 727471 25 | 0.667 % |
646.90/647.22 c | 727714 | 7897 458839 3263194 | 2147483647 727617 25 | 0.667 % |
647.10/647.41 c | 727875 | 7897 458839 3263194 | 2147483647 727778 25 | 0.667 % |
647.20/647.58 c | 728051 | 7897 458839 3263194 | 2147483647 727954 25 | 0.667 % |
647.40/647.70 c | 728244 | 7897 458839 3263194 | 2147483647 728147 25 | 0.667 % |
647.50/647.86 c | 728457 | 7897 458839 3263194 | 2147483647 728360 25 | 0.667 % |
648.00/648.38 c | 728691 | 7897 458839 3263194 | 2147483647 728594 25 | 0.667 % |
648.10/648.42 c | 728948 | 7897 458839 3263194 | 2147483647 728851 25 | 0.667 % |
648.20/648.59 c | 729230 | 7897 458839 3263194 | 2147483647 729133 25 | 0.667 % |
648.50/648.88 c | 729542 | 7897 458839 3263194 | 2147483647 729445 25 | 0.667 % |
648.70/649.08 c | 729881 | 7897 458839 3263194 | 2147483647 729784 25 | 0.667 % |
649.09/649.48 c | 730253 | 7897 458839 3263194 | 2147483647 730156 25 | 0.667 % |
649.70/650.08 c | 730663 | 7897 458839 3263194 | 2147483647 730566 25 | 0.667 % |
650.19/650.51 c | 731112 | 7897 458839 3263194 | 2147483647 731015 25 | 0.667 % |
651.09/651.42 c | 731606 | 7897 458839 3263194 | 2147483647 731509 25 | 0.667 % |
652.59/652.98 c | 732149 | 7897 458839 3263194 | 2147483647 732052 25 | 0.667 % |
652.69/653.03 c | 732745 | 7897 458839 3263194 | 2147483647 732648 25 | 0.667 % |
653.10/653.44 c | 733400 | 7897 458839 3263194 | 2147483647 733303 25 | 0.667 % |
653.60/653.96 c | 734121 | 7897 458839 3263194 | 2147483647 734024 25 | 0.667 % |
653.80/654.13 c | 734915 | 7897 458839 3263194 | 2147483647 734818 25 | 0.667 % |
655.10/655.43 c | 735786 | 7897 458839 3263194 | 2147483647 735689 25 | 0.667 % |
655.50/655.87 c | 736744 | 7897 458839 3263194 | 2147483647 736647 25 | 0.667 % |
656.50/656.89 c | 737797 | 7897 458839 3263194 | 2147483647 737700 25 | 0.667 % |
657.50/657.88 c | 738955 | 7897 458839 3263194 | 2147483647 738858 25 | 0.667 % |
658.90/659.28 c | 740228 | 7897 458839 3263194 | 2147483647 740131 25 | 0.667 % |
661.40/661.76 c | 741628 | 7897 458839 3263194 | 2147483647 741531 25 | 0.667 % |
662.90/663.24 c | 743168 | 7897 458839 3263194 | 2147483647 743071 25 | 0.667 % |
664.20/664.58 c | 744862 | 7897 458839 3263194 | 2147483647 744765 25 | 0.667 % |
671.59/671.96 c | 746725 | 7897 458839 3263194 | 2147483647 746628 25 | 0.667 % |
673.89/674.24 c | 748774 | 7897 458827 3263163 | 2147483647 748675 25 | 0.667 % |
676.89/677.21 c | 751028 | 7897 458827 3263163 | 2147483647 750929 25 | 0.667 % |
682.19/682.50 c | 753506 | 7897 458827 3263163 | 2147483647 753407 25 | 0.667 % |
690.58/690.90 c | 756232 | 7897 458827 3263163 | 2147483647 756133 25 | 0.667 % |
693.08/693.48 c | 759230 | 7897 458827 3263163 | 2147483647 759131 25 | 0.667 % |
696.48/696.85 c | 762528 | 7897 458827 3263163 | 2147483647 762429 25 | 0.667 % |
699.08/699.49 c | 766154 | 7897 458827 3263163 | 2147483647 766055 25 | 0.667 % |
708.98/709.37 c | 770141 | 7897 458827 3263163 | 2147483647 770042 25 | 0.667 % |
716.08/716.41 c | 774527 | 7897 458827 3263163 | 2147483647 774428 25 | 0.667 % |
731.68/732.05 c | 779350 | 7897 458827 3263163 | 2147483647 779251 26 | 0.667 % |
738.17/738.56 c | 784656 | 7897 458827 3263163 | 2147483647 784557 26 | 0.667 % |
749.37/749.71 c | 790493 | 7897 458827 3263163 | 789901 790394 25 | 0.667 % |
758.57/758.96 c | 796912 | 7897 458827 3263163 | 789901 705245 25 | 0.667 % |
772.16/772.58 c | 803972 | 7897 458827 3263163 | 2147483647 712305 25 | 0.667 % |
772.26/772.64 c | 804072 | 7897 458827 3263163 | 2147483647 712405 25 | 0.667 % |
772.36/772.78 c | 804182 | 7897 458827 3263163 | 2147483647 712515 25 | 0.667 % |
772.56/772.90 c | 804304 | 7897 458827 3263163 | 2147483647 712637 25 | 0.667 % |
772.56/772.99 c | 804438 | 7897 458827 3263163 | 2147483647 712771 25 | 0.667 % |
772.96/773.32 c | 804585 | 7897 458827 3263163 | 2147483647 712918 25 | 0.667 % |
773.06/773.46 c | 804746 | 7897 458827 3263163 | 2147483647 713079 25 | 0.667 % |
773.26/773.64 c | 804923 | 7897 458827 3263163 | 2147483647 713256 25 | 0.667 % |
773.46/773.85 c | 805116 | 7897 458827 3263163 | 2147483647 713449 25 | 0.667 % |
773.86/774.30 c | 805328 | 7897 458827 3263163 | 2147483647 713661 25 | 0.667 % |
774.16/774.50 c | 805561 | 7897 458827 3263163 | 2147483647 713894 25 | 0.667 % |
774.46/774.80 c | 805818 | 7897 458827 3263163 | 2147483647 714151 25 | 0.667 % |
774.66/775.03 c | 806099 | 7897 458827 3263163 | 2147483647 714432 25 | 0.667 % |
774.96/775.40 c | 806408 | 7897 458827 3263163 | 2147483647 714741 25 | 0.667 % |
775.16/775.57 c | 806747 | 7897 458827 3263163 | 2147483647 715080 25 | 0.667 % |
775.96/776.31 c | 807121 | 7897 458827 3263163 | 2147483647 715454 25 | 0.667 % |
776.46/776.81 c | 807531 | 7897 458827 3263163 | 2147483647 715864 25 | 0.667 % |
776.67/777.09 c | 807980 | 7897 458827 3263163 | 2147483647 716313 25 | 0.667 % |
777.47/777.84 c | 808473 | 7897 458827 3263163 | 2147483647 716806 25 | 0.667 % |
778.17/778.53 c | 809016 | 7897 458827 3263163 | 2147483647 717349 25 | 0.667 % |
778.77/779.19 c | 809614 | 7897 458827 3263163 | 2147483647 717947 25 | 0.667 % |
779.06/779.45 c | 810270 | 7897 458827 3263163 | 2147483647 718603 25 | 0.667 % |
780.26/780.63 c | 810991 | 7897 458827 3263163 | 2147483647 719324 25 | 0.667 % |
780.46/780.86 c | 811783 | 7897 458827 3263163 | 2147483647 720116 25 | 0.667 % |
781.46/781.80 c | 812654 | 7897 458827 3263163 | 2147483647 720987 25 | 0.667 % |
782.16/782.52 c | 813613 | 7895 458827 3263163 | 2147483647 721944 25 | 0.692 % |
783.97/784.31 c | 814667 | 7895 458827 3263163 | 2147483647 722998 25 | 0.692 % |
784.66/785.01 c | 815825 | 7895 458827 3263163 | 2147483647 724156 25 | 0.692 % |
786.56/786.98 c | 817099 | 7895 458827 3263163 | 2147483647 725430 25 | 0.692 % |
789.06/789.49 c | 818499 | 7895 458827 3263163 | 2147483647 726830 25 | 0.692 % |
790.76/791.12 c | 820039 | 7895 458827 3263163 | 2147483647 728370 25 | 0.692 % |
791.86/792.26 c | 821734 | 7895 458827 3263163 | 2147483647 730065 25 | 0.692 % |
793.46/793.87 c | 823597 | 7895 458827 3263163 | 2147483647 731928 25 | 0.692 % |
795.46/795.83 c | 825647 | 7895 458827 3263163 | 2147483647 733978 24 | 0.692 % |
798.06/798.46 c | 827901 | 7895 458827 3263163 | 2147483647 736232 24 | 0.692 % |
803.06/803.42 c | 830380 | 7895 458827 3263163 | 2147483647 738711 25 | 0.692 % |
807.15/807.58 c | 833106 | 7895 458827 3263163 | 2147483647 741437 25 | 0.692 % |
809.75/810.11 c | 836104 | 7895 458827 3263163 | 2147483647 744435 24 | 0.692 % |
816.05/816.45 c | 839400 | 7895 458827 3263163 | 2147483647 747731 25 | 0.692 % |
816.95/817.33 c | 843025 | 7895 458827 3263163 | 2147483647 751356 25 | 0.692 % |
820.15/820.56 c | 847013 | 7895 458827 3263163 | 2147483647 755344 25 | 0.692 % |
823.75/824.18 c | 851398 | 7895 458827 3263163 | 2147483647 759729 25 | 0.692 % |
829.15/829.53 c | 856221 | 7895 458827 3263163 | 2147483647 764552 25 | 0.692 % |
839.54/839.93 c | 861528 | 7895 458827 3263163 | 2147483647 769859 25 | 0.692 % |
845.04/845.46 c | 867364 | 7895 458827 3263163 | 2147483647 775695 25 | 0.692 % |
856.44/856.80 c | 873783 | 7895 458827 3263163 | 2147483647 782114 25 | 0.692 % |
868.23/868.65 c | 880843 | 7895 458827 3263163 | 2147483647 789174 25 | 0.692 % |
878.04/878.41 c | 888607 | 7895 458827 3263163 | 2147483647 796938 25 | 0.692 % |
878.14/878.55 c | 888708 | 7895 458827 3263163 | 2147483647 797039 25 | 0.692 % |
878.24/878.65 c | 888819 | 7895 458827 3263163 | 2147483647 797150 25 | 0.692 % |
878.34/878.77 c | 888942 | 7895 458827 3263163 | 2147483647 797273 25 | 0.692 % |
878.54/878.94 c | 889076 | 7895 458827 3263163 | 2147483647 797407 25 | 0.692 % |
878.74/879.18 c | 889224 | 7895 458827 3263163 | 2147483647 797555 25 | 0.692 % |
878.93/879.30 c | 889384 | 7895 458827 3263163 | 2147483647 797715 25 | 0.692 % |
879.13/879.59 c | 889561 | 7895 458827 3263163 | 2147483647 797892 25 | 0.692 % |
879.43/879.82 c | 889755 | 7895 458827 3263163 | 2147483647 798086 25 | 0.692 % |
879.54/879.93 c | 889967 | 7895 458827 3263163 | 2147483647 798298 25 | 0.692 % |
879.73/880.17 c | 890202 | 7895 458827 3263163 | 2147483647 798533 25 | 0.692 % |
880.43/880.83 c | 890459 | 7895 458827 3263163 | 2147483647 798790 25 | 0.692 % |
880.83/881.27 c | 890741 | 7895 458827 3263163 | 2147483647 799072 25 | 0.692 % |
881.13/881.53 c | 891050 | 7895 458827 3263163 | 2147483647 799381 25 | 0.692 % |
881.53/881.97 c | 891389 | 7895 458827 3263163 | 2147483647 799720 25 | 0.692 % |
881.93/882.33 c | 891761 | 7895 458827 3263163 | 2147483647 800092 25 | 0.692 % |
882.53/882.94 c | 892170 | 7895 458827 3263163 | 2147483647 800501 25 | 0.692 % |
884.63/885.09 c | 892620 | 7895 458827 3263163 | 2147483647 800951 25 | 0.692 % |
884.83/885.22 c | 893115 | 7895 458827 3263163 | 2147483647 801446 25 | 0.692 % |
885.23/885.65 c | 893658 | 7895 458827 3263163 | 2147483647 801989 25 | 0.692 % |
885.53/885.94 c | 894256 | 7895 458827 3263163 | 2147483647 802587 25 | 0.692 % |
886.83/887.23 c | 894912 | 7895 458827 3263163 | 2147483647 803243 25 | 0.692 % |
887.73/888.15 c | 895633 | 7895 458827 3263163 | 2147483647 803964 25 | 0.692 % |
889.03/889.48 c | 896426 | 7894 458827 3263163 | 2147483647 804756 25 | 0.704 % |
890.53/890.99 c | 897297 | 7894 458827 3263163 | 2147483647 805627 25 | 0.704 % |
891.33/891.76 c | 898255 | 7894 458827 3263163 | 2147483647 806585 25 | 0.704 % |
896.13/896.59 c | 899308 | 7894 458827 3263163 | 2147483647 807638 25 | 0.704 % |
896.53/896.99 c | 900469 | 7894 458827 3263163 | 2147483647 808799 25 | 0.704 % |
897.33/897.72 c | 901742 | 7894 458827 3263163 | 2147483647 810072 25 | 0.704 % |
897.73/898.15 c | 903142 | 7894 458827 3263163 | 2147483647 811472 25 | 0.704 % |
901.33/901.75 c | 904683 | 7894 458827 3263163 | 2147483647 813013 25 | 0.704 % |
902.83/903.21 c | 906377 | 7894 458827 3263163 | 2147483647 814707 25 | 0.704 % |
903.52/903.93 c | 908241 | 7894 458827 3263163 | 2147483647 816571 25 | 0.704 % |
908.82/909.29 c | 910291 | 7894 458827 3263163 | 2147483647 818621 25 | 0.704 % |
912.12/912.57 c | 912544 | 7894 458827 3263163 | 2147483647 820874 25 | 0.704 % |
914.82/915.22 c | 915026 | 7894 458827 3263163 | 2147483647 823356 25 | 0.704 % |
917.12/917.56 c | 917752 | 7894 458827 3263163 | 2147483647 826082 25 | 0.704 % |
920.22/920.68 c | 920750 | 7894 458827 3263163 | 2147483647 829080 25 | 0.704 % |
929.92/930.32 c | 924047 | 7894 458827 3263163 | 2147483647 832377 26 | 0.704 % |
931.02/931.46 c | 927673 | 7894 458827 3263163 | 2147483647 836003 25 | 0.704 % |
931.72/932.17 c | 931662 | 7894 458827 3263163 | 2147483647 839992 25 | 0.704 % |
937.72/938.16 c | 936049 | 7894 458827 3263163 | 2147483647 844379 25 | 0.704 % |
947.31/947.79 c | 940872 | 7894 458827 3263163 | 2147483647 849202 25 | 0.704 % |
957.71/958.11 c | 946178 | 7894 458798 3263087 | 2147483647 854505 25 | 0.704 % |
981.70/982.16 c | 952014 | 7894 458798 3263087 | 2147483647 860341 27 | 0.704 % |
989.40/989.84 c | 958433 | 7894 458798 3263087 | 2147483647 866760 27 | 0.704 % |
993.80/994.20 c | 965493 | 7894 458798 3263087 | 2147483647 873820 27 | 0.704 % |
1010.70/1011.19 c | 973259 | 7894 458798 3263087 | 2147483647 881586 27 | 0.704 % |
1026.19/1026.61 c | 981800 | 7894 458798 3263087 | 2147483647 890127 27 | 0.704 % |
1026.29/1026.70 c | 981900 | 7894 458798 3263087 | 2147483647 890227 27 | 0.704 % |
1026.39/1026.87 c | 982010 | 7894 458798 3263087 | 2147483647 890337 27 | 0.704 % |
1026.69/1027.12 c | 982131 | 7894 458798 3263087 | 2147483647 890458 27 | 0.704 % |
1026.79/1027.22 c | 982264 | 7894 458798 3263087 | 2147483647 890591 27 | 0.704 % |
1026.99/1027.41 c | 982410 | 7894 458798 3263087 | 2147483647 890737 27 | 0.704 % |
1027.09/1027.51 c | 982570 | 7894 458798 3263087 | 2147483647 890897 27 | 0.704 % |
1027.29/1027.73 c | 982746 | 7894 458798 3263087 | 2147483647 891073 27 | 0.704 % |
1027.59/1028.03 c | 982941 | 7894 458798 3263087 | 2147483647 891268 27 | 0.704 % |
1027.89/1028.33 c | 983153 | 7894 458798 3263087 | 2147483647 891480 27 | 0.704 % |
1028.09/1028.59 c | 983387 | 7894 458798 3263087 | 2147483647 891714 27 | 0.704 % |
1028.39/1028.89 c | 983643 | 7894 458798 3263087 | 2147483647 891970 27 | 0.704 % |
1028.79/1029.27 c | 983924 | 7894 458798 3263087 | 2147483647 892251 27 | 0.704 % |
1029.09/1029.50 c | 984233 | 7894 458798 3263087 | 2147483647 892560 27 | 0.704 % |
1029.28/1029.71 c | 984574 | 7894 458798 3263087 | 2147483647 892901 27 | 0.704 % |
1029.68/1030.10 c | 984946 | 7894 458798 3263087 | 2147483647 893273 27 | 0.704 % |
1029.78/1030.24 c | 985356 | 7894 458798 3263087 | 2147483647 893683 27 | 0.704 % |
1030.19/1030.67 c | 985806 | 7894 458798 3263087 | 2147483647 894133 27 | 0.704 % |
1030.48/1030.99 c | 986300 | 7894 458798 3263087 | 2147483647 894627 27 | 0.704 % |
1031.18/1031.66 c | 986842 | 7894 458798 3263087 | 2147483647 895169 27 | 0.704 % |
1031.98/1032.49 c | 987439 | 7894 458798 3263087 | 2147483647 895766 27 | 0.704 % |
1032.88/1033.39 c | 988094 | 7894 458798 3263087 | 2147483647 896421 27 | 0.704 % |
1034.09/1034.55 c | 988814 | 7894 458798 3263087 | 2147483647 897141 27 | 0.704 % |
1034.89/1035.40 c | 989607 | 7894 458798 3263087 | 2147483647 897934 27 | 0.704 % |
1035.69/1036.16 c | 990479 | 7894 458798 3263087 | 2147483647 898806 27 | 0.704 % |
1036.79/1037.23 c | 991437 | 7894 458798 3263087 | 2147483647 899764 26 | 0.704 % |
1038.49/1038.92 c | 992491 | 7894 458798 3263087 | 2147483647 900818 26 | 0.704 % |
1041.19/1041.69 c | 993650 | 7894 458798 3263087 | 2147483647 901977 27 | 0.704 % |
1041.68/1042.15 c | 994923 | 7894 458798 3263087 | 2147483647 903250 27 | 0.704 % |
1044.58/1045.08 c | 996324 | 7894 458798 3263087 | 2147483647 904651 27 | 0.704 % |
1045.88/1046.39 c | 997864 | 7894 458798 3263087 | 2147483647 906191 27 | 0.704 % |
1047.78/1048.30 c | 999558 | 7894 458798 3263087 | 2147483647 907885 27 | 0.704 % |
1050.68/1051.10 c | 1001422 | 7894 458798 3263087 | 2147483647 909749 27 | 0.704 % |
1053.78/1054.21 c | 1003473 | 7894 458798 3263087 | 2147483647 911800 26 | 0.704 % |
1057.07/1057.59 c | 1005727 | 7894 458798 3263087 | 2147483647 914054 26 | 0.704 % |
1063.18/1063.68 c | 1008210 | 7894 458798 3263087 | 2147483647 916537 26 | 0.704 % |
1066.07/1066.58 c | 1010936 | 7894 458798 3263087 | 2147483647 919263 26 | 0.704 % |
1069.37/1069.89 c | 1013933 | 7894 458798 3263087 | 2147483647 922260 26 | 0.704 % |
1076.87/1077.39 c | 1017229 | 7894 458798 3263087 | 2147483647 925556 26 | 0.704 % |
1088.58/1089.07 c | 1020855 | 7894 458798 3263087 | 2147483647 929182 27 | 0.704 % |
1095.27/1095.79 c | 1024842 | 7894 458798 3263087 | 2147483647 933169 27 | 0.704 % |
1100.97/1101.47 c | 1029227 | 7894 458798 3263087 | 2147483647 937554 27 | 0.704 % |
1108.46/1108.97 c | 1034050 | 7894 458798 3263087 | 2147483647 942377 27 | 0.704 % |
1115.96/1116.41 c | 1039356 | 7894 458798 3263087 | 2147483647 947683 27 | 0.704 % |
1122.25/1122.79 c | 1045193 | 7894 458798 3263087 | 2147483647 953520 27 | 0.704 % |
1134.66/1135.16 c | 1051611 | 7894 458798 3263087 | 2147483647 959938 27 | 0.704 % |
1146.95/1147.42 c | 1058671 | 7894 458798 3263087 | 2147483647 966998 27 | 0.704 % |
1162.95/1163.41 c | 1066435 | 7894 458798 3263087 | 968327 801791 26 | 0.704 % |
1180.85/1181.35 c | 1074975 | 7893 458798 3263087 | 2147483647 810330 27 | 0.717 % |
1185.95/1186.44 c | 1084369 | 7893 458798 3263087 | 2147483647 819724 27 | 0.717 % |
1186.05/1186.50 c | 1084469 | 7893 458798 3263087 | 2147483647 819824 27 | 0.717 % |
1186.15/1186.68 c | 1084579 | 7893 458798 3263087 | 2147483647 819934 27 | 0.717 % |
1186.24/1186.78 c | 1084702 | 7893 458798 3263087 | 2147483647 820057 27 | 0.717 % |
1186.35/1186.89 c | 1084836 | 7893 458798 3263087 | 2147483647 820191 27 | 0.717 % |
1186.64/1187.14 c | 1084983 | 7893 458798 3263087 | 2147483647 820338 27 | 0.717 % |
1186.74/1187.24 c | 1085143 | 7893 458798 3263087 | 2147483647 820498 27 | 0.717 % |
1187.04/1187.59 c | 1085319 | 7893 458798 3263087 | 2147483647 820674 27 | 0.717 % |
1187.34/1187.83 c | 1085513 | 7893 458798 3263087 | 2147483647 820868 27 | 0.717 % |
1187.55/1188.02 c | 1085726 | 7893 458798 3263087 | 2147483647 821081 27 | 0.717 % |
1187.64/1188.18 c | 1085959 | 7893 458798 3263087 | 2147483647 821314 27 | 0.717 % |
1188.04/1188.51 c | 1086215 | 7893 458798 3263087 | 2147483647 821570 27 | 0.717 % |
1188.44/1188.90 c | 1086496 | 7893 458798 3263087 | 2147483647 821851 27 | 0.717 % |
1188.74/1189.23 c | 1086805 | 7893 458798 3263087 | 2147483647 822160 27 | 0.717 % |
1189.14/1189.66 c | 1087145 | 7893 458798 3263087 | 2147483647 822500 27 | 0.717 % |
1189.75/1190.22 c | 1087517 | 7893 458798 3263087 | 2147483647 822872 27 | 0.717 % |
1190.24/1190.77 c | 1087926 | 7893 458798 3263087 | 2147483647 823281 27 | 0.717 % |
1190.64/1191.12 c | 1088375 | 7893 458798 3263087 | 2147483647 823730 27 | 0.717 % |
1191.54/1192.04 c | 1088869 | 7891 458798 3263087 | 2147483647 824223 27 | 0.742 % |
1193.14/1193.64 c | 1089412 | 7891 458798 3263087 | 2147483647 824766 27 | 0.742 % |
1193.64/1194.13 c | 1090008 | 7891 458798 3263087 | 2147483647 825362 27 | 0.742 % |
1194.54/1195.04 c | 1090664 | 7891 458798 3263087 | 2147483647 826018 27 | 0.742 % |
1194.84/1195.38 c | 1091385 | 7891 458798 3263087 | 2147483647 826739 27 | 0.742 % |
1195.34/1195.89 c | 1092177 | 7891 458798 3263087 | 2147483647 827531 27 | 0.742 % |
1196.14/1196.65 c | 1093049 | 7891 458798 3263087 | 2147483647 828403 27 | 0.742 % |
1198.34/1198.87 c | 1094007 | 7891 458798 3263087 | 2147483647 829361 27 | 0.742 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833835-1242825404/watcher-1833835-1242825404 -o /tmp/evaluation-result-1833835-1242825404/solver-1833835-1242825404 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833835-1242825404.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4437
/proc/meminfo: memFree=1893192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[startup+0.0199039 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4437
/proc/meminfo: memFree=1893192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10191 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4437
/proc/meminfo: memFree=1893192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301927 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4437
/proc/meminfo: memFree=1893192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701959 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4437
/proc/meminfo: memFree=1893192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50203 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1797240/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=160460 CPUtime=1.48
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 36326 0 0 0 125 23 0 0 25 0 1 0 310566836 164311040 36312 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 40115 36313 50 173 0 39940 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 165816
[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1673528/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=251700 CPUtime=3.09
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 58043 0 0 0 275 34 0 0 25 0 1 0 310566836 257740800 58008 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 62925 58008 71 173 0 62750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257056
[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1662144/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=252724 CPUtime=6.28
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 58248 0 0 0 594 34 0 0 25 0 1 0 310566836 258789376 58213 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 63181 58213 71 173 0 63006 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 258080
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1624448/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=280136 CPUtime=12.68
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 70329 0 0 0 1221 47 0 0 25 0 1 0 310566836 286859264 64016 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 70034 64016 76 173 0 69859 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 285492
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1562048/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=324764 CPUtime=25.48
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 82232 0 0 0 2489 59 0 0 25 0 1 0 310566836 332558336 75343 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 81191 75343 76 173 0 81016 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 330120
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4442
/proc/meminfo: memFree=1561472/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=0
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310566835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4437/statm: 1339 237 197 169 0 50 0
[pid=4441] ppid=4437 vsize=325276 CPUtime=51.07
/proc/4441/stat : 4441 (SatELite_releas) R 4437 4437 4292 0 -1 4194304 82440 0 0 0 5047 60 0 0 25 0 1 0 310566836 333082624 75551 1992294400 134512640 135223648 4294956128 18446744073709551615 134585507 0 0 4096 3 0 0 0 17 1 0 0
/proc/4441/statm: 81319 75551 76 173 0 81144 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 330632
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1802112/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=42204 CPUtime=19.19
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 10403 0 0 0 1910 9 0 0 25 0 1 0 310575143 43216896 10389 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 10551 10389 77 171 0 10378 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 47560
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1782208/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=62204 CPUtime=79.15
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 15334 0 0 0 7901 14 0 0 25 0 1 0 310575143 63696896 15320 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 15551 15320 77 171 0 15378 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 67560
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1767424/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=77120 CPUtime=139.12
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 19014 0 0 0 13893 19 0 0 25 0 1 0 310575143 78970880 19000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 19280 19000 77 171 0 19107 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 82476
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1757120/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=87288 CPUtime=199.09
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 21613 0 0 0 19887 22 0 0 25 0 1 0 310575143 89382912 21599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 21822 21599 77 171 0 21649 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 92644
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1746112/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=97920 CPUtime=259.07
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 24322 0 0 0 25882 25 0 0 25 0 1 0 310575143 100270080 24308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 24480 24308 77 171 0 24307 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 103276
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1735168/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=109448 CPUtime=319.04
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 27023 0 0 0 31876 28 0 0 25 0 1 0 310575143 112074752 27009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 27362 27009 77 171 0 27189 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 114804
[startup+462.302 s]
################
# More data... #
################
/proc/4443/statm: 33147 32893 77 171 0 32974 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 137944
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1705344/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=139488 CPUtime=558.97
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 34346 0 0 0 55861 36 0 0 25 0 1 0 310575143 142835712 34332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 34872 34332 77 171 0 34699 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 144844
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1698624/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=146068 CPUtime=618.95
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 36002 0 0 0 61857 38 0 0 25 0 1 0 310575143 149573632 35988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 36517 35988 77 171 0 36344 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 151424
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1694656/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=149836 CPUtime=678.94
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 36952 0 0 0 67855 39 0 0 25 0 1 0 310575143 153432064 36938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 37459 36938 77 171 0 37286 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 155192
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1694592/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=149836 CPUtime=738.92
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 36967 0 0 0 73852 40 0 0 25 0 1 0 310575143 153432064 36953 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 37459 36953 77 171 0 37286 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 155192
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1692928/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=151288 CPUtime=798.9
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 37356 0 0 0 79849 41 0 0 25 0 1 0 310575143 154918912 37342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 37822 37342 77 171 0 37649 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 156644
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1685504/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=158616 CPUtime=858.88
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 39212 0 0 0 85845 43 0 0 25 0 1 0 310575143 162422784 39198 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 39654 39198 77 171 0 39481 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 163972
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1677248/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=166604 CPUtime=918.87
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 41239 0 0 0 91842 45 0 0 25 0 1 0 310575143 170602496 41225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 41651 41225 77 171 0 41478 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 171960
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1672192/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=171492 CPUtime=978.84
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 42491 0 0 0 97838 46 0 0 25 0 1 0 310575143 175607808 42477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 42873 42477 77 171 0 42700 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 176848
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1666304/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=177184 CPUtime=1038.82
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 43945 0 0 0 103835 47 0 0 25 0 1 0 310575143 181436416 43931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 44296 43931 77 171 0 44123 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 182540
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1664000/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=179416 CPUtime=1098.82
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 44490 0 0 0 109833 49 0 0 25 0 1 0 310575143 183721984 44476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 44854 44476 77 171 0 44681 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 184772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1663936/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=179416 CPUtime=1117.01
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 44491 0 0 0 111652 49 0 0 25 0 1 0 310575143 183721984 44477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 44854 44477 77 171 0 44681 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 184772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4443
/proc/meminfo: memFree=1663936/2055920 swapFree=4180364/4192956
[pid=4437] ppid=4435 vsize=5356 CPUtime=83.03
/proc/4437/stat : 4437 (SatELiteGTI) S 4435 4437 4292 0 -1 4194304 336 91616 0 0 0 0 8226 77 16 0 1 0 310566835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4437/statm: 1339 239 197 169 0 50 0
[pid=4443] ppid=4437 vsize=179416 CPUtime=1117.01
/proc/4443/stat : 4443 (minisat_static) R 4437 4437 4292 0 -1 4194304 44491 0 0 0 111652 49 0 0 25 0 1 0 310575143 183721984 44477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/4443/statm: 44854 44477 77 171 0 44681 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 184772
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4437 and gives
# childrusage.ru_utime.tv_sec=82
# childrusage.ru_utime.tv_usec=262494
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=775882
# CPU time returned by wait4() is 83.0384
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1198.78
CPU system time (s): 1.26
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 351024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.2625
system time used= 0.775882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91952
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= 14
involuntary context switches= 178
runsolver used 1.36879 second user time and 3.06253 second system time
The end
Begin job on node69 at 2009-05-20 15:16:48
IDJOB=1833835
IDBENCH=70959
IDSOLVER=671
FILE ID=node69/1833835-1242825404
PBS_JOBID= 9322530
Free space on /tmp= 66072 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833835-1242825404/watcher-1833835-1242825404 -o /tmp/evaluation-result-1833835-1242825404/solver-1833835-1242825404 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833835-1242825404.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 91d125ee3007575f40ddeef126d7f80f
RANDOM SEED=1821887345
node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1893672 kB
Buffers: 17460 kB
Cached: 102368 kB
SwapCached: 6652 kB
Active: 91620 kB
Inactive: 36940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893672 kB
SwapTotal: 4192956 kB
SwapFree: 4180364 kB
Dirty: 63216 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 19612 kB
Committed_AS: 952440 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66024 MiB
End job on node69 at 2009-05-20 15:36:50