0.00/0.00 c Parsing...
1.13/1.14 c ==============================================================================
1.13/1.14 c | | ORIGINAL | LEARNT | |
1.13/1.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.13/1.14 c ==============================================================================
1.13/1.14 c | 0 | 1100499 2567831 | 330149 0 0 nan | 0.000 % |
7.42/7.48 c | 0 | 456317 1844839 | -- 0 -- -- | -- | -644180/-722987
7.42/7.49 c ==============================================================================
7.42/7.49 c Result : #vars: 56393 #clauses: 456317 #literals: 1844839
7.42/7.49 c CPU time: 7.14 s
7.42/7.49 c ==============================================================================
8.12/8.14 c This is MiniSat 2.0 beta
8.12/8.14 c WARNING: for repeatability, setting FPU to use double precision
8.12/8.14 c ============================[ Problem Statistics ]=============================
8.12/8.14 c | |
8.12/8.14 c | Number of variables: 56393 |
8.12/8.14 c | Number of clauses: 456317 |
8.14/8.51 c | Parsing time: 0.36 s |
8.14/8.54 c ============================[ Search Statistics ]==============================
8.14/8.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.14/8.54 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.14/8.54 c ===============================================================================
8.14/8.54 c | 0 | 56393 456317 1844839 | 152105 0 nan | 0.000 % |
8.14/8.61 c | 100 | 56390 456317 1844839 | 152105 97 7 | 0.032 % |
8.72/8.73 c | 200 | 56385 456317 1844839 | 152105 197 13 | 0.032 % |
8.82/8.83 c | 300 | 56385 456317 1844839 | 152105 297 19 | 0.032 % |
8.82/8.91 c | 410 | 56369 456317 1844839 | 152105 405 17 | 0.094 % |
8.92/8.93 c | 511 | 56369 456317 1844839 | 152105 506 19 | 0.094 % |
8.92/8.99 c | 621 | 56369 456317 1844839 | 152105 616 18 | 0.094 % |
9.01/9.06 c | 743 | 56369 456317 1844839 | 152105 738 18 | 0.094 % |
9.10/9.16 c | 843 | 56369 456317 1844839 | 152105 838 18 | 0.094 % |
9.20/9.23 c | 954 | 56369 456317 1844839 | 152105 949 18 | 0.094 % |
9.20/9.27 c | 1077 | 56369 456317 1844839 | 152105 1072 17 | 0.094 % |
9.30/9.33 c | 1210 | 56369 456317 1844839 | 152105 1205 18 | 0.094 % |
9.30/9.37 c | 1310 | 56369 456317 1844839 | 152105 1305 17 | 0.094 % |
9.40/9.43 c | 1420 | 56369 456317 1844839 | 152105 1415 18 | 0.094 % |
9.50/9.56 c | 1541 | 56366 456317 1844839 | 152105 1536 17 | 0.094 % |
9.60/9.68 c | 1675 | 56366 456317 1844839 | 152105 1670 17 | 0.094 % |
9.70/9.80 c | 1821 | 56366 456317 1844839 | 152105 1816 17 | 0.094 % |
9.80/9.85 c | 1923 | 56366 456317 1844839 | 152105 1918 17 | 0.094 % |
9.80/9.91 c | 2033 | 56366 456317 1844839 | 152105 2028 17 | 0.094 % |
9.90/10.02 c | 2155 | 56366 456317 1844839 | 152105 2150 18 | 0.094 % |
10.10/10.13 c | 2289 | 56365 456317 1844839 | 152105 2283 17 | 0.098 % |
10.10/10.22 c | 2435 | 56364 456317 1844839 | 152105 2429 17 | 0.098 % |
10.40/10.43 c | 2596 | 56332 455543 1842259 | 152105 2536 18 | 0.158 % |
10.40/10.50 c | 2696 | 56330 455543 1842259 | 152105 2635 17 | 0.184 % |
10.50/10.60 c | 2807 | 56330 455543 1842259 | 152105 2746 17 | 0.184 % |
10.60/10.72 c | 2929 | 56330 455543 1842259 | 152105 2868 17 | 0.184 % |
10.70/10.78 c | 3062 | 56311 455543 1842259 | 152105 2998 17 | 0.222 % |
10.80/10.85 c | 3208 | 56308 455543 1842259 | 152105 3143 17 | 0.232 % |
10.80/10.88 c | 3368 | 56308 455543 1842259 | 152105 3303 16 | 0.232 % |
10.90/11.00 c | 3544 | 56308 455543 1842259 | 152105 3479 17 | 0.232 % |
11.00/11.07 c | 3644 | 56308 455543 1842259 | 152105 3579 17 | 0.232 % |
11.10/11.17 c | 3755 | 56306 455543 1842259 | 152105 3690 17 | 0.232 % |
11.20/11.26 c | 3877 | 56302 455543 1842259 | 152105 3812 17 | 0.232 % |
11.30/11.36 c | 4010 | 56302 455543 1842259 | 152105 3945 17 | 0.232 % |
11.40/11.45 c | 4156 | 56225 455543 1842259 | 152105 4089 17 | 0.548 % |
11.60/11.66 c | 4317 | 56206 455543 1842259 | 152105 4250 19 | 0.548 % |
11.80/11.84 c | 4494 | 56206 455543 1842259 | 152105 4427 19 | 0.548 % |
11.90/11.95 c | 4688 | 56206 455543 1842259 | 152105 4621 19 | 0.548 % |
12.00/12.06 c | 4788 | 56084 449861 1818916 | 152105 4392 19 | 0.548 % |
12.10/12.15 c | 4899 | 55897 449861 1818916 | 152105 4495 19 | 1.690 % |
12.10/12.20 c | 5020 | 55845 449861 1818916 | 152105 4616 19 | 1.690 % |
12.20/12.28 c | 5155 | 55845 449861 1818916 | 152105 4751 19 | 1.690 % |
12.30/12.32 c | 5301 | 55845 449861 1818916 | 152105 4897 19 | 1.690 % |
12.40/12.43 c | 5462 | 55844 449861 1818916 | 152105 5057 19 | 1.693 % |
12.40/12.50 c | 5638 | 55841 449861 1818916 | 152105 5231 19 | 1.699 % |
12.60/12.64 c | 5832 | 55724 449861 1818916 | 152105 5424 19 | 1.729 % |
12.70/12.73 c | 6044 | 55724 449861 1818916 | 152105 5636 19 | 1.729 % |
12.70/12.79 c | 6145 | 55722 449861 1818916 | 152105 5735 19 | 1.743 % |
12.80/12.91 c | 6255 | 55721 449861 1818916 | 152105 5845 19 | 1.743 % |
12.90/13.00 c | 6377 | 55721 449861 1818916 | 152105 5967 19 | 1.743 % |
13.00/13.02 c | 6510 | 55721 449861 1818916 | 152105 6100 19 | 1.743 % |
13.10/13.14 c | 6656 | 55721 449861 1818916 | 152105 6246 19 | 1.743 % |
13.10/13.20 c | 6818 | 55721 449861 1818916 | 152105 6408 19 | 1.743 % |
13.20/13.29 c | 6995 | 55721 449861 1818916 | 152105 6585 19 | 1.743 % |
13.30/13.37 c | 7188 | 55721 449861 1818916 | 152105 6778 20 | 1.743 % |
13.50/13.56 c | 7402 | 55721 449861 1818916 | 152105 6992 19 | 1.743 % |
13.60/13.63 c | 7636 | 55721 449861 1818916 | 152105 7226 19 | 1.743 % |
13.70/13.73 c | 7737 | 55410 438879 1773657 | 152105 6650 19 | 1.743 % |
13.70/13.79 c | 7847 | 55410 438879 1773657 | 152105 6760 19 | 1.743 % |
13.80/13.88 c | 7969 | 55410 438879 1773657 | 152105 6882 19 | 1.743 % |
13.90/13.95 c | 8102 | 55410 438879 1773657 | 152105 7015 19 | 1.743 % |
13.90/13.97 c | 8248 | 55410 438879 1773657 | 152105 7161 19 | 1.743 % |
13.90/13.98 c | 8410 | 55410 438879 1773657 | 152105 7323 20 | 1.743 % |
14.10/14.15 c | 8587 | 55410 438879 1773657 | 152105 7500 20 | 1.743 % |
14.10/14.20 c | 8780 | 55410 438879 1773657 | 152105 7693 20 | 1.743 % |
14.30/14.35 c | 8992 | 55410 438879 1773657 | 152105 7905 20 | 1.743 % |
14.40/14.44 c | 9226 | 55406 438879 1773657 | 152105 8136 21 | 1.750 % |
14.50/14.53 c | 9482 | 55406 438879 1773657 | 152105 8392 21 | 1.750 % |
14.50/14.58 c | 9584 | 55406 438879 1773657 | 152105 8494 21 | 1.750 % |
14.60/14.63 c | 9694 | 55406 438879 1773657 | 152105 8604 20 | 1.750 % |
14.60/14.71 c | 9816 | 55405 438879 1773657 | 152105 8725 20 | 1.752 % |
14.70/14.74 c | 9949 | 55405 438879 1773657 | 152105 8858 20 | 1.752 % |
14.80/14.82 c | 10097 | 55405 438879 1773657 | 2147483647 9006 20 | 1.752 % |
14.90/14.95 c | 10258 | 55405 438879 1773657 | 2147483647 9167 20 | 1.752 % |
14.90/15.00 c | 10434 | 55405 438879 1773657 | 2147483647 9343 20 | 1.752 % |
15.00/15.05 c | 10627 | 55405 438879 1773657 | 2147483647 9536 20 | 1.752 % |
15.18/15.31 c | 10839 | 55405 438879 1773657 | 2147483647 9748 20 | 1.752 % |
15.38/15.44 c | 11072 | 55405 438855 1773563 | 2147483647 9834 20 | 1.752 % |
15.48/15.54 c | 11329 | 55405 438855 1773563 | 2147483647 10091 20 | 1.752 % |
15.58/15.70 c | 11610 | 55405 438855 1773563 | 2147483647 10372 20 | 1.752 % |
15.68/15.75 c | 11711 | 55405 438855 1773563 | 2147483647 10473 21 | 1.752 % |
15.68/15.81 c | 11822 | 55405 438855 1773563 | 2147483647 10584 21 | 1.752 % |
15.78/15.83 c | 11943 | 55405 438855 1773563 | 2147483647 10705 21 | 1.752 % |
15.78/15.88 c | 12077 | 55405 438855 1773563 | 2147483647 10839 21 | 1.752 % |
15.88/16.00 c | 12224 | 55405 438855 1773563 | 2147483647 10986 21 | 1.752 % |
16.08/16.17 c | 12384 | 55405 438855 1773563 | 2147483647 11146 21 | 1.752 % |
16.28/16.34 c | 12560 | 55405 438855 1773563 | 2147483647 11322 21 | 1.752 % |
16.38/16.44 c | 12753 | 55404 438855 1773563 | 2147483647 11514 21 | 1.754 % |
16.38/16.51 c | 12967 | 55399 438855 1773563 | 2147483647 11726 21 | 1.779 % |
16.58/16.65 c | 13201 | 55399 438855 1773563 | 2147483647 11960 21 | 1.779 % |
16.68/16.78 c | 13457 | 55399 438855 1773563 | 2147483647 12216 21 | 1.779 % |
16.68/16.81 c | 13738 | 55399 438855 1773563 | 2147483647 12497 21 | 1.779 % |
16.78/16.91 c | 14047 | 55398 438855 1773563 | 2147483647 12805 21 | 1.782 % |
16.88/16.99 c | 14147 | 55398 438855 1773563 | 2147483647 12905 21 | 1.782 % |
16.98/17.06 c | 14259 | 55398 438855 1773563 | 2147483647 13017 21 | 1.782 % |
17.18/17.22 c | 14382 | 55385 438641 1772752 | 2147483647 13137 21 | 1.787 % |
17.28/17.32 c | 14515 | 55385 438641 1772752 | 2147483647 13270 21 | 1.787 % |
17.28/17.37 c | 14661 | 55385 438641 1772752 | 2147483647 13416 21 | 1.787 % |
17.38/17.44 c | 14822 | 55385 438641 1772752 | 2147483647 13577 21 | 1.787 % |
17.58/17.64 c | 14998 | 55381 438641 1772752 | 2147483647 13752 21 | 1.795 % |
17.68/17.76 c | 15191 | 55377 438641 1772752 | 2147483647 13944 20 | 1.802 % |
17.68/17.79 c | 15403 | 55377 438641 1772752 | 2147483647 14156 21 | 1.802 % |
17.68/17.81 c | 15637 | 55377 438641 1772752 | 2147483647 14390 21 | 1.802 % |
17.78/17.86 c | 15894 | 55377 438641 1772752 | 2147483647 14647 21 | 1.802 % |
17.88/17.98 c | 16176 | 55363 438641 1772752 | 2147483647 14928 21 | 1.892 % |
18.08/18.22 c | 16486 | 55358 438641 1772752 | 2147483647 15238 21 | 1.892 % |
18.18/18.31 c | 16826 | 55358 438641 1772752 | 2147483647 15578 21 | 1.892 % |
18.28/18.40 c | 16926 | 55357 438641 1772752 | 2147483647 15677 21 | 1.894 % |
18.38/18.47 c | 17036 | 55357 438641 1772752 | 2147483647 15787 21 | 1.894 % |
18.48/18.54 c | 17157 | 55344 438641 1772752 | 2147483647 15907 21 | 2.108 % |
18.48/18.60 c | 17292 | 55344 438641 1772752 | 2147483647 16042 21 | 2.108 % |
18.58/18.69 c | 17439 | 55344 438641 1772752 | 2147483647 16189 21 | 2.108 % |
18.68/18.77 c | 17600 | 55344 438641 1772752 | 2147483647 16350 21 | 2.108 % |
18.78/18.90 c | 17776 | 55344 438641 1772752 | 2147483647 16526 21 | 2.108 % |
18.98/19.03 c | 17970 | 55204 435396 1760490 | 2147483647 16438 22 | 2.108 % |
18.98/19.06 c | 18182 | 55204 435396 1760490 | 2147483647 16650 22 | 2.108 % |
19.06/19.13 c | 18416 | 55204 435396 1760490 | 2147483647 16884 22 | 2.108 % |
19.26/19.36 c | 18672 | 55194 435396 1760490 | 2147483647 17138 22 | 2.130 % |
19.36/19.50 c | 18955 | 55194 435396 1760490 | 2147483647 17421 22 | 2.130 % |
19.56/19.68 c | 19265 | 55188 435396 1760490 | 2147483647 17729 22 | 2.140 % |
19.86/20.01 c | 19604 | 55188 435396 1760490 | 2147483647 18068 22 | 2.140 % |
19.96/20.09 c | 19976 | 55188 435396 1760490 | 2147483647 18440 22 | 2.140 % |
20.06/20.15 c | 20076 | 55188 435396 1760490 | 2147483647 18540 22 | 2.140 % |
20.16/20.24 c | 20188 | 55188 435396 1760490 | 2147483647 18652 22 | 2.140 % |
20.26/20.35 c | 20309 | 55188 435396 1760490 | 2147483647 18773 22 | 2.140 % |
20.36/20.44 c | 20442 | 55188 435396 1760490 | 2147483647 18906 22 | 2.140 % |
20.46/20.52 c | 20588 | 55188 435396 1760490 | 2147483647 19052 22 | 2.140 % |
20.56/20.65 c | 20748 | 55188 435396 1760490 | 2147483647 19212 22 | 2.140 % |
20.66/20.73 c | 20926 | 55188 435396 1760490 | 2147483647 19390 22 | 2.140 % |
20.76/20.82 c | 21120 | 55188 435396 1760490 | 2147483647 19584 22 | 2.140 % |
20.86/21.00 c | 21332 | 55186 435037 1759017 | 2147483647 19746 22 | 2.140 % |
20.96/21.07 c | 21568 | 55186 435037 1759017 | 2147483647 19982 23 | 2.140 % |
21.16/21.26 c | 21824 | 55182 435037 1759017 | 2147483647 20236 23 | 2.151 % |
21.16/21.29 c | 22105 | 55182 435037 1759017 | 2147483647 20517 22 | 2.151 % |
21.26/21.38 c | 22414 | 55182 435037 1759017 | 2147483647 20826 23 | 2.151 % |
21.36/21.52 c | 22754 | 55182 435037 1759017 | 2147483647 21166 23 | 2.151 % |
21.66/21.76 c | 23126 | 55180 435037 1759017 | 2147483647 21536 22 | 2.158 % |
21.86/21.93 c | 23535 | 55180 435037 1759017 | 2147483647 21945 23 | 2.158 % |
21.86/21.98 c | 23635 | 55180 435037 1759017 | 2147483647 22045 23 | 2.158 % |
21.96/22.03 c | 23745 | 55180 435037 1759017 | 2147483647 22155 23 | 2.158 % |
22.06/22.12 c | 23868 | 55180 435037 1759017 | 2147483647 22278 23 | 2.158 % |
22.06/22.15 c | 24004 | 55180 435037 1759017 | 2147483647 22414 23 | 2.158 % |
22.16/22.27 c | 24150 | 55180 435037 1759017 | 2147483647 22560 23 | 2.158 % |
22.26/22.32 c | 24312 | 55180 435037 1759017 | 2147483647 22722 23 | 2.158 % |
22.26/22.37 c | 24488 | 55180 435037 1759017 | 2147483647 22898 23 | 2.158 % |
22.36/22.48 c | 24681 | 55178 435037 1759017 | 2147483647 23090 23 | 2.162 % |
22.46/22.52 c | 24896 | 55178 435037 1759017 | 2147483647 23305 23 | 2.162 % |
22.46/22.60 c | 25131 | 55178 435037 1759017 | 2147483647 23540 23 | 2.162 % |
22.66/22.80 c | 25388 | 55178 435037 1759017 | 2147483647 23797 23 | 2.162 % |
22.76/22.88 c | 25673 | 55174 434936 1758609 | 2147483647 23992 24 | 2.162 % |
22.86/22.96 c | 25984 | 55174 434936 1758609 | 2147483647 24303 24 | 2.162 % |
22.86/23.01 c | 26323 | 55174 434936 1758609 | 2147483647 24642 24 | 2.162 % |
23.04/23.15 c | 26696 | 55174 434936 1758609 | 2147483647 25015 24 | 2.162 % |
23.24/23.36 c | 27105 | 55174 434936 1758609 | 2147483647 25424 24 | 2.162 % |
23.54/23.66 c | 27554 | 55174 434936 1758609 | 2147483647 25873 24 | 2.162 % |
23.54/23.71 c | 27657 | 55174 434936 1758609 | 2147483647 25976 24 | 2.162 % |
23.64/23.73 c | 27767 | 55174 434936 1758609 | 2147483647 26086 24 | 2.162 % |
23.64/23.80 c | 27888 | 55174 434936 1758609 | 2147483647 26207 24 | 2.162 % |
23.74/23.82 c | 28022 | 55174 434936 1758609 | 2147483647 26341 24 | 2.162 % |
23.74/23.91 c | 28168 | 55174 434936 1758609 | 2147483647 26487 24 | 2.162 % |
23.94/24.06 c | 28328 | 55174 434936 1758609 | 2147483647 26647 24 | 2.162 % |
24.04/24.15 c | 28505 | 55174 434936 1758609 | 2147483647 26824 24 | 2.162 % |
24.14/24.23 c | 28698 | 55164 434936 1758609 | 2147483647 27016 24 | 2.179 % |
24.24/24.36 c | 28911 | 55164 434936 1758609 | 2147483647 27229 24 | 2.179 % |
24.34/24.45 c | 29144 | 55164 434936 1758609 | 2147483647 27462 24 | 2.179 % |
24.44/24.57 c | 29403 | 55164 434936 1758609 | 2147483647 27721 25 | 2.179 % |
24.54/24.71 c | 29684 | 55164 434936 1758609 | 2147483647 28002 25 | 2.179 % |
24.74/24.86 c | 29993 | 55164 434936 1758609 | 2147483647 28311 25 | 2.179 % |
24.84/24.95 c | 30333 | 55164 434936 1758609 | 2147483647 28651 25 | 2.179 % |
25.04/25.17 c | 30705 | 55164 434639 1757119 | 2147483647 29022 25 | 2.179 % |
25.14/25.28 c | 31114 | 55164 434639 1757119 | 2147483647 29431 25 | 2.179 % |
25.34/25.50 c | 31563 | 55164 434639 1757119 | 2147483647 29880 25 | 2.179 % |
25.64/25.80 c | 32058 | 55164 434639 1757119 | 2147483647 30375 25 | 2.179 % |
25.74/25.83 c | 32159 | 55164 434639 1757119 | 2147483647 30476 25 | 2.179 % |
25.74/25.90 c | 32270 | 55164 434639 1757119 | 2147483647 30587 25 | 2.179 % |
25.84/25.94 c | 32391 | 55164 434639 1757119 | 2147483647 30708 25 | 2.179 % |
25.84/26.01 c | 32525 | 55164 434639 1757119 | 2147483647 30842 25 | 2.179 % |
25.94/26.03 c | 32671 | 55164 434639 1757119 | 2147483647 30988 25 | 2.179 % |
26.04/26.16 c | 32831 | 55164 434639 1757119 | 2147483647 31148 26 | 2.179 % |
26.14/26.25 c | 33007 | 55164 434639 1757119 | 2147483647 31324 25 | 2.179 % |
26.14/26.28 c | 33201 | 55164 434639 1757119 | 2147483647 31518 25 | 2.179 % |
26.34/26.46 c | 33413 | 55164 434639 1757119 | 2147483647 31730 26 | 2.179 % |
26.44/26.54 c | 33646 | 55164 434639 1757119 | 2147483647 31963 26 | 2.179 % |
26.54/26.65 c | 33902 | 55164 434639 1757119 | 2147483647 32219 26 | 2.179 % |
26.64/26.78 c | 34183 | 55161 434639 1757119 | 2147483647 32499 26 | 2.186 % |
26.74/26.88 c | 34492 | 55161 434639 1757119 | 2147483647 32808 26 | 2.186 % |
26.84/26.94 c | 34831 | 55161 434639 1757119 | 2147483647 33147 26 | 2.186 % |
26.94/27.07 c | 35203 | 55161 434639 1757119 | 2147483647 33519 26 | 2.186 % |
27.12/27.25 c | 35612 | 55161 434639 1757119 | 2147483647 33928 26 | 2.186 % |
27.22/27.39 c | 36061 | 55161 434639 1757119 | 2147483647 34377 27 | 2.186 % |
27.32/27.50 c | 36554 | 55160 434592 1756896 | 2147483647 34823 27 | 2.186 % |
27.62/27.78 c | 37097 | 55159 434592 1756896 | 2147483647 35365 27 | 2.188 % |
27.72/27.88 c | 37197 | 55159 434592 1756896 | 2147483647 35465 27 | 2.188 % |
27.72/27.91 c | 37308 | 55159 434592 1756896 | 2147483647 35576 27 | 2.188 % |
27.82/28.00 c | 37429 | 55158 434592 1756896 | 2147483647 35696 27 | 2.192 % |
27.92/28.03 c | 37562 | 55158 434592 1756896 | 2147483647 35829 27 | 2.192 % |
28.02/28.16 c | 37708 | 55158 434592 1756896 | 2147483647 35975 27 | 2.192 % |
28.02/28.19 c | 37870 | 55158 434592 1756896 | 2147483647 36137 27 | 2.192 % |
28.12/28.30 c | 38046 | 55158 434592 1756896 | 2147483647 36313 27 | 2.192 % |
28.22/28.36 c | 38239 | 55158 434592 1756896 | 2147483647 36506 27 | 2.192 % |
28.32/28.46 c | 38451 | 55158 434592 1756896 | 2147483647 36718 27 | 2.192 % |
28.42/28.58 c | 38684 | 55158 434592 1756896 | 2147483647 36951 27 | 2.192 % |
28.62/28.79 c | 38940 | 55158 434592 1756896 | 2147483647 37207 27 | 2.192 % |
28.82/28.95 c | 39222 | 55158 434592 1756896 | 2147483647 37489 27 | 2.192 % |
29.01/29.14 c | 39533 | 55158 434592 1756896 | 2147483647 37800 27 | 2.192 % |
29.10/29.30 c | 39873 | 55158 434592 1756896 | 2147483647 38140 27 | 2.192 % |
29.30/29.46 c | 40245 | 55158 434592 1756896 | 2147483647 38512 28 | 2.192 % |
29.40/29.53 c | 40655 | 55158 434592 1756896 | 2147483647 38922 27 | 2.192 % |
29.70/29.82 c | 41104 | 55158 434592 1756896 | 2147483647 39371 28 | 2.192 % |
29.90/30.05 c | 41597 | 55158 434592 1756896 | 2147483647 39864 28 | 2.192 % |
30.10/30.27 c | 42139 | 55157 434298 1755426 | 2147483647 40400 28 | 2.192 % |
30.20/30.36 c | 42735 | 55157 434298 1755426 | 2147483647 40996 28 | 2.192 % |
30.30/30.44 c | 42837 | 55156 434298 1755426 | 2147483647 41097 28 | 2.195 % |
30.30/30.49 c | 42949 | 55156 434298 1755426 | 2147483647 41209 28 | 2.195 % |
30.40/30.53 c | 43070 | 55156 434298 1755426 | 2147483647 41330 28 | 2.195 % |
30.40/30.59 c | 43203 | 55156 434298 1755426 | 2147483647 41463 28 | 2.195 % |
30.50/30.69 c | 43349 | 55156 434298 1755426 | 2147483647 41609 28 | 2.195 % |
30.60/30.72 c | 43509 | 55156 434298 1755426 | 2147483647 41769 28 | 2.195 % |
30.60/30.80 c | 43685 | 55156 434298 1755426 | 2147483647 41945 29 | 2.195 % |
30.70/30.82 c | 43878 | 55156 434298 1755426 | 2147483647 42138 29 | 2.195 % |
30.70/30.91 c | 44090 | 55156 434298 1755426 | 2147483647 42350 29 | 2.195 % |
30.90/31.07 c | 44324 | 55156 434298 1755426 | 2147483647 42584 29 | 2.195 % |
31.00/31.16 c | 44581 | 55156 434298 1755426 | 2147483647 42841 29 | 2.195 % |
31.10/31.26 c | 44863 | 55156 434298 1755426 | 2147483647 43123 29 | 2.195 % |
31.20/31.35 c | 45173 | 55156 434298 1755426 | 2147483647 43433 29 | 2.195 % |
31.40/31.53 c | 45514 | 55156 434298 1755426 | 2147483647 43774 29 | 2.195 % |
31.40/31.59 c | 45886 | 55156 434298 1755426 | 2147483647 44146 29 | 2.195 % |
31.50/31.67 c | 46295 | 55156 434298 1755426 | 2147483647 44555 29 | 2.195 % |
31.60/31.81 c | 46745 | 55156 434298 1755426 | 2147483647 45005 29 | 2.195 % |
31.80/31.98 c | 47240 | 55156 434298 1755426 | 2147483647 45500 29 | 2.195 % |
32.10/32.25 c | 47782 | 55156 434298 1755426 | 2147483647 46042 29 | 2.195 % |
32.50/32.63 c | 48378 | 55156 434298 1755426 | 2147483647 46638 29 | 2.195 % |
32.70/32.89 c | 49033 | 55156 434298 1755426 | 2147483647 47293 30 | 2.195 % |
32.80/32.95 c | 49133 | 55156 434298 1755426 | 2147483647 47393 30 | 2.195 % |
32.80/33.01 c | 49243 | 55156 434298 1755426 | 2147483647 47503 30 | 2.195 % |
32.90/33.06 c | 49365 | 55156 434298 1755426 | 2147483647 47625 30 | 2.195 % |
32.90/33.09 c | 49499 | 55156 434298 1755426 | 2147483647 47759 30 | 2.195 % |
33.00/33.12 c | 49646 | 55156 434298 1755426 | 2147483647 47906 30 | 2.195 % |
33.00/33.21 c | 49806 | 55155 434154 1754840 | 2147483647 48056 30 | 2.195 % |
33.20/33.37 c | 49982 | 55155 434154 1754840 | 2147483647 48232 30 | 2.195 % |
33.30/33.42 c | 50175 | 55155 434154 1754840 | 2147483647 48425 30 | 2.195 % |
33.40/33.52 c | 50387 | 55155 434154 1754840 | 2147483647 48637 30 | 2.195 % |
33.40/33.57 c | 50620 | 55155 434154 1754840 | 2147483647 48870 30 | 2.195 % |
33.50/33.63 c | 50881 | 55155 434154 1754840 | 2147483647 49131 30 | 2.195 % |
33.50/33.68 c | 51162 | 55155 434154 1754840 | 2147483647 49412 30 | 2.195 % |
33.60/33.73 c | 51471 | 55155 434154 1754840 | 2147483647 49721 30 | 2.195 % |
33.70/33.85 c | 51812 | 55155 434154 1754840 | 2147483647 50062 30 | 2.195 % |
33.80/33.93 c | 52184 | 55155 434154 1754840 | 2147483647 50434 30 | 2.195 % |
33.80/34.01 c | 52593 | 55155 434154 1754840 | 2147483647 50843 30 | 2.195 % |
34.10/34.27 c | 53043 | 55154 434154 1754840 | 2147483647 51292 30 | 2.197 % |
34.20/34.40 c | 53540 | 55154 434154 1754840 | 2147483647 51789 30 | 2.197 % |
34.60/34.74 c | 54082 | 55154 434154 1754840 | 2147483647 52331 30 | 2.197 % |
34.80/34.96 c | 54678 | 55154 434154 1754840 | 2147483647 52927 31 | 2.197 % |
35.08/35.24 c | 55333 | 55154 434154 1754840 | 2147483647 53582 31 | 2.197 % |
35.18/35.40 c | 56053 | 55154 434154 1754840 | 2147483647 54302 31 | 2.197 % |
35.28/35.51 c | 56153 | 55154 434154 1754840 | 2147483647 54402 31 | 2.197 % |
35.38/35.55 c | 56263 | 55154 434154 1754840 | 2147483647 54512 31 | 2.197 % |
35.48/35.64 c | 56385 | 55154 434154 1754840 | 2147483647 54634 31 | 2.197 % |
35.48/35.69 c | 56520 | 55154 434154 1754840 | 2147483647 54769 31 | 2.197 % |
35.58/35.76 c | 56666 | 55154 434154 1754840 | 2147483647 54915 31 | 2.197 % |
35.68/35.83 c | 56826 | 55154 434154 1754840 | 2147483647 55075 31 | 2.197 % |
35.68/35.85 c | 57002 | 55154 434154 1754840 | 2147483647 55251 31 | 2.197 % |
35.78/35.96 c | 57195 | 55154 434154 1754840 | 2147483647 55444 31 | 2.197 % |
35.78/36.01 c | 57407 | 55154 434154 1754840 | 2147483647 55656 31 | 2.197 % |
35.88/36.06 c | 57641 | 55154 434154 1754840 | 2147483647 55890 31 | 2.197 % |
36.08/36.22 c | 57904 | 55154 434154 1754840 | 2147483647 56153 31 | 2.197 % |
36.18/36.36 c | 58185 | 55154 434154 1754840 | 2147483647 56434 31 | 2.197 % |
36.38/36.57 c | 58495 | 55154 434154 1754840 | 2147483647 56744 31 | 2.197 % |
36.68/36.86 c | 58834 | 55149 434154 1754840 | 2147483647 57082 31 | 2.208 % |
36.78/37.00 c | 59206 | 55148 433989 1754117 | 2147483647 57437 31 | 2.208 % |
37.08/37.30 c | 59616 | 55148 433989 1754117 | 2147483647 57847 31 | 2.208 % |
37.28/37.42 c | 60067 | 55148 433989 1754117 | 2147483647 58298 31 | 2.208 % |
37.48/37.66 c | 60560 | 55145 433989 1754117 | 2147483647 58790 31 | 2.225 % |
37.58/37.80 c | 61102 | 55145 433989 1754117 | 2147483647 59332 31 | 2.225 % |
37.68/37.89 c | 61700 | 55145 433989 1754117 | 2147483647 59930 31 | 2.225 % |
37.78/37.99 c | 62356 | 55145 433989 1754117 | 2147483647 60586 31 | 2.225 % |
37.98/38.15 c | 63077 | 55145 433989 1754117 | 2147483647 61307 32 | 2.225 % |
38.28/38.49 c | 63870 | 55145 433989 1754117 | 2147483647 62100 32 | 2.225 % |
38.38/38.53 c | 63970 | 55145 433989 1754117 | 2147483647 62200 32 | 2.225 % |
38.38/38.55 c | 64082 | 55145 433989 1754117 | 2147483647 62312 32 | 2.225 % |
38.48/38.64 c | 64203 | 55145 433989 1754117 | 2147483647 62433 32 | 2.225 % |
38.48/38.71 c | 64338 | 55145 433989 1754117 | 2147483647 62568 32 | 2.225 % |
38.58/38.78 c | 64484 | 55145 433989 1754117 | 2147483647 62714 32 | 2.225 % |
38.68/38.85 c | 64644 | 55145 433989 1754117 | 2147483647 62874 32 | 2.225 % |
38.68/38.88 c | 64820 | 55145 433989 1754117 | 2147483647 63050 32 | 2.225 % |
38.88/39.03 c | 65013 | 55145 433989 1754117 | 2147483647 63243 32 | 2.225 % |
38.88/39.09 c | 65225 | 55145 433989 1754117 | 2147483647 63455 32 | 2.225 % |
38.98/39.12 c | 65459 | 55145 433989 1754117 | 2147483647 63689 32 | 2.225 % |
39.06/39.23 c | 65716 | 55145 433989 1754117 | 2147483647 63946 32 | 2.225 % |
39.06/39.27 c | 65997 | 55145 433989 1754117 | 2147483647 64227 32 | 2.225 % |
39.16/39.37 c | 66308 | 55145 433989 1754117 | 2147483647 64538 32 | 2.225 % |
39.16/39.40 c | 66649 | 55145 433989 1754117 | 2147483647 64879 32 | 2.225 % |
39.36/39.56 c | 67021 | 55145 433989 1754117 | 2147483647 65251 32 | 2.225 % |
39.56/39.72 c | 67431 | 55145 433989 1754117 | 2147483647 65661 32 | 2.225 % |
39.66/39.87 c | 67880 | 55145 433989 1754117 | 2147483647 66110 32 | 2.225 % |
39.76/40.00 c | 68376 | 55145 433989 1754117 | 2147483647 66606 32 | 2.225 % |
39.86/40.08 c | 68918 | 55145 433989 1754117 | 2147483647 67148 33 | 2.225 % |
40.06/40.24 c | 69518 | 55145 433989 1754117 | 2147483647 67748 33 | 2.225 % |
40.16/40.40 c | 70173 | 55145 433989 1754117 | 2147483647 68403 33 | 2.225 % |
40.36/40.59 c | 70893 | 55145 433989 1754117 | 2147483647 69123 33 | 2.225 % |
40.66/40.84 c | 71685 | 55145 433989 1754117 | 2147483647 69915 33 | 2.225 % |
40.66/40.92 c | 72556 | 55145 433989 1754117 | 2147483647 70786 33 | 2.225 % |
40.86/41.10 c | 72657 | 55145 433989 1754117 | 2147483647 70887 33 | 2.225 % |
40.86/41.11 c | 72767 | 55145 433989 1754117 | 2147483647 70997 33 | 2.225 % |
41.16/41.34 c | 72889 | 55145 433989 1754117 | 2147483647 71119 33 | 2.225 % |
41.26/41.46 c | 73023 | 55138 433687 1753158 | 2147483647 71250 33 | 2.225 % |
41.26/41.47 c | 73169 | 55138 433687 1753158 | 2147483647 71396 33 | 2.225 % |
41.46/41.62 c | 73329 | 55138 433687 1753158 | 2147483647 71556 33 | 2.225 % |
41.56/41.80 c | 73505 | 55138 433687 1753158 | 2147483647 71732 33 | 2.225 % |
41.67/41.91 c | 73698 | 55136 433687 1753158 | 2147483647 71924 33 | 2.229 % |
41.76/41.96 c | 73910 | 55136 433687 1753158 | 2147483647 72136 33 | 2.229 % |
41.86/42.02 c | 74143 | 55136 433687 1753158 | 2147483647 72369 33 | 2.229 % |
41.86/42.09 c | 74401 | 55136 433687 1753158 | 2147483647 72627 33 | 2.229 % |
41.96/42.16 c | 74683 | 55136 433687 1753158 | 2147483647 72909 33 | 2.229 % |
42.16/42.36 c | 74993 | 55136 433687 1753158 | 2147483647 73219 33 | 2.229 % |
42.16/42.40 c | 75336 | 55136 433687 1753158 | 2147483647 73562 33 | 2.229 % |
42.26/42.48 c | 75709 | 55136 433687 1753158 | 2147483647 73935 33 | 2.229 % |
42.66/42.84 c | 76118 | 55136 433687 1753158 | 2147483647 74344 34 | 2.229 % |
42.77/42.93 c | 76567 | 55136 433687 1753158 | 2147483647 74793 34 | 2.229 % |
42.86/43.04 c | 77061 | 55136 433687 1753158 | 2147483647 75287 34 | 2.229 % |
43.04/43.22 c | 77603 | 55136 433687 1753158 | 2147483647 75829 34 | 2.229 % |
43.24/43.45 c | 78202 | 55136 433687 1753158 | 2147483647 76428 34 | 2.229 % |
43.34/43.56 c | 78857 | 55136 433687 1753158 | 2147483647 77083 34 | 2.229 % |
43.54/43.79 c | 79579 | 55136 433687 1753158 | 2147483647 77805 34 | 2.229 % |
43.74/43.94 c | 80371 | 55136 433687 1753158 | 2147483647 78597 34 | 2.229 % |
44.04/44.31 c | 81242 | 55136 433687 1753158 | 2147483647 79468 34 | 2.229 % |
44.34/44.57 c | 82200 | 55136 433687 1753158 | 2147483647 80426 34 | 2.229 % |
44.54/44.73 c | 82300 | 55136 433687 1753158 | 2147483647 80526 34 | 2.229 % |
44.54/44.77 c | 82418 | 55136 433687 1753158 | 2147483647 80644 34 | 2.229 % |
44.64/44.86 c | 82545 | 55136 433687 1753158 | 2147483647 80771 34 | 2.229 % |
44.74/44.95 c | 82681 | 55136 433687 1753158 | 2147483647 80907 34 | 2.229 % |
44.84/45.03 c | 82830 | 55136 433687 1753158 | 2147483647 81056 34 | 2.229 % |
44.84/45.06 c | 82990 | 55136 433687 1753158 | 2147483647 81216 34 | 2.229 % |
45.04/45.22 c | 83166 | 55136 433687 1753158 | 2147483647 81392 34 | 2.229 % |
45.04/45.31 c | 83360 | 55136 433687 1753158 | 2147483647 81586 34 | 2.229 % |
45.14/45.38 c | 83572 | 55136 433687 1753158 | 2147483647 81798 34 | 2.229 % |
45.24/45.49 c | 83805 | 55136 433687 1753158 | 2147483647 82031 34 | 2.229 % |
45.44/45.62 c | 84062 | 55136 433687 1753158 | 2147483647 82288 35 | 2.229 % |
45.44/45.71 c | 84343 | 55136 433687 1753158 | 2147483647 82569 35 | 2.229 % |
45.74/45.93 c | 84652 | 55136 433687 1753158 | 2147483647 82878 35 | 2.229 % |
45.84/46.05 c | 84992 | 55136 433687 1753158 | 2147483647 83218 35 | 2.229 % |
45.94/46.16 c | 85368 | 55136 433687 1753158 | 2147483647 83594 35 | 2.229 % |
45.94/46.20 c | 85777 | 55136 433687 1753158 | 2147483647 84003 35 | 2.229 % |
46.24/46.42 c | 86226 | 55136 433687 1753158 | 2147483647 84452 35 | 2.229 % |
46.54/46.75 c | 86725 | 55136 433687 1753158 | 2147483647 84951 35 | 2.229 % |
46.74/46.97 c | 87267 | 55136 433687 1753158 | 2147483647 85493 35 | 2.229 % |
46.94/47.17 c | 87864 | 55136 433687 1753158 | 2147483647 86090 35 | 2.229 % |
47.32/47.54 c | 88521 | 55136 433687 1753158 | 2147483647 86747 35 | 2.229 % |
47.52/47.78 c | 89241 | 55136 433687 1753158 | 2147483647 87467 35 | 2.229 % |
47.72/47.93 c | 90035 | 55136 433687 1753158 | 2147483647 88261 35 | 2.229 % |
47.92/48.21 c | 90906 | 55136 433674 1753117 | 2147483647 89110 35 | 2.229 % |
48.62/48.87 c | 91864 | 55136 433674 1753117 | 2147483647 90068 36 | 2.229 % |
48.92/49.18 c | 92921 | 55136 433674 1753117 | 2147483647 91125 36 | 2.229 % |
49.01/49.26 c | 93022 | 55136 433674 1753117 | 2147483647 91226 36 | 2.229 % |
49.10/49.33 c | 93133 | 55136 433674 1753117 | 2147483647 91337 36 | 2.229 % |
49.20/49.43 c | 93254 | 55136 433674 1753117 | 2147483647 91458 36 | 2.229 % |
49.31/49.54 c | 93388 | 55136 433674 1753117 | 2147483647 91592 36 | 2.229 % |
49.40/49.65 c | 93535 | 55136 433674 1753117 | 2147483647 91739 36 | 2.229 % |
49.40/49.71 c | 93695 | 55136 433674 1753117 | 2147483647 91899 36 | 2.229 % |
49.50/49.77 c | 93871 | 55136 433674 1753117 | 2147483647 92075 36 | 2.229 % |
49.60/49.82 c | 94064 | 55136 433674 1753117 | 2147483647 92268 36 | 2.229 % |
49.70/49.92 c | 94280 | 55136 433674 1753117 | 2147483647 92484 36 | 2.229 % |
49.70/50.00 c | 94513 | 55136 433674 1753117 | 2147483647 92717 36 | 2.229 % |
49.80/50.11 c | 94770 | 55136 433674 1753117 | 2147483647 92974 36 | 2.229 % |
50.00/50.24 c | 95051 | 55136 433674 1753117 | 2147483647 93255 36 | 2.229 % |
50.00/50.31 c | 95361 | 55136 433674 1753117 | 2147483647 93565 36 | 2.229 % |
50.10/50.35 c | 95700 | 55136 433674 1753117 | 2147483647 93904 36 | 2.229 % |
50.20/50.51 c | 96074 | 55136 433674 1753117 | 2147483647 94278 36 | 2.229 % |
50.41/50.64 c | 96484 | 55136 433674 1753117 | 2147483647 94688 36 | 2.229 % |
50.50/50.76 c | 96935 | 55136 433674 1753117 | 2147483647 95139 36 | 2.229 % |
50.70/50.95 c | 97428 | 55136 433674 1753117 | 2147483647 95632 36 | 2.229 % |
51.00/51.27 c | 97970 | 55136 433674 1753117 | 2147483647 96174 36 | 2.229 % |
51.20/51.46 c | 98566 | 55136 433674 1753117 | 2147483647 96770 36 | 2.229 % |
51.30/51.59 c | 99222 | 55136 433674 1753117 | 2147483647 97426 36 | 2.229 % |
51.51/51.75 c | 99942 | 55136 433674 1753117 | 2147483647 98146 36 | 2.229 % |
51.70/51.93 c | 100735 | 55136 433674 1753117 | 2147483647 98939 36 | 2.229 % |
52.00/52.26 c | 101606 | 55136 433674 1753117 | 2147483647 99810 36 | 2.229 % |
52.30/52.60 c | 102564 | 55136 433674 1753117 | 2147483647 100768 36 | 2.229 % |
52.70/52.96 c | 103617 | 55136 433674 1753117 | 2147483647 101821 36 | 2.229 % |
53.80/54.09 c | 104775 | 55136 433674 1753117 | 2147483647 102979 36 | 2.229 % |
53.90/54.14 c | 104876 | 55136 433674 1753117 | 2147483647 103080 36 | 2.229 % |
53.90/54.21 c | 104986 | 55136 433674 1753117 | 2147483647 103190 36 | 2.229 % |
54.00/54.26 c | 105107 | 55130 433674 1753117 | 2147483647 103310 36 | 2.240 % |
54.10/54.37 c | 105240 | 55130 433674 1753117 | 2147483647 103443 36 | 2.240 % |
54.30/54.53 c | 105386 | 55130 433674 1753117 | 2147483647 103589 36 | 2.240 % |
54.40/54.63 c | 105546 | 55130 433674 1753117 | 2147483647 103749 36 | 2.240 % |
54.40/54.71 c | 105722 | 55130 433674 1753117 | 2147483647 103925 36 | 2.240 % |
54.50/54.77 c | 105915 | 55130 433674 1753117 | 2147483647 104118 36 | 2.240 % |
54.60/54.90 c | 106128 | 55130 433674 1753117 | 2147483647 104331 36 | 2.240 % |
54.70/55.00 c | 106361 | 55130 433674 1753117 | 2147483647 104564 36 | 2.240 % |
54.90/55.12 c | 106617 | 55130 433674 1753117 | 2147483647 104820 36 | 2.240 % |
55.00/55.22 c | 106898 | 55130 433674 1753117 | 2147483647 105101 36 | 2.240 % |
55.08/55.32 c | 107208 | 55130 433674 1753117 | 2147483647 105411 36 | 2.240 % |
55.28/55.53 c | 107548 | 55130 433674 1753117 | 2147483647 105751 36 | 2.240 % |
55.38/55.70 c | 107920 | 55130 433674 1753117 | 2147483647 106123 36 | 2.240 % |
55.58/55.87 c | 108329 | 55130 433674 1753117 | 2147483647 106532 36 | 2.240 % |
55.68/56.01 c | 108778 | 55130 433674 1753117 | 2147483647 106981 36 | 2.240 % |
55.78/56.06 c | 109271 | 55130 433674 1753117 | 2147483647 107474 36 | 2.240 % |
55.89/56.20 c | 109813 | 55130 433674 1753117 | 2147483647 108016 36 | 2.240 % |
56.18/56.45 c | 110410 | 55130 433674 1753117 | 2147483647 108613 36 | 2.240 % |
56.38/56.68 c | 111065 | 55130 433594 1752715 | 2147483647 109244 36 | 2.240 % |
57.08/57.38 c | 111788 | 55129 433594 1752715 | 2147483647 109966 36 | 2.243 % |
57.28/57.52 c | 112580 | 55129 433594 1752715 | 2147483647 110758 36 | 2.243 % |
57.78/58.08 c | 113452 | 55129 433594 1752715 | 2147483647 111630 37 | 2.243 % |
58.09/58.34 c | 114410 | 55129 433594 1752715 | 2147483647 112588 37 | 2.243 % |
58.28/58.59 c | 115463 | 55129 433594 1752715 | 2147483647 113641 37 | 2.243 % |
58.88/59.21 c | 116621 | 55129 433594 1752715 | 2147483647 114799 37 | 2.243 % |
59.36/59.71 c | 117896 | 55129 433594 1752715 | 2147483647 116074 37 | 2.243 % |
59.46/59.78 c | 117997 | 55129 433594 1752715 | 2147483647 116175 37 | 2.243 % |
59.56/59.83 c | 118107 | 55129 433594 1752715 | 2147483647 116285 37 | 2.243 % |
59.56/59.88 c | 118231 | 55129 433594 1752715 | 2147483647 116409 37 | 2.243 % |
59.66/60.01 c | 118364 | 55129 433594 1752715 | 2147483647 116542 37 | 2.243 % |
59.76/60.07 c | 118510 | 55129 433594 1752715 | 2147483647 116688 37 | 2.243 % |
59.86/60.18 c | 118670 | 55129 433594 1752715 | 2147483647 116848 37 | 2.243 % |
59.96/60.31 c | 118847 | 55129 433594 1752715 | 2147483647 117025 37 | 2.243 % |
60.06/60.38 c | 119042 | 55129 433594 1752715 | 2147483647 117220 37 | 2.243 % |
60.27/60.59 c | 119254 | 55129 433594 1752715 | 2147483647 117432 37 | 2.243 % |
60.46/60.73 c | 119487 | 55129 433594 1752715 | 2147483647 117665 37 | 2.243 % |
60.66/60.93 c | 119743 | 55129 433594 1752715 | 2147483647 117921 37 | 2.243 % |
60.86/61.12 c | 120024 | 55129 433594 1752715 | 2147483647 118202 37 | 2.243 % |
60.96/61.28 c | 120333 | 55128 433594 1752715 | 2147483647 118510 37 | 2.245 % |
61.16/61.48 c | 120673 | 55128 433594 1752715 | 2147483647 118850 37 | 2.245 % |
61.56/61.85 c | 121046 | 55128 433594 1752715 | 2147483647 119223 37 | 2.245 % |
61.66/62.00 c | 121455 | 55128 433594 1752715 | 2147483647 119632 37 | 2.245 % |
61.76/62.08 c | 121904 | 55128 433594 1752715 | 2147483647 120081 37 | 2.245 % |
62.16/62.42 c | 122397 | 55128 433594 1752715 | 2147483647 120574 37 | 2.245 % |
62.26/62.53 c | 122939 | 55128 433594 1752715 | 2147483647 121116 37 | 2.245 % |
62.47/62.76 c | 123536 | 55128 433594 1752715 | 2147483647 121713 37 | 2.245 % |
62.66/63.00 c | 124195 | 55128 433594 1752715 | 2147483647 122372 37 | 2.245 % |
62.96/63.29 c | 124916 | 55128 433594 1752715 | 2147483647 123093 37 | 2.245 % |
63.34/63.62 c | 125709 | 55128 433594 1752715 | 2147483647 123886 37 | 2.245 % |
63.55/63.85 c | 126580 | 55128 433594 1752715 | 2147483647 124757 37 | 2.245 % |
64.14/64.44 c | 127538 | 55128 433594 1752715 | 2147483647 125715 37 | 2.245 % |
64.54/64.87 c | 128592 | 55128 433594 1752715 | 2147483647 126769 37 | 2.245 % |
65.14/65.45 c | 129750 | 55128 433594 1752715 | 2147483647 127927 37 | 2.245 % |
65.54/65.83 c | 131026 | 55128 433594 1752715 | 2147483647 129203 37 | 2.245 % |
66.44/66.78 c | 132426 | 55128 433594 1752715 | 2147483647 130603 37 | 2.245 % |
66.54/66.85 c | 132526 | 55128 433594 1752715 | 2147483647 130703 37 | 2.245 % |
66.64/66.93 c | 132636 | 55128 433594 1752715 | 2147483647 130813 37 | 2.245 % |
66.85/67.13 c | 132758 | 55127 433495 1752417 | 2147483647 130930 37 | 2.245 % |
66.94/67.24 c | 132892 | 55127 433495 1752417 | 2147483647 131064 37 | 2.245 % |
67.04/67.37 c | 133038 | 55127 433495 1752417 | 2147483647 131210 38 | 2.245 % |
67.14/67.48 c | 133198 | 55127 433495 1752417 | 2147483647 131370 37 | 2.245 % |
67.34/67.67 c | 133374 | 55127 433495 1752417 | 2147483647 131546 37 | 2.245 % |
67.44/67.76 c | 133567 | 55127 433495 1752417 | 2147483647 131739 38 | 2.245 % |
67.54/67.87 c | 133782 | 55127 433495 1752417 | 2147483647 131954 38 | 2.245 % |
67.64/67.96 c | 134016 | 55127 433495 1752417 | 2147483647 132188 38 | 2.245 % |
67.74/68.07 c | 134278 | 55127 433495 1752417 | 2147483647 132450 38 | 2.245 % |
68.14/68.49 c | 134559 | 55127 433495 1752417 | 2147483647 132731 38 | 2.245 % |
68.34/68.63 c | 134872 | 55127 433495 1752417 | 2147483647 133044 38 | 2.245 % |
68.64/68.96 c | 135212 | 55127 433495 1752417 | 2147483647 133384 38 | 2.245 % |
68.74/69.10 c | 135584 | 55127 433495 1752417 | 2147483647 133756 38 | 2.245 % |
68.94/69.30 c | 135993 | 55127 433495 1752417 | 2147483647 134165 38 | 2.245 % |
69.24/69.60 c | 136444 | 55127 433495 1752417 | 2147483647 134616 38 | 2.245 % |
69.74/70.03 c | 136937 | 55127 433495 1752417 | 2147483647 135109 38 | 2.245 % |
69.94/70.26 c | 137483 | 55127 433495 1752417 | 2147483647 135655 38 | 2.245 % |
70.34/70.64 c | 138079 | 55127 433495 1752417 | 2147483647 136251 38 | 2.245 % |
70.64/70.95 c | 138734 | 55127 433495 1752417 | 2147483647 136906 38 | 2.245 % |
70.94/71.30 c | 139454 | 55127 433495 1752417 | 2147483647 137626 38 | 2.245 % |
71.34/71.68 c | 140248 | 55126 433495 1752417 | 2147483647 138419 38 | 2.247 % |
71.64/71.99 c | 141120 | 55126 433495 1752417 | 2147483647 139291 38 | 2.247 % |
72.04/72.39 c | 142083 | 55126 433495 1752417 | 2147483647 140254 38 | 2.247 % |
72.35/72.70 c | 143136 | 55126 433495 1752417 | 2147483647 141307 38 | 2.247 % |
73.14/73.42 c | 144297 | 55126 433495 1752417 | 2147483647 142468 38 | 2.247 % |
73.74/74.05 c | 145572 | 55126 433495 1752417 | 2147483647 143743 38 | 2.247 % |
74.44/74.81 c | 146972 | 55126 433495 1752417 | 2147483647 145143 38 | 2.247 % |
76.14/76.46 c | 148519 | 55126 433495 1752417 | 2147483647 146690 39 | 2.247 % |
76.24/76.54 c | 148621 | 55126 433495 1752417 | 2147483647 146792 39 | 2.247 % |
76.34/76.65 c | 148732 | 55126 433495 1752417 | 2147483647 146903 39 | 2.247 % |
76.44/76.73 c | 148854 | 55126 433495 1752417 | 2147483647 147025 39 | 2.247 % |
76.54/76.83 c | 148989 | 55126 433495 1752417 | 2147483647 147160 39 | 2.247 % |
76.75/77.03 c | 149137 | 55126 433495 1752417 | 2147483647 147308 39 | 2.247 % |
76.84/77.13 c | 149303 | 55126 433495 1752417 | 2147483647 147474 39 | 2.247 % |
76.94/77.29 c | 149480 | 55126 433495 1752417 | 2147483647 147651 39 | 2.247 % |
77.04/77.39 c | 149677 | 55126 433495 1752417 | 2147483647 147848 39 | 2.247 % |
77.14/77.50 c | 149889 | 55126 433495 1752417 | 2147483647 148060 39 | 2.247 % |
77.34/77.66 c | 150122 | 55126 433495 1752417 | 2147483647 148293 39 | 2.247 % |
77.44/77.78 c | 150378 | 55126 433495 1752417 | 2147483647 148549 39 | 2.247 % |
77.74/78.03 c | 150659 | 55126 433495 1752417 | 2147483647 148830 39 | 2.247 % |
77.85/78.19 c | 150968 | 55126 433495 1752417 | 2147483647 149139 39 | 2.247 % |
78.24/78.56 c | 151310 | 55126 433495 1752417 | 2147483647 149481 39 | 2.247 % |
78.44/78.78 c | 151682 | 55126 433495 1752417 | 2147483647 149853 39 | 2.247 % |
78.74/79.04 c | 152091 | 55126 433495 1752417 | 2147483647 150262 39 | 2.247 % |
78.95/79.28 c | 152540 | 55126 433495 1752417 | 2147483647 150711 39 | 2.247 % |
79.34/79.63 c | 153034 | 55126 433495 1752417 | 2147483647 151205 39 | 2.247 % |
79.64/80.01 c | 153577 | 55126 433495 1752417 | 2147483647 151748 39 | 2.247 % |
79.84/80.21 c | 154173 | 55126 433495 1752417 | 2147483647 152344 39 | 2.247 % |
80.14/80.50 c | 154828 | 55126 433495 1752417 | 2147483647 152999 39 | 2.247 % |
80.44/80.73 c | 155549 | 55126 433495 1752417 | 2147483647 153720 39 | 2.247 % |
80.84/81.15 c | 156343 | 55126 433495 1752417 | 2147483647 154514 39 | 2.247 % |
81.04/81.42 c | 157216 | 55126 433495 1752417 | 2147483647 155387 39 | 2.247 % |
82.25/82.60 c | 158175 | 55126 433435 1752172 | 2147483647 156345 39 | 2.247 % |
82.84/83.15 c | 159228 | 55126 433435 1752172 | 2147483647 157398 39 | 2.247 % |
83.64/83.95 c | 160386 | 55126 433435 1752172 | 2147483647 158556 39 | 2.247 % |
84.45/84.73 c | 161660 | 55126 433435 1752172 | 2147483647 159830 39 | 2.247 % |
85.55/85.85 c | 163061 | 55118 433435 1752172 | 2147483647 161230 39 | 2.263 % |
86.54/86.82 c | 164602 | 55118 433435 1752172 | 2147483647 162771 39 | 2.263 % |
87.14/87.50 c | 166298 | 55118 433435 1752172 | 2147483647 164467 39 | 2.263 % |
87.25/87.56 c | 166398 | 55118 433435 1752172 | 2147483647 164567 39 | 2.263 % |
87.25/87.62 c | 166508 | 55118 433435 1752172 | 2147483647 164677 39 | 2.263 % |
87.35/87.71 c | 166629 | 55118 433435 1752172 | 2147483647 164798 39 | 2.263 % |
87.45/87.80 c | 166763 | 55118 433435 1752172 | 2147483647 164932 39 | 2.263 % |
87.55/87.91 c | 166909 | 55118 433435 1752172 | 2147483647 165078 39 | 2.263 % |
87.65/87.97 c | 167073 | 55118 433435 1752172 | 2147483647 165242 39 | 2.263 % |
87.85/88.14 c | 167249 | 55118 433435 1752172 | 2147483647 165418 39 | 2.263 % |
87.85/88.22 c | 167443 | 55118 433435 1752172 | 2147483647 165612 39 | 2.263 % |
88.05/88.34 c | 167655 | 55118 433435 1752172 | 2147483647 165824 39 | 2.263 % |
88.05/88.37 c | 167889 | 55118 433435 1752172 | 2147483647 166058 39 | 2.263 % |
88.25/88.57 c | 168145 | 55118 433435 1752172 | 2147483647 166314 39 | 2.263 % |
88.35/88.70 c | 168426 | 55118 433435 1752172 | 2147483647 166595 39 | 2.263 % |
88.55/88.91 c | 168735 | 55118 433435 1752172 | 2147483647 166904 39 | 2.263 % |
88.75/89.07 c | 169074 | 55118 433435 1752172 | 2147483647 167243 39 | 2.263 % |
88.95/89.27 c | 169449 | 55118 433435 1752172 | 2147483647 167618 39 | 2.263 % |
89.25/89.58 c | 169858 | 55118 433435 1752172 | 2147483647 168027 39 | 2.263 % |
89.55/89.90 c | 170308 | 55118 433435 1752172 | 2147483647 168477 39 | 2.263 % |
89.75/90.06 c | 170803 | 55118 433435 1752172 | 2147483647 168972 39 | 2.263 % |
90.15/90.47 c | 171347 | 55118 433435 1752172 | 2147483647 169516 39 | 2.263 % |
90.75/91.06 c | 171947 | 55118 433435 1752172 | 2147483647 170116 39 | 2.263 % |
91.15/91.47 c | 172603 | 55118 433435 1752172 | 2147483647 170772 39 | 2.263 % |
92.05/92.37 c | 173324 | 55118 433435 1752172 | 2147483647 171493 39 | 2.263 % |
92.65/92.95 c | 174116 | 55118 433435 1752172 | 2147483647 172285 39 | 2.263 % |
93.45/93.76 c | 174987 | 55118 433435 1752172 | 2147483647 173156 39 | 2.263 % |
93.95/94.28 c | 175945 | 55118 433435 1752172 | 2147483647 174114 39 | 2.263 % |
94.64/94.95 c | 177000 | 55117 433435 1752172 | 2147483647 175168 39 | 2.266 % |
95.44/95.73 c | 178158 | 55117 433435 1752172 | 2147483647 176326 39 | 2.266 % |
96.64/96.92 c | 179433 | 55117 433435 1752172 | 2147483647 177601 40 | 2.266 % |
98.74/99.08 c | 180833 | 55117 433435 1752172 | 2147483647 179001 40 | 2.266 % |
99.74/100.04 c | 182373 | 55117 433435 1752172 | 2147483647 180541 40 | 2.266 % |
100.74/101.04 c | 184068 | 55117 433435 1752172 | 2147483647 182236 40 | 2.266 % |
102.54/102.83 c | 185931 | 55117 433435 1752172 | 2147483647 184099 41 | 2.266 % |
102.74/103.09 c | 186032 | 55115 432999 1750197 | 2147483647 184161 41 | 2.266 % |
102.84/103.20 c | 186143 | 55115 432999 1750197 | 2147483647 184272 41 | 2.266 % |
102.94/103.26 c | 186264 | 55115 432999 1750197 | 2147483647 184393 41 | 2.266 % |
102.94/103.30 c | 186397 | 55115 432999 1750197 | 2147483647 184526 41 | 2.266 % |
103.14/103.45 c | 186544 | 55115 432999 1750197 | 2147483647 184673 41 | 2.266 % |
103.34/103.63 c | 186704 | 55115 432999 1750197 | 2147483647 184833 41 | 2.266 % |
103.44/103.79 c | 186882 | 55115 432999 1750197 | 2147483647 185011 41 | 2.266 % |
103.64/103.95 c | 187075 | 55115 432999 1750197 | 2147483647 185204 41 | 2.266 % |
103.74/104.09 c | 187290 | 55115 432999 1750197 | 2147483647 185419 41 | 2.266 % |
104.04/104.38 c | 187524 | 55115 432999 1750197 | 2147483647 185653 41 | 2.266 % |
104.44/104.77 c | 187781 | 55115 432999 1750197 | 2147483647 185910 41 | 2.266 % |
104.74/105.04 c | 188065 | 55115 432999 1750197 | 2147483647 186194 41 | 2.266 % |
105.04/105.35 c | 188374 | 55115 432999 1750197 | 2147483647 186503 41 | 2.266 % |
105.24/105.58 c | 188713 | 55115 432999 1750197 | 2147483647 186842 41 | 2.266 % |
105.64/105.96 c | 189085 | 55115 432999 1750197 | 2147483647 187214 41 | 2.266 % |
105.84/106.13 c | 189494 | 55115 432999 1750197 | 2147483647 187623 41 | 2.266 % |
106.34/106.62 c | 189943 | 55115 432999 1750197 | 2147483647 188072 41 | 2.266 % |
106.34/106.69 c | 190439 | 55115 432999 1750197 | 2147483647 188568 41 | 2.266 % |
107.04/107.32 c | 190981 | 55115 432999 1750197 | 2147483647 189110 41 | 2.266 % |
107.34/107.66 c | 191578 | 55115 432999 1750197 | 2147483647 189707 41 | 2.266 % |
107.74/108.05 c | 192233 | 55115 432999 1750197 | 2147483647 190362 41 | 2.266 % |
108.24/108.59 c | 192954 | 55115 432999 1750197 | 2147483647 191083 41 | 2.266 % |
108.74/109.10 c | 193748 | 55115 432999 1750197 | 2147483647 191877 41 | 2.266 % |
109.44/109.76 c | 194624 | 55115 432999 1750197 | 2147483647 192753 41 | 2.266 % |
110.04/110.38 c | 195585 | 55115 432999 1750197 | 2147483647 193714 41 | 2.266 % |
110.74/111.05 c | 196638 | 55115 432999 1750197 | 2147483647 194767 41 | 2.266 % |
111.34/111.68 c | 197796 | 55115 432999 1750197 | 2147483647 195925 41 | 2.266 % |
112.54/112.83 c | 199069 | 55115 432999 1750197 | 2147483647 197198 41 | 2.266 % |
113.54/113.84 c | 200469 | 55115 432999 1750197 | 2147483647 198598 41 | 2.266 % |
115.04/115.32 c | 202009 | 55115 432999 1750197 | 2147483647 200138 41 | 2.266 % |
116.74/117.09 c | 203705 | 55115 432999 1750197 | 2147483647 201834 41 | 2.266 % |
118.14/118.49 c | 205570 | 55115 432999 1750197 | 2147483647 203699 41 | 2.266 % |
119.74/120.05 c | 207620 | 55115 432999 1750197 | 2147483647 205749 41 | 2.266 % |
119.84/120.12 c | 207722 | 55115 432999 1750197 | 2147483647 205851 41 | 2.266 % |
119.84/120.18 c | 207837 | 55115 432999 1750197 | 2147483647 205966 41 | 2.266 % |
120.04/120.40 c | 207959 | 55115 432999 1750197 | 2147483647 206088 41 | 2.266 % |
120.24/120.57 c | 208093 | 55115 432999 1750197 | 2147483647 206222 41 | 2.266 % |
120.44/120.78 c | 208239 | 55115 432999 1750197 | 2147483647 206368 41 | 2.266 % |
120.64/120.97 c | 208405 | 55115 432999 1750197 | 2147483647 206534 41 | 2.266 % |
120.94/121.25 c | 208581 | 55115 432999 1750197 | 2147483647 206710 41 | 2.266 % |
121.14/121.45 c | 208774 | 55115 432999 1750197 | 2147483647 206903 41 | 2.266 % |
121.44/121.71 c | 208987 | 55115 432999 1750197 | 2147483647 207116 41 | 2.266 % |
121.64/121.99 c | 209223 | 55115 432999 1750197 | 2147483647 207352 41 | 2.266 % |
122.04/122.41 c | 209481 | 55115 432999 1750197 | 2147483647 207610 41 | 2.266 % |
122.34/122.63 c | 209763 | 55115 432999 1750197 | 2147483647 207892 41 | 2.266 % |
122.54/122.91 c | 210074 | 55115 432999 1750197 | 2147483647 208203 41 | 2.266 % |
122.94/123.27 c | 210414 | 55115 432999 1750197 | 2147483647 208543 41 | 2.266 % |
123.34/123.71 c | 210787 | 55115 432999 1750197 | 2147483647 208916 41 | 2.266 % |
123.74/124.03 c | 211196 | 55103 432999 1750197 | 2147483647 209324 41 | 2.298 % |
124.24/124.56 c | 211645 | 55103 432999 1750197 | 2147483647 209773 41 | 2.298 % |
124.44/124.75 c | 212138 | 55103 432999 1750197 | 2147483647 210266 41 | 2.298 % |
125.04/125.38 c | 212683 | 55103 432999 1750197 | 2147483647 210811 41 | 2.298 % |
125.94/126.29 c | 213279 | 55100 432999 1750197 | 2147483647 211407 41 | 2.298 % |
126.54/126.85 c | 213935 | 55100 432999 1750197 | 2147483647 212063 41 | 2.298 % |
127.64/127.92 c | 214657 | 55100 432999 1750197 | 2147483647 212785 41 | 2.298 % |
128.44/128.76 c | 215450 | 55100 432999 1750197 | 2147483647 213578 41 | 2.298 % |
129.04/129.41 c | 216321 | 55100 432999 1750197 | 2147483647 214449 41 | 2.298 % |
130.13/130.46 c | 217280 | 55100 432999 1750197 | 2147483647 215408 41 | 2.298 % |
131.43/131.80 c | 218334 | 55097 432672 1748985 | 2147483647 216391 41 | 2.298 % |
132.63/132.93 c | 219492 | 55097 432672 1748985 | 2147483647 217549 41 | 2.298 % |
133.63/133.99 c | 220765 | 55097 432672 1748985 | 2147483647 218822 41 | 2.298 % |
134.83/135.12 c | 222167 | 55097 432672 1748985 | 2147483647 220224 41 | 2.298 % |
136.13/136.45 c | 223707 | 55097 432672 1748985 | 2147483647 221764 41 | 2.298 % |
137.83/138.17 c | 225404 | 55097 432672 1748985 | 2147483647 223461 41 | 2.298 % |
139.13/139.50 c | 227267 | 55097 432672 1748985 | 2147483647 225324 41 | 2.298 % |
140.93/141.22 c | 229316 | 55093 432672 1748985 | 2147483647 227372 41 | 2.328 % |
142.63/142.98 c | 231569 | 55093 432672 1748985 | 2147483647 229625 41 | 2.328 % |
142.73/143.10 c | 231669 | 55093 432672 1748985 | 2147483647 229725 41 | 2.328 % |
142.93/143.23 c | 231779 | 55093 432672 1748985 | 2147483647 229835 41 | 2.328 % |
143.13/143.47 c | 231900 | 55093 432672 1748985 | 2147483647 229956 41 | 2.328 % |
143.33/143.65 c | 232037 | 55093 432672 1748985 | 2147483647 230093 41 | 2.328 % |
143.53/143.83 c | 232183 | 55093 432672 1748985 | 2147483647 230239 41 | 2.328 % |
143.73/144.06 c | 232343 | 55093 432672 1748985 | 2147483647 230399 41 | 2.328 % |
144.03/144.38 c | 232519 | 55093 432672 1748985 | 2147483647 230575 41 | 2.328 % |
144.23/144.59 c | 232713 | 55089 432672 1748985 | 2147483647 230768 41 | 2.335 % |
144.53/144.86 c | 232925 | 55089 432672 1748985 | 2147483647 230980 41 | 2.335 % |
144.83/145.20 c | 233158 | 55089 432672 1748985 | 2147483647 231213 41 | 2.335 % |
145.23/145.52 c | 233414 | 55089 432672 1748985 | 2147483647 231469 41 | 2.335 % |
145.23/145.57 c | 233695 | 55089 432672 1748985 | 2147483647 231750 41 | 2.335 % |
145.93/146.23 c | 234004 | 55089 432672 1748985 | 2147483647 232059 41 | 2.335 % |
146.23/146.57 c | 234346 | 55089 432672 1748985 | 2147483647 232401 41 | 2.335 % |
146.63/147.00 c | 234718 | 55089 432672 1748985 | 2147483647 232773 41 | 2.335 % |
147.03/147.41 c | 235129 | 55089 432672 1748985 | 2147483647 233184 41 | 2.335 % |
147.53/147.89 c | 235580 | 55089 432672 1748985 | 2147483647 233635 41 | 2.335 % |
148.23/148.55 c | 236073 | 55089 432672 1748985 | 2147483647 234128 41 | 2.335 % |
148.63/149.00 c | 236616 | 55089 432672 1748985 | 2147483647 234671 41 | 2.335 % |
149.33/149.66 c | 237213 | 55089 432672 1748985 | 2147483647 235268 41 | 2.335 % |
150.13/150.45 c | 237870 | 55089 432672 1748985 | 2147483647 235925 41 | 2.335 % |
151.03/151.34 c | 238590 | 55089 432672 1748985 | 2147483647 236645 41 | 2.335 % |
152.33/152.69 c | 239382 | 55089 432672 1748985 | 2147483647 237436 41 | 2.380 % |
153.13/153.45 c | 240255 | 55088 432672 1748985 | 2147483647 238309 41 | 2.380 % |
153.93/154.28 c | 241213 | 55088 432672 1748985 | 2147483647 239267 41 | 2.380 % |
155.63/156.00 c | 242267 | 55088 432672 1748985 | 2147483647 240321 41 | 2.380 % |
156.73/157.08 c | 243426 | 55088 432672 1748985 | 2147483647 241480 41 | 2.380 % |
158.03/158.38 c | 244699 | 55088 432672 1748985 | 2147483647 242753 41 | 2.380 % |
159.53/159.83 c | 246099 | 55088 432672 1748985 | 2147483647 244153 41 | 2.380 % |
161.03/161.38 c | 247642 | 55088 432672 1748985 | 2147483647 245696 41 | 2.380 % |
163.33/163.66 c | 249338 | 55088 432672 1748985 | 2147483647 247392 41 | 2.380 % |
165.23/165.61 c | 251201 | 55088 432672 1748985 | 2147483647 249255 41 | 2.380 % |
166.94/167.25 c | 253252 | 55088 432672 1748985 | 2147483647 251306 41 | 2.380 % |
168.53/168.85 c | 255508 | 55051 431963 1746269 | 2147483647 253447 41 | 2.380 % |
170.53/170.85 c | 257986 | 55051 431963 1746269 | 2147483647 255925 42 | 2.380 % |
170.83/171.12 c | 258086 | 55051 431963 1746269 | 2147483647 256025 42 | 2.380 % |
171.13/171.42 c | 258196 | 55051 431963 1746269 | 2147483647 256135 42 | 2.380 % |
171.23/171.52 c | 258317 | 55051 431963 1746269 | 2147483647 256256 42 | 2.380 % |
171.34/171.69 c | 258450 | 55051 431963 1746269 | 2147483647 256389 42 | 2.380 % |
171.53/171.90 c | 258598 | 55051 431963 1746269 | 2147483647 256537 42 | 2.380 % |
171.83/172.16 c | 258759 | 55051 431963 1746269 | 2147483647 256698 42 | 2.380 % |
172.13/172.46 c | 258935 | 55051 431963 1746269 | 2147483647 256874 42 | 2.380 % |
172.53/172.91 c | 259129 | 55051 431963 1746269 | 2147483647 257068 42 | 2.380 % |
172.93/173.26 c | 259342 | 55051 431963 1746269 | 2147483647 257281 42 | 2.380 % |
173.23/173.58 c | 259575 | 55051 431963 1746269 | 2147483647 257514 42 | 2.380 % |
173.63/173.95 c | 259832 | 55051 431963 1746269 | 2147483647 257771 42 | 2.380 % |
174.03/174.34 c | 260117 | 55051 431963 1746269 | 257940 258056 42 | 2.380 % |
174.23/174.57 c | 260426 | 55051 431963 1746269 | 257940 258365 42 | 2.380 % |
174.73/175.03 c | 260767 | 55051 431963 1746269 | 257940 258706 42 | 2.380 % |
175.13/175.45 c | 261139 | 55051 431963 1746269 | 257940 259078 42 | 2.380 % |
175.74/176.04 c | 261552 | 55051 431963 1746269 | 257940 259491 42 | 2.380 % |
176.63/176.95 c | 262001 | 55051 431963 1746269 | 257940 226907 41 | 2.380 % |
177.13/177.47 c | 262495 | 55051 431963 1746269 | 257940 227401 41 | 2.380 % |
177.63/178.01 c | 263039 | 55051 431963 1746269 | 257940 227945 41 | 2.380 % |
178.03/178.35 c | 263635 | 55051 431963 1746269 | 257940 228541 41 | 2.380 % |
179.13/179.42 c | 264290 | 55051 431963 1746269 | 257940 229196 41 | 2.380 % |
179.93/180.31 c | 265010 | 55051 431963 1746269 | 257940 229916 41 | 2.380 % |
181.03/181.41 c | 265802 | 55051 431963 1746269 | 257940 230708 41 | 2.380 % |
181.73/182.10 c | 266673 | 55051 431963 1746269 | 257940 231579 41 | 2.380 % |
182.83/183.13 c | 267633 | 55051 431963 1746269 | 257940 232539 41 | 2.380 % |
184.33/184.65 c | 268688 | 55051 431963 1746269 | 257940 233594 41 | 2.380 % |
185.64/185.98 c | 269846 | 55051 431963 1746269 | 257940 234752 41 | 2.380 % |
187.53/187.85 c | 271119 | 55051 431963 1746269 | 2147483647 236025 41 | 2.380 % |
188.94/189.23 c | 272519 | 55051 431963 1746269 | 2147483647 237425 41 | 2.380 % |
189.73/190.02 c | 274061 | 55051 431963 1746269 | 2147483647 238967 41 | 2.380 % |
190.93/191.23 c | 275757 | 55051 431963 1746269 | 2147483647 240663 41 | 2.380 % |
193.13/193.42 c | 277620 | 55051 431963 1746269 | 2147483647 242526 41 | 2.380 % |
194.53/194.88 c | 279669 | 55051 431963 1746269 | 2147483647 244575 41 | 2.380 % |
196.23/196.56 c | 281922 | 55051 431963 1746269 | 244906 246828 41 | 2.380 % |
198.93/199.29 c | 284401 | 55051 431963 1746269 | 244906 212789 41 | 2.380 % |
201.84/202.16 c | 287128 | 55051 431963 1746269 | 244906 215516 42 | 2.380 % |
201.94/202.29 c | 287230 | 55051 431963 1746269 | 244906 215618 42 | 2.380 % |
202.24/202.54 c | 287342 | 55051 431963 1746269 | 244906 215730 42 | 2.380 % |
202.44/202.72 c | 287464 | 55051 431963 1746269 | 244906 215852 42 | 2.380 % |
202.54/202.91 c | 287597 | 55051 431963 1746269 | 244906 215985 42 | 2.380 % |
202.84/203.14 c | 287743 | 55051 431963 1746269 | 244906 216131 42 | 2.380 % |
203.04/203.38 c | 287903 | 55051 431963 1746269 | 244906 216291 42 | 2.380 % |
203.34/203.71 c | 288080 | 55051 431963 1746269 | 244906 216468 42 | 2.380 % |
203.64/203.96 c | 288273 | 55051 431963 1746269 | 244906 216661 42 | 2.380 % |
203.74/204.10 c | 288485 | 55051 431963 1746269 | 244906 216873 42 | 2.380 % |
204.04/204.41 c | 288718 | 55051 431963 1746269 | 244906 217106 42 | 2.380 % |
204.44/204.72 c | 288978 | 55051 431963 1746269 | 244906 217366 42 | 2.380 % |
204.54/204.87 c | 289260 | 55051 431963 1746269 | 244906 217648 42 | 2.380 % |
205.14/205.49 c | 289569 | 55051 431963 1746269 | 244906 217957 42 | 2.380 % |
205.54/205.84 c | 289908 | 55051 431963 1746269 | 244906 218296 42 | 2.380 % |
206.04/206.38 c | 290282 | 55051 431963 1746269 | 2147483647 218670 42 | 2.380 % |
206.84/207.19 c | 290692 | 55051 431963 1746269 | 2147483647 219080 42 | 2.380 % |
207.54/207.83 c | 291141 | 55051 431963 1746269 | 2147483647 219529 42 | 2.380 % |
207.84/208.12 c | 291634 | 55051 431963 1746269 | 2147483647 220022 42 | 2.380 % |
208.54/208.90 c | 292176 | 55051 431963 1746269 | 2147483647 220564 42 | 2.380 % |
209.14/209.50 c | 292772 | 55051 431963 1746269 | 2147483647 221160 42 | 2.380 % |
209.74/210.06 c | 293427 | 55051 431963 1746269 | 2147483647 221815 42 | 2.380 % |
210.74/211.06 c | 294147 | 55051 431963 1746269 | 2147483647 222535 42 | 2.380 % |
211.44/211.79 c | 294939 | 55051 431963 1746269 | 2147483647 223327 42 | 2.380 % |
212.74/213.06 c | 295810 | 55051 431963 1746269 | 2147483647 224198 42 | 2.380 % |
213.64/213.94 c | 296769 | 55051 431963 1746269 | 2147483647 225157 42 | 2.380 % |
215.24/215.60 c | 297822 | 55051 431963 1746269 | 2147483647 226210 42 | 2.380 % |
215.94/216.23 c | 298980 | 55051 431963 1746269 | 2147483647 227368 42 | 2.380 % |
217.04/217.41 c | 300253 | 55051 431963 1746269 | 2147483647 228641 42 | 2.380 % |
218.34/218.66 c | 301654 | 55051 431963 1746269 | 2147483647 230042 42 | 2.380 % |
219.24/219.61 c | 303195 | 55051 431963 1746269 | 2147483647 231583 42 | 2.380 % |
219.64/219.98 c | 304892 | 55051 431963 1746269 | 2147483647 233280 42 | 2.380 % |
221.44/221.78 c | 306757 | 55051 431963 1746269 | 2147483647 235145 42 | 2.380 % |
223.04/223.41 c | 308806 | 55051 431963 1746269 | 2147483647 237194 42 | 2.380 % |
225.14/225.47 c | 311060 | 55051 431963 1746269 | 2147483647 239448 42 | 2.380 % |
226.64/226.93 c | 313538 | 55051 431963 1746269 | 2147483647 241926 42 | 2.380 % |
229.04/229.41 c | 316265 | 55051 431963 1746269 | 2147483647 244653 42 | 2.380 % |
233.23/233.52 c | 319262 | 55036 431689 1745241 | 2147483647 247625 42 | 2.406 % |
233.43/233.81 c | 319367 | 55036 431689 1745241 | 2147483647 247730 42 | 2.406 % |
233.63/233.94 c | 319478 | 55036 431689 1745241 | 2147483647 247841 42 | 2.406 % |
233.93/234.25 c | 319599 | 55036 431689 1745241 | 2147483647 247962 42 | 2.406 % |
234.13/234.47 c | 319732 | 55032 431689 1745241 | 2147483647 248094 42 | 2.424 % |
234.43/234.73 c | 319879 | 55032 431689 1745241 | 2147483647 248241 42 | 2.424 % |
234.53/234.89 c | 320041 | 55032 431689 1745241 | 248362 248403 42 | 2.424 % |
234.73/235.08 c | 320217 | 55032 431689 1745241 | 248362 248579 42 | 2.424 % |
235.03/235.37 c | 320411 | 55032 431689 1745241 | 248362 248773 42 | 2.424 % |
235.43/235.73 c | 320625 | 55032 431689 1745241 | 248362 248987 42 | 2.424 % |
235.83/236.16 c | 320861 | 55032 431689 1745241 | 248362 249223 42 | 2.424 % |
236.33/236.69 c | 321118 | 55027 431689 1745241 | 248362 249479 42 | 2.460 % |
236.63/236.97 c | 321399 | 55027 431689 1745241 | 248362 249760 42 | 2.460 % |
237.33/237.69 c | 321708 | 55027 431689 1745241 | 248362 225093 42 | 2.460 % |
237.63/237.99 c | 322048 | 55027 431689 1745241 | 248362 225433 42 | 2.460 % |
238.23/238.59 c | 322422 | 55027 431689 1745241 | 248362 225807 42 | 2.460 % |
238.93/239.21 c | 322833 | 55027 431689 1745241 | 248362 226218 42 | 2.460 % |
239.23/239.58 c | 323285 | 55027 431689 1745241 | 248362 226670 42 | 2.460 % |
240.03/240.32 c | 323778 | 55027 431689 1745241 | 248362 227163 42 | 2.460 % |
240.53/240.86 c | 324320 | 55027 431689 1745241 | 248362 227705 42 | 2.460 % |
241.23/241.55 c | 324917 | 55027 431689 1745241 | 248362 228302 42 | 2.460 % |
241.73/242.10 c | 325575 | 55027 431689 1745241 | 248362 228960 42 | 2.460 % |
242.43/242.77 c | 326295 | 55027 431689 1745241 | 248362 229680 42 | 2.460 % |
243.23/243.59 c | 327091 | 55027 431689 1745241 | 248362 230476 42 | 2.460 % |
243.83/244.12 c | 327964 | 55027 431689 1745241 | 248362 231349 42 | 2.460 % |
244.83/245.19 c | 328924 | 55027 431689 1745241 | 248362 232309 42 | 2.460 % |
245.33/245.62 c | 329977 | 55027 431689 1745241 | 248362 233362 42 | 2.460 % |
246.23/246.59 c | 331135 | 55027 431689 1745241 | 2147483647 234520 42 | 2.460 % |
247.73/248.03 c | 332410 | 55027 431689 1745241 | 2147483647 235795 42 | 2.460 % |
249.43/249.71 c | 333810 | 55027 431689 1745241 | 2147483647 237195 42 | 2.460 % |
251.43/251.72 c | 335351 | 55027 431689 1745241 | 2147483647 238736 42 | 2.460 % |
253.33/253.65 c | 337045 | 55027 431689 1745241 | 2147483647 240430 42 | 2.460 % |
254.93/255.21 c | 338910 | 55027 431689 1745241 | 2147483647 242295 42 | 2.460 % |
256.13/256.45 c | 340960 | 55027 431689 1745241 | 243387 244345 42 | 2.460 % |
258.13/258.48 c | 343214 | 55027 431689 1745241 | 243387 246599 42 | 2.460 % |
260.63/260.97 c | 345692 | 55027 431689 1745241 | 243387 224418 42 | 2.460 % |
263.53/263.90 c | 348417 | 55027 431689 1745241 | 243387 227143 43 | 2.460 % |
265.43/265.77 c | 351416 | 55026 431689 1745241 | 228726 230141 43 | 2.461 % |
269.83/270.13 c | 354712 | 55026 431689 1745241 | 228726 202067 44 | 2.461 % |
269.93/270.28 c | 354813 | 55026 431689 1745241 | 228726 202168 44 | 2.461 % |
270.13/270.45 c | 354923 | 55026 431689 1745241 | 228726 202278 44 | 2.461 % |
270.34/270.63 c | 355045 | 55026 431689 1745241 | 228726 202400 44 | 2.461 % |
270.53/270.85 c | 355185 | 55026 431689 1745241 | 228726 202540 44 | 2.461 % |
270.63/270.91 c | 355331 | 55026 431689 1745241 | 228726 202686 44 | 2.461 % |
270.83/271.19 c | 355491 | 55026 431689 1745241 | 228726 202846 44 | 2.461 % |
271.13/271.50 c | 355668 | 55026 431689 1745241 | 228726 203023 44 | 2.461 % |
271.33/271.69 c | 355861 | 55026 431689 1745241 | 228726 203216 44 | 2.461 % |
271.73/272.02 c | 356075 | 55026 431689 1745241 | 228726 203430 44 | 2.461 % |
272.03/272.38 c | 356308 | 55026 431689 1745241 | 228726 203663 44 | 2.461 % |
272.33/272.68 c | 356565 | 55026 431689 1745241 | 228726 203920 44 | 2.461 % |
272.93/273.24 c | 356848 | 55026 431689 1745241 | 228726 204203 44 | 2.461 % |
273.33/273.61 c | 357157 | 55026 431689 1745241 | 228726 204512 44 | 2.461 % |
273.53/273.86 c | 357496 | 55026 431689 1745241 | 228726 204851 44 | 2.461 % |
274.03/274.33 c | 357870 | 55026 431689 1745241 | 228726 205225 44 | 2.461 % |
274.43/274.78 c | 358279 | 55005 430950 1742696 | 228726 205559 44 | 2.461 % |
275.13/275.44 c | 358729 | 55005 430950 1742696 | 228726 206009 44 | 2.461 % |
275.63/275.98 c | 359224 | 55005 430950 1742696 | 228726 206504 44 | 2.461 % |
276.33/276.60 c | 359767 | 55005 430950 1742696 | 228726 207047 44 | 2.461 % |
276.83/277.12 c | 360364 | 55005 430950 1742696 | 2147483647 207644 44 | 2.461 % |
277.43/277.75 c | 361019 | 55005 430950 1742696 | 2147483647 208299 44 | 2.461 % |
278.04/278.33 c | 361740 | 55005 430950 1742696 | 2147483647 209020 44 | 2.461 % |
278.73/279.01 c | 362533 | 55005 430950 1742696 | 2147483647 209813 44 | 2.461 % |
279.33/279.61 c | 363405 | 55004 430950 1742696 | 2147483647 210684 44 | 2.513 % |
279.83/280.18 c | 364363 | 55004 430950 1742696 | 2147483647 211642 44 | 2.513 % |
280.83/281.18 c | 365417 | 55004 430950 1742696 | 2147483647 212696 44 | 2.513 % |
282.23/282.54 c | 366576 | 55004 430950 1742696 | 2147483647 213855 44 | 2.513 % |
283.13/283.45 c | 367850 | 55004 430950 1742696 | 2147483647 215129 44 | 2.513 % |
283.93/284.23 c | 369250 | 55004 430950 1742696 | 2147483647 216529 44 | 2.513 % |
285.33/285.69 c | 370794 | 55004 430950 1742696 | 217279 218073 44 | 2.513 % |
287.43/287.75 c | 372488 | 55004 430950 1742696 | 217279 197758 44 | 2.513 % |
289.13/289.41 c | 374351 | 55004 430950 1742696 | 217279 199621 44 | 2.513 % |
291.33/291.63 c | 376400 | 55004 430950 1742696 | 217279 201670 44 | 2.513 % |
293.63/293.95 c | 378654 | 55004 430950 1742696 | 217279 203924 44 | 2.513 % |
295.73/296.03 c | 381132 | 55004 430950 1742696 | 2147483647 206402 44 | 2.513 % |
297.63/297.92 c | 383857 | 55004 430950 1742696 | 2147483647 209127 44 | 2.513 % |
299.93/300.23 c | 386856 | 55004 430950 1742696 | 2147483647 212126 44 | 2.513 % |
303.53/303.85 c | 390153 | 55004 430950 1742696 | 215270 215423 44 | 2.513 % |
305.33/305.65 c | 393782 | 55004 430950 1742696 | 215270 219052 44 | 2.513 % |
306.03/306.35 c | 393882 | 55004 430950 1742696 | 215270 169196 43 | 2.513 % |
306.13/306.44 c | 393992 | 55004 430950 1742696 | 215270 169306 43 | 2.513 % |
306.23/306.56 c | 394113 | 55004 430950 1742696 | 215270 169427 43 | 2.513 % |
306.53/306.91 c | 394248 | 55004 430950 1742696 | 215270 169562 43 | 2.513 % |
306.73/307.02 c | 394397 | 55004 430950 1742696 | 215270 169711 43 | 2.513 % |
306.93/307.28 c | 394557 | 55004 430950 1742696 | 215270 169871 43 | 2.513 % |
307.13/307.46 c | 394734 | 55004 430950 1742696 | 215270 170048 43 | 2.513 % |
307.23/307.60 c | 394929 | 55004 430950 1742696 | 215270 170243 43 | 2.513 % |
307.63/307.96 c | 395141 | 55004 430950 1742696 | 215270 170455 43 | 2.513 % |
307.83/308.16 c | 395376 | 55004 430950 1742696 | 215270 170690 43 | 2.513 % |
308.03/308.40 c | 395633 | 55004 430950 1742696 | 215270 170947 43 | 2.513 % |
308.53/308.82 c | 395914 | 55004 430950 1742696 | 215270 171228 43 | 2.513 % |
308.73/309.05 c | 396223 | 55004 430950 1742696 | 215270 171537 43 | 2.513 % |
309.03/309.33 c | 396562 | 55004 430950 1742696 | 215270 171876 43 | 2.513 % |
309.23/309.58 c | 396934 | 55004 430950 1742696 | 215270 172248 43 | 2.513 % |
309.63/309.95 c | 397343 | 55004 430950 1742696 | 215270 172657 43 | 2.513 % |
310.23/310.53 c | 397792 | 55004 430950 1742696 | 215270 173106 43 | 2.513 % |
310.53/310.83 c | 398285 | 55004 430950 1742696 | 215270 173599 43 | 2.513 % |
311.13/311.45 c | 398828 | 55004 430950 1742696 | 215270 174142 43 | 2.513 % |
311.53/311.90 c | 399424 | 55004 430950 1742696 | 215270 174738 43 | 2.513 % |
312.14/312.48 c | 400079 | 55004 430950 1742696 | 2147483647 175393 43 | 2.513 % |
312.73/313.02 c | 400799 | 55004 430950 1742696 | 2147483647 176113 43 | 2.513 % |
313.53/313.89 c | 401592 | 54976 430703 1741872 | 2147483647 176906 43 | 2.513 % |
314.94/315.25 c | 402465 | 54976 430703 1741872 | 2147483647 177779 43 | 2.513 % |
315.54/315.84 c | 403425 | 54976 430703 1741872 | 2147483647 178739 43 | 2.513 % |
316.64/316.93 c | 404478 | 54976 430703 1741872 | 2147483647 179792 43 | 2.513 % |
317.24/317.55 c | 405638 | 54976 430703 1741872 | 2147483647 180952 43 | 2.513 % |
318.14/318.48 c | 406914 | 54976 430703 1741872 | 2147483647 182228 43 | 2.513 % |
319.24/319.60 c | 408315 | 54976 430703 1741872 | 2147483647 183629 43 | 2.513 % |
321.44/321.72 c | 409857 | 54976 430703 1741872 | 2147483647 185171 43 | 2.513 % |
322.74/323.04 c | 411551 | 54976 430703 1741872 | 2147483647 186865 43 | 2.513 % |
324.84/325.19 c | 413414 | 54976 430703 1741872 | 2147483647 188728 43 | 2.513 % |
327.64/328.01 c | 415464 | 54976 430703 1741872 | 2147483647 190778 43 | 2.513 % |
329.84/330.15 c | 417717 | 54976 430703 1741872 | 2147483647 193031 43 | 2.513 % |
331.74/332.10 c | 420195 | 54976 430703 1741872 | 2147483647 195509 43 | 2.513 % |
334.94/335.22 c | 422921 | 54976 430703 1741872 | 2147483647 198235 44 | 2.513 % |
337.04/337.37 c | 425918 | 54976 430703 1741872 | 2147483647 201232 44 | 2.513 % |
339.74/340.10 c | 429214 | 54975 430703 1741872 | 2147483647 204527 43 | 2.514 % |
343.84/344.16 c | 432840 | 54975 430703 1741872 | 205314 208153 44 | 2.514 % |
347.74/348.06 c | 436828 | 54975 430703 1741872 | 205314 175140 43 | 2.514 % |
348.04/348.32 c | 436929 | 54975 430694 1741843 | 205314 175241 43 | 2.514 % |
348.24/348.58 c | 437040 | 54975 430694 1741843 | 205314 175352 43 | 2.514 % |
348.54/348.82 c | 437162 | 54975 430694 1741843 | 205314 175474 43 | 2.514 % |
348.64/349.00 c | 437297 | 54975 430694 1741843 | 205314 175609 43 | 2.515 % |
348.84/349.19 c | 437444 | 54975 430694 1741843 | 205314 175756 43 | 2.514 % |
349.14/349.42 c | 437605 | 54975 430694 1741843 | 205314 175917 43 | 2.514 % |
349.34/349.66 c | 437781 | 54975 430694 1741843 | 205314 176093 43 | 2.514 % |
349.54/349.88 c | 437974 | 54975 430694 1741843 | 205314 176286 43 | 2.514 % |
349.74/350.11 c | 438186 | 54975 430694 1741843 | 205314 176498 43 | 2.514 % |
350.04/350.33 c | 438419 | 54975 430694 1741843 | 205314 176731 43 | 2.514 % |
350.34/350.70 c | 438675 | 54975 430694 1741843 | 205314 176987 43 | 2.514 % |
350.64/350.98 c | 438956 | 54975 430694 1741843 | 205314 177268 43 | 2.514 % |
350.94/351.23 c | 439265 | 54975 430694 1741843 | 205314 177577 43 | 2.514 % |
351.44/351.79 c | 439607 | 54975 430694 1741843 | 205314 177919 43 | 2.514 % |
351.84/352.11 c | 439979 | 54975 430694 1741843 | 205314 178291 43 | 2.514 % |
352.34/352.69 c | 440391 | 54975 430694 1741843 | 2147483647 178703 43 | 2.514 % |
352.94/353.21 c | 440841 | 54975 430694 1741843 | 2147483647 179153 43 | 2.514 % |
353.24/353.59 c | 441334 | 54975 430694 1741843 | 2147483647 179646 43 | 2.514 % |
353.84/354.16 c | 441879 | 54975 430694 1741843 | 2147483647 180191 43 | 2.514 % |
354.34/354.66 c | 442477 | 54975 430694 1741843 | 2147483647 180789 43 | 2.514 % |
354.94/355.30 c | 443132 | 54975 430694 1741843 | 2147483647 181444 43 | 2.514 % |
355.84/356.19 c | 443852 | 54975 430694 1741843 | 2147483647 182164 43 | 2.514 % |
356.54/356.91 c | 444646 | 54975 430694 1741843 | 2147483647 182958 43 | 2.515 % |
357.64/357.99 c | 445518 | 54975 430694 1741843 | 2147483647 183830 43 | 2.514 % |
358.44/358.77 c | 446477 | 54975 430694 1741843 | 2147483647 184789 43 | 2.514 % |
359.44/359.79 c | 447530 | 54975 430694 1741843 | 2147483647 185842 43 | 2.514 % |
361.14/361.43 c | 448689 | 54975 430694 1741843 | 2147483647 187001 43 | 2.514 % |
362.74/363.02 c | 449964 | 54975 430694 1741843 | 2147483647 188276 43 | 2.514 % |
363.64/363.96 c | 451364 | 54975 430694 1741843 | 2147483647 189676 43 | 2.514 % |
365.14/365.48 c | 452904 | 54975 430694 1741843 | 2147483647 191216 43 | 2.514 % |
366.34/366.66 c | 454598 | 54975 430694 1741843 | 2147483647 192910 43 | 2.514 % |
368.44/368.74 c | 456461 | 54975 430694 1741843 | 2147483647 194773 43 | 2.514 % |
370.24/370.58 c | 458510 | 54975 430694 1741843 | 2147483647 196822 43 | 2.514 % |
372.54/372.88 c | 460765 | 54975 430694 1741843 | 2147483647 199077 43 | 2.514 % |
374.94/375.30 c | 463244 | 54975 430694 1741843 | 2147483647 201556 43 | 2.514 % |
377.54/377.90 c | 465969 | 54975 430694 1741843 | 2147483647 204281 44 | 2.514 % |
381.54/381.83 c | 468966 | 54975 430694 1741843 | 2147483647 207278 44 | 2.514 % |
383.14/383.49 c | 472264 | 54975 430694 1741843 | 2147483647 210576 44 | 2.514 % |
386.95/387.25 c | 475890 | 54975 430694 1741843 | 2147483647 214202 44 | 2.514 % |
390.94/391.23 c | 479878 | 54975 430694 1741843 | 2147483647 218190 44 | 2.514 % |
395.94/396.30 c | 484264 | 54975 430694 1741843 | 2147483647 222576 45 | 2.514 % |
396.14/396.48 c | 484364 | 54975 430694 1741843 | 2147483647 222676 45 | 2.514 % |
396.34/396.61 c | 484474 | 54975 430694 1741843 | 2147483647 222786 45 | 2.514 % |
396.54/396.88 c | 484597 | 54975 430694 1741843 | 2147483647 222909 45 | 2.514 % |
396.74/397.11 c | 484730 | 54975 430694 1741843 | 2147483647 223042 45 | 2.515 % |
396.94/397.27 c | 484877 | 54975 430694 1741843 | 2147483647 223189 45 | 2.514 % |
397.04/397.39 c | 485037 | 54975 430694 1741843 | 2147483647 223349 45 | 2.514 % |
397.24/397.52 c | 485213 | 54975 430694 1741843 | 2147483647 223525 45 | 2.514 % |
397.54/397.81 c | 485406 | 54975 430694 1741843 | 2147483647 223718 45 | 2.514 % |
397.74/398.03 c | 485618 | 54975 430694 1741843 | 2147483647 223930 45 | 2.515 % |
397.95/398.24 c | 485851 | 54975 430694 1741843 | 2147483647 224163 45 | 2.514 % |
397.95/398.29 c | 486109 | 54975 430694 1741843 | 2147483647 224421 45 | 2.514 % |
398.44/398.71 c | 486392 | 54975 430694 1741843 | 2147483647 224704 45 | 2.514 % |
399.14/399.48 c | 486702 | 54975 430694 1741843 | 2147483647 225014 45 | 2.514 % |
400.04/400.32 c | 487044 | 54975 430694 1741843 | 2147483647 225356 45 | 2.514 % |
400.44/400.80 c | 487416 | 54975 430694 1741843 | 2147483647 225728 45 | 2.514 % |
400.84/401.20 c | 487825 | 54975 430694 1741843 | 2147483647 226137 45 | 2.514 % |
401.64/401.91 c | 488274 | 54975 430694 1741843 | 2147483647 226586 45 | 2.514 % |
402.14/402.42 c | 488768 | 54975 430694 1741843 | 2147483647 227080 45 | 2.514 % |
402.74/403.03 c | 489311 | 54975 430694 1741843 | 2147483647 227623 45 | 2.514 % |
403.45/403.78 c | 489907 | 54975 430694 1741843 | 2147483647 228219 45 | 2.514 % |
404.64/404.94 c | 490563 | 54975 430694 1741843 | 228313 228875 45 | 2.514 % |
405.54/405.84 c | 491283 | 54975 430694 1741843 | 228313 229595 45 | 2.514 % |
407.34/407.70 c | 492075 | 54975 430694 1741843 | 228313 230387 45 | 2.515 % |
408.54/408.88 c | 492946 | 54975 430694 1741843 | 228313 196116 43 | 2.514 % |
409.44/409.74 c | 493907 | 54974 430566 1741176 | 228313 197076 43 | 2.516 % |
410.74/411.07 c | 494964 | 54974 430566 1741176 | 228313 198133 43 | 2.516 % |
411.34/411.68 c | 496123 | 54974 430566 1741176 | 228313 199292 43 | 2.516 % |
412.74/413.07 c | 497396 | 54974 430566 1741176 | 228313 200565 43 | 2.516 % |
414.34/414.62 c | 498797 | 54974 430566 1741176 | 228313 201966 43 | 2.516 % |
416.24/416.56 c | 500337 | 54974 430566 1741176 | 203170 203506 43 | 2.516 % |
417.64/417.94 c | 502031 | 54974 430566 1741176 | 203170 205200 43 | 2.516 % |
419.74/420.08 c | 503894 | 54974 430566 1741176 | 203170 181888 43 | 2.516 % |
421.05/421.37 c | 505943 | 54974 430566 1741176 | 203170 183937 43 | 2.516 % |
421.94/422.22 c | 508197 | 54974 430566 1741176 | 203170 186191 43 | 2.516 % |
423.84/424.19 c | 510675 | 54974 430566 1741176 | 2147483647 188669 43 | 2.516 % |
427.55/427.87 c | 513403 | 54974 430566 1741176 | 2147483647 191397 43 | 2.516 % |
431.95/432.28 c | 516401 | 54974 430566 1741176 | 2147483647 194395 43 | 2.516 % |
436.75/437.11 c | 519698 | 54974 430566 1741176 | 2147483647 197692 44 | 2.516 % |
440.75/441.09 c | 523324 | 54974 430566 1741176 | 2147483647 201318 43 | 2.516 % |
444.95/445.28 c | 527311 | 54974 430566 1741176 | 2147483647 205305 44 | 2.516 % |
449.15/449.44 c | 531697 | 54974 430566 1741176 | 2147483647 209691 44 | 2.516 % |
452.25/452.54 c | 536524 | 54974 430566 1741176 | 2147483647 214518 44 | 2.516 % |
452.54/452.83 c | 536624 | 54974 430566 1741176 | 2147483647 214618 44 | 2.516 % |
452.74/453.02 c | 536734 | 54974 430566 1741176 | 2147483647 214728 44 | 2.516 % |
452.94/453.27 c | 536855 | 54974 430566 1741176 | 2147483647 214849 44 | 2.516 % |
453.24/453.60 c | 536989 | 54974 430566 1741176 | 2147483647 214983 44 | 2.516 % |
453.54/453.87 c | 537139 | 54974 430566 1741176 | 2147483647 215133 44 | 2.516 % |
453.84/454.11 c | 537300 | 54974 430566 1741176 | 2147483647 215294 44 | 2.516 % |
453.84/454.18 c | 537477 | 54974 430566 1741176 | 2147483647 215471 44 | 2.516 % |
454.14/454.44 c | 537670 | 54974 430566 1741176 | 2147483647 215664 44 | 2.516 % |
454.54/454.81 c | 537883 | 54974 430566 1741176 | 2147483647 215877 44 | 2.516 % |
454.94/455.23 c | 538116 | 54974 430566 1741176 | 2147483647 216110 44 | 2.516 % |
455.24/455.60 c | 538373 | 54974 430566 1741176 | 2147483647 216367 44 | 2.516 % |
455.54/455.86 c | 538657 | 54974 430566 1741176 | 2147483647 216651 44 | 2.516 % |
456.04/456.36 c | 538970 | 54974 430566 1741176 | 2147483647 216964 44 | 2.516 % |
456.44/456.73 c | 539310 | 54974 430566 1741176 | 2147483647 217304 44 | 2.516 % |
456.74/457.07 c | 539682 | 54974 430566 1741176 | 2147483647 217676 44 | 2.516 % |
457.24/457.60 c | 540091 | 54974 430566 1741176 | 2147483647 218085 44 | 2.516 % |
457.84/458.21 c | 540540 | 54974 430566 1741176 | 2147483647 218534 44 | 2.516 % |
458.34/458.64 c | 541035 | 54974 430566 1741176 | 2147483647 219029 44 | 2.516 % |
459.04/459.39 c | 541577 | 54974 430566 1741176 | 2147483647 219571 44 | 2.516 % |
459.94/460.24 c | 542175 | 54974 430566 1741176 | 2147483647 220169 44 | 2.516 % |
460.84/461.18 c | 542830 | 54974 430566 1741176 | 2147483647 220824 44 | 2.516 % |
461.84/462.13 c | 543550 | 54974 430566 1741176 | 2147483647 221544 44 | 2.516 % |
462.94/463.24 c | 544342 | 54974 430566 1741176 | 2147483647 222336 44 | 2.516 % |
464.24/464.55 c | 545213 | 54974 430566 1741176 | 2147483647 223207 44 | 2.516 % |
465.84/466.20 c | 546171 | 54974 430566 1741176 | 2147483647 224165 44 | 2.516 % |
466.74/467.02 c | 547227 | 54974 430566 1741176 | 2147483647 225221 44 | 2.516 % |
468.64/468.93 c | 548386 | 54974 430566 1741176 | 2147483647 226380 44 | 2.516 % |
469.64/469.95 c | 549659 | 54974 430566 1741176 | 2147483647 227653 44 | 2.516 % |
470.54/470.85 c | 551060 | 54974 430566 1741176 | 2147483647 229054 44 | 2.516 % |
471.94/472.27 c | 552601 | 54974 430566 1741176 | 2147483647 230595 44 | 2.516 % |
473.24/473.54 c | 554295 | 54974 430566 1741176 | 2147483647 232289 44 | 2.516 % |
475.04/475.36 c | 556159 | 54974 430566 1741176 | 2147483647 234153 44 | 2.516 % |
477.44/477.80 c | 558211 | 54974 430566 1741176 | 2147483647 236205 45 | 2.516 % |
480.44/480.75 c | 560465 | 54974 430566 1741176 | 237994 238459 45 | 2.516 % |
483.24/483.58 c | 562945 | 54974 430566 1741176 | 237994 240939 45 | 2.516 % |
486.64/486.96 c | 565672 | 54974 430566 1741176 | 237994 212254 45 | 2.516 % |
488.94/489.23 c | 568671 | 54974 430566 1741176 | 237994 215253 45 | 2.516 % |
490.84/491.11 c | 571968 | 54974 430566 1741176 | 216583 218550 45 | 2.516 % |
495.54/495.85 c | 575593 | 54974 430566 1741176 | 216583 189417 44 | 2.516 % |
497.94/498.26 c | 579580 | 54974 430566 1741176 | 216583 193404 44 | 2.516 % |
501.54/501.89 c | 583970 | 54974 430566 1741176 | 193826 197794 45 | 2.516 % |
505.84/506.10 c | 588794 | 54974 430566 1741176 | 193826 163486 44 | 2.516 % |
509.94/510.21 c | 594101 | 54974 430566 1741176 | 164693 168793 44 | 2.516 % |
510.34/510.67 c | 594201 | 54974 430566 1741176 | 164693 148388 43 | 2.516 % |
510.44/510.76 c | 594312 | 54974 430566 1741176 | 164693 148499 43 | 2.516 % |
510.54/510.86 c | 594434 | 54974 430566 1741176 | 164693 148621 43 | 2.516 % |
510.74/511.07 c | 594569 | 54974 430566 1741176 | 164693 148756 43 | 2.516 % |
510.94/511.22 c | 594723 | 54974 430566 1741176 | 164693 148910 43 | 2.516 % |
511.04/511.39 c | 594886 | 54974 430566 1741176 | 164693 149073 43 | 2.516 % |
511.25/511.58 c | 595062 | 54974 430566 1741176 | 164693 149249 43 | 2.516 % |
511.54/511.83 c | 595257 | 54974 430566 1741176 | 164693 149444 43 | 2.516 % |
511.54/511.89 c | 595469 | 54974 430566 1741176 | 164693 149656 43 | 2.516 % |
511.94/512.28 c | 595705 | 54974 430566 1741176 | 164693 149892 43 | 2.516 % |
512.35/512.62 c | 595963 | 54974 430566 1741176 | 164693 150150 43 | 2.516 % |
512.44/512.80 c | 596245 | 54974 430566 1741176 | 164693 150432 43 | 2.516 % |
512.64/513.00 c | 596555 | 54974 430566 1741176 | 164693 150742 43 | 2.516 % |
513.14/513.40 c | 596895 | 54974 430566 1741176 | 164693 151082 43 | 2.516 % |
513.45/513.79 c | 597268 | 54974 430566 1741176 | 164693 151455 42 | 2.516 % |
513.94/514.26 c | 597677 | 54974 430566 1741176 | 164693 151864 43 | 2.516 % |
514.44/514.74 c | 598127 | 54974 430566 1741176 | 164693 152314 42 | 2.516 % |
515.24/515.55 c | 598621 | 54974 430566 1741176 | 164693 152808 42 | 2.516 % |
515.65/515.96 c | 599163 | 54974 430566 1741176 | 164693 153350 42 | 2.516 % |
516.14/516.49 c | 599759 | 54974 430566 1741176 | 164693 153946 42 | 2.516 % |
516.84/517.13 c | 600415 | 54974 430566 1741176 | 2147483647 154602 42 | 2.516 % |
517.64/517.96 c | 601135 | 54973 430562 1741164 | 2147483647 155321 42 | 2.518 % |
517.94/518.23 c | 601928 | 54973 430562 1741164 | 2147483647 156114 42 | 2.518 % |
519.24/519.53 c | 602799 | 54973 430562 1741164 | 2147483647 156985 42 | 2.518 % |
520.24/520.58 c | 603757 | 54973 430562 1741164 | 2147483647 157943 43 | 2.518 % |
521.34/521.69 c | 604810 | 54973 430562 1741164 | 2147483647 158996 43 | 2.518 % |
522.34/522.65 c | 605971 | 54973 430562 1741164 | 2147483647 160157 43 | 2.518 % |
523.35/523.63 c | 607244 | 54973 430562 1741164 | 2147483647 161430 43 | 2.518 % |
524.14/524.42 c | 608647 | 54973 430562 1741164 | 2147483647 162833 43 | 2.518 % |
526.04/526.31 c | 610187 | 54973 430562 1741164 | 2147483647 164373 43 | 2.518 % |
527.44/527.77 c | 611881 | 54973 430562 1741164 | 2147483647 166067 43 | 2.518 % |
528.94/529.29 c | 613749 | 54973 430562 1741164 | 2147483647 167935 43 | 2.518 % |
530.44/530.78 c | 615799 | 54971 430562 1741164 | 2147483647 169984 43 | 2.522 % |
531.94/532.29 c | 618053 | 54970 430562 1741164 | 2147483647 172237 43 | 2.523 % |
533.44/533.80 c | 620532 | 54970 430562 1741164 | 2147483647 174716 43 | 2.523 % |
536.44/536.75 c | 623258 | 54970 430562 1741164 | 2147483647 177442 44 | 2.523 % |
539.64/539.91 c | 626255 | 54970 430562 1741164 | 2147483647 180439 44 | 2.523 % |
542.85/543.12 c | 629552 | 54970 430562 1741164 | 2147483647 183736 44 | 2.523 % |
546.75/547.02 c | 633177 | 54970 430406 1740621 | 2147483647 187357 44 | 2.523 % |
551.95/552.26 c | 637165 | 54970 430406 1740621 | 2147483647 191345 44 | 2.523 % |
555.95/556.28 c | 641551 | 54970 430406 1740621 | 2147483647 195731 44 | 2.523 % |
561.15/561.45 c | 646374 | 54970 430406 1740621 | 2147483647 200554 44 | 2.523 % |
564.95/565.21 c | 651679 | 54970 430406 1740621 | 2147483647 205859 45 | 2.523 % |
574.85/575.21 c | 657517 | 54970 430406 1740621 | 2147483647 211697 44 | 2.523 % |
575.15/575.47 c | 657621 | 54970 430406 1740621 | 2147483647 211801 44 | 2.523 % |
575.35/575.67 c | 657732 | 54970 430406 1740621 | 2147483647 211912 44 | 2.523 % |
575.55/575.91 c | 657853 | 54970 430406 1740621 | 2147483647 212033 44 | 2.523 % |
575.85/576.14 c | 657986 | 54970 430406 1740621 | 2147483647 212166 44 | 2.523 % |
575.95/576.30 c | 658134 | 54970 430406 1740621 | 2147483647 212314 44 | 2.523 % |
576.05/576.36 c | 658294 | 54970 430406 1740621 | 2147483647 212474 44 | 2.523 % |
576.35/576.65 c | 658471 | 54970 430406 1740621 | 2147483647 212651 44 | 2.523 % |
576.65/576.96 c | 658664 | 54970 430406 1740621 | 2147483647 212844 44 | 2.523 % |
576.95/577.26 c | 658876 | 54970 430406 1740621 | 2147483647 213056 44 | 2.523 % |
577.15/577.50 c | 659112 | 54970 430406 1740621 | 2147483647 213292 44 | 2.523 % |
577.55/577.90 c | 659369 | 54970 430406 1740621 | 2147483647 213549 44 | 2.523 % |
577.95/578.26 c | 659652 | 54970 430406 1740621 | 2147483647 213832 44 | 2.523 % |
578.25/578.57 c | 659963 | 54970 430406 1740621 | 2147483647 214143 44 | 2.523 % |
578.75/579.02 c | 660302 | 54970 430406 1740621 | 2147483647 214482 44 | 2.523 % |
579.25/579.53 c | 660674 | 54970 430406 1740621 | 2147483647 214854 44 | 2.523 % |
579.75/580.05 c | 661085 | 54970 430406 1740621 | 2147483647 215265 44 | 2.523 % |
580.55/580.86 c | 661536 | 54970 430406 1740621 | 2147483647 215716 44 | 2.523 % |
581.25/581.54 c | 662030 | 54970 430406 1740621 | 2147483647 216210 44 | 2.523 % |
581.75/582.02 c | 662572 | 54970 430406 1740621 | 2147483647 216752 44 | 2.523 % |
582.45/582.80 c | 663168 | 54970 430406 1740621 | 2147483647 217348 45 | 2.523 % |
583.15/583.49 c | 663823 | 54970 430406 1740621 | 2147483647 218003 44 | 2.523 % |
583.95/584.26 c | 664543 | 54970 430406 1740621 | 2147483647 218723 44 | 2.523 % |
584.95/585.22 c | 665335 | 54970 430406 1740621 | 2147483647 219515 44 | 2.523 % |
586.45/586.75 c | 666207 | 54970 430406 1740621 | 2147483647 220387 45 | 2.523 % |
587.55/587.86 c | 667168 | 54970 430406 1740621 | 2147483647 221348 45 | 2.523 % |
589.05/589.39 c | 668221 | 54970 430406 1740621 | 2147483647 222401 45 | 2.523 % |
590.85/591.21 c | 669380 | 54970 430406 1740621 | 2147483647 223560 45 | 2.523 % |
593.05/593.39 c | 670653 | 54970 430406 1740621 | 224180 224833 45 | 2.523 % |
594.75/595.03 c | 672053 | 54970 430406 1740621 | 224180 226233 45 | 2.523 % |
597.05/597.37 c | 673593 | 54970 430406 1740621 | 224180 201792 44 | 2.523 % |
598.65/598.98 c | 675288 | 54970 430406 1740621 | 224180 203487 44 | 2.523 % |
601.05/601.37 c | 677151 | 54970 430406 1740621 | 224180 205350 44 | 2.523 % |
602.25/602.59 c | 679200 | 54970 430406 1740621 | 224180 207399 44 | 2.523 % |
605.25/605.59 c | 681454 | 54970 430406 1740621 | 208199 209653 44 | 2.523 % |
609.16/609.44 c | 683933 | 54970 430406 1740621 | 208199 187446 44 | 2.523 % |
611.75/612.01 c | 686658 | 54970 430406 1740621 | 208199 190171 44 | 2.523 % |
614.55/614.82 c | 689655 | 54970 430406 1740621 | 208199 193168 44 | 2.523 % |
617.96/618.25 c | 692952 | 54970 430406 1740621 | 2147483647 196465 44 | 2.523 % |
620.85/621.13 c | 696577 | 54970 430406 1740621 | 2147483647 200090 43 | 2.523 % |
624.25/624.61 c | 700564 | 54970 430406 1740621 | 203516 204077 43 | 2.523 % |
627.65/627.92 c | 704950 | 54970 430406 1740621 | 203516 208463 44 | 2.523 % |
632.35/632.68 c | 709773 | 54970 430406 1740621 | 203516 166228 42 | 2.523 % |
637.76/638.09 c | 715078 | 54970 430406 1740621 | 2147483647 171533 42 | 2.523 % |
642.45/642.75 c | 720914 | 54970 430406 1740621 | 2147483647 177369 43 | 2.523 % |
646.85/647.20 c | 727332 | 54964 430362 1740438 | 2147483647 183785 43 | 2.534 % |
646.95/647.30 c | 727432 | 54964 430362 1740438 | 2147483647 183885 43 | 2.534 % |
647.05/647.38 c | 727545 | 54964 430362 1740438 | 2147483647 183998 43 | 2.534 % |
647.25/647.55 c | 727666 | 54964 430362 1740438 | 2147483647 184119 43 | 2.534 % |
647.35/647.64 c | 727799 | 54964 430362 1740438 | 2147483647 184252 43 | 2.534 % |
647.45/647.79 c | 727945 | 54964 430362 1740438 | 2147483647 184398 43 | 2.534 % |
647.66/647.99 c | 728107 | 54964 430362 1740438 | 2147483647 184560 43 | 2.534 % |
647.85/648.16 c | 728284 | 54964 430362 1740438 | 2147483647 184737 43 | 2.534 % |
648.05/648.41 c | 728477 | 54964 430362 1740438 | 2147483647 184930 43 | 2.534 % |
648.45/648.79 c | 728690 | 54964 430362 1740438 | 2147483647 185143 43 | 2.534 % |
648.76/649.04 c | 728925 | 54964 430362 1740438 | 2147483647 185378 43 | 2.534 % |
649.15/649.43 c | 729181 | 54964 430362 1740438 | 2147483647 185634 43 | 2.534 % |
649.65/649.93 c | 729463 | 54964 430362 1740438 | 2147483647 185916 43 | 2.534 % |
649.75/650.06 c | 729773 | 54964 430362 1740438 | 2147483647 186226 43 | 2.534 % |
650.25/650.59 c | 730115 | 54964 430362 1740438 | 2147483647 186568 43 | 2.534 % |
650.75/651.05 c | 730488 | 54964 430362 1740438 | 2147483647 186941 43 | 2.534 % |
651.55/651.83 c | 730897 | 54964 430362 1740438 | 2147483647 187350 43 | 2.534 % |
651.85/652.16 c | 731348 | 54964 430362 1740438 | 2147483647 187801 43 | 2.534 % |
652.45/652.80 c | 731841 | 54964 430362 1740438 | 2147483647 188294 43 | 2.534 % |
653.35/653.66 c | 732383 | 54964 430362 1740438 | 2147483647 188836 43 | 2.534 % |
653.75/654.06 c | 732979 | 54964 430362 1740438 | 2147483647 189432 43 | 2.534 % |
654.85/655.21 c | 733635 | 54964 430362 1740438 | 2147483647 190088 43 | 2.534 % |
655.26/655.55 c | 734355 | 54964 430362 1740438 | 2147483647 190808 43 | 2.534 % |
655.66/655.99 c | 735151 | 54964 430362 1740438 | 2147483647 191604 43 | 2.534 % |
656.26/656.57 c | 736022 | 54964 430362 1740438 | 2147483647 192475 43 | 2.534 % |
657.46/657.80 c | 736982 | 54958 430362 1740438 | 2147483647 193434 43 | 2.577 % |
659.06/659.41 c | 738036 | 54958 430362 1740438 | 2147483647 194488 43 | 2.577 % |
660.06/660.34 c | 739194 | 54958 430362 1740438 | 2147483647 195646 43 | 2.577 % |
661.86/662.17 c | 740467 | 54958 430362 1740438 | 2147483647 196919 43 | 2.577 % |
662.76/663.08 c | 741867 | 54958 430362 1740438 | 2147483647 198319 43 | 2.577 % |
664.86/665.13 c | 743407 | 54958 430362 1740438 | 2147483647 199859 43 | 2.577 % |
666.06/666.37 c | 745101 | 54958 430362 1740438 | 2147483647 201553 43 | 2.577 % |
667.96/668.25 c | 746965 | 54958 430362 1740438 | 2147483647 203417 43 | 2.577 % |
669.66/669.93 c | 749015 | 54958 430362 1740438 | 2147483647 205467 43 | 2.577 % |
671.26/671.61 c | 751268 | 54958 430362 1740438 | 206453 207720 43 | 2.577 % |
673.16/673.48 c | 753750 | 54958 430362 1740438 | 206453 210202 43 | 2.577 % |
676.66/676.93 c | 756475 | 54958 430362 1740438 | 206453 191907 42 | 2.577 % |
678.66/678.92 c | 759472 | 54958 430362 1740438 | 206453 194904 43 | 2.577 % |
683.76/684.08 c | 762769 | 54940 430191 1739957 | 2147483647 198181 43 | 2.577 % |
688.06/688.38 c | 766395 | 54940 430191 1739957 | 2147483647 201807 43 | 2.577 % |
693.36/693.65 c | 770385 | 54940 430191 1739957 | 2147483647 205797 44 | 2.577 % |
695.16/695.50 c | 774770 | 54940 430191 1739957 | 2147483647 210182 44 | 2.577 % |
701.86/702.14 c | 779593 | 54940 430191 1739957 | 2147483647 215005 44 | 2.577 % |
709.16/709.50 c | 784898 | 54940 430191 1739957 | 2147483647 220310 44 | 2.577 % |
715.76/716.04 c | 790734 | 54940 430191 1739957 | 2147483647 226146 44 | 2.577 % |
721.06/721.39 c | 797152 | 54940 430191 1739957 | 2147483647 232564 44 | 2.577 % |
729.46/729.72 c | 804211 | 54939 430186 1739942 | 235412 239622 45 | 2.578 % |
730.36/730.64 c | 804312 | 54939 430186 1739942 | 235412 173243 44 | 2.578 % |
730.46/730.78 c | 804422 | 54939 430186 1739942 | 235412 173353 44 | 2.578 % |
730.66/730.91 c | 804546 | 54939 430186 1739942 | 235412 173477 44 | 2.578 % |
730.76/731.06 c | 804679 | 54939 430186 1739942 | 235412 173610 44 | 2.578 % |
730.96/731.23 c | 804825 | 54939 430186 1739942 | 235412 173756 44 | 2.578 % |
731.06/731.36 c | 804985 | 54939 430186 1739942 | 235412 173916 44 | 2.578 % |
731.36/731.62 c | 805161 | 54937 430186 1739942 | 235412 174090 44 | 2.623 % |
731.46/731.78 c | 805355 | 54937 430186 1739942 | 235412 174284 44 | 2.623 % |
731.76/732.02 c | 805567 | 54937 430186 1739942 | 235412 174496 44 | 2.623 % |
731.96/732.22 c | 805801 | 54937 430186 1739942 | 235412 174730 44 | 2.623 % |
732.16/732.42 c | 806058 | 54937 430186 1739942 | 235412 174987 44 | 2.623 % |
732.37/732.69 c | 806339 | 54937 430186 1739942 | 235412 175268 44 | 2.623 % |
732.66/732.99 c | 806648 | 54937 430186 1739942 | 235412 175577 44 | 2.623 % |
732.96/733.27 c | 806987 | 54937 430186 1739942 | 235412 175916 44 | 2.623 % |
733.16/733.42 c | 807359 | 54937 430186 1739942 | 235412 176288 44 | 2.623 % |
733.56/733.86 c | 807768 | 54937 430186 1739942 | 235412 176697 44 | 2.623 % |
733.76/734.07 c | 808217 | 54937 430186 1739942 | 235412 177146 44 | 2.623 % |
734.26/734.52 c | 808711 | 54937 430186 1739942 | 235412 177640 44 | 2.623 % |
734.57/734.90 c | 809254 | 54937 430186 1739942 | 235412 178183 44 | 2.623 % |
735.06/735.38 c | 809850 | 54937 430186 1739942 | 235412 178779 44 | 2.623 % |
735.86/736.21 c | 810505 | 54937 430186 1739942 | 178930 179434 44 | 2.623 % |
736.36/736.66 c | 811225 | 54937 430186 1739942 | 178930 180154 44 | 2.623 % |
737.16/737.46 c | 812018 | 54937 430186 1739942 | 178930 180947 44 | 2.623 % |
737.96/738.26 c | 812890 | 54937 430186 1739942 | 178930 163725 44 | 2.623 % |
738.76/739.06 c | 813849 | 54937 430186 1739942 | 178930 164684 44 | 2.623 % |
740.16/740.46 c | 814903 | 54937 430186 1739942 | 178930 165738 44 | 2.623 % |
741.36/741.68 c | 816062 | 54937 430186 1739942 | 178930 166897 44 | 2.623 % |
742.16/742.42 c | 817335 | 54937 430186 1739942 | 178930 168170 44 | 2.623 % |
743.06/743.39 c | 818736 | 54937 430186 1739942 | 178930 169571 44 | 2.623 % |
744.76/745.06 c | 820276 | 54936 430186 1739942 | 2147483647 171110 44 | 2.624 % |
745.57/745.88 c | 821970 | 54936 430186 1739942 | 2147483647 172804 44 | 2.624 % |
747.06/747.35 c | 823834 | 54936 430186 1739942 | 2147483647 174668 45 | 2.624 % |
749.66/749.94 c | 825884 | 54936 430186 1739942 | 2147483647 176718 45 | 2.624 % |
751.16/751.48 c | 828139 | 54936 430186 1739942 | 2147483647 178973 45 | 2.624 % |
753.66/753.93 c | 830618 | 54936 430186 1739942 | 2147483647 181452 46 | 2.624 % |
755.26/755.52 c | 833345 | 54936 430186 1739942 | 2147483647 184179 46 | 2.624 % |
756.96/757.30 c | 836344 | 54936 430186 1739942 | 2147483647 187178 45 | 2.624 % |
760.56/760.83 c | 839640 | 54936 430186 1739942 | 2147483647 190474 46 | 2.624 % |
763.36/763.71 c | 843267 | 54913 429401 1737232 | 2147483647 194101 46 | 2.624 % |
768.16/768.50 c | 847254 | 54913 429401 1737232 | 2147483647 198088 46 | 2.624 % |
773.27/773.55 c | 851640 | 54913 429401 1737232 | 2147483647 202474 46 | 2.624 % |
776.77/777.04 c | 856463 | 54912 429401 1737232 | 2147483647 207296 46 | 2.626 % |
781.67/782.02 c | 861768 | 54912 429401 1737232 | 2147483647 212601 45 | 2.626 % |
787.07/787.34 c | 867603 | 54912 429401 1737232 | 2147483647 218436 46 | 2.626 % |
791.67/791.96 c | 874027 | 54912 429401 1737232 | 2147483647 224860 46 | 2.626 % |
795.07/795.36 c | 881087 | 54912 429401 1737232 | 2147483647 231920 46 | 2.626 % |
802.47/802.76 c | 888851 | 54912 429332 1736991 | 2147483647 239678 47 | 2.626 % |
802.57/802.92 c | 888952 | 54912 429332 1736991 | 2147483647 239779 47 | 2.626 % |
802.77/803.11 c | 889062 | 54912 429332 1736991 | 2147483647 239889 47 | 2.626 % |
802.97/803.32 c | 889183 | 54912 429332 1736991 | 2147483647 240010 47 | 2.626 % |
803.17/803.50 c | 889320 | 54912 429332 1736991 | 2147483647 240147 47 | 2.626 % |
803.37/803.70 c | 889467 | 54912 429332 1736991 | 2147483647 240294 47 | 2.626 % |
803.67/803.97 c | 889627 | 54912 429332 1736991 | 2147483647 240454 47 | 2.626 % |
803.97/804.25 c | 889806 | 54912 429332 1736991 | 2147483647 240633 47 | 2.626 % |
804.17/804.48 c | 890000 | 54912 429332 1736991 | 2147483647 240827 47 | 2.626 % |
804.47/804.79 c | 890213 | 54912 429332 1736991 | 240827 241040 47 | 2.626 % |
804.57/804.89 c | 890446 | 54912 429332 1736991 | 240827 241273 47 | 2.626 % |
804.97/805.28 c | 890705 | 54912 429332 1736991 | 240827 241532 47 | 2.626 % |
805.57/805.85 c | 890986 | 54912 429332 1736991 | 240827 241813 47 | 2.626 % |
805.87/806.18 c | 891295 | 54912 429332 1736991 | 240827 242122 47 | 2.626 % |
806.47/806.79 c | 891636 | 54912 429332 1736991 | 240827 242463 47 | 2.626 % |
807.57/807.83 c | 892008 | 54912 429332 1736991 | 240827 209823 45 | 2.626 % |
807.97/808.22 c | 892417 | 54912 429332 1736991 | 240827 210232 45 | 2.626 % |
808.27/808.58 c | 892866 | 54912 429332 1736991 | 240827 210681 45 | 2.626 % |
808.77/809.05 c | 893359 | 54912 429332 1736991 | 240827 211174 45 | 2.626 % |
809.27/809.58 c | 893902 | 54912 429332 1736991 | 240827 211717 45 | 2.626 % |
809.67/809.96 c | 894499 | 54912 429332 1736991 | 240827 212314 45 | 2.626 % |
809.97/810.31 c | 895159 | 54912 429332 1736991 | 240827 212974 45 | 2.626 % |
810.76/811.08 c | 895885 | 54912 429332 1736991 | 240827 213700 45 | 2.626 % |
811.16/811.43 c | 896677 | 54912 429332 1736991 | 240827 214492 45 | 2.626 % |
812.06/812.38 c | 897549 | 54912 429332 1736991 | 240827 215364 45 | 2.626 % |
812.76/813.01 c | 898508 | 54912 429332 1736991 | 240827 216323 45 | 2.626 % |
813.86/814.13 c | 899562 | 54912 429332 1736991 | 240827 217377 45 | 2.626 % |
814.36/814.67 c | 900720 | 54912 429332 1736991 | 217815 218535 45 | 2.626 % |
814.56/814.83 c | 901995 | 54912 429332 1736991 | 217815 219810 45 | 2.626 % |
816.06/816.37 c | 903395 | 54912 429332 1736991 | 217815 199229 43 | 2.626 % |
818.46/818.75 c | 904936 | 54912 429332 1736991 | 217815 200770 44 | 2.626 % |
820.06/820.35 c | 906630 | 54912 429332 1736991 | 217815 202464 44 | 2.626 % |
821.86/822.20 c | 908493 | 54912 429332 1736991 | 217815 204327 44 | 2.626 % |
825.06/825.33 c | 910545 | 54912 429332 1736991 | 205834 206379 44 | 2.626 % |
826.56/826.89 c | 912799 | 54912 429332 1736991 | 205834 208633 44 | 2.626 % |
829.46/829.73 c | 915278 | 54912 429332 1736991 | 205834 190249 44 | 2.626 % |
832.46/832.81 c | 918003 | 54912 429332 1736991 | 205834 192974 44 | 2.626 % |
835.25/835.55 c | 921005 | 54912 429332 1736991 | 194974 195976 44 | 2.626 % |
838.55/838.81 c | 924302 | 54912 429332 1736991 | 194974 199273 44 | 2.626 % |
840.45/840.77 c | 927927 | 54912 429332 1736991 | 194974 182971 43 | 2.626 % |
841.45/841.76 c | 931914 | 54912 429332 1736991 | 2147483647 186958 43 | 2.626 % |
842.45/842.73 c | 936301 | 54912 429332 1736991 | 2147483647 191345 43 | 2.626 % |
847.65/847.96 c | 941124 | 54912 429332 1736991 | 2147483647 196168 43 | 2.626 % |
852.85/853.16 c | 946429 | 54912 429332 1736991 | 2147483647 201473 44 | 2.626 % |
856.95/857.27 c | 952266 | 54912 429332 1736991 | 2147483647 207310 44 | 2.626 % |
858.86/859.18 c | 958684 | 54912 429332 1736991 | 2147483647 213728 44 | 2.626 % |
865.46/865.77 c | 965743 | 54912 429332 1736991 | 2147483647 220787 44 | 2.626 % |
873.25/873.57 c | 973507 | 54912 429332 1736991 | 225046 228551 45 | 2.626 % |
882.06/882.40 c | 982048 | 54912 429332 1736991 | 185551 187599 44 | 2.626 % |
882.56/882.90 c | 982148 | 54912 429332 1736991 | 185551 168940 42 | 2.626 % |
882.66/883.00 c | 982261 | 54912 429332 1736991 | 185551 169053 42 | 2.626 % |
882.76/883.10 c | 982382 | 54912 429332 1736991 | 185551 169174 42 | 2.626 % |
882.96/883.27 c | 982515 | 54912 429332 1736991 | 185551 169307 42 | 2.626 % |
883.16/883.44 c | 982662 | 54912 429332 1736991 | 185551 169454 42 | 2.626 % |
883.26/883.59 c | 982827 | 54912 429332 1736991 | 185551 169619 42 | 2.626 % |
883.56/883.87 c | 983003 | 54912 429332 1736991 | 185551 169795 42 | 2.626 % |
883.76/884.04 c | 983199 | 54912 429332 1736991 | 185551 169991 42 | 2.626 % |
883.96/884.31 c | 983412 | 54912 429332 1736991 | 185551 170204 42 | 2.626 % |
884.36/884.68 c | 983645 | 54912 429332 1736991 | 185551 170437 42 | 2.626 % |
884.66/884.94 c | 983905 | 54912 429332 1736991 | 185551 170697 42 | 2.626 % |
884.86/885.18 c | 984186 | 54912 429332 1736991 | 185551 170978 42 | 2.626 % |
885.06/885.35 c | 984495 | 54912 429332 1736991 | 185551 171287 42 | 2.626 % |
885.46/885.77 c | 984834 | 54912 429332 1736991 | 185551 171626 42 | 2.626 % |
885.66/885.93 c | 985206 | 54912 429332 1736991 | 185551 171998 42 | 2.626 % |
886.16/886.50 c | 985615 | 54912 429332 1736991 | 185551 172407 42 | 2.626 % |
886.46/886.73 c | 986064 | 54912 429332 1736991 | 185551 172856 42 | 2.626 % |
886.66/887.00 c | 986558 | 54912 429332 1736991 | 185551 173350 42 | 2.626 % |
886.86/887.15 c | 987104 | 54912 429332 1736991 | 185551 173896 42 | 2.626 % |
887.36/887.63 c | 987701 | 54912 429332 1736991 | 185551 174493 42 | 2.626 % |
887.96/888.26 c | 988356 | 54912 429332 1736991 | 185551 175148 42 | 2.626 % |
888.36/888.67 c | 989076 | 54912 429332 1736991 | 185551 175868 42 | 2.626 % |
889.16/889.45 c | 989869 | 54912 429332 1736991 | 185551 176661 42 | 2.626 % |
889.66/890.00 c | 990746 | 54912 429332 1736991 | 2147483647 177538 42 | 2.626 % |
890.26/890.53 c | 991704 | 54912 429332 1736991 | 2147483647 178496 42 | 2.626 % |
890.96/891.28 c | 992758 | 54912 429332 1736991 | 2147483647 179550 42 | 2.626 % |
891.86/892.19 c | 993916 | 54912 429332 1736991 | 2147483647 180708 42 | 2.626 % |
893.06/893.41 c | 995190 | 54912 429332 1736991 | 2147483647 181982 42 | 2.626 % |
894.36/894.67 c | 996593 | 54912 429332 1736991 | 2147483647 183385 42 | 2.626 % |
895.86/896.14 c | 998134 | 54912 429332 1736991 | 2147483647 184926 42 | 2.626 % |
898.76/899.08 c | 999828 | 54912 429332 1736991 | 2147483647 186620 42 | 2.626 % |
900.06/900.32 c | 1001691 | 54912 429332 1736991 | 2147483647 188483 42 | 2.626 % |
901.96/902.30 c | 1003740 | 54912 429332 1736991 | 2147483647 190532 42 | 2.626 % |
903.86/904.15 c | 1005993 | 54912 429332 1736991 | 2147483647 192785 42 | 2.626 % |
906.76/907.06 c | 1008474 | 54912 429332 1736991 | 2147483647 195266 43 | 2.626 % |
909.06/909.36 c | 1011199 | 54912 429332 1736991 | 2147483647 197991 43 | 2.626 % |
911.66/911.97 c | 1014197 | 54912 429332 1736991 | 2147483647 200989 43 | 2.626 % |
914.36/914.63 c | 1017493 | 54912 429332 1736991 | 2147483647 204285 43 | 2.626 % |
915.96/916.27 c | 1021119 | 54912 429332 1736991 | 2147483647 207911 43 | 2.626 % |
918.06/918.42 c | 1025106 | 54912 429332 1736991 | 2147483647 211898 43 | 2.626 % |
920.06/920.36 c | 1029492 | 54912 429332 1736991 | 2147483647 216284 42 | 2.626 % |
926.56/926.87 c | 1034316 | 54912 429332 1736991 | 2147483647 221108 43 | 2.626 % |
929.66/929.99 c | 1039621 | 54912 429332 1736991 | 2147483647 226413 43 | 2.626 % |
933.06/933.38 c | 1045456 | 54912 429332 1736991 | 2147483647 232248 43 | 2.626 % |
940.26/940.54 c | 1051874 | 54912 429332 1736991 | 2147483647 238666 42 | 2.626 % |
946.96/947.31 c | 1058934 | 54912 429332 1736991 | 2147483647 245726 44 | 2.626 % |
957.26/957.61 c | 1066699 | 54912 429332 1736991 | 246792 253491 45 | 2.626 % |
967.26/967.55 c | 1075240 | 54912 429332 1736991 | 219885 189659 43 | 2.626 % |
975.76/976.09 c | 1084634 | 54912 429332 1736991 | 2147483647 199053 43 | 2.626 % |
975.96/976.22 c | 1084734 | 54912 429332 1736991 | 2147483647 199153 43 | 2.626 % |
975.96/976.31 c | 1084844 | 54912 429332 1736991 | 2147483647 199263 43 | 2.626 % |
976.16/976.43 c | 1084965 | 54912 429332 1736991 | 2147483647 199384 43 | 2.626 % |
976.26/976.56 c | 1085098 | 54912 429332 1736991 | 2147483647 199517 43 | 2.626 % |
976.46/976.75 c | 1085246 | 54912 429332 1736991 | 2147483647 199665 43 | 2.626 % |
976.66/976.95 c | 1085406 | 54912 429332 1736991 | 2147483647 199825 43 | 2.626 % |
976.86/977.16 c | 1085583 | 54912 429332 1736991 | 2147483647 200002 43 | 2.626 % |
977.06/977.31 c | 1085777 | 54912 429332 1736991 | 2147483647 200196 43 | 2.626 % |
977.36/977.61 c | 1085989 | 54912 429332 1736991 | 2147483647 200408 43 | 2.626 % |
977.46/977.80 c | 1086224 | 54912 429332 1736991 | 2147483647 200643 43 | 2.626 % |
977.76/978.09 c | 1086481 | 54912 429332 1736991 | 2147483647 200900 43 | 2.626 % |
978.16/978.43 c | 1086762 | 54912 429332 1736991 | 2147483647 201181 43 | 2.626 % |
978.36/978.66 c | 1087071 | 54912 429332 1736991 | 2147483647 201490 43 | 2.626 % |
978.77/979.02 c | 1087410 | 54912 429332 1736991 | 2147483647 201829 43 | 2.626 % |
978.96/979.23 c | 1087783 | 54912 429332 1736991 | 2147483647 202202 43 | 2.626 % |
979.26/979.58 c | 1088194 | 54912 429332 1736991 | 2147483647 202613 43 | 2.626 % |
979.36/979.70 c | 1088643 | 54912 429332 1736991 | 2147483647 203062 43 | 2.626 % |
979.96/980.22 c | 1089136 | 54912 429332 1736991 | 2147483647 203555 43 | 2.626 % |
980.66/980.97 c | 1089679 | 54912 429332 1736991 | 2147483647 204098 43 | 2.626 % |
981.36/981.68 c | 1090275 | 54912 429332 1736991 | 2147483647 204694 43 | 2.626 % |
982.07/982.36 c | 1090930 | 54912 429332 1736991 | 2147483647 205349 43 | 2.626 % |
982.46/982.75 c | 1091651 | 54912 429332 1736991 | 2147483647 206070 43 | 2.626 % |
983.36/983.71 c | 1092444 | 54912 429332 1736991 | 2147483647 206863 43 | 2.626 % |
984.16/984.52 c | 1093315 | 54912 429332 1736991 | 2147483647 207734 43 | 2.626 % |
984.76/985.10 c | 1094274 | 54912 429332 1736991 | 2147483647 208693 43 | 2.626 % |
985.86/986.16 c | 1095327 | 54912 429332 1736991 | 2147483647 209746 43 | 2.626 % |
986.56/986.89 c | 1096485 | 54912 429332 1736991 | 2147483647 210904 43 | 2.626 % |
987.76/988.09 c | 1097758 | 54912 429332 1736991 | 2147483647 212177 43 | 2.626 % |
988.96/989.22 c | 1099163 | 54912 429332 1736991 | 2147483647 213582 43 | 2.626 % |
990.87/991.14 c | 1100704 | 54912 429332 1736991 | 2147483647 215123 44 | 2.626 % |
992.56/992.87 c | 1102402 | 54912 429332 1736991 | 2147483647 216821 44 | 2.626 % |
995.16/995.50 c | 1104266 | 54912 429332 1736991 | 2147483647 218685 44 | 2.626 % |
997.37/997.71 c | 1106315 | 54912 429332 1736991 | 2147483647 220734 44 | 2.626 % |
1000.07/1000.36 c | 1108568 | 54912 429332 1736991 | 2147483647 222987 44 | 2.626 % |
1001.97/1002.27 c | 1111050 | 54912 429332 1736991 | 2147483647 225469 44 | 2.626 % |
1003.77/1004.07 c | 1113779 | 54912 429332 1736991 | 2147483647 228198 44 | 2.626 % |
1007.27/1007.56 c | 1116776 | 54912 429332 1736991 | 2147483647 231195 44 | 2.626 % |
1010.07/1010.38 c | 1120072 | 54912 429332 1736991 | 2147483647 234491 44 | 2.626 % |
1012.07/1012.39 c | 1123698 | 54912 429332 1736991 | 2147483647 238117 44 | 2.626 % |
1016.77/1017.04 c | 1127686 | 54912 429332 1736991 | 2147483647 242105 44 | 2.626 % |
1022.77/1023.05 c | 1132071 | 54912 429332 1736991 | 2147483647 246490 45 | 2.626 % |
1027.57/1027.83 c | 1136895 | 54912 429332 1736991 | 2147483647 251314 45 | 2.626 % |
1034.37/1034.63 c | 1142200 | 54912 429332 1736991 | 254419 256619 45 | 2.626 % |
1039.97/1040.28 c | 1148038 | 54912 429332 1736991 | 254419 214567 44 | 2.626 % |
1047.87/1048.12 c | 1154458 | 54912 429332 1736991 | 216529 220987 46 | 2.626 % |
1053.47/1053.81 c | 1161517 | 54912 429332 1736991 | 203025 204541 46 | 2.626 % |
1060.97/1061.28 c | 1169282 | 54912 429332 1736991 | 203025 180982 46 | 2.626 % |
1067.88/1068.21 c | 1177824 | 54912 429332 1736991 | 2147483647 189524 46 | 2.626 % |
1074.97/1075.23 c | 1187218 | 54912 429332 1736991 | 2147483647 198918 48 | 2.626 % |
1082.87/1083.17 c | 1197553 | 54912 429332 1736991 | 201701 183308 47 | 2.626 % |
1082.97/1083.24 c | 1197653 | 54912 429332 1736991 | 201701 183408 47 | 2.626 % |
1083.07/1083.38 c | 1197765 | 54912 429332 1736991 | 201701 183520 47 | 2.626 % |
1083.28/1083.59 c | 1197887 | 54912 429332 1736991 | 201701 183642 47 | 2.626 % |
1083.47/1083.77 c | 1198022 | 54912 429332 1736991 | 201701 183777 47 | 2.626 % |
1083.67/1084.01 c | 1198168 | 54912 429332 1736991 | 201701 183923 47 | 2.626 % |
1083.87/1084.11 c | 1198330 | 54912 429332 1736991 | 201701 184085 47 | 2.626 % |
1084.17/1084.49 c | 1198506 | 54912 429332 1736991 | 201701 184261 47 | 2.626 % |
1084.47/1084.74 c | 1198700 | 54912 429332 1736991 | 201701 184455 47 | 2.626 % |
1084.77/1085.05 c | 1198913 | 54912 429332 1736991 | 201701 184668 47 | 2.626 % |
1084.87/1085.21 c | 1199147 | 54912 429332 1736991 | 201701 184902 47 | 2.626 % |
1085.17/1085.49 c | 1199404 | 54912 429332 1736991 | 201701 185159 47 | 2.626 % |
1085.37/1085.68 c | 1199685 | 54912 429332 1736991 | 201701 185440 47 | 2.626 % |
1085.77/1086.09 c | 1199995 | 54912 429332 1736991 | 201701 185750 47 | 2.626 % |
1086.07/1086.41 c | 1200335 | 54912 429332 1736991 | 2147483647 186090 47 | 2.626 % |
1086.47/1086.76 c | 1200708 | 54912 429332 1736991 | 2147483647 186463 47 | 2.626 % |
1086.87/1087.12 c | 1201117 | 54912 429332 1736991 | 2147483647 186872 47 | 2.626 % |
1087.37/1087.71 c | 1201566 | 54912 429332 1736991 | 2147483647 187321 47 | 2.626 % |
1087.97/1088.22 c | 1202059 | 54912 429332 1736991 | 2147483647 187814 47 | 2.626 % |
1088.57/1088.90 c | 1202601 | 54912 429332 1736991 | 2147483647 188356 47 | 2.626 % |
1089.07/1089.35 c | 1203200 | 54912 429332 1736991 | 2147483647 188955 47 | 2.626 % |
1089.77/1090.03 c | 1203855 | 54912 429332 1736991 | 2147483647 189610 47 | 2.626 % |
1090.57/1090.90 c | 1204575 | 54912 429332 1736991 | 2147483647 190330 47 | 2.626 % |
1091.47/1091.79 c | 1205367 | 54912 429332 1736991 | 2147483647 191122 47 | 2.626 % |
1092.37/1092.65 c | 1206238 | 54912 429332 1736991 | 2147483647 191993 47 | 2.626 % |
1093.18/1093.46 c | 1207197 | 54912 429332 1736991 | 2147483647 192952 47 | 2.626 % |
1094.57/1094.86 c | 1208251 | 54912 429332 1736991 | 2147483647 194006 47 | 2.626 % |
1095.07/1095.39 c | 1209411 | 54912 429332 1736991 | 2147483647 195166 47 | 2.626 % |
1096.87/1097.18 c | 1210684 | 54912 429332 1736991 | 2147483647 196439 47 | 2.626 % |
1098.27/1098.57 c | 1212086 | 54912 429332 1736991 | 2147483647 197841 47 | 2.626 % |
1099.46/1099.79 c | 1213627 | 54912 429332 1736991 | 2147483647 199382 47 | 2.626 % |
1100.26/1100.56 c | 1215322 | 54912 429332 1736991 | 2147483647 201077 47 | 2.626 % |
1102.06/1102.33 c | 1217186 | 54912 429332 1736991 | 2147483647 202941 47 | 2.626 % |
1104.66/1104.91 c | 1219235 | 54912 429332 1736991 | 2147483647 204990 48 | 2.626 % |
1106.66/1106.97 c | 1221488 | 54912 429332 1736991 | 205755 207243 48 | 2.626 % |
1109.97/1110.23 c | 1223966 | 54912 429332 1736991 | 205755 177979 46 | 2.626 % |
1111.67/1111.96 c | 1226693 | 54912 429332 1736991 | 205755 180706 46 | 2.626 % |
1114.47/1114.78 c | 1229691 | 54912 429332 1736991 | 205755 183704 46 | 2.626 % |
1117.07/1117.39 c | 1232987 | 54912 429332 1736991 | 184017 187000 46 | 2.626 % |
1120.57/1120.90 c | 1236612 | 54912 429332 1736991 | 184017 157115 46 | 2.626 % |
1123.57/1123.85 c | 1240599 | 54912 429332 1736991 | 2147483647 161102 47 | 2.626 % |
1127.07/1127.39 c | 1244984 | 54912 429332 1736991 | 2147483647 165487 47 | 2.626 % |
1130.67/1131.01 c | 1249808 | 54912 429332 1736991 | 2147483647 170311 47 | 2.626 % |
1135.37/1135.66 c | 1255115 | 54912 429332 1736991 | 2147483647 175618 46 | 2.626 % |
1142.67/1142.95 c | 1260951 | 54912 429332 1736991 | 2147483647 181454 47 | 2.626 % |
1146.77/1147.02 c | 1267369 | 54912 429332 1736991 | 2147483647 187872 47 | 2.626 % |
1154.77/1155.08 c | 1274430 | 54912 429332 1736991 | 190504 194933 47 | 2.626 % |
1161.87/1162.17 c | 1282197 | 54912 429332 1736991 | 172180 174377 45 | 2.626 % |
1170.36/1170.68 c | 1290737 | 54912 429332 1736991 | 2147483647 165480 47 | 2.626 % |
1179.06/1179.32 c | 1300131 | 54912 429332 1736991 | 174744 174874 47 | 2.626 % |
1185.76/1186.09 c | 1310464 | 54912 429332 1736991 | 2147483647 165989 46 | 2.626 % |
1195.66/1195.91 c | 1321830 | 54912 429332 1736991 | 2147483647 177355 46 | 2.626 % |
1195.66/1195.98 c | 1321930 | 54912 429332 1736991 | 2147483647 177455 46 | 2.626 % |
1195.86/1196.17 c | 1322040 | 54912 429332 1736991 | 2147483647 177565 46 | 2.626 % |
1195.96/1196.29 c | 1322163 | 54912 429332 1736991 | 2147483647 177688 46 | 2.626 % |
1196.06/1196.40 c | 1322297 | 54912 429332 1736991 | 2147483647 177822 46 | 2.626 % |
1196.26/1196.59 c | 1322443 | 54912 429332 1736991 | 2147483647 177968 46 | 2.626 % |
1196.46/1196.78 c | 1322607 | 54912 429332 1736991 | 2147483647 178132 46 | 2.626 % |
1196.66/1196.94 c | 1322784 | 54912 429332 1736991 | 2147483647 178309 46 | 2.626 % |
1196.86/1197.12 c | 1322977 | 54912 429332 1736991 | 2147483647 178502 46 | 2.626 % |
1197.06/1197.40 c | 1323191 | 54912 429332 1736991 | 2147483647 178716 46 | 2.626 % |
1197.46/1197.72 c | 1323424 | 54912 429332 1736991 | 2147483647 178949 46 | 2.626 % |
1197.56/1197.91 c | 1323680 | 54912 429332 1736991 | 2147483647 179205 46 | 2.626 % |
1197.96/1198.22 c | 1323961 | 54912 429332 1736991 | 2147483647 179486 46 | 2.626 % |
1198.16/1198.49 c | 1324270 | 54912 429332 1736991 | 2147483647 179795 46 | 2.626 % |
1198.46/1198.74 c | 1324610 | 54912 429332 1736991 | 2147483647 180135 46 | 2.626 % |
1198.66/1198.92 c | 1324982 | 54912 429332 1736991 | 2147483647 180507 46 | 2.626 % |
1199.26/1199.53 c | 1325392 | 54908 429317 1736917 | 2147483647 180908 46 | 2.633 % |
1199.76/1200.07 c | 1325841 | 54908 429317 1736917 | 2147483647 181357 46 | 2.633 % |
1200.06/1200.31 HOME/SatELiteGTI: line 36: 11106 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821958-1242583426/watcher-1821958-1242583426 -o /tmp/evaluation-result-1821958-1242583426/solver-1821958-1242583426 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821958-1242583426.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10917
/proc/meminfo: memFree=953112/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=952 CPUtime=0
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 119 0 0 0 0 0 0 0 20 0 1 0 1022843626 974848 54 4294967295 134512640 135223648 3214003296 3214000712 134697236 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 238 56 46 174 0 63 0
[startup+0.09252 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10917
/proc/meminfo: memFree=953112/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=15664 CPUtime=0.09
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 3209 0 0 0 7 2 0 0 20 0 1 0 1022843626 16039936 3144 4294967295 134512640 135223648 3214003296 3214001880 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 3916 3145 46 174 0 3741 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18080
[startup+0.122517 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10917
/proc/meminfo: memFree=953112/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=18948 CPUtime=0.12
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 4205 0 0 0 10 2 0 0 20 0 1 0 1022843626 19402752 4140 4294967295 134512640 135223648 3214003296 3214002248 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 4737 4142 46 174 0 4562 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21364
[startup+0.322507 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10917
/proc/meminfo: memFree=953112/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=43808 CPUtime=0.32
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 10652 0 0 0 26 6 0 0 21 0 1 0 1022843626 44859392 10587 4294967295 134512640 135223648 3214003296 3214002248 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 10952 10588 46 174 0 10777 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 46224
[startup+0.722488 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10917
/proc/meminfo: memFree=953112/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=114936 CPUtime=0.72
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 22712 0 0 0 58 14 0 0 22 0 1 0 1022843626 117694464 22647 4294967295 134512640 135223648 3214003296 3214002032 134540952 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 28734 22648 46 174 0 28559 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 117352
[startup+1.52245 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10922
/proc/meminfo: memFree=823492/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=172860 CPUtime=1.52
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 40417 0 0 0 128 24 0 0 25 0 1 0 1022843626 177008640 37300 4294967295 134512640 135223648 3214003296 3214001248 134563693 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 43215 37301 73 174 0 43040 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 175276
[startup+3.12237 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10922
/proc/meminfo: memFree=795344/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=180416 CPUtime=3.12
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 41995 0 0 0 285 27 0 0 25 0 1 0 1022843626 184745984 38878 4294967295 134512640 135223648 3214003296 3214001296 134548486 0 0 0 3 0 0 0 17 1 0 0 0
/proc/10921/statm: 45104 38878 73 174 0 44929 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 182832
[startup+6.32222 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11105
/proc/meminfo: memFree=758728/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2416 CPUtime=0.01
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 369 643 0 0 0 0 0 1 18 0 1 0 1022843626 2473984 277 4294967295 134512640 135169312 3215853104 3215851640 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 604 277 235 161 0 43 0
[pid=10921] ppid=10917 vsize=189584 CPUtime=6.31
/proc/10921/stat : 10921 (SatELite_releas) R 10917 10917 10114 0 -1 4202496 44479 0 0 0 599 32 0 0 25 0 1 0 1022843626 194134016 41001 4294967295 134512640 135223648 3214003296 3214001312 134586954 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10921/statm: 47396 41001 73 174 0 47221 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 192000
[startup+12.7219 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11106
/proc/meminfo: memFree=878128/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=30264 CPUtime=4.56
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 7374 0 0 0 455 1 0 0 25 0 1 0 1022844440 30990336 7297 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11106/statm: 7566 7297 73 172 0 7393 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 32684
[startup+25.5213 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11107
/proc/meminfo: memFree=875220/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=33420 CPUtime=17.3
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 8168 0 0 0 1727 3 0 0 25 0 1 0 1022844440 34222080 8091 4294967295 134512640 135215339 3220304576 3220302864 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11106/statm: 8355 8091 73 172 0 8182 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 35840
[startup+51.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11110
/proc/meminfo: memFree=862416/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=46476 CPUtime=42.76
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 11414 0 0 0 4269 7 0 0 25 0 1 0 1022844440 47591424 11337 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11106/statm: 11619 11337 73 172 0 11446 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 48896
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11296
/proc/meminfo: memFree=843276/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=65668 CPUtime=93.9
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 16229 0 0 0 9381 9 0 0 25 0 1 0 1022844440 67244032 16152 4294967295 134512640 135215339 3220304576 3220302576 134532964 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 16417 16152 73 172 0 16244 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 68088
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11488
/proc/meminfo: memFree=829396/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=79468 CPUtime=153.89
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 19583 0 0 0 15377 12 0 0 25 0 1 0 1022844440 81375232 19506 4294967295 134512640 135215339 3220304576 3220302864 134528830 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 19867 19506 73 172 0 19694 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 81888
[startup+222.322 s]
/proc/loadavg: 1.09 1.03 1.01 2/95 11677
/proc/meminfo: memFree=826140/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=82552 CPUtime=213.9
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 20383 0 0 0 21378 12 0 0 25 0 1 0 1022844440 84533248 20306 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 20638 20306 73 172 0 20465 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 84972
[startup+282.309 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 11866
/proc/meminfo: memFree=825924/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=82992 CPUtime=273.89
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 20481 0 0 0 27377 12 0 0 25 0 1 0 1022844440 84983808 20404 4294967295 134512640 135215339 3220304576 3220302864 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 20748 20404 73 172 0 20575 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 85412
[startup+342.316 s]
/proc/loadavg: 1.02 1.03 1.00 4/95 12055
/proc/meminfo: memFree=825412/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=83256 CPUtime=333.9
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 20545 0 0 0 33374 16 0 0 25 0 1 0 1022844440 85254144 20468 4294967295 134512640 135215339 3220304576 3220302864 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 20814 20468 73 172 0 20641 0
Current children cumulated CPU time (s) 342.04
################
# More data... #
################
[pid=11106] ppid=10917 vsize=86272 CPUtime=513.9
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 21248 0 0 0 51364 26 0 0 25 0 1 0 1022844440 88342528 21171 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 21568 21171 73 172 0 21395 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 88692
[startup+582.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12809
/proc/meminfo: memFree=822204/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=86564 CPUtime=573.91
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 21344 0 0 0 57362 29 0 0 25 0 1 0 1022844440 88641536 21267 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 21641 21267 73 172 0 21468 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 88984
[startup+642.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12998
/proc/meminfo: memFree=821568/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=87068 CPUtime=633.91
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 21446 0 0 0 63362 29 0 0 25 0 1 0 1022844440 89157632 21369 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 21767 21369 73 172 0 21594 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 89488
[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13184
/proc/meminfo: memFree=821328/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=87512 CPUtime=693.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 21551 0 0 0 69362 30 0 0 25 0 1 0 1022844440 89612288 21474 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11106/statm: 21878 21474 73 172 0 21705 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 89932
[startup+762.325 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 13372
/proc/meminfo: memFree=820344/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=88632 CPUtime=753.93
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 21823 0 0 0 75362 31 0 0 25 0 1 0 1022844440 90759168 21746 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 22158 21746 73 172 0 21985 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 91052
[startup+822.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13568
/proc/meminfo: memFree=818352/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=90660 CPUtime=813.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 22348 0 0 0 81361 31 0 0 25 0 1 0 1022844440 92835840 22271 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 22665 22271 73 172 0 22492 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 93080
[startup+882.32 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 13755
/proc/meminfo: memFree=817988/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=91076 CPUtime=873.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 22418 0 0 0 87361 31 0 0 25 0 1 0 1022844440 93261824 22341 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 22769 22341 73 172 0 22596 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 93496
[startup+942.317 s]
/proc/loadavg: 1.03 1.01 1.00 3/95 13944
/proc/meminfo: memFree=817600/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=91368 CPUtime=933.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 22499 0 0 0 93358 34 0 0 25 0 1 0 1022844440 93560832 22422 4294967295 134512640 135215339 3220304576 3220302864 134528724 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 22842 22422 73 172 0 22669 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 93788
[startup+1002.32 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 14130
/proc/meminfo: memFree=816864/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=92300 CPUtime=993.93
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 22726 0 0 0 99359 34 0 0 25 0 1 0 1022844440 94515200 22649 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23075 22649 73 172 0 22902 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 94720
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 14318
/proc/meminfo: memFree=815384/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=93796 CPUtime=1053.93
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 23112 0 0 0 105359 34 0 0 25 0 1 0 1022844440 96047104 23035 4294967295 134512640 135215339 3220304576 3220302864 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23449 23035 73 172 0 23276 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 96216
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 14507
/proc/meminfo: memFree=815004/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=93956 CPUtime=1113.93
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 23154 0 0 0 111359 34 0 0 25 0 1 0 1022844440 96210944 23077 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23489 23077 73 172 0 23316 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 96376
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14698
/proc/meminfo: memFree=815136/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=94136 CPUtime=1173.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 23174 0 0 0 117358 34 0 0 25 0 1 0 1022844440 96395264 23097 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23534 23097 73 172 0 23361 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 96556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14700
/proc/meminfo: memFree=815128/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=94136 CPUtime=1191.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 23175 0 0 0 119158 34 0 0 25 0 1 0 1022844440 96395264 23098 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23534 23098 73 172 0 23361 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 96556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14700
/proc/meminfo: memFree=815128/2074464 swapFree=1950884/1959888
[pid=10917] ppid=10915 vsize=2420 CPUtime=8.14
/proc/10917/stat : 10917 (SatELiteGTI) S 10915 10917 10114 0 -1 4194304 387 48894 0 0 0 0 775 39 18 0 1 0 1022843626 2478080 278 4294967295 134512640 135169312 3215853104 3215849320 3085549294 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/10917/statm: 605 278 235 161 0 44 0
[pid=11106] ppid=10917 vsize=94136 CPUtime=1191.92
/proc/11106/stat : 11106 (minisat_static) R 10917 10917 10114 0 -1 4202496 23175 0 0 0 119158 34 0 0 25 0 1 0 1022844440 96395264 23098 4294967295 134512640 135215339 3220304576 3220302864 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11106/statm: 23534 23098 73 172 0 23361 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 96556
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.32
CPU time (s): 1200.07
CPU user time (s): 1199.33
CPU system time (s): 0.74
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 196108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.33
system time used= 0.74
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72547
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= 19
involuntary context switches= 2049
runsolver used 0.03 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-17 20:03:46
IDJOB=1821958
IDBENCH=71749
IDSOLVER=657
FILE ID=tipi13/1821958-1242583426
PBS_JOBID=
Free space on /tmp= 6580 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f10ni.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821958-1242583426/watcher-1821958-1242583426 -o /tmp/evaluation-result-1821958-1242583426/solver-1821958-1242583426 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821958-1242583426.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b99a5b8844b4e1d2656eb1422e6e888f
RANDOM SEED= 1183958947
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 953128 kB
Buffers: 42716 kB
Cached: 963848 kB
SwapCached: 3428 kB
Active: 385632 kB
Inactive: 630352 kB
HighTotal: 1178688 kB
HighFree: 317840 kB
LowTotal: 895776 kB
LowFree: 635288 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 22004 kB
Writeback: 0 kB
AnonPages: 8548 kB
Mapped: 3068 kB
Slab: 97952 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6548 MiB
End job on tipi13 at 2009-05-17 20:23:51