0.00/0.01 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 133080 348570 | 39923 0 0 nan | 0.000 % |
0.00/0.09 c ==============================================================================
0.00/0.09 c Result : #vars: 900 #clauses: 133080 #literals: 348570
0.00/0.09 c CPU time: 0.06 s
0.00/0.09 c ==============================================================================
0.01/0.20 c This is MiniSat 2.0 beta
0.01/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.01/0.20 c ============================[ Problem Statistics ]=============================
0.01/0.20 c | |
0.01/0.20 c | Number of variables: 900 |
0.01/0.20 c | Number of clauses: 133080 |
0.21/0.27 c | Parsing time: 0.06 s |
0.21/0.27 c ============================[ Search Statistics ]==============================
0.21/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.21/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.21/0.27 c ===============================================================================
0.21/0.27 c | 0 | 900 133080 348570 | 44360 0 nan | 0.000 % |
0.21/0.31 c | 100 | 900 133080 348570 | 44360 100 58 | 0.000 % |
0.21/0.34 c | 201 | 900 133080 348570 | 44360 201 41 | 0.009 % |
0.21/0.36 c | 304 | 900 133080 348570 | 44360 304 38 | 0.009 % |
0.21/0.38 c | 414 | 900 133080 348570 | 44360 414 33 | 0.009 % |
0.21/0.40 c | 515 | 900 133080 348570 | 44360 515 30 | 0.009 % |
0.21/0.42 c | 626 | 900 133080 348570 | 44360 626 37 | 0.000 % |
0.21/0.44 c | 748 | 900 133080 348570 | 44360 748 38 | 0.009 % |
0.21/0.45 c | 848 | 900 133080 348570 | 44360 848 38 | 0.009 % |
0.21/0.47 c | 958 | 900 133080 348570 | 44360 958 36 | 0.009 % |
0.21/0.49 c | 1080 | 900 133080 348570 | 44360 1080 35 | 0.009 % |
0.21/0.50 c | 1213 | 900 133080 348570 | 44360 1213 41 | 0.000 % |
0.21/0.52 c | 1314 | 900 133080 348570 | 44360 1314 40 | 0.009 % |
0.21/0.53 c | 1425 | 900 133080 348570 | 44360 1425 39 | 0.009 % |
0.21/0.55 c | 1546 | 900 133080 348570 | 44360 1546 38 | 0.009 % |
0.21/0.56 c | 1679 | 900 133080 348570 | 44360 1679 43 | 0.000 % |
0.21/0.58 c | 1830 | 900 133080 348570 | 44360 1830 43 | 0.009 % |
0.21/0.59 c | 1930 | 900 133080 348570 | 44360 1930 43 | 0.009 % |
0.21/0.61 c | 2041 | 900 133080 348570 | 44360 2041 43 | 0.009 % |
0.21/0.63 c | 2163 | 900 133080 348570 | 44360 2163 46 | 0.000 % |
0.21/0.64 c | 2297 | 900 133080 348570 | 44360 2297 44 | 0.008 % |
0.21/0.66 c | 2443 | 900 133080 348570 | 44360 2443 43 | 0.000 % |
0.21/0.69 c | 2606 | 900 133080 348570 | 44360 2606 43 | 0.008 % |
0.21/0.71 c | 2706 | 899 132790 347818 | 44360 2705 42 | 0.120 % |
0.21/0.72 c | 2816 | 899 132790 347818 | 44360 2815 42 | 0.120 % |
0.21/0.74 c | 2938 | 899 132790 347818 | 44360 2937 41 | 0.120 % |
0.21/0.76 c | 3076 | 899 132790 347818 | 44360 3075 41 | 0.120 % |
0.21/0.78 c | 3222 | 899 132790 347818 | 44360 3221 44 | 0.111 % |
0.21/0.80 c | 3383 | 899 132790 347818 | 44360 3382 45 | 0.120 % |
0.21/0.82 c | 3561 | 899 132790 347818 | 44360 3560 45 | 0.120 % |
0.21/0.84 c | 3661 | 899 132790 347818 | 44360 3660 46 | 0.111 % |
0.21/0.85 c | 3771 | 899 132790 347818 | 44360 3770 46 | 0.120 % |
0.21/0.87 c | 3892 | 899 132790 347818 | 44360 3891 46 | 0.111 % |
0.21/0.89 c | 4026 | 899 132790 347818 | 44360 4025 45 | 0.120 % |
0.21/0.90 c | 4175 | 899 132790 347818 | 44360 4174 47 | 0.111 % |
0.21/0.93 c | 4336 | 899 132790 347818 | 44360 4335 46 | 0.120 % |
0.21/0.96 c | 4514 | 899 132790 347818 | 44360 4513 45 | 0.120 % |
0.21/0.99 c | 4707 | 899 132790 347818 | 44360 4706 48 | 0.111 % |
0.21/1.00 c | 4810 | 899 132790 347818 | 44360 4809 49 | 0.120 % |
0.21/1.02 c | 4921 | 899 132790 347818 | 44360 4920 48 | 0.120 % |
0.21/1.04 c | 5042 | 899 132790 347818 | 44360 5041 48 | 0.120 % |
0.21/1.06 c | 5178 | 899 132790 347818 | 44360 5177 49 | 0.111 % |
0.21/1.09 c | 5326 | 899 132790 347818 | 44360 5325 49 | 0.120 % |
1.12/1.11 c | 5486 | 899 132790 347818 | 44360 5485 49 | 0.120 % |
1.12/1.15 c | 5664 | 899 132790 347818 | 44360 5663 48 | 0.120 % |
1.12/1.18 c | 5860 | 899 132790 347818 | 44360 5859 47 | 0.120 % |
1.22/1.23 c | 6072 | 899 132790 347818 | 44360 6071 47 | 0.120 % |
1.22/1.24 c | 6173 | 899 132790 347818 | 44360 6172 48 | 0.111 % |
1.22/1.26 c | 6284 | 899 132790 347818 | 44360 6283 48 | 0.111 % |
1.22/1.28 c | 6406 | 899 132790 347818 | 44360 6405 47 | 0.120 % |
1.22/1.31 c | 6539 | 899 132790 347818 | 44360 6538 47 | 0.120 % |
1.32/1.33 c | 6686 | 899 132790 347818 | 44360 6685 48 | 0.111 % |
1.32/1.35 c | 6847 | 899 132790 347818 | 44360 6846 47 | 0.120 % |
1.32/1.38 c | 7023 | 899 132790 347818 | 44360 7022 47 | 0.120 % |
1.42/1.41 c | 7216 | 899 132790 347818 | 44360 7215 48 | 0.111 % |
1.42/1.45 c | 7430 | 899 132790 347818 | 44360 7429 48 | 0.111 % |
1.42/1.49 c | 7663 | 899 132790 347818 | 44360 7662 48 | 0.120 % |
1.52/1.51 c | 7764 | 899 132790 347818 | 44360 7763 48 | 0.120 % |
1.52/1.53 c | 7877 | 899 132790 347818 | 44360 7876 47 | 0.120 % |
1.52/1.55 c | 7999 | 899 132790 347818 | 44360 7998 47 | 0.120 % |
1.52/1.57 c | 8133 | 899 132790 347818 | 44360 8132 47 | 0.120 % |
1.52/1.60 c | 8280 | 899 132790 347818 | 44360 8279 46 | 0.120 % |
1.62/1.63 c | 8440 | 899 132790 347818 | 44360 8439 46 | 0.120 % |
1.62/1.66 c | 8617 | 899 132790 347818 | 44360 8616 46 | 0.120 % |
1.62/1.70 c | 8810 | 899 132790 347818 | 44360 8809 45 | 0.120 % |
1.72/1.74 c | 9022 | 899 132790 347818 | 44360 9021 45 | 0.120 % |
1.72/1.78 c | 9258 | 899 132790 347818 | 44360 9257 46 | 0.111 % |
1.82/1.83 c | 9515 | 899 132790 347818 | 44360 9514 46 | 0.120 % |
1.82/1.85 c | 9615 | 899 132790 347818 | 44360 9614 46 | 0.111 % |
1.82/1.87 c | 9725 | 899 132790 347818 | 44360 9724 46 | 0.111 % |
1.82/1.88 c | 9846 | 899 132790 347818 | 44360 9845 46 | 0.120 % |
1.92/1.91 c | 9979 | 899 132790 347818 | 44360 9978 46 | 0.120 % |
1.92/1.93 c | 10129 | 899 132790 347818 | 2147483647 10128 46 | 0.120 % |
1.92/1.96 c | 10289 | 899 132790 347818 | 2147483647 10288 46 | 0.120 % |
1.92/2.00 c | 10466 | 899 132790 347818 | 2147483647 10465 45 | 0.120 % |
2.02/2.03 c | 10661 | 899 132790 347818 | 2147483647 10660 45 | 0.120 % |
2.02/2.08 c | 10874 | 899 132790 347818 | 2147483647 10873 45 | 0.120 % |
2.12/2.12 c | 11107 | 899 132790 347818 | 2147483647 11106 44 | 0.120 % |
2.12/2.18 c | 11367 | 899 132790 347818 | 2147483647 11366 44 | 0.120 % |
2.22/2.23 c | 11650 | 899 132790 347818 | 2147483647 11649 44 | 0.120 % |
2.22/2.25 c | 11752 | 899 132790 347818 | 2147483647 11751 44 | 0.120 % |
2.22/2.27 c | 11862 | 899 132790 347818 | 2147483647 11861 44 | 0.120 % |
2.22/2.30 c | 11986 | 899 132790 347818 | 2147483647 11985 43 | 0.120 % |
2.32/2.32 c | 12121 | 899 132790 347818 | 2147483647 12120 43 | 0.120 % |
2.32/2.36 c | 12267 | 899 132790 347818 | 2147483647 12266 43 | 0.120 % |
2.32/2.40 c | 12429 | 899 132790 347818 | 2147483647 12428 43 | 0.120 % |
2.42/2.44 c | 12605 | 899 132790 347818 | 2147483647 12604 43 | 0.120 % |
2.42/2.47 c | 12803 | 899 132790 347818 | 2147483647 12802 43 | 0.120 % |
2.52/2.52 c | 13017 | 899 132790 347818 | 2147483647 13016 42 | 0.120 % |
2.52/2.56 c | 13250 | 899 132790 347818 | 2147483647 13249 43 | 0.111 % |
2.62/2.62 c | 13507 | 899 132790 347818 | 2147483647 13506 43 | 0.111 % |
2.62/2.67 c | 13788 | 899 132790 347818 | 2147483647 13787 44 | 0.111 % |
2.72/2.74 c | 14100 | 899 132790 347818 | 2147483647 14099 44 | 0.111 % |
2.72/2.76 c | 14200 | 899 132790 347818 | 2147483647 14199 44 | 0.120 % |
2.72/2.78 c | 14310 | 899 132790 347818 | 2147483647 14309 44 | 0.120 % |
2.82/2.81 c | 14433 | 899 132790 347818 | 2147483647 14432 44 | 0.120 % |
2.82/2.84 c | 14566 | 899 132790 347818 | 2147483647 14565 44 | 0.120 % |
2.82/2.86 c | 14712 | 899 132790 347818 | 2147483647 14711 45 | 0.111 % |
2.82/2.90 c | 14874 | 899 132790 347818 | 2147483647 14873 45 | 0.120 % |
2.92/2.94 c | 15052 | 899 132790 347818 | 2147483647 15051 44 | 0.120 % |
2.92/2.97 c | 15245 | 899 132790 347818 | 2147483647 15244 45 | 0.111 % |
3.02/3.02 c | 15457 | 899 132790 347818 | 2147483647 15456 45 | 0.120 % |
3.02/3.07 c | 15690 | 899 132790 347818 | 2147483647 15689 45 | 0.111 % |
3.12/3.13 c | 15946 | 899 132790 347818 | 2147483647 15945 44 | 0.120 % |
3.12/3.18 c | 16231 | 899 132790 347818 | 2147483647 16230 44 | 0.111 % |
3.22/3.24 c | 16542 | 899 132790 347818 | 2147483647 16541 44 | 0.120 % |
3.32/3.31 c | 16881 | 899 132790 347818 | 2147483647 16880 45 | 0.111 % |
3.32/3.33 c | 16982 | 899 132790 347818 | 2147483647 16981 45 | 0.120 % |
3.32/3.36 c | 17096 | 899 132790 347818 | 2147483647 17095 44 | 0.120 % |
3.32/3.38 c | 17218 | 899 132790 347818 | 2147483647 17217 45 | 0.111 % |
3.42/3.41 c | 17351 | 899 132790 347818 | 2147483647 17350 45 | 0.111 % |
3.42/3.44 c | 17499 | 899 132790 347818 | 2147483647 17498 45 | 0.120 % |
3.42/3.48 c | 17661 | 899 132790 347818 | 2147483647 17660 45 | 0.120 % |
3.52/3.52 c | 17837 | 899 132790 347818 | 2147483647 17836 44 | 0.120 % |
3.52/3.56 c | 18030 | 899 132790 347818 | 2147483647 18029 44 | 0.120 % |
3.52/3.60 c | 18242 | 899 132790 347818 | 2147483647 18241 45 | 0.111 % |
3.62/3.65 c | 18476 | 899 132790 347818 | 2147483647 18475 45 | 0.120 % |
3.72/3.71 c | 18732 | 899 132790 347818 | 2147483647 18731 45 | 0.120 % |
3.72/3.77 c | 19016 | 899 132790 347818 | 2147483647 19015 44 | 0.120 % |
3.82/3.85 c | 19325 | 899 132790 347818 | 2147483647 19324 45 | 0.111 % |
3.92/3.92 c | 19664 | 899 132790 347818 | 2147483647 19663 45 | 0.120 % |
3.92/4.00 c | 20037 | 899 132790 347818 | 2147483647 20036 46 | 0.120 % |
4.02/4.02 c | 20137 | 899 132790 347818 | 2147483647 20136 46 | 0.111 % |
4.02/4.04 c | 20248 | 899 132790 347818 | 2147483647 20247 46 | 0.111 % |
4.02/4.07 c | 20370 | 899 132790 347818 | 2147483647 20369 46 | 0.111 % |
4.02/4.09 c | 20504 | 899 132790 347818 | 2147483647 20503 46 | 0.120 % |
4.12/4.12 c | 20650 | 899 132790 347818 | 2147483647 20649 46 | 0.111 % |
4.12/4.16 c | 20811 | 899 132790 347818 | 2147483647 20810 46 | 0.111 % |
4.12/4.20 c | 20988 | 899 132790 347818 | 2147483647 20987 46 | 0.120 % |
4.22/4.25 c | 21182 | 899 132790 347818 | 2147483647 21181 46 | 0.120 % |
4.22/4.30 c | 21394 | 899 132790 347818 | 2147483647 21393 46 | 0.120 % |
4.32/4.36 c | 21628 | 899 132790 347818 | 2147483647 21627 46 | 0.120 % |
4.42/4.43 c | 21884 | 899 132790 347818 | 2147483647 21883 45 | 0.120 % |
4.42/4.49 c | 22168 | 899 132790 347818 | 2147483647 22167 45 | 0.120 % |
4.52/4.57 c | 22482 | 899 132790 347818 | 2147483647 22481 45 | 0.120 % |
4.62/4.66 c | 22821 | 899 132790 347818 | 2147483647 22820 45 | 0.120 % |
4.72/4.76 c | 23195 | 899 132790 347818 | 2147483647 23194 45 | 0.120 % |
4.82/4.86 c | 23605 | 899 132790 347818 | 2147483647 23604 44 | 0.120 % |
4.82/4.89 c | 23706 | 899 132790 347818 | 2147483647 23705 44 | 0.111 % |
4.92/4.92 c | 23819 | 899 132790 347818 | 2147483647 23818 44 | 0.120 % |
4.92/4.96 c | 23942 | 899 132790 347818 | 2147483647 23941 44 | 0.120 % |
4.92/4.99 c | 24076 | 899 132790 347818 | 2147483647 24075 44 | 0.111 % |
5.02/5.02 c | 24223 | 899 132790 347818 | 2147483647 24222 44 | 0.111 % |
5.02/5.06 c | 24383 | 899 132790 347818 | 2147483647 24382 44 | 0.111 % |
5.02/5.10 c | 24561 | 899 132790 347818 | 2147483647 24560 44 | 0.120 % |
5.12/5.14 c | 24754 | 899 132790 347818 | 2147483647 24753 45 | 0.111 % |
5.12/5.20 c | 24969 | 899 132790 347818 | 2147483647 24968 44 | 0.120 % |
5.22/5.26 c | 25202 | 899 132790 347818 | 2147483647 25201 44 | 0.120 % |
5.32/5.32 c | 25460 | 899 132790 347818 | 2147483647 25459 44 | 0.120 % |
5.32/5.39 c | 25747 | 899 132790 347818 | 2147483647 25746 44 | 0.120 % |
5.42/5.46 c | 26057 | 899 132790 347818 | 2147483647 26056 44 | 0.120 % |
5.52/5.54 c | 26397 | 899 132790 347818 | 2147483647 26396 44 | 0.111 % |
5.62/5.65 c | 26770 | 899 132790 347818 | 2147483647 26769 44 | 0.111 % |
5.72/5.75 c | 27180 | 899 132790 347818 | 2147483647 27179 44 | 0.120 % |
5.82/5.88 c | 27630 | 899 132790 347818 | 2147483647 27629 44 | 0.120 % |
5.92/5.91 c | 27730 | 899 132790 347818 | 2147483647 27729 44 | 0.120 % |
5.92/5.94 c | 27841 | 899 132790 347818 | 2147483647 27840 44 | 0.120 % |
5.92/5.98 c | 27962 | 899 132790 347818 | 2147483647 27961 44 | 0.120 % |
6.02/6.02 c | 28095 | 899 132790 347818 | 2147483647 28094 44 | 0.120 % |
6.02/6.06 c | 28245 | 899 132790 347818 | 2147483647 28244 44 | 0.111 % |
6.02/6.10 c | 28405 | 899 132790 347818 | 2147483647 28404 44 | 0.120 % |
6.12/6.15 c | 28582 | 899 132790 347818 | 2147483647 28581 44 | 0.120 % |
6.12/6.20 c | 28775 | 899 132790 347818 | 2147483647 28774 44 | 0.111 % |
6.22/6.27 c | 28987 | 899 132790 347818 | 2147483647 28986 44 | 0.120 % |
6.32/6.33 c | 29221 | 899 132790 347818 | 2147483647 29220 44 | 0.120 % |
6.41/6.41 c | 29477 | 899 132790 347818 | 2147483647 29476 44 | 0.111 % |
6.41/6.49 c | 29760 | 899 132790 347818 | 2147483647 29759 44 | 0.120 % |
6.51/6.59 c | 30069 | 899 132790 347818 | 2147483647 30068 44 | 0.120 % |
6.61/6.69 c | 30411 | 899 132790 347818 | 2147483647 30410 44 | 0.111 % |
6.72/6.79 c | 30784 | 899 132790 347818 | 2147483647 30783 44 | 0.120 % |
6.80/6.89 c | 31193 | 899 132790 347818 | 2147483647 31192 44 | 0.120 % |
6.90/7.00 c | 31642 | 899 132790 347818 | 2147483647 31641 44 | 0.120 % |
7.10/7.14 c | 32141 | 899 132790 347818 | 2147483647 32140 44 | 0.120 % |
7.10/7.17 c | 32243 | 899 132790 347818 | 2147483647 32242 44 | 0.120 % |
7.10/7.19 c | 32353 | 899 132790 347818 | 2147483647 32352 44 | 0.120 % |
7.20/7.23 c | 32478 | 899 132790 347818 | 2147483647 32477 44 | 0.111 % |
7.20/7.27 c | 32612 | 899 132790 347818 | 2147483647 32611 44 | 0.120 % |
7.30/7.32 c | 32759 | 899 132790 347818 | 2147483647 32758 44 | 0.120 % |
7.30/7.37 c | 32919 | 899 132790 347818 | 2147483647 32918 44 | 0.120 % |
7.40/7.42 c | 33098 | 899 132790 347818 | 2147483647 33097 44 | 0.120 % |
7.40/7.48 c | 33294 | 899 132790 347818 | 2147483647 33293 44 | 0.111 % |
7.50/7.55 c | 33507 | 899 132790 347818 | 2147483647 33506 44 | 0.111 % |
7.60/7.62 c | 33741 | 899 132790 347818 | 2147483647 33740 44 | 0.111 % |
7.60/7.69 c | 34002 | 899 132790 347818 | 2147483647 34001 44 | 0.120 % |
7.70/7.76 c | 34283 | 899 132790 347818 | 2147483647 34282 45 | 0.111 % |
7.81/7.85 c | 34596 | 899 132790 347818 | 2147483647 34595 45 | 0.120 % |
7.90/7.94 c | 34935 | 899 132790 347818 | 2147483647 34934 45 | 0.111 % |
8.00/8.04 c | 35308 | 899 132790 347818 | 2147483647 35307 46 | 0.111 % |
8.10/8.16 c | 35719 | 899 132790 347818 | 2147483647 35718 45 | 0.111 % |
8.20/8.30 c | 36168 | 899 132790 347818 | 2147483647 36167 45 | 0.120 % |
8.40/8.44 c | 36661 | 899 132790 347818 | 2147483647 36660 45 | 0.120 % |
8.50/8.60 c | 37203 | 899 132790 347818 | 2147483647 37202 45 | 0.120 % |
8.60/8.63 c | 37303 | 899 132790 347818 | 2147483647 37302 45 | 0.120 % |
8.60/8.67 c | 37415 | 899 132790 347818 | 2147483647 37414 45 | 0.120 % |
8.60/8.70 c | 37537 | 899 132790 347818 | 2147483647 37536 45 | 0.120 % |
8.70/8.74 c | 37672 | 899 132790 347818 | 2147483647 37671 45 | 0.111 % |
8.70/8.77 c | 37818 | 899 132790 347818 | 2147483647 37817 45 | 0.120 % |
8.80/8.82 c | 37981 | 899 132790 347818 | 2147483647 37980 45 | 0.120 % |
8.80/8.87 c | 38159 | 899 132790 347818 | 2147483647 38158 45 | 0.120 % |
8.91/8.93 c | 38352 | 899 132790 347818 | 2147483647 38351 45 | 0.120 % |
9.00/9.01 c | 38566 | 899 132790 347818 | 2147483647 38565 45 | 0.121 % |
9.00/9.06 c | 38802 | 899 132790 347818 | 2147483647 38801 45 | 0.111 % |
9.10/9.14 c | 39058 | 899 132790 347818 | 2147483647 39057 45 | 0.111 % |
9.20/9.21 c | 39339 | 899 132790 347818 | 2147483647 39338 45 | 0.111 % |
9.30/9.31 c | 39648 | 899 132790 347818 | 2147483647 39647 45 | 0.111 % |
9.40/9.42 c | 39988 | 899 132790 347818 | 2147483647 39987 45 | 0.120 % |
9.50/9.53 c | 40363 | 899 132790 347818 | 2147483647 40362 45 | 0.111 % |
9.60/9.66 c | 40772 | 899 132790 347818 | 2147483647 40771 45 | 0.120 % |
9.80/9.82 c | 41222 | 899 132790 347818 | 2147483647 41221 45 | 0.119 % |
9.90/9.98 c | 41715 | 899 132790 347818 | 2147483647 41714 44 | 0.120 % |
10.10/10.17 c | 42257 | 899 132790 347818 | 2147483647 42256 44 | 0.120 % |
10.30/10.36 c | 42854 | 899 132790 347818 | 2147483647 42853 44 | 0.120 % |
10.40/10.41 c | 42955 | 899 132790 347818 | 2147483647 42954 44 | 0.111 % |
10.40/10.44 c | 43065 | 899 132790 347818 | 2147483647 43064 44 | 0.120 % |
10.40/10.49 c | 43186 | 899 132790 347818 | 2147483647 43185 44 | 0.111 % |
10.50/10.53 c | 43323 | 899 132790 347818 | 2147483647 43322 44 | 0.111 % |
10.50/10.58 c | 43473 | 899 132790 347818 | 2147483647 43472 44 | 0.120 % |
10.60/10.64 c | 43633 | 899 132790 347818 | 2147483647 43632 44 | 0.120 % |
10.70/10.71 c | 43809 | 899 132790 347818 | 2147483647 43808 44 | 0.120 % |
10.70/10.78 c | 44005 | 899 132790 347818 | 2147483647 44004 44 | 0.120 % |
10.80/10.85 c | 44218 | 899 132790 347818 | 2147483647 44217 44 | 0.111 % |
10.90/10.93 c | 44454 | 899 132790 347818 | 2147483647 44453 44 | 0.120 % |
11.00/11.03 c | 44710 | 899 132790 347818 | 2147483647 44709 44 | 0.120 % |
11.11/11.14 c | 44992 | 899 132790 347818 | 2147483647 44991 44 | 0.120 % |
11.20/11.25 c | 45301 | 899 132790 347818 | 2147483647 45300 44 | 0.120 % |
11.30/11.37 c | 45641 | 899 132790 347818 | 2147483647 45640 44 | 0.120 % |
11.40/11.48 c | 46015 | 899 132790 347818 | 2147483647 46014 44 | 0.120 % |
11.50/11.60 c | 46424 | 899 132790 347818 | 2147483647 46423 44 | 0.111 % |
11.70/11.74 c | 46874 | 899 132790 347818 | 2147483647 46873 44 | 0.127 % |
11.90/11.93 c | 47367 | 899 132790 347818 | 2147483647 47366 44 | 0.120 % |
12.10/12.12 c | 47910 | 899 132790 347818 | 2147483647 47909 44 | 0.120 % |
12.30/12.34 c | 48507 | 899 132790 347818 | 2147483647 48506 44 | 0.111 % |
12.50/12.56 c | 49162 | 899 132790 347818 | 2147483647 49161 45 | 0.111 % |
12.50/12.59 c | 49262 | 899 132790 347818 | 2147483647 49261 45 | 0.120 % |
12.60/12.64 c | 49372 | 899 132790 347818 | 2147483647 49371 45 | 0.120 % |
12.60/12.69 c | 49494 | 899 132790 347818 | 2147483647 49493 45 | 0.120 % |
12.70/12.75 c | 49627 | 899 132790 347818 | 2147483647 49626 45 | 0.120 % |
12.80/12.81 c | 49775 | 899 132790 347818 | 2147483647 49774 45 | 0.120 % |
12.80/12.88 c | 49936 | 899 132790 347818 | 2147483647 49935 45 | 0.120 % |
12.90/12.95 c | 50112 | 899 132790 347818 | 2147483647 50111 45 | 0.120 % |
13.00/13.03 c | 50307 | 899 132790 347818 | 2147483647 50306 45 | 0.120 % |
13.10/13.11 c | 50519 | 899 132790 347818 | 2147483647 50518 45 | 0.120 % |
13.10/13.19 c | 50752 | 899 132790 347818 | 2147483647 50751 45 | 0.111 % |
13.20/13.28 c | 51008 | 899 132790 347818 | 2147483647 51007 45 | 0.111 % |
13.31/13.37 c | 51290 | 899 132790 347818 | 2147483647 51289 45 | 0.111 % |
13.40/13.49 c | 51599 | 899 132790 347818 | 2147483647 51598 45 | 0.120 % |
13.60/13.62 c | 51939 | 899 132790 347818 | 2147483647 51938 46 | 0.111 % |
13.70/13.76 c | 52311 | 899 132790 347818 | 2147483647 52310 46 | 0.120 % |
13.80/13.90 c | 52722 | 899 132790 347818 | 2147483647 52721 46 | 0.120 % |
14.00/14.07 c | 53171 | 899 132790 347818 | 2147483647 53170 45 | 0.120 % |
14.20/14.26 c | 53666 | 899 132790 347818 | 2147483647 53665 45 | 0.120 % |
14.41/14.48 c | 54210 | 899 132790 347818 | 2147483647 54209 45 | 0.120 % |
14.60/14.69 c | 54813 | 899 132790 347818 | 2147483647 54812 45 | 0.120 % |
14.90/14.91 c | 55468 | 899 132790 347818 | 2147483647 55467 45 | 0.120 % |
15.10/15.18 c | 56191 | 899 132790 347818 | 2147483647 56190 45 | 0.111 % |
15.20/15.23 c | 56291 | 899 132790 347818 | 2147483647 56290 45 | 0.111 % |
15.20/15.28 c | 56401 | 899 132790 347818 | 2147483647 56400 45 | 0.120 % |
15.30/15.33 c | 56530 | 899 132790 347818 | 2147483647 56529 45 | 0.120 % |
15.30/15.39 c | 56664 | 899 132790 347818 | 2147483647 56663 45 | 0.111 % |
15.40/15.45 c | 56810 | 899 132790 347818 | 2147483647 56809 45 | 0.120 % |
15.40/15.51 c | 56970 | 899 132790 347818 | 2147483647 56969 45 | 0.111 % |
15.51/15.57 c | 57147 | 899 132790 347818 | 2147483647 57146 45 | 0.120 % |
15.60/15.65 c | 57341 | 899 132790 347818 | 2147483647 57340 45 | 0.120 % |
15.70/15.73 c | 57555 | 899 132790 347818 | 2147483647 57554 45 | 0.120 % |
15.80/15.83 c | 57790 | 899 132790 347818 | 2147483647 57789 45 | 0.111 % |
15.90/15.93 c | 58047 | 899 132790 347818 | 2147483647 58046 45 | 0.120 % |
16.00/16.03 c | 58328 | 899 132790 347818 | 2147483647 58327 45 | 0.111 % |
16.10/16.15 c | 58637 | 899 132790 347818 | 2147483647 58636 45 | 0.120 % |
16.20/16.28 c | 58976 | 899 132790 347818 | 2147483647 58975 45 | 0.120 % |
16.40/16.44 c | 59351 | 899 132790 347818 | 2147483647 59350 45 | 0.120 % |
16.50/16.60 c | 59763 | 899 132790 347818 | 2147483647 59762 45 | 0.120 % |
16.70/16.76 c | 60214 | 899 132790 347818 | 2147483647 60213 45 | 0.120 % |
16.90/16.98 c | 60708 | 899 132790 347818 | 2147483647 60707 45 | 0.120 % |
17.20/17.23 c | 61253 | 899 132790 347818 | 2147483647 61252 45 | 0.120 % |
17.40/17.48 c | 61850 | 899 132790 347818 | 2147483647 61849 45 | 0.120 % |
17.71/17.77 c | 62507 | 899 132790 347818 | 2147483647 62506 45 | 0.120 % |
18.00/18.05 c | 63228 | 899 132790 347818 | 2147483647 63227 45 | 0.111 % |
18.30/18.39 c | 64021 | 899 132790 347818 | 2147483647 64020 45 | 0.120 % |
18.40/18.44 c | 64122 | 899 132790 347818 | 2147483647 64121 45 | 0.111 % |
18.40/18.48 c | 64232 | 899 132790 347818 | 2147483647 64231 45 | 0.111 % |
18.50/18.52 c | 64357 | 899 132790 347818 | 2147483647 64356 45 | 0.111 % |
18.50/18.56 c | 64490 | 899 132790 347818 | 2147483647 64489 45 | 0.120 % |
18.60/18.61 c | 64639 | 899 132790 347818 | 2147483647 64638 45 | 0.120 % |
18.60/18.68 c | 64799 | 899 132790 347818 | 2147483647 64798 45 | 0.120 % |
18.70/18.74 c | 64975 | 899 132790 347818 | 2147483647 64974 45 | 0.120 % |
18.81/18.82 c | 65169 | 899 132790 347818 | 2147483647 65168 45 | 0.111 % |
18.90/18.92 c | 65383 | 899 132790 347818 | 2147483647 65382 45 | 0.120 % |
19.00/19.02 c | 65616 | 899 132790 347818 | 2147483647 65615 45 | 0.120 % |
19.10/19.12 c | 65872 | 899 132790 347818 | 2147483647 65871 45 | 0.120 % |
19.20/19.25 c | 66153 | 899 132790 347818 | 2147483647 66152 45 | 0.120 % |
19.30/19.38 c | 66464 | 899 132790 347818 | 2147483647 66463 45 | 0.120 % |
19.50/19.54 c | 66804 | 899 132790 347818 | 2147483647 66803 45 | 0.120 % |
19.70/19.71 c | 67177 | 899 132790 347818 | 2147483647 67176 45 | 0.120 % |
19.80/19.89 c | 67589 | 899 132790 347818 | 2147483647 67588 45 | 0.111 % |
20.00/20.10 c | 68039 | 899 132790 347818 | 2147483647 68038 45 | 0.111 % |
20.30/20.31 c | 68533 | 899 132790 347818 | 2147483647 68532 45 | 0.111 % |
20.50/20.55 c | 69079 | 899 132790 347818 | 2147483647 69078 46 | 0.111 % |
20.80/20.84 c | 69675 | 899 132790 347818 | 2147483647 69674 46 | 0.111 % |
21.10/21.15 c | 70330 | 899 132790 347818 | 2147483647 70329 46 | 0.120 % |
21.40/21.47 c | 71052 | 899 132790 347818 | 2147483647 71051 46 | 0.120 % |
21.80/21.83 c | 71846 | 899 132790 347818 | 2147483647 71845 46 | 0.111 % |
22.20/22.30 c | 72720 | 899 132790 347818 | 2147483647 72719 46 | 0.111 % |
22.30/22.36 c | 72821 | 899 132790 347818 | 2147483647 72820 46 | 0.120 % |
22.40/22.42 c | 72933 | 899 132790 347818 | 2147483647 72932 46 | 0.120 % |
22.50/22.51 c | 73057 | 899 132790 347818 | 2147483647 73056 46 | 0.120 % |
22.50/22.58 c | 73190 | 899 132790 347818 | 2147483647 73189 47 | 0.111 % |
22.60/22.67 c | 73336 | 899 132790 347818 | 2147483647 73335 46 | 0.120 % |
22.70/22.75 c | 73497 | 899 132790 347818 | 2147483647 73496 46 | 0.120 % |
22.80/22.85 c | 73675 | 899 132790 347818 | 2147483647 73674 46 | 0.120 % |
22.90/22.95 c | 73871 | 899 132790 347818 | 2147483647 73870 46 | 0.120 % |
23.00/23.04 c | 74085 | 899 132790 347818 | 2147483647 74084 46 | 0.111 % |
23.10/23.16 c | 74318 | 899 132790 347818 | 2147483647 74317 47 | 0.111 % |
23.30/23.31 c | 74576 | 899 132790 347818 | 2147483647 74575 47 | 0.120 % |
23.40/23.47 c | 74857 | 899 132790 347818 | 2147483647 74856 47 | 0.111 % |
23.60/23.63 c | 75166 | 899 132790 347818 | 2147483647 75165 47 | 0.111 % |
23.80/23.81 c | 75505 | 899 132790 347818 | 2147483647 75504 47 | 0.111 % |
23.90/23.99 c | 75878 | 899 132790 347818 | 2147483647 75877 47 | 0.111 % |
24.20/24.22 c | 76291 | 899 132790 347818 | 2147483647 76290 47 | 0.120 % |
24.40/24.47 c | 76742 | 899 132790 347818 | 2147483647 76741 47 | 0.120 % |
24.70/24.71 c | 77237 | 899 132790 347818 | 2147483647 77236 47 | 0.120 % |
24.90/25.00 c | 77779 | 899 132790 347818 | 2147483647 77778 47 | 0.120 % |
25.20/25.30 c | 78377 | 899 132790 347818 | 2147483647 78376 47 | 0.111 % |
25.60/25.66 c | 79035 | 899 132790 347818 | 2147483647 79034 46 | 0.121 % |
26.00/26.02 c | 79758 | 899 132790 347818 | 2147483647 79757 47 | 0.111 % |
26.40/26.46 c | 80551 | 899 132790 347818 | 2147483647 80550 47 | 0.120 % |
26.80/26.89 c | 81424 | 899 132790 347818 | 2147483647 81423 47 | 0.111 % |
27.30/27.39 c | 82384 | 899 132790 347818 | 2147483647 82383 47 | 0.120 % |
27.40/27.45 c | 82487 | 899 132790 347818 | 2147483647 82486 47 | 0.120 % |
27.50/27.53 c | 82599 | 899 132790 347818 | 2147483647 82598 47 | 0.120 % |
27.50/27.59 c | 82720 | 899 132790 347818 | 2147483647 82719 47 | 0.111 % |
27.61/27.66 c | 82853 | 899 132790 347818 | 2147483647 82852 47 | 0.121 % |
27.70/27.75 c | 83003 | 899 132790 347818 | 2147483647 83002 47 | 0.120 % |
27.80/27.83 c | 83163 | 899 132790 347818 | 2147483647 83162 47 | 0.111 % |
27.90/27.93 c | 83344 | 899 132790 347818 | 2147483647 83343 47 | 0.120 % |
28.00/28.03 c | 83539 | 899 132790 347818 | 2147483647 83538 47 | 0.120 % |
28.10/28.15 c | 83752 | 899 132790 347818 | 2147483647 83751 47 | 0.111 % |
28.20/28.27 c | 83986 | 899 132790 347818 | 2147483647 83985 47 | 0.111 % |
28.40/28.42 c | 84243 | 899 132790 347818 | 2147483647 84242 47 | 0.111 % |
28.50/28.56 c | 84528 | 899 132790 347818 | 2147483647 84527 47 | 0.120 % |
28.71/28.72 c | 84837 | 899 132790 347818 | 2147483647 84836 47 | 0.111 % |
28.90/28.96 c | 85176 | 899 132790 347818 | 2147483647 85175 47 | 0.111 % |
29.10/29.18 c | 85552 | 899 132790 347818 | 2147483647 85551 47 | 0.120 % |
29.30/29.38 c | 85961 | 899 132790 347818 | 2147483647 85960 48 | 0.111 % |
29.50/29.60 c | 86410 | 899 132790 347818 | 2147483647 86409 48 | 0.111 % |
29.81/29.84 c | 86903 | 899 132790 347818 | 2147483647 86902 48 | 0.111 % |
30.20/30.21 c | 87445 | 899 132790 347818 | 2147483647 87444 48 | 0.120 % |
30.60/30.62 c | 88041 | 899 132790 347818 | 2147483647 88040 48 | 0.120 % |
31.00/31.07 c | 88697 | 899 132790 347818 | 2147483647 88696 48 | 0.111 % |
31.50/31.56 c | 89418 | 899 132790 347818 | 2147483647 89417 48 | 0.120 % |
32.01/32.09 c | 90211 | 899 132790 347818 | 2147483647 90210 48 | 0.120 % |
32.50/32.59 c | 91084 | 899 132790 347818 | 2147483647 91083 48 | 0.120 % |
33.11/33.13 c | 92049 | 899 132790 347818 | 2147483647 92048 48 | 0.111 % |
33.70/33.70 c | 93102 | 899 132790 347818 | 2147483647 93101 49 | 0.111 % |
33.70/33.76 c | 93202 | 899 132790 347818 | 2147483647 93201 49 | 0.111 % |
33.80/33.84 c | 93313 | 899 132790 347818 | 2147483647 93312 49 | 0.120 % |
33.90/33.92 c | 93437 | 899 132790 347818 | 2147483647 93436 48 | 0.120 % |
34.00/34.00 c | 93571 | 899 132790 347818 | 2147483647 93570 48 | 0.120 % |
34.00/34.10 c | 93717 | 899 132790 347818 | 2147483647 93716 49 | 0.111 % |
34.10/34.20 c | 93880 | 899 132790 347818 | 2147483647 93879 49 | 0.111 % |
34.30/34.32 c | 94057 | 899 132790 347818 | 2147483647 94056 49 | 0.111 % |
34.40/34.43 c | 94253 | 899 132790 347818 | 2147483647 94252 49 | 0.111 % |
34.50/34.58 c | 94465 | 899 132790 347818 | 2147483647 94464 49 | 0.111 % |
34.70/34.72 c | 94698 | 899 132790 347818 | 2147483647 94697 49 | 0.111 % |
34.80/34.87 c | 94954 | 899 132790 347818 | 2147483647 94953 49 | 0.120 % |
35.00/35.07 c | 95235 | 899 132790 347818 | 2147483647 95234 49 | 0.120 % |
35.20/35.28 c | 95545 | 899 132790 347818 | 2147483647 95544 49 | 0.120 % |
35.40/35.49 c | 95884 | 899 132790 347818 | 2147483647 95883 49 | 0.111 % |
35.70/35.76 c | 96258 | 899 132790 347818 | 2147483647 96257 49 | 0.111 % |
36.00/36.05 c | 96667 | 899 132790 347818 | 2147483647 96666 49 | 0.120 % |
36.30/36.38 c | 97116 | 899 132790 347818 | 2147483647 97115 49 | 0.111 % |
36.70/36.75 c | 97609 | 899 132790 347818 | 2147483647 97608 49 | 0.120 % |
37.10/37.13 c | 98152 | 899 132790 347818 | 2147483647 98151 49 | 0.121 % |
37.51/37.57 c | 98750 | 899 132790 347818 | 2147483647 98749 48 | 0.121 % |
37.90/37.96 c | 99410 | 899 132790 347818 | 2147483647 99409 48 | 0.120 % |
38.40/38.49 c | 100130 | 899 132790 347818 | 2147483647 100129 48 | 0.120 % |
39.00/39.03 c | 100926 | 899 132790 347818 | 2147483647 100925 48 | 0.120 % |
39.60/39.69 c | 101798 | 899 132790 347818 | 2147483647 101797 48 | 0.120 % |
40.30/40.40 c | 102757 | 899 132790 347818 | 2147483647 102756 48 | 0.120 % |
41.20/41.25 c | 103810 | 899 132790 347818 | 2147483647 103809 48 | 0.120 % |
42.10/42.14 c | 104968 | 899 132790 347818 | 2147483647 104967 48 | 0.120 % |
42.20/42.21 c | 105069 | 899 132790 347818 | 2147483647 105068 48 | 0.120 % |
42.20/42.26 c | 105180 | 899 132790 347818 | 2147483647 105179 48 | 0.111 % |
42.30/42.35 c | 105303 | 899 132790 347818 | 2147483647 105302 48 | 0.111 % |
42.40/42.44 c | 105441 | 899 132790 347818 | 2147483647 105440 48 | 0.111 % |
42.50/42.54 c | 105589 | 899 132790 347818 | 2147483647 105588 48 | 0.120 % |
42.60/42.65 c | 105749 | 899 132790 347818 | 2147483647 105748 48 | 0.111 % |
42.70/42.78 c | 105925 | 899 132790 347818 | 2147483647 105924 48 | 0.120 % |
42.90/42.92 c | 106119 | 899 132790 347818 | 2147483647 106118 48 | 0.111 % |
43.10/43.11 c | 106333 | 899 132790 347818 | 2147483647 106332 48 | 0.111 % |
43.20/43.26 c | 106566 | 899 132790 347818 | 2147483647 106565 48 | 0.111 % |
43.40/43.42 c | 106822 | 899 132790 347818 | 2147483647 106821 48 | 0.111 % |
43.60/43.62 c | 107103 | 899 132790 347818 | 2147483647 107102 48 | 0.111 % |
43.80/43.83 c | 107412 | 899 132790 347818 | 2147483647 107411 48 | 0.120 % |
44.00/44.06 c | 107751 | 899 132790 347818 | 2147483647 107750 48 | 0.120 % |
44.30/44.35 c | 108127 | 899 132790 347818 | 2147483647 108126 48 | 0.120 % |
44.50/44.60 c | 108539 | 899 132790 347818 | 2147483647 108538 48 | 0.120 % |
44.80/44.86 c | 108989 | 899 132790 347818 | 2147483647 108988 48 | 0.111 % |
45.10/45.15 c | 109483 | 899 132790 347818 | 2147483647 109482 48 | 0.111 % |
45.40/45.50 c | 110026 | 899 132790 347818 | 2147483647 110025 48 | 0.120 % |
45.90/45.95 c | 110624 | 899 132790 347818 | 2147483647 110623 48 | 0.111 % |
46.40/46.43 c | 111279 | 899 132790 347818 | 2147483647 111278 48 | 0.111 % |
46.90/46.94 c | 111999 | 899 132790 347818 | 2147483647 111998 48 | 0.120 % |
47.41/47.47 c | 112791 | 899 132790 347818 | 2147483647 112790 48 | 0.120 % |
48.00/48.05 c | 113663 | 899 132790 347818 | 2147483647 113662 48 | 0.120 % |
48.70/48.76 c | 114621 | 899 132790 347818 | 2147483647 114620 48 | 0.111 % |
49.50/49.58 c | 115674 | 899 132790 347818 | 2147483647 115673 48 | 0.120 % |
50.50/50.59 c | 116834 | 899 132790 347818 | 2147483647 116833 48 | 0.120 % |
51.70/51.72 c | 118111 | 899 132790 347818 | 2147483647 118110 48 | 0.120 % |
51.81/51.82 c | 118212 | 899 132790 347818 | 2147483647 118211 48 | 0.120 % |
51.90/51.91 c | 118327 | 899 132790 347818 | 2147483647 118326 48 | 0.120 % |
51.90/51.99 c | 118451 | 899 132790 347818 | 2147483647 118450 48 | 0.120 % |
52.00/52.10 c | 118584 | 899 132790 347818 | 2147483647 118583 48 | 0.111 % |
52.20/52.23 c | 118731 | 899 132790 347818 | 2147483647 118730 48 | 0.111 % |
52.30/52.36 c | 118892 | 899 132790 347818 | 2147483647 118891 48 | 0.111 % |
52.50/52.51 c | 119068 | 899 132790 347818 | 2147483647 119067 48 | 0.120 % |
52.60/52.68 c | 119265 | 899 132790 347818 | 2147483647 119264 48 | 0.111 % |
52.80/52.86 c | 119478 | 899 132790 347818 | 2147483647 119477 48 | 0.111 % |
53.01/53.05 c | 119711 | 899 132790 347818 | 2147483647 119710 48 | 0.120 % |
53.21/53.26 c | 119969 | 899 132790 347818 | 2147483647 119968 48 | 0.120 % |
53.51/53.52 c | 120252 | 899 132790 347818 | 2147483647 120251 48 | 0.120 % |
53.71/53.75 c | 120562 | 899 132790 347818 | 2147483647 120561 48 | 0.120 % |
53.91/53.96 c | 120901 | 899 132790 347818 | 2147483647 120900 48 | 0.111 % |
54.21/54.29 c | 121273 | 899 132790 347818 | 2147483647 121272 48 | 0.111 % |
54.51/54.56 c | 121682 | 899 132790 347818 | 2147483647 121681 48 | 0.120 % |
54.81/54.89 c | 122132 | 899 132790 347818 | 2147483647 122131 48 | 0.120 % |
55.21/55.23 c | 122625 | 899 132790 347818 | 2147483647 122624 48 | 0.120 % |
55.61/55.61 c | 123167 | 899 132790 347818 | 2147483647 123166 48 | 0.120 % |
56.01/56.03 c | 123763 | 899 132790 347818 | 2147483647 123762 48 | 0.120 % |
56.51/56.54 c | 124418 | 899 132790 347818 | 2147483647 124417 48 | 0.120 % |
57.01/57.05 c | 125141 | 899 132790 347818 | 2147483647 125140 48 | 0.120 % |
57.51/57.60 c | 125935 | 899 132790 347818 | 2147483647 125934 48 | 0.111 % |
58.21/58.25 c | 126806 | 899 132790 347818 | 2147483647 126805 48 | 0.120 % |
58.91/58.98 c | 127764 | 899 132790 347818 | 2147483647 127763 48 | 0.120 % |
59.91/59.92 c | 128818 | 899 132790 347818 | 2147483647 128817 48 | 0.120 % |
60.91/60.94 c | 129979 | 899 132790 347818 | 2147483647 129978 48 | 0.120 % |
62.11/62.17 c | 131255 | 899 132790 347818 | 2147483647 131254 47 | 0.120 % |
63.51/63.55 c | 132656 | 899 132790 347818 | 2147483647 132655 47 | 0.120 % |
63.61/63.63 c | 132756 | 899 132790 347818 | 2147483647 132755 47 | 0.111 % |
63.71/63.76 c | 132874 | 899 132790 347818 | 2147483647 132873 47 | 0.120 % |
63.81/63.88 c | 132995 | 899 132790 347818 | 2147483647 132994 47 | 0.120 % |
64.01/64.02 c | 133129 | 899 132790 347818 | 2147483647 133128 47 | 0.120 % |
64.11/64.14 c | 133278 | 899 132790 347818 | 2147483647 133277 47 | 0.120 % |
64.21/64.29 c | 133438 | 899 132790 347818 | 2147483647 133437 47 | 0.120 % |
64.41/64.46 c | 133615 | 899 132790 347818 | 2147483647 133614 47 | 0.120 % |
64.61/64.63 c | 133808 | 899 132790 347818 | 2147483647 133807 47 | 0.120 % |
64.71/64.79 c | 134021 | 899 132790 347818 | 2147483647 134020 47 | 0.120 % |
64.91/64.98 c | 134256 | 899 132790 347818 | 2147483647 134255 47 | 0.111 % |
65.21/65.23 c | 134518 | 899 132790 347818 | 2147483647 134517 47 | 0.111 % |
65.41/65.48 c | 134799 | 899 132790 347818 | 2147483647 134798 47 | 0.111 % |
65.71/65.77 c | 135111 | 899 132790 347818 | 2147483647 135110 47 | 0.120 % |
66.01/66.07 c | 135450 | 899 132790 347818 | 2147483647 135449 47 | 0.120 % |
66.41/66.42 c | 135823 | 899 132790 347818 | 2147483647 135822 47 | 0.120 % |
66.71/66.75 c | 136232 | 899 132790 347818 | 2147483647 136231 47 | 0.120 % |
67.11/67.17 c | 136682 | 899 132790 347818 | 2147483647 136681 47 | 0.120 % |
67.61/67.66 c | 137175 | 899 132790 347818 | 2147483647 137174 47 | 0.120 % |
68.11/68.18 c | 137719 | 899 132790 347818 | 2147483647 137718 47 | 0.120 % |
68.61/68.71 c | 138316 | 899 132790 347818 | 2147483647 138315 47 | 0.120 % |
69.21/69.26 c | 138971 | 899 132790 347818 | 2147483647 138970 47 | 0.120 % |
69.91/69.91 c | 139693 | 899 132790 347818 | 2147483647 139692 47 | 0.120 % |
70.61/70.70 c | 140486 | 899 132790 347818 | 2147483647 140485 47 | 0.120 % |
71.31/71.36 c | 141358 | 899 132790 347818 | 2147483647 141357 47 | 0.120 % |
72.11/72.19 c | 142316 | 899 132790 347818 | 2147483647 142315 47 | 0.120 % |
73.21/73.29 c | 143369 | 899 132790 347818 | 2147483647 143368 47 | 0.120 % |
74.31/74.32 c | 144527 | 899 132790 347818 | 2147483647 144526 47 | 0.120 % |
75.31/75.38 c | 145808 | 899 132790 347818 | 2147483647 145807 48 | 0.111 % |
76.61/76.71 c | 147211 | 899 132790 347818 | 2147483647 147210 48 | 0.120 % |
78.11/78.14 c | 148753 | 899 132790 347818 | 2147483647 148752 48 | 0.120 % |
78.21/78.25 c | 148853 | 899 132790 347818 | 2147483647 148852 47 | 0.120 % |
78.31/78.36 c | 148963 | 899 132790 347818 | 2147483647 148962 47 | 0.120 % |
78.41/78.45 c | 149086 | 899 132790 347818 | 2147483647 149085 47 | 0.120 % |
78.51/78.56 c | 149220 | 899 132790 347818 | 2147483647 149219 48 | 0.111 % |
78.71/78.72 c | 149366 | 899 132790 347818 | 2147483647 149365 48 | 0.120 % |
78.81/78.85 c | 149527 | 899 132790 347818 | 2147483647 149526 48 | 0.111 % |
79.01/79.04 c | 149705 | 899 132790 347818 | 2147483647 149704 48 | 0.111 % |
79.21/79.23 c | 149899 | 899 132790 347818 | 2147483647 149898 48 | 0.120 % |
79.41/79.44 c | 150113 | 899 132790 347818 | 2147483647 150112 48 | 0.120 % |
79.61/79.65 c | 150352 | 899 132790 347818 | 2147483647 150351 48 | 0.120 % |
79.81/79.88 c | 150609 | 899 132790 347818 | 2147483647 150608 48 | 0.111 % |
80.11/80.15 c | 150892 | 899 132790 347818 | 2147483647 150891 48 | 0.120 % |
80.31/80.39 c | 151201 | 899 132790 347818 | 2147483647 151200 48 | 0.120 % |
80.61/80.70 c | 151540 | 899 132790 347818 | 2147483647 151539 48 | 0.120 % |
81.01/81.02 c | 151914 | 899 132790 347818 | 2147483647 151913 48 | 0.111 % |
81.31/81.38 c | 152324 | 899 132790 347818 | 2147483647 152323 48 | 0.120 % |
81.71/81.79 c | 152774 | 899 132790 347818 | 2147483647 152773 48 | 0.120 % |
82.21/82.31 c | 153270 | 899 132790 347818 | 2147483647 153269 48 | 0.120 % |
82.81/82.83 c | 153815 | 899 132790 347818 | 2147483647 153814 48 | 0.120 % |
83.31/83.38 c | 154411 | 899 132790 347818 | 2147483647 154410 48 | 0.120 % |
84.01/84.02 c | 155066 | 899 132790 347818 | 2147483647 155065 48 | 0.120 % |
84.61/84.64 c | 155786 | 899 132790 347818 | 2147483647 155785 48 | 0.111 % |
85.31/85.41 c | 156578 | 899 132790 347818 | 2147483647 156577 48 | 0.120 % |
86.11/86.13 c | 157452 | 899 132790 347818 | 2147483647 157451 48 | 0.111 % |
87.01/87.05 c | 158410 | 899 132790 347818 | 2147483647 158409 48 | 0.111 % |
88.01/88.08 c | 159465 | 899 132790 347818 | 2147483647 159464 48 | 0.120 % |
89.21/89.26 c | 160623 | 899 132790 347818 | 2147483647 160622 48 | 0.120 % |
90.41/90.48 c | 161896 | 899 132790 347818 | 2147483647 161895 48 | 0.120 % |
91.91/91.91 c | 163296 | 899 132790 347818 | 2147483647 163295 48 | 0.120 % |
93.41/93.51 c | 164836 | 899 132790 347818 | 2147483647 164835 48 | 0.120 % |
95.41/95.42 c | 166530 | 899 132790 347818 | 2147483647 166529 48 | 0.120 % |
95.51/95.56 c | 166633 | 899 132790 347818 | 2147483647 166632 48 | 0.111 % |
95.61/95.68 c | 166743 | 899 132790 347818 | 2147483647 166742 48 | 0.111 % |
95.81/95.82 c | 166864 | 899 132790 347818 | 2147483647 166863 48 | 0.111 % |
95.91/95.98 c | 166999 | 899 132790 347818 | 2147483647 166998 48 | 0.120 % |
96.11/96.13 c | 167146 | 899 132790 347818 | 2147483647 167145 48 | 0.120 % |
96.31/96.32 c | 167307 | 899 132790 347818 | 2147483647 167306 48 | 0.120 % |
96.51/96.53 c | 167488 | 899 132790 347818 | 2147483647 167487 48 | 0.120 % |
96.71/96.76 c | 167681 | 899 132790 347818 | 2147483647 167680 48 | 0.120 % |
97.01/97.03 c | 167894 | 899 132790 347818 | 2147483647 167893 48 | 0.120 % |
97.31/97.31 c | 168127 | 899 132790 347818 | 2147483647 168126 48 | 0.120 % |
97.51/97.57 c | 168385 | 899 132790 347818 | 2147483647 168384 48 | 0.120 % |
97.81/97.83 c | 168666 | 899 132790 347818 | 2147483647 168665 48 | 0.120 % |
98.11/98.18 c | 168975 | 899 132790 347818 | 2147483647 168974 48 | 0.120 % |
98.51/98.56 c | 169316 | 899 132790 347818 | 2147483647 169315 48 | 0.120 % |
98.91/98.94 c | 169689 | 899 132790 347818 | 2147483647 169688 48 | 0.120 % |
99.31/99.37 c | 170099 | 899 132790 347818 | 2147483647 170098 48 | 0.120 % |
99.71/99.79 c | 170548 | 899 132790 347818 | 2147483647 170547 48 | 0.111 % |
100.31/100.33 c | 171045 | 899 132790 347818 | 2147483647 171044 48 | 0.111 % |
100.81/100.84 c | 171587 | 899 132790 347818 | 2147483647 171586 48 | 0.111 % |
101.31/101.35 c | 172183 | 899 132790 347818 | 2147483647 172182 48 | 0.111 % |
102.01/102.08 c | 172840 | 899 132790 347818 | 2147483647 172839 48 | 0.120 % |
102.71/102.78 c | 173560 | 899 132790 347818 | 2147483647 173559 48 | 0.120 % |
103.61/103.67 c | 174353 | 899 132790 347818 | 2147483647 174352 49 | 0.111 % |
104.41/104.47 c | 175224 | 899 132790 347818 | 2147483647 175223 49 | 0.120 % |
105.51/105.52 c | 176185 | 899 132790 347818 | 2147483647 176184 49 | 0.111 % |
106.61/106.70 c | 177238 | 899 132790 347818 | 2147483647 177237 48 | 0.120 % |
107.81/107.88 c | 178397 | 899 132790 347818 | 2147483647 178396 49 | 0.120 % |
109.11/109.20 c | 179670 | 899 132790 347818 | 2147483647 179669 48 | 0.120 % |
110.71/110.79 c | 181070 | 899 132790 347818 | 179999 161821 49 | 0.120 % |
112.31/112.31 c | 182613 | 899 132790 347818 | 179999 163364 49 | 0.111 % |
114.41/114.43 c | 184307 | 899 132790 347818 | 179999 165058 49 | 0.120 % |
116.51/116.59 c | 186171 | 899 132790 347818 | 179999 166922 49 | 0.120 % |
116.61/116.70 c | 186278 | 899 132790 347818 | 179999 167029 49 | 0.120 % |
116.81/116.81 c | 186388 | 899 132790 347818 | 179999 167139 49 | 0.120 % |
116.91/116.95 c | 186510 | 899 132790 347818 | 179999 167261 49 | 0.120 % |
117.01/117.11 c | 186643 | 899 132790 347818 | 179999 167394 49 | 0.111 % |
117.21/117.29 c | 186792 | 899 132790 347818 | 179999 167543 49 | 0.111 % |
117.41/117.49 c | 186953 | 899 132790 347818 | 179999 167704 49 | 0.120 % |
117.71/117.72 c | 187132 | 899 132790 347818 | 179999 167883 49 | 0.111 % |
117.91/117.95 c | 187325 | 899 132790 347818 | 179999 168076 49 | 0.120 % |
118.21/118.21 c | 187537 | 899 132790 347818 | 179999 168288 49 | 0.120 % |
118.41/118.44 c | 187771 | 899 132790 347818 | 179999 168522 49 | 0.111 % |
118.71/118.77 c | 188028 | 899 132790 347818 | 179999 168779 49 | 0.120 % |
119.01/119.09 c | 188312 | 899 132790 347818 | 179999 169063 49 | 0.111 % |
119.41/119.46 c | 188621 | 899 132790 347818 | 179999 169372 49 | 0.120 % |
119.81/119.86 c | 188961 | 899 132790 347818 | 179999 169712 49 | 0.120 % |
120.21/120.26 c | 189333 | 899 132790 347818 | 179999 170084 49 | 0.120 % |
120.71/120.74 c | 189744 | 899 132790 347818 | 179999 170495 49 | 0.111 % |
121.21/121.22 c | 190195 | 899 132790 347818 | 170752 170946 49 | 0.120 % |
122.01/122.02 c | 190689 | 899 132790 347818 | 170752 150513 49 | 0.120 % |
122.51/122.57 c | 191231 | 899 132790 347818 | 170752 151055 49 | 0.120 % |
123.11/123.16 c | 191828 | 899 132790 347818 | 170752 151652 48 | 0.120 % |
123.81/123.87 c | 192483 | 899 132790 347818 | 170752 152307 48 | 0.120 % |
124.71/124.78 c | 193203 | 899 132790 347818 | 170752 153027 48 | 0.111 % |
125.52/125.56 c | 193997 | 899 132790 347818 | 170752 153821 48 | 0.120 % |
126.51/126.54 c | 194872 | 899 132790 347818 | 170752 154696 48 | 0.120 % |
127.41/127.44 c | 195830 | 899 132790 347818 | 170752 155654 48 | 0.120 % |
128.51/128.52 c | 196887 | 899 132790 347818 | 170752 156711 48 | 0.120 % |
129.81/129.86 c | 198050 | 899 132790 347818 | 170752 157874 48 | 0.120 % |
131.21/131.25 c | 199323 | 899 132790 347818 | 170752 159147 49 | 0.111 % |
132.81/132.83 c | 200723 | 899 132790 347818 | 159826 142233 49 | 0.120 % |
134.21/134.28 c | 202265 | 899 132790 347818 | 159826 143775 49 | 0.120 % |
136.01/136.02 c | 203964 | 899 132790 347818 | 159826 145474 48 | 0.120 % |
137.81/137.82 c | 205829 | 899 132790 347818 | 159826 147339 48 | 0.120 % |
139.91/139.95 c | 207884 | 899 132790 347818 | 159826 149394 48 | 0.120 % |
140.01/140.08 c | 207984 | 899 132790 347818 | 159826 149494 48 | 0.120 % |
140.21/140.21 c | 208095 | 899 132790 347818 | 159826 149605 48 | 0.120 % |
140.31/140.31 c | 208216 | 899 132790 347818 | 159826 149726 48 | 0.111 % |
140.41/140.46 c | 208349 | 899 132790 347818 | 159826 149859 48 | 0.111 % |
140.61/140.63 c | 208495 | 899 132790 347818 | 159826 150005 48 | 0.111 % |
140.81/140.86 c | 208656 | 899 132790 347818 | 159826 150166 48 | 0.111 % |
141.01/141.04 c | 208833 | 899 132790 347818 | 159826 150343 48 | 0.120 % |
141.21/141.23 c | 209026 | 899 132790 347818 | 159826 150536 48 | 0.120 % |
141.41/141.42 c | 209239 | 899 132790 347818 | 159826 150749 48 | 0.111 % |
141.61/141.65 c | 209472 | 899 132790 347818 | 159826 150982 48 | 0.111 % |
141.91/141.91 c | 209731 | 899 132790 347818 | 159826 151241 48 | 0.120 % |
142.11/142.18 c | 210015 | 899 132790 347818 | 151514 151525 48 | 0.120 % |
142.61/142.63 c | 210325 | 899 132790 347818 | 151514 135923 48 | 0.111 % |
142.91/142.96 c | 210664 | 899 132790 347818 | 151514 136262 48 | 0.111 % |
143.21/143.29 c | 211040 | 899 132790 347818 | 151514 136638 48 | 0.120 % |
143.61/143.65 c | 211449 | 899 132790 347818 | 151514 137047 48 | 0.111 % |
144.01/144.07 c | 211899 | 899 132790 347818 | 151514 137497 48 | 0.111 % |
144.51/144.54 c | 212394 | 899 132790 347818 | 151514 137992 48 | 0.120 % |
145.01/145.06 c | 212937 | 899 132790 347818 | 151514 138535 48 | 0.120 % |
145.61/145.64 c | 213536 | 899 132790 347818 | 151514 139134 48 | 0.120 % |
146.21/146.21 c | 214197 | 899 132790 347818 | 151514 139795 48 | 0.111 % |
146.91/146.95 c | 214918 | 899 132790 347818 | 151514 140516 48 | 0.120 % |
147.71/147.76 c | 215710 | 899 132790 347818 | 151514 141308 48 | 0.120 % |
148.51/148.60 c | 216583 | 899 132790 347818 | 151514 142181 48 | 0.111 % |
149.41/149.45 c | 217541 | 899 132790 347818 | 151514 143139 48 | 0.111 % |
150.41/150.49 c | 218595 | 899 132790 347818 | 151514 144193 49 | 0.111 % |
151.61/151.61 c | 219753 | 899 132790 347818 | 151514 145351 49 | 0.111 % |
152.90/152.93 c | 221030 | 899 132790 347818 | 2147483647 146628 49 | 0.120 % |
154.30/154.33 c | 222430 | 899 132790 347818 | 2147483647 148028 50 | 0.111 % |
155.90/155.98 c | 223970 | 899 132790 347818 | 2147483647 149568 50 | 0.120 % |
158.00/158.06 c | 225666 | 899 132790 347818 | 2147483647 151264 50 | 0.120 % |
159.90/159.97 c | 227530 | 899 132790 347818 | 2147483647 153128 50 | 0.120 % |
162.40/162.41 c | 229580 | 899 132790 347818 | 2147483647 155178 51 | 0.111 % |
165.20/165.24 c | 231833 | 899 132790 347818 | 155598 138464 52 | 0.111 % |
165.30/165.34 c | 231933 | 899 132790 347818 | 155598 138564 52 | 0.120 % |
165.40/165.47 c | 232046 | 899 132790 347818 | 155598 138677 52 | 0.120 % |
165.61/165.62 c | 232167 | 899 132790 347818 | 155598 138798 52 | 0.111 % |
165.71/165.75 c | 232302 | 899 132790 347818 | 155598 138933 52 | 0.120 % |
165.91/165.95 c | 232450 | 899 132790 347818 | 155598 139081 52 | 0.120 % |
166.11/166.17 c | 232611 | 899 132790 347818 | 155598 139242 52 | 0.120 % |
166.31/166.39 c | 232787 | 899 132790 347818 | 155598 139418 52 | 0.120 % |
166.61/166.64 c | 232980 | 899 132790 347818 | 155598 139611 52 | 0.120 % |
166.81/166.91 c | 233193 | 899 132790 347818 | 155598 139824 52 | 0.120 % |
167.11/167.16 c | 233426 | 899 132790 347818 | 155598 140057 52 | 0.120 % |
167.41/167.45 c | 233683 | 899 132790 347818 | 155598 140314 52 | 0.120 % |
167.71/167.72 c | 233964 | 899 132790 347818 | 155598 140595 52 | 0.120 % |
168.01/168.08 c | 234275 | 899 132790 347818 | 155598 140906 52 | 0.111 % |
168.41/168.48 c | 234614 | 899 132790 347818 | 155598 141245 52 | 0.120 % |
168.81/168.81 c | 234989 | 899 132790 347818 | 155598 141620 52 | 0.120 % |
169.21/169.24 c | 235401 | 899 132790 347818 | 155598 142032 52 | 0.120 % |
169.81/169.87 c | 235851 | 899 132790 347818 | 155598 142482 52 | 0.120 % |
170.41/170.43 c | 236348 | 899 132790 347818 | 155598 142979 52 | 0.120 % |
171.11/171.12 c | 236890 | 899 132790 347818 | 155598 143521 52 | 0.120 % |
171.71/171.80 c | 237486 | 899 132790 347818 | 155598 144117 52 | 0.120 % |
172.61/172.69 c | 238141 | 899 132790 347818 | 155598 144772 52 | 0.120 % |
173.41/173.46 c | 238861 | 899 132790 347818 | 155598 145492 52 | 0.120 % |
174.41/174.44 c | 239654 | 899 132790 347818 | 155598 146285 52 | 0.120 % |
175.91/175.92 c | 240531 | 899 132790 347818 | 146631 127928 52 | 0.120 % |
176.61/176.68 c | 241489 | 899 132790 347818 | 146631 128886 52 | 0.111 % |
177.71/177.72 c | 242544 | 899 132790 347818 | 146631 129941 52 | 0.111 % |
178.91/178.91 c | 243702 | 899 132790 347818 | 146631 131099 53 | 0.111 % |
180.41/180.45 c | 244975 | 899 132790 347818 | 146631 132372 52 | 0.120 % |
181.81/181.82 c | 246376 | 899 132790 347818 | 146631 133773 53 | 0.111 % |
183.21/183.22 c | 247916 | 899 132790 347818 | 146631 135313 53 | 0.111 % |
185.21/185.28 c | 249610 | 899 132790 347818 | 146631 137007 52 | 0.111 % |
187.61/187.65 c | 251474 | 899 132790 347818 | 137397 120376 53 | 0.121 % |
190.11/190.20 c | 253526 | 899 132790 347818 | 137397 122428 53 | 0.120 % |
192.61/192.70 c | 255779 | 899 132790 347818 | 137397 124681 54 | 0.111 % |
195.51/195.60 c | 258260 | 899 132790 347818 | 137397 127162 54 | 0.111 % |
195.71/195.74 c | 258362 | 899 132790 347818 | 137397 127264 54 | 0.120 % |
195.81/195.89 c | 258477 | 899 132790 347818 | 137397 127379 54 | 0.120 % |
196.01/196.05 c | 258599 | 899 132790 347818 | 137397 127501 54 | 0.120 % |
196.21/196.22 c | 258734 | 899 132790 347818 | 137397 127636 54 | 0.111 % |
196.31/196.40 c | 258880 | 899 132790 347818 | 137397 127782 54 | 0.120 % |
196.51/196.58 c | 259042 | 899 132790 347818 | 137397 127944 54 | 0.120 % |
196.71/196.75 c | 259219 | 899 132790 347818 | 137397 128121 54 | 0.111 % |
196.91/196.99 c | 259413 | 899 132790 347818 | 137397 128315 54 | 0.111 % |
197.21/197.23 c | 259626 | 899 132790 347818 | 137397 128528 54 | 0.120 % |
197.51/197.53 c | 259863 | 899 132790 347818 | 137397 128765 54 | 0.120 % |
197.81/197.86 c | 260120 | 899 132790 347818 | 128902 129022 54 | 0.120 % |
198.21/198.27 c | 260401 | 899 132790 347818 | 128902 111878 53 | 0.120 % |
198.61/198.67 c | 260714 | 899 132790 347818 | 128902 112191 53 | 0.120 % |
199.01/199.06 c | 261056 | 899 132790 347818 | 128902 112533 53 | 0.120 % |
199.41/199.41 c | 261428 | 899 132790 347818 | 128902 112905 54 | 0.111 % |
199.91/199.91 c | 261838 | 899 132790 347818 | 128902 113315 54 | 0.111 % |
200.31/200.34 c | 262287 | 899 132790 347818 | 128902 113764 53 | 0.120 % |
200.71/200.80 c | 262781 | 899 132790 347818 | 128902 114258 53 | 0.120 % |
201.31/201.39 c | 263324 | 899 132790 347818 | 128902 114801 53 | 0.120 % |
201.91/202.00 c | 263920 | 899 132790 347818 | 128902 115397 53 | 0.120 % |
202.71/202.74 c | 264575 | 899 132790 347818 | 128902 116052 53 | 0.120 % |
203.41/203.50 c | 265297 | 899 132790 347818 | 128902 116774 53 | 0.111 % |
204.31/204.34 c | 266090 | 899 132790 347818 | 128902 117567 53 | 0.120 % |
205.21/205.27 c | 266961 | 899 132790 347818 | 128902 118438 54 | 0.111 % |
206.31/206.39 c | 267919 | 899 132790 347818 | 128902 119396 54 | 0.111 % |
207.61/207.68 c | 268974 | 899 132790 347818 | 128902 120451 54 | 0.120 % |
209.01/209.07 c | 270132 | 899 132790 347818 | 121477 121609 54 | 0.120 % |
210.51/210.56 c | 271407 | 899 132790 347818 | 121477 108140 53 | 0.120 % |
212.21/212.26 c | 272807 | 899 132790 347818 | 121477 109540 53 | 0.121 % |
214.21/214.30 c | 274349 | 899 132790 347818 | 121477 111082 53 | 0.121 % |
216.71/216.79 c | 276044 | 899 132790 347818 | 121477 112777 53 | 0.121 % |
219.01/219.10 c | 277912 | 899 132790 347818 | 121477 114645 54 | 0.111 % |
221.71/221.72 c | 279961 | 899 132790 347818 | 121477 116694 54 | 0.120 % |
224.71/224.80 c | 282215 | 899 132790 347818 | 116735 102959 54 | 0.120 % |
228.01/228.02 c | 284695 | 899 132790 347818 | 116735 105439 54 | 0.120 % |
231.01/231.07 c | 287420 | 899 132790 347818 | 116735 108164 54 | 0.111 % |
231.11/231.18 c | 287520 | 899 132790 347818 | 116735 108264 54 | 0.120 % |
231.31/231.33 c | 287630 | 899 132790 347818 | 116735 108374 54 | 0.111 % |
231.41/231.46 c | 287751 | 899 132790 347818 | 116735 108495 54 | 0.120 % |
231.51/231.58 c | 287886 | 899 132790 347818 | 116735 108630 54 | 0.120 % |
231.71/231.73 c | 288033 | 899 132790 347818 | 116735 108777 54 | 0.120 % |
231.91/231.94 c | 288193 | 899 132790 347818 | 116735 108937 54 | 0.111 % |
232.21/232.23 c | 288370 | 899 132790 347818 | 116735 109114 54 | 0.111 % |
232.41/232.46 c | 288564 | 899 132790 347818 | 116735 109308 54 | 0.111 % |
232.61/232.68 c | 288777 | 899 132790 347818 | 116735 109521 54 | 0.111 % |
232.91/232.96 c | 289011 | 899 132790 347818 | 116735 109755 54 | 0.111 % |
233.11/233.18 c | 289267 | 899 132790 347818 | 116735 110011 54 | 0.111 % |
233.41/233.45 c | 289548 | 899 132790 347818 | 116735 110292 54 | 0.120 % |
233.71/233.77 c | 289859 | 899 132790 347818 | 116735 110603 54 | 0.111 % |
234.21/234.30 c | 290199 | 899 132790 347818 | 110744 96212 55 | 0.111 % |
234.71/234.72 c | 290576 | 899 132790 347818 | 110744 96589 55 | 0.111 % |
235.01/235.10 c | 290986 | 899 132790 347818 | 110744 96999 55 | 0.111 % |
235.52/235.54 c | 291436 | 899 132790 347818 | 110744 97449 55 | 0.120 % |
235.91/236.00 c | 291930 | 899 132790 347818 | 110744 97943 55 | 0.120 % |
236.51/236.56 c | 292473 | 899 132790 347818 | 110744 98486 55 | 0.111 % |
237.11/237.14 c | 293069 | 899 132790 347818 | 110744 99082 55 | 0.120 % |
237.91/237.91 c | 293724 | 899 132790 347818 | 110744 99737 55 | 0.111 % |
238.61/238.62 c | 294445 | 899 132790 347818 | 110744 100458 55 | 0.120 % |
239.41/239.45 c | 295237 | 899 132790 347818 | 110744 101250 55 | 0.120 % |
240.41/240.44 c | 296108 | 899 132790 347818 | 110744 102121 55 | 0.120 % |
241.41/241.46 c | 297068 | 899 132790 347818 | 110744 103081 55 | 0.120 % |
242.51/242.53 c | 298121 | 899 132790 347818 | 110744 104134 55 | 0.111 % |
243.61/243.69 c | 299283 | 899 132790 347818 | 110744 105296 55 | 0.120 % |
245.21/245.29 c | 300558 | 899 132790 347818 | 106013 95141 53 | 0.120 % |
246.61/246.67 c | 301959 | 899 132790 347818 | 106013 96542 53 | 0.111 % |
248.11/248.15 c | 303500 | 899 132790 347818 | 106013 98083 53 | 0.120 % |
249.51/249.57 c | 305195 | 899 132790 347818 | 106013 99778 55 | 0.111 % |
251.51/251.53 c | 307063 | 899 132790 347818 | 106013 101646 55 | 0.111 % |
253.41/253.44 c | 309112 | 899 132790 347818 | 106013 103695 56 | 0.111 % |
255.61/255.64 c | 311367 | 899 132790 347818 | 2147483647 105950 55 | 0.120 % |
258.51/258.51 c | 313845 | 899 132790 347818 | 2147483647 108428 55 | 0.120 % |
261.61/261.67 c | 316571 | 899 132790 347818 | 2147483647 111154 55 | 0.120 % |
264.81/264.90 c | 319568 | 899 132790 347818 | 2147483647 114151 57 | 0.111 % |
265.01/265.03 c | 319669 | 899 132790 347818 | 2147483647 114252 57 | 0.111 % |
265.11/265.16 c | 319779 | 899 132790 347818 | 2147483647 114362 57 | 0.120 % |
265.31/265.31 c | 319900 | 899 132790 347818 | 2147483647 114483 57 | 0.120 % |
265.41/265.49 c | 320034 | 899 132790 347818 | 114584 114617 57 | 0.120 % |
265.71/265.80 c | 320181 | 899 132790 347818 | 114584 100507 54 | 0.111 % |
266.01/266.00 c | 320341 | 899 132790 347818 | 114584 100667 54 | 0.111 % |
266.21/266.21 c | 320517 | 899 132790 347818 | 114584 100843 54 | 0.120 % |
266.41/266.42 c | 320714 | 899 132790 347818 | 114584 101040 54 | 0.111 % |
266.61/266.61 c | 320934 | 899 132790 347818 | 114584 101260 54 | 0.120 % |
266.81/266.84 c | 321170 | 899 132790 347818 | 114584 101496 54 | 0.120 % |
267.11/267.13 c | 321427 | 899 132790 347818 | 114584 101753 54 | 0.120 % |
267.42/267.45 c | 321712 | 899 132790 347818 | 114584 102038 54 | 0.120 % |
267.71/267.79 c | 322021 | 899 132790 347818 | 114584 102347 54 | 0.120 % |
268.11/268.17 c | 322364 | 899 132790 347818 | 114584 102690 54 | 0.111 % |
268.61/268.63 c | 322737 | 899 132790 347818 | 114584 103063 54 | 0.120 % |
269.11/269.12 c | 323149 | 899 132790 347818 | 114584 103475 54 | 0.120 % |
269.62/269.65 c | 323598 | 899 132790 347818 | 114584 103924 54 | 0.120 % |
270.21/270.22 c | 324094 | 899 132790 347818 | 114584 104420 54 | 0.111 % |
270.72/270.72 c | 324637 | 899 132790 347818 | 114584 104963 55 | 0.111 % |
271.31/271.37 c | 325237 | 899 132790 347818 | 114584 105563 55 | 0.120 % |
272.01/272.02 c | 325892 | 899 132790 347818 | 114584 106218 55 | 0.120 % |
272.71/272.75 c | 326616 | 899 132790 347818 | 114584 106942 55 | 0.111 % |
273.41/273.46 c | 327409 | 899 132790 347818 | 114584 107735 55 | 0.111 % |
274.31/274.35 c | 328280 | 899 132790 347818 | 114584 108606 55 | 0.120 % |
275.51/275.50 c | 329241 | 899 132790 347818 | 114584 109567 54 | 0.120 % |
276.51/276.59 c | 330294 | 899 132790 347818 | 110328 110620 54 | 0.120 % |
277.81/277.86 c | 331452 | 899 132790 347818 | 110328 98083 54 | 0.111 % |
279.22/279.24 c | 332725 | 899 132790 347818 | 110328 99356 54 | 0.121 % |
280.72/280.77 c | 334129 | 899 132790 347818 | 110328 100760 54 | 0.120 % |
282.42/282.46 c | 335672 | 899 132790 347818 | 110328 102303 54 | 0.120 % |
284.32/284.36 c | 337367 | 899 132790 347818 | 110328 103998 53 | 0.120 % |
286.62/286.67 c | 339232 | 899 132790 347818 | 110328 105863 53 | 0.111 % |
289.42/289.42 c | 341283 | 899 132790 347818 | 106634 95079 52 | 0.111 % |
291.92/291.95 c | 343543 | 899 132790 347818 | 106634 97339 52 | 0.120 % |
294.52/294.54 c | 346024 | 899 132790 347818 | 106634 99820 53 | 0.111 % |
297.42/297.49 c | 348749 | 899 132790 347818 | 106634 102545 55 | 0.111 % |
301.52/301.53 c | 351747 | 899 132790 347818 | 103797 92211 55 | 0.120 % |
305.22/305.25 c | 355044 | 899 132790 347818 | 103797 95508 55 | 0.120 % |
305.32/305.37 c | 355145 | 899 132790 347818 | 103797 95609 55 | 0.111 % |
305.52/305.52 c | 355255 | 899 132790 347818 | 103797 95719 55 | 0.120 % |
305.62/305.68 c | 355378 | 899 132790 347818 | 103797 95842 55 | 0.120 % |
305.82/305.83 c | 355512 | 899 132790 347818 | 103797 95976 55 | 0.120 % |
305.92/306.01 c | 355662 | 899 132790 347818 | 103797 96126 55 | 0.111 % |
306.22/306.23 c | 355822 | 899 132790 347818 | 103797 96286 55 | 0.120 % |
306.42/306.46 c | 355999 | 899 132790 347818 | 103797 96463 55 | 0.120 % |
306.62/306.68 c | 356192 | 899 132790 347818 | 103797 96656 55 | 0.120 % |
306.92/306.96 c | 356404 | 899 132790 347818 | 103797 96868 55 | 0.120 % |
307.12/307.20 c | 356637 | 899 132790 347818 | 103797 97101 55 | 0.120 % |
307.52/307.53 c | 356893 | 899 132790 347818 | 103797 97357 55 | 0.120 % |
307.82/307.89 c | 357176 | 899 132790 347818 | 103797 97640 54 | 0.120 % |
308.22/308.28 c | 357485 | 899 132790 347818 | 103797 97949 54 | 0.120 % |
308.62/308.62 c | 357826 | 899 132790 347818 | 103797 98290 54 | 0.120 % |
309.02/309.08 c | 358201 | 899 132790 347818 | 103797 98665 54 | 0.120 % |
309.52/309.58 c | 358613 | 899 132790 347818 | 103797 99077 54 | 0.120 % |
310.02/310.09 c | 359064 | 899 132790 347818 | 103797 99528 54 | 0.120 % |
310.62/310.68 c | 359558 | 899 132790 347818 | 103797 100022 54 | 0.111 % |
311.22/311.27 c | 360101 | 899 132790 347818 | 100469 100565 54 | 0.111 % |
311.92/311.97 c | 360697 | 899 132790 347818 | 100469 87631 55 | 0.111 % |
312.62/312.68 c | 361352 | 899 132790 347818 | 100469 88286 55 | 0.120 % |
313.52/313.53 c | 362072 | 899 132790 347818 | 100469 89006 55 | 0.120 % |
314.42/314.43 c | 362864 | 899 132790 347818 | 100469 89798 55 | 0.111 % |
315.42/315.41 c | 363736 | 899 132790 347818 | 100469 90670 55 | 0.111 % |
316.62/316.62 c | 364698 | 899 132790 347818 | 100469 91632 55 | 0.120 % |
317.72/317.79 c | 365754 | 899 132790 347818 | 100469 92688 55 | 0.120 % |
319.02/319.04 c | 366914 | 899 132790 347818 | 100469 93848 55 | 0.120 % |
320.32/320.33 c | 368187 | 899 132790 347818 | 100469 95121 55 | 0.120 % |
321.82/321.86 c | 369588 | 899 132790 347818 | 100469 96522 54 | 0.120 % |
323.52/323.51 c | 371130 | 899 132790 347818 | 96936 86417 55 | 0.111 % |
325.22/325.28 c | 372824 | 899 132790 347818 | 96936 88111 55 | 0.111 % |
327.32/327.32 c | 374687 | 899 132790 347818 | 96936 89974 54 | 0.111 % |
329.32/329.37 c | 376736 | 899 132790 347818 | 96936 92023 54 | 0.120 % |
331.92/331.96 c | 378991 | 899 132790 347818 | 96936 94278 54 | 0.120 % |
334.52/334.60 c | 381470 | 899 132790 347818 | 95288 85069 51 | 0.120 % |
337.22/337.26 c | 384198 | 899 132790 347818 | 95288 87797 51 | 0.120 % |
340.42/340.51 c | 387197 | 899 132790 347818 | 95288 90796 51 | 0.120 % |
344.32/344.35 c | 390497 | 899 132790 347818 | 93602 83184 47 | 0.120 % |
348.02/348.11 c | 394122 | 899 132790 347818 | 93602 86809 47 | 0.120 % |
348.22/348.23 c | 394222 | 899 132790 347818 | 93602 86909 47 | 0.120 % |
348.32/348.35 c | 394335 | 899 132790 347818 | 93602 87022 47 | 0.120 % |
348.42/348.49 c | 394457 | 899 132790 347818 | 93602 87144 47 | 0.120 % |
348.62/348.63 c | 394592 | 899 132790 347818 | 93602 87279 47 | 0.120 % |
348.72/348.79 c | 394739 | 899 132790 347818 | 93602 87426 47 | 0.111 % |
348.92/348.95 c | 394899 | 899 132790 347818 | 93602 87586 47 | 0.120 % |
349.12/349.17 c | 395077 | 899 132790 347818 | 93602 87764 47 | 0.120 % |
349.32/349.36 c | 395271 | 899 132790 347818 | 93602 87958 47 | 0.111 % |
349.52/349.54 c | 395485 | 899 132790 347818 | 93602 88172 47 | 0.111 % |
349.72/349.78 c | 395720 | 899 132790 347818 | 93602 88407 47 | 0.120 % |
350.02/350.05 c | 395978 | 899 132790 347818 | 93602 88665 47 | 0.120 % |
350.32/350.37 c | 396259 | 899 132790 347818 | 93602 88946 47 | 0.120 % |
350.62/350.69 c | 396571 | 899 132790 347818 | 93602 89258 47 | 0.120 % |
351.03/351.02 c | 396911 | 899 132790 347818 | 93602 89598 47 | 0.111 % |
351.32/351.36 c | 397288 | 899 132790 347818 | 93602 89975 47 | 0.120 % |
351.72/351.76 c | 397700 | 899 132790 347818 | 93602 90387 47 | 0.120 % |
352.13/352.18 c | 398149 | 899 132790 347818 | 93602 90836 47 | 0.120 % |
352.72/352.72 c | 398644 | 899 132790 347818 | 93602 91331 47 | 0.120 % |
353.23/353.28 c | 399188 | 899 132790 347818 | 93602 91875 47 | 0.120 % |
353.92/353.93 c | 399785 | 899 132790 347818 | 93602 92472 46 | 0.120 % |
354.72/354.75 c | 400442 | 899 132790 347818 | 92687 83511 46 | 0.120 % |
355.32/355.39 c | 401162 | 899 132790 347818 | 92687 84231 46 | 0.120 % |
356.12/356.16 c | 401955 | 899 132790 347818 | 92687 85024 46 | 0.120 % |
356.92/356.94 c | 402828 | 899 132790 347818 | 92687 85897 46 | 0.120 % |
357.92/357.91 c | 403790 | 899 132790 347818 | 92687 86859 46 | 0.120 % |
358.82/358.88 c | 404843 | 899 132790 347818 | 92687 87912 46 | 0.120 % |
360.02/360.09 c | 406004 | 899 132790 347818 | 92687 89073 46 | 0.120 % |
361.02/361.07 c | 407278 | 899 132790 347818 | 92687 90347 47 | 0.111 % |
362.52/362.54 c | 408678 | 899 132790 347818 | 92687 91747 47 | 0.120 % |
364.12/364.18 c | 410219 | 899 132790 347818 | 2147483647 93288 47 | 0.120 % |
366.02/366.01 c | 411915 | 899 132790 347818 | 2147483647 94984 48 | 0.120 % |
368.02/368.10 c | 413779 | 899 132790 347818 | 2147483647 96848 48 | 0.120 % |
370.42/370.42 c | 415830 | 899 132790 347818 | 2147483647 98899 47 | 0.120 % |
372.82/372.81 c | 418085 | 899 132790 347818 | 2147483647 101154 47 | 0.120 % |
375.32/375.41 c | 420563 | 899 132790 347818 | 103069 90813 47 | 0.111 % |
377.82/377.81 c | 423288 | 899 132790 347818 | 103069 93538 50 | 0.111 % |
381.02/381.05 c | 426286 | 899 132790 347818 | 103069 96536 51 | 0.111 % |
384.62/384.63 c | 429583 | 899 132790 347818 | 103069 99833 50 | 0.120 % |
388.82/388.81 c | 433208 | 899 132790 347818 | 100252 91241 52 | 0.111 % |
393.73/393.76 c | 437196 | 899 132790 347818 | 100252 95229 52 | 0.111 % |
393.83/393.88 c | 437296 | 899 132790 347818 | 100252 95329 52 | 0.120 % |
393.93/394.01 c | 437406 | 899 132790 347818 | 100252 95439 52 | 0.120 % |
394.13/394.15 c | 437528 | 899 132790 347818 | 100252 95561 52 | 0.120 % |
394.23/394.30 c | 437662 | 899 132790 347818 | 100252 95695 52 | 0.111 % |
394.43/394.50 c | 437817 | 899 132790 347818 | 100252 95850 52 | 0.120 % |
394.63/394.71 c | 437979 | 899 132790 347818 | 100252 96012 52 | 0.120 % |
394.93/394.93 c | 438156 | 899 132790 347818 | 100252 96189 52 | 0.120 % |
395.13/395.17 c | 438349 | 899 132790 347818 | 100252 96382 52 | 0.120 % |
395.43/395.48 c | 438564 | 899 132790 347818 | 100252 96597 52 | 0.120 % |
395.63/395.71 c | 438798 | 899 132790 347818 | 100252 96831 52 | 0.111 % |
395.93/395.95 c | 439055 | 899 132790 347818 | 100252 97088 52 | 0.111 % |
396.23/396.28 c | 439338 | 899 132790 347818 | 100252 97371 52 | 0.111 % |
396.73/396.73 c | 439649 | 899 132790 347818 | 100252 97682 52 | 0.111 % |
397.13/397.14 c | 439989 | 899 132790 347818 | 100252 98022 52 | 0.120 % |
397.63/397.66 c | 440362 | 899 132790 347818 | 98036 84838 52 | 0.120 % |
398.13/398.20 c | 440774 | 899 132790 347818 | 98036 85250 52 | 0.120 % |
398.73/398.72 c | 441224 | 899 132790 347818 | 98036 85700 52 | 0.120 % |
399.23/399.28 c | 441718 | 899 132790 347818 | 98036 86194 52 | 0.111 % |
399.83/399.90 c | 442260 | 899 132790 347818 | 98036 86736 52 | 0.120 % |
400.53/400.57 c | 442856 | 899 132790 347818 | 98036 87332 51 | 0.120 % |
401.23/401.25 c | 443512 | 899 132790 347818 | 98036 87988 51 | 0.120 % |
401.93/401.95 c | 444232 | 899 132790 347818 | 98036 88708 52 | 0.111 % |
402.83/402.85 c | 445024 | 899 132790 347818 | 98036 89500 52 | 0.120 % |
403.73/403.78 c | 445896 | 899 132790 347818 | 98036 90372 52 | 0.111 % |
404.83/404.86 c | 446855 | 899 132790 347818 | 98036 91331 52 | 0.111 % |
406.03/406.08 c | 447909 | 899 132790 347818 | 98036 92385 52 | 0.121 % |
407.53/407.53 c | 449067 | 899 132790 347818 | 98036 93543 52 | 0.121 % |
409.03/409.05 c | 450341 | 899 132790 347818 | 94477 94817 53 | 0.111 % |
410.73/410.81 c | 451745 | 899 132790 347818 | 94477 84627 54 | 0.120 % |
412.53/412.60 c | 453286 | 899 132790 347818 | 94477 86168 53 | 0.120 % |
414.53/414.54 c | 454980 | 899 132790 347818 | 94477 87862 53 | 0.120 % |
416.53/416.55 c | 456847 | 899 132790 347818 | 94477 89729 53 | 0.120 % |
419.23/419.29 c | 458899 | 899 132790 347818 | 94477 91781 53 | 0.119 % |
421.93/422.00 c | 461153 | 899 132790 347818 | 92882 80881 54 | 0.120 % |
425.03/425.11 c | 463632 | 899 132790 347818 | 92882 83360 54 | 0.111 % |
428.53/428.58 c | 466358 | 899 132790 347818 | 92882 86086 54 | 0.120 % |
432.43/432.43 c | 469356 | 899 132790 347818 | 92882 89084 54 | 0.120 % |
436.63/436.65 c | 472653 | 899 132790 347818 | 89728 77275 54 | 0.111 % |
440.93/440.93 c | 476282 | 899 132790 347818 | 89728 80904 53 | 0.120 % |
446.13/446.21 c | 480272 | 899 132790 347818 | 84622 84894 53 | 0.120 % |
450.93/451.01 c | 484662 | 899 132790 347818 | 84622 75427 47 | 0.120 % |
451.13/451.15 c | 484763 | 899 132790 347818 | 84622 75528 47 | 0.120 % |
451.23/451.28 c | 484878 | 899 132790 347818 | 84622 75643 47 | 0.120 % |
451.43/451.44 c | 484999 | 899 132790 347818 | 84622 75764 47 | 0.120 % |
451.63/451.66 c | 485135 | 899 132790 347818 | 84622 75900 47 | 0.120 % |
451.83/451.84 c | 485283 | 899 132790 347818 | 84622 76048 47 | 0.111 % |
452.03/452.01 c | 485443 | 899 132790 347818 | 84622 76208 47 | 0.120 % |
452.23/452.25 c | 485619 | 899 132790 347818 | 84622 76384 47 | 0.120 % |
452.43/452.49 c | 485814 | 899 132790 347818 | 84622 76579 47 | 0.120 % |
452.73/452.72 c | 486026 | 899 132790 347818 | 84622 76791 47 | 0.120 % |
452.93/452.97 c | 486260 | 899 132790 347818 | 84622 77025 47 | 0.111 % |
453.23/453.25 c | 486518 | 899 132790 347818 | 84622 77283 47 | 0.111 % |
453.53/453.55 c | 486804 | 899 132790 347818 | 84622 77569 47 | 0.111 % |
453.83/453.87 c | 487115 | 899 132790 347818 | 84622 77880 47 | 0.120 % |
454.23/454.27 c | 487454 | 899 132790 347818 | 84622 78219 47 | 0.120 % |
454.63/454.69 c | 487833 | 899 132790 347818 | 84622 78598 47 | 0.120 % |
455.13/455.13 c | 488246 | 899 132790 347818 | 84622 79011 47 | 0.120 % |
455.53/455.58 c | 488697 | 899 132790 347818 | 84622 79462 47 | 0.120 % |
456.03/456.07 c | 489190 | 899 132790 347818 | 84622 79955 47 | 0.120 % |
456.64/456.66 c | 489732 | 899 132790 347818 | 84622 80497 47 | 0.120 % |
457.33/457.34 c | 490328 | 899 132790 347818 | 80766 70767 43 | 0.120 % |
457.93/457.99 c | 490983 | 899 132790 347818 | 80766 71422 43 | 0.120 % |
458.63/458.68 c | 491703 | 899 132790 347818 | 80766 72142 43 | 0.120 % |
459.53/459.61 c | 492496 | 899 132790 347818 | 80766 72935 43 | 0.120 % |
460.33/460.34 c | 493371 | 899 132790 347818 | 80766 73810 43 | 0.120 % |
461.33/461.34 c | 494329 | 899 132790 347818 | 80766 74768 44 | 0.120 % |
462.33/462.32 c | 495383 | 899 132790 347818 | 80766 75822 44 | 0.111 % |
463.43/463.43 c | 496544 | 899 132790 347818 | 80766 76983 44 | 0.120 % |
464.53/464.57 c | 497820 | 899 132790 347818 | 80766 78259 45 | 0.111 % |
465.93/466.00 c | 499224 | 899 132790 347818 | 80766 79663 45 | 0.111 % |
467.64/467.69 c | 500767 | 899 132790 347818 | 2147483647 81206 45 | 0.120 % |
469.33/469.38 c | 502463 | 899 132790 347818 | 2147483647 82902 45 | 0.120 % |
471.43/471.49 c | 504329 | 899 132790 347818 | 2147483647 84768 45 | 0.120 % |
473.83/473.89 c | 506379 | 899 132790 347818 | 2147483647 86818 45 | 0.120 % |
476.63/476.67 c | 508633 | 899 132790 347818 | 2147483647 89072 46 | 0.120 % |
480.13/480.13 c | 511114 | 899 132790 347818 | 90441 81541 44 | 0.120 % |
482.63/482.62 c | 513839 | 899 132790 347818 | 90441 84266 45 | 0.120 % |
485.93/485.93 c | 516837 | 899 132790 347818 | 90441 87264 45 | 0.120 % |
489.83/489.89 c | 520135 | 899 132790 347818 | 90427 90562 44 | 0.120 % |
493.33/493.33 c | 523763 | 899 132790 347818 | 90427 82424 43 | 0.120 % |
496.73/496.77 c | 527755 | 899 132790 347818 | 90427 86416 44 | 0.120 % |
501.13/501.13 c | 532140 | 899 132790 347818 | 88665 81242 44 | 0.120 % |
506.54/506.55 c | 536965 | 899 132790 347818 | 88665 86067 44 | 0.120 % |
506.64/506.68 c | 537065 | 899 132790 347818 | 88665 86167 44 | 0.120 % |
506.74/506.80 c | 537175 | 899 132790 347818 | 88665 86277 44 | 0.111 % |
506.94/506.96 c | 537299 | 899 132790 347818 | 88665 86401 44 | 0.111 % |
507.04/507.11 c | 537432 | 899 132790 347818 | 88665 86534 44 | 0.111 % |
507.24/507.28 c | 537579 | 899 132790 347818 | 88665 86681 44 | 0.120 % |
507.44/507.42 c | 537739 | 899 132790 347818 | 88665 86841 44 | 0.111 % |
507.54/507.58 c | 537916 | 899 132790 347818 | 88665 87018 44 | 0.111 % |
507.74/507.82 c | 538110 | 899 132790 347818 | 88665 87212 44 | 0.120 % |
507.94/508.02 c | 538324 | 899 132790 347818 | 88665 87426 44 | 0.120 % |
508.24/508.23 c | 538561 | 899 132790 347818 | 88665 87663 44 | 0.120 % |
508.44/508.46 c | 538818 | 899 132790 347818 | 88665 87920 44 | 0.111 % |
508.64/508.71 c | 539099 | 899 132790 347818 | 88665 88201 45 | 0.120 % |
508.94/508.98 c | 539410 | 899 132790 347818 | 88665 88512 45 | 0.111 % |
509.34/509.41 c | 539749 | 899 132790 347818 | 88665 78071 45 | 0.111 % |
509.74/509.77 c | 540122 | 899 132790 347818 | 78322 78444 45 | 0.120 % |
510.23/510.25 c | 540534 | 899 132790 347818 | 78322 69540 44 | 0.120 % |
510.63/510.63 c | 540983 | 899 132790 347818 | 78322 69989 45 | 0.111 % |
511.03/511.06 c | 541477 | 899 132790 347818 | 78322 70483 45 | 0.111 % |
511.43/511.50 c | 542019 | 899 132790 347818 | 78322 71025 45 | 0.120 % |
511.93/511.99 c | 542615 | 899 132790 347818 | 78322 71621 46 | 0.111 % |
512.63/512.61 c | 543272 | 899 132790 347818 | 78322 72278 46 | 0.120 % |
513.23/513.23 c | 543992 | 899 132790 347818 | 78322 72998 46 | 0.111 % |
514.03/514.04 c | 544785 | 899 132790 347818 | 78322 73791 46 | 0.120 % |
514.83/514.86 c | 545660 | 899 132790 347818 | 78322 74666 46 | 0.120 % |
515.83/515.83 c | 546618 | 899 132790 347818 | 78322 75624 46 | 0.120 % |
516.83/516.86 c | 547672 | 899 132790 347818 | 78322 76678 46 | 0.120 % |
518.03/518.05 c | 548830 | 899 132790 347818 | 78322 77836 45 | 0.120 % |
519.13/519.17 c | 550103 | 899 132790 347818 | 2147483647 71253 44 | 0.120 % |
520.43/520.45 c | 551503 | 899 132790 347818 | 2147483647 72653 44 | 0.120 % |
521.73/521.73 c | 553045 | 899 132790 347818 | 2147483647 74195 46 | 0.111 % |
523.43/523.49 c | 554739 | 899 132790 347818 | 2147483647 75889 47 | 0.111 % |
525.23/525.27 c | 556605 | 899 132790 347818 | 2147483647 77755 48 | 0.111 % |
527.23/527.24 c | 558654 | 899 132790 347818 | 2147483647 79804 48 | 0.120 % |
529.53/529.53 c | 560907 | 899 132790 347818 | 2147483647 82057 47 | 0.120 % |
532.13/532.16 c | 563386 | 899 132790 347818 | 2147483647 84536 47 | 0.121 % |
535.03/535.07 c | 566113 | 899 132790 347818 | 2147483647 87263 47 | 0.111 % |
537.73/537.79 c | 569110 | 899 132790 347818 | 2147483647 90260 47 | 0.120 % |
541.63/541.64 c | 572407 | 899 132790 347818 | 91151 82742 47 | 0.120 % |
545.93/546.00 c | 576033 | 899 132790 347818 | 91151 86368 47 | 0.120 % |
549.83/549.89 c | 580022 | 899 132790 347818 | 90335 90357 49 | 0.111 % |
554.73/554.77 c | 584408 | 899 132790 347818 | 90335 83652 53 | 0.111 % |
559.83/559.87 c | 589233 | 899 132790 347818 | 90335 88477 53 | 0.111 % |
566.83/566.87 c | 594539 | 899 132790 347818 | 89247 82613 52 | 0.120 % |
566.93/567.00 c | 594639 | 899 132790 347818 | 89247 82713 52 | 0.111 % |
567.13/567.16 c | 594752 | 899 132790 347818 | 89247 82826 52 | 0.120 % |
567.23/567.27 c | 594873 | 899 132790 347818 | 89247 82947 52 | 0.120 % |
567.43/567.42 c | 595008 | 899 132790 347818 | 89247 83082 52 | 0.120 % |
567.53/567.57 c | 595155 | 899 132790 347818 | 89247 83229 52 | 0.111 % |
567.73/567.76 c | 595315 | 899 132790 347818 | 89247 83389 52 | 0.120 % |
567.93/567.98 c | 595492 | 899 132790 347818 | 89247 83566 52 | 0.120 % |
568.23/568.22 c | 595685 | 899 132790 347818 | 89247 83759 52 | 0.120 % |
568.43/568.45 c | 595898 | 899 132790 347818 | 89247 83972 52 | 0.120 % |
568.63/568.68 c | 596132 | 899 132790 347818 | 89247 84206 52 | 0.120 % |
568.93/568.97 c | 596388 | 899 132790 347818 | 89247 84462 52 | 0.120 % |
569.33/569.33 c | 596671 | 899 132790 347818 | 89247 84745 52 | 0.120 % |
569.73/569.72 c | 596981 | 899 132790 347818 | 89247 85055 51 | 0.120 % |
570.03/570.04 c | 597320 | 899 132790 347818 | 89247 85394 51 | 0.120 % |
570.53/570.54 c | 597692 | 899 132790 347818 | 89247 85766 51 | 0.111 % |
571.03/571.04 c | 598103 | 899 132790 347818 | 89247 86177 51 | 0.120 % |
571.63/571.64 c | 598554 | 899 132790 347818 | 89247 86628 51 | 0.120 % |
572.14/572.17 c | 599048 | 899 132790 347818 | 89247 87122 52 | 0.111 % |
572.73/572.80 c | 599594 | 899 132790 347818 | 89247 87668 52 | 0.111 % |
573.43/573.42 c | 600190 | 899 132790 347818 | 88074 88264 52 | 0.111 % |
574.23/574.22 c | 600847 | 899 132790 347818 | 88074 77315 51 | 0.120 % |
575.03/575.02 c | 601572 | 899 132790 347818 | 88074 78040 51 | 0.120 % |
575.73/575.75 c | 602366 | 899 132790 347818 | 88074 78834 52 | 0.111 % |
576.63/576.68 c | 603238 | 899 132790 347818 | 88074 79706 53 | 0.111 % |
577.83/577.82 c | 604197 | 899 132790 347818 | 88074 80665 53 | 0.120 % |
579.13/579.16 c | 605255 | 899 132790 347818 | 88074 81723 53 | 0.120 % |
580.73/580.77 c | 606413 | 899 132790 347818 | 88074 82881 52 | 0.120 % |
582.43/582.41 c | 607687 | 899 132790 347818 | 88074 84155 52 | 0.120 % |
584.13/584.12 c | 609087 | 899 132790 347818 | 88074 85555 52 | 0.120 % |
585.83/585.85 c | 610630 | 899 132790 347818 | 86468 75123 52 | 0.111 % |
587.73/587.71 c | 612325 | 899 132790 347818 | 86468 76818 52 | 0.111 % |
589.74/589.73 c | 614190 | 899 132790 347818 | 86468 78683 52 | 0.120 % |
592.03/592.10 c | 616240 | 899 132790 347818 | 86468 80733 52 | 0.120 % |
594.73/594.77 c | 618495 | 899 132790 347818 | 86468 82988 51 | 0.120 % |
597.44/597.49 c | 620974 | 899 132790 347818 | 84493 74125 52 | 0.120 % |
600.23/600.22 c | 623699 | 899 132790 347818 | 84493 76850 52 | 0.120 % |
603.33/603.37 c | 626699 | 899 132790 347818 | 84493 79850 52 | 0.111 % |
606.83/606.87 c | 629996 | 899 132790 347818 | 84493 83147 52 | 0.120 % |
610.53/610.59 c | 633621 | 899 132790 347818 | 83151 75160 52 | 0.120 % |
615.23/615.28 c | 637608 | 899 132790 347818 | 83151 79147 52 | 0.120 % |
620.24/620.29 c | 641993 | 899 132790 347818 | 81542 72025 47 | 0.120 % |
625.74/625.81 c | 646816 | 899 132790 347818 | 81542 76848 47 | 0.111 % |
631.94/632.00 c | 652122 | 899 132790 347818 | 80036 69977 46 | 0.120 % |
638.74/638.76 c | 657960 | 899 132790 347818 | 80036 75815 46 | 0.120 % |
638.84/638.91 c | 658060 | 899 132790 347818 | 80036 75915 46 | 0.120 % |
639.04/639.05 c | 658170 | 899 132790 347818 | 80036 76025 46 | 0.111 % |
639.14/639.18 c | 658294 | 899 132790 347818 | 80036 76149 46 | 0.120 % |
639.24/639.30 c | 658427 | 899 132790 347818 | 80036 76282 46 | 0.120 % |
639.44/639.51 c | 658573 | 899 132790 347818 | 80036 76428 46 | 0.120 % |
639.64/639.71 c | 658734 | 899 132790 347818 | 80036 76589 46 | 0.111 % |
639.84/639.87 c | 658910 | 899 132790 347818 | 80036 76765 46 | 0.120 % |
640.04/640.10 c | 659105 | 899 132790 347818 | 80036 76960 46 | 0.120 % |
640.34/640.32 c | 659321 | 899 132790 347818 | 80036 77176 46 | 0.120 % |
640.54/640.57 c | 659556 | 899 132790 347818 | 80036 77411 46 | 0.120 % |
640.84/640.83 c | 659812 | 899 132790 347818 | 80036 77667 46 | 0.111 % |
641.04/641.09 c | 660094 | 899 132790 347818 | 77855 77949 46 | 0.120 % |
641.44/641.41 c | 660404 | 899 132790 347818 | 77855 67568 43 | 0.111 % |
641.74/641.75 c | 660746 | 899 132790 347818 | 77855 67910 43 | 0.120 % |
642.04/642.09 c | 661120 | 899 132790 347818 | 77855 68284 43 | 0.111 % |
642.44/642.49 c | 661531 | 899 132790 347818 | 77855 68695 43 | 0.120 % |
642.84/642.85 c | 661980 | 899 132790 347818 | 77855 69144 43 | 0.111 % |
643.24/643.25 c | 662473 | 899 132790 347818 | 77855 69637 43 | 0.111 % |
643.74/643.76 c | 663018 | 899 132790 347818 | 77855 70182 43 | 0.120 % |
644.24/644.30 c | 663616 | 899 132790 347818 | 77855 70780 44 | 0.111 % |
644.74/644.79 c | 664271 | 899 132790 347818 | 77855 71435 44 | 0.111 % |
645.44/645.49 c | 664991 | 899 132790 347818 | 77855 72155 44 | 0.120 % |
646.14/646.21 c | 665785 | 899 132790 347818 | 77855 72949 44 | 0.120 % |
647.04/647.07 c | 666656 | 899 132790 347818 | 77855 73820 44 | 0.120 % |
648.04/648.04 c | 667617 | 899 132790 347818 | 77855 74781 44 | 0.120 % |
649.04/649.05 c | 668671 | 899 132790 347818 | 77855 75835 44 | 0.120 % |
650.24/650.29 c | 669829 | 899 132790 347818 | 77855 76993 44 | 0.120 % |
651.64/651.62 c | 671104 | 899 132790 347818 | 2147483647 78268 44 | 0.120 % |
653.04/653.05 c | 672504 | 899 132790 347818 | 2147483647 79668 44 | 0.120 % |
654.24/654.29 c | 674044 | 899 132790 347818 | 2147483647 81208 46 | 0.111 % |
656.04/656.09 c | 675738 | 899 132790 347818 | 2147483647 82902 47 | 0.111 % |
657.84/657.82 c | 677601 | 899 132790 347818 | 2147483647 84765 47 | 0.111 % |
660.24/660.28 c | 679651 | 899 132790 347818 | 2147483647 86815 47 | 0.120 % |
662.84/662.87 c | 681904 | 899 132790 347818 | 2147483647 89068 47 | 0.120 % |
666.04/666.04 c | 684384 | 899 132790 347818 | 2147483647 91548 47 | 0.120 % |
668.74/668.77 c | 687110 | 899 132790 347818 | 2147483647 94274 47 | 0.120 % |
671.94/672.01 c | 690108 | 899 132790 347818 | 97164 97272 47 | 0.120 % |
675.74/675.80 c | 693404 | 899 132790 347818 | 97164 89550 47 | 0.120 % |
680.64/680.70 c | 697030 | 899 132790 347818 | 97164 93176 47 | 0.120 % |
685.04/685.06 c | 701022 | 899 132790 347818 | 96152 83898 48 | 0.111 % |
690.24/690.24 c | 705408 | 899 132790 347818 | 96152 88284 50 | 0.111 % |
695.64/695.70 c | 710231 | 899 132790 347818 | 92876 93107 51 | 0.111 % |
701.74/701.76 c | 715536 | 899 132790 347818 | 92876 84515 51 | 0.120 % |
708.64/708.68 c | 721372 | 899 132790 347818 | 88979 76157 55 | 0.111 % |
716.64/716.67 c | 727790 | 899 132790 347818 | 88979 82575 55 | 0.111 % |
716.74/716.79 c | 727891 | 899 132790 347818 | 88979 82676 55 | 0.120 % |
716.94/716.94 c | 728001 | 899 132790 347818 | 88979 82786 55 | 0.121 % |
717.14/717.12 c | 728125 | 899 132790 347818 | 88979 82910 55 | 0.111 % |
717.24/717.26 c | 728259 | 899 132790 347818 | 88979 83044 55 | 0.120 % |
717.44/717.42 c | 728406 | 899 132790 347818 | 88979 83191 55 | 0.120 % |
717.64/717.61 c | 728566 | 899 132790 347818 | 88979 83351 55 | 0.120 % |
717.74/717.81 c | 728743 | 899 132790 347818 | 88979 83528 55 | 0.111 % |
718.04/718.07 c | 728938 | 899 132790 347818 | 88979 83723 55 | 0.120 % |
718.34/718.33 c | 729150 | 899 132790 347818 | 88979 83935 55 | 0.120 % |
718.64/718.66 c | 729391 | 899 132790 347818 | 88979 84176 55 | 0.120 % |
719.04/719.03 c | 729648 | 899 132790 347818 | 88979 84433 55 | 0.120 % |
719.44/719.43 c | 729933 | 899 132790 347818 | 88979 84718 55 | 0.121 % |
719.84/719.86 c | 730248 | 899 132790 347818 | 84788 85033 55 | 0.121 % |
720.34/720.38 c | 730587 | 899 132790 347818 | 84788 72013 53 | 0.120 % |
720.74/720.78 c | 730960 | 899 132790 347818 | 84788 72386 53 | 0.111 % |
721.24/721.22 c | 731369 | 899 132790 347818 | 84788 72795 53 | 0.120 % |
721.64/721.67 c | 731821 | 899 132790 347818 | 84788 73247 53 | 0.120 % |
722.24/722.30 c | 732315 | 899 132790 347818 | 84788 73741 53 | 0.120 % |
722.94/722.92 c | 732857 | 899 132790 347818 | 84788 74283 53 | 0.120 % |
723.54/723.53 c | 733457 | 899 132790 347818 | 84788 74883 53 | 0.111 % |
724.24/724.28 c | 734114 | 899 132790 347818 | 84788 75540 52 | 0.120 % |
725.05/725.07 c | 734835 | 899 132790 347818 | 84788 76261 52 | 0.120 % |
725.94/726.01 c | 735631 | 899 132790 347818 | 84788 77057 52 | 0.120 % |
726.94/726.92 c | 736502 | 899 132790 347818 | 84788 77928 52 | 0.120 % |
728.04/728.02 c | 737460 | 899 132790 347818 | 84788 78886 53 | 0.111 % |
729.24/729.29 c | 738513 | 899 132790 347818 | 84788 79939 53 | 0.120 % |
730.55/730.54 c | 739672 | 899 132790 347818 | 84788 81098 53 | 0.111 % |
732.25/732.23 c | 740947 | 899 132790 347818 | 81426 70632 54 | 0.111 % |
733.85/733.86 c | 742350 | 899 132790 347818 | 81426 72035 54 | 0.120 % |
735.75/735.73 c | 743895 | 899 132790 347818 | 81426 73580 54 | 0.120 % |
737.75/737.73 c | 745589 | 899 132790 347818 | 81426 75274 53 | 0.120 % |
739.65/739.67 c | 747453 | 899 132790 347818 | 81426 77138 55 | 0.111 % |
741.95/742.01 c | 749502 | 899 132790 347818 | 81426 79187 55 | 0.111 % |
744.35/744.41 c | 751758 | 899 132790 347818 | 79685 70700 55 | 0.111 % |
747.25/747.27 c | 754236 | 899 132790 347818 | 79685 73178 55 | 0.111 % |
750.55/750.53 c | 756961 | 899 132790 347818 | 79685 75903 54 | 0.120 % |
754.05/754.09 c | 759959 | 899 132790 347818 | 79685 78901 54 | 0.120 % |
757.55/757.59 c | 763255 | 899 132790 347818 | 78944 70891 52 | 0.120 % |
761.65/761.64 c | 766881 | 899 132790 347818 | 78944 74517 51 | 0.111 % |
766.85/766.85 c | 770869 | 899 132790 347818 | 77638 66888 46 | 0.120 % |
771.95/771.94 c | 775256 | 899 132790 347818 | 77638 71275 46 | 0.111 % |
777.85/777.88 c | 780084 | 899 132790 347818 | 76019 76103 46 | 0.120 % |
783.25/783.31 c | 785389 | 899 132790 347818 | 76019 71143 51 | 0.111 % |
790.45/790.46 c | 791226 | 899 132790 347818 | 75756 66766 50 | 0.120 % |
798.15/798.16 c | 797645 | 899 132790 347818 | 75756 73185 49 | 0.120 % |
805.65/805.66 c | 804706 | 899 132790 347818 | 75540 69397 44 | 0.120 % |
805.75/805.76 c | 804807 | 899 132790 347818 | 75540 69498 44 | 0.120 % |
805.85/805.89 c | 804917 | 899 132790 347818 | 75540 69608 44 | 0.120 % |
806.05/806.06 c | 805041 | 899 132790 347818 | 75540 69732 44 | 0.120 % |
806.25/806.23 c | 805175 | 899 132790 347818 | 75540 69866 44 | 0.111 % |
806.35/806.42 c | 805323 | 899 132790 347818 | 75540 70014 44 | 0.111 % |
806.55/806.61 c | 805486 | 899 132790 347818 | 75540 70177 44 | 0.121 % |
806.85/806.82 c | 805662 | 899 132790 347818 | 75540 70353 44 | 0.120 % |
806.95/806.99 c | 805855 | 899 132790 347818 | 75540 70546 44 | 0.121 % |
807.25/807.29 c | 806070 | 899 132790 347818 | 75540 70761 44 | 0.120 % |
807.56/807.57 c | 806303 | 899 132790 347818 | 75540 70994 44 | 0.111 % |
807.85/807.85 c | 806561 | 899 132790 347818 | 75540 71252 45 | 0.120 % |
808.15/808.12 c | 806842 | 899 132790 347818 | 75540 71533 45 | 0.111 % |
808.35/808.40 c | 807153 | 899 132790 347818 | 75540 71844 45 | 0.111 % |
808.75/808.78 c | 807492 | 899 132790 347818 | 75540 72183 45 | 0.111 % |
809.25/809.24 c | 807864 | 899 132790 347818 | 75540 72555 45 | 0.120 % |
809.65/809.68 c | 808274 | 899 132790 347818 | 75540 72965 45 | 0.120 % |
810.15/810.17 c | 808723 | 899 132790 347818 | 75540 73414 45 | 0.120 % |
810.75/810.80 c | 809217 | 899 132790 347818 | 75540 73908 45 | 0.120 % |
811.45/811.49 c | 809759 | 899 132790 347818 | 75540 74450 45 | 0.120 % |
812.25/812.25 c | 810356 | 899 132790 347818 | 74691 75047 45 | 0.120 % |
813.06/813.03 c | 811011 | 899 132790 347818 | 74691 66745 45 | 0.120 % |
813.65/813.71 c | 811732 | 899 132790 347818 | 74691 67466 46 | 0.111 % |
814.65/814.62 c | 812524 | 899 132790 347818 | 74691 68258 46 | 0.120 % |
815.35/815.37 c | 813396 | 899 132790 347818 | 74691 69130 47 | 0.111 % |
816.25/816.27 c | 814357 | 899 132790 347818 | 74691 70091 48 | 0.111 % |
817.35/817.35 c | 815410 | 899 132790 347818 | 74691 71144 48 | 0.111 % |
818.45/818.49 c | 816568 | 899 132790 347818 | 74691 72302 47 | 0.120 % |
819.85/819.88 c | 817841 | 899 132790 347818 | 74691 73575 49 | 0.111 % |
821.35/821.33 c | 819243 | 899 132790 347818 | 74691 74977 49 | 0.121 % |
823.25/823.25 c | 820786 | 899 132790 347818 | 68242 61912 50 | 0.120 % |
825.16/825.13 c | 822482 | 899 132790 347818 | 68242 63608 50 | 0.121 % |
827.15/827.19 c | 824347 | 899 132790 347818 | 68242 65473 50 | 0.120 % |
829.45/829.46 c | 826401 | 899 132790 347818 | 68242 67527 50 | 0.120 % |
832.05/832.05 c | 828658 | 899 132790 347818 | 68242 61934 45 | 0.120 % |
834.75/834.81 c | 831137 | 899 132790 347818 | 63279 57257 46 | 0.111 % |
838.15/838.20 c | 833862 | 899 132790 347818 | 63279 59982 46 | 0.120 % |
842.06/842.03 c | 836859 | 899 132790 347818 | 63279 62979 46 | 0.111 % |
846.26/846.29 c | 840156 | 899 132790 347818 | 58152 58308 45 | 0.120 % |
850.26/850.26 c | 843783 | 899 132790 347818 | 58152 54379 44 | 0.120 % |
854.35/854.39 c | 847770 | 899 132790 347818 | 58152 58366 44 | 0.120 % |
858.85/858.90 c | 852157 | 899 132790 347818 | 53965 49914 40 | 0.120 % |
863.05/863.04 c | 856982 | 899 132790 347818 | 53965 49296 40 | 0.120 % |
867.25/867.24 c | 862287 | 899 132790 347818 | 2147483647 54601 42 | 0.120 % |
872.84/872.81 c | 868122 | 899 132790 347818 | 2147483647 60436 43 | 0.120 % |
880.14/880.18 c | 874540 | 899 132790 347818 | 2147483647 66854 43 | 0.120 % |
886.04/886.07 c | 881604 | 899 132790 347818 | 2147483647 73918 52 | 0.111 % |
892.84/892.89 c | 889368 | 899 132790 347818 | 2147483647 81682 54 | 0.111 % |
892.94/892.97 c | 889468 | 899 132790 347818 | 2147483647 81782 54 | 0.120 % |
893.04/893.08 c | 889580 | 899 132790 347818 | 2147483647 81894 54 | 0.120 % |
893.14/893.19 c | 889702 | 899 132790 347818 | 2147483647 82016 54 | 0.111 % |
893.34/893.32 c | 889837 | 899 132790 347818 | 2147483647 82151 54 | 0.120 % |
893.44/893.49 c | 889988 | 899 132790 347818 | 2147483647 82302 54 | 0.111 % |
893.64/893.68 c | 890149 | 899 132790 347818 | 2147483647 82463 54 | 0.120 % |
893.84/893.88 c | 890325 | 899 132790 347818 | 2147483647 82639 54 | 0.120 % |
894.04/894.09 c | 890518 | 899 132790 347818 | 2147483647 82832 54 | 0.120 % |
894.24/894.26 c | 890730 | 899 132790 347818 | 2147483647 83044 54 | 0.111 % |
894.54/894.50 c | 890968 | 899 132790 347818 | 2147483647 83282 54 | 0.120 % |
894.74/894.75 c | 891226 | 899 132790 347818 | 2147483647 83540 54 | 0.120 % |
895.14/895.14 c | 891507 | 899 132790 347818 | 2147483647 83821 54 | 0.120 % |
895.44/895.45 c | 891817 | 899 132790 347818 | 2147483647 84131 54 | 0.111 % |
895.84/895.87 c | 892156 | 899 132790 347818 | 2147483647 84470 54 | 0.111 % |
896.24/896.25 c | 892528 | 899 132790 347818 | 2147483647 84842 54 | 0.111 % |
896.64/896.70 c | 892938 | 899 132790 347818 | 2147483647 85252 55 | 0.111 % |
897.24/897.21 c | 893389 | 899 132790 347818 | 2147483647 85703 55 | 0.111 % |
897.64/897.69 c | 893883 | 899 132790 347818 | 2147483647 86197 55 | 0.121 % |
898.24/898.27 c | 894428 | 899 132790 347818 | 2147483647 86742 55 | 0.120 % |
898.84/898.87 c | 895026 | 899 132790 347818 | 2147483647 87340 54 | 0.120 % |
899.54/899.53 c | 895681 | 899 132790 347818 | 2147483647 87995 55 | 0.111 % |
900.24/900.27 c | 896402 | 899 132790 347818 | 2147483647 88716 55 | 0.120 % |
901.24/901.21 c | 897198 | 899 132790 347818 | 2147483647 89512 55 | 0.120 % |
902.14/902.20 c | 898070 | 899 132790 347818 | 2147483647 90384 54 | 0.120 % |
903.14/903.14 c | 899028 | 899 132790 347818 | 2147483647 91342 55 | 0.111 % |
904.14/904.19 c | 900083 | 899 132790 347818 | 92315 92397 55 | 0.111 % |
905.44/905.47 c | 901249 | 899 132790 347818 | 92315 83897 57 | 0.111 % |
906.64/906.68 c | 902522 | 899 132790 347818 | 92315 85170 57 | 0.111 % |
908.14/908.11 c | 903923 | 899 132790 347818 | 92315 86571 58 | 0.111 % |
909.85/909.82 c | 905463 | 899 132790 347818 | 92315 88111 58 | 0.111 % |
911.74/911.75 c | 907158 | 899 132790 347818 | 92315 89806 58 | 0.120 % |
913.94/913.98 c | 909023 | 899 132790 347818 | 92315 91671 57 | 0.111 % |
916.34/916.31 c | 911073 | 899 132790 347818 | 92651 82663 61 | 0.111 % |
918.94/918.96 c | 913328 | 899 132790 347818 | 92651 84918 63 | 0.111 % |
922.04/922.07 c | 915806 | 899 132790 347818 | 92651 87396 62 | 0.120 % |
924.94/924.95 c | 918533 | 899 132790 347818 | 92651 90123 62 | 0.120 % |
928.64/928.60 c | 921531 | 899 132790 347818 | 91591 80847 66 | 0.111 % |
932.64/932.67 c | 924827 | 899 132790 347818 | 91591 84143 68 | 0.111 % |
937.24/937.27 c | 928453 | 899 132790 347818 | 91591 87769 68 | 0.111 % |
942.94/942.91 c | 932442 | 899 132790 347818 | 89317 76833 70 | 0.120 % |
948.24/948.22 c | 936828 | 899 132790 347818 | 89317 81219 68 | 0.111 % |
954.55/954.57 c | 941652 | 899 132790 347818 | 84395 71816 60 | 0.111 % |
961.95/961.94 c | 946957 | 899 132790 347818 | 84395 77121 58 | 0.120 % |
968.95/968.99 c | 952794 | 899 132790 347818 | 80164 69621 58 | 0.120 % |
977.25/977.23 c | 959212 | 899 132790 347818 | 80164 76039 57 | 0.120 % |
986.25/986.27 c | 966271 | 899 132790 347818 | 76827 69893 51 | 0.120 % |
994.55/994.52 c | 974037 | 899 132790 347818 | 73624 65630 44 | 0.120 % |
1002.45/1002.46 c | 982579 | 899 132790 347818 | 71595 66896 50 | 0.111 % |
1002.55/1002.59 c | 982682 | 899 132790 347818 | 71595 66999 50 | 0.111 % |
1002.65/1002.67 c | 982792 | 899 132790 347818 | 71595 67109 50 | 0.120 % |
1002.75/1002.75 c | 982914 | 899 132790 347818 | 71595 67231 50 | 0.120 % |
1002.85/1002.86 c | 983050 | 899 132790 347818 | 71595 67367 50 | 0.120 % |
1002.95/1002.98 c | 983196 | 899 132790 347818 | 71595 67513 50 | 0.111 % |
1003.15/1003.11 c | 983357 | 899 132790 347818 | 71595 67674 50 | 0.120 % |
1003.25/1003.30 c | 983537 | 899 132790 347818 | 71595 67854 50 | 0.120 % |
1003.45/1003.46 c | 983730 | 899 132790 347818 | 71595 68047 50 | 0.111 % |
1003.65/1003.65 c | 983943 | 899 132790 347818 | 71595 68260 50 | 0.120 % |
1003.95/1003.91 c | 984176 | 899 132790 347818 | 71595 68493 50 | 0.120 % |
1004.25/1004.23 c | 984434 | 899 132790 347818 | 71595 68751 50 | 0.120 % |
1004.55/1004.54 c | 984716 | 899 132790 347818 | 71595 69033 50 | 0.120 % |
1004.85/1004.84 c | 985025 | 899 132790 347818 | 71595 69342 50 | 0.120 % |
1005.15/1005.15 c | 985366 | 899 132790 347818 | 71595 69683 50 | 0.111 % |
1005.45/1005.44 c | 985740 | 899 132790 347818 | 71595 70057 50 | 0.120 % |
1005.85/1005.88 c | 986149 | 899 132790 347818 | 71595 70466 50 | 0.111 % |
1006.25/1006.23 c | 986599 | 899 132790 347818 | 71595 70916 50 | 0.120 % |
1006.65/1006.70 c | 987093 | 899 132790 347818 | 71595 71410 50 | 0.111 % |
1007.15/1007.18 c | 987638 | 899 132790 347818 | 71595 71955 51 | 0.111 % |
1007.85/1007.86 c | 988235 | 899 132790 347818 | 71595 65357 51 | 0.121 % |
1008.45/1008.44 c | 988891 | 899 132790 347818 | 71595 66013 51 | 0.121 % |
1009.15/1009.13 c | 989614 | 899 132790 347818 | 71595 66736 51 | 0.121 % |
1009.85/1009.84 c | 990408 | 899 132790 347818 | 2147483647 67530 50 | 0.120 % |
1010.65/1010.61 c | 991279 | 899 132790 347818 | 2147483647 68401 51 | 0.120 % |
1011.45/1011.45 c | 992239 | 899 132790 347818 | 2147483647 69361 51 | 0.120 % |
1012.45/1012.44 c | 993295 | 899 132790 347818 | 2147483647 70417 50 | 0.120 % |
1013.55/1013.57 c | 994455 | 899 132790 347818 | 2147483647 71577 50 | 0.120 % |
1014.85/1014.90 c | 995735 | 899 132790 347818 | 2147483647 72857 50 | 0.120 % |
1016.25/1016.27 c | 997136 | 899 132790 347818 | 2147483647 74258 50 | 0.120 % |
1017.75/1017.73 c | 998677 | 899 132790 347818 | 2147483647 75799 50 | 0.121 % |
1019.35/1019.35 c | 1000371 | 899 132790 347818 | 2147483647 77493 50 | 0.120 % |
1021.15/1021.17 c | 1002234 | 899 132790 347818 | 2147483647 79356 50 | 0.120 % |
1023.25/1023.24 c | 1004285 | 899 132790 347818 | 2147483647 81407 49 | 0.120 % |
1025.25/1025.25 c | 1006543 | 899 132790 347818 | 2147483647 83665 50 | 0.120 % |
1027.85/1027.87 c | 1009023 | 899 132790 347818 | 2147483647 86145 51 | 0.111 % |
1030.55/1030.58 c | 1011749 | 899 132790 347818 | 2147483647 88871 54 | 0.111 % |
1033.85/1033.90 c | 1014747 | 899 132790 347818 | 2147483647 91869 55 | 0.111 % |
1037.46/1037.47 c | 1018043 | 899 132790 347818 | 2147483647 95165 54 | 0.120 % |
1041.86/1041.85 c | 1021669 | 899 132790 347818 | 97122 88182 57 | 0.111 % |
1046.95/1046.92 c | 1025656 | 899 132790 347818 | 97122 92169 57 | 0.111 % |
1053.25/1053.27 c | 1030043 | 899 132790 347818 | 96513 96556 56 | 0.120 % |
1058.95/1059.00 c | 1034870 | 899 132790 347818 | 96513 86849 60 | 0.111 % |
1065.85/1065.88 c | 1040175 | 899 132790 347818 | 91979 92154 59 | 0.120 % |
1072.86/1072.86 c | 1046010 | 899 132790 347818 | 91979 82579 56 | 0.120 % |
1080.76/1080.73 c | 1052429 | 899 132790 347818 | 86574 75725 60 | 0.111 % |
1089.46/1089.45 c | 1059488 | 899 132790 347818 | 86574 82784 60 | 0.111 % |
1098.56/1098.53 c | 1067252 | 899 132790 347818 | 83297 77357 60 | 0.111 % |
1108.46/1108.42 c | 1075793 | 899 132790 347818 | 80105 72904 54 | 0.120 % |
1120.16/1120.19 c | 1085187 | 899 132790 347818 | 77113 70564 53 | 0.111 % |
1120.36/1120.32 c | 1085288 | 899 132790 347818 | 77113 70665 53 | 0.120 % |
1120.46/1120.44 c | 1085398 | 899 132790 347818 | 77113 70775 53 | 0.120 % |
1120.56/1120.59 c | 1085520 | 899 132790 347818 | 77113 70897 53 | 0.120 % |
1120.76/1120.77 c | 1085654 | 899 132790 347818 | 77113 71031 54 | 0.111 % |
1120.96/1120.92 c | 1085801 | 899 132790 347818 | 77113 71178 53 | 0.111 % |
1121.06/1121.11 c | 1085963 | 899 132790 347818 | 77113 71340 53 | 0.120 % |
1121.26/1121.28 c | 1086140 | 899 132790 347818 | 77113 71517 53 | 0.120 % |
1121.46/1121.50 c | 1086336 | 899 132790 347818 | 77113 71713 53 | 0.120 % |
1121.76/1121.72 c | 1086548 | 899 132790 347818 | 77113 71925 53 | 0.120 % |
1121.96/1121.96 c | 1086782 | 899 132790 347818 | 77113 72159 54 | 0.111 % |
1122.16/1122.20 c | 1087038 | 899 132790 347818 | 77113 72415 54 | 0.111 % |
1122.46/1122.42 c | 1087319 | 899 132790 347818 | 77113 72696 54 | 0.111 % |
1122.76/1122.75 c | 1087629 | 899 132790 347818 | 77113 73006 54 | 0.111 % |
1123.16/1123.12 c | 1087969 | 899 132790 347818 | 77113 73346 54 | 0.120 % |
1123.46/1123.50 c | 1088341 | 899 132790 347818 | 77113 73718 54 | 0.120 % |
1123.96/1124.00 c | 1088751 | 899 132790 347818 | 77113 74128 54 | 0.120 % |
1124.46/1124.49 c | 1089200 | 899 132790 347818 | 77113 74577 54 | 0.120 % |
1125.16/1125.13 c | 1089693 | 899 132790 347818 | 77113 75070 53 | 0.120 % |
1125.76/1125.73 c | 1090236 | 899 132790 347818 | 75380 75613 53 | 0.120 % |
1126.46/1126.45 c | 1090833 | 899 132790 347818 | 75380 64350 52 | 0.120 % |
1127.06/1127.09 c | 1091488 | 899 132790 347818 | 75380 65005 52 | 0.120 % |
1127.86/1127.91 c | 1092210 | 899 132790 347818 | 75380 65727 52 | 0.120 % |
1128.76/1128.73 c | 1093002 | 899 132790 347818 | 75380 66519 52 | 0.120 % |
1129.56/1129.51 c | 1093873 | 899 132790 347818 | 75380 67390 53 | 0.111 % |
1130.36/1130.39 c | 1094831 | 899 132790 347818 | 75380 68348 53 | 0.111 % |
1131.36/1131.35 c | 1095884 | 899 132790 347818 | 75380 69401 53 | 0.120 % |
1132.36/1132.40 c | 1097044 | 899 132790 347818 | 75380 70561 52 | 0.120 % |
1133.66/1133.63 c | 1098318 | 899 132790 347818 | 75380 71835 53 | 0.111 % |
1135.46/1135.46 c | 1099718 | 899 132790 347818 | 75380 73235 53 | 0.111 % |
1137.66/1137.62 c | 1101260 | 899 132790 347818 | 73518 66873 49 | 0.120 % |
1139.36/1139.40 c | 1102954 | 899 132790 347818 | 73518 68567 49 | 0.120 % |
1141.16/1141.17 c | 1104817 | 899 132790 347818 | 73518 70430 49 | 0.111 % |
1143.26/1143.30 c | 1106866 | 899 132790 347818 | 73518 72479 49 | 0.120 % |
1145.46/1145.45 c | 1109119 | 899 132790 347818 | 73518 67333 48 | 0.120 % |
1147.76/1147.74 c | 1111597 | 899 132790 347818 | 2147483647 69811 48 | 0.111 % |
1149.96/1149.92 c | 1114326 | 899 132790 347818 | 2147483647 72540 51 | 0.111 % |
1152.97/1152.96 c | 1117323 | 899 132790 347818 | 2147483647 75537 51 | 0.120 % |
1156.66/1156.67 c | 1120619 | 899 132790 347818 | 78217 70169 50 | 0.111 % |
1160.76/1160.78 c | 1124246 | 899 132790 347818 | 78217 73796 49 | 0.120 % |
1164.86/1164.83 c | 1128233 | 899 132790 347818 | 78217 77783 50 | 0.120 % |
1169.96/1169.93 c | 1132618 | 899 132790 347818 | 71469 66763 48 | 0.120 % |
1174.97/1175.00 c | 1137445 | 899 132790 347818 | 71469 71590 47 | 0.120 % |
1179.77/1179.78 c | 1142751 | 899 132790 347818 | 2147483647 69737 47 | 0.120 % |
1185.67/1185.69 c | 1148586 | 899 132790 347818 | 2147483647 75572 47 | 0.120 % |
1191.77/1191.77 c | 1155009 | 899 132790 347818 | 76987 74063 52 | 0.111 % |
1199.77/1199.79 c | 1162069 | 899 132790 347818 | 70744 64582 57 | 0.111 % |
1200.07/1200.02 HOME/SatELiteGTI: line 36: 24950 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820584-1242455948/watcher-1820584-1242455948 -o /tmp/evaluation-result-1820584-1242455948/solver-1820584-1242455948 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820584-1242455948.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 3/96 24947
/proc/meminfo: memFree=1190156/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2412 CPUtime=0.01
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 337 0 0 0 1 0 0 0 25 0 1 0 1010095647 2469888 271 4294967295 134512640 135169312 3217268608 3217266200 3085525934 0 0 4 65536 3222620697 0 0 17 1 0 0 0
/proc/24944/statm: 603 271 230 161 0 42 0
[pid=24945] ppid=24944 vsize=2412 CPUtime=0
/proc/24945/stat : 24945 (SatELiteGTI) R 24944 24944 10114 0 -1 4194368 103 0 0 0 0 0 0 0 25 0 1 0 1010095647 2469888 115 4294967295 134512640 135169312 3217268608 3217264828 3085334388 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/24945/statm: 603 115 72 161 0 42 0
[pid=24946] ppid=24945 vsize=0 CPUtime=0
/proc/24946/stat : 24946 (SatELiteGTI) Z 24945 24944 10114 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1010095647 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 1 0 0 0
/proc/24946/statm: 0 0 0 0 0 0 0
[pid=24947] ppid=24945 vsize=2412 CPUtime=0
/proc/24947/stat : 24947 (SatELiteGTI) R 24945 24944 10114 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1010095647 2469888 43 4294967295 134512640 135169312 3217268608 3217264828 3085334388 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/24947/statm: 603 43 0 161 0 42 0
[startup+0.10076 s]
/proc/loadavg: 0.93 1.00 0.99 3/96 24947
/proc/meminfo: memFree=1190156/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2412 CPUtime=0.01
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 365 648 0 0 1 0 0 0 25 0 1 0 1010095647 2469888 276 4294967295 134512640 135169312 3217268608 3217267144 3085332206 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24944/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2412
[startup+0.210754 s]
/proc/loadavg: 0.93 1.00 0.99 3/96 24947
/proc/meminfo: memFree=1190156/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2416
[startup+0.310748 s]
/proc/loadavg: 0.93 1.00 0.99 3/96 24947
/proc/meminfo: memFree=1190156/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2416
[startup+0.710728 s]
/proc/loadavg: 0.93 1.00 0.99 3/96 24947
/proc/meminfo: memFree=1190156/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2416
[startup+1.51069 s]
/proc/loadavg: 0.93 1.00 0.99 2/95 24950
/proc/meminfo: memFree=1180964/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=8792 CPUtime=1.31
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 2124 0 0 0 130 1 0 0 25 0 1 0 1010095668 9003008 2058 4294967295 134512640 135215339 3217879152 3217877440 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 2198 2058 73 172 0 2025 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 11208
[startup+3.11061 s]
/proc/loadavg: 0.93 1.00 0.99 2/95 24950
/proc/meminfo: memFree=1179600/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=10508 CPUtime=2.91
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 2549 0 0 0 290 1 0 0 25 0 1 0 1010095668 10760192 2483 4294967295 134512640 135215339 3217879152 3217877440 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 2627 2483 73 172 0 2454 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12924
[startup+6.31045 s]
/proc/loadavg: 0.93 1.00 0.99 2/95 24950
/proc/meminfo: memFree=1176308/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=13280 CPUtime=6.11
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 3258 0 0 0 610 1 0 0 25 0 1 0 1010095668 13598720 3192 4294967295 134512640 135215339 3217879152 3217877216 134538087 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 3320 3192 73 172 0 3147 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 15696
[startup+12.7101 s]
/proc/loadavg: 0.94 1.00 0.99 3/95 25133
/proc/meminfo: memFree=1171340/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=17848 CPUtime=12.49
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 4374 0 0 0 1246 3 0 0 25 0 1 0 1010095668 18276352 4308 4294967295 134512640 135215339 3217879152 3217877440 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 4462 4308 73 172 0 4289 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20264
[startup+25.5095 s]
/proc/loadavg: 0.95 1.00 0.99 3/95 25135
/proc/meminfo: memFree=1164268/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=24436 CPUtime=25.29
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 6045 0 0 0 2526 3 0 0 25 0 1 0 1010095668 25022464 5979 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 6109 5979 73 172 0 5936 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 26852
[startup+51.1082 s]
/proc/loadavg: 0.97 1.00 0.99 3/95 25141
/proc/meminfo: memFree=1155496/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=33732 CPUtime=50.89
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 8361 0 0 0 5083 6 0 0 25 0 1 0 1010095668 34541568 8295 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 8433 8295 73 172 0 8260 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 36148
[startup+102.316 s]
/proc/loadavg: 0.98 1.00 0.99 3/95 25328
/proc/meminfo: memFree=1142104/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=47088 CPUtime=102.1
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 11668 0 0 0 10191 19 0 0 25 0 1 0 1010095668 48218112 11602 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 11772 11602 73 172 0 11599 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 49504
[startup+162.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 25515
/proc/meminfo: memFree=1140500/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=48672 CPUtime=162.09
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12095 0 0 0 16190 19 0 0 25 0 1 0 1010095668 49840128 12029 4294967295 134512640 135215339 3217879152 3217877440 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12168 12029 73 172 0 11995 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 51088
[startup+222.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 25706
/proc/meminfo: memFree=1140336/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=48672 CPUtime=222.1
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12095 0 0 0 22190 20 0 0 25 0 1 0 1010095668 49840128 12029 4294967295 134512640 135215339 3217879152 3217877360 134534188 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12168 12029 73 172 0 11995 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 51088
[startup+282.317 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 25894
/proc/meminfo: memFree=1140336/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=48832 CPUtime=282.11
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12102 0 0 0 28191 20 0 0 25 0 1 0 1010095668 50003968 12036 4294967295 134512640 135215339 3217879152 3217877216 134538272 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12208 12036 73 172 0 12035 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 51248
[startup+342.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 26081
/proc/meminfo: memFree=1140492/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=48832 CPUtime=342.11
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12102 0 0 0 34191 20 0 0 25 0 1 0 1010095668 50003968 12036 4294967295 134512640 135215339 3217879152 3217877440 134528858 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12208 12036 73 172 0 12035 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 51248
[startup+402.321 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 26269
/proc/meminfo: memFree=1140492/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
################
# More data... #
################
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=522.12
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12133 0 0 0 52176 36 0 0 25 0 1 0 1010095668 50176000 12067 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12067 73 172 0 12077 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 51416
[startup+582.312 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 26837
/proc/meminfo: memFree=1140460/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=582.12
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12142 0 0 0 58174 38 0 0 25 0 1 0 1010095668 50176000 12076 4294967295 134512640 135215339 3217879152 3217877440 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12076 73 172 0 12077 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 51416
[startup+642.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 27024
/proc/meminfo: memFree=1140244/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=642.13
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12142 0 0 0 64175 38 0 0 25 0 1 0 1010095668 50176000 12076 4294967295 134512640 135215339 3217879152 3217877440 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12076 73 172 0 12077 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 51416
[startup+702.316 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 27212
/proc/meminfo: memFree=1140368/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=702.13
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12142 0 0 0 70170 43 0 0 25 0 1 0 1010095668 50176000 12076 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12076 73 172 0 12077 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 51416
[startup+762.323 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 27399
/proc/meminfo: memFree=1140376/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=762.14
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12149 0 0 0 76170 44 0 0 25 0 1 0 1010095668 50176000 12083 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12083 73 172 0 12077 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 51416
[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27592
/proc/meminfo: memFree=1140848/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49000 CPUtime=822.14
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12149 0 0 0 82169 45 0 0 25 0 1 0 1010095668 50176000 12083 4294967295 134512640 135215339 3217879152 3217877440 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12250 12083 73 172 0 12077 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 51416
[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27780
/proc/meminfo: memFree=1140832/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49172 CPUtime=882.13
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12175 0 0 0 88168 45 0 0 25 0 1 0 1010095668 50352128 12109 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12293 12109 73 172 0 12120 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 51588
[startup+942.304 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27967
/proc/meminfo: memFree=1140616/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49360 CPUtime=942.13
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12213 0 0 0 94165 48 0 0 25 0 1 0 1010095668 50544640 12147 4294967295 134512640 135215339 3217879152 3217877440 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12340 12147 73 172 0 12167 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 51776
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28155
/proc/meminfo: memFree=1140492/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49360 CPUtime=1002.14
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12231 0 0 0 100156 58 0 0 25 0 1 0 1010095668 50544640 12165 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12340 12165 73 172 0 12167 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 51776
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28342
/proc/meminfo: memFree=1140500/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49360 CPUtime=1062.14
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12240 0 0 0 106153 61 0 0 25 0 1 0 1010095668 50544640 12174 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12340 12174 73 172 0 12167 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 51776
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28531
/proc/meminfo: memFree=1140460/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49360 CPUtime=1122.15
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12240 0 0 0 112152 63 0 0 25 0 1 0 1010095668 50544640 12174 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12340 12174 73 172 0 12167 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 51776
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28723
/proc/meminfo: memFree=1140460/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49528 CPUtime=1182.16
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12249 0 0 0 118147 69 0 0 25 0 1 0 1010095668 50716672 12183 4294967295 134512640 135215339 3217879152 3217877440 134528809 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12382 12183 73 172 0 12209 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 51944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28724
/proc/meminfo: memFree=1140500/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49528 CPUtime=1199.86
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12249 0 0 0 119917 69 0 0 25 0 1 0 1010095668 50716672 12183 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12382 12183 73 172 0 12209 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 51944
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28724
/proc/meminfo: memFree=1140500/2074464 swapFree=1950876/1959888
[pid=24944] ppid=24942 vsize=2416 CPUtime=0.21
/proc/24944/stat : 24944 (SatELiteGTI) S 24942 24944 10114 0 -1 4194304 385 2598 0 0 1 0 17 3 24 0 1 0 1010095647 2473984 278 4294967295 134512640 135169312 3217268608 3217264824 3085332206 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24944/statm: 604 278 235 161 0 43 0
[pid=24950] ppid=24944 vsize=49528 CPUtime=1199.86
/proc/24950/stat : 24950 (minisat_static) R 24944 24944 10114 0 -1 4202496 12249 0 0 0 119917 69 0 0 25 0 1 0 1010095668 50716672 12183 4294967295 134512640 135215339 3217879152 3217877440 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24950/statm: 12382 12183 73 172 0 12209 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 51944
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.35
CPU system time (s): 0.73
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 51944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.35
system time used= 0.73
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15507
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= 22
involuntary context switches= 2386
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-16 08:39:08
IDJOB=1820584
IDBENCH=20487
IDSOLVER=657
FILE ID=tipi13/1820584-1242455948
PBS_JOBID=
Free space on /tmp= 8130 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_30.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820584-1242455948/watcher-1820584-1242455948 -o /tmp/evaluation-result-1820584-1242455948/solver-1820584-1242455948 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820584-1242455948.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED= 76867158
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1190444 kB
Buffers: 30792 kB
Cached: 757388 kB
SwapCached: 3608 kB
Active: 273548 kB
Inactive: 524252 kB
HighTotal: 1178688 kB
HighFree: 453048 kB
LowTotal: 895776 kB
LowFree: 737396 kB
SwapTotal: 1959888 kB
SwapFree: 1950876 kB
Dirty: 3412 kB
Writeback: 0 kB
AnonPages: 8624 kB
Mapped: 3116 kB
Slab: 76844 kB
PageTables: 632 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90604 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8130 MiB
End job on tipi13 at 2009-05-16 08:59:09