0.00/0.00 c Parsing...
0.00/0.60 c ==============================================================================
0.00/0.60 c | | ORIGINAL | LEARNT | |
0.00/0.60 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.60 c ==============================================================================
0.00/0.60 c | 0 | 746442 1741698 | 223932 0 0 nan | 0.000 % |
13.58/13.64 c | 0 | 397738 1362662 | -- 0 -- -- | -- | -348682/-378983
13.58/13.65 c ==============================================================================
13.58/13.65 c Result : #vars: 76979 #clauses: 397738 #literals: 1362662
13.58/13.65 c CPU time: 13.297 s
13.58/13.65 c ==============================================================================
14.07/14.11 c This is MiniSat 2.0 beta
14.07/14.11 c WARNING: for repeatability, setting FPU to use double precision
14.07/14.11 c ============================[ Problem Statistics ]=============================
14.07/14.11 c | |
14.07/14.11 c | Number of variables: 76979 |
14.07/14.11 c | Number of clauses: 397738 |
14.28/14.37 c | Parsing time: 0.22 s |
14.28/14.38 c ============================[ Search Statistics ]==============================
14.28/14.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
14.28/14.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.28/14.38 c ===============================================================================
14.28/14.38 c | 0 | 76979 397738 1362662 | 132579 0 nan | 0.000 % |
14.48/14.52 c | 100 | 76979 397738 1362662 | 132579 100 17 | 0.000 % |
14.58/14.69 c | 201 | 76979 397738 1362662 | 132579 201 13 | 0.000 % |
14.77/14.86 c | 303 | 76979 397738 1362662 | 132579 303 15 | 0.000 % |
14.87/14.91 c | 415 | 76979 397738 1362662 | 132579 415 16 | 0.000 % |
15.47/15.52 c | 561 | 76979 397738 1362662 | 132579 561 23 | 0.000 % |
15.77/15.83 c | 671 | 76979 397738 1362662 | 132579 671 33 | 0.000 % |
16.07/16.14 c | 793 | 76979 397738 1362662 | 132579 793 38 | 0.000 % |
16.17/16.20 c | 893 | 76979 397738 1362662 | 132579 893 39 | 0.000 % |
16.57/16.62 c | 1003 | 76979 397738 1362662 | 132579 1003 43 | 0.000 % |
16.78/16.86 c | 1124 | 76979 397738 1362662 | 132579 1124 40 | 0.000 % |
17.08/17.13 c | 1258 | 76979 397738 1362662 | 132579 1258 41 | 0.000 % |
17.18/17.23 c | 1359 | 76979 397738 1362662 | 132579 1359 40 | 0.000 % |
17.48/17.51 c | 1469 | 76979 397738 1362662 | 132579 1469 40 | 0.000 % |
17.58/17.61 c | 1592 | 76979 397738 1362662 | 132579 1592 38 | 0.000 % |
17.78/17.89 c | 1726 | 76979 397738 1362662 | 132579 1726 38 | 0.000 % |
17.88/17.98 c | 1872 | 76979 397738 1362662 | 132579 1872 38 | 0.000 % |
18.28/18.31 c | 1972 | 76979 397738 1362662 | 132579 1972 40 | 0.000 % |
18.38/18.41 c | 2082 | 76979 397738 1362662 | 132579 2082 39 | 0.000 % |
18.48/18.59 c | 2203 | 76979 397738 1362662 | 132579 2203 38 | 0.000 % |
18.68/18.72 c | 2336 | 76979 397738 1362662 | 132579 2336 37 | 0.000 % |
19.28/19.37 c | 2532 | 76979 397738 1362662 | 132579 2532 39 | 0.000 % |
19.78/19.81 c | 2693 | 76979 397738 1362662 | 132579 2693 39 | 0.000 % |
19.88/19.97 c | 2799 | 76979 397738 1362662 | 132579 2799 41 | 0.000 % |
19.98/20.06 c | 2909 | 76979 397738 1362662 | 132579 2909 40 | 0.000 % |
20.18/20.27 c | 3031 | 76979 397738 1362662 | 132579 3031 43 | 0.000 % |
20.38/20.45 c | 3164 | 76979 397738 1362662 | 132579 3164 41 | 0.000 % |
20.68/20.70 c | 3311 | 76979 397738 1362662 | 132579 3311 45 | 0.000 % |
21.08/21.12 c | 3472 | 76979 397738 1362662 | 132579 3472 51 | 0.000 % |
21.18/21.25 c | 3648 | 76979 397738 1362662 | 132579 3648 50 | 0.000 % |
21.28/21.31 c | 3750 | 76979 397738 1362662 | 132579 3750 50 | 0.000 % |
21.78/21.81 c | 3862 | 76979 397738 1362662 | 132579 3862 54 | 0.000 % |
22.27/22.33 c | 3984 | 76979 397738 1362662 | 132579 3984 56 | 0.000 % |
22.77/22.82 c | 4117 | 76979 397738 1362662 | 132579 4117 60 | 0.000 % |
22.98/23.05 c | 4264 | 76979 397738 1362662 | 132579 4264 62 | 0.000 % |
24.57/24.63 c | 4425 | 76979 397738 1362662 | 132579 4425 68 | 0.000 % |
24.97/25.06 c | 4601 | 76979 397738 1362662 | 132579 4601 67 | 0.000 % |
25.28/25.35 c | 4794 | 76979 397738 1362662 | 132579 4794 67 | 0.000 % |
25.37/25.49 c | 4894 | 76979 397738 1362662 | 132579 4894 68 | 0.000 % |
25.87/25.95 c | 5004 | 76979 397738 1362662 | 132579 5004 67 | 0.000 % |
26.17/26.25 c | 5125 | 76979 397738 1362662 | 132579 5125 66 | 0.000 % |
27.27/27.33 c | 5259 | 76979 397738 1362662 | 132579 5259 66 | 0.000 % |
27.87/27.97 c | 5405 | 76979 397738 1362662 | 132579 5405 66 | 0.000 % |
28.27/28.31 c | 5565 | 76979 397738 1362662 | 132579 5565 68 | 0.000 % |
28.37/28.44 c | 5742 | 76979 397738 1362662 | 132579 5742 68 | 0.000 % |
29.17/29.28 c | 5935 | 76979 397738 1362662 | 132579 5935 72 | 0.000 % |
30.17/30.22 c | 6149 | 76979 397738 1362662 | 132579 6149 74 | 0.000 % |
30.17/30.29 c | 6250 | 76979 397738 1362662 | 132579 6250 73 | 0.000 % |
30.37/30.46 c | 6360 | 76979 397738 1362662 | 132579 6360 73 | 0.000 % |
30.57/30.61 c | 6481 | 76979 397738 1362662 | 132579 6481 73 | 0.000 % |
30.67/30.73 c | 6614 | 76979 397738 1362662 | 132579 6614 72 | 0.000 % |
30.87/30.96 c | 6764 | 76979 397738 1362662 | 132579 6764 72 | 0.000 % |
31.16/31.25 c | 6926 | 76979 397738 1362662 | 132579 6926 71 | 0.000 % |
31.46/31.52 c | 7106 | 76979 397738 1362662 | 132579 7106 71 | 0.000 % |
31.66/31.78 c | 7302 | 76979 397738 1362662 | 132579 7302 70 | 0.000 % |
32.26/32.30 c | 7514 | 76979 397738 1362662 | 132579 7514 69 | 0.000 % |
33.06/33.10 c | 7748 | 76979 397738 1362662 | 132579 7748 74 | 0.000 % |
33.26/33.35 c | 7848 | 76979 397738 1362662 | 132579 7848 73 | 0.000 % |
33.46/33.52 c | 7959 | 76979 397738 1362662 | 132579 7959 73 | 0.000 % |
33.77/33.80 c | 8081 | 76979 397738 1362662 | 132579 8081 76 | 0.000 % |
33.97/34.01 c | 8214 | 76979 397738 1362662 | 132579 8214 75 | 0.000 % |
34.17/34.23 c | 8360 | 76979 397738 1362662 | 132579 8360 76 | 0.000 % |
34.37/34.48 c | 8521 | 76979 397738 1362662 | 132579 8521 75 | 0.000 % |
34.87/34.94 c | 8698 | 76979 397738 1362662 | 132579 8698 78 | 0.000 % |
35.17/35.26 c | 8892 | 76979 397738 1362662 | 132579 8892 81 | 0.000 % |
36.37/36.46 c | 9105 | 76979 397738 1362662 | 132579 9105 85 | 0.000 % |
36.76/36.81 c | 9338 | 76979 397738 1362662 | 132579 9338 84 | 0.000 % |
38.06/38.16 c | 9594 | 76979 397738 1362662 | 132579 9594 85 | 0.000 % |
38.26/38.36 c | 9694 | 76979 397738 1362662 | 132579 9694 85 | 0.000 % |
38.46/38.55 c | 9804 | 76979 397738 1362662 | 132579 9804 84 | 0.000 % |
38.56/38.65 c | 9926 | 76979 397738 1362662 | 132579 9926 84 | 0.000 % |
38.86/38.95 c | 10059 | 76979 397738 1362662 | 2147483647 10059 83 | 0.000 % |
39.66/39.74 c | 10211 | 76979 397738 1362662 | 2147483647 10211 85 | 0.000 % |
39.96/40.09 c | 10371 | 76979 397738 1362662 | 2147483647 10371 86 | 0.000 % |
40.86/40.97 c | 10547 | 76979 397738 1362662 | 2147483647 10547 87 | 0.000 % |
41.36/41.48 c | 10740 | 76979 397738 1362662 | 2147483647 10740 87 | 0.000 % |
41.76/41.87 c | 10952 | 76979 397738 1362662 | 2147483647 10952 87 | 0.000 % |
42.06/42.17 c | 11186 | 76979 397738 1362662 | 2147483647 11186 86 | 0.000 % |
42.46/42.58 c | 11442 | 76979 397738 1362662 | 2147483647 11442 85 | 0.000 % |
43.86/43.96 c | 11724 | 76979 397738 1362662 | 2147483647 11724 86 | 0.000 % |
44.06/44.15 c | 11824 | 76979 397738 1362662 | 2147483647 11824 86 | 0.000 % |
44.26/44.38 c | 11934 | 76979 397738 1362662 | 2147483647 11934 86 | 0.000 % |
44.46/44.60 c | 12056 | 76979 397738 1362662 | 2147483647 12056 85 | 0.000 % |
44.86/44.95 c | 12190 | 76979 397738 1362662 | 2147483647 12190 86 | 0.000 % |
45.06/45.14 c | 12336 | 76979 397738 1362662 | 2147483647 12336 86 | 0.000 % |
45.16/45.29 c | 12496 | 76979 397738 1362662 | 2147483647 12496 86 | 0.000 % |
45.76/45.81 c | 12674 | 76979 397738 1362662 | 2147483647 12674 87 | 0.000 % |
45.86/45.95 c | 12867 | 76979 397738 1362662 | 2147483647 12867 87 | 0.000 % |
46.25/46.31 c | 13080 | 76979 397738 1362662 | 2147483647 13080 87 | 0.000 % |
47.15/47.29 c | 13313 | 76979 397738 1362662 | 2147483647 13313 89 | 0.000 % |
48.75/48.88 c | 13570 | 76979 397738 1362662 | 2147483647 13570 90 | 0.000 % |
50.25/50.38 c | 13852 | 76978 397734 1362650 | 2147483647 13003 86 | 0.001 % |
51.15/51.21 c | 14161 | 76978 397734 1362650 | 2147483647 13312 85 | 0.001 % |
52.05/52.10 c | 14261 | 76978 397734 1362650 | 2147483647 13412 85 | 0.001 % |
52.25/52.34 c | 14372 | 76978 397734 1362650 | 2147483647 13523 85 | 0.001 % |
52.45/52.56 c | 14493 | 76978 397734 1362650 | 2147483647 13644 85 | 0.001 % |
52.65/52.77 c | 14628 | 76978 397734 1362650 | 2147483647 13779 85 | 0.001 % |
53.04/53.19 c | 14774 | 76978 397734 1362650 | 2147483647 13925 85 | 0.001 % |
53.34/53.47 c | 14934 | 76978 397734 1362650 | 2147483647 14085 85 | 0.001 % |
53.54/53.65 c | 15110 | 76978 397734 1362650 | 2147483647 14261 85 | 0.001 % |
53.64/53.80 c | 15303 | 76978 397734 1362650 | 2147483647 14454 84 | 0.001 % |
54.34/54.49 c | 15516 | 76978 397734 1362650 | 2147483647 14667 85 | 0.001 % |
54.74/54.84 c | 15749 | 76978 397734 1362650 | 2147483647 14900 85 | 0.001 % |
55.05/55.16 c | 16022 | 76978 397734 1362650 | 2147483647 15173 84 | 0.001 % |
55.45/55.59 c | 16303 | 76978 397734 1362650 | 2147483647 15454 85 | 0.001 % |
56.35/56.46 c | 16613 | 76978 397734 1362650 | 2147483647 15764 88 | 0.001 % |
57.35/57.45 c | 16953 | 76978 397734 1362650 | 2147483647 16104 90 | 0.001 % |
57.75/57.86 c | 17053 | 76978 397734 1362650 | 2147483647 16204 90 | 0.001 % |
58.05/58.12 c | 17165 | 76978 397734 1362650 | 2147483647 16316 91 | 0.001 % |
58.25/58.33 c | 17288 | 76978 397734 1362650 | 2147483647 16439 91 | 0.001 % |
58.35/58.45 c | 17423 | 76978 397734 1362650 | 2147483647 16574 91 | 0.001 % |
58.35/58.47 c | 17569 | 76978 397734 1362650 | 2147483647 16720 90 | 0.001 % |
58.55/58.67 c | 17740 | 76978 397734 1362650 | 2147483647 16891 89 | 0.001 % |
58.75/58.83 c | 17918 | 76978 397734 1362650 | 2147483647 17069 89 | 0.001 % |
58.95/59.05 c | 18111 | 76978 397734 1362650 | 2147483647 17262 88 | 0.001 % |
59.25/59.34 c | 18323 | 76978 397734 1362650 | 2147483647 17474 88 | 0.001 % |
60.35/60.43 c | 18557 | 76978 397734 1362650 | 2147483647 17708 90 | 0.001 % |
60.84/60.93 c | 18813 | 76978 397734 1362650 | 2147483647 17964 89 | 0.001 % |
61.14/61.28 c | 19094 | 76978 397734 1362650 | 2147483647 18245 90 | 0.001 % |
61.55/61.62 c | 19404 | 76978 397734 1362650 | 2147483647 18555 90 | 0.001 % |
63.14/63.29 c | 19745 | 76978 397734 1362650 | 2147483647 18896 91 | 0.001 % |
63.54/63.67 c | 20119 | 76978 397734 1362650 | 2147483647 19270 90 | 0.001 % |
63.75/63.87 c | 20219 | 76978 397734 1362650 | 2147483647 19370 91 | 0.001 % |
64.54/64.61 c | 20330 | 76978 397734 1362650 | 2147483647 19481 91 | 0.001 % |
64.84/64.90 c | 20451 | 76978 397734 1362650 | 2147483647 19602 91 | 0.001 % |
65.35/65.43 c | 20585 | 76978 397734 1362650 | 2147483647 19736 91 | 0.001 % |
65.55/65.69 c | 20732 | 76978 397734 1362650 | 2147483647 19883 91 | 0.001 % |
65.95/66.02 c | 20892 | 76978 397734 1362650 | 2147483647 20043 91 | 0.001 % |
66.14/66.24 c | 21068 | 76978 397734 1362650 | 2147483647 20219 91 | 0.001 % |
66.54/66.63 c | 21261 | 76978 397734 1362650 | 2147483647 20412 91 | 0.001 % |
66.74/66.86 c | 21474 | 76978 397734 1362650 | 2147483647 20625 91 | 0.001 % |
67.24/67.36 c | 21707 | 76978 397734 1362650 | 2147483647 20858 91 | 0.001 % |
67.64/67.77 c | 21965 | 76978 397734 1362650 | 2147483647 21116 91 | 0.001 % |
68.14/68.26 c | 22248 | 76978 397734 1362650 | 2147483647 21399 91 | 0.001 % |
68.64/68.72 c | 22558 | 76978 397734 1362650 | 2147483647 21709 94 | 0.001 % |
69.34/69.49 c | 22898 | 76978 397734 1362650 | 2147483647 22049 94 | 0.001 % |
70.04/70.17 c | 23272 | 76978 397734 1362650 | 2147483647 22423 93 | 0.001 % |
70.64/70.74 c | 23682 | 76978 397734 1362650 | 2147483647 22833 93 | 0.001 % |
71.23/71.38 c | 23783 | 76978 397734 1362650 | 2147483647 22934 93 | 0.001 % |
71.44/71.59 c | 23894 | 76978 397734 1362650 | 2147483647 23045 93 | 0.001 % |
72.54/72.64 c | 24016 | 76978 397734 1362650 | 2147483647 23167 93 | 0.001 % |
72.93/73.02 c | 24149 | 76978 397734 1362650 | 2147483647 23300 93 | 0.001 % |
73.33/73.41 c | 24295 | 76978 397734 1362650 | 2147483647 23446 94 | 0.001 % |
74.23/74.36 c | 24456 | 76978 397734 1362650 | 2147483647 23607 95 | 0.001 % |
74.53/74.66 c | 24635 | 76978 397734 1362650 | 2147483647 23786 95 | 0.001 % |
74.74/74.81 c | 24828 | 76978 397734 1362650 | 2147483647 23979 95 | 0.001 % |
76.23/76.35 c | 25040 | 76978 397734 1362650 | 2147483647 24191 97 | 0.001 % |
76.73/76.85 c | 25275 | 76978 397734 1362650 | 2147483647 24426 96 | 0.001 % |
77.73/77.90 c | 25531 | 76978 397734 1362650 | 2147483647 24682 97 | 0.001 % |
78.23/78.32 c | 25813 | 76978 397734 1362650 | 2147483647 24964 97 | 0.001 % |
78.73/78.82 c | 26122 | 76978 397734 1362650 | 2147483647 25273 98 | 0.001 % |
79.53/79.69 c | 26461 | 76978 397734 1362650 | 2147483647 25612 100 | 0.001 % |
80.23/80.32 c | 26833 | 76978 397734 1362650 | 2147483647 25984 99 | 0.001 % |
81.03/81.18 c | 27242 | 76978 397734 1362650 | 2147483647 26393 100 | 0.001 % |
81.72/81.87 c | 27691 | 76978 397734 1362650 | 2147483647 26842 99 | 0.001 % |
82.02/82.19 c | 27793 | 76978 397734 1362650 | 2147483647 26944 99 | 0.001 % |
82.22/82.39 c | 27903 | 76978 397734 1362650 | 2147483647 27054 99 | 0.001 % |
82.43/82.50 c | 28026 | 76978 397734 1362650 | 2147483647 27177 99 | 0.001 % |
82.72/82.82 c | 28160 | 76978 397734 1362650 | 2147483647 27311 99 | 0.001 % |
83.12/83.28 c | 28308 | 76978 397734 1362650 | 2147483647 27459 99 | 0.001 % |
84.53/84.68 c | 28469 | 76978 397734 1362650 | 2147483647 27620 100 | 0.001 % |
84.72/84.87 c | 28645 | 76978 397734 1362650 | 2147483647 27796 100 | 0.001 % |
84.82/84.92 c | 28839 | 76978 397734 1362650 | 2147483647 27990 99 | 0.001 % |
85.42/85.56 c | 29052 | 76978 397734 1362650 | 2147483647 28203 100 | 0.001 % |
85.92/86.01 c | 29285 | 76978 397734 1362650 | 2147483647 28436 100 | 0.001 % |
86.02/86.19 c | 29543 | 76978 397734 1362650 | 2147483647 28694 99 | 0.001 % |
87.42/87.56 c | 29824 | 76978 397734 1362650 | 2147483647 28975 100 | 0.001 % |
87.93/88.09 c | 30133 | 76978 397734 1362650 | 2147483647 29284 100 | 0.001 % |
88.52/88.63 c | 30473 | 76978 397734 1362650 | 2147483647 29624 100 | 0.001 % |
90.13/90.23 c | 30845 | 76978 397734 1362650 | 2147483647 29996 100 | 0.001 % |
91.42/91.56 c | 31255 | 76978 397734 1362650 | 2147483647 30406 100 | 0.001 % |
93.12/93.29 c | 31704 | 76978 397734 1362650 | 2147483647 30855 101 | 0.001 % |
93.92/94.07 c | 32197 | 76978 397734 1362650 | 2147483647 31348 102 | 0.001 % |
94.22/94.32 c | 32297 | 76978 397734 1362650 | 2147483647 31448 101 | 0.001 % |
94.22/94.36 c | 32407 | 76978 397734 1362650 | 2147483647 31558 101 | 0.001 % |
94.32/94.42 c | 32528 | 76978 397734 1362650 | 2147483647 31679 101 | 0.001 % |
94.82/94.92 c | 32673 | 76978 397734 1362650 | 2147483647 31824 102 | 0.001 % |
95.02/95.14 c | 32820 | 76978 397734 1362650 | 2147483647 31971 102 | 0.001 % |
95.22/95.39 c | 32980 | 76978 397734 1362650 | 2147483647 32131 102 | 0.001 % |
95.42/95.58 c | 33157 | 76978 397734 1362650 | 2147483647 32308 102 | 0.001 % |
95.82/95.97 c | 33351 | 76978 397734 1362650 | 2147483647 32502 102 | 0.001 % |
96.12/96.23 c | 33563 | 76978 397734 1362650 | 2147483647 32714 101 | 0.001 % |
96.72/96.86 c | 33807 | 76978 397734 1362650 | 2147483647 32958 102 | 0.001 % |
97.52/97.64 c | 34063 | 76978 397734 1362650 | 2147483647 33214 102 | 0.001 % |
98.51/98.66 c | 34344 | 76978 397734 1362650 | 2147483647 33495 102 | 0.001 % |
98.82/98.91 c | 34654 | 76978 397734 1362650 | 2147483647 33805 101 | 0.001 % |
99.21/99.37 c | 34993 | 76978 397734 1362650 | 2147483647 34144 101 | 0.001 % |
100.11/100.29 c | 35365 | 76978 397734 1362650 | 2147483647 34516 101 | 0.001 % |
100.71/100.83 c | 35776 | 76978 397734 1362650 | 2147483647 34927 100 | 0.001 % |
102.01/102.20 c | 36225 | 76978 397734 1362650 | 2147483647 35376 100 | 0.001 % |
103.22/103.32 c | 36719 | 76978 397734 1362650 | 2147483647 35870 101 | 0.001 % |
104.12/104.25 c | 37263 | 76978 397734 1362650 | 2147483647 36414 101 | 0.001 % |
104.22/104.32 c | 37364 | 76978 397734 1362650 | 2147483647 36515 101 | 0.001 % |
104.42/104.52 c | 37475 | 76978 397734 1362650 | 2147483647 36626 101 | 0.001 % |
104.72/104.84 c | 37596 | 76978 397734 1362650 | 2147483647 36747 101 | 0.001 % |
105.12/105.28 c | 37729 | 76978 397734 1362650 | 2147483647 36880 101 | 0.001 % |
105.91/106.05 c | 37875 | 76978 397734 1362650 | 2147483647 37026 102 | 0.001 % |
106.21/106.33 c | 38035 | 76978 397734 1362650 | 2147483647 37186 102 | 0.001 % |
106.52/106.62 c | 38212 | 76978 397734 1362650 | 2147483647 37363 102 | 0.001 % |
106.71/106.88 c | 38406 | 76978 397734 1362650 | 2147483647 37557 102 | 0.001 % |
107.31/107.44 c | 38653 | 76978 397734 1362650 | 2147483647 37804 101 | 0.001 % |
108.21/108.30 c | 38887 | 76978 397734 1362650 | 2147483647 38038 102 | 0.001 % |
108.51/108.61 c | 39143 | 76978 397734 1362650 | 2147483647 38294 102 | 0.001 % |
109.01/109.11 c | 39424 | 76978 397734 1362650 | 2147483647 38575 101 | 0.001 % |
109.51/109.63 c | 39734 | 76978 397734 1362650 | 2147483647 38885 101 | 0.001 % |
110.71/110.89 c | 40074 | 76978 397734 1362650 | 2147483647 39225 101 | 0.001 % |
112.71/112.85 c | 40451 | 76978 397734 1362650 | 2147483647 39602 102 | 0.001 % |
113.80/113.92 c | 40860 | 76978 397734 1362650 | 2147483647 40011 101 | 0.001 % |
114.40/114.53 c | 41310 | 76978 397734 1362650 | 2147483647 40461 100 | 0.001 % |
117.00/117.13 c | 41805 | 76978 397734 1362650 | 2147483647 40956 101 | 0.001 % |
118.50/118.69 c | 42349 | 76978 397734 1362650 | 2147483647 41500 101 | 0.001 % |
119.10/119.28 c | 42947 | 76978 397734 1362650 | 2147483647 42098 102 | 0.001 % |
119.20/119.31 c | 43047 | 76978 397734 1362650 | 2147483647 42198 102 | 0.001 % |
119.50/119.67 c | 43158 | 76978 397734 1362650 | 2147483647 42309 102 | 0.001 % |
120.20/120.35 c | 43293 | 76977 397594 1362350 | 2147483647 42353 102 | 0.003 % |
120.30/120.49 c | 43428 | 76977 397594 1362350 | 2147483647 42488 102 | 0.003 % |
121.01/121.12 c | 43574 | 76977 397594 1362350 | 2147483647 42634 102 | 0.003 % |
121.21/121.34 c | 43734 | 76977 397594 1362350 | 2147483647 42794 102 | 0.003 % |
123.11/123.20 c | 43910 | 76977 397594 1362350 | 2147483647 42970 103 | 0.003 % |
123.91/124.00 c | 44103 | 76977 397594 1362350 | 2147483647 43163 103 | 0.003 % |
124.01/124.19 c | 44315 | 76977 397594 1362350 | 2147483647 43375 102 | 0.003 % |
124.11/124.22 c | 44548 | 76977 397594 1362350 | 2147483647 43608 102 | 0.003 % |
124.90/125.09 c | 44804 | 76977 397594 1362350 | 2147483647 43864 102 | 0.003 % |
125.10/125.20 c | 45086 | 76977 397594 1362350 | 2147483647 44146 101 | 0.003 % |
125.70/125.82 c | 45395 | 76977 397594 1362350 | 2147483647 44455 101 | 0.003 % |
126.00/126.15 c | 45734 | 76977 397594 1362350 | 2147483647 44794 101 | 0.003 % |
126.80/126.95 c | 46106 | 76977 397594 1362350 | 2147483647 45166 101 | 0.003 % |
127.40/127.56 c | 46515 | 76977 397594 1362350 | 2147483647 45575 100 | 0.003 % |
129.60/129.76 c | 46967 | 76977 397594 1362350 | 2147483647 46027 101 | 0.003 % |
130.59/130.72 c | 47460 | 76977 397594 1362350 | 2147483647 46520 101 | 0.003 % |
132.29/132.45 c | 48003 | 76977 397594 1362350 | 2147483647 47063 101 | 0.003 % |
133.09/133.27 c | 48600 | 76977 397594 1362350 | 2147483647 47660 101 | 0.003 % |
134.00/134.18 c | 49256 | 76977 397594 1362350 | 2147483647 48316 101 | 0.003 % |
134.29/134.43 c | 49356 | 76977 397594 1362350 | 2147483647 48416 101 | 0.003 % |
134.49/134.62 c | 49467 | 76977 397594 1362350 | 2147483647 48527 101 | 0.003 % |
134.59/134.78 c | 49589 | 76977 397594 1362350 | 2147483647 48649 101 | 0.003 % |
135.10/135.22 c | 49723 | 76977 397594 1362350 | 2147483647 48783 101 | 0.003 % |
135.29/135.48 c | 49870 | 76977 397594 1362350 | 2147483647 48930 101 | 0.003 % |
135.89/136.07 c | 50030 | 76977 397594 1362350 | 2147483647 49090 101 | 0.003 % |
136.29/136.48 c | 50206 | 76977 397594 1362350 | 2147483647 49266 101 | 0.003 % |
136.39/136.55 c | 50399 | 76977 397594 1362350 | 2147483647 49459 101 | 0.003 % |
136.69/136.84 c | 50613 | 76977 397594 1362350 | 2147483647 49673 101 | 0.003 % |
137.09/137.23 c | 50847 | 76977 397594 1362350 | 2147483647 49907 101 | 0.003 % |
137.19/137.37 c | 51107 | 76977 397594 1362350 | 2147483647 50167 100 | 0.003 % |
137.29/137.50 c | 51389 | 76977 397594 1362350 | 2147483647 50449 100 | 0.003 % |
138.69/138.85 c | 51698 | 76977 397594 1362350 | 2147483647 50758 101 | 0.003 % |
139.19/139.37 c | 52038 | 76977 397594 1362350 | 2147483647 51098 101 | 0.003 % |
140.18/140.30 c | 52410 | 76977 397594 1362350 | 2147483647 51470 100 | 0.003 % |
140.69/140.88 c | 52819 | 76977 397594 1362350 | 2147483647 51879 100 | 0.003 % |
141.80/141.98 c | 53268 | 76977 397594 1362350 | 2147483647 52328 100 | 0.003 % |
142.49/142.65 c | 53762 | 76977 397594 1362350 | 2147483647 52822 100 | 0.003 % |
143.49/143.60 c | 54305 | 76977 397594 1362350 | 2147483647 53365 100 | 0.003 % |
146.68/146.80 c | 54901 | 76977 397594 1362350 | 2147483647 53961 101 | 0.003 % |
148.28/148.48 c | 55557 | 76977 397594 1362350 | 2147483647 54617 101 | 0.003 % |
149.18/149.32 c | 56278 | 76977 397594 1362350 | 2147483647 55338 101 | 0.003 % |
149.48/149.61 c | 56378 | 76977 397594 1362350 | 2147483647 55438 101 | 0.003 % |
149.68/149.86 c | 56488 | 76977 397594 1362350 | 2147483647 55548 101 | 0.003 % |
149.78/149.97 c | 56610 | 76977 397594 1362350 | 2147483647 55670 101 | 0.003 % |
149.98/150.14 c | 56745 | 76977 397594 1362350 | 2147483647 55805 101 | 0.003 % |
150.28/150.42 c | 56891 | 76977 397594 1362350 | 2147483647 55951 101 | 0.003 % |
151.08/151.25 c | 57055 | 76977 397594 1362350 | 2147483647 56115 102 | 0.003 % |
151.58/151.77 c | 57231 | 76977 397594 1362350 | 2147483647 56291 102 | 0.003 % |
151.78/151.96 c | 57424 | 76977 397594 1362350 | 2147483647 56484 101 | 0.003 % |
152.47/152.62 c | 57638 | 76977 397594 1362350 | 2147483647 56698 101 | 0.003 % |
152.97/153.19 c | 57876 | 76977 397594 1362350 | 2147483647 56936 102 | 0.003 % |
153.27/153.48 c | 58132 | 76977 397594 1362350 | 2147483647 57192 101 | 0.003 % |
153.67/153.81 c | 58413 | 76977 397594 1362350 | 2147483647 57473 101 | 0.003 % |
154.68/154.89 c | 58723 | 76977 397594 1362350 | 2147483647 57783 101 | 0.003 % |
155.48/155.61 c | 59062 | 76977 397594 1362350 | 2147483647 58122 101 | 0.003 % |
156.38/156.59 c | 59434 | 76977 397594 1362350 | 2147483647 58494 101 | 0.003 % |
156.88/157.06 c | 59846 | 76977 397594 1362350 | 2147483647 58906 101 | 0.003 % |
157.88/158.07 c | 60298 | 76977 397594 1362350 | 2147483647 59358 101 | 0.003 % |
158.68/158.82 c | 60793 | 76977 397594 1362350 | 2147483647 59853 101 | 0.003 % |
159.57/159.76 c | 61337 | 76977 397594 1362350 | 2147483647 60397 100 | 0.003 % |
160.27/160.40 c | 61934 | 76977 397594 1362350 | 2147483647 60994 100 | 0.003 % |
162.97/163.11 c | 62599 | 76977 397594 1362350 | 2147483647 61659 100 | 0.003 % |
164.88/165.05 c | 63325 | 76977 397594 1362350 | 2147483647 62385 100 | 0.003 % |
166.37/166.53 c | 64117 | 76977 397594 1362350 | 2147483647 63177 101 | 0.003 % |
166.57/166.77 c | 64218 | 76977 397594 1362350 | 2147483647 63278 101 | 0.003 % |
166.97/167.10 c | 64328 | 76977 397594 1362350 | 2147483647 63388 100 | 0.003 % |
167.17/167.31 c | 64450 | 76977 397594 1362350 | 2147483647 63510 100 | 0.003 % |
167.47/167.62 c | 64583 | 76977 397594 1362350 | 2147483647 63643 100 | 0.003 % |
167.87/168.07 c | 64729 | 76977 397594 1362350 | 2147483647 63789 100 | 0.003 % |
168.17/168.35 c | 64889 | 76977 397594 1362350 | 2147483647 63949 100 | 0.003 % |
168.47/168.61 c | 65066 | 76977 397594 1362350 | 2147483647 64126 100 | 0.003 % |
169.17/169.32 c | 65259 | 76977 397594 1362350 | 2147483647 64319 100 | 0.003 % |
169.87/170.07 c | 65472 | 76977 397594 1362350 | 2147483647 64532 100 | 0.003 % |
170.57/170.75 c | 65706 | 76977 397594 1362350 | 2147483647 64766 100 | 0.003 % |
171.66/171.89 c | 65962 | 76977 397594 1362350 | 2147483647 65022 100 | 0.003 % |
172.27/172.40 c | 66243 | 76977 397594 1362350 | 2147483647 65303 100 | 0.003 % |
173.17/173.40 c | 66552 | 76977 397594 1362350 | 2147483647 65612 101 | 0.003 % |
173.87/174.00 c | 66891 | 76977 397594 1362350 | 2147483647 65951 100 | 0.003 % |
174.57/174.73 c | 67264 | 76977 397594 1362350 | 2147483647 66324 100 | 0.003 % |
175.57/175.73 c | 67675 | 76977 397594 1362350 | 2147483647 66735 100 | 0.003 % |
176.37/176.58 c | 68124 | 76977 397594 1362350 | 2147483647 67184 100 | 0.003 % |
177.67/177.86 c | 68617 | 76977 397594 1362350 | 2147483647 67677 101 | 0.003 % |
178.36/178.50 c | 69159 | 76977 397594 1362350 | 2147483647 68219 100 | 0.003 % |
179.46/179.65 c | 69756 | 76977 397594 1362350 | 2147483647 68816 100 | 0.003 % |
180.56/180.76 c | 70411 | 76977 397594 1362350 | 2147483647 69471 100 | 0.003 % |
181.76/181.99 c | 71132 | 76977 397594 1362350 | 2147483647 70192 100 | 0.003 % |
183.46/183.68 c | 71926 | 76977 397594 1362350 | 2147483647 70986 101 | 0.003 % |
186.05/186.26 c | 72798 | 76977 397594 1362350 | 2147483647 71858 103 | 0.003 % |
186.35/186.57 c | 72901 | 76977 397594 1362350 | 2147483647 71961 103 | 0.003 % |
186.65/186.82 c | 73011 | 76977 397594 1362350 | 2147483647 72071 103 | 0.003 % |
186.95/187.11 c | 73133 | 76977 397594 1362350 | 2147483647 72193 103 | 0.003 % |
187.35/187.51 c | 73266 | 76977 397594 1362350 | 2147483647 72326 103 | 0.003 % |
187.35/187.59 c | 73413 | 76977 397594 1362350 | 2147483647 72473 103 | 0.003 % |
188.06/188.22 c | 73574 | 76977 397594 1362350 | 2147483647 72634 103 | 0.003 % |
188.26/188.45 c | 73751 | 76977 397594 1362350 | 2147483647 72811 103 | 0.003 % |
188.86/189.03 c | 73944 | 76977 397594 1362350 | 2147483647 73004 103 | 0.003 % |
189.46/189.69 c | 74156 | 76977 397594 1362350 | 2147483647 73216 103 | 0.003 % |
190.06/190.27 c | 74390 | 76977 397594 1362350 | 2147483647 73450 103 | 0.003 % |
190.96/191.12 c | 74648 | 76977 397594 1362350 | 2147483647 73708 103 | 0.003 % |
191.96/192.11 c | 74930 | 76977 397594 1362350 | 2147483647 73990 104 | 0.003 % |
193.05/193.25 c | 75242 | 76977 397594 1362350 | 2147483647 74302 104 | 0.003 % |
194.56/194.78 c | 75584 | 76977 397594 1362350 | 2147483647 74644 104 | 0.003 % |
195.85/196.05 c | 75957 | 76977 397594 1362350 | 2147483647 75017 104 | 0.003 % |
196.55/196.78 c | 76366 | 76977 397594 1362350 | 2147483647 75426 104 | 0.003 % |
197.15/197.38 c | 76817 | 76977 397594 1362350 | 2147483647 75877 104 | 0.003 % |
198.35/198.58 c | 77310 | 76977 397594 1362350 | 2147483647 76370 104 | 0.003 % |
199.45/199.60 c | 77855 | 76977 397594 1362350 | 2147483647 76915 104 | 0.003 % |
200.25/200.46 c | 78451 | 76977 397594 1362350 | 2147483647 77511 103 | 0.003 % |
202.04/202.20 c | 79107 | 76977 397594 1362350 | 2147483647 78167 103 | 0.003 % |
203.15/203.36 c | 79828 | 76977 397594 1362350 | 2147483647 78888 103 | 0.003 % |
204.65/204.87 c | 80620 | 76977 397594 1362350 | 2147483647 79680 104 | 0.003 % |
209.54/209.72 c | 81491 | 76977 397594 1362350 | 2147483647 80551 106 | 0.003 % |
212.14/212.38 c | 82451 | 76977 397594 1362350 | 2147483647 81511 106 | 0.003 % |
212.24/212.44 c | 82551 | 76977 397594 1362350 | 2147483647 81611 105 | 0.003 % |
212.64/212.89 c | 82661 | 76977 397594 1362350 | 2147483647 81721 106 | 0.003 % |
213.35/213.54 c | 82782 | 76977 397594 1362350 | 2147483647 81842 106 | 0.003 % |
213.65/213.83 c | 82915 | 76977 397594 1362350 | 2147483647 81975 106 | 0.003 % |
213.85/214.06 c | 83062 | 76977 397594 1362350 | 2147483647 82122 106 | 0.003 % |
214.65/214.83 c | 83222 | 76977 397594 1362350 | 2147483647 82282 106 | 0.003 % |
215.55/215.76 c | 83398 | 76977 397594 1362350 | 2147483647 82458 106 | 0.003 % |
215.95/216.16 c | 83594 | 76977 397594 1362350 | 2147483647 82654 106 | 0.003 % |
216.15/216.31 c | 83807 | 76977 397594 1362350 | 2147483647 82867 106 | 0.003 % |
216.84/217.00 c | 84040 | 76977 397594 1362350 | 2147483647 83100 106 | 0.003 % |
217.74/217.90 c | 84297 | 76977 397594 1362350 | 2147483647 83357 106 | 0.003 % |
217.94/218.19 c | 84578 | 76977 397594 1362350 | 2147483647 83638 106 | 0.003 % |
218.43/218.67 c | 84887 | 76977 397594 1362350 | 2147483647 83947 106 | 0.003 % |
218.83/219.06 c | 85229 | 76977 397594 1362350 | 2147483647 84289 106 | 0.003 % |
219.43/219.63 c | 85601 | 76977 397594 1362350 | 2147483647 84661 106 | 0.003 % |
220.73/220.96 c | 86012 | 76977 397594 1362350 | 2147483647 85072 107 | 0.003 % |
222.04/222.23 c | 86461 | 76977 397594 1362350 | 2147483647 85521 107 | 0.003 % |
223.53/223.70 c | 86954 | 76977 397594 1362350 | 2147483647 86014 108 | 0.003 % |
225.23/225.44 c | 87497 | 76977 397594 1362350 | 2147483647 86557 108 | 0.003 % |
226.23/226.45 c | 88095 | 76977 397594 1362350 | 2147483647 87155 108 | 0.003 % |
227.33/227.57 c | 88750 | 76977 397594 1362350 | 2147483647 87810 108 | 0.003 % |
228.42/228.61 c | 89471 | 76977 397594 1362350 | 2147483647 88531 109 | 0.003 % |
230.32/230.53 c | 90263 | 76977 397594 1362350 | 2147483647 89323 110 | 0.003 % |
233.33/233.51 c | 91134 | 76977 397594 1362350 | 2147483647 90194 110 | 0.003 % |
236.53/236.74 c | 92093 | 76977 397594 1362350 | 2147483647 91153 110 | 0.003 % |
238.72/238.93 c | 93146 | 76977 397594 1362350 | 2147483647 92206 111 | 0.003 % |
238.92/239.13 c | 93246 | 76977 397594 1362350 | 2147483647 92306 111 | 0.003 % |
239.32/239.57 c | 93357 | 76977 397594 1362350 | 2147483647 92417 112 | 0.003 % |
239.72/239.90 c | 93478 | 76977 397594 1362350 | 2147483647 92538 112 | 0.003 % |
240.02/240.29 c | 93613 | 76977 397594 1362350 | 2147483647 92673 112 | 0.003 % |
240.62/240.81 c | 93759 | 76977 397594 1362350 | 2147483647 92819 112 | 0.003 % |
241.12/241.37 c | 93919 | 76977 397594 1362350 | 2147483647 92979 112 | 0.003 % |
241.82/242.04 c | 94097 | 76977 397594 1362350 | 2147483647 93157 112 | 0.003 % |
243.12/243.37 c | 94291 | 76977 397594 1362350 | 2147483647 93351 112 | 0.003 % |
244.22/244.48 c | 94510 | 76977 397594 1362350 | 2147483647 93570 112 | 0.003 % |
245.52/245.74 c | 94743 | 76977 397594 1362350 | 2147483647 93803 112 | 0.003 % |
246.01/246.21 c | 95001 | 76977 397594 1362350 | 2147483647 94061 112 | 0.003 % |
246.82/247.05 c | 95282 | 76977 397594 1362350 | 2147483647 94342 112 | 0.003 % |
247.52/247.77 c | 95591 | 76977 397594 1362350 | 2147483647 94651 113 | 0.003 % |
248.42/248.69 c | 95931 | 76977 397594 1362350 | 2147483647 94991 113 | 0.003 % |
249.82/250.04 c | 96304 | 76977 397594 1362350 | 2147483647 95364 113 | 0.003 % |
250.92/251.15 c | 96715 | 76977 397594 1362350 | 2147483647 95775 113 | 0.003 % |
251.82/252.02 c | 97166 | 76977 397594 1362350 | 2147483647 96226 112 | 0.003 % |
252.62/252.88 c | 97660 | 76977 397594 1362350 | 2147483647 96720 112 | 0.003 % |
253.42/253.67 c | 98202 | 76977 397594 1362350 | 2147483647 97262 112 | 0.003 % |
254.51/254.78 c | 98799 | 76977 397594 1362350 | 2147483647 97859 112 | 0.003 % |
257.01/257.28 c | 99455 | 76977 397594 1362350 | 2147483647 98515 112 | 0.003 % |
259.01/259.20 c | 100175 | 76977 397594 1362350 | 2147483647 99235 112 | 0.003 % |
259.71/259.95 c | 100967 | 76977 397594 1362350 | 2147483647 100027 112 | 0.003 % |
261.40/261.62 c | 101838 | 76977 397594 1362350 | 2147483647 100898 112 | 0.003 % |
265.20/265.43 c | 102796 | 76977 397594 1362350 | 2147483647 101856 112 | 0.003 % |
269.20/269.43 c | 103849 | 76977 397594 1362350 | 2147483647 102909 113 | 0.003 % |
272.00/272.25 c | 105008 | 76977 397594 1362350 | 2147483647 104068 113 | 0.003 % |
272.20/272.44 c | 105108 | 76977 397594 1362350 | 2147483647 104168 113 | 0.003 % |
272.60/272.83 c | 105219 | 76977 397594 1362350 | 2147483647 104279 113 | 0.003 % |
273.00/273.24 c | 105341 | 76977 397594 1362350 | 2147483647 104401 113 | 0.003 % |
273.39/273.67 c | 105474 | 76977 397594 1362350 | 2147483647 104534 113 | 0.003 % |
273.79/274.05 c | 105622 | 76977 397594 1362350 | 2147483647 104682 113 | 0.003 % |
274.19/274.49 c | 105783 | 76977 397594 1362350 | 2147483647 104843 113 | 0.003 % |
274.80/275.06 c | 105959 | 76977 397594 1362350 | 2147483647 105019 113 | 0.003 % |
275.29/275.51 c | 106152 | 76977 397594 1362350 | 2147483647 105212 113 | 0.003 % |
276.00/276.27 c | 106365 | 76977 397594 1362350 | 2147483647 105425 113 | 0.003 % |
276.80/277.09 c | 106599 | 76977 397594 1362350 | 2147483647 105659 113 | 0.003 % |
277.40/277.66 c | 106856 | 76977 397594 1362350 | 2147483647 105916 113 | 0.003 % |
278.50/278.71 c | 107137 | 76977 397594 1362350 | 2147483647 106197 113 | 0.003 % |
279.40/279.64 c | 107446 | 76977 397594 1362350 | 2147483647 106506 113 | 0.003 % |
280.20/280.43 c | 107786 | 76977 397594 1362350 | 2147483647 106846 113 | 0.003 % |
282.10/282.31 c | 108158 | 76977 397594 1362350 | 2147483647 107218 113 | 0.003 % |
283.80/284.02 c | 108567 | 76977 397594 1362350 | 2147483647 107627 113 | 0.003 % |
285.99/286.27 c | 109016 | 76977 397594 1362350 | 2147483647 108076 114 | 0.003 % |
288.00/288.24 c | 109509 | 76976 397466 1362094 | 2147483647 108567 114 | 0.004 % |
289.79/290.06 c | 110051 | 76976 397466 1362094 | 2147483647 109109 114 | 0.004 % |
290.89/291.11 c | 110648 | 76976 397466 1362094 | 2147483647 109706 114 | 0.004 % |
292.09/292.36 c | 111303 | 76976 397466 1362094 | 2147483647 110361 113 | 0.004 % |
293.69/293.93 c | 112024 | 76976 397466 1362094 | 2147483647 111082 113 | 0.004 % |
297.98/298.25 c | 112818 | 76976 397466 1362094 | 2147483647 111876 114 | 0.004 % |
299.89/300.11 c | 113689 | 76976 397466 1362094 | 2147483647 112747 114 | 0.004 % |
302.49/302.75 c | 114647 | 76976 397466 1362094 | 2147483647 113705 114 | 0.004 % |
305.09/305.33 c | 115700 | 76976 397466 1362094 | 2147483647 114758 114 | 0.004 % |
308.78/309.01 c | 116860 | 76976 397466 1362094 | 2147483647 115918 115 | 0.004 % |
311.38/311.62 c | 118133 | 76976 397466 1362094 | 2147483647 117191 115 | 0.004 % |
311.48/311.72 c | 118234 | 76976 397466 1362094 | 2147483647 117292 115 | 0.004 % |
311.58/311.85 c | 118346 | 76976 397466 1362094 | 2147483647 117404 115 | 0.004 % |
312.18/312.47 c | 118467 | 76976 397466 1362094 | 2147483647 117525 115 | 0.004 % |
312.58/312.82 c | 118601 | 76976 397466 1362094 | 2147483647 117659 115 | 0.004 % |
312.88/313.13 c | 118748 | 76976 397466 1362094 | 2147483647 117806 115 | 0.004 % |
313.38/313.63 c | 118908 | 76976 397466 1362094 | 2147483647 117966 115 | 0.004 % |
313.68/313.95 c | 119084 | 76976 397466 1362094 | 2147483647 118142 115 | 0.004 % |
314.98/315.21 c | 119277 | 76976 397466 1362094 | 2147483647 118335 115 | 0.004 % |
316.28/316.52 c | 119489 | 76976 397466 1362094 | 2147483647 118547 115 | 0.004 % |
316.68/316.93 c | 119723 | 76976 397466 1362094 | 2147483647 118781 115 | 0.004 % |
316.88/317.16 c | 119979 | 76976 397466 1362094 | 2147483647 119037 115 | 0.004 % |
317.58/317.89 c | 120260 | 76976 397466 1362094 | 2147483647 119318 115 | 0.004 % |
318.37/318.69 c | 120571 | 76976 397466 1362094 | 2147483647 119629 115 | 0.004 % |
319.17/319.43 c | 120912 | 76976 397466 1362094 | 2147483647 119970 115 | 0.004 % |
319.57/319.82 c | 121285 | 76976 397466 1362094 | 2147483647 120343 115 | 0.004 % |
320.27/320.57 c | 121694 | 76976 397466 1362094 | 2147483647 120752 115 | 0.004 % |
320.87/321.15 c | 122143 | 76976 397466 1362094 | 2147483647 121201 115 | 0.004 % |
321.47/321.70 c | 122636 | 76976 397466 1362094 | 2147483647 121694 115 | 0.004 % |
322.28/322.59 c | 123179 | 76976 397466 1362094 | 2147483647 122237 115 | 0.004 % |
324.97/325.21 c | 123775 | 76976 397466 1362094 | 2147483647 122833 116 | 0.004 % |
327.58/327.88 c | 124430 | 76976 397466 1362094 | 2147483647 123488 116 | 0.004 % |
329.37/329.65 c | 125150 | 76976 397466 1362094 | 2147483647 124208 117 | 0.004 % |
331.57/331.83 c | 125942 | 76976 397466 1362094 | 2147483647 125000 117 | 0.004 % |
332.97/333.20 c | 126813 | 76976 397466 1362094 | 2147483647 125871 117 | 0.004 % |
334.67/334.93 c | 127773 | 76976 397466 1362094 | 2147483647 126831 117 | 0.004 % |
336.77/337.00 c | 128829 | 76976 397466 1362094 | 2147483647 127887 117 | 0.004 % |
338.48/338.77 c | 129988 | 76976 397466 1362094 | 2147483647 129046 117 | 0.004 % |
340.67/340.93 c | 131261 | 76976 397466 1362094 | 2147483647 130319 117 | 0.004 % |
343.17/343.46 c | 132661 | 76976 397466 1362094 | 2147483647 131719 117 | 0.004 % |
343.37/343.66 c | 132761 | 76976 397466 1362094 | 2147483647 131819 117 | 0.004 % |
343.57/343.89 c | 132873 | 76976 397466 1362094 | 2147483647 131931 117 | 0.004 % |
343.87/344.11 c | 132994 | 76976 397466 1362094 | 2147483647 132052 117 | 0.004 % |
344.07/344.34 c | 133127 | 76976 397466 1362094 | 2147483647 132185 117 | 0.004 % |
344.17/344.42 c | 133276 | 76976 397466 1362094 | 2147483647 132334 117 | 0.004 % |
344.17/344.46 c | 133437 | 76976 397466 1362094 | 2147483647 132495 116 | 0.004 % |
345.17/345.48 c | 133614 | 76976 397466 1362094 | 2147483647 132672 117 | 0.004 % |
346.17/346.49 c | 133808 | 76976 397466 1362094 | 2147483647 132866 117 | 0.004 % |
346.87/347.19 c | 134020 | 76976 397466 1362094 | 2147483647 133078 117 | 0.004 % |
348.27/348.51 c | 134253 | 76976 397466 1362094 | 2147483647 133311 117 | 0.004 % |
348.97/349.27 c | 134509 | 76976 397466 1362094 | 2147483647 133567 117 | 0.004 % |
350.96/351.27 c | 134791 | 76976 397466 1362094 | 2147483647 133849 117 | 0.004 % |
353.06/353.32 c | 135102 | 76976 397466 1362094 | 2147483647 134160 117 | 0.004 % |
353.56/353.89 c | 135443 | 76976 397466 1362094 | 2147483647 134501 117 | 0.004 % |
355.26/355.56 c | 135817 | 76976 397466 1362094 | 2147483647 134875 117 | 0.004 % |
355.86/356.12 c | 136226 | 76976 397466 1362094 | 2147483647 135284 117 | 0.004 % |
356.16/356.46 c | 136677 | 76976 397466 1362094 | 2147483647 135735 117 | 0.004 % |
357.75/358.06 c | 137170 | 76976 397466 1362094 | 2147483647 136228 117 | 0.004 % |
360.46/360.78 c | 137713 | 76976 397466 1362094 | 2147483647 136771 117 | 0.004 % |
362.06/362.37 c | 138309 | 76976 397466 1362094 | 2147483647 137367 117 | 0.004 % |
363.26/363.52 c | 138964 | 76976 397466 1362094 | 2147483647 138022 117 | 0.004 % |
366.36/366.64 c | 139685 | 76976 397466 1362094 | 2147483647 138743 118 | 0.004 % |
368.35/368.68 c | 140477 | 76976 397466 1362094 | 2147483647 139535 118 | 0.004 % |
369.75/370.06 c | 141350 | 76976 397466 1362094 | 2147483647 140408 118 | 0.004 % |
373.35/373.65 c | 142308 | 76976 397466 1362094 | 2147483647 141366 118 | 0.004 % |
376.45/376.74 c | 143362 | 76976 397466 1362094 | 2147483647 142420 119 | 0.004 % |
379.55/379.89 c | 144521 | 76976 397466 1362094 | 2147483647 143579 119 | 0.004 % |
387.45/387.70 c | 145802 | 76976 397466 1362094 | 2147483647 144860 120 | 0.004 % |
391.35/391.61 c | 147203 | 76976 397466 1362094 | 2147483647 146261 120 | 0.004 % |
395.05/395.36 c | 148743 | 76976 397466 1362094 | 2147483647 147801 120 | 0.004 % |
395.25/395.52 c | 148843 | 76976 397466 1362094 | 2147483647 147901 120 | 0.004 % |
395.55/395.89 c | 148956 | 76976 397466 1362094 | 2147483647 148014 120 | 0.004 % |
395.85/396.11 c | 149078 | 76976 397466 1362094 | 2147483647 148136 120 | 0.004 % |
396.45/396.78 c | 149211 | 76976 397466 1362094 | 2147483647 148269 121 | 0.004 % |
396.85/397.12 c | 149357 | 76976 397466 1362094 | 2147483647 148415 121 | 0.004 % |
397.64/397.92 c | 149517 | 76976 397466 1362094 | 2147483647 148575 121 | 0.004 % |
398.14/398.46 c | 149695 | 76976 397466 1362094 | 2147483647 148753 121 | 0.004 % |
398.64/398.94 c | 149888 | 76976 397466 1362094 | 2147483647 148946 121 | 0.004 % |
399.74/400.03 c | 150101 | 76976 397466 1362094 | 2147483647 149159 121 | 0.004 % |
400.74/401.07 c | 150334 | 76976 397466 1362094 | 2147483647 149392 121 | 0.004 % |
401.34/401.68 c | 150590 | 76976 397466 1362094 | 2147483647 149648 121 | 0.004 % |
402.14/402.47 c | 150871 | 76976 397466 1362094 | 2147483647 149929 121 | 0.004 % |
402.74/403.10 c | 151182 | 76976 397466 1362094 | 2147483647 150240 121 | 0.004 % |
404.24/404.57 c | 151521 | 76976 397466 1362094 | 2147483647 150579 122 | 0.004 % |
406.04/406.36 c | 151926 | 76976 397466 1362094 | 2147483647 150984 122 | 0.004 % |
406.64/406.95 c | 152335 | 76976 397466 1362094 | 2147483647 151393 122 | 0.004 % |
408.34/408.65 c | 152784 | 76976 397466 1362094 | 2147483647 151842 122 | 0.004 % |
410.04/410.31 c | 153277 | 76976 397466 1362094 | 2147483647 152335 122 | 0.004 % |
413.64/413.99 c | 153820 | 76975 397462 1362082 | 2147483647 151565 121 | 0.005 % |
415.83/416.18 c | 154418 | 76975 397462 1362082 | 2147483647 152163 122 | 0.005 % |
418.13/418.45 c | 155073 | 76975 397462 1362082 | 2147483647 152818 121 | 0.005 % |
420.33/420.67 c | 155793 | 76975 397462 1362082 | 2147483647 153538 121 | 0.005 % |
421.53/421.85 c | 156585 | 76975 397462 1362082 | 2147483647 154330 121 | 0.005 % |
424.84/425.11 c | 157461 | 76975 397462 1362082 | 2147483647 155206 121 | 0.005 % |
426.63/426.94 c | 158420 | 76975 397462 1362082 | 2147483647 156165 121 | 0.005 % |
430.13/430.45 c | 159473 | 76975 397462 1362082 | 2147483647 157218 122 | 0.005 % |
434.03/434.33 c | 160631 | 76975 397462 1362082 | 2147483647 158376 122 | 0.005 % |
437.33/437.65 c | 161904 | 76975 397462 1362082 | 2147483647 159649 122 | 0.005 % |
443.12/443.49 c | 163304 | 76975 397462 1362082 | 2147483647 161049 123 | 0.005 % |
446.22/446.55 c | 164845 | 76975 397462 1362082 | 2147483647 162590 124 | 0.005 % |
450.92/451.22 c | 166540 | 76975 397462 1362082 | 2147483647 164285 124 | 0.005 % |
451.41/451.75 c | 166642 | 76975 397462 1362082 | 2147483647 164387 124 | 0.005 % |
451.72/452.00 c | 166752 | 76975 397462 1362082 | 2147483647 164497 124 | 0.005 % |
451.91/452.29 c | 166873 | 76975 397462 1362082 | 2147483647 164618 124 | 0.005 % |
452.21/452.51 c | 167006 | 76975 397462 1362082 | 2147483647 164751 124 | 0.005 % |
452.82/453.19 c | 167154 | 76975 397462 1362082 | 2147483647 164899 124 | 0.005 % |
453.81/454.11 c | 167315 | 76975 397462 1362082 | 2147483647 165060 124 | 0.005 % |
454.41/454.72 c | 167492 | 76975 397462 1362082 | 2147483647 165237 124 | 0.005 % |
455.12/455.42 c | 167690 | 76975 397462 1362082 | 2147483647 165435 124 | 0.005 % |
455.61/455.94 c | 167904 | 76975 397462 1362082 | 2147483647 165649 124 | 0.005 % |
456.71/457.07 c | 168139 | 76975 397462 1362082 | 2147483647 165884 124 | 0.005 % |
457.22/457.58 c | 168397 | 76975 397462 1362082 | 2147483647 166142 124 | 0.005 % |
459.42/459.72 c | 168686 | 76975 397462 1362082 | 2147483647 166431 124 | 0.005 % |
460.12/460.49 c | 168997 | 76975 397462 1362082 | 2147483647 166742 124 | 0.005 % |
461.32/461.68 c | 169336 | 76975 397462 1362082 | 2147483647 167081 124 | 0.005 % |
462.21/462.51 c | 169709 | 76975 397462 1362082 | 2147483647 167454 124 | 0.005 % |
463.61/463.92 c | 170118 | 76975 397462 1362082 | 2147483647 167863 124 | 0.005 % |
465.71/466.08 c | 170567 | 76975 397462 1362082 | 2147483647 168312 125 | 0.005 % |
467.71/468.05 c | 171061 | 76975 397462 1362082 | 2147483647 168806 125 | 0.005 % |
469.21/469.58 c | 171605 | 76975 397462 1362082 | 2147483647 169350 125 | 0.005 % |
471.62/472.00 c | 172202 | 76975 397462 1362082 | 2147483647 169947 125 | 0.005 % |
473.71/474.06 c | 172861 | 76975 397462 1362082 | 2147483647 170606 125 | 0.005 % |
476.01/476.32 c | 173581 | 76975 397462 1362082 | 2147483647 171326 125 | 0.005 % |
478.71/479.03 c | 174374 | 76975 397462 1362082 | 2147483647 172119 125 | 0.005 % |
479.40/479.74 c | 175245 | 76975 397462 1362082 | 2147483647 172990 125 | 0.005 % |
482.41/482.73 c | 176203 | 76975 397462 1362082 | 2147483647 173948 126 | 0.005 % |
485.21/485.54 c | 177256 | 76975 397462 1362082 | 2147483647 175001 126 | 0.005 % |
488.50/488.88 c | 178414 | 76975 397462 1362082 | 2147483647 176159 126 | 0.005 % |
491.09/491.41 c | 179687 | 76975 397462 1362082 | 2147483647 177432 126 | 0.005 % |
499.30/499.63 c | 181087 | 76975 397462 1362082 | 2147483647 178832 127 | 0.005 % |
503.09/503.49 c | 182627 | 76975 397462 1362082 | 2147483647 180372 128 | 0.005 % |
510.49/510.87 c | 184322 | 76975 397462 1362082 | 2147483647 182067 128 | 0.005 % |
515.49/515.82 c | 186185 | 76975 397462 1362082 | 2147483647 183930 128 | 0.005 % |
515.79/516.12 c | 186285 | 76975 397462 1362082 | 2147483647 184030 128 | 0.005 % |
516.40/516.74 c | 186395 | 76975 397462 1362082 | 2147483647 184140 128 | 0.005 % |
517.20/517.58 c | 186516 | 76975 397462 1362082 | 2147483647 184261 128 | 0.005 % |
517.70/518.01 c | 186649 | 76975 397462 1362082 | 2147483647 184394 128 | 0.005 % |
518.59/518.91 c | 186795 | 76975 397462 1362082 | 2147483647 184540 128 | 0.005 % |
518.99/519.39 c | 186955 | 76975 397462 1362082 | 2147483647 184700 128 | 0.005 % |
519.69/520.06 c | 187132 | 76975 397462 1362082 | 2147483647 184877 128 | 0.005 % |
520.29/520.62 c | 187325 | 76975 397462 1362082 | 2147483647 185070 128 | 0.005 % |
520.79/521.15 c | 187537 | 76975 397462 1362082 | 2147483647 185282 128 | 0.005 % |
521.89/522.25 c | 187770 | 76975 397462 1362082 | 2147483647 185515 128 | 0.005 % |
522.59/522.91 c | 188026 | 76975 397462 1362082 | 2147483647 185771 128 | 0.005 % |
523.19/523.55 c | 188311 | 76975 397462 1362082 | 2147483647 186056 128 | 0.005 % |
524.29/524.61 c | 188620 | 76975 397462 1362082 | 2147483647 186365 128 | 0.005 % |
525.19/525.51 c | 188959 | 76975 397462 1362082 | 2147483647 186704 128 | 0.005 % |
526.18/526.55 c | 189332 | 76975 397462 1362082 | 2147483647 187077 129 | 0.005 % |
527.59/527.94 c | 189743 | 76975 397462 1362082 | 2147483647 187488 129 | 0.005 % |
528.98/529.32 c | 190192 | 76975 397462 1362082 | 2147483647 187937 129 | 0.005 % |
530.09/530.43 c | 190686 | 76975 397462 1362082 | 2147483647 188431 129 | 0.005 % |
530.89/531.25 c | 191228 | 76975 397462 1362082 | 2147483647 188973 129 | 0.005 % |
532.98/533.35 c | 191825 | 76975 397462 1362082 | 2147483647 189570 130 | 0.005 % |
533.88/534.24 c | 192480 | 76975 397462 1362082 | 2147483647 190225 130 | 0.005 % |
536.57/536.97 c | 193200 | 76975 397462 1362082 | 2147483647 190945 130 | 0.005 % |
539.58/539.95 c | 193992 | 76975 397462 1362082 | 2147483647 191737 131 | 0.005 % |
543.88/544.25 c | 194864 | 76975 397462 1362082 | 2147483647 192609 131 | 0.005 % |
546.87/547.28 c | 195822 | 76975 397462 1362082 | 2147483647 193567 131 | 0.005 % |
550.57/550.97 c | 196875 | 76975 397462 1362082 | 2147483647 194620 131 | 0.005 % |
553.07/553.40 c | 198035 | 76975 397462 1362082 | 2147483647 195780 131 | 0.005 % |
557.17/557.60 c | 199308 | 76975 397462 1362082 | 2147483647 197053 131 | 0.005 % |
560.77/561.14 c | 200709 | 76974 397301 1361698 | 2147483647 197585 131 | 0.006 % |
568.86/569.26 c | 202250 | 76972 397301 1361698 | 2147483647 199124 132 | 0.009 % |
574.26/574.65 c | 203944 | 76972 397301 1361698 | 2147483647 200818 133 | 0.009 % |
579.16/579.52 c | 205807 | 76972 397301 1361698 | 2147483647 202681 133 | 0.009 % |
588.15/588.52 c | 207859 | 76972 397301 1361698 | 2147483647 204733 133 | 0.009 % |
588.55/588.95 c | 207959 | 76972 397301 1361698 | 2147483647 204833 133 | 0.009 % |
589.35/589.76 c | 208084 | 76972 397301 1361698 | 2147483647 204958 133 | 0.009 % |
590.26/590.64 c | 208207 | 76972 397301 1361698 | 2147483647 205081 133 | 0.009 % |
591.05/591.41 c | 208340 | 76972 397301 1361698 | 2147483647 205214 133 | 0.009 % |
591.65/592.00 c | 208492 | 76972 397301 1361698 | 2147483647 205366 133 | 0.009 % |
592.15/592.50 c | 208652 | 76972 397301 1361698 | 2147483647 205526 133 | 0.009 % |
593.25/593.62 c | 208828 | 76972 397021 1361098 | 2147483647 205442 134 | 0.009 % |
593.95/594.31 c | 209021 | 76972 397021 1361098 | 2147483647 205635 133 | 0.009 % |
594.76/595.16 c | 209234 | 76972 397021 1361098 | 2147483647 205848 133 | 0.009 % |
595.25/595.68 c | 209467 | 76972 397021 1361098 | 2147483647 206081 133 | 0.009 % |
596.55/596.93 c | 209723 | 76972 397021 1361098 | 2147483647 206337 133 | 0.009 % |
597.45/597.86 c | 210004 | 76972 397021 1361098 | 2147483647 206618 134 | 0.009 % |
599.15/599.53 c | 210313 | 76972 397021 1361098 | 2147483647 206927 134 | 0.009 % |
600.05/600.42 c | 210652 | 76972 397021 1361098 | 2147483647 207266 134 | 0.009 % |
601.65/602.04 c | 211024 | 76972 397021 1361098 | 2147483647 207638 134 | 0.009 % |
603.15/603.54 c | 211437 | 76972 397021 1361098 | 2147483647 208051 134 | 0.009 % |
604.05/604.45 c | 211886 | 76972 397021 1361098 | 2147483647 208500 134 | 0.009 % |
604.75/605.11 c | 212379 | 76972 397021 1361098 | 2147483647 208993 134 | 0.009 % |
606.64/607.01 c | 212922 | 76972 397021 1361098 | 2147483647 209536 134 | 0.009 % |
607.34/607.76 c | 213526 | 76972 397021 1361098 | 2147483647 210140 134 | 0.009 % |
609.44/609.88 c | 214181 | 76972 397021 1361098 | 2147483647 210795 134 | 0.009 % |
611.74/612.15 c | 214901 | 76972 397021 1361098 | 2147483647 211515 134 | 0.009 % |
616.94/617.37 c | 215694 | 76972 397021 1361098 | 2147483647 212308 134 | 0.009 % |
620.15/620.57 c | 216565 | 76972 397021 1361098 | 2147483647 213179 134 | 0.009 % |
624.54/624.96 c | 217525 | 76972 397021 1361098 | 2147483647 214139 134 | 0.009 % |
628.14/628.51 c | 218581 | 76972 397021 1361098 | 2147483647 215195 134 | 0.009 % |
630.94/631.39 c | 219741 | 76972 397021 1361098 | 2147483647 216355 134 | 0.009 % |
635.03/635.45 c | 221014 | 76972 397021 1361098 | 2147483647 217628 135 | 0.009 % |
640.53/640.94 c | 222414 | 76972 397021 1361098 | 2147483647 219028 134 | 0.009 % |
647.43/647.88 c | 223954 | 76972 397021 1361098 | 2147483647 220568 134 | 0.009 % |
653.03/653.46 c | 225649 | 76972 397021 1361098 | 2147483647 222263 135 | 0.009 % |
658.53/658.94 c | 227512 | 76972 397021 1361098 | 2147483647 224126 135 | 0.009 % |
664.82/665.29 c | 229564 | 76972 397021 1361098 | 2147483647 226178 134 | 0.009 % |
670.71/671.18 c | 231817 | 76972 397021 1361098 | 2147483647 228431 134 | 0.009 % |
670.91/671.39 c | 231917 | 76972 397021 1361098 | 2147483647 228531 134 | 0.009 % |
671.41/671.84 c | 232028 | 76972 397021 1361098 | 2147483647 228642 134 | 0.009 % |
671.81/672.28 c | 232153 | 76972 397021 1361098 | 2147483647 228767 134 | 0.009 % |
672.31/672.73 c | 232289 | 76972 397021 1361098 | 2147483647 228903 134 | 0.009 % |
672.81/673.22 c | 232435 | 76972 397021 1361098 | 2147483647 229049 134 | 0.009 % |
673.71/674.13 c | 232597 | 76972 397021 1361098 | 2147483647 229211 134 | 0.009 % |
674.71/675.13 c | 232773 | 76972 397021 1361098 | 2147483647 229387 134 | 0.009 % |
675.41/675.87 c | 232966 | 76972 397021 1361098 | 2147483647 229580 134 | 0.009 % |
675.91/676.40 c | 233181 | 76972 397021 1361098 | 2147483647 229795 134 | 0.009 % |
677.12/677.56 c | 233414 | 76972 397021 1361098 | 2147483647 230028 134 | 0.009 % |
678.12/678.50 c | 233672 | 76972 397021 1361098 | 2147483647 230286 134 | 0.009 % |
678.81/679.23 c | 233953 | 76972 397021 1361098 | 2147483647 230567 134 | 0.009 % |
679.32/679.80 c | 234262 | 76972 397021 1361098 | 2147483647 230876 134 | 0.009 % |
680.21/680.69 c | 234609 | 76972 397021 1361098 | 2147483647 231223 134 | 0.009 % |
681.01/681.45 c | 234981 | 76972 397021 1361098 | 2147483647 231595 134 | 0.009 % |
681.41/681.85 c | 235392 | 76972 397021 1361098 | 2147483647 232006 134 | 0.009 % |
682.21/682.67 c | 235841 | 76972 397021 1361098 | 2147483647 232455 134 | 0.009 % |
683.61/684.10 c | 236335 | 76972 397021 1361098 | 2147483647 232949 134 | 0.009 % |
685.50/685.97 c | 236877 | 76972 397021 1361098 | 2147483647 233491 134 | 0.009 % |
686.70/687.17 c | 237473 | 76972 397021 1361098 | 2147483647 234087 134 | 0.009 % |
688.70/689.10 c | 238128 | 76972 397021 1361098 | 2147483647 234742 134 | 0.009 % |
690.10/690.59 c | 238848 | 76972 397021 1361098 | 2147483647 235462 134 | 0.009 % |
693.81/694.21 c | 239645 | 76972 397021 1361098 | 2147483647 236259 134 | 0.009 % |
697.91/698.34 c | 240517 | 76972 397021 1361098 | 2147483647 237131 134 | 0.009 % |
700.31/700.79 c | 241475 | 76972 397021 1361098 | 2147483647 238089 134 | 0.009 % |
705.20/705.62 c | 242530 | 76972 397021 1361098 | 2147483647 239144 135 | 0.009 % |
708.01/708.47 c | 243688 | 76972 397021 1361098 | 2147483647 240302 134 | 0.009 % |
712.70/713.14 c | 244961 | 76972 397021 1361098 | 2147483647 241575 135 | 0.009 % |
717.19/717.65 c | 246362 | 76972 397021 1361098 | 2147483647 242976 136 | 0.009 % |
721.89/722.37 c | 247902 | 76972 397021 1361098 | 2147483647 244516 137 | 0.009 % |
727.99/728.47 c | 249596 | 76972 397021 1361098 | 2147483647 246210 137 | 0.009 % |
737.08/737.50 c | 251460 | 76972 397021 1361098 | 2147483647 248074 138 | 0.009 % |
745.39/745.86 c | 253509 | 76972 397021 1361098 | 2147483647 250123 138 | 0.009 % |
750.48/750.92 c | 255762 | 76972 397021 1361098 | 2147483647 252376 139 | 0.009 % |
755.68/756.18 c | 258240 | 76972 397021 1361098 | 2147483647 254854 139 | 0.009 % |
755.98/756.41 c | 258340 | 76972 397021 1361098 | 2147483647 254954 139 | 0.009 % |
756.38/756.85 c | 258452 | 76972 397021 1361098 | 2147483647 255066 139 | 0.009 % |
756.68/757.12 c | 258575 | 76972 397021 1361098 | 2147483647 255189 139 | 0.009 % |
757.27/757.70 c | 258709 | 76972 397021 1361098 | 2147483647 255323 139 | 0.009 % |
758.27/758.80 c | 258855 | 76972 397021 1361098 | 2147483647 255469 139 | 0.009 % |
759.27/759.74 c | 259015 | 76972 397021 1361098 | 2147483647 255629 139 | 0.009 % |
760.37/760.83 c | 259191 | 76972 397021 1361098 | 2147483647 255805 139 | 0.009 % |
761.27/761.71 c | 259386 | 76972 397021 1361098 | 2147483647 256000 139 | 0.009 % |
761.97/762.49 c | 259598 | 76972 397021 1361098 | 2147483647 256212 139 | 0.009 % |
763.17/763.67 c | 259833 | 76972 397021 1361098 | 2147483647 256447 139 | 0.009 % |
764.17/764.69 c | 260089 | 76972 397021 1361098 | 2147483647 256703 139 | 0.009 % |
765.47/765.96 c | 260379 | 76972 397021 1361098 | 2147483647 256993 139 | 0.009 % |
766.77/767.23 c | 260691 | 76972 397021 1361098 | 2147483647 257305 139 | 0.009 % |
768.47/768.93 c | 261030 | 76972 397021 1361098 | 2147483647 257644 139 | 0.009 % |
770.46/770.98 c | 261403 | 76972 397021 1361098 | 2147483647 258017 139 | 0.009 % |
772.16/772.66 c | 261812 | 76972 397021 1361098 | 2147483647 258426 139 | 0.009 % |
773.66/774.13 c | 262261 | 76972 397021 1361098 | 2147483647 258875 140 | 0.009 % |
775.76/776.23 c | 262754 | 76972 397021 1361098 | 2147483647 259368 140 | 0.009 % |
777.26/777.78 c | 263297 | 76972 397021 1361098 | 2147483647 259911 140 | 0.009 % |
779.87/780.33 c | 263897 | 76972 397021 1361098 | 2147483647 260511 140 | 0.009 % |
783.06/783.58 c | 264552 | 76972 397021 1361098 | 2147483647 261166 140 | 0.009 % |
785.16/785.63 c | 265272 | 76972 397021 1361098 | 2147483647 261886 140 | 0.009 % |
787.56/788.04 c | 266064 | 76972 397021 1361098 | 2147483647 262678 140 | 0.009 % |
790.26/790.71 c | 266935 | 76972 397021 1361098 | 2147483647 263549 139 | 0.009 % |
792.36/792.80 c | 267893 | 76972 397021 1361098 | 2147483647 264507 140 | 0.009 % |
794.46/794.98 c | 268946 | 76972 397021 1361098 | 2147483647 265560 139 | 0.009 % |
799.46/799.99 c | 270107 | 76972 397021 1361098 | 2147483647 266721 140 | 0.009 % |
803.56/804.10 c | 271380 | 76972 397021 1361098 | 2147483647 267994 139 | 0.009 % |
808.25/808.70 c | 272780 | 76972 397021 1361098 | 2147483647 269394 140 | 0.009 % |
812.25/812.73 c | 274320 | 76972 397021 1361098 | 2147483647 270934 139 | 0.009 % |
814.25/814.76 c | 276015 | 76972 397021 1361098 | 2147483647 272629 139 | 0.009 % |
820.85/821.32 c | 277879 | 76972 397021 1361098 | 2147483647 274493 139 | 0.009 % |
827.75/828.22 c | 279928 | 76972 397021 1361098 | 2147483647 276542 139 | 0.009 % |
836.14/836.63 c | 282181 | 76972 397021 1361098 | 2147483647 278795 141 | 0.009 % |
843.84/844.30 c | 284659 | 76972 397021 1361098 | 2147483647 281273 141 | 0.009 % |
854.03/854.51 c | 287384 | 76972 397021 1361098 | 2147483647 283998 142 | 0.009 % |
854.53/855.01 c | 287484 | 76972 397021 1361098 | 2147483647 284098 142 | 0.009 % |
854.83/855.31 c | 287601 | 76972 397021 1361098 | 2147483647 284215 142 | 0.009 % |
855.63/856.14 c | 287722 | 76972 397021 1361098 | 2147483647 284336 142 | 0.009 % |
855.93/856.44 c | 287857 | 76972 397021 1361098 | 2147483647 284471 142 | 0.009 % |
856.53/857.03 c | 288003 | 76972 397021 1361098 | 2147483647 284617 142 | 0.009 % |
857.13/857.67 c | 288163 | 76972 397021 1361098 | 2147483647 284777 142 | 0.009 % |
857.83/858.33 c | 288342 | 76972 397021 1361098 | 2147483647 284956 142 | 0.009 % |
858.63/859.11 c | 288535 | 76972 397021 1361098 | 2147483647 285149 142 | 0.009 % |
860.14/860.66 c | 288748 | 76972 397021 1361098 | 2147483647 285362 142 | 0.009 % |
860.74/861.30 c | 288981 | 76972 397021 1361098 | 2147483647 285595 142 | 0.009 % |
861.54/862.00 c | 289245 | 76972 397021 1361098 | 2147483647 285859 142 | 0.009 % |
862.34/862.83 c | 289528 | 76972 397021 1361098 | 2147483647 286142 142 | 0.009 % |
864.14/864.65 c | 289839 | 76972 397021 1361098 | 2147483647 286453 142 | 0.009 % |
865.03/865.55 c | 290178 | 76972 397021 1361098 | 2147483647 286792 142 | 0.009 % |
866.83/867.34 c | 290550 | 76972 397021 1361098 | 2147483647 287164 142 | 0.009 % |
869.43/869.91 c | 290959 | 76972 397021 1361098 | 2147483647 287573 143 | 0.009 % |
871.43/871.90 c | 291412 | 76972 397021 1361098 | 2147483647 288026 143 | 0.009 % |
873.43/873.91 c | 291906 | 76972 397021 1361098 | 2147483647 288520 143 | 0.009 % |
876.72/877.25 c | 292448 | 76972 397021 1361098 | 2147483647 289062 143 | 0.009 % |
878.83/879.33 c | 293044 | 76972 397021 1361098 | 2147483647 289658 143 | 0.009 % |
880.93/881.46 c | 293700 | 76972 397021 1361098 | 2147483647 290314 143 | 0.009 % |
883.43/883.99 c | 294420 | 76972 397021 1361098 | 2147483647 291034 143 | 0.009 % |
886.33/886.81 c | 295214 | 76972 397021 1361098 | 2147483647 291828 144 | 0.009 % |
891.92/892.48 c | 296085 | 76972 397021 1361098 | 2147483647 292699 144 | 0.009 % |
895.92/896.48 c | 297046 | 76972 397021 1361098 | 2147483647 293660 144 | 0.009 % |
904.12/904.61 c | 298101 | 76972 397021 1361098 | 2147483647 294715 144 | 0.009 % |
908.12/908.65 c | 299260 | 76972 397021 1361098 | 2147483647 295874 144 | 0.009 % |
912.01/912.55 c | 300533 | 76972 397021 1361098 | 2147483647 297147 144 | 0.009 % |
919.12/919.61 c | 301933 | 76972 397021 1361098 | 2147483647 298547 145 | 0.009 % |
922.21/922.75 c | 303473 | 76972 397021 1361098 | 2147483647 300087 145 | 0.009 % |
930.61/931.10 c | 305169 | 76972 397021 1361098 | 2147483647 301783 145 | 0.009 % |
935.90/936.49 c | 307033 | 76972 397021 1361098 | 2147483647 303647 145 | 0.009 % |
941.10/941.66 c | 309082 | 76972 397021 1361098 | 2147483647 305696 145 | 0.009 % |
945.39/945.98 c | 311336 | 76972 397021 1361098 | 2147483647 307950 145 | 0.009 % |
954.79/955.32 c | 313814 | 76972 397021 1361098 | 2147483647 310428 145 | 0.009 % |
964.09/964.64 c | 316540 | 76972 397021 1361098 | 2147483647 313154 145 | 0.009 % |
977.18/977.76 c | 319538 | 76972 397021 1361098 | 2147483647 316152 146 | 0.009 % |
977.58/978.18 c | 319638 | 76972 397021 1361098 | 2147483647 316252 146 | 0.009 % |
978.09/978.62 c | 319748 | 76972 397021 1361098 | 2147483647 316362 146 | 0.009 % |
978.78/979.36 c | 319869 | 76972 397021 1361098 | 2147483647 316483 146 | 0.009 % |
979.38/979.94 c | 320003 | 76972 397021 1361098 | 2147483647 316617 146 | 0.009 % |
980.38/980.92 c | 320149 | 76972 397021 1361098 | 2147483647 316763 146 | 0.009 % |
981.28/981.88 c | 320309 | 76972 397021 1361098 | 2147483647 316923 146 | 0.009 % |
982.38/982.94 c | 320485 | 76972 397021 1361098 | 2147483647 317099 146 | 0.009 % |
983.17/983.77 c | 320678 | 76972 397021 1361098 | 2147483647 317292 146 | 0.009 % |
984.37/984.92 c | 320890 | 76972 397021 1361098 | 2147483647 317504 146 | 0.009 % |
985.87/986.42 c | 321124 | 76972 397021 1361098 | 2147483647 317738 146 | 0.009 % |
986.98/987.52 c | 321380 | 76972 397021 1361098 | 2147483647 317994 146 | 0.009 % |
988.18/988.80 c | 321663 | 76972 397021 1361098 | 2147483647 318277 146 | 0.009 % |
989.78/990.37 c | 321972 | 76972 397021 1361098 | 2147483647 318586 146 | 0.009 % |
991.58/992.10 c | 322311 | 76972 397021 1361098 | 2147483647 318925 146 | 0.009 % |
994.38/994.96 c | 322684 | 76972 397021 1361098 | 2147483647 319298 146 | 0.009 % |
997.98/998.59 c | 323093 | 76972 397021 1361098 | 2147483647 319707 146 | 0.009 % |
1000.07/1000.61 c | 323542 | 76972 397021 1361098 | 2147483647 320156 146 | 0.009 % |
1002.77/1003.30 c | 324035 | 76971 396875 1360774 | 2147483647 320417 146 | 0.010 % |
1004.17/1004.80 c | 324578 | 76971 396875 1360774 | 2147483647 320960 146 | 0.010 % |
1006.57/1007.14 c | 325174 | 76971 396875 1360774 | 2147483647 321556 146 | 0.010 % |
1009.57/1010.11 c | 325831 | 76971 396875 1360774 | 2147483647 322213 146 | 0.010 % |
1012.57/1013.19 c | 326552 | 76971 396875 1360774 | 2147483647 322934 146 | 0.010 % |
1015.87/1016.46 c | 327345 | 76971 396875 1360774 | 2147483647 323727 146 | 0.010 % |
1019.47/1020.00 c | 328218 | 76971 396875 1360774 | 2147483647 324600 147 | 0.010 % |
1021.67/1022.25 c | 329176 | 76971 396875 1360774 | 2147483647 325558 146 | 0.010 % |
1025.27/1025.86 c | 330230 | 76971 396875 1360774 | 2147483647 326612 146 | 0.010 % |
1028.56/1029.13 c | 331388 | 76971 396875 1360774 | 2147483647 327770 146 | 0.010 % |
1032.76/1033.30 c | 332661 | 76971 396875 1360774 | 2147483647 329043 146 | 0.010 % |
1037.46/1038.09 c | 334061 | 76971 396875 1360774 | 2147483647 330443 146 | 0.010 % |
1046.56/1047.17 c | 335602 | 76971 396875 1360774 | 2147483647 331984 147 | 0.010 % |
1052.65/1053.25 c | 337297 | 76971 396875 1360774 | 2147483647 333679 146 | 0.010 % |
1058.05/1058.61 c | 339161 | 76971 396875 1360774 | 2147483647 335543 146 | 0.010 % |
1066.46/1067.00 c | 341210 | 76971 396875 1360774 | 2147483647 337592 146 | 0.010 % |
1075.74/1076.37 c | 343463 | 76971 396875 1360774 | 2147483647 339845 147 | 0.010 % |
1082.73/1083.33 c | 345941 | 76971 396875 1360774 | 2147483647 342323 147 | 0.010 % |
1095.44/1096.02 c | 348669 | 76971 396875 1360774 | 2147483647 345051 147 | 0.010 % |
1105.53/1106.18 c | 351666 | 76971 396875 1360774 | 2147483647 348048 147 | 0.010 % |
1118.72/1119.35 c | 354962 | 76971 396875 1360774 | 2147483647 351344 147 | 0.010 % |
1119.02/1119.60 c | 355063 | 76971 396875 1360774 | 2147483647 351445 147 | 0.010 % |
1119.42/1120.06 c | 355173 | 76971 396875 1360774 | 2147483647 351555 147 | 0.010 % |
1119.92/1120.59 c | 355294 | 76971 396875 1360774 | 2147483647 351676 147 | 0.010 % |
1120.23/1120.85 c | 355427 | 76971 396875 1360774 | 2147483647 351809 147 | 0.010 % |
1120.72/1121.36 c | 355577 | 76971 396875 1360774 | 2147483647 351959 147 | 0.010 % |
1121.42/1122.04 c | 355742 | 76971 396875 1360774 | 2147483647 352124 148 | 0.010 % |
1122.72/1123.37 c | 355918 | 76971 396875 1360774 | 2147483647 352300 148 | 0.010 % |
1124.82/1125.41 c | 356112 | 76971 396875 1360774 | 2147483647 352494 148 | 0.010 % |
1125.22/1125.83 c | 356325 | 76971 396875 1360774 | 2147483647 352707 147 | 0.010 % |
1126.92/1127.52 c | 356558 | 76971 396875 1360774 | 2147483647 352940 148 | 0.010 % |
1127.92/1128.54 c | 356826 | 76971 396875 1360774 | 2147483647 353208 148 | 0.010 % |
1129.61/1130.26 c | 357107 | 76971 396875 1360774 | 2147483647 353489 148 | 0.010 % |
1131.31/1131.99 c | 357417 | 76971 396875 1360774 | 2147483647 353799 148 | 0.010 % |
1133.31/1133.93 c | 357757 | 76971 396875 1360774 | 2147483647 354139 148 | 0.010 % |
1133.61/1134.25 c | 358129 | 76971 396875 1360774 | 2147483647 354511 148 | 0.010 % |
1134.61/1135.27 c | 358538 | 76971 396875 1360774 | 2147483647 354920 148 | 0.010 % |
1136.91/1137.54 c | 358988 | 76971 396875 1360774 | 2147483647 355370 148 | 0.010 % |
1140.11/1140.70 c | 359482 | 76971 396875 1360774 | 2147483647 355864 148 | 0.010 % |
1142.61/1143.21 c | 360024 | 76971 396875 1360774 | 2147483647 356406 148 | 0.010 % |
1146.51/1147.14 c | 360620 | 76971 396875 1360774 | 2147483647 357002 148 | 0.010 % |
1149.01/1149.69 c | 361275 | 76971 396875 1360774 | 2147483647 357657 148 | 0.010 % |
1150.50/1151.15 c | 361995 | 76971 396875 1360774 | 2147483647 358377 148 | 0.010 % |
1157.50/1158.12 c | 362787 | 76971 396875 1360774 | 2147483647 359169 148 | 0.010 % |
1161.19/1161.83 c | 363659 | 76971 396875 1360774 | 2147483647 360041 148 | 0.010 % |
1163.29/1163.95 c | 364619 | 76971 396875 1360774 | 2147483647 361001 148 | 0.010 % |
1165.99/1166.60 c | 365672 | 76971 396875 1360774 | 2147483647 362054 148 | 0.010 % |
1167.70/1168.39 c | 366832 | 76971 396875 1360774 | 2147483647 363214 148 | 0.010 % |
1173.39/1174.03 c | 368105 | 76971 396875 1360774 | 2147483647 364487 148 | 0.010 % |
1177.39/1178.01 c | 369505 | 76971 396875 1360774 | 2147483647 365887 148 | 0.010 % |
1193.29/1193.92 c | 371045 | 76971 396875 1360774 | 2147483647 367427 149 | 0.010 % |
1204.49/1205.20 c | 372740 | 76968 396742 1360502 | 2147483647 369100 149 | 0.014 % |
1210.77/1211.44 c | 374605 | 76968 396742 1360502 | 2147483647 370965 148 | 0.014 % |
1220.68/1221.35 c | 376654 | 76968 396742 1360502 | 2147483647 373014 149 | 0.014 % |
1228.87/1229.60 c | 378910 | 76968 396742 1360502 | 2147483647 375270 149 | 0.014 % |
1243.57/1244.23 c | 381388 | 76968 396742 1360502 | 2147483647 377748 150 | 0.014 % |
1250.86/1251.58 c | 384114 | 76968 396742 1360502 | 2147483647 380474 149 | 0.014 % |
1259.05/1259.70 c | 387112 | 76968 396742 1360502 | 2147483647 383472 149 | 0.014 % |
1271.65/1272.37 c | 390409 | 76968 396742 1360502 | 2147483647 386769 150 | 0.014 % |
1289.84/1290.57 c | 394034 | 76968 396742 1360502 | 2147483647 390394 150 | 0.014 % |
1290.75/1291.42 c | 394134 | 76967 396742 1360502 | 2147483647 390493 150 | 0.016 % |
1291.24/1291.94 c | 394246 | 76967 396742 1360502 | 2147483647 390605 151 | 0.016 % |
1291.84/1292.52 c | 394367 | 76967 396742 1360502 | 2147483647 390726 151 | 0.016 % |
1292.24/1292.91 c | 394501 | 76967 396742 1360502 | 2147483647 390860 151 | 0.016 % |
1293.44/1294.16 c | 394652 | 76967 396341 1359676 | 2147483647 390839 151 | 0.016 % |
1294.05/1294.75 c | 394816 | 76967 396341 1359676 | 2147483647 391003 151 | 0.016 % |
1294.75/1295.48 c | 394992 | 76967 396341 1359676 | 2147483647 391179 151 | 0.016 % |
1295.45/1296.16 c | 395185 | 76967 396341 1359676 | 2147483647 391372 151 | 0.016 % |
1296.25/1296.93 c | 395397 | 76967 396341 1359676 | 2147483647 391584 151 | 0.016 % |
1297.34/1298.05 c | 395634 | 76967 396341 1359676 | 2147483647 391821 151 | 0.016 % |
1298.44/1299.15 c | 395890 | 76967 396341 1359676 | 2147483647 392077 151 | 0.016 % |
1299.54/1300.25 c | 396171 | 76967 396341 1359676 | 2147483647 392358 151 | 0.016 % |
1300.54/1301.28 c | 396484 | 76967 396341 1359676 | 2147483647 392671 151 | 0.016 % |
1301.74/1302.44 c | 396823 | 76967 396341 1359676 | 2147483647 393010 151 | 0.016 % |
1302.84/1303.57 c | 397195 | 76967 396341 1359676 | 2147483647 393382 151 | 0.016 % |
1304.04/1304.76 c | 397605 | 76967 396341 1359676 | 2147483647 393792 151 | 0.016 % |
1305.54/1306.21 c | 398055 | 76967 396341 1359676 | 2147483647 394242 151 | 0.016 % |
1308.34/1309.10 c | 398548 | 76967 396341 1359676 | 2147483647 394735 151 | 0.016 % |
1310.83/1311.52 c | 399090 | 76967 396341 1359676 | 2147483647 395277 151 | 0.016 % |
1313.84/1314.59 c | 399686 | 76967 396341 1359676 | 2147483647 395873 151 | 0.016 % |
1315.83/1316.55 c | 400350 | 76967 396341 1359676 | 2147483647 396537 151 | 0.016 % |
1318.13/1318.80 c | 401070 | 76967 396341 1359676 | 2147483647 397257 151 | 0.016 % |
1321.73/1322.49 c | 401863 | 76967 396341 1359676 | 2147483647 398050 151 | 0.016 % |
1325.83/1326.55 c | 402736 | 76967 396341 1359676 | 2147483647 398923 151 | 0.016 % |
1328.43/1329.17 c | 403695 | 76967 396341 1359676 | 2147483647 399882 151 | 0.016 % |
1334.02/1334.76 c | 404748 | 76967 396341 1359676 | 2147483647 400935 152 | 0.016 % |
1340.32/1341.07 c | 405906 | 76967 396341 1359676 | 2147483647 402093 152 | 0.016 % |
1344.82/1345.58 c | 407179 | 76967 396341 1359676 | 2147483647 403366 152 | 0.016 % |
1350.41/1351.11 c | 408581 | 76967 396341 1359676 | 2147483647 404768 152 | 0.016 % |
1358.61/1359.30 c | 410123 | 76967 396341 1359676 | 2147483647 406310 153 | 0.016 % |
1366.21/1366.92 c | 411817 | 76967 396341 1359676 | 2147483647 408004 154 | 0.016 % |
1376.41/1377.15 c | 413680 | 76967 396341 1359676 | 2147483647 409867 154 | 0.016 % |
1384.70/1385.44 c | 415729 | 76967 396341 1359676 | 2147483647 411916 155 | 0.016 % |
1394.30/1395.05 c | 417983 | 76967 396341 1359676 | 2147483647 414170 155 | 0.016 % |
1402.79/1403.52 c | 420461 | 76967 396341 1359676 | 2147483647 416648 155 | 0.016 % |
1415.69/1416.47 c | 423187 | 76967 396341 1359676 | 2147483647 419374 156 | 0.016 % |
1427.08/1427.87 c | 426184 | 76967 396341 1359676 | 2147483647 422371 155 | 0.016 % |
1439.28/1440.06 c | 429481 | 76967 396341 1359676 | 2147483647 425668 156 | 0.016 % |
1456.67/1457.50 c | 433108 | 76967 396341 1359676 | 2147483647 429295 157 | 0.016 % |
1463.67/1464.50 c | 437098 | 76967 396341 1359676 | 2147483647 433285 156 | 0.016 % |
1464.07/1464.83 c | 437201 | 76967 396341 1359676 | 2147483647 433388 156 | 0.016 % |
1464.37/1465.11 c | 437311 | 76967 396341 1359676 | 2147483647 433498 156 | 0.016 % |
1464.57/1465.38 c | 437433 | 76967 396341 1359676 | 2147483647 433620 156 | 0.016 % |
1465.07/1465.81 c | 437567 | 76967 396341 1359676 | 2147483647 433754 156 | 0.016 % |
1466.27/1467.01 c | 437714 | 76967 396341 1359676 | 2147483647 433901 156 | 0.016 % |
1466.86/1467.63 c | 437874 | 76967 396341 1359676 | 2147483647 434061 156 | 0.016 % |
1467.36/1468.14 c | 438050 | 76967 396341 1359676 | 2147483647 434237 156 | 0.016 % |
1469.66/1470.48 c | 438243 | 76967 396341 1359676 | 2147483647 434430 156 | 0.016 % |
1472.46/1473.22 c | 438482 | 76967 396341 1359676 | 2147483647 434669 156 | 0.016 % |
1475.06/1475.88 c | 438719 | 76967 396341 1359676 | 2147483647 434906 156 | 0.016 % |
1477.96/1478.72 c | 438978 | 76967 396341 1359676 | 2147483647 435165 156 | 0.016 % |
1480.35/1481.16 c | 439262 | 76967 396341 1359676 | 2147483647 435449 156 | 0.016 % |
1481.86/1482.69 c | 439571 | 76967 396341 1359676 | 2147483647 435758 156 | 0.016 % |
1483.36/1484.19 c | 439912 | 76967 396341 1359676 | 2147483647 436099 156 | 0.016 % |
1485.36/1486.15 c | 440286 | 76967 396341 1359676 | 2147483647 436473 156 | 0.016 % |
1488.06/1488.86 c | 440700 | 76967 396341 1359676 | 2147483647 436887 156 | 0.016 % |
1489.95/1490.75 c | 441149 | 76967 396341 1359676 | 2147483647 437336 156 | 0.016 % |
1491.45/1492.26 c | 441644 | 76967 396341 1359676 | 2147483647 437831 156 | 0.016 % |
1493.55/1494.33 c | 442188 | 76967 396341 1359676 | 2147483647 438375 156 | 0.016 % |
1494.86/1495.61 c | 442785 | 76967 396341 1359676 | 2147483647 438972 156 | 0.016 % |
1498.25/1499.01 c | 443441 | 76967 396341 1359676 | 2147483647 439628 157 | 0.016 % |
1501.55/1502.38 c | 444162 | 76967 396341 1359676 | 2147483647 440349 157 | 0.016 % |
1505.95/1506.75 c | 444955 | 76967 396341 1359676 | 2147483647 441142 157 | 0.016 % |
1509.35/1510.16 c | 445826 | 76967 396341 1359676 | 2147483647 442013 157 | 0.016 % |
1512.76/1513.58 c | 446784 | 76967 396341 1359676 | 2147483647 442971 157 | 0.016 % |
1514.75/1515.58 c | 447837 | 76967 396341 1359676 | 2147483647 444024 157 | 0.016 % |
1519.15/1519.97 c | 448997 | 76967 396341 1359676 | 2147483647 445184 157 | 0.016 % |
1522.84/1523.67 c | 450270 | 76967 396341 1359676 | 2147483647 446457 157 | 0.016 % |
1528.94/1529.71 c | 451672 | 76967 396341 1359676 | 2147483647 447859 157 | 0.016 % |
1536.94/1537.75 c | 453212 | 76967 396341 1359676 | 2147483647 449399 158 | 0.016 % |
1543.34/1544.12 c | 454906 | 76967 396341 1359676 | 2147483647 451093 158 | 0.016 % |
1550.93/1551.70 c | 456769 | 76967 396341 1359676 | 2147483647 452956 158 | 0.016 % |
1557.13/1557.98 c | 458818 | 76967 396341 1359676 | 2147483647 455005 158 | 0.016 % |
1567.02/1567.82 c | 461073 | 76967 396341 1359676 | 2147483647 457260 159 | 0.016 % |
1578.12/1578.95 c | 463551 | 76967 396341 1359676 | 2147483647 459738 160 | 0.016 % |
1586.82/1587.66 c | 466278 | 76967 396341 1359676 | 2147483647 462465 160 | 0.016 % |
1602.61/1603.49 c | 469275 | 76967 396341 1359676 | 2147483647 465462 160 | 0.016 % |
1615.20/1616.03 c | 472575 | 76967 396341 1359676 | 2147483647 468762 161 | 0.016 % |
1629.79/1630.61 c | 476200 | 76967 396341 1359676 | 2147483647 472387 161 | 0.016 % |
1652.40/1653.26 c | 480188 | 76967 396341 1359676 | 2147483647 476375 162 | 0.016 % |
1672.58/1673.49 c | 484573 | 76967 396341 1359676 | 2147483647 480760 162 | 0.016 % |
1673.18/1674.02 c | 484673 | 76967 396341 1359676 | 2147483647 480860 162 | 0.016 % |
1673.58/1674.40 c | 484783 | 76967 396341 1359676 | 2147483647 480970 162 | 0.016 % |
1674.28/1675.17 c | 484904 | 76967 396341 1359676 | 2147483647 481091 162 | 0.016 % |
1674.88/1675.72 c | 485038 | 76967 396341 1359676 | 2147483647 481225 162 | 0.016 % |
1676.48/1677.38 c | 485184 | 76967 396341 1359676 | 2147483647 481371 162 | 0.016 % |
1677.48/1678.37 c | 485344 | 76967 396341 1359676 | 2147483647 481531 162 | 0.016 % |
1678.18/1679.01 c | 485520 | 76967 396341 1359676 | 2147483647 481707 162 | 0.016 % |
1679.77/1680.62 c | 485714 | 76967 396341 1359676 | 2147483647 481901 162 | 0.016 % |
1680.87/1681.71 c | 485929 | 76967 396341 1359676 | 2147483647 482116 162 | 0.016 % |
1682.37/1683.27 c | 486162 | 76967 396341 1359676 | 2147483647 482349 162 | 0.016 % |
1683.47/1684.33 c | 486420 | 76967 396341 1359676 | 2147483647 482607 162 | 0.016 % |
1684.77/1685.66 c | 486702 | 76967 396341 1359676 | 2147483647 482889 162 | 0.016 % |
1685.97/1686.87 c | 487012 | 76967 396341 1359676 | 2147483647 483199 162 | 0.016 % |
1688.37/1689.24 c | 487351 | 76967 396341 1359676 | 2147483647 483538 162 | 0.016 % |
1690.37/1691.24 c | 487723 | 76967 396341 1359676 | 2147483647 483910 162 | 0.016 % |
1692.57/1693.42 c | 488132 | 76967 396341 1359676 | 2147483647 484319 162 | 0.016 % |
1694.56/1695.44 c | 488581 | 76967 396341 1359676 | 2147483647 484768 162 | 0.016 % |
1697.96/1698.82 c | 489075 | 76967 396341 1359676 | 2147483647 485262 162 | 0.016 % |
1701.86/1702.77 c | 489617 | 76967 396341 1359676 | 2147483647 485804 162 | 0.016 % |
1704.26/1705.13 c | 490215 | 76967 396341 1359676 | 2147483647 486402 162 | 0.016 % |
1705.46/1706.36 c | 490873 | 76967 396341 1359676 | 2147483647 487060 162 | 0.016 % |
1709.46/1710.38 c | 491593 | 76967 396341 1359676 | 2147483647 487780 162 | 0.016 % |
1714.55/1715.43 c | 492385 | 76967 396341 1359676 | 2147483647 488572 162 | 0.016 % |
1717.16/1718.09 c | 493256 | 76967 396341 1359676 | 2147483647 489443 162 | 0.016 % |
1720.16/1721.06 c | 494216 | 76967 396341 1359676 | 2147483647 490403 162 | 0.016 % |
1725.35/1726.20 c | 495270 | 76967 396341 1359676 | 2147483647 491457 162 | 0.016 % |
1730.25/1731.15 c | 496429 | 76967 396341 1359676 | 2147483647 492616 162 | 0.016 % |
1736.35/1737.27 c | 497703 | 76967 396341 1359676 | 2147483647 493890 163 | 0.016 % |
1742.75/1743.68 c | 499103 | 76967 396341 1359676 | 2147483647 495290 163 | 0.016 % |
1752.74/1753.61 c | 500644 | 76967 396341 1359676 | 2147483647 496831 163 | 0.016 % |
1758.63/1759.58 c | 502338 | 76967 396341 1359676 | 2147483647 498525 163 | 0.016 % |
1765.23/1766.13 c | 504201 | 76967 396341 1359676 | 2147483647 500388 163 | 0.016 % |
1773.73/1774.68 c | 506253 | 76967 396341 1359676 | 2147483647 502440 164 | 0.016 % |
1781.53/1782.48 c | 508508 | 76967 396341 1359676 | 2147483647 504695 164 | 0.016 % |
1794.02/1795.00 c | 510986 | 76967 396341 1359676 | 2147483647 507173 164 | 0.016 % |
1807.42/1808.30 c | 513713 | 76967 396341 1359676 | 2147483647 509900 164 | 0.016 % |
1821.11/1822.10 c | 516710 | 76967 396341 1359676 | 2147483647 512897 164 | 0.016 % |
1838.70/1839.61 c | 520006 | 76967 396341 1359676 | 2147483647 516193 164 | 0.016 % |
1858.09/1859.06 c | 523633 | 76967 396341 1359676 | 2147483647 519820 166 | 0.016 % |
1878.89/1879.90 c | 527621 | 76967 396341 1359676 | 2147483647 523808 168 | 0.016 % |
1897.88/1898.80 c | 532007 | 76967 396341 1359676 | 2147483647 528194 169 | 0.016 % |
1925.87/1926.82 c | 536832 | 76967 396341 1359676 | 2147483647 533019 170 | 0.016 % |
1926.46/1927.42 c | 536932 | 76967 396341 1359676 | 2147483647 533119 170 | 0.016 % |
1927.16/1928.15 c | 537042 | 76967 396341 1359676 | 2147483647 533229 170 | 0.016 % |
1928.26/1929.23 c | 537164 | 76967 396341 1359676 | 2147483647 533351 170 | 0.016 % |
1928.96/1929.98 c | 537297 | 76967 396341 1359676 | 2147483647 533484 170 | 0.016 % |
1930.06/1931.03 c | 537443 | 76967 396341 1359676 | 2147483647 533630 170 | 0.016 % |
1931.56/1932.51 c | 537605 | 76967 396341 1359676 | 2147483647 533792 170 | 0.016 % |
1932.56/1933.54 c | 537783 | 76967 396341 1359676 | 2147483647 533970 170 | 0.016 % |
1933.76/1934.76 c | 537976 | 76967 396341 1359676 | 2147483647 534163 170 | 0.016 % |
1934.86/1935.86 c | 538188 | 76967 396341 1359676 | 2147483647 534375 170 | 0.016 % |
1936.76/1937.78 c | 538430 | 76967 396341 1359676 | 2147483647 534617 170 | 0.016 % |
1938.27/1939.30 c | 538687 | 76967 396341 1359676 | 2147483647 534874 170 | 0.016 % |
1939.56/1940.56 c | 538968 | 76967 396341 1359676 | 2147483647 535155 170 | 0.016 % |
1940.86/1941.85 c | 539277 | 76967 396341 1359676 | 2147483647 535464 170 | 0.016 % |
1942.36/1943.34 c | 539618 | 76967 396341 1359676 | 2147483647 535805 170 | 0.016 % |
1944.16/1945.17 c | 539990 | 76967 396341 1359676 | 2147483647 536177 170 | 0.016 % |
1947.16/1948.16 c | 540399 | 76967 396341 1359676 | 2147483647 536586 170 | 0.016 % |
1948.95/1949.97 c | 540849 | 76967 396341 1359676 | 2147483647 537036 170 | 0.016 % |
1952.35/1953.34 c | 541342 | 76967 396341 1359676 | 2147483647 537529 170 | 0.016 % |
1954.65/1955.62 c | 541885 | 76967 396341 1359676 | 2147483647 538072 170 | 0.016 % |
1959.05/1960.01 c | 542481 | 76967 396341 1359676 | 2147483647 538668 170 | 0.016 % |
1965.25/1966.28 c | 543136 | 76967 396341 1359676 | 2147483647 539323 170 | 0.016 % |
1969.05/1970.10 c | 543856 | 76967 396341 1359676 | 2147483647 540043 170 | 0.016 % |
1974.34/1975.39 c | 544649 | 76967 396341 1359676 | 2147483647 540836 170 | 0.016 % |
1977.74/1978.76 c | 545521 | 76967 396341 1359676 | 2147483647 541708 170 | 0.016 % |
1980.53/1981.53 c | 546480 | 76967 396341 1359676 | 2147483647 542667 170 | 0.016 % |
1984.04/1985.02 c | 547534 | 76967 396341 1359676 | 2147483647 543721 170 | 0.016 % |
1988.84/1989.86 c | 548694 | 76967 396341 1359676 | 2147483647 544881 170 | 0.016 % |
1994.63/1995.66 c | 549968 | 76967 396341 1359676 | 2147483647 546155 170 | 0.016 % |
1999.73/2000.79 c | 551368 | 76967 396341 1359676 | 2147483647 547555 170 | 0.016 % |
2014.73/2015.70 c | 552908 | 76967 396341 1359676 | 2147483647 549095 169 | 0.016 % |
2022.02/2023.01 c | 554602 | 76967 396341 1359676 | 2147483647 550789 169 | 0.016 % |
2029.21/2030.29 c | 556465 | 76967 396341 1359676 | 2147483647 552652 170 | 0.016 % |
2034.32/2035.31 c | 558514 | 76967 396341 1359676 | 2147483647 554701 170 | 0.016 % |
2044.61/2045.66 c | 560767 | 76967 396341 1359676 | 2147483647 556954 170 | 0.016 % |
2058.31/2059.36 c | 563246 | 76967 396341 1359676 | 2147483647 559433 170 | 0.016 % |
2069.00/2070.02 c | 565972 | 76967 396341 1359676 | 2147483647 562159 170 | 0.016 % |
2085.19/2086.27 c | 568970 | 76967 396341 1359676 | 2147483647 565157 171 | 0.016 % |
2099.99/2101.03 c | 572266 | 76967 396341 1359676 | 2147483647 568453 171 | 0.016 % |
2123.87/2124.97 c | 575891 | 76967 396341 1359676 | 2147483647 572078 171 | 0.016 % |
2146.87/2147.97 c | 579879 | 76967 396341 1359676 | 2147483647 576066 171 | 0.016 % |
2165.66/2166.74 c | 584265 | 76967 396341 1359676 | 2147483647 580452 171 | 0.016 % |
2185.75/2186.85 c | 589089 | 76967 396341 1359676 | 2147483647 585276 171 | 0.016 % |
2220.04/2221.14 c | 594394 | 76967 396341 1359676 | 2147483647 590581 172 | 0.016 % |
2220.04/2221.18 c | 594494 | 76967 396341 1359676 | 2147483647 590681 172 | 0.016 % |
2220.84/2221.95 c | 594605 | 76967 396341 1359676 | 2147483647 590792 172 | 0.016 % |
2221.74/2222.85 c | 594726 | 76967 396341 1359676 | 2147483647 590913 172 | 0.016 % |
2222.64/2223.79 c | 594859 | 76967 396341 1359676 | 2147483647 591046 172 | 0.016 % |
2223.74/2224.87 c | 595007 | 76967 396341 1359676 | 2147483647 591194 172 | 0.016 % |
2224.84/2225.92 c | 595168 | 76967 396341 1359676 | 2147483647 591355 172 | 0.016 % |
2225.63/2226.73 c | 595344 | 76967 396341 1359676 | 2147483647 591531 172 | 0.016 % |
2226.93/2228.05 c | 595539 | 76967 396341 1359676 | 2147483647 591726 172 | 0.016 % |
2228.43/2229.56 c | 595751 | 76967 396341 1359676 | 2147483647 591938 172 | 0.016 % |
2230.13/2231.28 c | 595985 | 76967 396341 1359676 | 2147483647 592172 172 | 0.016 % |
2231.53/2232.64 c | 596245 | 76967 396341 1359676 | 2147483647 592432 172 | 0.016 % |
2234.43/2235.55 c | 596526 | 76967 396341 1359676 | 2147483647 592713 172 | 0.016 % |
2235.94/2237.01 c | 596835 | 76967 396341 1359676 | 2147483647 593022 172 | 0.016 % |
2237.83/2238.90 c | 597174 | 76967 396341 1359676 | 2147483647 593361 172 | 0.016 % |
2240.03/2241.19 c | 597546 | 76967 396341 1359676 | 2147483647 593733 172 | 0.016 % |
2242.62/2243.74 c | 597955 | 76967 396341 1359676 | 2147483647 594142 172 | 0.016 % |
2245.02/2246.17 c | 598404 | 76967 396341 1359676 | 2147483647 594591 172 | 0.016 % |
2248.22/2249.39 c | 598897 | 76967 396341 1359676 | 2147483647 595084 173 | 0.016 % |
2251.82/2252.94 c | 599439 | 76967 396341 1359676 | 2147483647 595626 173 | 0.016 % |
2254.52/2255.62 c | 600036 | 76967 396341 1359676 | 2147483647 596223 173 | 0.016 % |
2260.12/2261.29 c | 600693 | 76967 396341 1359676 | 2147483647 596880 173 | 0.016 % |
2263.82/2264.95 c | 601413 | 76967 396341 1359676 | 2147483647 597600 173 | 0.016 % |
2267.21/2268.30 c | 602206 | 76967 396341 1359676 | 2147483647 598393 173 | 0.016 % |
2270.92/2272.01 c | 603077 | 76967 396341 1359676 | 2147483647 599264 173 | 0.016 % |
2280.31/2281.47 c | 604039 | 76967 396341 1359676 | 2147483647 600226 173 | 0.016 % |
2286.50/2287.62 c | 605094 | 76967 396341 1359676 | 2147483647 601281 173 | 0.016 % |
2295.30/2296.46 c | 606257 | 76967 396341 1359676 | 2147483647 602444 174 | 0.016 % |
2303.40/2304.58 c | 607530 | 76967 396341 1359676 | 2147483647 603717 173 | 0.016 % |
2309.70/2310.83 c | 608930 | 76967 396341 1359676 | 2147483647 605117 173 | 0.016 % |
2317.79/2318.96 c | 610472 | 76967 396341 1359676 | 2147483647 606659 173 | 0.016 % |
2324.99/2326.19 c | 612167 | 76967 396341 1359676 | 2147483647 608354 174 | 0.016 % |
2332.58/2333.76 c | 614031 | 76967 396341 1359676 | 2147483647 610218 174 | 0.016 % |
2346.28/2347.43 c | 616081 | 76967 396341 1359676 | 2147483647 612268 174 | 0.016 % |
2353.58/2354.72 c | 618334 | 76967 396341 1359676 | 2147483647 614521 174 | 0.016 % |
2367.67/2368.90 c | 620812 | 76967 396341 1359676 | 2147483647 616999 174 | 0.016 % |
2385.56/2386.73 c | 623540 | 76967 396341 1359676 | 2147483647 619727 175 | 0.016 % |
2408.65/2409.82 c | 626539 | 76967 396341 1359676 | 2147483647 622726 175 | 0.016 % |
2429.54/2430.78 c | 629838 | 76967 396341 1359676 | 2147483647 626025 176 | 0.016 % |
2457.73/2459.00 c | 633463 | 76967 396341 1359676 | 2147483647 629650 176 | 0.016 % |
2487.91/2489.17 c | 637451 | 76967 396341 1359676 | 2147483647 633638 177 | 0.016 % |
2507.21/2508.43 c | 641836 | 76967 396341 1359676 | 2147483647 638023 176 | 0.016 % |
2529.59/2530.86 c | 646659 | 76967 396341 1359676 | 2147483647 642846 177 | 0.016 % |
2559.68/2560.99 c | 651964 | 76967 396341 1359676 | 2147483647 648151 177 | 0.016 % |
2587.57/2588.86 c | 657800 | 76967 396341 1359676 | 2147483647 653987 178 | 0.016 % |
2587.97/2589.22 c | 657900 | 76967 396341 1359676 | 2147483647 654087 178 | 0.016 % |
2589.27/2590.50 c | 658012 | 76967 396341 1359676 | 2147483647 654199 178 | 0.016 % |
2589.77/2591.01 c | 658134 | 76967 396341 1359676 | 2147483647 654321 178 | 0.016 % |
2590.37/2591.69 c | 658270 | 76967 396341 1359676 | 2147483647 654457 178 | 0.016 % |
2591.67/2592.90 c | 658417 | 76967 396341 1359676 | 2147483647 654604 178 | 0.016 % |
2592.77/2594.10 c | 658578 | 76967 396341 1359676 | 2147483647 654765 178 | 0.016 % |
2594.26/2595.58 c | 658754 | 76967 396341 1359676 | 2147483647 654941 178 | 0.016 % |
2595.66/2596.93 c | 658947 | 76967 396341 1359676 | 2147483647 655134 178 | 0.016 % |
2596.76/2598.03 c | 659160 | 76967 396341 1359676 | 2147483647 655347 178 | 0.016 % |
2598.47/2599.77 c | 659394 | 76967 396341 1359676 | 2147483647 655581 178 | 0.016 % |
2599.77/2601.07 c | 659651 | 76967 396341 1359676 | 2147483647 655838 178 | 0.016 % |
2601.26/2602.55 c | 659932 | 76967 396341 1359676 | 2147483647 656119 178 | 0.016 % |
2603.16/2604.42 c | 660244 | 76967 396341 1359676 | 2147483647 656431 178 | 0.016 % |
2605.76/2607.04 c | 660583 | 76967 396341 1359676 | 2147483647 656770 179 | 0.016 % |
2607.05/2608.34 c | 660955 | 76967 396341 1359676 | 2147483647 657142 178 | 0.016 % |
2610.25/2611.53 c | 661369 | 76966 396213 1359420 | 2147483647 657547 179 | 0.017 % |
2612.75/2614.03 c | 661818 | 76966 396213 1359420 | 2147483647 657996 179 | 0.017 % |
2616.16/2617.49 c | 662311 | 76966 396213 1359420 | 2147483647 658489 179 | 0.017 % |
2621.35/2622.65 c | 662853 | 76966 396213 1359420 | 2147483647 659031 179 | 0.017 % |
2623.05/2624.37 c | 663451 | 76966 396213 1359420 | 2147483647 659629 179 | 0.017 % |
2626.15/2627.42 c | 664106 | 76966 396213 1359420 | 2147483647 660284 179 | 0.017 % |
2630.34/2631.68 c | 664826 | 76966 396213 1359420 | 2147483647 661004 179 | 0.017 % |
2635.34/2636.70 c | 665618 | 76966 396213 1359420 | 2147483647 661796 179 | 0.017 % |
2640.05/2641.30 c | 666489 | 76966 396213 1359420 | 2147483647 662667 179 | 0.017 % |
2647.13/2648.44 c | 667448 | 76966 396213 1359420 | 2147483647 663626 179 | 0.017 % |
2651.53/2652.89 c | 668502 | 76966 396213 1359420 | 2147483647 664680 180 | 0.017 % |
2658.33/2659.69 c | 669661 | 76966 396213 1359420 | 2147483647 665839 180 | 0.017 % |
2667.33/2668.68 c | 670934 | 76966 396213 1359420 | 2147483647 667112 180 | 0.017 % |
2675.82/2677.17 c | 672335 | 76966 396213 1359420 | 2147483647 668513 180 | 0.017 % |
2680.52/2681.86 c | 673876 | 76966 396213 1359420 | 2147483647 670054 180 | 0.017 % |
2691.12/2692.49 c | 675570 | 76966 396213 1359420 | 2147483647 671748 180 | 0.017 % |
2697.91/2699.27 c | 677435 | 76966 396213 1359420 | 2147483647 673613 180 | 0.017 % |
2707.71/2709.03 c | 679484 | 76966 396213 1359420 | 2147483647 675662 180 | 0.017 % |
2718.50/2719.86 c | 681737 | 76966 396213 1359420 | 2147483647 677915 180 | 0.017 % |
2731.91/2733.26 c | 684215 | 76966 396213 1359420 | 2147483647 680393 180 | 0.017 % |
2747.90/2749.29 c | 686940 | 76966 396213 1359420 | 2147483647 683118 181 | 0.017 % |
2764.29/2765.69 c | 689939 | 76966 396213 1359420 | 2147483647 686117 181 | 0.017 % |
2783.57/2784.95 c | 693236 | 76966 396213 1359420 | 2147483647 689414 181 | 0.017 % |
2805.57/2806.93 c | 696862 | 76966 396213 1359420 | 2147483647 693040 182 | 0.017 % |
2825.17/2826.59 c | 700849 | 76966 396213 1359420 | 2147483647 697027 182 | 0.017 % |
2849.86/2851.20 c | 705235 | 76966 396213 1359420 | 2147483647 701413 183 | 0.017 % |
2879.24/2880.68 c | 710058 | 76966 396213 1359420 | 2147483647 706236 183 | 0.017 % |
2910.03/2911.43 c | 715371 | 76966 396213 1359420 | 2147483647 711549 185 | 0.017 % |
2952.41/2953.82 c | 721207 | 76966 396213 1359420 | 2147483647 717385 185 | 0.017 % |
2984.70/2986.11 c | 727625 | 76966 396213 1359420 | 2147483647 723803 186 | 0.017 % |
2985.30/2986.77 c | 727725 | 76966 396213 1359420 | 2147483647 723903 186 | 0.017 % |
2986.49/2987.97 c | 727835 | 76966 396213 1359420 | 2147483647 724013 186 | 0.017 % |
2987.79/2989.23 c | 727956 | 76966 396213 1359420 | 2147483647 724134 186 | 0.017 % |
2988.49/2989.95 c | 728092 | 76966 396213 1359420 | 2147483647 724270 186 | 0.017 % |
2990.69/2992.19 c | 728248 | 76966 396213 1359420 | 2147483647 724426 186 | 0.017 % |
2992.29/2993.74 c | 728408 | 76966 396213 1359420 | 2147483647 724586 186 | 0.017 % |
2995.29/2996.78 c | 728585 | 76966 396213 1359420 | 2147483647 724763 186 | 0.017 % |
2998.59/3000.09 c | 728788 | 76966 396213 1359420 | 2147483647 724965 186 | 0.018 % |
3000.49/3001.94 c | 729000 | 76965 396209 1359408 | 2147483647 722603 186 | 0.018 % |
3003.49/3004.99 c | 729236 | 76965 396209 1359408 | 2147483647 722839 186 | 0.018 % |
3005.29/3006.77 c | 729492 | 76965 396209 1359408 | 2147483647 723095 186 | 0.018 % |
3006.99/3008.49 c | 729774 | 76965 396209 1359408 | 2147483647 723377 186 | 0.018 % |
3010.08/3011.57 c | 730084 | 76965 396209 1359408 | 2147483647 723687 186 | 0.018 % |
3012.48/3013.91 c | 730424 | 76965 396209 1359408 | 2147483647 724027 186 | 0.018 % |
3016.18/3017.62 c | 730797 | 76965 396209 1359408 | 2147483647 724400 186 | 0.018 % |
3018.48/3019.93 c | 731206 | 76965 396209 1359408 | 2147483647 724809 186 | 0.018 % |
3020.38/3021.87 c | 731657 | 76965 396209 1359408 | 2147483647 725260 186 | 0.018 % |
3022.68/3024.15 c | 732153 | 76965 396209 1359408 | 2147483647 725756 186 | 0.018 % |
3027.47/3028.97 c | 732697 | 76965 396209 1359408 | 2147483647 726300 186 | 0.018 % |
3029.97/3031.44 c | 733296 | 76965 396209 1359408 | 2147483647 726899 186 | 0.018 % |
3033.57/3035.09 c | 733953 | 76965 396209 1359408 | 2147483647 727556 186 | 0.018 % |
3038.17/3039.63 c | 734673 | 76965 396209 1359408 | 2147483647 728276 186 | 0.018 % |
3046.06/3047.50 c | 735465 | 76965 396209 1359408 | 2147483647 729068 186 | 0.018 % |
3052.77/3054.27 c | 736337 | 76965 396209 1359408 | 2147483647 729940 187 | 0.018 % |
3059.77/3061.23 c | 737296 | 76965 396209 1359408 | 2147483647 730899 187 | 0.018 % |
3064.36/3065.83 c | 738352 | 76965 396209 1359408 | 2147483647 731955 187 | 0.018 % |
3070.05/3071.56 c | 739510 | 76965 396209 1359408 | 2147483647 733113 187 | 0.018 % |
3080.25/3081.79 c | 740786 | 76965 396209 1359408 | 2147483647 734389 187 | 0.018 % |
3092.35/3093.86 c | 742192 | 76965 396209 1359408 | 2147483647 735795 187 | 0.018 % |
3105.24/3106.79 c | 743732 | 76965 396209 1359408 | 2147483647 737335 187 | 0.018 % |
3118.53/3120.03 c | 745428 | 76965 396209 1359408 | 2147483647 739031 187 | 0.018 % |
3131.84/3133.34 c | 747292 | 76965 396209 1359408 | 2147483647 740895 187 | 0.018 % |
3146.92/3148.41 c | 749341 | 76965 396209 1359408 | 2147483647 742944 188 | 0.018 % |
3162.62/3164.16 c | 751594 | 76965 396209 1359408 | 2147483647 745197 188 | 0.018 % |
3175.32/3176.84 c | 754072 | 76965 396209 1359408 | 2147483647 747675 188 | 0.018 % |
3197.70/3199.30 c | 756797 | 76965 396209 1359408 | 2147483647 750400 188 | 0.018 % |
3214.20/3215.70 c | 759794 | 76965 396209 1359408 | 2147483647 753397 188 | 0.018 % |
3247.98/3249.50 c | 763092 | 76965 396209 1359408 | 2147483647 756695 188 | 0.018 % |
3278.27/3279.80 c | 766718 | 76965 396209 1359408 | 2147483647 760321 189 | 0.018 % |
3304.46/3306.08 c | 770706 | 76965 396209 1359408 | 2147483647 764309 190 | 0.018 % |
3333.44/3335.07 c | 775092 | 76965 396209 1359408 | 2147483647 768695 190 | 0.018 % |
3367.63/3369.24 c | 779916 | 76965 396209 1359408 | 2147483647 773519 190 | 0.018 % |
3418.50/3420.11 c | 785222 | 76965 396209 1359408 | 2147483647 778825 191 | 0.018 % |
3446.49/3448.13 c | 791059 | 76965 396209 1359408 | 2147483647 784662 190 | 0.018 % |
3506.37/3508.09 c | 797477 | 76965 396209 1359408 | 2147483647 791080 190 | 0.018 % |
3541.86/3543.54 c | 804536 | 76965 396209 1359408 | 2147483647 798139 191 | 0.018 % |
3544.16/3545.80 c | 804643 | 76965 396209 1359408 | 2147483647 798246 191 | 0.018 % |
3544.96/3546.61 c | 804753 | 76965 396209 1359408 | 2147483647 798356 191 | 0.018 % |
3547.35/3549.03 c | 804876 | 76965 396209 1359408 | 2147483647 798479 191 | 0.018 % |
3548.65/3550.38 c | 805009 | 76965 396209 1359408 | 2147483647 798612 191 | 0.018 % |
3549.75/3551.41 c | 805157 | 76965 396209 1359408 | 2147483647 798760 191 | 0.018 % |
3551.45/3553.14 c | 805321 | 76965 396209 1359408 | 2147483647 798924 191 | 0.018 % |
3553.05/3554.71 c | 805501 | 76965 396209 1359408 | 2147483647 799104 191 | 0.018 % |
3555.84/3557.51 c | 805695 | 76965 396209 1359408 | 2147483647 799298 192 | 0.018 % |
3558.24/3559.92 c | 805907 | 76965 396209 1359408 | 2147483647 799510 192 | 0.018 % |
3560.05/3561.80 c | 806140 | 76965 396209 1359408 | 2147483647 799743 192 | 0.018 % |
3564.14/3565.80 c | 806397 | 76965 396209 1359408 | 2147483647 800000 192 | 0.018 % |
3566.94/3568.61 c | 806679 | 76965 396209 1359408 | 2147483647 800282 192 | 0.018 % |
3572.44/3574.16 c | 806988 | 76965 396209 1359408 | 2147483647 800591 192 | 0.018 % |
3580.24/3581.95 c | 807328 | 76965 396209 1359408 | 2147483647 800931 192 | 0.018 % |
3581.93/3583.69 c | 807701 | 76965 396209 1359408 | 2147483647 801304 192 | 0.018 % |
3583.94/3585.61 c | 808111 | 76965 396209 1359408 | 2147483647 801714 192 | 0.018 % |
3585.84/3587.52 c | 808564 | 76965 396209 1359408 | 2147483647 802167 192 | 0.018 % |
3591.43/3593.13 c | 809057 | 76965 396209 1359408 | 2147483647 802660 192 | 0.018 % |
3593.73/3595.42 c | 809601 | 76965 396209 1359408 | 2147483647 803204 192 | 0.018 % |
3597.43/3599.15 c | 810199 | 76965 396209 1359408 | 2147483647 803802 192 | 0.018 % |
3600.42/3602.13 c | 810854 | 76965 396209 1359408 | 2147483647 804457 192 | 0.018 % |
3606.03/3607.70 c | 811578 | 76965 396209 1359408 | 2147483647 805181 192 | 0.018 % |
3609.83/3611.56 c | 812370 | 76965 396209 1359408 | 2147483647 805973 192 | 0.018 % |
3614.02/3615.74 c | 813246 | 76965 396209 1359408 | 2147483647 806849 192 | 0.018 % |
3619.12/3620.84 c | 814205 | 76965 396209 1359408 | 2147483647 807808 192 | 0.018 % |
3624.12/3625.90 c | 815260 | 76965 396209 1359408 | 2147483647 808863 192 | 0.018 % |
3631.82/3633.50 c | 816418 | 76965 396209 1359408 | 2147483647 810021 192 | 0.018 % |
3641.31/3643.01 c | 817697 | 76965 396209 1359408 | 2147483647 811300 192 | 0.018 % |
3649.61/3651.31 c | 819097 | 76965 396209 1359408 | 2147483647 812700 193 | 0.018 % |
3667.40/3669.13 c | 820639 | 76965 396209 1359408 | 2147483647 814242 193 | 0.018 % |
3681.00/3682.75 c | 822336 | 76965 396209 1359408 | 2147483647 815939 193 | 0.018 % |
3691.09/3692.80 c | 824199 | 76965 396209 1359408 | 2147483647 817802 193 | 0.018 % |
3699.59/3701.40 c | 826248 | 76965 396209 1359408 | 2147483647 819851 193 | 0.018 % |
3712.78/3714.59 c | 828501 | 76965 396209 1359408 | 2147483647 822104 194 | 0.018 % |
3726.67/3728.40 c | 830979 | 76965 396209 1359408 | 2147483647 824582 194 | 0.018 % |
3747.07/3748.82 c | 833704 | 76965 396209 1359408 | 2147483647 827307 194 | 0.018 % |
3767.66/3769.47 c | 836705 | 76965 396209 1359408 | 2147483647 830308 194 | 0.018 % |
3789.55/3791.33 c | 840003 | 76965 396209 1359408 | 2147483647 833606 195 | 0.018 % |
3811.34/3813.20 c | 843644 | 76965 396209 1359408 | 2147483647 837247 196 | 0.018 % |
3834.33/3836.13 c | 847631 | 76965 396209 1359408 | 2147483647 841234 196 | 0.018 % |
3860.82/3862.62 c | 852017 | 76965 396209 1359408 | 2147483647 845620 197 | 0.018 % |
3893.81/3895.61 c | 856842 | 76965 396209 1359408 | 2147483647 850445 197 | 0.018 % |
3951.08/3952.98 c | 862149 | 76965 396209 1359408 | 2147483647 855752 199 | 0.018 % |
3976.87/3978.73 c | 867986 | 76965 396209 1359408 | 2147483647 861589 200 | 0.018 % |
4020.25/4022.17 c | 874412 | 76965 396209 1359408 | 2147483647 868015 200 | 0.018 % |
4061.94/4063.90 c | 881471 | 76965 396209 1359408 | 2147483647 875074 201 | 0.018 % |
4120.41/4122.39 c | 889235 | 76965 396209 1359408 | 2147483647 882838 201 | 0.018 % |
4121.71/4123.65 c | 889335 | 76965 396209 1359408 | 2147483647 882938 201 | 0.018 % |
4123.41/4125.34 c | 889445 | 76965 396209 1359408 | 2147483647 883048 201 | 0.018 % |
4124.31/4126.26 c | 889566 | 76965 396209 1359408 | 2147483647 883169 201 | 0.018 % |
4126.11/4128.03 c | 889699 | 76965 396209 1359408 | 2147483647 883302 201 | 0.018 % |
4127.71/4129.60 c | 889845 | 76965 396209 1359408 | 2147483647 883448 201 | 0.018 % |
4129.71/4131.62 c | 890005 | 76965 396209 1359408 | 2147483647 883608 201 | 0.018 % |
4132.40/4134.31 c | 890182 | 76965 396209 1359408 | 2147483647 883785 201 | 0.018 % |
4133.90/4135.83 c | 890375 | 76965 396209 1359408 | 2147483647 883978 201 | 0.018 % |
4135.10/4137.08 c | 890589 | 76965 396209 1359408 | 2147483647 884192 201 | 0.018 % |
4136.50/4138.49 c | 890823 | 76965 396209 1359408 | 2147483647 884426 201 | 0.018 % |
4138.40/4140.31 c | 891079 | 76965 396209 1359408 | 2147483647 884682 201 | 0.018 % |
4140.90/4142.84 c | 891360 | 76965 396209 1359408 | 2147483647 884963 201 | 0.018 % |
4142.20/4144.19 c | 891671 | 76965 396209 1359408 | 2147483647 885274 201 | 0.018 % |
4143.50/4145.45 c | 892011 | 76965 396209 1359408 | 2147483647 885614 201 | 0.018 % |
4146.80/4148.73 c | 892385 | 76965 396209 1359408 | 2147483647 885988 201 | 0.018 % |
4154.30/4156.27 c | 892794 | 76965 396209 1359408 | 2147483647 886397 201 | 0.018 % |
4158.90/4160.86 c | 893244 | 76965 396209 1359408 | 2147483647 886847 201 | 0.018 % |
4161.79/4163.76 c | 893745 | 76965 396209 1359408 | 2147483647 887348 201 | 0.018 % |
4164.69/4166.70 c | 894292 | 76965 396209 1359408 | 2147483647 887895 201 | 0.018 % |
4168.49/4170.43 c | 894888 | 76965 396209 1359408 | 2147483647 888491 201 | 0.018 % |
4172.99/4174.97 c | 895543 | 76965 396209 1359408 | 2147483647 889146 201 | 0.018 % |
4179.49/4181.42 c | 896265 | 76965 396209 1359408 | 2147483647 889868 201 | 0.018 % |
4184.99/4186.95 c | 897059 | 76965 396209 1359408 | 2147483647 890662 201 | 0.018 % |
4188.58/4190.56 c | 897930 | 76965 396209 1359408 | 2147483647 891533 202 | 0.018 % |
4193.39/4195.33 c | 898888 | 76965 396209 1359408 | 2147483647 892491 202 | 0.018 % |
4197.88/4199.88 c | 899941 | 76965 396209 1359408 | 2147483647 893544 202 | 0.018 % |
4206.58/4208.55 c | 901101 | 76965 396209 1359408 | 2147483647 894704 202 | 0.018 % |
4217.97/4220.00 c | 902377 | 76965 396209 1359408 | 2147483647 895980 202 | 0.018 % |
4228.77/4230.72 c | 903778 | 76965 396209 1359408 | 2147483647 897381 202 | 0.018 % |
4236.57/4238.53 c | 905318 | 76965 396209 1359408 | 2147483647 898921 203 | 0.018 % |
4246.25/4248.30 c | 907014 | 76965 396209 1359408 | 2147483647 900617 203 | 0.018 % |
4261.05/4263.06 c | 908883 | 76965 396209 1359408 | 2147483647 902486 204 | 0.018 % |
4275.85/4277.84 c | 910933 | 76964 396061 1359076 | 2147483647 904294 204 | 0.019 % |
4286.64/4288.61 c | 913186 | 76964 396061 1359076 | 2147483647 906547 204 | 0.019 % |
4315.12/4317.19 c | 915665 | 76964 396061 1359076 | 2147483647 909026 204 | 0.019 % |
4329.83/4331.89 c | 918390 | 76964 396061 1359076 | 2147483647 911751 204 | 0.019 % |
4366.31/4368.32 c | 921388 | 76964 396061 1359076 | 2147483647 914749 204 | 0.019 % |
4380.20/4382.28 c | 924684 | 76964 396061 1359076 | 2147483647 918045 205 | 0.019 % |
4409.89/4412.00 c | 928309 | 76964 396061 1359076 | 2147483647 921670 205 | 0.019 % |
4435.38/4437.44 c | 932299 | 76964 396061 1359076 | 2147483647 925660 205 | 0.019 % |
4465.07/4467.13 c | 936684 | 76964 396061 1359076 | 2147483647 930045 205 | 0.019 % |
4510.84/4512.90 c | 941507 | 76964 396061 1359076 | 2147483647 934868 206 | 0.019 % |
4553.43/4555.58 c | 946814 | 76964 396061 1359076 | 2147483647 940175 206 | 0.019 % |
4589.61/4591.70 c | 952650 | 76964 396061 1359076 | 2147483647 946011 207 | 0.019 % |
4628.39/4630.57 c | 959070 | 76964 396061 1359076 | 2147483647 952431 207 | 0.019 % |
4680.67/4682.85 c | 966133 | 76964 396061 1359076 | 2147483647 959494 208 | 0.019 % |
4724.95/4727.17 c | 973897 | 76964 396061 1359076 | 2147483647 967258 209 | 0.019 % |
4786.23/4788.45 c | 982437 | 76964 396061 1359076 | 2147483647 975798 210 | 0.019 % |
4787.33/4789.56 c | 982540 | 76964 396061 1359076 | 2147483647 975901 210 | 0.019 % |
4789.23/4791.43 c | 982650 | 76964 396061 1359076 | 2147483647 976011 211 | 0.019 % |
4790.13/4792.35 c | 982771 | 76964 396061 1359076 | 2147483647 976132 211 | 0.019 % |
4792.23/4794.41 c | 982905 | 76964 396061 1359076 | 2147483647 976266 211 | 0.019 % |
4793.43/4795.60 c | 983052 | 76964 396061 1359076 | 2147483647 976413 211 | 0.019 % |
4795.03/4797.28 c | 983214 | 76964 396061 1359076 | 2147483647 976575 211 | 0.019 % |
4795.93/4798.13 c | 983390 | 76964 396061 1359076 | 2147483647 976751 211 | 0.019 % |
4797.82/4800.09 c | 983583 | 76964 396061 1359076 | 2147483647 976944 211 | 0.019 % |
4799.92/4802.13 c | 983795 | 76964 396061 1359076 | 2147483647 977156 211 | 0.019 % |
4801.83/4804.07 c | 984028 | 76964 396061 1359076 | 2147483647 977389 211 | 0.019 % |
4803.33/4805.53 c | 984285 | 76964 396061 1359076 | 2147483647 977646 211 | 0.019 % |
4805.42/4807.62 c | 984567 | 76964 396061 1359076 | 2147483647 977928 211 | 0.019 % |
4808.32/4810.55 c | 984876 | 76964 396061 1359076 | 2147483647 978237 211 | 0.019 % |
4810.12/4812.35 c | 985216 | 76964 396061 1359076 | 2147483647 978577 211 | 0.019 % |
4813.41/4815.67 c | 985589 | 76964 396061 1359076 | 2147483647 978950 211 | 0.019 % |
4816.61/4818.86 c | 986003 | 76964 396061 1359076 | 2147483647 979364 211 | 0.019 % |
4825.11/4827.30 c | 986452 | 76964 396061 1359076 | 2147483647 979813 211 | 0.019 % |
4828.22/4830.45 c | 986946 | 76964 396061 1359076 | 2147483647 980307 211 | 0.019 % |
4833.42/4835.66 c | 987490 | 76964 396061 1359076 | 2147483647 980851 211 | 0.019 % |
4838.71/4840.93 c | 988089 | 76964 396061 1359076 | 2147483647 981450 211 | 0.019 % |
4842.31/4844.51 c | 988745 | 76964 396061 1359076 | 2147483647 982106 211 | 0.019 % |
4847.20/4849.50 c | 989468 | 76964 396061 1359076 | 2147483647 982829 211 | 0.019 % |
4853.30/4855.59 c | 990260 | 76964 396061 1359076 | 2147483647 983621 211 | 0.019 % |
4859.80/4862.02 c | 991132 | 76964 396061 1359076 | 2147483647 984493 211 | 0.019 % |
4867.80/4870.09 c | 992090 | 76964 396061 1359076 | 2147483647 985451 211 | 0.019 % |
4881.99/4884.28 c | 993143 | 76964 396061 1359076 | 2147483647 986504 211 | 0.019 % |
4892.19/4894.50 c | 994301 | 76964 396061 1359076 | 2147483647 987662 212 | 0.019 % |
4901.79/4904.05 c | 995575 | 76964 396061 1359076 | 2147483647 988936 212 | 0.019 % |
4910.78/4913.03 c | 996977 | 76964 396061 1359076 | 2147483647 990338 212 | 0.019 % |
4919.88/4922.17 c | 998524 | 76964 396061 1359076 | 2147483647 991885 212 | 0.019 % |
4948.77/4951.06 c | 1000220 | 76964 396061 1359076 | 2147483647 993581 212 | 0.019 % |
4971.26/4973.52 c | 1002083 | 76964 396061 1359076 | 2147483647 995444 212 | 0.019 % |
4983.36/4985.66 c | 1004132 | 76964 396061 1359076 | 2147483647 997493 212 | 0.019 % |
5004.44/5006.79 c | 1006385 | 76964 396061 1359076 | 2147483647 999746 212 | 0.019 % |
5016.64/5019.00 c | 1008866 | 76964 396061 1359076 | 2147483647 1002227 213 | 0.019 % |
5034.83/5037.19 c | 1011591 | 76964 396061 1359076 | 2147483647 1004952 213 | 0.019 % |
5079.31/5081.65 c | 1014598 | 76964 396061 1359076 | 2147483647 1007959 213 | 0.019 % |
5110.70/5113.03 c | 1017896 | 76964 396061 1359076 | 2147483647 1011257 214 | 0.019 % |
5128.99/5131.38 c | 1021521 | 76964 396061 1359076 | 2147483647 1014882 214 | 0.019 % |
5154.28/5156.68 c | 1025508 | 76964 396061 1359076 | 2147483647 1018869 215 | 0.019 % |
5186.77/5189.19 c | 1029893 | 76964 396061 1359076 | 2147483647 1023254 216 | 0.019 % |
5221.45/5223.85 c | 1034719 | 76964 396061 1359076 | 2147483647 1028080 216 | 0.019 % |
5262.63/5265.03 c | 1040026 | 76964 396061 1359076 | 2147483647 1033387 217 | 0.019 % |
5323.91/5326.37 c | 1045861 | 76964 396061 1359076 | 2147483647 1039222 217 | 0.019 % |
5370.19/5372.63 c | 1052280 | 76964 396061 1359076 | 2147483647 1045641 217 | 0.019 % |
5430.27/5432.72 c | 1059339 | 76964 396061 1359076 | 2147483647 1052700 218 | 0.019 % |
5492.04/5494.51 c | 1067106 | 76964 396061 1359076 | 2147483647 1060467 219 | 0.019 % |
5566.01/5568.55 c | 1075648 | 76964 396061 1359076 | 2147483647 1069009 220 | 0.019 % |
5636.57/5639.20 c | 1085051 | 76964 396061 1359076 | 2147483647 1078412 220 | 0.019 % |
5637.77/5640.33 c | 1085151 | 76964 396061 1359076 | 2147483647 1078512 220 | 0.019 % |
5639.38/5641.91 c | 1085266 | 76964 396061 1359076 | 2147483647 1078627 220 | 0.019 % |
5640.67/5643.27 c | 1085387 | 76964 396061 1359076 | 2147483647 1078748 220 | 0.019 % |
5641.48/5644.06 c | 1085529 | 76964 396061 1359076 | 2147483647 1078890 220 | 0.019 % |
5643.87/5646.43 c | 1085675 | 76964 396061 1359076 | 2147483647 1079036 220 | 0.019 % |
5645.88/5648.44 c | 1085836 | 76964 396061 1359076 | 2147483647 1079197 220 | 0.019 % |
5646.98/5649.51 c | 1086012 | 76964 396061 1359076 | 2147483647 1079373 220 | 0.019 % |
5649.67/5652.27 c | 1086206 | 76964 396061 1359076 | 2147483647 1079567 220 | 0.019 % |
5651.07/5653.60 c | 1086418 | 76964 396061 1359076 | 2147483647 1079779 220 | 0.019 % |
5652.97/5655.52 c | 1086652 | 76964 396061 1359076 | 2147483647 1080013 220 | 0.019 % |
5658.57/5661.11 c | 1086909 | 76964 396061 1359076 | 2147483647 1080270 220 | 0.019 % |
5663.57/5666.20 c | 1087196 | 76964 396061 1359076 | 2147483647 1080557 220 | 0.019 % |
5668.37/5670.94 c | 1087509 | 76964 396061 1359076 | 2147483647 1080870 220 | 0.019 % |
5672.07/5674.66 c | 1087851 | 76964 396061 1359076 | 2147483647 1081212 220 | 0.019 % |
5675.57/5678.17 c | 1088223 | 76964 396061 1359076 | 2147483647 1081584 220 | 0.019 % |
5680.36/5682.92 c | 1088633 | 76964 396061 1359076 | 2147483647 1081994 220 | 0.019 % |
5684.26/5686.88 c | 1089082 | 76964 396061 1359076 | 2147483647 1082443 220 | 0.019 % |
5689.06/5691.62 c | 1089578 | 76964 396061 1359076 | 2147483647 1082939 220 | 0.019 % |
5693.55/5696.17 c | 1090123 | 76964 396061 1359076 | 2147483647 1083484 220 | 0.019 % |
5697.76/5700.33 c | 1090728 | 76964 396061 1359076 | 2147483647 1084089 220 | 0.019 % |
5700.75/5703.34 c | 1091383 | 76964 396061 1359076 | 2147483647 1084744 220 | 0.019 % |
5706.25/5708.85 c | 1092104 | 76964 396061 1359076 | 2147483647 1085465 220 | 0.019 % |
5711.05/5713.67 c | 1092897 | 76964 396061 1359076 | 2147483647 1086258 220 | 0.019 % |
5718.84/5721.47 c | 1093771 | 76964 396061 1359076 | 2147483647 1087132 220 | 0.019 % |
5725.34/5727.95 c | 1094729 | 76964 396061 1359076 | 2147483647 1088090 221 | 0.019 % |
5736.74/5739.31 c | 1095782 | 76964 396061 1359076 | 2147483647 1089143 221 | 0.019 % |
5747.14/5749.73 c | 1096942 | 76964 396061 1359076 | 2147483647 1090303 221 | 0.019 % |
5768.82/5771.50 c | 1098215 | 76964 396061 1359076 | 2147483647 1091576 221 | 0.019 % |
5784.21/5786.84 c | 1099615 | 76964 396061 1359076 | 2147483647 1092976 221 | 0.019 % |
5799.11/5801.75 c | 1101158 | 76964 396061 1359076 | 2147483647 1094519 222 | 0.019 % |
5813.70/5816.37 c | 1102852 | 76964 396061 1359076 | 2147483647 1096213 222 | 0.019 % |
5828.00/5830.65 c | 1104715 | 76964 396061 1359076 | 2147483647 1098076 222 | 0.019 % |
5842.70/5845.34 c | 1106766 | 76964 396061 1359076 | 2147483647 1100127 222 | 0.019 % |
5858.10/5860.72 c | 1109019 | 76964 396061 1359076 | 2147483647 1102380 222 | 0.019 % |
5891.78/5894.40 c | 1111499 | 76964 396061 1359076 | 2147483647 1104860 222 | 0.019 % |
5927.66/5930.38 c | 1114228 | 76964 396061 1359076 | 2147483647 1107589 222 | 0.019 % |
5948.85/5951.58 c | 1117225 | 76964 396061 1359076 | 2147483647 1110586 223 | 0.019 % |
5973.54/5976.23 c | 1120522 | 76964 396061 1359076 | 2147483647 1113883 223 | 0.019 % |
6006.82/6009.50 c | 1124151 | 76964 396061 1359076 | 2147483647 1117512 223 | 0.019 % |
6041.41/6044.11 c | 1128139 | 76964 396061 1359076 | 2147483647 1121500 223 | 0.019 % |
6081.10/6083.81 c | 1132524 | 76964 396061 1359076 | 2147483647 1125885 225 | 0.019 % |
6113.38/6116.16 c | 1137347 | 76964 396061 1359076 | 2147483647 1130708 225 | 0.019 % |
6156.46/6159.24 c | 1142656 | 76964 396061 1359076 | 2147483647 1136017 226 | 0.019 % |
6219.04/6221.80 c | 1148492 | 76964 396061 1359076 | 2147483647 1141853 227 | 0.019 % |
6286.02/6288.83 c | 1154910 | 76964 396061 1359076 | 2147483647 1148271 227 | 0.019 % |
6359.58/6362.41 c | 1161970 | 76964 396061 1359076 | 2147483647 1155331 227 | 0.019 % |
6419.15/6422.06 c | 1169734 | 76964 396061 1359076 | 2147483647 1163095 228 | 0.019 % |
6494.52/6497.50 c | 1178274 | 76964 396061 1359076 | 2147483647 1171635 229 | 0.019 % |
6591.48/6594.42 c | 1187670 | 76964 396061 1359076 | 2147483647 1181031 230 | 0.020 % |
6691.21/6694.65 c | 1198006 | 76964 396061 1359076 | 2147483647 1191367 231 | 0.019 % |
6694.70/6698.10 c | 1198107 | 76954 395515 1357969 | 2147483647 1191327 231 | 0.032 % |
6696.20/6699.66 c | 1198219 | 76954 395515 1357969 | 2147483647 1191439 231 | 0.032 % |
6696.80/6700.27 c | 1198341 | 76954 395515 1357969 | 2147483647 1191561 231 | 0.032 % |
6697.80/6701.21 c | 1198475 | 76954 395515 1357969 | 2147483647 1191695 231 | 0.032 % |
6698.80/6702.22 c | 1198622 | 76954 395515 1357969 | 2147483647 1191842 231 | 0.032 % |
6699.60/6703.05 c | 1198782 | 76954 395515 1357969 | 2147483647 1192002 231 | 0.032 % |
6700.59/6704.04 c | 1198958 | 76954 395515 1357969 | 2147483647 1192178 231 | 0.032 % |
6701.69/6705.12 c | 1199151 | 76954 395515 1357969 | 2147483647 1192371 231 | 0.032 % |
6702.89/6706.38 c | 1199363 | 76954 395515 1357969 | 2147483647 1192583 231 | 0.032 % |
6705.59/6709.00 c | 1199601 | 76954 395515 1357969 | 2147483647 1192821 231 | 0.032 % |
6708.80/6712.20 c | 1199857 | 76954 395515 1357969 | 2147483647 1193077 231 | 0.032 % |
6710.19/6713.69 c | 1200138 | 76954 395515 1357969 | 2147483647 1193358 231 | 0.032 % |
6711.60/6715.03 c | 1200447 | 76954 395515 1357969 | 2147483647 1193667 231 | 0.032 % |
6713.80/6717.24 c | 1200787 | 76954 395515 1357969 | 2147483647 1194007 231 | 0.032 % |
6716.70/6720.10 c | 1201160 | 76954 395515 1357969 | 2147483647 1194380 231 | 0.032 % |
6729.99/6733.49 c | 1201569 | 76954 395515 1357969 | 2147483647 1194789 231 | 0.032 % |
6733.09/6736.55 c | 1202018 | 76954 395515 1357969 | 2147483647 1195238 231 | 0.032 % |
6742.08/6745.50 c | 1202514 | 76954 395515 1357969 | 2147483647 1195734 231 | 0.032 % |
6746.77/6750.25 c | 1203059 | 76954 395515 1357969 | 2147483647 1196279 231 | 0.032 % |
6752.77/6756.26 c | 1203656 | 76954 395515 1357969 | 2147483647 1196876 231 | 0.032 % |
6759.38/6762.85 c | 1204315 | 76954 395515 1357969 | 2147483647 1197535 231 | 0.032 % |
6766.47/6769.92 c | 1205035 | 76954 395515 1357969 | 2147483647 1198255 231 | 0.032 % |
6772.36/6775.89 c | 1205830 | 76954 395515 1357969 | 2147483647 1199050 231 | 0.032 % |
6779.97/6783.47 c | 1206706 | 76954 395515 1357969 | 2147483647 1199926 231 | 0.032 % |
6786.96/6790.49 c | 1207664 | 76954 395515 1357969 | 2147483647 1200884 232 | 0.032 % |
6797.86/6801.38 c | 1208719 | 76954 395515 1357969 | 2147483647 1201939 232 | 0.032 % |
6808.04/6811.51 c | 1209877 | 76954 395515 1357969 | 2147483647 1203097 232 | 0.032 % |
6821.75/6825.23 c | 1211151 | 76954 395515 1357969 | 2147483647 1204371 232 | 0.032 % |
6846.03/6849.54 c | 1212551 | 76954 395515 1357969 | 2147483647 1205771 232 | 0.032 % |
6875.02/6878.52 c | 1214091 | 76954 395515 1357969 | 2147483647 1207311 232 | 0.032 % |
6896.81/6900.39 c | 1215786 | 76954 395515 1357969 | 2147483647 1209006 232 | 0.032 % |
6914.50/6918.04 c | 1217650 | 76954 395515 1357969 | 2147483647 1210870 233 | 0.032 % |
6943.39/6947.00 c | 1219700 | 76954 395515 1357969 | 2147483647 1212920 233 | 0.032 % |
6963.68/6967.24 c | 1221953 | 76954 395515 1357969 | 2147483647 1215173 233 | 0.032 % |
6993.07/6996.67 c | 1224431 | 76954 395515 1357969 | 2147483647 1217651 234 | 0.032 % |
7028.06/7031.61 c | 1227160 | 76954 395515 1357969 | 2147483647 1220380 234 | 0.032 % |
7063.74/7067.37 c | 1230157 | 76954 395515 1357969 | 2147483647 1223377 235 | 0.032 % |
7096.43/7100.01 c | 1233453 | 76954 395515 1357969 | 2147483647 1226673 235 | 0.032 % |
7117.32/7120.90 c | 1237080 | 76954 395515 1357969 | 2147483647 1230300 235 | 0.032 % |
7148.40/7152.01 c | 1241068 | 76954 395515 1357969 | 2147483647 1234288 236 | 0.032 % |
7183.19/7186.84 c | 1245453 | 76954 395515 1357969 | 2147483647 1238673 236 | 0.032 % |
7220.88/7224.53 c | 1250277 | 76954 395515 1357969 | 2147483647 1243497 236 | 0.032 % |
7269.06/7272.71 c | 1255585 | 76954 395515 1357969 | 2147483647 1248805 237 | 0.032 % |
7314.34/7318.09 c | 1261422 | 76954 395515 1357969 | 2147483647 1254642 237 | 0.032 % |
7362.71/7366.49 c | 1267840 | 76954 395515 1357969 | 2147483647 1261060 236 | 0.032 % |
7404.30/7408.02 c | 1274901 | 76954 395515 1357969 | 2147483647 1268121 237 | 0.032 % |
7467.37/7471.20 c | 1282665 | 76954 395515 1357969 | 2147483647 1275885 238 | 0.032 % |
7548.23/7552.08 c | 1291205 | 76954 395515 1357969 | 2147483647 1284425 238 | 0.032 % |
7630.59/7634.43 c | 1300599 | 76954 395515 1357969 | 2147483647 1293819 240 | 0.032 % |
7728.65/7732.54 c | 1310937 | 76954 395515 1357969 | 2147483647 1304157 241 | 0.032 % |
7823.42/7827.37 c | 1322304 | 76954 395515 1357969 | 2147483647 1315524 242 | 0.032 % |
7824.32/7828.29 c | 1322404 | 76954 395515 1357969 | 2147483647 1315624 242 | 0.032 % |
7825.71/7829.65 c | 1322514 | 76954 395515 1357969 | 2147483647 1315734 242 | 0.032 % |
7829.01/7832.91 c | 1322636 | 76954 395515 1357969 | 2147483647 1315856 242 | 0.032 % |
7831.11/7835.01 c | 1322769 | 76954 395515 1357969 | 2147483647 1315989 242 | 0.032 % |
7832.71/7836.67 c | 1322916 | 76954 395515 1357969 | 2147483647 1316136 242 | 0.032 % |
7834.21/7838.14 c | 1323077 | 76954 395515 1357969 | 2147483647 1316297 242 | 0.032 % |
7836.71/7840.68 c | 1323253 | 76954 395515 1357969 | 2147483647 1316473 242 | 0.032 % |
7838.91/7842.86 c | 1323446 | 76954 395515 1357969 | 2147483647 1316666 242 | 0.032 % |
7841.40/7845.37 c | 1323660 | 76954 395515 1357969 | 2147483647 1316880 242 | 0.032 % |
7843.60/7847.53 c | 1323894 | 76954 395515 1357969 | 2147483647 1317114 242 | 0.032 % |
7851.60/7855.54 c | 1324158 | 76954 395515 1357969 | 2147483647 1317378 242 | 0.032 % |
7859.80/7863.77 c | 1324441 | 76954 395515 1357969 | 2147483647 1317661 242 | 0.032 % |
7869.29/7873.25 c | 1324751 | 76954 395515 1357969 | 2147483647 1317971 242 | 0.032 % |
7880.08/7884.03 c | 1325093 | 76954 395515 1357969 | 2147483647 1318313 242 | 0.032 % |
7888.09/7892.03 c | 1325472 | 76954 395515 1357969 | 2147483647 1318692 242 | 0.032 % |
7893.88/7897.85 c | 1325882 | 76954 395515 1357969 | 2147483647 1319102 242 | 0.032 % |
7896.08/7900.06 c | 1326331 | 76954 395515 1357969 | 2147483647 1319551 242 | 0.032 % |
7898.98/7902.99 c | 1326824 | 76954 395515 1357969 | 2147483647 1320044 242 | 0.032 % |
7906.58/7910.58 c | 1327367 | 76954 395515 1357969 | 2147483647 1320587 242 | 0.032 % |
7917.77/7921.72 c | 1327964 | 76954 395515 1357969 | 2147483647 1321184 242 | 0.032 % |
7926.67/7930.66 c | 1328619 | 76954 395515 1357969 | 2147483647 1321839 242 | 0.032 % |
7931.57/7935.54 c | 1329342 | 76954 395515 1357969 | 2147483647 1322562 242 | 0.032 % |
7939.57/7943.51 c | 1330135 | 76954 395515 1357969 | 2147483647 1323355 242 | 0.032 % |
7946.87/7950.85 c | 1331007 | 76954 395515 1357969 | 2147483647 1324227 242 | 0.032 % |
7962.96/7966.99 c | 1331965 | 76954 395515 1357969 | 2147483647 1325185 242 | 0.032 % |
7979.26/7983.25 c | 1333018 | 76954 395515 1357969 | 2147483647 1326238 242 | 0.032 % |
7991.15/7995.12 c | 1334177 | 76954 395515 1357969 | 2147483647 1327397 242 | 0.032 % |
8006.15/8010.18 c | 1335455 | 76954 395515 1357969 | 2147483647 1328675 243 | 0.032 % |
8021.04/8025.00 c | 1336855 | 76954 395515 1357969 | 2147483647 1330075 243 | 0.032 % |
8030.14/8034.11 c | 1338395 | 76954 395515 1357969 | 2147483647 1331615 243 | 0.032 % |
8041.24/8045.25 c | 1340091 | 76954 395515 1357969 | 2147483647 1333311 243 | 0.032 % |
8053.44/8057.43 c | 1341954 | 76954 395515 1357969 | 2147483647 1335174 243 | 0.032 % |
8067.83/8071.81 c | 1344004 | 76954 395515 1357969 | 2147483647 1337224 243 | 0.032 % |
8087.32/8091.33 c | 1346263 | 76954 395515 1357969 | 2147483647 1339483 243 | 0.032 % |
8114.71/8118.78 c | 1348741 | 76954 395515 1357969 | 2147483647 1341961 243 | 0.032 % |
8138.71/8142.71 c | 1351467 | 76954 395515 1357969 | 2147483647 1344687 243 | 0.032 % |
8159.11/8163.11 c | 1354464 | 76954 395515 1357969 | 2147483647 1347684 243 | 0.032 % |
8181.39/8185.43 c | 1357763 | 76954 395515 1357969 | 2147483647 1350983 243 | 0.032 % |
8243.77/8247.86 c | 1361395 | 76954 395515 1357969 | 2147483647 1354615 243 | 0.032 % |
8276.16/8280.25 c | 1365383 | 76954 395515 1357969 | 2147483647 1358603 243 | 0.032 % |
8312.75/8316.83 c | 1369768 | 76954 395515 1357969 | 2147483647 1362988 244 | 0.032 % |
8355.33/8359.43 c | 1374597 | 76954 395515 1357969 | 2147483647 1367817 244 | 0.032 % |
8412.12/8416.28 c | 1379903 | 76954 395515 1357969 | 2147483647 1373123 244 | 0.032 % |
8469.41/8473.50 c | 1385744 | 76954 395515 1357969 | 2147483647 1378964 244 | 0.032 % |
8518.38/8522.50 c | 1392163 | 76954 395515 1357969 | 2147483647 1385383 245 | 0.032 % |
8582.56/8586.73 c | 1399223 | 76954 395515 1357969 | 2147483647 1392443 245 | 0.032 % |
8643.14/8647.37 c | 1406987 | 76954 395515 1357969 | 2147483647 1400207 245 | 0.032 % |
8716.92/8721.16 c | 1415540 | 76954 395515 1357969 | 2147483647 1408760 245 | 0.032 % |
8816.29/8820.56 c | 1424934 | 76954 395515 1357969 | 2147483647 1418154 245 | 0.032 % |
8900.56/8904.88 c | 1435267 | 76954 395515 1357969 | 2147483647 1428487 245 | 0.032 % |
9032.23/9036.59 c | 1446634 | 76954 395515 1357969 | 2147483647 1439854 246 | 0.032 % |
9149.39/9153.77 c | 1459136 | 76954 395515 1357969 | 2147483647 1452356 249 | 0.032 % |
9150.69/9155.07 c | 1459236 | 76954 395515 1357969 | 2147483647 1452456 249 | 0.032 % |
9153.80/9158.19 c | 1459348 | 76954 395515 1357969 | 2147483647 1452568 249 | 0.032 % |
9155.99/9160.34 c | 1459469 | 76954 395515 1357969 | 2147483647 1452689 249 | 0.032 % |
9158.39/9162.71 c | 1459606 | 76954 395515 1357969 | 2147483647 1452826 249 | 0.032 % |
9160.29/9164.68 c | 1459753 | 76954 395515 1357969 | 2147483647 1452973 249 | 0.032 % |
9162.89/9167.20 c | 1459914 | 76954 395515 1357969 | 2147483647 1453134 249 | 0.032 % |
9166.09/9170.47 c | 1460090 | 76954 395515 1357969 | 2147483647 1453310 249 | 0.032 % |
9171.89/9176.22 c | 1460291 | 76954 395515 1357969 | 2147483647 1453511 249 | 0.032 % |
9178.09/9182.48 c | 1460518 | 76954 395515 1357969 | 2147483647 1453738 249 | 0.032 % |
9181.69/9186.08 c | 1460759 | 76954 395515 1357969 | 2147483647 1453979 249 | 0.032 % |
9184.28/9188.63 c | 1461015 | 76954 395515 1357969 | 2147483647 1454235 249 | 0.032 % |
9187.98/9192.32 c | 1461297 | 76954 395515 1357969 | 2147483647 1454517 249 | 0.032 % |
9193.48/9197.86 c | 1461606 | 76954 395515 1357969 | 2147483647 1454826 249 | 0.032 % |
9197.78/9202.13 c | 1461945 | 76954 395515 1357969 | 2147483647 1455165 249 | 0.032 % |
9201.68/9206.01 c | 1462317 | 76954 395515 1357969 | 2147483647 1455537 249 | 0.032 % |
9209.28/9213.60 c | 1462726 | 76954 395515 1357969 | 2147483647 1455946 249 | 0.032 % |
9215.57/9219.95 c | 1463177 | 76954 395515 1357969 | 2147483647 1456397 249 | 0.032 % |
9222.27/9226.67 c | 1463670 | 76954 395515 1357969 | 2147483647 1456890 249 | 0.032 % |
9230.66/9235.07 c | 1464213 | 76954 395515 1357969 | 2147483647 1457433 250 | 0.032 % |
9239.67/9244.06 c | 1464812 | 76954 395515 1357969 | 2147483647 1458032 250 | 0.032 % |
9248.77/9253.16 c | 1465469 | 76954 395515 1357969 | 2147483647 1458689 250 | 0.032 % |
9260.06/9264.47 c | 1466191 | 76954 395515 1357969 | 2147483647 1459411 250 | 0.032 % |
9270.15/9274.58 c | 1466984 | 76954 395515 1357969 | 2147483647 1460204 250 | 0.032 % |
9277.65/9282.04 c | 1467857 | 76954 395515 1357969 | 2147483647 1461077 250 | 0.032 % |
9287.84/9292.27 c | 1468816 | 76954 395515 1357969 | 2147483647 1462036 250 | 0.032 % |
9296.55/9300.96 c | 1469872 | 76954 395515 1357969 | 2147483647 1463092 250 | 0.032 % |
9305.94/9310.34 c | 1471032 | 76954 395515 1357969 | 2147483647 1464252 250 | 0.032 % |
9318.64/9323.08 c | 1472307 | 76954 395515 1357969 | 2147483647 1465527 250 | 0.032 % |
9331.24/9335.63 c | 1473711 | 76954 395515 1357969 | 2147483647 1466931 250 | 0.032 % |
9339.84/9344.21 c | 1475251 | 76954 395515 1357969 | 2147483647 1468471 250 | 0.032 % |
9354.83/9359.28 c | 1476945 | 76954 395515 1357969 | 2147483647 1470165 250 | 0.032 % |
9376.22/9380.67 c | 1478808 | 76954 395515 1357969 | 2147483647 1472028 250 | 0.032 % |
9388.31/9392.74 c | 1480857 | 76954 395515 1357969 | 2147483647 1474077 250 | 0.032 % |
9409.91/9414.33 c | 1483110 | 76954 395515 1357969 | 2147483647 1476330 250 | 0.032 % |
9433.01/9437.41 c | 1485590 | 76954 395515 1357969 | 2147483647 1478810 250 | 0.032 % |
9459.20/9463.64 c | 1488322 | 76954 395515 1357969 | 2147483647 1481542 251 | 0.032 % |
9499.38/9503.81 c | 1491319 | 76954 395515 1357969 | 2147483647 1484539 251 | 0.032 % |
9539.18/9543.63 c | 1494617 | 76954 395515 1357969 | 2147483647 1487837 252 | 0.032 % |
9578.17/9582.66 c | 1498243 | 76954 395515 1357969 | 2147483647 1491463 252 | 0.032 % |
9617.75/9622.24 c | 1502232 | 76954 395515 1357969 | 2147483647 1495452 253 | 0.032 % |
9672.64/9677.12 c | 1506619 | 76954 395515 1357969 | 2147483647 1499839 253 | 0.032 % |
9742.41/9746.95 c | 1511443 | 76954 395515 1357969 | 2147483647 1504663 254 | 0.032 % |
9785.30/9789.82 c | 1516748 | 76954 395515 1357969 | 2147483647 1509968 253 | 0.033 % |
9845.08/9849.67 c | 1522583 | 76954 395515 1357969 | 2147483647 1515803 253 | 0.032 % |
9915.96/9920.55 c | 1529004 | 76954 395515 1357969 | 2147483647 1522224 254 | 0.032 % |
9984.14/9988.71 c | 1536063 | 76954 395515 1357969 | 2147483647 1529283 255 | 0.032 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837248-1242864716/watcher-1837248-1242864716 -o /tmp/evaluation-result-1837248-1242864716/solver-1837248-1242864716 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837248-1242864716.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.06 1.01 1.00 3/65 12396
/proc/meminfo: memFree=1831120/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 314500992 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12396/statm: 1339 235 195 169 0 50 0
[pid=12397] ppid=12396 vsize=5356 CPUtime=0
/proc/12397/stat : 12397 (SatELiteGTI) S 12396 12396 12184 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 314500992 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12397/statm: 1339 238 198 169 0 50 0
[pid=12399] ppid=12397 vsize=5356 CPUtime=0
/proc/12399/stat : 12399 (SatELiteGTI) R 12397 12396 12184 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 1 0 0
/proc/12399/statm: 1339 239 199 169 0 50 0
[startup+0.0587599 s]
/proc/loadavg: 1.06 1.01 1.00 3/65 12396
/proc/meminfo: memFree=1831120/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101759 s]
/proc/loadavg: 1.06 1.01 1.00 3/65 12396
/proc/meminfo: memFree=1831120/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30178 s]
/proc/loadavg: 1.06 1.01 1.00 3/65 12396
/proc/meminfo: memFree=1831120/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701821 s]
/proc/loadavg: 1.06 1.01 1.00 3/65 12396
/proc/meminfo: memFree=1831120/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5019 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 12401
/proc/meminfo: memFree=1728640/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
[pid=12401] ppid=12396 vsize=107264 CPUtime=1.48
/proc/12401/stat : 12401 (SatELite_releas) R 12396 12396 12184 0 -1 4194304 27424 0 0 0 134 14 0 0 25 0 1 0 314500993 109838336 25343 1992294400 134512640 135223648 4294956128 18446744073709551615 134587312 0 0 4096 3 0 0 0 17 0 0 0
/proc/12401/statm: 26816 25343 76 173 0 26641 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 112620
[startup+3.10107 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 12401
/proc/meminfo: memFree=1720512/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
[pid=12401] ppid=12396 vsize=111176 CPUtime=3.08
/proc/12401/stat : 12401 (SatELite_releas) R 12396 12396 12184 0 -1 4194304 28286 0 0 0 290 18 0 0 25 0 1 0 314500993 113844224 26205 1992294400 134512640 135223648 4294956128 18446744073709551615 134596447 0 0 4096 3 0 0 0 17 0 0 0
/proc/12401/statm: 27794 26205 76 173 0 27619 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 116532
[startup+6.3014 s]
/proc/loadavg: 1.21 1.05 1.01 2/67 12401
/proc/meminfo: memFree=1701824/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
[pid=12401] ppid=12396 vsize=116176 CPUtime=6.29
/proc/12401/stat : 12401 (SatELite_releas) R 12396 12396 12184 0 -1 4194304 29600 0 0 0 605 24 0 0 25 0 1 0 314500993 118964224 27519 1992294400 134512640 135223648 4294956128 18446744073709551615 134586689 0 0 4096 3 0 0 0 17 0 0 0
/proc/12401/statm: 29044 27519 76 173 0 28869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121532
[startup+12.7021 s]
/proc/loadavg: 1.27 1.06 1.02 2/67 12401
/proc/meminfo: memFree=1672320/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=0
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314500992 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12396/statm: 1339 237 197 169 0 50 0
[pid=12401] ppid=12396 vsize=122484 CPUtime=12.68
/proc/12401/stat : 12401 (SatELite_releas) R 12396 12396 12184 0 -1 4194304 31317 0 0 0 1237 31 0 0 25 0 1 0 314500993 125423616 28748 1992294400 134512640 135223648 4294956128 18446744073709551615 134593488 0 0 4096 3 0 0 0 17 0 0 0
/proc/12401/statm: 30621 28748 76 173 0 30446 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 127840
[startup+25.5014 s]
/proc/loadavg: 1.43 1.11 1.03 2/67 12402
/proc/meminfo: memFree=1749760/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=29292 CPUtime=11.37
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 6860 0 0 0 1132 5 0 0 25 0 1 0 314502403 29995008 6845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 7323 6845 77 171 0 7150 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34648
[startup+51.1011 s]
/proc/loadavg: 1.70 1.19 1.06 2/67 12402
/proc/meminfo: memFree=1745728/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=33976 CPUtime=36.95
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 8032 0 0 0 3688 7 0 0 25 0 1 0 314502403 34791424 8017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 8494 8017 77 171 0 8321 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39332
[startup+102.305 s]
/proc/loadavg: 1.47 1.22 1.08 2/67 12402
/proc/meminfo: memFree=1737152/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=44576 CPUtime=88.11
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 10677 0 0 0 8801 10 0 0 25 0 1 0 314502403 45645824 10662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 11144 10662 77 171 0 10971 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 49932
[startup+162.302 s]
/proc/loadavg: 1.17 1.18 1.07 2/67 12402
/proc/meminfo: memFree=1725056/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=56440 CPUtime=148.07
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 13670 0 0 0 14793 14 0 0 25 0 1 0 314502403 57794560 13655 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 14110 13655 77 171 0 13937 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 61796
[startup+222.302 s]
/proc/loadavg: 1.06 1.14 1.07 2/67 12402
/proc/meminfo: memFree=1711680/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=69944 CPUtime=208.03
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 17021 0 0 0 20785 18 0 0 25 0 1 0 314502403 71622656 17006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 17486 17006 77 171 0 17313 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 75300
[startup+282.301 s]
/proc/loadavg: 1.02 1.11 1.06 2/67 12402
/proc/meminfo: memFree=1698368/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=83376 CPUtime=268
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 20334 0 0 0 26778 22 0 0 25 0 1 0 314502403 85377024 20319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 20844 20319 77 171 0 20671 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 88732
[startup+342.301 s]
/proc/loadavg: 1.01 1.09 1.06 2/67 12402
/proc/meminfo: memFree=1684096/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=97492 CPUtime=327.97
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 23878 0 0 0 32772 25 0 0 25 0 1 0 314502403 99831808 23863 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 24373 23863 77 171 0 24200 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 102848
[startup+402.302 s]
/proc/loadavg: 1.00 1.07 1.05 2/67 12402
/proc/meminfo: memFree=1671872/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=109952 CPUtime=387.94
################
# More data... #
################
/proc/12402/statm: 398468 394536 77 171 0 398295 0
Current children cumulated CPU time (s) 9337.93
Current children cumulated vsize (KiB) 1599228
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=153472/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1603108 CPUtime=9383.82
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 396849 0 0 0 937962 420 0 0 25 0 1 0 314502403 1641582592 396794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 400777 396794 77 171 0 400604 0
Current children cumulated CPU time (s) 9397.92
Current children cumulated vsize (KiB) 1608464
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=142208/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1614320 CPUtime=9443.8
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 399632 0 0 0 943957 423 0 0 25 0 1 0 314502403 1653063680 399577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 403580 399577 77 171 0 403407 0
Current children cumulated CPU time (s) 9457.9
Current children cumulated vsize (KiB) 1619676
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=132736/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1623788 CPUtime=9503.78
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 402002 0 0 0 949953 425 0 0 25 0 1 0 314502403 1662758912 401947 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 405947 401947 77 171 0 405774 0
Current children cumulated CPU time (s) 9517.88
Current children cumulated vsize (KiB) 1629144
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=122304/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1634176 CPUtime=9563.77
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 404604 0 0 0 955949 428 0 0 25 0 1 0 314502403 1673396224 404549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 408544 404549 77 171 0 408371 0
Current children cumulated CPU time (s) 9577.87
Current children cumulated vsize (KiB) 1639532
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=113792/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1642824 CPUtime=9623.75
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 406744 0 0 0 961945 430 0 0 25 0 1 0 314502403 1682251776 406689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 410706 406689 77 171 0 410533 0
Current children cumulated CPU time (s) 9637.85
Current children cumulated vsize (KiB) 1648180
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=105216/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1651144 CPUtime=9683.72
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 408837 0 0 0 967941 431 0 0 25 0 1 0 314502403 1690771456 408782 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 412786 408782 77 171 0 412613 0
Current children cumulated CPU time (s) 9697.82
Current children cumulated vsize (KiB) 1656500
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=99392/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1657020 CPUtime=9743.71
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 410283 0 0 0 973939 432 0 0 25 0 1 0 314502403 1696788480 410228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 414255 410228 77 171 0 414082 0
Current children cumulated CPU time (s) 9757.81
Current children cumulated vsize (KiB) 1662376
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=94464/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1661884 CPUtime=9803.7
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 411494 0 0 0 979936 434 0 0 25 0 1 0 314502403 1701769216 411439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 415471 411439 77 171 0 415298 0
Current children cumulated CPU time (s) 9817.8
Current children cumulated vsize (KiB) 1667240
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=87744/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1668636 CPUtime=9863.68
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 413168 0 0 0 985933 435 0 0 25 0 1 0 314502403 1708683264 413113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 417159 413113 77 171 0 416986 0
Current children cumulated CPU time (s) 9877.78
Current children cumulated vsize (KiB) 1673992
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=78144/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1678416 CPUtime=9923.65
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 415583 0 0 0 991927 438 0 0 25 0 1 0 314502403 1718697984 415528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 419604 415528 77 171 0 419431 0
Current children cumulated CPU time (s) 9937.75
Current children cumulated vsize (KiB) 1683772
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=66880/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1689688 CPUtime=9983.63
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 418385 0 0 0 997923 440 0 0 25 0 1 0 314502403 1730240512 418330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 422422 418330 77 171 0 422249 0
Current children cumulated CPU time (s) 9997.73
Current children cumulated vsize (KiB) 1695044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 12896
/proc/meminfo: memFree=66368/2055924 swapFree=4178432/4192956
[pid=12396] ppid=12394 vsize=5356 CPUtime=14.1
/proc/12396/stat : 12396 (SatELiteGTI) S 12394 12396 12184 0 -1 4194304 336 35720 0 0 0 0 1370 40 19 0 1 0 314500992 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12396/statm: 1339 239 197 169 0 50 0
[pid=12402] ppid=12396 vsize=1690084 CPUtime=9985.93
/proc/12402/stat : 12402 (minisat_static) R 12396 12396 12184 0 -1 4194304 418483 0 0 0 998153 440 0 0 25 0 1 0 314502403 1730646016 418428 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/12402/statm: 422521 418428 77 171 0 422348 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1695440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12396 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=701916
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=402938
# CPU time returned by wait4() is 14.1049
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.6
CPU time (s): 10000
CPU user time (s): 9995.23
CPU system time (s): 4.8
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 1695440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7019
system time used= 0.402938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36056
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= 12
involuntary context switches= 52
runsolver used 9.06862 second user time and 27.4748 second system time
The end
Begin job on node83 at 2009-05-21 02:11:57
IDJOB=1837248
IDBENCH=70769
IDSOLVER=674
FILE ID=node83/1837248-1242864716
PBS_JOBID= 9328516
Free space on /tmp= 66136 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837248-1242864716/watcher-1837248-1242864716 -o /tmp/evaluation-result-1837248-1242864716/solver-1837248-1242864716 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837248-1242864716.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=634129188
node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.222
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.222
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1831664 kB
Buffers: 26736 kB
Cached: 145364 kB
SwapCached: 8304 kB
Active: 41428 kB
Inactive: 140576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1831664 kB
SwapTotal: 4192956 kB
SwapFree: 4178432 kB
Dirty: 15196 kB
Writeback: 0 kB
Mapped: 15564 kB
Slab: 28176 kB
Committed_AS: 1081464 kB
PageTables: 1416 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66084 MiB
End job on node83 at 2009-05-21 04:58:44