0.00/0.00 c Parsing...
1.22/1.29 c ==============================================================================
1.22/1.29 c | | ORIGINAL | LEARNT | |
1.22/1.29 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.22/1.29 c ==============================================================================
1.22/1.29 c | 0 | 1356467 3708070 | 406940 0 0 nan | 0.000 % |
46.62/46.70 c | 0 | 255997 1816599 | -- 0 -- -- | -- | -768336/-956869
46.72/46.71 c ==============================================================================
46.72/46.71 c Result : #vars: 4925 #clauses: 255997 #literals: 1816599
46.72/46.71 c CPU time: 46.43 s
46.72/46.71 c ==============================================================================
47.32/47.34 c This is MiniSat 2.0 beta
47.32/47.34 c WARNING: for repeatability, setting FPU to use double precision
47.32/47.34 c ============================[ Problem Statistics ]=============================
47.32/47.34 c | |
47.32/47.34 c | Number of variables: 4925 |
47.32/47.34 c | Number of clauses: 255997 |
47.34/47.58 c | Parsing time: 0.20 s |
47.34/47.61 c ============================[ Search Statistics ]==============================
47.34/47.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
47.34/47.61 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
47.34/47.61 c ===============================================================================
47.34/47.61 c | 0 | 4925 255997 1816599 | 85332 0 nan | 0.000 % |
47.34/47.64 c | 101 | 4908 255997 1816599 | 85332 84 7 | 0.345 % |
47.34/47.65 c | 201 | 4908 255997 1816599 | 85332 184 7 | 0.345 % |
47.34/47.66 c | 301 | 4908 255997 1816599 | 85332 284 8 | 0.345 % |
47.34/47.68 c | 413 | 4908 255997 1816599 | 85332 396 9 | 0.345 % |
47.34/47.70 c | 514 | 4908 255997 1816599 | 85332 497 9 | 0.345 % |
47.34/47.74 c | 624 | 4908 255997 1816599 | 85332 607 8 | 0.345 % |
47.34/47.75 c | 745 | 4908 255997 1816599 | 85332 728 9 | 0.345 % |
47.34/47.78 c | 845 | 4908 255997 1816599 | 85332 828 9 | 0.345 % |
47.34/47.81 c | 955 | 4908 255997 1816599 | 85332 938 9 | 0.345 % |
47.34/47.85 c | 1076 | 4908 255997 1816599 | 85332 1059 9 | 0.345 % |
47.34/47.89 c | 1210 | 4908 255997 1816599 | 85332 1193 9 | 0.345 % |
47.34/47.93 c | 1310 | 4908 255997 1816599 | 85332 1293 9 | 0.345 % |
47.34/47.95 c | 1421 | 4908 255997 1816599 | 85332 1404 9 | 0.345 % |
47.34/47.97 c | 1542 | 4908 255997 1816599 | 85332 1525 9 | 0.345 % |
47.34/47.99 c | 1675 | 4908 255997 1816599 | 85332 1658 9 | 0.345 % |
47.34/48.10 c | 1821 | 4907 255997 1816599 | 85332 1803 9 | 0.365 % |
47.34/48.13 c | 1921 | 4907 255997 1816599 | 85332 1903 9 | 0.365 % |
47.34/48.15 c | 2031 | 4907 255997 1816599 | 85332 2012 9 | 0.386 % |
47.34/48.20 c | 2152 | 4902 255997 1816599 | 85332 2129 9 | 0.467 % |
47.34/48.22 c | 2285 | 4902 255997 1816599 | 85332 2262 9 | 0.467 % |
47.34/48.25 c | 2433 | 4902 255997 1816599 | 85332 2410 9 | 0.467 % |
47.34/48.29 c | 2594 | 4902 255997 1816599 | 85332 2571 9 | 0.467 % |
48.32/48.34 c | 2695 | 4902 255997 1816599 | 85332 2672 9 | 0.467 % |
48.32/48.36 c | 2806 | 4902 255997 1816599 | 85332 2783 9 | 0.467 % |
48.32/48.37 c | 2927 | 4902 255997 1816599 | 85332 2904 10 | 0.467 % |
48.32/48.41 c | 3061 | 4902 255997 1816599 | 85332 3038 10 | 0.467 % |
48.42/48.44 c | 3208 | 4902 255997 1816599 | 85332 3185 10 | 0.467 % |
48.42/48.50 c | 3370 | 4902 255997 1816599 | 85332 3347 10 | 0.467 % |
48.52/48.53 c | 3547 | 4902 255997 1816599 | 85332 3524 10 | 0.467 % |
48.52/48.54 c | 3648 | 4902 255997 1816599 | 85332 3625 10 | 0.467 % |
48.52/48.59 c | 3759 | 4902 255997 1816599 | 85332 3736 10 | 0.467 % |
48.62/48.61 c | 3881 | 4901 255997 1816599 | 85332 3857 10 | 0.487 % |
48.62/48.65 c | 4014 | 4901 255997 1816599 | 85332 3990 10 | 0.487 % |
48.62/48.67 c | 4160 | 4901 255997 1816599 | 85332 4136 10 | 0.487 % |
48.62/48.68 c | 4320 | 4900 255997 1816599 | 85332 4295 10 | 0.508 % |
48.62/48.70 c | 4497 | 4900 255997 1816599 | 85332 4472 10 | 0.508 % |
48.72/48.77 c | 4690 | 4899 255997 1816599 | 85332 4664 10 | 0.528 % |
48.72/48.79 c | 4790 | 4898 255997 1816599 | 85332 4763 11 | 0.548 % |
48.82/48.82 c | 4900 | 4898 255997 1816599 | 85332 4873 11 | 0.548 % |
48.82/48.83 c | 5022 | 4898 255997 1816599 | 85332 4995 11 | 0.548 % |
48.82/48.86 c | 5155 | 4898 255997 1816599 | 85332 5128 11 | 0.548 % |
48.82/48.88 c | 5302 | 4898 255997 1816599 | 85332 5275 11 | 0.548 % |
48.92/48.93 c | 5462 | 4898 255997 1816599 | 85332 5435 11 | 0.548 % |
48.92/48.95 c | 5638 | 4898 255997 1816599 | 85332 5611 11 | 0.548 % |
48.92/48.98 c | 5832 | 4898 255997 1816599 | 85332 5805 11 | 0.548 % |
49.02/49.01 c | 6045 | 4897 255997 1816599 | 85332 6017 11 | 0.569 % |
49.02/49.06 c | 6146 | 4897 255997 1816599 | 85332 6118 11 | 0.569 % |
49.02/49.09 c | 6256 | 4897 255997 1816599 | 85332 6228 11 | 0.569 % |
49.02/49.10 c | 6378 | 4897 255997 1816599 | 85332 6350 11 | 0.569 % |
49.12/49.17 c | 6511 | 4897 255997 1816599 | 85332 6483 11 | 0.569 % |
49.12/49.18 c | 6657 | 4897 255997 1816599 | 85332 6629 11 | 0.569 % |
49.22/49.22 c | 6818 | 4897 255997 1816599 | 85332 6790 11 | 0.569 % |
49.22/49.26 c | 6995 | 4897 255997 1816599 | 85332 6967 11 | 0.569 % |
49.22/49.27 c | 7189 | 4897 255997 1816599 | 85332 7161 11 | 0.569 % |
49.22/49.30 c | 7402 | 4897 255997 1816599 | 85332 7374 11 | 0.569 % |
49.32/49.33 c | 7637 | 4897 255997 1816599 | 85332 7609 11 | 0.569 % |
49.32/49.38 c | 7739 | 4897 255997 1816599 | 85332 7711 11 | 0.569 % |
49.32/49.40 c | 7849 | 4897 255997 1816599 | 85332 7821 11 | 0.569 % |
49.42/49.43 c | 7971 | 4896 255997 1816599 | 85332 7942 11 | 0.589 % |
49.42/49.46 c | 8104 | 4896 255997 1816599 | 85332 8075 11 | 0.589 % |
49.42/49.49 c | 8250 | 4896 255997 1816599 | 85332 8221 11 | 0.589 % |
49.52/49.55 c | 8411 | 4895 255997 1816599 | 85332 8381 11 | 0.609 % |
49.52/49.58 c | 8587 | 4895 255997 1816599 | 85332 8557 11 | 0.609 % |
49.62/49.61 c | 8781 | 4895 255997 1816599 | 85332 8751 11 | 0.609 % |
49.62/49.66 c | 8993 | 4894 255997 1816599 | 85332 8962 11 | 0.629 % |
49.62/49.69 c | 9226 | 4894 255997 1816599 | 85332 9195 12 | 0.629 % |
49.72/49.72 c | 9482 | 4894 255997 1816599 | 85332 9451 12 | 0.629 % |
49.72/49.74 c | 9584 | 4894 255997 1816599 | 85332 9553 12 | 0.629 % |
49.72/49.75 c | 9694 | 4894 255997 1816599 | 85332 9663 12 | 0.629 % |
49.72/49.77 c | 9816 | 4893 255997 1816599 | 85332 9784 12 | 0.650 % |
49.72/49.79 c | 9949 | 4893 255997 1816599 | 85332 9917 12 | 0.650 % |
49.72/49.80 c | 10095 | 4893 255997 1816599 | 2147483647 10063 12 | 0.650 % |
49.82/49.83 c | 10255 | 4892 255997 1816599 | 2147483647 10222 12 | 0.670 % |
49.82/49.86 c | 10433 | 4892 255997 1816599 | 2147483647 10400 12 | 0.670 % |
49.82/49.91 c | 10627 | 4892 255997 1816599 | 2147483647 10594 12 | 0.670 % |
49.92/49.94 c | 10839 | 4892 255997 1816599 | 2147483647 10806 12 | 0.670 % |
49.92/50.01 c | 11074 | 4891 255997 1816599 | 2147483647 11040 12 | 0.690 % |
50.02/50.04 c | 11332 | 4891 255997 1816599 | 2147483647 11298 12 | 0.690 % |
50.02/50.09 c | 11613 | 4889 255997 1816599 | 2147483647 11577 12 | 0.731 % |
50.12/50.11 c | 11713 | 4889 255997 1816599 | 2147483647 11677 12 | 0.731 % |
50.12/50.12 c | 11825 | 4889 255997 1816599 | 2147483647 11789 12 | 0.731 % |
50.12/50.14 c | 11947 | 4889 255997 1816599 | 2147483647 11911 12 | 0.731 % |
50.12/50.18 c | 12081 | 4889 255997 1816599 | 2147483647 12045 11 | 0.731 % |
50.12/50.20 c | 12228 | 4889 255997 1816599 | 2147483647 12192 11 | 0.731 % |
50.22/50.25 c | 12389 | 4889 255997 1816599 | 2147483647 12353 12 | 0.731 % |
50.22/50.29 c | 12566 | 4889 255997 1816599 | 2147483647 12530 12 | 0.731 % |
50.32/50.34 c | 12761 | 4889 255997 1816599 | 2147483647 12725 12 | 0.731 % |
50.32/50.37 c | 12974 | 4889 255997 1816599 | 2147483647 12938 12 | 0.731 % |
50.42/50.43 c | 13208 | 4889 255997 1816599 | 2147483647 13172 12 | 0.731 % |
50.42/50.45 c | 13464 | 4889 255997 1816599 | 2147483647 13428 12 | 0.731 % |
50.42/50.49 c | 13745 | 4888 255997 1816599 | 2147483647 13708 12 | 0.751 % |
50.52/50.53 c | 14057 | 4888 255997 1816599 | 2147483647 14020 12 | 0.751 % |
50.52/50.57 c | 14157 | 4888 255997 1816599 | 2147483647 14120 12 | 0.751 % |
50.52/50.59 c | 14267 | 4888 255997 1816599 | 2147483647 14230 12 | 0.751 % |
50.62/50.62 c | 14388 | 4887 255997 1816599 | 2147483647 14350 12 | 0.772 % |
50.62/50.64 c | 14522 | 4887 255997 1816599 | 2147483647 14484 12 | 0.772 % |
50.62/50.66 c | 14669 | 4887 255997 1816599 | 2147483647 14631 12 | 0.772 % |
50.62/50.71 c | 14830 | 4887 255997 1816599 | 2147483647 14792 12 | 0.772 % |
50.72/50.72 c | 15006 | 4887 255997 1816599 | 2147483647 14968 12 | 0.772 % |
50.72/50.78 c | 15199 | 4887 255997 1816599 | 2147483647 15161 12 | 0.772 % |
50.82/50.83 c | 15412 | 4887 255997 1816599 | 2147483647 15374 12 | 0.772 % |
50.82/50.88 c | 15646 | 4887 255997 1816599 | 2147483647 15608 12 | 0.772 % |
50.92/50.92 c | 15902 | 4887 255997 1816599 | 2147483647 15864 12 | 0.772 % |
50.92/50.96 c | 16184 | 4887 255997 1816599 | 2147483647 16146 12 | 0.772 % |
50.92/51.00 c | 16494 | 4887 255997 1816599 | 2147483647 16456 12 | 0.772 % |
51.02/51.09 c | 16833 | 4887 255997 1816599 | 2147483647 16795 12 | 0.772 % |
51.12/51.11 c | 16933 | 4887 255997 1816599 | 2147483647 16895 12 | 0.772 % |
51.12/51.15 c | 17043 | 4887 255997 1816599 | 2147483647 17005 12 | 0.772 % |
51.12/51.16 c | 17164 | 4887 255997 1816599 | 2147483647 17126 12 | 0.772 % |
51.12/51.18 c | 17297 | 4887 255997 1816599 | 2147483647 17259 12 | 0.772 % |
51.22/51.21 c | 17445 | 4887 255997 1816599 | 2147483647 17407 12 | 0.772 % |
51.22/51.24 c | 17606 | 4887 255997 1816599 | 2147483647 17568 12 | 0.772 % |
51.22/51.28 c | 17783 | 4887 255997 1816599 | 2147483647 17745 12 | 0.772 % |
51.32/51.35 c | 17978 | 4887 255997 1816599 | 2147483647 17940 12 | 0.772 % |
51.32/51.36 c | 18193 | 4887 255997 1816599 | 2147483647 18155 12 | 0.772 % |
51.42/51.45 c | 18427 | 4887 255997 1816599 | 2147483647 18389 12 | 0.772 % |
51.42/51.47 c | 18683 | 4887 255997 1816599 | 2147483647 18645 12 | 0.772 % |
51.52/51.51 c | 18964 | 4887 255997 1816599 | 2147483647 18926 12 | 0.772 % |
51.52/51.58 c | 19273 | 4887 255997 1816599 | 2147483647 19235 12 | 0.772 % |
51.62/51.64 c | 19613 | 4887 255997 1816599 | 2147483647 19575 12 | 0.772 % |
51.72/51.78 c | 19985 | 4887 255997 1816599 | 2147483647 19947 12 | 0.772 % |
51.72/51.80 c | 20085 | 4887 255997 1816599 | 2147483647 20047 12 | 0.772 % |
51.82/51.81 c | 20196 | 4887 255997 1816599 | 2147483647 20158 12 | 0.772 % |
51.82/51.84 c | 20319 | 4887 255997 1816599 | 2147483647 20281 12 | 0.772 % |
51.82/51.85 c | 20452 | 4887 255997 1816599 | 2147483647 20414 12 | 0.772 % |
51.82/51.88 c | 20599 | 4887 255997 1816599 | 2147483647 20561 12 | 0.772 % |
51.92/51.91 c | 20759 | 4887 255997 1816599 | 2147483647 20721 12 | 0.772 % |
51.92/51.96 c | 20936 | 4887 255997 1816599 | 2147483647 20898 12 | 0.772 % |
51.92/51.98 c | 21129 | 4887 255997 1816599 | 2147483647 21091 12 | 0.772 % |
51.92/52.00 c | 21343 | 4887 255997 1816599 | 2147483647 21305 12 | 0.772 % |
52.02/52.02 c | 21576 | 4887 255997 1816599 | 2147483647 21538 12 | 0.772 % |
52.02/52.06 c | 21833 | 4887 255997 1816599 | 2147483647 21795 12 | 0.772 % |
52.12/52.12 c | 22114 | 4887 255997 1816599 | 2147483647 22076 12 | 0.772 % |
52.22/52.22 c | 22425 | 4887 255997 1816599 | 2147483647 22387 12 | 0.772 % |
52.22/52.27 c | 22764 | 4887 255997 1816599 | 2147483647 22726 12 | 0.772 % |
52.32/52.32 c | 23138 | 4887 255997 1816599 | 2147483647 23100 12 | 0.772 % |
52.32/52.38 c | 23549 | 4884 255997 1816599 | 2147483647 23508 12 | 0.832 % |
52.32/52.41 c | 23650 | 4884 255997 1816599 | 2147483647 23609 12 | 0.832 % |
52.42/52.45 c | 23762 | 4884 255997 1816599 | 2147483647 23721 12 | 0.832 % |
52.42/52.49 c | 23883 | 4884 255997 1816599 | 2147483647 23842 12 | 0.832 % |
52.52/52.54 c | 24016 | 4884 255997 1816599 | 2147483647 23975 12 | 0.832 % |
52.52/52.57 c | 24163 | 4884 255997 1816599 | 2147483647 24122 12 | 0.832 % |
52.52/52.59 c | 24324 | 4884 255997 1816599 | 2147483647 24283 12 | 0.832 % |
52.52/52.60 c | 24500 | 4884 255997 1816599 | 2147483647 24459 12 | 0.832 % |
52.62/52.63 c | 24696 | 4884 255997 1816599 | 2147483647 24655 12 | 0.832 % |
52.72/52.72 c | 24908 | 4884 255997 1816599 | 2147483647 24867 12 | 0.832 % |
52.72/52.76 c | 25141 | 4884 255997 1816599 | 2147483647 25100 12 | 0.832 % |
52.72/52.81 c | 25397 | 4884 255997 1816599 | 2147483647 25356 13 | 0.832 % |
52.83/52.88 c | 25681 | 4884 255997 1816599 | 2147483647 25640 13 | 0.832 % |
52.92/52.93 c | 25991 | 4884 255997 1816599 | 2147483647 25950 13 | 0.832 % |
53.02/53.01 c | 26330 | 4884 255997 1816599 | 2147483647 26289 13 | 0.832 % |
53.02/53.10 c | 26704 | 4884 255997 1816599 | 2147483647 26663 13 | 0.832 % |
53.12/53.20 c | 27113 | 4884 255997 1816599 | 2147483647 27072 13 | 0.832 % |
53.22/53.27 c | 27562 | 4884 255997 1816599 | 2147483647 27521 13 | 0.832 % |
53.22/53.31 c | 27663 | 4884 255997 1816599 | 2147483647 27622 13 | 0.832 % |
53.32/53.36 c | 27774 | 4884 255997 1816599 | 2147483647 27733 13 | 0.832 % |
53.32/53.38 c | 27896 | 4884 255997 1816599 | 2147483647 27855 13 | 0.832 % |
53.42/53.41 c | 28030 | 4884 255997 1816599 | 2147483647 27989 13 | 0.832 % |
53.42/53.45 c | 28178 | 4884 255997 1816599 | 2147483647 28137 13 | 0.832 % |
53.42/53.47 c | 28338 | 4884 255997 1816599 | 2147483647 28297 13 | 0.832 % |
53.42/53.49 c | 28514 | 4884 255997 1816599 | 2147483647 28473 13 | 0.832 % |
53.52/53.53 c | 28707 | 4884 255997 1816599 | 2147483647 28666 13 | 0.832 % |
53.52/53.59 c | 28919 | 4884 255997 1816599 | 2147483647 28878 13 | 0.832 % |
53.62/53.66 c | 29152 | 4884 255997 1816599 | 2147483647 29111 13 | 0.832 % |
53.72/53.75 c | 29409 | 4884 255997 1816599 | 2147483647 29368 13 | 0.832 % |
53.72/53.80 c | 29691 | 4884 255997 1816599 | 2147483647 29650 13 | 0.832 % |
53.82/53.87 c | 30002 | 4884 255997 1816599 | 2147483647 29961 13 | 0.832 % |
53.93/53.95 c | 30341 | 4884 255997 1816599 | 2147483647 30300 13 | 0.832 % |
54.02/54.08 c | 30714 | 4884 255997 1816599 | 2147483647 30673 13 | 0.832 % |
54.12/54.14 c | 31123 | 4884 255997 1816599 | 2147483647 31082 13 | 0.832 % |
54.22/54.21 c | 31575 | 4884 255997 1816599 | 2147483647 31534 13 | 0.832 % |
54.22/54.30 c | 32068 | 4884 255997 1816599 | 2147483647 32027 13 | 0.832 % |
54.32/54.32 c | 32169 | 4884 255997 1816599 | 2147483647 32128 13 | 0.832 % |
54.32/54.34 c | 32280 | 4884 255997 1816599 | 2147483647 32239 13 | 0.832 % |
54.32/54.36 c | 32404 | 4884 255997 1816599 | 2147483647 32363 13 | 0.832 % |
54.32/54.38 c | 32539 | 4884 255997 1816599 | 2147483647 32498 13 | 0.832 % |
54.32/54.40 c | 32685 | 4884 255997 1816599 | 2147483647 32644 13 | 0.832 % |
54.42/54.45 c | 32845 | 4884 255997 1816599 | 2147483647 32804 13 | 0.832 % |
54.42/54.50 c | 33022 | 4884 255997 1816599 | 2147483647 32981 13 | 0.832 % |
54.52/54.53 c | 33216 | 4883 255997 1816599 | 2147483647 33174 13 | 0.853 % |
54.52/54.60 c | 33428 | 4883 255997 1816599 | 2147483647 33386 13 | 0.853 % |
54.63/54.63 c | 33663 | 4883 255997 1816599 | 2147483647 33621 13 | 0.853 % |
54.63/54.65 c | 33921 | 4883 255997 1816599 | 2147483647 33879 13 | 0.853 % |
54.63/54.67 c | 34203 | 4883 255997 1816599 | 2147483647 34161 13 | 0.853 % |
54.63/54.71 c | 34513 | 4883 255997 1816599 | 2147483647 34471 13 | 0.853 % |
54.83/54.82 c | 34852 | 4883 255997 1816599 | 2147483647 34810 13 | 0.853 % |
54.83/54.88 c | 35225 | 4883 255997 1816599 | 2147483647 35183 13 | 0.853 % |
54.93/54.94 c | 35634 | 4883 255997 1816599 | 2147483647 35592 13 | 0.853 % |
55.13/55.15 c | 36083 | 4883 255997 1816599 | 2147483647 36041 13 | 0.853 % |
55.23/55.25 c | 36577 | 4883 255651 1814873 | 2147483647 36529 13 | 0.853 % |
55.23/55.31 c | 37119 | 4883 255651 1814873 | 2147483647 37071 13 | 0.853 % |
55.33/55.34 c | 37219 | 4883 255651 1814873 | 2147483647 37171 13 | 0.853 % |
55.33/55.36 c | 37329 | 4883 255651 1814873 | 2147483647 37281 13 | 0.853 % |
55.33/55.39 c | 37450 | 4883 255651 1814873 | 2147483647 37402 13 | 0.853 % |
55.33/55.42 c | 37584 | 4883 255651 1814873 | 2147483647 37536 13 | 0.853 % |
55.43/55.47 c | 37731 | 4883 255651 1814873 | 2147483647 37683 13 | 0.853 % |
55.43/55.50 c | 37894 | 4883 255651 1814873 | 2147483647 37846 13 | 0.853 % |
55.53/55.54 c | 38072 | 4883 255651 1814873 | 2147483647 38024 13 | 0.853 % |
55.53/55.58 c | 38266 | 4883 255651 1814873 | 2147483647 38218 13 | 0.853 % |
55.63/55.65 c | 38478 | 4883 255651 1814873 | 2147483647 38430 13 | 0.853 % |
55.63/55.69 c | 38711 | 4883 255651 1814873 | 2147483647 38663 13 | 0.853 % |
55.73/55.79 c | 38968 | 4883 255651 1814873 | 2147483647 38920 13 | 0.853 % |
55.83/55.82 c | 39252 | 4883 255651 1814873 | 2147483647 39204 13 | 0.853 % |
55.83/55.90 c | 39561 | 4883 255651 1814873 | 2147483647 39513 13 | 0.853 % |
55.93/55.99 c | 39900 | 4883 255651 1814873 | 2147483647 39852 13 | 0.853 % |
56.03/56.07 c | 40272 | 4883 255651 1814873 | 2147483647 40224 13 | 0.853 % |
56.14/56.13 c | 40681 | 4883 255651 1814873 | 2147483647 40633 13 | 0.853 % |
56.14/56.20 c | 41132 | 4883 255651 1814873 | 2147483647 41084 13 | 0.853 % |
56.33/56.34 c | 41625 | 4883 255651 1814873 | 2147483647 41577 13 | 0.853 % |
56.43/56.45 c | 42168 | 4883 255651 1814873 | 2147483647 42120 13 | 0.853 % |
56.53/56.52 c | 42765 | 4883 255651 1814873 | 2147483647 42717 13 | 0.853 % |
56.53/56.54 c | 42865 | 4883 255651 1814873 | 2147483647 42817 13 | 0.853 % |
56.53/56.57 c | 42977 | 4883 255651 1814873 | 2147483647 42929 13 | 0.853 % |
56.53/56.59 c | 43099 | 4883 255651 1814873 | 2147483647 43051 13 | 0.853 % |
56.53/56.60 c | 43232 | 4883 255651 1814873 | 2147483647 43184 13 | 0.853 % |
56.63/56.65 c | 43379 | 4883 255651 1814873 | 2147483647 43331 13 | 0.853 % |
56.63/56.68 c | 43540 | 4883 255651 1814873 | 2147483647 43492 13 | 0.853 % |
56.73/56.73 c | 43716 | 4883 255651 1814873 | 2147483647 43668 13 | 0.853 % |
56.73/56.80 c | 43910 | 4883 255651 1814873 | 2147483647 43862 13 | 0.853 % |
56.83/56.84 c | 44123 | 4883 255651 1814873 | 2147483647 44075 13 | 0.853 % |
56.83/56.86 c | 44359 | 4883 255651 1814873 | 2147483647 44311 13 | 0.853 % |
56.93/56.94 c | 44615 | 4882 255651 1814873 | 2147483647 44566 13 | 0.873 % |
56.93/56.99 c | 44897 | 4882 255651 1814873 | 2147483647 44848 13 | 0.873 % |
57.03/57.03 c | 45206 | 4882 255651 1814873 | 2147483647 45157 13 | 0.873 % |
57.13/57.13 c | 45546 | 4882 255651 1814873 | 2147483647 45497 13 | 0.873 % |
57.13/57.21 c | 45918 | 4882 255651 1814873 | 2147483647 45869 13 | 0.873 % |
57.24/57.28 c | 46328 | 4882 255651 1814873 | 2147483647 46279 13 | 0.873 % |
57.33/57.33 c | 46778 | 4882 255651 1814873 | 2147483647 46729 13 | 0.873 % |
57.43/57.42 c | 47271 | 4882 255651 1814873 | 2147483647 47222 13 | 0.873 % |
57.43/57.49 c | 47813 | 4882 255651 1814873 | 2147483647 47764 13 | 0.873 % |
57.53/57.56 c | 48409 | 4882 255651 1814873 | 2147483647 48360 13 | 0.873 % |
57.63/57.71 c | 49064 | 4882 255651 1814873 | 2147483647 49015 13 | 0.873 % |
57.73/57.72 c | 49165 | 4882 255651 1814873 | 2147483647 49116 13 | 0.873 % |
57.73/57.76 c | 49277 | 4882 255651 1814873 | 2147483647 49228 13 | 0.873 % |
57.83/57.82 c | 49399 | 4882 255651 1814873 | 2147483647 49350 13 | 0.873 % |
57.83/57.84 c | 49533 | 4882 255651 1814873 | 2147483647 49484 13 | 0.873 % |
57.83/57.87 c | 49680 | 4882 255651 1814873 | 2147483647 49631 13 | 0.873 % |
57.83/57.90 c | 49840 | 4882 255651 1814873 | 2147483647 49791 13 | 0.873 % |
57.93/57.96 c | 50017 | 4882 255651 1814873 | 2147483647 49968 13 | 0.873 % |
58.03/58.03 c | 50211 | 4882 255651 1814873 | 2147483647 50162 13 | 0.873 % |
58.03/58.08 c | 50423 | 4882 255651 1814873 | 2147483647 50374 14 | 0.873 % |
58.13/58.12 c | 50656 | 4882 255651 1814873 | 2147483647 50607 14 | 0.873 % |
58.13/58.21 c | 50915 | 4882 255651 1814873 | 2147483647 50866 13 | 0.873 % |
58.23/58.25 c | 51198 | 4882 255651 1814873 | 2147483647 51149 13 | 0.873 % |
58.34/58.34 c | 51507 | 4882 255651 1814873 | 2147483647 51458 14 | 0.873 % |
58.43/58.45 c | 51846 | 4882 255651 1814873 | 2147483647 51797 14 | 0.873 % |
58.53/58.52 c | 52219 | 4882 255651 1814873 | 2147483647 52170 13 | 0.873 % |
58.63/58.66 c | 52628 | 4882 255651 1814873 | 2147483647 52579 14 | 0.873 % |
58.73/58.75 c | 53078 | 4882 255651 1814873 | 2147483647 53029 14 | 0.873 % |
58.83/58.87 c | 53573 | 4882 255651 1814873 | 2147483647 53524 14 | 0.873 % |
58.93/58.93 c | 54117 | 4882 255651 1814873 | 2147483647 54068 14 | 0.873 % |
59.03/59.02 c | 54713 | 4882 255651 1814873 | 2147483647 54664 14 | 0.873 % |
59.33/59.33 c | 55368 | 4882 255651 1814873 | 2147483647 55319 14 | 0.873 % |
59.33/59.40 c | 56090 | 4882 255651 1814873 | 2147483647 56041 14 | 0.873 % |
59.33/59.43 c | 56190 | 4882 255651 1814873 | 2147483647 56141 14 | 0.873 % |
59.44/59.45 c | 56301 | 4882 255651 1814873 | 2147483647 56252 14 | 0.873 % |
59.44/59.48 c | 56422 | 4882 255651 1814873 | 2147483647 56373 14 | 0.873 % |
59.44/59.50 c | 56557 | 4882 255651 1814873 | 2147483647 56508 14 | 0.873 % |
59.53/59.53 c | 56703 | 4882 255651 1814873 | 2147483647 56654 14 | 0.873 % |
59.53/59.60 c | 56863 | 4882 255651 1814873 | 2147483647 56814 14 | 0.873 % |
59.63/59.63 c | 57040 | 4882 255651 1814873 | 2147483647 56991 14 | 0.873 % |
59.63/59.68 c | 57233 | 4882 255651 1814873 | 2147483647 57184 14 | 0.873 % |
59.63/59.71 c | 57446 | 4882 255651 1814873 | 2147483647 57397 14 | 0.873 % |
59.73/59.77 c | 57680 | 4882 255651 1814873 | 2147483647 57631 14 | 0.873 % |
59.83/59.85 c | 57936 | 4882 255651 1814873 | 2147483647 57887 14 | 0.873 % |
59.93/59.95 c | 58217 | 4882 255651 1814873 | 2147483647 58168 14 | 0.873 % |
59.93/60.00 c | 58527 | 4882 255651 1814873 | 2147483647 58478 14 | 0.873 % |
60.13/60.14 c | 58866 | 4882 255651 1814873 | 2147483647 58817 14 | 0.873 % |
60.13/60.19 c | 59238 | 4882 255651 1814873 | 2147483647 59189 14 | 0.873 % |
60.23/60.30 c | 59648 | 4882 255651 1814873 | 2147483647 59599 14 | 0.873 % |
60.33/60.39 c | 60098 | 4882 255651 1814873 | 2147483647 60049 14 | 0.873 % |
60.43/60.47 c | 60591 | 4882 255651 1814873 | 2147483647 60542 14 | 0.873 % |
60.54/60.61 c | 61133 | 4882 255651 1814873 | 2147483647 61084 14 | 0.873 % |
60.63/60.71 c | 61730 | 4882 255651 1814873 | 2147483647 61681 14 | 0.873 % |
60.93/60.92 c | 62385 | 4882 255651 1814873 | 2147483647 62336 14 | 0.873 % |
61.03/61.05 c | 63106 | 4882 255651 1814873 | 2147483647 63057 14 | 0.873 % |
61.33/61.40 c | 63899 | 4882 255651 1814873 | 2147483647 63850 14 | 0.873 % |
61.33/61.41 c | 63999 | 4882 255651 1814873 | 2147483647 63950 14 | 0.873 % |
61.43/61.46 c | 64111 | 4882 255651 1814873 | 2147483647 64062 14 | 0.873 % |
61.43/61.51 c | 64232 | 4882 255651 1814873 | 2147483647 64183 14 | 0.873 % |
61.53/61.53 c | 64365 | 4882 255651 1814873 | 2147483647 64316 14 | 0.873 % |
61.53/61.57 c | 64511 | 4882 255651 1814873 | 2147483647 64462 14 | 0.873 % |
61.53/61.61 c | 64671 | 4882 255651 1814873 | 2147483647 64622 14 | 0.873 % |
61.64/61.68 c | 64848 | 4882 255651 1814873 | 2147483647 64799 14 | 0.873 % |
61.64/61.71 c | 65041 | 4882 255651 1814873 | 2147483647 64992 14 | 0.873 % |
61.73/61.75 c | 65254 | 4882 255651 1814873 | 2147483647 65205 14 | 0.873 % |
61.73/61.80 c | 65488 | 4882 255651 1814873 | 2147483647 65439 14 | 0.873 % |
61.83/61.83 c | 65744 | 4882 255651 1814873 | 2147483647 65695 14 | 0.873 % |
61.83/61.90 c | 66025 | 4882 255651 1814873 | 2147483647 65976 14 | 0.873 % |
61.93/61.94 c | 66334 | 4882 255651 1814873 | 2147483647 66285 14 | 0.873 % |
62.03/62.11 c | 66675 | 4882 255651 1814873 | 2147483647 66626 14 | 0.873 % |
62.13/62.18 c | 67048 | 4882 255651 1814873 | 2147483647 66999 14 | 0.873 % |
62.23/62.25 c | 67457 | 4882 255651 1814873 | 2147483647 67408 14 | 0.873 % |
62.43/62.42 c | 67906 | 4882 255651 1814873 | 2147483647 67857 14 | 0.873 % |
62.43/62.48 c | 68399 | 4882 255651 1814873 | 2147483647 68350 14 | 0.873 % |
62.63/62.68 c | 68942 | 4882 255651 1814873 | 2147483647 68893 14 | 0.873 % |
62.74/62.74 c | 69539 | 4882 255651 1814873 | 2147483647 69490 14 | 0.873 % |
62.83/62.85 c | 70194 | 4881 255651 1814873 | 2147483647 70144 14 | 0.893 % |
62.83/62.91 c | 70914 | 4881 255651 1814873 | 2147483647 70864 14 | 0.893 % |
63.03/63.06 c | 71706 | 4880 255651 1814873 | 2147483647 71655 14 | 0.914 % |
63.23/63.27 c | 72577 | 4879 255651 1814873 | 2147483647 72525 14 | 0.934 % |
63.23/63.29 c | 72677 | 4879 255651 1814873 | 2147483647 72625 14 | 0.934 % |
63.23/63.31 c | 72788 | 4879 255651 1814873 | 2147483647 72736 14 | 0.934 % |
63.33/63.33 c | 72910 | 4879 255651 1814873 | 2147483647 72858 14 | 0.934 % |
63.33/63.36 c | 73043 | 4879 255651 1814873 | 2147483647 72991 14 | 0.934 % |
63.33/63.38 c | 73189 | 4879 255651 1814873 | 2147483647 73137 14 | 0.934 % |
63.33/63.41 c | 73350 | 4879 255651 1814873 | 2147483647 73298 14 | 0.934 % |
63.43/63.46 c | 73526 | 4879 255651 1814873 | 2147483647 73474 14 | 0.934 % |
63.53/63.53 c | 73722 | 4879 255651 1814873 | 2147483647 73670 14 | 0.934 % |
63.53/63.57 c | 73934 | 4879 255651 1814873 | 2147483647 73882 14 | 0.934 % |
63.63/63.66 c | 74167 | 4879 255651 1814873 | 2147483647 74115 14 | 0.934 % |
63.63/63.69 c | 74423 | 4879 255651 1814873 | 2147483647 74371 14 | 0.934 % |
63.73/63.81 c | 74704 | 4879 255651 1814873 | 2147483647 74652 14 | 0.934 % |
63.84/63.84 c | 75014 | 4879 255651 1814873 | 2147483647 74962 14 | 0.934 % |
63.84/63.90 c | 75353 | 4879 255651 1814873 | 2147483647 75301 14 | 0.934 % |
63.93/64.01 c | 75726 | 4879 255651 1814873 | 2147483647 75674 14 | 0.934 % |
64.03/64.09 c | 76135 | 4879 255651 1814873 | 2147483647 76083 14 | 0.934 % |
64.13/64.17 c | 76584 | 4879 255651 1814873 | 2147483647 76532 14 | 0.934 % |
64.33/64.34 c | 77078 | 4879 255651 1814873 | 2147483647 77026 14 | 0.934 % |
64.43/64.47 c | 77620 | 4879 255651 1814873 | 2147483647 77568 15 | 0.934 % |
64.53/64.59 c | 78216 | 4879 255651 1814873 | 2147483647 78164 15 | 0.934 % |
64.73/64.78 c | 78871 | 4879 255651 1814873 | 2147483647 78819 15 | 0.934 % |
65.03/65.05 c | 79591 | 4879 255651 1814873 | 2147483647 79539 15 | 0.934 % |
65.13/65.16 c | 80384 | 4879 255651 1814873 | 2147483647 80332 15 | 0.934 % |
65.33/65.35 c | 81255 | 4879 255651 1814873 | 2147483647 81203 15 | 0.934 % |
65.93/65.95 c | 82213 | 4879 255651 1814873 | 2147483647 82161 15 | 0.934 % |
65.93/65.97 c | 82316 | 4879 255651 1814873 | 2147483647 82264 15 | 0.934 % |
65.93/66.01 c | 82427 | 4879 255651 1814873 | 2147483647 82375 15 | 0.934 % |
66.04/66.05 c | 82549 | 4879 255651 1814873 | 2147483647 82497 15 | 0.934 % |
66.04/66.11 c | 82684 | 4879 255651 1814873 | 2147483647 82632 15 | 0.934 % |
66.13/66.15 c | 82831 | 4879 255651 1814873 | 2147483647 82779 15 | 0.934 % |
66.23/66.23 c | 82991 | 4879 255651 1814873 | 2147483647 82939 15 | 0.934 % |
66.33/66.33 c | 83167 | 4879 255603 1814749 | 2147483647 83110 15 | 0.934 % |
66.33/66.38 c | 83361 | 4879 255603 1814749 | 2147483647 83304 15 | 0.934 % |
66.43/66.49 c | 83574 | 4879 255603 1814749 | 2147483647 83517 15 | 0.934 % |
66.53/66.57 c | 83807 | 4879 255603 1814749 | 2147483647 83750 15 | 0.934 % |
66.63/66.63 c | 84063 | 4879 255603 1814749 | 2147483647 84006 15 | 0.934 % |
66.73/66.73 c | 84346 | 4879 255603 1814749 | 2147483647 84289 15 | 0.934 % |
66.73/66.76 c | 84656 | 4879 255603 1814749 | 2147483647 84599 15 | 0.934 % |
66.83/66.82 c | 84995 | 4879 255603 1814749 | 2147483647 84938 15 | 0.934 % |
66.83/66.88 c | 85367 | 4879 255603 1814749 | 2147483647 85310 15 | 0.934 % |
66.93/67.01 c | 85778 | 4879 255603 1814749 | 2147483647 85721 15 | 0.934 % |
67.14/67.13 c | 86228 | 4879 255603 1814749 | 2147483647 86171 15 | 0.934 % |
67.23/67.27 c | 86722 | 4879 255603 1814749 | 2147483647 86665 15 | 0.934 % |
67.43/67.42 c | 87266 | 4879 255603 1814749 | 2147483647 87209 15 | 0.934 % |
67.53/67.53 c | 87862 | 4879 255603 1814749 | 2147483647 87805 15 | 0.934 % |
67.63/67.71 c | 88517 | 4879 255603 1814749 | 2147483647 88460 15 | 0.934 % |
67.83/67.88 c | 89238 | 4879 255603 1814749 | 2147483647 89181 15 | 0.934 % |
67.93/67.96 c | 90030 | 4879 255603 1814749 | 2147483647 89973 15 | 0.934 % |
68.03/68.07 c | 90901 | 4879 255603 1814749 | 2147483647 90844 15 | 0.934 % |
68.24/68.30 c | 91859 | 4879 255603 1814749 | 2147483647 91802 15 | 0.934 % |
68.53/68.57 c | 92912 | 4879 255603 1814749 | 2147483647 92855 15 | 0.934 % |
68.53/68.59 c | 93013 | 4879 255603 1814749 | 2147483647 92956 15 | 0.934 % |
68.53/68.60 c | 93124 | 4879 255603 1814749 | 2147483647 93067 15 | 0.934 % |
68.63/68.64 c | 93245 | 4879 255603 1814749 | 2147483647 93188 15 | 0.934 % |
68.63/68.69 c | 93378 | 4879 255603 1814749 | 2147483647 93321 15 | 0.934 % |
68.73/68.74 c | 93524 | 4879 255603 1814749 | 2147483647 93467 15 | 0.934 % |
68.73/68.77 c | 93685 | 4879 255603 1814749 | 2147483647 93628 15 | 0.934 % |
68.83/68.87 c | 93862 | 4879 255603 1814749 | 2147483647 93805 15 | 0.934 % |
68.83/68.92 c | 94057 | 4879 255603 1814749 | 2147483647 94000 15 | 0.934 % |
69.03/69.05 c | 94269 | 4879 255603 1814749 | 2147483647 94212 15 | 0.934 % |
69.03/69.10 c | 94503 | 4879 255603 1814749 | 2147483647 94446 15 | 0.934 % |
69.13/69.15 c | 94760 | 4879 255603 1814749 | 2147483647 94703 15 | 0.934 % |
69.23/69.22 c | 95042 | 4879 255603 1814749 | 2147483647 94985 15 | 0.934 % |
69.34/69.38 c | 95351 | 4879 255603 1814749 | 2147483647 95294 15 | 0.934 % |
69.43/69.46 c | 95691 | 4879 255603 1814749 | 2147483647 95634 15 | 0.934 % |
69.83/69.90 c | 96063 | 4879 255603 1814749 | 2147483647 96006 15 | 0.934 % |
69.93/69.99 c | 96473 | 4879 255603 1814749 | 2147483647 96416 15 | 0.934 % |
70.44/70.44 c | 96925 | 4879 255603 1814749 | 2147483647 96868 15 | 0.934 % |
70.53/70.55 c | 97419 | 4879 255603 1814749 | 2147483647 97362 15 | 0.934 % |
70.93/70.95 c | 97961 | 4879 255603 1814749 | 2147483647 97904 15 | 0.934 % |
71.03/71.08 c | 98557 | 4879 255603 1814749 | 2147483647 98500 15 | 0.934 % |
71.13/71.17 c | 99213 | 4879 255603 1814749 | 2147483647 99156 15 | 0.934 % |
71.43/71.43 c | 99933 | 4879 255603 1814749 | 2147483647 99876 15 | 0.934 % |
71.54/71.55 c | 100725 | 4879 255603 1814749 | 2147483647 100668 15 | 0.934 % |
71.82/71.82 c | 101596 | 4879 255603 1814749 | 2147483647 101539 15 | 0.934 % |
72.12/72.17 c | 102554 | 4879 255603 1814749 | 2147483647 102497 15 | 0.934 % |
72.22/72.29 c | 103607 | 4879 255603 1814749 | 2147483647 103550 15 | 0.934 % |
73.32/73.37 c | 104766 | 4879 255603 1814749 | 2147483647 104709 15 | 0.934 % |
73.32/73.39 c | 104866 | 4879 255603 1814749 | 2147483647 104809 15 | 0.934 % |
73.42/73.49 c | 104976 | 4879 255603 1814749 | 2147483647 104919 15 | 0.934 % |
73.52/73.53 c | 105097 | 4879 255603 1814749 | 2147483647 105040 15 | 0.934 % |
73.52/73.57 c | 105232 | 4879 255603 1814749 | 2147483647 105175 15 | 0.934 % |
73.62/73.62 c | 105379 | 4879 255603 1814749 | 2147483647 105322 15 | 0.934 % |
73.62/73.64 c | 105540 | 4879 255603 1814749 | 2147483647 105483 15 | 0.934 % |
73.62/73.69 c | 105717 | 4879 255603 1814749 | 2147483647 105660 15 | 0.934 % |
73.73/73.75 c | 105910 | 4879 255603 1814749 | 2147483647 105853 15 | 0.934 % |
73.82/73.89 c | 106123 | 4879 255603 1814749 | 2147483647 106066 15 | 0.934 % |
73.92/73.96 c | 106356 | 4879 255603 1814749 | 2147483647 106299 15 | 0.934 % |
74.02/74.05 c | 106614 | 4879 255603 1814749 | 2147483647 106557 15 | 0.934 % |
74.02/74.10 c | 106896 | 4879 255603 1814749 | 2147483647 106839 15 | 0.934 % |
74.32/74.32 c | 107205 | 4879 255603 1814749 | 2147483647 107148 15 | 0.934 % |
74.32/74.36 c | 107544 | 4879 255603 1814749 | 2147483647 107487 15 | 0.934 % |
74.52/74.52 c | 107916 | 4879 255603 1814749 | 2147483647 107859 15 | 0.934 % |
74.52/74.59 c | 108326 | 4879 255603 1814749 | 2147483647 108269 15 | 0.934 % |
74.72/74.74 c | 108777 | 4879 255603 1814749 | 2147483647 108720 15 | 0.934 % |
74.83/74.88 c | 109272 | 4879 255603 1814749 | 2147483647 109215 15 | 0.934 % |
75.12/75.14 c | 109814 | 4879 255603 1814749 | 2147483647 109757 15 | 0.934 % |
75.22/75.22 c | 110410 | 4879 255603 1814749 | 2147483647 110353 15 | 0.934 % |
75.32/75.37 c | 111065 | 4879 255603 1814749 | 2147483647 111008 15 | 0.934 % |
75.72/75.73 c | 111785 | 4879 255603 1814749 | 2147483647 111728 15 | 0.934 % |
75.82/75.83 c | 112577 | 4879 255603 1814749 | 2147483647 112520 16 | 0.934 % |
76.12/76.16 c | 113448 | 4879 255603 1814749 | 2147483647 113391 16 | 0.934 % |
76.32/76.38 c | 114406 | 4879 255603 1814749 | 2147483647 114349 16 | 0.934 % |
76.62/76.65 c | 115460 | 4879 255603 1814749 | 2147483647 115403 16 | 0.934 % |
76.82/76.88 c | 116619 | 4879 255603 1814749 | 2147483647 116562 16 | 0.934 % |
77.03/77.07 c | 117893 | 4879 255603 1814749 | 2147483647 117836 16 | 0.934 % |
77.12/77.11 c | 117993 | 4879 255603 1814749 | 2147483647 117936 16 | 0.934 % |
77.12/77.17 c | 118103 | 4878 255603 1814749 | 2147483647 118045 16 | 0.954 % |
77.12/77.20 c | 118225 | 4878 255603 1814749 | 2147483647 118167 16 | 0.954 % |
77.22/77.25 c | 118358 | 4878 255603 1814749 | 2147483647 118300 16 | 0.954 % |
77.32/77.35 c | 118504 | 4878 255603 1814749 | 2147483647 118446 16 | 0.954 % |
77.42/77.44 c | 118664 | 4878 255603 1814749 | 2147483647 118606 16 | 0.954 % |
77.42/77.47 c | 118840 | 4878 255603 1814749 | 2147483647 118782 16 | 0.954 % |
77.52/77.57 c | 119033 | 4878 255603 1814749 | 2147483647 118975 16 | 0.954 % |
77.52/77.60 c | 119246 | 4878 255603 1814749 | 2147483647 119188 16 | 0.954 % |
77.62/77.65 c | 119479 | 4878 255603 1814749 | 2147483647 119421 16 | 0.954 % |
77.62/77.70 c | 119736 | 4878 255603 1814749 | 2147483647 119678 16 | 0.954 % |
77.72/77.77 c | 120018 | 4878 255603 1814749 | 2147483647 119960 16 | 0.954 % |
77.92/77.94 c | 120328 | 4878 255603 1814749 | 2147483647 120270 16 | 0.954 % |
78.02/78.09 c | 120667 | 4878 255603 1814749 | 2147483647 120609 16 | 0.954 % |
78.13/78.14 c | 121039 | 4878 255603 1814749 | 2147483647 120981 16 | 0.954 % |
78.22/78.27 c | 121449 | 4878 255603 1814749 | 2147483647 121391 16 | 0.954 % |
78.32/78.37 c | 121898 | 4878 255603 1814749 | 2147483647 121840 16 | 0.954 % |
78.52/78.55 c | 122391 | 4878 255603 1814749 | 2147483647 122333 16 | 0.954 % |
78.62/78.62 c | 122934 | 4878 255603 1814749 | 2147483647 122876 16 | 0.954 % |
78.82/78.81 c | 123530 | 4878 255603 1814749 | 2147483647 123472 16 | 0.954 % |
79.12/79.20 c | 124185 | 4878 255603 1814749 | 2147483647 124127 16 | 0.954 % |
79.32/79.39 c | 124905 | 4878 255603 1814749 | 2147483647 124847 16 | 0.954 % |
79.82/79.86 c | 125698 | 4878 255603 1814749 | 2147483647 125640 16 | 0.954 % |
80.12/80.15 c | 126570 | 4878 255603 1814749 | 2147483647 126512 16 | 0.954 % |
80.22/80.30 c | 127528 | 4878 255603 1814749 | 2147483647 127470 16 | 0.954 % |
81.12/81.11 c | 128581 | 4878 255603 1814749 | 2147483647 128523 16 | 0.954 % |
81.32/81.31 c | 129739 | 4878 255603 1814749 | 2147483647 129681 16 | 0.954 % |
82.02/82.06 c | 131012 | 4878 255603 1814749 | 2147483647 130954 16 | 0.954 % |
82.72/82.79 c | 132412 | 4878 255603 1814749 | 2147483647 132354 16 | 0.954 % |
82.82/82.83 c | 132514 | 4878 255603 1814749 | 2147483647 132456 16 | 0.954 % |
82.82/82.86 c | 132625 | 4878 255603 1814749 | 2147483647 132567 16 | 0.954 % |
82.82/82.87 c | 132746 | 4878 255603 1814749 | 2147483647 132688 16 | 0.954 % |
82.92/82.99 c | 132880 | 4878 255603 1814749 | 2147483647 132822 16 | 0.954 % |
83.02/83.02 c | 133026 | 4878 255603 1814749 | 2147483647 132968 16 | 0.954 % |
83.12/83.16 c | 133186 | 4878 255603 1814749 | 2147483647 133128 16 | 0.954 % |
83.12/83.19 c | 133363 | 4878 255603 1814749 | 2147483647 133305 16 | 0.954 % |
83.22/83.22 c | 133556 | 4878 255603 1814749 | 2147483647 133498 16 | 0.954 % |
83.32/83.37 c | 133768 | 4878 255603 1814749 | 2147483647 133710 16 | 0.954 % |
83.42/83.41 c | 134002 | 4878 255603 1814749 | 2147483647 133944 16 | 0.954 % |
83.63/83.65 c | 134259 | 4878 255603 1814749 | 2147483647 134201 16 | 0.954 % |
83.72/83.80 c | 134540 | 4878 255591 1814718 | 2147483647 134482 16 | 0.954 % |
83.82/83.86 c | 134850 | 4878 255591 1814718 | 2147483647 134792 16 | 0.954 % |
83.92/83.98 c | 135189 | 4878 255591 1814718 | 2147483647 135131 16 | 0.954 % |
84.02/84.05 c | 135561 | 4878 255591 1814718 | 2147483647 135503 16 | 0.954 % |
84.22/84.31 c | 135970 | 4878 255591 1814718 | 2147483647 135912 16 | 0.954 % |
84.32/84.40 c | 136419 | 4878 255591 1814718 | 2147483647 136361 16 | 0.954 % |
84.42/84.50 c | 136913 | 4878 255591 1814718 | 2147483647 136855 16 | 0.954 % |
84.62/84.61 c | 137457 | 4878 255591 1814718 | 2147483647 137399 16 | 0.954 % |
84.82/84.88 c | 138054 | 4878 255591 1814718 | 2147483647 137996 16 | 0.954 % |
85.02/85.10 c | 138709 | 4878 255591 1814718 | 2147483647 138651 16 | 0.954 % |
85.22/85.25 c | 139429 | 4878 255591 1814718 | 2147483647 139371 16 | 0.954 % |
85.62/85.64 c | 140223 | 4878 255591 1814718 | 2147483647 140165 16 | 0.954 % |
86.02/86.07 c | 141095 | 4878 255591 1814718 | 2147483647 141037 16 | 0.954 % |
86.42/86.47 c | 142054 | 4877 255591 1814718 | 2147483647 141995 16 | 0.975 % |
86.72/86.75 c | 143107 | 4877 255591 1814718 | 2147483647 143048 16 | 0.975 % |
86.93/86.93 c | 144266 | 4876 255591 1814718 | 2147483647 144206 16 | 0.995 % |
87.22/87.24 c | 145540 | 4875 255591 1814718 | 2147483647 145479 16 | 1.015 % |
87.92/87.91 c | 146940 | 4875 255591 1814718 | 2147483647 146879 16 | 1.015 % |
88.42/88.48 c | 148480 | 4875 255591 1814718 | 2147483647 148419 16 | 1.015 % |
88.52/88.55 c | 148582 | 4875 255591 1814718 | 2147483647 148521 16 | 1.015 % |
88.52/88.59 c | 148692 | 4875 255591 1814718 | 2147483647 148631 16 | 1.015 % |
88.72/88.75 c | 148813 | 4875 255591 1814718 | 2147483647 148752 16 | 1.015 % |
88.72/88.80 c | 148946 | 4875 255591 1814718 | 2147483647 148885 16 | 1.015 % |
88.82/88.84 c | 149092 | 4875 255591 1814718 | 2147483647 149031 16 | 1.015 % |
88.82/88.89 c | 149253 | 4875 255591 1814718 | 2147483647 149192 16 | 1.015 % |
88.92/88.93 c | 149429 | 4875 255591 1814718 | 2147483647 149368 16 | 1.015 % |
89.02/89.07 c | 149622 | 4875 255591 1814718 | 2147483647 149561 16 | 1.015 % |
89.13/89.17 c | 149834 | 4875 255591 1814718 | 2147483647 149773 16 | 1.015 % |
89.22/89.28 c | 150067 | 4875 255591 1814718 | 2147483647 150006 16 | 1.015 % |
89.32/89.35 c | 150324 | 4875 255591 1814718 | 2147483647 150263 16 | 1.015 % |
89.42/89.43 c | 150607 | 4875 255591 1814718 | 2147483647 150546 16 | 1.015 % |
89.52/89.59 c | 150917 | 4875 255591 1814718 | 2147483647 150856 16 | 1.015 % |
89.72/89.74 c | 151257 | 4875 255591 1814718 | 2147483647 151196 16 | 1.015 % |
89.72/89.80 c | 151629 | 4875 255591 1814718 | 2147483647 151568 16 | 1.015 % |
89.92/89.97 c | 152038 | 4875 255591 1814718 | 2147483647 151977 16 | 1.015 % |
90.12/90.17 c | 152488 | 4875 255591 1814718 | 2147483647 152427 16 | 1.015 % |
90.23/90.24 c | 152981 | 4875 255591 1814718 | 2147483647 152920 16 | 1.015 % |
90.52/90.56 c | 153524 | 4875 255591 1814718 | 2147483647 153463 16 | 1.015 % |
90.72/90.71 c | 154120 | 4875 255591 1814718 | 2147483647 154059 16 | 1.015 % |
90.92/90.99 c | 154775 | 4875 255591 1814718 | 2147483647 154714 16 | 1.015 % |
91.22/91.23 c | 155496 | 4875 255591 1814718 | 2147483647 155435 16 | 1.015 % |
91.72/91.78 c | 156289 | 4875 255591 1814718 | 2147483647 156228 16 | 1.015 % |
91.82/91.88 c | 157160 | 4875 255591 1814718 | 2147483647 157099 16 | 1.015 % |
92.32/92.38 c | 158119 | 4875 255591 1814718 | 2147483647 158058 16 | 1.015 % |
92.92/93.00 c | 159173 | 4874 255591 1814718 | 2147483647 159111 16 | 1.036 % |
93.62/93.62 c | 160332 | 4874 255591 1814718 | 2147483647 160270 16 | 1.036 % |
93.72/93.74 c | 161605 | 4874 255591 1814718 | 2147483647 161543 16 | 1.036 % |
94.92/94.92 c | 163006 | 4874 255591 1814718 | 2147483647 162944 16 | 1.036 % |
95.52/95.52 c | 164546 | 4874 255591 1814718 | 2147483647 164484 16 | 1.036 % |
96.42/96.43 c | 166240 | 4874 255591 1814718 | 2147483647 166178 16 | 1.036 % |
96.42/96.47 c | 166340 | 4874 255591 1814718 | 2147483647 166278 16 | 1.036 % |
96.42/96.49 c | 166450 | 4874 255591 1814718 | 2147483647 166388 16 | 1.036 % |
96.52/96.54 c | 166572 | 4874 255591 1814718 | 2147483647 166510 16 | 1.036 % |
96.52/96.58 c | 166706 | 4874 255591 1814718 | 2147483647 166644 16 | 1.036 % |
96.62/96.61 c | 166854 | 4874 255591 1814718 | 2147483647 166792 16 | 1.036 % |
96.62/96.70 c | 167015 | 4874 255591 1814718 | 2147483647 166953 16 | 1.036 % |
96.72/96.81 c | 167192 | 4874 255591 1814718 | 2147483647 167130 16 | 1.036 % |
96.83/96.86 c | 167385 | 4874 255591 1814718 | 2147483647 167323 16 | 1.036 % |
96.92/96.92 c | 167598 | 4874 255591 1814718 | 2147483647 167536 16 | 1.036 % |
96.92/96.98 c | 167831 | 4874 255591 1814718 | 2147483647 167769 16 | 1.036 % |
97.12/97.12 c | 168088 | 4874 255591 1814718 | 2147483647 168026 16 | 1.036 % |
97.22/97.30 c | 168369 | 4874 255591 1814718 | 2147483647 168307 16 | 1.036 % |
97.32/97.38 c | 168678 | 4874 255591 1814718 | 2147483647 168616 16 | 1.036 % |
97.62/97.62 c | 169017 | 4874 255591 1814718 | 2147483647 168955 16 | 1.036 % |
97.62/97.68 c | 169389 | 4874 255591 1814718 | 2147483647 169327 16 | 1.036 % |
97.93/97.92 c | 169800 | 4874 255591 1814718 | 2147483647 169738 16 | 1.036 % |
97.93/97.99 c | 170250 | 4874 255591 1814718 | 2147483647 170188 16 | 1.036 % |
98.22/98.28 c | 170743 | 4874 255591 1814718 | 2147483647 170681 16 | 1.036 % |
98.42/98.49 c | 171285 | 4874 255591 1814718 | 2147483647 171223 16 | 1.036 % |
98.72/98.76 c | 171882 | 4874 255591 1814718 | 2147483647 171820 16 | 1.036 % |
98.82/98.87 c | 172538 | 4874 255591 1814718 | 2147483647 172476 16 | 1.036 % |
99.42/99.43 c | 173258 | 4874 255591 1814718 | 2147483647 173196 16 | 1.036 % |
99.62/99.70 c | 174050 | 4874 255591 1814718 | 2147483647 173988 16 | 1.036 % |
100.32/100.38 c | 174923 | 4874 255591 1814718 | 2147483647 174861 16 | 1.036 % |
100.52/100.60 c | 175882 | 4874 255591 1814718 | 2147483647 175820 16 | 1.036 % |
100.72/100.77 c | 176935 | 4874 255591 1814718 | 2147483647 176873 17 | 1.036 % |
102.12/102.18 c | 178095 | 4874 255591 1814718 | 2147483647 178033 17 | 1.036 % |
102.72/102.71 c | 179369 | 4874 255591 1814718 | 2147483647 179307 17 | 1.036 % |
103.43/103.44 c | 180769 | 4874 255591 1814718 | 2147483647 180707 17 | 1.036 % |
103.72/103.71 c | 182309 | 4874 255591 1814718 | 2147483647 182247 17 | 1.036 % |
103.92/103.99 c | 184003 | 4874 255591 1814718 | 2147483647 183941 17 | 1.036 % |
104.93/104.97 c | 185867 | 4874 255591 1814718 | 2147483647 185805 17 | 1.036 % |
104.93/105.01 c | 185967 | 4874 255591 1814718 | 2147483647 185905 17 | 1.036 % |
105.03/105.06 c | 186078 | 4874 255591 1814718 | 2147483647 186016 17 | 1.036 % |
105.13/105.20 c | 186199 | 4874 255591 1814718 | 2147483647 186137 17 | 1.036 % |
105.23/105.25 c | 186334 | 4874 255591 1814718 | 2147483647 186272 17 | 1.036 % |
105.23/105.31 c | 186481 | 4874 255591 1814718 | 2147483647 186419 17 | 1.036 % |
105.43/105.50 c | 186642 | 4874 255591 1814718 | 2147483647 186580 17 | 1.036 % |
105.53/105.52 c | 186818 | 4874 255591 1814718 | 2147483647 186756 17 | 1.036 % |
105.53/105.60 c | 187011 | 4874 255591 1814718 | 2147483647 186949 17 | 1.036 % |
105.63/105.67 c | 187223 | 4874 255591 1814718 | 2147483647 187161 17 | 1.036 % |
105.83/105.86 c | 187457 | 4874 255591 1814718 | 2147483647 187395 17 | 1.036 % |
105.93/105.93 c | 187714 | 4874 255591 1814718 | 2147483647 187652 17 | 1.036 % |
106.03/106.03 c | 187997 | 4874 255591 1814718 | 2147483647 187935 17 | 1.036 % |
106.03/106.09 c | 188307 | 4874 255591 1814718 | 2147483647 188245 17 | 1.036 % |
106.33/106.36 c | 188647 | 4874 255591 1814718 | 2147483647 188585 17 | 1.036 % |
106.43/106.45 c | 189020 | 4874 255591 1814718 | 2147483647 188958 17 | 1.036 % |
107.23/107.26 c | 189429 | 4874 255591 1814718 | 2147483647 189367 17 | 1.036 % |
107.43/107.43 c | 189878 | 4874 255591 1814718 | 2147483647 189816 17 | 1.036 % |
107.73/107.75 c | 190371 | 4874 255591 1814718 | 2147483647 190309 17 | 1.036 % |
107.83/107.84 c | 190913 | 4874 255591 1814718 | 2147483647 190851 17 | 1.036 % |
107.93/107.94 c | 191510 | 4873 255591 1814718 | 2147483647 191447 17 | 1.056 % |
108.83/108.88 c | 192166 | 4873 255591 1814718 | 2147483647 192103 17 | 1.056 % |
109.33/109.34 c | 192886 | 4873 255591 1814718 | 2147483647 192823 17 | 1.056 % |
109.73/109.72 c | 193678 | 4873 255591 1814718 | 2147483647 193615 17 | 1.056 % |
109.83/109.89 c | 194549 | 4873 255591 1814718 | 2147483647 194486 17 | 1.056 % |
110.13/110.19 c | 195507 | 4873 255591 1814718 | 2147483647 195444 17 | 1.056 % |
110.53/110.55 c | 196560 | 4873 255591 1814718 | 2147483647 196497 17 | 1.056 % |
110.93/110.92 c | 197718 | 4873 255591 1814718 | 2147483647 197655 17 | 1.056 % |
111.13/111.17 c | 198991 | 4873 255531 1814563 | 2147483647 198925 17 | 1.056 % |
111.83/111.88 c | 200391 | 4873 255531 1814563 | 2147483647 200325 17 | 1.056 % |
112.13/112.15 c | 201932 | 4873 255531 1814563 | 2147483647 201866 17 | 1.056 % |
113.03/113.06 c | 203627 | 4873 255531 1814563 | 2147483647 203561 17 | 1.056 % |
114.33/114.40 c | 205490 | 4873 255531 1814563 | 2147483647 205424 17 | 1.056 % |
117.13/117.12 c | 207539 | 4873 255531 1814563 | 2147483647 207473 17 | 1.056 % |
117.13/117.17 c | 207640 | 4873 255531 1814563 | 2147483647 207574 17 | 1.056 % |
117.13/117.21 c | 207750 | 4873 255531 1814563 | 2147483647 207684 17 | 1.056 % |
117.33/117.35 c | 207871 | 4873 255531 1814563 | 2147483647 207805 17 | 1.056 % |
117.33/117.38 c | 208005 | 4873 255531 1814563 | 2147483647 207939 17 | 1.056 % |
117.33/117.41 c | 208152 | 4873 255531 1814563 | 2147483647 208086 17 | 1.056 % |
117.43/117.50 c | 208312 | 4873 255531 1814563 | 2147483647 208246 17 | 1.056 % |
117.53/117.53 c | 208488 | 4873 255531 1814563 | 2147483647 208422 17 | 1.056 % |
117.53/117.57 c | 208681 | 4873 255531 1814563 | 2147483647 208615 17 | 1.056 % |
117.73/117.75 c | 208894 | 4873 255531 1814563 | 2147483647 208828 17 | 1.056 % |
117.83/117.83 c | 209127 | 4873 255531 1814563 | 2147483647 209061 17 | 1.056 % |
117.93/118.00 c | 209383 | 4873 255531 1814563 | 2147483647 209317 17 | 1.056 % |
118.03/118.07 c | 209665 | 4873 255531 1814563 | 2147483647 209599 17 | 1.056 % |
118.33/118.33 c | 209974 | 4873 255531 1814563 | 2147483647 209908 17 | 1.056 % |
118.33/118.38 c | 210313 | 4873 255531 1814563 | 2147483647 210247 17 | 1.056 % |
118.63/118.62 c | 210685 | 4873 255531 1814563 | 2147483647 210619 17 | 1.056 % |
118.63/118.68 c | 211095 | 4873 255531 1814563 | 2147483647 211029 17 | 1.056 % |
118.93/118.97 c | 211545 | 4873 255531 1814563 | 2147483647 211479 17 | 1.056 % |
119.53/119.52 c | 212038 | 4873 255531 1814563 | 2147483647 211972 17 | 1.056 % |
120.13/120.13 c | 212581 | 4873 255531 1814563 | 2147483647 212515 17 | 1.056 % |
120.23/120.25 c | 213178 | 4873 255531 1814563 | 2147483647 213112 17 | 1.056 % |
120.63/120.68 c | 213833 | 4873 255531 1814563 | 2147483647 213767 17 | 1.056 % |
120.73/120.78 c | 214554 | 4873 255531 1814563 | 2147483647 214488 17 | 1.056 % |
121.03/121.02 c | 215346 | 4873 255531 1814563 | 2147483647 215280 17 | 1.056 % |
121.13/121.15 c | 216217 | 4873 255531 1814563 | 2147483647 216151 17 | 1.056 % |
121.63/121.62 c | 217176 | 4873 255531 1814563 | 2147483647 217110 17 | 1.056 % |
121.83/121.85 c | 218230 | 4873 255531 1814563 | 2147483647 218164 17 | 1.056 % |
122.43/122.51 c | 219388 | 4873 255531 1814563 | 2147483647 219322 17 | 1.056 % |
123.13/123.14 c | 220662 | 4873 255531 1814563 | 2147483647 220596 17 | 1.056 % |
123.63/123.71 c | 222063 | 4873 255531 1814563 | 2147483647 221997 17 | 1.056 % |
124.43/124.42 c | 223604 | 4873 255531 1814563 | 2147483647 223538 17 | 1.056 % |
125.73/125.77 c | 225299 | 4873 255531 1814563 | 2147483647 225233 17 | 1.056 % |
128.63/128.63 c | 227162 | 4873 255531 1814563 | 2147483647 227096 17 | 1.056 % |
130.83/130.87 c | 229212 | 4873 255531 1814563 | 2147483647 229146 17 | 1.056 % |
132.03/132.02 c | 231467 | 4873 255531 1814563 | 2147483647 231401 17 | 1.056 % |
132.03/132.05 c | 231568 | 4873 255531 1814563 | 2147483647 231502 17 | 1.056 % |
132.13/132.12 c | 231678 | 4873 255531 1814563 | 2147483647 231612 17 | 1.056 % |
132.13/132.17 c | 231799 | 4873 255531 1814563 | 2147483647 231733 17 | 1.056 % |
132.23/132.28 c | 231934 | 4873 255531 1814563 | 2147483647 231868 17 | 1.056 % |
132.23/132.30 c | 232082 | 4873 255531 1814563 | 2147483647 232016 17 | 1.056 % |
132.33/132.41 c | 232242 | 4873 255531 1814563 | 2147483647 232176 17 | 1.056 % |
132.43/132.48 c | 232419 | 4873 255531 1814563 | 2147483647 232353 17 | 1.056 % |
132.53/132.55 c | 232613 | 4873 255531 1814563 | 2147483647 232547 17 | 1.056 % |
132.63/132.61 c | 232826 | 4873 255531 1814563 | 2147483647 232760 17 | 1.056 % |
132.83/132.83 c | 233059 | 4873 255531 1814563 | 2147483647 232993 17 | 1.056 % |
132.93/132.96 c | 233315 | 4873 255531 1814563 | 2147483647 233249 17 | 1.056 % |
133.03/133.05 c | 233596 | 4873 255531 1814563 | 2147483647 233530 17 | 1.056 % |
133.63/133.69 c | 233905 | 4873 255531 1814563 | 2147483647 233839 17 | 1.056 % |
133.73/133.80 c | 234244 | 4873 255531 1814563 | 2147483647 234178 17 | 1.056 % |
134.03/134.02 c | 234616 | 4873 255531 1814563 | 2147483647 234550 17 | 1.056 % |
134.13/134.12 c | 235025 | 4873 255531 1814563 | 2147483647 234959 17 | 1.056 % |
134.83/134.86 c | 235474 | 4873 255531 1814563 | 2147483647 235408 17 | 1.056 % |
135.53/135.53 c | 235967 | 4873 255531 1814563 | 2147483647 235901 17 | 1.056 % |
135.73/135.79 c | 236511 | 4873 255531 1814563 | 2147483647 236445 17 | 1.056 % |
135.93/135.94 c | 237107 | 4873 255531 1814563 | 2147483647 237041 17 | 1.056 % |
136.53/136.60 c | 237762 | 4873 255531 1814563 | 2147483647 237696 17 | 1.056 % |
136.73/136.78 c | 238483 | 4873 255531 1814563 | 2147483647 238417 17 | 1.056 % |
138.33/138.32 c | 239276 | 4873 255531 1814563 | 2147483647 239210 17 | 1.056 % |
139.03/139.04 c | 240149 | 4873 255531 1814563 | 2147483647 240083 17 | 1.056 % |
139.53/139.58 c | 241107 | 4873 255531 1814563 | 2147483647 241041 17 | 1.056 % |
140.23/140.29 c | 242160 | 4873 255531 1814563 | 2147483647 242094 17 | 1.056 % |
141.03/141.05 c | 243319 | 4873 255531 1814563 | 2147483647 243253 17 | 1.056 % |
142.53/142.57 c | 244594 | 4873 255531 1814563 | 2147483647 244528 17 | 1.056 % |
143.83/143.81 c | 245995 | 4873 255531 1814563 | 2147483647 245929 17 | 1.056 % |
144.73/144.79 c | 247535 | 4873 255531 1814563 | 2147483647 247469 17 | 1.056 % |
146.23/146.24 c | 249229 | 4873 255531 1814563 | 2147483647 249163 17 | 1.056 % |
146.53/146.53 c | 251093 | 4873 255531 1814563 | 2147483647 251027 17 | 1.056 % |
149.63/149.65 c | 253144 | 4873 255531 1814563 | 2147483647 253078 18 | 1.056 % |
151.53/151.57 c | 255397 | 4873 255531 1814563 | 2147483647 255331 18 | 1.056 % |
153.13/153.15 c | 257875 | 4873 255531 1814563 | 2147483647 257809 18 | 1.056 % |
153.13/153.18 c | 257977 | 4873 255531 1814563 | 2147483647 257911 18 | 1.056 % |
153.23/153.22 c | 258088 | 4873 255531 1814563 | 2147483647 258022 18 | 1.056 % |
153.23/153.28 c | 258209 | 4873 255531 1814563 | 2147483647 258143 18 | 1.056 % |
153.33/153.35 c | 258342 | 4873 255531 1814563 | 2147483647 258276 18 | 1.056 % |
153.33/153.41 c | 258489 | 4873 255531 1814563 | 2147483647 258423 18 | 1.056 % |
153.53/153.60 c | 258649 | 4873 255531 1814563 | 2147483647 258583 18 | 1.056 % |
153.63/153.65 c | 258827 | 4873 255531 1814563 | 2147483647 258761 18 | 1.056 % |
153.73/153.74 c | 259020 | 4873 255531 1814563 | 2147483647 258954 18 | 1.056 % |
153.93/153.93 c | 259234 | 4873 255531 1814563 | 2147483647 259168 18 | 1.056 % |
153.93/153.99 c | 259468 | 4873 255531 1814563 | 2147483647 259402 18 | 1.056 % |
154.23/154.30 c | 259725 | 4873 255531 1814563 | 2147483647 259659 18 | 1.056 % |
154.43/154.44 c | 260007 | 4873 255531 1814563 | 2147483647 259941 18 | 1.056 % |
154.63/154.69 c | 260316 | 4873 255531 1814563 | 2147483647 260250 18 | 1.056 % |
154.73/154.78 c | 260656 | 4873 255531 1814563 | 2147483647 260590 18 | 1.056 % |
155.03/155.02 c | 261029 | 4873 255531 1814563 | 2147483647 260963 18 | 1.056 % |
155.23/155.30 c | 261439 | 4873 255531 1814563 | 2147483647 261373 18 | 1.056 % |
155.43/155.44 c | 261888 | 4873 255531 1814563 | 2147483647 261822 18 | 1.056 % |
155.83/155.87 c | 262381 | 4873 255531 1814563 | 2147483647 262315 18 | 1.056 % |
156.03/156.09 c | 262924 | 4873 255531 1814563 | 2147483647 262858 18 | 1.056 % |
156.83/156.91 c | 263520 | 4873 255531 1814563 | 2147483647 263454 18 | 1.056 % |
157.03/157.04 c | 264175 | 4873 255531 1814563 | 2147483647 264109 18 | 1.056 % |
157.63/157.67 c | 264896 | 4873 255531 1814563 | 2147483647 264830 18 | 1.056 % |
158.63/158.63 c | 265688 | 4873 255531 1814563 | 2147483647 265622 18 | 1.056 % |
158.83/158.88 c | 266561 | 4873 255531 1814563 | 2147483647 266495 18 | 1.056 % |
160.23/160.29 c | 267520 | 4873 255531 1814563 | 2147483647 267454 18 | 1.056 % |
161.03/161.03 c | 268573 | 4873 255531 1814563 | 2147483647 268507 18 | 1.056 % |
162.53/162.55 c | 269732 | 4873 255531 1814563 | 2147483647 269666 18 | 1.056 % |
163.73/163.77 c | 271005 | 4873 255531 1814563 | 2147483647 270939 18 | 1.056 % |
164.63/164.63 c | 272406 | 4873 255531 1814563 | 2147483647 272340 18 | 1.056 % |
164.83/164.90 c | 273947 | 4873 255531 1814563 | 2147483647 273881 18 | 1.056 % |
166.23/166.30 c | 275641 | 4873 255531 1814563 | 2147483647 275575 18 | 1.056 % |
166.93/166.97 c | 277504 | 4873 255531 1814563 | 2147483647 277438 18 | 1.056 % |
168.13/168.14 c | 279553 | 4873 255531 1814563 | 2147483647 279487 18 | 1.056 % |
168.83/168.83 c | 281807 | 4873 255531 1814563 | 2147483647 281741 18 | 1.056 % |
171.03/171.11 c | 284286 | 4873 255531 1814563 | 2147483647 284220 18 | 1.056 % |
172.63/172.64 c | 287012 | 4873 255531 1814563 | 2147483647 286946 18 | 1.056 % |
172.73/172.73 c | 287113 | 4873 255531 1814563 | 2147483647 287047 18 | 1.056 % |
172.73/172.78 c | 287223 | 4873 255531 1814563 | 2147483647 287157 18 | 1.056 % |
172.83/172.87 c | 287344 | 4873 255531 1814563 | 2147483647 287278 18 | 1.056 % |
172.93/172.94 c | 287479 | 4873 255531 1814563 | 2147483647 287413 18 | 1.056 % |
172.93/172.98 c | 287625 | 4873 255531 1814563 | 2147483647 287559 18 | 1.056 % |
173.03/173.05 c | 287786 | 4873 255531 1814563 | 2147483647 287720 18 | 1.056 % |
173.23/173.21 c | 287962 | 4873 255531 1814563 | 2147483647 287896 18 | 1.056 % |
173.23/173.28 c | 288155 | 4873 255531 1814563 | 2147483647 288089 18 | 1.056 % |
173.33/173.36 c | 288367 | 4873 255531 1814563 | 2147483647 288301 18 | 1.056 % |
173.63/173.65 c | 288602 | 4873 255531 1814563 | 2147483647 288536 18 | 1.056 % |
173.63/173.70 c | 288859 | 4873 255531 1814563 | 2147483647 288793 18 | 1.056 % |
173.73/173.79 c | 289140 | 4873 255531 1814563 | 2147483647 289074 18 | 1.056 % |
173.93/174.00 c | 289450 | 4873 255531 1814563 | 2147483647 289384 18 | 1.056 % |
174.23/174.25 c | 289789 | 4873 255531 1814563 | 2147483647 289723 18 | 1.056 % |
174.43/174.44 c | 290162 | 4873 255531 1814563 | 2147483647 290096 18 | 1.056 % |
174.73/174.81 c | 290572 | 4873 255531 1814563 | 2147483647 290506 18 | 1.056 % |
174.93/174.91 c | 291021 | 4873 255531 1814563 | 2147483647 290955 18 | 1.056 % |
175.33/175.34 c | 291515 | 4873 255531 1814563 | 2147483647 291449 18 | 1.056 % |
175.43/175.46 c | 292057 | 4873 255531 1814563 | 2147483647 291991 18 | 1.056 % |
175.93/176.00 c | 292653 | 4873 255531 1814563 | 2147483647 292587 18 | 1.056 % |
176.43/176.50 c | 293310 | 4873 255531 1814563 | 2147483647 293244 18 | 1.056 % |
176.63/176.65 c | 294031 | 4873 255531 1814563 | 2147483647 293965 18 | 1.056 % |
177.43/177.41 c | 294823 | 4873 255531 1814563 | 2147483647 294757 18 | 1.056 % |
177.93/177.91 c | 295695 | 4873 255531 1814563 | 2147483647 295629 18 | 1.056 % |
178.83/178.89 c | 296655 | 4873 255531 1814563 | 2147483647 296589 18 | 1.056 % |
179.53/179.58 c | 297709 | 4873 255531 1814563 | 2147483647 297643 18 | 1.056 % |
179.73/179.78 c | 298867 | 4873 255531 1814563 | 2147483647 298801 18 | 1.056 % |
180.83/180.81 c | 300141 | 4873 255531 1814563 | 2147483647 300075 18 | 1.056 % |
181.63/181.69 c | 301541 | 4873 255531 1814563 | 2147483647 301475 18 | 1.056 % |
182.73/182.76 c | 303082 | 4873 255531 1814563 | 2147483647 303016 18 | 1.056 % |
182.93/182.97 c | 304776 | 4873 255531 1814563 | 2147483647 304710 18 | 1.056 % |
184.93/184.93 c | 306639 | 4873 255531 1814563 | 2147483647 306573 18 | 1.056 % |
186.33/186.33 c | 308689 | 4873 255531 1814563 | 2147483647 308623 18 | 1.056 % |
187.63/187.63 c | 310942 | 4873 255531 1814563 | 2147483647 310876 18 | 1.056 % |
189.13/189.20 c | 313420 | 4873 255531 1814563 | 2147483647 313354 18 | 1.056 % |
190.93/191.01 c | 316145 | 4873 255531 1814563 | 2147483647 316079 18 | 1.056 % |
193.53/193.55 c | 319144 | 4873 255531 1814563 | 2147483647 319078 18 | 1.056 % |
193.53/193.57 c | 319244 | 4873 255531 1814563 | 2147483647 319178 18 | 1.056 % |
193.64/193.62 c | 319355 | 4873 255531 1814563 | 2147483647 319289 18 | 1.056 % |
193.64/193.65 c | 319476 | 4873 255531 1814563 | 2147483647 319410 18 | 1.056 % |
193.73/193.74 c | 319609 | 4873 255531 1814563 | 2147483647 319543 18 | 1.056 % |
193.73/193.79 c | 319756 | 4873 255531 1814563 | 2147483647 319690 18 | 1.056 % |
193.93/193.91 c | 319917 | 4873 255531 1814563 | 2147483647 319851 18 | 1.056 % |
193.93/193.98 c | 320093 | 4873 255531 1814563 | 2147483647 320027 18 | 1.056 % |
194.13/194.21 c | 320286 | 4873 255531 1814563 | 2147483647 320220 18 | 1.056 % |
194.33/194.35 c | 320498 | 4873 255531 1814563 | 2147483647 320432 18 | 1.056 % |
194.74/194.73 c | 320732 | 4873 255531 1814563 | 2147483647 320666 18 | 1.056 % |
194.83/194.86 c | 320989 | 4873 255531 1814563 | 2147483647 320923 18 | 1.056 % |
195.03/195.08 c | 321271 | 4873 255531 1814563 | 2147483647 321205 18 | 1.056 % |
195.13/195.20 c | 321580 | 4873 255531 1814563 | 2147483647 321514 18 | 1.056 % |
195.43/195.42 c | 321919 | 4873 255531 1814563 | 2147483647 321853 18 | 1.056 % |
195.73/195.79 c | 322291 | 4873 255531 1814563 | 2147483647 322225 18 | 1.056 % |
195.93/196.00 c | 322700 | 4873 255531 1814563 | 2147483647 322634 18 | 1.056 % |
196.53/196.51 c | 323149 | 4873 255531 1814563 | 2147483647 323083 18 | 1.056 % |
196.94/196.93 c | 323642 | 4873 255531 1814563 | 2147483647 323576 18 | 1.056 % |
197.03/197.04 c | 324184 | 4873 255531 1814563 | 2147483647 324118 18 | 1.056 % |
197.53/197.52 c | 324780 | 4873 255531 1814563 | 2147483647 324714 18 | 1.056 % |
198.13/198.11 c | 325437 | 4873 255531 1814563 | 2147483647 325371 18 | 1.056 % |
198.53/198.56 c | 326157 | 4873 255531 1814563 | 2147483647 326091 18 | 1.056 % |
199.53/199.57 c | 326949 | 4873 255531 1814563 | 2147483647 326883 18 | 1.056 % |
201.23/201.21 c | 327821 | 4873 255531 1814563 | 2147483647 327755 18 | 1.056 % |
201.63/201.68 c | 328779 | 4873 255531 1814563 | 2147483647 328713 18 | 1.056 % |
202.53/202.56 c | 329832 | 4873 255531 1814563 | 2147483647 329766 18 | 1.056 % |
203.54/203.55 c | 330990 | 4873 255531 1814563 | 2147483647 330924 18 | 1.056 % |
205.93/205.98 c | 332263 | 4873 255531 1814563 | 2147483647 332197 18 | 1.056 % |
206.93/207.01 c | 333663 | 4873 255531 1814563 | 2147483647 333597 18 | 1.056 % |
209.33/209.40 c | 335203 | 4873 255531 1814563 | 2147483647 335137 18 | 1.056 % |
209.73/209.77 c | 336898 | 4873 255531 1814563 | 2147483647 336832 18 | 1.056 % |
211.03/211.05 c | 338762 | 4873 255531 1814563 | 2147483647 338696 18 | 1.056 % |
211.83/211.90 c | 340813 | 4873 255531 1814563 | 2147483647 340747 18 | 1.056 % |
214.33/214.39 c | 343066 | 4873 255531 1814563 | 2147483647 343000 18 | 1.056 % |
216.63/216.64 c | 345545 | 4873 255531 1814563 | 2147483647 345479 18 | 1.056 % |
219.03/219.08 c | 348271 | 4873 255531 1814563 | 2147483647 348205 18 | 1.056 % |
221.43/221.42 c | 351268 | 4873 255531 1814563 | 2147483647 351202 18 | 1.056 % |
226.83/226.89 c | 354566 | 4873 255531 1814563 | 2147483647 354500 18 | 1.056 % |
226.93/227.00 c | 354666 | 4873 255531 1814563 | 2147483647 354600 18 | 1.056 % |
227.13/227.14 c | 354778 | 4873 255531 1814563 | 2147483647 354712 18 | 1.056 % |
227.23/227.21 c | 354899 | 4873 255531 1814563 | 2147483647 354833 18 | 1.056 % |
227.33/227.33 c | 355034 | 4873 255531 1814563 | 2147483647 354968 18 | 1.056 % |
227.43/227.43 c | 355181 | 4873 255531 1814563 | 2147483647 355115 18 | 1.056 % |
227.63/227.63 c | 355342 | 4873 255531 1814563 | 2147483647 355276 18 | 1.056 % |
227.74/227.73 c | 355518 | 4873 255531 1814563 | 2147483647 355452 18 | 1.056 % |
227.83/227.89 c | 355712 | 4873 255531 1814563 | 2147483647 355646 18 | 1.056 % |
228.03/228.05 c | 355925 | 4873 255531 1814563 | 2147483647 355859 18 | 1.056 % |
228.13/228.16 c | 356158 | 4873 255531 1814563 | 2147483647 356092 18 | 1.056 % |
228.33/228.33 c | 356414 | 4873 255531 1814563 | 2147483647 356348 18 | 1.056 % |
228.53/228.56 c | 356695 | 4873 255531 1814563 | 2147483647 356629 18 | 1.056 % |
228.63/228.65 c | 357004 | 4873 255531 1814563 | 2147483647 356938 18 | 1.056 % |
229.03/229.03 c | 357344 | 4873 255531 1814563 | 2147483647 357278 18 | 1.056 % |
229.53/229.51 c | 357717 | 4873 255531 1814563 | 2147483647 357651 18 | 1.056 % |
229.94/229.96 c | 358126 | 4873 255531 1814563 | 2147483647 358060 18 | 1.056 % |
230.33/230.31 c | 358576 | 4873 255531 1814563 | 2147483647 358510 18 | 1.056 % |
230.83/230.86 c | 359070 | 4873 255531 1814563 | 2147483647 359004 18 | 1.056 % |
230.93/230.99 c | 359612 | 4873 255531 1814563 | 2147483647 359546 18 | 1.056 % |
231.73/231.71 c | 360208 | 4873 255531 1814563 | 2147483647 360142 18 | 1.056 % |
231.93/231.98 c | 360864 | 4873 255531 1814563 | 2147483647 360798 18 | 1.056 % |
232.43/232.49 c | 361584 | 4873 255531 1814563 | 2147483647 361518 18 | 1.056 % |
233.03/233.07 c | 362378 | 4873 255531 1814563 | 2147483647 362312 18 | 1.056 % |
234.23/234.23 c | 363249 | 4873 255531 1814563 | 2147483647 363183 18 | 1.056 % |
234.53/234.55 c | 364208 | 4873 255531 1814563 | 2147483647 364142 18 | 1.056 % |
235.33/235.40 c | 365262 | 4873 255531 1814563 | 2147483647 365196 18 | 1.056 % |
236.54/236.53 c | 366420 | 4873 255531 1814563 | 2147483647 366354 18 | 1.056 % |
237.34/237.38 c | 367694 | 4873 255531 1814563 | 2147483647 367628 18 | 1.056 % |
238.54/238.53 c | 369094 | 4873 255531 1814563 | 2147483647 369028 18 | 1.056 % |
239.14/239.12 c | 370634 | 4873 255531 1814563 | 2147483647 370568 18 | 1.056 % |
241.24/241.26 c | 372328 | 4873 255531 1814563 | 2147483647 372262 18 | 1.056 % |
242.94/242.94 c | 374192 | 4873 255531 1814563 | 2147483647 374126 18 | 1.056 % |
243.34/243.35 c | 376242 | 4873 255531 1814563 | 2147483647 376176 18 | 1.056 % |
247.44/247.47 c | 378495 | 4873 255531 1814563 | 2147483647 378429 18 | 1.056 % |
248.84/248.91 c | 380973 | 4873 255531 1814563 | 2147483647 380907 18 | 1.056 % |
251.74/251.80 c | 383698 | 4873 255531 1814563 | 2147483647 383632 18 | 1.056 % |
254.74/254.79 c | 386697 | 4873 255531 1814563 | 2147483647 386631 18 | 1.056 % |
259.64/259.66 c | 389995 | 4873 255531 1814563 | 2147483647 389929 18 | 1.056 % |
266.84/266.88 c | 393620 | 4873 255531 1814563 | 2147483647 393554 18 | 1.056 % |
266.94/266.92 c | 393722 | 4873 255531 1814563 | 2147483647 393656 18 | 1.056 % |
266.94/266.96 c | 393832 | 4873 255531 1814563 | 2147483647 393766 18 | 1.056 % |
267.04/267.09 c | 393953 | 4873 255531 1814563 | 2147483647 393887 18 | 1.056 % |
267.14/267.18 c | 394087 | 4873 255531 1814563 | 2147483647 394021 18 | 1.056 % |
267.44/267.45 c | 394234 | 4873 255531 1814563 | 2147483647 394168 18 | 1.056 % |
267.64/267.64 c | 394394 | 4873 255531 1814563 | 2147483647 394328 18 | 1.056 % |
267.74/267.71 c | 394572 | 4873 255531 1814563 | 2147483647 394506 18 | 1.056 % |
267.74/267.78 c | 394766 | 4873 255531 1814563 | 2147483647 394700 18 | 1.056 % |
267.94/267.91 c | 394978 | 4873 255531 1814563 | 2147483647 394912 18 | 1.056 % |
268.04/268.06 c | 395211 | 4873 255531 1814563 | 2147483647 395145 18 | 1.056 % |
268.14/268.17 c | 395468 | 4873 255531 1814563 | 2147483647 395402 18 | 1.056 % |
268.44/268.48 c | 395750 | 4873 255531 1814563 | 2147483647 395684 18 | 1.056 % |
268.54/268.55 c | 396060 | 4873 255531 1814563 | 2147483647 395994 18 | 1.056 % |
268.74/268.76 c | 396399 | 4873 255531 1814563 | 2147483647 396333 18 | 1.056 % |
269.04/269.08 c | 396771 | 4873 255531 1814563 | 2147483647 396705 18 | 1.056 % |
269.54/269.54 c | 397181 | 4873 255531 1814563 | 2147483647 397115 18 | 1.056 % |
269.64/269.65 c | 397630 | 4873 255531 1814563 | 2147483647 397564 18 | 1.056 % |
269.94/269.94 c | 398123 | 4873 255531 1814563 | 2147483647 398057 18 | 1.056 % |
270.44/270.47 c | 398666 | 4873 255531 1814563 | 2147483647 398600 18 | 1.056 % |
270.54/270.61 c | 399262 | 4873 255531 1814563 | 2147483647 399196 18 | 1.056 % |
271.04/271.03 c | 399917 | 4873 255531 1814563 | 2147483647 399851 18 | 1.056 % |
271.34/271.40 c | 400637 | 4873 255531 1814563 | 2147483647 400571 18 | 1.056 % |
271.54/271.60 c | 401430 | 4873 255531 1814563 | 2147483647 401364 18 | 1.056 % |
272.44/272.47 c | 402302 | 4873 255531 1814563 | 2147483647 402236 18 | 1.056 % |
272.74/272.75 c | 403260 | 4873 255531 1814563 | 2147483647 403194 18 | 1.056 % |
273.44/273.47 c | 404313 | 4873 255531 1814563 | 2147483647 404247 18 | 1.056 % |
273.74/273.75 c | 405471 | 4873 255531 1814563 | 2147483647 405405 18 | 1.056 % |
274.94/274.98 c | 406745 | 4872 255519 1814532 | 2147483647 406677 18 | 1.076 % |
275.94/275.96 c | 408146 | 4872 255519 1814532 | 2147483647 408078 18 | 1.076 % |
279.24/279.24 c | 409687 | 4872 255519 1814532 | 2147483647 409619 18 | 1.076 % |
280.34/280.37 c | 411383 | 4872 255519 1814532 | 2147483647 411315 18 | 1.076 % |
281.34/281.36 c | 413249 | 4872 255519 1814532 | 2147483647 413181 18 | 1.076 % |
281.74/281.76 c | 415298 | 4872 255519 1814532 | 2147483647 415230 18 | 1.076 % |
284.54/284.57 c | 417551 | 4872 255519 1814532 | 2147483647 417483 19 | 1.076 % |
286.14/286.12 c | 420031 | 4872 255519 1814532 | 2147483647 419963 19 | 1.076 % |
289.64/289.65 c | 422756 | 4872 255519 1814532 | 2147483647 422688 19 | 1.076 % |
292.14/292.13 c | 425753 | 4872 255519 1814532 | 2147483647 425685 19 | 1.076 % |
293.94/293.95 c | 429049 | 4872 255519 1814532 | 2147483647 428981 19 | 1.076 % |
298.94/298.93 c | 432675 | 4872 255519 1814532 | 2147483647 432607 19 | 1.076 % |
301.74/301.78 c | 436662 | 4872 255519 1814532 | 2147483647 436594 19 | 1.076 % |
301.84/301.84 c | 436763 | 4872 255519 1814532 | 2147483647 436695 19 | 1.076 % |
301.94/301.99 c | 436873 | 4872 255519 1814532 | 2147483647 436805 19 | 1.076 % |
302.04/302.03 c | 436994 | 4872 255519 1814532 | 2147483647 436926 19 | 1.076 % |
302.24/302.25 c | 437128 | 4872 255519 1814532 | 2147483647 437060 19 | 1.076 % |
302.24/302.30 c | 437274 | 4872 255519 1814532 | 2147483647 437206 19 | 1.076 % |
302.54/302.51 c | 437434 | 4872 255519 1814532 | 2147483647 437366 19 | 1.076 % |
302.64/302.62 c | 437611 | 4872 255519 1814532 | 2147483647 437543 19 | 1.076 % |
302.64/302.70 c | 437805 | 4872 255519 1814532 | 2147483647 437737 19 | 1.076 % |
302.74/302.80 c | 438017 | 4872 255519 1814532 | 2147483647 437949 19 | 1.076 % |
302.94/302.97 c | 438251 | 4872 255519 1814532 | 2147483647 438183 19 | 1.076 % |
303.34/303.35 c | 438508 | 4872 255519 1814532 | 2147483647 438440 19 | 1.076 % |
303.74/303.72 c | 438789 | 4872 255519 1814532 | 2147483647 438721 19 | 1.076 % |
303.94/303.92 c | 439098 | 4872 255519 1814532 | 2147483647 439030 19 | 1.076 % |
304.04/304.05 c | 439437 | 4872 255519 1814532 | 2147483647 439369 19 | 1.076 % |
304.54/304.56 c | 439809 | 4872 255519 1814532 | 2147483647 439741 19 | 1.076 % |
304.74/304.74 c | 440218 | 4872 255519 1814532 | 2147483647 440150 19 | 1.076 % |
304.94/304.92 c | 440667 | 4872 255519 1814532 | 2147483647 440599 19 | 1.076 % |
305.74/305.77 c | 441161 | 4872 255519 1814532 | 2147483647 441093 19 | 1.076 % |
306.04/306.05 c | 441704 | 4872 255519 1814532 | 2147483647 441636 19 | 1.076 % |
306.84/306.85 c | 442300 | 4872 255519 1814532 | 2147483647 442232 19 | 1.076 % |
306.94/307.00 c | 442956 | 4872 255519 1814532 | 2147483647 442888 19 | 1.076 % |
307.54/307.59 c | 443676 | 4872 255519 1814532 | 2147483647 443608 19 | 1.076 % |
307.94/307.98 c | 444468 | 4872 255519 1814532 | 2147483647 444400 19 | 1.076 % |
309.14/309.12 c | 445340 | 4872 255519 1814532 | 2147483647 445272 19 | 1.076 % |
310.74/310.76 c | 446299 | 4872 255519 1814532 | 2147483647 446231 19 | 1.076 % |
311.84/311.83 c | 447353 | 4872 255519 1814532 | 2147483647 447285 19 | 1.076 % |
313.24/313.23 c | 448512 | 4872 255519 1814532 | 2147483647 448444 19 | 1.076 % |
313.74/313.77 c | 449785 | 4872 255519 1814532 | 2147483647 449717 19 | 1.076 % |
314.84/314.87 c | 451185 | 4872 255519 1814532 | 2147483647 451117 19 | 1.076 % |
316.54/316.52 c | 452726 | 4872 255519 1814532 | 2147483647 452658 19 | 1.076 % |
319.64/319.68 c | 454421 | 4872 255519 1814532 | 2147483647 454353 19 | 1.076 % |
320.64/320.69 c | 456285 | 4872 255519 1814532 | 2147483647 456217 19 | 1.076 % |
323.24/323.29 c | 458334 | 4872 255519 1814532 | 2147483647 458266 19 | 1.076 % |
326.44/326.46 c | 460588 | 4872 255519 1814532 | 2147483647 460520 19 | 1.076 % |
327.14/327.20 c | 463067 | 4872 255519 1814532 | 2147483647 462999 19 | 1.076 % |
333.94/333.94 c | 465792 | 4872 255519 1814532 | 2147483647 465724 19 | 1.076 % |
338.14/338.17 c | 468790 | 4872 255519 1814532 | 2147483647 468722 19 | 1.076 % |
341.94/341.97 c | 472086 | 4872 255519 1814532 | 2147483647 472018 19 | 1.076 % |
348.04/348.09 c | 475711 | 4872 255519 1814532 | 2147483647 475643 19 | 1.076 % |
350.74/350.79 c | 479699 | 4872 255519 1814532 | 2147483647 479631 19 | 1.076 % |
355.04/355.08 c | 484084 | 4872 255519 1814532 | 2147483647 484016 19 | 1.076 % |
355.14/355.19 c | 484185 | 4872 255519 1814532 | 2147483647 484117 19 | 1.076 % |
355.44/355.50 c | 484295 | 4872 255519 1814532 | 2147483647 484227 19 | 1.076 % |
355.54/355.56 c | 484416 | 4872 255519 1814532 | 2147483647 484348 19 | 1.076 % |
355.74/355.73 c | 484551 | 4872 255519 1814532 | 2147483647 484483 19 | 1.076 % |
355.74/355.79 c | 484697 | 4872 255519 1814532 | 2147483647 484629 19 | 1.076 % |
355.84/355.88 c | 484857 | 4872 255519 1814532 | 2147483647 484789 19 | 1.076 % |
356.14/356.15 c | 485034 | 4872 255519 1814532 | 2147483647 484966 19 | 1.076 % |
356.34/356.31 c | 485229 | 4872 255519 1814532 | 2147483647 485161 19 | 1.076 % |
356.45/356.43 c | 485441 | 4872 255519 1814532 | 2147483647 485373 19 | 1.076 % |
356.74/356.77 c | 485674 | 4872 255519 1814532 | 2147483647 485606 19 | 1.076 % |
356.94/356.94 c | 485930 | 4872 255519 1814532 | 2147483647 485862 19 | 1.076 % |
357.24/357.24 c | 486211 | 4872 255519 1814532 | 2147483647 486143 19 | 1.076 % |
357.34/357.37 c | 486520 | 4872 255519 1814532 | 2147483647 486452 19 | 1.076 % |
358.54/358.52 c | 486861 | 4872 255519 1814532 | 2147483647 486793 19 | 1.076 % |
358.84/358.89 c | 487234 | 4872 255519 1814532 | 2147483647 487166 19 | 1.076 % |
359.04/359.07 c | 487645 | 4872 255519 1814532 | 2147483647 487577 19 | 1.076 % |
359.94/359.92 c | 488094 | 4872 255519 1814532 | 2147483647 488026 19 | 1.076 % |
360.04/360.09 c | 488587 | 4872 255519 1814532 | 2147483647 488519 19 | 1.076 % |
360.64/360.66 c | 489129 | 4872 255519 1814532 | 2147483647 489061 19 | 1.076 % |
360.74/360.78 c | 489725 | 4872 255519 1814532 | 2147483647 489657 19 | 1.076 % |
362.04/362.06 c | 490380 | 4872 255519 1814532 | 2147483647 490312 19 | 1.076 % |
362.84/362.88 c | 491100 | 4872 255519 1814532 | 2147483647 491032 19 | 1.076 % |
364.24/364.27 c | 491892 | 4872 255519 1814532 | 2147483647 491824 19 | 1.076 % |
364.54/364.59 c | 492764 | 4872 255519 1814532 | 2147483647 492696 19 | 1.076 % |
364.84/364.88 c | 493723 | 4872 255519 1814532 | 2147483647 493655 19 | 1.076 % |
366.35/366.34 c | 494776 | 4872 255519 1814532 | 2147483647 494708 19 | 1.076 % |
368.05/368.03 c | 495934 | 4872 255519 1814532 | 2147483647 495866 19 | 1.076 % |
369.15/369.18 c | 497207 | 4872 255519 1814532 | 2147483647 497139 19 | 1.076 % |
370.75/370.76 c | 498608 | 4872 255519 1814532 | 2147483647 498540 19 | 1.076 % |
372.15/372.14 c | 500148 | 4872 255519 1814532 | 2147483647 500080 19 | 1.076 % |
374.55/374.57 c | 501843 | 4872 255519 1814532 | 2147483647 501775 19 | 1.076 % |
376.65/376.63 c | 503706 | 4872 255519 1814532 | 2147483647 503638 19 | 1.076 % |
377.05/377.06 c | 505755 | 4872 255519 1814532 | 2147483647 505687 19 | 1.076 % |
379.35/379.41 c | 508009 | 4872 255519 1814532 | 2147483647 507941 19 | 1.076 % |
383.15/383.15 c | 510487 | 4872 255519 1814532 | 2147483647 510419 19 | 1.076 % |
386.75/386.74 c | 513213 | 4872 255519 1814532 | 2147483647 513145 19 | 1.076 % |
390.45/390.42 c | 516211 | 4872 255519 1814532 | 2147483647 516143 19 | 1.076 % |
392.65/392.62 c | 519507 | 4872 255519 1814532 | 2147483647 519439 19 | 1.076 % |
395.65/395.69 c | 523132 | 4872 255519 1814532 | 2147483647 523064 19 | 1.076 % |
402.15/402.19 c | 527119 | 4872 255519 1814532 | 2147483647 527051 19 | 1.076 % |
410.56/410.58 c | 531505 | 4872 255519 1814532 | 2147483647 531437 19 | 1.076 % |
415.86/415.83 c | 536329 | 4872 255519 1814532 | 2147483647 536261 19 | 1.076 % |
415.96/415.94 c | 536430 | 4872 255519 1814532 | 2147483647 536362 19 | 1.076 % |
416.06/416.06 c | 536540 | 4872 255519 1814532 | 2147483647 536472 19 | 1.076 % |
416.16/416.18 c | 536662 | 4872 255519 1814532 | 2147483647 536594 19 | 1.076 % |
416.26/416.31 c | 536795 | 4872 255519 1814532 | 2147483647 536727 19 | 1.076 % |
416.46/416.48 c | 536943 | 4872 255519 1814532 | 2147483647 536875 19 | 1.076 % |
416.56/416.59 c | 537103 | 4872 255519 1814532 | 2147483647 537035 19 | 1.076 % |
416.66/416.70 c | 537281 | 4872 255519 1814532 | 2147483647 537213 19 | 1.076 % |
416.76/416.79 c | 537474 | 4872 255519 1814532 | 2147483647 537406 19 | 1.076 % |
417.26/417.22 c | 537686 | 4872 255519 1814532 | 2147483647 537618 19 | 1.076 % |
417.36/417.41 c | 537919 | 4872 255519 1814532 | 2147483647 537851 19 | 1.076 % |
417.46/417.52 c | 538177 | 4872 255519 1814532 | 2147483647 538109 19 | 1.076 % |
418.06/418.06 c | 538458 | 4872 255519 1814532 | 2147483647 538390 19 | 1.076 % |
418.46/418.50 c | 538767 | 4872 255519 1814532 | 2147483647 538699 19 | 1.076 % |
418.56/418.62 c | 539107 | 4872 255519 1814532 | 2147483647 539039 19 | 1.076 % |
418.96/418.92 c | 539479 | 4872 255519 1814532 | 2147483647 539411 19 | 1.076 % |
419.06/419.06 c | 539888 | 4872 255519 1814532 | 2147483647 539820 19 | 1.076 % |
419.76/419.73 c | 540337 | 4872 255519 1814532 | 2147483647 540269 19 | 1.076 % |
419.96/419.96 c | 540830 | 4872 255519 1814532 | 2147483647 540762 19 | 1.076 % |
420.26/420.27 c | 541372 | 4872 255519 1814532 | 2147483647 541304 19 | 1.076 % |
421.06/421.02 c | 541968 | 4872 255519 1814532 | 2147483647 541900 19 | 1.076 % |
422.46/422.44 c | 542624 | 4872 255519 1814532 | 2147483647 542556 19 | 1.076 % |
422.96/423.00 c | 543344 | 4872 255519 1814532 | 2147483647 543276 19 | 1.076 % |
423.96/423.92 c | 544137 | 4872 255519 1814532 | 2147483647 544069 19 | 1.076 % |
424.26/424.29 c | 545009 | 4872 255519 1814532 | 2147483647 544941 19 | 1.076 % |
426.16/426.18 c | 545967 | 4872 255519 1814532 | 2147483647 545899 19 | 1.076 % |
427.06/427.10 c | 547021 | 4872 255519 1814532 | 2147483647 546953 19 | 1.076 % |
428.76/428.79 c | 548179 | 4872 255519 1814532 | 2147483647 548111 19 | 1.076 % |
429.26/429.29 c | 549453 | 4872 255519 1814532 | 2147483647 549385 19 | 1.076 % |
431.95/431.95 c | 550854 | 4872 255519 1814532 | 2147483647 550786 19 | 1.076 % |
433.65/433.70 c | 552396 | 4872 255519 1814532 | 2147483647 552328 19 | 1.076 % |
435.85/435.87 c | 554090 | 4872 255519 1814532 | 2147483647 554022 19 | 1.076 % |
437.95/437.98 c | 555955 | 4872 255519 1814532 | 2147483647 555887 19 | 1.076 % |
439.95/440.01 c | 558004 | 4872 255519 1814532 | 2147483647 557936 19 | 1.076 % |
444.15/444.14 c | 560257 | 4872 255519 1814532 | 2147483647 560189 19 | 1.076 % |
448.15/448.15 c | 562736 | 4872 255519 1814532 | 2147483647 562668 19 | 1.076 % |
451.25/451.28 c | 565462 | 4872 255519 1814532 | 2147483647 565394 19 | 1.076 % |
454.95/454.93 c | 568462 | 4872 255519 1814532 | 2147483647 568394 19 | 1.076 % |
457.05/457.01 c | 571760 | 4872 255519 1814532 | 2147483647 571692 19 | 1.076 % |
463.75/463.73 c | 575386 | 4872 255519 1814532 | 2147483647 575318 19 | 1.076 % |
468.25/468.21 c | 579374 | 4872 255519 1814532 | 2147483647 579306 19 | 1.076 % |
472.45/472.48 c | 583759 | 4871 255507 1814501 | 2147483647 583687 19 | 1.096 % |
475.65/475.63 c | 588582 | 4871 255507 1814501 | 2147483647 588510 19 | 1.096 % |
477.85/477.87 c | 593887 | 4871 255507 1814501 | 2147483647 593815 19 | 1.096 % |
477.95/478.00 c | 593987 | 4871 255507 1814501 | 2147483647 593915 19 | 1.096 % |
478.15/478.14 c | 594099 | 4871 255507 1814501 | 2147483647 594027 19 | 1.096 % |
478.45/478.41 c | 594220 | 4871 255507 1814501 | 2147483647 594148 19 | 1.096 % |
478.45/478.51 c | 594354 | 4871 255507 1814501 | 2147483647 594282 19 | 1.096 % |
478.65/478.62 c | 594500 | 4871 255507 1814501 | 2147483647 594428 19 | 1.096 % |
478.75/478.75 c | 594661 | 4871 255507 1814501 | 2147483647 594589 19 | 1.096 % |
479.05/479.04 c | 594838 | 4871 255507 1814501 | 2147483647 594766 19 | 1.096 % |
479.15/479.11 c | 595033 | 4871 255507 1814501 | 2147483647 594961 19 | 1.096 % |
479.55/479.55 c | 595247 | 4871 255507 1814501 | 2147483647 595175 19 | 1.096 % |
479.75/479.75 c | 595480 | 4871 255507 1814501 | 2147483647 595408 19 | 1.096 % |
479.85/479.87 c | 595738 | 4871 255507 1814501 | 2147483647 595666 19 | 1.096 % |
480.25/480.22 c | 596021 | 4871 255507 1814501 | 2147483647 595949 19 | 1.096 % |
480.35/480.37 c | 596330 | 4871 255507 1814501 | 2147483647 596258 19 | 1.096 % |
480.55/480.51 c | 596669 | 4871 255507 1814501 | 2147483647 596597 19 | 1.096 % |
480.95/480.95 c | 597041 | 4871 255507 1814501 | 2147483647 596969 19 | 1.096 % |
481.15/481.18 c | 597451 | 4871 255507 1814501 | 2147483647 597379 19 | 1.096 % |
481.86/481.87 c | 597900 | 4871 255507 1814501 | 2147483647 597828 19 | 1.096 % |
482.05/482.06 c | 598393 | 4871 255507 1814501 | 2147483647 598321 19 | 1.096 % |
483.05/483.07 c | 598936 | 4871 255507 1814501 | 2147483647 598864 19 | 1.096 % |
483.65/483.66 c | 599532 | 4871 255507 1814501 | 2147483647 599460 19 | 1.096 % |
484.55/484.53 c | 600188 | 4871 255507 1814501 | 2147483647 600116 19 | 1.096 % |
485.05/485.03 c | 600909 | 4871 255507 1814501 | 2147483647 600837 19 | 1.096 % |
486.35/486.35 c | 601703 | 4871 255507 1814501 | 2147483647 601631 19 | 1.096 % |
486.75/486.72 c | 602574 | 4871 255507 1814501 | 2147483647 602502 19 | 1.096 % |
491.05/491.03 c | 603533 | 4871 255507 1814501 | 2147483647 603461 19 | 1.096 % |
492.25/492.25 c | 604587 | 4871 255507 1814501 | 2147483647 604515 19 | 1.096 % |
493.75/493.71 c | 605745 | 4871 255507 1814501 | 2147483647 605673 19 | 1.096 % |
495.25/495.24 c | 607018 | 4871 255507 1814501 | 2147483647 606946 19 | 1.096 % |
495.55/495.51 c | 608419 | 4871 255507 1814501 | 2147483647 608347 19 | 1.096 % |
496.95/496.92 c | 609959 | 4871 255507 1814501 | 2147483647 609887 19 | 1.096 % |
498.96/498.94 c | 611654 | 4871 255507 1814501 | 2147483647 611582 19 | 1.096 % |
502.36/502.32 c | 613518 | 4871 255507 1814501 | 2147483647 613446 19 | 1.096 % |
504.16/504.21 c | 615568 | 4871 255507 1814501 | 2147483647 615496 19 | 1.096 % |
506.86/506.85 c | 617822 | 4871 255507 1814501 | 2147483647 617750 19 | 1.096 % |
509.96/510.01 c | 620301 | 4871 255507 1814501 | 2147483647 620229 19 | 1.096 % |
515.16/515.12 c | 623027 | 4871 255507 1814501 | 2147483647 622955 19 | 1.096 % |
520.06/520.03 c | 626024 | 4871 255507 1814501 | 2147483647 625952 19 | 1.096 % |
523.86/523.86 c | 629323 | 4871 255507 1814501 | 2147483647 629251 19 | 1.096 % |
528.76/528.77 c | 632948 | 4871 255507 1814501 | 2147483647 632876 19 | 1.096 % |
535.46/535.46 c | 636936 | 4871 255507 1814501 | 2147483647 636864 19 | 1.096 % |
540.76/540.72 c | 641321 | 4871 255507 1814501 | 2147483647 641249 19 | 1.096 % |
546.26/546.24 c | 646144 | 4871 255507 1814501 | 2147483647 646072 19 | 1.096 % |
556.86/556.89 c | 651449 | 4871 255507 1814501 | 2147483647 651377 19 | 1.096 % |
560.36/560.35 c | 657285 | 4871 255507 1814501 | 2147483647 657213 19 | 1.096 % |
560.36/560.40 c | 657386 | 4871 255507 1814501 | 2147483647 657314 19 | 1.096 % |
560.86/560.88 c | 657499 | 4871 255507 1814501 | 2147483647 657427 19 | 1.096 % |
561.06/561.02 c | 657621 | 4871 255507 1814501 | 2147483647 657549 19 | 1.096 % |
561.36/561.33 c | 657755 | 4871 255507 1814501 | 2147483647 657683 19 | 1.096 % |
561.36/561.40 c | 657901 | 4871 255507 1814501 | 2147483647 657829 19 | 1.096 % |
561.86/561.87 c | 658062 | 4871 255507 1814501 | 2147483647 657990 19 | 1.096 % |
562.36/562.32 c | 658239 | 4871 255507 1814501 | 2147483647 658167 19 | 1.096 % |
562.46/562.46 c | 658432 | 4871 255507 1814501 | 2147483647 658360 19 | 1.096 % |
563.06/563.08 c | 658644 | 4871 255507 1814501 | 2147483647 658572 19 | 1.096 % |
563.66/563.62 c | 658877 | 4871 255507 1814501 | 2147483647 658805 19 | 1.096 % |
563.66/563.71 c | 659134 | 4871 255507 1814501 | 2147483647 659062 19 | 1.096 % |
563.86/563.85 c | 659416 | 4871 255507 1814501 | 2147483647 659344 19 | 1.096 % |
564.56/564.58 c | 659725 | 4871 255507 1814501 | 2147483647 659653 19 | 1.096 % |
564.86/564.89 c | 660065 | 4871 255507 1814501 | 2147483647 659993 19 | 1.096 % |
565.46/565.47 c | 660438 | 4871 255507 1814501 | 2147483647 660366 19 | 1.096 % |
565.96/565.98 c | 660849 | 4871 255507 1814501 | 2147483647 660777 19 | 1.096 % |
566.46/566.41 c | 661299 | 4871 255507 1814501 | 2147483647 661227 19 | 1.096 % |
566.96/566.94 c | 661795 | 4871 255507 1814501 | 2147483647 661723 19 | 1.096 % |
567.16/567.19 c | 662337 | 4871 255507 1814501 | 2147483647 662265 19 | 1.096 % |
568.66/568.69 c | 662935 | 4871 255507 1814501 | 2147483647 662863 19 | 1.096 % |
569.56/569.52 c | 663591 | 4871 255507 1814501 | 2147483647 663519 19 | 1.096 % |
570.76/570.81 c | 664313 | 4871 255507 1814501 | 2147483647 664241 19 | 1.096 % |
571.66/571.68 c | 665105 | 4870 255507 1814501 | 2147483647 665032 19 | 1.117 % |
573.66/573.67 c | 665977 | 4870 255507 1814501 | 2147483647 665904 19 | 1.117 % |
575.56/575.60 c | 666935 | 4870 255507 1814501 | 2147483647 666862 19 | 1.117 % |
576.06/576.10 c | 667988 | 4870 255507 1814501 | 2147483647 667915 19 | 1.117 % |
577.16/577.18 c | 669147 | 4870 255507 1814501 | 2147483647 669074 19 | 1.117 % |
577.66/577.65 c | 670420 | 4870 255507 1814501 | 2147483647 670347 19 | 1.117 % |
579.86/579.85 c | 671820 | 4870 255507 1814501 | 2147483647 671747 19 | 1.117 % |
582.36/582.34 c | 673361 | 4870 255507 1814501 | 2147483647 673288 19 | 1.117 % |
583.66/583.62 c | 675056 | 4870 255507 1814501 | 2147483647 674983 19 | 1.117 % |
586.56/586.55 c | 676921 | 4870 255507 1814501 | 2147483647 676848 19 | 1.117 % |
588.16/588.20 c | 678970 | 4870 255507 1814501 | 2147483647 678897 19 | 1.117 % |
593.26/593.26 c | 681223 | 4870 255507 1814501 | 2147483647 681150 19 | 1.117 % |
595.56/595.54 c | 683701 | 4870 255507 1814501 | 2147483647 683628 19 | 1.117 % |
597.56/597.58 c | 686429 | 4870 255507 1814501 | 2147483647 686356 19 | 1.117 % |
604.76/604.75 c | 689426 | 4870 255507 1814501 | 2147483647 689353 19 | 1.117 % |
615.86/615.83 c | 692724 | 4870 255507 1814501 | 2147483647 692651 19 | 1.117 % |
620.86/620.89 c | 696351 | 4870 255507 1814501 | 2147483647 696278 19 | 1.117 % |
626.16/626.14 c | 700340 | 4870 255507 1814501 | 2147483647 700267 19 | 1.117 % |
633.87/633.89 c | 704728 | 4870 255507 1814501 | 2147483647 704655 19 | 1.117 % |
641.47/641.49 c | 709551 | 4870 255507 1814501 | 2147483647 709478 19 | 1.117 % |
648.17/648.18 c | 714857 | 4870 255507 1814501 | 2147483647 714784 19 | 1.117 % |
656.97/656.99 c | 720695 | 4868 255507 1814501 | 2147483647 720621 19 | 1.157 % |
666.27/666.28 c | 727113 | 4868 255507 1814501 | 2147483647 727039 19 | 1.157 % |
666.37/666.39 c | 727213 | 4868 255507 1814501 | 2147483647 727139 19 | 1.157 % |
666.57/666.57 c | 727323 | 4868 255507 1814501 | 2147483647 727249 19 | 1.157 % |
666.67/666.64 c | 727445 | 4868 255507 1814501 | 2147483647 727371 19 | 1.157 % |
666.67/666.70 c | 727579 | 4868 255507 1814501 | 2147483647 727505 19 | 1.157 % |
667.37/667.40 c | 727726 | 4868 255507 1814501 | 2147483647 727652 19 | 1.157 % |
667.57/667.53 c | 727887 | 4868 255507 1814501 | 2147483647 727813 19 | 1.157 % |
667.67/667.65 c | 728065 | 4868 255507 1814501 | 2147483647 727991 19 | 1.157 % |
668.07/668.10 c | 728259 | 4868 255507 1814501 | 2147483647 728185 19 | 1.157 % |
668.57/668.57 c | 728471 | 4868 255507 1814501 | 2147483647 728397 19 | 1.157 % |
668.67/668.68 c | 728705 | 4868 255507 1814501 | 2147483647 728631 19 | 1.157 % |
668.97/668.96 c | 728962 | 4868 255507 1814501 | 2147483647 728888 19 | 1.157 % |
669.07/669.10 c | 729243 | 4868 255507 1814501 | 2147483647 729169 19 | 1.157 % |
669.47/669.45 c | 729552 | 4868 255507 1814501 | 2147483647 729478 19 | 1.157 % |
669.77/669.73 c | 729891 | 4868 255507 1814501 | 2147483647 729817 19 | 1.157 % |
670.07/670.10 c | 730264 | 4868 255507 1814501 | 2147483647 730190 19 | 1.157 % |
670.67/670.66 c | 730673 | 4868 255507 1814501 | 2147483647 730599 19 | 1.157 % |
671.07/671.11 c | 731125 | 4868 255507 1814501 | 2147483647 731051 19 | 1.157 % |
671.37/671.37 c | 731619 | 4868 255507 1814501 | 2147483647 731545 19 | 1.157 % |
672.97/672.96 c | 732161 | 4868 255507 1814501 | 2147483647 732087 19 | 1.157 % |
674.17/674.15 c | 732757 | 4868 255507 1814501 | 2147483647 732683 19 | 1.157 % |
674.47/674.42 c | 733413 | 4868 255507 1814501 | 2147483647 733339 19 | 1.157 % |
675.77/675.75 c | 734134 | 4868 255507 1814501 | 2147483647 734060 19 | 1.157 % |
676.37/676.34 c | 734926 | 4868 255507 1814501 | 2147483647 734852 19 | 1.157 % |
677.97/677.98 c | 735797 | 4868 255507 1814501 | 2147483647 735723 19 | 1.157 % |
679.37/679.40 c | 736755 | 4868 255507 1814501 | 2147483647 736681 19 | 1.157 % |
681.47/681.46 c | 737809 | 4868 255507 1814501 | 2147483647 737735 19 | 1.157 % |
682.47/682.42 c | 738967 | 4868 255507 1814501 | 2147483647 738893 19 | 1.157 % |
683.87/683.83 c | 740241 | 4868 255507 1814501 | 2147483647 740167 19 | 1.157 % |
684.67/684.61 c | 741642 | 4868 255507 1814501 | 2147483647 741568 19 | 1.157 % |
689.17/689.20 c | 743183 | 4868 255507 1814501 | 2147483647 743109 19 | 1.157 % |
689.67/689.61 c | 744877 | 4868 255507 1814501 | 2147483647 744803 19 | 1.157 % |
691.67/691.71 c | 746741 | 4868 255507 1814501 | 2147483647 746667 19 | 1.157 % |
695.87/695.89 c | 748790 | 4868 255507 1814501 | 2147483647 748716 19 | 1.157 % |
702.17/702.13 c | 751043 | 4868 255507 1814501 | 2147483647 750969 19 | 1.157 % |
707.47/707.42 c | 753521 | 4868 255507 1814501 | 2147483647 753447 19 | 1.157 % |
711.97/712.01 c | 756247 | 4868 255507 1814501 | 2147483647 756173 19 | 1.157 % |
717.47/717.46 c | 759246 | 4868 255507 1814501 | 2147483647 759172 19 | 1.157 % |
729.27/729.25 c | 762542 | 4868 255481 1814413 | 2147483647 762465 19 | 1.157 % |
733.17/733.19 c | 766168 | 4868 255481 1814413 | 2147483647 766091 19 | 1.157 % |
739.37/739.31 c | 770156 | 4868 255481 1814413 | 2147483647 770079 19 | 1.157 % |
756.47/756.44 c | 774541 | 4868 255481 1814413 | 2147483647 774464 19 | 1.157 % |
769.69/769.68 c | 779365 | 4868 255481 1814413 | 2147483647 779288 20 | 1.157 % |
776.89/776.83 c | 784670 | 4868 255481 1814413 | 2147483647 784593 20 | 1.157 % |
801.38/801.36 c | 790505 | 4868 255481 1814413 | 2147483647 790428 20 | 1.157 % |
814.88/814.89 c | 796925 | 4868 255481 1814413 | 2147483647 796848 20 | 1.157 % |
822.28/822.29 c | 803985 | 4868 255481 1814413 | 2147483647 803908 20 | 1.157 % |
822.48/822.41 c | 804086 | 4868 255481 1814413 | 2147483647 804009 20 | 1.157 % |
822.58/822.51 c | 804198 | 4868 255481 1814413 | 2147483647 804121 20 | 1.157 % |
822.58/822.60 c | 804320 | 4868 255481 1814413 | 2147483647 804243 20 | 1.157 % |
822.68/822.70 c | 804453 | 4868 255481 1814413 | 2147483647 804376 20 | 1.157 % |
823.18/823.19 c | 804599 | 4868 255481 1814413 | 2147483647 804522 20 | 1.157 % |
823.38/823.36 c | 804759 | 4868 255481 1814413 | 2147483647 804682 20 | 1.157 % |
823.58/823.59 c | 804935 | 4868 255481 1814413 | 2147483647 804858 20 | 1.157 % |
823.78/823.76 c | 805130 | 4868 255481 1814413 | 2147483647 805053 20 | 1.157 % |
824.08/824.10 c | 805342 | 4868 255481 1814413 | 2147483647 805265 20 | 1.157 % |
824.38/824.36 c | 805575 | 4868 255481 1814413 | 2147483647 805498 20 | 1.157 % |
824.58/824.53 c | 805831 | 4868 255481 1814413 | 2147483647 805754 20 | 1.157 % |
824.68/824.70 c | 806113 | 4868 255481 1814413 | 2147483647 806036 20 | 1.157 % |
825.08/825.03 c | 806424 | 4868 255481 1814413 | 2147483647 806347 20 | 1.157 % |
825.18/825.18 c | 806763 | 4868 255481 1814413 | 2147483647 806686 20 | 1.157 % |
826.08/826.03 c | 807136 | 4868 255481 1814413 | 2147483647 807059 20 | 1.157 % |
826.68/826.65 c | 807545 | 4868 255481 1814413 | 2147483647 807468 20 | 1.157 % |
827.58/827.55 c | 807996 | 4868 255481 1814413 | 2147483647 807919 20 | 1.157 % |
828.48/828.49 c | 808489 | 4868 255481 1814413 | 2147483647 808412 20 | 1.157 % |
828.88/828.84 c | 809031 | 4868 255481 1814413 | 2147483647 808954 20 | 1.157 % |
829.98/829.93 c | 809629 | 4868 255481 1814413 | 2147483647 809552 20 | 1.157 % |
831.18/831.17 c | 810285 | 4868 255481 1814413 | 2147483647 810208 20 | 1.157 % |
831.58/831.57 c | 811006 | 4868 255481 1814413 | 2147483647 810929 20 | 1.157 % |
832.78/832.80 c | 811799 | 4868 255481 1814413 | 2147483647 811722 20 | 1.157 % |
833.68/833.65 c | 812671 | 4868 255481 1814413 | 2147483647 812594 20 | 1.157 % |
835.58/835.53 c | 813629 | 4868 255481 1814413 | 2147483647 813552 20 | 1.157 % |
836.18/836.12 c | 814683 | 4868 255481 1814413 | 2147483647 814606 20 | 1.157 % |
839.88/839.86 c | 815841 | 4868 255481 1814413 | 2147483647 815764 20 | 1.157 % |
843.48/843.48 c | 817115 | 4868 255481 1814413 | 2147483647 817038 20 | 1.157 % |
846.08/846.06 c | 818517 | 4868 255481 1814413 | 2147483647 818440 20 | 1.157 % |
848.28/848.24 c | 820058 | 4868 255481 1814413 | 2147483647 819981 20 | 1.157 % |
852.18/852.19 c | 821753 | 4868 255481 1814413 | 2147483647 821676 20 | 1.157 % |
854.68/854.67 c | 823617 | 4868 255481 1814413 | 2147483647 823540 20 | 1.157 % |
857.98/857.96 c | 825667 | 4868 255481 1814413 | 2147483647 825590 20 | 1.157 % |
860.88/860.83 c | 827920 | 4868 255481 1814413 | 2147483647 827843 20 | 1.157 % |
861.88/861.87 c | 830398 | 4868 255481 1814413 | 2147483647 830321 20 | 1.157 % |
865.88/865.82 c | 833123 | 4868 255481 1814413 | 2147483647 833046 20 | 1.157 % |
870.78/870.75 c | 836122 | 4868 255481 1814413 | 2147483647 836045 20 | 1.157 % |
877.98/877.96 c | 839419 | 4868 255481 1814413 | 2147483647 839342 20 | 1.157 % |
885.59/885.53 c | 843044 | 4868 255481 1814413 | 2147483647 842967 20 | 1.157 % |
891.19/891.12 c | 847031 | 4868 255481 1814413 | 2147483647 846954 20 | 1.157 % |
896.29/896.29 c | 851417 | 4868 255481 1814413 | 2147483647 851340 20 | 1.157 % |
905.59/905.55 c | 856241 | 4867 255481 1814413 | 2147483647 856163 20 | 1.178 % |
916.09/916.04 c | 861546 | 4867 255481 1814413 | 2147483647 861468 20 | 1.178 % |
926.99/926.92 c | 867381 | 4867 255481 1814413 | 2147483647 867303 20 | 1.178 % |
939.79/939.75 c | 873800 | 4867 255481 1814413 | 2147483647 873722 20 | 1.178 % |
956.09/956.03 c | 880859 | 4867 255481 1814413 | 2147483647 880781 20 | 1.178 % |
979.88/979.83 c | 888627 | 4867 255481 1814413 | 2147483647 888549 20 | 1.178 % |
979.98/979.99 c | 888727 | 4867 255481 1814413 | 2147483647 888649 20 | 1.178 % |
980.08/980.08 c | 888837 | 4867 255481 1814413 | 2147483647 888759 20 | 1.178 % |
980.48/980.47 c | 888959 | 4867 255481 1814413 | 2147483647 888881 20 | 1.178 % |
980.68/980.65 c | 889094 | 4867 255481 1814413 | 2147483647 889016 20 | 1.178 % |
980.98/980.98 c | 889240 | 4867 255481 1814413 | 2147483647 889162 20 | 1.178 % |
981.29/981.26 c | 889401 | 4867 255481 1814413 | 2147483647 889323 20 | 1.178 % |
981.58/981.55 c | 889577 | 4867 255481 1814413 | 2147483647 889499 20 | 1.178 % |
981.98/981.98 c | 889771 | 4867 255481 1814413 | 2147483647 889693 20 | 1.178 % |
982.48/982.42 c | 889984 | 4867 255481 1814413 | 2147483647 889906 20 | 1.178 % |
982.68/982.67 c | 890217 | 4867 255481 1814413 | 2147483647 890139 20 | 1.178 % |
983.78/983.74 c | 890473 | 4867 255481 1814413 | 2147483647 890395 20 | 1.178 % |
984.28/984.26 c | 890754 | 4867 255481 1814413 | 2147483647 890676 20 | 1.178 % |
984.88/984.84 c | 891063 | 4867 255481 1814413 | 2147483647 890985 20 | 1.178 % |
985.78/985.80 c | 891402 | 4867 255481 1814413 | 2147483647 891324 20 | 1.178 % |
986.18/986.18 c | 891775 | 4867 255481 1814413 | 2147483647 891697 20 | 1.178 % |
986.88/986.83 c | 892185 | 4867 255481 1814413 | 2147483647 892107 20 | 1.178 % |
988.08/988.01 c | 892636 | 4867 255481 1814413 | 2147483647 892558 20 | 1.178 % |
988.48/988.50 c | 893129 | 4867 255481 1814413 | 2147483647 893051 20 | 1.178 % |
989.38/989.39 c | 893671 | 4867 255481 1814413 | 2147483647 893593 20 | 1.178 % |
989.98/989.97 c | 894269 | 4867 255481 1814413 | 2147483647 894191 20 | 1.178 % |
992.38/992.37 c | 894924 | 4867 255481 1814413 | 2147483647 894846 20 | 1.178 % |
993.78/993.80 c | 895645 | 4867 255481 1814413 | 2147483647 895567 20 | 1.178 % |
995.88/995.81 c | 896438 | 4867 255481 1814413 | 2147483647 896360 20 | 1.178 % |
997.18/997.19 c | 897312 | 4867 255481 1814413 | 2147483647 897234 20 | 1.178 % |
999.68/999.69 c | 898270 | 4867 255481 1814413 | 2147483647 898192 20 | 1.178 % |
1000.48/1000.43 c | 899323 | 4867 255481 1814413 | 2147483647 899245 20 | 1.178 % |
1000.98/1000.91 c | 900482 | 4867 255481 1814413 | 2147483647 900404 20 | 1.178 % |
1002.68/1002.69 c | 901756 | 4867 255481 1814413 | 2147483647 901678 20 | 1.178 % |
1005.08/1005.04 c | 903157 | 4867 255481 1814413 | 2147483647 903079 20 | 1.178 % |
1007.08/1007.08 c | 904698 | 4867 255481 1814413 | 2147483647 904620 20 | 1.178 % |
1011.18/1011.18 c | 906392 | 4867 255481 1814413 | 2147483647 906314 20 | 1.178 % |
1012.09/1012.04 c | 908255 | 4867 255481 1814413 | 2147483647 908177 20 | 1.178 % |
1016.38/1016.39 c | 910304 | 4867 255481 1814413 | 909922 819226 20 | 1.178 % |
1021.09/1021.11 c | 912558 | 4867 255481 1814413 | 909922 821480 20 | 1.178 % |
1023.49/1023.51 c | 915036 | 4867 255481 1814413 | 909922 823958 20 | 1.178 % |
1029.39/1029.41 c | 917762 | 4867 255481 1814413 | 909922 826684 20 | 1.178 % |
1033.59/1033.60 c | 920760 | 4867 255481 1814413 | 2147483647 829682 20 | 1.178 % |
1039.29/1039.22 c | 924056 | 4867 255481 1814413 | 2147483647 832978 20 | 1.178 % |
1049.99/1050.01 c | 927681 | 4867 255481 1814413 | 2147483647 836603 20 | 1.178 % |
1056.19/1056.17 c | 931670 | 4867 255481 1814413 | 2147483647 840592 20 | 1.178 % |
1059.79/1059.77 c | 936055 | 4867 255481 1814413 | 2147483647 844977 20 | 1.178 % |
1069.39/1069.32 c | 940879 | 4867 255481 1814413 | 2147483647 849801 20 | 1.178 % |
1073.49/1073.45 c | 946185 | 4867 255469 1814382 | 2147483647 855106 19 | 1.178 % |
1081.89/1081.89 c | 952021 | 4867 255469 1814382 | 2147483647 860942 19 | 1.178 % |
1100.89/1100.90 c | 958439 | 4867 255469 1814382 | 2147483647 867360 19 | 1.178 % |
1116.80/1116.75 c | 965498 | 4867 255469 1814382 | 2147483647 874419 19 | 1.178 % |
1132.20/1132.16 c | 973263 | 4866 255469 1814382 | 2147483647 882183 20 | 1.198 % |
1150.59/1150.55 c | 981803 | 4866 255469 1814382 | 2147483647 890723 20 | 1.198 % |
1150.70/1150.65 c | 981904 | 4866 255469 1814382 | 2147483647 890824 20 | 1.198 % |
1150.80/1150.79 c | 982014 | 4866 255469 1814382 | 2147483647 890934 20 | 1.198 % |
1151.00/1151.00 c | 982135 | 4866 255469 1814382 | 2147483647 891055 20 | 1.198 % |
1151.20/1151.13 c | 982268 | 4866 255469 1814382 | 2147483647 891188 20 | 1.198 % |
1151.60/1151.53 c | 982415 | 4866 255469 1814382 | 2147483647 891335 20 | 1.198 % |
1151.80/1151.81 c | 982576 | 4866 255469 1814382 | 2147483647 891496 20 | 1.198 % |
1152.50/1152.51 c | 982752 | 4866 255469 1814382 | 2147483647 891672 20 | 1.198 % |
1152.80/1152.81 c | 982946 | 4866 255469 1814382 | 2147483647 891866 20 | 1.198 % |
1153.00/1152.95 c | 983158 | 4866 255469 1814382 | 2147483647 892078 20 | 1.198 % |
1153.40/1153.40 c | 983392 | 4866 255469 1814382 | 2147483647 892312 20 | 1.198 % |
1153.70/1153.70 c | 983648 | 4866 255469 1814382 | 2147483647 892568 20 | 1.198 % |
1154.50/1154.45 c | 983930 | 4866 255469 1814382 | 2147483647 892850 20 | 1.198 % |
1155.10/1155.10 c | 984240 | 4866 255469 1814382 | 2147483647 893160 20 | 1.198 % |
1155.60/1155.61 c | 984580 | 4866 255469 1814382 | 2147483647 893500 20 | 1.198 % |
1156.00/1155.98 c | 984952 | 4866 255469 1814382 | 2147483647 893872 20 | 1.198 % |
1156.60/1156.52 c | 985361 | 4866 255469 1814382 | 2147483647 894281 20 | 1.198 % |
1157.60/1157.61 c | 985810 | 4866 255469 1814382 | 2147483647 894730 20 | 1.198 % |
1159.10/1159.09 c | 986303 | 4866 255469 1814382 | 2147483647 895223 20 | 1.198 % |
1159.80/1159.79 c | 986845 | 4866 255469 1814382 | 2147483647 895765 20 | 1.198 % |
1160.20/1160.15 c | 987441 | 4866 255469 1814382 | 2147483647 896361 20 | 1.198 % |
1161.10/1161.05 c | 988098 | 4866 255469 1814382 | 2147483647 897018 20 | 1.198 % |
1162.30/1162.27 c | 988818 | 4866 255469 1814382 | 2147483647 897738 20 | 1.198 % |
1163.40/1163.38 c | 989610 | 4866 255469 1814382 | 2147483647 898530 20 | 1.198 % |
1165.20/1165.14 c | 990481 | 4866 255469 1814382 | 2147483647 899401 20 | 1.198 % |
1165.80/1165.76 c | 991439 | 4866 255469 1814382 | 2147483647 900359 20 | 1.198 % |
1167.50/1167.50 c | 992492 | 4866 255469 1814382 | 2147483647 901412 20 | 1.198 % |
1168.90/1168.86 c | 993650 | 4866 255469 1814382 | 2147483647 902570 20 | 1.198 % |
1172.50/1172.43 c | 994923 | 4866 255469 1814382 | 2147483647 903843 20 | 1.198 % |
1175.30/1175.27 c | 996323 | 4866 255469 1814382 | 2147483647 905243 20 | 1.198 % |
1179.70/1179.65 c | 997863 | 4866 255469 1814382 | 2147483647 906783 20 | 1.198 % |
1180.70/1180.68 c | 999557 | 4866 255469 1814382 | 2147483647 908477 20 | 1.198 % |
1181.60/1181.54 c | 1001421 | 4866 255469 1814382 | 2147483647 910341 20 | 1.198 % |
1185.00/1184.95 c | 1003472 | 4866 255469 1814382 | 2147483647 912392 20 | 1.198 % |
1188.10/1188.07 c | 1005726 | 4866 255469 1814382 | 2147483647 914646 20 | 1.198 % |
1192.00/1191.96 c | 1008204 | 4866 255469 1814382 | 2147483647 917124 20 | 1.198 % |
1195.60/1195.60 c | 1010930 | 4866 255469 1814382 | 2147483647 919850 20 | 1.198 % |
1200.00/1199.92 HOME/SatELiteGTI: line 36: 25571 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821406-1242524543/watcher-1821406-1242524543 -o /tmp/evaluation-result-1821406-1242524543/solver-1821406-1242524543 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821406-1242524543.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=816 CPUtime=0
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4194304 69 0 0 0 0 0 0 0 25 0 1 0 1016952721 835584 4 4294967295 134512640 135223648 3213249440 3213249440 134512976 0 0 0 0 0 0 0 17 3 0 0 0
/proc/25384/statm: 205 16 10 174 0 30 0
[startup+0.05768 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=6756 CPUtime=0.06
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 1432 0 0 0 6 0 0 0 25 0 1 0 1016952721 6918144 1367 4294967295 134512640 135223648 3213249440 3213248392 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 1689 1368 47 174 0 1514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9168
[startup+0.117652 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=12660 CPUtime=0.12
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 2703 0 0 0 11 1 0 0 25 0 1 0 1016952721 12963840 2638 4294967295 134512640 135223648 3213249440 3213248008 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 3165 2640 47 174 0 2990 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15072
[startup+0.317636 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=30640 CPUtime=0.32
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 7288 0 0 0 27 5 0 0 25 0 1 0 1016952721 31375360 7223 4294967295 134512640 135223648 3213249440 3213248392 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 7660 7224 47 174 0 7485 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 33052
[startup+0.717605 s]
/proc/loadavg: 1.03 1.05 1.00 3/91 25380
/proc/meminfo: memFree=1354504/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=75760 CPUtime=0.72
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 16505 0 0 0 61 11 0 0 25 0 1 0 1016952721 77578240 16440 4294967295 134512640 135223648 3213249440 3213248008 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 18940 16440 47 174 0 18765 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 78172
[startup+1.51754 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1262340/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=159472 CPUtime=1.52
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 32314 0 0 0 133 19 0 0 25 0 1 0 1016952721 163299328 32227 4294967295 134512640 135223648 3213249440 3213247936 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 39868 32227 68 174 0 39693 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 161884
[startup+3.11742 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1226132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=159984 CPUtime=3.12
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 32415 0 0 0 293 19 0 0 25 0 1 0 1016952721 163823616 32328 4294967295 134512640 135223648 3213249440 3213247936 134549033 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 39996 32328 68 174 0 39821 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 162396
[startup+6.31717 s]
/proc/loadavg: 1.03 1.05 1.00 3/93 25385
/proc/meminfo: memFree=1213112/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=178128 CPUtime=6.32
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 39034 0 0 0 610 22 0 0 25 0 1 0 1016952721 182403072 35227 4294967295 134512640 135223648 3213249440 3213247440 134547929 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 44532 35227 73 174 0 44357 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 180540
[startup+12.7167 s]
/proc/loadavg: 1.02 1.05 1.00 4/93 25385
/proc/meminfo: memFree=1169560/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=204552 CPUtime=12.72
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 45990 0 0 0 1247 25 0 0 25 0 1 0 1016952721 209461248 41869 4294967295 134512640 135223648 3213249440 3213247456 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 51138 41869 73 174 0 50963 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 206964
[startup+25.5157 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 25386
/proc/meminfo: memFree=1169656/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2412 CPUtime=0
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 367 643 0 0 0 0 0 0 25 0 1 0 1016952720 2469888 276 4294967295 134512640 135169312 3215455696 3215454232 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/25380/statm: 603 276 235 161 0 42 0
[pid=25384] ppid=25380 vsize=204808 CPUtime=25.52
/proc/25384/stat : 25384 (SatELite_releas) R 25380 25380 15108 0 -1 4202496 46057 0 0 0 2527 25 0 0 25 0 1 0 1016952721 209723392 41936 4294967295 134512640 135223648 3213249440 3213247456 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25384/statm: 51202 41936 73 174 0 51027 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 207220
[startup+51.1137 s]
/proc/loadavg: 1.01 1.04 1.00 3/93 25571
/proc/meminfo: memFree=1305084/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=21972 CPUtime=3.78
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 5362 0 0 0 373 5 0 0 25 0 1 0 1016957454 22499328 5297 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 5493 5297 73 172 0 5320 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 24388
[startup+102.32 s]
/proc/loadavg: 1.16 1.07 1.01 2/93 25759
/proc/meminfo: memFree=1286216/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=40104 CPUtime=54.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 9885 0 0 0 5488 11 0 0 25 0 1 0 1016957454 41066496 9820 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 10026 9820 73 172 0 9853 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 42520
[startup+162.315 s]
/proc/loadavg: 1.16 1.10 1.02 2/93 25951
/proc/meminfo: memFree=1275300/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=51200 CPUtime=114.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 12620 0 0 0 11482 17 0 0 25 0 1 0 1016957454 52428800 12555 4294967295 134512640 135215339 3220261552 3220259840 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 12800 12555 73 172 0 12627 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 53616
[startup+222.311 s]
/proc/loadavg: 1.09 1.09 1.02 2/93 26139
/proc/meminfo: memFree=1265496/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=61292 CPUtime=174.99
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 15066 0 0 0 17481 18 0 0 25 0 1 0 1016957454 62763008 15001 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 15323 15001 73 172 0 15150 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 63708
[startup+282.316 s]
/proc/loadavg: 1.03 1.07 1.02 2/93 26325
/proc/meminfo: memFree=1258288/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=69056 CPUtime=235
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 17042 0 0 0 23480 20 0 0 25 0 1 0 1016957454 70713344 16977 4294967295 134512640 135215339 3220261552 3220259840 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 17264 16977 73 172 0 17091 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 71472
[startup+342.311 s]
/proc/loadavg: 1.01 1.06 1.01 3/93 26516
/proc/meminfo: memFree=1250716/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=76680 CPUtime=295
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 18778 0 0 0 29480 20 0 0 25 0 1 0 1016957454 78520320 18713 4294967295 134512640 135215339 3220261552 3220259840 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 19170 18713 73 172 0 18997 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
[pid=25571] ppid=25380 vsize=94508 CPUtime=475.02
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 23344 0 0 0 47479 23 0 0 25 0 1 0 1016957454 96776192 23279 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 23627 23279 73 172 0 23454 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 96924
[startup+582.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 27270
/proc/meminfo: memFree=1226132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=100112 CPUtime=535.02
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 24784 0 0 0 53477 25 0 0 25 0 1 0 1016957454 102514688 24719 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 25028 24719 73 172 0 24855 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 102528
[startup+642.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 27459
/proc/meminfo: memFree=1221536/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=106052 CPUtime=595.03
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 25935 0 0 0 59477 26 0 0 25 0 1 0 1016957454 108597248 25870 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 26513 25870 73 172 0 26340 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 108468
[startup+702.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 27648
/proc/meminfo: memFree=1216584/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=110760 CPUtime=655.03
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 27153 0 0 0 65476 27 0 0 25 0 1 0 1016957454 113418240 27088 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 27690 27088 73 172 0 27517 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 113176
[startup+762.329 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27836
/proc/meminfo: memFree=1213228/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=113968 CPUtime=715.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 28003 0 0 0 71478 27 0 0 25 0 1 0 1016957454 116703232 27938 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 28492 27938 73 172 0 28319 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 116384
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28024
/proc/meminfo: memFree=1209400/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=117876 CPUtime=775.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 28976 0 0 0 77476 28 0 0 25 0 1 0 1016957454 120705024 28911 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 29469 28911 73 172 0 29296 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 120292
[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28210
/proc/meminfo: memFree=1204688/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=122608 CPUtime=835.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 30169 0 0 0 83474 30 0 0 25 0 1 0 1016957454 125550592 30104 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 30652 30104 73 172 0 30479 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 125024
[startup+942.315 s]
/proc/loadavg: 1.19 1.05 1.01 2/93 28403
/proc/meminfo: memFree=1200720/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=126520 CPUtime=895.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 31156 0 0 0 89474 31 0 0 25 0 1 0 1016957454 129556480 31091 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 31630 31091 73 172 0 31457 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 128936
[startup+1002.31 s]
/proc/loadavg: 1.10 1.05 1.01 3/93 28591
/proc/meminfo: memFree=1197224/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=129672 CPUtime=955.04
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 31994 0 0 0 95469 35 0 0 25 0 1 0 1016957454 132784128 31929 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32418 31929 73 172 0 32245 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 132088
[startup+1062.32 s]
/proc/loadavg: 1.03 1.04 1.01 3/93 28779
/proc/meminfo: memFree=1196356/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=130908 CPUtime=1015.05
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32281 0 0 0 101469 36 0 0 25 0 1 0 1016957454 134049792 32216 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32727 32216 73 172 0 32554 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 133324
[startup+1122.32 s]
/proc/loadavg: 1.08 1.04 1.01 3/93 28967
/proc/meminfo: memFree=1195612/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=131332 CPUtime=1075.06
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32386 0 0 0 107469 37 0 0 25 0 1 0 1016957454 134483968 32321 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32833 32321 73 172 0 32660 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 133748
[startup+1182.32 s]
/proc/loadavg: 1.03 1.03 1.00 3/93 29153
/proc/meminfo: memFree=1195132/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=131784 CPUtime=1135.06
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32521 0 0 0 113469 37 0 0 25 0 1 0 1016957454 134946816 32456 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 32946 32456 73 172 0 32773 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 134200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 29157
/proc/meminfo: memFree=1194484/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=132716 CPUtime=1152.66
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32752 0 0 0 115228 38 0 0 25 0 1 0 1016957454 135901184 32687 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 33179 32687 73 172 0 33006 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 135132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 29157
/proc/meminfo: memFree=1194484/2074464 swapFree=1952056/1959888
[pid=25380] ppid=25378 vsize=2416 CPUtime=47.34
/proc/25380/stat : 25380 (SatELiteGTI) S 25378 25380 15108 0 -1 4194304 385 54513 0 0 0 0 4702 32 25 0 1 0 1016952720 2473984 277 4294967295 134512640 135169312 3215455696 3215451912 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25380/statm: 604 277 235 161 0 43 0
[pid=25571] ppid=25380 vsize=132716 CPUtime=1152.66
/proc/25571/stat : 25571 (minisat_static) R 25380 25380 15108 0 -1 4202496 32752 0 0 0 115228 38 0 0 25 0 1 0 1016957454 135901184 32687 4294967295 134512640 135215339 3220261552 3220259840 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25571/statm: 33179 32687 73 172 0 33006 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 135132
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1199.94
CPU time (s): 1200.01
CPU user time (s): 1199.3
CPU system time (s): 0.71
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 222688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.3
system time used= 0.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87741
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= 21
involuntary context switches= 961
runsolver used 0.04 second user time and 0.01 second system time
The end
Begin job on tipi24 at 2009-05-17 03:42:23
IDJOB=1821406
IDBENCH=70951
IDSOLVER=657
FILE ID=tipi24/1821406-1242524543
PBS_JOBID=
Free space on /tmp= 9914 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= runsolver --timestamp -w /tmp/evaluation-result-1821406-1242524543/watcher-1821406-1242524543 -o /tmp/evaluation-result-1821406-1242524543/solver-1821406-1242524543 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821406-1242524543.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17bffac3a21734cf7ff7fa9ecba23d9d
RANDOM SEED= 1121402324
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1354768 kB
Buffers: 30444 kB
Cached: 608364 kB
SwapCached: 3828 kB
Active: 126480 kB
Inactive: 521668 kB
HighTotal: 1178688 kB
HighFree: 651144 kB
LowTotal: 895776 kB
LowFree: 703624 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 35288 kB
Writeback: 0 kB
AnonPages: 8896 kB
Mapped: 3172 kB
Slab: 63316 kB
PageTables: 340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87796 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9896 MiB
End job on tipi24 at 2009-05-17 04:02:28