0.00/0.00 c Parsing...
1.58/1.69 c ==============================================================================
1.58/1.69 c | | ORIGINAL | LEARNT | |
1.58/1.69 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.58/1.69 c ==============================================================================
1.58/1.69 c | 0 | 1618887 3826978 | 485666 0 0 nan | 0.000 % |
10.57/10.65 c | 0 | 1199091 3186259 | -- 0 -- -- | -- | -117869/45832
10.57/10.66 c ==============================================================================
10.57/10.66 c Result : #vars: 250809 #clauses: 1199091 #literals: 3186259
10.57/10.66 c CPU time: 10.2514 s
10.57/10.66 c ==============================================================================
11.76/11.80 c This is MiniSat 2.0 beta
11.76/11.80 c WARNING: for repeatability, setting FPU to use double precision
11.76/11.80 c ============================[ Problem Statistics ]=============================
11.76/11.80 c | |
11.76/11.81 c | Number of variables: 250809 |
11.76/11.81 c | Number of clauses: 1199091 |
12.45/12.57 c | Parsing time: 0.66 s |
12.55/12.61 c ============================[ Search Statistics ]==============================
12.55/12.61 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.55/12.61 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.55/12.61 c ===============================================================================
12.55/12.61 c | 0 | 250809 1199091 3186259 | 399697 0 nan | 0.000 % |
12.85/12.91 c | 101 | 250809 1199091 3186259 | 399697 101 83 | 0.000 % |
13.35/13.45 c | 201 | 250618 1199091 3186259 | 399697 196 75 | 0.998 % |
13.75/13.86 c | 301 | 250447 1199091 3186259 | 399697 292 64 | 2.351 % |
13.95/14.01 c | 411 | 250447 1199091 3186259 | 399697 402 65 | 2.351 % |
14.55/14.62 c | 511 | 243394 1160406 3090307 | 399697 498 63 | 2.974 % |
14.85/14.95 c | 624 | 243230 1160406 3090307 | 399697 608 58 | 3.773 % |
15.05/15.20 c | 747 | 243230 1160406 3090307 | 399697 731 56 | 3.773 % |
15.35/15.45 c | 847 | 243224 1160406 3090307 | 399697 829 58 | 3.787 % |
15.55/15.68 c | 959 | 243210 1160406 3090307 | 399697 941 57 | 3.787 % |
15.95/16.06 c | 1080 | 240979 1147187 3058610 | 399697 1042 74 | 3.919 % |
16.35/16.49 c | 1213 | 240960 1147187 3058610 | 399697 1173 72 | 4.209 % |
16.75/16.81 c | 1320 | 240695 1147187 3058610 | 399697 1278 69 | 4.553 % |
16.95/17.03 c | 1430 | 240695 1147187 3058610 | 399697 1388 68 | 4.552 % |
17.25/17.32 c | 1552 | 240615 1147187 3058610 | 399697 1509 67 | 4.565 % |
17.45/17.54 c | 1687 | 240615 1147187 3058610 | 399697 1644 67 | 4.565 % |
17.85/17.91 c | 1833 | 239360 1139424 3041234 | 399697 1789 66 | 4.565 % |
17.95/18.01 c | 1936 | 239360 1139424 3041234 | 399697 1892 65 | 4.565 % |
18.05/18.16 c | 2046 | 239360 1139424 3041234 | 399697 2002 64 | 4.565 % |
18.25/18.36 c | 2167 | 239360 1139424 3041234 | 399697 2123 65 | 4.565 % |
18.55/18.62 c | 2301 | 239360 1139424 3041234 | 399697 2257 65 | 4.565 % |
18.75/18.86 c | 2447 | 239360 1139424 3041234 | 399697 2403 66 | 4.565 % |
18.95/19.05 c | 2607 | 239360 1139424 3041234 | 399697 2563 65 | 4.565 % |
19.05/19.13 c | 2708 | 239360 1139424 3041234 | 399697 2664 64 | 4.565 % |
19.25/19.35 c | 2818 | 239239 1138898 3040180 | 399697 2273 65 | 4.613 % |
19.45/19.59 c | 2939 | 239237 1138898 3040180 | 399697 2393 64 | 4.664 % |
19.65/19.79 c | 3075 | 239237 1138898 3040180 | 399697 2529 63 | 4.664 % |
19.95/20.08 c | 3221 | 239231 1138898 3040180 | 399697 2672 61 | 4.771 % |
20.35/20.43 c | 3383 | 239227 1138898 3040180 | 399697 2832 63 | 4.853 % |
20.55/20.69 c | 3564 | 239226 1138898 3040180 | 399697 3012 61 | 4.859 % |
20.75/20.87 c | 3665 | 238623 1135791 3033639 | 399697 3097 62 | 4.859 % |
20.85/20.98 c | 3775 | 238623 1135791 3033639 | 399697 3207 62 | 4.859 % |
21.35/21.49 c | 3897 | 238539 1135791 3033639 | 399697 3325 62 | 5.391 % |
21.45/21.56 c | 4031 | 238539 1135791 3033639 | 399697 3459 64 | 5.391 % |
21.75/21.82 c | 4177 | 238539 1135791 3033639 | 399697 3605 64 | 5.391 % |
22.24/22.31 c | 4337 | 238330 1135791 3033639 | 399697 3764 63 | 5.598 % |
22.64/22.79 c | 4514 | 236664 1126344 3010627 | 399697 3939 64 | 5.700 % |
23.24/23.30 c | 4707 | 236662 1126344 3010627 | 399697 4129 65 | 5.815 % |
23.44/23.51 c | 4807 | 236662 1126344 3010627 | 399697 4229 65 | 5.815 % |
23.54/23.63 c | 4920 | 236661 1126344 3010627 | 399697 4341 65 | 5.819 % |
23.84/23.90 c | 5045 | 236642 1126344 3010627 | 399697 4465 65 | 5.859 % |
24.15/24.21 c | 5178 | 236642 1126344 3010627 | 399697 4598 65 | 5.859 % |
24.64/24.72 c | 5324 | 236000 1122666 3002119 | 399697 4736 65 | 5.952 % |
25.24/25.39 c | 5484 | 235981 1122666 3002119 | 399697 4894 65 | 6.301 % |
26.04/26.12 c | 5660 | 235568 1122666 3002119 | 399697 5067 64 | 6.799 % |
26.44/26.50 c | 5855 | 233757 1111953 2978194 | 399697 5254 63 | 6.799 % |
26.84/26.94 c | 6069 | 233706 1111953 2978194 | 399697 5467 62 | 6.876 % |
27.04/27.13 c | 6170 | 233706 1111953 2978194 | 399697 5568 62 | 6.876 % |
27.34/27.42 c | 6282 | 233706 1111953 2978194 | 399697 5680 62 | 6.876 % |
27.64/27.73 c | 6405 | 233703 1111953 2978194 | 399697 5801 63 | 6.883 % |
28.34/28.46 c | 6540 | 233193 1110952 2976025 | 399697 5931 63 | 7.113 % |
28.64/28.70 c | 6687 | 233191 1110952 2976025 | 399697 6078 64 | 7.113 % |
29.13/29.28 c | 6848 | 233127 1110952 2976025 | 399697 6237 64 | 7.292 % |
29.43/29.56 c | 7025 | 233123 1110952 2976025 | 399697 6414 64 | 7.292 % |
29.83/29.96 c | 7219 | 232491 1106373 2966539 | 399697 6602 64 | 7.304 % |
30.43/30.55 c | 7432 | 232446 1106373 2966539 | 399697 6812 64 | 7.766 % |
30.74/30.85 c | 7666 | 232446 1106373 2966539 | 399697 7046 64 | 7.766 % |
30.93/31.01 c | 7766 | 232446 1106373 2966539 | 399697 7146 65 | 7.766 % |
31.23/31.34 c | 7881 | 232446 1106373 2966539 | 399697 7261 65 | 7.766 % |
31.43/31.51 c | 8004 | 232446 1106373 2966539 | 399697 7384 64 | 7.766 % |
31.63/31.77 c | 8139 | 232446 1106373 2966539 | 399697 7519 64 | 7.766 % |
32.03/32.10 c | 8285 | 231325 1100571 2952534 | 399697 7630 64 | 7.786 % |
32.33/32.42 c | 8445 | 231311 1100571 2952534 | 399697 7789 65 | 7.791 % |
32.73/32.84 c | 8621 | 231306 1100571 2952534 | 399697 7964 65 | 7.793 % |
33.23/33.36 c | 8814 | 231306 1100571 2952534 | 399697 8157 65 | 7.793 % |
33.73/33.83 c | 9029 | 231306 1100571 2952534 | 399697 8372 66 | 7.793 % |
34.33/34.42 c | 9263 | 231263 1100040 2951175 | 399697 8594 67 | 7.793 % |
35.13/35.23 c | 9521 | 231220 1100040 2951175 | 399697 8848 66 | 7.988 % |
35.33/35.49 c | 9621 | 231205 1100040 2951175 | 399697 8947 66 | 8.063 % |
35.73/35.86 c | 9732 | 231193 1100040 2951175 | 399697 9057 66 | 8.110 % |
36.44/36.56 c | 9854 | 230456 1096069 2941648 | 399697 9162 66 | 8.363 % |
36.74/36.85 c | 9987 | 230414 1096069 2941648 | 399697 9294 65 | 8.983 % |
36.94/37.05 c | 10137 | 230406 1096069 2941648 | 2147483647 9444 66 | 8.983 % |
37.64/37.75 c | 10297 | 230335 1096069 2941648 | 2147483647 9601 66 | 9.156 % |
37.94/38.05 c | 10474 | 227845 1082553 2908266 | 2147483647 9767 67 | 9.156 % |
38.14/38.27 c | 10670 | 227844 1082553 2908266 | 2147483647 9962 67 | 9.164 % |
38.83/38.95 c | 10882 | 227841 1082553 2908266 | 2147483647 10174 67 | 9.164 % |
39.63/39.75 c | 11115 | 227841 1082553 2908266 | 2147483647 10407 69 | 9.164 % |
40.73/40.82 c | 11371 | 227823 1082432 2907961 | 2147483647 10650 69 | 9.175 % |
41.93/42.04 c | 11652 | 227765 1082432 2907961 | 2147483647 10930 70 | 9.250 % |
42.43/42.55 c | 11752 | 227609 1081330 2905665 | 2147483647 11019 71 | 9.250 % |
43.13/43.28 c | 11864 | 227608 1081330 2905665 | 2147483647 11130 71 | 9.558 % |
43.53/43.66 c | 11985 | 227608 1081330 2905665 | 2147483647 11251 72 | 9.558 % |
44.03/44.13 c | 12118 | 227608 1081330 2905665 | 2147483647 11384 72 | 9.558 % |
44.43/44.52 c | 12264 | 226837 1077398 2895655 | 2147483647 11530 72 | 9.558 % |
44.83/44.97 c | 12424 | 226837 1077398 2895655 | 2147483647 11690 72 | 9.558 % |
45.13/45.29 c | 12600 | 226837 1077398 2895655 | 2147483647 11865 72 | 9.815 % |
45.73/45.86 c | 12797 | 226822 1077398 2895655 | 2147483647 12062 73 | 9.815 % |
46.23/46.32 c | 13009 | 226818 1077398 2895655 | 2147483647 12273 73 | 9.819 % |
47.13/47.26 c | 13244 | 226127 1073923 2886872 | 2147483647 12504 74 | 9.955 % |
47.53/47.62 c | 13500 | 226127 1073923 2886872 | 2147483647 12760 75 | 9.955 % |
48.13/48.23 c | 13781 | 226127 1073923 2886872 | 2147483647 13041 76 | 9.955 % |
49.63/49.71 c | 14093 | 226127 1073923 2886872 | 2147483647 13353 78 | 9.955 % |
49.93/50.08 c | 14194 | 225841 1072049 2882085 | 2147483647 13440 78 | 9.955 % |
50.13/50.27 c | 14305 | 225841 1072049 2882085 | 2147483647 13551 78 | 9.955 % |
50.73/50.89 c | 14426 | 225841 1072049 2882085 | 2147483647 13672 78 | 9.955 % |
51.23/51.34 c | 14559 | 225779 1072049 2882085 | 2147483647 13803 78 | 10.037 % |
51.53/51.66 c | 14706 | 225779 1072049 2882085 | 2147483647 13950 78 | 10.037 % |
52.03/52.16 c | 14866 | 225779 1072049 2882085 | 2147483647 14110 79 | 10.037 % |
52.73/52.82 c | 15042 | 225630 1070811 2878936 | 2147483647 14285 78 | 10.057 % |
53.03/53.13 c | 15235 | 225630 1070811 2878936 | 2147483647 14478 79 | 10.057 % |
53.73/53.88 c | 15447 | 225630 1070811 2878936 | 2147483647 14690 81 | 10.057 % |
54.63/54.76 c | 15682 | 225630 1070811 2878936 | 2147483647 14925 82 | 10.057 % |
55.33/55.47 c | 15938 | 225584 1070534 2878241 | 2147483647 15174 82 | 10.057 % |
56.13/56.22 c | 16219 | 225583 1070534 2878241 | 2147483647 15454 83 | 10.059 % |
56.92/57.06 c | 16528 | 225581 1070534 2878241 | 2147483647 15762 86 | 10.068 % |
58.62/58.78 c | 16868 | 225580 1070534 2878241 | 2147483647 16102 88 | 10.068 % |
59.33/59.41 c | 16968 | 225461 1070393 2877894 | 2147483647 16194 88 | 10.246 % |
59.72/59.87 c | 17078 | 225460 1070393 2877894 | 2147483647 16304 89 | 10.246 % |
60.22/60.30 c | 17199 | 225374 1070393 2877894 | 2147483647 16423 89 | 10.349 % |
60.52/60.68 c | 17333 | 225363 1070393 2877894 | 2147483647 16555 89 | 10.375 % |
61.22/61.36 c | 17479 | 225363 1070393 2877894 | 2147483647 16701 90 | 10.375 % |
61.62/61.77 c | 17639 | 224788 1066126 2867797 | 2147483647 16826 90 | 10.375 % |
62.22/62.37 c | 17815 | 224757 1066126 2867797 | 2147483647 17001 91 | 10.468 % |
63.02/63.17 c | 18008 | 224755 1066126 2867797 | 2147483647 17193 90 | 10.474 % |
64.32/64.44 c | 18228 | 224746 1066126 2867797 | 2147483647 17413 92 | 10.474 % |
65.22/65.33 c | 18461 | 224540 1064878 2864830 | 2147483647 17640 92 | 10.474 % |
66.02/66.11 c | 18717 | 224540 1064878 2864830 | 2147483647 17896 92 | 10.474 % |
67.82/67.97 c | 18998 | 224540 1064878 2864830 | 2147483647 18177 94 | 10.474 % |
68.42/68.51 c | 19309 | 224540 1064878 2864830 | 2147483647 18488 95 | 10.474 % |
69.62/69.70 c | 19649 | 224528 1064780 2864584 | 2147483647 18826 96 | 10.478 % |
70.72/70.85 c | 20022 | 224528 1064780 2864584 | 2147483647 19199 97 | 10.478 % |
71.12/71.30 c | 20123 | 224527 1064780 2864584 | 2147483647 19299 97 | 10.479 % |
71.42/71.57 c | 20233 | 224527 1064780 2864584 | 2147483647 19409 97 | 10.479 % |
72.81/72.90 c | 20355 | 224527 1064772 2864568 | 2147483647 19531 98 | 10.479 % |
73.01/73.12 c | 20493 | 224527 1064772 2864568 | 2147483647 19669 97 | 10.479 % |
73.71/73.88 c | 20639 | 224509 1064772 2864568 | 2147483647 19812 97 | 10.630 % |
74.11/74.29 c | 20799 | 224509 1064772 2864568 | 2147483647 19972 97 | 10.630 % |
74.61/74.76 c | 20975 | 224148 1062477 2858677 | 2147483647 20146 98 | 10.630 % |
75.41/75.52 c | 21169 | 224148 1062477 2858677 | 2147483647 20340 99 | 10.630 % |
76.21/76.38 c | 21381 | 224147 1062477 2858677 | 2147483647 20551 100 | 10.630 % |
77.10/77.29 c | 21615 | 224147 1062477 2858677 | 2147483647 20785 103 | 10.630 % |
77.81/77.96 c | 21873 | 224132 1062370 2858417 | 2147483647 21039 103 | 10.636 % |
78.91/79.05 c | 22155 | 223928 1062370 2858417 | 2147483647 21319 104 | 10.892 % |
81.31/81.40 c | 22464 | 223911 1062370 2858417 | 2147483647 21628 107 | 10.892 % |
82.11/82.29 c | 22805 | 223471 1058675 2848769 | 2147483647 21950 108 | 11.301 % |
84.40/84.59 c | 23177 | 223469 1058675 2848769 | 2147483647 22322 110 | 11.301 % |
87.50/87.68 c | 23586 | 222460 1053511 2836177 | 2147483647 22669 114 | 11.480 % |
87.80/87.95 c | 23688 | 222016 1051029 2829821 | 2147483647 22770 114 | 11.480 % |
87.90/88.09 c | 23798 | 222016 1051029 2829821 | 2147483647 22880 114 | 11.480 % |
88.70/88.86 c | 23922 | 222015 1051029 2829821 | 2147483647 23003 114 | 11.480 % |
89.10/89.22 c | 24056 | 221976 1051029 2829821 | 2147483647 23133 114 | 11.552 % |
89.60/89.76 c | 24203 | 221975 1051029 2829821 | 2147483647 23279 113 | 11.555 % |
90.10/90.27 c | 24363 | 221975 1051029 2829821 | 2147483647 23439 114 | 11.555 % |
91.40/91.58 c | 24541 | 221975 1051029 2829821 | 2147483647 23617 115 | 11.555 % |
92.50/92.69 c | 24734 | 221824 1049923 2827045 | 2147483647 23791 115 | 11.567 % |
93.70/93.88 c | 24946 | 221821 1049923 2827045 | 2147483647 24002 116 | 11.577 % |
94.50/94.64 c | 25179 | 221821 1049923 2827045 | 2147483647 24235 115 | 11.577 % |
96.10/96.23 c | 25435 | 221771 1049627 2826295 | 2147483647 24484 118 | 12.017 % |
97.10/97.21 c | 25716 | 221684 1049627 2826295 | 2147483647 24763 119 | 12.025 % |
97.49/97.69 c | 26026 | 221684 1049627 2826295 | 2147483647 25073 120 | 12.025 % |
98.49/98.67 c | 26365 | 221684 1049627 2826295 | 2147483647 25412 119 | 12.025 % |
100.69/100.85 c | 26738 | 220629 1043386 2810490 | 2147483647 25776 120 | 12.173 % |
101.59/101.75 c | 27148 | 220619 1043386 2810490 | 2147483647 26185 121 | 12.196 % |
104.69/104.83 c | 27602 | 219307 1036105 2792574 | 2147483647 26616 125 | 12.560 % |
105.19/105.35 c | 27702 | 219307 1036105 2792574 | 2147483647 26716 125 | 12.560 % |
105.59/105.78 c | 27813 | 219305 1036105 2792574 | 2147483647 26826 125 | 12.569 % |
105.99/106.10 c | 27934 | 219304 1036105 2792574 | 2147483647 26947 125 | 12.569 % |
106.70/106.82 c | 28068 | 219171 1035432 2790949 | 2147483647 27071 126 | 12.614 % |
107.39/107.56 c | 28214 | 219171 1035432 2790949 | 2147483647 27217 126 | 12.614 % |
108.09/108.25 c | 28374 | 219170 1035432 2790949 | 2147483647 27376 127 | 12.619 % |
108.99/109.14 c | 28550 | 219169 1035432 2790949 | 2147483647 27551 128 | 12.619 % |
109.99/110.20 c | 28746 | 219169 1035432 2790949 | 2147483647 27747 128 | 12.619 % |
110.79/110.99 c | 28959 | 219153 1035333 2790711 | 2147483647 27957 128 | 12.628 % |
111.89/112.04 c | 29192 | 219152 1035333 2790711 | 2147483647 28189 129 | 12.632 % |
113.59/113.75 c | 29449 | 219152 1035333 2790711 | 2147483647 28446 131 | 12.632 % |
114.09/114.21 c | 29730 | 219152 1035333 2790711 | 2147483647 28727 132 | 12.632 % |
116.08/116.22 c | 30039 | 219123 1035155 2790257 | 2147483647 29028 133 | 12.641 % |
117.68/117.86 c | 30378 | 219115 1035155 2790257 | 2147483647 29365 133 | 12.650 % |
119.18/119.32 c | 30750 | 219053 1034662 2789000 | 2147483647 29729 136 | 12.665 % |
121.47/121.68 c | 31160 | 219053 1034662 2789000 | 2147483647 30138 139 | 12.686 % |
123.48/123.64 c | 31609 | 219050 1034662 2789000 | 2147483647 30585 144 | 12.697 % |
125.28/125.45 c | 32102 | 219050 1034662 2789000 | 2147483647 31078 145 | 12.697 % |
126.18/126.38 c | 32203 | 218945 1034123 2787690 | 2147483647 31168 147 | 12.919 % |
126.78/126.98 c | 32313 | 218945 1034123 2787690 | 2147483647 31278 147 | 12.919 % |
127.68/127.90 c | 32434 | 218945 1034123 2787690 | 2147483647 31399 147 | 12.919 % |
128.58/128.73 c | 32569 | 218942 1034123 2787690 | 2147483647 31532 147 | 12.929 % |
128.88/129.04 c | 32718 | 218938 1034123 2787690 | 2147483647 31677 146 | 12.930 % |
129.77/129.92 c | 32878 | 218376 1031090 2779958 | 2147483647 31822 146 | 12.939 % |
130.57/130.76 c | 33054 | 218305 1031090 2779958 | 2147483647 31996 147 | 13.778 % |
131.37/131.55 c | 33247 | 218305 1031090 2779958 | 2147483647 32189 147 | 13.778 % |
133.47/133.65 c | 33460 | 218305 1031090 2779958 | 2147483647 32402 149 | 13.778 % |
134.37/134.56 c | 33694 | 218305 1031090 2779958 | 2147483647 32636 151 | 13.778 % |
135.87/136.01 c | 33950 | 216253 1017475 2747211 | 2147483647 32828 152 | 13.778 % |
136.97/137.13 c | 34233 | 216253 1017475 2747211 | 2147483647 33111 152 | 13.778 % |
138.47/138.69 c | 34542 | 216252 1017475 2747211 | 2147483647 33419 153 | 13.785 % |
139.87/140.04 c | 34883 | 216252 1017475 2747211 | 2147483647 33760 153 | 13.785 % |
141.67/141.86 c | 35255 | 216236 1017358 2746922 | 2147483647 34129 154 | 13.785 % |
142.87/143.02 c | 35667 | 216196 1017358 2746922 | 2147483647 34540 154 | 13.909 % |
144.16/144.38 c | 36116 | 216194 1017358 2746922 | 2147483647 34987 153 | 13.958 % |
146.76/146.90 c | 36609 | 215776 1014679 2739966 | 2147483647 35470 155 | 13.979 % |
149.76/149.99 c | 37151 | 215776 1014679 2739966 | 2147483647 36012 157 | 13.979 % |
149.96/150.16 c | 37251 | 215776 1014679 2739966 | 2147483647 36112 157 | 13.979 % |
151.06/151.26 c | 37362 | 215748 1014535 2739585 | 2147483647 36221 158 | 13.984 % |
151.66/151.83 c | 37485 | 215748 1014535 2739585 | 2147483647 36344 158 | 13.984 % |
151.86/152.04 c | 37618 | 215748 1014535 2739585 | 2147483647 36477 158 | 13.984 % |
152.86/153.09 c | 37764 | 215748 1014535 2739585 | 2147483647 36623 160 | 13.984 % |
153.46/153.64 c | 37925 | 215746 1014535 2739585 | 2147483647 36783 159 | 13.988 % |
153.95/154.11 c | 38101 | 215746 1014535 2739585 | 2147483647 36959 160 | 13.988 % |
155.05/155.26 c | 38299 | 215746 1014535 2739585 | 2147483647 37157 162 | 13.988 % |
156.66/156.82 c | 38511 | 215724 1014336 2739090 | 2147483647 37364 163 | 13.989 % |
157.17/157.39 c | 38744 | 215724 1014336 2739090 | 2147483647 37597 163 | 13.989 % |
160.36/160.58 c | 39001 | 215723 1014336 2739090 | 2147483647 37853 167 | 14.085 % |
161.75/161.91 c | 39282 | 215723 1014336 2739090 | 2147483647 38134 167 | 14.085 % |
163.35/163.50 c | 39593 | 215723 1014336 2739090 | 2147483647 38445 169 | 14.085 % |
165.95/166.19 c | 39932 | 215480 1012920 2735476 | 2147483647 38780 171 | 16.808 % |
168.55/168.77 c | 40304 | 215478 1012920 2735476 | 2147483647 39150 172 | 16.822 % |
170.45/170.60 c | 40713 | 208618 983627 2662045 | 2147483647 39549 176 | 16.822 % |
172.05/172.29 c | 41162 | 208618 983627 2662045 | 2147483647 39998 177 | 16.822 % |
174.45/174.68 c | 41655 | 208614 983627 2662045 | 2147483647 40488 178 | 16.834 % |
176.96/177.14 c | 42198 | 208611 983627 2662045 | 2147483647 41030 178 | 16.842 % |
182.65/182.87 c | 42797 | 208564 983264 2661125 | 2147483647 41621 183 | 16.848 % |
183.05/183.24 c | 42898 | 208564 983264 2661125 | 2147483647 41722 183 | 16.848 % |
183.25/183.44 c | 43009 | 208564 983264 2661125 | 2147483647 41833 183 | 16.848 % |
183.65/183.88 c | 43130 | 208552 983157 2660887 | 2147483647 41934 183 | 16.848 % |
184.44/184.63 c | 43263 | 208550 983157 2660887 | 2147483647 42064 183 | 16.851 % |
184.94/185.10 c | 43410 | 208550 983157 2660887 | 2147483647 42211 183 | 16.851 % |
185.84/186.02 c | 43570 | 208547 983157 2660887 | 2147483647 42370 184 | 16.857 % |
186.64/186.85 c | 43749 | 208547 983157 2660887 | 2147483647 42549 184 | 16.857 % |
187.85/188.03 c | 43943 | 208544 983157 2660887 | 2147483647 42742 185 | 16.861 % |
188.54/188.74 c | 44160 | 208544 983157 2660887 | 2147483647 42959 185 | 16.861 % |
191.14/191.30 c | 44394 | 208519 982906 2660240 | 2147483647 43186 187 | 16.861 % |
192.74/192.94 c | 44652 | 208519 982906 2660240 | 2147483647 43444 188 | 16.861 % |
194.64/194.86 c | 44938 | 208519 982906 2660240 | 2147483647 43730 188 | 16.861 % |
196.93/197.13 c | 45249 | 208514 982906 2660240 | 2147483647 44038 189 | 16.889 % |
198.95/199.19 c | 45588 | 208510 982906 2660240 | 2147483647 44376 190 | 16.894 % |
201.05/201.29 c | 45961 | 208436 982484 2659215 | 2147483647 44705 190 | 16.895 % |
204.34/204.55 c | 46370 | 208436 982484 2659215 | 2147483647 45114 191 | 16.895 % |
205.84/206.05 c | 46819 | 208436 982484 2659215 | 2147483647 45563 191 | 16.895 % |
207.34/207.51 c | 47312 | 208379 982481 2659209 | 2147483647 46053 191 | 16.951 % |
213.23/213.42 c | 47854 | 208374 982481 2659209 | 2147483647 46595 195 | 16.951 % |
218.32/218.59 c | 48450 | 208292 981877 2657922 | 2147483647 47179 196 | 16.956 % |
222.03/222.29 c | 49106 | 208265 981667 2657416 | 2147483647 47813 198 | 16.963 % |
222.73/222.96 c | 49211 | 208265 981667 2657416 | 2147483647 47918 198 | 16.963 % |
223.23/223.45 c | 49321 | 208265 981667 2657416 | 2147483647 48028 198 | 16.963 % |
224.43/224.64 c | 49442 | 208254 981667 2657416 | 2147483647 48147 199 | 17.072 % |
224.83/225.02 c | 49577 | 208226 981667 2657416 | 2147483647 48281 199 | 17.242 % |
225.43/225.61 c | 49725 | 208160 981667 2657416 | 2147483647 48429 199 | 17.242 % |
225.82/226.09 c | 49885 | 208160 981667 2657416 | 2147483647 48589 199 | 17.242 % |
226.82/227.08 c | 50061 | 208160 981667 2657416 | 2147483647 48765 199 | 17.242 % |
228.13/228.34 c | 50254 | 208160 981667 2657416 | 2147483647 48957 198 | 17.740 % |
229.12/229.32 c | 50468 | 208160 981667 2657416 | 2147483647 49171 199 | 17.740 % |
229.72/229.91 c | 50701 | 208160 981667 2657416 | 2147483647 49404 199 | 17.740 % |
231.12/231.32 c | 50957 | 206315 970206 2630088 | 2147483647 49636 200 | 17.740 % |
232.12/232.33 c | 51240 | 206289 970206 2630088 | 2147483647 49918 200 | 17.803 % |
233.32/233.52 c | 51549 | 206284 970206 2630088 | 2147483647 50223 200 | 17.846 % |
235.72/235.93 c | 51888 | 206283 970206 2630088 | 2147483647 50561 202 | 17.847 % |
238.43/238.66 c | 52263 | 206283 970206 2630088 | 2147483647 50935 204 | 17.852 % |
241.62/241.84 c | 52673 | 205971 968395 2625550 | 2147483647 51309 205 | 17.888 % |
244.92/245.10 c | 53124 | 205971 968395 2625550 | 2147483647 51760 208 | 17.888 % |
250.02/250.22 c | 53618 | 205971 968395 2625550 | 2147483647 52254 213 | 17.888 % |
253.82/254.03 c | 54161 | 205833 968258 2625195 | 2147483647 52791 215 | 18.030 % |
257.51/257.70 c | 54758 | 205831 968258 2625195 | 2147483647 53386 218 | 18.041 % |
261.80/262.02 c | 55414 | 205382 965740 2619304 | 2147483647 53969 219 | 18.112 % |
267.21/267.42 c | 56134 | 205382 965740 2619304 | 2147483647 54689 222 | 18.112 % |
268.01/268.28 c | 56235 | 205382 965740 2619304 | 2147483647 54790 222 | 18.112 % |
268.41/268.69 c | 56345 | 205382 965740 2619304 | 2147483647 54900 222 | 18.112 % |
269.01/269.25 c | 56470 | 205382 965740 2619304 | 2147483647 55025 222 | 18.112 % |
269.40/269.62 c | 56603 | 205382 965740 2619304 | 2147483647 55158 222 | 18.112 % |
269.70/269.93 c | 56749 | 205382 965740 2619304 | 2147483647 55304 222 | 18.112 % |
270.31/270.58 c | 56914 | 205382 965740 2619304 | 2147483647 55469 222 | 18.112 % |
270.80/271.05 c | 57090 | 205382 965740 2619304 | 2147483647 55645 222 | 18.112 % |
271.90/272.11 c | 57284 | 205365 965636 2619056 | 2147483647 55833 222 | 18.119 % |
273.90/274.17 c | 57497 | 205365 965636 2619056 | 2147483647 56046 222 | 18.119 % |
275.70/275.98 c | 57730 | 205365 965636 2619056 | 2147483647 56279 222 | 18.119 % |
277.30/277.55 c | 57986 | 205322 965636 2619056 | 2147483647 56533 223 | 18.153 % |
279.50/279.79 c | 58269 | 205319 965636 2619056 | 2147483647 56813 224 | 18.187 % |
281.80/282.09 c | 58579 | 205313 965636 2619056 | 2147483647 57122 226 | 18.205 % |
283.00/283.28 c | 58918 | 205148 964652 2616838 | 2147483647 57425 226 | 18.216 % |
285.80/286.07 c | 59291 | 205146 964652 2616838 | 2147483647 57796 227 | 18.231 % |
287.70/287.92 c | 59700 | 205144 964652 2616838 | 2147483647 58203 226 | 18.256 % |
289.50/289.77 c | 60149 | 205144 964652 2616838 | 2147483647 58651 226 | 18.309 % |
291.59/291.86 c | 60642 | 205012 964652 2616838 | 2147483647 59143 228 | 18.309 % |
296.79/297.03 c | 61187 | 204871 963013 2612777 | 2147483647 59643 230 | 18.374 % |
298.59/298.89 c | 61787 | 204871 963013 2612777 | 2147483647 60243 230 | 18.374 % |
302.49/302.71 c | 62443 | 204871 963013 2612777 | 2147483647 60899 233 | 18.374 % |
307.29/307.59 c | 63163 | 204692 962030 2610350 | 2147483647 61548 235 | 18.430 % |
313.29/313.56 c | 63956 | 204685 962030 2610350 | 2147483647 62341 237 | 18.430 % |
314.38/314.66 c | 64056 | 204685 962030 2610350 | 2147483647 62441 237 | 18.430 % |
315.48/315.72 c | 64167 | 204685 962030 2610350 | 2147483647 62552 237 | 18.430 % |
316.18/316.41 c | 64289 | 204685 962030 2610350 | 2147483647 62674 237 | 18.430 % |
316.59/316.86 c | 64423 | 204685 962030 2610350 | 2147483647 62808 237 | 18.430 % |
317.09/317.35 c | 64571 | 204683 962030 2610350 | 2147483647 62955 237 | 18.440 % |
317.49/317.74 c | 64733 | 204683 962030 2610350 | 2147483647 63117 236 | 18.440 % |
317.98/318.20 c | 64912 | 204681 962030 2610350 | 2147483647 63296 237 | 18.440 % |
319.98/320.23 c | 65108 | 204559 961245 2608447 | 2147483647 63395 238 | 18.440 % |
321.18/321.49 c | 65320 | 204557 961245 2608447 | 2147483647 63606 238 | 18.441 % |
322.08/322.37 c | 65553 | 204557 961245 2608447 | 2147483647 63838 238 | 18.452 % |
324.38/324.60 c | 65812 | 204554 961245 2608447 | 2147483647 64097 239 | 18.452 % |
325.88/326.15 c | 66093 | 204545 961245 2608447 | 2147483647 64375 239 | 18.465 % |
327.58/327.85 c | 66409 | 204545 961245 2608447 | 2147483647 64691 240 | 18.465 % |
329.68/329.97 c | 66754 | 204544 961245 2608447 | 2147483647 65035 240 | 18.473 % |
332.57/332.81 c | 67126 | 204457 960620 2606809 | 2147483647 65398 241 | 18.481 % |
333.17/333.46 c | 67536 | 204457 960620 2606809 | 2147483647 65808 240 | 18.481 % |
337.47/337.78 c | 67987 | 204457 960620 2606809 | 2147483647 66259 241 | 18.481 % |
341.58/341.88 c | 68480 | 204457 960620 2606809 | 2147483647 66752 243 | 18.481 % |
347.47/347.70 c | 69023 | 204436 960477 2606446 | 2147483647 67293 248 | 18.504 % |
352.76/353.09 c | 69620 | 204324 960477 2606446 | 2147483647 67888 251 | 18.558 % |
358.46/358.77 c | 70280 | 204322 960477 2606446 | 2147483647 68545 252 | 18.570 % |
364.86/365.15 c | 71000 | 204232 959334 2603576 | 2147483647 69229 256 | 18.571 % |
368.86/369.10 c | 71792 | 204232 959334 2603576 | 2147483647 70021 255 | 18.571 % |
373.36/373.64 c | 72663 | 204214 959198 2603226 | 2147483647 70883 255 | 18.578 % |
374.25/374.57 c | 72763 | 204214 959198 2603226 | 2147483647 70983 255 | 18.578 % |
375.25/375.53 c | 72875 | 204214 959198 2603226 | 2147483647 71095 256 | 18.578 % |
376.55/376.81 c | 72996 | 204214 959198 2603226 | 2147483647 71216 256 | 18.578 % |
377.55/377.81 c | 73129 | 204214 959198 2603226 | 2147483647 71349 256 | 18.578 % |
378.55/378.84 c | 73276 | 204214 959198 2603226 | 2147483647 71496 256 | 18.578 % |
379.35/379.64 c | 73436 | 204212 959198 2603226 | 2147483647 71653 256 | 18.585 % |
380.45/380.76 c | 73615 | 204212 959198 2603226 | 2147483647 71832 257 | 18.585 % |
381.85/382.10 c | 73809 | 204212 959198 2603226 | 2147483647 72026 257 | 18.585 % |
382.45/382.72 c | 74023 | 204212 959198 2603226 | 2147483647 72240 257 | 18.585 % |
383.85/384.19 c | 74256 | 204212 959198 2603226 | 2147483647 72473 257 | 18.585 % |
385.75/386.01 c | 74517 | 204212 959198 2603226 | 2147483647 72734 257 | 18.585 % |
387.44/387.75 c | 74798 | 204211 959198 2603226 | 2147483647 73014 257 | 18.586 % |
390.03/390.33 c | 75108 | 204194 959084 2602938 | 2147483647 73322 258 | 18.586 % |
393.34/393.69 c | 75449 | 204193 959084 2602938 | 2147483647 73661 259 | 18.601 % |
394.74/395.06 c | 75826 | 204192 959084 2602938 | 2147483647 74037 260 | 18.601 % |
397.14/397.40 c | 76235 | 204192 959084 2602938 | 2147483647 74446 261 | 18.601 % |
399.14/399.42 c | 76684 | 204172 959084 2602938 | 2147483647 74888 261 | 18.648 % |
401.93/402.21 c | 77178 | 204146 959084 2602938 | 2147483647 75375 261 | 18.668 % |
404.33/404.65 c | 77722 | 203981 957958 2600087 | 2147483647 75864 261 | 18.693 % |
406.83/407.17 c | 78318 | 203947 957958 2600087 | 2147483647 76459 260 | 18.745 % |
410.33/410.65 c | 78973 | 203947 957958 2600087 | 2147483647 77114 261 | 18.745 % |
416.32/416.60 c | 79693 | 203947 957958 2600087 | 2147483647 77834 263 | 18.745 % |
423.33/423.68 c | 80485 | 203794 956945 2597654 | 2147483647 78591 263 | 18.746 % |
432.81/433.15 c | 81356 | 203794 956945 2597654 | 2147483647 79462 268 | 18.746 % |
440.51/440.88 c | 82314 | 203793 956945 2597654 | 2147483647 80419 272 | 18.755 % |
441.71/442.00 c | 82421 | 203771 956821 2597369 | 2147483647 80503 272 | 18.755 % |
442.91/443.29 c | 82532 | 203771 956821 2597369 | 2147483647 80614 273 | 18.755 % |
443.41/443.74 c | 82654 | 203771 956821 2597369 | 2147483647 80736 273 | 18.755 % |
444.01/444.40 c | 82789 | 203769 956821 2597369 | 2147483647 80870 272 | 18.764 % |
445.30/445.67 c | 82939 | 203769 956821 2597369 | 2147483647 81020 272 | 18.764 % |
445.91/446.21 c | 83099 | 203769 956821 2597369 | 2147483647 81180 272 | 18.764 % |
446.51/446.80 c | 83279 | 203769 956821 2597369 | 2147483647 81360 272 | 18.764 % |
448.01/448.36 c | 83473 | 203769 956821 2597369 | 2147483647 81554 273 | 18.764 % |
449.51/449.82 c | 83687 | 203758 956821 2597369 | 2147483647 81765 273 | 19.493 % |
451.21/451.52 c | 83920 | 203755 956821 2597369 | 2147483647 81995 273 | 19.504 % |
453.40/453.79 c | 84176 | 203753 956821 2597369 | 2147483647 82251 274 | 19.504 % |
456.30/456.63 c | 84457 | 203753 956821 2597369 | 2147483647 82532 274 | 19.504 % |
459.30/459.60 c | 84767 | 203752 956821 2597369 | 2147483647 82841 275 | 19.504 % |
461.20/461.55 c | 85106 | 201889 949113 2578174 | 2147483647 81878 273 | 19.505 % |
464.20/464.59 c | 85478 | 201889 949113 2578174 | 2147483647 82250 275 | 19.505 % |
466.80/467.18 c | 85887 | 201889 949113 2578174 | 2147483647 82659 275 | 19.505 % |
470.50/470.89 c | 86337 | 201888 949113 2578174 | 2147483647 83108 276 | 19.512 % |
476.29/476.65 c | 86831 | 201888 949113 2578174 | 2147483647 83602 278 | 19.512 % |
480.99/481.34 c | 87373 | 201867 948993 2577865 | 2147483647 84139 278 | 19.528 % |
485.39/485.73 c | 87969 | 201866 948993 2577865 | 2147483647 84733 280 | 19.537 % |
490.89/491.23 c | 88624 | 201866 948993 2577865 | 2147483647 85388 281 | 19.537 % |
494.88/495.21 c | 89345 | 201866 948993 2577865 | 2147483647 86109 282 | 19.537 % |
501.78/502.18 c | 90138 | 201866 948993 2577865 | 2147483647 86902 283 | 19.537 % |
510.18/510.54 c | 91010 | 201781 948698 2577147 | 2147483647 87756 287 | 19.567 % |
519.87/520.25 c | 91968 | 201771 948698 2577147 | 2147483647 88708 289 | 19.623 % |
528.97/529.30 c | 93021 | 201771 948698 2577147 | 2147483647 89761 290 | 19.623 % |
529.97/530.39 c | 93121 | 201592 947746 2574917 | 2147483647 89805 290 | 19.634 % |
531.66/532.05 c | 93231 | 201592 947746 2574917 | 2147483647 89915 290 | 19.634 % |
532.96/533.35 c | 93353 | 201584 947746 2574917 | 2147483647 90035 291 | 19.654 % |
534.06/534.49 c | 93487 | 201584 947746 2574917 | 2147483647 90169 291 | 19.654 % |
535.36/535.78 c | 93633 | 201584 947746 2574917 | 2147483647 90315 291 | 19.654 % |
536.76/537.15 c | 93793 | 201584 947746 2574917 | 2147483647 90474 291 | 19.655 % |
538.66/539.04 c | 93969 | 201584 947746 2574917 | 2147483647 90650 292 | 19.655 % |
540.76/541.14 c | 94162 | 201584 947746 2574917 | 2147483647 90843 292 | 19.655 % |
542.86/543.30 c | 94375 | 201581 947746 2574917 | 2147483647 91055 292 | 19.710 % |
545.05/545.43 c | 94608 | 201581 947746 2574917 | 2147483647 91287 292 | 19.723 % |
546.15/546.52 c | 94864 | 201581 947746 2574917 | 2147483647 91543 292 | 19.723 % |
547.25/547.67 c | 95147 | 201581 947746 2574917 | 2147483647 91826 292 | 19.723 % |
548.65/549.02 c | 95460 | 201340 946497 2571903 | 2147483647 92089 292 | 19.724 % |
550.55/550.97 c | 95801 | 201340 946497 2571903 | 2147483647 92430 292 | 19.724 % |
553.05/553.46 c | 96179 | 201340 946497 2571903 | 2147483647 92807 292 | 19.734 % |
555.45/555.87 c | 96588 | 201297 946497 2571903 | 2147483647 93214 292 | 19.786 % |
559.56/559.95 c | 97037 | 201297 946497 2571903 | 2147483647 93663 292 | 19.786 % |
563.15/563.55 c | 97532 | 201297 946497 2571903 | 2147483647 94158 292 | 19.786 % |
566.05/566.43 c | 98077 | 201297 946497 2571903 | 2147483647 94702 292 | 19.798 % |
570.84/571.29 c | 98674 | 201295 946497 2571903 | 2147483647 95297 293 | 19.806 % |
577.04/577.44 c | 99330 | 201128 945339 2569017 | 2147483647 95917 294 | 19.833 % |
583.63/584.08 c | 100050 | 201125 945339 2569017 | 2147483647 96633 295 | 19.859 % |
587.03/587.40 c | 100843 | 201125 945339 2569017 | 2147483647 97426 295 | 19.859 % |
593.73/594.17 c | 101716 | 201124 945339 2569017 | 2147483647 98298 295 | 19.870 % |
603.12/603.57 c | 102679 | 200972 944458 2566769 | 2147483647 99229 297 | 19.882 % |
613.52/613.91 c | 103734 | 200972 944458 2566769 | 2147483647 100284 301 | 19.882 % |
625.31/625.72 c | 104893 | 200893 944180 2566028 | 2147483647 101402 301 | 19.997 % |
625.71/626.15 c | 104994 | 200893 944180 2566028 | 2147483647 101503 301 | 19.997 % |
626.11/626.54 c | 105105 | 200893 944180 2566028 | 2147483647 101614 301 | 19.997 % |
627.20/627.65 c | 105226 | 200893 944180 2566028 | 2147483647 101735 301 | 19.997 % |
628.60/629.08 c | 105359 | 200892 944180 2566028 | 2147483647 101867 301 | 20.006 % |
630.20/630.64 c | 105510 | 200892 944180 2566028 | 2147483647 102018 302 | 20.006 % |
632.11/632.52 c | 105675 | 200891 944180 2566028 | 2147483647 102182 302 | 20.006 % |
632.31/632.77 c | 105851 | 200891 944180 2566028 | 2147483647 102358 301 | 20.006 % |
632.91/633.37 c | 106047 | 200891 944180 2566028 | 2147483647 102554 301 | 20.006 % |
634.21/634.67 c | 106259 | 200888 944180 2566028 | 2147483647 102763 301 | 20.021 % |
636.31/636.72 c | 106492 | 200886 944180 2566028 | 2147483647 102995 301 | 20.032 % |
638.71/639.18 c | 106749 | 200877 944180 2566028 | 2147483647 103252 301 | 20.032 % |
641.70/642.17 c | 107030 | 200550 942085 2560760 | 2147483647 103456 302 | 20.039 % |
644.90/645.31 c | 107339 | 200550 942085 2560760 | 2147483647 103765 303 | 20.039 % |
648.60/649.08 c | 107680 | 200546 942085 2560760 | 2147483647 104102 303 | 20.072 % |
652.90/653.33 c | 108052 | 200544 942085 2560760 | 2147483647 104472 303 | 20.076 % |
654.79/655.20 c | 108461 | 200544 942085 2560760 | 2147483647 104881 303 | 20.076 % |
656.49/656.91 c | 108912 | 200544 942085 2560760 | 2147483647 105332 303 | 20.076 % |
659.69/660.12 c | 109405 | 200544 942085 2560760 | 2147483647 105825 303 | 20.076 % |
662.39/662.84 c | 109947 | 200543 942085 2560760 | 2147483647 106365 303 | 20.095 % |
667.09/667.53 c | 110544 | 200353 940994 2558163 | 2147483647 106853 304 | 20.117 % |
672.88/673.38 c | 111199 | 200350 940994 2558163 | 2147483647 107506 305 | 20.134 % |
676.68/677.19 c | 111920 | 200343 940994 2558163 | 2147483647 108225 305 | 20.143 % |
684.18/684.70 c | 112712 | 200342 940994 2558163 | 2147483647 109016 306 | 20.146 % |
691.38/691.85 c | 113583 | 200341 940994 2558163 | 2147483647 109884 307 | 20.147 % |
700.47/701.00 c | 114543 | 200341 940994 2558163 | 2147483647 110844 311 | 20.147 % |
705.78/706.23 c | 115599 | 200279 940541 2556991 | 2147483647 111884 311 | 20.147 % |
714.66/715.11 c | 116759 | 200272 940541 2556991 | 2147483647 113040 313 | 20.178 % |
730.26/730.77 c | 118032 | 200179 940038 2555744 | 2147483647 114285 315 | 20.187 % |
731.26/731.71 c | 118132 | 200179 940038 2555744 | 2147483647 114384 315 | 20.202 % |
731.56/732.08 c | 118242 | 200179 940038 2555744 | 2147483647 114494 315 | 20.202 % |
732.66/733.18 c | 118364 | 200179 940038 2555744 | 2147483647 114616 315 | 20.202 % |
734.26/734.71 c | 118497 | 200179 940038 2555744 | 2147483647 114749 315 | 20.202 % |
735.47/735.91 c | 118643 | 200179 940038 2555744 | 2147483647 114894 314 | 20.202 % |
737.46/737.98 c | 118803 | 200179 940038 2555744 | 2147483647 115054 314 | 20.202 % |
738.76/739.28 c | 118980 | 200179 940038 2555744 | 2147483647 115231 314 | 20.202 % |
740.56/741.06 c | 119174 | 200179 940038 2555744 | 2147483647 115425 315 | 20.202 % |
742.86/743.34 c | 119390 | 200179 940038 2555744 | 2147483647 115641 315 | 20.202 % |
744.95/745.40 c | 119625 | 200179 940038 2555744 | 2147483647 115875 315 | 20.203 % |
746.05/746.57 c | 119881 | 200179 940038 2555744 | 2147483647 116131 315 | 20.203 % |
747.35/747.88 c | 120163 | 200178 940038 2555744 | 2147483647 116412 314 | 20.203 % |
750.75/751.24 c | 120472 | 200178 940038 2555744 | 2147483647 116721 316 | 20.203 % |
754.05/754.58 c | 120811 | 200175 940038 2555744 | 2147483647 117058 316 | 20.296 % |
756.74/757.26 c | 121185 | 200175 940038 2555744 | 2147483647 117432 316 | 20.296 % |
759.55/760.06 c | 121594 | 200173 940038 2555744 | 2147483647 117840 316 | 20.308 % |
763.34/763.81 c | 122046 | 199875 937984 2550668 | 2147483647 118198 315 | 20.308 % |
765.44/765.96 c | 122540 | 199875 937984 2550668 | 2147483647 118692 316 | 20.308 % |
768.84/769.38 c | 123082 | 199874 937984 2550668 | 2147483647 119232 316 | 20.318 % |
773.74/774.21 c | 123679 | 199868 937984 2550668 | 2147483647 119828 316 | 20.329 % |
778.64/779.15 c | 124334 | 199867 937984 2550668 | 2147483647 120482 316 | 20.333 % |
785.93/786.42 c | 125054 | 199864 937984 2550668 | 2147483647 121198 317 | 20.382 % |
791.54/792.08 c | 125848 | 199602 936342 2546562 | 2147483647 121805 318 | 20.417 % |
796.52/797.03 c | 126722 | 199601 936342 2546562 | 2147483647 122678 318 | 20.418 % |
805.72/806.25 c | 127680 | 199595 936342 2546562 | 2147483647 123633 319 | 20.439 % |
810.82/811.37 c | 128736 | 199595 936342 2546562 | 2147483647 124689 319 | 20.439 % |
823.61/824.16 c | 129894 | 199595 936342 2546562 | 2147483647 125847 319 | 20.439 % |
838.90/839.41 c | 131170 | 199544 935984 2545646 | 2147483647 127082 318 | 20.455 % |
855.49/856.03 c | 132572 | 199542 935984 2545646 | 2147483647 128482 318 | 20.476 % |
856.89/857.42 c | 132672 | 199454 935396 2544243 | 2147483647 128500 318 | 20.485 % |
857.69/858.25 c | 132783 | 199454 935396 2544243 | 2147483647 128611 318 | 20.485 % |
858.39/858.97 c | 132907 | 199454 935396 2544243 | 2147483647 128735 318 | 20.485 % |
859.59/860.16 c | 133040 | 199454 935396 2544243 | 2147483647 128868 318 | 20.485 % |
861.09/861.67 c | 133186 | 199454 935396 2544243 | 2147483647 129014 319 | 20.485 % |
862.69/863.23 c | 133347 | 199454 935396 2544243 | 2147483647 129175 319 | 20.485 % |
865.28/865.80 c | 133525 | 199454 935396 2544243 | 2147483647 129353 318 | 20.485 % |
867.39/867.96 c | 133719 | 199453 935396 2544243 | 2147483647 129546 319 | 20.492 % |
868.69/869.24 c | 133932 | 199453 935396 2544243 | 2147483647 129759 319 | 20.492 % |
870.79/871.32 c | 134166 | 199453 935396 2544243 | 2147483647 129993 319 | 20.492 % |
872.49/873.04 c | 134424 | 199453 935396 2544243 | 2147483647 130250 319 | 20.492 % |
874.18/874.79 c | 134711 | 199453 935396 2544243 | 2147483647 130537 320 | 20.492 % |
878.08/878.64 c | 135020 | 199453 935396 2544243 | 2147483647 130846 320 | 20.492 % |
880.28/880.84 c | 135360 | 199452 935396 2544243 | 2147483647 131185 320 | 20.496 % |
882.68/883.29 c | 135734 | 199451 935396 2544243 | 2147483647 131558 319 | 20.496 % |
887.17/887.76 c | 136146 | 199451 935396 2544243 | 2147483647 131970 320 | 20.496 % |
891.56/892.18 c | 136595 | 199451 935396 2544243 | 2147483647 132419 321 | 20.496 % |
896.47/897.07 c | 137088 | 199402 935071 2543422 | 2147483647 132830 321 | 20.496 % |
900.17/900.78 c | 137631 | 199401 935071 2543422 | 2147483647 133370 320 | 20.503 % |
905.96/906.58 c | 138228 | 199399 935071 2543422 | 2147483647 133967 322 | 20.503 % |
912.05/912.60 c | 138883 | 199399 935071 2543422 | 2147483647 134622 321 | 20.503 % |
917.76/918.33 c | 139603 | 199399 935071 2543422 | 2147483647 135342 321 | 20.503 % |
923.15/923.79 c | 140396 | 199398 935071 2543422 | 2147483647 136134 321 | 20.525 % |
929.14/929.75 c | 141267 | 199397 935071 2543422 | 2147483647 137004 322 | 20.536 % |
937.94/938.52 c | 142226 | 199300 934483 2541911 | 2147483647 137888 322 | 20.586 % |
947.43/948.02 c | 143280 | 199294 934483 2541911 | 2147483647 138935 322 | 20.638 % |
957.04/957.67 c | 144438 | 199291 934483 2541911 | 2147483647 140089 323 | 20.710 % |
966.13/966.79 c | 145712 | 199288 934483 2541911 | 2147483647 141359 323 | 20.712 % |
981.63/982.20 c | 147112 | 198861 932130 2536038 | 2147483647 142554 321 | 20.712 % |
1001.52/1002.16 c | 148652 | 198832 931989 2535685 | 2147483647 144073 320 | 20.724 % |
1003.31/1003.90 c | 148753 | 198829 931989 2535685 | 2147483647 144173 320 | 20.733 % |
1005.01/1005.63 c | 148863 | 198829 931989 2535685 | 2147483647 144282 320 | 20.733 % |
1006.61/1007.23 c | 148986 | 198829 931989 2535685 | 2147483647 144405 320 | 20.733 % |
1008.11/1008.74 c | 149122 | 198829 931989 2535685 | 2147483647 144541 320 | 20.733 % |
1009.51/1010.16 c | 149273 | 198829 931989 2535685 | 2147483647 144692 320 | 20.733 % |
1011.61/1012.30 c | 149435 | 198829 931989 2535685 | 2147483647 144854 320 | 20.733 % |
1013.91/1014.59 c | 149614 | 198829 931989 2535685 | 2147483647 145033 320 | 20.733 % |
1016.30/1016.96 c | 149807 | 198829 931989 2535685 | 2147483647 145226 320 | 20.733 % |
1018.10/1018.76 c | 150019 | 198828 931989 2535685 | 2147483647 145437 320 | 20.733 % |
1020.81/1021.45 c | 150252 | 198828 931989 2535685 | 2147483647 145668 320 | 20.814 % |
1023.70/1024.31 c | 150509 | 198828 931989 2535685 | 2147483647 145925 320 | 20.814 % |
1026.50/1027.16 c | 150791 | 198828 931989 2535685 | 2147483647 146205 320 | 20.823 % |
1029.60/1030.24 c | 151101 | 198827 931989 2535685 | 2147483647 146514 321 | 20.829 % |
1033.89/1034.56 c | 151440 | 198827 931989 2535685 | 2147483647 146853 320 | 20.829 % |
1037.29/1037.90 c | 151813 | 198567 930774 2532667 | 2147483647 147191 321 | 20.829 % |
1042.59/1043.21 c | 152222 | 198567 930774 2532667 | 2147483647 147599 321 | 20.831 % |
1045.89/1046.51 c | 152671 | 198567 930774 2532667 | 2147483647 148048 320 | 20.831 % |
1052.58/1053.21 c | 153165 | 198567 930774 2532667 | 2147483647 148542 320 | 20.831 % |
1058.29/1058.99 c | 153707 | 198566 930774 2532667 | 2147483647 149082 320 | 20.843 % |
1064.68/1065.38 c | 154304 | 198565 930774 2532667 | 2147483647 149677 320 | 20.858 % |
1071.28/1071.98 c | 154959 | 198565 930774 2532667 | 2147483647 150332 320 | 20.858 % |
1078.97/1079.66 c | 155680 | 198495 930438 2531850 | 2147483647 151003 320 | 20.872 % |
1086.87/1087.56 c | 156472 | 198495 930438 2531850 | 2147483647 151795 320 | 20.872 % |
1092.68/1093.39 c | 157347 | 198490 930438 2531850 | 2147483647 152668 321 | 20.908 % |
1102.46/1103.17 c | 158305 | 198453 930438 2531850 | 2147483647 153626 322 | 20.908 % |
1116.16/1116.84 c | 159358 | 198367 929635 2529818 | 2147483647 154639 322 | 20.909 % |
1124.05/1124.76 c | 160518 | 198367 929635 2529818 | 2147483647 155797 323 | 20.925 % |
1137.25/1137.97 c | 161792 | 198367 929635 2529818 | 2147483647 157070 324 | 20.928 % |
1152.24/1152.91 c | 163195 | 198363 929635 2529818 | 2147483647 158468 323 | 21.012 % |
1166.43/1167.11 c | 164739 | 198363 929635 2529818 | 2147483647 160012 324 | 21.012 % |
1180.63/1181.39 c | 166433 | 198108 928146 2526081 | 2147483647 161666 325 | 21.012 % |
1182.02/1182.73 c | 166533 | 198108 928146 2526081 | 2147483647 161766 325 | 21.012 % |
1183.02/1183.72 c | 166643 | 198108 928146 2526081 | 2147483647 161876 325 | 21.012 % |
1183.42/1184.19 c | 166764 | 198108 928146 2526081 | 2147483647 161997 325 | 21.012 % |
1184.11/1184.86 c | 166898 | 198108 928146 2526081 | 2147483647 162131 325 | 21.012 % |
1184.91/1185.61 c | 167045 | 198108 928146 2526081 | 2147483647 162278 324 | 21.012 % |
1187.12/1187.86 c | 167205 | 198108 928146 2526081 | 2147483647 162436 325 | 21.878 % |
1189.02/1189.71 c | 167381 | 198108 928146 2526081 | 2147483647 162612 325 | 21.878 % |
1191.91/1192.69 c | 167574 | 198108 928146 2526081 | 2147483647 162805 324 | 21.878 % |
1193.92/1194.68 c | 167787 | 198108 928146 2526081 | 2147483647 163018 324 | 21.878 % |
1196.21/1196.91 c | 168028 | 198108 928146 2526081 | 2147483647 163259 324 | 21.878 % |
1198.61/1199.31 c | 168288 | 198108 928146 2526081 | 2147483647 163518 324 | 21.896 % |
1201.91/1202.64 c | 168573 | 198108 928146 2526081 | 2147483647 163803 325 | 21.896 % |
1204.60/1205.36 c | 168885 | 198108 928146 2526081 | 2147483647 164115 324 | 21.896 % |
1207.90/1208.61 c | 169224 | 198108 928146 2526081 | 2147483647 164454 324 | 21.896 % |
1211.50/1212.25 c | 169596 | 198107 928146 2526081 | 2147483647 164825 325 | 21.897 % |
1215.30/1216.01 c | 170005 | 195888 919163 2503819 | 2147483647 165092 324 | 21.898 % |
1218.90/1219.62 c | 170455 | 195884 919163 2503819 | 2147483647 165541 324 | 21.909 % |
1219.80/1220.56 c | 170951 | 195884 919163 2503819 | 2147483647 166037 324 | 21.909 % |
1225.90/1226.61 c | 171494 | 195883 919163 2503819 | 2147483647 166580 325 | 21.909 % |
1232.99/1233.73 c | 172090 | 195883 919163 2503819 | 2147483647 167175 325 | 21.911 % |
1238.89/1239.67 c | 172745 | 195879 919163 2503819 | 2147483647 167828 325 | 22.844 % |
1247.38/1248.13 c | 173467 | 195879 919163 2503819 | 2147483647 168547 325 | 22.870 % |
1256.28/1257.09 c | 174261 | 195879 919163 2503819 | 2147483647 169341 324 | 22.870 % |
1265.58/1266.33 c | 175133 | 193447 909208 2479103 | 2147483647 168659 326 | 22.888 % |
1278.37/1279.11 c | 176092 | 193446 909208 2479103 | 2147483647 169617 326 | 22.888 % |
1289.06/1289.89 c | 177147 | 193364 909208 2479103 | 2147483647 170671 326 | 22.971 % |
1301.06/1301.84 c | 178309 | 193364 909208 2479103 | 2147483647 171833 327 | 22.971 % |
1314.05/1314.84 c | 179582 | 193196 908332 2477264 | 2147483647 173060 328 | 22.971 % |
1328.25/1329.06 c | 180982 | 193195 908332 2477264 | 2147483647 174458 329 | 23.031 % |
1349.24/1350.08 c | 182522 | 193194 908332 2477264 | 2147483647 175997 329 | 23.031 % |
1367.72/1368.54 c | 184217 | 193044 907582 2475456 | 2147483647 177415 330 | 23.033 % |
1389.61/1390.42 c | 186081 | 193044 907582 2475456 | 2147483647 179278 328 | 23.038 % |
1391.01/1391.83 c | 186182 | 193044 907582 2475456 | 2147483647 179378 328 | 23.056 % |
1392.11/1392.96 c | 186295 | 193044 907582 2475456 | 2147483647 179491 328 | 23.056 % |
1393.02/1393.85 c | 186417 | 193044 907582 2475456 | 2147483647 179612 328 | 23.058 % |
1394.02/1394.85 c | 186550 | 193041 907582 2475456 | 2147483647 179745 328 | 23.058 % |
1395.41/1396.22 c | 186696 | 193041 907582 2475456 | 2147483647 179891 328 | 23.058 % |
1397.41/1398.28 c | 186857 | 193041 907582 2475456 | 2147483647 180052 329 | 23.058 % |
1399.61/1400.47 c | 187034 | 192978 907221 2474542 | 2147483647 180196 329 | 23.058 % |
1402.11/1402.93 c | 187229 | 192976 907221 2474542 | 2147483647 180390 329 | 23.075 % |
1403.91/1404.78 c | 187441 | 192976 907221 2474542 | 2147483647 180602 329 | 23.075 % |
1407.01/1407.89 c | 187676 | 192976 907221 2474542 | 2147483647 180837 329 | 23.075 % |
1410.61/1411.40 c | 187932 | 192975 907221 2474542 | 2147483647 181092 329 | 23.079 % |
1413.71/1414.57 c | 188214 | 192973 907221 2474542 | 2147483647 181373 328 | 23.091 % |
1418.10/1418.94 c | 188523 | 192940 907221 2474542 | 2147483647 181679 328 | 23.355 % |
1422.40/1423.25 c | 188862 | 192939 907221 2474542 | 2147483647 182017 328 | 23.426 % |
1426.79/1427.62 c | 189234 | 192939 907221 2474542 | 2147483647 182389 328 | 23.426 % |
1430.39/1431.25 c | 189644 | 192939 907221 2474542 | 2147483647 182799 328 | 23.426 % |
1435.20/1436.05 c | 190097 | 192938 907221 2474542 | 2147483647 183250 328 | 23.427 % |
1439.39/1440.22 c | 190590 | 192919 907221 2474542 | 2147483647 183742 328 | 23.496 % |
1443.09/1443.96 c | 191134 | 192919 907221 2474542 | 2147483647 184286 328 | 23.496 % |
1448.78/1449.61 c | 191733 | 192919 907221 2474542 | 2147483647 184885 328 | 23.496 % |
1456.89/1457.76 c | 192389 | 192919 907221 2474542 | 2147483647 185541 327 | 23.496 % |
1468.28/1469.13 c | 193110 | 191879 901437 2459820 | 2147483647 186183 327 | 23.496 % |
1474.47/1475.39 c | 193903 | 191879 901437 2459820 | 2147483647 186976 327 | 23.496 % |
1488.76/1489.66 c | 194774 | 191879 901437 2459820 | 2147483647 187846 326 | 23.496 % |
1498.86/1499.70 c | 195732 | 191877 901437 2459820 | 2147483647 188800 326 | 23.508 % |
1509.36/1510.23 c | 196785 | 191876 901437 2459820 | 2147483647 189852 328 | 23.510 % |
1522.54/1523.44 c | 197944 | 191845 901279 2459428 | 2147483647 190998 330 | 23.510 % |
1539.43/1540.36 c | 199217 | 191844 901279 2459428 | 2147483647 192270 330 | 23.580 % |
1551.93/1552.85 c | 200618 | 191844 901279 2459428 | 2147483647 193671 330 | 23.580 % |
1569.02/1570.00 c | 202158 | 191668 900678 2458226 | 2147483647 195153 330 | 23.580 % |
1591.00/1591.98 c | 203853 | 191668 900678 2458226 | 2147483647 196848 329 | 23.580 % |
1613.69/1614.64 c | 205719 | 191668 900678 2458226 | 2147483647 198714 329 | 23.580 % |
1624.19/1625.18 c | 207769 | 191666 900678 2458226 | 2147483647 200762 330 | 23.581 % |
1624.90/1625.86 c | 207870 | 191666 900671 2458212 | 2147483647 200861 330 | 23.581 % |
1625.59/1626.58 c | 207980 | 191666 900671 2458212 | 2147483647 200971 330 | 23.581 % |
1626.49/1627.40 c | 208102 | 191666 900671 2458212 | 2147483647 201093 330 | 23.581 % |
1627.79/1628.76 c | 208235 | 191666 900671 2458212 | 2147483647 201226 330 | 23.581 % |
1629.39/1630.33 c | 208381 | 191666 900671 2458212 | 2147483647 201372 330 | 23.581 % |
1631.49/1632.48 c | 208541 | 191666 900671 2458212 | 2147483647 201532 330 | 23.581 % |
1632.98/1633.97 c | 208717 | 191665 900671 2458212 | 2147483647 201707 330 | 23.581 % |
1635.28/1636.25 c | 208910 | 191665 900671 2458212 | 2147483647 201900 330 | 23.581 % |
1638.28/1639.26 c | 209122 | 191665 900671 2458212 | 2147483647 202112 330 | 23.581 % |
1641.18/1642.13 c | 209355 | 191665 900671 2458212 | 2147483647 202345 330 | 23.581 % |
1644.88/1645.84 c | 209611 | 191665 900671 2458212 | 2147483647 202601 330 | 23.581 % |
1649.67/1650.69 c | 209893 | 191665 900671 2458212 | 2147483647 202883 330 | 23.581 % |
1652.17/1653.18 c | 210203 | 191664 900671 2458212 | 2147483647 203192 330 | 23.586 % |
1654.37/1655.39 c | 210547 | 191664 900671 2458212 | 2147483647 203536 330 | 23.586 % |
1658.77/1659.72 c | 210919 | 191664 900671 2458212 | 2147483647 203908 330 | 23.586 % |
1664.66/1665.66 c | 211328 | 191664 900671 2458212 | 2147483647 204317 330 | 23.586 % |
1669.06/1670.05 c | 211777 | 191663 900671 2458212 | 2147483647 204765 330 | 23.598 % |
1674.27/1675.24 c | 212271 | 191663 900671 2458212 | 2147483647 205258 331 | 23.598 % |
1681.06/1682.04 c | 212813 | 191663 900671 2458212 | 2147483647 205800 331 | 23.598 % |
1689.55/1690.60 c | 213411 | 191622 900423 2457547 | 2147483647 206357 330 | 23.598 % |
1697.64/1698.67 c | 214066 | 191622 900423 2457547 | 2147483647 207012 330 | 23.598 % |
1703.25/1704.24 c | 214788 | 191621 900423 2457547 | 2147483647 207733 330 | 23.604 % |
1709.04/1710.04 c | 215581 | 191621 900423 2457547 | 2147483647 208525 330 | 23.666 % |
1718.44/1719.44 c | 216452 | 191621 900423 2457547 | 2147483647 209396 332 | 23.666 % |
1726.93/1727.94 c | 217410 | 191619 900423 2457547 | 2147483647 210351 333 | 23.669 % |
1737.53/1738.53 c | 218463 | 191618 900423 2457547 | 2147483647 211400 333 | 23.681 % |
1749.82/1750.82 c | 219622 | 191618 900423 2457547 | 2147483647 212559 333 | 23.681 % |
1766.81/1767.83 c | 220897 | 191415 899500 2455521 | 2147483647 213823 332 | 23.681 % |
1780.51/1781.59 c | 222299 | 191415 899500 2455521 | 2147483647 215224 331 | 23.687 % |
1796.09/1797.10 c | 223840 | 191415 899500 2455521 | 2147483647 216765 333 | 23.687 % |
1816.99/1818.03 c | 225539 | 191372 899207 2454728 | 2147483647 218430 332 | 23.707 % |
1829.77/1830.86 c | 227402 | 191372 899207 2454728 | 2147483647 220293 332 | 23.707 % |
1852.87/1853.91 c | 229454 | 191372 899207 2454728 | 2147483647 222344 332 | 23.708 % |
1877.05/1878.11 c | 231707 | 191372 899207 2454728 | 2147483647 224596 331 | 23.709 % |
1878.05/1879.19 c | 231807 | 191345 899050 2454320 | 2147483647 224687 331 | 23.709 % |
1878.95/1880.01 c | 231920 | 191345 899050 2454320 | 2147483647 224800 331 | 23.709 % |
1879.85/1880.91 c | 232041 | 191345 899050 2454320 | 2147483647 224921 331 | 23.709 % |
1881.75/1882.84 c | 232174 | 191344 899050 2454320 | 2147483647 225053 331 | 23.710 % |
1884.45/1885.50 c | 232321 | 191344 899050 2454320 | 2147483647 225200 331 | 23.710 % |
1887.44/1888.56 c | 232497 | 191344 899050 2454320 | 2147483647 225376 331 | 23.710 % |
1889.64/1890.72 c | 232687 | 191344 899050 2454320 | 2147483647 225566 330 | 23.710 % |
1890.95/1892.01 c | 232881 | 191344 899050 2454320 | 2147483647 225760 330 | 23.710 % |
1893.45/1894.59 c | 233093 | 191344 899050 2454320 | 2147483647 225972 331 | 23.710 % |
1895.05/1896.18 c | 233326 | 191344 899050 2454320 | 2147483647 226205 331 | 23.710 % |
1897.45/1898.59 c | 233582 | 191344 899050 2454320 | 2147483647 226461 331 | 23.710 % |
1899.95/1901.07 c | 233863 | 191343 899050 2454320 | 2147483647 226741 331 | 23.710 % |
1903.54/1904.67 c | 234172 | 191343 899050 2454320 | 2147483647 227050 331 | 23.710 % |
1907.04/1908.13 c | 234511 | 191343 899050 2454320 | 2147483647 227389 331 | 23.710 % |
1912.54/1913.64 c | 234885 | 191343 899050 2454320 | 2147483647 227763 331 | 23.710 % |
1918.03/1919.17 c | 235294 | 191343 899050 2454320 | 2147483647 228172 331 | 23.710 % |
1923.23/1924.37 c | 235745 | 191343 899050 2454320 | 2147483647 228623 331 | 23.710 % |
1929.33/1930.47 c | 236241 | 191343 899050 2454320 | 2147483647 229119 331 | 23.710 % |
1935.42/1936.56 c | 236784 | 191343 899050 2454320 | 2147483647 229662 331 | 23.710 % |
1945.02/1946.12 c | 237381 | 191343 899050 2454320 | 2147483647 230259 331 | 23.710 % |
1953.01/1954.14 c | 238037 | 191341 899032 2454279 | 2147483647 230912 330 | 23.710 % |
1959.31/1960.48 c | 238757 | 191341 899032 2454279 | 2147483647 231632 330 | 23.710 % |
1968.81/1969.90 c | 239549 | 191341 899032 2454279 | 2147483647 232424 330 | 23.710 % |
1977.40/1978.59 c | 240420 | 191341 899032 2454279 | 2147483647 233295 329 | 23.710 % |
1989.59/1990.71 c | 241378 | 191341 899032 2454279 | 2147483647 234253 329 | 23.710 % |
2001.69/2002.89 c | 242432 | 191341 899032 2454279 | 2147483647 235307 328 | 23.710 % |
2009.59/2010.78 c | 243594 | 191341 899032 2454279 | 2147483647 236469 328 | 23.710 % |
2026.08/2027.26 c | 244867 | 191340 899032 2454279 | 2147483647 237741 329 | 23.711 % |
2044.66/2045.89 c | 246270 | 191340 899028 2454271 | 2147483647 239144 328 | 23.711 % |
2065.25/2066.49 c | 247812 | 191340 899028 2454271 | 2147483647 240686 327 | 23.711 % |
2083.05/2084.25 c | 249508 | 191340 899028 2454271 | 2147483647 242381 326 | 23.711 % |
2105.03/2106.27 c | 251371 | 191340 899028 2454271 | 2147483647 244244 328 | 23.711 % |
2127.12/2128.33 c | 253420 | 191339 899024 2454263 | 2147483647 246289 329 | 23.712 % |
2154.61/2155.86 c | 255675 | 191339 899024 2454263 | 2147483647 248544 329 | 23.712 % |
2184.70/2185.98 c | 258154 | 191336 899024 2454263 | 2147483647 251020 327 | 23.713 % |
2186.49/2187.72 c | 258256 | 191335 899008 2454231 | 2147483647 251110 327 | 23.713 % |
2187.89/2189.19 c | 258368 | 191335 899008 2454231 | 2147483647 251222 327 | 23.713 % |
2190.29/2191.57 c | 258489 | 191335 899008 2454231 | 2147483647 251343 327 | 23.713 % |
2191.79/2193.00 c | 258622 | 191334 899008 2454231 | 2147483647 251475 327 | 23.713 % |
2194.09/2195.32 c | 258769 | 191334 899008 2454231 | 2147483647 251622 327 | 23.713 % |
2196.69/2197.91 c | 258930 | 191334 899008 2454231 | 2147483647 251783 327 | 23.713 % |
2199.28/2200.50 c | 259106 | 191334 899008 2454231 | 2147483647 251959 327 | 23.713 % |
2202.38/2203.63 c | 259299 | 191334 899008 2454231 | 2147483647 252152 327 | 23.713 % |
2205.38/2206.60 c | 259514 | 191334 899008 2454231 | 2147483647 252367 326 | 23.713 % |
2209.28/2210.52 c | 259750 | 191333 899008 2454231 | 2147483647 252602 326 | 23.719 % |
2210.89/2212.19 c | 260006 | 191333 899008 2454231 | 2147483647 252858 326 | 23.719 % |
2213.88/2215.15 c | 260287 | 191333 899008 2454231 | 2147483647 253139 327 | 23.719 % |
2214.98/2216.22 c | 260596 | 191333 899008 2454231 | 2147483647 253448 327 | 23.719 % |
2217.08/2218.30 c | 260935 | 191333 899008 2454231 | 2147483647 253787 327 | 23.719 % |
2221.17/2222.46 c | 261307 | 191333 899008 2454231 | 2147483647 254159 327 | 23.719 % |
2226.67/2227.99 c | 261716 | 191333 899008 2454231 | 2147483647 254568 327 | 23.719 % |
2232.36/2233.68 c | 262168 | 191333 899008 2454231 | 2147483647 255020 326 | 23.719 % |
2239.86/2241.15 c | 262661 | 191333 899008 2454231 | 2147483647 255513 326 | 23.719 % |
2247.85/2249.14 c | 263204 | 191333 899008 2454231 | 2147483647 256056 326 | 23.719 % |
2256.15/2257.49 c | 263801 | 191333 899008 2454231 | 2147483647 256653 326 | 23.719 % |
2265.25/2266.53 c | 264456 | 191333 899008 2454231 | 2147483647 257308 326 | 23.719 % |
2275.24/2276.54 c | 265177 | 191319 898909 2453965 | 2147483647 258025 325 | 23.719 % |
2283.73/2285.02 c | 265974 | 191318 898909 2453965 | 2147483647 258820 325 | 23.739 % |
2295.92/2297.23 c | 266846 | 191318 898909 2453965 | 2147483647 259692 325 | 23.739 % |
2309.82/2311.16 c | 267804 | 191318 898909 2453965 | 2147483647 260650 325 | 23.739 % |
2322.61/2323.97 c | 268858 | 191317 898909 2453965 | 2147483647 261703 324 | 23.743 % |
2340.11/2341.42 c | 270016 | 191317 898909 2453965 | 2147483647 262861 326 | 23.743 % |
2353.10/2354.47 c | 271292 | 191317 898909 2453965 | 2147483647 264137 326 | 23.743 % |
2373.60/2374.93 c | 272692 | 191259 898544 2453018 | 2147483647 265472 327 | 23.743 % |
2391.68/2393.02 c | 274232 | 191259 898544 2453018 | 2147483647 267012 328 | 23.743 % |
2414.76/2416.19 c | 275926 | 191258 898544 2453018 | 2147483647 268705 327 | 23.744 % |
2439.76/2441.17 c | 277790 | 191225 898378 2452581 | 2147483647 270538 326 | 23.795 % |
2464.24/2465.66 c | 279839 | 191225 898378 2452581 | 2147483647 272587 326 | 23.795 % |
2493.93/2495.35 c | 282092 | 191224 898378 2452581 | 2147483647 274838 327 | 23.806 % |
2520.61/2522.02 c | 284570 | 191224 898378 2452581 | 2147483647 277316 328 | 23.806 % |
2552.50/2553.91 c | 287297 | 191100 897627 2450683 | 2147483647 279934 330 | 23.807 % |
2553.80/2555.27 c | 287398 | 191100 897627 2450683 | 2147483647 280035 329 | 23.807 % |
2555.40/2556.80 c | 287509 | 191100 897627 2450683 | 2147483647 280146 330 | 23.807 % |
2556.60/2558.08 c | 287630 | 191100 897627 2450683 | 2147483647 280267 330 | 23.807 % |
2558.89/2560.36 c | 287763 | 191100 897627 2450683 | 2147483647 280400 330 | 23.807 % |
2562.09/2563.58 c | 287910 | 191100 897627 2450683 | 2147483647 280547 329 | 23.807 % |
2564.29/2565.75 c | 288074 | 191100 897627 2450683 | 2147483647 280711 329 | 23.807 % |
2567.19/2568.65 c | 288254 | 191100 897627 2450683 | 2147483647 280891 329 | 23.807 % |
2570.29/2571.80 c | 288447 | 191100 897627 2450683 | 2147483647 281084 329 | 23.807 % |
2572.99/2574.49 c | 288659 | 191100 897627 2450683 | 2147483647 281296 329 | 23.807 % |
2577.28/2578.77 c | 288894 | 191100 897627 2450683 | 2147483647 281531 329 | 23.807 % |
2581.18/2582.69 c | 289151 | 191100 897627 2450683 | 2147483647 281788 329 | 23.807 % |
2584.87/2586.35 c | 289432 | 191100 897627 2450683 | 2147483647 282069 329 | 23.807 % |
2589.67/2591.12 c | 289741 | 191100 897627 2450683 | 2147483647 282378 329 | 23.807 % |
2595.07/2596.53 c | 290082 | 191098 897627 2450683 | 2147483647 282717 329 | 23.814 % |
2600.47/2601.98 c | 290454 | 191098 897627 2450683 | 2147483647 283089 329 | 23.814 % |
2606.77/2608.23 c | 290865 | 191098 897627 2450683 | 2147483647 283499 329 | 23.821 % |
2613.47/2614.97 c | 291317 | 191062 897393 2450096 | 2147483647 283925 329 | 23.822 % |
2619.06/2620.50 c | 291811 | 191062 897393 2450096 | 2147483647 284419 329 | 23.822 % |
2625.36/2626.82 c | 292354 | 191062 897393 2450096 | 2147483647 284962 328 | 23.822 % |
2632.55/2634.09 c | 292952 | 191062 897393 2450096 | 2147483647 285560 328 | 23.822 % |
2639.96/2641.47 c | 293607 | 191062 897393 2450096 | 2147483647 286215 329 | 23.822 % |
2651.15/2652.70 c | 294328 | 191062 897393 2450096 | 2147483647 286936 329 | 23.822 % |
2664.24/2665.75 c | 295121 | 191062 897393 2450096 | 2147483647 287729 328 | 23.822 % |
2677.24/2678.78 c | 295993 | 191062 897393 2450096 | 2147483647 288601 328 | 23.822 % |
2691.72/2693.26 c | 296951 | 191062 897393 2450096 | 2147483647 289559 327 | 23.822 % |
2703.42/2704.95 c | 298009 | 190665 895594 2445717 | 2147483647 290340 327 | 23.980 % |
2718.21/2719.75 c | 299168 | 190665 895594 2445717 | 2147483647 291499 328 | 23.980 % |
2738.40/2739.91 c | 300443 | 190665 895594 2445717 | 2147483647 292773 328 | 23.980 % |
2755.10/2756.69 c | 301843 | 190665 895594 2445717 | 2147483647 294172 327 | 23.981 % |
2774.19/2775.74 c | 303383 | 190664 895594 2445717 | 2147483647 295709 326 | 23.998 % |
2797.48/2799.05 c | 305081 | 190619 895347 2445074 | 2147483647 297371 328 | 23.998 % |
2821.47/2823.02 c | 306946 | 190619 895347 2445074 | 2147483647 299236 329 | 23.998 % |
2847.55/2849.14 c | 308996 | 190619 895347 2445074 | 2147483647 301286 330 | 23.998 % |
2874.63/2876.21 c | 311249 | 190619 895347 2445074 | 2147483647 303537 330 | 24.011 % |
2908.22/2909.81 c | 313727 | 190619 895347 2445074 | 2147483647 306014 329 | 24.012 % |
2943.60/2945.21 c | 316452 | 190579 895157 2444597 | 2147483647 308731 330 | 24.014 % |
2990.39/2992.00 c | 319449 | 190577 895157 2444597 | 2147483647 311726 329 | 24.023 % |
2991.39/2993.07 c | 319549 | 190577 895157 2444597 | 2147483647 311826 329 | 24.023 % |
2992.88/2994.54 c | 319659 | 190577 895157 2444597 | 2147483647 311936 329 | 24.023 % |
2993.78/2995.45 c | 319783 | 190577 895157 2444597 | 2147483647 312060 329 | 24.023 % |
2994.88/2996.55 c | 319917 | 190577 895157 2444597 | 2147483647 312194 329 | 24.023 % |
2996.78/2998.41 c | 320063 | 190577 895157 2444597 | 2147483647 312340 329 | 24.023 % |
2999.88/3001.51 c | 320225 | 190577 895157 2444597 | 2147483647 312502 329 | 24.023 % |
3003.28/3004.92 c | 320401 | 190577 895157 2444597 | 2147483647 312678 329 | 24.023 % |
3005.68/3007.30 c | 320599 | 190577 895157 2444597 | 2147483647 312875 329 | 24.029 % |
3007.07/3008.74 c | 320811 | 190577 895157 2444597 | 2147483647 313087 329 | 24.029 % |
3008.77/3010.48 c | 321047 | 190541 894922 2444011 | 2147483647 313285 329 | 24.029 % |
3010.07/3011.80 c | 321304 | 190541 894922 2444011 | 2147483647 313542 329 | 24.029 % |
3012.47/3014.12 c | 321590 | 190541 894922 2444011 | 2147483647 313828 329 | 24.029 % |
3015.07/3016.71 c | 321899 | 190541 894922 2444011 | 2147483647 314137 329 | 24.029 % |
3020.07/3021.74 c | 322238 | 190541 894922 2444011 | 2147483647 314476 329 | 24.029 % |
3025.76/3027.46 c | 322610 | 190540 894922 2444011 | 2147483647 314847 329 | 24.030 % |
3031.35/3033.09 c | 323019 | 190532 894922 2444011 | 2147483647 315248 329 | 24.033 % |
3039.25/3040.98 c | 323469 | 190532 894922 2444011 | 2147483647 315698 329 | 24.033 % |
3048.44/3050.12 c | 323963 | 190531 894922 2444011 | 2147483647 316191 329 | 24.040 % |
3056.45/3058.20 c | 324506 | 190531 894922 2444011 | 2147483647 316734 328 | 24.040 % |
3064.74/3066.43 c | 325102 | 190531 894922 2444011 | 2147483647 317330 328 | 24.040 % |
3073.23/3074.92 c | 325757 | 190531 894922 2444011 | 2147483647 317985 328 | 24.040 % |
3083.63/3085.32 c | 326479 | 190531 894922 2444011 | 2147483647 318707 327 | 24.040 % |
3090.93/3092.62 c | 327274 | 190531 894922 2444011 | 2147483647 319502 327 | 24.040 % |
3103.62/3105.38 c | 328146 | 190531 894922 2444011 | 2147483647 320374 328 | 24.040 % |
3118.01/3119.79 c | 329106 | 190531 894922 2444011 | 2147483647 321334 327 | 24.040 % |
3132.31/3134.09 c | 330162 | 190514 894783 2443666 | 2147483647 322378 327 | 24.047 % |
3150.30/3152.02 c | 331320 | 190513 894783 2443666 | 2147483647 323535 327 | 24.055 % |
3169.60/3171.35 c | 332593 | 190513 894783 2443666 | 2147483647 324808 328 | 24.055 % |
3187.18/3188.91 c | 333996 | 190512 894783 2443666 | 2147483647 326209 328 | 24.074 % |
3204.18/3205.97 c | 335537 | 190512 894783 2443666 | 2147483647 327750 328 | 24.074 % |
3225.16/3226.90 c | 337232 | 190512 894783 2443666 | 2147483647 329445 328 | 24.075 % |
3254.26/3256.04 c | 339096 | 190409 894164 2442020 | 2147483647 331299 327 | 24.082 % |
3279.13/3280.94 c | 341145 | 190409 894164 2442020 | 2147483647 333348 328 | 24.082 % |
3308.13/3309.95 c | 343399 | 190409 894164 2442020 | 2147483647 335601 328 | 24.088 % |
3351.40/3353.20 c | 345878 | 190409 894164 2442020 | 2147483647 338080 327 | 24.088 % |
3391.08/3392.95 c | 348603 | 190395 894071 2441789 | 2147483647 340787 326 | 24.088 % |
3433.25/3435.10 c | 351602 | 190394 894071 2441789 | 2147483647 343784 326 | 24.102 % |
3481.03/3482.96 c | 354900 | 190394 894071 2441789 | 2147483647 347081 329 | 24.103 % |
3482.94/3484.83 c | 355000 | 190357 893892 2441332 | 2147483647 347169 329 | 24.103 % |
3484.43/3486.39 c | 355111 | 190356 893892 2441332 | 2147483647 347279 329 | 24.952 % |
3486.43/3488.36 c | 355233 | 190356 893892 2441332 | 2147483647 347401 329 | 24.952 % |
3488.43/3490.38 c | 355366 | 190356 893892 2441332 | 2147483647 347534 329 | 24.952 % |
3490.42/3492.37 c | 355513 | 190356 893892 2441332 | 2147483647 347681 329 | 24.952 % |
3493.13/3495.05 c | 355673 | 190356 893892 2441332 | 2147483647 347841 329 | 24.952 % |
3495.92/3497.87 c | 355857 | 190356 893892 2441332 | 2147483647 348025 329 | 24.952 % |
3498.62/3500.57 c | 356051 | 190356 893892 2441332 | 2147483647 348219 329 | 24.952 % |
3501.22/3503.18 c | 356263 | 190356 893892 2441332 | 2147483647 348431 329 | 24.952 % |
3504.82/3506.71 c | 356497 | 190356 893892 2441332 | 2147483647 348665 328 | 24.952 % |
3508.42/3510.36 c | 356753 | 190356 893892 2441332 | 2147483647 348921 328 | 24.952 % |
3512.81/3514.79 c | 357036 | 190356 893892 2441332 | 2147483647 349204 328 | 24.952 % |
3517.31/3519.28 c | 357345 | 190356 893892 2441332 | 2147483647 349513 328 | 24.952 % |
3522.41/3524.34 c | 357684 | 190356 893892 2441332 | 2147483647 349852 328 | 24.952 % |
3527.71/3529.66 c | 358056 | 190356 893892 2441332 | 2147483647 350224 327 | 24.952 % |
3534.31/3536.27 c | 358466 | 190356 893892 2441332 | 2147483647 350634 327 | 24.952 % |
3542.00/3543.90 c | 358915 | 190356 893892 2441332 | 2147483647 351083 327 | 24.952 % |
3548.70/3550.64 c | 359408 | 190356 893892 2441332 | 2147483647 351576 327 | 24.952 % |
3556.29/3558.29 c | 359950 | 190356 893892 2441332 | 2147483647 352118 327 | 24.952 % |
3564.69/3566.66 c | 360547 | 190355 893892 2441332 | 2147483647 352714 326 | 24.953 % |
3573.48/3575.47 c | 361203 | 190355 893892 2441332 | 2147483647 353370 326 | 24.953 % |
3582.78/3584.79 c | 361923 | 190355 893892 2441332 | 2147483647 354090 326 | 24.953 % |
3595.27/3597.29 c | 362715 | 190355 893892 2441332 | 2147483647 354882 327 | 24.953 % |
3607.36/3609.37 c | 363586 | 188218 885067 2419550 | 2147483647 346100 326 | 24.956 % |
3618.66/3620.63 c | 364549 | 188218 885067 2419550 | 2147483647 347063 327 | 24.956 % |
3630.66/3632.68 c | 365602 | 188218 885067 2419550 | 2147483647 348116 328 | 24.956 % |
3646.25/3648.25 c | 366762 | 188218 885067 2419550 | 2147483647 349275 327 | 24.972 % |
3662.64/3664.69 c | 368035 | 188214 885067 2419550 | 2147483647 350546 328 | 24.980 % |
3680.84/3682.89 c | 369436 | 188214 885067 2419550 | 2147483647 351947 328 | 24.980 % |
3702.33/3704.37 c | 370976 | 188214 885067 2419550 | 2147483647 353486 327 | 25.411 % |
3726.31/3728.37 c | 372670 | 188214 885067 2419550 | 2147483647 355180 328 | 25.411 % |
3754.69/3756.72 c | 374534 | 187077 880278 2407690 | 2147483647 339499 329 | 25.411 % |
3785.19/3787.20 c | 376585 | 187076 880278 2407690 | 2147483647 341548 328 | 25.450 % |
3823.16/3825.29 c | 378839 | 187076 880278 2407690 | 2147483647 343802 328 | 25.450 % |
3861.94/3864.04 c | 381319 | 187075 880278 2407690 | 2147483647 346280 327 | 25.456 % |
3901.02/3903.13 c | 384044 | 186960 879605 2405979 | 2147483647 348846 326 | 25.458 % |
3940.01/3942.14 c | 387042 | 186959 879605 2405979 | 2147483647 351843 327 | 25.459 % |
3983.78/3985.90 c | 390340 | 186959 879605 2405979 | 2147483647 355141 327 | 25.459 % |
4043.65/4045.87 c | 393967 | 186955 879569 2405893 | 2147483647 358767 325 | 25.459 % |
4045.54/4047.76 c | 394067 | 186955 879569 2405893 | 2147483647 358866 325 | 25.460 % |
4047.04/4049.28 c | 394178 | 186955 879569 2405893 | 2147483647 358977 325 | 25.460 % |
4048.94/4051.12 c | 394299 | 186955 879569 2405893 | 2147483647 359098 325 | 25.460 % |
4051.25/4053.44 c | 394436 | 186955 879569 2405893 | 2147483647 359235 325 | 25.460 % |
4054.24/4056.42 c | 394585 | 186955 879569 2405893 | 2147483647 359384 325 | 25.460 % |
4057.24/4059.41 c | 394746 | 186955 879569 2405893 | 2147483647 359545 325 | 25.460 % |
4058.84/4061.10 c | 394923 | 186955 879569 2405893 | 2147483647 359722 325 | 25.460 % |
4060.63/4062.86 c | 395117 | 186955 879569 2405893 | 2147483647 359916 325 | 25.460 % |
4061.83/4064.04 c | 395330 | 186955 879569 2405893 | 2147483647 360129 325 | 25.460 % |
4064.93/4067.14 c | 395564 | 186955 879569 2405893 | 2147483647 360363 325 | 25.460 % |
4068.83/4071.07 c | 395820 | 186955 879569 2405893 | 2147483647 360619 325 | 25.460 % |
4072.83/4075.04 c | 396101 | 186955 879569 2405893 | 2147483647 360900 325 | 25.460 % |
4077.43/4079.65 c | 396410 | 186955 879569 2405893 | 2147483647 361209 325 | 25.460 % |
4082.63/4084.83 c | 396749 | 186955 879569 2405893 | 2147483647 361548 325 | 25.460 % |
4089.33/4091.53 c | 397121 | 186955 879569 2405893 | 2147483647 361920 325 | 25.460 % |
4094.23/4096.49 c | 397530 | 186955 879569 2405893 | 2147483647 362329 325 | 25.460 % |
4098.12/4100.32 c | 397980 | 186955 879569 2405893 | 2147483647 362779 325 | 25.460 % |
4101.32/4103.57 c | 398474 | 186932 879443 2405588 | 2147483647 363245 325 | 25.468 % |
4110.11/4112.36 c | 399018 | 186932 879443 2405588 | 2147483647 363789 325 | 25.468 % |
4121.11/4123.35 c | 399614 | 186932 879443 2405588 | 2147483647 364385 325 | 25.468 % |
4130.70/4132.95 c | 400270 | 186929 879443 2405588 | 2147483647 365038 325 | 25.470 % |
4139.40/4141.62 c | 400990 | 186929 879443 2405588 | 2147483647 365758 325 | 25.470 % |
4151.40/4153.68 c | 401786 | 186929 879443 2405588 | 2147483647 366553 325 | 25.475 % |
4165.89/4168.19 c | 402657 | 186929 879443 2405588 | 2147483647 367424 325 | 25.475 % |
4182.19/4184.49 c | 403616 | 186929 879443 2405588 | 2147483647 368383 325 | 25.475 % |
4199.78/4202.09 c | 404670 | 186928 879443 2405588 | 2147483647 369436 324 | 25.478 % |
4218.96/4221.21 c | 405829 | 186928 879443 2405588 | 2147483647 370595 323 | 25.478 % |
4238.45/4240.79 c | 407102 | 186928 879443 2405588 | 2147483647 371868 323 | 25.478 % |
4263.64/4265.91 c | 408502 | 186909 879319 2405275 | 2147483647 373258 322 | 25.478 % |
4285.83/4288.12 c | 410046 | 186909 879319 2405275 | 2147483647 374802 322 | 25.478 % |
4312.61/4314.93 c | 411740 | 186908 879319 2405275 | 2147483647 376495 322 | 25.478 % |
4340.51/4342.86 c | 413606 | 186908 879319 2405275 | 2147483647 378360 322 | 25.478 % |
4365.48/4367.87 c | 415655 | 186907 879319 2405275 | 2147483647 380407 322 | 25.497 % |
4393.07/4395.41 c | 417913 | 186861 879087 2404752 | 2147483647 382508 323 | 25.497 % |
4419.86/4422.24 c | 420391 | 186861 879087 2404752 | 2147483647 384986 324 | 25.497 % |
4457.74/4460.10 c | 423118 | 186859 879087 2404752 | 2147483647 387711 324 | 25.501 % |
4502.31/4504.77 c | 426115 | 186858 879087 2404752 | 2147483647 390707 324 | 25.501 % |
4541.99/4544.47 c | 429412 | 186850 879007 2404527 | 2147483647 393997 323 | 25.501 % |
4583.98/4586.42 c | 433037 | 186843 879007 2404527 | 2147483647 397618 325 | 25.505 % |
4648.04/4650.50 c | 437024 | 186835 879007 2404527 | 2147483647 401602 326 | 25.529 % |
4650.94/4653.50 c | 437131 | 186780 878703 2403772 | 2147483647 391007 323 | 25.529 % |
4652.84/4655.35 c | 437247 | 186780 878703 2403772 | 2147483647 391123 323 | 25.529 % |
4654.74/4657.24 c | 437368 | 186780 878703 2403772 | 2147483647 391244 323 | 25.529 % |
4657.14/4659.64 c | 437501 | 186780 878703 2403772 | 2147483647 391377 323 | 25.529 % |
4659.34/4661.88 c | 437650 | 186780 878703 2403772 | 2147483647 391526 323 | 25.529 % |
4661.83/4664.33 c | 437810 | 186780 878703 2403772 | 2147483647 391686 323 | 25.529 % |
4664.83/4667.32 c | 437987 | 186780 878703 2403772 | 2147483647 391863 323 | 25.529 % |
4667.93/4670.44 c | 438181 | 186780 878703 2403772 | 2147483647 392057 323 | 25.529 % |
4670.83/4673.35 c | 438394 | 186780 878703 2403772 | 2147483647 392270 323 | 25.529 % |
4674.63/4677.19 c | 438628 | 186780 878703 2403772 | 2147483647 392504 323 | 25.529 % |
4679.13/4681.67 c | 438888 | 186780 878703 2403772 | 2147483647 392763 323 | 25.529 % |
4684.42/4686.91 c | 439171 | 186780 878703 2403772 | 2147483647 393046 323 | 25.529 % |
4689.42/4691.96 c | 439483 | 186780 878703 2403772 | 2147483647 393358 323 | 25.529 % |
4694.52/4697.07 c | 439822 | 186780 878703 2403772 | 2147483647 393697 322 | 25.529 % |
4701.21/4703.74 c | 440195 | 186780 878703 2403772 | 2147483647 394070 322 | 25.529 % |
4708.81/4711.30 c | 440612 | 186780 878703 2403772 | 2147483647 394487 322 | 25.529 % |
4716.91/4719.45 c | 441066 | 186780 878703 2403772 | 2147483647 394941 322 | 25.529 % |
4723.20/4725.78 c | 441559 | 186780 878703 2403772 | 2147483647 395434 322 | 25.529 % |
4731.00/4733.54 c | 442102 | 186780 878703 2403772 | 2147483647 395977 322 | 25.529 % |
4740.99/4743.59 c | 442698 | 186780 878703 2403772 | 2147483647 396573 322 | 25.529 % |
4751.49/4754.08 c | 443353 | 186780 878703 2403772 | 2147483647 397228 322 | 25.529 % |
4760.58/4763.17 c | 444073 | 186780 878703 2403772 | 2147483647 397947 322 | 25.535 % |
4770.98/4773.58 c | 444865 | 186780 878703 2403772 | 2147483647 398739 322 | 25.535 % |
4783.27/4785.82 c | 445738 | 186779 878703 2403772 | 2147483647 399611 322 | 25.536 % |
4794.17/4796.72 c | 446696 | 186759 878554 2403380 | 2147483647 400538 322 | 25.537 % |
4811.86/4814.40 c | 447749 | 186759 878554 2403380 | 2147483647 401591 321 | 25.537 % |
4831.55/4834.11 c | 448907 | 186758 878554 2403380 | 2147483647 402746 321 | 25.562 % |
4849.34/4851.96 c | 450180 | 186757 878554 2403380 | 2147483647 404018 321 | 25.572 % |
4869.83/4872.48 c | 451580 | 186756 878554 2403380 | 2147483647 405417 321 | 25.582 % |
4894.22/4896.88 c | 453120 | 186756 878554 2403380 | 2147483647 406957 321 | 25.582 % |
4917.61/4920.24 c | 454814 | 186756 878554 2403380 | 2147483647 408651 321 | 25.582 % |
4944.70/4947.39 c | 456677 | 186756 878554 2403380 | 2147483647 410514 322 | 25.582 % |
4981.68/4984.35 c | 458727 | 186646 878047 2402180 | 2147483647 412550 322 | 25.583 % |
5016.77/5019.45 c | 460982 | 186646 878047 2402180 | 2147483647 414805 322 | 25.583 % |
5062.54/5065.28 c | 463460 | 186646 878047 2402180 | 2147483647 417283 322 | 25.583 % |
5107.31/5110.08 c | 466187 | 186641 878008 2402084 | 2147483647 420006 321 | 25.584 % |
5154.39/5157.16 c | 469185 | 186640 878008 2402084 | 2147483647 423002 321 | 26.436 % |
5213.37/5216.14 c | 472481 | 186639 878008 2402084 | 2147483647 426296 319 | 26.458 % |
5271.23/5274.07 c | 476106 | 186638 878008 2402084 | 2147483647 429919 319 | 26.502 % |
5332.80/5335.62 c | 480094 | 184339 867706 2376087 | 2147483647 433500 318 | 26.512 % |
5399.66/5402.59 c | 484479 | 184339 867706 2376087 | 2147483647 437884 317 | 26.513 % |
5401.17/5404.07 c | 484587 | 184339 867706 2376087 | 2147483647 437992 317 | 26.513 % |
5402.37/5405.26 c | 484697 | 184339 867706 2376087 | 2147483647 438102 317 | 26.513 % |
5403.77/5406.70 c | 484819 | 184339 867706 2376087 | 2147483647 438224 317 | 26.513 % |
5406.37/5409.21 c | 484954 | 184338 867706 2376087 | 2147483647 438358 317 | 26.514 % |
5408.67/5411.54 c | 485102 | 184338 867706 2376087 | 2147483647 438506 317 | 26.514 % |
5412.07/5414.96 c | 485263 | 184338 867706 2376087 | 2147483647 438667 317 | 26.514 % |
5415.97/5418.86 c | 485448 | 184338 867706 2376087 | 2147483647 438852 317 | 26.514 % |
5419.07/5421.98 c | 485641 | 184338 867706 2376087 | 2147483647 439045 317 | 26.514 % |
5422.66/5425.58 c | 485856 | 184338 867706 2376087 | 2147483647 439260 317 | 26.514 % |
5427.46/5430.35 c | 486090 | 184309 867558 2375705 | 2147483647 439469 317 | 26.514 % |
5432.35/5435.25 c | 486346 | 184309 867558 2375705 | 2147483647 439725 317 | 26.514 % |
5438.34/5441.26 c | 486627 | 184309 867558 2375705 | 2147483647 440005 317 | 26.515 % |
5443.44/5446.30 c | 486936 | 184309 867558 2375705 | 2147483647 440314 317 | 26.515 % |
5449.44/5452.30 c | 487275 | 184309 867558 2375705 | 2147483647 440653 316 | 26.515 % |
5456.64/5459.56 c | 487650 | 184309 867558 2375705 | 2147483647 441028 316 | 26.515 % |
5462.83/5465.72 c | 488060 | 184308 867558 2375705 | 2147483647 441437 316 | 26.517 % |
5471.63/5474.59 c | 488509 | 184308 867558 2375705 | 2147483647 441886 316 | 26.517 % |
5477.72/5480.63 c | 489002 | 184308 867558 2375705 | 2147483647 442379 316 | 26.517 % |
5484.92/5487.81 c | 489544 | 184308 867558 2375705 | 2147483647 442921 316 | 26.517 % |
5494.71/5497.66 c | 490140 | 184308 867558 2375705 | 2147483647 443517 317 | 26.517 % |
5507.60/5510.55 c | 490796 | 184308 867558 2375705 | 2147483647 444173 316 | 26.517 % |
5521.79/5524.74 c | 491518 | 184308 867558 2375705 | 2147483647 444895 316 | 26.517 % |
5534.19/5537.14 c | 492310 | 184308 867558 2375705 | 2147483647 445687 316 | 26.517 % |
5549.99/5552.98 c | 493181 | 184308 867558 2375705 | 2147483647 446558 316 | 26.517 % |
5565.37/5568.38 c | 494139 | 184308 867558 2375705 | 2147483647 447516 316 | 26.517 % |
5583.17/5586.13 c | 495192 | 184308 867558 2375705 | 2147483647 448569 317 | 26.517 % |
5600.86/5603.88 c | 496354 | 184303 867523 2375623 | 2147483647 449712 317 | 26.517 % |
5622.25/5625.22 c | 497629 | 184303 867523 2375623 | 2147483647 450987 318 | 26.517 % |
5643.74/5646.72 c | 499030 | 184303 867523 2375623 | 2147483647 452387 317 | 26.524 % |
5669.22/5672.22 c | 500570 | 184303 867523 2375623 | 2147483647 453926 317 | 26.524 % |
5695.32/5698.36 c | 502266 | 184303 867523 2375623 | 2147483647 455622 316 | 26.524 % |
5724.10/5727.17 c | 504130 | 184303 867523 2375623 | 2147483647 457486 316 | 26.524 % |
5741.99/5745.07 c | 506181 | 184303 867523 2375623 | 2147483647 459537 316 | 26.524 % |
5787.07/5790.14 c | 508437 | 184303 867523 2375623 | 2147483647 461793 316 | 26.524 % |
5828.75/5831.80 c | 510915 | 184284 867411 2375323 | 2147483647 464197 316 | 26.524 % |
5870.73/5873.81 c | 513644 | 184284 867411 2375323 | 2147483647 466925 316 | 26.528 % |
5925.00/5928.12 c | 516645 | 184284 867411 2375323 | 2147483647 469926 316 | 26.528 % |
5982.98/5986.13 c | 519949 | 184272 867346 2375167 | 2147483647 473227 315 | 26.529 % |
6037.54/6040.72 c | 523575 | 184269 867346 2375167 | 2147483647 476850 316 | 26.534 % |
6112.60/6115.83 c | 527565 | 184268 867346 2375167 | 2147483647 480838 315 | 26.541 % |
6186.66/6189.91 c | 531950 | 184268 867346 2375167 | 2147483647 485223 315 | 26.541 % |
6267.91/6271.28 c | 536774 | 184234 867142 2374622 | 2147483647 489990 316 | 26.545 % |
6269.71/6273.10 c | 536875 | 184234 867142 2374622 | 2147483647 490091 316 | 26.545 % |
6271.61/6274.98 c | 536986 | 184234 867142 2374622 | 2147483647 490202 316 | 26.545 % |
6273.61/6277.00 c | 537107 | 184234 867142 2374622 | 2147483647 490323 316 | 26.545 % |
6276.21/6279.52 c | 537240 | 184234 867142 2374622 | 2147483647 490456 316 | 26.545 % |
6278.61/6281.96 c | 537387 | 184234 867142 2374622 | 2147483647 490603 316 | 26.545 % |
6281.30/6284.67 c | 537548 | 184234 867142 2374622 | 2147483647 490764 316 | 26.545 % |
6285.20/6288.51 c | 537730 | 184234 867142 2374622 | 2147483647 490946 316 | 26.545 % |
6288.70/6292.08 c | 537924 | 184234 867142 2374622 | 2147483647 491140 316 | 26.545 % |
6292.10/6295.44 c | 538137 | 184234 867142 2374622 | 2147483647 491353 316 | 26.545 % |
6297.50/6300.85 c | 538370 | 184234 867142 2374622 | 2147483647 491586 316 | 26.545 % |
6302.89/6306.29 c | 538628 | 184234 867142 2374622 | 2147483647 491844 316 | 26.545 % |
6307.89/6311.23 c | 538909 | 184234 867142 2374622 | 2147483647 492125 316 | 26.545 % |
6312.89/6316.28 c | 539219 | 184234 867142 2374622 | 2147483647 492435 316 | 26.545 % |
6318.59/6321.92 c | 539559 | 184234 867142 2374622 | 2147483647 492775 316 | 26.545 % |
6325.68/6329.05 c | 539932 | 184234 867142 2374622 | 2147483647 493148 316 | 26.545 % |
6333.49/6336.81 c | 540341 | 184233 867142 2374622 | 2147483647 493555 315 | 26.545 % |
6342.37/6345.77 c | 540797 | 184233 867142 2374622 | 2147483647 494011 315 | 26.545 % |
6350.67/6354.07 c | 541290 | 184233 867142 2374622 | 2147483647 494504 316 | 26.545 % |
6361.67/6365.06 c | 541832 | 184233 867142 2374622 | 2147483647 495046 316 | 26.545 % |
6371.66/6375.01 c | 542429 | 184233 867142 2374622 | 2147483647 495643 315 | 26.545 % |
6382.55/6385.95 c | 543085 | 184232 867142 2374622 | 2147483647 496298 315 | 26.547 % |
6390.35/6393.73 c | 543808 | 184226 867077 2374460 | 2147483647 497016 315 | 26.547 % |
6403.94/6407.40 c | 544600 | 184226 867077 2374460 | 2147483647 497808 316 | 26.547 % |
6420.83/6424.28 c | 545475 | 184226 867077 2374460 | 2147483647 498683 316 | 26.547 % |
6436.13/6439.59 c | 546435 | 184225 867077 2374460 | 2147483647 499642 316 | 26.548 % |
6456.72/6460.13 c | 547490 | 184225 867077 2374460 | 2147483647 500697 315 | 26.548 % |
6480.81/6484.21 c | 548650 | 184225 867077 2374460 | 2147483647 501857 315 | 26.548 % |
6501.70/6505.12 c | 549925 | 184224 867077 2374460 | 2147483647 503130 315 | 26.564 % |
6529.39/6532.81 c | 551326 | 184224 867077 2374460 | 2147483647 504531 314 | 26.564 % |
6553.18/6556.68 c | 552868 | 184224 867077 2374460 | 2147483647 506073 314 | 26.564 % |
6582.37/6585.89 c | 554563 | 184224 867077 2374460 | 2147483647 507767 313 | 26.564 % |
6609.55/6613.03 c | 556426 | 184184 866834 2373820 | 2147483647 509588 314 | 26.564 % |
6643.74/6647.30 c | 558477 | 184184 866834 2373820 | 2147483647 511639 313 | 26.564 % |
6682.12/6685.67 c | 560731 | 184184 866834 2373820 | 2147483647 513893 312 | 26.564 % |
6725.49/6729.07 c | 563209 | 184184 866834 2373820 | 2147483647 516371 312 | 26.564 % |
6774.67/6778.24 c | 565936 | 184184 866834 2373820 | 2147483647 519097 313 | 26.565 % |
6819.55/6823.18 c | 568934 | 184184 866834 2373820 | 2147483647 522095 313 | 26.565 % |
6877.82/6881.42 c | 572230 | 184182 866826 2373804 | 2147483647 525382 313 | 26.565 % |
6942.28/6945.90 c | 575858 | 184182 866826 2373804 | 2147483647 529010 312 | 26.565 % |
7004.76/7008.47 c | 579846 | 184181 866826 2373804 | 2147483647 532995 313 | 26.568 % |
7081.22/7084.95 c | 584233 | 184173 866778 2373690 | 2147483647 537369 313 | 26.575 % |
7172.38/7176.13 c | 589057 | 184172 866778 2373690 | 2147483647 542191 311 | 26.576 % |
7265.53/7269.32 c | 594363 | 184171 866778 2373690 | 2147483647 547496 311 | 26.576 % |
7267.62/7271.45 c | 594463 | 184171 866778 2373690 | 2147483647 547596 311 | 26.576 % |
7270.12/7273.98 c | 594573 | 184171 866778 2373690 | 2147483647 547706 311 | 26.576 % |
7273.22/7277.10 c | 594695 | 184171 866778 2373690 | 2147483647 547828 311 | 26.576 % |
7275.62/7279.46 c | 594830 | 184171 866778 2373690 | 2147483647 547963 311 | 26.576 % |
7278.92/7282.74 c | 594976 | 184171 866778 2373690 | 2147483647 548109 311 | 26.576 % |
7281.91/7285.79 c | 595136 | 184171 866778 2373690 | 2147483647 548269 311 | 26.576 % |
7286.62/7290.42 c | 595313 | 184153 866653 2373361 | 2147483647 548441 311 | 26.576 % |
7289.62/7293.40 c | 595510 | 184153 866653 2373361 | 2147483647 548638 311 | 26.576 % |
7293.32/7297.18 c | 595731 | 184153 866653 2373361 | 2147483647 548859 311 | 26.576 % |
7296.31/7300.11 c | 595964 | 184153 866653 2373361 | 2147483647 549092 311 | 26.576 % |
7301.31/7305.15 c | 596221 | 184153 866653 2373361 | 2147483647 549349 311 | 26.576 % |
7305.51/7309.37 c | 596503 | 184153 866653 2373361 | 2147483647 549631 311 | 26.576 % |
7311.61/7315.46 c | 596812 | 184153 866653 2373361 | 2147483647 549940 311 | 26.576 % |
7317.60/7321.48 c | 597151 | 184153 866653 2373361 | 2147483647 550279 311 | 26.576 % |
7324.30/7328.12 c | 597524 | 184153 866653 2373361 | 2147483647 550652 311 | 26.576 % |
7330.69/7334.51 c | 597934 | 184153 866653 2373361 | 2147483647 551062 311 | 26.576 % |
7337.99/7341.83 c | 598386 | 184153 866653 2373361 | 2147483647 551514 312 | 26.576 % |
7346.99/7350.85 c | 598879 | 184153 866653 2373361 | 2147483647 552007 312 | 26.576 % |
7357.88/7361.71 c | 599422 | 184153 866653 2373361 | 2147483647 552550 312 | 26.576 % |
7369.07/7372.97 c | 600023 | 184153 866653 2373361 | 2147483647 553151 312 | 26.576 % |
7382.16/7386.05 c | 600678 | 184153 866653 2373361 | 2147483647 553806 312 | 26.576 % |
7396.06/7399.95 c | 601398 | 184153 866653 2373361 | 2147483647 554526 312 | 26.576 % |
7408.65/7412.59 c | 602190 | 184153 866653 2373361 | 2147483647 555318 312 | 26.576 % |
7425.94/7429.81 c | 603062 | 184151 866653 2373361 | 2147483647 556188 311 | 26.596 % |
7445.03/7448.98 c | 604020 | 184151 866653 2373361 | 2147483647 557146 311 | 26.596 % |
7463.53/7467.47 c | 605076 | 184151 866653 2373361 | 2147483647 558202 311 | 26.596 % |
7483.01/7486.95 c | 606236 | 184151 866653 2373361 | 2147483647 559362 312 | 26.596 % |
7508.10/7512.04 c | 607509 | 184151 866653 2373361 | 2147483647 560635 312 | 26.596 % |
7522.90/7526.82 c | 608909 | 184151 866653 2373361 | 2147483647 562035 312 | 26.596 % |
7546.18/7550.17 c | 610452 | 184103 866389 2372673 | 2147483647 563426 312 | 26.596 % |
7575.67/7579.67 c | 612146 | 184103 866389 2372673 | 2147483647 565120 312 | 26.596 % |
7608.26/7612.28 c | 614010 | 184103 866389 2372673 | 2147483647 566983 312 | 26.598 % |
7642.23/7646.23 c | 616059 | 184103 866389 2372673 | 2147483647 569032 312 | 26.598 % |
7692.00/7696.00 c | 618315 | 184103 866389 2372673 | 2147483647 571288 311 | 26.598 % |
7745.27/7749.36 c | 620795 | 184103 866389 2372673 | 2147483647 573768 311 | 26.598 % |
7795.45/7799.53 c | 623520 | 184103 866389 2372673 | 2147483647 576493 313 | 26.598 % |
7856.43/7860.52 c | 626520 | 184099 866367 2372619 | 2147483647 579490 313 | 26.598 % |
7923.09/7927.20 c | 629818 | 184099 866367 2372619 | 2147483647 582787 312 | 26.605 % |
8002.94/8007.18 c | 633446 | 184099 866367 2372619 | 2147483647 586415 311 | 26.605 % |
8071.01/8075.27 c | 637434 | 184099 866367 2372619 | 2147483647 590403 311 | 26.605 % |
8154.97/8159.20 c | 641821 | 184081 866251 2372308 | 2147483647 594785 309 | 26.614 % |
8248.43/8252.79 c | 646645 | 184081 866251 2372308 | 2147483647 599609 308 | 26.614 % |
8344.97/8349.39 c | 651953 | 184081 866251 2372308 | 2147483647 604917 308 | 26.614 % |
8449.82/8454.20 c | 657789 | 184056 866136 2371999 | 2147483647 610721 307 | 26.629 % |
8450.82/8455.21 c | 657892 | 184056 866136 2371999 | 2147483647 610824 307 | 26.629 % |
8453.02/8457.47 c | 658002 | 184056 866136 2371999 | 2147483647 610934 307 | 26.629 % |
8455.62/8460.04 c | 658126 | 184056 866136 2371999 | 2147483647 611058 307 | 26.629 % |
8458.21/8462.63 c | 658262 | 184056 866136 2371999 | 2147483647 611194 307 | 26.629 % |
8462.11/8466.54 c | 658408 | 184056 866136 2371999 | 2147483647 611340 307 | 26.629 % |
8465.61/8470.05 c | 658568 | 184056 866136 2371999 | 2147483647 611500 307 | 26.629 % |
8469.81/8474.20 c | 658746 | 184056 866136 2371999 | 2147483647 611678 307 | 26.629 % |
8472.21/8476.69 c | 658952 | 184056 866136 2371999 | 2147483647 611884 307 | 26.629 % |
8476.61/8481.05 c | 659164 | 184056 866136 2371999 | 2147483647 612096 307 | 26.629 % |
8481.50/8485.96 c | 659398 | 184056 866136 2371999 | 2147483647 612330 307 | 26.629 % |
8486.70/8491.16 c | 659656 | 184056 866136 2371999 | 2147483647 612588 307 | 26.629 % |
8492.10/8496.59 c | 659939 | 184056 866136 2371999 | 2147483647 612871 307 | 26.629 % |
8498.79/8503.26 c | 660248 | 184056 866136 2371999 | 2147483647 613180 307 | 26.629 % |
8505.50/8509.93 c | 660587 | 184056 866136 2371999 | 2147483647 613519 307 | 26.629 % |
8513.09/8517.53 c | 660961 | 184056 866136 2371999 | 2147483647 613893 307 | 26.629 % |
8523.49/8527.97 c | 661373 | 184056 866136 2371999 | 2147483647 614305 307 | 26.629 % |
8532.87/8537.32 c | 661822 | 184056 866136 2371999 | 2147483647 614754 307 | 26.629 % |
8542.97/8547.45 c | 662315 | 184056 866136 2371999 | 2147483647 615247 307 | 26.629 % |
8553.36/8557.86 c | 662859 | 184056 866136 2371999 | 2147483647 615791 307 | 26.629 % |
8565.76/8570.24 c | 663459 | 184056 866136 2371999 | 2147483647 616391 306 | 26.629 % |
8580.15/8584.61 c | 664114 | 184055 866136 2371999 | 2147483647 617045 306 | 26.637 % |
8592.84/8597.38 c | 664836 | 184055 866136 2371999 | 2147483647 617767 306 | 26.637 % |
8607.64/8612.15 c | 665628 | 184055 866136 2371999 | 2147483647 618559 306 | 26.637 % |
8623.63/8628.10 c | 666501 | 184002 865794 2371088 | 2147483647 619318 306 | 26.637 % |
8642.21/8646.77 c | 667459 | 184002 865794 2371088 | 2147483647 620276 306 | 26.637 % |
8660.22/8664.71 c | 668513 | 184002 865794 2371088 | 2147483647 621330 305 | 26.637 % |
8683.80/8688.39 c | 669674 | 184001 865794 2371088 | 2147483647 622490 305 | 26.641 % |
8711.68/8716.30 c | 670952 | 184001 865794 2371088 | 2147483647 623768 305 | 26.641 % |
8739.48/8744.04 c | 672354 | 184000 865794 2371088 | 2147483647 625169 305 | 26.641 % |
8768.67/8773.22 c | 673902 | 184000 865794 2371088 | 2147483647 626717 305 | 26.641 % |
8795.45/8800.01 c | 675598 | 184000 865794 2371088 | 2147483647 628413 305 | 26.641 % |
8833.33/8837.96 c | 677466 | 184000 865794 2371088 | 2147483647 630281 305 | 26.641 % |
8877.10/8881.73 c | 679516 | 184000 865794 2371088 | 2147483647 632331 304 | 26.641 % |
8924.68/8929.30 c | 681770 | 183990 865693 2370814 | 2147483647 634583 304 | 26.641 % |
8971.86/8976.54 c | 684251 | 183990 865693 2370814 | 2147483647 637064 304 | 26.641 % |
9026.22/9031.00 c | 686979 | 183989 865693 2370814 | 2147483647 639791 304 | 26.642 % |
9088.49/9093.22 c | 689976 | 183988 865693 2370814 | 2147483647 642787 305 | 26.652 % |
9152.67/9157.47 c | 693275 | 183987 865693 2370814 | 2147483647 646085 304 | 26.653 % |
9218.63/9223.44 c | 696903 | 183962 865558 2370488 | 2147483647 649685 303 | 26.739 % |
9290.59/9295.49 c | 700890 | 183962 865558 2370488 | 2147483647 653671 303 | 26.746 % |
9370.47/9375.34 c | 705287 | 183962 865558 2370488 | 2147483647 658068 302 | 26.746 % |
9467.41/9472.35 c | 710110 | 183962 865558 2370488 | 2147483647 662891 303 | 26.746 % |
9566.56/9571.56 c | 715419 | 183727 864377 2367537 | 2147483647 668066 302 | 26.746 % |
9681.70/9686.74 c | 721256 | 183726 864377 2367537 | 2147483647 673902 302 | 26.747 % |
9796.14/9801.23 c | 727674 | 183726 864377 2367537 | 2147483647 680320 301 | 26.747 % |
9799.54/9804.65 c | 727774 | 183726 864373 2367529 | 2147483647 680420 301 | 26.747 % |
9802.13/9807.22 c | 727886 | 183726 864373 2367529 | 2147483647 680532 301 | 26.747 % |
9804.14/9809.23 c | 728011 | 183726 864373 2367529 | 2147483647 680657 301 | 26.747 % |
9807.24/9812.31 c | 728145 | 183726 864373 2367529 | 2147483647 680791 301 | 26.747 % |
9810.04/9815.11 c | 728291 | 183726 864373 2367529 | 2147483647 680937 301 | 26.747 % |
9812.94/9818.07 c | 728452 | 183726 864373 2367529 | 2147483647 681098 301 | 26.747 % |
9817.14/9822.28 c | 728628 | 183726 864373 2367529 | 2147483647 681274 301 | 26.747 % |
9820.73/9825.81 c | 728823 | 183726 864373 2367529 | 2147483647 681469 300 | 26.747 % |
9823.63/9828.70 c | 729035 | 183726 864373 2367529 | 2147483647 681681 300 | 26.747 % |
9827.73/9832.84 c | 729269 | 183726 864373 2367529 | 2147483647 681915 300 | 26.747 % |
9832.42/9837.51 c | 729525 | 183726 864373 2367529 | 2147483647 682171 300 | 26.747 % |
9837.32/9842.49 c | 729813 | 183726 864373 2367529 | 2147483647 682459 300 | 26.747 % |
9843.91/9849.07 c | 730123 | 183726 864373 2367529 | 2147483647 682769 300 | 26.747 % |
9849.21/9854.35 c | 730464 | 183726 864373 2367529 | 2147483647 683110 300 | 26.747 % |
9857.01/9862.19 c | 730842 | 183726 864373 2367529 | 2147483647 683488 300 | 26.747 % |
9866.32/9871.45 c | 731251 | 183726 864373 2367529 | 2147483647 683897 300 | 26.747 % |
9876.51/9881.67 c | 731702 | 183726 864373 2367529 | 2147483647 684348 300 | 26.747 % |
9887.40/9892.50 c | 732195 | 183726 864373 2367529 | 2147483647 684841 300 | 26.747 % |
9901.79/9906.99 c | 732738 | 183726 864373 2367529 | 2147483647 685384 300 | 26.747 % |
9915.98/9921.16 c | 733335 | 183726 864373 2367529 | 2147483647 685981 300 | 26.747 % |
9930.77/9935.97 c | 733990 | 183726 864373 2367529 | 2147483647 686636 300 | 26.747 % |
9944.97/9950.17 c | 734710 | 183726 864373 2367529 | 2147483647 687356 300 | 26.747 % |
9960.66/9965.89 c | 735504 | 183726 864373 2367529 | 2147483647 688150 300 | 26.747 % |
9976.36/9981.51 c | 736392 | 183726 864373 2367529 | 2147483647 689038 300 | 26.747 % |
9995.75/10000.91 c | 737352 | 183726 864373 2367529 | 2147483647 689998 300 | 26.747 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837466-1242871372/watcher-1837466-1242871372 -o /tmp/evaluation-result-1837466-1242871372/solver-1837466-1242871372 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837466-1242871372.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.28 1.09 0.97 3/64 27036
/proc/meminfo: memFree=1488232/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=1964 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) R 27034 27036 24783 0 -1 4194304 50 0 0 0 0 0 0 0 19 0 1 0 315165929 2011136 34 1992294400 4194304 4889804 548682068816 18446744073709551615 266887820681 0 0 4096 0 0 0 0 17 0 0 0
/proc/27036/statm: 491 36 28 169 0 8 0
[startup+0.074398 s]
/proc/loadavg: 1.28 1.09 0.97 3/64 27036
/proc/meminfo: memFree=1488232/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102396 s]
/proc/loadavg: 1.28 1.09 0.97 3/64 27036
/proc/meminfo: memFree=1488232/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302449 s]
/proc/loadavg: 1.28 1.09 0.97 3/64 27036
/proc/meminfo: memFree=1488232/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701513 s]
/proc/loadavg: 1.28 1.09 0.97 3/64 27036
/proc/meminfo: memFree=1488232/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50165 s]
/proc/loadavg: 1.28 1.09 0.97 2/66 27041
/proc/meminfo: memFree=1398168/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
[pid=27041] ppid=27036 vsize=169320 CPUtime=1.48
/proc/27041/stat : 27041 (SatELite_releas) R 27036 27036 24783 0 -1 4194304 38642 0 0 0 125 23 0 0 25 0 1 0 315165930 173383680 38460 1992294400 134512640 135223648 4294956128 18446744073709551615 134547562 0 0 4096 3 0 0 0 17 0 0 0
/proc/27041/statm: 42330 38460 50 173 0 42155 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 174676
[startup+3.10196 s]
/proc/loadavg: 1.26 1.08 0.97 2/66 27041
/proc/meminfo: memFree=1326296/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
[pid=27041] ppid=27036 vsize=199004 CPUtime=3.08
/proc/27041/stat : 27041 (SatELite_releas) R 27036 27036 24783 0 -1 4194304 49372 0 0 0 280 28 0 0 25 0 1 0 315165930 203780096 45006 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/27041/statm: 49751 45006 76 173 0 49576 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 204360
[startup+6.30157 s]
/proc/loadavg: 1.26 1.08 0.97 2/66 27041
/proc/meminfo: memFree=1288664/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=0
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315165929 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 237 197 169 0 50 0
[pid=27041] ppid=27036 vsize=233536 CPUtime=6.26
/proc/27041/stat : 27041 (SatELite_releas) R 27036 27036 24783 0 -1 4194304 56712 0 0 0 594 32 0 0 25 0 1 0 315165930 239140864 51479 1992294400 134512640 135223648 4294956128 18446744073709551615 134604565 0 0 4096 3 0 0 0 17 0 0 0
/proc/27041/statm: 58384 51480 76 173 0 58209 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 238892
[startup+12.7018 s]
/proc/loadavg: 1.22 1.08 0.97 2/66 27042
/proc/meminfo: memFree=1435224/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=70664 CPUtime=0.87
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 16230 0 0 0 77 10 0 0 25 0 1 0 315167110 72359936 16118 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 17666 16119 74 171 0 17493 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 76020
[startup+25.5022 s]
/proc/loadavg: 1.26 1.10 0.97 2/66 27042
/proc/meminfo: memFree=1385560/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=74504 CPUtime=13.67
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 17133 0 0 0 1356 11 0 0 25 0 1 0 315167110 76292096 17021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 18626 17021 77 171 0 18453 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 79860
[startup+51.1021 s]
/proc/loadavg: 1.17 1.09 0.97 2/66 27042
/proc/meminfo: memFree=1382872/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=77424 CPUtime=39.26
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 17864 0 0 0 3914 12 0 0 25 0 1 0 315167110 79282176 17752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 19356 17752 77 171 0 19183 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 82780
[startup+102.306 s]
/proc/loadavg: 1.07 1.07 0.97 2/66 27042
/proc/meminfo: memFree=1373976/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=86148 CPUtime=90.42
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 20050 0 0 0 9029 13 0 0 25 0 1 0 315167110 88215552 19938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 21537 19938 77 171 0 21364 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 91504
[startup+162.302 s]
/proc/loadavg: 1.02 1.05 0.97 2/66 27042
/proc/meminfo: memFree=1361048/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=99396 CPUtime=150.38
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 23343 0 0 0 15022 16 0 0 25 0 1 0 315167110 101781504 23231 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 24849 23231 77 171 0 24676 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 104752
[startup+222.302 s]
/proc/loadavg: 1.01 1.04 0.97 2/66 27042
/proc/meminfo: memFree=1348376/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=111916 CPUtime=210.36
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 26470 0 0 0 21017 19 0 0 25 0 1 0 315167110 114601984 26358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 27979 26358 77 171 0 27806 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 117272
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 0.97 2/66 27042
/proc/meminfo: memFree=1334616/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=125816 CPUtime=270.33
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 29955 0 0 0 27010 23 0 0 25 0 1 0 315167110 128835584 29843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 31454 29843 77 171 0 31281 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 131172
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 27042
/proc/meminfo: memFree=1320920/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=139312 CPUtime=330.31
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 33314 0 0 0 33004 27 0 0 25 0 1 0 315167110 142655488 33202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 34828 33202 77 171 0 34655 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 144668
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 27042
/proc/meminfo: memFree=1306904/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=153336 CPUtime=390.26
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 36836 0 0 0 38996 30 0 0 25 0 1 0 315167110 157016064 36724 1992294400 134512640 135215339 4294956240 18446744073709551615 134525865 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 38334 36724 77 171 0 38161 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 158692
[startup+462.303 s]
################
# More data... #
################
/proc/27042/statm: 221545 219296 77 171 0 221372 0
Current children cumulated CPU time (s) 9337.48
Current children cumulated vsize (KiB) 891536
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27058
/proc/meminfo: memFree=565336/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=891248 CPUtime=9385.68
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 220688 0 0 0 938337 231 0 0 25 0 1 0 315167110 912637952 220576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 222812 220576 77 171 0 222639 0
Current children cumulated CPU time (s) 9397.45
Current children cumulated vsize (KiB) 896604
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27058
/proc/meminfo: memFree=561816/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=894696 CPUtime=9445.65
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 221545 0 0 0 944333 232 0 0 25 0 1 0 315167110 916168704 221433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 223674 221433 77 171 0 223501 0
Current children cumulated CPU time (s) 9457.42
Current children cumulated vsize (KiB) 900052
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27058
/proc/meminfo: memFree=559000/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=897336 CPUtime=9505.62
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 222242 0 0 0 950329 233 0 0 25 0 1 0 315167110 918872064 222130 1992294400 134512640 135215339 4294956240 18446744073709551615 134538571 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 224334 222130 77 171 0 224161 0
Current children cumulated CPU time (s) 9517.39
Current children cumulated vsize (KiB) 902692
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27058
/proc/meminfo: memFree=556248/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=899976 CPUtime=9565.59
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 222927 0 0 0 956325 234 0 0 25 0 1 0 315167110 921575424 222815 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 224994 222815 77 171 0 224821 0
Current children cumulated CPU time (s) 9577.36
Current children cumulated vsize (KiB) 905332
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27058
/proc/meminfo: memFree=553752/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=902668 CPUtime=9625.56
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 223561 0 0 0 962321 235 0 0 25 0 1 0 315167110 924332032 223449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 225667 223449 77 171 0 225494 0
Current children cumulated CPU time (s) 9637.33
Current children cumulated vsize (KiB) 908024
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=550040/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=906100 CPUtime=9685.53
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 224427 0 0 0 968318 235 0 0 25 0 1 0 315167110 927846400 224315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 226525 224315 77 171 0 226352 0
Current children cumulated CPU time (s) 9697.3
Current children cumulated vsize (KiB) 911456
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=546904/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=909204 CPUtime=9745.49
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 225233 0 0 0 974313 236 0 0 25 0 1 0 315167110 931024896 225121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 227301 225121 77 171 0 227128 0
Current children cumulated CPU time (s) 9757.26
Current children cumulated vsize (KiB) 914560
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=544280/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=911844 CPUtime=9805.47
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 225900 0 0 0 980310 237 0 0 25 0 1 0 315167110 933728256 225788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 227961 225788 77 171 0 227788 0
Current children cumulated CPU time (s) 9817.24
Current children cumulated vsize (KiB) 917200
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=541080/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=915084 CPUtime=9865.44
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 226669 0 0 0 986306 238 0 0 25 0 1 0 315167110 937046016 226557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 228771 226557 77 171 0 228598 0
Current children cumulated CPU time (s) 9877.21
Current children cumulated vsize (KiB) 920440
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=538904/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=917296 CPUtime=9925.4
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 227212 0 0 0 992302 238 0 0 25 0 1 0 315167110 939311104 227100 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 229324 227100 77 171 0 229151 0
Current children cumulated CPU time (s) 9937.17
Current children cumulated vsize (KiB) 922652
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=535128/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=921276 CPUtime=9985.38
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 228155 0 0 0 998298 240 0 0 25 0 1 0 315167110 943386624 228043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 230319 228043 77 171 0 230146 0
Current children cumulated CPU time (s) 9997.15
Current children cumulated vsize (KiB) 926632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10005.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27060
/proc/meminfo: memFree=535000/2055920 swapFree=4143668/4192956
[pid=27036] ppid=27034 vsize=5356 CPUtime=11.77
/proc/27036/stat : 27036 (SatELiteGTI) S 27034 27036 24783 0 -1 4194304 336 64792 0 0 0 0 1125 52 16 0 1 0 315165929 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27036/statm: 1339 239 197 169 0 50 0
[pid=27042] ppid=27036 vsize=921276 CPUtime=9988.28
/proc/27042/stat : 27042 (minisat_static) R 27036 27036 24783 0 -1 4194304 228182 0 0 0 998588 240 0 0 25 0 1 0 315167110 943386624 228070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/27042/statm: 230319 228070 77 171 0 230146 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 926632
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 27036 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=263287
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=522920
# CPU time returned by wait4() is 11.7862
# 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): 10005.2
CPU time (s): 10000
CPU user time (s): 9997.13
CPU system time (s): 2.92
CPU usage (%): 99.9484
Max. virtual memory (cumulated for all children) (KiB): 926632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2633
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65128
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= 64
runsolver used 8.09377 second user time and 28.4047 second system time
The end
Begin job on node38 at 2009-05-21 04:02:55
IDJOB=1837466
IDBENCH=71009
IDSOLVER=674
FILE ID=node38/1837466-1242871372
PBS_JOBID= 9328567
Free space on /tmp= 66132 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-20-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837466-1242871372/watcher-1837466-1242871372 -o /tmp/evaluation-result-1837466-1242871372/solver-1837466-1242871372 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837466-1242871372.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 31a85166c16c74a5f2dcee32f2093a67
RANDOM SEED=616660998
node38.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.265
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.265
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1488712 kB
Buffers: 50604 kB
Cached: 402292 kB
SwapCached: 43436 kB
Active: 237732 kB
Inactive: 261012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1488712 kB
SwapTotal: 4192956 kB
SwapFree: 4143668 kB
Dirty: 35428 kB
Writeback: 0 kB
Mapped: 14068 kB
Slab: 54356 kB
Committed_AS: 1119272 kB
PageTables: 1476 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= 66096 MiB
End job on node38 at 2009-05-21 06:49:42