0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 160467 374423 | 48140 0 0 nan | 0.000 % |
5.68/5.72 c | 0 | 63354 307031 | -- 0 -- -- | -- | -97071/-67291
5.68/5.72 c ==============================================================================
5.68/5.72 c Result : #vars: 5505 #clauses: 63354 #literals: 307031
5.68/5.72 c CPU time: 5.59815 s
5.68/5.72 c ==============================================================================
5.77/5.83 c This is MiniSat 2.0 beta
5.77/5.83 c WARNING: for repeatability, setting FPU to use double precision
5.77/5.83 c ============================[ Problem Statistics ]=============================
5.77/5.83 c | |
5.77/5.84 c | Number of variables: 5505 |
5.77/5.84 c | Number of clauses: 63354 |
5.77/5.88 c | Parsing time: 0.04 s |
5.77/5.88 c ============================[ Search Statistics ]==============================
5.77/5.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.77/5.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.77/5.88 c ===============================================================================
5.77/5.88 c | 0 | 5505 63354 307031 | 21118 0 nan | 0.000 % |
5.80/5.92 c | 100 | 5505 63354 307031 | 21118 100 12 | 0.000 % |
5.80/5.99 c | 200 | 5505 63354 307031 | 21118 200 11 | 0.000 % |
5.80/6.06 c | 300 | 5505 63354 307031 | 21118 300 11 | 0.000 % |
5.80/6.10 c | 410 | 5505 63354 307031 | 21118 410 10 | 0.000 % |
5.80/6.13 c | 510 | 5505 63354 307031 | 21118 510 10 | 0.000 % |
5.80/6.14 c | 621 | 5505 63354 307031 | 21118 621 13 | 0.000 % |
5.80/6.15 c | 743 | 5505 63354 307031 | 21118 743 13 | 0.000 % |
5.80/6.17 c | 843 | 5505 63354 307031 | 21118 843 13 | 0.000 % |
5.80/6.30 c | 954 | 5505 63354 307031 | 21118 954 13 | 0.000 % |
5.80/6.33 c | 1077 | 5505 63354 307031 | 21118 1077 12 | 0.000 % |
5.80/6.34 c | 1210 | 5505 63354 307031 | 21118 1210 13 | 0.000 % |
5.80/6.34 c | 1310 | 5505 63354 307031 | 21118 1310 14 | 0.000 % |
5.80/6.36 c | 1420 | 5505 63354 307031 | 21118 1420 13 | 0.000 % |
5.80/6.40 c | 1541 | 5505 63354 307031 | 21118 1541 13 | 0.000 % |
5.80/6.41 c | 1675 | 5505 63354 307031 | 21118 1675 13 | 0.000 % |
5.80/6.42 c | 1821 | 5505 63354 307031 | 21118 1821 14 | 0.000 % |
5.80/6.42 c | 1921 | 5505 63354 307031 | 21118 1921 14 | 0.000 % |
5.80/6.46 c | 2031 | 5505 63354 307031 | 21118 2031 14 | 0.000 % |
5.80/6.47 c | 2154 | 5505 63354 307031 | 21118 2154 14 | 0.000 % |
5.80/6.52 c | 2287 | 5505 63354 307031 | 21118 2287 14 | 0.000 % |
5.80/6.53 c | 2433 | 5505 63354 307031 | 21118 2433 16 | 0.000 % |
5.80/6.54 c | 2594 | 5505 63354 307031 | 21118 2594 17 | 0.000 % |
5.80/6.55 c | 2694 | 5505 63354 307031 | 21118 2694 17 | 0.000 % |
5.80/6.55 c | 2804 | 5505 63354 307031 | 21118 2804 18 | 0.000 % |
6.55/6.65 c | 2925 | 5505 63354 307031 | 21118 2925 18 | 0.000 % |
6.55/6.67 c | 3062 | 5505 63354 307031 | 21118 3062 23 | 0.000 % |
6.55/6.69 c | 3212 | 5505 63354 307031 | 21118 3212 23 | 0.000 % |
6.65/6.72 c | 3372 | 5505 63354 307031 | 21118 3372 24 | 0.000 % |
6.65/6.73 c | 3554 | 5505 63354 307031 | 21118 3554 24 | 0.000 % |
6.65/6.74 c | 3654 | 5505 63354 307031 | 21118 3654 25 | 0.000 % |
6.65/6.76 c | 3764 | 5505 63354 307031 | 21118 3764 26 | 0.000 % |
6.65/6.78 c | 3885 | 5505 63354 307031 | 21118 3885 29 | 0.000 % |
6.65/6.79 c | 4019 | 5505 63354 307031 | 21118 4019 29 | 0.000 % |
6.74/6.82 c | 4165 | 5505 63354 307031 | 21118 4165 29 | 0.000 % |
6.74/6.83 c | 4329 | 5505 63354 307031 | 21118 4329 29 | 0.000 % |
6.74/6.84 c | 4505 | 5505 63354 307031 | 21118 4505 29 | 0.000 % |
6.74/6.85 c | 4698 | 5505 63354 307031 | 21118 4698 29 | 0.000 % |
6.74/6.86 c | 4798 | 5505 63354 307031 | 21118 4798 28 | 0.000 % |
6.74/6.88 c | 4909 | 5505 63354 307031 | 21118 4909 28 | 0.000 % |
6.74/6.89 c | 5031 | 5505 63354 307031 | 21118 5031 28 | 0.000 % |
6.84/6.91 c | 5164 | 5505 63354 307031 | 21118 5164 30 | 0.000 % |
6.84/6.92 c | 5310 | 5505 63354 307031 | 21118 5310 33 | 0.000 % |
6.84/6.95 c | 5470 | 5505 63354 307031 | 21118 5470 34 | 0.000 % |
6.84/6.99 c | 5646 | 5505 63354 307031 | 21118 5646 33 | 0.000 % |
6.94/7.00 c | 5839 | 5505 63354 307031 | 21118 5839 34 | 0.000 % |
6.94/7.04 c | 6051 | 5505 63354 307031 | 21118 6051 35 | 0.000 % |
6.94/7.06 c | 6151 | 5505 63354 307031 | 21118 6151 36 | 0.000 % |
6.94/7.07 c | 6261 | 5505 63354 307031 | 21118 6261 35 | 0.000 % |
7.05/7.10 c | 6382 | 5504 63225 306772 | 21118 6380 35 | 0.018 % |
7.05/7.13 c | 6515 | 5504 63225 306772 | 21118 6513 35 | 0.018 % |
7.05/7.14 c | 6661 | 5504 63225 306772 | 21118 6659 35 | 0.018 % |
7.05/7.15 c | 6822 | 5504 63225 306772 | 21118 6820 34 | 0.018 % |
7.05/7.17 c | 6998 | 5504 63225 306772 | 21118 6996 34 | 0.018 % |
7.05/7.19 c | 7193 | 5504 63225 306772 | 21118 7191 37 | 0.018 % |
7.15/7.21 c | 7405 | 5504 63225 306772 | 21118 7403 36 | 0.018 % |
7.15/7.24 c | 7638 | 5504 63225 306772 | 21118 7636 36 | 0.018 % |
7.15/7.26 c | 7738 | 5504 63225 306772 | 21118 7736 36 | 0.018 % |
7.15/7.29 c | 7848 | 5504 63225 306772 | 21118 7846 36 | 0.018 % |
7.25/7.32 c | 7970 | 5504 63225 306772 | 21118 7968 35 | 0.018 % |
7.25/7.33 c | 8104 | 5504 63225 306772 | 21118 8102 35 | 0.018 % |
7.25/7.34 c | 8250 | 5504 63225 306772 | 21118 8248 35 | 0.018 % |
7.25/7.37 c | 8413 | 5504 63225 306772 | 21118 8411 35 | 0.018 % |
7.25/7.39 c | 8591 | 5504 63225 306772 | 21118 8589 35 | 0.018 % |
7.34/7.40 c | 8784 | 5504 63225 306772 | 21118 8782 35 | 0.018 % |
7.34/7.44 c | 8998 | 5504 63225 306772 | 21118 8996 35 | 0.018 % |
7.34/7.48 c | 9233 | 5504 63225 306772 | 21118 9231 34 | 0.018 % |
7.44/7.53 c | 9489 | 5504 63225 306772 | 21118 9487 33 | 0.018 % |
7.44/7.55 c | 9589 | 5504 63225 306772 | 21118 9587 33 | 0.018 % |
7.44/7.56 c | 9699 | 5504 63225 306772 | 21118 9697 33 | 0.018 % |
7.44/7.57 c | 9823 | 5504 63225 306772 | 21118 9821 33 | 0.018 % |
7.44/7.59 c | 9956 | 5504 63225 306772 | 21118 9954 33 | 0.018 % |
7.54/7.60 c | 10104 | 5504 63225 306772 | 2147483647 10102 33 | 0.018 % |
7.54/7.62 c | 10264 | 5504 63225 306772 | 2147483647 10262 33 | 0.018 % |
7.54/7.64 c | 10440 | 5504 63225 306772 | 2147483647 10438 33 | 0.018 % |
7.54/7.67 c | 10633 | 5504 63225 306772 | 2147483647 10631 33 | 0.018 % |
7.54/7.70 c | 10845 | 5504 63225 306772 | 2147483647 10843 33 | 0.018 % |
7.65/7.73 c | 11078 | 5504 63225 306772 | 2147483647 11076 33 | 0.018 % |
7.65/7.75 c | 11335 | 5504 63225 306772 | 2147483647 11333 33 | 0.018 % |
7.75/7.80 c | 11617 | 5504 63225 306772 | 2147483647 11615 33 | 0.018 % |
7.75/7.81 c | 11717 | 5504 63225 306772 | 2147483647 11715 33 | 0.018 % |
7.75/7.82 c | 11827 | 5504 63225 306772 | 2147483647 11825 33 | 0.018 % |
7.75/7.84 c | 11948 | 5504 63225 306772 | 2147483647 11946 33 | 0.018 % |
7.75/7.85 c | 12082 | 5504 63225 306772 | 2147483647 12080 33 | 0.018 % |
7.75/7.88 c | 12228 | 5504 63225 306772 | 2147483647 12226 33 | 0.018 % |
7.84/7.90 c | 12389 | 5504 63225 306772 | 2147483647 12387 34 | 0.018 % |
7.84/7.92 c | 12570 | 5504 63225 306772 | 2147483647 12568 34 | 0.018 % |
7.84/7.94 c | 12763 | 5504 63225 306772 | 2147483647 12761 34 | 0.018 % |
7.84/7.96 c | 12976 | 5504 63225 306772 | 2147483647 12974 34 | 0.018 % |
7.84/7.97 c | 13210 | 5504 63225 306772 | 2147483647 13208 34 | 0.018 % |
7.94/8.00 c | 13469 | 5504 63225 306772 | 2147483647 13467 34 | 0.018 % |
7.94/8.03 c | 13750 | 5504 63225 306772 | 2147483647 13748 34 | 0.018 % |
7.94/8.08 c | 14060 | 5504 63225 306772 | 2147483647 14058 34 | 0.018 % |
7.94/8.10 c | 14161 | 5504 63225 306772 | 2147483647 14159 34 | 0.018 % |
8.04/8.11 c | 14271 | 5504 63225 306772 | 2147483647 14269 34 | 0.018 % |
8.04/8.13 c | 14392 | 5504 63225 306772 | 2147483647 14390 35 | 0.018 % |
8.04/8.15 c | 14525 | 5504 63225 306772 | 2147483647 14523 35 | 0.018 % |
8.04/8.19 c | 14671 | 5504 63225 306772 | 2147483647 14669 35 | 0.018 % |
8.14/8.22 c | 14831 | 5504 63225 306772 | 2147483647 14829 35 | 0.018 % |
8.14/8.23 c | 15007 | 5504 63225 306772 | 2147483647 15005 35 | 0.018 % |
8.14/8.25 c | 15201 | 5504 63225 306772 | 2147483647 15199 35 | 0.018 % |
8.14/8.27 c | 15414 | 5504 63225 306772 | 2147483647 15412 35 | 0.018 % |
8.24/8.30 c | 15648 | 5504 63225 306772 | 2147483647 15646 36 | 0.018 % |
8.24/8.35 c | 15908 | 5504 63225 306772 | 2147483647 15906 36 | 0.018 % |
8.24/8.38 c | 16190 | 5504 63225 306772 | 2147483647 16188 37 | 0.018 % |
8.34/8.41 c | 16499 | 5504 63225 306772 | 2147483647 16497 37 | 0.018 % |
8.34/8.43 c | 16838 | 5504 63225 306772 | 2147483647 16836 38 | 0.018 % |
8.34/8.46 c | 16939 | 5504 63225 306772 | 2147483647 16937 38 | 0.018 % |
8.34/8.48 c | 17049 | 5504 63225 306772 | 2147483647 17047 38 | 0.018 % |
8.34/8.49 c | 17171 | 5504 63225 306772 | 2147483647 17169 38 | 0.018 % |
8.44/8.51 c | 17304 | 5504 63225 306772 | 2147483647 17302 38 | 0.018 % |
8.44/8.52 c | 17451 | 5504 63225 306772 | 2147483647 17449 39 | 0.018 % |
8.44/8.54 c | 17611 | 5504 63225 306772 | 2147483647 17609 39 | 0.018 % |
8.44/8.57 c | 17787 | 5504 63225 306772 | 2147483647 17785 39 | 0.018 % |
8.54/8.60 c | 17980 | 5504 63225 306772 | 2147483647 17978 40 | 0.018 % |
8.54/8.63 c | 18197 | 5504 63225 306772 | 2147483647 18195 41 | 0.018 % |
8.54/8.66 c | 18430 | 5504 63225 306772 | 2147483647 18428 41 | 0.018 % |
8.54/8.70 c | 18687 | 5504 63225 306772 | 2147483647 18685 41 | 0.018 % |
8.64/8.74 c | 18969 | 5504 63225 306772 | 2147483647 18967 41 | 0.018 % |
8.64/8.79 c | 19279 | 5504 63225 306772 | 2147483647 19277 42 | 0.018 % |
8.74/8.86 c | 19621 | 5504 63225 306772 | 2147483647 19619 43 | 0.018 % |
8.84/8.91 c | 19993 | 5504 63225 306772 | 2147483647 19991 45 | 0.018 % |
8.84/8.92 c | 20094 | 5504 63225 306772 | 2147483647 20092 46 | 0.018 % |
8.84/8.94 c | 20204 | 5504 63225 306772 | 2147483647 20202 46 | 0.018 % |
8.84/8.96 c | 20325 | 5504 63225 306772 | 2147483647 20323 46 | 0.018 % |
8.84/8.98 c | 20459 | 5504 63225 306772 | 2147483647 20457 46 | 0.018 % |
8.84/9.00 c | 20605 | 5504 63225 306772 | 2147483647 20603 46 | 0.018 % |
8.94/9.02 c | 20767 | 5504 63225 306772 | 2147483647 20765 46 | 0.018 % |
8.94/9.04 c | 20945 | 5504 63225 306772 | 2147483647 20943 46 | 0.018 % |
8.94/9.08 c | 21138 | 5504 63225 306772 | 2147483647 21136 46 | 0.018 % |
9.04/9.10 c | 21352 | 5504 63225 306772 | 2147483647 21350 47 | 0.018 % |
9.04/9.14 c | 21587 | 5504 63225 306772 | 2147483647 21585 47 | 0.018 % |
9.04/9.17 c | 21845 | 5504 63225 306772 | 2147483647 21843 48 | 0.018 % |
9.14/9.22 c | 22126 | 5504 63225 306772 | 2147483647 22124 49 | 0.018 % |
9.14/9.28 c | 22435 | 5504 63225 306772 | 2147483647 22433 49 | 0.018 % |
9.24/9.34 c | 22774 | 5504 63225 306772 | 2147483647 22772 50 | 0.018 % |
9.24/9.40 c | 23150 | 5504 63225 306772 | 2147483647 23148 52 | 0.018 % |
9.34/9.45 c | 23561 | 5504 63225 306772 | 2147483647 23559 53 | 0.018 % |
9.34/9.46 c | 23664 | 5504 63225 306772 | 2147483647 23662 53 | 0.018 % |
9.34/9.48 c | 23776 | 5504 63225 306772 | 2147483647 23774 53 | 0.018 % |
9.44/9.50 c | 23897 | 5504 63225 306772 | 2147483647 23895 53 | 0.018 % |
9.44/9.53 c | 24035 | 5504 63225 306772 | 2147483647 24033 53 | 0.018 % |
9.44/9.56 c | 24183 | 5504 63225 306772 | 2147483647 24181 54 | 0.018 % |
9.44/9.58 c | 24345 | 5504 63225 306772 | 2147483647 24343 54 | 0.018 % |
9.54/9.61 c | 24525 | 5504 63225 306772 | 2147483647 24523 55 | 0.018 % |
9.54/9.63 c | 24727 | 5504 63225 306772 | 2147483647 24725 55 | 0.018 % |
9.54/9.68 c | 24939 | 5504 63225 306772 | 2147483647 24937 55 | 0.018 % |
9.64/9.72 c | 25172 | 5504 63225 306772 | 2147483647 25170 55 | 0.018 % |
9.64/9.76 c | 25428 | 5504 63225 306772 | 2147483647 25426 56 | 0.018 % |
9.64/9.80 c | 25711 | 5504 63225 306772 | 2147483647 25709 56 | 0.018 % |
9.74/9.84 c | 26020 | 5504 63225 306772 | 2147483647 26018 56 | 0.018 % |
9.74/9.88 c | 26366 | 5504 63225 306772 | 2147483647 26364 56 | 0.018 % |
9.85/9.94 c | 26738 | 5504 63225 306772 | 2147483647 26736 57 | 0.018 % |
9.95/10.00 c | 27147 | 5504 63225 306772 | 2147483647 27145 58 | 0.018 % |
10.04/10.11 c | 27596 | 5504 63225 306772 | 2147483647 27594 59 | 0.018 % |
10.04/10.13 c | 27696 | 5504 63225 306772 | 2147483647 27694 59 | 0.018 % |
10.04/10.16 c | 27808 | 5504 63225 306772 | 2147483647 27806 59 | 0.018 % |
10.04/10.19 c | 27930 | 5504 63225 306772 | 2147483647 27928 59 | 0.018 % |
10.14/10.21 c | 28064 | 5504 63225 306772 | 2147483647 28062 60 | 0.018 % |
10.14/10.24 c | 28213 | 5504 63225 306772 | 2147483647 28211 61 | 0.018 % |
10.14/10.27 c | 28377 | 5504 63225 306772 | 2147483647 28375 61 | 0.018 % |
10.24/10.30 c | 28554 | 5504 63225 306772 | 2147483647 28552 61 | 0.018 % |
10.24/10.33 c | 28747 | 5504 63225 306772 | 2147483647 28745 61 | 0.018 % |
10.24/10.36 c | 28962 | 5504 63225 306772 | 2147483647 28960 61 | 0.018 % |
10.34/10.43 c | 29195 | 5504 63225 306772 | 2147483647 29193 62 | 0.018 % |
10.34/10.49 c | 29451 | 5504 63225 306772 | 2147483647 29449 62 | 0.018 % |
10.44/10.53 c | 29732 | 5504 63225 306772 | 2147483647 29730 63 | 0.018 % |
10.44/10.58 c | 30044 | 5504 63225 306772 | 2147483647 30042 63 | 0.018 % |
10.54/10.63 c | 30384 | 5504 63225 306772 | 2147483647 30382 63 | 0.018 % |
10.54/10.69 c | 30758 | 5504 63225 306772 | 2147483647 30756 63 | 0.018 % |
10.64/10.75 c | 31167 | 5504 63225 306772 | 2147483647 31165 63 | 0.018 % |
10.74/10.82 c | 31616 | 5504 63225 306772 | 2147483647 31614 62 | 0.018 % |
10.74/10.89 c | 32109 | 5504 63225 306772 | 2147483647 32107 62 | 0.018 % |
10.84/10.93 c | 32209 | 5504 63225 306772 | 2147483647 32207 62 | 0.018 % |
10.84/10.97 c | 32323 | 5504 63225 306772 | 2147483647 32321 62 | 0.018 % |
10.84/10.99 c | 32444 | 5504 63225 306772 | 2147483647 32442 62 | 0.018 % |
10.94/11.01 c | 32580 | 5504 63225 306772 | 2147483647 32578 62 | 0.018 % |
10.94/11.06 c | 32726 | 5504 63225 306772 | 2147483647 32724 62 | 0.018 % |
10.94/11.09 c | 32888 | 5504 63225 306772 | 2147483647 32886 62 | 0.018 % |
11.04/11.13 c | 33065 | 5504 63225 306772 | 2147483647 33063 62 | 0.018 % |
11.04/11.18 c | 33261 | 5504 63225 306772 | 2147483647 33259 62 | 0.018 % |
11.13/11.27 c | 33475 | 5504 63225 306772 | 2147483647 33473 62 | 0.018 % |
11.23/11.30 c | 33709 | 5504 63225 306772 | 2147483647 33707 62 | 0.018 % |
11.23/11.36 c | 33966 | 5504 63225 306772 | 2147483647 33964 62 | 0.018 % |
11.23/11.39 c | 34249 | 5504 63225 306772 | 2147483647 34247 62 | 0.018 % |
11.33/11.43 c | 34559 | 5504 63225 306772 | 2147483647 34557 62 | 0.018 % |
11.33/11.48 c | 34898 | 5504 63225 306772 | 2147483647 34896 62 | 0.018 % |
11.43/11.53 c | 35270 | 5504 63225 306772 | 2147483647 35268 63 | 0.018 % |
11.43/11.57 c | 35679 | 5504 63225 306772 | 2147483647 35677 63 | 0.018 % |
11.63/11.73 c | 36129 | 5504 63225 306772 | 2147483647 36127 64 | 0.018 % |
11.73/11.81 c | 36622 | 5504 63225 306772 | 2147483647 36620 65 | 0.018 % |
11.83/11.91 c | 37165 | 5504 63225 306772 | 2147483647 37163 66 | 0.018 % |
11.83/11.93 c | 37268 | 5504 63225 306772 | 2147483647 37266 66 | 0.018 % |
11.83/11.94 c | 37378 | 5504 63225 306772 | 2147483647 37376 66 | 0.018 % |
11.83/11.98 c | 37502 | 5504 63225 306772 | 2147483647 37500 67 | 0.018 % |
11.93/12.01 c | 37636 | 5504 63225 306772 | 2147483647 37634 67 | 0.018 % |
11.93/12.05 c | 37785 | 5504 63225 306772 | 2147483647 37783 67 | 0.018 % |
11.93/12.08 c | 37948 | 5504 63225 306772 | 2147483647 37946 67 | 0.018 % |
12.04/12.12 c | 38124 | 5504 63225 306772 | 2147483647 38122 67 | 0.018 % |
12.04/12.18 c | 38317 | 5504 63225 306772 | 2147483647 38315 68 | 0.018 % |
12.14/12.23 c | 38532 | 5504 63225 306772 | 2147483647 38530 68 | 0.018 % |
12.14/12.28 c | 38765 | 5504 63225 306772 | 2147483647 38763 68 | 0.018 % |
12.24/12.32 c | 39021 | 5504 63225 306772 | 2147483647 39019 68 | 0.018 % |
12.34/12.44 c | 39302 | 5504 63225 306772 | 2147483647 39300 69 | 0.018 % |
12.34/12.48 c | 39615 | 5504 63225 306772 | 2147483647 39613 69 | 0.018 % |
12.43/12.55 c | 39957 | 5504 63225 306772 | 2147483647 39955 70 | 0.018 % |
12.53/12.63 c | 40329 | 5504 63225 306772 | 2147483647 40327 71 | 0.018 % |
12.63/12.73 c | 40738 | 5504 63225 306772 | 2147483647 40736 72 | 0.018 % |
12.73/12.81 c | 41189 | 5504 63225 306772 | 2147483647 41187 72 | 0.018 % |
12.83/12.95 c | 41684 | 5504 63225 306772 | 2147483647 41682 74 | 0.018 % |
13.03/13.19 c | 42228 | 5504 63225 306772 | 2147483647 42226 76 | 0.018 % |
13.23/13.37 c | 42824 | 5504 63225 306772 | 2147483647 42822 79 | 0.018 % |
13.33/13.40 c | 42924 | 5504 63225 306772 | 2147483647 42922 79 | 0.018 % |
13.33/13.43 c | 43035 | 5504 63225 306772 | 2147483647 43033 79 | 0.018 % |
13.33/13.46 c | 43159 | 5504 63225 306772 | 2147483647 43157 79 | 0.018 % |
13.33/13.48 c | 43292 | 5504 63225 306772 | 2147483647 43290 79 | 0.018 % |
13.43/13.51 c | 43440 | 5504 63225 306772 | 2147483647 43438 79 | 0.018 % |
13.43/13.54 c | 43600 | 5504 63225 306772 | 2147483647 43598 78 | 0.018 % |
13.43/13.58 c | 43780 | 5504 63225 306772 | 2147483647 43778 78 | 0.018 % |
13.53/13.60 c | 43974 | 5504 63225 306772 | 2147483647 43972 78 | 0.018 % |
13.53/13.67 c | 44187 | 5504 63225 306772 | 2147483647 44185 78 | 0.018 % |
13.63/13.72 c | 44420 | 5504 63225 306772 | 2147483647 44418 78 | 0.018 % |
13.63/13.78 c | 44677 | 5504 63225 306772 | 2147483647 44675 78 | 0.018 % |
13.73/13.86 c | 44959 | 5504 63225 306772 | 2147483647 44957 78 | 0.018 % |
13.83/13.91 c | 45268 | 5504 63225 306772 | 2147483647 45266 79 | 0.018 % |
13.83/13.97 c | 45607 | 5504 63225 306772 | 2147483647 45605 78 | 0.018 % |
13.93/14.04 c | 45979 | 5504 63225 306772 | 2147483647 45977 79 | 0.018 % |
14.03/14.11 c | 46389 | 5504 63225 306772 | 2147483647 46387 79 | 0.018 % |
14.13/14.20 c | 46841 | 5504 63225 306772 | 2147483647 46839 79 | 0.018 % |
14.23/14.33 c | 47335 | 5504 63225 306772 | 2147483647 47333 81 | 0.018 % |
14.33/14.43 c | 47877 | 5504 63225 306772 | 2147483647 47875 82 | 0.018 % |
14.43/14.55 c | 48474 | 5504 63225 306772 | 2147483647 48472 82 | 0.018 % |
14.53/14.67 c | 49133 | 5504 63225 306772 | 2147483647 49131 82 | 0.018 % |
14.63/14.70 c | 49233 | 5504 63225 306772 | 2147483647 49231 82 | 0.018 % |
14.63/14.72 c | 49344 | 5504 63225 306772 | 2147483647 49342 82 | 0.018 % |
14.63/14.74 c | 49465 | 5504 63225 306772 | 2147483647 49463 82 | 0.018 % |
14.63/14.76 c | 49599 | 5504 63225 306772 | 2147483647 49597 82 | 0.018 % |
14.73/14.81 c | 49749 | 5504 63225 306772 | 2147483647 49747 82 | 0.018 % |
14.73/14.85 c | 49909 | 5504 63225 306772 | 2147483647 49907 82 | 0.018 % |
14.73/14.89 c | 50085 | 5504 63225 306772 | 2147483647 50083 82 | 0.018 % |
14.83/14.94 c | 50279 | 5504 63225 306772 | 2147483647 50277 82 | 0.018 % |
14.83/14.99 c | 50493 | 5504 63225 306772 | 2147483647 50491 82 | 0.018 % |
14.93/15.05 c | 50729 | 5504 63225 306772 | 2147483647 50727 82 | 0.018 % |
15.03/15.10 c | 50985 | 5504 63225 306772 | 2147483647 50983 82 | 0.018 % |
15.03/15.17 c | 51268 | 5504 63225 306772 | 2147483647 51266 82 | 0.018 % |
15.13/15.24 c | 51577 | 5504 63225 306772 | 2147483647 51575 82 | 0.018 % |
15.23/15.35 c | 51916 | 5504 63225 306772 | 2147483647 51914 83 | 0.018 % |
15.33/15.46 c | 52289 | 5504 63225 306772 | 2147483647 52287 84 | 0.018 % |
15.43/15.52 c | 52698 | 5504 63225 306772 | 2147483647 52696 84 | 0.018 % |
15.53/15.67 c | 53147 | 5504 63225 306772 | 2147483647 53145 85 | 0.018 % |
15.72/15.80 c | 53642 | 5504 63225 306772 | 2147483647 53640 86 | 0.018 % |
15.72/15.89 c | 54185 | 5504 63225 306772 | 2147483647 54183 86 | 0.018 % |
15.92/16.05 c | 54782 | 5504 63225 306772 | 2147483647 54780 87 | 0.018 % |
16.12/16.21 c | 55441 | 5504 63225 306772 | 2147483647 55439 88 | 0.018 % |
16.22/16.37 c | 56161 | 5504 63225 306772 | 2147483647 56159 90 | 0.018 % |
16.32/16.41 c | 56262 | 5504 63225 306772 | 2147483647 56260 90 | 0.018 % |
16.32/16.43 c | 56372 | 5504 63225 306772 | 2147483647 56370 90 | 0.018 % |
16.32/16.45 c | 56493 | 5504 63225 306772 | 2147483647 56491 90 | 0.018 % |
16.32/16.49 c | 56627 | 5504 63225 306772 | 2147483647 56625 90 | 0.018 % |
16.43/16.51 c | 56773 | 5504 63225 306772 | 2147483647 56771 90 | 0.018 % |
16.43/16.57 c | 56939 | 5504 63225 306772 | 2147483647 56937 90 | 0.018 % |
16.52/16.61 c | 57118 | 5504 63225 306772 | 2147483647 57116 90 | 0.018 % |
16.52/16.67 c | 57311 | 5504 63225 306772 | 2147483647 57309 90 | 0.018 % |
16.62/16.72 c | 57524 | 5504 63225 306772 | 2147483647 57522 90 | 0.018 % |
16.73/16.82 c | 57757 | 5504 63225 306772 | 2147483647 57755 90 | 0.018 % |
16.73/16.89 c | 58013 | 5504 63225 306772 | 2147483647 58011 90 | 0.018 % |
16.83/16.97 c | 58295 | 5504 63225 306772 | 2147483647 58293 90 | 0.018 % |
16.93/17.07 c | 58605 | 5504 63225 306772 | 2147483647 58603 90 | 0.018 % |
17.03/17.13 c | 58946 | 5504 63225 306772 | 2147483647 58944 90 | 0.018 % |
17.13/17.20 c | 59320 | 5504 63225 306772 | 2147483647 59318 90 | 0.018 % |
17.13/17.29 c | 59730 | 5504 63225 306772 | 2147483647 59728 91 | 0.018 % |
17.33/17.40 c | 60183 | 5504 63225 306772 | 2147483647 60181 91 | 0.018 % |
17.42/17.53 c | 60677 | 5504 63225 306772 | 2147483647 60675 92 | 0.018 % |
17.53/17.65 c | 61219 | 5504 63225 306772 | 2147483647 61217 93 | 0.018 % |
17.82/17.93 c | 61818 | 5504 63225 306772 | 2147483647 61816 94 | 0.018 % |
18.02/18.16 c | 62473 | 5504 63225 306772 | 2147483647 62471 95 | 0.018 % |
18.22/18.32 c | 63194 | 5504 63225 306772 | 2147483647 63192 95 | 0.018 % |
18.32/18.49 c | 63986 | 5504 63225 306772 | 2147483647 63984 95 | 0.018 % |
18.42/18.51 c | 64088 | 5504 63225 306772 | 2147483647 64086 95 | 0.018 % |
18.42/18.57 c | 64200 | 5504 63225 306772 | 2147483647 64198 95 | 0.018 % |
18.52/18.62 c | 64322 | 5504 63225 306772 | 2147483647 64320 95 | 0.018 % |
18.52/18.66 c | 64457 | 5504 63225 306772 | 2147483647 64455 95 | 0.018 % |
18.52/18.69 c | 64606 | 5504 63225 306772 | 2147483647 64604 95 | 0.018 % |
18.62/18.75 c | 64767 | 5504 63225 306772 | 2147483647 64765 95 | 0.018 % |
18.62/18.79 c | 64945 | 5504 63225 306772 | 2147483647 64943 95 | 0.018 % |
18.72/18.84 c | 65142 | 5504 63225 306772 | 2147483647 65140 95 | 0.018 % |
18.72/18.89 c | 65356 | 5504 63225 306772 | 2147483647 65354 96 | 0.018 % |
18.82/18.95 c | 65591 | 5504 63225 306772 | 2147483647 65589 96 | 0.018 % |
18.92/19.04 c | 65850 | 5504 63225 306772 | 2147483647 65848 96 | 0.018 % |
19.02/19.15 c | 66132 | 5504 63225 306772 | 2147483647 66130 96 | 0.018 % |
19.12/19.22 c | 66441 | 5504 63225 306772 | 2147483647 66439 97 | 0.018 % |
19.22/19.31 c | 66781 | 5504 63225 306772 | 2147483647 66779 97 | 0.018 % |
19.22/19.38 c | 67153 | 5504 63225 306772 | 2147483647 67151 97 | 0.018 % |
19.32/19.44 c | 67562 | 5504 63225 306772 | 2147483647 67560 97 | 0.018 % |
19.53/19.63 c | 68012 | 5504 63225 306772 | 2147483647 68010 97 | 0.018 % |
19.63/19.77 c | 68505 | 5504 63225 306772 | 2147483647 68503 98 | 0.018 % |
19.83/19.96 c | 69050 | 5504 63225 306772 | 2147483647 69048 98 | 0.018 % |
20.02/20.12 c | 69646 | 5504 63225 306772 | 2147483647 69644 99 | 0.018 % |
20.22/20.32 c | 70302 | 5504 63225 306772 | 2147483647 70300 100 | 0.018 % |
20.42/20.57 c | 71023 | 5504 63225 306772 | 2147483647 71021 101 | 0.018 % |
20.72/20.84 c | 71816 | 5504 63225 306772 | 2147483647 71814 102 | 0.018 % |
21.02/21.18 c | 72688 | 5504 63225 306772 | 2147483647 72686 104 | 0.018 % |
21.12/21.21 c | 72791 | 5504 63225 306772 | 2147483647 72789 104 | 0.018 % |
21.12/21.28 c | 72903 | 5504 63225 306772 | 2147483647 72901 104 | 0.018 % |
21.22/21.30 c | 73024 | 5504 63225 306772 | 2147483647 73022 104 | 0.018 % |
21.22/21.37 c | 73157 | 5504 63225 306772 | 2147483647 73155 104 | 0.018 % |
21.32/21.41 c | 73304 | 5504 63225 306772 | 2147483647 73302 104 | 0.018 % |
21.32/21.49 c | 73464 | 5504 63225 306772 | 2147483647 73462 105 | 0.018 % |
21.42/21.58 c | 73641 | 5503 63096 306513 | 2147483647 73637 105 | 0.036 % |
21.52/21.62 c | 73840 | 5503 63096 306513 | 2147483647 73836 105 | 0.036 % |
21.52/21.65 c | 74052 | 5503 63096 306513 | 2147483647 74048 105 | 0.036 % |
21.62/21.77 c | 74285 | 5503 63096 306513 | 2147483647 74281 105 | 0.036 % |
21.72/21.85 c | 74542 | 5503 63096 306513 | 2147483647 74538 105 | 0.036 % |
21.82/21.91 c | 74823 | 5503 63096 306513 | 2147483647 74819 105 | 0.036 % |
21.82/22.00 c | 75132 | 5503 63096 306513 | 2147483647 75128 105 | 0.036 % |
22.03/22.11 c | 75472 | 5503 63096 306513 | 2147483647 75468 105 | 0.036 % |
22.12/22.22 c | 75844 | 5503 63096 306513 | 2147483647 75840 105 | 0.036 % |
22.32/22.40 c | 76254 | 5503 63096 306513 | 2147483647 76250 106 | 0.036 % |
22.42/22.51 c | 76706 | 5503 63096 306513 | 2147483647 76702 106 | 0.036 % |
22.62/22.70 c | 77200 | 5503 63096 306513 | 2147483647 77196 106 | 0.036 % |
22.72/22.83 c | 77748 | 5503 63096 306513 | 2147483647 77744 107 | 0.036 % |
22.82/22.97 c | 78344 | 5503 63096 306513 | 2147483647 78340 107 | 0.036 % |
23.02/23.19 c | 78999 | 5503 63096 306513 | 2147483647 78995 107 | 0.036 % |
23.32/23.43 c | 79723 | 5503 63096 306513 | 2147483647 79719 108 | 0.036 % |
23.72/23.80 c | 80516 | 5503 63096 306513 | 2147483647 80512 108 | 0.036 % |
24.02/24.14 c | 81393 | 5503 63096 306513 | 2147483647 81389 111 | 0.036 % |
24.32/24.43 c | 82352 | 5503 63096 306513 | 2147483647 82348 112 | 0.036 % |
24.32/24.48 c | 82452 | 5503 63096 306513 | 2147483647 82448 113 | 0.036 % |
24.42/24.55 c | 82562 | 5503 63096 306513 | 2147483647 82558 113 | 0.036 % |
24.52/24.64 c | 82689 | 5503 63096 306513 | 2147483647 82685 113 | 0.036 % |
24.52/24.69 c | 82823 | 5503 63096 306513 | 2147483647 82819 113 | 0.036 % |
24.62/24.77 c | 82969 | 5503 63096 306513 | 2147483647 82965 113 | 0.036 % |
24.72/24.83 c | 83130 | 5503 63096 306513 | 2147483647 83126 113 | 0.036 % |
24.72/24.89 c | 83306 | 5503 63096 306513 | 2147483647 83302 113 | 0.036 % |
24.82/24.94 c | 83508 | 5503 63096 306513 | 2147483647 83504 113 | 0.036 % |
24.92/25.04 c | 83721 | 5503 63096 306513 | 2147483647 83717 113 | 0.036 % |
25.02/25.14 c | 83954 | 5503 63096 306513 | 2147483647 83950 113 | 0.036 % |
25.12/25.25 c | 84211 | 5503 63096 306513 | 2147483647 84207 113 | 0.036 % |
25.22/25.38 c | 84497 | 5503 63096 306513 | 2147483647 84493 113 | 0.036 % |
25.42/25.51 c | 84806 | 5503 63096 306513 | 2147483647 84802 113 | 0.036 % |
25.52/25.63 c | 85145 | 5503 63096 306513 | 2147483647 85141 113 | 0.036 % |
25.62/25.74 c | 85519 | 5503 63096 306513 | 2147483647 85515 113 | 0.036 % |
25.82/25.90 c | 85928 | 5503 63096 306513 | 2147483647 85924 113 | 0.036 % |
26.12/26.21 c | 86378 | 5503 63096 306513 | 2147483647 86374 113 | 0.036 % |
26.22/26.36 c | 86871 | 5503 63096 306513 | 2147483647 86867 114 | 0.036 % |
26.42/26.54 c | 87413 | 5503 63096 306513 | 2147483647 87409 114 | 0.036 % |
26.51/26.64 c | 88014 | 5503 63096 306513 | 2147483647 88010 115 | 0.036 % |
26.71/26.84 c | 88671 | 5503 63096 306513 | 2147483647 88667 115 | 0.036 % |
27.01/27.13 c | 89393 | 5503 63096 306513 | 2147483647 89389 116 | 0.036 % |
27.21/27.33 c | 90186 | 5503 63096 306513 | 2147483647 90182 116 | 0.036 % |
27.42/27.52 c | 91057 | 5503 63096 306513 | 2147483647 91053 117 | 0.036 % |
27.92/28.06 c | 92015 | 5503 63096 306513 | 2147483647 92011 117 | 0.036 % |
28.32/28.42 c | 93071 | 5503 63096 306513 | 2147483647 93067 117 | 0.036 % |
28.32/28.48 c | 93173 | 5503 63096 306513 | 2147483647 93169 117 | 0.036 % |
28.42/28.57 c | 93283 | 5503 63096 306513 | 2147483647 93279 117 | 0.036 % |
28.52/28.66 c | 93404 | 5503 63096 306513 | 2147483647 93400 117 | 0.036 % |
28.52/28.67 c | 93540 | 5503 63096 306513 | 2147483647 93536 117 | 0.036 % |
28.62/28.77 c | 93686 | 5503 63096 306513 | 2147483647 93682 117 | 0.036 % |
28.71/28.81 c | 93846 | 5503 63096 306513 | 2147483647 93842 117 | 0.036 % |
28.71/28.86 c | 94022 | 5503 63096 306513 | 2147483647 94018 117 | 0.036 % |
28.81/28.95 c | 94220 | 5503 63096 306513 | 2147483647 94216 118 | 0.036 % |
28.91/29.06 c | 94433 | 5503 63096 306513 | 2147483647 94429 118 | 0.036 % |
29.11/29.23 c | 94666 | 5503 63096 306513 | 2147483647 94662 118 | 0.036 % |
29.21/29.34 c | 94922 | 5503 63096 306513 | 2147483647 94918 118 | 0.036 % |
29.31/29.45 c | 95203 | 5503 63096 306513 | 2147483647 95199 118 | 0.036 % |
29.41/29.58 c | 95512 | 5503 63096 306513 | 2147483647 95508 118 | 0.036 % |
29.51/29.69 c | 95851 | 5503 63096 306513 | 2147483647 95847 118 | 0.036 % |
29.71/29.84 c | 96224 | 5503 63096 306513 | 2147483647 96220 118 | 0.036 % |
30.01/30.14 c | 96633 | 5503 63096 306513 | 2147483647 96629 119 | 0.036 % |
30.11/30.25 c | 97084 | 5503 63096 306513 | 2147483647 97080 120 | 0.036 % |
30.31/30.48 c | 97577 | 5503 63096 306513 | 2147483647 97573 120 | 0.036 % |
30.51/30.68 c | 98124 | 5503 63096 306513 | 2147483647 98120 120 | 0.036 % |
30.82/30.98 c | 98722 | 5503 63096 306513 | 2147483647 98718 120 | 0.036 % |
31.22/31.33 c | 99377 | 5503 63096 306513 | 2147483647 99373 121 | 0.036 % |
31.41/31.56 c | 100097 | 5503 63096 306513 | 2147483647 100093 121 | 0.036 % |
31.71/31.89 c | 100892 | 5503 63096 306513 | 2147483647 100888 122 | 0.036 % |
32.01/32.19 c | 101763 | 5503 63096 306513 | 2147483647 101759 122 | 0.036 % |
32.50/32.68 c | 102721 | 5503 63096 306513 | 2147483647 102717 124 | 0.036 % |
33.01/33.10 c | 103780 | 5503 63096 306513 | 2147483647 103776 124 | 0.036 % |
33.31/33.48 c | 104938 | 5503 63096 306513 | 2147483647 104934 125 | 0.036 % |
33.40/33.55 c | 105039 | 5503 63096 306513 | 2147483647 105035 125 | 0.036 % |
33.40/33.59 c | 105149 | 5503 63096 306513 | 2147483647 105145 125 | 0.036 % |
33.50/33.63 c | 105271 | 5503 63096 306513 | 2147483647 105267 125 | 0.036 % |
33.50/33.65 c | 105404 | 5503 63096 306513 | 2147483647 105400 124 | 0.036 % |
33.60/33.74 c | 105550 | 5503 63096 306513 | 2147483647 105546 125 | 0.036 % |
33.70/33.80 c | 105710 | 5503 63096 306513 | 2147483647 105706 124 | 0.036 % |
33.80/33.90 c | 105891 | 5503 63096 306513 | 2147483647 105887 125 | 0.036 % |
33.90/34.04 c | 106087 | 5503 63096 306513 | 2147483647 106083 125 | 0.036 % |
34.00/34.15 c | 106304 | 5503 63096 306513 | 2147483647 106300 125 | 0.036 % |
34.10/34.27 c | 106537 | 5503 63096 306513 | 2147483647 106533 125 | 0.036 % |
34.20/34.37 c | 106795 | 5503 63096 306513 | 2147483647 106791 125 | 0.036 % |
34.30/34.45 c | 107077 | 5503 63096 306513 | 2147483647 107073 125 | 0.036 % |
34.51/34.63 c | 107386 | 5503 63096 306513 | 2147483647 107382 125 | 0.036 % |
34.71/34.86 c | 107729 | 5503 63096 306513 | 2147483647 107725 126 | 0.036 % |
34.91/35.03 c | 108103 | 5503 63096 306513 | 2147483647 108099 126 | 0.036 % |
35.11/35.25 c | 108512 | 5503 63096 306513 | 2147483647 108508 127 | 0.036 % |
35.21/35.38 c | 108964 | 5503 63096 306513 | 2147483647 108960 127 | 0.036 % |
35.41/35.55 c | 109457 | 5503 63096 306513 | 2147483647 109453 127 | 0.036 % |
35.70/35.88 c | 110000 | 5503 63096 306513 | 2147483647 109996 129 | 0.036 % |
36.00/36.11 c | 110596 | 5503 63096 306513 | 2147483647 110592 129 | 0.036 % |
36.20/36.33 c | 111251 | 5503 63096 306513 | 2147483647 111247 130 | 0.036 % |
36.40/36.56 c | 111972 | 5503 63096 306513 | 2147483647 111968 130 | 0.036 % |
36.80/36.94 c | 112765 | 5503 63096 306513 | 2147483647 112761 132 | 0.036 % |
37.20/37.38 c | 113638 | 5503 63096 306513 | 2147483647 113634 133 | 0.036 % |
37.60/37.76 c | 114599 | 5503 63096 306513 | 2147483647 114595 135 | 0.036 % |
38.00/38.14 c | 115652 | 5503 63096 306513 | 2147483647 115648 136 | 0.036 % |
38.40/38.55 c | 116812 | 5503 63096 306513 | 2147483647 116808 138 | 0.036 % |
38.90/39.05 c | 118085 | 5503 63096 306513 | 2147483647 118081 139 | 0.036 % |
39.00/39.12 c | 118185 | 5503 63096 306513 | 2147483647 118181 139 | 0.036 % |
39.00/39.16 c | 118298 | 5503 63096 306513 | 2147483647 118294 139 | 0.036 % |
39.10/39.23 c | 118419 | 5503 63096 306513 | 2147483647 118415 139 | 0.036 % |
39.20/39.34 c | 118553 | 5503 63096 306513 | 2147483647 118549 139 | 0.036 % |
39.30/39.40 c | 118700 | 5503 63096 306513 | 2147483647 118696 139 | 0.036 % |
39.30/39.45 c | 118862 | 5503 63096 306513 | 2147483647 118858 139 | 0.036 % |
39.40/39.54 c | 119038 | 5503 63096 306513 | 2147483647 119034 139 | 0.036 % |
39.50/39.67 c | 119231 | 5503 63096 306513 | 2147483647 119227 139 | 0.036 % |
39.60/39.76 c | 119443 | 5503 63096 306513 | 2147483647 119439 139 | 0.036 % |
39.69/39.86 c | 119677 | 5503 63096 306513 | 2147483647 119673 139 | 0.036 % |
39.89/40.01 c | 119933 | 5503 63096 306513 | 2147483647 119929 140 | 0.036 % |
39.99/40.13 c | 120215 | 5503 63096 306513 | 2147483647 120211 140 | 0.036 % |
40.09/40.27 c | 120524 | 5503 63096 306513 | 2147483647 120520 140 | 0.036 % |
40.29/40.45 c | 120865 | 5503 63096 306513 | 2147483647 120861 140 | 0.036 % |
40.49/40.63 c | 121239 | 5503 63096 306513 | 2147483647 121235 140 | 0.036 % |
40.69/40.84 c | 121651 | 5503 63096 306513 | 2147483647 121647 140 | 0.036 % |
40.99/41.13 c | 122100 | 5503 63096 306513 | 2147483647 122096 140 | 0.036 % |
41.29/41.46 c | 122594 | 5503 63096 306513 | 2147483647 122590 140 | 0.036 % |
41.60/41.74 c | 123136 | 5503 63096 306513 | 2147483647 123132 141 | 0.036 % |
41.89/42.01 c | 123733 | 5503 63096 306513 | 2147483647 123729 141 | 0.036 % |
41.99/42.20 c | 124391 | 5503 63096 306513 | 2147483647 124387 142 | 0.036 % |
42.29/42.46 c | 125113 | 5503 63096 306513 | 2147483647 125109 142 | 0.036 % |
42.89/43.05 c | 125906 | 5503 63096 306513 | 2147483647 125902 143 | 0.036 % |
43.09/43.26 c | 126777 | 5503 63096 306513 | 2147483647 126773 144 | 0.036 % |
43.69/43.83 c | 127735 | 5503 63096 306513 | 2147483647 127731 146 | 0.036 % |
44.09/44.23 c | 128789 | 5503 63096 306513 | 2147483647 128785 147 | 0.036 % |
44.39/44.57 c | 129947 | 5503 63096 306513 | 2147483647 129943 148 | 0.036 % |
44.89/45.06 c | 131221 | 5503 63096 306513 | 2147483647 131217 149 | 0.036 % |
45.59/45.76 c | 132621 | 5503 63096 306513 | 2147483647 132617 150 | 0.036 % |
45.69/45.81 c | 132721 | 5503 63096 306513 | 2147483647 132717 150 | 0.036 % |
45.69/45.87 c | 132831 | 5503 63096 306513 | 2147483647 132827 151 | 0.036 % |
45.79/45.94 c | 132953 | 5503 63096 306513 | 2147483647 132949 151 | 0.036 % |
45.89/46.01 c | 133088 | 5503 63096 306513 | 2147483647 133084 151 | 0.036 % |
45.99/46.17 c | 133234 | 5503 63096 306513 | 2147483647 133230 151 | 0.036 % |
46.09/46.28 c | 133396 | 5503 63096 306513 | 2147483647 133392 151 | 0.036 % |
46.19/46.36 c | 133572 | 5503 63096 306513 | 2147483647 133568 151 | 0.036 % |
46.38/46.51 c | 133766 | 5503 63096 306513 | 2147483647 133762 151 | 0.036 % |
46.48/46.61 c | 133979 | 5503 63096 306513 | 2147483647 133975 151 | 0.036 % |
46.58/46.78 c | 134215 | 5503 63096 306513 | 2147483647 134211 151 | 0.036 % |
46.79/46.99 c | 134471 | 5503 63096 306513 | 2147483647 134467 151 | 0.036 % |
46.99/47.11 c | 134752 | 5503 63096 306513 | 2147483647 134748 152 | 0.036 % |
47.09/47.23 c | 135063 | 5503 63096 306513 | 2147483647 135059 152 | 0.036 % |
47.29/47.46 c | 135403 | 5503 63096 306513 | 2147483647 135399 152 | 0.036 % |
47.48/47.66 c | 135775 | 5503 63096 306513 | 2147483647 135771 152 | 0.036 % |
47.78/47.97 c | 136184 | 5503 63096 306513 | 2147483647 136180 153 | 0.036 % |
48.08/48.26 c | 136633 | 5503 63096 306513 | 2147483647 136629 153 | 0.036 % |
48.39/48.53 c | 137132 | 5503 63096 306513 | 2147483647 137128 154 | 0.036 % |
48.99/49.12 c | 137674 | 5503 63096 306513 | 2147483647 137670 154 | 0.036 % |
49.19/49.38 c | 138271 | 5503 63096 306513 | 2147483647 138267 155 | 0.036 % |
49.69/49.80 c | 138926 | 5503 63096 306513 | 2147483647 138922 156 | 0.037 % |
49.99/50.16 c | 139648 | 5503 63096 306513 | 2147483647 139644 157 | 0.036 % |
50.49/50.68 c | 140441 | 5503 63096 306513 | 2147483647 140437 158 | 0.036 % |
50.88/51.09 c | 141313 | 5503 63096 306513 | 2147483647 141309 159 | 0.036 % |
51.38/51.52 c | 142272 | 5503 63096 306513 | 2147483647 142268 160 | 0.036 % |
51.88/52.06 c | 143325 | 5503 63096 306513 | 2147483647 143321 161 | 0.036 % |
52.28/52.49 c | 144488 | 5503 63096 306513 | 2147483647 144484 162 | 0.036 % |
52.89/53.09 c | 145761 | 5503 63096 306513 | 2147483647 145757 162 | 0.036 % |
53.38/53.60 c | 147162 | 5503 63096 306513 | 2147483647 147158 162 | 0.036 % |
54.09/54.20 c | 148702 | 5503 63096 306513 | 2147483647 148698 163 | 0.036 % |
54.09/54.23 c | 148803 | 5503 63096 306513 | 2147483647 148799 162 | 0.036 % |
54.09/54.28 c | 148913 | 5503 63096 306513 | 2147483647 148909 162 | 0.036 % |
54.19/54.35 c | 149034 | 5503 63096 306513 | 2147483647 149030 162 | 0.036 % |
54.29/54.48 c | 149169 | 5503 63096 306513 | 2147483647 149165 162 | 0.036 % |
54.49/54.60 c | 149316 | 5503 63096 306513 | 2147483647 149312 162 | 0.036 % |
54.59/54.70 c | 149476 | 5503 63096 306513 | 2147483647 149472 162 | 0.036 % |
54.59/54.75 c | 149653 | 5503 63096 306513 | 2147483647 149649 162 | 0.036 % |
54.69/54.84 c | 149853 | 5503 63096 306513 | 2147483647 149849 162 | 0.036 % |
54.89/55.02 c | 150065 | 5503 63096 306513 | 2147483647 150061 162 | 0.036 % |
54.99/55.19 c | 150298 | 5503 63096 306513 | 2147483647 150294 162 | 0.036 % |
55.19/55.33 c | 150555 | 5503 63096 306513 | 2147483647 150551 162 | 0.036 % |
55.38/55.59 c | 150837 | 5503 63096 306513 | 2147483647 150833 163 | 0.036 % |
55.68/55.83 c | 151147 | 5503 63096 306513 | 2147483647 151143 163 | 0.036 % |
55.88/56.04 c | 151487 | 5503 63096 306513 | 2147483647 151483 163 | 0.036 % |
56.18/56.30 c | 151860 | 5503 63096 306513 | 2147483647 151856 163 | 0.036 % |
56.48/56.64 c | 152269 | 5503 63096 306513 | 2147483647 152265 164 | 0.036 % |
56.78/56.95 c | 152718 | 5503 63096 306513 | 2147483647 152714 165 | 0.036 % |
56.98/57.17 c | 153211 | 5503 63096 306513 | 2147483647 153207 165 | 0.036 % |
57.59/57.72 c | 153759 | 5503 63096 306513 | 2147483647 153755 166 | 0.036 % |
57.79/57.97 c | 154360 | 5503 63096 306513 | 2147483647 154356 166 | 0.036 % |
58.29/58.43 c | 155017 | 5503 63096 306513 | 2147483647 155013 166 | 0.036 % |
59.08/59.28 c | 155737 | 5503 63096 306513 | 2147483647 155733 167 | 0.036 % |
59.48/59.63 c | 156529 | 5503 63096 306513 | 2147483647 156525 167 | 0.036 % |
59.88/60.06 c | 157403 | 5503 63096 306513 | 2147483647 157399 167 | 0.036 % |
60.58/60.77 c | 158362 | 5503 63096 306513 | 2147483647 158358 167 | 0.036 % |
61.39/61.51 c | 159415 | 5503 63096 306513 | 2147483647 159411 168 | 0.036 % |
62.09/62.20 c | 160577 | 5503 63096 306513 | 2147483647 160573 169 | 0.036 % |
62.88/63.02 c | 161853 | 5503 63096 306513 | 2147483647 161849 170 | 0.036 % |
63.78/63.91 c | 163253 | 5503 63096 306513 | 2147483647 163249 171 | 0.036 % |
64.58/64.73 c | 164795 | 5503 63096 306513 | 2147483647 164791 173 | 0.036 % |
65.58/65.74 c | 166490 | 5503 63096 306513 | 2147483647 166486 173 | 0.036 % |
65.58/65.79 c | 166593 | 5503 63096 306513 | 2147483647 166589 173 | 0.036 % |
65.78/65.98 c | 166704 | 5503 63096 306513 | 2147483647 166700 173 | 0.036 % |
65.88/66.06 c | 166826 | 5503 63096 306513 | 2147483647 166822 174 | 0.036 % |
65.98/66.18 c | 166960 | 5503 63096 306513 | 2147483647 166956 174 | 0.036 % |
66.08/66.25 c | 167109 | 5503 63096 306513 | 2147483647 167105 174 | 0.036 % |
66.18/66.36 c | 167271 | 5503 63096 306513 | 2147483647 167267 174 | 0.036 % |
66.28/66.44 c | 167448 | 5503 63096 306513 | 2147483647 167444 174 | 0.036 % |
66.38/66.55 c | 167642 | 5503 63096 306513 | 2147483647 167638 174 | 0.036 % |
66.57/66.72 c | 167854 | 5503 63096 306513 | 2147483647 167850 175 | 0.036 % |
66.77/66.93 c | 168087 | 5503 63096 306513 | 2147483647 168083 175 | 0.036 % |
66.98/67.15 c | 168343 | 5503 63096 306513 | 2147483647 168339 175 | 0.036 % |
67.17/67.33 c | 168632 | 5503 63096 306513 | 2147483647 168628 175 | 0.036 % |
67.37/67.51 c | 168941 | 5503 63096 306513 | 2147483647 168937 175 | 0.036 % |
67.57/67.77 c | 169280 | 5503 63096 306513 | 2147483647 169276 175 | 0.036 % |
67.87/68.06 c | 169652 | 5503 63096 306513 | 2147483647 169648 176 | 0.036 % |
68.28/68.43 c | 170062 | 5503 63096 306513 | 2147483647 170058 176 | 0.036 % |
68.58/68.76 c | 170512 | 5503 63096 306513 | 2147483647 170508 177 | 0.036 % |
69.08/69.25 c | 171005 | 5503 63096 306513 | 2147483647 171001 177 | 0.036 % |
69.48/69.64 c | 171548 | 5503 63096 306513 | 2147483647 171544 178 | 0.036 % |
69.88/70.02 c | 172145 | 5503 63096 306513 | 2147483647 172141 179 | 0.036 % |
70.18/70.38 c | 172800 | 5503 63096 306513 | 2147483647 172796 179 | 0.036 % |
70.68/70.86 c | 173521 | 5503 63096 306513 | 2147483647 173517 179 | 0.036 % |
71.18/71.39 c | 174316 | 5503 63096 306513 | 2147483647 174312 179 | 0.036 % |
71.77/71.97 c | 175187 | 5503 63096 306513 | 2147483647 175183 180 | 0.036 % |
72.47/72.63 c | 176145 | 5503 63096 306513 | 2147483647 176141 181 | 0.036 % |
73.47/73.61 c | 177199 | 5503 63096 306513 | 2147483647 177195 181 | 0.036 % |
74.17/74.35 c | 178358 | 5503 63096 306513 | 2147483647 178354 183 | 0.036 % |
75.07/75.20 c | 179633 | 5503 63096 306513 | 2147483647 179629 184 | 0.036 % |
75.97/76.12 c | 181035 | 5503 63096 306513 | 2147483647 181031 185 | 0.036 % |
76.67/76.90 c | 182576 | 5503 63096 306513 | 2147483647 182572 187 | 0.036 % |
77.98/78.16 c | 184271 | 5503 63096 306513 | 2147483647 184267 189 | 0.036 % |
79.67/79.86 c | 186135 | 5503 63096 306513 | 2147483647 186131 189 | 0.036 % |
79.77/79.90 c | 186235 | 5503 63096 306513 | 2147483647 186231 189 | 0.036 % |
79.77/79.98 c | 186349 | 5503 63096 306513 | 2147483647 186345 189 | 0.036 % |
79.87/80.02 c | 186472 | 5503 63096 306513 | 2147483647 186468 189 | 0.036 % |
79.97/80.11 c | 186606 | 5503 63096 306513 | 2147483647 186602 189 | 0.036 % |
80.07/80.26 c | 186753 | 5503 63096 306513 | 2147483647 186749 189 | 0.036 % |
80.27/80.46 c | 186915 | 5503 63096 306513 | 2147483647 186911 189 | 0.036 % |
80.37/80.57 c | 187091 | 5503 63096 306513 | 2147483647 187087 189 | 0.036 % |
80.57/80.75 c | 187285 | 5503 63096 306513 | 2147483647 187281 189 | 0.036 % |
80.77/80.95 c | 187501 | 5503 63096 306513 | 2147483647 187497 189 | 0.036 % |
80.97/81.11 c | 187734 | 5503 63096 306513 | 2147483647 187730 189 | 0.036 % |
81.17/81.31 c | 187992 | 5503 63096 306513 | 2147483647 187988 189 | 0.036 % |
81.27/81.43 c | 188280 | 5503 63096 306513 | 2147483647 188276 189 | 0.036 % |
81.46/81.67 c | 188591 | 5503 63096 306513 | 2147483647 188587 189 | 0.036 % |
81.76/81.93 c | 188936 | 5503 63096 306513 | 2147483647 188932 190 | 0.036 % |
81.96/82.12 c | 189309 | 5503 63096 306513 | 2147483647 189305 190 | 0.036 % |
82.36/82.53 c | 189720 | 5503 63096 306513 | 2147483647 189716 190 | 0.036 % |
82.56/82.80 c | 190171 | 5503 63096 306513 | 2147483647 190167 190 | 0.036 % |
82.96/83.13 c | 190676 | 5503 63096 306513 | 2147483647 190672 190 | 0.036 % |
83.36/83.56 c | 191218 | 5503 63096 306513 | 2147483647 191214 191 | 0.036 % |
83.86/84.07 c | 191817 | 5503 63096 306513 | 2147483647 191813 191 | 0.036 % |
84.37/84.58 c | 192472 | 5503 63096 306513 | 2147483647 192468 191 | 0.036 % |
85.16/85.31 c | 193192 | 5503 63096 306513 | 2147483647 193188 192 | 0.036 % |
85.86/86.07 c | 193989 | 5503 63096 306513 | 2147483647 193985 192 | 0.036 % |
86.56/86.79 c | 194860 | 5503 63096 306513 | 2147483647 194856 193 | 0.036 % |
87.16/87.36 c | 195818 | 5503 63096 306513 | 2147483647 195814 193 | 0.036 % |
87.86/88.08 c | 196871 | 5503 63096 306513 | 2147483647 196867 193 | 0.036 % |
88.87/89.01 c | 198030 | 5503 63096 306513 | 2147483647 198026 193 | 0.036 % |
90.17/90.34 c | 199304 | 5503 63096 306513 | 2147483647 199300 193 | 0.036 % |
90.86/91.06 c | 200705 | 5503 63096 306513 | 2147483647 200701 194 | 0.036 % |
91.76/91.97 c | 202246 | 5503 63096 306513 | 2147483647 202242 194 | 0.036 % |
93.07/93.23 c | 203941 | 5503 63096 306513 | 2147483647 203937 195 | 0.036 % |
94.46/94.70 c | 205806 | 5503 63096 306513 | 2147483647 205802 195 | 0.036 % |
96.16/96.36 c | 207855 | 5503 63096 306513 | 2147483647 207851 195 | 0.036 % |
96.26/96.47 c | 207956 | 5503 63096 306513 | 2147483647 207952 195 | 0.036 % |
96.36/96.56 c | 208066 | 5503 63096 306513 | 2147483647 208062 195 | 0.036 % |
96.56/96.74 c | 208187 | 5503 63096 306513 | 2147483647 208183 195 | 0.036 % |
96.67/96.85 c | 208320 | 5503 63096 306513 | 2147483647 208316 195 | 0.036 % |
96.77/96.96 c | 208467 | 5503 63096 306513 | 2147483647 208463 195 | 0.036 % |
96.96/97.16 c | 208628 | 5503 63096 306513 | 2147483647 208624 195 | 0.036 % |
97.06/97.27 c | 208804 | 5503 63096 306513 | 2147483647 208800 195 | 0.036 % |
97.26/97.48 c | 208999 | 5503 63096 306513 | 2147483647 208995 195 | 0.036 % |
97.56/97.73 c | 209211 | 5503 63096 306513 | 2147483647 209207 195 | 0.036 % |
97.66/97.89 c | 209445 | 5503 63096 306513 | 2147483647 209441 195 | 0.036 % |
98.06/98.20 c | 209701 | 5503 63096 306513 | 2147483647 209697 195 | 0.036 % |
98.16/98.36 c | 209983 | 5503 63096 306513 | 2147483647 209979 195 | 0.036 % |
98.36/98.59 c | 210292 | 5503 63096 306513 | 2147483647 210288 195 | 0.036 % |
98.65/98.83 c | 210633 | 5503 63096 306513 | 2147483647 210629 195 | 0.036 % |
98.86/99.05 c | 211006 | 5503 63096 306513 | 2147483647 211002 195 | 0.036 % |
99.15/99.38 c | 211416 | 5503 63096 306513 | 2147483647 211412 195 | 0.036 % |
99.55/99.71 c | 211869 | 5503 63096 306513 | 2147483647 211865 195 | 0.036 % |
99.85/100.05 c | 212363 | 5503 63096 306513 | 2147483647 212359 196 | 0.036 % |
100.26/100.40 c | 212906 | 5503 63096 306513 | 2147483647 212902 196 | 0.036 % |
100.86/101.08 c | 213504 | 5503 63096 306513 | 2147483647 213500 196 | 0.036 % |
101.26/101.44 c | 214160 | 5503 63096 306513 | 2147483647 214156 197 | 0.036 % |
101.65/101.86 c | 214880 | 5503 63096 306513 | 2147483647 214876 197 | 0.036 % |
102.05/102.24 c | 215673 | 5503 63096 306513 | 2147483647 215669 197 | 0.036 % |
102.86/103.00 c | 216544 | 5503 63096 306513 | 2147483647 216540 197 | 0.036 % |
103.56/103.72 c | 217502 | 5503 63096 306513 | 2147483647 217498 197 | 0.036 % |
104.75/104.98 c | 218557 | 5503 63096 306513 | 2147483647 218553 197 | 0.036 % |
106.46/106.63 c | 219716 | 5503 63096 306513 | 2147483647 219712 198 | 0.036 % |
107.76/107.96 c | 220989 | 5503 63096 306513 | 2147483647 220985 199 | 0.036 % |
109.25/109.41 c | 222392 | 5503 63096 306513 | 2147483647 222388 199 | 0.036 % |
110.85/111.06 c | 223935 | 5503 63096 306513 | 2147483647 223931 199 | 0.036 % |
112.65/112.84 c | 225632 | 5503 63096 306513 | 2147483647 225628 199 | 0.036 % |
114.85/115.02 c | 227495 | 5503 63096 306513 | 2147483647 227491 200 | 0.036 % |
116.35/116.55 c | 229545 | 5503 63096 306513 | 2147483647 229541 200 | 0.036 % |
117.75/117.94 c | 231798 | 5503 63096 306513 | 2147483647 231794 199 | 0.036 % |
117.75/117.99 c | 231898 | 5503 63096 306513 | 2147483647 231894 199 | 0.036 % |
117.85/118.04 c | 232008 | 5503 63096 306513 | 2147483647 232004 199 | 0.036 % |
118.04/118.23 c | 232129 | 5503 63096 306513 | 2147483647 232125 199 | 0.036 % |
118.14/118.30 c | 232263 | 5503 63096 306513 | 2147483647 232259 199 | 0.036 % |
118.14/118.35 c | 232409 | 5503 63096 306513 | 2147483647 232405 199 | 0.036 % |
118.25/118.47 c | 232570 | 5503 63096 306513 | 2147483647 232566 199 | 0.036 % |
118.35/118.58 c | 232746 | 5503 63096 306513 | 2147483647 232742 199 | 0.036 % |
118.45/118.65 c | 232941 | 5503 63096 306513 | 2147483647 232937 199 | 0.036 % |
118.55/118.78 c | 233153 | 5503 63096 306513 | 2147483647 233149 199 | 0.036 % |
118.76/118.92 c | 233386 | 5503 63096 306513 | 2147483647 233382 199 | 0.036 % |
118.85/119.03 c | 233644 | 5503 63096 306513 | 2147483647 233640 199 | 0.036 % |
118.95/119.19 c | 233928 | 5503 63096 306513 | 2147483647 233924 198 | 0.036 % |
119.15/119.31 c | 234239 | 5503 63096 306513 | 2147483647 234235 198 | 0.036 % |
119.35/119.57 c | 234580 | 5503 63096 306513 | 2147483647 234576 198 | 0.036 % |
119.55/119.78 c | 234955 | 5503 63096 306513 | 2147483647 234951 198 | 0.036 % |
119.85/120.07 c | 235365 | 5503 63096 306513 | 2147483647 235361 198 | 0.036 % |
120.15/120.37 c | 235814 | 5503 63096 306513 | 2147483647 235810 198 | 0.036 % |
120.44/120.68 c | 236309 | 5503 63096 306513 | 2147483647 236305 198 | 0.036 % |
120.74/120.93 c | 236854 | 5503 63096 306513 | 2147483647 236850 198 | 0.036 % |
120.85/121.10 c | 237450 | 5503 63096 306513 | 2147483647 237446 198 | 0.037 % |
121.15/121.37 c | 238105 | 5503 63096 306513 | 2147483647 238101 198 | 0.036 % |
121.65/121.82 c | 238825 | 5503 63096 306513 | 2147483647 238821 198 | 0.036 % |
121.95/122.15 c | 239622 | 5503 63096 306513 | 2147483647 239618 198 | 0.037 % |
122.35/122.50 c | 240497 | 5503 63096 306513 | 2147483647 240493 199 | 0.036 % |
122.84/123.03 c | 241458 | 5503 63096 306513 | 2147483647 241454 199 | 0.036 % |
123.25/123.49 c | 242512 | 5503 63096 306513 | 2147483647 242508 199 | 0.036 % |
124.54/124.79 c | 243671 | 5503 63096 306513 | 2147483647 243667 199 | 0.036 % |
125.64/125.80 c | 244945 | 5503 63096 306513 | 2147483647 244941 199 | 0.036 % |
126.94/127.15 c | 246345 | 5503 63096 306513 | 2147483647 246341 200 | 0.036 % |
128.75/128.95 c | 247885 | 5503 63096 306513 | 2147483647 247881 202 | 0.036 % |
131.65/131.85 c | 249585 | 5503 63096 306513 | 2147483647 249581 204 | 0.036 % |
133.35/133.57 c | 251448 | 5503 63096 306513 | 2147483647 251444 206 | 0.036 % |
135.85/136.01 c | 253497 | 5503 63096 306513 | 2147483647 253493 208 | 0.036 % |
138.13/138.35 c | 255754 | 5503 63096 306513 | 2147483647 255750 210 | 0.036 % |
139.93/140.12 c | 258234 | 5503 63096 306513 | 2147483647 258230 211 | 0.036 % |
140.03/140.27 c | 258336 | 5503 63096 306513 | 2147483647 258332 211 | 0.036 % |
140.14/140.37 c | 258447 | 5503 63096 306513 | 2147483647 258443 211 | 0.036 % |
140.44/140.62 c | 258569 | 5503 63096 306513 | 2147483647 258565 211 | 0.036 % |
140.75/140.98 c | 258712 | 5503 63096 306513 | 2147483647 258708 211 | 0.036 % |
140.94/141.15 c | 258860 | 5503 63096 306513 | 2147483647 258856 212 | 0.036 % |
141.14/141.37 c | 259024 | 5503 63096 306513 | 2147483647 259020 212 | 0.036 % |
141.54/141.73 c | 259202 | 5503 63096 306513 | 2147483647 259198 212 | 0.036 % |
141.84/142.03 c | 259396 | 5503 63096 306513 | 2147483647 259392 212 | 0.036 % |
142.14/142.32 c | 259614 | 5503 63096 306513 | 2147483647 259610 212 | 0.036 % |
142.34/142.56 c | 259847 | 5503 63096 306513 | 2147483647 259843 212 | 0.036 % |
142.74/142.93 c | 260105 | 5503 63096 306513 | 2147483647 260101 212 | 0.036 % |
143.04/143.25 c | 260386 | 5503 63096 306513 | 2147483647 260382 213 | 0.036 % |
143.44/143.67 c | 260697 | 5503 63096 306513 | 2147483647 260693 213 | 0.036 % |
143.84/144.02 c | 261036 | 5503 63096 306513 | 2147483647 261032 213 | 0.036 % |
144.14/144.33 c | 261411 | 5503 63096 306513 | 2147483647 261407 213 | 0.036 % |
144.43/144.69 c | 261820 | 5503 63096 306513 | 2147483647 261816 213 | 0.036 % |
144.73/144.96 c | 262269 | 5503 63096 306513 | 2147483647 262265 213 | 0.036 % |
145.34/145.51 c | 262764 | 5503 63096 306513 | 2147483647 262760 213 | 0.036 % |
145.64/145.84 c | 263307 | 5503 63096 306513 | 2147483647 263303 213 | 0.036 % |
145.84/146.04 c | 263907 | 5503 63096 306513 | 2147483647 263903 213 | 0.036 % |
146.14/146.37 c | 264562 | 5503 63096 306513 | 2147483647 264558 213 | 0.036 % |
146.54/146.74 c | 265283 | 5503 63096 306513 | 2147483647 265279 213 | 0.036 % |
147.13/147.36 c | 266076 | 5503 63096 306513 | 2147483647 266072 213 | 0.036 % |
148.14/148.36 c | 266947 | 5503 63096 306513 | 2147483647 266943 212 | 0.036 % |
148.94/149.13 c | 267905 | 5503 63096 306513 | 2147483647 267901 212 | 0.036 % |
149.44/149.63 c | 268958 | 5503 63096 306513 | 2147483647 268954 213 | 0.036 % |
150.24/150.43 c | 270118 | 5503 63096 306513 | 2147483647 270114 213 | 0.036 % |
151.03/151.26 c | 271394 | 5503 63096 306513 | 2147483647 271390 213 | 0.036 % |
152.13/152.38 c | 272795 | 5503 63096 306513 | 2147483647 272791 213 | 0.036 % |
154.03/154.25 c | 274335 | 5503 63096 306513 | 2147483647 274331 214 | 0.036 % |
155.63/155.89 c | 276029 | 5503 63096 306513 | 2147483647 276025 215 | 0.036 % |
157.73/157.91 c | 277893 | 5503 63096 306513 | 2147483647 277889 217 | 0.036 % |
159.44/159.69 c | 279942 | 5503 63096 306513 | 2147483647 279938 217 | 0.036 % |
162.03/162.29 c | 282195 | 5503 63096 306513 | 2147483647 282191 218 | 0.036 % |
164.63/164.81 c | 284673 | 5503 63096 306513 | 2147483647 284669 219 | 0.036 % |
167.93/168.15 c | 287400 | 5503 63096 306513 | 2147483647 287396 220 | 0.036 % |
168.03/168.30 c | 287502 | 5503 63096 306513 | 2147483647 287498 221 | 0.036 % |
168.33/168.55 c | 287613 | 5503 63096 306513 | 2147483647 287609 221 | 0.036 % |
168.53/168.70 c | 287734 | 5503 63096 306513 | 2147483647 287730 221 | 0.036 % |
168.73/168.90 c | 287868 | 5503 63096 306513 | 2147483647 287864 221 | 0.036 % |
168.83/169.08 c | 288014 | 5503 63096 306513 | 2147483647 288010 221 | 0.036 % |
169.13/169.34 c | 288174 | 5503 63096 306513 | 2147483647 288170 221 | 0.036 % |
169.34/169.56 c | 288350 | 5503 63096 306513 | 2147483647 288346 221 | 0.036 % |
169.53/169.76 c | 288543 | 5503 63096 306513 | 2147483647 288539 221 | 0.036 % |
169.83/170.00 c | 288755 | 5503 63096 306513 | 2147483647 288751 221 | 0.036 % |
170.44/170.69 c | 288991 | 5503 63096 306513 | 2147483647 288987 221 | 0.036 % |
170.83/171.06 c | 289251 | 5503 63096 306513 | 2147483647 289247 221 | 0.036 % |
171.23/171.41 c | 289532 | 5503 63096 306513 | 2147483647 289528 221 | 0.036 % |
171.53/171.75 c | 289843 | 5503 63096 306513 | 2147483647 289839 221 | 0.036 % |
171.73/171.92 c | 290182 | 5503 63096 306513 | 2147483647 290178 221 | 0.036 % |
172.23/172.46 c | 290554 | 5503 63096 306513 | 2147483647 290550 221 | 0.036 % |
173.13/173.32 c | 290963 | 5503 63096 306513 | 2147483647 290959 221 | 0.036 % |
173.73/173.97 c | 291413 | 5503 63096 306513 | 2147483647 291409 222 | 0.036 % |
174.42/174.63 c | 291908 | 5503 63096 306513 | 2147483647 291904 222 | 0.036 % |
174.83/175.02 c | 292450 | 5503 63096 306513 | 2147483647 292446 222 | 0.036 % |
175.53/175.72 c | 293049 | 5503 63096 306513 | 2147483647 293045 222 | 0.036 % |
176.32/176.53 c | 293710 | 5503 63096 306513 | 2147483647 293706 223 | 0.036 % |
177.32/177.50 c | 294434 | 5503 63096 306513 | 2147483647 294430 223 | 0.036 % |
178.13/178.35 c | 295226 | 5503 63096 306513 | 2147483647 295222 223 | 0.036 % |
179.13/179.31 c | 296097 | 5503 63096 306513 | 2147483647 296093 223 | 0.036 % |
179.82/180.07 c | 297058 | 5503 63096 306513 | 2147483647 297054 223 | 0.036 % |
181.23/181.43 c | 298112 | 5503 63096 306513 | 2147483647 298108 224 | 0.036 % |
182.72/182.98 c | 299271 | 5503 63096 306513 | 2147483647 299267 225 | 0.036 % |
184.52/184.70 c | 300553 | 5503 63096 306513 | 2147483647 300549 226 | 0.036 % |
186.42/186.65 c | 301957 | 5503 63096 306513 | 2147483647 301953 228 | 0.036 % |
188.72/188.97 c | 303499 | 5503 63096 306513 | 2147483647 303495 229 | 0.036 % |
190.32/190.54 c | 305196 | 5503 63096 306513 | 2147483647 305192 231 | 0.036 % |
192.92/193.18 c | 307062 | 5503 63096 306513 | 2147483647 307058 233 | 0.036 % |
195.22/195.43 c | 309112 | 5503 63096 306513 | 2147483647 309108 234 | 0.036 % |
197.62/197.82 c | 311365 | 5503 63096 306513 | 2147483647 311361 236 | 0.036 % |
201.32/201.58 c | 313843 | 5503 63096 306513 | 2147483647 313839 237 | 0.036 % |
204.92/205.10 c | 316576 | 5503 63096 306513 | 2147483647 316572 240 | 0.036 % |
210.21/210.45 c | 319574 | 5503 63096 306513 | 2147483647 319570 243 | 0.036 % |
210.41/210.61 c | 319677 | 5503 63096 306513 | 2147483647 319673 243 | 0.036 % |
210.61/210.84 c | 319788 | 5503 63096 306513 | 2147483647 319784 243 | 0.036 % |
210.81/211.05 c | 319910 | 5503 63096 306513 | 2147483647 319906 243 | 0.036 % |
211.01/211.22 c | 320043 | 5503 63096 306513 | 2147483647 320039 243 | 0.036 % |
211.21/211.46 c | 320189 | 5503 63096 306513 | 2147483647 320185 243 | 0.036 % |
211.41/211.68 c | 320350 | 5503 63096 306513 | 2147483647 320346 243 | 0.036 % |
211.71/211.99 c | 320535 | 5503 63096 306513 | 2147483647 320531 243 | 0.036 % |
212.01/212.28 c | 320728 | 5503 63096 306513 | 2147483647 320724 243 | 0.036 % |
212.21/212.40 c | 320941 | 5503 63096 306513 | 2147483647 320937 243 | 0.036 % |
212.31/212.54 c | 321175 | 5503 63096 306513 | 2147483647 321171 243 | 0.036 % |
212.81/213.05 c | 321431 | 5503 63096 306513 | 2147483647 321427 243 | 0.036 % |
213.22/213.42 c | 321714 | 5503 63096 306513 | 2147483647 321710 243 | 0.036 % |
213.71/213.98 c | 322032 | 5503 63096 306513 | 2147483647 322028 243 | 0.036 % |
214.61/214.85 c | 322379 | 5503 63096 306513 | 2147483647 322375 243 | 0.036 % |
215.11/215.37 c | 322753 | 5503 63096 306513 | 2147483647 322749 243 | 0.036 % |
215.61/215.86 c | 323162 | 5503 63096 306513 | 2147483647 323158 243 | 0.036 % |
216.31/216.55 c | 323611 | 5503 63096 306513 | 2147483647 323607 243 | 0.036 % |
217.00/217.23 c | 324104 | 5503 63096 306513 | 2147483647 324100 243 | 0.036 % |
217.71/217.90 c | 324649 | 5503 63096 306513 | 2147483647 324645 243 | 0.036 % |
219.41/219.64 c | 325251 | 5503 63096 306513 | 2147483647 325247 243 | 0.036 % |
220.81/221.01 c | 325907 | 5503 63096 306513 | 2147483647 325903 244 | 0.036 % |
222.20/222.43 c | 326629 | 5503 63096 306513 | 2147483647 326625 244 | 0.036 % |
223.40/223.64 c | 327421 | 5503 63096 306513 | 2147483647 327417 245 | 0.036 % |
224.91/225.18 c | 328297 | 5503 63096 306513 | 2147483647 328293 246 | 0.036 % |
226.10/226.39 c | 329255 | 5503 63096 306513 | 2147483647 329251 247 | 0.036 % |
227.70/227.91 c | 330308 | 5503 63096 306513 | 2147483647 330304 247 | 0.036 % |
229.71/229.95 c | 331470 | 5503 63096 306513 | 2147483647 331466 248 | 0.036 % |
231.20/231.48 c | 332743 | 5503 63096 306513 | 2147483647 332739 249 | 0.036 % |
233.11/233.33 c | 334143 | 5503 63096 306513 | 2147483647 334139 250 | 0.036 % |
235.21/235.40 c | 335696 | 5503 63096 306513 | 2147483647 335692 250 | 0.036 % |
237.50/237.74 c | 337391 | 5503 63096 306513 | 2147483647 337387 250 | 0.036 % |
239.40/239.65 c | 339257 | 5503 63096 306513 | 2147483647 339253 251 | 0.036 % |
242.70/242.98 c | 341306 | 5503 63096 306513 | 2147483647 341302 251 | 0.036 % |
246.31/246.54 c | 343560 | 5503 63096 306513 | 2147483647 343556 251 | 0.036 % |
250.10/250.39 c | 346038 | 5503 63096 306513 | 2147483647 346034 250 | 0.036 % |
253.29/253.54 c | 348763 | 5503 63096 306513 | 2147483647 348759 250 | 0.036 % |
256.70/256.97 c | 351762 | 5503 63096 306513 | 2147483647 351758 249 | 0.036 % |
259.10/259.35 c | 355059 | 5503 63096 306513 | 2147483647 355055 249 | 0.036 % |
259.20/259.45 c | 355159 | 5503 63096 306513 | 2147483647 355155 249 | 0.036 % |
259.30/259.55 c | 355277 | 5503 63096 306513 | 2147483647 355273 249 | 0.036 % |
259.40/259.70 c | 355398 | 5503 63096 306513 | 2147483647 355394 249 | 0.036 % |
259.59/259.81 c | 355534 | 5503 63096 306513 | 2147483647 355530 249 | 0.036 % |
259.69/259.93 c | 355680 | 5503 63096 306513 | 2147483647 355676 249 | 0.036 % |
259.99/260.24 c | 355841 | 5503 63096 306513 | 2147483647 355837 248 | 0.036 % |
260.19/260.41 c | 356018 | 5503 63096 306513 | 2147483647 356014 248 | 0.036 % |
260.50/260.73 c | 356212 | 5503 63096 306513 | 2147483647 356208 248 | 0.036 % |
260.69/260.96 c | 356424 | 5503 63096 306513 | 2147483647 356420 248 | 0.036 % |
260.89/261.14 c | 356660 | 5503 63096 306513 | 2147483647 356656 248 | 0.036 % |
261.49/261.79 c | 356917 | 5503 63096 306513 | 2147483647 356913 248 | 0.036 % |
261.89/262.13 c | 357198 | 5503 63096 306513 | 2147483647 357194 248 | 0.036 % |
261.99/262.27 c | 357507 | 5503 63096 306513 | 2147483647 357503 248 | 0.036 % |
262.49/262.79 c | 357846 | 5503 63096 306513 | 2147483647 357842 248 | 0.036 % |
262.89/263.19 c | 358218 | 5503 63096 306513 | 2147483647 358214 248 | 0.036 % |
263.50/263.72 c | 358628 | 5503 63096 306513 | 2147483647 358624 248 | 0.036 % |
264.10/264.30 c | 359077 | 5503 63096 306513 | 2147483647 359073 248 | 0.036 % |
264.30/264.57 c | 359573 | 5503 63096 306513 | 2147483647 359569 247 | 0.036 % |
265.40/265.68 c | 360118 | 5503 63096 306513 | 2147483647 360114 247 | 0.036 % |
266.39/266.65 c | 360715 | 5503 63096 306513 | 2147483647 360711 247 | 0.036 % |
267.39/267.64 c | 361370 | 5503 63096 306513 | 2147483647 361366 247 | 0.036 % |
268.19/268.50 c | 362090 | 5503 63096 306513 | 2147483647 362086 247 | 0.036 % |
269.29/269.60 c | 362882 | 5503 63096 306513 | 2147483647 362878 247 | 0.036 % |
270.29/270.54 c | 363757 | 5503 63096 306513 | 2147483647 363753 247 | 0.036 % |
271.49/271.75 c | 364715 | 5503 63096 306513 | 2147483647 364711 246 | 0.036 % |
272.60/272.90 c | 365770 | 5503 63096 306513 | 2147483647 365766 246 | 0.036 % |
273.59/273.82 c | 366928 | 5503 63096 306513 | 2147483647 366924 246 | 0.036 % |
274.09/274.35 c | 368202 | 5503 63096 306513 | 2147483647 368198 246 | 0.036 % |
275.19/275.42 c | 369602 | 5503 63096 306513 | 2147483647 369598 246 | 0.037 % |
276.39/276.67 c | 371143 | 5503 63096 306513 | 2147483647 371139 245 | 0.036 % |
278.09/278.35 c | 372838 | 5503 63096 306513 | 2147483647 372834 245 | 0.037 % |
279.30/279.59 c | 374701 | 5503 63096 306513 | 2147483647 374697 245 | 0.037 % |
280.89/281.18 c | 376750 | 5503 63096 306513 | 2147483647 376746 245 | 0.037 % |
283.18/283.50 c | 379004 | 5503 63096 306513 | 2147483647 379000 246 | 0.037 % |
285.29/285.60 c | 381489 | 5503 63096 306513 | 2147483647 381485 245 | 0.036 % |
290.58/290.81 c | 384214 | 5503 63096 306513 | 2147483647 384210 245 | 0.036 % |
294.68/294.91 c | 387211 | 5503 63096 306513 | 2147483647 387207 247 | 0.036 % |
297.98/298.24 c | 390507 | 5503 63096 306513 | 2147483647 390503 248 | 0.036 % |
305.98/306.21 c | 394140 | 5503 63096 306513 | 2147483647 394136 251 | 0.036 % |
306.38/306.63 c | 394240 | 5503 63096 306513 | 2147483647 394236 251 | 0.036 % |
306.69/306.91 c | 394352 | 5503 63096 306513 | 2147483647 394348 251 | 0.036 % |
306.88/307.18 c | 394475 | 5503 63096 306513 | 2147483647 394471 251 | 0.036 % |
307.08/307.39 c | 394609 | 5503 63096 306513 | 2147483647 394605 251 | 0.036 % |
307.38/307.66 c | 394757 | 5503 63096 306513 | 2147483647 394753 251 | 0.036 % |
307.78/308.02 c | 394917 | 5503 63096 306513 | 2147483647 394913 251 | 0.036 % |
307.98/308.27 c | 395093 | 5503 63096 306513 | 2147483647 395089 251 | 0.036 % |
308.28/308.55 c | 395287 | 5503 63096 306513 | 2147483647 395283 251 | 0.036 % |
308.57/308.81 c | 395500 | 5503 63096 306513 | 2147483647 395496 251 | 0.036 % |
308.77/309.04 c | 395734 | 5503 63096 306513 | 2147483647 395730 251 | 0.036 % |
309.67/309.91 c | 395993 | 5503 63096 306513 | 2147483647 395989 251 | 0.036 % |
310.18/310.45 c | 396274 | 5503 63096 306513 | 2147483647 396270 251 | 0.036 % |
310.88/311.19 c | 396583 | 5503 63096 306513 | 2147483647 396579 251 | 0.036 % |
311.28/311.53 c | 396922 | 5503 63096 306513 | 2147483647 396918 251 | 0.036 % |
311.78/312.07 c | 397294 | 5503 63096 306513 | 2147483647 397290 251 | 0.036 % |
312.37/312.69 c | 397707 | 5503 63096 306513 | 2147483647 397703 251 | 0.036 % |
312.97/313.26 c | 398156 | 5503 63096 306513 | 2147483647 398152 251 | 0.036 % |
313.57/313.81 c | 398651 | 5503 63096 306513 | 2147483647 398647 251 | 0.036 % |
314.07/314.37 c | 399194 | 5503 63096 306513 | 2147483647 399190 250 | 0.036 % |
314.77/315.09 c | 399791 | 5503 63096 306513 | 2147483647 399787 250 | 0.036 % |
316.67/316.93 c | 400446 | 5503 63096 306513 | 399999 346745 242 | 0.037 % |
317.37/317.68 c | 401168 | 5503 63096 306513 | 399999 347467 242 | 0.036 % |
318.17/318.44 c | 401960 | 5503 63096 306513 | 399999 348259 242 | 0.037 % |
318.87/319.19 c | 402842 | 5503 63096 306513 | 399999 349141 242 | 0.037 % |
319.97/320.26 c | 403808 | 5503 63096 306513 | 399999 350107 242 | 0.036 % |
321.17/321.43 c | 404863 | 5503 63096 306513 | 399999 351162 242 | 0.037 % |
322.17/322.45 c | 406024 | 5503 63096 306513 | 399999 352323 242 | 0.037 % |
324.47/324.78 c | 407302 | 5503 63096 306513 | 399999 353601 242 | 0.036 % |
325.27/325.53 c | 408702 | 5503 63096 306513 | 399999 355001 242 | 0.036 % |
326.47/326.70 c | 410243 | 5503 63096 306513 | 356299 356542 242 | 0.036 % |
329.37/329.64 c | 411938 | 5503 63096 306513 | 356299 304331 254 | 0.036 % |
331.57/331.82 c | 413804 | 5503 63096 306513 | 356299 306197 254 | 0.036 % |
333.67/333.93 c | 415860 | 5503 63096 306513 | 356299 308253 254 | 0.036 % |
336.26/336.57 c | 418113 | 5503 63096 306513 | 356299 310506 254 | 0.036 % |
340.26/340.50 c | 420595 | 5503 63096 306513 | 2147483647 312988 254 | 0.036 % |
343.26/343.59 c | 423320 | 5503 63096 306513 | 2147483647 315713 254 | 0.036 % |
346.46/346.72 c | 426317 | 5503 63096 306513 | 2147483647 318710 253 | 0.036 % |
349.26/349.59 c | 429613 | 5503 63096 306513 | 2147483647 322006 253 | 0.036 % |
352.36/352.69 c | 433238 | 5503 63096 306513 | 2147483647 325631 255 | 0.036 % |
357.16/357.45 c | 437225 | 5503 63096 306513 | 2147483647 329618 254 | 0.036 % |
357.26/357.55 c | 437326 | 5503 63096 306513 | 2147483647 329719 254 | 0.036 % |
357.36/357.62 c | 437440 | 5503 63096 306513 | 2147483647 329833 254 | 0.036 % |
357.46/357.71 c | 437562 | 5503 63096 306513 | 2147483647 329955 254 | 0.036 % |
357.66/357.99 c | 437696 | 5503 63096 306513 | 2147483647 330089 254 | 0.036 % |
357.96/358.27 c | 437842 | 5503 63096 306513 | 2147483647 330235 254 | 0.036 % |
358.36/358.63 c | 438002 | 5503 63096 306513 | 2147483647 330395 254 | 0.036 % |
358.76/359.01 c | 438178 | 5503 63096 306513 | 2147483647 330571 254 | 0.036 % |
358.96/359.26 c | 438371 | 5503 63096 306513 | 2147483647 330764 254 | 0.036 % |
359.46/359.79 c | 438586 | 5503 63096 306513 | 2147483647 330979 254 | 0.036 % |
359.96/360.26 c | 438824 | 5503 63096 306513 | 2147483647 331217 254 | 0.036 % |
360.26/360.57 c | 439080 | 5503 63096 306513 | 2147483647 331473 254 | 0.036 % |
360.66/360.99 c | 439361 | 5503 63096 306513 | 2147483647 331754 254 | 0.036 % |
361.16/361.48 c | 439672 | 5503 63096 306513 | 2147483647 332065 254 | 0.036 % |
361.66/361.92 c | 440012 | 5503 63096 306513 | 2147483647 332405 254 | 0.036 % |
362.05/362.35 c | 440384 | 5503 63096 306513 | 2147483647 332777 254 | 0.036 % |
362.46/362.71 c | 440796 | 5503 63096 306513 | 2147483647 333189 254 | 0.036 % |
363.06/363.38 c | 441245 | 5503 63096 306513 | 2147483647 333638 254 | 0.036 % |
363.76/364.02 c | 441742 | 5503 63096 306513 | 2147483647 334135 254 | 0.036 % |
364.46/364.74 c | 442284 | 5503 63096 306513 | 2147483647 334677 254 | 0.036 % |
365.76/366.07 c | 442884 | 5503 63096 306513 | 2147483647 335277 254 | 0.036 % |
366.76/367.00 c | 443541 | 5503 63096 306513 | 2147483647 335934 254 | 0.036 % |
367.56/367.81 c | 444262 | 5503 63096 306513 | 2147483647 336655 254 | 0.036 % |
368.37/368.64 c | 445055 | 5503 63096 306513 | 2147483647 337448 254 | 0.036 % |
370.16/370.45 c | 445927 | 5503 63096 306513 | 2147483647 338320 255 | 0.036 % |
372.26/372.51 c | 446885 | 5503 63096 306513 | 2147483647 339278 255 | 0.036 % |
374.16/374.46 c | 447942 | 5503 63096 306513 | 2147483647 340335 256 | 0.036 % |
375.96/376.28 c | 449100 | 5503 63096 306513 | 2147483647 341493 257 | 0.036 % |
378.16/378.45 c | 450373 | 5503 63096 306513 | 342393 342766 257 | 0.036 % |
380.36/380.70 c | 451773 | 5503 63096 306513 | 342393 298208 261 | 0.036 % |
383.36/383.63 c | 453313 | 5503 63096 306513 | 342393 299748 262 | 0.036 % |
386.76/387.04 c | 455007 | 5503 63096 306513 | 342393 301442 263 | 0.036 % |
389.95/390.28 c | 456870 | 5503 63096 306513 | 342393 303305 265 | 0.036 % |
394.76/395.03 c | 458921 | 5503 63096 306513 | 342393 305356 267 | 0.036 % |
398.85/399.11 c | 461174 | 5503 63096 306513 | 306440 275205 255 | 0.036 % |
401.75/402.01 c | 463653 | 5503 63096 306513 | 306440 277684 256 | 0.036 % |
404.85/405.15 c | 466380 | 5503 63096 306513 | 306440 280411 257 | 0.036 % |
407.75/408.06 c | 469382 | 5503 63096 306513 | 306440 283413 258 | 0.036 % |
415.45/415.78 c | 472678 | 5503 63096 306513 | 2147483647 286709 262 | 0.036 % |
422.44/422.73 c | 476304 | 5503 63096 306513 | 2147483647 290335 266 | 0.036 % |
428.04/428.38 c | 480295 | 5503 63096 306513 | 2147483647 294326 269 | 0.036 % |
435.14/435.43 c | 484681 | 5503 63096 306513 | 2147483647 298712 271 | 0.036 % |
435.34/435.61 c | 484781 | 5503 63096 306513 | 2147483647 298812 271 | 0.036 % |
435.54/435.81 c | 484891 | 5503 63096 306513 | 2147483647 298922 271 | 0.036 % |
435.74/436.07 c | 485013 | 5503 63096 306513 | 2147483647 299044 271 | 0.036 % |
436.14/436.40 c | 485147 | 5503 63096 306513 | 2147483647 299178 271 | 0.036 % |
436.34/436.64 c | 485297 | 5503 63096 306513 | 2147483647 299328 271 | 0.036 % |
436.74/437.05 c | 485459 | 5503 63096 306513 | 2147483647 299490 272 | 0.036 % |
437.04/437.38 c | 485635 | 5503 63096 306513 | 2147483647 299666 272 | 0.036 % |
437.54/437.83 c | 485836 | 5503 63096 306513 | 2147483647 299867 272 | 0.036 % |
437.94/438.24 c | 486048 | 5503 63096 306513 | 2147483647 300079 272 | 0.036 % |
438.34/438.65 c | 486281 | 5503 63096 306513 | 2147483647 300312 272 | 0.036 % |
438.94/439.27 c | 486540 | 5503 63096 306513 | 2147483647 300571 273 | 0.036 % |
439.44/439.72 c | 486821 | 5503 63096 306513 | 2147483647 300852 273 | 0.036 % |
439.94/440.20 c | 487130 | 5503 63096 306513 | 2147483647 301161 273 | 0.036 % |
440.43/440.76 c | 487470 | 5503 63096 306513 | 2147483647 301501 273 | 0.036 % |
441.13/441.47 c | 487847 | 5503 63096 306513 | 2147483647 301878 274 | 0.036 % |
441.83/442.20 c | 488261 | 5503 63096 306513 | 2147483647 302292 274 | 0.036 % |
442.93/443.23 c | 488714 | 5503 63096 306513 | 2147483647 302745 274 | 0.036 % |
444.03/444.40 c | 489209 | 5503 63096 306513 | 2147483647 303240 275 | 0.036 % |
444.93/445.22 c | 489757 | 5503 63096 306513 | 2147483647 303788 275 | 0.036 % |
445.83/446.12 c | 490353 | 5503 63096 306513 | 2147483647 304384 276 | 0.036 % |
447.03/447.37 c | 491010 | 5503 63096 306513 | 2147483647 305041 276 | 0.036 % |
447.73/448.08 c | 491737 | 5503 63096 306513 | 2147483647 305768 276 | 0.036 % |
449.83/450.18 c | 492530 | 5503 63096 306513 | 2147483647 306561 277 | 0.036 % |
451.33/451.63 c | 493401 | 5503 63096 306513 | 2147483647 307432 277 | 0.036 % |
452.83/453.13 c | 494364 | 5503 63096 306513 | 2147483647 308395 277 | 0.036 % |
453.93/454.25 c | 495417 | 5503 63096 306513 | 2147483647 309448 277 | 0.036 % |
454.53/454.88 c | 496575 | 5503 63096 306513 | 2147483647 310606 277 | 0.036 % |
456.23/456.56 c | 497849 | 5503 63096 306513 | 2147483647 311880 276 | 0.036 % |
458.93/459.29 c | 499250 | 5503 63096 306513 | 2147483647 313281 277 | 0.036 % |
460.43/460.76 c | 500790 | 5503 63096 306513 | 2147483647 314821 277 | 0.036 % |
463.03/463.32 c | 502487 | 5503 63096 306513 | 2147483647 316518 278 | 0.036 % |
465.23/465.54 c | 504351 | 5503 63096 306513 | 2147483647 318382 278 | 0.036 % |
467.52/467.82 c | 506405 | 5503 63096 306513 | 2147483647 320436 279 | 0.036 % |
474.22/474.56 c | 508662 | 5503 63096 306513 | 2147483647 322693 281 | 0.036 % |
479.52/479.80 c | 511141 | 5503 63096 306513 | 324032 325172 282 | 0.036 % |
486.22/486.52 c | 513873 | 5503 63096 306513 | 324032 277833 279 | 0.036 % |
491.52/491.85 c | 516870 | 5503 63096 306513 | 324032 280830 281 | 0.036 % |
498.62/498.97 c | 520176 | 5503 63096 306513 | 2147483647 284136 284 | 0.036 % |
506.01/506.35 c | 523805 | 5503 63096 306513 | 2147483647 287765 288 | 0.036 % |
514.81/515.18 c | 527792 | 5503 63096 306513 | 2147483647 291752 290 | 0.036 % |
518.91/519.26 c | 532177 | 5503 63096 306513 | 2147483647 296137 290 | 0.036 % |
524.21/524.58 c | 537001 | 5503 63096 306513 | 2147483647 300961 291 | 0.036 % |
524.41/524.77 c | 537109 | 5503 63096 306513 | 2147483647 301069 291 | 0.036 % |
524.51/524.90 c | 537219 | 5503 63096 306513 | 2147483647 301179 291 | 0.036 % |
524.81/525.11 c | 537340 | 5503 63096 306513 | 2147483647 301300 291 | 0.036 % |
525.01/525.31 c | 537473 | 5503 63096 306513 | 2147483647 301433 291 | 0.036 % |
525.21/525.51 c | 537621 | 5503 63096 306513 | 2147483647 301581 291 | 0.036 % |
525.51/525.82 c | 537785 | 5503 63096 306513 | 2147483647 301745 291 | 0.036 % |
525.81/526.19 c | 537961 | 5503 63096 306513 | 2147483647 301921 291 | 0.036 % |
526.11/526.47 c | 538158 | 5503 63096 306513 | 2147483647 302118 291 | 0.036 % |
526.51/526.81 c | 538372 | 5503 63096 306513 | 2147483647 302332 291 | 0.036 % |
526.81/527.13 c | 538605 | 5503 63096 306513 | 2147483647 302565 291 | 0.036 % |
527.10/527.43 c | 538865 | 5503 63096 306513 | 2147483647 302825 291 | 0.036 % |
527.71/528.01 c | 539149 | 5503 63096 306513 | 2147483647 303109 291 | 0.036 % |
527.81/528.19 c | 539458 | 5503 63096 306513 | 2147483647 303418 291 | 0.036 % |
528.10/528.46 c | 539799 | 5503 63096 306513 | 2147483647 303759 290 | 0.036 % |
528.50/528.80 c | 540172 | 5503 63096 306513 | 2147483647 304132 291 | 0.036 % |
528.81/529.16 c | 540582 | 5503 63096 306513 | 2147483647 304542 291 | 0.036 % |
529.30/529.65 c | 541031 | 5503 63096 306513 | 2147483647 304991 291 | 0.036 % |
530.50/530.86 c | 541524 | 5503 63096 306513 | 2147483647 305484 291 | 0.036 % |
531.90/532.25 c | 542071 | 5503 63096 306513 | 2147483647 306031 291 | 0.036 % |
534.00/534.31 c | 542667 | 5503 63096 306513 | 2147483647 306627 291 | 0.036 % |
535.50/535.81 c | 543322 | 5503 63096 306513 | 2147483647 307282 292 | 0.036 % |
537.90/538.21 c | 544049 | 5503 63096 306513 | 2147483647 308009 292 | 0.036 % |
540.10/540.48 c | 544843 | 5503 63096 306513 | 2147483647 308803 293 | 0.036 % |
542.10/542.43 c | 545715 | 5503 63096 306513 | 2147483647 309675 293 | 0.036 % |
543.40/543.72 c | 546675 | 5503 63096 306513 | 2147483647 310635 294 | 0.036 % |
545.90/546.28 c | 547729 | 5503 63096 306513 | 2147483647 311689 294 | 0.036 % |
548.60/548.96 c | 548888 | 5503 63096 306513 | 2147483647 312848 295 | 0.036 % |
551.90/552.21 c | 550164 | 5503 63096 306513 | 313960 314124 296 | 0.036 % |
555.99/556.34 c | 551565 | 5503 63096 306513 | 313960 279899 304 | 0.036 % |
559.19/559.50 c | 553113 | 5503 63096 306513 | 313960 281447 306 | 0.036 % |
563.79/564.20 c | 554811 | 5503 63096 306513 | 313960 283145 307 | 0.036 % |
568.19/568.52 c | 556674 | 5503 63096 306513 | 313960 285008 308 | 0.036 % |
571.59/571.95 c | 558723 | 5503 63096 306513 | 313960 287057 308 | 0.036 % |
575.19/575.59 c | 560978 | 5503 63096 306513 | 2147483647 289312 309 | 0.036 % |
577.39/577.77 c | 563462 | 5503 63096 306513 | 2147483647 291796 309 | 0.036 % |
581.08/581.44 c | 566187 | 5503 63096 306513 | 2147483647 294521 310 | 0.036 % |
584.89/585.30 c | 569184 | 5503 63096 306513 | 2147483647 297518 311 | 0.036 % |
589.48/589.85 c | 572480 | 5503 63096 306513 | 2147483647 300814 311 | 0.036 % |
597.08/597.41 c | 576105 | 5503 63096 306513 | 2147483647 304439 311 | 0.036 % |
607.08/607.40 c | 580094 | 5503 63096 306513 | 2147483647 308428 313 | 0.036 % |
612.28/612.65 c | 584482 | 5503 63096 306513 | 2147483647 312816 313 | 0.036 % |
621.47/621.88 c | 589305 | 5503 63096 306513 | 2147483647 317639 312 | 0.036 % |
637.97/638.38 c | 594615 | 5503 63096 306513 | 2147483647 322949 314 | 0.036 % |
638.26/638.66 c | 594717 | 5503 63096 306513 | 2147483647 323051 314 | 0.036 % |
638.56/638.93 c | 594830 | 5503 63096 306513 | 2147483647 323164 314 | 0.036 % |
638.87/639.21 c | 594953 | 5503 63096 306513 | 2147483647 323287 314 | 0.036 % |
639.16/639.54 c | 595086 | 5503 63096 306513 | 2147483647 323420 314 | 0.036 % |
639.46/639.81 c | 595232 | 5503 63096 306513 | 2147483647 323566 314 | 0.036 % |
639.76/640.12 c | 595396 | 5503 63096 306513 | 2147483647 323730 314 | 0.036 % |
640.06/640.47 c | 595572 | 5503 63096 306513 | 2147483647 323906 314 | 0.036 % |
640.77/641.18 c | 595765 | 5503 63096 306513 | 2147483647 324099 314 | 0.036 % |
641.17/641.53 c | 595977 | 5503 63096 306513 | 2147483647 324311 314 | 0.036 % |
641.57/641.94 c | 596210 | 5503 63096 306513 | 2147483647 324544 314 | 0.036 % |
641.97/642.36 c | 596466 | 5503 63096 306513 | 2147483647 324800 314 | 0.036 % |
643.17/643.55 c | 596750 | 5503 63096 306513 | 2147483647 325084 314 | 0.036 % |
644.16/644.55 c | 597059 | 5503 63096 306513 | 2147483647 325393 314 | 0.036 % |
644.87/645.25 c | 597398 | 5503 63096 306513 | 2147483647 325732 315 | 0.036 % |
645.77/646.17 c | 597772 | 5503 63096 306513 | 2147483647 326106 315 | 0.036 % |
646.67/647.00 c | 598183 | 5503 63096 306513 | 2147483647 326517 315 | 0.036 % |
647.76/648.14 c | 598632 | 5503 63096 306513 | 2147483647 326966 315 | 0.036 % |
648.96/649.40 c | 599126 | 5503 63096 306513 | 2147483647 327460 315 | 0.036 % |
650.36/650.71 c | 599669 | 5503 63096 306513 | 2147483647 328003 316 | 0.036 % |
652.27/652.62 c | 600265 | 5503 63096 306513 | 328334 328599 316 | 0.036 % |
654.27/654.64 c | 600920 | 5503 63096 306513 | 328334 285452 325 | 0.036 % |
655.97/656.38 c | 601646 | 5503 63096 306513 | 328334 286178 326 | 0.036 % |
657.87/658.24 c | 602442 | 5503 63096 306513 | 328334 286974 326 | 0.036 % |
660.16/660.56 c | 603313 | 5503 63096 306513 | 328334 287845 327 | 0.036 % |
662.97/663.38 c | 604272 | 5503 63096 306513 | 328334 288804 327 | 0.036 % |
664.07/664.41 c | 605326 | 5503 63096 306513 | 328334 289858 328 | 0.036 % |
666.46/666.85 c | 606484 | 5503 63096 306513 | 328334 291016 328 | 0.036 % |
668.76/669.11 c | 607762 | 5503 63096 306513 | 328334 292294 328 | 0.036 % |
670.76/671.14 c | 609163 | 5503 63096 306513 | 328334 293695 328 | 0.036 % |
673.36/673.77 c | 610703 | 5503 63096 306513 | 2147483647 295235 327 | 0.036 % |
678.36/678.79 c | 612399 | 5503 63096 306513 | 2147483647 296931 328 | 0.036 % |
680.66/681.02 c | 614262 | 5503 63096 306513 | 2147483647 298794 329 | 0.036 % |
686.86/687.25 c | 616311 | 5503 63096 306513 | 2147483647 300843 330 | 0.036 % |
694.05/694.45 c | 618564 | 5503 63096 306513 | 2147483647 303096 331 | 0.036 % |
700.65/701.08 c | 621044 | 5503 63096 306513 | 304535 305576 332 | 0.036 % |
707.75/708.13 c | 623771 | 5503 63096 306513 | 304535 263017 346 | 0.036 % |
710.25/710.64 c | 626772 | 5503 63096 306513 | 304535 266018 345 | 0.036 % |
713.95/714.37 c | 630069 | 5503 63096 306513 | 2147483647 269315 345 | 0.036 % |
724.93/725.33 c | 633694 | 5503 63096 306513 | 2147483647 272940 347 | 0.036 % |
736.33/736.79 c | 637681 | 5503 63096 306513 | 2147483647 276927 348 | 0.036 % |
745.72/746.16 c | 642066 | 5503 63096 306513 | 279246 246180 348 | 0.036 % |
751.52/751.91 c | 646890 | 5503 63096 306513 | 279246 251004 349 | 0.036 % |
755.43/755.81 c | 652197 | 5503 63096 306513 | 2147483647 256311 346 | 0.036 % |
765.72/766.10 c | 658035 | 5503 63096 306513 | 2147483647 262149 348 | 0.036 % |
765.92/766.34 c | 658140 | 5503 63096 306513 | 2147483647 262254 348 | 0.036 % |
766.12/766.59 c | 658250 | 5503 63096 306513 | 2147483647 262364 348 | 0.036 % |
766.42/766.83 c | 658375 | 5503 63096 306513 | 2147483647 262489 348 | 0.036 % |
766.82/767.21 c | 658508 | 5503 63096 306513 | 2147483647 262622 348 | 0.036 % |
767.42/767.80 c | 658655 | 5503 63096 306513 | 2147483647 262769 349 | 0.036 % |
767.92/768.38 c | 658817 | 5503 63096 306513 | 2147483647 262931 349 | 0.036 % |
768.62/769.01 c | 658995 | 5503 63096 306513 | 2147483647 263109 349 | 0.036 % |
769.21/769.63 c | 659194 | 5503 63096 306513 | 2147483647 263308 349 | 0.036 % |
769.91/770.37 c | 659406 | 5503 63096 306513 | 2147483647 263520 349 | 0.036 % |
770.72/771.15 c | 659639 | 5503 63096 306513 | 2147483647 263753 349 | 0.036 % |
771.51/771.98 c | 659895 | 5503 63096 306513 | 2147483647 264009 349 | 0.036 % |
772.51/772.92 c | 660177 | 5503 63096 306513 | 2147483647 264291 349 | 0.036 % |
773.41/773.88 c | 660488 | 5503 63096 306513 | 2147483647 264602 350 | 0.036 % |
774.41/774.89 c | 660829 | 5503 63096 306513 | 2147483647 264943 350 | 0.036 % |
775.41/775.81 c | 661209 | 5503 63096 306513 | 2147483647 265323 350 | 0.036 % |
776.91/777.39 c | 661619 | 5503 63096 306513 | 2147483647 265733 350 | 0.036 % |
778.41/778.85 c | 662069 | 5503 63096 306513 | 2147483647 266183 350 | 0.036 % |
780.01/780.48 c | 662565 | 5503 63096 306513 | 2147483647 266679 350 | 0.036 % |
780.81/781.23 c | 663109 | 5503 63096 306513 | 2147483647 267223 350 | 0.036 % |
781.41/781.80 c | 663705 | 5503 63096 306513 | 2147483647 267819 350 | 0.036 % |
783.71/784.14 c | 664365 | 5503 63096 306513 | 2147483647 268479 350 | 0.036 % |
785.51/785.94 c | 665090 | 5503 63096 306513 | 2147483647 269204 350 | 0.036 % |
787.21/787.64 c | 665885 | 5503 63096 306513 | 2147483647 269999 350 | 0.036 % |
789.71/790.15 c | 666760 | 5503 63096 306513 | 2147483647 270874 351 | 0.036 % |
792.11/792.57 c | 667719 | 5503 63096 306513 | 2147483647 271833 351 | 0.036 % |
795.21/795.64 c | 668773 | 5503 63096 306513 | 2147483647 272887 351 | 0.036 % |
797.90/798.38 c | 669934 | 5503 63096 306513 | 2147483647 274048 351 | 0.036 % |
802.50/802.97 c | 671207 | 5503 63096 306513 | 274115 223231 355 | 0.036 % |
805.50/805.90 c | 672623 | 5503 63096 306513 | 274115 224647 355 | 0.036 % |
810.20/810.64 c | 674163 | 5503 63096 306513 | 274115 226187 356 | 0.036 % |
816.40/816.81 c | 675859 | 5503 63096 306513 | 274115 227883 356 | 0.036 % |
822.90/823.39 c | 677725 | 5503 63096 306513 | 274115 229749 357 | 0.036 % |
827.80/828.20 c | 679775 | 5503 63096 306513 | 274115 231799 356 | 0.036 % |
837.00/837.40 c | 682028 | 5503 63096 306513 | 232025 196343 342 | 0.036 % |
845.50/845.92 c | 684506 | 5503 63096 306513 | 232025 198821 343 | 0.036 % |
852.00/852.46 c | 687235 | 5503 63096 306513 | 232025 201550 343 | 0.036 % |
855.79/856.21 c | 690232 | 5503 63096 306513 | 204319 204547 342 | 0.036 % |
861.29/861.70 c | 693532 | 5503 63096 306513 | 204319 186728 344 | 0.036 % |
864.49/864.97 c | 697160 | 5503 63096 306513 | 204319 190356 342 | 0.036 % |
865.79/866.29 c | 701149 | 5503 63096 306513 | 2147483647 194345 337 | 0.036 % |
872.09/872.55 c | 705537 | 5503 63096 306513 | 2147483647 198733 334 | 0.036 % |
886.19/886.64 c | 710365 | 5503 63096 306513 | 2147483647 203561 335 | 0.036 % |
898.29/898.78 c | 715675 | 5503 63096 306513 | 2147483647 208871 336 | 0.036 % |
916.28/916.80 c | 721516 | 5503 63096 306513 | 2147483647 214712 338 | 0.036 % |
943.07/943.50 c | 727936 | 5503 63096 306513 | 2147483647 221132 340 | 0.036 % |
943.37/943.83 c | 728037 | 5503 63096 306513 | 2147483647 221233 340 | 0.036 % |
943.87/944.37 c | 728149 | 5503 63096 306513 | 2147483647 221345 340 | 0.036 % |
944.27/944.78 c | 728271 | 5503 63096 306513 | 2147483647 221467 340 | 0.036 % |
944.87/945.38 c | 728404 | 5503 63096 306513 | 2147483647 221600 340 | 0.036 % |
945.77/946.24 c | 728550 | 5503 63096 306513 | 2147483647 221746 340 | 0.036 % |
946.57/947.00 c | 728710 | 5503 63096 306513 | 2147483647 221906 340 | 0.036 % |
947.27/947.71 c | 728889 | 5503 63096 306513 | 2147483647 222085 340 | 0.036 % |
947.96/948.43 c | 729082 | 5503 63096 306513 | 2147483647 222278 340 | 0.036 % |
948.87/949.37 c | 729294 | 5503 63096 306513 | 2147483647 222490 340 | 0.036 % |
949.97/950.43 c | 729533 | 5503 63096 306513 | 2147483647 222729 340 | 0.036 % |
950.26/950.76 c | 729790 | 5503 63096 306513 | 2147483647 222986 340 | 0.036 % |
950.56/951.06 c | 730071 | 5503 63096 306513 | 223196 223267 340 | 0.036 % |
951.66/952.18 c | 730380 | 5503 63096 306513 | 223196 195395 329 | 0.036 % |
952.27/952.77 c | 730719 | 5503 63096 306513 | 223196 195734 330 | 0.036 % |
952.96/953.40 c | 731091 | 5503 63096 306513 | 223196 196106 330 | 0.036 % |
953.66/954.11 c | 731502 | 5503 63096 306513 | 223196 196517 329 | 0.036 % |
954.37/954.89 c | 731953 | 5503 63096 306513 | 223196 196968 329 | 0.036 % |
955.16/955.62 c | 732446 | 5503 63096 306513 | 223196 197461 329 | 0.036 % |
955.66/956.16 c | 732990 | 5503 63096 306513 | 223196 198005 329 | 0.036 % |
957.06/957.58 c | 733586 | 5503 63096 306513 | 223196 198601 329 | 0.036 % |
957.77/958.29 c | 734243 | 5503 63096 306513 | 223196 199258 329 | 0.036 % |
958.56/959.10 c | 734974 | 5503 63096 306513 | 223196 199989 328 | 0.036 % |
959.66/960.18 c | 735766 | 5503 63096 306513 | 223196 200781 328 | 0.036 % |
960.56/961.09 c | 736637 | 5503 63096 306513 | 223196 201652 328 | 0.036 % |
961.26/961.79 c | 737598 | 5503 63096 306513 | 223196 202613 327 | 0.036 % |
961.96/962.45 c | 738652 | 5503 63096 306513 | 223196 203667 326 | 0.036 % |
964.36/964.86 c | 739819 | 5503 63096 306513 | 223196 204834 325 | 0.036 % |
966.96/967.48 c | 741098 | 5503 63096 306513 | 2147483647 206113 325 | 0.036 % |
969.76/970.29 c | 742499 | 5503 63096 306513 | 2147483647 207514 326 | 0.036 % |
970.86/971.39 c | 744039 | 5503 63096 306513 | 2147483647 209054 324 | 0.036 % |
975.36/975.82 c | 745735 | 5503 63096 306513 | 2147483647 210750 324 | 0.036 % |
976.65/977.11 c | 747598 | 5503 63096 306513 | 2147483647 212613 322 | 0.036 % |
979.66/980.17 c | 749651 | 5503 63096 306513 | 2147483647 214666 321 | 0.036 % |
983.05/983.50 c | 751904 | 5503 63096 306513 | 2147483647 216919 320 | 0.036 % |
986.45/986.98 c | 754382 | 5503 63096 306513 | 2147483647 219397 321 | 0.036 % |
995.55/996.06 c | 757107 | 5503 63096 306513 | 2147483647 222122 322 | 0.036 % |
1007.84/1008.36 c | 760104 | 5503 63096 306513 | 2147483647 225119 323 | 0.036 % |
1015.94/1016.44 c | 763403 | 5503 63096 306513 | 2147483647 228418 323 | 0.036 % |
1022.34/1022.89 c | 767029 | 5503 63096 306513 | 2147483647 232044 323 | 0.036 % |
1030.04/1030.57 c | 771025 | 5503 63096 306513 | 235015 207150 314 | 0.036 % |
1039.04/1039.59 c | 775410 | 5503 63096 306513 | 235015 211535 314 | 0.036 % |
1049.73/1050.29 c | 780234 | 5503 63096 306513 | 2147483647 216359 314 | 0.036 % |
1065.62/1066.16 c | 785540 | 5503 63096 306513 | 2147483647 221665 316 | 0.036 % |
1093.12/1093.61 c | 791375 | 5503 63096 306513 | 226125 176772 298 | 0.036 % |
1100.21/1100.74 c | 797797 | 5503 63096 306513 | 226125 183194 295 | 0.036 % |
1106.51/1107.05 c | 804857 | 5503 63096 306513 | 2147483647 190254 293 | 0.036 % |
1106.81/1107.38 c | 804957 | 5503 63096 306513 | 2147483647 190354 293 | 0.036 % |
1107.22/1107.72 c | 805067 | 5503 63096 306513 | 2147483647 190464 293 | 0.036 % |
1107.61/1108.11 c | 805195 | 5503 63096 306513 | 2147483647 190592 293 | 0.036 % |
1108.11/1108.64 c | 805330 | 5503 63096 306513 | 2147483647 190727 293 | 0.036 % |
1108.71/1109.30 c | 805481 | 5503 63096 306513 | 2147483647 190878 293 | 0.036 % |
1109.31/1109.81 c | 805653 | 5503 63096 306513 | 2147483647 191050 293 | 0.036 % |
1110.11/1110.63 c | 805830 | 5503 63096 306513 | 2147483647 191227 293 | 0.036 % |
1110.91/1111.47 c | 806032 | 5503 63096 306513 | 2147483647 191429 293 | 0.036 % |
1111.81/1112.32 c | 806245 | 5503 63096 306513 | 2147483647 191642 293 | 0.036 % |
1111.91/1112.43 c | 806478 | 5503 63096 306513 | 2147483647 191875 293 | 0.036 % |
1112.01/1112.52 c | 806737 | 5503 63096 306513 | 2147483647 192134 293 | 0.036 % |
1112.21/1112.73 c | 807022 | 5503 63096 306513 | 2147483647 192419 293 | 0.036 % |
1112.41/1112.98 c | 807332 | 5503 63096 306513 | 2147483647 192729 293 | 0.036 % |
1112.71/1113.23 c | 807671 | 5503 63096 306513 | 2147483647 193068 292 | 0.036 % |
1112.91/1113.43 c | 808046 | 5503 63096 306513 | 2147483647 193443 292 | 0.036 % |
1113.21/1113.70 c | 808456 | 5503 63096 306513 | 2147483647 193853 292 | 0.036 % |
1113.31/1113.87 c | 808905 | 5503 63096 306513 | 2147483647 194302 291 | 0.036 % |
1113.71/1114.26 c | 809399 | 5503 63096 306513 | 2147483647 194796 291 | 0.036 % |
1114.31/1114.89 c | 809942 | 5503 63096 306513 | 2147483647 195339 290 | 0.036 % |
1114.91/1115.42 c | 810538 | 5503 63096 306513 | 2147483647 195935 290 | 0.036 % |
1115.41/1115.95 c | 811196 | 5503 63096 306513 | 2147483647 196593 289 | 0.036 % |
1115.81/1116.36 c | 811916 | 5503 63096 306513 | 2147483647 197313 289 | 0.036 % |
1116.41/1116.98 c | 812708 | 5503 63096 306513 | 2147483647 198105 288 | 0.036 % |
1116.91/1117.45 c | 813579 | 5503 63096 306513 | 2147483647 198976 287 | 0.036 % |
1117.71/1118.25 c | 814538 | 5503 63096 306513 | 2147483647 199935 286 | 0.036 % |
1118.31/1118.85 c | 815591 | 5503 63096 306513 | 2147483647 200988 285 | 0.036 % |
1119.01/1119.52 c | 816751 | 5503 63096 306513 | 2147483647 202148 283 | 0.036 % |
1119.71/1120.23 c | 818024 | 5503 63096 306513 | 2147483647 203421 282 | 0.036 % |
1120.81/1121.37 c | 819429 | 5503 63096 306513 | 2147483647 204826 280 | 0.036 % |
1122.31/1122.80 c | 820971 | 5503 63096 306513 | 2147483647 206368 279 | 0.036 % |
1123.61/1124.10 c | 822665 | 5503 63096 306513 | 2147483647 208062 279 | 0.036 % |
1125.00/1125.51 c | 824529 | 5503 63096 306513 | 2147483647 209926 279 | 0.036 % |
1127.30/1127.82 c | 826580 | 5503 63096 306513 | 2147483647 211977 279 | 0.036 % |
1131.41/1131.90 c | 828835 | 5503 63096 306513 | 2147483647 214232 280 | 0.036 % |
1137.30/1137.83 c | 831315 | 5503 63096 306513 | 2147483647 216712 281 | 0.036 % |
1138.90/1139.44 c | 834047 | 5503 63096 306513 | 2147483647 219444 282 | 0.036 % |
1144.20/1144.79 c | 837045 | 5503 63096 306513 | 2147483647 222442 281 | 0.036 % |
1150.50/1151.02 c | 840341 | 5503 63096 306513 | 2147483647 225738 280 | 0.036 % |
1155.99/1156.53 c | 843973 | 5503 63096 306513 | 2147483647 229370 279 | 0.036 % |
1162.79/1163.34 c | 847963 | 5503 63096 306513 | 2147483647 233360 278 | 0.036 % |
1170.59/1171.17 c | 852348 | 5503 63096 306513 | 2147483647 237745 277 | 0.036 % |
1182.29/1182.89 c | 857174 | 5503 63096 306513 | 2147483647 242571 277 | 0.036 % |
1193.89/1194.43 c | 862480 | 5503 63096 306513 | 2147483647 247877 278 | 0.036 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833591-1242823743/watcher-1833591-1242823743 -o /tmp/evaluation-result-1833591-1242823743/solver-1833591-1242823743 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833591-1242823743.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15027
/proc/meminfo: memFree=1871936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
[startup+0.10097 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15027
/proc/meminfo: memFree=1871936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.20198 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15027
/proc/meminfo: memFree=1871936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301988 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15027
/proc/meminfo: memFree=1871936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701026 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 15027
/proc/meminfo: memFree=1871936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15032
/proc/meminfo: memFree=1844336/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
[pid=15031] ppid=15027 vsize=26604 CPUtime=1.48
/proc/15031/stat : 15031 (SatELite_releas) R 15027 15027 14887 0 -1 4194304 6435 0 0 0 144 4 0 0 25 0 1 0 310402019 27242496 6001 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/15031/statm: 6651 6001 76 173 0 6476 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31960
[startup+3.10125 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15032
/proc/meminfo: memFree=1838576/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=0
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310402018 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15027/statm: 1339 237 197 169 0 50 0
[pid=15031] ppid=15027 vsize=28176 CPUtime=3.07
/proc/15031/stat : 15031 (SatELite_releas) R 15027 15027 14887 0 -1 4194304 6855 0 0 0 300 7 0 0 25 0 1 0 310402019 28852224 6421 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/15031/statm: 7044 6421 76 173 0 6869 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33532
[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15032
/proc/meminfo: memFree=1825904/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 5356
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1835184/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=19124 CPUtime=6.83
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 4633 0 0 0 680 3 0 0 25 0 1 0 310402602 19582976 4619 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 4781 4619 77 171 0 4608 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 24480
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1805872/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=47244 CPUtime=19.62
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 11661 0 0 0 1954 8 0 0 25 0 1 0 310402602 48377856 11647 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 11811 11647 77 171 0 11638 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 52600
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1754352/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=100200 CPUtime=45.18
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 24855 0 0 0 4500 18 0 0 25 0 1 0 310402602 102604800 24841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 25050 24841 77 171 0 24877 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 105556
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1670576/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=182476 CPUtime=96.36
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 45379 0 0 0 9603 33 0 0 25 0 1 0 310402602 186855424 45365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 45619 45365 77 171 0 45446 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 187832
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1593904/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=259724 CPUtime=156.33
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 64721 0 0 0 15583 50 0 0 25 0 1 0 310402602 265957376 64707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 64931 64707 77 171 0 64758 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 265080
[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1519728/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=333396 CPUtime=216.31
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 83038 0 0 0 21565 66 0 0 25 0 1 0 310402602 341397504 83024 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 83349 83024 77 171 0 83176 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 338752
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1467120/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=386412 CPUtime=276.28
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 96310 0 0 0 27550 78 0 0 25 0 1 0 310402602 395685888 96296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 96603 96296 77 171 0 96430 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 391768
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1436400/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=416236 CPUtime=336.26
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 103764 0 0 0 33542 84 0 0 25 0 1 0 310402602 426225664 103750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 104059 103750 77 171 0 103886 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 421592
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1436336/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=416236 CPUtime=396.25
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 103775 0 0 0 39540 85 0 0 25 0 1 0 310402602 426225664 103761 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 104059 103761 77 171 0 103886 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 421592
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1436272/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
################
# More data... #
################
/proc/15033/statm: 104059 103765 77 171 0 103886 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 421592
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1422064/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=430804 CPUtime=636.17
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 107429 0 0 0 63528 89 0 0 25 0 1 0 310402602 441143296 107415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 107701 107415 77 171 0 107528 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 436160
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15033
/proc/meminfo: memFree=1413936/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=696.15
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109273 0 0 0 69524 91 0 0 25 0 1 0 310402602 448720896 109259 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109259 77 171 0 109378 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 443560
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413672/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=756.12
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109276 0 0 0 75521 91 0 0 25 0 1 0 310402602 448720896 109262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109262 77 171 0 109378 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 443560
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413672/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=816.1
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109276 0 0 0 81519 91 0 0 25 0 1 0 310402602 448720896 109262 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109262 77 171 0 109378 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 443560
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413672/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=876.09
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109277 0 0 0 87517 92 0 0 25 0 1 0 310402602 448720896 109263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109263 77 171 0 109378 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 443560
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413736/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=936.07
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109277 0 0 0 93515 92 0 0 25 0 1 0 310402602 448720896 109263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109263 77 171 0 109378 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 443560
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413736/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=996.05
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109278 0 0 0 99513 92 0 0 25 0 1 0 310402602 448720896 109264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109264 77 171 0 109378 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 443560
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413744/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=1056.03
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109280 0 0 0 105511 92 0 0 25 0 1 0 310402602 448720896 109266 1992294400 134512640 135215339 4294956240 18446744073709551615 134532659 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109266 77 171 0 109378 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 443560
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413616/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=1116.01
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109287 0 0 0 111509 92 0 0 25 0 1 0 310402602 448720896 109273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109273 77 171 0 109378 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 443560
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413616/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=1175.99
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109287 0 0 0 117507 92 0 0 25 0 1 0 310402602 448720896 109273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109273 77 171 0 109378 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 443560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413616/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=1194.3
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109287 0 0 0 119337 93 0 0 25 0 1 0 310402602 448720896 109273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109273 77 171 0 109378 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 443560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15039
/proc/meminfo: memFree=1413616/2055920 swapFree=4179700/4192956
[pid=15027] ppid=15025 vsize=5356 CPUtime=5.8
/proc/15027/stat : 15027 (SatELiteGTI) S 15025 15027 14887 0 -1 4194304 336 8310 0 0 0 0 568 12 16 0 1 0 310402018 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15027/statm: 1339 239 197 169 0 50 0
[pid=15033] ppid=15027 vsize=438204 CPUtime=1194.3
/proc/15033/stat : 15033 (minisat_static) R 15027 15027 14887 0 -1 4194304 109287 0 0 0 119337 93 0 0 25 0 1 0 310402602 448720896 109273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15033/statm: 109551 109273 77 171 0 109378 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 443560
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15027 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=689135
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=128980
# CPU time returned by wait4() is 5.81812
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.1
CPU user time (s): 1199.05
CPU system time (s): 1.05
CPU usage (%): 99.9572
Max. virtual memory (cumulated for all children) (KiB): 443560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.68914
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8646
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= 16
involuntary context switches= 30
runsolver used 1.48177 second user time and 2.97955 second system time
The end
Begin job on node48 at 2009-05-20 14:49:03
IDJOB=1833591
IDBENCH=70762
IDSOLVER=671
FILE ID=node48/1833591-1242823743
PBS_JOBID= 9322483
Free space on /tmp= 66400 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-1833591-1242823743/watcher-1833591-1242823743 -o /tmp/evaluation-result-1833591-1242823743/solver-1833591-1242823743 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833591-1242823743.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED=436503551
node48.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.209
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.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1872416 kB
Buffers: 48156 kB
Cached: 85928 kB
SwapCached: 7560 kB
Active: 45512 kB
Inactive: 97552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872416 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 26472 kB
Committed_AS: 1113660 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66380 MiB
End job on node48 at 2009-05-20 15:09:06