0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16696 50640 | -- 0 -- -- | -- | -104/240
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3911 #clauses: 16696 #literals: 50640
0.00/0.05 c CPU time: 0.044993 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3911 |
0.00/0.07 c | Number of clauses: 16696 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 3911 16696 50640 | 5565 0 nan | 0.000 % |
0.06/0.10 c | 100 | 3911 16696 50640 | 5565 100 72 | 0.000 % |
0.06/0.11 c | 202 | 3911 16696 50640 | 5565 202 83 | 0.000 % |
0.06/0.12 c | 302 | 3911 16696 50640 | 5565 302 83 | 0.000 % |
0.06/0.14 c | 413 | 3911 16696 50640 | 5565 413 81 | 0.000 % |
0.06/0.15 c | 513 | 3911 16696 50640 | 5565 513 81 | 0.000 % |
0.06/0.16 c | 625 | 3911 16696 50640 | 5565 625 85 | 0.000 % |
0.06/0.18 c | 748 | 3911 16696 50640 | 5565 748 87 | 0.000 % |
0.06/0.19 c | 849 | 3911 16696 50640 | 5565 849 87 | 0.000 % |
0.06/0.21 c | 959 | 3911 16696 50640 | 5565 959 88 | 0.000 % |
0.06/0.22 c | 1083 | 3911 16696 50640 | 5565 1083 89 | 0.000 % |
0.06/0.24 c | 1216 | 3911 16696 50640 | 5565 1216 89 | 0.000 % |
0.06/0.25 c | 1316 | 3911 16696 50640 | 5565 1316 88 | 0.000 % |
0.06/0.26 c | 1426 | 3911 16696 50640 | 5565 1426 89 | 0.000 % |
0.06/0.28 c | 1547 | 3911 16696 50640 | 5565 1547 88 | 0.000 % |
0.06/0.30 c | 1680 | 3911 16696 50640 | 5565 1680 89 | 0.000 % |
0.06/0.32 c | 1826 | 3911 16696 50640 | 5565 1826 88 | 0.000 % |
0.06/0.33 c | 1926 | 3911 16696 50640 | 5565 1926 88 | 0.000 % |
0.06/0.34 c | 2036 | 3911 16696 50640 | 5565 2036 88 | 0.000 % |
0.06/0.36 c | 2157 | 3911 16696 50640 | 5565 2157 89 | 0.000 % |
0.06/0.38 c | 2292 | 3911 16696 50640 | 5565 2292 89 | 0.000 % |
0.06/0.40 c | 2439 | 3911 16696 50640 | 5565 2439 90 | 0.000 % |
0.06/0.42 c | 2601 | 3911 16696 50640 | 5565 2601 88 | 0.000 % |
0.06/0.43 c | 2702 | 3911 16696 50640 | 5565 2702 88 | 0.000 % |
0.06/0.45 c | 2812 | 3911 16696 50640 | 5565 2812 89 | 0.000 % |
0.06/0.46 c | 2935 | 3911 16696 50640 | 5565 2935 89 | 0.000 % |
0.06/0.48 c | 3069 | 3911 16696 50640 | 5565 3069 89 | 0.000 % |
0.06/0.50 c | 3216 | 3911 16696 50640 | 5565 3216 90 | 0.000 % |
0.06/0.52 c | 3378 | 3911 16696 50640 | 5565 3378 90 | 0.000 % |
0.06/0.55 c | 3554 | 3911 16696 50640 | 5565 3554 90 | 0.000 % |
0.06/0.56 c | 3659 | 3911 16696 50640 | 5565 3659 90 | 0.000 % |
0.06/0.58 c | 3770 | 3911 16696 50640 | 5565 3770 90 | 0.000 % |
0.06/0.59 c | 3894 | 3911 16696 50640 | 5565 3894 89 | 0.000 % |
0.06/0.61 c | 4027 | 3911 16696 50640 | 5565 4027 89 | 0.000 % |
0.06/0.63 c | 4173 | 3911 16696 50640 | 5565 4173 90 | 0.000 % |
0.06/0.65 c | 4335 | 3911 16696 50640 | 5565 4335 90 | 0.000 % |
0.06/0.68 c | 4511 | 3911 16696 50640 | 5565 4511 90 | 0.000 % |
0.06/0.70 c | 4704 | 3911 16696 50640 | 5565 4704 90 | 0.000 % |
0.06/0.72 c | 4804 | 3911 16696 50640 | 5565 4804 89 | 0.000 % |
0.06/0.73 c | 4915 | 3911 16696 50640 | 5565 4915 89 | 0.000 % |
0.06/0.75 c | 5037 | 3911 16696 50640 | 5565 5037 89 | 0.000 % |
0.06/0.77 c | 5170 | 3911 16696 50640 | 5565 5170 89 | 0.000 % |
0.06/0.79 c | 5317 | 3911 16696 50640 | 5565 5317 89 | 0.000 % |
0.06/0.81 c | 5477 | 3911 16696 50640 | 5565 5477 89 | 0.000 % |
0.06/0.84 c | 5653 | 3911 16696 50640 | 5565 5653 89 | 0.000 % |
0.06/0.87 c | 5848 | 3911 16696 50640 | 5565 5283 88 | 0.000 % |
0.06/0.90 c | 6062 | 3911 16696 50640 | 5565 5497 88 | 0.000 % |
0.06/0.92 c | 6162 | 3911 16696 50640 | 5565 5597 88 | 0.000 % |
0.06/0.93 c | 6272 | 3911 16696 50640 | 5565 5148 87 | 0.000 % |
0.06/0.95 c | 6393 | 3911 16696 50640 | 5565 5269 88 | 0.000 % |
0.06/0.97 c | 6527 | 3911 16696 50640 | 5565 5403 88 | 0.000 % |
0.06/0.99 c | 6673 | 3911 16696 50640 | 5565 5549 88 | 0.000 % |
0.97/1.02 c | 6833 | 3911 16696 50640 | 5565 5709 88 | 0.000 % |
0.97/1.05 c | 7011 | 3911 16696 50640 | 5565 5317 88 | 0.000 % |
0.97/1.08 c | 7204 | 3911 16696 50640 | 5565 5510 88 | 0.000 % |
1.07/1.11 c | 7416 | 3911 16696 50640 | 5565 5722 89 | 0.000 % |
1.07/1.15 c | 7650 | 3911 16696 50640 | 5565 5384 89 | 0.000 % |
1.07/1.17 c | 7751 | 3911 16696 50640 | 5565 5485 89 | 0.000 % |
1.07/1.18 c | 7863 | 3911 16696 50640 | 5565 5597 88 | 0.000 % |
1.17/1.20 c | 7984 | 3911 16696 50640 | 5565 5159 87 | 0.000 % |
1.17/1.23 c | 8117 | 3911 16696 50640 | 5565 5292 87 | 0.000 % |
1.17/1.25 c | 8263 | 3911 16696 50640 | 5565 5438 88 | 0.000 % |
1.17/1.27 c | 8423 | 3911 16696 50640 | 5565 5598 88 | 0.000 % |
1.27/1.30 c | 8600 | 3911 16696 50640 | 5565 5216 88 | 0.000 % |
1.27/1.33 c | 8793 | 3911 16696 50640 | 5565 5409 88 | 0.000 % |
1.27/1.36 c | 9005 | 3911 16696 50640 | 5565 5621 89 | 0.000 % |
1.37/1.40 c | 9238 | 3911 16696 50640 | 5565 5292 89 | 0.000 % |
1.37/1.44 c | 9495 | 3911 16696 50640 | 5565 5549 90 | 0.000 % |
1.37/1.46 c | 9597 | 3911 16696 50640 | 5565 5651 90 | 0.000 % |
1.37/1.48 c | 9708 | 3911 16696 50640 | 5565 5197 89 | 0.000 % |
1.47/1.50 c | 9829 | 3911 16696 50640 | 5565 5318 89 | 0.000 % |
1.47/1.52 c | 9963 | 3911 16696 50640 | 5565 5452 89 | 0.000 % |
1.47/1.54 c | 10109 | 3911 16696 50640 | 2147483647 5598 89 | 0.000 % |
1.47/1.57 c | 10269 | 3911 16696 50640 | 2147483647 5758 89 | 0.000 % |
1.47/1.60 c | 10446 | 3911 16696 50640 | 2147483647 5935 89 | 0.000 % |
1.57/1.63 c | 10640 | 3911 16696 50640 | 2147483647 6129 89 | 0.000 % |
1.57/1.66 c | 10853 | 3911 16696 50640 | 2147483647 6342 89 | 0.000 % |
1.57/1.69 c | 11086 | 3911 16696 50640 | 2147483647 6575 89 | 0.000 % |
1.67/1.74 c | 11342 | 3911 16696 50640 | 2147483647 6831 90 | 0.000 % |
1.67/1.79 c | 11623 | 3911 16696 50640 | 2147483647 7112 90 | 0.000 % |
1.77/1.80 c | 11723 | 3911 16696 50640 | 2147483647 7212 90 | 0.000 % |
1.77/1.82 c | 11834 | 3911 16696 50640 | 2147483647 7323 90 | 0.000 % |
1.77/1.85 c | 11955 | 3911 16696 50640 | 2147483647 7444 90 | 0.000 % |
1.77/1.87 c | 12089 | 3911 16696 50640 | 2147483647 7578 90 | 0.000 % |
1.77/1.89 c | 12236 | 3911 16696 50640 | 2147483647 7725 90 | 0.000 % |
1.87/1.92 c | 12399 | 3911 16696 50640 | 2147483647 7888 90 | 0.000 % |
1.87/1.95 c | 12577 | 3911 16696 50640 | 2147483647 8066 90 | 0.000 % |
1.87/1.98 c | 12771 | 3911 16696 50640 | 2147483647 8260 90 | 0.000 % |
1.97/2.02 c | 12984 | 3911 16696 50640 | 2147483647 8473 90 | 0.000 % |
1.97/2.06 c | 13217 | 3911 16696 50640 | 2147483647 8706 91 | 0.000 % |
2.07/2.11 c | 13473 | 3911 16696 50640 | 2147483647 8962 91 | 0.000 % |
2.07/2.16 c | 13754 | 3911 16696 50640 | 2147483647 9243 92 | 0.000 % |
2.17/2.22 c | 14063 | 3911 16696 50640 | 2147483647 9552 93 | 0.000 % |
2.17/2.24 c | 14164 | 3911 16696 50640 | 2147483647 9653 93 | 0.000 % |
2.17/2.26 c | 14274 | 3911 16696 50640 | 2147483647 9763 93 | 0.000 % |
2.17/2.28 c | 14396 | 3911 16696 50640 | 2147483647 9885 93 | 0.000 % |
2.27/2.31 c | 14529 | 3911 16696 50640 | 2147483647 10018 93 | 0.000 % |
2.27/2.33 c | 14675 | 3911 16696 50640 | 2147483647 10164 93 | 0.000 % |
2.27/2.36 c | 14835 | 3911 16696 50640 | 2147483647 10324 93 | 0.000 % |
2.27/2.39 c | 15011 | 3911 16696 50640 | 2147483647 10500 93 | 0.000 % |
2.37/2.43 c | 15204 | 3911 16696 50640 | 2147483647 10693 94 | 0.000 % |
2.37/2.47 c | 15416 | 3911 16696 50640 | 2147483647 10905 94 | 0.000 % |
2.46/2.52 c | 15650 | 3911 16696 50640 | 2147483647 11139 94 | 0.000 % |
2.46/2.57 c | 15907 | 3911 16696 50640 | 2147483647 11396 94 | 0.000 % |
2.56/2.62 c | 16189 | 3911 16696 50640 | 2147483647 11678 94 | 0.000 % |
2.56/2.69 c | 16498 | 3911 16696 50640 | 2147483647 11987 94 | 0.000 % |
2.67/2.75 c | 16840 | 3911 16696 50640 | 2147483647 12329 95 | 0.000 % |
2.67/2.78 c | 16941 | 3911 16696 50640 | 2147483647 12430 95 | 0.000 % |
2.77/2.80 c | 17051 | 3911 16696 50640 | 2147483647 12540 95 | 0.000 % |
2.77/2.83 c | 17173 | 3911 16696 50640 | 2147483647 12662 95 | 0.000 % |
2.77/2.85 c | 17306 | 3911 16696 50640 | 2147483647 12795 95 | 0.000 % |
2.77/2.88 c | 17452 | 3911 16696 50640 | 2147483647 12941 95 | 0.000 % |
2.87/2.92 c | 17613 | 3911 16696 50640 | 2147483647 13102 95 | 0.000 % |
2.87/2.95 c | 17789 | 3911 16696 50640 | 2147483647 13278 95 | 0.000 % |
2.87/2.99 c | 17982 | 3911 16696 50640 | 2147483647 13471 95 | 0.000 % |
2.97/3.03 c | 18194 | 3911 16696 50640 | 2147483647 13683 95 | 0.000 % |
2.97/3.08 c | 18428 | 3911 16696 50640 | 2147483647 13917 95 | 0.000 % |
3.07/3.14 c | 18684 | 3911 16696 50640 | 2147483647 14173 95 | 0.000 % |
3.07/3.20 c | 18965 | 3911 16696 50640 | 2147483647 14454 95 | 0.000 % |
3.18/3.27 c | 19275 | 3911 16696 50640 | 2147483647 14764 95 | 0.000 % |
3.28/3.34 c | 19615 | 3911 16696 50640 | 2147483647 15104 95 | 0.000 % |
3.37/3.42 c | 19988 | 3911 16696 50640 | 2147483647 15477 95 | 0.000 % |
3.37/3.44 c | 20088 | 3911 16696 50640 | 2147483647 15577 95 | 0.000 % |
3.37/3.47 c | 20200 | 3911 16696 50640 | 2147483647 15689 95 | 0.000 % |
3.47/3.50 c | 20322 | 3911 16696 50640 | 2147483647 15811 95 | 0.000 % |
3.47/3.53 c | 20455 | 3911 16696 50640 | 2147483647 15944 95 | 0.000 % |
3.47/3.56 c | 20604 | 3911 16696 50640 | 2147483647 16093 95 | 0.000 % |
3.47/3.60 c | 20765 | 3911 16696 50640 | 2147483647 16254 95 | 0.000 % |
3.57/3.64 c | 20941 | 3911 16696 50640 | 2147483647 16430 95 | 0.000 % |
3.57/3.69 c | 21135 | 3911 16696 50640 | 2147483647 16624 95 | 0.000 % |
3.67/3.74 c | 21348 | 3911 16696 50640 | 2147483647 16837 95 | 0.000 % |
3.67/3.79 c | 21582 | 3911 16696 50640 | 2147483647 17071 95 | 0.000 % |
3.77/3.85 c | 21843 | 3911 16696 50640 | 2147483647 17332 95 | 0.000 % |
3.87/3.91 c | 22126 | 3911 16696 50640 | 2147483647 17615 95 | 0.000 % |
3.87/3.98 c | 22435 | 3911 16696 50640 | 2147483647 17924 95 | 0.000 % |
3.97/4.06 c | 22775 | 3911 16696 50640 | 2147483647 18264 95 | 0.000 % |
4.07/4.15 c | 23148 | 3911 16696 50640 | 2147483647 18637 95 | 0.000 % |
4.17/4.24 c | 23557 | 3911 16696 50640 | 2147483647 19046 95 | 0.000 % |
4.17/4.27 c | 23657 | 3911 16696 50640 | 2147483647 19146 95 | 0.000 % |
4.17/4.30 c | 23768 | 3911 16696 50640 | 2147483647 19257 95 | 0.000 % |
4.27/4.33 c | 23890 | 3911 16696 50640 | 2147483647 19379 95 | 0.000 % |
4.27/4.36 c | 24023 | 3911 16696 50640 | 2147483647 19512 95 | 0.000 % |
4.27/4.40 c | 24169 | 3911 16696 50640 | 2147483647 19658 95 | 0.000 % |
4.37/4.44 c | 24329 | 3911 16696 50640 | 2147483647 19818 95 | 0.000 % |
4.37/4.48 c | 24505 | 3911 16696 50640 | 2147483647 19994 95 | 0.000 % |
4.47/4.53 c | 24699 | 3911 16696 50640 | 2147483647 20188 95 | 0.000 % |
4.47/4.59 c | 24912 | 3911 16696 50640 | 2147483647 20401 95 | 0.000 % |
4.57/4.65 c | 25148 | 3911 16696 50640 | 2147483647 20637 95 | 0.000 % |
4.66/4.71 c | 25405 | 3911 16696 50640 | 2147483647 20894 95 | 0.000 % |
4.66/4.79 c | 25686 | 3911 16696 50640 | 2147483647 21175 95 | 0.000 % |
4.76/4.87 c | 25995 | 3911 16696 50640 | 2147483647 21484 95 | 0.000 % |
4.86/4.95 c | 26334 | 3911 16696 50640 | 2147483647 21823 95 | 0.000 % |
4.96/5.05 c | 26706 | 3911 16696 50640 | 2147483647 22195 95 | 0.000 % |
5.06/5.15 c | 27115 | 3911 16696 50640 | 2147483647 22604 95 | 0.000 % |
5.17/5.27 c | 27565 | 3911 16696 50640 | 2147483647 23054 96 | 0.000 % |
5.17/5.30 c | 27667 | 3911 16696 50640 | 2147483647 23156 96 | 0.000 % |
5.27/5.33 c | 27779 | 3911 16696 50640 | 2147483647 23268 96 | 0.000 % |
5.27/5.36 c | 27900 | 3911 16696 50640 | 2147483647 23389 96 | 0.000 % |
5.38/5.40 c | 28033 | 3911 16696 50640 | 2147483647 23522 96 | 0.000 % |
5.38/5.45 c | 28180 | 3911 16696 50640 | 2147483647 23669 96 | 0.000 % |
5.38/5.49 c | 28340 | 3911 16696 50640 | 2147483647 23829 96 | 0.000 % |
5.48/5.54 c | 28517 | 3911 16696 50640 | 2147483647 24006 96 | 0.000 % |
5.57/5.60 c | 28712 | 3911 16696 50640 | 2147483647 24201 96 | 0.000 % |
5.57/5.67 c | 28924 | 3911 16696 50640 | 2147483647 24413 96 | 0.000 % |
5.67/5.73 c | 29160 | 3911 16696 50640 | 2147483647 24649 96 | 0.000 % |
5.77/5.80 c | 29416 | 3911 16696 50640 | 2147483647 24905 96 | 0.000 % |
5.77/5.88 c | 29699 | 3911 16696 50640 | 2147483647 25188 96 | 0.000 % |
5.87/5.98 c | 30008 | 3911 16696 50640 | 2147483647 25497 96 | 0.000 % |
5.97/6.07 c | 30349 | 3911 16696 50640 | 2147483647 25838 96 | 0.000 % |
6.07/6.18 c | 30721 | 3911 16696 50640 | 2147483647 26210 96 | 0.000 % |
6.17/6.30 c | 31130 | 3911 16696 50640 | 2147483647 26619 96 | 0.000 % |
6.36/6.43 c | 31579 | 3911 16696 50640 | 2147483647 27068 96 | 0.000 % |
6.47/6.58 c | 32075 | 3911 16696 50640 | 2147483647 27564 97 | 0.000 % |
6.57/6.61 c | 32177 | 3911 16696 50640 | 2147483647 27666 97 | 0.000 % |
6.57/6.65 c | 32287 | 3911 16696 50640 | 2147483647 27776 96 | 0.000 % |
6.57/6.68 c | 32408 | 3911 16696 50640 | 2147483647 27897 96 | 0.000 % |
6.66/6.73 c | 32545 | 3911 16696 50640 | 2147483647 28034 96 | 0.000 % |
6.66/6.78 c | 32692 | 3911 16696 50640 | 2147483647 28181 96 | 0.000 % |
6.76/6.83 c | 32852 | 3911 16696 50640 | 2147483647 28341 96 | 0.000 % |
6.76/6.89 c | 33028 | 3911 16696 50640 | 2147483647 28517 96 | 0.000 % |
6.87/6.96 c | 33221 | 3911 16696 50640 | 2147483647 28710 96 | 0.000 % |
6.97/7.02 c | 33433 | 3911 16696 50640 | 2147483647 28922 96 | 0.000 % |
7.07/7.11 c | 33666 | 3911 16696 50640 | 2147483647 29155 97 | 0.000 % |
7.07/7.18 c | 33922 | 3911 16696 50640 | 2147483647 29411 96 | 0.000 % |
7.17/7.27 c | 34203 | 3911 16696 50640 | 2147483647 29692 97 | 0.000 % |
7.27/7.37 c | 34512 | 3911 16696 50640 | 2147483647 30001 97 | 0.000 % |
7.37/7.49 c | 34851 | 3911 16696 50640 | 2147483647 30340 97 | 0.000 % |
7.57/7.61 c | 35224 | 3911 16696 50640 | 2147483647 30713 97 | 0.000 % |
7.67/7.75 c | 35634 | 3911 16696 50640 | 2147483647 31123 97 | 0.000 % |
7.76/7.89 c | 36083 | 3911 16696 50640 | 2147483647 31572 97 | 0.000 % |
7.96/8.05 c | 36576 | 3911 16696 50640 | 2147483647 32065 97 | 0.000 % |
8.16/8.23 c | 37119 | 3911 16696 50640 | 2147483647 32608 97 | 0.000 % |
8.16/8.26 c | 37219 | 3911 16696 50640 | 2147483647 32708 97 | 0.000 % |
8.26/8.30 c | 37329 | 3911 16696 50640 | 2147483647 32818 97 | 0.000 % |
8.26/8.34 c | 37450 | 3911 16696 50640 | 2147483647 32939 97 | 0.000 % |
8.26/8.39 c | 37584 | 3911 16696 50640 | 2147483647 33073 97 | 0.000 % |
8.36/8.45 c | 37730 | 3911 16696 50640 | 2147483647 33219 97 | 0.000 % |
8.47/8.51 c | 37891 | 3911 16696 50640 | 2147483647 33380 97 | 0.000 % |
8.47/8.57 c | 38067 | 3911 16696 50640 | 2147483647 33556 97 | 0.000 % |
8.57/8.64 c | 38262 | 3911 16696 50640 | 2147483647 33751 97 | 0.000 % |
8.67/8.71 c | 38474 | 3911 16696 50640 | 2147483647 33963 97 | 0.000 % |
8.67/8.80 c | 38707 | 3911 16696 50640 | 2147483647 34196 97 | 0.000 % |
8.77/8.88 c | 38963 | 3911 16696 50640 | 2147483647 34452 97 | 0.000 % |
8.87/8.99 c | 39244 | 3911 16696 50640 | 2147483647 34733 97 | 0.000 % |
8.97/9.09 c | 39555 | 3911 16696 50640 | 2147483647 35044 97 | 0.000 % |
9.17/9.21 c | 39894 | 3911 16696 50640 | 2147483647 35383 97 | 0.000 % |
9.27/9.34 c | 40266 | 3911 16696 50640 | 2147483647 35755 97 | 0.000 % |
9.37/9.48 c | 40676 | 3911 16696 50640 | 2147483647 36165 97 | 0.000 % |
9.57/9.64 c | 41128 | 3911 16696 50640 | 2147483647 36617 97 | 0.000 % |
9.77/9.81 c | 41622 | 3911 16696 50640 | 2147483647 37111 97 | 0.000 % |
9.96/10.00 c | 42166 | 3911 16696 50640 | 2147483647 37655 97 | 0.000 % |
10.16/10.22 c | 42762 | 3911 16696 50640 | 2147483647 38251 98 | 0.000 % |
10.16/10.26 c | 42862 | 3911 16696 50640 | 2147483647 38351 98 | 0.000 % |
10.26/10.30 c | 42975 | 3911 16696 50640 | 2147483647 38464 98 | 0.000 % |
10.26/10.35 c | 43097 | 3911 16696 50640 | 2147483647 38586 98 | 0.000 % |
10.36/10.41 c | 43230 | 3911 16696 50640 | 2147483647 38719 98 | 0.000 % |
10.36/10.47 c | 43376 | 3911 16696 50640 | 2147483647 38865 97 | 0.000 % |
10.46/10.53 c | 43536 | 3911 16696 50640 | 2147483647 39025 97 | 0.000 % |
10.56/10.62 c | 43715 | 3911 16696 50640 | 2147483647 39204 97 | 0.000 % |
10.67/10.70 c | 43908 | 3911 16696 50640 | 2147483647 39397 98 | 0.000 % |
10.67/10.78 c | 44121 | 3911 16696 50640 | 2147483647 39610 97 | 0.000 % |
10.77/10.87 c | 44354 | 3911 16696 50640 | 2147483647 39843 97 | 0.000 % |
10.87/10.96 c | 44611 | 3911 16696 50640 | 2147483647 40100 97 | 0.000 % |
10.97/11.08 c | 44895 | 3911 16696 50640 | 2147483647 40384 97 | 0.000 % |
11.17/11.20 c | 45209 | 3911 16696 50640 | 2147483647 40698 97 | 0.000 % |
11.27/11.34 c | 45548 | 3911 16696 50640 | 2147483647 41037 97 | 0.000 % |
11.37/11.50 c | 45921 | 3911 16696 50640 | 2147483647 41410 97 | 0.000 % |
11.57/11.66 c | 46332 | 3911 16696 50640 | 2147483647 41821 97 | 0.000 % |
11.76/11.84 c | 46782 | 3911 16696 50640 | 2147483647 42271 97 | 0.000 % |
11.97/12.02 c | 47278 | 3911 16696 50640 | 2147483647 42767 98 | 0.000 % |
12.17/12.24 c | 47820 | 3911 16696 50640 | 2147483647 43309 98 | 0.000 % |
12.36/12.46 c | 48416 | 3911 16696 50640 | 2147483647 43905 98 | 0.000 % |
12.66/12.71 c | 49072 | 3911 16696 50640 | 2147483647 44561 98 | 0.000 % |
12.66/12.76 c | 49173 | 3911 16696 50640 | 2147483647 44662 98 | 0.000 % |
12.76/12.82 c | 49285 | 3911 16696 50640 | 2147483647 44774 98 | 0.000 % |
12.76/12.87 c | 49406 | 3911 16696 50640 | 2147483647 44895 98 | 0.000 % |
12.87/12.93 c | 49540 | 3911 16696 50640 | 2147483647 45029 98 | 0.000 % |
12.97/13.01 c | 49686 | 3911 16696 50640 | 2147483647 45175 98 | 0.000 % |
12.97/13.07 c | 49847 | 3911 16696 50640 | 2147483647 45336 98 | 0.000 % |
13.08/13.15 c | 50023 | 3911 16696 50640 | 2147483647 45512 98 | 0.000 % |
13.17/13.25 c | 50216 | 3911 16696 50640 | 2147483647 45705 98 | 0.000 % |
13.27/13.35 c | 50430 | 3911 16696 50640 | 2147483647 45919 98 | 0.000 % |
13.37/13.45 c | 50663 | 3911 16696 50640 | 2147483647 46152 98 | 0.000 % |
13.47/13.54 c | 50919 | 3911 16696 50640 | 2147483647 46408 98 | 0.000 % |
13.57/13.66 c | 51202 | 3911 16696 50640 | 2147483647 46691 98 | 0.000 % |
13.67/13.78 c | 51511 | 3911 16696 50640 | 2147483647 47000 98 | 0.000 % |
13.87/13.92 c | 51850 | 3911 16696 50640 | 2147483647 47339 98 | 0.000 % |
13.97/14.08 c | 52223 | 3911 16696 50640 | 2147483647 47712 98 | 0.000 % |
14.17/14.26 c | 52633 | 3911 16696 50640 | 2147483647 48122 98 | 0.000 % |
14.37/14.46 c | 53083 | 3911 16696 50640 | 2147483647 48572 98 | 0.000 % |
14.57/14.69 c | 53577 | 3911 16696 50640 | 2147483647 49066 98 | 0.000 % |
14.86/14.92 c | 54119 | 3911 16696 50640 | 2147483647 49608 98 | 0.000 % |
15.06/15.17 c | 54718 | 3911 16696 50640 | 2147483647 50207 98 | 0.000 % |
15.37/15.45 c | 55373 | 3911 16696 50640 | 2147483647 50862 98 | 0.000 % |
15.66/15.76 c | 56094 | 3911 16696 50640 | 2147483647 51583 98 | 0.000 % |
15.76/15.82 c | 56196 | 3911 16696 50640 | 2147483647 51685 98 | 0.000 % |
15.76/15.88 c | 56307 | 3911 16696 50640 | 2147483647 51796 98 | 0.000 % |
15.86/15.94 c | 56429 | 3911 16696 50640 | 2147483647 51918 98 | 0.000 % |
15.96/16.00 c | 56563 | 3911 16696 50640 | 2147483647 52052 98 | 0.000 % |
15.96/16.07 c | 56709 | 3911 16696 50640 | 2147483647 52198 98 | 0.000 % |
16.06/16.15 c | 56870 | 3911 16696 50640 | 2147483647 52359 98 | 0.000 % |
16.16/16.23 c | 57046 | 3911 16696 50640 | 2147483647 52535 98 | 0.000 % |
16.26/16.33 c | 57239 | 3911 16696 50640 | 2147483647 52728 98 | 0.000 % |
16.37/16.43 c | 57451 | 3911 16696 50640 | 2147483647 52940 98 | 0.000 % |
16.47/16.54 c | 57684 | 3911 16696 50640 | 2147483647 53173 98 | 0.000 % |
16.56/16.66 c | 57940 | 3911 16696 50640 | 2147483647 53429 98 | 0.000 % |
16.66/16.78 c | 58222 | 3911 16696 50640 | 2147483647 53711 98 | 0.000 % |
16.86/16.92 c | 58534 | 3911 16696 50640 | 2147483647 54023 98 | 0.000 % |
17.06/17.10 c | 58873 | 3911 16696 50640 | 2147483647 54362 98 | 0.000 % |
17.16/17.27 c | 59245 | 3911 16696 50640 | 2147483647 54734 98 | 0.000 % |
17.36/17.45 c | 59654 | 3911 16696 50640 | 2147483647 55143 98 | 0.000 % |
17.57/17.66 c | 60103 | 3911 16696 50640 | 2147483647 55592 98 | 0.000 % |
17.77/17.89 c | 60597 | 3911 16696 50640 | 2147483647 56086 98 | 0.000 % |
18.07/18.15 c | 61140 | 3911 16696 50640 | 2147483647 56629 98 | 0.000 % |
18.37/18.43 c | 61736 | 3911 16696 50640 | 2147483647 57225 99 | 0.000 % |
18.67/18.75 c | 62391 | 3911 16696 50640 | 2147483647 57880 99 | 0.000 % |
19.06/19.10 c | 63111 | 3911 16696 50640 | 2147483647 58600 99 | 0.000 % |
19.36/19.49 c | 63903 | 3911 16696 50640 | 2147483647 59392 99 | 0.000 % |
19.46/19.55 c | 64005 | 3911 16696 50640 | 2147483647 59494 99 | 0.000 % |
19.56/19.62 c | 64115 | 3911 16696 50640 | 2147483647 59604 99 | 0.000 % |
19.56/19.69 c | 64236 | 3911 16696 50640 | 2147483647 59725 99 | 0.000 % |
19.67/19.75 c | 64369 | 3911 16696 50640 | 2147483647 59858 99 | 0.000 % |
19.77/19.83 c | 64515 | 3911 16696 50640 | 2147483647 60004 99 | 0.000 % |
19.86/19.93 c | 64675 | 3911 16696 50640 | 2147483647 60164 99 | 0.000 % |
19.96/20.02 c | 64851 | 3911 16696 50640 | 2147483647 60340 99 | 0.000 % |
20.06/20.12 c | 65044 | 3911 16696 50640 | 2147483647 60533 99 | 0.000 % |
20.16/20.24 c | 65256 | 3911 16696 50640 | 2147483647 60745 99 | 0.000 % |
20.26/20.35 c | 65489 | 3911 16696 50640 | 2147483647 60978 99 | 0.000 % |
20.36/20.49 c | 65747 | 3911 16696 50640 | 2147483647 61236 99 | 0.000 % |
20.56/20.63 c | 66029 | 3911 16696 50640 | 2147483647 61518 99 | 0.000 % |
20.66/20.80 c | 66339 | 3911 16696 50640 | 2147483647 61828 99 | 0.000 % |
20.86/20.99 c | 66678 | 3911 16696 50640 | 2147483647 62167 99 | 0.000 % |
21.06/21.18 c | 67050 | 3911 16696 50640 | 2147483647 62539 99 | 0.000 % |
21.26/21.39 c | 67463 | 3911 16696 50640 | 2147483647 62952 99 | 0.000 % |
21.56/21.63 c | 67912 | 3911 16696 50640 | 2147483647 63401 99 | 0.000 % |
21.76/21.88 c | 68406 | 3911 16696 50640 | 2147483647 63895 99 | 0.000 % |
22.06/22.17 c | 68949 | 3911 16696 50640 | 2147483647 64438 99 | 0.000 % |
22.36/22.48 c | 69545 | 3911 16696 50640 | 2147483647 65034 99 | 0.000 % |
22.76/22.83 c | 70200 | 3911 16696 50640 | 2147483647 65689 99 | 0.000 % |
23.17/23.20 c | 70921 | 3911 16696 50640 | 2147483647 66410 99 | 0.000 % |
23.57/23.62 c | 71716 | 3911 16696 50640 | 2147483647 67205 100 | 0.000 % |
23.96/24.10 c | 72587 | 3911 16696 50640 | 2147483647 68076 100 | 0.000 % |
24.07/24.18 c | 72687 | 3911 16696 50640 | 2147483647 68176 100 | 0.000 % |
24.17/24.25 c | 72797 | 3911 16696 50640 | 2147483647 68286 100 | 0.000 % |
24.26/24.33 c | 72918 | 3911 16696 50640 | 2147483647 68407 100 | 0.000 % |
24.36/24.43 c | 73051 | 3911 16696 50640 | 2147483647 68540 100 | 0.000 % |
24.46/24.51 c | 73197 | 3911 16696 50640 | 2147483647 68686 100 | 0.000 % |
24.56/24.60 c | 73358 | 3911 16696 50640 | 2147483647 68847 100 | 0.000 % |
24.66/24.71 c | 73534 | 3911 16696 50640 | 2147483647 69023 100 | 0.000 % |
24.76/24.84 c | 73727 | 3911 16696 50640 | 2147483647 69216 100 | 0.000 % |
24.86/24.97 c | 73939 | 3911 16696 50640 | 2147483647 69428 100 | 0.000 % |
25.06/25.10 c | 74172 | 3911 16696 50640 | 2147483647 69661 100 | 0.000 % |
25.17/25.22 c | 74429 | 3911 16696 50640 | 2147483647 69918 100 | 0.000 % |
25.36/25.41 c | 74712 | 3911 16696 50640 | 2147483647 70201 100 | 0.000 % |
25.46/25.59 c | 75023 | 3911 16696 50640 | 2147483647 70512 100 | 0.000 % |
25.76/25.80 c | 75363 | 3911 16696 50640 | 2147483647 70852 100 | 0.000 % |
25.96/26.04 c | 75735 | 3911 16696 50640 | 2147483647 71224 100 | 0.000 % |
26.16/26.28 c | 76144 | 3911 16696 50640 | 2147483647 71633 100 | 0.000 % |
26.46/26.55 c | 76593 | 3911 16696 50640 | 2147483647 72082 100 | 0.000 % |
26.76/26.82 c | 77086 | 3911 16696 50640 | 2147483647 72575 100 | 0.000 % |
27.06/27.16 c | 77628 | 3911 16696 50640 | 2147483647 73117 100 | 0.000 % |
27.37/27.49 c | 78225 | 3911 16696 50640 | 2147483647 73714 100 | 0.000 % |
27.76/27.86 c | 78881 | 3911 16696 50640 | 2147483647 74370 100 | 0.000 % |
28.26/28.32 c | 79602 | 3911 16696 50640 | 2147483647 75091 100 | 0.000 % |
28.76/28.80 c | 80395 | 3911 16696 50640 | 2147483647 75884 100 | 0.000 % |
29.26/29.33 c | 81267 | 3911 16696 50640 | 2147483647 76756 100 | 0.000 % |
29.86/29.92 c | 82228 | 3911 16696 50640 | 2147483647 77717 100 | 0.000 % |
29.86/29.98 c | 82328 | 3911 16696 50640 | 2147483647 77817 100 | 0.000 % |
29.96/30.07 c | 82440 | 3911 16696 50640 | 2147483647 77929 100 | 0.000 % |
30.06/30.15 c | 82562 | 3911 16696 50640 | 2147483647 78051 100 | 0.000 % |
30.16/30.25 c | 82695 | 3911 16696 50640 | 2147483647 78184 100 | 0.000 % |
30.26/30.35 c | 82843 | 3911 16696 50640 | 2147483647 78332 100 | 0.000 % |
30.36/30.46 c | 83005 | 3911 16696 50640 | 2147483647 78494 100 | 0.000 % |
30.46/30.59 c | 83181 | 3911 16696 50640 | 2147483647 78670 100 | 0.000 % |
30.66/30.72 c | 83374 | 3911 16696 50640 | 2147483647 78863 100 | 0.000 % |
30.76/30.85 c | 83586 | 3911 16696 50640 | 2147483647 79075 100 | 0.000 % |
30.96/31.00 c | 83823 | 3911 16696 50640 | 2147483647 79312 100 | 0.000 % |
31.06/31.18 c | 84080 | 3911 16696 50640 | 2147483647 79569 100 | 0.000 % |
31.26/31.36 c | 84361 | 3911 16696 50640 | 2147483647 79850 100 | 0.000 % |
31.46/31.57 c | 84670 | 3911 16696 50640 | 2147483647 80159 100 | 0.000 % |
31.66/31.79 c | 85010 | 3911 16696 50640 | 2147483647 80499 100 | 0.000 % |
31.96/32.05 c | 85382 | 3911 16696 50640 | 2147483647 80871 100 | 0.000 % |
32.26/32.32 c | 85791 | 3911 16696 50640 | 2147483647 81280 100 | 0.000 % |
32.56/32.62 c | 86241 | 3911 16696 50640 | 2147483647 81730 100 | 0.000 % |
32.86/32.92 c | 86734 | 3911 16696 50640 | 2147483647 82223 100 | 0.000 % |
33.16/33.27 c | 87276 | 3911 16696 50640 | 2147483647 82765 100 | 0.000 % |
33.56/33.65 c | 87874 | 3911 16696 50640 | 2147483647 83363 100 | 0.000 % |
33.96/34.07 c | 88530 | 3911 16696 50640 | 2147483647 84019 101 | 0.000 % |
34.45/34.54 c | 89250 | 3911 16696 50640 | 2147483647 84739 101 | 0.000 % |
34.96/35.05 c | 90042 | 3911 16696 50640 | 2147483647 85531 101 | 0.000 % |
35.56/35.65 c | 90913 | 3911 16696 50640 | 2147483647 86402 101 | 0.000 % |
36.16/36.27 c | 91871 | 3911 16696 50640 | 2147483647 87360 101 | 0.000 % |
36.86/36.95 c | 92925 | 3911 16696 50640 | 2147483647 88414 101 | 0.000 % |
36.96/37.04 c | 93025 | 3911 16696 50640 | 2147483647 88514 101 | 0.000 % |
37.06/37.14 c | 93138 | 3911 16696 50640 | 2147483647 88627 101 | 0.000 % |
37.16/37.25 c | 93260 | 3911 16696 50640 | 2147483647 88749 101 | 0.000 % |
37.26/37.35 c | 93393 | 3911 16696 50640 | 2147483647 88882 101 | 0.000 % |
37.36/37.47 c | 93539 | 3911 16696 50640 | 2147483647 89028 101 | 0.000 % |
37.46/37.60 c | 93702 | 3911 16696 50640 | 2147483647 89191 101 | 0.000 % |
37.65/37.72 c | 93879 | 3911 16696 50640 | 2147483647 89368 101 | 0.000 % |
37.76/37.89 c | 94072 | 3911 16696 50640 | 2147483647 89561 101 | 0.000 % |
37.96/38.04 c | 94284 | 3911 16696 50640 | 2147483647 89773 101 | 0.000 % |
38.16/38.22 c | 94517 | 3911 16696 50640 | 2147483647 90006 101 | 0.000 % |
38.36/38.41 c | 94774 | 3911 16696 50640 | 2147483647 90263 101 | 0.000 % |
38.56/38.64 c | 95056 | 3911 16696 50640 | 2147483647 90545 101 | 0.000 % |
38.85/38.90 c | 95365 | 3911 16696 50640 | 2147483647 90854 101 | 0.000 % |
39.05/39.16 c | 95705 | 3911 16696 50640 | 2147483647 91194 101 | 0.000 % |
39.35/39.44 c | 96077 | 3911 16696 50640 | 2147483647 91566 101 | 0.000 % |
39.65/39.74 c | 96486 | 3911 16696 50640 | 2147483647 91975 101 | 0.000 % |
39.95/40.08 c | 96938 | 3911 16696 50640 | 2147483647 92427 101 | 0.000 % |
40.36/40.40 c | 97431 | 3911 16696 50640 | 2147483647 92920 101 | 0.000 % |
40.66/40.77 c | 97973 | 3911 16696 50640 | 2147483647 93462 101 | 0.000 % |
41.16/41.22 c | 98569 | 3911 16696 50640 | 2147483647 94058 101 | 0.000 % |
41.66/41.72 c | 99225 | 3911 16696 50640 | 2147483647 94714 102 | 0.000 % |
42.15/42.25 c | 99945 | 3911 16696 50640 | 2147483647 95434 102 | 0.000 % |
42.76/42.83 c | 100737 | 3911 16696 50640 | 2147483647 96226 102 | 0.000 % |
43.25/43.40 c | 101608 | 3911 16696 50640 | 2147483647 97097 102 | 0.000 % |
43.96/44.05 c | 102566 | 3911 16696 50640 | 2147483647 98055 102 | 0.000 % |
44.76/44.87 c | 103621 | 3911 16696 50640 | 2147483647 99110 102 | 0.000 % |
45.56/45.69 c | 104779 | 3911 16696 50640 | 2147483647 100268 102 | 0.000 % |
45.66/45.77 c | 104879 | 3911 16696 50640 | 2147483647 100368 102 | 0.000 % |
45.76/45.86 c | 104989 | 3911 16696 50640 | 2147483647 100478 102 | 0.000 % |
45.86/45.97 c | 105110 | 3911 16696 50640 | 2147483647 100599 102 | 0.000 % |
45.96/46.08 c | 105245 | 3911 16696 50640 | 2147483647 100734 102 | 0.000 % |
46.06/46.20 c | 105392 | 3911 16696 50640 | 2147483647 100881 102 | 0.000 % |
46.25/46.34 c | 105554 | 3911 16696 50640 | 2147483647 101043 102 | 0.000 % |
46.45/46.50 c | 105730 | 3911 16696 50640 | 2147483647 101219 102 | 0.000 % |
46.55/46.67 c | 105923 | 3911 16696 50640 | 2147483647 101412 102 | 0.000 % |
46.75/46.85 c | 106138 | 3911 16696 50640 | 2147483647 101627 102 | 0.000 % |
46.95/47.05 c | 106372 | 3911 16696 50640 | 2147483647 101861 102 | 0.000 % |
47.16/47.27 c | 106630 | 3911 16696 50640 | 2147483647 102119 102 | 0.000 % |
47.45/47.51 c | 106911 | 3911 16696 50640 | 2147483647 102400 102 | 0.000 % |
47.65/47.76 c | 107221 | 3911 16696 50640 | 2147483647 102710 102 | 0.000 % |
47.95/48.05 c | 107562 | 3911 16696 50640 | 2147483647 103051 102 | 0.000 % |
48.25/48.35 c | 107934 | 3911 16696 50640 | 2147483647 103423 102 | 0.000 % |
48.55/48.66 c | 108344 | 3911 16696 50640 | 2147483647 103833 102 | 0.000 % |
48.85/48.99 c | 108794 | 3911 16696 50640 | 2147483647 104283 102 | 0.000 % |
49.25/49.37 c | 109287 | 3911 16696 50640 | 2147483647 104776 102 | 0.000 % |
49.75/49.80 c | 109829 | 3911 16696 50640 | 2147483647 105318 102 | 0.000 % |
50.15/50.25 c | 110425 | 3911 16696 50640 | 2147483647 105914 102 | 0.000 % |
50.65/50.78 c | 111080 | 3911 16696 50640 | 2147483647 106569 102 | 0.000 % |
51.25/51.40 c | 111800 | 3911 16696 50640 | 2147483647 107289 102 | 0.000 % |
51.95/52.07 c | 112593 | 3911 16696 50640 | 2147483647 108082 102 | 0.000 % |
52.65/52.76 c | 113464 | 3911 16696 50640 | 2147483647 108953 102 | 0.000 % |
53.44/53.56 c | 114422 | 3911 16696 50640 | 2147483647 109911 103 | 0.000 % |
54.25/54.39 c | 115475 | 3911 16696 50640 | 2147483647 110964 103 | 0.000 % |
55.25/55.34 c | 116633 | 3911 16696 50640 | 2147483647 112122 103 | 0.000 % |
56.25/56.30 c | 117906 | 3911 16696 50640 | 2147483647 113395 103 | 0.000 % |
56.25/56.38 c | 118006 | 3911 16696 50640 | 2147483647 113495 103 | 0.000 % |
56.45/56.51 c | 118117 | 3911 16696 50640 | 2147483647 113606 103 | 0.000 % |
56.55/56.63 c | 118241 | 3911 16696 50640 | 2147483647 113730 103 | 0.000 % |
56.65/56.78 c | 118375 | 3911 16696 50640 | 2147483647 113864 103 | 0.000 % |
56.85/56.91 c | 118521 | 3911 16696 50640 | 2147483647 114010 103 | 0.000 % |
56.95/57.07 c | 118682 | 3911 16696 50640 | 2147483647 114171 103 | 0.000 % |
57.15/57.23 c | 118858 | 3911 16696 50640 | 2147483647 114347 103 | 0.000 % |
57.35/57.41 c | 119051 | 3911 16696 50640 | 2147483647 114540 103 | 0.000 % |
57.55/57.64 c | 119264 | 3911 16696 50640 | 2147483647 114753 103 | 0.000 % |
57.75/57.85 c | 119497 | 3911 16696 50640 | 2147483647 114986 103 | 0.000 % |
57.94/58.07 c | 119753 | 3911 16696 50640 | 2147483647 115242 103 | 0.000 % |
58.15/58.30 c | 120034 | 3911 16696 50640 | 2147483647 115523 103 | 0.000 % |
58.54/58.61 c | 120344 | 3911 16696 50640 | 2147483647 115833 103 | 0.000 % |
58.84/58.90 c | 120685 | 3911 16696 50640 | 2147483647 116174 103 | 0.000 % |
59.14/59.24 c | 121057 | 3911 16696 50640 | 2147483647 116546 103 | 0.000 % |
59.54/59.63 c | 121466 | 3911 16696 50640 | 2147483647 116955 103 | 0.000 % |
59.94/60.03 c | 121915 | 3911 16696 50640 | 2147483647 117404 103 | 0.000 % |
60.34/60.48 c | 122408 | 3911 16696 50640 | 2147483647 117897 103 | 0.000 % |
60.84/60.99 c | 122953 | 3911 16696 50640 | 2147483647 118442 103 | 0.000 % |
61.45/61.52 c | 123549 | 3911 16696 50640 | 2147483647 119038 103 | 0.000 % |
62.05/62.16 c | 124205 | 3911 16696 50640 | 2147483647 119694 103 | 0.000 % |
62.65/62.79 c | 124925 | 3911 16696 50640 | 2147483647 120414 103 | 0.000 % |
63.45/63.56 c | 125717 | 3911 16696 50640 | 2147483647 121206 103 | 0.000 % |
64.25/64.32 c | 126588 | 3911 16696 50640 | 2147483647 122077 103 | 0.000 % |
65.04/65.17 c | 127546 | 3911 16696 50640 | 2147483647 123035 103 | 0.000 % |
65.95/66.06 c | 128599 | 3911 16696 50640 | 2147483647 124088 103 | 0.000 % |
67.04/67.14 c | 129758 | 3911 16696 50640 | 2147483647 125247 103 | 0.000 % |
68.24/68.32 c | 131031 | 3911 16696 50640 | 2147483647 126520 103 | 0.000 % |
69.44/69.52 c | 132435 | 3911 16696 50640 | 2147483647 127924 103 | 0.000 % |
69.54/69.63 c | 132536 | 3911 16696 50640 | 2147483647 128025 103 | 0.000 % |
69.64/69.77 c | 132647 | 3911 16696 50640 | 2147483647 128136 103 | 0.000 % |
69.74/69.89 c | 132768 | 3911 16696 50640 | 2147483647 128257 103 | 0.000 % |
69.94/70.03 c | 132901 | 3911 16696 50640 | 2147483647 128390 103 | 0.000 % |
70.04/70.18 c | 133050 | 3911 16696 50640 | 2147483647 128539 103 | 0.000 % |
70.24/70.37 c | 133211 | 3911 16696 50640 | 2147483647 128700 103 | 0.000 % |
70.44/70.55 c | 133387 | 3911 16696 50640 | 2147483647 128876 103 | 0.000 % |
70.64/70.76 c | 133581 | 3911 16696 50640 | 2147483647 129070 103 | 0.000 % |
70.94/71.02 c | 133793 | 3911 16696 50640 | 2147483647 129282 103 | 0.000 % |
71.14/71.25 c | 134026 | 3911 16696 50640 | 2147483647 129515 103 | 0.000 % |
71.44/71.53 c | 134282 | 3911 16696 50640 | 2147483647 129771 103 | 0.000 % |
71.73/71.84 c | 134564 | 3911 16696 50640 | 2147483647 130053 103 | 0.000 % |
72.04/72.17 c | 134875 | 3911 16696 50640 | 2147483647 130364 103 | 0.000 % |
72.45/72.51 c | 135214 | 3911 16696 50640 | 2147483647 130703 103 | 0.000 % |
72.74/72.89 c | 135587 | 3911 16696 50640 | 2147483647 131076 103 | 0.000 % |
73.24/73.31 c | 135998 | 3911 16696 50640 | 2147483647 131487 103 | 0.000 % |
73.64/73.77 c | 136447 | 3911 16696 50640 | 2147483647 131936 103 | 0.000 % |
74.14/74.23 c | 136943 | 3911 16696 50640 | 2147483647 132432 103 | 0.000 % |
74.64/74.75 c | 137485 | 3911 16696 50640 | 2147483647 132974 103 | 0.000 % |
75.23/75.35 c | 138083 | 3911 16696 50640 | 2147483647 133572 103 | 0.000 % |
75.93/76.02 c | 138738 | 3911 16696 50640 | 2147483647 134227 103 | 0.000 % |
76.63/76.75 c | 139459 | 3911 16696 50640 | 2147483647 134948 103 | 0.000 % |
77.44/77.51 c | 140252 | 3911 16696 50640 | 2147483647 135741 103 | 0.000 % |
78.34/78.42 c | 141123 | 3911 16696 50640 | 2147483647 136612 103 | 0.000 % |
79.24/79.36 c | 142083 | 3911 16696 50640 | 2147483647 137572 103 | 0.000 % |
80.34/80.44 c | 143137 | 3911 16696 50640 | 2147483647 138626 103 | 0.000 % |
81.43/81.58 c | 144296 | 3911 16696 50640 | 2147483647 139785 103 | 0.000 % |
82.74/82.86 c | 145573 | 3911 16696 50640 | 2147483647 141062 103 | 0.000 % |
84.24/84.36 c | 146976 | 3911 16696 50640 | 2147483647 142465 104 | 0.000 % |
85.74/85.86 c | 148516 | 3911 16696 50640 | 2147483647 144005 104 | 0.000 % |
85.83/85.99 c | 148616 | 3911 16696 50640 | 2147483647 144105 104 | 0.000 % |
86.03/86.12 c | 148726 | 3911 16696 50640 | 2147483647 144215 104 | 0.000 % |
86.13/86.29 c | 148847 | 3911 16696 50640 | 2147483647 144336 104 | 0.000 % |
86.33/86.46 c | 148982 | 3911 16696 50640 | 2147483647 144471 104 | 0.000 % |
86.53/86.62 c | 149128 | 3911 16696 50640 | 2147483647 144617 104 | 0.000 % |
86.73/86.81 c | 149289 | 3911 16696 50640 | 2147483647 144778 104 | 0.000 % |
86.83/87.00 c | 149465 | 3911 16696 50640 | 2147483647 144954 104 | 0.000 % |
87.03/87.20 c | 149659 | 3911 16696 50640 | 2147483647 145148 104 | 0.000 % |
87.33/87.44 c | 149872 | 3911 16696 50640 | 2147483647 145361 104 | 0.000 % |
87.63/87.71 c | 150106 | 3911 16696 50640 | 2147483647 145595 104 | 0.000 % |
87.93/88.03 c | 150364 | 3911 16696 50640 | 2147483647 145853 104 | 0.000 % |
88.23/88.36 c | 150645 | 3911 16696 50640 | 2147483647 146134 104 | 0.000 % |
88.63/88.70 c | 150955 | 3911 16696 50640 | 2147483647 146444 104 | 0.000 % |
88.93/89.08 c | 151295 | 3911 16696 50640 | 2147483647 146784 104 | 0.000 % |
89.43/89.51 c | 151668 | 3911 16696 50640 | 2147483647 147157 104 | 0.000 % |
89.93/90.00 c | 152078 | 3911 16696 50640 | 2147483647 147567 104 | 0.000 % |
90.44/90.53 c | 152528 | 3911 16696 50640 | 2147483647 148017 104 | 0.000 % |
90.93/91.09 c | 153025 | 3911 16696 50640 | 2147483647 148514 104 | 0.000 % |
91.53/91.67 c | 153568 | 3911 16696 50640 | 2147483647 149057 103 | 0.000 % |
92.24/92.33 c | 154164 | 3911 16696 50640 | 2147483647 149653 103 | 0.000 % |
92.93/93.02 c | 154819 | 3911 16696 50640 | 2147483647 150308 104 | 0.000 % |
93.73/93.82 c | 155541 | 3911 16696 50640 | 2147483647 151030 104 | 0.000 % |
94.54/94.66 c | 156333 | 3911 16696 50640 | 2147483647 151822 104 | 0.000 % |
95.43/95.57 c | 157205 | 3911 16696 50640 | 2147483647 152694 104 | 0.000 % |
96.43/96.55 c | 158163 | 3911 16696 50640 | 2147483647 153652 104 | 0.000 % |
97.53/97.68 c | 159217 | 3911 16696 50640 | 2147483647 154706 104 | 0.000 % |
98.83/98.92 c | 160375 | 3911 16696 50640 | 2147483647 155864 104 | 0.000 % |
100.12/100.23 c | 161650 | 3911 16696 50640 | 2147483647 157139 104 | 0.000 % |
101.52/101.62 c | 163050 | 3911 16696 50640 | 2147483647 158539 104 | 0.000 % |
103.13/103.30 c | 164591 | 3911 16696 50640 | 2147483647 160080 104 | 0.000 % |
105.13/105.20 c | 166287 | 3911 16696 50640 | 2147483647 161776 104 | 0.000 % |
105.23/105.31 c | 166388 | 3911 16696 50640 | 2147483647 161877 104 | 0.000 % |
105.32/105.45 c | 166499 | 3911 16696 50640 | 2147483647 161988 104 | 0.000 % |
105.53/105.61 c | 166620 | 3911 16696 50640 | 2147483647 162109 104 | 0.000 % |
105.72/105.80 c | 166754 | 3911 16696 50640 | 2147483647 162243 104 | 0.000 % |
105.82/105.99 c | 166900 | 3911 16696 50640 | 2147483647 162389 104 | 0.000 % |
106.02/106.19 c | 167061 | 3911 16696 50640 | 2147483647 162550 104 | 0.000 % |
106.32/106.44 c | 167237 | 3911 16696 50640 | 2147483647 162726 104 | 0.000 % |
106.62/106.71 c | 167434 | 3911 16696 50640 | 2147483647 162923 104 | 0.000 % |
106.82/107.00 c | 167647 | 3911 16696 50640 | 2147483647 163136 104 | 0.000 % |
107.22/107.30 c | 167882 | 3911 16696 50640 | 2147483647 163371 104 | 0.000 % |
107.42/107.58 c | 168138 | 3911 16696 50640 | 2147483647 163627 104 | 0.000 % |
107.82/107.92 c | 168419 | 3911 16696 50640 | 2147483647 163908 104 | 0.000 % |
108.22/108.31 c | 168729 | 3911 16696 50640 | 2147483647 164218 104 | 0.000 % |
108.62/108.70 c | 169068 | 3911 16696 50640 | 2147483647 164557 104 | 0.000 % |
109.03/109.17 c | 169441 | 3911 16696 50640 | 2147483647 164930 104 | 0.000 % |
109.53/109.69 c | 169852 | 3911 16696 50640 | 2147483647 165341 104 | 0.000 % |
110.13/110.28 c | 170301 | 3911 16696 50640 | 2147483647 165790 104 | 0.000 % |
110.73/110.89 c | 170794 | 3911 16696 50640 | 2147483647 166283 104 | 0.000 % |
111.43/111.57 c | 171337 | 3911 16696 50640 | 2147483647 166826 104 | 0.000 % |
112.13/112.24 c | 171933 | 3911 16696 50640 | 2147483647 167422 104 | 0.000 % |
112.93/113.05 c | 172590 | 3911 16696 50640 | 2147483647 168079 104 | 0.000 % |
113.82/113.96 c | 173312 | 3911 16696 50640 | 2147483647 168801 104 | 0.000 % |
114.82/114.91 c | 174104 | 3911 16696 50640 | 2147483647 169593 104 | 0.000 % |
115.82/115.95 c | 174976 | 3911 16696 50640 | 2147483647 170465 104 | 0.000 % |
116.92/117.05 c | 175936 | 3911 16696 50640 | 2147483647 171425 104 | 0.000 % |
118.22/118.34 c | 176990 | 3911 16696 50640 | 2147483647 172479 104 | 0.000 % |
119.52/119.62 c | 178150 | 3911 16696 50640 | 2147483647 173639 104 | 0.000 % |
120.92/121.05 c | 179424 | 3911 16696 50640 | 2147483647 174913 105 | 0.000 % |
122.51/122.65 c | 180826 | 3911 16696 50640 | 2147483647 176315 105 | 0.000 % |
124.42/124.54 c | 182367 | 3911 16696 50640 | 2147483647 177856 105 | 0.000 % |
126.42/126.58 c | 184062 | 3911 16696 50640 | 2147483647 179551 105 | 0.000 % |
128.81/128.90 c | 185926 | 3911 16696 50640 | 2147483647 181415 105 | 0.000 % |
128.91/129.05 c | 186026 | 3911 16696 50640 | 2147483647 181515 105 | 0.000 % |
129.11/129.26 c | 186136 | 3911 16696 50640 | 2147483647 181625 105 | 0.000 % |
129.31/129.45 c | 186257 | 3911 16696 50640 | 2147483647 181746 105 | 0.000 % |
129.51/129.65 c | 186392 | 3911 16696 50640 | 2147483647 181881 105 | 0.000 % |
129.71/129.89 c | 186539 | 3911 16696 50640 | 2147483647 182028 105 | 0.000 % |
130.01/130.19 c | 186699 | 3911 16696 50640 | 2147483647 182188 105 | 0.000 % |
130.31/130.43 c | 186876 | 3911 16696 50640 | 2147483647 182365 105 | 0.000 % |
130.61/130.71 c | 187069 | 3911 16696 50640 | 2147483647 182558 105 | 0.000 % |
130.91/131.06 c | 187283 | 3911 16696 50640 | 2147483647 182772 105 | 0.000 % |
131.21/131.39 c | 187516 | 3911 16696 50640 | 2147483647 183005 105 | 0.000 % |
131.61/131.77 c | 187773 | 3911 16696 50640 | 2147483647 183262 105 | 0.000 % |
132.02/132.17 c | 188054 | 3911 16696 50640 | 2147483647 183543 105 | 0.000 % |
132.41/132.59 c | 188363 | 3911 16696 50640 | 2147483647 183852 105 | 0.000 % |
132.92/133.04 c | 188703 | 3911 16696 50640 | 2147483647 184192 105 | 0.000 % |
133.41/133.50 c | 189075 | 3911 16696 50640 | 2147483647 184564 105 | 0.000 % |
133.91/134.06 c | 189484 | 3911 16696 50640 | 2147483647 184973 105 | 0.000 % |
134.51/134.65 c | 189934 | 3911 16696 50640 | 2147483647 185423 105 | 0.000 % |
135.11/135.29 c | 190430 | 3911 16696 50640 | 2147483647 185919 105 | 0.000 % |
135.81/135.99 c | 190973 | 3911 16696 50640 | 2147483647 186462 105 | 0.000 % |
136.61/136.76 c | 191569 | 3911 16696 50640 | 2147483647 187058 105 | 0.000 % |
137.51/137.69 c | 192224 | 3911 16696 50640 | 2147483647 187713 105 | 0.000 % |
138.41/138.58 c | 192944 | 3911 16696 50640 | 2147483647 188433 105 | 0.000 % |
139.51/139.66 c | 193736 | 3911 16696 50640 | 2147483647 189225 105 | 0.000 % |
140.71/140.86 c | 194607 | 3911 16696 50640 | 2147483647 190096 105 | 0.000 % |
142.11/142.21 c | 195565 | 3911 16696 50640 | 2147483647 191054 105 | 0.000 % |
143.51/143.66 c | 196618 | 3911 16696 50640 | 2147483647 192107 105 | 0.000 % |
145.01/145.17 c | 197776 | 3911 16696 50640 | 2147483647 193265 105 | 0.000 % |
146.70/146.81 c | 199049 | 3911 16696 50640 | 2147483647 194538 105 | 0.000 % |
148.60/148.71 c | 200449 | 3911 16696 50640 | 2147483647 195938 105 | 0.000 % |
150.61/150.70 c | 201990 | 3911 16696 50640 | 2147483647 197479 105 | 0.000 % |
152.71/152.83 c | 203684 | 3911 16696 50640 | 2147483647 199173 105 | 0.000 % |
155.21/155.32 c | 205547 | 3911 16696 50640 | 2147483647 201036 105 | 0.000 % |
157.91/158.05 c | 207599 | 3911 16696 50640 | 2147483647 203088 105 | 0.000 % |
158.11/158.23 c | 207699 | 3911 16696 50640 | 2147483647 203188 105 | 0.000 % |
158.31/158.44 c | 207813 | 3911 16696 50640 | 2147483647 203302 105 | 0.000 % |
158.50/158.65 c | 207939 | 3911 16696 50640 | 2147483647 203428 105 | 0.000 % |
158.70/158.88 c | 208072 | 3911 16696 50640 | 2147483647 203561 105 | 0.000 % |
159.00/159.13 c | 208218 | 3911 16696 50640 | 2147483647 203707 105 | 0.000 % |
159.20/159.38 c | 208378 | 3911 16696 50640 | 2147483647 203867 105 | 0.000 % |
159.50/159.68 c | 208554 | 3911 16696 50640 | 2147483647 204043 105 | 0.000 % |
159.90/160.01 c | 208749 | 3911 16696 50640 | 2147483647 204238 105 | 0.000 % |
160.20/160.32 c | 208962 | 3911 16696 50640 | 2147483647 204451 105 | 0.000 % |
160.50/160.68 c | 209196 | 3911 16696 50640 | 2147483647 204685 105 | 0.000 % |
160.90/161.04 c | 209454 | 3911 16696 50640 | 2147483647 204943 105 | 0.000 % |
161.40/161.51 c | 209735 | 3911 16696 50640 | 2147483647 205224 105 | 0.000 % |
161.80/161.96 c | 210044 | 3911 16696 50640 | 205491 205533 105 | 0.000 % |
162.50/162.70 c | 210383 | 3911 16696 50640 | 205491 184063 106 | 0.000 % |
163.10/163.21 c | 210755 | 3911 16696 50640 | 205491 184435 106 | 0.000 % |
163.60/163.78 c | 211164 | 3911 16696 50640 | 205491 184844 106 | 0.000 % |
164.20/164.35 c | 211613 | 3911 16696 50640 | 205491 185293 106 | 0.000 % |
164.90/165.03 c | 212107 | 3911 16696 50640 | 205491 185787 106 | 0.000 % |
165.60/165.71 c | 212651 | 3911 16696 50640 | 205491 186331 106 | 0.000 % |
166.40/166.50 c | 213252 | 3911 16696 50640 | 205491 186932 106 | 0.000 % |
167.20/167.36 c | 213907 | 3911 16696 50640 | 205491 187587 106 | 0.000 % |
168.20/168.35 c | 214630 | 3911 16696 50640 | 205491 188310 106 | 0.000 % |
169.20/169.37 c | 215422 | 3911 16696 50640 | 205491 189102 106 | 0.000 % |
170.30/170.48 c | 216293 | 3911 16696 50640 | 205491 189973 106 | 0.000 % |
171.50/171.68 c | 217251 | 3911 16696 50640 | 205491 190931 106 | 0.000 % |
172.90/173.09 c | 218306 | 3911 16696 50640 | 205491 191986 106 | 0.000 % |
174.50/174.61 c | 219464 | 3911 16696 50640 | 205491 193144 106 | 0.000 % |
176.09/176.20 c | 220737 | 3911 16696 50640 | 2147483647 194417 106 | 0.000 % |
177.99/178.11 c | 222137 | 3911 16696 50640 | 2147483647 195817 106 | 0.000 % |
180.09/180.20 c | 223677 | 3911 16696 50640 | 2147483647 197357 106 | 0.000 % |
182.19/182.37 c | 225371 | 3911 16696 50640 | 2147483647 199051 106 | 0.000 % |
184.79/184.94 c | 227234 | 3911 16696 50640 | 2147483647 200914 106 | 0.000 % |
187.49/187.63 c | 229288 | 3911 16696 50640 | 2147483647 202968 106 | 0.000 % |
190.39/190.58 c | 231542 | 3911 16696 50640 | 2147483647 205222 106 | 0.000 % |
190.59/190.79 c | 231642 | 3911 16696 50640 | 2147483647 205322 106 | 0.000 % |
190.79/190.98 c | 231752 | 3911 16696 50640 | 2147483647 205432 106 | 0.000 % |
190.99/191.18 c | 231873 | 3911 16696 50640 | 2147483647 205553 106 | 0.000 % |
191.29/191.43 c | 232007 | 3911 16696 50640 | 2147483647 205687 106 | 0.000 % |
191.59/191.70 c | 232153 | 3911 16696 50640 | 2147483647 205833 106 | 0.000 % |
191.79/191.95 c | 232313 | 3911 16696 50640 | 2147483647 205993 106 | 0.000 % |
192.09/192.24 c | 232490 | 3911 16696 50640 | 2147483647 206170 106 | 0.000 % |
192.39/192.56 c | 232683 | 3911 16696 50640 | 2147483647 206363 106 | 0.000 % |
192.69/192.89 c | 232898 | 3911 16696 50640 | 2147483647 206578 106 | 0.000 % |
193.08/193.27 c | 233133 | 3911 16696 50640 | 2147483647 206813 106 | 0.000 % |
193.49/193.66 c | 233389 | 3911 16696 50640 | 2147483647 207069 106 | 0.000 % |
193.98/194.13 c | 233671 | 3911 16696 50640 | 2147483647 207351 106 | 0.000 % |
194.38/194.57 c | 233982 | 3911 16696 50640 | 2147483647 207662 106 | 0.000 % |
194.88/195.09 c | 234321 | 3911 16696 50640 | 2147483647 208001 106 | 0.000 % |
195.48/195.64 c | 234695 | 3911 16696 50640 | 2147483647 208375 106 | 0.000 % |
196.08/196.29 c | 235106 | 3911 16696 50640 | 2147483647 208786 106 | 0.000 % |
196.80/196.97 c | 235556 | 3911 16696 50640 | 2147483647 209236 106 | 0.000 % |
197.59/197.79 c | 236049 | 3911 16696 50640 | 2147483647 209729 106 | 0.000 % |
198.49/198.69 c | 236592 | 3911 16696 50640 | 2147483647 210272 106 | 0.000 % |
199.39/199.57 c | 237188 | 3911 16696 50640 | 2147483647 210868 106 | 0.000 % |
200.29/200.44 c | 237845 | 3911 16696 50640 | 2147483647 211525 106 | 0.000 % |
201.29/201.45 c | 238565 | 3911 16696 50640 | 2147483647 212245 106 | 0.000 % |
202.38/202.53 c | 239357 | 3911 16696 50640 | 2147483647 213037 106 | 0.000 % |
203.68/203.81 c | 240229 | 3911 16696 50640 | 213680 213909 106 | 0.000 % |
205.18/205.36 c | 241187 | 3911 16696 50640 | 213680 188280 106 | 0.000 % |
206.48/206.70 c | 242240 | 3911 16696 50640 | 213680 189333 106 | 0.000 % |
207.98/208.15 c | 243398 | 3911 16696 50640 | 213680 190491 106 | 0.000 % |
209.48/209.68 c | 244671 | 3911 16696 50640 | 213680 191764 106 | 0.000 % |
211.18/211.39 c | 246071 | 3911 16696 50640 | 213680 193164 106 | 0.000 % |
213.28/213.45 c | 247611 | 3911 16696 50640 | 213680 194704 107 | 0.000 % |
215.58/215.71 c | 249306 | 3911 16696 50640 | 213680 196399 107 | 0.000 % |
217.78/217.93 c | 251170 | 3911 16696 50640 | 2147483647 198263 107 | 0.000 % |
220.37/220.54 c | 253222 | 3911 16696 50640 | 2147483647 200315 107 | 0.000 % |
223.27/223.43 c | 255475 | 3911 16696 50640 | 2147483647 202568 107 | 0.000 % |
226.57/226.78 c | 257953 | 3911 16696 50640 | 2147483647 205046 107 | 0.000 % |
226.77/226.93 c | 258055 | 3911 16696 50640 | 2147483647 205148 107 | 0.000 % |
226.97/227.15 c | 258165 | 3911 16696 50640 | 2147483647 205258 107 | 0.000 % |
227.17/227.37 c | 258286 | 3911 16696 50640 | 2147483647 205379 107 | 0.000 % |
227.37/227.60 c | 258419 | 3911 16696 50640 | 2147483647 205512 107 | 0.000 % |
227.67/227.84 c | 258565 | 3911 16696 50640 | 2147483647 205658 107 | 0.000 % |
227.97/228.12 c | 258725 | 3911 16696 50640 | 2147483647 205818 107 | 0.000 % |
228.27/228.40 c | 258901 | 3911 16696 50640 | 2147483647 205994 107 | 0.000 % |
228.57/228.75 c | 259094 | 3911 16696 50640 | 2147483647 206187 107 | 0.000 % |
228.97/229.16 c | 259308 | 3911 16696 50640 | 2147483647 206401 107 | 0.000 % |
229.37/229.50 c | 259542 | 3911 16696 50640 | 2147483647 206635 107 | 0.000 % |
229.67/229.90 c | 259798 | 3911 16696 50640 | 2147483647 206891 107 | 0.000 % |
230.17/230.31 c | 260079 | 3911 16696 50640 | 207093 207172 107 | 0.000 % |
230.77/231.00 c | 260389 | 3911 16696 50640 | 207093 186611 107 | 0.000 % |
231.27/231.48 c | 260728 | 3911 16696 50640 | 207093 186950 107 | 0.000 % |
231.77/231.99 c | 261100 | 3911 16696 50640 | 207093 187322 107 | 0.000 % |
232.37/232.53 c | 261510 | 3911 16696 50640 | 207093 187732 107 | 0.000 % |
232.97/233.19 c | 261959 | 3911 16696 50640 | 207093 188181 107 | 0.000 % |
233.67/233.85 c | 262452 | 3911 16696 50640 | 207093 188674 107 | 0.000 % |
234.47/234.62 c | 262994 | 3911 16696 50640 | 207093 189216 107 | 0.000 % |
235.18/235.40 c | 263590 | 3911 16696 50640 | 207093 189812 107 | 0.000 % |
236.07/236.27 c | 264248 | 3911 16696 50640 | 207093 190470 107 | 0.000 % |
237.07/237.21 c | 264968 | 3911 16696 50640 | 207093 191190 107 | 0.000 % |
237.97/238.20 c | 265760 | 3911 16696 50640 | 207093 191982 107 | 0.000 % |
239.17/239.32 c | 266632 | 3911 16696 50640 | 207093 192854 107 | 0.000 % |
240.37/240.58 c | 267590 | 3911 16696 50640 | 207093 193812 107 | 0.000 % |
241.88/242.09 c | 268643 | 3911 16696 50640 | 207093 194865 107 | 0.000 % |
243.47/243.61 c | 269801 | 3911 16696 50640 | 207093 196023 107 | 0.000 % |
244.97/245.20 c | 271076 | 3911 16696 50640 | 2147483647 197298 107 | 0.000 % |
247.17/247.30 c | 272477 | 3911 16696 50640 | 2147483647 198699 107 | 0.000 % |
249.17/249.36 c | 274017 | 3911 16696 50640 | 2147483647 200239 108 | 0.000 % |
251.47/251.68 c | 275711 | 3911 16696 50640 | 2147483647 201933 108 | 0.000 % |
253.87/254.06 c | 277574 | 3911 16696 50640 | 2147483647 203796 108 | 0.000 % |
256.77/256.93 c | 279623 | 3911 16696 50640 | 2147483647 205845 108 | 0.000 % |
259.86/260.01 c | 281877 | 3911 16696 50640 | 206222 186940 108 | 0.000 % |
262.96/263.10 c | 284355 | 3911 16696 50640 | 206222 189418 108 | 0.000 % |
266.36/266.59 c | 287080 | 3911 16696 50640 | 206222 192143 108 | 0.000 % |
266.56/266.76 c | 287180 | 3911 16696 50640 | 206222 192243 108 | 0.000 % |
266.76/266.97 c | 287290 | 3911 16696 50640 | 206222 192353 108 | 0.000 % |
266.96/267.15 c | 287411 | 3911 16696 50640 | 206222 192474 108 | 0.000 % |
267.16/267.36 c | 287544 | 3911 16696 50640 | 206222 192607 108 | 0.000 % |
267.46/267.62 c | 287692 | 3911 16696 50640 | 206222 192755 108 | 0.000 % |
267.66/267.87 c | 287852 | 3911 16696 50640 | 206222 192915 108 | 0.000 % |
267.96/268.14 c | 288029 | 3911 16696 50640 | 206222 193092 108 | 0.000 % |
268.26/268.47 c | 288224 | 3911 16696 50640 | 206222 193287 108 | 0.000 % |
268.66/268.80 c | 288438 | 3911 16696 50640 | 206222 193501 108 | 0.000 % |
268.96/269.11 c | 288671 | 3911 16696 50640 | 206222 193734 108 | 0.000 % |
269.26/269.47 c | 288927 | 3911 16696 50640 | 206222 193990 108 | 0.000 % |
269.66/269.88 c | 289208 | 3911 16696 50640 | 206222 194271 108 | 0.000 % |
270.16/270.32 c | 289517 | 3911 16696 50640 | 206222 194580 108 | 0.000 % |
270.66/270.83 c | 289856 | 3911 16696 50640 | 206222 194919 108 | 0.000 % |
271.16/271.33 c | 290229 | 3911 16696 50640 | 2147483647 195292 108 | 0.000 % |
271.76/271.92 c | 290639 | 3911 16696 50640 | 2147483647 195702 108 | 0.000 % |
272.36/272.55 c | 291091 | 3911 16696 50640 | 2147483647 196154 108 | 0.000 % |
273.06/273.28 c | 291585 | 3911 16696 50640 | 2147483647 196648 108 | 0.000 % |
273.86/274.02 c | 292130 | 3911 16696 50640 | 2147483647 197193 108 | 0.000 % |
274.55/274.78 c | 292726 | 3911 16696 50640 | 2147483647 197789 108 | 0.000 % |
275.45/275.69 c | 293381 | 3911 16696 50640 | 2147483647 198444 108 | 0.000 % |
276.55/276.70 c | 294104 | 3911 16696 50640 | 2147483647 199167 108 | 0.000 % |
277.55/277.78 c | 294898 | 3911 16696 50640 | 2147483647 199961 108 | 0.000 % |
278.75/278.96 c | 295769 | 3911 16696 50640 | 2147483647 200832 108 | 0.000 % |
280.15/280.36 c | 296727 | 3911 16696 50640 | 2147483647 201790 108 | 0.000 % |
281.65/281.84 c | 297780 | 3911 16696 50640 | 2147483647 202843 108 | 0.000 % |
283.15/283.36 c | 298938 | 3911 16696 50640 | 2147483647 204001 108 | 0.000 % |
284.85/285.09 c | 300213 | 3911 16696 50640 | 205067 205276 108 | 0.000 % |
286.85/287.06 c | 301613 | 3911 16696 50640 | 205067 185670 109 | 0.000 % |
288.75/288.98 c | 303155 | 3911 16696 50640 | 205067 187212 109 | 0.000 % |
290.85/291.02 c | 304851 | 3911 16696 50640 | 205067 188908 109 | 0.000 % |
293.15/293.34 c | 306719 | 3911 16696 50640 | 205067 190776 109 | 0.000 % |
295.75/295.93 c | 308769 | 3911 16696 50640 | 205067 192826 110 | 0.000 % |
298.64/298.82 c | 311022 | 3911 16696 50640 | 2147483647 195079 110 | 0.000 % |
301.94/302.15 c | 313500 | 3911 16696 50640 | 2147483647 197557 110 | 0.000 % |
305.55/305.74 c | 316226 | 3911 16696 50640 | 2147483647 200283 110 | 0.000 % |
309.34/309.56 c | 319223 | 3911 16696 50640 | 2147483647 203280 110 | 0.000 % |
309.44/309.68 c | 319323 | 3911 16696 50640 | 2147483647 203380 110 | 0.000 % |
309.64/309.85 c | 319437 | 3911 16696 50640 | 2147483647 203494 110 | 0.000 % |
309.84/310.05 c | 319560 | 3911 16696 50640 | 2147483647 203617 110 | 0.000 % |
310.04/310.29 c | 319693 | 3911 16696 50640 | 2147483647 203750 110 | 0.000 % |
310.34/310.57 c | 319840 | 3911 16696 50640 | 2147483647 203897 110 | 0.000 % |
310.64/310.83 c | 320000 | 3911 16696 50640 | 2147483647 204057 110 | 0.000 % |
310.94/311.13 c | 320177 | 3911 16696 50640 | 2147483647 204234 110 | 0.000 % |
311.24/311.44 c | 320370 | 3911 16696 50640 | 2147483647 204427 110 | 0.000 % |
311.54/311.78 c | 320582 | 3911 16696 50640 | 2147483647 204639 110 | 0.000 % |
311.94/312.18 c | 320816 | 3911 16696 50640 | 2147483647 204873 110 | 0.000 % |
312.44/312.61 c | 321073 | 3911 16696 50640 | 2147483647 205130 110 | 0.000 % |
312.84/313.05 c | 321354 | 3911 16696 50640 | 2147483647 205411 110 | 0.000 % |
313.34/313.56 c | 321663 | 3911 16696 50640 | 2147483647 205720 110 | 0.000 % |
313.84/314.01 c | 322002 | 3911 16696 50640 | 2147483647 206059 110 | 0.000 % |
314.34/314.58 c | 322374 | 3911 16696 50640 | 2147483647 206431 110 | 0.000 % |
314.93/315.12 c | 322783 | 3911 16696 50640 | 2147483647 206840 110 | 0.000 % |
315.44/315.68 c | 323232 | 3911 16696 50640 | 2147483647 207289 110 | 0.000 % |
316.23/316.40 c | 323725 | 3911 16696 50640 | 2147483647 207782 110 | 0.000 % |
316.93/317.18 c | 324270 | 3911 16696 50640 | 2147483647 208327 110 | 0.000 % |
317.93/318.11 c | 324867 | 3911 16696 50640 | 2147483647 208924 110 | 0.000 % |
318.94/319.11 c | 325523 | 3911 16696 50640 | 2147483647 209580 110 | 0.000 % |
320.14/320.38 c | 326243 | 3911 16696 50640 | 2147483647 210300 110 | 0.000 % |
321.44/321.63 c | 327036 | 3911 16696 50640 | 2147483647 211093 110 | 0.000 % |
322.84/323.02 c | 327910 | 3911 16696 50640 | 2147483647 211967 110 | 0.000 % |
324.34/324.52 c | 328868 | 3911 16696 50640 | 2147483647 212925 110 | 0.000 % |
325.84/326.09 c | 329921 | 3911 16696 50640 | 2147483647 213978 110 | 0.000 % |
327.74/327.97 c | 331080 | 3911 16696 50640 | 214057 185805 110 | 0.000 % |
329.44/329.69 c | 332353 | 3911 16696 50640 | 214057 187078 110 | 0.000 % |
331.33/331.52 c | 333754 | 3911 16696 50640 | 214057 188479 110 | 0.000 % |
333.43/333.61 c | 335297 | 3911 16696 50640 | 214057 190022 110 | 0.000 % |
335.63/335.86 c | 336995 | 3911 16696 50640 | 214057 191720 110 | 0.000 % |
337.93/338.13 c | 338860 | 3911 16696 50640 | 214057 193585 110 | 0.000 % |
340.53/340.75 c | 340909 | 3911 16696 50640 | 2147483647 195634 110 | 0.000 % |
343.43/343.63 c | 343164 | 3911 16696 50640 | 2147483647 197889 110 | 0.000 % |
346.53/346.78 c | 345642 | 3911 16696 50640 | 2147483647 200367 110 | 0.000 % |
349.93/350.19 c | 348368 | 3911 16696 50640 | 2147483647 203093 110 | 0.000 % |
353.93/354.18 c | 351365 | 3911 16696 50640 | 2147483647 206090 110 | 0.000 % |
358.33/358.55 c | 354661 | 3911 16696 50640 | 2147483647 209386 110 | 0.000 % |
358.53/358.72 c | 354763 | 3911 16696 50640 | 2147483647 209488 110 | 0.000 % |
358.72/358.91 c | 354873 | 3911 16696 50640 | 2147483647 209598 110 | 0.000 % |
358.92/359.12 c | 354994 | 3911 16696 50640 | 2147483647 209719 110 | 0.000 % |
359.12/359.35 c | 355127 | 3911 16696 50640 | 2147483647 209852 110 | 0.000 % |
359.32/359.57 c | 355273 | 3911 16696 50640 | 2147483647 209998 110 | 0.000 % |
359.62/359.84 c | 355434 | 3911 16696 50640 | 2147483647 210159 110 | 0.000 % |
359.92/360.16 c | 355613 | 3911 16696 50640 | 2147483647 210338 110 | 0.000 % |
360.32/360.51 c | 355806 | 3911 16696 50640 | 2147483647 210531 110 | 0.000 % |
360.63/360.86 c | 356018 | 3911 16696 50640 | 2147483647 210743 110 | 0.000 % |
361.12/361.30 c | 356251 | 3911 16696 50640 | 2147483647 210976 110 | 0.000 % |
361.52/361.71 c | 356508 | 3911 16696 50640 | 2147483647 211233 110 | 0.000 % |
361.92/362.18 c | 356789 | 3911 16696 50640 | 2147483647 211514 110 | 0.000 % |
362.42/362.68 c | 357098 | 3911 16696 50640 | 2147483647 211823 110 | 0.000 % |
363.02/363.27 c | 357439 | 3911 16696 50640 | 2147483647 212164 110 | 0.000 % |
363.62/363.86 c | 357812 | 3911 16696 50640 | 2147483647 212537 110 | 0.000 % |
364.32/364.53 c | 358221 | 3911 16696 50640 | 2147483647 212946 110 | 0.000 % |
365.03/365.25 c | 358670 | 3911 16696 50640 | 2147483647 213395 110 | 0.000 % |
365.82/366.04 c | 359165 | 3911 16696 50640 | 2147483647 213890 110 | 0.000 % |
366.62/366.87 c | 359710 | 3911 16696 50640 | 2147483647 214435 110 | 0.000 % |
367.52/367.73 c | 360306 | 3911 16696 50640 | 214725 215031 110 | 0.000 % |
368.62/368.83 c | 360963 | 3911 16696 50640 | 214725 190698 110 | 0.000 % |
369.62/369.85 c | 361683 | 3911 16696 50640 | 214725 191418 110 | 0.000 % |
370.72/370.93 c | 362477 | 3911 16696 50640 | 214725 192212 110 | 0.000 % |
371.92/372.13 c | 363348 | 3911 16696 50640 | 214725 193083 110 | 0.000 % |
373.32/373.55 c | 364306 | 3911 16696 50640 | 214725 194041 110 | 0.000 % |
374.62/374.82 c | 365359 | 3911 16696 50640 | 214725 195094 110 | 0.000 % |
376.12/376.37 c | 366517 | 3911 16696 50640 | 214725 196252 111 | 0.000 % |
378.01/378.23 c | 367790 | 3911 16696 50640 | 214725 197525 111 | 0.000 % |
379.92/380.14 c | 369190 | 3911 16696 50640 | 214725 198925 111 | 0.000 % |
381.91/382.13 c | 370730 | 3911 16696 50640 | 2147483647 200465 111 | 0.000 % |
384.21/384.48 c | 372424 | 3911 16696 50640 | 2147483647 202159 111 | 0.000 % |
386.61/386.81 c | 374289 | 3911 16696 50640 | 2147483647 204024 111 | 0.000 % |
389.31/389.59 c | 376338 | 3911 16696 50640 | 2147483647 206073 111 | 0.000 % |
392.31/392.60 c | 378592 | 3911 16696 50640 | 2147483647 208327 111 | 0.000 % |
396.11/396.38 c | 381072 | 3911 16696 50640 | 209735 188088 111 | 0.000 % |
399.61/399.80 c | 383798 | 3911 16696 50640 | 209735 190814 111 | 0.000 % |
403.31/403.59 c | 386795 | 3911 16696 50640 | 209735 193811 111 | 0.000 % |
407.41/407.64 c | 390091 | 3911 16696 50640 | 2147483647 197107 111 | 0.000 % |
412.00/412.29 c | 393718 | 3911 16696 50640 | 2147483647 200734 111 | 0.000 % |
412.21/412.46 c | 393819 | 3911 16696 50640 | 2147483647 200835 111 | 0.000 % |
412.40/412.64 c | 393930 | 3911 16696 50640 | 2147483647 200946 111 | 0.000 % |
412.60/412.86 c | 394051 | 3911 16696 50640 | 2147483647 201067 111 | 0.000 % |
412.90/413.12 c | 394184 | 3911 16696 50640 | 2147483647 201200 111 | 0.000 % |
413.10/413.38 c | 394331 | 3911 16696 50640 | 2147483647 201347 111 | 0.000 % |
413.41/413.65 c | 394491 | 3911 16696 50640 | 2147483647 201507 111 | 0.000 % |
413.70/413.95 c | 394668 | 3911 16696 50640 | 2147483647 201684 111 | 0.000 % |
414.00/414.28 c | 394862 | 3911 16696 50640 | 2147483647 201878 111 | 0.000 % |
414.30/414.59 c | 395075 | 3911 16696 50640 | 2147483647 202091 111 | 0.000 % |
414.70/414.98 c | 395308 | 3911 16696 50640 | 2147483647 202324 111 | 0.000 % |
415.10/415.37 c | 395564 | 3911 16696 50640 | 2147483647 202580 111 | 0.000 % |
415.61/415.84 c | 395847 | 3911 16696 50640 | 2147483647 202863 111 | 0.000 % |
416.10/416.35 c | 396156 | 3911 16696 50640 | 2147483647 203172 111 | 0.000 % |
416.61/416.86 c | 396495 | 3911 16696 50640 | 2147483647 203511 111 | 0.000 % |
417.20/417.44 c | 396869 | 3911 16696 50640 | 2147483647 203885 111 | 0.000 % |
417.81/418.09 c | 397281 | 3911 16696 50640 | 2147483647 204297 111 | 0.000 % |
418.50/418.74 c | 397733 | 3911 16696 50640 | 2147483647 204749 111 | 0.000 % |
419.20/419.45 c | 398229 | 3911 16696 50640 | 2147483647 205245 111 | 0.000 % |
420.00/420.25 c | 398771 | 3911 16696 50640 | 2147483647 205787 111 | 0.000 % |
420.90/421.11 c | 399368 | 3911 16696 50640 | 2147483647 206384 111 | 0.000 % |
421.80/422.08 c | 400025 | 3911 16696 50640 | 207016 207041 111 | 0.000 % |
423.20/423.41 c | 400747 | 3911 16696 50640 | 207016 185152 111 | 0.000 % |
424.20/424.48 c | 401541 | 3911 16696 50640 | 207016 185946 111 | 0.000 % |
425.40/425.67 c | 402412 | 3911 16696 50640 | 207016 186817 111 | 0.000 % |
426.70/426.92 c | 403370 | 3911 16696 50640 | 207016 187775 111 | 0.000 % |
428.10/428.36 c | 404423 | 3911 16696 50640 | 207016 188828 111 | 0.000 % |
429.50/429.80 c | 405583 | 3911 16696 50640 | 207016 189988 111 | 0.000 % |
431.30/431.50 c | 406858 | 3911 16696 50640 | 207016 191263 111 | 0.000 % |
433.10/433.33 c | 408258 | 3911 16696 50640 | 207016 192663 111 | 0.000 % |
435.09/435.40 c | 409799 | 3911 16696 50640 | 207016 194204 111 | 0.000 % |
437.39/437.67 c | 411493 | 3911 16696 50640 | 2147483647 195898 111 | 0.000 % |
439.71/439.94 c | 413357 | 3911 16696 50640 | 2147483647 197762 111 | 0.000 % |
442.40/442.61 c | 415407 | 3911 16696 50640 | 2147483647 199812 111 | 0.000 % |
445.50/445.74 c | 417660 | 3911 16696 50640 | 2147483647 202065 111 | 0.000 % |
448.90/449.16 c | 420138 | 3911 16696 50640 | 2147483647 204543 111 | 0.000 % |
452.60/452.88 c | 422864 | 3911 16696 50640 | 2147483647 207269 112 | 0.000 % |
456.90/457.11 c | 425861 | 3911 16696 50640 | 2147483647 210266 111 | 0.000 % |
461.19/461.40 c | 429157 | 3911 16696 50640 | 2147483647 213562 112 | 0.000 % |
465.89/466.15 c | 432783 | 3911 16696 50640 | 214406 194994 111 | 0.000 % |
471.09/471.33 c | 436770 | 3911 16696 50640 | 214406 198981 112 | 0.000 % |
471.19/471.48 c | 436871 | 3911 16696 50640 | 214406 199082 112 | 0.000 % |
471.38/471.66 c | 436982 | 3911 16696 50640 | 214406 199193 112 | 0.000 % |
471.59/471.89 c | 437104 | 3911 16696 50640 | 214406 199315 112 | 0.000 % |
471.78/472.09 c | 437237 | 3911 16696 50640 | 214406 199448 112 | 0.000 % |
472.08/472.33 c | 437384 | 3911 16696 50640 | 214406 199595 112 | 0.000 % |
472.28/472.56 c | 437544 | 3911 16696 50640 | 214406 199755 112 | 0.000 % |
472.58/472.88 c | 437721 | 3911 16696 50640 | 214406 199932 112 | 0.000 % |
472.88/473.16 c | 437915 | 3911 16696 50640 | 214406 200126 112 | 0.000 % |
473.18/473.49 c | 438127 | 3911 16696 50640 | 214406 200338 112 | 0.000 % |
473.58/473.80 c | 438361 | 3911 16696 50640 | 214406 200572 112 | 0.000 % |
473.98/474.21 c | 438617 | 3911 16696 50640 | 214406 200828 112 | 0.000 % |
474.38/474.62 c | 438898 | 3911 16696 50640 | 214406 201109 111 | 0.000 % |
474.89/475.12 c | 439209 | 3911 16696 50640 | 214406 201420 111 | 0.000 % |
475.38/475.64 c | 439548 | 3911 16696 50640 | 214406 201759 111 | 0.000 % |
475.99/476.28 c | 439920 | 3911 16696 50640 | 214406 202131 111 | 0.000 % |
476.68/476.92 c | 440329 | 3911 16696 50640 | 2147483647 202540 111 | 0.000 % |
477.28/477.58 c | 440781 | 3911 16696 50640 | 2147483647 202992 111 | 0.000 % |
478.08/478.35 c | 441276 | 3911 16696 50640 | 2147483647 203487 111 | 0.000 % |
478.88/479.13 c | 441819 | 3911 16696 50640 | 2147483647 204030 111 | 0.000 % |
479.68/479.98 c | 442415 | 3911 16696 50640 | 2147483647 204626 111 | 0.000 % |
480.68/480.90 c | 443070 | 3911 16696 50640 | 2147483647 205281 111 | 0.000 % |
481.68/481.98 c | 443791 | 3911 16696 50640 | 2147483647 206002 111 | 0.000 % |
482.88/483.10 c | 444583 | 3911 16696 50640 | 2147483647 206794 111 | 0.000 % |
484.18/484.43 c | 445454 | 3911 16696 50640 | 2147483647 207665 111 | 0.000 % |
485.38/485.66 c | 446412 | 3911 16696 50640 | 2147483647 208623 111 | 0.000 % |
486.88/487.11 c | 447466 | 3911 16696 50640 | 2147483647 209677 111 | 0.000 % |
488.48/488.71 c | 448624 | 3911 16696 50640 | 2147483647 210835 111 | 0.000 % |
490.18/490.47 c | 449898 | 3911 16696 50640 | 2147483647 212109 111 | 0.000 % |
492.37/492.62 c | 451299 | 3911 16696 50640 | 212212 188997 111 | 0.000 % |
494.37/494.66 c | 452842 | 3911 16696 50640 | 212212 190540 111 | 0.000 % |
496.57/496.83 c | 454537 | 3911 16696 50640 | 212212 192235 112 | 0.000 % |
498.87/499.18 c | 456402 | 3911 16696 50640 | 212212 194100 112 | 0.000 % |
501.47/501.76 c | 458451 | 3911 16696 50640 | 212212 196149 112 | 0.000 % |
504.37/504.69 c | 460704 | 3911 16696 50640 | 2147483647 198402 112 | 0.000 % |
507.57/507.81 c | 463184 | 3911 16696 50640 | 2147483647 200882 112 | 0.000 % |
511.07/511.39 c | 465909 | 3911 16696 50640 | 2147483647 203607 112 | 0.000 % |
515.07/515.31 c | 468906 | 3911 16696 50640 | 2147483647 206604 112 | 0.000 % |
519.36/519.67 c | 472203 | 3911 16696 50640 | 2147483647 209901 112 | 0.000 % |
524.37/524.63 c | 475828 | 3911 16696 50640 | 2147483647 213526 112 | 0.000 % |
529.87/530.14 c | 479816 | 3911 16696 50640 | 2147483647 217514 112 | 0.000 % |
535.77/536.08 c | 484201 | 3911 16696 50640 | 2147483647 221899 113 | 0.000 % |
535.97/536.24 c | 484305 | 3911 16696 50640 | 2147483647 222003 113 | 0.000 % |
536.17/536.43 c | 484418 | 3911 16696 50640 | 2147483647 222116 113 | 0.000 % |
536.36/536.67 c | 484542 | 3911 16696 50640 | 2147483647 222240 113 | 0.000 % |
536.66/536.94 c | 484676 | 3911 16696 50640 | 2147483647 222374 113 | 0.000 % |
536.96/537.22 c | 484824 | 3911 16696 50640 | 2147483647 222522 113 | 0.000 % |
537.16/537.47 c | 484985 | 3911 16696 50640 | 2147483647 222683 113 | 0.000 % |
537.46/537.78 c | 485161 | 3911 16696 50640 | 2147483647 222859 113 | 0.000 % |
537.86/538.13 c | 485355 | 3911 16696 50640 | 2147483647 223053 113 | 0.000 % |
538.26/538.51 c | 485567 | 3911 16696 50640 | 2147483647 223265 113 | 0.000 % |
538.66/538.95 c | 485803 | 3911 16696 50640 | 2147483647 223501 112 | 0.000 % |
539.16/539.41 c | 486065 | 3911 16696 50640 | 2147483647 223763 112 | 0.000 % |
539.66/539.91 c | 486346 | 3911 16696 50640 | 2147483647 224044 112 | 0.000 % |
540.06/540.39 c | 486655 | 3911 16696 50640 | 2147483647 224353 112 | 0.000 % |
540.66/540.97 c | 486994 | 3911 16696 50640 | 2147483647 224692 112 | 0.000 % |
541.26/541.53 c | 487366 | 3911 16696 50640 | 2147483647 225064 112 | 0.000 % |
541.86/542.20 c | 487776 | 3911 16696 50640 | 2147483647 225474 112 | 0.000 % |
542.56/542.87 c | 488225 | 3911 16696 50640 | 2147483647 225923 112 | 0.000 % |
543.36/543.63 c | 488718 | 3911 16696 50640 | 2147483647 226416 112 | 0.000 % |
544.26/544.51 c | 489260 | 3911 16696 50640 | 2147483647 226958 112 | 0.000 % |
545.16/545.43 c | 489857 | 3911 16696 50640 | 2147483647 227555 112 | 0.000 % |
546.16/546.48 c | 490512 | 3911 16696 50640 | 227698 228210 112 | 0.000 % |
547.57/547.83 c | 491232 | 3911 16696 50640 | 227698 197270 112 | 0.000 % |
548.67/548.93 c | 492025 | 3911 16696 50640 | 227698 198063 112 | 0.000 % |
549.86/550.14 c | 492896 | 3911 16696 50640 | 227698 198934 112 | 0.000 % |
551.26/551.53 c | 493854 | 3911 16696 50640 | 227698 199892 112 | 0.000 % |
552.56/552.89 c | 494907 | 3911 16696 50640 | 227698 200945 112 | 0.000 % |
554.06/554.39 c | 496065 | 3911 16696 50640 | 227698 202103 112 | 0.000 % |
556.06/556.30 c | 497338 | 3911 16696 50640 | 227698 203376 112 | 0.000 % |
558.06/558.39 c | 498742 | 3911 16696 50640 | 227698 204780 112 | 0.000 % |
560.16/560.45 c | 500285 | 3911 16696 50640 | 206038 206323 112 | 0.000 % |
562.56/562.81 c | 501979 | 3911 16696 50640 | 206038 183752 112 | 0.000 % |
564.76/565.09 c | 503842 | 3911 16696 50640 | 206038 185615 112 | 0.000 % |
567.36/567.68 c | 505891 | 3911 16696 50640 | 206038 187664 112 | 0.000 % |
570.35/570.61 c | 508144 | 3911 16696 50640 | 206038 189917 112 | 0.000 % |
573.35/573.69 c | 510623 | 3911 16696 50640 | 2147483647 192396 112 | 0.000 % |
576.75/577.09 c | 513348 | 3911 16696 50640 | 2147483647 195121 112 | 0.000 % |
580.75/581.00 c | 516348 | 3911 16696 50640 | 2147483647 198121 113 | 0.000 % |
584.95/585.22 c | 519646 | 3911 16696 50640 | 2147483647 201419 113 | 0.000 % |
589.85/590.17 c | 523272 | 3911 16696 50640 | 2147483647 205045 113 | 0.000 % |
595.05/595.33 c | 527260 | 3911 16696 50640 | 2147483647 209033 113 | 0.000 % |
600.94/601.22 c | 531646 | 3911 16696 50640 | 2147483647 213419 113 | 0.000 % |
607.74/608.03 c | 536469 | 3911 16696 50640 | 2147483647 218242 113 | 0.000 % |
607.84/608.19 c | 536572 | 3911 16696 50640 | 2147483647 218345 113 | 0.000 % |
608.14/608.42 c | 536682 | 3911 16696 50640 | 2147483647 218455 113 | 0.000 % |
608.34/608.65 c | 536805 | 3911 16696 50640 | 2147483647 218578 113 | 0.000 % |
608.54/608.88 c | 536941 | 3911 16696 50640 | 2147483647 218714 113 | 0.000 % |
608.84/609.15 c | 537087 | 3911 16696 50640 | 2147483647 218860 113 | 0.000 % |
609.14/609.43 c | 537248 | 3911 16696 50640 | 2147483647 219021 113 | 0.000 % |
609.34/609.67 c | 537427 | 3911 16696 50640 | 2147483647 219200 113 | 0.000 % |
609.64/609.98 c | 537620 | 3911 16696 50640 | 2147483647 219393 113 | 0.000 % |
610.04/610.34 c | 537833 | 3911 16696 50640 | 2147483647 219606 113 | 0.000 % |
610.44/610.75 c | 538068 | 3911 16696 50640 | 2147483647 219841 113 | 0.000 % |
610.94/611.24 c | 538328 | 3911 16696 50640 | 2147483647 220101 113 | 0.000 % |
611.44/611.72 c | 538609 | 3911 16696 50640 | 2147483647 220382 113 | 0.000 % |
611.94/612.23 c | 538919 | 3911 16696 50640 | 2147483647 220692 113 | 0.000 % |
612.54/612.84 c | 539258 | 3911 16696 50640 | 2147483647 221031 113 | 0.000 % |
613.14/613.47 c | 539632 | 3911 16696 50640 | 2147483647 221405 113 | 0.000 % |
613.84/614.18 c | 540042 | 3911 16696 50640 | 221773 221815 113 | 0.000 % |
614.84/615.13 c | 540491 | 3911 16696 50640 | 221773 194210 113 | 0.000 % |
615.54/615.88 c | 540984 | 3911 16696 50640 | 221773 194703 113 | 0.000 % |
616.24/616.52 c | 541526 | 3911 16696 50640 | 221773 195245 113 | 0.000 % |
617.04/617.35 c | 542123 | 3911 16696 50640 | 221773 195842 113 | 0.000 % |
617.94/618.26 c | 542778 | 3911 16696 50640 | 221773 196497 112 | 0.000 % |
618.94/619.28 c | 543498 | 3911 16696 50640 | 221773 197217 112 | 0.000 % |
619.94/620.28 c | 544290 | 3911 16696 50640 | 221773 198009 113 | 0.000 % |
621.14/621.42 c | 545161 | 3911 16696 50640 | 221773 198880 113 | 0.000 % |
622.34/622.61 c | 546120 | 3911 16696 50640 | 221773 199839 113 | 0.000 % |
623.63/623.94 c | 547173 | 3911 16696 50640 | 221773 200892 113 | 0.000 % |
625.33/625.61 c | 548332 | 3911 16696 50640 | 221773 202051 113 | 0.000 % |
627.03/627.35 c | 549608 | 3911 16696 50640 | 221773 203327 113 | 0.000 % |
628.84/629.16 c | 551010 | 3911 16696 50640 | 2147483647 204729 113 | 0.000 % |
631.14/631.41 c | 552552 | 3911 16696 50640 | 2147483647 206271 113 | 0.000 % |
633.63/633.94 c | 554246 | 3911 16696 50640 | 2147483647 207965 113 | 0.000 % |
636.23/636.55 c | 556109 | 3911 16696 50640 | 2147483647 209828 113 | 0.000 % |
639.13/639.44 c | 558158 | 3911 16696 50640 | 2147483647 211877 113 | 0.000 % |
642.43/642.71 c | 560411 | 3911 16696 50640 | 213719 214130 113 | 0.000 % |
646.03/646.35 c | 562889 | 3911 16696 50640 | 213719 191630 113 | 0.000 % |
649.42/649.71 c | 565615 | 3911 16696 50640 | 213719 194356 113 | 0.000 % |
653.13/653.41 c | 568613 | 3911 16696 50640 | 213719 197354 113 | 0.000 % |
657.12/657.45 c | 571910 | 3911 16696 50640 | 2147483647 200651 113 | 0.000 % |
661.52/661.82 c | 575535 | 3911 16696 50640 | 2147483647 204276 113 | 0.000 % |
666.62/666.97 c | 579523 | 3911 16696 50640 | 2147483647 208264 113 | 0.000 % |
672.72/673.10 c | 583911 | 3911 16696 50640 | 2147483647 212652 114 | 0.000 % |
679.42/679.79 c | 588737 | 3911 16696 50640 | 2147483647 217478 114 | 0.000 % |
686.51/686.87 c | 594042 | 3911 16696 50640 | 218741 198897 115 | 0.000 % |
686.71/687.07 c | 594142 | 3911 16696 50640 | 218741 198997 115 | 0.000 % |
686.91/687.27 c | 594253 | 3911 16696 50640 | 218741 199108 115 | 0.000 % |
687.12/687.50 c | 594375 | 3911 16696 50640 | 218741 199230 115 | 0.000 % |
687.41/687.72 c | 594510 | 3911 16696 50640 | 218741 199365 115 | 0.000 % |
687.71/688.00 c | 594657 | 3911 16696 50640 | 218741 199512 115 | 0.000 % |
687.91/688.27 c | 594817 | 3911 16696 50640 | 218741 199672 115 | 0.000 % |
688.22/688.55 c | 594994 | 3911 16696 50640 | 218741 199849 115 | 0.000 % |
688.51/688.83 c | 595187 | 3911 16696 50640 | 218741 200042 115 | 0.000 % |
688.81/689.17 c | 595399 | 3911 16696 50640 | 218741 200254 115 | 0.000 % |
689.21/689.55 c | 595633 | 3911 16696 50640 | 218741 200488 115 | 0.000 % |
689.61/689.91 c | 595889 | 3911 16696 50640 | 218741 200744 115 | 0.000 % |
690.01/690.34 c | 596172 | 3911 16696 50640 | 218741 201027 115 | 0.000 % |
690.52/690.80 c | 596482 | 3911 16696 50640 | 218741 201337 115 | 0.000 % |
691.01/691.34 c | 596825 | 3911 16696 50640 | 218741 201680 115 | 0.000 % |
691.51/691.85 c | 597197 | 3911 16696 50640 | 218741 202052 114 | 0.000 % |
692.11/692.44 c | 597607 | 3911 16696 50640 | 218741 202462 114 | 0.000 % |
692.81/693.14 c | 598056 | 3911 16696 50640 | 218741 202911 114 | 0.000 % |
693.61/693.93 c | 598550 | 3911 16696 50640 | 218741 203405 114 | 0.000 % |
694.41/694.75 c | 599093 | 3911 16696 50640 | 218741 203948 114 | 0.000 % |
695.31/695.62 c | 599689 | 3911 16696 50640 | 218741 204544 114 | 0.000 % |
696.21/696.57 c | 600344 | 3911 16696 50640 | 204855 205199 114 | 0.000 % |
697.51/697.84 c | 601065 | 3911 16696 50640 | 204855 182766 114 | 0.000 % |
698.61/698.92 c | 601858 | 3911 16696 50640 | 204855 183559 114 | 0.000 % |
699.71/700.02 c | 602729 | 3911 16696 50640 | 204855 184430 114 | 0.000 % |
700.80/701.13 c | 603689 | 3911 16696 50640 | 204855 185390 114 | 0.000 % |
702.10/702.48 c | 604743 | 3911 16696 50640 | 204855 186444 114 | 0.000 % |
703.61/703.93 c | 605901 | 3911 16696 50640 | 204855 187602 114 | 0.000 % |
705.30/705.60 c | 607177 | 3911 16696 50640 | 204855 188878 114 | 0.000 % |
707.10/707.46 c | 608577 | 3911 16696 50640 | 204855 190278 114 | 0.000 % |
709.21/709.56 c | 610117 | 3911 16696 50640 | 2147483647 191818 114 | 0.000 % |
711.50/711.83 c | 611811 | 3911 16696 50640 | 2147483647 193512 114 | 0.000 % |
714.00/714.32 c | 613678 | 3911 16696 50640 | 2147483647 195379 114 | 0.000 % |
716.80/717.19 c | 615728 | 3911 16696 50640 | 2147483647 197429 114 | 0.000 % |
719.80/720.19 c | 617982 | 3911 16696 50640 | 2147483647 199683 114 | 0.000 % |
723.20/723.59 c | 620462 | 3911 16696 50640 | 2147483647 202163 114 | 0.000 % |
726.90/727.22 c | 623188 | 3911 16696 50640 | 2147483647 204889 114 | 0.000 % |
730.90/731.22 c | 626186 | 3911 16696 50640 | 2147483647 207887 114 | 0.000 % |
735.19/735.55 c | 629483 | 3911 16696 50640 | 2147483647 211184 114 | 0.000 % |
740.20/740.57 c | 633108 | 3911 16696 50640 | 2147483647 214809 114 | 0.000 % |
745.90/746.26 c | 637097 | 3911 16696 50640 | 2147483647 218798 114 | 0.000 % |
752.29/752.61 c | 641483 | 3911 16696 50640 | 221701 198108 115 | 0.000 % |
758.39/758.74 c | 646306 | 3911 16696 50640 | 221701 202931 115 | 0.000 % |
765.20/765.52 c | 651612 | 3911 16696 50640 | 2147483647 208237 115 | 0.000 % |
773.09/773.48 c | 657448 | 3911 16696 50640 | 2147483647 214073 116 | 0.000 % |
773.29/773.67 c | 657548 | 3911 16696 50640 | 2147483647 214173 116 | 0.000 % |
773.59/773.91 c | 657659 | 3911 16696 50640 | 2147483647 214284 116 | 0.000 % |
773.79/774.13 c | 657780 | 3911 16696 50640 | 2147483647 214405 116 | 0.000 % |
773.99/774.38 c | 657913 | 3911 16696 50640 | 2147483647 214538 116 | 0.000 % |
774.29/774.62 c | 658059 | 3911 16696 50640 | 2147483647 214684 116 | 0.000 % |
774.59/774.95 c | 658219 | 3911 16696 50640 | 2147483647 214844 116 | 0.000 % |
774.89/775.27 c | 658396 | 3911 16696 50640 | 2147483647 215021 116 | 0.000 % |
775.19/775.59 c | 658590 | 3911 16696 50640 | 2147483647 215215 116 | 0.000 % |
775.59/775.94 c | 658802 | 3911 16696 50640 | 2147483647 215427 116 | 0.000 % |
775.99/776.31 c | 659035 | 3911 16696 50640 | 2147483647 215660 116 | 0.000 % |
776.49/776.81 c | 659292 | 3911 16696 50640 | 2147483647 215917 116 | 0.000 % |
776.88/777.27 c | 659574 | 3911 16696 50640 | 2147483647 216199 115 | 0.000 % |
777.48/777.81 c | 659884 | 3911 16696 50640 | 2147483647 216509 115 | 0.000 % |
777.98/778.31 c | 660223 | 3911 16696 50640 | 216625 216848 115 | 0.000 % |
778.78/779.16 c | 660601 | 3911 16696 50640 | 216625 190649 116 | 0.000 % |
779.28/779.64 c | 661014 | 3911 16696 50640 | 216625 191062 116 | 0.000 % |
779.88/780.30 c | 661463 | 3911 16696 50640 | 216625 191511 116 | 0.000 % |
780.48/780.87 c | 661956 | 3911 16696 50640 | 216625 192004 116 | 0.000 % |
781.18/781.59 c | 662498 | 3911 16696 50640 | 216625 192546 116 | 0.000 % |
782.08/782.42 c | 663097 | 3911 16696 50640 | 216625 193145 116 | 0.000 % |
783.08/783.40 c | 663753 | 3911 16696 50640 | 216625 193801 116 | 0.000 % |
784.08/784.46 c | 664473 | 3911 16696 50640 | 216625 194521 116 | 0.000 % |
785.18/785.56 c | 665265 | 3911 16696 50640 | 216625 195313 116 | 0.000 % |
786.38/786.75 c | 666136 | 3911 16696 50640 | 216625 196184 116 | 0.000 % |
787.68/788.06 c | 667095 | 3911 16696 50640 | 216625 197143 116 | 0.000 % |
789.08/789.49 c | 668148 | 3911 16696 50640 | 216625 198196 116 | 0.000 % |
790.78/791.14 c | 669306 | 3911 16696 50640 | 216625 199354 116 | 0.000 % |
792.48/792.83 c | 670582 | 3911 16696 50640 | 200048 200630 116 | 0.000 % |
794.48/794.88 c | 671985 | 3911 16696 50640 | 200048 181757 116 | 0.000 % |
796.38/796.73 c | 673526 | 3911 16696 50640 | 200048 183298 116 | 0.000 % |
798.48/798.83 c | 675221 | 3911 16696 50640 | 200048 184993 116 | 0.000 % |
800.78/801.14 c | 677085 | 3911 16696 50640 | 200048 186857 116 | 0.000 % |
803.47/803.84 c | 679135 | 3911 16696 50640 | 200048 188907 116 | 0.000 % |
806.27/806.67 c | 681389 | 3911 16696 50640 | 2147483647 191161 116 | 0.000 % |
809.37/809.78 c | 683867 | 3911 16696 50640 | 2147483647 193639 116 | 0.000 % |
812.87/813.27 c | 686594 | 3911 16696 50640 | 2147483647 196366 116 | 0.000 % |
816.87/817.23 c | 689591 | 3911 16696 50640 | 2147483647 199363 116 | 0.000 % |
821.27/821.63 c | 692888 | 3911 16696 50640 | 2147483647 202660 116 | 0.000 % |
825.97/826.32 c | 696517 | 3911 16696 50640 | 2147483647 206289 116 | 0.000 % |
831.46/831.86 c | 700505 | 3911 16696 50640 | 209772 210277 116 | 0.000 % |
837.36/837.70 c | 704891 | 3911 16696 50640 | 209772 192724 116 | 0.000 % |
843.56/843.93 c | 709716 | 3911 16696 50640 | 209772 197549 116 | 0.000 % |
850.66/851.05 c | 715022 | 3911 16696 50640 | 2147483647 202855 117 | 0.000 % |
858.66/859.07 c | 720859 | 3911 16696 50640 | 2147483647 208692 117 | 0.000 % |
867.46/867.82 c | 727279 | 3911 16696 50640 | 2147483647 215112 117 | 0.000 % |
867.55/867.99 c | 727379 | 3911 16696 50640 | 2147483647 215212 117 | 0.000 % |
867.75/868.19 c | 727490 | 3911 16696 50640 | 2147483647 215323 117 | 0.000 % |
868.05/868.41 c | 727611 | 3911 16696 50640 | 2147483647 215444 117 | 0.000 % |
868.25/868.68 c | 727745 | 3911 16696 50640 | 2147483647 215578 117 | 0.000 % |
868.55/868.93 c | 727892 | 3911 16696 50640 | 2147483647 215725 117 | 0.000 % |
868.85/869.21 c | 728052 | 3911 16696 50640 | 2147483647 215885 117 | 0.000 % |
869.15/869.56 c | 728229 | 3911 16696 50640 | 2147483647 216062 117 | 0.000 % |
869.45/869.88 c | 728422 | 3911 16696 50640 | 2147483647 216255 117 | 0.000 % |
869.85/870.26 c | 728634 | 3911 16696 50640 | 2147483647 216467 117 | 0.000 % |
870.15/870.59 c | 728867 | 3911 16696 50640 | 2147483647 216700 117 | 0.000 % |
870.65/871.00 c | 729123 | 3911 16696 50640 | 2147483647 216956 117 | 0.000 % |
871.05/871.44 c | 729405 | 3911 16696 50640 | 2147483647 217238 117 | 0.000 % |
871.55/871.97 c | 729714 | 3911 16696 50640 | 2147483647 217547 117 | 0.000 % |
872.06/872.46 c | 730053 | 3911 16696 50640 | 217833 217886 117 | 0.000 % |
872.96/873.31 c | 730425 | 3911 16696 50640 | 217833 190710 117 | 0.000 % |
873.56/873.90 c | 730835 | 3911 16696 50640 | 217833 191120 117 | 0.000 % |
874.16/874.54 c | 731285 | 3911 16696 50640 | 217833 191570 117 | 0.000 % |
874.76/875.19 c | 731778 | 3911 16696 50640 | 217833 192063 117 | 0.000 % |
875.55/875.98 c | 732320 | 3911 16696 50640 | 217833 192605 117 | 0.000 % |
876.36/876.74 c | 732916 | 3911 16696 50640 | 217833 193201 117 | 0.000 % |
877.25/877.69 c | 733572 | 3911 16696 50640 | 217833 193857 117 | 0.000 % |
878.35/878.71 c | 734292 | 3911 16696 50640 | 217833 194577 117 | 0.000 % |
879.35/879.77 c | 735084 | 3911 16696 50640 | 217833 195369 117 | 0.000 % |
880.66/881.01 c | 735957 | 3911 16696 50640 | 217833 196242 117 | 0.000 % |
881.86/882.29 c | 736916 | 3911 16696 50640 | 217833 197201 117 | 0.000 % |
883.35/883.78 c | 737969 | 3911 16696 50640 | 217833 198254 117 | 0.000 % |
885.06/885.46 c | 739128 | 3911 16696 50640 | 217833 199413 117 | 0.000 % |
886.65/887.09 c | 740401 | 3911 16696 50640 | 200289 200686 117 | 0.000 % |
888.75/889.13 c | 741803 | 3911 16696 50640 | 200289 180420 117 | 0.000 % |
890.55/891.00 c | 743344 | 3911 16696 50640 | 200289 181961 117 | 0.000 % |
892.75/893.11 c | 745038 | 3911 16696 50640 | 200289 183655 117 | 0.000 % |
895.05/895.41 c | 746906 | 3911 16696 50640 | 200289 185523 117 | 0.000 % |
897.54/897.99 c | 748957 | 3911 16696 50640 | 200289 187574 117 | 0.000 % |
900.34/900.72 c | 751211 | 3911 16696 50640 | 2147483647 189828 118 | 0.000 % |
903.44/903.81 c | 753690 | 3911 16696 50640 | 2147483647 192307 118 | 0.000 % |
906.84/907.24 c | 756416 | 3911 16696 50640 | 2147483647 195033 118 | 0.000 % |
910.54/910.99 c | 759417 | 3911 16696 50640 | 2147483647 198034 117 | 0.000 % |
914.84/915.21 c | 762713 | 3911 16696 50640 | 2147483647 201330 118 | 0.000 % |
919.34/919.78 c | 766339 | 3911 16696 50640 | 2147483647 204956 118 | 0.000 % |
924.64/925.04 c | 770326 | 3911 16696 50640 | 2147483647 208943 118 | 0.000 % |
930.73/931.12 c | 774715 | 3911 16696 50640 | 2147483647 213332 118 | 0.000 % |
937.53/937.98 c | 779538 | 3911 16696 50640 | 2147483647 218155 118 | 0.000 % |
944.73/945.18 c | 784843 | 3911 16696 50640 | 218617 199289 117 | 0.000 % |
952.73/953.14 c | 790679 | 3911 16696 50640 | 2147483647 205125 118 | 0.000 % |
961.43/961.83 c | 797098 | 3911 16696 50640 | 2147483647 211544 118 | 0.000 % |
971.32/971.73 c | 804157 | 3911 16696 50640 | 214447 195032 118 | 0.000 % |
971.42/971.87 c | 804257 | 3911 16696 50640 | 214447 195132 118 | 0.000 % |
971.62/972.04 c | 804367 | 3911 16696 50640 | 214447 195242 118 | 0.000 % |
971.82/972.23 c | 804489 | 3911 16696 50640 | 214447 195364 118 | 0.000 % |
972.03/972.46 c | 804622 | 3911 16696 50640 | 214447 195497 118 | 0.000 % |
972.22/972.68 c | 804768 | 3911 16696 50640 | 214447 195643 118 | 0.000 % |
972.52/972.93 c | 804928 | 3911 16696 50640 | 214447 195803 118 | 0.000 % |
972.82/973.28 c | 805106 | 3911 16696 50640 | 214447 195981 118 | 0.000 % |
973.13/973.59 c | 805300 | 3911 16696 50640 | 214447 196175 118 | 0.000 % |
973.52/973.93 c | 805512 | 3911 16696 50640 | 214447 196387 118 | 0.000 % |
973.92/974.33 c | 805745 | 3911 16696 50640 | 214447 196620 118 | 0.000 % |
974.23/974.69 c | 806001 | 3911 16696 50640 | 214447 196876 118 | 0.000 % |
974.72/975.18 c | 806282 | 3911 16696 50640 | 214447 197157 118 | 0.000 % |
975.23/975.64 c | 806591 | 3911 16696 50640 | 214447 197466 118 | 0.000 % |
975.72/976.15 c | 806930 | 3911 16696 50640 | 214447 197805 118 | 0.000 % |
976.33/976.72 c | 807304 | 3911 16696 50640 | 214447 198179 118 | 0.000 % |
976.82/977.28 c | 807713 | 3911 16696 50640 | 214447 198588 118 | 0.000 % |
977.52/977.92 c | 808162 | 3911 16696 50640 | 214447 199037 118 | 0.000 % |
978.12/978.59 c | 808655 | 3911 16696 50640 | 214447 199530 118 | 0.000 % |
978.82/979.30 c | 809198 | 3911 16696 50640 | 214447 200073 118 | 0.000 % |
979.72/980.12 c | 809794 | 3911 16696 50640 | 214447 200669 118 | 0.000 % |
980.62/981.08 c | 810449 | 3911 16696 50640 | 200875 201324 118 | 0.000 % |
981.92/982.32 c | 811169 | 3911 16696 50640 | 200875 179118 118 | 0.000 % |
982.92/983.34 c | 811961 | 3911 16696 50640 | 200875 179910 118 | 0.000 % |
984.02/984.50 c | 812832 | 3911 16696 50640 | 200875 180781 118 | 0.000 % |
985.32/985.76 c | 813790 | 3911 16696 50640 | 200875 181739 118 | 0.000 % |
986.72/987.11 c | 814844 | 3911 16696 50640 | 200875 182793 118 | 0.000 % |
988.02/988.49 c | 816003 | 3911 16696 50640 | 200875 183952 118 | 0.000 % |
989.72/990.12 c | 817276 | 3911 16696 50640 | 200875 185225 118 | 0.000 % |
991.42/991.84 c | 818676 | 3911 16696 50640 | 200875 186625 118 | 0.000 % |
993.32/993.78 c | 820216 | 3911 16696 50640 | 2147483647 188165 118 | 0.000 % |
995.62/996.01 c | 821910 | 3911 16696 50640 | 2147483647 189859 118 | 0.000 % |
997.81/998.28 c | 823775 | 3911 16696 50640 | 2147483647 191724 118 | 0.000 % |
1000.52/1000.91 c | 825824 | 3911 16696 50640 | 2147483647 193773 118 | 0.000 % |
1003.61/1004.05 c | 828078 | 3911 16696 50640 | 2147483647 196027 118 | 0.000 % |
1007.01/1007.42 c | 830556 | 3911 16696 50640 | 2147483647 198505 118 | 0.000 % |
1010.91/1011.31 c | 833281 | 3911 16696 50640 | 2147483647 201230 118 | 0.000 % |
1015.21/1015.62 c | 836280 | 3911 16696 50640 | 2147483647 204229 118 | 0.000 % |
1019.91/1020.36 c | 839576 | 3911 16696 50640 | 2147483647 207525 118 | 0.000 % |
1025.10/1025.53 c | 843201 | 3911 16696 50640 | 207950 189155 118 | 0.000 % |
1030.10/1030.57 c | 847189 | 3911 16696 50640 | 207950 193143 118 | 0.000 % |
1035.60/1036.08 c | 851576 | 3911 16696 50640 | 2147483647 197530 118 | 0.000 % |
1042.10/1042.55 c | 856400 | 3911 16696 50640 | 2147483647 202354 118 | 0.000 % |
1049.00/1049.43 c | 861706 | 3911 16696 50640 | 2147483647 207660 118 | 0.000 % |
1056.99/1057.41 c | 867542 | 3911 16696 50640 | 2147483647 213496 118 | 0.000 % |
1065.89/1066.34 c | 873960 | 3911 16696 50640 | 215954 196316 119 | 0.000 % |
1075.39/1075.85 c | 881020 | 3911 16696 50640 | 2147483647 203376 120 | 0.000 % |
1085.48/1085.92 c | 888785 | 3911 16696 50640 | 2147483647 211141 120 | 0.000 % |
1085.68/1086.10 c | 888886 | 3911 16696 50640 | 2147483647 211242 120 | 0.000 % |
1085.78/1086.27 c | 888997 | 3911 16696 50640 | 2147483647 211353 120 | 0.000 % |
1086.08/1086.51 c | 889119 | 3911 16696 50640 | 2147483647 211475 120 | 0.000 % |
1086.29/1086.72 c | 889253 | 3911 16696 50640 | 2147483647 211609 120 | 0.000 % |
1086.48/1086.93 c | 889399 | 3911 16696 50640 | 2147483647 211755 120 | 0.000 % |
1086.78/1087.23 c | 889559 | 3911 16696 50640 | 2147483647 211915 120 | 0.000 % |
1087.08/1087.58 c | 889735 | 3911 16696 50640 | 2147483647 212091 120 | 0.000 % |
1087.39/1087.89 c | 889930 | 3911 16696 50640 | 2147483647 212286 120 | 0.000 % |
1087.78/1088.26 c | 890145 | 3911 16696 50640 | 212359 212501 120 | 0.000 % |
1088.49/1088.96 c | 890379 | 3911 16696 50640 | 212359 189529 119 | 0.000 % |
1088.88/1089.36 c | 890635 | 3911 16696 50640 | 212359 189785 119 | 0.000 % |
1089.28/1089.76 c | 890916 | 3911 16696 50640 | 212359 190066 119 | 0.000 % |
1089.68/1090.17 c | 891225 | 3911 16696 50640 | 212359 190375 119 | 0.000 % |
1090.18/1090.64 c | 891564 | 3911 16696 50640 | 212359 190714 119 | 0.000 % |
1090.78/1091.25 c | 891938 | 3911 16696 50640 | 212359 191088 119 | 0.000 % |
1091.48/1091.92 c | 892351 | 3911 16696 50640 | 212359 191501 119 | 0.000 % |
1092.08/1092.56 c | 892800 | 3911 16696 50640 | 212359 191950 119 | 0.000 % |
1092.78/1093.30 c | 893298 | 3911 16696 50640 | 212359 192448 119 | 0.000 % |
1093.58/1094.06 c | 893840 | 3911 16696 50640 | 212359 192990 119 | 0.000 % |
1094.37/1094.81 c | 894436 | 3911 16696 50640 | 212359 193586 119 | 0.000 % |
1095.27/1095.72 c | 895092 | 3911 16696 50640 | 212359 194242 119 | 0.000 % |
1096.37/1096.82 c | 895812 | 3911 16696 50640 | 212359 194962 119 | 0.000 % |
1097.47/1097.95 c | 896605 | 3911 16696 50640 | 212359 195755 119 | 0.000 % |
1098.67/1099.16 c | 897476 | 3911 16696 50640 | 212359 196626 119 | 0.000 % |
1100.07/1100.52 c | 898435 | 3911 16696 50640 | 212359 197585 119 | 0.000 % |
1101.47/1101.95 c | 899488 | 3911 16696 50640 | 212359 198638 119 | 0.000 % |
1103.27/1103.75 c | 900646 | 3911 16696 50640 | 199150 179259 118 | 0.000 % |
1104.87/1105.35 c | 901920 | 3911 16696 50640 | 199150 180533 118 | 0.000 % |
1106.57/1107.06 c | 903320 | 3911 16696 50640 | 199150 181933 118 | 0.000 % |
1108.57/1109.01 c | 904861 | 3911 16696 50640 | 199150 183474 118 | 0.000 % |
1110.57/1111.02 c | 906561 | 3911 16696 50640 | 199150 185174 118 | 0.000 % |
1113.07/1113.54 c | 908424 | 3911 16696 50640 | 199150 187037 118 | 0.000 % |
1115.67/1116.16 c | 910473 | 3911 16696 50640 | 2147483647 189086 118 | 0.000 % |
1118.56/1119.04 c | 912726 | 3911 16696 50640 | 2147483647 191339 118 | 0.000 % |
1121.66/1122.17 c | 915209 | 3911 16696 50640 | 2147483647 193822 118 | 0.000 % |
1124.96/1125.42 c | 917934 | 3911 16696 50640 | 2147483647 196547 118 | 0.000 % |
1128.76/1129.26 c | 920931 | 3911 16696 50640 | 2147483647 199544 118 | 0.000 % |
1132.96/1133.46 c | 924229 | 3911 16696 50640 | 2147483647 202842 118 | 0.000 % |
1137.66/1138.15 c | 927854 | 3911 16696 50640 | 2147483647 206467 118 | 0.000 % |
1143.16/1143.65 c | 931844 | 3911 16696 50640 | 2147483647 210457 119 | 0.000 % |
1149.25/1149.73 c | 936230 | 3911 16696 50640 | 2147483647 214843 118 | 0.000 % |
1155.95/1156.46 c | 941053 | 3911 16696 50640 | 2147483647 219666 119 | 0.000 % |
1163.54/1164.08 c | 946358 | 3911 16696 50640 | 2147483647 224971 119 | 0.000 % |
1171.74/1172.28 c | 952195 | 3911 16696 50640 | 228613 201144 119 | 0.000 % |
1180.44/1180.90 c | 958613 | 3911 16696 50640 | 228613 207562 119 | 0.000 % |
1190.03/1190.56 c | 965673 | 3911 16696 50640 | 208951 193139 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832751-1242787327/watcher-1832751-1242787327 -o /tmp/evaluation-result-1832751-1242787327/solver-1832751-1242787327 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832751-1242787327.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9667
/proc/meminfo: memFree=1824120/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306759571 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251255291986 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9667/statm: 1339 235 195 169 0 50 0
[pid=9668] ppid=9667 vsize=5356 CPUtime=0
/proc/9668/stat : 9668 (SatELiteGTI) S 9667 9667 8901 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306759571 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9668/statm: 1339 238 198 169 0 50 0
[pid=9670] ppid=9668 vsize=0 CPUtime=0
/proc/9670/stat : 9670 (SatELiteGTI) R 9668 9667 8901 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306759571 0 0 1992294400 0 0 0 18446744073709551615 251255123239 0 0 4096 0 0 0 0 17 0 0 0
/proc/9670/statm: 0 0 0 0 0 0 0
[startup+0.0222219 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9667
/proc/meminfo: memFree=1824120/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306759571 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9667/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101232 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9667
/proc/meminfo: memFree=1824120/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301252 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9667
/proc/meminfo: memFree=1824120/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701299 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9667
/proc/meminfo: memFree=1824120/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50138 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9673
/proc/meminfo: memFree=1819816/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=5276 CPUtime=1.41
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 1027 0 0 0 141 0 0 0 25 0 1 0 306759579 5402624 1013 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 1319 1013 77 171 0 1146 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10632
[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9673
/proc/meminfo: memFree=1818280/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=8756 CPUtime=3.01
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 1900 0 0 0 300 1 0 0 25 0 1 0 306759579 8966144 1886 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 2189 1886 77 171 0 2016 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14112
[startup+6.3019 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 9673
/proc/meminfo: memFree=1811944/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=14052 CPUtime=6.21
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 3218 0 0 0 619 2 0 0 25 0 1 0 306759579 14389248 3204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 3513 3204 77 171 0 3340 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19408
[startup+12.7026 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 9673
/proc/meminfo: memFree=1803624/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=21820 CPUtime=12.6
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 5150 0 0 0 1255 5 0 0 25 0 1 0 306759579 22343680 5136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 5455 5136 77 171 0 5282 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27176
[startup+25.502 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 9673
/proc/meminfo: memFree=1791528/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=33160 CPUtime=25.4
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 8002 0 0 0 2532 8 0 0 25 0 1 0 306759579 33955840 7988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 8290 7988 77 171 0 8117 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38516
[startup+51.1017 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 9673
/proc/meminfo: memFree=1774824/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=49972 CPUtime=50.98
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 12195 0 0 0 5085 13 0 0 25 0 1 0 306759579 51171328 12181 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 12493 12181 77 171 0 12320 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 55328
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 9673
/proc/meminfo: memFree=1750440/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=74132 CPUtime=102.17
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 18196 0 0 0 10197 20 0 0 25 0 1 0 306759579 75911168 18182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 18533 18182 77 171 0 18360 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 79488
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1728488/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=95780 CPUtime=162.14
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 23669 0 0 0 16187 27 0 0 25 0 1 0 306759579 98078720 23655 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 23945 23655 77 171 0 23772 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 101136
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1723432/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=100936 CPUtime=222.11
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 24872 0 0 0 22183 28 0 0 25 0 1 0 306759579 103358464 24858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 25234 24858 77 171 0 25061 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 106292
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1723368/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=100936 CPUtime=282.09
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 24872 0 0 0 28180 29 0 0 25 0 1 0 306759579 103358464 24858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 25234 24858 77 171 0 25061 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 106292
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1719464/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=104764 CPUtime=342.07
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 25807 0 0 0 34177 30 0 0 25 0 1 0 306759579 107278336 25793 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 26191 25793 77 171 0 26018 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 110120
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1718632/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=105424 CPUtime=402.05
################
# More data... #
################
/proc/9673/statm: 28501 28125 77 171 0 28328 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 119360
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1709608/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=114004 CPUtime=641.97
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28139 0 0 0 64163 34 0 0 25 0 1 0 306759579 116740096 28125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28501 28125 77 171 0 28328 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 119360
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1709544/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=114004 CPUtime=701.94
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28139 0 0 0 70160 34 0 0 25 0 1 0 306759579 116740096 28125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28501 28125 77 171 0 28328 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 119360
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1709480/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=114004 CPUtime=761.94
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28139 0 0 0 76159 35 0 0 25 0 1 0 306759579 116740096 28125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28501 28125 77 171 0 28328 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 119360
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1709352/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=114004 CPUtime=821.91
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28139 0 0 0 82156 35 0 0 25 0 1 0 306759579 116740096 28125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28501 28125 77 171 0 28328 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 119360
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1708840/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=114532 CPUtime=881.89
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28257 0 0 0 88153 36 0 0 25 0 1 0 306759579 117280768 28243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28633 28243 77 171 0 28460 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 119888
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1707304/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=115852 CPUtime=941.87
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28615 0 0 0 94150 37 0 0 25 0 1 0 306759579 118632448 28601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28963 28601 77 171 0 28790 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 121208
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1707240/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=115852 CPUtime=1001.85
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28615 0 0 0 100148 37 0 0 25 0 1 0 306759579 118632448 28601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28963 28601 77 171 0 28790 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 121208
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1707112/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=115852 CPUtime=1061.83
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28615 0 0 0 106146 37 0 0 25 0 1 0 306759579 118632448 28601 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28963 28601 77 171 0 28790 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 121208
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9675
/proc/meminfo: memFree=1706984/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=115852 CPUtime=1121.8
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 28615 0 0 0 112143 37 0 0 25 0 1 0 306759579 118632448 28601 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 28963 28601 77 171 0 28790 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 121208
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9681
/proc/meminfo: memFree=1700840/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=121924 CPUtime=1181.78
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 30124 0 0 0 118138 40 0 0 25 0 1 0 306759579 124850176 30110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 30481 30110 77 171 0 30308 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 127280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9681
/proc/meminfo: memFree=1700840/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=121924 CPUtime=1199.97
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 30124 0 0 0 119957 40 0 0 25 0 1 0 306759579 124850176 30110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 30481 30110 77 171 0 30308 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 127280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9681
/proc/meminfo: memFree=1700840/2055920 swapFree=4178276/4192956
[pid=9667] ppid=9665 vsize=5356 CPUtime=0.06
/proc/9667/stat : 9667 (SatELiteGTI) S 9665 9667 8901 0 -1 4194304 336 859 0 0 0 0 6 0 16 0 1 0 306759571 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9667/statm: 1339 239 197 169 0 50 0
[pid=9673] ppid=9667 vsize=121924 CPUtime=1199.97
/proc/9673/stat : 9673 (minisat_static) R 9667 9667 8901 0 -1 4194304 30124 0 0 0 119957 40 0 0 25 0 1 0 306759579 124850176 30110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9673/statm: 30481 30110 77 171 0 30308 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 127280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9667 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=62990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.073988
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.63
CPU system time (s): 0.4
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 127280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06299
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.48477 second user time and 2.97055 second system time
The end
Begin job on node64 at 2009-05-20 04:42:07
IDJOB=1832751
IDBENCH=70339
IDSOLVER=671
FILE ID=node64/1832751-1242787327
PBS_JOBID= 9322316
Free space on /tmp= 66352 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832751-1242787327/watcher-1832751-1242787327 -o /tmp/evaluation-result-1832751-1242787327/solver-1832751-1242787327 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832751-1242787327.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2fdf3400f00d8b99db65500ea60232b7
RANDOM SEED=1541198492
node64.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1824680 kB
Buffers: 23460 kB
Cached: 159776 kB
SwapCached: 8116 kB
Active: 29368 kB
Inactive: 163456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824680 kB
SwapTotal: 4192956 kB
SwapFree: 4178276 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 14820 kB
Slab: 24236 kB
Committed_AS: 892528 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66348 MiB
End job on node64 at 2009-05-20 05:02:09