0.00/0.00 c Parsing...
1.09/1.11 c ==============================================================================
1.09/1.11 c | | ORIGINAL | LEARNT | |
1.09/1.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.09/1.11 c ==============================================================================
1.09/1.11 c | 0 | 1356467 3708070 | 406940 0 0 nan | 0.000 % |
40.83/40.98 c | 0 | 255997 1816599 | -- 0 -- -- | -- | -768336/-956869
40.83/40.98 c ==============================================================================
40.83/40.98 c Result : #vars: 4925 #clauses: 255997 #literals: 1816599
40.83/40.98 c CPU time: 40.5718 s
40.83/40.98 c ==============================================================================
41.42/41.58 c This is MiniSat 2.0 beta
41.42/41.58 c WARNING: for repeatability, setting FPU to use double precision
41.42/41.58 c ============================[ Problem Statistics ]=============================
41.42/41.58 c | |
41.42/41.58 c | Number of variables: 4925 |
41.42/41.58 c | Number of clauses: 255997 |
41.61/41.80 c | Parsing time: 0.19 s |
41.71/41.82 c ============================[ Search Statistics ]==============================
41.71/41.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
41.71/41.82 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
41.71/41.82 c ===============================================================================
41.71/41.82 c | 0 | 4925 255997 1816599 | 85332 0 nan | 0.000 % |
41.71/41.84 c | 101 | 4908 255997 1816599 | 85332 84 7 | 0.345 % |
41.71/41.85 c | 201 | 4908 255997 1816599 | 85332 184 7 | 0.345 % |
41.71/41.86 c | 301 | 4908 255997 1816599 | 85332 284 8 | 0.345 % |
41.71/41.87 c | 413 | 4908 255997 1816599 | 85332 396 9 | 0.345 % |
41.71/41.89 c | 514 | 4908 255997 1816599 | 85332 497 9 | 0.345 % |
41.81/41.92 c | 624 | 4908 255997 1816599 | 85332 607 8 | 0.345 % |
41.81/41.93 c | 745 | 4908 255997 1816599 | 85332 728 9 | 0.345 % |
41.81/41.95 c | 845 | 4908 255997 1816599 | 85332 828 9 | 0.345 % |
41.81/41.97 c | 955 | 4908 255997 1816599 | 85332 938 9 | 0.345 % |
41.91/42.00 c | 1076 | 4908 255997 1816599 | 85332 1059 9 | 0.345 % |
41.91/42.03 c | 1210 | 4908 255997 1816599 | 85332 1193 9 | 0.345 % |
41.91/42.06 c | 1310 | 4908 255997 1816599 | 85332 1293 9 | 0.345 % |
41.91/42.07 c | 1421 | 4908 255997 1816599 | 85332 1404 9 | 0.345 % |
41.91/42.09 c | 1542 | 4908 255997 1816599 | 85332 1525 9 | 0.345 % |
42.01/42.10 c | 1675 | 4908 255997 1816599 | 85332 1658 9 | 0.345 % |
42.01/42.18 c | 1821 | 4907 255997 1816599 | 85332 1803 9 | 0.365 % |
42.11/42.20 c | 1921 | 4907 255997 1816599 | 85332 1903 9 | 0.365 % |
42.11/42.21 c | 2031 | 4907 255997 1816599 | 85332 2012 9 | 0.386 % |
42.11/42.25 c | 2152 | 4902 255997 1816599 | 85332 2129 9 | 0.467 % |
42.11/42.27 c | 2285 | 4902 255997 1816599 | 85332 2262 9 | 0.467 % |
42.11/42.29 c | 2433 | 4902 255997 1816599 | 85332 2410 9 | 0.467 % |
42.21/42.32 c | 2594 | 4902 255997 1816599 | 85332 2571 9 | 0.467 % |
42.21/42.35 c | 2695 | 4902 255997 1816599 | 85332 2672 9 | 0.467 % |
42.21/42.37 c | 2806 | 4902 255997 1816599 | 85332 2783 9 | 0.467 % |
42.21/42.38 c | 2927 | 4902 255997 1816599 | 85332 2904 10 | 0.467 % |
42.31/42.40 c | 3061 | 4902 255997 1816599 | 85332 3038 10 | 0.467 % |
42.31/42.43 c | 3208 | 4902 255997 1816599 | 85332 3185 10 | 0.467 % |
42.31/42.47 c | 3370 | 4902 255997 1816599 | 85332 3347 10 | 0.467 % |
42.31/42.49 c | 3547 | 4902 255997 1816599 | 85332 3524 10 | 0.467 % |
42.41/42.51 c | 3648 | 4902 255997 1816599 | 85332 3625 10 | 0.467 % |
42.41/42.54 c | 3759 | 4902 255997 1816599 | 85332 3736 10 | 0.467 % |
42.41/42.55 c | 3881 | 4901 255997 1816599 | 85332 3857 10 | 0.487 % |
42.41/42.58 c | 4014 | 4901 255997 1816599 | 85332 3990 10 | 0.487 % |
42.51/42.60 c | 4160 | 4901 255997 1816599 | 85332 4136 10 | 0.487 % |
42.51/42.61 c | 4320 | 4900 255997 1816599 | 85332 4295 10 | 0.508 % |
42.51/42.63 c | 4497 | 4900 255997 1816599 | 85332 4472 10 | 0.508 % |
42.51/42.67 c | 4690 | 4899 255997 1816599 | 85332 4664 10 | 0.528 % |
42.51/42.69 c | 4790 | 4898 255997 1816599 | 85332 4763 11 | 0.548 % |
42.61/42.71 c | 4900 | 4898 255997 1816599 | 85332 4873 11 | 0.548 % |
42.61/42.72 c | 5022 | 4898 255997 1816599 | 85332 4995 11 | 0.548 % |
42.61/42.75 c | 5155 | 4898 255997 1816599 | 85332 5128 11 | 0.548 % |
42.61/42.77 c | 5302 | 4898 255997 1816599 | 85332 5275 11 | 0.548 % |
42.61/42.80 c | 5462 | 4898 255997 1816599 | 85332 5435 11 | 0.548 % |
42.71/42.82 c | 5638 | 4898 255997 1816599 | 85332 5611 11 | 0.548 % |
42.71/42.84 c | 5832 | 4898 255997 1816599 | 85332 5805 11 | 0.548 % |
42.71/42.86 c | 6045 | 4897 255997 1816599 | 85332 6017 11 | 0.569 % |
42.71/42.90 c | 6146 | 4897 255997 1816599 | 85332 6118 11 | 0.569 % |
42.81/42.92 c | 6256 | 4897 255997 1816599 | 85332 6228 11 | 0.569 % |
42.81/42.93 c | 6378 | 4897 255997 1816599 | 85332 6350 11 | 0.569 % |
42.81/42.97 c | 6511 | 4897 255997 1816599 | 85332 6483 11 | 0.569 % |
42.81/42.98 c | 6657 | 4897 255997 1816599 | 85332 6629 11 | 0.569 % |
42.91/43.02 c | 6818 | 4897 255997 1816599 | 85332 6790 11 | 0.569 % |
42.91/43.05 c | 6995 | 4897 255997 1816599 | 85332 6967 11 | 0.569 % |
42.91/43.06 c | 7189 | 4897 255997 1816599 | 85332 7161 11 | 0.569 % |
42.91/43.09 c | 7402 | 4897 255997 1816599 | 85332 7374 11 | 0.569 % |
43.01/43.11 c | 7637 | 4897 255997 1816599 | 85332 7609 11 | 0.569 % |
43.01/43.15 c | 7739 | 4897 255997 1816599 | 85332 7711 11 | 0.569 % |
43.01/43.16 c | 7849 | 4897 255997 1816599 | 85332 7821 11 | 0.569 % |
43.01/43.19 c | 7971 | 4896 255997 1816599 | 85332 7942 11 | 0.589 % |
43.11/43.21 c | 8104 | 4896 255997 1816599 | 85332 8075 11 | 0.589 % |
43.11/43.23 c | 8250 | 4896 255997 1816599 | 85332 8221 11 | 0.589 % |
43.11/43.27 c | 8411 | 4895 255997 1816599 | 85332 8381 11 | 0.609 % |
43.11/43.30 c | 8587 | 4895 255997 1816599 | 85332 8557 11 | 0.609 % |
43.21/43.32 c | 8781 | 4895 255997 1816599 | 85332 8751 11 | 0.609 % |
43.21/43.35 c | 8993 | 4894 255997 1816599 | 85332 8962 11 | 0.629 % |
43.21/43.38 c | 9226 | 4894 255997 1816599 | 85332 9195 12 | 0.629 % |
43.30/43.41 c | 9482 | 4894 255997 1816599 | 85332 9451 12 | 0.629 % |
43.30/43.42 c | 9584 | 4894 255997 1816599 | 85332 9553 12 | 0.629 % |
43.30/43.43 c | 9694 | 4894 255997 1816599 | 85332 9663 12 | 0.629 % |
43.30/43.45 c | 9816 | 4893 255997 1816599 | 85332 9784 12 | 0.650 % |
43.30/43.46 c | 9949 | 4893 255997 1816599 | 85332 9917 12 | 0.650 % |
43.30/43.47 c | 10095 | 4893 255997 1816599 | 2147483647 10063 12 | 0.650 % |
43.30/43.50 c | 10255 | 4892 255997 1816599 | 2147483647 10222 12 | 0.670 % |
43.40/43.51 c | 10433 | 4892 255997 1816599 | 2147483647 10400 12 | 0.670 % |
43.40/43.55 c | 10627 | 4892 255997 1816599 | 2147483647 10594 12 | 0.670 % |
43.40/43.58 c | 10839 | 4892 255997 1816599 | 2147483647 10806 12 | 0.670 % |
43.51/43.63 c | 11074 | 4891 255997 1816599 | 2147483647 11040 12 | 0.690 % |
43.51/43.66 c | 11332 | 4891 255997 1816599 | 2147483647 11298 12 | 0.690 % |
43.51/43.70 c | 11613 | 4889 255997 1816599 | 2147483647 11577 12 | 0.731 % |
43.61/43.72 c | 11713 | 4889 255997 1816599 | 2147483647 11677 12 | 0.731 % |
43.61/43.72 c | 11825 | 4889 255997 1816599 | 2147483647 11789 12 | 0.731 % |
43.61/43.74 c | 11947 | 4889 255997 1816599 | 2147483647 11911 12 | 0.731 % |
43.61/43.77 c | 12081 | 4889 255997 1816599 | 2147483647 12045 11 | 0.731 % |
43.61/43.79 c | 12228 | 4889 255997 1816599 | 2147483647 12192 11 | 0.731 % |
43.71/43.82 c | 12389 | 4889 255997 1816599 | 2147483647 12353 12 | 0.731 % |
43.71/43.85 c | 12566 | 4889 255997 1816599 | 2147483647 12530 12 | 0.731 % |
43.71/43.89 c | 12761 | 4889 255997 1816599 | 2147483647 12725 12 | 0.731 % |
43.81/43.91 c | 12974 | 4889 255997 1816599 | 2147483647 12938 12 | 0.731 % |
43.81/43.96 c | 13208 | 4889 255997 1816599 | 2147483647 13172 12 | 0.731 % |
43.81/43.98 c | 13464 | 4889 255997 1816599 | 2147483647 13428 12 | 0.731 % |
43.91/44.01 c | 13745 | 4888 255997 1816599 | 2147483647 13708 12 | 0.751 % |
43.91/44.05 c | 14057 | 4888 255997 1816599 | 2147483647 14020 12 | 0.751 % |
43.91/44.07 c | 14157 | 4888 255997 1816599 | 2147483647 14120 12 | 0.751 % |
43.91/44.09 c | 14267 | 4888 255997 1816599 | 2147483647 14230 12 | 0.751 % |
44.01/44.11 c | 14388 | 4887 255997 1816599 | 2147483647 14350 12 | 0.772 % |
44.01/44.12 c | 14522 | 4887 255997 1816599 | 2147483647 14484 12 | 0.772 % |
44.01/44.14 c | 14669 | 4887 255997 1816599 | 2147483647 14631 12 | 0.772 % |
44.01/44.18 c | 14830 | 4887 255997 1816599 | 2147483647 14792 12 | 0.772 % |
44.01/44.19 c | 15006 | 4887 255997 1816599 | 2147483647 14968 12 | 0.772 % |
44.11/44.25 c | 15199 | 4887 255997 1816599 | 2147483647 15161 12 | 0.772 % |
44.11/44.28 c | 15412 | 4887 255997 1816599 | 2147483647 15374 12 | 0.772 % |
44.21/44.32 c | 15646 | 4887 255997 1816599 | 2147483647 15608 12 | 0.772 % |
44.21/44.35 c | 15902 | 4887 255997 1816599 | 2147483647 15864 12 | 0.772 % |
44.21/44.38 c | 16184 | 4887 255997 1816599 | 2147483647 16146 12 | 0.772 % |
44.31/44.42 c | 16494 | 4887 255997 1816599 | 2147483647 16456 12 | 0.772 % |
44.31/44.49 c | 16833 | 4887 255997 1816599 | 2147483647 16795 12 | 0.772 % |
44.41/44.51 c | 16933 | 4887 255997 1816599 | 2147483647 16895 12 | 0.772 % |
44.41/44.53 c | 17043 | 4887 255997 1816599 | 2147483647 17005 12 | 0.772 % |
44.41/44.55 c | 17164 | 4887 255997 1816599 | 2147483647 17126 12 | 0.772 % |
44.41/44.56 c | 17297 | 4887 255997 1816599 | 2147483647 17259 12 | 0.772 % |
44.41/44.59 c | 17445 | 4887 255997 1816599 | 2147483647 17407 12 | 0.772 % |
44.51/44.61 c | 17606 | 4887 255997 1816599 | 2147483647 17568 12 | 0.772 % |
44.51/44.64 c | 17783 | 4887 255997 1816599 | 2147483647 17745 12 | 0.772 % |
44.51/44.69 c | 17978 | 4887 255997 1816599 | 2147483647 17940 12 | 0.772 % |
44.61/44.70 c | 18193 | 4887 255997 1816599 | 2147483647 18155 12 | 0.772 % |
44.61/44.77 c | 18427 | 4887 255997 1816599 | 2147483647 18389 12 | 0.772 % |
44.61/44.79 c | 18683 | 4887 255997 1816599 | 2147483647 18645 12 | 0.772 % |
44.70/44.82 c | 18964 | 4887 255997 1816599 | 2147483647 18926 12 | 0.772 % |
44.70/44.87 c | 19273 | 4887 255997 1816599 | 2147483647 19235 12 | 0.772 % |
44.80/44.93 c | 19613 | 4887 255997 1816599 | 2147483647 19575 12 | 0.772 % |
44.90/45.01 c | 19985 | 4887 255997 1816599 | 2147483647 19947 12 | 0.772 % |
44.90/45.03 c | 20085 | 4887 255997 1816599 | 2147483647 20047 12 | 0.772 % |
44.90/45.04 c | 20196 | 4887 255997 1816599 | 2147483647 20158 12 | 0.772 % |
44.90/45.06 c | 20319 | 4887 255997 1816599 | 2147483647 20281 12 | 0.772 % |
44.90/45.08 c | 20452 | 4887 255997 1816599 | 2147483647 20414 12 | 0.772 % |
44.90/45.10 c | 20599 | 4887 255997 1816599 | 2147483647 20561 12 | 0.772 % |
45.00/45.13 c | 20759 | 4887 255997 1816599 | 2147483647 20721 12 | 0.772 % |
45.00/45.16 c | 20936 | 4887 255997 1816599 | 2147483647 20898 12 | 0.772 % |
45.00/45.18 c | 21129 | 4887 255997 1816599 | 2147483647 21091 12 | 0.772 % |
45.00/45.20 c | 21343 | 4887 255997 1816599 | 2147483647 21305 12 | 0.772 % |
45.10/45.21 c | 21576 | 4887 255997 1816599 | 2147483647 21538 12 | 0.772 % |
45.10/45.25 c | 21833 | 4887 255997 1816599 | 2147483647 21795 12 | 0.772 % |
45.20/45.30 c | 22114 | 4887 255997 1816599 | 2147483647 22076 12 | 0.772 % |
45.20/45.36 c | 22425 | 4887 255997 1816599 | 2147483647 22387 12 | 0.772 % |
45.30/45.41 c | 22764 | 4887 255997 1816599 | 2147483647 22726 12 | 0.772 % |
45.30/45.46 c | 23138 | 4887 255997 1816599 | 2147483647 23100 12 | 0.772 % |
45.40/45.50 c | 23549 | 4884 255997 1816599 | 2147483647 23508 12 | 0.832 % |
45.40/45.53 c | 23650 | 4884 255997 1816599 | 2147483647 23609 12 | 0.832 % |
45.40/45.56 c | 23762 | 4884 255997 1816599 | 2147483647 23721 12 | 0.832 % |
45.40/45.59 c | 23883 | 4884 255997 1816599 | 2147483647 23842 12 | 0.832 % |
45.51/45.62 c | 24016 | 4884 255997 1816599 | 2147483647 23975 12 | 0.832 % |
45.51/45.65 c | 24163 | 4884 255997 1816599 | 2147483647 24122 12 | 0.832 % |
45.51/45.66 c | 24324 | 4884 255997 1816599 | 2147483647 24283 12 | 0.832 % |
45.51/45.68 c | 24500 | 4884 255997 1816599 | 2147483647 24459 12 | 0.832 % |
45.61/45.70 c | 24696 | 4884 255997 1816599 | 2147483647 24655 12 | 0.832 % |
45.61/45.78 c | 24908 | 4884 255997 1816599 | 2147483647 24867 12 | 0.832 % |
45.71/45.81 c | 25141 | 4884 255997 1816599 | 2147483647 25100 12 | 0.832 % |
45.71/45.85 c | 25397 | 4884 255997 1816599 | 2147483647 25356 13 | 0.832 % |
45.81/45.91 c | 25681 | 4884 255997 1816599 | 2147483647 25640 13 | 0.832 % |
45.81/45.94 c | 25991 | 4884 255997 1816599 | 2147483647 25950 13 | 0.832 % |
45.91/46.00 c | 26330 | 4884 255997 1816599 | 2147483647 26289 13 | 0.832 % |
45.91/46.07 c | 26704 | 4884 255997 1816599 | 2147483647 26663 13 | 0.832 % |
46.01/46.16 c | 27113 | 4884 255997 1816599 | 2147483647 27072 13 | 0.832 % |
46.11/46.21 c | 27562 | 4884 255997 1816599 | 2147483647 27521 13 | 0.832 % |
46.11/46.25 c | 27663 | 4884 255997 1816599 | 2147483647 27622 13 | 0.832 % |
46.11/46.28 c | 27774 | 4884 255997 1816599 | 2147483647 27733 13 | 0.832 % |
46.20/46.30 c | 27896 | 4884 255997 1816599 | 2147483647 27855 13 | 0.832 % |
46.20/46.32 c | 28030 | 4884 255997 1816599 | 2147483647 27989 13 | 0.832 % |
46.20/46.36 c | 28178 | 4884 255997 1816599 | 2147483647 28137 13 | 0.832 % |
46.20/46.38 c | 28338 | 4884 255997 1816599 | 2147483647 28297 13 | 0.832 % |
46.30/46.40 c | 28514 | 4884 255997 1816599 | 2147483647 28473 13 | 0.832 % |
46.30/46.43 c | 28707 | 4884 255997 1816599 | 2147483647 28666 13 | 0.832 % |
46.30/46.47 c | 28919 | 4884 255997 1816599 | 2147483647 28878 13 | 0.832 % |
46.40/46.53 c | 29152 | 4884 255997 1816599 | 2147483647 29111 13 | 0.832 % |
46.40/46.59 c | 29409 | 4884 255997 1816599 | 2147483647 29368 13 | 0.832 % |
46.50/46.63 c | 29691 | 4884 255997 1816599 | 2147483647 29650 13 | 0.832 % |
46.50/46.69 c | 30002 | 4884 255997 1816599 | 2147483647 29961 13 | 0.832 % |
46.60/46.76 c | 30341 | 4884 255997 1816599 | 2147483647 30300 13 | 0.832 % |
46.70/46.85 c | 30714 | 4884 255997 1816599 | 2147483647 30673 13 | 0.832 % |
46.80/46.90 c | 31123 | 4884 255997 1816599 | 2147483647 31082 13 | 0.832 % |
46.80/46.96 c | 31575 | 4884 255997 1816599 | 2147483647 31534 13 | 0.832 % |
46.90/47.04 c | 32068 | 4884 255997 1816599 | 2147483647 32027 13 | 0.832 % |
46.90/47.06 c | 32169 | 4884 255997 1816599 | 2147483647 32128 13 | 0.832 % |
46.90/47.07 c | 32280 | 4884 255997 1816599 | 2147483647 32239 13 | 0.832 % |
46.90/47.09 c | 32404 | 4884 255997 1816599 | 2147483647 32363 13 | 0.832 % |
47.00/47.11 c | 32539 | 4884 255997 1816599 | 2147483647 32498 13 | 0.832 % |
47.00/47.13 c | 32685 | 4884 255997 1816599 | 2147483647 32644 13 | 0.832 % |
47.00/47.16 c | 32845 | 4884 255997 1816599 | 2147483647 32804 13 | 0.832 % |
47.10/47.21 c | 33022 | 4884 255997 1816599 | 2147483647 32981 13 | 0.832 % |
47.10/47.23 c | 33216 | 4883 255997 1816599 | 2147483647 33174 13 | 0.853 % |
47.10/47.29 c | 33428 | 4883 255997 1816599 | 2147483647 33386 13 | 0.853 % |
47.20/47.32 c | 33663 | 4883 255997 1816599 | 2147483647 33621 13 | 0.853 % |
47.20/47.34 c | 33921 | 4883 255997 1816599 | 2147483647 33879 13 | 0.853 % |
47.20/47.36 c | 34203 | 4883 255997 1816599 | 2147483647 34161 13 | 0.853 % |
47.20/47.39 c | 34513 | 4883 255997 1816599 | 2147483647 34471 13 | 0.853 % |
47.29/47.47 c | 34852 | 4883 255997 1816599 | 2147483647 34810 13 | 0.853 % |
47.39/47.51 c | 35225 | 4883 255997 1816599 | 2147483647 35183 13 | 0.853 % |
47.39/47.57 c | 35634 | 4883 255997 1816599 | 2147483647 35592 13 | 0.853 % |
47.59/47.71 c | 36083 | 4883 255997 1816599 | 2147483647 36041 13 | 0.853 % |
47.59/47.80 c | 36577 | 4883 255651 1814873 | 2147483647 36529 13 | 0.853 % |
47.69/47.85 c | 37119 | 4883 255651 1814873 | 2147483647 37071 13 | 0.853 % |
47.69/47.87 c | 37219 | 4883 255651 1814873 | 2147483647 37171 13 | 0.853 % |
47.69/47.88 c | 37329 | 4883 255651 1814873 | 2147483647 37281 13 | 0.853 % |
47.79/47.91 c | 37450 | 4883 255651 1814873 | 2147483647 37402 13 | 0.853 % |
47.79/47.93 c | 37584 | 4883 255651 1814873 | 2147483647 37536 13 | 0.853 % |
47.79/47.97 c | 37731 | 4883 255651 1814873 | 2147483647 37683 13 | 0.853 % |
47.79/48.00 c | 37894 | 4883 255651 1814873 | 2147483647 37846 13 | 0.853 % |
47.89/48.02 c | 38072 | 4883 255651 1814873 | 2147483647 38024 13 | 0.853 % |
47.89/48.06 c | 38266 | 4883 255651 1814873 | 2147483647 38218 13 | 0.853 % |
47.99/48.11 c | 38478 | 4883 255651 1814873 | 2147483647 38430 13 | 0.853 % |
47.99/48.14 c | 38711 | 4883 255651 1814873 | 2147483647 38663 13 | 0.853 % |
48.09/48.21 c | 38968 | 4883 255651 1814873 | 2147483647 38920 13 | 0.853 % |
48.09/48.24 c | 39252 | 4883 255651 1814873 | 2147483647 39204 13 | 0.853 % |
48.09/48.29 c | 39561 | 4883 255651 1814873 | 2147483647 39513 13 | 0.853 % |
48.19/48.37 c | 39900 | 4883 255651 1814873 | 2147483647 39852 13 | 0.853 % |
48.29/48.43 c | 40272 | 4883 255651 1814873 | 2147483647 40224 13 | 0.853 % |
48.29/48.48 c | 40681 | 4883 255651 1814873 | 2147483647 40633 13 | 0.853 % |
48.39/48.54 c | 41132 | 4883 255651 1814873 | 2147483647 41084 13 | 0.853 % |
48.49/48.66 c | 41625 | 4883 255651 1814873 | 2147483647 41577 13 | 0.853 % |
48.59/48.74 c | 42168 | 4883 255651 1814873 | 2147483647 42120 13 | 0.853 % |
48.69/48.80 c | 42765 | 4883 255651 1814873 | 2147483647 42717 13 | 0.853 % |
48.69/48.81 c | 42865 | 4883 255651 1814873 | 2147483647 42817 13 | 0.853 % |
48.69/48.84 c | 42977 | 4883 255651 1814873 | 2147483647 42929 13 | 0.853 % |
48.69/48.85 c | 43099 | 4883 255651 1814873 | 2147483647 43051 13 | 0.853 % |
48.69/48.87 c | 43232 | 4883 255651 1814873 | 2147483647 43184 13 | 0.853 % |
48.78/48.90 c | 43379 | 4883 255651 1814873 | 2147483647 43331 13 | 0.853 % |
48.78/48.93 c | 43540 | 4883 255651 1814873 | 2147483647 43492 13 | 0.853 % |
48.78/48.97 c | 43716 | 4883 255651 1814873 | 2147483647 43668 13 | 0.853 % |
48.88/49.03 c | 43910 | 4883 255651 1814873 | 2147483647 43862 13 | 0.853 % |
48.88/49.06 c | 44123 | 4883 255651 1814873 | 2147483647 44075 13 | 0.853 % |
48.88/49.09 c | 44359 | 4883 255651 1814873 | 2147483647 44311 13 | 0.853 % |
48.98/49.15 c | 44615 | 4882 255651 1814873 | 2147483647 44566 13 | 0.873 % |
48.98/49.19 c | 44897 | 4882 255651 1814873 | 2147483647 44848 13 | 0.873 % |
49.08/49.22 c | 45206 | 4882 255651 1814873 | 2147483647 45157 13 | 0.873 % |
49.18/49.30 c | 45546 | 4882 255651 1814873 | 2147483647 45497 13 | 0.873 % |
49.18/49.36 c | 45918 | 4882 255651 1814873 | 2147483647 45869 13 | 0.873 % |
49.29/49.43 c | 46328 | 4882 255651 1814873 | 2147483647 46279 13 | 0.873 % |
49.29/49.47 c | 46778 | 4882 255651 1814873 | 2147483647 46729 13 | 0.873 % |
49.39/49.54 c | 47271 | 4882 255651 1814873 | 2147483647 47222 13 | 0.873 % |
49.39/49.59 c | 47813 | 4882 255651 1814873 | 2147483647 47764 13 | 0.873 % |
49.48/49.65 c | 48409 | 4882 255651 1814873 | 2147483647 48360 13 | 0.873 % |
49.58/49.77 c | 49064 | 4882 255651 1814873 | 2147483647 49015 13 | 0.873 % |
49.58/49.78 c | 49165 | 4882 255651 1814873 | 2147483647 49116 13 | 0.873 % |
49.68/49.81 c | 49277 | 4882 255651 1814873 | 2147483647 49228 13 | 0.873 % |
49.68/49.85 c | 49399 | 4882 255651 1814873 | 2147483647 49350 13 | 0.873 % |
49.68/49.86 c | 49533 | 4882 255651 1814873 | 2147483647 49484 13 | 0.873 % |
49.68/49.89 c | 49680 | 4882 255651 1814873 | 2147483647 49631 13 | 0.873 % |
49.79/49.91 c | 49840 | 4882 255651 1814873 | 2147483647 49791 13 | 0.873 % |
49.79/49.95 c | 50017 | 4882 255651 1814873 | 2147483647 49968 13 | 0.873 % |
49.89/50.01 c | 50211 | 4882 255651 1814873 | 2147483647 50162 13 | 0.873 % |
49.89/50.05 c | 50423 | 4882 255651 1814873 | 2147483647 50374 14 | 0.873 % |
49.89/50.08 c | 50656 | 4882 255651 1814873 | 2147483647 50607 14 | 0.873 % |
49.99/50.14 c | 50915 | 4882 255651 1814873 | 2147483647 50866 13 | 0.873 % |
49.99/50.18 c | 51198 | 4882 255651 1814873 | 2147483647 51149 13 | 0.873 % |
50.09/50.24 c | 51507 | 4882 255651 1814873 | 2147483647 51458 14 | 0.873 % |
50.19/50.32 c | 51846 | 4882 255651 1814873 | 2147483647 51797 14 | 0.873 % |
50.19/50.38 c | 52219 | 4882 255651 1814873 | 2147483647 52170 13 | 0.873 % |
50.29/50.48 c | 52628 | 4882 255651 1814873 | 2147483647 52579 14 | 0.873 % |
50.40/50.54 c | 53078 | 4882 255651 1814873 | 2147483647 53029 14 | 0.873 % |
50.50/50.63 c | 53573 | 4882 255651 1814873 | 2147483647 53524 14 | 0.873 % |
50.50/50.69 c | 54117 | 4882 255651 1814873 | 2147483647 54068 14 | 0.873 % |
50.59/50.77 c | 54713 | 4882 255651 1814873 | 2147483647 54664 14 | 0.873 % |
50.79/50.97 c | 55368 | 4882 255651 1814873 | 2147483647 55319 14 | 0.873 % |
50.89/51.04 c | 56090 | 4882 255651 1814873 | 2147483647 56041 14 | 0.873 % |
50.89/51.06 c | 56190 | 4882 255651 1814873 | 2147483647 56141 14 | 0.873 % |
50.89/51.08 c | 56301 | 4882 255651 1814873 | 2147483647 56252 14 | 0.873 % |
50.89/51.09 c | 56422 | 4882 255651 1814873 | 2147483647 56373 14 | 0.873 % |
50.99/51.11 c | 56557 | 4882 255651 1814873 | 2147483647 56508 14 | 0.873 % |
50.99/51.14 c | 56703 | 4882 255651 1814873 | 2147483647 56654 14 | 0.873 % |
50.99/51.19 c | 56863 | 4882 255651 1814873 | 2147483647 56814 14 | 0.873 % |
51.09/51.21 c | 57040 | 4882 255651 1814873 | 2147483647 56991 14 | 0.873 % |
51.09/51.25 c | 57233 | 4882 255651 1814873 | 2147483647 57184 14 | 0.873 % |
51.09/51.28 c | 57446 | 4882 255651 1814873 | 2147483647 57397 14 | 0.873 % |
51.19/51.33 c | 57680 | 4882 255651 1814873 | 2147483647 57631 14 | 0.873 % |
51.19/51.39 c | 57936 | 4882 255651 1814873 | 2147483647 57887 14 | 0.873 % |
51.29/51.46 c | 58217 | 4882 255651 1814873 | 2147483647 58168 14 | 0.873 % |
51.29/51.49 c | 58527 | 4882 255651 1814873 | 2147483647 58478 14 | 0.873 % |
51.39/51.60 c | 58866 | 4882 255651 1814873 | 2147483647 58817 14 | 0.873 % |
51.49/51.64 c | 59238 | 4882 255651 1814873 | 2147483647 59189 14 | 0.873 % |
51.59/51.72 c | 59648 | 4882 255651 1814873 | 2147483647 59599 14 | 0.873 % |
51.69/51.80 c | 60098 | 4882 255651 1814873 | 2147483647 60049 14 | 0.873 % |
51.69/51.86 c | 60591 | 4882 255651 1814873 | 2147483647 60542 14 | 0.873 % |
51.79/51.96 c | 61133 | 4882 255651 1814873 | 2147483647 61084 14 | 0.873 % |
51.89/52.05 c | 61730 | 4882 255651 1814873 | 2147483647 61681 14 | 0.873 % |
51.99/52.19 c | 62385 | 4882 255651 1814873 | 2147483647 62336 14 | 0.873 % |
52.19/52.30 c | 63106 | 4882 255651 1814873 | 2147483647 63057 14 | 0.873 % |
52.39/52.54 c | 63899 | 4882 255651 1814873 | 2147483647 63850 14 | 0.873 % |
52.39/52.56 c | 63999 | 4882 255651 1814873 | 2147483647 63950 14 | 0.873 % |
52.39/52.59 c | 64111 | 4882 255651 1814873 | 2147483647 64062 14 | 0.873 % |
52.49/52.64 c | 64232 | 4882 255651 1814873 | 2147483647 64183 14 | 0.873 % |
52.49/52.66 c | 64365 | 4882 255651 1814873 | 2147483647 64316 14 | 0.873 % |
52.49/52.68 c | 64511 | 4882 255651 1814873 | 2147483647 64462 14 | 0.873 % |
52.59/52.72 c | 64671 | 4882 255651 1814873 | 2147483647 64622 14 | 0.873 % |
52.59/52.77 c | 64848 | 4882 255651 1814873 | 2147483647 64799 14 | 0.873 % |
52.59/52.79 c | 65041 | 4882 255651 1814873 | 2147483647 64992 14 | 0.873 % |
52.69/52.82 c | 65254 | 4882 255651 1814873 | 2147483647 65205 14 | 0.873 % |
52.69/52.87 c | 65488 | 4882 255651 1814873 | 2147483647 65439 14 | 0.873 % |
52.69/52.89 c | 65744 | 4882 255651 1814873 | 2147483647 65695 14 | 0.873 % |
52.78/52.95 c | 66025 | 4882 255651 1814873 | 2147483647 65976 14 | 0.873 % |
52.78/52.99 c | 66334 | 4882 255651 1814873 | 2147483647 66285 14 | 0.873 % |
52.98/53.11 c | 66675 | 4882 255651 1814873 | 2147483647 66626 14 | 0.873 % |
52.98/53.16 c | 67048 | 4882 255651 1814873 | 2147483647 66999 14 | 0.873 % |
53.08/53.22 c | 67457 | 4882 255651 1814873 | 2147483647 67408 14 | 0.873 % |
53.18/53.35 c | 67906 | 4882 255651 1814873 | 2147483647 67857 14 | 0.873 % |
53.28/53.40 c | 68399 | 4882 255651 1814873 | 2147483647 68350 14 | 0.873 % |
53.38/53.54 c | 68942 | 4882 255651 1814873 | 2147483647 68893 14 | 0.873 % |
53.38/53.60 c | 69539 | 4882 255651 1814873 | 2147483647 69490 14 | 0.873 % |
53.48/53.69 c | 70194 | 4881 255651 1814873 | 2147483647 70144 14 | 0.893 % |
53.58/53.75 c | 70914 | 4881 255651 1814873 | 2147483647 70864 14 | 0.893 % |
53.68/53.88 c | 71706 | 4880 255651 1814873 | 2147483647 71655 14 | 0.914 % |
53.88/54.05 c | 72577 | 4879 255651 1814873 | 2147483647 72525 14 | 0.934 % |
53.88/54.08 c | 72677 | 4879 255651 1814873 | 2147483647 72625 14 | 0.934 % |
53.88/54.09 c | 72788 | 4879 255651 1814873 | 2147483647 72736 14 | 0.934 % |
53.98/54.11 c | 72910 | 4879 255651 1814873 | 2147483647 72858 14 | 0.934 % |
53.98/54.13 c | 73043 | 4879 255651 1814873 | 2147483647 72991 14 | 0.934 % |
53.98/54.15 c | 73189 | 4879 255651 1814873 | 2147483647 73137 14 | 0.934 % |
53.98/54.17 c | 73350 | 4879 255651 1814873 | 2147483647 73298 14 | 0.934 % |
54.08/54.21 c | 73526 | 4879 255651 1814873 | 2147483647 73474 14 | 0.934 % |
54.08/54.27 c | 73722 | 4879 255651 1814873 | 2147483647 73670 14 | 0.934 % |
54.18/54.30 c | 73934 | 4879 255651 1814873 | 2147483647 73882 14 | 0.934 % |
54.18/54.37 c | 74167 | 4879 255651 1814873 | 2147483647 74115 14 | 0.934 % |
54.18/54.39 c | 74423 | 4879 255651 1814873 | 2147483647 74371 14 | 0.934 % |
54.28/54.47 c | 74704 | 4879 255651 1814873 | 2147483647 74652 14 | 0.934 % |
54.38/54.51 c | 75014 | 4879 255651 1814873 | 2147483647 74962 14 | 0.934 % |
54.38/54.56 c | 75353 | 4879 255651 1814873 | 2147483647 75301 14 | 0.934 % |
54.48/54.64 c | 75726 | 4879 255651 1814873 | 2147483647 75674 14 | 0.934 % |
54.58/54.70 c | 76135 | 4879 255651 1814873 | 2147483647 76083 14 | 0.934 % |
54.58/54.77 c | 76584 | 4879 255651 1814873 | 2147483647 76532 14 | 0.934 % |
54.68/54.90 c | 77078 | 4879 255651 1814873 | 2147483647 77026 14 | 0.934 % |
54.78/55.00 c | 77620 | 4879 255651 1814873 | 2147483647 77568 15 | 0.934 % |
54.97/55.10 c | 78216 | 4879 255651 1814873 | 2147483647 78164 15 | 0.934 % |
55.07/55.25 c | 78871 | 4879 255651 1814873 | 2147483647 78819 15 | 0.934 % |
55.27/55.47 c | 79591 | 4879 255651 1814873 | 2147483647 79539 15 | 0.934 % |
55.38/55.56 c | 80384 | 4879 255651 1814873 | 2147483647 80332 15 | 0.934 % |
55.48/55.69 c | 81255 | 4879 255651 1814873 | 2147483647 81203 15 | 0.934 % |
55.89/56.09 c | 82213 | 4879 255651 1814873 | 2147483647 82161 15 | 0.934 % |
55.99/56.11 c | 82316 | 4879 255651 1814873 | 2147483647 82264 15 | 0.934 % |
55.99/56.14 c | 82427 | 4879 255651 1814873 | 2147483647 82375 15 | 0.934 % |
55.99/56.17 c | 82549 | 4879 255651 1814873 | 2147483647 82497 15 | 0.934 % |
56.08/56.22 c | 82684 | 4879 255651 1814873 | 2147483647 82632 15 | 0.934 % |
56.08/56.25 c | 82831 | 4879 255651 1814873 | 2147483647 82779 15 | 0.934 % |
56.18/56.31 c | 82991 | 4879 255651 1814873 | 2147483647 82939 15 | 0.934 % |
56.18/56.39 c | 83167 | 4879 255603 1814749 | 2147483647 83110 15 | 0.934 % |
56.28/56.43 c | 83361 | 4879 255603 1814749 | 2147483647 83304 15 | 0.934 % |
56.38/56.52 c | 83574 | 4879 255603 1814749 | 2147483647 83517 15 | 0.934 % |
56.38/56.59 c | 83807 | 4879 255603 1814749 | 2147483647 83750 15 | 0.934 % |
56.48/56.63 c | 84063 | 4879 255603 1814749 | 2147483647 84006 15 | 0.934 % |
56.58/56.72 c | 84346 | 4879 255603 1814749 | 2147483647 84289 15 | 0.934 % |
56.58/56.75 c | 84656 | 4879 255603 1814749 | 2147483647 84599 15 | 0.934 % |
56.58/56.79 c | 84995 | 4879 255603 1814749 | 2147483647 84938 15 | 0.934 % |
56.68/56.84 c | 85367 | 4879 255603 1814749 | 2147483647 85310 15 | 0.934 % |
56.78/56.93 c | 85778 | 4879 255603 1814749 | 2147483647 85721 15 | 0.934 % |
56.88/57.03 c | 86228 | 4879 255603 1814749 | 2147483647 86171 15 | 0.934 % |
56.98/57.14 c | 86722 | 4879 255603 1814749 | 2147483647 86665 15 | 0.934 % |
57.08/57.25 c | 87266 | 4879 255603 1814749 | 2147483647 87209 15 | 0.934 % |
57.18/57.34 c | 87862 | 4879 255603 1814749 | 2147483647 87805 15 | 0.934 % |
57.28/57.48 c | 88517 | 4879 255603 1814749 | 2147483647 88460 15 | 0.934 % |
57.48/57.62 c | 89238 | 4879 255603 1814749 | 2147483647 89181 15 | 0.934 % |
57.48/57.69 c | 90030 | 4879 255603 1814749 | 2147483647 89973 15 | 0.934 % |
57.58/57.79 c | 90901 | 4879 255603 1814749 | 2147483647 90844 15 | 0.934 % |
57.78/57.97 c | 91859 | 4879 255603 1814749 | 2147483647 91802 15 | 0.934 % |
57.98/58.17 c | 92912 | 4879 255603 1814749 | 2147483647 92855 15 | 0.934 % |
57.98/58.19 c | 93013 | 4879 255603 1814749 | 2147483647 92956 15 | 0.934 % |
57.98/58.20 c | 93124 | 4879 255603 1814749 | 2147483647 93067 15 | 0.934 % |
58.08/58.23 c | 93245 | 4879 255603 1814749 | 2147483647 93188 15 | 0.934 % |
58.08/58.26 c | 93378 | 4879 255603 1814749 | 2147483647 93321 15 | 0.934 % |
58.08/58.30 c | 93524 | 4879 255603 1814749 | 2147483647 93467 15 | 0.934 % |
58.18/58.33 c | 93685 | 4879 255603 1814749 | 2147483647 93628 15 | 0.934 % |
58.18/58.39 c | 93862 | 4879 255603 1814749 | 2147483647 93805 15 | 0.934 % |
58.27/58.43 c | 94057 | 4879 255603 1814749 | 2147483647 94000 15 | 0.934 % |
58.37/58.51 c | 94269 | 4879 255603 1814749 | 2147483647 94212 15 | 0.934 % |
58.37/58.55 c | 94503 | 4879 255603 1814749 | 2147483647 94446 15 | 0.934 % |
58.37/58.59 c | 94760 | 4879 255603 1814749 | 2147483647 94703 15 | 0.934 % |
58.47/58.65 c | 95042 | 4879 255603 1814749 | 2147483647 94985 15 | 0.934 % |
58.57/58.76 c | 95351 | 4879 255603 1814749 | 2147483647 95294 15 | 0.934 % |
58.67/58.83 c | 95691 | 4879 255603 1814749 | 2147483647 95634 15 | 0.934 % |
58.97/59.10 c | 96063 | 4879 255603 1814749 | 2147483647 96006 15 | 0.934 % |
58.97/59.17 c | 96473 | 4879 255603 1814749 | 2147483647 96416 15 | 0.934 % |
59.28/59.44 c | 96925 | 4879 255603 1814749 | 2147483647 96868 15 | 0.934 % |
59.37/59.52 c | 97419 | 4879 255603 1814749 | 2147483647 97362 15 | 0.934 % |
59.57/59.79 c | 97961 | 4879 255603 1814749 | 2147483647 97904 15 | 0.934 % |
59.67/59.89 c | 98557 | 4879 255603 1814749 | 2147483647 98500 15 | 0.934 % |
59.77/59.97 c | 99213 | 4879 255603 1814749 | 2147483647 99156 15 | 0.934 % |
59.97/60.16 c | 99933 | 4879 255603 1814749 | 2147483647 99876 15 | 0.934 % |
60.07/60.25 c | 100725 | 4879 255603 1814749 | 2147483647 100668 15 | 0.934 % |
60.27/60.47 c | 101596 | 4879 255603 1814749 | 2147483647 101539 15 | 0.934 % |
60.57/60.76 c | 102554 | 4879 255603 1814749 | 2147483647 102497 15 | 0.934 % |
60.67/60.85 c | 103607 | 4879 255603 1814749 | 2147483647 103550 15 | 0.934 % |
61.37/61.52 c | 104766 | 4879 255603 1814749 | 2147483647 104709 15 | 0.934 % |
61.37/61.54 c | 104866 | 4879 255603 1814749 | 2147483647 104809 15 | 0.934 % |
61.47/61.60 c | 104976 | 4879 255603 1814749 | 2147483647 104919 15 | 0.934 % |
61.47/61.64 c | 105097 | 4879 255603 1814749 | 2147483647 105040 15 | 0.934 % |
61.47/61.67 c | 105232 | 4879 255603 1814749 | 2147483647 105175 15 | 0.934 % |
61.56/61.70 c | 105379 | 4879 255603 1814749 | 2147483647 105322 15 | 0.934 % |
61.56/61.72 c | 105540 | 4879 255603 1814749 | 2147483647 105483 15 | 0.934 % |
61.56/61.77 c | 105717 | 4879 255603 1814749 | 2147483647 105660 15 | 0.934 % |
61.66/61.81 c | 105910 | 4879 255603 1814749 | 2147483647 105853 15 | 0.934 % |
61.76/61.90 c | 106123 | 4879 255603 1814749 | 2147483647 106066 15 | 0.934 % |
61.76/61.96 c | 106356 | 4879 255603 1814749 | 2147483647 106299 15 | 0.934 % |
61.86/62.02 c | 106614 | 4879 255603 1814749 | 2147483647 106557 15 | 0.934 % |
61.86/62.06 c | 106896 | 4879 255603 1814749 | 2147483647 106839 15 | 0.934 % |
61.96/62.19 c | 107205 | 4879 255603 1814749 | 2147483647 107148 15 | 0.934 % |
62.06/62.23 c | 107544 | 4879 255603 1814749 | 2147483647 107487 15 | 0.934 % |
62.17/62.35 c | 107916 | 4879 255603 1814749 | 2147483647 107859 15 | 0.934 % |
62.27/62.41 c | 108326 | 4879 255603 1814749 | 2147483647 108269 15 | 0.934 % |
62.37/62.52 c | 108777 | 4879 255603 1814749 | 2147483647 108720 15 | 0.934 % |
62.48/62.63 c | 109272 | 4879 255603 1814749 | 2147483647 109215 15 | 0.934 % |
62.67/62.81 c | 109814 | 4879 255603 1814749 | 2147483647 109757 15 | 0.934 % |
62.67/62.88 c | 110410 | 4879 255603 1814749 | 2147483647 110353 15 | 0.934 % |
62.77/62.98 c | 111065 | 4879 255603 1814749 | 2147483647 111008 15 | 0.934 % |
63.07/63.23 c | 111785 | 4879 255603 1814749 | 2147483647 111728 15 | 0.934 % |
63.17/63.32 c | 112577 | 4879 255603 1814749 | 2147483647 112520 16 | 0.934 % |
63.37/63.54 c | 113448 | 4879 255603 1814749 | 2147483647 113391 16 | 0.934 % |
63.57/63.72 c | 114406 | 4879 255603 1814749 | 2147483647 114349 16 | 0.934 % |
63.77/63.93 c | 115460 | 4879 255603 1814749 | 2147483647 115403 16 | 0.934 % |
63.97/64.12 c | 116619 | 4879 255603 1814749 | 2147483647 116562 16 | 0.934 % |
64.07/64.29 c | 117893 | 4879 255603 1814749 | 2147483647 117836 16 | 0.934 % |
64.17/64.32 c | 117993 | 4879 255603 1814749 | 2147483647 117936 16 | 0.934 % |
64.17/64.36 c | 118103 | 4878 255603 1814749 | 2147483647 118045 16 | 0.954 % |
64.17/64.39 c | 118225 | 4878 255603 1814749 | 2147483647 118167 16 | 0.954 % |
64.27/64.42 c | 118358 | 4878 255603 1814749 | 2147483647 118300 16 | 0.954 % |
64.37/64.50 c | 118504 | 4878 255603 1814749 | 2147483647 118446 16 | 0.954 % |
64.37/64.56 c | 118664 | 4878 255603 1814749 | 2147483647 118606 16 | 0.954 % |
64.37/64.59 c | 118840 | 4878 255603 1814749 | 2147483647 118782 16 | 0.954 % |
64.47/64.66 c | 119033 | 4878 255603 1814749 | 2147483647 118975 16 | 0.954 % |
64.47/64.68 c | 119246 | 4878 255603 1814749 | 2147483647 119188 16 | 0.954 % |
64.57/64.73 c | 119479 | 4878 255603 1814749 | 2147483647 119421 16 | 0.954 % |
64.57/64.77 c | 119736 | 4878 255603 1814749 | 2147483647 119678 16 | 0.954 % |
64.67/64.82 c | 120018 | 4878 255603 1814749 | 2147483647 119960 16 | 0.954 % |
64.77/64.93 c | 120328 | 4878 255603 1814749 | 2147483647 120270 16 | 0.954 % |
64.87/65.03 c | 120667 | 4878 255603 1814749 | 2147483647 120609 16 | 0.954 % |
64.87/65.08 c | 121039 | 4878 255603 1814749 | 2147483647 120981 16 | 0.954 % |
64.97/65.18 c | 121449 | 4878 255603 1814749 | 2147483647 121391 16 | 0.954 % |
65.07/65.26 c | 121898 | 4878 255603 1814749 | 2147483647 121840 16 | 0.954 % |
65.17/65.39 c | 122391 | 4878 255603 1814749 | 2147483647 122333 16 | 0.954 % |
65.27/65.45 c | 122934 | 4878 255603 1814749 | 2147483647 122876 16 | 0.954 % |
65.47/65.61 c | 123530 | 4878 255603 1814749 | 2147483647 123472 16 | 0.954 % |
65.67/65.89 c | 124185 | 4878 255603 1814749 | 2147483647 124127 16 | 0.954 % |
65.87/66.03 c | 124905 | 4878 255603 1814749 | 2147483647 124847 16 | 0.954 % |
66.17/66.31 c | 125698 | 4878 255603 1814749 | 2147483647 125640 16 | 0.954 % |
66.37/66.52 c | 126570 | 4878 255603 1814749 | 2147483647 126512 16 | 0.954 % |
66.46/66.65 c | 127528 | 4878 255603 1814749 | 2147483647 127470 16 | 0.954 % |
67.06/67.22 c | 128581 | 4878 255603 1814749 | 2147483647 128523 16 | 0.954 % |
67.16/67.38 c | 129739 | 4878 255603 1814749 | 2147483647 129681 16 | 0.954 % |
67.76/67.93 c | 131012 | 4878 255603 1814749 | 2147483647 130954 16 | 0.954 % |
68.26/68.41 c | 132412 | 4878 255603 1814749 | 2147483647 132354 16 | 0.954 % |
68.26/68.44 c | 132514 | 4878 255603 1814749 | 2147483647 132456 16 | 0.954 % |
68.26/68.46 c | 132625 | 4878 255603 1814749 | 2147483647 132567 16 | 0.954 % |
68.26/68.48 c | 132746 | 4878 255603 1814749 | 2147483647 132688 16 | 0.954 % |
68.36/68.55 c | 132880 | 4878 255603 1814749 | 2147483647 132822 16 | 0.954 % |
68.36/68.58 c | 133026 | 4878 255603 1814749 | 2147483647 132968 16 | 0.954 % |
68.46/68.67 c | 133186 | 4878 255603 1814749 | 2147483647 133128 16 | 0.954 % |
68.56/68.70 c | 133363 | 4878 255603 1814749 | 2147483647 133305 16 | 0.954 % |
68.56/68.73 c | 133556 | 4878 255603 1814749 | 2147483647 133498 16 | 0.954 % |
68.66/68.83 c | 133768 | 4878 255603 1814749 | 2147483647 133710 16 | 0.954 % |
68.66/68.86 c | 134002 | 4878 255603 1814749 | 2147483647 133944 16 | 0.954 % |
68.86/69.03 c | 134259 | 4878 255603 1814749 | 2147483647 134201 16 | 0.954 % |
68.96/69.14 c | 134540 | 4878 255591 1814718 | 2147483647 134482 16 | 0.954 % |
68.96/69.20 c | 134850 | 4878 255591 1814718 | 2147483647 134792 16 | 0.954 % |
69.06/69.28 c | 135189 | 4878 255591 1814718 | 2147483647 135131 16 | 0.954 % |
69.16/69.34 c | 135561 | 4878 255591 1814718 | 2147483647 135503 16 | 0.954 % |
69.36/69.52 c | 135970 | 4878 255591 1814718 | 2147483647 135912 16 | 0.954 % |
69.46/69.61 c | 136419 | 4878 255591 1814718 | 2147483647 136361 16 | 0.954 % |
69.46/69.70 c | 136913 | 4878 255591 1814718 | 2147483647 136855 16 | 0.954 % |
69.56/69.79 c | 137457 | 4878 255591 1814718 | 2147483647 137399 16 | 0.954 % |
69.86/70.01 c | 138054 | 4878 255591 1814718 | 2147483647 137996 16 | 0.954 % |
69.96/70.17 c | 138709 | 4878 255591 1814718 | 2147483647 138651 16 | 0.954 % |
70.16/70.31 c | 139429 | 4878 255591 1814718 | 2147483647 139371 16 | 0.954 % |
70.36/70.58 c | 140223 | 4878 255591 1814718 | 2147483647 140165 16 | 0.954 % |
70.76/70.90 c | 141095 | 4878 255591 1814718 | 2147483647 141037 16 | 0.954 % |
71.06/71.20 c | 142054 | 4877 255591 1814718 | 2147483647 141995 16 | 0.975 % |
71.26/71.45 c | 143107 | 4877 255591 1814718 | 2147483647 143048 16 | 0.975 % |
71.46/71.60 c | 144266 | 4876 255591 1814718 | 2147483647 144206 16 | 0.995 % |
71.66/71.86 c | 145540 | 4875 255591 1814718 | 2147483647 145479 16 | 1.015 % |
72.16/72.31 c | 146940 | 4875 255591 1814718 | 2147483647 146879 16 | 1.015 % |
72.55/72.73 c | 148480 | 4875 255591 1814718 | 2147483647 148419 16 | 1.015 % |
72.55/72.78 c | 148582 | 4875 255591 1814718 | 2147483647 148521 16 | 1.015 % |
72.65/72.82 c | 148692 | 4875 255591 1814718 | 2147483647 148631 16 | 1.015 % |
72.75/72.93 c | 148813 | 4875 255591 1814718 | 2147483647 148752 16 | 1.015 % |
72.75/72.96 c | 148946 | 4875 255591 1814718 | 2147483647 148885 16 | 1.015 % |
72.75/72.99 c | 149092 | 4875 255591 1814718 | 2147483647 149031 16 | 1.015 % |
72.85/73.03 c | 149253 | 4875 255591 1814718 | 2147483647 149192 16 | 1.015 % |
72.85/73.07 c | 149429 | 4875 255591 1814718 | 2147483647 149368 16 | 1.015 % |
72.95/73.15 c | 149622 | 4875 255591 1814718 | 2147483647 149561 16 | 1.015 % |
73.05/73.23 c | 149834 | 4875 255591 1814718 | 2147483647 149773 16 | 1.015 % |
73.15/73.32 c | 150067 | 4875 255591 1814718 | 2147483647 150006 16 | 1.015 % |
73.15/73.37 c | 150324 | 4875 255591 1814718 | 2147483647 150263 16 | 1.015 % |
73.25/73.44 c | 150607 | 4875 255591 1814718 | 2147483647 150546 16 | 1.015 % |
73.35/73.55 c | 150917 | 4875 255591 1814718 | 2147483647 150856 16 | 1.015 % |
73.46/73.66 c | 151257 | 4875 255591 1814718 | 2147483647 151196 16 | 1.015 % |
73.56/73.71 c | 151629 | 4875 255591 1814718 | 2147483647 151568 16 | 1.015 % |
73.65/73.83 c | 152038 | 4875 255591 1814718 | 2147483647 151977 16 | 1.015 % |
73.75/73.98 c | 152488 | 4875 255591 1814718 | 2147483647 152427 16 | 1.015 % |
73.85/74.04 c | 152981 | 4875 255591 1814718 | 2147483647 152920 16 | 1.015 % |
74.05/74.26 c | 153524 | 4875 255591 1814718 | 2147483647 153463 16 | 1.015 % |
74.15/74.38 c | 154120 | 4875 255591 1814718 | 2147483647 154059 16 | 1.015 % |
74.45/74.60 c | 154775 | 4875 255591 1814718 | 2147483647 154714 16 | 1.015 % |
74.55/74.78 c | 155496 | 4875 255591 1814718 | 2147483647 155435 16 | 1.015 % |
74.95/75.15 c | 156289 | 4875 255591 1814718 | 2147483647 156228 16 | 1.015 % |
75.05/75.23 c | 157160 | 4875 255591 1814718 | 2147483647 157099 16 | 1.015 % |
75.35/75.57 c | 158119 | 4875 255591 1814718 | 2147483647 158058 16 | 1.015 % |
75.85/76.02 c | 159173 | 4874 255591 1814718 | 2147483647 159111 16 | 1.036 % |
76.25/76.44 c | 160332 | 4874 255591 1814718 | 2147483647 160270 16 | 1.036 % |
76.35/76.55 c | 161605 | 4874 255591 1814718 | 2147483647 161543 16 | 1.036 % |
77.15/77.32 c | 163006 | 4874 255591 1814718 | 2147483647 162944 16 | 1.036 % |
77.55/77.76 c | 164546 | 4874 255591 1814718 | 2147483647 164484 16 | 1.036 % |
78.25/78.40 c | 166240 | 4874 255591 1814718 | 2147483647 166178 16 | 1.036 % |
78.25/78.43 c | 166340 | 4874 255591 1814718 | 2147483647 166278 16 | 1.036 % |
78.25/78.45 c | 166450 | 4874 255591 1814718 | 2147483647 166388 16 | 1.036 % |
78.25/78.49 c | 166572 | 4874 255591 1814718 | 2147483647 166510 16 | 1.036 % |
78.34/78.52 c | 166706 | 4874 255591 1814718 | 2147483647 166644 16 | 1.036 % |
78.34/78.55 c | 166854 | 4874 255591 1814718 | 2147483647 166792 16 | 1.036 % |
78.44/78.60 c | 167015 | 4874 255591 1814718 | 2147483647 166953 16 | 1.036 % |
78.44/78.69 c | 167192 | 4874 255591 1814718 | 2147483647 167130 16 | 1.036 % |
78.54/78.73 c | 167385 | 4874 255591 1814718 | 2147483647 167323 16 | 1.036 % |
78.54/78.77 c | 167598 | 4874 255591 1814718 | 2147483647 167536 16 | 1.036 % |
78.64/78.83 c | 167831 | 4874 255591 1814718 | 2147483647 167769 16 | 1.036 % |
78.74/78.92 c | 168088 | 4874 255591 1814718 | 2147483647 168026 16 | 1.036 % |
78.84/79.05 c | 168369 | 4874 255591 1814718 | 2147483647 168307 16 | 1.036 % |
78.95/79.12 c | 168678 | 4874 255591 1814718 | 2147483647 168616 16 | 1.036 % |
79.04/79.29 c | 169017 | 4874 255591 1814718 | 2147483647 168955 16 | 1.036 % |
79.14/79.33 c | 169389 | 4874 255591 1814718 | 2147483647 169327 16 | 1.036 % |
79.34/79.50 c | 169800 | 4874 255591 1814718 | 2147483647 169738 16 | 1.036 % |
79.34/79.56 c | 170250 | 4874 255591 1814718 | 2147483647 170188 16 | 1.036 % |
79.55/79.76 c | 170743 | 4874 255591 1814718 | 2147483647 170681 16 | 1.036 % |
79.75/79.92 c | 171285 | 4874 255591 1814718 | 2147483647 171223 16 | 1.036 % |
79.95/80.12 c | 171882 | 4874 255591 1814718 | 2147483647 171820 16 | 1.036 % |
80.05/80.21 c | 172538 | 4874 255591 1814718 | 2147483647 172476 16 | 1.036 % |
80.34/80.58 c | 173258 | 4874 255591 1814718 | 2147483647 173196 16 | 1.036 % |
80.64/80.82 c | 174050 | 4874 255591 1814718 | 2147483647 173988 16 | 1.036 % |
81.04/81.28 c | 174923 | 4874 255591 1814718 | 2147483647 174861 16 | 1.036 % |
81.24/81.46 c | 175882 | 4874 255591 1814718 | 2147483647 175820 16 | 1.036 % |
81.44/81.61 c | 176935 | 4874 255591 1814718 | 2147483647 176873 17 | 1.036 % |
82.34/82.54 c | 178095 | 4874 255591 1814718 | 2147483647 178033 17 | 1.036 % |
82.74/82.92 c | 179369 | 4874 255591 1814718 | 2147483647 179307 17 | 1.036 % |
83.24/83.45 c | 180769 | 4874 255591 1814718 | 2147483647 180707 17 | 1.036 % |
83.44/83.67 c | 182309 | 4874 255591 1814718 | 2147483647 182247 17 | 1.036 % |
83.74/83.90 c | 184003 | 4874 255591 1814718 | 2147483647 183941 17 | 1.036 % |
84.34/84.57 c | 185867 | 4874 255591 1814718 | 2147483647 185805 17 | 1.036 % |
84.44/84.60 c | 185967 | 4874 255591 1814718 | 2147483647 185905 17 | 1.036 % |
84.44/84.64 c | 186078 | 4874 255591 1814718 | 2147483647 186016 17 | 1.036 % |
84.54/84.73 c | 186199 | 4874 255591 1814718 | 2147483647 186137 17 | 1.036 % |
84.54/84.77 c | 186334 | 4874 255591 1814718 | 2147483647 186272 17 | 1.036 % |
84.64/84.81 c | 186481 | 4874 255591 1814718 | 2147483647 186419 17 | 1.036 % |
84.74/84.94 c | 186642 | 4874 255591 1814718 | 2147483647 186580 17 | 1.036 % |
84.74/84.96 c | 186818 | 4874 255591 1814718 | 2147483647 186756 17 | 1.036 % |
84.84/85.02 c | 187011 | 4874 255591 1814718 | 2147483647 186949 17 | 1.036 % |
84.84/85.07 c | 187223 | 4874 255591 1814718 | 2147483647 187161 17 | 1.036 % |
85.04/85.21 c | 187457 | 4874 255591 1814718 | 2147483647 187395 17 | 1.036 % |
85.04/85.27 c | 187714 | 4874 255591 1814718 | 2147483647 187652 17 | 1.036 % |
85.14/85.34 c | 187997 | 4874 255591 1814718 | 2147483647 187935 17 | 1.036 % |
85.14/85.39 c | 188307 | 4874 255591 1814718 | 2147483647 188245 17 | 1.036 % |
85.34/85.59 c | 188647 | 4874 255591 1814718 | 2147483647 188585 17 | 1.036 % |
85.44/85.66 c | 189020 | 4874 255591 1814718 | 2147483647 188958 17 | 1.036 % |
85.94/86.18 c | 189429 | 4874 255591 1814718 | 2147483647 189367 17 | 1.036 % |
86.14/86.31 c | 189878 | 4874 255591 1814718 | 2147483647 189816 17 | 1.036 % |
86.34/86.52 c | 190371 | 4874 255591 1814718 | 2147483647 190309 17 | 1.036 % |
86.44/86.61 c | 190913 | 4874 255591 1814718 | 2147483647 190851 17 | 1.036 % |
86.44/86.69 c | 191510 | 4873 255591 1814718 | 2147483647 191447 17 | 1.056 % |
87.13/87.34 c | 192166 | 4873 255591 1814718 | 2147483647 192103 17 | 1.056 % |
87.43/87.66 c | 192886 | 4873 255591 1814718 | 2147483647 192823 17 | 1.056 % |
87.74/87.94 c | 193678 | 4873 255591 1814718 | 2147483647 193615 17 | 1.056 % |
87.84/88.08 c | 194549 | 4873 255591 1814718 | 2147483647 194486 17 | 1.056 % |
88.13/88.33 c | 195507 | 4873 255591 1814718 | 2147483647 195444 17 | 1.056 % |
88.33/88.58 c | 196560 | 4873 255591 1814718 | 2147483647 196497 17 | 1.056 % |
88.63/88.89 c | 197718 | 4873 255591 1814718 | 2147483647 197655 17 | 1.056 % |
88.94/89.12 c | 198991 | 4873 255531 1814563 | 2147483647 198925 17 | 1.056 % |
89.43/89.65 c | 200391 | 4873 255531 1814563 | 2147483647 200325 17 | 1.056 % |
89.63/89.87 c | 201932 | 4873 255531 1814563 | 2147483647 201866 17 | 1.056 % |
90.33/90.54 c | 203627 | 4873 255531 1814563 | 2147483647 203561 17 | 1.056 % |
91.23/91.44 c | 205490 | 4873 255531 1814563 | 2147483647 205424 17 | 1.056 % |
92.93/93.20 c | 207539 | 4873 255531 1814563 | 2147483647 207473 17 | 1.056 % |
93.03/93.24 c | 207640 | 4873 255531 1814563 | 2147483647 207574 17 | 1.056 % |
93.03/93.27 c | 207750 | 4873 255531 1814563 | 2147483647 207684 17 | 1.056 % |
93.12/93.37 c | 207871 | 4873 255531 1814563 | 2147483647 207805 17 | 1.056 % |
93.12/93.39 c | 208005 | 4873 255531 1814563 | 2147483647 207939 17 | 1.056 % |
93.23/93.43 c | 208152 | 4873 255531 1814563 | 2147483647 208086 17 | 1.056 % |
93.23/93.49 c | 208312 | 4873 255531 1814563 | 2147483647 208246 17 | 1.056 % |
93.33/93.51 c | 208488 | 4873 255531 1814563 | 2147483647 208422 17 | 1.056 % |
93.33/93.55 c | 208681 | 4873 255531 1814563 | 2147483647 208615 17 | 1.056 % |
93.42/93.68 c | 208894 | 4873 255531 1814563 | 2147483647 208828 17 | 1.056 % |
93.52/93.74 c | 209127 | 4873 255531 1814563 | 2147483647 209061 17 | 1.056 % |
93.62/93.86 c | 209383 | 4873 255531 1814563 | 2147483647 209317 17 | 1.056 % |
93.72/93.92 c | 209665 | 4873 255531 1814563 | 2147483647 209599 17 | 1.056 % |
93.92/94.10 c | 209974 | 4873 255531 1814563 | 2147483647 209908 17 | 1.056 % |
93.92/94.15 c | 210313 | 4873 255531 1814563 | 2147483647 210247 17 | 1.056 % |
94.13/94.32 c | 210685 | 4873 255531 1814563 | 2147483647 210619 17 | 1.056 % |
94.13/94.38 c | 211095 | 4873 255531 1814563 | 2147483647 211029 17 | 1.056 % |
94.34/94.59 c | 211545 | 4873 255531 1814563 | 2147483647 211479 17 | 1.056 % |
94.73/94.97 c | 212038 | 4873 255531 1814563 | 2147483647 211972 17 | 1.056 % |
95.13/95.38 c | 212581 | 4873 255531 1814563 | 2147483647 212515 17 | 1.056 % |
95.23/95.48 c | 213178 | 4873 255531 1814563 | 2147483647 213112 17 | 1.056 % |
95.53/95.77 c | 213833 | 4873 255531 1814563 | 2147483647 213767 17 | 1.056 % |
95.63/95.86 c | 214554 | 4873 255531 1814563 | 2147483647 214488 17 | 1.056 % |
95.83/96.05 c | 215346 | 4873 255531 1814563 | 2147483647 215280 17 | 1.056 % |
95.93/96.16 c | 216217 | 4873 255531 1814563 | 2147483647 216151 17 | 1.056 % |
96.33/96.52 c | 217176 | 4873 255531 1814563 | 2147483647 217110 17 | 1.056 % |
96.53/96.70 c | 218230 | 4873 255531 1814563 | 2147483647 218164 17 | 1.056 % |
96.93/97.18 c | 219388 | 4873 255531 1814563 | 2147483647 219322 17 | 1.056 % |
97.43/97.66 c | 220662 | 4873 255531 1814563 | 2147483647 220596 17 | 1.056 % |
97.83/98.09 c | 222063 | 4873 255531 1814563 | 2147483647 221997 17 | 1.056 % |
98.43/98.62 c | 223604 | 4873 255531 1814563 | 2147483647 223538 17 | 1.056 % |
99.33/99.58 c | 225299 | 4873 255531 1814563 | 2147483647 225233 17 | 1.056 % |
101.22/101.47 c | 227162 | 4873 255531 1814563 | 2147483647 227096 17 | 1.056 % |
102.82/103.00 c | 229212 | 4873 255531 1814563 | 2147483647 229146 17 | 1.056 % |
103.62/103.82 c | 231467 | 4873 255531 1814563 | 2147483647 231401 17 | 1.056 % |
103.62/103.85 c | 231568 | 4873 255531 1814563 | 2147483647 231502 17 | 1.056 % |
103.72/103.90 c | 231678 | 4873 255531 1814563 | 2147483647 231612 17 | 1.056 % |
103.72/103.94 c | 231799 | 4873 255531 1814563 | 2147483647 231733 17 | 1.056 % |
103.82/104.01 c | 231934 | 4873 255531 1814563 | 2147483647 231868 17 | 1.056 % |
103.82/104.03 c | 232082 | 4873 255531 1814563 | 2147483647 232016 17 | 1.056 % |
103.92/104.11 c | 232242 | 4873 255531 1814563 | 2147483647 232176 17 | 1.056 % |
103.92/104.16 c | 232419 | 4873 255531 1814563 | 2147483647 232353 17 | 1.056 % |
104.02/104.22 c | 232613 | 4873 255531 1814563 | 2147483647 232547 17 | 1.056 % |
104.02/104.27 c | 232826 | 4873 255531 1814563 | 2147483647 232760 17 | 1.056 % |
104.22/104.42 c | 233059 | 4873 255531 1814563 | 2147483647 232993 17 | 1.056 % |
104.32/104.52 c | 233315 | 4873 255531 1814563 | 2147483647 233249 17 | 1.056 % |
104.32/104.58 c | 233596 | 4873 255531 1814563 | 2147483647 233530 17 | 1.056 % |
104.82/105.00 c | 233905 | 4873 255531 1814563 | 2147483647 233839 17 | 1.056 % |
104.82/105.08 c | 234244 | 4873 255531 1814563 | 2147483647 234178 17 | 1.056 % |
105.02/105.24 c | 234616 | 4873 255531 1814563 | 2147483647 234550 17 | 1.056 % |
105.12/105.31 c | 235025 | 4873 255531 1814563 | 2147483647 234959 17 | 1.056 % |
105.61/105.81 c | 235474 | 4873 255531 1814563 | 2147483647 235408 17 | 1.056 % |
106.01/106.25 c | 235967 | 4873 255531 1814563 | 2147483647 235901 17 | 1.056 % |
106.22/106.44 c | 236511 | 4873 255531 1814563 | 2147483647 236445 17 | 1.056 % |
106.32/106.56 c | 237107 | 4873 255531 1814563 | 2147483647 237041 17 | 1.056 % |
106.82/107.02 c | 237762 | 4873 255531 1814563 | 2147483647 237696 17 | 1.056 % |
106.92/107.16 c | 238483 | 4873 255531 1814563 | 2147483647 238417 17 | 1.056 % |
108.02/108.20 c | 239276 | 4873 255531 1814563 | 2147483647 239210 17 | 1.056 % |
108.42/108.67 c | 240149 | 4873 255531 1814563 | 2147483647 240083 17 | 1.056 % |
108.82/109.07 c | 241107 | 4873 255531 1814563 | 2147483647 241041 17 | 1.056 % |
109.32/109.56 c | 242160 | 4873 255531 1814563 | 2147483647 242094 17 | 1.056 % |
109.82/110.10 c | 243319 | 4873 255531 1814563 | 2147483647 243253 17 | 1.056 % |
110.92/111.12 c | 244594 | 4873 255531 1814563 | 2147483647 244528 17 | 1.056 % |
111.72/111.98 c | 245995 | 4873 255531 1814563 | 2147483647 245929 17 | 1.056 % |
112.42/112.68 c | 247535 | 4873 255531 1814563 | 2147483647 247469 17 | 1.056 % |
113.42/113.68 c | 249229 | 4873 255531 1814563 | 2147483647 249163 17 | 1.056 % |
113.72/113.93 c | 251093 | 4873 255531 1814563 | 2147483647 251027 17 | 1.056 % |
115.81/116.05 c | 253144 | 4873 255531 1814563 | 2147483647 253078 18 | 1.056 % |
117.11/117.37 c | 255397 | 4873 255531 1814563 | 2147483647 255331 18 | 1.056 % |
118.21/118.48 c | 257875 | 4873 255531 1814563 | 2147483647 257809 18 | 1.056 % |
118.31/118.50 c | 257977 | 4873 255531 1814563 | 2147483647 257911 18 | 1.056 % |
118.31/118.53 c | 258088 | 4873 255531 1814563 | 2147483647 258022 18 | 1.056 % |
118.31/118.59 c | 258209 | 4873 255531 1814563 | 2147483647 258143 18 | 1.056 % |
118.41/118.63 c | 258342 | 4873 255531 1814563 | 2147483647 258276 18 | 1.056 % |
118.41/118.68 c | 258489 | 4873 255531 1814563 | 2147483647 258423 18 | 1.056 % |
118.62/118.82 c | 258649 | 4873 255531 1814563 | 2147483647 258583 18 | 1.056 % |
118.62/118.86 c | 258827 | 4873 255531 1814563 | 2147483647 258761 18 | 1.056 % |
118.71/118.93 c | 259020 | 4873 255531 1814563 | 2147483647 258954 18 | 1.056 % |
118.81/119.07 c | 259234 | 4873 255531 1814563 | 2147483647 259168 18 | 1.056 % |
118.91/119.12 c | 259468 | 4873 255531 1814563 | 2147483647 259402 18 | 1.056 % |
119.11/119.33 c | 259725 | 4873 255531 1814563 | 2147483647 259659 18 | 1.056 % |
119.21/119.43 c | 260007 | 4873 255531 1814563 | 2147483647 259941 18 | 1.056 % |
119.41/119.62 c | 260316 | 4873 255531 1814563 | 2147483647 260250 18 | 1.056 % |
119.41/119.69 c | 260656 | 4873 255531 1814563 | 2147483647 260590 18 | 1.056 % |
119.62/119.87 c | 261029 | 4873 255531 1814563 | 2147483647 260963 18 | 1.056 % |
119.81/120.07 c | 261439 | 4873 255531 1814563 | 2147483647 261373 18 | 1.056 % |
119.91/120.18 c | 261888 | 4873 255531 1814563 | 2147483647 261822 18 | 1.056 % |
120.21/120.49 c | 262381 | 4873 255531 1814563 | 2147483647 262315 18 | 1.056 % |
120.41/120.66 c | 262924 | 4873 255531 1814563 | 2147483647 262858 18 | 1.056 % |
121.01/121.21 c | 263520 | 4873 255531 1814563 | 2147483647 263454 18 | 1.056 % |
121.11/121.32 c | 264175 | 4873 255531 1814563 | 2147483647 264109 18 | 1.056 % |
121.51/121.75 c | 264896 | 4873 255531 1814563 | 2147483647 264830 18 | 1.056 % |
122.11/122.39 c | 265688 | 4873 255531 1814563 | 2147483647 265622 18 | 1.056 % |
122.31/122.59 c | 266561 | 4873 255531 1814563 | 2147483647 266495 18 | 1.056 % |
123.30/123.55 c | 267520 | 4873 255531 1814563 | 2147483647 267454 18 | 1.056 % |
123.80/124.05 c | 268573 | 4873 255531 1814563 | 2147483647 268507 18 | 1.056 % |
124.80/125.06 c | 269732 | 4873 255531 1814563 | 2147483647 269666 18 | 1.056 % |
125.70/125.92 c | 271005 | 4873 255531 1814563 | 2147483647 270939 18 | 1.056 % |
126.31/126.56 c | 272406 | 4873 255531 1814563 | 2147483647 272340 18 | 1.056 % |
126.60/126.80 c | 273947 | 4873 255531 1814563 | 2147483647 273881 18 | 1.056 % |
127.50/127.78 c | 275641 | 4873 255531 1814563 | 2147483647 275575 18 | 1.056 % |
128.00/128.28 c | 277504 | 4873 255531 1814563 | 2147483647 277438 18 | 1.056 % |
128.90/129.12 c | 279553 | 4873 255531 1814563 | 2147483647 279487 18 | 1.056 % |
129.40/129.67 c | 281807 | 4873 255531 1814563 | 2147483647 281741 18 | 1.056 % |
131.00/131.27 c | 284286 | 4873 255531 1814563 | 2147483647 284220 18 | 1.056 % |
132.11/132.39 c | 287012 | 4873 255531 1814563 | 2147483647 286946 18 | 1.056 % |
132.21/132.47 c | 287113 | 4873 255531 1814563 | 2147483647 287047 18 | 1.056 % |
132.31/132.50 c | 287223 | 4873 255531 1814563 | 2147483647 287157 18 | 1.056 % |
132.31/132.57 c | 287344 | 4873 255531 1814563 | 2147483647 287278 18 | 1.056 % |
132.41/132.62 c | 287479 | 4873 255531 1814563 | 2147483647 287413 18 | 1.056 % |
132.41/132.65 c | 287625 | 4873 255531 1814563 | 2147483647 287559 18 | 1.056 % |
132.51/132.71 c | 287786 | 4873 255531 1814563 | 2147483647 287720 18 | 1.056 % |
132.61/132.82 c | 287962 | 4873 255531 1814563 | 2147483647 287896 18 | 1.056 % |
132.61/132.88 c | 288155 | 4873 255531 1814563 | 2147483647 288089 18 | 1.056 % |
132.71/132.94 c | 288367 | 4873 255531 1814563 | 2147483647 288301 18 | 1.056 % |
132.91/133.14 c | 288602 | 4873 255531 1814563 | 2147483647 288536 18 | 1.056 % |
132.91/133.19 c | 288859 | 4873 255531 1814563 | 2147483647 288793 18 | 1.056 % |
133.01/133.26 c | 289140 | 4873 255531 1814563 | 2147483647 289074 18 | 1.056 % |
133.21/133.42 c | 289450 | 4873 255531 1814563 | 2147483647 289384 18 | 1.056 % |
133.31/133.60 c | 289789 | 4873 255531 1814563 | 2147483647 289723 18 | 1.056 % |
133.51/133.74 c | 290162 | 4873 255531 1814563 | 2147483647 290096 18 | 1.056 % |
133.70/133.99 c | 290572 | 4873 255531 1814563 | 2147483647 290506 18 | 1.056 % |
133.80/134.08 c | 291021 | 4873 255531 1814563 | 2147483647 290955 18 | 1.056 % |
134.20/134.40 c | 291515 | 4873 255531 1814563 | 2147483647 291449 18 | 1.056 % |
134.30/134.50 c | 292057 | 4873 255531 1814563 | 2147483647 291991 18 | 1.056 % |
134.60/134.89 c | 292653 | 4873 255531 1814563 | 2147483647 292587 18 | 1.056 % |
135.01/135.26 c | 293310 | 4873 255531 1814563 | 2147483647 293244 18 | 1.056 % |
135.11/135.39 c | 294031 | 4873 255531 1814563 | 2147483647 293965 18 | 1.056 % |
135.70/135.95 c | 294823 | 4873 255531 1814563 | 2147483647 294757 18 | 1.056 % |
136.11/136.33 c | 295695 | 4873 255531 1814563 | 2147483647 295629 18 | 1.056 % |
136.80/137.02 c | 296655 | 4873 255531 1814563 | 2147483647 296589 18 | 1.056 % |
137.30/137.50 c | 297709 | 4873 255531 1814563 | 2147483647 297643 18 | 1.056 % |
137.40/137.68 c | 298867 | 4873 255531 1814563 | 2147483647 298801 18 | 1.056 % |
138.09/138.39 c | 300141 | 4873 255531 1814563 | 2147483647 300075 18 | 1.056 % |
138.79/139.02 c | 301541 | 4873 255531 1814563 | 2147483647 301475 18 | 1.056 % |
139.50/139.77 c | 303082 | 4873 255531 1814563 | 2147483647 303016 18 | 1.056 % |
139.69/139.96 c | 304776 | 4873 255531 1814563 | 2147483647 304710 18 | 1.056 % |
141.09/141.32 c | 306639 | 4873 255531 1814563 | 2147483647 306573 18 | 1.056 % |
142.09/142.32 c | 308689 | 4873 255531 1814563 | 2147483647 308623 18 | 1.056 % |
143.09/143.32 c | 310942 | 4873 255531 1814563 | 2147483647 310876 18 | 1.056 % |
144.20/144.46 c | 313420 | 4873 255531 1814563 | 2147483647 313354 18 | 1.056 % |
145.49/145.73 c | 316145 | 4873 255531 1814563 | 2147483647 316079 18 | 1.056 % |
147.19/147.48 c | 319144 | 4873 255531 1814563 | 2147483647 319078 18 | 1.056 % |
147.29/147.50 c | 319244 | 4873 255531 1814563 | 2147483647 319178 18 | 1.056 % |
147.29/147.53 c | 319355 | 4873 255531 1814563 | 2147483647 319289 18 | 1.056 % |
147.29/147.56 c | 319476 | 4873 255531 1814563 | 2147483647 319410 18 | 1.056 % |
147.39/147.62 c | 319609 | 4873 255531 1814563 | 2147483647 319543 18 | 1.056 % |
147.39/147.67 c | 319756 | 4873 255531 1814563 | 2147483647 319690 18 | 1.056 % |
147.49/147.76 c | 319917 | 4873 255531 1814563 | 2147483647 319851 18 | 1.056 % |
147.59/147.81 c | 320093 | 4873 255531 1814563 | 2147483647 320027 18 | 1.056 % |
147.69/147.98 c | 320286 | 4873 255531 1814563 | 2147483647 320220 18 | 1.056 % |
147.79/148.08 c | 320498 | 4873 255531 1814563 | 2147483647 320432 18 | 1.056 % |
148.09/148.34 c | 320732 | 4873 255531 1814563 | 2147483647 320666 18 | 1.056 % |
148.19/148.44 c | 320989 | 4873 255531 1814563 | 2147483647 320923 18 | 1.056 % |
148.39/148.61 c | 321271 | 4873 255531 1814563 | 2147483647 321205 18 | 1.056 % |
148.49/148.70 c | 321580 | 4873 255531 1814563 | 2147483647 321514 18 | 1.056 % |
148.59/148.87 c | 321919 | 4873 255531 1814563 | 2147483647 321853 18 | 1.056 % |
148.89/149.14 c | 322291 | 4873 255531 1814563 | 2147483647 322225 18 | 1.056 % |
149.09/149.30 c | 322700 | 4873 255531 1814563 | 2147483647 322634 18 | 1.056 % |
149.39/149.66 c | 323149 | 4873 255531 1814563 | 2147483647 323083 18 | 1.056 % |
149.69/149.96 c | 323642 | 4873 255531 1814563 | 2147483647 323576 18 | 1.056 % |
149.79/150.05 c | 324184 | 4873 255531 1814563 | 2147483647 324118 18 | 1.056 % |
150.09/150.39 c | 324780 | 4873 255531 1814563 | 2147483647 324714 18 | 1.056 % |
150.59/150.80 c | 325437 | 4873 255531 1814563 | 2147483647 325371 18 | 1.056 % |
150.88/151.12 c | 326157 | 4873 255531 1814563 | 2147483647 326091 18 | 1.056 % |
151.59/151.81 c | 326949 | 4873 255531 1814563 | 2147483647 326883 18 | 1.056 % |
152.70/152.93 c | 327821 | 4873 255531 1814563 | 2147483647 327755 18 | 1.056 % |
152.99/153.28 c | 328779 | 4873 255531 1814563 | 2147483647 328713 18 | 1.056 % |
153.59/153.89 c | 329832 | 4873 255531 1814563 | 2147483647 329766 18 | 1.056 % |
154.29/154.57 c | 330990 | 4873 255531 1814563 | 2147483647 330924 18 | 1.056 % |
155.99/156.20 c | 332263 | 4873 255531 1814563 | 2147483647 332197 18 | 1.056 % |
156.69/156.96 c | 333663 | 4873 255531 1814563 | 2147483647 333597 18 | 1.056 % |
158.39/158.60 c | 335203 | 4873 255531 1814563 | 2147483647 335137 18 | 1.056 % |
158.69/158.92 c | 336898 | 4873 255531 1814563 | 2147483647 336832 18 | 1.056 % |
159.58/159.82 c | 338762 | 4873 255531 1814563 | 2147483647 338696 18 | 1.056 % |
160.18/160.45 c | 340813 | 4873 255531 1814563 | 2147483647 340747 18 | 1.056 % |
161.88/162.13 c | 343066 | 4873 255531 1814563 | 2147483647 343000 18 | 1.056 % |
163.38/163.69 c | 345545 | 4873 255531 1814563 | 2147483647 345479 18 | 1.056 % |
165.19/165.42 c | 348271 | 4873 255531 1814563 | 2147483647 348205 18 | 1.056 % |
166.78/167.09 c | 351268 | 4873 255531 1814563 | 2147483647 351202 18 | 1.056 % |
170.58/170.89 c | 354566 | 4873 255531 1814563 | 2147483647 354500 18 | 1.056 % |
170.68/170.99 c | 354666 | 4873 255531 1814563 | 2147483647 354600 18 | 1.056 % |
170.78/171.09 c | 354778 | 4873 255531 1814563 | 2147483647 354712 18 | 1.056 % |
170.88/171.14 c | 354899 | 4873 255531 1814563 | 2147483647 354833 18 | 1.056 % |
170.98/171.23 c | 355034 | 4873 255531 1814563 | 2147483647 354968 18 | 1.056 % |
171.08/171.32 c | 355181 | 4873 255531 1814563 | 2147483647 355115 18 | 1.056 % |
171.18/171.47 c | 355342 | 4873 255531 1814563 | 2147483647 355276 18 | 1.056 % |
171.28/171.54 c | 355518 | 4873 255531 1814563 | 2147483647 355452 18 | 1.056 % |
171.38/171.67 c | 355712 | 4873 255531 1814563 | 2147483647 355646 18 | 1.056 % |
171.48/171.79 c | 355925 | 4873 255531 1814563 | 2147483647 355859 18 | 1.056 % |
171.58/171.87 c | 356158 | 4873 255531 1814563 | 2147483647 356092 18 | 1.056 % |
171.78/172.00 c | 356414 | 4873 255531 1814563 | 2147483647 356348 18 | 1.056 % |
171.88/172.18 c | 356695 | 4873 255531 1814563 | 2147483647 356629 18 | 1.056 % |
171.98/172.25 c | 357004 | 4873 255531 1814563 | 2147483647 356938 18 | 1.056 % |
172.28/172.52 c | 357344 | 4873 255531 1814563 | 2147483647 357278 18 | 1.056 % |
172.57/172.86 c | 357717 | 4873 255531 1814563 | 2147483647 357651 18 | 1.056 % |
172.87/173.17 c | 358126 | 4873 255531 1814563 | 2147483647 358060 18 | 1.056 % |
173.18/173.43 c | 358576 | 4873 255531 1814563 | 2147483647 358510 18 | 1.056 % |
173.59/173.83 c | 359070 | 4873 255531 1814563 | 2147483647 359004 18 | 1.056 % |
173.68/173.93 c | 359612 | 4873 255531 1814563 | 2147483647 359546 18 | 1.056 % |
174.18/174.43 c | 360208 | 4873 255531 1814563 | 2147483647 360142 18 | 1.056 % |
174.38/174.65 c | 360864 | 4873 255531 1814563 | 2147483647 360798 18 | 1.056 % |
174.78/175.03 c | 361584 | 4873 255531 1814563 | 2147483647 361518 18 | 1.056 % |
175.18/175.46 c | 362378 | 4873 255531 1814563 | 2147483647 362312 18 | 1.056 % |
175.98/176.28 c | 363249 | 4873 255531 1814563 | 2147483647 363183 18 | 1.056 % |
176.28/176.54 c | 364208 | 4873 255531 1814563 | 2147483647 364142 18 | 1.056 % |
176.89/177.19 c | 365262 | 4873 255531 1814563 | 2147483647 365196 18 | 1.056 % |
177.68/177.97 c | 366420 | 4873 255531 1814563 | 2147483647 366354 18 | 1.056 % |
178.38/178.62 c | 367694 | 4873 255531 1814563 | 2147483647 367628 18 | 1.056 % |
179.18/179.47 c | 369094 | 4873 255531 1814563 | 2147483647 369028 18 | 1.056 % |
179.68/179.96 c | 370634 | 4873 255531 1814563 | 2147483647 370568 18 | 1.056 % |
181.28/181.51 c | 372328 | 4873 255531 1814563 | 2147483647 372262 18 | 1.056 % |
182.47/182.71 c | 374192 | 4873 255531 1814563 | 2147483647 374126 18 | 1.056 % |
182.77/183.05 c | 376242 | 4873 255531 1814563 | 2147483647 376176 18 | 1.056 % |
185.57/185.88 c | 378495 | 4873 255531 1814563 | 2147483647 378429 18 | 1.056 % |
186.67/186.96 c | 380973 | 4873 255531 1814563 | 2147483647 380907 18 | 1.056 % |
188.67/188.97 c | 383698 | 4873 255531 1814563 | 2147483647 383632 18 | 1.056 % |
190.76/191.08 c | 386697 | 4873 255531 1814563 | 2147483647 386631 18 | 1.056 % |
194.36/194.60 c | 389995 | 4873 255531 1814563 | 2147483647 389929 18 | 1.056 % |
199.26/199.52 c | 393620 | 4873 255531 1814563 | 2147483647 393554 18 | 1.056 % |
199.26/199.55 c | 393722 | 4873 255531 1814563 | 2147483647 393656 18 | 1.056 % |
199.26/199.58 c | 393832 | 4873 255531 1814563 | 2147483647 393766 18 | 1.056 % |
199.36/199.67 c | 393953 | 4873 255531 1814563 | 2147483647 393887 18 | 1.056 % |
199.46/199.74 c | 394087 | 4873 255531 1814563 | 2147483647 394021 18 | 1.056 % |
199.66/199.93 c | 394234 | 4873 255531 1814563 | 2147483647 394168 18 | 1.056 % |
199.76/200.07 c | 394394 | 4873 255531 1814563 | 2147483647 394328 18 | 1.056 % |
199.86/200.12 c | 394572 | 4873 255531 1814563 | 2147483647 394506 18 | 1.056 % |
199.86/200.18 c | 394766 | 4873 255531 1814563 | 2147483647 394700 18 | 1.056 % |
199.96/200.28 c | 394978 | 4873 255531 1814563 | 2147483647 394912 18 | 1.056 % |
200.16/200.40 c | 395211 | 4873 255531 1814563 | 2147483647 395145 18 | 1.056 % |
200.16/200.48 c | 395468 | 4873 255531 1814563 | 2147483647 395402 18 | 1.056 % |
200.46/200.72 c | 395750 | 4873 255531 1814563 | 2147483647 395684 18 | 1.056 % |
200.46/200.78 c | 396060 | 4873 255531 1814563 | 2147483647 395994 18 | 1.056 % |
200.65/200.95 c | 396399 | 4873 255531 1814563 | 2147483647 396333 18 | 1.056 % |
200.85/201.19 c | 396771 | 4873 255531 1814563 | 2147483647 396705 18 | 1.056 % |
201.25/201.52 c | 397181 | 4873 255531 1814563 | 2147483647 397115 18 | 1.056 % |
201.35/201.61 c | 397630 | 4873 255531 1814563 | 2147483647 397564 18 | 1.056 % |
201.55/201.84 c | 398123 | 4873 255531 1814563 | 2147483647 398057 18 | 1.056 % |
201.95/202.21 c | 398666 | 4873 255531 1814563 | 2147483647 398600 18 | 1.056 % |
202.06/202.33 c | 399262 | 4873 255531 1814563 | 2147483647 399196 18 | 1.056 % |
202.36/202.66 c | 399917 | 4873 255531 1814563 | 2147483647 399851 18 | 1.056 % |
202.66/202.95 c | 400637 | 4873 255531 1814563 | 2147483647 400571 18 | 1.056 % |
202.86/203.12 c | 401430 | 4873 255531 1814563 | 2147483647 401364 18 | 1.056 % |
203.46/203.74 c | 402302 | 4873 255531 1814563 | 2147483647 402236 18 | 1.056 % |
203.66/203.98 c | 403260 | 4873 255531 1814563 | 2147483647 403194 18 | 1.056 % |
204.27/204.52 c | 404313 | 4873 255531 1814563 | 2147483647 404247 18 | 1.056 % |
204.46/204.75 c | 405471 | 4873 255531 1814563 | 2147483647 405405 18 | 1.056 % |
205.36/205.69 c | 406745 | 4872 255519 1814532 | 2147483647 406677 18 | 1.076 % |
206.16/206.43 c | 408146 | 4872 255519 1814532 | 2147483647 408078 18 | 1.076 % |
208.46/208.70 c | 409687 | 4872 255519 1814532 | 2147483647 409619 18 | 1.076 % |
209.26/209.52 c | 411383 | 4872 255519 1814532 | 2147483647 411315 18 | 1.076 % |
209.96/210.26 c | 413249 | 4872 255519 1814532 | 2147483647 413181 18 | 1.076 % |
210.36/210.61 c | 415298 | 4872 255519 1814532 | 2147483647 415230 18 | 1.076 % |
212.35/212.64 c | 417551 | 4872 255519 1814532 | 2147483647 417483 19 | 1.076 % |
213.55/213.83 c | 420031 | 4872 255519 1814532 | 2147483647 419963 19 | 1.076 % |
216.05/216.38 c | 422756 | 4872 255519 1814532 | 2147483647 422688 19 | 1.076 % |
217.95/218.20 c | 425753 | 4872 255519 1814532 | 2147483647 425685 19 | 1.076 % |
219.25/219.54 c | 429049 | 4872 255519 1814532 | 2147483647 428981 19 | 1.076 % |
222.65/222.91 c | 432675 | 4872 255519 1814532 | 2147483647 432607 19 | 1.076 % |
224.75/225.03 c | 436662 | 4872 255519 1814532 | 2147483647 436594 19 | 1.076 % |
224.75/225.08 c | 436763 | 4872 255519 1814532 | 2147483647 436695 19 | 1.076 % |
224.85/225.19 c | 436873 | 4872 255519 1814532 | 2147483647 436805 19 | 1.076 % |
224.95/225.22 c | 436994 | 4872 255519 1814532 | 2147483647 436926 19 | 1.076 % |
225.05/225.39 c | 437128 | 4872 255519 1814532 | 2147483647 437060 19 | 1.076 % |
225.15/225.43 c | 437274 | 4872 255519 1814532 | 2147483647 437206 19 | 1.076 % |
225.25/225.59 c | 437434 | 4872 255519 1814532 | 2147483647 437366 19 | 1.076 % |
225.35/225.66 c | 437611 | 4872 255519 1814532 | 2147483647 437543 19 | 1.076 % |
225.45/225.73 c | 437805 | 4872 255519 1814532 | 2147483647 437737 19 | 1.076 % |
225.55/225.81 c | 438017 | 4872 255519 1814532 | 2147483647 437949 19 | 1.076 % |
225.65/225.94 c | 438251 | 4872 255519 1814532 | 2147483647 438183 19 | 1.076 % |
225.85/226.19 c | 438508 | 4872 255519 1814532 | 2147483647 438440 19 | 1.076 % |
226.15/226.48 c | 438789 | 4872 255519 1814532 | 2147483647 438721 19 | 1.076 % |
226.35/226.62 c | 439098 | 4872 255519 1814532 | 2147483647 439030 19 | 1.076 % |
226.45/226.74 c | 439437 | 4872 255519 1814532 | 2147483647 439369 19 | 1.076 % |
226.75/227.09 c | 439809 | 4872 255519 1814532 | 2147483647 439741 19 | 1.076 % |
226.95/227.24 c | 440218 | 4872 255519 1814532 | 2147483647 440150 19 | 1.076 % |
227.05/227.38 c | 440667 | 4872 255519 1814532 | 2147483647 440599 19 | 1.076 % |
227.74/228.00 c | 441161 | 4872 255519 1814532 | 2147483647 441093 19 | 1.076 % |
227.94/228.22 c | 441704 | 4872 255519 1814532 | 2147483647 441636 19 | 1.076 % |
228.55/228.82 c | 442300 | 4872 255519 1814532 | 2147483647 442232 19 | 1.076 % |
228.64/228.94 c | 442956 | 4872 255519 1814532 | 2147483647 442888 19 | 1.076 % |
229.04/229.36 c | 443676 | 4872 255519 1814532 | 2147483647 443608 19 | 1.076 % |
229.34/229.65 c | 444468 | 4872 255519 1814532 | 2147483647 444400 19 | 1.076 % |
230.14/230.43 c | 445340 | 4872 255519 1814532 | 2147483647 445272 19 | 1.076 % |
231.24/231.58 c | 446299 | 4872 255519 1814532 | 2147483647 446231 19 | 1.076 % |
232.04/232.34 c | 447353 | 4872 255519 1814532 | 2147483647 447285 19 | 1.076 % |
233.04/233.35 c | 448512 | 4872 255519 1814532 | 2147483647 448444 19 | 1.076 % |
233.44/233.79 c | 449785 | 4872 255519 1814532 | 2147483647 449717 19 | 1.076 % |
234.34/234.62 c | 451185 | 4872 255519 1814532 | 2147483647 451117 19 | 1.076 % |
235.54/235.84 c | 452726 | 4872 255519 1814532 | 2147483647 452658 19 | 1.076 % |
237.74/238.06 c | 454421 | 4872 255519 1814532 | 2147483647 454353 19 | 1.076 % |
238.54/238.86 c | 456285 | 4872 255519 1814532 | 2147483647 456217 19 | 1.076 % |
240.33/240.68 c | 458334 | 4872 255519 1814532 | 2147483647 458266 19 | 1.076 % |
242.63/242.92 c | 460588 | 4872 255519 1814532 | 2147483647 460520 19 | 1.076 % |
243.23/243.52 c | 463067 | 4872 255519 1814532 | 2147483647 462999 19 | 1.076 % |
247.93/248.20 c | 465792 | 4872 255519 1814532 | 2147483647 465724 19 | 1.076 % |
250.94/251.26 c | 468790 | 4872 255519 1814532 | 2147483647 468722 19 | 1.076 % |
253.74/254.04 c | 472086 | 4872 255519 1814532 | 2147483647 472018 19 | 1.076 % |
258.24/258.52 c | 475711 | 4872 255519 1814532 | 2147483647 475643 19 | 1.076 % |
260.23/260.54 c | 479699 | 4872 255519 1814532 | 2147483647 479631 19 | 1.076 % |
263.43/263.71 c | 484084 | 4872 255519 1814532 | 2147483647 484016 19 | 1.076 % |
263.53/263.80 c | 484185 | 4872 255519 1814532 | 2147483647 484117 19 | 1.076 % |
263.74/264.01 c | 484295 | 4872 255519 1814532 | 2147483647 484227 19 | 1.076 % |
263.74/264.06 c | 484416 | 4872 255519 1814532 | 2147483647 484348 19 | 1.076 % |
263.83/264.19 c | 484551 | 4872 255519 1814532 | 2147483647 484483 19 | 1.076 % |
263.93/264.25 c | 484697 | 4872 255519 1814532 | 2147483647 484629 19 | 1.076 % |
264.03/264.32 c | 484857 | 4872 255519 1814532 | 2147483647 484789 19 | 1.076 % |
264.23/264.52 c | 485034 | 4872 255519 1814532 | 2147483647 484966 19 | 1.076 % |
264.33/264.65 c | 485229 | 4872 255519 1814532 | 2147483647 485161 19 | 1.076 % |
264.43/264.74 c | 485441 | 4872 255519 1814532 | 2147483647 485373 19 | 1.076 % |
264.63/264.99 c | 485674 | 4872 255519 1814532 | 2147483647 485606 19 | 1.076 % |
264.83/265.12 c | 485930 | 4872 255519 1814532 | 2147483647 485862 19 | 1.076 % |
265.03/265.34 c | 486211 | 4872 255519 1814532 | 2147483647 486143 19 | 1.076 % |
265.13/265.44 c | 486520 | 4872 255519 1814532 | 2147483647 486452 19 | 1.076 % |
265.93/266.29 c | 486861 | 4872 255519 1814532 | 2147483647 486793 19 | 1.076 % |
266.23/266.56 c | 487234 | 4872 255519 1814532 | 2147483647 487166 19 | 1.076 % |
266.33/266.69 c | 487645 | 4872 255519 1814532 | 2147483647 487577 19 | 1.076 % |
267.03/267.30 c | 488094 | 4872 255519 1814532 | 2147483647 488026 19 | 1.076 % |
267.13/267.44 c | 488587 | 4872 255519 1814532 | 2147483647 488519 19 | 1.076 % |
267.53/267.89 c | 489129 | 4872 255519 1814532 | 2147483647 489061 19 | 1.076 % |
267.63/267.99 c | 489725 | 4872 255519 1814532 | 2147483647 489657 19 | 1.076 % |
268.62/268.93 c | 490380 | 4872 255519 1814532 | 2147483647 490312 19 | 1.076 % |
269.23/269.55 c | 491100 | 4872 255519 1814532 | 2147483647 491032 19 | 1.076 % |
270.23/270.58 c | 491892 | 4872 255519 1814532 | 2147483647 491824 19 | 1.076 % |
270.52/270.82 c | 492764 | 4872 255519 1814532 | 2147483647 492696 19 | 1.076 % |
270.72/271.05 c | 493723 | 4872 255519 1814532 | 2147483647 493655 19 | 1.076 % |
271.82/272.12 c | 494776 | 4872 255519 1814532 | 2147483647 494708 19 | 1.076 % |
273.01/273.30 c | 495934 | 4872 255519 1814532 | 2147483647 495866 19 | 1.076 % |
273.81/274.11 c | 497207 | 4872 255519 1814532 | 2147483647 497139 19 | 1.076 % |
274.91/275.26 c | 498608 | 4872 255519 1814532 | 2147483647 498540 19 | 1.076 % |
275.91/276.29 c | 500148 | 4872 255519 1814532 | 2147483647 500080 19 | 1.076 % |
277.71/278.02 c | 501843 | 4872 255519 1814532 | 2147483647 501775 19 | 1.076 % |
279.31/279.61 c | 503706 | 4872 255519 1814532 | 2147483647 503638 19 | 1.076 % |
279.61/279.99 c | 505755 | 4872 255519 1814532 | 2147483647 505687 19 | 1.076 % |
281.41/281.74 c | 508009 | 4872 255519 1814532 | 2147483647 507941 19 | 1.076 % |
283.91/284.26 c | 510487 | 4872 255519 1814532 | 2147483647 510419 19 | 1.076 % |
286.51/286.81 c | 513213 | 4872 255519 1814532 | 2147483647 513145 19 | 1.076 % |
289.01/289.36 c | 516211 | 4872 255519 1814532 | 2147483647 516143 19 | 1.076 % |
290.61/290.90 c | 519507 | 4872 255519 1814532 | 2147483647 519439 19 | 1.076 % |
292.81/293.11 c | 523132 | 4872 255519 1814532 | 2147483647 523064 19 | 1.076 % |
297.31/297.68 c | 527119 | 4872 255519 1814532 | 2147483647 527051 19 | 1.076 % |
303.10/303.40 c | 531505 | 4872 255519 1814532 | 2147483647 531437 19 | 1.076 % |
306.81/307.17 c | 536329 | 4872 255519 1814532 | 2147483647 536261 19 | 1.076 % |
306.91/307.27 c | 536430 | 4872 255519 1814532 | 2147483647 536362 19 | 1.076 % |
307.01/307.36 c | 536540 | 4872 255519 1814532 | 2147483647 536472 19 | 1.076 % |
307.11/307.45 c | 536662 | 4872 255519 1814532 | 2147483647 536594 19 | 1.076 % |
307.21/307.55 c | 536795 | 4872 255519 1814532 | 2147483647 536727 19 | 1.076 % |
307.31/307.68 c | 536943 | 4872 255519 1814532 | 2147483647 536875 19 | 1.076 % |
307.41/307.76 c | 537103 | 4872 255519 1814532 | 2147483647 537035 19 | 1.076 % |
307.51/307.84 c | 537281 | 4872 255519 1814532 | 2147483647 537213 19 | 1.076 % |
307.61/307.91 c | 537474 | 4872 255519 1814532 | 2147483647 537406 19 | 1.076 % |
307.91/308.24 c | 537686 | 4872 255519 1814532 | 2147483647 537618 19 | 1.076 % |
308.01/308.38 c | 537919 | 4872 255519 1814532 | 2147483647 537851 19 | 1.076 % |
308.11/308.46 c | 538177 | 4872 255519 1814532 | 2147483647 538109 19 | 1.076 % |
308.51/308.86 c | 538458 | 4872 255519 1814532 | 2147483647 538390 19 | 1.076 % |
308.81/309.19 c | 538767 | 4872 255519 1814532 | 2147483647 538699 19 | 1.076 % |
308.91/309.28 c | 539107 | 4872 255519 1814532 | 2147483647 539039 19 | 1.076 % |
309.21/309.52 c | 539479 | 4872 255519 1814532 | 2147483647 539411 19 | 1.076 % |
309.31/309.63 c | 539888 | 4872 255519 1814532 | 2147483647 539820 19 | 1.076 % |
309.81/310.13 c | 540337 | 4872 255519 1814532 | 2147483647 540269 19 | 1.076 % |
310.01/310.32 c | 540830 | 4872 255519 1814532 | 2147483647 540762 19 | 1.076 % |
310.21/310.56 c | 541372 | 4872 255519 1814532 | 2147483647 541304 19 | 1.076 % |
310.81/311.13 c | 541968 | 4872 255519 1814532 | 2147483647 541900 19 | 1.076 % |
311.81/312.11 c | 542624 | 4872 255519 1814532 | 2147483647 542556 19 | 1.076 % |
312.21/312.56 c | 543344 | 4872 255519 1814532 | 2147483647 543276 19 | 1.076 % |
312.90/313.25 c | 544137 | 4872 255519 1814532 | 2147483647 544069 19 | 1.076 % |
313.21/313.52 c | 545009 | 4872 255519 1814532 | 2147483647 544941 19 | 1.076 % |
314.60/314.92 c | 545967 | 4872 255519 1814532 | 2147483647 545899 19 | 1.076 % |
315.20/315.60 c | 547021 | 4872 255519 1814532 | 2147483647 546953 19 | 1.076 % |
316.50/316.85 c | 548179 | 4872 255519 1814532 | 2147483647 548111 19 | 1.076 % |
316.89/317.28 c | 549453 | 4872 255519 1814532 | 2147483647 549385 19 | 1.076 % |
318.89/319.20 c | 550854 | 4872 255519 1814532 | 2147483647 550786 19 | 1.076 % |
320.09/320.47 c | 552396 | 4872 255519 1814532 | 2147483647 552328 19 | 1.076 % |
321.69/322.04 c | 554090 | 4872 255519 1814532 | 2147483647 554022 19 | 1.076 % |
323.19/323.58 c | 555955 | 4872 255519 1814532 | 2147483647 555887 19 | 1.076 % |
324.69/325.08 c | 558004 | 4872 255519 1814532 | 2147483647 557936 19 | 1.076 % |
327.69/328.01 c | 560257 | 4872 255519 1814532 | 2147483647 560189 19 | 1.076 % |
330.39/330.74 c | 562736 | 4872 255519 1814532 | 2147483647 562668 19 | 1.076 % |
332.68/333.05 c | 565462 | 4872 255519 1814532 | 2147483647 565394 19 | 1.076 % |
335.28/335.68 c | 568462 | 4872 255519 1814532 | 2147483647 568394 19 | 1.076 % |
336.98/337.34 c | 571760 | 4872 255519 1814532 | 2147483647 571692 19 | 1.076 % |
341.79/342.12 c | 575386 | 4872 255519 1814532 | 2147483647 575318 19 | 1.076 % |
345.09/345.42 c | 579374 | 4872 255519 1814532 | 2147483647 579306 19 | 1.076 % |
348.29/348.67 c | 583759 | 4871 255507 1814501 | 2147483647 583687 19 | 1.096 % |
350.68/351.08 c | 588582 | 4871 255507 1814501 | 2147483647 588510 19 | 1.096 % |
352.48/352.89 c | 593887 | 4871 255507 1814501 | 2147483647 593815 19 | 1.096 % |
352.58/353.00 c | 593987 | 4871 255507 1814501 | 2147483647 593915 19 | 1.096 % |
352.78/353.12 c | 594099 | 4871 255507 1814501 | 2147483647 594027 19 | 1.096 % |
352.98/353.32 c | 594220 | 4871 255507 1814501 | 2147483647 594148 19 | 1.096 % |
353.08/353.40 c | 594354 | 4871 255507 1814501 | 2147483647 594282 19 | 1.096 % |
353.08/353.48 c | 594500 | 4871 255507 1814501 | 2147483647 594428 19 | 1.096 % |
353.28/353.60 c | 594661 | 4871 255507 1814501 | 2147483647 594589 19 | 1.096 % |
353.48/353.82 c | 594838 | 4871 255507 1814501 | 2147483647 594766 19 | 1.096 % |
353.48/353.88 c | 595033 | 4871 255507 1814501 | 2147483647 594961 19 | 1.096 % |
353.88/354.21 c | 595247 | 4871 255507 1814501 | 2147483647 595175 19 | 1.096 % |
353.98/354.36 c | 595480 | 4871 255507 1814501 | 2147483647 595408 19 | 1.096 % |
354.08/354.46 c | 595738 | 4871 255507 1814501 | 2147483647 595666 19 | 1.096 % |
354.38/354.72 c | 596021 | 4871 255507 1814501 | 2147483647 595949 19 | 1.096 % |
354.48/354.85 c | 596330 | 4871 255507 1814501 | 2147483647 596258 19 | 1.096 % |
354.58/354.96 c | 596669 | 4871 255507 1814501 | 2147483647 596597 19 | 1.096 % |
354.98/355.31 c | 597041 | 4871 255507 1814501 | 2147483647 596969 19 | 1.096 % |
355.08/355.48 c | 597451 | 4871 255507 1814501 | 2147483647 597379 19 | 1.096 % |
355.68/356.00 c | 597900 | 4871 255507 1814501 | 2147483647 597828 19 | 1.096 % |
355.78/356.16 c | 598393 | 4871 255507 1814501 | 2147483647 598321 19 | 1.096 % |
356.58/356.90 c | 598936 | 4871 255507 1814501 | 2147483647 598864 19 | 1.096 % |
356.98/357.34 c | 599532 | 4871 255507 1814501 | 2147483647 599460 19 | 1.096 % |
357.67/358.01 c | 600188 | 4871 255507 1814501 | 2147483647 600116 19 | 1.096 % |
358.07/358.40 c | 600909 | 4871 255507 1814501 | 2147483647 600837 19 | 1.096 % |
358.97/359.36 c | 601703 | 4871 255507 1814501 | 2147483647 601631 19 | 1.096 % |
359.28/359.67 c | 602574 | 4871 255507 1814501 | 2147483647 602502 19 | 1.096 % |
362.27/362.68 c | 603533 | 4871 255507 1814501 | 2147483647 603461 19 | 1.096 % |
363.27/363.61 c | 604587 | 4871 255507 1814501 | 2147483647 604515 19 | 1.096 % |
364.27/364.61 c | 605745 | 4871 255507 1814501 | 2147483647 605673 19 | 1.096 % |
365.37/365.75 c | 607018 | 4871 255507 1814501 | 2147483647 606946 19 | 1.096 % |
365.57/365.98 c | 608419 | 4871 255507 1814501 | 2147483647 608347 19 | 1.096 % |
366.67/367.02 c | 609959 | 4871 255507 1814501 | 2147483647 609887 19 | 1.096 % |
368.07/368.46 c | 611654 | 4871 255507 1814501 | 2147483647 611582 19 | 1.096 % |
370.46/370.80 c | 613518 | 4871 255507 1814501 | 2147483647 613446 19 | 1.096 % |
371.76/372.13 c | 615568 | 4871 255507 1814501 | 2147483647 615496 19 | 1.096 % |
373.58/373.97 c | 617822 | 4871 255507 1814501 | 2147483647 617750 19 | 1.096 % |
375.87/376.23 c | 620301 | 4871 255507 1814501 | 2147483647 620229 19 | 1.096 % |
379.57/379.92 c | 623027 | 4871 255507 1814501 | 2147483647 622955 19 | 1.096 % |
382.97/383.37 c | 626024 | 4871 255507 1814501 | 2147483647 625952 19 | 1.096 % |
385.77/386.17 c | 629323 | 4871 255507 1814501 | 2147483647 629251 19 | 1.096 % |
389.26/389.64 c | 632948 | 4871 255507 1814501 | 2147483647 632876 19 | 1.096 % |
394.06/394.45 c | 636936 | 4871 255507 1814501 | 2147483647 636864 19 | 1.096 % |
397.96/398.30 c | 641321 | 4871 255507 1814501 | 2147483647 641249 19 | 1.096 % |
401.96/402.36 c | 646144 | 4871 255507 1814501 | 2147483647 646072 19 | 1.096 % |
409.35/409.79 c | 651449 | 4871 255507 1814501 | 2147483647 651377 19 | 1.096 % |
411.95/412.34 c | 657285 | 4871 255507 1814501 | 2147483647 657213 19 | 1.096 % |
411.95/412.37 c | 657386 | 4871 255507 1814501 | 2147483647 657314 19 | 1.096 % |
412.35/412.71 c | 657499 | 4871 255507 1814501 | 2147483647 657427 19 | 1.096 % |
412.45/412.82 c | 657621 | 4871 255507 1814501 | 2147483647 657549 19 | 1.096 % |
412.64/413.05 c | 657755 | 4871 255507 1814501 | 2147483647 657683 19 | 1.096 % |
412.74/413.11 c | 657901 | 4871 255507 1814501 | 2147483647 657829 19 | 1.096 % |
413.04/413.44 c | 658062 | 4871 255507 1814501 | 2147483647 657990 19 | 1.096 % |
413.34/413.78 c | 658239 | 4871 255507 1814501 | 2147483647 658167 19 | 1.096 % |
413.44/413.90 c | 658432 | 4871 255507 1814501 | 2147483647 658360 19 | 1.096 % |
413.94/414.32 c | 658644 | 4871 255507 1814501 | 2147483647 658572 19 | 1.096 % |
414.35/414.72 c | 658877 | 4871 255507 1814501 | 2147483647 658805 19 | 1.096 % |
414.35/414.80 c | 659134 | 4871 255507 1814501 | 2147483647 659062 19 | 1.096 % |
414.54/414.92 c | 659416 | 4871 255507 1814501 | 2147483647 659344 19 | 1.096 % |
415.04/415.43 c | 659725 | 4871 255507 1814501 | 2147483647 659653 19 | 1.096 % |
415.24/415.67 c | 660065 | 4871 255507 1814501 | 2147483647 659993 19 | 1.096 % |
415.74/416.11 c | 660438 | 4871 255507 1814501 | 2147483647 660366 19 | 1.096 % |
416.14/416.51 c | 660849 | 4871 255507 1814501 | 2147483647 660777 19 | 1.096 % |
416.45/416.85 c | 661299 | 4871 255507 1814501 | 2147483647 661227 19 | 1.096 % |
416.85/417.27 c | 661795 | 4871 255507 1814501 | 2147483647 661723 19 | 1.096 % |
417.05/417.48 c | 662337 | 4871 255507 1814501 | 2147483647 662265 19 | 1.096 % |
418.15/418.56 c | 662935 | 4871 255507 1814501 | 2147483647 662863 19 | 1.096 % |
418.85/419.20 c | 663591 | 4871 255507 1814501 | 2147483647 663519 19 | 1.096 % |
419.75/420.18 c | 664313 | 4871 255507 1814501 | 2147483647 664241 19 | 1.096 % |
420.45/420.87 c | 665105 | 4870 255507 1814501 | 2147483647 665032 19 | 1.117 % |
421.95/422.34 c | 665977 | 4870 255507 1814501 | 2147483647 665904 19 | 1.117 % |
423.35/423.76 c | 666935 | 4870 255507 1814501 | 2147483647 666862 19 | 1.117 % |
423.75/424.14 c | 667988 | 4870 255507 1814501 | 2147483647 667915 19 | 1.117 % |
424.55/424.98 c | 669147 | 4870 255507 1814501 | 2147483647 669074 19 | 1.117 % |
424.95/425.36 c | 670420 | 4870 255507 1814501 | 2147483647 670347 19 | 1.117 % |
426.55/426.95 c | 671820 | 4870 255507 1814501 | 2147483647 671747 19 | 1.117 % |
428.45/428.85 c | 673361 | 4870 255507 1814501 | 2147483647 673288 19 | 1.117 % |
429.45/429.88 c | 675056 | 4870 255507 1814501 | 2147483647 674983 19 | 1.117 % |
431.45/431.87 c | 676921 | 4870 255507 1814501 | 2147483647 676848 19 | 1.117 % |
432.75/433.14 c | 678970 | 4870 255507 1814501 | 2147483647 678897 19 | 1.117 % |
436.35/436.79 c | 681223 | 4870 255507 1814501 | 2147483647 681150 19 | 1.117 % |
438.14/438.53 c | 683701 | 4870 255507 1814501 | 2147483647 683628 19 | 1.117 % |
439.64/440.09 c | 686429 | 4870 255507 1814501 | 2147483647 686356 19 | 1.117 % |
445.04/445.45 c | 689426 | 4870 255507 1814501 | 2147483647 689353 19 | 1.117 % |
452.43/452.85 c | 692724 | 4870 255507 1814501 | 2147483647 692651 19 | 1.117 % |
456.12/456.50 c | 696351 | 4870 255507 1814501 | 2147483647 696278 19 | 1.117 % |
460.02/460.42 c | 700340 | 4870 255507 1814501 | 2147483647 700267 19 | 1.117 % |
465.52/465.93 c | 704728 | 4870 255507 1814501 | 2147483647 704655 19 | 1.117 % |
471.01/471.44 c | 709551 | 4870 255507 1814501 | 2147483647 709478 19 | 1.117 % |
475.92/476.32 c | 714857 | 4870 255507 1814501 | 2147483647 714784 19 | 1.117 % |
482.31/482.79 c | 720695 | 4868 255507 1814501 | 2147483647 720621 19 | 1.157 % |
489.11/489.51 c | 727113 | 4868 255507 1814501 | 2147483647 727039 19 | 1.157 % |
489.11/489.59 c | 727213 | 4868 255507 1814501 | 2147483647 727139 19 | 1.157 % |
489.30/489.73 c | 727323 | 4868 255507 1814501 | 2147483647 727249 19 | 1.157 % |
489.30/489.79 c | 727445 | 4868 255507 1814501 | 2147483647 727371 19 | 1.157 % |
489.40/489.83 c | 727579 | 4868 255507 1814501 | 2147483647 727505 19 | 1.157 % |
489.90/490.34 c | 727726 | 4868 255507 1814501 | 2147483647 727652 19 | 1.157 % |
490.00/490.44 c | 727887 | 4868 255507 1814501 | 2147483647 727813 19 | 1.157 % |
490.11/490.54 c | 728065 | 4868 255507 1814501 | 2147483647 727991 19 | 1.157 % |
490.40/490.88 c | 728259 | 4868 255507 1814501 | 2147483647 728185 19 | 1.157 % |
490.80/491.23 c | 728471 | 4868 255507 1814501 | 2147483647 728397 19 | 1.157 % |
490.90/491.32 c | 728705 | 4868 255507 1814501 | 2147483647 728631 19 | 1.157 % |
491.10/491.54 c | 728962 | 4868 255507 1814501 | 2147483647 728888 19 | 1.157 % |
491.21/491.65 c | 729243 | 4868 255507 1814501 | 2147483647 729169 19 | 1.157 % |
491.50/491.92 c | 729552 | 4868 255507 1814501 | 2147483647 729478 19 | 1.157 % |
491.70/492.14 c | 729891 | 4868 255507 1814501 | 2147483647 729817 19 | 1.157 % |
492.00/492.42 c | 730264 | 4868 255507 1814501 | 2147483647 730190 19 | 1.157 % |
492.41/492.85 c | 730673 | 4868 255507 1814501 | 2147483647 730599 19 | 1.157 % |
492.70/493.16 c | 731125 | 4868 255507 1814501 | 2147483647 731051 19 | 1.157 % |
492.90/493.37 c | 731619 | 4868 255507 1814501 | 2147483647 731545 19 | 1.157 % |
494.11/494.56 c | 732161 | 4868 255507 1814501 | 2147483647 732087 19 | 1.157 % |
495.01/495.43 c | 732757 | 4868 255507 1814501 | 2147483647 732683 19 | 1.157 % |
495.21/495.66 c | 733413 | 4868 255507 1814501 | 2147483647 733339 19 | 1.157 % |
496.21/496.62 c | 734134 | 4868 255507 1814501 | 2147483647 734060 19 | 1.157 % |
496.61/497.06 c | 734926 | 4868 255507 1814501 | 2147483647 734852 19 | 1.157 % |
497.81/498.25 c | 735797 | 4868 255507 1814501 | 2147483647 735723 19 | 1.157 % |
498.80/499.29 c | 736755 | 4868 255507 1814501 | 2147483647 736681 19 | 1.157 % |
500.30/500.78 c | 737809 | 4868 255507 1814501 | 2147483647 737735 19 | 1.157 % |
501.00/501.50 c | 738967 | 4868 255507 1814501 | 2147483647 738893 19 | 1.157 % |
502.10/502.58 c | 740241 | 4868 255507 1814501 | 2147483647 740167 19 | 1.157 % |
502.70/503.19 c | 741642 | 4868 255507 1814501 | 2147483647 741568 19 | 1.157 % |
506.10/506.50 c | 743183 | 4868 255507 1814501 | 2147483647 743109 19 | 1.157 % |
506.40/506.85 c | 744877 | 4868 255507 1814501 | 2147483647 744803 19 | 1.157 % |
508.00/508.43 c | 746741 | 4868 255507 1814501 | 2147483647 746667 19 | 1.157 % |
510.90/511.35 c | 748790 | 4868 255507 1814501 | 2147483647 748716 19 | 1.157 % |
515.20/515.66 c | 751043 | 4868 255507 1814501 | 2147483647 750969 19 | 1.157 % |
518.99/519.48 c | 753521 | 4868 255507 1814501 | 2147483647 753447 19 | 1.157 % |
522.19/522.69 c | 756247 | 4868 255507 1814501 | 2147483647 756173 19 | 1.157 % |
526.29/526.75 c | 759246 | 4868 255507 1814501 | 2147483647 759172 19 | 1.157 % |
534.49/534.98 c | 762542 | 4868 255481 1814413 | 2147483647 762465 19 | 1.157 % |
537.49/537.91 c | 766168 | 4868 255481 1814413 | 2147483647 766091 19 | 1.157 % |
541.98/542.49 c | 770156 | 4868 255481 1814413 | 2147483647 770079 19 | 1.157 % |
553.27/553.70 c | 774541 | 4868 255481 1814413 | 2147483647 774464 19 | 1.157 % |
562.67/563.19 c | 779365 | 4868 255481 1814413 | 2147483647 779288 20 | 1.157 % |
567.88/568.32 c | 784670 | 4868 255481 1814413 | 2147483647 784593 20 | 1.157 % |
584.67/585.12 c | 790505 | 4868 255481 1814413 | 2147483647 790428 20 | 1.157 % |
594.45/594.95 c | 796925 | 4868 255481 1814413 | 2147483647 796848 20 | 1.157 % |
600.15/600.66 c | 803985 | 4868 255481 1814413 | 2147483647 803908 20 | 1.157 % |
600.24/600.76 c | 804086 | 4868 255481 1814413 | 2147483647 804009 20 | 1.157 % |
600.34/600.84 c | 804198 | 4868 255481 1814413 | 2147483647 804121 20 | 1.157 % |
600.44/600.92 c | 804320 | 4868 255481 1814413 | 2147483647 804243 20 | 1.157 % |
600.54/601.00 c | 804453 | 4868 255481 1814413 | 2147483647 804376 20 | 1.157 % |
600.84/601.36 c | 804599 | 4868 255481 1814413 | 2147483647 804522 20 | 1.157 % |
600.94/601.48 c | 804759 | 4868 255481 1814413 | 2147483647 804682 20 | 1.157 % |
601.15/601.67 c | 804935 | 4868 255481 1814413 | 2147483647 804858 20 | 1.157 % |
601.34/601.82 c | 805130 | 4868 255481 1814413 | 2147483647 805053 20 | 1.157 % |
601.54/602.08 c | 805342 | 4868 255481 1814413 | 2147483647 805265 20 | 1.157 % |
601.74/602.29 c | 805575 | 4868 255481 1814413 | 2147483647 805498 20 | 1.157 % |
601.94/602.43 c | 805831 | 4868 255481 1814413 | 2147483647 805754 20 | 1.157 % |
602.04/602.57 c | 806113 | 4868 255481 1814413 | 2147483647 806036 20 | 1.157 % |
602.34/602.83 c | 806424 | 4868 255481 1814413 | 2147483647 806347 20 | 1.157 % |
602.44/602.96 c | 806763 | 4868 255481 1814413 | 2147483647 806686 20 | 1.157 % |
603.04/603.58 c | 807136 | 4868 255481 1814413 | 2147483647 807059 20 | 1.157 % |
603.54/604.05 c | 807545 | 4868 255481 1814413 | 2147483647 807468 20 | 1.157 % |
604.24/604.73 c | 807996 | 4868 255481 1814413 | 2147483647 807919 20 | 1.157 % |
604.94/605.45 c | 808489 | 4868 255481 1814413 | 2147483647 808412 20 | 1.157 % |
605.24/605.72 c | 809031 | 4868 255481 1814413 | 2147483647 808954 20 | 1.157 % |
606.04/606.56 c | 809629 | 4868 255481 1814413 | 2147483647 809552 20 | 1.157 % |
607.04/607.54 c | 810285 | 4868 255481 1814413 | 2147483647 810208 20 | 1.157 % |
607.34/607.85 c | 811006 | 4868 255481 1814413 | 2147483647 810929 20 | 1.157 % |
608.24/608.71 c | 811799 | 4868 255481 1814413 | 2147483647 811722 20 | 1.157 % |
608.84/609.34 c | 812671 | 4868 255481 1814413 | 2147483647 812594 20 | 1.157 % |
610.24/610.73 c | 813629 | 4868 255481 1814413 | 2147483647 813552 20 | 1.157 % |
610.64/611.18 c | 814683 | 4868 255481 1814413 | 2147483647 814606 20 | 1.157 % |
613.53/614.04 c | 815841 | 4868 255481 1814413 | 2147483647 815764 20 | 1.157 % |
616.13/616.62 c | 817115 | 4868 255481 1814413 | 2147483647 817038 20 | 1.157 % |
617.83/618.37 c | 818517 | 4868 255481 1814413 | 2147483647 818440 20 | 1.157 % |
619.33/619.86 c | 820058 | 4868 255481 1814413 | 2147483647 819981 20 | 1.157 % |
622.24/622.70 c | 821753 | 4868 255481 1814413 | 2147483647 821676 20 | 1.157 % |
623.94/624.46 c | 823617 | 4868 255481 1814413 | 2147483647 823540 20 | 1.157 % |
626.34/626.86 c | 825667 | 4868 255481 1814413 | 2147483647 825590 20 | 1.157 % |
628.54/629.03 c | 827920 | 4868 255481 1814413 | 2147483647 827843 20 | 1.157 % |
629.34/629.85 c | 830398 | 4868 255481 1814413 | 2147483647 830321 20 | 1.157 % |
632.33/632.80 c | 833123 | 4868 255481 1814413 | 2147483647 833046 20 | 1.157 % |
636.02/636.52 c | 836122 | 4868 255481 1814413 | 2147483647 836045 20 | 1.157 % |
641.12/641.66 c | 839419 | 4868 255481 1814413 | 2147483647 839342 20 | 1.157 % |
646.61/647.12 c | 843044 | 4868 255481 1814413 | 2147483647 842967 20 | 1.157 % |
650.81/651.34 c | 847031 | 4868 255481 1814413 | 2147483647 846954 20 | 1.157 % |
654.31/654.90 c | 851417 | 4868 255481 1814413 | 2147483647 851340 20 | 1.157 % |
660.81/661.36 c | 856241 | 4867 255481 1814413 | 2147483647 856163 20 | 1.178 % |
668.31/668.81 c | 861546 | 4867 255481 1814413 | 2147483647 861468 20 | 1.178 % |
676.60/677.15 c | 867381 | 4867 255481 1814413 | 2147483647 867303 20 | 1.178 % |
685.90/686.42 c | 873800 | 4867 255481 1814413 | 2147483647 873722 20 | 1.178 % |
697.68/698.27 c | 880859 | 4867 255481 1814413 | 2147483647 880781 20 | 1.178 % |
715.18/715.70 c | 888627 | 4867 255481 1814413 | 2147483647 888549 20 | 1.178 % |
715.28/715.82 c | 888727 | 4867 255481 1814413 | 2147483647 888649 20 | 1.178 % |
715.28/715.89 c | 888837 | 4867 255481 1814413 | 2147483647 888759 20 | 1.178 % |
715.58/716.18 c | 888959 | 4867 255481 1814413 | 2147483647 888881 20 | 1.178 % |
715.78/716.32 c | 889094 | 4867 255481 1814413 | 2147483647 889016 20 | 1.178 % |
715.98/716.58 c | 889240 | 4867 255481 1814413 | 2147483647 889162 20 | 1.178 % |
716.18/716.80 c | 889401 | 4867 255481 1814413 | 2147483647 889323 20 | 1.178 % |
716.48/717.02 c | 889577 | 4867 255481 1814413 | 2147483647 889499 20 | 1.178 % |
716.78/717.35 c | 889771 | 4867 255481 1814413 | 2147483647 889693 20 | 1.178 % |
717.08/717.68 c | 889984 | 4867 255481 1814413 | 2147483647 889906 20 | 1.178 % |
717.28/717.88 c | 890217 | 4867 255481 1814413 | 2147483647 890139 20 | 1.178 % |
718.08/718.64 c | 890473 | 4867 255481 1814413 | 2147483647 890395 20 | 1.178 % |
718.48/719.05 c | 890754 | 4867 255481 1814413 | 2147483647 890676 20 | 1.178 % |
718.88/719.48 c | 891063 | 4867 255481 1814413 | 2147483647 890985 20 | 1.178 % |
719.58/720.20 c | 891402 | 4867 255481 1814413 | 2147483647 891324 20 | 1.178 % |
719.88/720.48 c | 891775 | 4867 255481 1814413 | 2147483647 891697 20 | 1.178 % |
720.37/720.96 c | 892185 | 4867 255481 1814413 | 2147483647 892107 20 | 1.178 % |
721.27/721.84 c | 892636 | 4867 255481 1814413 | 2147483647 892558 20 | 1.178 % |
721.67/722.21 c | 893129 | 4867 255481 1814413 | 2147483647 893051 20 | 1.178 % |
722.27/722.87 c | 893671 | 4867 255481 1814413 | 2147483647 893593 20 | 1.178 % |
722.77/723.30 c | 894269 | 4867 255481 1814413 | 2147483647 894191 20 | 1.178 % |
724.47/725.05 c | 894924 | 4867 255481 1814413 | 2147483647 894846 20 | 1.178 % |
725.47/726.10 c | 895645 | 4867 255481 1814413 | 2147483647 895567 20 | 1.178 % |
726.97/727.55 c | 896438 | 4867 255481 1814413 | 2147483647 896360 20 | 1.178 % |
727.97/728.59 c | 897312 | 4867 255481 1814413 | 2147483647 897234 20 | 1.178 % |
729.87/730.47 c | 898270 | 4867 255481 1814413 | 2147483647 898192 20 | 1.178 % |
730.46/731.02 c | 899323 | 4867 255481 1814413 | 2147483647 899245 20 | 1.178 % |
730.76/731.40 c | 900482 | 4867 255481 1814413 | 2147483647 900404 20 | 1.178 % |
732.17/732.77 c | 901756 | 4867 255481 1814413 | 2147483647 901678 20 | 1.178 % |
733.87/734.48 c | 903157 | 4867 255481 1814413 | 2147483647 903079 20 | 1.178 % |
735.47/736.03 c | 904698 | 4867 255481 1814413 | 2147483647 904620 20 | 1.178 % |
738.47/739.01 c | 906392 | 4867 255481 1814413 | 2147483647 906314 20 | 1.178 % |
739.07/739.69 c | 908255 | 4867 255481 1814413 | 2147483647 908177 20 | 1.178 % |
742.57/743.10 c | 910304 | 4867 255481 1814413 | 909922 819226 20 | 1.178 % |
745.97/746.59 c | 912558 | 4867 255481 1814413 | 909922 821480 20 | 1.178 % |
747.77/748.31 c | 915036 | 4867 255481 1814413 | 909922 823958 20 | 1.178 % |
752.06/752.62 c | 917762 | 4867 255481 1814413 | 909922 826684 20 | 1.178 % |
755.26/755.86 c | 920760 | 4867 255481 1814413 | 2147483647 829682 20 | 1.178 % |
759.36/759.99 c | 924056 | 4867 255481 1814413 | 2147483647 832978 20 | 1.178 % |
767.15/767.76 c | 927681 | 4867 255481 1814413 | 2147483647 836603 20 | 1.178 % |
771.84/772.41 c | 931670 | 4867 255481 1814413 | 2147483647 840592 20 | 1.178 % |
774.54/775.14 c | 936055 | 4867 255481 1814413 | 2147483647 844977 20 | 1.178 % |
781.74/782.33 c | 940879 | 4867 255481 1814413 | 2147483647 849801 20 | 1.178 % |
784.74/785.32 c | 946185 | 4867 255469 1814382 | 2147483647 855106 19 | 1.178 % |
791.23/791.81 c | 952021 | 4867 255469 1814382 | 2147483647 860942 19 | 1.178 % |
804.73/805.33 c | 958439 | 4867 255469 1814382 | 2147483647 867360 19 | 1.178 % |
816.81/817.49 c | 965498 | 4867 255469 1814382 | 2147483647 874419 19 | 1.178 % |
828.31/828.91 c | 973263 | 4866 255469 1814382 | 2147483647 882183 20 | 1.198 % |
841.61/842.22 c | 981803 | 4866 255469 1814382 | 2147483647 890723 20 | 1.198 % |
841.71/842.30 c | 981904 | 4866 255469 1814382 | 2147483647 890824 20 | 1.198 % |
841.81/842.41 c | 982014 | 4866 255469 1814382 | 2147483647 890934 20 | 1.198 % |
841.91/842.59 c | 982135 | 4866 255469 1814382 | 2147483647 891055 20 | 1.198 % |
842.11/842.70 c | 982268 | 4866 255469 1814382 | 2147483647 891188 20 | 1.198 % |
842.31/842.99 c | 982415 | 4866 255469 1814382 | 2147483647 891335 20 | 1.198 % |
842.61/843.21 c | 982576 | 4866 255469 1814382 | 2147483647 891496 20 | 1.198 % |
843.11/843.75 c | 982752 | 4866 255469 1814382 | 2147483647 891672 20 | 1.198 % |
843.30/843.98 c | 982946 | 4866 255469 1814382 | 2147483647 891866 20 | 1.198 % |
843.40/844.09 c | 983158 | 4866 255469 1814382 | 2147483647 892078 20 | 1.198 % |
843.80/844.42 c | 983392 | 4866 255469 1814382 | 2147483647 892312 20 | 1.198 % |
844.00/844.65 c | 983648 | 4866 255469 1814382 | 2147483647 892568 20 | 1.198 % |
844.60/845.20 c | 983930 | 4866 255469 1814382 | 2147483647 892850 20 | 1.198 % |
845.10/845.71 c | 984240 | 4866 255469 1814382 | 2147483647 893160 20 | 1.198 % |
845.50/846.12 c | 984580 | 4866 255469 1814382 | 2147483647 893500 20 | 1.198 % |
845.70/846.39 c | 984952 | 4866 255469 1814382 | 2147483647 893872 20 | 1.198 % |
846.20/846.84 c | 985361 | 4866 255469 1814382 | 2147483647 894281 20 | 1.198 % |
847.00/847.65 c | 985810 | 4866 255469 1814382 | 2147483647 894730 20 | 1.198 % |
848.10/848.71 c | 986303 | 4866 255469 1814382 | 2147483647 895223 20 | 1.198 % |
848.61/849.24 c | 986845 | 4866 255469 1814382 | 2147483647 895765 20 | 1.198 % |
848.90/849.53 c | 987441 | 4866 255469 1814382 | 2147483647 896361 20 | 1.198 % |
849.61/850.22 c | 988098 | 4866 255469 1814382 | 2147483647 897018 20 | 1.198 % |
850.50/851.11 c | 988818 | 4866 255469 1814382 | 2147483647 897738 20 | 1.198 % |
851.30/851.97 c | 989610 | 4866 255469 1814382 | 2147483647 898530 20 | 1.198 % |
852.70/853.31 c | 990481 | 4866 255469 1814382 | 2147483647 899401 20 | 1.198 % |
853.10/853.77 c | 991439 | 4866 255469 1814382 | 2147483647 900359 20 | 1.198 % |
854.50/855.13 c | 992492 | 4866 255469 1814382 | 2147483647 901412 20 | 1.198 % |
855.50/856.20 c | 993650 | 4866 255469 1814382 | 2147483647 902570 20 | 1.198 % |
858.30/858.98 c | 994923 | 4866 255469 1814382 | 2147483647 903843 20 | 1.198 % |
860.49/861.14 c | 996323 | 4866 255469 1814382 | 2147483647 905243 20 | 1.198 % |
863.59/864.28 c | 997863 | 4866 255469 1814382 | 2147483647 906783 20 | 1.198 % |
864.39/865.05 c | 999557 | 4866 255469 1814382 | 2147483647 908477 20 | 1.198 % |
865.10/865.73 c | 1001421 | 4866 255469 1814382 | 2147483647 910341 20 | 1.198 % |
867.59/868.26 c | 1003472 | 4866 255469 1814382 | 2147483647 912392 20 | 1.198 % |
869.89/870.58 c | 1005726 | 4866 255469 1814382 | 2147483647 914646 20 | 1.198 % |
872.89/873.51 c | 1008204 | 4866 255469 1814382 | 2147483647 917124 20 | 1.198 % |
875.59/876.24 c | 1010930 | 4866 255469 1814382 | 2147483647 919850 20 | 1.198 % |
879.69/880.35 c | 1013927 | 4866 255469 1814382 | 2147483647 922847 20 | 1.198 % |
881.99/882.69 c | 1017224 | 4866 255469 1814382 | 2147483647 926144 20 | 1.198 % |
884.98/885.66 c | 1020849 | 4866 255469 1814382 | 2147483647 929769 20 | 1.198 % |
889.18/889.90 c | 1024838 | 4866 255469 1814382 | 2147483647 933758 20 | 1.198 % |
895.09/895.77 c | 1029225 | 4866 255469 1814382 | 2147483647 938145 20 | 1.198 % |
900.98/901.65 c | 1034049 | 4866 255469 1814382 | 2147483647 942969 20 | 1.198 % |
908.65/909.36 c | 1039356 | 4865 255469 1814382 | 2147483647 948275 20 | 1.218 % |
923.45/924.10 c | 1045193 | 4865 255469 1814382 | 2147483647 954112 20 | 1.218 % |
930.74/931.49 c | 1051612 | 4865 255469 1814382 | 2147483647 960531 20 | 1.218 % |
947.73/948.44 c | 1058671 | 4865 255469 1814382 | 2147483647 967590 20 | 1.218 % |
959.84/960.58 c | 1066435 | 4865 255469 1814382 | 2147483647 975354 20 | 1.218 % |
965.83/966.58 c | 1074976 | 4865 255469 1814382 | 2147483647 983895 20 | 1.218 % |
975.33/976.03 c | 1084372 | 4865 255469 1814382 | 2147483647 993291 20 | 1.218 % |
975.53/976.20 c | 1084472 | 4865 255469 1814382 | 2147483647 993391 20 | 1.218 % |
975.63/976.36 c | 1084582 | 4865 255469 1814382 | 2147483647 993501 20 | 1.218 % |
975.73/976.44 c | 1084703 | 4865 255469 1814382 | 2147483647 993622 20 | 1.218 % |
975.83/976.57 c | 1084838 | 4865 255469 1814382 | 2147483647 993757 20 | 1.218 % |
976.13/976.87 c | 1084986 | 4865 255469 1814382 | 2147483647 993905 20 | 1.218 % |
976.53/977.27 c | 1085146 | 4865 255469 1814382 | 2147483647 994065 20 | 1.218 % |
976.63/977.39 c | 1085324 | 4865 255469 1814382 | 2147483647 994243 20 | 1.218 % |
976.93/977.62 c | 1085517 | 4865 255469 1814382 | 2147483647 994436 20 | 1.218 % |
977.53/978.23 c | 1085731 | 4865 255469 1814382 | 2147483647 994650 20 | 1.218 % |
977.73/978.48 c | 1085964 | 4865 255469 1814382 | 2147483647 994883 20 | 1.218 % |
978.23/978.93 c | 1086220 | 4865 255469 1814382 | 2147483647 995139 20 | 1.218 % |
978.33/979.09 c | 1086501 | 4865 255469 1814382 | 2147483647 995420 20 | 1.218 % |
978.63/979.38 c | 1086810 | 4865 255469 1814382 | 2147483647 995729 20 | 1.218 % |
979.12/979.84 c | 1087149 | 4865 255469 1814382 | 2147483647 996068 20 | 1.218 % |
979.62/980.36 c | 1087521 | 4865 255469 1814382 | 2147483647 996440 20 | 1.218 % |
980.92/981.62 c | 1087931 | 4865 255469 1814382 | 2147483647 996850 20 | 1.218 % |
981.42/982.19 c | 1088381 | 4865 255469 1814382 | 2147483647 997300 20 | 1.218 % |
982.22/982.97 c | 1088875 | 4865 255469 1814382 | 2147483647 997794 20 | 1.218 % |
983.02/983.76 c | 1089418 | 4865 255469 1814382 | 2147483647 998337 20 | 1.218 % |
984.22/984.94 c | 1090015 | 4865 255469 1814382 | 998920 998934 20 | 1.218 % |
984.72/985.46 c | 1090670 | 4865 255469 1814382 | 998920 999589 20 | 1.218 % |
987.62/988.33 c | 1091390 | 4865 255469 1814382 | 998920 895728 20 | 1.218 % |
988.42/989.18 c | 1092183 | 4865 255469 1814382 | 998920 896521 20 | 1.218 % |
988.92/989.65 c | 1093055 | 4865 255469 1814382 | 998920 897393 20 | 1.218 % |
991.22/991.90 c | 1094014 | 4865 255469 1814382 | 998920 898352 20 | 1.218 % |
992.11/992.88 c | 1095068 | 4865 255469 1814382 | 998920 899406 20 | 1.218 % |
993.11/993.88 c | 1096227 | 4865 255469 1814382 | 998920 900565 20 | 1.218 % |
996.11/996.80 c | 1097500 | 4865 255469 1814382 | 998920 901838 20 | 1.218 % |
999.11/999.81 c | 1098900 | 4865 255469 1814382 | 998920 903238 20 | 1.218 % |
1000.51/1001.24 c | 1100440 | 4865 255469 1814382 | 2147483647 904778 20 | 1.218 % |
1003.21/1003.93 c | 1102134 | 4865 255469 1814382 | 2147483647 906472 20 | 1.218 % |
1004.71/1005.47 c | 1103997 | 4865 255469 1814382 | 2147483647 908335 20 | 1.218 % |
1008.11/1008.87 c | 1106047 | 4865 255469 1814382 | 2147483647 910385 20 | 1.218 % |
1010.81/1011.55 c | 1108301 | 4865 255469 1814382 | 2147483647 912639 20 | 1.218 % |
1012.21/1012.94 c | 1110779 | 4865 255469 1814382 | 2147483647 915117 20 | 1.218 % |
1016.90/1017.69 c | 1113507 | 4865 255469 1814382 | 2147483647 917845 20 | 1.218 % |
1021.90/1022.66 c | 1116504 | 4865 255469 1814382 | 2147483647 920842 20 | 1.218 % |
1029.00/1029.71 c | 1119801 | 4865 255469 1814382 | 2147483647 924139 20 | 1.218 % |
1031.80/1032.55 c | 1123427 | 4865 255469 1814382 | 2147483647 927765 20 | 1.218 % |
1041.18/1041.95 c | 1127414 | 4865 255469 1814382 | 2147483647 931752 20 | 1.218 % |
1046.27/1047.10 c | 1131800 | 4865 255469 1814382 | 2147483647 936138 20 | 1.218 % |
1053.16/1053.99 c | 1136626 | 4865 255469 1814382 | 2147483647 940964 20 | 1.218 % |
1063.66/1064.44 c | 1141931 | 4865 255469 1814382 | 2147483647 946269 20 | 1.218 % |
1069.06/1069.88 c | 1147766 | 4865 255469 1814382 | 2147483647 952104 20 | 1.218 % |
1091.63/1092.45 c | 1154184 | 4865 255469 1814382 | 2147483647 958522 20 | 1.218 % |
1109.23/1110.02 c | 1161243 | 4865 255469 1814382 | 2147483647 965581 20 | 1.218 % |
1116.42/1117.20 c | 1169008 | 4865 255469 1814382 | 2147483647 973346 20 | 1.218 % |
1137.90/1138.76 c | 1177548 | 4865 255469 1814382 | 2147483647 981886 20 | 1.218 % |
1151.40/1152.21 c | 1186942 | 4865 255445 1814320 | 2147483647 991275 20 | 1.218 % |
1162.69/1163.55 c | 1197276 | 4865 255445 1814320 | 2147483647 1001609 20 | 1.218 % |
1162.69/1163.58 c | 1197377 | 4865 255445 1814320 | 2147483647 1001710 20 | 1.218 % |
1162.79/1163.69 c | 1197487 | 4865 255445 1814320 | 2147483647 1001820 20 | 1.218 % |
1163.09/1163.91 c | 1197609 | 4865 255445 1814320 | 2147483647 1001942 20 | 1.218 % |
1163.19/1164.04 c | 1197742 | 4865 255445 1814320 | 2147483647 1002075 20 | 1.218 % |
1163.39/1164.20 c | 1197888 | 4865 255445 1814320 | 2147483647 1002221 20 | 1.218 % |
1163.49/1164.38 c | 1198048 | 4865 255445 1814320 | 2147483647 1002381 20 | 1.218 % |
1163.79/1164.60 c | 1198224 | 4865 255445 1814320 | 2147483647 1002557 20 | 1.218 % |
1164.00/1164.84 c | 1198418 | 4865 255445 1814320 | 2147483647 1002751 20 | 1.218 % |
1164.10/1164.95 c | 1198631 | 4865 255445 1814320 | 2147483647 1002964 20 | 1.218 % |
1164.89/1165.75 c | 1198864 | 4865 255445 1814320 | 2147483647 1003197 20 | 1.218 % |
1165.19/1166.02 c | 1199120 | 4865 255445 1814320 | 2147483647 1003453 20 | 1.218 % |
1165.49/1166.36 c | 1199401 | 4865 255445 1814320 | 2147483647 1003734 20 | 1.218 % |
1165.69/1166.50 c | 1199710 | 4865 255445 1814320 | 2147483647 1004043 20 | 1.218 % |
1166.09/1167.00 c | 1200049 | 4865 255445 1814320 | 2147483647 1004382 20 | 1.218 % |
1166.59/1167.49 c | 1200421 | 4865 255445 1814320 | 2147483647 1004754 20 | 1.218 % |
1167.39/1168.27 c | 1200831 | 4865 255445 1814320 | 2147483647 1005164 20 | 1.218 % |
1167.79/1168.65 c | 1201281 | 4865 255445 1814320 | 2147483647 1005614 20 | 1.218 % |
1168.29/1169.11 c | 1201776 | 4865 255445 1814320 | 2147483647 1006109 20 | 1.218 % |
1169.09/1169.90 c | 1202318 | 4865 255445 1814320 | 2147483647 1006651 20 | 1.218 % |
1169.69/1170.56 c | 1202916 | 4865 255445 1814320 | 2147483647 1007249 20 | 1.218 % |
1170.38/1171.25 c | 1203571 | 4865 255445 1814320 | 2147483647 1007904 20 | 1.218 % |
1171.08/1171.98 c | 1204292 | 4865 255445 1814320 | 2147483647 1008625 20 | 1.218 % |
1172.98/1173.85 c | 1205084 | 4865 255445 1814320 | 2147483647 1009417 20 | 1.218 % |
1173.88/1174.72 c | 1205955 | 4865 255445 1814320 | 2147483647 1010288 20 | 1.218 % |
1174.88/1175.74 c | 1206913 | 4865 255445 1814320 | 2147483647 1011246 20 | 1.218 % |
1177.77/1178.64 c | 1207968 | 4865 255445 1814320 | 2147483647 1012301 20 | 1.218 % |
1179.58/1180.41 c | 1209126 | 4865 255445 1814320 | 2147483647 1013459 20 | 1.218 % |
1180.58/1181.48 c | 1210400 | 4865 255445 1814320 | 2147483647 1014733 20 | 1.218 % |
1183.68/1184.52 c | 1211800 | 4865 255445 1814320 | 2147483647 1016133 20 | 1.218 % |
1186.98/1187.85 c | 1213340 | 4865 255445 1814320 | 2147483647 1017673 20 | 1.218 % |
1187.98/1188.89 c | 1215034 | 4865 255445 1814320 | 2147483647 1019367 20 | 1.218 % |
1193.07/1193.90 c | 1216898 | 4865 255445 1814320 | 2147483647 1021231 20 | 1.218 % |
1195.77/1196.67 c | 1218947 | 4865 255445 1814320 | 2147483647 1023280 20 | 1.218 % |
1199.47/1200.37 c | 1221200 | 4865 255445 1814320 | 2147483647 1025533 20 | 1.218 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833821-1242825321/watcher-1833821-1242825321 -o /tmp/evaluation-result-1833821-1242825321/solver-1833821-1242825321 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833821-1242825321.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: 0.98 0.97 0.99 3/64 18258
/proc/meminfo: memFree=1625616/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310561160 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231882850386 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18258/statm: 1339 235 195 169 0 50 0
[pid=18259] ppid=18258 vsize=5356 CPUtime=0
/proc/18259/stat : 18259 (SatELiteGTI) S 18258 18258 18026 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310561160 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/18259/statm: 1339 238 198 169 0 50 0
[pid=18261] ppid=18259 vsize=192 CPUtime=0
/proc/18261/stat : 18261 (sed) R 18259 18258 18026 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 310561160 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 231880062345 0 0 4096 0 0 0 0 17 0 0 0
/proc/18261/statm: 48 23 16 11 0 11 0
[startup+0.0989351 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 18258
/proc/meminfo: memFree=1625616/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102929 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 18258
/proc/meminfo: memFree=1625616/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30296 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 18258
/proc/meminfo: memFree=1625616/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.703008 s]
/proc/loadavg: 0.98 0.97 0.99 3/64 18258
/proc/meminfo: memFree=1625616/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 18263
/proc/meminfo: memFree=1510336/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
[pid=18263] ppid=18258 vsize=159392 CPUtime=1.47
/proc/18263/stat : 18263 (SatELite_releas) R 18258 18258 18026 0 -1 4194304 32280 0 0 0 129 18 0 0 25 0 1 0 310561161 163217408 32245 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/18263/statm: 39848 32245 71 173 0 39673 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 164748
[startup+3.10128 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 18263
/proc/meminfo: memFree=1496064/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
[pid=18263] ppid=18258 vsize=159904 CPUtime=3.07
/proc/18263/stat : 18263 (SatELite_releas) R 18258 18258 18026 0 -1 4194304 32391 0 0 0 289 18 0 0 25 0 1 0 310561161 163741696 32356 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/18263/statm: 39976 32356 71 173 0 39801 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 165260
[startup+6.30165 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 18263
/proc/meminfo: memFree=1480192/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
[pid=18263] ppid=18258 vsize=180132 CPUtime=6.26
/proc/18263/stat : 18263 (SatELite_releas) R 18258 18258 18026 0 -1 4194304 39222 0 0 0 600 26 0 0 25 0 1 0 310561161 184455168 35661 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/18263/statm: 45033 35661 76 173 0 44858 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 185488
[startup+12.7014 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 18263
/proc/meminfo: memFree=1439936/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
[pid=18263] ppid=18258 vsize=204492 CPUtime=12.65
/proc/18263/stat : 18263 (SatELite_releas) R 18258 18258 18026 0 -1 4194304 45757 0 0 0 1234 31 0 0 25 0 1 0 310561161 209399808 41882 1992294400 134512640 135223648 4294956128 18446744073709551615 134585507 0 0 4096 3 0 0 0 17 0 0 0
/proc/18263/statm: 51123 41882 76 173 0 50948 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 209848
[startup+25.5019 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 18263
/proc/meminfo: memFree=1439808/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=0
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310561160 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18258/statm: 1339 237 197 169 0 50 0
[pid=18263] ppid=18258 vsize=204748 CPUtime=25.45
/proc/18263/stat : 18263 (SatELite_releas) R 18258 18258 18026 0 -1 4194304 45873 0 0 0 2514 31 0 0 25 0 1 0 310561161 209661952 41998 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/18263/statm: 51187 41998 76 173 0 51012 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 210104
[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1571968/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=26172 CPUtime=9.49
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 6380 0 0 0 943 6 0 0 25 0 1 0 310565318 26800128 6366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 6543 6366 77 171 0 6370 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 31528
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1551744/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=46316 CPUtime=60.63
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 11320 0 0 0 6052 11 0 0 25 0 1 0 310565318 47427584 11306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 11579 11306 77 171 0 11406 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 51672
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1538048/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=60348 CPUtime=120.58
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 14759 0 0 0 12043 15 0 0 25 0 1 0 310565318 61796352 14745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 15087 14745 77 171 0 14914 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 65704
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1526912/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=70988 CPUtime=180.55
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 17495 0 0 0 18036 19 0 0 25 0 1 0 310565318 72691712 17481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 17747 17481 77 171 0 17574 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 76344
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1517504/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=81028 CPUtime=240.51
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 19848 0 0 0 24031 20 0 0 25 0 1 0 310565318 82972672 19834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 20257 19834 77 171 0 20084 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 86384
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1509504/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=88716 CPUtime=300.49
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 21821 0 0 0 30027 22 0 0 25 0 1 0 310565318 90845184 21807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 22179 21807 77 171 0 22006 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 94072
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1501568/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=96372 CPUtime=360.46
################
# More data... #
################
/proc/18264/statm: 28955 28408 77 171 0 28782 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 121176
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1476032/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=122464 CPUtime=600.32
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 30081 0 0 0 60005 27 0 0 25 0 1 0 310565318 125403136 30067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 30616 30067 77 171 0 30443 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 127820
[startup+702.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1470912/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=127448 CPUtime=660.28
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 31361 0 0 0 66000 28 0 0 25 0 1 0 310565318 130506752 31347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 31862 31347 77 171 0 31689 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 132804
[startup+762.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1467456/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=130744 CPUtime=720.27
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 32197 0 0 0 71998 29 0 0 25 0 1 0 310565318 133881856 32183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 32686 32183 77 171 0 32513 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 136100
[startup+822.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1466880/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=131320 CPUtime=780.21
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 32336 0 0 0 77992 29 0 0 25 0 1 0 310565318 134471680 32322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 32830 32322 77 171 0 32657 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 136676
[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1465088/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=132976 CPUtime=840.19
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 32781 0 0 0 83990 29 0 0 25 0 1 0 310565318 136167424 32767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 33244 32767 77 171 0 33071 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 138332
[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1460224/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=137688 CPUtime=900.14
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 33992 0 0 0 89984 30 0 0 25 0 1 0 310565318 140992512 33978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 34422 33978 77 171 0 34249 0
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (KiB) 143044
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1455296/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=142604 CPUtime=960.11
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 35205 0 0 0 95980 31 0 0 25 0 1 0 310565318 146026496 35191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 35651 35191 77 171 0 35478 0
Current children cumulated CPU time (s) 1001.61
Current children cumulated vsize (KiB) 147960
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1454848/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=143024 CPUtime=1020.06
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 35322 0 0 0 101975 31 0 0 25 0 1 0 310565318 146456576 35308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 35756 35308 77 171 0 35583 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 148380
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1454528/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=143348 CPUtime=1080.02
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 35398 0 0 0 107971 31 0 0 25 0 1 0 310565318 146788352 35384 1992294400 134512640 135215339 4294956240 18446744073709551615 134538002 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 35837 35384 77 171 0 35664 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 148704
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1452480/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=145412 CPUtime=1139.98
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 35907 0 0 0 113966 32 0 0 25 0 1 0 310565318 148901888 35893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 36353 35893 77 171 0 36180 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 150768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1451328/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=146524 CPUtime=1158.58
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 36178 0 0 0 115826 32 0 0 25 0 1 0 310565318 150040576 36164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 36631 36164 77 171 0 36458 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 151880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 18264
/proc/meminfo: memFree=1451328/2055920 swapFree=4179592/4192956
[pid=18258] ppid=18256 vsize=5356 CPUtime=41.5
/proc/18258/stat : 18258 (SatELiteGTI) S 18256 18258 18026 0 -1 4194304 336 53892 0 0 0 0 4109 41 16 0 1 0 310561160 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18258/statm: 1339 239 197 169 0 50 0
[pid=18264] ppid=18258 vsize=146524 CPUtime=1158.58
/proc/18264/stat : 18264 (minisat_static) R 18258 18258 18026 0 -1 4194304 36178 0 0 0 115826 32 0 0 25 0 1 0 310565318 150040576 36164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18264/statm: 36631 36164 77 171 0 36458 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 151880
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18258 and gives
# childrusage.ru_utime.tv_sec=41
# childrusage.ru_utime.tv_usec=101751
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=419936
# CPU time returned by wait4() is 41.5217
# 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.91
CPU time (s): 1200.08
CPU user time (s): 1199.35
CPU system time (s): 0.73
CPU usage (%): 99.9308
Max. virtual memory (cumulated for all children) (KiB): 235172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1018
system time used= 0.419936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 184
runsolver used 1.48677 second user time and 3.01554 second system time
The end
Begin job on node75 at 2009-05-20 15:15:23
IDJOB=1833821
IDBENCH=70951
IDSOLVER=671
FILE ID=node75/1833821-1242825321
PBS_JOBID= 9322479
Free space on /tmp= 66232 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-d-r2-noholes.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833821-1242825321/watcher-1833821-1242825321 -o /tmp/evaluation-result-1833821-1242825321/solver-1833821-1242825321 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833821-1242825321.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17bffac3a21734cf7ff7fa9ecba23d9d
RANDOM SEED=1669778016
node75.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.213
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.213
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: 1626096 kB
Buffers: 51596 kB
Cached: 326060 kB
SwapCached: 7564 kB
Active: 100348 kB
Inactive: 286932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1626096 kB
SwapTotal: 4192956 kB
SwapFree: 4179592 kB
Dirty: 34604 kB
Writeback: 0 kB
Mapped: 14596 kB
Slab: 28428 kB
Committed_AS: 893148 kB
PageTables: 1424 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= 66204 MiB
End job on node75 at 2009-05-20 15:35:26