0.00/0.01 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.014997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 140 |
0.00/0.04 c | Number of clauses: 11900 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 140 11900 83300 | 3966 0 nan | 0.000 % |
0.00/0.06 c | 100 | 140 11900 83300 | 3966 100 43 | 0.005 % |
0.00/0.07 c | 201 | 140 11900 83300 | 3966 201 43 | 0.005 % |
0.00/0.08 c | 301 | 140 11900 83300 | 3966 301 43 | 0.005 % |
0.00/0.09 c | 411 | 140 11900 83300 | 3966 411 44 | 0.005 % |
0.00/0.09 c | 511 | 140 11900 83300 | 3966 511 44 | 0.005 % |
0.03/0.10 c | 621 | 140 11900 83300 | 3966 621 43 | 0.005 % |
0.03/0.11 c | 742 | 140 11900 83300 | 3966 742 43 | 0.005 % |
0.03/0.12 c | 843 | 140 11900 83300 | 3966 843 43 | 0.005 % |
0.03/0.12 c | 955 | 140 11900 83300 | 3966 955 43 | 0.005 % |
0.03/0.13 c | 1078 | 140 11900 83300 | 3966 1078 43 | 0.005 % |
0.03/0.14 c | 1211 | 140 11900 83300 | 3966 1211 43 | 0.005 % |
0.03/0.15 c | 1311 | 140 11900 83300 | 3966 1311 43 | 0.005 % |
0.03/0.16 c | 1423 | 140 11900 83300 | 3966 1423 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 | 1828 | 140 11900 83300 | 3966 1828 43 | 0.005 % |
0.03/0.19 c | 1929 | 140 11900 83300 | 3966 1929 43 | 0.005 % |
0.03/0.20 c | 2040 | 140 11900 83300 | 3966 2040 43 | 0.005 % |
0.03/0.21 c | 2164 | 140 11900 83300 | 3966 2164 43 | 0.005 % |
0.03/0.22 c | 2298 | 140 11900 83300 | 3966 2298 43 | 0.005 % |
0.03/0.23 c | 2444 | 140 11900 83300 | 3966 2444 43 | 0.005 % |
0.03/0.25 c | 2604 | 140 11900 83300 | 3966 2604 44 | 0.005 % |
0.03/0.25 c | 2705 | 140 11900 83300 | 3966 2705 43 | 0.005 % |
0.03/0.26 c | 2817 | 140 11900 83300 | 3966 2817 43 | 0.005 % |
0.03/0.27 c | 2938 | 140 11900 83300 | 3966 2938 43 | 0.005 % |
0.03/0.28 c | 3071 | 140 11900 83300 | 3966 3071 43 | 0.005 % |
0.03/0.29 c | 3217 | 140 11900 83300 | 3966 3217 43 | 0.005 % |
0.03/0.31 c | 3379 | 140 11900 83300 | 3966 3379 43 | 0.005 % |
0.03/0.32 c | 3555 | 140 11900 83300 | 3966 3555 43 | 0.005 % |
0.03/0.33 c | 3656 | 140 11900 83300 | 3966 3656 43 | 0.005 % |
0.03/0.34 c | 3768 | 140 11900 83300 | 3966 3768 43 | 0.005 % |
0.03/0.35 c | 3890 | 140 11900 83300 | 3966 3890 44 | 0.005 % |
0.03/0.36 c | 4025 | 140 11900 83300 | 3966 4025 44 | 0.005 % |
0.03/0.38 c | 4171 | 140 11900 83300 | 3966 3769 43 | 0.005 % |
0.03/0.39 c | 4331 | 140 11900 83300 | 3966 3929 43 | 0.005 % |
0.03/0.41 c | 4507 | 140 11900 83300 | 3966 3702 43 | 0.005 % |
0.03/0.42 c | 4701 | 140 11900 83300 | 3966 3896 43 | 0.005 % |
0.03/0.43 c | 4802 | 140 11900 83300 | 3966 3997 43 | 0.005 % |
0.03/0.44 c | 4912 | 140 11900 83300 | 3966 3708 43 | 0.005 % |
0.03/0.45 c | 5033 | 140 11900 83300 | 3966 3829 43 | 0.005 % |
0.03/0.46 c | 5166 | 140 11900 83300 | 3966 3962 43 | 0.005 % |
0.03/0.48 c | 5312 | 140 11900 83300 | 3966 3705 43 | 0.005 % |
0.03/0.49 c | 5474 | 140 11900 83300 | 3966 3867 43 | 0.005 % |
0.03/0.51 c | 5652 | 140 11900 83300 | 3966 3642 43 | 0.005 % |
0.03/0.52 c | 5845 | 140 11900 83300 | 3966 3835 43 | 0.005 % |
0.03/0.54 c | 6058 | 140 11900 83300 | 3966 3645 43 | 0.005 % |
0.03/0.55 c | 6158 | 140 11900 83300 | 3966 3745 43 | 0.005 % |
0.03/0.56 c | 6268 | 140 11900 83300 | 3966 3855 43 | 0.005 % |
0.03/0.57 c | 6392 | 140 11900 83300 | 3966 3979 43 | 0.005 % |
0.03/0.58 c | 6526 | 140 11900 83300 | 3966 3716 43 | 0.005 % |
0.03/0.60 c | 6672 | 140 11900 83300 | 3966 3862 43 | 0.005 % |
0.03/0.61 c | 6834 | 140 11900 83300 | 3966 4024 43 | 0.005 % |
0.03/0.63 c | 7013 | 140 11900 83300 | 3966 3801 43 | 0.005 % |
0.03/0.64 c | 7206 | 140 11900 83300 | 3966 3994 43 | 0.005 % |
0.03/0.66 c | 7424 | 140 11900 83300 | 3966 3813 43 | 0.005 % |
0.03/0.68 c | 7658 | 140 11900 83300 | 3966 3645 43 | 0.005 % |
0.03/0.69 c | 7759 | 140 11900 83300 | 3966 3746 43 | 0.005 % |
0.03/0.70 c | 7869 | 140 11900 83300 | 3966 3856 43 | 0.005 % |
0.03/0.71 c | 7990 | 140 11900 83300 | 3966 3977 43 | 0.005 % |
0.03/0.72 c | 8128 | 140 11900 83300 | 3966 3718 43 | 0.005 % |
0.03/0.74 c | 8274 | 140 11900 83300 | 3966 3864 43 | 0.005 % |
0.03/0.75 c | 8434 | 140 11900 83300 | 3966 4024 43 | 0.005 % |
0.03/0.77 c | 8610 | 140 11900 83300 | 3966 3798 43 | 0.005 % |
0.03/0.78 c | 8805 | 140 11900 83300 | 3966 3993 43 | 0.005 % |
0.03/0.80 c | 9017 | 140 11900 83300 | 3966 3806 43 | 0.005 % |
0.03/0.83 c | 9250 | 140 11900 83300 | 3966 3637 43 | 0.005 % |
0.03/0.85 c | 9507 | 140 11900 83300 | 3966 3894 43 | 0.005 % |
0.03/0.86 c | 9609 | 140 11900 83300 | 3966 3996 43 | 0.005 % |
0.03/0.87 c | 9720 | 140 11900 83300 | 3966 3708 43 | 0.005 % |
0.03/0.88 c | 9841 | 140 11900 83300 | 3966 3829 43 | 0.005 % |
0.03/0.89 c | 9975 | 140 11900 83300 | 3966 3963 43 | 0.005 % |
0.03/0.90 c | 10123 | 140 11900 83300 | 2147483647 4111 43 | 0.005 % |
0.03/0.91 c | 10285 | 140 11900 83300 | 2147483647 4273 43 | 0.005 % |
0.03/0.93 c | 10463 | 140 11900 83300 | 2147483647 4451 43 | 0.005 % |
0.03/0.95 c | 10656 | 140 11900 83300 | 2147483647 4644 43 | 0.005 % |
0.03/0.97 c | 10870 | 140 11900 83300 | 2147483647 4858 43 | 0.005 % |
0.03/0.99 c | 11103 | 140 11900 83300 | 2147483647 5091 43 | 0.005 % |
0.98/1.01 c | 11360 | 140 11900 83300 | 2147483647 5348 43 | 0.005 % |
0.98/1.04 c | 11641 | 140 11900 83300 | 2147483647 5629 43 | 0.005 % |
0.98/1.05 c | 11741 | 140 11900 83300 | 2147483647 5729 43 | 0.005 % |
0.98/1.06 c | 11852 | 140 11900 83300 | 2147483647 5840 43 | 0.005 % |
0.98/1.07 c | 11975 | 140 11900 83300 | 2147483647 5963 43 | 0.005 % |
0.98/1.08 c | 12108 | 140 11900 83300 | 2147483647 6096 43 | 0.005 % |
0.98/1.10 c | 12254 | 140 11900 83300 | 2147483647 6242 43 | 0.005 % |
1.08/1.11 c | 12415 | 140 11900 83300 | 2147483647 6403 43 | 0.005 % |
1.08/1.13 c | 12591 | 140 11900 83300 | 2147483647 6579 43 | 0.005 % |
1.08/1.15 c | 12784 | 140 11900 83300 | 2147483647 6772 43 | 0.005 % |
1.08/1.17 c | 12996 | 140 11900 83300 | 2147483647 6984 43 | 0.005 % |
1.17/1.20 c | 13230 | 140 11900 83300 | 2147483647 7218 43 | 0.005 % |
1.17/1.23 c | 13486 | 140 11900 83300 | 2147483647 7474 43 | 0.005 % |
1.17/1.26 c | 13767 | 140 11900 83300 | 2147483647 7755 43 | 0.005 % |
1.17/1.29 c | 14077 | 140 11900 83300 | 2147483647 8065 43 | 0.005 % |
1.27/1.30 c | 14178 | 140 11900 83300 | 2147483647 8166 43 | 0.005 % |
1.27/1.32 c | 14288 | 140 11900 83300 | 2147483647 8276 43 | 0.005 % |
1.27/1.33 c | 14410 | 140 11900 83300 | 2147483647 8398 43 | 0.005 % |
1.27/1.35 c | 14543 | 140 11900 83300 | 2147483647 8531 43 | 0.005 % |
1.27/1.36 c | 14689 | 140 11900 83300 | 2147483647 8677 43 | 0.005 % |
1.27/1.38 c | 14850 | 140 11900 83300 | 2147483647 8838 43 | 0.005 % |
1.37/1.40 c | 15026 | 140 11900 83300 | 2147483647 9014 43 | 0.005 % |
1.37/1.43 c | 15221 | 140 11900 83300 | 2147483647 9209 43 | 0.005 % |
1.37/1.46 c | 15435 | 140 11900 83300 | 2147483647 9423 43 | 0.005 % |
1.37/1.49 c | 15669 | 140 11900 83300 | 2147483647 9657 43 | 0.005 % |
1.47/1.52 c | 15925 | 140 11900 83300 | 2147483647 9913 43 | 0.005 % |
1.47/1.56 c | 16210 | 140 11900 83300 | 2147483647 10198 43 | 0.005 % |
1.47/1.59 c | 16519 | 140 11900 83300 | 2147483647 10507 43 | 0.005 % |
1.57/1.64 c | 16859 | 140 11900 83300 | 2147483647 10847 43 | 0.005 % |
1.57/1.65 c | 16960 | 140 11900 83300 | 2147483647 10948 43 | 0.005 % |
1.57/1.67 c | 17072 | 140 11900 83300 | 2147483647 11060 43 | 0.005 % |
1.57/1.69 c | 17195 | 140 11900 83300 | 2147483647 11183 43 | 0.005 % |
1.67/1.71 c | 17328 | 140 11900 83300 | 2147483647 11316 43 | 0.005 % |
1.67/1.73 c | 17474 | 140 11900 83300 | 2147483647 11462 43 | 0.005 % |
1.67/1.75 c | 17635 | 140 11900 83300 | 2147483647 11623 43 | 0.005 % |
1.67/1.78 c | 17814 | 140 11900 83300 | 2147483647 11802 43 | 0.005 % |
1.77/1.81 c | 18009 | 140 11900 83300 | 2147483647 11997 43 | 0.005 % |
1.77/1.85 c | 18222 | 140 11900 83300 | 2147483647 12210 43 | 0.005 % |
1.77/1.88 c | 18456 | 140 11900 83300 | 2147483647 12444 43 | 0.005 % |
1.87/1.92 c | 18714 | 140 11900 83300 | 2147483647 12702 43 | 0.005 % |
1.87/1.96 c | 18997 | 140 11900 83300 | 2147483647 12985 43 | 0.005 % |
1.97/2.01 c | 19307 | 140 11900 83300 | 2147483647 13295 43 | 0.005 % |
1.97/2.06 c | 19646 | 140 11900 83300 | 2147483647 13634 43 | 0.005 % |
2.07/2.12 c | 20020 | 140 11900 83300 | 2147483647 14008 43 | 0.005 % |
2.07/2.14 c | 20120 | 140 11900 83300 | 2147483647 14108 43 | 0.005 % |
2.07/2.16 c | 20232 | 140 11900 83300 | 2147483647 14220 43 | 0.005 % |
2.07/2.18 c | 20353 | 140 11900 83300 | 2147483647 14341 43 | 0.005 % |
2.17/2.21 c | 20486 | 140 11900 83300 | 2147483647 14474 43 | 0.005 % |
2.17/2.24 c | 20632 | 140 11900 83300 | 2147483647 14620 43 | 0.005 % |
2.17/2.26 c | 20793 | 140 11900 83300 | 2147483647 14781 43 | 0.005 % |
2.17/2.29 c | 20970 | 140 11900 83300 | 2147483647 14958 43 | 0.005 % |
2.27/2.33 c | 21164 | 140 11900 83300 | 2147483647 15152 43 | 0.005 % |
2.27/2.37 c | 21376 | 140 11900 83300 | 2147483647 15364 43 | 0.005 % |
2.37/2.41 c | 21610 | 140 11900 83300 | 2147483647 15598 43 | 0.005 % |
2.37/2.46 c | 21867 | 140 11900 83300 | 2147483647 15855 43 | 0.005 % |
2.46/2.51 c | 22148 | 140 11900 83300 | 2147483647 16136 43 | 0.005 % |
2.46/2.57 c | 22457 | 140 11900 83300 | 2147483647 16445 43 | 0.005 % |
2.56/2.63 c | 22799 | 140 11900 83300 | 2147483647 16787 43 | 0.005 % |
2.66/2.72 c | 23171 | 140 11900 83300 | 2147483647 17159 43 | 0.005 % |
2.76/2.80 c | 23580 | 140 11900 83300 | 2147483647 17568 43 | 0.005 % |
2.76/2.83 c | 23680 | 140 11900 83300 | 2147483647 17668 43 | 0.005 % |
2.76/2.85 c | 23790 | 140 11900 83300 | 2147483647 17778 43 | 0.005 % |
2.76/2.88 c | 23912 | 140 11900 83300 | 2147483647 17900 43 | 0.005 % |
2.86/2.90 c | 24045 | 140 11900 83300 | 2147483647 18033 43 | 0.005 % |
2.86/2.94 c | 24191 | 140 11900 83300 | 2147483647 18179 43 | 0.005 % |
2.86/2.98 c | 24351 | 140 11900 83300 | 2147483647 18339 43 | 0.005 % |
2.96/3.02 c | 24528 | 140 11900 83300 | 2147483647 18516 43 | 0.005 % |
2.96/3.06 c | 24721 | 140 11900 83300 | 2147483647 18709 43 | 0.005 % |
3.06/3.11 c | 24933 | 140 11900 83300 | 2147483647 18921 43 | 0.005 % |
3.06/3.16 c | 25168 | 140 11900 83300 | 2147483647 19156 43 | 0.005 % |
3.17/3.22 c | 25426 | 140 11900 83300 | 2147483647 19414 43 | 0.005 % |
3.17/3.29 c | 25707 | 140 11900 83300 | 2147483647 19695 43 | 0.005 % |
3.27/3.35 c | 26017 | 140 11900 83300 | 2147483647 20005 43 | 0.005 % |
3.36/3.43 c | 26356 | 140 11900 83300 | 2147483647 20344 43 | 0.005 % |
3.46/3.52 c | 26729 | 140 11900 83300 | 2147483647 20717 43 | 0.005 % |
3.56/3.61 c | 27138 | 140 11900 83300 | 2147483647 21126 43 | 0.005 % |
3.66/3.70 c | 27587 | 140 11900 83300 | 2147483647 21575 43 | 0.005 % |
3.66/3.73 c | 27687 | 140 11900 83300 | 2147483647 21675 43 | 0.005 % |
3.66/3.76 c | 27798 | 140 11900 83300 | 2147483647 21786 43 | 0.005 % |
3.76/3.80 c | 27920 | 140 11900 83300 | 2147483647 21908 43 | 0.005 % |
3.76/3.84 c | 28054 | 140 11900 83300 | 2147483647 22042 43 | 0.005 % |
3.76/3.88 c | 28200 | 140 11900 83300 | 2147483647 22188 43 | 0.005 % |
3.86/3.92 c | 28360 | 140 11900 83300 | 2147483647 22348 43 | 0.005 % |
3.86/3.96 c | 28536 | 140 11900 83300 | 2147483647 22524 43 | 0.005 % |
3.96/4.01 c | 28729 | 140 11900 83300 | 2147483647 22717 43 | 0.005 % |
3.96/4.07 c | 28943 | 140 11900 83300 | 2147483647 22931 43 | 0.005 % |
4.06/4.14 c | 29177 | 140 11900 83300 | 2147483647 23165 43 | 0.005 % |
4.16/4.21 c | 29434 | 140 11900 83300 | 2147483647 23422 43 | 0.005 % |
4.16/4.27 c | 29719 | 140 11900 83300 | 2147483647 23707 43 | 0.005 % |
4.27/4.35 c | 30028 | 140 11900 83300 | 2147483647 24016 43 | 0.005 % |
4.37/4.44 c | 30367 | 140 11900 83300 | 2147483647 24355 43 | 0.005 % |
4.46/4.54 c | 30739 | 140 11900 83300 | 2147483647 24727 43 | 0.005 % |
4.56/4.65 c | 31148 | 140 11900 83300 | 2147483647 25136 43 | 0.005 % |
4.66/4.78 c | 31599 | 140 11900 83300 | 2147483647 25587 43 | 0.005 % |
4.86/4.93 c | 32092 | 140 11900 83300 | 2147483647 26080 43 | 0.005 % |
4.86/4.96 c | 32193 | 140 11900 83300 | 2147483647 26181 43 | 0.005 % |
4.86/4.99 c | 32305 | 140 11900 83300 | 2147483647 26293 43 | 0.005 % |
4.97/5.03 c | 32426 | 140 11900 83300 | 2147483647 26414 43 | 0.005 % |
4.97/5.07 c | 32563 | 140 11900 83300 | 2147483647 26551 43 | 0.005 % |
5.07/5.12 c | 32709 | 140 11900 83300 | 2147483647 26697 43 | 0.005 % |
5.07/5.17 c | 32869 | 140 11900 83300 | 2147483647 26857 43 | 0.005 % |
5.17/5.22 c | 33046 | 140 11900 83300 | 2147483647 27034 43 | 0.005 % |
5.17/5.28 c | 33239 | 140 11900 83300 | 2147483647 27227 43 | 0.005 % |
5.27/5.34 c | 33452 | 140 11900 83300 | 2147483647 27440 43 | 0.005 % |
5.37/5.41 c | 33685 | 140 11900 83300 | 2147483647 27673 43 | 0.005 % |
5.47/5.50 c | 33942 | 140 11900 83300 | 2147483647 27930 43 | 0.005 % |
5.57/5.60 c | 34223 | 140 11900 83300 | 2147483647 28211 43 | 0.005 % |
5.66/5.71 c | 34532 | 140 11900 83300 | 2147483647 28520 43 | 0.005 % |
5.76/5.83 c | 34872 | 140 11900 83300 | 2147483647 28860 43 | 0.005 % |
5.86/5.95 c | 35245 | 140 11900 83300 | 2147483647 29233 43 | 0.005 % |
5.96/6.07 c | 35655 | 140 11900 83300 | 2147483647 29643 43 | 0.005 % |
6.16/6.21 c | 36104 | 140 11900 83300 | 2147483647 30092 43 | 0.005 % |
6.26/6.37 c | 36597 | 140 11900 83300 | 2147483647 30585 43 | 0.005 % |
6.47/6.58 c | 37140 | 140 11900 83300 | 2147483647 31128 43 | 0.005 % |
6.57/6.62 c | 37241 | 140 11900 83300 | 2147483647 31229 43 | 0.005 % |
6.57/6.66 c | 37352 | 140 11900 83300 | 2147483647 31340 43 | 0.005 % |
6.66/6.71 c | 37474 | 140 11900 83300 | 2147483647 31462 43 | 0.005 % |
6.66/6.76 c | 37608 | 140 11900 83300 | 2147483647 31596 43 | 0.005 % |
6.76/6.82 c | 37755 | 140 11900 83300 | 2147483647 31743 43 | 0.005 % |
6.76/6.89 c | 37916 | 140 11900 83300 | 2147483647 31904 43 | 0.005 % |
6.86/6.95 c | 38092 | 140 11900 83300 | 2147483647 32080 43 | 0.005 % |
6.96/7.03 c | 38285 | 140 11900 83300 | 2147483647 32273 43 | 0.005 % |
7.06/7.11 c | 38497 | 140 11900 83300 | 2147483647 32485 43 | 0.005 % |
7.16/7.20 c | 38732 | 140 11900 83300 | 2147483647 32720 43 | 0.005 % |
7.26/7.30 c | 38988 | 140 11900 83300 | 2147483647 32976 43 | 0.005 % |
7.36/7.41 c | 39272 | 140 11900 83300 | 2147483647 33260 43 | 0.005 % |
7.46/7.53 c | 39581 | 140 11900 83300 | 2147483647 33569 43 | 0.005 % |
7.56/7.68 c | 39921 | 140 11900 83300 | 2147483647 33909 43 | 0.005 % |
7.76/7.82 c | 40293 | 140 11900 83300 | 2147483647 34281 43 | 0.005 % |
7.86/7.96 c | 40703 | 140 11900 83300 | 2147483647 34691 43 | 0.005 % |
8.06/8.14 c | 41152 | 140 11900 83300 | 2147483647 35140 43 | 0.005 % |
8.26/8.32 c | 41646 | 140 11900 83300 | 2147483647 35634 43 | 0.005 % |
8.46/8.52 c | 42188 | 140 11900 83300 | 2147483647 36176 43 | 0.005 % |
8.66/8.76 c | 42785 | 140 11900 83300 | 2147483647 36773 43 | 0.005 % |
8.76/8.80 c | 42886 | 140 11900 83300 | 2147483647 36874 43 | 0.005 % |
8.76/8.85 c | 42997 | 140 11900 83300 | 2147483647 36985 43 | 0.005 % |
8.86/8.91 c | 43119 | 140 11900 83300 | 2147483647 37107 43 | 0.005 % |
8.86/8.97 c | 43255 | 140 11900 83300 | 2147483647 37243 43 | 0.005 % |
8.96/9.03 c | 43401 | 140 11900 83300 | 2147483647 37389 43 | 0.005 % |
8.96/9.09 c | 43562 | 140 11900 83300 | 2147483647 37550 43 | 0.005 % |
9.06/9.18 c | 43738 | 140 11900 83300 | 2147483647 37726 43 | 0.005 % |
9.16/9.27 c | 43934 | 140 11900 83300 | 2147483647 37922 43 | 0.005 % |
9.26/9.37 c | 44148 | 140 11900 83300 | 2147483647 38136 43 | 0.005 % |
9.36/9.47 c | 44381 | 140 11900 83300 | 2147483647 38369 43 | 0.005 % |
9.46/9.58 c | 44639 | 140 11900 83300 | 2147483647 38627 43 | 0.005 % |
9.66/9.70 c | 44923 | 140 11900 83300 | 2147483647 38911 43 | 0.005 % |
9.76/9.82 c | 45233 | 140 11900 83300 | 2147483647 39221 43 | 0.005 % |
9.86/9.96 c | 45572 | 140 11900 83300 | 2147483647 39560 43 | 0.005 % |
10.06/10.13 c | 45945 | 140 11900 83300 | 2147483647 39933 43 | 0.005 % |
10.26/10.32 c | 46354 | 140 11900 83300 | 2147483647 40342 43 | 0.005 % |
10.46/10.53 c | 46804 | 140 11900 83300 | 2147483647 40792 43 | 0.005 % |
10.65/10.76 c | 47297 | 140 11900 83300 | 2147483647 41285 43 | 0.005 % |
10.96/11.02 c | 47839 | 140 11900 83300 | 2147483647 41827 43 | 0.005 % |
11.15/11.29 c | 48435 | 140 11900 83300 | 2147483647 42423 43 | 0.005 % |
11.45/11.59 c | 49090 | 140 11900 83300 | 2147483647 43078 43 | 0.005 % |
11.55/11.65 c | 49190 | 140 11900 83300 | 2147483647 43178 43 | 0.005 % |
11.65/11.71 c | 49300 | 140 11900 83300 | 2147483647 43288 43 | 0.005 % |
11.65/11.76 c | 49421 | 140 11900 83300 | 2147483647 43409 43 | 0.005 % |
11.75/11.84 c | 49554 | 140 11900 83300 | 2147483647 43542 43 | 0.005 % |
11.85/11.93 c | 49701 | 140 11900 83300 | 2147483647 43689 43 | 0.005 % |
11.96/12.02 c | 49864 | 140 11900 83300 | 2147483647 43852 43 | 0.005 % |
12.06/12.12 c | 50041 | 140 11900 83300 | 2147483647 44029 43 | 0.005 % |
12.15/12.24 c | 50234 | 140 11900 83300 | 2147483647 44222 43 | 0.005 % |
12.25/12.34 c | 50446 | 140 11900 83300 | 2147483647 44434 43 | 0.005 % |
12.35/12.46 c | 50679 | 140 11900 83300 | 2147483647 44667 43 | 0.005 % |
12.45/12.58 c | 50935 | 140 11900 83300 | 2147483647 44923 43 | 0.005 % |
12.65/12.72 c | 51216 | 140 11900 83300 | 2147483647 45204 43 | 0.005 % |
12.75/12.86 c | 51526 | 140 11900 83300 | 2147483647 45514 43 | 0.005 % |
12.95/13.07 c | 51866 | 140 11900 83300 | 2147483647 45854 43 | 0.005 % |
13.25/13.30 c | 52240 | 140 11900 83300 | 2147483647 46228 43 | 0.005 % |
13.45/13.51 c | 52650 | 140 11900 83300 | 2147483647 46638 43 | 0.005 % |
13.65/13.76 c | 53100 | 140 11900 83300 | 2147483647 47088 43 | 0.005 % |
13.95/14.04 c | 53593 | 140 11900 83300 | 2147483647 47581 43 | 0.005 % |
14.25/14.35 c | 54136 | 140 11900 83300 | 2147483647 48124 43 | 0.005 % |
14.55/14.69 c | 54734 | 140 11900 83300 | 2147483647 48722 43 | 0.005 % |
14.95/15.02 c | 55389 | 140 11900 83300 | 2147483647 49377 43 | 0.005 % |
15.35/15.42 c | 56110 | 140 11900 83300 | 2147483647 50098 43 | 0.005 % |
15.35/15.48 c | 56211 | 140 11900 83300 | 2147483647 50199 43 | 0.005 % |
15.45/15.54 c | 56324 | 140 11900 83300 | 2147483647 50312 43 | 0.005 % |
15.55/15.62 c | 56448 | 140 11900 83300 | 2147483647 50436 43 | 0.005 % |
15.65/15.71 c | 56581 | 140 11900 83300 | 2147483647 50569 43 | 0.005 % |
15.75/15.82 c | 56729 | 140 11900 83300 | 2147483647 50717 43 | 0.005 % |
15.85/15.91 c | 56889 | 140 11900 83300 | 2147483647 50877 43 | 0.005 % |
15.95/16.03 c | 57066 | 140 11900 83300 | 2147483647 51054 43 | 0.005 % |
16.05/16.16 c | 57261 | 140 11900 83300 | 2147483647 51249 43 | 0.005 % |
16.24/16.32 c | 57473 | 140 11900 83300 | 2147483647 51461 43 | 0.005 % |
16.35/16.46 c | 57708 | 140 11900 83300 | 2147483647 51696 43 | 0.005 % |
16.54/16.63 c | 57965 | 140 11900 83300 | 2147483647 51953 43 | 0.005 % |
16.64/16.80 c | 58246 | 140 11900 83300 | 2147483647 52234 43 | 0.005 % |
16.84/16.97 c | 58555 | 140 11900 83300 | 2147483647 52543 43 | 0.005 % |
17.04/17.19 c | 58894 | 140 11900 83300 | 2147483647 52882 43 | 0.005 % |
17.34/17.42 c | 59266 | 140 11900 83300 | 2147483647 53254 43 | 0.005 % |
17.56/17.69 c | 59676 | 140 11900 83300 | 2147483647 53664 43 | 0.005 % |
17.85/17.93 c | 60126 | 140 11900 83300 | 2147483647 54114 43 | 0.005 % |
18.05/18.20 c | 60619 | 140 11900 83300 | 2147483647 54607 43 | 0.005 % |
18.45/18.50 c | 61163 | 140 11900 83300 | 2147483647 55151 43 | 0.005 % |
18.75/18.85 c | 61760 | 140 11900 83300 | 2147483647 55748 43 | 0.005 % |
19.15/19.21 c | 62415 | 140 11900 83300 | 2147483647 56403 43 | 0.005 % |
19.55/19.64 c | 63136 | 140 11900 83300 | 2147483647 57124 43 | 0.005 % |
19.95/20.09 c | 63928 | 140 11900 83300 | 2147483647 57916 43 | 0.005 % |
20.05/20.16 c | 64032 | 140 11900 83300 | 2147483647 58020 43 | 0.005 % |
20.15/20.28 c | 64142 | 140 11900 83300 | 2147483647 58130 43 | 0.005 % |
20.25/20.38 c | 64263 | 140 11900 83300 | 2147483647 58251 43 | 0.005 % |
20.35/20.47 c | 64397 | 140 11900 83300 | 2147483647 58385 43 | 0.005 % |
20.45/20.57 c | 64545 | 140 11900 83300 | 2147483647 58533 43 | 0.005 % |
20.65/20.71 c | 64706 | 140 11900 83300 | 2147483647 58694 43 | 0.005 % |
20.75/20.84 c | 64883 | 140 11900 83300 | 2147483647 58871 43 | 0.005 % |
20.85/20.98 c | 65076 | 140 11900 83300 | 2147483647 59064 43 | 0.005 % |
21.05/21.16 c | 65288 | 140 11900 83300 | 2147483647 59276 43 | 0.005 % |
21.25/21.33 c | 65523 | 140 11900 83300 | 2147483647 59511 43 | 0.005 % |
21.45/21.52 c | 65782 | 140 11900 83300 | 2147483647 59770 43 | 0.005 % |
21.65/21.73 c | 66064 | 140 11900 83300 | 2147483647 60052 43 | 0.005 % |
21.85/21.97 c | 66374 | 140 11900 83300 | 2147483647 60362 43 | 0.005 % |
22.15/22.23 c | 66713 | 140 11900 83300 | 2147483647 60701 43 | 0.005 % |
22.35/22.47 c | 67085 | 140 11900 83300 | 2147483647 61073 43 | 0.005 % |
22.65/22.79 c | 67494 | 140 11900 83300 | 2147483647 61482 43 | 0.005 % |
22.95/23.10 c | 67945 | 140 11900 83300 | 2147483647 61933 43 | 0.005 % |
23.34/23.45 c | 68438 | 140 11900 83300 | 2147483647 62426 43 | 0.005 % |
23.64/23.80 c | 68980 | 140 11900 83300 | 2147483647 62968 43 | 0.005 % |
24.05/24.18 c | 69576 | 140 11900 83300 | 2147483647 63564 44 | 0.005 % |
24.64/24.74 c | 70231 | 140 11900 83300 | 63989 54805 43 | 0.005 % |
25.15/25.20 c | 70951 | 140 11900 83300 | 63989 55525 43 | 0.005 % |
25.64/25.70 c | 71744 | 140 11900 83300 | 63989 56318 43 | 0.005 % |
26.14/26.27 c | 72615 | 140 11900 83300 | 63989 57189 43 | 0.005 % |
26.25/26.34 c | 72717 | 140 11900 83300 | 63989 57291 43 | 0.005 % |
26.35/26.41 c | 72828 | 140 11900 83300 | 63989 57402 43 | 0.005 % |
26.35/26.48 c | 72949 | 140 11900 83300 | 63989 57523 43 | 0.005 % |
26.44/26.57 c | 73083 | 140 11900 83300 | 63989 57657 43 | 0.005 % |
26.54/26.69 c | 73229 | 140 11900 83300 | 63989 57803 43 | 0.005 % |
26.74/26.80 c | 73389 | 140 11900 83300 | 63989 57963 43 | 0.005 % |
26.84/26.91 c | 73566 | 140 11900 83300 | 63989 58140 43 | 0.005 % |
26.94/27.09 c | 73759 | 140 11900 83300 | 63989 58333 43 | 0.005 % |
27.14/27.25 c | 73972 | 140 11900 83300 | 63989 58546 43 | 0.005 % |
27.34/27.40 c | 74205 | 140 11900 83300 | 63989 58779 43 | 0.005 % |
27.44/27.58 c | 74462 | 140 11900 83300 | 63989 59036 43 | 0.005 % |
27.64/27.77 c | 74744 | 140 11900 83300 | 63989 59318 43 | 0.005 % |
27.84/27.97 c | 75053 | 140 11900 83300 | 63989 59627 43 | 0.005 % |
28.14/28.23 c | 75394 | 140 11900 83300 | 63989 59968 43 | 0.005 % |
28.44/28.54 c | 75767 | 140 11900 83300 | 63989 60341 43 | 0.005 % |
28.74/28.83 c | 76176 | 140 11900 83300 | 63989 60750 43 | 0.005 % |
29.04/29.15 c | 76626 | 140 11900 83300 | 63989 61200 43 | 0.005 % |
29.34/29.49 c | 77120 | 140 11900 83300 | 63989 61694 43 | 0.005 % |
29.74/29.81 c | 77662 | 140 11900 83300 | 63989 62236 43 | 0.005 % |
30.14/30.20 c | 78259 | 140 11900 83300 | 63989 62833 43 | 0.005 % |
30.54/30.66 c | 78914 | 140 11900 83300 | 63989 63488 43 | 0.005 % |
31.14/31.22 c | 79634 | 140 11900 83300 | 63989 53590 43 | 0.005 % |
31.54/31.68 c | 80427 | 140 11900 83300 | 53957 45577 43 | 0.005 % |
31.94/32.07 c | 81300 | 140 11900 83300 | 53957 46450 43 | 0.005 % |
32.34/32.48 c | 82258 | 140 11900 83300 | 53957 47408 43 | 0.005 % |
32.44/32.53 c | 82362 | 140 11900 83300 | 53957 47512 43 | 0.005 % |
32.44/32.58 c | 82473 | 140 11900 83300 | 53957 47623 43 | 0.005 % |
32.54/32.65 c | 82594 | 140 11900 83300 | 53957 47744 43 | 0.005 % |
32.64/32.75 c | 82728 | 140 11900 83300 | 53957 47878 43 | 0.005 % |
32.74/32.84 c | 82874 | 140 11900 83300 | 53957 48024 43 | 0.005 % |
32.84/32.94 c | 83036 | 140 11900 83300 | 53957 48186 43 | 0.005 % |
32.94/33.05 c | 83212 | 140 11900 83300 | 53957 48362 43 | 0.005 % |
33.03/33.17 c | 83405 | 140 11900 83300 | 53957 48555 43 | 0.005 % |
33.13/33.30 c | 83618 | 140 11900 83300 | 53957 48768 43 | 0.005 % |
33.33/33.43 c | 83851 | 140 11900 83300 | 53957 49001 43 | 0.005 % |
33.43/33.57 c | 84107 | 140 11900 83300 | 53957 49257 43 | 0.005 % |
33.63/33.72 c | 84388 | 140 11900 83300 | 53957 49538 43 | 0.005 % |
33.83/33.90 c | 84697 | 140 11900 83300 | 53957 49847 43 | 0.005 % |
33.94/34.07 c | 85037 | 140 11900 83300 | 53957 50187 43 | 0.005 % |
34.23/34.33 c | 85409 | 140 11900 83300 | 53957 50559 43 | 0.005 % |
34.53/34.60 c | 85819 | 140 11900 83300 | 53957 50969 43 | 0.005 % |
34.73/34.87 c | 86270 | 140 11900 83300 | 53957 51420 43 | 0.005 % |
35.04/35.14 c | 86764 | 140 11900 83300 | 53957 51914 43 | 0.005 % |
35.33/35.44 c | 87308 | 140 11900 83300 | 53957 52458 43 | 0.005 % |
35.63/35.76 c | 87904 | 140 11900 83300 | 53957 53054 43 | 0.005 % |
35.93/36.09 c | 88559 | 140 11900 83300 | 53957 53709 43 | 0.005 % |
36.43/36.55 c | 89279 | 140 11900 83300 | 53957 47866 43 | 0.005 % |
36.93/37.02 c | 90071 | 140 11900 83300 | 48587 42899 43 | 0.005 % |
37.33/37.46 c | 90942 | 140 11900 83300 | 48587 43770 43 | 0.005 % |
37.83/37.90 c | 91902 | 140 11900 83300 | 48587 44730 43 | 0.005 % |
38.23/38.39 c | 92955 | 140 11900 83300 | 48587 45783 43 | 0.005 % |
38.34/38.45 c | 93055 | 140 11900 83300 | 48587 45883 43 | 0.005 % |
38.44/38.52 c | 93166 | 140 11900 83300 | 48587 45994 43 | 0.005 % |
38.44/38.60 c | 93287 | 140 11900 83300 | 48587 46115 43 | 0.005 % |
38.53/38.68 c | 93420 | 140 11900 83300 | 48587 46248 43 | 0.005 % |
38.63/38.77 c | 93568 | 140 11900 83300 | 48587 46396 43 | 0.005 % |
38.73/38.86 c | 93730 | 140 11900 83300 | 48587 46558 43 | 0.005 % |
38.83/38.97 c | 93907 | 140 11900 83300 | 48587 46735 43 | 0.005 % |
39.03/39.10 c | 94101 | 140 11900 83300 | 48587 46929 43 | 0.005 % |
39.13/39.22 c | 94313 | 140 11900 83300 | 48587 47141 43 | 0.005 % |
39.23/39.36 c | 94546 | 140 11900 83300 | 48587 47374 43 | 0.005 % |
39.43/39.51 c | 94803 | 140 11900 83300 | 48587 47631 43 | 0.005 % |
39.53/39.69 c | 95084 | 140 11900 83300 | 48587 47912 43 | 0.005 % |
39.73/39.88 c | 95393 | 140 11900 83300 | 48587 48221 43 | 0.005 % |
39.93/40.08 c | 95732 | 140 11900 83300 | 48587 48560 43 | 0.005 % |
40.23/40.30 c | 96105 | 140 11900 83300 | 48587 44069 43 | 0.005 % |
40.33/40.49 c | 96515 | 140 11900 83300 | 48587 44479 43 | 0.005 % |
40.63/40.74 c | 96964 | 140 11900 83300 | 48587 44928 43 | 0.005 % |
40.83/40.98 c | 97457 | 140 11900 83300 | 48587 45421 43 | 0.005 % |
41.13/41.25 c | 98001 | 140 11900 83300 | 48587 45965 43 | 0.005 % |
41.43/41.58 c | 98601 | 140 11900 83300 | 48587 46565 43 | 0.005 % |
41.83/41.92 c | 99257 | 140 11900 83300 | 48587 47221 43 | 0.005 % |
42.23/42.30 c | 99977 | 140 11900 83300 | 48587 47941 43 | 0.005 % |
42.63/42.74 c | 100769 | 140 11900 83300 | 2147483647 48733 43 | 0.005 % |
43.03/43.19 c | 101644 | 140 11900 83300 | 2147483647 49608 43 | 0.005 % |
43.63/43.70 c | 102602 | 140 11900 83300 | 2147483647 50566 43 | 0.005 % |
44.23/44.30 c | 103655 | 140 11900 83300 | 2147483647 51619 43 | 0.005 % |
44.83/44.94 c | 104815 | 140 11900 83300 | 2147483647 52779 43 | 0.005 % |
44.93/45.01 c | 104915 | 140 11900 83300 | 2147483647 52879 43 | 0.005 % |
44.93/45.08 c | 105025 | 140 11900 83300 | 2147483647 52989 43 | 0.005 % |
45.03/45.18 c | 105147 | 140 11900 83300 | 2147483647 53111 43 | 0.005 % |
45.13/45.28 c | 105280 | 140 11900 83300 | 2147483647 53244 43 | 0.005 % |
45.23/45.39 c | 105426 | 140 11900 83300 | 2147483647 53390 43 | 0.005 % |
45.43/45.51 c | 105586 | 140 11900 83300 | 2147483647 53550 43 | 0.005 % |
45.53/45.63 c | 105763 | 140 11900 83300 | 2147483647 53727 43 | 0.005 % |
45.63/45.78 c | 105957 | 140 11900 83300 | 2147483647 53921 43 | 0.005 % |
45.83/45.92 c | 106169 | 140 11900 83300 | 2147483647 54133 43 | 0.005 % |
45.93/46.07 c | 106404 | 140 11900 83300 | 2147483647 54368 43 | 0.005 % |
46.13/46.24 c | 106660 | 140 11900 83300 | 2147483647 54624 43 | 0.005 % |
46.33/46.41 c | 106941 | 140 11900 83300 | 2147483647 54905 43 | 0.005 % |
46.42/46.60 c | 107250 | 140 11900 83300 | 2147483647 55214 43 | 0.005 % |
46.72/46.82 c | 107589 | 140 11900 83300 | 2147483647 55553 43 | 0.005 % |
46.92/47.09 c | 107962 | 140 11900 83300 | 2147483647 55926 43 | 0.005 % |
47.23/47.36 c | 108373 | 140 11900 83300 | 2147483647 56337 43 | 0.005 % |
47.52/47.65 c | 108822 | 140 11900 83300 | 2147483647 56786 43 | 0.005 % |
47.82/47.95 c | 109316 | 140 11900 83300 | 2147483647 57280 43 | 0.005 % |
48.12/48.28 c | 109858 | 140 11900 83300 | 2147483647 57822 43 | 0.005 % |
48.52/48.63 c | 110456 | 140 11900 83300 | 57965 51621 43 | 0.005 % |
48.82/48.98 c | 111111 | 140 11900 83300 | 57965 52276 43 | 0.005 % |
49.22/49.33 c | 111831 | 140 11900 83300 | 57965 52996 43 | 0.005 % |
49.62/49.75 c | 112626 | 140 11900 83300 | 57965 53791 43 | 0.005 % |
50.12/50.21 c | 113497 | 140 11900 83300 | 57965 54662 43 | 0.005 % |
50.62/50.74 c | 114455 | 140 11900 83300 | 57965 55620 43 | 0.005 % |
51.22/51.33 c | 115510 | 140 11900 83300 | 57965 56675 43 | 0.005 % |
52.02/52.18 c | 116669 | 140 11900 83300 | 57965 57834 43 | 0.005 % |
52.82/52.99 c | 117944 | 140 11900 83300 | 57965 51956 43 | 0.005 % |
52.92/53.05 c | 118046 | 140 11900 83300 | 57965 52058 43 | 0.005 % |
53.01/53.14 c | 118156 | 140 11900 83300 | 57965 52168 43 | 0.005 % |
53.11/53.23 c | 118278 | 140 11900 83300 | 57965 52290 43 | 0.005 % |
53.21/53.30 c | 118415 | 140 11900 83300 | 57965 52427 43 | 0.005 % |
53.31/53.40 c | 118561 | 140 11900 83300 | 57965 52573 43 | 0.005 % |
53.41/53.51 c | 118722 | 140 11900 83300 | 57965 52734 43 | 0.005 % |
53.51/53.63 c | 118898 | 140 11900 83300 | 57965 52910 43 | 0.005 % |
53.61/53.76 c | 119092 | 140 11900 83300 | 57965 53104 43 | 0.005 % |
53.72/53.90 c | 119307 | 140 11900 83300 | 57965 53319 43 | 0.005 % |
53.91/54.07 c | 119540 | 140 11900 83300 | 57965 53552 43 | 0.005 % |
54.11/54.27 c | 119797 | 140 11900 83300 | 57965 53809 43 | 0.005 % |
54.31/54.48 c | 120078 | 140 11900 83300 | 54012 47261 43 | 0.005 % |
54.51/54.67 c | 120388 | 140 11900 83300 | 54012 47571 43 | 0.005 % |
54.71/54.86 c | 120727 | 140 11900 83300 | 54012 47910 43 | 0.005 % |
54.92/55.06 c | 121100 | 140 11900 83300 | 54012 48283 43 | 0.005 % |
55.12/55.28 c | 121509 | 140 11900 83300 | 54012 48692 43 | 0.005 % |
55.41/55.56 c | 121961 | 140 11900 83300 | 54012 49144 43 | 0.005 % |
55.71/55.86 c | 122457 | 140 11900 83300 | 54012 49640 43 | 0.005 % |
56.02/56.14 c | 122999 | 140 11900 83300 | 54012 50182 43 | 0.005 % |
56.31/56.46 c | 123597 | 140 11900 83300 | 54012 50780 43 | 0.005 % |
56.71/56.89 c | 124253 | 140 11900 83300 | 54012 51436 43 | 0.005 % |
57.21/57.31 c | 124973 | 140 11900 83300 | 54012 52156 43 | 0.005 % |
57.61/57.75 c | 125766 | 140 11900 83300 | 54012 52949 43 | 0.005 % |
58.12/58.23 c | 126638 | 140 11900 83300 | 54012 53821 43 | 0.005 % |
58.61/58.80 c | 127597 | 140 11900 83300 | 54012 48726 43 | 0.005 % |
59.31/59.42 c | 128652 | 140 11900 83300 | 54012 49781 43 | 0.005 % |
59.91/60.03 c | 129811 | 140 11900 83300 | 54012 50940 43 | 0.005 % |
60.61/60.70 c | 131084 | 140 11900 83300 | 51129 46622 43 | 0.005 % |
61.41/61.51 c | 132485 | 140 11900 83300 | 51129 48023 43 | 0.005 % |
61.41/61.58 c | 132585 | 140 11900 83300 | 51129 48123 43 | 0.005 % |
61.51/61.65 c | 132696 | 140 11900 83300 | 51129 48234 43 | 0.005 % |
61.61/61.73 c | 132820 | 140 11900 83300 | 51129 48358 43 | 0.005 % |
61.71/61.81 c | 132953 | 140 11900 83300 | 51129 48491 43 | 0.005 % |
61.71/61.90 c | 133101 | 140 11900 83300 | 51129 48639 43 | 0.005 % |
61.81/61.99 c | 133262 | 140 11900 83300 | 51129 48800 43 | 0.005 % |
61.91/62.09 c | 133438 | 140 11900 83300 | 51129 48976 43 | 0.005 % |
62.11/62.20 c | 133632 | 140 11900 83300 | 51129 49170 43 | 0.005 % |
62.21/62.33 c | 133846 | 140 11900 83300 | 51129 49384 43 | 0.005 % |
62.31/62.46 c | 134081 | 140 11900 83300 | 51129 49619 43 | 0.005 % |
62.51/62.63 c | 134337 | 140 11900 83300 | 51129 49875 43 | 0.005 % |
62.70/62.80 c | 134622 | 140 11900 83300 | 51129 50160 43 | 0.005 % |
62.80/62.97 c | 134931 | 140 11900 83300 | 51129 50469 43 | 0.005 % |
63.00/63.15 c | 135271 | 140 11900 83300 | 51129 50809 43 | 0.005 % |
63.20/63.39 c | 135643 | 140 11900 83300 | 51129 51181 43 | 0.005 % |
63.50/63.63 c | 136052 | 140 11900 83300 | 51129 46472 43 | 0.005 % |
63.71/63.89 c | 136501 | 140 11900 83300 | 51129 46921 43 | 0.005 % |
64.10/64.20 c | 136995 | 140 11900 83300 | 51129 47415 43 | 0.005 % |
64.30/64.50 c | 137539 | 140 11900 83300 | 51129 47959 43 | 0.005 % |
64.71/64.86 c | 138135 | 140 11900 83300 | 51129 48555 43 | 0.005 % |
65.10/65.21 c | 138791 | 140 11900 83300 | 51129 49211 43 | 0.005 % |
65.50/65.61 c | 139511 | 140 11900 83300 | 51129 49931 43 | 0.005 % |
66.00/66.14 c | 140303 | 140 11900 83300 | 2147483647 50723 43 | 0.005 % |
66.60/66.70 c | 141174 | 140 11900 83300 | 2147483647 51594 43 | 0.005 % |
67.10/67.23 c | 142133 | 140 11900 83300 | 2147483647 52553 43 | 0.005 % |
67.70/67.85 c | 143189 | 140 11900 83300 | 2147483647 53609 43 | 0.005 % |
68.30/68.48 c | 144347 | 140 11900 83300 | 2147483647 54767 43 | 0.005 % |
69.10/69.22 c | 145620 | 140 11900 83300 | 2147483647 56040 43 | 0.005 % |
69.90/70.02 c | 147021 | 140 11900 83300 | 2147483647 57441 43 | 0.005 % |
71.00/71.10 c | 148561 | 140 11900 83300 | 2147483647 58981 43 | 0.005 % |
71.00/71.17 c | 148661 | 140 11900 83300 | 2147483647 59081 43 | 0.005 % |
71.10/71.25 c | 148771 | 140 11900 83300 | 2147483647 59191 43 | 0.005 % |
71.20/71.35 c | 148892 | 140 11900 83300 | 2147483647 59312 43 | 0.005 % |
71.30/71.44 c | 149027 | 140 11900 83300 | 2147483647 59447 43 | 0.005 % |
71.40/71.56 c | 149174 | 140 11900 83300 | 2147483647 59594 43 | 0.005 % |
71.50/71.68 c | 149334 | 140 11900 83300 | 2147483647 59754 43 | 0.005 % |
71.70/71.81 c | 149510 | 140 11900 83300 | 2147483647 59930 43 | 0.005 % |
71.80/71.96 c | 149706 | 140 11900 83300 | 2147483647 60126 43 | 0.005 % |
72.00/72.12 c | 149918 | 140 11900 83300 | 2147483647 60338 43 | 0.005 % |
72.20/72.35 c | 150153 | 140 11900 83300 | 60421 52488 43 | 0.005 % |
72.30/72.50 c | 150410 | 140 11900 83300 | 60421 52745 43 | 0.005 % |
72.50/72.69 c | 150691 | 140 11900 83300 | 60421 53026 43 | 0.005 % |
72.70/72.88 c | 151003 | 140 11900 83300 | 60421 53338 43 | 0.005 % |
73.00/73.13 c | 151343 | 140 11900 83300 | 60421 53678 43 | 0.005 % |
73.20/73.38 c | 151716 | 140 11900 83300 | 60421 54051 43 | 0.005 % |
73.51/73.61 c | 152125 | 140 11900 83300 | 60421 54460 43 | 0.005 % |
73.70/73.87 c | 152574 | 140 11900 83300 | 60421 54909 43 | 0.005 % |
74.10/74.22 c | 153068 | 140 11900 83300 | 60421 55403 43 | 0.005 % |
74.50/74.60 c | 153612 | 140 11900 83300 | 60421 55947 43 | 0.005 % |
74.80/75.00 c | 154209 | 140 11900 83300 | 60421 56544 43 | 0.005 % |
75.30/75.43 c | 154864 | 140 11900 83300 | 60421 57199 43 | 0.005 % |
75.71/75.90 c | 155586 | 140 11900 83300 | 60421 57921 43 | 0.005 % |
76.30/76.43 c | 156378 | 140 11900 83300 | 60421 58713 43 | 0.005 % |
76.91/77.06 c | 157250 | 140 11900 83300 | 60421 59585 43 | 0.005 % |
77.60/77.78 c | 158209 | 140 11900 83300 | 60421 51497 43 | 0.005 % |
78.20/78.39 c | 159262 | 140 11900 83300 | 60421 52550 43 | 0.005 % |
79.00/79.16 c | 160421 | 140 11900 83300 | 53288 46014 43 | 0.005 % |
79.70/79.86 c | 161694 | 140 11900 83300 | 53288 47287 43 | 0.005 % |
80.40/80.55 c | 163094 | 140 11900 83300 | 53288 48687 43 | 0.005 % |
81.30/81.48 c | 164635 | 140 11900 83300 | 53288 50228 43 | 0.005 % |
82.20/82.36 c | 166330 | 140 11900 83300 | 53288 51923 43 | 0.005 % |
82.30/82.42 c | 166431 | 140 11900 83300 | 53288 52024 43 | 0.005 % |
82.30/82.48 c | 166542 | 140 11900 83300 | 53288 52135 43 | 0.005 % |
82.40/82.57 c | 166663 | 140 11900 83300 | 53288 52256 43 | 0.005 % |
82.50/82.67 c | 166796 | 140 11900 83300 | 53288 52389 43 | 0.005 % |
82.60/82.76 c | 166942 | 140 11900 83300 | 53288 52535 43 | 0.005 % |
82.70/82.86 c | 167102 | 140 11900 83300 | 53288 52695 43 | 0.005 % |
82.80/82.98 c | 167279 | 140 11900 83300 | 53288 52872 43 | 0.005 % |
82.90/83.09 c | 167474 | 140 11900 83300 | 53288 53067 43 | 0.005 % |
83.10/83.22 c | 167687 | 140 11900 83300 | 53288 53280 43 | 0.005 % |
83.20/83.38 c | 167921 | 140 11900 83300 | 53288 47743 43 | 0.005 % |
83.40/83.52 c | 168177 | 140 11900 83300 | 53288 47999 43 | 0.005 % |
83.50/83.66 c | 168458 | 140 11900 83300 | 53288 48280 43 | 0.005 % |
83.70/83.84 c | 168768 | 140 11900 83300 | 53288 48590 43 | 0.005 % |
83.90/84.03 c | 169107 | 140 11900 83300 | 53288 48929 43 | 0.005 % |
84.10/84.24 c | 169479 | 140 11900 83300 | 53288 49301 43 | 0.005 % |
84.30/84.47 c | 169889 | 140 11900 83300 | 53288 49711 43 | 0.005 % |
84.60/84.73 c | 170338 | 140 11900 83300 | 49823 44931 43 | 0.005 % |
84.80/84.94 c | 170831 | 140 11900 83300 | 49823 45424 43 | 0.005 % |
85.10/85.20 c | 171373 | 140 11900 83300 | 49823 45966 43 | 0.005 % |
85.40/85.52 c | 171971 | 140 11900 83300 | 49823 46564 43 | 0.005 % |
85.70/85.84 c | 172628 | 140 11900 83300 | 49823 47221 43 | 0.005 % |
86.10/86.20 c | 173349 | 140 11900 83300 | 49823 47942 43 | 0.005 % |
86.50/86.63 c | 174144 | 140 11900 83300 | 49823 48737 43 | 0.005 % |
86.90/87.07 c | 175016 | 140 11900 83300 | 49823 49609 43 | 0.005 % |
87.50/87.65 c | 175974 | 140 11900 83300 | 49823 45578 43 | 0.005 % |
88.00/88.15 c | 177027 | 140 11900 83300 | 49823 46631 43 | 0.005 % |
88.60/88.74 c | 178185 | 140 11900 83300 | 49823 47789 43 | 0.005 % |
89.20/89.38 c | 179458 | 140 11900 83300 | 49823 49062 43 | 0.005 % |
90.00/90.13 c | 180859 | 140 11900 83300 | 2147483647 50463 43 | 0.005 % |
90.80/90.99 c | 182399 | 140 11900 83300 | 2147483647 52003 43 | 0.005 % |
91.80/91.90 c | 184093 | 140 11900 83300 | 2147483647 53697 43 | 0.005 % |
92.90/93.05 c | 185956 | 140 11900 83300 | 2147483647 55560 43 | 0.005 % |
93.00/93.14 c | 186056 | 140 11900 83300 | 2147483647 55660 43 | 0.005 % |
93.10/93.23 c | 186166 | 140 11900 83300 | 2147483647 55770 43 | 0.005 % |
93.20/93.32 c | 186287 | 140 11900 83300 | 2147483647 55891 43 | 0.005 % |
93.30/93.42 c | 186420 | 140 11900 83300 | 2147483647 56024 43 | 0.005 % |
93.40/93.52 c | 186569 | 140 11900 83300 | 2147483647 56173 43 | 0.005 % |
93.50/93.66 c | 186729 | 140 11900 83300 | 2147483647 56333 43 | 0.005 % |
93.60/93.79 c | 186906 | 140 11900 83300 | 2147483647 56510 43 | 0.005 % |
93.80/93.95 c | 187100 | 140 11900 83300 | 2147483647 56704 43 | 0.005 % |
93.90/94.10 c | 187313 | 140 11900 83300 | 2147483647 56917 43 | 0.005 % |
94.10/94.26 c | 187546 | 140 11900 83300 | 2147483647 57150 43 | 0.005 % |
94.29/94.47 c | 187803 | 140 11900 83300 | 2147483647 57407 43 | 0.005 % |
94.59/94.70 c | 188084 | 140 11900 83300 | 2147483647 57688 43 | 0.005 % |
94.79/94.94 c | 188393 | 140 11900 83300 | 2147483647 57997 43 | 0.005 % |
94.99/95.17 c | 188733 | 140 11900 83300 | 2147483647 58337 43 | 0.005 % |
95.29/95.46 c | 189106 | 140 11900 83300 | 2147483647 58710 43 | 0.005 % |
95.60/95.73 c | 189515 | 140 11900 83300 | 2147483647 59119 43 | 0.005 % |
95.89/96.07 c | 189964 | 140 11900 83300 | 2147483647 59568 43 | 0.005 % |
96.29/96.46 c | 190458 | 140 11900 83300 | 59604 52154 43 | 0.005 % |
96.59/96.79 c | 191001 | 140 11900 83300 | 59604 52697 43 | 0.005 % |
97.09/97.20 c | 191597 | 140 11900 83300 | 59604 53293 43 | 0.005 % |
97.49/97.65 c | 192255 | 140 11900 83300 | 59604 53951 43 | 0.005 % |
97.89/98.07 c | 192975 | 140 11900 83300 | 59604 54671 44 | 0.005 % |
98.39/98.52 c | 193767 | 140 11900 83300 | 59604 55463 44 | 0.005 % |
98.79/98.98 c | 194638 | 140 11900 83300 | 59604 56334 44 | 0.005 % |
99.29/99.44 c | 195596 | 140 11900 83300 | 59604 57292 44 | 0.005 % |
100.09/100.20 c | 196649 | 140 11900 83300 | 59604 58345 44 | 0.005 % |
100.89/101.06 c | 197808 | 140 11900 83300 | 59604 59504 44 | 0.005 % |
101.69/101.85 c | 199081 | 140 11900 83300 | 59604 52313 44 | 0.005 % |
102.59/102.77 c | 200484 | 140 11900 83300 | 53232 46318 44 | 0.005 % |
103.38/103.54 c | 202026 | 140 11900 83300 | 53232 47860 44 | 0.005 % |
104.29/104.49 c | 203720 | 140 11900 83300 | 53232 49554 44 | 0.005 % |
105.28/105.41 c | 205583 | 140 11900 83300 | 53232 51417 44 | 0.005 % |
106.38/106.57 c | 207632 | 140 11900 83300 | 53232 47658 44 | 0.005 % |
106.49/106.62 c | 207733 | 140 11900 83300 | 53232 47759 44 | 0.005 % |
106.49/106.68 c | 207845 | 140 11900 83300 | 53232 47871 44 | 0.005 % |
106.59/106.75 c | 207966 | 140 11900 83300 | 53232 47992 44 | 0.005 % |
106.68/106.84 c | 208100 | 140 11900 83300 | 53232 48126 44 | 0.005 % |
106.78/106.93 c | 208246 | 140 11900 83300 | 53232 48272 44 | 0.005 % |
106.88/107.03 c | 208406 | 140 11900 83300 | 53232 48432 44 | 0.005 % |
106.98/107.12 c | 208583 | 140 11900 83300 | 53232 48609 44 | 0.005 % |
107.08/107.26 c | 208776 | 140 11900 83300 | 53232 48802 44 | 0.005 % |
107.18/107.37 c | 208988 | 140 11900 83300 | 53232 49014 44 | 0.005 % |
107.38/107.52 c | 209221 | 140 11900 83300 | 53232 49247 44 | 0.005 % |
107.48/107.66 c | 209479 | 140 11900 83300 | 53232 49505 44 | 0.005 % |
107.69/107.82 c | 209760 | 140 11900 83300 | 53232 49786 44 | 0.005 % |
107.88/108.02 c | 210069 | 140 11900 83300 | 50026 44729 44 | 0.005 % |
108.08/108.22 c | 210409 | 140 11900 83300 | 50026 45069 44 | 0.005 % |
108.28/108.43 c | 210782 | 140 11900 83300 | 50026 45442 44 | 0.005 % |
108.48/108.62 c | 211191 | 140 11900 83300 | 50026 45851 44 | 0.005 % |
108.69/108.88 c | 211642 | 140 11900 83300 | 50026 46302 44 | 0.005 % |
108.98/109.16 c | 212136 | 140 11900 83300 | 50026 46796 44 | 0.005 % |
109.28/109.47 c | 212678 | 140 11900 83300 | 50026 47338 44 | 0.005 % |
109.58/109.79 c | 213274 | 140 11900 83300 | 50026 47934 44 | 0.005 % |
109.98/110.10 c | 213930 | 140 11900 83300 | 50026 48590 44 | 0.005 % |
110.28/110.44 c | 214650 | 140 11900 83300 | 50026 49310 44 | 0.005 % |
110.68/110.88 c | 215443 | 140 11900 83300 | 50026 45094 44 | 0.005 % |
111.18/111.30 c | 216316 | 140 11900 83300 | 50026 45967 44 | 0.005 % |
111.58/111.76 c | 217274 | 140 11900 83300 | 50026 46925 44 | 0.005 % |
112.08/112.24 c | 218327 | 140 11900 83300 | 50026 47978 44 | 0.005 % |
112.58/112.80 c | 219485 | 140 11900 83300 | 50026 49136 44 | 0.005 % |
113.28/113.40 c | 220758 | 140 11900 83300 | 2147483647 50409 44 | 0.005 % |
113.88/114.06 c | 222158 | 140 11900 83300 | 2147483647 51809 44 | 0.005 % |
114.68/114.89 c | 223698 | 140 11900 83300 | 2147483647 53349 44 | 0.005 % |
115.58/115.77 c | 225392 | 140 11900 83300 | 2147483647 55043 44 | 0.005 % |
116.58/116.74 c | 227256 | 140 11900 83300 | 2147483647 56907 44 | 0.005 % |
117.68/117.88 c | 229306 | 140 11900 83300 | 2147483647 58957 44 | 0.005 % |
118.98/119.16 c | 231559 | 140 11900 83300 | 59651 54893 44 | 0.005 % |
119.08/119.24 c | 231660 | 140 11900 83300 | 59651 54994 44 | 0.005 % |
119.18/119.32 c | 231770 | 140 11900 83300 | 59651 55104 44 | 0.005 % |
119.28/119.40 c | 231891 | 140 11900 83300 | 59651 55225 44 | 0.005 % |
119.38/119.51 c | 232024 | 140 11900 83300 | 59651 55358 44 | 0.005 % |
119.48/119.61 c | 232171 | 140 11900 83300 | 59651 55505 44 | 0.005 % |
119.58/119.72 c | 232331 | 140 11900 83300 | 59651 55665 44 | 0.005 % |
119.68/119.84 c | 232508 | 140 11900 83300 | 59651 55842 44 | 0.005 % |
119.88/120.01 c | 232701 | 140 11900 83300 | 59651 56035 44 | 0.005 % |
119.98/120.15 c | 232913 | 140 11900 83300 | 59651 56247 44 | 0.005 % |
120.18/120.30 c | 233147 | 140 11900 83300 | 59651 56481 44 | 0.005 % |
120.28/120.46 c | 233403 | 140 11900 83300 | 59651 56737 44 | 0.005 % |
120.47/120.61 c | 233684 | 140 11900 83300 | 59651 57018 44 | 0.005 % |
120.67/120.81 c | 233995 | 140 11900 83300 | 59651 57329 44 | 0.005 % |
120.78/121.00 c | 234334 | 140 11900 83300 | 59651 57668 44 | 0.005 % |
121.07/121.23 c | 234706 | 140 11900 83300 | 59651 58040 44 | 0.005 % |
121.27/121.46 c | 235116 | 140 11900 83300 | 59651 58450 44 | 0.005 % |
121.57/121.74 c | 235566 | 140 11900 83300 | 59651 58900 44 | 0.005 % |
121.98/122.14 c | 236060 | 140 11900 83300 | 59651 59394 44 | 0.005 % |
122.37/122.59 c | 236604 | 140 11900 83300 | 59651 51736 44 | 0.005 % |
122.77/122.92 c | 237200 | 140 11900 83300 | 59651 52332 44 | 0.005 % |
123.17/123.33 c | 237857 | 140 11900 83300 | 59651 52989 44 | 0.005 % |
123.57/123.76 c | 238578 | 140 11900 83300 | 59651 53710 44 | 0.005 % |
124.08/124.25 c | 239370 | 140 11900 83300 | 59651 54502 44 | 0.005 % |
124.57/124.77 c | 240241 | 140 11900 83300 | 55135 47800 44 | 0.005 % |
125.07/125.23 c | 241200 | 140 11900 83300 | 55135 48759 44 | 0.005 % |
125.57/125.78 c | 242255 | 140 11900 83300 | 55135 49814 44 | 0.005 % |
126.28/126.45 c | 243415 | 140 11900 83300 | 55135 50974 44 | 0.005 % |
126.97/127.17 c | 244688 | 140 11900 83300 | 55135 52247 44 | 0.005 % |
127.87/128.01 c | 246090 | 140 11900 83300 | 55135 53649 44 | 0.005 % |
128.77/128.93 c | 247631 | 140 11900 83300 | 55135 55190 44 | 0.005 % |
129.67/129.86 c | 249325 | 140 11900 83300 | 55135 50122 44 | 0.005 % |
130.67/130.88 c | 251189 | 140 11900 83300 | 50797 46110 44 | 0.005 % |
131.67/131.85 c | 253240 | 140 11900 83300 | 50797 48161 44 | 0.005 % |
132.77/132.91 c | 255494 | 140 11900 83300 | 50797 50415 44 | 0.005 % |
133.97/134.17 c | 257972 | 140 11900 83300 | 50797 47807 44 | 0.005 % |
134.07/134.23 c | 258073 | 140 11900 83300 | 50797 47908 44 | 0.005 % |
134.17/134.30 c | 258183 | 140 11900 83300 | 50797 48018 44 | 0.005 % |
134.17/134.36 c | 258305 | 140 11900 83300 | 50797 48140 44 | 0.005 % |
134.27/134.42 c | 258440 | 140 11900 83300 | 50797 48275 44 | 0.005 % |
134.37/134.50 c | 258586 | 140 11900 83300 | 50797 48421 44 | 0.005 % |
134.47/134.60 c | 258747 | 140 11900 83300 | 50797 48582 44 | 0.005 % |
134.47/134.69 c | 258925 | 140 11900 83300 | 50797 48760 44 | 0.005 % |
134.67/134.80 c | 259119 | 140 11900 83300 | 50797 48954 44 | 0.005 % |
134.77/134.91 c | 259332 | 140 11900 83300 | 50797 49167 44 | 0.005 % |
134.87/135.05 c | 259565 | 140 11900 83300 | 50797 49400 44 | 0.005 % |
135.07/135.20 c | 259821 | 140 11900 83300 | 50797 49656 44 | 0.005 % |
135.17/135.35 c | 260103 | 140 11900 83300 | 2147483647 49938 44 | 0.005 % |
135.37/135.50 c | 260413 | 140 11900 83300 | 2147483647 50248 44 | 0.005 % |
135.47/135.68 c | 260754 | 140 11900 83300 | 2147483647 50589 44 | 0.005 % |
135.67/135.89 c | 261128 | 140 11900 83300 | 2147483647 50963 44 | 0.005 % |
135.97/136.12 c | 261537 | 140 11900 83300 | 2147483647 51372 44 | 0.005 % |
136.27/136.41 c | 261987 | 140 11900 83300 | 2147483647 51822 44 | 0.005 % |
136.47/136.69 c | 262482 | 140 11900 83300 | 2147483647 52317 44 | 0.005 % |
136.77/136.97 c | 263024 | 140 11900 83300 | 2147483647 52859 44 | 0.005 % |
137.17/137.33 c | 263621 | 140 11900 83300 | 2147483647 53456 44 | 0.005 % |
137.47/137.68 c | 264276 | 140 11900 83300 | 2147483647 54111 44 | 0.005 % |
137.97/138.13 c | 264996 | 140 11900 83300 | 2147483647 54831 44 | 0.005 % |
138.47/138.61 c | 265788 | 140 11900 83300 | 2147483647 55623 44 | 0.005 % |
138.96/139.13 c | 266661 | 140 11900 83300 | 2147483647 56496 44 | 0.005 % |
139.57/139.77 c | 267621 | 140 11900 83300 | 2147483647 57456 44 | 0.005 % |
140.26/140.41 c | 268676 | 140 11900 83300 | 2147483647 58511 44 | 0.005 % |
140.86/141.09 c | 269834 | 140 11900 83300 | 2147483647 59669 44 | 0.005 % |
141.66/141.83 c | 271109 | 140 11900 83300 | 59835 53804 44 | 0.005 % |
142.36/142.57 c | 272510 | 140 11900 83300 | 59835 55205 44 | 0.005 % |
143.36/143.51 c | 274050 | 140 11900 83300 | 59835 56745 44 | 0.005 % |
144.46/144.69 c | 275745 | 140 11900 83300 | 59835 58440 44 | 0.005 % |
145.76/145.95 c | 277608 | 140 11900 83300 | 59835 51881 44 | 0.005 % |
146.86/147.09 c | 279657 | 140 11900 83300 | 59835 53930 44 | 0.005 % |
148.16/148.33 c | 281912 | 140 11900 83300 | 54273 48823 44 | 0.005 % |
149.46/149.60 c | 284390 | 140 11900 83300 | 54273 51301 44 | 0.005 % |
150.86/151.04 c | 287115 | 140 11900 83300 | 54273 54026 44 | 0.005 % |
150.86/151.10 c | 287215 | 140 11900 83300 | 54273 54126 44 | 0.005 % |
150.96/151.16 c | 287325 | 140 11900 83300 | 54273 54236 44 | 0.005 % |
151.06/151.29 c | 287446 | 140 11900 83300 | 54273 48504 44 | 0.005 % |
151.16/151.36 c | 287579 | 140 11900 83300 | 54273 48637 44 | 0.005 % |
151.26/151.47 c | 287725 | 140 11900 83300 | 54273 48783 44 | 0.005 % |
151.35/151.56 c | 287885 | 140 11900 83300 | 54273 48943 44 | 0.005 % |
151.45/151.66 c | 288062 | 140 11900 83300 | 54273 49120 44 | 0.005 % |
151.56/151.80 c | 288255 | 140 11900 83300 | 54273 49313 44 | 0.005 % |
151.75/151.95 c | 288468 | 140 11900 83300 | 54273 49526 44 | 0.005 % |
151.85/152.09 c | 288702 | 140 11900 83300 | 54273 49760 44 | 0.005 % |
152.05/152.26 c | 288959 | 140 11900 83300 | 54273 50017 44 | 0.005 % |
152.25/152.44 c | 289242 | 140 11900 83300 | 54273 50300 44 | 0.005 % |
152.45/152.62 c | 289552 | 140 11900 83300 | 54273 50610 44 | 0.005 % |
152.66/152.85 c | 289891 | 140 11900 83300 | 54273 50949 44 | 0.005 % |
152.95/153.11 c | 290263 | 140 11900 83300 | 51060 45622 44 | 0.005 % |
153.15/153.31 c | 290673 | 140 11900 83300 | 51060 46032 44 | 0.005 % |
153.35/153.54 c | 291122 | 140 11900 83300 | 51060 46481 44 | 0.005 % |
153.65/153.80 c | 291615 | 140 11900 83300 | 51060 46974 44 | 0.005 % |
153.86/154.05 c | 292157 | 140 11900 83300 | 51060 47516 44 | 0.005 % |
154.15/154.38 c | 292754 | 140 11900 83300 | 51060 48113 44 | 0.005 % |
154.55/154.76 c | 293410 | 140 11900 83300 | 51060 48769 44 | 0.005 % |
154.96/155.15 c | 294130 | 140 11900 83300 | 51060 49489 44 | 0.005 % |
155.35/155.54 c | 294922 | 140 11900 83300 | 51060 50281 44 | 0.005 % |
155.85/156.01 c | 295795 | 140 11900 83300 | 51060 46042 43 | 0.005 % |
156.35/156.50 c | 296754 | 140 11900 83300 | 51060 47001 43 | 0.005 % |
156.85/157.05 c | 297808 | 140 11900 83300 | 51060 48055 43 | 0.005 % |
157.45/157.65 c | 298968 | 140 11900 83300 | 51060 49215 43 | 0.005 % |
158.05/158.29 c | 300242 | 140 11900 83300 | 2147483647 50489 44 | 0.005 % |
158.75/158.97 c | 301644 | 140 11900 83300 | 2147483647 51891 43 | 0.005 % |
159.55/159.75 c | 303185 | 140 11900 83300 | 2147483647 53432 43 | 0.005 % |
160.45/160.67 c | 304879 | 140 11900 83300 | 2147483647 55126 44 | 0.005 % |
161.45/161.68 c | 306743 | 140 11900 83300 | 2147483647 56990 44 | 0.005 % |
162.75/162.91 c | 308792 | 140 11900 83300 | 2147483647 59039 44 | 0.005 % |
164.15/164.35 c | 311046 | 140 11900 83300 | 60249 54839 43 | 0.005 % |
165.55/165.80 c | 313525 | 140 11900 83300 | 60249 57318 44 | 0.005 % |
167.25/167.48 c | 316250 | 140 11900 83300 | 60249 60043 44 | 0.005 % |
168.85/169.08 c | 319247 | 140 11900 83300 | 60249 54560 44 | 0.005 % |
168.95/169.14 c | 319347 | 140 11900 83300 | 60249 54660 44 | 0.005 % |
169.05/169.21 c | 319458 | 140 11900 83300 | 60249 54771 44 | 0.005 % |
169.05/169.29 c | 319582 | 140 11900 83300 | 60249 54895 44 | 0.005 % |
169.15/169.40 c | 319715 | 140 11900 83300 | 60249 55028 44 | 0.005 % |
169.34/169.51 c | 319863 | 140 11900 83300 | 60249 55176 44 | 0.005 % |
169.44/169.62 c | 320023 | 140 11900 83300 | 55313 55336 44 | 0.005 % |
169.54/169.79 c | 320199 | 140 11900 83300 | 55313 48043 44 | 0.005 % |
169.74/169.92 c | 320395 | 140 11900 83300 | 55313 48239 44 | 0.005 % |
169.84/170.03 c | 320607 | 140 11900 83300 | 55313 48451 44 | 0.005 % |
169.94/170.16 c | 320841 | 140 11900 83300 | 55313 48685 44 | 0.005 % |
170.04/170.29 c | 321097 | 140 11900 83300 | 55313 48941 44 | 0.005 % |
170.25/170.45 c | 321381 | 140 11900 83300 | 55313 49225 44 | 0.005 % |
170.44/170.61 c | 321690 | 140 11900 83300 | 55313 49534 44 | 0.005 % |
170.54/170.80 c | 322030 | 140 11900 83300 | 55313 49874 44 | 0.005 % |
170.84/171.01 c | 322402 | 140 11900 83300 | 55313 50246 44 | 0.005 % |
171.04/171.25 c | 322814 | 140 11900 83300 | 55313 50658 44 | 0.005 % |
171.24/171.48 c | 323264 | 140 11900 83300 | 55313 51108 44 | 0.005 % |
171.54/171.74 c | 323759 | 140 11900 83300 | 55313 51603 44 | 0.005 % |
171.84/172.04 c | 324301 | 140 11900 83300 | 55313 52145 44 | 0.005 % |
172.14/172.36 c | 324898 | 140 11900 83300 | 55313 52742 44 | 0.005 % |
172.55/172.74 c | 325553 | 140 11900 83300 | 55313 53397 44 | 0.005 % |
173.04/173.21 c | 326274 | 140 11900 83300 | 55313 54118 44 | 0.005 % |
173.44/173.68 c | 327067 | 140 11900 83300 | 55313 54911 44 | 0.005 % |
174.04/174.23 c | 327938 | 140 11900 83300 | 55313 48960 44 | 0.005 % |
174.54/174.76 c | 328897 | 140 11900 83300 | 55313 49919 44 | 0.005 % |
175.14/175.33 c | 329951 | 140 11900 83300 | 55313 50973 44 | 0.005 % |
175.75/175.94 c | 331109 | 140 11900 83300 | 51022 46018 44 | 0.005 % |
176.34/176.56 c | 332382 | 140 11900 83300 | 51022 47291 44 | 0.005 % |
177.04/177.21 c | 333782 | 140 11900 83300 | 51022 48691 44 | 0.005 % |
177.84/178.05 c | 335323 | 140 11900 83300 | 51022 50232 44 | 0.005 % |
178.74/178.98 c | 337017 | 140 11900 83300 | 51022 46817 44 | 0.005 % |
179.74/179.99 c | 338881 | 140 11900 83300 | 51022 48681 44 | 0.005 % |
180.84/181.04 c | 340930 | 140 11900 83300 | 2147483647 50730 44 | 0.005 % |
182.04/182.24 c | 343186 | 140 11900 83300 | 2147483647 52986 44 | 0.005 % |
183.45/183.65 c | 345664 | 140 11900 83300 | 2147483647 55464 44 | 0.005 % |
185.14/185.31 c | 348389 | 140 11900 83300 | 2147483647 58189 44 | 0.005 % |
186.93/187.12 c | 351386 | 140 11900 83300 | 59803 54629 44 | 0.005 % |
189.03/189.22 c | 354682 | 140 11900 83300 | 59803 57925 44 | 0.005 % |
189.03/189.28 c | 354783 | 140 11900 83300 | 59803 58026 44 | 0.005 % |
189.13/189.36 c | 354894 | 140 11900 83300 | 59803 58137 44 | 0.005 % |
189.23/189.46 c | 355017 | 140 11900 83300 | 59803 58260 44 | 0.005 % |
189.33/189.56 c | 355151 | 140 11900 83300 | 59803 58394 44 | 0.005 % |
189.43/189.67 c | 355298 | 140 11900 83300 | 59803 58541 44 | 0.005 % |
189.53/189.79 c | 355458 | 140 11900 83300 | 59803 58701 44 | 0.005 % |
189.73/189.92 c | 355634 | 140 11900 83300 | 59803 58877 44 | 0.005 % |
189.83/190.05 c | 355827 | 140 11900 83300 | 59803 59070 44 | 0.005 % |
189.93/190.18 c | 356040 | 140 11900 83300 | 59803 59283 44 | 0.005 % |
190.13/190.38 c | 356274 | 140 11900 83300 | 59803 59517 44 | 0.005 % |
190.33/190.56 c | 356531 | 140 11900 83300 | 59803 59774 44 | 0.005 % |
190.63/190.81 c | 356812 | 140 11900 83300 | 59803 52316 44 | 0.005 % |
190.83/191.03 c | 357122 | 140 11900 83300 | 59803 52626 44 | 0.005 % |
191.03/191.23 c | 357461 | 140 11900 83300 | 59803 52965 44 | 0.005 % |
191.23/191.47 c | 357834 | 140 11900 83300 | 59803 53338 44 | 0.005 % |
191.53/191.73 c | 358244 | 140 11900 83300 | 59803 53748 44 | 0.005 % |
191.73/191.99 c | 358693 | 140 11900 83300 | 59803 54197 44 | 0.005 % |
192.03/192.27 c | 359186 | 140 11900 83300 | 59803 54690 44 | 0.005 % |
192.33/192.58 c | 359728 | 140 11900 83300 | 59803 55232 44 | 0.005 % |
192.73/192.94 c | 360326 | 140 11900 83300 | 55504 48611 44 | 0.005 % |
193.03/193.27 c | 360981 | 140 11900 83300 | 55504 49266 44 | 0.005 % |
193.43/193.65 c | 361702 | 140 11900 83300 | 55504 49987 44 | 0.005 % |
193.83/194.08 c | 362496 | 140 11900 83300 | 55504 50781 44 | 0.005 % |
194.33/194.51 c | 363367 | 140 11900 83300 | 55504 51652 44 | 0.005 % |
194.83/195.03 c | 364326 | 140 11900 83300 | 55504 52611 44 | 0.005 % |
195.33/195.57 c | 365380 | 140 11900 83300 | 55504 53665 44 | 0.005 % |
195.93/196.15 c | 366538 | 140 11900 83300 | 55504 54823 44 | 0.005 % |
196.73/196.95 c | 367811 | 140 11900 83300 | 55504 49858 44 | 0.005 % |
197.43/197.69 c | 369212 | 140 11900 83300 | 55504 51259 44 | 0.005 % |
198.33/198.53 c | 370753 | 140 11900 83300 | 52049 47100 43 | 0.005 % |
199.13/199.36 c | 372447 | 140 11900 83300 | 52049 48794 44 | 0.005 % |
200.03/200.29 c | 374311 | 140 11900 83300 | 52049 50658 44 | 0.005 % |
201.13/201.37 c | 376360 | 140 11900 83300 | 52049 47496 43 | 0.005 % |
202.32/202.52 c | 378614 | 140 11900 83300 | 52049 49750 43 | 0.005 % |
203.52/203.80 c | 381093 | 140 11900 83300 | 2147483647 52229 43 | 0.005 % |
205.12/205.34 c | 383818 | 140 11900 83300 | 2147483647 54954 44 | 0.005 % |
206.82/207.03 c | 386818 | 140 11900 83300 | 2147483647 57954 44 | 0.005 % |
208.73/208.96 c | 390115 | 140 11900 83300 | 61136 53851 44 | 0.005 % |
210.83/211.01 c | 393741 | 140 11900 83300 | 61136 57477 44 | 0.005 % |
210.83/211.07 c | 393841 | 140 11900 83300 | 61136 57577 44 | 0.005 % |
210.93/211.14 c | 393951 | 140 11900 83300 | 61136 57687 44 | 0.005 % |
211.03/211.22 c | 394072 | 140 11900 83300 | 61136 57808 44 | 0.005 % |
211.13/211.33 c | 394207 | 140 11900 83300 | 61136 57943 44 | 0.005 % |
211.23/211.44 c | 394355 | 140 11900 83300 | 61136 58091 44 | 0.005 % |
211.33/211.55 c | 394516 | 140 11900 83300 | 61136 58252 44 | 0.005 % |
211.53/211.71 c | 394692 | 140 11900 83300 | 61136 58428 44 | 0.005 % |
211.63/211.83 c | 394886 | 140 11900 83300 | 61136 58622 44 | 0.005 % |
211.73/211.98 c | 395098 | 140 11900 83300 | 61136 58834 44 | 0.005 % |
211.93/212.17 c | 395332 | 140 11900 83300 | 61136 59068 44 | 0.005 % |
212.13/212.35 c | 395590 | 140 11900 83300 | 61136 59326 44 | 0.005 % |
212.33/212.57 c | 395871 | 140 11900 83300 | 61136 59607 44 | 0.005 % |
212.63/212.81 c | 396180 | 140 11900 83300 | 61136 59916 44 | 0.005 % |
212.83/213.05 c | 396519 | 140 11900 83300 | 61136 60255 44 | 0.005 % |
213.13/213.35 c | 396891 | 140 11900 83300 | 61136 60627 44 | 0.005 % |
213.42/213.62 c | 397302 | 140 11900 83300 | 61136 61038 44 | 0.005 % |
213.72/213.92 c | 397752 | 140 11900 83300 | 61136 52494 44 | 0.005 % |
213.92/214.20 c | 398247 | 140 11900 83300 | 61136 52989 44 | 0.005 % |
214.33/214.51 c | 398790 | 140 11900 83300 | 61136 53532 44 | 0.005 % |
214.62/214.83 c | 399386 | 140 11900 83300 | 61136 54128 44 | 0.005 % |
215.02/215.28 c | 400043 | 140 11900 83300 | 54742 54785 44 | 0.005 % |
215.52/215.75 c | 400763 | 140 11900 83300 | 54742 47675 44 | 0.005 % |
216.02/216.20 c | 401555 | 140 11900 83300 | 54742 48467 44 | 0.005 % |
216.43/216.68 c | 402426 | 140 11900 83300 | 54742 49338 44 | 0.005 % |
216.92/217.15 c | 403385 | 140 11900 83300 | 54742 50297 44 | 0.005 % |
217.53/217.72 c | 404439 | 140 11900 83300 | 54742 51351 44 | 0.005 % |
218.12/218.36 c | 405597 | 140 11900 83300 | 54742 52509 44 | 0.005 % |
218.92/219.15 c | 406870 | 140 11900 83300 | 54742 53782 44 | 0.005 % |
219.83/220.01 c | 408270 | 140 11900 83300 | 54742 48657 44 | 0.005 % |
220.62/220.82 c | 409811 | 140 11900 83300 | 54742 50198 44 | 0.005 % |
221.42/221.68 c | 411505 | 140 11900 83300 | 50388 46091 44 | 0.005 % |
222.32/222.59 c | 413368 | 140 11900 83300 | 50388 47954 44 | 0.005 % |
223.32/223.58 c | 415419 | 140 11900 83300 | 50388 50005 44 | 0.005 % |
224.42/224.67 c | 417672 | 140 11900 83300 | 50388 47213 44 | 0.005 % |
225.62/225.81 c | 420150 | 140 11900 83300 | 2147483647 49691 44 | 0.005 % |
227.02/227.24 c | 422875 | 140 11900 83300 | 2147483647 52416 44 | 0.005 % |
228.52/228.78 c | 425873 | 140 11900 83300 | 2147483647 55414 44 | 0.005 % |
230.22/230.49 c | 429170 | 140 11900 83300 | 2147483647 58711 44 | 0.005 % |
232.41/232.64 c | 432796 | 140 11900 83300 | 2147483647 62337 44 | 0.005 % |
235.11/235.31 c | 436786 | 140 11900 83300 | 2147483647 66327 44 | 0.005 % |
235.11/235.39 c | 436888 | 140 11900 83300 | 2147483647 66429 44 | 0.005 % |
235.21/235.47 c | 436998 | 140 11900 83300 | 2147483647 66539 44 | 0.005 % |
235.30/235.57 c | 437120 | 140 11900 83300 | 2147483647 66661 44 | 0.005 % |
235.40/235.66 c | 437254 | 140 11900 83300 | 2147483647 66795 44 | 0.005 % |
235.50/235.76 c | 437400 | 140 11900 83300 | 2147483647 66941 44 | 0.005 % |
235.60/235.87 c | 437560 | 140 11900 83300 | 2147483647 67101 44 | 0.005 % |
235.80/236.04 c | 437737 | 140 11900 83300 | 2147483647 67278 44 | 0.005 % |
235.90/236.18 c | 437932 | 140 11900 83300 | 2147483647 67473 44 | 0.005 % |
236.10/236.36 c | 438144 | 140 11900 83300 | 2147483647 67685 44 | 0.005 % |
236.31/236.54 c | 438377 | 140 11900 83300 | 2147483647 67918 44 | 0.005 % |
236.50/236.74 c | 438633 | 140 11900 83300 | 2147483647 68174 44 | 0.005 % |
236.70/236.96 c | 438915 | 140 11900 83300 | 2147483647 68456 44 | 0.005 % |
236.90/237.16 c | 439224 | 140 11900 83300 | 2147483647 68765 44 | 0.005 % |
237.20/237.42 c | 439563 | 140 11900 83300 | 2147483647 69104 44 | 0.005 % |
237.50/237.73 c | 439935 | 140 11900 83300 | 2147483647 69476 44 | 0.005 % |
237.90/238.10 c | 440344 | 140 11900 83300 | 69543 58069 44 | 0.005 % |
238.20/238.40 c | 440793 | 140 11900 83300 | 69543 58518 44 | 0.005 % |
238.50/238.72 c | 441287 | 140 11900 83300 | 69543 59012 44 | 0.005 % |
238.80/239.07 c | 441830 | 140 11900 83300 | 69543 59555 44 | 0.005 % |
239.20/239.46 c | 442426 | 140 11900 83300 | 69543 60151 44 | 0.005 % |
239.60/239.86 c | 443081 | 140 11900 83300 | 69543 60806 44 | 0.005 % |
240.10/240.38 c | 443804 | 140 11900 83300 | 69543 61529 44 | 0.005 % |
240.70/240.92 c | 444597 | 140 11900 83300 | 69543 62322 44 | 0.005 % |
241.30/241.55 c | 445468 | 140 11900 83300 | 69543 63193 44 | 0.005 % |
241.90/242.19 c | 446426 | 140 11900 83300 | 69543 64151 44 | 0.005 % |
242.70/242.92 c | 447479 | 140 11900 83300 | 69543 65204 44 | 0.005 % |
243.50/243.79 c | 448637 | 140 11900 83300 | 69543 66362 44 | 0.005 % |
244.50/244.71 c | 449911 | 140 11900 83300 | 69543 67636 44 | 0.005 % |
245.50/245.71 c | 451311 | 140 11900 83300 | 67726 57010 44 | 0.005 % |
246.40/246.60 c | 452851 | 140 11900 83300 | 67726 58550 44 | 0.005 % |
247.40/247.63 c | 454545 | 140 11900 83300 | 67726 60244 44 | 0.005 % |
248.70/248.92 c | 456408 | 140 11900 83300 | 67726 62107 44 | 0.005 % |
250.00/250.25 c | 458458 | 140 11900 83300 | 67726 64157 44 | 0.005 % |
251.50/251.76 c | 460711 | 140 11900 83300 | 65699 54907 44 | 0.005 % |
252.90/253.13 c | 463190 | 140 11900 83300 | 65699 57386 44 | 0.005 % |
254.40/254.69 c | 465917 | 140 11900 83300 | 65699 60113 44 | 0.005 % |
256.30/256.58 c | 468915 | 140 11900 83300 | 65699 63111 44 | 0.005 % |
258.39/258.66 c | 472211 | 140 11900 83300 | 64196 56743 44 | 0.005 % |
260.59/260.82 c | 475836 | 140 11900 83300 | 64196 60368 44 | 0.005 % |
263.19/263.46 c | 479824 | 140 11900 83300 | 64196 55103 44 | 0.005 % |
265.39/265.64 c | 484210 | 140 11900 83300 | 55279 51609 44 | 0.005 % |
265.39/265.70 c | 484312 | 140 11900 83300 | 55279 51711 44 | 0.005 % |
265.49/265.76 c | 484422 | 140 11900 83300 | 55279 51821 44 | 0.005 % |
265.59/265.84 c | 484544 | 140 11900 83300 | 55279 51943 44 | 0.005 % |
265.69/265.94 c | 484677 | 140 11900 83300 | 55279 52076 44 | 0.005 % |
265.79/266.04 c | 484826 | 140 11900 83300 | 55279 52225 44 | 0.005 % |
265.90/266.14 c | 484988 | 140 11900 83300 | 55279 52387 44 | 0.005 % |
266.00/266.27 c | 485165 | 140 11900 83300 | 55279 52564 44 | 0.005 % |
266.09/266.39 c | 485362 | 140 11900 83300 | 55279 52761 44 | 0.005 % |
266.29/266.55 c | 485576 | 140 11900 83300 | 55279 52975 44 | 0.005 % |
266.49/266.70 c | 485809 | 140 11900 83300 | 55279 53208 44 | 0.005 % |
266.59/266.87 c | 486066 | 140 11900 83300 | 55279 53465 44 | 0.005 % |
266.79/267.06 c | 486350 | 140 11900 83300 | 55279 53749 44 | 0.005 % |
267.00/267.26 c | 486660 | 140 11900 83300 | 55279 54059 44 | 0.005 % |
267.19/267.48 c | 487000 | 140 11900 83300 | 55279 54399 44 | 0.005 % |
267.49/267.71 c | 487372 | 140 11900 83300 | 55279 54771 44 | 0.005 % |
267.69/267.99 c | 487786 | 140 11900 83300 | 55279 55185 44 | 0.005 % |
268.10/268.32 c | 488235 | 140 11900 83300 | 55279 49131 44 | 0.005 % |
268.29/268.60 c | 488729 | 140 11900 83300 | 55279 49625 44 | 0.005 % |
268.59/268.89 c | 489273 | 140 11900 83300 | 55279 50169 44 | 0.005 % |
268.99/269.22 c | 489871 | 140 11900 83300 | 55279 50767 44 | 0.005 % |
269.30/269.57 c | 490527 | 140 11900 83300 | 50898 45493 44 | 0.005 % |
269.69/269.93 c | 491247 | 140 11900 83300 | 50898 46213 44 | 0.005 % |
269.99/270.28 c | 492040 | 140 11900 83300 | 50898 47006 44 | 0.005 % |
270.39/270.68 c | 492912 | 140 11900 83300 | 50898 47878 44 | 0.005 % |
270.79/271.08 c | 493871 | 140 11900 83300 | 50898 48837 44 | 0.005 % |
271.39/271.61 c | 494924 | 140 11900 83300 | 50898 49890 44 | 0.005 % |
271.99/272.23 c | 496082 | 140 11900 83300 | 50898 45953 44 | 0.005 % |
272.69/272.90 c | 497356 | 140 11900 83300 | 50898 47227 44 | 0.005 % |
273.29/273.59 c | 498756 | 140 11900 83300 | 50898 48627 44 | 0.005 % |
274.09/274.39 c | 500296 | 140 11900 83300 | 2147483647 50167 44 | 0.005 % |
274.99/275.27 c | 501991 | 140 11900 83300 | 2147483647 51862 44 | 0.005 % |
276.08/276.35 c | 503855 | 140 11900 83300 | 2147483647 53726 44 | 0.005 % |
277.28/277.53 c | 505904 | 140 11900 83300 | 2147483647 55775 44 | 0.005 % |
278.38/278.69 c | 508158 | 140 11900 83300 | 2147483647 58029 44 | 0.005 % |
279.88/280.13 c | 510637 | 140 11900 83300 | 59871 54127 44 | 0.005 % |
281.48/281.71 c | 513362 | 140 11900 83300 | 59871 56852 44 | 0.005 % |
283.08/283.37 c | 516361 | 140 11900 83300 | 59871 59851 44 | 0.005 % |
284.78/285.10 c | 519658 | 140 11900 83300 | 59871 56072 44 | 0.005 % |
286.78/287.09 c | 523284 | 140 11900 83300 | 56415 52903 44 | 0.005 % |
289.08/289.33 c | 527272 | 140 11900 83300 | 56415 50284 44 | 0.005 % |
291.38/291.63 c | 531658 | 140 11900 83300 | 53012 48643 44 | 0.005 % |
293.67/293.96 c | 536481 | 140 11900 83300 | 53012 48160 44 | 0.005 % |
293.77/294.02 c | 536582 | 140 11900 83300 | 53012 48261 44 | 0.005 % |
293.77/294.09 c | 536692 | 140 11900 83300 | 53012 48371 44 | 0.005 % |
293.87/294.18 c | 536813 | 140 11900 83300 | 53012 48492 44 | 0.005 % |
293.97/294.24 c | 536946 | 140 11900 83300 | 53012 48625 44 | 0.005 % |
294.07/294.33 c | 537092 | 140 11900 83300 | 53012 48771 44 | 0.005 % |
294.17/294.42 c | 537252 | 140 11900 83300 | 53012 48931 44 | 0.005 % |
294.27/294.53 c | 537428 | 140 11900 83300 | 53012 49107 44 | 0.005 % |
294.38/294.64 c | 537621 | 140 11900 83300 | 53012 49300 44 | 0.005 % |
294.48/294.75 c | 537833 | 140 11900 83300 | 53012 49512 44 | 0.005 % |
294.59/294.86 c | 538066 | 140 11900 83300 | 53012 49745 44 | 0.005 % |
294.78/295.01 c | 538322 | 140 11900 83300 | 53012 50001 44 | 0.005 % |
294.88/295.15 c | 538603 | 140 11900 83300 | 53012 50282 44 | 0.005 % |
295.08/295.32 c | 538912 | 140 11900 83300 | 53012 50591 44 | 0.005 % |
295.18/295.49 c | 539251 | 140 11900 83300 | 53012 50930 44 | 0.005 % |
295.38/295.68 c | 539623 | 140 11900 83300 | 53012 51302 44 | 0.005 % |
295.69/295.94 c | 540033 | 140 11900 83300 | 2147483647 51712 44 | 0.005 % |
295.88/296.18 c | 540483 | 140 11900 83300 | 2147483647 52162 44 | 0.005 % |
296.18/296.42 c | 540976 | 140 11900 83300 | 2147483647 52655 44 | 0.005 % |
296.48/296.71 c | 541518 | 140 11900 83300 | 2147483647 53197 44 | 0.005 % |
296.78/297.05 c | 542115 | 140 11900 83300 | 2147483647 53794 44 | 0.005 % |
297.18/297.47 c | 542771 | 140 11900 83300 | 2147483647 54450 44 | 0.005 % |
297.68/297.93 c | 543494 | 140 11900 83300 | 2147483647 55173 44 | 0.005 % |
298.28/298.51 c | 544288 | 140 11900 83300 | 2147483647 55967 44 | 0.005 % |
298.88/299.11 c | 545159 | 140 11900 83300 | 2147483647 56838 44 | 0.005 % |
299.38/299.68 c | 546120 | 140 11900 83300 | 2147483647 57799 44 | 0.005 % |
300.08/300.34 c | 547174 | 140 11900 83300 | 2147483647 58853 44 | 0.005 % |
300.78/301.01 c | 548333 | 140 11900 83300 | 2147483647 60012 44 | 0.005 % |
301.58/301.82 c | 549607 | 140 11900 83300 | 2147483647 61286 44 | 0.005 % |
302.48/302.75 c | 551007 | 140 11900 83300 | 61679 54563 44 | 0.005 % |
303.28/303.59 c | 552548 | 140 11900 83300 | 61679 56104 44 | 0.005 % |
304.28/304.54 c | 554242 | 140 11900 83300 | 61679 57798 44 | 0.005 % |
305.28/305.52 c | 556105 | 140 11900 83300 | 61679 59661 44 | 0.005 % |
306.38/306.61 c | 558155 | 140 11900 83300 | 61679 61711 44 | 0.005 % |
307.58/307.88 c | 560410 | 140 11900 83300 | 55282 48512 44 | 0.005 % |
308.78/309.08 c | 562889 | 140 11900 83300 | 55282 50991 44 | 0.005 % |
310.18/310.48 c | 565615 | 140 11900 83300 | 55282 53717 44 | 0.005 % |
311.68/311.98 c | 568612 | 140 11900 83300 | 55282 50848 44 | 0.005 % |
313.37/313.66 c | 571908 | 140 11900 83300 | 52237 48915 44 | 0.005 % |
315.17/315.49 c | 575533 | 140 11900 83300 | 52237 47310 44 | 0.005 % |
317.07/317.37 c | 579520 | 140 11900 83300 | 52237 51297 44 | 0.005 % |
319.37/319.65 c | 583905 | 140 11900 83300 | 2147483647 55682 44 | 0.005 % |
322.17/322.44 c | 588729 | 140 11900 83300 | 2147483647 60506 44 | 0.005 % |
325.37/325.65 c | 594034 | 140 11900 83300 | 61777 58575 44 | 0.005 % |
325.47/325.73 c | 594135 | 140 11900 83300 | 61777 58676 44 | 0.005 % |
325.57/325.82 c | 594245 | 140 11900 83300 | 61777 58786 44 | 0.005 % |
325.67/325.92 c | 594368 | 140 11900 83300 | 61777 58909 44 | 0.005 % |
325.77/326.01 c | 594502 | 140 11900 83300 | 61777 59043 44 | 0.005 % |
325.87/326.13 c | 594648 | 140 11900 83300 | 61777 59189 44 | 0.005 % |
325.97/326.24 c | 594808 | 140 11900 83300 | 61777 59349 44 | 0.005 % |
326.07/326.35 c | 594984 | 140 11900 83300 | 61777 59525 44 | 0.005 % |
326.17/326.49 c | 595177 | 140 11900 83300 | 61777 59718 44 | 0.005 % |
326.37/326.62 c | 595390 | 140 11900 83300 | 61777 59931 44 | 0.005 % |
326.47/326.79 c | 595624 | 140 11900 83300 | 61777 60165 44 | 0.005 % |
326.67/326.97 c | 595880 | 140 11900 83300 | 61777 60421 44 | 0.005 % |
326.87/327.17 c | 596161 | 140 11900 83300 | 61777 60702 44 | 0.005 % |
327.06/327.37 c | 596470 | 140 11900 83300 | 61777 61011 44 | 0.005 % |
327.36/327.61 c | 596809 | 140 11900 83300 | 61777 61350 44 | 0.005 % |
327.57/327.83 c | 597181 | 140 11900 83300 | 61777 61722 44 | 0.005 % |
327.86/328.13 c | 597590 | 140 11900 83300 | 61777 53130 44 | 0.005 % |
328.16/328.47 c | 598042 | 140 11900 83300 | 61777 53582 44 | 0.005 % |
328.46/328.77 c | 598535 | 140 11900 83300 | 61777 54075 44 | 0.005 % |
328.87/329.14 c | 599077 | 140 11900 83300 | 61777 54617 44 | 0.005 % |
329.26/329.53 c | 599674 | 140 11900 83300 | 61777 55214 44 | 0.005 % |
329.67/329.96 c | 600331 | 140 11900 83300 | 55540 47700 44 | 0.005 % |
330.06/330.31 c | 601051 | 140 11900 83300 | 55540 48420 44 | 0.005 % |
330.46/330.73 c | 601843 | 140 11900 83300 | 55540 49212 44 | 0.005 % |
330.96/331.23 c | 602714 | 140 11900 83300 | 55540 50083 44 | 0.005 % |
331.46/331.77 c | 603673 | 140 11900 83300 | 55540 51042 44 | 0.005 % |
332.06/332.32 c | 604726 | 140 11900 83300 | 55540 52095 44 | 0.005 % |
332.66/332.91 c | 605886 | 140 11900 83300 | 55540 53255 44 | 0.005 % |
333.36/333.63 c | 607159 | 140 11900 83300 | 55540 54528 44 | 0.005 % |
334.26/334.52 c | 608561 | 140 11900 83300 | 55540 49320 44 | 0.005 % |
335.17/335.44 c | 610101 | 140 11900 83300 | 50761 44939 44 | 0.005 % |
336.06/336.32 c | 611796 | 140 11900 83300 | 50761 46634 44 | 0.005 % |
337.06/337.31 c | 613659 | 140 11900 83300 | 50761 48497 44 | 0.005 % |
338.16/338.43 c | 615708 | 140 11900 83300 | 50761 50546 44 | 0.005 % |
339.26/339.58 c | 617961 | 140 11900 83300 | 50761 47717 44 | 0.005 % |
340.46/340.78 c | 620440 | 140 11900 83300 | 2147483647 50196 44 | 0.005 % |
341.76/342.04 c | 623165 | 140 11900 83300 | 2147483647 52921 44 | 0.005 % |
343.26/343.59 c | 626163 | 140 11900 83300 | 2147483647 55919 44 | 0.005 % |
344.96/345.22 c | 629460 | 140 11900 83300 | 2147483647 59216 44 | 0.005 % |
347.06/347.33 c | 633086 | 140 11900 83300 | 2147483647 62842 44 | 0.005 % |
349.86/350.11 c | 637073 | 140 11900 83300 | 2147483647 66829 44 | 0.005 % |
353.06/353.33 c | 641460 | 140 11900 83300 | 69757 59606 44 | 0.005 % |
356.25/356.52 c | 646284 | 140 11900 83300 | 69757 64430 44 | 0.005 % |
359.75/360.03 c | 651589 | 140 11900 83300 | 68147 58079 44 | 0.005 % |
363.35/363.64 c | 657424 | 140 11900 83300 | 68147 63914 44 | 0.005 % |
363.45/363.72 c | 657526 | 140 11900 83300 | 68147 64016 44 | 0.005 % |
363.55/363.82 c | 657636 | 140 11900 83300 | 68147 64126 44 | 0.005 % |
363.65/363.91 c | 657757 | 140 11900 83300 | 68147 64247 44 | 0.005 % |
363.76/364.03 c | 657891 | 140 11900 83300 | 68147 64381 44 | 0.005 % |
363.86/364.13 c | 658038 | 140 11900 83300 | 68147 64528 44 | 0.005 % |
363.95/364.28 c | 658198 | 140 11900 83300 | 68147 64688 44 | 0.005 % |
364.15/364.42 c | 658375 | 140 11900 83300 | 68147 64865 44 | 0.005 % |
364.25/364.58 c | 658569 | 140 11900 83300 | 68147 65059 44 | 0.005 % |
364.45/364.78 c | 658783 | 140 11900 83300 | 68147 65273 44 | 0.005 % |
364.65/364.95 c | 659018 | 140 11900 83300 | 68147 65508 44 | 0.005 % |
364.85/365.17 c | 659275 | 140 11900 83300 | 68147 65765 44 | 0.005 % |
365.05/365.40 c | 659558 | 140 11900 83300 | 68147 66048 44 | 0.005 % |
365.35/365.66 c | 659867 | 140 11900 83300 | 68147 66357 44 | 0.005 % |
365.65/365.97 c | 660206 | 140 11900 83300 | 66492 55039 44 | 0.005 % |
365.95/366.22 c | 660580 | 140 11900 83300 | 66492 55413 44 | 0.005 % |
366.24/366.50 c | 660990 | 140 11900 83300 | 66492 55823 44 | 0.005 % |
366.44/366.79 c | 661439 | 140 11900 83300 | 66492 56272 44 | 0.005 % |
366.84/367.14 c | 661933 | 140 11900 83300 | 66492 56766 44 | 0.005 % |
367.14/367.48 c | 662475 | 140 11900 83300 | 66492 57308 44 | 0.005 % |
367.54/367.88 c | 663073 | 140 11900 83300 | 66492 57906 44 | 0.005 % |
368.04/368.38 c | 663728 | 140 11900 83300 | 66492 58561 44 | 0.005 % |
368.44/368.79 c | 664449 | 140 11900 83300 | 66492 59282 44 | 0.005 % |
368.94/369.28 c | 665244 | 140 11900 83300 | 66492 60077 44 | 0.005 % |
369.54/369.83 c | 666115 | 140 11900 83300 | 66492 60948 44 | 0.005 % |
370.14/370.47 c | 667073 | 140 11900 83300 | 66492 61906 44 | 0.005 % |
371.04/371.38 c | 668126 | 140 11900 83300 | 66492 62959 44 | 0.005 % |
371.94/372.20 c | 669284 | 140 11900 83300 | 66492 64117 44 | 0.005 % |
372.74/373.00 c | 670557 | 140 11900 83300 | 64834 54121 44 | 0.005 % |
373.54/373.86 c | 671958 | 140 11900 83300 | 64834 55522 44 | 0.005 % |
374.54/374.83 c | 673499 | 140 11900 83300 | 64834 57063 44 | 0.005 % |
375.64/375.92 c | 675195 | 140 11900 83300 | 64834 58759 44 | 0.005 % |
376.73/377.05 c | 677058 | 140 11900 83300 | 64834 60622 44 | 0.005 % |
378.23/378.53 c | 679108 | 140 11900 83300 | 64834 62672 44 | 0.005 % |
379.73/380.03 c | 681361 | 140 11900 83300 | 63564 54391 44 | 0.005 % |
381.13/381.47 c | 683839 | 140 11900 83300 | 63564 56869 44 | 0.005 % |
383.03/383.32 c | 686566 | 140 11900 83300 | 63564 59596 44 | 0.005 % |
385.03/385.37 c | 689564 | 140 11900 83300 | 63564 62594 44 | 0.005 % |
387.03/387.39 c | 692860 | 140 11900 83300 | 63030 55789 44 | 0.005 % |
389.04/389.39 c | 696486 | 140 11900 83300 | 63030 59415 44 | 0.005 % |
391.73/392.03 c | 700473 | 140 11900 83300 | 62929 54206 44 | 0.005 % |
394.13/394.46 c | 704861 | 140 11900 83300 | 62929 58594 44 | 0.005 % |
397.43/397.70 c | 709686 | 140 11900 83300 | 62929 54345 44 | 0.005 % |
400.13/400.46 c | 714993 | 140 11900 83300 | 54659 51815 44 | 0.005 % |
403.63/403.95 c | 720830 | 140 11900 83300 | 51060 46637 44 | 0.005 % |
407.02/407.36 c | 727248 | 140 11900 83300 | 51060 47942 44 | 0.005 % |
407.12/407.41 c | 727349 | 140 11900 83300 | 51060 48043 44 | 0.005 % |
407.12/407.48 c | 727460 | 140 11900 83300 | 51060 48154 44 | 0.005 % |
407.22/407.54 c | 727581 | 140 11900 83300 | 51060 48275 44 | 0.005 % |
407.32/407.63 c | 727717 | 140 11900 83300 | 51060 48411 44 | 0.005 % |
407.42/407.71 c | 727864 | 140 11900 83300 | 51060 48558 44 | 0.005 % |
407.52/407.80 c | 728026 | 140 11900 83300 | 51060 48720 44 | 0.005 % |
407.62/407.91 c | 728202 | 140 11900 83300 | 51060 48896 44 | 0.005 % |
407.62/408.00 c | 728396 | 140 11900 83300 | 51060 49090 44 | 0.005 % |
407.83/408.10 c | 728609 | 140 11900 83300 | 51060 49303 44 | 0.005 % |
407.92/408.22 c | 728843 | 140 11900 83300 | 51060 49537 44 | 0.005 % |
408.02/408.34 c | 729099 | 140 11900 83300 | 51060 49793 44 | 0.005 % |
408.22/408.51 c | 729381 | 140 11900 83300 | 51060 50075 44 | 0.005 % |
408.32/408.68 c | 729692 | 140 11900 83300 | 51060 50386 44 | 0.005 % |
408.52/408.86 c | 730032 | 140 11900 83300 | 2147483647 50726 44 | 0.005 % |
408.72/409.09 c | 730405 | 140 11900 83300 | 2147483647 51099 44 | 0.005 % |
409.02/409.39 c | 730814 | 140 11900 83300 | 2147483647 51508 44 | 0.005 % |
409.32/409.66 c | 731263 | 140 11900 83300 | 2147483647 51957 44 | 0.005 % |
409.62/409.97 c | 731758 | 140 11900 83300 | 2147483647 52452 44 | 0.005 % |
409.92/410.29 c | 732300 | 140 11900 83300 | 2147483647 52994 44 | 0.005 % |
410.32/410.61 c | 732896 | 140 11900 83300 | 2147483647 53590 44 | 0.005 % |
410.62/410.98 c | 733551 | 140 11900 83300 | 2147483647 54245 44 | 0.005 % |
411.12/411.46 c | 734273 | 140 11900 83300 | 2147483647 54967 44 | 0.005 % |
411.61/411.96 c | 735066 | 140 11900 83300 | 2147483647 55760 44 | 0.005 % |
412.22/412.54 c | 735940 | 140 11900 83300 | 2147483647 56634 44 | 0.005 % |
412.81/413.16 c | 736898 | 140 11900 83300 | 2147483647 57592 44 | 0.005 % |
413.41/413.77 c | 737954 | 140 11900 83300 | 2147483647 58648 44 | 0.005 % |
414.11/414.46 c | 739113 | 140 11900 83300 | 2147483647 59807 44 | 0.005 % |
415.01/415.37 c | 740387 | 140 11900 83300 | 60696 53134 44 | 0.005 % |
415.71/416.09 c | 741787 | 140 11900 83300 | 60696 54534 44 | 0.005 % |
416.62/416.99 c | 743328 | 140 11900 83300 | 60696 56075 44 | 0.005 % |
417.41/417.80 c | 745023 | 140 11900 83300 | 60696 57770 44 | 0.005 % |
418.61/418.94 c | 746888 | 140 11900 83300 | 60696 59635 44 | 0.005 % |
419.81/420.20 c | 748937 | 140 11900 83300 | 60696 53724 44 | 0.005 % |
421.21/421.52 c | 751190 | 140 11900 83300 | 54788 48819 44 | 0.005 % |
422.41/422.75 c | 753668 | 140 11900 83300 | 54788 51297 44 | 0.005 % |
423.71/424.09 c | 756395 | 140 11900 83300 | 54788 54024 44 | 0.005 % |
425.11/425.48 c | 759392 | 140 11900 83300 | 54788 51536 44 | 0.005 % |
426.81/427.15 c | 762688 | 140 11900 83300 | 2147483647 54832 44 | 0.005 % |
428.81/429.18 c | 766313 | 140 11900 83300 | 2147483647 58457 44 | 0.005 % |
431.31/431.64 c | 770301 | 140 11900 83300 | 62144 55021 44 | 0.005 % |
433.81/434.16 c | 774686 | 140 11900 83300 | 62144 59406 44 | 0.005 % |
436.61/436.95 c | 779509 | 140 11900 83300 | 62144 56321 44 | 0.005 % |
439.41/439.78 c | 784816 | 140 11900 83300 | 56814 54385 44 | 0.005 % |
442.50/442.87 c | 790653 | 140 11900 83300 | 52686 47193 44 | 0.005 % |
445.40/445.77 c | 797072 | 140 11900 83300 | 52686 48337 44 | 0.005 % |
449.00/449.32 c | 804131 | 140 11900 83300 | 2147483647 55396 44 | 0.005 % |
449.00/449.39 c | 804231 | 140 11900 83300 | 2147483647 55496 44 | 0.005 % |
449.10/449.45 c | 804342 | 140 11900 83300 | 2147483647 55607 44 | 0.005 % |
449.20/449.54 c | 804466 | 140 11900 83300 | 2147483647 55731 44 | 0.005 % |
449.30/449.62 c | 804599 | 140 11900 83300 | 2147483647 55864 44 | 0.005 % |
449.40/449.73 c | 804746 | 140 11900 83300 | 2147483647 56011 44 | 0.005 % |
449.51/449.83 c | 804906 | 140 11900 83300 | 2147483647 56171 44 | 0.005 % |
449.61/449.95 c | 805082 | 140 11900 83300 | 2147483647 56347 44 | 0.005 % |
449.70/450.09 c | 805275 | 140 11900 83300 | 2147483647 56540 44 | 0.005 % |
449.90/450.24 c | 805487 | 140 11900 83300 | 2147483647 56752 44 | 0.005 % |
450.00/450.39 c | 805720 | 140 11900 83300 | 2147483647 56985 44 | 0.005 % |
450.20/450.56 c | 805977 | 140 11900 83300 | 2147483647 57242 44 | 0.005 % |
450.40/450.76 c | 806258 | 140 11900 83300 | 2147483647 57523 44 | 0.005 % |
450.60/450.97 c | 806569 | 140 11900 83300 | 2147483647 57834 44 | 0.005 % |
450.90/451.20 c | 806910 | 140 11900 83300 | 2147483647 58175 44 | 0.005 % |
451.10/451.44 c | 807282 | 140 11900 83300 | 2147483647 58547 44 | 0.005 % |
451.40/451.70 c | 807693 | 140 11900 83300 | 2147483647 58958 44 | 0.005 % |
451.60/451.96 c | 808142 | 140 11900 83300 | 2147483647 59407 44 | 0.005 % |
451.90/452.28 c | 808635 | 140 11900 83300 | 2147483647 59900 44 | 0.005 % |
452.30/452.62 c | 809177 | 140 11900 83300 | 2147483647 60442 44 | 0.005 % |
452.70/453.00 c | 809774 | 140 11900 83300 | 2147483647 61039 44 | 0.005 % |
453.10/453.45 c | 810429 | 140 11900 83300 | 61269 53393 44 | 0.005 % |
453.50/453.81 c | 811150 | 140 11900 83300 | 61269 54114 44 | 0.005 % |
453.90/454.25 c | 811943 | 140 11900 83300 | 61269 54907 44 | 0.005 % |
454.40/454.71 c | 812814 | 140 11900 83300 | 61269 55778 44 | 0.005 % |
454.90/455.26 c | 813772 | 140 11900 83300 | 61269 56736 44 | 0.005 % |
455.49/455.87 c | 814825 | 140 11900 83300 | 61269 57789 44 | 0.005 % |
456.20/456.57 c | 815984 | 140 11900 83300 | 61269 58948 44 | 0.005 % |
456.99/457.34 c | 817257 | 140 11900 83300 | 61269 60221 44 | 0.005 % |
457.89/458.30 c | 818658 | 140 11900 83300 | 61269 53336 44 | 0.005 % |
458.79/459.18 c | 820201 | 140 11900 83300 | 54679 47601 44 | 0.005 % |
459.69/460.06 c | 821896 | 140 11900 83300 | 54679 49296 44 | 0.005 % |
460.69/461.03 c | 823759 | 140 11900 83300 | 54679 51159 44 | 0.005 % |
461.69/462.05 c | 825808 | 140 11900 83300 | 54679 53208 44 | 0.005 % |
462.89/463.26 c | 828061 | 140 11900 83300 | 54679 49987 44 | 0.005 % |
464.29/464.65 c | 830539 | 140 11900 83300 | 2147483647 52465 44 | 0.005 % |
465.99/466.35 c | 833265 | 140 11900 83300 | 2147483647 55191 44 | 0.005 % |
467.79/468.19 c | 836264 | 140 11900 83300 | 2147483647 58190 44 | 0.005 % |
469.89/470.29 c | 839560 | 140 11900 83300 | 2147483647 61486 44 | 0.005 % |
472.28/472.69 c | 843185 | 140 11900 83300 | 61928 56256 44 | 0.005 % |
474.68/475.03 c | 847173 | 140 11900 83300 | 61928 60244 44 | 0.005 % |
477.28/477.67 c | 851558 | 140 11900 83300 | 53824 47464 44 | 0.005 % |
479.98/480.30 c | 856383 | 140 11900 83300 | 53824 52289 44 | 0.005 % |
482.58/482.96 c | 861689 | 140 11900 83300 | 2147483647 51845 44 | 0.005 % |
485.68/486.09 c | 867525 | 140 11900 83300 | 2147483647 57681 44 | 0.005 % |
489.58/489.90 c | 873943 | 140 11900 83300 | 60156 57331 44 | 0.005 % |
493.78/494.13 c | 881002 | 140 11900 83300 | 55571 49536 44 | 0.005 % |
498.27/498.62 c | 888767 | 140 11900 83300 | 55571 50819 44 | 0.005 % |
498.27/498.68 c | 888867 | 140 11900 83300 | 55571 50919 44 | 0.005 % |
498.37/498.75 c | 888978 | 140 11900 83300 | 55571 51030 44 | 0.005 % |
498.47/498.83 c | 889100 | 140 11900 83300 | 55571 51152 44 | 0.005 % |
498.57/498.90 c | 889234 | 140 11900 83300 | 55571 51286 44 | 0.005 % |
498.57/498.99 c | 889383 | 140 11900 83300 | 55571 51435 44 | 0.005 % |
498.67/499.07 c | 889543 | 140 11900 83300 | 55571 51595 44 | 0.005 % |
498.87/499.24 c | 889719 | 140 11900 83300 | 55571 51771 44 | 0.005 % |
498.98/499.36 c | 889914 | 140 11900 83300 | 55571 51966 44 | 0.005 % |
499.17/499.54 c | 890127 | 140 11900 83300 | 52055 46185 44 | 0.005 % |
499.27/499.68 c | 890361 | 140 11900 83300 | 52055 46419 44 | 0.005 % |
499.47/499.80 c | 890617 | 140 11900 83300 | 52055 46675 44 | 0.005 % |
499.57/499.93 c | 890898 | 140 11900 83300 | 52055 46956 44 | 0.005 % |
499.67/500.09 c | 891207 | 140 11900 83300 | 52055 47265 44 | 0.005 % |
499.87/500.27 c | 891548 | 140 11900 83300 | 52055 47606 44 | 0.005 % |
500.17/500.53 c | 891920 | 140 11900 83300 | 52055 47978 44 | 0.005 % |
500.37/500.78 c | 892329 | 140 11900 83300 | 52055 48387 44 | 0.005 % |
500.67/501.04 c | 892778 | 140 11900 83300 | 52055 48836 44 | 0.005 % |
500.97/501.34 c | 893271 | 140 11900 83300 | 52055 49329 44 | 0.005 % |
501.27/501.64 c | 893813 | 140 11900 83300 | 52055 49871 44 | 0.005 % |
501.57/501.94 c | 894409 | 140 11900 83300 | 52055 50467 44 | 0.005 % |
501.97/502.30 c | 895065 | 140 11900 83300 | 52055 51123 44 | 0.005 % |
502.46/502.83 c | 895786 | 140 11900 83300 | 52055 51844 44 | 0.005 % |
502.96/503.37 c | 896578 | 140 11900 83300 | 52055 47006 44 | 0.005 % |
503.56/503.96 c | 897449 | 140 11900 83300 | 52055 47877 44 | 0.005 % |
504.06/504.48 c | 898407 | 140 11900 83300 | 52055 48835 44 | 0.005 % |
504.66/505.07 c | 899460 | 140 11900 83300 | 52055 49888 44 | 0.005 % |
505.26/505.68 c | 900619 | 140 11900 83300 | 50428 45463 44 | 0.005 % |
505.86/506.26 c | 901893 | 140 11900 83300 | 50428 46737 44 | 0.005 % |
506.56/506.90 c | 903294 | 140 11900 83300 | 50428 48138 44 | 0.005 % |
507.16/507.58 c | 904834 | 140 11900 83300 | 50428 49678 44 | 0.005 % |
507.96/508.30 c | 906529 | 140 11900 83300 | 50428 46324 44 | 0.005 % |
508.96/509.33 c | 908393 | 140 11900 83300 | 50428 48188 44 | 0.005 % |
509.96/510.32 c | 910442 | 140 11900 83300 | 2147483647 50237 44 | 0.005 % |
511.06/511.44 c | 912695 | 140 11900 83300 | 2147483647 52490 44 | 0.005 % |
512.46/512.81 c | 915173 | 140 11900 83300 | 2147483647 54968 44 | 0.005 % |
513.96/514.39 c | 917899 | 140 11900 83300 | 2147483647 57694 44 | 0.005 % |
515.86/516.20 c | 920897 | 140 11900 83300 | 59795 54044 44 | 0.005 % |
517.66/518.06 c | 924194 | 140 11900 83300 | 59795 57341 44 | 0.005 % |
519.76/520.11 c | 927819 | 140 11900 83300 | 59795 53874 44 | 0.005 % |
522.06/522.42 c | 931807 | 140 11900 83300 | 56056 51332 44 | 0.005 % |
524.45/524.84 c | 936193 | 140 11900 83300 | 56056 55718 44 | 0.005 % |
527.15/527.54 c | 941016 | 140 11900 83300 | 53730 49177 44 | 0.005 % |
529.95/530.38 c | 946321 | 140 11900 83300 | 53730 48495 44 | 0.005 % |
532.85/533.23 c | 952157 | 140 11900 83300 | 52174 48728 44 | 0.005 % |
535.85/536.26 c | 958577 | 140 11900 83300 | 52174 49924 44 | 0.005 % |
539.45/539.86 c | 965636 | 140 11900 83300 | 2147483647 56983 44 | 0.005 % |
543.85/544.21 c | 973400 | 140 11900 83300 | 61347 58133 44 | 0.005 % |
548.74/549.12 c | 981942 | 140 11900 83300 | 57212 52261 45 | 0.005 % |
548.74/549.17 c | 982043 | 140 11900 83300 | 57212 52362 45 | 0.005 % |
548.85/549.25 c | 982153 | 140 11900 83300 | 57212 52472 45 | 0.005 % |
548.95/549.33 c | 982274 | 140 11900 83300 | 57212 52593 45 | 0.005 % |
549.05/549.40 c | 982408 | 140 11900 83300 | 57212 52727 45 | 0.005 % |
549.05/549.50 c | 982554 | 140 11900 83300 | 57212 52873 45 | 0.005 % |
549.25/549.63 c | 982716 | 140 11900 83300 | 57212 53035 45 | 0.005 % |
549.35/549.75 c | 982894 | 140 11900 83300 | 57212 53213 45 | 0.005 % |
549.45/549.87 c | 983089 | 140 11900 83300 | 57212 53408 45 | 0.005 % |
549.66/550.03 c | 983302 | 140 11900 83300 | 57212 53621 45 | 0.005 % |
549.75/550.19 c | 983535 | 140 11900 83300 | 57212 53854 45 | 0.005 % |
549.95/550.38 c | 983791 | 140 11900 83300 | 57212 54110 45 | 0.005 % |
550.15/550.58 c | 984072 | 140 11900 83300 | 57212 54391 45 | 0.005 % |
550.45/550.82 c | 984382 | 140 11900 83300 | 57212 54701 45 | 0.005 % |
550.66/551.03 c | 984721 | 140 11900 83300 | 57212 55040 45 | 0.005 % |
550.85/551.26 c | 985094 | 140 11900 83300 | 57212 55413 45 | 0.005 % |
551.15/551.57 c | 985503 | 140 11900 83300 | 57212 55822 45 | 0.005 % |
551.45/551.89 c | 985952 | 140 11900 83300 | 57212 56271 45 | 0.005 % |
551.86/552.25 c | 986445 | 140 11900 83300 | 57212 56764 44 | 0.005 % |
552.25/552.68 c | 986988 | 140 11900 83300 | 57212 49375 45 | 0.005 % |
552.65/553.00 c | 987586 | 140 11900 83300 | 57212 49973 45 | 0.005 % |
553.05/553.40 c | 988242 | 140 11900 83300 | 57212 50629 45 | 0.005 % |
553.45/553.81 c | 988962 | 140 11900 83300 | 57212 51349 45 | 0.005 % |
553.85/554.24 c | 989754 | 140 11900 83300 | 57212 52141 45 | 0.005 % |
554.35/554.71 c | 990625 | 140 11900 83300 | 52388 46016 45 | 0.005 % |
554.75/555.11 c | 991583 | 140 11900 83300 | 52388 46974 45 | 0.005 % |
555.35/555.74 c | 992636 | 140 11900 83300 | 52388 48027 45 | 0.005 % |
556.05/556.42 c | 993795 | 140 11900 83300 | 52388 49186 45 | 0.005 % |
556.75/557.17 c | 995068 | 140 11900 83300 | 52388 50459 44 | 0.005 % |
557.65/558.00 c | 996468 | 140 11900 83300 | 52388 51859 44 | 0.005 % |
558.45/558.80 c | 998009 | 140 11900 83300 | 52388 47647 44 | 0.005 % |
559.35/559.70 c | 999703 | 140 11900 83300 | 52388 49341 44 | 0.005 % |
560.25/560.65 c | 1001567 | 140 11900 83300 | 49638 46118 44 | 0.005 % |
561.35/561.70 c | 1003616 | 140 11900 83300 | 49638 48167 44 | 0.005 % |
562.45/562.82 c | 1005870 | 140 11900 83300 | 49638 45452 44 | 0.005 % |
563.55/563.97 c | 1008349 | 140 11900 83300 | 49638 47931 44 | 0.005 % |
564.75/565.18 c | 1011074 | 140 11900 83300 | 2147483647 50656 44 | 0.005 % |
566.45/566.81 c | 1014071 | 140 11900 83300 | 2147483647 53653 44 | 0.005 % |
568.45/568.81 c | 1017367 | 140 11900 83300 | 2147483647 56949 44 | 0.005 % |
570.55/570.94 c | 1020992 | 140 11900 83300 | 59583 53786 44 | 0.005 % |
572.84/573.23 c | 1024979 | 140 11900 83300 | 59583 57773 44 | 0.005 % |
575.24/575.67 c | 1029366 | 140 11900 83300 | 59583 54865 44 | 0.005 % |
578.04/578.42 c | 1034189 | 140 11900 83300 | 55500 52927 44 | 0.005 % |
580.74/581.19 c | 1039494 | 140 11900 83300 | 55500 52114 44 | 0.005 % |
583.84/584.22 c | 1045329 | 140 11900 83300 | 52620 52419 44 | 0.005 % |
587.14/587.54 c | 1051749 | 140 11900 83300 | 2147483647 53570 44 | 0.005 % |
591.44/591.81 c | 1058808 | 140 11900 83300 | 2147483647 60629 44 | 0.005 % |
595.93/596.39 c | 1066573 | 140 11900 83300 | 61822 60711 44 | 0.005 % |
600.53/601.00 c | 1075113 | 140 11900 83300 | 55965 53644 45 | 0.005 % |
605.53/605.90 c | 1084508 | 140 11900 83300 | 51419 49727 45 | 0.005 % |
605.53/605.97 c | 1084610 | 140 11900 83300 | 51419 49829 45 | 0.005 % |
605.64/606.03 c | 1084722 | 140 11900 83300 | 51419 49941 45 | 0.005 % |
605.64/606.09 c | 1084844 | 140 11900 83300 | 51419 50063 45 | 0.005 % |
605.74/606.16 c | 1084978 | 140 11900 83300 | 51419 50197 45 | 0.005 % |
605.83/606.25 c | 1085124 | 140 11900 83300 | 51419 50343 45 | 0.005 % |
605.93/606.34 c | 1085284 | 140 11900 83300 | 51419 50503 45 | 0.005 % |
606.03/606.45 c | 1085463 | 140 11900 83300 | 51419 50682 45 | 0.005 % |
606.13/606.58 c | 1085656 | 140 11900 83300 | 51419 50875 45 | 0.005 % |
606.33/606.70 c | 1085868 | 140 11900 83300 | 51419 51087 45 | 0.005 % |
606.43/606.84 c | 1086102 | 140 11900 83300 | 51419 51321 45 | 0.005 % |
606.63/607.00 c | 1086359 | 140 11900 83300 | 51419 46430 45 | 0.005 % |
606.74/607.17 c | 1086642 | 140 11900 83300 | 51419 46713 45 | 0.005 % |
606.93/607.32 c | 1086952 | 140 11900 83300 | 51419 47023 45 | 0.005 % |
607.03/607.49 c | 1087291 | 140 11900 83300 | 51419 47362 45 | 0.005 % |
607.23/607.67 c | 1087663 | 140 11900 83300 | 51419 47734 45 | 0.005 % |
607.43/607.87 c | 1088072 | 140 11900 83300 | 51419 48143 45 | 0.005 % |
607.73/608.17 c | 1088521 | 140 11900 83300 | 51419 48592 45 | 0.005 % |
608.03/608.47 c | 1089014 | 140 11900 83300 | 51419 49085 45 | 0.005 % |
608.43/608.81 c | 1089557 | 140 11900 83300 | 51419 49628 45 | 0.005 % |
608.83/609.21 c | 1090153 | 140 11900 83300 | 2147483647 50224 45 | 0.005 % |
609.23/609.62 c | 1090808 | 140 11900 83300 | 2147483647 50879 45 | 0.005 % |
609.63/610.01 c | 1091529 | 140 11900 83300 | 2147483647 51600 45 | 0.005 % |
610.03/610.50 c | 1092322 | 140 11900 83300 | 2147483647 52393 44 | 0.005 % |
610.63/611.01 c | 1093195 | 140 11900 83300 | 2147483647 53266 44 | 0.005 % |
611.13/611.50 c | 1094154 | 140 11900 83300 | 2147483647 54225 44 | 0.005 % |
611.63/612.09 c | 1095207 | 140 11900 83300 | 2147483647 55278 44 | 0.005 % |
612.23/612.70 c | 1096366 | 140 11900 83300 | 2147483647 56437 44 | 0.005 % |
612.93/613.34 c | 1097639 | 140 11900 83300 | 2147483647 57710 44 | 0.005 % |
613.73/614.14 c | 1099040 | 140 11900 83300 | 2147483647 59111 44 | 0.005 % |
614.83/615.23 c | 1100581 | 140 11900 83300 | 60071 53231 44 | 0.005 % |
615.93/616.36 c | 1102277 | 140 11900 83300 | 60071 54927 44 | 0.005 % |
617.13/617.59 c | 1104143 | 140 11900 83300 | 60071 56793 44 | 0.005 % |
618.53/618.91 c | 1106192 | 140 11900 83300 | 60071 58842 44 | 0.005 % |
619.93/620.39 c | 1108445 | 140 11900 83300 | 60071 51946 44 | 0.005 % |
621.22/621.63 c | 1110925 | 140 11900 83300 | 53501 46837 44 | 0.005 % |
622.52/622.96 c | 1113650 | 140 11900 83300 | 53501 49562 44 | 0.005 % |
624.12/624.53 c | 1116650 | 140 11900 83300 | 53501 52562 44 | 0.005 % |
625.82/626.24 c | 1119947 | 140 11900 83300 | 53501 50504 44 | 0.005 % |
627.63/628.05 c | 1123572 | 140 11900 83300 | 2147483647 54129 44 | 0.005 % |
630.12/630.58 c | 1127559 | 140 11900 83300 | 2147483647 58116 44 | 0.005 % |
633.23/633.63 c | 1131944 | 140 11900 83300 | 60557 54454 44 | 0.005 % |
636.02/636.46 c | 1136767 | 140 11900 83300 | 60557 59277 44 | 0.005 % |
639.02/639.42 c | 1142072 | 140 11900 83300 | 54580 49759 44 | 0.005 % |
642.12/642.52 c | 1147909 | 140 11900 83300 | 54580 50133 44 | 0.005 % |
645.72/646.12 c | 1154327 | 140 11900 83300 | 52224 51240 44 | 0.005 % |
649.72/650.11 c | 1161386 | 140 11900 83300 | 2147483647 52975 44 | 0.005 % |
653.81/654.28 c | 1169150 | 140 11900 83300 | 2147483647 60739 44 | 0.005 % |
658.81/659.22 c | 1177690 | 140 11900 83300 | 61589 54287 44 | 0.005 % |
663.81/664.26 c | 1187084 | 140 11900 83300 | 56598 51173 44 | 0.005 % |
669.21/669.64 c | 1197417 | 140 11900 83300 | 2147483647 61506 44 | 0.005 % |
669.31/669.70 c | 1197521 | 140 11900 83300 | 2147483647 61610 44 | 0.005 % |
669.31/669.78 c | 1197631 | 140 11900 83300 | 2147483647 61720 44 | 0.005 % |
669.41/669.88 c | 1197753 | 140 11900 83300 | 2147483647 61842 44 | 0.005 % |
669.51/669.98 c | 1197887 | 140 11900 83300 | 2147483647 61976 44 | 0.005 % |
669.61/670.09 c | 1198034 | 140 11900 83300 | 2147483647 62123 44 | 0.005 % |
669.81/670.22 c | 1198194 | 140 11900 83300 | 2147483647 62283 44 | 0.005 % |
669.91/670.34 c | 1198371 | 140 11900 83300 | 2147483647 62460 44 | 0.005 % |
670.01/670.48 c | 1198564 | 140 11900 83300 | 2147483647 62653 44 | 0.005 % |
670.21/670.63 c | 1198776 | 140 11900 83300 | 2147483647 62865 44 | 0.005 % |
670.31/670.79 c | 1199009 | 140 11900 83300 | 2147483647 63098 44 | 0.005 % |
670.61/671.02 c | 1199265 | 140 11900 83300 | 2147483647 63354 44 | 0.005 % |
670.81/671.22 c | 1199548 | 140 11900 83300 | 2147483647 63637 44 | 0.005 % |
671.01/671.48 c | 1199857 | 140 11900 83300 | 2147483647 63946 44 | 0.005 % |
671.31/671.79 c | 1200197 | 140 11900 83300 | 64090 55453 44 | 0.005 % |
671.61/672.03 c | 1200570 | 140 11900 83300 | 64090 55826 44 | 0.005 % |
671.91/672.33 c | 1200979 | 140 11900 83300 | 64090 56235 44 | 0.005 % |
672.21/672.60 c | 1201429 | 140 11900 83300 | 64090 56685 44 | 0.005 % |
672.41/672.88 c | 1201923 | 140 11900 83300 | 64090 57179 44 | 0.005 % |
672.81/673.24 c | 1202465 | 140 11900 83300 | 64090 57721 44 | 0.005 % |
673.10/673.60 c | 1203063 | 140 11900 83300 | 64090 58319 44 | 0.005 % |
673.70/674.10 c | 1203718 | 140 11900 83300 | 64090 58974 44 | 0.005 % |
674.10/674.53 c | 1204438 | 140 11900 83300 | 64090 59694 44 | 0.005 % |
674.60/675.02 c | 1205232 | 140 11900 83300 | 64090 60488 44 | 0.005 % |
675.10/675.57 c | 1206103 | 140 11900 83300 | 64090 61359 44 | 0.005 % |
675.60/676.06 c | 1207061 | 140 11900 83300 | 64090 62317 44 | 0.005 % |
676.40/676.83 c | 1208116 | 140 11900 83300 | 64090 63372 44 | 0.005 % |
677.30/677.72 c | 1209276 | 140 11900 83300 | 64090 54277 44 | 0.005 % |
678.00/678.48 c | 1210550 | 140 11900 83300 | 55001 46789 44 | 0.005 % |
678.80/679.23 c | 1211951 | 140 11900 83300 | 55001 48190 44 | 0.005 % |
679.60/680.07 c | 1213492 | 140 11900 83300 | 55001 49731 44 | 0.005 % |
680.60/681.01 c | 1215187 | 140 11900 83300 | 55001 51426 44 | 0.005 % |
681.50/681.97 c | 1217053 | 140 11900 83300 | 55001 53292 44 | 0.005 % |
682.80/683.25 c | 1219103 | 140 11900 83300 | 55001 48584 44 | 0.005 % |
683.90/684.35 c | 1221357 | 140 11900 83300 | 49481 44960 44 | 0.005 % |
685.00/685.44 c | 1223836 | 140 11900 83300 | 49481 47439 44 | 0.005 % |
686.30/686.77 c | 1226562 | 140 11900 83300 | 49481 45211 44 | 0.005 % |
687.90/688.32 c | 1229559 | 140 11900 83300 | 49481 48208 44 | 0.005 % |
689.79/690.24 c | 1232856 | 140 11900 83300 | 2147483647 51505 44 | 0.005 % |
691.69/692.13 c | 1236485 | 140 11900 83300 | 2147483647 55134 44 | 0.005 % |
693.99/694.41 c | 1240472 | 140 11900 83300 | 58649 52559 44 | 0.005 % |
696.49/696.95 c | 1244858 | 140 11900 83300 | 58649 56945 44 | 0.005 % |
699.29/699.77 c | 1249682 | 140 11900 83300 | 58649 54286 44 | 0.005 % |
701.99/702.42 c | 1254987 | 140 11900 83300 | 54605 52761 45 | 0.005 % |
705.09/705.58 c | 1260822 | 140 11900 83300 | 2147483647 52933 45 | 0.005 % |
708.69/709.18 c | 1267241 | 140 11900 83300 | 2147483647 59352 44 | 0.005 % |
712.99/713.43 c | 1274300 | 140 11900 83300 | 62111 58723 44 | 0.005 % |
717.49/717.95 c | 1282064 | 140 11900 83300 | 56150 50997 44 | 0.005 % |
721.89/722.31 c | 1290604 | 140 11900 83300 | 52270 46803 44 | 0.005 % |
726.48/726.91 c | 1299998 | 140 11900 83300 | 52270 50964 44 | 0.005 % |
732.27/732.78 c | 1310331 | 140 11900 83300 | 60969 54120 44 | 0.005 % |
739.17/739.65 c | 1321698 | 140 11900 83300 | 55204 49347 44 | 0.005 % |
739.27/739.71 c | 1321798 | 140 11900 83300 | 55204 49447 44 | 0.005 % |
739.27/739.77 c | 1321908 | 140 11900 83300 | 55204 49557 44 | 0.005 % |
739.37/739.84 c | 1322029 | 140 11900 83300 | 55204 49678 44 | 0.005 % |
739.47/739.93 c | 1322162 | 140 11900 83300 | 55204 49811 44 | 0.005 % |
739.57/740.02 c | 1322311 | 140 11900 83300 | 55204 49960 44 | 0.005 % |
739.67/740.11 c | 1322471 | 140 11900 83300 | 55204 50120 44 | 0.005 % |
739.67/740.20 c | 1322648 | 140 11900 83300 | 55204 50297 44 | 0.005 % |
739.78/740.29 c | 1322841 | 140 11900 83300 | 55204 50490 44 | 0.005 % |
739.97/740.40 c | 1323054 | 140 11900 83300 | 55204 50703 44 | 0.005 % |
740.07/740.56 c | 1323287 | 140 11900 83300 | 55204 50936 44 | 0.005 % |
740.27/740.70 c | 1323543 | 140 11900 83300 | 55204 51192 44 | 0.005 % |
740.37/740.87 c | 1323824 | 140 11900 83300 | 55204 51473 44 | 0.005 % |
740.57/741.05 c | 1324133 | 140 11900 83300 | 55204 51782 44 | 0.005 % |
740.77/741.24 c | 1324472 | 140 11900 83300 | 55204 52121 44 | 0.005 % |
740.97/741.46 c | 1324847 | 140 11900 83300 | 55204 52496 44 | 0.005 % |
741.27/741.73 c | 1325257 | 140 11900 83300 | 55204 52906 44 | 0.005 % |
741.47/742.00 c | 1325708 | 140 11900 83300 | 55204 53357 44 | 0.005 % |
741.77/742.28 c | 1326201 | 140 11900 83300 | 55204 53850 44 | 0.005 % |
742.17/742.62 c | 1326744 | 140 11900 83300 | 55204 54393 44 | 0.005 % |
742.47/742.95 c | 1327341 | 140 11900 83300 | 55204 54990 44 | 0.005 % |
742.87/743.37 c | 1327998 | 140 11900 83300 | 55204 49003 44 | 0.005 % |
743.27/743.75 c | 1328720 | 140 11900 83300 | 55204 49725 44 | 0.005 % |
743.76/744.21 c | 1329512 | 140 11900 83300 | 55204 50517 44 | 0.005 % |
744.27/744.77 c | 1330383 | 140 11900 83300 | 51006 45401 44 | 0.005 % |
744.76/745.25 c | 1331341 | 140 11900 83300 | 51006 46359 44 | 0.005 % |
745.37/745.81 c | 1332395 | 140 11900 83300 | 51006 47413 44 | 0.005 % |
745.96/746.45 c | 1333553 | 140 11900 83300 | 51006 48571 44 | 0.005 % |
746.66/747.17 c | 1334827 | 140 11900 83300 | 51006 49845 44 | 0.005 % |
747.47/747.94 c | 1336227 | 140 11900 83300 | 51006 46138 44 | 0.005 % |
748.06/748.59 c | 1337769 | 140 11900 83300 | 51006 47680 44 | 0.005 % |
748.86/749.36 c | 1339463 | 140 11900 83300 | 51006 49374 44 | 0.005 % |
749.77/750.27 c | 1341326 | 140 11900 83300 | 2147483647 51237 44 | 0.005 % |
750.76/751.26 c | 1343377 | 140 11900 83300 | 2147483647 53288 44 | 0.005 % |
751.96/752.47 c | 1345633 | 140 11900 83300 | 2147483647 55544 44 | 0.005 % |
753.36/753.81 c | 1348111 | 140 11900 83300 | 2147483647 58022 44 | 0.005 % |
754.96/755.42 c | 1350836 | 140 11900 83300 | 2147483647 60747 44 | 0.005 % |
756.66/757.11 c | 1353835 | 140 11900 83300 | 2147483647 63746 44 | 0.005 % |
758.86/759.36 c | 1357131 | 140 11900 83300 | 2147483647 67042 44 | 0.005 % |
761.46/761.94 c | 1360756 | 140 11900 83300 | 69912 59579 44 | 0.005 % |
763.86/764.32 c | 1364743 | 140 11900 83300 | 69912 63566 44 | 0.005 % |
766.56/767.01 c | 1369128 | 140 11900 83300 | 69912 67951 44 | 0.005 % |
769.66/770.18 c | 1373951 | 140 11900 83300 | 68824 61045 44 | 0.005 % |
773.15/773.61 c | 1379256 | 140 11900 83300 | 68824 66350 44 | 0.005 % |
776.85/777.36 c | 1385093 | 140 11900 83300 | 67094 60919 44 | 0.005 % |
781.05/781.54 c | 1391511 | 140 11900 83300 | 65826 55679 44 | 0.005 % |
784.95/785.46 c | 1398571 | 140 11900 83300 | 65826 62739 44 | 0.005 % |
789.84/790.30 c | 1406336 | 140 11900 83300 | 64168 60299 44 | 0.005 % |
795.34/795.89 c | 1414876 | 140 11900 83300 | 63963 58596 44 | 0.005 % |
801.24/801.75 c | 1424271 | 140 11900 83300 | 63720 57701 44 | 0.005 % |
807.34/807.83 c | 1434605 | 140 11900 83300 | 63430 58352 44 | 0.005 % |
813.44/813.96 c | 1445972 | 140 11900 83300 | 54837 53204 44 | 0.005 % |
820.33/820.87 c | 1458474 | 140 11900 83300 | 2147483647 60216 44 | 0.005 % |
820.43/820.95 c | 1458575 | 140 11900 83300 | 2147483647 60317 44 | 0.005 % |
820.53/821.03 c | 1458685 | 140 11900 83300 | 2147483647 60427 44 | 0.005 % |
820.63/821.11 c | 1458806 | 140 11900 83300 | 2147483647 60548 44 | 0.005 % |
820.73/821.20 c | 1458942 | 140 11900 83300 | 2147483647 60684 44 | 0.005 % |
820.83/821.31 c | 1459088 | 140 11900 83300 | 2147483647 60830 44 | 0.005 % |
820.93/821.42 c | 1459248 | 140 11900 83300 | 2147483647 60990 44 | 0.005 % |
821.03/821.56 c | 1459427 | 140 11900 83300 | 2147483647 61169 44 | 0.005 % |
821.13/821.69 c | 1459620 | 140 11900 83300 | 2147483647 61362 44 | 0.005 % |
821.33/821.84 c | 1459834 | 140 11900 83300 | 2147483647 61576 44 | 0.005 % |
821.43/821.99 c | 1460067 | 140 11900 83300 | 61745 61809 44 | 0.005 % |
821.73/822.23 c | 1460326 | 140 11900 83300 | 61745 54472 44 | 0.005 % |
821.93/822.43 c | 1460607 | 140 11900 83300 | 61745 54753 44 | 0.005 % |
822.13/822.61 c | 1460917 | 140 11900 83300 | 61745 55063 44 | 0.005 % |
822.33/822.82 c | 1461256 | 140 11900 83300 | 61745 55402 44 | 0.005 % |
822.53/823.02 c | 1461629 | 140 11900 83300 | 61745 55775 44 | 0.005 % |
822.73/823.23 c | 1462039 | 140 11900 83300 | 61745 56185 44 | 0.005 % |
823.03/823.52 c | 1462489 | 140 11900 83300 | 61745 56635 44 | 0.005 % |
823.23/823.79 c | 1462982 | 140 11900 83300 | 61745 57128 44 | 0.005 % |
823.63/824.14 c | 1463525 | 140 11900 83300 | 61745 57671 44 | 0.005 % |
824.03/824.56 c | 1464122 | 140 11900 83300 | 61745 58268 44 | 0.005 % |
824.53/825.00 c | 1464778 | 140 11900 83300 | 61745 58924 44 | 0.005 % |
824.93/825.49 c | 1465499 | 140 11900 83300 | 61745 59645 44 | 0.005 % |
825.53/826.02 c | 1466292 | 140 11900 83300 | 61745 60438 44 | 0.005 % |
826.03/826.57 c | 1467164 | 140 11900 83300 | 61745 61310 44 | 0.005 % |
826.63/827.17 c | 1468122 | 140 11900 83300 | 61745 53591 44 | 0.005 % |
827.33/827.80 c | 1469175 | 140 11900 83300 | 61745 54644 44 | 0.005 % |
828.03/828.53 c | 1470334 | 140 11900 83300 | 55469 48233 43 | 0.005 % |
828.73/829.21 c | 1471607 | 140 11900 83300 | 55469 49506 43 | 0.005 % |
829.42/829.90 c | 1473007 | 140 11900 83300 | 55469 50906 43 | 0.005 % |
830.22/830.70 c | 1474547 | 140 11900 83300 | 55469 52446 43 | 0.005 % |
831.13/831.69 c | 1476242 | 140 11900 83300 | 55469 54141 43 | 0.005 % |
832.23/832.74 c | 1478105 | 140 11900 83300 | 55469 49445 43 | 0.005 % |
833.33/833.82 c | 1480154 | 140 11900 83300 | 51342 45738 43 | 0.005 % |
834.33/834.89 c | 1482408 | 140 11900 83300 | 51342 47992 44 | 0.005 % |
835.53/836.09 c | 1484887 | 140 11900 83300 | 51342 50471 44 | 0.005 % |
836.92/837.49 c | 1487613 | 140 11900 83300 | 51342 48057 44 | 0.005 % |
838.62/839.12 c | 1490612 | 140 11900 83300 | 2147483647 51056 44 | 0.005 % |
840.32/840.83 c | 1493911 | 140 11900 83300 | 2147483647 54355 44 | 0.005 % |
842.32/842.83 c | 1497537 | 140 11900 83300 | 2147483647 57981 44 | 0.005 % |
844.82/845.36 c | 1501524 | 140 11900 83300 | 60444 54565 44 | 0.005 % |
847.22/847.78 c | 1505909 | 140 11900 83300 | 60444 58950 44 | 0.005 % |
850.02/850.53 c | 1510732 | 140 11900 83300 | 55082 48852 44 | 0.005 % |
852.72/853.21 c | 1516040 | 140 11900 83300 | 55082 54160 44 | 0.005 % |
855.72/856.21 c | 1521876 | 140 11900 83300 | 52495 48961 44 | 0.005 % |
859.02/859.55 c | 1528294 | 140 11900 83300 | 52495 50123 44 | 0.005 % |
862.92/863.42 c | 1535354 | 140 11900 83300 | 2147483647 57183 44 | 0.005 % |
867.32/867.89 c | 1543118 | 140 11900 83300 | 61829 57811 44 | 0.005 % |
872.21/872.73 c | 1551658 | 140 11900 83300 | 56168 50267 44 | 0.005 % |
876.91/877.40 c | 1561053 | 140 11900 83300 | 52725 48420 44 | 0.005 % |
881.81/882.36 c | 1571389 | 140 11900 83300 | 2147483647 53478 44 | 0.005 % |
888.31/888.84 c | 1582755 | 140 11900 83300 | 62089 57430 45 | 0.005 % |
895.40/895.94 c | 1595257 | 140 11900 83300 | 56272 54044 45 | 0.005 % |
903.10/903.61 c | 1609009 | 140 11900 83300 | 52165 50102 45 | 0.005 % |
903.10/903.68 c | 1609111 | 140 11900 83300 | 52165 50204 45 | 0.005 % |
903.20/903.75 c | 1609221 | 140 11900 83300 | 52165 50314 45 | 0.005 % |
903.30/903.83 c | 1609342 | 140 11900 83300 | 52165 50435 45 | 0.005 % |
903.40/903.91 c | 1609475 | 140 11900 83300 | 52165 50568 45 | 0.005 % |
903.50/904.01 c | 1609623 | 140 11900 83300 | 52165 50716 45 | 0.005 % |
903.50/904.09 c | 1609783 | 140 11900 83300 | 52165 50876 45 | 0.005 % |
903.60/904.20 c | 1609960 | 140 11900 83300 | 52165 51053 45 | 0.005 % |
903.80/904.32 c | 1610154 | 140 11900 83300 | 2147483647 51247 45 | 0.005 % |
903.90/904.45 c | 1610366 | 140 11900 83300 | 2147483647 51459 45 | 0.005 % |
904.00/904.59 c | 1610599 | 140 11900 83300 | 2147483647 51692 45 | 0.005 % |
904.20/904.77 c | 1610855 | 140 11900 83300 | 2147483647 51948 45 | 0.005 % |
904.40/904.94 c | 1611136 | 140 11900 83300 | 2147483647 52229 45 | 0.005 % |
904.60/905.13 c | 1611445 | 140 11900 83300 | 2147483647 52538 45 | 0.005 % |
904.80/905.34 c | 1611785 | 140 11900 83300 | 2147483647 52878 45 | 0.005 % |
905.00/905.55 c | 1612157 | 140 11900 83300 | 2147483647 53250 45 | 0.005 % |
905.20/905.77 c | 1612567 | 140 11900 83300 | 2147483647 53660 45 | 0.005 % |
905.60/906.11 c | 1613016 | 140 11900 83300 | 2147483647 54109 45 | 0.005 % |
905.90/906.45 c | 1613511 | 140 11900 83300 | 2147483647 54604 45 | 0.005 % |
906.29/906.84 c | 1614054 | 140 11900 83300 | 2147483647 55147 45 | 0.005 % |
906.69/907.25 c | 1614653 | 140 11900 83300 | 2147483647 55746 45 | 0.005 % |
907.09/907.68 c | 1615309 | 140 11900 83300 | 2147483647 56402 45 | 0.005 % |
907.59/908.16 c | 1616030 | 140 11900 83300 | 2147483647 57123 45 | 0.005 % |
908.19/908.70 c | 1616823 | 140 11900 83300 | 2147483647 57916 45 | 0.005 % |
908.69/909.28 c | 1617694 | 140 11900 83300 | 2147483647 58787 45 | 0.005 % |
909.39/909.94 c | 1618653 | 140 11900 83300 | 2147483647 59746 45 | 0.005 % |
910.09/910.64 c | 1619706 | 140 11900 83300 | 2147483647 60799 45 | 0.005 % |
910.89/911.44 c | 1620866 | 140 11900 83300 | 61093 53297 45 | 0.005 % |
911.59/912.14 c | 1622139 | 140 11900 83300 | 61093 54570 45 | 0.005 % |
912.29/912.89 c | 1623539 | 140 11900 83300 | 61093 55970 45 | 0.005 % |
913.39/913.91 c | 1625081 | 140 11900 83300 | 61093 57512 45 | 0.005 % |
914.49/915.09 c | 1626775 | 140 11900 83300 | 61093 59206 45 | 0.005 % |
915.69/916.25 c | 1628638 | 140 11900 83300 | 61093 61069 45 | 0.005 % |
916.79/917.36 c | 1630690 | 140 11900 83300 | 53694 46928 44 | 0.005 % |
917.89/918.45 c | 1632943 | 140 11900 83300 | 53694 49181 44 | 0.005 % |
919.19/919.78 c | 1635421 | 140 11900 83300 | 53694 51659 44 | 0.005 % |
920.79/921.37 c | 1638146 | 140 11900 83300 | 53694 48855 44 | 0.005 % |
922.39/922.91 c | 1641143 | 140 11900 83300 | 2147483647 51852 44 | 0.005 % |
924.19/924.74 c | 1644442 | 140 11900 83300 | 2147483647 55151 44 | 0.005 % |
926.29/926.89 c | 1648067 | 140 11900 83300 | 2147483647 58776 44 | 0.005 % |
928.99/929.51 c | 1652054 | 140 11900 83300 | 60710 54789 44 | 0.005 % |
931.49/932.05 c | 1656439 | 140 11900 83300 | 60710 59174 44 | 0.005 % |
934.29/934.83 c | 1661263 | 140 11900 83300 | 54181 48082 44 | 0.005 % |
936.89/937.41 c | 1666568 | 140 11900 83300 | 54181 53387 44 | 0.005 % |
939.99/940.50 c | 1672403 | 140 11900 83300 | 2147483647 53798 44 | 0.005 % |
943.58/944.15 c | 1678823 | 140 11900 83300 | 2147483647 60218 44 | 0.005 % |
947.38/947.92 c | 1685884 | 140 11900 83300 | 61395 59737 44 | 0.005 % |
951.57/952.10 c | 1693649 | 140 11900 83300 | 55914 52469 44 | 0.005 % |
955.77/956.35 c | 1702189 | 140 11900 83300 | 52869 49649 44 | 0.005 % |
960.87/961.45 c | 1711583 | 140 11900 83300 | 2147483647 53750 44 | 0.005 % |
966.57/967.16 c | 1721917 | 140 11900 83300 | 62168 55192 44 | 0.005 % |
972.67/973.23 c | 1733286 | 140 11900 83300 | 54236 49843 44 | 0.005 % |
979.27/979.82 c | 1745788 | 140 11900 83300 | 2147483647 56916 45 | 0.005 % |
986.76/987.37 c | 1759540 | 140 11900 83300 | 61130 56460 44 | 0.005 % |
994.36/994.93 c | 1774668 | 140 11900 83300 | 53052 51310 44 | 0.005 % |
994.36/994.98 c | 1774768 | 140 11900 83300 | 53052 51410 44 | 0.005 % |
994.46/995.04 c | 1774878 | 140 11900 83300 | 53052 51520 44 | 0.005 % |
994.56/995.11 c | 1775000 | 140 11900 83300 | 53052 51642 44 | 0.005 % |
994.66/995.20 c | 1775135 | 140 11900 83300 | 53052 51777 44 | 0.005 % |
994.66/995.29 c | 1775282 | 140 11900 83300 | 53052 51924 44 | 0.005 % |
994.76/995.38 c | 1775442 | 140 11900 83300 | 53052 52084 44 | 0.005 % |
994.86/995.49 c | 1775618 | 140 11900 83300 | 53052 52260 44 | 0.005 % |
994.96/995.59 c | 1775811 | 140 11900 83300 | 53052 52453 44 | 0.005 % |
995.16/995.71 c | 1776023 | 140 11900 83300 | 53052 52665 44 | 0.005 % |
995.26/995.88 c | 1776256 | 140 11900 83300 | 53052 52898 44 | 0.005 % |
995.56/996.11 c | 1776513 | 140 11900 83300 | 53052 47203 44 | 0.005 % |
995.66/996.27 c | 1776795 | 140 11900 83300 | 53052 47485 44 | 0.005 % |
995.86/996.45 c | 1777104 | 140 11900 83300 | 53052 47794 44 | 0.005 % |
996.06/996.62 c | 1777443 | 140 11900 83300 | 53052 48133 44 | 0.005 % |
996.25/996.85 c | 1777816 | 140 11900 83300 | 53052 48506 44 | 0.005 % |
996.55/997.11 c | 1778225 | 140 11900 83300 | 53052 48915 44 | 0.005 % |
996.75/997.38 c | 1778674 | 140 11900 83300 | 53052 49364 44 | 0.005 % |
997.06/997.69 c | 1779167 | 140 11900 83300 | 53052 49857 44 | 0.005 % |
997.35/997.98 c | 1779709 | 140 11900 83300 | 53052 50399 44 | 0.005 % |
997.75/998.35 c | 1780305 | 140 11900 83300 | 50692 45515 44 | 0.005 % |
998.05/998.65 c | 1780960 | 140 11900 83300 | 50692 46170 44 | 0.005 % |
998.35/998.99 c | 1781681 | 140 11900 83300 | 50692 46891 44 | 0.005 % |
998.75/999.31 c | 1782474 | 140 11900 83300 | 50692 47684 44 | 0.005 % |
999.15/999.74 c | 1783346 | 140 11900 83300 | 50692 48556 44 | 0.005 % |
999.65/1000.21 c | 1784304 | 140 11900 83300 | 50692 49514 44 | 0.005 % |
1000.15/1000.75 c | 1785358 | 140 11900 83300 | 50692 50568 44 | 0.005 % |
1000.75/1001.39 c | 1786516 | 140 11900 83300 | 50692 46651 44 | 0.005 % |
1001.55/1002.11 c | 1787789 | 140 11900 83300 | 50692 47924 44 | 0.005 % |
1002.25/1002.85 c | 1789189 | 140 11900 83300 | 50692 49324 44 | 0.005 % |
1003.05/1003.62 c | 1790731 | 140 11900 83300 | 2147483647 50866 44 | 0.005 % |
1004.05/1004.62 c | 1792426 | 140 11900 83300 | 2147483647 52561 44 | 0.005 % |
1005.05/1005.60 c | 1794290 | 140 11900 83300 | 2147483647 54425 44 | 0.005 % |
1006.25/1006.86 c | 1796341 | 140 11900 83300 | 2147483647 56476 44 | 0.005 % |
1007.75/1008.31 c | 1798594 | 140 11900 83300 | 2147483647 58729 44 | 0.005 % |
1009.55/1010.15 c | 1801074 | 140 11900 83300 | 60135 53573 44 | 0.005 % |
1011.25/1011.82 c | 1803801 | 140 11900 83300 | 60135 56300 44 | 0.005 % |
1012.95/1013.57 c | 1806798 | 140 11900 83300 | 60135 59297 44 | 0.005 % |
1015.15/1015.76 c | 1810094 | 140 11900 83300 | 54101 46610 44 | 0.005 % |
1017.35/1017.90 c | 1813719 | 140 11900 83300 | 54101 50235 44 | 0.005 % |
1019.45/1020.07 c | 1817708 | 140 11900 83300 | 54101 48051 43 | 0.005 % |
1021.75/1022.31 c | 1822096 | 140 11900 83300 | 50344 46932 43 | 0.005 % |
1024.14/1024.73 c | 1826921 | 140 11900 83300 | 50344 46716 44 | 0.005 % |
1026.75/1027.33 c | 1832226 | 140 11900 83300 | 2147483647 52021 44 | 0.005 % |
1029.94/1030.54 c | 1838061 | 140 11900 83300 | 2147483647 57856 44 | 0.005 % |
1033.84/1034.47 c | 1844483 | 140 11900 83300 | 59798 57697 44 | 0.005 % |
1038.04/1038.60 c | 1851542 | 140 11900 83300 | 55514 50132 44 | 0.005 % |
1043.03/1043.69 c | 1859306 | 140 11900 83300 | 55514 50961 44 | 0.005 % |
1047.64/1048.30 c | 1867846 | 140 11900 83300 | 51655 48053 44 | 0.005 % |
1052.93/1053.52 c | 1877240 | 140 11900 83300 | 2147483647 57447 44 | 0.005 % |
1059.73/1060.31 c | 1887573 | 140 11900 83300 | 60208 53265 44 | 0.005 % |
1066.13/1066.70 c | 1898939 | 140 11900 83300 | 55692 50210 44 | 0.005 % |
1072.52/1073.11 c | 1911443 | 140 11900 83300 | 2147483647 51098 44 | 0.005 % |
1080.32/1080.91 c | 1925195 | 140 11900 83300 | 59655 58186 44 | 0.005 % |
1090.22/1090.88 c | 1940322 | 140 11900 83300 | 50982 44983 44 | 0.005 % |
1099.51/1100.15 c | 1956961 | 140 11900 83300 | 2147483647 56518 44 | 0.005 % |
1099.61/1100.22 c | 1957064 | 140 11900 83300 | 2147483647 56621 44 | 0.005 % |
1099.71/1100.31 c | 1957175 | 140 11900 83300 | 2147483647 56732 44 | 0.005 % |
1099.81/1100.40 c | 1957297 | 140 11900 83300 | 2147483647 56854 44 | 0.005 % |
1099.81/1100.48 c | 1957431 | 140 11900 83300 | 2147483647 56988 44 | 0.005 % |
1099.91/1100.57 c | 1957577 | 140 11900 83300 | 2147483647 57134 44 | 0.005 % |
1100.01/1100.68 c | 1957739 | 140 11900 83300 | 2147483647 57296 44 | 0.005 % |
1100.21/1100.80 c | 1957918 | 140 11900 83300 | 2147483647 57475 44 | 0.005 % |
1100.31/1100.95 c | 1958111 | 140 11900 83300 | 2147483647 57668 44 | 0.005 % |
1100.41/1101.08 c | 1958323 | 140 11900 83300 | 2147483647 57880 44 | 0.005 % |
1100.61/1101.23 c | 1958559 | 140 11900 83300 | 2147483647 58116 44 | 0.005 % |
1100.81/1101.43 c | 1958815 | 140 11900 83300 | 2147483647 58372 44 | 0.005 % |
1101.01/1101.63 c | 1959096 | 140 11900 83300 | 2147483647 58653 44 | 0.005 % |
1101.21/1101.83 c | 1959405 | 140 11900 83300 | 2147483647 58962 44 | 0.005 % |
1101.41/1102.07 c | 1959745 | 140 11900 83300 | 2147483647 59302 44 | 0.005 % |
1101.81/1102.40 c | 1960117 | 140 11900 83300 | 59559 52412 44 | 0.005 % |
1102.01/1102.66 c | 1960526 | 140 11900 83300 | 59559 52821 44 | 0.005 % |
1102.41/1103.02 c | 1960977 | 140 11900 83300 | 59559 53272 44 | 0.005 % |
1102.61/1103.30 c | 1961472 | 140 11900 83300 | 59559 53767 44 | 0.005 % |
1103.01/1103.65 c | 1962014 | 140 11900 83300 | 59559 54309 44 | 0.005 % |
1103.41/1104.05 c | 1962610 | 140 11900 83300 | 59559 54905 44 | 0.005 % |
1103.81/1104.49 c | 1963266 | 140 11900 83300 | 59559 55561 44 | 0.005 % |
1104.31/1104.94 c | 1963987 | 140 11900 83300 | 59559 56282 44 | 0.005 % |
1104.71/1105.34 c | 1964781 | 140 11900 83300 | 59559 57076 44 | 0.005 % |
1105.21/1105.86 c | 1965652 | 140 11900 83300 | 59559 57947 44 | 0.005 % |
1105.71/1106.39 c | 1966611 | 140 11900 83300 | 59559 58906 44 | 0.005 % |
1106.41/1107.04 c | 1967665 | 140 11900 83300 | 59559 51963 44 | 0.005 % |
1107.01/1107.65 c | 1968823 | 140 11900 83300 | 59559 53121 44 | 0.005 % |
1107.81/1108.46 c | 1970097 | 140 11900 83300 | 54298 47159 44 | 0.005 % |
1108.51/1109.18 c | 1971499 | 140 11900 83300 | 54298 48561 44 | 0.005 % |
1109.31/1109.95 c | 1973039 | 140 11900 83300 | 54298 50101 44 | 0.005 % |
1110.11/1110.73 c | 1974736 | 140 11900 83300 | 54298 51798 44 | 0.005 % |
1111.21/1111.80 c | 1976599 | 140 11900 83300 | 54298 53661 44 | 0.005 % |
1112.41/1113.06 c | 1978649 | 140 11900 83300 | 54298 49622 44 | 0.005 % |
1113.61/1114.22 c | 1980902 | 140 11900 83300 | 50973 46325 44 | 0.005 % |
1114.81/1115.45 c | 1983381 | 140 11900 83300 | 50973 48804 44 | 0.005 % |
1116.31/1116.91 c | 1986106 | 140 11900 83300 | 50973 46425 44 | 0.005 % |
1117.61/1118.28 c | 1989103 | 140 11900 83300 | 50973 49422 44 | 0.005 % |
1119.30/1119.97 c | 1992400 | 140 11900 83300 | 2147483647 52719 44 | 0.005 % |
1121.31/1121.96 c | 1996025 | 140 11900 83300 | 2147483647 56344 44 | 0.005 % |
1123.80/1124.40 c | 2000012 | 140 11900 83300 | 60320 60331 44 | 0.005 % |
1126.40/1127.06 c | 2004397 | 140 11900 83300 | 60320 57613 44 | 0.005 % |
1129.11/1129.72 c | 2009220 | 140 11900 83300 | 60320 54348 44 | 0.005 % |
1131.49/1132.17 c | 2014526 | 140 11900 83300 | 55131 52676 44 | 0.005 % |
1134.69/1135.36 c | 2020361 | 140 11900 83300 | 52592 47632 44 | 0.005 % |
1137.69/1138.30 c | 2026779 | 140 11900 83300 | 52592 48785 44 | 0.005 % |
1141.59/1142.22 c | 2033838 | 140 11900 83300 | 2147483647 55844 44 | 0.005 % |
1146.29/1146.90 c | 2041602 | 140 11900 83300 | 62006 55925 44 | 0.005 % |
1151.39/1152.04 c | 2050142 | 140 11900 83300 | 56247 49146 44 | 0.005 % |
1156.69/1157.37 c | 2059536 | 140 11900 83300 | 56247 52002 44 | 0.005 % |
1161.59/1162.29 c | 2069870 | 140 11900 83300 | 52466 51116 44 | 0.005 % |
1167.68/1168.35 c | 2081238 | 140 11900 83300 | 61246 55353 44 | 0.005 % |
1174.28/1174.91 c | 2093741 | 140 11900 83300 | 56956 54271 44 | 0.005 % |
1181.67/1182.40 c | 2107495 | 140 11900 83300 | 2147483647 62216 44 | 0.005 % |
1191.38/1192.03 c | 2122625 | 140 11900 83300 | 55619 49584 44 | 0.005 % |
1200.08/1200.70 HOME/SatELiteGTI: line 36: 32188 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-1832621-1242785173/watcher-1832621-1242785173 -o /tmp/evaluation-result-1832621-1242785173/solver-1832621-1242785173 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832621-1242785173.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 0.99 3/65 32182
/proc/meminfo: memFree=1817520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306546431 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/32182/statm: 1339 235 195 169 0 50 0
[pid=32183] ppid=32182 vsize=5356 CPUtime=0
/proc/32183/stat : 32183 (SatELiteGTI) S 32182 32182 31590 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306546431 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/32183/statm: 1339 238 198 169 0 50 0
[pid=32185] ppid=32183 vsize=5356 CPUtime=0
/proc/32185/stat : 32185 (SatELiteGTI) R 32183 32182 31590 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187162919 0 0 4096 0 0 0 0 17 1 0 0
/proc/32185/statm: 1339 239 199 169 0 50 0
[startup+0.0442989 s]
/proc/loadavg: 1.00 1.00 0.99 3/65 32182
/proc/meminfo: memFree=1817520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306546431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32182/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101286 s]
/proc/loadavg: 1.00 1.00 0.99 3/65 32182
/proc/meminfo: memFree=1817520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301308 s]
/proc/loadavg: 1.00 1.00 0.99 3/65 32182
/proc/meminfo: memFree=1817520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701354 s]
/proc/loadavg: 1.00 1.00 0.99 3/65 32182
/proc/meminfo: memFree=1817520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 32188
/proc/meminfo: memFree=1814624/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=4676 CPUtime=1.44
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 888 0 0 0 144 0 0 0 25 0 1 0 306546436 4788224 874 1992294400 134512640 135215339 4294956240 18446744073709551615 134537957 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 1169 874 76 171 0 996 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10032
[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 32188
/proc/meminfo: memFree=1812640/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=6592 CPUtime=3.03
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 1370 0 0 0 303 0 0 0 25 0 1 0 306546436 6750208 1356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 1648 1356 76 171 0 1475 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11948
[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 32188
/proc/meminfo: memFree=1809632/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=9000 CPUtime=6.23
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 1973 0 0 0 622 1 0 0 25 0 1 0 306546436 9216000 1959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 2250 1959 76 171 0 2077 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14356
[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 32188
/proc/meminfo: memFree=1806112/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=12256 CPUtime=12.62
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 2775 0 0 0 1261 1 0 0 25 0 1 0 306546436 12550144 2761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 3064 2761 76 171 0 2891 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17612
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.99 2/67 32188
/proc/meminfo: memFree=1801824/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=16352 CPUtime=25.41
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 3789 0 0 0 2539 2 0 0 25 0 1 0 306546436 16744448 3775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4088 3775 76 171 0 3915 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21708
[startup+51.1011 s]
/proc/loadavg: 1.08 1.02 1.00 2/67 32188
/proc/meminfo: memFree=1801632/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=16484 CPUtime=50.99
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 3812 0 0 0 5097 2 0 0 25 0 1 0 306546436 16879616 3798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32188/statm: 4121 3798 76 171 0 3948 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21840
[startup+102.306 s]
/proc/loadavg: 1.11 1.03 1.01 2/67 32188
/proc/meminfo: memFree=1801440/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=16484 CPUtime=102.16
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 3813 0 0 0 10213 3 0 0 25 0 1 0 306546436 16879616 3799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4121 3799 76 171 0 3948 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 21840
[startup+162.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/67 32188
/proc/meminfo: memFree=1801248/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=16484 CPUtime=162.12
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 3833 0 0 0 16209 3 0 0 25 0 1 0 306546436 16879616 3819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4121 3819 76 171 0 3948 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 21840
[startup+222.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/67 32188
/proc/meminfo: memFree=1800736/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=17020 CPUtime=222.09
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 3944 0 0 0 22205 4 0 0 25 0 1 0 306546436 17428480 3930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4255 3930 76 171 0 4082 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 22376
[startup+282.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/67 32188
/proc/meminfo: memFree=1798816/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=18748 CPUtime=282.05
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4389 0 0 0 28201 4 0 0 25 0 1 0 306546436 19197952 4375 1992294400 134512640 135215339 4294956240 18446744073709551615 134539776 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4687 4375 76 171 0 4514 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 24104
[startup+342.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/67 32188
/proc/meminfo: memFree=1798696/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=18748 CPUtime=342.03
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4389 0 0 0 34198 5 0 0 25 0 1 0 306546436 19197952 4375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4687 4375 76 171 0 4514 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 24104
[startup+402.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/67 32188
/proc/meminfo: memFree=1798248/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19012 CPUtime=402
################
# More data... #
################
[pid=32188] ppid=32182 vsize=19012 CPUtime=521.92
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4470 0 0 0 52187 5 0 0 25 0 1 0 306546436 19468288 4456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4753 4456 76 171 0 4580 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 24368
[startup+582.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/67 32188
/proc/meminfo: memFree=1797992/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19012 CPUtime=581.91
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4470 0 0 0 58185 6 0 0 25 0 1 0 306546436 19468288 4456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4753 4456 76 171 0 4580 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 24368
[startup+642.302 s]
/proc/loadavg: 1.06 1.06 1.00 2/67 32188
/proc/meminfo: memFree=1797864/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19012 CPUtime=641.89
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4470 0 0 0 64183 6 0 0 25 0 1 0 306546436 19468288 4456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4753 4456 76 171 0 4580 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 24368
[startup+702.301 s]
/proc/loadavg: 1.10 1.08 1.01 2/67 32188
/proc/meminfo: memFree=1797736/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19012 CPUtime=701.86
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4470 0 0 0 70180 6 0 0 25 0 1 0 306546436 19468288 4456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4753 4456 76 171 0 4580 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 24368
[startup+762.305 s]
/proc/loadavg: 1.20 1.10 1.02 2/67 32188
/proc/meminfo: memFree=1796968/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19804 CPUtime=761.83
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4653 0 0 0 76177 6 0 0 25 0 1 0 306546436 20279296 4639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4951 4639 76 171 0 4778 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 25160
[startup+822.301 s]
/proc/loadavg: 1.22 1.13 1.03 2/67 32188
/proc/meminfo: memFree=1796776/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=821.8
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4678 0 0 0 82174 6 0 0 25 0 1 0 306546436 20418560 4664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4664 76 171 0 4812 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 25296
[startup+882.302 s]
/proc/loadavg: 1.20 1.13 1.03 2/67 32188
/proc/meminfo: memFree=1796648/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=881.78
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4678 0 0 0 88172 6 0 0 25 0 1 0 306546436 20418560 4664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4664 76 171 0 4812 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 25296
[startup+942.302 s]
/proc/loadavg: 1.18 1.14 1.04 2/67 32188
/proc/meminfo: memFree=1796520/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=941.75
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 94169 6 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 25296
[startup+1002.3 s]
/proc/loadavg: 1.17 1.14 1.04 2/67 32188
/proc/meminfo: memFree=1796392/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1001.72
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 100166 6 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 25296
[startup+1062.3 s]
/proc/loadavg: 1.19 1.14 1.05 2/67 32188
/proc/meminfo: memFree=1796264/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1061.7
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 106164 6 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 25296
[startup+1122.3 s]
/proc/loadavg: 1.07 1.11 1.04 2/67 32188
/proc/meminfo: memFree=1796136/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1121.67
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 112161 6 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 25296
[startup+1182.3 s]
/proc/loadavg: 1.07 1.11 1.04 2/67 32188
/proc/meminfo: memFree=1796072/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1181.64
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 118158 6 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 25296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.05 1.10 1.04 2/67 32188
/proc/meminfo: memFree=1796008/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1200.05
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 119998 7 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 25296
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.05 1.10 1.04 2/67 32188
/proc/meminfo: memFree=1796008/2055920 swapFree=4180340/4192956
[pid=32182] ppid=32180 vsize=5356 CPUtime=0.03
/proc/32182/stat : 32182 (SatELiteGTI) S 32180 32182 31590 0 -1 4194304 336 629 0 0 0 0 3 0 18 0 1 0 306546431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32182/statm: 1339 239 197 169 0 50 0
[pid=32188] ppid=32182 vsize=19940 CPUtime=1200.05
/proc/32188/stat : 32188 (minisat_static) R 32182 32182 31590 0 -1 4194304 4679 0 0 0 119998 7 0 0 25 0 1 0 306546436 20418560 4665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32188/statm: 4985 4665 76 171 0 4812 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 25296
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.11
CPU user time (s): 1200.02
CPU system time (s): 0.080987
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 25296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5675
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= 31
involuntary context switches= 7941
runsolver used 1.12983 second user time and 3.38248 second system time
The end
Begin job on node88 at 2009-05-20 04:06:13
IDJOB=1832621
IDBENCH=70274
IDSOLVER=671
FILE ID=node88/1832621-1242785173
PBS_JOBID= 9322362
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S1017667294-044.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832621-1242785173/watcher-1832621-1242785173 -o /tmp/evaluation-result-1832621-1242785173/solver-1832621-1242785173 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832621-1242785173.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 083530c917e5930f85d1f6585a40e1fa
RANDOM SEED=1865768477
node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1818072 kB
Buffers: 27696 kB
Cached: 163300 kB
SwapCached: 6884 kB
Active: 41776 kB
Inactive: 158092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1818072 kB
SwapTotal: 4192956 kB
SwapFree: 4180340 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 23952 kB
Committed_AS: 846860 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66140 MiB
End job on node88 at 2009-05-20 04:26:16