0.00/0.00 c Parsing...
0.00/0.39 c ==============================================================================
0.00/0.39 c | | ORIGINAL | LEARNT | |
0.00/0.39 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.39 c ==============================================================================
0.00/0.39 c | 0 | 459963 1073247 | 137988 0 0 nan | 0.000 % |
16.27/16.39 c | 0 | 179278 803454 | -- 0 -- -- | -- | -280663/-269740
16.27/16.39 c ==============================================================================
16.27/16.39 c Result : #vars: 13881 #clauses: 179278 #literals: 803454
16.27/16.39 c CPU time: 15.9956 s
16.27/16.39 c ==============================================================================
16.57/16.64 c This is MiniSat 2.0 beta
16.57/16.64 c WARNING: for repeatability, setting FPU to use double precision
16.57/16.65 c ============================[ Problem Statistics ]=============================
16.57/16.65 c | |
16.57/16.65 c | Number of variables: 13881 |
16.57/16.65 c | Number of clauses: 179278 |
16.62/16.78 c | Parsing time: 0.11 s |
16.62/16.79 c ============================[ Search Statistics ]==============================
16.62/16.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
16.62/16.79 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.62/16.79 c ===============================================================================
16.62/16.79 c | 0 | 13881 179278 803454 | 59759 0 nan | 0.000 % |
16.62/16.84 c | 100 | 13881 179278 803454 | 59759 100 18 | 0.000 % |
16.62/16.91 c | 200 | 13881 179278 803454 | 59759 200 13 | 0.000 % |
16.62/16.95 c | 300 | 13881 179278 803454 | 59759 300 11 | 0.000 % |
16.62/16.97 c | 412 | 13881 179278 803454 | 59759 412 27 | 0.000 % |
16.62/17.01 c | 512 | 13881 179278 803454 | 59759 512 24 | 0.000 % |
16.62/17.05 c | 622 | 13881 179278 803454 | 59759 622 24 | 0.000 % |
16.62/17.08 c | 743 | 13881 179278 803454 | 59759 743 23 | 0.000 % |
16.62/17.13 c | 843 | 13881 179278 803454 | 59759 843 22 | 0.000 % |
16.62/17.20 c | 953 | 13881 179278 803454 | 59759 953 22 | 0.000 % |
16.62/17.29 c | 1105 | 13881 179278 803454 | 59759 1105 37 | 0.000 % |
16.62/17.35 c | 1238 | 13881 179278 803454 | 59759 1238 38 | 0.000 % |
16.62/17.44 c | 1339 | 13881 179278 803454 | 59759 1339 36 | 0.000 % |
16.62/17.53 c | 1449 | 13881 179278 803454 | 59759 1449 35 | 0.000 % |
17.66/17.71 c | 1570 | 13881 179278 803454 | 59759 1570 34 | 0.000 % |
17.66/17.75 c | 1708 | 13881 179278 803454 | 59759 1708 32 | 0.000 % |
17.95/18.04 c | 1854 | 13881 179278 803454 | 59759 1854 30 | 0.000 % |
18.05/18.15 c | 1955 | 13881 179278 803454 | 59759 1955 30 | 0.000 % |
18.05/18.17 c | 2066 | 13881 179278 803454 | 59759 2066 30 | 0.000 % |
18.15/18.26 c | 2187 | 13881 179278 803454 | 59759 2187 30 | 0.000 % |
18.25/18.31 c | 2320 | 13880 179150 803198 | 59759 2318 30 | 0.007 % |
18.25/18.35 c | 2468 | 13880 179150 803198 | 59759 2466 31 | 0.007 % |
18.35/18.41 c | 2628 | 13880 179150 803198 | 59759 2626 32 | 0.007 % |
18.35/18.44 c | 2728 | 13880 179150 803198 | 59759 2726 33 | 0.007 % |
18.35/18.46 c | 2839 | 13880 179150 803198 | 59759 2837 34 | 0.007 % |
18.45/18.59 c | 2960 | 13880 179150 803198 | 59759 2958 34 | 0.007 % |
18.55/18.62 c | 3093 | 13880 179150 803198 | 59759 3091 34 | 0.007 % |
18.66/18.72 c | 3239 | 13880 179150 803198 | 59759 3237 37 | 0.007 % |
18.76/18.80 c | 3401 | 13880 179150 803198 | 59759 3399 43 | 0.007 % |
18.76/18.89 c | 3578 | 13880 179150 803198 | 59759 3576 45 | 0.007 % |
18.95/19.01 c | 3678 | 13880 179150 803198 | 59759 3676 47 | 0.007 % |
18.95/19.07 c | 3788 | 13880 179150 803198 | 59759 3786 47 | 0.007 % |
19.05/19.13 c | 3910 | 13880 179150 803198 | 59759 3908 47 | 0.007 % |
19.15/19.22 c | 4043 | 13880 179150 803198 | 59759 4041 49 | 0.007 % |
19.25/19.31 c | 4189 | 13879 179022 802942 | 59759 4185 49 | 0.014 % |
19.35/19.44 c | 4351 | 13879 179022 802942 | 59759 4347 48 | 0.014 % |
19.45/19.50 c | 4530 | 13879 179022 802942 | 59759 4526 49 | 0.014 % |
19.45/19.58 c | 4723 | 13879 179022 802942 | 59759 4719 51 | 0.014 % |
19.65/19.70 c | 4823 | 13879 179022 802942 | 59759 4819 51 | 0.014 % |
19.65/19.76 c | 4933 | 13879 179022 802942 | 59759 4929 53 | 0.014 % |
19.75/19.85 c | 5054 | 13879 179022 802942 | 59759 5050 53 | 0.014 % |
19.75/19.88 c | 5187 | 13879 179022 802942 | 59759 5183 55 | 0.014 % |
19.85/19.92 c | 5334 | 13879 179022 802942 | 59759 5330 56 | 0.014 % |
19.85/19.96 c | 5495 | 13879 179022 802942 | 59759 5491 56 | 0.014 % |
19.96/20.00 c | 5671 | 13879 179022 802942 | 59759 5667 56 | 0.014 % |
20.26/20.31 c | 5864 | 13879 179022 802942 | 59759 5860 56 | 0.014 % |
20.36/20.40 c | 6077 | 13879 179022 802942 | 59759 6073 60 | 0.014 % |
20.36/20.43 c | 6178 | 13879 179022 802942 | 59759 6174 60 | 0.014 % |
20.36/20.47 c | 6288 | 13879 179022 802942 | 59759 6284 60 | 0.014 % |
20.46/20.52 c | 6409 | 13879 179022 802942 | 59759 6405 61 | 0.014 % |
20.46/20.58 c | 6547 | 13879 179022 802942 | 59759 6543 61 | 0.014 % |
20.56/20.64 c | 6698 | 13879 179022 802942 | 59759 6694 62 | 0.014 % |
20.66/20.72 c | 6858 | 13879 179022 802942 | 59759 6854 63 | 0.014 % |
20.76/20.82 c | 7034 | 13879 179022 802942 | 59759 7030 65 | 0.014 % |
20.76/20.89 c | 7227 | 13879 179022 802942 | 59759 7223 66 | 0.014 % |
20.96/21.01 c | 7440 | 13879 179022 802942 | 59759 7436 68 | 0.014 % |
21.05/21.13 c | 7673 | 13879 179022 802942 | 59759 7669 69 | 0.014 % |
21.15/21.28 c | 7775 | 13879 179022 802942 | 59759 7771 70 | 0.014 % |
21.25/21.33 c | 7885 | 13879 179022 802942 | 59759 7881 70 | 0.014 % |
21.25/21.37 c | 8006 | 13879 179022 802942 | 59759 8002 71 | 0.014 % |
21.35/21.42 c | 8140 | 13879 179022 802942 | 59759 8136 72 | 0.014 % |
21.45/21.59 c | 8286 | 13879 179022 802942 | 59759 8282 73 | 0.014 % |
21.55/21.69 c | 8446 | 13879 179022 802942 | 59759 8442 73 | 0.014 % |
21.85/21.94 c | 8623 | 13879 179022 802942 | 59759 8619 72 | 0.014 % |
21.95/22.02 c | 8816 | 13879 179022 802942 | 59759 8812 72 | 0.014 % |
22.06/22.10 c | 9028 | 13879 179022 802942 | 59759 9024 75 | 0.014 % |
22.16/22.22 c | 9263 | 13879 179022 802942 | 59759 9259 76 | 0.014 % |
22.36/22.42 c | 9522 | 13879 179022 802942 | 59759 9518 78 | 0.014 % |
22.36/22.45 c | 9624 | 13879 179022 802942 | 59759 9620 78 | 0.014 % |
22.36/22.50 c | 9735 | 13879 179022 802942 | 59759 9731 78 | 0.014 % |
22.46/22.56 c | 9857 | 13879 179022 802942 | 59759 9853 79 | 0.014 % |
22.56/22.61 c | 9990 | 13879 179022 802942 | 59759 9986 79 | 0.014 % |
22.56/22.67 c | 10137 | 13879 179022 802942 | 2147483647 10133 79 | 0.014 % |
22.66/22.71 c | 10298 | 13879 179022 802942 | 2147483647 10294 79 | 0.014 % |
22.66/22.76 c | 10474 | 13879 179022 802942 | 2147483647 10470 79 | 0.014 % |
22.76/22.89 c | 10667 | 13879 179022 802942 | 2147483647 10663 79 | 0.014 % |
22.96/23.00 c | 10886 | 13879 179022 802942 | 2147483647 10882 81 | 0.014 % |
22.96/23.07 c | 11122 | 13879 179022 802942 | 2147483647 11118 82 | 0.015 % |
23.16/23.29 c | 11378 | 13879 179022 802942 | 2147483647 11374 85 | 0.014 % |
23.45/23.51 c | 11659 | 13879 179022 802942 | 2147483647 11655 87 | 0.014 % |
23.45/23.56 c | 11760 | 13879 179022 802942 | 2147483647 11756 87 | 0.014 % |
23.55/23.63 c | 11870 | 13879 179022 802942 | 2147483647 11866 88 | 0.014 % |
23.55/23.69 c | 11995 | 13879 179022 802942 | 2147483647 11991 89 | 0.014 % |
23.65/23.75 c | 12128 | 13879 179022 802942 | 2147483647 12124 90 | 0.014 % |
23.65/23.79 c | 12277 | 13879 179022 802942 | 2147483647 12273 90 | 0.014 % |
23.75/23.84 c | 12437 | 13879 179022 802942 | 2147483647 12433 90 | 0.014 % |
23.95/24.01 c | 12617 | 13879 179022 802942 | 2147483647 12613 91 | 0.014 % |
24.05/24.12 c | 12811 | 13879 179022 802942 | 2147483647 12807 92 | 0.014 % |
24.16/24.23 c | 13027 | 13879 179022 802942 | 2147483647 13023 93 | 0.014 % |
24.26/24.32 c | 13260 | 13879 179022 802942 | 2147483647 13256 94 | 0.014 % |
24.45/24.50 c | 13518 | 13879 179022 802942 | 2147483647 13514 95 | 0.014 % |
24.55/24.66 c | 13801 | 13879 179022 802942 | 2147483647 13797 97 | 0.014 % |
24.75/24.83 c | 14112 | 13879 179022 802942 | 2147483647 14108 100 | 0.014 % |
24.85/24.95 c | 14212 | 13879 179022 802942 | 2147483647 14208 100 | 0.014 % |
24.95/25.04 c | 14324 | 13879 179022 802942 | 2147483647 14320 101 | 0.014 % |
25.05/25.19 c | 14445 | 13879 179022 802942 | 2147483647 14441 103 | 0.014 % |
25.15/25.26 c | 14578 | 13879 179022 802942 | 2147483647 14574 103 | 0.014 % |
25.26/25.34 c | 14725 | 13879 179022 802942 | 2147483647 14721 104 | 0.014 % |
25.36/25.49 c | 14885 | 13879 179022 802942 | 2147483647 14881 105 | 0.014 % |
25.45/25.58 c | 15061 | 13879 179022 802942 | 2147483647 15057 106 | 0.014 % |
25.55/25.70 c | 15254 | 13879 179022 802942 | 2147483647 15250 108 | 0.014 % |
25.75/25.85 c | 15466 | 13879 179022 802942 | 2147483647 15462 109 | 0.014 % |
25.95/26.04 c | 15700 | 13879 179022 802942 | 2147483647 15696 110 | 0.014 % |
26.05/26.12 c | 15956 | 13879 179022 802942 | 2147483647 15952 113 | 0.014 % |
26.15/26.28 c | 16242 | 13879 179022 802942 | 2147483647 16238 115 | 0.014 % |
26.45/26.56 c | 16552 | 13879 179022 802942 | 2147483647 16548 116 | 0.014 % |
26.66/26.79 c | 16891 | 13879 179022 802942 | 2147483647 16887 119 | 0.014 % |
26.76/26.86 c | 16991 | 13879 179022 802942 | 2147483647 16987 119 | 0.014 % |
26.86/26.92 c | 17102 | 13879 179022 802942 | 2147483647 17098 120 | 0.014 % |
27.16/27.28 c | 17223 | 13879 179022 802942 | 2147483647 17219 120 | 0.014 % |
27.25/27.38 c | 17356 | 13879 179022 802942 | 2147483647 17352 121 | 0.014 % |
27.46/27.58 c | 17502 | 13879 179022 802942 | 2147483647 17498 121 | 0.014 % |
27.56/27.68 c | 17665 | 13879 179022 802942 | 2147483647 17661 121 | 0.014 % |
27.75/27.83 c | 17847 | 13879 179022 802942 | 2147483647 17843 123 | 0.014 % |
27.85/27.94 c | 18040 | 13879 179022 802942 | 2147483647 18036 123 | 0.014 % |
28.05/28.10 c | 18252 | 13878 178893 802683 | 2147483647 18246 123 | 0.022 % |
28.25/28.32 c | 18485 | 13878 178893 802683 | 2147483647 18479 124 | 0.022 % |
28.45/28.51 c | 18741 | 13878 178893 802683 | 2147483647 18735 125 | 0.022 % |
28.56/28.68 c | 19022 | 13878 178893 802683 | 2147483647 19016 127 | 0.022 % |
28.85/28.96 c | 19334 | 13878 178893 802683 | 2147483647 19328 129 | 0.022 % |
29.05/29.16 c | 19673 | 13878 178893 802683 | 2147483647 19667 131 | 0.022 % |
29.25/29.32 c | 20046 | 13877 178893 802683 | 2147483647 20039 133 | 0.029 % |
29.25/29.37 c | 20147 | 13877 178893 802683 | 2147483647 20140 133 | 0.029 % |
29.35/29.45 c | 20258 | 13877 178893 802683 | 2147483647 20251 134 | 0.029 % |
29.45/29.55 c | 20379 | 13877 178893 802683 | 2147483647 20372 136 | 0.029 % |
29.55/29.65 c | 20515 | 13877 178893 802683 | 2147483647 20508 136 | 0.029 % |
29.65/29.73 c | 20661 | 13877 178893 802683 | 2147483647 20654 137 | 0.029 % |
29.85/29.93 c | 20822 | 13877 178893 802683 | 2147483647 20815 139 | 0.029 % |
30.35/30.40 c | 21008 | 13877 178893 802683 | 2147483647 21001 142 | 0.029 % |
30.55/30.60 c | 21201 | 13877 178893 802683 | 2147483647 21194 143 | 0.029 % |
30.55/30.69 c | 21414 | 13877 178893 802683 | 2147483647 21407 144 | 0.029 % |
30.75/30.83 c | 21651 | 13877 178893 802683 | 2147483647 21644 145 | 0.029 % |
30.95/31.06 c | 21907 | 13877 178893 802683 | 2147483647 21900 147 | 0.029 % |
31.36/31.47 c | 22188 | 13877 178893 802683 | 2147483647 22181 151 | 0.029 % |
31.75/31.83 c | 22497 | 13877 178893 802683 | 2147483647 22490 154 | 0.029 % |
32.05/32.13 c | 22837 | 13877 178764 802424 | 2147483647 22829 157 | 0.029 % |
32.25/32.36 c | 23212 | 13877 178764 802424 | 2147483647 23204 160 | 0.029 % |
32.75/32.84 c | 23621 | 13877 178764 802424 | 2147483647 23613 162 | 0.029 % |
32.85/32.92 c | 23724 | 13877 178764 802424 | 2147483647 23716 162 | 0.029 % |
32.85/32.96 c | 23834 | 13877 178764 802424 | 2147483647 23826 163 | 0.029 % |
32.96/33.03 c | 23957 | 13877 178764 802424 | 2147483647 23949 163 | 0.029 % |
33.06/33.11 c | 24091 | 13877 178764 802424 | 2147483647 24083 165 | 0.029 % |
33.15/33.21 c | 24238 | 13877 178764 802424 | 2147483647 24230 165 | 0.029 % |
33.25/33.38 c | 24399 | 13877 178764 802424 | 2147483647 24391 167 | 0.029 % |
33.45/33.55 c | 24575 | 13877 178764 802424 | 2147483647 24567 168 | 0.029 % |
33.55/33.67 c | 24771 | 13877 178764 802424 | 2147483647 24763 169 | 0.029 % |
33.75/33.84 c | 24983 | 13877 178764 802424 | 2147483647 24975 171 | 0.029 % |
33.95/34.01 c | 25219 | 13877 178764 802424 | 2147483647 25211 173 | 0.029 % |
34.25/34.34 c | 25475 | 13877 178764 802424 | 2147483647 25467 175 | 0.029 % |
34.55/34.63 c | 25757 | 13877 178764 802424 | 2147483647 25749 178 | 0.029 % |
35.05/35.18 c | 26066 | 13877 178764 802424 | 2147483647 26058 183 | 0.029 % |
35.44/35.50 c | 26407 | 13877 178764 802424 | 2147483647 26399 187 | 0.029 % |
35.74/35.82 c | 26783 | 13877 178764 802424 | 2147483647 26775 192 | 0.029 % |
36.14/36.22 c | 27194 | 13877 178764 802424 | 2147483647 27186 196 | 0.029 % |
36.63/36.71 c | 27643 | 13877 178764 802424 | 2147483647 27635 199 | 0.029 % |
36.73/36.88 c | 27758 | 13877 178764 802424 | 2147483647 27750 199 | 0.029 % |
36.83/36.96 c | 27868 | 13877 178764 802424 | 2147483647 27860 200 | 0.029 % |
36.93/37.10 c | 27990 | 13877 178764 802424 | 2147483647 27982 200 | 0.029 % |
37.13/37.22 c | 28123 | 13877 178764 802424 | 2147483647 28115 200 | 0.029 % |
37.53/37.61 c | 28271 | 13877 178764 802424 | 2147483647 28263 201 | 0.029 % |
37.73/37.82 c | 28431 | 13877 178764 802424 | 2147483647 28423 202 | 0.029 % |
37.83/38.00 c | 28608 | 13877 178764 802424 | 2147483647 28600 204 | 0.029 % |
38.03/38.14 c | 28802 | 13877 178764 802424 | 2147483647 28794 204 | 0.029 % |
38.23/38.33 c | 29017 | 13877 178764 802424 | 2147483647 29009 206 | 0.029 % |
38.43/38.51 c | 29254 | 13877 178764 802424 | 2147483647 29246 207 | 0.029 % |
38.62/38.70 c | 29510 | 13877 178764 802424 | 2147483647 29502 209 | 0.029 % |
38.82/38.97 c | 29791 | 13877 178764 802424 | 2147483647 29783 210 | 0.029 % |
39.22/39.33 c | 30102 | 13877 178764 802424 | 2147483647 30094 210 | 0.029 % |
39.63/39.71 c | 30443 | 13877 178764 802424 | 2147483647 30435 211 | 0.029 % |
40.13/40.26 c | 30817 | 13877 178764 802424 | 2147483647 30809 217 | 0.029 % |
41.23/41.38 c | 31237 | 13877 178764 802424 | 2147483647 31229 225 | 0.029 % |
42.22/42.32 c | 31686 | 13877 178764 802424 | 2147483647 31678 231 | 0.029 % |
43.83/43.99 c | 32179 | 13877 178764 802424 | 2147483647 32171 235 | 0.029 % |
44.03/44.18 c | 32280 | 13877 178764 802424 | 2147483647 32272 236 | 0.029 % |
44.23/44.31 c | 32390 | 13877 178764 802424 | 2147483647 32382 237 | 0.029 % |
44.33/44.48 c | 32512 | 13877 178764 802424 | 2147483647 32504 238 | 0.029 % |
44.53/44.60 c | 32646 | 13877 178764 802424 | 2147483647 32638 238 | 0.029 % |
44.53/44.69 c | 32794 | 13877 178764 802424 | 2147483647 32786 239 | 0.029 % |
44.73/44.89 c | 32954 | 13877 178764 802424 | 2147483647 32946 240 | 0.029 % |
45.23/45.32 c | 33130 | 13877 178764 802424 | 2147483647 33122 241 | 0.029 % |
45.43/45.54 c | 33325 | 13877 178764 802424 | 2147483647 33317 242 | 0.029 % |
45.63/45.76 c | 33538 | 13877 178764 802424 | 2147483647 33530 243 | 0.029 % |
45.82/45.95 c | 33773 | 13877 178764 802424 | 2147483647 33765 243 | 0.029 % |
45.92/46.10 c | 34032 | 13877 178764 802424 | 2147483647 34024 243 | 0.029 % |
46.23/46.39 c | 34313 | 13877 178764 802424 | 2147483647 34305 243 | 0.029 % |
46.72/46.81 c | 34624 | 13877 178764 802424 | 2147483647 34616 244 | 0.029 % |
47.03/47.18 c | 34963 | 13877 178764 802424 | 2147483647 34955 245 | 0.029 % |
47.63/47.77 c | 35336 | 13877 178764 802424 | 2147483647 35328 246 | 0.029 % |
47.93/48.05 c | 35745 | 13877 178764 802424 | 2147483647 35737 247 | 0.029 % |
48.23/48.36 c | 36194 | 13877 178764 802424 | 2147483647 36186 250 | 0.029 % |
49.13/49.29 c | 36692 | 13877 178764 802424 | 2147483647 36684 254 | 0.029 % |
50.02/50.15 c | 37242 | 13877 178764 802424 | 2147483647 37234 259 | 0.029 % |
50.22/50.38 c | 37342 | 13877 178764 802424 | 2147483647 37334 261 | 0.029 % |
50.63/50.72 c | 37452 | 13877 178764 802424 | 2147483647 37444 262 | 0.029 % |
50.83/50.91 c | 37574 | 13877 178764 802424 | 2147483647 37566 263 | 0.029 % |
50.93/51.06 c | 37707 | 13877 178764 802424 | 2147483647 37699 264 | 0.029 % |
51.43/51.55 c | 37855 | 13877 178764 802424 | 2147483647 37847 267 | 0.029 % |
52.33/52.43 c | 38022 | 13877 178764 802424 | 2147483647 38014 270 | 0.029 % |
52.63/52.70 c | 38201 | 13877 178764 802424 | 2147483647 38193 271 | 0.029 % |
52.93/53.03 c | 38394 | 13877 178764 802424 | 2147483647 38386 273 | 0.029 % |
53.23/53.31 c | 38612 | 13877 178764 802424 | 2147483647 38604 275 | 0.029 % |
53.42/53.58 c | 38845 | 13877 178764 802424 | 2147483647 38837 277 | 0.029 % |
54.02/54.10 c | 39103 | 13877 178764 802424 | 2147483647 39095 280 | 0.029 % |
54.42/54.59 c | 39384 | 13877 178764 802424 | 2147483647 39376 282 | 0.029 % |
54.82/54.98 c | 39695 | 13877 178764 802424 | 2147483647 39687 284 | 0.029 % |
55.32/55.41 c | 40034 | 13877 178764 802424 | 2147483647 40026 287 | 0.029 % |
55.92/56.02 c | 40406 | 13877 178764 802424 | 2147483647 40398 288 | 0.029 % |
56.52/56.68 c | 40815 | 13877 178764 802424 | 2147483647 40807 291 | 0.029 % |
57.02/57.15 c | 41264 | 13877 178764 802424 | 2147483647 41256 293 | 0.029 % |
57.42/57.58 c | 41758 | 13877 178764 802424 | 2147483647 41750 291 | 0.029 % |
57.92/58.05 c | 42301 | 13877 178764 802424 | 2147483647 42293 290 | 0.029 % |
58.22/58.38 c | 42898 | 13877 178764 802424 | 2147483647 42890 292 | 0.029 % |
58.32/58.41 c | 42999 | 13877 178764 802424 | 2147483647 42991 292 | 0.029 % |
58.32/58.48 c | 43121 | 13877 178764 802424 | 2147483647 43113 292 | 0.029 % |
58.42/58.58 c | 43243 | 13877 178764 802424 | 2147483647 43235 293 | 0.029 % |
58.52/58.67 c | 43376 | 13877 178764 802424 | 2147483647 43368 293 | 0.029 % |
58.82/58.92 c | 43522 | 13877 178764 802424 | 2147483647 43514 292 | 0.029 % |
59.02/59.12 c | 43682 | 13877 178764 802424 | 2147483647 43674 292 | 0.029 % |
59.13/59.24 c | 43861 | 13877 178764 802424 | 2147483647 43853 292 | 0.029 % |
59.33/59.48 c | 44054 | 13877 178764 802424 | 2147483647 44046 292 | 0.029 % |
59.52/59.68 c | 44266 | 13877 178764 802424 | 2147483647 44258 292 | 0.029 % |
60.53/60.64 c | 44499 | 13877 178764 802424 | 2147483647 44491 293 | 0.029 % |
61.02/61.10 c | 44757 | 13877 178764 802424 | 2147483647 44749 294 | 0.029 % |
61.42/61.52 c | 45038 | 13877 178764 802424 | 2147483647 45030 296 | 0.029 % |
61.92/62.09 c | 45348 | 13877 178764 802424 | 2147483647 45340 300 | 0.029 % |
62.63/62.72 c | 45688 | 13877 178764 802424 | 2147483647 45680 302 | 0.029 % |
62.92/63.06 c | 46062 | 13877 178764 802424 | 2147483647 46054 303 | 0.029 % |
63.92/64.06 c | 46471 | 13877 178764 802424 | 2147483647 46463 308 | 0.029 % |
65.72/65.81 c | 46921 | 13877 178764 802424 | 2147483647 46913 315 | 0.029 % |
66.92/67.10 c | 47415 | 13877 178764 802424 | 2147483647 47407 321 | 0.029 % |
68.32/68.40 c | 47959 | 13877 178764 802424 | 2147483647 47951 325 | 0.029 % |
69.22/69.37 c | 48555 | 13877 178764 802424 | 2147483647 48547 329 | 0.029 % |
71.22/71.39 c | 49213 | 13877 178764 802424 | 2147483647 49205 337 | 0.029 % |
71.62/71.70 c | 49313 | 13877 178764 802424 | 2147483647 49305 339 | 0.029 % |
72.12/72.26 c | 49424 | 13877 178764 802424 | 2147483647 49416 341 | 0.029 % |
72.53/72.63 c | 49547 | 13877 178764 802424 | 2147483647 49539 343 | 0.029 % |
72.62/72.79 c | 49680 | 13877 178764 802424 | 2147483647 49672 342 | 0.029 % |
72.82/72.98 c | 49827 | 13877 178764 802424 | 2147483647 49819 342 | 0.029 % |
73.02/73.14 c | 49992 | 13877 178764 802424 | 2147483647 49984 343 | 0.029 % |
73.42/73.55 c | 50170 | 13877 178764 802424 | 2147483647 50162 344 | 0.029 % |
73.62/73.74 c | 50363 | 13877 178764 802424 | 2147483647 50355 345 | 0.029 % |
73.72/73.81 c | 50577 | 13877 178764 802424 | 2147483647 50569 344 | 0.029 % |
73.92/74.07 c | 50810 | 13877 178764 802424 | 2147483647 50802 345 | 0.029 % |
74.72/74.89 c | 51067 | 13877 178764 802424 | 2147483647 51059 346 | 0.029 % |
75.22/75.33 c | 51350 | 13877 178764 802424 | 2147483647 51342 347 | 0.029 % |
76.32/76.45 c | 51659 | 13877 178764 802424 | 2147483647 51651 350 | 0.029 % |
76.72/76.88 c | 52002 | 13877 178764 802424 | 2147483647 51994 352 | 0.029 % |
77.42/77.53 c | 52377 | 13877 178764 802424 | 2147483647 52369 353 | 0.029 % |
78.02/78.16 c | 52789 | 13877 178764 802424 | 2147483647 52781 354 | 0.029 % |
78.31/78.47 c | 53238 | 13877 178764 802424 | 2147483647 53230 354 | 0.029 % |
79.72/79.81 c | 53732 | 13877 178764 802424 | 2147483647 53724 357 | 0.029 % |
81.02/81.18 c | 54277 | 13877 178764 802424 | 2147483647 54269 361 | 0.029 % |
82.71/82.86 c | 54873 | 13877 178764 802424 | 2147483647 54865 365 | 0.029 % |
83.71/83.80 c | 55529 | 13877 178764 802424 | 2147483647 55521 369 | 0.029 % |
85.91/86.08 c | 56249 | 13877 178764 802424 | 2147483647 56241 373 | 0.029 % |
86.21/86.37 c | 56359 | 13877 178764 802424 | 2147483647 56351 374 | 0.029 % |
86.61/86.71 c | 56469 | 13877 178764 802424 | 2147483647 56461 374 | 0.029 % |
87.01/87.12 c | 56590 | 13877 178764 802424 | 2147483647 56582 375 | 0.029 % |
87.41/87.55 c | 56725 | 13877 178764 802424 | 2147483647 56717 376 | 0.029 % |
87.91/88.07 c | 56878 | 13877 178764 802424 | 2147483647 56870 377 | 0.029 % |
88.51/88.60 c | 57038 | 13877 178764 802424 | 2147483647 57030 379 | 0.029 % |
88.91/89.07 c | 57214 | 13877 178764 802424 | 2147483647 57206 380 | 0.029 % |
89.61/89.76 c | 57411 | 13877 178764 802424 | 2147483647 57403 382 | 0.029 % |
90.12/90.24 c | 57623 | 13877 178764 802424 | 2147483647 57615 383 | 0.029 % |
90.51/90.64 c | 57857 | 13877 178764 802424 | 2147483647 57849 384 | 0.029 % |
90.91/91.04 c | 58115 | 13877 178764 802424 | 2147483647 58107 385 | 0.029 % |
91.71/91.84 c | 58397 | 13877 178764 802424 | 2147483647 58389 386 | 0.029 % |
92.31/92.41 c | 58711 | 13877 178764 802424 | 2147483647 58703 388 | 0.029 % |
92.71/92.81 c | 59051 | 13877 178764 802424 | 2147483647 59043 389 | 0.029 % |
93.71/93.90 c | 59423 | 13877 178764 802424 | 2147483647 59415 391 | 0.029 % |
94.91/95.06 c | 59835 | 13877 178764 802424 | 2147483647 59827 395 | 0.029 % |
96.20/96.35 c | 60285 | 13877 178764 802424 | 2147483647 60277 400 | 0.029 % |
97.82/97.99 c | 60779 | 13877 178764 802424 | 2147483647 60771 405 | 0.029 % |
101.01/101.12 c | 61323 | 13877 178764 802424 | 2147483647 61315 410 | 0.029 % |
102.01/102.16 c | 61924 | 13877 178764 802424 | 2147483647 61916 414 | 0.029 % |
104.71/104.87 c | 62579 | 13877 178764 802424 | 2147483647 62571 420 | 0.029 % |
107.91/108.04 c | 63302 | 13877 178764 802424 | 2147483647 63294 425 | 0.029 % |
111.20/111.38 c | 64095 | 13877 178764 802424 | 2147483647 64087 431 | 0.029 % |
111.50/111.69 c | 64195 | 13877 178764 802424 | 2147483647 64187 432 | 0.029 % |
112.00/112.13 c | 64306 | 13877 178764 802424 | 2147483647 64298 433 | 0.029 % |
112.21/112.37 c | 64431 | 13877 178764 802424 | 2147483647 64423 434 | 0.029 % |
112.50/112.69 c | 64566 | 13877 178764 802424 | 2147483647 64558 434 | 0.029 % |
113.00/113.12 c | 64715 | 13877 178764 802424 | 2147483647 64707 434 | 0.029 % |
113.60/113.70 c | 64875 | 13877 178764 802424 | 2147483647 64867 435 | 0.029 % |
114.11/114.24 c | 65051 | 13877 178764 802424 | 2147483647 65043 436 | 0.029 % |
114.71/114.82 c | 65248 | 13877 178764 802424 | 2147483647 65240 438 | 0.029 % |
115.51/115.66 c | 65467 | 13877 178764 802424 | 2147483647 65459 439 | 0.029 % |
116.10/116.26 c | 65702 | 13877 178764 802424 | 2147483647 65694 440 | 0.029 % |
117.00/117.14 c | 65958 | 13877 178764 802424 | 2147483647 65950 442 | 0.029 % |
117.80/117.98 c | 66247 | 13877 178764 802424 | 2147483647 66239 444 | 0.029 % |
118.81/118.96 c | 66557 | 13877 178764 802424 | 2147483647 66549 446 | 0.029 % |
120.00/120.15 c | 66896 | 13877 178764 802424 | 2147483647 66888 449 | 0.029 % |
121.90/122.00 c | 67268 | 13877 178764 802424 | 2147483647 67260 452 | 0.029 % |
122.61/122.78 c | 67678 | 13877 178764 802424 | 2147483647 67670 452 | 0.029 % |
123.21/123.39 c | 68128 | 13877 178764 802424 | 2147483647 68120 452 | 0.029 % |
124.10/124.22 c | 68622 | 13877 178764 802424 | 2147483647 68614 452 | 0.029 % |
125.30/125.45 c | 69165 | 13877 178764 802424 | 2147483647 69157 454 | 0.029 % |
128.09/128.26 c | 69762 | 13877 178764 802424 | 2147483647 69754 458 | 0.029 % |
130.68/130.87 c | 70419 | 13877 178764 802424 | 2147483647 70411 460 | 0.029 % |
134.89/135.06 c | 71139 | 13877 178764 802424 | 2147483647 71131 465 | 0.029 % |
138.98/139.12 c | 71932 | 13877 178764 802424 | 2147483647 71924 470 | 0.029 % |
141.69/141.88 c | 72806 | 13877 178764 802424 | 2147483647 72798 473 | 0.029 % |
141.99/142.15 c | 72909 | 13877 178764 802424 | 2147483647 72901 473 | 0.029 % |
142.19/142.37 c | 73019 | 13877 178764 802424 | 2147483647 73011 474 | 0.029 % |
142.48/142.65 c | 73141 | 13877 178764 802424 | 2147483647 73133 474 | 0.029 % |
142.89/143.05 c | 73275 | 13877 178764 802424 | 2147483647 73267 474 | 0.029 % |
143.18/143.39 c | 73423 | 13877 178764 802424 | 2147483647 73415 474 | 0.029 % |
143.78/143.90 c | 73584 | 13877 178764 802424 | 2147483647 73576 474 | 0.029 % |
144.09/144.25 c | 73767 | 13877 178764 802424 | 2147483647 73759 474 | 0.029 % |
144.18/144.37 c | 73960 | 13877 178764 802424 | 2147483647 73952 474 | 0.029 % |
144.38/144.56 c | 74172 | 13877 178764 802424 | 2147483647 74164 473 | 0.029 % |
144.59/144.78 c | 74405 | 13877 178764 802424 | 2147483647 74397 473 | 0.029 % |
144.89/145.06 c | 74661 | 13877 178764 802424 | 2147483647 74653 473 | 0.029 % |
145.09/145.30 c | 74946 | 13877 178764 802424 | 2147483647 74938 473 | 0.029 % |
145.49/145.66 c | 75255 | 13877 178764 802424 | 2147483647 75247 473 | 0.029 % |
145.89/146.01 c | 75596 | 13877 178764 802424 | 2147483647 75588 473 | 0.029 % |
146.78/146.93 c | 75968 | 13877 178764 802424 | 2147483647 75960 474 | 0.029 % |
148.08/148.27 c | 76379 | 13877 178764 802424 | 2147483647 76371 475 | 0.029 % |
149.88/150.07 c | 76830 | 13877 178764 802424 | 2147483647 76822 478 | 0.029 % |
151.39/151.58 c | 77324 | 13877 178764 802424 | 2147483647 77316 480 | 0.029 % |
153.28/153.42 c | 77866 | 13877 178764 802424 | 2147483647 77858 483 | 0.029 % |
157.18/157.32 c | 78462 | 13877 178764 802424 | 2147483647 78454 486 | 0.029 % |
161.59/161.79 c | 79118 | 13877 178764 802424 | 2147483647 79110 490 | 0.029 % |
165.08/165.23 c | 79841 | 13877 178764 802424 | 2147483647 79833 493 | 0.029 % |
167.78/167.97 c | 80695 | 13877 178764 802424 | 2147483647 80687 495 | 0.029 % |
172.17/172.34 c | 81566 | 13877 178764 802424 | 2147483647 81558 500 | 0.029 % |
175.77/175.92 c | 82524 | 13877 178764 802424 | 2147483647 82516 504 | 0.029 % |
176.47/176.62 c | 82626 | 13877 178764 802424 | 2147483647 82618 505 | 0.029 % |
176.77/176.99 c | 82738 | 13877 178764 802424 | 2147483647 82730 505 | 0.029 % |
177.27/177.40 c | 82861 | 13877 178764 802424 | 2147483647 82853 506 | 0.029 % |
177.68/177.88 c | 82998 | 13877 178764 802424 | 2147483647 82990 506 | 0.029 % |
178.28/178.43 c | 83144 | 13877 178764 802424 | 2147483647 83136 506 | 0.029 % |
179.07/179.21 c | 83304 | 13877 178764 802424 | 2147483647 83296 506 | 0.029 % |
179.77/179.94 c | 83480 | 13877 178764 802424 | 2147483647 83472 506 | 0.029 % |
180.57/180.71 c | 83675 | 13877 178764 802424 | 2147483647 83667 507 | 0.029 % |
181.38/181.54 c | 83887 | 13877 178764 802424 | 2147483647 83879 507 | 0.029 % |
181.67/181.85 c | 84120 | 13877 178764 802424 | 2147483647 84112 507 | 0.029 % |
182.17/182.30 c | 84378 | 13877 178764 802424 | 2147483647 84370 508 | 0.029 % |
182.57/182.71 c | 84659 | 13877 178764 802424 | 2147483647 84651 508 | 0.029 % |
183.17/183.31 c | 84972 | 13877 178764 802424 | 2147483647 84964 508 | 0.029 % |
183.97/184.16 c | 85311 | 13877 178764 802424 | 2147483647 85303 508 | 0.029 % |
184.97/185.12 c | 85685 | 13877 178764 802424 | 2147483647 85677 508 | 0.029 % |
185.47/185.64 c | 86096 | 13877 178764 802424 | 2147483647 86088 508 | 0.029 % |
186.47/186.64 c | 86548 | 13877 178764 802424 | 2147483647 86540 508 | 0.029 % |
187.67/187.86 c | 87042 | 13877 178764 802424 | 2147483647 87034 509 | 0.029 % |
190.47/190.67 c | 87585 | 13877 178764 802424 | 2147483647 87577 511 | 0.029 % |
193.57/193.77 c | 88182 | 13877 178764 802424 | 2147483647 88174 515 | 0.029 % |
196.37/196.54 c | 88842 | 13877 178764 802424 | 2147483647 88834 518 | 0.029 % |
198.16/198.33 c | 89563 | 13877 178764 802424 | 2147483647 89555 519 | 0.029 % |
199.76/199.93 c | 90355 | 13877 178764 802424 | 2147483647 90347 521 | 0.029 % |
201.87/202.00 c | 91233 | 13877 178764 802424 | 2147483647 91225 523 | 0.029 % |
204.47/204.69 c | 92192 | 13877 178764 802424 | 2147483647 92184 527 | 0.029 % |
207.17/207.38 c | 93260 | 13877 178764 802424 | 2147483647 93252 529 | 0.029 % |
207.57/207.75 c | 93360 | 13877 178764 802424 | 2147483647 93352 530 | 0.029 % |
207.87/208.01 c | 93472 | 13877 178764 802424 | 2147483647 93464 530 | 0.029 % |
208.37/208.53 c | 93602 | 13877 178764 802424 | 2147483647 93594 530 | 0.029 % |
208.66/208.83 c | 93736 | 13877 178764 802424 | 2147483647 93728 530 | 0.029 % |
208.76/209.00 c | 93885 | 13877 178764 802424 | 2147483647 93877 530 | 0.029 % |
209.16/209.32 c | 94046 | 13877 178764 802424 | 2147483647 94038 530 | 0.029 % |
209.86/210.02 c | 94222 | 13877 178764 802424 | 2147483647 94214 530 | 0.029 % |
210.46/210.63 c | 94416 | 13877 178764 802424 | 2147483647 94408 531 | 0.029 % |
210.97/211.14 c | 94628 | 13877 178764 802424 | 2147483647 94620 531 | 0.029 % |
211.27/211.49 c | 94861 | 13877 178764 802424 | 2147483647 94853 530 | 0.029 % |
211.67/211.83 c | 95117 | 13877 178764 802424 | 2147483647 95109 530 | 0.029 % |
211.97/212.12 c | 95400 | 13877 178764 802424 | 2147483647 95392 529 | 0.029 % |
212.36/212.51 c | 95709 | 13877 178764 802424 | 2147483647 95701 529 | 0.029 % |
212.96/213.10 c | 96049 | 13877 178764 802424 | 2147483647 96041 529 | 0.029 % |
213.96/214.16 c | 96424 | 13877 178764 802424 | 2147483647 96416 529 | 0.029 % |
214.76/214.91 c | 96836 | 13877 178764 802424 | 2147483647 96828 530 | 0.029 % |
215.46/215.69 c | 97289 | 13877 178764 802424 | 2147483647 97281 530 | 0.029 % |
216.66/216.85 c | 97784 | 13877 178764 802424 | 2147483647 97776 530 | 0.029 % |
217.76/218.00 c | 98326 | 13877 178764 802424 | 2147483647 98318 531 | 0.029 % |
219.26/219.43 c | 98924 | 13877 178764 802424 | 2147483647 98916 532 | 0.029 % |
220.06/220.27 c | 99586 | 13877 178764 802424 | 2147483647 99578 530 | 0.029 % |
221.16/221.32 c | 100306 | 13877 178764 802424 | 2147483647 100298 529 | 0.029 % |
222.75/222.98 c | 101099 | 13877 178764 802424 | 2147483647 101091 528 | 0.029 % |
224.65/224.81 c | 101985 | 13877 178764 802424 | 2147483647 101977 528 | 0.029 % |
226.95/227.13 c | 102944 | 13877 178764 802424 | 2147483647 102936 528 | 0.029 % |
228.85/229.00 c | 103997 | 13877 178764 802424 | 2147483647 103989 528 | 0.029 % |
231.16/231.30 c | 105158 | 13877 178764 802424 | 2147483647 105150 530 | 0.029 % |
231.36/231.53 c | 105263 | 13877 178764 802424 | 2147483647 105255 530 | 0.029 % |
231.86/232.02 c | 105374 | 13877 178764 802424 | 2147483647 105366 530 | 0.029 % |
232.25/232.46 c | 105495 | 13877 178764 802424 | 2147483647 105487 530 | 0.029 % |
232.75/232.97 c | 105628 | 13877 178764 802424 | 2147483647 105620 531 | 0.029 % |
233.25/233.50 c | 105774 | 13877 178764 802424 | 2147483647 105766 531 | 0.029 % |
233.95/234.18 c | 105935 | 13877 178764 802424 | 2147483647 105927 531 | 0.029 % |
234.65/234.86 c | 106114 | 13877 178764 802424 | 2147483647 106106 532 | 0.029 % |
235.45/235.62 c | 106308 | 13877 178764 802424 | 2147483647 106300 532 | 0.029 % |
236.25/236.41 c | 106521 | 13877 178764 802424 | 2147483647 106513 533 | 0.029 % |
236.85/237.00 c | 106755 | 13877 178764 802424 | 2147483647 106747 533 | 0.029 % |
237.45/237.68 c | 107017 | 13877 178764 802424 | 2147483647 107009 533 | 0.029 % |
238.55/238.71 c | 107309 | 13877 178764 802424 | 2147483647 107301 533 | 0.029 % |
239.26/239.45 c | 107622 | 13877 178764 802424 | 2147483647 107614 533 | 0.029 % |
240.05/240.25 c | 107963 | 13877 178764 802424 | 2147483647 107955 534 | 0.029 % |
241.35/241.53 c | 108335 | 13877 178764 802424 | 2147483647 108327 534 | 0.029 % |
243.25/243.47 c | 108744 | 13877 178764 802424 | 2147483647 108736 536 | 0.029 % |
244.95/245.19 c | 109193 | 13877 178764 802424 | 2147483647 109185 537 | 0.029 % |
248.55/248.71 c | 109686 | 13877 178764 802424 | 2147483647 109678 540 | 0.029 % |
250.55/250.70 c | 110228 | 13877 178764 802424 | 2147483647 110220 542 | 0.029 % |
252.25/252.42 c | 110824 | 13877 178764 802424 | 2147483647 110816 544 | 0.029 % |
255.24/255.40 c | 111479 | 13877 178764 802424 | 2147483647 111471 546 | 0.029 % |
256.45/256.68 c | 112200 | 13877 178764 802424 | 2147483647 112192 546 | 0.029 % |
259.94/260.12 c | 113005 | 13877 178764 802424 | 2147483647 112997 546 | 0.029 % |
261.54/261.76 c | 113876 | 13877 178764 802424 | 2147483647 113868 545 | 0.029 % |
264.94/265.15 c | 114834 | 13877 178764 802424 | 2147483647 114826 547 | 0.029 % |
267.03/267.22 c | 115892 | 13877 178764 802424 | 2147483647 115884 547 | 0.029 % |
271.04/271.29 c | 117061 | 13877 178764 802424 | 2147483647 117053 550 | 0.029 % |
272.64/272.88 c | 118334 | 13877 178764 802424 | 2147483647 118326 548 | 0.029 % |
272.74/272.95 c | 118435 | 13877 178764 802424 | 2147483647 118427 548 | 0.029 % |
272.93/273.16 c | 118557 | 13877 178764 802424 | 2147483647 118549 548 | 0.029 % |
273.03/273.27 c | 118679 | 13877 178764 802424 | 2147483647 118671 548 | 0.029 % |
273.23/273.40 c | 118813 | 13877 178764 802424 | 2147483647 118805 547 | 0.029 % |
273.43/273.66 c | 118959 | 13877 178764 802424 | 2147483647 118951 547 | 0.029 % |
273.63/273.88 c | 119119 | 13877 178764 802424 | 2147483647 119111 547 | 0.029 % |
273.93/274.18 c | 119297 | 13877 178764 802424 | 2147483647 119289 547 | 0.029 % |
274.33/274.57 c | 119490 | 13877 178764 802424 | 2147483647 119482 547 | 0.029 % |
274.83/275.03 c | 119704 | 13877 178764 802424 | 2147483647 119696 547 | 0.029 % |
275.23/275.41 c | 119937 | 13877 178764 802424 | 2147483647 119929 547 | 0.029 % |
275.64/275.88 c | 120193 | 13877 178764 802424 | 2147483647 120185 547 | 0.029 % |
276.53/276.78 c | 120475 | 13877 178764 802424 | 2147483647 120467 548 | 0.029 % |
277.14/277.38 c | 120784 | 13877 178764 802424 | 2147483647 120776 548 | 0.029 % |
278.24/278.42 c | 121127 | 13877 178764 802424 | 2147483647 121119 549 | 0.029 % |
279.43/279.66 c | 121499 | 13877 178764 802424 | 2147483647 121491 550 | 0.029 % |
281.03/281.25 c | 121915 | 13877 178764 802424 | 2147483647 121907 551 | 0.029 % |
282.74/282.95 c | 122364 | 13877 178764 802424 | 2147483647 122356 552 | 0.029 % |
284.33/284.53 c | 122857 | 13877 178764 802424 | 2147483647 122849 554 | 0.029 % |
287.63/287.87 c | 123409 | 13877 178764 802424 | 2147483647 123401 555 | 0.029 % |
290.33/290.55 c | 124005 | 13877 178764 802424 | 2147483647 123997 557 | 0.029 % |
294.13/294.32 c | 124661 | 13877 178764 802424 | 2147483647 124653 559 | 0.029 % |
299.23/299.40 c | 125384 | 13877 178764 802424 | 2147483647 125376 561 | 0.029 % |
302.13/302.35 c | 126181 | 13877 178764 802424 | 2147483647 126173 563 | 0.029 % |
303.93/304.11 c | 127052 | 13877 178764 802424 | 2147483647 127044 563 | 0.029 % |
305.72/305.92 c | 128015 | 13877 178764 802424 | 2147483647 128007 562 | 0.029 % |
307.71/307.92 c | 129069 | 13877 178764 802424 | 2147483647 129061 562 | 0.029 % |
311.31/311.55 c | 130234 | 13877 178764 802424 | 2147483647 130226 563 | 0.029 % |
314.11/314.30 c | 131507 | 13877 178764 802424 | 2147483647 131499 564 | 0.029 % |
317.81/318.03 c | 132908 | 13877 178764 802424 | 2147483647 132900 564 | 0.029 % |
318.00/318.23 c | 133008 | 13877 178764 802424 | 2147483647 133000 564 | 0.029 % |
318.20/318.41 c | 133120 | 13877 178764 802424 | 2147483647 133112 564 | 0.029 % |
318.51/318.72 c | 133241 | 13877 178764 802424 | 2147483647 133233 564 | 0.029 % |
318.71/318.92 c | 133375 | 13877 178764 802424 | 2147483647 133367 564 | 0.029 % |
318.91/319.17 c | 133522 | 13877 178764 802424 | 2147483647 133514 564 | 0.029 % |
319.61/319.87 c | 133710 | 13877 178764 802424 | 2147483647 133702 564 | 0.029 % |
319.91/320.17 c | 133886 | 13877 178764 802424 | 2147483647 133878 564 | 0.029 % |
320.10/320.32 c | 134083 | 13877 178764 802424 | 2147483647 134075 564 | 0.029 % |
320.80/321.08 c | 134297 | 13877 178764 802424 | 2147483647 134289 564 | 0.029 % |
322.11/322.31 c | 134531 | 13877 178764 802424 | 2147483647 134523 564 | 0.029 % |
323.20/323.41 c | 134789 | 13877 178764 802424 | 2147483647 134781 565 | 0.029 % |
325.60/325.88 c | 135075 | 13877 178764 802424 | 2147483647 135067 565 | 0.029 % |
326.10/326.34 c | 135385 | 13877 178764 802424 | 2147483647 135377 564 | 0.029 % |
326.40/326.67 c | 135728 | 13877 178764 802424 | 2147483647 135720 563 | 0.029 % |
327.00/327.26 c | 136107 | 13877 178764 802424 | 2147483647 136099 562 | 0.029 % |
327.80/328.09 c | 136517 | 13877 178764 802424 | 2147483647 136509 562 | 0.029 % |
329.70/329.92 c | 136966 | 13877 178764 802424 | 2147483647 136958 563 | 0.029 % |
331.90/332.19 c | 137463 | 13877 178764 802424 | 2147483647 137455 564 | 0.029 % |
334.40/334.65 c | 138009 | 13877 178764 802424 | 2147483647 138001 566 | 0.029 % |
337.40/337.66 c | 138608 | 13877 178764 802424 | 2147483647 138600 567 | 0.029 % |
340.99/341.25 c | 139272 | 13877 178764 802424 | 2147483647 139264 568 | 0.029 % |
344.90/345.19 c | 139992 | 13877 178764 802424 | 2147483647 139984 570 | 0.029 % |
349.89/350.18 c | 140784 | 13877 178764 802424 | 2147483647 140776 573 | 0.029 % |
354.89/355.13 c | 141655 | 13877 178764 802424 | 2147483647 141647 575 | 0.029 % |
359.29/359.53 c | 142619 | 13877 178764 802424 | 2147483647 142611 578 | 0.029 % |
367.09/367.32 c | 143672 | 13877 178764 802424 | 2147483647 143664 580 | 0.029 % |
373.09/373.37 c | 144832 | 13877 178764 802424 | 2147483647 144824 583 | 0.029 % |
377.68/377.92 c | 146105 | 13877 178764 802424 | 2147483647 146097 586 | 0.029 % |
379.88/380.17 c | 147505 | 13877 178764 802424 | 2147483647 147497 584 | 0.029 % |
384.08/384.36 c | 149061 | 13877 178764 802424 | 2147483647 149053 585 | 0.029 % |
384.38/384.66 c | 149161 | 13877 178764 802424 | 2147483647 149153 585 | 0.029 % |
384.68/384.97 c | 149271 | 13877 178764 802424 | 2147483647 149263 585 | 0.029 % |
385.08/385.36 c | 149392 | 13877 178764 802424 | 2147483647 149384 585 | 0.029 % |
385.58/385.80 c | 149528 | 13877 178764 802424 | 2147483647 149520 585 | 0.029 % |
385.98/386.29 c | 149674 | 13877 178764 802424 | 2147483647 149666 585 | 0.029 % |
386.48/386.79 c | 149834 | 13877 178764 802424 | 2147483647 149826 585 | 0.029 % |
387.08/387.35 c | 150011 | 13877 178764 802424 | 2147483647 150003 585 | 0.029 % |
387.78/388.08 c | 150205 | 13877 178764 802424 | 2147483647 150197 585 | 0.029 % |
388.47/388.79 c | 150417 | 13877 178764 802424 | 2147483647 150409 585 | 0.029 % |
389.37/389.64 c | 150656 | 13877 178764 802424 | 2147483647 150648 585 | 0.029 % |
390.58/390.80 c | 150912 | 13877 178764 802424 | 2147483647 150904 586 | 0.029 % |
391.88/392.16 c | 151201 | 13877 178764 802424 | 2147483647 151193 586 | 0.029 % |
393.37/393.68 c | 151510 | 13877 178764 802424 | 2147483647 151502 587 | 0.029 % |
394.37/394.66 c | 151852 | 13877 178764 802424 | 2147483647 151844 586 | 0.029 % |
395.57/395.85 c | 152240 | 13877 178764 802424 | 2147483647 152232 586 | 0.029 % |
396.46/396.71 c | 152654 | 13877 178764 802424 | 2147483647 152646 585 | 0.029 % |
396.98/397.28 c | 153108 | 13877 178764 802424 | 2147483647 153100 584 | 0.029 % |
397.47/397.78 c | 153602 | 13877 178764 802424 | 2147483647 153594 583 | 0.029 % |
398.67/398.93 c | 154145 | 13877 178764 802424 | 2147483647 154137 583 | 0.029 % |
399.77/400.10 c | 154742 | 13877 178764 802424 | 2147483647 154734 583 | 0.029 % |
401.66/401.92 c | 155397 | 13877 178764 802424 | 2147483647 155389 584 | 0.029 % |
404.27/404.53 c | 156117 | 13877 178764 802424 | 2147483647 156109 585 | 0.029 % |
407.56/407.88 c | 156918 | 13877 178764 802424 | 2147483647 156910 585 | 0.029 % |
410.07/410.39 c | 157789 | 13877 178764 802424 | 2147483647 157781 586 | 0.029 % |
412.37/412.68 c | 158747 | 13877 178764 802424 | 2147483647 158739 586 | 0.029 % |
414.86/415.15 c | 159800 | 13877 178764 802424 | 2147483647 159792 586 | 0.029 % |
418.97/419.26 c | 160963 | 13877 178764 802424 | 2147483647 160955 586 | 0.029 % |
420.66/420.93 c | 162237 | 13877 178764 802424 | 2147483647 162229 583 | 0.029 % |
426.26/426.52 c | 163639 | 13877 178764 802424 | 2147483647 163631 586 | 0.029 % |
432.56/432.80 c | 165180 | 13877 178764 802424 | 2147483647 165172 586 | 0.029 % |
438.36/438.64 c | 166874 | 13877 178764 802424 | 2147483647 166866 586 | 0.029 % |
438.46/438.78 c | 166974 | 13877 178764 802424 | 2147483647 166966 586 | 0.029 % |
438.66/438.91 c | 167086 | 13877 178764 802424 | 2147483647 167078 586 | 0.029 % |
439.15/439.45 c | 167215 | 13877 178764 802424 | 2147483647 167207 586 | 0.029 % |
439.95/440.24 c | 167352 | 13877 178764 802424 | 2147483647 167344 586 | 0.029 % |
440.35/440.69 c | 167498 | 13877 178764 802424 | 2147483647 167490 586 | 0.029 % |
440.85/441.17 c | 167661 | 13877 178764 802424 | 2147483647 167653 586 | 0.029 % |
441.65/441.91 c | 167839 | 13877 178764 802424 | 2147483647 167831 586 | 0.029 % |
442.45/442.76 c | 168032 | 13877 178764 802424 | 2147483647 168024 587 | 0.029 % |
443.55/443.88 c | 168247 | 13877 178764 802424 | 2147483647 168239 587 | 0.029 % |
444.45/444.79 c | 168480 | 13877 178764 802424 | 2147483647 168472 587 | 0.029 % |
445.15/445.41 c | 168738 | 13877 178764 802424 | 2147483647 168730 587 | 0.029 % |
445.75/446.01 c | 169022 | 13877 178764 802424 | 2147483647 169014 587 | 0.029 % |
447.05/447.36 c | 169344 | 13877 178764 802424 | 2147483647 169336 587 | 0.029 % |
448.14/448.43 c | 169684 | 13877 178764 802424 | 2147483647 169676 588 | 0.029 % |
449.45/449.70 c | 170056 | 13877 178764 802424 | 2147483647 170048 588 | 0.029 % |
450.05/450.39 c | 170466 | 13877 178764 802424 | 2147483647 170458 587 | 0.029 % |
450.85/451.16 c | 170915 | 13877 178764 802424 | 2147483647 170907 587 | 0.029 % |
451.55/451.80 c | 171408 | 13877 178764 802424 | 2147483647 171400 586 | 0.029 % |
452.34/452.67 c | 171950 | 13877 178764 802424 | 2147483647 171942 585 | 0.029 % |
453.85/454.16 c | 172547 | 13877 178764 802424 | 2147483647 172539 585 | 0.029 % |
459.14/459.42 c | 173207 | 13877 178764 802424 | 2147483647 173199 585 | 0.029 % |
461.24/461.55 c | 173927 | 13877 178764 802424 | 2147483647 173919 586 | 0.029 % |
462.84/463.11 c | 174719 | 13877 178764 802424 | 2147483647 174711 586 | 0.029 % |
465.05/465.35 c | 175590 | 13877 178764 802424 | 2147483647 175582 585 | 0.029 % |
471.54/471.82 c | 176548 | 13877 178764 802424 | 2147483647 176540 586 | 0.029 % |
477.64/477.98 c | 177601 | 13877 178764 802424 | 2147483647 177593 587 | 0.029 % |
482.64/482.95 c | 178762 | 13877 178764 802424 | 2147483647 178754 588 | 0.029 % |
489.13/489.44 c | 180040 | 13877 178764 802424 | 2147483647 180032 591 | 0.029 % |
492.63/492.93 c | 181440 | 13877 178764 802424 | 2147483647 181432 590 | 0.029 % |
496.32/496.69 c | 182990 | 13877 178764 802424 | 2147483647 182982 589 | 0.029 % |
502.53/502.83 c | 184684 | 13877 178764 802424 | 2147483647 184676 591 | 0.029 % |
510.13/510.42 c | 186547 | 13877 178764 802424 | 2147483647 186539 592 | 0.029 % |
510.82/511.11 c | 186655 | 13877 178764 802424 | 2147483647 186647 592 | 0.029 % |
511.23/511.54 c | 186766 | 13877 178764 802424 | 2147483647 186758 592 | 0.029 % |
511.72/512.01 c | 186887 | 13877 178764 802424 | 2147483647 186879 592 | 0.029 % |
512.02/512.39 c | 187020 | 13877 178764 802424 | 2147483647 187012 592 | 0.029 % |
512.82/513.16 c | 187168 | 13877 178764 802424 | 2147483647 187160 592 | 0.029 % |
513.72/514.03 c | 187328 | 13877 178764 802424 | 2147483647 187320 592 | 0.029 % |
514.62/514.94 c | 187506 | 13877 178764 802424 | 2147483647 187498 592 | 0.029 % |
515.32/515.67 c | 187699 | 13877 178764 802424 | 2147483647 187691 592 | 0.029 % |
516.02/516.38 c | 187911 | 13877 178764 802424 | 2147483647 187903 592 | 0.029 % |
516.72/517.02 c | 188145 | 13877 178764 802424 | 2147483647 188137 592 | 0.029 % |
517.82/518.11 c | 188402 | 13877 178764 802424 | 2147483647 188394 592 | 0.029 % |
518.81/519.18 c | 188683 | 13877 178764 802424 | 2147483647 188675 592 | 0.029 % |
519.61/519.94 c | 188992 | 13877 178764 802424 | 2147483647 188984 592 | 0.029 % |
520.61/520.97 c | 189332 | 13877 178764 802424 | 2147483647 189324 593 | 0.029 % |
521.42/521.74 c | 189704 | 13877 178764 802424 | 2147483647 189696 593 | 0.029 % |
522.22/522.58 c | 190114 | 13877 178764 802424 | 2147483647 190106 593 | 0.029 % |
522.72/523.05 c | 190563 | 13877 178764 802424 | 2147483647 190555 592 | 0.029 % |
524.01/524.31 c | 191056 | 13877 178764 802424 | 2147483647 191048 591 | 0.029 % |
524.81/525.18 c | 191598 | 13877 178764 802424 | 2147483647 191590 590 | 0.029 % |
526.22/526.58 c | 192194 | 13877 178764 802424 | 2147483647 192186 590 | 0.029 % |
527.91/528.27 c | 192849 | 13877 178764 802424 | 2147483647 192841 590 | 0.029 % |
529.11/529.47 c | 193569 | 13877 178764 802424 | 2147483647 193561 590 | 0.029 % |
531.02/531.33 c | 194361 | 13877 178764 802424 | 2147483647 194353 590 | 0.029 % |
532.41/532.75 c | 195234 | 13877 178764 802424 | 2147483647 195226 589 | 0.029 % |
533.91/534.25 c | 196192 | 13877 178764 802424 | 2147483647 196184 588 | 0.029 % |
536.91/537.29 c | 197245 | 13877 178764 802424 | 2147483647 197237 589 | 0.029 % |
541.01/541.39 c | 198407 | 13877 178764 802424 | 2147483647 198399 590 | 0.029 % |
544.10/544.50 c | 199682 | 13877 178764 802424 | 2147483647 199674 591 | 0.029 % |
549.50/549.86 c | 201086 | 13877 178764 802424 | 2147483647 201078 592 | 0.029 % |
558.00/558.36 c | 202628 | 13877 178764 802424 | 2147483647 202620 593 | 0.029 % |
568.80/569.13 c | 204322 | 13877 178764 802424 | 2147483647 204314 594 | 0.029 % |
572.70/573.06 c | 206186 | 13877 178764 802424 | 2147483647 206178 592 | 0.029 % |
576.00/576.33 c | 208245 | 13877 178764 802424 | 2147483647 208237 591 | 0.029 % |
576.39/576.78 c | 208350 | 13877 178764 802424 | 2147483647 208342 591 | 0.029 % |
576.89/577.29 c | 208461 | 13877 178764 802424 | 2147483647 208453 591 | 0.029 % |
577.09/577.46 c | 208583 | 13877 178764 802424 | 2147483647 208575 591 | 0.029 % |
577.59/577.95 c | 208718 | 13877 178764 802424 | 2147483647 208710 591 | 0.029 % |
577.89/578.21 c | 208864 | 13877 178764 802424 | 2147483647 208856 591 | 0.029 % |
578.19/578.51 c | 209025 | 13877 178764 802424 | 2147483647 209017 591 | 0.029 % |
578.49/578.86 c | 209201 | 13877 178764 802424 | 2147483647 209193 591 | 0.029 % |
579.29/579.67 c | 209402 | 13877 178764 802424 | 2147483647 209394 590 | 0.029 % |
579.89/580.25 c | 209614 | 13877 178764 802424 | 2147483647 209606 590 | 0.029 % |
580.49/580.83 c | 209849 | 13877 178764 802424 | 2147483647 209841 590 | 0.029 % |
581.29/581.68 c | 210106 | 13877 178764 802424 | 2147483647 210098 590 | 0.029 % |
581.99/582.37 c | 210391 | 13877 178764 802424 | 2147483647 210383 590 | 0.029 % |
583.19/583.51 c | 210703 | 13877 178764 802424 | 2147483647 210695 590 | 0.029 % |
584.09/584.47 c | 211042 | 13877 178764 802424 | 2147483647 211034 590 | 0.029 % |
586.09/586.42 c | 211418 | 13877 178764 802424 | 2147483647 211410 590 | 0.029 % |
587.89/588.22 c | 211829 | 13877 178764 802424 | 2147483647 211821 590 | 0.029 % |
589.69/590.07 c | 212279 | 13877 178764 802424 | 2147483647 212271 590 | 0.029 % |
592.49/592.84 c | 212782 | 13877 178764 802424 | 2147483647 212774 591 | 0.029 % |
594.89/595.23 c | 213324 | 13877 178764 802424 | 2147483647 213316 591 | 0.029 % |
597.19/597.54 c | 213924 | 13877 178764 802424 | 2147483647 213916 590 | 0.029 % |
598.88/599.21 c | 214581 | 13877 178764 802424 | 2147483647 214573 590 | 0.029 % |
602.38/602.73 c | 215302 | 13877 178764 802424 | 2147483647 215294 590 | 0.029 % |
604.88/605.20 c | 216095 | 13877 178764 802424 | 2147483647 216087 590 | 0.029 % |
607.18/607.58 c | 216969 | 13877 178764 802424 | 2147483647 216961 588 | 0.029 % |
609.88/610.30 c | 217928 | 13877 178764 802424 | 2147483647 217920 586 | 0.029 % |
611.68/612.09 c | 218983 | 13877 178764 802424 | 2147483647 218975 586 | 0.029 % |
614.97/615.31 c | 220143 | 13877 178764 802424 | 2147483647 220135 586 | 0.029 % |
620.77/621.20 c | 221419 | 13877 178764 802424 | 2147483647 221411 586 | 0.029 % |
630.47/630.80 c | 222822 | 13877 178764 802424 | 2147483647 222814 587 | 0.029 % |
637.27/637.70 c | 224365 | 13877 178764 802424 | 2147483647 224357 589 | 0.029 % |
647.47/647.81 c | 226059 | 13877 178764 802424 | 2147483647 226051 592 | 0.029 % |
656.16/656.60 c | 227923 | 13877 178764 802424 | 2147483647 227915 594 | 0.029 % |
668.46/668.82 c | 229972 | 13877 178764 802424 | 2147483647 229964 597 | 0.029 % |
683.95/684.38 c | 232228 | 13877 178764 802424 | 2147483647 232220 598 | 0.029 % |
684.75/685.12 c | 232331 | 13877 178764 802424 | 2147483647 232323 598 | 0.029 % |
685.35/685.79 c | 232442 | 13877 178764 802424 | 2147483647 232434 598 | 0.029 % |
685.64/686.04 c | 232564 | 13877 178764 802424 | 2147483647 232556 598 | 0.029 % |
686.24/686.62 c | 232702 | 13877 178764 802424 | 2147483647 232694 598 | 0.029 % |
686.44/686.89 c | 232848 | 13877 178764 802424 | 2147483647 232840 598 | 0.029 % |
687.04/687.47 c | 233014 | 13877 178764 802424 | 2147483647 233006 598 | 0.029 % |
687.84/688.22 c | 233195 | 13877 178764 802424 | 2147483647 233187 598 | 0.029 % |
688.35/688.71 c | 233388 | 13877 178764 802424 | 2147483647 233380 597 | 0.029 % |
689.35/689.79 c | 233600 | 13877 178764 802424 | 2147483647 233592 597 | 0.029 % |
690.15/690.53 c | 233837 | 13877 178764 802424 | 2147483647 233829 597 | 0.029 % |
690.95/691.34 c | 234095 | 13877 178764 802424 | 2147483647 234087 597 | 0.029 % |
691.35/691.78 c | 234381 | 13877 178764 802424 | 2147483647 234373 597 | 0.029 % |
691.65/692.04 c | 234692 | 13877 178764 802424 | 2147483647 234684 596 | 0.029 % |
692.95/693.37 c | 235033 | 13877 178764 802424 | 2147483647 235025 596 | 0.029 % |
696.24/696.62 c | 235405 | 13877 178764 802424 | 2147483647 235397 596 | 0.029 % |
698.14/698.57 c | 235816 | 13877 178764 802424 | 2147483647 235808 597 | 0.029 % |
701.25/701.60 c | 236271 | 13877 178764 802424 | 2147483647 236263 598 | 0.029 % |
704.04/704.47 c | 236766 | 13877 178764 802424 | 2147483647 236758 599 | 0.029 % |
708.34/708.70 c | 237308 | 13877 178764 802424 | 2147483647 237300 600 | 0.029 % |
710.13/710.55 c | 237904 | 13877 178764 802424 | 2147483647 237896 600 | 0.029 % |
711.64/712.07 c | 238560 | 13877 178764 802424 | 2147483647 238552 599 | 0.029 % |
715.33/715.70 c | 239284 | 13877 178764 802424 | 2147483647 239276 600 | 0.029 % |
718.83/719.30 c | 240077 | 13877 178764 802424 | 2147483647 240069 600 | 0.029 % |
723.53/723.92 c | 240949 | 13877 178764 802424 | 2147483647 240941 600 | 0.029 % |
729.73/730.12 c | 241908 | 13877 178764 802424 | 2147483647 241900 601 | 0.029 % |
734.83/735.26 c | 242963 | 13877 178764 802424 | 2147483647 242955 602 | 0.029 % |
738.73/739.15 c | 244122 | 13877 178764 802424 | 2147483647 244114 602 | 0.029 % |
744.33/744.71 c | 245395 | 13877 178764 802424 | 2147483647 245387 603 | 0.029 % |
751.72/752.12 c | 246796 | 13877 178764 802424 | 2147483647 246788 603 | 0.029 % |
760.92/761.33 c | 248338 | 13877 178764 802424 | 2147483647 248330 605 | 0.029 % |
772.11/772.57 c | 250032 | 13877 178764 802424 | 2147483647 250024 608 | 0.029 % |
783.92/784.36 c | 251902 | 13877 178764 802424 | 2147483647 251894 610 | 0.029 % |
792.11/792.56 c | 253951 | 13877 178764 802424 | 2147483647 253943 612 | 0.029 % |
802.80/803.27 c | 256204 | 13877 178764 802424 | 2147483647 256196 614 | 0.029 % |
809.79/810.26 c | 258684 | 13877 178764 802424 | 2147483647 258676 612 | 0.029 % |
809.99/810.48 c | 258784 | 13877 178764 802424 | 2147483647 258776 611 | 0.029 % |
810.40/810.83 c | 258910 | 13877 178764 802424 | 2147483647 258902 611 | 0.029 % |
810.49/810.90 c | 259031 | 13877 178764 802424 | 2147483647 259023 611 | 0.029 % |
810.69/811.15 c | 259164 | 13877 178764 802424 | 2147483647 259156 611 | 0.029 % |
811.19/811.64 c | 259312 | 13877 178764 802424 | 2147483647 259304 611 | 0.029 % |
811.69/812.16 c | 259473 | 13877 178764 802424 | 2147483647 259465 611 | 0.029 % |
812.50/812.97 c | 259649 | 13877 178764 802424 | 2147483647 259641 611 | 0.029 % |
813.60/814.08 c | 259842 | 13877 178764 802424 | 2147483647 259834 611 | 0.029 % |
814.60/815.04 c | 260054 | 13877 178764 802424 | 2147483647 260046 611 | 0.029 % |
816.40/816.86 c | 260289 | 13877 178764 802424 | 2147483647 260281 611 | 0.029 % |
818.00/818.42 c | 260547 | 13877 178764 802424 | 2147483647 260539 611 | 0.029 % |
819.50/819.96 c | 260830 | 13877 178764 802424 | 2147483647 260822 611 | 0.029 % |
820.79/821.21 c | 261143 | 13877 178764 802424 | 2147483647 261135 611 | 0.029 % |
823.59/824.09 c | 261486 | 13877 178764 802424 | 2147483647 261478 612 | 0.029 % |
825.79/826.26 c | 261858 | 13877 178764 802424 | 2147483647 261850 612 | 0.029 % |
828.58/829.09 c | 262269 | 13877 178764 802424 | 2147483647 262261 613 | 0.029 % |
831.19/831.65 c | 262718 | 13877 178764 802424 | 2147483647 262710 613 | 0.029 % |
834.09/834.52 c | 263217 | 13877 178764 802424 | 2147483647 263209 613 | 0.029 % |
835.89/836.33 c | 263761 | 13877 178764 802424 | 2147483647 263753 614 | 0.029 % |
839.69/840.11 c | 264357 | 13877 178764 802424 | 2147483647 264349 614 | 0.029 % |
843.88/844.35 c | 265032 | 13877 178764 802424 | 2147483647 265024 615 | 0.029 % |
845.59/846.05 c | 265752 | 13877 178764 802424 | 2147483647 265744 614 | 0.029 % |
847.08/847.58 c | 266544 | 13877 178764 802424 | 2147483647 266536 614 | 0.029 % |
849.28/849.75 c | 267419 | 13877 178764 802424 | 2147483647 267411 613 | 0.029 % |
851.38/851.87 c | 268378 | 13877 178764 802424 | 2147483647 268370 613 | 0.029 % |
854.08/854.53 c | 269447 | 13877 178764 802424 | 2147483647 269439 613 | 0.029 % |
859.47/859.95 c | 270605 | 13877 178764 802424 | 2147483647 270597 613 | 0.029 % |
867.08/867.57 c | 271878 | 13877 178764 802424 | 2147483647 271870 614 | 0.029 % |
875.17/875.67 c | 273278 | 13877 178764 802424 | 2147483647 273270 614 | 0.029 % |
881.88/882.32 c | 274820 | 13877 178764 802424 | 2147483647 274812 614 | 0.029 % |
891.77/892.27 c | 276514 | 13877 178764 802424 | 2147483647 276506 615 | 0.029 % |
901.66/902.15 c | 278378 | 13877 178764 802424 | 2147483647 278370 615 | 0.029 % |
915.75/916.24 c | 280429 | 13877 178764 802424 | 2147483647 280421 616 | 0.029 % |
928.85/929.35 c | 282683 | 13877 178764 802424 | 2147483647 282675 617 | 0.029 % |
942.14/942.64 c | 285162 | 13877 178764 802424 | 2147483647 285154 619 | 0.029 % |
954.25/954.78 c | 287887 | 13877 178764 802424 | 2147483647 287879 620 | 0.029 % |
954.85/955.40 c | 287987 | 13877 178764 802424 | 2147483647 287979 620 | 0.029 % |
955.55/956.06 c | 288100 | 13877 178764 802424 | 2147483647 288092 620 | 0.029 % |
956.34/956.85 c | 288222 | 13877 178764 802424 | 2147483647 288214 620 | 0.029 % |
957.34/957.81 c | 288368 | 13877 178764 802424 | 2147483647 288360 620 | 0.029 % |
958.14/958.63 c | 288517 | 13877 178764 802424 | 2147483647 288509 620 | 0.029 % |
959.14/959.67 c | 288687 | 13877 178764 802424 | 2147483647 288679 620 | 0.029 % |
959.94/960.44 c | 288863 | 13877 178764 802424 | 2147483647 288855 620 | 0.029 % |
960.54/961.09 c | 289056 | 13877 178764 802424 | 2147483647 289048 620 | 0.029 % |
961.94/962.40 c | 289270 | 13877 178764 802424 | 2147483647 289262 620 | 0.029 % |
962.64/963.15 c | 289503 | 13877 178764 802424 | 2147483647 289495 620 | 0.029 % |
963.54/964.09 c | 289760 | 13877 178764 802424 | 2147483647 289752 620 | 0.029 % |
964.04/964.58 c | 290041 | 13877 178764 802424 | 2147483647 290033 620 | 0.029 % |
966.64/967.15 c | 290350 | 13877 178764 802424 | 2147483647 290342 620 | 0.029 % |
969.04/969.52 c | 290691 | 13877 178764 802424 | 2147483647 290683 620 | 0.029 % |
971.14/971.65 c | 291063 | 13877 178764 802424 | 2147483647 291055 620 | 0.029 % |
973.54/974.08 c | 291472 | 13877 178764 802424 | 2147483647 291464 621 | 0.029 % |
976.53/977.07 c | 291923 | 13877 178764 802424 | 2147483647 291915 621 | 0.029 % |
978.54/979.08 c | 292417 | 13877 178764 802424 | 2147483647 292409 621 | 0.029 % |
980.52/981.05 c | 292961 | 13877 178764 802424 | 2147483647 292953 621 | 0.029 % |
982.03/982.57 c | 293557 | 13877 178764 802424 | 2147483647 293549 621 | 0.029 % |
986.32/986.88 c | 294212 | 13877 178764 802424 | 2147483647 294204 621 | 0.029 % |
989.63/990.14 c | 294935 | 13877 178764 802424 | 2147483647 294927 622 | 0.029 % |
991.22/991.71 c | 295737 | 13877 178764 802424 | 2147483647 295729 622 | 0.029 % |
993.22/993.75 c | 296609 | 13877 178764 802424 | 2147483647 296601 621 | 0.029 % |
995.92/996.46 c | 297567 | 13877 178764 802424 | 2147483647 297559 620 | 0.029 % |
998.22/998.79 c | 298620 | 13877 178764 802424 | 2147483647 298612 619 | 0.029 % |
1001.51/1002.02 c | 299778 | 13877 178764 802424 | 2147483647 299770 618 | 0.029 % |
1005.81/1006.36 c | 301051 | 13877 178764 802424 | 2147483647 301043 618 | 0.029 % |
1013.72/1014.27 c | 302455 | 13877 178764 802424 | 2147483647 302447 618 | 0.029 % |
1017.82/1018.36 c | 304000 | 13877 178764 802424 | 2147483647 303992 618 | 0.029 % |
1023.81/1024.32 c | 305699 | 13877 178764 802424 | 2147483647 305691 618 | 0.029 % |
1037.00/1037.54 c | 307566 | 13877 178764 802424 | 2147483647 307558 619 | 0.029 % |
1046.60/1047.14 c | 309615 | 13877 178764 802424 | 2147483647 309607 620 | 0.029 % |
1061.70/1062.26 c | 311872 | 13877 178764 802424 | 2147483647 311864 619 | 0.029 % |
1069.39/1069.93 c | 314355 | 13877 178764 802424 | 2147483647 314347 619 | 0.029 % |
1078.08/1078.69 c | 317085 | 13877 178764 802424 | 2147483647 317077 618 | 0.029 % |
1098.89/1099.48 c | 320083 | 13877 178764 802424 | 2147483647 320075 618 | 0.029 % |
1099.18/1099.74 c | 320183 | 13877 178764 802424 | 2147483647 320175 618 | 0.029 % |
1099.38/1099.92 c | 320294 | 13877 178764 802424 | 2147483647 320286 618 | 0.029 % |
1099.49/1100.09 c | 320415 | 13877 178764 802424 | 2147483647 320407 618 | 0.029 % |
1099.78/1100.30 c | 320550 | 13877 178764 802424 | 2147483647 320542 618 | 0.029 % |
1100.69/1101.22 c | 320699 | 13877 178764 802424 | 2147483647 320691 618 | 0.029 % |
1101.08/1101.68 c | 320859 | 13877 178764 802424 | 2147483647 320851 618 | 0.029 % |
1101.78/1102.35 c | 321035 | 13877 178764 802424 | 2147483647 321027 618 | 0.029 % |
1102.28/1102.87 c | 321228 | 13877 178764 802424 | 2147483647 321220 618 | 0.029 % |
1102.98/1103.59 c | 321440 | 13877 178764 802424 | 2147483647 321432 617 | 0.029 % |
1103.67/1104.24 c | 321676 | 13877 178764 802424 | 2147483647 321668 617 | 0.029 % |
1105.18/1105.77 c | 321934 | 13877 178764 802424 | 2147483647 321926 617 | 0.029 % |
1106.28/1106.87 c | 322215 | 13877 178764 802424 | 2147483647 322207 618 | 0.029 % |
1108.48/1109.01 c | 322524 | 13877 178764 802424 | 2147483647 322516 618 | 0.029 % |
1110.18/1110.78 c | 322867 | 13877 178764 802424 | 2147483647 322859 617 | 0.029 % |
1111.48/1112.04 c | 323239 | 13877 178764 802424 | 2147483647 323231 617 | 0.029 % |
1113.38/1113.91 c | 323648 | 13877 178764 802424 | 2147483647 323640 617 | 0.029 % |
1115.77/1116.37 c | 324099 | 13877 178764 802424 | 2147483647 324091 617 | 0.029 % |
1119.28/1119.84 c | 324599 | 13877 178764 802424 | 2147483647 324591 617 | 0.029 % |
1121.17/1121.76 c | 325144 | 13877 178764 802424 | 2147483647 325136 617 | 0.029 % |
1122.87/1123.40 c | 325743 | 13877 178764 802424 | 2147483647 325735 616 | 0.029 % |
1124.07/1124.67 c | 326399 | 13877 178764 802424 | 2147483647 326391 616 | 0.029 % |
1126.77/1127.38 c | 327131 | 13877 178764 802424 | 2147483647 327123 616 | 0.029 % |
1128.97/1129.58 c | 327924 | 13877 178764 802424 | 2147483647 327916 616 | 0.029 % |
1134.37/1134.98 c | 328799 | 13877 178764 802424 | 2147483647 328791 616 | 0.029 % |
1138.46/1139.01 c | 329775 | 13877 178764 802424 | 2147483647 329767 615 | 0.029 % |
1142.47/1143.08 c | 330830 | 13877 178764 802424 | 2147483647 330822 615 | 0.029 % |
1148.86/1149.43 c | 331998 | 13877 178764 802424 | 2147483647 331990 614 | 0.029 % |
1155.96/1156.54 c | 333271 | 13876 178636 802168 | 2147483647 333261 614 | 0.036 % |
1163.65/1164.24 c | 334671 | 13876 178636 802168 | 2147483647 334661 616 | 0.036 % |
1174.25/1174.86 c | 336211 | 13876 178636 802168 | 2147483647 336201 617 | 0.036 % |
1185.65/1186.22 c | 337907 | 13876 178636 802168 | 2147483647 337897 617 | 0.036 % |
1196.84/1197.45 c | 339771 | 13876 178636 802168 | 2147483647 339761 618 | 0.036 % |
1206.34/1206.92 c | 341823 | 13876 178636 802168 | 2147483647 341813 618 | 0.036 % |
1220.04/1220.65 c | 344076 | 13876 178636 802168 | 2147483647 344066 620 | 0.036 % |
1236.23/1236.83 c | 346554 | 13876 178636 802168 | 2147483647 346544 622 | 0.036 % |
1246.83/1247.46 c | 349290 | 13876 178636 802168 | 2147483647 349280 622 | 0.036 % |
1260.02/1260.64 c | 352287 | 13876 178636 802168 | 2147483647 352277 622 | 0.036 % |
1280.20/1280.87 c | 355584 | 13876 178636 802168 | 2147483647 355574 624 | 0.036 % |
1280.81/1281.40 c | 355685 | 13876 178636 802168 | 2147483647 355675 624 | 0.036 % |
1280.91/1281.55 c | 355795 | 13876 178636 802168 | 2147483647 355785 624 | 0.036 % |
1281.10/1281.77 c | 355917 | 13876 178636 802168 | 2147483647 355907 624 | 0.036 % |
1281.40/1282.05 c | 356058 | 13876 178636 802168 | 2147483647 356048 624 | 0.036 % |
1282.50/1283.16 c | 356204 | 13876 178636 802168 | 2147483647 356194 624 | 0.036 % |
1283.81/1284.42 c | 356364 | 13876 178636 802168 | 2147483647 356354 624 | 0.036 % |
1285.01/1285.69 c | 356551 | 13876 178636 802168 | 2147483647 356541 624 | 0.036 % |
1286.41/1287.05 c | 356745 | 13876 178636 802168 | 2147483647 356735 624 | 0.036 % |
1287.11/1287.76 c | 356957 | 13876 178636 802168 | 2147483647 356947 624 | 0.036 % |
1287.81/1288.50 c | 357190 | 13876 178636 802168 | 2147483647 357180 624 | 0.036 % |
1289.61/1290.25 c | 357454 | 13876 178636 802168 | 2147483647 357444 623 | 0.036 % |
1291.51/1292.13 c | 357739 | 13876 178636 802168 | 2147483647 357729 624 | 0.036 % |
1293.50/1294.14 c | 358049 | 13876 178636 802168 | 2147483647 358039 624 | 0.036 % |
1294.79/1295.42 c | 358407 | 13876 178636 802168 | 2147483647 358397 623 | 0.036 % |
1296.59/1297.28 c | 358780 | 13876 178636 802168 | 2147483647 358770 623 | 0.036 % |
1297.69/1298.33 c | 359194 | 13876 178636 802168 | 2147483647 359184 623 | 0.036 % |
1299.59/1300.26 c | 359653 | 13876 178636 802168 | 2147483647 359643 623 | 0.036 % |
1301.40/1302.06 c | 360152 | 13876 178636 802168 | 2147483647 360142 623 | 0.036 % |
1303.00/1303.65 c | 360694 | 13876 178636 802168 | 2147483647 360684 623 | 0.036 % |
1305.19/1305.89 c | 361292 | 13876 178636 802168 | 2147483647 361282 623 | 0.036 % |
1308.80/1309.46 c | 361951 | 13876 178636 802168 | 2147483647 361941 623 | 0.036 % |
1310.70/1311.32 c | 362678 | 13876 178636 802168 | 2147483647 362668 623 | 0.036 % |
1312.49/1313.13 c | 363477 | 13876 178636 802168 | 2147483647 363467 622 | 0.036 % |
1315.19/1315.81 c | 364348 | 13876 178636 802168 | 2147483647 364338 622 | 0.036 % |
1321.70/1322.34 c | 365306 | 13876 178636 802168 | 2147483647 365296 622 | 0.036 % |
1329.78/1330.47 c | 366363 | 13876 178636 802168 | 2147483647 366353 622 | 0.036 % |
1337.69/1338.38 c | 367526 | 13876 178636 802168 | 2147483647 367516 622 | 0.036 % |
1345.08/1345.70 c | 368800 | 13876 178636 802168 | 2147483647 368790 622 | 0.036 % |
1351.88/1352.53 c | 370200 | 13876 178636 802168 | 2147483647 370190 622 | 0.036 % |
1359.98/1360.70 c | 371746 | 13876 178636 802168 | 2147483647 371736 623 | 0.036 % |
1368.68/1369.33 c | 373454 | 13876 178636 802168 | 2147483647 373444 623 | 0.036 % |
1378.17/1378.84 c | 375323 | 13876 178636 802168 | 2147483647 375313 624 | 0.036 % |
1391.97/1392.70 c | 377373 | 13876 178636 802168 | 2147483647 377363 625 | 0.036 % |
1403.76/1404.41 c | 379626 | 13876 178636 802168 | 2147483647 379616 624 | 0.036 % |
1412.66/1413.37 c | 382108 | 13876 178636 802168 | 2147483647 382098 624 | 0.036 % |
1431.05/1431.77 c | 384838 | 13876 178636 802168 | 2147483647 384828 623 | 0.036 % |
1441.94/1442.66 c | 387843 | 13876 178636 802168 | 2147483647 387833 622 | 0.036 % |
1452.85/1453.55 c | 391140 | 13876 178636 802168 | 2147483647 391130 621 | 0.036 % |
1465.15/1465.88 c | 394766 | 13876 178636 802168 | 2147483647 394756 620 | 0.036 % |
1465.94/1466.61 c | 394869 | 13876 178636 802168 | 2147483647 394859 620 | 0.036 % |
1466.85/1467.58 c | 394979 | 13876 178636 802168 | 2147483647 394969 620 | 0.036 % |
1467.64/1468.33 c | 395103 | 13876 178636 802168 | 2147483647 395093 620 | 0.036 % |
1468.34/1469.00 c | 395236 | 13876 178636 802168 | 2147483647 395226 620 | 0.036 % |
1469.64/1470.39 c | 395383 | 13876 178636 802168 | 2147483647 395373 620 | 0.036 % |
1470.44/1471.13 c | 395549 | 13876 178636 802168 | 2147483647 395539 620 | 0.036 % |
1471.73/1472.42 c | 395729 | 13876 178636 802168 | 2147483647 395719 620 | 0.036 % |
1472.83/1473.51 c | 395922 | 13876 178636 802168 | 2147483647 395912 620 | 0.036 % |
1474.24/1474.97 c | 396134 | 13876 178636 802168 | 2147483647 396124 620 | 0.036 % |
1475.64/1476.31 c | 396368 | 13876 178636 802168 | 2147483647 396358 620 | 0.036 % |
1478.04/1478.75 c | 396634 | 13876 178636 802168 | 2147483647 396624 620 | 0.036 % |
1480.04/1480.78 c | 396915 | 13876 178636 802168 | 2147483647 396905 620 | 0.036 % |
1481.03/1481.79 c | 397227 | 13876 178636 802168 | 2147483647 397217 620 | 0.036 % |
1483.03/1483.77 c | 397569 | 13876 178636 802168 | 2147483647 397559 620 | 0.036 % |
1485.43/1486.10 c | 397941 | 13876 178636 802168 | 2147483647 397931 620 | 0.036 % |
1487.53/1488.24 c | 398355 | 13876 178636 802168 | 2147483647 398345 620 | 0.036 % |
1489.63/1490.33 c | 398804 | 13876 178636 802168 | 2147483647 398794 621 | 0.036 % |
1492.33/1493.09 c | 399297 | 13876 178636 802168 | 2147483647 399287 621 | 0.036 % |
1495.03/1495.76 c | 399840 | 13876 178636 802168 | 2147483647 399830 621 | 0.036 % |
1498.83/1499.51 c | 400436 | 13876 178636 802168 | 2147483647 400426 621 | 0.036 % |
1502.73/1503.47 c | 401092 | 13876 178636 802168 | 2147483647 401082 621 | 0.036 % |
1507.22/1507.91 c | 401812 | 13876 178636 802168 | 2147483647 401802 622 | 0.036 % |
1511.13/1511.82 c | 402605 | 13876 178636 802168 | 2147483647 402595 622 | 0.036 % |
1514.42/1515.18 c | 403476 | 13876 178636 802168 | 2147483647 403466 621 | 0.036 % |
1518.23/1518.92 c | 404441 | 13876 178636 802168 | 2147483647 404431 621 | 0.036 % |
1524.20/1524.94 c | 405501 | 13876 178636 802168 | 2147483647 405491 621 | 0.036 % |
1530.40/1531.14 c | 406660 | 13876 178636 802168 | 2147483647 406650 621 | 0.036 % |
1534.11/1534.85 c | 407934 | 13876 178636 802168 | 2147483647 407924 621 | 0.036 % |
1537.40/1538.17 c | 409335 | 13876 178636 802168 | 2147483647 409325 621 | 0.036 % |
1542.60/1543.38 c | 410884 | 13876 178636 802168 | 2147483647 410874 621 | 0.036 % |
1548.40/1549.13 c | 412579 | 13876 178636 802168 | 2147483647 412569 621 | 0.036 % |
1557.90/1558.67 c | 414443 | 13876 178636 802168 | 2147483647 414433 621 | 0.036 % |
1565.90/1566.67 c | 416492 | 13876 178636 802168 | 2147483647 416482 620 | 0.036 % |
1575.29/1576.04 c | 418748 | 13876 178636 802168 | 2147483647 418738 620 | 0.036 % |
1580.99/1581.76 c | 421226 | 13876 178636 802168 | 2147483647 421216 619 | 0.036 % |
1590.89/1591.65 c | 423951 | 13876 178636 802168 | 2147483647 423941 619 | 0.036 % |
1605.08/1605.89 c | 426951 | 13876 178636 802168 | 2147483647 426941 620 | 0.036 % |
1626.87/1627.60 c | 430259 | 13876 178636 802168 | 2147483647 430249 621 | 0.036 % |
1650.56/1651.39 c | 433885 | 13876 178636 802168 | 2147483647 433875 624 | 0.036 % |
1678.36/1679.19 c | 437873 | 13876 178636 802168 | 2147483647 437863 627 | 0.036 % |
1679.35/1680.14 c | 437975 | 13876 178636 802168 | 2147483647 437965 627 | 0.036 % |
1680.25/1681.04 c | 438085 | 13876 178636 802168 | 2147483647 438075 627 | 0.036 % |
1681.45/1682.28 c | 438210 | 13876 178636 802168 | 2147483647 438200 627 | 0.036 % |
1682.05/1682.80 c | 438343 | 13876 178636 802168 | 2147483647 438333 627 | 0.036 % |
1682.65/1683.43 c | 438491 | 13876 178636 802168 | 2147483647 438481 627 | 0.036 % |
1683.65/1684.46 c | 438652 | 13876 178636 802168 | 2147483647 438642 627 | 0.036 % |
1684.55/1685.36 c | 438832 | 13876 178636 802168 | 2147483647 438822 627 | 0.036 % |
1685.56/1686.38 c | 439026 | 13876 178636 802168 | 2147483647 439016 627 | 0.036 % |
1686.95/1687.76 c | 439238 | 13876 178636 802168 | 2147483647 439228 627 | 0.036 % |
1687.85/1688.63 c | 439472 | 13876 178636 802168 | 2147483647 439462 627 | 0.036 % |
1689.15/1689.94 c | 439728 | 13876 178636 802168 | 2147483647 439718 627 | 0.036 % |
1690.35/1691.14 c | 440010 | 13876 178636 802168 | 2147483647 440000 627 | 0.036 % |
1691.95/1692.71 c | 440320 | 13876 178636 802168 | 2147483647 440310 627 | 0.036 % |
1693.15/1693.99 c | 440660 | 13876 178636 802168 | 2147483647 440650 627 | 0.036 % |
1695.34/1696.10 c | 441034 | 13876 178636 802168 | 2147483647 441024 627 | 0.036 % |
1698.44/1699.29 c | 441444 | 13876 178636 802168 | 2147483647 441434 627 | 0.036 % |
1699.35/1700.15 c | 441897 | 13876 178636 802168 | 2147483647 441887 627 | 0.036 % |
1700.44/1701.26 c | 442393 | 13876 178636 802168 | 2147483647 442383 626 | 0.036 % |
1701.94/1702.78 c | 442935 | 13876 178636 802168 | 2147483647 442925 626 | 0.036 % |
1703.24/1704.01 c | 443531 | 13876 178636 802168 | 2147483647 443521 626 | 0.036 % |
1706.64/1707.48 c | 444191 | 13876 178636 802168 | 2147483647 444181 626 | 0.036 % |
1709.54/1710.33 c | 444911 | 13876 178636 802168 | 2147483647 444901 625 | 0.036 % |
1713.74/1714.55 c | 445704 | 13876 178636 802168 | 2147483647 445694 625 | 0.036 % |
1717.73/1718.60 c | 446582 | 13876 178636 802168 | 2147483647 446572 626 | 0.036 % |
1723.53/1724.32 c | 447540 | 13876 178636 802168 | 2147483647 447530 625 | 0.036 % |
1728.04/1728.81 c | 448594 | 13876 178636 802168 | 2147483647 448584 625 | 0.036 % |
1735.04/1735.87 c | 449759 | 13876 178636 802168 | 2147483647 449749 625 | 0.036 % |
1739.03/1739.83 c | 451041 | 13876 178636 802168 | 2147483647 451031 625 | 0.036 % |
1746.61/1747.47 c | 452458 | 13876 178636 802168 | 2147483647 452448 625 | 0.036 % |
1753.42/1754.22 c | 453998 | 13876 178636 802168 | 2147483647 453988 625 | 0.036 % |
1761.21/1762.06 c | 455694 | 13876 178636 802168 | 2147483647 455684 624 | 0.036 % |
1765.61/1766.50 c | 457570 | 13876 178636 802168 | 2147483647 457560 624 | 0.036 % |
1777.71/1778.53 c | 459621 | 13876 178636 802168 | 2147483647 459611 624 | 0.036 % |
1788.70/1789.60 c | 461874 | 13876 178636 802168 | 2147483647 461864 625 | 0.036 % |
1807.79/1808.60 c | 464353 | 13876 178636 802168 | 2147483647 464343 626 | 0.036 % |
1827.29/1828.10 c | 467085 | 13876 178636 802168 | 2147483647 467075 626 | 0.036 % |
1849.08/1849.94 c | 470082 | 13876 178636 802168 | 2147483647 470072 626 | 0.036 % |
1862.98/1863.85 c | 473379 | 13876 178636 802168 | 2147483647 473369 626 | 0.036 % |
1890.06/1890.96 c | 477004 | 13876 178636 802168 | 2147483647 476994 628 | 0.036 % |
1918.95/1919.87 c | 480991 | 13876 178636 802168 | 2147483647 480981 629 | 0.036 % |
1950.23/1951.20 c | 485377 | 13876 178636 802168 | 2147483647 485367 631 | 0.036 % |
1950.93/1951.88 c | 485479 | 13876 178636 802168 | 2147483647 485469 631 | 0.036 % |
1951.83/1952.77 c | 485592 | 13876 178636 802168 | 2147483647 485582 631 | 0.036 % |
1953.24/1954.18 c | 485713 | 13876 178636 802168 | 2147483647 485703 631 | 0.036 % |
1954.54/1955.41 c | 485857 | 13876 178636 802168 | 2147483647 485847 631 | 0.036 % |
1955.33/1956.28 c | 486006 | 13876 178636 802168 | 2147483647 485996 631 | 0.036 % |
1956.53/1957.40 c | 486169 | 13876 178636 802168 | 2147483647 486159 631 | 0.036 % |
1957.33/1958.27 c | 486346 | 13876 178636 802168 | 2147483647 486336 631 | 0.036 % |
1957.73/1958.65 c | 486540 | 13876 178636 802168 | 2147483647 486530 631 | 0.036 % |
1958.33/1959.22 c | 486754 | 13876 178636 802168 | 2147483647 486744 630 | 0.036 % |
1960.23/1961.11 c | 486991 | 13876 178636 802168 | 2147483647 486981 630 | 0.036 % |
1961.43/1962.34 c | 487247 | 13876 178636 802168 | 2147483647 487237 630 | 0.036 % |
1963.63/1964.50 c | 487528 | 13876 178636 802168 | 2147483647 487518 631 | 0.036 % |
1965.23/1966.13 c | 487837 | 13876 178636 802168 | 2147483647 487827 630 | 0.036 % |
1966.93/1967.80 c | 488176 | 13876 178636 802168 | 2147483647 488166 630 | 0.036 % |
1968.33/1969.22 c | 488548 | 13876 178636 802168 | 2147483647 488538 630 | 0.036 % |
1972.53/1973.48 c | 488957 | 13876 178636 802168 | 2147483647 488947 630 | 0.036 % |
1976.32/1977.21 c | 489413 | 13876 178636 802168 | 2147483647 489403 631 | 0.036 % |
1979.72/1980.62 c | 489906 | 13876 178636 802168 | 2147483647 489896 631 | 0.036 % |
1983.72/1984.64 c | 490448 | 13876 178636 802168 | 2147483647 490438 631 | 0.036 % |
1987.32/1988.28 c | 491044 | 13876 178636 802168 | 2147483647 491034 631 | 0.036 % |
1991.42/1992.33 c | 491700 | 13876 178636 802168 | 2147483647 491690 631 | 0.036 % |
1995.52/1996.48 c | 492420 | 13876 178636 802168 | 2147483647 492410 631 | 0.036 % |
1998.92/1999.81 c | 493218 | 13876 178636 802168 | 2147483647 493208 630 | 0.036 % |
2004.21/2005.16 c | 494089 | 13876 178636 802168 | 2147483647 494079 630 | 0.036 % |
2009.82/2010.76 c | 495047 | 13876 178636 802168 | 2147483647 495037 630 | 0.036 % |
2015.11/2016.02 c | 496101 | 13876 178636 802168 | 2147483647 496091 630 | 0.036 % |
2020.40/2021.33 c | 497264 | 13876 178636 802168 | 2147483647 497254 631 | 0.036 % |
2028.90/2029.86 c | 498544 | 13876 178636 802168 | 2147483647 498534 631 | 0.036 % |
2039.40/2040.32 c | 499946 | 13876 178636 802168 | 2147483647 499936 632 | 0.036 % |
2051.80/2052.74 c | 501486 | 13876 178636 802168 | 2147483647 501476 632 | 0.036 % |
2058.69/2059.67 c | 503186 | 13876 178636 802168 | 2147483647 503176 632 | 0.036 % |
2064.38/2065.31 c | 505056 | 13876 178636 802168 | 2147483647 505046 631 | 0.036 % |
2076.18/2077.19 c | 507112 | 13876 178636 802168 | 2147483647 507102 631 | 0.036 % |
2086.78/2087.75 c | 509365 | 13876 178636 802168 | 2147483647 509355 630 | 0.036 % |
2097.77/2098.78 c | 511843 | 13876 178636 802168 | 2147483647 511833 630 | 0.036 % |
2114.17/2115.11 c | 514576 | 13876 178636 802168 | 2147483647 514566 630 | 0.036 % |
2139.96/2140.94 c | 517576 | 13876 178636 802168 | 2147483647 517566 631 | 0.036 % |
2153.75/2154.78 c | 520872 | 13876 178636 802168 | 2147483647 520862 629 | 0.036 % |
2170.74/2171.74 c | 524498 | 13876 178636 802168 | 2147483647 524488 629 | 0.036 % |
2191.64/2192.60 c | 528491 | 13876 178636 802168 | 2147483647 528481 627 | 0.036 % |
2219.94/2221.00 c | 532879 | 13876 178636 802168 | 2147483647 532869 628 | 0.036 % |
2258.42/2259.49 c | 537705 | 13876 178636 802168 | 2147483647 537695 629 | 0.036 % |
2259.62/2260.63 c | 537805 | 13876 178636 802168 | 2147483647 537795 629 | 0.036 % |
2260.62/2261.65 c | 537918 | 13876 178636 802168 | 2147483647 537908 629 | 0.036 % |
2262.02/2263.00 c | 538040 | 13876 178636 802168 | 2147483647 538030 629 | 0.036 % |
2264.02/2265.03 c | 538175 | 13876 178636 802168 | 2147483647 538165 629 | 0.036 % |
2265.71/2266.79 c | 538321 | 13876 178636 802168 | 2147483647 538311 629 | 0.036 % |
2267.32/2268.30 c | 538483 | 13876 178636 802168 | 2147483647 538473 629 | 0.036 % |
2268.41/2269.40 c | 538659 | 13876 178636 802168 | 2147483647 538649 629 | 0.036 % |
2268.81/2269.84 c | 538852 | 13876 178636 802168 | 2147483647 538842 629 | 0.036 % |
2269.61/2270.61 c | 539064 | 13876 178636 802168 | 2147483647 539054 629 | 0.036 % |
2270.81/2271.89 c | 539303 | 13876 178636 802168 | 2147483647 539293 629 | 0.036 % |
2272.72/2273.73 c | 539566 | 13876 178636 802168 | 2147483647 539556 629 | 0.036 % |
2274.81/2275.84 c | 539851 | 13876 178636 802168 | 2147483647 539841 629 | 0.036 % |
2276.01/2277.05 c | 540161 | 13876 178636 802168 | 2147483647 540151 629 | 0.036 % |
2279.20/2280.21 c | 540500 | 13876 178636 802168 | 2147483647 540490 629 | 0.036 % |
2282.61/2283.70 c | 540874 | 13876 178636 802168 | 2147483647 540864 629 | 0.036 % |
2284.20/2285.23 c | 541285 | 13876 178636 802168 | 2147483647 541275 629 | 0.036 % |
2287.60/2288.66 c | 541734 | 13876 178636 802168 | 2147483647 541724 630 | 0.036 % |
2291.10/2292.17 c | 542227 | 13876 178636 802168 | 2147483647 542217 630 | 0.036 % |
2296.00/2297.02 c | 542769 | 13876 178636 802168 | 2147483647 542759 630 | 0.036 % |
2299.50/2300.56 c | 543366 | 13876 178636 802168 | 2147483647 543356 630 | 0.036 % |
2305.49/2306.57 c | 544023 | 13876 178636 802168 | 2147483647 544013 630 | 0.036 % |
2312.79/2313.82 c | 544747 | 13876 178636 802168 | 2147483647 544737 630 | 0.036 % |
2319.89/2320.99 c | 545539 | 13876 178636 802168 | 2147483647 545529 630 | 0.036 % |
2325.49/2326.54 c | 546413 | 13876 178636 802168 | 2147483647 546403 630 | 0.036 % |
2331.68/2332.71 c | 547371 | 13876 178636 802168 | 2147483647 547361 630 | 0.036 % |
2341.38/2342.49 c | 548424 | 13876 178636 802168 | 2147483647 548414 630 | 0.036 % |
2351.18/2352.21 c | 549593 | 13876 178636 802168 | 2147483647 549583 631 | 0.036 % |
2364.67/2365.71 c | 550867 | 13876 178636 802168 | 549991 550857 631 | 0.036 % |
2374.26/2375.30 c | 552267 | 13876 178636 802168 | 549991 470294 626 | 0.036 % |
2386.26/2387.31 c | 553810 | 13876 178636 802168 | 549991 471837 626 | 0.036 % |
2399.76/2400.87 c | 555514 | 13876 178636 802168 | 549991 473541 627 | 0.036 % |
2407.26/2408.35 c | 557377 | 13876 178636 802168 | 549991 475404 627 | 0.036 % |
2414.05/2415.19 c | 559438 | 13876 178636 802168 | 549991 477465 626 | 0.036 % |
2422.25/2423.35 c | 561693 | 13876 178636 802168 | 2147483647 479720 626 | 0.036 % |
2432.64/2433.74 c | 564171 | 13876 178636 802168 | 2147483647 482198 625 | 0.036 % |
2445.04/2446.15 c | 566904 | 13876 178636 802168 | 2147483647 484931 624 | 0.036 % |
2469.53/2470.66 c | 569901 | 13876 178636 802168 | 2147483647 487928 626 | 0.036 % |
2493.63/2494.76 c | 573198 | 13876 178636 802168 | 2147483647 491225 627 | 0.036 % |
2523.62/2524.75 c | 576823 | 13876 178636 802168 | 2147483647 494850 629 | 0.036 % |
2558.60/2559.77 c | 580810 | 13876 178636 802168 | 2147483647 498837 629 | 0.036 % |
2591.39/2592.53 c | 585198 | 13876 178636 802168 | 2147483647 503225 630 | 0.036 % |
2629.37/2630.55 c | 590027 | 13876 178636 802168 | 2147483647 508054 630 | 0.036 % |
2675.26/2676.48 c | 595332 | 13876 178636 802168 | 2147483647 513359 630 | 0.036 % |
2676.15/2677.35 c | 595440 | 13876 178636 802168 | 2147483647 513467 630 | 0.036 % |
2676.85/2678.07 c | 595561 | 13876 178636 802168 | 2147483647 513588 630 | 0.036 % |
2677.36/2678.57 c | 595682 | 13876 178636 802168 | 2147483647 513709 630 | 0.036 % |
2677.95/2679.11 c | 595815 | 13876 178636 802168 | 2147483647 513842 630 | 0.036 % |
2678.35/2679.52 c | 595961 | 13876 178636 802168 | 2147483647 513988 630 | 0.036 % |
2678.75/2679.98 c | 596122 | 13876 178636 802168 | 2147483647 514149 630 | 0.036 % |
2679.35/2680.57 c | 596298 | 13876 178636 802168 | 2147483647 514325 629 | 0.036 % |
2679.85/2681.03 c | 596491 | 13876 178636 802168 | 2147483647 514518 629 | 0.036 % |
2680.76/2681.96 c | 596705 | 13876 178636 802168 | 2147483647 514732 629 | 0.036 % |
2681.35/2682.50 c | 596938 | 13876 178636 802168 | 2147483647 514965 629 | 0.036 % |
2681.95/2683.18 c | 597198 | 13876 178636 802168 | 2147483647 515225 629 | 0.036 % |
2682.55/2683.79 c | 597479 | 13876 178636 802168 | 2147483647 515506 629 | 0.036 % |
2683.35/2684.54 c | 597791 | 13876 178636 802168 | 2147483647 515818 628 | 0.036 % |
2685.65/2686.81 c | 598130 | 13876 178636 802168 | 2147483647 516157 628 | 0.036 % |
2688.94/2690.11 c | 598503 | 13876 178636 802168 | 2147483647 516530 628 | 0.036 % |
2693.54/2694.70 c | 598912 | 13876 178636 802168 | 2147483647 516939 628 | 0.036 % |
2697.54/2698.74 c | 599365 | 13876 178636 802168 | 2147483647 517392 629 | 0.036 % |
2700.94/2702.19 c | 599862 | 13876 178636 802168 | 2147483647 517889 629 | 0.036 % |
2705.74/2706.99 c | 600406 | 13876 178636 802168 | 2147483647 518433 629 | 0.036 % |
2711.04/2712.24 c | 601005 | 13876 178636 802168 | 2147483647 519032 629 | 0.036 % |
2716.34/2717.54 c | 601665 | 13876 178636 802168 | 2147483647 519692 629 | 0.036 % |
2719.43/2720.68 c | 602387 | 13876 178636 802168 | 2147483647 520414 629 | 0.036 % |
2723.03/2724.22 c | 603179 | 13876 178636 802168 | 2147483647 521206 629 | 0.036 % |
2729.53/2730.74 c | 604054 | 13876 178636 802168 | 2147483647 522081 629 | 0.036 % |
2738.12/2739.38 c | 605012 | 13876 178636 802168 | 2147483647 523039 630 | 0.036 % |
2751.92/2753.20 c | 606067 | 13876 178636 802168 | 2147483647 524094 629 | 0.036 % |
2765.61/2766.82 c | 607232 | 13876 178636 802168 | 2147483647 525259 629 | 0.036 % |
2778.91/2780.10 c | 608510 | 13876 178636 802168 | 2147483647 526537 630 | 0.036 % |
2786.41/2787.65 c | 609910 | 13876 178636 802168 | 2147483647 527937 629 | 0.036 % |
2798.20/2799.44 c | 611451 | 13876 178636 802168 | 2147483647 529478 629 | 0.036 % |
2810.80/2812.09 c | 613149 | 13876 178636 802168 | 2147483647 531176 628 | 0.036 % |
2827.59/2828.87 c | 615014 | 13876 178636 802168 | 2147483647 533041 629 | 0.036 % |
2846.49/2847.72 c | 617083 | 13876 178636 802168 | 2147483647 535110 628 | 0.036 % |
2859.68/2860.91 c | 619336 | 13876 178636 802168 | 2147483647 537363 628 | 0.036 % |
2871.17/2872.47 c | 621815 | 13876 178636 802168 | 2147483647 539842 628 | 0.036 % |
2896.77/2898.01 c | 624545 | 13876 178636 802168 | 2147483647 542572 629 | 0.036 % |
2926.55/2927.84 c | 627544 | 13876 178636 802168 | 2147483647 545571 629 | 0.036 % |
2960.84/2962.16 c | 630842 | 13876 178636 802168 | 548035 548869 630 | 0.036 % |
2991.33/2992.61 c | 634467 | 13876 178636 802168 | 548035 469028 636 | 0.036 % |
3023.41/3024.71 c | 638456 | 13876 178636 802168 | 548035 473017 637 | 0.036 % |
3053.20/3054.59 c | 642846 | 13876 178636 802168 | 474562 429705 634 | 0.036 % |
3079.69/3081.07 c | 647669 | 13876 178636 802168 | 474562 434528 634 | 0.036 % |
3121.08/3122.41 c | 652982 | 13876 178636 802168 | 2147483647 439841 634 | 0.036 % |
3148.77/3150.14 c | 658818 | 13876 178636 802168 | 2147483647 445677 632 | 0.036 % |
3149.37/3150.76 c | 658920 | 13876 178636 802168 | 2147483647 445779 632 | 0.036 % |
3150.27/3151.67 c | 659031 | 13876 178636 802168 | 2147483647 445890 632 | 0.036 % |
3151.57/3153.00 c | 659157 | 13876 178636 802168 | 2147483647 446016 632 | 0.036 % |
3152.17/3153.52 c | 659290 | 13876 178636 802168 | 2147483647 446149 632 | 0.036 % |
3152.87/3154.20 c | 659441 | 13876 178636 802168 | 2147483647 446300 632 | 0.036 % |
3153.97/3155.32 c | 659604 | 13876 178636 802168 | 2147483647 446463 632 | 0.036 % |
3155.57/3156.92 c | 659780 | 13876 178636 802168 | 2147483647 446639 632 | 0.036 % |
3156.77/3158.14 c | 659973 | 13876 178636 802168 | 2147483647 446832 632 | 0.036 % |
3158.66/3160.08 c | 660185 | 13876 178636 802168 | 2147483647 447044 632 | 0.036 % |
3160.46/3161.86 c | 660418 | 13876 178636 802168 | 2147483647 447277 632 | 0.036 % |
3162.76/3164.11 c | 660678 | 13876 178636 802168 | 2147483647 447537 632 | 0.036 % |
3164.47/3165.90 c | 660961 | 13876 178636 802168 | 2147483647 447820 632 | 0.036 % |
3167.66/3169.09 c | 661280 | 13876 178636 802168 | 2147483647 448139 632 | 0.036 % |
3170.26/3171.67 c | 661624 | 13876 178636 802168 | 2147483647 448483 632 | 0.036 % |
3173.06/3174.48 c | 661996 | 13876 178636 802168 | 2147483647 448855 632 | 0.036 % |
3176.66/3178.08 c | 662405 | 13876 178636 802168 | 2147483647 449264 632 | 0.036 % |
3179.96/3181.38 c | 662854 | 13876 178636 802168 | 2147483647 449713 632 | 0.036 % |
3183.85/3185.26 c | 663347 | 13876 178636 802168 | 2147483647 450206 632 | 0.036 % |
3186.95/3188.36 c | 663891 | 13876 178636 802168 | 2147483647 450750 632 | 0.036 % |
3190.35/3191.77 c | 664493 | 13876 178636 802168 | 2147483647 451352 633 | 0.036 % |
3195.94/3197.34 c | 665152 | 13876 178636 802168 | 2147483647 452011 633 | 0.036 % |
3199.54/3200.97 c | 665879 | 13876 178636 802168 | 2147483647 452738 633 | 0.036 % |
3205.25/3206.65 c | 666671 | 13876 178636 802168 | 2147483647 453530 633 | 0.036 % |
3214.74/3216.13 c | 667543 | 13876 178636 802168 | 2147483647 454402 633 | 0.036 % |
3219.64/3221.04 c | 668502 | 13876 178636 802168 | 2147483647 455361 633 | 0.036 % |
3230.63/3232.08 c | 669560 | 13876 178636 802168 | 2147483647 456419 633 | 0.036 % |
3243.32/3244.73 c | 670719 | 13876 178636 802168 | 2147483647 457578 633 | 0.036 % |
3257.22/3258.64 c | 671992 | 13876 178636 802168 | 2147483647 458851 633 | 0.036 % |
3265.32/3266.73 c | 673392 | 13876 178636 802168 | 2147483647 460251 633 | 0.036 % |
3277.12/3278.56 c | 674937 | 13876 178636 802168 | 2147483647 461796 633 | 0.036 % |
3289.42/3290.88 c | 676632 | 13876 178636 802168 | 2147483647 463491 633 | 0.036 % |
3295.02/3296.44 c | 678497 | 13876 178636 802168 | 2147483647 465356 633 | 0.036 % |
3308.81/3310.26 c | 680550 | 13876 178636 802168 | 2147483647 467409 633 | 0.036 % |
3325.30/3326.77 c | 682804 | 13876 178636 802168 | 2147483647 469663 633 | 0.036 % |
3340.59/3342.04 c | 685286 | 13876 178636 802168 | 2147483647 472145 634 | 0.036 % |
3362.19/3363.64 c | 688011 | 13876 178636 802168 | 2147483647 474870 635 | 0.036 % |
3385.58/3387.01 c | 691009 | 13876 178636 802168 | 2147483647 477868 636 | 0.036 % |
3409.46/3410.94 c | 694305 | 13876 178636 802168 | 2147483647 481164 636 | 0.036 % |
3430.26/3431.72 c | 697933 | 13876 178636 802168 | 2147483647 484792 636 | 0.036 % |
3451.05/3452.50 c | 701923 | 13876 178636 802168 | 2147483647 488782 636 | 0.036 % |
3495.54/3497.01 c | 706327 | 13876 178636 802168 | 2147483647 493186 635 | 0.036 % |
3518.12/3519.69 c | 711150 | 13876 178636 802168 | 2147483647 498009 634 | 0.036 % |
3556.61/3558.13 c | 716462 | 13876 178636 802168 | 2147483647 503321 636 | 0.036 % |
3596.98/3598.51 c | 722300 | 13876 178636 802168 | 2147483647 509159 634 | 0.036 % |
3623.28/3624.88 c | 728721 | 13876 178636 802168 | 2147483647 515580 630 | 0.036 % |
3623.68/3625.23 c | 728829 | 13876 178636 802168 | 2147483647 515688 630 | 0.036 % |
3624.28/3625.85 c | 728941 | 13876 178636 802168 | 2147483647 515800 630 | 0.036 % |
3624.98/3626.55 c | 729068 | 13876 178636 802168 | 2147483647 515927 630 | 0.036 % |
3625.57/3627.15 c | 729201 | 13876 178636 802168 | 2147483647 516060 630 | 0.036 % |
3626.07/3627.63 c | 729347 | 13876 178636 802168 | 2147483647 516206 630 | 0.036 % |
3626.87/3628.40 c | 729510 | 13876 178636 802168 | 2147483647 516369 629 | 0.036 % |
3627.57/3629.12 c | 729692 | 13876 178636 802168 | 2147483647 516551 629 | 0.036 % |
3628.37/3629.92 c | 729885 | 13876 178636 802168 | 2147483647 516744 629 | 0.036 % |
3629.77/3631.37 c | 730111 | 13876 178636 802168 | 2147483647 516970 629 | 0.036 % |
3630.57/3632.12 c | 730344 | 13876 178636 802168 | 2147483647 517203 629 | 0.036 % |
3632.57/3634.14 c | 730601 | 13876 178636 802168 | 2147483647 517460 629 | 0.036 % |
3633.66/3635.22 c | 730883 | 13876 178636 802168 | 2147483647 517742 629 | 0.036 % |
3634.26/3635.80 c | 731192 | 13876 178636 802168 | 2147483647 518051 628 | 0.036 % |
3635.56/3637.18 c | 731535 | 13876 178636 802168 | 2147483647 518394 628 | 0.036 % |
3638.47/3640.04 c | 731907 | 13876 178636 802168 | 2147483647 518766 628 | 0.036 % |
3642.26/3643.87 c | 732319 | 13876 178636 802168 | 2147483647 519178 628 | 0.036 % |
3647.36/3648.95 c | 732769 | 13876 178636 802168 | 2147483647 519628 628 | 0.036 % |
3650.16/3651.70 c | 733262 | 13876 178636 802168 | 2147483647 520121 628 | 0.036 % |
3652.86/3654.47 c | 733807 | 13876 178636 802168 | 2147483647 520666 628 | 0.036 % |
3657.06/3658.62 c | 734404 | 13876 178636 802168 | 2147483647 521263 628 | 0.036 % |
3660.36/3661.96 c | 735060 | 13876 178636 802168 | 2147483647 521919 628 | 0.036 % |
3669.35/3670.97 c | 735781 | 13876 178636 802168 | 2147483647 522640 628 | 0.036 % |
3672.65/3674.25 c | 736574 | 13876 178636 802168 | 2147483647 523433 628 | 0.036 % |
3681.84/3683.42 c | 737447 | 13876 178636 802168 | 2147483647 524306 628 | 0.036 % |
3690.54/3692.13 c | 738405 | 13876 178636 802168 | 2147483647 525264 628 | 0.036 % |
3698.54/3700.18 c | 739458 | 13876 178636 802168 | 2147483647 526317 628 | 0.036 % |
3709.34/3710.91 c | 740617 | 13876 178636 802168 | 2147483647 527476 629 | 0.036 % |
3720.84/3722.42 c | 741893 | 13876 178636 802168 | 2147483647 528752 629 | 0.036 % |
3736.62/3738.20 c | 743293 | 13876 178636 802168 | 2147483647 530152 630 | 0.036 % |
3747.32/3748.96 c | 744833 | 13876 178636 802168 | 2147483647 531692 630 | 0.036 % |
3753.02/3754.62 c | 746529 | 13876 178636 802168 | 2147483647 533388 629 | 0.036 % |
3783.41/3785.04 c | 748394 | 13876 178636 802168 | 2147483647 535253 629 | 0.036 % |
3805.70/3807.39 c | 750446 | 13876 178636 802168 | 536859 537305 630 | 0.036 % |
3826.19/3827.89 c | 752699 | 13876 178636 802168 | 536859 454186 609 | 0.036 % |
3838.88/3840.57 c | 755177 | 13876 178636 802168 | 536859 456664 608 | 0.036 % |
3858.57/3860.21 c | 757907 | 13876 178636 802168 | 536859 459394 607 | 0.036 % |
3875.25/3876.95 c | 760904 | 13876 178636 802168 | 2147483647 462391 607 | 0.036 % |
3902.54/3904.21 c | 764211 | 13876 178636 802168 | 2147483647 465698 606 | 0.036 % |
3924.93/3926.64 c | 767840 | 13876 178636 802168 | 2147483647 469327 607 | 0.036 % |
3957.61/3959.39 c | 771834 | 13876 178636 802168 | 2147483647 473321 608 | 0.036 % |
3983.21/3984.92 c | 776220 | 13876 178636 802168 | 2147483647 477707 608 | 0.036 % |
4015.89/4017.60 c | 781043 | 13876 178636 802168 | 2147483647 482530 608 | 0.036 % |
4036.49/4038.28 c | 786352 | 13876 178636 802168 | 2147483647 487839 606 | 0.036 % |
4058.57/4060.40 c | 792191 | 13876 178636 802168 | 2147483647 493678 603 | 0.036 % |
4080.67/4082.42 c | 798609 | 13876 178636 802168 | 2147483647 500096 600 | 0.036 % |
4127.93/4129.74 c | 805669 | 13876 178636 802168 | 2147483647 507156 602 | 0.036 % |
4128.43/4130.25 c | 805770 | 13876 178636 802168 | 2147483647 507257 602 | 0.036 % |
4129.93/4131.77 c | 805880 | 13876 178636 802168 | 2147483647 507367 602 | 0.036 % |
4131.33/4133.13 c | 806003 | 13876 178636 802168 | 2147483647 507490 602 | 0.036 % |
4133.13/4134.94 c | 806139 | 13876 178636 802168 | 2147483647 507626 602 | 0.036 % |
4135.43/4137.28 c | 806285 | 13876 178636 802168 | 2147483647 507772 602 | 0.036 % |
4137.23/4139.07 c | 806448 | 13876 178636 802168 | 2147483647 507935 602 | 0.036 % |
4138.23/4140.01 c | 806630 | 13876 178636 802168 | 2147483647 508117 602 | 0.036 % |
4139.63/4141.45 c | 806824 | 13876 178636 802168 | 2147483647 508311 602 | 0.036 % |
4141.82/4143.61 c | 807038 | 13876 178636 802168 | 2147483647 508525 602 | 0.036 % |
4144.02/4145.80 c | 807272 | 13876 178636 802168 | 2147483647 508759 602 | 0.036 % |
4145.92/4147.76 c | 807528 | 13876 178636 802168 | 2147483647 509015 602 | 0.036 % |
4148.42/4150.24 c | 807809 | 13876 178636 802168 | 2147483647 509296 602 | 0.036 % |
4150.22/4152.09 c | 808120 | 13876 178636 802168 | 2147483647 509607 602 | 0.036 % |
4152.22/4154.02 c | 808460 | 13876 178636 802168 | 2147483647 509947 602 | 0.036 % |
4153.92/4155.72 c | 808835 | 13876 178636 802168 | 2147483647 510322 602 | 0.036 % |
4156.33/4158.14 c | 809244 | 13876 178636 802168 | 2147483647 510731 602 | 0.036 % |
4159.72/4161.59 c | 809708 | 13876 178636 802168 | 2147483647 511195 602 | 0.036 % |
4163.32/4165.18 c | 810201 | 13876 178636 802168 | 2147483647 511688 602 | 0.036 % |
4167.42/4169.24 c | 810744 | 13876 178636 802168 | 2147483647 512231 602 | 0.036 % |
4173.61/4175.48 c | 811343 | 13876 178636 802168 | 2147483647 512830 602 | 0.036 % |
4180.52/4182.37 c | 812003 | 13876 178636 802168 | 2147483647 513490 602 | 0.036 % |
4186.41/4188.20 c | 812725 | 13876 178636 802168 | 2147483647 514212 602 | 0.036 % |
4190.41/4192.25 c | 813523 | 13876 178636 802168 | 2147483647 515010 602 | 0.036 % |
4196.31/4198.19 c | 814394 | 13876 178636 802168 | 2147483647 515881 602 | 0.036 % |
4202.91/4204.72 c | 815352 | 13876 178636 802168 | 2147483647 516839 602 | 0.036 % |
4210.91/4212.75 c | 816406 | 13876 178636 802168 | 2147483647 517893 603 | 0.036 % |
4216.81/4218.64 c | 817566 | 13876 178636 802168 | 2147483647 519053 603 | 0.036 % |
4226.71/4228.54 c | 818839 | 13876 178636 802168 | 2147483647 520326 602 | 0.036 % |
4233.50/4235.33 c | 820240 | 13876 178636 802168 | 2147483647 521727 602 | 0.036 % |
4243.00/4244.84 c | 821783 | 13876 178636 802168 | 2147483647 523270 602 | 0.036 % |
4257.69/4259.59 c | 823477 | 13876 178636 802168 | 2147483647 524964 602 | 0.036 % |
4273.58/4275.49 c | 825345 | 13876 178636 802168 | 2147483647 526832 602 | 0.036 % |
4292.58/4294.47 c | 827396 | 13876 178636 802168 | 2147483647 528883 602 | 0.036 % |
4313.46/4315.36 c | 829656 | 13876 178636 802168 | 2147483647 531143 603 | 0.036 % |
4338.15/4340.01 c | 832135 | 13876 178636 802168 | 2147483647 533622 604 | 0.036 % |
4361.64/4363.60 c | 834860 | 13876 178636 802168 | 2147483647 536347 605 | 0.036 % |
4380.83/4382.78 c | 837858 | 13876 178636 802168 | 2147483647 539345 605 | 0.036 % |
4402.33/4404.21 c | 841154 | 13876 178636 802168 | 541487 542641 606 | 0.036 % |
4430.72/4432.61 c | 844779 | 13876 178636 802168 | 541487 480430 591 | 0.036 % |
4460.81/4462.76 c | 848768 | 13876 178636 802168 | 541487 484419 591 | 0.036 % |
4496.99/4498.96 c | 853154 | 13876 178636 802168 | 2147483647 488805 592 | 0.036 % |
4532.87/4534.83 c | 857977 | 13876 178636 802168 | 2147483647 493628 592 | 0.036 % |
4565.96/4567.97 c | 863291 | 13876 178636 802168 | 2147483647 498942 593 | 0.036 % |
4611.95/4613.95 c | 869127 | 13876 178636 802168 | 2147483647 504778 592 | 0.036 % |
4652.23/4654.26 c | 875550 | 13876 178636 802168 | 2147483647 511201 592 | 0.036 % |
4683.11/4685.15 c | 882618 | 13876 178636 802168 | 2147483647 518269 591 | 0.036 % |
4756.29/4758.31 c | 890382 | 13876 178636 802168 | 525652 526033 591 | 0.036 % |
4757.78/4759.87 c | 890482 | 13876 178636 802168 | 525652 468536 583 | 0.036 % |
4758.88/4760.93 c | 890592 | 13876 178636 802168 | 525652 468646 583 | 0.036 % |
4760.38/4762.42 c | 890714 | 13876 178636 802168 | 525652 468768 583 | 0.036 % |
4761.68/4763.78 c | 890847 | 13876 178636 802168 | 525652 468901 583 | 0.036 % |
4763.08/4765.20 c | 890995 | 13876 178636 802168 | 525652 469049 583 | 0.036 % |
4763.98/4766.05 c | 891155 | 13876 178636 802168 | 525652 469209 583 | 0.036 % |
4765.28/4767.31 c | 891333 | 13876 178636 802168 | 525652 469387 583 | 0.036 % |
4766.38/4768.48 c | 891534 | 13876 178636 802168 | 525652 469588 583 | 0.036 % |
4766.98/4769.01 c | 891746 | 13876 178636 802168 | 525652 469800 583 | 0.036 % |
4768.28/4770.35 c | 891979 | 13876 178636 802168 | 525652 470033 583 | 0.036 % |
4769.17/4771.23 c | 892235 | 13876 178636 802168 | 525652 470289 583 | 0.036 % |
4770.08/4772.16 c | 892519 | 13876 178636 802168 | 525652 470573 583 | 0.036 % |
4772.57/4774.64 c | 892828 | 13876 178636 802168 | 525652 470882 583 | 0.036 % |
4774.97/4777.03 c | 893168 | 13876 178636 802168 | 525652 471222 583 | 0.036 % |
4777.27/4779.32 c | 893540 | 13876 178636 802168 | 525652 471594 583 | 0.036 % |
4782.37/4784.47 c | 893954 | 13876 178636 802168 | 525652 472008 583 | 0.036 % |
4787.27/4789.40 c | 894404 | 13876 178636 802168 | 525652 472458 583 | 0.036 % |
4791.87/4793.97 c | 894897 | 13876 178636 802168 | 525652 472951 583 | 0.036 % |
4798.17/4800.21 c | 895442 | 13876 178636 802168 | 525652 473496 584 | 0.036 % |
4804.06/4806.17 c | 896040 | 13876 178636 802168 | 525652 474094 584 | 0.036 % |
4809.96/4812.07 c | 896695 | 13876 178636 802168 | 525652 474749 584 | 0.036 % |
4812.76/4814.80 c | 897417 | 13876 178636 802168 | 525652 475471 583 | 0.036 % |
4815.35/4817.42 c | 898209 | 13876 178636 802168 | 525652 476263 583 | 0.036 % |
4818.65/4820.71 c | 899087 | 13876 178636 802168 | 525652 477141 582 | 0.036 % |
4824.45/4826.52 c | 900046 | 13876 178636 802168 | 2147483647 478100 582 | 0.036 % |
4831.85/4833.96 c | 901100 | 13876 178636 802168 | 2147483647 479154 583 | 0.036 % |
4838.65/4840.71 c | 902259 | 13876 178636 802168 | 2147483647 480313 583 | 0.036 % |
4845.85/4847.97 c | 903533 | 13876 178636 802168 | 2147483647 481587 584 | 0.036 % |
4859.04/4861.13 c | 904933 | 13876 178636 802168 | 2147483647 482987 584 | 0.036 % |
4877.24/4879.33 c | 906473 | 13876 178636 802168 | 2147483647 484527 584 | 0.036 % |
4889.23/4891.32 c | 908174 | 13876 178636 802168 | 2147483647 486228 584 | 0.036 % |
4905.92/4908.02 c | 910039 | 13876 178636 802168 | 2147483647 488093 584 | 0.036 % |
4917.72/4919.86 c | 912088 | 13876 178636 802168 | 2147483647 490142 584 | 0.036 % |
4938.21/4940.31 c | 914341 | 13876 178636 802168 | 2147483647 492395 584 | 0.036 % |
4950.51/4952.69 c | 916821 | 13876 178636 802168 | 2147483647 494875 584 | 0.036 % |
4966.10/4968.22 c | 919547 | 13876 178636 802168 | 2147483647 497601 585 | 0.036 % |
4991.00/4993.18 c | 922546 | 13876 178636 802168 | 2147483647 500600 585 | 0.036 % |
5019.09/5021.25 c | 925846 | 13876 178636 802168 | 2147483647 503900 586 | 0.036 % |
5035.68/5037.81 c | 929471 | 13876 178636 802168 | 2147483647 507525 586 | 0.036 % |
5052.88/5055.08 c | 933462 | 13876 178636 802168 | 2147483647 511516 584 | 0.036 % |
5069.37/5071.50 c | 937848 | 13876 178636 802168 | 2147483647 515902 583 | 0.036 % |
5105.36/5107.54 c | 942680 | 13876 178636 802168 | 2147483647 520734 584 | 0.036 % |
5149.74/5151.92 c | 947985 | 13876 178636 802168 | 2147483647 526039 585 | 0.036 % |
5217.42/5219.63 c | 953830 | 13876 178636 802168 | 2147483647 531884 586 | 0.036 % |
5244.11/5246.32 c | 960248 | 13876 178636 802168 | 2147483647 538302 584 | 0.036 % |
5279.19/5281.45 c | 967307 | 13876 178636 802168 | 2147483647 545361 584 | 0.036 % |
5355.65/5357.99 c | 975072 | 13876 178636 802168 | 2147483647 553126 585 | 0.036 % |
5435.71/5438.04 c | 983614 | 13876 178636 802168 | 558059 500956 571 | 0.036 % |
5436.51/5438.88 c | 983715 | 13876 178636 802168 | 558059 501057 571 | 0.036 % |
5437.11/5439.45 c | 983831 | 13876 178636 802168 | 558059 501173 571 | 0.036 % |
5437.81/5440.16 c | 983956 | 13876 178636 802168 | 558059 501298 571 | 0.036 % |
5438.50/5440.86 c | 984095 | 13876 178636 802168 | 558059 501437 571 | 0.036 % |
5439.41/5441.78 c | 984241 | 13876 178636 802168 | 558059 501583 571 | 0.036 % |
5440.10/5442.46 c | 984401 | 13876 178636 802168 | 558059 501743 571 | 0.036 % |
5440.70/5443.07 c | 984578 | 13876 178636 802168 | 558059 501920 571 | 0.036 % |
5442.50/5444.89 c | 984771 | 13876 178636 802168 | 558059 502113 571 | 0.036 % |
5443.30/5445.62 c | 984983 | 13876 178636 802168 | 558059 502325 571 | 0.036 % |
5444.20/5446.56 c | 985217 | 13876 178636 802168 | 558059 502559 571 | 0.036 % |
5445.30/5447.68 c | 985474 | 13876 178636 802168 | 558059 502816 571 | 0.036 % |
5446.20/5448.54 c | 985755 | 13876 178636 802168 | 558059 503097 571 | 0.036 % |
5447.00/5449.37 c | 986064 | 13876 178636 802168 | 558059 503406 571 | 0.036 % |
5449.50/5451.80 c | 986403 | 13876 178636 802168 | 558059 503745 571 | 0.036 % |
5451.20/5453.51 c | 986779 | 13876 178636 802168 | 558059 504121 571 | 0.036 % |
5453.70/5456.04 c | 987190 | 13876 178636 802168 | 558059 504532 571 | 0.036 % |
5456.80/5459.15 c | 987640 | 13876 178636 802168 | 558059 504982 571 | 0.036 % |
5461.29/5463.62 c | 988137 | 13876 178636 802168 | 558059 505479 571 | 0.036 % |
5465.90/5468.29 c | 988686 | 13876 178636 802168 | 558059 506028 571 | 0.036 % |
5471.19/5473.50 c | 989286 | 13876 178636 802168 | 558059 506628 571 | 0.036 % |
5478.49/5480.83 c | 989947 | 13876 178636 802168 | 558059 507289 572 | 0.036 % |
5487.79/5490.11 c | 990670 | 13876 178636 802168 | 2147483647 508012 572 | 0.036 % |
5495.28/5497.61 c | 991462 | 13876 178636 802168 | 2147483647 508804 572 | 0.036 % |
5504.28/5506.67 c | 992336 | 13876 178636 802168 | 2147483647 509678 572 | 0.036 % |
5514.08/5516.45 c | 993303 | 13876 178636 802168 | 2147483647 510645 572 | 0.036 % |
5520.97/5523.31 c | 994359 | 13876 178636 802168 | 2147483647 511701 572 | 0.036 % |
5528.37/5530.72 c | 995523 | 13876 178636 802168 | 2147483647 512865 572 | 0.036 % |
5538.66/5541.00 c | 996809 | 13876 178636 802168 | 2147483647 514151 572 | 0.036 % |
5548.06/5550.46 c | 998212 | 13876 178636 802168 | 2147483647 515554 572 | 0.036 % |
5559.36/5561.73 c | 999758 | 13876 178636 802168 | 2147483647 517100 572 | 0.036 % |
5566.26/5568.66 c | 1001454 | 13876 178636 802168 | 2147483647 518796 571 | 0.036 % |
5575.25/5577.62 c | 1003322 | 13876 178636 802168 | 2147483647 520664 572 | 0.036 % |
5585.84/5588.27 c | 1005374 | 13876 178636 802168 | 2147483647 522716 572 | 0.036 % |
5597.14/5599.51 c | 1007627 | 13876 178636 802168 | 2147483647 524969 572 | 0.036 % |
5610.94/5613.39 c | 1010112 | 13876 178636 802168 | 2147483647 527454 573 | 0.036 % |
5622.53/5624.93 c | 1012837 | 13876 178636 802168 | 2147483647 530179 572 | 0.036 % |
5635.52/5637.95 c | 1015836 | 13876 178636 802168 | 2147483647 533178 571 | 0.036 % |
5649.43/5651.88 c | 1019132 | 13876 178636 802168 | 2147483647 536474 571 | 0.036 % |
5673.61/5676.09 c | 1022757 | 13876 178636 802168 | 2147483647 540099 571 | 0.036 % |
5695.50/5697.94 c | 1026744 | 13876 178636 802168 | 2147483647 544086 572 | 0.036 % |
5725.99/5728.48 c | 1031133 | 13876 178636 802168 | 2147483647 548475 573 | 0.036 % |
5760.87/5763.31 c | 1035963 | 13876 178636 802168 | 2147483647 553305 574 | 0.036 % |
5813.65/5816.17 c | 1041268 | 13876 178636 802168 | 2147483647 558610 576 | 0.036 % |
5853.94/5856.50 c | 1047106 | 13876 178636 802168 | 2147483647 564448 576 | 0.036 % |
5911.21/5913.73 c | 1053524 | 13876 178636 802168 | 2147483647 570866 576 | 0.036 % |
5981.96/5984.54 c | 1060583 | 13876 178636 802168 | 2147483647 577925 576 | 0.036 % |
6035.34/6037.92 c | 1068348 | 13876 178636 802168 | 2147483647 585690 575 | 0.036 % |
6149.81/6152.46 c | 1076888 | 13876 178636 802168 | 2147483647 594230 575 | 0.036 % |
6264.86/6267.56 c | 1086283 | 13876 178636 802168 | 597343 487808 564 | 0.036 % |
6265.66/6268.30 c | 1086385 | 13876 178636 802168 | 597343 487910 564 | 0.036 % |
6266.56/6269.24 c | 1086497 | 13876 178636 802168 | 597343 488022 564 | 0.036 % |
6267.76/6270.49 c | 1086622 | 13876 178636 802168 | 597343 488147 564 | 0.036 % |
6269.16/6271.80 c | 1086756 | 13876 178636 802168 | 597343 488281 564 | 0.036 % |
6270.56/6273.24 c | 1086902 | 13876 178636 802168 | 597343 488427 564 | 0.036 % |
6272.56/6275.25 c | 1087065 | 13876 178636 802168 | 597343 488590 564 | 0.036 % |
6274.76/6277.42 c | 1087241 | 13876 178636 802168 | 597343 488766 564 | 0.036 % |
6276.56/6279.28 c | 1087435 | 13876 178636 802168 | 597343 488960 564 | 0.036 % |
6278.36/6281.05 c | 1087647 | 13876 178636 802168 | 597343 489172 564 | 0.036 % |
6279.86/6282.58 c | 1087882 | 13876 178636 802168 | 597343 489407 564 | 0.036 % |
6283.26/6285.91 c | 1088139 | 13876 178636 802168 | 597343 489664 564 | 0.036 % |
6285.86/6288.57 c | 1088421 | 13876 178636 802168 | 597343 489946 564 | 0.036 % |
6288.55/6291.22 c | 1088733 | 13876 178636 802168 | 597343 490258 564 | 0.036 % |
6290.65/6293.33 c | 1089075 | 13876 178636 802168 | 597343 490600 564 | 0.036 % |
6295.25/6297.91 c | 1089454 | 13876 178636 802168 | 597343 490979 564 | 0.036 % |
6299.25/6301.96 c | 1089863 | 13876 178636 802168 | 597343 491388 564 | 0.036 % |
6303.14/6305.87 c | 1090313 | 13876 178636 802168 | 491531 491838 564 | 0.036 % |
6308.64/6311.39 c | 1090808 | 13876 178636 802168 | 491531 427516 551 | 0.036 % |
6314.94/6317.63 c | 1091356 | 13876 178636 802168 | 491531 428064 551 | 0.036 % |
6322.14/6324.82 c | 1091952 | 13876 178636 802168 | 491531 428660 551 | 0.036 % |
6327.84/6330.54 c | 1092610 | 13876 178636 802168 | 491531 429318 552 | 0.036 % |
6333.73/6336.46 c | 1093330 | 13876 178636 802168 | 491531 430038 552 | 0.036 % |
6338.43/6341.13 c | 1094124 | 13876 178636 802168 | 491531 430832 552 | 0.036 % |
6343.03/6345.79 c | 1095002 | 13876 178636 802168 | 491531 431710 552 | 0.036 % |
6351.53/6354.22 c | 1095962 | 13876 178636 802168 | 491531 432670 552 | 0.036 % |
6357.82/6360.54 c | 1097019 | 13876 178636 802168 | 491531 433727 552 | 0.036 % |
6369.63/6372.31 c | 1098183 | 13876 178636 802168 | 491531 434891 552 | 0.036 % |
6377.71/6380.48 c | 1099458 | 13876 178636 802168 | 491531 436166 552 | 0.036 % |
6387.22/6389.99 c | 1100858 | 13876 178636 802168 | 2147483647 437566 553 | 0.036 % |
6396.51/6399.21 c | 1102398 | 13876 178636 802168 | 2147483647 439106 553 | 0.036 % |
6410.81/6413.52 c | 1104092 | 13876 178636 802168 | 2147483647 440800 554 | 0.036 % |
6420.70/6423.47 c | 1105961 | 13876 178636 802168 | 2147483647 442669 554 | 0.036 % |
6428.69/6431.41 c | 1108010 | 13876 178636 802168 | 2147483647 444718 554 | 0.036 % |
6447.09/6449.82 c | 1110273 | 13876 178636 802168 | 2147483647 446981 555 | 0.036 % |
6469.18/6471.99 c | 1112754 | 13876 178636 802168 | 2147483647 449462 555 | 0.036 % |
6489.78/6492.59 c | 1115480 | 13876 178636 802168 | 2147483647 452188 556 | 0.036 % |
6508.27/6511.05 c | 1118483 | 13876 178636 802168 | 2147483647 455191 555 | 0.036 % |
6521.46/6524.20 c | 1121779 | 13876 178636 802168 | 2147483647 458487 554 | 0.036 % |
6532.26/6535.06 c | 1125404 | 13876 178636 802168 | 2147483647 462112 552 | 0.036 % |
6540.06/6542.85 c | 1129394 | 13876 178636 802168 | 2147483647 466102 549 | 0.036 % |
6552.45/6555.22 c | 1133781 | 13876 178636 802168 | 2147483647 470489 547 | 0.036 % |
6572.14/6574.97 c | 1138609 | 13876 178636 802168 | 2147483647 475317 544 | 0.036 % |
6603.73/6606.57 c | 1143916 | 13876 178636 802168 | 2147483647 480624 545 | 0.036 % |
6656.81/6659.62 c | 1149755 | 13876 178636 802168 | 2147483647 486463 546 | 0.036 % |
6696.01/6698.87 c | 1156173 | 13876 178636 802168 | 2147483647 492881 548 | 0.036 % |
6753.68/6756.58 c | 1163242 | 13876 178636 802168 | 2147483647 499950 548 | 0.036 % |
6798.57/6801.41 c | 1171006 | 13876 178636 802168 | 2147483647 507714 547 | 0.036 % |
6884.31/6887.25 c | 1179547 | 13876 178636 802168 | 2147483647 516255 549 | 0.036 % |
6982.57/6985.55 c | 1188942 | 13876 178636 802168 | 2147483647 525650 549 | 0.036 % |
7057.44/7060.47 c | 1199290 | 13876 178636 802168 | 526709 465738 552 | 0.036 % |
7057.74/7060.75 c | 1199390 | 13876 178636 802168 | 526709 465838 552 | 0.036 % |
7058.94/7061.92 c | 1199504 | 13876 178636 802168 | 526709 465952 552 | 0.036 % |
7060.54/7063.52 c | 1199626 | 13876 178636 802168 | 526709 466074 552 | 0.036 % |
7061.14/7064.18 c | 1199761 | 13876 178636 802168 | 526709 466209 552 | 0.036 % |
7062.24/7065.29 c | 1199911 | 13876 178636 802168 | 526709 466359 552 | 0.036 % |
7063.24/7066.24 c | 1200073 | 13876 178636 802168 | 466461 466521 552 | 0.036 % |
7065.14/7068.19 c | 1200249 | 13876 178636 802168 | 466461 416725 543 | 0.036 % |
7065.94/7068.91 c | 1200446 | 13876 178636 802168 | 466461 416922 543 | 0.036 % |
7066.54/7069.58 c | 1200660 | 13876 178636 802168 | 466461 417136 543 | 0.036 % |
7067.24/7070.21 c | 1200897 | 13876 178636 802168 | 466461 417373 543 | 0.036 % |
7067.94/7070.98 c | 1201153 | 13876 178636 802168 | 466461 417629 543 | 0.036 % |
7068.84/7071.86 c | 1201435 | 13876 178636 802168 | 466461 417911 543 | 0.036 % |
7069.64/7072.65 c | 1201745 | 13876 178636 802168 | 466461 418221 543 | 0.036 % |
7070.44/7073.42 c | 1202087 | 13876 178636 802168 | 466461 418563 543 | 0.036 % |
7072.74/7075.76 c | 1202460 | 13876 178636 802168 | 466461 418936 543 | 0.036 % |
7075.64/7078.62 c | 1202873 | 13876 178636 802168 | 466461 419349 543 | 0.036 % |
7078.34/7081.31 c | 1203322 | 13876 178636 802168 | 466461 419798 543 | 0.036 % |
7080.94/7083.95 c | 1203817 | 13876 178636 802168 | 466461 420293 543 | 0.036 % |
7086.64/7089.65 c | 1204360 | 13876 178636 802168 | 466461 420836 543 | 0.036 % |
7093.33/7096.39 c | 1204960 | 13876 178636 802168 | 466461 421436 543 | 0.036 % |
7098.22/7101.29 c | 1205615 | 13876 178636 802168 | 466461 422091 543 | 0.036 % |
7100.12/7103.14 c | 1206335 | 13876 178636 802168 | 466461 422811 543 | 0.036 % |
7102.42/7105.48 c | 1207130 | 13876 178636 802168 | 466461 423606 543 | 0.036 % |
7107.02/7110.06 c | 1208006 | 13876 178636 802168 | 466461 424482 543 | 0.036 % |
7112.72/7115.75 c | 1208964 | 13876 178636 802168 | 466461 425440 543 | 0.036 % |
7117.22/7120.22 c | 1210019 | 13876 178636 802168 | 2147483647 426495 543 | 0.036 % |
7127.42/7130.45 c | 1211182 | 13876 178636 802168 | 2147483647 427658 543 | 0.036 % |
7137.12/7140.11 c | 1212455 | 13876 178636 802168 | 2147483647 428931 543 | 0.036 % |
7146.10/7149.10 c | 1213855 | 13876 178636 802168 | 2147483647 430331 543 | 0.036 % |
7158.20/7161.29 c | 1215406 | 13876 178636 802168 | 2147483647 431882 543 | 0.036 % |
7178.39/7181.49 c | 1217100 | 13876 178636 802168 | 2147483647 433576 543 | 0.036 % |
7196.29/7199.30 c | 1218965 | 13876 178636 802168 | 2147483647 435441 544 | 0.036 % |
7205.48/7208.58 c | 1221017 | 13876 178636 802168 | 2147483647 437493 544 | 0.036 % |
7221.28/7224.31 c | 1223271 | 13876 178636 802168 | 2147483647 439747 544 | 0.036 % |
7236.67/7239.76 c | 1225750 | 13876 178636 802168 | 2147483647 442226 543 | 0.036 % |
7255.37/7258.47 c | 1228477 | 13876 178636 802168 | 2147483647 444953 543 | 0.036 % |
7272.37/7275.47 c | 1231474 | 13876 178636 802168 | 2147483647 447950 543 | 0.036 % |
7297.26/7300.30 c | 1234771 | 13876 178636 802168 | 2147483647 451247 543 | 0.036 % |
7317.95/7321.01 c | 1238396 | 13876 178636 802168 | 2147483647 454872 544 | 0.036 % |
7348.24/7351.33 c | 1242384 | 13876 178636 802168 | 2147483647 458860 545 | 0.036 % |
7378.92/7382.04 c | 1246772 | 13876 178636 802168 | 2147483647 463248 544 | 0.036 % |
7409.51/7412.64 c | 1251597 | 13876 178636 802168 | 2147483647 468073 544 | 0.036 % |
7453.49/7456.67 c | 1256902 | 13876 178636 802168 | 2147483647 473378 544 | 0.036 % |
7500.97/7504.17 c | 1262737 | 13876 178636 802168 | 2147483647 479213 543 | 0.036 % |
7529.56/7532.73 c | 1269158 | 13876 178636 802168 | 2147483647 485634 543 | 0.036 % |
7579.54/7582.70 c | 1276223 | 13876 178636 802168 | 2147483647 492699 543 | 0.036 % |
7643.42/7646.68 c | 1283989 | 13876 178636 802168 | 2147483647 500465 545 | 0.036 % |
7729.06/7732.35 c | 1292529 | 13876 178636 802168 | 2147483647 509005 545 | 0.036 % |
7842.32/7845.66 c | 1301923 | 13876 178636 802168 | 2147483647 518399 543 | 0.036 % |
7904.00/7907.37 c | 1312256 | 13876 178636 802168 | 2147483647 528732 544 | 0.036 % |
8056.73/8060.11 c | 1323631 | 13876 178636 802168 | 536476 463294 530 | 0.036 % |
8058.13/8061.50 c | 1323731 | 13876 178636 802168 | 536476 463394 530 | 0.036 % |
8059.53/8062.94 c | 1323841 | 13876 178636 802168 | 536476 463504 530 | 0.036 % |
8060.93/8064.39 c | 1323966 | 13876 178636 802168 | 536476 463629 531 | 0.036 % |
8062.33/8065.76 c | 1324099 | 13876 178636 802168 | 536476 463762 531 | 0.036 % |
8065.02/8068.48 c | 1324245 | 13876 178636 802168 | 536476 463908 531 | 0.036 % |
8066.02/8069.46 c | 1324406 | 13876 178636 802168 | 536476 464069 531 | 0.036 % |
8067.12/8070.59 c | 1324582 | 13876 178636 802168 | 536476 464245 531 | 0.036 % |
8069.02/8072.46 c | 1324784 | 13876 178636 802168 | 536476 464447 531 | 0.036 % |
8070.52/8073.96 c | 1324997 | 13876 178636 802168 | 536476 464660 530 | 0.036 % |
8072.22/8075.69 c | 1325240 | 13876 178636 802168 | 536476 464903 530 | 0.036 % |
8074.82/8078.27 c | 1325505 | 13876 178636 802168 | 536476 465168 530 | 0.036 % |
8077.92/8081.34 c | 1325788 | 13876 178636 802168 | 536476 465451 530 | 0.036 % |
8080.52/8084.00 c | 1326097 | 13876 178636 802168 | 536476 465760 530 | 0.036 % |
8083.62/8087.05 c | 1326443 | 13876 178636 802168 | 536476 466106 530 | 0.036 % |
8088.01/8091.44 c | 1326819 | 13876 178636 802168 | 536476 466482 530 | 0.036 % |
8093.31/8096.72 c | 1327229 | 13876 178636 802168 | 536476 466892 531 | 0.036 % |
8095.41/8098.83 c | 1327681 | 13876 178636 802168 | 536476 467344 531 | 0.036 % |
8097.61/8101.05 c | 1328176 | 13876 178636 802168 | 536476 467839 531 | 0.036 % |
8099.71/8103.10 c | 1328718 | 13876 178636 802168 | 536476 468381 530 | 0.036 % |
8101.71/8105.19 c | 1329314 | 13876 178636 802168 | 536476 468977 530 | 0.036 % |
8105.51/8108.93 c | 1329975 | 13876 178636 802168 | 536476 469638 530 | 0.036 % |
8110.51/8113.98 c | 1330696 | 13876 178636 802168 | 469667 470359 530 | 0.036 % |
8116.70/8120.11 c | 1331488 | 13876 178636 802168 | 469667 423581 522 | 0.036 % |
8122.42/8125.85 c | 1332363 | 13876 178636 802168 | 469667 424456 522 | 0.036 % |
8131.01/8134.48 c | 1333322 | 13876 178636 802168 | 469667 425415 522 | 0.036 % |
8139.60/8143.10 c | 1334380 | 13876 178636 802168 | 469667 426473 522 | 0.036 % |
8150.00/8153.44 c | 1335543 | 13876 178636 802168 | 469667 427636 523 | 0.036 % |
8155.90/8159.36 c | 1336824 | 13876 178636 802168 | 469667 428917 523 | 0.036 % |
8159.20/8162.68 c | 1338227 | 13876 178636 802168 | 469667 430320 523 | 0.036 % |
8170.40/8173.81 c | 1339769 | 13876 178636 802168 | 469667 431862 523 | 0.036 % |
8183.79/8187.28 c | 1341463 | 13876 178636 802168 | 2147483647 433556 524 | 0.036 % |
8197.98/8201.41 c | 1343326 | 13876 178636 802168 | 2147483647 435419 525 | 0.036 % |
8207.98/8211.48 c | 1345377 | 13876 178636 802168 | 2147483647 437470 524 | 0.036 % |
8225.77/8229.25 c | 1347632 | 13876 178636 802168 | 2147483647 439725 525 | 0.036 % |
8248.16/8251.63 c | 1350117 | 13876 178636 802168 | 2147483647 442210 525 | 0.036 % |
8277.75/8281.23 c | 1352843 | 13876 178636 802168 | 2147483647 444936 526 | 0.036 % |
8293.25/8296.77 c | 1355843 | 13876 178636 802168 | 2147483647 447936 525 | 0.036 % |
8309.14/8312.68 c | 1359139 | 13876 178636 802168 | 2147483647 451232 524 | 0.036 % |
8321.34/8324.87 c | 1362766 | 13876 178636 802168 | 2147483647 454859 523 | 0.036 % |
8337.63/8341.15 c | 1366753 | 13876 178636 802168 | 2147483647 458846 523 | 0.036 % |
8370.82/8374.36 c | 1371143 | 13876 178636 802168 | 2147483647 463236 525 | 0.036 % |
8397.01/8400.60 c | 1375966 | 13876 178636 802168 | 2147483647 468059 525 | 0.036 % |
8427.50/8431.04 c | 1381275 | 13876 178636 802168 | 2147483647 473368 527 | 0.036 % |
8467.58/8471.15 c | 1387114 | 13876 178636 802168 | 2147483647 479207 528 | 0.036 % |
8516.76/8520.40 c | 1393532 | 13876 178636 802168 | 2147483647 485625 528 | 0.036 % |
8597.22/8600.87 c | 1400591 | 13876 178636 802168 | 492095 492684 528 | 0.036 % |
8633.91/8637.59 c | 1408355 | 13876 178636 802168 | 492095 451180 523 | 0.036 % |
8683.09/8686.70 c | 1416903 | 13876 178636 802168 | 2147483647 459728 521 | 0.036 % |
8741.85/8745.53 c | 1426297 | 13876 178636 802168 | 2147483647 469122 520 | 0.036 % |
8811.92/8815.66 c | 1436633 | 13876 178636 802168 | 2147483647 479458 519 | 0.036 % |
8888.90/8892.65 c | 1448005 | 13876 178636 802168 | 2147483647 490830 522 | 0.036 % |
8984.94/8988.75 c | 1460512 | 13876 178636 802168 | 2147483647 503337 523 | 0.036 % |
8986.34/8990.13 c | 1460613 | 13876 178636 802168 | 2147483647 503438 523 | 0.036 % |
8986.83/8990.64 c | 1460723 | 13876 178636 802168 | 2147483647 503548 523 | 0.036 % |
8987.43/8991.23 c | 1460844 | 13876 178636 802168 | 2147483647 503669 523 | 0.036 % |
8988.33/8992.19 c | 1460981 | 13876 178636 802168 | 2147483647 503806 523 | 0.036 % |
8989.63/8993.44 c | 1461134 | 13876 178636 802168 | 2147483647 503959 523 | 0.036 % |
8990.73/8994.51 c | 1461295 | 13876 178636 802168 | 2147483647 504120 523 | 0.036 % |
8992.14/8995.92 c | 1461473 | 13876 178636 802168 | 2147483647 504298 523 | 0.036 % |
8993.83/8997.61 c | 1461668 | 13876 178636 802168 | 2147483647 504493 523 | 0.036 % |
8995.93/8999.72 c | 1461885 | 13876 178636 802168 | 2147483647 504710 523 | 0.036 % |
8998.03/9001.86 c | 1462118 | 13876 178636 802168 | 2147483647 504943 523 | 0.036 % |
8999.83/9003.66 c | 1462375 | 13876 178636 802168 | 2147483647 505200 523 | 0.036 % |
9002.13/9005.95 c | 1462656 | 13876 178636 802168 | 2147483647 505481 523 | 0.036 % |
9005.13/9008.96 c | 1462967 | 13876 178636 802168 | 2147483647 505792 523 | 0.036 % |
9008.23/9012.00 c | 1463312 | 13876 178636 802168 | 2147483647 506137 523 | 0.036 % |
9012.23/9016.07 c | 1463685 | 13876 178636 802168 | 2147483647 506510 523 | 0.036 % |
9017.33/9021.19 c | 1464094 | 13876 178636 802168 | 2147483647 506919 523 | 0.036 % |
9023.42/9027.23 c | 1464544 | 13876 178636 802168 | 2147483647 507369 523 | 0.036 % |
9028.22/9032.02 c | 1465037 | 13876 178636 802168 | 2147483647 507862 523 | 0.036 % |
9033.11/9036.97 c | 1465582 | 13876 178636 802168 | 2147483647 508407 523 | 0.036 % |
9039.91/9043.73 c | 1466179 | 13876 178636 802168 | 2147483647 509004 523 | 0.036 % |
9043.41/9047.20 c | 1466834 | 13876 178636 802168 | 2147483647 509659 523 | 0.036 % |
9048.31/9052.15 c | 1467560 | 13876 178636 802168 | 2147483647 510385 523 | 0.036 % |
9057.71/9061.56 c | 1468353 | 13876 178636 802168 | 2147483647 511178 523 | 0.036 % |
9064.01/9067.81 c | 1469226 | 13876 178636 802168 | 2147483647 512051 523 | 0.036 % |
9067.70/9071.55 c | 1470186 | 13876 178636 802168 | 512828 513011 523 | 0.036 % |
9076.60/9080.41 c | 1471241 | 13876 178636 802168 | 512828 457239 518 | 0.036 % |
9086.50/9090.40 c | 1472400 | 13876 178636 802168 | 512828 458398 518 | 0.036 % |
9096.60/9100.43 c | 1473675 | 13876 178636 802168 | 512828 459673 518 | 0.036 % |
9108.89/9112.74 c | 1475075 | 13876 178636 802168 | 512828 461073 518 | 0.036 % |
9123.98/9127.87 c | 1476620 | 13876 178636 802168 | 512828 462618 518 | 0.036 % |
9141.07/9144.90 c | 1478315 | 13876 178636 802168 | 512828 464313 519 | 0.036 % |
9156.77/9160.69 c | 1480181 | 13876 178636 802168 | 2147483647 466179 519 | 0.036 % |
9170.86/9174.73 c | 1482231 | 13876 178636 802168 | 2147483647 468229 519 | 0.036 % |
9187.36/9191.23 c | 1484485 | 13876 178636 802168 | 2147483647 470483 519 | 0.036 % |
9210.75/9214.63 c | 1486963 | 13876 178636 802168 | 2147483647 472961 520 | 0.036 % |
9238.64/9242.56 c | 1489691 | 13876 178636 802168 | 2147483647 475689 521 | 0.036 % |
9260.91/9264.81 c | 1492688 | 13876 178636 802168 | 2147483647 478686 521 | 0.036 % |
9287.31/9291.26 c | 1495987 | 13876 178636 802168 | 2147483647 481985 521 | 0.036 % |
9325.39/9329.39 c | 1499613 | 13876 178636 802168 | 2147483647 485611 521 | 0.036 % |
9344.68/9348.61 c | 1503602 | 13876 178636 802168 | 2147483647 489600 522 | 0.036 % |
9377.17/9381.18 c | 1507987 | 13876 178636 802168 | 2147483647 493985 522 | 0.036 % |
9420.25/9424.20 c | 1512811 | 13876 178636 802168 | 2147483647 498809 522 | 0.036 % |
9471.44/9475.45 c | 1518122 | 13876 178636 802168 | 2147483647 504120 522 | 0.036 % |
9544.81/9548.82 c | 1523960 | 13876 178636 802168 | 2147483647 509958 522 | 0.036 % |
9591.59/9595.66 c | 1530379 | 13876 178636 802168 | 516007 516377 524 | 0.036 % |
9651.57/9655.63 c | 1537449 | 13876 178636 802168 | 516007 466267 517 | 0.036 % |
9721.03/9725.19 c | 1545214 | 13876 178636 802168 | 468822 422589 514 | 0.036 % |
9764.51/9768.67 c | 1553754 | 13876 178636 802168 | 2147483647 431129 514 | 0.036 % |
9833.48/9837.69 c | 1563150 | 13876 178636 802168 | 2147483647 440525 515 | 0.036 % |
9922.15/9926.36 c | 1573483 | 13876 178636 802168 | 2147483647 450858 515 | 0.036 % |
9995.13/9999.32 c | 1584864 | 13876 178636 802168 | 2147483647 462239 515 | 0.036 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837242-1242864464/watcher-1837242-1242864464 -o /tmp/evaluation-result-1837242-1242864464/solver-1837242-1242864464 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837242-1242864464.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: 0.96 0.98 0.91 3/64 5777
/proc/meminfo: memFree=1636040/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) R 5775 5777 5674 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
[startup+0.106653 s]
/proc/loadavg: 0.96 0.98 0.91 3/64 5777
/proc/meminfo: memFree=1636040/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201662 s]
/proc/loadavg: 0.96 0.98 0.91 3/64 5777
/proc/meminfo: memFree=1636040/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301671 s]
/proc/loadavg: 0.96 0.98 0.91 3/64 5777
/proc/meminfo: memFree=1636040/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701705 s]
/proc/loadavg: 0.96 0.98 0.91 3/64 5777
/proc/meminfo: memFree=1636040/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50178 s]
/proc/loadavg: 1.04 1.00 0.92 2/66 5782
/proc/meminfo: memFree=1569528/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
[pid=5781] ppid=5777 vsize=76564 CPUtime=1.48
/proc/5781/stat : 5781 (SatELite_releas) R 5777 5777 5674 0 -1 4194304 17198 0 0 0 136 12 0 0 25 0 1 0 314479847 78401536 15907 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/5781/statm: 19141 15907 76 173 0 18966 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 81920
[startup+3.10192 s]
/proc/loadavg: 1.04 1.00 0.92 2/66 5782
/proc/meminfo: memFree=1562872/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
[pid=5781] ppid=5777 vsize=79088 CPUtime=3.08
/proc/5781/stat : 5781 (SatELite_releas) R 5777 5777 5674 0 -1 4194304 17788 0 0 0 294 14 0 0 25 0 1 0 314479847 80986112 16497 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/5781/statm: 19772 16497 76 173 0 19597 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84444
[startup+6.3022 s]
/proc/loadavg: 1.04 1.00 0.92 2/66 5782
/proc/meminfo: memFree=1544824/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
[pid=5781] ppid=5777 vsize=83280 CPUtime=6.28
/proc/5781/stat : 5781 (SatELite_releas) R 5777 5777 5674 0 -1 4194304 18763 0 0 0 607 21 0 0 25 0 1 0 314479847 85278720 17472 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/5781/statm: 20820 17472 76 173 0 20645 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88636
[startup+12.7018 s]
/proc/loadavg: 1.19 1.03 0.93 2/66 5782
/proc/meminfo: memFree=1516864/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=0
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 314479847 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5777/statm: 1339 237 197 169 0 50 0
[pid=5781] ppid=5777 vsize=89468 CPUtime=12.67
/proc/5781/stat : 5781 (SatELite_releas) R 5777 5777 5674 0 -1 4194304 20331 0 0 0 1236 31 0 0 25 0 1 0 314479847 91615232 19040 1992294400 134512640 135223648 4294956128 18446744073709551615 134586647 0 0 4096 3 0 0 0 17 0 0 0
/proc/5781/statm: 22367 19040 76 173 0 22192 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 94824
[startup+25.5019 s]
/proc/loadavg: 1.31 1.06 0.94 2/66 5783
/proc/meminfo: memFree=1558976/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=20088 CPUtime=8.83
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 4850 0 0 0 879 4 0 0 25 0 1 0 314481512 20570112 4836 1992294400 134512640 135215339 4294956240 18446744073709551615 134527417 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 5022 4836 77 171 0 4849 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 25444
[startup+51.1011 s]
/proc/loadavg: 1.19 1.06 0.94 2/66 5783
/proc/meminfo: memFree=1525440/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=54528 CPUtime=34.41
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 13437 0 0 0 3430 11 0 0 25 0 1 0 314481512 55836672 13423 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 13632 13423 77 171 0 13459 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 59884
[startup+102.302 s]
/proc/loadavg: 1.08 1.05 0.94 2/66 5783
/proc/meminfo: memFree=1461696/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=117236 CPUtime=85.59
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 29110 0 0 0 8537 22 0 0 25 0 1 0 314481512 120049664 29096 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 29309 29097 77 171 0 29136 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 122592
[startup+162.302 s]
/proc/loadavg: 1.03 1.03 0.94 2/66 5783
/proc/meminfo: memFree=1409216/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=169992 CPUtime=145.56
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 42307 0 0 0 14525 31 0 0 25 0 1 0 314481512 174071808 42293 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 42498 42293 77 171 0 42325 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 175348
[startup+222.305 s]
/proc/loadavg: 1.01 1.03 0.94 2/66 5783
/proc/meminfo: memFree=1350720/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=228096 CPUtime=205.54
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 56796 0 0 0 20513 41 0 0 25 0 1 0 314481512 233570304 56782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 57024 56782 77 171 0 56851 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 233452
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 0.94 2/66 5783
/proc/meminfo: memFree=1294208/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=285212 CPUtime=265.51
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 71067 0 0 0 26502 49 0 0 25 0 1 0 314481512 292057088 71053 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 71303 71053 77 171 0 71130 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 290568
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 5783
/proc/meminfo: memFree=1245632/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=333292 CPUtime=325.47
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 83033 0 0 0 32486 61 0 0 25 0 1 0 314481512 341291008 83019 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 83323 83019 77 171 0 83150 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 338648
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.94 2/66 5783
/proc/meminfo: memFree=1200128/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=379228 CPUtime=385.44
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 94526 0 0 0 38474 70 0 0 25 0 1 0 314481512 388329472 94512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 94807 94512 77 171 0 94634 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 384584
[startup+462.302 s]
################
# More data... #
################
/proc/5783/statm: 358932 358215 77 171 0 358759 0
Current children cumulated CPU time (s) 9398.36
Current children cumulated vsize (KiB) 1441084
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139200/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9441.72
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358229 0 0 0 943861 311 0 0 25 0 1 0 314481512 1470185472 358215 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358215 77 171 0 358759 0
Current children cumulated CPU time (s) 9458.34
Current children cumulated vsize (KiB) 1441084
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139200/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9501.7
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358229 0 0 0 949859 311 0 0 25 0 1 0 314481512 1470185472 358215 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358215 77 171 0 358759 0
Current children cumulated CPU time (s) 9518.32
Current children cumulated vsize (KiB) 1441084
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139264/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9561.67
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 955856 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9578.29
Current children cumulated vsize (KiB) 1441084
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139264/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9621.65
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 961854 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9638.27
Current children cumulated vsize (KiB) 1441084
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9681.62
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 967851 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9698.24
Current children cumulated vsize (KiB) 1441084
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9741.59
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 973848 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9758.21
Current children cumulated vsize (KiB) 1441084
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9801.57
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 979846 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9818.19
Current children cumulated vsize (KiB) 1441084
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139136/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9861.55
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358231 0 0 0 985844 311 0 0 25 0 1 0 314481512 1470185472 358217 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358217 77 171 0 358759 0
Current children cumulated CPU time (s) 9878.17
Current children cumulated vsize (KiB) 1441084
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139136/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9921.52
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358234 0 0 0 991841 311 0 0 25 0 1 0 314481512 1470185472 358220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358220 77 171 0 358759 0
Current children cumulated CPU time (s) 9938.14
Current children cumulated vsize (KiB) 1441084
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9981.51
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358234 0 0 0 997840 311 0 0 25 0 1 0 314481512 1470185472 358220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358220 77 171 0 358759 0
Current children cumulated CPU time (s) 9998.13
Current children cumulated vsize (KiB) 1441084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9983.41
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358234 0 0 0 998030 311 0 0 25 0 1 0 314481512 1470185472 358220 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358220 77 171 0 358759 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1441084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6277
/proc/meminfo: memFree=139072/2055920 swapFree=4179272/4192956
[pid=5777] ppid=5775 vsize=5356 CPUtime=16.62
/proc/5777/stat : 5777 (SatELiteGTI) S 5775 5777 5674 0 -1 4194304 336 23903 0 0 0 0 1622 40 16 0 1 0 314479847 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5777/statm: 1339 239 197 169 0 50 0
[pid=5783] ppid=5777 vsize=1435728 CPUtime=9983.41
/proc/5783/stat : 5783 (minisat_static) R 5777 5777 5674 0 -1 4194304 358234 0 0 0 998030 311 0 0 25 0 1 0 314481512 1470185472 358220 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/5783/statm: 358932 358220 77 171 0 358759 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1441084
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5777 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=228532
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=405938
# CPU time returned by wait4() is 16.6345
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.2
CPU time (s): 10000
CPU user time (s): 9996.52
CPU system time (s): 3.51
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 1441084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2285
system time used= 0.405938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24239
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= 13
involuntary context switches= 62
runsolver used 9.1936 second user time and 27.3448 second system time
The end
Begin job on node15 at 2009-05-21 02:07:44
IDJOB=1837242
IDBENCH=70760
IDSOLVER=674
FILE ID=node15/1837242-1242864464
PBS_JOBID= 9328528
Free space on /tmp= 66400 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837242-1242864464/watcher-1837242-1242864464 -o /tmp/evaluation-result-1837242-1242864464/solver-1837242-1242864464 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837242-1242864464.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1702918581
node15.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.220
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 : 5931.00
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.220
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: 1636520 kB
Buffers: 64776 kB
Cached: 281832 kB
SwapCached: 7876 kB
Active: 145480 kB
Inactive: 210564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636520 kB
SwapTotal: 4192956 kB
SwapFree: 4179272 kB
Dirty: 9696 kB
Writeback: 0 kB
Mapped: 14580 kB
Slab: 49340 kB
Committed_AS: 1043156 kB
PageTables: 1464 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= 66344 MiB
End job on node15 at 2009-05-21 04:54:31