0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 55543 187718 | 16662 0 0 nan | 0.000 % |
0.12/0.17 c | 0 | 55174 187112 | -- 0 -- -- | -- | -313/-424
0.12/0.17 c ==============================================================================
0.12/0.17 c Result : #vars: 8607 #clauses: 55174 #literals: 187112
0.12/0.17 c CPU time: 0.16 s
0.12/0.17 c ==============================================================================
0.22/0.23 c This is MiniSat 2.0 beta
0.22/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.23 c ============================[ Problem Statistics ]=============================
0.22/0.23 c | |
0.22/0.24 c | Number of variables: 8607 |
0.22/0.24 c | Number of clauses: 55174 |
0.22/0.27 c | Parsing time: 0.03 s |
0.22/0.27 c ============================[ Search Statistics ]==============================
0.22/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.22/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.22/0.27 c ===============================================================================
0.22/0.27 c | 0 | 8607 55174 187112 | 18391 0 nan | 0.000 % |
0.22/0.30 c | 100 | 8607 55174 187112 | 18391 100 11 | 0.000 % |
0.23/0.32 c | 200 | 8607 55174 187112 | 18391 200 11 | 0.000 % |
0.23/0.36 c | 300 | 8607 55174 187112 | 18391 300 13 | 0.000 % |
0.23/0.37 c | 410 | 8607 55174 187112 | 18391 410 13 | 0.000 % |
0.23/0.37 c | 511 | 8607 55174 187112 | 18391 511 12 | 0.000 % |
0.23/0.43 c | 621 | 8606 55165 187082 | 18391 616 11 | 0.012 % |
0.23/0.46 c | 743 | 8606 55165 187082 | 18391 738 12 | 0.012 % |
0.23/0.49 c | 844 | 8605 55163 187076 | 18391 836 12 | 0.023 % |
0.23/0.53 c | 956 | 8605 55163 187076 | 18391 948 13 | 0.023 % |
0.23/0.56 c | 1077 | 8605 55163 187076 | 18391 1069 13 | 0.023 % |
0.23/0.61 c | 1212 | 8605 55163 187076 | 18391 1204 13 | 0.023 % |
0.23/0.62 c | 1312 | 8605 55163 187076 | 18391 1304 12 | 0.023 % |
0.23/0.65 c | 1422 | 8605 55163 187076 | 18391 1414 13 | 0.023 % |
0.23/0.67 c | 1543 | 8605 55163 187076 | 18391 1535 13 | 0.023 % |
0.23/0.71 c | 1676 | 8605 55163 187076 | 18391 1668 13 | 0.023 % |
0.23/0.74 c | 1822 | 8605 55163 187076 | 18391 1814 14 | 0.023 % |
0.23/0.76 c | 1922 | 8605 55163 187076 | 18391 1914 14 | 0.023 % |
0.23/0.79 c | 2032 | 8604 55155 187052 | 18391 2022 13 | 0.035 % |
0.23/0.84 c | 2153 | 8604 55155 187052 | 18391 2143 14 | 0.035 % |
0.23/0.87 c | 2286 | 8604 55155 187052 | 18391 2276 14 | 0.035 % |
0.23/0.89 c | 2433 | 8604 55155 187052 | 18391 2423 14 | 0.035 % |
0.23/0.92 c | 2593 | 8604 55155 187052 | 18391 2583 13 | 0.035 % |
0.23/0.95 c | 2693 | 8604 55155 187052 | 18391 2683 13 | 0.035 % |
0.23/0.99 c | 2803 | 8604 55155 187052 | 18391 2793 13 | 0.035 % |
1.01/1.03 c | 2925 | 8604 55155 187052 | 18391 2915 14 | 0.035 % |
1.01/1.05 c | 3059 | 8604 55155 187052 | 18391 3049 14 | 0.035 % |
1.01/1.08 c | 3205 | 8604 55155 187052 | 18391 3195 14 | 0.035 % |
1.11/1.12 c | 3365 | 8604 55155 187052 | 18391 3355 14 | 0.035 % |
1.11/1.13 c | 3541 | 8604 55155 187052 | 18391 3531 14 | 0.035 % |
1.11/1.15 c | 3641 | 8602 55153 187046 | 18391 3624 14 | 0.058 % |
1.11/1.16 c | 3751 | 8602 55153 187046 | 18391 3734 14 | 0.058 % |
1.11/1.17 c | 3872 | 8602 55153 187046 | 18391 3855 14 | 0.058 % |
1.11/1.20 c | 4005 | 8602 55153 187046 | 18391 3988 14 | 0.058 % |
1.21/1.25 c | 4151 | 8602 55153 187046 | 18391 4134 14 | 0.058 % |
1.21/1.29 c | 4311 | 8602 55153 187046 | 18391 4294 14 | 0.058 % |
1.31/1.35 c | 4487 | 8602 55144 187016 | 18391 4451 14 | 0.058 % |
1.31/1.38 c | 4680 | 8602 55144 187016 | 18391 4644 15 | 0.058 % |
1.31/1.39 c | 4780 | 8602 55144 187016 | 18391 4744 15 | 0.058 % |
1.41/1.42 c | 4890 | 8602 55144 187016 | 18391 4854 16 | 0.058 % |
1.41/1.44 c | 5012 | 8602 55144 187016 | 18391 4976 16 | 0.058 % |
1.41/1.47 c | 5146 | 8602 55144 187016 | 18391 5110 15 | 0.058 % |
1.41/1.50 c | 5292 | 8602 55144 187016 | 18391 5256 16 | 0.058 % |
1.41/1.51 c | 5452 | 8602 55144 187016 | 18391 5416 15 | 0.058 % |
1.51/1.54 c | 5629 | 8602 55144 187016 | 18391 5593 16 | 0.058 % |
1.51/1.59 c | 5822 | 8602 55144 187016 | 18391 5786 16 | 0.058 % |
1.61/1.64 c | 6034 | 8602 55144 187016 | 18391 5998 16 | 0.058 % |
1.61/1.68 c | 6137 | 8602 55144 187016 | 18391 6101 16 | 0.058 % |
1.61/1.69 c | 6248 | 8602 55144 187016 | 18391 6212 16 | 0.058 % |
1.71/1.73 c | 6369 | 8602 55144 187016 | 18391 6333 16 | 0.058 % |
1.71/1.76 c | 6502 | 8602 55144 187016 | 18391 6466 16 | 0.058 % |
1.71/1.80 c | 6649 | 8602 55144 187016 | 18391 6613 16 | 0.058 % |
1.81/1.82 c | 6809 | 8602 55144 187016 | 18391 6773 16 | 0.058 % |
1.81/1.84 c | 6985 | 8602 55144 187016 | 18391 6949 16 | 0.058 % |
1.81/1.88 c | 7179 | 8602 55144 187016 | 18391 7143 17 | 0.058 % |
1.81/1.91 c | 7392 | 8602 55144 187016 | 18391 7356 17 | 0.058 % |
1.90/1.94 c | 7625 | 8602 55144 187016 | 18391 7589 18 | 0.058 % |
1.90/1.95 c | 7727 | 8602 55144 187016 | 18391 7691 18 | 0.058 % |
1.90/1.96 c | 7838 | 8602 55144 187016 | 18391 7802 18 | 0.058 % |
1.90/1.98 c | 7960 | 8602 55144 187016 | 18391 7924 18 | 0.058 % |
1.90/2.00 c | 8093 | 8602 55144 187016 | 18391 8057 18 | 0.058 % |
2.00/2.04 c | 8239 | 8602 55144 187016 | 18391 8203 18 | 0.058 % |
2.00/2.07 c | 8399 | 8602 55144 187016 | 18391 8363 18 | 0.058 % |
2.10/2.12 c | 8575 | 8602 55144 187016 | 18391 8539 18 | 0.058 % |
2.10/2.17 c | 8769 | 8602 55144 187016 | 18391 8733 18 | 0.058 % |
2.20/2.24 c | 8982 | 8602 55144 187016 | 18391 8946 19 | 0.058 % |
2.20/2.27 c | 9215 | 8602 55144 187016 | 18391 9179 18 | 0.058 % |
2.20/2.30 c | 9473 | 8602 55144 187016 | 18391 9437 18 | 0.058 % |
2.30/2.32 c | 9574 | 8602 55144 187016 | 18391 9538 18 | 0.058 % |
2.30/2.36 c | 9684 | 8602 55144 187016 | 18391 9648 18 | 0.058 % |
2.30/2.39 c | 9806 | 8602 55144 187016 | 18391 9770 18 | 0.058 % |
2.40/2.42 c | 9941 | 8602 55144 187016 | 18391 9905 18 | 0.058 % |
2.40/2.45 c | 10087 | 8602 55144 187016 | 2147483647 10051 18 | 0.058 % |
2.40/2.49 c | 10247 | 8602 55144 187016 | 2147483647 10211 19 | 0.058 % |
2.50/2.52 c | 10423 | 8602 55144 187016 | 2147483647 10387 19 | 0.058 % |
2.50/2.59 c | 10619 | 8602 55144 187016 | 2147483647 10583 19 | 0.058 % |
2.60/2.65 c | 10831 | 8602 55144 187016 | 2147483647 10795 19 | 0.058 % |
2.60/2.71 c | 11065 | 8602 55144 187016 | 2147483647 11029 19 | 0.058 % |
2.70/2.77 c | 11324 | 8602 55144 187016 | 2147483647 11288 19 | 0.058 % |
2.80/2.85 c | 11605 | 8602 55144 187016 | 2147483647 11569 19 | 0.058 % |
2.80/2.87 c | 11706 | 8602 55144 187016 | 2147483647 11670 20 | 0.058 % |
2.80/2.89 c | 11817 | 8602 55144 187016 | 2147483647 11781 20 | 0.058 % |
2.80/2.90 c | 11939 | 8602 55144 187016 | 2147483647 11903 20 | 0.058 % |
2.90/2.94 c | 12073 | 8602 55144 187016 | 2147483647 12037 20 | 0.058 % |
2.90/2.98 c | 12219 | 8602 55144 187016 | 2147483647 12183 20 | 0.058 % |
2.90/3.00 c | 12383 | 8602 55144 187016 | 2147483647 12347 20 | 0.058 % |
3.00/3.03 c | 12560 | 8602 55144 187016 | 2147483647 12524 20 | 0.058 % |
3.00/3.06 c | 12753 | 8602 55144 187016 | 2147483647 12717 20 | 0.058 % |
3.10/3.11 c | 12965 | 8602 55144 187016 | 2147483647 12929 20 | 0.058 % |
3.20/3.22 c | 13198 | 8602 55144 187016 | 2147483647 13162 20 | 0.058 % |
3.20/3.25 c | 13455 | 8602 55144 187016 | 2147483647 13419 20 | 0.058 % |
3.30/3.35 c | 13736 | 8602 55144 187016 | 2147483647 13700 20 | 0.058 % |
3.40/3.44 c | 14045 | 8602 55144 187016 | 2147483647 14009 20 | 0.058 % |
3.40/3.48 c | 14145 | 8601 55142 187010 | 2147483647 14102 20 | 0.070 % |
3.40/3.51 c | 14256 | 8601 55142 187010 | 2147483647 14213 20 | 0.070 % |
3.50/3.56 c | 14378 | 8601 55142 187010 | 2147483647 14335 20 | 0.070 % |
3.50/3.59 c | 14511 | 8601 55142 187010 | 2147483647 14468 20 | 0.070 % |
3.60/3.62 c | 14657 | 8600 55142 187010 | 2147483647 14613 20 | 0.081 % |
3.60/3.67 c | 14817 | 8600 55142 187010 | 2147483647 14773 20 | 0.081 % |
3.70/3.73 c | 14993 | 8600 55142 187010 | 2147483647 14949 20 | 0.081 % |
3.70/3.75 c | 15186 | 8600 55142 187010 | 2147483647 15142 20 | 0.081 % |
3.70/3.80 c | 15398 | 8600 55142 187010 | 2147483647 15354 20 | 0.081 % |
3.80/3.87 c | 15631 | 8600 55132 186977 | 2147483647 15548 20 | 0.081 % |
3.80/3.91 c | 15887 | 8600 55132 186977 | 2147483647 15804 20 | 0.081 % |
3.90/4.00 c | 16168 | 8600 55132 186977 | 2147483647 16085 20 | 0.081 % |
4.00/4.06 c | 16477 | 8600 55132 186977 | 2147483647 16394 20 | 0.082 % |
4.10/4.16 c | 16817 | 8600 55132 186977 | 2147483647 16734 21 | 0.081 % |
4.10/4.18 c | 16919 | 8600 55132 186977 | 2147483647 16836 21 | 0.081 % |
4.10/4.19 c | 17031 | 8600 55132 186977 | 2147483647 16948 21 | 0.081 % |
4.20/4.23 c | 17152 | 8600 55132 186977 | 2147483647 17069 21 | 0.081 % |
4.20/4.26 c | 17285 | 8599 55130 186971 | 2147483647 17192 21 | 0.093 % |
4.20/4.28 c | 17433 | 8599 55130 186971 | 2147483647 17340 21 | 0.093 % |
4.30/4.36 c | 17593 | 8599 55130 186971 | 2147483647 17500 21 | 0.093 % |
4.30/4.41 c | 17769 | 8599 55130 186971 | 2147483647 17676 21 | 0.093 % |
4.40/4.48 c | 17962 | 8599 55130 186971 | 2147483647 17869 21 | 0.093 % |
4.40/4.51 c | 18174 | 8599 55130 186971 | 2147483647 18081 21 | 0.093 % |
4.50/4.53 c | 18408 | 8599 55130 186971 | 2147483647 18315 21 | 0.093 % |
4.50/4.56 c | 18664 | 8599 55130 186971 | 2147483647 18571 21 | 0.093 % |
4.50/4.59 c | 18946 | 8599 55130 186971 | 2147483647 18853 21 | 0.093 % |
4.60/4.64 c | 19255 | 8599 55130 186971 | 2147483647 19162 21 | 0.093 % |
4.60/4.70 c | 19594 | 8599 55130 186971 | 2147483647 19501 21 | 0.093 % |
4.80/4.85 c | 19969 | 8599 55130 186971 | 2147483647 19876 21 | 0.093 % |
4.80/4.89 c | 20070 | 8599 55130 186971 | 2147483647 19977 21 | 0.093 % |
4.90/4.93 c | 20180 | 8599 55130 186971 | 2147483647 20087 21 | 0.093 % |
4.90/4.97 c | 20303 | 8599 55130 186971 | 2147483647 20210 21 | 0.093 % |
5.00/5.03 c | 20436 | 8599 55130 186971 | 2147483647 20343 21 | 0.093 % |
5.00/5.08 c | 20582 | 8599 55130 186971 | 2147483647 20489 22 | 0.093 % |
5.10/5.14 c | 20742 | 8599 55130 186971 | 2147483647 20649 22 | 0.093 % |
5.10/5.20 c | 20918 | 8599 55130 186971 | 2147483647 20825 22 | 0.093 % |
5.20/5.26 c | 21111 | 8599 55130 186971 | 2147483647 21018 22 | 0.093 % |
5.20/5.29 c | 21324 | 8599 55130 186971 | 2147483647 21231 22 | 0.093 % |
5.30/5.34 c | 21557 | 8599 55130 186971 | 2147483647 21464 22 | 0.093 % |
5.30/5.41 c | 21813 | 8599 55130 186971 | 2147483647 21720 22 | 0.093 % |
5.50/5.51 c | 22094 | 8599 55130 186971 | 2147483647 22001 23 | 0.093 % |
5.50/5.56 c | 22403 | 8599 55130 186971 | 2147483647 22310 23 | 0.093 % |
5.50/5.61 c | 22744 | 8599 55130 186971 | 2147483647 22651 23 | 0.093 % |
5.60/5.66 c | 23116 | 8599 55130 186971 | 2147483647 23023 22 | 0.093 % |
5.80/5.82 c | 23527 | 8599 55130 186971 | 2147483647 23434 23 | 0.093 % |
5.80/5.86 c | 23627 | 8599 55130 186971 | 2147483647 23534 23 | 0.093 % |
5.90/5.93 c | 23737 | 8598 55128 186965 | 2147483647 23561 23 | 0.105 % |
5.90/5.95 c | 23861 | 8598 55128 186965 | 2147483647 23685 23 | 0.105 % |
5.90/5.97 c | 23994 | 8598 55128 186965 | 2147483647 23818 23 | 0.105 % |
5.90/6.00 c | 24141 | 8598 55128 186965 | 2147483647 23965 23 | 0.105 % |
6.00/6.02 c | 24301 | 8598 55128 186965 | 2147483647 24125 23 | 0.105 % |
6.00/6.07 c | 24477 | 8598 55128 186965 | 2147483647 24301 23 | 0.105 % |
6.00/6.10 c | 24671 | 8598 55128 186965 | 2147483647 24495 23 | 0.105 % |
6.10/6.12 c | 24884 | 8598 55128 186965 | 2147483647 24708 23 | 0.105 % |
6.20/6.21 c | 25117 | 8597 55128 186965 | 2147483647 24940 23 | 0.116 % |
6.20/6.26 c | 25374 | 8597 55128 186965 | 2147483647 25197 23 | 0.116 % |
6.30/6.35 c | 25656 | 8597 55128 186965 | 2147483647 25479 23 | 0.116 % |
6.40/6.43 c | 25965 | 8596 55124 186953 | 2147483647 25744 23 | 0.128 % |
6.50/6.54 c | 26304 | 8596 55124 186953 | 2147483647 26083 23 | 0.128 % |
6.60/6.69 c | 26676 | 8596 55124 186953 | 2147483647 26455 23 | 0.128 % |
6.70/6.75 c | 27086 | 8596 55124 186953 | 2147483647 26865 23 | 0.128 % |
6.80/6.88 c | 27537 | 8596 55124 186953 | 2147483647 27316 23 | 0.128 % |
6.90/6.93 c | 27637 | 8596 55124 186953 | 2147483647 27416 23 | 0.128 % |
6.90/6.96 c | 27748 | 8596 55124 186953 | 2147483647 27527 23 | 0.128 % |
6.90/7.01 c | 27870 | 8596 55124 186953 | 2147483647 27649 23 | 0.128 % |
7.00/7.05 c | 28005 | 8596 55124 186953 | 2147483647 27784 23 | 0.128 % |
7.10/7.12 c | 28153 | 8596 55124 186953 | 2147483647 27932 24 | 0.128 % |
7.10/7.16 c | 28314 | 8596 55124 186953 | 2147483647 28093 24 | 0.128 % |
7.10/7.20 c | 28490 | 8596 55124 186953 | 2147483647 28269 24 | 0.128 % |
7.20/7.24 c | 28684 | 8596 55124 186953 | 2147483647 28463 24 | 0.128 % |
7.30/7.33 c | 28896 | 8596 55124 186953 | 2147483647 28675 24 | 0.128 % |
7.30/7.39 c | 29129 | 8596 55124 186953 | 2147483647 28908 24 | 0.128 % |
7.40/7.43 c | 29385 | 8596 55124 186953 | 2147483647 29164 24 | 0.128 % |
7.40/7.47 c | 29666 | 8596 55124 186953 | 2147483647 29445 24 | 0.128 % |
7.50/7.52 c | 29976 | 8596 55124 186953 | 2147483647 29755 24 | 0.128 % |
7.50/7.59 c | 30315 | 8596 55124 186953 | 2147483647 30094 24 | 0.128 % |
7.70/7.73 c | 30690 | 8596 55124 186953 | 2147483647 30469 24 | 0.128 % |
7.80/7.89 c | 31099 | 8594 55122 186947 | 2147483647 30855 24 | 0.151 % |
8.00/8.04 c | 31549 | 8594 55122 186947 | 2147483647 31305 24 | 0.151 % |
8.20/8.22 c | 32042 | 8594 55122 186947 | 2147483647 31798 24 | 0.151 % |
8.20/8.28 c | 32142 | 8594 55122 186947 | 2147483647 31898 24 | 0.152 % |
8.30/8.34 c | 32252 | 8594 55122 186947 | 2147483647 32008 24 | 0.151 % |
8.30/8.40 c | 32373 | 8594 55122 186947 | 2147483647 32129 24 | 0.151 % |
8.40/8.43 c | 32506 | 8594 55122 186947 | 2147483647 32262 24 | 0.151 % |
8.40/8.49 c | 32654 | 8594 55122 186947 | 2147483647 32410 25 | 0.151 % |
8.50/8.54 c | 32815 | 8594 55122 186947 | 2147483647 32571 25 | 0.151 % |
8.50/8.57 c | 32992 | 8594 55122 186947 | 2147483647 32748 24 | 0.151 % |
8.60/8.67 c | 33186 | 8594 55120 186941 | 2147483647 32932 24 | 0.151 % |
8.60/8.71 c | 33400 | 8594 55120 186941 | 2147483647 33146 24 | 0.151 % |
8.70/8.81 c | 33634 | 8594 55120 186941 | 2147483647 33380 24 | 0.151 % |
8.80/8.87 c | 33890 | 8594 55120 186941 | 2147483647 33636 25 | 0.151 % |
8.90/8.94 c | 34172 | 8594 55120 186941 | 2147483647 33918 25 | 0.151 % |
8.90/9.01 c | 34481 | 8594 55120 186941 | 2147483647 34227 25 | 0.151 % |
9.00/9.08 c | 34821 | 8594 55120 186941 | 2147483647 34567 25 | 0.151 % |
9.10/9.15 c | 35193 | 8594 55120 186941 | 2147483647 34939 25 | 0.151 % |
9.30/9.32 c | 35602 | 8593 55120 186941 | 2147483647 35347 25 | 0.163 % |
9.40/9.48 c | 36051 | 8593 55120 186941 | 2147483647 35796 25 | 0.163 % |
9.60/9.63 c | 36547 | 8593 55112 186917 | 2147483647 36288 26 | 0.163 % |
9.80/9.89 c | 37089 | 8593 55112 186917 | 2147483647 36830 26 | 0.163 % |
9.90/9.96 c | 37189 | 8593 55112 186917 | 2147483647 36930 26 | 0.163 % |
9.90/10.01 c | 37299 | 8593 55112 186917 | 2147483647 37040 26 | 0.163 % |
10.00/10.06 c | 37420 | 8593 55112 186917 | 2147483647 37161 26 | 0.163 % |
10.00/10.11 c | 37553 | 8593 55112 186917 | 2147483647 37294 26 | 0.163 % |
10.10/10.17 c | 37699 | 8593 55112 186917 | 2147483647 37440 26 | 0.163 % |
10.10/10.20 c | 37859 | 8593 55112 186917 | 2147483647 37600 26 | 0.163 % |
10.20/10.23 c | 38035 | 8593 55112 186917 | 2147483647 37776 26 | 0.163 % |
10.30/10.32 c | 38228 | 8593 55112 186917 | 2147483647 37969 26 | 0.163 % |
10.30/10.38 c | 38440 | 8593 55112 186917 | 2147483647 38181 26 | 0.163 % |
10.40/10.46 c | 38674 | 8593 55112 186917 | 2147483647 38415 26 | 0.163 % |
10.50/10.58 c | 38930 | 8593 55112 186917 | 2147483647 38671 26 | 0.163 % |
10.60/10.67 c | 39212 | 8593 55112 186917 | 2147483647 38953 26 | 0.163 % |
10.70/10.77 c | 39521 | 8593 55112 186917 | 2147483647 39262 26 | 0.163 % |
10.80/10.91 c | 39862 | 8593 55112 186917 | 2147483647 39603 26 | 0.163 % |
11.00/11.02 c | 40235 | 8593 55112 186917 | 2147483647 39976 26 | 0.163 % |
11.10/11.21 c | 40644 | 8593 55112 186917 | 2147483647 40385 27 | 0.163 % |
11.30/11.41 c | 41093 | 8593 55112 186917 | 2147483647 40834 27 | 0.163 % |
11.50/11.56 c | 41586 | 8593 55112 186917 | 2147483647 41327 27 | 0.163 % |
11.80/11.85 c | 42128 | 8593 55112 186917 | 2147483647 41869 27 | 0.163 % |
12.10/12.13 c | 42726 | 8593 55112 186917 | 2147483647 42467 27 | 0.163 % |
12.10/12.17 c | 42826 | 8593 55112 186917 | 2147483647 42567 27 | 0.163 % |
12.10/12.20 c | 42937 | 8593 55112 186917 | 2147483647 42678 27 | 0.163 % |
12.20/12.23 c | 43058 | 8593 55112 186917 | 2147483647 42799 27 | 0.163 % |
12.20/12.30 c | 43191 | 8593 55112 186917 | 2147483647 42932 27 | 0.163 % |
12.30/12.35 c | 43339 | 8593 55112 186917 | 2147483647 43080 27 | 0.163 % |
12.30/12.41 c | 43499 | 8593 55112 186917 | 2147483647 43240 27 | 0.163 % |
12.40/12.49 c | 43675 | 8593 55112 186917 | 2147483647 43416 27 | 0.163 % |
12.50/12.58 c | 43871 | 8593 55112 186917 | 2147483647 43612 27 | 0.163 % |
12.60/12.66 c | 44083 | 8593 55112 186917 | 2147483647 43824 27 | 0.163 % |
12.70/12.78 c | 44316 | 8590 55102 186884 | 2147483647 44042 27 | 0.198 % |
12.80/12.86 c | 44572 | 8590 55102 186884 | 2147483647 44298 27 | 0.198 % |
13.00/13.02 c | 44853 | 8590 55102 186884 | 2147483647 44579 27 | 0.198 % |
13.10/13.15 c | 45162 | 8590 55102 186884 | 2147483647 44888 27 | 0.198 % |
13.20/13.23 c | 45501 | 8590 55102 186884 | 2147483647 45227 27 | 0.198 % |
13.30/13.40 c | 45874 | 8590 55102 186884 | 2147483647 45600 28 | 0.198 % |
13.50/13.56 c | 46283 | 8590 55102 186884 | 2147483647 46009 28 | 0.198 % |
13.60/13.71 c | 46734 | 8590 55102 186884 | 2147483647 46460 28 | 0.198 % |
13.80/13.87 c | 47227 | 8590 55102 186884 | 2147483647 46953 28 | 0.198 % |
14.00/14.02 c | 47769 | 8590 55102 186884 | 2147483647 47495 28 | 0.198 % |
14.10/14.20 c | 48369 | 8590 55102 186884 | 2147483647 48095 28 | 0.198 % |
14.40/14.48 c | 49024 | 8590 55098 186872 | 2147483647 48543 29 | 0.198 % |
14.50/14.54 c | 49124 | 8590 55098 186872 | 2147483647 48643 29 | 0.198 % |
14.50/14.60 c | 49237 | 8590 55098 186872 | 2147483647 48756 29 | 0.198 % |
14.60/14.65 c | 49358 | 8590 55098 186872 | 2147483647 48877 29 | 0.198 % |
14.60/14.71 c | 49491 | 8590 55098 186872 | 2147483647 49010 29 | 0.198 % |
14.70/14.78 c | 49637 | 8590 55098 186872 | 2147483647 49156 29 | 0.198 % |
14.80/14.83 c | 49797 | 8590 55098 186872 | 2147483647 49316 29 | 0.198 % |
14.80/14.88 c | 49975 | 8590 55098 186872 | 2147483647 49494 29 | 0.198 % |
14.90/14.95 c | 50168 | 8590 55098 186872 | 2147483647 49687 29 | 0.198 % |
14.90/14.98 c | 50381 | 8590 55098 186872 | 2147483647 49900 29 | 0.198 % |
15.10/15.15 c | 50614 | 8590 55098 186872 | 2147483647 50133 29 | 0.198 % |
15.20/15.24 c | 50870 | 8590 55098 186872 | 2147483647 50389 29 | 0.198 % |
15.30/15.33 c | 51152 | 8590 55098 186872 | 2147483647 50671 29 | 0.198 % |
15.40/15.43 c | 51463 | 8590 55098 186872 | 2147483647 50982 29 | 0.198 % |
15.50/15.58 c | 51802 | 8590 55098 186872 | 2147483647 51321 29 | 0.198 % |
15.60/15.71 c | 52174 | 8590 55098 186872 | 2147483647 51693 29 | 0.198 % |
15.80/15.85 c | 52583 | 8590 55098 186872 | 2147483647 52102 29 | 0.198 % |
16.00/16.06 c | 53032 | 8590 55098 186872 | 2147483647 52551 29 | 0.198 % |
16.20/16.27 c | 53525 | 8590 55098 186872 | 2147483647 53044 29 | 0.198 % |
16.40/16.46 c | 54067 | 8590 55098 186872 | 2147483647 53586 29 | 0.198 % |
16.70/16.73 c | 54663 | 8590 55098 186872 | 2147483647 54182 30 | 0.198 % |
16.90/17.01 c | 55318 | 8590 55098 186872 | 2147483647 54837 30 | 0.198 % |
17.20/17.25 c | 56038 | 8590 55098 186872 | 2147483647 55557 30 | 0.198 % |
17.20/17.29 c | 56138 | 8590 55098 186872 | 2147483647 55657 30 | 0.198 % |
17.30/17.34 c | 56248 | 8590 55098 186872 | 2147483647 55767 30 | 0.198 % |
17.30/17.40 c | 56370 | 8590 55098 186872 | 2147483647 55889 30 | 0.198 % |
17.40/17.46 c | 56503 | 8590 55098 186872 | 2147483647 56022 30 | 0.198 % |
17.50/17.52 c | 56652 | 8590 55098 186872 | 2147483647 56171 30 | 0.198 % |
17.50/17.58 c | 56812 | 8590 55098 186872 | 2147483647 56331 30 | 0.198 % |
17.60/17.62 c | 56991 | 8590 55098 186872 | 2147483647 56510 30 | 0.198 % |
17.70/17.73 c | 57184 | 8590 55098 186872 | 2147483647 56703 30 | 0.198 % |
17.70/17.79 c | 57398 | 8590 55098 186872 | 2147483647 56917 30 | 0.198 % |
17.80/17.91 c | 57631 | 8590 55098 186872 | 2147483647 57150 30 | 0.198 % |
17.90/18.01 c | 57888 | 8590 55098 186872 | 2147483647 57407 30 | 0.198 % |
18.00/18.10 c | 58169 | 8590 55098 186872 | 2147483647 57688 30 | 0.198 % |
18.10/18.18 c | 58480 | 8590 55098 186872 | 2147483647 57999 30 | 0.198 % |
18.20/18.24 c | 58819 | 8590 55098 186872 | 2147483647 58338 30 | 0.198 % |
18.20/18.29 c | 59191 | 8590 55098 186872 | 2147483647 58710 30 | 0.198 % |
18.30/18.35 c | 59601 | 8590 55098 186872 | 2147483647 59120 30 | 0.198 % |
18.30/18.41 c | 60051 | 8590 55098 186872 | 2147483647 59570 30 | 0.198 % |
18.60/18.68 c | 60545 | 8590 55098 186872 | 2147483647 60064 30 | 0.198 % |
18.90/18.93 c | 61087 | 8590 55098 186872 | 2147483647 60606 30 | 0.198 % |
19.10/19.16 c | 61683 | 8590 55098 186872 | 2147483647 61202 30 | 0.198 % |
19.40/19.45 c | 62339 | 8590 55098 186872 | 2147483647 61858 30 | 0.198 % |
19.70/19.74 c | 63059 | 8590 55098 186872 | 2147483647 62578 30 | 0.198 % |
20.10/20.20 c | 63852 | 8590 55098 186872 | 2147483647 63371 31 | 0.198 % |
20.20/20.27 c | 63954 | 8590 55098 186872 | 2147483647 63473 31 | 0.198 % |
20.30/20.33 c | 64064 | 8590 55098 186872 | 2147483647 63583 31 | 0.198 % |
20.40/20.41 c | 64187 | 8590 55098 186872 | 2147483647 63706 31 | 0.198 % |
20.40/20.47 c | 64321 | 8590 55098 186872 | 2147483647 63840 31 | 0.198 % |
20.40/20.51 c | 64468 | 8590 55098 186872 | 2147483647 63987 31 | 0.198 % |
20.50/20.59 c | 64628 | 8590 55098 186872 | 2147483647 64147 31 | 0.198 % |
20.60/20.67 c | 64804 | 8590 55098 186872 | 2147483647 64323 31 | 0.198 % |
20.70/20.78 c | 64997 | 8590 55098 186872 | 2147483647 64516 31 | 0.198 % |
20.80/20.91 c | 65209 | 8590 55098 186872 | 2147483647 64728 31 | 0.198 % |
20.90/20.94 c | 65442 | 8590 55098 186872 | 2147483647 64961 31 | 0.198 % |
20.90/20.98 c | 65698 | 8590 55098 186872 | 2147483647 65217 31 | 0.198 % |
21.10/21.14 c | 65979 | 8590 55098 186872 | 2147483647 65498 31 | 0.198 % |
21.20/21.27 c | 66289 | 8590 55098 186872 | 2147483647 65808 31 | 0.198 % |
21.30/21.37 c | 66631 | 8590 55098 186872 | 2147483647 66150 31 | 0.198 % |
21.40/21.51 c | 67003 | 8590 55098 186872 | 2147483647 66522 31 | 0.198 % |
21.80/21.84 c | 67412 | 8589 55096 186866 | 2147483647 66826 31 | 0.209 % |
21.90/22.00 c | 67862 | 8589 55096 186866 | 2147483647 67276 31 | 0.209 % |
22.10/22.19 c | 68356 | 8589 55096 186866 | 2147483647 67770 31 | 0.209 % |
22.30/22.40 c | 68898 | 8589 55096 186866 | 2147483647 68312 31 | 0.209 % |
22.60/22.63 c | 69495 | 8589 55096 186866 | 2147483647 68909 31 | 0.209 % |
22.80/22.91 c | 70152 | 8589 55096 186866 | 2147483647 69566 31 | 0.209 % |
23.20/23.23 c | 70872 | 8589 55096 186866 | 2147483647 70286 31 | 0.209 % |
23.50/23.58 c | 71664 | 8589 55096 186866 | 2147483647 71078 31 | 0.209 % |
24.00/24.07 c | 72535 | 8589 55096 186866 | 2147483647 71949 31 | 0.209 % |
24.10/24.17 c | 72638 | 8589 55096 186866 | 2147483647 72052 31 | 0.209 % |
24.20/24.22 c | 72749 | 8589 55096 186866 | 2147483647 72163 31 | 0.209 % |
24.20/24.25 c | 72871 | 8589 55096 186866 | 2147483647 72285 31 | 0.209 % |
24.20/24.29 c | 73005 | 8589 55096 186866 | 2147483647 72419 31 | 0.209 % |
24.30/24.40 c | 73156 | 8589 55096 186866 | 2147483647 72570 31 | 0.209 % |
24.40/24.48 c | 73317 | 8589 55096 186866 | 2147483647 72731 31 | 0.209 % |
24.50/24.55 c | 73493 | 8589 55096 186866 | 2147483647 72907 31 | 0.209 % |
24.60/24.63 c | 73686 | 8589 55096 186866 | 2147483647 73100 31 | 0.209 % |
24.60/24.69 c | 73899 | 8589 55096 186866 | 2147483647 73313 31 | 0.209 % |
24.80/24.84 c | 74132 | 8589 55096 186866 | 2147483647 73546 31 | 0.209 % |
24.90/24.98 c | 74388 | 8589 55096 186866 | 2147483647 73802 31 | 0.209 % |
25.00/25.08 c | 74670 | 8589 55096 186866 | 2147483647 74084 31 | 0.209 % |
25.20/25.22 c | 74980 | 8589 55096 186866 | 2147483647 74394 31 | 0.209 % |
25.30/25.36 c | 75319 | 8589 55096 186866 | 2147483647 74733 31 | 0.209 % |
25.60/25.62 c | 75692 | 8589 55096 186866 | 2147483647 75106 31 | 0.209 % |
25.80/25.88 c | 76101 | 8589 55096 186866 | 2147483647 75515 31 | 0.209 % |
26.10/26.13 c | 76550 | 8589 55096 186866 | 2147483647 75964 32 | 0.209 % |
26.40/26.46 c | 77043 | 8589 55096 186866 | 2147483647 76457 32 | 0.209 % |
26.60/26.66 c | 77585 | 8589 55096 186866 | 2147483647 76999 32 | 0.210 % |
27.00/27.07 c | 78182 | 8589 55096 186866 | 2147483647 77596 32 | 0.209 % |
27.30/27.39 c | 78837 | 8589 55096 186866 | 2147483647 78251 32 | 0.209 % |
27.80/27.89 c | 79558 | 8589 55096 186866 | 2147483647 78972 32 | 0.209 % |
28.10/28.19 c | 80352 | 8589 55096 186866 | 2147483647 79766 32 | 0.209 % |
28.70/28.73 c | 81225 | 8589 55096 186866 | 2147483647 80639 33 | 0.209 % |
29.20/29.27 c | 82183 | 8589 55096 186866 | 2147483647 81597 33 | 0.209 % |
29.30/29.32 c | 82284 | 8589 55096 186866 | 2147483647 81698 33 | 0.209 % |
29.30/29.38 c | 82396 | 8589 55096 186866 | 2147483647 81810 33 | 0.209 % |
29.40/29.44 c | 82517 | 8589 55096 186866 | 2147483647 81931 33 | 0.209 % |
29.50/29.54 c | 82650 | 8589 55096 186866 | 2147483647 82064 33 | 0.209 % |
29.60/29.66 c | 82797 | 8589 55096 186866 | 2147483647 82211 33 | 0.209 % |
29.70/29.75 c | 82957 | 8589 55096 186866 | 2147483647 82371 33 | 0.209 % |
29.80/29.87 c | 83133 | 8589 55096 186866 | 2147483647 82547 33 | 0.209 % |
29.90/29.99 c | 83326 | 8589 55096 186866 | 2147483647 82740 33 | 0.209 % |
30.00/30.05 c | 83538 | 8589 55096 186866 | 2147483647 82952 33 | 0.209 % |
30.20/30.23 c | 83771 | 8589 55096 186866 | 2147483647 83185 33 | 0.209 % |
30.30/30.40 c | 84029 | 8589 55096 186866 | 2147483647 83443 33 | 0.209 % |
30.50/30.57 c | 84311 | 8589 55096 186866 | 2147483647 83725 33 | 0.209 % |
30.70/30.74 c | 84620 | 8589 55096 186866 | 2147483647 84034 33 | 0.209 % |
30.90/30.96 c | 84959 | 8589 55096 186866 | 2147483647 84373 33 | 0.209 % |
31.00/31.06 c | 85332 | 8589 55096 186866 | 2147483647 84746 33 | 0.209 % |
31.30/31.35 c | 85743 | 8589 55096 186866 | 2147483647 85157 33 | 0.209 % |
31.50/31.59 c | 86193 | 8589 55096 186866 | 2147483647 85607 33 | 0.209 % |
31.90/31.95 c | 86686 | 8589 55096 186866 | 2147483647 86100 33 | 0.209 % |
32.20/32.23 c | 87229 | 8589 55096 186866 | 2147483647 86643 33 | 0.209 % |
32.50/32.57 c | 87828 | 8589 55096 186866 | 2147483647 87242 33 | 0.209 % |
32.80/32.86 c | 88483 | 8589 55096 186866 | 2147483647 87897 33 | 0.209 % |
33.40/33.45 c | 89203 | 8589 55096 186866 | 2147483647 88617 33 | 0.209 % |
33.80/33.89 c | 89998 | 8589 55096 186866 | 2147483647 89412 34 | 0.209 % |
34.30/34.31 c | 90869 | 8589 55096 186866 | 2147483647 90283 34 | 0.209 % |
34.80/34.82 c | 91827 | 8589 55096 186866 | 2147483647 91241 34 | 0.209 % |
35.50/35.57 c | 92882 | 8589 55096 186866 | 2147483647 92296 34 | 0.209 % |
35.60/35.63 c | 92982 | 8589 55096 186866 | 2147483647 92396 34 | 0.209 % |
35.70/35.72 c | 93092 | 8589 55096 186866 | 2147483647 92506 34 | 0.209 % |
35.80/35.86 c | 93216 | 8589 55096 186866 | 2147483647 92630 34 | 0.209 % |
35.80/35.90 c | 93350 | 8589 55096 186866 | 2147483647 92764 34 | 0.209 % |
36.00/36.01 c | 93496 | 8589 55096 186866 | 2147483647 92910 34 | 0.209 % |
36.10/36.15 c | 93659 | 8589 55096 186866 | 2147483647 93073 34 | 0.209 % |
36.30/36.33 c | 93835 | 8588 55094 186860 | 2147483647 93241 34 | 0.221 % |
36.30/36.40 c | 94029 | 8588 55094 186860 | 2147483647 93435 34 | 0.221 % |
36.50/36.61 c | 94241 | 8588 55094 186860 | 2147483647 93647 34 | 0.221 % |
36.60/36.71 c | 94474 | 8588 55094 186860 | 2147483647 93880 34 | 0.221 % |
36.80/36.87 c | 94730 | 8588 55094 186860 | 2147483647 94136 34 | 0.221 % |
37.00/37.02 c | 95011 | 8588 55094 186860 | 2147483647 94417 34 | 0.221 % |
37.20/37.26 c | 95322 | 8588 55094 186860 | 2147483647 94728 34 | 0.221 % |
37.40/37.48 c | 95662 | 8588 55094 186860 | 2147483647 95068 34 | 0.221 % |
37.60/37.64 c | 96034 | 8588 55094 186860 | 2147483647 95440 34 | 0.221 % |
37.80/37.86 c | 96443 | 8588 55094 186860 | 2147483647 95849 34 | 0.221 % |
38.00/38.10 c | 96892 | 8588 55094 186860 | 2147483647 96298 34 | 0.221 % |
38.30/38.38 c | 97386 | 8588 55094 186860 | 2147483647 96792 34 | 0.221 % |
38.40/38.49 c | 97928 | 8588 55094 186860 | 2147483647 97334 34 | 0.221 % |
38.80/38.88 c | 98524 | 8588 55094 186860 | 2147483647 97930 34 | 0.221 % |
39.10/39.18 c | 99180 | 8588 55094 186860 | 2147483647 98586 34 | 0.221 % |
39.50/39.58 c | 99901 | 8588 55094 186860 | 2147483647 99307 34 | 0.221 % |
40.00/40.03 c | 100693 | 8588 55094 186860 | 2147483647 100099 34 | 0.221 % |
40.40/40.46 c | 101566 | 8588 55094 186860 | 2147483647 100972 34 | 0.221 % |
40.90/40.94 c | 102526 | 8588 55094 186860 | 2147483647 101932 35 | 0.221 % |
41.60/41.69 c | 103579 | 8588 55094 186860 | 2147483647 102985 35 | 0.221 % |
42.30/42.38 c | 104737 | 8588 55094 186860 | 2147483647 104143 35 | 0.221 % |
42.40/42.46 c | 104840 | 8588 55094 186860 | 2147483647 104246 35 | 0.221 % |
42.50/42.52 c | 104950 | 8588 55094 186860 | 2147483647 104356 35 | 0.221 % |
42.50/42.60 c | 105071 | 8588 55094 186860 | 2147483647 104477 35 | 0.221 % |
42.60/42.71 c | 105205 | 8588 55094 186860 | 2147483647 104611 35 | 0.221 % |
42.70/42.80 c | 105352 | 8588 55094 186860 | 2147483647 104758 35 | 0.221 % |
42.80/42.90 c | 105513 | 8588 55094 186860 | 2147483647 104919 35 | 0.221 % |
43.00/43.04 c | 105690 | 8588 55094 186860 | 2147483647 105096 35 | 0.221 % |
43.10/43.15 c | 105890 | 8588 55094 186860 | 2147483647 105296 35 | 0.221 % |
43.30/43.31 c | 106102 | 8588 55094 186860 | 2147483647 105508 35 | 0.221 % |
43.40/43.44 c | 106336 | 8588 55094 186860 | 2147483647 105742 35 | 0.221 % |
43.50/43.56 c | 106594 | 8588 55094 186860 | 2147483647 106000 35 | 0.221 % |
43.70/43.78 c | 106877 | 8588 55094 186860 | 2147483647 106283 36 | 0.221 % |
43.90/44.00 c | 107186 | 8588 55094 186860 | 2147483647 106592 36 | 0.221 % |
44.20/44.24 c | 107526 | 8588 55094 186860 | 2147483647 106932 36 | 0.221 % |
44.40/44.45 c | 107898 | 8588 55094 186860 | 2147483647 107304 36 | 0.221 % |
44.70/44.73 c | 108307 | 8588 55094 186860 | 2147483647 107713 36 | 0.221 % |
44.90/45.00 c | 108757 | 8588 55094 186860 | 2147483647 108163 36 | 0.221 % |
45.20/45.26 c | 109250 | 8588 55094 186860 | 2147483647 108656 36 | 0.221 % |
45.50/45.58 c | 109792 | 8588 55094 186860 | 2147483647 109198 36 | 0.221 % |
45.90/45.94 c | 110388 | 8588 55094 186860 | 2147483647 109794 36 | 0.221 % |
46.30/46.33 c | 111044 | 8588 55094 186860 | 2147483647 110450 36 | 0.221 % |
46.70/46.76 c | 111764 | 8588 55094 186860 | 2147483647 111170 36 | 0.221 % |
47.10/47.20 c | 112556 | 8588 55094 186860 | 2147483647 111962 36 | 0.221 % |
47.70/47.72 c | 113428 | 8588 55094 186860 | 2147483647 112834 36 | 0.221 % |
48.20/48.24 c | 114387 | 8588 55094 186860 | 2147483647 113793 36 | 0.221 % |
48.70/48.79 c | 115440 | 8588 55094 186860 | 2147483647 114846 36 | 0.221 % |
49.40/49.43 c | 116598 | 8588 55094 186860 | 2147483647 116004 36 | 0.221 % |
50.10/50.17 c | 117872 | 8588 55094 186860 | 2147483647 117278 36 | 0.221 % |
50.20/50.27 c | 117972 | 8588 55094 186860 | 2147483647 117378 37 | 0.221 % |
50.30/50.34 c | 118083 | 8588 55094 186860 | 2147483647 117489 37 | 0.221 % |
50.40/50.46 c | 118204 | 8588 55094 186860 | 2147483647 117610 37 | 0.221 % |
50.50/50.57 c | 118339 | 8588 55094 186860 | 2147483647 117745 37 | 0.221 % |
50.70/50.72 c | 118488 | 8588 55094 186860 | 2147483647 117894 37 | 0.221 % |
50.80/50.85 c | 118649 | 8588 55094 186860 | 2147483647 118055 37 | 0.221 % |
50.90/50.96 c | 118826 | 8588 55094 186860 | 2147483647 118232 37 | 0.221 % |
51.00/51.08 c | 119019 | 8588 55094 186860 | 2147483647 118425 37 | 0.221 % |
51.20/51.25 c | 119232 | 8588 55094 186860 | 2147483647 118638 37 | 0.221 % |
51.30/51.40 c | 119465 | 8588 55094 186860 | 2147483647 118871 37 | 0.221 % |
51.50/51.57 c | 119722 | 8588 55094 186860 | 2147483647 119128 37 | 0.221 % |
51.71/51.76 c | 120004 | 8588 55094 186860 | 2147483647 119410 37 | 0.221 % |
52.00/52.02 c | 120313 | 8588 55094 186860 | 2147483647 119719 37 | 0.221 % |
52.20/52.23 c | 120653 | 8588 55094 186860 | 2147483647 120059 37 | 0.221 % |
52.40/52.44 c | 121025 | 8588 55094 186860 | 2147483647 120431 37 | 0.221 % |
52.70/52.77 c | 121435 | 8588 55094 186860 | 2147483647 120841 37 | 0.221 % |
53.00/53.07 c | 121884 | 8588 55094 186860 | 2147483647 121290 37 | 0.221 % |
53.30/53.41 c | 122377 | 8588 55094 186860 | 2147483647 121783 37 | 0.221 % |
53.91/53.92 c | 122919 | 8588 55094 186860 | 2147483647 122325 37 | 0.221 % |
54.20/54.30 c | 123516 | 8588 55094 186860 | 2147483647 122922 37 | 0.221 % |
54.60/54.68 c | 124172 | 8588 55094 186860 | 2147483647 123578 37 | 0.221 % |
55.20/55.29 c | 124894 | 8588 55094 186860 | 2147483647 124300 37 | 0.221 % |
55.80/55.86 c | 125687 | 8588 55094 186860 | 2147483647 125093 37 | 0.221 % |
56.40/56.44 c | 126558 | 8588 55094 186860 | 2147483647 125964 37 | 0.221 % |
57.10/57.21 c | 127516 | 8588 55094 186860 | 2147483647 126922 38 | 0.221 % |
58.10/58.14 c | 128569 | 8588 55094 186860 | 2147483647 127975 38 | 0.221 % |
58.90/58.93 c | 129728 | 8588 55094 186860 | 2147483647 129134 38 | 0.221 % |
59.90/59.92 c | 131003 | 8588 55094 186860 | 2147483647 130409 39 | 0.221 % |
61.00/61.07 c | 132403 | 8588 55094 186860 | 2147483647 131809 39 | 0.221 % |
61.10/61.16 c | 132503 | 8588 55094 186860 | 2147483647 131909 39 | 0.221 % |
61.20/61.29 c | 132616 | 8588 55094 186860 | 2147483647 132022 39 | 0.221 % |
61.40/61.41 c | 132737 | 8588 55094 186860 | 2147483647 132143 39 | 0.221 % |
61.50/61.53 c | 132871 | 8588 55094 186860 | 2147483647 132277 39 | 0.221 % |
61.61/61.64 c | 133017 | 8588 55094 186860 | 2147483647 132423 39 | 0.221 % |
61.70/61.77 c | 133178 | 8588 55094 186860 | 2147483647 132584 39 | 0.221 % |
61.80/61.89 c | 133354 | 8588 55094 186860 | 2147483647 132760 39 | 0.221 % |
62.00/62.07 c | 133547 | 8588 55094 186860 | 2147483647 132953 39 | 0.221 % |
62.20/62.25 c | 133759 | 8588 55094 186860 | 2147483647 133165 39 | 0.221 % |
62.30/62.39 c | 133993 | 8588 55094 186860 | 2147483647 133399 39 | 0.221 % |
62.50/62.57 c | 134252 | 8588 55094 186860 | 2147483647 133658 39 | 0.221 % |
62.71/62.73 c | 134533 | 8588 55094 186860 | 2147483647 133939 39 | 0.221 % |
62.90/62.98 c | 134843 | 8588 55094 186860 | 2147483647 134249 39 | 0.221 % |
63.10/63.12 c | 135185 | 8588 55094 186860 | 2147483647 134591 39 | 0.221 % |
63.20/63.25 c | 135557 | 8588 55094 186860 | 2147483647 134963 39 | 0.221 % |
63.60/63.67 c | 135967 | 8588 55094 186860 | 2147483647 135373 39 | 0.221 % |
63.81/63.87 c | 136417 | 8588 55094 186860 | 2147483647 135823 39 | 0.221 % |
64.20/64.30 c | 136910 | 8588 55094 186860 | 2147483647 136316 39 | 0.221 % |
64.60/64.67 c | 137453 | 8588 55094 186860 | 2147483647 136859 39 | 0.221 % |
65.20/65.24 c | 138049 | 8586 55090 186848 | 2147483647 137309 39 | 0.244 % |
65.70/65.75 c | 138706 | 8586 55090 186848 | 2147483647 137966 39 | 0.244 % |
66.10/66.20 c | 139426 | 8586 55090 186848 | 2147483647 138686 39 | 0.244 % |
66.80/66.87 c | 140218 | 8586 55090 186848 | 2147483647 139478 39 | 0.244 % |
67.40/67.48 c | 141091 | 8586 55090 186848 | 2147483647 140351 39 | 0.244 % |
68.21/68.24 c | 142049 | 8586 55090 186848 | 2147483647 141309 39 | 0.244 % |
69.31/69.35 c | 143102 | 8586 55090 186848 | 2147483647 142362 40 | 0.244 % |
70.10/70.17 c | 144261 | 8586 55090 186848 | 2147483647 143521 40 | 0.244 % |
70.90/70.98 c | 145534 | 8586 55090 186848 | 2147483647 144794 39 | 0.244 % |
71.80/71.85 c | 146934 | 8586 55090 186848 | 2147483647 146194 40 | 0.244 % |
72.40/72.43 c | 148474 | 8586 55090 186848 | 2147483647 147734 39 | 0.244 % |
72.40/72.49 c | 148574 | 8586 55090 186848 | 2147483647 147834 39 | 0.244 % |
72.50/72.61 c | 148685 | 8586 55090 186848 | 2147483647 147945 39 | 0.244 % |
72.70/72.72 c | 148807 | 8586 55090 186848 | 2147483647 148067 39 | 0.244 % |
72.90/72.91 c | 148940 | 8586 55090 186848 | 2147483647 148200 39 | 0.244 % |
73.00/73.05 c | 149086 | 8586 55090 186848 | 2147483647 148346 39 | 0.244 % |
73.10/73.18 c | 149246 | 8586 55090 186848 | 2147483647 148506 39 | 0.244 % |
73.20/73.24 c | 149423 | 8586 55090 186848 | 2147483647 148683 39 | 0.244 % |
73.30/73.34 c | 149617 | 8586 55090 186848 | 2147483647 148877 39 | 0.244 % |
73.40/73.43 c | 149829 | 8586 55090 186848 | 2147483647 149089 39 | 0.244 % |
73.50/73.52 c | 150062 | 8586 55090 186848 | 2147483647 149322 39 | 0.244 % |
73.71/73.77 c | 150319 | 8586 55090 186848 | 2147483647 149579 39 | 0.244 % |
73.90/73.98 c | 150602 | 8586 55090 186848 | 2147483647 149862 39 | 0.244 % |
74.10/74.19 c | 150913 | 8586 55090 186848 | 2147483647 150173 39 | 0.244 % |
74.40/74.43 c | 151253 | 8586 55090 186848 | 2147483647 150513 39 | 0.244 % |
74.81/74.82 c | 151626 | 8586 55090 186848 | 2147483647 150886 39 | 0.244 % |
75.10/75.12 c | 152036 | 8586 55090 186848 | 2147483647 151296 39 | 0.244 % |
75.70/75.71 c | 152485 | 8586 55090 186848 | 2147483647 151745 39 | 0.244 % |
76.00/76.06 c | 152978 | 8586 55090 186848 | 2147483647 152238 39 | 0.244 % |
76.30/76.39 c | 153521 | 8586 55090 186848 | 2147483647 152781 40 | 0.244 % |
76.90/77.01 c | 154117 | 8586 55090 186848 | 2147483647 153377 40 | 0.244 % |
77.50/77.53 c | 154772 | 8586 55090 186848 | 2147483647 154032 40 | 0.244 % |
78.20/78.22 c | 155492 | 8586 55090 186848 | 2147483647 154752 40 | 0.244 % |
78.70/78.75 c | 156285 | 8586 55090 186848 | 2147483647 155545 40 | 0.244 % |
79.40/79.47 c | 157156 | 8586 55090 186848 | 2147483647 156416 40 | 0.244 % |
80.20/80.24 c | 158114 | 8586 55090 186848 | 2147483647 157374 40 | 0.244 % |
80.90/80.97 c | 159167 | 8586 55090 186848 | 2147483647 158427 40 | 0.244 % |
81.80/81.89 c | 160325 | 8586 55090 186848 | 2147483647 159585 40 | 0.244 % |
82.80/82.83 c | 161599 | 8586 55090 186848 | 2147483647 160859 40 | 0.244 % |
83.70/83.78 c | 163002 | 8586 55090 186848 | 2147483647 162262 40 | 0.244 % |
85.40/85.42 c | 164543 | 8586 55090 186848 | 2147483647 163803 40 | 0.244 % |
86.80/86.91 c | 166237 | 8586 55090 186848 | 2147483647 165497 40 | 0.244 % |
87.00/87.02 c | 166338 | 8586 55090 186848 | 2147483647 165598 40 | 0.244 % |
87.10/87.14 c | 166448 | 8586 55090 186848 | 2147483647 165708 40 | 0.244 % |
87.20/87.29 c | 166570 | 8586 55090 186848 | 2147483647 165830 40 | 0.244 % |
87.40/87.45 c | 166706 | 8586 55090 186848 | 2147483647 165966 40 | 0.244 % |
87.50/87.60 c | 166852 | 8586 55090 186848 | 2147483647 166112 40 | 0.244 % |
87.70/87.72 c | 167013 | 8586 55090 186848 | 2147483647 166273 40 | 0.244 % |
87.90/87.91 c | 167189 | 8586 55090 186848 | 2147483647 166449 40 | 0.244 % |
88.01/88.04 c | 167382 | 8586 55090 186848 | 2147483647 166642 40 | 0.244 % |
88.31/88.32 c | 167594 | 8586 55090 186848 | 2147483647 166854 40 | 0.244 % |
88.51/88.57 c | 167827 | 8586 55090 186848 | 2147483647 167087 40 | 0.244 % |
88.81/88.88 c | 168084 | 8586 55090 186848 | 2147483647 167344 40 | 0.244 % |
89.11/89.16 c | 168367 | 8586 55090 186848 | 2147483647 167627 40 | 0.244 % |
89.31/89.41 c | 168677 | 8586 55090 186848 | 2147483647 167937 40 | 0.244 % |
89.81/89.84 c | 169017 | 8586 55090 186848 | 2147483647 168277 40 | 0.244 % |
90.21/90.23 c | 169391 | 8586 55090 186848 | 2147483647 168651 40 | 0.244 % |
90.51/90.60 c | 169800 | 8586 55090 186848 | 2147483647 169060 41 | 0.244 % |
90.91/91.01 c | 170251 | 8586 55090 186848 | 2147483647 169511 41 | 0.244 % |
91.11/91.15 c | 170744 | 8586 55090 186848 | 2147483647 170004 41 | 0.244 % |
91.21/91.30 c | 171288 | 8586 55090 186848 | 2147483647 170548 40 | 0.244 % |
92.01/92.09 c | 171885 | 8586 55090 186848 | 2147483647 171145 41 | 0.244 % |
92.61/92.71 c | 172541 | 8586 55090 186848 | 2147483647 171801 40 | 0.244 % |
93.41/93.48 c | 173261 | 8586 55090 186848 | 2147483647 172521 41 | 0.244 % |
94.11/94.14 c | 174053 | 8586 55090 186848 | 2147483647 173313 41 | 0.244 % |
94.91/95.01 c | 174926 | 8586 55090 186848 | 2147483647 174186 41 | 0.244 % |
95.91/95.97 c | 175885 | 8586 55090 186848 | 2147483647 175145 41 | 0.244 % |
96.81/96.91 c | 176938 | 8586 55090 186848 | 2147483647 176198 41 | 0.244 % |
97.71/97.73 c | 178096 | 8586 55090 186848 | 2147483647 177356 40 | 0.244 % |
98.81/98.92 c | 179371 | 8586 55090 186848 | 2147483647 178631 41 | 0.244 % |
100.31/100.37 c | 180771 | 8586 55090 186848 | 2147483647 180031 41 | 0.244 % |
102.01/102.11 c | 182311 | 8586 55090 186848 | 2147483647 181571 41 | 0.244 % |
103.71/103.74 c | 184005 | 8586 55090 186848 | 2147483647 183265 41 | 0.244 % |
105.91/105.95 c | 185869 | 8586 55090 186848 | 2147483647 185129 41 | 0.244 % |
106.01/106.06 c | 185970 | 8586 55090 186848 | 2147483647 185230 41 | 0.244 % |
106.11/106.16 c | 186080 | 8586 55090 186848 | 2147483647 185340 41 | 0.244 % |
106.31/106.39 c | 186202 | 8586 55090 186848 | 2147483647 185462 41 | 0.244 % |
106.51/106.56 c | 186336 | 8586 55090 186848 | 2147483647 185596 41 | 0.244 % |
106.71/106.73 c | 186484 | 8586 55090 186848 | 2147483647 185744 41 | 0.244 % |
106.81/106.89 c | 186645 | 8586 55090 186848 | 2147483647 185905 41 | 0.244 % |
107.01/107.03 c | 186822 | 8586 55090 186848 | 2147483647 186082 41 | 0.244 % |
107.11/107.18 c | 187015 | 8586 55090 186848 | 2147483647 186275 41 | 0.244 % |
107.41/107.43 c | 187227 | 8586 55090 186848 | 2147483647 186487 41 | 0.244 % |
107.61/107.64 c | 187460 | 8586 55090 186848 | 2147483647 186720 41 | 0.244 % |
107.81/107.83 c | 187717 | 8586 55090 186848 | 2147483647 186977 41 | 0.244 % |
108.01/108.03 c | 187998 | 8586 55090 186848 | 2147483647 187258 41 | 0.244 % |
108.21/108.28 c | 188308 | 8586 55090 186848 | 2147483647 187568 41 | 0.244 % |
108.61/108.70 c | 188647 | 8586 55090 186848 | 2147483647 187907 41 | 0.244 % |
109.01/109.03 c | 189020 | 8586 55090 186848 | 2147483647 188280 41 | 0.244 % |
109.41/109.42 c | 189429 | 8586 55090 186848 | 2147483647 188689 41 | 0.244 % |
109.81/109.82 c | 189879 | 8586 55090 186848 | 2147483647 189139 41 | 0.244 % |
110.21/110.25 c | 190373 | 8586 55090 186848 | 2147483647 189633 41 | 0.244 % |
110.71/110.74 c | 190915 | 8586 55090 186848 | 2147483647 190175 41 | 0.244 % |
111.21/111.27 c | 191512 | 8586 55090 186848 | 2147483647 190772 41 | 0.244 % |
112.21/112.27 c | 192168 | 8586 55090 186848 | 2147483647 191428 41 | 0.244 % |
112.61/112.68 c | 192888 | 8586 55090 186848 | 2147483647 192148 41 | 0.244 % |
113.61/113.62 c | 193681 | 8586 55090 186848 | 2147483647 192941 41 | 0.244 % |
114.51/114.53 c | 194553 | 8586 55090 186848 | 2147483647 193813 41 | 0.244 % |
115.61/115.69 c | 195511 | 8586 55090 186848 | 2147483647 194771 42 | 0.244 % |
116.61/116.65 c | 196564 | 8586 55090 186848 | 2147483647 195824 42 | 0.244 % |
117.91/117.95 c | 197723 | 8586 55090 186848 | 2147483647 196983 42 | 0.244 % |
119.11/119.16 c | 198996 | 8586 55090 186848 | 2147483647 198256 42 | 0.244 % |
120.61/120.71 c | 200397 | 8586 55090 186848 | 2147483647 199657 42 | 0.244 % |
122.01/122.06 c | 201937 | 8586 55090 186848 | 2147483647 201197 42 | 0.244 % |
123.51/123.57 c | 203631 | 8586 55090 186848 | 2147483647 202891 42 | 0.244 % |
124.11/124.12 c | 205494 | 8586 55090 186848 | 2147483647 204754 42 | 0.244 % |
127.01/127.04 c | 207543 | 8586 55090 186848 | 2147483647 206803 42 | 0.244 % |
127.21/127.23 c | 207643 | 8586 55090 186848 | 2147483647 206903 42 | 0.244 % |
127.41/127.44 c | 207753 | 8586 55090 186848 | 2147483647 207013 42 | 0.244 % |
127.51/127.58 c | 207874 | 8586 55090 186848 | 2147483647 207134 42 | 0.244 % |
127.61/127.69 c | 208007 | 8586 55090 186848 | 2147483647 207267 42 | 0.244 % |
127.81/127.88 c | 208154 | 8586 55090 186848 | 2147483647 207414 42 | 0.244 % |
128.11/128.11 c | 208316 | 8586 55090 186848 | 2147483647 207576 42 | 0.244 % |
128.31/128.40 c | 208492 | 8586 55090 186848 | 2147483647 207752 42 | 0.244 % |
128.51/128.58 c | 208686 | 8586 55090 186848 | 2147483647 207946 42 | 0.244 % |
128.71/128.81 c | 208900 | 8586 55090 186848 | 2147483647 208160 42 | 0.244 % |
129.11/129.13 c | 209134 | 8586 55090 186848 | 2147483647 208394 42 | 0.244 % |
129.41/129.42 c | 209391 | 8586 55090 186848 | 2147483647 208651 42 | 0.244 % |
129.51/129.56 c | 209672 | 8586 55090 186848 | 2147483647 208932 42 | 0.244 % |
129.61/129.67 c | 209981 | 8586 55090 186848 | 2147483647 209241 42 | 0.244 % |
129.71/129.77 c | 210320 | 8586 55090 186848 | 209261 209580 42 | 0.244 % |
130.31/130.37 c | 210692 | 8586 55090 186848 | 209261 182313 41 | 0.244 % |
130.41/130.49 c | 211101 | 8586 55090 186848 | 209261 182722 41 | 0.244 % |
131.11/131.20 c | 211550 | 8586 55090 186848 | 209261 183171 41 | 0.244 % |
131.71/131.73 c | 212043 | 8586 55090 186848 | 209261 183664 41 | 0.244 % |
132.21/132.25 c | 212586 | 8586 55090 186848 | 209261 184207 41 | 0.244 % |
133.01/133.04 c | 213182 | 8586 55090 186848 | 209261 184803 41 | 0.244 % |
133.51/133.60 c | 213837 | 8586 55090 186848 | 209261 185458 41 | 0.244 % |
134.21/134.28 c | 214557 | 8586 55090 186848 | 209261 186178 41 | 0.244 % |
135.31/135.35 c | 215349 | 8586 55090 186848 | 209261 186970 41 | 0.244 % |
136.01/136.06 c | 216220 | 8586 55090 186848 | 209261 187841 41 | 0.244 % |
136.71/136.73 c | 217178 | 8586 55090 186848 | 209261 188799 41 | 0.244 % |
138.11/138.13 c | 218231 | 8586 55090 186848 | 209261 189852 42 | 0.244 % |
139.21/139.24 c | 219389 | 8586 55090 186848 | 209261 191010 42 | 0.244 % |
140.61/140.69 c | 220665 | 8586 55090 186848 | 191621 192286 42 | 0.244 % |
142.11/142.17 c | 222065 | 8586 55090 186848 | 191621 164746 42 | 0.244 % |
143.91/144.01 c | 223607 | 8586 55090 186848 | 191621 166288 42 | 0.244 % |
145.22/145.29 c | 225304 | 8586 55090 186848 | 191621 167985 42 | 0.244 % |
147.21/147.23 c | 227168 | 8586 55090 186848 | 191621 169849 42 | 0.244 % |
148.91/148.96 c | 229218 | 8586 55090 186848 | 191621 171899 42 | 0.244 % |
150.61/150.68 c | 231472 | 8586 55090 186848 | 2147483647 174153 42 | 0.244 % |
150.72/150.78 c | 231572 | 8586 55090 186848 | 2147483647 174253 42 | 0.244 % |
150.91/150.96 c | 231684 | 8586 55090 186848 | 2147483647 174365 42 | 0.244 % |
151.01/151.08 c | 231806 | 8586 55090 186848 | 2147483647 174487 42 | 0.244 % |
151.11/151.20 c | 231940 | 8586 55090 186848 | 2147483647 174621 42 | 0.244 % |
151.31/151.33 c | 232086 | 8586 55090 186848 | 2147483647 174767 42 | 0.244 % |
151.51/151.55 c | 232248 | 8586 55090 186848 | 2147483647 174929 42 | 0.244 % |
151.71/151.78 c | 232425 | 8586 55090 186848 | 2147483647 175106 42 | 0.244 % |
151.82/151.89 c | 232618 | 8586 55090 186848 | 2147483647 175299 42 | 0.244 % |
152.11/152.18 c | 232830 | 8586 55090 186848 | 2147483647 175511 42 | 0.244 % |
152.21/152.29 c | 233063 | 8586 55090 186848 | 2147483647 175744 42 | 0.244 % |
152.61/152.68 c | 233319 | 8586 55090 186848 | 2147483647 176000 42 | 0.244 % |
152.92/152.93 c | 233601 | 8586 55090 186848 | 2147483647 176282 42 | 0.244 % |
153.21/153.23 c | 233910 | 8586 55090 186848 | 2147483647 176591 42 | 0.244 % |
153.51/153.53 c | 234249 | 8586 55090 186848 | 2147483647 176930 42 | 0.244 % |
153.81/153.83 c | 234621 | 8586 55090 186848 | 2147483647 177302 42 | 0.244 % |
154.11/154.17 c | 235031 | 8586 55090 186848 | 2147483647 177712 42 | 0.244 % |
154.81/154.87 c | 235481 | 8586 55090 186848 | 2147483647 178162 42 | 0.244 % |
155.21/155.30 c | 235975 | 8586 55090 186848 | 2147483647 178656 42 | 0.244 % |
155.71/155.76 c | 236517 | 8586 55090 186848 | 2147483647 179198 42 | 0.244 % |
156.31/156.34 c | 237116 | 8586 55090 186848 | 2147483647 179797 42 | 0.244 % |
157.01/157.04 c | 237771 | 8586 55090 186848 | 2147483647 180452 42 | 0.244 % |
157.61/157.70 c | 238491 | 8586 55090 186848 | 2147483647 181172 42 | 0.244 % |
158.61/158.64 c | 239283 | 8586 55090 186848 | 2147483647 181964 42 | 0.244 % |
159.21/159.30 c | 240155 | 8586 55090 186848 | 2147483647 182836 42 | 0.244 % |
160.21/160.30 c | 241113 | 8586 55090 186848 | 2147483647 183794 42 | 0.244 % |
161.21/161.29 c | 242169 | 8586 55090 186848 | 2147483647 184850 42 | 0.244 % |
162.21/162.22 c | 243327 | 8586 55090 186848 | 2147483647 186008 42 | 0.244 % |
164.01/164.02 c | 244600 | 8586 55090 186848 | 2147483647 187281 42 | 0.244 % |
165.41/165.51 c | 246000 | 8586 55090 186848 | 2147483647 188681 42 | 0.244 % |
167.11/167.17 c | 247540 | 8586 55090 186848 | 2147483647 190221 42 | 0.244 % |
169.42/169.45 c | 249234 | 8586 55090 186848 | 2147483647 191915 42 | 0.244 % |
171.71/171.77 c | 251097 | 8586 55090 186848 | 192683 193778 43 | 0.244 % |
174.11/174.19 c | 253148 | 8586 55090 186848 | 192683 167546 41 | 0.244 % |
176.21/176.23 c | 255403 | 8586 55090 186848 | 192683 169801 41 | 0.244 % |
177.91/178.01 c | 257881 | 8586 55090 186848 | 192683 172279 41 | 0.244 % |
178.01/178.10 c | 257981 | 8586 55090 186848 | 192683 172379 41 | 0.244 % |
178.11/178.21 c | 258091 | 8586 55090 186848 | 192683 172489 41 | 0.244 % |
178.31/178.40 c | 258212 | 8586 55090 186848 | 192683 172610 41 | 0.244 % |
178.51/178.57 c | 258345 | 8586 55090 186848 | 192683 172743 41 | 0.244 % |
178.61/178.71 c | 258491 | 8586 55090 186848 | 192683 172889 41 | 0.244 % |
178.81/178.91 c | 258651 | 8586 55090 186848 | 192683 173049 41 | 0.244 % |
179.01/179.05 c | 258828 | 8586 55090 186848 | 192683 173226 41 | 0.244 % |
179.11/179.21 c | 259022 | 8586 55090 186848 | 192683 173420 41 | 0.244 % |
179.51/179.56 c | 259235 | 8586 55090 186848 | 192683 173633 41 | 0.244 % |
179.71/179.76 c | 259468 | 8586 55090 186848 | 192683 173866 41 | 0.244 % |
179.91/179.97 c | 259724 | 8586 55090 186848 | 192683 174122 41 | 0.244 % |
180.11/180.20 c | 260008 | 8586 55090 186848 | 174400 174406 41 | 0.244 % |
180.51/180.53 c | 260318 | 8586 55090 186848 | 174400 174716 41 | 0.244 % |
181.21/181.24 c | 260658 | 8586 55090 186848 | 174400 150850 39 | 0.244 % |
181.52/181.57 c | 261030 | 8586 55090 186848 | 174400 151222 40 | 0.244 % |
182.01/182.04 c | 261439 | 8586 55090 186848 | 174400 151631 40 | 0.244 % |
182.31/182.38 c | 261888 | 8586 55090 186848 | 174400 152080 40 | 0.244 % |
182.81/182.88 c | 262381 | 8586 55090 186848 | 174400 152573 40 | 0.244 % |
183.31/183.36 c | 262923 | 8586 55090 186848 | 174400 153115 40 | 0.244 % |
183.81/183.88 c | 263520 | 8586 55090 186848 | 174400 153712 40 | 0.244 % |
184.71/184.72 c | 264176 | 8586 55090 186848 | 174400 154368 40 | 0.244 % |
185.31/185.37 c | 264898 | 8586 55090 186848 | 174400 155090 40 | 0.244 % |
186.02/186.03 c | 265691 | 8586 55090 186848 | 174400 155883 40 | 0.244 % |
186.72/186.79 c | 266563 | 8586 55090 186848 | 174400 156755 40 | 0.244 % |
188.22/188.26 c | 267521 | 8586 55090 186848 | 174400 157713 40 | 0.244 % |
189.32/189.36 c | 268574 | 8586 55090 186848 | 174400 158766 40 | 0.244 % |
190.92/190.97 c | 269733 | 8586 55090 186848 | 174400 159925 40 | 0.244 % |
192.32/192.38 c | 271006 | 8586 55090 186848 | 160193 139319 39 | 0.244 % |
193.62/193.67 c | 272408 | 8586 55090 186848 | 160193 140721 39 | 0.244 % |
194.92/195.01 c | 273948 | 8586 55090 186848 | 160193 142261 39 | 0.244 % |
196.72/196.75 c | 275643 | 8586 55090 186848 | 160193 143956 39 | 0.244 % |
198.32/198.33 c | 277506 | 8586 55090 186848 | 160193 145819 39 | 0.244 % |
200.72/200.72 c | 279556 | 8586 55090 186848 | 160193 147869 40 | 0.244 % |
203.22/203.23 c | 281810 | 8586 55090 186848 | 2147483647 150123 40 | 0.244 % |
205.32/205.33 c | 284288 | 8586 55090 186848 | 2147483647 152601 40 | 0.244 % |
208.62/208.70 c | 287015 | 8586 55090 186848 | 2147483647 155328 40 | 0.244 % |
208.82/208.87 c | 287118 | 8586 55090 186848 | 2147483647 155431 40 | 0.244 % |
208.92/209.00 c | 287228 | 8586 55090 186848 | 2147483647 155541 40 | 0.244 % |
209.02/209.10 c | 287350 | 8586 55090 186848 | 2147483647 155663 40 | 0.244 % |
209.12/209.21 c | 287483 | 8586 55090 186848 | 2147483647 155796 40 | 0.244 % |
209.32/209.35 c | 287630 | 8586 55090 186848 | 2147483647 155943 40 | 0.244 % |
209.42/209.50 c | 287790 | 8586 55090 186848 | 2147483647 156103 40 | 0.244 % |
209.62/209.66 c | 287966 | 8586 55090 186848 | 2147483647 156279 40 | 0.244 % |
209.82/209.84 c | 288161 | 8586 55090 186848 | 2147483647 156474 40 | 0.244 % |
210.02/210.03 c | 288376 | 8586 55090 186848 | 2147483647 156689 40 | 0.244 % |
210.22/210.25 c | 288609 | 8586 55090 186848 | 2147483647 156922 40 | 0.244 % |
210.32/210.41 c | 288865 | 8586 55090 186848 | 2147483647 157178 40 | 0.244 % |
210.42/210.50 c | 289146 | 8586 55090 186848 | 2147483647 157459 40 | 0.244 % |
210.52/210.60 c | 289455 | 8586 55090 186848 | 2147483647 157768 40 | 0.244 % |
211.02/211.03 c | 289794 | 8586 55090 186848 | 2147483647 158107 40 | 0.244 % |
211.32/211.36 c | 290167 | 8586 55090 186848 | 2147483647 158480 40 | 0.244 % |
211.62/211.71 c | 290577 | 8586 55090 186848 | 2147483647 158890 40 | 0.244 % |
212.22/212.23 c | 291026 | 8586 55090 186848 | 2147483647 159339 40 | 0.244 % |
212.72/212.77 c | 291519 | 8586 55090 186848 | 2147483647 159832 40 | 0.244 % |
213.12/213.19 c | 292061 | 8586 55090 186848 | 2147483647 160374 41 | 0.244 % |
213.52/213.54 c | 292660 | 8586 55090 186848 | 2147483647 160973 40 | 0.244 % |
213.62/213.70 c | 293315 | 8586 55090 186848 | 2147483647 161628 40 | 0.244 % |
213.82/213.88 c | 294035 | 8586 55090 186848 | 2147483647 162348 40 | 0.244 % |
214.92/215.01 c | 294828 | 8586 55090 186848 | 2147483647 163141 40 | 0.244 % |
215.82/215.82 c | 295699 | 8586 55090 186848 | 2147483647 164012 40 | 0.244 % |
216.62/216.72 c | 296658 | 8586 55090 186848 | 2147483647 164971 41 | 0.244 % |
217.62/217.72 c | 297711 | 8586 55090 186848 | 2147483647 166024 41 | 0.244 % |
218.62/218.69 c | 298871 | 8586 55090 186848 | 2147483647 167184 41 | 0.244 % |
220.42/220.42 c | 300144 | 8586 55090 186848 | 2147483647 168457 41 | 0.244 % |
221.92/222.01 c | 301545 | 8586 55090 186848 | 2147483647 169858 41 | 0.244 % |
223.82/223.88 c | 303086 | 8586 55090 186848 | 2147483647 171399 41 | 0.244 % |
225.92/225.93 c | 304780 | 8586 55090 186848 | 2147483647 173093 41 | 0.244 % |
227.62/227.68 c | 306643 | 8586 55090 186848 | 2147483647 174956 41 | 0.244 % |
229.22/229.28 c | 308694 | 8586 55090 186848 | 2147483647 177007 41 | 0.244 % |
231.72/231.76 c | 310947 | 8586 55090 186848 | 178315 155722 40 | 0.244 % |
234.12/234.13 c | 313427 | 8586 55090 186848 | 178315 158202 40 | 0.244 % |
236.22/236.30 c | 316153 | 8586 55090 186848 | 178315 160928 40 | 0.244 % |
238.62/238.68 c | 319150 | 8586 55090 186848 | 178315 163925 40 | 0.244 % |
238.72/238.77 c | 319252 | 8586 55090 186848 | 178315 164027 40 | 0.244 % |
238.82/238.87 c | 319363 | 8586 55090 186848 | 178315 164138 40 | 0.244 % |
238.92/238.97 c | 319484 | 8586 55090 186848 | 178315 164259 40 | 0.244 % |
239.02/239.07 c | 319617 | 8586 55090 186848 | 178315 164392 40 | 0.244 % |
239.12/239.15 c | 319763 | 8586 55090 186848 | 178315 164538 40 | 0.244 % |
239.12/239.20 c | 319924 | 8586 55090 186848 | 178315 164699 40 | 0.244 % |
239.22/239.27 c | 320100 | 8586 55090 186848 | 2147483647 164875 40 | 0.244 % |
239.32/239.35 c | 320295 | 8586 55090 186848 | 2147483647 165070 40 | 0.244 % |
239.52/239.54 c | 320507 | 8586 55090 186848 | 2147483647 165282 40 | 0.244 % |
239.82/239.90 c | 320741 | 8586 55090 186848 | 2147483647 165516 40 | 0.244 % |
240.12/240.18 c | 320997 | 8586 55090 186848 | 2147483647 165772 40 | 0.244 % |
240.52/240.56 c | 321278 | 8586 55090 186848 | 2147483647 166053 40 | 0.244 % |
240.92/240.99 c | 321588 | 8586 55090 186848 | 2147483647 166363 40 | 0.244 % |
241.32/241.35 c | 321927 | 8586 55090 186848 | 2147483647 166702 40 | 0.244 % |
241.72/241.77 c | 322300 | 8586 55090 186848 | 2147483647 167075 40 | 0.244 % |
242.22/242.24 c | 322709 | 8586 55090 186848 | 2147483647 167484 40 | 0.244 % |
242.62/242.70 c | 323158 | 8586 55090 186848 | 2147483647 167933 40 | 0.244 % |
242.92/242.98 c | 323651 | 8586 55090 186848 | 2147483647 168426 40 | 0.244 % |
243.12/243.19 c | 324193 | 8586 55090 186848 | 2147483647 168968 40 | 0.244 % |
243.32/243.39 c | 324790 | 8586 55090 186848 | 2147483647 169565 40 | 0.244 % |
243.82/243.88 c | 325447 | 8586 55090 186848 | 2147483647 170222 40 | 0.244 % |
244.42/244.49 c | 326168 | 8586 55090 186848 | 2147483647 170943 40 | 0.244 % |
245.12/245.17 c | 326960 | 8586 55090 186848 | 2147483647 171735 40 | 0.244 % |
246.02/246.06 c | 327832 | 8586 55090 186848 | 2147483647 172607 40 | 0.244 % |
247.22/247.30 c | 328790 | 8586 55090 186848 | 2147483647 173565 40 | 0.244 % |
247.92/247.93 c | 329843 | 8586 55090 186848 | 2147483647 174618 40 | 0.244 % |
248.22/248.29 c | 331001 | 8586 55090 186848 | 2147483647 175776 40 | 0.244 % |
250.02/250.03 c | 332274 | 8586 55090 186848 | 2147483647 177049 40 | 0.244 % |
251.52/251.54 c | 333674 | 8586 55090 186848 | 2147483647 178449 40 | 0.244 % |
252.92/252.93 c | 335214 | 8586 55090 186848 | 2147483647 179989 40 | 0.244 % |
254.82/254.85 c | 336908 | 8586 55090 186848 | 2147483647 181683 40 | 0.244 % |
257.72/257.73 c | 338771 | 8586 55090 186848 | 2147483647 183546 41 | 0.244 % |
259.82/259.88 c | 340820 | 8586 55090 186848 | 2147483647 185595 41 | 0.244 % |
261.92/261.93 c | 343073 | 8586 55090 186848 | 2147483647 187848 41 | 0.244 % |
264.92/265.00 c | 345552 | 8586 55090 186848 | 2147483647 190327 41 | 0.244 % |
268.52/268.60 c | 348277 | 8586 55090 186848 | 2147483647 193052 42 | 0.244 % |
269.72/269.76 c | 351275 | 8586 55090 186848 | 2147483647 196050 41 | 0.244 % |
274.72/274.77 c | 354571 | 8586 55090 186848 | 2147483647 199346 42 | 0.244 % |
274.92/274.97 c | 354671 | 8586 55090 186848 | 2147483647 199446 42 | 0.244 % |
275.12/275.17 c | 354783 | 8586 55090 186848 | 2147483647 199558 42 | 0.244 % |
275.22/275.27 c | 354905 | 8586 55090 186848 | 2147483647 199680 42 | 0.244 % |
275.42/275.49 c | 355039 | 8586 55090 186848 | 2147483647 199814 42 | 0.244 % |
275.62/275.70 c | 355185 | 8586 55090 186848 | 2147483647 199960 42 | 0.244 % |
275.82/275.89 c | 355346 | 8586 55090 186848 | 2147483647 200121 42 | 0.244 % |
276.02/276.07 c | 355523 | 8586 55090 186848 | 2147483647 200298 42 | 0.244 % |
276.42/276.42 c | 355717 | 8586 55090 186848 | 2147483647 200492 42 | 0.244 % |
276.62/276.71 c | 355930 | 8586 55090 186848 | 2147483647 200705 42 | 0.244 % |
276.82/276.87 c | 356163 | 8586 55090 186848 | 2147483647 200938 42 | 0.244 % |
277.12/277.20 c | 356419 | 8586 55090 186848 | 2147483647 201194 42 | 0.244 % |
277.23/277.27 c | 356702 | 8586 55090 186848 | 2147483647 201477 42 | 0.244 % |
277.62/277.61 c | 357011 | 8586 55090 186848 | 2147483647 201786 42 | 0.244 % |
278.12/278.18 c | 357350 | 8586 55090 186848 | 2147483647 202125 42 | 0.244 % |
278.52/278.56 c | 357722 | 8586 55090 186848 | 2147483647 202497 42 | 0.244 % |
278.92/278.99 c | 358133 | 8586 55090 186848 | 2147483647 202908 42 | 0.244 % |
279.32/279.37 c | 358583 | 8586 55090 186848 | 2147483647 203358 42 | 0.244 % |
280.02/280.06 c | 359076 | 8586 55090 186848 | 2147483647 203851 42 | 0.244 % |
280.53/280.53 c | 359619 | 8586 55090 186848 | 2147483647 204394 42 | 0.244 % |
280.92/280.96 c | 360216 | 8586 55090 186848 | 204775 204991 42 | 0.244 % |
281.92/281.95 c | 360871 | 8586 55090 186848 | 204775 168118 41 | 0.244 % |
283.01/283.06 c | 361591 | 8586 55090 186848 | 204775 168838 41 | 0.244 % |
283.72/283.77 c | 362383 | 8586 55090 186848 | 204775 169630 41 | 0.244 % |
284.42/284.45 c | 363254 | 8586 55090 186848 | 204775 170501 41 | 0.244 % |
285.22/285.22 c | 364215 | 8586 55090 186848 | 204775 171462 41 | 0.244 % |
286.22/286.24 c | 365268 | 8586 55090 186848 | 204775 172515 41 | 0.244 % |
287.12/287.14 c | 366427 | 8586 55090 186848 | 204775 173674 41 | 0.244 % |
287.82/287.88 c | 367700 | 8586 55090 186848 | 204775 174947 41 | 0.244 % |
289.42/289.43 c | 369101 | 8586 55090 186848 | 204775 176348 41 | 0.244 % |
291.02/291.04 c | 370642 | 8586 55090 186848 | 2147483647 177889 41 | 0.244 % |
292.42/292.50 c | 372336 | 8586 55090 186848 | 2147483647 179583 41 | 0.244 % |
293.82/293.90 c | 374199 | 8586 55090 186848 | 2147483647 181446 41 | 0.244 % |
296.22/296.30 c | 376248 | 8586 55090 186848 | 2147483647 183495 41 | 0.244 % |
298.22/298.26 c | 378502 | 8586 55090 186848 | 2147483647 185749 41 | 0.244 % |
301.22/301.22 c | 380982 | 8586 55090 186848 | 187249 169414 41 | 0.244 % |
302.12/302.19 c | 383709 | 8586 55090 186848 | 187249 172141 40 | 0.244 % |
306.32/306.32 c | 386706 | 8586 55090 186848 | 187249 175138 41 | 0.244 % |
310.52/310.54 c | 390004 | 8586 55090 186848 | 178432 178436 41 | 0.244 % |
315.22/315.23 c | 393630 | 8586 55090 186848 | 178432 162362 41 | 0.244 % |
315.32/315.36 c | 393731 | 8586 55090 186848 | 178432 162463 41 | 0.244 % |
315.42/315.48 c | 393842 | 8586 55090 186848 | 178432 162574 41 | 0.244 % |
315.52/315.58 c | 393963 | 8586 55090 186848 | 178432 162695 41 | 0.244 % |
315.72/315.73 c | 394097 | 8586 55090 186848 | 178432 162829 41 | 0.244 % |
315.92/315.91 c | 394243 | 8586 55090 186848 | 178432 162975 41 | 0.244 % |
315.92/315.98 c | 394403 | 8586 55090 186848 | 178432 163135 41 | 0.244 % |
316.12/316.21 c | 394579 | 8586 55090 186848 | 178432 163311 41 | 0.244 % |
316.32/316.39 c | 394773 | 8586 55090 186848 | 178432 163505 41 | 0.244 % |
316.52/316.51 c | 394985 | 8586 55090 186848 | 178432 163717 41 | 0.244 % |
316.72/316.79 c | 395220 | 8586 55090 186848 | 178432 163952 41 | 0.244 % |
317.02/317.06 c | 395478 | 8586 55090 186848 | 178432 164210 41 | 0.244 % |
317.32/317.40 c | 395760 | 8586 55090 186848 | 178432 164492 41 | 0.244 % |
317.62/317.67 c | 396070 | 8586 55090 186848 | 178432 164802 41 | 0.244 % |
318.12/318.16 c | 396410 | 8586 55090 186848 | 178432 165142 41 | 0.244 % |
318.62/318.62 c | 396782 | 8586 55090 186848 | 178432 165514 41 | 0.244 % |
318.82/318.90 c | 397191 | 8586 55090 186848 | 178432 165923 41 | 0.244 % |
319.32/319.37 c | 397642 | 8586 55090 186848 | 178432 166374 41 | 0.244 % |
319.82/319.85 c | 398136 | 8586 55090 186848 | 178432 166868 41 | 0.244 % |
320.32/320.40 c | 398679 | 8586 55090 186848 | 178432 167411 41 | 0.244 % |
320.92/320.95 c | 399276 | 8586 55090 186848 | 178432 168008 41 | 0.244 % |
321.62/321.66 c | 399931 | 8586 55090 186848 | 178432 168663 41 | 0.244 % |
322.52/322.57 c | 400651 | 8586 55090 186848 | 2147483647 169383 41 | 0.244 % |
323.12/323.18 c | 401444 | 8586 55090 186848 | 2147483647 170176 41 | 0.244 % |
323.92/324.00 c | 402316 | 8586 55090 186848 | 2147483647 171048 41 | 0.244 % |
325.12/325.16 c | 403274 | 8586 55090 186848 | 2147483647 172006 41 | 0.244 % |
326.12/326.20 c | 404327 | 8586 55090 186848 | 2147483647 173059 41 | 0.244 % |
327.22/327.22 c | 405488 | 8586 55090 186848 | 2147483647 174220 41 | 0.244 % |
328.22/328.25 c | 406762 | 8586 55090 186848 | 2147483647 175494 41 | 0.244 % |
329.82/329.82 c | 408162 | 8586 55090 186848 | 2147483647 176894 41 | 0.244 % |
331.32/331.32 c | 409702 | 8586 55090 186848 | 2147483647 178434 41 | 0.244 % |
332.92/332.92 c | 411397 | 8586 55090 186848 | 2147483647 180129 41 | 0.244 % |
334.72/334.77 c | 413261 | 8586 55090 186848 | 2147483647 181993 41 | 0.244 % |
337.12/337.13 c | 415310 | 8586 55090 186848 | 2147483647 184042 41 | 0.244 % |
339.72/339.74 c | 417566 | 8586 55090 186848 | 2147483647 186298 41 | 0.244 % |
342.52/342.58 c | 420045 | 8586 55090 186848 | 2147483647 188777 42 | 0.244 % |
346.72/346.72 c | 422772 | 8586 55090 186848 | 2147483647 191504 42 | 0.244 % |
349.52/349.54 c | 425771 | 8586 55090 186848 | 2147483647 194503 42 | 0.244 % |
352.32/352.32 c | 429069 | 8586 55090 186848 | 2147483647 197801 42 | 0.244 % |
357.12/357.16 c | 432694 | 8586 55090 186848 | 2147483647 201426 42 | 0.244 % |
361.62/361.67 c | 436682 | 8586 55090 186848 | 2147483647 205414 42 | 0.244 % |
361.72/361.77 c | 436782 | 8586 55090 186848 | 2147483647 205514 42 | 0.244 % |
361.82/361.91 c | 436893 | 8586 55090 186848 | 2147483647 205625 42 | 0.244 % |
362.12/362.18 c | 437014 | 8586 55090 186848 | 2147483647 205746 42 | 0.244 % |
362.42/362.41 c | 437147 | 8586 55090 186848 | 2147483647 205879 42 | 0.244 % |
362.42/362.48 c | 437294 | 8586 55090 186848 | 2147483647 206026 42 | 0.244 % |
362.52/362.55 c | 437454 | 8586 55090 186848 | 2147483647 206186 42 | 0.244 % |
362.82/362.81 c | 437631 | 8586 55090 186848 | 2147483647 206363 42 | 0.244 % |
362.82/362.89 c | 437825 | 8586 55090 186848 | 2147483647 206557 42 | 0.244 % |
363.03/363.10 c | 438039 | 8586 55090 186848 | 2147483647 206771 42 | 0.244 % |
363.52/363.57 c | 438273 | 8586 55090 186848 | 2147483647 207005 42 | 0.244 % |
363.82/363.86 c | 438529 | 8586 55090 186848 | 2147483647 207261 42 | 0.244 % |
364.22/364.21 c | 438810 | 8586 55090 186848 | 2147483647 207542 42 | 0.244 % |
364.42/364.48 c | 439119 | 8586 55090 186848 | 2147483647 207851 42 | 0.244 % |
365.02/365.08 c | 439461 | 8586 55090 186848 | 2147483647 208193 42 | 0.244 % |
365.52/365.53 c | 439833 | 8586 55090 186848 | 2147483647 208565 42 | 0.244 % |
365.82/365.86 c | 440242 | 8586 55090 186848 | 208732 208974 42 | 0.244 % |
366.62/366.66 c | 440693 | 8586 55090 186848 | 208732 188528 41 | 0.244 % |
367.12/367.20 c | 441188 | 8586 55090 186848 | 208732 189023 41 | 0.244 % |
367.82/367.85 c | 441730 | 8586 55090 186848 | 208732 189565 41 | 0.244 % |
368.53/368.58 c | 442326 | 8586 55090 186848 | 208732 190161 41 | 0.244 % |
369.32/369.33 c | 442981 | 8586 55090 186848 | 208732 190816 41 | 0.244 % |
369.92/369.98 c | 443703 | 8586 55090 186848 | 208732 191538 41 | 0.244 % |
370.92/370.90 c | 444496 | 8586 55090 186848 | 208732 192331 41 | 0.244 % |
371.92/371.91 c | 445367 | 8586 55090 186848 | 208732 193202 41 | 0.244 % |
373.02/373.08 c | 446325 | 8586 55090 186848 | 208732 194160 41 | 0.244 % |
373.82/373.85 c | 447379 | 8586 55090 186848 | 208732 195214 41 | 0.244 % |
374.82/374.81 c | 448537 | 8586 55090 186848 | 208732 196372 41 | 0.244 % |
377.12/377.14 c | 449810 | 8586 55090 186848 | 208732 197645 41 | 0.244 % |
378.72/378.79 c | 451212 | 8586 55090 186848 | 197835 199047 41 | 0.244 % |
380.72/380.72 c | 452752 | 8586 55090 186848 | 197835 175118 40 | 0.244 % |
383.13/383.20 c | 454446 | 8586 55090 186848 | 197835 176812 41 | 0.244 % |
385.13/385.18 c | 456310 | 8586 55090 186848 | 197835 178676 41 | 0.244 % |
386.63/386.71 c | 458360 | 8586 55090 186848 | 197835 180726 41 | 0.244 % |
388.83/388.84 c | 460615 | 8586 55090 186848 | 182367 162530 39 | 0.244 % |
390.33/390.38 c | 463093 | 8586 55090 186848 | 182367 165008 39 | 0.244 % |
393.13/393.20 c | 465818 | 8586 55090 186848 | 182367 167733 39 | 0.244 % |
396.43/396.51 c | 468815 | 8586 55090 186848 | 182367 170730 40 | 0.244 % |
398.93/398.97 c | 472111 | 8586 55090 186848 | 171915 155295 38 | 0.244 % |
402.53/402.53 c | 475737 | 8586 55090 186848 | 171915 158921 39 | 0.244 % |
407.83/407.87 c | 479725 | 8586 55090 186848 | 171915 162909 39 | 0.244 % |
411.43/411.44 c | 484113 | 8586 55090 186848 | 163184 167297 40 | 0.244 % |
412.13/412.17 c | 484214 | 8586 55090 186848 | 163184 133572 38 | 0.244 % |
412.23/412.25 c | 484324 | 8586 55090 186848 | 163184 133682 38 | 0.244 % |
412.33/412.34 c | 484445 | 8586 55090 186848 | 163184 133803 38 | 0.244 % |
412.43/412.50 c | 484578 | 8586 55090 186848 | 163184 133936 38 | 0.244 % |
412.53/412.60 c | 484727 | 8586 55090 186848 | 163184 134085 38 | 0.244 % |
412.63/412.66 c | 484887 | 8586 55090 186848 | 163184 134245 38 | 0.244 % |
412.73/412.75 c | 485064 | 8586 55090 186848 | 163184 134422 38 | 0.244 % |
412.93/413.01 c | 485258 | 8586 55090 186848 | 163184 134616 38 | 0.244 % |
413.13/413.19 c | 485470 | 8586 55090 186848 | 163184 134828 38 | 0.244 % |
413.43/413.43 c | 485704 | 8586 55090 186848 | 163184 135062 38 | 0.244 % |
413.63/413.62 c | 485960 | 8586 55090 186848 | 163184 135318 38 | 0.244 % |
413.73/413.80 c | 486241 | 8586 55090 186848 | 163184 135599 38 | 0.244 % |
413.93/413.99 c | 486550 | 8586 55090 186848 | 163184 135908 38 | 0.244 % |
414.23/414.28 c | 486889 | 8586 55090 186848 | 163184 136247 38 | 0.244 % |
414.33/414.40 c | 487264 | 8586 55090 186848 | 163184 136622 38 | 0.244 % |
414.43/414.50 c | 487674 | 8586 55090 186848 | 163184 137032 38 | 0.244 % |
414.53/414.59 c | 488124 | 8586 55090 186848 | 163184 137482 38 | 0.244 % |
414.63/414.69 c | 488617 | 8586 55090 186848 | 163184 137975 37 | 0.244 % |
414.83/414.86 c | 489160 | 8586 55090 186848 | 163184 138518 37 | 0.244 % |
415.63/415.65 c | 489756 | 8586 55090 186848 | 163184 139114 37 | 0.244 % |
415.93/415.96 c | 490411 | 8586 55090 186848 | 2147483647 139769 38 | 0.244 % |
416.63/416.61 c | 491131 | 8586 55090 186848 | 2147483647 140489 38 | 0.244 % |
417.23/417.26 c | 491923 | 8586 55090 186848 | 2147483647 141281 38 | 0.244 % |
417.83/417.81 c | 492795 | 8586 55090 186848 | 2147483647 142153 37 | 0.244 % |
418.73/418.72 c | 493753 | 8586 55090 186848 | 2147483647 143111 38 | 0.244 % |
418.93/418.94 c | 494806 | 8586 55090 186848 | 2147483647 144164 37 | 0.244 % |
419.63/419.66 c | 495967 | 8586 55090 186848 | 2147483647 145325 37 | 0.244 % |
421.03/421.05 c | 497240 | 8586 55090 186848 | 2147483647 146598 37 | 0.244 % |
422.13/422.13 c | 498640 | 8586 55090 186848 | 2147483647 147998 37 | 0.244 % |
424.13/424.17 c | 500180 | 8586 55090 186848 | 2147483647 149538 38 | 0.244 % |
425.53/425.60 c | 501875 | 8586 55090 186848 | 2147483647 151233 38 | 0.244 % |
427.33/427.34 c | 503738 | 8586 55090 186848 | 2147483647 153096 38 | 0.244 % |
429.73/429.78 c | 505788 | 8586 55090 186848 | 2147483647 155146 38 | 0.244 % |
432.33/432.38 c | 508042 | 8586 55090 186848 | 2147483647 157400 38 | 0.244 % |
435.33/435.38 c | 510520 | 8586 55090 186848 | 2147483647 159878 39 | 0.244 % |
438.03/438.05 c | 513249 | 8586 55090 186848 | 2147483647 162607 39 | 0.244 % |
440.53/440.53 c | 516248 | 8586 55090 186848 | 2147483647 165606 39 | 0.244 % |
442.83/442.88 c | 519544 | 8586 55090 186848 | 2147483647 168902 39 | 0.244 % |
446.64/446.70 c | 523170 | 8586 55090 186848 | 169358 172528 39 | 0.244 % |
451.53/451.55 c | 527157 | 8586 55090 186848 | 169358 157444 39 | 0.244 % |
456.03/456.03 c | 531542 | 8586 55090 186848 | 160287 161829 39 | 0.244 % |
462.23/462.21 c | 536366 | 8586 55090 186848 | 160287 150471 39 | 0.244 % |
462.23/462.30 c | 536466 | 8586 55090 186848 | 160287 150571 39 | 0.244 % |
462.33/462.39 c | 536577 | 8586 55090 186848 | 160287 150682 39 | 0.244 % |
462.53/462.55 c | 536698 | 8586 55090 186848 | 160287 150803 39 | 0.244 % |
462.63/462.69 c | 536831 | 8586 55090 186848 | 160287 150936 39 | 0.244 % |
462.83/462.83 c | 536978 | 8586 55090 186848 | 160287 151083 39 | 0.244 % |
462.93/462.95 c | 537138 | 8586 55090 186848 | 160287 151243 39 | 0.244 % |
463.03/463.08 c | 537314 | 8586 55090 186848 | 160287 151419 39 | 0.244 % |
463.23/463.24 c | 537507 | 8586 55090 186848 | 160287 151612 39 | 0.244 % |
463.53/463.54 c | 537720 | 8586 55090 186848 | 160287 151825 39 | 0.244 % |
463.73/463.76 c | 537953 | 8586 55090 186848 | 160287 152058 39 | 0.244 % |
463.93/464.00 c | 538209 | 8586 55090 186848 | 160287 152314 39 | 0.244 % |
464.13/464.16 c | 538491 | 8586 55090 186848 | 160287 152596 39 | 0.244 % |
464.33/464.38 c | 538802 | 8586 55090 186848 | 160287 152907 39 | 0.244 % |
464.63/464.70 c | 539142 | 8586 55090 186848 | 160287 153247 39 | 0.244 % |
465.03/465.04 c | 539514 | 8586 55090 186848 | 160287 153619 39 | 0.244 % |
465.63/465.63 c | 539923 | 8586 55090 186848 | 160287 154028 39 | 0.244 % |
465.93/465.99 c | 540375 | 8586 55090 186848 | 154107 154480 39 | 0.244 % |
466.73/466.72 c | 540868 | 8586 55090 186848 | 154107 138646 39 | 0.244 % |
467.23/467.23 c | 541413 | 8586 55090 186848 | 154107 139191 39 | 0.244 % |
467.73/467.76 c | 542009 | 8586 55090 186848 | 154107 139787 39 | 0.244 % |
468.43/468.45 c | 542664 | 8586 55090 186848 | 154107 140442 39 | 0.244 % |
468.93/468.99 c | 543385 | 8586 55090 186848 | 154107 141163 39 | 0.244 % |
469.83/469.88 c | 544177 | 8586 55090 186848 | 154107 141955 39 | 0.244 % |
470.53/470.58 c | 545049 | 8586 55090 186848 | 154107 142827 39 | 0.244 % |
471.63/471.62 c | 546008 | 8586 55090 186848 | 154107 143786 39 | 0.244 % |
472.83/472.81 c | 547062 | 8586 55090 186848 | 154107 144840 39 | 0.244 % |
474.14/474.20 c | 548220 | 8586 55090 186848 | 154107 145998 39 | 0.244 % |
475.24/475.23 c | 549493 | 8586 55090 186848 | 154107 147271 39 | 0.244 % |
476.43/476.49 c | 550894 | 8586 55090 186848 | 2147483647 148672 39 | 0.244 % |
477.73/477.73 c | 552435 | 8586 55090 186848 | 2147483647 150213 40 | 0.244 % |
479.53/479.55 c | 554129 | 8586 55090 186848 | 2147483647 151907 40 | 0.244 % |
481.34/481.35 c | 555993 | 8586 55090 186848 | 2147483647 153771 40 | 0.244 % |
483.04/483.11 c | 558042 | 8586 55090 186848 | 2147483647 155820 40 | 0.244 % |
485.54/485.54 c | 560296 | 8586 55090 186848 | 2147483647 158074 40 | 0.244 % |
488.74/488.76 c | 562774 | 8586 55090 186848 | 2147483647 160552 40 | 0.244 % |
492.14/492.18 c | 565499 | 8586 55090 186848 | 2147483647 163277 41 | 0.244 % |
494.84/494.85 c | 568496 | 8586 55090 186848 | 2147483647 166274 40 | 0.244 % |
498.34/498.33 c | 571792 | 8586 55090 186848 | 167779 142476 39 | 0.244 % |
502.24/502.27 c | 575417 | 8586 55090 186848 | 167779 146101 40 | 0.244 % |
504.84/504.86 c | 579404 | 8586 55090 186848 | 167779 150088 40 | 0.244 % |
507.94/507.97 c | 583789 | 8586 55090 186848 | 2147483647 154473 40 | 0.244 % |
511.94/512.00 c | 588612 | 8586 55090 186848 | 2147483647 159296 40 | 0.244 % |
517.64/517.70 c | 593917 | 8586 55090 186848 | 2147483647 164601 41 | 0.244 % |
517.84/517.83 c | 594017 | 8586 55090 186848 | 2147483647 164701 41 | 0.244 % |
518.04/518.06 c | 594128 | 8586 55090 186848 | 2147483647 164812 41 | 0.244 % |
518.14/518.18 c | 594250 | 8586 55090 186848 | 2147483647 164934 41 | 0.244 % |
518.34/518.32 c | 594383 | 8586 55090 186848 | 2147483647 165067 41 | 0.244 % |
518.54/518.53 c | 594529 | 8586 55090 186848 | 2147483647 165213 41 | 0.244 % |
518.74/518.75 c | 594689 | 8586 55090 186848 | 2147483647 165373 41 | 0.244 % |
518.94/518.92 c | 594866 | 8586 55090 186848 | 2147483647 165550 41 | 0.244 % |
519.04/519.11 c | 595060 | 8586 55090 186848 | 2147483647 165744 41 | 0.244 % |
519.34/519.39 c | 595272 | 8586 55090 186848 | 2147483647 165956 41 | 0.244 % |
519.64/519.64 c | 595505 | 8586 55090 186848 | 2147483647 166189 41 | 0.244 % |
520.04/520.09 c | 595762 | 8586 55090 186848 | 2147483647 166446 41 | 0.244 % |
520.34/520.36 c | 596043 | 8586 55090 186848 | 2147483647 166727 41 | 0.244 % |
520.74/520.78 c | 596352 | 8586 55090 186848 | 2147483647 167036 41 | 0.244 % |
521.14/521.11 c | 596692 | 8586 55090 186848 | 2147483647 167376 41 | 0.244 % |
521.44/521.47 c | 597064 | 8586 55090 186848 | 2147483647 167748 41 | 0.244 % |
521.74/521.73 c | 597474 | 8586 55090 186848 | 2147483647 168158 41 | 0.244 % |
521.84/521.86 c | 597923 | 8586 55090 186848 | 2147483647 168607 41 | 0.244 % |
521.94/521.98 c | 598419 | 8586 55090 186848 | 2147483647 169103 41 | 0.244 % |
522.34/522.31 c | 598962 | 8586 55090 186848 | 2147483647 169646 41 | 0.244 % |
523.24/523.23 c | 599558 | 8586 55090 186848 | 2147483647 170242 41 | 0.244 % |
523.94/523.98 c | 600213 | 8586 55090 186848 | 170684 170897 41 | 0.244 % |
524.94/524.92 c | 600934 | 8586 55090 186848 | 170684 150261 40 | 0.244 % |
525.54/525.60 c | 601726 | 8586 55090 186848 | 170684 151053 40 | 0.244 % |
525.94/525.93 c | 602597 | 8586 55090 186848 | 170684 151924 40 | 0.244 % |
527.34/527.31 c | 603555 | 8586 55090 186848 | 170684 152882 40 | 0.244 % |
528.64/528.62 c | 604608 | 8586 55090 186848 | 170684 153935 40 | 0.244 % |
529.54/529.51 c | 605769 | 8586 55090 186848 | 170684 155096 40 | 0.244 % |
530.54/530.54 c | 607043 | 8586 55090 186848 | 170684 156370 40 | 0.244 % |
532.34/532.32 c | 608444 | 8586 55090 186848 | 170684 157771 40 | 0.244 % |
533.84/533.81 c | 609984 | 8586 55090 186848 | 170684 159311 40 | 0.244 % |
535.44/535.41 c | 611678 | 8586 55090 186848 | 2147483647 161005 40 | 0.244 % |
537.54/537.52 c | 613541 | 8586 55090 186848 | 2147483647 162868 40 | 0.244 % |
539.94/539.95 c | 615591 | 8586 55090 186848 | 2147483647 164918 40 | 0.244 % |
542.74/542.80 c | 617844 | 8586 55090 186848 | 2147483647 167171 41 | 0.244 % |
544.74/544.79 c | 620322 | 8586 55090 186848 | 169328 169649 41 | 0.244 % |
547.34/547.33 c | 623047 | 8586 55090 186848 | 169328 146406 39 | 0.244 % |
550.64/550.66 c | 626045 | 8586 55090 186848 | 169328 149404 40 | 0.244 % |
553.64/553.61 c | 629343 | 8586 55090 186848 | 169328 152702 40 | 0.244 % |
557.24/557.26 c | 632969 | 8586 55090 186848 | 153359 156328 41 | 0.244 % |
561.14/561.13 c | 636958 | 8586 55090 186848 | 153359 143809 38 | 0.244 % |
565.24/565.27 c | 641344 | 8586 55090 186848 | 2147483647 148195 38 | 0.244 % |
570.44/570.48 c | 646168 | 8586 55090 186848 | 2147483647 153019 39 | 0.244 % |
574.54/574.56 c | 651474 | 8586 55090 186848 | 2147483647 158325 39 | 0.244 % |
581.65/581.70 c | 657311 | 8586 55090 186848 | 2147483647 164162 40 | 0.244 % |
581.85/581.82 c | 657412 | 8586 55090 186848 | 2147483647 164263 40 | 0.244 % |
581.85/581.91 c | 657524 | 8586 55090 186848 | 2147483647 164375 40 | 0.244 % |
582.15/582.19 c | 657645 | 8586 55090 186848 | 2147483647 164496 40 | 0.244 % |
582.25/582.31 c | 657778 | 8586 55090 186848 | 2147483647 164629 40 | 0.244 % |
582.35/582.41 c | 657924 | 8586 55090 186848 | 2147483647 164775 40 | 0.244 % |
582.65/582.61 c | 658086 | 8586 55090 186848 | 2147483647 164937 40 | 0.244 % |
582.85/582.89 c | 658262 | 8586 55090 186848 | 2147483647 165113 40 | 0.244 % |
583.05/583.05 c | 658456 | 8586 55090 186848 | 2147483647 165307 40 | 0.244 % |
583.25/583.25 c | 658669 | 8586 55090 186848 | 2147483647 165520 40 | 0.244 % |
583.45/583.48 c | 658903 | 8586 55090 186848 | 2147483647 165754 40 | 0.244 % |
583.65/583.70 c | 659162 | 8586 55090 186848 | 2147483647 166013 40 | 0.244 % |
583.85/583.90 c | 659446 | 8586 55090 186848 | 2147483647 166297 40 | 0.244 % |
584.15/584.16 c | 659755 | 8586 55090 186848 | 2147483647 166606 40 | 0.244 % |
584.45/584.46 c | 660095 | 8586 55090 186848 | 2147483647 166946 40 | 0.244 % |
584.85/584.84 c | 660467 | 8586 55090 186848 | 2147483647 167318 40 | 0.244 % |
585.25/585.30 c | 660876 | 8586 55090 186848 | 2147483647 167727 40 | 0.244 % |
585.75/585.76 c | 661326 | 8586 55090 186848 | 2147483647 168177 40 | 0.244 % |
586.25/586.28 c | 661821 | 8586 55090 186848 | 2147483647 168672 40 | 0.244 % |
586.85/586.88 c | 662364 | 8586 55090 186848 | 2147483647 169215 40 | 0.244 % |
587.75/587.73 c | 662963 | 8586 55090 186848 | 2147483647 169814 40 | 0.244 % |
588.35/588.39 c | 663618 | 8586 55090 186848 | 2147483647 170469 40 | 0.244 % |
588.95/588.94 c | 664339 | 8586 55090 186848 | 2147483647 171190 40 | 0.244 % |
590.05/590.03 c | 665132 | 8586 55090 186848 | 2147483647 171983 40 | 0.244 % |
590.75/590.77 c | 666003 | 8586 55090 186848 | 2147483647 172854 40 | 0.244 % |
592.05/592.05 c | 666961 | 8586 55090 186848 | 2147483647 173812 40 | 0.244 % |
593.05/593.05 c | 668014 | 8586 55090 186848 | 2147483647 174865 40 | 0.244 % |
594.55/594.52 c | 669173 | 8586 55090 186848 | 2147483647 176024 40 | 0.244 % |
595.55/595.56 c | 670446 | 8586 55090 186848 | 176852 177297 40 | 0.244 % |
597.15/597.17 c | 671846 | 8586 55090 186848 | 176852 160968 39 | 0.244 % |
598.45/598.51 c | 673388 | 8586 55090 186848 | 176852 162510 39 | 0.244 % |
600.35/600.32 c | 675082 | 8586 55090 186848 | 176852 164204 39 | 0.244 % |
603.05/603.03 c | 676945 | 8586 55090 186848 | 176852 166067 40 | 0.244 % |
605.65/605.67 c | 678994 | 8586 55090 186848 | 176852 168116 40 | 0.244 % |
607.65/607.70 c | 681247 | 8586 55090 186848 | 169122 147765 38 | 0.244 % |
609.85/609.81 c | 683726 | 8586 55090 186848 | 169122 150244 38 | 0.244 % |
612.65/612.64 c | 686453 | 8586 55090 186848 | 169122 152971 39 | 0.244 % |
615.45/615.46 c | 689450 | 8586 55090 186848 | 169122 155968 39 | 0.244 % |
619.05/619.02 c | 692746 | 8586 55090 186848 | 2147483647 159264 39 | 0.244 % |
620.35/620.35 c | 696371 | 8586 55090 186848 | 2147483647 162889 39 | 0.244 % |
625.75/625.78 c | 700358 | 8586 55090 186848 | 2147483647 166876 40 | 0.244 % |
629.46/629.45 c | 704744 | 8586 55090 186848 | 2147483647 171262 40 | 0.244 % |
632.86/632.86 c | 709567 | 8586 55090 186848 | 2147483647 176085 40 | 0.244 % |
640.56/640.58 c | 714873 | 8586 55090 186848 | 2147483647 181391 41 | 0.244 % |
645.85/645.85 c | 720708 | 8586 55090 186848 | 2147483647 187226 41 | 0.244 % |
654.56/654.55 c | 727128 | 8586 55090 186848 | 2147483647 193646 42 | 0.244 % |
654.65/654.70 c | 727228 | 8586 55090 186848 | 2147483647 193746 42 | 0.244 % |
654.85/654.82 c | 727339 | 8586 55090 186848 | 2147483647 193857 42 | 0.244 % |
655.05/655.09 c | 727461 | 8586 55090 186848 | 2147483647 193979 42 | 0.244 % |
655.25/655.30 c | 727594 | 8586 55090 186848 | 2147483647 194112 42 | 0.244 % |
655.55/655.59 c | 727741 | 8586 55090 186848 | 2147483647 194259 42 | 0.244 % |
655.75/655.78 c | 727903 | 8586 55090 186848 | 2147483647 194421 42 | 0.244 % |
655.95/655.96 c | 728079 | 8586 55090 186848 | 2147483647 194597 42 | 0.244 % |
656.25/656.25 c | 728272 | 8586 55090 186848 | 2147483647 194790 42 | 0.244 % |
656.55/656.53 c | 728484 | 8586 55090 186848 | 2147483647 195002 42 | 0.244 % |
656.85/656.84 c | 728718 | 8586 55090 186848 | 2147483647 195236 42 | 0.244 % |
656.95/656.97 c | 728974 | 8586 55090 186848 | 2147483647 195492 42 | 0.244 % |
657.05/657.07 c | 729255 | 8586 55090 186848 | 2147483647 195773 42 | 0.244 % |
657.45/657.43 c | 729564 | 8586 55090 186848 | 2147483647 196082 42 | 0.244 % |
657.86/657.87 c | 729904 | 8586 55090 186848 | 2147483647 196422 42 | 0.244 % |
658.05/658.04 c | 730276 | 8586 55090 186848 | 196519 196794 42 | 0.244 % |
659.35/659.34 c | 730685 | 8586 55090 186848 | 196519 174956 42 | 0.244 % |
659.85/659.84 c | 731135 | 8586 55090 186848 | 196519 175406 42 | 0.244 % |
660.25/660.23 c | 731628 | 8586 55090 186848 | 196519 175899 42 | 0.244 % |
660.65/660.69 c | 732173 | 8586 55090 186848 | 196519 176444 42 | 0.244 % |
661.05/661.03 c | 732769 | 8586 55090 186848 | 196519 177040 42 | 0.244 % |
661.16/661.15 c | 733427 | 8586 55090 186848 | 196519 177698 41 | 0.244 % |
662.45/662.49 c | 734149 | 8586 55090 186848 | 196519 178420 42 | 0.244 % |
663.36/663.39 c | 734941 | 8586 55090 186848 | 196519 179212 42 | 0.244 % |
664.05/664.01 c | 735813 | 8586 55090 186848 | 196519 180084 42 | 0.244 % |
664.55/664.59 c | 736771 | 8586 55090 186848 | 196519 181042 42 | 0.244 % |
665.75/665.80 c | 737824 | 8586 55090 186848 | 196519 182095 42 | 0.244 % |
666.95/666.92 c | 738983 | 8586 55090 186848 | 196519 183254 42 | 0.244 % |
668.25/668.29 c | 740256 | 8586 55090 186848 | 2147483647 184527 42 | 0.244 % |
669.96/669.94 c | 741656 | 8586 55090 186848 | 2147483647 185927 42 | 0.244 % |
670.95/671.00 c | 743196 | 8586 55090 186848 | 2147483647 187467 42 | 0.244 % |
672.65/672.64 c | 744890 | 8586 55090 186848 | 2147483647 189161 42 | 0.244 % |
674.45/674.46 c | 746753 | 8586 55090 186848 | 2147483647 191024 42 | 0.244 % |
676.56/676.55 c | 748806 | 8586 55090 186848 | 2147483647 193077 42 | 0.244 % |
678.36/678.32 c | 751060 | 8586 55090 186848 | 2147483647 195331 42 | 0.244 % |
681.36/681.41 c | 753538 | 8586 55090 186848 | 2147483647 197809 42 | 0.244 % |
685.26/685.25 c | 756263 | 8586 55090 186848 | 2147483647 200534 42 | 0.244 % |
688.56/688.53 c | 759261 | 8586 55090 186848 | 2147483647 203532 42 | 0.244 % |
692.66/692.69 c | 762557 | 8586 55090 186848 | 204271 206828 43 | 0.244 % |
698.96/698.96 c | 766182 | 8586 55090 186848 | 204271 165338 41 | 0.244 % |
703.36/703.38 c | 770170 | 8586 55090 186848 | 169156 169326 42 | 0.244 % |
707.36/707.39 c | 774555 | 8586 55090 186848 | 169156 155369 41 | 0.244 % |
712.36/712.32 c | 779378 | 8586 55090 186848 | 169156 160192 41 | 0.244 % |
719.06/719.11 c | 784684 | 8586 55090 186848 | 160817 165498 42 | 0.244 % |
723.36/723.37 c | 790520 | 8586 55090 186848 | 136993 123484 39 | 0.244 % |
730.56/730.58 c | 796939 | 8586 55090 186848 | 136993 129903 40 | 0.244 % |
735.76/735.73 c | 803998 | 8586 55090 186848 | 2147483647 136962 41 | 0.244 % |
735.76/735.77 c | 804099 | 8586 55090 186848 | 2147483647 137063 41 | 0.244 % |
735.86/735.87 c | 804209 | 8586 55090 186848 | 2147483647 137173 41 | 0.244 % |
736.06/736.03 c | 804330 | 8586 55090 186848 | 2147483647 137294 41 | 0.244 % |
736.06/736.10 c | 804465 | 8586 55090 186848 | 2147483647 137429 41 | 0.244 % |
736.16/736.14 c | 804612 | 8586 55090 186848 | 2147483647 137576 41 | 0.245 % |
736.26/736.31 c | 804772 | 8586 55090 186848 | 2147483647 137736 41 | 0.244 % |
736.36/736.40 c | 804948 | 8586 55090 186848 | 2147483647 137912 41 | 0.244 % |
736.66/736.61 c | 805142 | 8586 55090 186848 | 2147483647 138106 41 | 0.244 % |
736.66/736.69 c | 805354 | 8586 55090 186848 | 2147483647 138318 41 | 0.244 % |
736.76/736.74 c | 805588 | 8586 55090 186848 | 2147483647 138552 41 | 0.244 % |
737.07/737.04 c | 805844 | 8586 55090 186848 | 2147483647 138808 41 | 0.244 % |
737.36/737.37 c | 806126 | 8586 55090 186848 | 2147483647 139090 41 | 0.244 % |
737.66/737.67 c | 806436 | 8586 55090 186848 | 2147483647 139400 41 | 0.244 % |
737.96/737.98 c | 806777 | 8586 55090 186848 | 2147483647 139741 41 | 0.244 % |
738.26/738.22 c | 807149 | 8586 55090 186848 | 2147483647 140113 41 | 0.244 % |
738.66/738.71 c | 807559 | 8586 55090 186848 | 2147483647 140523 41 | 0.244 % |
739.06/739.09 c | 808008 | 8586 55090 186848 | 2147483647 140972 41 | 0.244 % |
739.86/739.89 c | 808501 | 8586 55090 186848 | 2147483647 141465 41 | 0.244 % |
740.46/740.43 c | 809044 | 8586 55090 186848 | 2147483647 142008 41 | 0.244 % |
741.16/741.15 c | 809641 | 8586 55090 186848 | 2147483647 142605 41 | 0.244 % |
741.66/741.68 c | 810296 | 8586 55090 186848 | 2147483647 143260 41 | 0.244 % |
742.16/742.11 c | 811016 | 8586 55090 186848 | 2147483647 143980 41 | 0.244 % |
743.36/743.34 c | 811809 | 8586 55090 186848 | 2147483647 144773 41 | 0.244 % |
744.26/744.23 c | 812681 | 8586 55090 186848 | 2147483647 145645 41 | 0.244 % |
744.96/744.98 c | 813639 | 8586 55090 186848 | 2147483647 146603 41 | 0.244 % |
745.56/745.56 c | 814692 | 8586 55090 186848 | 2147483647 147656 41 | 0.244 % |
746.36/746.41 c | 815850 | 8586 55090 186848 | 2147483647 148814 41 | 0.244 % |
747.16/747.20 c | 817124 | 8586 55090 186848 | 2147483647 150088 41 | 0.244 % |
747.96/747.97 c | 818524 | 8586 55090 186848 | 2147483647 151488 41 | 0.244 % |
748.76/748.75 c | 820064 | 8586 55090 186848 | 2147483647 153028 41 | 0.244 % |
751.26/751.22 c | 821758 | 8586 55090 186848 | 2147483647 154722 41 | 0.244 % |
752.26/752.30 c | 823623 | 8586 55090 186848 | 2147483647 156587 41 | 0.244 % |
754.76/754.74 c | 825673 | 8586 55090 186848 | 2147483647 158637 41 | 0.244 % |
757.06/757.05 c | 827926 | 8586 55090 186848 | 2147483647 160890 41 | 0.244 % |
759.36/759.37 c | 830405 | 8586 55090 186848 | 2147483647 163369 42 | 0.244 % |
762.16/762.15 c | 833132 | 8585 55088 186842 | 2147483647 163507 42 | 0.256 % |
765.06/765.02 c | 836129 | 8585 55088 186842 | 2147483647 166504 42 | 0.256 % |
768.86/768.85 c | 839425 | 8585 55088 186842 | 2147483647 169800 42 | 0.256 % |
772.76/772.77 c | 843051 | 8585 55088 186842 | 170375 153711 40 | 0.256 % |
776.17/776.15 c | 847038 | 8585 55088 186842 | 170375 157698 40 | 0.256 % |
781.07/781.09 c | 851425 | 8585 55088 186842 | 160660 162085 41 | 0.256 % |
785.67/785.62 c | 856248 | 8585 55088 186842 | 160660 150700 40 | 0.256 % |
790.67/790.69 c | 861553 | 8585 55088 186842 | 2147483647 156005 40 | 0.256 % |
796.57/796.55 c | 867389 | 8585 55088 186842 | 2147483647 161841 41 | 0.256 % |
803.57/803.52 c | 873807 | 8585 55088 186842 | 164452 147605 40 | 0.256 % |
808.97/809.00 c | 880868 | 8585 55088 186842 | 2147483647 154666 40 | 0.256 % |
816.37/816.35 c | 888632 | 8585 55088 186842 | 2147483647 162430 41 | 0.256 % |
816.47/816.44 c | 888732 | 8585 55088 186842 | 2147483647 162530 41 | 0.256 % |
816.57/816.52 c | 888843 | 8585 55088 186842 | 2147483647 162641 41 | 0.256 % |
816.67/816.67 c | 888964 | 8585 55088 186842 | 2147483647 162762 41 | 0.256 % |
816.77/816.81 c | 889097 | 8585 55088 186842 | 2147483647 162895 41 | 0.256 % |
817.07/817.02 c | 889243 | 8585 55088 186842 | 2147483647 163041 41 | 0.256 % |
817.27/817.24 c | 889404 | 8585 55088 186842 | 2147483647 163202 41 | 0.256 % |
817.47/817.44 c | 889580 | 8585 55088 186842 | 2147483647 163378 41 | 0.256 % |
817.77/817.76 c | 889774 | 8585 55088 186842 | 2147483647 163572 41 | 0.256 % |
817.97/817.99 c | 889986 | 8585 55088 186842 | 2147483647 163784 41 | 0.256 % |
818.27/818.23 c | 890220 | 8585 55088 186842 | 2147483647 164018 41 | 0.256 % |
818.57/818.59 c | 890476 | 8585 55088 186842 | 2147483647 164274 41 | 0.256 % |
818.87/818.85 c | 890758 | 8585 55088 186842 | 2147483647 164556 41 | 0.256 % |
819.17/819.15 c | 891067 | 8585 55088 186842 | 2147483647 164865 41 | 0.256 % |
819.77/819.79 c | 891406 | 8585 55088 186842 | 2147483647 165204 41 | 0.256 % |
820.07/820.11 c | 891779 | 8585 55088 186842 | 2147483647 165577 41 | 0.256 % |
820.47/820.45 c | 892188 | 8585 55088 186842 | 2147483647 165986 41 | 0.256 % |
821.07/821.04 c | 892639 | 8585 55088 186842 | 2147483647 166437 41 | 0.256 % |
821.57/821.57 c | 893132 | 8585 55088 186842 | 2147483647 166930 41 | 0.256 % |
822.37/822.34 c | 893675 | 8585 55088 186842 | 2147483647 167473 41 | 0.256 % |
822.87/822.90 c | 894272 | 8585 55088 186842 | 2147483647 168070 41 | 0.256 % |
823.47/823.43 c | 894929 | 8585 55088 186842 | 2147483647 168727 41 | 0.256 % |
824.17/824.14 c | 895649 | 8585 55088 186842 | 2147483647 169447 41 | 0.256 % |
824.77/824.80 c | 896442 | 8585 55088 186842 | 2147483647 170240 41 | 0.256 % |
825.77/825.78 c | 897313 | 8585 55088 186842 | 2147483647 171111 41 | 0.256 % |
826.57/826.54 c | 898271 | 8585 55088 186842 | 2147483647 172069 41 | 0.256 % |
828.17/828.19 c | 899324 | 8585 55088 186842 | 2147483647 173122 41 | 0.256 % |
829.27/829.27 c | 900484 | 8585 55088 186842 | 2147483647 174282 41 | 0.256 % |
830.57/830.52 c | 901757 | 8585 55088 186842 | 2147483647 175555 41 | 0.256 % |
831.57/831.59 c | 903157 | 8585 55088 186842 | 2147483647 176955 41 | 0.256 % |
832.97/832.94 c | 904697 | 8585 55088 186842 | 2147483647 178495 41 | 0.256 % |
835.47/835.44 c | 906394 | 8585 55088 186842 | 2147483647 180192 41 | 0.256 % |
837.27/837.28 c | 908258 | 8585 55088 186842 | 2147483647 182056 41 | 0.256 % |
839.97/840.00 c | 910307 | 8585 55088 186842 | 2147483647 184105 42 | 0.256 % |
841.97/842.01 c | 912560 | 8585 55088 186842 | 2147483647 186358 42 | 0.256 % |
844.47/844.44 c | 915038 | 8585 55088 186842 | 2147483647 188836 42 | 0.256 % |
848.87/848.90 c | 917764 | 8585 55088 186842 | 2147483647 191562 42 | 0.256 % |
852.27/852.31 c | 920762 | 8585 55088 186842 | 193799 194560 42 | 0.256 % |
856.47/856.41 c | 924060 | 8585 55088 186842 | 193799 178402 41 | 0.256 % |
861.07/861.09 c | 927685 | 8585 55088 186842 | 193799 182027 42 | 0.256 % |
864.27/864.30 c | 931675 | 8585 55088 186842 | 184342 186017 42 | 0.256 % |
871.17/871.20 c | 936060 | 8585 55088 186842 | 184342 170363 42 | 0.256 % |
876.78/876.75 c | 940883 | 8585 55088 186842 | 174303 175186 42 | 0.256 % |
879.08/879.06 c | 946188 | 8585 55088 186842 | 174303 159870 41 | 0.256 % |
887.58/887.60 c | 952023 | 8585 55088 186842 | 2147483647 165705 42 | 0.256 % |
894.68/894.68 c | 958442 | 8585 55088 186842 | 2147483647 172124 42 | 0.256 % |
903.98/903.93 c | 965502 | 8585 55088 186842 | 173683 152644 42 | 0.256 % |
910.88/910.83 c | 973268 | 8585 55088 186842 | 157144 160410 42 | 0.256 % |
914.98/914.98 c | 981809 | 8585 55088 186842 | 2147483647 145071 40 | 0.256 % |
915.08/915.05 c | 981909 | 8585 55088 186842 | 2147483647 145171 40 | 0.256 % |
915.18/915.17 c | 982019 | 8585 55088 186842 | 2147483647 145281 40 | 0.256 % |
915.38/915.34 c | 982140 | 8585 55088 186842 | 2147483647 145402 40 | 0.256 % |
915.58/915.52 c | 982273 | 8585 55088 186842 | 2147483647 145535 40 | 0.256 % |
915.68/915.67 c | 982419 | 8585 55088 186842 | 2147483647 145681 40 | 0.256 % |
915.88/915.83 c | 982580 | 8585 55088 186842 | 2147483647 145842 40 | 0.256 % |
915.98/916.01 c | 982758 | 8585 55088 186842 | 2147483647 146020 40 | 0.256 % |
916.18/916.13 c | 982953 | 8585 55088 186842 | 2147483647 146215 40 | 0.256 % |
916.28/916.24 c | 983166 | 8585 55088 186842 | 2147483647 146428 40 | 0.256 % |
916.48/916.49 c | 983400 | 8585 55088 186842 | 2147483647 146662 40 | 0.256 % |
916.78/916.75 c | 983656 | 8585 55088 186842 | 2147483647 146918 40 | 0.256 % |
917.08/917.07 c | 983938 | 8585 55088 186842 | 2147483647 147200 40 | 0.256 % |
917.28/917.28 c | 984247 | 8585 55088 186842 | 2147483647 147509 40 | 0.256 % |
917.68/917.65 c | 984586 | 8585 55088 186842 | 2147483647 147848 40 | 0.256 % |
918.08/918.06 c | 984958 | 8585 55088 186842 | 2147483647 148220 40 | 0.256 % |
918.28/918.22 c | 985367 | 8585 55088 186842 | 2147483647 148629 40 | 0.256 % |
918.38/918.36 c | 985817 | 8585 55088 186842 | 2147483647 149079 40 | 0.256 % |
918.98/918.98 c | 986311 | 8585 55088 186842 | 2147483647 149573 40 | 0.256 % |
919.58/919.59 c | 986853 | 8585 55088 186842 | 2147483647 150115 40 | 0.256 % |
920.08/920.02 c | 987451 | 8585 55088 186842 | 2147483647 150713 40 | 0.256 % |
920.38/920.38 c | 988106 | 8585 55088 186842 | 2147483647 151368 40 | 0.256 % |
920.88/920.82 c | 988827 | 8585 55088 186842 | 2147483647 152089 40 | 0.256 % |
921.28/921.24 c | 989619 | 8585 55088 186842 | 2147483647 152881 40 | 0.256 % |
922.48/922.45 c | 990490 | 8585 55088 186842 | 2147483647 153752 40 | 0.256 % |
923.28/923.24 c | 991449 | 8585 55088 186842 | 2147483647 154711 40 | 0.256 % |
924.08/924.03 c | 992502 | 8585 55088 186842 | 2147483647 155764 40 | 0.256 % |
925.78/925.77 c | 993661 | 8585 55088 186842 | 2147483647 156923 40 | 0.256 % |
926.88/926.88 c | 994936 | 8585 55088 186842 | 2147483647 158198 41 | 0.256 % |
928.58/928.60 c | 996337 | 8585 55088 186842 | 2147483647 159599 41 | 0.256 % |
930.18/930.15 c | 997878 | 8585 55088 186842 | 2147483647 161140 41 | 0.256 % |
932.18/932.12 c | 999572 | 8585 55088 186842 | 2147483647 162834 41 | 0.256 % |
933.78/933.75 c | 1001435 | 8585 55088 186842 | 2147483647 164697 41 | 0.256 % |
934.78/934.79 c | 1003486 | 8585 55088 186842 | 2147483647 166748 41 | 0.256 % |
937.88/937.84 c | 1005740 | 8585 55088 186842 | 2147483647 169002 41 | 0.256 % |
940.48/940.46 c | 1008218 | 8585 55088 186842 | 2147483647 171480 41 | 0.256 % |
943.08/943.07 c | 1010944 | 8585 55088 186842 | 2147483647 174206 41 | 0.256 % |
946.98/946.96 c | 1013941 | 8585 55088 186842 | 2147483647 177203 42 | 0.256 % |
950.18/950.20 c | 1017237 | 8585 55088 186842 | 2147483647 180499 42 | 0.256 % |
954.38/954.41 c | 1020862 | 8585 55088 186842 | 2147483647 184124 42 | 0.256 % |
958.88/958.87 c | 1024849 | 8585 55088 186842 | 2147483647 188111 42 | 0.256 % |
962.38/962.41 c | 1029234 | 8585 55088 186842 | 2147483647 192496 42 | 0.256 % |
965.48/965.45 c | 1034058 | 8585 55088 186842 | 2147483647 197320 41 | 0.256 % |
974.19/974.18 c | 1039363 | 8585 55088 186842 | 2147483647 202625 42 | 0.256 % |
981.39/981.34 c | 1045200 | 8585 55088 186842 | 203264 187865 41 | 0.256 % |
988.19/988.15 c | 1051618 | 8585 55088 186842 | 192666 194283 42 | 0.256 % |
998.09/998.07 c | 1058678 | 8585 55088 186842 | 192666 168919 40 | 0.256 % |
1006.58/1006.57 c | 1066442 | 8585 55088 186842 | 170242 141839 37 | 0.256 % |
1017.28/1017.22 c | 1074984 | 8585 55088 186842 | 145399 131962 40 | 0.256 % |
1026.78/1026.79 c | 1084378 | 8585 55088 186842 | 2147483647 141356 40 | 0.256 % |
1026.98/1026.93 c | 1084479 | 8585 55088 186842 | 2147483647 141457 40 | 0.256 % |
1027.08/1027.02 c | 1084590 | 8585 55088 186842 | 2147483647 141568 40 | 0.256 % |
1027.28/1027.22 c | 1084712 | 8585 55088 186842 | 2147483647 141690 40 | 0.256 % |
1027.38/1027.38 c | 1084845 | 8585 55088 186842 | 2147483647 141823 40 | 0.256 % |
1027.58/1027.54 c | 1084991 | 8585 55088 186842 | 2147483647 141969 40 | 0.256 % |
1027.78/1027.73 c | 1085153 | 8585 55088 186842 | 2147483647 142131 40 | 0.256 % |
1027.88/1027.85 c | 1085330 | 8585 55088 186842 | 2147483647 142308 40 | 0.256 % |
1027.98/1027.98 c | 1085523 | 8585 55088 186842 | 2147483647 142501 40 | 0.256 % |
1028.38/1028.34 c | 1085735 | 8585 55088 186842 | 2147483647 142713 40 | 0.256 % |
1028.38/1028.41 c | 1085969 | 8585 55088 186842 | 2147483647 142947 40 | 0.256 % |
1028.48/1028.51 c | 1086226 | 8585 55088 186842 | 2147483647 143204 40 | 0.256 % |
1028.78/1028.78 c | 1086507 | 8585 55088 186842 | 2147483647 143485 40 | 0.256 % |
1029.08/1029.07 c | 1086816 | 8585 55088 186842 | 2147483647 143794 40 | 0.256 % |
1029.48/1029.49 c | 1087156 | 8585 55088 186842 | 2147483647 144134 40 | 0.256 % |
1029.69/1029.70 c | 1087528 | 8585 55088 186842 | 2147483647 144506 40 | 0.256 % |
1030.18/1030.13 c | 1087937 | 8585 55088 186842 | 2147483647 144915 40 | 0.256 % |
1030.58/1030.60 c | 1088388 | 8585 55088 186842 | 2147483647 145366 40 | 0.256 % |
1031.08/1031.03 c | 1088881 | 8585 55088 186842 | 2147483647 145859 40 | 0.256 % |
1031.68/1031.66 c | 1089423 | 8585 55088 186842 | 2147483647 146401 40 | 0.256 % |
1032.28/1032.28 c | 1090021 | 8585 55088 186842 | 2147483647 146999 40 | 0.256 % |
1032.68/1032.67 c | 1090676 | 8585 55088 186842 | 2147483647 147654 40 | 0.256 % |
1033.48/1033.41 c | 1091399 | 8585 55088 186842 | 2147483647 148377 41 | 0.256 % |
1033.88/1033.85 c | 1092193 | 8585 55088 186842 | 2147483647 149171 40 | 0.256 % |
1034.48/1034.49 c | 1093065 | 8585 55088 186842 | 2147483647 150043 41 | 0.256 % |
1036.18/1036.15 c | 1094024 | 8585 55088 186842 | 2147483647 151002 41 | 0.256 % |
1036.98/1036.98 c | 1095079 | 8585 55088 186842 | 2147483647 152057 41 | 0.256 % |
1038.88/1038.81 c | 1096237 | 8585 55088 186842 | 2147483647 153215 41 | 0.256 % |
1040.28/1040.28 c | 1097511 | 8585 55088 186842 | 2147483647 154489 41 | 0.256 % |
1041.88/1041.84 c | 1098911 | 8585 55088 186842 | 2147483647 155889 41 | 0.256 % |
1044.08/1044.03 c | 1100453 | 8585 55088 186842 | 156978 157431 42 | 0.256 % |
1046.28/1046.28 c | 1102149 | 8585 55088 186842 | 156978 140609 40 | 0.256 % |
1047.68/1047.62 c | 1104012 | 8585 55088 186842 | 156978 142472 41 | 0.256 % |
1051.08/1051.08 c | 1106061 | 8585 55088 186842 | 156978 144521 41 | 0.256 % |
1052.88/1052.89 c | 1108315 | 8585 55088 186842 | 156978 146775 41 | 0.256 % |
1056.58/1056.55 c | 1110793 | 8585 55088 186842 | 148462 149253 42 | 0.256 % |
1059.28/1059.25 c | 1113518 | 8585 55088 186842 | 148462 133666 41 | 0.256 % |
1061.68/1061.62 c | 1116515 | 8585 55088 186842 | 148462 136663 41 | 0.256 % |
1065.08/1065.06 c | 1119813 | 8585 55088 186842 | 148462 139961 42 | 0.256 % |
1069.09/1069.03 c | 1123438 | 8585 55088 186842 | 140148 129308 42 | 0.256 % |
1071.99/1071.99 c | 1127425 | 8585 55088 186842 | 140148 133295 42 | 0.256 % |
1077.39/1077.31 c | 1131810 | 8585 55088 186842 | 2147483647 137680 43 | 0.256 % |
1081.29/1081.27 c | 1136633 | 8585 55088 186842 | 2147483647 142503 44 | 0.256 % |
1084.79/1084.72 c | 1141938 | 8585 55088 186842 | 2147483647 147808 43 | 0.256 % |
1092.69/1092.67 c | 1147773 | 8585 55088 186842 | 2147483647 153643 44 | 0.256 % |
1100.19/1100.19 c | 1154194 | 8585 55088 186842 | 2147483647 160064 44 | 0.256 % |
1108.59/1108.52 c | 1161253 | 8585 55088 186842 | 2147483647 167123 44 | 0.256 % |
1116.79/1116.74 c | 1169017 | 8585 55088 186842 | 2147483647 174887 44 | 0.256 % |
1125.99/1125.92 c | 1177557 | 8585 55088 186842 | 175870 143329 41 | 0.256 % |
1134.09/1134.11 c | 1186952 | 8585 55088 186842 | 145772 130852 41 | 0.256 % |
1142.89/1142.87 c | 1197285 | 8585 55088 186842 | 2147483647 141185 42 | 0.256 % |
1143.00/1142.98 c | 1197386 | 8585 55088 186842 | 2147483647 141286 42 | 0.256 % |
1143.09/1143.08 c | 1197496 | 8585 55088 186842 | 2147483647 141396 42 | 0.256 % |
1143.19/1143.19 c | 1197618 | 8585 55088 186842 | 2147483647 141518 42 | 0.256 % |
1143.39/1143.31 c | 1197751 | 8585 55088 186842 | 2147483647 141651 42 | 0.256 % |
1143.49/1143.42 c | 1197899 | 8585 55088 186842 | 2147483647 141799 42 | 0.256 % |
1143.59/1143.53 c | 1198059 | 8585 55088 186842 | 2147483647 141959 42 | 0.256 % |
1143.69/1143.69 c | 1198235 | 8585 55088 186842 | 2147483647 142135 42 | 0.256 % |
1143.79/1143.75 c | 1198431 | 8585 55088 186842 | 2147483647 142331 42 | 0.256 % |
1144.10/1144.10 c | 1198644 | 8585 55088 186842 | 2147483647 142544 42 | 0.256 % |
1144.39/1144.34 c | 1198877 | 8585 55088 186842 | 2147483647 142777 42 | 0.256 % |
1144.49/1144.41 c | 1199133 | 8585 55088 186842 | 2147483647 143033 42 | 0.256 % |
1144.79/1144.71 c | 1199415 | 8585 55088 186842 | 2147483647 143315 42 | 0.256 % |
1144.99/1145.00 c | 1199725 | 8585 55088 186842 | 2147483647 143625 42 | 0.256 % |
1145.29/1145.24 c | 1200065 | 8585 55088 186842 | 2147483647 143965 42 | 0.256 % |
1145.69/1145.62 c | 1200438 | 8585 55088 186842 | 2147483647 144338 42 | 0.256 % |
1145.99/1145.93 c | 1200847 | 8585 55088 186842 | 2147483647 144747 42 | 0.256 % |
1146.39/1146.32 c | 1201296 | 8585 55088 186842 | 2147483647 145196 42 | 0.256 % |
1146.69/1146.70 c | 1201789 | 8585 55088 186842 | 2147483647 145689 42 | 0.256 % |
1147.19/1147.12 c | 1202331 | 8585 55088 186842 | 2147483647 146231 42 | 0.256 % |
1147.59/1147.52 c | 1202927 | 8585 55088 186842 | 2147483647 146827 42 | 0.256 % |
1148.09/1148.08 c | 1203582 | 8585 55088 186842 | 2147483647 147482 42 | 0.256 % |
1149.09/1149.05 c | 1204303 | 8585 55088 186842 | 2147483647 148203 42 | 0.256 % |
1149.79/1149.78 c | 1205095 | 8585 55088 186842 | 2147483647 148995 42 | 0.256 % |
1150.70/1150.66 c | 1205966 | 8585 55088 186842 | 2147483647 149866 42 | 0.256 % |
1151.39/1151.39 c | 1206924 | 8585 55088 186842 | 2147483647 150824 42 | 0.256 % |
1152.09/1152.05 c | 1207977 | 8585 55088 186842 | 2147483647 151877 42 | 0.256 % |
1152.99/1152.95 c | 1209136 | 8585 55088 186842 | 2147483647 153036 42 | 0.256 % |
1154.29/1154.22 c | 1210410 | 8585 55088 186842 | 2147483647 154310 42 | 0.256 % |
1155.69/1155.62 c | 1211812 | 8585 55088 186842 | 2147483647 155712 42 | 0.256 % |
1156.69/1156.65 c | 1213353 | 8585 55088 186842 | 2147483647 157253 42 | 0.256 % |
1157.89/1157.89 c | 1215048 | 8585 55088 186842 | 2147483647 158948 42 | 0.256 % |
1160.99/1160.92 c | 1216911 | 8585 55088 186842 | 2147483647 160811 42 | 0.256 % |
1162.99/1162.98 c | 1218960 | 8585 55088 186842 | 2147483647 162860 42 | 0.256 % |
1165.09/1165.06 c | 1221213 | 8585 55088 186842 | 2147483647 165113 43 | 0.256 % |
1168.20/1168.18 c | 1223691 | 8585 55088 186842 | 2147483647 167591 43 | 0.256 % |
1172.30/1172.22 c | 1226419 | 8585 55088 186842 | 2147483647 170319 43 | 0.256 % |
1175.00/1174.91 c | 1229417 | 8585 55088 186842 | 2147483647 173317 43 | 0.256 % |
1178.60/1178.61 c | 1232714 | 8585 55088 186842 | 2147483647 176614 43 | 0.256 % |
1181.20/1181.13 c | 1236341 | 8585 55088 186842 | 2147483647 180241 43 | 0.256 % |
1184.30/1184.29 c | 1240329 | 8585 55088 186842 | 183901 184229 43 | 0.256 % |
1191.80/1191.73 c | 1244715 | 8585 55088 186842 | 183901 170138 42 | 0.256 % |
1195.90/1195.88 c | 1249538 | 8585 55088 186842 | 183901 174961 42 | 0.256 % |
1200.00/1199.92 HOME/SatELiteGTI: line 36: 9483 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820704-1242470027/watcher-1820704-1242470027 -o /tmp/evaluation-result-1820704-1242470027/solver-1820704-1242470027 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820704-1242470027.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 9477
/proc/meminfo: memFree=765496/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2412 CPUtime=0
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 366 649 0 0 0 0 0 0 20 0 1 0 1011499878 2469888 277 4294967295 134512640 135169312 3216027216 3216025752 3085643502 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/9477/statm: 603 277 235 161 0 42 0
[pid=9481] ppid=9477 vsize=952 CPUtime=0
/proc/9481/stat : 9481 (SatELite_releas) R 9477 9477 14060 0 -1 4202496 145 0 0 0 0 0 0 0 18 0 1 0 1011499878 974848 81 4294967295 134512640 135223648 3219308912 3219307632 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9481/statm: 238 83 45 174 0 63 0
[startup+0.058973 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 9477
/proc/meminfo: memFree=765496/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2412 CPUtime=0
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 366 649 0 0 0 0 0 0 20 0 1 0 1011499878 2469888 277 4294967295 134512640 135169312 3216027216 3216025752 3085643502 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/9477/statm: 603 277 235 161 0 42 0
[pid=9481] ppid=9477 vsize=7072 CPUtime=0.06
/proc/9481/stat : 9481 (SatELite_releas) R 9477 9477 14060 0 -1 4202496 1618 0 0 0 5 1 0 0 18 0 1 0 1011499878 7241728 1444 4294967295 134512640 135223648 3219308912 3219306932 134718983 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9481/statm: 1768 1446 71 174 0 1593 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9484
[startup+0.118945 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 9477
/proc/meminfo: memFree=765496/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2412 CPUtime=0
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 366 649 0 0 0 0 0 0 20 0 1 0 1011499878 2469888 277 4294967295 134512640 135169312 3216027216 3216025752 3085643502 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/9477/statm: 603 277 235 161 0 42 0
[pid=9481] ppid=9477 vsize=7324 CPUtime=0.12
/proc/9481/stat : 9481 (SatELite_releas) R 9477 9477 14060 0 -1 4202496 1688 0 0 0 11 1 0 0 18 0 1 0 1011499878 7499776 1514 4294967295 134512640 135223648 3219308912 3219306928 134587315 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9481/statm: 1831 1514 73 174 0 1656 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9736
[startup+0.318928 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 9477
/proc/meminfo: memFree=765496/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2416
[startup+0.718894 s]
/proc/loadavg: 1.01 1.00 1.00 2/93 9477
/proc/meminfo: memFree=765496/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2416
[startup+1.51883 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 9483
/proc/meminfo: memFree=760256/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=5744 CPUtime=1.28
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 1343 0 0 0 127 1 0 0 25 0 1 0 1011499901 5881856 1277 4294967295 134512640 135215339 3220900688 3220898976 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9483/statm: 1436 1277 73 172 0 1263 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 8160
[startup+3.11869 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 9486
/proc/meminfo: memFree=760008/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=6728 CPUtime=2.87
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 1586 0 0 0 285 2 0 0 25 0 1 0 1011499901 6889472 1520 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9483/statm: 1682 1520 73 172 0 1509 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9144
[startup+6.31841 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9486
/proc/meminfo: memFree=758148/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=8512 CPUtime=6.07
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 2040 0 0 0 604 3 0 0 25 0 1 0 1011499901 8716288 1974 4294967295 134512640 135215339 3220900688 3220898976 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9483/statm: 2128 1974 73 172 0 1955 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10928
[startup+12.7179 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9669
/proc/meminfo: memFree=754108/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=11796 CPUtime=12.47
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 2828 0 0 0 1243 4 0 0 25 0 1 0 1011499901 12079104 2762 4294967295 134512640 135215339 3220900688 3220898976 134528804 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9483/statm: 2949 2762 73 172 0 2776 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 14212
[startup+25.5167 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9669
/proc/meminfo: memFree=748340/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=17488 CPUtime=25.27
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 4268 0 0 0 2522 5 0 0 25 0 1 0 1011499901 17907712 4202 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9483/statm: 4372 4202 73 172 0 4199 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19904
[startup+51.1145 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9670
/proc/meminfo: memFree=739336/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=27176 CPUtime=50.87
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 6686 0 0 0 5082 5 0 0 25 0 1 0 1011499901 27828224 6620 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 6794 6620 73 172 0 6621 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 29592
[startup+102.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9862
/proc/meminfo: memFree=723952/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=42048 CPUtime=102.08
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 10343 0 0 0 10199 9 0 0 25 0 1 0 1011499901 43057152 10277 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 10512 10277 73 172 0 10339 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44464
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10051
/proc/meminfo: memFree=716480/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=49320 CPUtime=162.08
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12073 0 0 0 16199 9 0 0 25 0 1 0 1011499901 50503680 12007 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12330 12007 73 172 0 12157 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 51736
[startup+222.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10237
/proc/meminfo: memFree=716480/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=49320 CPUtime=222.09
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12095 0 0 0 22200 9 0 0 25 0 1 0 1011499901 50503680 12029 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12330 12029 73 172 0 12157 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 51736
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10425
/proc/meminfo: memFree=716000/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=49900 CPUtime=282.09
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12230 0 0 0 28200 9 0 0 25 0 1 0 1011499901 51097600 12164 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12475 12164 73 172 0 12302 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 52316
[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10612
/proc/meminfo: memFree=716024/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=50184 CPUtime=342.09
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12275 0 0 0 34200 9 0 0 25 0 1 0 1011499901 51388416 12209 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12546 12209 73 172 0 12373 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 52600
[startup+402.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10803
/proc/meminfo: memFree=715016/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
################
# More data... #
################
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51240 CPUtime=522.11
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12520 0 0 0 52198 13 0 0 25 0 1 0 1011499901 52469760 12454 4294967295 134512640 135215339 3220900688 3220898976 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12810 12454 73 172 0 12637 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 53656
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11370
/proc/meminfo: memFree=714884/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51240 CPUtime=582.12
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12521 0 0 0 58199 13 0 0 25 0 1 0 1011499901 52469760 12455 4294967295 134512640 135215339 3220900688 3220898688 134532964 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12810 12455 73 172 0 12637 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 53656
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11557
/proc/meminfo: memFree=715016/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51240 CPUtime=642.12
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12541 0 0 0 64199 13 0 0 25 0 1 0 1011499901 52469760 12475 4294967295 134512640 135215339 3220900688 3220898784 134527279 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12810 12475 73 172 0 12637 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 53656
[startup+702.318 s]
/proc/loadavg: 1.10 1.03 1.01 3/95 11746
/proc/meminfo: memFree=714528/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51604 CPUtime=702.13
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12614 0 0 0 70200 13 0 0 25 0 1 0 1011499901 52842496 12548 4294967295 134512640 135215339 3220900688 3220898976 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12901 12548 73 172 0 12728 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 54020
[startup+762.323 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 11935
/proc/meminfo: memFree=714544/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51744 CPUtime=762.14
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12631 0 0 0 76201 13 0 0 25 0 1 0 1011499901 52985856 12565 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12936 12565 73 172 0 12763 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 54160
[startup+822.318 s]
/proc/loadavg: 1.03 1.03 1.00 3/95 12125
/proc/meminfo: memFree=714412/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51744 CPUtime=822.14
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12651 0 0 0 82201 13 0 0 25 0 1 0 1011499901 52985856 12585 4294967295 134512640 135215339 3220900688 3220898976 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12936 12585 73 172 0 12763 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 54160
[startup+882.323 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 12313
/proc/meminfo: memFree=714412/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51744 CPUtime=882.15
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12651 0 0 0 88202 13 0 0 25 0 1 0 1011499901 52985856 12585 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12936 12585 73 172 0 12763 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 54160
[startup+942.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 12500
/proc/meminfo: memFree=714280/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51900 CPUtime=942.15
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12666 0 0 0 94202 13 0 0 25 0 1 0 1011499901 53145600 12600 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12975 12600 73 172 0 12802 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 54316
[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 12689
/proc/meminfo: memFree=714032/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=51900 CPUtime=1002.15
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12679 0 0 0 100202 13 0 0 25 0 1 0 1011499901 53145600 12613 4294967295 134512640 135215339 3220900688 3220898688 134532732 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 12975 12613 73 172 0 12802 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 54316
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12878
/proc/meminfo: memFree=714372/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=52088 CPUtime=1062.15
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12709 0 0 0 106201 14 0 0 25 0 1 0 1011499901 53338112 12643 4294967295 134512640 135215339 3220900688 3220898976 134528809 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 13022 12643 73 172 0 12849 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 54504
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13064
/proc/meminfo: memFree=714240/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=52088 CPUtime=1122.16
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12711 0 0 0 112202 14 0 0 25 0 1 0 1011499901 53338112 12645 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 13022 12645 73 172 0 12849 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 54504
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13254
/proc/meminfo: memFree=713876/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=52088 CPUtime=1182.17
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12720 0 0 0 118203 14 0 0 25 0 1 0 1011499901 53338112 12654 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 13022 12654 73 172 0 12849 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 54504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13257
/proc/meminfo: memFree=713892/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=52088 CPUtime=1199.77
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12721 0 0 0 119963 14 0 0 25 0 1 0 1011499901 53338112 12655 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 13022 12655 73 172 0 12849 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 54504
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13257
/proc/meminfo: memFree=713892/2074464 swapFree=1949056/1959888
[pid=9477] ppid=9475 vsize=2416 CPUtime=0.23
/proc/9477/stat : 9477 (SatELiteGTI) S 9475 9477 14060 0 -1 4194304 386 2415 0 0 0 0 22 1 19 0 1 0 1011499878 2473984 278 4294967295 134512640 135169312 3216027216 3216023432 3085643502 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/9477/statm: 604 278 235 161 0 43 0
[pid=9483] ppid=9477 vsize=52088 CPUtime=1199.77
/proc/9483/stat : 9483 (minisat_static) R 9477 9477 14060 0 -1 4202496 12721 0 0 0 119963 14 0 0 25 0 1 0 1011499901 53338112 12655 4294967295 134512640 135215339 3220900688 3220898976 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/9483/statm: 13022 12655 73 172 0 12849 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 54504
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.01
CPU user time (s): 1199.85
CPU system time (s): 0.16
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 54504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.85
system time used= 0.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15797
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= 22
involuntary context switches= 1100
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 12:33:47
IDJOB=1820704
IDBENCH=69560
IDSOLVER=657
FILE ID=tipi27/1820704-1242470027
PBS_JOBID=
Free space on /tmp= 9409 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-x1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820704-1242470027/watcher-1820704-1242470027 -o /tmp/evaluation-result-1820704-1242470027/solver-1820704-1242470027 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820704-1242470027.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED= 616469794
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 765876 kB
Buffers: 50864 kB
Cached: 1136024 kB
SwapCached: 5508 kB
Active: 740012 kB
Inactive: 456668 kB
HighTotal: 1178688 kB
HighFree: 515720 kB
LowTotal: 895776 kB
LowFree: 250156 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 2544 kB
Writeback: 0 kB
AnonPages: 9216 kB
Mapped: 3340 kB
Slab: 103152 kB
PageTables: 544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9409 MiB
End job on tipi27 at 2009-05-16 12:53:47