0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 11900 83300 | 3569 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 140 #clauses: 11900 #literals: 83300
0.00/0.02 c CPU time: 0.015997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 140 |
0.00/0.05 c | Number of clauses: 11900 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 140 11900 83300 | 3966 0 nan | 0.000 % |
0.03/0.07 c | 101 | 140 11900 83300 | 3966 101 45 | 0.005 % |
0.03/0.08 c | 201 | 140 11900 83300 | 3966 201 45 | 0.005 % |
0.03/0.08 c | 301 | 140 11900 83300 | 3966 301 44 | 0.005 % |
0.03/0.09 c | 412 | 140 11900 83300 | 3966 412 43 | 0.005 % |
0.03/0.10 c | 513 | 140 11900 83300 | 3966 513 43 | 0.005 % |
0.03/0.11 c | 624 | 140 11900 83300 | 3966 624 44 | 0.005 % |
0.03/0.11 c | 746 | 140 11900 83300 | 3966 746 43 | 0.005 % |
0.03/0.12 c | 846 | 140 11900 83300 | 3966 846 44 | 0.005 % |
0.03/0.13 c | 956 | 140 11900 83300 | 3966 956 43 | 0.005 % |
0.03/0.14 c | 1078 | 140 11900 83300 | 3966 1078 44 | 0.005 % |
0.03/0.15 c | 1215 | 140 11900 83300 | 3966 1215 43 | 0.005 % |
0.03/0.16 c | 1316 | 140 11900 83300 | 3966 1316 44 | 0.005 % |
0.03/0.16 c | 1426 | 140 11900 83300 | 3966 1426 43 | 0.005 % |
0.03/0.17 c | 1547 | 140 11900 83300 | 3966 1547 43 | 0.005 % |
0.03/0.18 c | 1680 | 140 11900 83300 | 3966 1680 43 | 0.005 % |
0.03/0.19 c | 1827 | 140 11900 83300 | 3966 1827 43 | 0.005 % |
0.03/0.20 c | 1927 | 140 11900 83300 | 3966 1927 43 | 0.005 % |
0.03/0.21 c | 2038 | 140 11900 83300 | 3966 2038 43 | 0.005 % |
0.03/0.22 c | 2160 | 140 11900 83300 | 3966 2160 43 | 0.005 % |
0.03/0.23 c | 2293 | 140 11900 83300 | 3966 2293 43 | 0.005 % |
0.03/0.24 c | 2443 | 140 11900 83300 | 3966 2443 43 | 0.005 % |
0.03/0.26 c | 2605 | 140 11900 83300 | 3966 2605 43 | 0.005 % |
0.03/0.27 c | 2705 | 140 11900 83300 | 3966 2705 43 | 0.005 % |
0.03/0.27 c | 2817 | 140 11900 83300 | 3966 2817 43 | 0.005 % |
0.03/0.28 c | 2939 | 140 11900 83300 | 3966 2939 43 | 0.005 % |
0.03/0.30 c | 3072 | 140 11900 83300 | 3966 3072 43 | 0.005 % |
0.03/0.31 c | 3219 | 140 11900 83300 | 3966 3219 43 | 0.005 % |
0.03/0.32 c | 3379 | 140 11900 83300 | 3966 3379 43 | 0.005 % |
0.03/0.34 c | 3556 | 140 11900 83300 | 3966 3556 43 | 0.005 % |
0.03/0.34 c | 3656 | 140 11900 83300 | 3966 3656 43 | 0.005 % |
0.03/0.35 c | 3767 | 140 11900 83300 | 3966 3767 43 | 0.005 % |
0.03/0.36 c | 3889 | 140 11900 83300 | 3966 3889 43 | 0.005 % |
0.03/0.38 c | 4024 | 140 11900 83300 | 3966 4024 43 | 0.005 % |
0.03/0.39 c | 4171 | 140 11900 83300 | 3966 3769 43 | 0.005 % |
0.03/0.41 c | 4333 | 140 11900 83300 | 3966 3931 43 | 0.005 % |
0.03/0.42 c | 4509 | 140 11900 83300 | 3966 3705 42 | 0.005 % |
0.03/0.44 c | 4702 | 140 11900 83300 | 3966 3898 42 | 0.005 % |
0.03/0.45 c | 4802 | 140 11900 83300 | 3966 3998 42 | 0.005 % |
0.03/0.46 c | 4914 | 140 11900 83300 | 3966 3711 42 | 0.005 % |
0.03/0.47 c | 5035 | 140 11900 83300 | 3966 3832 42 | 0.005 % |
0.03/0.48 c | 5168 | 140 11900 83300 | 3966 3965 42 | 0.005 % |
0.03/0.50 c | 5314 | 140 11900 83300 | 3966 3709 42 | 0.005 % |
0.03/0.51 c | 5475 | 140 11900 83300 | 3966 3870 42 | 0.005 % |
0.03/0.53 c | 5651 | 140 11900 83300 | 3966 3643 42 | 0.005 % |
0.03/0.55 c | 5845 | 140 11900 83300 | 3966 3837 42 | 0.005 % |
0.03/0.57 c | 6059 | 140 11900 83300 | 3966 3648 42 | 0.005 % |
0.03/0.57 c | 6161 | 140 11900 83300 | 3966 3750 42 | 0.005 % |
0.03/0.58 c | 6274 | 140 11900 83300 | 3966 3863 42 | 0.005 % |
0.03/0.60 c | 6400 | 140 11900 83300 | 3966 3989 42 | 0.005 % |
0.03/0.61 c | 6533 | 140 11900 83300 | 3966 3724 42 | 0.005 % |
0.03/0.62 c | 6679 | 140 11900 83300 | 3966 3870 42 | 0.005 % |
0.03/0.64 c | 6839 | 140 11900 83300 | 3966 4030 42 | 0.005 % |
0.03/0.65 c | 7017 | 140 11900 83300 | 3966 3805 42 | 0.005 % |
0.03/0.67 c | 7213 | 140 11900 83300 | 3966 4001 42 | 0.005 % |
0.03/0.69 c | 7429 | 140 11900 83300 | 3966 3817 42 | 0.005 % |
0.03/0.71 c | 7662 | 140 11900 83300 | 3966 3647 42 | 0.005 % |
0.03/0.72 c | 7764 | 140 11900 83300 | 3966 3749 42 | 0.005 % |
0.03/0.73 c | 7874 | 140 11900 83300 | 3966 3859 42 | 0.005 % |
0.03/0.74 c | 7997 | 140 11900 83300 | 3966 3982 42 | 0.005 % |
0.03/0.75 c | 8130 | 140 11900 83300 | 3966 3717 43 | 0.005 % |
0.03/0.76 c | 8277 | 140 11900 83300 | 3966 3864 43 | 0.005 % |
0.03/0.78 c | 8437 | 140 11900 83300 | 3966 4024 43 | 0.005 % |
0.03/0.80 c | 8615 | 140 11900 83300 | 3966 3800 43 | 0.005 % |
0.03/0.81 c | 8808 | 140 11900 83300 | 3966 3993 43 | 0.005 % |
0.03/0.83 c | 9022 | 140 11900 83300 | 3966 3808 43 | 0.005 % |
0.03/0.85 c | 9256 | 140 11900 83300 | 3966 3639 43 | 0.005 % |
0.03/0.87 c | 9512 | 140 11900 83300 | 3966 3895 43 | 0.005 % |
0.03/0.88 c | 9612 | 140 11900 83300 | 3966 3995 43 | 0.005 % |
0.03/0.89 c | 9722 | 140 11900 83300 | 3966 3706 43 | 0.005 % |
0.03/0.90 c | 9844 | 140 11900 83300 | 3966 3828 43 | 0.005 % |
0.03/0.91 c | 9977 | 140 11900 83300 | 3966 3961 43 | 0.005 % |
0.03/0.93 c | 10124 | 140 11900 83300 | 2147483647 4108 43 | 0.005 % |
0.03/0.94 c | 10284 | 140 11900 83300 | 2147483647 4268 43 | 0.005 % |
0.03/0.96 c | 10462 | 140 11900 83300 | 2147483647 4446 43 | 0.005 % |
0.03/0.98 c | 10657 | 140 11900 83300 | 2147483647 4641 43 | 0.005 % |
0.03/1.00 c | 10869 | 140 11900 83300 | 2147483647 4853 43 | 0.005 % |
0.98/1.02 c | 11103 | 140 11900 83300 | 2147483647 5087 43 | 0.005 % |
0.98/1.04 c | 11361 | 140 11900 83300 | 2147483647 5345 43 | 0.005 % |
0.98/1.07 c | 11642 | 140 11900 83300 | 2147483647 5626 43 | 0.005 % |
0.98/1.08 c | 11743 | 140 11900 83300 | 2147483647 5727 43 | 0.005 % |
0.98/1.09 c | 11853 | 140 11900 83300 | 2147483647 5837 43 | 0.005 % |
0.98/1.10 c | 11974 | 140 11900 83300 | 2147483647 5958 43 | 0.005 % |
1.08/1.11 c | 12107 | 140 11900 83300 | 2147483647 6091 43 | 0.005 % |
1.08/1.13 c | 12253 | 140 11900 83300 | 2147483647 6237 43 | 0.005 % |
1.08/1.15 c | 12413 | 140 11900 83300 | 2147483647 6397 43 | 0.005 % |
1.08/1.16 c | 12589 | 140 11900 83300 | 2147483647 6573 43 | 0.005 % |
1.08/1.19 c | 12783 | 140 11900 83300 | 2147483647 6767 43 | 0.005 % |
1.17/1.21 c | 12996 | 140 11900 83300 | 2147483647 6980 43 | 0.005 % |
1.17/1.23 c | 13231 | 140 11900 83300 | 2147483647 7215 43 | 0.005 % |
1.17/1.26 c | 13487 | 140 11900 83300 | 2147483647 7471 43 | 0.005 % |
1.17/1.29 c | 13769 | 140 11900 83300 | 2147483647 7753 43 | 0.005 % |
1.27/1.33 c | 14080 | 140 11900 83300 | 2147483647 8064 43 | 0.005 % |
1.27/1.34 c | 14181 | 140 11900 83300 | 2147483647 8165 43 | 0.005 % |
1.27/1.36 c | 14292 | 140 11900 83300 | 2147483647 8276 43 | 0.005 % |
1.27/1.37 c | 14415 | 140 11900 83300 | 2147483647 8399 43 | 0.005 % |
1.27/1.39 c | 14548 | 140 11900 83300 | 2147483647 8532 43 | 0.005 % |
1.37/1.41 c | 14696 | 140 11900 83300 | 2147483647 8680 43 | 0.005 % |
1.37/1.43 c | 14856 | 140 11900 83300 | 2147483647 8840 43 | 0.005 % |
1.37/1.45 c | 15033 | 140 11900 83300 | 2147483647 9017 43 | 0.005 % |
1.37/1.47 c | 15226 | 140 11900 83300 | 2147483647 9210 43 | 0.005 % |
1.47/1.50 c | 15439 | 140 11900 83300 | 2147483647 9423 43 | 0.005 % |
1.47/1.53 c | 15672 | 140 11900 83300 | 2147483647 9656 43 | 0.005 % |
1.47/1.56 c | 15929 | 140 11900 83300 | 2147483647 9913 43 | 0.005 % |
1.47/1.60 c | 16210 | 140 11900 83300 | 2147483647 10194 43 | 0.005 % |
1.57/1.64 c | 16520 | 140 11900 83300 | 2147483647 10504 43 | 0.005 % |
1.57/1.68 c | 16859 | 140 11900 83300 | 2147483647 10843 43 | 0.005 % |
1.57/1.69 c | 16960 | 140 11900 83300 | 2147483647 10944 43 | 0.005 % |
1.67/1.71 c | 17070 | 140 11900 83300 | 2147483647 11054 43 | 0.005 % |
1.67/1.73 c | 17191 | 140 11900 83300 | 2147483647 11175 43 | 0.005 % |
1.67/1.75 c | 17327 | 140 11900 83300 | 2147483647 11311 43 | 0.005 % |
1.67/1.77 c | 17476 | 140 11900 83300 | 2147483647 11460 43 | 0.005 % |
1.67/1.79 c | 17636 | 140 11900 83300 | 2147483647 11620 43 | 0.005 % |
1.77/1.82 c | 17814 | 140 11900 83300 | 2147483647 11798 43 | 0.005 % |
1.77/1.85 c | 18008 | 140 11900 83300 | 2147483647 11992 43 | 0.005 % |
1.77/1.88 c | 18221 | 140 11900 83300 | 2147483647 12205 43 | 0.005 % |
1.87/1.91 c | 18455 | 140 11900 83300 | 2147483647 12439 43 | 0.005 % |
1.87/1.95 c | 18715 | 140 11900 83300 | 2147483647 12699 43 | 0.005 % |
1.87/2.00 c | 18996 | 140 11900 83300 | 2147483647 12980 43 | 0.005 % |
1.97/2.04 c | 19305 | 140 11900 83300 | 2147483647 13289 43 | 0.005 % |
1.97/2.10 c | 19644 | 140 11900 83300 | 2147483647 13628 43 | 0.005 % |
2.08/2.16 c | 20016 | 140 11900 83300 | 2147483647 14000 43 | 0.005 % |
2.08/2.19 c | 20119 | 140 11900 83300 | 2147483647 14103 43 | 0.005 % |
2.18/2.20 c | 20229 | 140 11900 83300 | 2147483647 14213 43 | 0.005 % |
2.18/2.22 c | 20350 | 140 11900 83300 | 2147483647 14334 43 | 0.005 % |
2.18/2.25 c | 20483 | 140 11900 83300 | 2147483647 14467 43 | 0.005 % |
2.18/2.27 c | 20630 | 140 11900 83300 | 2147483647 14614 43 | 0.005 % |
2.27/2.30 c | 20790 | 140 11900 83300 | 2147483647 14774 43 | 0.005 % |
2.27/2.34 c | 20968 | 140 11900 83300 | 2147483647 14952 43 | 0.005 % |
2.27/2.37 c | 21163 | 140 11900 83300 | 2147483647 15147 43 | 0.005 % |
2.37/2.41 c | 21379 | 140 11900 83300 | 2147483647 15363 43 | 0.005 % |
2.37/2.45 c | 21612 | 140 11900 83300 | 2147483647 15596 43 | 0.005 % |
2.47/2.50 c | 21868 | 140 11900 83300 | 2147483647 15852 43 | 0.005 % |
2.47/2.55 c | 22149 | 140 11900 83300 | 2147483647 16133 43 | 0.005 % |
2.57/2.61 c | 22458 | 140 11900 83300 | 2147483647 16442 43 | 0.005 % |
2.57/2.68 c | 22797 | 140 11900 83300 | 2147483647 16781 44 | 0.005 % |
2.67/2.75 c | 23171 | 140 11900 83300 | 2147483647 17155 43 | 0.005 % |
2.77/2.83 c | 23580 | 140 11900 83300 | 2147483647 17564 43 | 0.005 % |
2.77/2.86 c | 23683 | 140 11900 83300 | 2147483647 17667 43 | 0.005 % |
2.77/2.89 c | 23793 | 140 11900 83300 | 2147483647 17777 43 | 0.005 % |
2.87/2.91 c | 23915 | 140 11900 83300 | 2147483647 17899 43 | 0.005 % |
2.87/2.94 c | 24049 | 140 11900 83300 | 2147483647 18033 43 | 0.005 % |
2.87/2.97 c | 24195 | 140 11900 83300 | 2147483647 18179 43 | 0.005 % |
2.96/3.00 c | 24355 | 140 11900 83300 | 2147483647 18339 43 | 0.005 % |
2.96/3.05 c | 24532 | 140 11900 83300 | 2147483647 18516 43 | 0.005 % |
2.96/3.09 c | 24725 | 140 11900 83300 | 2147483647 18709 43 | 0.005 % |
3.06/3.14 c | 24937 | 140 11900 83300 | 2147483647 18921 43 | 0.005 % |
3.06/3.20 c | 25170 | 140 11900 83300 | 2147483647 19154 43 | 0.005 % |
3.18/3.26 c | 25426 | 140 11900 83300 | 2147483647 19410 43 | 0.005 % |
3.28/3.33 c | 25707 | 140 11900 83300 | 2147483647 19691 43 | 0.005 % |
3.37/3.40 c | 26016 | 140 11900 83300 | 2147483647 20000 43 | 0.005 % |
3.37/3.48 c | 26355 | 140 11900 83300 | 2147483647 20339 43 | 0.005 % |
3.47/3.58 c | 26728 | 140 11900 83300 | 2147483647 20712 43 | 0.005 % |
3.57/3.67 c | 27137 | 140 11900 83300 | 2147483647 21121 43 | 0.005 % |
3.67/3.77 c | 27586 | 140 11900 83300 | 2147483647 21570 43 | 0.005 % |
3.77/3.81 c | 27687 | 140 11900 83300 | 2147483647 21671 43 | 0.005 % |
3.77/3.83 c | 27797 | 140 11900 83300 | 2147483647 21781 43 | 0.005 % |
3.77/3.87 c | 27918 | 140 11900 83300 | 2147483647 21902 43 | 0.005 % |
3.87/3.90 c | 28051 | 140 11900 83300 | 2147483647 22035 43 | 0.005 % |
3.87/3.95 c | 28197 | 140 11900 83300 | 2147483647 22181 43 | 0.005 % |
3.87/3.99 c | 28359 | 140 11900 83300 | 2147483647 22343 43 | 0.005 % |
3.97/4.04 c | 28535 | 140 11900 83300 | 2147483647 22519 43 | 0.005 % |
4.07/4.10 c | 28728 | 140 11900 83300 | 2147483647 22712 43 | 0.005 % |
4.07/4.15 c | 28940 | 140 11900 83300 | 2147483647 22924 43 | 0.005 % |
4.17/4.21 c | 29175 | 140 11900 83300 | 2147483647 23159 43 | 0.005 % |
4.17/4.28 c | 29431 | 140 11900 83300 | 2147483647 23415 43 | 0.005 % |
4.27/4.37 c | 29712 | 140 11900 83300 | 2147483647 23696 43 | 0.005 % |
4.37/4.44 c | 30021 | 140 11900 83300 | 2147483647 24005 43 | 0.005 % |
4.47/4.56 c | 30360 | 140 11900 83300 | 2147483647 24344 43 | 0.005 % |
4.57/4.66 c | 30734 | 140 11900 83300 | 2147483647 24718 43 | 0.005 % |
4.67/4.78 c | 31144 | 140 11900 83300 | 2147483647 25128 43 | 0.005 % |
4.87/4.90 c | 31595 | 140 11900 83300 | 2147483647 25579 43 | 0.005 % |
4.97/5.05 c | 32088 | 140 11900 83300 | 2147483647 26072 44 | 0.005 % |
4.97/5.08 c | 32189 | 140 11900 83300 | 2147483647 26173 44 | 0.005 % |
5.07/5.11 c | 32299 | 140 11900 83300 | 2147483647 26283 44 | 0.005 % |
5.07/5.15 c | 32420 | 140 11900 83300 | 2147483647 26404 44 | 0.005 % |
5.07/5.19 c | 32553 | 140 11900 83300 | 2147483647 26537 44 | 0.005 % |
5.16/5.25 c | 32699 | 140 11900 83300 | 2147483647 26683 44 | 0.005 % |
5.26/5.30 c | 32859 | 140 11900 83300 | 2147483647 26843 44 | 0.005 % |
5.26/5.36 c | 33035 | 140 11900 83300 | 2147483647 27019 44 | 0.005 % |
5.37/5.43 c | 33229 | 140 11900 83300 | 2147483647 27213 43 | 0.005 % |
5.37/5.50 c | 33441 | 140 11900 83300 | 2147483647 27425 44 | 0.005 % |
5.47/5.57 c | 33674 | 140 11900 83300 | 2147483647 27658 44 | 0.005 % |
5.56/5.65 c | 33930 | 140 11900 83300 | 2147483647 27914 44 | 0.005 % |
5.66/5.74 c | 34211 | 140 11900 83300 | 2147483647 28195 44 | 0.005 % |
5.76/5.83 c | 34522 | 140 11900 83300 | 2147483647 28506 44 | 0.005 % |
5.86/5.96 c | 34863 | 140 11900 83300 | 2147483647 28847 44 | 0.005 % |
5.96/6.08 c | 35235 | 140 11900 83300 | 2147483647 29219 43 | 0.005 % |
6.16/6.22 c | 35644 | 140 11900 83300 | 2147483647 29628 44 | 0.005 % |
6.26/6.36 c | 36095 | 140 11900 83300 | 2147483647 30079 44 | 0.005 % |
6.46/6.55 c | 36588 | 140 11900 83300 | 2147483647 30572 43 | 0.005 % |
6.66/6.74 c | 37132 | 140 11900 83300 | 2147483647 31116 43 | 0.005 % |
6.66/6.77 c | 37232 | 140 11900 83300 | 2147483647 31216 43 | 0.005 % |
6.76/6.82 c | 37342 | 140 11900 83300 | 2147483647 31326 43 | 0.005 % |
6.76/6.87 c | 37463 | 140 11900 83300 | 2147483647 31447 43 | 0.005 % |
6.87/6.91 c | 37596 | 140 11900 83300 | 2147483647 31580 43 | 0.005 % |
6.87/6.98 c | 37742 | 140 11900 83300 | 2147483647 31726 43 | 0.005 % |
6.97/7.04 c | 37903 | 140 11900 83300 | 2147483647 31887 44 | 0.005 % |
7.07/7.11 c | 38080 | 140 11900 83300 | 2147483647 32064 44 | 0.005 % |
7.07/7.20 c | 38274 | 140 11900 83300 | 2147483647 32258 43 | 0.005 % |
7.17/7.27 c | 38487 | 140 11900 83300 | 2147483647 32471 43 | 0.005 % |
7.27/7.37 c | 38720 | 140 11900 83300 | 2147483647 32704 43 | 0.005 % |
7.37/7.46 c | 38977 | 140 11900 83300 | 2147483647 32961 44 | 0.005 % |
7.47/7.57 c | 39260 | 140 11900 83300 | 2147483647 33244 44 | 0.005 % |
7.57/7.69 c | 39569 | 140 11900 83300 | 2147483647 33553 43 | 0.005 % |
7.77/7.83 c | 39908 | 140 11900 83300 | 2147483647 33892 44 | 0.005 % |
7.87/8.00 c | 40280 | 140 11900 83300 | 2147483647 34264 44 | 0.005 % |
8.07/8.16 c | 40690 | 140 11900 83300 | 2147483647 34674 44 | 0.005 % |
8.27/8.33 c | 41139 | 140 11900 83300 | 2147483647 35123 44 | 0.005 % |
8.46/8.53 c | 41632 | 140 11900 83300 | 2147483647 35616 44 | 0.005 % |
8.67/8.76 c | 42175 | 140 11900 83300 | 2147483647 36159 44 | 0.005 % |
8.96/9.00 c | 42772 | 140 11900 83300 | 2147483647 36756 43 | 0.005 % |
8.96/9.04 c | 42872 | 140 11900 83300 | 2147483647 36856 43 | 0.005 % |
8.96/9.09 c | 42983 | 140 11900 83300 | 2147483647 36967 43 | 0.005 % |
9.06/9.14 c | 43104 | 140 11900 83300 | 2147483647 37088 43 | 0.005 % |
9.06/9.19 c | 43237 | 140 11900 83300 | 2147483647 37221 43 | 0.005 % |
9.16/9.26 c | 43384 | 140 11900 83300 | 2147483647 37368 43 | 0.005 % |
9.26/9.32 c | 43545 | 140 11900 83300 | 2147483647 37529 43 | 0.005 % |
9.36/9.42 c | 43722 | 140 11900 83300 | 2147483647 37706 43 | 0.005 % |
9.46/9.51 c | 43916 | 140 11900 83300 | 2147483647 37900 43 | 0.005 % |
9.56/9.60 c | 44128 | 140 11900 83300 | 2147483647 38112 43 | 0.005 % |
9.66/9.70 c | 44361 | 140 11900 83300 | 2147483647 38345 44 | 0.005 % |
9.77/9.81 c | 44617 | 140 11900 83300 | 2147483647 38601 44 | 0.005 % |
9.87/9.92 c | 44898 | 140 11900 83300 | 2147483647 38882 44 | 0.005 % |
9.96/10.07 c | 45208 | 140 11900 83300 | 2147483647 39192 44 | 0.005 % |
10.16/10.21 c | 45548 | 140 11900 83300 | 2147483647 39532 44 | 0.005 % |
10.36/10.41 c | 45920 | 140 11900 83300 | 2147483647 39904 44 | 0.005 % |
10.56/10.61 c | 46329 | 140 11900 83300 | 2147483647 40313 44 | 0.005 % |
10.76/10.82 c | 46780 | 140 11900 83300 | 2147483647 40764 44 | 0.005 % |
10.96/11.06 c | 47274 | 140 11900 83300 | 2147483647 41258 44 | 0.005 % |
11.16/11.29 c | 47816 | 140 11900 83300 | 2147483647 41800 44 | 0.005 % |
11.46/11.55 c | 48413 | 140 11900 83300 | 2147483647 42397 44 | 0.005 % |
11.76/11.85 c | 49070 | 140 11900 83300 | 2147483647 43054 44 | 0.005 % |
11.86/11.93 c | 49170 | 140 11900 83300 | 2147483647 43154 44 | 0.005 % |
11.86/11.99 c | 49280 | 140 11900 83300 | 2147483647 43264 44 | 0.005 % |
11.96/12.06 c | 49402 | 140 11900 83300 | 2147483647 43386 44 | 0.005 % |
12.06/12.14 c | 49535 | 140 11900 83300 | 2147483647 43519 44 | 0.005 % |
12.16/12.23 c | 49682 | 140 11900 83300 | 2147483647 43666 44 | 0.005 % |
12.26/12.31 c | 49842 | 140 11900 83300 | 2147483647 43826 44 | 0.005 % |
12.36/12.40 c | 50018 | 140 11900 83300 | 2147483647 44002 44 | 0.005 % |
12.46/12.51 c | 50213 | 140 11900 83300 | 2147483647 44197 44 | 0.005 % |
12.56/12.62 c | 50425 | 140 11900 83300 | 2147483647 44409 44 | 0.005 % |
12.66/12.74 c | 50660 | 140 11900 83300 | 2147483647 44644 44 | 0.005 % |
12.76/12.86 c | 50917 | 140 11900 83300 | 2147483647 44901 44 | 0.005 % |
12.86/12.98 c | 51198 | 140 11900 83300 | 2147483647 45182 44 | 0.005 % |
13.06/13.14 c | 51508 | 140 11900 83300 | 2147483647 45492 44 | 0.005 % |
13.26/13.34 c | 51847 | 140 11900 83300 | 2147483647 45831 44 | 0.005 % |
13.45/13.57 c | 52219 | 140 11900 83300 | 2147483647 46203 44 | 0.005 % |
13.65/13.79 c | 52628 | 140 11900 83300 | 2147483647 46612 44 | 0.005 % |
13.96/14.03 c | 53077 | 140 11900 83300 | 2147483647 47061 44 | 0.005 % |
14.27/14.32 c | 53570 | 140 11900 83300 | 2147483647 47554 44 | 0.005 % |
14.56/14.63 c | 54112 | 140 11900 83300 | 2147483647 48096 44 | 0.005 % |
14.86/14.97 c | 54708 | 140 11900 83300 | 2147483647 48692 44 | 0.005 % |
15.26/15.32 c | 55363 | 140 11900 83300 | 2147483647 49347 44 | 0.005 % |
15.66/15.73 c | 56084 | 140 11900 83300 | 2147483647 50068 44 | 0.005 % |
15.76/15.82 c | 56185 | 140 11900 83300 | 2147483647 50169 44 | 0.005 % |
15.76/15.88 c | 56295 | 140 11900 83300 | 2147483647 50279 44 | 0.005 % |
15.86/15.96 c | 56417 | 140 11900 83300 | 2147483647 50401 44 | 0.005 % |
15.96/16.04 c | 56550 | 140 11900 83300 | 2147483647 50534 44 | 0.005 % |
16.06/16.15 c | 56699 | 140 11900 83300 | 2147483647 50683 44 | 0.005 % |
16.16/16.25 c | 56859 | 140 11900 83300 | 2147483647 50843 44 | 0.005 % |
16.26/16.36 c | 57036 | 140 11900 83300 | 2147483647 51020 44 | 0.005 % |
16.36/16.50 c | 57231 | 140 11900 83300 | 2147483647 51215 44 | 0.005 % |
16.56/16.62 c | 57443 | 140 11900 83300 | 2147483647 51427 44 | 0.005 % |
16.66/16.74 c | 57677 | 140 11900 83300 | 2147483647 51661 44 | 0.005 % |
16.76/16.89 c | 57934 | 140 11900 83300 | 2147483647 51918 44 | 0.005 % |
16.96/17.08 c | 58215 | 140 11900 83300 | 2147483647 52199 44 | 0.005 % |
17.16/17.28 c | 58525 | 140 11900 83300 | 2147483647 52509 44 | 0.005 % |
17.46/17.54 c | 58866 | 140 11900 83300 | 2147483647 52850 44 | 0.005 % |
17.65/17.78 c | 59241 | 140 11900 83300 | 2147483647 53225 44 | 0.005 % |
17.95/18.04 c | 59651 | 140 11900 83300 | 2147483647 53635 44 | 0.005 % |
18.25/18.32 c | 60101 | 140 11900 83300 | 2147483647 54085 44 | 0.005 % |
18.56/18.63 c | 60594 | 140 11900 83300 | 2147483647 54578 44 | 0.005 % |
18.95/19.01 c | 61137 | 140 11900 83300 | 2147483647 55121 44 | 0.005 % |
19.25/19.37 c | 61733 | 140 11900 83300 | 2147483647 55717 44 | 0.005 % |
19.66/19.78 c | 62388 | 140 11900 83300 | 2147483647 56372 44 | 0.005 % |
20.16/20.20 c | 63109 | 140 11900 83300 | 2147483647 57093 44 | 0.005 % |
20.65/20.72 c | 63904 | 140 11900 83300 | 2147483647 57888 44 | 0.005 % |
20.65/20.77 c | 64004 | 140 11900 83300 | 2147483647 57988 44 | 0.005 % |
20.75/20.88 c | 64116 | 140 11900 83300 | 2147483647 58100 44 | 0.005 % |
20.85/20.97 c | 64237 | 140 11900 83300 | 2147483647 58221 44 | 0.005 % |
20.95/21.06 c | 64370 | 140 11900 83300 | 2147483647 58354 44 | 0.005 % |
21.05/21.16 c | 64517 | 140 11900 83300 | 2147483647 58501 44 | 0.005 % |
21.25/21.31 c | 64677 | 140 11900 83300 | 2147483647 58661 44 | 0.005 % |
21.35/21.44 c | 64854 | 140 11900 83300 | 2147483647 58838 44 | 0.005 % |
21.45/21.58 c | 65049 | 140 11900 83300 | 2147483647 59033 44 | 0.005 % |
21.65/21.76 c | 65263 | 140 11900 83300 | 2147483647 59247 44 | 0.005 % |
21.85/21.93 c | 65496 | 140 11900 83300 | 2147483647 59480 44 | 0.005 % |
22.05/22.10 c | 65752 | 140 11900 83300 | 2147483647 59736 44 | 0.005 % |
22.14/22.30 c | 66035 | 140 11900 83300 | 2147483647 60019 44 | 0.005 % |
22.44/22.58 c | 66345 | 140 11900 83300 | 2147483647 60329 44 | 0.005 % |
22.74/22.82 c | 66684 | 140 11900 83300 | 2147483647 60668 44 | 0.005 % |
22.95/23.09 c | 67056 | 140 11900 83300 | 2147483647 61040 44 | 0.005 % |
23.34/23.42 c | 67466 | 140 11900 83300 | 2147483647 61450 44 | 0.005 % |
23.64/23.76 c | 67915 | 140 11900 83300 | 2147483647 61899 44 | 0.005 % |
24.04/24.11 c | 68408 | 140 11900 83300 | 2147483647 62392 44 | 0.005 % |
24.34/24.49 c | 68951 | 140 11900 83300 | 2147483647 62935 44 | 0.005 % |
24.74/24.89 c | 69547 | 140 11900 83300 | 2147483647 63531 44 | 0.005 % |
25.34/25.46 c | 70202 | 140 11900 83300 | 63984 54240 44 | 0.005 % |
25.84/25.96 c | 70924 | 140 11900 83300 | 63984 54962 44 | 0.005 % |
26.34/26.45 c | 71717 | 140 11900 83300 | 63984 55755 44 | 0.005 % |
26.94/27.05 c | 72589 | 140 11900 83300 | 63984 56627 44 | 0.005 % |
27.04/27.14 c | 72691 | 140 11900 83300 | 63984 56729 44 | 0.005 % |
27.14/27.23 c | 72801 | 140 11900 83300 | 63984 56839 44 | 0.005 % |
27.24/27.33 c | 72923 | 140 11900 83300 | 63984 56961 44 | 0.005 % |
27.34/27.43 c | 73058 | 140 11900 83300 | 63984 57096 44 | 0.005 % |
27.44/27.56 c | 73205 | 140 11900 83300 | 63984 57243 44 | 0.005 % |
27.54/27.68 c | 73366 | 140 11900 83300 | 63984 57404 44 | 0.005 % |
27.74/27.80 c | 73542 | 140 11900 83300 | 63984 57580 44 | 0.005 % |
27.84/27.98 c | 73735 | 140 11900 83300 | 63984 57773 44 | 0.005 % |
28.04/28.14 c | 73949 | 140 11900 83300 | 63984 57987 44 | 0.005 % |
28.24/28.33 c | 74183 | 140 11900 83300 | 63984 58221 44 | 0.005 % |
28.44/28.52 c | 74439 | 140 11900 83300 | 63984 58477 44 | 0.005 % |
28.64/28.73 c | 74720 | 140 11900 83300 | 63984 58758 44 | 0.005 % |
28.84/28.95 c | 75031 | 140 11900 83300 | 63984 59069 44 | 0.005 % |
29.14/29.21 c | 75371 | 140 11900 83300 | 63984 59409 44 | 0.005 % |
29.34/29.48 c | 75743 | 140 11900 83300 | 63984 59781 44 | 0.005 % |
29.64/29.79 c | 76154 | 140 11900 83300 | 63984 60192 44 | 0.005 % |
29.93/30.09 c | 76605 | 140 11900 83300 | 63984 60643 44 | 0.005 % |
30.23/30.39 c | 77098 | 140 11900 83300 | 63984 61136 44 | 0.005 % |
30.74/30.81 c | 77641 | 140 11900 83300 | 63984 61679 44 | 0.005 % |
31.13/31.27 c | 78237 | 140 11900 83300 | 63984 62275 44 | 0.005 % |
31.63/31.72 c | 78892 | 140 11900 83300 | 63984 62930 44 | 0.005 % |
32.13/32.24 c | 79614 | 140 11900 83300 | 63984 63652 44 | 0.005 % |
32.73/32.84 c | 80408 | 140 11900 83300 | 64039 53298 44 | 0.005 % |
33.23/33.36 c | 81279 | 140 11900 83300 | 64039 54169 44 | 0.005 % |
33.83/33.94 c | 82238 | 140 11900 83300 | 64039 55128 44 | 0.005 % |
33.93/34.00 c | 82338 | 140 11900 83300 | 64039 55228 44 | 0.005 % |
33.93/34.08 c | 82448 | 140 11900 83300 | 64039 55338 44 | 0.005 % |
34.03/34.16 c | 82570 | 140 11900 83300 | 64039 55460 44 | 0.005 % |
34.13/34.27 c | 82703 | 140 11900 83300 | 64039 55593 44 | 0.005 % |
34.23/34.37 c | 82849 | 140 11900 83300 | 64039 55739 44 | 0.005 % |
34.33/34.47 c | 83009 | 140 11900 83300 | 64039 55899 44 | 0.005 % |
34.53/34.61 c | 83186 | 140 11900 83300 | 64039 56076 44 | 0.005 % |
34.63/34.75 c | 83379 | 140 11900 83300 | 64039 56269 44 | 0.005 % |
34.73/34.88 c | 83591 | 140 11900 83300 | 64039 56481 44 | 0.005 % |
34.93/35.05 c | 83826 | 140 11900 83300 | 64039 56716 44 | 0.005 % |
35.13/35.26 c | 84082 | 140 11900 83300 | 64039 56972 44 | 0.005 % |
35.33/35.47 c | 84363 | 140 11900 83300 | 64039 57253 44 | 0.005 % |
35.53/35.67 c | 84673 | 140 11900 83300 | 64039 57563 44 | 0.005 % |
35.83/35.92 c | 85013 | 140 11900 83300 | 64039 57903 44 | 0.005 % |
36.13/36.22 c | 85385 | 140 11900 83300 | 64039 58275 44 | 0.005 % |
36.43/36.54 c | 85800 | 140 11900 83300 | 64039 58690 44 | 0.005 % |
36.73/36.88 c | 86249 | 140 11900 83300 | 64039 59139 44 | 0.005 % |
37.13/37.24 c | 86745 | 140 11900 83300 | 64039 59635 44 | 0.005 % |
37.53/37.63 c | 87287 | 140 11900 83300 | 64039 60177 44 | 0.005 % |
37.93/38.02 c | 87885 | 140 11900 83300 | 64039 60775 44 | 0.005 % |
38.33/38.42 c | 88540 | 140 11900 83300 | 64039 61430 44 | 0.005 % |
38.93/39.01 c | 89261 | 140 11900 83300 | 64039 62151 44 | 0.005 % |
39.53/39.67 c | 90053 | 140 11900 83300 | 62890 62943 44 | 0.005 % |
40.13/40.29 c | 90924 | 140 11900 83300 | 62890 52831 44 | 0.005 % |
40.73/40.84 c | 91882 | 140 11900 83300 | 62890 53789 44 | 0.005 % |
41.33/41.45 c | 92938 | 140 11900 83300 | 62890 54845 44 | 0.005 % |
41.43/41.52 c | 93038 | 140 11900 83300 | 62890 54945 44 | 0.005 % |
41.53/41.61 c | 93148 | 140 11900 83300 | 62890 55055 44 | 0.005 % |
41.64/41.71 c | 93269 | 140 11900 83300 | 62890 55176 44 | 0.005 % |
41.64/41.80 c | 93403 | 140 11900 83300 | 62890 55310 44 | 0.005 % |
41.74/41.90 c | 93550 | 140 11900 83300 | 62890 55457 44 | 0.005 % |
41.93/42.03 c | 93712 | 140 11900 83300 | 62890 55619 44 | 0.005 % |
42.03/42.15 c | 93888 | 140 11900 83300 | 62890 55795 44 | 0.005 % |
42.13/42.28 c | 94081 | 140 11900 83300 | 62890 55988 44 | 0.005 % |
42.33/42.45 c | 94294 | 140 11900 83300 | 62890 56201 44 | 0.005 % |
42.53/42.62 c | 94528 | 140 11900 83300 | 62890 56435 44 | 0.005 % |
42.63/42.80 c | 94784 | 140 11900 83300 | 62890 56691 44 | 0.005 % |
42.93/43.00 c | 95065 | 140 11900 83300 | 62890 56972 44 | 0.005 % |
43.13/43.23 c | 95375 | 140 11900 83300 | 62890 57282 44 | 0.005 % |
43.33/43.48 c | 95714 | 140 11900 83300 | 62890 57621 44 | 0.005 % |
43.63/43.74 c | 96087 | 140 11900 83300 | 62890 57994 44 | 0.005 % |
43.94/44.03 c | 96496 | 140 11900 83300 | 62890 58403 44 | 0.005 % |
44.23/44.34 c | 96945 | 140 11900 83300 | 62890 58852 44 | 0.005 % |
44.53/44.65 c | 97438 | 140 11900 83300 | 62890 59345 44 | 0.005 % |
44.94/45.03 c | 97981 | 140 11900 83300 | 62890 59888 44 | 0.005 % |
45.33/45.45 c | 98577 | 140 11900 83300 | 62890 60484 44 | 0.005 % |
45.93/46.00 c | 99232 | 140 11900 83300 | 62890 61139 44 | 0.005 % |
46.43/46.52 c | 99952 | 140 11900 83300 | 62890 61859 44 | 0.005 % |
46.93/47.06 c | 100744 | 140 11900 83300 | 61907 52170 44 | 0.005 % |
47.43/47.60 c | 101615 | 140 11900 83300 | 61907 53041 44 | 0.005 % |
48.13/48.22 c | 102573 | 140 11900 83300 | 61907 53999 44 | 0.005 % |
48.83/48.91 c | 103627 | 140 11900 83300 | 61907 55053 44 | 0.005 % |
49.53/49.67 c | 104786 | 140 11900 83300 | 61907 56212 44 | 0.005 % |
49.63/49.74 c | 104886 | 140 11900 83300 | 61907 56312 44 | 0.005 % |
49.73/49.81 c | 104999 | 140 11900 83300 | 61907 56425 44 | 0.005 % |
49.83/49.90 c | 105121 | 140 11900 83300 | 61907 56547 44 | 0.005 % |
49.83/49.98 c | 105255 | 140 11900 83300 | 61907 56681 44 | 0.005 % |
49.93/50.09 c | 105402 | 140 11900 83300 | 61907 56828 44 | 0.005 % |
50.03/50.20 c | 105562 | 140 11900 83300 | 61907 56988 44 | 0.005 % |
50.23/50.35 c | 105739 | 140 11900 83300 | 61907 57165 44 | 0.005 % |
50.33/50.49 c | 105932 | 140 11900 83300 | 61907 57358 44 | 0.005 % |
50.53/50.65 c | 106145 | 140 11900 83300 | 61907 57571 44 | 0.005 % |
50.73/50.83 c | 106379 | 140 11900 83300 | 61907 57805 44 | 0.005 % |
50.93/51.01 c | 106635 | 140 11900 83300 | 61907 58061 44 | 0.005 % |
51.13/51.22 c | 106916 | 140 11900 83300 | 61907 58342 44 | 0.005 % |
51.33/51.42 c | 107225 | 140 11900 83300 | 61907 58651 44 | 0.005 % |
51.53/51.66 c | 107566 | 140 11900 83300 | 61907 58992 44 | 0.005 % |
51.83/51.95 c | 107939 | 140 11900 83300 | 61907 59365 44 | 0.005 % |
52.13/52.26 c | 108349 | 140 11900 83300 | 61907 59775 44 | 0.005 % |
52.43/52.59 c | 108799 | 140 11900 83300 | 61907 60225 44 | 0.005 % |
52.83/52.92 c | 109295 | 140 11900 83300 | 61907 60721 44 | 0.005 % |
53.13/53.25 c | 109838 | 140 11900 83300 | 61907 61264 44 | 0.005 % |
53.53/53.68 c | 110436 | 140 11900 83300 | 61427 52104 44 | 0.005 % |
53.93/54.06 c | 111092 | 140 11900 83300 | 61427 52760 44 | 0.005 % |
54.43/54.53 c | 111813 | 140 11900 83300 | 61427 53481 44 | 0.005 % |
54.83/54.98 c | 112606 | 140 11900 83300 | 61427 54274 44 | 0.005 % |
55.33/55.48 c | 113478 | 140 11900 83300 | 61427 55146 44 | 0.005 % |
55.93/56.00 c | 114436 | 140 11900 83300 | 61427 56104 44 | 0.005 % |
56.43/56.58 c | 115489 | 140 11900 83300 | 61427 57157 44 | 0.005 % |
57.13/57.28 c | 116647 | 140 11900 83300 | 61427 58315 44 | 0.005 % |
57.93/58.06 c | 117922 | 140 11900 83300 | 61427 59590 44 | 0.005 % |
58.03/58.12 c | 118022 | 140 11900 83300 | 61427 59690 44 | 0.005 % |
58.13/58.25 c | 118132 | 140 11900 83300 | 61427 59800 44 | 0.005 % |
58.23/58.34 c | 118253 | 140 11900 83300 | 61427 59921 44 | 0.005 % |
58.32/58.45 c | 118386 | 140 11900 83300 | 61427 60054 44 | 0.005 % |
58.42/58.56 c | 118532 | 140 11900 83300 | 61427 60200 44 | 0.005 % |
58.62/58.70 c | 118693 | 140 11900 83300 | 61427 60361 44 | 0.005 % |
58.72/58.85 c | 118869 | 140 11900 83300 | 61427 60537 44 | 0.005 % |
58.92/59.02 c | 119064 | 140 11900 83300 | 61427 60732 44 | 0.005 % |
59.02/59.19 c | 119276 | 140 11900 83300 | 61427 60944 44 | 0.005 % |
59.23/59.38 c | 119509 | 140 11900 83300 | 61427 61177 44 | 0.005 % |
59.42/59.59 c | 119766 | 140 11900 83300 | 61427 61434 44 | 0.005 % |
59.72/59.83 c | 120047 | 140 11900 83300 | 52150 52196 44 | 0.005 % |
59.92/60.05 c | 120356 | 140 11900 83300 | 52150 44429 44 | 0.005 % |
60.12/60.23 c | 120695 | 140 11900 83300 | 52150 44768 44 | 0.005 % |
60.33/60.44 c | 121068 | 140 11900 83300 | 52150 45141 44 | 0.005 % |
60.52/60.66 c | 121478 | 140 11900 83300 | 52150 45551 44 | 0.005 % |
60.82/60.93 c | 121927 | 140 11900 83300 | 52150 46000 44 | 0.005 % |
61.02/61.18 c | 122420 | 140 11900 83300 | 52150 46493 44 | 0.005 % |
61.32/61.47 c | 122962 | 140 11900 83300 | 52150 47035 44 | 0.005 % |
61.72/61.83 c | 123559 | 140 11900 83300 | 52150 47632 44 | 0.005 % |
62.12/62.24 c | 124216 | 140 11900 83300 | 52150 48289 44 | 0.005 % |
62.52/62.66 c | 124937 | 140 11900 83300 | 52150 49010 44 | 0.005 % |
62.92/63.08 c | 125730 | 140 11900 83300 | 52150 49803 44 | 0.005 % |
63.42/63.57 c | 126601 | 140 11900 83300 | 52150 50674 44 | 0.005 % |
63.92/64.07 c | 127559 | 140 11900 83300 | 52150 51632 44 | 0.005 % |
64.72/64.80 c | 128612 | 140 11900 83300 | 52150 46652 44 | 0.005 % |
65.32/65.42 c | 129772 | 140 11900 83300 | 52150 47812 44 | 0.005 % |
65.92/66.08 c | 131046 | 140 11900 83300 | 48042 43661 44 | 0.005 % |
66.71/66.85 c | 132447 | 140 11900 83300 | 48042 45062 44 | 0.005 % |
66.81/66.92 c | 132548 | 140 11900 83300 | 48042 45163 44 | 0.005 % |
66.81/66.99 c | 132658 | 140 11900 83300 | 48042 45273 44 | 0.005 % |
66.92/67.05 c | 132779 | 140 11900 83300 | 48042 45394 44 | 0.005 % |
67.02/67.13 c | 132913 | 140 11900 83300 | 48042 45528 44 | 0.005 % |
67.11/67.22 c | 133060 | 140 11900 83300 | 48042 45675 44 | 0.005 % |
67.21/67.32 c | 133220 | 140 11900 83300 | 48042 45835 44 | 0.005 % |
67.31/67.43 c | 133398 | 140 11900 83300 | 48042 46013 44 | 0.005 % |
67.41/67.54 c | 133591 | 140 11900 83300 | 48042 46206 44 | 0.005 % |
67.51/67.67 c | 133803 | 140 11900 83300 | 48042 46418 44 | 0.005 % |
67.71/67.81 c | 134037 | 140 11900 83300 | 48042 46652 44 | 0.005 % |
67.81/67.99 c | 134294 | 140 11900 83300 | 48042 46909 44 | 0.005 % |
68.02/68.14 c | 134577 | 140 11900 83300 | 48042 47192 44 | 0.005 % |
68.21/68.33 c | 134886 | 140 11900 83300 | 48042 47501 44 | 0.005 % |
68.41/68.53 c | 135225 | 140 11900 83300 | 48042 47840 44 | 0.005 % |
68.61/68.76 c | 135599 | 140 11900 83300 | 48042 43403 44 | 0.005 % |
68.81/68.99 c | 136013 | 140 11900 83300 | 48042 43817 44 | 0.005 % |
69.12/69.28 c | 136463 | 140 11900 83300 | 48042 44267 44 | 0.005 % |
69.41/69.56 c | 136959 | 140 11900 83300 | 48042 44763 44 | 0.005 % |
69.71/69.82 c | 137503 | 140 11900 83300 | 48042 45307 44 | 0.005 % |
70.01/70.15 c | 138099 | 140 11900 83300 | 48042 45903 44 | 0.005 % |
70.41/70.51 c | 138754 | 140 11900 83300 | 48042 46558 44 | 0.005 % |
70.71/70.88 c | 139474 | 140 11900 83300 | 48042 47278 44 | 0.005 % |
71.21/71.30 c | 140266 | 140 11900 83300 | 2147483647 48070 44 | 0.005 % |
71.61/71.72 c | 141137 | 140 11900 83300 | 2147483647 48941 44 | 0.005 % |
72.11/72.21 c | 142098 | 140 11900 83300 | 2147483647 49902 44 | 0.005 % |
72.81/72.92 c | 143152 | 140 11900 83300 | 2147483647 50956 44 | 0.005 % |
73.51/73.64 c | 144311 | 140 11900 83300 | 2147483647 52115 44 | 0.005 % |
74.21/74.35 c | 145586 | 140 11900 83300 | 2147483647 53390 44 | 0.005 % |
75.11/75.24 c | 146987 | 140 11900 83300 | 2147483647 54791 44 | 0.005 % |
76.01/76.11 c | 148527 | 140 11900 83300 | 2147483647 56331 44 | 0.005 % |
76.01/76.20 c | 148627 | 140 11900 83300 | 2147483647 56431 44 | 0.005 % |
76.11/76.27 c | 148737 | 140 11900 83300 | 2147483647 56541 44 | 0.005 % |
76.21/76.36 c | 148858 | 140 11900 83300 | 2147483647 56662 44 | 0.005 % |
76.31/76.45 c | 148991 | 140 11900 83300 | 2147483647 56795 44 | 0.005 % |
76.41/76.54 c | 149139 | 140 11900 83300 | 2147483647 56943 44 | 0.005 % |
76.51/76.65 c | 149300 | 140 11900 83300 | 2147483647 57104 44 | 0.005 % |
76.61/76.78 c | 149476 | 140 11900 83300 | 2147483647 57280 44 | 0.005 % |
76.81/76.91 c | 149669 | 140 11900 83300 | 2147483647 57473 44 | 0.005 % |
76.91/77.05 c | 149881 | 140 11900 83300 | 2147483647 57685 44 | 0.005 % |
77.11/77.26 c | 150114 | 140 11900 83300 | 57804 51151 44 | 0.005 % |
77.31/77.41 c | 150370 | 140 11900 83300 | 57804 51407 44 | 0.005 % |
77.41/77.56 c | 150654 | 140 11900 83300 | 57804 51691 44 | 0.005 % |
77.61/77.76 c | 150966 | 140 11900 83300 | 57804 52003 44 | 0.005 % |
77.81/77.95 c | 151305 | 140 11900 83300 | 57804 52342 44 | 0.005 % |
78.01/78.16 c | 151678 | 140 11900 83300 | 57804 52715 44 | 0.005 % |
78.21/78.40 c | 152087 | 140 11900 83300 | 57804 53124 44 | 0.005 % |
78.61/78.76 c | 152536 | 140 11900 83300 | 57804 53573 44 | 0.005 % |
79.01/79.13 c | 153030 | 140 11900 83300 | 57804 54067 44 | 0.005 % |
79.41/79.53 c | 153574 | 140 11900 83300 | 57804 54611 44 | 0.005 % |
79.81/79.95 c | 154171 | 140 11900 83300 | 57804 55208 44 | 0.005 % |
80.21/80.38 c | 154827 | 140 11900 83300 | 57804 55864 44 | 0.005 % |
80.71/80.81 c | 155548 | 140 11900 83300 | 57804 56585 44 | 0.005 % |
81.21/81.38 c | 156340 | 140 11900 83300 | 57804 57377 44 | 0.005 % |
81.81/81.96 c | 157211 | 140 11900 83300 | 57804 50062 44 | 0.005 % |
82.41/82.53 c | 158169 | 140 11900 83300 | 57804 51020 44 | 0.005 % |
83.01/83.10 c | 159223 | 140 11900 83300 | 57804 52074 44 | 0.005 % |
83.61/83.80 c | 160382 | 140 11900 83300 | 52852 46180 44 | 0.005 % |
84.21/84.34 c | 161655 | 140 11900 83300 | 52852 47453 44 | 0.005 % |
84.91/85.01 c | 163056 | 140 11900 83300 | 52852 48854 44 | 0.005 % |
85.80/85.98 c | 164596 | 140 11900 83300 | 52852 50394 44 | 0.005 % |
86.90/87.05 c | 166291 | 140 11900 83300 | 52852 52089 44 | 0.005 % |
87.00/87.11 c | 166391 | 140 11900 83300 | 52852 52189 44 | 0.005 % |
87.00/87.18 c | 166501 | 140 11900 83300 | 52852 52299 44 | 0.005 % |
87.10/87.28 c | 166624 | 140 11900 83300 | 52852 52422 44 | 0.005 % |
87.20/87.37 c | 166757 | 140 11900 83300 | 52852 52555 44 | 0.005 % |
87.30/87.46 c | 166903 | 140 11900 83300 | 52852 52701 44 | 0.005 % |
87.40/87.58 c | 167063 | 140 11900 83300 | 52852 52861 44 | 0.005 % |
87.60/87.73 c | 167239 | 140 11900 83300 | 52852 47126 44 | 0.005 % |
87.70/87.85 c | 167433 | 140 11900 83300 | 52852 47320 44 | 0.005 % |
87.81/87.98 c | 167645 | 140 11900 83300 | 52852 47532 44 | 0.005 % |
88.00/88.11 c | 167878 | 140 11900 83300 | 52852 47765 44 | 0.005 % |
88.10/88.25 c | 168135 | 140 11900 83300 | 52852 48022 44 | 0.005 % |
88.30/88.42 c | 168416 | 140 11900 83300 | 52852 48303 44 | 0.005 % |
88.40/88.59 c | 168726 | 140 11900 83300 | 52852 48613 44 | 0.005 % |
88.60/88.76 c | 169065 | 140 11900 83300 | 52852 48952 44 | 0.005 % |
88.90/89.02 c | 169437 | 140 11900 83300 | 52852 49324 44 | 0.005 % |
89.10/89.29 c | 169846 | 140 11900 83300 | 52852 49733 44 | 0.005 % |
89.40/89.58 c | 170295 | 140 11900 83300 | 49888 44660 44 | 0.005 % |
89.70/89.85 c | 170789 | 140 11900 83300 | 49888 45154 44 | 0.005 % |
90.00/90.13 c | 171332 | 140 11900 83300 | 49888 45697 44 | 0.005 % |
90.30/90.44 c | 171928 | 140 11900 83300 | 49888 46293 44 | 0.005 % |
90.60/90.78 c | 172585 | 140 11900 83300 | 49888 46950 44 | 0.005 % |
91.10/91.26 c | 173307 | 140 11900 83300 | 49888 47672 44 | 0.005 % |
91.60/91.72 c | 174100 | 140 11900 83300 | 49888 48465 44 | 0.005 % |
92.00/92.19 c | 174971 | 140 11900 83300 | 49888 49336 44 | 0.005 % |
92.60/92.74 c | 175930 | 140 11900 83300 | 49888 45301 44 | 0.005 % |
93.10/93.23 c | 176984 | 140 11900 83300 | 49888 46355 44 | 0.005 % |
93.70/93.80 c | 178142 | 140 11900 83300 | 49888 47513 44 | 0.005 % |
94.30/94.41 c | 179415 | 140 11900 83300 | 49888 48786 44 | 0.005 % |
95.00/95.11 c | 180815 | 140 11900 83300 | 2147483647 50186 44 | 0.005 % |
95.80/95.98 c | 182356 | 140 11900 83300 | 2147483647 51727 44 | 0.005 % |
96.80/96.91 c | 184051 | 140 11900 83300 | 2147483647 53422 44 | 0.005 % |
98.00/98.12 c | 185914 | 140 11900 83300 | 2147483647 55285 44 | 0.005 % |
98.00/98.19 c | 186014 | 140 11900 83300 | 2147483647 55385 44 | 0.005 % |
98.09/98.29 c | 186125 | 140 11900 83300 | 2147483647 55496 44 | 0.005 % |
98.19/98.37 c | 186246 | 140 11900 83300 | 2147483647 55617 44 | 0.005 % |
98.29/98.46 c | 186381 | 140 11900 83300 | 2147483647 55752 44 | 0.005 % |
98.39/98.57 c | 186527 | 140 11900 83300 | 2147483647 55898 44 | 0.005 % |
98.59/98.71 c | 186690 | 140 11900 83300 | 2147483647 56061 44 | 0.005 % |
98.69/98.84 c | 186867 | 140 11900 83300 | 2147483647 56238 44 | 0.005 % |
98.80/98.98 c | 187060 | 140 11900 83300 | 2147483647 56431 44 | 0.005 % |
98.99/99.15 c | 187273 | 140 11900 83300 | 2147483647 56644 44 | 0.005 % |
99.19/99.31 c | 187506 | 140 11900 83300 | 2147483647 56877 44 | 0.005 % |
99.39/99.53 c | 187763 | 140 11900 83300 | 2147483647 57134 44 | 0.005 % |
99.59/99.75 c | 188045 | 140 11900 83300 | 2147483647 57416 44 | 0.005 % |
99.79/99.98 c | 188355 | 140 11900 83300 | 2147483647 57726 44 | 0.005 % |
100.09/100.20 c | 188694 | 140 11900 83300 | 2147483647 58065 44 | 0.005 % |
100.29/100.45 c | 189066 | 140 11900 83300 | 2147483647 58437 44 | 0.005 % |
100.59/100.77 c | 189476 | 140 11900 83300 | 2147483647 58847 44 | 0.005 % |
100.89/101.09 c | 189927 | 140 11900 83300 | 2147483647 59298 44 | 0.005 % |
101.29/101.47 c | 190420 | 140 11900 83300 | 59372 51802 44 | 0.005 % |
101.59/101.78 c | 190963 | 140 11900 83300 | 59372 52345 44 | 0.005 % |
101.89/102.09 c | 191560 | 140 11900 83300 | 59372 52942 44 | 0.005 % |
102.39/102.57 c | 192217 | 140 11900 83300 | 59372 53599 44 | 0.005 % |
102.89/103.06 c | 192938 | 140 11900 83300 | 59372 54320 44 | 0.005 % |
103.39/103.57 c | 193731 | 140 11900 83300 | 59372 55113 44 | 0.005 % |
103.89/104.10 c | 194603 | 140 11900 83300 | 59372 55985 44 | 0.005 % |
104.59/104.71 c | 195561 | 140 11900 83300 | 59372 56943 44 | 0.005 % |
105.29/105.42 c | 196616 | 140 11900 83300 | 59372 57998 44 | 0.005 % |
105.99/106.19 c | 197774 | 140 11900 83300 | 59372 59156 44 | 0.005 % |
106.89/107.01 c | 199047 | 140 11900 83300 | 59372 51925 44 | 0.005 % |
107.69/107.89 c | 200447 | 140 11900 83300 | 52878 45968 44 | 0.005 % |
108.49/108.69 c | 201987 | 140 11900 83300 | 52878 47508 44 | 0.005 % |
109.39/109.52 c | 203681 | 140 11900 83300 | 52878 49202 44 | 0.005 % |
110.28/110.48 c | 205544 | 140 11900 83300 | 52878 51065 44 | 0.005 % |
111.58/111.74 c | 207594 | 140 11900 83300 | 52878 47381 44 | 0.005 % |
111.68/111.80 c | 207694 | 140 11900 83300 | 52878 47481 44 | 0.005 % |
111.68/111.85 c | 207804 | 140 11900 83300 | 52878 47591 44 | 0.005 % |
111.78/111.92 c | 207926 | 140 11900 83300 | 52878 47713 44 | 0.005 % |
111.78/111.99 c | 208060 | 140 11900 83300 | 52878 47847 44 | 0.005 % |
111.88/112.10 c | 208207 | 140 11900 83300 | 52878 47994 44 | 0.005 % |
111.98/112.20 c | 208367 | 140 11900 83300 | 52878 48154 44 | 0.005 % |
112.18/112.31 c | 208546 | 140 11900 83300 | 52878 48333 44 | 0.005 % |
112.28/112.43 c | 208739 | 140 11900 83300 | 52878 48526 44 | 0.005 % |
112.38/112.56 c | 208952 | 140 11900 83300 | 52878 48739 44 | 0.005 % |
112.58/112.71 c | 209185 | 140 11900 83300 | 52878 48972 44 | 0.005 % |
112.68/112.86 c | 209442 | 140 11900 83300 | 52878 49229 44 | 0.005 % |
112.88/113.03 c | 209724 | 140 11900 83300 | 52878 49511 44 | 0.005 % |
112.98/113.19 c | 210035 | 140 11900 83300 | 49789 49822 44 | 0.005 % |
113.28/113.46 c | 210374 | 140 11900 83300 | 49789 44808 44 | 0.005 % |
113.48/113.65 c | 210746 | 140 11900 83300 | 49789 45180 44 | 0.005 % |
113.68/113.87 c | 211155 | 140 11900 83300 | 49789 45589 44 | 0.005 % |
113.98/114.11 c | 211605 | 140 11900 83300 | 49789 46039 44 | 0.005 % |
114.18/114.38 c | 212100 | 140 11900 83300 | 49789 46534 44 | 0.005 % |
114.48/114.68 c | 212642 | 140 11900 83300 | 49789 47076 44 | 0.005 % |
114.88/115.02 c | 213241 | 140 11900 83300 | 49789 47675 44 | 0.005 % |
115.18/115.37 c | 213897 | 140 11900 83300 | 49789 48331 44 | 0.005 % |
115.58/115.77 c | 214618 | 140 11900 83300 | 49789 49052 44 | 0.005 % |
115.98/116.17 c | 215411 | 140 11900 83300 | 49789 49845 44 | 0.005 % |
116.48/116.62 c | 216282 | 140 11900 83300 | 49789 45732 44 | 0.005 % |
116.98/117.10 c | 217240 | 140 11900 83300 | 49789 46690 44 | 0.005 % |
117.48/117.67 c | 218293 | 140 11900 83300 | 49789 47743 44 | 0.005 % |
118.07/118.27 c | 219454 | 140 11900 83300 | 49789 48904 44 | 0.005 % |
118.77/118.96 c | 220727 | 140 11900 83300 | 2147483647 50177 44 | 0.005 % |
119.57/119.71 c | 222129 | 140 11900 83300 | 2147483647 51579 44 | 0.005 % |
120.47/120.60 c | 223669 | 140 11900 83300 | 2147483647 53119 44 | 0.005 % |
121.37/121.52 c | 225363 | 140 11900 83300 | 2147483647 54813 44 | 0.005 % |
122.57/122.72 c | 227227 | 140 11900 83300 | 2147483647 56677 44 | 0.005 % |
123.77/123.94 c | 229276 | 140 11900 83300 | 2147483647 58726 44 | 0.005 % |
125.07/125.27 c | 231529 | 140 11900 83300 | 59451 54601 44 | 0.005 % |
125.17/125.36 c | 231629 | 140 11900 83300 | 59451 54701 44 | 0.005 % |
125.27/125.44 c | 231739 | 140 11900 83300 | 59451 54811 44 | 0.005 % |
125.37/125.53 c | 231860 | 140 11900 83300 | 59451 54932 44 | 0.005 % |
125.47/125.62 c | 231994 | 140 11900 83300 | 59451 55066 44 | 0.005 % |
125.57/125.70 c | 232141 | 140 11900 83300 | 59451 55213 44 | 0.005 % |
125.67/125.80 c | 232302 | 140 11900 83300 | 59451 55374 44 | 0.005 % |
125.77/125.90 c | 232479 | 140 11900 83300 | 59451 55551 44 | 0.005 % |
125.87/126.04 c | 232672 | 140 11900 83300 | 59451 55744 44 | 0.005 % |
126.07/126.20 c | 232884 | 140 11900 83300 | 59451 55956 44 | 0.005 % |
126.17/126.36 c | 233118 | 140 11900 83300 | 59451 56190 44 | 0.005 % |
126.37/126.52 c | 233377 | 140 11900 83300 | 59451 56449 44 | 0.005 % |
126.47/126.69 c | 233658 | 140 11900 83300 | 59451 56730 44 | 0.005 % |
126.67/126.89 c | 233968 | 140 11900 83300 | 59451 57040 44 | 0.005 % |
126.87/127.10 c | 234308 | 140 11900 83300 | 59451 57380 44 | 0.005 % |
127.17/127.35 c | 234680 | 140 11900 83300 | 59451 57752 44 | 0.005 % |
127.47/127.61 c | 235089 | 140 11900 83300 | 59451 58161 44 | 0.005 % |
127.77/127.97 c | 235538 | 140 11900 83300 | 59451 58610 44 | 0.005 % |
128.17/128.34 c | 236031 | 140 11900 83300 | 59451 59103 44 | 0.005 % |
128.67/128.81 c | 236574 | 140 11900 83300 | 59451 51577 44 | 0.005 % |
128.97/129.19 c | 237170 | 140 11900 83300 | 59451 52173 44 | 0.005 % |
129.47/129.61 c | 237827 | 140 11900 83300 | 59451 52830 44 | 0.005 % |
129.87/130.07 c | 238549 | 140 11900 83300 | 59451 53552 44 | 0.005 % |
130.37/130.58 c | 239342 | 140 11900 83300 | 59451 54345 44 | 0.005 % |
130.87/131.09 c | 240213 | 140 11900 83300 | 55004 47788 43 | 0.005 % |
131.37/131.53 c | 241171 | 140 11900 83300 | 55004 48746 44 | 0.005 % |
131.87/132.03 c | 242224 | 140 11900 83300 | 55004 49799 44 | 0.005 % |
132.47/132.68 c | 243383 | 140 11900 83300 | 55004 50958 44 | 0.005 % |
133.27/133.44 c | 244657 | 140 11900 83300 | 55004 52232 44 | 0.005 % |
134.07/134.26 c | 246058 | 140 11900 83300 | 55004 53633 44 | 0.005 % |
135.07/135.29 c | 247600 | 140 11900 83300 | 55004 48774 44 | 0.005 % |
135.97/136.16 c | 249294 | 140 11900 83300 | 55004 50468 44 | 0.005 % |
136.97/137.16 c | 251157 | 140 11900 83300 | 51174 46565 44 | 0.005 % |
137.97/138.17 c | 253211 | 140 11900 83300 | 51174 48619 44 | 0.005 % |
139.06/139.27 c | 255465 | 140 11900 83300 | 51174 50873 44 | 0.005 % |
140.36/140.56 c | 257944 | 140 11900 83300 | 51174 48228 44 | 0.005 % |
140.46/140.62 c | 258046 | 140 11900 83300 | 51174 48330 44 | 0.005 % |
140.57/140.71 c | 258156 | 140 11900 83300 | 51174 48440 44 | 0.005 % |
140.57/140.77 c | 258277 | 140 11900 83300 | 51174 48561 44 | 0.005 % |
140.66/140.86 c | 258411 | 140 11900 83300 | 51174 48695 44 | 0.005 % |
140.76/140.94 c | 258558 | 140 11900 83300 | 51174 48842 44 | 0.005 % |
140.86/141.03 c | 258719 | 140 11900 83300 | 51174 49003 44 | 0.005 % |
140.96/141.16 c | 258895 | 140 11900 83300 | 51174 49179 44 | 0.005 % |
141.06/141.28 c | 259089 | 140 11900 83300 | 51174 49373 44 | 0.005 % |
141.26/141.41 c | 259303 | 140 11900 83300 | 51174 49587 44 | 0.005 % |
141.36/141.55 c | 259539 | 140 11900 83300 | 51174 49823 44 | 0.005 % |
141.56/141.71 c | 259795 | 140 11900 83300 | 51174 50079 44 | 0.005 % |
141.66/141.88 c | 260076 | 140 11900 83300 | 2147483647 50360 44 | 0.005 % |
141.86/142.06 c | 260385 | 140 11900 83300 | 2147483647 50669 44 | 0.005 % |
142.06/142.25 c | 260724 | 140 11900 83300 | 2147483647 51008 44 | 0.005 % |
142.26/142.48 c | 261097 | 140 11900 83300 | 2147483647 51381 44 | 0.005 % |
142.56/142.73 c | 261507 | 140 11900 83300 | 2147483647 51791 44 | 0.005 % |
142.86/143.01 c | 261958 | 140 11900 83300 | 2147483647 52242 44 | 0.005 % |
143.16/143.31 c | 262452 | 140 11900 83300 | 2147483647 52736 44 | 0.005 % |
143.46/143.60 c | 262996 | 140 11900 83300 | 2147483647 53280 44 | 0.005 % |
143.76/143.93 c | 263593 | 140 11900 83300 | 2147483647 53877 44 | 0.005 % |
144.26/144.41 c | 264250 | 140 11900 83300 | 2147483647 54534 44 | 0.005 % |
144.76/144.94 c | 264971 | 140 11900 83300 | 2147483647 55255 44 | 0.005 % |
145.26/145.48 c | 265763 | 140 11900 83300 | 2147483647 56047 44 | 0.005 % |
145.96/146.10 c | 266635 | 140 11900 83300 | 2147483647 56919 44 | 0.005 % |
146.56/146.73 c | 267593 | 140 11900 83300 | 2147483647 57877 44 | 0.005 % |
147.16/147.40 c | 268646 | 140 11900 83300 | 2147483647 58930 44 | 0.005 % |
147.96/148.17 c | 269805 | 140 11900 83300 | 2147483647 60089 44 | 0.005 % |
148.86/149.00 c | 271078 | 140 11900 83300 | 60285 53086 44 | 0.005 % |
149.66/149.84 c | 272479 | 140 11900 83300 | 60285 54487 44 | 0.005 % |
150.46/150.69 c | 274020 | 140 11900 83300 | 60285 56028 44 | 0.005 % |
151.56/151.75 c | 275715 | 140 11900 83300 | 60285 57723 44 | 0.005 % |
152.67/152.85 c | 277578 | 140 11900 83300 | 60285 59586 44 | 0.005 % |
153.96/154.14 c | 279629 | 140 11900 83300 | 60285 53190 44 | 0.005 % |
155.26/155.41 c | 281883 | 140 11900 83300 | 53562 47997 44 | 0.005 % |
156.65/156.84 c | 284361 | 140 11900 83300 | 53562 50475 44 | 0.005 % |
158.26/158.42 c | 287087 | 140 11900 83300 | 53562 53201 44 | 0.005 % |
158.35/158.50 c | 287187 | 140 11900 83300 | 53562 53301 44 | 0.005 % |
158.35/158.59 c | 287297 | 140 11900 83300 | 53562 53411 44 | 0.005 % |
158.45/158.68 c | 287419 | 140 11900 83300 | 53562 53533 44 | 0.005 % |
158.65/158.82 c | 287552 | 140 11900 83300 | 53562 47611 44 | 0.005 % |
158.75/158.93 c | 287698 | 140 11900 83300 | 53562 47757 44 | 0.005 % |
158.85/159.03 c | 287858 | 140 11900 83300 | 53562 47917 44 | 0.005 % |
158.95/159.13 c | 288034 | 140 11900 83300 | 53562 48093 44 | 0.005 % |
159.05/159.25 c | 288231 | 140 11900 83300 | 53562 48290 44 | 0.005 % |
159.15/159.37 c | 288444 | 140 11900 83300 | 53562 48503 44 | 0.005 % |
159.36/159.51 c | 288677 | 140 11900 83300 | 53562 48736 44 | 0.005 % |
159.45/159.65 c | 288935 | 140 11900 83300 | 53562 48994 44 | 0.005 % |
159.65/159.82 c | 289217 | 140 11900 83300 | 53562 49276 44 | 0.005 % |
159.75/159.98 c | 289527 | 140 11900 83300 | 53562 49586 44 | 0.005 % |
160.05/160.23 c | 289867 | 140 11900 83300 | 53562 49926 44 | 0.005 % |
160.36/160.50 c | 290241 | 140 11900 83300 | 50059 44555 44 | 0.005 % |
160.55/160.75 c | 290650 | 140 11900 83300 | 50059 44964 44 | 0.005 % |
160.85/161.01 c | 291100 | 140 11900 83300 | 50059 45414 44 | 0.005 % |
161.05/161.26 c | 291593 | 140 11900 83300 | 50059 45907 44 | 0.005 % |
161.35/161.58 c | 292136 | 140 11900 83300 | 50059 46450 44 | 0.005 % |
161.75/161.94 c | 292732 | 140 11900 83300 | 50059 47046 44 | 0.005 % |
162.15/162.31 c | 293387 | 140 11900 83300 | 50059 47701 44 | 0.005 % |
162.55/162.70 c | 294108 | 140 11900 83300 | 50059 48422 44 | 0.005 % |
162.95/163.13 c | 294900 | 140 11900 83300 | 50059 49214 44 | 0.005 % |
163.45/163.64 c | 295771 | 140 11900 83300 | 50059 50085 44 | 0.005 % |
163.95/164.13 c | 296729 | 140 11900 83300 | 50059 46035 44 | 0.005 % |
164.45/164.66 c | 297782 | 140 11900 83300 | 50059 47088 44 | 0.005 % |
165.05/165.28 c | 298940 | 140 11900 83300 | 50059 48246 44 | 0.005 % |
165.75/165.93 c | 300213 | 140 11900 83300 | 2147483647 49519 44 | 0.005 % |
166.45/166.66 c | 301614 | 140 11900 83300 | 2147483647 50920 44 | 0.005 % |
167.35/167.55 c | 303155 | 140 11900 83300 | 2147483647 52461 44 | 0.005 % |
168.35/168.50 c | 304849 | 140 11900 83300 | 2147483647 54155 44 | 0.005 % |
169.35/169.53 c | 306714 | 140 11900 83300 | 2147483647 56020 44 | 0.005 % |
170.45/170.64 c | 308763 | 140 11900 83300 | 2147483647 58069 44 | 0.005 % |
171.84/172.00 c | 311018 | 140 11900 83300 | 59306 54146 44 | 0.005 % |
173.44/173.68 c | 313496 | 140 11900 83300 | 59306 56624 44 | 0.005 % |
175.24/175.48 c | 316221 | 140 11900 83300 | 59306 59349 44 | 0.005 % |
177.04/177.21 c | 319218 | 140 11900 83300 | 59306 54132 44 | 0.005 % |
177.04/177.28 c | 319320 | 140 11900 83300 | 59306 54234 44 | 0.005 % |
177.14/177.34 c | 319430 | 140 11900 83300 | 59306 54344 44 | 0.005 % |
177.24/177.42 c | 319551 | 140 11900 83300 | 59306 54465 44 | 0.005 % |
177.34/177.54 c | 319684 | 140 11900 83300 | 59306 54598 44 | 0.005 % |
177.44/177.63 c | 319830 | 140 11900 83300 | 59306 54744 44 | 0.005 % |
177.54/177.74 c | 319991 | 140 11900 83300 | 59306 54905 44 | 0.005 % |
177.74/177.90 c | 320168 | 140 11900 83300 | 54914 47625 44 | 0.005 % |
177.84/178.01 c | 320362 | 140 11900 83300 | 54914 47819 44 | 0.005 % |
177.95/178.13 c | 320574 | 140 11900 83300 | 54914 48031 44 | 0.005 % |
178.05/178.29 c | 320807 | 140 11900 83300 | 54914 48264 44 | 0.005 % |
178.24/178.45 c | 321063 | 140 11900 83300 | 54914 48520 44 | 0.005 % |
178.44/178.64 c | 321346 | 140 11900 83300 | 54914 48803 44 | 0.005 % |
178.64/178.82 c | 321655 | 140 11900 83300 | 54914 49112 44 | 0.005 % |
178.74/178.99 c | 321995 | 140 11900 83300 | 54914 49452 44 | 0.005 % |
179.05/179.21 c | 322368 | 140 11900 83300 | 54914 49825 44 | 0.005 % |
179.24/179.44 c | 322777 | 140 11900 83300 | 54914 50234 44 | 0.005 % |
179.44/179.68 c | 323229 | 140 11900 83300 | 54914 50686 44 | 0.005 % |
179.74/179.97 c | 323723 | 140 11900 83300 | 54914 51180 44 | 0.005 % |
180.04/180.30 c | 324265 | 140 11900 83300 | 54914 51722 44 | 0.005 % |
180.44/180.68 c | 324862 | 140 11900 83300 | 54914 52319 44 | 0.005 % |
180.84/181.07 c | 325518 | 140 11900 83300 | 54914 52975 44 | 0.005 % |
181.35/181.56 c | 326239 | 140 11900 83300 | 54914 53696 44 | 0.005 % |
181.84/182.04 c | 327032 | 140 11900 83300 | 54914 54489 44 | 0.005 % |
182.34/182.58 c | 327903 | 140 11900 83300 | 54914 48370 44 | 0.005 % |
182.84/183.09 c | 328861 | 140 11900 83300 | 54914 49328 44 | 0.005 % |
183.44/183.70 c | 329916 | 140 11900 83300 | 54914 50383 44 | 0.005 % |
184.04/184.27 c | 331076 | 140 11900 83300 | 50467 45517 44 | 0.005 % |
184.74/184.98 c | 332350 | 140 11900 83300 | 50467 46791 44 | 0.005 % |
185.54/185.75 c | 333752 | 140 11900 83300 | 50467 48193 44 | 0.005 % |
186.34/186.55 c | 335292 | 140 11900 83300 | 50467 49733 44 | 0.005 % |
187.24/187.43 c | 336986 | 140 11900 83300 | 50467 46375 44 | 0.005 % |
188.14/188.34 c | 338849 | 140 11900 83300 | 50467 48238 44 | 0.005 % |
189.14/189.38 c | 340898 | 140 11900 83300 | 2147483647 50287 44 | 0.005 % |
190.34/190.53 c | 343151 | 140 11900 83300 | 2147483647 52540 44 | 0.005 % |
191.84/192.00 c | 345630 | 140 11900 83300 | 2147483647 55019 44 | 0.005 % |
193.44/193.64 c | 348355 | 140 11900 83300 | 2147483647 57744 44 | 0.005 % |
195.23/195.40 c | 351353 | 140 11900 83300 | 2147483647 60742 44 | 0.005 % |
197.33/197.52 c | 354650 | 140 11900 83300 | 2147483647 64039 44 | 0.005 % |
197.33/197.59 c | 354751 | 140 11900 83300 | 2147483647 64140 44 | 0.005 % |
197.43/197.67 c | 354861 | 140 11900 83300 | 2147483647 64250 44 | 0.005 % |
197.53/197.78 c | 354985 | 140 11900 83300 | 2147483647 64374 44 | 0.005 % |
197.63/197.89 c | 355118 | 140 11900 83300 | 2147483647 64507 44 | 0.005 % |
197.74/197.99 c | 355265 | 140 11900 83300 | 2147483647 64654 44 | 0.005 % |
197.93/198.12 c | 355428 | 140 11900 83300 | 2147483647 64817 44 | 0.005 % |
198.03/198.26 c | 355605 | 140 11900 83300 | 2147483647 64994 44 | 0.005 % |
198.23/198.41 c | 355800 | 140 11900 83300 | 2147483647 65189 44 | 0.005 % |
198.33/198.55 c | 356012 | 140 11900 83300 | 2147483647 65401 44 | 0.005 % |
198.53/198.77 c | 356246 | 140 11900 83300 | 2147483647 65635 44 | 0.005 % |
198.73/198.98 c | 356503 | 140 11900 83300 | 2147483647 65892 44 | 0.005 % |
199.03/199.26 c | 356786 | 140 11900 83300 | 2147483647 66175 44 | 0.005 % |
199.33/199.52 c | 357097 | 140 11900 83300 | 2147483647 66486 44 | 0.005 % |
199.63/199.84 c | 357437 | 140 11900 83300 | 2147483647 66826 44 | 0.005 % |
199.93/200.10 c | 357810 | 140 11900 83300 | 2147483647 67199 44 | 0.005 % |
200.23/200.41 c | 358219 | 140 11900 83300 | 2147483647 67608 44 | 0.005 % |
200.53/200.75 c | 358669 | 140 11900 83300 | 2147483647 68058 44 | 0.005 % |
200.93/201.15 c | 359163 | 140 11900 83300 | 2147483647 68552 44 | 0.005 % |
201.32/201.58 c | 359705 | 140 11900 83300 | 2147483647 69094 44 | 0.005 % |
201.92/202.12 c | 360302 | 140 11900 83300 | 69390 58015 43 | 0.005 % |
202.32/202.54 c | 360957 | 140 11900 83300 | 69390 58670 43 | 0.005 % |
202.82/203.03 c | 361677 | 140 11900 83300 | 69390 59390 43 | 0.005 % |
203.32/203.51 c | 362469 | 140 11900 83300 | 69390 60182 44 | 0.005 % |
203.82/204.07 c | 363340 | 140 11900 83300 | 69390 61053 44 | 0.005 % |
204.52/204.74 c | 364298 | 140 11900 83300 | 69390 62011 43 | 0.005 % |
205.22/205.45 c | 365352 | 140 11900 83300 | 69390 63065 43 | 0.005 % |
206.02/206.26 c | 366513 | 140 11900 83300 | 69390 64226 44 | 0.005 % |
207.02/207.22 c | 367787 | 140 11900 83300 | 69390 65500 44 | 0.005 % |
208.02/208.29 c | 369189 | 140 11900 83300 | 69390 66902 44 | 0.005 % |
209.32/209.52 c | 370731 | 140 11900 83300 | 67713 56272 43 | 0.005 % |
210.42/210.62 c | 372425 | 140 11900 83300 | 67713 57966 43 | 0.005 % |
211.52/211.75 c | 374289 | 140 11900 83300 | 67713 59830 43 | 0.005 % |
212.72/212.99 c | 376338 | 140 11900 83300 | 67713 61879 43 | 0.005 % |
214.22/214.41 c | 378592 | 140 11900 83300 | 67713 64133 43 | 0.005 % |
215.92/216.19 c | 381074 | 140 11900 83300 | 65543 55811 43 | 0.005 % |
217.62/217.87 c | 383799 | 140 11900 83300 | 65543 58536 43 | 0.005 % |
219.42/219.68 c | 386797 | 140 11900 83300 | 65543 61534 44 | 0.005 % |
221.61/221.81 c | 390094 | 140 11900 83300 | 64737 54726 44 | 0.005 % |
223.91/224.12 c | 393719 | 140 11900 83300 | 64737 58351 44 | 0.005 % |
223.91/224.19 c | 393819 | 140 11900 83300 | 64737 58451 44 | 0.005 % |
224.01/224.27 c | 393933 | 140 11900 83300 | 64737 58565 44 | 0.005 % |
224.12/224.37 c | 394055 | 140 11900 83300 | 64737 58687 44 | 0.005 % |
224.22/224.45 c | 394188 | 140 11900 83300 | 64737 58820 44 | 0.005 % |
224.31/224.55 c | 394334 | 140 11900 83300 | 64737 58966 44 | 0.005 % |
224.41/224.68 c | 394495 | 140 11900 83300 | 64737 59127 44 | 0.005 % |
224.51/224.79 c | 394671 | 140 11900 83300 | 64737 59303 44 | 0.005 % |
224.71/224.93 c | 394864 | 140 11900 83300 | 64737 59496 44 | 0.005 % |
224.81/225.06 c | 395076 | 140 11900 83300 | 64737 59708 44 | 0.005 % |
225.01/225.25 c | 395309 | 140 11900 83300 | 64737 59941 44 | 0.005 % |
225.22/225.41 c | 395566 | 140 11900 83300 | 64737 60198 44 | 0.005 % |
225.41/225.61 c | 395847 | 140 11900 83300 | 64737 60479 44 | 0.005 % |
225.61/225.82 c | 396156 | 140 11900 83300 | 64737 60788 44 | 0.005 % |
225.81/226.05 c | 396495 | 140 11900 83300 | 64737 61127 44 | 0.005 % |
226.01/226.29 c | 396868 | 140 11900 83300 | 64737 61500 44 | 0.005 % |
226.32/226.54 c | 397280 | 140 11900 83300 | 64737 61912 44 | 0.005 % |
226.61/226.85 c | 397731 | 140 11900 83300 | 64737 62363 44 | 0.005 % |
227.01/227.22 c | 398224 | 140 11900 83300 | 64737 62856 44 | 0.005 % |
227.41/227.60 c | 398766 | 140 11900 83300 | 64737 63398 44 | 0.005 % |
227.71/227.99 c | 399363 | 140 11900 83300 | 64737 63995 44 | 0.005 % |
228.21/228.45 c | 400018 | 140 11900 83300 | 64634 64650 44 | 0.005 % |
228.81/229.09 c | 400740 | 140 11900 83300 | 64634 54804 44 | 0.005 % |
229.31/229.59 c | 401532 | 140 11900 83300 | 64634 55596 44 | 0.005 % |
229.91/230.18 c | 402403 | 140 11900 83300 | 64634 56467 44 | 0.005 % |
230.61/230.81 c | 403362 | 140 11900 83300 | 64634 57426 44 | 0.005 % |
231.21/231.48 c | 404416 | 140 11900 83300 | 64634 58480 44 | 0.005 % |
232.01/232.26 c | 405574 | 140 11900 83300 | 64634 59638 44 | 0.005 % |
233.01/233.22 c | 406847 | 140 11900 83300 | 64634 60911 44 | 0.005 % |
233.91/234.16 c | 408247 | 140 11900 83300 | 64634 62311 44 | 0.005 % |
235.01/235.22 c | 409787 | 140 11900 83300 | 64634 63851 44 | 0.005 % |
236.01/236.21 c | 411481 | 140 11900 83300 | 64064 54830 44 | 0.005 % |
237.01/237.26 c | 413344 | 140 11900 83300 | 64064 56693 44 | 0.005 % |
238.11/238.38 c | 415393 | 140 11900 83300 | 64064 58742 44 | 0.005 % |
239.41/239.68 c | 417647 | 140 11900 83300 | 64064 60996 44 | 0.005 % |
241.11/241.34 c | 420126 | 140 11900 83300 | 63350 54165 44 | 0.005 % |
242.71/242.99 c | 422852 | 140 11900 83300 | 63350 56891 44 | 0.005 % |
244.50/244.71 c | 425849 | 140 11900 83300 | 63350 59888 44 | 0.005 % |
246.40/246.67 c | 429146 | 140 11900 83300 | 63350 63185 44 | 0.005 % |
248.40/248.69 c | 432772 | 140 11900 83300 | 55059 50106 44 | 0.005 % |
250.50/250.75 c | 436759 | 140 11900 83300 | 55059 54093 44 | 0.005 % |
250.60/250.81 c | 436860 | 140 11900 83300 | 55059 54194 44 | 0.005 % |
250.60/250.89 c | 436970 | 140 11900 83300 | 55059 54304 44 | 0.005 % |
250.70/250.97 c | 437091 | 140 11900 83300 | 55059 54425 44 | 0.005 % |
250.80/251.10 c | 437224 | 140 11900 83300 | 55059 54558 44 | 0.005 % |
251.00/251.21 c | 437371 | 140 11900 83300 | 55059 54705 44 | 0.005 % |
251.10/251.31 c | 437531 | 140 11900 83300 | 55059 54865 44 | 0.005 % |
251.20/251.44 c | 437707 | 140 11900 83300 | 55059 55041 44 | 0.005 % |
251.29/251.60 c | 437900 | 140 11900 83300 | 55059 49086 44 | 0.005 % |
251.49/251.74 c | 438113 | 140 11900 83300 | 55059 49299 44 | 0.005 % |
251.60/251.88 c | 438348 | 140 11900 83300 | 55059 49534 44 | 0.005 % |
251.79/252.02 c | 438604 | 140 11900 83300 | 55059 49790 44 | 0.005 % |
251.89/252.19 c | 438886 | 140 11900 83300 | 55059 50072 44 | 0.005 % |
252.09/252.36 c | 439196 | 140 11900 83300 | 55059 50382 44 | 0.005 % |
252.29/252.56 c | 439535 | 140 11900 83300 | 55059 50721 44 | 0.005 % |
252.49/252.78 c | 439907 | 140 11900 83300 | 55059 51093 44 | 0.005 % |
252.80/253.05 c | 440317 | 140 11900 83300 | 51187 45744 44 | 0.005 % |
253.09/253.30 c | 440766 | 140 11900 83300 | 51187 46193 44 | 0.005 % |
253.29/253.55 c | 441260 | 140 11900 83300 | 51187 46687 44 | 0.005 % |
253.59/253.82 c | 441802 | 140 11900 83300 | 51187 47229 44 | 0.005 % |
253.90/254.12 c | 442398 | 140 11900 83300 | 51187 47825 44 | 0.005 % |
254.19/254.47 c | 443053 | 140 11900 83300 | 51187 48480 44 | 0.005 % |
254.59/254.87 c | 443773 | 140 11900 83300 | 51187 49200 44 | 0.005 % |
255.09/255.32 c | 444566 | 140 11900 83300 | 51187 49993 44 | 0.005 % |
255.59/255.86 c | 445438 | 140 11900 83300 | 51187 50865 44 | 0.005 % |
256.10/256.38 c | 446396 | 140 11900 83300 | 51187 46698 44 | 0.005 % |
256.59/256.87 c | 447449 | 140 11900 83300 | 51187 47751 44 | 0.005 % |
257.19/257.47 c | 448607 | 140 11900 83300 | 51187 48909 44 | 0.005 % |
257.79/258.07 c | 449881 | 140 11900 83300 | 51187 50183 44 | 0.005 % |
258.49/258.79 c | 451281 | 140 11900 83300 | 2147483647 51583 44 | 0.005 % |
259.29/259.60 c | 452824 | 140 11900 83300 | 2147483647 53126 44 | 0.005 % |
260.19/260.47 c | 454518 | 140 11900 83300 | 2147483647 54820 44 | 0.005 % |
261.39/261.70 c | 456381 | 140 11900 83300 | 2147483647 56683 44 | 0.005 % |
262.59/262.89 c | 458432 | 140 11900 83300 | 2147483647 58734 44 | 0.005 % |
263.99/264.29 c | 460685 | 140 11900 83300 | 60304 53588 44 | 0.005 % |
265.39/265.68 c | 463164 | 140 11900 83300 | 60304 56067 44 | 0.005 % |
266.99/267.28 c | 465891 | 140 11900 83300 | 60304 58794 44 | 0.005 % |
268.69/268.98 c | 468888 | 140 11900 83300 | 60304 54407 44 | 0.005 % |
270.59/270.87 c | 472184 | 140 11900 83300 | 55519 51061 44 | 0.005 % |
272.59/272.89 c | 475809 | 140 11900 83300 | 55519 54686 44 | 0.005 % |
274.79/275.10 c | 479796 | 140 11900 83300 | 55519 52768 44 | 0.005 % |
277.28/277.57 c | 484182 | 140 11900 83300 | 52972 51668 44 | 0.005 % |
277.38/277.63 c | 484284 | 140 11900 83300 | 52972 51770 44 | 0.005 % |
277.48/277.71 c | 484396 | 140 11900 83300 | 52972 51882 44 | 0.005 % |
277.48/277.79 c | 484517 | 140 11900 83300 | 52972 52003 44 | 0.005 % |
277.68/277.90 c | 484652 | 140 11900 83300 | 52972 52138 44 | 0.005 % |
277.68/277.98 c | 484798 | 140 11900 83300 | 52972 52284 44 | 0.005 % |
277.78/278.07 c | 484958 | 140 11900 83300 | 52972 52444 44 | 0.005 % |
277.88/278.18 c | 485135 | 140 11900 83300 | 52972 52621 44 | 0.005 % |
277.99/278.29 c | 485328 | 140 11900 83300 | 52972 52814 44 | 0.005 % |
278.18/278.42 c | 485540 | 140 11900 83300 | 52972 53026 44 | 0.005 % |
278.38/278.63 c | 485774 | 140 11900 83300 | 52972 47958 44 | 0.005 % |
278.48/278.78 c | 486030 | 140 11900 83300 | 52972 48214 44 | 0.005 % |
278.68/278.97 c | 486312 | 140 11900 83300 | 52972 48496 44 | 0.005 % |
278.88/279.15 c | 486622 | 140 11900 83300 | 52972 48806 44 | 0.005 % |
279.09/279.37 c | 486961 | 140 11900 83300 | 52972 49145 44 | 0.005 % |
279.28/279.57 c | 487333 | 140 11900 83300 | 52972 49517 44 | 0.005 % |
279.48/279.79 c | 487743 | 140 11900 83300 | 52972 49927 44 | 0.005 % |
279.78/280.02 c | 488192 | 140 11900 83300 | 52972 50376 44 | 0.005 % |
279.98/280.28 c | 488685 | 140 11900 83300 | 52972 50869 44 | 0.005 % |
280.29/280.57 c | 489227 | 140 11900 83300 | 52972 51411 44 | 0.005 % |
280.58/280.90 c | 489825 | 140 11900 83300 | 52972 52009 44 | 0.005 % |
280.98/281.27 c | 490480 | 140 11900 83300 | 2147483647 52664 44 | 0.005 % |
281.38/281.68 c | 491202 | 140 11900 83300 | 2147483647 53386 44 | 0.005 % |
281.88/282.12 c | 491995 | 140 11900 83300 | 2147483647 54179 44 | 0.005 % |
282.38/282.67 c | 492867 | 140 11900 83300 | 2147483647 55051 44 | 0.005 % |
282.98/283.23 c | 493825 | 140 11900 83300 | 2147483647 56009 44 | 0.005 % |
283.58/283.85 c | 494878 | 140 11900 83300 | 2147483647 57062 44 | 0.005 % |
284.28/284.58 c | 496037 | 140 11900 83300 | 2147483647 58221 44 | 0.005 % |
285.18/285.48 c | 497310 | 140 11900 83300 | 2147483647 59494 44 | 0.005 % |
286.18/286.40 c | 498710 | 140 11900 83300 | 2147483647 60894 44 | 0.005 % |
287.18/287.47 c | 500251 | 140 11900 83300 | 62184 53886 44 | 0.005 % |
288.18/288.42 c | 501946 | 140 11900 83300 | 62184 55581 44 | 0.005 % |
289.28/289.58 c | 503809 | 140 11900 83300 | 62184 57444 44 | 0.005 % |
290.47/290.79 c | 505858 | 140 11900 83300 | 62184 59493 44 | 0.005 % |
291.87/292.19 c | 508111 | 140 11900 83300 | 62184 61746 44 | 0.005 % |
293.38/293.69 c | 510592 | 140 11900 83300 | 55414 48754 44 | 0.005 % |
294.77/295.09 c | 513317 | 140 11900 83300 | 55414 51479 44 | 0.005 % |
296.47/296.74 c | 516315 | 140 11900 83300 | 55414 54477 44 | 0.005 % |
298.37/298.66 c | 519612 | 140 11900 83300 | 55414 51045 44 | 0.005 % |
300.17/300.44 c | 523238 | 140 11900 83300 | 51433 48795 44 | 0.005 % |
302.27/302.58 c | 527226 | 140 11900 83300 | 51433 47634 44 | 0.005 % |
304.67/304.93 c | 531611 | 140 11900 83300 | 2147483647 52019 43 | 0.005 % |
307.37/307.69 c | 536436 | 140 11900 83300 | 2147483647 56844 43 | 0.005 % |
307.47/307.74 c | 536536 | 140 11900 83300 | 2147483647 56944 43 | 0.005 % |
307.57/307.84 c | 536646 | 140 11900 83300 | 2147483647 57054 43 | 0.005 % |
307.67/307.92 c | 536768 | 140 11900 83300 | 2147483647 57176 43 | 0.005 % |
307.77/308.02 c | 536902 | 140 11900 83300 | 2147483647 57310 43 | 0.005 % |
307.87/308.13 c | 537048 | 140 11900 83300 | 2147483647 57456 43 | 0.005 % |
307.97/308.25 c | 537208 | 140 11900 83300 | 2147483647 57616 43 | 0.005 % |
308.07/308.37 c | 537385 | 140 11900 83300 | 2147483647 57793 43 | 0.005 % |
308.27/308.52 c | 537579 | 140 11900 83300 | 2147483647 57987 43 | 0.005 % |
308.37/308.66 c | 537791 | 140 11900 83300 | 2147483647 58199 43 | 0.005 % |
308.57/308.80 c | 538024 | 140 11900 83300 | 2147483647 58432 43 | 0.005 % |
308.67/309.00 c | 538281 | 140 11900 83300 | 2147483647 58689 43 | 0.005 % |
308.87/309.18 c | 538562 | 140 11900 83300 | 2147483647 58970 43 | 0.005 % |
309.17/309.40 c | 538871 | 140 11900 83300 | 2147483647 59279 43 | 0.005 % |
309.37/309.65 c | 539210 | 140 11900 83300 | 2147483647 59618 43 | 0.005 % |
309.67/309.91 c | 539583 | 140 11900 83300 | 2147483647 59991 43 | 0.005 % |
309.87/310.20 c | 539993 | 140 11900 83300 | 2147483647 60401 43 | 0.005 % |
310.27/310.53 c | 540443 | 140 11900 83300 | 60410 53678 43 | 0.005 % |
310.57/310.83 c | 540939 | 140 11900 83300 | 60410 54174 43 | 0.005 % |
310.86/311.12 c | 541481 | 140 11900 83300 | 60410 54716 43 | 0.005 % |
311.26/311.51 c | 542079 | 140 11900 83300 | 60410 55314 43 | 0.005 % |
311.66/311.92 c | 542734 | 140 11900 83300 | 60410 55969 43 | 0.005 % |
312.07/312.37 c | 543455 | 140 11900 83300 | 60410 56690 43 | 0.005 % |
312.56/312.84 c | 544247 | 140 11900 83300 | 60410 57482 43 | 0.005 % |
313.06/313.33 c | 545118 | 140 11900 83300 | 60410 58353 43 | 0.005 % |
313.66/313.92 c | 546076 | 140 11900 83300 | 60410 59311 43 | 0.005 % |
314.37/314.62 c | 547129 | 140 11900 83300 | 60410 60364 43 | 0.005 % |
315.06/315.35 c | 548289 | 140 11900 83300 | 60410 53397 43 | 0.005 % |
315.76/316.04 c | 549562 | 140 11900 83300 | 60410 54670 43 | 0.005 % |
316.57/316.90 c | 550963 | 140 11900 83300 | 55108 48666 43 | 0.005 % |
317.46/317.71 c | 552504 | 140 11900 83300 | 55108 50207 43 | 0.005 % |
318.36/318.60 c | 554198 | 140 11900 83300 | 55108 51901 43 | 0.005 % |
319.36/319.67 c | 556061 | 140 11900 83300 | 55108 53764 43 | 0.005 % |
320.46/320.78 c | 558110 | 140 11900 83300 | 55108 49485 43 | 0.005 % |
321.66/321.91 c | 560363 | 140 11900 83300 | 51375 46210 43 | 0.005 % |
322.76/323.07 c | 562844 | 140 11900 83300 | 51375 48691 43 | 0.005 % |
324.26/324.57 c | 565569 | 140 11900 83300 | 51375 51416 43 | 0.005 % |
325.76/326.06 c | 568566 | 140 11900 83300 | 51375 49272 43 | 0.005 % |
327.66/327.97 c | 571862 | 140 11900 83300 | 2147483647 52568 44 | 0.005 % |
329.66/330.00 c | 575489 | 140 11900 83300 | 2147483647 56195 44 | 0.005 % |
332.36/332.61 c | 579476 | 140 11900 83300 | 2147483647 60182 44 | 0.005 % |
335.15/335.41 c | 583861 | 140 11900 83300 | 60706 57157 44 | 0.005 % |
337.95/338.28 c | 588685 | 140 11900 83300 | 60706 54371 44 | 0.005 % |
341.15/341.44 c | 593992 | 140 11900 83300 | 55688 52579 44 | 0.005 % |
341.25/341.50 c | 594092 | 140 11900 83300 | 55688 52679 44 | 0.005 % |
341.25/341.58 c | 594202 | 140 11900 83300 | 55688 52789 44 | 0.005 % |
341.35/341.66 c | 594324 | 140 11900 83300 | 55688 52911 44 | 0.005 % |
341.45/341.75 c | 594457 | 140 11900 83300 | 55688 53044 44 | 0.005 % |
341.55/341.87 c | 594604 | 140 11900 83300 | 55688 53191 44 | 0.005 % |
341.65/341.97 c | 594766 | 140 11900 83300 | 55688 53353 44 | 0.005 % |
341.75/342.08 c | 594942 | 140 11900 83300 | 55688 53529 44 | 0.005 % |
341.95/342.21 c | 595136 | 140 11900 83300 | 55688 53723 44 | 0.005 % |
342.05/342.33 c | 595349 | 140 11900 83300 | 55688 53936 44 | 0.005 % |
342.15/342.47 c | 595582 | 140 11900 83300 | 55688 54169 44 | 0.005 % |
342.35/342.67 c | 595838 | 140 11900 83300 | 55688 54425 44 | 0.005 % |
342.54/342.85 c | 596120 | 140 11900 83300 | 55688 54707 44 | 0.005 % |
342.74/343.06 c | 596429 | 140 11900 83300 | 55688 55016 44 | 0.005 % |
342.95/343.27 c | 596770 | 140 11900 83300 | 55688 55357 44 | 0.005 % |
343.24/343.52 c | 597142 | 140 11900 83300 | 55688 55729 44 | 0.005 % |
343.55/343.80 c | 597552 | 140 11900 83300 | 55688 49247 44 | 0.005 % |
343.85/344.11 c | 598003 | 140 11900 83300 | 55688 49698 44 | 0.005 % |
344.15/344.42 c | 598496 | 140 11900 83300 | 55688 50191 44 | 0.005 % |
344.45/344.74 c | 599038 | 140 11900 83300 | 55688 50733 44 | 0.005 % |
344.84/345.14 c | 599634 | 140 11900 83300 | 55688 51329 44 | 0.005 % |
345.24/345.56 c | 600290 | 140 11900 83300 | 51695 45594 44 | 0.005 % |
345.64/345.91 c | 601010 | 140 11900 83300 | 51695 46314 44 | 0.005 % |
346.04/346.38 c | 601802 | 140 11900 83300 | 51695 47106 44 | 0.005 % |
346.64/346.94 c | 602673 | 140 11900 83300 | 51695 47977 44 | 0.005 % |
347.14/347.44 c | 603633 | 140 11900 83300 | 51695 48937 44 | 0.005 % |
347.74/348.03 c | 604687 | 140 11900 83300 | 51695 49991 44 | 0.005 % |
348.45/348.72 c | 605845 | 140 11900 83300 | 51695 51149 44 | 0.005 % |
349.14/349.44 c | 607118 | 140 11900 83300 | 51695 47087 44 | 0.005 % |
349.84/350.19 c | 608518 | 140 11900 83300 | 51695 48487 44 | 0.005 % |
350.74/351.07 c | 610058 | 140 11900 83300 | 2147483647 50027 44 | 0.005 % |
351.75/352.04 c | 611752 | 140 11900 83300 | 2147483647 51721 44 | 0.005 % |
352.75/353.08 c | 613615 | 140 11900 83300 | 2147483647 53584 44 | 0.005 % |
353.94/354.24 c | 615665 | 140 11900 83300 | 2147483647 55634 44 | 0.005 % |
355.34/355.60 c | 617918 | 140 11900 83300 | 2147483647 57887 44 | 0.005 % |
357.04/357.31 c | 620396 | 140 11900 83300 | 59969 52639 44 | 0.005 % |
358.64/358.99 c | 623121 | 140 11900 83300 | 59969 55364 44 | 0.005 % |
360.54/360.84 c | 626120 | 140 11900 83300 | 59969 58363 44 | 0.005 % |
362.54/362.88 c | 629416 | 140 11900 83300 | 59969 53790 44 | 0.005 % |
364.44/364.76 c | 633042 | 140 11900 83300 | 54374 50490 44 | 0.005 % |
366.94/367.26 c | 637032 | 140 11900 83300 | 54374 48012 44 | 0.005 % |
369.24/369.51 c | 641418 | 140 11900 83300 | 50981 46613 44 | 0.005 % |
371.44/371.79 c | 646241 | 140 11900 83300 | 50981 46331 44 | 0.005 % |
374.24/374.52 c | 651546 | 140 11900 83300 | 2147483647 51636 44 | 0.005 % |
377.84/378.18 c | 657381 | 140 11900 83300 | 2147483647 57471 44 | 0.005 % |
377.94/378.25 c | 657482 | 140 11900 83300 | 2147483647 57572 44 | 0.005 % |
378.04/378.33 c | 657592 | 140 11900 83300 | 2147483647 57682 44 | 0.005 % |
378.14/378.43 c | 657714 | 140 11900 83300 | 2147483647 57804 44 | 0.005 % |
378.23/378.53 c | 657848 | 140 11900 83300 | 2147483647 57938 44 | 0.005 % |
378.33/378.62 c | 657994 | 140 11900 83300 | 2147483647 58084 44 | 0.005 % |
378.43/378.73 c | 658154 | 140 11900 83300 | 2147483647 58244 44 | 0.005 % |
378.53/378.84 c | 658330 | 140 11900 83300 | 2147483647 58420 44 | 0.005 % |
378.63/378.95 c | 658523 | 140 11900 83300 | 2147483647 58613 44 | 0.005 % |
378.83/379.16 c | 658738 | 140 11900 83300 | 2147483647 58828 44 | 0.005 % |
379.03/379.35 c | 658971 | 140 11900 83300 | 2147483647 59061 44 | 0.005 % |
379.24/379.55 c | 659229 | 140 11900 83300 | 2147483647 59319 44 | 0.005 % |
379.43/379.77 c | 659512 | 140 11900 83300 | 2147483647 59602 44 | 0.005 % |
379.73/380.04 c | 659822 | 140 11900 83300 | 2147483647 59912 44 | 0.005 % |
380.03/380.35 c | 660161 | 140 11900 83300 | 60090 51834 45 | 0.005 % |
380.23/380.59 c | 660533 | 140 11900 83300 | 60090 52206 45 | 0.005 % |
380.52/380.88 c | 660944 | 140 11900 83300 | 60090 52617 45 | 0.005 % |
380.82/381.16 c | 661393 | 140 11900 83300 | 60090 53066 45 | 0.005 % |
381.12/381.44 c | 661886 | 140 11900 83300 | 60090 53559 45 | 0.005 % |
381.43/381.75 c | 662428 | 140 11900 83300 | 60090 54101 45 | 0.005 % |
381.82/382.12 c | 663025 | 140 11900 83300 | 60090 54698 45 | 0.005 % |
382.32/382.65 c | 663680 | 140 11900 83300 | 60090 55353 45 | 0.005 % |
382.82/383.14 c | 664400 | 140 11900 83300 | 60090 56073 45 | 0.005 % |
383.32/383.62 c | 665193 | 140 11900 83300 | 60090 56866 45 | 0.005 % |
383.82/384.17 c | 666064 | 140 11900 83300 | 60090 57737 45 | 0.005 % |
384.52/384.87 c | 667022 | 140 11900 83300 | 60090 58695 45 | 0.005 % |
385.32/385.65 c | 668077 | 140 11900 83300 | 60090 59750 45 | 0.005 % |
386.22/386.50 c | 669236 | 140 11900 83300 | 60090 51748 44 | 0.005 % |
386.93/387.23 c | 670509 | 140 11900 83300 | 52513 45332 45 | 0.005 % |
387.72/388.07 c | 671909 | 140 11900 83300 | 52513 46732 45 | 0.005 % |
388.72/389.03 c | 673449 | 140 11900 83300 | 52513 48272 45 | 0.005 % |
389.72/390.02 c | 675147 | 140 11900 83300 | 52513 49970 44 | 0.005 % |
390.82/391.15 c | 677013 | 140 11900 83300 | 52513 51836 44 | 0.005 % |
392.12/392.40 c | 679062 | 140 11900 83300 | 52513 47629 45 | 0.005 % |
393.42/393.71 c | 681318 | 140 11900 83300 | 48570 44266 44 | 0.005 % |
394.62/394.97 c | 683796 | 140 11900 83300 | 48570 46744 44 | 0.005 % |
396.02/396.36 c | 686522 | 140 11900 83300 | 48570 44606 44 | 0.005 % |
397.62/397.94 c | 689521 | 140 11900 83300 | 48570 47605 44 | 0.005 % |
399.62/399.95 c | 692817 | 140 11900 83300 | 2147483647 50901 44 | 0.005 % |
401.61/401.98 c | 696442 | 140 11900 83300 | 2147483647 54526 44 | 0.005 % |
404.01/404.31 c | 700430 | 140 11900 83300 | 58085 51564 44 | 0.005 % |
406.31/406.67 c | 704815 | 140 11900 83300 | 58085 55949 44 | 0.005 % |
408.92/409.23 c | 709638 | 140 11900 83300 | 58085 54037 44 | 0.005 % |
411.91/412.23 c | 714943 | 140 11900 83300 | 54400 53173 44 | 0.005 % |
415.31/415.65 c | 720779 | 140 11900 83300 | 52338 47729 44 | 0.005 % |
418.71/419.07 c | 727197 | 140 11900 83300 | 52338 48907 44 | 0.005 % |
418.82/419.12 c | 727298 | 140 11900 83300 | 52338 49008 44 | 0.005 % |
418.82/419.19 c | 727408 | 140 11900 83300 | 52338 49118 44 | 0.005 % |
418.92/419.25 c | 727530 | 140 11900 83300 | 52338 49240 44 | 0.005 % |
419.02/419.35 c | 727663 | 140 11900 83300 | 52338 49373 44 | 0.005 % |
419.12/419.45 c | 727811 | 140 11900 83300 | 52338 49521 44 | 0.005 % |
419.22/419.57 c | 727971 | 140 11900 83300 | 52338 49681 44 | 0.005 % |
419.32/419.67 c | 728147 | 140 11900 83300 | 52338 49857 44 | 0.005 % |
419.42/419.76 c | 728341 | 140 11900 83300 | 52338 50051 44 | 0.005 % |
419.52/419.87 c | 728554 | 140 11900 83300 | 52338 50264 44 | 0.005 % |
419.72/420.06 c | 728787 | 140 11900 83300 | 52338 50497 44 | 0.005 % |
419.92/420.22 c | 729045 | 140 11900 83300 | 52338 50755 44 | 0.005 % |
420.12/420.40 c | 729326 | 140 11900 83300 | 52338 51036 44 | 0.005 % |
420.22/420.58 c | 729635 | 140 11900 83300 | 52338 51345 44 | 0.005 % |
420.42/420.80 c | 729977 | 140 11900 83300 | 52338 51687 44 | 0.005 % |
420.72/421.02 c | 730349 | 140 11900 83300 | 2147483647 52059 44 | 0.005 % |
420.92/421.24 c | 730759 | 140 11900 83300 | 2147483647 52469 44 | 0.005 % |
421.22/421.52 c | 731209 | 140 11900 83300 | 2147483647 52919 44 | 0.005 % |
421.52/421.81 c | 731703 | 140 11900 83300 | 2147483647 53413 44 | 0.005 % |
421.82/422.13 c | 732245 | 140 11900 83300 | 2147483647 53955 44 | 0.005 % |
422.12/422.49 c | 732842 | 140 11900 83300 | 2147483647 54552 44 | 0.005 % |
422.52/422.87 c | 733498 | 140 11900 83300 | 2147483647 55208 44 | 0.005 % |
422.92/423.23 c | 734218 | 140 11900 83300 | 2147483647 55928 44 | 0.005 % |
423.32/423.69 c | 735011 | 140 11900 83300 | 2147483647 56721 44 | 0.005 % |
424.02/424.31 c | 735883 | 140 11900 83300 | 2147483647 57593 44 | 0.005 % |
424.62/424.90 c | 736841 | 140 11900 83300 | 2147483647 58551 44 | 0.005 % |
425.21/425.59 c | 737894 | 140 11900 83300 | 2147483647 59604 44 | 0.005 % |
426.11/426.40 c | 739052 | 140 11900 83300 | 2147483647 60762 44 | 0.005 % |
427.01/427.38 c | 740325 | 140 11900 83300 | 61712 53516 44 | 0.005 % |
427.81/428.18 c | 741726 | 140 11900 83300 | 61712 54917 44 | 0.005 % |
428.81/429.12 c | 743266 | 140 11900 83300 | 61712 56457 44 | 0.005 % |
429.81/430.19 c | 744960 | 140 11900 83300 | 61712 58151 44 | 0.005 % |
431.01/431.38 c | 746826 | 140 11900 83300 | 61712 60017 44 | 0.005 % |
432.31/432.64 c | 748875 | 140 11900 83300 | 61712 53433 44 | 0.005 % |
433.41/433.79 c | 751131 | 140 11900 83300 | 54558 48326 44 | 0.005 % |
434.61/434.95 c | 753609 | 140 11900 83300 | 54558 50804 44 | 0.005 % |
436.01/436.36 c | 756334 | 140 11900 83300 | 54558 53529 44 | 0.005 % |
437.51/437.88 c | 759333 | 140 11900 83300 | 54558 50919 44 | 0.005 % |
439.31/439.62 c | 762632 | 140 11900 83300 | 2147483647 54218 44 | 0.005 % |
441.40/441.70 c | 766258 | 140 11900 83300 | 2147483647 57844 44 | 0.005 % |
443.80/444.12 c | 770246 | 140 11900 83300 | 61588 54365 44 | 0.005 % |
446.10/446.43 c | 774633 | 140 11900 83300 | 61588 58752 44 | 0.005 % |
448.80/449.13 c | 779456 | 140 11900 83300 | 61588 56358 44 | 0.005 % |
451.80/452.13 c | 784761 | 140 11900 83300 | 56902 55055 44 | 0.005 % |
455.10/455.48 c | 790596 | 140 11900 83300 | 53973 48918 44 | 0.005 % |
458.20/458.55 c | 797014 | 140 11900 83300 | 53973 49747 44 | 0.005 % |
461.50/461.83 c | 804073 | 140 11900 83300 | 2147483647 56806 44 | 0.005 % |
461.50/461.90 c | 804173 | 140 11900 83300 | 2147483647 56906 44 | 0.005 % |
461.60/461.96 c | 804283 | 140 11900 83300 | 2147483647 57016 44 | 0.005 % |
461.70/462.04 c | 804404 | 140 11900 83300 | 2147483647 57137 44 | 0.005 % |
461.80/462.13 c | 804541 | 140 11900 83300 | 2147483647 57274 44 | 0.005 % |
461.90/462.23 c | 804689 | 140 11900 83300 | 2147483647 57422 44 | 0.005 % |
462.00/462.34 c | 804849 | 140 11900 83300 | 2147483647 57582 44 | 0.005 % |
462.10/462.47 c | 805025 | 140 11900 83300 | 2147483647 57758 44 | 0.005 % |
462.30/462.65 c | 805218 | 140 11900 83300 | 2147483647 57951 44 | 0.005 % |
462.50/462.81 c | 805430 | 140 11900 83300 | 2147483647 58163 44 | 0.005 % |
462.60/462.97 c | 805665 | 140 11900 83300 | 2147483647 58398 44 | 0.005 % |
462.80/463.15 c | 805922 | 140 11900 83300 | 2147483647 58655 44 | 0.005 % |
463.00/463.36 c | 806203 | 140 11900 83300 | 2147483647 58936 44 | 0.005 % |
463.19/463.59 c | 806512 | 140 11900 83300 | 2147483647 59245 44 | 0.005 % |
463.50/463.84 c | 806851 | 140 11900 83300 | 2147483647 59584 44 | 0.005 % |
463.70/464.10 c | 807223 | 140 11900 83300 | 2147483647 59956 44 | 0.005 % |
464.00/464.39 c | 807633 | 140 11900 83300 | 2147483647 60366 44 | 0.005 % |
464.30/464.67 c | 808084 | 140 11900 83300 | 2147483647 60817 44 | 0.005 % |
464.69/465.01 c | 808577 | 140 11900 83300 | 2147483647 61310 44 | 0.005 % |
465.00/465.38 c | 809122 | 140 11900 83300 | 2147483647 61855 44 | 0.005 % |
465.49/465.80 c | 809718 | 140 11900 83300 | 2147483647 62451 44 | 0.005 % |
465.89/466.29 c | 810375 | 140 11900 83300 | 62734 54488 44 | 0.005 % |
466.39/466.74 c | 811095 | 140 11900 83300 | 62734 55208 44 | 0.005 % |
466.89/467.27 c | 811887 | 140 11900 83300 | 62734 56000 44 | 0.005 % |
467.49/467.83 c | 812758 | 140 11900 83300 | 62734 56871 44 | 0.005 % |
467.99/468.38 c | 813716 | 140 11900 83300 | 62734 57829 44 | 0.005 % |
468.69/469.04 c | 814770 | 140 11900 83300 | 62734 58883 44 | 0.005 % |
469.39/469.72 c | 815929 | 140 11900 83300 | 62734 60042 44 | 0.005 % |
470.29/470.61 c | 817203 | 140 11900 83300 | 62734 61316 44 | 0.005 % |
471.08/471.49 c | 818603 | 140 11900 83300 | 62734 62716 44 | 0.005 % |
472.08/472.46 c | 820145 | 140 11900 83300 | 55082 47547 44 | 0.005 % |
472.98/473.34 c | 821839 | 140 11900 83300 | 55082 49241 44 | 0.005 % |
473.98/474.31 c | 823703 | 140 11900 83300 | 55082 51105 44 | 0.005 % |
475.08/475.42 c | 825753 | 140 11900 83300 | 55082 53155 44 | 0.005 % |
476.28/476.69 c | 828006 | 140 11900 83300 | 55082 49876 44 | 0.005 % |
477.78/478.15 c | 830484 | 140 11900 83300 | 51871 47017 44 | 0.005 % |
479.19/479.53 c | 833209 | 140 11900 83300 | 51871 49742 44 | 0.005 % |
480.68/481.03 c | 836207 | 140 11900 83300 | 51871 47546 44 | 0.005 % |
482.28/482.65 c | 839503 | 140 11900 83300 | 51871 50842 44 | 0.005 % |
484.58/484.97 c | 843128 | 140 11900 83300 | 2147483647 54467 44 | 0.005 % |
487.08/487.47 c | 847115 | 140 11900 83300 | 2147483647 58454 44 | 0.005 % |
489.88/490.21 c | 851502 | 140 11900 83300 | 61341 54553 44 | 0.005 % |
492.78/493.17 c | 856325 | 140 11900 83300 | 61341 59376 44 | 0.005 % |
496.07/496.47 c | 861630 | 140 11900 83300 | 54177 48138 44 | 0.005 % |
499.08/499.47 c | 867468 | 140 11900 83300 | 54177 53976 44 | 0.005 % |
502.57/502.95 c | 873891 | 140 11900 83300 | 2147483647 54975 44 | 0.005 % |
507.07/507.41 c | 880950 | 140 11900 83300 | 61084 54655 44 | 0.005 % |
511.67/512.00 c | 888714 | 140 11900 83300 | 61084 54759 44 | 0.005 % |
511.67/512.07 c | 888818 | 140 11900 83300 | 61084 54863 44 | 0.005 % |
511.77/512.13 c | 888928 | 140 11900 83300 | 61084 54973 44 | 0.005 % |
511.87/512.20 c | 889050 | 140 11900 83300 | 61084 55095 44 | 0.005 % |
511.97/512.30 c | 889184 | 140 11900 83300 | 61084 55229 44 | 0.005 % |
512.07/512.41 c | 889330 | 140 11900 83300 | 61084 55375 44 | 0.005 % |
512.17/512.53 c | 889491 | 140 11900 83300 | 61084 55536 44 | 0.005 % |
512.27/512.66 c | 889668 | 140 11900 83300 | 61084 55713 44 | 0.005 % |
512.37/512.78 c | 889861 | 140 11900 83300 | 61084 55906 44 | 0.005 % |
512.57/512.97 c | 890074 | 140 11900 83300 | 56045 49004 44 | 0.005 % |
512.77/513.13 c | 890308 | 140 11900 83300 | 56045 49238 44 | 0.005 % |
512.87/513.27 c | 890564 | 140 11900 83300 | 56045 49494 44 | 0.005 % |
513.06/513.45 c | 890848 | 140 11900 83300 | 56045 49778 44 | 0.005 % |
513.27/513.66 c | 891158 | 140 11900 83300 | 56045 50088 44 | 0.005 % |
513.46/513.86 c | 891497 | 140 11900 83300 | 56045 50427 44 | 0.005 % |
513.66/514.09 c | 891869 | 140 11900 83300 | 56045 50799 44 | 0.005 % |
513.96/514.33 c | 892280 | 140 11900 83300 | 56045 51210 44 | 0.005 % |
514.16/514.58 c | 892729 | 140 11900 83300 | 56045 51659 44 | 0.005 % |
514.47/514.83 c | 893224 | 140 11900 83300 | 56045 52154 44 | 0.005 % |
514.76/515.14 c | 893766 | 140 11900 83300 | 56045 52696 44 | 0.005 % |
515.06/515.44 c | 894363 | 140 11900 83300 | 56045 53293 44 | 0.005 % |
515.46/515.81 c | 895018 | 140 11900 83300 | 56045 53948 44 | 0.005 % |
515.86/516.28 c | 895738 | 140 11900 83300 | 56045 54668 44 | 0.005 % |
516.36/516.74 c | 896530 | 140 11900 83300 | 56045 55460 44 | 0.005 % |
516.96/517.35 c | 897401 | 140 11900 83300 | 56045 49309 44 | 0.005 % |
517.36/517.79 c | 898359 | 140 11900 83300 | 56045 50267 44 | 0.005 % |
517.86/518.25 c | 899412 | 140 11900 83300 | 56045 51320 44 | 0.005 % |
518.46/518.82 c | 900570 | 140 11900 83300 | 51908 46474 44 | 0.005 % |
519.06/519.46 c | 901846 | 140 11900 83300 | 51908 47750 44 | 0.005 % |
519.75/520.14 c | 903246 | 140 11900 83300 | 51908 49150 44 | 0.005 % |
520.55/520.94 c | 904786 | 140 11900 83300 | 51908 50690 44 | 0.005 % |
521.45/521.83 c | 906483 | 140 11900 83300 | 51908 47190 44 | 0.005 % |
522.45/522.80 c | 908347 | 140 11900 83300 | 51908 49054 44 | 0.005 % |
523.45/523.81 c | 910396 | 140 11900 83300 | 2147483647 51103 44 | 0.005 % |
524.55/524.97 c | 912649 | 140 11900 83300 | 2147483647 53356 44 | 0.005 % |
525.85/526.28 c | 915127 | 140 11900 83300 | 2147483647 55834 44 | 0.005 % |
527.35/527.73 c | 917852 | 140 11900 83300 | 2147483647 58559 44 | 0.005 % |
529.05/529.46 c | 920850 | 140 11900 83300 | 2147483647 61557 44 | 0.005 % |
531.15/531.54 c | 924146 | 140 11900 83300 | 2147483647 64853 44 | 0.005 % |
533.55/533.95 c | 927771 | 140 11900 83300 | 2147483647 68478 44 | 0.005 % |
536.15/536.60 c | 931759 | 140 11900 83300 | 70708 61137 43 | 0.005 % |
539.15/539.54 c | 936144 | 140 11900 83300 | 70708 65522 43 | 0.005 % |
542.54/542.94 c | 940967 | 140 11900 83300 | 69379 58116 43 | 0.005 % |
546.14/546.59 c | 946273 | 140 11900 83300 | 69379 63422 43 | 0.005 % |
550.24/550.62 c | 952109 | 140 11900 83300 | 67149 57751 43 | 0.005 % |
553.84/554.22 c | 958528 | 140 11900 83300 | 67149 64170 43 | 0.005 % |
557.64/558.01 c | 965587 | 140 11900 83300 | 65642 61501 43 | 0.005 % |
561.93/562.31 c | 973352 | 140 11900 83300 | 55864 50715 44 | 0.005 % |
566.23/566.62 c | 981894 | 140 11900 83300 | 51442 47956 44 | 0.005 % |
566.23/566.68 c | 981994 | 140 11900 83300 | 51442 48056 44 | 0.005 % |
566.33/566.74 c | 982104 | 140 11900 83300 | 51442 48166 44 | 0.005 % |
566.33/566.79 c | 982225 | 140 11900 83300 | 51442 48287 44 | 0.005 % |
566.43/566.86 c | 982359 | 140 11900 83300 | 51442 48421 44 | 0.005 % |
566.53/566.94 c | 982505 | 140 11900 83300 | 51442 48567 44 | 0.005 % |
566.63/567.06 c | 982665 | 140 11900 83300 | 51442 48727 44 | 0.005 % |
566.73/567.15 c | 982843 | 140 11900 83300 | 51442 48905 44 | 0.005 % |
566.83/567.25 c | 983037 | 140 11900 83300 | 51442 49099 44 | 0.005 % |
567.03/567.40 c | 983250 | 140 11900 83300 | 51442 49312 44 | 0.005 % |
567.13/567.53 c | 983484 | 140 11900 83300 | 51442 49546 44 | 0.005 % |
567.23/567.67 c | 983740 | 140 11900 83300 | 51442 49802 44 | 0.005 % |
567.43/567.81 c | 984022 | 140 11900 83300 | 51442 50084 44 | 0.005 % |
567.63/568.06 c | 984332 | 140 11900 83300 | 51442 50394 44 | 0.005 % |
567.83/568.28 c | 984674 | 140 11900 83300 | 51442 50736 44 | 0.005 % |
568.13/568.51 c | 985046 | 140 11900 83300 | 51442 51108 44 | 0.005 % |
568.43/568.83 c | 985455 | 140 11900 83300 | 51442 46257 44 | 0.005 % |
568.63/569.05 c | 985906 | 140 11900 83300 | 51442 46708 44 | 0.005 % |
568.93/569.35 c | 986399 | 140 11900 83300 | 51442 47201 44 | 0.005 % |
569.23/569.62 c | 986941 | 140 11900 83300 | 51442 47743 44 | 0.005 % |
569.53/569.94 c | 987537 | 140 11900 83300 | 51442 48339 44 | 0.005 % |
569.92/570.34 c | 988194 | 140 11900 83300 | 51442 48996 44 | 0.005 % |
570.32/570.75 c | 988914 | 140 11900 83300 | 51442 49716 44 | 0.005 % |
570.72/571.20 c | 989706 | 140 11900 83300 | 51442 50508 44 | 0.005 % |
571.32/571.73 c | 990578 | 140 11900 83300 | 50802 46202 44 | 0.005 % |
571.82/572.29 c | 991537 | 140 11900 83300 | 50802 47161 44 | 0.005 % |
572.42/572.88 c | 992590 | 140 11900 83300 | 50802 48214 44 | 0.005 % |
573.12/573.54 c | 993748 | 140 11900 83300 | 50802 49372 44 | 0.005 % |
573.83/574.26 c | 995022 | 140 11900 83300 | 50802 50646 44 | 0.005 % |
574.62/575.01 c | 996423 | 140 11900 83300 | 50802 46960 44 | 0.005 % |
575.42/575.80 c | 997965 | 140 11900 83300 | 50802 48502 44 | 0.005 % |
576.12/576.59 c | 999659 | 140 11900 83300 | 50802 50196 44 | 0.005 % |
577.03/577.43 c | 1001522 | 140 11900 83300 | 2147483647 52059 44 | 0.005 % |
578.23/578.68 c | 1003575 | 140 11900 83300 | 2147483647 54112 44 | 0.005 % |
579.62/580.04 c | 1005828 | 140 11900 83300 | 2147483647 56365 44 | 0.005 % |
581.12/581.52 c | 1008306 | 140 11900 83300 | 2147483647 58843 44 | 0.005 % |
582.72/583.11 c | 1011033 | 140 11900 83300 | 60537 54134 44 | 0.005 % |
584.62/585.08 c | 1014031 | 140 11900 83300 | 60537 57132 44 | 0.005 % |
587.02/587.42 c | 1017328 | 140 11900 83300 | 60537 60429 44 | 0.005 % |
589.12/589.53 c | 1020953 | 140 11900 83300 | 54458 47924 44 | 0.005 % |
591.12/591.55 c | 1024942 | 140 11900 83300 | 54458 51913 44 | 0.005 % |
593.42/593.89 c | 1029327 | 140 11900 83300 | 54458 50847 44 | 0.005 % |
596.02/596.49 c | 1034153 | 140 11900 83300 | 2147483647 55673 44 | 0.005 % |
599.12/599.58 c | 1039458 | 140 11900 83300 | 2147483647 60978 44 | 0.005 % |
602.71/603.12 c | 1045295 | 140 11900 83300 | 61521 59502 44 | 0.005 % |
606.41/606.88 c | 1051714 | 140 11900 83300 | 55698 49954 44 | 0.005 % |
610.11/610.56 c | 1058773 | 140 11900 83300 | 55698 51427 44 | 0.005 % |
614.60/615.03 c | 1066537 | 140 11900 83300 | 2147483647 59191 44 | 0.005 % |
619.30/619.70 c | 1075077 | 140 11900 83300 | 62657 59613 44 | 0.005 % |
624.10/624.51 c | 1084471 | 140 11900 83300 | 55997 53042 44 | 0.005 % |
624.10/624.57 c | 1084571 | 140 11900 83300 | 55997 53142 44 | 0.005 % |
624.20/624.65 c | 1084682 | 140 11900 83300 | 55997 53253 44 | 0.005 % |
624.31/624.74 c | 1084803 | 140 11900 83300 | 55997 53374 44 | 0.005 % |
624.41/624.81 c | 1084936 | 140 11900 83300 | 55997 53507 44 | 0.005 % |
624.41/624.89 c | 1085082 | 140 11900 83300 | 55997 53653 44 | 0.005 % |
624.60/625.02 c | 1085245 | 140 11900 83300 | 55997 53816 44 | 0.005 % |
624.70/625.13 c | 1085421 | 140 11900 83300 | 55997 53992 44 | 0.005 % |
624.80/625.27 c | 1085616 | 140 11900 83300 | 55997 54187 44 | 0.005 % |
625.00/625.41 c | 1085830 | 140 11900 83300 | 55997 54401 44 | 0.005 % |
625.10/625.57 c | 1086063 | 140 11900 83300 | 55997 54634 44 | 0.005 % |
625.30/625.76 c | 1086319 | 140 11900 83300 | 55997 54890 44 | 0.005 % |
625.51/625.95 c | 1086602 | 140 11900 83300 | 55997 55173 44 | 0.005 % |
625.70/626.14 c | 1086911 | 140 11900 83300 | 55997 55482 44 | 0.005 % |
625.90/626.34 c | 1087250 | 140 11900 83300 | 55997 55821 44 | 0.005 % |
626.20/626.62 c | 1087622 | 140 11900 83300 | 55997 49351 44 | 0.005 % |
626.40/626.84 c | 1088031 | 140 11900 83300 | 55997 49760 44 | 0.005 % |
626.70/627.14 c | 1088480 | 140 11900 83300 | 55997 50209 44 | 0.005 % |
627.00/627.40 c | 1088973 | 140 11900 83300 | 55997 50702 44 | 0.005 % |
627.20/627.69 c | 1089516 | 140 11900 83300 | 55997 51245 44 | 0.005 % |
627.60/628.08 c | 1090113 | 140 11900 83300 | 51729 45599 44 | 0.005 % |
628.00/628.41 c | 1090770 | 140 11900 83300 | 51729 46256 44 | 0.005 % |
628.30/628.78 c | 1091492 | 140 11900 83300 | 51729 46978 44 | 0.005 % |
628.80/629.20 c | 1092285 | 140 11900 83300 | 51729 47771 44 | 0.005 % |
629.20/629.61 c | 1093157 | 140 11900 83300 | 51729 48643 44 | 0.005 % |
629.70/630.10 c | 1094117 | 140 11900 83300 | 51729 49603 44 | 0.005 % |
630.20/630.61 c | 1095170 | 140 11900 83300 | 51729 50656 44 | 0.005 % |
630.90/631.31 c | 1096328 | 140 11900 83300 | 51729 46635 44 | 0.005 % |
631.60/632.01 c | 1097601 | 140 11900 83300 | 51729 47908 44 | 0.005 % |
632.30/632.76 c | 1099001 | 140 11900 83300 | 51729 49308 44 | 0.005 % |
633.29/633.75 c | 1100541 | 140 11900 83300 | 2147483647 50848 44 | 0.005 % |
634.40/634.86 c | 1102235 | 140 11900 83300 | 2147483647 52542 44 | 0.005 % |
635.49/635.91 c | 1104098 | 140 11900 83300 | 2147483647 54405 44 | 0.005 % |
636.79/637.20 c | 1106147 | 140 11900 83300 | 2147483647 56454 44 | 0.005 % |
638.09/638.55 c | 1108402 | 140 11900 83300 | 2147483647 58709 44 | 0.005 % |
639.70/640.11 c | 1110881 | 140 11900 83300 | 60308 53273 44 | 0.005 % |
641.09/641.58 c | 1113610 | 140 11900 83300 | 60308 56002 44 | 0.005 % |
642.69/643.18 c | 1116607 | 140 11900 83300 | 60308 58999 44 | 0.005 % |
644.59/645.02 c | 1119903 | 140 11900 83300 | 60308 54803 44 | 0.005 % |
646.69/647.10 c | 1123528 | 140 11900 83300 | 54902 51900 44 | 0.005 % |
649.29/649.74 c | 1127515 | 140 11900 83300 | 54902 49420 44 | 0.005 % |
651.79/652.27 c | 1131901 | 140 11900 83300 | 51906 47687 44 | 0.005 % |
654.58/655.02 c | 1136725 | 140 11900 83300 | 51906 47250 44 | 0.005 % |
656.98/657.47 c | 1142030 | 140 11900 83300 | 2147483647 52555 44 | 0.005 % |
660.48/660.95 c | 1147866 | 140 11900 83300 | 2147483647 58391 44 | 0.005 % |
664.28/664.72 c | 1154284 | 140 11900 83300 | 60527 57508 44 | 0.005 % |
668.48/668.91 c | 1161343 | 140 11900 83300 | 55496 49902 44 | 0.005 % |
672.47/672.95 c | 1169107 | 140 11900 83300 | 55496 51876 44 | 0.005 % |
677.47/677.97 c | 1177650 | 140 11900 83300 | 2147483647 60419 44 | 0.005 % |
683.17/683.64 c | 1187044 | 140 11900 83300 | 62769 61417 44 | 0.005 % |
688.27/688.75 c | 1197377 | 140 11900 83300 | 55120 54569 45 | 0.005 % |
688.37/688.81 c | 1197477 | 140 11900 83300 | 55120 54669 45 | 0.005 % |
688.37/688.88 c | 1197587 | 140 11900 83300 | 55120 54779 45 | 0.005 % |
688.47/688.97 c | 1197708 | 140 11900 83300 | 55120 54900 45 | 0.005 % |
688.57/689.07 c | 1197841 | 140 11900 83300 | 55120 55033 45 | 0.005 % |
688.67/689.18 c | 1197987 | 140 11900 83300 | 55120 55179 45 | 0.005 % |
688.87/689.33 c | 1198147 | 140 11900 83300 | 55120 48935 44 | 0.005 % |
688.97/689.43 c | 1198323 | 140 11900 83300 | 55120 49111 44 | 0.005 % |
689.07/689.55 c | 1198517 | 140 11900 83300 | 55120 49305 44 | 0.005 % |
689.17/689.69 c | 1198729 | 140 11900 83300 | 55120 49517 44 | 0.005 % |
689.37/689.83 c | 1198962 | 140 11900 83300 | 55120 49750 44 | 0.005 % |
689.47/689.99 c | 1199218 | 140 11900 83300 | 55120 50006 44 | 0.005 % |
689.67/690.17 c | 1199501 | 140 11900 83300 | 55120 50289 44 | 0.005 % |
689.87/690.38 c | 1199810 | 140 11900 83300 | 55120 50598 44 | 0.005 % |
690.17/690.64 c | 1200150 | 140 11900 83300 | 50790 45030 44 | 0.005 % |
690.37/690.82 c | 1200523 | 140 11900 83300 | 50790 45403 44 | 0.005 % |
690.57/691.08 c | 1200933 | 140 11900 83300 | 50790 45813 44 | 0.005 % |
690.87/691.34 c | 1201382 | 140 11900 83300 | 50790 46262 44 | 0.005 % |
691.17/691.60 c | 1201875 | 140 11900 83300 | 50790 46755 44 | 0.005 % |
691.37/691.87 c | 1202418 | 140 11900 83300 | 50790 47298 44 | 0.005 % |
691.67/692.18 c | 1203014 | 140 11900 83300 | 50790 47894 44 | 0.005 % |
692.07/692.59 c | 1203671 | 140 11900 83300 | 50790 48551 44 | 0.005 % |
692.47/692.97 c | 1204392 | 140 11900 83300 | 50790 49272 44 | 0.005 % |
692.87/693.38 c | 1205184 | 140 11900 83300 | 50790 50064 44 | 0.005 % |
693.37/693.87 c | 1206055 | 140 11900 83300 | 50790 45851 44 | 0.005 % |
693.87/694.36 c | 1207013 | 140 11900 83300 | 50790 46809 44 | 0.005 % |
694.47/694.96 c | 1208066 | 140 11900 83300 | 50790 47862 44 | 0.005 % |
695.06/695.57 c | 1209225 | 140 11900 83300 | 50790 49021 44 | 0.005 % |
695.77/696.24 c | 1210498 | 140 11900 83300 | 2147483647 50294 44 | 0.005 % |
696.46/696.95 c | 1211898 | 140 11900 83300 | 2147483647 51694 44 | 0.005 % |
697.26/697.70 c | 1213438 | 140 11900 83300 | 2147483647 53234 44 | 0.005 % |
698.16/698.68 c | 1215132 | 140 11900 83300 | 2147483647 54928 44 | 0.005 % |
699.26/699.74 c | 1216995 | 140 11900 83300 | 2147483647 56791 44 | 0.005 % |
700.46/700.90 c | 1219044 | 140 11900 83300 | 2147483647 58840 44 | 0.005 % |
701.96/702.41 c | 1221298 | 140 11900 83300 | 59797 53969 44 | 0.005 % |
703.47/703.95 c | 1223776 | 140 11900 83300 | 59797 56447 44 | 0.005 % |
705.26/705.72 c | 1226505 | 140 11900 83300 | 59797 59176 44 | 0.005 % |
707.16/707.63 c | 1229502 | 140 11900 83300 | 59797 53838 44 | 0.005 % |
709.06/709.54 c | 1232798 | 140 11900 83300 | 54336 49610 44 | 0.005 % |
711.16/711.64 c | 1236423 | 140 11900 83300 | 54336 53235 44 | 0.005 % |
713.46/713.96 c | 1240411 | 140 11900 83300 | 50359 45132 44 | 0.005 % |
715.66/716.12 c | 1244796 | 140 11900 83300 | 50359 49517 44 | 0.005 % |
717.76/718.30 c | 1249619 | 140 11900 83300 | 50359 49299 44 | 0.005 % |
720.66/721.12 c | 1254925 | 140 11900 83300 | 2147483647 54605 44 | 0.005 % |
724.05/724.56 c | 1260760 | 140 11900 83300 | 59682 54408 44 | 0.005 % |
727.76/728.26 c | 1267181 | 140 11900 83300 | 59682 54358 44 | 0.005 % |
731.85/732.33 c | 1274243 | 140 11900 83300 | 57177 55269 44 | 0.005 % |
736.15/736.61 c | 1282007 | 140 11900 83300 | 55130 51529 43 | 0.005 % |
740.25/740.77 c | 1290547 | 140 11900 83300 | 2147483647 54510 44 | 0.005 % |
745.65/746.15 c | 1299942 | 140 11900 83300 | 2147483647 63905 44 | 0.005 % |
751.54/752.07 c | 1310276 | 140 11900 83300 | 56559 49338 44 | 0.005 % |
757.35/757.86 c | 1321642 | 140 11900 83300 | 2147483647 55041 44 | 0.005 % |
757.45/757.94 c | 1321743 | 140 11900 83300 | 2147483647 55142 44 | 0.005 % |
757.54/758.00 c | 1321855 | 140 11900 83300 | 2147483647 55254 44 | 0.005 % |
757.54/758.07 c | 1321976 | 140 11900 83300 | 2147483647 55375 44 | 0.005 % |
757.64/758.15 c | 1322109 | 140 11900 83300 | 2147483647 55508 44 | 0.005 % |
757.74/758.27 c | 1322259 | 140 11900 83300 | 2147483647 55658 44 | 0.005 % |
757.84/758.38 c | 1322419 | 140 11900 83300 | 2147483647 55818 44 | 0.005 % |
758.04/758.50 c | 1322595 | 140 11900 83300 | 2147483647 55994 44 | 0.005 % |
758.14/758.67 c | 1322792 | 140 11900 83300 | 2147483647 56191 44 | 0.005 % |
758.34/758.84 c | 1323004 | 140 11900 83300 | 2147483647 56403 44 | 0.005 % |
758.55/759.01 c | 1323237 | 140 11900 83300 | 2147483647 56636 44 | 0.005 % |
758.74/759.20 c | 1323495 | 140 11900 83300 | 2147483647 56894 44 | 0.005 % |
758.94/759.40 c | 1323776 | 140 11900 83300 | 2147483647 57175 44 | 0.005 % |
759.14/759.61 c | 1324085 | 140 11900 83300 | 2147483647 57484 44 | 0.005 % |
759.34/759.84 c | 1324424 | 140 11900 83300 | 2147483647 57823 44 | 0.005 % |
759.54/760.06 c | 1324796 | 140 11900 83300 | 2147483647 58195 44 | 0.005 % |
759.84/760.31 c | 1325209 | 140 11900 83300 | 2147483647 58608 44 | 0.005 % |
760.14/760.61 c | 1325659 | 140 11900 83300 | 2147483647 59058 44 | 0.005 % |
760.44/760.93 c | 1326152 | 140 11900 83300 | 2147483647 59551 44 | 0.005 % |
760.84/761.32 c | 1326695 | 140 11900 83300 | 2147483647 60094 44 | 0.005 % |
761.14/761.69 c | 1327291 | 140 11900 83300 | 2147483647 60690 44 | 0.005 % |
761.64/762.18 c | 1327946 | 140 11900 83300 | 2147483647 61345 44 | 0.005 % |
762.14/762.69 c | 1328666 | 140 11900 83300 | 2147483647 62065 44 | 0.005 % |
762.74/763.23 c | 1329458 | 140 11900 83300 | 2147483647 62857 44 | 0.005 % |
763.44/763.90 c | 1330332 | 140 11900 83300 | 63399 54522 44 | 0.005 % |
764.04/764.54 c | 1331290 | 140 11900 83300 | 63399 55480 44 | 0.005 % |
764.74/765.21 c | 1332344 | 140 11900 83300 | 63399 56534 44 | 0.005 % |
765.34/765.88 c | 1333504 | 140 11900 83300 | 63399 57694 44 | 0.005 % |
766.24/766.72 c | 1334781 | 140 11900 83300 | 63399 58971 44 | 0.005 % |
767.14/767.61 c | 1336182 | 140 11900 83300 | 63399 60372 44 | 0.005 % |
768.14/768.61 c | 1337722 | 140 11900 83300 | 63399 61912 44 | 0.005 % |
769.34/769.86 c | 1339416 | 140 11900 83300 | 63399 53524 44 | 0.005 % |
770.35/770.81 c | 1341280 | 140 11900 83300 | 54110 46954 44 | 0.005 % |
771.35/771.87 c | 1343329 | 140 11900 83300 | 54110 49003 44 | 0.005 % |
772.55/773.06 c | 1345582 | 140 11900 83300 | 54110 51256 44 | 0.005 % |
774.05/774.59 c | 1348062 | 140 11900 83300 | 54110 53736 44 | 0.005 % |
775.84/776.32 c | 1350787 | 140 11900 83300 | 49519 44693 44 | 0.005 % |
777.25/777.76 c | 1353784 | 140 11900 83300 | 49519 47690 44 | 0.005 % |
778.84/779.38 c | 1357080 | 140 11900 83300 | 49519 46029 44 | 0.005 % |
780.94/781.43 c | 1360706 | 140 11900 83300 | 2147483647 49655 44 | 0.005 % |
783.04/783.55 c | 1364695 | 140 11900 83300 | 2147483647 53644 44 | 0.005 % |
785.54/786.03 c | 1369082 | 140 11900 83300 | 2147483647 58031 44 | 0.005 % |
788.44/788.95 c | 1373905 | 140 11900 83300 | 58949 56599 44 | 0.005 % |
791.54/792.06 c | 1379210 | 140 11900 83300 | 58949 54993 44 | 0.005 % |
794.63/795.15 c | 1385046 | 140 11900 83300 | 55783 54565 44 | 0.005 % |
798.43/799.00 c | 1391464 | 140 11900 83300 | 53756 49432 44 | 0.005 % |
802.13/802.69 c | 1398524 | 140 11900 83300 | 53756 50661 44 | 0.005 % |
806.63/807.17 c | 1406289 | 140 11900 83300 | 52137 47322 44 | 0.005 % |
811.43/811.98 c | 1414831 | 140 11900 83300 | 2147483647 55864 44 | 0.005 % |
817.23/817.72 c | 1424227 | 140 11900 83300 | 61035 57716 44 | 0.005 % |
822.83/823.35 c | 1434560 | 140 11900 83300 | 55954 53890 44 | 0.005 % |
829.12/829.65 c | 1445926 | 140 11900 83300 | 52929 52935 44 | 0.005 % |
836.11/836.66 c | 1458430 | 140 11900 83300 | 2147483647 59983 44 | 0.005 % |
836.21/836.75 c | 1458531 | 140 11900 83300 | 2147483647 60084 44 | 0.005 % |
836.31/836.83 c | 1458642 | 140 11900 83300 | 2147483647 60195 44 | 0.005 % |
836.41/836.93 c | 1458764 | 140 11900 83300 | 2147483647 60317 44 | 0.005 % |
836.52/837.03 c | 1458898 | 140 11900 83300 | 2147483647 60451 44 | 0.005 % |
836.62/837.15 c | 1459045 | 140 11900 83300 | 2147483647 60598 44 | 0.005 % |
836.81/837.30 c | 1459206 | 140 11900 83300 | 2147483647 60759 44 | 0.005 % |
836.91/837.44 c | 1459382 | 140 11900 83300 | 2147483647 60935 44 | 0.005 % |
837.01/837.58 c | 1459576 | 140 11900 83300 | 2147483647 61129 44 | 0.005 % |
837.21/837.79 c | 1459789 | 140 11900 83300 | 2147483647 61342 44 | 0.005 % |
837.41/837.98 c | 1460022 | 140 11900 83300 | 61553 61575 44 | 0.005 % |
837.72/838.24 c | 1460279 | 140 11900 83300 | 61553 53504 44 | 0.005 % |
837.91/838.42 c | 1460561 | 140 11900 83300 | 61553 53786 44 | 0.005 % |
838.11/838.60 c | 1460871 | 140 11900 83300 | 61553 54096 44 | 0.005 % |
838.31/838.80 c | 1461210 | 140 11900 83300 | 61553 54435 44 | 0.005 % |
838.51/839.03 c | 1461582 | 140 11900 83300 | 61553 54807 44 | 0.005 % |
838.81/839.33 c | 1461991 | 140 11900 83300 | 61553 55216 44 | 0.005 % |
839.11/839.63 c | 1462440 | 140 11900 83300 | 61553 55665 44 | 0.005 % |
839.41/839.94 c | 1462933 | 140 11900 83300 | 61553 56158 44 | 0.005 % |
839.71/840.30 c | 1463475 | 140 11900 83300 | 61553 56700 44 | 0.005 % |
840.11/840.61 c | 1464071 | 140 11900 83300 | 61553 57296 44 | 0.005 % |
840.61/841.11 c | 1464727 | 140 11900 83300 | 61553 57952 44 | 0.005 % |
841.01/841.54 c | 1465450 | 140 11900 83300 | 61553 58675 44 | 0.005 % |
841.61/842.10 c | 1466242 | 140 11900 83300 | 61553 59467 44 | 0.005 % |
842.11/842.70 c | 1467113 | 140 11900 83300 | 61553 60338 44 | 0.005 % |
842.81/843.32 c | 1468072 | 140 11900 83300 | 61553 61297 44 | 0.005 % |
843.60/844.16 c | 1469126 | 140 11900 83300 | 61553 52963 44 | 0.005 % |
844.31/844.85 c | 1470286 | 140 11900 83300 | 53837 46071 44 | 0.005 % |
844.90/845.48 c | 1471560 | 140 11900 83300 | 53837 47345 44 | 0.005 % |
845.70/846.28 c | 1472962 | 140 11900 83300 | 53837 48747 44 | 0.005 % |
846.70/847.21 c | 1474502 | 140 11900 83300 | 53837 50287 44 | 0.005 % |
847.70/848.21 c | 1476196 | 140 11900 83300 | 53837 51981 44 | 0.005 % |
848.71/849.21 c | 1478059 | 140 11900 83300 | 53837 53844 44 | 0.005 % |
849.90/850.47 c | 1480108 | 140 11900 83300 | 49695 44169 44 | 0.005 % |
851.00/851.57 c | 1482361 | 140 11900 83300 | 49695 46422 44 | 0.005 % |
852.20/852.72 c | 1484839 | 140 11900 83300 | 49695 48900 44 | 0.005 % |
853.50/854.02 c | 1487564 | 140 11900 83300 | 49695 46649 44 | 0.005 % |
855.10/855.64 c | 1490561 | 140 11900 83300 | 2147483647 49646 44 | 0.005 % |
857.00/857.52 c | 1493857 | 140 11900 83300 | 2147483647 52942 44 | 0.005 % |
859.00/859.50 c | 1497482 | 140 11900 83300 | 2147483647 56567 44 | 0.005 % |
861.40/861.99 c | 1501469 | 140 11900 83300 | 59085 53715 44 | 0.005 % |
863.90/864.46 c | 1505854 | 140 11900 83300 | 59085 58100 44 | 0.005 % |
866.50/867.04 c | 1510677 | 140 11900 83300 | 54972 49383 44 | 0.005 % |
869.30/869.85 c | 1515982 | 140 11900 83300 | 54972 54688 44 | 0.005 % |
872.50/873.07 c | 1521818 | 140 11900 83300 | 2147483647 55020 44 | 0.005 % |
876.39/876.91 c | 1528237 | 140 11900 83300 | 2147483647 61439 44 | 0.005 % |
880.89/881.48 c | 1535297 | 140 11900 83300 | 63203 60197 44 | 0.005 % |
885.99/886.51 c | 1543062 | 140 11900 83300 | 55566 50496 44 | 0.005 % |
889.88/890.48 c | 1551603 | 140 11900 83300 | 51275 47422 44 | 0.005 % |
894.38/894.95 c | 1560997 | 140 11900 83300 | 2147483647 51683 44 | 0.005 % |
900.18/900.70 c | 1571330 | 140 11900 83300 | 60687 55306 44 | 0.005 % |
906.48/907.05 c | 1582696 | 140 11900 83300 | 56588 52731 44 | 0.005 % |
913.18/913.74 c | 1595198 | 140 11900 83300 | 54064 53836 44 | 0.005 % |
921.17/921.72 c | 1608952 | 140 11900 83300 | 53226 51331 44 | 0.005 % |
921.17/921.79 c | 1609057 | 140 11900 83300 | 53226 51436 44 | 0.005 % |
921.27/921.87 c | 1609167 | 140 11900 83300 | 53226 51546 44 | 0.005 % |
921.37/921.94 c | 1609290 | 140 11900 83300 | 53226 51669 44 | 0.005 % |
921.47/922.02 c | 1609423 | 140 11900 83300 | 53226 51802 44 | 0.005 % |
921.57/922.11 c | 1609569 | 140 11900 83300 | 53226 51948 44 | 0.005 % |
921.67/922.21 c | 1609730 | 140 11900 83300 | 53226 52109 44 | 0.005 % |
921.77/922.31 c | 1609909 | 140 11900 83300 | 53226 52288 44 | 0.005 % |
921.87/922.49 c | 1610102 | 140 11900 83300 | 52379 47161 44 | 0.005 % |
922.07/922.60 c | 1610315 | 140 11900 83300 | 52379 47374 44 | 0.005 % |
922.17/922.72 c | 1610548 | 140 11900 83300 | 52379 47607 44 | 0.005 % |
922.27/922.89 c | 1610804 | 140 11900 83300 | 52379 47863 44 | 0.005 % |
922.46/923.06 c | 1611086 | 140 11900 83300 | 52379 48145 44 | 0.005 % |
922.66/923.22 c | 1611397 | 140 11900 83300 | 52379 48456 44 | 0.005 % |
922.86/923.40 c | 1611736 | 140 11900 83300 | 52379 48795 44 | 0.005 % |
923.06/923.60 c | 1612110 | 140 11900 83300 | 52379 49169 44 | 0.005 % |
923.26/923.86 c | 1612519 | 140 11900 83300 | 52379 49578 44 | 0.005 % |
923.47/924.09 c | 1612969 | 140 11900 83300 | 52379 50028 44 | 0.005 % |
923.76/924.35 c | 1613464 | 140 11900 83300 | 52379 50523 44 | 0.005 % |
923.96/924.59 c | 1614006 | 140 11900 83300 | 52379 51065 44 | 0.005 % |
924.36/924.92 c | 1614604 | 140 11900 83300 | 52379 51663 44 | 0.005 % |
924.76/925.33 c | 1615259 | 140 11900 83300 | 52379 52318 44 | 0.005 % |
925.16/925.76 c | 1615981 | 140 11900 83300 | 52379 47783 44 | 0.005 % |
925.57/926.19 c | 1616775 | 140 11900 83300 | 52379 48577 44 | 0.005 % |
926.06/926.61 c | 1617646 | 140 11900 83300 | 52379 49448 44 | 0.005 % |
926.46/927.08 c | 1618604 | 140 11900 83300 | 52379 50406 44 | 0.005 % |
926.96/927.58 c | 1619657 | 140 11900 83300 | 52379 51459 44 | 0.005 % |
927.66/928.21 c | 1620815 | 140 11900 83300 | 2147483647 52617 44 | 0.005 % |
928.46/929.00 c | 1622088 | 140 11900 83300 | 2147483647 53890 44 | 0.005 % |
929.46/930.09 c | 1623490 | 140 11900 83300 | 2147483647 55292 44 | 0.005 % |
930.46/931.09 c | 1625032 | 140 11900 83300 | 2147483647 56834 44 | 0.005 % |
931.66/932.28 c | 1626726 | 140 11900 83300 | 2147483647 58528 44 | 0.005 % |
932.96/933.57 c | 1628590 | 140 11900 83300 | 2147483647 60392 44 | 0.005 % |
934.56/935.14 c | 1630639 | 140 11900 83300 | 61802 52720 44 | 0.005 % |
935.96/936.56 c | 1632892 | 140 11900 83300 | 61802 54973 44 | 0.005 % |
937.46/938.01 c | 1635370 | 140 11900 83300 | 61802 57451 44 | 0.005 % |
939.06/939.67 c | 1638095 | 140 11900 83300 | 61802 60176 44 | 0.005 % |
940.86/941.49 c | 1641092 | 140 11900 83300 | 52990 46341 44 | 0.005 % |
942.56/943.15 c | 1644388 | 140 11900 83300 | 52990 49637 44 | 0.005 % |
944.46/945.08 c | 1648015 | 140 11900 83300 | 52990 47959 44 | 0.005 % |
946.66/947.20 c | 1652003 | 140 11900 83300 | 2147483647 51947 44 | 0.005 % |
949.26/949.81 c | 1656389 | 140 11900 83300 | 2147483647 56333 44 | 0.005 % |
951.96/952.58 c | 1661213 | 140 11900 83300 | 59945 54495 44 | 0.005 % |
954.85/955.50 c | 1666521 | 140 11900 83300 | 59945 59803 44 | 0.005 % |
958.45/959.02 c | 1672356 | 140 11900 83300 | 56065 51341 44 | 0.005 % |
962.25/962.86 c | 1678774 | 140 11900 83300 | 56065 50800 44 | 0.005 % |
966.35/966.91 c | 1685834 | 140 11900 83300 | 52026 51733 44 | 0.005 % |
971.14/971.72 c | 1693598 | 140 11900 83300 | 2147483647 54289 44 | 0.005 % |
976.04/976.67 c | 1702138 | 140 11900 83300 | 60691 55024 44 | 0.005 % |
981.04/981.64 c | 1711533 | 140 11900 83300 | 55128 49729 44 | 0.005 % |
986.74/987.36 c | 1721868 | 140 11900 83300 | 51548 47228 45 | 0.005 % |
992.64/993.23 c | 1733234 | 140 11900 83300 | 2147483647 53433 45 | 0.005 % |
1000.23/1000.86 c | 1745739 | 140 11900 83300 | 60200 59086 45 | 0.005 % |
1008.53/1009.12 c | 1759491 | 140 11900 83300 | 55507 51493 44 | 0.005 % |
1017.32/1017.94 c | 1774618 | 140 11900 83300 | 2147483647 55447 44 | 0.005 % |
1017.42/1018.01 c | 1774720 | 140 11900 83300 | 2147483647 55549 44 | 0.005 % |
1017.42/1018.08 c | 1774830 | 140 11900 83300 | 2147483647 55659 44 | 0.005 % |
1017.52/1018.17 c | 1774954 | 140 11900 83300 | 2147483647 55783 44 | 0.005 % |
1017.62/1018.26 c | 1775088 | 140 11900 83300 | 2147483647 55917 44 | 0.005 % |
1017.72/1018.37 c | 1775235 | 140 11900 83300 | 2147483647 56064 44 | 0.005 % |
1017.82/1018.46 c | 1775396 | 140 11900 83300 | 2147483647 56225 44 | 0.005 % |
1017.92/1018.58 c | 1775574 | 140 11900 83300 | 2147483647 56403 44 | 0.005 % |
1018.12/1018.73 c | 1775767 | 140 11900 83300 | 2147483647 56596 44 | 0.005 % |
1018.22/1018.88 c | 1775980 | 140 11900 83300 | 2147483647 56809 44 | 0.005 % |
1018.42/1019.05 c | 1776216 | 140 11900 83300 | 2147483647 57045 44 | 0.005 % |
1018.62/1019.22 c | 1776472 | 140 11900 83300 | 2147483647 57301 44 | 0.005 % |
1018.82/1019.43 c | 1776754 | 140 11900 83300 | 2147483647 57583 44 | 0.005 % |
1019.02/1019.66 c | 1777063 | 140 11900 83300 | 2147483647 57892 44 | 0.005 % |
1019.22/1019.89 c | 1777402 | 140 11900 83300 | 2147483647 58231 44 | 0.005 % |
1019.52/1020.18 c | 1777775 | 140 11900 83300 | 2147483647 58604 44 | 0.005 % |
1019.82/1020.44 c | 1778185 | 140 11900 83300 | 2147483647 59014 44 | 0.005 % |
1020.12/1020.76 c | 1778634 | 140 11900 83300 | 2147483647 59463 44 | 0.005 % |
1020.52/1021.17 c | 1779127 | 140 11900 83300 | 2147483647 59956 44 | 0.005 % |
1020.92/1021.53 c | 1779669 | 140 11900 83300 | 2147483647 60498 44 | 0.005 % |
1021.32/1021.98 c | 1780265 | 140 11900 83300 | 60830 52622 44 | 0.005 % |
1021.82/1022.40 c | 1780922 | 140 11900 83300 | 60830 53279 44 | 0.005 % |
1022.22/1022.85 c | 1781642 | 140 11900 83300 | 60830 53999 44 | 0.005 % |
1022.72/1023.31 c | 1782435 | 140 11900 83300 | 60830 54792 44 | 0.005 % |
1023.12/1023.78 c | 1783307 | 140 11900 83300 | 60830 55664 44 | 0.005 % |
1023.62/1024.29 c | 1784265 | 140 11900 83300 | 60830 56622 44 | 0.005 % |
1024.23/1024.82 c | 1785318 | 140 11900 83300 | 60830 57675 44 | 0.005 % |
1024.83/1025.50 c | 1786476 | 140 11900 83300 | 60830 58833 44 | 0.005 % |
1025.63/1026.25 c | 1787750 | 140 11900 83300 | 60830 60107 44 | 0.005 % |
1026.52/1027.14 c | 1789150 | 140 11900 83300 | 60830 53171 44 | 0.005 % |
1027.32/1027.94 c | 1790690 | 140 11900 83300 | 54021 47640 44 | 0.005 % |
1028.13/1028.74 c | 1792384 | 140 11900 83300 | 54021 49334 44 | 0.005 % |
1029.12/1029.70 c | 1794247 | 140 11900 83300 | 54021 51197 44 | 0.005 % |
1030.13/1030.78 c | 1796297 | 140 11900 83300 | 54021 53247 44 | 0.005 % |
1031.42/1032.07 c | 1798552 | 140 11900 83300 | 54021 50094 44 | 0.005 % |
1032.72/1033.37 c | 1801030 | 140 11900 83300 | 2147483647 52572 44 | 0.005 % |
1034.22/1034.89 c | 1803759 | 140 11900 83300 | 2147483647 55301 44 | 0.005 % |
1035.82/1036.47 c | 1806757 | 140 11900 83300 | 2147483647 58299 44 | 0.005 % |
1037.62/1038.28 c | 1810053 | 140 11900 83300 | 61542 61595 44 | 0.005 % |
1039.72/1040.31 c | 1813678 | 140 11900 83300 | 61542 57442 44 | 0.005 % |
1042.02/1042.62 c | 1817665 | 140 11900 83300 | 61542 61429 44 | 0.005 % |
1044.42/1045.08 c | 1822050 | 140 11900 83300 | 55301 50055 44 | 0.005 % |
1047.22/1047.82 c | 1826875 | 140 11900 83300 | 55301 54880 44 | 0.005 % |
1050.02/1050.63 c | 1832183 | 140 11900 83300 | 51180 47376 44 | 0.005 % |
1052.81/1053.49 c | 1838018 | 140 11900 83300 | 51180 48087 44 | 0.005 % |
1056.31/1056.91 c | 1844436 | 140 11900 83300 | 2147483647 54505 45 | 0.005 % |
1060.11/1060.73 c | 1851495 | 140 11900 83300 | 60071 54615 45 | 0.005 % |
1064.00/1064.69 c | 1859260 | 140 11900 83300 | 60071 55733 45 | 0.005 % |
1068.61/1069.25 c | 1867800 | 140 11900 83300 | 56474 52518 44 | 0.005 % |
1073.80/1074.48 c | 1877194 | 140 11900 83300 | 2147483647 61912 44 | 0.005 % |
1080.40/1081.07 c | 1887527 | 140 11900 83300 | 64718 63618 44 | 0.005 % |
1086.50/1087.10 c | 1898894 | 140 11900 83300 | 55911 48822 45 | 0.005 % |
1092.39/1093.02 c | 1911396 | 140 11900 83300 | 2147483647 50094 45 | 0.005 % |
1099.99/1100.61 c | 1925148 | 140 11900 83300 | 58698 57858 45 | 0.005 % |
1108.78/1109.50 c | 1940275 | 140 11900 83300 | 53429 47988 45 | 0.005 % |
1118.38/1119.03 c | 1956915 | 140 11900 83300 | 2147483647 59279 45 | 0.005 % |
1118.48/1119.11 c | 1957015 | 140 11900 83300 | 2147483647 59379 45 | 0.005 % |
1118.58/1119.21 c | 1957126 | 140 11900 83300 | 2147483647 59490 45 | 0.005 % |
1118.68/1119.31 c | 1957247 | 140 11900 83300 | 2147483647 59611 45 | 0.005 % |
1118.78/1119.40 c | 1957382 | 140 11900 83300 | 2147483647 59746 45 | 0.005 % |
1118.88/1119.51 c | 1957531 | 140 11900 83300 | 2147483647 59895 45 | 0.005 % |
1118.98/1119.61 c | 1957691 | 140 11900 83300 | 2147483647 60055 45 | 0.005 % |
1119.08/1119.74 c | 1957867 | 140 11900 83300 | 2147483647 60231 45 | 0.005 % |
1119.18/1119.89 c | 1958060 | 140 11900 83300 | 2147483647 60424 45 | 0.005 % |
1119.38/1120.03 c | 1958273 | 140 11900 83300 | 2147483647 60637 45 | 0.005 % |
1119.48/1120.20 c | 1958506 | 140 11900 83300 | 2147483647 60870 45 | 0.005 % |
1119.68/1120.38 c | 1958763 | 140 11900 83300 | 2147483647 61127 45 | 0.005 % |
1119.98/1120.60 c | 1959044 | 140 11900 83300 | 2147483647 61408 45 | 0.005 % |
1120.18/1120.84 c | 1959355 | 140 11900 83300 | 2147483647 61719 45 | 0.005 % |
1120.38/1121.06 c | 1959697 | 140 11900 83300 | 2147483647 62061 44 | 0.005 % |
1120.68/1121.38 c | 1960070 | 140 11900 83300 | 62364 53252 44 | 0.005 % |
1120.98/1121.63 c | 1960479 | 140 11900 83300 | 62364 53661 44 | 0.005 % |
1121.18/1121.90 c | 1960928 | 140 11900 83300 | 62364 54110 44 | 0.005 % |
1121.58/1122.22 c | 1961421 | 140 11900 83300 | 62364 54603 44 | 0.005 % |
1121.88/1122.57 c | 1961963 | 140 11900 83300 | 62364 55145 44 | 0.005 % |
1122.18/1122.90 c | 1962559 | 140 11900 83300 | 62364 55741 44 | 0.005 % |
1122.58/1123.27 c | 1963214 | 140 11900 83300 | 62364 56396 44 | 0.005 % |
1122.98/1123.68 c | 1963937 | 140 11900 83300 | 62364 57119 44 | 0.005 % |
1123.58/1124.23 c | 1964729 | 140 11900 83300 | 62364 57911 44 | 0.005 % |
1124.18/1124.81 c | 1965602 | 140 11900 83300 | 62364 58784 44 | 0.005 % |
1124.78/1125.43 c | 1966561 | 140 11900 83300 | 62364 59743 44 | 0.005 % |
1125.48/1126.10 c | 1967614 | 140 11900 83300 | 62364 60796 44 | 0.005 % |
1126.08/1126.72 c | 1968772 | 140 11900 83300 | 62364 61954 44 | 0.005 % |
1126.78/1127.50 c | 1970045 | 140 11900 83300 | 53928 53972 44 | 0.005 % |
1127.58/1128.27 c | 1971448 | 140 11900 83300 | 53928 47571 44 | 0.005 % |
1128.38/1129.10 c | 1972988 | 140 11900 83300 | 53928 49111 44 | 0.005 % |
1129.28/1129.98 c | 1974682 | 140 11900 83300 | 53928 50805 44 | 0.005 % |
1130.38/1131.09 c | 1976545 | 140 11900 83300 | 53928 52668 44 | 0.005 % |
1131.67/1132.31 c | 1978594 | 140 11900 83300 | 53928 48536 44 | 0.005 % |
1132.87/1133.55 c | 1980847 | 140 11900 83300 | 49942 45094 44 | 0.005 % |
1134.07/1134.78 c | 1983326 | 140 11900 83300 | 49942 47573 44 | 0.005 % |
1135.47/1136.17 c | 1986056 | 140 11900 83300 | 49942 45303 44 | 0.005 % |
1136.97/1137.65 c | 1989053 | 140 11900 83300 | 49942 48300 44 | 0.005 % |
1138.77/1139.47 c | 1992349 | 140 11900 83300 | 2147483647 51596 44 | 0.005 % |
1140.97/1141.60 c | 1995974 | 140 11900 83300 | 2147483647 55221 44 | 0.005 % |
1143.47/1144.11 c | 1999961 | 140 11900 83300 | 2147483647 59208 44 | 0.005 % |
1145.96/1146.64 c | 2004347 | 140 11900 83300 | 59248 56651 44 | 0.005 % |
1148.87/1149.54 c | 2009173 | 140 11900 83300 | 59248 54448 44 | 0.005 % |
1151.96/1152.67 c | 2014479 | 140 11900 83300 | 55275 53252 44 | 0.005 % |
1155.36/1156.02 c | 2020314 | 140 11900 83300 | 52847 47615 44 | 0.005 % |
1158.76/1159.50 c | 2026733 | 140 11900 83300 | 52847 48742 44 | 0.005 % |
1162.36/1163.07 c | 2033794 | 140 11900 83300 | 2147483647 55803 44 | 0.005 % |
1167.35/1168.02 c | 2041559 | 140 11900 83300 | 62010 55827 44 | 0.005 % |
1172.25/1172.93 c | 2050099 | 140 11900 83300 | 55115 47399 44 | 0.005 % |
1176.75/1177.40 c | 2059494 | 140 11900 83300 | 55115 50942 44 | 0.005 % |
1182.15/1182.84 c | 2069827 | 140 11900 83300 | 51448 50756 44 | 0.005 % |
1188.65/1189.33 c | 2081194 | 140 11900 83300 | 60930 55805 44 | 0.005 % |
1196.54/1197.27 c | 2093697 | 140 11900 83300 | 56803 53410 44 | 0.005 % |
1200.04/1200.70 HOME/SatELiteGTI: line 36: 14842 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832631-1242785427/watcher-1832631-1242785427 -o /tmp/evaluation-result-1832631-1242785427/solver-1832631-1242785427 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832631-1242785427.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14836
/proc/meminfo: memFree=1894984/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306575630 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233588883538 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14836/statm: 1339 235 195 169 0 50 0
[pid=14837] ppid=14836 vsize=5356 CPUtime=0
/proc/14837/stat : 14837 (SatELiteGTI) S 14836 14836 14163 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306575631 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14837/statm: 1339 238 198 169 0 50 0
[pid=14839] ppid=14837 vsize=5356 CPUtime=0
/proc/14839/stat : 14839 (SatELiteGTI) R 14837 14836 14163 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306575631 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588714791 0 0 4096 0 0 0 0 17 1 0 0
/proc/14839/statm: 1339 239 199 169 0 50 0
[startup+0.069646 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14836
/proc/meminfo: memFree=1894984/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101648 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14836
/proc/meminfo: memFree=1894984/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301668 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14836
/proc/meminfo: memFree=1894984/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701709 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14836
/proc/meminfo: memFree=1894984/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50279 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1892152/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=4548 CPUtime=1.44
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 872 0 0 0 144 0 0 0 25 0 1 0 306575635 4657152 858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 1137 858 76 171 0 964 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9904
[startup+3.10195 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1890040/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=6592 CPUtime=3.03
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 1361 0 0 0 303 0 0 0 25 0 1 0 306575635 6750208 1347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 1648 1347 76 171 0 1475 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11948
[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1887224/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=9004 CPUtime=6.23
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 1953 0 0 0 622 1 0 0 25 0 1 0 306575635 9220096 1939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 2251 1939 76 171 0 2078 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14360
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1883640/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=12132 CPUtime=12.63
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 2741 0 0 0 1261 2 0 0 25 0 1 0 306575635 12423168 2727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 3033 2727 76 171 0 2860 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17488
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1879288/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=16348 CPUtime=25.41
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 3786 0 0 0 2537 4 0 0 25 0 1 0 306575635 16740352 3772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4087 3772 76 171 0 3914 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21704
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1879032/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=16488 CPUtime=51
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 3826 0 0 0 5095 5 0 0 25 0 1 0 306575635 16883712 3812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4122 3812 76 171 0 3949 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21844
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1878840/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=16488 CPUtime=102.17
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 3826 0 0 0 10212 5 0 0 25 0 1 0 306575635 16883712 3812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4122 3812 76 171 0 3949 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 21844
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1878648/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=16488 CPUtime=162.12
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 3835 0 0 0 16206 6 0 0 25 0 1 0 306575635 16883712 3821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4122 3821 76 171 0 3949 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 21844
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1876792/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=18468 CPUtime=222.08
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4310 0 0 0 22202 6 0 0 25 0 1 0 306575635 18911232 4296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4617 4296 76 171 0 4444 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 23824
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1876728/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=18468 CPUtime=282.05
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4321 0 0 0 28199 6 0 0 25 0 1 0 306575635 18911232 4307 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4617 4307 76 171 0 4444 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 23824
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1876600/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=18468 CPUtime=342.02
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4321 0 0 0 34196 6 0 0 25 0 1 0 306575635 18911232 4307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4617 4307 76 171 0 4444 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 23824
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1876472/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=18468 CPUtime=401.98
################
# More data... #
################
[pid=14842] ppid=14836 vsize=18468 CPUtime=521.92
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4322 0 0 0 52185 7 0 0 25 0 1 0 306575635 18911232 4308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4617 4308 76 171 0 4444 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 23824
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1875192/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=581.89
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 58182 7 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 24748
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1875000/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=641.87
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 64180 7 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 24748
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874872/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=701.83
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 70176 7 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 24748
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874680/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=761.81
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 76174 7 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 24748
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874616/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=821.8
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 82172 8 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 24748
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874488/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=881.76
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 88168 8 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 24748
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874424/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=941.73
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 94165 8 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 24748
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874296/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=1001.7
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 100162 8 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 24748
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1874168/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19392 CPUtime=1061.67
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4568 0 0 0 106158 9 0 0 25 0 1 0 306575635 19857408 4554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4848 4554 76 171 0 4675 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 24748
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1873912/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19804 CPUtime=1121.65
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4646 0 0 0 112156 9 0 0 25 0 1 0 306575635 20279296 4632 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4951 4632 76 171 0 4778 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 25160
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1873784/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19804 CPUtime=1181.62
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4651 0 0 0 118153 9 0 0 25 0 1 0 306575635 20279296 4637 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4951 4637 76 171 0 4778 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 25160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1873784/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19804 CPUtime=1200.01
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4658 0 0 0 119992 9 0 0 25 0 1 0 306575635 20279296 4644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4951 4644 76 171 0 4778 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 25160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14842
/proc/meminfo: memFree=1873784/2055920 swapFree=4179112/4192956
[pid=14836] ppid=14834 vsize=5356 CPUtime=0.03
/proc/14836/stat : 14836 (SatELiteGTI) S 14834 14836 14163 0 -1 4194304 336 630 0 0 0 0 3 0 17 0 1 0 306575630 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14836/statm: 1339 239 197 169 0 50 0
[pid=14842] ppid=14836 vsize=19804 CPUtime=1200.01
/proc/14842/stat : 14842 (minisat_static) R 14836 14836 14163 0 -1 4194304 4658 0 0 0 119992 9 0 0 25 0 1 0 306575635 20279296 4644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14842/statm: 4951 4644 76 171 0 4778 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 25160
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1199.97
CPU system time (s): 0.106983
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 25160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5633
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= 26
involuntary context switches= 5681
runsolver used 1.00085 second user time and 3.52046 second system time
The end
Begin job on node27 at 2009-05-20 04:10:27
IDJOB=1832631
IDBENCH=70279
IDSOLVER=671
FILE ID=node27/1832631-1242785427
PBS_JOBID= 9322313
Free space on /tmp= 66364 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S814638510-058.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832631-1242785427/watcher-1832631-1242785427 -o /tmp/evaluation-result-1832631-1242785427/solver-1832631-1242785427 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832631-1242785427.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fac88499c30c65b5d674700418285bf
RANDOM SEED=1500067327
node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5521.40
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1895464 kB
Buffers: 22060 kB
Cached: 90524 kB
SwapCached: 7844 kB
Active: 59036 kB
Inactive: 63688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1895464 kB
SwapTotal: 4192956 kB
SwapFree: 4179112 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 14768 kB
Slab: 23688 kB
Committed_AS: 1016324 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node27 at 2009-05-20 04:30:30