0.00/0.00 c Parsing...
0.00/0.13 c ==============================================================================
0.00/0.13 c | | ORIGINAL | LEARNT | |
0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.13 c ==============================================================================
0.00/0.13 c | 0 | 160467 374423 | 48140 0 0 nan | 0.000 % |
5.28/5.36 c | 0 | 63354 307031 | -- 0 -- -- | -- | -97071/-67291
5.28/5.36 c ==============================================================================
5.28/5.36 c Result : #vars: 5505 #clauses: 63354 #literals: 307031
5.28/5.36 c CPU time: 5.2302 s
5.28/5.36 c ==============================================================================
5.38/5.46 c This is MiniSat 2.0 beta
5.38/5.46 c WARNING: for repeatability, setting FPU to use double precision
5.38/5.46 c ============================[ Problem Statistics ]=============================
5.38/5.46 c | |
5.38/5.46 c | Number of variables: 5505 |
5.38/5.46 c | Number of clauses: 63354 |
5.44/5.51 c | Parsing time: 0.04 s |
5.44/5.51 c ============================[ Search Statistics ]==============================
5.44/5.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.44/5.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.44/5.51 c ===============================================================================
5.44/5.51 c | 0 | 5505 63354 307031 | 21118 0 nan | 0.000 % |
5.44/5.54 c | 100 | 5505 63354 307031 | 21118 100 12 | 0.000 % |
5.44/5.62 c | 200 | 5505 63354 307031 | 21118 200 11 | 0.000 % |
5.44/5.68 c | 300 | 5505 63354 307031 | 21118 300 11 | 0.000 % |
5.44/5.72 c | 410 | 5505 63354 307031 | 21118 410 10 | 0.000 % |
5.44/5.75 c | 510 | 5505 63354 307031 | 21118 510 10 | 0.000 % |
5.44/5.76 c | 621 | 5505 63354 307031 | 21118 621 13 | 0.000 % |
5.44/5.77 c | 743 | 5505 63354 307031 | 21118 743 13 | 0.000 % |
5.44/5.79 c | 843 | 5505 63354 307031 | 21118 843 13 | 0.000 % |
5.44/5.92 c | 954 | 5505 63354 307031 | 21118 954 13 | 0.000 % |
5.44/5.95 c | 1077 | 5505 63354 307031 | 21118 1077 12 | 0.000 % |
5.44/5.95 c | 1210 | 5505 63354 307031 | 21118 1210 13 | 0.000 % |
5.44/5.96 c | 1310 | 5505 63354 307031 | 21118 1310 14 | 0.000 % |
5.44/5.98 c | 1420 | 5505 63354 307031 | 21118 1420 13 | 0.000 % |
5.44/6.02 c | 1541 | 5505 63354 307031 | 21118 1541 13 | 0.000 % |
5.44/6.03 c | 1675 | 5505 63354 307031 | 21118 1675 13 | 0.000 % |
5.44/6.03 c | 1821 | 5505 63354 307031 | 21118 1821 14 | 0.000 % |
5.44/6.04 c | 1921 | 5505 63354 307031 | 21118 1921 14 | 0.000 % |
5.44/6.08 c | 2031 | 5505 63354 307031 | 21118 2031 14 | 0.000 % |
5.44/6.08 c | 2154 | 5505 63354 307031 | 21118 2154 14 | 0.000 % |
5.44/6.13 c | 2287 | 5505 63354 307031 | 21118 2287 14 | 0.000 % |
5.44/6.14 c | 2433 | 5505 63354 307031 | 21118 2433 16 | 0.000 % |
5.44/6.15 c | 2594 | 5505 63354 307031 | 21118 2594 17 | 0.000 % |
5.44/6.16 c | 2694 | 5505 63354 307031 | 21118 2694 17 | 0.000 % |
5.44/6.17 c | 2804 | 5505 63354 307031 | 21118 2804 18 | 0.000 % |
5.44/6.26 c | 2925 | 5505 63354 307031 | 21118 2925 18 | 0.000 % |
5.44/6.28 c | 3062 | 5505 63354 307031 | 21118 3062 23 | 0.000 % |
5.44/6.30 c | 3212 | 5505 63354 307031 | 21118 3212 23 | 0.000 % |
5.44/6.32 c | 3372 | 5505 63354 307031 | 21118 3372 24 | 0.000 % |
5.44/6.33 c | 3554 | 5505 63354 307031 | 21118 3554 24 | 0.000 % |
5.44/6.34 c | 3654 | 5505 63354 307031 | 21118 3654 25 | 0.000 % |
5.44/6.36 c | 3764 | 5505 63354 307031 | 21118 3764 26 | 0.000 % |
5.44/6.38 c | 3885 | 5505 63354 307031 | 21118 3885 29 | 0.000 % |
5.44/6.39 c | 4019 | 5505 63354 307031 | 21118 4019 29 | 0.000 % |
5.44/6.41 c | 4165 | 5505 63354 307031 | 21118 4165 29 | 0.000 % |
5.44/6.43 c | 4329 | 5505 63354 307031 | 21118 4329 29 | 0.000 % |
5.44/6.44 c | 4505 | 5505 63354 307031 | 21118 4505 29 | 0.000 % |
5.44/6.45 c | 4698 | 5505 63354 307031 | 21118 4698 29 | 0.000 % |
5.44/6.46 c | 4798 | 5505 63354 307031 | 21118 4798 28 | 0.000 % |
5.44/6.47 c | 4909 | 5505 63354 307031 | 21118 4909 28 | 0.000 % |
5.44/6.48 c | 5031 | 5505 63354 307031 | 21118 5031 28 | 0.000 % |
6.47/6.50 c | 5164 | 5505 63354 307031 | 21118 5164 30 | 0.000 % |
6.47/6.52 c | 5310 | 5505 63354 307031 | 21118 5310 33 | 0.000 % |
6.47/6.54 c | 5470 | 5505 63354 307031 | 21118 5470 34 | 0.000 % |
6.47/6.58 c | 5646 | 5505 63354 307031 | 21118 5646 33 | 0.000 % |
6.47/6.59 c | 5839 | 5505 63354 307031 | 21118 5839 34 | 0.000 % |
6.57/6.63 c | 6051 | 5505 63354 307031 | 21118 6051 35 | 0.000 % |
6.57/6.64 c | 6151 | 5505 63354 307031 | 21118 6151 36 | 0.000 % |
6.57/6.66 c | 6261 | 5505 63354 307031 | 21118 6261 35 | 0.000 % |
6.57/6.68 c | 6382 | 5504 63225 306772 | 21118 6380 35 | 0.018 % |
6.66/6.71 c | 6515 | 5504 63225 306772 | 21118 6513 35 | 0.018 % |
6.66/6.72 c | 6661 | 5504 63225 306772 | 21118 6659 35 | 0.018 % |
6.66/6.74 c | 6822 | 5504 63225 306772 | 21118 6820 34 | 0.018 % |
6.66/6.75 c | 6998 | 5504 63225 306772 | 21118 6996 34 | 0.018 % |
6.66/6.77 c | 7193 | 5504 63225 306772 | 21118 7191 37 | 0.018 % |
6.66/6.79 c | 7405 | 5504 63225 306772 | 21118 7403 36 | 0.018 % |
6.76/6.82 c | 7638 | 5504 63225 306772 | 21118 7636 36 | 0.018 % |
6.76/6.83 c | 7738 | 5504 63225 306772 | 21118 7736 36 | 0.018 % |
6.76/6.86 c | 7848 | 5504 63225 306772 | 21118 7846 36 | 0.018 % |
6.76/6.89 c | 7970 | 5504 63225 306772 | 21118 7968 35 | 0.018 % |
6.85/6.90 c | 8104 | 5504 63225 306772 | 21118 8102 35 | 0.018 % |
6.85/6.91 c | 8250 | 5504 63225 306772 | 21118 8248 35 | 0.018 % |
6.85/6.94 c | 8413 | 5504 63225 306772 | 21118 8411 35 | 0.018 % |
6.85/6.96 c | 8591 | 5504 63225 306772 | 21118 8589 35 | 0.018 % |
6.85/6.97 c | 8784 | 5504 63225 306772 | 21118 8782 35 | 0.018 % |
6.95/7.01 c | 8998 | 5504 63225 306772 | 21118 8996 35 | 0.018 % |
6.95/7.04 c | 9233 | 5504 63225 306772 | 21118 9231 34 | 0.018 % |
7.05/7.10 c | 9489 | 5504 63225 306772 | 21118 9487 33 | 0.018 % |
7.05/7.11 c | 9589 | 5504 63225 306772 | 21118 9587 33 | 0.018 % |
7.05/7.12 c | 9699 | 5504 63225 306772 | 21118 9697 33 | 0.018 % |
7.05/7.13 c | 9823 | 5504 63225 306772 | 21118 9821 33 | 0.018 % |
7.05/7.15 c | 9956 | 5504 63225 306772 | 21118 9954 33 | 0.018 % |
7.05/7.16 c | 10104 | 5504 63225 306772 | 2147483647 10102 33 | 0.018 % |
7.05/7.18 c | 10264 | 5504 63225 306772 | 2147483647 10262 33 | 0.018 % |
7.15/7.20 c | 10440 | 5504 63225 306772 | 2147483647 10438 33 | 0.018 % |
7.15/7.22 c | 10633 | 5504 63225 306772 | 2147483647 10631 33 | 0.018 % |
7.15/7.26 c | 10845 | 5504 63225 306772 | 2147483647 10843 33 | 0.018 % |
7.15/7.29 c | 11078 | 5504 63225 306772 | 2147483647 11076 33 | 0.018 % |
7.25/7.31 c | 11335 | 5504 63225 306772 | 2147483647 11333 33 | 0.018 % |
7.25/7.35 c | 11617 | 5504 63225 306772 | 2147483647 11615 33 | 0.018 % |
7.25/7.36 c | 11717 | 5504 63225 306772 | 2147483647 11715 33 | 0.018 % |
7.25/7.38 c | 11827 | 5504 63225 306772 | 2147483647 11825 33 | 0.018 % |
7.25/7.39 c | 11948 | 5504 63225 306772 | 2147483647 11946 33 | 0.018 % |
7.35/7.40 c | 12082 | 5504 63225 306772 | 2147483647 12080 33 | 0.018 % |
7.35/7.43 c | 12228 | 5504 63225 306772 | 2147483647 12226 33 | 0.018 % |
7.35/7.45 c | 12389 | 5504 63225 306772 | 2147483647 12387 34 | 0.018 % |
7.35/7.46 c | 12570 | 5504 63225 306772 | 2147483647 12568 34 | 0.018 % |
7.35/7.48 c | 12763 | 5504 63225 306772 | 2147483647 12761 34 | 0.018 % |
7.46/7.50 c | 12976 | 5504 63225 306772 | 2147483647 12974 34 | 0.018 % |
7.46/7.52 c | 13210 | 5504 63225 306772 | 2147483647 13208 34 | 0.018 % |
7.46/7.54 c | 13469 | 5504 63225 306772 | 2147483647 13467 34 | 0.018 % |
7.46/7.58 c | 13750 | 5504 63225 306772 | 2147483647 13748 34 | 0.018 % |
7.56/7.62 c | 14060 | 5504 63225 306772 | 2147483647 14058 34 | 0.018 % |
7.56/7.64 c | 14161 | 5504 63225 306772 | 2147483647 14159 34 | 0.018 % |
7.56/7.65 c | 14271 | 5504 63225 306772 | 2147483647 14269 34 | 0.018 % |
7.56/7.67 c | 14392 | 5504 63225 306772 | 2147483647 14390 35 | 0.018 % |
7.56/7.69 c | 14525 | 5504 63225 306772 | 2147483647 14523 35 | 0.018 % |
7.66/7.72 c | 14671 | 5504 63225 306772 | 2147483647 14669 35 | 0.018 % |
7.66/7.75 c | 14831 | 5504 63225 306772 | 2147483647 14829 35 | 0.018 % |
7.66/7.77 c | 15007 | 5504 63225 306772 | 2147483647 15005 35 | 0.018 % |
7.66/7.78 c | 15201 | 5504 63225 306772 | 2147483647 15199 35 | 0.018 % |
7.75/7.80 c | 15414 | 5504 63225 306772 | 2147483647 15412 35 | 0.018 % |
7.75/7.83 c | 15648 | 5504 63225 306772 | 2147483647 15646 36 | 0.018 % |
7.75/7.88 c | 15908 | 5504 63225 306772 | 2147483647 15906 36 | 0.018 % |
7.85/7.91 c | 16190 | 5504 63225 306772 | 2147483647 16188 37 | 0.018 % |
7.85/7.93 c | 16499 | 5504 63225 306772 | 2147483647 16497 37 | 0.018 % |
7.85/7.96 c | 16838 | 5504 63225 306772 | 2147483647 16836 38 | 0.018 % |
7.85/7.98 c | 16939 | 5504 63225 306772 | 2147483647 16937 38 | 0.018 % |
7.95/8.00 c | 17049 | 5504 63225 306772 | 2147483647 17047 38 | 0.018 % |
7.95/8.01 c | 17171 | 5504 63225 306772 | 2147483647 17169 38 | 0.018 % |
7.95/8.03 c | 17304 | 5504 63225 306772 | 2147483647 17302 38 | 0.018 % |
7.95/8.04 c | 17451 | 5504 63225 306772 | 2147483647 17449 39 | 0.018 % |
7.95/8.06 c | 17611 | 5504 63225 306772 | 2147483647 17609 39 | 0.018 % |
7.95/8.09 c | 17787 | 5504 63225 306772 | 2147483647 17785 39 | 0.018 % |
8.05/8.12 c | 17980 | 5504 63225 306772 | 2147483647 17978 40 | 0.018 % |
8.05/8.15 c | 18197 | 5504 63225 306772 | 2147483647 18195 41 | 0.018 % |
8.05/8.17 c | 18430 | 5504 63225 306772 | 2147483647 18428 41 | 0.018 % |
8.15/8.21 c | 18687 | 5504 63225 306772 | 2147483647 18685 41 | 0.018 % |
8.15/8.26 c | 18969 | 5504 63225 306772 | 2147483647 18967 41 | 0.018 % |
8.25/8.30 c | 19279 | 5504 63225 306772 | 2147483647 19277 42 | 0.018 % |
8.25/8.36 c | 19621 | 5504 63225 306772 | 2147483647 19619 43 | 0.018 % |
8.35/8.41 c | 19993 | 5504 63225 306772 | 2147483647 19991 45 | 0.018 % |
8.35/8.42 c | 20094 | 5504 63225 306772 | 2147483647 20092 46 | 0.018 % |
8.35/8.44 c | 20204 | 5504 63225 306772 | 2147483647 20202 46 | 0.018 % |
8.35/8.46 c | 20325 | 5504 63225 306772 | 2147483647 20323 46 | 0.018 % |
8.35/8.48 c | 20459 | 5504 63225 306772 | 2147483647 20457 46 | 0.018 % |
8.45/8.50 c | 20605 | 5504 63225 306772 | 2147483647 20603 46 | 0.018 % |
8.45/8.52 c | 20767 | 5504 63225 306772 | 2147483647 20765 46 | 0.018 % |
8.45/8.54 c | 20945 | 5504 63225 306772 | 2147483647 20943 46 | 0.018 % |
8.45/8.58 c | 21138 | 5504 63225 306772 | 2147483647 21136 46 | 0.018 % |
8.55/8.60 c | 21352 | 5504 63225 306772 | 2147483647 21350 47 | 0.018 % |
8.55/8.63 c | 21587 | 5504 63225 306772 | 2147483647 21585 47 | 0.018 % |
8.55/8.67 c | 21845 | 5504 63225 306772 | 2147483647 21843 48 | 0.018 % |
8.65/8.71 c | 22126 | 5504 63225 306772 | 2147483647 22124 49 | 0.018 % |
8.65/8.77 c | 22435 | 5504 63225 306772 | 2147483647 22433 49 | 0.018 % |
8.75/8.83 c | 22774 | 5504 63225 306772 | 2147483647 22772 50 | 0.018 % |
8.75/8.88 c | 23150 | 5504 63225 306772 | 2147483647 23148 52 | 0.018 % |
8.84/8.93 c | 23561 | 5504 63225 306772 | 2147483647 23559 53 | 0.018 % |
8.84/8.94 c | 23664 | 5504 63225 306772 | 2147483647 23662 53 | 0.018 % |
8.84/8.96 c | 23776 | 5504 63225 306772 | 2147483647 23774 53 | 0.018 % |
8.84/8.98 c | 23897 | 5504 63225 306772 | 2147483647 23895 53 | 0.018 % |
8.94/9.01 c | 24035 | 5504 63225 306772 | 2147483647 24033 53 | 0.018 % |
8.94/9.03 c | 24183 | 5504 63225 306772 | 2147483647 24181 54 | 0.018 % |
8.94/9.06 c | 24345 | 5504 63225 306772 | 2147483647 24343 54 | 0.018 % |
8.94/9.08 c | 24525 | 5504 63225 306772 | 2147483647 24523 55 | 0.018 % |
9.04/9.11 c | 24727 | 5504 63225 306772 | 2147483647 24725 55 | 0.018 % |
9.04/9.16 c | 24939 | 5504 63225 306772 | 2147483647 24937 55 | 0.018 % |
9.04/9.19 c | 25172 | 5504 63225 306772 | 2147483647 25170 55 | 0.018 % |
9.14/9.23 c | 25428 | 5504 63225 306772 | 2147483647 25426 56 | 0.018 % |
9.14/9.26 c | 25711 | 5504 63225 306772 | 2147483647 25709 56 | 0.018 % |
9.25/9.31 c | 26020 | 5504 63225 306772 | 2147483647 26018 56 | 0.018 % |
9.25/9.35 c | 26366 | 5504 63225 306772 | 2147483647 26364 56 | 0.018 % |
9.35/9.40 c | 26738 | 5504 63225 306772 | 2147483647 26736 57 | 0.018 % |
9.35/9.46 c | 27147 | 5504 63225 306772 | 2147483647 27145 58 | 0.018 % |
9.45/9.56 c | 27596 | 5504 63225 306772 | 2147483647 27594 59 | 0.018 % |
9.45/9.59 c | 27696 | 5504 63225 306772 | 2147483647 27694 59 | 0.018 % |
9.55/9.61 c | 27808 | 5504 63225 306772 | 2147483647 27806 59 | 0.018 % |
9.55/9.64 c | 27930 | 5504 63225 306772 | 2147483647 27928 59 | 0.018 % |
9.55/9.66 c | 28064 | 5504 63225 306772 | 2147483647 28062 60 | 0.018 % |
9.55/9.69 c | 28213 | 5504 63225 306772 | 2147483647 28211 61 | 0.018 % |
9.65/9.72 c | 28377 | 5504 63225 306772 | 2147483647 28375 61 | 0.018 % |
9.65/9.75 c | 28554 | 5504 63225 306772 | 2147483647 28552 61 | 0.018 % |
9.65/9.78 c | 28747 | 5504 63225 306772 | 2147483647 28745 61 | 0.018 % |
9.75/9.81 c | 28962 | 5504 63225 306772 | 2147483647 28960 61 | 0.018 % |
9.75/9.87 c | 29195 | 5504 63225 306772 | 2147483647 29193 62 | 0.018 % |
9.85/9.93 c | 29451 | 5504 63225 306772 | 2147483647 29449 62 | 0.018 % |
9.85/9.97 c | 29732 | 5504 63225 306772 | 2147483647 29730 63 | 0.018 % |
9.95/10.02 c | 30044 | 5504 63225 306772 | 2147483647 30042 63 | 0.018 % |
9.95/10.07 c | 30384 | 5504 63225 306772 | 2147483647 30382 63 | 0.018 % |
10.04/10.12 c | 30758 | 5504 63225 306772 | 2147483647 30756 63 | 0.018 % |
10.04/10.18 c | 31167 | 5504 63225 306772 | 2147483647 31165 63 | 0.018 % |
10.14/10.25 c | 31616 | 5504 63225 306772 | 2147483647 31614 62 | 0.018 % |
10.24/10.32 c | 32109 | 5504 63225 306772 | 2147483647 32107 62 | 0.018 % |
10.24/10.35 c | 32209 | 5504 63225 306772 | 2147483647 32207 62 | 0.018 % |
10.24/10.39 c | 32323 | 5504 63225 306772 | 2147483647 32321 62 | 0.018 % |
10.34/10.42 c | 32444 | 5504 63225 306772 | 2147483647 32442 62 | 0.018 % |
10.34/10.43 c | 32580 | 5504 63225 306772 | 2147483647 32578 62 | 0.018 % |
10.34/10.48 c | 32726 | 5504 63225 306772 | 2147483647 32724 62 | 0.018 % |
10.44/10.51 c | 32888 | 5504 63225 306772 | 2147483647 32886 62 | 0.018 % |
10.44/10.55 c | 33065 | 5504 63225 306772 | 2147483647 33063 62 | 0.018 % |
10.44/10.60 c | 33261 | 5504 63225 306772 | 2147483647 33259 62 | 0.018 % |
10.54/10.68 c | 33475 | 5504 63225 306772 | 2147483647 33473 62 | 0.018 % |
10.64/10.72 c | 33709 | 5504 63225 306772 | 2147483647 33707 62 | 0.018 % |
10.64/10.77 c | 33966 | 5504 63225 306772 | 2147483647 33964 62 | 0.018 % |
10.74/10.80 c | 34249 | 5504 63225 306772 | 2147483647 34247 62 | 0.018 % |
10.74/10.84 c | 34559 | 5504 63225 306772 | 2147483647 34557 62 | 0.018 % |
10.74/10.89 c | 34898 | 5504 63225 306772 | 2147483647 34896 62 | 0.018 % |
10.85/10.93 c | 35270 | 5504 63225 306772 | 2147483647 35268 63 | 0.018 % |
10.85/10.97 c | 35679 | 5504 63225 306772 | 2147483647 35677 63 | 0.018 % |
11.04/11.12 c | 36129 | 5504 63225 306772 | 2147483647 36127 64 | 0.018 % |
11.14/11.20 c | 36622 | 5504 63225 306772 | 2147483647 36620 65 | 0.018 % |
11.24/11.30 c | 37165 | 5504 63225 306772 | 2147483647 37163 66 | 0.018 % |
11.24/11.31 c | 37268 | 5504 63225 306772 | 2147483647 37266 66 | 0.018 % |
11.24/11.33 c | 37378 | 5504 63225 306772 | 2147483647 37376 66 | 0.018 % |
11.24/11.36 c | 37502 | 5504 63225 306772 | 2147483647 37500 67 | 0.018 % |
11.34/11.40 c | 37636 | 5504 63225 306772 | 2147483647 37634 67 | 0.018 % |
11.34/11.43 c | 37785 | 5504 63225 306772 | 2147483647 37783 67 | 0.018 % |
11.34/11.46 c | 37948 | 5504 63225 306772 | 2147483647 37946 67 | 0.018 % |
11.45/11.50 c | 38124 | 5504 63225 306772 | 2147483647 38122 67 | 0.018 % |
11.45/11.55 c | 38317 | 5504 63225 306772 | 2147483647 38315 68 | 0.018 % |
11.55/11.60 c | 38532 | 5504 63225 306772 | 2147483647 38530 68 | 0.018 % |
11.55/11.65 c | 38765 | 5504 63225 306772 | 2147483647 38763 68 | 0.018 % |
11.55/11.70 c | 39021 | 5504 63225 306772 | 2147483647 39019 68 | 0.018 % |
11.74/11.80 c | 39302 | 5504 63225 306772 | 2147483647 39300 69 | 0.018 % |
11.74/11.84 c | 39615 | 5504 63225 306772 | 2147483647 39613 69 | 0.018 % |
11.84/11.91 c | 39957 | 5504 63225 306772 | 2147483647 39955 70 | 0.018 % |
11.84/11.98 c | 40329 | 5504 63225 306772 | 2147483647 40327 71 | 0.018 % |
11.95/12.08 c | 40738 | 5504 63225 306772 | 2147483647 40736 72 | 0.018 % |
12.05/12.16 c | 41189 | 5504 63225 306772 | 2147483647 41187 72 | 0.018 % |
12.14/12.29 c | 41684 | 5504 63225 306772 | 2147483647 41682 74 | 0.018 % |
12.44/12.51 c | 42228 | 5504 63225 306772 | 2147483647 42226 76 | 0.018 % |
12.54/12.69 c | 42824 | 5504 63225 306772 | 2147483647 42822 79 | 0.018 % |
12.64/12.72 c | 42924 | 5504 63225 306772 | 2147483647 42922 79 | 0.018 % |
12.64/12.74 c | 43035 | 5504 63225 306772 | 2147483647 43033 79 | 0.018 % |
12.64/12.77 c | 43159 | 5504 63225 306772 | 2147483647 43157 79 | 0.018 % |
12.64/12.79 c | 43292 | 5504 63225 306772 | 2147483647 43290 79 | 0.018 % |
12.74/12.82 c | 43440 | 5504 63225 306772 | 2147483647 43438 79 | 0.018 % |
12.74/12.84 c | 43600 | 5504 63225 306772 | 2147483647 43598 78 | 0.018 % |
12.74/12.88 c | 43780 | 5504 63225 306772 | 2147483647 43778 78 | 0.018 % |
12.84/12.90 c | 43974 | 5504 63225 306772 | 2147483647 43972 78 | 0.018 % |
12.84/12.97 c | 44187 | 5504 63225 306772 | 2147483647 44185 78 | 0.018 % |
12.94/13.02 c | 44420 | 5504 63225 306772 | 2147483647 44418 78 | 0.018 % |
12.94/13.08 c | 44677 | 5504 63225 306772 | 2147483647 44675 78 | 0.018 % |
13.05/13.15 c | 44959 | 5504 63225 306772 | 2147483647 44957 78 | 0.018 % |
13.05/13.20 c | 45268 | 5504 63225 306772 | 2147483647 45266 79 | 0.018 % |
13.15/13.25 c | 45607 | 5504 63225 306772 | 2147483647 45605 78 | 0.018 % |
13.24/13.32 c | 45979 | 5504 63225 306772 | 2147483647 45977 79 | 0.018 % |
13.34/13.40 c | 46389 | 5504 63225 306772 | 2147483647 46387 79 | 0.018 % |
13.34/13.48 c | 46841 | 5504 63225 306772 | 2147483647 46839 79 | 0.018 % |
13.54/13.60 c | 47335 | 5504 63225 306772 | 2147483647 47333 81 | 0.018 % |
13.64/13.70 c | 47877 | 5504 63225 306772 | 2147483647 47875 82 | 0.018 % |
13.74/13.81 c | 48474 | 5504 63225 306772 | 2147483647 48472 82 | 0.018 % |
13.84/13.93 c | 49133 | 5504 63225 306772 | 2147483647 49131 82 | 0.018 % |
13.84/13.95 c | 49233 | 5504 63225 306772 | 2147483647 49231 82 | 0.018 % |
13.84/13.98 c | 49344 | 5504 63225 306772 | 2147483647 49342 82 | 0.018 % |
13.84/13.99 c | 49465 | 5504 63225 306772 | 2147483647 49463 82 | 0.018 % |
13.94/14.01 c | 49599 | 5504 63225 306772 | 2147483647 49597 82 | 0.018 % |
13.94/14.06 c | 49749 | 5504 63225 306772 | 2147483647 49747 82 | 0.018 % |
14.04/14.10 c | 49909 | 5504 63225 306772 | 2147483647 49907 82 | 0.018 % |
14.04/14.14 c | 50085 | 5504 63225 306772 | 2147483647 50083 82 | 0.018 % |
14.04/14.19 c | 50279 | 5504 63225 306772 | 2147483647 50277 82 | 0.018 % |
14.14/14.23 c | 50493 | 5504 63225 306772 | 2147483647 50491 82 | 0.018 % |
14.14/14.29 c | 50729 | 5504 63225 306772 | 2147483647 50727 82 | 0.018 % |
14.24/14.34 c | 50985 | 5504 63225 306772 | 2147483647 50983 82 | 0.018 % |
14.33/14.40 c | 51268 | 5504 63225 306772 | 2147483647 51266 82 | 0.018 % |
14.33/14.47 c | 51577 | 5504 63225 306772 | 2147483647 51575 82 | 0.018 % |
14.43/14.58 c | 51916 | 5504 63225 306772 | 2147483647 51914 83 | 0.018 % |
14.53/14.68 c | 52289 | 5504 63225 306772 | 2147483647 52287 84 | 0.018 % |
14.63/14.74 c | 52698 | 5504 63225 306772 | 2147483647 52696 84 | 0.018 % |
14.73/14.88 c | 53147 | 5504 63225 306772 | 2147483647 53145 85 | 0.018 % |
14.94/15.01 c | 53642 | 5504 63225 306772 | 2147483647 53640 86 | 0.018 % |
14.94/15.09 c | 54185 | 5504 63225 306772 | 2147483647 54183 86 | 0.018 % |
15.14/15.24 c | 54782 | 5504 63225 306772 | 2147483647 54780 87 | 0.018 % |
15.24/15.39 c | 55441 | 5504 63225 306772 | 2147483647 55439 88 | 0.018 % |
15.44/15.55 c | 56161 | 5504 63225 306772 | 2147483647 56159 90 | 0.018 % |
15.44/15.58 c | 56262 | 5504 63225 306772 | 2147483647 56260 90 | 0.018 % |
15.54/15.60 c | 56372 | 5504 63225 306772 | 2147483647 56370 90 | 0.018 % |
15.54/15.62 c | 56493 | 5504 63225 306772 | 2147483647 56491 90 | 0.018 % |
15.54/15.66 c | 56627 | 5504 63225 306772 | 2147483647 56625 90 | 0.018 % |
15.54/15.68 c | 56773 | 5504 63225 306772 | 2147483647 56771 90 | 0.018 % |
15.64/15.74 c | 56939 | 5504 63225 306772 | 2147483647 56937 90 | 0.018 % |
15.64/15.78 c | 57118 | 5504 63225 306772 | 2147483647 57116 90 | 0.018 % |
15.73/15.83 c | 57311 | 5504 63225 306772 | 2147483647 57309 90 | 0.018 % |
15.73/15.87 c | 57524 | 5504 63225 306772 | 2147483647 57522 90 | 0.018 % |
15.83/15.97 c | 57757 | 5504 63225 306772 | 2147483647 57755 90 | 0.018 % |
15.93/16.04 c | 58013 | 5504 63225 306772 | 2147483647 58011 90 | 0.018 % |
16.03/16.12 c | 58295 | 5504 63225 306772 | 2147483647 58293 90 | 0.018 % |
16.13/16.21 c | 58605 | 5504 63225 306772 | 2147483647 58603 90 | 0.018 % |
16.13/16.27 c | 58946 | 5504 63225 306772 | 2147483647 58944 90 | 0.018 % |
16.23/16.33 c | 59320 | 5504 63225 306772 | 2147483647 59318 90 | 0.018 % |
16.34/16.41 c | 59730 | 5504 63225 306772 | 2147483647 59728 91 | 0.018 % |
16.44/16.52 c | 60183 | 5504 63225 306772 | 2147483647 60181 91 | 0.018 % |
16.53/16.64 c | 60677 | 5504 63225 306772 | 2147483647 60675 92 | 0.018 % |
16.63/16.76 c | 61219 | 5504 63225 306772 | 2147483647 61217 93 | 0.018 % |
16.93/17.02 c | 61818 | 5504 63225 306772 | 2147483647 61816 94 | 0.018 % |
17.13/17.23 c | 62473 | 5504 63225 306772 | 2147483647 62471 95 | 0.018 % |
17.23/17.39 c | 63194 | 5504 63225 306772 | 2147483647 63192 95 | 0.018 % |
17.44/17.54 c | 63986 | 5504 63225 306772 | 2147483647 63984 95 | 0.018 % |
17.44/17.57 c | 64088 | 5504 63225 306772 | 2147483647 64086 95 | 0.018 % |
17.54/17.63 c | 64200 | 5504 63225 306772 | 2147483647 64198 95 | 0.018 % |
17.54/17.67 c | 64322 | 5504 63225 306772 | 2147483647 64320 95 | 0.018 % |
17.64/17.71 c | 64457 | 5504 63225 306772 | 2147483647 64455 95 | 0.018 % |
17.64/17.74 c | 64606 | 5504 63225 306772 | 2147483647 64604 95 | 0.018 % |
17.64/17.79 c | 64767 | 5504 63225 306772 | 2147483647 64765 95 | 0.018 % |
17.74/17.83 c | 64945 | 5504 63225 306772 | 2147483647 64943 95 | 0.018 % |
17.74/17.88 c | 65142 | 5504 63225 306772 | 2147483647 65140 95 | 0.018 % |
17.83/17.92 c | 65356 | 5504 63225 306772 | 2147483647 65354 96 | 0.018 % |
17.83/17.99 c | 65591 | 5504 63225 306772 | 2147483647 65589 96 | 0.018 % |
17.93/18.07 c | 65850 | 5504 63225 306772 | 2147483647 65848 96 | 0.018 % |
18.03/18.17 c | 66132 | 5504 63225 306772 | 2147483647 66130 96 | 0.018 % |
18.13/18.23 c | 66441 | 5504 63225 306772 | 2147483647 66439 97 | 0.018 % |
18.23/18.32 c | 66781 | 5504 63225 306772 | 2147483647 66779 97 | 0.018 % |
18.23/18.39 c | 67153 | 5504 63225 306772 | 2147483647 67151 97 | 0.018 % |
18.33/18.45 c | 67562 | 5504 63225 306772 | 2147483647 67560 97 | 0.018 % |
18.53/18.63 c | 68012 | 5504 63225 306772 | 2147483647 68010 97 | 0.018 % |
18.63/18.76 c | 68505 | 5504 63225 306772 | 2147483647 68503 98 | 0.018 % |
18.82/18.94 c | 69050 | 5504 63225 306772 | 2147483647 69048 98 | 0.018 % |
18.92/19.09 c | 69646 | 5504 63225 306772 | 2147483647 69644 99 | 0.018 % |
19.13/19.27 c | 70302 | 5504 63225 306772 | 2147483647 70300 100 | 0.018 % |
19.43/19.51 c | 71023 | 5504 63225 306772 | 2147483647 71021 101 | 0.018 % |
19.63/19.77 c | 71816 | 5504 63225 306772 | 2147483647 71814 102 | 0.018 % |
19.92/20.09 c | 72688 | 5504 63225 306772 | 2147483647 72686 104 | 0.018 % |
20.02/20.12 c | 72791 | 5504 63225 306772 | 2147483647 72789 104 | 0.018 % |
20.02/20.19 c | 72903 | 5504 63225 306772 | 2147483647 72901 104 | 0.018 % |
20.13/20.20 c | 73024 | 5504 63225 306772 | 2147483647 73022 104 | 0.018 % |
20.13/20.27 c | 73157 | 5504 63225 306772 | 2147483647 73155 104 | 0.018 % |
20.23/20.31 c | 73304 | 5504 63225 306772 | 2147483647 73302 104 | 0.018 % |
20.23/20.39 c | 73464 | 5504 63225 306772 | 2147483647 73462 105 | 0.018 % |
20.33/20.47 c | 73641 | 5503 63096 306513 | 2147483647 73637 105 | 0.036 % |
20.43/20.51 c | 73840 | 5503 63096 306513 | 2147483647 73836 105 | 0.036 % |
20.43/20.53 c | 74052 | 5503 63096 306513 | 2147483647 74048 105 | 0.036 % |
20.53/20.65 c | 74285 | 5503 63096 306513 | 2147483647 74281 105 | 0.036 % |
20.63/20.73 c | 74542 | 5503 63096 306513 | 2147483647 74538 105 | 0.036 % |
20.63/20.79 c | 74823 | 5503 63096 306513 | 2147483647 74819 105 | 0.036 % |
20.74/20.87 c | 75132 | 5503 63096 306513 | 2147483647 75128 105 | 0.036 % |
20.84/20.97 c | 75472 | 5503 63096 306513 | 2147483647 75468 105 | 0.036 % |
20.93/21.08 c | 75844 | 5503 63096 306513 | 2147483647 75840 105 | 0.036 % |
21.13/21.25 c | 76254 | 5503 63096 306513 | 2147483647 76250 106 | 0.036 % |
21.23/21.36 c | 76706 | 5503 63096 306513 | 2147483647 76702 106 | 0.036 % |
21.43/21.54 c | 77200 | 5503 63096 306513 | 2147483647 77196 106 | 0.036 % |
21.53/21.66 c | 77748 | 5503 63096 306513 | 2147483647 77744 107 | 0.036 % |
21.72/21.80 c | 78344 | 5503 63096 306513 | 2147483647 78340 107 | 0.036 % |
21.93/22.01 c | 78999 | 5503 63096 306513 | 2147483647 78995 107 | 0.036 % |
22.12/22.24 c | 79723 | 5503 63096 306513 | 2147483647 79719 108 | 0.036 % |
22.43/22.59 c | 80516 | 5503 63096 306513 | 2147483647 80512 108 | 0.036 % |
22.83/22.92 c | 81393 | 5503 63096 306513 | 2147483647 81389 111 | 0.036 % |
23.13/23.20 c | 82352 | 5503 63096 306513 | 2147483647 82348 112 | 0.036 % |
23.13/23.24 c | 82452 | 5503 63096 306513 | 2147483647 82448 113 | 0.036 % |
23.23/23.31 c | 82562 | 5503 63096 306513 | 2147483647 82558 113 | 0.036 % |
23.23/23.39 c | 82689 | 5503 63096 306513 | 2147483647 82685 113 | 0.036 % |
23.33/23.44 c | 82823 | 5503 63096 306513 | 2147483647 82819 113 | 0.036 % |
23.43/23.52 c | 82969 | 5503 63096 306513 | 2147483647 82965 113 | 0.036 % |
23.43/23.58 c | 83130 | 5503 63096 306513 | 2147483647 83126 113 | 0.036 % |
23.53/23.63 c | 83306 | 5503 63096 306513 | 2147483647 83302 113 | 0.036 % |
23.53/23.68 c | 83508 | 5503 63096 306513 | 2147483647 83504 113 | 0.036 % |
23.62/23.78 c | 83721 | 5503 63096 306513 | 2147483647 83717 113 | 0.036 % |
23.72/23.87 c | 83954 | 5503 63096 306513 | 2147483647 83950 113 | 0.036 % |
23.82/23.98 c | 84211 | 5503 63096 306513 | 2147483647 84207 113 | 0.036 % |
24.03/24.10 c | 84497 | 5503 63096 306513 | 2147483647 84493 113 | 0.036 % |
24.13/24.23 c | 84806 | 5503 63096 306513 | 2147483647 84802 113 | 0.036 % |
24.23/24.34 c | 85145 | 5503 63096 306513 | 2147483647 85141 113 | 0.036 % |
24.33/24.45 c | 85519 | 5503 63096 306513 | 2147483647 85515 113 | 0.036 % |
24.53/24.60 c | 85928 | 5503 63096 306513 | 2147483647 85924 113 | 0.036 % |
24.83/24.90 c | 86378 | 5503 63096 306513 | 2147483647 86374 113 | 0.036 % |
24.93/25.05 c | 86871 | 5503 63096 306513 | 2147483647 86867 114 | 0.036 % |
25.13/25.22 c | 87413 | 5503 63096 306513 | 2147483647 87409 114 | 0.036 % |
25.23/25.31 c | 88014 | 5503 63096 306513 | 2147483647 88010 115 | 0.036 % |
25.43/25.51 c | 88671 | 5503 63096 306513 | 2147483647 88667 115 | 0.036 % |
25.63/25.79 c | 89393 | 5503 63096 306513 | 2147483647 89389 116 | 0.036 % |
25.83/25.98 c | 90186 | 5503 63096 306513 | 2147483647 90182 116 | 0.036 % |
26.03/26.17 c | 91057 | 5503 63096 306513 | 2147483647 91053 117 | 0.036 % |
26.62/26.70 c | 92015 | 5503 63096 306513 | 2147483647 92011 117 | 0.036 % |
26.92/27.04 c | 93071 | 5503 63096 306513 | 2147483647 93067 117 | 0.036 % |
27.02/27.11 c | 93173 | 5503 63096 306513 | 2147483647 93169 117 | 0.036 % |
27.02/27.19 c | 93283 | 5503 63096 306513 | 2147483647 93279 117 | 0.036 % |
27.12/27.28 c | 93404 | 5503 63096 306513 | 2147483647 93400 117 | 0.036 % |
27.12/27.29 c | 93540 | 5503 63096 306513 | 2147483647 93536 117 | 0.036 % |
27.22/27.39 c | 93686 | 5503 63096 306513 | 2147483647 93682 117 | 0.036 % |
27.33/27.43 c | 93846 | 5503 63096 306513 | 2147483647 93842 117 | 0.036 % |
27.33/27.48 c | 94022 | 5503 63096 306513 | 2147483647 94018 117 | 0.036 % |
27.42/27.56 c | 94220 | 5503 63096 306513 | 2147483647 94216 118 | 0.036 % |
27.52/27.68 c | 94433 | 5503 63096 306513 | 2147483647 94429 118 | 0.036 % |
27.72/27.84 c | 94666 | 5503 63096 306513 | 2147483647 94662 118 | 0.036 % |
27.82/27.94 c | 94922 | 5503 63096 306513 | 2147483647 94918 118 | 0.036 % |
27.92/28.06 c | 95203 | 5503 63096 306513 | 2147483647 95199 118 | 0.036 % |
28.02/28.18 c | 95512 | 5503 63096 306513 | 2147483647 95508 118 | 0.036 % |
28.12/28.29 c | 95851 | 5503 63096 306513 | 2147483647 95847 118 | 0.036 % |
28.32/28.44 c | 96224 | 5503 63096 306513 | 2147483647 96220 118 | 0.036 % |
28.62/28.72 c | 96633 | 5503 63096 306513 | 2147483647 96629 119 | 0.036 % |
28.72/28.83 c | 97084 | 5503 63096 306513 | 2147483647 97080 120 | 0.036 % |
28.92/29.06 c | 97577 | 5503 63096 306513 | 2147483647 97573 120 | 0.036 % |
29.13/29.26 c | 98124 | 5503 63096 306513 | 2147483647 98120 120 | 0.036 % |
29.42/29.55 c | 98722 | 5503 63096 306513 | 2147483647 98718 120 | 0.036 % |
29.72/29.88 c | 99377 | 5503 63096 306513 | 2147483647 99373 121 | 0.036 % |
30.02/30.11 c | 100097 | 5503 63096 306513 | 2147483647 100093 121 | 0.036 % |
30.32/30.45 c | 100892 | 5503 63096 306513 | 2147483647 100888 122 | 0.036 % |
30.62/30.73 c | 101763 | 5503 63096 306513 | 2147483647 101759 122 | 0.036 % |
31.12/31.20 c | 102721 | 5503 63096 306513 | 2147483647 102717 124 | 0.036 % |
31.52/31.60 c | 103780 | 5503 63096 306513 | 2147483647 103776 124 | 0.036 % |
31.82/31.96 c | 104938 | 5503 63096 306513 | 2147483647 104934 125 | 0.036 % |
31.92/32.04 c | 105039 | 5503 63096 306513 | 2147483647 105035 125 | 0.036 % |
31.92/32.07 c | 105149 | 5503 63096 306513 | 2147483647 105145 125 | 0.036 % |
32.02/32.10 c | 105271 | 5503 63096 306513 | 2147483647 105267 125 | 0.036 % |
32.02/32.13 c | 105404 | 5503 63096 306513 | 2147483647 105400 124 | 0.036 % |
32.12/32.22 c | 105550 | 5503 63096 306513 | 2147483647 105546 125 | 0.036 % |
32.12/32.28 c | 105710 | 5503 63096 306513 | 2147483647 105706 124 | 0.036 % |
32.22/32.38 c | 105891 | 5503 63096 306513 | 2147483647 105887 125 | 0.036 % |
32.42/32.51 c | 106087 | 5503 63096 306513 | 2147483647 106083 125 | 0.036 % |
32.52/32.62 c | 106304 | 5503 63096 306513 | 2147483647 106300 125 | 0.036 % |
32.62/32.73 c | 106537 | 5503 63096 306513 | 2147483647 106533 125 | 0.036 % |
32.72/32.82 c | 106795 | 5503 63096 306513 | 2147483647 106791 125 | 0.036 % |
32.72/32.90 c | 107077 | 5503 63096 306513 | 2147483647 107073 125 | 0.036 % |
32.92/33.07 c | 107386 | 5503 63096 306513 | 2147483647 107382 125 | 0.036 % |
33.21/33.30 c | 107729 | 5503 63096 306513 | 2147483647 107725 126 | 0.036 % |
33.31/33.46 c | 108103 | 5503 63096 306513 | 2147483647 108099 126 | 0.036 % |
33.51/33.68 c | 108512 | 5503 63096 306513 | 2147483647 108508 127 | 0.036 % |
33.71/33.80 c | 108964 | 5503 63096 306513 | 2147483647 108960 127 | 0.036 % |
33.81/33.96 c | 109457 | 5503 63096 306513 | 2147483647 109453 127 | 0.036 % |
34.11/34.28 c | 110000 | 5503 63096 306513 | 2147483647 109996 129 | 0.036 % |
34.41/34.51 c | 110596 | 5503 63096 306513 | 2147483647 110592 129 | 0.036 % |
34.61/34.70 c | 111251 | 5503 63096 306513 | 2147483647 111247 130 | 0.036 % |
34.82/34.92 c | 111972 | 5503 63096 306513 | 2147483647 111968 130 | 0.036 % |
35.12/35.29 c | 112765 | 5503 63096 306513 | 2147483647 112761 132 | 0.036 % |
35.61/35.71 c | 113638 | 5503 63096 306513 | 2147483647 113634 133 | 0.036 % |
35.91/36.06 c | 114599 | 5503 63096 306513 | 2147483647 114595 135 | 0.036 % |
36.31/36.42 c | 115652 | 5503 63096 306513 | 2147483647 115648 136 | 0.036 % |
36.71/36.81 c | 116812 | 5503 63096 306513 | 2147483647 116808 138 | 0.036 % |
37.11/37.29 c | 118085 | 5503 63096 306513 | 2147483647 118081 139 | 0.036 % |
37.21/37.36 c | 118185 | 5503 63096 306513 | 2147483647 118181 139 | 0.036 % |
37.21/37.39 c | 118298 | 5503 63096 306513 | 2147483647 118294 139 | 0.036 % |
37.31/37.46 c | 118419 | 5503 63096 306513 | 2147483647 118415 139 | 0.036 % |
37.41/37.56 c | 118553 | 5503 63096 306513 | 2147483647 118549 139 | 0.036 % |
37.51/37.62 c | 118700 | 5503 63096 306513 | 2147483647 118696 139 | 0.036 % |
37.51/37.67 c | 118862 | 5503 63096 306513 | 2147483647 118858 139 | 0.036 % |
37.60/37.76 c | 119038 | 5503 63096 306513 | 2147483647 119034 139 | 0.036 % |
37.70/37.88 c | 119231 | 5503 63096 306513 | 2147483647 119227 139 | 0.036 % |
37.80/37.97 c | 119443 | 5503 63096 306513 | 2147483647 119439 139 | 0.036 % |
37.90/38.06 c | 119677 | 5503 63096 306513 | 2147483647 119673 139 | 0.036 % |
38.10/38.21 c | 119933 | 5503 63096 306513 | 2147483647 119929 140 | 0.036 % |
38.20/38.32 c | 120215 | 5503 63096 306513 | 2147483647 120211 140 | 0.036 % |
38.30/38.45 c | 120524 | 5503 63096 306513 | 2147483647 120520 140 | 0.036 % |
38.50/38.62 c | 120865 | 5503 63096 306513 | 2147483647 120861 140 | 0.036 % |
38.60/38.79 c | 121239 | 5503 63096 306513 | 2147483647 121235 140 | 0.036 % |
38.80/38.99 c | 121651 | 5503 63096 306513 | 2147483647 121647 140 | 0.036 % |
39.10/39.27 c | 122100 | 5503 63096 306513 | 2147483647 122096 140 | 0.036 % |
39.41/39.59 c | 122594 | 5503 63096 306513 | 2147483647 122590 140 | 0.036 % |
39.71/39.86 c | 123136 | 5503 63096 306513 | 2147483647 123132 141 | 0.036 % |
40.01/40.11 c | 123733 | 5503 63096 306513 | 2147483647 123729 141 | 0.036 % |
40.11/40.29 c | 124391 | 5503 63096 306513 | 2147483647 124387 142 | 0.036 % |
40.40/40.54 c | 125113 | 5503 63096 306513 | 2147483647 125109 142 | 0.036 % |
41.00/41.11 c | 125906 | 5503 63096 306513 | 2147483647 125902 143 | 0.036 % |
41.20/41.31 c | 126777 | 5503 63096 306513 | 2147483647 126773 144 | 0.036 % |
41.71/41.86 c | 127735 | 5503 63096 306513 | 2147483647 127731 146 | 0.036 % |
42.10/42.24 c | 128789 | 5503 63096 306513 | 2147483647 128785 147 | 0.036 % |
42.40/42.57 c | 129947 | 5503 63096 306513 | 2147483647 129943 148 | 0.036 % |
42.90/43.03 c | 131221 | 5503 63096 306513 | 2147483647 131217 149 | 0.036 % |
43.61/43.70 c | 132621 | 5503 63096 306513 | 2147483647 132617 150 | 0.036 % |
43.61/43.75 c | 132721 | 5503 63096 306513 | 2147483647 132717 150 | 0.036 % |
43.70/43.81 c | 132831 | 5503 63096 306513 | 2147483647 132827 151 | 0.036 % |
43.70/43.88 c | 132953 | 5503 63096 306513 | 2147483647 132949 151 | 0.036 % |
43.81/43.94 c | 133088 | 5503 63096 306513 | 2147483647 133084 151 | 0.036 % |
43.91/44.10 c | 133234 | 5503 63096 306513 | 2147483647 133230 151 | 0.036 % |
44.10/44.20 c | 133396 | 5503 63096 306513 | 2147483647 133392 151 | 0.036 % |
44.10/44.29 c | 133572 | 5503 63096 306513 | 2147483647 133568 151 | 0.036 % |
44.30/44.42 c | 133766 | 5503 63096 306513 | 2147483647 133762 151 | 0.036 % |
44.40/44.52 c | 133979 | 5503 63096 306513 | 2147483647 133975 151 | 0.036 % |
44.50/44.69 c | 134215 | 5503 63096 306513 | 2147483647 134211 151 | 0.036 % |
44.70/44.89 c | 134471 | 5503 63096 306513 | 2147483647 134467 151 | 0.036 % |
44.90/45.01 c | 134752 | 5503 63096 306513 | 2147483647 134748 152 | 0.036 % |
45.00/45.12 c | 135063 | 5503 63096 306513 | 2147483647 135059 152 | 0.036 % |
45.19/45.35 c | 135403 | 5503 63096 306513 | 2147483647 135399 152 | 0.036 % |
45.40/45.53 c | 135775 | 5503 63096 306513 | 2147483647 135771 152 | 0.036 % |
45.70/45.83 c | 136184 | 5503 63096 306513 | 2147483647 136180 153 | 0.036 % |
46.00/46.12 c | 136633 | 5503 63096 306513 | 2147483647 136629 153 | 0.036 % |
46.20/46.38 c | 137132 | 5503 63096 306513 | 2147483647 137128 154 | 0.036 % |
46.79/46.95 c | 137674 | 5503 63096 306513 | 2147483647 137670 154 | 0.036 % |
47.10/47.20 c | 138271 | 5503 63096 306513 | 2147483647 138267 155 | 0.036 % |
47.49/47.62 c | 138926 | 5503 63096 306513 | 2147483647 138922 156 | 0.037 % |
47.79/47.96 c | 139648 | 5503 63096 306513 | 2147483647 139644 157 | 0.036 % |
48.29/48.46 c | 140441 | 5503 63096 306513 | 2147483647 140437 158 | 0.036 % |
48.69/48.87 c | 141313 | 5503 63096 306513 | 2147483647 141309 159 | 0.036 % |
49.09/49.28 c | 142272 | 5503 63096 306513 | 2147483647 142268 160 | 0.036 % |
49.69/49.81 c | 143325 | 5503 63096 306513 | 2147483647 143321 161 | 0.036 % |
50.09/50.22 c | 144488 | 5503 63096 306513 | 2147483647 144484 162 | 0.036 % |
50.69/50.80 c | 145761 | 5503 63096 306513 | 2147483647 145757 162 | 0.036 % |
51.09/51.29 c | 147162 | 5503 63096 306513 | 2147483647 147158 162 | 0.036 % |
51.69/51.86 c | 148702 | 5503 63096 306513 | 2147483647 148698 163 | 0.036 % |
51.79/51.90 c | 148803 | 5503 63096 306513 | 2147483647 148799 162 | 0.036 % |
51.79/51.94 c | 148913 | 5503 63096 306513 | 2147483647 148909 162 | 0.036 % |
51.89/52.01 c | 149034 | 5503 63096 306513 | 2147483647 149030 162 | 0.036 % |
51.99/52.14 c | 149169 | 5503 63096 306513 | 2147483647 149165 162 | 0.036 % |
52.09/52.25 c | 149316 | 5503 63096 306513 | 2147483647 149312 162 | 0.036 % |
52.19/52.35 c | 149476 | 5503 63096 306513 | 2147483647 149472 162 | 0.036 % |
52.19/52.40 c | 149653 | 5503 63096 306513 | 2147483647 149649 162 | 0.036 % |
52.28/52.49 c | 149853 | 5503 63096 306513 | 2147483647 149849 162 | 0.036 % |
52.48/52.66 c | 150065 | 5503 63096 306513 | 2147483647 150061 162 | 0.036 % |
52.69/52.82 c | 150298 | 5503 63096 306513 | 2147483647 150294 162 | 0.036 % |
52.78/52.97 c | 150555 | 5503 63096 306513 | 2147483647 150551 162 | 0.036 % |
53.08/53.21 c | 150837 | 5503 63096 306513 | 2147483647 150833 163 | 0.036 % |
53.29/53.44 c | 151147 | 5503 63096 306513 | 2147483647 151143 163 | 0.036 % |
53.49/53.65 c | 151487 | 5503 63096 306513 | 2147483647 151483 163 | 0.036 % |
53.79/53.90 c | 151860 | 5503 63096 306513 | 2147483647 151856 163 | 0.036 % |
54.09/54.23 c | 152269 | 5503 63096 306513 | 2147483647 152265 164 | 0.036 % |
54.38/54.53 c | 152718 | 5503 63096 306513 | 2147483647 152714 165 | 0.036 % |
54.58/54.73 c | 153211 | 5503 63096 306513 | 2147483647 153207 165 | 0.036 % |
55.09/55.26 c | 153759 | 5503 63096 306513 | 2147483647 153755 166 | 0.036 % |
55.39/55.51 c | 154360 | 5503 63096 306513 | 2147483647 154356 166 | 0.036 % |
55.79/55.94 c | 155017 | 5503 63096 306513 | 2147483647 155013 166 | 0.036 % |
56.58/56.76 c | 155737 | 5503 63096 306513 | 2147483647 155733 167 | 0.036 % |
56.88/57.09 c | 156529 | 5503 63096 306513 | 2147483647 156525 167 | 0.036 % |
57.39/57.50 c | 157403 | 5503 63096 306513 | 2147483647 157399 167 | 0.036 % |
57.99/58.18 c | 158362 | 5503 63096 306513 | 2147483647 158358 167 | 0.036 % |
58.68/58.89 c | 159415 | 5503 63096 306513 | 2147483647 159411 168 | 0.036 % |
59.38/59.55 c | 160577 | 5503 63096 306513 | 2147483647 160573 169 | 0.036 % |
60.18/60.33 c | 161853 | 5503 63096 306513 | 2147483647 161849 170 | 0.036 % |
60.99/61.19 c | 163253 | 5503 63096 306513 | 2147483647 163249 171 | 0.036 % |
61.79/61.98 c | 164795 | 5503 63096 306513 | 2147483647 164791 173 | 0.036 % |
62.78/62.96 c | 166490 | 5503 63096 306513 | 2147483647 166486 173 | 0.036 % |
62.88/63.01 c | 166593 | 5503 63096 306513 | 2147483647 166589 173 | 0.036 % |
62.98/63.19 c | 166704 | 5503 63096 306513 | 2147483647 166700 173 | 0.036 % |
63.08/63.28 c | 166826 | 5503 63096 306513 | 2147483647 166822 174 | 0.036 % |
63.18/63.38 c | 166960 | 5503 63096 306513 | 2147483647 166956 174 | 0.036 % |
63.28/63.45 c | 167109 | 5503 63096 306513 | 2147483647 167105 174 | 0.036 % |
63.38/63.55 c | 167271 | 5503 63096 306513 | 2147483647 167267 174 | 0.036 % |
63.48/63.63 c | 167448 | 5503 63096 306513 | 2147483647 167444 174 | 0.036 % |
63.59/63.73 c | 167642 | 5503 63096 306513 | 2147483647 167638 174 | 0.036 % |
63.78/63.90 c | 167854 | 5503 63096 306513 | 2147483647 167850 175 | 0.036 % |
63.98/64.11 c | 168087 | 5503 63096 306513 | 2147483647 168083 175 | 0.036 % |
64.18/64.32 c | 168343 | 5503 63096 306513 | 2147483647 168339 175 | 0.036 % |
64.38/64.50 c | 168632 | 5503 63096 306513 | 2147483647 168628 175 | 0.036 % |
64.48/64.66 c | 168941 | 5503 63096 306513 | 2147483647 168937 175 | 0.036 % |
64.78/64.91 c | 169280 | 5503 63096 306513 | 2147483647 169276 175 | 0.036 % |
64.98/65.19 c | 169652 | 5503 63096 306513 | 2147483647 169648 176 | 0.036 % |
65.38/65.55 c | 170062 | 5503 63096 306513 | 2147483647 170058 176 | 0.036 % |
65.67/65.87 c | 170512 | 5503 63096 306513 | 2147483647 170508 177 | 0.036 % |
66.18/66.34 c | 171005 | 5503 63096 306513 | 2147483647 171001 177 | 0.036 % |
66.58/66.71 c | 171548 | 5503 63096 306513 | 2147483647 171544 178 | 0.036 % |
66.88/67.08 c | 172145 | 5503 63096 306513 | 2147483647 172141 179 | 0.036 % |
67.27/67.44 c | 172800 | 5503 63096 306513 | 2147483647 172796 179 | 0.036 % |
67.77/67.90 c | 173521 | 5503 63096 306513 | 2147483647 173517 179 | 0.036 % |
68.27/68.42 c | 174316 | 5503 63096 306513 | 2147483647 174312 179 | 0.036 % |
68.77/68.98 c | 175187 | 5503 63096 306513 | 2147483647 175183 180 | 0.036 % |
69.47/69.62 c | 176145 | 5503 63096 306513 | 2147483647 176141 181 | 0.036 % |
70.38/70.57 c | 177199 | 5503 63096 306513 | 2147483647 177195 181 | 0.036 % |
71.08/71.29 c | 178358 | 5503 63096 306513 | 2147483647 178354 183 | 0.036 % |
71.97/72.11 c | 179633 | 5503 63096 306513 | 2147483647 179629 184 | 0.036 % |
72.78/72.98 c | 181035 | 5503 63096 306513 | 2147483647 181031 185 | 0.036 % |
73.58/73.73 c | 182576 | 5503 63096 306513 | 2147483647 182572 187 | 0.036 % |
74.77/74.95 c | 184271 | 5503 63096 306513 | 2147483647 184267 189 | 0.036 % |
76.37/76.58 c | 186135 | 5503 63096 306513 | 2147483647 186131 189 | 0.036 % |
76.47/76.62 c | 186235 | 5503 63096 306513 | 2147483647 186231 189 | 0.036 % |
76.47/76.69 c | 186349 | 5503 63096 306513 | 2147483647 186345 189 | 0.036 % |
76.57/76.74 c | 186472 | 5503 63096 306513 | 2147483647 186468 189 | 0.036 % |
76.67/76.82 c | 186606 | 5503 63096 306513 | 2147483647 186602 189 | 0.036 % |
76.78/76.96 c | 186753 | 5503 63096 306513 | 2147483647 186749 189 | 0.036 % |
76.97/77.15 c | 186915 | 5503 63096 306513 | 2147483647 186911 189 | 0.036 % |
77.07/77.26 c | 187091 | 5503 63096 306513 | 2147483647 187087 189 | 0.036 % |
77.27/77.43 c | 187285 | 5503 63096 306513 | 2147483647 187281 189 | 0.036 % |
77.47/77.62 c | 187501 | 5503 63096 306513 | 2147483647 187497 189 | 0.036 % |
77.57/77.77 c | 187734 | 5503 63096 306513 | 2147483647 187730 189 | 0.036 % |
77.77/77.97 c | 187992 | 5503 63096 306513 | 2147483647 187988 189 | 0.036 % |
77.87/78.08 c | 188280 | 5503 63096 306513 | 2147483647 188276 189 | 0.036 % |
78.17/78.32 c | 188591 | 5503 63096 306513 | 2147483647 188587 189 | 0.036 % |
78.37/78.57 c | 188936 | 5503 63096 306513 | 2147483647 188932 190 | 0.036 % |
78.57/78.75 c | 189309 | 5503 63096 306513 | 2147483647 189305 190 | 0.036 % |
78.97/79.15 c | 189720 | 5503 63096 306513 | 2147483647 189716 190 | 0.036 % |
79.27/79.40 c | 190171 | 5503 63096 306513 | 2147483647 190167 190 | 0.036 % |
79.57/79.72 c | 190676 | 5503 63096 306513 | 2147483647 190672 190 | 0.036 % |
79.97/80.15 c | 191218 | 5503 63096 306513 | 2147483647 191214 191 | 0.036 % |
80.47/80.64 c | 191817 | 5503 63096 306513 | 2147483647 191813 191 | 0.036 % |
80.97/81.13 c | 192472 | 5503 63096 306513 | 2147483647 192468 191 | 0.036 % |
81.66/81.83 c | 193192 | 5503 63096 306513 | 2147483647 193188 192 | 0.036 % |
82.36/82.57 c | 193989 | 5503 63096 306513 | 2147483647 193985 192 | 0.036 % |
83.05/83.28 c | 194860 | 5503 63096 306513 | 2147483647 194856 193 | 0.036 % |
83.65/83.83 c | 195818 | 5503 63096 306513 | 2147483647 195814 193 | 0.036 % |
84.36/84.52 c | 196871 | 5503 63096 306513 | 2147483647 196867 193 | 0.036 % |
85.26/85.43 c | 198030 | 5503 63096 306513 | 2147483647 198026 193 | 0.036 % |
86.56/86.73 c | 199304 | 5503 63096 306513 | 2147483647 199300 193 | 0.036 % |
87.25/87.43 c | 200705 | 5503 63096 306513 | 2147483647 200701 194 | 0.036 % |
88.16/88.31 c | 202246 | 5503 63096 306513 | 2147483647 202242 194 | 0.036 % |
89.35/89.53 c | 203941 | 5503 63096 306513 | 2147483647 203937 195 | 0.036 % |
90.75/90.95 c | 205806 | 5503 63096 306513 | 2147483647 205802 195 | 0.036 % |
92.34/92.55 c | 207855 | 5503 63096 306513 | 2147483647 207851 195 | 0.036 % |
92.44/92.65 c | 207956 | 5503 63096 306513 | 2147483647 207952 195 | 0.036 % |
92.54/92.74 c | 208066 | 5503 63096 306513 | 2147483647 208062 195 | 0.036 % |
92.75/92.91 c | 208187 | 5503 63096 306513 | 2147483647 208183 195 | 0.036 % |
92.85/93.02 c | 208320 | 5503 63096 306513 | 2147483647 208316 195 | 0.036 % |
92.95/93.13 c | 208467 | 5503 63096 306513 | 2147483647 208463 195 | 0.036 % |
93.15/93.32 c | 208628 | 5503 63096 306513 | 2147483647 208624 195 | 0.036 % |
93.25/93.43 c | 208804 | 5503 63096 306513 | 2147483647 208800 195 | 0.036 % |
93.45/93.62 c | 208999 | 5503 63096 306513 | 2147483647 208995 195 | 0.036 % |
93.65/93.87 c | 209211 | 5503 63096 306513 | 2147483647 209207 195 | 0.036 % |
93.85/94.02 c | 209445 | 5503 63096 306513 | 2147483647 209441 195 | 0.036 % |
94.15/94.33 c | 209701 | 5503 63096 306513 | 2147483647 209697 195 | 0.036 % |
94.25/94.48 c | 209983 | 5503 63096 306513 | 2147483647 209979 195 | 0.036 % |
94.55/94.71 c | 210292 | 5503 63096 306513 | 2147483647 210288 195 | 0.036 % |
94.75/94.94 c | 210633 | 5503 63096 306513 | 2147483647 210629 195 | 0.036 % |
94.95/95.15 c | 211006 | 5503 63096 306513 | 2147483647 211002 195 | 0.036 % |
95.25/95.47 c | 211416 | 5503 63096 306513 | 2147483647 211412 195 | 0.036 % |
95.55/95.78 c | 211869 | 5503 63096 306513 | 2147483647 211865 195 | 0.036 % |
95.94/96.10 c | 212363 | 5503 63096 306513 | 2147483647 212359 196 | 0.036 % |
96.24/96.44 c | 212906 | 5503 63096 306513 | 2147483647 212902 196 | 0.036 % |
96.85/97.08 c | 213504 | 5503 63096 306513 | 2147483647 213500 196 | 0.036 % |
97.24/97.43 c | 214160 | 5503 63096 306513 | 2147483647 214156 197 | 0.036 % |
97.65/97.83 c | 214880 | 5503 63096 306513 | 2147483647 214876 197 | 0.036 % |
97.94/98.19 c | 215673 | 5503 63096 306513 | 2147483647 215669 197 | 0.036 % |
98.75/98.93 c | 216544 | 5503 63096 306513 | 2147483647 216540 197 | 0.036 % |
99.45/99.62 c | 217502 | 5503 63096 306513 | 2147483647 217498 197 | 0.036 % |
100.65/100.84 c | 218557 | 5503 63096 306513 | 2147483647 218553 197 | 0.036 % |
102.24/102.42 c | 219716 | 5503 63096 306513 | 2147483647 219712 198 | 0.036 % |
103.44/103.70 c | 220989 | 5503 63096 306513 | 2147483647 220985 199 | 0.036 % |
104.94/105.11 c | 222392 | 5503 63096 306513 | 2147483647 222388 199 | 0.036 % |
106.55/106.72 c | 223935 | 5503 63096 306513 | 2147483647 223931 199 | 0.036 % |
108.24/108.46 c | 225632 | 5503 63096 306513 | 2147483647 225628 199 | 0.036 % |
110.34/110.57 c | 227495 | 5503 63096 306513 | 2147483647 227491 200 | 0.036 % |
111.84/112.05 c | 229545 | 5503 63096 306513 | 2147483647 229541 200 | 0.036 % |
113.15/113.40 c | 231798 | 5503 63096 306513 | 2147483647 231794 199 | 0.036 % |
113.24/113.44 c | 231898 | 5503 63096 306513 | 2147483647 231894 199 | 0.036 % |
113.34/113.50 c | 232008 | 5503 63096 306513 | 2147483647 232004 199 | 0.036 % |
113.44/113.67 c | 232129 | 5503 63096 306513 | 2147483647 232125 199 | 0.036 % |
113.54/113.75 c | 232263 | 5503 63096 306513 | 2147483647 232259 199 | 0.036 % |
113.64/113.80 c | 232409 | 5503 63096 306513 | 2147483647 232405 199 | 0.036 % |
113.74/113.91 c | 232570 | 5503 63096 306513 | 2147483647 232566 199 | 0.036 % |
113.84/114.02 c | 232746 | 5503 63096 306513 | 2147483647 232742 199 | 0.036 % |
113.84/114.09 c | 232941 | 5503 63096 306513 | 2147483647 232937 199 | 0.036 % |
114.04/114.21 c | 233153 | 5503 63096 306513 | 2147483647 233149 199 | 0.036 % |
114.14/114.35 c | 233386 | 5503 63096 306513 | 2147483647 233382 199 | 0.036 % |
114.24/114.45 c | 233644 | 5503 63096 306513 | 2147483647 233640 199 | 0.036 % |
114.44/114.61 c | 233928 | 5503 63096 306513 | 2147483647 233924 198 | 0.036 % |
114.54/114.72 c | 234239 | 5503 63096 306513 | 2147483647 234235 198 | 0.036 % |
114.74/114.98 c | 234580 | 5503 63096 306513 | 2147483647 234576 198 | 0.036 % |
114.94/115.18 c | 234955 | 5503 63096 306513 | 2147483647 234951 198 | 0.036 % |
115.24/115.46 c | 235365 | 5503 63096 306513 | 2147483647 235361 198 | 0.036 % |
115.53/115.74 c | 235814 | 5503 63096 306513 | 2147483647 235810 198 | 0.036 % |
115.84/116.03 c | 236309 | 5503 63096 306513 | 2147483647 236305 198 | 0.036 % |
116.04/116.28 c | 236854 | 5503 63096 306513 | 2147483647 236850 198 | 0.036 % |
116.24/116.43 c | 237450 | 5503 63096 306513 | 2147483647 237446 198 | 0.037 % |
116.44/116.69 c | 238105 | 5503 63096 306513 | 2147483647 238101 198 | 0.036 % |
116.94/117.13 c | 238825 | 5503 63096 306513 | 2147483647 238821 198 | 0.036 % |
117.24/117.44 c | 239622 | 5503 63096 306513 | 2147483647 239618 198 | 0.037 % |
117.54/117.77 c | 240497 | 5503 63096 306513 | 2147483647 240493 199 | 0.036 % |
118.03/118.28 c | 241458 | 5503 63096 306513 | 2147483647 241454 199 | 0.036 % |
118.54/118.72 c | 242512 | 5503 63096 306513 | 2147483647 242508 199 | 0.036 % |
119.74/119.98 c | 243671 | 5503 63096 306513 | 2147483647 243667 199 | 0.036 % |
120.74/120.97 c | 244945 | 5503 63096 306513 | 2147483647 244941 199 | 0.036 % |
122.03/122.26 c | 246345 | 5503 63096 306513 | 2147483647 246341 200 | 0.036 % |
123.74/123.97 c | 247885 | 5503 63096 306513 | 2147483647 247881 202 | 0.036 % |
126.53/126.77 c | 249585 | 5503 63096 306513 | 2147483647 249581 204 | 0.036 % |
128.23/128.43 c | 251448 | 5503 63096 306513 | 2147483647 251444 206 | 0.036 % |
130.53/130.78 c | 253497 | 5503 63096 306513 | 2147483647 253493 208 | 0.036 % |
132.83/133.02 c | 255754 | 5503 63096 306513 | 2147483647 255750 210 | 0.036 % |
134.53/134.72 c | 258234 | 5503 63096 306513 | 2147483647 258230 211 | 0.036 % |
134.62/134.86 c | 258336 | 5503 63096 306513 | 2147483647 258332 211 | 0.036 % |
134.72/134.97 c | 258447 | 5503 63096 306513 | 2147483647 258443 211 | 0.036 % |
135.03/135.21 c | 258569 | 5503 63096 306513 | 2147483647 258565 211 | 0.036 % |
135.33/135.55 c | 258712 | 5503 63096 306513 | 2147483647 258708 211 | 0.036 % |
135.52/135.72 c | 258860 | 5503 63096 306513 | 2147483647 258856 212 | 0.036 % |
135.72/135.93 c | 259024 | 5503 63096 306513 | 2147483647 259020 212 | 0.036 % |
136.02/136.27 c | 259202 | 5503 63096 306513 | 2147483647 259198 212 | 0.036 % |
136.32/136.56 c | 259396 | 5503 63096 306513 | 2147483647 259392 212 | 0.036 % |
136.62/136.83 c | 259614 | 5503 63096 306513 | 2147483647 259610 212 | 0.036 % |
136.82/137.07 c | 259847 | 5503 63096 306513 | 2147483647 259843 212 | 0.036 % |
137.22/137.42 c | 260105 | 5503 63096 306513 | 2147483647 260101 212 | 0.036 % |
137.52/137.73 c | 260386 | 5503 63096 306513 | 2147483647 260382 213 | 0.036 % |
137.92/138.14 c | 260697 | 5503 63096 306513 | 2147483647 260693 213 | 0.036 % |
138.22/138.48 c | 261036 | 5503 63096 306513 | 2147483647 261032 213 | 0.036 % |
138.52/138.78 c | 261411 | 5503 63096 306513 | 2147483647 261407 213 | 0.036 % |
138.92/139.13 c | 261820 | 5503 63096 306513 | 2147483647 261816 213 | 0.036 % |
139.12/139.38 c | 262269 | 5503 63096 306513 | 2147483647 262265 213 | 0.036 % |
139.72/139.92 c | 262764 | 5503 63096 306513 | 2147483647 262760 213 | 0.036 % |
140.02/140.24 c | 263307 | 5503 63096 306513 | 2147483647 263303 213 | 0.036 % |
140.22/140.43 c | 263907 | 5503 63096 306513 | 2147483647 263903 213 | 0.036 % |
140.52/140.75 c | 264562 | 5503 63096 306513 | 2147483647 264558 213 | 0.036 % |
140.91/141.11 c | 265283 | 5503 63096 306513 | 2147483647 265279 213 | 0.036 % |
141.51/141.71 c | 266076 | 5503 63096 306513 | 2147483647 266072 213 | 0.036 % |
142.41/142.68 c | 266947 | 5503 63096 306513 | 2147483647 266943 212 | 0.036 % |
143.21/143.42 c | 267905 | 5503 63096 306513 | 2147483647 267901 212 | 0.036 % |
143.62/143.90 c | 268958 | 5503 63096 306513 | 2147483647 268954 213 | 0.036 % |
144.42/144.67 c | 270118 | 5503 63096 306513 | 2147483647 270114 213 | 0.036 % |
145.21/145.46 c | 271394 | 5503 63096 306513 | 2147483647 271390 213 | 0.036 % |
146.31/146.55 c | 272795 | 5503 63096 306513 | 2147483647 272791 213 | 0.036 % |
148.11/148.35 c | 274335 | 5503 63096 306513 | 2147483647 274331 214 | 0.036 % |
149.71/149.93 c | 276029 | 5503 63096 306513 | 2147483647 276025 215 | 0.036 % |
151.62/151.87 c | 277893 | 5503 63096 306513 | 2147483647 277889 217 | 0.036 % |
153.31/153.59 c | 279942 | 5503 63096 306513 | 2147483647 279938 217 | 0.036 % |
155.81/156.09 c | 282195 | 5503 63096 306513 | 2147483647 282191 218 | 0.036 % |
158.31/158.53 c | 284673 | 5503 63096 306513 | 2147483647 284669 219 | 0.036 % |
161.52/161.75 c | 287400 | 5503 63096 306513 | 2147483647 287396 220 | 0.036 % |
161.71/161.90 c | 287502 | 5503 63096 306513 | 2147483647 287498 221 | 0.036 % |
161.91/162.14 c | 287613 | 5503 63096 306513 | 2147483647 287609 221 | 0.036 % |
162.01/162.29 c | 287734 | 5503 63096 306513 | 2147483647 287730 221 | 0.036 % |
162.21/162.49 c | 287868 | 5503 63096 306513 | 2147483647 287864 221 | 0.036 % |
162.41/162.66 c | 288014 | 5503 63096 306513 | 2147483647 288010 221 | 0.036 % |
162.71/162.91 c | 288174 | 5503 63096 306513 | 2147483647 288170 221 | 0.036 % |
162.91/163.12 c | 288350 | 5503 63096 306513 | 2147483647 288346 221 | 0.036 % |
163.11/163.31 c | 288543 | 5503 63096 306513 | 2147483647 288539 221 | 0.036 % |
163.31/163.55 c | 288755 | 5503 63096 306513 | 2147483647 288751 221 | 0.036 % |
164.01/164.22 c | 288991 | 5503 63096 306513 | 2147483647 288987 221 | 0.036 % |
164.30/164.58 c | 289251 | 5503 63096 306513 | 2147483647 289247 221 | 0.036 % |
164.71/164.92 c | 289532 | 5503 63096 306513 | 2147483647 289528 221 | 0.036 % |
165.00/165.25 c | 289843 | 5503 63096 306513 | 2147483647 289839 221 | 0.036 % |
165.20/165.42 c | 290182 | 5503 63096 306513 | 2147483647 290178 221 | 0.036 % |
165.70/165.94 c | 290554 | 5503 63096 306513 | 2147483647 290550 221 | 0.036 % |
166.50/166.77 c | 290963 | 5503 63096 306513 | 2147483647 290959 221 | 0.036 % |
167.10/167.39 c | 291413 | 5503 63096 306513 | 2147483647 291409 222 | 0.036 % |
167.81/168.02 c | 291908 | 5503 63096 306513 | 2147483647 291904 222 | 0.036 % |
168.11/168.39 c | 292450 | 5503 63096 306513 | 2147483647 292446 222 | 0.036 % |
168.81/169.07 c | 293049 | 5503 63096 306513 | 2147483647 293045 222 | 0.036 % |
169.60/169.85 c | 293710 | 5503 63096 306513 | 2147483647 293706 223 | 0.036 % |
170.61/170.80 c | 294434 | 5503 63096 306513 | 2147483647 294430 223 | 0.036 % |
171.41/171.62 c | 295226 | 5503 63096 306513 | 2147483647 295222 223 | 0.036 % |
172.31/172.55 c | 296097 | 5503 63096 306513 | 2147483647 296093 223 | 0.036 % |
173.00/173.29 c | 297058 | 5503 63096 306513 | 2147483647 297054 223 | 0.036 % |
174.30/174.59 c | 298112 | 5503 63096 306513 | 2147483647 298108 224 | 0.036 % |
175.81/176.09 c | 299271 | 5503 63096 306513 | 2147483647 299267 225 | 0.036 % |
177.50/177.76 c | 300553 | 5503 63096 306513 | 2147483647 300549 226 | 0.036 % |
179.30/179.60 c | 301957 | 5503 63096 306513 | 2147483647 301953 228 | 0.036 % |
181.59/181.84 c | 303499 | 5503 63096 306513 | 2147483647 303495 229 | 0.036 % |
183.10/183.35 c | 305196 | 5503 63096 306513 | 2147483647 305192 231 | 0.036 % |
185.59/185.89 c | 307062 | 5503 63096 306513 | 2147483647 307058 233 | 0.036 % |
187.79/188.06 c | 309112 | 5503 63096 306513 | 2147483647 309108 234 | 0.036 % |
190.09/190.36 c | 311365 | 5503 63096 306513 | 2147483647 311361 236 | 0.036 % |
193.69/193.96 c | 313843 | 5503 63096 306513 | 2147483647 313839 237 | 0.036 % |
197.09/197.34 c | 316576 | 5503 63096 306513 | 2147483647 316572 240 | 0.036 % |
202.19/202.45 c | 319574 | 5503 63096 306513 | 2147483647 319570 243 | 0.036 % |
202.38/202.61 c | 319677 | 5503 63096 306513 | 2147483647 319673 243 | 0.036 % |
202.58/202.83 c | 319788 | 5503 63096 306513 | 2147483647 319784 243 | 0.036 % |
202.79/203.03 c | 319910 | 5503 63096 306513 | 2147483647 319906 243 | 0.036 % |
202.89/203.19 c | 320043 | 5503 63096 306513 | 2147483647 320039 243 | 0.036 % |
203.19/203.43 c | 320189 | 5503 63096 306513 | 2147483647 320185 243 | 0.036 % |
203.39/203.64 c | 320350 | 5503 63096 306513 | 2147483647 320346 243 | 0.036 % |
203.69/203.94 c | 320535 | 5503 63096 306513 | 2147483647 320531 243 | 0.036 % |
203.99/204.21 c | 320728 | 5503 63096 306513 | 2147483647 320724 243 | 0.036 % |
204.09/204.34 c | 320941 | 5503 63096 306513 | 2147483647 320937 243 | 0.036 % |
204.19/204.47 c | 321175 | 5503 63096 306513 | 2147483647 321171 243 | 0.036 % |
204.69/204.95 c | 321431 | 5503 63096 306513 | 2147483647 321427 243 | 0.036 % |
205.08/205.31 c | 321714 | 5503 63096 306513 | 2147483647 321710 243 | 0.036 % |
205.58/205.86 c | 322032 | 5503 63096 306513 | 2147483647 322028 243 | 0.036 % |
206.48/206.71 c | 322379 | 5503 63096 306513 | 2147483647 322375 243 | 0.036 % |
206.98/207.21 c | 322753 | 5503 63096 306513 | 2147483647 322749 243 | 0.036 % |
207.39/207.68 c | 323162 | 5503 63096 306513 | 2147483647 323158 243 | 0.036 % |
208.09/208.35 c | 323611 | 5503 63096 306513 | 2147483647 323607 243 | 0.036 % |
208.79/209.01 c | 324104 | 5503 63096 306513 | 2147483647 324100 243 | 0.036 % |
209.38/209.67 c | 324649 | 5503 63096 306513 | 2147483647 324645 243 | 0.036 % |
211.08/211.35 c | 325251 | 5503 63096 306513 | 2147483647 325247 243 | 0.036 % |
212.39/212.67 c | 325907 | 5503 63096 306513 | 2147483647 325903 244 | 0.036 % |
213.79/214.03 c | 326629 | 5503 63096 306513 | 2147483647 326625 244 | 0.036 % |
214.88/215.20 c | 327421 | 5503 63096 306513 | 2147483647 327417 245 | 0.036 % |
216.38/216.69 c | 328297 | 5503 63096 306513 | 2147483647 328293 246 | 0.036 % |
217.59/217.86 c | 329255 | 5503 63096 306513 | 2147483647 329251 247 | 0.036 % |
219.08/219.31 c | 330308 | 5503 63096 306513 | 2147483647 330304 247 | 0.036 % |
220.98/221.29 c | 331470 | 5503 63096 306513 | 2147483647 331466 248 | 0.036 % |
222.48/222.78 c | 332743 | 5503 63096 306513 | 2147483647 332739 249 | 0.036 % |
224.28/224.55 c | 334143 | 5503 63096 306513 | 2147483647 334139 250 | 0.036 % |
226.27/226.56 c | 335696 | 5503 63096 306513 | 2147483647 335692 250 | 0.036 % |
228.57/228.84 c | 337391 | 5503 63096 306513 | 2147483647 337387 250 | 0.036 % |
230.36/230.68 c | 339257 | 5503 63096 306513 | 2147483647 339253 251 | 0.036 % |
233.67/233.92 c | 341306 | 5503 63096 306513 | 2147483647 341302 251 | 0.036 % |
237.06/237.36 c | 343560 | 5503 63096 306513 | 2147483647 343556 251 | 0.036 % |
240.87/241.11 c | 346038 | 5503 63096 306513 | 2147483647 346034 250 | 0.036 % |
243.86/244.14 c | 348763 | 5503 63096 306513 | 2147483647 348759 250 | 0.036 % |
247.17/247.46 c | 351762 | 5503 63096 306513 | 2147483647 351758 249 | 0.036 % |
249.46/249.76 c | 355059 | 5503 63096 306513 | 2147483647 355055 249 | 0.036 % |
249.56/249.87 c | 355159 | 5503 63096 306513 | 2147483647 355155 249 | 0.036 % |
249.66/249.96 c | 355277 | 5503 63096 306513 | 2147483647 355273 249 | 0.036 % |
249.86/250.10 c | 355398 | 5503 63096 306513 | 2147483647 355394 249 | 0.036 % |
249.96/250.21 c | 355534 | 5503 63096 306513 | 2147483647 355530 249 | 0.036 % |
250.06/250.33 c | 355680 | 5503 63096 306513 | 2147483647 355676 249 | 0.036 % |
250.36/250.63 c | 355841 | 5503 63096 306513 | 2147483647 355837 248 | 0.036 % |
250.47/250.80 c | 356018 | 5503 63096 306513 | 2147483647 356014 248 | 0.036 % |
250.86/251.11 c | 356212 | 5503 63096 306513 | 2147483647 356208 248 | 0.036 % |
251.06/251.33 c | 356424 | 5503 63096 306513 | 2147483647 356420 248 | 0.036 % |
251.26/251.51 c | 356660 | 5503 63096 306513 | 2147483647 356656 248 | 0.036 % |
251.86/252.14 c | 356917 | 5503 63096 306513 | 2147483647 356913 248 | 0.036 % |
252.16/252.47 c | 357198 | 5503 63096 306513 | 2147483647 357194 248 | 0.036 % |
252.36/252.60 c | 357507 | 5503 63096 306513 | 2147483647 357503 248 | 0.036 % |
252.86/253.11 c | 357846 | 5503 63096 306513 | 2147483647 357842 248 | 0.036 % |
253.26/253.50 c | 358218 | 5503 63096 306513 | 2147483647 358214 248 | 0.036 % |
253.76/254.02 c | 358628 | 5503 63096 306513 | 2147483647 358624 248 | 0.036 % |
254.26/254.58 c | 359077 | 5503 63096 306513 | 2147483647 359073 248 | 0.036 % |
254.56/254.84 c | 359573 | 5503 63096 306513 | 2147483647 359569 247 | 0.036 % |
255.65/255.94 c | 360118 | 5503 63096 306513 | 2147483647 360114 247 | 0.036 % |
256.55/256.88 c | 360715 | 5503 63096 306513 | 2147483647 360711 247 | 0.036 % |
257.55/257.84 c | 361370 | 5503 63096 306513 | 2147483647 361366 247 | 0.036 % |
258.35/258.68 c | 362090 | 5503 63096 306513 | 2147483647 362086 247 | 0.036 % |
259.45/259.75 c | 362882 | 5503 63096 306513 | 2147483647 362878 247 | 0.036 % |
260.36/260.66 c | 363757 | 5503 63096 306513 | 2147483647 363753 247 | 0.036 % |
261.56/261.84 c | 364715 | 5503 63096 306513 | 2147483647 364711 246 | 0.036 % |
262.65/262.94 c | 365770 | 5503 63096 306513 | 2147483647 365766 246 | 0.036 % |
263.56/263.82 c | 366928 | 5503 63096 306513 | 2147483647 366924 246 | 0.036 % |
264.05/264.33 c | 368202 | 5503 63096 306513 | 2147483647 368198 246 | 0.036 % |
265.05/265.36 c | 369602 | 5503 63096 306513 | 2147483647 369598 246 | 0.037 % |
266.25/266.57 c | 371143 | 5503 63096 306513 | 2147483647 371139 245 | 0.036 % |
267.85/268.19 c | 372838 | 5503 63096 306513 | 2147483647 372834 245 | 0.037 % |
269.06/269.39 c | 374701 | 5503 63096 306513 | 2147483647 374697 245 | 0.037 % |
270.65/270.93 c | 376750 | 5503 63096 306513 | 2147483647 376746 245 | 0.037 % |
272.84/273.17 c | 379004 | 5503 63096 306513 | 2147483647 379000 246 | 0.037 % |
274.94/275.24 c | 381489 | 5503 63096 306513 | 2147483647 381485 245 | 0.036 % |
279.94/280.28 c | 384214 | 5503 63096 306513 | 2147483647 384210 245 | 0.036 % |
283.94/284.22 c | 387211 | 5503 63096 306513 | 2147483647 387207 247 | 0.036 % |
287.14/287.41 c | 390507 | 5503 63096 306513 | 2147483647 390503 248 | 0.036 % |
294.84/295.11 c | 394140 | 5503 63096 306513 | 2147483647 394136 251 | 0.036 % |
295.24/295.52 c | 394240 | 5503 63096 306513 | 2147483647 394236 251 | 0.036 % |
295.44/295.78 c | 394352 | 5503 63096 306513 | 2147483647 394348 251 | 0.036 % |
295.74/296.05 c | 394475 | 5503 63096 306513 | 2147483647 394471 251 | 0.036 % |
295.94/296.25 c | 394609 | 5503 63096 306513 | 2147483647 394605 251 | 0.036 % |
296.23/296.51 c | 394757 | 5503 63096 306513 | 2147483647 394753 251 | 0.036 % |
296.53/296.86 c | 394917 | 5503 63096 306513 | 2147483647 394913 251 | 0.036 % |
296.83/297.10 c | 395093 | 5503 63096 306513 | 2147483647 395089 251 | 0.036 % |
297.03/297.38 c | 395287 | 5503 63096 306513 | 2147483647 395283 251 | 0.036 % |
297.33/297.63 c | 395500 | 5503 63096 306513 | 2147483647 395496 251 | 0.036 % |
297.53/297.85 c | 395734 | 5503 63096 306513 | 2147483647 395730 251 | 0.036 % |
298.33/298.69 c | 395993 | 5503 63096 306513 | 2147483647 395989 251 | 0.036 % |
298.94/299.22 c | 396274 | 5503 63096 306513 | 2147483647 396270 251 | 0.036 % |
299.64/299.93 c | 396583 | 5503 63096 306513 | 2147483647 396579 251 | 0.036 % |
299.94/300.27 c | 396922 | 5503 63096 306513 | 2147483647 396918 251 | 0.036 % |
300.43/300.79 c | 397294 | 5503 63096 306513 | 2147483647 397290 251 | 0.036 % |
301.04/301.38 c | 397707 | 5503 63096 306513 | 2147483647 397703 251 | 0.036 % |
301.63/301.93 c | 398156 | 5503 63096 306513 | 2147483647 398152 251 | 0.036 % |
302.14/302.46 c | 398651 | 5503 63096 306513 | 2147483647 398647 251 | 0.036 % |
302.64/302.99 c | 399194 | 5503 63096 306513 | 2147483647 399190 250 | 0.036 % |
303.34/303.69 c | 399791 | 5503 63096 306513 | 2147483647 399787 250 | 0.036 % |
305.14/305.43 c | 400446 | 5503 63096 306513 | 399999 346745 242 | 0.037 % |
305.84/306.16 c | 401168 | 5503 63096 306513 | 399999 347467 242 | 0.036 % |
306.54/306.89 c | 401960 | 5503 63096 306513 | 399999 348259 242 | 0.037 % |
307.34/307.61 c | 402842 | 5503 63096 306513 | 399999 349141 242 | 0.037 % |
308.34/308.64 c | 403808 | 5503 63096 306513 | 399999 350107 242 | 0.036 % |
309.44/309.78 c | 404863 | 5503 63096 306513 | 399999 351162 242 | 0.037 % |
310.43/310.77 c | 406024 | 5503 63096 306513 | 399999 352323 242 | 0.037 % |
312.73/313.05 c | 407302 | 5503 63096 306513 | 399999 353601 242 | 0.036 % |
313.43/313.78 c | 408702 | 5503 63096 306513 | 399999 355001 242 | 0.036 % |
314.63/314.94 c | 410243 | 5503 63096 306513 | 356299 356542 242 | 0.036 % |
317.43/317.77 c | 411938 | 5503 63096 306513 | 356299 304331 254 | 0.036 % |
319.53/319.89 c | 413804 | 5503 63096 306513 | 356299 306197 254 | 0.036 % |
321.63/321.93 c | 415860 | 5503 63096 306513 | 356299 308253 254 | 0.036 % |
324.13/324.47 c | 418113 | 5503 63096 306513 | 356299 310506 254 | 0.036 % |
327.92/328.26 c | 420595 | 5503 63096 306513 | 2147483647 312988 254 | 0.036 % |
330.92/331.27 c | 423320 | 5503 63096 306513 | 2147483647 315713 254 | 0.036 % |
334.03/334.33 c | 426317 | 5503 63096 306513 | 2147483647 318710 253 | 0.036 % |
336.82/337.12 c | 429613 | 5503 63096 306513 | 2147483647 322006 253 | 0.036 % |
339.82/340.11 c | 433238 | 5503 63096 306513 | 2147483647 325631 255 | 0.036 % |
344.42/344.70 c | 437225 | 5503 63096 306513 | 2147483647 329618 254 | 0.036 % |
344.42/344.80 c | 437326 | 5503 63096 306513 | 2147483647 329719 254 | 0.036 % |
344.52/344.86 c | 437440 | 5503 63096 306513 | 2147483647 329833 254 | 0.036 % |
344.62/344.95 c | 437562 | 5503 63096 306513 | 2147483647 329955 254 | 0.036 % |
344.92/345.23 c | 437696 | 5503 63096 306513 | 2147483647 330089 254 | 0.036 % |
345.22/345.50 c | 437842 | 5503 63096 306513 | 2147483647 330235 254 | 0.036 % |
345.52/345.85 c | 438002 | 5503 63096 306513 | 2147483647 330395 254 | 0.036 % |
345.92/346.21 c | 438178 | 5503 63096 306513 | 2147483647 330571 254 | 0.036 % |
346.12/346.46 c | 438371 | 5503 63096 306513 | 2147483647 330764 254 | 0.036 % |
346.62/346.97 c | 438586 | 5503 63096 306513 | 2147483647 330979 254 | 0.036 % |
347.12/347.42 c | 438824 | 5503 63096 306513 | 2147483647 331217 254 | 0.036 % |
347.42/347.71 c | 439080 | 5503 63096 306513 | 2147483647 331473 254 | 0.036 % |
347.82/348.11 c | 439361 | 5503 63096 306513 | 2147483647 331754 254 | 0.036 % |
348.22/348.59 c | 439672 | 5503 63096 306513 | 2147483647 332065 254 | 0.036 % |
348.72/349.01 c | 440012 | 5503 63096 306513 | 2147483647 332405 254 | 0.036 % |
349.12/349.42 c | 440384 | 5503 63096 306513 | 2147483647 332777 254 | 0.036 % |
349.42/349.78 c | 440796 | 5503 63096 306513 | 2147483647 333189 254 | 0.036 % |
350.11/350.43 c | 441245 | 5503 63096 306513 | 2147483647 333638 254 | 0.036 % |
350.71/351.06 c | 441742 | 5503 63096 306513 | 2147483647 334135 254 | 0.036 % |
351.42/351.77 c | 442284 | 5503 63096 306513 | 2147483647 334677 254 | 0.036 % |
352.72/353.05 c | 442884 | 5503 63096 306513 | 2147483647 335277 254 | 0.036 % |
353.61/353.96 c | 443541 | 5503 63096 306513 | 2147483647 335934 254 | 0.036 % |
354.41/354.74 c | 444262 | 5503 63096 306513 | 2147483647 336655 254 | 0.036 % |
355.21/355.56 c | 445055 | 5503 63096 306513 | 2147483647 337448 254 | 0.036 % |
357.01/357.31 c | 445927 | 5503 63096 306513 | 2147483647 338320 255 | 0.036 % |
359.01/359.30 c | 446885 | 5503 63096 306513 | 2147483647 339278 255 | 0.036 % |
360.81/361.17 c | 447942 | 5503 63096 306513 | 2147483647 340335 256 | 0.036 % |
362.61/362.91 c | 449100 | 5503 63096 306513 | 2147483647 341493 257 | 0.036 % |
364.70/365.01 c | 450373 | 5503 63096 306513 | 342393 342766 257 | 0.036 % |
366.80/367.15 c | 451773 | 5503 63096 306513 | 342393 298208 261 | 0.036 % |
369.60/369.98 c | 453313 | 5503 63096 306513 | 342393 299748 262 | 0.036 % |
373.00/373.31 c | 455007 | 5503 63096 306513 | 342393 301442 263 | 0.036 % |
376.10/376.46 c | 456870 | 5503 63096 306513 | 342393 303305 265 | 0.036 % |
380.60/380.94 c | 458921 | 5503 63096 306513 | 342393 305356 267 | 0.036 % |
384.50/384.85 c | 461174 | 5503 63096 306513 | 306440 275205 255 | 0.036 % |
387.30/387.65 c | 463653 | 5503 63096 306513 | 306440 277684 256 | 0.036 % |
390.39/390.71 c | 466380 | 5503 63096 306513 | 306440 280411 257 | 0.036 % |
393.19/393.55 c | 469382 | 5503 63096 306513 | 306440 283413 258 | 0.036 % |
400.59/400.90 c | 472678 | 5503 63096 306513 | 2147483647 286709 262 | 0.036 % |
407.18/407.56 c | 476304 | 5503 63096 306513 | 2147483647 290335 266 | 0.036 % |
412.68/413.06 c | 480295 | 5503 63096 306513 | 2147483647 294326 269 | 0.036 % |
419.48/419.85 c | 484681 | 5503 63096 306513 | 2147483647 298712 271 | 0.036 % |
419.68/420.03 c | 484781 | 5503 63096 306513 | 2147483647 298812 271 | 0.036 % |
419.88/420.21 c | 484891 | 5503 63096 306513 | 2147483647 298922 271 | 0.036 % |
420.08/420.46 c | 485013 | 5503 63096 306513 | 2147483647 299044 271 | 0.036 % |
420.38/420.77 c | 485147 | 5503 63096 306513 | 2147483647 299178 271 | 0.036 % |
420.68/421.00 c | 485297 | 5503 63096 306513 | 2147483647 299328 271 | 0.036 % |
420.98/421.39 c | 485459 | 5503 63096 306513 | 2147483647 299490 272 | 0.036 % |
421.28/421.70 c | 485635 | 5503 63096 306513 | 2147483647 299666 272 | 0.036 % |
421.78/422.13 c | 485836 | 5503 63096 306513 | 2147483647 299867 272 | 0.036 % |
422.18/422.51 c | 486048 | 5503 63096 306513 | 2147483647 300079 272 | 0.036 % |
422.58/422.90 c | 486281 | 5503 63096 306513 | 2147483647 300312 272 | 0.036 % |
423.08/423.49 c | 486540 | 5503 63096 306513 | 2147483647 300571 273 | 0.036 % |
423.58/423.91 c | 486821 | 5503 63096 306513 | 2147483647 300852 273 | 0.036 % |
423.98/424.37 c | 487130 | 5503 63096 306513 | 2147483647 301161 273 | 0.036 % |
424.58/424.91 c | 487470 | 5503 63096 306513 | 2147483647 301501 273 | 0.036 % |
425.18/425.60 c | 487847 | 5503 63096 306513 | 2147483647 301878 274 | 0.036 % |
425.88/426.29 c | 488261 | 5503 63096 306513 | 2147483647 302292 274 | 0.036 % |
426.88/427.29 c | 488714 | 5503 63096 306513 | 2147483647 302745 274 | 0.036 % |
428.07/428.43 c | 489209 | 5503 63096 306513 | 2147483647 303240 275 | 0.036 % |
428.88/429.22 c | 489757 | 5503 63096 306513 | 2147483647 303788 275 | 0.036 % |
429.78/430.10 c | 490353 | 5503 63096 306513 | 2147483647 304384 276 | 0.036 % |
430.97/431.30 c | 491010 | 5503 63096 306513 | 2147483647 305041 276 | 0.036 % |
431.67/432.00 c | 491737 | 5503 63096 306513 | 2147483647 305768 276 | 0.036 % |
433.67/434.04 c | 492530 | 5503 63096 306513 | 2147483647 306561 277 | 0.036 % |
435.07/435.45 c | 493401 | 5503 63096 306513 | 2147483647 307432 277 | 0.036 % |
436.47/436.89 c | 494364 | 5503 63096 306513 | 2147483647 308395 277 | 0.036 % |
437.57/437.97 c | 495417 | 5503 63096 306513 | 2147483647 309448 277 | 0.036 % |
438.17/438.57 c | 496575 | 5503 63096 306513 | 2147483647 310606 277 | 0.036 % |
439.77/440.18 c | 497849 | 5503 63096 306513 | 2147483647 311880 276 | 0.036 % |
442.47/442.82 c | 499250 | 5503 63096 306513 | 2147483647 313281 277 | 0.036 % |
443.87/444.22 c | 500790 | 5503 63096 306513 | 2147483647 314821 277 | 0.036 % |
446.37/446.71 c | 502487 | 5503 63096 306513 | 2147483647 316518 278 | 0.036 % |
448.47/448.87 c | 504351 | 5503 63096 306513 | 2147483647 318382 278 | 0.036 % |
450.76/451.10 c | 506405 | 5503 63096 306513 | 2147483647 320436 279 | 0.036 % |
457.16/457.54 c | 508662 | 5503 63096 306513 | 2147483647 322693 281 | 0.036 % |
462.16/462.53 c | 511141 | 5503 63096 306513 | 324032 325172 282 | 0.036 % |
468.66/469.01 c | 513873 | 5503 63096 306513 | 324032 277833 279 | 0.036 % |
473.76/474.19 c | 516870 | 5503 63096 306513 | 324032 280830 281 | 0.036 % |
480.55/480.99 c | 520176 | 5503 63096 306513 | 2147483647 284136 284 | 0.036 % |
487.65/488.06 c | 523805 | 5503 63096 306513 | 2147483647 287765 288 | 0.036 % |
496.14/496.58 c | 527792 | 5503 63096 306513 | 2147483647 291752 290 | 0.036 % |
500.04/500.49 c | 532177 | 5503 63096 306513 | 2147483647 296137 290 | 0.036 % |
505.14/505.59 c | 537001 | 5503 63096 306513 | 2147483647 300961 291 | 0.036 % |
505.34/505.77 c | 537109 | 5503 63096 306513 | 2147483647 301069 291 | 0.036 % |
505.44/505.90 c | 537219 | 5503 63096 306513 | 2147483647 301179 291 | 0.036 % |
505.74/506.11 c | 537340 | 5503 63096 306513 | 2147483647 301300 291 | 0.036 % |
505.94/506.31 c | 537473 | 5503 63096 306513 | 2147483647 301433 291 | 0.036 % |
506.04/506.50 c | 537621 | 5503 63096 306513 | 2147483647 301581 291 | 0.036 % |
506.44/506.80 c | 537785 | 5503 63096 306513 | 2147483647 301745 291 | 0.036 % |
506.74/507.17 c | 537961 | 5503 63096 306513 | 2147483647 301921 291 | 0.036 % |
507.04/507.44 c | 538158 | 5503 63096 306513 | 2147483647 302118 291 | 0.036 % |
507.34/507.77 c | 538372 | 5503 63096 306513 | 2147483647 302332 291 | 0.036 % |
507.64/508.08 c | 538605 | 5503 63096 306513 | 2147483647 302565 291 | 0.036 % |
507.94/508.37 c | 538865 | 5503 63096 306513 | 2147483647 302825 291 | 0.036 % |
508.54/508.93 c | 539149 | 5503 63096 306513 | 2147483647 303109 291 | 0.036 % |
508.74/509.11 c | 539458 | 5503 63096 306513 | 2147483647 303418 291 | 0.036 % |
508.94/509.37 c | 539799 | 5503 63096 306513 | 2147483647 303759 290 | 0.036 % |
509.34/509.70 c | 540172 | 5503 63096 306513 | 2147483647 304132 291 | 0.036 % |
509.64/510.05 c | 540582 | 5503 63096 306513 | 2147483647 304542 291 | 0.036 % |
510.14/510.55 c | 541031 | 5503 63096 306513 | 2147483647 304991 291 | 0.036 % |
511.34/511.73 c | 541524 | 5503 63096 306513 | 2147483647 305484 291 | 0.036 % |
512.64/513.07 c | 542071 | 5503 63096 306513 | 2147483647 306031 291 | 0.036 % |
514.64/515.06 c | 542667 | 5503 63096 306513 | 2147483647 306627 291 | 0.036 % |
516.04/516.49 c | 543322 | 5503 63096 306513 | 2147483647 307282 292 | 0.036 % |
518.34/518.77 c | 544049 | 5503 63096 306513 | 2147483647 308009 292 | 0.036 % |
520.53/520.93 c | 544843 | 5503 63096 306513 | 2147483647 308803 293 | 0.036 % |
522.34/522.78 c | 545715 | 5503 63096 306513 | 2147483647 309675 293 | 0.036 % |
523.63/524.03 c | 546675 | 5503 63096 306513 | 2147483647 310635 294 | 0.036 % |
526.13/526.51 c | 547729 | 5503 63096 306513 | 2147483647 311689 294 | 0.036 % |
528.74/529.11 c | 548888 | 5503 63096 306513 | 2147483647 312848 295 | 0.036 % |
531.83/532.28 c | 550164 | 5503 63096 306513 | 313960 314124 296 | 0.036 % |
535.83/536.23 c | 551565 | 5503 63096 306513 | 313960 279899 304 | 0.036 % |
538.83/539.24 c | 553113 | 5503 63096 306513 | 313960 281447 306 | 0.036 % |
543.32/543.75 c | 554811 | 5503 63096 306513 | 313960 283145 307 | 0.036 % |
547.52/547.95 c | 556674 | 5503 63096 306513 | 313960 285008 308 | 0.036 % |
550.92/551.30 c | 558723 | 5503 63096 306513 | 313960 287057 308 | 0.036 % |
554.32/554.80 c | 560978 | 5503 63096 306513 | 2147483647 289312 309 | 0.036 % |
556.52/556.90 c | 563462 | 5503 63096 306513 | 2147483647 291796 309 | 0.036 % |
560.02/560.40 c | 566187 | 5503 63096 306513 | 2147483647 294521 310 | 0.036 % |
563.72/564.12 c | 569184 | 5503 63096 306513 | 2147483647 297518 311 | 0.036 % |
568.11/568.58 c | 572480 | 5503 63096 306513 | 2147483647 300814 311 | 0.036 % |
575.51/575.92 c | 576105 | 5503 63096 306513 | 2147483647 304439 311 | 0.036 % |
585.10/585.55 c | 580094 | 5503 63096 306513 | 2147483647 308428 313 | 0.036 % |
590.21/590.66 c | 584482 | 5503 63096 306513 | 2147483647 312816 313 | 0.036 % |
599.10/599.55 c | 589305 | 5503 63096 306513 | 2147483647 317639 312 | 0.036 % |
615.10/615.58 c | 594615 | 5503 63096 306513 | 2147483647 322949 314 | 0.036 % |
615.40/615.84 c | 594717 | 5503 63096 306513 | 2147483647 323051 314 | 0.036 % |
615.70/616.10 c | 594830 | 5503 63096 306513 | 2147483647 323164 314 | 0.036 % |
615.90/616.37 c | 594953 | 5503 63096 306513 | 2147483647 323287 314 | 0.036 % |
616.20/616.69 c | 595086 | 5503 63096 306513 | 2147483647 323420 314 | 0.036 % |
616.50/616.94 c | 595232 | 5503 63096 306513 | 2147483647 323566 314 | 0.036 % |
616.80/617.25 c | 595396 | 5503 63096 306513 | 2147483647 323730 314 | 0.036 % |
617.10/617.58 c | 595572 | 5503 63096 306513 | 2147483647 323906 314 | 0.036 % |
617.80/618.28 c | 595765 | 5503 63096 306513 | 2147483647 324099 314 | 0.036 % |
618.20/618.60 c | 595977 | 5503 63096 306513 | 2147483647 324311 314 | 0.036 % |
618.60/619.00 c | 596210 | 5503 63096 306513 | 2147483647 324544 314 | 0.036 % |
619.00/619.40 c | 596466 | 5503 63096 306513 | 2147483647 324800 314 | 0.036 % |
620.09/620.54 c | 596750 | 5503 63096 306513 | 2147483647 325084 314 | 0.036 % |
621.00/621.49 c | 597059 | 5503 63096 306513 | 2147483647 325393 314 | 0.036 % |
621.69/622.16 c | 597398 | 5503 63096 306513 | 2147483647 325732 315 | 0.036 % |
622.59/623.07 c | 597772 | 5503 63096 306513 | 2147483647 326106 315 | 0.036 % |
623.40/623.87 c | 598183 | 5503 63096 306513 | 2147483647 326517 315 | 0.036 % |
624.50/624.95 c | 598632 | 5503 63096 306513 | 2147483647 326966 315 | 0.036 % |
625.70/626.17 c | 599126 | 5503 63096 306513 | 2147483647 327460 315 | 0.036 % |
626.99/627.46 c | 599669 | 5503 63096 306513 | 2147483647 328003 316 | 0.036 % |
628.80/629.30 c | 600265 | 5503 63096 306513 | 328334 328599 316 | 0.036 % |
630.79/631.25 c | 600920 | 5503 63096 306513 | 328334 285452 325 | 0.036 % |
632.49/632.93 c | 601646 | 5503 63096 306513 | 328334 286178 326 | 0.036 % |
634.29/634.71 c | 602442 | 5503 63096 306513 | 328334 286974 326 | 0.036 % |
636.49/636.92 c | 603313 | 5503 63096 306513 | 328334 287845 327 | 0.036 % |
639.19/639.63 c | 604272 | 5503 63096 306513 | 328334 288804 327 | 0.036 % |
640.19/640.62 c | 605326 | 5503 63096 306513 | 328334 289858 328 | 0.036 % |
642.49/642.99 c | 606484 | 5503 63096 306513 | 328334 291016 328 | 0.036 % |
644.68/645.17 c | 607762 | 5503 63096 306513 | 328334 292294 328 | 0.036 % |
646.68/647.16 c | 609163 | 5503 63096 306513 | 328334 293695 328 | 0.036 % |
649.28/649.73 c | 610703 | 5503 63096 306513 | 2147483647 295235 327 | 0.036 % |
654.18/654.60 c | 612399 | 5503 63096 306513 | 2147483647 296931 328 | 0.036 % |
656.29/656.72 c | 614262 | 5503 63096 306513 | 2147483647 298794 329 | 0.036 % |
662.28/662.75 c | 616311 | 5503 63096 306513 | 2147483647 300843 330 | 0.036 % |
669.28/669.76 c | 618564 | 5503 63096 306513 | 2147483647 303096 331 | 0.036 % |
675.67/676.16 c | 621044 | 5503 63096 306513 | 304535 305576 332 | 0.036 % |
682.37/682.88 c | 623771 | 5503 63096 306513 | 304535 263017 346 | 0.036 % |
684.87/685.31 c | 626772 | 5503 63096 306513 | 304535 266018 345 | 0.036 % |
688.47/688.93 c | 630069 | 5503 63096 306513 | 2147483647 269315 345 | 0.036 % |
699.07/699.52 c | 633694 | 5503 63096 306513 | 2147483647 272940 347 | 0.036 % |
710.07/710.55 c | 637681 | 5503 63096 306513 | 2147483647 276927 348 | 0.036 % |
719.06/719.60 c | 642066 | 5503 63096 306513 | 279246 246180 348 | 0.036 % |
724.65/725.15 c | 646890 | 5503 63096 306513 | 279246 251004 349 | 0.036 % |
728.45/728.92 c | 652197 | 5503 63096 306513 | 2147483647 256311 346 | 0.036 % |
738.35/738.85 c | 658035 | 5503 63096 306513 | 2147483647 262149 348 | 0.036 % |
738.55/739.08 c | 658140 | 5503 63096 306513 | 2147483647 262254 348 | 0.036 % |
738.85/739.32 c | 658250 | 5503 63096 306513 | 2147483647 262364 348 | 0.036 % |
739.05/739.55 c | 658375 | 5503 63096 306513 | 2147483647 262489 348 | 0.036 % |
739.45/739.92 c | 658508 | 5503 63096 306513 | 2147483647 262622 348 | 0.036 % |
739.95/740.49 c | 658655 | 5503 63096 306513 | 2147483647 262769 349 | 0.036 % |
740.55/741.05 c | 658817 | 5503 63096 306513 | 2147483647 262931 349 | 0.036 % |
741.15/741.66 c | 658995 | 5503 63096 306513 | 2147483647 263109 349 | 0.036 % |
741.75/742.26 c | 659194 | 5503 63096 306513 | 2147483647 263308 349 | 0.036 % |
742.45/742.97 c | 659406 | 5503 63096 306513 | 2147483647 263520 349 | 0.036 % |
743.25/743.71 c | 659639 | 5503 63096 306513 | 2147483647 263753 349 | 0.036 % |
744.05/744.51 c | 659895 | 5503 63096 306513 | 2147483647 264009 349 | 0.036 % |
744.95/745.42 c | 660177 | 5503 63096 306513 | 2147483647 264291 349 | 0.036 % |
745.85/746.34 c | 660488 | 5503 63096 306513 | 2147483647 264602 350 | 0.036 % |
746.85/747.32 c | 660829 | 5503 63096 306513 | 2147483647 264943 350 | 0.036 % |
747.75/748.20 c | 661209 | 5503 63096 306513 | 2147483647 265323 350 | 0.036 % |
749.24/749.73 c | 661619 | 5503 63096 306513 | 2147483647 265733 350 | 0.036 % |
750.64/751.15 c | 662069 | 5503 63096 306513 | 2147483647 266183 350 | 0.036 % |
752.24/752.73 c | 662565 | 5503 63096 306513 | 2147483647 266679 350 | 0.036 % |
752.95/753.46 c | 663109 | 5503 63096 306513 | 2147483647 267223 350 | 0.036 % |
753.54/754.01 c | 663705 | 5503 63096 306513 | 2147483647 267819 350 | 0.036 % |
755.74/756.27 c | 664365 | 5503 63096 306513 | 2147483647 268479 350 | 0.036 % |
757.54/758.02 c | 665090 | 5503 63096 306513 | 2147483647 269204 350 | 0.036 % |
759.14/759.65 c | 665885 | 5503 63096 306513 | 2147483647 269999 350 | 0.036 % |
761.54/762.07 c | 666760 | 5503 63096 306513 | 2147483647 270874 351 | 0.036 % |
763.84/764.37 c | 667719 | 5503 63096 306513 | 2147483647 271833 351 | 0.036 % |
766.83/767.36 c | 668773 | 5503 63096 306513 | 2147483647 272887 351 | 0.036 % |
769.53/770.01 c | 669934 | 5503 63096 306513 | 2147483647 274048 351 | 0.036 % |
773.93/774.44 c | 671207 | 5503 63096 306513 | 274115 223231 355 | 0.036 % |
776.73/777.28 c | 672623 | 5503 63096 306513 | 274115 224647 355 | 0.036 % |
781.33/781.86 c | 674163 | 5503 63096 306513 | 274115 226187 356 | 0.036 % |
787.23/787.79 c | 675859 | 5503 63096 306513 | 274115 227883 356 | 0.036 % |
793.63/794.19 c | 677725 | 5503 63096 306513 | 274115 229749 357 | 0.036 % |
798.32/798.84 c | 679775 | 5503 63096 306513 | 274115 231799 356 | 0.036 % |
807.22/807.72 c | 682028 | 5503 63096 306513 | 232025 196343 342 | 0.036 % |
815.41/815.95 c | 684506 | 5503 63096 306513 | 232025 198821 343 | 0.036 % |
821.71/822.29 c | 687235 | 5503 63096 306513 | 232025 201550 343 | 0.036 % |
825.31/825.88 c | 690232 | 5503 63096 306513 | 204319 204547 342 | 0.036 % |
830.61/831.19 c | 693532 | 5503 63096 306513 | 204319 186728 344 | 0.036 % |
833.81/834.37 c | 697160 | 5503 63096 306513 | 204319 190356 342 | 0.036 % |
835.11/835.66 c | 701149 | 5503 63096 306513 | 2147483647 194345 337 | 0.036 % |
841.21/841.76 c | 705537 | 5503 63096 306513 | 2147483647 198733 334 | 0.036 % |
854.80/855.36 c | 710365 | 5503 63096 306513 | 2147483647 203561 335 | 0.036 % |
866.49/867.06 c | 715675 | 5503 63096 306513 | 2147483647 208871 336 | 0.036 % |
883.89/884.46 c | 721516 | 5503 63096 306513 | 2147483647 214712 338 | 0.036 % |
909.77/910.32 c | 727936 | 5503 63096 306513 | 2147483647 221132 340 | 0.036 % |
910.07/910.65 c | 728037 | 5503 63096 306513 | 2147483647 221233 340 | 0.036 % |
910.57/911.18 c | 728149 | 5503 63096 306513 | 2147483647 221345 340 | 0.036 % |
910.97/911.58 c | 728271 | 5503 63096 306513 | 2147483647 221467 340 | 0.036 % |
911.57/912.17 c | 728404 | 5503 63096 306513 | 2147483647 221600 340 | 0.036 % |
912.47/913.00 c | 728550 | 5503 63096 306513 | 2147483647 221746 340 | 0.036 % |
913.17/913.75 c | 728710 | 5503 63096 306513 | 2147483647 221906 340 | 0.036 % |
913.87/914.45 c | 728889 | 5503 63096 306513 | 2147483647 222085 340 | 0.036 % |
914.57/915.16 c | 729082 | 5503 63096 306513 | 2147483647 222278 340 | 0.036 % |
915.46/916.06 c | 729294 | 5503 63096 306513 | 2147483647 222490 340 | 0.036 % |
916.47/917.09 c | 729533 | 5503 63096 306513 | 2147483647 222729 340 | 0.036 % |
916.87/917.40 c | 729790 | 5503 63096 306513 | 2147483647 222986 340 | 0.036 % |
917.06/917.69 c | 730071 | 5503 63096 306513 | 223196 223267 340 | 0.036 % |
918.16/918.77 c | 730380 | 5503 63096 306513 | 223196 195395 329 | 0.036 % |
918.76/919.34 c | 730719 | 5503 63096 306513 | 223196 195734 330 | 0.036 % |
919.36/919.95 c | 731091 | 5503 63096 306513 | 223196 196106 330 | 0.036 % |
920.07/920.63 c | 731502 | 5503 63096 306513 | 223196 196517 329 | 0.036 % |
920.76/921.38 c | 731953 | 5503 63096 306513 | 223196 196968 329 | 0.036 % |
921.46/922.08 c | 732446 | 5503 63096 306513 | 223196 197461 329 | 0.036 % |
921.96/922.59 c | 732990 | 5503 63096 306513 | 223196 198005 329 | 0.036 % |
923.37/923.95 c | 733586 | 5503 63096 306513 | 223196 198601 329 | 0.036 % |
924.06/924.64 c | 734243 | 5503 63096 306513 | 223196 199258 329 | 0.036 % |
924.86/925.41 c | 734974 | 5503 63096 306513 | 223196 199989 328 | 0.036 % |
925.86/926.45 c | 735766 | 5503 63096 306513 | 223196 200781 328 | 0.036 % |
926.77/927.34 c | 736637 | 5503 63096 306513 | 223196 201652 328 | 0.036 % |
927.46/928.02 c | 737598 | 5503 63096 306513 | 223196 202613 327 | 0.036 % |
928.06/928.65 c | 738652 | 5503 63096 306513 | 223196 203667 326 | 0.036 % |
930.46/931.02 c | 739819 | 5503 63096 306513 | 223196 204834 325 | 0.036 % |
932.96/933.57 c | 741098 | 5503 63096 306513 | 2147483647 206113 325 | 0.036 % |
935.66/936.29 c | 742499 | 5503 63096 306513 | 2147483647 207514 326 | 0.036 % |
936.76/937.36 c | 744039 | 5503 63096 306513 | 2147483647 209054 324 | 0.036 % |
941.06/941.64 c | 745735 | 5503 63096 306513 | 2147483647 210750 324 | 0.036 % |
942.26/942.88 c | 747598 | 5503 63096 306513 | 2147483647 212613 322 | 0.036 % |
945.26/945.83 c | 749651 | 5503 63096 306513 | 2147483647 214666 321 | 0.036 % |
948.45/949.07 c | 751904 | 5503 63096 306513 | 2147483647 216919 320 | 0.036 % |
951.85/952.46 c | 754382 | 5503 63096 306513 | 2147483647 219397 321 | 0.036 % |
960.55/961.19 c | 757107 | 5503 63096 306513 | 2147483647 222122 322 | 0.036 % |
972.44/973.04 c | 760104 | 5503 63096 306513 | 2147483647 225119 323 | 0.036 % |
980.24/980.83 c | 763403 | 5503 63096 306513 | 2147483647 228418 323 | 0.036 % |
986.44/987.04 c | 767029 | 5503 63096 306513 | 2147483647 232044 323 | 0.036 % |
993.93/994.55 c | 771025 | 5503 63096 306513 | 235015 207150 314 | 0.036 % |
1002.63/1003.22 c | 775410 | 5503 63096 306513 | 235015 211535 314 | 0.036 % |
1013.02/1013.62 c | 780234 | 5503 63096 306513 | 2147483647 216359 314 | 0.036 % |
1028.22/1028.89 c | 785540 | 5503 63096 306513 | 2147483647 221665 316 | 0.036 % |
1054.91/1055.50 c | 791375 | 5503 63096 306513 | 226125 176772 298 | 0.036 % |
1061.71/1062.31 c | 797797 | 5503 63096 306513 | 226125 183194 295 | 0.036 % |
1067.80/1068.41 c | 804857 | 5503 63096 306513 | 2147483647 190254 293 | 0.036 % |
1068.10/1068.73 c | 804957 | 5503 63096 306513 | 2147483647 190354 293 | 0.036 % |
1068.40/1069.06 c | 805067 | 5503 63096 306513 | 2147483647 190464 293 | 0.036 % |
1068.80/1069.44 c | 805195 | 5503 63096 306513 | 2147483647 190592 293 | 0.036 % |
1069.30/1069.96 c | 805330 | 5503 63096 306513 | 2147483647 190727 293 | 0.036 % |
1069.90/1070.60 c | 805481 | 5503 63096 306513 | 2147483647 190878 293 | 0.036 % |
1070.40/1071.10 c | 805653 | 5503 63096 306513 | 2147483647 191050 293 | 0.036 % |
1071.30/1071.90 c | 805830 | 5503 63096 306513 | 2147483647 191227 293 | 0.036 % |
1072.10/1072.73 c | 806032 | 5503 63096 306513 | 2147483647 191429 293 | 0.036 % |
1072.91/1073.56 c | 806245 | 5503 63096 306513 | 2147483647 191642 293 | 0.036 % |
1073.01/1073.67 c | 806478 | 5503 63096 306513 | 2147483647 191875 293 | 0.036 % |
1073.10/1073.75 c | 806737 | 5503 63096 306513 | 2147483647 192134 293 | 0.036 % |
1073.30/1073.96 c | 807022 | 5503 63096 306513 | 2147483647 192419 293 | 0.036 % |
1073.60/1074.20 c | 807332 | 5503 63096 306513 | 2147483647 192729 293 | 0.036 % |
1073.80/1074.44 c | 807671 | 5503 63096 306513 | 2147483647 193068 292 | 0.036 % |
1074.00/1074.64 c | 808046 | 5503 63096 306513 | 2147483647 193443 292 | 0.036 % |
1074.20/1074.90 c | 808456 | 5503 63096 306513 | 2147483647 193853 292 | 0.036 % |
1074.40/1075.07 c | 808905 | 5503 63096 306513 | 2147483647 194302 291 | 0.036 % |
1074.80/1075.44 c | 809399 | 5503 63096 306513 | 2147483647 194796 291 | 0.036 % |
1075.40/1076.03 c | 809942 | 5503 63096 306513 | 2147483647 195339 290 | 0.036 % |
1075.90/1076.54 c | 810538 | 5503 63096 306513 | 2147483647 195935 290 | 0.036 % |
1076.40/1077.05 c | 811196 | 5503 63096 306513 | 2147483647 196593 289 | 0.036 % |
1076.80/1077.44 c | 811916 | 5503 63096 306513 | 2147483647 197313 289 | 0.036 % |
1077.40/1078.04 c | 812708 | 5503 63096 306513 | 2147483647 198105 288 | 0.036 % |
1077.80/1078.49 c | 813579 | 5503 63096 306513 | 2147483647 198976 287 | 0.036 % |
1078.60/1079.26 c | 814538 | 5503 63096 306513 | 2147483647 199935 286 | 0.036 % |
1079.20/1079.85 c | 815591 | 5503 63096 306513 | 2147483647 200988 285 | 0.036 % |
1079.89/1080.50 c | 816751 | 5503 63096 306513 | 2147483647 202148 283 | 0.036 % |
1080.49/1081.19 c | 818024 | 5503 63096 306513 | 2147483647 203421 282 | 0.036 % |
1081.59/1082.30 c | 819429 | 5503 63096 306513 | 2147483647 204826 280 | 0.036 % |
1082.99/1083.67 c | 820971 | 5503 63096 306513 | 2147483647 206368 279 | 0.036 % |
1084.29/1084.93 c | 822665 | 5503 63096 306513 | 2147483647 208062 279 | 0.036 % |
1085.69/1086.30 c | 824529 | 5503 63096 306513 | 2147483647 209926 279 | 0.036 % |
1087.88/1088.55 c | 826580 | 5503 63096 306513 | 2147483647 211977 279 | 0.036 % |
1091.88/1092.53 c | 828835 | 5503 63096 306513 | 2147483647 214232 280 | 0.036 % |
1097.58/1098.25 c | 831315 | 5503 63096 306513 | 2147483647 216712 281 | 0.036 % |
1099.08/1099.78 c | 834047 | 5503 63096 306513 | 2147483647 219444 282 | 0.036 % |
1104.28/1104.92 c | 837045 | 5503 63096 306513 | 2147483647 222442 281 | 0.036 % |
1110.38/1111.03 c | 840341 | 5503 63096 306513 | 2147483647 225738 280 | 0.036 % |
1115.68/1116.38 c | 843973 | 5503 63096 306513 | 2147483647 229370 279 | 0.036 % |
1122.27/1122.92 c | 847963 | 5503 63096 306513 | 2147483647 233360 278 | 0.036 % |
1129.87/1130.58 c | 852348 | 5503 63096 306513 | 2147483647 237745 277 | 0.036 % |
1141.26/1141.91 c | 857174 | 5503 63096 306513 | 2147483647 242571 277 | 0.036 % |
1152.46/1153.10 c | 862480 | 5503 63096 306513 | 2147483647 247877 278 | 0.036 % |
1170.85/1171.52 c | 868315 | 5503 63096 306513 | 2147483647 253712 281 | 0.036 % |
1194.54/1195.29 c | 874733 | 5503 63096 306513 | 2147483647 260130 284 | 0.036 % |
1220.83/1221.54 c | 881793 | 5503 63096 306513 | 265404 222560 279 | 0.036 % |
1234.63/1235.31 c | 889557 | 5503 63096 306513 | 265404 230324 281 | 0.036 % |
1234.83/1235.57 c | 889663 | 5503 63096 306513 | 265404 230430 282 | 0.036 % |
1235.23/1235.95 c | 889774 | 5503 63096 306513 | 265404 230541 282 | 0.036 % |
1235.53/1236.24 c | 889899 | 5503 63096 306513 | 265404 230666 282 | 0.036 % |
1235.93/1236.61 c | 890034 | 5503 63096 306513 | 230776 230801 282 | 0.036 % |
1236.62/1237.36 c | 890182 | 5503 63096 306513 | 230776 206029 274 | 0.036 % |
1236.83/1237.58 c | 890345 | 5503 63096 306513 | 230776 206192 274 | 0.036 % |
1237.12/1237.83 c | 890524 | 5503 63096 306513 | 230776 206371 274 | 0.036 % |
1237.52/1238.23 c | 890718 | 5503 63096 306513 | 230776 206565 274 | 0.036 % |
1237.72/1238.42 c | 890930 | 5503 63096 306513 | 230776 206777 274 | 0.036 % |
1237.93/1238.67 c | 891165 | 5503 63096 306513 | 230776 207012 274 | 0.036 % |
1238.12/1238.82 c | 891422 | 5503 63096 306513 | 230776 207269 273 | 0.036 % |
1238.22/1238.92 c | 891703 | 5503 63096 306513 | 230776 207550 273 | 0.036 % |
1238.82/1239.55 c | 892018 | 5503 63096 306513 | 230776 207865 273 | 0.036 % |
1239.12/1239.80 c | 892359 | 5503 63096 306513 | 230776 208206 273 | 0.036 % |
1239.72/1240.41 c | 892737 | 5503 63096 306513 | 230776 208584 273 | 0.036 % |
1239.82/1240.57 c | 893149 | 5503 63096 306513 | 230776 208996 272 | 0.036 % |
1240.32/1241.08 c | 893600 | 5503 63096 306513 | 230776 209447 272 | 0.036 % |
1241.32/1242.01 c | 894094 | 5503 63096 306513 | 230776 209941 272 | 0.036 % |
1242.02/1242.77 c | 894636 | 5503 63096 306513 | 230776 210483 272 | 0.036 % |
1243.52/1244.23 c | 895232 | 5503 63096 306513 | 230776 211079 272 | 0.036 % |
1245.32/1246.05 c | 895888 | 5503 63096 306513 | 230776 211735 272 | 0.036 % |
1247.72/1248.43 c | 896614 | 5503 63096 306513 | 230776 212461 273 | 0.036 % |
1249.92/1250.64 c | 897406 | 5503 63096 306513 | 230776 213253 273 | 0.036 % |
1253.02/1253.74 c | 898280 | 5503 63096 306513 | 230776 214127 273 | 0.036 % |
1256.31/1257.05 c | 899241 | 5503 63096 306513 | 230776 215088 274 | 0.036 % |
1260.41/1261.15 c | 900296 | 5503 63096 306513 | 2147483647 216143 274 | 0.036 % |
1264.71/1265.43 c | 901457 | 5503 63096 306513 | 2147483647 217304 275 | 0.036 % |
1267.31/1268.05 c | 902735 | 5503 63096 306513 | 2147483647 218582 274 | 0.036 % |
1270.31/1271.01 c | 904138 | 5503 63096 306513 | 2147483647 219985 274 | 0.036 % |
1272.31/1273.09 c | 905682 | 5503 63096 306513 | 2147483647 221529 274 | 0.036 % |
1275.40/1276.13 c | 907376 | 5503 63096 306513 | 2147483647 223223 274 | 0.036 % |
1277.51/1278.20 c | 909241 | 5503 63096 306513 | 2147483647 225088 274 | 0.036 % |
1279.20/1279.98 c | 911290 | 5503 63096 306513 | 2147483647 227137 273 | 0.036 % |
1280.71/1281.48 c | 913543 | 5503 63096 306513 | 2147483647 229390 273 | 0.036 % |
1284.80/1285.53 c | 916022 | 5503 63096 306513 | 2147483647 231869 273 | 0.036 % |
1286.60/1287.32 c | 918747 | 5503 63096 306513 | 2147483647 234594 272 | 0.036 % |
1295.10/1295.90 c | 921745 | 5503 63096 306513 | 2147483647 237592 273 | 0.036 % |
1305.79/1306.53 c | 925045 | 5503 63096 306513 | 2147483647 240892 274 | 0.036 % |
1317.48/1318.21 c | 928670 | 5503 63096 306513 | 2147483647 244517 275 | 0.036 % |
1330.08/1330.89 c | 932658 | 5503 63096 306513 | 245847 209223 277 | 0.036 % |
1344.08/1344.83 c | 937054 | 5503 63096 306513 | 245847 213619 278 | 0.036 % |
1352.18/1353.00 c | 941877 | 5503 63096 306513 | 2147483647 218442 277 | 0.036 % |
1363.37/1364.13 c | 947182 | 5503 63096 306513 | 2147483647 223747 276 | 0.036 % |
1370.97/1371.72 c | 953017 | 5503 63096 306513 | 2147483647 229582 274 | 0.036 % |
1381.97/1382.77 c | 959436 | 5503 63096 306513 | 2147483647 236001 273 | 0.036 % |
1403.65/1404.46 c | 966509 | 5503 63096 306513 | 2147483647 243074 276 | 0.036 % |
1420.45/1421.24 c | 974273 | 5503 63096 306513 | 2147483647 250838 274 | 0.036 % |
1449.73/1450.58 c | 982814 | 5503 63096 306513 | 256566 211656 279 | 0.036 % |
1449.93/1450.77 c | 982915 | 5503 63096 306513 | 256566 211757 279 | 0.036 % |
1450.23/1451.07 c | 983028 | 5503 63096 306513 | 256566 211870 279 | 0.036 % |
1450.83/1451.61 c | 983155 | 5503 63096 306513 | 256566 211997 279 | 0.036 % |
1451.14/1451.97 c | 983289 | 5503 63096 306513 | 256566 212131 280 | 0.036 % |
1451.83/1452.62 c | 983435 | 5503 63096 306513 | 256566 212277 280 | 0.036 % |
1452.34/1453.16 c | 983595 | 5503 63096 306513 | 256566 212437 279 | 0.036 % |
1453.03/1453.88 c | 983771 | 5503 63096 306513 | 256566 212613 280 | 0.036 % |
1453.63/1454.49 c | 983970 | 5503 63096 306513 | 256566 212812 280 | 0.036 % |
1454.33/1455.19 c | 984183 | 5503 63096 306513 | 256566 213025 280 | 0.036 % |
1455.33/1456.14 c | 984418 | 5503 63096 306513 | 256566 213260 280 | 0.036 % |
1456.13/1457.00 c | 984674 | 5503 63096 306513 | 256566 213516 280 | 0.036 % |
1457.43/1458.20 c | 984956 | 5503 63096 306513 | 256566 213798 280 | 0.036 % |
1458.33/1459.19 c | 985267 | 5503 63096 306513 | 256566 214109 280 | 0.036 % |
1459.63/1460.48 c | 985608 | 5503 63096 306513 | 256566 214450 280 | 0.036 % |
1460.93/1461.75 c | 985984 | 5503 63096 306513 | 256566 214826 280 | 0.036 % |
1462.03/1462.87 c | 986393 | 5503 63096 306513 | 256566 215235 280 | 0.036 % |
1463.23/1464.06 c | 986843 | 5503 63096 306513 | 256566 215685 280 | 0.036 % |
1464.63/1465.42 c | 987336 | 5503 63096 306513 | 256566 216178 280 | 0.036 % |
1466.83/1467.64 c | 987878 | 5503 63096 306513 | 256566 216720 281 | 0.036 % |
1469.03/1469.86 c | 988474 | 5503 63096 306513 | 256566 217316 281 | 0.036 % |
1471.12/1471.93 c | 989133 | 5503 63096 306513 | 256566 217975 281 | 0.036 % |
1473.02/1473.84 c | 989857 | 5503 63096 306513 | 256566 218699 281 | 0.036 % |
1476.12/1476.94 c | 990649 | 5503 63096 306513 | 218842 186522 275 | 0.036 % |
1479.12/1479.91 c | 991525 | 5503 63096 306513 | 218842 187398 276 | 0.036 % |
1481.22/1482.07 c | 992483 | 5503 63096 306513 | 218842 188356 275 | 0.036 % |
1484.92/1485.78 c | 993536 | 5503 63096 306513 | 218842 189409 276 | 0.036 % |
1488.72/1489.51 c | 994694 | 5503 63096 306513 | 218842 190567 276 | 0.036 % |
1492.61/1493.43 c | 995976 | 5503 63096 306513 | 218842 191849 276 | 0.036 % |
1496.32/1497.18 c | 997379 | 5503 63096 306513 | 218842 193252 276 | 0.036 % |
1500.91/1501.75 c | 998920 | 5503 63096 306513 | 218842 194793 276 | 0.036 % |
1506.81/1507.69 c | 1000617 | 5503 63096 306513 | 195880 171262 262 | 0.036 % |
1512.01/1512.81 c | 1002482 | 5503 63096 306513 | 195880 173127 261 | 0.036 % |
1516.11/1516.95 c | 1004535 | 5503 63096 306513 | 195880 175180 261 | 0.036 % |
1519.31/1520.14 c | 1006793 | 5503 63096 306513 | 195880 177438 262 | 0.036 % |
1524.81/1525.61 c | 1009276 | 5503 63096 306513 | 195880 179921 261 | 0.036 % |
1530.20/1531.03 c | 1012009 | 5503 63096 306513 | 2147483647 182654 261 | 0.036 % |
1536.10/1536.99 c | 1015008 | 5503 63096 306513 | 2147483647 185653 261 | 0.036 % |
1540.39/1541.20 c | 1018306 | 5503 63096 306513 | 2147483647 188951 260 | 0.036 % |
1542.69/1543.57 c | 1021932 | 5503 63096 306513 | 2147483647 192577 257 | 0.036 % |
1544.09/1544.94 c | 1025919 | 5503 63096 306513 | 2147483647 196564 253 | 0.036 % |
1545.99/1546.87 c | 1030304 | 5503 63096 306513 | 2147483647 200949 248 | 0.036 % |
1552.69/1553.55 c | 1035129 | 5503 63096 306513 | 2147483647 205774 249 | 0.036 % |
1560.49/1561.38 c | 1040434 | 5503 63096 306513 | 2147483647 211079 250 | 0.036 % |
1566.18/1567.04 c | 1046272 | 5503 63096 306513 | 2147483647 216917 247 | 0.036 % |
1569.18/1570.07 c | 1052690 | 5503 63096 306513 | 2147483647 223335 249 | 0.036 % |
1574.08/1574.99 c | 1059751 | 5503 63096 306513 | 2147483647 230396 249 | 0.036 % |
1579.78/1580.61 c | 1067518 | 5503 63096 306513 | 2147483647 238163 252 | 0.036 % |
1590.07/1590.93 c | 1076059 | 5503 63096 306513 | 2147483647 246704 248 | 0.036 % |
1600.07/1600.98 c | 1085453 | 5503 63096 306513 | 2147483647 256098 249 | 0.036 % |
1600.57/1601.48 c | 1085554 | 5503 63096 306513 | 2147483647 256199 249 | 0.036 % |
1601.27/1602.15 c | 1085664 | 5503 63096 306513 | 2147483647 256309 249 | 0.036 % |
1601.77/1602.70 c | 1085793 | 5503 63096 306513 | 2147483647 256438 249 | 0.036 % |
1602.46/1603.39 c | 1085935 | 5503 63096 306513 | 2147483647 256580 249 | 0.036 % |
1602.87/1603.80 c | 1086084 | 5503 63096 306513 | 2147483647 256729 249 | 0.036 % |
1603.26/1604.12 c | 1086244 | 5503 63096 306513 | 2147483647 256889 249 | 0.036 % |
1603.66/1604.52 c | 1086424 | 5503 63096 306513 | 2147483647 257069 249 | 0.036 % |
1603.97/1604.88 c | 1086618 | 5503 63096 306513 | 2147483647 257263 249 | 0.036 % |
1604.26/1605.16 c | 1086832 | 5503 63096 306513 | 2147483647 257477 249 | 0.036 % |
1604.66/1605.54 c | 1087065 | 5503 63096 306513 | 2147483647 257710 249 | 0.036 % |
1605.17/1606.01 c | 1087321 | 5503 63096 306513 | 2147483647 257966 248 | 0.036 % |
1605.46/1606.31 c | 1087604 | 5503 63096 306513 | 2147483647 258249 248 | 0.036 % |
1605.66/1606.58 c | 1087913 | 5503 63096 306513 | 2147483647 258558 248 | 0.036 % |
1605.96/1606.87 c | 1088252 | 5503 63096 306513 | 2147483647 258897 248 | 0.036 % |
1606.26/1607.16 c | 1088625 | 5503 63096 306513 | 2147483647 259270 248 | 0.036 % |
1606.76/1607.68 c | 1089035 | 5503 63096 306513 | 2147483647 259680 248 | 0.036 % |
1606.96/1607.87 c | 1089486 | 5503 63096 306513 | 2147483647 260131 248 | 0.036 % |
1608.06/1608.90 c | 1089979 | 5503 63096 306513 | 2147483647 260624 248 | 0.036 % |
1608.46/1609.31 c | 1090525 | 5503 63096 306513 | 260646 261170 248 | 0.036 % |
1609.16/1610.09 c | 1091126 | 5503 63096 306513 | 260646 232283 242 | 0.036 % |
1610.56/1611.40 c | 1091781 | 5503 63096 306513 | 260646 232938 241 | 0.036 % |
1611.46/1612.31 c | 1092504 | 5503 63096 306513 | 260646 233661 241 | 0.036 % |
1612.66/1613.51 c | 1093296 | 5503 63096 306513 | 260646 234453 241 | 0.036 % |
1613.86/1614.73 c | 1094171 | 5503 63096 306513 | 260646 235328 241 | 0.036 % |
1614.86/1615.80 c | 1095131 | 5503 63096 306513 | 260646 236288 240 | 0.036 % |
1616.26/1617.11 c | 1096186 | 5503 63096 306513 | 260646 237343 240 | 0.036 % |
1617.56/1618.46 c | 1097344 | 5503 63096 306513 | 260646 238501 240 | 0.036 % |
1618.56/1619.47 c | 1098618 | 5503 63096 306513 | 260646 239775 240 | 0.036 % |
1619.55/1620.45 c | 1100021 | 5503 63096 306513 | 2147483647 241178 240 | 0.036 % |
1620.85/1621.73 c | 1101562 | 5503 63096 306513 | 2147483647 242719 240 | 0.036 % |
1623.55/1624.47 c | 1103257 | 5503 63096 306513 | 2147483647 244414 239 | 0.036 % |
1625.95/1626.89 c | 1105121 | 5503 63096 306513 | 2147483647 246278 239 | 0.036 % |
1627.55/1628.49 c | 1107171 | 5503 63096 306513 | 2147483647 248328 238 | 0.036 % |
1629.05/1629.95 c | 1109424 | 5503 63096 306513 | 2147483647 250581 239 | 0.036 % |
1631.45/1632.37 c | 1111909 | 5503 63096 306513 | 2147483647 253066 239 | 0.036 % |
1633.65/1634.59 c | 1114634 | 5503 63096 306513 | 2147483647 255791 239 | 0.036 % |
1635.95/1636.80 c | 1117633 | 5503 63096 306513 | 2147483647 258790 238 | 0.036 % |
1639.25/1640.14 c | 1120929 | 5503 63096 306513 | 2147483647 262086 240 | 0.036 % |
1642.04/1642.94 c | 1124554 | 5503 63096 306513 | 2147483647 265711 240 | 0.036 % |
1645.34/1646.21 c | 1128541 | 5503 63096 306513 | 2147483647 269698 241 | 0.036 % |
1650.84/1651.78 c | 1132927 | 5503 63096 306513 | 2147483647 274084 239 | 0.036 % |
1658.24/1659.17 c | 1137751 | 5503 63096 306513 | 2147483647 278908 239 | 0.036 % |
1667.83/1668.71 c | 1143058 | 5503 63096 306513 | 2147483647 284215 238 | 0.036 % |
1681.62/1682.54 c | 1148903 | 5503 63096 306513 | 2147483647 290060 237 | 0.036 % |
1700.52/1701.45 c | 1155328 | 5503 63096 306513 | 291159 259235 229 | 0.036 % |
1712.91/1713.85 c | 1162387 | 5503 63096 306513 | 263909 230373 219 | 0.036 % |
1724.21/1725.11 c | 1170152 | 5503 63096 306513 | 2147483647 238138 218 | 0.036 % |
1732.01/1732.91 c | 1178692 | 5503 63096 306513 | 2147483647 246678 221 | 0.036 % |
1741.90/1742.84 c | 1188089 | 5503 63096 306513 | 2147483647 256075 225 | 0.036 % |
1751.50/1752.49 c | 1198422 | 5503 63096 306513 | 257986 227337 227 | 0.036 % |
1751.60/1752.56 c | 1198524 | 5503 63096 306513 | 257986 227439 227 | 0.036 % |
1751.80/1752.78 c | 1198634 | 5503 63096 306513 | 257986 227549 227 | 0.036 % |
1752.00/1752.97 c | 1198765 | 5503 63096 306513 | 257986 227680 227 | 0.036 % |
1752.20/1753.10 c | 1198898 | 5503 63096 306513 | 257986 227813 227 | 0.036 % |
1752.40/1753.33 c | 1199044 | 5503 63096 306513 | 257986 227959 227 | 0.036 % |
1752.70/1753.65 c | 1199204 | 5503 63096 306513 | 257986 228119 228 | 0.036 % |
1753.10/1754.09 c | 1199383 | 5503 63096 306513 | 257986 228298 228 | 0.036 % |
1753.50/1754.43 c | 1199577 | 5503 63096 306513 | 257986 228492 228 | 0.036 % |
1754.00/1754.92 c | 1199789 | 5503 63096 306513 | 257986 228704 228 | 0.036 % |
1754.30/1755.21 c | 1200023 | 5503 63096 306513 | 228917 228938 228 | 0.036 % |
1755.59/1756.57 c | 1200279 | 5503 63096 306513 | 228917 201465 225 | 0.036 % |
1755.99/1756.96 c | 1200560 | 5503 63096 306513 | 228917 201746 225 | 0.036 % |
1756.59/1757.56 c | 1200878 | 5503 63096 306513 | 228917 202064 225 | 0.036 % |
1756.89/1757.82 c | 1201217 | 5503 63096 306513 | 228917 202403 225 | 0.036 % |
1757.09/1758.02 c | 1201589 | 5503 63096 306513 | 228917 202775 225 | 0.036 % |
1757.49/1758.42 c | 1201999 | 5503 63096 306513 | 228917 203185 225 | 0.036 % |
1757.79/1758.71 c | 1202450 | 5503 63096 306513 | 228917 203636 225 | 0.036 % |
1758.09/1759.07 c | 1202945 | 5503 63096 306513 | 228917 204131 225 | 0.036 % |
1758.39/1759.40 c | 1203487 | 5503 63096 306513 | 228917 204673 224 | 0.036 % |
1758.99/1759.95 c | 1204085 | 5503 63096 306513 | 228917 205271 224 | 0.036 % |
1760.49/1761.46 c | 1204740 | 5503 63096 306513 | 228917 205926 224 | 0.036 % |
1761.69/1762.68 c | 1205463 | 5503 63096 306513 | 228917 206649 224 | 0.036 % |
1762.69/1763.63 c | 1206261 | 5503 63096 306513 | 228917 207447 224 | 0.036 % |
1764.59/1765.58 c | 1207133 | 5503 63096 306513 | 228917 208319 224 | 0.036 % |
1766.79/1767.72 c | 1208091 | 5503 63096 306513 | 228917 209277 223 | 0.036 % |
1768.69/1769.63 c | 1209148 | 5503 63096 306513 | 228917 210334 223 | 0.036 % |
1770.49/1771.44 c | 1210306 | 5503 63096 306513 | 2147483647 211492 223 | 0.036 % |
1773.98/1774.94 c | 1211579 | 5503 63096 306513 | 2147483647 212765 222 | 0.036 % |
1776.78/1777.71 c | 1212990 | 5503 63096 306513 | 2147483647 214176 222 | 0.036 % |
1779.89/1780.80 c | 1214531 | 5503 63096 306513 | 2147483647 215717 222 | 0.036 % |
1781.78/1782.74 c | 1216227 | 5503 63096 306513 | 2147483647 217413 222 | 0.036 % |
1783.48/1784.47 c | 1218091 | 5503 63096 306513 | 2147483647 219277 221 | 0.036 % |
1785.08/1786.07 c | 1220141 | 5503 63096 306513 | 2147483647 221327 222 | 0.036 % |
1786.28/1787.26 c | 1222394 | 5503 63096 306513 | 2147483647 223580 223 | 0.036 % |
1788.08/1789.06 c | 1224873 | 5503 63096 306513 | 2147483647 226059 224 | 0.036 % |
1789.88/1790.84 c | 1227599 | 5503 63096 306513 | 2147483647 228785 226 | 0.036 % |
1793.28/1794.29 c | 1230601 | 5503 63096 306513 | 2147483647 231787 226 | 0.036 % |
1796.28/1797.27 c | 1233898 | 5503 63096 306513 | 2147483647 235084 228 | 0.036 % |
1798.97/1799.97 c | 1237524 | 5503 63096 306513 | 2147483647 238710 229 | 0.036 % |
1802.67/1803.63 c | 1241511 | 5503 63096 306513 | 2147483647 242697 230 | 0.036 % |
1806.77/1807.78 c | 1245897 | 5503 63096 306513 | 2147483647 247083 233 | 0.036 % |
1811.17/1812.15 c | 1250721 | 5503 63096 306513 | 2147483647 251907 234 | 0.036 % |
1818.56/1819.51 c | 1256026 | 5503 63096 306513 | 2147483647 257212 235 | 0.036 % |
1827.06/1828.00 c | 1261863 | 5503 63096 306513 | 2147483647 263049 237 | 0.036 % |
1834.76/1835.71 c | 1268282 | 5503 63096 306513 | 2147483647 269468 238 | 0.036 % |
1842.06/1843.06 c | 1275344 | 5503 63096 306513 | 2147483647 276530 238 | 0.037 % |
1854.75/1855.76 c | 1283108 | 5503 63096 306513 | 2147483647 284294 237 | 0.036 % |
1866.15/1867.15 c | 1291648 | 5503 63096 306513 | 2147483647 292834 236 | 0.036 % |
1886.44/1887.44 c | 1301042 | 5503 63096 306513 | 301188 255259 241 | 0.036 % |
1906.33/1907.40 c | 1311376 | 5503 63096 306513 | 264218 230274 239 | 0.036 % |
1926.82/1927.89 c | 1322743 | 5503 63096 306513 | 2147483647 241641 238 | 0.036 % |
1927.02/1928.07 c | 1322846 | 5503 63096 306513 | 2147483647 241744 238 | 0.036 % |
1927.23/1928.25 c | 1322956 | 5503 63096 306513 | 2147483647 241854 238 | 0.036 % |
1927.42/1928.45 c | 1323078 | 5503 63096 306513 | 2147483647 241976 239 | 0.036 % |
1927.62/1928.66 c | 1323213 | 5503 63096 306513 | 2147483647 242111 239 | 0.036 % |
1927.92/1928.97 c | 1323360 | 5503 63096 306513 | 2147483647 242258 239 | 0.036 % |
1928.22/1929.25 c | 1323522 | 5503 63096 306513 | 2147483647 242420 239 | 0.036 % |
1928.62/1929.65 c | 1323698 | 5503 63096 306513 | 2147483647 242596 239 | 0.036 % |
1929.02/1930.00 c | 1323891 | 5503 63096 306513 | 2147483647 242789 239 | 0.036 % |
1929.32/1930.38 c | 1324103 | 5503 63096 306513 | 2147483647 243001 239 | 0.036 % |
1929.62/1930.65 c | 1324338 | 5503 63096 306513 | 2147483647 243236 238 | 0.036 % |
1930.02/1931.01 c | 1324598 | 5503 63096 306513 | 2147483647 243496 238 | 0.036 % |
1930.72/1931.72 c | 1324880 | 5503 63096 306513 | 2147483647 243778 238 | 0.036 % |
1931.12/1932.19 c | 1325192 | 5503 63096 306513 | 2147483647 244090 238 | 0.036 % |
1931.52/1932.54 c | 1325534 | 5503 63096 306513 | 2147483647 244432 238 | 0.036 % |
1932.12/1933.19 c | 1325907 | 5503 63096 306513 | 2147483647 244805 238 | 0.036 % |
1932.32/1933.34 c | 1326321 | 5503 63096 306513 | 2147483647 245219 238 | 0.036 % |
1933.52/1934.58 c | 1326781 | 5503 63096 306513 | 2147483647 245679 238 | 0.036 % |
1934.31/1935.35 c | 1327274 | 5503 63096 306513 | 2147483647 246172 238 | 0.036 % |
1934.91/1935.99 c | 1327819 | 5503 63096 306513 | 2147483647 246717 238 | 0.036 % |
1936.01/1937.04 c | 1328418 | 5503 63096 306513 | 2147483647 247316 237 | 0.036 % |
1936.90/1937.95 c | 1329073 | 5503 63096 306513 | 2147483647 247971 237 | 0.036 % |
1937.60/1938.69 c | 1329795 | 5503 63096 306513 | 2147483647 248693 237 | 0.036 % |
1939.31/1940.40 c | 1330587 | 5503 63096 306513 | 248898 224562 229 | 0.036 % |
1940.80/1941.90 c | 1331464 | 5503 63096 306513 | 248898 225439 229 | 0.036 % |
1942.80/1943.89 c | 1332424 | 5503 63096 306513 | 248898 226399 229 | 0.036 % |
1944.50/1945.50 c | 1333480 | 5503 63096 306513 | 248898 227455 228 | 0.036 % |
1947.20/1948.25 c | 1334639 | 5503 63096 306513 | 248898 228614 228 | 0.036 % |
1948.90/1949.92 c | 1335917 | 5503 63096 306513 | 248898 229892 228 | 0.036 % |
1951.20/1952.26 c | 1337317 | 5503 63096 306513 | 248898 231292 228 | 0.036 % |
1953.80/1954.81 c | 1338860 | 5503 63096 306513 | 248898 232835 228 | 0.036 % |
1956.20/1957.22 c | 1340554 | 5503 63096 306513 | 2147483647 234529 227 | 0.036 % |
1958.70/1959.72 c | 1342418 | 5503 63096 306513 | 2147483647 236393 226 | 0.036 % |
1961.10/1962.17 c | 1344474 | 5503 63096 306513 | 2147483647 238449 225 | 0.036 % |
1963.99/1965.08 c | 1346728 | 5503 63096 306513 | 2147483647 240703 225 | 0.036 % |
1966.69/1967.79 c | 1349209 | 5503 63096 306513 | 2147483647 243184 223 | 0.036 % |
1971.59/1972.62 c | 1351935 | 5503 63096 306513 | 2147483647 245910 222 | 0.036 % |
1977.19/1978.23 c | 1354932 | 5503 63096 306513 | 2147483647 248907 222 | 0.036 % |
1983.78/1984.89 c | 1358242 | 5503 63096 306513 | 2147483647 252217 222 | 0.036 % |
1987.88/1989.00 c | 1361867 | 5503 63096 306513 | 2147483647 255842 223 | 0.036 % |
1992.18/1993.21 c | 1365854 | 5503 63096 306513 | 2147483647 259829 224 | 0.036 % |
1996.88/1997.92 c | 1370240 | 5503 63096 306513 | 263977 264215 224 | 0.036 % |
2002.28/2003.36 c | 1375063 | 5503 63096 306513 | 263977 242617 219 | 0.036 % |
2009.87/2010.95 c | 1380368 | 5503 63096 306513 | 2147483647 247922 221 | 0.036 % |
2014.47/2015.56 c | 1386206 | 5503 63096 306513 | 2147483647 253760 223 | 0.036 % |
2019.07/2020.17 c | 1392624 | 5503 63096 306513 | 2147483647 260178 224 | 0.036 % |
2025.66/2026.75 c | 1399687 | 5503 63096 306513 | 2147483647 267241 226 | 0.036 % |
2031.56/2032.68 c | 1407451 | 5503 63096 306513 | 2147483647 275005 228 | 0.036 % |
2042.66/2043.71 c | 1415991 | 5503 63096 306513 | 2147483647 283545 229 | 0.036 % |
2057.35/2058.47 c | 1425392 | 5503 63096 306513 | 287555 260582 221 | 0.036 % |
2071.25/2072.35 c | 1435726 | 5503 63096 306513 | 2147483647 270916 221 | 0.036 % |
2088.75/2089.82 c | 1447093 | 5503 63096 306513 | 2147483647 282283 220 | 0.036 % |
2104.55/2105.69 c | 1459598 | 5503 63096 306513 | 2147483647 294788 218 | 0.036 % |
2104.75/2105.81 c | 1459700 | 5503 63096 306513 | 2147483647 294890 218 | 0.036 % |
2104.84/2105.92 c | 1459810 | 5503 63096 306513 | 2147483647 295000 218 | 0.036 % |
2104.94/2106.07 c | 1459932 | 5503 63096 306513 | 2147483647 295122 218 | 0.036 % |
2105.24/2106.30 c | 1460065 | 5503 63096 306513 | 2147483647 295255 218 | 0.036 % |
2105.45/2106.54 c | 1460217 | 5503 63096 306513 | 2147483647 295407 218 | 0.036 % |
2105.54/2106.67 c | 1460377 | 5503 63096 306513 | 2147483647 295567 217 | 0.036 % |
2105.84/2106.95 c | 1460556 | 5503 63096 306513 | 2147483647 295746 217 | 0.036 % |
2106.24/2107.33 c | 1460749 | 5503 63096 306513 | 2147483647 295939 217 | 0.036 % |
2106.55/2107.66 c | 1460961 | 5503 63096 306513 | 2147483647 296151 217 | 0.036 % |
2107.14/2108.28 c | 1461197 | 5503 63096 306513 | 2147483647 296387 217 | 0.036 % |
2107.84/2108.95 c | 1461453 | 5503 63096 306513 | 2147483647 296643 217 | 0.036 % |
2108.54/2109.68 c | 1461738 | 5503 63096 306513 | 2147483647 296928 217 | 0.036 % |
2109.04/2110.18 c | 1462047 | 5503 63096 306513 | 2147483647 297237 217 | 0.036 % |
2109.64/2110.78 c | 1462390 | 5503 63096 306513 | 2147483647 297580 217 | 0.036 % |
2110.24/2111.38 c | 1462763 | 5503 63096 306513 | 2147483647 297953 217 | 0.036 % |
2110.74/2111.89 c | 1463173 | 5503 63096 306513 | 2147483647 298363 217 | 0.036 % |
2111.14/2112.26 c | 1463625 | 5503 63096 306513 | 2147483647 298815 217 | 0.036 % |
2111.64/2112.77 c | 1464118 | 5503 63096 306513 | 2147483647 299308 217 | 0.036 % |
2112.04/2113.19 c | 1464660 | 5503 63096 306513 | 2147483647 299850 217 | 0.036 % |
2112.74/2113.82 c | 1465256 | 5503 63096 306513 | 2147483647 300446 217 | 0.036 % |
2113.44/2114.53 c | 1465913 | 5503 63096 306513 | 2147483647 301103 217 | 0.036 % |
2114.03/2115.19 c | 1466633 | 5503 63096 306513 | 2147483647 301823 217 | 0.036 % |
2114.63/2115.73 c | 1467427 | 5503 63096 306513 | 2147483647 302617 217 | 0.036 % |
2115.23/2116.34 c | 1468298 | 5503 63096 306513 | 2147483647 303488 217 | 0.036 % |
2115.83/2116.97 c | 1469257 | 5503 63096 306513 | 2147483647 304447 218 | 0.036 % |
2116.73/2117.85 c | 1470310 | 5503 63096 306513 | 2147483647 305500 218 | 0.036 % |
2118.43/2119.54 c | 1471469 | 5503 63096 306513 | 2147483647 306659 217 | 0.036 % |
2119.23/2120.31 c | 1472743 | 5503 63096 306513 | 2147483647 307933 217 | 0.036 % |
2120.33/2121.48 c | 1474143 | 5503 63096 306513 | 2147483647 309333 216 | 0.036 % |
2121.43/2122.54 c | 1475686 | 5503 63096 306513 | 2147483647 310876 216 | 0.036 % |
2122.53/2123.65 c | 1477380 | 5503 63096 306513 | 2147483647 312570 215 | 0.036 % |
2124.03/2125.20 c | 1479251 | 5503 63096 306513 | 2147483647 314441 215 | 0.036 % |
2125.93/2127.07 c | 1481301 | 5503 63096 306513 | 2147483647 316491 215 | 0.036 % |
2127.82/2128.90 c | 1483557 | 5503 63096 306513 | 2147483647 318747 216 | 0.036 % |
2131.42/2132.51 c | 1486039 | 5503 63096 306513 | 2147483647 321229 217 | 0.036 % |
2138.62/2139.76 c | 1488764 | 5503 63096 306513 | 2147483647 323954 217 | 0.036 % |
2142.92/2144.08 c | 1491764 | 5503 63096 306513 | 325192 286630 213 | 0.036 % |
2147.12/2148.28 c | 1495060 | 5503 63096 306513 | 325192 289926 212 | 0.036 % |
2153.61/2154.71 c | 1498686 | 5503 63096 306513 | 325192 293552 211 | 0.036 % |
2157.81/2158.96 c | 1502673 | 5503 63096 306513 | 2147483647 297539 209 | 0.036 % |
2166.50/2167.66 c | 1507058 | 5503 63096 306513 | 2147483647 301924 208 | 0.036 % |
2174.50/2175.65 c | 1511882 | 5503 63096 306513 | 304867 276194 202 | 0.036 % |
2181.00/2182.15 c | 1517189 | 5503 63096 306513 | 304867 281501 202 | 0.036 % |
2187.40/2188.59 c | 1523026 | 5503 63096 306513 | 2147483647 287338 202 | 0.037 % |
2194.30/2195.47 c | 1529448 | 5503 63096 306513 | 2147483647 293760 202 | 0.036 % |
2202.79/2203.99 c | 1536514 | 5503 63096 306513 | 2147483647 300826 202 | 0.037 % |
2218.69/2219.85 c | 1544278 | 5503 63096 306513 | 304312 259689 197 | 0.036 % |
2234.08/2235.29 c | 1552818 | 5503 63096 306513 | 265416 231103 194 | 0.036 % |
2246.57/2247.78 c | 1562213 | 5502 62968 305856 | 2147483647 214386 192 | 0.054 % |
2258.97/2260.13 c | 1572556 | 5502 62968 305856 | 2147483647 224729 189 | 0.054 % |
2271.37/2272.57 c | 1583924 | 5502 62968 305856 | 2147483647 236097 183 | 0.055 % |
2287.76/2288.93 c | 1596430 | 5502 62968 305856 | 2147483647 248603 180 | 0.054 % |
2305.05/2306.27 c | 1610183 | 5502 62968 305856 | 2147483647 262356 176 | 0.054 % |
2305.25/2306.43 c | 1610283 | 5502 62968 305856 | 2147483647 262456 176 | 0.054 % |
2305.35/2306.60 c | 1610396 | 5502 62968 305856 | 2147483647 262569 176 | 0.054 % |
2305.65/2306.84 c | 1610520 | 5502 62968 305856 | 2147483647 262693 176 | 0.054 % |
2305.94/2307.17 c | 1610653 | 5502 62968 305856 | 2147483647 262826 176 | 0.054 % |
2306.24/2307.46 c | 1610800 | 5502 62968 305856 | 2147483647 262973 176 | 0.054 % |
2306.65/2307.85 c | 1610963 | 5502 62968 305856 | 2147483647 263136 176 | 0.054 % |
2307.04/2308.21 c | 1611139 | 5502 62968 305856 | 2147483647 263312 176 | 0.055 % |
2307.24/2308.49 c | 1611341 | 5502 62968 305856 | 2147483647 263514 176 | 0.055 % |
2307.54/2308.74 c | 1611553 | 5502 62968 305856 | 2147483647 263726 176 | 0.055 % |
2307.94/2309.12 c | 1611786 | 5502 62968 305856 | 2147483647 263959 176 | 0.054 % |
2308.14/2309.38 c | 1612043 | 5502 62968 305856 | 2147483647 264216 176 | 0.055 % |
2308.44/2309.62 c | 1612325 | 5502 62968 305856 | 2147483647 264498 176 | 0.054 % |
2308.85/2310.03 c | 1612638 | 5502 62968 305856 | 2147483647 264811 175 | 0.054 % |
2309.24/2310.43 c | 1612977 | 5502 62968 305856 | 2147483647 265150 175 | 0.054 % |
2309.85/2311.01 c | 1613349 | 5502 62968 305856 | 2147483647 265522 175 | 0.054 % |
2310.14/2311.37 c | 1613759 | 5502 62968 305856 | 2147483647 265932 175 | 0.054 % |
2310.64/2311.85 c | 1614211 | 5502 62968 305856 | 2147483647 266384 175 | 0.054 % |
2311.05/2312.22 c | 1614709 | 5502 62968 305856 | 2147483647 266882 175 | 0.054 % |
2311.44/2312.67 c | 1615253 | 5502 62968 305856 | 2147483647 267426 175 | 0.055 % |
2312.15/2313.36 c | 1615849 | 5502 62968 305856 | 2147483647 268022 175 | 0.054 % |
2313.15/2314.38 c | 1616504 | 5502 62968 305856 | 2147483647 268677 175 | 0.054 % |
2314.04/2315.22 c | 1617224 | 5502 62968 305856 | 2147483647 269397 174 | 0.054 % |
2314.94/2316.18 c | 1618017 | 5502 62968 305856 | 2147483647 270190 174 | 0.054 % |
2316.64/2317.81 c | 1618890 | 5502 62968 305856 | 2147483647 271063 174 | 0.054 % |
2318.04/2319.27 c | 1619848 | 5502 62968 305856 | 2147483647 272021 174 | 0.055 % |
2319.24/2320.43 c | 1620903 | 5502 62968 305856 | 2147483647 273076 174 | 0.054 % |
2320.24/2321.45 c | 1622063 | 5502 62968 305856 | 2147483647 274236 174 | 0.055 % |
2323.64/2324.81 c | 1623338 | 5502 62968 305856 | 2147483647 275511 174 | 0.055 % |
2325.14/2326.35 c | 1624738 | 5502 62968 305856 | 2147483647 276911 175 | 0.054 % |
2327.14/2328.39 c | 1626279 | 5502 62968 305856 | 2147483647 278452 176 | 0.054 % |
2330.74/2331.91 c | 1627975 | 5502 62968 305856 | 2147483647 280148 175 | 0.055 % |
2333.43/2334.64 c | 1629839 | 5502 62968 305856 | 2147483647 282012 175 | 0.054 % |
2336.73/2337.91 c | 1631889 | 5502 62968 305856 | 2147483647 284062 174 | 0.055 % |
2340.03/2341.24 c | 1634145 | 5502 62968 305856 | 2147483647 286318 174 | 0.055 % |
2344.93/2346.12 c | 1636624 | 5499 62968 305856 | 2147483647 288796 174 | 0.109 % |
2349.63/2350.81 c | 1639350 | 5499 62968 305856 | 2147483647 291522 174 | 0.109 % |
2355.22/2356.45 c | 1642350 | 5499 62968 305856 | 292175 255784 173 | 0.109 % |
2359.72/2360.97 c | 1645647 | 5498 62968 305856 | 292175 259080 173 | 0.163 % |
2362.72/2363.95 c ===============================================================================
2362.72/2363.95 c restarts : 1471
2362.72/2363.95 c conflicts : 1647315 (699 /sec)
2362.72/2363.95 c decisions : 5519283 (1.76 % random) (2342 /sec)
2362.72/2363.95 c propagations : 353519325 (150022 /sec)
2362.72/2363.95 c conflict literals : 439623991 (23.62 % deleted)
2362.72/2363.95 c Memory used : 429.00 MB
2362.72/2363.95 c CPU time : 2356.45 s
2362.72/2363.95 c
2362.72/2363.95 s UNSATISFIABLE
2362.82/2364.02 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837244-1242864477/watcher-1837244-1242864477 -o /tmp/evaluation-result-1837244-1242864477/solver-1837244-1242864477 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837244-1242864477.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 0.99 0.97 0.91 3/65 6221
/proc/meminfo: memFree=1857192/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314477597 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6221/statm: 1339 235 195 169 0 50 0
[pid=6222] ppid=6221 vsize=5356 CPUtime=0
/proc/6222/stat : 6222 (SatELiteGTI) S 6221 6221 6144 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 314477597 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6222/statm: 1339 238 198 169 0 50 0
[pid=6224] ppid=6222 vsize=5356 CPUtime=0
/proc/6224/stat : 6224 (SatELiteGTI) R 6222 6221 6144 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 0 0 0
/proc/6224/statm: 48 23 16 11 0 11 0
[startup+0.0502181 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 6221
/proc/meminfo: memFree=1857192/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102223 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 6221
/proc/meminfo: memFree=1857192/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302242 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 6221
/proc/meminfo: memFree=1857192/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702283 s]
/proc/loadavg: 0.99 0.97 0.91 3/65 6221
/proc/meminfo: memFree=1857192/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50236 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6226
/proc/meminfo: memFree=1829848/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
[pid=6226] ppid=6221 vsize=26604 CPUtime=1.48
/proc/6226/stat : 6226 (SatELite_releas) R 6221 6221 6144 0 -1 4194304 6464 0 0 0 143 5 0 0 25 0 1 0 314477597 27242496 6030 1992294400 134512640 135223648 4294956128 18446744073709551615 134586742 0 0 4096 3 0 0 0 17 0 0 0
/proc/6226/statm: 6651 6030 76 173 0 6476 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31960
[startup+3.10153 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6226
/proc/meminfo: memFree=1824216/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=0
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314477597 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 237 197 169 0 50 0
[pid=6226] ppid=6221 vsize=28696 CPUtime=3.08
/proc/6226/stat : 6226 (SatELite_releas) R 6221 6221 6144 0 -1 4194304 6903 0 0 0 299 9 0 0 25 0 1 0 314477597 29384704 6469 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/6226/statm: 7174 6469 76 173 0 6999 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34052
[startup+6.30188 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6226
/proc/meminfo: memFree=1810200/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 5356
[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1819224/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=21052 CPUtime=7.2
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 5106 0 0 0 715 5 0 0 25 0 1 0 314478143 21557248 5092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 5263 5092 77 171 0 5090 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 26408
[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1789272/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=49764 CPUtime=19.99
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 12294 0 0 0 1988 11 0 0 25 0 1 0 314478143 50958336 12280 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 12441 12280 77 171 0 12268 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 55120
[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1733848/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=105480 CPUtime=45.55
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 26183 0 0 0 4535 20 0 0 25 0 1 0 314478143 108011520 26169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 26370 26169 77 171 0 26197 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 110836
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1652056/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=186172 CPUtime=96.71
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 46305 0 0 0 9637 34 0 0 25 0 1 0 314478143 190640128 46291 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 46543 46291 77 171 0 46370 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 191528
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1571416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=267132 CPUtime=156.67
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 66602 0 0 0 15617 50 0 0 25 0 1 0 314478143 273543168 66588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 66783 66588 77 171 0 66610 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 272488
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1493336/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=345016 CPUtime=216.64
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 85946 0 0 0 21598 66 0 0 25 0 1 0 314478143 353296384 85932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 86254 85932 77 171 0 86081 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 350372
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1444184/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=394652 CPUtime=276.6
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 98357 0 0 0 27583 77 0 0 25 0 1 0 314478143 404123648 98343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 98663 98343 77 171 0 98490 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 400008
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1421336/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=416236 CPUtime=336.58
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 103770 0 0 0 33576 82 0 0 25 0 1 0 314478143 426225664 103756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 104059 103756 77 171 0 103886 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 421592
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1421208/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=416236 CPUtime=396.55
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 103775 0 0 0 39573 82 0 0 25 0 1 0 314478143 426225664 103761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 104059 103761 77 171 0 103886 0
Current children cumulated CPU time (s) 401.99
################
# More data... #
################
[startup+2082.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6227
/proc/meminfo: memFree=1396632/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=438204 CPUtime=2075.81
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109304 0 0 0 207493 88 0 0 25 0 1 0 314478143 448720896 109290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109551 109290 77 171 0 109378 0
Current children cumulated CPU time (s) 2081.25
Current children cumulated vsize (KiB) 443560
[startup+2142.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6228
/proc/meminfo: memFree=1396312/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=438568 CPUtime=2135.78
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109373 0 0 0 213489 89 0 0 25 0 1 0 314478143 449093632 109359 1992294400 134512640 135215339 4294956240 18446744073709551615 134534291 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109642 109359 77 171 0 109469 0
Current children cumulated CPU time (s) 2141.22
Current children cumulated vsize (KiB) 443924
[startup+2202.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1396056/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=438932 CPUtime=2195.76
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109445 0 0 0 219487 89 0 0 25 0 1 0 314478143 449466368 109431 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109733 109431 77 171 0 109560 0
Current children cumulated CPU time (s) 2201.2
Current children cumulated vsize (KiB) 444288
[startup+2262.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395736/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2255.73
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 225484 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2261.17
Current children cumulated vsize (KiB) 444652
[startup+2322.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395608/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2315.7
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 231481 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2321.14
Current children cumulated vsize (KiB) 444652
Solver just ended. Dumping a history of the last processes samples
[startup+2329.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395608/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2322.9
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 232201 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2328.34
Current children cumulated vsize (KiB) 444652
[startup+2342.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395480/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2335.69
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 233480 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2341.13
Current children cumulated vsize (KiB) 444652
[startup+2355.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2348.49
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 234760 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2353.93
Current children cumulated vsize (KiB) 444652
[startup+2358.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2351.69
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 235080 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2357.13
Current children cumulated vsize (KiB) 444652
[startup+2361.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2354.88
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 235399 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2360.32
Current children cumulated vsize (KiB) 444652
[startup+2363.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2356.48
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 235559 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2361.92
Current children cumulated vsize (KiB) 444652
[startup+2363.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2356.88
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 235599 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2362.32
Current children cumulated vsize (KiB) 444652
[startup+2363.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=439296 CPUtime=2357.28
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194304 109516 0 0 0 235639 89 0 0 25 0 1 0 314478143 449839104 109502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 109824 109502 77 171 0 109651 0
Current children cumulated CPU time (s) 2362.72
Current children cumulated vsize (KiB) 444652
[startup+2364 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6229
/proc/meminfo: memFree=1395416/2055920 swapFree=4164712/4192956
[pid=6221] ppid=6219 vsize=5356 CPUtime=5.44
/proc/6221/stat : 6221 (SatELiteGTI) S 6219 6221 6144 0 -1 4194304 336 8310 0 0 0 0 531 13 16 0 1 0 314477597 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6221/statm: 1339 239 197 169 0 50 0
[pid=6227] ppid=6221 vsize=0 CPUtime=2357.38
/proc/6227/stat : 6227 (minisat_static) R 6221 6221 6144 0 -1 4194308 109522 0 0 0 235644 94 0 0 25 0 1 0 314478143 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/6227/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2362.82
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 2364.04
CPU time (s): 2362.88
CPU user time (s): 2361.77
CPU system time (s): 1.11783
CPU usage (%): 99.9512
Max. virtual memory (cumulated for all children) (KiB): 444652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2361.77
system time used= 1.11783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118322
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= 47
involuntary context switches= 9532
runsolver used 2.13368 second user time and 6.62399 second system time
The end
Begin job on node81 at 2009-05-21 02:07:58
IDJOB=1837244
IDBENCH=70762
IDSOLVER=674
FILE ID=node81/1837244-1242864477
PBS_JOBID= 9328524
Free space on /tmp= 126456 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837244-1242864477/watcher-1837244-1242864477 -o /tmp/evaluation-result-1837244-1242864477/solver-1837244-1242864477 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837244-1242864477.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED=1428276263
node81.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.234
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.234
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1857736 kB
Buffers: 26900 kB
Cached: 112200 kB
SwapCached: 21652 kB
Active: 25592 kB
Inactive: 136840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1857736 kB
SwapTotal: 4192956 kB
SwapFree: 4164712 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 13660 kB
Slab: 21560 kB
Committed_AS: 967356 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126452 MiB
End job on node81 at 2009-05-21 02:47:22