0.00/0.00 c Parsing...
0.89/0.94 c ==============================================================================
0.89/0.94 c | | ORIGINAL | LEARNT | |
0.89/0.94 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.89/0.94 c ==============================================================================
0.89/0.94 c | 0 | 1100499 2567831 | 330149 0 0 nan | 0.000 % |
7.98/8.06 c | 0 | 456317 1844839 | -- 0 -- -- | -- | -644180/-722987
7.98/8.06 c ==============================================================================
7.98/8.06 c Result : #vars: 56393 #clauses: 456317 #literals: 1844839
7.98/8.06 c CPU time: 7.67283 s
7.98/8.06 c ==============================================================================
8.57/8.69 c This is MiniSat 2.0 beta
8.57/8.69 c WARNING: for repeatability, setting FPU to use double precision
8.57/8.69 c ============================[ Problem Statistics ]=============================
8.57/8.69 c | |
8.57/8.69 c | Number of variables: 56393 |
8.57/8.69 c | Number of clauses: 456317 |
8.96/9.02 c | Parsing time: 0.29 s |
8.96/9.04 c ============================[ Search Statistics ]==============================
8.96/9.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.96/9.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.96/9.04 c ===============================================================================
8.96/9.04 c | 0 | 56393 456317 1844839 | 152105 0 nan | 0.000 % |
8.96/9.10 c | 100 | 56390 456317 1844839 | 152105 97 7 | 0.032 % |
9.06/9.20 c | 200 | 56385 456317 1844839 | 152105 197 13 | 0.032 % |
9.16/9.28 c | 300 | 56385 456317 1844839 | 152105 297 19 | 0.032 % |
9.26/9.34 c | 410 | 56369 456317 1844839 | 152105 405 17 | 0.094 % |
9.26/9.36 c | 511 | 56369 456317 1844839 | 152105 506 19 | 0.094 % |
9.36/9.42 c | 621 | 56369 456317 1844839 | 152105 616 18 | 0.094 % |
9.36/9.48 c | 743 | 56369 456317 1844839 | 152105 738 18 | 0.094 % |
9.45/9.56 c | 843 | 56369 456317 1844839 | 152105 838 18 | 0.094 % |
9.55/9.62 c | 954 | 56369 456317 1844839 | 152105 949 18 | 0.094 % |
9.55/9.65 c | 1077 | 56369 456317 1844839 | 152105 1072 17 | 0.094 % |
9.65/9.70 c | 1210 | 56369 456317 1844839 | 152105 1205 18 | 0.094 % |
9.65/9.74 c | 1310 | 56369 456317 1844839 | 152105 1305 17 | 0.094 % |
9.65/9.79 c | 1420 | 56369 456317 1844839 | 152105 1415 18 | 0.094 % |
9.86/9.90 c | 1541 | 56366 456317 1844839 | 152105 1536 17 | 0.094 % |
9.95/10.01 c | 1675 | 56366 456317 1844839 | 152105 1670 17 | 0.094 % |
10.05/10.11 c | 1821 | 56366 456317 1844839 | 152105 1816 17 | 0.094 % |
10.05/10.15 c | 1923 | 56366 456317 1844839 | 152105 1918 17 | 0.094 % |
10.15/10.20 c | 2033 | 56366 456317 1844839 | 152105 2028 17 | 0.094 % |
10.15/10.29 c | 2155 | 56366 456317 1844839 | 152105 2150 18 | 0.094 % |
10.25/10.39 c | 2289 | 56365 456317 1844839 | 152105 2283 17 | 0.098 % |
10.35/10.46 c | 2435 | 56364 456317 1844839 | 152105 2429 17 | 0.098 % |
10.55/10.64 c | 2596 | 56332 455543 1842259 | 152105 2536 18 | 0.158 % |
10.65/10.70 c | 2696 | 56330 455543 1842259 | 152105 2635 17 | 0.184 % |
10.65/10.79 c | 2807 | 56330 455543 1842259 | 152105 2746 17 | 0.184 % |
10.75/10.88 c | 2929 | 56330 455543 1842259 | 152105 2868 17 | 0.184 % |
10.85/10.94 c | 3062 | 56311 455543 1842259 | 152105 2998 17 | 0.222 % |
10.85/11.00 c | 3208 | 56308 455543 1842259 | 152105 3143 17 | 0.232 % |
10.96/11.02 c | 3368 | 56308 455543 1842259 | 152105 3303 16 | 0.232 % |
11.06/11.13 c | 3544 | 56308 455543 1842259 | 152105 3479 17 | 0.232 % |
11.06/11.18 c | 3644 | 56308 455543 1842259 | 152105 3579 17 | 0.232 % |
11.16/11.27 c | 3755 | 56306 455543 1842259 | 152105 3690 17 | 0.232 % |
11.26/11.35 c | 3877 | 56302 455543 1842259 | 152105 3812 17 | 0.232 % |
11.36/11.43 c | 4010 | 56302 455543 1842259 | 152105 3945 17 | 0.232 % |
11.46/11.51 c | 4156 | 56225 455543 1842259 | 152105 4089 17 | 0.548 % |
11.56/11.68 c | 4317 | 56206 455543 1842259 | 152105 4250 19 | 0.548 % |
11.75/11.84 c | 4494 | 56206 455543 1842259 | 152105 4427 19 | 0.548 % |
11.85/11.93 c | 4688 | 56206 455543 1842259 | 152105 4621 19 | 0.548 % |
11.96/12.03 c | 4788 | 56084 449861 1818916 | 152105 4392 19 | 0.548 % |
12.06/12.11 c | 4899 | 55897 449861 1818916 | 152105 4495 19 | 1.690 % |
12.06/12.15 c | 5020 | 55845 449861 1818916 | 152105 4616 19 | 1.690 % |
12.15/12.22 c | 5155 | 55845 449861 1818916 | 152105 4751 19 | 1.690 % |
12.15/12.25 c | 5301 | 55845 449861 1818916 | 152105 4897 19 | 1.690 % |
12.25/12.34 c | 5462 | 55844 449861 1818916 | 152105 5057 19 | 1.693 % |
12.35/12.41 c | 5638 | 55841 449861 1818916 | 152105 5231 19 | 1.699 % |
12.45/12.52 c | 5832 | 55724 449861 1818916 | 152105 5424 19 | 1.729 % |
12.55/12.60 c | 6044 | 55724 449861 1818916 | 152105 5636 19 | 1.729 % |
12.55/12.65 c | 6145 | 55722 449861 1818916 | 152105 5735 19 | 1.743 % |
12.65/12.75 c | 6255 | 55721 449861 1818916 | 152105 5845 19 | 1.743 % |
12.75/12.83 c | 6377 | 55721 449861 1818916 | 152105 5967 19 | 1.743 % |
12.75/12.84 c | 6510 | 55721 449861 1818916 | 152105 6100 19 | 1.743 % |
12.85/12.94 c | 6656 | 55721 449861 1818916 | 152105 6246 19 | 1.743 % |
12.95/13.00 c | 6818 | 55721 449861 1818916 | 152105 6408 19 | 1.743 % |
12.95/13.08 c | 6995 | 55721 449861 1818916 | 152105 6585 19 | 1.743 % |
13.06/13.15 c | 7188 | 55721 449861 1818916 | 152105 6778 20 | 1.743 % |
13.25/13.31 c | 7402 | 55721 449861 1818916 | 152105 6992 19 | 1.743 % |
13.25/13.37 c | 7636 | 55721 449861 1818916 | 152105 7226 19 | 1.743 % |
13.35/13.45 c | 7737 | 55410 438879 1773657 | 152105 6650 19 | 1.743 % |
13.45/13.51 c | 7847 | 55410 438879 1773657 | 152105 6760 19 | 1.743 % |
13.45/13.58 c | 7969 | 55410 438879 1773657 | 152105 6882 19 | 1.743 % |
13.55/13.64 c | 8102 | 55410 438879 1773657 | 152105 7015 19 | 1.743 % |
13.55/13.66 c | 8248 | 55410 438879 1773657 | 152105 7161 19 | 1.743 % |
13.55/13.68 c | 8410 | 55410 438879 1773657 | 152105 7323 20 | 1.743 % |
13.75/13.81 c | 8587 | 55410 438879 1773657 | 152105 7500 20 | 1.743 % |
13.75/13.86 c | 8780 | 55410 438879 1773657 | 152105 7693 20 | 1.743 % |
13.85/13.99 c | 8992 | 55410 438879 1773657 | 152105 7905 20 | 1.743 % |
13.95/14.07 c | 9226 | 55406 438879 1773657 | 152105 8136 21 | 1.750 % |
14.05/14.15 c | 9482 | 55406 438879 1773657 | 152105 8392 21 | 1.750 % |
14.05/14.19 c | 9584 | 55406 438879 1773657 | 152105 8494 21 | 1.750 % |
14.16/14.24 c | 9694 | 55406 438879 1773657 | 152105 8604 20 | 1.750 % |
14.26/14.31 c | 9816 | 55405 438879 1773657 | 152105 8725 20 | 1.752 % |
14.26/14.34 c | 9949 | 55405 438879 1773657 | 152105 8858 20 | 1.752 % |
14.35/14.40 c | 10097 | 55405 438879 1773657 | 2147483647 9006 20 | 1.752 % |
14.45/14.51 c | 10258 | 55405 438879 1773657 | 2147483647 9167 20 | 1.752 % |
14.45/14.55 c | 10434 | 55405 438879 1773657 | 2147483647 9343 20 | 1.752 % |
14.55/14.60 c | 10627 | 55405 438879 1773657 | 2147483647 9536 20 | 1.752 % |
14.75/14.82 c | 10839 | 55405 438879 1773657 | 2147483647 9748 20 | 1.752 % |
14.85/14.93 c | 11072 | 55405 438855 1773563 | 2147483647 9834 20 | 1.752 % |
14.95/15.01 c | 11329 | 55405 438855 1773563 | 2147483647 10091 20 | 1.752 % |
15.05/15.15 c | 11610 | 55405 438855 1773563 | 2147483647 10372 20 | 1.752 % |
15.05/15.20 c | 11711 | 55405 438855 1773563 | 2147483647 10473 21 | 1.752 % |
15.15/15.25 c | 11822 | 55405 438855 1773563 | 2147483647 10584 21 | 1.752 % |
15.15/15.27 c | 11943 | 55405 438855 1773563 | 2147483647 10705 21 | 1.752 % |
15.26/15.32 c | 12077 | 55405 438855 1773563 | 2147483647 10839 21 | 1.752 % |
15.36/15.42 c | 12224 | 55405 438855 1773563 | 2147483647 10986 21 | 1.752 % |
15.45/15.57 c | 12384 | 55405 438855 1773563 | 2147483647 11146 21 | 1.752 % |
15.65/15.71 c | 12560 | 55405 438855 1773563 | 2147483647 11322 21 | 1.752 % |
15.75/15.80 c | 12753 | 55404 438855 1773563 | 2147483647 11514 21 | 1.754 % |
15.75/15.87 c | 12967 | 55399 438855 1773563 | 2147483647 11726 21 | 1.779 % |
15.85/15.99 c | 13201 | 55399 438855 1773563 | 2147483647 11960 21 | 1.779 % |
15.95/16.10 c | 13457 | 55399 438855 1773563 | 2147483647 12216 21 | 1.779 % |
16.05/16.13 c | 13738 | 55399 438855 1773563 | 2147483647 12497 21 | 1.779 % |
16.15/16.22 c | 14047 | 55398 438855 1773563 | 2147483647 12805 21 | 1.782 % |
16.15/16.28 c | 14147 | 55398 438855 1773563 | 2147483647 12905 21 | 1.782 % |
16.25/16.35 c | 14259 | 55398 438855 1773563 | 2147483647 13017 21 | 1.782 % |
16.35/16.48 c | 14382 | 55385 438641 1772752 | 2147483647 13137 21 | 1.787 % |
16.45/16.57 c | 14515 | 55385 438641 1772752 | 2147483647 13270 21 | 1.787 % |
16.55/16.62 c | 14661 | 55385 438641 1772752 | 2147483647 13416 21 | 1.787 % |
16.55/16.67 c | 14822 | 55385 438641 1772752 | 2147483647 13577 21 | 1.787 % |
16.75/16.85 c | 14998 | 55381 438641 1772752 | 2147483647 13752 21 | 1.795 % |
16.85/16.95 c | 15191 | 55377 438641 1772752 | 2147483647 13944 20 | 1.802 % |
16.85/16.98 c | 15403 | 55377 438641 1772752 | 2147483647 14156 21 | 1.802 % |
16.95/17.00 c | 15637 | 55377 438641 1772752 | 2147483647 14390 21 | 1.802 % |
16.95/17.05 c | 15894 | 55377 438641 1772752 | 2147483647 14647 21 | 1.802 % |
17.05/17.15 c | 16176 | 55363 438641 1772752 | 2147483647 14928 21 | 1.892 % |
17.25/17.35 c | 16486 | 55358 438641 1772752 | 2147483647 15238 21 | 1.892 % |
17.35/17.44 c | 16826 | 55358 438641 1772752 | 2147483647 15578 21 | 1.892 % |
17.45/17.51 c | 16926 | 55357 438641 1772752 | 2147483647 15677 21 | 1.894 % |
17.45/17.58 c | 17036 | 55357 438641 1772752 | 2147483647 15787 21 | 1.894 % |
17.55/17.64 c | 17157 | 55344 438641 1772752 | 2147483647 15907 21 | 2.108 % |
17.55/17.69 c | 17292 | 55344 438641 1772752 | 2147483647 16042 21 | 2.108 % |
17.65/17.77 c | 17439 | 55344 438641 1772752 | 2147483647 16189 21 | 2.108 % |
17.75/17.84 c | 17600 | 55344 438641 1772752 | 2147483647 16350 21 | 2.108 % |
17.85/17.95 c | 17776 | 55344 438641 1772752 | 2147483647 16526 21 | 2.108 % |
17.95/18.06 c | 17970 | 55204 435396 1760490 | 2147483647 16438 22 | 2.108 % |
17.95/18.08 c | 18182 | 55204 435396 1760490 | 2147483647 16650 22 | 2.108 % |
18.05/18.15 c | 18416 | 55204 435396 1760490 | 2147483647 16884 22 | 2.108 % |
18.25/18.35 c | 18672 | 55194 435396 1760490 | 2147483647 17138 22 | 2.130 % |
18.35/18.47 c | 18955 | 55194 435396 1760490 | 2147483647 17421 22 | 2.130 % |
18.55/18.63 c | 19265 | 55188 435396 1760490 | 2147483647 17729 22 | 2.140 % |
18.85/18.91 c | 19604 | 55188 435396 1760490 | 2147483647 18068 22 | 2.140 % |
18.85/18.99 c | 19976 | 55188 435396 1760490 | 2147483647 18440 22 | 2.140 % |
18.95/19.04 c | 20076 | 55188 435396 1760490 | 2147483647 18540 22 | 2.140 % |
19.05/19.12 c | 20188 | 55188 435396 1760490 | 2147483647 18652 22 | 2.140 % |
19.15/19.21 c | 20309 | 55188 435396 1760490 | 2147483647 18773 22 | 2.140 % |
19.25/19.30 c | 20442 | 55188 435396 1760490 | 2147483647 18906 22 | 2.140 % |
19.25/19.37 c | 20588 | 55188 435396 1760490 | 2147483647 19052 22 | 2.140 % |
19.35/19.47 c | 20748 | 55188 435396 1760490 | 2147483647 19212 22 | 2.140 % |
19.45/19.54 c | 20926 | 55188 435396 1760490 | 2147483647 19390 22 | 2.140 % |
19.55/19.63 c | 21120 | 55188 435396 1760490 | 2147483647 19584 22 | 2.140 % |
19.65/19.78 c | 21332 | 55186 435037 1759017 | 2147483647 19746 22 | 2.140 % |
19.75/19.84 c | 21568 | 55186 435037 1759017 | 2147483647 19982 23 | 2.140 % |
19.95/20.00 c | 21824 | 55182 435037 1759017 | 2147483647 20236 23 | 2.151 % |
19.95/20.03 c | 22105 | 55182 435037 1759017 | 2147483647 20517 22 | 2.151 % |
20.05/20.12 c | 22414 | 55182 435037 1759017 | 2147483647 20826 23 | 2.151 % |
20.15/20.24 c | 22754 | 55182 435037 1759017 | 2147483647 21166 23 | 2.151 % |
20.35/20.44 c | 23126 | 55180 435037 1759017 | 2147483647 21536 22 | 2.158 % |
20.55/20.60 c | 23535 | 55180 435037 1759017 | 2147483647 21945 23 | 2.158 % |
20.55/20.64 c | 23635 | 55180 435037 1759017 | 2147483647 22045 23 | 2.158 % |
20.55/20.69 c | 23745 | 55180 435037 1759017 | 2147483647 22155 23 | 2.158 % |
20.66/20.76 c | 23868 | 55180 435037 1759017 | 2147483647 22278 23 | 2.158 % |
20.66/20.79 c | 24004 | 55180 435037 1759017 | 2147483647 22414 23 | 2.158 % |
20.76/20.90 c | 24150 | 55180 435037 1759017 | 2147483647 22560 23 | 2.158 % |
20.86/20.94 c | 24312 | 55180 435037 1759017 | 2147483647 22722 23 | 2.158 % |
20.86/20.99 c | 24488 | 55180 435037 1759017 | 2147483647 22898 23 | 2.158 % |
20.96/21.08 c | 24681 | 55178 435037 1759017 | 2147483647 23090 23 | 2.162 % |
21.06/21.12 c | 24896 | 55178 435037 1759017 | 2147483647 23305 23 | 2.162 % |
21.06/21.19 c | 25131 | 55178 435037 1759017 | 2147483647 23540 23 | 2.162 % |
21.26/21.36 c | 25388 | 55178 435037 1759017 | 2147483647 23797 23 | 2.162 % |
21.36/21.44 c | 25673 | 55174 434936 1758609 | 2147483647 23992 24 | 2.162 % |
21.46/21.51 c | 25984 | 55174 434936 1758609 | 2147483647 24303 24 | 2.162 % |
21.46/21.55 c | 26323 | 55174 434936 1758609 | 2147483647 24642 24 | 2.162 % |
21.56/21.67 c | 26696 | 55174 434936 1758609 | 2147483647 25015 24 | 2.162 % |
21.76/21.86 c | 27105 | 55174 434936 1758609 | 2147483647 25424 24 | 2.162 % |
22.06/22.11 c | 27554 | 55174 434936 1758609 | 2147483647 25873 24 | 2.162 % |
22.06/22.15 c | 27657 | 55174 434936 1758609 | 2147483647 25976 24 | 2.162 % |
22.06/22.17 c | 27767 | 55174 434936 1758609 | 2147483647 26086 24 | 2.162 % |
22.16/22.24 c | 27888 | 55174 434936 1758609 | 2147483647 26207 24 | 2.162 % |
22.16/22.25 c | 28022 | 55174 434936 1758609 | 2147483647 26341 24 | 2.162 % |
22.26/22.34 c | 28168 | 55174 434936 1758609 | 2147483647 26487 24 | 2.162 % |
22.36/22.46 c | 28328 | 55174 434936 1758609 | 2147483647 26647 24 | 2.162 % |
22.46/22.54 c | 28505 | 55174 434936 1758609 | 2147483647 26824 24 | 2.162 % |
22.56/22.62 c | 28698 | 55164 434936 1758609 | 2147483647 27016 24 | 2.179 % |
22.66/22.73 c | 28911 | 55164 434936 1758609 | 2147483647 27229 24 | 2.179 % |
22.76/22.81 c | 29144 | 55164 434936 1758609 | 2147483647 27462 24 | 2.179 % |
22.86/22.91 c | 29403 | 55164 434936 1758609 | 2147483647 27721 25 | 2.179 % |
22.96/23.03 c | 29684 | 55164 434936 1758609 | 2147483647 28002 25 | 2.179 % |
23.06/23.16 c | 29993 | 55164 434936 1758609 | 2147483647 28311 25 | 2.179 % |
23.15/23.25 c | 30333 | 55164 434936 1758609 | 2147483647 28651 25 | 2.179 % |
23.35/23.43 c | 30705 | 55164 434639 1757119 | 2147483647 29022 25 | 2.179 % |
23.45/23.53 c | 31114 | 55164 434639 1757119 | 2147483647 29431 25 | 2.179 % |
23.65/23.73 c | 31563 | 55164 434639 1757119 | 2147483647 29880 25 | 2.179 % |
23.85/23.99 c | 32058 | 55164 434639 1757119 | 2147483647 30375 25 | 2.179 % |
23.95/24.01 c | 32159 | 55164 434639 1757119 | 2147483647 30476 25 | 2.179 % |
23.95/24.07 c | 32270 | 55164 434639 1757119 | 2147483647 30587 25 | 2.179 % |
24.06/24.11 c | 32391 | 55164 434639 1757119 | 2147483647 30708 25 | 2.179 % |
24.06/24.17 c | 32525 | 55164 434639 1757119 | 2147483647 30842 25 | 2.179 % |
24.06/24.19 c | 32671 | 55164 434639 1757119 | 2147483647 30988 25 | 2.179 % |
24.25/24.30 c | 32831 | 55164 434639 1757119 | 2147483647 31148 26 | 2.179 % |
24.25/24.39 c | 33007 | 55164 434639 1757119 | 2147483647 31324 25 | 2.179 % |
24.35/24.41 c | 33201 | 55164 434639 1757119 | 2147483647 31518 25 | 2.179 % |
24.45/24.57 c | 33413 | 55164 434639 1757119 | 2147483647 31730 26 | 2.179 % |
24.55/24.64 c | 33646 | 55164 434639 1757119 | 2147483647 31963 26 | 2.179 % |
24.65/24.74 c | 33902 | 55164 434639 1757119 | 2147483647 32219 26 | 2.179 % |
24.75/24.85 c | 34183 | 55161 434639 1757119 | 2147483647 32499 26 | 2.186 % |
24.85/24.94 c | 34492 | 55161 434639 1757119 | 2147483647 32808 26 | 2.186 % |
24.95/25.00 c | 34831 | 55161 434639 1757119 | 2147483647 33147 26 | 2.186 % |
25.05/25.11 c | 35203 | 55161 434639 1757119 | 2147483647 33519 26 | 2.186 % |
25.16/25.27 c | 35612 | 55161 434639 1757119 | 2147483647 33928 26 | 2.186 % |
25.26/25.39 c | 36061 | 55161 434639 1757119 | 2147483647 34377 27 | 2.186 % |
25.35/25.49 c | 36554 | 55160 434592 1756896 | 2147483647 34823 27 | 2.186 % |
25.65/25.74 c | 37097 | 55159 434592 1756896 | 2147483647 35365 27 | 2.188 % |
25.75/25.82 c | 37197 | 55159 434592 1756896 | 2147483647 35465 27 | 2.188 % |
25.75/25.85 c | 37308 | 55159 434592 1756896 | 2147483647 35576 27 | 2.188 % |
25.85/25.92 c | 37429 | 55158 434592 1756896 | 2147483647 35696 27 | 2.192 % |
25.85/25.96 c | 37562 | 55158 434592 1756896 | 2147483647 35829 27 | 2.192 % |
25.95/26.06 c | 37708 | 55158 434592 1756896 | 2147483647 35975 27 | 2.192 % |
25.95/26.10 c | 37870 | 55158 434592 1756896 | 2147483647 36137 27 | 2.192 % |
26.05/26.19 c | 38046 | 55158 434592 1756896 | 2147483647 36313 27 | 2.192 % |
26.15/26.25 c | 38239 | 55158 434592 1756896 | 2147483647 36506 27 | 2.192 % |
26.26/26.33 c | 38451 | 55158 434592 1756896 | 2147483647 36718 27 | 2.192 % |
26.36/26.44 c | 38684 | 55158 434592 1756896 | 2147483647 36951 27 | 2.192 % |
26.55/26.62 c | 38940 | 55158 434592 1756896 | 2147483647 37207 27 | 2.192 % |
26.65/26.76 c | 39222 | 55158 434592 1756896 | 2147483647 37489 27 | 2.192 % |
26.85/26.92 c | 39533 | 55158 434592 1756896 | 2147483647 37800 27 | 2.192 % |
26.95/27.06 c | 39873 | 55158 434592 1756896 | 2147483647 38140 27 | 2.192 % |
27.15/27.20 c | 40245 | 55158 434592 1756896 | 2147483647 38512 28 | 2.192 % |
27.15/27.27 c | 40655 | 55158 434592 1756896 | 2147483647 38922 27 | 2.192 % |
27.45/27.51 c | 41104 | 55158 434592 1756896 | 2147483647 39371 28 | 2.192 % |
27.65/27.72 c | 41597 | 55158 434592 1756896 | 2147483647 39864 28 | 2.192 % |
27.85/27.91 c | 42139 | 55157 434298 1755426 | 2147483647 40400 28 | 2.192 % |
27.95/28.00 c | 42735 | 55157 434298 1755426 | 2147483647 40996 28 | 2.192 % |
27.95/28.06 c | 42837 | 55156 434298 1755426 | 2147483647 41097 28 | 2.195 % |
28.05/28.11 c | 42949 | 55156 434298 1755426 | 2147483647 41209 28 | 2.195 % |
28.05/28.15 c | 43070 | 55156 434298 1755426 | 2147483647 41330 28 | 2.195 % |
28.05/28.20 c | 43203 | 55156 434298 1755426 | 2147483647 41463 28 | 2.195 % |
28.15/28.28 c | 43349 | 55156 434298 1755426 | 2147483647 41609 28 | 2.195 % |
28.26/28.31 c | 43509 | 55156 434298 1755426 | 2147483647 41769 28 | 2.195 % |
28.26/28.38 c | 43685 | 55156 434298 1755426 | 2147483647 41945 29 | 2.195 % |
28.36/28.41 c | 43878 | 55156 434298 1755426 | 2147483647 42138 29 | 2.195 % |
28.36/28.48 c | 44090 | 55156 434298 1755426 | 2147483647 42350 29 | 2.195 % |
28.56/28.61 c | 44324 | 55156 434298 1755426 | 2147483647 42584 29 | 2.195 % |
28.65/28.70 c | 44581 | 55156 434298 1755426 | 2147483647 42841 29 | 2.195 % |
28.65/28.79 c | 44863 | 55156 434298 1755426 | 2147483647 43123 29 | 2.195 % |
28.75/28.87 c | 45173 | 55156 434298 1755426 | 2147483647 43433 29 | 2.195 % |
28.95/29.02 c | 45514 | 55156 434298 1755426 | 2147483647 43774 29 | 2.195 % |
28.95/29.08 c | 45886 | 55156 434298 1755426 | 2147483647 44146 29 | 2.195 % |
29.05/29.15 c | 46295 | 55156 434298 1755426 | 2147483647 44555 29 | 2.195 % |
29.15/29.28 c | 46745 | 55156 434298 1755426 | 2147483647 45005 29 | 2.195 % |
29.35/29.43 c | 47240 | 55156 434298 1755426 | 2147483647 45500 29 | 2.195 % |
29.56/29.67 c | 47782 | 55156 434298 1755426 | 2147483647 46042 29 | 2.195 % |
29.95/30.00 c | 48378 | 55156 434298 1755426 | 2147483647 46638 29 | 2.195 % |
30.15/30.23 c | 49033 | 55156 434298 1755426 | 2147483647 47293 30 | 2.195 % |
30.15/30.28 c | 49133 | 55156 434298 1755426 | 2147483647 47393 30 | 2.195 % |
30.25/30.33 c | 49243 | 55156 434298 1755426 | 2147483647 47503 30 | 2.195 % |
30.25/30.38 c | 49365 | 55156 434298 1755426 | 2147483647 47625 30 | 2.195 % |
30.35/30.40 c | 49499 | 55156 434298 1755426 | 2147483647 47759 30 | 2.195 % |
30.35/30.43 c | 49646 | 55156 434298 1755426 | 2147483647 47906 30 | 2.195 % |
30.45/30.51 c | 49806 | 55155 434154 1754840 | 2147483647 48056 30 | 2.195 % |
30.55/30.64 c | 49982 | 55155 434154 1754840 | 2147483647 48232 30 | 2.195 % |
30.55/30.69 c | 50175 | 55155 434154 1754840 | 2147483647 48425 30 | 2.195 % |
30.65/30.78 c | 50387 | 55155 434154 1754840 | 2147483647 48637 30 | 2.195 % |
30.75/30.82 c | 50620 | 55155 434154 1754840 | 2147483647 48870 30 | 2.195 % |
30.75/30.88 c | 50881 | 55155 434154 1754840 | 2147483647 49131 30 | 2.195 % |
30.85/30.93 c | 51162 | 55155 434154 1754840 | 2147483647 49412 30 | 2.195 % |
30.85/30.98 c | 51471 | 55155 434154 1754840 | 2147483647 49721 30 | 2.195 % |
30.95/31.08 c | 51812 | 55155 434154 1754840 | 2147483647 50062 30 | 2.195 % |
31.05/31.15 c | 52184 | 55155 434154 1754840 | 2147483647 50434 30 | 2.195 % |
31.15/31.22 c | 52593 | 55155 434154 1754840 | 2147483647 50843 30 | 2.195 % |
31.35/31.45 c | 53043 | 55154 434154 1754840 | 2147483647 51292 30 | 2.197 % |
31.45/31.57 c | 53540 | 55154 434154 1754840 | 2147483647 51789 30 | 2.197 % |
31.75/31.87 c | 54082 | 55154 434154 1754840 | 2147483647 52331 30 | 2.197 % |
31.95/32.07 c | 54678 | 55154 434154 1754840 | 2147483647 52927 31 | 2.197 % |
32.25/32.32 c | 55333 | 55154 434154 1754840 | 2147483647 53582 31 | 2.197 % |
32.35/32.46 c | 56053 | 55154 434154 1754840 | 2147483647 54302 31 | 2.197 % |
32.45/32.56 c | 56153 | 55154 434154 1754840 | 2147483647 54402 31 | 2.197 % |
32.45/32.59 c | 56263 | 55154 434154 1754840 | 2147483647 54512 31 | 2.197 % |
32.55/32.67 c | 56385 | 55154 434154 1754840 | 2147483647 54634 31 | 2.197 % |
32.65/32.72 c | 56520 | 55154 434154 1754840 | 2147483647 54769 31 | 2.197 % |
32.65/32.78 c | 56666 | 55154 434154 1754840 | 2147483647 54915 31 | 2.197 % |
32.75/32.84 c | 56826 | 55154 434154 1754840 | 2147483647 55075 31 | 2.197 % |
32.75/32.87 c | 57002 | 55154 434154 1754840 | 2147483647 55251 31 | 2.197 % |
32.85/32.96 c | 57195 | 55154 434154 1754840 | 2147483647 55444 31 | 2.197 % |
32.95/33.02 c | 57407 | 55154 434154 1754840 | 2147483647 55656 31 | 2.197 % |
32.95/33.06 c | 57641 | 55154 434154 1754840 | 2147483647 55890 31 | 2.197 % |
33.05/33.20 c | 57904 | 55154 434154 1754840 | 2147483647 56153 31 | 2.197 % |
33.25/33.32 c | 58185 | 55154 434154 1754840 | 2147483647 56434 31 | 2.197 % |
33.45/33.51 c | 58495 | 55154 434154 1754840 | 2147483647 56744 31 | 2.197 % |
33.65/33.76 c | 58834 | 55149 434154 1754840 | 2147483647 57082 31 | 2.208 % |
33.75/33.89 c | 59206 | 55148 433989 1754117 | 2147483647 57437 31 | 2.208 % |
34.05/34.15 c | 59616 | 55148 433989 1754117 | 2147483647 57847 31 | 2.208 % |
34.15/34.26 c | 60067 | 55148 433989 1754117 | 2147483647 58298 31 | 2.208 % |
34.35/34.47 c | 60560 | 55145 433989 1754117 | 2147483647 58790 31 | 2.225 % |
34.55/34.60 c | 61102 | 55145 433989 1754117 | 2147483647 59332 31 | 2.225 % |
34.55/34.69 c | 61700 | 55145 433989 1754117 | 2147483647 59930 31 | 2.225 % |
34.65/34.78 c | 62356 | 55145 433989 1754117 | 2147483647 60586 31 | 2.225 % |
34.85/34.93 c | 63077 | 55145 433989 1754117 | 2147483647 61307 32 | 2.225 % |
35.15/35.23 c | 63870 | 55145 433989 1754117 | 2147483647 62100 32 | 2.225 % |
35.15/35.27 c | 63970 | 55145 433989 1754117 | 2147483647 62200 32 | 2.225 % |
35.15/35.28 c | 64082 | 55145 433989 1754117 | 2147483647 62312 32 | 2.225 % |
35.24/35.37 c | 64203 | 55145 433989 1754117 | 2147483647 62433 32 | 2.225 % |
35.34/35.43 c | 64338 | 55145 433989 1754117 | 2147483647 62568 32 | 2.225 % |
35.34/35.49 c | 64484 | 55145 433989 1754117 | 2147483647 62714 32 | 2.225 % |
35.44/35.55 c | 64644 | 55145 433989 1754117 | 2147483647 62874 32 | 2.225 % |
35.44/35.58 c | 64820 | 55145 433989 1754117 | 2147483647 63050 32 | 2.225 % |
35.65/35.71 c | 65013 | 55145 433989 1754117 | 2147483647 63243 32 | 2.225 % |
35.65/35.76 c | 65225 | 55145 433989 1754117 | 2147483647 63455 32 | 2.225 % |
35.65/35.79 c | 65459 | 55145 433989 1754117 | 2147483647 63689 32 | 2.225 % |
35.75/35.89 c | 65716 | 55145 433989 1754117 | 2147483647 63946 32 | 2.225 % |
35.85/35.93 c | 65997 | 55145 433989 1754117 | 2147483647 64227 32 | 2.225 % |
35.95/36.02 c | 66308 | 55145 433989 1754117 | 2147483647 64538 32 | 2.225 % |
35.95/36.05 c | 66649 | 55145 433989 1754117 | 2147483647 64879 32 | 2.225 % |
36.05/36.19 c | 67021 | 55145 433989 1754117 | 2147483647 65251 32 | 2.225 % |
36.26/36.33 c | 67431 | 55145 433989 1754117 | 2147483647 65661 32 | 2.225 % |
36.35/36.47 c | 67880 | 55145 433989 1754117 | 2147483647 66110 32 | 2.225 % |
36.45/36.59 c | 68376 | 55145 433989 1754117 | 2147483647 66606 32 | 2.225 % |
36.55/36.67 c | 68918 | 55145 433989 1754117 | 2147483647 67148 33 | 2.225 % |
36.75/36.81 c | 69518 | 55145 433989 1754117 | 2147483647 67748 33 | 2.225 % |
36.85/36.96 c | 70173 | 55145 433989 1754117 | 2147483647 68403 33 | 2.225 % |
37.05/37.13 c | 70893 | 55145 433989 1754117 | 2147483647 69123 33 | 2.225 % |
37.25/37.35 c | 71685 | 55145 433989 1754117 | 2147483647 69915 33 | 2.225 % |
37.35/37.43 c | 72556 | 55145 433989 1754117 | 2147483647 70786 33 | 2.225 % |
37.45/37.58 c | 72657 | 55145 433989 1754117 | 2147483647 70887 33 | 2.225 % |
37.45/37.59 c | 72767 | 55145 433989 1754117 | 2147483647 70997 33 | 2.225 % |
37.65/37.79 c | 72889 | 55145 433989 1754117 | 2147483647 71119 33 | 2.225 % |
37.75/37.90 c | 73023 | 55138 433687 1753158 | 2147483647 71250 33 | 2.225 % |
37.85/37.91 c | 73169 | 55138 433687 1753158 | 2147483647 71396 33 | 2.225 % |
37.95/38.04 c | 73329 | 55138 433687 1753158 | 2147483647 71556 33 | 2.225 % |
38.05/38.19 c | 73505 | 55138 433687 1753158 | 2147483647 71732 33 | 2.225 % |
38.15/38.29 c | 73698 | 55136 433687 1753158 | 2147483647 71924 33 | 2.229 % |
38.25/38.34 c | 73910 | 55136 433687 1753158 | 2147483647 72136 33 | 2.229 % |
38.25/38.40 c | 74143 | 55136 433687 1753158 | 2147483647 72369 33 | 2.229 % |
38.35/38.46 c | 74401 | 55136 433687 1753158 | 2147483647 72627 33 | 2.229 % |
38.45/38.52 c | 74683 | 55136 433687 1753158 | 2147483647 72909 33 | 2.229 % |
38.65/38.70 c | 74993 | 55136 433687 1753158 | 2147483647 73219 33 | 2.229 % |
38.65/38.74 c | 75336 | 55136 433687 1753158 | 2147483647 73562 33 | 2.229 % |
38.75/38.81 c | 75709 | 55136 433687 1753158 | 2147483647 73935 33 | 2.229 % |
39.05/39.11 c | 76118 | 55136 433687 1753158 | 2147483647 74344 34 | 2.229 % |
39.15/39.20 c | 76567 | 55136 433687 1753158 | 2147483647 74793 34 | 2.229 % |
39.25/39.30 c | 77061 | 55136 433687 1753158 | 2147483647 75287 34 | 2.229 % |
39.35/39.46 c | 77603 | 55136 433687 1753158 | 2147483647 75829 34 | 2.229 % |
39.55/39.66 c | 78202 | 55136 433687 1753158 | 2147483647 76428 34 | 2.229 % |
39.65/39.77 c | 78857 | 55136 433687 1753158 | 2147483647 77083 34 | 2.229 % |
39.85/39.98 c | 79579 | 55136 433687 1753158 | 2147483647 77805 34 | 2.229 % |
40.05/40.12 c | 80371 | 55136 433687 1753158 | 2147483647 78597 34 | 2.229 % |
40.34/40.43 c | 81242 | 55136 433687 1753158 | 2147483647 79468 34 | 2.229 % |
40.55/40.66 c | 82200 | 55136 433687 1753158 | 2147483647 80426 34 | 2.229 % |
40.74/40.80 c | 82300 | 55136 433687 1753158 | 2147483647 80526 34 | 2.229 % |
40.74/40.83 c | 82418 | 55136 433687 1753158 | 2147483647 80644 34 | 2.229 % |
40.84/40.91 c | 82545 | 55136 433687 1753158 | 2147483647 80771 34 | 2.229 % |
40.84/40.99 c | 82681 | 55136 433687 1753158 | 2147483647 80907 34 | 2.229 % |
40.95/41.06 c | 82830 | 55136 433687 1753158 | 2147483647 81056 34 | 2.229 % |
40.95/41.09 c | 82990 | 55136 433687 1753158 | 2147483647 81216 34 | 2.229 % |
41.15/41.23 c | 83166 | 55136 433687 1753158 | 2147483647 81392 34 | 2.229 % |
41.25/41.30 c | 83360 | 55136 433687 1753158 | 2147483647 81586 34 | 2.229 % |
41.25/41.37 c | 83572 | 55136 433687 1753158 | 2147483647 81798 34 | 2.229 % |
41.35/41.47 c | 83805 | 55136 433687 1753158 | 2147483647 82031 34 | 2.229 % |
41.45/41.59 c | 84062 | 55136 433687 1753158 | 2147483647 82288 35 | 2.229 % |
41.55/41.67 c | 84343 | 55136 433687 1753158 | 2147483647 82569 35 | 2.229 % |
41.75/41.86 c | 84652 | 55136 433687 1753158 | 2147483647 82878 35 | 2.229 % |
41.85/41.97 c | 84992 | 55136 433687 1753158 | 2147483647 83218 35 | 2.229 % |
41.95/42.07 c | 85368 | 55136 433687 1753158 | 2147483647 83594 35 | 2.229 % |
42.05/42.11 c | 85777 | 55136 433687 1753158 | 2147483647 84003 35 | 2.229 % |
42.25/42.30 c | 86226 | 55136 433687 1753158 | 2147483647 84452 35 | 2.229 % |
42.45/42.58 c | 86725 | 55136 433687 1753158 | 2147483647 84951 35 | 2.229 % |
42.65/42.78 c | 87267 | 55136 433687 1753158 | 2147483647 85493 35 | 2.229 % |
42.86/42.95 c | 87864 | 55136 433687 1753158 | 2147483647 86090 35 | 2.229 % |
43.15/43.28 c | 88521 | 55136 433687 1753158 | 2147483647 86747 35 | 2.229 % |
43.35/43.49 c | 89241 | 55136 433687 1753158 | 2147483647 87467 35 | 2.229 % |
43.55/43.63 c | 90035 | 55136 433687 1753158 | 2147483647 88261 35 | 2.229 % |
43.75/43.88 c | 90906 | 55136 433674 1753117 | 2147483647 89110 35 | 2.229 % |
44.35/44.43 c | 91864 | 55136 433674 1753117 | 2147483647 90068 36 | 2.229 % |
44.65/44.72 c | 92921 | 55136 433674 1753117 | 2147483647 91125 36 | 2.229 % |
44.65/44.79 c | 93022 | 55136 433674 1753117 | 2147483647 91226 36 | 2.229 % |
44.75/44.85 c | 93133 | 55136 433674 1753117 | 2147483647 91337 36 | 2.229 % |
44.85/44.94 c | 93254 | 55136 433674 1753117 | 2147483647 91458 36 | 2.229 % |
44.95/45.03 c | 93388 | 55136 433674 1753117 | 2147483647 91592 36 | 2.229 % |
45.05/45.13 c | 93535 | 55136 433674 1753117 | 2147483647 91739 36 | 2.229 % |
45.05/45.18 c | 93695 | 55136 433674 1753117 | 2147483647 91899 36 | 2.229 % |
45.15/45.23 c | 93871 | 55136 433674 1753117 | 2147483647 92075 36 | 2.229 % |
45.15/45.28 c | 94064 | 55136 433674 1753117 | 2147483647 92268 36 | 2.229 % |
45.25/45.37 c | 94280 | 55136 433674 1753117 | 2147483647 92484 36 | 2.229 % |
45.34/45.44 c | 94513 | 55136 433674 1753117 | 2147483647 92717 36 | 2.229 % |
45.44/45.53 c | 94770 | 55136 433674 1753117 | 2147483647 92974 36 | 2.229 % |
45.54/45.66 c | 95051 | 55136 433674 1753117 | 2147483647 93255 36 | 2.229 % |
45.64/45.72 c | 95361 | 55136 433674 1753117 | 2147483647 93565 36 | 2.229 % |
45.64/45.76 c | 95700 | 55136 433674 1753117 | 2147483647 93904 36 | 2.229 % |
45.84/45.90 c | 96074 | 55136 433674 1753117 | 2147483647 94278 36 | 2.229 % |
45.94/46.01 c | 96484 | 55136 433674 1753117 | 2147483647 94688 36 | 2.229 % |
46.05/46.12 c | 96935 | 55136 433674 1753117 | 2147483647 95139 36 | 2.229 % |
46.15/46.29 c | 97428 | 55136 433674 1753117 | 2147483647 95632 36 | 2.229 % |
46.44/46.56 c | 97970 | 55136 433674 1753117 | 2147483647 96174 36 | 2.229 % |
46.64/46.73 c | 98566 | 55136 433674 1753117 | 2147483647 96770 36 | 2.229 % |
46.74/46.84 c | 99222 | 55136 433674 1753117 | 2147483647 97426 36 | 2.229 % |
46.84/47.00 c | 99942 | 55136 433674 1753117 | 2147483647 98146 36 | 2.229 % |
47.05/47.15 c | 100735 | 55136 433674 1753117 | 2147483647 98939 36 | 2.229 % |
47.35/47.45 c | 101606 | 55136 433674 1753117 | 2147483647 99810 36 | 2.229 % |
47.65/47.75 c | 102564 | 55136 433674 1753117 | 2147483647 100768 36 | 2.229 % |
47.95/48.07 c | 103617 | 55136 433674 1753117 | 2147483647 101821 36 | 2.229 % |
48.95/49.00 c | 104775 | 55136 433674 1753117 | 2147483647 102979 36 | 2.229 % |
48.95/49.05 c | 104876 | 55136 433674 1753117 | 2147483647 103080 36 | 2.229 % |
49.05/49.11 c | 104986 | 55136 433674 1753117 | 2147483647 103190 36 | 2.229 % |
49.05/49.16 c | 105107 | 55130 433674 1753117 | 2147483647 103310 36 | 2.240 % |
49.15/49.26 c | 105240 | 55130 433674 1753117 | 2147483647 103443 36 | 2.240 % |
49.25/49.40 c | 105386 | 55130 433674 1753117 | 2147483647 103589 36 | 2.240 % |
49.35/49.49 c | 105546 | 55130 433674 1753117 | 2147483647 103749 36 | 2.240 % |
49.45/49.56 c | 105722 | 55130 433674 1753117 | 2147483647 103925 36 | 2.240 % |
49.55/49.62 c | 105915 | 55130 433674 1753117 | 2147483647 104118 36 | 2.240 % |
49.65/49.72 c | 106128 | 55130 433674 1753117 | 2147483647 104331 36 | 2.240 % |
49.75/49.82 c | 106361 | 55130 433674 1753117 | 2147483647 104564 36 | 2.240 % |
49.84/49.92 c | 106617 | 55130 433674 1753117 | 2147483647 104820 36 | 2.240 % |
49.94/50.01 c | 106898 | 55130 433674 1753117 | 2147483647 105101 36 | 2.240 % |
50.04/50.10 c | 107208 | 55130 433674 1753117 | 2147483647 105411 36 | 2.240 % |
50.14/50.28 c | 107548 | 55130 433674 1753117 | 2147483647 105751 36 | 2.240 % |
50.34/50.43 c | 107920 | 55130 433674 1753117 | 2147483647 106123 36 | 2.240 % |
50.45/50.58 c | 108329 | 55130 433674 1753117 | 2147483647 106532 36 | 2.240 % |
50.64/50.70 c | 108778 | 55130 433674 1753117 | 2147483647 106981 36 | 2.240 % |
50.64/50.75 c | 109271 | 55130 433674 1753117 | 2147483647 107474 36 | 2.240 % |
50.74/50.88 c | 109813 | 55130 433674 1753117 | 2147483647 108016 36 | 2.240 % |
50.94/51.09 c | 110410 | 55130 433674 1753117 | 2147483647 108613 36 | 2.240 % |
51.24/51.30 c | 111065 | 55130 433594 1752715 | 2147483647 109244 36 | 2.240 % |
51.84/51.91 c | 111788 | 55129 433594 1752715 | 2147483647 109966 36 | 2.243 % |
51.94/52.04 c | 112580 | 55129 433594 1752715 | 2147483647 110758 36 | 2.243 % |
52.45/52.53 c | 113452 | 55129 433594 1752715 | 2147483647 111630 37 | 2.243 % |
52.65/52.75 c | 114410 | 55129 433594 1752715 | 2147483647 112588 37 | 2.243 % |
52.85/52.98 c | 115463 | 55129 433594 1752715 | 2147483647 113641 37 | 2.243 % |
53.45/53.51 c | 116621 | 55129 433594 1752715 | 2147483647 114799 37 | 2.243 % |
53.85/53.94 c | 117896 | 55129 433594 1752715 | 2147483647 116074 37 | 2.243 % |
53.95/54.00 c | 117997 | 55129 433594 1752715 | 2147483647 116175 37 | 2.243 % |
53.95/54.04 c | 118107 | 55129 433594 1752715 | 2147483647 116285 37 | 2.243 % |
53.95/54.09 c | 118231 | 55129 433594 1752715 | 2147483647 116409 37 | 2.243 % |
54.15/54.20 c | 118364 | 55129 433594 1752715 | 2147483647 116542 37 | 2.243 % |
54.15/54.25 c | 118510 | 55129 433594 1752715 | 2147483647 116688 37 | 2.243 % |
54.25/54.35 c | 118670 | 55129 433594 1752715 | 2147483647 116848 37 | 2.243 % |
54.35/54.46 c | 118847 | 55129 433594 1752715 | 2147483647 117025 37 | 2.243 % |
54.45/54.53 c | 119042 | 55129 433594 1752715 | 2147483647 117220 37 | 2.243 % |
54.65/54.71 c | 119254 | 55129 433594 1752715 | 2147483647 117432 37 | 2.243 % |
54.75/54.84 c | 119487 | 55129 433594 1752715 | 2147483647 117665 37 | 2.243 % |
54.95/55.01 c | 119743 | 55129 433594 1752715 | 2147483647 117921 37 | 2.243 % |
55.04/55.17 c | 120024 | 55129 433594 1752715 | 2147483647 118202 37 | 2.243 % |
55.24/55.31 c | 120333 | 55128 433594 1752715 | 2147483647 118510 37 | 2.245 % |
55.34/55.50 c | 120673 | 55128 433594 1752715 | 2147483647 118850 37 | 2.245 % |
55.74/55.81 c | 121046 | 55128 433594 1752715 | 2147483647 119223 37 | 2.245 % |
55.84/55.94 c | 121455 | 55128 433594 1752715 | 2147483647 119632 37 | 2.245 % |
55.95/56.03 c | 121904 | 55128 433594 1752715 | 2147483647 120081 37 | 2.245 % |
56.24/56.32 c | 122397 | 55128 433594 1752715 | 2147483647 120574 37 | 2.245 % |
56.34/56.43 c | 122939 | 55128 433594 1752715 | 2147483647 121116 37 | 2.245 % |
56.54/56.62 c | 123536 | 55128 433594 1752715 | 2147483647 121713 37 | 2.245 % |
56.74/56.84 c | 124195 | 55128 433594 1752715 | 2147483647 122372 37 | 2.245 % |
56.94/57.07 c | 124916 | 55128 433594 1752715 | 2147483647 123093 37 | 2.245 % |
57.24/57.35 c | 125709 | 55128 433594 1752715 | 2147483647 123886 37 | 2.245 % |
57.44/57.56 c | 126580 | 55128 433594 1752715 | 2147483647 124757 37 | 2.245 % |
57.94/58.06 c | 127538 | 55128 433594 1752715 | 2147483647 125715 37 | 2.245 % |
58.34/58.45 c | 128592 | 55128 433594 1752715 | 2147483647 126769 37 | 2.245 % |
58.84/58.94 c | 129750 | 55128 433594 1752715 | 2147483647 127927 37 | 2.245 % |
59.14/59.27 c | 131026 | 55128 433594 1752715 | 2147483647 129203 37 | 2.245 % |
59.94/60.08 c | 132426 | 55128 433594 1752715 | 2147483647 130603 37 | 2.245 % |
60.04/60.14 c | 132526 | 55128 433594 1752715 | 2147483647 130703 37 | 2.245 % |
60.14/60.22 c | 132636 | 55128 433594 1752715 | 2147483647 130813 37 | 2.245 % |
60.24/60.39 c | 132758 | 55127 433495 1752417 | 2147483647 130930 37 | 2.245 % |
60.34/60.48 c | 132892 | 55127 433495 1752417 | 2147483647 131064 37 | 2.245 % |
60.54/60.60 c | 133038 | 55127 433495 1752417 | 2147483647 131210 38 | 2.245 % |
60.64/60.71 c | 133198 | 55127 433495 1752417 | 2147483647 131370 37 | 2.245 % |
60.74/60.88 c | 133374 | 55127 433495 1752417 | 2147483647 131546 37 | 2.245 % |
60.84/60.96 c | 133567 | 55127 433495 1752417 | 2147483647 131739 38 | 2.245 % |
60.94/61.05 c | 133782 | 55127 433495 1752417 | 2147483647 131954 38 | 2.245 % |
61.04/61.13 c | 134016 | 55127 433495 1752417 | 2147483647 132188 38 | 2.245 % |
61.14/61.23 c | 134278 | 55127 433495 1752417 | 2147483647 132450 38 | 2.245 % |
61.44/61.58 c | 134559 | 55127 433495 1752417 | 2147483647 132731 38 | 2.245 % |
61.64/61.71 c | 134872 | 55127 433495 1752417 | 2147483647 133044 38 | 2.245 % |
61.84/61.99 c | 135212 | 55127 433495 1752417 | 2147483647 133384 38 | 2.245 % |
62.04/62.12 c | 135584 | 55127 433495 1752417 | 2147483647 133756 38 | 2.245 % |
62.24/62.30 c | 135993 | 55127 433495 1752417 | 2147483647 134165 38 | 2.245 % |
62.44/62.55 c | 136444 | 55127 433495 1752417 | 2147483647 134616 38 | 2.245 % |
62.84/62.91 c | 136937 | 55127 433495 1752417 | 2147483647 135109 38 | 2.245 % |
63.04/63.12 c | 137483 | 55127 433495 1752417 | 2147483647 135655 38 | 2.245 % |
63.34/63.44 c | 138079 | 55127 433495 1752417 | 2147483647 136251 38 | 2.245 % |
63.65/63.72 c | 138734 | 55127 433495 1752417 | 2147483647 136906 38 | 2.245 % |
63.95/64.02 c | 139454 | 55127 433495 1752417 | 2147483647 137626 38 | 2.245 % |
64.25/64.35 c | 140248 | 55126 433495 1752417 | 2147483647 138419 38 | 2.247 % |
64.55/64.63 c | 141120 | 55126 433495 1752417 | 2147483647 139291 38 | 2.247 % |
64.85/64.98 c | 142083 | 55126 433495 1752417 | 2147483647 140254 38 | 2.247 % |
65.15/65.24 c | 143136 | 55126 433495 1752417 | 2147483647 141307 38 | 2.247 % |
65.74/65.86 c | 144297 | 55126 433495 1752417 | 2147483647 142468 38 | 2.247 % |
66.34/66.40 c | 145572 | 55126 433495 1752417 | 2147483647 143743 38 | 2.247 % |
66.95/67.07 c | 146972 | 55126 433495 1752417 | 2147483647 145143 38 | 2.247 % |
68.34/68.43 c | 148519 | 55126 433495 1752417 | 2147483647 146690 39 | 2.247 % |
68.44/68.51 c | 148621 | 55126 433495 1752417 | 2147483647 146792 39 | 2.247 % |
68.54/68.60 c | 148732 | 55126 433495 1752417 | 2147483647 146903 39 | 2.247 % |
68.54/68.67 c | 148854 | 55126 433495 1752417 | 2147483647 147025 39 | 2.247 % |
68.64/68.76 c | 148989 | 55126 433495 1752417 | 2147483647 147160 39 | 2.247 % |
68.84/68.94 c | 149137 | 55126 433495 1752417 | 2147483647 147308 39 | 2.247 % |
68.94/69.03 c | 149303 | 55126 433495 1752417 | 2147483647 147474 39 | 2.247 % |
69.04/69.16 c | 149480 | 55126 433495 1752417 | 2147483647 147651 39 | 2.247 % |
69.14/69.25 c | 149677 | 55126 433495 1752417 | 2147483647 147848 39 | 2.247 % |
69.24/69.35 c | 149889 | 55126 433495 1752417 | 2147483647 148060 39 | 2.247 % |
69.34/69.49 c | 150122 | 55126 433495 1752417 | 2147483647 148293 39 | 2.247 % |
69.44/69.59 c | 150378 | 55126 433495 1752417 | 2147483647 148549 39 | 2.247 % |
69.74/69.81 c | 150659 | 55126 433495 1752417 | 2147483647 148830 39 | 2.247 % |
69.84/69.95 c | 150968 | 55126 433495 1752417 | 2147483647 149139 39 | 2.247 % |
70.14/70.27 c | 151310 | 55126 433495 1752417 | 2147483647 149481 39 | 2.247 % |
70.34/70.46 c | 151682 | 55126 433495 1752417 | 2147483647 149853 39 | 2.247 % |
70.54/70.69 c | 152091 | 55126 433495 1752417 | 2147483647 150262 39 | 2.247 % |
70.84/70.90 c | 152540 | 55126 433495 1752417 | 2147483647 150711 39 | 2.247 % |
71.04/71.19 c | 153034 | 55126 433495 1752417 | 2147483647 151205 39 | 2.247 % |
71.44/71.51 c | 153577 | 55126 433495 1752417 | 2147483647 151748 39 | 2.247 % |
71.54/71.69 c | 154173 | 55126 433495 1752417 | 2147483647 152344 39 | 2.247 % |
71.84/71.94 c | 154828 | 55126 433495 1752417 | 2147483647 152999 39 | 2.247 % |
72.04/72.14 c | 155549 | 55126 433495 1752417 | 2147483647 153720 39 | 2.247 % |
72.44/72.51 c | 156343 | 55126 433495 1752417 | 2147483647 154514 39 | 2.247 % |
72.63/72.74 c | 157216 | 55126 433495 1752417 | 2147483647 155387 39 | 2.247 % |
73.65/73.71 c | 158175 | 55126 433435 1752172 | 2147483647 156345 39 | 2.247 % |
74.04/74.18 c | 159228 | 55126 433435 1752172 | 2147483647 157398 39 | 2.247 % |
74.75/74.85 c | 160386 | 55126 433435 1752172 | 2147483647 158556 39 | 2.247 % |
75.44/75.53 c | 161660 | 55126 433435 1752172 | 2147483647 159830 39 | 2.247 % |
76.34/76.48 c | 163061 | 55118 433435 1752172 | 2147483647 161230 39 | 2.263 % |
77.24/77.33 c | 164602 | 55118 433435 1752172 | 2147483647 162771 39 | 2.263 % |
77.84/77.91 c | 166298 | 55118 433435 1752172 | 2147483647 164467 39 | 2.263 % |
77.84/77.97 c | 166398 | 55118 433435 1752172 | 2147483647 164567 39 | 2.263 % |
77.94/78.03 c | 166508 | 55118 433435 1752172 | 2147483647 164677 39 | 2.263 % |
78.04/78.11 c | 166629 | 55118 433435 1752172 | 2147483647 164798 39 | 2.263 % |
78.04/78.19 c | 166763 | 55118 433435 1752172 | 2147483647 164932 39 | 2.263 % |
78.14/78.29 c | 166909 | 55118 433435 1752172 | 2147483647 165078 39 | 2.263 % |
78.24/78.34 c | 167073 | 55118 433435 1752172 | 2147483647 165242 39 | 2.263 % |
78.34/78.49 c | 167249 | 55118 433435 1752172 | 2147483647 165418 39 | 2.263 % |
78.44/78.56 c | 167443 | 55118 433435 1752172 | 2147483647 165612 39 | 2.263 % |
78.54/78.66 c | 167655 | 55118 433435 1752172 | 2147483647 165824 39 | 2.263 % |
78.64/78.70 c | 167889 | 55118 433435 1752172 | 2147483647 166058 39 | 2.263 % |
78.74/78.87 c | 168145 | 55118 433435 1752172 | 2147483647 166314 39 | 2.263 % |
78.84/78.98 c | 168426 | 55118 433435 1752172 | 2147483647 166595 39 | 2.263 % |
79.04/79.17 c | 168735 | 55118 433435 1752172 | 2147483647 166904 39 | 2.263 % |
79.24/79.32 c | 169074 | 55118 433435 1752172 | 2147483647 167243 39 | 2.263 % |
79.43/79.50 c | 169449 | 55118 433435 1752172 | 2147483647 167618 39 | 2.263 % |
79.63/79.75 c | 169858 | 55118 433435 1752172 | 2147483647 168027 39 | 2.263 % |
79.93/80.03 c | 170308 | 55118 433435 1752172 | 2147483647 168477 39 | 2.263 % |
80.03/80.17 c | 170803 | 55118 433435 1752172 | 2147483647 168972 39 | 2.263 % |
80.43/80.52 c | 171347 | 55118 433435 1752172 | 2147483647 169516 39 | 2.263 % |
80.93/81.02 c | 171947 | 55118 433435 1752172 | 2147483647 170116 39 | 2.263 % |
81.24/81.39 c | 172603 | 55118 433435 1752172 | 2147483647 170772 39 | 2.263 % |
82.03/82.14 c | 173324 | 55118 433435 1752172 | 2147483647 171493 39 | 2.263 % |
82.53/82.62 c | 174116 | 55118 433435 1752172 | 2147483647 172285 39 | 2.263 % |
83.13/83.28 c | 174987 | 55118 433435 1752172 | 2147483647 173156 39 | 2.263 % |
83.63/83.73 c | 175945 | 55118 433435 1752172 | 2147483647 174114 39 | 2.263 % |
84.23/84.31 c | 177000 | 55117 433435 1752172 | 2147483647 175168 39 | 2.266 % |
84.84/84.97 c | 178158 | 55117 433435 1752172 | 2147483647 176326 39 | 2.266 % |
85.84/85.93 c | 179433 | 55117 433435 1752172 | 2147483647 177601 40 | 2.266 % |
87.64/87.74 c | 180833 | 55117 433435 1752172 | 2147483647 179001 40 | 2.266 % |
88.43/88.52 c | 182373 | 55117 433435 1752172 | 2147483647 180541 40 | 2.266 % |
89.23/89.37 c | 184068 | 55117 433435 1752172 | 2147483647 182236 40 | 2.266 % |
90.74/90.86 c | 185931 | 55117 433435 1752172 | 2147483647 184099 41 | 2.266 % |
90.94/91.09 c | 186032 | 55115 432999 1750197 | 2147483647 184161 41 | 2.266 % |
91.04/91.18 c | 186143 | 55115 432999 1750197 | 2147483647 184272 41 | 2.266 % |
91.14/91.23 c | 186264 | 55115 432999 1750197 | 2147483647 184393 41 | 2.266 % |
91.14/91.28 c | 186397 | 55115 432999 1750197 | 2147483647 184526 41 | 2.266 % |
91.34/91.41 c | 186544 | 55115 432999 1750197 | 2147483647 184673 41 | 2.266 % |
91.44/91.56 c | 186704 | 55115 432999 1750197 | 2147483647 184833 41 | 2.266 % |
91.64/91.70 c | 186882 | 55115 432999 1750197 | 2147483647 185011 41 | 2.266 % |
91.74/91.84 c | 187075 | 55115 432999 1750197 | 2147483647 185204 41 | 2.266 % |
91.84/91.96 c | 187290 | 55115 432999 1750197 | 2147483647 185419 41 | 2.266 % |
92.14/92.21 c | 187524 | 55115 432999 1750197 | 2147483647 185653 41 | 2.266 % |
92.44/92.55 c | 187781 | 55115 432999 1750197 | 2147483647 185910 41 | 2.266 % |
92.64/92.78 c | 188065 | 55115 432999 1750197 | 2147483647 186194 41 | 2.266 % |
92.94/93.04 c | 188374 | 55115 432999 1750197 | 2147483647 186503 41 | 2.266 % |
93.13/93.24 c | 188713 | 55115 432999 1750197 | 2147483647 186842 41 | 2.266 % |
93.44/93.56 c | 189085 | 55115 432999 1750197 | 2147483647 187214 41 | 2.266 % |
93.63/93.71 c | 189494 | 55115 432999 1750197 | 2147483647 187623 41 | 2.266 % |
94.03/94.14 c | 189943 | 55115 432999 1750197 | 2147483647 188072 41 | 2.266 % |
94.13/94.21 c | 190439 | 55115 432999 1750197 | 2147483647 188568 41 | 2.266 % |
94.63/94.74 c | 190981 | 55115 432999 1750197 | 2147483647 189110 41 | 2.266 % |
94.93/95.04 c | 191578 | 55115 432999 1750197 | 2147483647 189707 41 | 2.266 % |
95.23/95.38 c | 192233 | 55115 432999 1750197 | 2147483647 190362 41 | 2.266 % |
95.73/95.83 c | 192954 | 55115 432999 1750197 | 2147483647 191083 41 | 2.266 % |
96.13/96.28 c | 193748 | 55115 432999 1750197 | 2147483647 191877 41 | 2.266 % |
96.74/96.82 c | 194624 | 55115 432999 1750197 | 2147483647 192753 41 | 2.266 % |
97.24/97.34 c | 195585 | 55115 432999 1750197 | 2147483647 193714 41 | 2.266 % |
97.74/97.90 c | 196638 | 55115 432999 1750197 | 2147483647 194767 41 | 2.266 % |
98.34/98.46 c | 197796 | 55115 432999 1750197 | 2147483647 195925 41 | 2.266 % |
99.34/99.41 c | 199069 | 55115 432999 1750197 | 2147483647 197198 41 | 2.266 % |
100.14/100.28 c | 200469 | 55115 432999 1750197 | 2147483647 198598 41 | 2.266 % |
101.43/101.54 c | 202009 | 55115 432999 1750197 | 2147483647 200138 41 | 2.266 % |
102.93/103.03 c | 203705 | 55115 432999 1750197 | 2147483647 201834 41 | 2.266 % |
104.03/104.19 c | 205570 | 55115 432999 1750197 | 2147483647 203699 41 | 2.266 % |
105.43/105.53 c | 207620 | 55115 432999 1750197 | 2147483647 205749 41 | 2.266 % |
105.43/105.59 c | 207722 | 55115 432999 1750197 | 2147483647 205851 41 | 2.266 % |
105.53/105.64 c | 207837 | 55115 432999 1750197 | 2147483647 205966 41 | 2.266 % |
105.73/105.83 c | 207959 | 55115 432999 1750197 | 2147483647 206088 41 | 2.266 % |
105.83/105.99 c | 208093 | 55115 432999 1750197 | 2147483647 206222 41 | 2.266 % |
106.03/106.16 c | 208239 | 55115 432999 1750197 | 2147483647 206368 41 | 2.266 % |
106.23/106.33 c | 208405 | 55115 432999 1750197 | 2147483647 206534 41 | 2.266 % |
106.43/106.56 c | 208581 | 55115 432999 1750197 | 2147483647 206710 41 | 2.266 % |
106.63/106.74 c | 208774 | 55115 432999 1750197 | 2147483647 206903 41 | 2.266 % |
106.83/106.97 c | 208987 | 55115 432999 1750197 | 2147483647 207116 41 | 2.266 % |
107.13/107.20 c | 209223 | 55115 432999 1750197 | 2147483647 207352 41 | 2.266 % |
107.43/107.55 c | 209481 | 55115 432999 1750197 | 2147483647 207610 41 | 2.266 % |
107.63/107.73 c | 209763 | 55115 432999 1750197 | 2147483647 207892 41 | 2.266 % |
107.83/107.97 c | 210074 | 55115 432999 1750197 | 2147483647 208203 41 | 2.266 % |
108.13/108.28 c | 210414 | 55115 432999 1750197 | 2147483647 208543 41 | 2.266 % |
108.53/108.66 c | 210787 | 55115 432999 1750197 | 2147483647 208916 41 | 2.266 % |
108.83/108.95 c | 211196 | 55103 432999 1750197 | 2147483647 209324 41 | 2.298 % |
109.33/109.43 c | 211645 | 55103 432999 1750197 | 2147483647 209773 41 | 2.298 % |
109.43/109.60 c | 212138 | 55103 432999 1750197 | 2147483647 210266 41 | 2.298 % |
110.02/110.14 c | 212683 | 55103 432999 1750197 | 2147483647 210811 41 | 2.298 % |
110.72/110.88 c | 213279 | 55100 432999 1750197 | 2147483647 211407 41 | 2.298 % |
111.22/111.37 c | 213935 | 55100 432999 1750197 | 2147483647 212063 41 | 2.298 % |
112.14/112.25 c | 214657 | 55100 432999 1750197 | 2147483647 212785 41 | 2.298 % |
112.83/112.93 c | 215450 | 55100 432999 1750197 | 2147483647 213578 41 | 2.298 % |
113.33/113.48 c | 216321 | 55100 432999 1750197 | 2147483647 214449 41 | 2.298 % |
114.23/114.34 c | 217280 | 55100 432999 1750197 | 2147483647 215408 41 | 2.298 % |
115.33/115.49 c | 218334 | 55097 432672 1748985 | 2147483647 216391 41 | 2.298 % |
116.33/116.45 c | 219492 | 55097 432672 1748985 | 2147483647 217549 41 | 2.298 % |
117.23/117.35 c | 220765 | 55097 432672 1748985 | 2147483647 218822 41 | 2.298 % |
118.23/118.30 c | 222167 | 55097 432672 1748985 | 2147483647 220224 41 | 2.298 % |
119.23/119.39 c | 223707 | 55097 432672 1748985 | 2147483647 221764 41 | 2.298 % |
120.73/120.85 c | 225404 | 55097 432672 1748985 | 2147483647 223461 41 | 2.298 % |
121.83/121.98 c | 227267 | 55097 432672 1748985 | 2147483647 225324 41 | 2.298 % |
123.32/123.48 c | 229316 | 55093 432672 1748985 | 2147483647 227372 41 | 2.328 % |
124.72/124.86 c | 231569 | 55093 432672 1748985 | 2147483647 229625 41 | 2.328 % |
124.82/124.97 c | 231669 | 55093 432672 1748985 | 2147483647 229725 41 | 2.328 % |
124.92/125.08 c | 231779 | 55093 432672 1748985 | 2147483647 229835 41 | 2.328 % |
125.12/125.28 c | 231900 | 55093 432672 1748985 | 2147483647 229956 41 | 2.328 % |
125.33/125.44 c | 232037 | 55093 432672 1748985 | 2147483647 230093 41 | 2.328 % |
125.52/125.60 c | 232183 | 55093 432672 1748985 | 2147483647 230239 41 | 2.328 % |
125.62/125.80 c | 232343 | 55093 432672 1748985 | 2147483647 230399 41 | 2.328 % |
125.92/126.06 c | 232519 | 55093 432672 1748985 | 2147483647 230575 41 | 2.328 % |
126.12/126.25 c | 232713 | 55089 432672 1748985 | 2147483647 230768 41 | 2.335 % |
126.33/126.49 c | 232925 | 55089 432672 1748985 | 2147483647 230980 41 | 2.335 % |
126.62/126.78 c | 233158 | 55089 432672 1748985 | 2147483647 231213 41 | 2.335 % |
126.92/127.07 c | 233414 | 55089 432672 1748985 | 2147483647 231469 41 | 2.335 % |
127.02/127.12 c | 233695 | 55089 432672 1748985 | 2147483647 231750 41 | 2.335 % |
127.52/127.66 c | 234004 | 55089 432672 1748985 | 2147483647 232059 41 | 2.335 % |
127.82/127.95 c | 234346 | 55089 432672 1748985 | 2147483647 232401 41 | 2.335 % |
128.22/128.32 c | 234718 | 55089 432672 1748985 | 2147483647 232773 41 | 2.335 % |
128.52/128.68 c | 235129 | 55089 432672 1748985 | 2147483647 233184 41 | 2.335 % |
128.92/129.09 c | 235580 | 55089 432672 1748985 | 2147483647 233635 41 | 2.335 % |
129.52/129.65 c | 236073 | 55089 432672 1748985 | 2147483647 234128 41 | 2.335 % |
129.92/130.03 c | 236616 | 55089 432672 1748985 | 2147483647 234671 41 | 2.335 % |
130.42/130.59 c | 237213 | 55089 432672 1748985 | 2147483647 235268 41 | 2.335 % |
131.12/131.27 c | 237870 | 55089 432672 1748985 | 2147483647 235925 41 | 2.335 % |
131.93/132.01 c | 238590 | 55089 432672 1748985 | 2147483647 236645 41 | 2.335 % |
133.13/133.21 c | 239382 | 55089 432672 1748985 | 2147483647 237436 41 | 2.380 % |
133.73/133.85 c | 240255 | 55088 432672 1748985 | 2147483647 238309 41 | 2.380 % |
134.42/134.53 c | 241213 | 55088 432672 1748985 | 2147483647 239267 41 | 2.380 % |
135.82/135.98 c | 242267 | 55088 432672 1748985 | 2147483647 240321 41 | 2.380 % |
136.82/136.95 c | 243426 | 55088 432672 1748985 | 2147483647 241480 41 | 2.380 % |
137.82/137.98 c | 244699 | 55088 432672 1748985 | 2147483647 242753 41 | 2.380 % |
139.02/139.18 c | 246099 | 55088 432672 1748985 | 2147483647 244153 41 | 2.380 % |
140.32/140.44 c | 247642 | 55088 432672 1748985 | 2147483647 245696 41 | 2.380 % |
142.12/142.26 c | 249338 | 55088 432672 1748985 | 2147483647 247392 41 | 2.380 % |
143.82/143.96 c | 251201 | 55088 432672 1748985 | 2147483647 249255 41 | 2.380 % |
145.12/145.26 c | 253252 | 55088 432672 1748985 | 2147483647 251306 41 | 2.380 % |
146.42/146.59 c | 255508 | 55051 431963 1746269 | 2147483647 253447 41 | 2.380 % |
148.12/148.26 c | 257986 | 55051 431963 1746269 | 2147483647 255925 42 | 2.380 % |
148.32/148.49 c | 258086 | 55051 431963 1746269 | 2147483647 256025 42 | 2.380 % |
148.62/148.77 c | 258196 | 55051 431963 1746269 | 2147483647 256135 42 | 2.380 % |
148.72/148.86 c | 258317 | 55051 431963 1746269 | 2147483647 256256 42 | 2.380 % |
148.92/149.01 c | 258450 | 55051 431963 1746269 | 2147483647 256389 42 | 2.380 % |
149.01/149.19 c | 258598 | 55051 431963 1746269 | 2147483647 256537 42 | 2.380 % |
149.31/149.42 c | 258759 | 55051 431963 1746269 | 2147483647 256698 42 | 2.380 % |
149.52/149.69 c | 258935 | 55051 431963 1746269 | 2147483647 256874 42 | 2.380 % |
149.91/150.05 c | 259129 | 55051 431963 1746269 | 2147483647 257068 42 | 2.380 % |
150.21/150.33 c | 259342 | 55051 431963 1746269 | 2147483647 257281 42 | 2.380 % |
150.52/150.61 c | 259575 | 55051 431963 1746269 | 2147483647 257514 42 | 2.380 % |
150.81/150.93 c | 259832 | 55051 431963 1746269 | 2147483647 257771 42 | 2.380 % |
151.11/151.26 c | 260117 | 55051 431963 1746269 | 257940 258056 42 | 2.380 % |
151.31/151.45 c | 260426 | 55051 431963 1746269 | 257940 258365 42 | 2.380 % |
151.72/151.84 c | 260767 | 55051 431963 1746269 | 257940 258706 42 | 2.380 % |
152.01/152.18 c | 261139 | 55051 431963 1746269 | 257940 259078 42 | 2.380 % |
152.61/152.70 c | 261552 | 55051 431963 1746269 | 257940 259491 42 | 2.380 % |
153.42/153.53 c | 262001 | 55051 431963 1746269 | 257940 226907 41 | 2.380 % |
153.82/153.97 c | 262495 | 55051 431963 1746269 | 257940 227401 41 | 2.380 % |
154.32/154.41 c | 263039 | 55051 431963 1746269 | 257940 227945 41 | 2.380 % |
154.62/154.70 c | 263635 | 55051 431963 1746269 | 257940 228541 41 | 2.380 % |
155.52/155.64 c | 264290 | 55051 431963 1746269 | 257940 229196 41 | 2.380 % |
156.22/156.39 c | 265010 | 55051 431963 1746269 | 257940 229916 41 | 2.380 % |
157.22/157.32 c | 265802 | 55051 431963 1746269 | 257940 230708 41 | 2.380 % |
157.82/157.90 c | 266673 | 55051 431963 1746269 | 257940 231579 41 | 2.380 % |
158.62/158.74 c | 267633 | 55051 431963 1746269 | 257940 232539 41 | 2.380 % |
159.82/159.99 c | 268688 | 55051 431963 1746269 | 257940 233594 41 | 2.380 % |
160.92/161.09 c | 269846 | 55051 431963 1746269 | 257940 234752 41 | 2.380 % |
162.62/162.74 c | 271119 | 55051 431963 1746269 | 2147483647 236025 41 | 2.380 % |
163.82/163.92 c | 272519 | 55051 431963 1746269 | 2147483647 237425 41 | 2.380 % |
164.52/164.61 c | 274061 | 55051 431963 1746269 | 2147483647 238967 41 | 2.380 % |
165.52/165.60 c | 275757 | 55051 431963 1746269 | 2147483647 240663 41 | 2.380 % |
167.22/167.39 c | 277620 | 55051 431963 1746269 | 2147483647 242526 41 | 2.380 % |
168.52/168.63 c | 279669 | 55051 431963 1746269 | 2147483647 244575 41 | 2.380 % |
169.91/170.03 c | 281922 | 55051 431963 1746269 | 244906 246828 41 | 2.380 % |
172.22/172.38 c | 284401 | 55051 431963 1746269 | 244906 212789 41 | 2.380 % |
174.61/174.73 c | 287128 | 55051 431963 1746269 | 244906 215516 42 | 2.380 % |
174.72/174.85 c | 287230 | 55051 431963 1746269 | 244906 215618 42 | 2.380 % |
174.91/175.07 c | 287342 | 55051 431963 1746269 | 244906 215730 42 | 2.380 % |
175.11/175.23 c | 287464 | 55051 431963 1746269 | 244906 215852 42 | 2.380 % |
175.21/175.39 c | 287597 | 55051 431963 1746269 | 244906 215985 42 | 2.380 % |
175.51/175.60 c | 287743 | 55051 431963 1746269 | 244906 216131 42 | 2.380 % |
175.71/175.81 c | 287903 | 55051 431963 1746269 | 244906 216291 42 | 2.380 % |
175.92/176.09 c | 288080 | 55051 431963 1746269 | 244906 216468 42 | 2.380 % |
176.21/176.31 c | 288273 | 55051 431963 1746269 | 244906 216661 42 | 2.380 % |
176.31/176.45 c | 288485 | 55051 431963 1746269 | 244906 216873 42 | 2.380 % |
176.61/176.72 c | 288718 | 55051 431963 1746269 | 244906 217106 42 | 2.380 % |
176.81/177.00 c | 288978 | 55051 431963 1746269 | 244906 217366 42 | 2.380 % |
177.02/177.14 c | 289260 | 55051 431963 1746269 | 244906 217648 42 | 2.380 % |
177.51/177.61 c | 289569 | 55051 431963 1746269 | 244906 217957 42 | 2.380 % |
177.81/177.92 c | 289908 | 55051 431963 1746269 | 244906 218296 42 | 2.380 % |
178.21/178.38 c | 290282 | 55051 431963 1746269 | 2147483647 218670 42 | 2.380 % |
178.91/179.09 c | 290692 | 55051 431963 1746269 | 2147483647 219080 42 | 2.380 % |
179.51/179.62 c | 291141 | 55051 431963 1746269 | 2147483647 219529 42 | 2.380 % |
179.71/179.89 c | 291634 | 55051 431963 1746269 | 2147483647 220022 42 | 2.380 % |
180.41/180.58 c | 292176 | 55051 431963 1746269 | 2147483647 220564 42 | 2.380 % |
180.91/181.08 c | 292772 | 55051 431963 1746269 | 2147483647 221160 42 | 2.380 % |
181.42/181.57 c | 293427 | 55051 431963 1746269 | 2147483647 221815 42 | 2.380 % |
182.31/182.44 c | 294147 | 55051 431963 1746269 | 2147483647 222535 42 | 2.380 % |
182.91/183.06 c | 294939 | 55051 431963 1746269 | 2147483647 223327 42 | 2.380 % |
184.01/184.11 c | 295810 | 55051 431963 1746269 | 2147483647 224198 42 | 2.380 % |
184.71/184.85 c | 296769 | 55051 431963 1746269 | 2147483647 225157 42 | 2.380 % |
186.11/186.21 c | 297822 | 55051 431963 1746269 | 2147483647 226210 42 | 2.380 % |
186.61/186.76 c | 298980 | 55051 431963 1746269 | 2147483647 227368 42 | 2.380 % |
187.61/187.78 c | 300253 | 55051 431963 1746269 | 2147483647 228641 42 | 2.380 % |
188.71/188.80 c | 301654 | 55051 431963 1746269 | 2147483647 230042 42 | 2.380 % |
189.51/189.62 c | 303195 | 55051 431963 1746269 | 2147483647 231583 42 | 2.380 % |
189.81/189.97 c | 304892 | 55051 431963 1746269 | 2147483647 233280 42 | 2.380 % |
191.41/191.54 c | 306757 | 55051 431963 1746269 | 2147483647 235145 42 | 2.380 % |
192.71/192.87 c | 308806 | 55051 431963 1746269 | 2147483647 237194 42 | 2.380 % |
194.41/194.56 c | 311060 | 55051 431963 1746269 | 2147483647 239448 42 | 2.380 % |
195.61/195.75 c | 313538 | 55051 431963 1746269 | 2147483647 241926 42 | 2.380 % |
197.61/197.77 c | 316265 | 55051 431963 1746269 | 2147483647 244653 42 | 2.380 % |
201.11/201.29 c | 319262 | 55036 431689 1745241 | 2147483647 247625 42 | 2.406 % |
201.40/201.52 c | 319367 | 55036 431689 1745241 | 2147483647 247730 42 | 2.406 % |
201.50/201.64 c | 319478 | 55036 431689 1745241 | 2147483647 247841 42 | 2.406 % |
201.80/201.91 c | 319599 | 55036 431689 1745241 | 2147483647 247962 42 | 2.406 % |
202.00/202.11 c | 319732 | 55032 431689 1745241 | 2147483647 248094 42 | 2.424 % |
202.21/202.34 c | 319879 | 55032 431689 1745241 | 2147483647 248241 42 | 2.424 % |
202.31/202.48 c | 320041 | 55032 431689 1745241 | 248362 248403 42 | 2.424 % |
202.50/202.66 c | 320217 | 55032 431689 1745241 | 248362 248579 42 | 2.424 % |
202.80/202.90 c | 320411 | 55032 431689 1745241 | 248362 248773 42 | 2.424 % |
203.10/203.21 c | 320625 | 55032 431689 1745241 | 248362 248987 42 | 2.424 % |
203.41/203.58 c | 320861 | 55032 431689 1745241 | 248362 249223 42 | 2.424 % |
203.90/204.05 c | 321118 | 55027 431689 1745241 | 248362 249479 42 | 2.460 % |
204.10/204.29 c | 321399 | 55027 431689 1745241 | 248362 249760 42 | 2.460 % |
204.80/204.99 c | 321708 | 55027 431689 1745241 | 248362 225093 42 | 2.460 % |
205.10/205.26 c | 322048 | 55027 431689 1745241 | 248362 225433 42 | 2.460 % |
205.61/205.78 c | 322422 | 55027 431689 1745241 | 248362 225807 42 | 2.460 % |
206.20/206.30 c | 322833 | 55027 431689 1745241 | 248362 226218 42 | 2.460 % |
206.40/206.60 c | 323285 | 55027 431689 1745241 | 248362 226670 42 | 2.460 % |
207.10/207.23 c | 323778 | 55027 431689 1745241 | 248362 227163 42 | 2.460 % |
207.50/207.70 c | 324320 | 55027 431689 1745241 | 248362 227705 42 | 2.460 % |
208.10/208.22 c | 324917 | 55027 431689 1745241 | 248362 228302 42 | 2.460 % |
208.50/208.70 c | 325575 | 55027 431689 1745241 | 248362 228960 42 | 2.460 % |
209.10/209.25 c | 326295 | 55027 431689 1745241 | 248362 229680 42 | 2.460 % |
209.80/209.94 c | 327091 | 55027 431689 1745241 | 248362 230476 42 | 2.460 % |
210.20/210.39 c | 327964 | 55027 431689 1745241 | 248362 231349 42 | 2.460 % |
211.10/211.28 c | 328924 | 55027 431689 1745241 | 248362 232309 42 | 2.460 % |
211.50/211.67 c | 329977 | 55027 431689 1745241 | 248362 233362 42 | 2.460 % |
212.30/212.45 c | 331135 | 55027 431689 1745241 | 2147483647 234520 42 | 2.460 % |
213.50/213.60 c | 332410 | 55027 431689 1745241 | 2147483647 235795 42 | 2.460 % |
214.80/214.99 c | 333810 | 55027 431689 1745241 | 2147483647 237195 42 | 2.460 % |
216.50/216.69 c | 335351 | 55027 431689 1745241 | 2147483647 238736 42 | 2.460 % |
218.10/218.27 c | 337045 | 55027 431689 1745241 | 2147483647 240430 42 | 2.460 % |
219.39/219.58 c | 338910 | 55027 431689 1745241 | 2147483647 242295 42 | 2.460 % |
220.49/220.63 c | 340960 | 55027 431689 1745241 | 243387 244345 42 | 2.460 % |
222.19/222.38 c | 343214 | 55027 431689 1745241 | 243387 246599 42 | 2.460 % |
224.39/224.50 c | 345692 | 55027 431689 1745241 | 243387 224418 42 | 2.460 % |
226.79/226.92 c | 348417 | 55027 431689 1745241 | 243387 227143 43 | 2.460 % |
228.29/228.46 c | 351416 | 55026 431689 1745241 | 228726 230141 43 | 2.461 % |
231.90/232.05 c | 354712 | 55026 431689 1745241 | 228726 202067 44 | 2.461 % |
232.00/232.17 c | 354813 | 55026 431689 1745241 | 228726 202168 44 | 2.461 % |
232.19/232.33 c | 354923 | 55026 431689 1745241 | 228726 202278 44 | 2.461 % |
232.29/232.49 c | 355045 | 55026 431689 1745241 | 228726 202400 44 | 2.461 % |
232.49/232.67 c | 355185 | 55026 431689 1745241 | 228726 202540 44 | 2.461 % |
232.59/232.73 c | 355331 | 55026 431689 1745241 | 228726 202686 44 | 2.461 % |
232.79/232.97 c | 355491 | 55026 431689 1745241 | 228726 202846 44 | 2.461 % |
233.09/233.24 c | 355668 | 55026 431689 1745241 | 228726 203023 44 | 2.461 % |
233.29/233.41 c | 355861 | 55026 431689 1745241 | 228726 203216 44 | 2.461 % |
233.49/233.69 c | 356075 | 55026 431689 1745241 | 228726 203430 44 | 2.461 % |
233.79/233.99 c | 356308 | 55026 431689 1745241 | 228726 203663 44 | 2.461 % |
234.09/234.23 c | 356565 | 55026 431689 1745241 | 228726 203920 44 | 2.461 % |
234.59/234.73 c | 356848 | 55026 431689 1745241 | 228726 204203 44 | 2.461 % |
234.89/235.06 c | 357157 | 55026 431689 1745241 | 228726 204512 44 | 2.461 % |
235.09/235.29 c | 357496 | 55026 431689 1745241 | 228726 204851 44 | 2.461 % |
235.49/235.68 c | 357870 | 55026 431689 1745241 | 228726 205225 44 | 2.461 % |
235.89/236.08 c | 358279 | 55005 430950 1742696 | 228726 205559 44 | 2.461 % |
236.49/236.67 c | 358729 | 55005 430950 1742696 | 228726 206009 44 | 2.461 % |
236.99/237.14 c | 359224 | 55005 430950 1742696 | 228726 206504 44 | 2.461 % |
237.49/237.67 c | 359767 | 55005 430950 1742696 | 228726 207047 44 | 2.461 % |
237.99/238.12 c | 360364 | 55005 430950 1742696 | 2147483647 207644 44 | 2.461 % |
238.49/238.67 c | 361019 | 55005 430950 1742696 | 2147483647 208299 44 | 2.461 % |
238.99/239.15 c | 361740 | 55005 430950 1742696 | 2147483647 209020 44 | 2.461 % |
239.59/239.74 c | 362533 | 55005 430950 1742696 | 2147483647 209813 44 | 2.461 % |
240.09/240.24 c | 363405 | 55004 430950 1742696 | 2147483647 210684 44 | 2.513 % |
240.59/240.74 c | 364363 | 55004 430950 1742696 | 2147483647 211642 44 | 2.513 % |
241.48/241.61 c | 365417 | 55004 430950 1742696 | 2147483647 212696 44 | 2.513 % |
242.58/242.79 c | 366576 | 55004 430950 1742696 | 2147483647 213855 44 | 2.513 % |
243.38/243.56 c | 367850 | 55004 430950 1742696 | 2147483647 215129 44 | 2.513 % |
244.09/244.24 c | 369250 | 55004 430950 1742696 | 2147483647 216529 44 | 2.513 % |
245.28/245.44 c | 370794 | 55004 430950 1742696 | 217279 218073 44 | 2.513 % |
247.08/247.27 c | 372488 | 55004 430950 1742696 | 217279 197758 44 | 2.513 % |
248.49/248.66 c | 374351 | 55004 430950 1742696 | 217279 199621 44 | 2.513 % |
250.18/250.38 c | 376400 | 55004 430950 1742696 | 217279 201670 44 | 2.513 % |
252.18/252.37 c | 378654 | 55004 430950 1742696 | 217279 203924 44 | 2.513 % |
253.98/254.12 c | 381132 | 55004 430950 1742696 | 2147483647 206402 44 | 2.513 % |
255.48/255.62 c | 383857 | 55004 430950 1742696 | 2147483647 209127 44 | 2.513 % |
257.28/257.48 c | 386856 | 55004 430950 1742696 | 2147483647 212126 44 | 2.513 % |
260.28/260.47 c | 390153 | 55004 430950 1742696 | 215270 215423 44 | 2.513 % |
261.88/262.01 c | 393782 | 55004 430950 1742696 | 215270 219052 44 | 2.513 % |
262.48/262.69 c | 393882 | 55004 430950 1742696 | 215270 169196 43 | 2.513 % |
262.58/262.78 c | 393992 | 55004 430950 1742696 | 215270 169306 43 | 2.513 % |
262.68/262.89 c | 394113 | 55004 430950 1742696 | 215270 169427 43 | 2.513 % |
262.98/263.17 c | 394248 | 55004 430950 1742696 | 215270 169562 43 | 2.513 % |
263.08/263.28 c | 394397 | 55004 430950 1742696 | 215270 169711 43 | 2.513 % |
263.38/263.50 c | 394557 | 55004 430950 1742696 | 215270 169871 43 | 2.513 % |
263.48/263.66 c | 394734 | 55004 430950 1742696 | 215270 170048 43 | 2.513 % |
263.58/263.79 c | 394929 | 55004 430950 1742696 | 215270 170243 43 | 2.513 % |
263.98/264.13 c | 395141 | 55004 430950 1742696 | 215270 170455 43 | 2.513 % |
264.18/264.31 c | 395376 | 55004 430950 1742696 | 215270 170690 43 | 2.513 % |
264.38/264.52 c | 395633 | 55004 430950 1742696 | 215270 170947 43 | 2.513 % |
264.78/264.91 c | 395914 | 55004 430950 1742696 | 215270 171228 43 | 2.513 % |
264.98/265.10 c | 396223 | 55004 430950 1742696 | 215270 171537 43 | 2.513 % |
265.18/265.35 c | 396562 | 55004 430950 1742696 | 215270 171876 43 | 2.513 % |
265.38/265.58 c | 396934 | 55004 430950 1742696 | 215270 172248 43 | 2.513 % |
265.68/265.89 c | 397343 | 55004 430950 1742696 | 215270 172657 43 | 2.513 % |
266.18/266.39 c | 397792 | 55004 430950 1742696 | 215270 173106 43 | 2.513 % |
266.48/266.65 c | 398285 | 55004 430950 1742696 | 215270 173599 43 | 2.513 % |
266.98/267.18 c | 398828 | 55004 430950 1742696 | 215270 174142 43 | 2.513 % |
267.37/267.58 c | 399424 | 55004 430950 1742696 | 215270 174738 43 | 2.513 % |
267.88/268.07 c | 400079 | 55004 430950 1742696 | 2147483647 175393 43 | 2.513 % |
268.38/268.53 c | 400799 | 55004 430950 1742696 | 2147483647 176113 43 | 2.513 % |
269.08/269.27 c | 401592 | 54976 430703 1741872 | 2147483647 176906 43 | 2.513 % |
270.18/270.38 c | 402465 | 54976 430703 1741872 | 2147483647 177779 43 | 2.513 % |
270.68/270.89 c | 403425 | 54976 430703 1741872 | 2147483647 178739 43 | 2.513 % |
271.68/271.81 c | 404478 | 54976 430703 1741872 | 2147483647 179792 43 | 2.513 % |
272.18/272.33 c | 405638 | 54976 430703 1741872 | 2147483647 180952 43 | 2.513 % |
272.98/273.15 c | 406914 | 54976 430703 1741872 | 2147483647 182228 43 | 2.513 % |
273.98/274.14 c | 408315 | 54976 430703 1741872 | 2147483647 183629 43 | 2.513 % |
275.88/276.01 c | 409857 | 54976 430703 1741872 | 2147483647 185171 43 | 2.513 % |
276.98/277.16 c | 411551 | 54976 430703 1741872 | 2147483647 186865 43 | 2.513 % |
278.88/279.04 c | 413414 | 54976 430703 1741872 | 2147483647 188728 43 | 2.513 % |
281.28/281.46 c | 415464 | 54976 430703 1741872 | 2147483647 190778 43 | 2.513 % |
283.08/283.26 c | 417717 | 54976 430703 1741872 | 2147483647 193031 43 | 2.513 % |
284.78/284.94 c | 420195 | 54976 430703 1741872 | 2147483647 195509 43 | 2.513 % |
287.38/287.53 c | 422921 | 54976 430703 1741872 | 2147483647 198235 44 | 2.513 % |
289.08/289.28 c | 425918 | 54976 430703 1741872 | 2147483647 201232 44 | 2.513 % |
291.38/291.56 c | 429214 | 54975 430703 1741872 | 2147483647 204527 43 | 2.514 % |
294.77/294.94 c | 432840 | 54975 430703 1741872 | 205314 208153 44 | 2.514 % |
298.17/298.37 c | 436828 | 54975 430703 1741872 | 205314 175140 43 | 2.514 % |
298.47/298.61 c | 436929 | 54975 430694 1741843 | 205314 175241 43 | 2.514 % |
298.67/298.84 c | 437040 | 54975 430694 1741843 | 205314 175352 43 | 2.514 % |
298.87/299.07 c | 437162 | 54975 430694 1741843 | 205314 175474 43 | 2.514 % |
299.08/299.22 c | 437297 | 54975 430694 1741843 | 205314 175609 43 | 2.515 % |
299.27/299.41 c | 437444 | 54975 430694 1741843 | 205314 175756 43 | 2.514 % |
299.47/299.62 c | 437605 | 54975 430694 1741843 | 205314 175917 43 | 2.514 % |
299.67/299.82 c | 437781 | 54975 430694 1741843 | 205314 176093 43 | 2.514 % |
299.87/300.02 c | 437974 | 54975 430694 1741843 | 205314 176286 43 | 2.514 % |
300.08/300.22 c | 438186 | 54975 430694 1741843 | 205314 176498 43 | 2.514 % |
300.27/300.42 c | 438419 | 54975 430694 1741843 | 205314 176731 43 | 2.514 % |
300.57/300.74 c | 438675 | 54975 430694 1741843 | 205314 176987 43 | 2.514 % |
300.87/301.01 c | 438956 | 54975 430694 1741843 | 205314 177268 43 | 2.514 % |
301.07/301.25 c | 439265 | 54975 430694 1741843 | 205314 177577 43 | 2.514 % |
301.57/301.75 c | 439607 | 54975 430694 1741843 | 205314 177919 43 | 2.514 % |
301.87/302.01 c | 439979 | 54975 430694 1741843 | 205314 178291 43 | 2.514 % |
302.37/302.52 c | 440391 | 54975 430694 1741843 | 2147483647 178703 43 | 2.514 % |
302.77/302.97 c | 440841 | 54975 430694 1741843 | 2147483647 179153 43 | 2.514 % |
303.07/303.30 c | 441334 | 54975 430694 1741843 | 2147483647 179646 43 | 2.514 % |
303.67/303.80 c | 441879 | 54975 430694 1741843 | 2147483647 180191 43 | 2.514 % |
304.07/304.22 c | 442477 | 54975 430694 1741843 | 2147483647 180789 43 | 2.514 % |
304.57/304.79 c | 443132 | 54975 430694 1741843 | 2147483647 181444 43 | 2.514 % |
305.37/305.55 c | 443852 | 54975 430694 1741843 | 2147483647 182164 43 | 2.514 % |
305.97/306.15 c | 444646 | 54975 430694 1741843 | 2147483647 182958 43 | 2.515 % |
306.87/307.07 c | 445518 | 54975 430694 1741843 | 2147483647 183830 43 | 2.514 % |
307.57/307.77 c | 446477 | 54975 430694 1741843 | 2147483647 184789 43 | 2.514 % |
308.47/308.64 c | 447530 | 54975 430694 1741843 | 2147483647 185842 43 | 2.514 % |
309.87/310.00 c | 448689 | 54975 430694 1741843 | 2147483647 187001 43 | 2.514 % |
311.27/311.40 c | 449964 | 54975 430694 1741843 | 2147483647 188276 43 | 2.514 % |
311.96/312.19 c | 451364 | 54975 430694 1741843 | 2147483647 189676 43 | 2.514 % |
313.27/313.46 c | 452904 | 54975 430694 1741843 | 2147483647 191216 43 | 2.514 % |
314.37/314.50 c | 454598 | 54975 430694 1741843 | 2147483647 192910 43 | 2.514 % |
316.06/316.24 c | 456461 | 54975 430694 1741843 | 2147483647 194773 43 | 2.514 % |
317.56/317.74 c | 458510 | 54975 430694 1741843 | 2147483647 196822 43 | 2.514 % |
319.46/319.62 c | 460765 | 54975 430694 1741843 | 2147483647 199077 43 | 2.514 % |
321.46/321.69 c | 463244 | 54975 430694 1741843 | 2147483647 201556 43 | 2.514 % |
323.66/323.82 c | 465969 | 54975 430694 1741843 | 2147483647 204281 44 | 2.514 % |
326.86/327.06 c | 468966 | 54975 430694 1741843 | 2147483647 207278 44 | 2.514 % |
328.36/328.52 c | 472264 | 54975 430694 1741843 | 2147483647 210576 44 | 2.514 % |
331.46/331.62 c | 475890 | 54975 430694 1741843 | 2147483647 214202 44 | 2.514 % |
334.76/334.94 c | 479878 | 54975 430694 1741843 | 2147483647 218190 44 | 2.514 % |
338.75/338.94 c | 484264 | 54975 430694 1741843 | 2147483647 222576 45 | 2.514 % |
338.95/339.11 c | 484364 | 54975 430694 1741843 | 2147483647 222676 45 | 2.514 % |
339.05/339.24 c | 484474 | 54975 430694 1741843 | 2147483647 222786 45 | 2.514 % |
339.25/339.48 c | 484597 | 54975 430694 1741843 | 2147483647 222909 45 | 2.514 % |
339.45/339.67 c | 484730 | 54975 430694 1741843 | 2147483647 223042 45 | 2.515 % |
339.66/339.81 c | 484877 | 54975 430694 1741843 | 2147483647 223189 45 | 2.514 % |
339.76/339.94 c | 485037 | 54975 430694 1741843 | 2147483647 223349 45 | 2.514 % |
339.85/340.05 c | 485213 | 54975 430694 1741843 | 2147483647 223525 45 | 2.514 % |
340.15/340.33 c | 485406 | 54975 430694 1741843 | 2147483647 223718 45 | 2.514 % |
340.35/340.51 c | 485618 | 54975 430694 1741843 | 2147483647 223930 45 | 2.515 % |
340.55/340.70 c | 485851 | 54975 430694 1741843 | 2147483647 224163 45 | 2.514 % |
340.55/340.76 c | 486109 | 54975 430694 1741843 | 2147483647 224421 45 | 2.514 % |
340.95/341.12 c | 486392 | 54975 430694 1741843 | 2147483647 224704 45 | 2.514 % |
341.55/341.75 c | 486702 | 54975 430694 1741843 | 2147483647 225014 45 | 2.514 % |
342.15/342.39 c | 487044 | 54975 430694 1741843 | 2147483647 225356 45 | 2.514 % |
342.65/342.80 c | 487416 | 54975 430694 1741843 | 2147483647 225728 45 | 2.514 % |
342.96/343.14 c | 487825 | 54975 430694 1741843 | 2147483647 226137 45 | 2.514 % |
343.55/343.77 c | 488274 | 54975 430694 1741843 | 2147483647 226586 45 | 2.514 % |
343.95/344.18 c | 488768 | 54975 430694 1741843 | 2147483647 227080 45 | 2.514 % |
344.55/344.72 c | 489311 | 54975 430694 1741843 | 2147483647 227623 45 | 2.514 % |
345.15/345.35 c | 489907 | 54975 430694 1741843 | 2147483647 228219 45 | 2.514 % |
346.15/346.34 c | 490563 | 54975 430694 1741843 | 228313 228875 45 | 2.514 % |
346.95/347.10 c | 491283 | 54975 430694 1741843 | 228313 229595 45 | 2.514 % |
348.35/348.57 c | 492075 | 54975 430694 1741843 | 228313 230387 45 | 2.515 % |
349.45/349.64 c | 492946 | 54975 430694 1741843 | 228313 196116 43 | 2.514 % |
350.25/350.43 c | 493907 | 54974 430566 1741176 | 228313 197076 43 | 2.516 % |
351.35/351.55 c | 494964 | 54974 430566 1741176 | 228313 198133 43 | 2.516 % |
351.85/352.10 c | 496123 | 54974 430566 1741176 | 228313 199292 43 | 2.516 % |
353.05/353.24 c | 497396 | 54974 430566 1741176 | 228313 200565 43 | 2.516 % |
354.35/354.57 c | 498797 | 54974 430566 1741176 | 228313 201966 43 | 2.516 % |
356.05/356.21 c | 500337 | 54974 430566 1741176 | 203170 203506 43 | 2.516 % |
357.15/357.37 c | 502031 | 54974 430566 1741176 | 203170 205200 43 | 2.516 % |
359.05/359.24 c | 503894 | 54974 430566 1741176 | 203170 181888 43 | 2.516 % |
360.15/360.33 c | 505943 | 54974 430566 1741176 | 203170 183937 43 | 2.516 % |
360.95/361.13 c | 508197 | 54974 430566 1741176 | 203170 186191 43 | 2.516 % |
362.55/362.75 c | 510675 | 54974 430566 1741176 | 2147483647 188669 43 | 2.516 % |
365.74/365.90 c | 513403 | 54974 430566 1741176 | 2147483647 191397 43 | 2.516 % |
369.64/369.80 c | 516401 | 54974 430566 1741176 | 2147483647 194395 43 | 2.516 % |
373.44/373.67 c | 519698 | 54974 430566 1741176 | 2147483647 197692 44 | 2.516 % |
376.94/377.12 c | 523324 | 54974 430566 1741176 | 2147483647 201318 43 | 2.516 % |
380.34/380.60 c | 527311 | 54974 430566 1741176 | 2147483647 205305 44 | 2.516 % |
383.94/384.10 c | 531697 | 54974 430566 1741176 | 2147483647 209691 44 | 2.516 % |
386.54/386.77 c | 536524 | 54974 430566 1741176 | 2147483647 214518 44 | 2.516 % |
386.84/387.03 c | 536624 | 54974 430566 1741176 | 2147483647 214618 44 | 2.516 % |
387.04/387.21 c | 536734 | 54974 430566 1741176 | 2147483647 214728 44 | 2.516 % |
387.24/387.41 c | 536855 | 54974 430566 1741176 | 2147483647 214849 44 | 2.516 % |
387.54/387.72 c | 536989 | 54974 430566 1741176 | 2147483647 214983 44 | 2.516 % |
387.74/387.96 c | 537139 | 54974 430566 1741176 | 2147483647 215133 44 | 2.516 % |
387.94/388.16 c | 537300 | 54974 430566 1741176 | 2147483647 215294 44 | 2.516 % |
388.04/388.23 c | 537477 | 54974 430566 1741176 | 2147483647 215471 44 | 2.516 % |
388.24/388.45 c | 537670 | 54974 430566 1741176 | 2147483647 215664 44 | 2.516 % |
388.54/388.78 c | 537883 | 54974 430566 1741176 | 2147483647 215877 44 | 2.516 % |
388.93/389.13 c | 538116 | 54974 430566 1741176 | 2147483647 216110 44 | 2.516 % |
389.24/389.46 c | 538373 | 54974 430566 1741176 | 2147483647 216367 44 | 2.516 % |
389.53/389.70 c | 538657 | 54974 430566 1741176 | 2147483647 216651 44 | 2.516 % |
389.93/390.16 c | 538970 | 54974 430566 1741176 | 2147483647 216964 44 | 2.516 % |
390.24/390.48 c | 539310 | 54974 430566 1741176 | 2147483647 217304 44 | 2.516 % |
390.53/390.78 c | 539682 | 54974 430566 1741176 | 2147483647 217676 44 | 2.516 % |
391.03/391.22 c | 540091 | 54974 430566 1741176 | 2147483647 218085 44 | 2.516 % |
391.53/391.77 c | 540540 | 54974 430566 1741176 | 2147483647 218534 44 | 2.516 % |
391.93/392.16 c | 541035 | 54974 430566 1741176 | 2147483647 219029 44 | 2.516 % |
392.63/392.80 c | 541577 | 54974 430566 1741176 | 2147483647 219571 44 | 2.516 % |
393.23/393.48 c | 542175 | 54974 430566 1741176 | 2147483647 220169 44 | 2.516 % |
394.03/394.29 c | 542830 | 54974 430566 1741176 | 2147483647 220824 44 | 2.516 % |
394.93/395.10 c | 543550 | 54974 430566 1741176 | 2147483647 221544 44 | 2.516 % |
395.84/396.05 c | 544342 | 54974 430566 1741176 | 2147483647 222336 44 | 2.516 % |
396.94/397.16 c | 545213 | 54974 430566 1741176 | 2147483647 223207 44 | 2.516 % |
398.43/398.63 c | 546171 | 54974 430566 1741176 | 2147483647 224165 44 | 2.516 % |
399.14/399.30 c | 547227 | 54974 430566 1741176 | 2147483647 225221 44 | 2.516 % |
400.73/400.99 c | 548386 | 54974 430566 1741176 | 2147483647 226380 44 | 2.516 % |
401.63/401.88 c | 549659 | 54974 430566 1741176 | 2147483647 227653 44 | 2.516 % |
402.43/402.67 c | 551060 | 54974 430566 1741176 | 2147483647 229054 44 | 2.516 % |
403.63/403.87 c | 552601 | 54974 430566 1741176 | 2147483647 230595 44 | 2.516 % |
404.73/404.99 c | 554295 | 54974 430566 1741176 | 2147483647 232289 44 | 2.516 % |
406.23/406.48 c | 556159 | 54974 430566 1741176 | 2147483647 234153 44 | 2.516 % |
408.23/408.45 c | 558211 | 54974 430566 1741176 | 2147483647 236205 45 | 2.516 % |
410.72/410.96 c | 560465 | 54974 430566 1741176 | 237994 238459 45 | 2.516 % |
413.03/413.29 c | 562945 | 54974 430566 1741176 | 237994 240939 45 | 2.516 % |
416.03/416.27 c | 565672 | 54974 430566 1741176 | 237994 212254 45 | 2.516 % |
417.93/418.17 c | 568671 | 54974 430566 1741176 | 237994 215253 45 | 2.516 % |
419.63/419.82 c | 571968 | 54974 430566 1741176 | 216583 218550 45 | 2.516 % |
423.83/424.01 c | 575593 | 54974 430566 1741176 | 216583 189417 44 | 2.516 % |
425.93/426.15 c | 579580 | 54974 430566 1741176 | 216583 193404 44 | 2.516 % |
428.93/429.12 c | 583970 | 54974 430566 1741176 | 193826 197794 45 | 2.516 % |
432.62/432.88 c | 588794 | 54974 430566 1741176 | 193826 163486 44 | 2.516 % |
436.12/436.30 c | 594101 | 54974 430566 1741176 | 164693 168793 44 | 2.516 % |
436.53/436.78 c | 594201 | 54974 430566 1741176 | 164693 148388 43 | 2.516 % |
436.62/436.86 c | 594312 | 54974 430566 1741176 | 164693 148499 43 | 2.516 % |
436.72/436.96 c | 594434 | 54974 430566 1741176 | 164693 148621 43 | 2.516 % |
436.92/437.15 c | 594569 | 54974 430566 1741176 | 164693 148756 43 | 2.516 % |
437.02/437.29 c | 594723 | 54974 430566 1741176 | 164693 148910 43 | 2.516 % |
437.22/437.44 c | 594886 | 54974 430566 1741176 | 164693 149073 43 | 2.516 % |
437.42/437.61 c | 595062 | 54974 430566 1741176 | 164693 149249 43 | 2.516 % |
437.63/437.84 c | 595257 | 54974 430566 1741176 | 164693 149444 43 | 2.516 % |
437.63/437.89 c | 595469 | 54974 430566 1741176 | 164693 149656 43 | 2.516 % |
438.02/438.27 c | 595705 | 54974 430566 1741176 | 164693 149892 43 | 2.516 % |
438.32/438.58 c | 595963 | 54974 430566 1741176 | 164693 150150 43 | 2.516 % |
438.52/438.75 c | 596245 | 54974 430566 1741176 | 164693 150432 43 | 2.516 % |
438.73/438.93 c | 596555 | 54974 430566 1741176 | 164693 150742 43 | 2.516 % |
439.02/439.29 c | 596895 | 54974 430566 1741176 | 164693 151082 43 | 2.516 % |
439.42/439.66 c | 597268 | 54974 430566 1741176 | 164693 151455 42 | 2.516 % |
439.92/440.10 c | 597677 | 54974 430566 1741176 | 164693 151864 43 | 2.516 % |
440.32/440.55 c | 598127 | 54974 430566 1741176 | 164693 152314 42 | 2.516 % |
441.02/441.29 c | 598621 | 54974 430566 1741176 | 164693 152808 42 | 2.516 % |
441.42/441.65 c | 599163 | 54974 430566 1741176 | 164693 153350 42 | 2.516 % |
441.92/442.15 c | 599759 | 54974 430566 1741176 | 164693 153946 42 | 2.516 % |
442.52/442.75 c | 600415 | 54974 430566 1741176 | 2147483647 154602 42 | 2.516 % |
443.32/443.51 c | 601135 | 54973 430562 1741164 | 2147483647 155321 42 | 2.518 % |
443.52/443.76 c | 601928 | 54973 430562 1741164 | 2147483647 156114 42 | 2.518 % |
444.72/444.94 c | 602799 | 54973 430562 1741164 | 2147483647 156985 42 | 2.518 % |
445.62/445.87 c | 603757 | 54973 430562 1741164 | 2147483647 157943 43 | 2.518 % |
446.62/446.85 c | 604810 | 54973 430562 1741164 | 2147483647 158996 43 | 2.518 % |
447.52/447.72 c | 605971 | 54973 430562 1741164 | 2147483647 160157 43 | 2.518 % |
448.31/448.54 c | 607244 | 54973 430562 1741164 | 2147483647 161430 43 | 2.518 % |
449.01/449.23 c | 608647 | 54973 430562 1741164 | 2147483647 162833 43 | 2.518 % |
450.61/450.85 c | 610187 | 54973 430562 1741164 | 2147483647 164373 43 | 2.518 % |
451.82/452.07 c | 611881 | 54973 430562 1741164 | 2147483647 166067 43 | 2.518 % |
453.21/453.40 c | 613749 | 54973 430562 1741164 | 2147483647 167935 43 | 2.518 % |
454.41/454.69 c | 615799 | 54971 430562 1741164 | 2147483647 169984 43 | 2.522 % |
455.81/456.00 c | 618053 | 54970 430562 1741164 | 2147483647 172237 43 | 2.523 % |
457.11/457.32 c | 620532 | 54970 430562 1741164 | 2147483647 174716 43 | 2.523 % |
459.41/459.69 c | 623258 | 54970 430562 1741164 | 2147483647 177442 44 | 2.523 % |
462.21/462.49 c | 626255 | 54970 430562 1741164 | 2147483647 180439 44 | 2.523 % |
465.01/465.29 c | 629552 | 54970 430562 1741164 | 2147483647 183736 44 | 2.523 % |
468.41/468.69 c | 633177 | 54970 430406 1740621 | 2147483647 187357 44 | 2.523 % |
472.81/473.05 c | 637165 | 54970 430406 1740621 | 2147483647 191345 44 | 2.523 % |
476.20/476.48 c | 641551 | 54970 430406 1740621 | 2147483647 195731 44 | 2.523 % |
480.60/480.83 c | 646374 | 54970 430406 1740621 | 2147483647 200554 44 | 2.523 % |
483.80/484.02 c | 651679 | 54970 430406 1740621 | 2147483647 205859 45 | 2.523 % |
492.20/492.45 c | 657517 | 54970 430406 1740621 | 2147483647 211697 44 | 2.523 % |
492.50/492.70 c | 657621 | 54970 430406 1740621 | 2147483647 211801 44 | 2.523 % |
492.60/492.87 c | 657732 | 54970 430406 1740621 | 2147483647 211912 44 | 2.523 % |
492.80/493.09 c | 657853 | 54970 430406 1740621 | 2147483647 212033 44 | 2.523 % |
493.00/493.30 c | 657986 | 54970 430406 1740621 | 2147483647 212166 44 | 2.523 % |
493.20/493.45 c | 658134 | 54970 430406 1740621 | 2147483647 212314 44 | 2.523 % |
493.30/493.50 c | 658294 | 54970 430406 1740621 | 2147483647 212474 44 | 2.523 % |
493.50/493.77 c | 658471 | 54970 430406 1740621 | 2147483647 212651 44 | 2.523 % |
493.80/494.05 c | 658664 | 54970 430406 1740621 | 2147483647 212844 44 | 2.523 % |
494.10/494.32 c | 658876 | 54970 430406 1740621 | 2147483647 213056 44 | 2.523 % |
494.30/494.54 c | 659112 | 54970 430406 1740621 | 2147483647 213292 44 | 2.523 % |
494.60/494.89 c | 659369 | 54970 430406 1740621 | 2147483647 213549 44 | 2.523 % |
495.00/495.21 c | 659652 | 54970 430406 1740621 | 2147483647 213832 44 | 2.523 % |
495.20/495.49 c | 659963 | 54970 430406 1740621 | 2147483647 214143 44 | 2.523 % |
495.69/495.91 c | 660302 | 54970 430406 1740621 | 2147483647 214482 44 | 2.523 % |
496.09/496.33 c | 660674 | 54970 430406 1740621 | 2147483647 214854 44 | 2.523 % |
496.49/496.79 c | 661085 | 54970 430406 1740621 | 2147483647 215265 44 | 2.523 % |
497.20/497.48 c | 661536 | 54970 430406 1740621 | 2147483647 215716 44 | 2.523 % |
497.79/498.09 c | 662030 | 54970 430406 1740621 | 2147483647 216210 44 | 2.523 % |
498.29/498.50 c | 662572 | 54970 430406 1740621 | 2147483647 216752 44 | 2.523 % |
498.89/499.19 c | 663168 | 54970 430406 1740621 | 2147483647 217348 45 | 2.523 % |
499.59/499.81 c | 663823 | 54970 430406 1740621 | 2147483647 218003 44 | 2.523 % |
500.30/500.51 c | 664543 | 54970 430406 1740621 | 2147483647 218723 44 | 2.523 % |
501.19/501.40 c | 665335 | 54970 430406 1740621 | 2147483647 219515 44 | 2.523 % |
502.50/502.76 c | 666207 | 54970 430406 1740621 | 2147483647 220387 45 | 2.523 % |
503.39/503.66 c | 667168 | 54970 430406 1740621 | 2147483647 221348 45 | 2.523 % |
504.70/504.97 c | 668221 | 54970 430406 1740621 | 2147483647 222401 45 | 2.523 % |
506.29/506.54 c | 669380 | 54970 430406 1740621 | 2147483647 223560 45 | 2.523 % |
508.09/508.33 c | 670653 | 54970 430406 1740621 | 224180 224833 45 | 2.523 % |
509.39/509.69 c | 672053 | 54970 430406 1740621 | 224180 226233 45 | 2.523 % |
511.49/511.78 c | 673593 | 54970 430406 1740621 | 224180 201792 44 | 2.523 % |
512.89/513.13 c | 675288 | 54970 430406 1740621 | 224180 203487 44 | 2.523 % |
514.79/515.03 c | 677151 | 54970 430406 1740621 | 224180 205350 44 | 2.523 % |
515.79/516.09 c | 679200 | 54970 430406 1740621 | 224180 207399 44 | 2.523 % |
518.29/518.52 c | 681454 | 54970 430406 1740621 | 208199 209653 44 | 2.523 % |
521.58/521.85 c | 683933 | 54970 430406 1740621 | 208199 187446 44 | 2.523 % |
523.88/524.12 c | 686658 | 54970 430406 1740621 | 208199 190171 44 | 2.523 % |
526.38/526.60 c | 689655 | 54970 430406 1740621 | 208199 193168 44 | 2.523 % |
529.28/529.58 c | 692952 | 54970 430406 1740621 | 2147483647 196465 44 | 2.523 % |
531.78/532.09 c | 696577 | 54970 430406 1740621 | 2147483647 200090 43 | 2.523 % |
534.88/535.12 c | 700564 | 54970 430406 1740621 | 203516 204077 43 | 2.523 % |
537.58/537.84 c | 704950 | 54970 430406 1740621 | 203516 208463 44 | 2.523 % |
541.78/542.07 c | 709773 | 54970 430406 1740621 | 203516 166228 42 | 2.523 % |
546.38/546.70 c | 715078 | 54970 430406 1740621 | 2147483647 171533 42 | 2.523 % |
550.27/550.56 c | 720914 | 54970 430406 1740621 | 2147483647 177369 43 | 2.523 % |
554.09/554.32 c | 727332 | 54964 430362 1740438 | 2147483647 183785 43 | 2.534 % |
554.19/554.41 c | 727432 | 54964 430362 1740438 | 2147483647 183885 43 | 2.534 % |
554.19/554.48 c | 727545 | 54964 430362 1740438 | 2147483647 183998 43 | 2.534 % |
554.38/554.64 c | 727666 | 54964 430362 1740438 | 2147483647 184119 43 | 2.534 % |
554.48/554.73 c | 727799 | 54964 430362 1740438 | 2147483647 184252 43 | 2.534 % |
554.58/554.86 c | 727945 | 54964 430362 1740438 | 2147483647 184398 43 | 2.534 % |
554.78/555.05 c | 728107 | 54964 430362 1740438 | 2147483647 184560 43 | 2.534 % |
554.98/555.21 c | 728284 | 54964 430362 1740438 | 2147483647 184737 43 | 2.534 % |
555.19/555.42 c | 728477 | 54964 430362 1740438 | 2147483647 184930 43 | 2.534 % |
555.48/555.78 c | 728690 | 54964 430362 1740438 | 2147483647 185143 43 | 2.534 % |
555.68/556.00 c | 728925 | 54964 430362 1740438 | 2147483647 185378 43 | 2.534 % |
556.08/556.35 c | 729181 | 54964 430362 1740438 | 2147483647 185634 43 | 2.534 % |
556.58/556.80 c | 729463 | 54964 430362 1740438 | 2147483647 185916 43 | 2.534 % |
556.68/556.92 c | 729773 | 54964 430362 1740438 | 2147483647 186226 43 | 2.534 % |
557.08/557.39 c | 730115 | 54964 430362 1740438 | 2147483647 186568 43 | 2.534 % |
557.48/557.79 c | 730488 | 54964 430362 1740438 | 2147483647 186941 43 | 2.534 % |
558.18/558.49 c | 730897 | 54964 430362 1740438 | 2147483647 187350 43 | 2.534 % |
558.48/558.77 c | 731348 | 54964 430362 1740438 | 2147483647 187801 43 | 2.534 % |
559.08/559.34 c | 731841 | 54964 430362 1740438 | 2147483647 188294 43 | 2.534 % |
559.88/560.14 c | 732383 | 54964 430362 1740438 | 2147483647 188836 43 | 2.534 % |
560.28/560.50 c | 732979 | 54964 430362 1740438 | 2147483647 189432 43 | 2.534 % |
561.18/561.44 c | 733635 | 54964 430362 1740438 | 2147483647 190088 43 | 2.534 % |
561.47/561.76 c | 734355 | 54964 430362 1740438 | 2147483647 190808 43 | 2.534 % |
561.88/562.17 c | 735151 | 54964 430362 1740438 | 2147483647 191604 43 | 2.534 % |
562.47/562.70 c | 736022 | 54964 430362 1740438 | 2147483647 192475 43 | 2.534 % |
563.47/563.72 c | 736982 | 54958 430362 1740438 | 2147483647 193434 43 | 2.577 % |
564.87/565.16 c | 738036 | 54958 430362 1740438 | 2147483647 194488 43 | 2.577 % |
565.67/565.94 c | 739194 | 54958 430362 1740438 | 2147483647 195646 43 | 2.577 % |
567.28/567.54 c | 740467 | 54958 430362 1740438 | 2147483647 196919 43 | 2.577 % |
568.07/568.37 c | 741867 | 54958 430362 1740438 | 2147483647 198319 43 | 2.577 % |
569.77/570.06 c | 743407 | 54958 430362 1740438 | 2147483647 199859 43 | 2.577 % |
570.87/571.10 c | 745101 | 54958 430362 1740438 | 2147483647 201553 43 | 2.577 % |
572.37/572.65 c | 746965 | 54958 430362 1740438 | 2147483647 203417 43 | 2.577 % |
573.77/574.05 c | 749015 | 54958 430362 1740438 | 2147483647 205467 43 | 2.577 % |
575.27/575.53 c | 751268 | 54958 430362 1740438 | 206453 207720 43 | 2.577 % |
576.87/577.16 c | 753750 | 54958 430362 1740438 | 206453 210202 43 | 2.577 % |
579.87/580.17 c | 756475 | 54958 430362 1740438 | 206453 191907 42 | 2.577 % |
581.57/581.88 c | 759472 | 54958 430362 1740438 | 206453 194904 43 | 2.577 % |
585.97/586.21 c | 762769 | 54940 430191 1739957 | 2147483647 198181 43 | 2.577 % |
589.46/589.74 c | 766395 | 54940 430191 1739957 | 2147483647 201807 43 | 2.577 % |
593.96/594.24 c | 770385 | 54940 430191 1739957 | 2147483647 205797 44 | 2.577 % |
595.56/595.85 c | 774770 | 54940 430191 1739957 | 2147483647 210182 44 | 2.577 % |
601.26/601.52 c | 779593 | 54940 430191 1739957 | 2147483647 215005 44 | 2.577 % |
607.36/607.68 c | 784898 | 54940 430191 1739957 | 2147483647 220310 44 | 2.577 % |
612.75/613.02 c | 790734 | 54940 430191 1739957 | 2147483647 226146 44 | 2.577 % |
617.25/617.59 c | 797152 | 54940 430191 1739957 | 2147483647 232564 44 | 2.577 % |
623.96/624.25 c | 804211 | 54939 430186 1739942 | 235412 239622 45 | 2.578 % |
624.86/625.17 c | 804312 | 54939 430186 1739942 | 235412 173243 44 | 2.578 % |
625.06/625.32 c | 804422 | 54939 430186 1739942 | 235412 173353 44 | 2.578 % |
625.16/625.47 c | 804546 | 54939 430186 1739942 | 235412 173477 44 | 2.578 % |
625.36/625.64 c | 804679 | 54939 430186 1739942 | 235412 173610 44 | 2.578 % |
625.56/625.83 c | 804825 | 54939 430186 1739942 | 235412 173756 44 | 2.578 % |
625.66/625.97 c | 804985 | 54939 430186 1739942 | 235412 173916 44 | 2.578 % |
625.96/626.27 c | 805161 | 54937 430186 1739942 | 235412 174090 44 | 2.623 % |
626.16/626.46 c | 805355 | 54937 430186 1739942 | 235412 174284 44 | 2.623 % |
626.46/626.72 c | 805567 | 54937 430186 1739942 | 235412 174496 44 | 2.623 % |
626.66/626.94 c | 805801 | 54937 430186 1739942 | 235412 174730 44 | 2.623 % |
626.86/627.17 c | 806058 | 54937 430186 1739942 | 235412 174987 44 | 2.623 % |
627.16/627.48 c | 806339 | 54937 430186 1739942 | 235412 175268 44 | 2.623 % |
627.55/627.81 c | 806648 | 54937 430186 1739942 | 235412 175577 44 | 2.623 % |
627.86/628.10 c | 806987 | 54937 430186 1739942 | 235412 175916 44 | 2.623 % |
627.95/628.26 c | 807359 | 54937 430186 1739942 | 235412 176288 44 | 2.623 % |
628.45/628.72 c | 807768 | 54937 430186 1739942 | 235412 176697 44 | 2.623 % |
628.65/628.98 c | 808217 | 54937 430186 1739942 | 235412 177146 44 | 2.623 % |
629.15/629.48 c | 808711 | 54937 430186 1739942 | 235412 177640 44 | 2.623 % |
629.65/629.94 c | 809254 | 54937 430186 1739942 | 235412 178183 44 | 2.623 % |
630.15/630.44 c | 809850 | 54937 430186 1739942 | 235412 178779 44 | 2.623 % |
631.06/631.34 c | 810505 | 54937 430186 1739942 | 178930 179434 44 | 2.623 % |
631.55/631.83 c | 811225 | 54937 430186 1739942 | 178930 180154 44 | 2.623 % |
632.35/632.67 c | 812018 | 54937 430186 1739942 | 178930 180947 44 | 2.623 % |
633.25/633.57 c | 812890 | 54937 430186 1739942 | 178930 163725 44 | 2.623 % |
634.15/634.47 c | 813849 | 54937 430186 1739942 | 178930 164684 44 | 2.623 % |
635.65/635.99 c | 814903 | 54937 430186 1739942 | 178930 165738 44 | 2.623 % |
636.95/637.29 c | 816062 | 54937 430186 1739942 | 178930 166897 44 | 2.623 % |
637.75/638.09 c | 817335 | 54937 430186 1739942 | 178930 168170 44 | 2.623 % |
638.75/639.08 c | 818736 | 54937 430186 1739942 | 178930 169571 44 | 2.623 % |
640.65/640.90 c | 820276 | 54936 430186 1739942 | 2147483647 171110 44 | 2.624 % |
641.45/641.75 c | 821970 | 54936 430186 1739942 | 2147483647 172804 44 | 2.624 % |
642.95/643.29 c | 823834 | 54936 430186 1739942 | 2147483647 174668 45 | 2.624 % |
645.55/645.85 c | 825884 | 54936 430186 1739942 | 2147483647 176718 45 | 2.624 % |
647.24/647.52 c | 828139 | 54936 430186 1739942 | 2147483647 178973 45 | 2.624 % |
649.64/649.92 c | 830618 | 54936 430186 1739942 | 2147483647 181452 46 | 2.624 % |
651.25/651.58 c | 833345 | 54936 430186 1739942 | 2147483647 184179 46 | 2.624 % |
653.15/653.49 c | 836344 | 54936 430186 1739942 | 2147483647 187178 45 | 2.624 % |
656.74/657.03 c | 839640 | 54936 430186 1739942 | 2147483647 190474 46 | 2.624 % |
659.75/660.07 c | 843267 | 54913 429401 1737232 | 2147483647 194101 46 | 2.624 % |
664.94/665.27 c | 847254 | 54913 429401 1737232 | 2147483647 198088 46 | 2.624 % |
670.34/670.67 c | 851640 | 54913 429401 1737232 | 2147483647 202474 46 | 2.624 % |
674.04/674.38 c | 856463 | 54912 429401 1737232 | 2147483647 207296 46 | 2.626 % |
679.54/679.88 c | 861768 | 54912 429401 1737232 | 2147483647 212601 45 | 2.626 % |
685.04/685.34 c | 867603 | 54912 429401 1737232 | 2147483647 218436 46 | 2.626 % |
689.73/690.05 c | 874027 | 54912 429401 1737232 | 2147483647 224860 46 | 2.626 % |
693.23/693.59 c | 881087 | 54912 429401 1737232 | 2147483647 231920 46 | 2.626 % |
700.82/701.10 c | 888851 | 54912 429332 1736991 | 2147483647 239678 47 | 2.626 % |
700.92/701.29 c | 888952 | 54912 429332 1736991 | 2147483647 239779 47 | 2.626 % |
701.22/701.50 c | 889062 | 54912 429332 1736991 | 2147483647 239889 47 | 2.626 % |
701.43/701.72 c | 889183 | 54912 429332 1736991 | 2147483647 240010 47 | 2.626 % |
701.62/701.92 c | 889320 | 54912 429332 1736991 | 2147483647 240147 47 | 2.626 % |
701.82/702.15 c | 889467 | 54912 429332 1736991 | 2147483647 240294 47 | 2.626 % |
702.13/702.47 c | 889627 | 54912 429332 1736991 | 2147483647 240454 47 | 2.626 % |
702.43/702.77 c | 889806 | 54912 429332 1736991 | 2147483647 240633 47 | 2.626 % |
702.73/703.03 c | 890000 | 54912 429332 1736991 | 2147483647 240827 47 | 2.626 % |
703.03/703.34 c | 890213 | 54912 429332 1736991 | 240827 241040 47 | 2.626 % |
703.13/703.47 c | 890446 | 54912 429332 1736991 | 240827 241273 47 | 2.626 % |
703.53/703.88 c | 890705 | 54912 429332 1736991 | 240827 241532 47 | 2.626 % |
704.23/704.52 c | 890986 | 54912 429332 1736991 | 240827 241813 47 | 2.626 % |
704.53/704.85 c | 891295 | 54912 429332 1736991 | 240827 242122 47 | 2.626 % |
705.23/705.54 c | 891636 | 54912 429332 1736991 | 240827 242463 47 | 2.626 % |
706.33/706.65 c | 892008 | 54912 429332 1736991 | 240827 209823 45 | 2.626 % |
706.73/707.07 c | 892417 | 54912 429332 1736991 | 240827 210232 45 | 2.626 % |
707.13/707.46 c | 892866 | 54912 429332 1736991 | 240827 210681 45 | 2.626 % |
707.63/707.96 c | 893359 | 54912 429332 1736991 | 240827 211174 45 | 2.626 % |
708.23/708.52 c | 893902 | 54912 429332 1736991 | 240827 211717 45 | 2.626 % |
708.63/708.93 c | 894499 | 54912 429332 1736991 | 240827 212314 45 | 2.626 % |
709.03/709.37 c | 895159 | 54912 429332 1736991 | 240827 212974 45 | 2.626 % |
709.93/710.22 c | 895885 | 54912 429332 1736991 | 240827 213700 45 | 2.626 % |
710.33/710.60 c | 896677 | 54912 429332 1736991 | 240827 214492 45 | 2.626 % |
711.33/711.65 c | 897549 | 54912 429332 1736991 | 240827 215364 45 | 2.626 % |
712.03/712.30 c | 898508 | 54912 429332 1736991 | 240827 216323 45 | 2.626 % |
713.13/713.45 c | 899562 | 54912 429332 1736991 | 240827 217377 45 | 2.626 % |
713.73/714.04 c | 900720 | 54912 429332 1736991 | 217815 218535 45 | 2.626 % |
713.93/714.22 c | 901995 | 54912 429332 1736991 | 217815 219810 45 | 2.626 % |
715.52/715.82 c | 903395 | 54912 429332 1736991 | 217815 199229 43 | 2.626 % |
718.12/718.45 c | 904936 | 54912 429332 1736991 | 217815 200770 44 | 2.626 % |
719.82/720.12 c | 906630 | 54912 429332 1736991 | 217815 202464 44 | 2.626 % |
721.72/722.02 c | 908493 | 54912 429332 1736991 | 217815 204327 44 | 2.626 % |
725.12/725.41 c | 910545 | 54912 429332 1736991 | 205834 206379 44 | 2.626 % |
726.73/727.08 c | 912799 | 54912 429332 1736991 | 205834 208633 44 | 2.626 % |
729.82/730.12 c | 915278 | 54912 429332 1736991 | 205834 190249 44 | 2.626 % |
733.12/733.46 c | 918003 | 54912 429332 1736991 | 205834 192974 44 | 2.626 % |
736.12/736.41 c | 921005 | 54912 429332 1736991 | 194974 195976 44 | 2.626 % |
739.62/739.94 c | 924302 | 54912 429332 1736991 | 194974 199273 44 | 2.626 % |
741.72/742.07 c | 927927 | 54912 429332 1736991 | 194974 182971 43 | 2.626 % |
742.82/743.14 c | 931914 | 54912 429332 1736991 | 2147483647 186958 43 | 2.626 % |
743.92/744.23 c | 936301 | 54912 429332 1736991 | 2147483647 191345 43 | 2.626 % |
749.31/749.67 c | 941124 | 54912 429332 1736991 | 2147483647 196168 43 | 2.626 % |
754.61/754.91 c | 946429 | 54912 429332 1736991 | 2147483647 201473 44 | 2.626 % |
758.71/759.08 c | 952266 | 54912 429332 1736991 | 2147483647 207310 44 | 2.626 % |
760.71/761.08 c | 958684 | 54912 429332 1736991 | 2147483647 213728 44 | 2.626 % |
767.51/767.84 c | 965743 | 54912 429332 1736991 | 2147483647 220787 44 | 2.626 % |
775.30/775.65 c | 973507 | 54912 429332 1736991 | 225046 228551 45 | 2.626 % |
784.60/784.91 c | 982048 | 54912 429332 1736991 | 185551 187599 44 | 2.626 % |
785.10/785.48 c | 982148 | 54912 429332 1736991 | 185551 168940 42 | 2.626 % |
785.20/785.58 c | 982261 | 54912 429332 1736991 | 185551 169053 42 | 2.626 % |
785.40/785.70 c | 982382 | 54912 429332 1736991 | 185551 169174 42 | 2.626 % |
785.60/785.90 c | 982515 | 54912 429332 1736991 | 185551 169307 42 | 2.626 % |
785.70/786.10 c | 982662 | 54912 429332 1736991 | 185551 169454 42 | 2.626 % |
785.90/786.26 c | 982827 | 54912 429332 1736991 | 185551 169619 42 | 2.626 % |
786.20/786.58 c | 983003 | 54912 429332 1736991 | 185551 169795 42 | 2.626 % |
786.40/786.78 c | 983199 | 54912 429332 1736991 | 185551 169991 42 | 2.626 % |
786.70/787.09 c | 983412 | 54912 429332 1736991 | 185551 170204 42 | 2.626 % |
787.10/787.48 c | 983645 | 54912 429332 1736991 | 185551 170437 42 | 2.626 % |
787.40/787.76 c | 983905 | 54912 429332 1736991 | 185551 170697 42 | 2.626 % |
787.70/788.02 c | 984186 | 54912 429332 1736991 | 185551 170978 42 | 2.626 % |
787.90/788.22 c | 984495 | 54912 429332 1736991 | 185551 171287 42 | 2.626 % |
788.30/788.69 c | 984834 | 54912 429332 1736991 | 185551 171626 42 | 2.626 % |
788.50/788.87 c | 985206 | 54912 429332 1736991 | 185551 171998 42 | 2.626 % |
789.20/789.51 c | 985615 | 54912 429332 1736991 | 185551 172407 42 | 2.626 % |
789.40/789.75 c | 986064 | 54912 429332 1736991 | 185551 172856 42 | 2.626 % |
789.70/790.05 c | 986558 | 54912 429332 1736991 | 185551 173350 42 | 2.626 % |
789.90/790.23 c | 987104 | 54912 429332 1736991 | 185551 173896 42 | 2.626 % |
790.40/790.78 c | 987701 | 54912 429332 1736991 | 185551 174493 42 | 2.626 % |
791.09/791.44 c | 988356 | 54912 429332 1736991 | 185551 175148 42 | 2.626 % |
791.49/791.90 c | 989076 | 54912 429332 1736991 | 185551 175868 42 | 2.626 % |
792.39/792.72 c | 989869 | 54912 429332 1736991 | 185551 176661 42 | 2.626 % |
792.99/793.30 c | 990746 | 54912 429332 1736991 | 2147483647 177538 42 | 2.626 % |
793.49/793.88 c | 991704 | 54912 429332 1736991 | 2147483647 178496 42 | 2.626 % |
794.39/794.72 c | 992758 | 54912 429332 1736991 | 2147483647 179550 42 | 2.626 % |
795.39/795.71 c | 993916 | 54912 429332 1736991 | 2147483647 180708 42 | 2.626 % |
796.69/797.04 c | 995190 | 54912 429332 1736991 | 2147483647 181982 42 | 2.626 % |
798.09/798.44 c | 996593 | 54912 429332 1736991 | 2147483647 183385 42 | 2.626 % |
799.79/800.15 c | 998134 | 54912 429332 1736991 | 2147483647 184926 42 | 2.626 % |
802.69/803.08 c | 999828 | 54912 429332 1736991 | 2147483647 186620 42 | 2.626 % |
803.99/804.39 c | 1001691 | 54912 429332 1736991 | 2147483647 188483 42 | 2.626 % |
806.19/806.55 c | 1003740 | 54912 429332 1736991 | 2147483647 190532 42 | 2.626 % |
808.09/808.42 c | 1005993 | 54912 429332 1736991 | 2147483647 192785 42 | 2.626 % |
811.19/811.56 c | 1008474 | 54912 429332 1736991 | 2147483647 195266 43 | 2.626 % |
813.59/813.95 c | 1011199 | 54912 429332 1736991 | 2147483647 197991 43 | 2.626 % |
816.29/816.64 c | 1014197 | 54912 429332 1736991 | 2147483647 200989 43 | 2.626 % |
818.98/819.39 c | 1017493 | 54912 429332 1736991 | 2147483647 204285 43 | 2.626 % |
820.88/821.21 c | 1021119 | 54912 429332 1736991 | 2147483647 207911 43 | 2.626 % |
823.08/823.45 c | 1025106 | 54912 429332 1736991 | 2147483647 211898 43 | 2.626 % |
825.19/825.54 c | 1029492 | 54912 429332 1736991 | 2147483647 216284 42 | 2.626 % |
831.99/832.34 c | 1034316 | 54912 429332 1736991 | 2147483647 221108 43 | 2.626 % |
835.09/835.44 c | 1039621 | 54912 429332 1736991 | 2147483647 226413 43 | 2.626 % |
838.59/838.91 c | 1045456 | 54912 429332 1736991 | 2147483647 232248 43 | 2.626 % |
846.48/846.84 c | 1051874 | 54912 429332 1736991 | 2147483647 238666 42 | 2.626 % |
853.29/853.69 c | 1058934 | 54912 429332 1736991 | 2147483647 245726 44 | 2.626 % |
863.38/863.71 c | 1066699 | 54912 429332 1736991 | 246792 253491 45 | 2.626 % |
873.58/873.91 c | 1075240 | 54912 429332 1736991 | 219885 189659 43 | 2.626 % |
882.27/882.67 c | 1084634 | 54912 429332 1736991 | 2147483647 199053 43 | 2.626 % |
882.47/882.82 c | 1084734 | 54912 429332 1736991 | 2147483647 199153 43 | 2.626 % |
882.57/882.93 c | 1084844 | 54912 429332 1736991 | 2147483647 199263 43 | 2.626 % |
882.67/883.07 c | 1084965 | 54912 429332 1736991 | 2147483647 199384 43 | 2.626 % |
882.88/883.22 c | 1085098 | 54912 429332 1736991 | 2147483647 199517 43 | 2.626 % |
883.07/883.45 c | 1085246 | 54912 429332 1736991 | 2147483647 199665 43 | 2.626 % |
883.27/883.67 c | 1085406 | 54912 429332 1736991 | 2147483647 199825 43 | 2.626 % |
883.57/883.90 c | 1085583 | 54912 429332 1736991 | 2147483647 200002 43 | 2.626 % |
883.67/884.08 c | 1085777 | 54912 429332 1736991 | 2147483647 200196 43 | 2.626 % |
884.08/884.41 c | 1085989 | 54912 429332 1736991 | 2147483647 200408 43 | 2.626 % |
884.27/884.62 c | 1086224 | 54912 429332 1736991 | 2147483647 200643 43 | 2.626 % |
884.57/884.95 c | 1086481 | 54912 429332 1736991 | 2147483647 200900 43 | 2.626 % |
884.97/885.34 c | 1086762 | 54912 429332 1736991 | 2147483647 201181 43 | 2.626 % |
885.27/885.60 c | 1087071 | 54912 429332 1736991 | 2147483647 201490 43 | 2.626 % |
885.67/886.02 c | 1087410 | 54912 429332 1736991 | 2147483647 201829 43 | 2.626 % |
885.87/886.25 c | 1087783 | 54912 429332 1736991 | 2147483647 202202 43 | 2.626 % |
886.27/886.61 c | 1088194 | 54912 429332 1736991 | 2147483647 202613 43 | 2.626 % |
886.37/886.76 c | 1088643 | 54912 429332 1736991 | 2147483647 203062 43 | 2.626 % |
886.87/887.29 c | 1089136 | 54912 429332 1736991 | 2147483647 203555 43 | 2.626 % |
887.67/888.10 c | 1089679 | 54912 429332 1736991 | 2147483647 204098 43 | 2.626 % |
888.47/888.83 c | 1090275 | 54912 429332 1736991 | 2147483647 204694 43 | 2.626 % |
889.17/889.58 c | 1090930 | 54912 429332 1736991 | 2147483647 205349 43 | 2.626 % |
889.67/890.00 c | 1091651 | 54912 429332 1736991 | 2147483647 206070 43 | 2.626 % |
890.57/890.98 c | 1092444 | 54912 429332 1736991 | 2147483647 206863 43 | 2.626 % |
891.47/891.87 c | 1093315 | 54912 429332 1736991 | 2147483647 207734 43 | 2.626 % |
892.07/892.48 c | 1094274 | 54912 429332 1736991 | 2147483647 208693 43 | 2.626 % |
893.17/893.59 c | 1095327 | 54912 429332 1736991 | 2147483647 209746 43 | 2.626 % |
893.97/894.36 c | 1096485 | 54912 429332 1736991 | 2147483647 210904 43 | 2.626 % |
895.27/895.68 c | 1097758 | 54912 429332 1736991 | 2147483647 212177 43 | 2.626 % |
896.47/896.88 c | 1099163 | 54912 429332 1736991 | 2147483647 213582 43 | 2.626 % |
898.57/898.91 c | 1100704 | 54912 429332 1736991 | 2147483647 215123 44 | 2.626 % |
900.37/900.71 c | 1102402 | 54912 429332 1736991 | 2147483647 216821 44 | 2.626 % |
903.17/903.56 c | 1104266 | 54912 429332 1736991 | 2147483647 218685 44 | 2.626 % |
905.36/905.78 c | 1106315 | 54912 429332 1736991 | 2147483647 220734 44 | 2.626 % |
908.17/908.56 c | 1108568 | 54912 429332 1736991 | 2147483647 222987 44 | 2.626 % |
910.06/910.47 c | 1111050 | 54912 429332 1736991 | 2147483647 225469 44 | 2.626 % |
911.96/912.36 c | 1113779 | 54912 429332 1736991 | 2147483647 228198 44 | 2.626 % |
915.86/916.24 c | 1116776 | 54912 429332 1736991 | 2147483647 231195 44 | 2.626 % |
918.86/919.25 c | 1120072 | 54912 429332 1736991 | 2147483647 234491 44 | 2.626 % |
920.96/921.35 c | 1123698 | 54912 429332 1736991 | 2147483647 238117 44 | 2.626 % |
925.76/926.10 c | 1127686 | 54912 429332 1736991 | 2147483647 242105 44 | 2.626 % |
932.05/932.40 c | 1132071 | 54912 429332 1736991 | 2147483647 246490 45 | 2.626 % |
936.75/937.11 c | 1136895 | 54912 429332 1736991 | 2147483647 251314 45 | 2.626 % |
943.65/944.01 c | 1142200 | 54912 429332 1736991 | 254419 256619 45 | 2.626 % |
949.45/949.86 c | 1148038 | 54912 429332 1736991 | 254419 214567 44 | 2.626 % |
957.55/957.90 c | 1154458 | 54912 429332 1736991 | 216529 220987 46 | 2.626 % |
963.45/963.88 c | 1161517 | 54912 429332 1736991 | 203025 204541 46 | 2.626 % |
971.55/971.92 c | 1169282 | 54912 429332 1736991 | 203025 180982 46 | 2.626 % |
978.44/978.82 c | 1177824 | 54912 429332 1736991 | 2147483647 189524 46 | 2.626 % |
985.54/985.97 c | 1187218 | 54912 429332 1736991 | 2147483647 198918 48 | 2.626 % |
993.74/994.17 c | 1197553 | 54912 429332 1736991 | 201701 183308 47 | 2.626 % |
993.84/994.25 c | 1197653 | 54912 429332 1736991 | 201701 183408 47 | 2.626 % |
994.04/994.41 c | 1197765 | 54912 429332 1736991 | 201701 183520 47 | 2.626 % |
994.24/994.64 c | 1197887 | 54912 429332 1736991 | 201701 183642 47 | 2.626 % |
994.44/994.83 c | 1198022 | 54912 429332 1736991 | 201701 183777 47 | 2.626 % |
994.74/995.10 c | 1198168 | 54912 429332 1736991 | 201701 183923 47 | 2.626 % |
994.84/995.23 c | 1198330 | 54912 429332 1736991 | 201701 184085 47 | 2.626 % |
995.24/995.64 c | 1198506 | 54912 429332 1736991 | 201701 184261 47 | 2.626 % |
995.54/995.94 c | 1198700 | 54912 429332 1736991 | 201701 184455 47 | 2.626 % |
995.84/996.29 c | 1198913 | 54912 429332 1736991 | 201701 184668 47 | 2.626 % |
996.04/996.47 c | 1199147 | 54912 429332 1736991 | 201701 184902 47 | 2.626 % |
996.34/996.79 c | 1199404 | 54912 429332 1736991 | 201701 185159 47 | 2.626 % |
996.64/997.02 c | 1199685 | 54912 429332 1736991 | 201701 185440 47 | 2.626 % |
997.03/997.47 c | 1199995 | 54912 429332 1736991 | 201701 185750 47 | 2.626 % |
997.43/997.84 c | 1200335 | 54912 429332 1736991 | 2147483647 186090 47 | 2.626 % |
997.83/998.24 c | 1200708 | 54912 429332 1736991 | 2147483647 186463 47 | 2.626 % |
998.23/998.64 c | 1201117 | 54912 429332 1736991 | 2147483647 186872 47 | 2.626 % |
998.93/999.30 c | 1201566 | 54912 429332 1736991 | 2147483647 187321 47 | 2.626 % |
999.44/999.85 c | 1202059 | 54912 429332 1736991 | 2147483647 187814 47 | 2.626 % |
1000.23/1000.67 c | 1202601 | 54912 429332 1736991 | 2147483647 188356 47 | 2.626 % |
1000.73/1001.14 c | 1203200 | 54912 429332 1736991 | 2147483647 188955 47 | 2.626 % |
1001.54/1001.90 c | 1203855 | 54912 429332 1736991 | 2147483647 189610 47 | 2.626 % |
1002.43/1002.85 c | 1204575 | 54912 429332 1736991 | 2147483647 190330 47 | 2.626 % |
1003.43/1003.87 c | 1205367 | 54912 429332 1736991 | 2147483647 191122 47 | 2.626 % |
1004.33/1004.78 c | 1206238 | 54912 429332 1736991 | 2147483647 191993 47 | 2.626 % |
1005.13/1005.59 c | 1207197 | 54912 429332 1736991 | 2147483647 192952 47 | 2.626 % |
1006.63/1007.02 c | 1208251 | 54912 429332 1736991 | 2147483647 194006 47 | 2.626 % |
1007.23/1007.61 c | 1209411 | 54912 429332 1736991 | 2147483647 195166 47 | 2.626 % |
1009.13/1009.55 c | 1210684 | 54912 429332 1736991 | 2147483647 196439 47 | 2.626 % |
1010.53/1010.99 c | 1212086 | 54912 429332 1736991 | 2147483647 197841 47 | 2.626 % |
1011.83/1012.29 c | 1213627 | 54912 429332 1736991 | 2147483647 199382 47 | 2.626 % |
1012.73/1013.11 c | 1215322 | 54912 429332 1736991 | 2147483647 201077 47 | 2.626 % |
1014.53/1014.91 c | 1217186 | 54912 429332 1736991 | 2147483647 202941 47 | 2.626 % |
1017.13/1017.59 c | 1219235 | 54912 429332 1736991 | 2147483647 204990 48 | 2.626 % |
1019.23/1019.67 c | 1221488 | 54912 429332 1736991 | 205755 207243 48 | 2.626 % |
1022.63/1023.05 c | 1223966 | 54912 429332 1736991 | 205755 177979 46 | 2.626 % |
1024.43/1024.89 c | 1226693 | 54912 429332 1736991 | 205755 180706 46 | 2.626 % |
1027.33/1027.78 c | 1229691 | 54912 429332 1736991 | 205755 183704 46 | 2.626 % |
1030.12/1030.53 c | 1232987 | 54912 429332 1736991 | 184017 187000 46 | 2.626 % |
1033.63/1034.09 c | 1236612 | 54912 429332 1736991 | 184017 157115 46 | 2.626 % |
1036.72/1037.11 c | 1240599 | 54912 429332 1736991 | 2147483647 161102 47 | 2.626 % |
1040.52/1040.96 c | 1244984 | 54912 429332 1736991 | 2147483647 165487 47 | 2.626 % |
1044.42/1044.89 c | 1249808 | 54912 429332 1736991 | 2147483647 170311 47 | 2.626 % |
1049.42/1049.82 c | 1255115 | 54912 429332 1736991 | 2147483647 175618 46 | 2.626 % |
1057.01/1057.46 c | 1260951 | 54912 429332 1736991 | 2147483647 181454 47 | 2.626 % |
1061.22/1061.62 c | 1267369 | 54912 429332 1736991 | 2147483647 187872 47 | 2.626 % |
1069.31/1069.78 c | 1274430 | 54912 429332 1736991 | 190504 194933 47 | 2.626 % |
1076.71/1077.16 c | 1282197 | 54912 429332 1736991 | 172180 174377 45 | 2.626 % |
1085.81/1086.23 c | 1290737 | 54912 429332 1736991 | 2147483647 165480 47 | 2.626 % |
1094.60/1095.09 c | 1300131 | 54912 429332 1736991 | 174744 174874 47 | 2.626 % |
1101.90/1102.39 c | 1310464 | 54912 429332 1736991 | 2147483647 165989 46 | 2.626 % |
1112.30/1112.79 c | 1321830 | 54912 429332 1736991 | 2147483647 177355 46 | 2.626 % |
1112.40/1112.87 c | 1321930 | 54912 429332 1736991 | 2147483647 177455 46 | 2.626 % |
1112.70/1113.11 c | 1322040 | 54912 429332 1736991 | 2147483647 177565 46 | 2.626 % |
1112.80/1113.25 c | 1322163 | 54912 429332 1736991 | 2147483647 177688 46 | 2.626 % |
1112.90/1113.36 c | 1322297 | 54912 429332 1736991 | 2147483647 177822 46 | 2.626 % |
1113.10/1113.58 c | 1322443 | 54912 429332 1736991 | 2147483647 177968 46 | 2.626 % |
1113.30/1113.79 c | 1322607 | 54912 429332 1736991 | 2147483647 178132 46 | 2.626 % |
1113.50/1113.96 c | 1322784 | 54912 429332 1736991 | 2147483647 178309 46 | 2.626 % |
1113.70/1114.18 c | 1322977 | 54912 429332 1736991 | 2147483647 178502 46 | 2.626 % |
1114.00/1114.46 c | 1323191 | 54912 429332 1736991 | 2147483647 178716 46 | 2.626 % |
1114.40/1114.81 c | 1323424 | 54912 429332 1736991 | 2147483647 178949 46 | 2.626 % |
1114.60/1115.04 c | 1323680 | 54912 429332 1736991 | 2147483647 179205 46 | 2.626 % |
1114.90/1115.40 c | 1323961 | 54912 429332 1736991 | 2147483647 179486 46 | 2.626 % |
1115.30/1115.70 c | 1324270 | 54912 429332 1736991 | 2147483647 179795 46 | 2.626 % |
1115.50/1115.99 c | 1324610 | 54912 429332 1736991 | 2147483647 180135 46 | 2.626 % |
1115.70/1116.19 c | 1324982 | 54912 429332 1736991 | 2147483647 180507 46 | 2.626 % |
1116.40/1116.86 c | 1325392 | 54908 429317 1736917 | 2147483647 180908 46 | 2.633 % |
1117.00/1117.46 c | 1325841 | 54908 429317 1736917 | 2147483647 181357 46 | 2.633 % |
1117.70/1118.13 c | 1326335 | 54908 429317 1736917 | 2147483647 181851 46 | 2.633 % |
1118.70/1119.17 c | 1326877 | 54908 429317 1736917 | 2147483647 182393 46 | 2.633 % |
1119.30/1119.77 c | 1327473 | 54908 429317 1736917 | 2147483647 182989 46 | 2.633 % |
1119.80/1120.20 c | 1328132 | 54908 429317 1736917 | 2147483647 183648 46 | 2.633 % |
1120.60/1121.04 c | 1328852 | 54908 429317 1736917 | 2147483647 184367 46 | 2.768 % |
1121.50/1121.97 c | 1329644 | 54908 429317 1736917 | 2147483647 185159 46 | 2.768 % |
1122.00/1122.48 c | 1330516 | 54908 429317 1736917 | 2147483647 186031 46 | 2.768 % |
1123.30/1123.77 c | 1331474 | 54908 429317 1736917 | 2147483647 186989 46 | 2.768 % |
1125.09/1125.54 c | 1332530 | 54908 429317 1736917 | 2147483647 188045 46 | 2.768 % |
1126.19/1126.67 c | 1333689 | 54908 429317 1736917 | 2147483647 189204 46 | 2.768 % |
1128.20/1128.64 c | 1334964 | 54908 429317 1736917 | 2147483647 190479 46 | 2.768 % |
1130.09/1130.55 c | 1336365 | 54908 429317 1736917 | 2147483647 191880 46 | 2.768 % |
1131.99/1132.43 c | 1337905 | 54908 429317 1736917 | 2147483647 193420 46 | 2.768 % |
1133.79/1134.28 c | 1339602 | 54908 429317 1736917 | 2147483647 195117 46 | 2.768 % |
1136.89/1137.36 c | 1341466 | 54908 429317 1736917 | 2147483647 196981 46 | 2.768 % |
1138.99/1139.43 c | 1343515 | 54908 429317 1736917 | 2147483647 199030 46 | 2.768 % |
1141.49/1141.91 c | 1345768 | 54908 429317 1736917 | 2147483647 201283 46 | 2.768 % |
1142.99/1143.44 c | 1348246 | 54908 429317 1736917 | 2147483647 203761 46 | 2.768 % |
1145.69/1146.12 c | 1350971 | 54908 429317 1736917 | 2147483647 206486 46 | 2.768 % |
1150.98/1151.40 c | 1353968 | 54908 429317 1736917 | 2147483647 209483 46 | 2.768 % |
1156.49/1156.95 c | 1357264 | 54832 427738 1730522 | 2147483647 212647 46 | 2.768 % |
1159.59/1160.02 c | 1360890 | 54832 427738 1730522 | 2147483647 216273 46 | 2.768 % |
1164.49/1164.93 c | 1364878 | 54832 427738 1730522 | 2147483647 220261 46 | 2.768 % |
1167.59/1168.06 c | 1369263 | 54832 427738 1730522 | 2147483647 224646 46 | 2.768 % |
1174.18/1174.60 c | 1374087 | 54832 427738 1730522 | 2147483647 229470 47 | 2.768 % |
1181.38/1181.81 c | 1379394 | 54832 427738 1730522 | 2147483647 234777 46 | 2.768 % |
1187.28/1187.70 c | 1385229 | 54832 427738 1730522 | 235383 240612 47 | 2.768 % |
1195.28/1195.71 c | 1391649 | 54832 427738 1730522 | 197837 199484 47 | 2.768 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834219-1242828812/watcher-1834219-1242828812 -o /tmp/evaluation-result-1834219-1242828812/solver-1834219-1242828812 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834219-1242828812.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 11685
/proc/meminfo: memFree=1931856/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=1280 CPUtime=0
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 188 0 0 0 0 0 0 0 20 0 1 0 310909351 1310720 174 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 320 175 49 173 0 145 0
[startup+0.072141 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 11685
/proc/meminfo: memFree=1931856/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=11432 CPUtime=0.05
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 2704 0 0 0 4 1 0 0 20 0 1 0 310909351 11706368 2690 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 2858 2691 49 173 0 2683 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16788
[startup+0.102145 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 11685
/proc/meminfo: memFree=1931856/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=18076 CPUtime=0.09
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 3878 0 0 0 7 2 0 0 20 0 1 0 310909351 18509824 3864 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 4519 3865 49 173 0 4344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23432
[startup+0.301168 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 11685
/proc/meminfo: memFree=1931856/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=57592 CPUtime=0.28
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 11268 0 0 0 22 6 0 0 22 0 1 0 310909351 58974208 11254 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 14398 11254 49 173 0 14223 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62948
[startup+0.702215 s]
/proc/loadavg: 1.01 1.02 1.00 3/64 11685
/proc/meminfo: memFree=1931856/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=124360 CPUtime=0.68
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 26104 0 0 0 54 14 0 0 25 0 1 0 310909351 127344640 26090 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 31090 26091 49 173 0 30915 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 129716
[startup+1.50231 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11690
/proc/meminfo: memFree=1788096/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=173300 CPUtime=1.49
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 40488 0 0 0 127 22 0 0 25 0 1 0 310909351 177459200 37422 1992294400 134512640 135223648 4294956128 18446744073709551615 134585493 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 43325 37422 76 173 0 43150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178656
[startup+3.1015 s]
/proc/loadavg: 1.01 1.02 1.00 3/66 11690
/proc/meminfo: memFree=1773376/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=178924 CPUtime=3.08
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 41813 0 0 0 282 26 0 0 25 0 1 0 310909351 183218176 38747 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 44731 38748 76 173 0 44556 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 184280
[startup+6.30188 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11690
/proc/meminfo: memFree=1743104/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=0
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310909351 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11685/statm: 1339 237 197 169 0 50 0
[pid=11689] ppid=11685 vsize=190144 CPUtime=6.29
/proc/11689/stat : 11689 (SatELite_releas) R 11685 11685 11433 0 -1 4194304 44206 0 0 0 593 36 0 0 25 0 1 0 310909351 194707456 41140 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 1 0 0
/proc/11689/statm: 47536 41140 76 173 0 47361 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195500
[startup+12.7016 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11691
/proc/meminfo: memFree=1857216/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=30260 CPUtime=3.99
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 7331 0 0 0 395 4 0 0 25 0 1 0 310910220 30986240 7305 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 7565 7305 77 171 0 7392 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 35616
[startup+25.5011 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11691
/proc/meminfo: memFree=1853632/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=34208 CPUtime=16.79
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 8339 0 0 0 1674 5 0 0 25 0 1 0 310910220 35028992 8313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 8552 8313 77 171 0 8379 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39564
[startup+51.1011 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11691
/proc/meminfo: memFree=1839168/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=49004 CPUtime=42.38
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 12001 0 0 0 4229 9 0 0 25 0 1 0 310910220 50180096 11975 1992294400 134512640 135215339 4294956240 18446744073709551615 134525939 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 12251 11975 77 171 0 12078 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 54360
[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11691
/proc/meminfo: memFree=1818112/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=69508 CPUtime=93.58
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 17139 0 0 0 9343 15 0 0 25 0 1 0 310910220 71176192 17113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 17377 17113 77 171 0 17204 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 74864
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11691
/proc/meminfo: memFree=1805184/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=82544 CPUtime=153.56
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 20323 0 0 0 15337 19 0 0 25 0 1 0 310910220 84525056 20297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 20636 20297 77 171 0 20463 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 87900
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1804864/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=82832 CPUtime=213.53
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 20382 0 0 0 21334 19 0 0 25 0 1 0 310910220 84819968 20356 1992294400 134512640 135215339 4294956240 18446744073709551615 134719956 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 20708 20356 77 171 0 20535 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 88188
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1804416/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=83264 CPUtime=273.52
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 20484 0 0 0 27332 20 0 0 25 0 1 0 310910220 85262336 20458 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 20816 20458 77 171 0 20643 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 88620
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1803840/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=83744 CPUtime=333.49
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 20614 0 0 0 33329 20 0 0 25 0 1 0 310910220 85753856 20588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 20936 20588 77 171 0 20763 0
Current children cumulated CPU time (s) 342.15
################
# More data... #
################
/proc/11691/statm: 21850 21474 77 171 0 21677 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 92756
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1798848/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=88344 CPUtime=633.39
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 21744 0 0 0 63316 23 0 0 25 0 1 0 310910220 90464256 21718 1992294400 134512640 135215339 4294956240 18446744073709551615 134540963 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 22086 21718 77 171 0 21913 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 93700
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1797056/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=90092 CPUtime=693.37
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 22161 0 0 0 69313 24 0 0 25 0 1 0 310910220 92254208 22135 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 22523 22135 77 171 0 22350 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 95448
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1796096/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=90904 CPUtime=753.35
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 22351 0 0 0 75311 24 0 0 25 0 1 0 310910220 93085696 22325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 22726 22325 77 171 0 22553 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 96260
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1795968/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=91048 CPUtime=813.32
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 22391 0 0 0 81308 24 0 0 25 0 1 0 310910220 93233152 22365 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 22762 22365 77 171 0 22589 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 96404
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1794752/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=92284 CPUtime=873.31
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 22673 0 0 0 87306 25 0 0 25 0 1 0 310910220 94498816 22647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23071 22647 77 171 0 22898 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 97640
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1793728/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=93248 CPUtime=933.29
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 22931 0 0 0 93304 25 0 0 25 0 1 0 310910220 95485952 22905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23312 22905 77 171 0 23139 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 98604
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792896/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=93944 CPUtime=993.27
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23080 0 0 0 99301 26 0 0 25 0 1 0 310910220 96198656 23054 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23486 23054 77 171 0 23313 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 99300
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792704/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=93944 CPUtime=1053.25
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23112 0 0 0 105299 26 0 0 25 0 1 0 310910220 96198656 23086 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23486 23086 77 171 0 23313 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 99300
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792576/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=94140 CPUtime=1113.24
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23131 0 0 0 111298 26 0 0 25 0 1 0 310910220 96399360 23105 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23535 23105 77 171 0 23362 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 99496
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792320/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=94284 CPUtime=1173.22
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23174 0 0 0 117295 27 0 0 25 0 1 0 310910220 96546816 23148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23571 23148 77 171 0 23398 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 99640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792256/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=94284 CPUtime=1191.42
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23174 0 0 0 119115 27 0 0 25 0 1 0 310910220 96546816 23148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23571 23148 77 171 0 23398 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 99640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11691
/proc/meminfo: memFree=1792256/2055920 swapFree=4180828/4192956
[pid=11685] ppid=11683 vsize=5356 CPUtime=8.66
/proc/11685/stat : 11685 (SatELiteGTI) S 11683 11685 11433 0 -1 4194304 336 48452 0 0 0 0 822 44 16 0 1 0 310909351 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11685/statm: 1339 239 197 169 0 50 0
[pid=11691] ppid=11685 vsize=94284 CPUtime=1191.42
/proc/11691/stat : 11691 (minisat_static) R 11685 11685 11433 0 -1 4194304 23174 0 0 0 119115 27 0 0 25 0 1 0 310910220 96546816 23148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11691/statm: 23571 23148 77 171 0 23398 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 99640
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11685 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=232748
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=448931
# CPU time returned by wait4() is 8.68168
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.37
CPU system time (s): 0.71
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 198972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.23275
system time used= 0.448931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 21
runsolver used 1.39179 second user time and 3.06453 second system time
The end
Begin job on node53 at 2009-05-20 16:13:33
IDJOB=1834219
IDBENCH=71749
IDSOLVER=671
FILE ID=node53/1834219-1242828812
PBS_JOBID= 9322507
Free space on /tmp= 66020 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f10ni.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834219-1242828812/watcher-1834219-1242828812 -o /tmp/evaluation-result-1834219-1242828812/solver-1834219-1242828812 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834219-1242828812.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b99a5b8844b4e1d2656eb1422e6e888f
RANDOM SEED=486519079
node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.245
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1932272 kB
Buffers: 19072 kB
Cached: 63144 kB
SwapCached: 6252 kB
Active: 52900 kB
Inactive: 37596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1932272 kB
SwapTotal: 4192956 kB
SwapFree: 4180828 kB
Dirty: 21576 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 19128 kB
Committed_AS: 938592 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65976 MiB
End job on node53 at 2009-05-20 16:33:36