0.00/0.00 c Parsing...
1.19/1.23 c ==============================================================================
1.19/1.23 c | | ORIGINAL | LEARNT | |
1.19/1.23 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.19/1.23 c ==============================================================================
1.19/1.23 c | 0 | 1598300 4617402 | 479489 0 0 nan | 0.000 % |
13.28/13.33 c | 0 | 1545697 4776410 | -- 0 -- -- | -- | -52460/161443
13.28/13.33 c ==============================================================================
13.28/13.33 c Result : #vars: 83095 #clauses: 1545697 #literals: 4776410
13.28/13.33 c CPU time: 13.021 s
13.28/13.33 c ==============================================================================
14.77/14.87 c This is MiniSat 2.0 beta
14.77/14.87 c WARNING: for repeatability, setting FPU to use double precision
14.77/14.87 c ============================[ Problem Statistics ]=============================
14.77/14.87 c | |
14.77/14.87 c | Number of variables: 83095 |
14.77/14.87 c | Number of clauses: 1545697 |
15.66/15.80 c | Parsing time: 0.81 s |
15.76/15.85 c ============================[ Search Statistics ]==============================
15.76/15.85 c | Conflicts | ORIGINAL | LEARNT | Progress |
15.76/15.85 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.76/15.85 c ===============================================================================
15.76/15.85 c | 0 | 83095 1545697 4776410 | 515232 0 nan | 0.000 % |
15.96/16.00 c | 101 | 83095 1545697 4776410 | 515232 101 56 | 0.000 % |
16.06/16.13 c | 204 | 83095 1545697 4776410 | 515232 204 55 | 0.000 % |
16.26/16.31 c | 304 | 83095 1545697 4776410 | 515232 304 47 | 0.000 % |
16.37/16.50 c | 414 | 83095 1545697 4776410 | 515232 414 46 | 0.000 % |
16.56/16.62 c | 514 | 83095 1545697 4776410 | 515232 514 47 | 0.000 % |
16.76/16.83 c | 624 | 83095 1545697 4776410 | 515232 624 42 | 0.000 % |
16.86/16.91 c | 745 | 83095 1545697 4776410 | 515232 745 40 | 0.000 % |
16.96/17.10 c | 845 | 83095 1545697 4776410 | 515232 845 39 | 0.000 % |
17.16/17.24 c | 955 | 83095 1545697 4776410 | 515232 955 40 | 0.000 % |
17.26/17.31 c | 1076 | 83095 1545697 4776410 | 515232 1076 42 | 0.000 % |
17.47/17.54 c | 1211 | 83095 1545697 4776410 | 515232 1211 41 | 0.000 % |
17.57/17.62 c | 1311 | 83095 1545697 4776410 | 515232 1311 40 | 0.000 % |
17.57/17.67 c | 1421 | 83095 1545697 4776410 | 515232 1421 39 | 0.000 % |
17.76/17.84 c | 1543 | 83095 1545697 4776410 | 515232 1543 39 | 0.000 % |
18.06/18.11 c | 1677 | 83095 1545697 4776410 | 515232 1677 38 | 0.000 % |
18.16/18.25 c | 1824 | 83095 1545697 4776410 | 515232 1824 38 | 0.000 % |
18.26/18.31 c | 1924 | 83095 1545697 4776410 | 515232 1924 38 | 0.000 % |
18.26/18.37 c | 2035 | 83095 1545697 4776410 | 515232 2035 38 | 0.000 % |
18.46/18.52 c | 2156 | 83095 1545697 4776410 | 515232 2156 38 | 0.000 % |
18.56/18.61 c | 2290 | 83095 1545697 4776410 | 515232 2290 38 | 0.000 % |
18.66/18.74 c | 2437 | 83095 1545697 4776410 | 515232 2437 38 | 0.000 % |
18.86/18.91 c | 2597 | 83095 1545697 4776410 | 515232 2597 38 | 0.000 % |
18.96/19.02 c | 2698 | 83095 1545697 4776410 | 515232 2698 38 | 0.000 % |
19.06/19.15 c | 2808 | 83095 1545697 4776410 | 515232 2808 39 | 0.000 % |
19.16/19.22 c | 2929 | 83095 1545697 4776410 | 515232 2929 39 | 0.000 % |
19.26/19.30 c | 3066 | 83095 1545697 4776410 | 515232 3066 40 | 0.000 % |
19.66/19.73 c | 3213 | 83095 1545697 4776410 | 515232 3213 40 | 0.000 % |
19.96/20.00 c | 3373 | 83094 1545688 4776392 | 515232 3372 40 | 0.001 % |
19.96/20.08 c | 3550 | 83094 1545688 4776392 | 515232 3549 40 | 0.001 % |
20.06/20.18 c | 3651 | 83094 1545688 4776392 | 515232 3650 40 | 0.001 % |
20.26/20.36 c | 3761 | 83094 1545688 4776392 | 515232 3760 40 | 0.001 % |
20.36/20.47 c | 3882 | 83094 1545688 4776392 | 515232 3881 40 | 0.001 % |
20.46/20.54 c | 4017 | 83094 1545688 4776392 | 515232 4016 40 | 0.001 % |
20.56/20.69 c | 4163 | 83094 1545688 4776392 | 515232 4162 40 | 0.001 % |
20.76/20.86 c | 4324 | 83094 1545688 4776392 | 515232 4323 40 | 0.001 % |
20.86/20.94 c | 4502 | 83094 1545688 4776392 | 515232 4501 40 | 0.001 % |
20.96/21.05 c | 4698 | 83094 1545688 4776392 | 515232 4697 40 | 0.001 % |
21.06/21.14 c | 4799 | 83094 1545688 4776392 | 515232 4798 39 | 0.001 % |
21.36/21.41 c | 4909 | 83094 1545688 4776392 | 515232 4908 39 | 0.001 % |
21.46/21.51 c | 5031 | 83094 1545688 4776392 | 515232 5030 40 | 0.001 % |
21.56/21.67 c | 5167 | 83094 1545688 4776392 | 515232 5166 39 | 0.001 % |
21.66/21.79 c | 5314 | 83094 1545688 4776392 | 515232 5313 40 | 0.001 % |
21.76/21.88 c | 5474 | 83094 1545688 4776392 | 515232 5473 39 | 0.001 % |
21.96/22.07 c | 5653 | 83094 1545688 4776392 | 515232 5652 40 | 0.001 % |
22.16/22.27 c | 5848 | 83094 1545688 4776392 | 515232 5847 40 | 0.001 % |
22.36/22.46 c | 6060 | 83094 1545688 4776392 | 515232 6059 40 | 0.001 % |
22.56/22.65 c | 6160 | 83094 1545688 4776392 | 515232 6159 40 | 0.001 % |
22.66/22.72 c | 6271 | 83094 1545688 4776392 | 515232 6270 40 | 0.001 % |
22.86/22.96 c | 6394 | 83094 1545688 4776392 | 515232 6393 40 | 0.001 % |
23.06/23.10 c | 6527 | 83094 1545688 4776392 | 515232 6526 40 | 0.001 % |
23.26/23.33 c | 6673 | 83094 1545688 4776392 | 515232 6672 40 | 0.001 % |
23.36/23.46 c | 6833 | 83094 1545688 4776392 | 515232 6832 40 | 0.001 % |
23.46/23.57 c | 7009 | 83094 1545688 4776392 | 515232 7008 41 | 0.001 % |
23.76/23.87 c | 7202 | 83094 1545688 4776392 | 515232 7201 40 | 0.001 % |
23.86/23.97 c | 7414 | 83094 1545688 4776392 | 515232 7413 40 | 0.001 % |
23.96/24.08 c | 7650 | 83094 1545688 4776392 | 515232 7649 40 | 0.001 % |
24.16/24.23 c | 7751 | 83094 1545688 4776392 | 515232 7750 40 | 0.001 % |
24.26/24.39 c | 7862 | 83094 1545688 4776392 | 515232 7861 40 | 0.001 % |
24.45/24.53 c | 7984 | 83094 1545688 4776392 | 515232 7983 40 | 0.001 % |
24.45/24.60 c | 8118 | 83094 1545688 4776392 | 515232 8117 40 | 0.001 % |
24.66/24.80 c | 8264 | 83094 1545688 4776392 | 515232 8263 40 | 0.001 % |
24.86/24.94 c | 8424 | 83094 1545688 4776392 | 515232 8423 40 | 0.001 % |
25.06/25.13 c | 8600 | 83094 1545688 4776392 | 515232 8599 40 | 0.001 % |
25.26/25.34 c | 8794 | 83094 1545688 4776392 | 515232 8793 40 | 0.001 % |
25.36/25.50 c | 9007 | 83094 1545688 4776392 | 515232 9006 40 | 0.001 % |
25.56/25.60 c | 9240 | 83094 1545688 4776392 | 515232 9239 40 | 0.001 % |
25.66/25.78 c | 9497 | 83094 1545688 4776392 | 515232 9496 40 | 0.001 % |
25.76/25.86 c | 9597 | 83094 1545688 4776392 | 515232 9596 40 | 0.001 % |
25.85/25.98 c | 9707 | 83094 1545688 4776392 | 515232 9706 40 | 0.001 % |
26.05/26.15 c | 9829 | 83094 1545688 4776392 | 515232 9828 40 | 0.001 % |
26.15/26.26 c | 9964 | 83094 1545688 4776392 | 515232 9963 39 | 0.001 % |
26.36/26.41 c | 10111 | 83094 1545688 4776392 | 2147483647 10110 39 | 0.001 % |
26.45/26.53 c | 10271 | 83094 1545688 4776392 | 2147483647 10270 39 | 0.001 % |
26.55/26.65 c | 10448 | 83094 1545688 4776392 | 2147483647 10447 40 | 0.001 % |
26.65/26.75 c | 10642 | 83094 1545688 4776392 | 2147483647 10641 40 | 0.001 % |
26.86/26.90 c | 10855 | 83094 1545688 4776392 | 2147483647 10854 40 | 0.001 % |
26.96/27.01 c | 11088 | 83094 1545688 4776392 | 2147483647 11087 40 | 0.001 % |
27.16/27.29 c | 11344 | 83094 1545688 4776392 | 2147483647 11343 40 | 0.001 % |
27.56/27.68 c | 11625 | 83094 1545688 4776392 | 2147483647 11624 40 | 0.001 % |
27.86/27.94 c | 11725 | 83094 1545688 4776392 | 2147483647 11724 40 | 0.001 % |
27.96/28.03 c | 11835 | 83094 1545688 4776392 | 2147483647 11834 40 | 0.001 % |
28.06/28.15 c | 11956 | 83094 1545688 4776392 | 2147483647 11955 40 | 0.001 % |
28.16/28.28 c | 12091 | 83094 1545688 4776392 | 2147483647 12090 40 | 0.001 % |
28.26/28.35 c | 12240 | 83094 1545688 4776392 | 2147483647 12239 40 | 0.001 % |
28.46/28.59 c | 12401 | 83094 1545688 4776392 | 2147483647 12400 40 | 0.001 % |
28.66/28.74 c | 12577 | 83094 1545688 4776392 | 2147483647 12576 40 | 0.001 % |
28.76/28.86 c | 12771 | 83094 1545688 4776392 | 2147483647 12770 40 | 0.001 % |
28.86/28.95 c | 12985 | 83094 1545688 4776392 | 2147483647 12984 40 | 0.001 % |
29.06/29.16 c | 13218 | 83094 1545688 4776392 | 2147483647 13217 40 | 0.001 % |
29.16/29.28 c | 13474 | 83094 1545688 4776392 | 2147483647 13473 40 | 0.001 % |
29.36/29.45 c | 13755 | 83094 1545688 4776392 | 2147483647 13754 40 | 0.001 % |
29.56/29.62 c | 14064 | 83094 1545688 4776392 | 2147483647 14063 40 | 0.001 % |
29.66/29.72 c | 14166 | 83094 1545688 4776392 | 2147483647 14165 40 | 0.001 % |
29.76/29.81 c | 14277 | 83094 1545688 4776392 | 2147483647 14276 40 | 0.001 % |
29.76/29.89 c | 14398 | 83094 1545688 4776392 | 2147483647 14397 40 | 0.001 % |
29.96/30.02 c | 14531 | 83094 1545688 4776392 | 2147483647 14530 40 | 0.001 % |
30.06/30.14 c | 14677 | 83094 1545688 4776392 | 2147483647 14676 40 | 0.001 % |
30.16/30.26 c | 14837 | 83094 1545688 4776392 | 2147483647 14836 40 | 0.002 % |
30.26/30.32 c | 15013 | 83094 1545688 4776392 | 2147483647 15012 40 | 0.001 % |
30.36/30.48 c | 15206 | 83094 1545688 4776392 | 2147483647 15205 40 | 0.002 % |
30.56/30.61 c | 15420 | 83094 1545688 4776392 | 2147483647 15419 40 | 0.001 % |
30.66/30.72 c | 15654 | 83094 1545688 4776392 | 2147483647 15653 40 | 0.001 % |
30.76/30.83 c | 15910 | 83094 1545688 4776392 | 2147483647 15909 40 | 0.001 % |
30.86/30.97 c | 16192 | 83094 1545688 4776392 | 2147483647 16191 40 | 0.001 % |
31.05/31.10 c | 16503 | 83094 1545688 4776392 | 2147483647 16502 40 | 0.001 % |
31.15/31.26 c | 16843 | 83094 1545688 4776392 | 2147483647 16842 40 | 0.001 % |
31.25/31.39 c | 16943 | 83094 1545688 4776392 | 2147483647 16942 40 | 0.001 % |
31.35/31.47 c | 17053 | 83094 1545688 4776392 | 2147483647 17052 40 | 0.001 % |
31.45/31.58 c | 17178 | 83094 1545688 4776392 | 2147483647 17177 40 | 0.001 % |
31.55/31.67 c | 17312 | 83094 1545688 4776392 | 2147483647 17311 40 | 0.001 % |
31.65/31.76 c | 17458 | 83094 1545688 4776392 | 2147483647 17457 40 | 0.001 % |
31.76/31.85 c | 17618 | 83094 1545688 4776392 | 2147483647 17617 40 | 0.001 % |
31.86/31.93 c | 17795 | 83094 1545688 4776392 | 2147483647 17794 40 | 0.001 % |
31.95/32.05 c | 17988 | 83094 1545688 4776392 | 2147483647 17987 40 | 0.001 % |
32.05/32.18 c | 18200 | 83094 1545688 4776392 | 2147483647 18199 40 | 0.001 % |
32.15/32.29 c | 18433 | 83094 1545688 4776392 | 2147483647 18432 40 | 0.001 % |
32.35/32.44 c | 18691 | 83094 1545688 4776392 | 2147483647 18690 40 | 0.001 % |
32.55/32.63 c | 18973 | 83094 1545688 4776392 | 2147483647 18972 40 | 0.001 % |
32.65/32.79 c | 19282 | 83094 1545688 4776392 | 2147483647 19281 40 | 0.001 % |
32.86/32.97 c | 19624 | 83094 1545688 4776392 | 2147483647 19623 40 | 0.001 % |
33.05/33.19 c | 19996 | 83094 1545688 4776392 | 2147483647 19995 39 | 0.001 % |
33.15/33.29 c | 20096 | 83094 1545688 4776392 | 2147483647 20095 39 | 0.001 % |
33.35/33.40 c | 20207 | 83094 1545688 4776392 | 2147483647 20206 39 | 0.001 % |
33.35/33.49 c | 20328 | 83094 1545688 4776392 | 2147483647 20327 39 | 0.001 % |
33.45/33.58 c | 20464 | 83094 1545688 4776392 | 2147483647 20463 39 | 0.001 % |
33.66/33.72 c | 20612 | 83094 1545688 4776392 | 2147483647 20611 39 | 0.001 % |
33.76/33.81 c | 20772 | 83094 1545688 4776392 | 2147483647 20771 39 | 0.001 % |
33.86/33.94 c | 20948 | 83094 1545688 4776392 | 2147483647 20947 39 | 0.001 % |
34.07/34.10 c | 21141 | 83094 1545688 4776392 | 2147483647 21140 39 | 0.001 % |
34.16/34.23 c | 21354 | 83094 1545688 4776392 | 2147483647 21353 39 | 0.001 % |
34.26/34.37 c | 21587 | 83094 1545688 4776392 | 2147483647 21586 38 | 0.001 % |
34.46/34.56 c | 21843 | 83094 1545688 4776392 | 2147483647 21842 39 | 0.001 % |
34.66/34.74 c | 22124 | 83094 1545688 4776392 | 2147483647 22123 39 | 0.001 % |
34.76/34.86 c | 22433 | 83094 1545688 4776392 | 2147483647 22432 38 | 0.001 % |
34.96/35.03 c | 22773 | 83094 1545688 4776392 | 2147483647 22772 38 | 0.001 % |
35.06/35.17 c | 23146 | 83094 1545688 4776392 | 2147483647 23145 38 | 0.001 % |
35.26/35.34 c | 23556 | 83094 1545688 4776392 | 2147483647 23555 38 | 0.001 % |
35.36/35.41 c | 23656 | 83094 1545688 4776392 | 2147483647 23655 38 | 0.001 % |
35.36/35.48 c | 23766 | 83094 1545688 4776392 | 2147483647 23765 38 | 0.001 % |
35.46/35.57 c | 23888 | 83094 1545688 4776392 | 2147483647 23887 38 | 0.001 % |
35.56/35.63 c | 24021 | 83094 1545688 4776392 | 2147483647 24020 38 | 0.001 % |
35.66/35.71 c | 24168 | 83094 1545688 4776392 | 2147483647 24167 38 | 0.001 % |
35.76/35.84 c | 24328 | 83094 1545688 4776392 | 2147483647 24327 37 | 0.001 % |
35.86/35.95 c | 24504 | 83094 1545688 4776392 | 2147483647 24503 37 | 0.001 % |
35.96/36.07 c | 24697 | 83094 1545688 4776392 | 2147483647 24696 38 | 0.001 % |
36.16/36.21 c | 24910 | 83094 1545688 4776392 | 2147483647 24909 38 | 0.001 % |
36.26/36.31 c | 25145 | 83094 1545688 4776392 | 2147483647 25144 37 | 0.001 % |
36.36/36.47 c | 25402 | 83094 1545688 4776392 | 2147483647 25401 37 | 0.001 % |
36.56/36.61 c | 25683 | 83094 1545688 4776392 | 2147483647 25682 37 | 0.001 % |
36.66/36.73 c | 25992 | 83094 1545688 4776392 | 2147483647 25991 37 | 0.001 % |
36.76/36.86 c | 26331 | 83094 1545688 4776392 | 2147483647 26330 37 | 0.001 % |
36.96/37.06 c | 26704 | 83094 1545688 4776392 | 2147483647 26703 37 | 0.001 % |
37.16/37.24 c | 27113 | 83094 1545688 4776392 | 2147483647 27112 37 | 0.001 % |
37.36/37.44 c | 27562 | 83094 1545688 4776392 | 2147483647 27561 36 | 0.002 % |
37.46/37.53 c | 27662 | 83094 1545688 4776392 | 2147483647 27661 36 | 0.001 % |
37.56/37.60 c | 27772 | 83094 1545688 4776392 | 2147483647 27771 36 | 0.001 % |
37.56/37.69 c | 27893 | 83094 1545688 4776392 | 2147483647 27892 36 | 0.001 % |
37.66/37.76 c | 28026 | 83094 1545688 4776392 | 2147483647 28025 36 | 0.001 % |
37.76/37.83 c | 28173 | 83094 1545688 4776392 | 2147483647 28172 36 | 0.001 % |
37.85/37.95 c | 28333 | 83094 1545688 4776392 | 2147483647 28332 36 | 0.001 % |
37.95/38.06 c | 28509 | 83094 1545688 4776392 | 2147483647 28508 36 | 0.001 % |
38.05/38.15 c | 28703 | 83094 1545688 4776392 | 2147483647 28702 36 | 0.001 % |
38.15/38.26 c | 28915 | 83094 1545688 4776392 | 2147483647 28914 36 | 0.001 % |
38.25/38.38 c | 29148 | 83094 1545688 4776392 | 2147483647 29147 36 | 0.001 % |
38.46/38.52 c | 29404 | 83094 1545688 4776392 | 2147483647 29403 36 | 0.001 % |
38.65/38.70 c | 29686 | 83094 1545688 4776392 | 2147483647 29685 36 | 0.001 % |
38.75/38.85 c | 29996 | 83094 1545688 4776392 | 2147483647 29995 36 | 0.001 % |
38.85/38.99 c | 30336 | 83094 1545688 4776392 | 2147483647 30335 36 | 0.001 % |
39.05/39.13 c | 30709 | 83094 1545688 4776392 | 2147483647 30708 36 | 0.001 % |
39.15/39.29 c | 31118 | 83094 1545688 4776392 | 2147483647 31117 35 | 0.001 % |
39.35/39.50 c | 31567 | 83094 1545688 4776392 | 2147483647 31566 35 | 0.002 % |
39.56/39.69 c | 32060 | 83094 1545688 4776392 | 2147483647 32059 35 | 0.001 % |
39.65/39.77 c | 32160 | 83094 1545688 4776392 | 2147483647 32159 35 | 0.001 % |
39.75/39.84 c | 32271 | 83094 1545688 4776392 | 2147483647 32270 35 | 0.001 % |
39.85/39.92 c | 32392 | 83094 1545688 4776392 | 2147483647 32391 35 | 0.001 % |
39.85/39.97 c | 32525 | 83094 1545688 4776392 | 2147483647 32524 35 | 0.001 % |
39.95/40.06 c | 32671 | 83094 1545688 4776392 | 2147483647 32670 35 | 0.001 % |
40.05/40.14 c | 32831 | 83094 1545688 4776392 | 2147483647 32830 35 | 0.001 % |
40.15/40.22 c | 33007 | 83094 1545688 4776392 | 2147483647 33006 35 | 0.002 % |
40.25/40.31 c | 33200 | 83094 1545688 4776392 | 2147483647 33199 35 | 0.001 % |
40.35/40.41 c | 33412 | 83094 1545688 4776392 | 2147483647 33411 35 | 0.002 % |
40.45/40.55 c | 33646 | 83094 1545688 4776392 | 2147483647 33645 35 | 0.001 % |
40.56/40.66 c | 33902 | 83094 1545688 4776392 | 2147483647 33901 35 | 0.002 % |
40.75/40.80 c | 34183 | 83094 1545688 4776392 | 2147483647 34182 35 | 0.001 % |
40.85/40.93 c | 34492 | 83094 1545688 4776392 | 2147483647 34491 34 | 0.001 % |
40.95/41.07 c | 34834 | 83094 1545688 4776392 | 2147483647 34833 34 | 0.001 % |
41.15/41.23 c | 35206 | 83094 1545688 4776392 | 2147483647 35205 34 | 0.001 % |
41.35/41.42 c | 35617 | 83094 1545688 4776392 | 2147483647 35616 34 | 0.001 % |
41.55/41.63 c | 36066 | 83094 1545688 4776392 | 2147483647 36065 34 | 0.001 % |
42.15/42.20 c | 36559 | 83094 1545688 4776392 | 2147483647 36558 34 | 0.001 % |
42.65/42.73 c | 37101 | 83094 1545688 4776392 | 2147483647 37100 35 | 0.001 % |
42.76/42.83 c | 37202 | 83094 1545688 4776392 | 2147483647 37201 35 | 0.001 % |
42.86/42.93 c | 37312 | 83094 1545688 4776392 | 2147483647 37311 35 | 0.001 % |
42.95/43.00 c | 37433 | 83094 1545688 4776392 | 2147483647 37432 35 | 0.001 % |
42.95/43.08 c | 37567 | 83094 1545688 4776392 | 2147483647 37566 35 | 0.001 % |
43.05/43.14 c | 37713 | 83094 1545688 4776392 | 2147483647 37712 35 | 0.001 % |
43.15/43.23 c | 37874 | 83094 1545688 4776392 | 2147483647 37873 35 | 0.001 % |
43.35/43.40 c | 38050 | 83094 1545688 4776392 | 2147483647 38049 35 | 0.001 % |
43.55/43.61 c | 38243 | 83094 1545688 4776392 | 2147483647 38242 35 | 0.001 % |
43.65/43.71 c | 38456 | 83094 1545688 4776392 | 2147483647 38455 35 | 0.001 % |
43.85/43.95 c | 38692 | 83094 1545688 4776392 | 2147483647 38691 35 | 0.001 % |
43.95/44.06 c | 38949 | 83094 1545688 4776392 | 2147483647 38948 35 | 0.001 % |
44.25/44.38 c | 39231 | 83094 1545688 4776392 | 2147483647 39230 35 | 0.001 % |
44.45/44.55 c | 39540 | 83094 1545688 4776392 | 2147483647 39539 35 | 0.001 % |
44.95/45.01 c | 39879 | 83094 1545688 4776392 | 2147483647 39878 35 | 0.001 % |
45.15/45.22 c | 40251 | 83094 1545688 4776392 | 2147483647 40250 36 | 0.001 % |
45.36/45.49 c | 40660 | 83094 1545688 4776392 | 2147483647 40659 36 | 0.001 % |
45.66/45.77 c | 41109 | 83094 1545688 4776392 | 2147483647 41108 36 | 0.001 % |
45.96/46.04 c | 41604 | 83094 1545688 4776392 | 2147483647 41603 36 | 0.001 % |
46.46/46.56 c | 42146 | 83094 1545688 4776392 | 2147483647 42145 36 | 0.001 % |
47.16/47.22 c | 42742 | 83094 1545688 4776392 | 2147483647 42741 36 | 0.001 % |
47.36/47.42 c | 42843 | 83094 1545688 4776392 | 2147483647 42842 36 | 0.001 % |
47.46/47.59 c | 42957 | 83094 1545688 4776392 | 2147483647 42956 36 | 0.001 % |
47.66/47.71 c | 43078 | 83094 1545688 4776392 | 2147483647 43077 36 | 0.001 % |
47.86/47.97 c | 43211 | 83094 1545688 4776392 | 2147483647 43210 36 | 0.001 % |
48.26/48.39 c | 43358 | 83094 1545688 4776392 | 2147483647 43357 36 | 0.001 % |
48.46/48.57 c | 43518 | 83094 1545688 4776392 | 2147483647 43517 36 | 0.001 % |
48.66/48.70 c | 43694 | 83094 1545688 4776392 | 2147483647 43693 36 | 0.001 % |
48.85/48.95 c | 43888 | 83094 1545688 4776392 | 2147483647 43887 36 | 0.001 % |
49.05/49.10 c | 44100 | 83094 1545688 4776392 | 2147483647 44099 36 | 0.001 % |
49.25/49.38 c | 44333 | 83094 1545688 4776392 | 2147483647 44332 36 | 0.001 % |
49.46/49.57 c | 44591 | 83094 1545688 4776392 | 2147483647 44590 37 | 0.001 % |
49.75/49.87 c | 44872 | 83094 1545688 4776392 | 2147483647 44871 37 | 0.001 % |
50.25/50.32 c | 45185 | 83094 1545688 4776392 | 2147483647 45184 37 | 0.001 % |
50.35/50.48 c | 45524 | 83094 1545688 4776392 | 2147483647 45523 37 | 0.001 % |
51.05/51.13 c | 45898 | 83094 1545688 4776392 | 2147483647 45897 37 | 0.001 % |
51.56/51.62 c | 46307 | 83094 1545688 4776392 | 2147483647 46306 37 | 0.001 % |
51.75/51.83 c | 46756 | 83094 1545688 4776392 | 2147483647 46755 37 | 0.001 % |
52.25/52.39 c | 47249 | 83094 1545688 4776392 | 2147483647 47248 38 | 0.001 % |
52.55/52.63 c | 47793 | 83094 1545688 4776392 | 2147483647 47792 37 | 0.001 % |
53.15/53.25 c | 48389 | 83094 1545688 4776392 | 2147483647 48388 38 | 0.001 % |
53.35/53.49 c | 49045 | 83094 1545688 4776392 | 2147483647 49044 38 | 0.001 % |
53.55/53.65 c | 49145 | 83094 1545688 4776392 | 2147483647 49144 38 | 0.001 % |
53.65/53.78 c | 49256 | 83094 1545688 4776392 | 2147483647 49255 38 | 0.001 % |
53.75/53.84 c | 49380 | 83094 1545688 4776392 | 2147483647 49379 38 | 0.001 % |
53.85/53.99 c | 49515 | 83094 1545688 4776392 | 2147483647 49514 38 | 0.001 % |
54.05/54.19 c | 49662 | 83094 1545688 4776392 | 2147483647 49661 38 | 0.001 % |
54.25/54.33 c | 49822 | 83094 1545688 4776392 | 2147483647 49821 38 | 0.001 % |
54.35/54.45 c | 50001 | 83094 1545688 4776392 | 2147483647 50000 39 | 0.001 % |
54.55/54.66 c | 50194 | 83094 1545688 4776392 | 2147483647 50193 39 | 0.001 % |
54.75/54.88 c | 50407 | 83094 1545688 4776392 | 2147483647 50406 39 | 0.001 % |
55.05/55.10 c | 50641 | 83094 1545688 4776392 | 2147483647 50640 39 | 0.001 % |
55.15/55.29 c | 50898 | 83094 1545688 4776392 | 2147483647 50897 39 | 0.001 % |
55.35/55.49 c | 51179 | 83094 1545688 4776392 | 2147483647 51178 39 | 0.001 % |
55.65/55.76 c | 51488 | 83094 1545688 4776392 | 2147483647 51487 39 | 0.001 % |
56.25/56.31 c | 51828 | 83094 1545688 4776392 | 2147483647 51827 39 | 0.001 % |
56.55/56.62 c | 52201 | 83094 1545688 4776392 | 2147483647 52200 40 | 0.001 % |
56.85/56.99 c | 52610 | 83094 1545688 4776392 | 2147483647 52609 40 | 0.001 % |
57.25/57.37 c | 53060 | 83094 1545688 4776392 | 2147483647 53059 40 | 0.001 % |
58.26/58.35 c | 53553 | 83094 1545688 4776392 | 2147483647 53552 40 | 0.001 % |
58.85/58.95 c | 54095 | 83094 1545688 4776392 | 2147483647 54094 41 | 0.001 % |
59.45/59.56 c | 54694 | 83094 1545688 4776392 | 2147483647 54693 41 | 0.001 % |
59.85/59.92 c | 55349 | 83094 1545688 4776392 | 2147483647 55348 41 | 0.001 % |
60.55/60.65 c | 56069 | 83094 1545688 4776392 | 2147483647 56068 42 | 0.001 % |
60.65/60.78 c | 56171 | 83094 1545688 4776392 | 2147483647 56170 42 | 0.001 % |
60.85/60.91 c | 56281 | 83094 1545688 4776392 | 2147483647 56280 42 | 0.001 % |
60.95/61.08 c | 56402 | 83094 1545688 4776392 | 2147483647 56401 42 | 0.001 % |
61.25/61.31 c | 56536 | 83094 1545688 4776392 | 2147483647 56535 42 | 0.001 % |
61.35/61.46 c | 56683 | 83094 1545688 4776392 | 2147483647 56682 42 | 0.001 % |
61.45/61.58 c | 56847 | 83094 1545688 4776392 | 2147483647 56846 42 | 0.001 % |
61.55/61.65 c | 57026 | 83094 1545688 4776392 | 2147483647 57025 42 | 0.001 % |
61.75/61.85 c | 57220 | 83094 1545688 4776392 | 2147483647 57219 42 | 0.001 % |
61.95/62.05 c | 57432 | 83094 1545688 4776392 | 2147483647 57431 42 | 0.001 % |
62.05/62.18 c | 57665 | 83094 1545688 4776392 | 2147483647 57664 42 | 0.001 % |
62.35/62.49 c | 57921 | 83094 1545688 4776392 | 2147483647 57920 42 | 0.001 % |
62.65/62.78 c | 58204 | 83094 1545688 4776392 | 2147483647 58203 42 | 0.001 % |
62.85/62.96 c | 58513 | 83094 1545688 4776392 | 2147483647 58512 42 | 0.001 % |
63.15/63.29 c | 58854 | 83094 1545688 4776392 | 2147483647 58853 42 | 0.001 % |
63.35/63.41 c | 59227 | 83094 1545688 4776392 | 2147483647 59226 42 | 0.001 % |
63.55/63.67 c | 59636 | 83094 1545688 4776392 | 2147483647 59635 42 | 0.001 % |
63.85/63.94 c | 60085 | 83094 1545688 4776392 | 2147483647 60084 42 | 0.001 % |
64.15/64.25 c | 60579 | 83094 1545688 4776392 | 2147483647 60578 43 | 0.001 % |
64.55/64.67 c | 61121 | 83094 1545688 4776392 | 2147483647 61120 43 | 0.001 % |
64.75/64.84 c | 61718 | 83094 1545688 4776392 | 2147483647 61717 43 | 0.001 % |
65.54/65.61 c | 62373 | 83094 1545688 4776392 | 2147483647 62372 43 | 0.001 % |
66.04/66.17 c | 63095 | 83094 1545688 4776392 | 2147483647 63094 43 | 0.001 % |
66.54/66.67 c | 63888 | 83094 1545688 4776392 | 2147483647 63887 44 | 0.001 % |
66.74/66.87 c | 63991 | 83094 1545688 4776392 | 2147483647 63990 44 | 0.001 % |
67.05/67.11 c | 64103 | 83094 1545688 4776392 | 2147483647 64102 44 | 0.001 % |
67.15/67.25 c | 64226 | 83094 1545688 4776392 | 2147483647 64225 44 | 0.001 % |
67.35/67.49 c | 64359 | 83094 1545688 4776392 | 2147483647 64358 44 | 0.001 % |
67.55/67.62 c | 64505 | 83094 1545688 4776392 | 2147483647 64504 44 | 0.001 % |
67.65/67.80 c | 64665 | 83094 1545688 4776392 | 2147483647 64664 44 | 0.001 % |
67.75/67.87 c | 64841 | 83094 1545688 4776392 | 2147483647 64840 44 | 0.001 % |
68.06/68.15 c | 65034 | 83094 1545688 4776392 | 2147483647 65033 44 | 0.001 % |
68.45/68.55 c | 65247 | 83094 1545688 4776392 | 2147483647 65246 44 | 0.001 % |
68.55/68.69 c | 65483 | 83094 1545688 4776392 | 2147483647 65482 44 | 0.001 % |
68.85/68.96 c | 65740 | 83094 1545688 4776392 | 2147483647 65739 44 | 0.001 % |
69.35/69.44 c | 66021 | 83094 1545688 4776392 | 2147483647 66020 44 | 0.001 % |
69.75/69.88 c | 66330 | 83094 1545688 4776392 | 2147483647 66329 44 | 0.001 % |
70.05/70.12 c | 66671 | 83094 1545688 4776392 | 2147483647 66670 44 | 0.001 % |
70.55/70.61 c | 67044 | 83094 1545688 4776392 | 2147483647 67043 44 | 0.001 % |
70.95/71.02 c | 67453 | 83094 1545688 4776392 | 2147483647 67452 44 | 0.001 % |
71.45/71.51 c | 67903 | 83094 1545688 4776392 | 2147483647 67902 44 | 0.001 % |
71.65/71.71 c | 68397 | 83094 1545688 4776392 | 2147483647 68396 44 | 0.001 % |
72.25/72.30 c | 68939 | 83094 1545688 4776392 | 2147483647 68938 44 | 0.001 % |
72.65/72.73 c | 69539 | 83094 1545688 4776392 | 2147483647 69538 45 | 0.001 % |
73.05/73.18 c | 70195 | 83094 1545688 4776392 | 2147483647 70194 45 | 0.001 % |
73.95/74.07 c | 70916 | 83094 1545688 4776392 | 2147483647 70915 45 | 0.001 % |
74.35/74.41 c | 71708 | 83094 1545688 4776392 | 2147483647 71707 45 | 0.001 % |
75.14/75.29 c | 72581 | 83094 1545688 4776392 | 2147483647 72580 45 | 0.001 % |
75.34/75.41 c | 72685 | 83094 1545688 4776392 | 2147483647 72684 45 | 0.001 % |
75.54/75.63 c | 72795 | 83094 1545688 4776392 | 2147483647 72794 45 | 0.001 % |
75.64/75.78 c | 72916 | 83094 1545688 4776392 | 2147483647 72915 45 | 0.001 % |
75.94/76.06 c | 73049 | 83094 1545688 4776392 | 2147483647 73048 45 | 0.001 % |
76.14/76.29 c | 73195 | 83094 1545688 4776392 | 2147483647 73194 45 | 0.001 % |
76.44/76.51 c | 73355 | 83094 1545688 4776392 | 2147483647 73354 45 | 0.001 % |
76.64/76.75 c | 73531 | 83094 1545688 4776392 | 2147483647 73530 45 | 0.001 % |
76.85/76.92 c | 73726 | 83094 1545688 4776392 | 2147483647 73725 45 | 0.001 % |
77.04/77.12 c | 73939 | 83094 1545688 4776392 | 2147483647 73938 45 | 0.001 % |
77.14/77.29 c | 74174 | 83094 1545688 4776392 | 2147483647 74173 45 | 0.001 % |
77.34/77.47 c | 74432 | 83094 1545688 4776392 | 2147483647 74431 45 | 0.001 % |
77.74/77.88 c | 74713 | 83094 1545688 4776392 | 2147483647 74712 45 | 0.001 % |
77.95/78.09 c | 75024 | 83094 1545688 4776392 | 2147483647 75023 45 | 0.001 % |
78.44/78.51 c | 75366 | 83094 1545688 4776392 | 2147483647 75365 45 | 0.001 % |
78.55/78.70 c | 75738 | 83094 1545688 4776392 | 2147483647 75737 45 | 0.001 % |
78.85/78.92 c | 76148 | 83094 1545688 4776392 | 2147483647 76147 46 | 0.001 % |
79.05/79.15 c | 76598 | 83094 1545688 4776392 | 2147483647 76597 45 | 0.001 % |
79.75/79.88 c | 77091 | 83094 1545688 4776392 | 2147483647 77090 46 | 0.001 % |
80.35/80.44 c | 77633 | 83094 1545688 4776392 | 2147483647 77632 46 | 0.001 % |
80.84/80.95 c | 78229 | 83094 1545688 4776392 | 2147483647 78228 46 | 0.001 % |
81.35/81.49 c | 78885 | 83094 1545688 4776392 | 2147483647 78884 46 | 0.001 % |
81.74/81.83 c | 79605 | 83094 1545688 4776392 | 2147483647 79604 46 | 0.001 % |
82.14/82.27 c | 80397 | 83094 1545688 4776392 | 2147483647 80396 46 | 0.001 % |
82.64/82.74 c | 81270 | 83094 1545688 4776392 | 2147483647 81269 46 | 0.001 % |
83.04/83.14 c | 82230 | 83094 1545688 4776392 | 2147483647 82229 46 | 0.001 % |
83.14/83.27 c | 82332 | 83094 1545688 4776392 | 2147483647 82331 46 | 0.001 % |
83.44/83.56 c | 82442 | 83094 1545688 4776392 | 2147483647 82441 46 | 0.001 % |
83.54/83.66 c | 82563 | 83094 1545688 4776392 | 2147483647 82562 46 | 0.001 % |
83.74/83.89 c | 82697 | 83094 1545688 4776392 | 2147483647 82696 46 | 0.001 % |
84.04/84.12 c | 82846 | 83094 1545688 4776392 | 2147483647 82845 46 | 0.001 % |
84.14/84.25 c | 83007 | 83094 1545688 4776392 | 2147483647 83006 46 | 0.001 % |
84.74/84.80 c | 83184 | 83094 1545688 4776392 | 2147483647 83183 46 | 0.001 % |
84.84/84.97 c | 83377 | 83094 1545688 4776392 | 2147483647 83376 47 | 0.001 % |
85.04/85.15 c | 83589 | 83094 1545688 4776392 | 2147483647 83588 47 | 0.001 % |
85.24/85.39 c | 83822 | 83094 1545688 4776392 | 2147483647 83821 47 | 0.001 % |
85.54/85.67 c | 84078 | 83094 1545688 4776392 | 2147483647 84077 47 | 0.001 % |
86.04/86.18 c | 84359 | 83094 1545688 4776392 | 2147483647 84358 47 | 0.001 % |
86.34/86.40 c | 84668 | 83094 1545688 4776392 | 2147483647 84667 47 | 0.001 % |
86.54/86.64 c | 85007 | 83094 1545688 4776392 | 2147483647 85006 47 | 0.001 % |
86.94/87.08 c | 85379 | 83094 1545688 4776392 | 2147483647 85378 47 | 0.001 % |
87.64/87.75 c | 85788 | 83094 1545688 4776392 | 2147483647 85787 47 | 0.001 % |
88.24/88.33 c | 86237 | 83094 1545688 4776392 | 2147483647 86236 47 | 0.001 % |
88.64/88.78 c | 86730 | 83094 1545688 4776392 | 2147483647 86729 47 | 0.001 % |
89.44/89.50 c | 87274 | 83094 1545688 4776392 | 2147483647 87273 48 | 0.001 % |
89.84/89.96 c | 87871 | 83094 1545688 4776392 | 2147483647 87870 48 | 0.001 % |
90.54/90.61 c | 88526 | 83094 1545688 4776392 | 2147483647 88525 48 | 0.001 % |
91.44/91.59 c | 89246 | 83094 1545688 4776392 | 2147483647 89245 48 | 0.001 % |
91.94/92.04 c | 90038 | 83094 1545688 4776392 | 2147483647 90037 48 | 0.001 % |
92.64/92.76 c | 90910 | 83094 1545688 4776392 | 2147483647 90909 48 | 0.001 % |
93.34/93.45 c | 91868 | 83094 1545688 4776392 | 2147483647 91867 48 | 0.001 % |
94.44/94.50 c | 92928 | 83094 1545688 4776392 | 2147483647 92927 49 | 0.001 % |
94.44/94.57 c | 93032 | 83094 1545688 4776392 | 2147483647 93031 49 | 0.001 % |
94.64/94.72 c | 93142 | 83094 1545688 4776392 | 2147483647 93141 49 | 0.001 % |
94.74/94.88 c | 93269 | 83094 1545688 4776392 | 2147483647 93268 49 | 0.001 % |
94.94/95.03 c | 93402 | 83094 1545688 4776392 | 2147483647 93401 49 | 0.001 % |
95.14/95.22 c | 93549 | 83094 1545688 4776392 | 2147483647 93548 49 | 0.001 % |
95.24/95.38 c | 93710 | 83094 1545688 4776392 | 2147483647 93709 49 | 0.001 % |
95.54/95.62 c | 93887 | 83094 1545688 4776392 | 2147483647 93886 49 | 0.001 % |
95.64/95.77 c | 94080 | 83094 1545688 4776392 | 2147483647 94079 49 | 0.001 % |
96.05/96.11 c | 94292 | 83094 1545688 4776392 | 2147483647 94291 49 | 0.001 % |
96.15/96.29 c | 94526 | 83094 1545688 4776392 | 2147483647 94525 49 | 0.001 % |
96.54/96.60 c | 94783 | 83094 1545688 4776392 | 2147483647 94782 49 | 0.001 % |
96.75/96.80 c | 95064 | 83094 1545688 4776392 | 2147483647 95063 49 | 0.001 % |
97.14/97.21 c | 95373 | 83094 1545688 4776392 | 2147483647 95372 49 | 0.001 % |
97.34/97.40 c | 95712 | 83094 1545688 4776392 | 2147483647 95711 49 | 0.001 % |
97.64/97.80 c | 96085 | 83094 1545688 4776392 | 2147483647 96084 49 | 0.001 % |
98.04/98.11 c | 96494 | 83094 1545688 4776392 | 2147483647 96493 49 | 0.001 % |
98.34/98.42 c | 96943 | 83094 1545688 4776392 | 2147483647 96942 49 | 0.001 % |
98.74/98.81 c | 97436 | 83094 1545688 4776392 | 2147483647 97435 49 | 0.001 % |
99.44/99.53 c | 97978 | 83094 1545688 4776392 | 2147483647 97977 49 | 0.001 % |
100.24/100.31 c | 98576 | 83094 1545688 4776392 | 2147483647 98575 49 | 0.001 % |
100.94/101.07 c | 99231 | 83094 1545688 4776392 | 2147483647 99230 49 | 0.001 % |
101.34/101.42 c | 99952 | 83094 1545688 4776392 | 2147483647 99951 50 | 0.001 % |
101.84/101.91 c | 100747 | 83094 1545688 4776392 | 2147483647 100746 50 | 0.001 % |
102.64/102.71 c | 101619 | 83094 1545688 4776392 | 2147483647 101618 50 | 0.001 % |
103.24/103.39 c | 102578 | 83094 1545688 4776392 | 2147483647 102577 50 | 0.001 % |
104.34/104.47 c | 103631 | 83094 1545688 4776392 | 2147483647 103630 50 | 0.001 % |
104.84/104.96 c | 104790 | 83094 1545688 4776392 | 2147483647 104789 50 | 0.001 % |
104.94/105.03 c | 104890 | 83094 1545688 4776392 | 2147483647 104889 50 | 0.001 % |
105.04/105.16 c | 105000 | 83094 1545688 4776392 | 2147483647 104999 50 | 0.001 % |
105.34/105.43 c | 105121 | 83094 1545688 4776392 | 2147483647 105120 50 | 0.001 % |
105.44/105.59 c | 105256 | 83094 1545688 4776392 | 2147483647 105255 50 | 0.001 % |
105.74/105.80 c | 105402 | 83094 1545688 4776392 | 2147483647 105401 50 | 0.001 % |
105.74/105.87 c | 105563 | 83094 1545688 4776392 | 2147483647 105562 50 | 0.001 % |
106.14/106.24 c | 105742 | 83094 1545688 4776392 | 2147483647 105741 50 | 0.001 % |
106.24/106.36 c | 105939 | 83094 1545688 4776392 | 2147483647 105938 50 | 0.001 % |
106.44/106.51 c | 106151 | 83094 1545688 4776392 | 2147483647 106150 50 | 0.001 % |
106.64/106.73 c | 106385 | 83094 1545688 4776392 | 2147483647 106384 50 | 0.001 % |
106.94/107.00 c | 106642 | 83094 1545688 4776392 | 2147483647 106641 50 | 0.001 % |
107.13/107.21 c | 106924 | 83094 1545688 4776392 | 2147483647 106923 51 | 0.001 % |
107.33/107.45 c | 107235 | 83094 1545688 4776392 | 2147483647 107234 51 | 0.001 % |
107.64/107.79 c | 107574 | 83094 1545688 4776392 | 2147483647 107573 51 | 0.001 % |
108.13/108.23 c | 107947 | 83094 1545688 4776392 | 2147483647 107946 51 | 0.001 % |
108.63/108.71 c | 108358 | 83094 1545688 4776392 | 2147483647 108357 51 | 0.001 % |
109.03/109.14 c | 108808 | 83094 1545688 4776392 | 2147483647 108807 51 | 0.001 % |
109.53/109.64 c | 109301 | 83094 1545688 4776392 | 2147483647 109300 51 | 0.001 % |
109.94/110.09 c | 109846 | 83094 1545688 4776392 | 2147483647 109845 51 | 0.001 % |
110.34/110.49 c | 110445 | 83094 1545688 4776392 | 2147483647 110444 51 | 0.001 % |
111.05/111.19 c | 111100 | 83094 1545688 4776392 | 2147483647 111099 51 | 0.001 % |
111.64/111.72 c | 111820 | 83094 1545688 4776392 | 2147483647 111819 51 | 0.001 % |
112.44/112.51 c | 112612 | 83094 1545688 4776392 | 2147483647 112611 51 | 0.001 % |
113.14/113.26 c | 113484 | 83094 1545688 4776392 | 2147483647 113483 51 | 0.001 % |
114.04/114.12 c | 114442 | 83094 1545688 4776392 | 2147483647 114441 51 | 0.001 % |
114.54/114.64 c | 115496 | 83094 1545688 4776392 | 2147483647 115495 51 | 0.001 % |
115.63/115.71 c | 116656 | 83094 1545688 4776392 | 2147483647 116655 52 | 0.001 % |
116.44/116.58 c | 117930 | 83094 1545688 4776392 | 2147483647 117929 52 | 0.001 % |
116.54/116.66 c | 118032 | 83094 1545688 4776392 | 2147483647 118031 52 | 0.001 % |
116.83/116.95 c | 118142 | 83094 1545688 4776392 | 2147483647 118141 52 | 0.001 % |
116.93/117.09 c | 118263 | 83094 1545688 4776392 | 2147483647 118262 52 | 0.001 % |
117.13/117.28 c | 118396 | 83094 1545688 4776392 | 2147483647 118395 52 | 0.001 % |
117.33/117.49 c | 118542 | 83094 1545688 4776392 | 2147483647 118541 52 | 0.001 % |
117.63/117.73 c | 118702 | 83094 1545688 4776392 | 2147483647 118701 52 | 0.001 % |
117.93/118.05 c | 118878 | 83094 1545688 4776392 | 2147483647 118877 52 | 0.001 % |
118.13/118.26 c | 119071 | 83094 1545688 4776392 | 2147483647 119070 52 | 0.001 % |
118.43/118.57 c | 119283 | 83094 1545688 4776392 | 2147483647 119282 52 | 0.001 % |
118.73/118.81 c | 119517 | 83094 1545688 4776392 | 2147483647 119516 52 | 0.001 % |
118.93/119.05 c | 119774 | 83094 1545688 4776392 | 2147483647 119773 52 | 0.001 % |
119.13/119.26 c | 120055 | 83094 1545688 4776392 | 2147483647 120054 52 | 0.001 % |
119.63/119.75 c | 120364 | 83094 1545688 4776392 | 2147483647 120363 52 | 0.001 % |
119.83/119.94 c | 120704 | 83094 1545688 4776392 | 2147483647 120703 52 | 0.001 % |
120.03/120.15 c | 121076 | 83094 1545688 4776392 | 2147483647 121075 52 | 0.001 % |
120.43/120.53 c | 121486 | 83094 1545688 4776392 | 2147483647 121485 52 | 0.001 % |
120.73/120.84 c | 121935 | 83094 1545688 4776392 | 2147483647 121934 52 | 0.001 % |
121.23/121.32 c | 122428 | 83094 1545688 4776392 | 2147483647 122427 52 | 0.001 % |
121.73/121.81 c | 122971 | 83094 1545688 4776392 | 2147483647 122970 52 | 0.001 % |
122.13/122.21 c | 123567 | 83094 1545688 4776392 | 2147483647 123566 52 | 0.001 % |
122.93/123.04 c | 124222 | 83094 1545688 4776392 | 2147483647 124221 52 | 0.001 % |
123.63/123.74 c | 124945 | 83094 1545688 4776392 | 2147483647 124944 52 | 0.001 % |
124.14/124.26 c | 125738 | 83094 1545688 4776392 | 2147483647 125737 52 | 0.001 % |
124.73/124.83 c | 126609 | 83094 1545688 4776392 | 2147483647 126608 53 | 0.001 % |
125.43/125.51 c | 127567 | 83094 1545688 4776392 | 2147483647 127566 52 | 0.001 % |
126.63/126.74 c | 128621 | 83094 1545688 4776392 | 2147483647 128620 53 | 0.001 % |
127.13/127.24 c | 129780 | 83094 1545688 4776392 | 2147483647 129779 53 | 0.001 % |
127.93/128.01 c | 131053 | 83094 1545688 4776392 | 2147483647 131052 53 | 0.001 % |
129.02/129.10 c | 132454 | 83094 1545688 4776392 | 2147483647 132453 53 | 0.001 % |
129.12/129.27 c | 132556 | 83094 1545688 4776392 | 2147483647 132555 53 | 0.001 % |
129.63/129.71 c | 132666 | 83094 1545688 4776392 | 2147483647 132665 53 | 0.001 % |
129.73/129.83 c | 132787 | 83094 1545688 4776392 | 2147483647 132786 53 | 0.001 % |
129.92/130.05 c | 132921 | 83094 1545688 4776392 | 2147483647 132920 53 | 0.001 % |
130.12/130.23 c | 133067 | 83094 1545688 4776392 | 2147483647 133066 53 | 0.001 % |
130.42/130.55 c | 133228 | 83094 1545688 4776392 | 2147483647 133227 53 | 0.001 % |
130.74/130.84 c | 133407 | 83094 1545688 4776392 | 2147483647 133406 53 | 0.001 % |
130.84/131.00 c | 133601 | 83094 1545688 4776392 | 2147483647 133600 53 | 0.001 % |
131.33/131.41 c | 133813 | 83094 1545688 4776392 | 2147483647 133812 53 | 0.001 % |
131.53/131.62 c | 134046 | 83094 1545688 4776392 | 2147483647 134045 53 | 0.001 % |
131.73/131.88 c | 134302 | 83094 1545688 4776392 | 2147483647 134301 53 | 0.001 % |
131.94/132.05 c | 134583 | 83094 1545688 4776392 | 2147483647 134582 53 | 0.001 % |
132.43/132.58 c | 134894 | 83094 1545688 4776392 | 2147483647 134893 53 | 0.001 % |
132.73/132.90 c | 135233 | 83094 1545688 4776392 | 2147483647 135232 53 | 0.001 % |
132.93/133.09 c | 135606 | 83094 1545688 4776392 | 2147483647 135605 53 | 0.001 % |
133.33/133.49 c | 136016 | 83094 1545688 4776392 | 2147483647 136015 53 | 0.001 % |
133.93/134.10 c | 136465 | 83094 1545688 4776392 | 2147483647 136464 53 | 0.001 % |
134.33/134.42 c | 136959 | 83094 1545688 4776392 | 2147483647 136958 53 | 0.001 % |
134.93/135.08 c | 137502 | 83094 1545688 4776392 | 2147483647 137501 53 | 0.001 % |
135.53/135.68 c | 138098 | 83094 1545688 4776392 | 2147483647 138097 54 | 0.001 % |
136.53/136.65 c | 138756 | 83094 1545688 4776392 | 2147483647 138755 54 | 0.001 % |
136.93/137.07 c | 139477 | 83094 1545688 4776392 | 2147483647 139476 54 | 0.001 % |
137.92/138.01 c | 140271 | 83094 1545688 4776392 | 2147483647 140270 54 | 0.001 % |
139.02/139.11 c | 141143 | 83094 1545688 4776392 | 2147483647 141142 54 | 0.001 % |
140.02/140.17 c | 142101 | 83094 1545688 4776392 | 2147483647 142100 54 | 0.001 % |
141.02/141.10 c | 143154 | 83094 1545688 4776392 | 2147483647 143153 54 | 0.001 % |
141.92/142.03 c | 144312 | 83094 1545688 4776392 | 2147483647 144311 54 | 0.001 % |
143.12/143.23 c | 145585 | 83094 1545688 4776392 | 2147483647 145584 54 | 0.001 % |
144.42/144.55 c | 146985 | 83094 1545688 4776392 | 2147483647 146984 54 | 0.001 % |
145.42/145.54 c | 148525 | 83094 1545688 4776392 | 2147483647 148524 55 | 0.001 % |
145.52/145.69 c | 148626 | 83094 1545688 4776392 | 2147483647 148625 55 | 0.001 % |
145.72/145.88 c | 148736 | 83094 1545688 4776392 | 2147483647 148735 55 | 0.001 % |
145.82/145.99 c | 148860 | 83094 1545688 4776392 | 2147483647 148859 55 | 0.001 % |
146.13/146.25 c | 148993 | 83094 1545688 4776392 | 2147483647 148992 55 | 0.001 % |
146.32/146.41 c | 149139 | 83094 1545688 4776392 | 2147483647 149138 55 | 0.001 % |
146.42/146.56 c | 149299 | 83094 1545688 4776392 | 2147483647 149298 55 | 0.001 % |
146.72/146.83 c | 149476 | 83094 1545688 4776392 | 2147483647 149475 55 | 0.001 % |
147.02/147.11 c | 149669 | 83094 1545688 4776392 | 2147483647 149668 55 | 0.001 % |
147.32/147.45 c | 149881 | 83094 1545688 4776392 | 2147483647 149880 55 | 0.001 % |
147.72/147.85 c | 150114 | 83094 1545688 4776392 | 2147483647 150113 55 | 0.001 % |
148.02/148.18 c | 150372 | 83094 1545688 4776392 | 2147483647 150371 55 | 0.001 % |
148.32/148.43 c | 150653 | 83094 1545688 4776392 | 2147483647 150652 55 | 0.001 % |
148.52/148.66 c | 150963 | 83094 1545688 4776392 | 2147483647 150962 55 | 0.001 % |
149.02/149.10 c | 151302 | 83094 1545688 4776392 | 2147483647 151301 55 | 0.001 % |
149.32/149.47 c | 151674 | 83094 1545688 4776392 | 2147483647 151673 55 | 0.001 % |
149.92/150.04 c | 152084 | 83094 1545688 4776392 | 2147483647 152083 55 | 0.001 % |
150.52/150.68 c | 152534 | 83094 1545688 4776392 | 2147483647 152533 55 | 0.001 % |
151.32/151.43 c | 153027 | 83094 1545688 4776392 | 2147483647 153026 55 | 0.001 % |
152.22/152.32 c | 153570 | 83094 1545688 4776392 | 2147483647 153569 55 | 0.001 % |
153.32/153.42 c | 154166 | 83094 1545688 4776392 | 2147483647 154165 55 | 0.001 % |
153.93/154.01 c | 154823 | 83094 1545688 4776392 | 2147483647 154822 55 | 0.001 % |
154.72/154.84 c | 155546 | 83094 1545688 4776392 | 2147483647 155545 55 | 0.001 % |
155.82/155.99 c | 156338 | 83094 1545688 4776392 | 2147483647 156337 55 | 0.001 % |
156.82/156.95 c | 157209 | 83094 1545688 4776392 | 2147483647 157208 56 | 0.001 % |
157.52/157.63 c | 158168 | 83094 1545688 4776392 | 2147483647 158167 56 | 0.001 % |
158.32/158.48 c | 159222 | 83094 1545688 4776392 | 2147483647 159221 56 | 0.001 % |
159.12/159.20 c | 160380 | 83094 1545688 4776392 | 2147483647 160379 55 | 0.001 % |
160.42/160.57 c | 161655 | 83094 1545688 4776392 | 2147483647 161654 56 | 0.001 % |
161.92/162.03 c | 163057 | 83094 1545688 4776392 | 2147483647 163056 56 | 0.001 % |
163.21/163.36 c | 164597 | 83094 1545688 4776392 | 2147483647 164596 56 | 0.001 % |
164.92/165.03 c | 166294 | 83094 1545688 4776392 | 2147483647 166293 56 | 0.001 % |
165.01/165.19 c | 166396 | 83094 1545688 4776392 | 2147483647 166395 56 | 0.001 % |
165.21/165.32 c | 166506 | 83094 1545688 4776392 | 2147483647 166505 56 | 0.001 % |
165.51/165.61 c | 166627 | 83094 1545688 4776392 | 2147483647 166626 56 | 0.001 % |
165.61/165.73 c | 166760 | 83094 1545688 4776392 | 2147483647 166759 56 | 0.001 % |
165.92/166.04 c | 166906 | 83094 1545688 4776392 | 2147483647 166905 56 | 0.001 % |
166.02/166.18 c | 167066 | 83094 1545688 4776392 | 2147483647 167065 56 | 0.001 % |
166.21/166.39 c | 167242 | 83094 1545688 4776392 | 2147483647 167241 56 | 0.001 % |
166.41/166.58 c | 167436 | 83094 1545688 4776392 | 2147483647 167435 56 | 0.001 % |
166.71/166.85 c | 167651 | 83094 1545688 4776392 | 2147483647 167650 56 | 0.001 % |
166.91/167.06 c | 167886 | 83094 1545688 4776392 | 2147483647 167885 56 | 0.001 % |
167.21/167.38 c | 168142 | 83094 1545688 4776392 | 2147483647 168141 56 | 0.001 % |
167.61/167.77 c | 168423 | 83094 1545688 4776392 | 2147483647 168422 56 | 0.001 % |
167.81/167.99 c | 168732 | 83094 1545688 4776392 | 2147483647 168731 56 | 0.001 % |
168.21/168.37 c | 169071 | 83094 1545688 4776392 | 2147483647 169070 56 | 0.001 % |
168.61/168.77 c | 169444 | 83094 1545688 4776392 | 2147483647 169443 56 | 0.001 % |
168.91/169.03 c | 169855 | 83094 1545688 4776392 | 2147483647 169854 56 | 0.001 % |
169.41/169.55 c | 170305 | 83094 1545688 4776392 | 2147483647 170304 56 | 0.001 % |
169.81/169.90 c | 170798 | 83094 1545688 4776392 | 2147483647 170797 56 | 0.001 % |
170.31/170.40 c | 171340 | 83094 1545688 4776392 | 2147483647 171339 56 | 0.001 % |
170.71/170.89 c | 171936 | 83094 1545688 4776392 | 2147483647 171935 56 | 0.001 % |
171.41/171.55 c | 172591 | 83094 1545688 4776392 | 2147483647 172590 56 | 0.001 % |
172.11/172.26 c | 173313 | 83094 1545688 4776392 | 2147483647 173312 56 | 0.001 % |
172.61/172.78 c | 174106 | 83094 1545688 4776392 | 2147483647 174105 56 | 0.001 % |
173.41/173.57 c | 174978 | 83094 1545688 4776392 | 2147483647 174977 56 | 0.001 % |
174.11/174.20 c | 175936 | 83094 1545688 4776392 | 2147483647 175935 56 | 0.001 % |
174.91/175.03 c | 176989 | 83094 1545688 4776392 | 2147483647 176988 56 | 0.001 % |
175.82/175.98 c | 178150 | 83094 1545688 4776392 | 2147483647 178149 56 | 0.001 % |
176.81/176.98 c | 179423 | 83094 1545688 4776392 | 2147483647 179422 56 | 0.001 % |
178.12/178.21 c | 180823 | 83094 1545688 4776392 | 2147483647 180822 56 | 0.001 % |
179.11/179.27 c | 182363 | 83094 1545688 4776392 | 2147483647 182362 56 | 0.001 % |
180.41/180.56 c | 184059 | 83094 1545688 4776392 | 2147483647 184058 56 | 0.001 % |
182.31/182.40 c | 185922 | 83094 1545688 4776392 | 2147483647 185921 57 | 0.001 % |
182.42/182.54 c | 186023 | 83094 1545688 4776392 | 2147483647 186022 57 | 0.001 % |
182.71/182.86 c | 186133 | 83094 1545688 4776392 | 2147483647 186132 57 | 0.001 % |
182.91/183.05 c | 186255 | 83094 1545688 4776392 | 2147483647 186254 57 | 0.001 % |
183.21/183.38 c | 186388 | 83094 1545688 4776392 | 2147483647 186387 57 | 0.001 % |
183.71/183.81 c | 186534 | 83094 1545688 4776392 | 2147483647 186533 57 | 0.001 % |
183.81/183.99 c | 186694 | 83094 1545688 4776392 | 2147483647 186693 57 | 0.001 % |
184.11/184.27 c | 186870 | 83094 1545688 4776392 | 2147483647 186869 57 | 0.001 % |
184.31/184.41 c | 187063 | 83094 1545688 4776392 | 2147483647 187062 57 | 0.001 % |
184.61/184.70 c | 187276 | 83094 1545688 4776392 | 2147483647 187275 57 | 0.001 % |
184.81/184.97 c | 187510 | 83094 1545688 4776392 | 2147483647 187509 57 | 0.001 % |
185.21/185.35 c | 187766 | 83094 1545688 4776392 | 2147483647 187765 58 | 0.001 % |
185.61/185.70 c | 188047 | 83094 1545688 4776392 | 2147483647 188046 57 | 0.001 % |
186.11/186.25 c | 188360 | 83094 1545688 4776392 | 2147483647 188359 58 | 0.001 % |
186.61/186.77 c | 188699 | 83094 1545688 4776392 | 2147483647 188698 58 | 0.001 % |
187.00/187.15 c | 189072 | 83094 1545688 4776392 | 2147483647 189071 58 | 0.001 % |
187.61/187.78 c | 189484 | 83094 1545688 4776392 | 2147483647 189483 58 | 0.001 % |
188.30/188.42 c | 189933 | 83094 1545688 4776392 | 2147483647 189932 58 | 0.001 % |
189.01/189.13 c | 190428 | 83094 1545688 4776392 | 2147483647 190427 58 | 0.001 % |
189.70/189.80 c | 190973 | 83094 1545688 4776392 | 2147483647 190972 58 | 0.001 % |
190.30/190.41 c | 191570 | 83094 1545688 4776392 | 2147483647 191569 58 | 0.001 % |
191.10/191.30 c | 192229 | 83094 1545688 4776392 | 2147483647 192228 58 | 0.001 % |
191.50/191.67 c | 192950 | 83094 1545688 4776392 | 2147483647 192949 58 | 0.001 % |
192.50/192.61 c | 193742 | 83094 1545688 4776392 | 2147483647 193741 58 | 0.001 % |
192.80/192.94 c | 194613 | 83094 1545688 4776392 | 2147483647 194612 58 | 0.001 % |
193.60/193.71 c | 195572 | 83094 1545688 4776392 | 2147483647 195571 58 | 0.001 % |
194.70/194.84 c | 196625 | 83094 1545688 4776392 | 2147483647 196624 59 | 0.001 % |
195.71/195.82 c | 197784 | 83094 1545688 4776392 | 2147483647 197783 59 | 0.001 % |
196.90/197.02 c | 199057 | 83094 1545688 4776392 | 2147483647 199056 59 | 0.001 % |
198.29/198.43 c | 200460 | 83094 1545688 4776392 | 2147483647 200459 60 | 0.001 % |
199.80/199.93 c | 202002 | 83094 1545688 4776392 | 2147483647 202001 60 | 0.001 % |
201.40/201.53 c | 203697 | 83094 1545688 4776392 | 2147483647 203696 60 | 0.001 % |
202.80/202.98 c | 205561 | 83094 1545688 4776392 | 2147483647 205560 60 | 0.001 % |
204.70/204.82 c | 207610 | 83094 1545688 4776392 | 2147483647 207609 61 | 0.001 % |
204.80/205.00 c | 207710 | 83094 1545688 4776392 | 2147483647 207709 61 | 0.001 % |
205.10/205.22 c | 207820 | 83094 1545688 4776392 | 2147483647 207819 61 | 0.001 % |
205.20/205.39 c | 207942 | 83094 1545688 4776392 | 2147483647 207941 61 | 0.001 % |
205.60/205.75 c | 208076 | 83094 1545688 4776392 | 2147483647 208075 61 | 0.001 % |
205.80/205.96 c | 208222 | 83094 1545688 4776392 | 2147483647 208221 61 | 0.001 % |
206.30/206.48 c | 208383 | 83094 1545688 4776392 | 2147483647 208382 61 | 0.001 % |
206.80/206.96 c | 208559 | 83094 1545688 4776392 | 2147483647 208558 61 | 0.001 % |
207.20/207.35 c | 208752 | 83094 1545688 4776392 | 2147483647 208751 61 | 0.001 % |
207.50/207.63 c | 208966 | 83094 1545688 4776392 | 2147483647 208965 61 | 0.001 % |
207.70/207.87 c | 209200 | 83094 1545688 4776392 | 2147483647 209199 61 | 0.001 % |
208.00/208.14 c | 209456 | 83094 1545688 4776392 | 2147483647 209455 61 | 0.001 % |
208.20/208.38 c | 209739 | 83094 1545688 4776392 | 2147483647 209738 61 | 0.001 % |
208.90/209.05 c | 210049 | 83094 1545688 4776392 | 2147483647 210048 61 | 0.001 % |
209.49/209.61 c | 210388 | 83094 1545688 4776392 | 2147483647 210387 61 | 0.001 % |
209.79/210.00 c | 210762 | 83094 1545688 4776392 | 2147483647 210761 61 | 0.001 % |
210.49/210.68 c | 211173 | 83094 1545688 4776392 | 2147483647 211172 61 | 0.001 % |
211.10/211.24 c | 211622 | 83094 1545688 4776392 | 2147483647 211621 61 | 0.001 % |
211.59/211.75 c | 212115 | 83094 1545688 4776392 | 2147483647 212114 61 | 0.001 % |
211.99/212.20 c | 212657 | 83094 1545688 4776392 | 2147483647 212656 61 | 0.001 % |
212.79/212.92 c | 213254 | 83094 1545688 4776392 | 2147483647 213253 61 | 0.001 % |
213.59/213.76 c | 213910 | 83094 1545688 4776392 | 2147483647 213909 61 | 0.001 % |
214.29/214.42 c | 214632 | 83094 1545688 4776392 | 2147483647 214631 62 | 0.001 % |
214.89/215.04 c | 215424 | 83094 1545688 4776392 | 2147483647 215423 62 | 0.001 % |
216.30/216.43 c | 216295 | 83094 1545688 4776392 | 2147483647 216294 62 | 0.001 % |
217.19/217.39 c | 217254 | 83094 1545688 4776392 | 2147483647 217253 62 | 0.001 % |
217.89/218.08 c | 218307 | 83094 1545688 4776392 | 2147483647 218306 62 | 0.001 % |
219.49/219.63 c | 219465 | 83094 1545688 4776392 | 2147483647 219464 62 | 0.001 % |
220.89/221.00 c | 220738 | 83094 1545688 4776392 | 2147483647 220737 62 | 0.001 % |
221.89/222.03 c | 222138 | 83094 1545688 4776392 | 2147483647 222137 62 | 0.001 % |
222.89/223.06 c | 223678 | 83094 1545688 4776392 | 2147483647 223677 62 | 0.001 % |
224.89/225.07 c | 225372 | 83094 1545688 4776392 | 2147483647 225371 62 | 0.001 % |
226.69/226.86 c | 227237 | 83094 1545688 4776392 | 2147483647 227236 63 | 0.001 % |
228.28/228.46 c | 229286 | 83094 1545688 4776392 | 2147483647 229285 63 | 0.001 % |
229.89/230.03 c | 231539 | 83094 1545688 4776392 | 2147483647 231538 63 | 0.001 % |
230.19/230.31 c | 231641 | 83094 1545688 4776392 | 2147483647 231640 63 | 0.001 % |
230.39/230.58 c | 231753 | 83094 1545688 4776392 | 2147483647 231752 63 | 0.001 % |
230.59/230.80 c | 231876 | 83094 1545688 4776392 | 2147483647 231875 63 | 0.001 % |
230.99/231.12 c | 232009 | 83094 1545688 4776392 | 2147483647 232008 63 | 0.001 % |
231.18/231.34 c | 232157 | 83094 1545688 4776392 | 2147483647 232156 63 | 0.001 % |
231.38/231.53 c | 232318 | 83094 1545688 4776392 | 2147483647 232317 63 | 0.001 % |
231.58/231.72 c | 232494 | 83094 1545688 4776392 | 2147483647 232493 63 | 0.001 % |
231.99/232.13 c | 232687 | 83094 1545688 4776392 | 2147483647 232686 63 | 0.001 % |
232.18/232.33 c | 232900 | 83094 1545688 4776392 | 2147483647 232899 63 | 0.001 % |
232.48/232.67 c | 233134 | 83094 1545688 4776392 | 2147483647 233133 63 | 0.001 % |
233.18/233.33 c | 233391 | 83094 1545688 4776392 | 2147483647 233390 63 | 0.001 % |
233.48/233.70 c | 233673 | 83094 1545688 4776392 | 2147483647 233672 63 | 0.001 % |
233.88/234.09 c | 233983 | 83094 1545688 4776392 | 2147483647 233982 63 | 0.001 % |
234.28/234.45 c | 234323 | 83094 1545688 4776392 | 2147483647 234322 64 | 0.001 % |
234.58/234.77 c | 234696 | 83094 1545688 4776392 | 2147483647 234695 64 | 0.001 % |
234.98/235.19 c | 235106 | 83094 1545688 4776392 | 2147483647 235105 64 | 0.001 % |
235.48/235.61 c | 235555 | 83094 1545688 4776392 | 2147483647 235554 64 | 0.001 % |
235.98/236.19 c | 236049 | 83094 1545688 4776392 | 2147483647 236048 64 | 0.001 % |
236.58/236.76 c | 236592 | 83094 1545688 4776392 | 2147483647 236591 64 | 0.001 % |
237.58/237.71 c | 237188 | 83094 1545688 4776392 | 2147483647 237187 64 | 0.001 % |
238.18/238.34 c | 237843 | 83094 1545688 4776392 | 2147483647 237842 64 | 0.001 % |
238.88/239.04 c | 238563 | 83094 1545688 4776392 | 2147483647 238562 64 | 0.001 % |
239.48/239.69 c | 239357 | 83094 1545688 4776392 | 2147483647 239356 64 | 0.001 % |
240.68/240.90 c | 240228 | 83094 1545688 4776392 | 2147483647 240227 64 | 0.001 % |
241.78/241.94 c | 241186 | 83094 1545688 4776392 | 2147483647 241185 64 | 0.001 % |
242.58/242.79 c | 242247 | 83094 1545688 4776392 | 2147483647 242246 64 | 0.001 % |
243.78/243.99 c | 243405 | 83094 1545688 4776392 | 2147483647 243404 64 | 0.001 % |
244.68/244.89 c | 244680 | 83094 1545688 4776392 | 2147483647 244679 64 | 0.001 % |
246.07/246.21 c | 246080 | 83094 1545688 4776392 | 2147483647 246079 64 | 0.001 % |
248.18/248.37 c | 247621 | 83094 1545688 4776392 | 2147483647 247620 64 | 0.001 % |
249.38/249.60 c | 249315 | 83094 1545688 4776392 | 2147483647 249314 64 | 0.001 % |
251.28/251.40 c | 251178 | 83094 1545688 4776392 | 2147483647 251177 65 | 0.001 % |
253.17/253.35 c | 253227 | 83094 1545688 4776392 | 2147483647 253226 65 | 0.001 % |
255.37/255.51 c | 255481 | 83094 1545688 4776392 | 2147483647 255480 65 | 0.001 % |
257.48/257.61 c | 257960 | 83094 1545688 4776392 | 2147483647 257959 65 | 0.001 % |
257.58/257.78 c | 258061 | 83094 1545688 4776392 | 2147483647 258060 65 | 0.001 % |
257.88/258.02 c | 258171 | 83094 1545688 4776392 | 2147483647 258170 65 | 0.001 % |
257.98/258.19 c | 258292 | 83094 1545688 4776392 | 2147483647 258291 65 | 0.001 % |
258.18/258.39 c | 258427 | 83094 1545688 4776392 | 2147483647 258426 65 | 0.001 % |
258.58/258.75 c | 258574 | 83094 1545688 4776392 | 2147483647 258573 65 | 0.001 % |
258.98/259.11 c | 258734 | 83094 1545688 4776392 | 2147483647 258733 65 | 0.001 % |
259.28/259.49 c | 258912 | 83094 1545688 4776392 | 2147483647 258911 65 | 0.001 % |
259.58/259.79 c | 259105 | 83094 1545688 4776392 | 2147483647 259104 66 | 0.001 % |
259.88/260.03 c | 259319 | 83094 1545688 4776392 | 2147483647 259318 66 | 0.001 % |
260.28/260.43 c | 259552 | 83094 1545688 4776392 | 2147483647 259551 66 | 0.001 % |
260.58/260.77 c | 259808 | 83094 1545688 4776392 | 2147483647 259807 66 | 0.001 % |
261.08/261.22 c | 260089 | 83094 1545688 4776392 | 2147483647 260088 66 | 0.001 % |
261.68/261.80 c | 260398 | 83094 1545688 4776392 | 2147483647 260397 66 | 0.001 % |
262.08/262.20 c | 260740 | 83094 1545688 4776392 | 2147483647 260739 66 | 0.001 % |
262.48/262.65 c | 261113 | 83094 1545688 4776392 | 2147483647 261112 66 | 0.001 % |
263.08/263.25 c | 261522 | 83094 1545688 4776392 | 2147483647 261521 66 | 0.001 % |
263.58/263.71 c | 261971 | 83094 1545688 4776392 | 2147483647 261970 66 | 0.001 % |
264.28/264.43 c | 262464 | 83094 1545688 4776392 | 2147483647 262463 66 | 0.001 % |
264.98/265.13 c | 263006 | 83094 1545688 4776392 | 2147483647 263005 66 | 0.001 % |
265.78/265.96 c | 263602 | 83094 1545688 4776392 | 2147483647 263601 66 | 0.001 % |
266.68/266.88 c | 264259 | 83094 1545688 4776392 | 2147483647 264258 66 | 0.001 % |
267.57/267.79 c | 264979 | 83094 1545688 4776392 | 2147483647 264978 66 | 0.001 % |
268.67/268.87 c | 265771 | 83094 1545688 4776392 | 2147483647 265770 66 | 0.001 % |
269.77/269.92 c | 266646 | 83094 1545688 4776392 | 2147483647 266645 66 | 0.001 % |
270.77/270.91 c | 267604 | 83094 1545688 4776392 | 2147483647 267603 66 | 0.001 % |
272.07/272.29 c | 268657 | 83094 1545688 4776392 | 2147483647 268656 67 | 0.001 % |
272.47/272.68 c | 269815 | 83094 1545688 4776392 | 2147483647 269814 67 | 0.001 % |
273.47/273.68 c | 271088 | 83094 1545688 4776392 | 2147483647 271087 67 | 0.001 % |
274.67/274.87 c | 272489 | 83094 1545688 4776392 | 2147483647 272488 67 | 0.001 % |
275.98/276.13 c | 274030 | 83094 1545688 4776392 | 2147483647 274029 67 | 0.001 % |
277.77/277.90 c | 275724 | 83094 1545688 4776392 | 2147483647 275723 68 | 0.001 % |
279.77/279.91 c | 277587 | 83094 1545688 4776392 | 2147483647 277586 68 | 0.001 % |
282.36/282.60 c | 279637 | 83094 1545688 4776392 | 2147483647 279636 68 | 0.001 % |
285.17/285.36 c | 281890 | 83094 1545688 4776392 | 2147483647 281889 69 | 0.001 % |
287.37/287.53 c | 284368 | 83094 1545688 4776392 | 2147483647 284367 69 | 0.001 % |
290.07/290.30 c | 287095 | 83094 1545688 4776392 | 2147483647 287094 70 | 0.001 % |
290.47/290.61 c | 287197 | 83094 1545688 4776392 | 2147483647 287196 70 | 0.001 % |
290.87/291.05 c | 287307 | 83094 1545688 4776392 | 2147483647 287306 70 | 0.001 % |
291.07/291.28 c | 287428 | 83094 1545688 4776392 | 2147483647 287427 70 | 0.001 % |
291.27/291.41 c | 287561 | 83094 1545688 4776392 | 2147483647 287560 70 | 0.001 % |
291.57/291.71 c | 287708 | 83094 1545688 4776392 | 2147483647 287707 70 | 0.001 % |
291.77/291.97 c | 287868 | 83094 1545688 4776392 | 2147483647 287867 70 | 0.001 % |
291.97/292.19 c | 288044 | 83094 1545688 4776392 | 2147483647 288043 69 | 0.001 % |
292.57/292.71 c | 288237 | 83094 1545688 4776392 | 2147483647 288236 70 | 0.001 % |
292.97/293.10 c | 288450 | 83094 1545688 4776392 | 2147483647 288449 70 | 0.001 % |
293.17/293.37 c | 288684 | 83094 1545688 4776392 | 2147483647 288683 70 | 0.001 % |
293.66/293.89 c | 288940 | 83094 1545688 4776392 | 2147483647 288939 70 | 0.001 % |
294.06/294.23 c | 289222 | 83094 1545688 4776392 | 2147483647 289221 70 | 0.001 % |
294.36/294.59 c | 289531 | 83094 1545688 4776392 | 2147483647 289530 70 | 0.001 % |
294.96/295.12 c | 289870 | 83094 1545688 4776392 | 2147483647 289869 70 | 0.001 % |
295.46/295.69 c | 290243 | 83094 1545688 4776392 | 2147483647 290242 70 | 0.001 % |
295.96/296.16 c | 290653 | 83094 1545688 4776392 | 2147483647 290652 70 | 0.001 % |
296.87/297.04 c | 291104 | 83094 1545688 4776392 | 2147483647 291103 70 | 0.001 % |
297.56/297.79 c | 291602 | 83094 1545688 4776392 | 2147483647 291601 70 | 0.001 % |
298.26/298.49 c | 292144 | 83094 1545688 4776392 | 2147483647 292143 70 | 0.001 % |
298.76/298.92 c | 292741 | 83094 1545688 4776392 | 2147483647 292740 70 | 0.001 % |
299.55/299.80 c | 293396 | 83094 1545688 4776392 | 2147483647 293395 70 | 0.001 % |
300.56/300.79 c | 294116 | 83094 1545688 4776392 | 2147483647 294115 70 | 0.001 % |
301.06/301.25 c | 294908 | 83094 1545688 4776392 | 2147483647 294907 70 | 0.001 % |
301.76/301.99 c | 295780 | 83094 1545688 4776392 | 2147483647 295779 70 | 0.001 % |
303.26/303.50 c | 296751 | 83094 1545688 4776392 | 2147483647 296750 70 | 0.001 % |
304.25/304.49 c | 297805 | 83094 1545688 4776392 | 2147483647 297804 70 | 0.001 % |
305.56/305.80 c | 298963 | 83094 1545688 4776392 | 2147483647 298962 71 | 0.001 % |
306.66/306.88 c | 300237 | 83094 1545688 4776392 | 2147483647 300236 71 | 0.001 % |
308.66/308.88 c | 301638 | 83094 1545688 4776392 | 2147483647 301637 71 | 0.001 % |
310.06/310.28 c | 303180 | 83094 1545688 4776392 | 2147483647 303179 71 | 0.001 % |
312.35/312.53 c | 304875 | 83094 1545688 4776392 | 2147483647 304874 72 | 0.001 % |
314.86/315.04 c | 306739 | 83094 1545688 4776392 | 2147483647 306738 72 | 0.001 % |
316.46/316.69 c | 308788 | 83094 1545688 4776392 | 2147483647 308787 72 | 0.001 % |
319.35/319.52 c | 311041 | 83094 1545688 4776392 | 2147483647 311040 72 | 0.001 % |
322.16/322.37 c | 313519 | 83094 1545688 4776392 | 2147483647 313518 72 | 0.001 % |
325.56/325.79 c | 316246 | 83094 1545688 4776392 | 2147483647 316245 73 | 0.001 % |
328.66/328.83 c | 319243 | 83094 1545688 4776392 | 2147483647 319242 73 | 0.001 % |
328.76/328.96 c | 319343 | 83094 1545688 4776392 | 2147483647 319342 73 | 0.001 % |
329.05/329.25 c | 319453 | 83094 1545688 4776392 | 2147483647 319452 73 | 0.001 % |
329.25/329.43 c | 319575 | 83094 1545688 4776392 | 2147483647 319574 73 | 0.001 % |
329.65/329.89 c | 319708 | 83094 1545688 4776392 | 2147483647 319707 73 | 0.001 % |
329.85/330.08 c | 319856 | 83094 1545688 4776392 | 2147483647 319855 73 | 0.001 % |
330.15/330.31 c | 320016 | 83094 1545688 4776392 | 2147483647 320015 73 | 0.001 % |
330.45/330.67 c | 320194 | 83094 1545688 4776392 | 2147483647 320193 73 | 0.001 % |
330.75/330.97 c | 320388 | 83094 1545688 4776392 | 2147483647 320387 73 | 0.001 % |
331.35/331.50 c | 320600 | 83094 1545688 4776392 | 2147483647 320599 73 | 0.001 % |
331.95/332.16 c | 320833 | 83094 1545688 4776392 | 2147483647 320832 73 | 0.001 % |
332.45/332.62 c | 321089 | 83094 1545688 4776392 | 2147483647 321088 73 | 0.001 % |
333.15/333.35 c | 321370 | 83094 1545688 4776392 | 2147483647 321369 73 | 0.001 % |
333.64/333.85 c | 321679 | 83094 1545688 4776392 | 2147483647 321678 73 | 0.001 % |
334.15/334.34 c | 322018 | 83094 1545688 4776392 | 2147483647 322017 73 | 0.001 % |
334.65/334.90 c | 322390 | 83094 1545688 4776392 | 2147483647 322389 73 | 0.001 % |
335.25/335.42 c | 322800 | 83094 1545688 4776392 | 2147483647 322799 73 | 0.001 % |
336.05/336.22 c | 323249 | 83094 1545688 4776392 | 2147483647 323248 73 | 0.001 % |
336.55/336.76 c | 323745 | 83094 1545688 4776392 | 2147483647 323744 73 | 0.001 % |
337.45/337.60 c | 324289 | 83094 1545688 4776392 | 2147483647 324288 73 | 0.001 % |
337.95/338.13 c | 324886 | 83094 1545688 4776392 | 2147483647 324885 73 | 0.001 % |
338.85/339.02 c | 325541 | 83094 1545688 4776392 | 2147483647 325540 73 | 0.001 % |
339.94/340.17 c | 326261 | 83094 1545688 4776392 | 2147483647 326260 74 | 0.001 % |
340.64/340.80 c | 327055 | 83094 1545688 4776392 | 2147483647 327054 74 | 0.001 % |
341.85/342.09 c | 327926 | 83094 1545688 4776392 | 2147483647 327925 74 | 0.001 % |
343.05/343.27 c | 328885 | 83094 1545688 4776392 | 2147483647 328884 74 | 0.001 % |
344.05/344.26 c | 329940 | 83094 1545688 4776392 | 2147483647 329939 74 | 0.001 % |
345.34/345.59 c | 331098 | 83094 1545688 4776392 | 2147483647 331097 74 | 0.001 % |
346.74/346.92 c | 332372 | 83094 1545688 4776392 | 2147483647 332371 74 | 0.001 % |
348.04/348.28 c | 333772 | 83094 1545688 4776392 | 2147483647 333771 73 | 0.001 % |
350.14/350.31 c | 335312 | 83094 1545688 4776392 | 2147483647 335311 73 | 0.001 % |
351.84/352.02 c | 337006 | 83094 1545688 4776392 | 2147483647 337005 73 | 0.001 % |
353.74/353.96 c | 338870 | 83094 1545688 4776392 | 2147483647 338869 73 | 0.001 % |
355.94/356.17 c | 340919 | 83094 1545688 4776392 | 2147483647 340918 73 | 0.001 % |
358.83/359.03 c | 343174 | 83094 1545688 4776392 | 2147483647 343173 73 | 0.001 % |
361.83/362.03 c | 345652 | 83094 1545688 4776392 | 2147483647 345651 73 | 0.001 % |
364.14/364.37 c | 348378 | 83094 1545688 4776392 | 2147483647 348377 73 | 0.001 % |
366.53/366.74 c | 351376 | 83094 1545688 4776392 | 2147483647 351375 73 | 0.001 % |
369.14/369.36 c | 354672 | 83094 1545688 4776392 | 2147483647 354671 74 | 0.001 % |
369.34/369.52 c | 354772 | 83094 1545688 4776392 | 2147483647 354771 74 | 0.001 % |
369.44/369.66 c | 354882 | 83094 1545688 4776392 | 2147483647 354881 74 | 0.001 % |
369.64/369.88 c | 355005 | 83094 1545688 4776392 | 2147483647 355004 74 | 0.001 % |
370.04/370.29 c | 355139 | 83094 1545688 4776392 | 2147483647 355138 74 | 0.001 % |
370.34/370.59 c | 355286 | 83094 1545688 4776392 | 2147483647 355285 74 | 0.001 % |
370.73/370.99 c | 355448 | 83094 1545688 4776392 | 2147483647 355447 74 | 0.001 % |
371.23/371.42 c | 355624 | 83094 1545688 4776392 | 2147483647 355623 74 | 0.001 % |
371.54/371.78 c | 355817 | 83094 1545688 4776392 | 2147483647 355816 74 | 0.001 % |
372.03/372.26 c | 356029 | 83094 1545688 4776392 | 2147483647 356028 74 | 0.001 % |
372.74/372.93 c | 356262 | 83094 1545688 4776392 | 2147483647 356261 74 | 0.001 % |
373.43/373.66 c | 356518 | 83094 1545688 4776392 | 2147483647 356517 74 | 0.001 % |
373.93/374.15 c | 356802 | 83094 1545688 4776392 | 2147483647 356801 74 | 0.001 % |
374.33/374.52 c | 357111 | 83094 1545688 4776392 | 2147483647 357110 74 | 0.001 % |
374.63/374.87 c | 357451 | 83094 1545688 4776392 | 2147483647 357450 74 | 0.001 % |
375.33/375.59 c | 357823 | 83094 1545688 4776392 | 2147483647 357822 74 | 0.001 % |
375.73/375.97 c | 358232 | 83094 1545688 4776392 | 2147483647 358231 74 | 0.001 % |
376.23/376.43 c | 358685 | 83094 1545688 4776392 | 2147483647 358684 74 | 0.001 % |
377.03/377.21 c | 359178 | 83094 1545688 4776392 | 2147483647 359177 74 | 0.001 % |
378.13/378.39 c | 359721 | 83094 1545688 4776392 | 2147483647 359720 74 | 0.001 % |
379.03/379.28 c | 360317 | 83094 1545688 4776392 | 2147483647 360316 74 | 0.001 % |
379.83/380.04 c | 360972 | 83094 1545688 4776392 | 2147483647 360971 74 | 0.001 % |
380.33/380.60 c | 361694 | 83094 1545688 4776392 | 2147483647 361693 74 | 0.001 % |
381.73/381.96 c | 362487 | 83094 1545688 4776392 | 2147483647 362486 74 | 0.001 % |
382.63/382.88 c | 363361 | 83094 1545688 4776392 | 2147483647 363360 74 | 0.001 % |
383.63/383.90 c | 364319 | 83094 1545688 4776392 | 2147483647 364318 74 | 0.001 % |
384.83/385.02 c | 365372 | 83094 1545688 4776392 | 2147483647 365371 74 | 0.001 % |
386.13/386.33 c | 366530 | 83094 1545688 4776392 | 2147483647 366529 74 | 0.001 % |
388.13/388.35 c | 367803 | 83094 1545688 4776392 | 2147483647 367802 74 | 0.001 % |
389.42/389.61 c | 369203 | 83094 1545688 4776392 | 2147483647 369202 75 | 0.001 % |
391.72/391.92 c | 370743 | 83094 1545688 4776392 | 2147483647 370742 75 | 0.001 % |
393.62/393.88 c | 372441 | 83094 1545688 4776392 | 2147483647 372440 75 | 0.001 % |
395.22/395.47 c | 374305 | 83094 1545688 4776392 | 2147483647 374304 75 | 0.001 % |
397.82/398.05 c | 376354 | 83094 1545688 4776392 | 2147483647 376353 75 | 0.001 % |
400.82/401.01 c | 378607 | 83094 1545688 4776392 | 2147483647 378606 75 | 0.001 % |
403.83/404.05 c | 381090 | 83094 1545688 4776392 | 2147483647 381089 76 | 0.001 % |
406.92/407.13 c | 383815 | 83094 1545688 4776392 | 2147483647 383814 76 | 0.001 % |
411.01/411.25 c | 386814 | 83094 1545688 4776392 | 2147483647 386813 76 | 0.001 % |
414.52/414.79 c | 390110 | 83094 1545688 4776392 | 2147483647 390109 76 | 0.001 % |
419.02/419.26 c | 393735 | 83094 1545688 4776392 | 2147483647 393734 76 | 0.001 % |
419.22/419.43 c | 393836 | 83094 1545688 4776392 | 2147483647 393835 76 | 0.001 % |
419.32/419.52 c | 393949 | 83094 1545688 4776392 | 2147483647 393948 76 | 0.001 % |
419.72/419.94 c | 394070 | 83094 1545688 4776392 | 2147483647 394069 76 | 0.001 % |
419.92/420.17 c | 394204 | 83094 1545688 4776392 | 2147483647 394203 76 | 0.001 % |
420.22/420.44 c | 394351 | 83094 1545688 4776392 | 2147483647 394350 76 | 0.001 % |
420.42/420.68 c | 394511 | 83094 1545688 4776392 | 2147483647 394510 76 | 0.001 % |
421.02/421.27 c | 394687 | 83094 1545688 4776392 | 2147483647 394686 76 | 0.001 % |
421.42/421.61 c | 394880 | 83094 1545688 4776392 | 2147483647 394879 76 | 0.001 % |
421.92/422.13 c | 395092 | 83094 1545688 4776392 | 2147483647 395091 76 | 0.001 % |
422.41/422.69 c | 395325 | 83094 1545688 4776392 | 2147483647 395324 76 | 0.001 % |
423.01/423.26 c | 395586 | 83094 1545688 4776392 | 2147483647 395585 76 | 0.001 % |
423.61/423.83 c | 395867 | 83094 1545688 4776392 | 2147483647 395866 76 | 0.001 % |
424.42/424.67 c | 396179 | 83094 1545688 4776392 | 2147483647 396178 76 | 0.001 % |
424.81/425.04 c | 396518 | 83094 1545688 4776392 | 2147483647 396517 76 | 0.001 % |
425.52/425.75 c | 396890 | 83094 1545688 4776392 | 2147483647 396889 76 | 0.001 % |
426.01/426.25 c | 397300 | 83094 1545688 4776392 | 2147483647 397299 76 | 0.001 % |
426.81/427.09 c | 397749 | 83094 1545688 4776392 | 2147483647 397748 76 | 0.001 % |
427.71/427.97 c | 398242 | 83094 1545688 4776392 | 2147483647 398241 76 | 0.001 % |
428.31/428.57 c | 398784 | 83094 1545688 4776392 | 2147483647 398783 76 | 0.001 % |
429.52/429.77 c | 399381 | 83094 1545688 4776392 | 2147483647 399380 76 | 0.001 % |
430.61/430.85 c | 400036 | 83094 1545688 4776392 | 2147483647 400035 76 | 0.001 % |
431.61/431.82 c | 400758 | 83094 1545688 4776392 | 2147483647 400757 76 | 0.001 % |
432.91/433.12 c | 401551 | 83094 1545688 4776392 | 2147483647 401550 76 | 0.001 % |
434.32/434.51 c | 402423 | 83094 1545688 4776392 | 2147483647 402422 76 | 0.001 % |
435.42/435.62 c | 403383 | 83094 1545688 4776392 | 2147483647 403382 76 | 0.001 % |
437.01/437.24 c | 404436 | 83094 1545688 4776392 | 2147483647 404435 76 | 0.001 % |
438.91/439.19 c | 405596 | 83094 1545688 4776392 | 2147483647 405595 76 | 0.001 % |
440.61/440.81 c | 406869 | 83094 1545688 4776392 | 2147483647 406868 76 | 0.001 % |
442.91/443.17 c | 408269 | 83094 1545688 4776392 | 2147483647 408268 76 | 0.001 % |
444.91/445.16 c | 409809 | 83094 1545688 4776392 | 2147483647 409808 77 | 0.001 % |
447.30/447.58 c | 411503 | 83094 1545688 4776392 | 2147483647 411502 77 | 0.001 % |
449.30/449.54 c | 413366 | 83094 1545688 4776392 | 2147483647 413365 77 | 0.001 % |
451.60/451.87 c | 415416 | 83094 1545688 4776392 | 2147483647 415415 77 | 0.001 % |
454.50/454.72 c | 417670 | 83094 1545688 4776392 | 2147483647 417669 77 | 0.001 % |
456.90/457.17 c | 420148 | 83094 1545688 4776392 | 2147483647 420147 78 | 0.001 % |
460.20/460.44 c | 422875 | 83094 1545688 4776392 | 2147483647 422874 78 | 0.001 % |
463.00/463.28 c | 425872 | 83094 1545688 4776392 | 2147483647 425871 78 | 0.001 % |
467.70/467.91 c | 429168 | 83094 1545688 4776392 | 2147483647 429167 78 | 0.001 % |
471.80/472.03 c | 432794 | 83094 1545688 4776392 | 2147483647 432793 78 | 0.001 % |
475.89/476.17 c | 436781 | 83094 1545688 4776392 | 2147483647 436780 79 | 0.001 % |
476.10/476.37 c | 436883 | 83094 1545688 4776392 | 2147483647 436882 79 | 0.001 % |
476.29/476.55 c | 436994 | 83094 1545688 4776392 | 2147483647 436993 79 | 0.001 % |
476.59/476.83 c | 437115 | 83094 1545688 4776392 | 2147483647 437114 79 | 0.001 % |
476.79/477.03 c | 437249 | 83094 1545688 4776392 | 2147483647 437248 79 | 0.001 % |
477.10/477.39 c | 437397 | 83094 1545688 4776392 | 2147483647 437396 79 | 0.001 % |
477.49/477.75 c | 437558 | 83094 1545688 4776392 | 2147483647 437557 79 | 0.001 % |
477.99/478.23 c | 437734 | 83094 1545688 4776392 | 2147483647 437733 79 | 0.001 % |
478.39/478.66 c | 437927 | 83094 1545688 4776392 | 2147483647 437926 79 | 0.001 % |
479.10/479.33 c | 438139 | 83094 1545688 4776392 | 2147483647 438138 79 | 0.001 % |
479.70/479.96 c | 438373 | 83094 1545688 4776392 | 2147483647 438372 79 | 0.001 % |
480.10/480.37 c | 438629 | 83094 1545688 4776392 | 2147483647 438628 79 | 0.001 % |
480.50/480.77 c | 438910 | 83094 1545688 4776392 | 2147483647 438909 79 | 0.001 % |
481.00/481.29 c | 439221 | 83094 1545688 4776392 | 2147483647 439220 79 | 0.001 % |
481.50/481.78 c | 439561 | 83094 1545688 4776392 | 2147483647 439560 79 | 0.001 % |
482.30/482.55 c | 439933 | 83094 1545688 4776392 | 2147483647 439932 79 | 0.001 % |
482.99/483.27 c | 440342 | 83094 1545688 4776392 | 2147483647 440341 79 | 0.001 % |
483.70/483.94 c | 440791 | 83094 1545688 4776392 | 2147483647 440790 79 | 0.001 % |
484.19/484.46 c | 441284 | 83094 1545688 4776392 | 2147483647 441283 79 | 0.001 % |
485.09/485.35 c | 441826 | 83094 1545688 4776392 | 2147483647 441825 79 | 0.001 % |
485.90/486.16 c | 442422 | 83094 1545688 4776392 | 2147483647 442421 79 | 0.001 % |
486.79/487.08 c | 443077 | 83094 1545688 4776392 | 2147483647 443076 79 | 0.001 % |
488.39/488.66 c | 443797 | 83094 1545688 4776392 | 2147483647 443796 79 | 0.001 % |
489.79/490.03 c | 444590 | 83094 1545688 4776392 | 2147483647 444589 79 | 0.001 % |
491.29/491.58 c | 445463 | 83094 1545688 4776392 | 2147483647 445462 79 | 0.001 % |
492.80/493.05 c | 446425 | 83094 1545688 4776392 | 2147483647 446424 79 | 0.001 % |
494.29/494.53 c | 447479 | 83094 1545688 4776392 | 2147483647 447478 79 | 0.001 % |
496.09/496.34 c | 448639 | 83094 1545688 4776392 | 2147483647 448638 79 | 0.001 % |
497.29/497.52 c | 449914 | 83094 1545688 4776392 | 2147483647 449913 79 | 0.001 % |
498.69/498.99 c | 451315 | 83094 1545688 4776392 | 2147483647 451314 79 | 0.001 % |
500.69/500.99 c | 452855 | 83094 1545688 4776392 | 2147483647 452854 79 | 0.001 % |
502.98/503.27 c | 454550 | 83094 1545688 4776392 | 2147483647 454549 79 | 0.001 % |
505.69/505.92 c | 456414 | 83094 1545688 4776392 | 2147483647 456413 80 | 0.001 % |
508.99/509.27 c | 458464 | 83094 1545688 4776392 | 2147483647 458463 80 | 0.001 % |
511.38/511.63 c | 460717 | 83094 1545688 4776392 | 2147483647 460716 80 | 0.001 % |
514.28/514.58 c | 463197 | 83094 1545688 4776392 | 2147483647 463196 81 | 0.001 % |
518.59/518.83 c | 465922 | 83094 1545688 4776392 | 2147483647 465921 81 | 0.001 % |
522.88/523.15 c | 468919 | 83094 1545688 4776392 | 2147483647 468918 81 | 0.001 % |
525.69/525.96 c | 472215 | 83094 1545688 4776392 | 2147483647 472214 81 | 0.001 % |
530.68/530.91 c | 475840 | 83094 1545688 4776392 | 2147483647 475839 82 | 0.001 % |
536.58/536.84 c | 479828 | 83094 1545688 4776392 | 2147483647 479827 82 | 0.001 % |
542.58/542.81 c | 484213 | 83094 1545688 4776392 | 2147483647 484212 82 | 0.001 % |
542.68/542.98 c | 484316 | 83094 1545688 4776392 | 2147483647 484315 82 | 0.001 % |
542.88/543.10 c | 484426 | 83094 1545688 4776392 | 2147483647 484425 82 | 0.001 % |
543.08/543.39 c | 484548 | 83094 1545688 4776392 | 2147483647 484547 82 | 0.001 % |
543.48/543.70 c | 484682 | 83094 1545688 4776392 | 2147483647 484681 82 | 0.001 % |
543.78/544.05 c | 484829 | 83094 1545688 4776392 | 2147483647 484828 82 | 0.001 % |
544.08/544.39 c | 484989 | 83094 1545688 4776392 | 2147483647 484988 82 | 0.001 % |
544.58/544.84 c | 485166 | 83094 1545688 4776392 | 2147483647 485165 82 | 0.001 % |
544.98/545.27 c | 485359 | 83094 1545688 4776392 | 2147483647 485358 82 | 0.001 % |
545.28/545.56 c | 485571 | 83094 1545688 4776392 | 2147483647 485570 82 | 0.001 % |
545.88/546.12 c | 485804 | 83094 1545688 4776392 | 2147483647 485803 82 | 0.001 % |
546.28/546.55 c | 486060 | 83094 1545688 4776392 | 2147483647 486059 82 | 0.001 % |
546.98/547.21 c | 486341 | 83094 1545688 4776392 | 2147483647 486340 82 | 0.001 % |
547.58/547.83 c | 486650 | 83094 1545688 4776392 | 2147483647 486649 82 | 0.001 % |
548.17/548.41 c | 486990 | 83094 1545688 4776392 | 2147483647 486989 82 | 0.001 % |
548.97/549.27 c | 487363 | 83094 1545688 4776392 | 2147483647 487362 82 | 0.001 % |
549.68/549.93 c | 487775 | 83094 1545688 4776392 | 2147483647 487774 82 | 0.001 % |
550.77/551.01 c | 488225 | 83094 1545688 4776392 | 2147483647 488224 82 | 0.001 % |
551.17/551.48 c | 488718 | 83094 1545688 4776392 | 2147483647 488717 82 | 0.001 % |
552.38/552.61 c | 489261 | 83094 1545688 4776392 | 2147483647 489260 82 | 0.001 % |
553.08/553.37 c | 489857 | 83094 1545688 4776392 | 2147483647 489856 82 | 0.001 % |
554.38/554.67 c | 490512 | 83094 1545688 4776392 | 2147483647 490511 82 | 0.001 % |
555.68/555.95 c | 491232 | 83094 1545688 4776392 | 2147483647 491231 82 | 0.001 % |
557.08/557.33 c | 492024 | 83094 1545688 4776392 | 2147483647 492023 82 | 0.001 % |
558.88/559.12 c | 492895 | 83094 1545688 4776392 | 2147483647 492894 82 | 0.001 % |
560.08/560.33 c | 493856 | 83094 1545688 4776392 | 2147483647 493855 82 | 0.001 % |
561.88/562.19 c | 494910 | 83094 1545688 4776392 | 2147483647 494909 82 | 0.001 % |
563.47/563.75 c | 496068 | 83094 1545688 4776392 | 2147483647 496067 82 | 0.001 % |
565.38/565.69 c | 497341 | 83094 1545688 4776392 | 2147483647 497340 83 | 0.001 % |
567.87/568.15 c | 498743 | 83094 1545688 4776392 | 2147483647 498742 83 | 0.001 % |
570.58/570.89 c | 500283 | 83094 1545688 4776392 | 2147483647 500282 83 | 0.001 % |
572.47/572.78 c | 501977 | 83094 1545688 4776392 | 2147483647 501976 83 | 0.001 % |
575.37/575.61 c | 503841 | 83094 1545688 4776392 | 2147483647 503840 83 | 0.001 % |
578.47/578.77 c | 505890 | 83094 1545688 4776392 | 2147483647 505889 83 | 0.001 % |
581.67/581.94 c | 508143 | 83094 1545688 4776392 | 2147483647 508142 83 | 0.001 % |
585.76/586.07 c | 510622 | 83094 1545688 4776392 | 2147483647 510621 83 | 0.001 % |
589.57/589.84 c | 513347 | 83094 1545688 4776392 | 2147483647 513346 84 | 0.001 % |
593.07/593.37 c | 516344 | 83094 1545688 4776392 | 2147483647 516343 84 | 0.001 % |
597.56/597.80 c | 519641 | 83094 1545688 4776392 | 2147483647 519640 84 | 0.001 % |
601.66/601.94 c | 523267 | 83094 1545688 4776392 | 2147483647 523266 84 | 0.001 % |
606.56/606.84 c | 527254 | 83094 1545688 4776392 | 2147483647 527253 84 | 0.001 % |
611.86/612.11 c | 531639 | 83094 1545688 4776392 | 2147483647 531638 84 | 0.001 % |
617.65/617.92 c | 536462 | 83094 1545688 4776392 | 2147483647 536461 84 | 0.001 % |
617.96/618.22 c | 536563 | 83094 1545688 4776392 | 2147483647 536562 84 | 0.001 % |
618.55/618.84 c | 536673 | 83094 1545688 4776392 | 2147483647 536672 84 | 0.001 % |
618.85/619.15 c | 536794 | 83094 1545688 4776392 | 2147483647 536793 84 | 0.001 % |
619.15/619.49 c | 536927 | 83094 1545688 4776392 | 2147483647 536926 84 | 0.001 % |
619.45/619.73 c | 537074 | 83094 1545688 4776392 | 2147483647 537073 84 | 0.001 % |
619.85/620.13 c | 537234 | 83094 1545688 4776392 | 2147483647 537233 84 | 0.001 % |
620.25/620.57 c | 537411 | 83094 1545688 4776392 | 2147483647 537410 84 | 0.001 % |
620.66/620.95 c | 537606 | 83094 1545688 4776392 | 2147483647 537605 84 | 0.001 % |
620.96/621.26 c | 537818 | 83094 1545688 4776392 | 2147483647 537817 84 | 0.001 % |
621.36/621.60 c | 538051 | 83094 1545688 4776392 | 2147483647 538050 84 | 0.001 % |
621.76/622.05 c | 538307 | 83094 1545688 4776392 | 2147483647 538306 84 | 0.001 % |
622.46/622.77 c | 538588 | 83094 1545688 4776392 | 2147483647 538587 84 | 0.001 % |
623.06/623.33 c | 538897 | 83094 1545688 4776392 | 2147483647 538896 84 | 0.001 % |
623.66/623.91 c | 539236 | 83094 1545688 4776392 | 2147483647 539235 84 | 0.001 % |
624.36/624.61 c | 539609 | 83094 1545688 4776392 | 2147483647 539608 84 | 0.001 % |
624.75/625.06 c | 540019 | 83094 1545688 4776392 | 2147483647 540018 84 | 0.001 % |
625.66/625.93 c | 540469 | 83094 1545688 4776392 | 2147483647 540468 84 | 0.001 % |
626.65/626.93 c | 540963 | 83094 1545688 4776392 | 2147483647 540962 84 | 0.001 % |
627.35/627.64 c | 541505 | 83094 1545688 4776392 | 2147483647 541504 84 | 0.001 % |
628.45/628.71 c | 542101 | 83094 1545688 4776392 | 2147483647 542100 84 | 0.001 % |
629.45/629.73 c | 542757 | 83094 1545688 4776392 | 2147483647 542756 84 | 0.001 % |
630.55/630.86 c | 543477 | 83094 1545688 4776392 | 2147483647 543476 84 | 0.001 % |
631.85/632.13 c | 544269 | 83094 1545688 4776392 | 2147483647 544268 84 | 0.001 % |
633.05/633.35 c | 545140 | 83094 1545688 4776392 | 2147483647 545139 84 | 0.001 % |
634.36/634.61 c | 546098 | 83094 1545688 4776392 | 2147483647 546097 84 | 0.001 % |
635.65/635.97 c | 547151 | 83094 1545688 4776392 | 2147483647 547150 84 | 0.001 % |
636.95/637.24 c | 548309 | 83094 1545688 4776392 | 2147483647 548308 84 | 0.001 % |
638.35/638.60 c | 549583 | 83094 1545688 4776392 | 2147483647 549582 84 | 0.001 % |
640.14/640.48 c | 550984 | 83094 1545688 4776392 | 2147483647 550983 84 | 0.001 % |
642.54/642.84 c | 552525 | 83094 1545688 4776392 | 2147483647 552524 84 | 0.001 % |
644.94/645.25 c | 554219 | 83094 1545688 4776392 | 2147483647 554218 85 | 0.001 % |
646.75/647.02 c | 556083 | 83094 1545688 4776392 | 2147483647 556082 85 | 0.001 % |
649.34/649.65 c | 558132 | 83094 1545688 4776392 | 2147483647 558131 85 | 0.001 % |
652.64/652.94 c | 560385 | 83094 1545688 4776392 | 2147483647 560384 85 | 0.001 % |
655.64/655.97 c | 562864 | 83094 1545688 4776392 | 2147483647 562863 85 | 0.001 % |
659.04/659.36 c | 565590 | 83094 1545688 4776392 | 2147483647 565589 85 | 0.001 % |
662.84/663.15 c | 568587 | 83094 1545688 4776392 | 2147483647 568586 85 | 0.001 % |
666.84/667.11 c | 571884 | 83094 1545688 4776392 | 2147483647 571883 85 | 0.001 % |
672.44/672.78 c | 575509 | 83094 1545688 4776392 | 2147483647 575508 85 | 0.001 % |
678.23/678.59 c | 579496 | 83094 1545688 4776392 | 2147483647 579495 85 | 0.001 % |
683.44/683.72 c | 583882 | 83094 1545688 4776392 | 2147483647 583881 86 | 0.001 % |
687.24/687.51 c | 588705 | 83094 1545688 4776392 | 2147483647 588704 86 | 0.001 % |
693.74/694.08 c | 594010 | 83094 1545688 4776392 | 2147483647 594009 85 | 0.001 % |
694.24/694.57 c | 594110 | 83094 1545688 4776392 | 2147483647 594109 85 | 0.001 % |
694.63/694.99 c | 594220 | 83094 1545688 4776392 | 2147483647 594219 85 | 0.001 % |
695.13/695.42 c | 594344 | 83094 1545688 4776392 | 2147483647 594343 85 | 0.001 % |
695.43/695.73 c | 594478 | 83094 1545688 4776392 | 2147483647 594477 85 | 0.001 % |
695.63/695.91 c | 594624 | 83094 1545688 4776392 | 2147483647 594623 85 | 0.001 % |
695.83/696.19 c | 594785 | 83094 1545688 4776392 | 2147483647 594784 85 | 0.001 % |
696.23/696.53 c | 594961 | 83094 1545688 4776392 | 2147483647 594960 85 | 0.001 % |
696.93/697.26 c | 595154 | 83094 1545688 4776392 | 2147483647 595153 85 | 0.001 % |
697.53/697.86 c | 595366 | 83094 1545688 4776392 | 2147483647 595365 85 | 0.001 % |
697.83/698.17 c | 595599 | 83094 1545688 4776392 | 2147483647 595598 85 | 0.001 % |
699.03/699.38 c | 595855 | 83094 1545688 4776392 | 2147483647 595854 85 | 0.001 % |
700.43/700.73 c | 596137 | 83094 1545688 4776392 | 2147483647 596136 85 | 0.001 % |
701.23/701.52 c | 596446 | 83094 1545688 4776392 | 2147483647 596445 85 | 0.001 % |
702.03/702.34 c | 596786 | 83094 1545688 4776392 | 2147483647 596785 85 | 0.001 % |
702.93/703.21 c | 597158 | 83094 1545688 4776392 | 2147483647 597157 85 | 0.001 % |
703.53/703.88 c | 597568 | 83094 1545688 4776392 | 2147483647 597567 85 | 0.001 % |
704.93/705.27 c | 598017 | 83094 1545688 4776392 | 2147483647 598016 85 | 0.001 % |
705.93/706.27 c | 598510 | 83094 1545688 4776392 | 2147483647 598509 86 | 0.001 % |
706.82/707.19 c | 599052 | 83094 1545688 4776392 | 2147483647 599051 86 | 0.001 % |
708.03/708.32 c | 599648 | 83094 1545688 4776392 | 2147483647 599647 86 | 0.001 % |
709.13/709.47 c | 600304 | 83094 1545688 4776392 | 2147483647 600303 86 | 0.001 % |
710.02/710.34 c | 601024 | 83094 1545688 4776392 | 2147483647 601023 86 | 0.001 % |
711.12/711.41 c | 601816 | 83094 1545688 4776392 | 2147483647 601815 86 | 0.001 % |
711.92/712.22 c | 602687 | 83094 1545688 4776392 | 2147483647 602686 86 | 0.001 % |
713.33/713.60 c | 603648 | 83094 1545688 4776392 | 2147483647 603647 86 | 0.001 % |
715.33/715.61 c | 604702 | 83094 1545688 4776392 | 2147483647 604701 86 | 0.001 % |
717.53/717.82 c | 605860 | 83094 1545688 4776392 | 2147483647 605859 86 | 0.001 % |
720.13/720.48 c | 607134 | 83094 1545688 4776392 | 2147483647 607133 86 | 0.001 % |
722.02/722.32 c | 608535 | 83094 1545688 4776392 | 2147483647 608534 85 | 0.001 % |
724.32/724.70 c | 610075 | 83094 1545688 4776392 | 2147483647 610074 86 | 0.001 % |
727.12/727.44 c | 611769 | 83094 1545688 4776392 | 2147483647 611768 86 | 0.001 % |
729.52/729.90 c | 613633 | 83094 1545688 4776392 | 2147483647 613632 86 | 0.001 % |
733.01/733.38 c | 615682 | 83094 1545688 4776392 | 2147483647 615681 85 | 0.001 % |
735.82/736.13 c | 617935 | 83094 1545688 4776392 | 2147483647 617934 85 | 0.001 % |
740.02/740.33 c | 620413 | 83094 1545688 4776392 | 2147483647 620412 85 | 0.001 % |
742.52/742.86 c | 623140 | 83094 1545688 4776392 | 2147483647 623139 86 | 0.001 % |
745.21/745.58 c | 626138 | 83094 1545688 4776392 | 2147483647 626137 86 | 0.001 % |
749.11/749.44 c | 629434 | 83094 1545688 4776392 | 2147483647 629433 86 | 0.001 % |
754.21/754.58 c | 633059 | 83094 1545688 4776392 | 2147483647 633058 86 | 0.001 % |
760.61/760.99 c | 637046 | 83094 1545688 4776392 | 2147483647 637045 87 | 0.001 % |
765.91/766.21 c | 641431 | 83094 1545688 4776392 | 2147483647 641430 88 | 0.001 % |
772.71/773.02 c | 646255 | 83094 1545688 4776392 | 2147483647 646254 88 | 0.001 % |
780.11/780.49 c | 651560 | 83094 1545688 4776392 | 2147483647 651559 88 | 0.001 % |
789.41/789.74 c | 657395 | 83094 1545688 4776392 | 2147483647 657394 89 | 0.001 % |
789.61/789.94 c | 657495 | 83094 1545688 4776392 | 2147483647 657494 89 | 0.001 % |
790.11/790.43 c | 657605 | 83094 1545688 4776392 | 2147483647 657604 89 | 0.001 % |
790.61/790.95 c | 657728 | 83094 1545688 4776392 | 2147483647 657727 89 | 0.001 % |
790.91/791.24 c | 657863 | 83094 1545688 4776392 | 2147483647 657862 89 | 0.001 % |
791.41/791.73 c | 658009 | 83094 1545688 4776392 | 2147483647 658008 89 | 0.001 % |
791.81/792.15 c | 658170 | 83094 1545688 4776392 | 2147483647 658169 89 | 0.001 % |
792.41/792.79 c | 658346 | 83094 1545688 4776392 | 2147483647 658345 89 | 0.001 % |
793.21/793.54 c | 658539 | 83094 1545688 4776392 | 2147483647 658538 89 | 0.001 % |
793.91/794.27 c | 658752 | 83094 1545688 4776392 | 2147483647 658751 89 | 0.001 % |
794.91/795.22 c | 658986 | 83094 1545688 4776392 | 2147483647 658985 89 | 0.001 % |
795.50/795.88 c | 659242 | 83094 1545688 4776392 | 2147483647 659241 89 | 0.001 % |
796.30/796.61 c | 659523 | 83094 1545688 4776392 | 2147483647 659522 89 | 0.001 % |
797.30/797.60 c | 659832 | 83094 1545688 4776392 | 2147483647 659831 89 | 0.001 % |
798.10/798.45 c | 660172 | 83094 1545688 4776392 | 2147483647 660171 89 | 0.001 % |
799.00/799.37 c | 660544 | 83094 1545688 4776392 | 2147483647 660543 89 | 0.001 % |
799.90/800.28 c | 660955 | 83094 1545688 4776392 | 2147483647 660954 89 | 0.001 % |
800.80/801.19 c | 661404 | 83094 1545688 4776392 | 2147483647 661403 89 | 0.001 % |
801.70/802.10 c | 661897 | 83094 1545688 4776392 | 2147483647 661896 89 | 0.001 % |
802.70/803.09 c | 662440 | 83094 1545688 4776392 | 2147483647 662439 89 | 0.001 % |
803.80/804.12 c | 663036 | 83094 1545688 4776392 | 2147483647 663035 89 | 0.001 % |
804.99/805.39 c | 663691 | 83094 1545688 4776392 | 2147483647 663690 89 | 0.001 % |
806.80/807.15 c | 664413 | 83094 1545688 4776392 | 2147483647 664412 89 | 0.001 % |
808.80/809.16 c | 665205 | 83094 1545688 4776392 | 2147483647 665204 89 | 0.001 % |
810.50/810.82 c | 666076 | 83094 1545688 4776392 | 2147483647 666075 89 | 0.001 % |
812.10/812.49 c | 667034 | 83094 1545688 4776392 | 2147483647 667033 89 | 0.001 % |
815.09/815.48 c | 668087 | 83094 1545688 4776392 | 2147483647 668086 89 | 0.001 % |
818.00/818.35 c | 669245 | 83094 1545688 4776392 | 2147483647 669244 89 | 0.001 % |
820.79/821.12 c | 670524 | 83094 1545688 4776392 | 2147483647 670523 89 | 0.001 % |
823.09/823.48 c | 671926 | 83094 1545688 4776392 | 2147483647 671925 89 | 0.001 % |
826.59/826.94 c | 673467 | 83094 1545688 4776392 | 2147483647 673466 89 | 0.001 % |
828.29/828.60 c | 675161 | 83094 1545688 4776392 | 2147483647 675160 89 | 0.001 % |
831.38/831.76 c | 677024 | 83094 1545688 4776392 | 2147483647 677023 89 | 0.001 % |
834.99/835.39 c | 679073 | 83094 1545688 4776392 | 2147483647 679072 89 | 0.001 % |
839.19/839.55 c | 681326 | 83094 1545688 4776392 | 2147483647 681325 90 | 0.001 % |
842.99/843.35 c | 683804 | 83094 1545688 4776392 | 2147483647 683803 90 | 0.001 % |
846.88/847.24 c | 686529 | 83094 1545688 4776392 | 2147483647 686528 90 | 0.001 % |
851.58/851.90 c | 689526 | 83094 1545688 4776392 | 2147483647 689525 89 | 0.001 % |
856.88/857.29 c | 692823 | 83094 1545688 4776392 | 2147483647 692822 89 | 0.001 % |
862.19/862.52 c | 696450 | 83094 1545688 4776392 | 2147483647 696449 89 | 0.001 % |
869.08/869.49 c | 700440 | 83094 1545688 4776392 | 2147483647 700439 89 | 0.001 % |
876.78/877.20 c | 704827 | 83094 1545688 4776392 | 2147483647 704826 89 | 0.001 % |
884.57/884.99 c | 709650 | 83094 1545688 4776392 | 2147483647 709649 89 | 0.001 % |
892.88/893.30 c | 714956 | 83094 1545688 4776392 | 2147483647 714955 89 | 0.001 % |
902.47/902.83 c | 720793 | 83094 1545688 4776392 | 2147483647 720792 88 | 0.001 % |
913.07/913.48 c | 727211 | 83094 1545688 4776392 | 2147483647 727210 88 | 0.001 % |
913.37/913.76 c | 727311 | 83094 1545688 4776392 | 2147483647 727310 88 | 0.001 % |
913.57/913.97 c | 727421 | 83094 1545688 4776392 | 2147483647 727420 88 | 0.001 % |
913.97/914.31 c | 727542 | 83094 1545688 4776392 | 2147483647 727541 88 | 0.001 % |
914.47/914.88 c | 727675 | 83094 1545688 4776392 | 2147483647 727674 88 | 0.001 % |
914.97/915.40 c | 727823 | 83094 1545688 4776392 | 2147483647 727822 88 | 0.001 % |
915.57/915.91 c | 727984 | 83094 1545688 4776392 | 2147483647 727983 88 | 0.001 % |
915.97/916.39 c | 728161 | 83094 1545688 4776392 | 2147483647 728160 88 | 0.001 % |
916.57/916.94 c | 728354 | 83094 1545688 4776392 | 2147483647 728353 88 | 0.001 % |
917.27/917.63 c | 728566 | 83094 1545688 4776392 | 2147483647 728565 88 | 0.001 % |
917.97/918.35 c | 728799 | 83094 1545688 4776392 | 2147483647 728798 88 | 0.001 % |
918.77/919.10 c | 729056 | 83094 1545688 4776392 | 2147483647 729055 88 | 0.001 % |
919.57/919.96 c | 729337 | 83094 1545688 4776392 | 2147483647 729336 88 | 0.001 % |
920.57/920.99 c | 729648 | 83094 1545688 4776392 | 2147483647 729647 88 | 0.001 % |
921.67/922.08 c | 729987 | 83094 1545688 4776392 | 2147483647 729986 88 | 0.001 % |
922.87/923.28 c | 730359 | 83094 1545688 4776392 | 2147483647 730358 88 | 0.001 % |
923.86/924.21 c | 730770 | 83094 1545688 4776392 | 2147483647 730769 88 | 0.001 % |
924.86/925.24 c | 731219 | 83094 1545688 4776392 | 2147483647 731218 88 | 0.001 % |
926.06/926.46 c | 731713 | 83094 1545688 4776392 | 2147483647 731712 88 | 0.001 % |
927.16/927.59 c | 732258 | 83094 1545688 4776392 | 2147483647 732257 88 | 0.001 % |
928.66/929.03 c | 732854 | 83094 1545688 4776392 | 2147483647 732853 88 | 0.001 % |
930.06/930.47 c | 733509 | 83094 1545688 4776392 | 2147483647 733508 88 | 0.001 % |
931.76/932.16 c | 734229 | 83094 1545688 4776392 | 2147483647 734228 88 | 0.001 % |
933.16/933.58 c | 735023 | 83094 1545688 4776392 | 2147483647 735022 88 | 0.001 % |
935.67/936.06 c | 735896 | 83094 1545688 4776392 | 2147483647 735895 88 | 0.001 % |
937.16/937.57 c | 736855 | 83094 1545688 4776392 | 2147483647 736854 88 | 0.001 % |
938.86/939.28 c | 737908 | 83094 1545688 4776392 | 2147483647 737907 88 | 0.001 % |
940.46/940.86 c | 739066 | 83094 1545688 4776392 | 2147483647 739065 88 | 0.001 % |
943.16/943.51 c | 740340 | 83094 1545688 4776392 | 2147483647 740339 89 | 0.001 % |
945.36/945.77 c | 741740 | 83094 1545688 4776392 | 2147483647 741739 88 | 0.001 % |
947.76/948.16 c | 743281 | 83094 1545688 4776392 | 2147483647 743280 88 | 0.001 % |
950.85/951.27 c | 744975 | 83094 1545688 4776392 | 2147483647 744974 88 | 0.001 % |
954.06/954.41 c | 746838 | 83094 1545688 4776392 | 2147483647 746837 88 | 0.001 % |
957.36/957.78 c | 748887 | 83094 1545688 4776392 | 2147483647 748886 88 | 0.001 % |
962.16/962.51 c | 751140 | 83094 1545688 4776392 | 2147483647 751139 88 | 0.001 % |
966.65/967.00 c | 753620 | 83094 1545688 4776392 | 2147483647 753619 88 | 0.001 % |
971.35/971.78 c | 756345 | 83094 1545688 4776392 | 2147483647 756344 88 | 0.001 % |
975.95/976.38 c | 759342 | 83094 1545688 4776392 | 2147483647 759341 87 | 0.001 % |
981.64/982.02 c | 762639 | 83094 1545688 4776392 | 2147483647 762638 87 | 0.001 % |
988.25/988.64 c | 766264 | 83094 1545688 4776392 | 2147483647 766263 87 | 0.001 % |
994.65/995.01 c | 770251 | 83094 1545688 4776392 | 2147483647 770250 87 | 0.001 % |
1002.34/1002.79 c | 774636 | 83094 1545688 4776392 | 2147483647 774635 87 | 0.001 % |
1009.94/1010.38 c | 779459 | 83094 1545688 4776392 | 2147483647 779458 87 | 0.001 % |
1020.64/1021.07 c | 784765 | 83094 1545688 4776392 | 2147483647 784764 87 | 0.001 % |
1031.73/1032.15 c | 790601 | 83094 1545688 4776392 | 2147483647 790600 88 | 0.001 % |
1039.64/1040.04 c | 797020 | 83094 1545688 4776392 | 2147483647 797019 88 | 0.001 % |
1054.33/1054.77 c | 804081 | 83094 1545688 4776392 | 2147483647 804080 88 | 0.001 % |
1055.12/1055.55 c | 804181 | 83094 1545688 4776392 | 2147483647 804180 88 | 0.001 % |
1055.42/1055.83 c | 804291 | 83094 1545688 4776392 | 2147483647 804290 88 | 0.001 % |
1055.63/1056.08 c | 804414 | 83094 1545688 4776392 | 2147483647 804413 88 | 0.001 % |
1056.02/1056.44 c | 804550 | 83094 1545688 4776392 | 2147483647 804549 88 | 0.001 % |
1056.42/1056.83 c | 804697 | 83094 1545688 4776392 | 2147483647 804696 88 | 0.001 % |
1056.73/1057.18 c | 804857 | 83094 1545688 4776392 | 2147483647 804856 88 | 0.001 % |
1057.02/1057.48 c | 805033 | 83094 1545688 4776392 | 2147483647 805032 88 | 0.001 % |
1057.83/1058.25 c | 805226 | 83094 1545688 4776392 | 2147483647 805225 88 | 0.001 % |
1058.42/1058.89 c | 805438 | 83094 1545688 4776392 | 2147483647 805437 88 | 0.001 % |
1059.12/1059.52 c | 805672 | 83094 1545688 4776392 | 2147483647 805671 88 | 0.001 % |
1059.62/1060.08 c | 805930 | 83094 1545688 4776392 | 2147483647 805929 88 | 0.001 % |
1060.22/1060.67 c | 806211 | 83094 1545688 4776392 | 2147483647 806210 88 | 0.001 % |
1061.03/1061.41 c | 806520 | 83094 1545688 4776392 | 2147483647 806519 88 | 0.001 % |
1061.63/1062.00 c | 806859 | 83094 1545688 4776392 | 2147483647 806858 88 | 0.001 % |
1062.23/1062.67 c | 807231 | 83094 1545688 4776392 | 2147483647 807230 88 | 0.001 % |
1062.63/1063.06 c | 807640 | 83094 1545688 4776392 | 2147483647 807639 88 | 0.001 % |
1063.33/1063.73 c | 808091 | 83094 1545688 4776392 | 2147483647 808090 88 | 0.001 % |
1064.33/1064.80 c | 808584 | 83094 1545688 4776392 | 2147483647 808583 88 | 0.001 % |
1066.22/1066.69 c | 809126 | 83094 1545688 4776392 | 2147483647 809125 88 | 0.001 % |
1067.73/1068.17 c | 809723 | 83094 1545688 4776392 | 2147483647 809722 88 | 0.001 % |
1068.92/1069.35 c | 810378 | 83094 1545688 4776392 | 2147483647 810377 88 | 0.001 % |
1070.92/1071.39 c | 811099 | 83094 1545688 4776392 | 2147483647 811098 88 | 0.001 % |
1072.72/1073.11 c | 811891 | 83094 1545688 4776392 | 2147483647 811890 88 | 0.001 % |
1074.32/1074.72 c | 812762 | 83094 1545688 4776392 | 2147483647 812761 88 | 0.001 % |
1076.81/1077.26 c | 813721 | 83094 1545688 4776392 | 2147483647 813720 88 | 0.001 % |
1079.31/1079.78 c | 814774 | 83094 1545688 4776392 | 2147483647 814773 88 | 0.001 % |
1081.41/1081.84 c | 815932 | 83094 1545688 4776392 | 2147483647 815931 88 | 0.001 % |
1083.20/1083.61 c | 817206 | 83094 1545688 4776392 | 2147483647 817205 88 | 0.001 % |
1085.80/1086.27 c | 818606 | 83094 1545688 4776392 | 2147483647 818605 88 | 0.001 % |
1089.01/1089.49 c | 820147 | 83094 1545688 4776392 | 2147483647 820146 88 | 0.001 % |
1092.10/1092.53 c | 821843 | 83094 1545688 4776392 | 2147483647 821842 88 | 0.001 % |
1095.40/1095.81 c | 823708 | 83094 1545688 4776392 | 2147483647 823707 88 | 0.001 % |
1099.40/1099.86 c | 825757 | 83094 1545688 4776392 | 2147483647 825756 88 | 0.001 % |
1103.31/1103.79 c | 828010 | 83094 1545688 4776392 | 2147483647 828009 88 | 0.001 % |
1107.80/1108.28 c | 830488 | 83094 1545688 4776392 | 2147483647 830487 88 | 0.001 % |
1112.10/1112.56 c | 833213 | 83094 1545688 4776392 | 2147483647 833212 88 | 0.001 % |
1115.69/1116.18 c | 836210 | 83094 1545688 4776392 | 2147483647 836209 88 | 0.001 % |
1120.10/1120.54 c | 839506 | 83094 1545688 4776392 | 2147483647 839505 88 | 0.001 % |
1127.00/1127.44 c | 843131 | 83094 1545688 4776392 | 2147483647 843130 88 | 0.001 % |
1134.49/1134.93 c | 847118 | 83094 1545688 4776392 | 2147483647 847117 88 | 0.001 % |
1142.19/1142.66 c | 851503 | 83094 1545688 4776392 | 2147483647 851502 88 | 0.001 % |
1151.09/1151.54 c | 856327 | 83094 1545688 4776392 | 2147483647 856326 89 | 0.001 % |
1158.89/1159.35 c | 861632 | 83094 1545688 4776392 | 2147483647 861631 88 | 0.001 % |
1168.59/1169.06 c | 867468 | 83094 1545688 4776392 | 2147483647 867467 88 | 0.001 % |
1180.58/1181.08 c | 873886 | 83094 1545688 4776392 | 2147483647 873885 88 | 0.001 % |
1193.78/1194.21 c | 880947 | 83094 1545688 4776392 | 2147483647 880946 88 | 0.001 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832131-1242769384/watcher-1832131-1242769384 -o /tmp/evaluation-result-1832131-1242769384/solver-1832131-1242769384 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832131-1242769384.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15068
/proc/meminfo: memFree=1939696/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
[startup+0.0988339 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15068
/proc/meminfo: memFree=1939696/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102834 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15068
/proc/meminfo: memFree=1939696/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301845 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15068
/proc/meminfo: memFree=1939696/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701871 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15068
/proc/meminfo: memFree=1939696/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50192 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 15073
/proc/meminfo: memFree=1861216/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
[pid=15072] ppid=15068 vsize=117332 CPUtime=1.49
/proc/15072/stat : 15072 (SatELite_releas) R 15068 15068 14946 0 -1 4194304 30964 0 0 0 128 21 0 0 25 0 1 0 304972111 120147968 27568 1992294400 134512640 135223648 4294956128 18446744073709551615 134548161 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 29333 27568 76 173 0 29158 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122688
[startup+3.10103 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 15073
/proc/meminfo: memFree=1821984/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
[pid=15072] ppid=15068 vsize=137340 CPUtime=3.08
/proc/15072/stat : 15072 (SatELite_releas) R 15068 15068 14946 0 -1 4194304 34299 0 0 0 285 23 0 0 25 0 1 0 304972111 140636160 30903 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 34335 30903 76 173 0 34160 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142696
[startup+6.30123 s]
/proc/loadavg: 1.07 1.00 0.96 2/66 15073
/proc/meminfo: memFree=1807456/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
[pid=15072] ppid=15068 vsize=143828 CPUtime=6.29
/proc/15072/stat : 15072 (SatELite_releas) R 15068 15068 14946 0 -1 4194304 35837 0 0 0 603 26 0 0 25 0 1 0 304972111 147279872 32337 1992294400 134512640 135223648 4294956128 18446744073709551615 134595955 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 35957 32337 76 173 0 35782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149184
[startup+12.7016 s]
/proc/loadavg: 1.07 1.00 0.96 2/66 15073
/proc/meminfo: memFree=1807200/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=0
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304972110 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15068/statm: 1339 237 197 169 0 50 0
[pid=15072] ppid=15068 vsize=143540 CPUtime=12.69
/proc/15072/stat : 15072 (SatELite_releas) R 15068 15068 14946 0 -1 4194304 39639 0 0 0 1240 29 0 0 25 0 1 0 304972111 146984960 32332 1992294400 134512640 135223648 4294956128 18446744073709551615 134587057 0 0 4096 3 0 0 0 17 1 0 0
/proc/15072/statm: 35885 32332 76 173 0 35710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148896
[startup+25.5025 s]
/proc/loadavg: 1.05 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1828832/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=76048 CPUtime=10.61
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 18658 0 0 0 1050 11 0 0 25 0 1 0 304973598 77873152 18644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 19012 18644 77 171 0 18839 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81404
[startup+51.1021 s]
/proc/loadavg: 1.03 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1821984/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=83260 CPUtime=36.2
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 20418 0 0 0 3606 14 0 0 25 0 1 0 304973598 85258240 20404 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 20815 20404 77 171 0 20642 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 88616
[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1805984/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=99084 CPUtime=87.39
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 24363 0 0 0 8721 18 0 0 25 0 1 0 304973598 101462016 24349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 24771 24349 77 171 0 24598 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 104440
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1787552/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=117800 CPUtime=147.37
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 29013 0 0 0 14714 23 0 0 25 0 1 0 304973598 120627200 28999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 29450 28999 77 171 0 29277 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 123156
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1766240/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=139064 CPUtime=207.34
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 34256 0 0 0 20705 29 0 0 25 0 1 0 304973598 142401536 34242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 34766 34242 77 171 0 34593 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 144420
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1743776/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=161548 CPUtime=267.31
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 39928 0 0 0 26696 35 0 0 25 0 1 0 304973598 165425152 39914 1992294400 134512640 135215339 4294956240 18446744073709551615 134527390 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 40387 39914 77 171 0 40214 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 166904
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1720672/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=184636 CPUtime=327.29
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 45587 0 0 0 32687 42 0 0 25 0 1 0 304973598 189067264 45573 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 46159 45573 77 171 0 45986 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 189992
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1701152/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=204292 CPUtime=387.27
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 50527 0 0 0 38680 47 0 0 25 0 1 0 304973598 209195008 50513 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 51073 50513 77 171 0 50900 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 209648
[startup+462.302 s]
################
# More data... #
################
/proc/15074/statm: 65988 65256 77 171 0 65815 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 269308
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1623328/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=281840 CPUtime=627.2
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 69736 0 0 0 62652 68 0 0 25 0 1 0 304973598 288604160 69722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 70460 69722 77 171 0 70287 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 287196
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1603808/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=301188 CPUtime=687.18
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 74601 0 0 0 68645 73 0 0 25 0 1 0 304973598 308416512 74587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 75297 74587 77 171 0 75124 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 306544
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1584672/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=320092 CPUtime=747.16
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 79315 0 0 0 74639 77 0 0 25 0 1 0 304973598 327774208 79301 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 80023 79301 77 171 0 79850 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 325448
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1565536/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=339388 CPUtime=807.14
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 84106 0 0 0 80633 81 0 0 25 0 1 0 304973598 347533312 84092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 84847 84092 77 171 0 84674 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 344744
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1552544/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=353328 CPUtime=867.12
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 87306 0 0 0 86627 85 0 0 25 0 1 0 304973598 361807872 87292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 88332 87292 77 171 0 88159 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 358684
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1540448/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=365724 CPUtime=927.11
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 90353 0 0 0 92623 88 0 0 25 0 1 0 304973598 374501376 90339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 91431 90339 77 171 0 91258 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 371080
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1532128/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=373600 CPUtime=987.09
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 92361 0 0 0 98619 90 0 0 25 0 1 0 304973598 382566400 92347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 93400 92347 77 171 0 93227 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 378956
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15074
/proc/meminfo: memFree=1516192/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=389908 CPUtime=1047.08
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 96377 0 0 0 104613 95 0 0 25 0 1 0 304973598 399265792 96363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 97477 96363 77 171 0 97304 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 395264
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15080
/proc/meminfo: memFree=1503008/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=402524 CPUtime=1107.05
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 99584 0 0 0 110606 99 0 0 25 0 1 0 304973598 412184576 99570 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 100631 99570 77 171 0 100458 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 407880
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15080
/proc/meminfo: memFree=1490144/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=415116 CPUtime=1167.03
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 102769 0 0 0 116601 102 0 0 25 0 1 0 304973598 425078784 102755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 103779 102755 77 171 0 103606 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 420472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15080
/proc/meminfo: memFree=1487904/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=417228 CPUtime=1185.22
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 103311 0 0 0 118419 103 0 0 25 0 1 0 304973598 427241472 103297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 104307 103297 77 171 0 104134 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 422584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15080
/proc/meminfo: memFree=1487904/2055920 swapFree=4179956/4192956
[pid=15068] ppid=15066 vsize=5356 CPUtime=14.85
/proc/15068/stat : 15068 (SatELiteGTI) S 15066 15068 14946 0 -1 4194304 336 43039 0 0 0 0 1441 44 16 0 1 0 304972110 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15068/statm: 1339 239 197 169 0 50 0
[pid=15074] ppid=15068 vsize=417228 CPUtime=1185.22
/proc/15074/stat : 15074 (minisat_static) R 15068 15068 14946 0 -1 4194304 103311 0 0 0 118419 103 0 0 25 0 1 0 304973598 427241472 103297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15074/statm: 104307 103297 77 171 0 104134 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 422584
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15068 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=412808
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=445932
# CPU time returned by wait4() is 14.8587
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1198.6
CPU system time (s): 1.47
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 422584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4128
system time used= 0.445932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 38
runsolver used 1.49577 second user time and 2.95655 second system time
The end
Begin job on node22 at 2009-05-19 23:43:06
IDJOB=1832131
IDBENCH=20578
IDSOLVER=671
FILE ID=node22/1832131-1242769384
PBS_JOBID= 9322276
Free space on /tmp= 66420 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832131-1242769384/watcher-1832131-1242769384 -o /tmp/evaluation-result-1832131-1242769384/solver-1832131-1242769384 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832131-1242769384.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fcbaf8c6c7ed0c41d8ac12258cafaee
RANDOM SEED=917509855
node22.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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
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: 1940240 kB
Buffers: 10324 kB
Cached: 66588 kB
SwapCached: 7748 kB
Active: 52472 kB
Inactive: 34420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1940240 kB
SwapTotal: 4192956 kB
SwapFree: 4179956 kB
Dirty: 33204 kB
Writeback: 0 kB
Mapped: 14500 kB
Slab: 14900 kB
Committed_AS: 1125648 kB
PageTables: 1376 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= 66384 MiB
End job on node22 at 2009-05-20 00:03:08