0.00/0.00 c Parsing...
0.12/0.15 c ==============================================================================
0.12/0.15 c | | ORIGINAL | LEARNT | |
0.12/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.15 c ==============================================================================
0.12/0.15 c | 0 | 160467 374423 | 48140 0 0 nan | 0.000 % |
4.92/4.99 c | 0 | 63354 307031 | -- 0 -- -- | -- | -97071/-67291
4.92/4.99 c ==============================================================================
4.92/4.99 c Result : #vars: 5505 #clauses: 63354 #literals: 307031
4.92/4.99 c CPU time: 4.86 s
4.92/4.99 c ==============================================================================
5.02/5.09 c This is MiniSat 2.0 beta
5.02/5.09 c WARNING: for repeatability, setting FPU to use double precision
5.02/5.09 c ============================[ Problem Statistics ]=============================
5.02/5.09 c | |
5.02/5.09 c | Number of variables: 5505 |
5.02/5.09 c | Number of clauses: 63354 |
5.09/5.14 c | Parsing time: 0.04 s |
5.09/5.15 c ============================[ Search Statistics ]==============================
5.09/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.09/5.15 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.09/5.15 c ===============================================================================
5.09/5.15 c | 0 | 5505 63354 307031 | 21118 0 nan | 0.000 % |
5.09/5.19 c | 100 | 5505 63354 307031 | 21118 100 12 | 0.000 % |
5.09/5.28 c | 200 | 5505 63354 307031 | 21118 200 11 | 0.000 % |
5.09/5.36 c | 300 | 5505 63354 307031 | 21118 300 11 | 0.000 % |
5.09/5.40 c | 410 | 5505 63354 307031 | 21118 410 10 | 0.000 % |
5.42/5.44 c | 510 | 5505 63354 307031 | 21118 510 10 | 0.000 % |
5.42/5.45 c | 621 | 5505 63354 307031 | 21118 621 13 | 0.000 % |
5.42/5.46 c | 743 | 5505 63354 307031 | 21118 743 13 | 0.000 % |
5.42/5.48 c | 843 | 5505 63354 307031 | 21118 843 13 | 0.000 % |
5.61/5.64 c | 954 | 5505 63354 307031 | 21118 954 13 | 0.000 % |
5.61/5.68 c | 1077 | 5505 63354 307031 | 21118 1077 12 | 0.000 % |
5.61/5.69 c | 1210 | 5505 63354 307031 | 21118 1210 13 | 0.000 % |
5.61/5.69 c | 1310 | 5505 63354 307031 | 21118 1310 14 | 0.000 % |
5.61/5.71 c | 1420 | 5505 63354 307031 | 21118 1420 13 | 0.000 % |
5.71/5.76 c | 1541 | 5505 63354 307031 | 21118 1541 13 | 0.000 % |
5.71/5.76 c | 1675 | 5505 63354 307031 | 21118 1675 13 | 0.000 % |
5.71/5.77 c | 1821 | 5505 63354 307031 | 21118 1821 14 | 0.000 % |
5.71/5.78 c | 1921 | 5505 63354 307031 | 21118 1921 14 | 0.000 % |
5.81/5.82 c | 2031 | 5505 63354 307031 | 21118 2031 14 | 0.000 % |
5.81/5.83 c | 2154 | 5505 63354 307031 | 21118 2154 14 | 0.000 % |
5.81/5.89 c | 2287 | 5505 63354 307031 | 21118 2287 14 | 0.000 % |
5.81/5.90 c | 2433 | 5505 63354 307031 | 21118 2433 16 | 0.000 % |
5.81/5.91 c | 2594 | 5505 63354 307031 | 21118 2594 17 | 0.000 % |
5.91/5.92 c | 2694 | 5505 63354 307031 | 21118 2694 17 | 0.000 % |
5.91/5.92 c | 2804 | 5505 63354 307031 | 21118 2804 18 | 0.000 % |
6.01/6.04 c | 2925 | 5505 63354 307031 | 21118 2925 18 | 0.000 % |
6.01/6.07 c | 3062 | 5505 63354 307031 | 21118 3062 23 | 0.000 % |
6.01/6.09 c | 3212 | 5505 63354 307031 | 21118 3212 23 | 0.000 % |
6.11/6.12 c | 3372 | 5505 63354 307031 | 21118 3372 24 | 0.000 % |
6.11/6.13 c | 3554 | 5505 63354 307031 | 21118 3554 24 | 0.000 % |
6.11/6.13 c | 3654 | 5505 63354 307031 | 21118 3654 25 | 0.000 % |
6.11/6.16 c | 3764 | 5505 63354 307031 | 21118 3764 26 | 0.000 % |
6.11/6.18 c | 3885 | 5505 63354 307031 | 21118 3885 29 | 0.000 % |
6.11/6.19 c | 4019 | 5505 63354 307031 | 21118 4019 29 | 0.000 % |
6.21/6.22 c | 4165 | 5505 63354 307031 | 21118 4165 29 | 0.000 % |
6.21/6.24 c | 4329 | 5505 63354 307031 | 21118 4329 29 | 0.000 % |
6.21/6.24 c | 4505 | 5505 63354 307031 | 21118 4505 29 | 0.000 % |
6.21/6.26 c | 4698 | 5505 63354 307031 | 21118 4698 29 | 0.000 % |
6.21/6.26 c | 4798 | 5505 63354 307031 | 21118 4798 28 | 0.000 % |
6.21/6.28 c | 4909 | 5505 63354 307031 | 21118 4909 28 | 0.000 % |
6.21/6.29 c | 5031 | 5505 63354 307031 | 21118 5031 28 | 0.000 % |
6.21/6.31 c | 5164 | 5505 63354 307031 | 21118 5164 30 | 0.000 % |
6.31/6.33 c | 5310 | 5505 63354 307031 | 21118 5310 33 | 0.000 % |
6.31/6.35 c | 5470 | 5505 63354 307031 | 21118 5470 34 | 0.000 % |
6.31/6.39 c | 5646 | 5505 63354 307031 | 21118 5646 33 | 0.000 % |
6.31/6.41 c | 5839 | 5505 63354 307031 | 21118 5839 34 | 0.000 % |
6.41/6.44 c | 6051 | 5505 63354 307031 | 21118 6051 35 | 0.000 % |
6.41/6.46 c | 6151 | 5505 63354 307031 | 21118 6151 36 | 0.000 % |
6.41/6.48 c | 6261 | 5505 63354 307031 | 21118 6261 35 | 0.000 % |
6.41/6.51 c | 6382 | 5504 63225 306772 | 21118 6380 35 | 0.018 % |
6.51/6.54 c | 6515 | 5504 63225 306772 | 21118 6513 35 | 0.018 % |
6.51/6.55 c | 6661 | 5504 63225 306772 | 21118 6659 35 | 0.018 % |
6.51/6.56 c | 6822 | 5504 63225 306772 | 21118 6820 34 | 0.018 % |
6.51/6.58 c | 6998 | 5504 63225 306772 | 21118 6996 34 | 0.018 % |
6.51/6.61 c | 7193 | 5504 63225 306772 | 21118 7191 37 | 0.018 % |
6.61/6.63 c | 7405 | 5504 63225 306772 | 21118 7403 36 | 0.018 % |
6.61/6.66 c | 7638 | 5504 63225 306772 | 21118 7636 36 | 0.018 % |
6.61/6.67 c | 7738 | 5504 63225 306772 | 21118 7736 36 | 0.018 % |
6.61/6.70 c | 7848 | 5504 63225 306772 | 21118 7846 36 | 0.018 % |
6.69/6.74 c | 7970 | 5504 63225 306772 | 21118 7968 35 | 0.018 % |
6.69/6.75 c | 8104 | 5504 63225 306772 | 21118 8102 35 | 0.018 % |
6.69/6.76 c | 8250 | 5504 63225 306772 | 21118 8248 35 | 0.018 % |
6.69/6.79 c | 8413 | 5504 63225 306772 | 21118 8411 35 | 0.018 % |
6.69/6.80 c | 8591 | 5504 63225 306772 | 21118 8589 35 | 0.018 % |
6.79/6.82 c | 8784 | 5504 63225 306772 | 21118 8782 35 | 0.018 % |
6.79/6.86 c | 8998 | 5504 63225 306772 | 21118 8996 35 | 0.018 % |
6.79/6.89 c | 9233 | 5504 63225 306772 | 21118 9231 34 | 0.018 % |
6.89/6.96 c | 9489 | 5504 63225 306772 | 21118 9487 33 | 0.018 % |
6.89/6.97 c | 9589 | 5504 63225 306772 | 21118 9587 33 | 0.018 % |
6.89/6.98 c | 9699 | 5504 63225 306772 | 21118 9697 33 | 0.018 % |
6.89/6.99 c | 9823 | 5504 63225 306772 | 21118 9821 33 | 0.018 % |
6.89/7.01 c | 9956 | 5504 63225 306772 | 21118 9954 33 | 0.018 % |
6.98/7.03 c | 10104 | 5504 63225 306772 | 2147483647 10102 33 | 0.018 % |
6.98/7.04 c | 10264 | 5504 63225 306772 | 2147483647 10262 33 | 0.018 % |
6.98/7.07 c | 10440 | 5504 63225 306772 | 2147483647 10438 33 | 0.018 % |
6.98/7.09 c | 10633 | 5504 63225 306772 | 2147483647 10631 33 | 0.018 % |
7.08/7.12 c | 10845 | 5504 63225 306772 | 2147483647 10843 33 | 0.018 % |
7.08/7.15 c | 11078 | 5504 63225 306772 | 2147483647 11076 33 | 0.018 % |
7.08/7.17 c | 11335 | 5504 63225 306772 | 2147483647 11333 33 | 0.018 % |
7.18/7.22 c | 11617 | 5504 63225 306772 | 2147483647 11615 33 | 0.018 % |
7.18/7.23 c | 11717 | 5504 63225 306772 | 2147483647 11715 33 | 0.018 % |
7.18/7.25 c | 11827 | 5504 63225 306772 | 2147483647 11825 33 | 0.018 % |
7.18/7.26 c | 11948 | 5504 63225 306772 | 2147483647 11946 33 | 0.018 % |
7.18/7.27 c | 12082 | 5504 63225 306772 | 2147483647 12080 33 | 0.018 % |
7.18/7.30 c | 12228 | 5504 63225 306772 | 2147483647 12226 33 | 0.018 % |
7.28/7.32 c | 12389 | 5504 63225 306772 | 2147483647 12387 34 | 0.018 % |
7.28/7.34 c | 12570 | 5504 63225 306772 | 2147483647 12568 34 | 0.018 % |
7.28/7.36 c | 12763 | 5504 63225 306772 | 2147483647 12761 34 | 0.018 % |
7.28/7.38 c | 12976 | 5504 63225 306772 | 2147483647 12974 34 | 0.018 % |
7.28/7.39 c | 13210 | 5504 63225 306772 | 2147483647 13208 34 | 0.018 % |
7.37/7.42 c | 13469 | 5504 63225 306772 | 2147483647 13467 34 | 0.018 % |
7.37/7.45 c | 13750 | 5504 63225 306772 | 2147483647 13748 34 | 0.018 % |
7.37/7.50 c | 14060 | 5504 63225 306772 | 2147483647 14058 34 | 0.018 % |
7.47/7.52 c | 14161 | 5504 63225 306772 | 2147483647 14159 34 | 0.018 % |
7.47/7.53 c | 14271 | 5504 63225 306772 | 2147483647 14269 34 | 0.018 % |
7.47/7.55 c | 14392 | 5504 63225 306772 | 2147483647 14390 35 | 0.018 % |
7.47/7.58 c | 14525 | 5504 63225 306772 | 2147483647 14523 35 | 0.018 % |
7.47/7.61 c | 14671 | 5504 63225 306772 | 2147483647 14669 35 | 0.018 % |
7.57/7.65 c | 14831 | 5504 63225 306772 | 2147483647 14829 35 | 0.018 % |
7.57/7.66 c | 15007 | 5504 63225 306772 | 2147483647 15005 35 | 0.018 % |
7.57/7.68 c | 15201 | 5504 63225 306772 | 2147483647 15199 35 | 0.018 % |
7.57/7.70 c | 15414 | 5504 63225 306772 | 2147483647 15412 35 | 0.018 % |
7.68/7.73 c | 15648 | 5504 63225 306772 | 2147483647 15646 36 | 0.018 % |
7.68/7.78 c | 15908 | 5504 63225 306772 | 2147483647 15906 36 | 0.018 % |
7.68/7.81 c | 16190 | 5504 63225 306772 | 2147483647 16188 37 | 0.018 % |
7.77/7.84 c | 16499 | 5504 63225 306772 | 2147483647 16497 37 | 0.018 % |
7.77/7.86 c | 16838 | 5504 63225 306772 | 2147483647 16836 38 | 0.018 % |
7.77/7.89 c | 16939 | 5504 63225 306772 | 2147483647 16937 38 | 0.018 % |
7.77/7.91 c | 17049 | 5504 63225 306772 | 2147483647 17047 38 | 0.018 % |
7.87/7.92 c | 17171 | 5504 63225 306772 | 2147483647 17169 38 | 0.018 % |
7.87/7.94 c | 17304 | 5504 63225 306772 | 2147483647 17302 38 | 0.018 % |
7.87/7.96 c | 17451 | 5504 63225 306772 | 2147483647 17449 39 | 0.018 % |
7.87/7.97 c | 17611 | 5504 63225 306772 | 2147483647 17609 39 | 0.018 % |
7.87/8.00 c | 17787 | 5504 63225 306772 | 2147483647 17785 39 | 0.018 % |
7.97/8.04 c | 17980 | 5504 63225 306772 | 2147483647 17978 40 | 0.018 % |
7.97/8.07 c | 18197 | 5504 63225 306772 | 2147483647 18195 41 | 0.018 % |
7.97/8.09 c | 18430 | 5504 63225 306772 | 2147483647 18428 41 | 0.018 % |
8.07/8.13 c | 18687 | 5504 63225 306772 | 2147483647 18685 41 | 0.018 % |
8.07/8.18 c | 18969 | 5504 63225 306772 | 2147483647 18967 41 | 0.018 % |
8.17/8.23 c | 19279 | 5504 63225 306772 | 2147483647 19277 42 | 0.018 % |
8.17/8.30 c | 19621 | 5504 63225 306772 | 2147483647 19619 43 | 0.018 % |
8.27/8.35 c | 19993 | 5504 63225 306772 | 2147483647 19991 45 | 0.018 % |
8.27/8.37 c | 20094 | 5504 63225 306772 | 2147483647 20092 46 | 0.018 % |
8.27/8.39 c | 20204 | 5504 63225 306772 | 2147483647 20202 46 | 0.018 % |
8.27/8.41 c | 20325 | 5504 63225 306772 | 2147483647 20323 46 | 0.018 % |
8.37/8.42 c | 20459 | 5504 63225 306772 | 2147483647 20457 46 | 0.018 % |
8.37/8.45 c | 20605 | 5504 63225 306772 | 2147483647 20603 46 | 0.018 % |
8.37/8.47 c | 20767 | 5504 63225 306772 | 2147483647 20765 46 | 0.018 % |
8.37/8.49 c | 20945 | 5504 63225 306772 | 2147483647 20943 46 | 0.018 % |
8.47/8.53 c | 21138 | 5504 63225 306772 | 2147483647 21136 46 | 0.018 % |
8.47/8.55 c | 21352 | 5504 63225 306772 | 2147483647 21350 47 | 0.018 % |
8.47/8.59 c | 21587 | 5504 63225 306772 | 2147483647 21585 47 | 0.018 % |
8.57/8.63 c | 21845 | 5504 63225 306772 | 2147483647 21843 48 | 0.018 % |
8.57/8.68 c | 22126 | 5504 63225 306772 | 2147483647 22124 49 | 0.018 % |
8.67/8.75 c | 22435 | 5504 63225 306772 | 2147483647 22433 49 | 0.018 % |
8.67/8.81 c | 22774 | 5504 63225 306772 | 2147483647 22772 50 | 0.018 % |
8.78/8.87 c | 23150 | 5504 63225 306772 | 2147483647 23148 52 | 0.018 % |
8.87/8.93 c | 23561 | 5504 63225 306772 | 2147483647 23559 53 | 0.018 % |
8.87/8.94 c | 23664 | 5504 63225 306772 | 2147483647 23662 53 | 0.018 % |
8.87/8.96 c | 23776 | 5504 63225 306772 | 2147483647 23774 53 | 0.018 % |
8.87/8.98 c | 23897 | 5504 63225 306772 | 2147483647 23895 53 | 0.018 % |
8.97/9.02 c | 24035 | 5504 63225 306772 | 2147483647 24033 53 | 0.018 % |
8.97/9.04 c | 24183 | 5504 63225 306772 | 2147483647 24181 54 | 0.018 % |
8.97/9.07 c | 24345 | 5504 63225 306772 | 2147483647 24343 54 | 0.018 % |
8.97/9.10 c | 24525 | 5504 63225 306772 | 2147483647 24523 55 | 0.018 % |
9.07/9.13 c | 24727 | 5504 63225 306772 | 2147483647 24725 55 | 0.018 % |
9.07/9.18 c | 24939 | 5504 63225 306772 | 2147483647 24937 55 | 0.018 % |
9.17/9.22 c | 25172 | 5504 63225 306772 | 2147483647 25170 55 | 0.018 % |
9.17/9.26 c | 25428 | 5504 63225 306772 | 2147483647 25426 56 | 0.018 % |
9.17/9.29 c | 25711 | 5504 63225 306772 | 2147483647 25709 56 | 0.018 % |
9.27/9.34 c | 26020 | 5504 63225 306772 | 2147483647 26018 56 | 0.018 % |
9.27/9.38 c | 26366 | 5504 63225 306772 | 2147483647 26364 56 | 0.018 % |
9.37/9.44 c | 26738 | 5504 63225 306772 | 2147483647 26736 57 | 0.018 % |
9.47/9.51 c | 27147 | 5504 63225 306772 | 2147483647 27145 58 | 0.018 % |
9.57/9.62 c | 27596 | 5504 63225 306772 | 2147483647 27594 59 | 0.018 % |
9.57/9.65 c | 27696 | 5504 63225 306772 | 2147483647 27694 59 | 0.018 % |
9.57/9.69 c | 27808 | 5504 63225 306772 | 2147483647 27806 59 | 0.018 % |
9.57/9.71 c | 27930 | 5504 63225 306772 | 2147483647 27928 59 | 0.018 % |
9.67/9.74 c | 28064 | 5504 63225 306772 | 2147483647 28062 60 | 0.018 % |
9.67/9.77 c | 28213 | 5504 63225 306772 | 2147483647 28211 61 | 0.018 % |
9.67/9.80 c | 28377 | 5504 63225 306772 | 2147483647 28375 61 | 0.018 % |
9.77/9.84 c | 28554 | 5504 63225 306772 | 2147483647 28552 61 | 0.018 % |
9.77/9.87 c | 28747 | 5504 63225 306772 | 2147483647 28745 61 | 0.018 % |
9.77/9.90 c | 28962 | 5504 63225 306772 | 2147483647 28960 61 | 0.018 % |
9.88/9.98 c | 29195 | 5504 63225 306772 | 2147483647 29193 62 | 0.018 % |
9.97/10.04 c | 29451 | 5504 63225 306772 | 2147483647 29449 62 | 0.018 % |
9.97/10.08 c | 29732 | 5504 63225 306772 | 2147483647 29730 63 | 0.018 % |
10.07/10.13 c | 30044 | 5504 63225 306772 | 2147483647 30042 63 | 0.018 % |
10.07/10.19 c | 30384 | 5504 63225 306772 | 2147483647 30382 63 | 0.018 % |
10.17/10.24 c | 30758 | 5504 63225 306772 | 2147483647 30756 63 | 0.018 % |
10.17/10.31 c | 31167 | 5504 63225 306772 | 2147483647 31165 63 | 0.018 % |
10.27/10.38 c | 31616 | 5504 63225 306772 | 2147483647 31614 62 | 0.018 % |
10.37/10.45 c | 32109 | 5504 63225 306772 | 2147483647 32107 62 | 0.018 % |
10.37/10.49 c | 32209 | 5504 63225 306772 | 2147483647 32207 62 | 0.018 % |
10.47/10.53 c | 32323 | 5504 63225 306772 | 2147483647 32321 62 | 0.018 % |
10.47/10.55 c | 32444 | 5504 63225 306772 | 2147483647 32442 62 | 0.018 % |
10.47/10.57 c | 32580 | 5504 63225 306772 | 2147483647 32578 62 | 0.018 % |
10.57/10.62 c | 32726 | 5504 63225 306772 | 2147483647 32724 62 | 0.018 % |
10.57/10.66 c | 32888 | 5504 63225 306772 | 2147483647 32886 62 | 0.018 % |
10.57/10.69 c | 33065 | 5504 63225 306772 | 2147483647 33063 62 | 0.018 % |
10.67/10.74 c | 33261 | 5504 63225 306772 | 2147483647 33259 62 | 0.018 % |
10.77/10.83 c | 33475 | 5504 63225 306772 | 2147483647 33473 62 | 0.018 % |
10.77/10.87 c | 33709 | 5504 63225 306772 | 2147483647 33707 62 | 0.018 % |
10.87/10.93 c | 33966 | 5504 63225 306772 | 2147483647 33964 62 | 0.018 % |
10.87/10.96 c | 34249 | 5504 63225 306772 | 2147483647 34247 62 | 0.018 % |
10.87/11.00 c | 34559 | 5504 63225 306772 | 2147483647 34557 62 | 0.018 % |
10.98/11.05 c | 34898 | 5504 63225 306772 | 2147483647 34896 62 | 0.018 % |
10.98/11.10 c | 35270 | 5504 63225 306772 | 2147483647 35268 63 | 0.018 % |
11.07/11.15 c | 35679 | 5504 63225 306772 | 2147483647 35677 63 | 0.018 % |
11.27/11.33 c | 36129 | 5504 63225 306772 | 2147483647 36127 64 | 0.018 % |
11.37/11.42 c | 36622 | 5504 63225 306772 | 2147483647 36620 65 | 0.018 % |
11.47/11.53 c | 37165 | 5504 63225 306772 | 2147483647 37163 66 | 0.018 % |
11.47/11.55 c | 37268 | 5504 63225 306772 | 2147483647 37266 66 | 0.018 % |
11.47/11.56 c | 37378 | 5504 63225 306772 | 2147483647 37376 66 | 0.018 % |
11.47/11.60 c | 37502 | 5504 63225 306772 | 2147483647 37500 67 | 0.018 % |
11.57/11.63 c | 37636 | 5504 63225 306772 | 2147483647 37634 67 | 0.018 % |
11.57/11.67 c | 37785 | 5504 63225 306772 | 2147483647 37783 67 | 0.018 % |
11.57/11.71 c | 37948 | 5504 63225 306772 | 2147483647 37946 67 | 0.018 % |
11.67/11.75 c | 38124 | 5504 63225 306772 | 2147483647 38122 67 | 0.018 % |
11.67/11.81 c | 38317 | 5504 63225 306772 | 2147483647 38315 68 | 0.018 % |
11.77/11.87 c | 38532 | 5504 63225 306772 | 2147483647 38530 68 | 0.018 % |
11.87/11.92 c | 38765 | 5504 63225 306772 | 2147483647 38763 68 | 0.018 % |
11.87/11.97 c | 39021 | 5504 63225 306772 | 2147483647 39019 68 | 0.018 % |
11.97/12.09 c | 39302 | 5504 63225 306772 | 2147483647 39300 69 | 0.018 % |
12.08/12.14 c | 39615 | 5504 63225 306772 | 2147483647 39613 69 | 0.018 % |
12.08/12.21 c | 39957 | 5504 63225 306772 | 2147483647 39955 70 | 0.018 % |
12.17/12.29 c | 40329 | 5504 63225 306772 | 2147483647 40327 71 | 0.018 % |
12.37/12.41 c | 40738 | 5504 63225 306772 | 2147483647 40736 72 | 0.018 % |
12.37/12.50 c | 41189 | 5504 63225 306772 | 2147483647 41187 72 | 0.018 % |
12.57/12.65 c | 41684 | 5504 63225 306772 | 2147483647 41682 74 | 0.018 % |
12.87/12.94 c | 42228 | 5504 63225 306772 | 2147483647 42226 76 | 0.018 % |
13.07/13.16 c | 42824 | 5504 63225 306772 | 2147483647 42822 79 | 0.018 % |
13.07/13.19 c | 42924 | 5504 63225 306772 | 2147483647 42922 79 | 0.018 % |
13.07/13.22 c | 43035 | 5504 63225 306772 | 2147483647 43033 79 | 0.018 % |
13.18/13.25 c | 43159 | 5504 63225 306772 | 2147483647 43157 79 | 0.018 % |
13.18/13.27 c | 43292 | 5504 63225 306772 | 2147483647 43290 79 | 0.018 % |
13.18/13.30 c | 43440 | 5504 63225 306772 | 2147483647 43438 79 | 0.018 % |
13.27/13.33 c | 43600 | 5504 63225 306772 | 2147483647 43598 78 | 0.018 % |
13.27/13.36 c | 43780 | 5504 63225 306772 | 2147483647 43778 78 | 0.018 % |
13.27/13.39 c | 43974 | 5504 63225 306772 | 2147483647 43972 78 | 0.018 % |
13.37/13.46 c | 44187 | 5504 63225 306772 | 2147483647 44185 78 | 0.018 % |
13.37/13.51 c | 44420 | 5504 63225 306772 | 2147483647 44418 78 | 0.018 % |
13.47/13.56 c | 44677 | 5504 63225 306772 | 2147483647 44675 78 | 0.018 % |
13.57/13.64 c | 44959 | 5504 63225 306772 | 2147483647 44957 78 | 0.018 % |
13.57/13.69 c | 45268 | 5504 63225 306772 | 2147483647 45266 79 | 0.018 % |
13.67/13.75 c | 45607 | 5504 63225 306772 | 2147483647 45605 78 | 0.018 % |
13.77/13.83 c | 45979 | 5504 63225 306772 | 2147483647 45977 79 | 0.018 % |
13.77/13.90 c | 46389 | 5504 63225 306772 | 2147483647 46387 79 | 0.018 % |
13.87/13.99 c | 46841 | 5504 63225 306772 | 2147483647 46839 79 | 0.018 % |
14.07/14.14 c | 47335 | 5504 63225 306772 | 2147483647 47333 81 | 0.018 % |
14.17/14.25 c | 47877 | 5504 63225 306772 | 2147483647 47875 82 | 0.018 % |
14.28/14.37 c | 48474 | 5504 63225 306772 | 2147483647 48472 82 | 0.018 % |
14.37/14.49 c | 49133 | 5504 63225 306772 | 2147483647 49131 82 | 0.018 % |
14.47/14.52 c | 49233 | 5504 63225 306772 | 2147483647 49231 82 | 0.018 % |
14.47/14.54 c | 49344 | 5504 63225 306772 | 2147483647 49342 82 | 0.018 % |
14.47/14.56 c | 49465 | 5504 63225 306772 | 2147483647 49463 82 | 0.018 % |
14.47/14.58 c | 49599 | 5504 63225 306772 | 2147483647 49597 82 | 0.018 % |
14.57/14.62 c | 49749 | 5504 63225 306772 | 2147483647 49747 82 | 0.018 % |
14.57/14.67 c | 49909 | 5504 63225 306772 | 2147483647 49907 82 | 0.018 % |
14.57/14.71 c | 50085 | 5504 63225 306772 | 2147483647 50083 82 | 0.018 % |
14.67/14.76 c | 50279 | 5504 63225 306772 | 2147483647 50277 82 | 0.018 % |
14.77/14.81 c | 50493 | 5504 63225 306772 | 2147483647 50491 82 | 0.018 % |
14.77/14.88 c | 50729 | 5504 63225 306772 | 2147483647 50727 82 | 0.018 % |
14.87/14.92 c | 50985 | 5504 63225 306772 | 2147483647 50983 82 | 0.018 % |
14.87/14.99 c | 51268 | 5504 63225 306772 | 2147483647 51266 82 | 0.018 % |
14.97/15.06 c | 51577 | 5504 63225 306772 | 2147483647 51575 82 | 0.018 % |
15.07/15.17 c | 51916 | 5504 63225 306772 | 2147483647 51914 83 | 0.018 % |
15.17/15.29 c | 52289 | 5504 63225 306772 | 2147483647 52287 84 | 0.018 % |
15.27/15.36 c | 52698 | 5504 63225 306772 | 2147483647 52696 84 | 0.018 % |
15.47/15.52 c | 53147 | 5504 63225 306772 | 2147483647 53145 85 | 0.018 % |
15.57/15.67 c | 53642 | 5504 63225 306772 | 2147483647 53640 86 | 0.018 % |
15.67/15.76 c | 54185 | 5504 63225 306772 | 2147483647 54183 86 | 0.018 % |
15.87/15.93 c | 54782 | 5504 63225 306772 | 2147483647 54780 87 | 0.018 % |
15.97/16.10 c | 55441 | 5504 63225 306772 | 2147483647 55439 88 | 0.018 % |
16.17/16.29 c | 56161 | 5504 63225 306772 | 2147483647 56159 90 | 0.018 % |
16.27/16.32 c | 56262 | 5504 63225 306772 | 2147483647 56260 90 | 0.018 % |
16.27/16.34 c | 56372 | 5504 63225 306772 | 2147483647 56370 90 | 0.018 % |
16.27/16.36 c | 56493 | 5504 63225 306772 | 2147483647 56491 90 | 0.018 % |
16.27/16.40 c | 56627 | 5504 63225 306772 | 2147483647 56625 90 | 0.018 % |
16.37/16.43 c | 56773 | 5504 63225 306772 | 2147483647 56771 90 | 0.018 % |
16.37/16.49 c | 56939 | 5504 63225 306772 | 2147483647 56937 90 | 0.018 % |
16.48/16.53 c | 57118 | 5504 63225 306772 | 2147483647 57116 90 | 0.018 % |
16.48/16.59 c | 57311 | 5504 63225 306772 | 2147483647 57309 90 | 0.018 % |
16.57/16.64 c | 57524 | 5504 63225 306772 | 2147483647 57522 90 | 0.018 % |
16.67/16.73 c | 57757 | 5504 63225 306772 | 2147483647 57755 90 | 0.018 % |
16.67/16.80 c | 58013 | 5504 63225 306772 | 2147483647 58011 90 | 0.018 % |
16.77/16.88 c | 58295 | 5504 63225 306772 | 2147483647 58293 90 | 0.018 % |
16.87/16.98 c | 58605 | 5504 63225 306772 | 2147483647 58603 90 | 0.018 % |
16.97/17.05 c | 58946 | 5504 63225 306772 | 2147483647 58944 90 | 0.018 % |
17.07/17.12 c | 59320 | 5504 63225 306772 | 2147483647 59318 90 | 0.018 % |
17.17/17.21 c | 59730 | 5504 63225 306772 | 2147483647 59728 91 | 0.018 % |
17.27/17.34 c | 60183 | 5504 63225 306772 | 2147483647 60181 91 | 0.018 % |
17.37/17.48 c | 60677 | 5504 63225 306772 | 2147483647 60675 92 | 0.018 % |
17.58/17.62 c | 61219 | 5504 63225 306772 | 2147483647 61217 93 | 0.018 % |
17.87/17.93 c | 61818 | 5504 63225 306772 | 2147483647 61816 94 | 0.018 % |
18.07/18.17 c | 62473 | 5504 63225 306772 | 2147483647 62471 95 | 0.018 % |
18.27/18.33 c | 63194 | 5504 63225 306772 | 2147483647 63192 95 | 0.018 % |
18.37/18.50 c | 63986 | 5504 63225 306772 | 2147483647 63984 95 | 0.018 % |
18.47/18.52 c | 64088 | 5504 63225 306772 | 2147483647 64086 95 | 0.018 % |
18.47/18.58 c | 64200 | 5504 63225 306772 | 2147483647 64198 95 | 0.018 % |
18.57/18.63 c | 64322 | 5504 63225 306772 | 2147483647 64320 95 | 0.018 % |
18.57/18.68 c | 64457 | 5504 63225 306772 | 2147483647 64455 95 | 0.018 % |
18.57/18.71 c | 64606 | 5504 63225 306772 | 2147483647 64604 95 | 0.018 % |
18.68/18.76 c | 64767 | 5504 63225 306772 | 2147483647 64765 95 | 0.018 % |
18.68/18.81 c | 64945 | 5504 63225 306772 | 2147483647 64943 95 | 0.018 % |
18.77/18.86 c | 65142 | 5504 63225 306772 | 2147483647 65140 95 | 0.018 % |
18.87/18.91 c | 65356 | 5504 63225 306772 | 2147483647 65354 96 | 0.018 % |
18.87/18.98 c | 65591 | 5504 63225 306772 | 2147483647 65589 96 | 0.018 % |
18.97/19.06 c | 65850 | 5504 63225 306772 | 2147483647 65848 96 | 0.018 % |
19.07/19.18 c | 66132 | 5504 63225 306772 | 2147483647 66130 96 | 0.018 % |
19.17/19.25 c | 66441 | 5504 63225 306772 | 2147483647 66439 97 | 0.018 % |
19.27/19.34 c | 66781 | 5504 63225 306772 | 2147483647 66779 97 | 0.018 % |
19.37/19.41 c | 67153 | 5504 63225 306772 | 2147483647 67151 97 | 0.018 % |
19.37/19.48 c | 67562 | 5504 63225 306772 | 2147483647 67560 97 | 0.018 % |
19.57/19.67 c | 68012 | 5504 63225 306772 | 2147483647 68010 97 | 0.018 % |
19.67/19.81 c | 68505 | 5504 63225 306772 | 2147483647 68503 98 | 0.018 % |
19.97/20.02 c | 69050 | 5504 63225 306772 | 2147483647 69048 98 | 0.018 % |
20.07/20.18 c | 69646 | 5504 63225 306772 | 2147483647 69644 99 | 0.018 % |
20.27/20.41 c | 70302 | 5504 63225 306772 | 2147483647 70300 100 | 0.018 % |
20.57/20.67 c | 71023 | 5504 63225 306772 | 2147483647 71021 101 | 0.018 % |
20.88/20.96 c | 71816 | 5504 63225 306772 | 2147483647 71814 102 | 0.018 % |
21.27/21.37 c | 72688 | 5504 63225 306772 | 2147483647 72686 104 | 0.018 % |
21.27/21.40 c | 72791 | 5504 63225 306772 | 2147483647 72789 104 | 0.018 % |
21.37/21.47 c | 72903 | 5504 63225 306772 | 2147483647 72901 104 | 0.018 % |
21.37/21.49 c | 73024 | 5504 63225 306772 | 2147483647 73022 104 | 0.018 % |
21.47/21.57 c | 73157 | 5504 63225 306772 | 2147483647 73155 104 | 0.018 % |
21.47/21.60 c | 73304 | 5504 63225 306772 | 2147483647 73302 104 | 0.018 % |
21.57/21.70 c | 73464 | 5504 63225 306772 | 2147483647 73462 105 | 0.018 % |
21.67/21.79 c | 73641 | 5503 63096 306513 | 2147483647 73637 105 | 0.036 % |
21.77/21.83 c | 73840 | 5503 63096 306513 | 2147483647 73836 105 | 0.036 % |
21.77/21.87 c | 74052 | 5503 63096 306513 | 2147483647 74048 105 | 0.036 % |
21.87/21.99 c | 74285 | 5503 63096 306513 | 2147483647 74281 105 | 0.036 % |
21.98/22.07 c | 74542 | 5503 63096 306513 | 2147483647 74538 105 | 0.036 % |
22.07/22.13 c | 74823 | 5503 63096 306513 | 2147483647 74819 105 | 0.036 % |
22.17/22.22 c | 75132 | 5503 63096 306513 | 2147483647 75128 105 | 0.036 % |
22.27/22.33 c | 75472 | 5503 63096 306513 | 2147483647 75468 105 | 0.036 % |
22.37/22.45 c | 75844 | 5503 63096 306513 | 2147483647 75840 105 | 0.036 % |
22.57/22.64 c | 76254 | 5503 63096 306513 | 2147483647 76250 106 | 0.036 % |
22.67/22.75 c | 76706 | 5503 63096 306513 | 2147483647 76702 106 | 0.036 % |
22.87/22.96 c | 77200 | 5503 63096 306513 | 2147483647 77196 106 | 0.036 % |
22.97/23.10 c | 77748 | 5503 63096 306513 | 2147483647 77744 107 | 0.036 % |
23.17/23.26 c | 78344 | 5503 63096 306513 | 2147483647 78340 107 | 0.036 % |
23.37/23.48 c | 78999 | 5503 63096 306513 | 2147483647 78995 107 | 0.036 % |
23.67/23.73 c | 79723 | 5503 63096 306513 | 2147483647 79719 108 | 0.036 % |
24.07/24.16 c | 80516 | 5503 63096 306513 | 2147483647 80512 108 | 0.036 % |
24.47/24.55 c | 81393 | 5503 63096 306513 | 2147483647 81389 111 | 0.036 % |
24.77/24.88 c | 82352 | 5503 63096 306513 | 2147483647 82348 112 | 0.036 % |
24.87/24.93 c | 82452 | 5503 63096 306513 | 2147483647 82448 113 | 0.036 % |
24.87/25.00 c | 82562 | 5503 63096 306513 | 2147483647 82558 113 | 0.036 % |
24.97/25.08 c | 82689 | 5503 63096 306513 | 2147483647 82685 113 | 0.036 % |
25.07/25.14 c | 82823 | 5503 63096 306513 | 2147483647 82819 113 | 0.036 % |
25.17/25.22 c | 82969 | 5503 63096 306513 | 2147483647 82965 113 | 0.036 % |
25.17/25.29 c | 83130 | 5503 63096 306513 | 2147483647 83126 113 | 0.036 % |
25.28/25.34 c | 83306 | 5503 63096 306513 | 2147483647 83302 113 | 0.036 % |
25.28/25.39 c | 83508 | 5503 63096 306513 | 2147483647 83504 113 | 0.036 % |
25.37/25.49 c | 83721 | 5503 63096 306513 | 2147483647 83717 113 | 0.036 % |
25.47/25.59 c | 83954 | 5503 63096 306513 | 2147483647 83950 113 | 0.036 % |
25.67/25.71 c | 84211 | 5503 63096 306513 | 2147483647 84207 113 | 0.036 % |
25.77/25.84 c | 84497 | 5503 63096 306513 | 2147483647 84493 113 | 0.036 % |
25.87/25.97 c | 84806 | 5503 63096 306513 | 2147483647 84802 113 | 0.036 % |
25.97/26.09 c | 85145 | 5503 63096 306513 | 2147483647 85141 113 | 0.036 % |
26.07/26.20 c | 85519 | 5503 63096 306513 | 2147483647 85515 113 | 0.036 % |
26.27/26.36 c | 85928 | 5503 63096 306513 | 2147483647 85924 113 | 0.036 % |
26.57/26.67 c | 86378 | 5503 63096 306513 | 2147483647 86374 113 | 0.036 % |
26.77/26.85 c | 86871 | 5503 63096 306513 | 2147483647 86867 114 | 0.036 % |
26.97/27.06 c | 87413 | 5503 63096 306513 | 2147483647 87409 114 | 0.036 % |
27.07/27.17 c | 88014 | 5503 63096 306513 | 2147483647 88010 115 | 0.036 % |
27.27/27.37 c | 88671 | 5503 63096 306513 | 2147483647 88667 115 | 0.036 % |
27.57/27.68 c | 89393 | 5503 63096 306513 | 2147483647 89389 116 | 0.036 % |
27.77/27.88 c | 90186 | 5503 63096 306513 | 2147483647 90182 116 | 0.036 % |
27.97/28.08 c | 91057 | 5503 63096 306513 | 2147483647 91053 117 | 0.036 % |
28.47/28.60 c | 92015 | 5503 63096 306513 | 2147483647 92011 117 | 0.036 % |
28.87/28.95 c | 93071 | 5503 63096 306513 | 2147483647 93067 117 | 0.036 % |
28.87/29.02 c | 93173 | 5503 63096 306513 | 2147483647 93169 117 | 0.036 % |
28.98/29.10 c | 93283 | 5503 63096 306513 | 2147483647 93279 117 | 0.036 % |
29.08/29.20 c | 93404 | 5503 63096 306513 | 2147483647 93400 117 | 0.036 % |
29.08/29.21 c | 93540 | 5503 63096 306513 | 2147483647 93536 117 | 0.036 % |
29.18/29.32 c | 93686 | 5503 63096 306513 | 2147483647 93682 117 | 0.036 % |
29.28/29.35 c | 93846 | 5503 63096 306513 | 2147483647 93842 117 | 0.036 % |
29.28/29.41 c | 94022 | 5503 63096 306513 | 2147483647 94018 117 | 0.036 % |
29.38/29.49 c | 94220 | 5503 63096 306513 | 2147483647 94216 118 | 0.036 % |
29.48/29.61 c | 94433 | 5503 63096 306513 | 2147483647 94429 118 | 0.036 % |
29.68/29.78 c | 94666 | 5503 63096 306513 | 2147483647 94662 118 | 0.036 % |
29.78/29.89 c | 94922 | 5503 63096 306513 | 2147483647 94918 118 | 0.036 % |
29.88/30.00 c | 95203 | 5503 63096 306513 | 2147483647 95199 118 | 0.036 % |
30.08/30.13 c | 95512 | 5503 63096 306513 | 2147483647 95508 118 | 0.036 % |
30.18/30.24 c | 95851 | 5503 63096 306513 | 2147483647 95847 118 | 0.036 % |
30.28/30.39 c | 96224 | 5503 63096 306513 | 2147483647 96220 118 | 0.036 % |
30.58/30.71 c | 96633 | 5503 63096 306513 | 2147483647 96629 119 | 0.036 % |
30.78/30.84 c | 97084 | 5503 63096 306513 | 2147483647 97080 120 | 0.036 % |
30.98/31.08 c | 97577 | 5503 63096 306513 | 2147483647 97573 120 | 0.036 % |
31.18/31.29 c | 98124 | 5503 63096 306513 | 2147483647 98120 120 | 0.036 % |
31.48/31.61 c | 98722 | 5503 63096 306513 | 2147483647 98718 120 | 0.036 % |
31.88/31.97 c | 99377 | 5503 63096 306513 | 2147483647 99373 121 | 0.036 % |
32.08/32.21 c | 100097 | 5503 63096 306513 | 2147483647 100093 121 | 0.036 % |
32.48/32.60 c | 100892 | 5503 63096 306513 | 2147483647 100888 122 | 0.036 % |
32.88/32.93 c | 101763 | 5503 63096 306513 | 2147483647 101759 122 | 0.036 % |
33.48/33.56 c | 102721 | 5503 63096 306513 | 2147483647 102717 124 | 0.036 % |
33.88/33.99 c | 103780 | 5503 63096 306513 | 2147483647 103776 124 | 0.036 % |
34.28/34.38 c | 104938 | 5503 63096 306513 | 2147483647 104934 125 | 0.036 % |
34.38/34.46 c | 105039 | 5503 63096 306513 | 2147483647 105035 125 | 0.036 % |
34.38/34.49 c | 105149 | 5503 63096 306513 | 2147483647 105145 125 | 0.036 % |
34.48/34.52 c | 105271 | 5503 63096 306513 | 2147483647 105267 125 | 0.036 % |
34.48/34.54 c | 105404 | 5503 63096 306513 | 2147483647 105400 124 | 0.036 % |
34.58/34.64 c | 105550 | 5503 63096 306513 | 2147483647 105546 125 | 0.036 % |
34.58/34.70 c | 105710 | 5503 63096 306513 | 2147483647 105706 124 | 0.036 % |
34.68/34.80 c | 105891 | 5503 63096 306513 | 2147483647 105887 125 | 0.036 % |
34.88/34.93 c | 106087 | 5503 63096 306513 | 2147483647 106083 125 | 0.036 % |
34.98/35.05 c | 106304 | 5503 63096 306513 | 2147483647 106300 125 | 0.036 % |
35.08/35.18 c | 106537 | 5503 63096 306513 | 2147483647 106533 125 | 0.036 % |
35.18/35.27 c | 106795 | 5503 63096 306513 | 2147483647 106791 125 | 0.036 % |
35.28/35.35 c | 107077 | 5503 63096 306513 | 2147483647 107073 125 | 0.036 % |
35.48/35.53 c | 107386 | 5503 63096 306513 | 2147483647 107382 125 | 0.036 % |
35.68/35.80 c | 107729 | 5503 63096 306513 | 2147483647 107725 126 | 0.036 % |
35.88/35.98 c | 108103 | 5503 63096 306513 | 2147483647 108099 126 | 0.036 % |
36.08/36.21 c | 108512 | 5503 63096 306513 | 2147483647 108508 127 | 0.036 % |
36.28/36.35 c | 108964 | 5503 63096 306513 | 2147483647 108960 127 | 0.036 % |
36.48/36.52 c | 109457 | 5503 63096 306513 | 2147483647 109453 127 | 0.036 % |
36.78/36.89 c | 110000 | 5503 63096 306513 | 2147483647 109996 129 | 0.036 % |
36.98/37.12 c | 110596 | 5503 63096 306513 | 2147483647 110592 129 | 0.036 % |
37.28/37.37 c | 111251 | 5503 63096 306513 | 2147483647 111247 130 | 0.036 % |
37.58/37.62 c | 111972 | 5503 63096 306513 | 2147483647 111968 130 | 0.036 % |
37.98/38.10 c | 112765 | 5503 63096 306513 | 2147483647 112761 132 | 0.036 % |
38.48/38.58 c | 113638 | 5503 63096 306513 | 2147483647 113634 133 | 0.036 % |
38.88/38.98 c | 114599 | 5503 63096 306513 | 2147483647 114595 135 | 0.036 % |
39.37/39.42 c | 115652 | 5503 63096 306513 | 2147483647 115648 136 | 0.036 % |
39.77/39.88 c | 116812 | 5503 63096 306513 | 2147483647 116808 138 | 0.036 % |
40.27/40.39 c | 118085 | 5503 63096 306513 | 2147483647 118081 139 | 0.036 % |
40.37/40.45 c | 118185 | 5503 63096 306513 | 2147483647 118181 139 | 0.036 % |
40.37/40.49 c | 118298 | 5503 63096 306513 | 2147483647 118294 139 | 0.036 % |
40.47/40.56 c | 118419 | 5503 63096 306513 | 2147483647 118415 139 | 0.036 % |
40.57/40.66 c | 118553 | 5503 63096 306513 | 2147483647 118549 139 | 0.036 % |
40.67/40.72 c | 118700 | 5503 63096 306513 | 2147483647 118696 139 | 0.036 % |
40.67/40.77 c | 118862 | 5503 63096 306513 | 2147483647 118858 139 | 0.036 % |
40.77/40.86 c | 119038 | 5503 63096 306513 | 2147483647 119034 139 | 0.036 % |
40.87/40.99 c | 119231 | 5503 63096 306513 | 2147483647 119227 139 | 0.036 % |
40.97/41.09 c | 119443 | 5503 63096 306513 | 2147483647 119439 139 | 0.036 % |
41.07/41.20 c | 119677 | 5503 63096 306513 | 2147483647 119673 139 | 0.036 % |
41.27/41.36 c | 119933 | 5503 63096 306513 | 2147483647 119929 140 | 0.036 % |
41.37/41.48 c | 120215 | 5503 63096 306513 | 2147483647 120211 140 | 0.036 % |
41.57/41.63 c | 120524 | 5503 63096 306513 | 2147483647 120520 140 | 0.036 % |
41.67/41.80 c | 120865 | 5503 63096 306513 | 2147483647 120861 140 | 0.036 % |
41.87/41.96 c | 121239 | 5503 63096 306513 | 2147483647 121235 140 | 0.036 % |
42.07/42.17 c | 121651 | 5503 63096 306513 | 2147483647 121647 140 | 0.036 % |
42.37/42.47 c | 122100 | 5503 63096 306513 | 2147483647 122096 140 | 0.036 % |
42.67/42.81 c | 122594 | 5503 63096 306513 | 2147483647 122590 140 | 0.036 % |
43.07/43.13 c | 123136 | 5503 63096 306513 | 2147483647 123132 141 | 0.036 % |
43.27/43.42 c | 123733 | 5503 63096 306513 | 2147483647 123729 141 | 0.036 % |
43.57/43.63 c | 124391 | 5503 63096 306513 | 2147483647 124387 142 | 0.036 % |
43.87/43.93 c | 125113 | 5503 63096 306513 | 2147483647 125109 142 | 0.036 % |
44.47/44.60 c | 125906 | 5503 63096 306513 | 2147483647 125902 143 | 0.036 % |
44.77/44.82 c | 126777 | 5503 63096 306513 | 2147483647 126773 144 | 0.036 % |
45.37/45.45 c | 127735 | 5503 63096 306513 | 2147483647 127731 146 | 0.036 % |
45.77/45.88 c | 128789 | 5503 63096 306513 | 2147483647 128785 147 | 0.036 % |
46.17/46.28 c | 129947 | 5503 63096 306513 | 2147483647 129943 148 | 0.036 % |
46.77/46.83 c | 131221 | 5503 63096 306513 | 2147483647 131217 149 | 0.036 % |
47.47/47.60 c | 132621 | 5503 63096 306513 | 2147483647 132617 150 | 0.036 % |
47.57/47.65 c | 132721 | 5503 63096 306513 | 2147483647 132717 150 | 0.036 % |
47.57/47.71 c | 132831 | 5503 63096 306513 | 2147483647 132827 151 | 0.036 % |
47.67/47.80 c | 132953 | 5503 63096 306513 | 2147483647 132949 151 | 0.036 % |
47.77/47.88 c | 133088 | 5503 63096 306513 | 2147483647 133084 151 | 0.036 % |
47.97/48.03 c | 133234 | 5503 63096 306513 | 2147483647 133230 151 | 0.036 % |
48.07/48.14 c | 133396 | 5503 63096 306513 | 2147483647 133392 151 | 0.036 % |
48.17/48.23 c | 133572 | 5503 63096 306513 | 2147483647 133568 151 | 0.036 % |
48.27/48.37 c | 133766 | 5503 63096 306513 | 2147483647 133762 151 | 0.036 % |
48.37/48.47 c | 133979 | 5503 63096 306513 | 2147483647 133975 151 | 0.036 % |
48.57/48.65 c | 134215 | 5503 63096 306513 | 2147483647 134211 151 | 0.036 % |
48.77/48.87 c | 134471 | 5503 63096 306513 | 2147483647 134467 151 | 0.036 % |
48.87/49.00 c | 134752 | 5503 63096 306513 | 2147483647 134748 152 | 0.036 % |
49.07/49.13 c | 135063 | 5503 63096 306513 | 2147483647 135059 152 | 0.036 % |
49.37/49.43 c | 135403 | 5503 63096 306513 | 2147483647 135399 152 | 0.036 % |
49.57/49.66 c | 135775 | 5503 63096 306513 | 2147483647 135771 152 | 0.036 % |
49.87/50.02 c | 136184 | 5503 63096 306513 | 2147483647 136180 153 | 0.036 % |
50.27/50.35 c | 136633 | 5503 63096 306513 | 2147483647 136629 153 | 0.036 % |
50.57/50.65 c | 137132 | 5503 63096 306513 | 2147483647 137128 154 | 0.036 % |
51.17/51.26 c | 137674 | 5503 63096 306513 | 2147483647 137670 154 | 0.036 % |
51.47/51.54 c | 138271 | 5503 63096 306513 | 2147483647 138267 155 | 0.036 % |
51.87/52.01 c | 138926 | 5503 63096 306513 | 2147483647 138922 156 | 0.037 % |
52.36/52.42 c | 139648 | 5503 63096 306513 | 2147483647 139644 157 | 0.036 % |
52.86/52.98 c | 140441 | 5503 63096 306513 | 2147483647 140437 158 | 0.036 % |
53.36/53.46 c | 141313 | 5503 63096 306513 | 2147483647 141309 159 | 0.036 % |
53.86/53.94 c | 142272 | 5503 63096 306513 | 2147483647 142268 160 | 0.036 % |
54.46/54.54 c | 143325 | 5503 63096 306513 | 2147483647 143321 161 | 0.036 % |
54.86/54.98 c | 144488 | 5503 63096 306513 | 2147483647 144484 162 | 0.036 % |
55.46/55.58 c | 145761 | 5503 63096 306513 | 2147483647 145757 162 | 0.036 % |
55.96/56.09 c | 147162 | 5503 63096 306513 | 2147483647 147158 162 | 0.036 % |
56.56/56.70 c | 148702 | 5503 63096 306513 | 2147483647 148698 163 | 0.036 % |
56.66/56.74 c | 148803 | 5503 63096 306513 | 2147483647 148799 162 | 0.036 % |
56.66/56.78 c | 148913 | 5503 63096 306513 | 2147483647 148909 162 | 0.036 % |
56.75/56.85 c | 149034 | 5503 63096 306513 | 2147483647 149030 162 | 0.036 % |
56.85/56.98 c | 149169 | 5503 63096 306513 | 2147483647 149165 162 | 0.036 % |
56.95/57.10 c | 149316 | 5503 63096 306513 | 2147483647 149312 162 | 0.036 % |
57.05/57.20 c | 149476 | 5503 63096 306513 | 2147483647 149472 162 | 0.036 % |
57.15/57.25 c | 149653 | 5503 63096 306513 | 2147483647 149649 162 | 0.036 % |
57.25/57.34 c | 149853 | 5503 63096 306513 | 2147483647 149849 162 | 0.036 % |
57.45/57.51 c | 150065 | 5503 63096 306513 | 2147483647 150061 162 | 0.036 % |
57.55/57.67 c | 150298 | 5503 63096 306513 | 2147483647 150294 162 | 0.036 % |
57.75/57.81 c | 150555 | 5503 63096 306513 | 2147483647 150551 162 | 0.036 % |
57.95/58.10 c | 150837 | 5503 63096 306513 | 2147483647 150833 163 | 0.036 % |
58.25/58.35 c | 151147 | 5503 63096 306513 | 2147483647 151143 163 | 0.036 % |
58.45/58.57 c | 151487 | 5503 63096 306513 | 2147483647 151483 163 | 0.036 % |
58.75/58.83 c | 151860 | 5503 63096 306513 | 2147483647 151856 163 | 0.036 % |
59.15/59.22 c | 152269 | 5503 63096 306513 | 2147483647 152265 164 | 0.036 % |
59.45/59.57 c | 152718 | 5503 63096 306513 | 2147483647 152714 165 | 0.036 % |
59.65/59.80 c | 153211 | 5503 63096 306513 | 2147483647 153207 165 | 0.036 % |
60.25/60.37 c | 153759 | 5503 63096 306513 | 2147483647 153755 166 | 0.036 % |
60.55/60.64 c | 154360 | 5503 63096 306513 | 2147483647 154356 166 | 0.036 % |
61.05/61.15 c | 155017 | 5503 63096 306513 | 2147483647 155013 166 | 0.036 % |
61.95/62.01 c | 155737 | 5503 63096 306513 | 2147483647 155733 167 | 0.036 % |
62.25/62.37 c | 156529 | 5503 63096 306513 | 2147483647 156525 167 | 0.036 % |
62.65/62.80 c | 157403 | 5503 63096 306513 | 2147483647 157399 167 | 0.036 % |
63.45/63.53 c | 158362 | 5503 63096 306513 | 2147483647 158358 167 | 0.036 % |
64.25/64.31 c | 159415 | 5503 63096 306513 | 2147483647 159411 168 | 0.036 % |
64.95/65.09 c | 160577 | 5503 63096 306513 | 2147483647 160573 169 | 0.036 % |
65.85/65.99 c | 161853 | 5503 63096 306513 | 2147483647 161849 170 | 0.036 % |
66.85/66.96 c | 163253 | 5503 63096 306513 | 2147483647 163249 171 | 0.036 % |
67.75/67.88 c | 164795 | 5503 63096 306513 | 2147483647 164791 173 | 0.036 % |
68.85/68.96 c | 166490 | 5503 63096 306513 | 2147483647 166486 173 | 0.036 % |
68.85/69.00 c | 166593 | 5503 63096 306513 | 2147483647 166589 173 | 0.036 % |
69.05/69.20 c | 166704 | 5503 63096 306513 | 2147483647 166700 173 | 0.036 % |
69.15/69.30 c | 166826 | 5503 63096 306513 | 2147483647 166822 174 | 0.036 % |
69.35/69.41 c | 166960 | 5503 63096 306513 | 2147483647 166956 174 | 0.036 % |
69.35/69.50 c | 167109 | 5503 63096 306513 | 2147483647 167105 174 | 0.036 % |
69.55/69.62 c | 167271 | 5503 63096 306513 | 2147483647 167267 174 | 0.036 % |
69.65/69.71 c | 167448 | 5503 63096 306513 | 2147483647 167444 174 | 0.036 % |
69.75/69.82 c | 167642 | 5503 63096 306513 | 2147483647 167638 174 | 0.036 % |
69.95/70.03 c | 167854 | 5503 63096 306513 | 2147483647 167850 175 | 0.036 % |
70.15/70.24 c | 168087 | 5503 63096 306513 | 2147483647 168083 175 | 0.036 % |
70.35/70.49 c | 168343 | 5503 63096 306513 | 2147483647 168339 175 | 0.036 % |
70.55/70.68 c | 168632 | 5503 63096 306513 | 2147483647 168628 175 | 0.036 % |
70.75/70.87 c | 168941 | 5503 63096 306513 | 2147483647 168937 175 | 0.036 % |
71.05/71.19 c | 169280 | 5503 63096 306513 | 2147483647 169276 175 | 0.036 % |
71.45/71.54 c | 169652 | 5503 63096 306513 | 2147483647 169648 176 | 0.036 % |
71.85/71.96 c | 170062 | 5503 63096 306513 | 2147483647 170058 176 | 0.036 % |
72.25/72.36 c | 170512 | 5503 63096 306513 | 2147483647 170508 177 | 0.036 % |
72.75/72.88 c | 171005 | 5503 63096 306513 | 2147483647 171001 177 | 0.036 % |
73.25/73.36 c | 171548 | 5503 63096 306513 | 2147483647 171544 178 | 0.036 % |
73.75/73.82 c | 172145 | 5503 63096 306513 | 2147483647 172141 179 | 0.036 % |
74.05/74.20 c | 172800 | 5503 63096 306513 | 2147483647 172796 179 | 0.036 % |
74.55/74.69 c | 173521 | 5503 63096 306513 | 2147483647 173517 179 | 0.036 % |
75.15/75.28 c | 174316 | 5503 63096 306513 | 2147483647 174312 179 | 0.036 % |
75.75/75.89 c | 175187 | 5503 63096 306513 | 2147483647 175183 180 | 0.036 % |
76.55/76.61 c | 176145 | 5503 63096 306513 | 2147483647 176141 181 | 0.036 % |
77.55/77.68 c | 177199 | 5503 63096 306513 | 2147483647 177195 181 | 0.036 % |
78.45/78.52 c | 178358 | 5503 63096 306513 | 2147483647 178354 183 | 0.036 % |
79.35/79.46 c | 179633 | 5503 63096 306513 | 2147483647 179629 184 | 0.036 % |
80.45/80.51 c | 181035 | 5503 63096 306513 | 2147483647 181031 185 | 0.036 % |
81.25/81.38 c | 182576 | 5503 63096 306513 | 2147483647 182572 187 | 0.036 % |
82.75/82.84 c | 184271 | 5503 63096 306513 | 2147483647 184267 189 | 0.036 % |
84.45/84.57 c | 186135 | 5503 63096 306513 | 2147483647 186131 189 | 0.036 % |
84.55/84.61 c | 186235 | 5503 63096 306513 | 2147483647 186231 189 | 0.036 % |
84.55/84.68 c | 186349 | 5503 63096 306513 | 2147483647 186345 189 | 0.036 % |
84.65/84.73 c | 186472 | 5503 63096 306513 | 2147483647 186468 189 | 0.036 % |
84.75/84.82 c | 186606 | 5503 63096 306513 | 2147483647 186602 189 | 0.036 % |
84.85/84.96 c | 186753 | 5503 63096 306513 | 2147483647 186749 189 | 0.036 % |
85.05/85.14 c | 186915 | 5503 63096 306513 | 2147483647 186911 189 | 0.036 % |
85.15/85.25 c | 187091 | 5503 63096 306513 | 2147483647 187087 189 | 0.036 % |
85.35/85.42 c | 187285 | 5503 63096 306513 | 2147483647 187281 189 | 0.036 % |
85.55/85.62 c | 187501 | 5503 63096 306513 | 2147483647 187497 189 | 0.036 % |
85.65/85.77 c | 187734 | 5503 63096 306513 | 2147483647 187730 189 | 0.036 % |
85.85/85.98 c | 187992 | 5503 63096 306513 | 2147483647 187988 189 | 0.036 % |
85.95/86.09 c | 188280 | 5503 63096 306513 | 2147483647 188276 189 | 0.036 % |
86.25/86.33 c | 188591 | 5503 63096 306513 | 2147483647 188587 189 | 0.036 % |
86.55/86.61 c | 188936 | 5503 63096 306513 | 2147483647 188932 190 | 0.036 % |
86.75/86.81 c | 189309 | 5503 63096 306513 | 2147483647 189305 190 | 0.036 % |
87.15/87.27 c | 189720 | 5503 63096 306513 | 2147483647 189716 190 | 0.036 % |
87.45/87.55 c | 190171 | 5503 63096 306513 | 2147483647 190167 190 | 0.036 % |
87.85/87.93 c | 190676 | 5503 63096 306513 | 2147483647 190672 190 | 0.036 % |
88.25/88.38 c | 191218 | 5503 63096 306513 | 2147483647 191214 191 | 0.036 % |
88.85/88.93 c | 191817 | 5503 63096 306513 | 2147483647 191813 191 | 0.036 % |
89.45/89.51 c | 192472 | 5503 63096 306513 | 2147483647 192468 191 | 0.036 % |
90.15/90.28 c | 193192 | 5503 63096 306513 | 2147483647 193188 192 | 0.036 % |
90.95/91.10 c | 193989 | 5503 63096 306513 | 2147483647 193985 192 | 0.036 % |
91.75/91.86 c | 194860 | 5503 63096 306513 | 2147483647 194856 193 | 0.036 % |
92.35/92.45 c | 195818 | 5503 63096 306513 | 2147483647 195814 193 | 0.036 % |
93.05/93.17 c | 196871 | 5503 63096 306513 | 2147483647 196867 193 | 0.036 % |
93.95/94.10 c | 198030 | 5503 63096 306513 | 2147483647 198026 193 | 0.036 % |
95.35/95.50 c | 199304 | 5503 63096 306513 | 2147483647 199300 193 | 0.036 % |
96.15/96.26 c | 200705 | 5503 63096 306513 | 2147483647 200701 194 | 0.036 % |
97.15/97.23 c | 202246 | 5503 63096 306513 | 2147483647 202242 194 | 0.036 % |
98.45/98.55 c | 203941 | 5503 63096 306513 | 2147483647 203937 195 | 0.036 % |
99.95/100.06 c | 205806 | 5503 63096 306513 | 2147483647 205802 195 | 0.036 % |
101.65/101.80 c | 207855 | 5503 63096 306513 | 2147483647 207851 195 | 0.036 % |
101.85/101.94 c | 207956 | 5503 63096 306513 | 2147483647 207952 195 | 0.036 % |
101.95/102.03 c | 208066 | 5503 63096 306513 | 2147483647 208062 195 | 0.036 % |
102.05/102.19 c | 208187 | 5503 63096 306513 | 2147483647 208183 195 | 0.036 % |
102.15/102.30 c | 208320 | 5503 63096 306513 | 2147483647 208316 195 | 0.036 % |
102.35/102.41 c | 208467 | 5503 63096 306513 | 2147483647 208463 195 | 0.036 % |
102.45/102.59 c | 208628 | 5503 63096 306513 | 2147483647 208624 195 | 0.036 % |
102.65/102.71 c | 208804 | 5503 63096 306513 | 2147483647 208800 195 | 0.036 % |
102.85/102.91 c | 208999 | 5503 63096 306513 | 2147483647 208995 195 | 0.036 % |
103.05/103.18 c | 209211 | 5503 63096 306513 | 2147483647 209207 195 | 0.036 % |
103.25/103.34 c | 209445 | 5503 63096 306513 | 2147483647 209441 195 | 0.036 % |
103.55/103.63 c | 209701 | 5503 63096 306513 | 2147483647 209697 195 | 0.036 % |
103.65/103.78 c | 209983 | 5503 63096 306513 | 2147483647 209979 195 | 0.036 % |
103.95/104.02 c | 210292 | 5503 63096 306513 | 2147483647 210288 195 | 0.036 % |
104.15/104.25 c | 210633 | 5503 63096 306513 | 2147483647 210629 195 | 0.036 % |
104.35/104.46 c | 211006 | 5503 63096 306513 | 2147483647 211002 195 | 0.036 % |
104.65/104.80 c | 211416 | 5503 63096 306513 | 2147483647 211412 195 | 0.036 % |
105.05/105.13 c | 211869 | 5503 63096 306513 | 2147483647 211865 195 | 0.036 % |
105.35/105.47 c | 212363 | 5503 63096 306513 | 2147483647 212359 196 | 0.036 % |
105.75/105.83 c | 212906 | 5503 63096 306513 | 2147483647 212902 196 | 0.036 % |
106.45/106.56 c | 213504 | 5503 63096 306513 | 2147483647 213500 196 | 0.036 % |
106.85/106.97 c | 214160 | 5503 63096 306513 | 2147483647 214156 197 | 0.036 % |
107.35/107.42 c | 214880 | 5503 63096 306513 | 2147483647 214876 197 | 0.036 % |
107.76/107.82 c | 215673 | 5503 63096 306513 | 2147483647 215669 197 | 0.036 % |
108.45/108.56 c | 216544 | 5503 63096 306513 | 2147483647 216540 197 | 0.036 % |
109.15/109.29 c | 217502 | 5503 63096 306513 | 2147483647 217498 197 | 0.036 % |
110.45/110.59 c | 218557 | 5503 63096 306513 | 2147483647 218553 197 | 0.036 % |
112.45/112.54 c | 219716 | 5503 63096 306513 | 2147483647 219712 198 | 0.036 % |
113.85/113.97 c | 220989 | 5503 63096 306513 | 2147483647 220985 199 | 0.036 % |
115.35/115.47 c | 222392 | 5503 63096 306513 | 2147483647 222388 199 | 0.036 % |
117.05/117.17 c | 223935 | 5503 63096 306513 | 2147483647 223931 199 | 0.036 % |
118.85/118.98 c | 225632 | 5503 63096 306513 | 2147483647 225628 199 | 0.036 % |
121.15/121.23 c | 227495 | 5503 63096 306513 | 2147483647 227491 200 | 0.036 % |
122.65/122.77 c | 229545 | 5503 63096 306513 | 2147483647 229541 200 | 0.036 % |
123.95/124.10 c | 231798 | 5503 63096 306513 | 2147483647 231794 199 | 0.036 % |
124.05/124.14 c | 231898 | 5503 63096 306513 | 2147483647 231894 199 | 0.036 % |
124.05/124.19 c | 232008 | 5503 63096 306513 | 2147483647 232004 199 | 0.036 % |
124.26/124.34 c | 232129 | 5503 63096 306513 | 2147483647 232125 199 | 0.036 % |
124.35/124.42 c | 232263 | 5503 63096 306513 | 2147483647 232259 199 | 0.036 % |
124.35/124.47 c | 232409 | 5503 63096 306513 | 2147483647 232405 199 | 0.036 % |
124.45/124.57 c | 232570 | 5503 63096 306513 | 2147483647 232566 199 | 0.036 % |
124.55/124.67 c | 232746 | 5503 63096 306513 | 2147483647 232742 199 | 0.036 % |
124.65/124.74 c | 232941 | 5503 63096 306513 | 2147483647 232937 199 | 0.036 % |
124.75/124.86 c | 233153 | 5503 63096 306513 | 2147483647 233149 199 | 0.036 % |
124.85/125.00 c | 233386 | 5503 63096 306513 | 2147483647 233382 199 | 0.036 % |
124.95/125.10 c | 233644 | 5503 63096 306513 | 2147483647 233640 199 | 0.036 % |
125.15/125.26 c | 233928 | 5503 63096 306513 | 2147483647 233924 198 | 0.036 % |
125.25/125.37 c | 234239 | 5503 63096 306513 | 2147483647 234235 198 | 0.036 % |
125.55/125.62 c | 234580 | 5503 63096 306513 | 2147483647 234576 198 | 0.036 % |
125.75/125.82 c | 234955 | 5503 63096 306513 | 2147483647 234951 198 | 0.036 % |
125.95/126.10 c | 235365 | 5503 63096 306513 | 2147483647 235361 198 | 0.036 % |
126.25/126.39 c | 235814 | 5503 63096 306513 | 2147483647 235810 198 | 0.036 % |
126.55/126.70 c | 236309 | 5503 63096 306513 | 2147483647 236305 198 | 0.036 % |
126.85/126.95 c | 236854 | 5503 63096 306513 | 2147483647 236850 198 | 0.036 % |
127.05/127.12 c | 237450 | 5503 63096 306513 | 2147483647 237446 198 | 0.037 % |
127.35/127.40 c | 238105 | 5503 63096 306513 | 2147483647 238101 198 | 0.036 % |
127.75/127.86 c | 238825 | 5503 63096 306513 | 2147483647 238821 198 | 0.036 % |
128.05/128.20 c | 239622 | 5503 63096 306513 | 2147483647 239618 198 | 0.037 % |
128.45/128.57 c | 240497 | 5503 63096 306513 | 2147483647 240493 199 | 0.036 % |
129.05/129.14 c | 241458 | 5503 63096 306513 | 2147483647 241454 199 | 0.036 % |
129.55/129.63 c | 242512 | 5503 63096 306513 | 2147483647 242508 199 | 0.036 % |
130.86/130.94 c | 243671 | 5503 63096 306513 | 2147483647 243667 199 | 0.036 % |
131.85/132.00 c | 244945 | 5503 63096 306513 | 2147483647 244941 199 | 0.036 % |
133.45/133.60 c | 246345 | 5503 63096 306513 | 2147483647 246341 200 | 0.036 % |
135.65/135.74 c | 247885 | 5503 63096 306513 | 2147483647 247881 202 | 0.036 % |
139.45/139.60 c | 249585 | 5503 63096 306513 | 2147483647 249581 204 | 0.036 % |
141.55/141.61 c | 251448 | 5503 63096 306513 | 2147483647 251444 206 | 0.036 % |
144.35/144.45 c | 253497 | 5503 63096 306513 | 2147483647 253493 208 | 0.036 % |
147.15/147.27 c | 255754 | 5503 63096 306513 | 2147483647 255750 210 | 0.036 % |
149.15/149.24 c | 258234 | 5503 63096 306513 | 2147483647 258230 211 | 0.036 % |
149.25/149.39 c | 258336 | 5503 63096 306513 | 2147483647 258332 211 | 0.036 % |
149.35/149.50 c | 258447 | 5503 63096 306513 | 2147483647 258443 211 | 0.036 % |
149.65/149.76 c | 258569 | 5503 63096 306513 | 2147483647 258565 211 | 0.036 % |
150.05/150.17 c | 258712 | 5503 63096 306513 | 2147483647 258708 211 | 0.036 % |
150.25/150.37 c | 258860 | 5503 63096 306513 | 2147483647 258856 212 | 0.036 % |
150.45/150.59 c | 259024 | 5503 63096 306513 | 2147483647 259020 212 | 0.036 % |
150.95/151.01 c | 259202 | 5503 63096 306513 | 2147483647 259198 212 | 0.036 % |
151.25/151.36 c | 259396 | 5503 63096 306513 | 2147483647 259392 212 | 0.036 % |
151.55/151.69 c | 259614 | 5503 63096 306513 | 2147483647 259610 212 | 0.036 % |
151.85/151.97 c | 259847 | 5503 63096 306513 | 2147483647 259843 212 | 0.036 % |
152.25/152.35 c | 260105 | 5503 63096 306513 | 2147483647 260101 212 | 0.036 % |
152.55/152.70 c | 260386 | 5503 63096 306513 | 2147483647 260382 213 | 0.036 % |
153.05/153.16 c | 260697 | 5503 63096 306513 | 2147483647 260693 213 | 0.036 % |
153.45/153.51 c | 261036 | 5503 63096 306513 | 2147483647 261032 213 | 0.036 % |
153.75/153.83 c | 261411 | 5503 63096 306513 | 2147483647 261407 213 | 0.036 % |
154.05/154.20 c | 261820 | 5503 63096 306513 | 2147483647 261816 213 | 0.036 % |
154.35/154.49 c | 262269 | 5503 63096 306513 | 2147483647 262265 213 | 0.036 % |
154.96/155.05 c | 262764 | 5503 63096 306513 | 2147483647 262760 213 | 0.036 % |
155.26/155.38 c | 263307 | 5503 63096 306513 | 2147483647 263303 213 | 0.036 % |
155.46/155.57 c | 263907 | 5503 63096 306513 | 2147483647 263903 213 | 0.036 % |
155.76/155.89 c | 264562 | 5503 63096 306513 | 2147483647 264558 213 | 0.036 % |
156.16/156.25 c | 265283 | 5503 63096 306513 | 2147483647 265279 213 | 0.036 % |
156.76/156.90 c | 266076 | 5503 63096 306513 | 2147483647 266072 213 | 0.036 % |
157.76/157.90 c | 266947 | 5503 63096 306513 | 2147483647 266943 212 | 0.036 % |
158.56/158.68 c | 267905 | 5503 63096 306513 | 2147483647 267901 212 | 0.036 % |
159.06/159.21 c | 268958 | 5503 63096 306513 | 2147483647 268954 213 | 0.036 % |
159.86/160.01 c | 270118 | 5503 63096 306513 | 2147483647 270114 213 | 0.036 % |
160.86/161.00 c | 271394 | 5503 63096 306513 | 2147483647 271390 213 | 0.036 % |
162.06/162.15 c | 272795 | 5503 63096 306513 | 2147483647 272791 213 | 0.036 % |
164.26/164.35 c | 274335 | 5503 63096 306513 | 2147483647 274331 214 | 0.036 % |
166.16/166.29 c | 276029 | 5503 63096 306513 | 2147483647 276025 215 | 0.036 % |
168.46/168.53 c | 277893 | 5503 63096 306513 | 2147483647 277889 217 | 0.036 % |
170.46/170.53 c | 279942 | 5503 63096 306513 | 2147483647 279938 217 | 0.036 % |
173.26/173.40 c | 282195 | 5503 63096 306513 | 2147483647 282191 218 | 0.036 % |
176.06/176.13 c | 284673 | 5503 63096 306513 | 2147483647 284669 219 | 0.036 % |
179.76/179.85 c | 287400 | 5503 63096 306513 | 2147483647 287396 220 | 0.036 % |
179.96/180.03 c | 287502 | 5503 63096 306513 | 2147483647 287498 221 | 0.036 % |
180.16/180.29 c | 287613 | 5503 63096 306513 | 2147483647 287609 221 | 0.036 % |
180.36/180.46 c | 287734 | 5503 63096 306513 | 2147483647 287730 221 | 0.036 % |
180.56/180.67 c | 287868 | 5503 63096 306513 | 2147483647 287864 221 | 0.036 % |
180.76/180.86 c | 288014 | 5503 63096 306513 | 2147483647 288010 221 | 0.036 % |
181.06/181.15 c | 288174 | 5503 63096 306513 | 2147483647 288170 221 | 0.036 % |
181.26/181.37 c | 288350 | 5503 63096 306513 | 2147483647 288346 221 | 0.036 % |
181.46/181.59 c | 288543 | 5503 63096 306513 | 2147483647 288539 221 | 0.036 % |
181.76/181.84 c | 288755 | 5503 63096 306513 | 2147483647 288751 221 | 0.036 % |
182.46/182.57 c | 288991 | 5503 63096 306513 | 2147483647 288987 221 | 0.036 % |
182.86/182.96 c | 289251 | 5503 63096 306513 | 2147483647 289247 221 | 0.036 % |
183.26/183.37 c | 289532 | 5503 63096 306513 | 2147483647 289528 221 | 0.036 % |
183.66/183.77 c | 289843 | 5503 63096 306513 | 2147483647 289839 221 | 0.036 % |
183.86/183.94 c | 290182 | 5503 63096 306513 | 2147483647 290178 221 | 0.036 % |
184.36/184.48 c | 290554 | 5503 63096 306513 | 2147483647 290550 221 | 0.036 % |
185.46/185.59 c | 290963 | 5503 63096 306513 | 2147483647 290959 221 | 0.036 % |
186.26/186.35 c | 291413 | 5503 63096 306513 | 2147483647 291409 222 | 0.036 % |
186.96/187.04 c | 291908 | 5503 63096 306513 | 2147483647 291904 222 | 0.036 % |
187.36/187.48 c | 292450 | 5503 63096 306513 | 2147483647 292446 222 | 0.036 % |
188.16/188.25 c | 293049 | 5503 63096 306513 | 2147483647 293045 222 | 0.036 % |
189.06/189.16 c | 293710 | 5503 63096 306513 | 2147483647 293706 223 | 0.036 % |
190.06/190.21 c | 294434 | 5503 63096 306513 | 2147483647 294430 223 | 0.036 % |
191.06/191.14 c | 295226 | 5503 63096 306513 | 2147483647 295222 223 | 0.036 % |
192.06/192.14 c | 296097 | 5503 63096 306513 | 2147483647 296093 223 | 0.036 % |
192.86/192.98 c | 297058 | 5503 63096 306513 | 2147483647 297054 223 | 0.036 % |
194.56/194.63 c | 298112 | 5503 63096 306513 | 2147483647 298108 224 | 0.036 % |
196.26/196.39 c | 299271 | 5503 63096 306513 | 2147483647 299267 225 | 0.036 % |
198.26/198.40 c | 300553 | 5503 63096 306513 | 2147483647 300549 226 | 0.036 % |
200.86/200.99 c | 301957 | 5503 63096 306513 | 2147483647 301953 228 | 0.036 % |
203.86/203.93 c | 303499 | 5503 63096 306513 | 2147483647 303495 229 | 0.036 % |
205.86/205.96 c | 305196 | 5503 63096 306513 | 2147483647 305192 231 | 0.036 % |
209.06/209.14 c | 307062 | 5503 63096 306513 | 2147483647 307058 233 | 0.036 % |
211.66/211.75 c | 309112 | 5503 63096 306513 | 2147483647 309108 234 | 0.036 % |
214.56/214.65 c | 311365 | 5503 63096 306513 | 2147483647 311361 236 | 0.036 % |
219.46/219.60 c | 313843 | 5503 63096 306513 | 2147483647 313839 237 | 0.036 % |
223.96/224.03 c | 316576 | 5503 63096 306513 | 2147483647 316572 240 | 0.036 % |
231.06/231.15 c | 319574 | 5503 63096 306513 | 2147483647 319570 243 | 0.036 % |
231.26/231.35 c | 319677 | 5503 63096 306513 | 2147483647 319673 243 | 0.036 % |
231.56/231.61 c | 319788 | 5503 63096 306513 | 2147483647 319784 243 | 0.036 % |
231.76/231.85 c | 319910 | 5503 63096 306513 | 2147483647 319906 243 | 0.036 % |
231.96/232.03 c | 320043 | 5503 63096 306513 | 2147483647 320039 243 | 0.036 % |
232.16/232.27 c | 320189 | 5503 63096 306513 | 2147483647 320185 243 | 0.036 % |
232.36/232.47 c | 320350 | 5503 63096 306513 | 2147483647 320346 243 | 0.036 % |
232.66/232.79 c | 320535 | 5503 63096 306513 | 2147483647 320531 243 | 0.036 % |
232.96/233.06 c | 320728 | 5503 63096 306513 | 2147483647 320724 243 | 0.036 % |
233.06/233.19 c | 320941 | 5503 63096 306513 | 2147483647 320937 243 | 0.036 % |
233.26/233.32 c | 321175 | 5503 63096 306513 | 2147483647 321171 243 | 0.036 % |
233.76/233.84 c | 321431 | 5503 63096 306513 | 2147483647 321427 243 | 0.036 % |
234.16/234.23 c | 321714 | 5503 63096 306513 | 2147483647 321710 243 | 0.036 % |
234.66/234.79 c | 322032 | 5503 63096 306513 | 2147483647 322028 243 | 0.036 % |
235.56/235.64 c | 322379 | 5503 63096 306513 | 2147483647 322375 243 | 0.036 % |
236.06/236.16 c | 322753 | 5503 63096 306513 | 2147483647 322749 243 | 0.036 % |
236.56/236.65 c | 323162 | 5503 63096 306513 | 2147483647 323158 243 | 0.036 % |
237.26/237.38 c | 323611 | 5503 63096 306513 | 2147483647 323607 243 | 0.036 % |
237.96/238.10 c | 324104 | 5503 63096 306513 | 2147483647 324100 243 | 0.036 % |
238.67/238.78 c | 324649 | 5503 63096 306513 | 2147483647 324645 243 | 0.036 % |
240.56/240.67 c | 325251 | 5503 63096 306513 | 2147483647 325247 243 | 0.036 % |
242.26/242.37 c | 325907 | 5503 63096 306513 | 2147483647 325903 244 | 0.036 % |
244.06/244.16 c | 326629 | 5503 63096 306513 | 2147483647 326625 244 | 0.036 % |
245.56/245.70 c | 327421 | 5503 63096 306513 | 2147483647 327417 245 | 0.036 % |
247.36/247.51 c | 328297 | 5503 63096 306513 | 2147483647 328293 246 | 0.036 % |
248.76/248.89 c | 329255 | 5503 63096 306513 | 2147483647 329251 247 | 0.036 % |
250.56/250.71 c | 330308 | 5503 63096 306513 | 2147483647 330304 247 | 0.036 % |
252.97/253.04 c | 331470 | 5503 63096 306513 | 2147483647 331466 248 | 0.036 % |
254.76/254.87 c | 332743 | 5503 63096 306513 | 2147483647 332739 249 | 0.036 % |
256.96/257.01 c | 334143 | 5503 63096 306513 | 2147483647 334139 250 | 0.036 % |
259.16/259.22 c | 335696 | 5503 63096 306513 | 2147483647 335692 250 | 0.036 % |
261.56/261.69 c | 337391 | 5503 63096 306513 | 2147483647 337387 250 | 0.036 % |
263.66/263.79 c | 339257 | 5503 63096 306513 | 2147483647 339253 251 | 0.036 % |
267.27/267.32 c | 341306 | 5503 63096 306513 | 2147483647 341302 251 | 0.036 % |
270.96/271.09 c | 343560 | 5503 63096 306513 | 2147483647 343556 251 | 0.036 % |
274.97/275.07 c | 346038 | 5503 63096 306513 | 2147483647 346034 250 | 0.036 % |
278.16/278.30 c | 348763 | 5503 63096 306513 | 2147483647 348759 250 | 0.036 % |
281.67/281.80 c | 351762 | 5503 63096 306513 | 2147483647 351758 249 | 0.036 % |
284.07/284.19 c | 355059 | 5503 63096 306513 | 2147483647 355055 249 | 0.036 % |
284.17/284.29 c | 355159 | 5503 63096 306513 | 2147483647 355155 249 | 0.036 % |
284.27/284.38 c | 355277 | 5503 63096 306513 | 2147483647 355273 249 | 0.036 % |
284.47/284.52 c | 355398 | 5503 63096 306513 | 2147483647 355394 249 | 0.036 % |
284.57/284.63 c | 355534 | 5503 63096 306513 | 2147483647 355530 249 | 0.036 % |
284.67/284.74 c | 355680 | 5503 63096 306513 | 2147483647 355676 249 | 0.036 % |
284.97/285.02 c | 355841 | 5503 63096 306513 | 2147483647 355837 248 | 0.036 % |
285.07/285.17 c | 356018 | 5503 63096 306513 | 2147483647 356014 248 | 0.036 % |
285.37/285.46 c | 356212 | 5503 63096 306513 | 2147483647 356208 248 | 0.036 % |
285.57/285.67 c | 356424 | 5503 63096 306513 | 2147483647 356420 248 | 0.036 % |
285.77/285.83 c | 356660 | 5503 63096 306513 | 2147483647 356656 248 | 0.036 % |
286.37/286.50 c | 356917 | 5503 63096 306513 | 2147483647 356913 248 | 0.036 % |
286.77/286.83 c | 357198 | 5503 63096 306513 | 2147483647 357194 248 | 0.036 % |
286.87/286.96 c | 357507 | 5503 63096 306513 | 2147483647 357503 248 | 0.036 % |
287.37/287.47 c | 357846 | 5503 63096 306513 | 2147483647 357842 248 | 0.036 % |
287.77/287.88 c | 358218 | 5503 63096 306513 | 2147483647 358214 248 | 0.036 % |
288.27/288.39 c | 358628 | 5503 63096 306513 | 2147483647 358624 248 | 0.036 % |
288.87/288.94 c | 359077 | 5503 63096 306513 | 2147483647 359073 248 | 0.036 % |
289.07/289.20 c | 359573 | 5503 63096 306513 | 2147483647 359569 247 | 0.036 % |
290.27/290.41 c | 360118 | 5503 63096 306513 | 2147483647 360114 247 | 0.036 % |
291.27/291.39 c | 360715 | 5503 63096 306513 | 2147483647 360711 247 | 0.036 % |
292.27/292.41 c | 361370 | 5503 63096 306513 | 2147483647 361366 247 | 0.036 % |
293.17/293.26 c | 362090 | 5503 63096 306513 | 2147483647 362086 247 | 0.036 % |
294.27/294.35 c | 362882 | 5503 63096 306513 | 2147483647 362878 247 | 0.036 % |
295.17/295.30 c | 363757 | 5503 63096 306513 | 2147483647 363753 247 | 0.036 % |
296.37/296.46 c | 364715 | 5503 63096 306513 | 2147483647 364711 246 | 0.036 % |
297.47/297.54 c | 365770 | 5503 63096 306513 | 2147483647 365766 246 | 0.036 % |
298.47/298.54 c | 366928 | 5503 63096 306513 | 2147483647 366924 246 | 0.036 % |
298.97/299.08 c | 368202 | 5503 63096 306513 | 2147483647 368198 246 | 0.036 % |
300.07/300.17 c | 369602 | 5503 63096 306513 | 2147483647 369598 246 | 0.037 % |
301.27/301.39 c | 371143 | 5503 63096 306513 | 2147483647 371139 245 | 0.036 % |
303.07/303.16 c | 372838 | 5503 63096 306513 | 2147483647 372834 245 | 0.037 % |
304.37/304.50 c | 374701 | 5503 63096 306513 | 2147483647 374697 245 | 0.037 % |
306.17/306.25 c | 376750 | 5503 63096 306513 | 2147483647 376746 245 | 0.037 % |
308.77/308.85 c | 379004 | 5503 63096 306513 | 2147483647 379000 246 | 0.037 % |
310.87/310.98 c | 381489 | 5503 63096 306513 | 2147483647 381485 245 | 0.036 % |
316.47/316.56 c | 384214 | 5503 63096 306513 | 2147483647 384210 245 | 0.036 % |
320.97/321.11 c | 387211 | 5503 63096 306513 | 2147483647 387207 247 | 0.036 % |
324.77/324.87 c | 390507 | 5503 63096 306513 | 2147483647 390503 248 | 0.036 % |
334.87/334.98 c | 394140 | 5503 63096 306513 | 2147483647 394136 251 | 0.036 % |
335.37/335.43 c | 394240 | 5503 63096 306513 | 2147483647 394236 251 | 0.036 % |
335.57/335.71 c | 394352 | 5503 63096 306513 | 2147483647 394348 251 | 0.036 % |
335.87/336.01 c | 394475 | 5503 63096 306513 | 2147483647 394471 251 | 0.036 % |
336.17/336.24 c | 394609 | 5503 63096 306513 | 2147483647 394605 251 | 0.036 % |
336.47/336.53 c | 394757 | 5503 63096 306513 | 2147483647 394753 251 | 0.036 % |
336.77/336.90 c | 394917 | 5503 63096 306513 | 2147483647 394913 251 | 0.036 % |
337.07/337.17 c | 395093 | 5503 63096 306513 | 2147483647 395089 251 | 0.036 % |
337.37/337.47 c | 395287 | 5503 63096 306513 | 2147483647 395283 251 | 0.036 % |
337.67/337.73 c | 395500 | 5503 63096 306513 | 2147483647 395496 251 | 0.036 % |
337.87/337.98 c | 395734 | 5503 63096 306513 | 2147483647 395730 251 | 0.036 % |
338.77/338.88 c | 395993 | 5503 63096 306513 | 2147483647 395989 251 | 0.036 % |
339.37/339.45 c | 396274 | 5503 63096 306513 | 2147483647 396270 251 | 0.036 % |
340.07/340.19 c | 396583 | 5503 63096 306513 | 2147483647 396579 251 | 0.036 % |
340.47/340.56 c | 396922 | 5503 63096 306513 | 2147483647 396918 251 | 0.036 % |
341.07/341.12 c | 397294 | 5503 63096 306513 | 2147483647 397290 251 | 0.036 % |
341.77/341.82 c | 397707 | 5503 63096 306513 | 2147483647 397703 251 | 0.036 % |
342.27/342.38 c | 398156 | 5503 63096 306513 | 2147483647 398152 251 | 0.036 % |
342.77/342.90 c | 398651 | 5503 63096 306513 | 2147483647 398647 251 | 0.036 % |
343.27/343.39 c | 399194 | 5503 63096 306513 | 2147483647 399190 250 | 0.036 % |
343.97/344.04 c | 399791 | 5503 63096 306513 | 2147483647 399787 250 | 0.036 % |
345.77/345.82 c | 400446 | 5503 63096 306513 | 399999 346745 242 | 0.037 % |
346.57/346.64 c | 401168 | 5503 63096 306513 | 399999 347467 242 | 0.036 % |
347.37/347.51 c | 401960 | 5503 63096 306513 | 399999 348259 242 | 0.037 % |
348.27/348.38 c | 402842 | 5503 63096 306513 | 399999 349141 242 | 0.037 % |
349.47/349.54 c | 403808 | 5503 63096 306513 | 399999 350107 242 | 0.036 % |
350.67/350.78 c | 404863 | 5503 63096 306513 | 399999 351162 242 | 0.037 % |
351.77/351.89 c | 406024 | 5503 63096 306513 | 399999 352323 242 | 0.037 % |
354.27/354.39 c | 407302 | 5503 63096 306513 | 399999 353601 242 | 0.036 % |
355.07/355.14 c | 408702 | 5503 63096 306513 | 399999 355001 242 | 0.036 % |
356.27/356.37 c | 410243 | 5503 63096 306513 | 356299 356542 242 | 0.036 % |
359.27/359.32 c | 411938 | 5503 63096 306513 | 356299 304331 254 | 0.036 % |
361.57/361.62 c | 413804 | 5503 63096 306513 | 356299 306197 254 | 0.036 % |
363.77/363.83 c | 415860 | 5503 63096 306513 | 356299 308253 254 | 0.036 % |
366.47/366.59 c | 418113 | 5503 63096 306513 | 356299 310506 254 | 0.036 % |
370.77/370.90 c | 420595 | 5503 63096 306513 | 2147483647 312988 254 | 0.036 % |
374.07/374.12 c | 423320 | 5503 63096 306513 | 2147483647 315713 254 | 0.036 % |
377.28/377.40 c | 426317 | 5503 63096 306513 | 2147483647 318710 253 | 0.036 % |
380.37/380.44 c | 429613 | 5503 63096 306513 | 2147483647 322006 253 | 0.036 % |
383.88/383.93 c | 433238 | 5503 63096 306513 | 2147483647 325631 255 | 0.036 % |
388.87/388.93 c | 437225 | 5503 63096 306513 | 2147483647 329618 254 | 0.036 % |
388.87/389.01 c | 437326 | 5503 63096 306513 | 2147483647 329719 254 | 0.036 % |
388.97/389.07 c | 437440 | 5503 63096 306513 | 2147483647 329833 254 | 0.036 % |
389.07/389.15 c | 437562 | 5503 63096 306513 | 2147483647 329955 254 | 0.036 % |
389.38/389.43 c | 437696 | 5503 63096 306513 | 2147483647 330089 254 | 0.036 % |
389.67/389.73 c | 437842 | 5503 63096 306513 | 2147483647 330235 254 | 0.036 % |
389.97/390.08 c | 438002 | 5503 63096 306513 | 2147483647 330395 254 | 0.036 % |
390.37/390.47 c | 438178 | 5503 63096 306513 | 2147483647 330571 254 | 0.036 % |
390.67/390.74 c | 438371 | 5503 63096 306513 | 2147483647 330764 254 | 0.036 % |
391.17/391.30 c | 438586 | 5503 63096 306513 | 2147483647 330979 254 | 0.036 % |
391.67/391.80 c | 438824 | 5503 63096 306513 | 2147483647 331217 254 | 0.036 % |
392.07/392.14 c | 439080 | 5503 63096 306513 | 2147483647 331473 254 | 0.036 % |
392.47/392.59 c | 439361 | 5503 63096 306513 | 2147483647 331754 254 | 0.036 % |
393.07/393.13 c | 439672 | 5503 63096 306513 | 2147483647 332065 254 | 0.036 % |
393.57/393.61 c | 440012 | 5503 63096 306513 | 2147483647 332405 254 | 0.036 % |
393.97/394.06 c | 440384 | 5503 63096 306513 | 2147483647 332777 254 | 0.036 % |
394.37/394.45 c | 440796 | 5503 63096 306513 | 2147483647 333189 254 | 0.036 % |
395.07/395.13 c | 441245 | 5503 63096 306513 | 2147483647 333638 254 | 0.036 % |
395.77/395.83 c | 441742 | 5503 63096 306513 | 2147483647 334135 254 | 0.036 % |
396.47/396.58 c | 442284 | 5503 63096 306513 | 2147483647 334677 254 | 0.036 % |
397.87/398.00 c | 442884 | 5503 63096 306513 | 2147483647 335277 254 | 0.036 % |
398.87/398.96 c | 443541 | 5503 63096 306513 | 2147483647 335934 254 | 0.036 % |
399.87/399.93 c | 444262 | 5503 63096 306513 | 2147483647 336655 254 | 0.036 % |
400.77/400.87 c | 445055 | 5503 63096 306513 | 2147483647 337448 254 | 0.036 % |
402.87/402.93 c | 445927 | 5503 63096 306513 | 2147483647 338320 255 | 0.036 % |
405.27/405.35 c | 446885 | 5503 63096 306513 | 2147483647 339278 255 | 0.036 % |
407.88/407.96 c | 447942 | 5503 63096 306513 | 2147483647 340335 256 | 0.036 % |
410.08/410.16 c | 449100 | 5503 63096 306513 | 2147483647 341493 257 | 0.036 % |
412.37/412.43 c | 450373 | 5503 63096 306513 | 342393 342766 257 | 0.036 % |
414.67/414.79 c | 451773 | 5503 63096 306513 | 342393 298208 261 | 0.036 % |
418.17/418.30 c | 453313 | 5503 63096 306513 | 342393 299748 262 | 0.036 % |
422.17/422.30 c | 455007 | 5503 63096 306513 | 342393 301442 263 | 0.036 % |
426.27/426.35 c | 456870 | 5503 63096 306513 | 342393 303305 265 | 0.036 % |
433.07/433.19 c | 458921 | 5503 63096 306513 | 342393 305356 267 | 0.036 % |
437.67/437.71 c | 461174 | 5503 63096 306513 | 306440 275205 255 | 0.036 % |
440.87/440.98 c | 463653 | 5503 63096 306513 | 306440 277684 256 | 0.036 % |
444.47/444.55 c | 466380 | 5503 63096 306513 | 306440 280411 257 | 0.036 % |
447.87/447.92 c | 469382 | 5503 63096 306513 | 306440 283413 258 | 0.036 % |
457.67/457.77 c | 472678 | 5503 63096 306513 | 2147483647 286709 262 | 0.036 % |
466.27/466.38 c | 476304 | 5503 63096 306513 | 2147483647 290335 266 | 0.036 % |
473.07/473.19 c | 480295 | 5503 63096 306513 | 2147483647 294326 269 | 0.036 % |
481.27/481.39 c | 484681 | 5503 63096 306513 | 2147483647 298712 271 | 0.036 % |
481.47/481.59 c | 484781 | 5503 63096 306513 | 2147483647 298812 271 | 0.036 % |
481.67/481.80 c | 484891 | 5503 63096 306513 | 2147483647 298922 271 | 0.036 % |
482.07/482.14 c | 485013 | 5503 63096 306513 | 2147483647 299044 271 | 0.036 % |
482.47/482.53 c | 485147 | 5503 63096 306513 | 2147483647 299178 271 | 0.036 % |
482.77/482.82 c | 485297 | 5503 63096 306513 | 2147483647 299328 271 | 0.036 % |
483.27/483.37 c | 485459 | 5503 63096 306513 | 2147483647 299490 272 | 0.036 % |
483.67/483.78 c | 485635 | 5503 63096 306513 | 2147483647 299666 272 | 0.036 % |
484.27/484.37 c | 485836 | 5503 63096 306513 | 2147483647 299867 272 | 0.036 % |
484.77/484.89 c | 486048 | 5503 63096 306513 | 2147483647 300079 272 | 0.036 % |
485.37/485.41 c | 486281 | 5503 63096 306513 | 2147483647 300312 272 | 0.036 % |
486.07/486.14 c | 486540 | 5503 63096 306513 | 2147483647 300571 273 | 0.036 % |
486.57/486.68 c | 486821 | 5503 63096 306513 | 2147483647 300852 273 | 0.036 % |
487.17/487.22 c | 487130 | 5503 63096 306513 | 2147483647 301161 273 | 0.036 % |
487.77/487.87 c | 487470 | 5503 63096 306513 | 2147483647 301501 273 | 0.036 % |
488.57/488.68 c | 487847 | 5503 63096 306513 | 2147483647 301878 274 | 0.036 % |
489.48/489.58 c | 488261 | 5503 63096 306513 | 2147483647 302292 274 | 0.036 % |
490.87/490.93 c | 488714 | 5503 63096 306513 | 2147483647 302745 274 | 0.036 % |
492.27/492.32 c | 489209 | 5503 63096 306513 | 2147483647 303240 275 | 0.036 % |
493.27/493.34 c | 489757 | 5503 63096 306513 | 2147483647 303788 275 | 0.036 % |
494.37/494.49 c | 490353 | 5503 63096 306513 | 2147483647 304384 276 | 0.036 % |
495.77/495.86 c | 491010 | 5503 63096 306513 | 2147483647 305041 276 | 0.036 % |
496.57/496.67 c | 491737 | 5503 63096 306513 | 2147483647 305768 276 | 0.036 % |
498.97/499.09 c | 492530 | 5503 63096 306513 | 2147483647 306561 277 | 0.036 % |
500.77/500.82 c | 493401 | 5503 63096 306513 | 2147483647 307432 277 | 0.036 % |
502.47/502.56 c | 494364 | 5503 63096 306513 | 2147483647 308395 277 | 0.036 % |
503.78/503.82 c | 495417 | 5503 63096 306513 | 2147483647 309448 277 | 0.036 % |
504.37/504.44 c | 496575 | 5503 63096 306513 | 2147483647 310606 277 | 0.036 % |
505.98/506.10 c | 497849 | 5503 63096 306513 | 2147483647 311880 276 | 0.036 % |
508.87/508.95 c | 499250 | 5503 63096 306513 | 2147483647 313281 277 | 0.036 % |
510.47/510.57 c | 500790 | 5503 63096 306513 | 2147483647 314821 277 | 0.036 % |
513.27/513.35 c | 502487 | 5503 63096 306513 | 2147483647 316518 278 | 0.036 % |
515.77/515.84 c | 504351 | 5503 63096 306513 | 2147483647 318382 278 | 0.036 % |
518.37/518.50 c | 506405 | 5503 63096 306513 | 2147483647 320436 279 | 0.036 % |
527.77/527.87 c | 508662 | 5503 63096 306513 | 2147483647 322693 281 | 0.036 % |
534.28/534.37 c | 511141 | 5503 63096 306513 | 324032 325172 282 | 0.036 % |
542.38/542.47 c | 513873 | 5503 63096 306513 | 324032 277833 279 | 0.036 % |
548.88/548.93 c | 516870 | 5503 63096 306513 | 324032 280830 281 | 0.036 % |
557.58/557.65 c | 520176 | 5503 63096 306513 | 2147483647 284136 284 | 0.036 % |
567.18/567.27 c | 523805 | 5503 63096 306513 | 2147483647 287765 288 | 0.036 % |
578.28/578.34 c | 527792 | 5503 63096 306513 | 2147483647 291752 290 | 0.036 % |
582.68/582.80 c | 532177 | 5503 63096 306513 | 2147483647 296137 290 | 0.036 % |
588.78/588.86 c | 537001 | 5503 63096 306513 | 2147483647 300961 291 | 0.036 % |
588.98/589.04 c | 537109 | 5503 63096 306513 | 2147483647 301069 291 | 0.036 % |
589.08/589.17 c | 537219 | 5503 63096 306513 | 2147483647 301179 291 | 0.036 % |
589.28/589.38 c | 537340 | 5503 63096 306513 | 2147483647 301300 291 | 0.036 % |
589.48/589.59 c | 537473 | 5503 63096 306513 | 2147483647 301433 291 | 0.036 % |
589.68/589.78 c | 537621 | 5503 63096 306513 | 2147483647 301581 291 | 0.036 % |
590.08/590.11 c | 537785 | 5503 63096 306513 | 2147483647 301745 291 | 0.036 % |
590.38/590.51 c | 537961 | 5503 63096 306513 | 2147483647 301921 291 | 0.036 % |
590.68/590.79 c | 538158 | 5503 63096 306513 | 2147483647 302118 291 | 0.036 % |
591.08/591.12 c | 538372 | 5503 63096 306513 | 2147483647 302332 291 | 0.036 % |
591.38/591.45 c | 538605 | 5503 63096 306513 | 2147483647 302565 291 | 0.036 % |
591.68/591.76 c | 538865 | 5503 63096 306513 | 2147483647 302825 291 | 0.036 % |
592.28/592.34 c | 539149 | 5503 63096 306513 | 2147483647 303109 291 | 0.036 % |
592.48/592.53 c | 539458 | 5503 63096 306513 | 2147483647 303418 291 | 0.036 % |
592.78/592.82 c | 539799 | 5503 63096 306513 | 2147483647 303759 290 | 0.036 % |
593.08/593.20 c | 540172 | 5503 63096 306513 | 2147483647 304132 291 | 0.036 % |
593.48/593.60 c | 540582 | 5503 63096 306513 | 2147483647 304542 291 | 0.036 % |
594.08/594.13 c | 541031 | 5503 63096 306513 | 2147483647 304991 291 | 0.036 % |
595.38/595.48 c | 541524 | 5503 63096 306513 | 2147483647 305484 291 | 0.036 % |
596.98/597.04 c | 542071 | 5503 63096 306513 | 2147483647 306031 291 | 0.036 % |
599.68/599.77 c | 542667 | 5503 63096 306513 | 2147483647 306627 291 | 0.036 % |
601.48/601.60 c | 543322 | 5503 63096 306513 | 2147483647 307282 292 | 0.036 % |
604.48/604.55 c | 544049 | 5503 63096 306513 | 2147483647 308009 292 | 0.036 % |
607.38/607.41 c | 544843 | 5503 63096 306513 | 2147483647 308803 293 | 0.036 % |
609.68/609.80 c | 545715 | 5503 63096 306513 | 2147483647 309675 293 | 0.036 % |
611.28/611.40 c | 546675 | 5503 63096 306513 | 2147483647 310635 294 | 0.036 % |
614.28/614.35 c | 547729 | 5503 63096 306513 | 2147483647 311689 294 | 0.036 % |
617.48/617.55 c | 548888 | 5503 63096 306513 | 2147483647 312848 295 | 0.036 % |
621.38/621.49 c | 550164 | 5503 63096 306513 | 313960 314124 296 | 0.036 % |
626.28/626.37 c | 551565 | 5503 63096 306513 | 313960 279899 304 | 0.036 % |
630.18/630.28 c | 553113 | 5503 63096 306513 | 313960 281447 306 | 0.036 % |
635.79/635.84 c | 554811 | 5503 63096 306513 | 313960 283145 307 | 0.036 % |
640.98/641.01 c | 556674 | 5503 63096 306513 | 313960 285008 308 | 0.036 % |
644.88/644.93 c | 558723 | 5503 63096 306513 | 313960 287057 308 | 0.036 % |
649.18/649.24 c | 560978 | 5503 63096 306513 | 2147483647 289312 309 | 0.036 % |
651.58/651.62 c | 563462 | 5503 63096 306513 | 2147483647 291796 309 | 0.036 % |
655.79/655.87 c | 566187 | 5503 63096 306513 | 2147483647 294521 310 | 0.036 % |
660.39/660.43 c | 569184 | 5503 63096 306513 | 2147483647 297518 311 | 0.036 % |
665.49/665.53 c | 572480 | 5503 63096 306513 | 2147483647 300814 311 | 0.036 % |
673.49/673.51 c | 576105 | 5503 63096 306513 | 2147483647 304439 311 | 0.036 % |
684.59/684.69 c | 580094 | 5503 63096 306513 | 2147483647 308428 313 | 0.036 % |
690.59/690.70 c | 584482 | 5503 63096 306513 | 2147483647 312816 313 | 0.036 % |
700.49/700.56 c | 589305 | 5503 63096 306513 | 2147483647 317639 312 | 0.036 % |
718.39/718.50 c | 594615 | 5503 63096 306513 | 2147483647 322949 314 | 0.036 % |
718.79/718.82 c | 594717 | 5503 63096 306513 | 2147483647 323051 314 | 0.036 % |
719.09/719.12 c | 594830 | 5503 63096 306513 | 2147483647 323164 314 | 0.036 % |
719.39/719.45 c | 594953 | 5503 63096 306513 | 2147483647 323287 314 | 0.036 % |
719.79/719.82 c | 595086 | 5503 63096 306513 | 2147483647 323420 314 | 0.036 % |
719.99/720.05 c | 595232 | 5503 63096 306513 | 2147483647 323566 314 | 0.036 % |
720.29/720.37 c | 595396 | 5503 63096 306513 | 2147483647 323730 314 | 0.036 % |
720.69/720.75 c | 595572 | 5503 63096 306513 | 2147483647 323906 314 | 0.036 % |
721.39/721.50 c | 595765 | 5503 63096 306513 | 2147483647 324099 314 | 0.036 % |
721.79/721.88 c | 595977 | 5503 63096 306513 | 2147483647 324311 314 | 0.036 % |
722.19/722.31 c | 596210 | 5503 63096 306513 | 2147483647 324544 314 | 0.036 % |
722.69/722.77 c | 596466 | 5503 63096 306513 | 2147483647 324800 314 | 0.036 % |
724.39/724.44 c | 596750 | 5503 63096 306513 | 2147483647 325084 314 | 0.036 % |
725.59/725.65 c | 597059 | 5503 63096 306513 | 2147483647 325393 314 | 0.036 % |
726.39/726.45 c | 597398 | 5503 63096 306513 | 2147483647 325732 315 | 0.036 % |
727.39/727.49 c | 597772 | 5503 63096 306513 | 2147483647 326106 315 | 0.036 % |
728.39/728.43 c | 598183 | 5503 63096 306513 | 2147483647 326517 315 | 0.036 % |
729.79/729.87 c | 598632 | 5503 63096 306513 | 2147483647 326966 315 | 0.036 % |
731.29/731.37 c | 599126 | 5503 63096 306513 | 2147483647 327460 315 | 0.036 % |
732.89/732.91 c | 599669 | 5503 63096 306513 | 2147483647 328003 316 | 0.036 % |
735.19/735.28 c | 600265 | 5503 63096 306513 | 328334 328599 316 | 0.036 % |
737.39/737.46 c | 600920 | 5503 63096 306513 | 328334 285452 325 | 0.036 % |
739.39/739.44 c | 601646 | 5503 63096 306513 | 328334 286178 326 | 0.036 % |
741.79/741.84 c | 602442 | 5503 63096 306513 | 328334 286974 326 | 0.036 % |
744.59/744.63 c | 603313 | 5503 63096 306513 | 328334 287845 327 | 0.036 % |
747.79/747.89 c | 604272 | 5503 63096 306513 | 328334 288804 327 | 0.036 % |
748.99/749.08 c | 605326 | 5503 63096 306513 | 328334 289858 328 | 0.036 % |
751.59/751.68 c | 606484 | 5503 63096 306513 | 328334 291016 328 | 0.036 % |
754.19/754.23 c | 607762 | 5503 63096 306513 | 328334 292294 328 | 0.036 % |
756.49/756.55 c | 609163 | 5503 63096 306513 | 328334 293695 328 | 0.036 % |
759.29/759.37 c | 610703 | 5503 63096 306513 | 2147483647 295235 327 | 0.036 % |
764.79/764.89 c | 612399 | 5503 63096 306513 | 2147483647 296931 328 | 0.036 % |
767.39/767.44 c | 614262 | 5503 63096 306513 | 2147483647 298794 329 | 0.036 % |
774.28/774.37 c | 616311 | 5503 63096 306513 | 2147483647 300843 330 | 0.036 % |
782.39/782.45 c | 618564 | 5503 63096 306513 | 2147483647 303096 331 | 0.036 % |
790.19/790.26 c | 621044 | 5503 63096 306513 | 304535 305576 332 | 0.036 % |
799.09/799.15 c | 623771 | 5503 63096 306513 | 304535 263017 346 | 0.036 % |
801.99/802.02 c | 626772 | 5503 63096 306513 | 304535 266018 345 | 0.036 % |
806.29/806.38 c | 630069 | 5503 63096 306513 | 2147483647 269315 345 | 0.036 % |
819.19/819.25 c | 633694 | 5503 63096 306513 | 2147483647 272940 347 | 0.036 % |
832.69/832.72 c | 637681 | 5503 63096 306513 | 2147483647 276927 348 | 0.036 % |
842.99/843.08 c | 642066 | 5503 63096 306513 | 279246 246180 348 | 0.036 % |
849.69/849.75 c | 646890 | 5503 63096 306513 | 279246 251004 349 | 0.036 % |
853.89/853.98 c | 652197 | 5503 63096 306513 | 2147483647 256311 346 | 0.036 % |
865.99/866.05 c | 658035 | 5503 63096 306513 | 2147483647 262149 348 | 0.036 % |
866.29/866.32 c | 658140 | 5503 63096 306513 | 2147483647 262254 348 | 0.036 % |
866.49/866.60 c | 658250 | 5503 63096 306513 | 2147483647 262364 348 | 0.036 % |
866.80/866.86 c | 658375 | 5503 63096 306513 | 2147483647 262489 348 | 0.036 % |
867.19/867.27 c | 658508 | 5503 63096 306513 | 2147483647 262622 348 | 0.036 % |
867.99/868.03 c | 658655 | 5503 63096 306513 | 2147483647 262769 349 | 0.036 % |
868.59/868.69 c | 658817 | 5503 63096 306513 | 2147483647 262931 349 | 0.036 % |
869.39/869.41 c | 658995 | 5503 63096 306513 | 2147483647 263109 349 | 0.036 % |
870.10/870.14 c | 659194 | 5503 63096 306513 | 2147483647 263308 349 | 0.036 % |
870.89/870.99 c | 659406 | 5503 63096 306513 | 2147483647 263520 349 | 0.036 % |
871.89/871.97 c | 659639 | 5503 63096 306513 | 2147483647 263753 349 | 0.036 % |
872.89/872.96 c | 659895 | 5503 63096 306513 | 2147483647 264009 349 | 0.036 % |
873.99/874.05 c | 660177 | 5503 63096 306513 | 2147483647 264291 349 | 0.036 % |
875.09/875.18 c | 660488 | 5503 63096 306513 | 2147483647 264602 350 | 0.036 % |
876.29/876.36 c | 660829 | 5503 63096 306513 | 2147483647 264943 350 | 0.036 % |
877.39/877.45 c | 661209 | 5503 63096 306513 | 2147483647 265323 350 | 0.036 % |
879.19/879.22 c | 661619 | 5503 63096 306513 | 2147483647 265733 350 | 0.036 % |
880.79/880.89 c | 662069 | 5503 63096 306513 | 2147483647 266183 350 | 0.036 % |
882.79/882.83 c | 662565 | 5503 63096 306513 | 2147483647 266679 350 | 0.036 % |
883.59/883.64 c | 663109 | 5503 63096 306513 | 2147483647 267223 350 | 0.036 % |
884.19/884.22 c | 663705 | 5503 63096 306513 | 2147483647 267819 350 | 0.036 % |
886.79/886.86 c | 664365 | 5503 63096 306513 | 2147483647 268479 350 | 0.036 % |
888.89/888.93 c | 665090 | 5503 63096 306513 | 2147483647 269204 350 | 0.036 % |
890.89/890.94 c | 665885 | 5503 63096 306513 | 2147483647 269999 350 | 0.036 % |
893.99/894.09 c | 666760 | 5503 63096 306513 | 2147483647 270874 351 | 0.036 % |
896.99/897.09 c | 667719 | 5503 63096 306513 | 2147483647 271833 351 | 0.036 % |
900.49/900.58 c | 668773 | 5503 63096 306513 | 2147483647 272887 351 | 0.036 % |
903.59/903.66 c | 669934 | 5503 63096 306513 | 2147483647 274048 351 | 0.036 % |
908.60/908.62 c | 671207 | 5503 63096 306513 | 274115 223231 355 | 0.036 % |
911.80/911.85 c | 672623 | 5503 63096 306513 | 274115 224647 355 | 0.036 % |
917.30/917.40 c | 674163 | 5503 63096 306513 | 274115 226187 356 | 0.036 % |
924.40/924.45 c | 675859 | 5503 63096 306513 | 274115 227883 356 | 0.036 % |
931.70/931.71 c | 677725 | 5503 63096 306513 | 274115 229749 357 | 0.036 % |
937.10/937.14 c | 679775 | 5503 63096 306513 | 274115 231799 356 | 0.036 % |
947.00/947.10 c | 682028 | 5503 63096 306513 | 232025 196343 342 | 0.036 % |
957.00/957.07 c | 684506 | 5503 63096 306513 | 232025 198821 343 | 0.036 % |
964.50/964.60 c | 687235 | 5503 63096 306513 | 232025 201550 343 | 0.036 % |
969.00/969.08 c | 690232 | 5503 63096 306513 | 204319 204547 342 | 0.036 % |
974.80/974.85 c | 693532 | 5503 63096 306513 | 204319 186728 344 | 0.036 % |
978.50/978.56 c | 697160 | 5503 63096 306513 | 204319 190356 342 | 0.036 % |
979.80/979.90 c | 701149 | 5503 63096 306513 | 2147483647 194345 337 | 0.036 % |
986.30/986.40 c | 705537 | 5503 63096 306513 | 2147483647 198733 334 | 0.036 % |
1002.70/1002.74 c | 710365 | 5503 63096 306513 | 2147483647 203561 335 | 0.036 % |
1016.60/1016.62 c | 715675 | 5503 63096 306513 | 2147483647 208871 336 | 0.036 % |
1037.81/1037.87 c | 721516 | 5503 63096 306513 | 2147483647 214712 338 | 0.036 % |
1067.31/1067.36 c | 727936 | 5503 63096 306513 | 2147483647 221132 340 | 0.036 % |
1067.71/1067.73 c | 728037 | 5503 63096 306513 | 2147483647 221233 340 | 0.036 % |
1068.31/1068.32 c | 728149 | 5503 63096 306513 | 2147483647 221345 340 | 0.036 % |
1068.71/1068.78 c | 728271 | 5503 63096 306513 | 2147483647 221467 340 | 0.036 % |
1069.41/1069.44 c | 728404 | 5503 63096 306513 | 2147483647 221600 340 | 0.036 % |
1070.31/1070.37 c | 728550 | 5503 63096 306513 | 2147483647 221746 340 | 0.036 % |
1071.11/1071.21 c | 728710 | 5503 63096 306513 | 2147483647 221906 340 | 0.036 % |
1071.91/1071.99 c | 728889 | 5503 63096 306513 | 2147483647 222085 340 | 0.036 % |
1072.71/1072.80 c | 729082 | 5503 63096 306513 | 2147483647 222278 340 | 0.036 % |
1073.81/1073.87 c | 729294 | 5503 63096 306513 | 2147483647 222490 340 | 0.036 % |
1075.01/1075.04 c | 729533 | 5503 63096 306513 | 2147483647 222729 340 | 0.036 % |
1075.31/1075.37 c | 729790 | 5503 63096 306513 | 2147483647 222986 340 | 0.036 % |
1075.61/1075.67 c | 730071 | 5503 63096 306513 | 223196 223267 340 | 0.036 % |
1076.71/1076.72 c | 730380 | 5503 63096 306513 | 223196 195395 329 | 0.036 % |
1077.31/1077.35 c | 730719 | 5503 63096 306513 | 223196 195734 330 | 0.036 % |
1078.01/1078.01 c | 731091 | 5503 63096 306513 | 223196 196106 330 | 0.036 % |
1078.71/1078.73 c | 731502 | 5503 63096 306513 | 223196 196517 329 | 0.036 % |
1079.51/1079.53 c | 731953 | 5503 63096 306513 | 223196 196968 329 | 0.036 % |
1080.31/1080.33 c | 732446 | 5503 63096 306513 | 223196 197461 329 | 0.036 % |
1080.81/1080.91 c | 732990 | 5503 63096 306513 | 223196 198005 329 | 0.036 % |
1082.31/1082.39 c | 733586 | 5503 63096 306513 | 223196 198601 329 | 0.036 % |
1083.11/1083.15 c | 734243 | 5503 63096 306513 | 223196 199258 329 | 0.036 % |
1084.01/1084.02 c | 734974 | 5503 63096 306513 | 223196 199989 328 | 0.036 % |
1085.11/1085.19 c | 735766 | 5503 63096 306513 | 223196 200781 328 | 0.036 % |
1086.11/1086.14 c | 736637 | 5503 63096 306513 | 223196 201652 328 | 0.036 % |
1086.81/1086.87 c | 737598 | 5503 63096 306513 | 223196 202613 327 | 0.036 % |
1087.51/1087.52 c | 738652 | 5503 63096 306513 | 223196 203667 326 | 0.036 % |
1089.91/1089.95 c | 739819 | 5503 63096 306513 | 223196 204834 325 | 0.036 % |
1092.71/1092.79 c | 741098 | 5503 63096 306513 | 2147483647 206113 325 | 0.036 % |
1096.11/1096.11 c | 742499 | 5503 63096 306513 | 2147483647 207514 326 | 0.036 % |
1097.21/1097.27 c | 744039 | 5503 63096 306513 | 2147483647 209054 324 | 0.036 % |
1101.61/1101.65 c | 745735 | 5503 63096 306513 | 2147483647 210750 324 | 0.036 % |
1102.91/1102.95 c | 747598 | 5503 63096 306513 | 2147483647 212613 322 | 0.036 % |
1106.01/1106.08 c | 749651 | 5503 63096 306513 | 2147483647 214666 321 | 0.036 % |
1109.41/1109.44 c | 751904 | 5503 63096 306513 | 2147483647 216919 320 | 0.036 % |
1113.22/1113.30 c | 754382 | 5503 63096 306513 | 2147483647 219397 321 | 0.036 % |
1123.91/1123.95 c | 757107 | 5503 63096 306513 | 2147483647 222122 322 | 0.036 % |
1138.80/1138.89 c | 760104 | 5503 63096 306513 | 2147483647 225119 323 | 0.036 % |
1147.70/1147.71 c | 763403 | 5503 63096 306513 | 2147483647 228418 323 | 0.036 % |
1154.70/1154.72 c | 767029 | 5503 63096 306513 | 2147483647 232044 323 | 0.036 % |
1163.22/1163.30 c | 771025 | 5503 63096 306513 | 235015 207150 314 | 0.036 % |
1173.22/1173.22 c | 775410 | 5503 63096 306513 | 235015 211535 314 | 0.036 % |
1184.62/1184.71 c | 780234 | 5503 63096 306513 | 2147483647 216359 314 | 0.036 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820896-1242485122/watcher-1820896-1242485122 -o /tmp/evaluation-result-1820896-1242485122/solver-1820896-1242485122 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820896-1242485122.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=952 CPUtime=0
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1013013263 974848 83 4294967295 134512640 135223648 3217874960 3217873840 134543108 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 238 84 46 174 0 63 0
[startup+0.096154 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=16352 CPUtime=0.1
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 3438 0 0 0 7 3 0 0 18 0 1 0 1013013263 16744448 3374 4294967295 134512640 135223648 3217874960 3217873544 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 4088 3374 46 174 0 3913 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18764
[startup+0.11614 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=18712 CPUtime=0.12
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 4131 0 0 0 9 3 0 0 18 0 1 0 1013013263 19161088 4067 4294967295 134512640 135223648 3217874960 3217873544 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 4678 4068 46 174 0 4503 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21124
[startup+0.316128 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=25028 CPUtime=0.32
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6092 0 0 0 27 5 0 0 18 0 1 0 1013013263 25628672 5608 4294967295 134512640 135223648 3217874960 3217872728 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6257 5608 73 174 0 6082 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 27440
[startup+0.716105 s]
/proc/loadavg: 1.00 1.03 1.00 2/97 27824
/proc/meminfo: memFree=1812704/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=25600 CPUtime=0.72
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6261 0 0 0 67 5 0 0 18 0 1 0 1013013263 26214400 5777 4294967295 134512640 135223648 3217874960 3217872736 134585497 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6400 5777 73 174 0 6225 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28012
[startup+1.51606 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27830
/proc/meminfo: memFree=1785664/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=26940 CPUtime=1.52
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 6565 0 0 0 146 6 0 0 20 0 1 0 1013013263 27586560 6081 4294967295 134512640 135223648 3217874960 3217872960 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 6735 6081 73 174 0 6560 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 29352
[startup+3.11597 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27831
/proc/meminfo: memFree=1779712/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2412 CPUtime=0
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1013013263 2469888 275 4294967295 134512640 135169312 3217784832 3217783368 3085807342 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27824/statm: 603 275 235 161 0 42 0
[pid=27828] ppid=27824 vsize=29024 CPUtime=3.12
/proc/27828/stat : 27828 (SatELite_releas) R 27824 27824 16367 0 -1 4202496 7026 0 0 0 303 9 0 0 25 0 1 0 1013013263 29720576 6542 4294967295 134512640 135223648 3217874960 3217872976 134586712 0 0 0 3 0 0 0 17 2 0 0 0
/proc/27828/statm: 7256 6542 73 174 0 7081 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 31436
[startup+6.3158 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27832
/proc/meminfo: memFree=1788424/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=6820 CPUtime=1.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 1620 0 0 0 119 3 0 0 25 0 1 0 1013013772 6983680 1554 4294967295 134512640 135215339 3218846048 3218844336 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 1705 1554 73 172 0 1532 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9236
[startup+12.7154 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27832
/proc/meminfo: memFree=1776328/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=20008 CPUtime=7.58
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 4901 0 0 0 754 4 0 0 25 0 1 0 1013013772 20488192 4835 4294967295 134512640 135215339 3218846048 3218844048 134532976 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 5002 4835 73 172 0 4829 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22424
[startup+25.5147 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 27834
/proc/meminfo: memFree=1748176/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=46728 CPUtime=20.38
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 11574 0 0 0 2033 5 0 0 25 0 1 0 1013013772 47849472 11508 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 11682 11508 73 172 0 11509 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49144
[startup+51.1233 s]
/proc/loadavg: 1.00 1.03 1.00 2/99 28017
/proc/meminfo: memFree=1700076/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=95060 CPUtime=45.98
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 23667 0 0 0 4586 12 0 0 25 0 1 0 1013013772 97341440 23601 4294967295 134512640 135215339 3218846048 3218844048 134532646 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 23765 23601 73 172 0 23592 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97476
[startup+102.32 s]
/proc/loadavg: 1.00 1.02 1.00 2/99 28206
/proc/meminfo: memFree=1619868/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=174472 CPUtime=97.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 43419 0 0 0 9696 21 0 0 25 0 1 0 1013013772 178659328 43353 4294967295 134512640 135215339 3218846048 3218844336 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 43618 43353 73 172 0 43445 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 176888
[startup+162.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 28393
/proc/meminfo: memFree=1549360/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=245584 CPUtime=157.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 61216 0 0 0 15687 30 0 0 25 0 1 0 1013013772 251478016 61150 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 61396 61150 73 172 0 61223 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 248000
[startup+222.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 28584
/proc/meminfo: memFree=1479688/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=315148 CPUtime=217.17
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 78519 0 0 0 21676 41 0 0 25 0 1 0 1013013772 322711552 78453 4294967295 134512640 135215339 3218846048 3218844048 134532952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 78787 78453 73 172 0 78614 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 317564
[startup+282.32 s]
/proc/loadavg: 1.07 1.03 1.01 2/99 28771
/proc/meminfo: memFree=1428980/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=365956 CPUtime=277.18
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 91240 0 0 0 27670 48 0 0 25 0 1 0 1013013772 374738944 91174 4294967295 134512640 135215339 3218846048 3218844048 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 91489 91174 73 172 0 91316 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 368372
[startup+342.317 s]
/proc/loadavg: 1.02 1.02 1.00 2/99 28962
/proc/meminfo: memFree=1378752/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=415576 CPUtime=337.18
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103647 0 0 0 33661 57 0 0 25 0 1 0 1013013772 425549824 103581 4294967295 134512640 135215339 3218846048 3218844336 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 103894 103581 73 172 0 103721 0
Current children cumulated CPU time (s) 342.27
################
# More data... #
################
/proc/27832/statm: 104062 103752 73 172 0 103889 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 418664
[startup+582.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 29712
/proc/meminfo: memFree=1378264/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=416248 CPUtime=577.19
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103820 0 0 0 57661 58 0 0 25 0 1 0 1013013772 426237952 103754 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 104062 103754 73 172 0 103889 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 418664
[startup+642.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 29905
/proc/meminfo: memFree=1378264/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=416248 CPUtime=637.19
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 103820 0 0 0 63661 58 0 0 25 0 1 0 1013013772 426237952 103754 4294967295 134512640 135215339 3218846048 3218844048 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 104062 103754 73 172 0 103889 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 418664
[startup+702.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30094
/proc/meminfo: memFree=1373684/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=421008 CPUtime=697.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 105019 0 0 0 69662 58 0 0 25 0 1 0 1013013772 431112192 104953 4294967295 134512640 135215339 3218846048 3218844336 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 105252 104953 73 172 0 105079 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 423424
[startup+762.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30281
/proc/meminfo: memFree=1356284/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=757.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109299 0 0 0 75659 62 0 0 25 0 1 0 1013013772 448688128 109233 4294967295 134512640 135215339 3218846048 3218844048 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109233 73 172 0 109370 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 440588
[startup+822.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30468
/proc/meminfo: memFree=1356208/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=817.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109301 0 0 0 81658 62 0 0 25 0 1 0 1013013772 448688128 109235 4294967295 134512640 135215339 3218846048 3218844048 134532976 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109235 73 172 0 109370 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 440588
[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 30655
/proc/meminfo: memFree=1356448/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=877.2
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109304 0 0 0 87658 62 0 0 25 0 1 0 1013013772 448688128 109238 4294967295 134512640 135215339 3218846048 3218844336 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109238 73 172 0 109370 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 440588
[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 30855
/proc/meminfo: memFree=1356564/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=937.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109304 0 0 0 93659 62 0 0 25 0 1 0 1013013772 448688128 109238 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109238 73 172 0 109370 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 440588
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31048
/proc/meminfo: memFree=1356556/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=997.21
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109306 0 0 0 99659 62 0 0 25 0 1 0 1013013772 448688128 109240 4294967295 134512640 135215339 3218846048 3218844336 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109240 73 172 0 109370 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 440588
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31235
/proc/meminfo: memFree=1356588/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1057.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109306 0 0 0 105658 64 0 0 25 0 1 0 1013013772 448688128 109240 4294967295 134512640 135215339 3218846048 3218844048 134532952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109240 73 172 0 109370 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 440588
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31422
/proc/meminfo: memFree=1356688/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1117.22
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109307 0 0 0 111658 64 0 0 25 0 1 0 1013013772 448688128 109241 4294967295 134512640 135215339 3218846048 3218844048 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109241 73 172 0 109370 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 440588
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31609
/proc/meminfo: memFree=1356448/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1177.23
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109308 0 0 0 117659 64 0 0 25 0 1 0 1013013772 448688128 109242 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109242 73 172 0 109370 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 440588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31611
/proc/meminfo: memFree=1356544/2074464 swapFree=1949244/1959888
[pid=27824] ppid=27822 vsize=2416 CPUtime=5.09
/proc/27824/stat : 27824 (SatELiteGTI) S 27822 27824 16367 0 -1 4194304 385 8754 0 0 0 0 496 13 18 0 1 0 1013013263 2473984 277 4294967295 134512640 135169312 3217784832 3217781048 3085807342 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/27824/statm: 604 277 235 161 0 43 0
[pid=27832] ppid=27824 vsize=438172 CPUtime=1194.93
/proc/27832/stat : 27832 (minisat_static) R 27824 27824 16367 0 -1 4202496 109308 0 0 0 119429 64 0 0 25 0 1 0 1013013772 448688128 109242 4294967295 134512640 135215339 3218846048 3218844336 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/27832/statm: 109543 109242 73 172 0 109370 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 440588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27824 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=960000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130000
# CPU time returned by wait4() is 5.09
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.05
CPU time (s): 1200.02
CPU user time (s): 1199.25
CPU system time (s): 0.77
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 440588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.96
system time used= 0.13
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 15
involuntary context switches= 18
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi11 at 2009-05-16 16:45:22
IDJOB=1820896
IDBENCH=70762
IDSOLVER=657
FILE ID=tipi11/1820896-1242485122
PBS_JOBID=
Free space on /tmp= 9935 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxor/minxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820896-1242485122/watcher-1820896-1242485122 -o /tmp/evaluation-result-1820896-1242485122/solver-1820896-1242485122 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820896-1242485122.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED= 791496818
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1812712 kB
Buffers: 21520 kB
Cached: 168924 kB
SwapCached: 5224 kB
Active: 50828 kB
Inactive: 151528 kB
HighTotal: 1178688 kB
HighFree: 1028920 kB
LowTotal: 895776 kB
LowFree: 783792 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 4132 kB
Writeback: 0 kB
AnonPages: 11200 kB
Mapped: 5064 kB
Slab: 49876 kB
PageTables: 688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97124 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9916 MiB
End job on tipi11 at 2009-05-16 17:05:25