0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 11900 83300 | 3569 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 140 #clauses: 11900 #literals: 83300
0.00/0.02 c CPU time: 0.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.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 140 |
0.00/0.05 c | Number of clauses: 11900 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 140 11900 83300 | 3966 0 nan | 0.000 % |
0.00/0.07 c | 103 | 140 11900 83300 | 3966 103 44 | 0.005 % |
0.00/0.08 c | 203 | 140 11900 83300 | 3966 203 45 | 0.005 % |
0.00/0.08 c | 304 | 140 11900 83300 | 3966 304 45 | 0.005 % |
0.00/0.09 c | 414 | 140 11900 83300 | 3966 414 44 | 0.005 % |
0.04/0.10 c | 514 | 140 11900 83300 | 3966 514 44 | 0.005 % |
0.04/0.11 c | 624 | 140 11900 83300 | 3966 624 44 | 0.005 % |
0.04/0.12 c | 746 | 140 11900 83300 | 3966 746 44 | 0.005 % |
0.04/0.12 c | 848 | 140 11900 83300 | 3966 848 44 | 0.005 % |
0.04/0.13 c | 959 | 140 11900 83300 | 3966 959 44 | 0.005 % |
0.04/0.14 c | 1081 | 140 11900 83300 | 3966 1081 44 | 0.005 % |
0.04/0.15 c | 1214 | 140 11900 83300 | 3966 1214 44 | 0.005 % |
0.04/0.15 c | 1314 | 140 11900 83300 | 3966 1314 44 | 0.005 % |
0.04/0.16 c | 1425 | 140 11900 83300 | 3966 1425 44 | 0.005 % |
0.04/0.17 c | 1546 | 140 11900 83300 | 3966 1546 44 | 0.005 % |
0.04/0.18 c | 1680 | 140 11900 83300 | 3966 1680 44 | 0.005 % |
0.04/0.19 c | 1827 | 140 11900 83300 | 3966 1827 44 | 0.005 % |
0.04/0.20 c | 1927 | 140 11900 83300 | 3966 1927 44 | 0.005 % |
0.04/0.21 c | 2037 | 140 11900 83300 | 3966 2037 44 | 0.005 % |
0.04/0.22 c | 2158 | 140 11900 83300 | 3966 2158 43 | 0.005 % |
0.04/0.23 c | 2291 | 140 11900 83300 | 3966 2291 44 | 0.005 % |
0.04/0.24 c | 2437 | 140 11900 83300 | 3966 2437 44 | 0.005 % |
0.04/0.25 c | 2597 | 140 11900 83300 | 3966 2597 43 | 0.005 % |
0.04/0.26 c | 2697 | 140 11900 83300 | 3966 2697 43 | 0.005 % |
0.04/0.27 c | 2807 | 140 11900 83300 | 3966 2807 43 | 0.005 % |
0.04/0.28 c | 2928 | 140 11900 83300 | 3966 2928 44 | 0.005 % |
0.04/0.29 c | 3062 | 140 11900 83300 | 3966 3062 44 | 0.005 % |
0.04/0.30 c | 3209 | 140 11900 83300 | 3966 3209 44 | 0.005 % |
0.04/0.32 c | 3370 | 140 11900 83300 | 3966 3370 44 | 0.005 % |
0.04/0.33 c | 3547 | 140 11900 83300 | 3966 3547 44 | 0.005 % |
0.04/0.34 c | 3648 | 140 11900 83300 | 3966 3648 44 | 0.005 % |
0.04/0.35 c | 3758 | 140 11900 83300 | 3966 3758 43 | 0.005 % |
0.04/0.36 c | 3880 | 140 11900 83300 | 3966 3880 43 | 0.005 % |
0.04/0.37 c | 4015 | 140 11900 83300 | 3966 4015 43 | 0.005 % |
0.04/0.39 c | 4164 | 140 11900 83300 | 3966 3763 43 | 0.005 % |
0.04/0.40 c | 4324 | 140 11900 83300 | 3966 3923 43 | 0.005 % |
0.04/0.41 c | 4500 | 140 11900 83300 | 3966 3697 43 | 0.005 % |
0.04/0.43 c | 4694 | 140 11900 83300 | 3966 3891 43 | 0.005 % |
0.04/0.44 c | 4795 | 140 11900 83300 | 3966 3992 43 | 0.005 % |
0.04/0.45 c | 4905 | 140 11900 83300 | 3966 3703 42 | 0.005 % |
0.04/0.46 c | 5027 | 140 11900 83300 | 3966 3825 42 | 0.005 % |
0.04/0.47 c | 5161 | 140 11900 83300 | 3966 3959 43 | 0.005 % |
0.04/0.48 c | 5308 | 140 11900 83300 | 3966 3703 43 | 0.005 % |
0.04/0.50 c | 5468 | 140 11900 83300 | 3966 3863 43 | 0.005 % |
0.04/0.51 c | 5644 | 140 11900 83300 | 3966 3637 43 | 0.005 % |
0.04/0.53 c | 5838 | 140 11900 83300 | 3966 3831 43 | 0.005 % |
0.04/0.55 c | 6050 | 140 11900 83300 | 3966 3641 43 | 0.005 % |
0.04/0.56 c | 6150 | 140 11900 83300 | 3966 3741 43 | 0.005 % |
0.04/0.56 c | 6260 | 140 11900 83300 | 3966 3851 43 | 0.005 % |
0.04/0.58 c | 6381 | 140 11900 83300 | 3966 3972 43 | 0.005 % |
0.04/0.59 c | 6515 | 140 11900 83300 | 3966 3709 43 | 0.005 % |
0.04/0.60 c | 6661 | 140 11900 83300 | 3966 3855 43 | 0.005 % |
0.04/0.61 c | 6822 | 140 11900 83300 | 3966 4016 43 | 0.005 % |
0.04/0.63 c | 6998 | 140 11900 83300 | 3966 3791 43 | 0.005 % |
0.04/0.64 c | 7191 | 140 11900 83300 | 3966 3984 43 | 0.005 % |
0.04/0.66 c | 7404 | 140 11900 83300 | 3966 3799 43 | 0.005 % |
0.04/0.68 c | 7637 | 140 11900 83300 | 3966 4032 43 | 0.005 % |
0.04/0.69 c | 7738 | 140 11900 83300 | 3966 3730 43 | 0.005 % |
0.04/0.70 c | 7849 | 140 11900 83300 | 3966 3841 43 | 0.005 % |
0.04/0.71 c | 7970 | 140 11900 83300 | 3966 3962 43 | 0.005 % |
0.04/0.72 c | 8103 | 140 11900 83300 | 3966 3692 43 | 0.005 % |
0.04/0.74 c | 8249 | 140 11900 83300 | 3966 3838 43 | 0.005 % |
0.04/0.75 c | 8409 | 140 11900 83300 | 3966 3998 43 | 0.005 % |
0.04/0.77 c | 8585 | 140 11900 83300 | 3966 3775 43 | 0.005 % |
0.04/0.78 c | 8778 | 140 11900 83300 | 3966 3968 43 | 0.005 % |
0.04/0.80 c | 8992 | 140 11900 83300 | 3966 3786 44 | 0.005 % |
0.04/0.82 c | 9225 | 140 11900 83300 | 3966 4019 44 | 0.005 % |
0.04/0.84 c | 9481 | 140 11900 83300 | 3966 3874 44 | 0.005 % |
0.04/0.85 c | 9582 | 140 11900 83300 | 3966 3975 43 | 0.005 % |
0.04/0.86 c | 9693 | 140 11900 83300 | 3966 3689 43 | 0.005 % |
0.04/0.87 c | 9814 | 140 11900 83300 | 3966 3810 43 | 0.005 % |
0.04/0.89 c | 9949 | 140 11900 83300 | 3966 3945 43 | 0.005 % |
0.04/0.90 c | 10096 | 140 11900 83300 | 2147483647 4092 43 | 0.005 % |
0.04/0.91 c | 10257 | 140 11900 83300 | 2147483647 4253 43 | 0.005 % |
0.04/0.93 c | 10435 | 140 11900 83300 | 2147483647 4431 43 | 0.005 % |
0.04/0.94 c | 10631 | 140 11900 83300 | 2147483647 4627 43 | 0.005 % |
0.04/0.96 c | 10843 | 140 11900 83300 | 2147483647 4839 43 | 0.005 % |
0.04/0.99 c | 11078 | 140 11900 83300 | 2147483647 5074 43 | 0.005 % |
0.98/1.01 c | 11335 | 140 11900 83300 | 2147483647 5331 43 | 0.005 % |
0.98/1.03 c | 11616 | 140 11900 83300 | 2147483647 5612 43 | 0.005 % |
0.98/1.04 c | 11716 | 140 11900 83300 | 2147483647 5712 43 | 0.005 % |
0.98/1.05 c | 11826 | 140 11900 83300 | 2147483647 5822 43 | 0.005 % |
0.98/1.07 c | 11948 | 140 11900 83300 | 2147483647 5944 43 | 0.005 % |
0.98/1.08 c | 12081 | 140 11900 83300 | 2147483647 6077 43 | 0.005 % |
0.98/1.10 c | 12228 | 140 11900 83300 | 2147483647 6224 43 | 0.005 % |
1.09/1.11 c | 12389 | 140 11900 83300 | 2147483647 6385 43 | 0.005 % |
1.09/1.13 c | 12565 | 140 11900 83300 | 2147483647 6561 43 | 0.005 % |
1.09/1.15 c | 12760 | 140 11900 83300 | 2147483647 6756 43 | 0.005 % |
1.09/1.17 c | 12973 | 140 11900 83300 | 2147483647 6969 43 | 0.005 % |
1.09/1.19 c | 13206 | 140 11900 83300 | 2147483647 7202 43 | 0.005 % |
1.18/1.22 c | 13462 | 140 11900 83300 | 2147483647 7458 43 | 0.005 % |
1.18/1.25 c | 13743 | 140 11900 83300 | 2147483647 7739 43 | 0.005 % |
1.18/1.28 c | 14053 | 140 11900 83300 | 2147483647 8049 43 | 0.005 % |
1.18/1.30 c | 14154 | 140 11900 83300 | 2147483647 8150 43 | 0.005 % |
1.28/1.31 c | 14265 | 140 11900 83300 | 2147483647 8261 43 | 0.005 % |
1.28/1.32 c | 14388 | 140 11900 83300 | 2147483647 8384 43 | 0.005 % |
1.28/1.34 c | 14521 | 140 11900 83300 | 2147483647 8517 43 | 0.005 % |
1.28/1.36 c | 14668 | 140 11900 83300 | 2147483647 8664 43 | 0.005 % |
1.28/1.37 c | 14828 | 140 11900 83300 | 2147483647 8824 43 | 0.005 % |
1.28/1.39 c | 15005 | 140 11900 83300 | 2147483647 9001 43 | 0.005 % |
1.38/1.42 c | 15199 | 140 11900 83300 | 2147483647 9195 43 | 0.005 % |
1.38/1.44 c | 15412 | 140 11900 83300 | 2147483647 9408 43 | 0.005 % |
1.38/1.47 c | 15645 | 140 11900 83300 | 2147483647 9641 43 | 0.005 % |
1.48/1.50 c | 15902 | 140 11900 83300 | 2147483647 9898 43 | 0.005 % |
1.48/1.53 c | 16184 | 140 11900 83300 | 2147483647 10180 43 | 0.005 % |
1.48/1.57 c | 16495 | 140 11900 83300 | 2147483647 10491 43 | 0.005 % |
1.58/1.61 c | 16834 | 140 11900 83300 | 2147483647 10830 43 | 0.005 % |
1.58/1.62 c | 16934 | 140 11900 83300 | 2147483647 10930 43 | 0.005 % |
1.58/1.64 c | 17045 | 140 11900 83300 | 2147483647 11041 43 | 0.005 % |
1.58/1.66 c | 17166 | 140 11900 83300 | 2147483647 11162 43 | 0.005 % |
1.58/1.68 c | 17301 | 140 11900 83300 | 2147483647 11297 43 | 0.005 % |
1.67/1.70 c | 17447 | 140 11900 83300 | 2147483647 11443 44 | 0.005 % |
1.67/1.73 c | 17607 | 140 11900 83300 | 2147483647 11603 43 | 0.005 % |
1.67/1.75 c | 17784 | 140 11900 83300 | 2147483647 11780 43 | 0.005 % |
1.67/1.78 c | 17978 | 140 11900 83300 | 2147483647 11974 43 | 0.005 % |
1.77/1.81 c | 18190 | 140 11900 83300 | 2147483647 12186 43 | 0.005 % |
1.77/1.84 c | 18424 | 140 11900 83300 | 2147483647 12420 43 | 0.005 % |
1.77/1.87 c | 18682 | 140 11900 83300 | 2147483647 12678 43 | 0.005 % |
1.87/1.91 c | 18965 | 140 11900 83300 | 2147483647 12961 43 | 0.005 % |
1.87/1.95 c | 19274 | 140 11900 83300 | 2147483647 13270 43 | 0.005 % |
1.97/2.01 c | 19613 | 140 11900 83300 | 2147483647 13609 43 | 0.005 % |
1.97/2.05 c | 19986 | 140 11900 83300 | 2147483647 13982 44 | 0.005 % |
1.97/2.07 c | 20087 | 140 11900 83300 | 2147483647 14083 43 | 0.005 % |
1.97/2.09 c | 20198 | 140 11900 83300 | 2147483647 14194 43 | 0.005 % |
2.08/2.12 c | 20321 | 140 11900 83300 | 2147483647 14317 44 | 0.005 % |
2.08/2.14 c | 20454 | 140 11900 83300 | 2147483647 14450 44 | 0.005 % |
2.08/2.16 c | 20601 | 140 11900 83300 | 2147483647 14597 44 | 0.005 % |
2.08/2.19 c | 20761 | 140 11900 83300 | 2147483647 14757 44 | 0.005 % |
2.18/2.22 c | 20937 | 140 11900 83300 | 2147483647 14933 44 | 0.005 % |
2.18/2.26 c | 21130 | 140 11900 83300 | 2147483647 15126 44 | 0.005 % |
2.18/2.29 c | 21342 | 140 11900 83300 | 2147483647 15338 44 | 0.005 % |
2.27/2.33 c | 21576 | 140 11900 83300 | 2147483647 15572 44 | 0.005 % |
2.27/2.38 c | 21832 | 140 11900 83300 | 2147483647 15828 44 | 0.005 % |
2.37/2.43 c | 22114 | 140 11900 83300 | 2147483647 16110 44 | 0.005 % |
2.37/2.48 c | 22423 | 140 11900 83300 | 2147483647 16419 44 | 0.005 % |
2.47/2.54 c | 22762 | 140 11900 83300 | 2147483647 16758 44 | 0.005 % |
2.57/2.61 c | 23135 | 140 11900 83300 | 2147483647 17131 44 | 0.005 % |
2.57/2.68 c | 23544 | 140 11900 83300 | 2147483647 17540 44 | 0.005 % |
2.67/2.70 c | 23644 | 140 11900 83300 | 2147483647 17640 44 | 0.005 % |
2.67/2.72 c | 23756 | 140 11900 83300 | 2147483647 17752 44 | 0.005 % |
2.67/2.75 c | 23877 | 140 11900 83300 | 2147483647 17873 44 | 0.005 % |
2.67/2.77 c | 24011 | 140 11900 83300 | 2147483647 18007 44 | 0.005 % |
2.77/2.81 c | 24157 | 140 11900 83300 | 2147483647 18153 44 | 0.005 % |
2.77/2.84 c | 24317 | 140 11900 83300 | 2147483647 18313 44 | 0.005 % |
2.77/2.88 c | 24494 | 140 11900 83300 | 2147483647 18490 44 | 0.005 % |
2.87/2.92 c | 24689 | 140 11900 83300 | 2147483647 18685 44 | 0.005 % |
2.87/2.97 c | 24902 | 140 11900 83300 | 2147483647 18898 44 | 0.005 % |
2.97/3.02 c | 25136 | 140 11900 83300 | 2147483647 19132 44 | 0.005 % |
2.97/3.07 c | 25393 | 140 11900 83300 | 2147483647 19389 44 | 0.005 % |
3.07/3.13 c | 25675 | 140 11900 83300 | 2147483647 19671 44 | 0.005 % |
3.07/3.19 c | 25985 | 140 11900 83300 | 2147483647 19981 44 | 0.005 % |
3.18/3.26 c | 26327 | 140 11900 83300 | 2147483647 20323 44 | 0.005 % |
3.28/3.33 c | 26699 | 140 11900 83300 | 2147483647 20695 44 | 0.005 % |
3.37/3.43 c | 27112 | 140 11900 83300 | 2147483647 21108 44 | 0.005 % |
3.47/3.52 c | 27561 | 140 11900 83300 | 2147483647 21557 44 | 0.005 % |
3.47/3.55 c | 27661 | 140 11900 83300 | 2147483647 21657 44 | 0.005 % |
3.47/3.58 c | 27774 | 140 11900 83300 | 2147483647 21770 44 | 0.005 % |
3.57/3.62 c | 27896 | 140 11900 83300 | 2147483647 21892 44 | 0.005 % |
3.57/3.66 c | 28031 | 140 11900 83300 | 2147483647 22027 44 | 0.005 % |
3.57/3.70 c | 28178 | 140 11900 83300 | 2147483647 22174 44 | 0.005 % |
3.68/3.74 c | 28339 | 140 11900 83300 | 2147483647 22335 44 | 0.005 % |
3.68/3.78 c | 28515 | 140 11900 83300 | 2147483647 22511 44 | 0.005 % |
3.78/3.84 c | 28708 | 140 11900 83300 | 2147483647 22704 44 | 0.005 % |
3.78/3.89 c | 28922 | 140 11900 83300 | 2147483647 22918 44 | 0.005 % |
3.88/3.96 c | 29155 | 140 11900 83300 | 2147483647 23151 44 | 0.005 % |
3.98/4.02 c | 29412 | 140 11900 83300 | 2147483647 23408 43 | 0.005 % |
3.98/4.09 c | 29694 | 140 11900 83300 | 2147483647 23690 44 | 0.005 % |
4.08/4.17 c | 30003 | 140 11900 83300 | 2147483647 23999 44 | 0.005 % |
4.18/4.27 c | 30342 | 140 11900 83300 | 2147483647 24338 44 | 0.005 % |
4.28/4.37 c | 30715 | 140 11900 83300 | 2147483647 24711 44 | 0.005 % |
4.38/4.49 c | 31125 | 140 11900 83300 | 2147483647 25121 44 | 0.005 % |
4.57/4.61 c | 31575 | 140 11900 83300 | 2147483647 25571 44 | 0.005 % |
4.67/4.75 c | 32068 | 140 11900 83300 | 2147483647 26064 44 | 0.005 % |
4.67/4.78 c | 32170 | 140 11900 83300 | 2147483647 26166 44 | 0.005 % |
4.77/4.81 c | 32281 | 140 11900 83300 | 2147483647 26277 44 | 0.005 % |
4.77/4.85 c | 32403 | 140 11900 83300 | 2147483647 26399 44 | 0.005 % |
4.77/4.89 c | 32541 | 140 11900 83300 | 2147483647 26537 44 | 0.005 % |
4.87/4.94 c | 32687 | 140 11900 83300 | 2147483647 26683 44 | 0.005 % |
4.87/4.99 c | 32847 | 140 11900 83300 | 2147483647 26843 44 | 0.005 % |
4.97/5.04 c | 33023 | 140 11900 83300 | 2147483647 27019 44 | 0.005 % |
5.07/5.10 c | 33217 | 140 11900 83300 | 2147483647 27213 44 | 0.005 % |
5.07/5.18 c | 33430 | 140 11900 83300 | 2147483647 27426 44 | 0.005 % |
5.17/5.25 c | 33664 | 140 11900 83300 | 2147483647 27660 44 | 0.005 % |
5.27/5.33 c | 33920 | 140 11900 83300 | 2147483647 27916 44 | 0.005 % |
5.37/5.42 c | 34202 | 140 11900 83300 | 2147483647 28198 44 | 0.005 % |
5.47/5.51 c | 34511 | 140 11900 83300 | 2147483647 28507 44 | 0.005 % |
5.57/5.62 c | 34850 | 140 11900 83300 | 2147483647 28846 44 | 0.005 % |
5.67/5.75 c | 35224 | 140 11900 83300 | 2147483647 29220 44 | 0.005 % |
5.77/5.88 c | 35633 | 140 11900 83300 | 2147483647 29629 44 | 0.005 % |
5.97/6.03 c | 36084 | 140 11900 83300 | 2147483647 30080 44 | 0.005 % |
6.17/6.21 c | 36578 | 140 11900 83300 | 2147483647 30574 44 | 0.005 % |
6.37/6.40 c | 37124 | 140 11900 83300 | 2147483647 31120 44 | 0.005 % |
6.37/6.44 c | 37226 | 140 11900 83300 | 2147483647 31222 44 | 0.005 % |
6.37/6.48 c | 37337 | 140 11900 83300 | 2147483647 31333 44 | 0.005 % |
6.47/6.52 c | 37458 | 140 11900 83300 | 2147483647 31454 44 | 0.005 % |
6.47/6.57 c | 37591 | 140 11900 83300 | 2147483647 31587 44 | 0.005 % |
6.57/6.63 c | 37737 | 140 11900 83300 | 2147483647 31733 44 | 0.005 % |
6.57/6.68 c | 37898 | 140 11900 83300 | 2147483647 31894 44 | 0.005 % |
6.67/6.75 c | 38074 | 140 11900 83300 | 2147483647 32070 44 | 0.005 % |
6.77/6.84 c | 38268 | 140 11900 83300 | 2147483647 32264 44 | 0.005 % |
6.86/6.92 c | 38481 | 140 11900 83300 | 2147483647 32477 44 | 0.005 % |
6.96/7.02 c | 38714 | 140 11900 83300 | 2147483647 32710 44 | 0.005 % |
7.06/7.11 c | 38972 | 140 11900 83300 | 2147483647 32968 44 | 0.005 % |
7.16/7.21 c | 39253 | 140 11900 83300 | 2147483647 33249 44 | 0.005 % |
7.26/7.32 c | 39562 | 140 11900 83300 | 2147483647 33558 44 | 0.005 % |
7.36/7.46 c | 39901 | 140 11900 83300 | 2147483647 33897 44 | 0.005 % |
7.57/7.61 c | 40277 | 140 11900 83300 | 2147483647 34273 44 | 0.005 % |
7.67/7.76 c | 40687 | 140 11900 83300 | 2147483647 34683 44 | 0.005 % |
7.86/7.94 c | 41138 | 140 11900 83300 | 2147483647 35134 44 | 0.005 % |
8.06/8.14 c | 41632 | 140 11900 83300 | 2147483647 35628 44 | 0.005 % |
8.26/8.33 c | 42174 | 140 11900 83300 | 2147483647 36170 44 | 0.005 % |
8.46/8.56 c | 42770 | 140 11900 83300 | 2147483647 36766 44 | 0.005 % |
8.56/8.60 c | 42870 | 140 11900 83300 | 2147483647 36866 44 | 0.005 % |
8.56/8.64 c | 42980 | 140 11900 83300 | 2147483647 36976 44 | 0.005 % |
8.56/8.69 c | 43102 | 140 11900 83300 | 2147483647 37098 44 | 0.005 % |
8.67/8.76 c | 43237 | 140 11900 83300 | 2147483647 37233 44 | 0.005 % |
8.77/8.81 c | 43384 | 140 11900 83300 | 2147483647 37380 44 | 0.005 % |
8.77/8.88 c | 43545 | 140 11900 83300 | 2147483647 37541 44 | 0.005 % |
8.86/8.98 c | 43721 | 140 11900 83300 | 2147483647 37717 44 | 0.005 % |
8.96/9.07 c | 43915 | 140 11900 83300 | 2147483647 37911 44 | 0.005 % |
9.06/9.18 c | 44127 | 140 11900 83300 | 2147483647 38123 44 | 0.005 % |
9.16/9.28 c | 44360 | 140 11900 83300 | 2147483647 38356 44 | 0.005 % |
9.26/9.39 c | 44616 | 140 11900 83300 | 2147483647 38612 44 | 0.005 % |
9.47/9.52 c | 44897 | 140 11900 83300 | 2147483647 38893 44 | 0.005 % |
9.57/9.66 c | 45207 | 140 11900 83300 | 2147483647 39203 44 | 0.005 % |
9.67/9.80 c | 45549 | 140 11900 83300 | 2147483647 39545 44 | 0.005 % |
9.87/9.99 c | 45922 | 140 11900 83300 | 2147483647 39918 44 | 0.005 % |
10.07/10.19 c | 46332 | 140 11900 83300 | 2147483647 40328 44 | 0.005 % |
10.37/10.40 c | 46782 | 140 11900 83300 | 2147483647 40778 44 | 0.005 % |
10.57/10.64 c | 47275 | 140 11900 83300 | 2147483647 41271 44 | 0.005 % |
10.87/10.90 c | 47817 | 140 11900 83300 | 2147483647 41813 44 | 0.005 % |
11.07/11.15 c | 48413 | 140 11900 83300 | 2147483647 42409 44 | 0.005 % |
11.37/11.47 c | 49069 | 140 11900 83300 | 2147483647 43065 44 | 0.005 % |
11.47/11.54 c | 49170 | 140 11900 83300 | 2147483647 43166 44 | 0.005 % |
11.47/11.59 c | 49282 | 140 11900 83300 | 2147483647 43278 44 | 0.005 % |
11.57/11.66 c | 49404 | 140 11900 83300 | 2147483647 43400 44 | 0.005 % |
11.66/11.73 c | 49537 | 140 11900 83300 | 2147483647 43533 44 | 0.005 % |
11.76/11.84 c | 49684 | 140 11900 83300 | 2147483647 43680 44 | 0.005 % |
11.86/11.93 c | 49849 | 140 11900 83300 | 2147483647 43845 44 | 0.005 % |
11.97/12.03 c | 50025 | 140 11900 83300 | 2147483647 44021 44 | 0.005 % |
12.07/12.13 c | 50219 | 140 11900 83300 | 2147483647 44215 44 | 0.005 % |
12.16/12.25 c | 50432 | 140 11900 83300 | 2147483647 44428 44 | 0.005 % |
12.26/12.38 c | 50666 | 140 11900 83300 | 2147483647 44662 44 | 0.005 % |
12.46/12.50 c | 50922 | 140 11900 83300 | 2147483647 44918 44 | 0.005 % |
12.56/12.65 c | 51203 | 140 11900 83300 | 2147483647 45199 44 | 0.005 % |
12.76/12.82 c | 51513 | 140 11900 83300 | 2147483647 45509 44 | 0.005 % |
12.96/13.02 c | 51852 | 140 11900 83300 | 2147483647 45848 44 | 0.005 % |
13.17/13.25 c | 52225 | 140 11900 83300 | 2147483647 46221 44 | 0.005 % |
13.36/13.46 c | 52634 | 140 11900 83300 | 2147483647 46630 44 | 0.005 % |
13.56/13.69 c | 53085 | 140 11900 83300 | 2147483647 47081 44 | 0.005 % |
13.96/14.01 c | 53578 | 140 11900 83300 | 2147483647 47574 44 | 0.005 % |
14.26/14.33 c | 54121 | 140 11900 83300 | 2147483647 48117 44 | 0.005 % |
14.56/14.63 c | 54720 | 140 11900 83300 | 2147483647 48716 44 | 0.005 % |
14.86/15.00 c | 55375 | 140 11900 83300 | 2147483647 49371 44 | 0.005 % |
15.26/15.34 c | 56095 | 140 11900 83300 | 2147483647 50091 44 | 0.005 % |
15.36/15.42 c | 56195 | 140 11900 83300 | 2147483647 50191 44 | 0.005 % |
15.36/15.50 c | 56307 | 140 11900 83300 | 2147483647 50303 44 | 0.005 % |
15.46/15.57 c | 56428 | 140 11900 83300 | 2147483647 50424 44 | 0.005 % |
15.56/15.66 c | 56563 | 140 11900 83300 | 2147483647 50559 44 | 0.005 % |
15.66/15.77 c | 56711 | 140 11900 83300 | 2147483647 50707 44 | 0.005 % |
15.76/15.88 c | 56872 | 140 11900 83300 | 2147483647 50868 44 | 0.005 % |
15.86/15.98 c | 57050 | 140 11900 83300 | 2147483647 51046 44 | 0.005 % |
16.06/16.12 c | 57243 | 140 11900 83300 | 2147483647 51239 44 | 0.005 % |
16.16/16.24 c | 57455 | 140 11900 83300 | 2147483647 51451 44 | 0.005 % |
16.26/16.38 c | 57688 | 140 11900 83300 | 2147483647 51684 44 | 0.005 % |
16.46/16.52 c | 57944 | 140 11900 83300 | 2147483647 51940 44 | 0.005 % |
16.66/16.70 c | 58225 | 140 11900 83300 | 2147483647 52221 44 | 0.005 % |
16.76/16.87 c | 58534 | 140 11900 83300 | 2147483647 52530 44 | 0.005 % |
17.05/17.11 c | 58873 | 140 11900 83300 | 2147483647 52869 44 | 0.005 % |
17.25/17.34 c | 59246 | 140 11900 83300 | 2147483647 53242 44 | 0.005 % |
17.46/17.58 c | 59656 | 140 11900 83300 | 2147483647 53652 44 | 0.005 % |
17.76/17.84 c | 60108 | 140 11900 83300 | 2147483647 54104 43 | 0.005 % |
18.06/18.11 c | 60602 | 140 11900 83300 | 2147483647 54598 44 | 0.005 % |
18.36/18.42 c | 61144 | 140 11900 83300 | 2147483647 55140 44 | 0.005 % |
18.67/18.76 c | 61743 | 140 11900 83300 | 2147483647 55739 44 | 0.005 % |
19.06/19.14 c | 62398 | 140 11900 83300 | 2147483647 56394 44 | 0.005 % |
19.56/19.61 c | 63118 | 140 11900 83300 | 2147483647 57114 44 | 0.005 % |
20.05/20.10 c | 63910 | 140 11900 83300 | 2147483647 57906 44 | 0.005 % |
20.05/20.15 c | 64010 | 140 11900 83300 | 2147483647 58006 44 | 0.005 % |
20.15/20.26 c | 64121 | 140 11900 83300 | 2147483647 58117 44 | 0.005 % |
20.25/20.35 c | 64242 | 140 11900 83300 | 2147483647 58238 44 | 0.005 % |
20.35/20.45 c | 64377 | 140 11900 83300 | 2147483647 58373 44 | 0.005 % |
20.45/20.56 c | 64523 | 140 11900 83300 | 2147483647 58519 44 | 0.005 % |
20.55/20.69 c | 64683 | 140 11900 83300 | 2147483647 58679 44 | 0.005 % |
20.75/20.82 c | 64861 | 140 11900 83300 | 2147483647 58857 44 | 0.005 % |
20.85/20.98 c | 65055 | 140 11900 83300 | 2147483647 59051 44 | 0.005 % |
21.05/21.15 c | 65267 | 140 11900 83300 | 2147483647 59263 44 | 0.005 % |
21.25/21.30 c | 65503 | 140 11900 83300 | 2147483647 59499 44 | 0.005 % |
21.45/21.51 c | 65760 | 140 11900 83300 | 2147483647 59756 44 | 0.005 % |
21.65/21.71 c | 66041 | 140 11900 83300 | 2147483647 60037 44 | 0.005 % |
21.85/21.98 c | 66351 | 140 11900 83300 | 2147483647 60347 44 | 0.005 % |
22.14/22.21 c | 66692 | 140 11900 83300 | 2147483647 60688 44 | 0.005 % |
22.34/22.48 c | 67064 | 140 11900 83300 | 2147483647 61060 44 | 0.005 % |
22.65/22.79 c | 67476 | 140 11900 83300 | 2147483647 61472 44 | 0.005 % |
23.06/23.12 c | 67925 | 140 11900 83300 | 2147483647 61921 44 | 0.005 % |
23.35/23.47 c | 68418 | 140 11900 83300 | 2147483647 62414 44 | 0.005 % |
23.75/23.82 c | 68960 | 140 11900 83300 | 2147483647 62956 44 | 0.005 % |
24.15/24.24 c | 69557 | 140 11900 83300 | 2147483647 63553 44 | 0.005 % |
24.65/24.79 c | 70212 | 140 11900 83300 | 63996 54707 44 | 0.005 % |
25.15/25.24 c | 70934 | 140 11900 83300 | 63996 55429 44 | 0.005 % |
25.65/25.77 c | 71726 | 140 11900 83300 | 63996 56221 44 | 0.005 % |
26.15/26.28 c | 72597 | 140 11900 83300 | 63996 57092 44 | 0.005 % |
26.25/26.37 c | 72697 | 140 11900 83300 | 63996 57192 44 | 0.005 % |
26.35/26.45 c | 72808 | 140 11900 83300 | 63996 57303 44 | 0.005 % |
26.45/26.54 c | 72932 | 140 11900 83300 | 63996 57427 44 | 0.005 % |
26.55/26.64 c | 73065 | 140 11900 83300 | 63996 57560 44 | 0.005 % |
26.65/26.75 c | 73213 | 140 11900 83300 | 63996 57708 44 | 0.005 % |
26.75/26.86 c | 73373 | 140 11900 83300 | 63996 57868 44 | 0.005 % |
26.85/26.96 c | 73549 | 140 11900 83300 | 63996 58044 44 | 0.005 % |
27.05/27.12 c | 73743 | 140 11900 83300 | 63996 58238 44 | 0.005 % |
27.15/27.27 c | 73956 | 140 11900 83300 | 63996 58451 44 | 0.005 % |
27.35/27.44 c | 74190 | 140 11900 83300 | 63996 58685 44 | 0.005 % |
27.55/27.63 c | 74449 | 140 11900 83300 | 63996 58944 44 | 0.005 % |
27.75/27.82 c | 74730 | 140 11900 83300 | 63996 59225 44 | 0.005 % |
27.95/28.03 c | 75041 | 140 11900 83300 | 63996 59536 44 | 0.005 % |
28.25/28.35 c | 75381 | 140 11900 83300 | 63996 59876 44 | 0.005 % |
28.55/28.62 c | 75753 | 140 11900 83300 | 63996 60248 44 | 0.005 % |
28.85/28.91 c | 76162 | 140 11900 83300 | 63996 60657 44 | 0.005 % |
29.15/29.21 c | 76612 | 140 11900 83300 | 63996 61107 44 | 0.005 % |
29.44/29.53 c | 77105 | 140 11900 83300 | 63996 61600 44 | 0.005 % |
29.84/29.90 c | 77648 | 140 11900 83300 | 63996 62143 44 | 0.005 % |
30.24/30.32 c | 78245 | 140 11900 83300 | 63996 62740 44 | 0.005 % |
30.65/30.75 c | 78901 | 140 11900 83300 | 63996 63396 44 | 0.005 % |
31.14/31.29 c | 79621 | 140 11900 83300 | 63996 53785 44 | 0.005 % |
31.64/31.75 c | 80413 | 140 11900 83300 | 54165 45972 43 | 0.005 % |
32.04/32.16 c | 81284 | 140 11900 83300 | 54165 46843 43 | 0.005 % |
32.54/32.60 c | 82242 | 140 11900 83300 | 54165 47801 43 | 0.005 % |
32.54/32.65 c | 82343 | 140 11900 83300 | 54165 47902 43 | 0.005 % |
32.64/32.71 c | 82454 | 140 11900 83300 | 54165 48013 43 | 0.005 % |
32.64/32.77 c | 82575 | 140 11900 83300 | 54165 48134 43 | 0.005 % |
32.74/32.87 c | 82708 | 140 11900 83300 | 54165 48267 43 | 0.005 % |
32.85/32.95 c | 82855 | 140 11900 83300 | 54165 48414 43 | 0.005 % |
32.95/33.05 c | 83016 | 140 11900 83300 | 54165 48575 43 | 0.005 % |
33.04/33.18 c | 83192 | 140 11900 83300 | 54165 48751 43 | 0.005 % |
33.24/33.30 c | 83385 | 140 11900 83300 | 54165 48944 43 | 0.005 % |
33.34/33.42 c | 83597 | 140 11900 83300 | 54165 49156 43 | 0.005 % |
33.44/33.57 c | 83833 | 140 11900 83300 | 54165 49392 43 | 0.005 % |
33.64/33.72 c | 84089 | 140 11900 83300 | 54165 49648 43 | 0.005 % |
33.84/33.91 c | 84370 | 140 11900 83300 | 54165 49929 43 | 0.005 % |
33.94/34.08 c | 84680 | 140 11900 83300 | 54165 50239 43 | 0.005 % |
34.14/34.29 c | 85019 | 140 11900 83300 | 54165 50578 43 | 0.005 % |
34.44/34.51 c | 85391 | 140 11900 83300 | 54165 50950 43 | 0.005 % |
34.64/34.78 c | 85802 | 140 11900 83300 | 54165 51361 43 | 0.005 % |
34.94/35.04 c | 86251 | 140 11900 83300 | 54165 51810 43 | 0.005 % |
35.24/35.35 c | 86744 | 140 11900 83300 | 54165 52303 43 | 0.005 % |
35.54/35.68 c | 87287 | 140 11900 83300 | 54165 52846 43 | 0.005 % |
35.94/36.02 c | 87883 | 140 11900 83300 | 54165 53442 43 | 0.005 % |
36.34/36.40 c | 88538 | 140 11900 83300 | 54165 54097 43 | 0.005 % |
36.84/36.91 c | 89260 | 140 11900 83300 | 54165 48319 43 | 0.005 % |
37.24/37.35 c | 90053 | 140 11900 83300 | 49059 49112 43 | 0.005 % |
37.74/37.85 c | 90925 | 140 11900 83300 | 49059 44178 43 | 0.005 % |
38.24/38.31 c | 91884 | 140 11900 83300 | 49059 45137 43 | 0.005 % |
38.74/38.82 c | 92937 | 140 11900 83300 | 49059 46190 43 | 0.005 % |
38.74/38.88 c | 93037 | 140 11900 83300 | 49059 46290 43 | 0.005 % |
38.83/38.96 c | 93148 | 140 11900 83300 | 49059 46401 43 | 0.005 % |
38.93/39.03 c | 93269 | 140 11900 83300 | 49059 46522 43 | 0.005 % |
39.03/39.11 c | 93402 | 140 11900 83300 | 49059 46655 43 | 0.005 % |
39.03/39.18 c | 93550 | 140 11900 83300 | 49059 46803 43 | 0.005 % |
39.13/39.28 c | 93710 | 140 11900 83300 | 49059 46963 43 | 0.005 % |
39.23/39.40 c | 93888 | 140 11900 83300 | 49059 47141 43 | 0.005 % |
39.33/39.50 c | 94083 | 140 11900 83300 | 49059 47336 43 | 0.005 % |
39.54/39.62 c | 94298 | 140 11900 83300 | 49059 47551 43 | 0.005 % |
39.63/39.75 c | 94531 | 140 11900 83300 | 49059 47784 43 | 0.005 % |
39.73/39.89 c | 94787 | 140 11900 83300 | 49059 48040 43 | 0.005 % |
39.93/40.05 c | 95069 | 140 11900 83300 | 49059 48322 43 | 0.005 % |
40.13/40.22 c | 95378 | 140 11900 83300 | 49059 48631 43 | 0.005 % |
40.33/40.44 c | 95719 | 140 11900 83300 | 49059 48972 43 | 0.005 % |
40.53/40.68 c | 96092 | 140 11900 83300 | 49059 44434 43 | 0.005 % |
40.73/40.88 c | 96501 | 140 11900 83300 | 49059 44843 43 | 0.005 % |
41.03/41.14 c | 96950 | 140 11900 83300 | 49059 45292 43 | 0.005 % |
41.33/41.43 c | 97444 | 140 11900 83300 | 49059 45786 43 | 0.005 % |
41.53/41.70 c | 97989 | 140 11900 83300 | 49059 46331 43 | 0.005 % |
41.93/42.00 c | 98585 | 140 11900 83300 | 49059 46927 43 | 0.005 % |
42.23/42.36 c | 99240 | 140 11900 83300 | 49059 47582 43 | 0.005 % |
42.63/42.72 c | 99962 | 140 11900 83300 | 49059 48304 44 | 0.005 % |
43.03/43.12 c | 100754 | 140 11900 83300 | 2147483647 49096 44 | 0.005 % |
43.43/43.59 c | 101626 | 140 11900 83300 | 2147483647 49968 44 | 0.005 % |
43.93/44.05 c | 102584 | 140 11900 83300 | 2147483647 50926 44 | 0.005 % |
44.63/44.73 c | 103639 | 140 11900 83300 | 2147483647 51981 44 | 0.005 % |
45.33/45.48 c | 104797 | 140 11900 83300 | 2147483647 53139 44 | 0.005 % |
45.43/45.54 c | 104897 | 140 11900 83300 | 2147483647 53239 44 | 0.005 % |
45.53/45.60 c | 105007 | 140 11900 83300 | 2147483647 53349 44 | 0.005 % |
45.63/45.71 c | 105128 | 140 11900 83300 | 2147483647 53470 44 | 0.005 % |
45.73/45.81 c | 105262 | 140 11900 83300 | 2147483647 53604 44 | 0.005 % |
45.83/45.90 c | 105408 | 140 11900 83300 | 2147483647 53750 44 | 0.005 % |
45.93/46.00 c | 105571 | 140 11900 83300 | 2147483647 53913 44 | 0.005 % |
46.03/46.15 c | 105747 | 140 11900 83300 | 2147483647 54089 44 | 0.005 % |
46.13/46.28 c | 105940 | 140 11900 83300 | 2147483647 54282 44 | 0.005 % |
46.33/46.41 c | 106153 | 140 11900 83300 | 2147483647 54495 44 | 0.005 % |
46.43/46.55 c | 106387 | 140 11900 83300 | 2147483647 54729 44 | 0.005 % |
46.63/46.70 c | 106644 | 140 11900 83300 | 2147483647 54986 44 | 0.005 % |
46.73/46.87 c | 106926 | 140 11900 83300 | 2147483647 55268 44 | 0.005 % |
46.93/47.05 c | 107235 | 140 11900 83300 | 2147483647 55577 44 | 0.005 % |
47.13/47.26 c | 107574 | 140 11900 83300 | 2147483647 55916 44 | 0.005 % |
47.43/47.53 c | 107948 | 140 11900 83300 | 2147483647 56290 44 | 0.005 % |
47.73/47.81 c | 108358 | 140 11900 83300 | 2147483647 56700 44 | 0.005 % |
48.03/48.12 c | 108808 | 140 11900 83300 | 2147483647 57150 44 | 0.005 % |
48.33/48.42 c | 109303 | 140 11900 83300 | 2147483647 57645 44 | 0.005 % |
48.62/48.77 c | 109847 | 140 11900 83300 | 2147483647 58189 44 | 0.005 % |
49.03/49.15 c | 110443 | 140 11900 83300 | 58342 51833 44 | 0.005 % |
49.43/49.53 c | 111098 | 140 11900 83300 | 58342 52488 44 | 0.005 % |
49.82/49.98 c | 111818 | 140 11900 83300 | 58342 53208 44 | 0.005 % |
50.32/50.47 c | 112610 | 140 11900 83300 | 58342 54000 44 | 0.005 % |
50.92/51.00 c | 113485 | 140 11900 83300 | 58342 54875 44 | 0.005 % |
51.42/51.53 c | 114443 | 140 11900 83300 | 58342 55833 44 | 0.005 % |
52.02/52.16 c | 115497 | 140 11900 83300 | 58342 56887 44 | 0.005 % |
52.82/52.90 c | 116655 | 140 11900 83300 | 58342 58045 44 | 0.005 % |
53.62/53.74 c | 117928 | 140 11900 83300 | 58342 51834 44 | 0.005 % |
53.62/53.79 c | 118028 | 140 11900 83300 | 58342 51934 44 | 0.005 % |
53.73/53.88 c | 118138 | 140 11900 83300 | 58342 52044 44 | 0.005 % |
53.83/53.96 c | 118260 | 140 11900 83300 | 58342 52166 44 | 0.005 % |
53.92/54.06 c | 118395 | 140 11900 83300 | 58342 52301 44 | 0.005 % |
54.02/54.15 c | 118543 | 140 11900 83300 | 58342 52449 44 | 0.005 % |
54.12/54.28 c | 118704 | 140 11900 83300 | 58342 52610 44 | 0.005 % |
54.22/54.38 c | 118880 | 140 11900 83300 | 58342 52786 44 | 0.005 % |
54.42/54.50 c | 119074 | 140 11900 83300 | 58342 52980 44 | 0.005 % |
54.52/54.65 c | 119287 | 140 11900 83300 | 58342 53193 44 | 0.005 % |
54.62/54.79 c | 119522 | 140 11900 83300 | 58342 53428 44 | 0.005 % |
54.82/54.98 c | 119778 | 140 11900 83300 | 58342 53684 44 | 0.005 % |
55.12/55.24 c | 120059 | 140 11900 83300 | 53908 46902 44 | 0.005 % |
55.32/55.42 c | 120369 | 140 11900 83300 | 53908 47212 44 | 0.005 % |
55.52/55.63 c | 120708 | 140 11900 83300 | 53908 47551 44 | 0.005 % |
55.72/55.81 c | 121080 | 140 11900 83300 | 53908 47923 44 | 0.005 % |
55.92/56.07 c | 121493 | 140 11900 83300 | 53908 48336 44 | 0.005 % |
56.22/56.32 c | 121943 | 140 11900 83300 | 53908 48786 44 | 0.005 % |
56.42/56.57 c | 122436 | 140 11900 83300 | 53908 49279 44 | 0.005 % |
56.72/56.87 c | 122979 | 140 11900 83300 | 53908 49822 44 | 0.005 % |
57.02/57.17 c | 123575 | 140 11900 83300 | 53908 50418 44 | 0.005 % |
57.52/57.63 c | 124231 | 140 11900 83300 | 53908 51074 44 | 0.005 % |
57.92/58.06 c | 124951 | 140 11900 83300 | 53908 51794 44 | 0.005 % |
58.42/58.53 c | 125745 | 140 11900 83300 | 53908 52588 44 | 0.005 % |
58.92/59.04 c | 126616 | 140 11900 83300 | 53908 53459 44 | 0.005 % |
59.52/59.62 c | 127574 | 140 11900 83300 | 53908 48030 44 | 0.005 % |
60.12/60.24 c | 128627 | 140 11900 83300 | 53908 49083 44 | 0.005 % |
60.72/60.85 c | 129785 | 140 11900 83300 | 53908 50241 44 | 0.005 % |
61.42/61.55 c | 131060 | 140 11900 83300 | 50456 45702 44 | 0.005 % |
62.22/62.31 c | 132460 | 140 11900 83300 | 50456 47102 44 | 0.005 % |
62.22/62.37 c | 132560 | 140 11900 83300 | 50456 47202 44 | 0.005 % |
62.32/62.44 c | 132670 | 140 11900 83300 | 50456 47312 44 | 0.005 % |
62.42/62.51 c | 132791 | 140 11900 83300 | 50456 47433 44 | 0.005 % |
62.42/62.58 c | 132924 | 140 11900 83300 | 50456 47566 44 | 0.005 % |
62.52/62.66 c | 133072 | 140 11900 83300 | 50456 47714 44 | 0.005 % |
62.62/62.78 c | 133233 | 140 11900 83300 | 50456 47875 44 | 0.005 % |
62.82/62.91 c | 133409 | 140 11900 83300 | 50456 48051 44 | 0.005 % |
62.92/63.04 c | 133602 | 140 11900 83300 | 50456 48244 44 | 0.005 % |
63.02/63.17 c | 133815 | 140 11900 83300 | 50456 48457 44 | 0.005 % |
63.22/63.31 c | 134048 | 140 11900 83300 | 50456 48690 44 | 0.005 % |
63.32/63.48 c | 134304 | 140 11900 83300 | 50456 48946 44 | 0.005 % |
63.52/63.66 c | 134591 | 140 11900 83300 | 50456 49233 44 | 0.005 % |
63.72/63.87 c | 134900 | 140 11900 83300 | 50456 49542 44 | 0.005 % |
64.02/64.10 c | 135240 | 140 11900 83300 | 50456 49882 44 | 0.005 % |
64.22/64.33 c | 135613 | 140 11900 83300 | 50456 50255 44 | 0.005 % |
64.42/64.58 c | 136022 | 140 11900 83300 | 50456 45232 44 | 0.005 % |
64.71/64.90 c | 136471 | 140 11900 83300 | 50456 45681 44 | 0.005 % |
65.01/65.16 c | 136965 | 140 11900 83300 | 50456 46175 44 | 0.005 % |
65.31/65.44 c | 137507 | 140 11900 83300 | 50456 46717 44 | 0.005 % |
65.61/65.79 c | 138103 | 140 11900 83300 | 50456 47313 44 | 0.005 % |
66.01/66.15 c | 138759 | 140 11900 83300 | 50456 47969 44 | 0.005 % |
66.41/66.55 c | 139483 | 140 11900 83300 | 50456 48693 44 | 0.005 % |
66.81/66.94 c | 140275 | 140 11900 83300 | 2147483647 49485 44 | 0.005 % |
67.21/67.40 c | 141146 | 140 11900 83300 | 2147483647 50356 44 | 0.005 % |
67.80/67.92 c | 142104 | 140 11900 83300 | 2147483647 51314 44 | 0.005 % |
68.30/68.45 c | 143157 | 140 11900 83300 | 2147483647 52367 44 | 0.005 % |
68.80/68.99 c | 144315 | 140 11900 83300 | 2147483647 53525 44 | 0.005 % |
69.51/69.68 c | 145589 | 140 11900 83300 | 2147483647 54799 44 | 0.005 % |
70.50/70.63 c | 146991 | 140 11900 83300 | 2147483647 56201 44 | 0.005 % |
71.41/71.58 c | 148531 | 140 11900 83300 | 2147483647 57741 44 | 0.005 % |
71.50/71.67 c | 148632 | 140 11900 83300 | 2147483647 57842 44 | 0.005 % |
71.60/71.74 c | 148742 | 140 11900 83300 | 2147483647 57952 44 | 0.005 % |
71.70/71.83 c | 148864 | 140 11900 83300 | 2147483647 58074 44 | 0.005 % |
71.80/71.92 c | 148997 | 140 11900 83300 | 2147483647 58207 44 | 0.005 % |
71.90/72.02 c | 149145 | 140 11900 83300 | 2147483647 58355 44 | 0.005 % |
72.00/72.13 c | 149306 | 140 11900 83300 | 2147483647 58516 44 | 0.005 % |
72.10/72.24 c | 149484 | 140 11900 83300 | 2147483647 58694 44 | 0.005 % |
72.20/72.37 c | 149678 | 140 11900 83300 | 2147483647 58888 44 | 0.005 % |
72.30/72.50 c | 149891 | 140 11900 83300 | 2147483647 59101 44 | 0.005 % |
72.51/72.69 c | 150124 | 140 11900 83300 | 59210 52516 44 | 0.005 % |
72.70/72.84 c | 150380 | 140 11900 83300 | 59210 52772 44 | 0.005 % |
72.80/72.98 c | 150661 | 140 11900 83300 | 59210 53053 44 | 0.005 % |
73.00/73.14 c | 150970 | 140 11900 83300 | 59210 53362 44 | 0.005 % |
73.20/73.31 c | 151312 | 140 11900 83300 | 59210 53704 44 | 0.005 % |
73.40/73.53 c | 151685 | 140 11900 83300 | 59210 54077 44 | 0.005 % |
73.61/73.76 c | 152095 | 140 11900 83300 | 59210 54487 44 | 0.005 % |
73.90/74.08 c | 152546 | 140 11900 83300 | 59210 54938 44 | 0.005 % |
74.30/74.40 c | 153040 | 140 11900 83300 | 59210 55432 44 | 0.005 % |
74.71/74.81 c | 153584 | 140 11900 83300 | 59210 55976 44 | 0.005 % |
75.10/75.20 c | 154180 | 140 11900 83300 | 59210 56572 44 | 0.005 % |
75.50/75.64 c | 154835 | 140 11900 83300 | 59210 57227 44 | 0.005 % |
76.00/76.11 c | 155556 | 140 11900 83300 | 59210 57948 44 | 0.005 % |
76.60/76.74 c | 156350 | 140 11900 83300 | 59210 58742 44 | 0.005 % |
77.20/77.36 c | 157221 | 140 11900 83300 | 59210 51214 44 | 0.005 % |
77.70/77.89 c | 158180 | 140 11900 83300 | 59210 52173 44 | 0.005 % |
78.30/78.46 c | 159233 | 140 11900 83300 | 59210 53226 44 | 0.005 % |
79.00/79.11 c | 160391 | 140 11900 83300 | 53993 47090 44 | 0.005 % |
79.60/79.72 c | 161666 | 140 11900 83300 | 53993 48365 44 | 0.005 % |
80.20/80.34 c | 163066 | 140 11900 83300 | 53993 49765 44 | 0.005 % |
81.10/81.22 c | 164606 | 140 11900 83300 | 53993 51305 44 | 0.005 % |
82.00/82.15 c | 166300 | 140 11900 83300 | 53993 52999 44 | 0.005 % |
82.10/82.21 c | 166402 | 140 11900 83300 | 53993 53101 44 | 0.005 % |
82.10/82.28 c | 166512 | 140 11900 83300 | 53993 53211 44 | 0.005 % |
82.20/82.38 c | 166634 | 140 11900 83300 | 53993 53333 44 | 0.005 % |
82.30/82.47 c | 166768 | 140 11900 83300 | 53993 53467 44 | 0.005 % |
82.40/82.57 c | 166917 | 140 11900 83300 | 53993 53616 44 | 0.005 % |
82.50/82.69 c | 167078 | 140 11900 83300 | 53993 53777 44 | 0.005 % |
82.70/82.82 c | 167254 | 140 11900 83300 | 53993 53953 44 | 0.005 % |
82.80/82.99 c | 167447 | 140 11900 83300 | 53993 48099 44 | 0.005 % |
83.00/83.12 c | 167659 | 140 11900 83300 | 53993 48311 44 | 0.005 % |
83.10/83.24 c | 167893 | 140 11900 83300 | 53993 48545 44 | 0.005 % |
83.20/83.38 c | 168149 | 140 11900 83300 | 53993 48801 44 | 0.005 % |
83.40/83.54 c | 168431 | 140 11900 83300 | 53993 49083 44 | 0.005 % |
83.50/83.70 c | 168740 | 140 11900 83300 | 53993 49392 44 | 0.005 % |
83.69/83.87 c | 169080 | 140 11900 83300 | 53993 49732 44 | 0.005 % |
83.99/84.13 c | 169452 | 140 11900 83300 | 53993 50104 44 | 0.005 % |
84.19/84.36 c | 169861 | 140 11900 83300 | 53993 50513 44 | 0.005 % |
84.50/84.61 c | 170312 | 140 11900 83300 | 50654 45355 44 | 0.005 % |
84.69/84.85 c | 170807 | 140 11900 83300 | 50654 45850 44 | 0.005 % |
84.89/85.09 c | 171349 | 140 11900 83300 | 50654 46392 44 | 0.005 % |
85.19/85.38 c | 171947 | 140 11900 83300 | 50654 46990 44 | 0.005 % |
85.49/85.68 c | 172604 | 140 11900 83300 | 50654 47647 44 | 0.005 % |
85.89/86.03 c | 173324 | 140 11900 83300 | 50654 48367 44 | 0.005 % |
86.29/86.40 c | 174116 | 140 11900 83300 | 50654 49159 44 | 0.005 % |
86.69/86.81 c | 174987 | 140 11900 83300 | 50654 50030 44 | 0.005 % |
87.09/87.23 c | 175945 | 140 11900 83300 | 50654 45916 44 | 0.005 % |
87.59/87.72 c | 176998 | 140 11900 83300 | 50654 46969 44 | 0.005 % |
88.09/88.24 c | 178157 | 140 11900 83300 | 50654 48128 44 | 0.005 % |
88.69/88.89 c | 179431 | 140 11900 83300 | 50654 49402 44 | 0.005 % |
89.39/89.55 c | 180831 | 140 11900 83300 | 2147483647 50802 44 | 0.005 % |
90.19/90.33 c | 182372 | 140 11900 83300 | 2147483647 52343 44 | 0.005 % |
90.99/91.17 c | 184067 | 140 11900 83300 | 2147483647 54038 44 | 0.005 % |
92.19/92.34 c | 185930 | 140 11900 83300 | 2147483647 55901 44 | 0.005 % |
92.29/92.41 c | 186030 | 140 11900 83300 | 2147483647 56001 44 | 0.005 % |
92.29/92.49 c | 186142 | 140 11900 83300 | 2147483647 56113 44 | 0.005 % |
92.39/92.57 c | 186263 | 140 11900 83300 | 2147483647 56234 44 | 0.005 % |
92.49/92.66 c | 186397 | 140 11900 83300 | 2147483647 56368 44 | 0.005 % |
92.59/92.76 c | 186543 | 140 11900 83300 | 2147483647 56514 44 | 0.005 % |
92.79/92.90 c | 186703 | 140 11900 83300 | 2147483647 56674 44 | 0.005 % |
92.89/93.02 c | 186879 | 140 11900 83300 | 2147483647 56850 44 | 0.005 % |
92.99/93.17 c | 187073 | 140 11900 83300 | 2147483647 57044 44 | 0.005 % |
93.19/93.34 c | 187287 | 140 11900 83300 | 2147483647 57258 44 | 0.005 % |
93.39/93.50 c | 187521 | 140 11900 83300 | 2147483647 57492 44 | 0.005 % |
93.49/93.68 c | 187779 | 140 11900 83300 | 2147483647 57750 44 | 0.005 % |
93.69/93.86 c | 188060 | 140 11900 83300 | 2147483647 58031 44 | 0.005 % |
93.99/94.11 c | 188371 | 140 11900 83300 | 2147483647 58342 44 | 0.005 % |
94.19/94.35 c | 188712 | 140 11900 83300 | 2147483647 58683 44 | 0.005 % |
94.49/94.61 c | 189084 | 140 11900 83300 | 2147483647 59055 44 | 0.005 % |
94.79/94.93 c | 189495 | 140 11900 83300 | 2147483647 59466 44 | 0.005 % |
95.09/95.23 c | 189944 | 140 11900 83300 | 2147483647 59915 44 | 0.005 % |
95.39/95.58 c | 190439 | 140 11900 83300 | 59971 53027 44 | 0.005 % |
95.69/95.85 c | 190982 | 140 11900 83300 | 59971 53570 44 | 0.005 % |
95.99/96.17 c | 191581 | 140 11900 83300 | 59971 54169 44 | 0.005 % |
96.49/96.60 c | 192238 | 140 11900 83300 | 59971 54826 44 | 0.005 % |
96.88/97.01 c | 192958 | 140 11900 83300 | 59971 55546 44 | 0.005 % |
97.28/97.46 c | 193750 | 140 11900 83300 | 59971 56338 44 | 0.005 % |
97.88/98.00 c | 194621 | 140 11900 83300 | 59971 57209 44 | 0.005 % |
98.48/98.60 c | 195580 | 140 11900 83300 | 59971 58168 44 | 0.005 % |
99.18/99.31 c | 196636 | 140 11900 83300 | 59971 59224 44 | 0.005 % |
99.89/100.10 c | 197794 | 140 11900 83300 | 59971 52100 44 | 0.005 % |
100.58/100.78 c | 199069 | 140 11900 83300 | 59971 53375 44 | 0.005 % |
101.39/101.57 c | 200469 | 140 11900 83300 | 54308 47465 44 | 0.005 % |
102.20/102.30 c | 202009 | 140 11900 83300 | 54308 49005 44 | 0.005 % |
103.09/103.26 c | 203704 | 140 11900 83300 | 54308 50700 44 | 0.005 % |
104.09/104.21 c | 205569 | 140 11900 83300 | 54308 52565 44 | 0.005 % |
105.29/105.40 c | 207619 | 140 11900 83300 | 54308 48589 44 | 0.005 % |
105.29/105.46 c | 207719 | 140 11900 83300 | 54308 48689 44 | 0.005 % |
105.40/105.52 c | 207829 | 140 11900 83300 | 54308 48799 44 | 0.005 % |
105.40/105.59 c | 207950 | 140 11900 83300 | 54308 48920 44 | 0.005 % |
105.49/105.66 c | 208083 | 140 11900 83300 | 54308 49053 44 | 0.005 % |
105.59/105.77 c | 208230 | 140 11900 83300 | 54308 49200 44 | 0.005 % |
105.69/105.87 c | 208390 | 140 11900 83300 | 54308 49360 44 | 0.005 % |
105.79/105.97 c | 208570 | 140 11900 83300 | 54308 49540 44 | 0.005 % |
105.89/106.10 c | 208765 | 140 11900 83300 | 54308 49735 44 | 0.005 % |
106.09/106.23 c | 208978 | 140 11900 83300 | 54308 49948 44 | 0.005 % |
106.19/106.36 c | 209215 | 140 11900 83300 | 54308 50185 44 | 0.005 % |
106.39/106.52 c | 209471 | 140 11900 83300 | 54308 50441 44 | 0.005 % |
106.49/106.68 c | 209752 | 140 11900 83300 | 54308 50722 44 | 0.005 % |
106.69/106.87 c | 210061 | 140 11900 83300 | 50970 51031 44 | 0.005 % |
106.89/107.08 c | 210400 | 140 11900 83300 | 50970 45714 44 | 0.005 % |
107.09/107.25 c | 210775 | 140 11900 83300 | 50970 46089 44 | 0.005 % |
107.29/107.45 c | 211187 | 140 11900 83300 | 50970 46501 44 | 0.005 % |
107.49/107.67 c | 211638 | 140 11900 83300 | 50970 46952 44 | 0.005 % |
107.79/107.92 c | 212132 | 140 11900 83300 | 50970 47446 44 | 0.005 % |
107.99/108.17 c | 212675 | 140 11900 83300 | 50970 47989 44 | 0.005 % |
108.29/108.46 c | 213274 | 140 11900 83300 | 50970 48588 44 | 0.005 % |
108.59/108.77 c | 213929 | 140 11900 83300 | 50970 49243 44 | 0.005 % |
108.99/109.12 c | 214653 | 140 11900 83300 | 50970 49967 44 | 0.005 % |
109.39/109.51 c | 215447 | 140 11900 83300 | 50970 50761 44 | 0.005 % |
109.79/109.97 c | 216319 | 140 11900 83300 | 50970 46530 44 | 0.005 % |
110.28/110.42 c | 217277 | 140 11900 83300 | 50970 47488 44 | 0.005 % |
110.78/110.95 c | 218330 | 140 11900 83300 | 50970 48541 44 | 0.005 % |
111.38/111.55 c | 219488 | 140 11900 83300 | 50970 49699 44 | 0.005 % |
112.08/112.20 c | 220762 | 140 11900 83300 | 2147483647 50973 44 | 0.005 % |
112.78/112.93 c | 222163 | 140 11900 83300 | 2147483647 52374 44 | 0.005 % |
113.68/113.80 c | 223703 | 140 11900 83300 | 2147483647 53914 44 | 0.005 % |
114.58/114.73 c | 225400 | 140 11900 83300 | 2147483647 55611 44 | 0.005 % |
115.58/115.72 c | 227263 | 140 11900 83300 | 2147483647 57474 44 | 0.005 % |
116.78/116.98 c | 229314 | 140 11900 83300 | 2147483647 59525 44 | 0.005 % |
118.28/118.41 c | 231567 | 140 11900 83300 | 60211 55256 44 | 0.005 % |
118.28/118.49 c | 231669 | 140 11900 83300 | 60211 55358 44 | 0.005 % |
118.38/118.56 c | 231781 | 140 11900 83300 | 60211 55470 44 | 0.005 % |
118.48/118.65 c | 231902 | 140 11900 83300 | 60211 55591 44 | 0.005 % |
118.58/118.74 c | 232035 | 140 11900 83300 | 60211 55724 44 | 0.005 % |
118.68/118.85 c | 232185 | 140 11900 83300 | 60211 55874 44 | 0.005 % |
118.78/118.97 c | 232345 | 140 11900 83300 | 60211 56034 44 | 0.005 % |
118.88/119.09 c | 232522 | 140 11900 83300 | 60211 56211 44 | 0.005 % |
119.08/119.23 c | 232715 | 140 11900 83300 | 60211 56404 44 | 0.005 % |
119.17/119.38 c | 232928 | 140 11900 83300 | 60211 56617 44 | 0.005 % |
119.37/119.55 c | 233164 | 140 11900 83300 | 60211 56853 44 | 0.005 % |
119.57/119.74 c | 233420 | 140 11900 83300 | 60211 57109 44 | 0.005 % |
119.78/119.92 c | 233701 | 140 11900 83300 | 60211 57390 44 | 0.005 % |
119.97/120.11 c | 234010 | 140 11900 83300 | 60211 57699 44 | 0.005 % |
120.17/120.38 c | 234349 | 140 11900 83300 | 60211 58038 44 | 0.005 % |
120.47/120.61 c | 234723 | 140 11900 83300 | 60211 58412 44 | 0.005 % |
120.67/120.85 c | 235134 | 140 11900 83300 | 60211 58823 44 | 0.005 % |
120.97/121.13 c | 235583 | 140 11900 83300 | 60211 59272 44 | 0.005 % |
121.27/121.48 c | 236077 | 140 11900 83300 | 60211 59766 44 | 0.005 % |
121.77/121.92 c | 236622 | 140 11900 83300 | 60211 51882 43 | 0.005 % |
122.07/122.29 c | 237218 | 140 11900 83300 | 60211 52478 43 | 0.005 % |
122.47/122.65 c | 237874 | 140 11900 83300 | 60211 53134 43 | 0.005 % |
122.87/123.09 c | 238594 | 140 11900 83300 | 60211 53854 43 | 0.005 % |
123.47/123.60 c | 239387 | 140 11900 83300 | 60211 54647 43 | 0.005 % |
123.97/124.15 c | 240259 | 140 11900 83300 | 55264 47978 43 | 0.005 % |
124.37/124.59 c | 241218 | 140 11900 83300 | 55264 48937 43 | 0.005 % |
124.97/125.13 c | 242274 | 140 11900 83300 | 55264 49993 43 | 0.005 % |
125.57/125.73 c | 243435 | 140 11900 83300 | 55264 51154 43 | 0.005 % |
126.17/126.38 c | 244709 | 140 11900 83300 | 55264 52428 43 | 0.005 % |
126.97/127.18 c | 246109 | 140 11900 83300 | 55264 53828 43 | 0.005 % |
127.87/128.08 c | 247649 | 140 11900 83300 | 55264 49683 43 | 0.005 % |
128.77/128.99 c | 249343 | 140 11900 83300 | 55264 51377 43 | 0.005 % |
129.87/130.07 c | 251206 | 140 11900 83300 | 2147483647 53240 43 | 0.005 % |
131.07/131.27 c | 253255 | 140 11900 83300 | 2147483647 55289 43 | 0.005 % |
132.47/132.64 c | 255508 | 140 11900 83300 | 2147483647 57542 44 | 0.005 % |
134.17/134.30 c | 257986 | 140 11900 83300 | 2147483647 60020 44 | 0.005 % |
134.17/134.38 c | 258086 | 140 11900 83300 | 2147483647 60120 44 | 0.005 % |
134.27/134.47 c | 258197 | 140 11900 83300 | 2147483647 60231 44 | 0.005 % |
134.37/134.55 c | 258319 | 140 11900 83300 | 2147483647 60353 44 | 0.005 % |
134.47/134.65 c | 258452 | 140 11900 83300 | 2147483647 60486 44 | 0.005 % |
134.57/134.77 c | 258598 | 140 11900 83300 | 2147483647 60632 44 | 0.005 % |
134.77/134.91 c | 258758 | 140 11900 83300 | 2147483647 60792 44 | 0.005 % |
134.86/135.05 c | 258934 | 140 11900 83300 | 2147483647 60968 44 | 0.005 % |
134.96/135.17 c | 259128 | 140 11900 83300 | 2147483647 61162 44 | 0.005 % |
135.17/135.32 c | 259340 | 140 11900 83300 | 2147483647 61374 44 | 0.005 % |
135.26/135.49 c | 259574 | 140 11900 83300 | 2147483647 61608 44 | 0.005 % |
135.56/135.70 c | 259830 | 140 11900 83300 | 2147483647 61864 44 | 0.005 % |
135.76/135.97 c | 260111 | 140 11900 83300 | 62034 53397 43 | 0.005 % |
135.96/136.17 c | 260422 | 140 11900 83300 | 62034 53708 43 | 0.005 % |
136.17/136.37 c | 260762 | 140 11900 83300 | 62034 54048 43 | 0.005 % |
136.36/136.58 c | 261134 | 140 11900 83300 | 62034 54420 43 | 0.005 % |
136.66/136.84 c | 261543 | 140 11900 83300 | 62034 54829 43 | 0.005 % |
136.97/137.15 c | 261993 | 140 11900 83300 | 62034 55279 43 | 0.005 % |
137.27/137.48 c | 262486 | 140 11900 83300 | 62034 55772 43 | 0.005 % |
137.67/137.80 c | 263030 | 140 11900 83300 | 62034 56316 43 | 0.005 % |
137.97/138.18 c | 263627 | 140 11900 83300 | 62034 56913 43 | 0.005 % |
138.37/138.56 c | 264282 | 140 11900 83300 | 62034 57568 43 | 0.005 % |
138.77/138.99 c | 265003 | 140 11900 83300 | 62034 58289 43 | 0.005 % |
139.27/139.45 c | 265795 | 140 11900 83300 | 62034 59081 43 | 0.005 % |
139.77/139.97 c | 266666 | 140 11900 83300 | 62034 59952 43 | 0.005 % |
140.47/140.62 c | 267624 | 140 11900 83300 | 62034 60910 43 | 0.005 % |
141.07/141.28 c | 268677 | 140 11900 83300 | 62034 61963 43 | 0.005 % |
141.77/141.95 c | 269837 | 140 11900 83300 | 62034 54162 43 | 0.005 % |
142.47/142.68 c | 271110 | 140 11900 83300 | 54325 47797 43 | 0.005 % |
143.17/143.38 c | 272511 | 140 11900 83300 | 54325 49198 43 | 0.005 % |
144.07/144.24 c | 274051 | 140 11900 83300 | 54325 50738 43 | 0.005 % |
144.97/145.14 c | 275746 | 140 11900 83300 | 54325 52433 43 | 0.005 % |
146.07/146.20 c | 277609 | 140 11900 83300 | 54325 54296 43 | 0.005 % |
147.06/147.29 c | 279661 | 140 11900 83300 | 54325 50370 44 | 0.005 % |
148.27/148.48 c | 281914 | 140 11900 83300 | 50712 47317 44 | 0.005 % |
149.47/149.69 c | 284393 | 140 11900 83300 | 50712 49796 44 | 0.005 % |
150.86/151.00 c | 287119 | 140 11900 83300 | 50712 47445 44 | 0.005 % |
150.86/151.05 c | 287220 | 140 11900 83300 | 50712 47546 44 | 0.005 % |
150.96/151.11 c | 287330 | 140 11900 83300 | 50712 47656 44 | 0.005 % |
150.96/151.18 c | 287452 | 140 11900 83300 | 50712 47778 44 | 0.005 % |
151.06/151.25 c | 287585 | 140 11900 83300 | 50712 47911 44 | 0.005 % |
151.16/151.35 c | 287733 | 140 11900 83300 | 50712 48059 44 | 0.005 % |
151.26/151.45 c | 287894 | 140 11900 83300 | 50712 48220 44 | 0.005 % |
151.36/151.56 c | 288070 | 140 11900 83300 | 50712 48396 44 | 0.005 % |
151.46/151.69 c | 288264 | 140 11900 83300 | 50712 48590 44 | 0.005 % |
151.66/151.81 c | 288477 | 140 11900 83300 | 50712 48803 44 | 0.005 % |
151.76/151.94 c | 288711 | 140 11900 83300 | 50712 49037 44 | 0.005 % |
151.86/152.09 c | 288968 | 140 11900 83300 | 50712 49294 44 | 0.005 % |
152.06/152.23 c | 289249 | 140 11900 83300 | 50712 49575 44 | 0.005 % |
152.26/152.42 c | 289559 | 140 11900 83300 | 50712 49885 44 | 0.005 % |
152.46/152.60 c | 289899 | 140 11900 83300 | 50712 50225 44 | 0.005 % |
152.56/152.80 c | 290271 | 140 11900 83300 | 2147483647 50597 44 | 0.005 % |
152.86/153.03 c | 290680 | 140 11900 83300 | 2147483647 51006 44 | 0.005 % |
153.06/153.27 c | 291129 | 140 11900 83300 | 2147483647 51455 44 | 0.005 % |
153.36/153.52 c | 291624 | 140 11900 83300 | 2147483647 51950 44 | 0.005 % |
153.66/153.80 c | 292166 | 140 11900 83300 | 2147483647 52492 44 | 0.005 % |
153.96/154.13 c | 292762 | 140 11900 83300 | 2147483647 53088 44 | 0.005 % |
154.36/154.51 c | 293417 | 140 11900 83300 | 2147483647 53743 44 | 0.005 % |
154.76/154.95 c | 294138 | 140 11900 83300 | 2147483647 54464 44 | 0.005 % |
155.25/155.41 c | 294930 | 140 11900 83300 | 2147483647 55256 44 | 0.005 % |
155.75/155.93 c | 295802 | 140 11900 83300 | 2147483647 56128 44 | 0.005 % |
156.25/156.48 c | 296760 | 140 11900 83300 | 2147483647 57086 44 | 0.005 % |
156.95/157.10 c | 297813 | 140 11900 83300 | 2147483647 58139 44 | 0.005 % |
157.55/157.75 c | 298971 | 140 11900 83300 | 2147483647 59297 44 | 0.005 % |
158.35/158.56 c | 300245 | 140 11900 83300 | 60326 53770 44 | 0.005 % |
159.15/159.32 c | 301646 | 140 11900 83300 | 60326 55171 44 | 0.005 % |
160.05/160.21 c | 303186 | 140 11900 83300 | 60326 56711 44 | 0.005 % |
160.95/161.17 c | 304881 | 140 11900 83300 | 60326 58406 44 | 0.005 % |
162.15/162.34 c | 306746 | 140 11900 83300 | 60326 60271 44 | 0.005 % |
163.45/163.60 c | 308796 | 140 11900 83300 | 60326 55184 44 | 0.005 % |
164.75/164.93 c | 311050 | 140 11900 83300 | 56389 50782 44 | 0.005 % |
166.15/166.34 c | 313528 | 140 11900 83300 | 56389 53260 44 | 0.005 % |
167.75/167.92 c | 316254 | 140 11900 83300 | 56389 55986 44 | 0.005 % |
169.45/169.63 c | 319253 | 140 11900 83300 | 56389 52160 44 | 0.005 % |
169.45/169.68 c | 319356 | 140 11900 83300 | 56389 52263 44 | 0.005 % |
169.55/169.76 c | 319466 | 140 11900 83300 | 56389 52373 44 | 0.005 % |
169.65/169.83 c | 319589 | 140 11900 83300 | 56389 52496 44 | 0.005 % |
169.75/169.93 c | 319722 | 140 11900 83300 | 56389 52629 44 | 0.005 % |
169.85/170.04 c | 319870 | 140 11900 83300 | 56389 52777 44 | 0.005 % |
169.95/170.14 c | 320032 | 140 11900 83300 | 52907 52939 44 | 0.005 % |
170.05/170.29 c | 320208 | 140 11900 83300 | 52907 46831 44 | 0.005 % |
170.15/170.39 c | 320402 | 140 11900 83300 | 52907 47025 44 | 0.005 % |
170.35/170.52 c | 320616 | 140 11900 83300 | 52907 47239 44 | 0.005 % |
170.45/170.65 c | 320849 | 140 11900 83300 | 52907 47472 44 | 0.005 % |
170.65/170.82 c | 321107 | 140 11900 83300 | 52907 47730 44 | 0.005 % |
170.75/170.97 c | 321388 | 140 11900 83300 | 52907 48011 44 | 0.005 % |
170.95/171.12 c | 321698 | 140 11900 83300 | 52907 48321 44 | 0.005 % |
171.05/171.29 c | 322040 | 140 11900 83300 | 52907 48663 44 | 0.005 % |
171.35/171.53 c | 322413 | 140 11900 83300 | 52907 49036 44 | 0.005 % |
171.55/171.79 c | 322822 | 140 11900 83300 | 52907 49445 44 | 0.005 % |
171.84/172.05 c | 323272 | 140 11900 83300 | 52907 49895 44 | 0.005 % |
172.14/172.33 c | 323765 | 140 11900 83300 | 52907 50388 44 | 0.005 % |
172.45/172.63 c | 324308 | 140 11900 83300 | 52907 50931 44 | 0.005 % |
172.74/172.91 c | 324905 | 140 11900 83300 | 52907 51528 44 | 0.005 % |
173.04/173.24 c | 325560 | 140 11900 83300 | 52907 52183 44 | 0.005 % |
173.44/173.69 c | 326281 | 140 11900 83300 | 52907 52904 44 | 0.005 % |
173.94/174.16 c | 327076 | 140 11900 83300 | 52907 48115 44 | 0.005 % |
174.34/174.59 c | 327948 | 140 11900 83300 | 52907 48987 44 | 0.005 % |
174.94/175.10 c | 328906 | 140 11900 83300 | 52907 49945 44 | 0.005 % |
175.44/175.66 c | 329961 | 140 11900 83300 | 52907 51000 44 | 0.005 % |
176.04/176.28 c | 331119 | 140 11900 83300 | 2147483647 52158 44 | 0.005 % |
176.85/177.02 c | 332392 | 140 11900 83300 | 2147483647 53431 44 | 0.005 % |
177.64/177.83 c | 333792 | 140 11900 83300 | 2147483647 54831 44 | 0.005 % |
178.54/178.73 c | 335332 | 140 11900 83300 | 2147483647 56371 44 | 0.005 % |
179.54/179.76 c | 337028 | 140 11900 83300 | 2147483647 58067 44 | 0.005 % |
180.84/181.02 c | 338891 | 140 11900 83300 | 2147483647 59930 44 | 0.005 % |
182.04/182.27 c | 340940 | 140 11900 83300 | 61039 54150 44 | 0.005 % |
183.34/183.54 c | 343196 | 140 11900 83300 | 61039 56406 44 | 0.005 % |
184.64/184.86 c | 345674 | 140 11900 83300 | 61039 58884 44 | 0.005 % |
186.24/186.43 c | 348399 | 140 11900 83300 | 61039 54013 44 | 0.005 % |
187.74/187.97 c | 351396 | 140 11900 83300 | 55614 50359 44 | 0.005 % |
189.54/189.73 c | 354693 | 140 11900 83300 | 55614 53656 44 | 0.005 % |
189.54/189.79 c | 354793 | 140 11900 83300 | 55614 53756 44 | 0.005 % |
189.64/189.85 c | 354903 | 140 11900 83300 | 55614 53866 44 | 0.005 % |
189.74/189.93 c | 355025 | 140 11900 83300 | 55614 53988 44 | 0.005 % |
189.84/190.03 c | 355159 | 140 11900 83300 | 55614 54122 44 | 0.005 % |
189.94/190.14 c | 355307 | 140 11900 83300 | 55614 54270 44 | 0.005 % |
190.04/190.24 c | 355467 | 140 11900 83300 | 55614 54430 44 | 0.005 % |
190.14/190.35 c | 355644 | 140 11900 83300 | 55614 54607 44 | 0.005 % |
190.24/190.47 c | 355838 | 140 11900 83300 | 55614 54801 44 | 0.005 % |
190.44/190.61 c | 356052 | 140 11900 83300 | 55614 55015 44 | 0.005 % |
190.54/190.80 c | 356286 | 140 11900 83300 | 55614 55249 44 | 0.005 % |
190.74/190.97 c | 356543 | 140 11900 83300 | 55614 55506 44 | 0.005 % |
191.04/191.20 c | 356824 | 140 11900 83300 | 55614 49805 44 | 0.005 % |
191.14/191.38 c | 357133 | 140 11900 83300 | 55614 50114 44 | 0.005 % |
191.34/191.58 c | 357472 | 140 11900 83300 | 55614 50453 44 | 0.005 % |
191.54/191.77 c | 357847 | 140 11900 83300 | 55614 50828 44 | 0.005 % |
191.73/191.97 c | 358257 | 140 11900 83300 | 55614 51238 44 | 0.005 % |
192.03/192.21 c | 358707 | 140 11900 83300 | 55614 51688 44 | 0.005 % |
192.24/192.43 c | 359200 | 140 11900 83300 | 55614 52181 44 | 0.005 % |
192.53/192.76 c | 359744 | 140 11900 83300 | 55614 52725 44 | 0.005 % |
192.93/193.12 c | 360340 | 140 11900 83300 | 52982 47713 44 | 0.005 % |
193.23/193.46 c | 360998 | 140 11900 83300 | 52982 48371 44 | 0.005 % |
193.63/193.84 c | 361718 | 140 11900 83300 | 52982 49091 44 | 0.005 % |
194.03/194.28 c | 362510 | 140 11900 83300 | 52982 49883 44 | 0.005 % |
194.63/194.83 c | 363381 | 140 11900 83300 | 52982 50754 44 | 0.005 % |
195.13/195.37 c | 364339 | 140 11900 83300 | 52982 51712 44 | 0.005 % |
195.73/195.93 c | 365393 | 140 11900 83300 | 52982 52766 44 | 0.005 % |
196.33/196.51 c | 366551 | 140 11900 83300 | 52982 48620 44 | 0.005 % |
197.03/197.21 c | 367825 | 140 11900 83300 | 52982 49894 44 | 0.005 % |
197.84/198.01 c | 369226 | 140 11900 83300 | 52982 51295 44 | 0.005 % |
198.53/198.78 c | 370769 | 140 11900 83300 | 2147483647 52838 44 | 0.005 % |
199.43/199.69 c | 372465 | 140 11900 83300 | 2147483647 54534 44 | 0.005 % |
200.52/200.77 c | 374329 | 140 11900 83300 | 2147483647 56398 44 | 0.005 % |
201.73/201.94 c | 376379 | 140 11900 83300 | 2147483647 58448 44 | 0.005 % |
203.12/203.33 c | 378632 | 140 11900 83300 | 2147483647 60701 44 | 0.005 % |
204.72/204.97 c | 381111 | 140 11900 83300 | 62069 55240 44 | 0.005 % |
206.32/206.52 c | 383836 | 140 11900 83300 | 62069 57965 44 | 0.005 % |
208.12/208.36 c | 386835 | 140 11900 83300 | 62069 60964 44 | 0.005 % |
210.02/210.29 c | 390131 | 140 11900 83300 | 55532 48316 44 | 0.005 % |
212.02/212.21 c | 393759 | 140 11900 83300 | 55532 51944 44 | 0.005 % |
212.02/212.28 c | 393859 | 140 11900 83300 | 55532 52044 44 | 0.005 % |
212.12/212.35 c | 393969 | 140 11900 83300 | 55532 52154 44 | 0.005 % |
212.22/212.42 c | 394091 | 140 11900 83300 | 55532 52276 44 | 0.005 % |
212.32/212.53 c | 394224 | 140 11900 83300 | 55532 52409 44 | 0.005 % |
212.42/212.64 c | 394371 | 140 11900 83300 | 55532 52556 44 | 0.005 % |
212.52/212.74 c | 394532 | 140 11900 83300 | 55532 52717 44 | 0.005 % |
212.62/212.87 c | 394708 | 140 11900 83300 | 55532 52893 44 | 0.005 % |
212.72/212.99 c | 394901 | 140 11900 83300 | 55532 53086 44 | 0.005 % |
212.92/213.11 c | 395113 | 140 11900 83300 | 55532 53298 44 | 0.005 % |
213.02/213.26 c | 395346 | 140 11900 83300 | 55532 53531 44 | 0.005 % |
213.22/213.41 c | 395603 | 140 11900 83300 | 55532 53788 44 | 0.005 % |
213.32/213.59 c | 395885 | 140 11900 83300 | 55532 54070 44 | 0.005 % |
213.52/213.78 c | 396196 | 140 11900 83300 | 55532 54381 44 | 0.005 % |
213.72/213.98 c | 396535 | 140 11900 83300 | 55532 54720 44 | 0.005 % |
214.02/214.25 c | 396909 | 140 11900 83300 | 55532 55094 44 | 0.005 % |
214.32/214.52 c | 397318 | 140 11900 83300 | 55532 55503 44 | 0.005 % |
214.62/214.86 c | 397767 | 140 11900 83300 | 55532 49443 44 | 0.005 % |
214.92/215.11 c | 398262 | 140 11900 83300 | 55532 49938 44 | 0.005 % |
215.22/215.43 c | 398805 | 140 11900 83300 | 55532 50481 44 | 0.005 % |
215.52/215.76 c | 399401 | 140 11900 83300 | 55532 51077 44 | 0.005 % |
215.92/216.14 c | 400060 | 140 11900 83300 | 51676 51736 44 | 0.005 % |
216.32/216.56 c | 400781 | 140 11900 83300 | 51676 46579 44 | 0.005 % |
216.72/216.96 c | 401575 | 140 11900 83300 | 51676 47373 44 | 0.005 % |
217.22/217.46 c | 402446 | 140 11900 83300 | 51676 48244 44 | 0.005 % |
217.82/218.00 c | 403405 | 140 11900 83300 | 51676 49203 44 | 0.005 % |
218.42/218.62 c | 404460 | 140 11900 83300 | 51676 50258 44 | 0.005 % |
219.01/219.22 c | 405618 | 140 11900 83300 | 51676 51416 44 | 0.005 % |
219.72/219.90 c | 406891 | 140 11900 83300 | 51676 47515 44 | 0.005 % |
220.41/220.68 c | 408293 | 140 11900 83300 | 51676 48917 44 | 0.005 % |
221.21/221.48 c | 409833 | 140 11900 83300 | 51676 50457 44 | 0.005 % |
222.11/222.39 c | 411527 | 140 11900 83300 | 2147483647 52151 44 | 0.005 % |
223.31/223.50 c | 413390 | 140 11900 83300 | 2147483647 54014 44 | 0.005 % |
224.51/224.73 c | 415441 | 140 11900 83300 | 2147483647 56065 44 | 0.005 % |
225.71/225.95 c | 417694 | 140 11900 83300 | 2147483647 58318 44 | 0.005 % |
227.21/227.42 c | 420172 | 140 11900 83300 | 60625 53722 44 | 0.005 % |
228.62/228.85 c | 422899 | 140 11900 83300 | 60625 56449 44 | 0.005 % |
230.31/230.54 c | 425896 | 140 11900 83300 | 60625 59446 44 | 0.005 % |
232.31/232.55 c | 429193 | 140 11900 83300 | 60625 55331 44 | 0.005 % |
234.21/234.48 c | 432819 | 140 11900 83300 | 56138 52262 44 | 0.005 % |
236.51/236.71 c | 436806 | 140 11900 83300 | 56138 50629 44 | 0.005 % |
236.51/236.76 c | 436906 | 140 11900 83300 | 56138 50729 44 | 0.005 % |
236.61/236.83 c | 437018 | 140 11900 83300 | 56138 50841 44 | 0.005 % |
236.71/236.91 c | 437140 | 140 11900 83300 | 56138 50963 44 | 0.005 % |
236.81/237.01 c | 437273 | 140 11900 83300 | 56138 51096 44 | 0.005 % |
236.91/237.10 c | 437420 | 140 11900 83300 | 56138 51243 44 | 0.005 % |
236.91/237.19 c | 437581 | 140 11900 83300 | 56138 51404 44 | 0.005 % |
237.11/237.32 c | 437761 | 140 11900 83300 | 56138 51584 44 | 0.005 % |
237.21/237.42 c | 437954 | 140 11900 83300 | 56138 51777 44 | 0.005 % |
237.31/237.55 c | 438167 | 140 11900 83300 | 56138 51990 44 | 0.005 % |
237.41/237.68 c | 438400 | 140 11900 83300 | 56138 52223 44 | 0.005 % |
237.61/237.81 c | 438656 | 140 11900 83300 | 56138 52479 44 | 0.005 % |
237.71/237.96 c | 438937 | 140 11900 83300 | 56138 52760 44 | 0.005 % |
237.91/238.11 c | 439248 | 140 11900 83300 | 56138 53071 44 | 0.005 % |
238.11/238.30 c | 439588 | 140 11900 83300 | 56138 53411 44 | 0.005 % |
238.31/238.58 c | 439961 | 140 11900 83300 | 56138 53784 44 | 0.005 % |
238.61/238.85 c | 440371 | 140 11900 83300 | 53828 48413 44 | 0.005 % |
238.81/239.08 c | 440822 | 140 11900 83300 | 53828 48864 44 | 0.005 % |
239.11/239.37 c | 441315 | 140 11900 83300 | 53828 49357 44 | 0.005 % |
239.41/239.70 c | 441859 | 140 11900 83300 | 53828 49901 44 | 0.005 % |
239.80/240.04 c | 442455 | 140 11900 83300 | 53828 50497 44 | 0.005 % |
240.10/240.37 c | 443110 | 140 11900 83300 | 53828 51152 44 | 0.005 % |
240.50/240.75 c | 443831 | 140 11900 83300 | 53828 51873 44 | 0.005 % |
240.90/241.16 c | 444623 | 140 11900 83300 | 53828 52665 44 | 0.005 % |
241.40/241.63 c | 445494 | 140 11900 83300 | 53828 53536 44 | 0.005 % |
241.90/242.17 c | 446452 | 140 11900 83300 | 53828 49105 44 | 0.005 % |
242.50/242.72 c | 447507 | 140 11900 83300 | 53828 50160 44 | 0.005 % |
243.20/243.45 c | 448665 | 140 11900 83300 | 53828 51318 44 | 0.005 % |
244.01/244.21 c | 449940 | 140 11900 83300 | 53828 52593 44 | 0.005 % |
244.70/244.92 c | 451341 | 140 11900 83300 | 52654 48667 44 | 0.005 % |
245.40/245.69 c | 452882 | 140 11900 83300 | 52654 50208 44 | 0.005 % |
246.40/246.63 c | 454576 | 140 11900 83300 | 52654 51902 44 | 0.005 % |
247.40/247.61 c | 456439 | 140 11900 83300 | 52654 48493 44 | 0.005 % |
248.30/248.58 c | 458491 | 140 11900 83300 | 52654 50545 44 | 0.005 % |
249.50/249.74 c | 460744 | 140 11900 83300 | 2147483647 52798 44 | 0.005 % |
250.80/251.03 c | 463223 | 140 11900 83300 | 2147483647 55277 44 | 0.005 % |
252.40/252.61 c | 465949 | 140 11900 83300 | 2147483647 58003 44 | 0.005 % |
254.10/254.36 c | 468946 | 140 11900 83300 | 2147483647 61000 44 | 0.005 % |
256.10/256.36 c | 472242 | 140 11900 83300 | 62054 56839 44 | 0.005 % |
258.20/258.50 c | 475867 | 140 11900 83300 | 62054 60464 44 | 0.005 % |
260.59/260.81 c | 479854 | 140 11900 83300 | 62054 56300 44 | 0.005 % |
262.79/263.06 c | 484240 | 140 11900 83300 | 56447 53485 44 | 0.005 % |
262.89/263.12 c | 484342 | 140 11900 83300 | 56447 53587 44 | 0.005 % |
262.89/263.17 c | 484453 | 140 11900 83300 | 56447 53698 44 | 0.005 % |
262.99/263.24 c | 484575 | 140 11900 83300 | 56447 53820 44 | 0.005 % |
263.09/263.35 c | 484710 | 140 11900 83300 | 56447 53955 44 | 0.005 % |
263.19/263.43 c | 484856 | 140 11900 83300 | 56447 54101 44 | 0.005 % |
263.29/263.53 c | 485016 | 140 11900 83300 | 56447 54261 44 | 0.005 % |
263.39/263.65 c | 485193 | 140 11900 83300 | 56447 54438 44 | 0.005 % |
263.49/263.76 c | 485386 | 140 11900 83300 | 56447 54631 44 | 0.005 % |
263.59/263.89 c | 485598 | 140 11900 83300 | 56447 54843 44 | 0.005 % |
263.80/264.05 c | 485833 | 140 11900 83300 | 56447 55078 44 | 0.005 % |
263.99/264.20 c | 486090 | 140 11900 83300 | 56447 55335 44 | 0.005 % |
264.09/264.38 c | 486373 | 140 11900 83300 | 56447 55618 44 | 0.005 % |
264.29/264.57 c | 486684 | 140 11900 83300 | 56447 55929 44 | 0.005 % |
264.49/264.79 c | 487023 | 140 11900 83300 | 56447 56268 44 | 0.005 % |
264.80/265.08 c | 487396 | 140 11900 83300 | 56447 50036 44 | 0.005 % |
265.09/265.34 c | 487805 | 140 11900 83300 | 56447 50445 44 | 0.005 % |
265.39/265.60 c | 488254 | 140 11900 83300 | 56447 50894 44 | 0.005 % |
265.59/265.86 c | 488747 | 140 11900 83300 | 56447 51387 44 | 0.005 % |
265.89/266.15 c | 489290 | 140 11900 83300 | 56447 51930 44 | 0.005 % |
266.29/266.52 c | 489887 | 140 11900 83300 | 56447 52527 44 | 0.005 % |
266.69/266.90 c | 490542 | 140 11900 83300 | 52640 47047 44 | 0.005 % |
266.99/267.27 c | 491263 | 140 11900 83300 | 52640 47768 44 | 0.005 % |
267.39/267.65 c | 492056 | 140 11900 83300 | 52640 48561 44 | 0.005 % |
267.89/268.13 c | 492928 | 140 11900 83300 | 52640 49433 44 | 0.005 % |
268.39/268.67 c | 493886 | 140 11900 83300 | 52640 50391 44 | 0.005 % |
268.99/269.25 c | 494939 | 140 11900 83300 | 52640 51444 44 | 0.005 % |
269.69/269.92 c | 496097 | 140 11900 83300 | 52640 52602 44 | 0.005 % |
270.39/270.66 c | 497372 | 140 11900 83300 | 52640 48380 44 | 0.005 % |
271.29/271.51 c | 498772 | 140 11900 83300 | 52640 49780 44 | 0.005 % |
272.19/272.49 c | 500312 | 140 11900 83300 | 51008 46039 44 | 0.005 % |
273.19/273.50 c | 502006 | 140 11900 83300 | 51008 47733 44 | 0.005 % |
274.28/274.51 c | 503870 | 140 11900 83300 | 51008 49597 44 | 0.005 % |
275.28/275.60 c | 505919 | 140 11900 83300 | 51008 46539 44 | 0.005 % |
276.48/276.70 c | 508174 | 140 11900 83300 | 51008 48794 44 | 0.005 % |
277.58/277.87 c | 510653 | 140 11900 83300 | 2147483647 51273 44 | 0.005 % |
279.09/279.36 c | 513379 | 140 11900 83300 | 2147483647 53999 44 | 0.005 % |
280.78/281.08 c | 516377 | 140 11900 83300 | 2147483647 56997 44 | 0.005 % |
282.78/283.01 c | 519674 | 140 11900 83300 | 2147483647 60294 44 | 0.005 % |
284.88/285.12 c | 523302 | 140 11900 83300 | 60621 56962 44 | 0.005 % |
287.18/287.40 c | 527290 | 140 11900 83300 | 60621 53736 44 | 0.005 % |
289.58/289.86 c | 531677 | 140 11900 83300 | 56447 51443 44 | 0.005 % |
292.07/292.33 c | 536500 | 140 11900 83300 | 56447 56266 44 | 0.005 % |
292.17/292.42 c | 536600 | 140 11900 83300 | 56447 56366 44 | 0.005 % |
292.28/292.51 c | 536711 | 140 11900 83300 | 56447 56477 44 | 0.005 % |
292.38/292.64 c | 536833 | 140 11900 83300 | 56447 50907 44 | 0.005 % |
292.47/292.72 c | 536966 | 140 11900 83300 | 56447 51040 44 | 0.005 % |
292.57/292.82 c | 537115 | 140 11900 83300 | 56447 51189 44 | 0.005 % |
292.67/292.91 c | 537275 | 140 11900 83300 | 56447 51349 44 | 0.005 % |
292.77/293.01 c | 537452 | 140 11900 83300 | 56447 51526 44 | 0.005 % |
292.87/293.11 c | 537645 | 140 11900 83300 | 56447 51719 44 | 0.005 % |
292.97/293.24 c | 537860 | 140 11900 83300 | 56447 51934 44 | 0.005 % |
293.07/293.39 c | 538093 | 140 11900 83300 | 56447 52167 44 | 0.005 % |
293.27/293.58 c | 538351 | 140 11900 83300 | 56447 52425 44 | 0.005 % |
293.47/293.76 c | 538634 | 140 11900 83300 | 56447 52708 44 | 0.005 % |
293.67/293.94 c | 538943 | 140 11900 83300 | 56447 53017 44 | 0.005 % |
293.87/294.14 c | 539282 | 140 11900 83300 | 56447 53356 44 | 0.005 % |
294.07/294.37 c | 539656 | 140 11900 83300 | 56447 53730 44 | 0.005 % |
294.37/294.64 c | 540066 | 140 11900 83300 | 54076 48424 44 | 0.005 % |
294.67/294.91 c | 540515 | 140 11900 83300 | 54076 48873 44 | 0.005 % |
294.97/295.21 c | 541011 | 140 11900 83300 | 54076 49369 44 | 0.005 % |
295.27/295.55 c | 541555 | 140 11900 83300 | 54076 49913 44 | 0.005 % |
295.67/295.90 c | 542153 | 140 11900 83300 | 54076 50511 44 | 0.005 % |
295.96/296.27 c | 542809 | 140 11900 83300 | 54076 51167 44 | 0.005 % |
296.36/296.66 c | 543532 | 140 11900 83300 | 54076 51890 44 | 0.005 % |
296.86/297.18 c | 544326 | 140 11900 83300 | 54076 52684 44 | 0.005 % |
297.46/297.72 c | 545197 | 140 11900 83300 | 54076 53555 44 | 0.005 % |
298.06/298.35 c | 546156 | 140 11900 83300 | 54076 48646 44 | 0.005 % |
298.66/298.95 c | 547211 | 140 11900 83300 | 54076 49701 44 | 0.005 % |
299.26/299.57 c | 548369 | 140 11900 83300 | 54076 50859 44 | 0.005 % |
299.96/300.26 c | 549642 | 140 11900 83300 | 54076 52132 44 | 0.005 % |
300.76/301.01 c | 551042 | 140 11900 83300 | 52492 47998 44 | 0.005 % |
301.66/301.91 c | 552585 | 140 11900 83300 | 52492 49541 44 | 0.005 % |
302.56/302.83 c | 554279 | 140 11900 83300 | 52492 51235 44 | 0.005 % |
303.66/303.90 c | 556144 | 140 11900 83300 | 52492 47792 44 | 0.005 % |
304.66/304.94 c | 558193 | 140 11900 83300 | 52492 49841 44 | 0.005 % |
305.86/306.13 c | 560446 | 140 11900 83300 | 2147483647 52094 44 | 0.005 % |
307.26/307.51 c | 562925 | 140 11900 83300 | 2147483647 54573 44 | 0.005 % |
308.76/309.03 c | 565650 | 140 11900 83300 | 2147483647 57298 44 | 0.005 % |
310.56/310.85 c | 568647 | 140 11900 83300 | 2147483647 60295 44 | 0.005 % |
312.56/312.85 c | 571945 | 140 11900 83300 | 61648 55844 44 | 0.005 % |
314.66/314.90 c | 575570 | 140 11900 83300 | 61648 59469 44 | 0.005 % |
317.05/317.37 c | 579557 | 140 11900 83300 | 61648 55224 44 | 0.005 % |
319.25/319.55 c | 583942 | 140 11900 83300 | 55667 52250 44 | 0.005 % |
321.65/321.99 c | 588767 | 140 11900 83300 | 55667 51092 44 | 0.005 % |
324.16/324.41 c | 594073 | 140 11900 83300 | 52325 51017 44 | 0.005 % |
324.16/324.48 c | 594174 | 140 11900 83300 | 52325 51118 44 | 0.005 % |
324.26/324.56 c | 594286 | 140 11900 83300 | 52325 51230 44 | 0.005 % |
324.35/324.64 c | 594413 | 140 11900 83300 | 52325 51357 44 | 0.005 % |
324.45/324.72 c | 594547 | 140 11900 83300 | 52325 51491 44 | 0.005 % |
324.55/324.83 c | 594694 | 140 11900 83300 | 52325 51638 44 | 0.005 % |
324.65/324.94 c | 594854 | 140 11900 83300 | 52325 51798 44 | 0.005 % |
324.75/325.08 c | 595031 | 140 11900 83300 | 52325 51975 44 | 0.005 % |
324.96/325.21 c | 595224 | 140 11900 83300 | 52325 52168 44 | 0.005 % |
325.06/325.33 c | 595437 | 140 11900 83300 | 52325 52381 44 | 0.005 % |
325.16/325.49 c | 595671 | 140 11900 83300 | 52325 47377 44 | 0.005 % |
325.36/325.63 c | 595928 | 140 11900 83300 | 52325 47634 44 | 0.005 % |
325.46/325.77 c | 596209 | 140 11900 83300 | 52325 47915 44 | 0.005 % |
325.66/325.94 c | 596518 | 140 11900 83300 | 52325 48224 44 | 0.005 % |
325.86/326.18 c | 596857 | 140 11900 83300 | 52325 48563 44 | 0.005 % |
326.16/326.44 c | 597229 | 140 11900 83300 | 52325 48935 44 | 0.005 % |
326.36/326.66 c | 597640 | 140 11900 83300 | 52325 49346 44 | 0.005 % |
326.66/326.92 c | 598090 | 140 11900 83300 | 52325 49796 44 | 0.005 % |
326.96/327.24 c | 598583 | 140 11900 83300 | 52325 50289 44 | 0.005 % |
327.26/327.58 c | 599125 | 140 11900 83300 | 52325 50831 44 | 0.005 % |
327.66/327.97 c | 599721 | 140 11900 83300 | 52325 51427 44 | 0.005 % |
328.06/328.36 c | 600378 | 140 11900 83300 | 2147483647 52084 44 | 0.005 % |
328.46/328.78 c | 601100 | 140 11900 83300 | 2147483647 52806 44 | 0.005 % |
328.86/329.19 c | 601892 | 140 11900 83300 | 2147483647 53598 44 | 0.005 % |
329.36/329.69 c | 602763 | 140 11900 83300 | 2147483647 54469 44 | 0.005 % |
329.96/330.20 c | 603721 | 140 11900 83300 | 2147483647 55427 44 | 0.005 % |
330.46/330.78 c | 604775 | 140 11900 83300 | 2147483647 56481 44 | 0.005 % |
331.06/331.37 c | 605933 | 140 11900 83300 | 2147483647 57639 44 | 0.005 % |
331.86/332.13 c | 607206 | 140 11900 83300 | 2147483647 58912 44 | 0.005 % |
332.66/332.94 c | 608606 | 140 11900 83300 | 2147483647 60312 44 | 0.005 % |
333.66/333.98 c | 610150 | 140 11900 83300 | 61706 54421 44 | 0.005 % |
334.56/334.80 c | 611844 | 140 11900 83300 | 61706 56115 44 | 0.005 % |
335.55/335.88 c | 613707 | 140 11900 83300 | 61706 57978 44 | 0.005 % |
336.75/337.02 c | 615756 | 140 11900 83300 | 61706 60027 44 | 0.005 % |
338.05/338.31 c | 618009 | 140 11900 83300 | 61706 55123 44 | 0.005 % |
339.65/339.92 c | 620490 | 140 11900 83300 | 57114 50488 44 | 0.005 % |
341.05/341.39 c | 623219 | 140 11900 83300 | 57114 53217 44 | 0.005 % |
342.75/343.06 c | 626216 | 140 11900 83300 | 57114 56214 44 | 0.005 % |
344.54/344.86 c | 629512 | 140 11900 83300 | 57114 52672 44 | 0.005 % |
346.54/346.84 c | 633137 | 140 11900 83300 | 53160 50144 44 | 0.005 % |
348.84/349.11 c | 637124 | 140 11900 83300 | 53160 48491 44 | 0.005 % |
351.24/351.55 c | 641510 | 140 11900 83300 | 2147483647 52877 44 | 0.005 % |
354.14/354.47 c | 646334 | 140 11900 83300 | 2147483647 57701 44 | 0.005 % |
357.44/357.75 c | 651640 | 140 11900 83300 | 61367 54674 44 | 0.005 % |
360.74/361.05 c | 657475 | 140 11900 83300 | 61367 60509 44 | 0.005 % |
360.84/361.13 c | 657576 | 140 11900 83300 | 61367 60610 44 | 0.005 % |
360.94/361.22 c | 657688 | 140 11900 83300 | 61367 60722 44 | 0.005 % |
361.04/361.32 c | 657810 | 140 11900 83300 | 61367 60844 44 | 0.005 % |
361.04/361.40 c | 657943 | 140 11900 83300 | 61367 60977 44 | 0.005 % |
361.14/361.49 c | 658090 | 140 11900 83300 | 61367 61124 44 | 0.005 % |
361.34/361.63 c | 658251 | 140 11900 83300 | 61367 61285 44 | 0.005 % |
361.54/361.83 c | 658429 | 140 11900 83300 | 61367 53223 44 | 0.005 % |
361.64/361.95 c | 658622 | 140 11900 83300 | 61367 53416 44 | 0.005 % |
361.74/362.07 c | 658834 | 140 11900 83300 | 61367 53628 44 | 0.005 % |
361.94/362.22 c | 659068 | 140 11900 83300 | 61367 53862 44 | 0.005 % |
362.04/362.39 c | 659325 | 140 11900 83300 | 61367 54119 44 | 0.005 % |
362.24/362.56 c | 659606 | 140 11900 83300 | 61367 54400 44 | 0.005 % |
362.44/362.75 c | 659915 | 140 11900 83300 | 61367 54709 44 | 0.005 % |
362.64/363.00 c | 660254 | 140 11900 83300 | 54795 47546 44 | 0.005 % |
362.94/363.20 c | 660626 | 140 11900 83300 | 54795 47918 44 | 0.005 % |
363.14/363.41 c | 661035 | 140 11900 83300 | 54795 48327 44 | 0.005 % |
363.44/363.70 c | 661485 | 140 11900 83300 | 54795 48777 44 | 0.005 % |
363.64/363.98 c | 661978 | 140 11900 83300 | 54795 49270 44 | 0.005 % |
363.94/364.29 c | 662521 | 140 11900 83300 | 54795 49813 44 | 0.005 % |
364.34/364.68 c | 663118 | 140 11900 83300 | 54795 50410 44 | 0.005 % |
364.74/365.03 c | 663774 | 140 11900 83300 | 54795 51066 44 | 0.005 % |
365.14/365.45 c | 664495 | 140 11900 83300 | 54795 51787 44 | 0.005 % |
365.64/365.91 c | 665289 | 140 11900 83300 | 54795 52581 44 | 0.005 % |
366.14/366.42 c | 666160 | 140 11900 83300 | 54795 53452 44 | 0.005 % |
366.64/366.98 c | 667118 | 140 11900 83300 | 54795 54410 44 | 0.005 % |
367.24/367.58 c | 668172 | 140 11900 83300 | 54795 49193 44 | 0.005 % |
367.84/368.18 c | 669330 | 140 11900 83300 | 54795 50351 44 | 0.005 % |
368.54/368.82 c | 670605 | 140 11900 83300 | 51021 46206 44 | 0.005 % |
369.14/369.47 c | 672006 | 140 11900 83300 | 51021 47607 44 | 0.005 % |
370.04/370.32 c | 673546 | 140 11900 83300 | 51021 49147 44 | 0.005 % |
370.93/371.27 c | 675242 | 140 11900 83300 | 51021 50843 44 | 0.005 % |
372.03/372.32 c | 677105 | 140 11900 83300 | 51021 47598 44 | 0.005 % |
373.23/373.50 c | 679154 | 140 11900 83300 | 51021 49647 44 | 0.005 % |
374.44/374.73 c | 681409 | 140 11900 83300 | 2147483647 51902 44 | 0.005 % |
375.73/376.07 c | 683888 | 140 11900 83300 | 2147483647 54381 44 | 0.005 % |
377.23/377.55 c | 686615 | 140 11900 83300 | 2147483647 57108 44 | 0.005 % |
378.93/379.27 c | 689612 | 140 11900 83300 | 2147483647 60105 44 | 0.005 % |
380.72/381.05 c | 692908 | 140 11900 83300 | 60493 57178 44 | 0.005 % |
382.72/383.01 c | 696534 | 140 11900 83300 | 60493 54192 44 | 0.005 % |
385.02/385.38 c | 700523 | 140 11900 83300 | 57658 51354 44 | 0.005 % |
387.62/387.98 c | 704908 | 140 11900 83300 | 57658 55739 44 | 0.005 % |
390.52/390.87 c | 709733 | 140 11900 83300 | 57658 53330 44 | 0.005 % |
393.22/393.56 c | 715039 | 140 11900 83300 | 53597 52031 44 | 0.005 % |
396.52/396.82 c | 720874 | 140 11900 83300 | 2147483647 52500 44 | 0.005 % |
400.42/400.74 c | 727293 | 140 11900 83300 | 2147483647 58919 44 | 0.005 % |
400.52/400.81 c | 727394 | 140 11900 83300 | 2147483647 59020 44 | 0.005 % |
400.52/400.89 c | 727504 | 140 11900 83300 | 2147483647 59130 44 | 0.005 % |
400.72/401.00 c | 727627 | 140 11900 83300 | 2147483647 59253 44 | 0.005 % |
400.72/401.10 c | 727761 | 140 11900 83300 | 2147483647 59387 44 | 0.005 % |
400.92/401.21 c | 727908 | 140 11900 83300 | 2147483647 59534 44 | 0.005 % |
401.02/401.34 c | 728068 | 140 11900 83300 | 2147483647 59694 44 | 0.005 % |
401.12/401.49 c | 728246 | 140 11900 83300 | 2147483647 59872 44 | 0.005 % |
401.32/401.65 c | 728442 | 140 11900 83300 | 2147483647 60068 44 | 0.005 % |
401.41/401.80 c | 728654 | 140 11900 83300 | 2147483647 60280 44 | 0.005 % |
401.61/401.97 c | 728888 | 140 11900 83300 | 2147483647 60514 44 | 0.005 % |
401.81/402.15 c | 729144 | 140 11900 83300 | 2147483647 60770 44 | 0.005 % |
402.01/402.36 c | 729426 | 140 11900 83300 | 2147483647 61052 44 | 0.005 % |
402.22/402.57 c | 729735 | 140 11900 83300 | 2147483647 61361 44 | 0.005 % |
402.51/402.87 c | 730075 | 140 11900 83300 | 61626 53622 44 | 0.005 % |
402.81/403.18 c | 730447 | 140 11900 83300 | 61626 53994 44 | 0.005 % |
403.11/403.45 c | 730856 | 140 11900 83300 | 61626 54403 44 | 0.005 % |
403.42/403.72 c | 731307 | 140 11900 83300 | 61626 54854 44 | 0.005 % |
403.71/404.01 c | 731800 | 140 11900 83300 | 61626 55347 44 | 0.005 % |
404.01/404.35 c | 732342 | 140 11900 83300 | 61626 55889 44 | 0.005 % |
404.42/404.73 c | 732938 | 140 11900 83300 | 61626 56485 44 | 0.005 % |
404.81/405.12 c | 733594 | 140 11900 83300 | 61626 57141 44 | 0.005 % |
405.31/405.66 c | 734316 | 140 11900 83300 | 61626 57863 44 | 0.005 % |
405.91/406.21 c | 735108 | 140 11900 83300 | 61626 58655 44 | 0.005 % |
406.51/406.84 c | 735984 | 140 11900 83300 | 61626 59531 44 | 0.005 % |
407.21/407.52 c | 736942 | 140 11900 83300 | 61626 60489 44 | 0.005 % |
407.91/408.25 c | 737996 | 140 11900 83300 | 61626 61543 44 | 0.005 % |
408.61/408.96 c | 739156 | 140 11900 83300 | 61626 53494 44 | 0.005 % |
409.31/409.69 c | 740429 | 140 11900 83300 | 54338 47010 44 | 0.005 % |
410.11/410.40 c | 741829 | 140 11900 83300 | 54338 48410 44 | 0.005 % |
410.91/411.20 c | 743369 | 140 11900 83300 | 54338 49950 44 | 0.005 % |
411.71/412.04 c | 745065 | 140 11900 83300 | 54338 51646 44 | 0.005 % |
412.91/413.24 c | 746928 | 140 11900 83300 | 54338 53509 44 | 0.005 % |
414.01/414.37 c | 748977 | 140 11900 83300 | 54338 49262 44 | 0.005 % |
415.11/415.49 c | 751231 | 140 11900 83300 | 50287 45877 44 | 0.005 % |
416.30/416.64 c | 753710 | 140 11900 83300 | 50287 48356 44 | 0.005 % |
417.50/417.89 c | 756435 | 140 11900 83300 | 50287 46047 44 | 0.005 % |
418.81/419.16 c | 759432 | 140 11900 83300 | 50287 49044 44 | 0.005 % |
420.50/420.84 c | 762728 | 140 11900 83300 | 2147483647 52340 44 | 0.005 % |
422.40/422.78 c | 766354 | 140 11900 83300 | 2147483647 55966 44 | 0.005 % |
424.60/424.96 c | 770341 | 140 11900 83300 | 2147483647 59953 44 | 0.005 % |
427.40/427.71 c | 774727 | 140 11900 83300 | 2147483647 64339 44 | 0.005 % |
430.59/430.96 c | 779553 | 140 11900 83300 | 2147483647 69165 44 | 0.005 % |
433.89/434.21 c | 784860 | 140 11900 83300 | 69612 63273 44 | 0.005 % |
437.69/438.05 c | 790695 | 140 11900 83300 | 68413 57443 44 | 0.005 % |
441.49/441.83 c | 797114 | 140 11900 83300 | 68413 63862 44 | 0.005 % |
445.99/446.33 c | 804173 | 140 11900 83300 | 66750 60403 44 | 0.005 % |
446.09/446.41 c | 804275 | 140 11900 83300 | 66750 60505 44 | 0.005 % |
446.09/446.49 c | 804388 | 140 11900 83300 | 66750 60618 44 | 0.005 % |
446.19/446.57 c | 804509 | 140 11900 83300 | 66750 60739 44 | 0.005 % |
446.29/446.68 c | 804643 | 140 11900 83300 | 66750 60873 44 | 0.005 % |
446.49/446.80 c | 804789 | 140 11900 83300 | 66750 61019 44 | 0.005 % |
446.49/446.89 c | 804951 | 140 11900 83300 | 66750 61181 44 | 0.005 % |
446.69/447.01 c | 805127 | 140 11900 83300 | 66750 61357 44 | 0.005 % |
446.79/447.15 c | 805321 | 140 11900 83300 | 66750 61551 44 | 0.005 % |
446.99/447.33 c | 805535 | 140 11900 83300 | 66750 61765 44 | 0.005 % |
447.19/447.53 c | 805768 | 140 11900 83300 | 66750 61998 44 | 0.005 % |
447.39/447.72 c | 806024 | 140 11900 83300 | 66750 62254 44 | 0.005 % |
447.59/447.98 c | 806306 | 140 11900 83300 | 66750 62536 44 | 0.005 % |
447.89/448.23 c | 806617 | 140 11900 83300 | 66750 62847 44 | 0.005 % |
448.19/448.52 c | 806957 | 140 11900 83300 | 66750 63187 44 | 0.005 % |
448.39/448.80 c | 807332 | 140 11900 83300 | 66750 63562 44 | 0.005 % |
448.79/449.11 c | 807741 | 140 11900 83300 | 66750 63971 44 | 0.005 % |
449.09/449.40 c | 808190 | 140 11900 83300 | 66750 64420 44 | 0.005 % |
449.39/449.78 c | 808683 | 140 11900 83300 | 66750 64913 44 | 0.005 % |
449.79/450.18 c | 809226 | 140 11900 83300 | 66750 65456 44 | 0.005 % |
450.19/450.57 c | 809823 | 140 11900 83300 | 66750 66053 44 | 0.005 % |
450.69/451.06 c | 810478 | 140 11900 83300 | 66230 55965 44 | 0.005 % |
451.09/451.47 c | 811198 | 140 11900 83300 | 66230 56685 44 | 0.005 % |
451.48/451.89 c | 811990 | 140 11900 83300 | 66230 57477 44 | 0.005 % |
451.98/452.38 c | 812862 | 140 11900 83300 | 66230 58349 44 | 0.005 % |
452.58/452.97 c | 813820 | 140 11900 83300 | 66230 59307 44 | 0.005 % |
453.18/453.57 c | 814874 | 140 11900 83300 | 66230 60361 44 | 0.005 % |
453.89/454.24 c | 816034 | 140 11900 83300 | 66230 61521 44 | 0.005 % |
454.78/455.13 c | 817308 | 140 11900 83300 | 66230 62795 44 | 0.005 % |
455.58/455.91 c | 818708 | 140 11900 83300 | 66230 64195 44 | 0.005 % |
456.48/456.88 c | 820248 | 140 11900 83300 | 65489 55871 44 | 0.005 % |
457.48/457.83 c | 821942 | 140 11900 83300 | 65489 57565 44 | 0.005 % |
458.58/458.97 c | 823807 | 140 11900 83300 | 65489 59430 44 | 0.005 % |
459.78/460.18 c | 825856 | 140 11900 83300 | 65489 61479 44 | 0.005 % |
461.18/461.56 c | 828112 | 140 11900 83300 | 65489 63735 44 | 0.005 % |
462.68/463.06 c | 830590 | 140 11900 83300 | 55997 48388 44 | 0.005 % |
464.08/464.47 c | 833315 | 140 11900 83300 | 55997 51113 44 | 0.005 % |
465.68/466.04 c | 836313 | 140 11900 83300 | 55997 54111 44 | 0.005 % |
467.38/467.73 c | 839612 | 140 11900 83300 | 55997 50690 44 | 0.005 % |
469.08/469.46 c | 843237 | 140 11900 83300 | 51078 48497 44 | 0.005 % |
471.07/471.49 c | 847225 | 140 11900 83300 | 51078 47371 44 | 0.005 % |
473.17/473.55 c | 851612 | 140 11900 83300 | 2147483647 51758 44 | 0.005 % |
475.77/476.20 c | 856438 | 140 11900 83300 | 2147483647 56584 44 | 0.005 % |
478.97/479.33 c | 861743 | 140 11900 83300 | 2147483647 61889 44 | 0.005 % |
482.87/483.25 c | 867578 | 140 11900 83300 | 2147483647 67724 44 | 0.005 % |
487.06/487.46 c | 873998 | 140 11900 83300 | 70147 62583 44 | 0.005 % |
491.37/491.79 c | 881057 | 140 11900 83300 | 68585 57763 44 | 0.005 % |
496.06/496.42 c | 888821 | 140 11900 83300 | 68585 65527 45 | 0.005 % |
496.06/496.49 c | 888922 | 140 11900 83300 | 68585 65628 45 | 0.005 % |
496.16/496.57 c | 889032 | 140 11900 83300 | 68585 65738 45 | 0.005 % |
496.26/496.68 c | 889153 | 140 11900 83300 | 68585 65859 45 | 0.005 % |
496.36/496.77 c | 889286 | 140 11900 83300 | 68585 65992 45 | 0.005 % |
496.46/496.88 c | 889432 | 140 11900 83300 | 68585 66138 45 | 0.005 % |
496.56/496.99 c | 889592 | 140 11900 83300 | 68585 66298 45 | 0.005 % |
496.77/497.12 c | 889768 | 140 11900 83300 | 68585 66474 45 | 0.005 % |
496.87/497.27 c | 889962 | 140 11900 83300 | 68585 66668 45 | 0.005 % |
497.16/497.50 c | 890174 | 140 11900 83300 | 66707 55365 45 | 0.005 % |
497.26/497.65 c | 890408 | 140 11900 83300 | 66707 55599 45 | 0.005 % |
497.46/497.81 c | 890664 | 140 11900 83300 | 66707 55855 45 | 0.005 % |
497.56/497.96 c | 890948 | 140 11900 83300 | 66707 56139 45 | 0.005 % |
497.76/498.13 c | 891257 | 140 11900 83300 | 66707 56448 45 | 0.005 % |
497.97/498.35 c | 891596 | 140 11900 83300 | 66707 56787 45 | 0.005 % |
498.16/498.58 c | 891969 | 140 11900 83300 | 66707 57160 45 | 0.005 % |
498.46/498.89 c | 892378 | 140 11900 83300 | 66707 57569 45 | 0.005 % |
498.76/499.18 c | 892829 | 140 11900 83300 | 66707 58020 45 | 0.005 % |
499.16/499.51 c | 893322 | 140 11900 83300 | 66707 58513 45 | 0.005 % |
499.46/499.88 c | 893865 | 140 11900 83300 | 66707 59056 45 | 0.005 % |
499.86/500.26 c | 894461 | 140 11900 83300 | 66707 59652 45 | 0.005 % |
500.36/500.72 c | 895117 | 140 11900 83300 | 66707 60308 45 | 0.005 % |
500.76/501.19 c | 895837 | 140 11900 83300 | 66707 61028 44 | 0.005 % |
501.26/501.70 c | 896629 | 140 11900 83300 | 66707 61820 44 | 0.005 % |
501.86/502.23 c | 897501 | 140 11900 83300 | 66707 62692 44 | 0.005 % |
502.56/502.99 c | 898459 | 140 11900 83300 | 66707 63650 44 | 0.005 % |
503.36/503.71 c | 899512 | 140 11900 83300 | 66707 64703 44 | 0.005 % |
504.26/504.61 c | 900671 | 140 11900 83300 | 65191 54922 44 | 0.005 % |
504.96/505.32 c | 901944 | 140 11900 83300 | 65191 56195 44 | 0.005 % |
505.86/506.23 c | 903345 | 140 11900 83300 | 65191 57596 44 | 0.005 % |
506.76/507.18 c | 904889 | 140 11900 83300 | 65191 59140 44 | 0.005 % |
507.86/508.22 c | 906583 | 140 11900 83300 | 65191 60834 44 | 0.005 % |
509.16/509.52 c | 908447 | 140 11900 83300 | 65191 62698 44 | 0.005 % |
510.66/511.05 c | 910496 | 140 11900 83300 | 64252 54263 44 | 0.005 % |
512.06/512.45 c | 912752 | 140 11900 83300 | 64252 56519 44 | 0.005 % |
513.46/513.88 c | 915231 | 140 11900 83300 | 64252 58998 44 | 0.005 % |
515.16/515.59 c | 917956 | 140 11900 83300 | 64252 61723 44 | 0.005 % |
517.16/517.56 c | 920953 | 140 11900 83300 | 63767 55310 44 | 0.005 % |
519.15/519.51 c | 924249 | 140 11900 83300 | 63767 58606 44 | 0.005 % |
521.25/521.60 c | 927875 | 140 11900 83300 | 63767 62232 44 | 0.005 % |
523.35/523.73 c | 931862 | 140 11900 83300 | 55522 49823 44 | 0.005 % |
525.65/526.04 c | 936248 | 140 11900 83300 | 55522 54209 44 | 0.005 % |
528.15/528.50 c | 941072 | 140 11900 83300 | 2147483647 53475 44 | 0.005 % |
531.25/531.67 c | 946377 | 140 11900 83300 | 2147483647 58780 44 | 0.005 % |
534.65/535.04 c | 952212 | 140 11900 83300 | 62404 56683 44 | 0.005 % |
538.35/538.73 c | 958632 | 140 11900 83300 | 62404 55410 44 | 0.005 % |
541.95/542.39 c | 965691 | 140 11900 83300 | 56778 55592 44 | 0.005 % |
546.04/546.41 c | 973456 | 140 11900 83300 | 2147483647 57674 44 | 0.005 % |
550.84/551.25 c | 981996 | 140 11900 83300 | 64220 58487 44 | 0.005 % |
550.94/551.32 c | 982096 | 140 11900 83300 | 64220 58587 44 | 0.005 % |
551.04/551.41 c | 982209 | 140 11900 83300 | 64220 58700 44 | 0.005 % |
551.04/551.49 c | 982330 | 140 11900 83300 | 64220 58821 44 | 0.005 % |
551.14/551.59 c | 982464 | 140 11900 83300 | 64220 58955 44 | 0.005 % |
551.24/551.68 c | 982610 | 140 11900 83300 | 64220 59101 44 | 0.005 % |
551.34/551.78 c | 982772 | 140 11900 83300 | 64220 59263 44 | 0.005 % |
551.44/551.88 c | 982949 | 140 11900 83300 | 64220 59440 44 | 0.005 % |
551.64/552.02 c | 983143 | 140 11900 83300 | 64220 59634 44 | 0.005 % |
551.75/552.18 c | 983357 | 140 11900 83300 | 64220 59848 44 | 0.005 % |
551.94/552.34 c | 983591 | 140 11900 83300 | 64220 60082 44 | 0.005 % |
552.14/552.54 c | 983848 | 140 11900 83300 | 64220 60339 44 | 0.005 % |
552.34/552.73 c | 984130 | 140 11900 83300 | 64220 60621 44 | 0.005 % |
552.54/552.97 c | 984442 | 140 11900 83300 | 64220 60933 44 | 0.005 % |
552.74/553.16 c | 984781 | 140 11900 83300 | 64220 61272 44 | 0.005 % |
552.94/553.38 c | 985154 | 140 11900 83300 | 64220 61645 44 | 0.005 % |
553.24/553.63 c | 985563 | 140 11900 83300 | 64220 62054 44 | 0.005 % |
553.54/553.97 c | 986014 | 140 11900 83300 | 64220 62505 44 | 0.005 % |
553.94/554.32 c | 986507 | 140 11900 83300 | 64220 62998 44 | 0.005 % |
554.24/554.69 c | 987049 | 140 11900 83300 | 64220 63540 44 | 0.005 % |
554.64/555.09 c | 987649 | 140 11900 83300 | 64220 64140 44 | 0.005 % |
555.14/555.54 c | 988305 | 140 11900 83300 | 64220 55136 44 | 0.005 % |
555.54/555.92 c | 989025 | 140 11900 83300 | 64220 55856 44 | 0.005 % |
556.04/556.42 c | 989817 | 140 11900 83300 | 64220 56648 44 | 0.005 % |
556.54/556.93 c | 990688 | 140 11900 83300 | 56832 49245 44 | 0.005 % |
557.04/557.46 c | 991646 | 140 11900 83300 | 56832 50203 44 | 0.005 % |
557.64/558.01 c | 992700 | 140 11900 83300 | 56832 51257 44 | 0.005 % |
558.24/558.61 c | 993858 | 140 11900 83300 | 56832 52415 44 | 0.005 % |
558.94/559.30 c | 995134 | 140 11900 83300 | 56832 53691 44 | 0.005 % |
559.73/560.12 c | 996534 | 140 11900 83300 | 56832 55091 44 | 0.005 % |
560.73/561.15 c | 998075 | 140 11900 83300 | 56832 56632 44 | 0.005 % |
561.74/562.14 c | 999769 | 140 11900 83300 | 56832 51383 44 | 0.005 % |
562.63/563.09 c | 1001632 | 140 11900 83300 | 51616 47103 44 | 0.005 % |
563.73/564.17 c | 1003681 | 140 11900 83300 | 51616 49152 44 | 0.005 % |
564.93/565.35 c | 1005934 | 140 11900 83300 | 51616 51405 44 | 0.005 % |
566.13/566.57 c | 1008412 | 140 11900 83300 | 51616 48715 44 | 0.005 % |
567.53/567.93 c | 1011137 | 140 11900 83300 | 2147483647 51440 44 | 0.005 % |
569.13/569.52 c | 1014135 | 140 11900 83300 | 2147483647 54438 44 | 0.005 % |
571.03/571.43 c | 1017431 | 140 11900 83300 | 2147483647 57734 44 | 0.005 % |
573.02/573.44 c | 1021057 | 140 11900 83300 | 60303 55070 44 | 0.005 % |
575.32/575.75 c | 1025045 | 140 11900 83300 | 60303 59058 44 | 0.005 % |
577.82/578.29 c | 1029433 | 140 11900 83300 | 60303 55773 44 | 0.005 % |
580.43/580.82 c | 1034259 | 140 11900 83300 | 56340 53677 44 | 0.005 % |
583.32/583.70 c | 1039565 | 140 11900 83300 | 56340 52946 44 | 0.005 % |
586.32/586.77 c | 1045401 | 140 11900 83300 | 53381 53113 44 | 0.005 % |
589.52/589.97 c | 1051820 | 140 11900 83300 | 2147483647 54131 44 | 0.005 % |
593.22/593.68 c | 1058879 | 140 11900 83300 | 2147483647 61190 44 | 0.005 % |
597.52/597.98 c | 1066644 | 140 11900 83300 | 62313 61700 44 | 0.005 % |
602.42/602.87 c | 1075187 | 140 11900 83300 | 57380 55456 44 | 0.005 % |
607.31/607.74 c | 1084582 | 140 11900 83300 | 53467 52203 44 | 0.005 % |
607.41/607.82 c | 1084682 | 140 11900 83300 | 53467 52303 44 | 0.005 % |
607.51/607.90 c | 1084792 | 140 11900 83300 | 53467 52413 44 | 0.005 % |
607.51/607.98 c | 1084915 | 140 11900 83300 | 53467 52536 44 | 0.005 % |
607.61/608.06 c | 1085049 | 140 11900 83300 | 53467 52670 44 | 0.005 % |
607.71/608.16 c | 1085195 | 140 11900 83300 | 53467 52816 44 | 0.005 % |
607.81/608.26 c | 1085358 | 140 11900 83300 | 53467 52979 44 | 0.005 % |
607.91/608.38 c | 1085534 | 140 11900 83300 | 53467 53155 44 | 0.005 % |
608.11/608.51 c | 1085727 | 140 11900 83300 | 53467 53348 44 | 0.005 % |
608.21/608.69 c | 1085939 | 140 11900 83300 | 53467 48208 44 | 0.005 % |
608.41/608.83 c | 1086172 | 140 11900 83300 | 53467 48441 44 | 0.005 % |
608.51/608.97 c | 1086429 | 140 11900 83300 | 53467 48698 44 | 0.005 % |
608.71/609.13 c | 1086712 | 140 11900 83300 | 53467 48981 44 | 0.005 % |
608.81/609.30 c | 1087021 | 140 11900 83300 | 53467 49290 44 | 0.005 % |
609.11/609.50 c | 1087362 | 140 11900 83300 | 53467 49631 44 | 0.005 % |
609.31/609.71 c | 1087734 | 140 11900 83300 | 53467 50003 44 | 0.005 % |
609.51/609.96 c | 1088145 | 140 11900 83300 | 53467 50414 44 | 0.005 % |
609.81/610.22 c | 1088594 | 140 11900 83300 | 53467 50863 44 | 0.005 % |
610.11/610.50 c | 1089087 | 140 11900 83300 | 53467 51356 44 | 0.005 % |
610.41/610.85 c | 1089629 | 140 11900 83300 | 53467 51898 44 | 0.005 % |
610.81/611.23 c | 1090226 | 140 11900 83300 | 52273 47079 44 | 0.005 % |
611.11/611.56 c | 1090882 | 140 11900 83300 | 52273 47735 44 | 0.005 % |
611.41/611.88 c | 1091602 | 140 11900 83300 | 52273 48455 44 | 0.005 % |
611.81/612.28 c | 1092396 | 140 11900 83300 | 52273 49249 44 | 0.005 % |
612.31/612.75 c | 1093268 | 140 11900 83300 | 52273 50121 44 | 0.005 % |
612.81/613.26 c | 1094229 | 140 11900 83300 | 52273 51082 44 | 0.005 % |
613.31/613.79 c | 1095283 | 140 11900 83300 | 52273 52136 44 | 0.005 % |
614.00/614.43 c | 1096442 | 140 11900 83300 | 52273 48062 44 | 0.005 % |
614.60/615.04 c | 1097716 | 140 11900 83300 | 52273 49336 44 | 0.005 % |
615.30/615.77 c | 1099116 | 140 11900 83300 | 52273 50736 44 | 0.005 % |
616.10/616.56 c | 1100659 | 140 11900 83300 | 2147483647 52279 44 | 0.005 % |
616.90/617.40 c | 1102353 | 140 11900 83300 | 2147483647 53973 44 | 0.005 % |
617.90/618.32 c | 1104216 | 140 11900 83300 | 2147483647 55836 44 | 0.005 % |
619.00/619.49 c | 1106266 | 140 11900 83300 | 2147483647 57886 44 | 0.005 % |
620.50/620.95 c | 1108520 | 140 11900 83300 | 2147483647 60140 44 | 0.005 % |
622.30/622.70 c | 1110998 | 140 11900 83300 | 61622 55027 44 | 0.005 % |
623.90/624.33 c | 1113724 | 140 11900 83300 | 61622 57753 44 | 0.005 % |
625.60/626.01 c | 1116721 | 140 11900 83300 | 61622 60750 44 | 0.005 % |
627.40/627.88 c | 1120017 | 140 11900 83300 | 55476 55492 44 | 0.005 % |
629.30/629.74 c | 1123642 | 140 11900 83300 | 55476 51682 44 | 0.005 % |
631.60/632.02 c | 1127629 | 140 11900 83300 | 55476 49642 44 | 0.005 % |
633.79/634.27 c | 1132014 | 140 11900 83300 | 52014 48751 44 | 0.005 % |
636.19/636.61 c | 1136839 | 140 11900 83300 | 52014 48368 44 | 0.005 % |
638.70/639.13 c | 1142144 | 140 11900 83300 | 2147483647 53673 44 | 0.005 % |
641.89/642.32 c | 1147980 | 140 11900 83300 | 2147483647 59509 44 | 0.005 % |
645.79/646.21 c | 1154400 | 140 11900 83300 | 2147483647 65929 44 | 0.005 % |
650.58/651.06 c | 1161459 | 140 11900 83300 | 71530 61753 44 | 0.005 % |
655.68/656.14 c | 1169224 | 140 11900 83300 | 71530 69518 44 | 0.005 % |
661.28/661.72 c | 1177767 | 140 11900 83300 | 70294 65925 44 | 0.005 % |
667.28/667.76 c | 1187161 | 140 11900 83300 | 68160 63411 44 | 0.005 % |
673.37/673.86 c | 1197496 | 140 11900 83300 | 66250 63083 44 | 0.005 % |
673.47/673.93 c | 1197598 | 140 11900 83300 | 66250 63185 44 | 0.005 % |
673.57/674.03 c | 1197710 | 140 11900 83300 | 66250 63297 44 | 0.005 % |
673.67/674.13 c | 1197831 | 140 11900 83300 | 66250 63418 44 | 0.005 % |
673.78/674.22 c | 1197965 | 140 11900 83300 | 66250 63552 44 | 0.005 % |
673.88/674.32 c | 1198111 | 140 11900 83300 | 66250 63698 44 | 0.005 % |
673.97/674.42 c | 1198274 | 140 11900 83300 | 66250 63861 44 | 0.005 % |
674.07/674.53 c | 1198451 | 140 11900 83300 | 66250 64038 44 | 0.005 % |
674.17/674.66 c | 1198644 | 140 11900 83300 | 66250 64231 44 | 0.005 % |
674.37/674.81 c | 1198856 | 140 11900 83300 | 66250 64443 44 | 0.005 % |
674.47/674.99 c | 1199089 | 140 11900 83300 | 66250 64676 44 | 0.005 % |
674.77/675.24 c | 1199345 | 140 11900 83300 | 66250 64932 44 | 0.005 % |
674.97/675.45 c | 1199626 | 140 11900 83300 | 66250 65213 44 | 0.005 % |
675.17/675.67 c | 1199937 | 140 11900 83300 | 66250 65524 44 | 0.005 % |
675.47/675.98 c | 1200276 | 140 11900 83300 | 65588 55513 44 | 0.005 % |
675.77/676.24 c | 1200649 | 140 11900 83300 | 65588 55886 44 | 0.005 % |
675.97/676.47 c | 1201060 | 140 11900 83300 | 65588 56297 44 | 0.005 % |
676.27/676.78 c | 1201511 | 140 11900 83300 | 65588 56748 44 | 0.005 % |
676.67/677.13 c | 1202004 | 140 11900 83300 | 65588 57241 44 | 0.005 % |
676.97/677.49 c | 1202547 | 140 11900 83300 | 65588 57784 44 | 0.005 % |
677.37/677.87 c | 1203144 | 140 11900 83300 | 65588 58381 44 | 0.005 % |
677.87/678.31 c | 1203802 | 140 11900 83300 | 65588 59039 44 | 0.005 % |
678.37/678.81 c | 1204522 | 140 11900 83300 | 65588 59759 44 | 0.005 % |
678.87/679.33 c | 1205319 | 140 11900 83300 | 65588 60556 44 | 0.005 % |
679.37/679.83 c | 1206193 | 140 11900 83300 | 65588 61430 44 | 0.005 % |
679.87/680.39 c | 1207152 | 140 11900 83300 | 65588 62389 44 | 0.005 % |
680.47/681.00 c | 1208207 | 140 11900 83300 | 65588 63444 44 | 0.005 % |
681.26/681.71 c | 1209365 | 140 11900 83300 | 65588 64602 44 | 0.005 % |
682.06/682.50 c | 1210639 | 140 11900 83300 | 65239 55567 44 | 0.005 % |
682.86/683.33 c | 1212039 | 140 11900 83300 | 65239 56967 44 | 0.005 % |
683.67/684.19 c | 1213580 | 140 11900 83300 | 65239 58508 44 | 0.005 % |
684.87/685.31 c | 1215274 | 140 11900 83300 | 65239 60202 44 | 0.005 % |
686.06/686.53 c | 1217138 | 140 11900 83300 | 65239 62066 44 | 0.005 % |
687.46/687.92 c | 1219189 | 140 11900 83300 | 65239 64117 44 | 0.005 % |
688.86/689.35 c | 1221443 | 140 11900 83300 | 64929 56204 44 | 0.005 % |
690.16/690.68 c | 1223922 | 140 11900 83300 | 64929 58683 44 | 0.005 % |
691.76/692.29 c | 1226648 | 140 11900 83300 | 64929 61409 44 | 0.005 % |
693.76/694.21 c | 1229648 | 140 11900 83300 | 64929 64409 44 | 0.005 % |
695.65/696.18 c | 1232946 | 140 11900 83300 | 64764 57891 44 | 0.005 % |
697.96/698.42 c | 1236571 | 140 11900 83300 | 64764 61516 44 | 0.005 % |
700.55/701.08 c | 1240558 | 140 11900 83300 | 55008 47164 44 | 0.005 % |
702.85/703.33 c | 1244946 | 140 11900 83300 | 55008 51552 44 | 0.005 % |
705.85/706.31 c | 1249772 | 140 11900 83300 | 55008 50158 44 | 0.005 % |
708.55/709.00 c | 1255077 | 140 11900 83300 | 50387 49856 44 | 0.005 % |
711.55/712.10 c | 1260913 | 140 11900 83300 | 2147483647 50647 44 | 0.005 % |
715.45/715.94 c | 1267333 | 140 11900 83300 | 2147483647 57067 43 | 0.005 % |
719.45/719.94 c | 1274392 | 140 11900 83300 | 59735 57161 43 | 0.005 % |
723.54/724.09 c | 1282156 | 140 11900 83300 | 55981 52151 43 | 0.005 % |
728.04/728.51 c | 1290696 | 140 11900 83300 | 2147483647 55086 43 | 0.005 % |
733.34/733.88 c | 1300090 | 140 11900 83300 | 64390 56291 43 | 0.005 % |
739.34/739.87 c | 1310425 | 140 11900 83300 | 56007 47820 44 | 0.005 % |
744.73/745.25 c | 1321793 | 140 11900 83300 | 51223 47446 44 | 0.005 % |
744.73/745.30 c | 1321893 | 140 11900 83300 | 51223 47546 44 | 0.005 % |
744.83/745.36 c | 1322005 | 140 11900 83300 | 51223 47658 44 | 0.005 % |
744.93/745.45 c | 1322128 | 140 11900 83300 | 51223 47781 44 | 0.005 % |
745.03/745.52 c | 1322261 | 140 11900 83300 | 51223 47914 44 | 0.005 % |
745.13/745.61 c | 1322407 | 140 11900 83300 | 51223 48060 44 | 0.005 % |
745.13/745.70 c | 1322568 | 140 11900 83300 | 51223 48221 44 | 0.005 % |
745.33/745.81 c | 1322744 | 140 11900 83300 | 51223 48397 44 | 0.005 % |
745.43/745.94 c | 1322937 | 140 11900 83300 | 51223 48590 44 | 0.005 % |
745.53/746.08 c | 1323149 | 140 11900 83300 | 51223 48802 44 | 0.005 % |
745.73/746.20 c | 1323384 | 140 11900 83300 | 51223 49037 44 | 0.005 % |
745.83/746.34 c | 1323641 | 140 11900 83300 | 51223 49294 44 | 0.005 % |
745.93/746.47 c | 1323925 | 140 11900 83300 | 51223 49578 44 | 0.005 % |
746.13/746.63 c | 1324236 | 140 11900 83300 | 51223 49889 44 | 0.005 % |
746.33/746.83 c | 1324575 | 140 11900 83300 | 51223 50228 44 | 0.005 % |
746.53/747.07 c | 1324948 | 140 11900 83300 | 51223 50601 44 | 0.005 % |
746.83/747.30 c | 1325358 | 140 11900 83300 | 51223 51011 44 | 0.005 % |
747.03/747.59 c | 1325807 | 140 11900 83300 | 51223 46331 45 | 0.005 % |
747.33/747.84 c | 1326301 | 140 11900 83300 | 51223 46825 45 | 0.005 % |
747.63/748.12 c | 1326845 | 140 11900 83300 | 51223 47369 45 | 0.005 % |
747.93/748.44 c | 1327442 | 140 11900 83300 | 51223 47966 45 | 0.005 % |
748.23/748.76 c | 1328098 | 140 11900 83300 | 51223 48622 45 | 0.005 % |
748.73/749.22 c | 1328818 | 140 11900 83300 | 51223 49342 45 | 0.005 % |
749.13/749.66 c | 1329610 | 140 11900 83300 | 51223 50134 45 | 0.005 % |
749.63/750.15 c | 1330481 | 140 11900 83300 | 2147483647 51005 44 | 0.005 % |
750.12/750.64 c | 1331439 | 140 11900 83300 | 2147483647 51963 44 | 0.005 % |
750.62/751.16 c | 1332492 | 140 11900 83300 | 2147483647 53016 44 | 0.005 % |
751.22/751.73 c | 1333650 | 140 11900 83300 | 2147483647 54174 44 | 0.005 % |
751.83/752.38 c | 1334924 | 140 11900 83300 | 2147483647 55448 44 | 0.005 % |
752.62/753.13 c | 1336325 | 140 11900 83300 | 2147483647 56849 44 | 0.005 % |
753.42/753.93 c | 1337865 | 140 11900 83300 | 2147483647 58389 44 | 0.005 % |
754.32/754.87 c | 1339560 | 140 11900 83300 | 2147483647 60084 44 | 0.005 % |
755.62/756.13 c | 1341423 | 140 11900 83300 | 60524 55279 45 | 0.005 % |
757.02/757.53 c | 1343472 | 140 11900 83300 | 60524 57328 45 | 0.005 % |
758.53/759.00 c | 1345726 | 140 11900 83300 | 60524 59582 44 | 0.005 % |
759.92/760.46 c | 1348204 | 140 11900 83300 | 60524 53414 44 | 0.005 % |
761.52/762.03 c | 1350929 | 140 11900 83300 | 55210 48695 44 | 0.005 % |
763.02/763.56 c | 1353927 | 140 11900 83300 | 55210 51693 44 | 0.005 % |
764.92/765.42 c | 1357223 | 140 11900 83300 | 55210 54989 44 | 0.005 % |
767.02/767.52 c | 1360849 | 140 11900 83300 | 51969 47457 44 | 0.005 % |
769.12/769.67 c | 1364836 | 140 11900 83300 | 51969 51444 44 | 0.005 % |
771.42/771.93 c | 1369221 | 140 11900 83300 | 51969 50627 44 | 0.005 % |
774.12/774.65 c | 1374046 | 140 11900 83300 | 2147483647 55452 44 | 0.005 % |
777.22/777.78 c | 1379351 | 140 11900 83300 | 2147483647 60757 44 | 0.005 % |
780.52/781.07 c | 1385188 | 140 11900 83300 | 61407 59166 44 | 0.005 % |
784.21/784.74 c | 1391607 | 140 11900 83300 | 56246 50724 44 | 0.005 % |
787.80/788.35 c | 1398667 | 140 11900 83300 | 56246 51753 44 | 0.005 % |
791.70/792.20 c | 1406431 | 140 11900 83300 | 53088 48829 44 | 0.005 % |
796.10/796.63 c | 1414971 | 140 11900 83300 | 2147483647 57369 44 | 0.005 % |
801.70/802.20 c | 1424366 | 140 11900 83300 | 62399 59776 44 | 0.005 % |
807.50/808.06 c | 1434700 | 140 11900 83300 | 57609 55266 44 | 0.005 % |
814.10/814.66 c | 1446067 | 140 11900 83300 | 54084 48760 44 | 0.005 % |
819.79/820.34 c | 1458569 | 140 11900 83300 | 2147483647 61262 44 | 0.005 % |
819.89/820.42 c | 1458671 | 140 11900 83300 | 2147483647 61364 44 | 0.005 % |
819.89/820.50 c | 1458782 | 140 11900 83300 | 2147483647 61475 44 | 0.005 % |
820.00/820.57 c | 1458903 | 140 11900 83300 | 2147483647 61596 44 | 0.005 % |
820.10/820.67 c | 1459038 | 140 11900 83300 | 2147483647 61731 44 | 0.005 % |
820.19/820.78 c | 1459185 | 140 11900 83300 | 2147483647 61878 44 | 0.005 % |
820.39/820.90 c | 1459345 | 140 11900 83300 | 2147483647 62038 44 | 0.005 % |
820.49/821.02 c | 1459521 | 140 11900 83300 | 2147483647 62214 44 | 0.005 % |
820.69/821.21 c | 1459714 | 140 11900 83300 | 2147483647 62407 44 | 0.005 % |
820.79/821.38 c | 1459926 | 140 11900 83300 | 2147483647 62619 44 | 0.005 % |
821.10/821.64 c | 1460159 | 140 11900 83300 | 62693 54431 44 | 0.005 % |
821.29/821.83 c | 1460416 | 140 11900 83300 | 62693 54688 44 | 0.005 % |
821.49/822.02 c | 1460698 | 140 11900 83300 | 62693 54970 44 | 0.005 % |
821.69/822.22 c | 1461008 | 140 11900 83300 | 62693 55280 44 | 0.005 % |
821.89/822.45 c | 1461347 | 140 11900 83300 | 62693 55619 44 | 0.005 % |
822.09/822.67 c | 1461721 | 140 11900 83300 | 62693 55993 44 | 0.005 % |
822.39/822.96 c | 1462131 | 140 11900 83300 | 62693 56403 44 | 0.005 % |
822.69/823.26 c | 1462580 | 140 11900 83300 | 62693 56852 44 | 0.005 % |
823.09/823.61 c | 1463073 | 140 11900 83300 | 62693 57345 44 | 0.005 % |
823.49/824.00 c | 1463616 | 140 11900 83300 | 62693 57888 44 | 0.005 % |
823.78/824.34 c | 1464212 | 140 11900 83300 | 62693 58484 44 | 0.005 % |
824.18/824.72 c | 1464870 | 140 11900 83300 | 62693 59142 44 | 0.005 % |
824.59/825.19 c | 1465591 | 140 11900 83300 | 62693 59863 44 | 0.005 % |
825.19/825.74 c | 1466384 | 140 11900 83300 | 62693 60656 44 | 0.005 % |
825.79/826.36 c | 1467255 | 140 11900 83300 | 62693 61527 44 | 0.005 % |
826.49/827.08 c | 1468213 | 140 11900 83300 | 62693 62485 44 | 0.005 % |
827.29/827.80 c | 1469266 | 140 11900 83300 | 62693 53731 44 | 0.005 % |
827.99/828.51 c | 1470426 | 140 11900 83300 | 54466 46513 44 | 0.005 % |
828.59/829.16 c | 1471700 | 140 11900 83300 | 54466 47787 44 | 0.005 % |
829.39/829.91 c | 1473101 | 140 11900 83300 | 54466 49188 44 | 0.005 % |
830.19/830.74 c | 1474641 | 140 11900 83300 | 54466 50728 44 | 0.005 % |
831.18/831.75 c | 1476336 | 140 11900 83300 | 54466 52423 44 | 0.005 % |
832.18/832.74 c | 1478199 | 140 11900 83300 | 54466 54286 44 | 0.005 % |
833.18/833.77 c | 1480248 | 140 11900 83300 | 50086 45087 44 | 0.005 % |
834.18/834.79 c | 1482503 | 140 11900 83300 | 50086 47342 44 | 0.005 % |
835.48/836.09 c | 1484982 | 140 11900 83300 | 50086 49821 44 | 0.005 % |
836.88/837.41 c | 1487707 | 140 11900 83300 | 50086 47531 44 | 0.005 % |
838.28/838.88 c | 1490705 | 140 11900 83300 | 2147483647 50529 44 | 0.005 % |
839.88/840.44 c | 1494001 | 140 11900 83300 | 2147483647 53825 44 | 0.005 % |
842.08/842.64 c | 1497628 | 140 11900 83300 | 2147483647 57452 44 | 0.005 % |
844.37/844.94 c | 1501615 | 140 11900 83300 | 59826 54866 44 | 0.005 % |
846.87/847.49 c | 1506002 | 140 11900 83300 | 59826 59253 44 | 0.005 % |
849.78/850.39 c | 1510825 | 140 11900 83300 | 56082 50095 44 | 0.005 % |
852.47/853.00 c | 1516131 | 140 11900 83300 | 56082 55401 44 | 0.005 % |
855.27/855.89 c | 1521966 | 140 11900 83300 | 53284 49757 45 | 0.005 % |
858.37/858.96 c | 1528385 | 140 11900 83300 | 53284 50841 44 | 0.005 % |
862.27/862.84 c | 1535444 | 140 11900 83300 | 2147483647 57900 44 | 0.005 % |
866.97/867.55 c | 1543209 | 140 11900 83300 | 62458 57644 44 | 0.005 % |
872.06/872.65 c | 1551750 | 140 11900 83300 | 55911 50281 44 | 0.005 % |
877.56/878.18 c | 1561144 | 140 11900 83300 | 52361 47836 44 | 0.005 % |
883.25/883.86 c | 1571478 | 140 11900 83300 | 2147483647 52928 44 | 0.005 % |
890.05/890.62 c | 1582846 | 140 11900 83300 | 61450 56403 44 | 0.005 % |
897.15/897.72 c | 1595351 | 140 11900 83300 | 55210 53202 44 | 0.005 % |
905.35/905.91 c | 1609104 | 140 11900 83300 | 51665 50003 44 | 0.005 % |
905.35/905.97 c | 1609204 | 140 11900 83300 | 51665 50103 44 | 0.005 % |
905.45/906.05 c | 1609315 | 140 11900 83300 | 51665 50214 44 | 0.005 % |
905.55/906.13 c | 1609438 | 140 11900 83300 | 51665 50337 44 | 0.005 % |
905.65/906.21 c | 1609571 | 140 11900 83300 | 51665 50470 44 | 0.005 % |
905.75/906.31 c | 1609718 | 140 11900 83300 | 51665 50617 44 | 0.005 % |
905.75/906.39 c | 1609878 | 140 11900 83300 | 51665 50777 44 | 0.005 % |
905.85/906.49 c | 1610055 | 140 11900 83300 | 2147483647 50954 44 | 0.005 % |
905.95/906.60 c | 1610249 | 140 11900 83300 | 2147483647 51148 44 | 0.005 % |
906.15/906.70 c | 1610462 | 140 11900 83300 | 2147483647 51361 44 | 0.005 % |
906.25/906.85 c | 1610696 | 140 11900 83300 | 2147483647 51595 44 | 0.005 % |
906.45/907.00 c | 1610953 | 140 11900 83300 | 2147483647 51852 44 | 0.005 % |
906.55/907.18 c | 1611235 | 140 11900 83300 | 2147483647 52134 44 | 0.005 % |
906.75/907.35 c | 1611544 | 140 11900 83300 | 2147483647 52443 44 | 0.005 % |
906.95/907.56 c | 1611885 | 140 11900 83300 | 2147483647 52784 44 | 0.005 % |
907.15/907.79 c | 1612260 | 140 11900 83300 | 2147483647 53159 44 | 0.005 % |
907.35/907.99 c | 1612669 | 140 11900 83300 | 2147483647 53568 44 | 0.005 % |
907.65/908.22 c | 1613118 | 140 11900 83300 | 2147483647 54017 44 | 0.005 % |
907.95/908.53 c | 1613611 | 140 11900 83300 | 2147483647 54510 44 | 0.005 % |
908.24/908.87 c | 1614153 | 140 11900 83300 | 2147483647 55052 44 | 0.005 % |
908.64/909.20 c | 1614749 | 140 11900 83300 | 2147483647 55648 44 | 0.005 % |
908.94/909.53 c | 1615405 | 140 11900 83300 | 2147483647 56304 44 | 0.005 % |
909.34/909.94 c | 1616125 | 140 11900 83300 | 2147483647 57024 44 | 0.005 % |
909.84/910.44 c | 1616917 | 140 11900 83300 | 2147483647 57816 44 | 0.005 % |
910.44/911.05 c | 1617788 | 140 11900 83300 | 2147483647 58687 44 | 0.005 % |
910.94/911.57 c | 1618746 | 140 11900 83300 | 2147483647 59645 44 | 0.005 % |
911.64/912.22 c | 1619799 | 140 11900 83300 | 2147483647 60698 44 | 0.005 % |
912.35/912.99 c | 1620957 | 140 11900 83300 | 60900 54186 44 | 0.005 % |
913.14/913.71 c | 1622231 | 140 11900 83300 | 60900 55460 44 | 0.005 % |
913.84/914.46 c | 1623632 | 140 11900 83300 | 60900 56861 44 | 0.005 % |
914.64/915.30 c | 1625172 | 140 11900 83300 | 60900 58401 44 | 0.005 % |
915.64/916.29 c | 1626867 | 140 11900 83300 | 60900 60096 44 | 0.005 % |
916.84/917.47 c | 1628732 | 140 11900 83300 | 60900 53827 44 | 0.005 % |
918.04/918.68 c | 1630781 | 140 11900 83300 | 55096 48571 44 | 0.005 % |
919.24/919.89 c | 1633034 | 140 11900 83300 | 55096 50824 44 | 0.005 % |
920.63/921.23 c | 1635512 | 140 11900 83300 | 55096 53302 44 | 0.005 % |
922.13/922.77 c | 1638238 | 140 11900 83300 | 55096 50015 44 | 0.005 % |
923.82/924.48 c | 1641236 | 140 11900 83300 | 51777 47482 44 | 0.005 % |
925.52/926.13 c | 1644534 | 140 11900 83300 | 51777 50780 44 | 0.005 % |
927.22/927.84 c | 1648160 | 140 11900 83300 | 51777 49223 44 | 0.005 % |
929.22/929.86 c | 1652147 | 140 11900 83300 | 2147483647 53210 44 | 0.005 % |
931.52/932.18 c | 1656532 | 140 11900 83300 | 2147483647 57595 44 | 0.005 % |
934.32/934.98 c | 1661355 | 140 11900 83300 | 61063 54695 44 | 0.005 % |
937.21/937.84 c | 1666660 | 140 11900 83300 | 61063 60000 44 | 0.005 % |
940.41/941.00 c | 1672495 | 140 11900 83300 | 55505 51060 44 | 0.005 % |
943.61/944.29 c | 1678914 | 140 11900 83300 | 55505 51922 44 | 0.005 % |
947.52/948.16 c | 1685973 | 140 11900 83300 | 2147483647 58981 44 | 0.005 % |
951.71/952.37 c | 1693739 | 140 11900 83300 | 63008 59665 44 | 0.005 % |
956.01/956.70 c | 1702279 | 140 11900 83300 | 58092 53587 44 | 0.005 % |
961.11/961.73 c | 1711674 | 140 11900 83300 | 2147483647 57167 44 | 0.005 % |
966.90/967.55 c | 1722009 | 140 11900 83300 | 65495 59506 44 | 0.005 % |
972.70/973.36 c | 1733375 | 140 11900 83300 | 57945 52982 45 | 0.005 % |
979.30/979.95 c | 1745878 | 140 11900 83300 | 52361 51937 45 | 0.005 % |
986.60/987.23 c | 1759631 | 140 11900 83300 | 2147483647 60448 45 | 0.005 % |
995.69/996.30 c | 1774761 | 140 11900 83300 | 56456 54313 44 | 0.005 % |
995.69/996.36 c | 1774863 | 140 11900 83300 | 56456 54415 44 | 0.005 % |
995.79/996.42 c | 1774973 | 140 11900 83300 | 56456 54525 44 | 0.005 % |
995.90/996.52 c | 1775094 | 140 11900 83300 | 56456 54646 44 | 0.005 % |
996.00/996.62 c | 1775229 | 140 11900 83300 | 56456 54781 44 | 0.005 % |
996.09/996.70 c | 1775376 | 140 11900 83300 | 56456 54928 44 | 0.005 % |
996.19/996.81 c | 1775536 | 140 11900 83300 | 56456 55088 44 | 0.005 % |
996.29/996.95 c | 1775713 | 140 11900 83300 | 56456 55265 44 | 0.005 % |
996.39/997.08 c | 1775907 | 140 11900 83300 | 56456 55459 44 | 0.005 % |
996.59/997.25 c | 1776121 | 140 11900 83300 | 56456 55673 44 | 0.005 % |
996.69/997.39 c | 1776354 | 140 11900 83300 | 56456 55906 44 | 0.005 % |
996.89/997.58 c | 1776611 | 140 11900 83300 | 56456 56163 44 | 0.005 % |
997.10/997.76 c | 1776893 | 140 11900 83300 | 56456 56445 44 | 0.005 % |
997.29/997.98 c | 1777203 | 140 11900 83300 | 56456 50005 44 | 0.005 % |
997.49/998.12 c | 1777542 | 140 11900 83300 | 56456 50344 44 | 0.005 % |
997.69/998.35 c | 1777915 | 140 11900 83300 | 56456 50717 44 | 0.005 % |
997.99/998.60 c | 1778324 | 140 11900 83300 | 56456 51126 44 | 0.005 % |
998.20/998.89 c | 1778774 | 140 11900 83300 | 56456 51576 44 | 0.005 % |
998.49/999.18 c | 1779268 | 140 11900 83300 | 56456 52070 44 | 0.005 % |
998.89/999.54 c | 1779812 | 140 11900 83300 | 56456 52614 44 | 0.005 % |
999.29/999.95 c | 1780409 | 140 11900 83300 | 52802 46908 44 | 0.005 % |
999.69/1000.30 c | 1781064 | 140 11900 83300 | 52802 47563 44 | 0.005 % |
999.99/1000.66 c | 1781784 | 140 11900 83300 | 52802 48283 44 | 0.005 % |
1000.29/1000.98 c | 1782576 | 140 11900 83300 | 52802 49075 44 | 0.005 % |
1000.79/1001.43 c | 1783447 | 140 11900 83300 | 52802 49946 44 | 0.005 % |
1001.29/1001.91 c | 1784407 | 140 11900 83300 | 52802 50906 44 | 0.005 % |
1001.69/1002.35 c | 1785461 | 140 11900 83300 | 52802 51960 44 | 0.005 % |
1002.29/1002.95 c | 1786619 | 140 11900 83300 | 52802 47833 44 | 0.005 % |
1002.89/1003.57 c | 1787893 | 140 11900 83300 | 52802 49107 44 | 0.005 % |
1003.59/1004.24 c | 1789293 | 140 11900 83300 | 52802 50507 44 | 0.005 % |
1004.29/1004.95 c | 1790834 | 140 11900 83300 | 2147483647 52048 44 | 0.005 % |
1005.19/1005.87 c | 1792528 | 140 11900 83300 | 2147483647 53742 44 | 0.005 % |
1006.29/1006.92 c | 1794391 | 140 11900 83300 | 2147483647 55605 44 | 0.005 % |
1007.38/1008.02 c | 1796441 | 140 11900 83300 | 2147483647 57655 44 | 0.005 % |
1008.79/1009.45 c | 1798694 | 140 11900 83300 | 2147483647 59908 44 | 0.005 % |
1010.38/1011.02 c | 1801172 | 140 11900 83300 | 61214 54827 44 | 0.005 % |
1011.68/1012.34 c | 1803897 | 140 11900 83300 | 61214 57552 44 | 0.005 % |
1013.38/1014.09 c | 1806895 | 140 11900 83300 | 61214 60550 44 | 0.005 % |
1015.28/1015.96 c | 1810193 | 140 11900 83300 | 56000 49301 44 | 0.005 % |
1017.28/1017.90 c | 1813818 | 140 11900 83300 | 56000 52926 44 | 0.005 % |
1019.38/1020.09 c | 1817807 | 140 11900 83300 | 56000 50625 44 | 0.005 % |
1021.78/1022.42 c | 1822194 | 140 11900 83300 | 52818 49357 44 | 0.005 % |
1024.28/1024.96 c | 1827019 | 140 11900 83300 | 52818 48894 44 | 0.005 % |
1026.87/1027.51 c | 1832325 | 140 11900 83300 | 2147483647 54200 44 | 0.005 % |
1030.08/1030.70 c | 1838162 | 140 11900 83300 | 2147483647 60037 44 | 0.005 % |
1033.47/1034.13 c | 1844580 | 140 11900 83300 | 61875 58455 44 | 0.005 % |
1037.07/1037.75 c | 1851640 | 140 11900 83300 | 55865 50528 45 | 0.005 % |
1040.57/1041.24 c | 1859405 | 140 11900 83300 | 55865 52701 45 | 0.005 % |
1044.87/1045.53 c | 1867945 | 140 11900 83300 | 2147483647 61241 44 | 0.005 % |
1050.47/1051.17 c | 1877340 | 140 11900 83300 | 63297 55485 44 | 0.005 % |
1056.46/1057.11 c | 1887673 | 140 11900 83300 | 58145 51826 44 | 0.005 % |
1062.36/1063.04 c | 1899040 | 140 11900 83300 | 54153 51948 44 | 0.005 % |
1068.35/1069.04 c | 1911542 | 140 11900 83300 | 62908 57646 44 | 0.005 % |
1075.45/1076.18 c | 1925297 | 140 11900 83300 | 58200 56376 44 | 0.005 % |
1083.65/1084.39 c | 1940425 | 140 11900 83300 | 2147483647 53545 45 | 0.005 % |
1094.15/1094.81 c | 1957064 | 140 11900 83300 | 63120 61901 44 | 0.005 % |
1094.15/1094.88 c | 1957164 | 140 11900 83300 | 63120 62001 44 | 0.005 % |
1094.25/1094.94 c | 1957274 | 140 11900 83300 | 63120 62111 44 | 0.005 % |
1094.35/1095.02 c | 1957396 | 140 11900 83300 | 63120 62233 44 | 0.005 % |
1094.45/1095.11 c | 1957529 | 140 11900 83300 | 63120 62366 44 | 0.005 % |
1094.55/1095.24 c | 1957678 | 140 11900 83300 | 63120 62515 44 | 0.005 % |
1094.65/1095.36 c | 1957838 | 140 11900 83300 | 63120 62675 44 | 0.005 % |
1094.75/1095.50 c | 1958014 | 140 11900 83300 | 63120 62851 44 | 0.005 % |
1094.95/1095.64 c | 1958209 | 140 11900 83300 | 63120 63046 44 | 0.005 % |
1095.15/1095.84 c | 1958421 | 140 11900 83300 | 63120 54496 44 | 0.005 % |
1095.25/1095.99 c | 1958654 | 140 11900 83300 | 63120 54729 44 | 0.005 % |
1095.44/1096.13 c | 1958911 | 140 11900 83300 | 63120 54986 44 | 0.005 % |
1095.64/1096.32 c | 1959192 | 140 11900 83300 | 63120 55267 44 | 0.005 % |
1095.74/1096.48 c | 1959501 | 140 11900 83300 | 63120 55576 44 | 0.005 % |
1096.05/1096.71 c | 1959841 | 140 11900 83300 | 63120 55916 44 | 0.005 % |
1096.24/1096.97 c | 1960213 | 140 11900 83300 | 56075 48555 44 | 0.005 % |
1096.44/1097.17 c | 1960623 | 140 11900 83300 | 56075 48965 44 | 0.005 % |
1096.64/1097.40 c | 1961073 | 140 11900 83300 | 56075 49415 44 | 0.005 % |
1097.05/1097.74 c | 1961569 | 140 11900 83300 | 56075 49911 44 | 0.005 % |
1097.44/1098.11 c | 1962112 | 140 11900 83300 | 56075 50454 44 | 0.005 % |
1097.84/1098.51 c | 1962709 | 140 11900 83300 | 56075 51051 44 | 0.005 % |
1098.25/1098.97 c | 1963366 | 140 11900 83300 | 56075 51708 44 | 0.005 % |
1098.74/1099.47 c | 1964088 | 140 11900 83300 | 56075 52430 44 | 0.005 % |
1099.24/1099.99 c | 1964882 | 140 11900 83300 | 56075 53224 44 | 0.005 % |
1099.93/1100.66 c | 1965753 | 140 11900 83300 | 56075 54095 44 | 0.005 % |
1100.63/1101.30 c | 1966712 | 140 11900 83300 | 56075 55054 44 | 0.005 % |
1101.23/1101.98 c | 1967765 | 140 11900 83300 | 56075 56107 44 | 0.005 % |
1101.93/1102.68 c | 1968925 | 140 11900 83300 | 56075 49261 44 | 0.005 % |
1102.73/1103.44 c | 1970198 | 140 11900 83300 | 50336 43644 44 | 0.005 % |
1103.33/1104.03 c | 1971598 | 140 11900 83300 | 50336 45044 44 | 0.005 % |
1104.13/1104.85 c | 1973138 | 140 11900 83300 | 50336 46584 44 | 0.005 % |
1105.03/1105.73 c | 1974832 | 140 11900 83300 | 50336 48278 44 | 0.005 % |
1106.03/1106.78 c | 1976695 | 140 11900 83300 | 50336 50141 44 | 0.005 % |
1107.04/1107.76 c | 1978744 | 140 11900 83300 | 50336 47150 44 | 0.005 % |
1108.03/1108.74 c | 1980999 | 140 11900 83300 | 2147483647 49405 44 | 0.005 % |
1109.13/1109.88 c | 1983480 | 140 11900 83300 | 2147483647 51886 44 | 0.005 % |
1110.53/1111.26 c | 1986205 | 140 11900 83300 | 2147483647 54611 44 | 0.005 % |
1112.13/1112.90 c | 1989203 | 140 11900 83300 | 2147483647 57609 44 | 0.005 % |
1114.23/1114.94 c | 1992499 | 140 11900 83300 | 2147483647 60905 44 | 0.005 % |
1116.53/1117.28 c | 1996124 | 140 11900 83300 | 2147483647 64530 44 | 0.005 % |
1119.53/1120.20 c | 2000111 | 140 11900 83300 | 68406 57722 44 | 0.005 % |
1122.13/1122.87 c | 2004496 | 140 11900 83300 | 68406 62107 44 | 0.005 % |
1125.43/1126.11 c | 2009320 | 140 11900 83300 | 68406 66931 44 | 0.005 % |
1128.82/1129.55 c | 2014626 | 140 11900 83300 | 67611 60836 44 | 0.005 % |
1132.92/1133.61 c | 2020461 | 140 11900 83300 | 66211 56156 44 | 0.005 % |
1137.22/1137.95 c | 2026883 | 140 11900 83300 | 66211 62578 44 | 0.005 % |
1141.92/1142.67 c | 2033944 | 140 11900 83300 | 65696 59562 44 | 0.005 % |
1147.52/1148.26 c | 2041708 | 140 11900 83300 | 65618 56753 44 | 0.005 % |
1153.41/1154.18 c | 2050251 | 140 11900 83300 | 65046 55135 44 | 0.005 % |
1158.91/1159.65 c | 2059645 | 140 11900 83300 | 65046 64529 44 | 0.005 % |
1165.51/1166.21 c | 2069978 | 140 11900 83300 | 64885 55442 44 | 0.005 % |
1171.61/1172.33 c | 2081345 | 140 11900 83300 | 51337 47366 44 | 0.005 % |
1178.21/1178.95 c | 2093847 | 140 11900 83300 | 2147483647 54727 45 | 0.005 % |
1186.70/1187.45 c | 2107599 | 140 11900 83300 | 60880 54418 45 | 0.005 % |
1193.90/1194.64 c | 2122727 | 140 11900 83300 | 53606 50427 45 | 0.005 % |
1200.10/1200.80 HOME/SatELiteGTI: line 36: 13985 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-1832633-1242785446/watcher-1832633-1242785446 -o /tmp/evaluation-result-1832633-1242785446/solver-1832633-1242785446 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832633-1242785446.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13979
/proc/meminfo: memFree=1916344/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306577355 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 264907751506 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13979/statm: 1339 235 195 169 0 50 0
[pid=13980] ppid=13979 vsize=5356 CPUtime=0
/proc/13980/stat : 13980 (SatELiteGTI) S 13979 13979 13387 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306577355 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13980/statm: 1339 238 198 169 0 50 0
[pid=13982] ppid=13980 vsize=192 CPUtime=0
/proc/13982/stat : 13982 (sed) R 13980 13979 13387 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306577355 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 264904963465 0 0 4096 0 0 0 0 17 0 0 0
/proc/13982/statm: 48 23 16 11 0 11 0
[startup+0.0472689 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13979
/proc/meminfo: memFree=1916344/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306577355 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13979/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10127 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13979
/proc/meminfo: memFree=1916344/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301297 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13979
/proc/meminfo: memFree=1916344/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701355 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13979
/proc/meminfo: memFree=1916344/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1913384/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=4684 CPUtime=1.44
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 898 0 0 0 144 0 0 0 25 0 1 0 306577360 4796416 884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 1171 884 76 171 0 998 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10040
[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1911272/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=6744 CPUtime=3.03
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 1404 0 0 0 303 0 0 0 25 0 1 0 306577360 6905856 1390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 1686 1390 76 171 0 1513 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12100
[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1908328/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=9152 CPUtime=6.23
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 2000 0 0 0 622 1 0 0 25 0 1 0 306577360 9371648 1986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 2288 1986 76 171 0 2115 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14508
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1904936/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=12288 CPUtime=12.62
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 2781 0 0 0 1260 2 0 0 25 0 1 0 306577360 12582912 2767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 3072 2767 76 171 0 2899 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17644
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1900648/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=16256 CPUtime=25.41
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 3778 0 0 0 2537 4 0 0 25 0 1 0 306577360 16646144 3764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4064 3764 76 171 0 3891 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21612
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1900456/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=16520 CPUtime=50.98
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 3816 0 0 0 5094 4 0 0 25 0 1 0 306577360 16916480 3802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4130 3802 76 171 0 3957 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21876
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1900264/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=16520 CPUtime=102.16
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 3816 0 0 0 10211 5 0 0 25 0 1 0 306577360 16916480 3802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4130 3802 76 171 0 3957 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 21876
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1899816/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=16784 CPUtime=162.11
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 3901 0 0 0 16205 6 0 0 25 0 1 0 306577360 17186816 3887 1992294400 134512640 135215339 4294956240 18446744073709551615 134525123 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4196 3887 76 171 0 4023 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 22140
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1899368/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=17196 CPUtime=222.07
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 3988 0 0 0 22201 6 0 0 25 0 1 0 306577360 17608704 3974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4299 3974 76 171 0 4126 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 22552
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1899112/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=17336 CPUtime=282.04
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4031 0 0 0 28198 6 0 0 25 0 1 0 306577360 17752064 4017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4334 4017 76 171 0 4161 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 22692
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1899048/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=17336 CPUtime=342.01
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4037 0 0 0 34194 7 0 0 25 0 1 0 306577360 17752064 4023 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4334 4023 76 171 0 4161 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 22692
[startup+402.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 13985
/proc/meminfo: memFree=1898920/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=17476 CPUtime=401.97
################
# More data... #
################
[pid=13985] ppid=13979 vsize=19080 CPUtime=461.94
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4462 0 0 0 46187 7 0 0 25 0 1 0 306577360 19537920 4448 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4770 4448 76 171 0 4597 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 24436
[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1896616/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=19476 CPUtime=521.91
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4561 0 0 0 52183 8 0 0 25 0 1 0 306577360 19943424 4547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4869 4547 76 171 0 4696 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 24832
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1896488/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=19476 CPUtime=581.88
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4561 0 0 0 58180 8 0 0 25 0 1 0 306577360 19943424 4547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4869 4547 76 171 0 4696 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 24832
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1896360/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=19476 CPUtime=641.85
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4561 0 0 0 64177 8 0 0 25 0 1 0 306577360 19943424 4547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 4869 4547 76 171 0 4696 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 24832
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895656/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=701.81
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 70173 8 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 25376
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895528/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=761.79
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 76171 8 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 25376
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895464/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=821.75
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 82167 8 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 25376
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895336/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=881.72
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 88163 9 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 25376
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895272/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=941.67
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 94158 9 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 25376
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895144/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=1001.65
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 100156 9 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 25376
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1895016/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20020 CPUtime=1061.62
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4713 0 0 0 106153 9 0 0 25 0 1 0 306577360 20500480 4699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5005 4699 76 171 0 4832 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 25376
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1894824/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20284 CPUtime=1121.59
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4757 0 0 0 112150 9 0 0 25 0 1 0 306577360 20770816 4743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5071 4743 76 171 0 4898 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 25640
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1894632/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20440 CPUtime=1181.57
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4787 0 0 0 118148 9 0 0 25 0 1 0 306577360 20930560 4773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5110 4773 76 171 0 4937 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 25796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13985
/proc/meminfo: memFree=1894504/2055920 swapFree=4179700/4192956
[pid=13979] ppid=13977 vsize=5356 CPUtime=0.04
/proc/13979/stat : 13979 (SatELiteGTI) S 13977 13979 13387 0 -1 4194304 336 630 0 0 0 0 4 0 16 0 1 0 306577355 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13979/statm: 1339 239 197 169 0 50 0
[pid=13985] ppid=13979 vsize=20440 CPUtime=1200.06
/proc/13985/stat : 13985 (minisat_static) R 13979 13979 13387 0 -1 4194304 4793 0 0 0 119997 9 0 0 25 0 1 0 306577360 20930560 4779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13985/statm: 5110 4779 76 171 0 4937 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 25796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.12
CPU user time (s): 1200.01
CPU system time (s): 0.109983
CPU usage (%): 99.9426
Max. virtual memory (cumulated for all children) (KiB): 25796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5789
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= 32
involuntary context switches= 5896
runsolver used 1.15682 second user time and 3.36049 second system time
The end
Begin job on node30 at 2009-05-20 04:10:46
IDJOB=1832633
IDBENCH=70280
IDSOLVER=671
FILE ID=node30/1832633-1242785446
PBS_JOBID= 9322375
Free space on /tmp= 66400 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S870840347-014.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832633-1242785446/watcher-1832633-1242785446 -o /tmp/evaluation-result-1832633-1242785446/solver-1832633-1242785446 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832633-1242785446.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a5d5e4fa8cedb12d5680a53a31f09411
RANDOM SEED=1328908572
node30.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.265
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1916824 kB
Buffers: 23312 kB
Cached: 69944 kB
SwapCached: 7588 kB
Active: 38320 kB
Inactive: 63916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1916824 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 22956 kB
Committed_AS: 1133112 kB
PageTables: 1360 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= 66396 MiB
End job on node30 at 2009-05-20 04:30:49