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.00/0.15 c | 0 | 55174 187112 | -- 0 -- -- | -- | -313/-424
0.00/0.15 c ==============================================================================
0.00/0.15 c Result : #vars: 8607 #clauses: 55174 #literals: 187112
0.00/0.15 c CPU time: 0.141978 s
0.00/0.15 c ==============================================================================
0.00/0.21 c This is MiniSat 2.0 beta
0.00/0.21 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.21 c ============================[ Problem Statistics ]=============================
0.00/0.21 c | |
0.00/0.21 c | Number of variables: 8607 |
0.00/0.21 c | Number of clauses: 55174 |
0.00/0.26 c | Parsing time: 0.03 s |
0.00/0.26 c ============================[ Search Statistics ]==============================
0.00/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.26 c ===============================================================================
0.00/0.26 c | 0 | 8607 55174 187112 | 18391 0 nan | 0.000 % |
0.00/0.29 c | 100 | 8607 55174 187112 | 18391 100 11 | 0.000 % |
0.20/0.31 c | 200 | 8607 55174 187112 | 18391 200 11 | 0.000 % |
0.20/0.33 c | 300 | 8607 55174 187112 | 18391 300 13 | 0.000 % |
0.20/0.34 c | 410 | 8607 55174 187112 | 18391 410 13 | 0.000 % |
0.20/0.35 c | 511 | 8607 55174 187112 | 18391 511 12 | 0.000 % |
0.20/0.39 c | 621 | 8606 55165 187082 | 18391 616 11 | 0.012 % |
0.20/0.42 c | 743 | 8606 55165 187082 | 18391 738 12 | 0.012 % |
0.20/0.44 c | 844 | 8605 55163 187076 | 18391 836 12 | 0.023 % |
0.20/0.47 c | 956 | 8605 55163 187076 | 18391 948 13 | 0.023 % |
0.20/0.50 c | 1077 | 8605 55163 187076 | 18391 1069 13 | 0.023 % |
0.20/0.53 c | 1212 | 8605 55163 187076 | 18391 1204 13 | 0.023 % |
0.20/0.55 c | 1312 | 8605 55163 187076 | 18391 1304 12 | 0.023 % |
0.20/0.57 c | 1422 | 8605 55163 187076 | 18391 1414 13 | 0.023 % |
0.20/0.59 c | 1543 | 8605 55163 187076 | 18391 1535 13 | 0.023 % |
0.20/0.62 c | 1676 | 8605 55163 187076 | 18391 1668 13 | 0.023 % |
0.20/0.64 c | 1822 | 8605 55163 187076 | 18391 1814 14 | 0.023 % |
0.20/0.66 c | 1922 | 8605 55163 187076 | 18391 1914 14 | 0.023 % |
0.20/0.69 c | 2032 | 8604 55155 187052 | 18391 2022 13 | 0.035 % |
0.20/0.72 c | 2153 | 8604 55155 187052 | 18391 2143 14 | 0.035 % |
0.20/0.74 c | 2286 | 8604 55155 187052 | 18391 2276 14 | 0.035 % |
0.20/0.76 c | 2433 | 8604 55155 187052 | 18391 2423 14 | 0.035 % |
0.20/0.79 c | 2593 | 8604 55155 187052 | 18391 2583 13 | 0.035 % |
0.20/0.81 c | 2693 | 8604 55155 187052 | 18391 2683 13 | 0.035 % |
0.20/0.84 c | 2803 | 8604 55155 187052 | 18391 2793 13 | 0.035 % |
0.20/0.88 c | 2925 | 8604 55155 187052 | 18391 2915 14 | 0.035 % |
0.20/0.90 c | 3059 | 8604 55155 187052 | 18391 3049 14 | 0.035 % |
0.20/0.92 c | 3205 | 8604 55155 187052 | 18391 3195 14 | 0.035 % |
0.20/0.95 c | 3365 | 8604 55155 187052 | 18391 3355 14 | 0.035 % |
0.20/0.97 c | 3541 | 8604 55155 187052 | 18391 3531 14 | 0.035 % |
0.20/0.99 c | 3641 | 8602 55153 187046 | 18391 3624 14 | 0.058 % |
0.20/1.00 c | 3751 | 8602 55153 187046 | 18391 3734 14 | 0.058 % |
0.95/1.01 c | 3872 | 8602 55153 187046 | 18391 3855 14 | 0.058 % |
0.95/1.03 c | 4005 | 8602 55153 187046 | 18391 3988 14 | 0.058 % |
0.95/1.07 c | 4151 | 8602 55153 187046 | 18391 4134 14 | 0.058 % |
1.05/1.11 c | 4311 | 8602 55153 187046 | 18391 4294 14 | 0.058 % |
1.05/1.15 c | 4487 | 8602 55144 187016 | 18391 4451 14 | 0.058 % |
1.05/1.18 c | 4680 | 8602 55144 187016 | 18391 4644 15 | 0.058 % |
1.05/1.19 c | 4780 | 8602 55144 187016 | 18391 4744 15 | 0.058 % |
1.14/1.22 c | 4890 | 8602 55144 187016 | 18391 4854 16 | 0.058 % |
1.14/1.23 c | 5012 | 8602 55144 187016 | 18391 4976 16 | 0.058 % |
1.14/1.27 c | 5146 | 8602 55144 187016 | 18391 5110 15 | 0.058 % |
1.14/1.28 c | 5292 | 8602 55144 187016 | 18391 5256 16 | 0.058 % |
1.24/1.30 c | 5452 | 8602 55144 187016 | 18391 5416 15 | 0.058 % |
1.24/1.33 c | 5629 | 8602 55144 187016 | 18391 5593 16 | 0.058 % |
1.24/1.37 c | 5822 | 8602 55144 187016 | 18391 5786 16 | 0.058 % |
1.34/1.41 c | 6034 | 8602 55144 187016 | 18391 5998 16 | 0.058 % |
1.34/1.44 c | 6137 | 8602 55144 187016 | 18391 6101 16 | 0.058 % |
1.34/1.45 c | 6248 | 8602 55144 187016 | 18391 6212 16 | 0.058 % |
1.34/1.48 c | 6369 | 8602 55144 187016 | 18391 6333 16 | 0.058 % |
1.44/1.50 c | 6502 | 8602 55144 187016 | 18391 6466 16 | 0.058 % |
1.44/1.54 c | 6649 | 8602 55144 187016 | 18391 6613 16 | 0.058 % |
1.44/1.56 c | 6809 | 8602 55144 187016 | 18391 6773 16 | 0.058 % |
1.44/1.57 c | 6985 | 8602 55144 187016 | 18391 6949 16 | 0.058 % |
1.54/1.62 c | 7179 | 8602 55144 187016 | 18391 7143 17 | 0.058 % |
1.54/1.64 c | 7392 | 8602 55144 187016 | 18391 7356 17 | 0.058 % |
1.54/1.67 c | 7625 | 8602 55144 187016 | 18391 7589 18 | 0.058 % |
1.54/1.68 c | 7727 | 8602 55144 187016 | 18391 7691 18 | 0.058 % |
1.54/1.70 c | 7838 | 8602 55144 187016 | 18391 7802 18 | 0.058 % |
1.64/1.71 c | 7960 | 8602 55144 187016 | 18391 7924 18 | 0.058 % |
1.64/1.73 c | 8093 | 8602 55144 187016 | 18391 8057 18 | 0.058 % |
1.64/1.77 c | 8239 | 8602 55144 187016 | 18391 8203 18 | 0.058 % |
1.64/1.79 c | 8399 | 8602 55144 187016 | 18391 8363 18 | 0.058 % |
1.74/1.83 c | 8575 | 8602 55144 187016 | 18391 8539 18 | 0.058 % |
1.74/1.88 c | 8769 | 8602 55144 187016 | 18391 8733 18 | 0.058 % |
1.84/1.93 c | 8982 | 8602 55144 187016 | 18391 8946 19 | 0.058 % |
1.84/1.96 c | 9215 | 8602 55144 187016 | 18391 9179 18 | 0.058 % |
1.84/1.99 c | 9473 | 8602 55144 187016 | 18391 9437 18 | 0.058 % |
1.94/2.01 c | 9574 | 8602 55144 187016 | 18391 9538 18 | 0.058 % |
1.94/2.04 c | 9684 | 8602 55144 187016 | 18391 9648 18 | 0.058 % |
1.94/2.07 c | 9806 | 8602 55144 187016 | 18391 9770 18 | 0.058 % |
1.94/2.09 c | 9941 | 8602 55144 187016 | 18391 9905 18 | 0.058 % |
2.04/2.13 c | 10087 | 8602 55144 187016 | 2147483647 10051 18 | 0.058 % |
2.04/2.16 c | 10247 | 8602 55144 187016 | 2147483647 10211 19 | 0.058 % |
2.04/2.19 c | 10423 | 8602 55144 187016 | 2147483647 10387 19 | 0.058 % |
2.15/2.25 c | 10619 | 8602 55144 187016 | 2147483647 10583 19 | 0.058 % |
2.15/2.29 c | 10831 | 8602 55144 187016 | 2147483647 10795 19 | 0.058 % |
2.25/2.34 c | 11065 | 8602 55144 187016 | 2147483647 11029 19 | 0.058 % |
2.25/2.40 c | 11324 | 8602 55144 187016 | 2147483647 11288 19 | 0.058 % |
2.35/2.46 c | 11605 | 8602 55144 187016 | 2147483647 11569 19 | 0.058 % |
2.35/2.48 c | 11706 | 8602 55144 187016 | 2147483647 11670 20 | 0.058 % |
2.35/2.49 c | 11817 | 8602 55144 187016 | 2147483647 11781 20 | 0.058 % |
2.45/2.50 c | 11939 | 8602 55144 187016 | 2147483647 11903 20 | 0.058 % |
2.45/2.54 c | 12073 | 8602 55144 187016 | 2147483647 12037 20 | 0.058 % |
2.45/2.57 c | 12219 | 8602 55144 187016 | 2147483647 12183 20 | 0.058 % |
2.45/2.59 c | 12383 | 8602 55144 187016 | 2147483647 12347 20 | 0.058 % |
2.55/2.61 c | 12560 | 8602 55144 187016 | 2147483647 12524 20 | 0.058 % |
2.55/2.64 c | 12753 | 8602 55144 187016 | 2147483647 12717 20 | 0.058 % |
2.55/2.69 c | 12965 | 8602 55144 187016 | 2147483647 12929 20 | 0.058 % |
2.65/2.76 c | 13198 | 8602 55144 187016 | 2147483647 13162 20 | 0.058 % |
2.75/2.80 c | 13455 | 8602 55144 187016 | 2147483647 13419 20 | 0.058 % |
2.75/2.88 c | 13736 | 8602 55144 187016 | 2147483647 13700 20 | 0.058 % |
2.84/2.95 c | 14045 | 8602 55144 187016 | 2147483647 14009 20 | 0.058 % |
2.84/2.99 c | 14145 | 8601 55142 187010 | 2147483647 14102 20 | 0.070 % |
2.94/3.01 c | 14256 | 8601 55142 187010 | 2147483647 14213 20 | 0.070 % |
2.94/3.05 c | 14378 | 8601 55142 187010 | 2147483647 14335 20 | 0.070 % |
2.94/3.08 c | 14511 | 8601 55142 187010 | 2147483647 14468 20 | 0.070 % |
3.04/3.11 c | 14657 | 8600 55142 187010 | 2147483647 14613 20 | 0.081 % |
3.04/3.14 c | 14817 | 8600 55142 187010 | 2147483647 14773 20 | 0.081 % |
3.04/3.19 c | 14993 | 8600 55142 187010 | 2147483647 14949 20 | 0.081 % |
3.15/3.21 c | 15186 | 8600 55142 187010 | 2147483647 15142 20 | 0.081 % |
3.15/3.26 c | 15398 | 8600 55142 187010 | 2147483647 15354 20 | 0.081 % |
3.25/3.31 c | 15631 | 8600 55132 186977 | 2147483647 15548 20 | 0.081 % |
3.25/3.35 c | 15887 | 8600 55132 186977 | 2147483647 15804 20 | 0.081 % |
3.34/3.42 c | 16168 | 8600 55132 186977 | 2147483647 16085 20 | 0.081 % |
3.34/3.48 c | 16477 | 8600 55132 186977 | 2147483647 16394 20 | 0.082 % |
3.44/3.56 c | 16817 | 8600 55132 186977 | 2147483647 16734 21 | 0.081 % |
3.44/3.57 c | 16919 | 8600 55132 186977 | 2147483647 16836 21 | 0.081 % |
3.44/3.59 c | 17031 | 8600 55132 186977 | 2147483647 16948 21 | 0.081 % |
3.54/3.62 c | 17152 | 8600 55132 186977 | 2147483647 17069 21 | 0.081 % |
3.54/3.64 c | 17285 | 8599 55130 186971 | 2147483647 17192 21 | 0.093 % |
3.54/3.66 c | 17433 | 8599 55130 186971 | 2147483647 17340 21 | 0.093 % |
3.64/3.73 c | 17593 | 8599 55130 186971 | 2147483647 17500 21 | 0.093 % |
3.64/3.77 c | 17769 | 8599 55130 186971 | 2147483647 17676 21 | 0.093 % |
3.74/3.82 c | 17962 | 8599 55130 186971 | 2147483647 17869 21 | 0.093 % |
3.74/3.85 c | 18174 | 8599 55130 186971 | 2147483647 18081 21 | 0.093 % |
3.74/3.87 c | 18408 | 8599 55130 186971 | 2147483647 18315 21 | 0.093 % |
3.84/3.90 c | 18664 | 8599 55130 186971 | 2147483647 18571 21 | 0.093 % |
3.84/3.93 c | 18946 | 8599 55130 186971 | 2147483647 18853 21 | 0.093 % |
3.84/3.98 c | 19255 | 8599 55130 186971 | 2147483647 19162 21 | 0.093 % |
3.94/4.02 c | 19594 | 8599 55130 186971 | 2147483647 19501 21 | 0.093 % |
4.04/4.14 c | 19969 | 8599 55130 186971 | 2147483647 19876 21 | 0.093 % |
4.04/4.18 c | 20070 | 8599 55130 186971 | 2147483647 19977 21 | 0.093 % |
4.14/4.21 c | 20180 | 8599 55130 186971 | 2147483647 20087 21 | 0.093 % |
4.14/4.24 c | 20303 | 8599 55130 186971 | 2147483647 20210 21 | 0.093 % |
4.14/4.29 c | 20436 | 8599 55130 186971 | 2147483647 20343 21 | 0.093 % |
4.24/4.33 c | 20582 | 8599 55130 186971 | 2147483647 20489 22 | 0.093 % |
4.24/4.38 c | 20742 | 8599 55130 186971 | 2147483647 20649 22 | 0.093 % |
4.34/4.43 c | 20918 | 8599 55130 186971 | 2147483647 20825 22 | 0.093 % |
4.34/4.48 c | 21111 | 8599 55130 186971 | 2147483647 21018 22 | 0.093 % |
4.44/4.51 c | 21324 | 8599 55130 186971 | 2147483647 21231 22 | 0.093 % |
4.44/4.55 c | 21557 | 8599 55130 186971 | 2147483647 21464 22 | 0.093 % |
4.54/4.62 c | 21813 | 8599 55130 186971 | 2147483647 21720 22 | 0.093 % |
4.64/4.70 c | 22094 | 8599 55130 186971 | 2147483647 22001 23 | 0.093 % |
4.64/4.74 c | 22403 | 8599 55130 186971 | 2147483647 22310 23 | 0.093 % |
4.64/4.79 c | 22744 | 8599 55130 186971 | 2147483647 22651 23 | 0.093 % |
4.74/4.83 c | 23116 | 8599 55130 186971 | 2147483647 23023 22 | 0.093 % |
4.84/4.96 c | 23527 | 8599 55130 186971 | 2147483647 23434 23 | 0.093 % |
4.84/4.99 c | 23627 | 8599 55130 186971 | 2147483647 23534 23 | 0.093 % |
4.94/5.05 c | 23737 | 8598 55128 186965 | 2147483647 23561 23 | 0.105 % |
4.94/5.07 c | 23861 | 8598 55128 186965 | 2147483647 23685 23 | 0.105 % |
4.94/5.09 c | 23994 | 8598 55128 186965 | 2147483647 23818 23 | 0.105 % |
5.04/5.12 c | 24141 | 8598 55128 186965 | 2147483647 23965 23 | 0.105 % |
5.04/5.13 c | 24301 | 8598 55128 186965 | 2147483647 24125 23 | 0.105 % |
5.04/5.18 c | 24477 | 8598 55128 186965 | 2147483647 24301 23 | 0.105 % |
5.14/5.20 c | 24671 | 8598 55128 186965 | 2147483647 24495 23 | 0.105 % |
5.14/5.23 c | 24884 | 8598 55128 186965 | 2147483647 24708 23 | 0.105 % |
5.24/5.30 c | 25117 | 8597 55128 186965 | 2147483647 24940 23 | 0.116 % |
5.24/5.35 c | 25374 | 8597 55128 186965 | 2147483647 25197 23 | 0.116 % |
5.34/5.42 c | 25656 | 8597 55128 186965 | 2147483647 25479 23 | 0.116 % |
5.34/5.48 c | 25965 | 8596 55124 186953 | 2147483647 25744 23 | 0.128 % |
5.44/5.58 c | 26304 | 8596 55124 186953 | 2147483647 26083 23 | 0.128 % |
5.64/5.70 c | 26676 | 8596 55124 186953 | 2147483647 26455 23 | 0.128 % |
5.64/5.75 c | 27086 | 8596 55124 186953 | 2147483647 26865 23 | 0.128 % |
5.74/5.87 c | 27537 | 8596 55124 186953 | 2147483647 27316 23 | 0.128 % |
5.84/5.91 c | 27637 | 8596 55124 186953 | 2147483647 27416 23 | 0.128 % |
5.84/5.93 c | 27748 | 8596 55124 186953 | 2147483647 27527 23 | 0.128 % |
5.84/5.98 c | 27870 | 8596 55124 186953 | 2147483647 27649 23 | 0.128 % |
5.94/6.01 c | 28005 | 8596 55124 186953 | 2147483647 27784 23 | 0.128 % |
5.94/6.07 c | 28153 | 8596 55124 186953 | 2147483647 27932 24 | 0.128 % |
6.04/6.10 c | 28314 | 8596 55124 186953 | 2147483647 28093 24 | 0.128 % |
6.04/6.13 c | 28490 | 8596 55124 186953 | 2147483647 28269 24 | 0.128 % |
6.04/6.18 c | 28684 | 8596 55124 186953 | 2147483647 28463 24 | 0.128 % |
6.14/6.25 c | 28896 | 8596 55124 186953 | 2147483647 28675 24 | 0.128 % |
6.14/6.30 c | 29129 | 8596 55124 186953 | 2147483647 28908 24 | 0.128 % |
6.24/6.33 c | 29385 | 8596 55124 186953 | 2147483647 29164 24 | 0.128 % |
6.24/6.38 c | 29666 | 8596 55124 186953 | 2147483647 29445 24 | 0.128 % |
6.34/6.42 c | 29976 | 8596 55124 186953 | 2147483647 29755 24 | 0.128 % |
6.34/6.49 c | 30315 | 8596 55124 186953 | 2147483647 30094 24 | 0.128 % |
6.45/6.60 c | 30690 | 8596 55124 186953 | 2147483647 30469 24 | 0.128 % |
6.64/6.74 c | 31099 | 8594 55122 186947 | 2147483647 30855 24 | 0.151 % |
6.74/6.86 c | 31549 | 8594 55122 186947 | 2147483647 31305 24 | 0.151 % |
6.94/7.01 c | 32042 | 8594 55122 186947 | 2147483647 31798 24 | 0.151 % |
6.94/7.06 c | 32142 | 8594 55122 186947 | 2147483647 31898 24 | 0.152 % |
7.04/7.11 c | 32252 | 8594 55122 186947 | 2147483647 32008 24 | 0.151 % |
7.04/7.15 c | 32373 | 8594 55122 186947 | 2147483647 32129 24 | 0.151 % |
7.04/7.18 c | 32506 | 8594 55122 186947 | 2147483647 32262 24 | 0.151 % |
7.14/7.23 c | 32654 | 8594 55122 186947 | 2147483647 32410 25 | 0.151 % |
7.14/7.27 c | 32815 | 8594 55122 186947 | 2147483647 32571 25 | 0.151 % |
7.24/7.30 c | 32992 | 8594 55122 186947 | 2147483647 32748 24 | 0.151 % |
7.24/7.39 c | 33186 | 8594 55120 186941 | 2147483647 32932 24 | 0.151 % |
7.34/7.42 c | 33400 | 8594 55120 186941 | 2147483647 33146 24 | 0.151 % |
7.34/7.50 c | 33634 | 8594 55120 186941 | 2147483647 33380 24 | 0.151 % |
7.44/7.55 c | 33890 | 8594 55120 186941 | 2147483647 33636 25 | 0.151 % |
7.54/7.61 c | 34172 | 8594 55120 186941 | 2147483647 33918 25 | 0.151 % |
7.54/7.67 c | 34481 | 8594 55120 186941 | 2147483647 34227 25 | 0.151 % |
7.64/7.73 c | 34821 | 8594 55120 186941 | 2147483647 34567 25 | 0.151 % |
7.64/7.80 c | 35193 | 8594 55120 186941 | 2147483647 34939 25 | 0.151 % |
7.84/7.94 c | 35602 | 8593 55120 186941 | 2147483647 35347 25 | 0.163 % |
7.94/8.07 c | 36051 | 8593 55120 186941 | 2147483647 35796 25 | 0.163 % |
8.14/8.20 c | 36547 | 8593 55112 186917 | 2147483647 36288 26 | 0.163 % |
8.34/8.42 c | 37089 | 8593 55112 186917 | 2147483647 36830 26 | 0.163 % |
8.34/8.47 c | 37189 | 8593 55112 186917 | 2147483647 36930 26 | 0.163 % |
8.44/8.51 c | 37299 | 8593 55112 186917 | 2147483647 37040 26 | 0.163 % |
8.44/8.56 c | 37420 | 8593 55112 186917 | 2147483647 37161 26 | 0.163 % |
8.44/8.59 c | 37553 | 8593 55112 186917 | 2147483647 37294 26 | 0.163 % |
8.54/8.64 c | 37699 | 8593 55112 186917 | 2147483647 37440 26 | 0.163 % |
8.54/8.67 c | 37859 | 8593 55112 186917 | 2147483647 37600 26 | 0.163 % |
8.54/8.70 c | 38035 | 8593 55112 186917 | 2147483647 37776 26 | 0.163 % |
8.64/8.78 c | 38228 | 8593 55112 186917 | 2147483647 37969 26 | 0.163 % |
8.74/8.82 c | 38440 | 8593 55112 186917 | 2147483647 38181 26 | 0.163 % |
8.74/8.89 c | 38674 | 8593 55112 186917 | 2147483647 38415 26 | 0.163 % |
8.84/8.99 c | 38930 | 8593 55112 186917 | 2147483647 38671 26 | 0.163 % |
8.94/9.06 c | 39212 | 8593 55112 186917 | 2147483647 38953 26 | 0.163 % |
9.04/9.15 c | 39521 | 8593 55112 186917 | 2147483647 39262 26 | 0.163 % |
9.14/9.26 c | 39862 | 8593 55112 186917 | 2147483647 39603 26 | 0.163 % |
9.24/9.36 c | 40235 | 8593 55112 186917 | 2147483647 39976 26 | 0.163 % |
9.44/9.51 c | 40644 | 8593 55112 186917 | 2147483647 40385 27 | 0.163 % |
9.54/9.67 c | 41093 | 8593 55112 186917 | 2147483647 40834 27 | 0.163 % |
9.74/9.81 c | 41586 | 8593 55112 186917 | 2147483647 41327 27 | 0.163 % |
9.94/10.04 c | 42128 | 8593 55112 186917 | 2147483647 41869 27 | 0.163 % |
10.14/10.27 c | 42726 | 8593 55112 186917 | 2147483647 42467 27 | 0.163 % |
10.24/10.30 c | 42826 | 8593 55112 186917 | 2147483647 42567 27 | 0.163 % |
10.24/10.33 c | 42937 | 8593 55112 186917 | 2147483647 42678 27 | 0.163 % |
10.24/10.36 c | 43058 | 8593 55112 186917 | 2147483647 42799 27 | 0.163 % |
10.34/10.41 c | 43191 | 8593 55112 186917 | 2147483647 42932 27 | 0.163 % |
10.34/10.46 c | 43339 | 8593 55112 186917 | 2147483647 43080 27 | 0.163 % |
10.44/10.50 c | 43499 | 8593 55112 186917 | 2147483647 43240 27 | 0.163 % |
10.44/10.57 c | 43675 | 8593 55112 186917 | 2147483647 43416 27 | 0.163 % |
10.54/10.64 c | 43871 | 8593 55112 186917 | 2147483647 43612 27 | 0.163 % |
10.64/10.71 c | 44083 | 8593 55112 186917 | 2147483647 43824 27 | 0.163 % |
10.74/10.81 c | 44316 | 8590 55102 186884 | 2147483647 44042 27 | 0.198 % |
10.74/10.88 c | 44572 | 8590 55102 186884 | 2147483647 44298 27 | 0.198 % |
10.94/11.01 c | 44853 | 8590 55102 186884 | 2147483647 44579 27 | 0.198 % |
11.03/11.12 c | 45162 | 8590 55102 186884 | 2147483647 44888 27 | 0.198 % |
11.03/11.19 c | 45501 | 8590 55102 186884 | 2147483647 45227 27 | 0.198 % |
11.23/11.33 c | 45874 | 8590 55102 186884 | 2147483647 45600 28 | 0.198 % |
11.33/11.46 c | 46283 | 8590 55102 186884 | 2147483647 46009 28 | 0.198 % |
11.43/11.59 c | 46734 | 8590 55102 186884 | 2147483647 46460 28 | 0.198 % |
11.63/11.72 c | 47227 | 8590 55102 186884 | 2147483647 46953 28 | 0.198 % |
11.73/11.85 c | 47769 | 8590 55102 186884 | 2147483647 47495 28 | 0.198 % |
11.94/12.01 c | 48369 | 8590 55102 186884 | 2147483647 48095 28 | 0.198 % |
12.13/12.24 c | 49024 | 8590 55098 186872 | 2147483647 48543 29 | 0.198 % |
12.13/12.29 c | 49124 | 8590 55098 186872 | 2147483647 48643 29 | 0.198 % |
12.23/12.34 c | 49237 | 8590 55098 186872 | 2147483647 48756 29 | 0.198 % |
12.23/12.38 c | 49358 | 8590 55098 186872 | 2147483647 48877 29 | 0.198 % |
12.33/12.43 c | 49491 | 8590 55098 186872 | 2147483647 49010 29 | 0.198 % |
12.33/12.49 c | 49637 | 8590 55098 186872 | 2147483647 49156 29 | 0.198 % |
12.43/12.53 c | 49797 | 8590 55098 186872 | 2147483647 49316 29 | 0.198 % |
12.43/12.57 c | 49975 | 8590 55098 186872 | 2147483647 49494 29 | 0.198 % |
12.53/12.63 c | 50168 | 8590 55098 186872 | 2147483647 49687 29 | 0.198 % |
12.53/12.66 c | 50381 | 8590 55098 186872 | 2147483647 49900 29 | 0.198 % |
12.73/12.80 c | 50614 | 8590 55098 186872 | 2147483647 50133 29 | 0.198 % |
12.73/12.88 c | 50870 | 8590 55098 186872 | 2147483647 50389 29 | 0.198 % |
12.83/12.96 c | 51152 | 8590 55098 186872 | 2147483647 50671 29 | 0.198 % |
12.93/13.04 c | 51463 | 8590 55098 186872 | 2147483647 50982 29 | 0.198 % |
13.03/13.17 c | 51802 | 8590 55098 186872 | 2147483647 51321 29 | 0.198 % |
13.13/13.28 c | 52174 | 8590 55098 186872 | 2147483647 51693 29 | 0.198 % |
13.23/13.39 c | 52583 | 8590 55098 186872 | 2147483647 52102 29 | 0.198 % |
13.43/13.56 c | 53032 | 8590 55098 186872 | 2147483647 52551 29 | 0.198 % |
13.64/13.73 c | 53525 | 8590 55098 186872 | 2147483647 53044 29 | 0.198 % |
13.73/13.89 c | 54067 | 8590 55098 186872 | 2147483647 53586 29 | 0.198 % |
14.03/14.11 c | 54663 | 8590 55098 186872 | 2147483647 54182 30 | 0.198 % |
14.24/14.34 c | 55318 | 8590 55098 186872 | 2147483647 54837 30 | 0.198 % |
14.43/14.55 c | 56038 | 8590 55098 186872 | 2147483647 55557 30 | 0.198 % |
14.43/14.58 c | 56138 | 8590 55098 186872 | 2147483647 55657 30 | 0.198 % |
14.53/14.62 c | 56248 | 8590 55098 186872 | 2147483647 55767 30 | 0.198 % |
14.53/14.68 c | 56370 | 8590 55098 186872 | 2147483647 55889 30 | 0.198 % |
14.63/14.73 c | 56503 | 8590 55098 186872 | 2147483647 56022 30 | 0.198 % |
14.63/14.78 c | 56652 | 8590 55098 186872 | 2147483647 56171 30 | 0.198 % |
14.73/14.83 c | 56812 | 8590 55098 186872 | 2147483647 56331 30 | 0.198 % |
14.73/14.86 c | 56991 | 8590 55098 186872 | 2147483647 56510 30 | 0.198 % |
14.83/14.95 c | 57184 | 8590 55098 186872 | 2147483647 56703 30 | 0.198 % |
14.93/15.01 c | 57398 | 8590 55098 186872 | 2147483647 56917 30 | 0.198 % |
15.03/15.11 c | 57631 | 8590 55098 186872 | 2147483647 57150 30 | 0.198 % |
15.03/15.19 c | 57888 | 8590 55098 186872 | 2147483647 57407 30 | 0.198 % |
15.13/15.28 c | 58169 | 8590 55098 186872 | 2147483647 57688 30 | 0.198 % |
15.23/15.35 c | 58480 | 8590 55098 186872 | 2147483647 57999 30 | 0.198 % |
15.23/15.40 c | 58819 | 8590 55098 186872 | 2147483647 58338 30 | 0.198 % |
15.33/15.44 c | 59191 | 8590 55098 186872 | 2147483647 58710 30 | 0.198 % |
15.43/15.50 c | 59601 | 8590 55098 186872 | 2147483647 59120 30 | 0.198 % |
15.43/15.56 c | 60051 | 8590 55098 186872 | 2147483647 59570 30 | 0.198 % |
15.63/15.78 c | 60545 | 8590 55098 186872 | 2147483647 60064 30 | 0.198 % |
15.83/15.98 c | 61087 | 8590 55098 186872 | 2147483647 60606 30 | 0.198 % |
16.03/16.18 c | 61683 | 8590 55098 186872 | 2147483647 61202 30 | 0.198 % |
16.33/16.42 c | 62339 | 8590 55098 186872 | 2147483647 61858 30 | 0.198 % |
16.52/16.66 c | 63059 | 8590 55098 186872 | 2147483647 62578 30 | 0.198 % |
16.92/17.03 c | 63852 | 8590 55098 186872 | 2147483647 63371 31 | 0.198 % |
16.92/17.08 c | 63954 | 8590 55098 186872 | 2147483647 63473 31 | 0.198 % |
17.02/17.13 c | 64064 | 8590 55098 186872 | 2147483647 63583 31 | 0.198 % |
17.13/17.20 c | 64187 | 8590 55098 186872 | 2147483647 63706 31 | 0.198 % |
17.13/17.25 c | 64321 | 8590 55098 186872 | 2147483647 63840 31 | 0.198 % |
17.13/17.29 c | 64468 | 8590 55098 186872 | 2147483647 63987 31 | 0.198 % |
17.23/17.36 c | 64628 | 8590 55098 186872 | 2147483647 64147 31 | 0.198 % |
17.33/17.43 c | 64804 | 8590 55098 186872 | 2147483647 64323 31 | 0.198 % |
17.43/17.52 c | 64997 | 8590 55098 186872 | 2147483647 64516 31 | 0.198 % |
17.53/17.62 c | 65209 | 8590 55098 186872 | 2147483647 64728 31 | 0.198 % |
17.53/17.65 c | 65442 | 8590 55098 186872 | 2147483647 64961 31 | 0.198 % |
17.53/17.68 c | 65698 | 8590 55098 186872 | 2147483647 65217 31 | 0.198 % |
17.73/17.82 c | 65979 | 8590 55098 186872 | 2147483647 65498 31 | 0.198 % |
17.83/17.92 c | 66289 | 8590 55098 186872 | 2147483647 65808 31 | 0.198 % |
17.93/18.02 c | 66631 | 8590 55098 186872 | 2147483647 66150 31 | 0.198 % |
18.03/18.13 c | 67003 | 8590 55098 186872 | 2147483647 66522 31 | 0.198 % |
18.33/18.40 c | 67412 | 8589 55096 186866 | 2147483647 66826 31 | 0.209 % |
18.43/18.53 c | 67862 | 8589 55096 186866 | 2147483647 67276 31 | 0.209 % |
18.53/18.69 c | 68356 | 8589 55096 186866 | 2147483647 67770 31 | 0.209 % |
18.72/18.87 c | 68898 | 8589 55096 186866 | 2147483647 68312 31 | 0.209 % |
18.92/19.06 c | 69495 | 8589 55096 186866 | 2147483647 68909 31 | 0.209 % |
19.12/19.30 c | 70152 | 8589 55096 186866 | 2147483647 69566 31 | 0.209 % |
19.42/19.57 c | 70872 | 8589 55096 186866 | 2147483647 70286 31 | 0.209 % |
19.73/19.86 c | 71664 | 8589 55096 186866 | 2147483647 71078 31 | 0.209 % |
20.12/20.26 c | 72535 | 8589 55096 186866 | 2147483647 71949 31 | 0.209 % |
20.22/20.34 c | 72638 | 8589 55096 186866 | 2147483647 72052 31 | 0.209 % |
20.22/20.38 c | 72749 | 8589 55096 186866 | 2147483647 72163 31 | 0.209 % |
20.32/20.41 c | 72871 | 8589 55096 186866 | 2147483647 72285 31 | 0.209 % |
20.32/20.44 c | 73005 | 8589 55096 186866 | 2147483647 72419 31 | 0.209 % |
20.42/20.54 c | 73156 | 8589 55096 186866 | 2147483647 72570 31 | 0.209 % |
20.52/20.60 c | 73317 | 8589 55096 186866 | 2147483647 72731 31 | 0.209 % |
20.52/20.66 c | 73493 | 8589 55096 186866 | 2147483647 72907 31 | 0.209 % |
20.62/20.74 c | 73686 | 8589 55096 186866 | 2147483647 73100 31 | 0.209 % |
20.62/20.79 c | 73899 | 8589 55096 186866 | 2147483647 73313 31 | 0.209 % |
20.83/20.91 c | 74132 | 8589 55096 186866 | 2147483647 73546 31 | 0.209 % |
20.92/21.03 c | 74388 | 8589 55096 186866 | 2147483647 73802 31 | 0.209 % |
21.02/21.12 c | 74670 | 8589 55096 186866 | 2147483647 74084 31 | 0.209 % |
21.12/21.23 c | 74980 | 8589 55096 186866 | 2147483647 74394 31 | 0.209 % |
21.22/21.35 c | 75319 | 8589 55096 186866 | 2147483647 74733 31 | 0.209 % |
21.42/21.57 c | 75692 | 8589 55096 186866 | 2147483647 75106 31 | 0.209 % |
21.62/21.78 c | 76101 | 8589 55096 186866 | 2147483647 75515 31 | 0.209 % |
21.82/21.98 c | 76550 | 8589 55096 186866 | 2147483647 75964 32 | 0.209 % |
22.12/22.25 c | 77043 | 8589 55096 186866 | 2147483647 76457 32 | 0.209 % |
22.32/22.42 c | 77585 | 8589 55096 186866 | 2147483647 76999 32 | 0.210 % |
22.62/22.74 c | 78182 | 8589 55096 186866 | 2147483647 77596 32 | 0.209 % |
22.92/23.02 c | 78837 | 8589 55096 186866 | 2147483647 78251 32 | 0.209 % |
23.32/23.41 c | 79558 | 8589 55096 186866 | 2147483647 78972 32 | 0.209 % |
23.51/23.66 c | 80352 | 8589 55096 186866 | 2147483647 79766 32 | 0.209 % |
23.91/24.09 c | 81225 | 8589 55096 186866 | 2147483647 80639 33 | 0.209 % |
24.41/24.52 c | 82183 | 8589 55096 186866 | 2147483647 81597 33 | 0.209 % |
24.41/24.57 c | 82284 | 8589 55096 186866 | 2147483647 81698 33 | 0.209 % |
24.51/24.62 c | 82396 | 8589 55096 186866 | 2147483647 81810 33 | 0.209 % |
24.51/24.67 c | 82517 | 8589 55096 186866 | 2147483647 81931 33 | 0.209 % |
24.61/24.76 c | 82650 | 8589 55096 186866 | 2147483647 82064 33 | 0.209 % |
24.71/24.85 c | 82797 | 8589 55096 186866 | 2147483647 82211 33 | 0.209 % |
24.81/24.92 c | 82957 | 8589 55096 186866 | 2147483647 82371 33 | 0.209 % |
24.91/25.02 c | 83133 | 8589 55096 186866 | 2147483647 82547 33 | 0.209 % |
25.01/25.12 c | 83326 | 8589 55096 186866 | 2147483647 82740 33 | 0.209 % |
25.01/25.17 c | 83538 | 8589 55096 186866 | 2147483647 82952 33 | 0.209 % |
25.22/25.32 c | 83771 | 8589 55096 186866 | 2147483647 83185 33 | 0.209 % |
25.32/25.46 c | 84029 | 8589 55096 186866 | 2147483647 83443 33 | 0.209 % |
25.52/25.60 c | 84311 | 8589 55096 186866 | 2147483647 83725 33 | 0.209 % |
25.62/25.75 c | 84620 | 8589 55096 186866 | 2147483647 84034 33 | 0.209 % |
25.82/25.92 c | 84959 | 8589 55096 186866 | 2147483647 84373 33 | 0.209 % |
25.92/26.00 c | 85332 | 8589 55096 186866 | 2147483647 84746 33 | 0.209 % |
26.12/26.24 c | 85743 | 8589 55096 186866 | 2147483647 85157 33 | 0.209 % |
26.32/26.44 c | 86193 | 8589 55096 186866 | 2147483647 85607 33 | 0.209 % |
26.62/26.73 c | 86686 | 8589 55096 186866 | 2147483647 86100 33 | 0.209 % |
26.82/26.97 c | 87229 | 8589 55096 186866 | 2147483647 86643 33 | 0.209 % |
27.12/27.24 c | 87828 | 8589 55096 186866 | 2147483647 87242 33 | 0.209 % |
27.32/27.48 c | 88483 | 8589 55096 186866 | 2147483647 87897 33 | 0.209 % |
27.82/27.96 c | 89203 | 8589 55096 186866 | 2147483647 88617 33 | 0.209 % |
28.21/28.32 c | 89998 | 8589 55096 186866 | 2147483647 89412 34 | 0.209 % |
28.52/28.67 c | 90869 | 8589 55096 186866 | 2147483647 90283 34 | 0.209 % |
28.91/29.07 c | 91827 | 8589 55096 186866 | 2147483647 91241 34 | 0.209 % |
29.52/29.67 c | 92882 | 8589 55096 186866 | 2147483647 92296 34 | 0.209 % |
29.62/29.72 c | 92982 | 8589 55096 186866 | 2147483647 92396 34 | 0.209 % |
29.62/29.79 c | 93092 | 8589 55096 186866 | 2147483647 92506 34 | 0.209 % |
29.81/29.90 c | 93216 | 8589 55096 186866 | 2147483647 92630 34 | 0.209 % |
29.81/29.94 c | 93350 | 8589 55096 186866 | 2147483647 92764 34 | 0.209 % |
29.91/30.03 c | 93496 | 8589 55096 186866 | 2147483647 92910 34 | 0.209 % |
30.01/30.14 c | 93659 | 8589 55096 186866 | 2147483647 93073 34 | 0.209 % |
30.11/30.30 c | 93835 | 8588 55094 186860 | 2147483647 93241 34 | 0.221 % |
30.21/30.36 c | 94029 | 8588 55094 186860 | 2147483647 93435 34 | 0.221 % |
30.41/30.53 c | 94241 | 8588 55094 186860 | 2147483647 93647 34 | 0.221 % |
30.51/30.61 c | 94474 | 8588 55094 186860 | 2147483647 93880 34 | 0.221 % |
30.61/30.76 c | 94730 | 8588 55094 186860 | 2147483647 94136 34 | 0.221 % |
30.71/30.89 c | 95011 | 8588 55094 186860 | 2147483647 94417 34 | 0.221 % |
31.00/31.10 c | 95322 | 8588 55094 186860 | 2147483647 94728 34 | 0.221 % |
31.20/31.32 c | 95662 | 8588 55094 186860 | 2147483647 95068 34 | 0.221 % |
31.30/31.49 c | 96034 | 8588 55094 186860 | 2147483647 95440 34 | 0.221 % |
31.60/31.71 c | 96443 | 8588 55094 186860 | 2147483647 95849 34 | 0.221 % |
31.80/31.97 c | 96892 | 8588 55094 186860 | 2147483647 96298 34 | 0.221 % |
32.10/32.25 c | 97386 | 8588 55094 186860 | 2147483647 96792 34 | 0.221 % |
32.20/32.37 c | 97928 | 8588 55094 186860 | 2147483647 97334 34 | 0.221 % |
32.61/32.77 c | 98524 | 8588 55094 186860 | 2147483647 97930 34 | 0.221 % |
32.91/33.07 c | 99180 | 8588 55094 186860 | 2147483647 98586 34 | 0.221 % |
33.30/33.45 c | 99901 | 8588 55094 186860 | 2147483647 99307 34 | 0.221 % |
33.80/33.90 c | 100693 | 8588 55094 186860 | 2147483647 100099 34 | 0.221 % |
34.20/34.32 c | 101566 | 8588 55094 186860 | 2147483647 100972 34 | 0.221 % |
34.60/34.78 c | 102526 | 8588 55094 186860 | 2147483647 101932 35 | 0.221 % |
35.30/35.49 c | 103579 | 8588 55094 186860 | 2147483647 102985 35 | 0.221 % |
36.00/36.12 c | 104737 | 8588 55094 186860 | 2147483647 104143 35 | 0.221 % |
36.10/36.20 c | 104840 | 8588 55094 186860 | 2147483647 104246 35 | 0.221 % |
36.10/36.27 c | 104950 | 8588 55094 186860 | 2147483647 104356 35 | 0.221 % |
36.20/36.34 c | 105071 | 8588 55094 186860 | 2147483647 104477 35 | 0.221 % |
36.29/36.45 c | 105205 | 8588 55094 186860 | 2147483647 104611 35 | 0.221 % |
36.39/36.54 c | 105352 | 8588 55094 186860 | 2147483647 104758 35 | 0.221 % |
36.49/36.64 c | 105513 | 8588 55094 186860 | 2147483647 104919 35 | 0.221 % |
36.59/36.77 c | 105690 | 8588 55094 186860 | 2147483647 105096 35 | 0.221 % |
36.69/36.89 c | 105890 | 8588 55094 186860 | 2147483647 105296 35 | 0.221 % |
36.89/37.04 c | 106102 | 8588 55094 186860 | 2147483647 105508 35 | 0.221 % |
36.99/37.16 c | 106336 | 8588 55094 186860 | 2147483647 105742 35 | 0.221 % |
37.09/37.29 c | 106594 | 8588 55094 186860 | 2147483647 106000 35 | 0.221 % |
37.39/37.51 c | 106877 | 8588 55094 186860 | 2147483647 106283 36 | 0.221 % |
37.59/37.71 c | 107186 | 8588 55094 186860 | 2147483647 106592 36 | 0.221 % |
37.80/37.97 c | 107526 | 8588 55094 186860 | 2147483647 106932 36 | 0.221 % |
38.00/38.17 c | 107898 | 8588 55094 186860 | 2147483647 107304 36 | 0.221 % |
38.30/38.43 c | 108307 | 8588 55094 186860 | 2147483647 107713 36 | 0.221 % |
38.60/38.71 c | 108757 | 8588 55094 186860 | 2147483647 108163 36 | 0.221 % |
38.80/38.95 c | 109250 | 8588 55094 186860 | 2147483647 108656 36 | 0.221 % |
39.10/39.26 c | 109792 | 8588 55094 186860 | 2147483647 109198 36 | 0.221 % |
39.50/39.62 c | 110388 | 8588 55094 186860 | 2147483647 109794 36 | 0.221 % |
39.89/40.00 c | 111044 | 8588 55094 186860 | 2147483647 110450 36 | 0.221 % |
40.29/40.42 c | 111764 | 8588 55094 186860 | 2147483647 111170 36 | 0.221 % |
40.69/40.86 c | 112556 | 8588 55094 186860 | 2147483647 111962 36 | 0.221 % |
41.19/41.36 c | 113428 | 8588 55094 186860 | 2147483647 112834 36 | 0.221 % |
41.70/41.87 c | 114387 | 8588 55094 186860 | 2147483647 113793 36 | 0.221 % |
42.19/42.39 c | 115440 | 8588 55094 186860 | 2147483647 114846 36 | 0.221 % |
42.89/43.02 c | 116598 | 8588 55094 186860 | 2147483647 116004 36 | 0.221 % |
43.59/43.73 c | 117872 | 8588 55094 186860 | 2147483647 117278 36 | 0.221 % |
43.69/43.82 c | 117972 | 8588 55094 186860 | 2147483647 117378 37 | 0.221 % |
43.69/43.90 c | 118083 | 8588 55094 186860 | 2147483647 117489 37 | 0.221 % |
43.89/44.02 c | 118204 | 8588 55094 186860 | 2147483647 117610 37 | 0.221 % |
43.99/44.14 c | 118339 | 8588 55094 186860 | 2147483647 117745 37 | 0.221 % |
44.09/44.27 c | 118488 | 8588 55094 186860 | 2147483647 117894 37 | 0.221 % |
44.28/44.41 c | 118649 | 8588 55094 186860 | 2147483647 118055 37 | 0.221 % |
44.38/44.52 c | 118826 | 8588 55094 186860 | 2147483647 118232 37 | 0.221 % |
44.48/44.64 c | 119019 | 8588 55094 186860 | 2147483647 118425 37 | 0.221 % |
44.68/44.80 c | 119232 | 8588 55094 186860 | 2147483647 118638 37 | 0.221 % |
44.78/44.96 c | 119465 | 8588 55094 186860 | 2147483647 118871 37 | 0.221 % |
44.99/45.12 c | 119722 | 8588 55094 186860 | 2147483647 119128 37 | 0.221 % |
45.18/45.32 c | 120004 | 8588 55094 186860 | 2147483647 119410 37 | 0.221 % |
45.38/45.57 c | 120313 | 8588 55094 186860 | 2147483647 119719 37 | 0.221 % |
45.58/45.78 c | 120653 | 8588 55094 186860 | 2147483647 120059 37 | 0.221 % |
45.79/45.99 c | 121025 | 8588 55094 186860 | 2147483647 120431 37 | 0.221 % |
46.19/46.30 c | 121435 | 8588 55094 186860 | 2147483647 120841 37 | 0.221 % |
46.49/46.61 c | 121884 | 8588 55094 186860 | 2147483647 121290 37 | 0.221 % |
46.79/46.93 c | 122377 | 8588 55094 186860 | 2147483647 121783 37 | 0.221 % |
47.29/47.41 c | 122919 | 8588 55094 186860 | 2147483647 122325 37 | 0.221 % |
47.59/47.78 c | 123516 | 8588 55094 186860 | 2147483647 122922 37 | 0.221 % |
47.99/48.14 c | 124172 | 8588 55094 186860 | 2147483647 123578 37 | 0.221 % |
48.59/48.72 c | 124894 | 8588 55094 186860 | 2147483647 124300 37 | 0.221 % |
49.09/49.27 c | 125687 | 8588 55094 186860 | 2147483647 125093 37 | 0.221 % |
49.68/49.83 c | 126558 | 8588 55094 186860 | 2147483647 125964 37 | 0.221 % |
50.39/50.55 c | 127516 | 8588 55094 186860 | 2147483647 126922 38 | 0.221 % |
51.28/51.41 c | 128569 | 8588 55094 186860 | 2147483647 127975 38 | 0.221 % |
51.98/52.15 c | 129728 | 8588 55094 186860 | 2147483647 129134 38 | 0.221 % |
52.88/53.08 c | 131003 | 8588 55094 186860 | 2147483647 130409 39 | 0.221 % |
53.98/54.14 c | 132403 | 8588 55094 186860 | 2147483647 131809 39 | 0.221 % |
54.08/54.23 c | 132503 | 8588 55094 186860 | 2147483647 131909 39 | 0.221 % |
54.18/54.35 c | 132616 | 8588 55094 186860 | 2147483647 132022 39 | 0.221 % |
54.28/54.48 c | 132737 | 8588 55094 186860 | 2147483647 132143 39 | 0.221 % |
54.38/54.60 c | 132871 | 8588 55094 186860 | 2147483647 132277 39 | 0.221 % |
54.58/54.70 c | 133017 | 8588 55094 186860 | 2147483647 132423 39 | 0.221 % |
54.68/54.83 c | 133178 | 8588 55094 186860 | 2147483647 132584 39 | 0.221 % |
54.79/54.95 c | 133354 | 8588 55094 186860 | 2147483647 132760 39 | 0.221 % |
54.98/55.13 c | 133547 | 8588 55094 186860 | 2147483647 132953 39 | 0.221 % |
55.18/55.31 c | 133759 | 8588 55094 186860 | 2147483647 133165 39 | 0.221 % |
55.28/55.45 c | 133993 | 8588 55094 186860 | 2147483647 133399 39 | 0.221 % |
55.48/55.64 c | 134252 | 8588 55094 186860 | 2147483647 133658 39 | 0.221 % |
55.58/55.79 c | 134533 | 8588 55094 186860 | 2147483647 133939 39 | 0.221 % |
55.88/56.03 c | 134843 | 8588 55094 186860 | 2147483647 134249 39 | 0.221 % |
55.98/56.17 c | 135185 | 8588 55094 186860 | 2147483647 134591 39 | 0.221 % |
56.18/56.30 c | 135557 | 8588 55094 186860 | 2147483647 134963 39 | 0.221 % |
56.58/56.70 c | 135967 | 8588 55094 186860 | 2147483647 135373 39 | 0.221 % |
56.78/56.90 c | 136417 | 8588 55094 186860 | 2147483647 135823 39 | 0.221 % |
57.18/57.31 c | 136910 | 8588 55094 186860 | 2147483647 136316 39 | 0.221 % |
57.48/57.67 c | 137453 | 8588 55094 186860 | 2147483647 136859 39 | 0.221 % |
58.08/58.22 c | 138049 | 8586 55090 186848 | 2147483647 137309 39 | 0.244 % |
58.58/58.70 c | 138706 | 8586 55090 186848 | 2147483647 137966 39 | 0.244 % |
58.99/59.15 c | 139426 | 8586 55090 186848 | 2147483647 138686 39 | 0.244 % |
59.59/59.77 c | 140218 | 8586 55090 186848 | 2147483647 139478 39 | 0.244 % |
60.19/60.39 c | 141091 | 8586 55090 186848 | 2147483647 140351 39 | 0.244 % |
60.98/61.12 c | 142049 | 8586 55090 186848 | 2147483647 141309 39 | 0.244 % |
61.98/62.16 c | 143102 | 8586 55090 186848 | 2147483647 142362 40 | 0.244 % |
62.78/62.97 c | 144261 | 8586 55090 186848 | 2147483647 143521 40 | 0.244 % |
63.59/63.77 c | 145534 | 8586 55090 186848 | 2147483647 144794 39 | 0.244 % |
64.38/64.59 c | 146934 | 8586 55090 186848 | 2147483647 146194 40 | 0.244 % |
64.98/65.17 c | 148474 | 8586 55090 186848 | 2147483647 147734 39 | 0.244 % |
65.08/65.23 c | 148574 | 8586 55090 186848 | 2147483647 147834 39 | 0.244 % |
65.18/65.36 c | 148685 | 8586 55090 186848 | 2147483647 147945 39 | 0.244 % |
65.28/65.48 c | 148807 | 8586 55090 186848 | 2147483647 148067 39 | 0.244 % |
65.48/65.67 c | 148940 | 8586 55090 186848 | 2147483647 148200 39 | 0.244 % |
65.68/65.81 c | 149086 | 8586 55090 186848 | 2147483647 148346 39 | 0.244 % |
65.78/65.93 c | 149246 | 8586 55090 186848 | 2147483647 148506 39 | 0.244 % |
65.88/66.00 c | 149423 | 8586 55090 186848 | 2147483647 148683 39 | 0.244 % |
65.98/66.11 c | 149617 | 8586 55090 186848 | 2147483647 148877 39 | 0.244 % |
66.08/66.20 c | 149829 | 8586 55090 186848 | 2147483647 149089 39 | 0.244 % |
66.08/66.30 c | 150062 | 8586 55090 186848 | 2147483647 149322 39 | 0.244 % |
66.38/66.54 c | 150319 | 8586 55090 186848 | 2147483647 149579 39 | 0.244 % |
66.58/66.74 c | 150602 | 8586 55090 186848 | 2147483647 149862 39 | 0.244 % |
66.78/66.94 c | 150913 | 8586 55090 186848 | 2147483647 150173 39 | 0.244 % |
66.98/67.19 c | 151253 | 8586 55090 186848 | 2147483647 150513 39 | 0.244 % |
67.37/67.57 c | 151626 | 8586 55090 186848 | 2147483647 150886 39 | 0.244 % |
67.67/67.88 c | 152036 | 8586 55090 186848 | 2147483647 151296 39 | 0.244 % |
68.28/68.44 c | 152485 | 8586 55090 186848 | 2147483647 151745 39 | 0.244 % |
68.58/68.80 c | 152978 | 8586 55090 186848 | 2147483647 152238 39 | 0.244 % |
68.97/69.12 c | 153521 | 8586 55090 186848 | 2147483647 152781 40 | 0.244 % |
69.58/69.70 c | 154117 | 8586 55090 186848 | 2147483647 153377 40 | 0.244 % |
70.08/70.22 c | 154772 | 8586 55090 186848 | 2147483647 154032 40 | 0.244 % |
70.68/70.86 c | 155492 | 8586 55090 186848 | 2147483647 154752 40 | 0.244 % |
71.28/71.40 c | 156285 | 8586 55090 186848 | 2147483647 155545 40 | 0.244 % |
71.88/72.08 c | 157156 | 8586 55090 186848 | 2147483647 156416 40 | 0.244 % |
72.68/72.85 c | 158114 | 8586 55090 186848 | 2147483647 157374 40 | 0.244 % |
73.38/73.55 c | 159167 | 8586 55090 186848 | 2147483647 158427 40 | 0.244 % |
74.28/74.44 c | 160325 | 8586 55090 186848 | 2147483647 159585 40 | 0.244 % |
75.17/75.36 c | 161599 | 8586 55090 186848 | 2147483647 160859 40 | 0.244 % |
76.07/76.27 c | 163002 | 8586 55090 186848 | 2147483647 162262 40 | 0.244 % |
77.67/77.82 c | 164543 | 8586 55090 186848 | 2147483647 163803 40 | 0.244 % |
79.07/79.22 c | 166237 | 8586 55090 186848 | 2147483647 165497 40 | 0.244 % |
79.17/79.32 c | 166338 | 8586 55090 186848 | 2147483647 165598 40 | 0.244 % |
79.27/79.45 c | 166448 | 8586 55090 186848 | 2147483647 165708 40 | 0.244 % |
79.47/79.60 c | 166570 | 8586 55090 186848 | 2147483647 165830 40 | 0.244 % |
79.57/79.77 c | 166706 | 8586 55090 186848 | 2147483647 165966 40 | 0.244 % |
79.77/79.92 c | 166852 | 8586 55090 186848 | 2147483647 166112 40 | 0.244 % |
79.87/80.05 c | 167013 | 8586 55090 186848 | 2147483647 166273 40 | 0.244 % |
80.07/80.24 c | 167189 | 8586 55090 186848 | 2147483647 166449 40 | 0.244 % |
80.17/80.38 c | 167382 | 8586 55090 186848 | 2147483647 166642 40 | 0.244 % |
80.47/80.65 c | 167594 | 8586 55090 186848 | 2147483647 166854 40 | 0.244 % |
80.67/80.89 c | 167827 | 8586 55090 186848 | 2147483647 167087 40 | 0.244 % |
80.96/81.19 c | 168084 | 8586 55090 186848 | 2147483647 167344 40 | 0.244 % |
81.27/81.46 c | 168367 | 8586 55090 186848 | 2147483647 167627 40 | 0.244 % |
81.56/81.73 c | 168677 | 8586 55090 186848 | 2147483647 167937 40 | 0.244 % |
81.96/82.13 c | 169017 | 8586 55090 186848 | 2147483647 168277 40 | 0.244 % |
82.37/82.51 c | 169391 | 8586 55090 186848 | 2147483647 168651 40 | 0.244 % |
82.66/82.89 c | 169800 | 8586 55090 186848 | 2147483647 169060 41 | 0.244 % |
83.06/83.29 c | 170251 | 8586 55090 186848 | 2147483647 169511 41 | 0.244 % |
83.26/83.43 c | 170744 | 8586 55090 186848 | 2147483647 170004 41 | 0.244 % |
83.37/83.60 c | 171288 | 8586 55090 186848 | 2147483647 170548 40 | 0.244 % |
84.16/84.34 c | 171885 | 8586 55090 186848 | 2147483647 171145 41 | 0.244 % |
84.76/84.94 c | 172541 | 8586 55090 186848 | 2147483647 171801 40 | 0.244 % |
85.46/85.69 c | 173261 | 8586 55090 186848 | 2147483647 172521 41 | 0.244 % |
86.16/86.36 c | 174053 | 8586 55090 186848 | 2147483647 173313 41 | 0.244 % |
86.97/87.18 c | 174926 | 8586 55090 186848 | 2147483647 174186 41 | 0.244 % |
87.97/88.13 c | 175885 | 8586 55090 186848 | 2147483647 175145 41 | 0.244 % |
88.87/89.03 c | 176938 | 8586 55090 186848 | 2147483647 176198 41 | 0.244 % |
89.67/89.85 c | 178096 | 8586 55090 186848 | 2147483647 177356 40 | 0.244 % |
90.76/90.97 c | 179371 | 8586 55090 186848 | 2147483647 178631 41 | 0.244 % |
92.27/92.42 c | 180771 | 8586 55090 186848 | 2147483647 180031 41 | 0.244 % |
93.86/94.01 c | 182311 | 8586 55090 186848 | 2147483647 181571 41 | 0.244 % |
95.37/95.57 c | 184005 | 8586 55090 186848 | 2147483647 183265 41 | 0.244 % |
97.46/97.64 c | 185869 | 8586 55090 186848 | 2147483647 185129 41 | 0.244 % |
97.56/97.76 c | 185970 | 8586 55090 186848 | 2147483647 185230 41 | 0.244 % |
97.67/97.87 c | 186080 | 8586 55090 186848 | 2147483647 185340 41 | 0.244 % |
97.86/98.09 c | 186202 | 8586 55090 186848 | 2147483647 185462 41 | 0.244 % |
98.06/98.26 c | 186336 | 8586 55090 186848 | 2147483647 185596 41 | 0.244 % |
98.26/98.44 c | 186484 | 8586 55090 186848 | 2147483647 185744 41 | 0.244 % |
98.36/98.59 c | 186645 | 8586 55090 186848 | 2147483647 185905 41 | 0.244 % |
98.57/98.73 c | 186822 | 8586 55090 186848 | 2147483647 186082 41 | 0.244 % |
98.66/98.88 c | 187015 | 8586 55090 186848 | 2147483647 186275 41 | 0.244 % |
98.96/99.14 c | 187227 | 8586 55090 186848 | 2147483647 186487 41 | 0.244 % |
99.16/99.36 c | 187460 | 8586 55090 186848 | 2147483647 186720 41 | 0.244 % |
99.36/99.56 c | 187717 | 8586 55090 186848 | 2147483647 186977 41 | 0.244 % |
99.56/99.76 c | 187998 | 8586 55090 186848 | 2147483647 187258 41 | 0.244 % |
99.87/100.02 c | 188308 | 8586 55090 186848 | 2147483647 187568 41 | 0.244 % |
100.26/100.44 c | 188647 | 8586 55090 186848 | 2147483647 187907 41 | 0.244 % |
100.56/100.77 c | 189020 | 8586 55090 186848 | 2147483647 188280 41 | 0.244 % |
100.97/101.15 c | 189429 | 8586 55090 186848 | 2147483647 188689 41 | 0.244 % |
101.36/101.56 c | 189879 | 8586 55090 186848 | 2147483647 189139 41 | 0.244 % |
101.76/101.99 c | 190373 | 8586 55090 186848 | 2147483647 189633 41 | 0.244 % |
102.26/102.49 c | 190915 | 8586 55090 186848 | 2147483647 190175 41 | 0.244 % |
102.86/103.03 c | 191512 | 8586 55090 186848 | 2147483647 190772 41 | 0.244 % |
103.76/103.95 c | 192168 | 8586 55090 186848 | 2147483647 191428 41 | 0.244 % |
104.16/104.37 c | 192888 | 8586 55090 186848 | 2147483647 192148 41 | 0.244 % |
105.16/105.31 c | 193681 | 8586 55090 186848 | 2147483647 192941 41 | 0.244 % |
105.96/106.19 c | 194553 | 8586 55090 186848 | 2147483647 193813 41 | 0.244 % |
107.15/107.30 c | 195511 | 8586 55090 186848 | 2147483647 194771 42 | 0.244 % |
108.05/108.21 c | 196564 | 8586 55090 186848 | 2147483647 195824 42 | 0.244 % |
109.25/109.45 c | 197723 | 8586 55090 186848 | 2147483647 196983 42 | 0.244 % |
110.45/110.66 c | 198996 | 8586 55090 186848 | 2147483647 198256 42 | 0.244 % |
111.96/112.12 c | 200397 | 8586 55090 186848 | 2147483647 199657 42 | 0.244 % |
113.25/113.42 c | 201937 | 8586 55090 186848 | 2147483647 201197 42 | 0.244 % |
114.65/114.84 c | 203631 | 8586 55090 186848 | 2147483647 202891 42 | 0.244 % |
115.25/115.43 c | 205494 | 8586 55090 186848 | 2147483647 204754 42 | 0.244 % |
117.96/118.15 c | 207543 | 8586 55090 186848 | 2147483647 206803 42 | 0.244 % |
118.16/118.34 c | 207643 | 8586 55090 186848 | 2147483647 206903 42 | 0.244 % |
118.36/118.55 c | 207753 | 8586 55090 186848 | 2147483647 207013 42 | 0.244 % |
118.46/118.69 c | 207874 | 8586 55090 186848 | 2147483647 207134 42 | 0.244 % |
118.66/118.81 c | 208007 | 8586 55090 186848 | 2147483647 207267 42 | 0.244 % |
118.86/119.01 c | 208154 | 8586 55090 186848 | 2147483647 207414 42 | 0.244 % |
119.06/119.24 c | 208316 | 8586 55090 186848 | 2147483647 207576 42 | 0.244 % |
119.36/119.52 c | 208492 | 8586 55090 186848 | 2147483647 207752 42 | 0.244 % |
119.56/119.70 c | 208686 | 8586 55090 186848 | 2147483647 207946 42 | 0.244 % |
119.76/119.93 c | 208900 | 8586 55090 186848 | 2147483647 208160 42 | 0.244 % |
120.05/120.25 c | 209134 | 8586 55090 186848 | 2147483647 208394 42 | 0.244 % |
120.35/120.56 c | 209391 | 8586 55090 186848 | 2147483647 208651 42 | 0.244 % |
120.55/120.71 c | 209672 | 8586 55090 186848 | 2147483647 208932 42 | 0.244 % |
120.65/120.83 c | 209981 | 8586 55090 186848 | 2147483647 209241 42 | 0.244 % |
120.75/120.94 c | 210320 | 8586 55090 186848 | 209261 209580 42 | 0.244 % |
121.35/121.53 c | 210692 | 8586 55090 186848 | 209261 182313 41 | 0.244 % |
121.45/121.66 c | 211101 | 8586 55090 186848 | 209261 182722 41 | 0.244 % |
122.15/122.36 c | 211550 | 8586 55090 186848 | 209261 183171 41 | 0.244 % |
122.65/122.87 c | 212043 | 8586 55090 186848 | 209261 183664 41 | 0.244 % |
123.15/123.38 c | 212586 | 8586 55090 186848 | 209261 184207 41 | 0.244 % |
123.95/124.15 c | 213182 | 8586 55090 186848 | 209261 184803 41 | 0.244 % |
124.55/124.73 c | 213837 | 8586 55090 186848 | 209261 185458 41 | 0.244 % |
125.15/125.38 c | 214557 | 8586 55090 186848 | 209261 186178 41 | 0.244 % |
126.15/126.39 c | 215349 | 8586 55090 186848 | 209261 186970 41 | 0.244 % |
126.95/127.10 c | 216220 | 8586 55090 186848 | 209261 187841 41 | 0.244 % |
127.55/127.79 c | 217178 | 8586 55090 186848 | 209261 188799 41 | 0.244 % |
128.95/129.12 c | 218231 | 8586 55090 186848 | 209261 189852 42 | 0.244 % |
130.05/130.22 c | 219389 | 8586 55090 186848 | 209261 191010 42 | 0.244 % |
131.35/131.57 c | 220665 | 8586 55090 186848 | 191621 192286 42 | 0.244 % |
132.74/132.99 c | 222065 | 8586 55090 186848 | 191621 164746 42 | 0.244 % |
134.54/134.75 c | 223607 | 8586 55090 186848 | 191621 166288 42 | 0.244 % |
135.84/136.04 c | 225304 | 8586 55090 186848 | 191621 167985 42 | 0.244 % |
137.64/137.88 c | 227168 | 8586 55090 186848 | 191621 169849 42 | 0.244 % |
139.34/139.58 c | 229218 | 8586 55090 186848 | 191621 171899 42 | 0.244 % |
141.04/141.27 c | 231472 | 8586 55090 186848 | 2147483647 174153 42 | 0.244 % |
141.14/141.37 c | 231572 | 8586 55090 186848 | 2147483647 174253 42 | 0.244 % |
141.34/141.55 c | 231684 | 8586 55090 186848 | 2147483647 174365 42 | 0.244 % |
141.44/141.68 c | 231806 | 8586 55090 186848 | 2147483647 174487 42 | 0.244 % |
141.64/141.82 c | 231940 | 8586 55090 186848 | 2147483647 174621 42 | 0.244 % |
141.74/141.95 c | 232086 | 8586 55090 186848 | 2147483647 174767 42 | 0.244 % |
141.94/142.17 c | 232248 | 8586 55090 186848 | 2147483647 174929 42 | 0.244 % |
142.24/142.41 c | 232425 | 8586 55090 186848 | 2147483647 175106 42 | 0.244 % |
142.34/142.52 c | 232618 | 8586 55090 186848 | 2147483647 175299 42 | 0.244 % |
142.64/142.80 c | 232830 | 8586 55090 186848 | 2147483647 175511 42 | 0.244 % |
142.74/142.92 c | 233063 | 8586 55090 186848 | 2147483647 175744 42 | 0.244 % |
143.14/143.31 c | 233319 | 8586 55090 186848 | 2147483647 176000 42 | 0.244 % |
143.34/143.57 c | 233601 | 8586 55090 186848 | 2147483647 176282 42 | 0.244 % |
143.64/143.86 c | 233910 | 8586 55090 186848 | 2147483647 176591 42 | 0.244 % |
143.94/144.17 c | 234249 | 8586 55090 186848 | 2147483647 176930 42 | 0.244 % |
144.24/144.47 c | 234621 | 8586 55090 186848 | 2147483647 177302 42 | 0.244 % |
144.54/144.79 c | 235031 | 8586 55090 186848 | 2147483647 177712 42 | 0.244 % |
145.24/145.49 c | 235481 | 8586 55090 186848 | 2147483647 178162 42 | 0.244 % |
145.74/145.91 c | 235975 | 8586 55090 186848 | 2147483647 178656 42 | 0.244 % |
146.14/146.38 c | 236517 | 8586 55090 186848 | 2147483647 179198 42 | 0.244 % |
146.74/146.92 c | 237116 | 8586 55090 186848 | 2147483647 179797 42 | 0.244 % |
147.44/147.61 c | 237771 | 8586 55090 186848 | 2147483647 180452 42 | 0.244 % |
148.04/148.27 c | 238491 | 8586 55090 186848 | 2147483647 181172 42 | 0.244 % |
148.94/149.16 c | 239283 | 8586 55090 186848 | 2147483647 181964 42 | 0.244 % |
149.54/149.79 c | 240155 | 8586 55090 186848 | 2147483647 182836 42 | 0.244 % |
150.54/150.76 c | 241113 | 8586 55090 186848 | 2147483647 183794 42 | 0.244 % |
151.54/151.74 c | 242169 | 8586 55090 186848 | 2147483647 184850 42 | 0.244 % |
152.43/152.62 c | 243327 | 8586 55090 186848 | 2147483647 186008 42 | 0.244 % |
154.03/154.29 c | 244600 | 8586 55090 186848 | 2147483647 187281 42 | 0.244 % |
155.53/155.72 c | 246000 | 8586 55090 186848 | 2147483647 188681 42 | 0.244 % |
157.04/157.29 c | 247540 | 8586 55090 186848 | 2147483647 190221 42 | 0.244 % |
159.24/159.42 c | 249234 | 8586 55090 186848 | 2147483647 191915 42 | 0.244 % |
161.44/161.66 c | 251097 | 8586 55090 186848 | 192683 193778 43 | 0.244 % |
163.73/163.96 c | 253148 | 8586 55090 186848 | 192683 167546 41 | 0.244 % |
165.73/165.97 c | 255403 | 8586 55090 186848 | 192683 169801 41 | 0.244 % |
167.52/167.76 c | 257881 | 8586 55090 186848 | 192683 172279 41 | 0.244 % |
167.62/167.85 c | 257981 | 8586 55090 186848 | 192683 172379 41 | 0.244 % |
167.72/167.95 c | 258091 | 8586 55090 186848 | 192683 172489 41 | 0.244 % |
167.92/168.15 c | 258212 | 8586 55090 186848 | 192683 172610 41 | 0.244 % |
168.12/168.33 c | 258345 | 8586 55090 186848 | 192683 172743 41 | 0.244 % |
168.22/168.47 c | 258491 | 8586 55090 186848 | 192683 172889 41 | 0.244 % |
168.42/168.68 c | 258651 | 8586 55090 186848 | 192683 173049 41 | 0.244 % |
168.62/168.82 c | 258828 | 8586 55090 186848 | 192683 173226 41 | 0.244 % |
168.72/168.98 c | 259022 | 8586 55090 186848 | 192683 173420 41 | 0.244 % |
169.12/169.32 c | 259235 | 8586 55090 186848 | 192683 173633 41 | 0.244 % |
169.32/169.52 c | 259468 | 8586 55090 186848 | 192683 173866 41 | 0.244 % |
169.52/169.73 c | 259724 | 8586 55090 186848 | 192683 174122 41 | 0.244 % |
169.72/169.96 c | 260008 | 8586 55090 186848 | 174400 174406 41 | 0.244 % |
170.02/170.28 c | 260318 | 8586 55090 186848 | 174400 174716 41 | 0.244 % |
170.72/170.98 c | 260658 | 8586 55090 186848 | 174400 150850 39 | 0.244 % |
171.12/171.30 c | 261030 | 8586 55090 186848 | 174400 151222 40 | 0.244 % |
171.52/171.76 c | 261439 | 8586 55090 186848 | 174400 151631 40 | 0.244 % |
171.82/172.09 c | 261888 | 8586 55090 186848 | 174400 152080 40 | 0.244 % |
172.32/172.58 c | 262381 | 8586 55090 186848 | 174400 152573 40 | 0.244 % |
172.82/173.07 c | 262923 | 8586 55090 186848 | 174400 153115 40 | 0.244 % |
173.32/173.56 c | 263520 | 8586 55090 186848 | 174400 153712 40 | 0.244 % |
174.12/174.36 c | 264176 | 8586 55090 186848 | 174400 154368 40 | 0.244 % |
174.72/174.99 c | 264898 | 8586 55090 186848 | 174400 155090 40 | 0.244 % |
175.42/175.64 c | 265691 | 8586 55090 186848 | 174400 155883 40 | 0.244 % |
176.12/176.38 c | 266563 | 8586 55090 186848 | 174400 156755 40 | 0.244 % |
177.52/177.76 c | 267521 | 8586 55090 186848 | 174400 157713 40 | 0.244 % |
178.62/178.82 c | 268574 | 8586 55090 186848 | 174400 158766 40 | 0.244 % |
180.12/180.35 c | 269733 | 8586 55090 186848 | 174400 159925 40 | 0.244 % |
181.42/181.70 c | 271006 | 8586 55090 186848 | 160193 139319 39 | 0.244 % |
182.72/182.93 c | 272408 | 8586 55090 186848 | 160193 140721 39 | 0.244 % |
184.01/184.28 c | 273948 | 8586 55090 186848 | 160193 142261 39 | 0.244 % |
185.72/185.93 c | 275643 | 8586 55090 186848 | 160193 143956 39 | 0.244 % |
187.31/187.51 c | 277506 | 8586 55090 186848 | 160193 145819 39 | 0.244 % |
189.61/189.81 c | 279556 | 8586 55090 186848 | 160193 147869 40 | 0.244 % |
192.01/192.21 c | 281810 | 8586 55090 186848 | 2147483647 150123 40 | 0.244 % |
194.11/194.30 c | 284288 | 8586 55090 186848 | 2147483647 152601 40 | 0.244 % |
197.21/197.47 c | 287015 | 8586 55090 186848 | 2147483647 155328 40 | 0.244 % |
197.41/197.65 c | 287118 | 8586 55090 186848 | 2147483647 155431 40 | 0.244 % |
197.51/197.78 c | 287228 | 8586 55090 186848 | 2147483647 155541 40 | 0.244 % |
197.61/197.88 c | 287350 | 8586 55090 186848 | 2147483647 155663 40 | 0.244 % |
197.71/198.00 c | 287483 | 8586 55090 186848 | 2147483647 155796 40 | 0.244 % |
197.91/198.13 c | 287630 | 8586 55090 186848 | 2147483647 155943 40 | 0.244 % |
198.01/198.28 c | 287790 | 8586 55090 186848 | 2147483647 156103 40 | 0.244 % |
198.21/198.44 c | 287966 | 8586 55090 186848 | 2147483647 156279 40 | 0.244 % |
198.41/198.61 c | 288161 | 8586 55090 186848 | 2147483647 156474 40 | 0.244 % |
198.61/198.81 c | 288376 | 8586 55090 186848 | 2147483647 156689 40 | 0.244 % |
198.81/199.03 c | 288609 | 8586 55090 186848 | 2147483647 156922 40 | 0.244 % |
198.91/199.18 c | 288865 | 8586 55090 186848 | 2147483647 157178 40 | 0.244 % |
199.01/199.28 c | 289146 | 8586 55090 186848 | 2147483647 157459 40 | 0.244 % |
199.11/199.38 c | 289455 | 8586 55090 186848 | 2147483647 157768 40 | 0.244 % |
199.51/199.80 c | 289794 | 8586 55090 186848 | 2147483647 158107 40 | 0.244 % |
199.91/200.13 c | 290167 | 8586 55090 186848 | 2147483647 158480 40 | 0.244 % |
200.21/200.50 c | 290577 | 8586 55090 186848 | 2147483647 158890 40 | 0.244 % |
200.81/201.01 c | 291026 | 8586 55090 186848 | 2147483647 159339 40 | 0.244 % |
201.31/201.54 c | 291519 | 8586 55090 186848 | 2147483647 159832 40 | 0.244 % |
201.71/201.95 c | 292061 | 8586 55090 186848 | 2147483647 160374 41 | 0.244 % |
202.11/202.31 c | 292660 | 8586 55090 186848 | 2147483647 160973 40 | 0.244 % |
202.21/202.48 c | 293315 | 8586 55090 186848 | 2147483647 161628 40 | 0.244 % |
202.41/202.67 c | 294035 | 8586 55090 186848 | 2147483647 162348 40 | 0.244 % |
203.51/203.75 c | 294828 | 8586 55090 186848 | 2147483647 163141 40 | 0.244 % |
204.31/204.55 c | 295699 | 8586 55090 186848 | 2147483647 164012 40 | 0.244 % |
205.21/205.43 c | 296658 | 8586 55090 186848 | 2147483647 164971 41 | 0.244 % |
206.20/206.43 c | 297711 | 8586 55090 186848 | 2147483647 166024 41 | 0.244 % |
207.10/207.39 c | 298871 | 8586 55090 186848 | 2147483647 167184 41 | 0.244 % |
208.81/209.04 c | 300144 | 8586 55090 186848 | 2147483647 168457 41 | 0.244 % |
210.30/210.56 c | 301545 | 8586 55090 186848 | 2147483647 169858 41 | 0.244 % |
212.10/212.37 c | 303086 | 8586 55090 186848 | 2147483647 171399 41 | 0.244 % |
214.10/214.30 c | 304780 | 8586 55090 186848 | 2147483647 173093 41 | 0.244 % |
215.80/216.00 c | 306643 | 8586 55090 186848 | 2147483647 174956 41 | 0.244 % |
217.29/217.59 c | 308694 | 8586 55090 186848 | 2147483647 177007 41 | 0.244 % |
219.80/220.03 c | 310947 | 8586 55090 186848 | 178315 155722 40 | 0.244 % |
222.09/222.33 c | 313427 | 8586 55090 186848 | 178315 158202 40 | 0.244 % |
224.29/224.53 c | 316153 | 8586 55090 186848 | 178315 160928 40 | 0.244 % |
226.59/226.88 c | 319150 | 8586 55090 186848 | 178315 163925 40 | 0.244 % |
226.69/226.98 c | 319252 | 8586 55090 186848 | 178315 164027 40 | 0.244 % |
226.79/227.08 c | 319363 | 8586 55090 186848 | 178315 164138 40 | 0.244 % |
226.89/227.18 c | 319484 | 8586 55090 186848 | 178315 164259 40 | 0.244 % |
226.99/227.29 c | 319617 | 8586 55090 186848 | 178315 164392 40 | 0.244 % |
227.09/227.37 c | 319763 | 8586 55090 186848 | 178315 164538 40 | 0.244 % |
227.19/227.42 c | 319924 | 8586 55090 186848 | 178315 164699 40 | 0.244 % |
227.29/227.50 c | 320100 | 8586 55090 186848 | 2147483647 164875 40 | 0.244 % |
227.29/227.58 c | 320295 | 8586 55090 186848 | 2147483647 165070 40 | 0.244 % |
227.49/227.77 c | 320507 | 8586 55090 186848 | 2147483647 165282 40 | 0.244 % |
227.89/228.14 c | 320741 | 8586 55090 186848 | 2147483647 165516 40 | 0.244 % |
228.19/228.43 c | 320997 | 8586 55090 186848 | 2147483647 165772 40 | 0.244 % |
228.49/228.79 c | 321278 | 8586 55090 186848 | 2147483647 166053 40 | 0.244 % |
228.99/229.21 c | 321588 | 8586 55090 186848 | 2147483647 166363 40 | 0.244 % |
229.29/229.57 c | 321927 | 8586 55090 186848 | 2147483647 166702 40 | 0.244 % |
229.69/229.99 c | 322300 | 8586 55090 186848 | 2147483647 167075 40 | 0.244 % |
230.19/230.46 c | 322709 | 8586 55090 186848 | 2147483647 167484 40 | 0.244 % |
230.69/230.90 c | 323158 | 8586 55090 186848 | 2147483647 167933 40 | 0.244 % |
230.89/231.19 c | 323651 | 8586 55090 186848 | 2147483647 168426 40 | 0.244 % |
231.19/231.41 c | 324193 | 8586 55090 186848 | 2147483647 168968 40 | 0.244 % |
231.39/231.62 c | 324790 | 8586 55090 186848 | 2147483647 169565 40 | 0.244 % |
231.89/232.10 c | 325447 | 8586 55090 186848 | 2147483647 170222 40 | 0.244 % |
232.49/232.71 c | 326168 | 8586 55090 186848 | 2147483647 170943 40 | 0.244 % |
233.09/233.38 c | 326960 | 8586 55090 186848 | 2147483647 171735 40 | 0.244 % |
233.99/234.24 c | 327832 | 8586 55090 186848 | 2147483647 172607 40 | 0.244 % |
235.19/235.42 c | 328790 | 8586 55090 186848 | 2147483647 173565 40 | 0.244 % |
235.79/236.05 c | 329843 | 8586 55090 186848 | 2147483647 174618 40 | 0.244 % |
236.19/236.42 c | 331001 | 8586 55090 186848 | 2147483647 175776 40 | 0.244 % |
237.79/238.06 c | 332274 | 8586 55090 186848 | 2147483647 177049 40 | 0.244 % |
239.29/239.55 c | 333674 | 8586 55090 186848 | 2147483647 178449 40 | 0.244 % |
240.59/240.89 c | 335214 | 8586 55090 186848 | 2147483647 179989 40 | 0.244 % |
242.49/242.75 c | 336908 | 8586 55090 186848 | 2147483647 181683 40 | 0.244 % |
245.18/245.47 c | 338771 | 8586 55090 186848 | 2147483647 183546 41 | 0.244 % |
247.29/247.59 c | 340820 | 8586 55090 186848 | 2147483647 185595 41 | 0.244 % |
249.39/249.61 c | 343073 | 8586 55090 186848 | 2147483647 187848 41 | 0.244 % |
252.18/252.42 c | 345552 | 8586 55090 186848 | 2147483647 190327 41 | 0.244 % |
255.58/255.85 c | 348277 | 8586 55090 186848 | 2147483647 193052 42 | 0.244 % |
256.77/257.04 c | 351275 | 8586 55090 186848 | 2147483647 196050 41 | 0.244 % |
261.37/261.63 c | 354571 | 8586 55090 186848 | 2147483647 199346 42 | 0.244 % |
261.58/261.84 c | 354671 | 8586 55090 186848 | 2147483647 199446 42 | 0.244 % |
261.77/262.04 c | 354783 | 8586 55090 186848 | 2147483647 199558 42 | 0.244 % |
261.87/262.15 c | 354905 | 8586 55090 186848 | 2147483647 199680 42 | 0.244 % |
262.07/262.37 c | 355039 | 8586 55090 186848 | 2147483647 199814 42 | 0.244 % |
262.27/262.59 c | 355185 | 8586 55090 186848 | 2147483647 199960 42 | 0.244 % |
262.47/262.78 c | 355346 | 8586 55090 186848 | 2147483647 200121 42 | 0.244 % |
262.68/262.96 c | 355523 | 8586 55090 186848 | 2147483647 200298 42 | 0.244 % |
263.07/263.31 c | 355717 | 8586 55090 186848 | 2147483647 200492 42 | 0.244 % |
263.37/263.60 c | 355930 | 8586 55090 186848 | 2147483647 200705 42 | 0.244 % |
263.47/263.76 c | 356163 | 8586 55090 186848 | 2147483647 200938 42 | 0.244 % |
263.87/264.10 c | 356419 | 8586 55090 186848 | 2147483647 201194 42 | 0.244 % |
263.87/264.18 c | 356702 | 8586 55090 186848 | 2147483647 201477 42 | 0.244 % |
264.27/264.52 c | 357011 | 8586 55090 186848 | 2147483647 201786 42 | 0.244 % |
264.77/265.06 c | 357350 | 8586 55090 186848 | 2147483647 202125 42 | 0.244 % |
265.17/265.45 c | 357722 | 8586 55090 186848 | 2147483647 202497 42 | 0.244 % |
265.57/265.86 c | 358133 | 8586 55090 186848 | 2147483647 202908 42 | 0.244 % |
265.97/266.24 c | 358583 | 8586 55090 186848 | 2147483647 203358 42 | 0.244 % |
266.67/266.93 c | 359076 | 8586 55090 186848 | 2147483647 203851 42 | 0.244 % |
267.07/267.39 c | 359619 | 8586 55090 186848 | 2147483647 204394 42 | 0.244 % |
267.57/267.83 c | 360216 | 8586 55090 186848 | 204775 204991 42 | 0.244 % |
268.57/268.81 c | 360871 | 8586 55090 186848 | 204775 168118 41 | 0.244 % |
269.57/269.86 c | 361591 | 8586 55090 186848 | 204775 168838 41 | 0.244 % |
270.27/270.55 c | 362383 | 8586 55090 186848 | 204775 169630 41 | 0.244 % |
270.97/271.23 c | 363254 | 8586 55090 186848 | 204775 170501 41 | 0.244 % |
271.67/271.99 c | 364215 | 8586 55090 186848 | 204775 171462 41 | 0.244 % |
272.77/273.01 c | 365268 | 8586 55090 186848 | 204775 172515 41 | 0.244 % |
273.57/273.90 c | 366427 | 8586 55090 186848 | 204775 173674 41 | 0.244 % |
274.37/274.64 c | 367700 | 8586 55090 186848 | 204775 174947 41 | 0.244 % |
275.87/276.17 c | 369101 | 8586 55090 186848 | 204775 176348 41 | 0.244 % |
277.47/277.70 c | 370642 | 8586 55090 186848 | 2147483647 177889 41 | 0.244 % |
278.87/279.12 c | 372336 | 8586 55090 186848 | 2147483647 179583 41 | 0.244 % |
280.27/280.50 c | 374199 | 8586 55090 186848 | 2147483647 181446 41 | 0.244 % |
282.56/282.84 c | 376248 | 8586 55090 186848 | 2147483647 183495 41 | 0.244 % |
284.46/284.73 c | 378502 | 8586 55090 186848 | 2147483647 185749 41 | 0.244 % |
287.36/287.67 c | 380982 | 8586 55090 186848 | 187249 169414 41 | 0.244 % |
288.36/288.69 c | 383709 | 8586 55090 186848 | 187249 172141 40 | 0.244 % |
292.27/292.57 c | 386706 | 8586 55090 186848 | 187249 175138 41 | 0.244 % |
296.16/296.48 c | 390004 | 8586 55090 186848 | 178432 178436 41 | 0.244 % |
300.75/301.02 c | 393630 | 8586 55090 186848 | 178432 162362 41 | 0.244 % |
300.85/301.16 c | 393731 | 8586 55090 186848 | 178432 162463 41 | 0.244 % |
300.95/301.28 c | 393842 | 8586 55090 186848 | 178432 162574 41 | 0.244 % |
301.06/301.39 c | 393963 | 8586 55090 186848 | 178432 162695 41 | 0.244 % |
301.25/301.55 c | 394097 | 8586 55090 186848 | 178432 162829 41 | 0.244 % |
301.45/301.73 c | 394243 | 8586 55090 186848 | 178432 162975 41 | 0.244 % |
301.55/301.82 c | 394403 | 8586 55090 186848 | 178432 163135 41 | 0.244 % |
301.75/302.03 c | 394579 | 8586 55090 186848 | 178432 163311 41 | 0.244 % |
301.95/302.22 c | 394773 | 8586 55090 186848 | 178432 163505 41 | 0.244 % |
302.05/302.35 c | 394985 | 8586 55090 186848 | 178432 163717 41 | 0.244 % |
302.35/302.63 c | 395220 | 8586 55090 186848 | 178432 163952 41 | 0.244 % |
302.65/302.91 c | 395478 | 8586 55090 186848 | 178432 164210 41 | 0.244 % |
302.95/303.24 c | 395760 | 8586 55090 186848 | 178432 164492 41 | 0.244 % |
303.25/303.53 c | 396070 | 8586 55090 186848 | 178432 164802 41 | 0.244 % |
303.75/304.00 c | 396410 | 8586 55090 186848 | 178432 165142 41 | 0.244 % |
304.15/304.48 c | 396782 | 8586 55090 186848 | 178432 165514 41 | 0.244 % |
304.45/304.76 c | 397191 | 8586 55090 186848 | 178432 165923 41 | 0.244 % |
304.95/305.25 c | 397642 | 8586 55090 186848 | 178432 166374 41 | 0.244 % |
305.45/305.72 c | 398136 | 8586 55090 186848 | 178432 166868 41 | 0.244 % |
305.95/306.27 c | 398679 | 8586 55090 186848 | 178432 167411 41 | 0.244 % |
306.55/306.82 c | 399276 | 8586 55090 186848 | 178432 168008 41 | 0.244 % |
307.25/307.52 c | 399931 | 8586 55090 186848 | 178432 168663 41 | 0.244 % |
308.15/308.42 c | 400651 | 8586 55090 186848 | 2147483647 169383 41 | 0.244 % |
308.75/309.03 c | 401444 | 8586 55090 186848 | 2147483647 170176 41 | 0.244 % |
309.55/309.86 c | 402316 | 8586 55090 186848 | 2147483647 171048 41 | 0.244 % |
310.65/310.96 c | 403274 | 8586 55090 186848 | 2147483647 172006 41 | 0.244 % |
311.65/311.94 c | 404327 | 8586 55090 186848 | 2147483647 173059 41 | 0.244 % |
312.65/312.94 c | 405488 | 8586 55090 186848 | 2147483647 174220 41 | 0.244 % |
313.65/313.95 c | 406762 | 8586 55090 186848 | 2147483647 175494 41 | 0.244 % |
315.15/315.48 c | 408162 | 8586 55090 186848 | 2147483647 176894 41 | 0.244 % |
316.64/316.95 c | 409702 | 8586 55090 186848 | 2147483647 178434 41 | 0.244 % |
318.24/318.53 c | 411397 | 8586 55090 186848 | 2147483647 180129 41 | 0.244 % |
320.04/320.34 c | 413261 | 8586 55090 186848 | 2147483647 181993 41 | 0.244 % |
322.34/322.66 c | 415310 | 8586 55090 186848 | 2147483647 184042 41 | 0.244 % |
324.94/325.22 c | 417566 | 8586 55090 186848 | 2147483647 186298 41 | 0.244 % |
327.64/327.93 c | 420045 | 8586 55090 186848 | 2147483647 188777 42 | 0.244 % |
331.64/331.90 c | 422772 | 8586 55090 186848 | 2147483647 191504 42 | 0.244 % |
334.34/334.69 c | 425771 | 8586 55090 186848 | 2147483647 194503 42 | 0.244 % |
337.14/337.44 c | 429069 | 8586 55090 186848 | 2147483647 197801 42 | 0.244 % |
341.74/342.03 c | 432694 | 8586 55090 186848 | 2147483647 201426 42 | 0.244 % |
346.13/346.49 c | 436682 | 8586 55090 186848 | 2147483647 205414 42 | 0.244 % |
346.23/346.59 c | 436782 | 8586 55090 186848 | 2147483647 205514 42 | 0.244 % |
346.42/346.73 c | 436893 | 8586 55090 186848 | 2147483647 205625 42 | 0.244 % |
346.72/347.01 c | 437014 | 8586 55090 186848 | 2147483647 205746 42 | 0.244 % |
346.92/347.24 c | 437147 | 8586 55090 186848 | 2147483647 205879 42 | 0.244 % |
347.02/347.32 c | 437294 | 8586 55090 186848 | 2147483647 206026 42 | 0.244 % |
347.02/347.39 c | 437454 | 8586 55090 186848 | 2147483647 206186 42 | 0.244 % |
347.33/347.65 c | 437631 | 8586 55090 186848 | 2147483647 206363 42 | 0.244 % |
347.43/347.74 c | 437825 | 8586 55090 186848 | 2147483647 206557 42 | 0.244 % |
347.62/347.95 c | 438039 | 8586 55090 186848 | 2147483647 206771 42 | 0.244 % |
348.12/348.42 c | 438273 | 8586 55090 186848 | 2147483647 207005 42 | 0.244 % |
348.43/348.71 c | 438529 | 8586 55090 186848 | 2147483647 207261 42 | 0.244 % |
348.72/349.06 c | 438810 | 8586 55090 186848 | 2147483647 207542 42 | 0.244 % |
349.02/349.34 c | 439119 | 8586 55090 186848 | 2147483647 207851 42 | 0.244 % |
349.62/349.92 c | 439461 | 8586 55090 186848 | 2147483647 208193 42 | 0.244 % |
350.03/350.36 c | 439833 | 8586 55090 186848 | 2147483647 208565 42 | 0.244 % |
350.43/350.71 c | 440242 | 8586 55090 186848 | 208732 208974 42 | 0.244 % |
351.23/351.51 c | 440693 | 8586 55090 186848 | 208732 188528 41 | 0.244 % |
351.74/352.05 c | 441188 | 8586 55090 186848 | 208732 189023 41 | 0.244 % |
352.33/352.68 c | 441730 | 8586 55090 186848 | 208732 189565 41 | 0.244 % |
353.13/353.42 c | 442326 | 8586 55090 186848 | 208732 190161 41 | 0.244 % |
353.83/354.14 c | 442981 | 8586 55090 186848 | 208732 190816 41 | 0.244 % |
354.43/354.78 c | 443703 | 8586 55090 186848 | 208732 191538 41 | 0.244 % |
355.43/355.73 c | 444496 | 8586 55090 186848 | 208732 192331 41 | 0.244 % |
356.43/356.75 c | 445367 | 8586 55090 186848 | 208732 193202 41 | 0.244 % |
357.53/357.86 c | 446325 | 8586 55090 186848 | 208732 194160 41 | 0.244 % |
358.33/358.62 c | 447379 | 8586 55090 186848 | 208732 195214 41 | 0.244 % |
359.23/359.59 c | 448537 | 8586 55090 186848 | 208732 196372 41 | 0.244 % |
361.53/361.80 c | 449810 | 8586 55090 186848 | 208732 197645 41 | 0.244 % |
363.13/363.40 c | 451212 | 8586 55090 186848 | 197835 199047 41 | 0.244 % |
365.03/365.32 c | 452752 | 8586 55090 186848 | 197835 175118 40 | 0.244 % |
367.33/367.68 c | 454446 | 8586 55090 186848 | 197835 176812 41 | 0.244 % |
369.33/369.61 c | 456310 | 8586 55090 186848 | 197835 178676 41 | 0.244 % |
370.82/371.13 c | 458360 | 8586 55090 186848 | 197835 180726 41 | 0.244 % |
372.92/373.25 c | 460615 | 8586 55090 186848 | 182367 162530 39 | 0.244 % |
374.52/374.80 c | 463093 | 8586 55090 186848 | 182367 165008 39 | 0.244 % |
377.22/377.51 c | 465818 | 8586 55090 186848 | 182367 167733 39 | 0.244 % |
380.32/380.67 c | 468815 | 8586 55090 186848 | 182367 170730 40 | 0.244 % |
382.82/383.18 c | 472111 | 8586 55090 186848 | 171915 155295 38 | 0.244 % |
386.32/386.61 c | 475737 | 8586 55090 186848 | 171915 158921 39 | 0.244 % |
391.41/391.76 c | 479725 | 8586 55090 186848 | 171915 162909 39 | 0.244 % |
394.81/395.17 c | 484113 | 8586 55090 186848 | 163184 167297 40 | 0.244 % |
395.51/395.86 c | 484214 | 8586 55090 186848 | 163184 133572 38 | 0.244 % |
395.61/395.93 c | 484324 | 8586 55090 186848 | 163184 133682 38 | 0.244 % |
395.71/396.03 c | 484445 | 8586 55090 186848 | 163184 133803 38 | 0.244 % |
395.81/396.19 c | 484578 | 8586 55090 186848 | 163184 133936 38 | 0.244 % |
395.91/396.30 c | 484727 | 8586 55090 186848 | 163184 134085 38 | 0.244 % |
396.01/396.37 c | 484887 | 8586 55090 186848 | 163184 134245 38 | 0.244 % |
396.11/396.46 c | 485064 | 8586 55090 186848 | 163184 134422 38 | 0.244 % |
396.41/396.71 c | 485258 | 8586 55090 186848 | 163184 134616 38 | 0.244 % |
396.61/396.90 c | 485470 | 8586 55090 186848 | 163184 134828 38 | 0.244 % |
396.81/397.13 c | 485704 | 8586 55090 186848 | 163184 135062 38 | 0.244 % |
397.00/397.33 c | 485960 | 8586 55090 186848 | 163184 135318 38 | 0.244 % |
397.20/397.52 c | 486241 | 8586 55090 186848 | 163184 135599 38 | 0.244 % |
397.40/397.71 c | 486550 | 8586 55090 186848 | 163184 135908 38 | 0.244 % |
397.70/398.00 c | 486889 | 8586 55090 186848 | 163184 136247 38 | 0.244 % |
397.81/398.13 c | 487264 | 8586 55090 186848 | 163184 136622 38 | 0.244 % |
397.91/398.24 c | 487674 | 8586 55090 186848 | 163184 137032 38 | 0.244 % |
398.01/398.33 c | 488124 | 8586 55090 186848 | 163184 137482 38 | 0.244 % |
398.11/398.44 c | 488617 | 8586 55090 186848 | 163184 137975 37 | 0.244 % |
398.31/398.62 c | 489160 | 8586 55090 186848 | 163184 138518 37 | 0.244 % |
399.10/399.40 c | 489756 | 8586 55090 186848 | 163184 139114 37 | 0.244 % |
399.40/399.71 c | 490411 | 8586 55090 186848 | 2147483647 139769 38 | 0.244 % |
400.01/400.39 c | 491131 | 8586 55090 186848 | 2147483647 140489 38 | 0.244 % |
400.70/401.04 c | 491923 | 8586 55090 186848 | 2147483647 141281 38 | 0.244 % |
401.30/401.61 c | 492795 | 8586 55090 186848 | 2147483647 142153 37 | 0.244 % |
402.21/402.51 c | 493753 | 8586 55090 186848 | 2147483647 143111 38 | 0.244 % |
402.40/402.75 c | 494806 | 8586 55090 186848 | 2147483647 144164 37 | 0.244 % |
403.10/403.46 c | 495967 | 8586 55090 186848 | 2147483647 145325 37 | 0.244 % |
404.51/404.81 c | 497240 | 8586 55090 186848 | 2147483647 146598 37 | 0.244 % |
405.51/405.89 c | 498640 | 8586 55090 186848 | 2147483647 147998 37 | 0.244 % |
407.50/407.85 c | 500180 | 8586 55090 186848 | 2147483647 149538 38 | 0.244 % |
408.90/409.27 c | 501875 | 8586 55090 186848 | 2147483647 151233 38 | 0.244 % |
410.60/410.95 c | 503738 | 8586 55090 186848 | 2147483647 153096 38 | 0.244 % |
413.00/413.33 c | 505788 | 8586 55090 186848 | 2147483647 155146 38 | 0.244 % |
415.50/415.83 c | 508042 | 8586 55090 186848 | 2147483647 157400 38 | 0.244 % |
418.40/418.70 c | 510520 | 8586 55090 186848 | 2147483647 159878 39 | 0.244 % |
420.90/421.28 c | 513249 | 8586 55090 186848 | 2147483647 162607 39 | 0.244 % |
423.39/423.71 c | 516248 | 8586 55090 186848 | 2147483647 165606 39 | 0.244 % |
425.69/426.08 c | 519544 | 8586 55090 186848 | 2147483647 168902 39 | 0.244 % |
429.39/429.73 c | 523170 | 8586 55090 186848 | 169358 172528 39 | 0.244 % |
433.99/434.40 c | 527157 | 8586 55090 186848 | 169358 157444 39 | 0.244 % |
438.39/438.77 c | 531542 | 8586 55090 186848 | 160287 161829 39 | 0.244 % |
444.39/444.76 c | 536366 | 8586 55090 186848 | 160287 150471 39 | 0.244 % |
444.48/444.85 c | 536466 | 8586 55090 186848 | 160287 150571 39 | 0.244 % |
444.58/444.95 c | 536577 | 8586 55090 186848 | 160287 150682 39 | 0.244 % |
444.78/445.12 c | 536698 | 8586 55090 186848 | 160287 150803 39 | 0.244 % |
444.88/445.26 c | 536831 | 8586 55090 186848 | 160287 150936 39 | 0.244 % |
444.98/445.40 c | 536978 | 8586 55090 186848 | 160287 151083 39 | 0.244 % |
445.19/445.52 c | 537138 | 8586 55090 186848 | 160287 151243 39 | 0.244 % |
445.28/445.67 c | 537314 | 8586 55090 186848 | 160287 151419 39 | 0.244 % |
445.48/445.83 c | 537507 | 8586 55090 186848 | 160287 151612 39 | 0.244 % |
445.78/446.13 c | 537720 | 8586 55090 186848 | 160287 151825 39 | 0.244 % |
445.98/446.36 c | 537953 | 8586 55090 186848 | 160287 152058 39 | 0.244 % |
446.28/446.61 c | 538209 | 8586 55090 186848 | 160287 152314 39 | 0.244 % |
446.38/446.77 c | 538491 | 8586 55090 186848 | 160287 152596 39 | 0.244 % |
446.58/446.99 c | 538802 | 8586 55090 186848 | 160287 152907 39 | 0.244 % |
446.98/447.31 c | 539142 | 8586 55090 186848 | 160287 153247 39 | 0.244 % |
447.28/447.65 c | 539514 | 8586 55090 186848 | 160287 153619 39 | 0.244 % |
447.88/448.23 c | 539923 | 8586 55090 186848 | 160287 154028 39 | 0.244 % |
448.18/448.59 c | 540375 | 8586 55090 186848 | 154107 154480 39 | 0.244 % |
448.98/449.30 c | 540868 | 8586 55090 186848 | 154107 138646 39 | 0.244 % |
449.48/449.81 c | 541413 | 8586 55090 186848 | 154107 139191 39 | 0.244 % |
449.98/450.34 c | 542009 | 8586 55090 186848 | 154107 139787 39 | 0.244 % |
450.68/451.01 c | 542664 | 8586 55090 186848 | 154107 140442 39 | 0.244 % |
451.18/451.55 c | 543385 | 8586 55090 186848 | 154107 141163 39 | 0.244 % |
452.08/452.41 c | 544177 | 8586 55090 186848 | 154107 141955 39 | 0.244 % |
452.78/453.13 c | 545049 | 8586 55090 186848 | 154107 142827 39 | 0.244 % |
453.68/454.10 c | 546008 | 8586 55090 186848 | 154107 143786 39 | 0.244 % |
454.88/455.25 c | 547062 | 8586 55090 186848 | 154107 144840 39 | 0.244 % |
456.18/456.59 c | 548220 | 8586 55090 186848 | 154107 145998 39 | 0.244 % |
457.28/457.61 c | 549493 | 8586 55090 186848 | 154107 147271 39 | 0.244 % |
458.47/458.83 c | 550894 | 8586 55090 186848 | 2147483647 148672 39 | 0.244 % |
459.67/460.08 c | 552435 | 8586 55090 186848 | 2147483647 150213 40 | 0.244 % |
461.47/461.82 c | 554129 | 8586 55090 186848 | 2147483647 151907 40 | 0.244 % |
463.17/463.59 c | 555993 | 8586 55090 186848 | 2147483647 153771 40 | 0.244 % |
464.97/465.33 c | 558042 | 8586 55090 186848 | 2147483647 155820 40 | 0.244 % |
467.27/467.67 c | 560296 | 8586 55090 186848 | 2147483647 158074 40 | 0.244 % |
470.37/470.75 c | 562774 | 8586 55090 186848 | 2147483647 160552 40 | 0.244 % |
473.57/473.99 c | 565499 | 8586 55090 186848 | 2147483647 163277 41 | 0.244 % |
476.17/476.55 c | 568496 | 8586 55090 186848 | 2147483647 166274 40 | 0.244 % |
479.57/479.92 c | 571792 | 8586 55090 186848 | 167779 142476 39 | 0.244 % |
483.36/483.79 c | 575417 | 8586 55090 186848 | 167779 146101 40 | 0.244 % |
486.06/486.44 c | 579404 | 8586 55090 186848 | 167779 150088 40 | 0.244 % |
489.16/489.59 c | 583789 | 8586 55090 186848 | 2147483647 154473 40 | 0.244 % |
493.25/493.61 c | 588612 | 8586 55090 186848 | 2147483647 159296 40 | 0.244 % |
498.55/498.95 c | 593917 | 8586 55090 186848 | 2147483647 164601 41 | 0.244 % |
498.65/499.08 c | 594017 | 8586 55090 186848 | 2147483647 164701 41 | 0.244 % |
498.95/499.31 c | 594128 | 8586 55090 186848 | 2147483647 164812 41 | 0.244 % |
499.05/499.45 c | 594250 | 8586 55090 186848 | 2147483647 164934 41 | 0.244 % |
499.15/499.59 c | 594383 | 8586 55090 186848 | 2147483647 165067 41 | 0.244 % |
499.45/499.81 c | 594529 | 8586 55090 186848 | 2147483647 165213 41 | 0.244 % |
499.65/500.03 c | 594689 | 8586 55090 186848 | 2147483647 165373 41 | 0.244 % |
499.85/500.22 c | 594866 | 8586 55090 186848 | 2147483647 165550 41 | 0.244 % |
500.05/500.41 c | 595060 | 8586 55090 186848 | 2147483647 165744 41 | 0.244 % |
500.25/500.70 c | 595272 | 8586 55090 186848 | 2147483647 165956 41 | 0.244 % |
500.55/500.97 c | 595505 | 8586 55090 186848 | 2147483647 166189 41 | 0.244 % |
501.05/501.40 c | 595762 | 8586 55090 186848 | 2147483647 166446 41 | 0.244 % |
501.25/501.69 c | 596043 | 8586 55090 186848 | 2147483647 166727 41 | 0.244 % |
501.75/502.10 c | 596352 | 8586 55090 186848 | 2147483647 167036 41 | 0.244 % |
502.05/502.45 c | 596692 | 8586 55090 186848 | 2147483647 167376 41 | 0.244 % |
502.45/502.83 c | 597064 | 8586 55090 186848 | 2147483647 167748 41 | 0.244 % |
502.75/503.10 c | 597474 | 8586 55090 186848 | 2147483647 168158 41 | 0.244 % |
502.85/503.25 c | 597923 | 8586 55090 186848 | 2147483647 168607 41 | 0.244 % |
502.95/503.38 c | 598419 | 8586 55090 186848 | 2147483647 169103 41 | 0.244 % |
503.35/503.73 c | 598962 | 8586 55090 186848 | 2147483647 169646 41 | 0.244 % |
504.25/504.62 c | 599558 | 8586 55090 186848 | 2147483647 170242 41 | 0.244 % |
504.95/505.36 c | 600213 | 8586 55090 186848 | 170684 170897 41 | 0.244 % |
505.95/506.34 c | 600934 | 8586 55090 186848 | 170684 150261 40 | 0.244 % |
506.65/507.01 c | 601726 | 8586 55090 186848 | 170684 151053 40 | 0.244 % |
506.94/507.36 c | 602597 | 8586 55090 186848 | 170684 151924 40 | 0.244 % |
508.24/508.69 c | 603555 | 8586 55090 186848 | 170684 152882 40 | 0.244 % |
509.54/509.96 c | 604608 | 8586 55090 186848 | 170684 153935 40 | 0.244 % |
510.44/510.83 c | 605769 | 8586 55090 186848 | 170684 155096 40 | 0.244 % |
511.44/511.81 c | 607043 | 8586 55090 186848 | 170684 156370 40 | 0.244 % |
513.14/513.51 c | 608444 | 8586 55090 186848 | 170684 157771 40 | 0.244 % |
514.54/515.00 c | 609984 | 8586 55090 186848 | 170684 159311 40 | 0.244 % |
516.14/516.55 c | 611678 | 8586 55090 186848 | 2147483647 161005 40 | 0.244 % |
518.24/518.61 c | 613541 | 8586 55090 186848 | 2147483647 162868 40 | 0.244 % |
520.54/520.97 c | 615591 | 8586 55090 186848 | 2147483647 164918 40 | 0.244 % |
523.34/523.76 c | 617844 | 8586 55090 186848 | 2147483647 167171 41 | 0.244 % |
525.34/525.71 c | 620322 | 8586 55090 186848 | 169328 169649 41 | 0.244 % |
527.83/528.27 c | 623047 | 8586 55090 186848 | 169328 146406 39 | 0.244 % |
531.03/531.47 c | 626045 | 8586 55090 186848 | 169328 149404 40 | 0.244 % |
533.83/534.29 c | 629343 | 8586 55090 186848 | 169328 152702 40 | 0.244 % |
537.43/537.81 c | 632969 | 8586 55090 186848 | 153359 156328 41 | 0.244 % |
541.23/541.66 c | 636958 | 8586 55090 186848 | 153359 143809 38 | 0.244 % |
545.42/545.82 c | 641344 | 8586 55090 186848 | 2147483647 148195 38 | 0.244 % |
550.32/550.79 c | 646168 | 8586 55090 186848 | 2147483647 153019 39 | 0.244 % |
554.42/554.81 c | 651474 | 8586 55090 186848 | 2147483647 158325 39 | 0.244 % |
561.22/561.67 c | 657311 | 8586 55090 186848 | 2147483647 164162 40 | 0.244 % |
561.42/561.80 c | 657412 | 8586 55090 186848 | 2147483647 164263 40 | 0.244 % |
561.42/561.89 c | 657524 | 8586 55090 186848 | 2147483647 164375 40 | 0.244 % |
561.72/562.17 c | 657645 | 8586 55090 186848 | 2147483647 164496 40 | 0.244 % |
561.82/562.30 c | 657778 | 8586 55090 186848 | 2147483647 164629 40 | 0.244 % |
562.02/562.40 c | 657924 | 8586 55090 186848 | 2147483647 164775 40 | 0.244 % |
562.22/562.60 c | 658086 | 8586 55090 186848 | 2147483647 164937 40 | 0.244 % |
562.42/562.88 c | 658262 | 8586 55090 186848 | 2147483647 165113 40 | 0.244 % |
562.62/563.04 c | 658456 | 8586 55090 186848 | 2147483647 165307 40 | 0.244 % |
562.82/563.24 c | 658669 | 8586 55090 186848 | 2147483647 165520 40 | 0.244 % |
563.02/563.49 c | 658903 | 8586 55090 186848 | 2147483647 165754 40 | 0.244 % |
563.32/563.71 c | 659162 | 8586 55090 186848 | 2147483647 166013 40 | 0.244 % |
563.52/563.91 c | 659446 | 8586 55090 186848 | 2147483647 166297 40 | 0.244 % |
563.72/564.16 c | 659755 | 8586 55090 186848 | 2147483647 166606 40 | 0.244 % |
564.02/564.46 c | 660095 | 8586 55090 186848 | 2147483647 166946 40 | 0.244 % |
564.42/564.83 c | 660467 | 8586 55090 186848 | 2147483647 167318 40 | 0.244 % |
564.92/565.31 c | 660876 | 8586 55090 186848 | 2147483647 167727 40 | 0.244 % |
565.31/565.77 c | 661326 | 8586 55090 186848 | 2147483647 168177 40 | 0.244 % |
565.81/566.29 c | 661821 | 8586 55090 186848 | 2147483647 168672 40 | 0.244 % |
566.41/566.88 c | 662364 | 8586 55090 186848 | 2147483647 169215 40 | 0.244 % |
567.31/567.72 c | 662963 | 8586 55090 186848 | 2147483647 169814 40 | 0.244 % |
567.91/568.37 c | 663618 | 8586 55090 186848 | 2147483647 170469 40 | 0.244 % |
568.51/568.93 c | 664339 | 8586 55090 186848 | 2147483647 171190 40 | 0.244 % |
569.51/569.99 c | 665132 | 8586 55090 186848 | 2147483647 171983 40 | 0.244 % |
570.31/570.74 c | 666003 | 8586 55090 186848 | 2147483647 172854 40 | 0.244 % |
571.51/571.99 c | 666961 | 8586 55090 186848 | 2147483647 173812 40 | 0.244 % |
572.50/573.00 c | 668014 | 8586 55090 186848 | 2147483647 174865 40 | 0.244 % |
573.90/574.38 c | 669173 | 8586 55090 186848 | 2147483647 176024 40 | 0.244 % |
574.91/575.39 c | 670446 | 8586 55090 186848 | 176852 177297 40 | 0.244 % |
576.50/577.00 c | 671846 | 8586 55090 186848 | 176852 160968 39 | 0.244 % |
577.80/578.27 c | 673388 | 8586 55090 186848 | 176852 162510 39 | 0.244 % |
579.60/580.05 c | 675082 | 8586 55090 186848 | 176852 164204 39 | 0.244 % |
582.20/582.66 c | 676945 | 8586 55090 186848 | 176852 166067 40 | 0.244 % |
584.80/585.22 c | 678994 | 8586 55090 186848 | 176852 168116 40 | 0.244 % |
586.79/587.22 c | 681247 | 8586 55090 186848 | 169122 147765 38 | 0.244 % |
588.89/589.30 c | 683726 | 8586 55090 186848 | 169122 150244 38 | 0.244 % |
591.59/592.04 c | 686453 | 8586 55090 186848 | 169122 152971 39 | 0.244 % |
594.39/594.83 c | 689450 | 8586 55090 186848 | 169122 155968 39 | 0.244 % |
597.69/598.18 c | 692746 | 8586 55090 186848 | 2147483647 159264 39 | 0.244 % |
599.09/599.54 c | 696371 | 8586 55090 186848 | 2147483647 162889 39 | 0.244 % |
604.29/604.74 c | 700358 | 8586 55090 186848 | 2147483647 166876 40 | 0.244 % |
607.89/608.33 c | 704744 | 8586 55090 186848 | 2147483647 171262 40 | 0.244 % |
611.29/611.77 c | 709567 | 8586 55090 186848 | 2147483647 176085 40 | 0.244 % |
618.68/619.19 c | 714873 | 8586 55090 186848 | 2147483647 181391 41 | 0.244 % |
623.87/624.33 c | 720708 | 8586 55090 186848 | 2147483647 187226 41 | 0.244 % |
632.17/632.68 c | 727128 | 8586 55090 186848 | 2147483647 193646 42 | 0.244 % |
632.37/632.82 c | 727228 | 8586 55090 186848 | 2147483647 193746 42 | 0.244 % |
632.47/632.95 c | 727339 | 8586 55090 186848 | 2147483647 193857 42 | 0.244 % |
632.77/633.21 c | 727461 | 8586 55090 186848 | 2147483647 193979 42 | 0.244 % |
632.97/633.43 c | 727594 | 8586 55090 186848 | 2147483647 194112 42 | 0.244 % |
633.27/633.72 c | 727741 | 8586 55090 186848 | 2147483647 194259 42 | 0.244 % |
633.47/633.91 c | 727903 | 8586 55090 186848 | 2147483647 194421 42 | 0.244 % |
633.67/634.10 c | 728079 | 8586 55090 186848 | 2147483647 194597 42 | 0.244 % |
633.87/634.39 c | 728272 | 8586 55090 186848 | 2147483647 194790 42 | 0.244 % |
634.17/634.67 c | 728484 | 8586 55090 186848 | 2147483647 195002 42 | 0.244 % |
634.47/634.98 c | 728718 | 8586 55090 186848 | 2147483647 195236 42 | 0.244 % |
634.67/635.12 c | 728974 | 8586 55090 186848 | 2147483647 195492 42 | 0.244 % |
634.77/635.23 c | 729255 | 8586 55090 186848 | 2147483647 195773 42 | 0.244 % |
635.07/635.59 c | 729564 | 8586 55090 186848 | 2147483647 196082 42 | 0.244 % |
635.57/636.00 c | 729904 | 8586 55090 186848 | 2147483647 196422 42 | 0.244 % |
635.67/636.18 c | 730276 | 8586 55090 186848 | 196519 196794 42 | 0.244 % |
636.97/637.44 c | 730685 | 8586 55090 186848 | 196519 174956 42 | 0.244 % |
637.48/637.92 c | 731135 | 8586 55090 186848 | 196519 175406 42 | 0.244 % |
637.88/638.32 c | 731628 | 8586 55090 186848 | 196519 175899 42 | 0.244 % |
638.28/638.79 c | 732173 | 8586 55090 186848 | 196519 176444 42 | 0.244 % |
638.68/639.13 c | 732769 | 8586 55090 186848 | 196519 177040 42 | 0.244 % |
638.78/639.26 c | 733427 | 8586 55090 186848 | 196519 177698 41 | 0.244 % |
640.08/640.54 c | 734149 | 8586 55090 186848 | 196519 178420 42 | 0.244 % |
640.98/641.44 c | 734941 | 8586 55090 186848 | 196519 179212 42 | 0.244 % |
641.58/642.07 c | 735813 | 8586 55090 186848 | 196519 180084 42 | 0.244 % |
642.18/642.67 c | 736771 | 8586 55090 186848 | 196519 181042 42 | 0.244 % |
643.37/643.87 c | 737824 | 8586 55090 186848 | 196519 182095 42 | 0.244 % |
644.57/645.02 c | 738983 | 8586 55090 186848 | 196519 183254 42 | 0.244 % |
645.87/646.39 c | 740256 | 8586 55090 186848 | 2147483647 184527 42 | 0.244 % |
647.57/648.01 c | 741656 | 8586 55090 186848 | 2147483647 185927 42 | 0.244 % |
648.58/649.10 c | 743196 | 8586 55090 186848 | 2147483647 187467 42 | 0.244 % |
650.27/650.76 c | 744890 | 8586 55090 186848 | 2147483647 189161 42 | 0.244 % |
652.07/652.60 c | 746753 | 8586 55090 186848 | 2147483647 191024 42 | 0.244 % |
654.27/654.72 c | 748806 | 8586 55090 186848 | 2147483647 193077 42 | 0.244 % |
655.97/656.48 c | 751060 | 8586 55090 186848 | 2147483647 195331 42 | 0.244 % |
658.97/659.42 c | 753538 | 8586 55090 186848 | 2147483647 197809 42 | 0.244 % |
662.77/663.26 c | 756263 | 8586 55090 186848 | 2147483647 200534 42 | 0.244 % |
665.96/666.47 c | 759261 | 8586 55090 186848 | 2147483647 203532 42 | 0.244 % |
669.86/670.38 c | 762557 | 8586 55090 186848 | 204271 206828 43 | 0.244 % |
675.85/676.30 c | 766182 | 8586 55090 186848 | 204271 165338 41 | 0.244 % |
680.15/680.61 c | 770170 | 8586 55090 186848 | 169156 169326 42 | 0.244 % |
684.05/684.51 c | 774555 | 8586 55090 186848 | 169156 155369 41 | 0.244 % |
688.85/689.34 c | 779378 | 8586 55090 186848 | 169156 160192 41 | 0.244 % |
695.35/695.86 c | 784684 | 8586 55090 186848 | 160817 165498 42 | 0.244 % |
699.65/700.13 c | 790520 | 8586 55090 186848 | 136993 123484 39 | 0.244 % |
706.63/707.19 c | 796939 | 8586 55090 186848 | 136993 129903 40 | 0.244 % |
711.73/712.23 c | 803998 | 8586 55090 186848 | 2147483647 136962 41 | 0.244 % |
711.73/712.28 c | 804099 | 8586 55090 186848 | 2147483647 137063 41 | 0.244 % |
711.83/712.38 c | 804209 | 8586 55090 186848 | 2147483647 137173 41 | 0.244 % |
712.03/712.55 c | 804330 | 8586 55090 186848 | 2147483647 137294 41 | 0.244 % |
712.13/712.62 c | 804465 | 8586 55090 186848 | 2147483647 137429 41 | 0.244 % |
712.13/712.67 c | 804612 | 8586 55090 186848 | 2147483647 137576 41 | 0.245 % |
712.34/712.83 c | 804772 | 8586 55090 186848 | 2147483647 137736 41 | 0.244 % |
712.43/712.93 c | 804948 | 8586 55090 186848 | 2147483647 137912 41 | 0.244 % |
712.63/713.15 c | 805142 | 8586 55090 186848 | 2147483647 138106 41 | 0.244 % |
712.73/713.24 c | 805354 | 8586 55090 186848 | 2147483647 138318 41 | 0.244 % |
712.83/713.30 c | 805588 | 8586 55090 186848 | 2147483647 138552 41 | 0.244 % |
713.13/713.60 c | 805844 | 8586 55090 186848 | 2147483647 138808 41 | 0.244 % |
713.44/713.92 c | 806126 | 8586 55090 186848 | 2147483647 139090 41 | 0.244 % |
713.73/714.23 c | 806436 | 8586 55090 186848 | 2147483647 139400 41 | 0.244 % |
714.03/714.52 c | 806777 | 8586 55090 186848 | 2147483647 139741 41 | 0.244 % |
714.23/714.79 c | 807149 | 8586 55090 186848 | 2147483647 140113 41 | 0.244 % |
714.73/715.26 c | 807559 | 8586 55090 186848 | 2147483647 140523 41 | 0.244 % |
715.13/715.65 c | 808008 | 8586 55090 186848 | 2147483647 140972 41 | 0.244 % |
715.93/716.41 c | 808501 | 8586 55090 186848 | 2147483647 141465 41 | 0.244 % |
716.43/716.96 c | 809044 | 8586 55090 186848 | 2147483647 142008 41 | 0.244 % |
717.13/717.67 c | 809641 | 8586 55090 186848 | 2147483647 142605 41 | 0.244 % |
717.63/718.20 c | 810296 | 8586 55090 186848 | 2147483647 143260 41 | 0.244 % |
718.13/718.65 c | 811016 | 8586 55090 186848 | 2147483647 143980 41 | 0.244 % |
719.33/719.83 c | 811809 | 8586 55090 186848 | 2147483647 144773 41 | 0.244 % |
720.23/720.73 c | 812681 | 8586 55090 186848 | 2147483647 145645 41 | 0.244 % |
720.93/721.47 c | 813639 | 8586 55090 186848 | 2147483647 146603 41 | 0.244 % |
721.53/722.06 c | 814692 | 8586 55090 186848 | 2147483647 147656 41 | 0.244 % |
722.43/722.91 c | 815850 | 8586 55090 186848 | 2147483647 148814 41 | 0.244 % |
723.23/723.71 c | 817124 | 8586 55090 186848 | 2147483647 150088 41 | 0.244 % |
723.92/724.48 c | 818524 | 8586 55090 186848 | 2147483647 151488 41 | 0.244 % |
724.72/725.28 c | 820064 | 8586 55090 186848 | 2147483647 153028 41 | 0.244 % |
727.12/727.67 c | 821758 | 8586 55090 186848 | 2147483647 154722 41 | 0.244 % |
728.22/728.77 c | 823623 | 8586 55090 186848 | 2147483647 156587 41 | 0.244 % |
730.62/731.13 c | 825673 | 8586 55090 186848 | 2147483647 158637 41 | 0.244 % |
732.82/733.35 c | 827926 | 8586 55090 186848 | 2147483647 160890 41 | 0.244 % |
735.02/735.59 c | 830405 | 8586 55090 186848 | 2147483647 163369 42 | 0.244 % |
737.82/738.30 c | 833132 | 8585 55088 186842 | 2147483647 163507 42 | 0.256 % |
740.62/741.16 c | 836129 | 8585 55088 186842 | 2147483647 166504 42 | 0.256 % |
744.22/744.75 c | 839425 | 8585 55088 186842 | 2147483647 169800 42 | 0.256 % |
748.11/748.63 c | 843051 | 8585 55088 186842 | 170375 153711 40 | 0.256 % |
751.51/752.00 c | 847038 | 8585 55088 186842 | 170375 157698 40 | 0.256 % |
756.21/756.70 c | 851425 | 8585 55088 186842 | 160660 162085 41 | 0.256 % |
760.71/761.26 c | 856248 | 8585 55088 186842 | 160660 150700 40 | 0.256 % |
765.70/766.23 c | 861553 | 8585 55088 186842 | 2147483647 156005 40 | 0.256 % |
771.30/771.85 c | 867389 | 8585 55088 186842 | 2147483647 161841 41 | 0.256 % |
777.99/778.57 c | 873807 | 8585 55088 186842 | 164452 147605 40 | 0.256 % |
783.49/784.02 c | 880868 | 8585 55088 186842 | 2147483647 154666 40 | 0.256 % |
790.59/791.12 c | 888632 | 8585 55088 186842 | 2147483647 162430 41 | 0.256 % |
790.69/791.22 c | 888732 | 8585 55088 186842 | 2147483647 162530 41 | 0.256 % |
790.79/791.31 c | 888843 | 8585 55088 186842 | 2147483647 162641 41 | 0.256 % |
790.89/791.45 c | 888964 | 8585 55088 186842 | 2147483647 162762 41 | 0.256 % |
790.99/791.60 c | 889097 | 8585 55088 186842 | 2147483647 162895 41 | 0.256 % |
791.29/791.81 c | 889243 | 8585 55088 186842 | 2147483647 163041 41 | 0.256 % |
791.49/792.03 c | 889404 | 8585 55088 186842 | 2147483647 163202 41 | 0.256 % |
791.69/792.23 c | 889580 | 8585 55088 186842 | 2147483647 163378 41 | 0.256 % |
791.99/792.55 c | 889774 | 8585 55088 186842 | 2147483647 163572 41 | 0.256 % |
792.19/792.78 c | 889986 | 8585 55088 186842 | 2147483647 163784 41 | 0.256 % |
792.49/793.02 c | 890220 | 8585 55088 186842 | 2147483647 164018 41 | 0.256 % |
792.79/793.37 c | 890476 | 8585 55088 186842 | 2147483647 164274 41 | 0.256 % |
793.09/793.64 c | 890758 | 8585 55088 186842 | 2147483647 164556 41 | 0.256 % |
793.39/793.93 c | 891067 | 8585 55088 186842 | 2147483647 164865 41 | 0.256 % |
793.99/794.56 c | 891406 | 8585 55088 186842 | 2147483647 165204 41 | 0.256 % |
794.29/794.89 c | 891779 | 8585 55088 186842 | 2147483647 165577 41 | 0.256 % |
794.69/795.26 c | 892188 | 8585 55088 186842 | 2147483647 165986 41 | 0.256 % |
795.28/795.83 c | 892639 | 8585 55088 186842 | 2147483647 166437 41 | 0.256 % |
795.79/796.38 c | 893132 | 8585 55088 186842 | 2147483647 166930 41 | 0.256 % |
796.58/797.12 c | 893675 | 8585 55088 186842 | 2147483647 167473 41 | 0.256 % |
797.08/797.69 c | 894272 | 8585 55088 186842 | 2147483647 168070 41 | 0.256 % |
797.68/798.22 c | 894929 | 8585 55088 186842 | 2147483647 168727 41 | 0.256 % |
798.38/798.93 c | 895649 | 8585 55088 186842 | 2147483647 169447 41 | 0.256 % |
798.98/799.60 c | 896442 | 8585 55088 186842 | 2147483647 170240 41 | 0.256 % |
799.98/800.56 c | 897313 | 8585 55088 186842 | 2147483647 171111 41 | 0.256 % |
800.78/801.34 c | 898271 | 8585 55088 186842 | 2147483647 172069 41 | 0.256 % |
802.38/802.93 c | 899324 | 8585 55088 186842 | 2147483647 173122 41 | 0.256 % |
803.48/804.03 c | 900484 | 8585 55088 186842 | 2147483647 174282 41 | 0.256 % |
804.68/805.27 c | 901757 | 8585 55088 186842 | 2147483647 175555 41 | 0.256 % |
805.78/806.36 c | 903157 | 8585 55088 186842 | 2147483647 176955 41 | 0.256 % |
807.17/807.76 c | 904697 | 8585 55088 186842 | 2147483647 178495 41 | 0.256 % |
809.57/810.15 c | 906394 | 8585 55088 186842 | 2147483647 180192 41 | 0.256 % |
811.37/811.94 c | 908258 | 8585 55088 186842 | 2147483647 182056 41 | 0.256 % |
813.97/814.58 c | 910307 | 8585 55088 186842 | 2147483647 184105 42 | 0.256 % |
815.97/816.59 c | 912560 | 8585 55088 186842 | 2147483647 186358 42 | 0.256 % |
818.27/818.88 c | 915038 | 8585 55088 186842 | 2147483647 188836 42 | 0.256 % |
822.57/823.17 c | 917764 | 8585 55088 186842 | 2147483647 191562 42 | 0.256 % |
825.97/826.56 c | 920762 | 8585 55088 186842 | 193799 194560 42 | 0.256 % |
829.97/830.55 c | 924060 | 8585 55088 186842 | 193799 178402 41 | 0.256 % |
834.46/835.09 c | 927685 | 8585 55088 186842 | 193799 182027 42 | 0.256 % |
837.57/838.19 c | 931675 | 8585 55088 186842 | 184342 186017 42 | 0.256 % |
844.26/844.82 c | 936060 | 8585 55088 186842 | 184342 170363 42 | 0.256 % |
849.65/850.21 c | 940883 | 8585 55088 186842 | 174303 175186 42 | 0.256 % |
851.95/852.58 c | 946188 | 8585 55088 186842 | 174303 159870 41 | 0.256 % |
860.25/860.88 c | 952023 | 8585 55088 186842 | 2147483647 165705 42 | 0.256 % |
867.14/867.75 c | 958442 | 8585 55088 186842 | 2147483647 172124 42 | 0.256 % |
876.04/876.65 c | 965502 | 8585 55088 186842 | 173683 152644 42 | 0.256 % |
882.74/883.30 c | 973268 | 8585 55088 186842 | 157144 160410 42 | 0.256 % |
886.93/887.58 c | 981809 | 8585 55088 186842 | 2147483647 145071 40 | 0.256 % |
887.03/887.66 c | 981909 | 8585 55088 186842 | 2147483647 145171 40 | 0.256 % |
887.13/887.78 c | 982019 | 8585 55088 186842 | 2147483647 145281 40 | 0.256 % |
887.33/887.97 c | 982140 | 8585 55088 186842 | 2147483647 145402 40 | 0.256 % |
887.53/888.15 c | 982273 | 8585 55088 186842 | 2147483647 145535 40 | 0.256 % |
887.73/888.30 c | 982419 | 8585 55088 186842 | 2147483647 145681 40 | 0.256 % |
887.83/888.46 c | 982580 | 8585 55088 186842 | 2147483647 145842 40 | 0.256 % |
888.03/888.64 c | 982758 | 8585 55088 186842 | 2147483647 146020 40 | 0.256 % |
888.13/888.77 c | 982953 | 8585 55088 186842 | 2147483647 146215 40 | 0.256 % |
888.23/888.89 c | 983166 | 8585 55088 186842 | 2147483647 146428 40 | 0.256 % |
888.52/889.15 c | 983400 | 8585 55088 186842 | 2147483647 146662 40 | 0.256 % |
888.82/889.42 c | 983656 | 8585 55088 186842 | 2147483647 146918 40 | 0.256 % |
889.12/889.73 c | 983938 | 8585 55088 186842 | 2147483647 147200 40 | 0.256 % |
889.33/889.96 c | 984247 | 8585 55088 186842 | 2147483647 147509 40 | 0.256 % |
889.72/890.33 c | 984586 | 8585 55088 186842 | 2147483647 147848 40 | 0.256 % |
890.12/890.75 c | 984958 | 8585 55088 186842 | 2147483647 148220 40 | 0.256 % |
890.33/890.91 c | 985367 | 8585 55088 186842 | 2147483647 148629 40 | 0.256 % |
890.43/891.06 c | 985817 | 8585 55088 186842 | 2147483647 149079 40 | 0.256 % |
891.02/891.66 c | 986311 | 8585 55088 186842 | 2147483647 149573 40 | 0.256 % |
891.62/892.28 c | 986853 | 8585 55088 186842 | 2147483647 150115 40 | 0.256 % |
892.12/892.70 c | 987451 | 8585 55088 186842 | 2147483647 150713 40 | 0.256 % |
892.42/893.07 c | 988106 | 8585 55088 186842 | 2147483647 151368 40 | 0.256 % |
892.92/893.52 c | 988827 | 8585 55088 186842 | 2147483647 152089 40 | 0.256 % |
893.32/893.96 c | 989619 | 8585 55088 186842 | 2147483647 152881 40 | 0.256 % |
894.52/895.13 c | 990490 | 8585 55088 186842 | 2147483647 153752 40 | 0.256 % |
895.32/895.92 c | 991449 | 8585 55088 186842 | 2147483647 154711 40 | 0.256 % |
896.02/896.68 c | 992502 | 8585 55088 186842 | 2147483647 155764 40 | 0.256 % |
897.72/898.38 c | 993661 | 8585 55088 186842 | 2147483647 156923 40 | 0.256 % |
898.82/899.47 c | 994936 | 8585 55088 186842 | 2147483647 158198 41 | 0.256 % |
900.52/901.16 c | 996337 | 8585 55088 186842 | 2147483647 159599 41 | 0.256 % |
902.02/902.68 c | 997878 | 8585 55088 186842 | 2147483647 161140 41 | 0.256 % |
904.02/904.64 c | 999572 | 8585 55088 186842 | 2147483647 162834 41 | 0.256 % |
905.62/906.21 c | 1001435 | 8585 55088 186842 | 2147483647 164697 41 | 0.256 % |
906.72/907.31 c | 1003486 | 8585 55088 186842 | 2147483647 166748 41 | 0.256 % |
909.62/910.22 c | 1005740 | 8585 55088 186842 | 2147483647 169002 41 | 0.256 % |
912.11/912.77 c | 1008218 | 8585 55088 186842 | 2147483647 171480 41 | 0.256 % |
914.71/915.30 c | 1010944 | 8585 55088 186842 | 2147483647 174206 41 | 0.256 % |
918.41/919.05 c | 1013941 | 8585 55088 186842 | 2147483647 177203 42 | 0.256 % |
921.61/922.23 c | 1017237 | 8585 55088 186842 | 2147483647 180499 42 | 0.256 % |
925.71/926.33 c | 1020862 | 8585 55088 186842 | 2147483647 184124 42 | 0.256 % |
930.10/930.73 c | 1024849 | 8585 55088 186842 | 2147483647 188111 42 | 0.256 % |
933.50/934.13 c | 1029234 | 8585 55088 186842 | 2147483647 192496 42 | 0.256 % |
936.50/937.18 c | 1034058 | 8585 55088 186842 | 2147483647 197320 41 | 0.256 % |
944.69/945.32 c | 1039363 | 8585 55088 186842 | 2147483647 202625 42 | 0.256 % |
951.59/952.28 c | 1045200 | 8585 55088 186842 | 203264 187865 41 | 0.256 % |
958.09/958.74 c | 1051618 | 8585 55088 186842 | 192666 194283 42 | 0.256 % |
967.78/968.43 c | 1058678 | 8585 55088 186842 | 192666 168919 40 | 0.256 % |
975.97/976.67 c | 1066442 | 8585 55088 186842 | 170242 141839 37 | 0.256 % |
986.37/987.00 c | 1074984 | 8585 55088 186842 | 145399 131962 40 | 0.256 % |
995.67/996.34 c | 1084378 | 8585 55088 186842 | 2147483647 141356 40 | 0.256 % |
995.78/996.48 c | 1084479 | 8585 55088 186842 | 2147483647 141457 40 | 0.256 % |
995.88/996.58 c | 1084590 | 8585 55088 186842 | 2147483647 141568 40 | 0.256 % |
996.07/996.77 c | 1084712 | 8585 55088 186842 | 2147483647 141690 40 | 0.256 % |
996.27/996.94 c | 1084845 | 8585 55088 186842 | 2147483647 141823 40 | 0.256 % |
996.37/997.09 c | 1084991 | 8585 55088 186842 | 2147483647 141969 40 | 0.256 % |
996.57/997.28 c | 1085153 | 8585 55088 186842 | 2147483647 142131 40 | 0.256 % |
996.77/997.40 c | 1085330 | 8585 55088 186842 | 2147483647 142308 40 | 0.256 % |
996.87/997.54 c | 1085523 | 8585 55088 186842 | 2147483647 142501 40 | 0.256 % |
997.17/997.89 c | 1085735 | 8585 55088 186842 | 2147483647 142713 40 | 0.256 % |
997.27/997.96 c | 1085969 | 8585 55088 186842 | 2147483647 142947 40 | 0.256 % |
997.37/998.07 c | 1086226 | 8585 55088 186842 | 2147483647 143204 40 | 0.256 % |
997.67/998.36 c | 1086507 | 8585 55088 186842 | 2147483647 143485 40 | 0.256 % |
997.97/998.64 c | 1086816 | 8585 55088 186842 | 2147483647 143794 40 | 0.256 % |
998.37/999.07 c | 1087156 | 8585 55088 186842 | 2147483647 144134 40 | 0.256 % |
998.57/999.28 c | 1087528 | 8585 55088 186842 | 2147483647 144506 40 | 0.256 % |
999.07/999.70 c | 1087937 | 8585 55088 186842 | 2147483647 144915 40 | 0.256 % |
999.47/1000.17 c | 1088388 | 8585 55088 186842 | 2147483647 145366 40 | 0.256 % |
999.97/1000.61 c | 1088881 | 8585 55088 186842 | 2147483647 145859 40 | 0.256 % |
1000.57/1001.25 c | 1089423 | 8585 55088 186842 | 2147483647 146401 40 | 0.256 % |
1001.17/1001.86 c | 1090021 | 8585 55088 186842 | 2147483647 146999 40 | 0.256 % |
1001.57/1002.25 c | 1090676 | 8585 55088 186842 | 2147483647 147654 40 | 0.256 % |
1002.27/1002.98 c | 1091399 | 8585 55088 186842 | 2147483647 148377 41 | 0.256 % |
1002.77/1003.44 c | 1092193 | 8585 55088 186842 | 2147483647 149171 40 | 0.256 % |
1003.37/1004.07 c | 1093065 | 8585 55088 186842 | 2147483647 150043 41 | 0.256 % |
1004.97/1005.66 c | 1094024 | 8585 55088 186842 | 2147483647 151002 41 | 0.256 % |
1005.77/1006.49 c | 1095079 | 8585 55088 186842 | 2147483647 152057 41 | 0.256 % |
1007.57/1008.26 c | 1096237 | 8585 55088 186842 | 2147483647 153215 41 | 0.256 % |
1008.96/1009.69 c | 1097511 | 8585 55088 186842 | 2147483647 154489 41 | 0.256 % |
1010.56/1011.21 c | 1098911 | 8585 55088 186842 | 2147483647 155889 41 | 0.256 % |
1012.66/1013.30 c | 1100453 | 8585 55088 186842 | 156978 157431 42 | 0.256 % |
1014.86/1015.54 c | 1102149 | 8585 55088 186842 | 156978 140609 40 | 0.256 % |
1016.16/1016.84 c | 1104012 | 8585 55088 186842 | 156978 142472 41 | 0.256 % |
1019.46/1020.17 c | 1106061 | 8585 55088 186842 | 156978 144521 41 | 0.256 % |
1021.26/1021.94 c | 1108315 | 8585 55088 186842 | 156978 146775 41 | 0.256 % |
1024.75/1025.48 c | 1110793 | 8585 55088 186842 | 148462 149253 42 | 0.256 % |
1027.45/1028.18 c | 1113518 | 8585 55088 186842 | 148462 133666 41 | 0.256 % |
1029.85/1030.52 c | 1116515 | 8585 55088 186842 | 148462 136663 41 | 0.256 % |
1033.15/1033.81 c | 1119813 | 8585 55088 186842 | 148462 139961 42 | 0.256 % |
1036.94/1037.66 c | 1123438 | 8585 55088 186842 | 140148 129308 42 | 0.256 % |
1039.85/1040.54 c | 1127425 | 8585 55088 186842 | 140148 133295 42 | 0.256 % |
1045.04/1045.71 c | 1131810 | 8585 55088 186842 | 2147483647 137680 43 | 0.256 % |
1048.94/1049.62 c | 1136633 | 8585 55088 186842 | 2147483647 142503 44 | 0.256 % |
1052.44/1053.10 c | 1141938 | 8585 55088 186842 | 2147483647 147808 43 | 0.256 % |
1059.94/1060.62 c | 1147773 | 8585 55088 186842 | 2147483647 153643 44 | 0.256 % |
1067.43/1068.12 c | 1154194 | 8585 55088 186842 | 2147483647 160064 44 | 0.256 % |
1075.32/1076.05 c | 1161253 | 8585 55088 186842 | 2147483647 167123 44 | 0.256 % |
1083.22/1083.93 c | 1169017 | 8585 55088 186842 | 2147483647 174887 44 | 0.256 % |
1092.02/1092.75 c | 1177557 | 8585 55088 186842 | 175870 143329 41 | 0.256 % |
1100.01/1100.73 c | 1186952 | 8585 55088 186842 | 145772 130852 41 | 0.256 % |
1108.61/1109.36 c | 1197285 | 8585 55088 186842 | 2147483647 141185 42 | 0.256 % |
1108.71/1109.47 c | 1197386 | 8585 55088 186842 | 2147483647 141286 42 | 0.256 % |
1108.81/1109.57 c | 1197496 | 8585 55088 186842 | 2147483647 141396 42 | 0.256 % |
1108.91/1109.68 c | 1197618 | 8585 55088 186842 | 2147483647 141518 42 | 0.256 % |
1109.11/1109.81 c | 1197751 | 8585 55088 186842 | 2147483647 141651 42 | 0.256 % |
1109.21/1109.92 c | 1197899 | 8585 55088 186842 | 2147483647 141799 42 | 0.256 % |
1109.31/1110.03 c | 1198059 | 8585 55088 186842 | 2147483647 141959 42 | 0.256 % |
1109.41/1110.19 c | 1198235 | 8585 55088 186842 | 2147483647 142135 42 | 0.256 % |
1109.51/1110.26 c | 1198431 | 8585 55088 186842 | 2147483647 142331 42 | 0.256 % |
1109.91/1110.64 c | 1198644 | 8585 55088 186842 | 2147483647 142544 42 | 0.256 % |
1110.21/1110.90 c | 1198877 | 8585 55088 186842 | 2147483647 142777 42 | 0.256 % |
1110.21/1110.98 c | 1199133 | 8585 55088 186842 | 2147483647 143033 42 | 0.256 % |
1110.50/1111.29 c | 1199415 | 8585 55088 186842 | 2147483647 143315 42 | 0.256 % |
1110.80/1111.59 c | 1199725 | 8585 55088 186842 | 2147483647 143625 42 | 0.256 % |
1111.10/1111.83 c | 1200065 | 8585 55088 186842 | 2147483647 143965 42 | 0.256 % |
1111.50/1112.21 c | 1200438 | 8585 55088 186842 | 2147483647 144338 42 | 0.256 % |
1111.80/1112.53 c | 1200847 | 8585 55088 186842 | 2147483647 144747 42 | 0.256 % |
1112.20/1112.91 c | 1201296 | 8585 55088 186842 | 2147483647 145196 42 | 0.256 % |
1112.50/1113.28 c | 1201789 | 8585 55088 186842 | 2147483647 145689 42 | 0.256 % |
1112.90/1113.69 c | 1202331 | 8585 55088 186842 | 2147483647 146231 42 | 0.256 % |
1113.30/1114.09 c | 1202927 | 8585 55088 186842 | 2147483647 146827 42 | 0.256 % |
1113.90/1114.65 c | 1203582 | 8585 55088 186842 | 2147483647 147482 42 | 0.256 % |
1114.80/1115.58 c | 1204303 | 8585 55088 186842 | 2147483647 148203 42 | 0.256 % |
1115.60/1116.31 c | 1205095 | 8585 55088 186842 | 2147483647 148995 42 | 0.256 % |
1116.40/1117.15 c | 1205966 | 8585 55088 186842 | 2147483647 149866 42 | 0.256 % |
1117.10/1117.89 c | 1206924 | 8585 55088 186842 | 2147483647 150824 42 | 0.256 % |
1117.80/1118.55 c | 1207977 | 8585 55088 186842 | 2147483647 151877 42 | 0.256 % |
1118.69/1119.43 c | 1209136 | 8585 55088 186842 | 2147483647 153036 42 | 0.256 % |
1119.89/1120.69 c | 1210410 | 8585 55088 186842 | 2147483647 154310 42 | 0.256 % |
1121.30/1122.05 c | 1211812 | 8585 55088 186842 | 2147483647 155712 42 | 0.256 % |
1122.30/1123.08 c | 1213353 | 8585 55088 186842 | 2147483647 157253 42 | 0.256 % |
1123.59/1124.37 c | 1215048 | 8585 55088 186842 | 2147483647 158948 42 | 0.256 % |
1126.49/1127.27 c | 1216911 | 8585 55088 186842 | 2147483647 160811 42 | 0.256 % |
1128.59/1129.30 c | 1218960 | 8585 55088 186842 | 2147483647 162860 42 | 0.256 % |
1130.49/1131.27 c | 1221213 | 8585 55088 186842 | 2147483647 165113 43 | 0.256 % |
1133.49/1134.26 c | 1223691 | 8585 55088 186842 | 2147483647 167591 43 | 0.256 % |
1137.39/1138.11 c | 1226419 | 8585 55088 186842 | 2147483647 170319 43 | 0.256 % |
1140.09/1140.80 c | 1229417 | 8585 55088 186842 | 2147483647 173317 43 | 0.256 % |
1143.58/1144.39 c | 1232714 | 8585 55088 186842 | 2147483647 176614 43 | 0.256 % |
1146.18/1146.92 c | 1236341 | 8585 55088 186842 | 2147483647 180241 43 | 0.256 % |
1149.28/1150.03 c | 1240329 | 8585 55088 186842 | 183901 184229 43 | 0.256 % |
1156.27/1157.10 c | 1244715 | 8585 55088 186842 | 183901 170138 42 | 0.256 % |
1160.47/1161.27 c | 1249538 | 8585 55088 186842 | 183901 174961 42 | 0.256 % |
1166.17/1167.00 c | 1254843 | 8585 55088 186842 | 2147483647 180266 43 | 0.256 % |
1168.27/1169.06 c | 1260680 | 8585 55088 186842 | 2147483647 186103 42 | 0.256 % |
1175.66/1176.41 c | 1267099 | 8585 55088 186842 | 2147483647 192522 43 | 0.256 % |
1187.46/1188.28 c | 1274159 | 8585 55088 186842 | 195425 199582 44 | 0.256 % |
1195.55/1196.36 c | 1281924 | 8585 55088 186842 | 166986 168908 42 | 0.256 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832387-1242772749/watcher-1832387-1242772749 -o /tmp/evaluation-result-1832387-1242772749/solver-1832387-1242772749 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832387-1242772749.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305309045 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 206381482066 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/26102/statm: 1339 235 195 169 0 50 0
[pid=26103] ppid=26102 vsize=5356 CPUtime=0
/proc/26103/stat : 26103 (SatELiteGTI) S 26102 26102 25926 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305309045 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/26103/statm: 1339 238 198 169 0 50 0
[pid=26105] ppid=26103 vsize=184 CPUtime=0
/proc/26105/stat : 26105 (sed) R 26103 26102 25926 0 -1 4194304 27 0 0 0 0 0 0 0 21 0 1 0 305309045 188416 8 1992294400 4194304 4240196 548682069056 18446744073709551615 206378662224 0 0 4096 0 0 0 0 17 1 0 0
/proc/26105/statm: 48 18 11 11 0 11 0
[startup+0.060441 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305309045 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26102/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101446 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305309045 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26102/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301492 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356
[startup+0.701568 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 26102
/proc/meminfo: memFree=1972456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356
[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1966424/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=5872 CPUtime=1.24
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 1318 0 0 0 124 0 0 0 25 0 1 0 305309066 6012928 1304 1992294400 134512640 135215339 4294956240 18446744073709551615 134529139 0 0 4096 3 0 0 0 17 1 0 0
/proc/26108/statm: 1468 1304 77 171 0 1295 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 11228
[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1965464/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=6988 CPUtime=2.84
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 1593 0 0 0 283 1 0 0 25 0 1 0 305309066 7155712 1579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 1747 1579 77 171 0 1574 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 12344
[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1963160/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=9068 CPUtime=6.04
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 2134 0 0 0 602 2 0 0 25 0 1 0 305309066 9285632 2120 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 2267 2120 77 171 0 2094 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 14424
[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1959264/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=12848 CPUtime=12.43
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 3071 0 0 0 1241 2 0 0 25 0 1 0 305309066 13156352 3057 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 3212 3057 77 171 0 3039 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 18204
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1952544/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=19372 CPUtime=25.22
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 4705 0 0 0 2517 5 0 0 25 0 1 0 305309066 19836928 4691 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 4843 4691 77 171 0 4670 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 24728
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1942560/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=29444 CPUtime=50.78
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 7216 0 0 0 5070 8 0 0 25 0 1 0 305309066 30150656 7202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 7361 7202 77 171 0 7188 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 34800
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1927776/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=44064 CPUtime=101.96
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 10811 0 0 0 10184 12 0 0 25 0 1 0 305309066 45121536 10797 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 11016 10797 77 171 0 10843 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 49420
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26108
/proc/meminfo: memFree=1922848/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=49196 CPUtime=161.93
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12028 0 0 0 16180 13 0 0 25 0 1 0 305309066 50376704 12014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12299 12014 77 171 0 12126 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 54552
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1922336/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=49388 CPUtime=221.89
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12070 0 0 0 22176 13 0 0 25 0 1 0 305309066 50573312 12056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12347 12056 77 171 0 12174 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 54744
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1921952/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=50040 CPUtime=281.86
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12194 0 0 0 28173 13 0 0 25 0 1 0 305309066 51240960 12180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12510 12180 77 171 0 12337 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 55396
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1921760/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=50180 CPUtime=341.84
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12244 0 0 0 34171 13 0 0 25 0 1 0 305309066 51384320 12230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12545 12230 77 171 0 12372 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 55536
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920800/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51088 CPUtime=401.8
################
# More data... #
################
/proc/26108/statm: 12808 12461 77 171 0 12635 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 56588
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920352/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51232 CPUtime=581.7
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12484 0 0 0 58156 14 0 0 25 0 1 0 305309066 52461568 12470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12808 12470 77 171 0 12635 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 56588
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1920032/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51448 CPUtime=641.68
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12545 0 0 0 64153 15 0 0 25 0 1 0 305309066 52682752 12531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12862 12531 77 171 0 12689 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 56804
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919712/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51628 CPUtime=701.65
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12575 0 0 0 70150 15 0 0 25 0 1 0 305309066 52867072 12561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12907 12561 77 171 0 12734 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 56984
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919520/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=761.61
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12591 0 0 0 76146 15 0 0 25 0 1 0 305309066 53010432 12577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12577 77 171 0 12769 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 57124
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919456/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=821.57
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12611 0 0 0 82142 15 0 0 25 0 1 0 305309066 53010432 12597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12597 77 171 0 12769 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 57124
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919328/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51768 CPUtime=881.54
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12615 0 0 0 88139 15 0 0 25 0 1 0 305309066 53010432 12601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12942 12601 77 171 0 12769 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 57124
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919072/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51924 CPUtime=941.5
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12641 0 0 0 94135 15 0 0 25 0 1 0 305309066 53170176 12627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12981 12627 77 171 0 12808 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 57280
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1919008/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=51924 CPUtime=1001.47
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12645 0 0 0 100131 16 0 0 25 0 1 0 305309066 53170176 12631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 12981 12631 77 171 0 12808 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 57280
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918880/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1061.43
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12672 0 0 0 106127 16 0 0 25 0 1 0 305309066 53362688 12658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12658 77 171 0 12855 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 57468
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918752/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1121.39
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12675 0 0 0 112123 16 0 0 25 0 1 0 305309066 53362688 12661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12661 77 171 0 12855 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 57468
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918560/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1181.36
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12704 0 0 0 118120 16 0 0 25 0 1 0 305309066 53362688 12690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12690 77 171 0 12855 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 57468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 26110
/proc/meminfo: memFree=1918496/2055920 swapFree=4180404/4192956
[pid=26102] ppid=26100 vsize=5356 CPUtime=0.2
/proc/26102/stat : 26102 (SatELiteGTI) S 26100 26102 25926 0 -1 4194304 336 1972 0 0 0 0 19 1 16 0 1 0 305309045 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26102/statm: 1339 239 197 169 0 50 0
[pid=26108] ppid=26102 vsize=52112 CPUtime=1199.85
/proc/26108/stat : 26108 (minisat_static) R 26102 26102 25926 0 -1 4194304 12704 0 0 0 119969 16 0 0 25 0 1 0 305309066 53362688 12690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26108/statm: 13028 12690 77 171 0 12855 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 57468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26102 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=194970
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.214966
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.05
CPU user time (s): 1199.88
CPU system time (s): 0.17
CPU usage (%): 99.9364
Max. virtual memory (cumulated for all children) (KiB): 57468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.19497
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 9
runsolver used 1.08583 second user time and 3.40648 second system time
The end
Begin job on node2 at 2009-05-20 00:39:09
IDJOB=1832387
IDBENCH=69560
IDSOLVER=671
FILE ID=node2/1832387-1242772749
PBS_JOBID= 9322296
Free space on /tmp= 66424 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832387-1242772749/watcher-1832387-1242772749 -o /tmp/evaluation-result-1832387-1242772749/solver-1832387-1242772749 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832387-1242772749.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b44e541aede789d4830fa0a3a047fcda
RANDOM SEED=195091390
node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1972872 kB
Buffers: 11844 kB
Cached: 35892 kB
SwapCached: 6596 kB
Active: 22676 kB
Inactive: 33748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972872 kB
SwapTotal: 4192956 kB
SwapFree: 4180404 kB
Dirty: 2536 kB
Writeback: 0 kB
Mapped: 13956 kB
Slab: 12572 kB
Committed_AS: 1280596 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66420 MiB
End job on node2 at 2009-05-20 00:59:12