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 | 20000 100000 | 5999 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.02 c CPU time: 0.021996 s
0.00/0.02 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 1000 |
0.00/0.06 c | Number of clauses: 20000 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.00/0.09 c | 100 | 1000 20000 100000 | 6666 100 112 | 0.000 % |
0.04/0.10 c | 204 | 1000 20000 100000 | 6666 204 115 | 0.000 % |
0.04/0.11 c | 304 | 1000 20000 100000 | 6666 304 110 | 0.000 % |
0.04/0.12 c | 416 | 1000 20000 100000 | 6666 416 109 | 0.000 % |
0.04/0.13 c | 517 | 1000 20000 100000 | 6666 517 115 | 0.000 % |
0.04/0.14 c | 627 | 1000 20000 100000 | 6666 627 113 | 0.000 % |
0.04/0.16 c | 749 | 1000 20000 100000 | 6666 749 113 | 0.000 % |
0.04/0.17 c | 849 | 1000 20000 100000 | 6666 849 112 | 0.000 % |
0.04/0.18 c | 959 | 1000 20000 100000 | 6666 959 112 | 0.000 % |
0.04/0.19 c | 1081 | 1000 20000 100000 | 6666 1081 112 | 0.000 % |
0.04/0.21 c | 1216 | 1000 20000 100000 | 6666 1216 114 | 0.000 % |
0.04/0.22 c | 1318 | 1000 20000 100000 | 6666 1318 114 | 0.000 % |
0.04/0.23 c | 1430 | 1000 20000 100000 | 6666 1430 115 | 0.000 % |
0.04/0.25 c | 1551 | 1000 20000 100000 | 6666 1551 114 | 0.000 % |
0.04/0.26 c | 1684 | 1000 20000 100000 | 6666 1684 115 | 0.000 % |
0.04/0.28 c | 1831 | 1000 20000 100000 | 6666 1831 114 | 0.000 % |
0.04/0.29 c | 1932 | 1000 20000 100000 | 6666 1932 114 | 0.000 % |
0.04/0.31 c | 2044 | 1000 20000 100000 | 6666 2044 115 | 0.000 % |
0.04/0.32 c | 2165 | 1000 20000 100000 | 6666 2165 116 | 0.000 % |
0.04/0.34 c | 2298 | 1000 20000 100000 | 6666 2298 117 | 0.000 % |
0.04/0.35 c | 2444 | 1000 20000 100000 | 6666 2444 118 | 0.000 % |
0.04/0.37 c | 2604 | 1000 20000 100000 | 6666 2604 119 | 0.000 % |
0.04/0.39 c | 2706 | 1000 20000 100000 | 6666 2706 119 | 0.000 % |
0.04/0.40 c | 2816 | 1000 20000 100000 | 6666 2816 119 | 0.000 % |
0.04/0.41 c | 2937 | 1000 20000 100000 | 6666 2937 119 | 0.000 % |
0.04/0.43 c | 3070 | 1000 20000 100000 | 6666 3070 119 | 0.000 % |
0.04/0.45 c | 3217 | 1000 20000 100000 | 6666 3217 118 | 0.000 % |
0.04/0.47 c | 3378 | 1000 20000 100000 | 6666 3378 119 | 0.000 % |
0.04/0.49 c | 3555 | 1000 20000 100000 | 6666 3555 119 | 0.000 % |
0.04/0.51 c | 3659 | 1000 20000 100000 | 6666 3659 119 | 0.000 % |
0.04/0.52 c | 3769 | 1000 20000 100000 | 6666 3769 119 | 0.000 % |
0.04/0.54 c | 3893 | 1000 20000 100000 | 6666 3893 119 | 0.000 % |
0.04/0.55 c | 4026 | 1000 20000 100000 | 6666 4026 120 | 0.000 % |
0.04/0.57 c | 4173 | 1000 20000 100000 | 6666 4173 120 | 0.000 % |
0.04/0.60 c | 4334 | 1000 20000 100000 | 6666 4334 120 | 0.000 % |
0.04/0.62 c | 4510 | 1000 20000 100000 | 6666 4510 120 | 0.000 % |
0.04/0.64 c | 4704 | 1000 20000 100000 | 6666 4704 120 | 0.000 % |
0.04/0.66 c | 4806 | 1000 20000 100000 | 6666 4806 120 | 0.000 % |
0.04/0.67 c | 4918 | 1000 20000 100000 | 6666 4918 120 | 0.000 % |
0.04/0.69 c | 5041 | 1000 20000 100000 | 6666 5041 120 | 0.000 % |
0.04/0.71 c | 5174 | 1000 20000 100000 | 6666 5174 120 | 0.000 % |
0.04/0.73 c | 5320 | 1000 20000 100000 | 6666 5320 120 | 0.000 % |
0.04/0.75 c | 5482 | 1000 20000 100000 | 6666 5482 121 | 0.000 % |
0.04/0.77 c | 5660 | 1000 20000 100000 | 6666 5660 121 | 0.000 % |
0.04/0.80 c | 5853 | 1000 20000 100000 | 6666 5853 120 | 0.000 % |
0.04/0.83 c | 6065 | 1000 20000 100000 | 6666 6065 121 | 0.000 % |
0.04/0.84 c | 6165 | 1000 20000 100000 | 6666 6165 121 | 0.000 % |
0.04/0.86 c | 6275 | 1000 20000 100000 | 6666 6275 120 | 0.000 % |
0.04/0.88 c | 6398 | 1000 20000 100000 | 6666 6398 120 | 0.000 % |
0.04/0.90 c | 6532 | 1000 20000 100000 | 6666 6532 120 | 0.000 % |
0.04/0.92 c | 6679 | 1000 20000 100000 | 6666 6679 120 | 0.000 % |
0.04/0.95 c | 6839 | 1000 20000 100000 | 6666 6172 120 | 0.000 % |
0.04/0.97 c | 7015 | 1000 20000 100000 | 6666 6348 120 | 0.000 % |
0.96/1.00 c | 7209 | 1000 20000 100000 | 6666 6542 120 | 0.000 % |
0.96/1.03 c | 7422 | 1000 20000 100000 | 6666 6755 120 | 0.000 % |
0.96/1.06 c | 7655 | 1000 20000 100000 | 6666 6313 121 | 0.000 % |
0.96/1.08 c | 7755 | 1000 20000 100000 | 6666 6413 121 | 0.000 % |
0.96/1.10 c | 7868 | 1000 20000 100000 | 6666 6526 120 | 0.000 % |
1.06/1.11 c | 7990 | 1000 20000 100000 | 6666 6648 120 | 0.000 % |
1.06/1.14 c | 8126 | 1000 20000 100000 | 6666 6784 121 | 0.000 % |
1.06/1.16 c | 8273 | 1000 20000 100000 | 6666 6253 121 | 0.000 % |
1.06/1.18 c | 8433 | 1000 20000 100000 | 6666 6413 121 | 0.000 % |
1.16/1.21 c | 8612 | 1000 20000 100000 | 6666 6592 121 | 0.000 % |
1.16/1.24 c | 8805 | 1000 20000 100000 | 6666 6785 121 | 0.000 % |
1.16/1.28 c | 9017 | 1000 20000 100000 | 6666 6319 121 | 0.000 % |
1.26/1.31 c | 9250 | 1000 20000 100000 | 6666 6552 120 | 0.000 % |
1.26/1.34 c | 9506 | 1000 20000 100000 | 6666 6808 121 | 0.000 % |
1.26/1.36 c | 9609 | 1000 20000 100000 | 6666 6231 120 | 0.000 % |
1.26/1.38 c | 9719 | 1000 20000 100000 | 6666 6341 121 | 0.000 % |
1.36/1.40 c | 9840 | 1000 20000 100000 | 6666 6462 121 | 0.000 % |
1.36/1.42 c | 9975 | 1000 20000 100000 | 6666 6597 121 | 0.000 % |
1.36/1.44 c | 10121 | 1000 20000 100000 | 2147483647 6743 121 | 0.000 % |
1.36/1.47 c | 10282 | 1000 20000 100000 | 2147483647 6904 121 | 0.000 % |
1.36/1.49 c | 10461 | 1000 20000 100000 | 2147483647 7083 121 | 0.000 % |
1.46/1.52 c | 10655 | 1000 20000 100000 | 2147483647 7277 122 | 0.000 % |
1.46/1.56 c | 10868 | 1000 20000 100000 | 2147483647 7490 122 | 0.000 % |
1.46/1.59 c | 11101 | 1000 20000 100000 | 2147483647 7723 122 | 0.000 % |
1.56/1.63 c | 11358 | 1000 20000 100000 | 2147483647 7980 123 | 0.000 % |
1.56/1.68 c | 11640 | 1000 20000 100000 | 2147483647 8262 123 | 0.000 % |
1.66/1.70 c | 11741 | 1000 20000 100000 | 2147483647 8363 123 | 0.000 % |
1.66/1.72 c | 11853 | 1000 20000 100000 | 2147483647 8475 123 | 0.000 % |
1.66/1.74 c | 11974 | 1000 20000 100000 | 2147483647 8596 123 | 0.000 % |
1.66/1.76 c | 12111 | 1000 20000 100000 | 2147483647 8733 123 | 0.000 % |
1.66/1.78 c | 12258 | 1000 20000 100000 | 2147483647 8880 123 | 0.000 % |
1.76/1.81 c | 12419 | 1000 20000 100000 | 2147483647 9041 123 | 0.000 % |
1.76/1.84 c | 12596 | 1000 20000 100000 | 2147483647 9218 123 | 0.000 % |
1.76/1.87 c | 12789 | 1000 20000 100000 | 2147483647 9411 123 | 0.000 % |
1.86/1.90 c | 13001 | 1000 20000 100000 | 2147483647 9623 123 | 0.000 % |
1.86/1.94 c | 13235 | 1000 20000 100000 | 2147483647 9857 123 | 0.000 % |
1.86/1.99 c | 13492 | 1000 20000 100000 | 2147483647 10114 123 | 0.000 % |
1.97/2.03 c | 13773 | 1000 20000 100000 | 2147483647 10395 123 | 0.000 % |
1.97/2.08 c | 14084 | 1000 20000 100000 | 2147483647 10706 123 | 0.000 % |
2.07/2.10 c | 14187 | 1000 20000 100000 | 2147483647 10809 123 | 0.000 % |
2.07/2.12 c | 14299 | 1000 20000 100000 | 2147483647 10921 123 | 0.000 % |
2.07/2.14 c | 14420 | 1000 20000 100000 | 2147483647 11042 123 | 0.000 % |
2.07/2.17 c | 14553 | 1000 20000 100000 | 2147483647 11175 123 | 0.000 % |
2.07/2.20 c | 14699 | 1000 20000 100000 | 2147483647 11321 123 | 0.000 % |
2.17/2.23 c | 14860 | 1000 20000 100000 | 2147483647 11482 123 | 0.000 % |
2.17/2.26 c | 15036 | 1000 20000 100000 | 2147483647 11658 123 | 0.000 % |
2.27/2.30 c | 15230 | 1000 20000 100000 | 2147483647 11852 123 | 0.000 % |
2.27/2.34 c | 15442 | 1000 20000 100000 | 2147483647 12064 123 | 0.000 % |
2.27/2.39 c | 15675 | 1000 20000 100000 | 2147483647 12297 123 | 0.000 % |
2.37/2.44 c | 15932 | 1000 20000 100000 | 2147483647 12554 123 | 0.000 % |
2.37/2.48 c | 16213 | 1000 20000 100000 | 2147483647 12835 123 | 0.000 % |
2.47/2.54 c | 16522 | 1000 20000 100000 | 2147483647 13144 124 | 0.000 % |
2.56/2.61 c | 16862 | 1000 20000 100000 | 2147483647 13484 124 | 0.000 % |
2.56/2.63 c | 16962 | 1000 20000 100000 | 2147483647 13584 124 | 0.000 % |
2.56/2.65 c | 17072 | 1000 20000 100000 | 2147483647 13694 124 | 0.000 % |
2.56/2.68 c | 17193 | 1000 20000 100000 | 2147483647 13815 124 | 0.000 % |
2.66/2.71 c | 17327 | 1000 20000 100000 | 2147483647 13949 123 | 0.000 % |
2.66/2.74 c | 17473 | 1000 20000 100000 | 2147483647 14095 123 | 0.000 % |
2.66/2.77 c | 17634 | 1000 20000 100000 | 2147483647 14256 123 | 0.000 % |
2.76/2.81 c | 17811 | 1000 20000 100000 | 2147483647 14433 123 | 0.000 % |
2.76/2.85 c | 18004 | 1000 20000 100000 | 2147483647 14626 123 | 0.000 % |
2.76/2.89 c | 18217 | 1000 20000 100000 | 2147483647 14839 123 | 0.000 % |
2.86/2.94 c | 18452 | 1000 20000 100000 | 2147483647 15074 123 | 0.000 % |
2.86/2.99 c | 18708 | 1000 20000 100000 | 2147483647 15330 123 | 0.000 % |
2.96/3.06 c | 18989 | 1000 20000 100000 | 2147483647 15611 123 | 0.000 % |
3.06/3.12 c | 19298 | 1000 20000 100000 | 2147483647 15920 123 | 0.000 % |
3.06/3.20 c | 19638 | 1000 20000 100000 | 2147483647 16260 124 | 0.000 % |
3.16/3.27 c | 20010 | 1000 20000 100000 | 2147483647 16632 123 | 0.000 % |
3.16/3.29 c | 20110 | 1000 20000 100000 | 2147483647 16732 123 | 0.000 % |
3.26/3.32 c | 20221 | 1000 20000 100000 | 2147483647 16843 123 | 0.000 % |
3.26/3.34 c | 20342 | 1000 20000 100000 | 2147483647 16964 123 | 0.000 % |
3.26/3.37 c | 20475 | 1000 20000 100000 | 2147483647 17097 123 | 0.000 % |
3.36/3.41 c | 20622 | 1000 20000 100000 | 2147483647 17244 123 | 0.000 % |
3.36/3.44 c | 20782 | 1000 20000 100000 | 2147483647 17404 123 | 0.000 % |
3.36/3.48 c | 20962 | 1000 20000 100000 | 2147483647 17584 123 | 0.000 % |
3.46/3.52 c | 21155 | 1000 20000 100000 | 2147483647 17777 124 | 0.000 % |
3.46/3.57 c | 21367 | 1000 20000 100000 | 2147483647 17989 124 | 0.000 % |
3.56/3.63 c | 21601 | 1000 20000 100000 | 2147483647 18223 124 | 0.000 % |
3.56/3.68 c | 21857 | 1000 20000 100000 | 2147483647 18479 124 | 0.000 % |
3.66/3.75 c | 22139 | 1000 20000 100000 | 2147483647 18761 124 | 0.000 % |
3.76/3.82 c | 22448 | 1000 20000 100000 | 2147483647 19070 124 | 0.000 % |
3.86/3.90 c | 22787 | 1000 20000 100000 | 2147483647 19409 124 | 0.000 % |
3.86/3.99 c | 23159 | 1000 20000 100000 | 2147483647 19781 124 | 0.000 % |
3.96/4.08 c | 23569 | 1000 20000 100000 | 2147483647 20191 124 | 0.000 % |
4.06/4.11 c | 23671 | 1000 20000 100000 | 2147483647 20293 124 | 0.000 % |
4.06/4.14 c | 23781 | 1000 20000 100000 | 2147483647 20403 124 | 0.000 % |
4.06/4.18 c | 23903 | 1000 20000 100000 | 2147483647 20525 124 | 0.000 % |
4.16/4.21 c | 24036 | 1000 20000 100000 | 2147483647 20658 124 | 0.000 % |
4.16/4.25 c | 24182 | 1000 20000 100000 | 2147483647 20804 124 | 0.000 % |
4.16/4.29 c | 24342 | 1000 20000 100000 | 2147483647 20964 124 | 0.000 % |
4.26/4.33 c | 24519 | 1000 20000 100000 | 2147483647 21141 124 | 0.000 % |
4.26/4.39 c | 24712 | 1000 20000 100000 | 2147483647 21334 124 | 0.000 % |
4.36/4.44 c | 24925 | 1000 20000 100000 | 2147483647 21547 124 | 0.000 % |
4.46/4.50 c | 25159 | 1000 20000 100000 | 2147483647 21781 124 | 0.000 % |
4.46/4.56 c | 25416 | 1000 20000 100000 | 2147483647 22038 124 | 0.000 % |
4.56/4.65 c | 25698 | 1000 20000 100000 | 2147483647 22320 124 | 0.000 % |
4.67/4.72 c | 26007 | 1000 20000 100000 | 2147483647 22629 124 | 0.000 % |
4.77/4.82 c | 26347 | 1000 20000 100000 | 2147483647 22969 124 | 0.000 % |
4.87/4.93 c | 26721 | 1000 20000 100000 | 2147483647 23343 125 | 0.000 % |
4.97/5.03 c | 27132 | 1000 20000 100000 | 2147483647 23754 125 | 0.000 % |
5.07/5.15 c | 27581 | 1000 20000 100000 | 2147483647 24203 125 | 0.000 % |
5.07/5.19 c | 27681 | 1000 20000 100000 | 2147483647 24303 125 | 0.000 % |
5.17/5.22 c | 27791 | 1000 20000 100000 | 2147483647 24413 125 | 0.000 % |
5.17/5.25 c | 27912 | 1000 20000 100000 | 2147483647 24534 125 | 0.000 % |
5.17/5.29 c | 28045 | 1000 20000 100000 | 2147483647 24667 125 | 0.000 % |
5.26/5.34 c | 28191 | 1000 20000 100000 | 2147483647 24813 125 | 0.000 % |
5.26/5.38 c | 28351 | 1000 20000 100000 | 2147483647 24973 125 | 0.000 % |
5.37/5.43 c | 28528 | 1000 20000 100000 | 2147483647 25150 125 | 0.000 % |
5.47/5.50 c | 28722 | 1000 20000 100000 | 2147483647 25344 124 | 0.000 % |
5.47/5.57 c | 28936 | 1000 20000 100000 | 2147483647 25558 125 | 0.000 % |
5.56/5.64 c | 29170 | 1000 20000 100000 | 2147483647 25792 125 | 0.000 % |
5.66/5.72 c | 29427 | 1000 20000 100000 | 2147483647 26049 125 | 0.000 % |
5.76/5.80 c | 29711 | 1000 20000 100000 | 2147483647 26333 125 | 0.000 % |
5.76/5.89 c | 30020 | 1000 20000 100000 | 2147483647 26642 125 | 0.000 % |
5.86/5.99 c | 30359 | 1000 20000 100000 | 2147483647 26981 125 | 0.000 % |
6.06/6.10 c | 30732 | 1000 20000 100000 | 2147483647 27354 125 | 0.000 % |
6.16/6.22 c | 31141 | 1000 20000 100000 | 2147483647 27763 125 | 0.000 % |
6.26/6.35 c | 31590 | 1000 20000 100000 | 2147483647 28212 125 | 0.000 % |
6.47/6.52 c | 32086 | 1000 20000 100000 | 2147483647 28708 125 | 0.000 % |
6.47/6.55 c | 32187 | 1000 20000 100000 | 2147483647 28809 125 | 0.000 % |
6.47/6.59 c | 32298 | 1000 20000 100000 | 2147483647 28920 125 | 0.000 % |
6.57/6.62 c | 32421 | 1000 20000 100000 | 2147483647 29043 125 | 0.000 % |
6.57/6.67 c | 32554 | 1000 20000 100000 | 2147483647 29176 125 | 0.000 % |
6.66/6.73 c | 32701 | 1000 20000 100000 | 2147483647 29323 125 | 0.000 % |
6.66/6.79 c | 32862 | 1000 20000 100000 | 2147483647 29484 125 | 0.000 % |
6.76/6.84 c | 33041 | 1000 20000 100000 | 2147483647 29663 125 | 0.000 % |
6.86/6.91 c | 33237 | 1000 20000 100000 | 2147483647 29859 125 | 0.000 % |
6.86/6.98 c | 33451 | 1000 20000 100000 | 2147483647 30073 125 | 0.000 % |
6.96/7.05 c | 33685 | 1000 20000 100000 | 2147483647 30307 125 | 0.000 % |
7.06/7.14 c | 33942 | 1000 20000 100000 | 2147483647 30564 125 | 0.000 % |
7.17/7.23 c | 34223 | 1000 20000 100000 | 2147483647 30845 125 | 0.000 % |
7.27/7.33 c | 34533 | 1000 20000 100000 | 2147483647 31155 125 | 0.000 % |
7.37/7.45 c | 34872 | 1000 20000 100000 | 2147483647 31494 125 | 0.000 % |
7.47/7.56 c | 35245 | 1000 20000 100000 | 2147483647 31867 125 | 0.000 % |
7.57/7.70 c | 35656 | 1000 20000 100000 | 2147483647 32278 125 | 0.000 % |
7.76/7.84 c | 36106 | 1000 20000 100000 | 2147483647 32728 125 | 0.000 % |
7.96/8.01 c | 36600 | 1000 20000 100000 | 2147483647 33222 125 | 0.000 % |
8.06/8.19 c | 37142 | 1000 20000 100000 | 2147483647 33764 125 | 0.000 % |
8.16/8.23 c | 37244 | 1000 20000 100000 | 2147483647 33866 125 | 0.000 % |
8.16/8.27 c | 37358 | 1000 20000 100000 | 2147483647 33980 125 | 0.000 % |
8.26/8.31 c | 37480 | 1000 20000 100000 | 2147483647 34102 125 | 0.000 % |
8.26/8.36 c | 37613 | 1000 20000 100000 | 2147483647 34235 125 | 0.000 % |
8.36/8.41 c | 37760 | 1000 20000 100000 | 2147483647 34382 125 | 0.000 % |
8.36/8.46 c | 37921 | 1000 20000 100000 | 2147483647 34543 125 | 0.000 % |
8.46/8.53 c | 38098 | 1000 20000 100000 | 2147483647 34720 125 | 0.000 % |
8.56/8.61 c | 38291 | 1000 20000 100000 | 2147483647 34913 125 | 0.000 % |
8.56/8.69 c | 38503 | 1000 20000 100000 | 2147483647 35125 125 | 0.000 % |
8.67/8.79 c | 38736 | 1000 20000 100000 | 2147483647 35358 125 | 0.000 % |
8.77/8.87 c | 38992 | 1000 20000 100000 | 2147483647 35614 125 | 0.000 % |
8.86/8.98 c | 39275 | 1000 20000 100000 | 2147483647 35897 125 | 0.000 % |
8.96/9.08 c | 39584 | 1000 20000 100000 | 2147483647 36206 125 | 0.000 % |
9.16/9.22 c | 39924 | 1000 20000 100000 | 2147483647 36546 125 | 0.000 % |
9.26/9.35 c | 40297 | 1000 20000 100000 | 2147483647 36919 125 | 0.000 % |
9.46/9.51 c | 40706 | 1000 20000 100000 | 2147483647 37328 125 | 0.000 % |
9.56/9.68 c | 41157 | 1000 20000 100000 | 2147483647 37779 125 | 0.000 % |
9.77/9.86 c | 41650 | 1000 20000 100000 | 2147483647 38272 125 | 0.000 % |
9.96/10.07 c | 42192 | 1000 20000 100000 | 2147483647 38814 125 | 0.000 % |
10.16/10.30 c | 42791 | 1000 20000 100000 | 2147483647 39413 126 | 0.000 % |
10.26/10.34 c | 42891 | 1000 20000 100000 | 2147483647 39513 125 | 0.000 % |
10.26/10.39 c | 43002 | 1000 20000 100000 | 2147483647 39624 125 | 0.000 % |
10.36/10.45 c | 43123 | 1000 20000 100000 | 2147483647 39745 125 | 0.000 % |
10.46/10.50 c | 43257 | 1000 20000 100000 | 2147483647 39879 125 | 0.000 % |
10.46/10.56 c | 43404 | 1000 20000 100000 | 2147483647 40026 125 | 0.000 % |
10.56/10.63 c | 43565 | 1000 20000 100000 | 2147483647 40187 125 | 0.000 % |
10.66/10.71 c | 43744 | 1000 20000 100000 | 2147483647 40366 125 | 0.000 % |
10.76/10.81 c | 43937 | 1000 20000 100000 | 2147483647 40559 125 | 0.000 % |
10.76/10.90 c | 44151 | 1000 20000 100000 | 2147483647 40773 125 | 0.000 % |
10.86/11.00 c | 44385 | 1000 20000 100000 | 2147483647 41007 125 | 0.000 % |
11.07/11.11 c | 44641 | 1000 20000 100000 | 2147483647 41263 125 | 0.000 % |
11.17/11.23 c | 44923 | 1000 20000 100000 | 2147483647 41545 125 | 0.000 % |
11.27/11.36 c | 45234 | 1000 20000 100000 | 2147483647 41856 125 | 0.000 % |
11.37/11.49 c | 45574 | 1000 20000 100000 | 2147483647 42196 125 | 0.000 % |
11.56/11.65 c | 45947 | 1000 20000 100000 | 2147483647 42569 125 | 0.000 % |
11.76/11.83 c | 46357 | 1000 20000 100000 | 2147483647 42979 125 | 0.000 % |
11.97/12.02 c | 46806 | 1000 20000 100000 | 2147483647 43428 125 | 0.000 % |
12.16/12.22 c | 47302 | 1000 20000 100000 | 2147483647 43924 125 | 0.000 % |
12.36/12.44 c | 47844 | 1000 20000 100000 | 2147483647 44466 126 | 0.000 % |
12.56/12.68 c | 48441 | 1000 20000 100000 | 2147483647 45063 125 | 0.000 % |
12.86/12.98 c | 49096 | 1000 20000 100000 | 2147483647 45718 126 | 0.000 % |
12.96/13.03 c | 49196 | 1000 20000 100000 | 2147483647 45818 126 | 0.000 % |
12.96/13.09 c | 49311 | 1000 20000 100000 | 2147483647 45933 126 | 0.000 % |
13.06/13.15 c | 49432 | 1000 20000 100000 | 2147483647 46054 126 | 0.000 % |
13.16/13.22 c | 49567 | 1000 20000 100000 | 2147483647 46189 125 | 0.000 % |
13.16/13.29 c | 49713 | 1000 20000 100000 | 2147483647 46335 125 | 0.000 % |
13.26/13.37 c | 49873 | 1000 20000 100000 | 2147483647 46495 125 | 0.000 % |
13.35/13.46 c | 50049 | 1000 20000 100000 | 2147483647 46671 125 | 0.000 % |
13.46/13.55 c | 50242 | 1000 20000 100000 | 2147483647 46864 125 | 0.000 % |
13.56/13.64 c | 50457 | 1000 20000 100000 | 2147483647 47079 126 | 0.000 % |
13.66/13.74 c | 50690 | 1000 20000 100000 | 2147483647 47312 126 | 0.000 % |
13.76/13.86 c | 50946 | 1000 20000 100000 | 2147483647 47568 126 | 0.000 % |
13.86/13.99 c | 51227 | 1000 20000 100000 | 2147483647 47849 126 | 0.000 % |
14.06/14.13 c | 51536 | 1000 20000 100000 | 2147483647 48158 126 | 0.000 % |
14.26/14.31 c | 51875 | 1000 20000 100000 | 2147483647 48497 126 | 0.000 % |
14.46/14.50 c | 52248 | 1000 20000 100000 | 2147483647 48870 126 | 0.000 % |
14.56/14.69 c | 52659 | 1000 20000 100000 | 2147483647 49281 126 | 0.000 % |
14.76/14.88 c | 53108 | 1000 20000 100000 | 2147483647 49730 126 | 0.000 % |
14.96/15.09 c | 53601 | 1000 20000 100000 | 2147483647 50223 126 | 0.000 % |
15.26/15.35 c | 54144 | 1000 20000 100000 | 2147483647 50766 126 | 0.000 % |
15.56/15.64 c | 54741 | 1000 20000 100000 | 2147483647 51363 126 | 0.000 % |
15.85/15.97 c | 55397 | 1000 20000 100000 | 2147483647 52019 126 | 0.000 % |
16.15/16.29 c | 56117 | 1000 20000 100000 | 2147483647 52739 126 | 0.000 % |
16.25/16.35 c | 56217 | 1000 20000 100000 | 2147483647 52839 126 | 0.000 % |
16.36/16.41 c | 56327 | 1000 20000 100000 | 2147483647 52949 126 | 0.000 % |
16.36/16.47 c | 56450 | 1000 20000 100000 | 2147483647 53072 126 | 0.000 % |
16.46/16.54 c | 56583 | 1000 20000 100000 | 2147483647 53205 126 | 0.000 % |
16.56/16.64 c | 56729 | 1000 20000 100000 | 2147483647 53351 126 | 0.000 % |
16.66/16.73 c | 56890 | 1000 20000 100000 | 2147483647 53512 126 | 0.000 % |
16.76/16.82 c | 57066 | 1000 20000 100000 | 2147483647 53688 126 | 0.000 % |
16.86/16.94 c | 57259 | 1000 20000 100000 | 2147483647 53881 126 | 0.000 % |
16.96/17.06 c | 57472 | 1000 20000 100000 | 2147483647 54094 126 | 0.000 % |
17.06/17.18 c | 57705 | 1000 20000 100000 | 2147483647 54327 126 | 0.000 % |
17.26/17.31 c | 57962 | 1000 20000 100000 | 2147483647 54584 126 | 0.000 % |
17.36/17.44 c | 58244 | 1000 20000 100000 | 2147483647 54866 126 | 0.000 % |
17.46/17.60 c | 58554 | 1000 20000 100000 | 2147483647 55176 126 | 0.000 % |
17.66/17.78 c | 58898 | 1000 20000 100000 | 2147483647 55520 126 | 0.000 % |
17.85/17.99 c | 59270 | 1000 20000 100000 | 2147483647 55892 126 | 0.000 % |
18.05/18.19 c | 59679 | 1000 20000 100000 | 2147483647 56301 126 | 0.000 % |
18.35/18.44 c | 60128 | 1000 20000 100000 | 2147483647 56750 126 | 0.000 % |
18.56/18.69 c | 60621 | 1000 20000 100000 | 2147483647 57243 126 | 0.000 % |
18.96/19.00 c | 61164 | 1000 20000 100000 | 2147483647 57786 126 | 0.000 % |
19.26/19.31 c | 61763 | 1000 20000 100000 | 2147483647 58385 126 | 0.000 % |
19.56/19.64 c | 62419 | 1000 20000 100000 | 2147483647 59041 127 | 0.000 % |
19.96/20.05 c | 63140 | 1000 20000 100000 | 2147483647 59762 127 | 0.000 % |
20.36/20.49 c | 63932 | 1000 20000 100000 | 2147483647 60554 127 | 0.000 % |
20.46/20.55 c | 64033 | 1000 20000 100000 | 2147483647 60655 127 | 0.000 % |
20.56/20.64 c | 64148 | 1000 20000 100000 | 2147483647 60770 127 | 0.000 % |
20.65/20.72 c | 64269 | 1000 20000 100000 | 2147483647 60891 127 | 0.000 % |
20.65/20.80 c | 64404 | 1000 20000 100000 | 2147483647 61026 127 | 0.000 % |
20.76/20.88 c | 64551 | 1000 20000 100000 | 2147483647 61173 127 | 0.000 % |
20.86/20.99 c | 64712 | 1000 20000 100000 | 2147483647 61334 127 | 0.000 % |
20.95/21.09 c | 64888 | 1000 20000 100000 | 2147483647 61510 127 | 0.000 % |
21.15/21.21 c | 65084 | 1000 20000 100000 | 2147483647 61706 127 | 0.000 % |
21.25/21.36 c | 65298 | 1000 20000 100000 | 2147483647 61920 127 | 0.000 % |
21.45/21.50 c | 65536 | 1000 20000 100000 | 2147483647 62158 127 | 0.000 % |
21.55/21.66 c | 65792 | 1000 20000 100000 | 2147483647 62414 127 | 0.000 % |
21.75/21.82 c | 66075 | 1000 20000 100000 | 2147483647 62697 127 | 0.000 % |
21.96/22.02 c | 66385 | 1000 20000 100000 | 2147483647 63007 127 | 0.000 % |
22.15/22.23 c | 66725 | 1000 20000 100000 | 2147483647 63347 127 | 0.000 % |
22.35/22.44 c | 67097 | 1000 20000 100000 | 2147483647 63719 127 | 0.000 % |
22.56/22.68 c | 67506 | 1000 20000 100000 | 2147483647 64128 127 | 0.000 % |
22.86/22.95 c | 67955 | 1000 20000 100000 | 2147483647 64577 127 | 0.000 % |
23.16/23.23 c | 68448 | 1000 20000 100000 | 2147483647 65070 127 | 0.000 % |
23.46/23.55 c | 68990 | 1000 20000 100000 | 2147483647 65612 127 | 0.000 % |
23.75/23.89 c | 69587 | 1000 20000 100000 | 2147483647 66209 127 | 0.000 % |
24.25/24.31 c | 70243 | 1000 20000 100000 | 2147483647 66865 127 | 0.000 % |
24.65/24.74 c | 70965 | 1000 20000 100000 | 2147483647 67587 127 | 0.000 % |
25.15/25.23 c | 71757 | 1000 20000 100000 | 2147483647 68379 127 | 0.000 % |
25.65/25.77 c | 72628 | 1000 20000 100000 | 2147483647 69250 127 | 0.000 % |
25.75/25.84 c | 72728 | 1000 20000 100000 | 2147483647 69350 127 | 0.000 % |
25.85/25.92 c | 72839 | 1000 20000 100000 | 2147483647 69461 127 | 0.000 % |
25.95/26.00 c | 72960 | 1000 20000 100000 | 2147483647 69582 127 | 0.000 % |
25.95/26.08 c | 73093 | 1000 20000 100000 | 2147483647 69715 127 | 0.000 % |
26.15/26.20 c | 73242 | 1000 20000 100000 | 2147483647 69864 127 | 0.000 % |
26.26/26.32 c | 73405 | 1000 20000 100000 | 2147483647 70027 127 | 0.000 % |
26.36/26.46 c | 73583 | 1000 20000 100000 | 2147483647 70205 127 | 0.000 % |
26.55/26.61 c | 73777 | 1000 20000 100000 | 2147483647 70399 127 | 0.000 % |
26.65/26.77 c | 73990 | 1000 20000 100000 | 2147483647 70612 127 | 0.000 % |
26.85/26.95 c | 74223 | 1000 20000 100000 | 2147483647 70845 127 | 0.000 % |
27.05/27.10 c | 74479 | 1000 20000 100000 | 2147483647 71101 127 | 0.000 % |
27.15/27.29 c | 74765 | 1000 20000 100000 | 2147483647 71387 127 | 0.000 % |
27.35/27.50 c | 75074 | 1000 20000 100000 | 2147483647 71696 127 | 0.000 % |
27.65/27.74 c | 75413 | 1000 20000 100000 | 2147483647 72035 127 | 0.000 % |
27.85/27.98 c | 75785 | 1000 20000 100000 | 2147483647 72407 127 | 0.000 % |
28.15/28.26 c | 76194 | 1000 20000 100000 | 2147483647 72816 127 | 0.000 % |
28.45/28.56 c | 76644 | 1000 20000 100000 | 2147483647 73266 127 | 0.000 % |
28.74/28.88 c | 77137 | 1000 20000 100000 | 2147483647 73759 127 | 0.000 % |
29.14/29.23 c | 77679 | 1000 20000 100000 | 2147483647 74301 127 | 0.000 % |
29.55/29.62 c | 78275 | 1000 20000 100000 | 2147483647 74897 127 | 0.000 % |
29.94/30.00 c | 78930 | 1000 20000 100000 | 2147483647 75552 127 | 0.000 % |
30.35/30.46 c | 79651 | 1000 20000 100000 | 2147483647 76273 127 | 0.000 % |
30.85/30.99 c | 80443 | 1000 20000 100000 | 2147483647 77065 127 | 0.000 % |
31.45/31.57 c | 81314 | 1000 20000 100000 | 2147483647 77936 127 | 0.000 % |
32.15/32.20 c | 82273 | 1000 20000 100000 | 2147483647 78895 127 | 0.000 % |
32.15/32.28 c | 82376 | 1000 20000 100000 | 2147483647 78998 127 | 0.000 % |
32.24/32.36 c | 82488 | 1000 20000 100000 | 2147483647 79110 127 | 0.000 % |
32.34/32.45 c | 82609 | 1000 20000 100000 | 2147483647 79231 127 | 0.000 % |
32.44/32.55 c | 82744 | 1000 20000 100000 | 2147483647 79366 127 | 0.000 % |
32.54/32.66 c | 82891 | 1000 20000 100000 | 2147483647 79513 127 | 0.000 % |
32.64/32.77 c | 83051 | 1000 20000 100000 | 2147483647 79673 127 | 0.000 % |
32.85/32.93 c | 83227 | 1000 20000 100000 | 2147483647 79849 127 | 0.000 % |
32.95/33.07 c | 83420 | 1000 20000 100000 | 2147483647 80042 127 | 0.000 % |
33.14/33.24 c | 83635 | 1000 20000 100000 | 2147483647 80257 127 | 0.000 % |
33.34/33.42 c | 83868 | 1000 20000 100000 | 2147483647 80490 127 | 0.000 % |
33.55/33.62 c | 84125 | 1000 20000 100000 | 2147483647 80747 127 | 0.000 % |
33.75/33.83 c | 84406 | 1000 20000 100000 | 2147483647 81028 127 | 0.000 % |
33.95/34.08 c | 84715 | 1000 20000 100000 | 2147483647 81337 127 | 0.000 % |
34.25/34.33 c | 85056 | 1000 20000 100000 | 2147483647 81678 127 | 0.000 % |
34.55/34.65 c | 85429 | 1000 20000 100000 | 2147483647 82051 127 | 0.000 % |
34.85/34.95 c | 85838 | 1000 20000 100000 | 2147483647 82460 127 | 0.000 % |
35.15/35.29 c | 86290 | 1000 20000 100000 | 2147483647 82912 127 | 0.000 % |
35.55/35.63 c | 86784 | 1000 20000 100000 | 2147483647 83406 127 | 0.000 % |
35.95/36.00 c | 87327 | 1000 20000 100000 | 2147483647 83949 127 | 0.000 % |
36.35/36.41 c | 87924 | 1000 20000 100000 | 2147483647 84546 127 | 0.000 % |
36.74/36.86 c | 88579 | 1000 20000 100000 | 2147483647 85201 127 | 0.000 % |
37.35/37.44 c | 89300 | 1000 20000 100000 | 2147483647 85922 127 | 0.000 % |
37.84/37.99 c | 90092 | 1000 20000 100000 | 2147483647 86714 127 | 0.000 % |
38.54/38.67 c | 90963 | 1000 20000 100000 | 2147483647 87585 127 | 0.000 % |
39.34/39.44 c | 91921 | 1000 20000 100000 | 2147483647 88543 127 | 0.000 % |
40.13/40.20 c | 92975 | 1000 20000 100000 | 2147483647 89597 127 | 0.000 % |
40.13/40.29 c | 93075 | 1000 20000 100000 | 2147483647 89697 127 | 0.000 % |
40.33/40.41 c | 93187 | 1000 20000 100000 | 2147483647 89809 127 | 0.000 % |
40.43/40.52 c | 93308 | 1000 20000 100000 | 2147483647 89930 127 | 0.000 % |
40.54/40.65 c | 93441 | 1000 20000 100000 | 2147483647 90063 127 | 0.000 % |
40.64/40.77 c | 93587 | 1000 20000 100000 | 2147483647 90209 127 | 0.000 % |
40.83/40.93 c | 93747 | 1000 20000 100000 | 2147483647 90369 127 | 0.000 % |
40.93/41.08 c | 93924 | 1000 20000 100000 | 2147483647 90546 127 | 0.000 % |
41.13/41.26 c | 94117 | 1000 20000 100000 | 2147483647 90739 127 | 0.000 % |
41.34/41.43 c | 94330 | 1000 20000 100000 | 2147483647 90952 127 | 0.000 % |
41.54/41.65 c | 94563 | 1000 20000 100000 | 2147483647 91185 127 | 0.000 % |
41.74/41.89 c | 94819 | 1000 20000 100000 | 2147483647 91441 127 | 0.000 % |
42.04/42.14 c | 95100 | 1000 20000 100000 | 2147483647 91722 127 | 0.000 % |
42.24/42.40 c | 95410 | 1000 20000 100000 | 2147483647 92032 127 | 0.000 % |
42.54/42.68 c | 95750 | 1000 20000 100000 | 2147483647 92372 127 | 0.000 % |
42.94/43.00 c | 96124 | 1000 20000 100000 | 2147483647 92746 127 | 0.000 % |
43.24/43.35 c | 96535 | 1000 20000 100000 | 2147483647 93157 127 | 0.000 % |
43.64/43.75 c | 96985 | 1000 20000 100000 | 2147483647 93607 127 | 0.000 % |
44.04/44.14 c | 97479 | 1000 20000 100000 | 2147483647 94101 127 | 0.000 % |
44.43/44.59 c | 98021 | 1000 20000 100000 | 2147483647 94643 127 | 0.000 % |
45.04/45.12 c | 98619 | 1000 20000 100000 | 2147483647 95241 127 | 0.000 % |
45.63/45.72 c | 99275 | 1000 20000 100000 | 2147483647 95897 127 | 0.000 % |
46.14/46.30 c | 99995 | 1000 20000 100000 | 2147483647 96617 127 | 0.000 % |
46.94/47.00 c | 100788 | 1000 20000 100000 | 96622 84210 128 | 0.000 % |
47.54/47.67 c | 101659 | 1000 20000 100000 | 96622 85081 128 | 0.000 % |
48.24/48.38 c | 102617 | 1000 20000 100000 | 96622 86039 128 | 0.000 % |
49.04/49.18 c | 103674 | 1000 20000 100000 | 96622 87096 128 | 0.000 % |
49.94/50.01 c | 104832 | 1000 20000 100000 | 96622 88254 128 | 0.000 % |
49.94/50.09 c | 104933 | 1000 20000 100000 | 96622 88355 128 | 0.000 % |
50.04/50.19 c | 105043 | 1000 20000 100000 | 96622 88465 128 | 0.000 % |
50.24/50.32 c | 105166 | 1000 20000 100000 | 96622 88588 128 | 0.000 % |
50.34/50.45 c | 105301 | 1000 20000 100000 | 96622 88723 128 | 0.000 % |
50.44/50.58 c | 105451 | 1000 20000 100000 | 96622 88873 128 | 0.000 % |
50.64/50.71 c | 105611 | 1000 20000 100000 | 96622 89033 128 | 0.000 % |
50.74/50.85 c | 105787 | 1000 20000 100000 | 96622 89209 128 | 0.000 % |
50.94/51.01 c | 105982 | 1000 20000 100000 | 96622 89404 128 | 0.000 % |
51.14/51.20 c | 106195 | 1000 20000 100000 | 96622 89617 128 | 0.000 % |
51.34/51.41 c | 106428 | 1000 20000 100000 | 96622 89850 128 | 0.000 % |
51.54/51.63 c | 106685 | 1000 20000 100000 | 96622 90107 128 | 0.000 % |
51.74/51.85 c | 106967 | 1000 20000 100000 | 96622 90389 128 | 0.000 % |
52.04/52.11 c | 107279 | 1000 20000 100000 | 96622 90701 128 | 0.000 % |
52.34/52.40 c | 107618 | 1000 20000 100000 | 96622 91040 128 | 0.000 % |
52.54/52.70 c | 107992 | 1000 20000 100000 | 96622 91414 128 | 0.000 % |
52.94/53.06 c | 108401 | 1000 20000 100000 | 96622 91823 128 | 0.000 % |
53.34/53.40 c | 108850 | 1000 20000 100000 | 96622 92272 128 | 0.000 % |
53.74/53.81 c | 109343 | 1000 20000 100000 | 96622 92765 128 | 0.000 % |
54.14/54.23 c | 109886 | 1000 20000 100000 | 96622 93308 128 | 0.000 % |
54.64/54.77 c | 110483 | 1000 20000 100000 | 93424 81635 128 | 0.000 % |
55.14/55.23 c | 111140 | 1000 20000 100000 | 93424 82292 128 | 0.000 % |
55.64/55.73 c | 111862 | 1000 20000 100000 | 93424 83014 128 | 0.000 % |
56.24/56.31 c | 112654 | 1000 20000 100000 | 93424 83806 128 | 0.000 % |
56.83/56.94 c | 113525 | 1000 20000 100000 | 93424 84677 128 | 0.000 % |
57.63/57.73 c | 114483 | 1000 20000 100000 | 93424 85635 129 | 0.000 % |
58.43/58.51 c | 115536 | 1000 20000 100000 | 93424 86688 129 | 0.000 % |
59.34/59.45 c | 116696 | 1000 20000 100000 | 93424 87848 129 | 0.000 % |
60.34/60.42 c | 117970 | 1000 20000 100000 | 93424 89122 129 | 0.000 % |
60.44/60.51 c | 118070 | 1000 20000 100000 | 93424 89222 129 | 0.000 % |
60.53/60.62 c | 118180 | 1000 20000 100000 | 93424 89332 129 | 0.000 % |
60.63/60.73 c | 118301 | 1000 20000 100000 | 93424 89453 129 | 0.000 % |
60.73/60.85 c | 118435 | 1000 20000 100000 | 93424 89587 129 | 0.000 % |
60.83/60.97 c | 118582 | 1000 20000 100000 | 93424 89734 129 | 0.000 % |
61.03/61.14 c | 118745 | 1000 20000 100000 | 93424 89897 129 | 0.000 % |
61.13/61.29 c | 118921 | 1000 20000 100000 | 93424 90073 129 | 0.000 % |
61.33/61.49 c | 119114 | 1000 20000 100000 | 93424 90266 129 | 0.000 % |
61.53/61.67 c | 119326 | 1000 20000 100000 | 93424 90478 129 | 0.000 % |
61.73/61.86 c | 119559 | 1000 20000 100000 | 93424 90711 129 | 0.000 % |
62.03/62.11 c | 119816 | 1000 20000 100000 | 93424 90968 129 | 0.000 % |
62.23/62.35 c | 120097 | 1000 20000 100000 | 91152 91249 129 | 0.000 % |
62.53/62.67 c | 120406 | 1000 20000 100000 | 91152 79817 129 | 0.000 % |
62.73/62.90 c | 120745 | 1000 20000 100000 | 91152 80156 129 | 0.000 % |
63.03/63.16 c | 121117 | 1000 20000 100000 | 91152 80528 129 | 0.000 % |
63.33/63.45 c | 121527 | 1000 20000 100000 | 91152 80938 129 | 0.000 % |
63.73/63.81 c | 121976 | 1000 20000 100000 | 91152 81387 129 | 0.000 % |
64.03/64.19 c | 122469 | 1000 20000 100000 | 91152 81880 129 | 0.000 % |
64.43/64.54 c | 123011 | 1000 20000 100000 | 91152 82422 129 | 0.000 % |
64.93/65.00 c | 123607 | 1000 20000 100000 | 91152 83018 129 | 0.000 % |
65.33/65.47 c | 124263 | 1000 20000 100000 | 91152 83674 129 | 0.000 % |
65.93/66.02 c | 124984 | 1000 20000 100000 | 91152 84395 129 | 0.000 % |
66.53/66.62 c | 125779 | 1000 20000 100000 | 91152 85190 129 | 0.000 % |
67.13/67.26 c | 126652 | 1000 20000 100000 | 91152 86063 129 | 0.000 % |
67.93/68.00 c | 127611 | 1000 20000 100000 | 91152 87022 129 | 0.000 % |
68.62/68.79 c | 128666 | 1000 20000 100000 | 91152 88077 129 | 0.000 % |
69.52/69.61 c | 129825 | 1000 20000 100000 | 91152 89236 129 | 0.000 % |
70.43/70.55 c | 131103 | 1000 20000 100000 | 89413 80519 129 | 0.000 % |
71.43/71.54 c | 132503 | 1000 20000 100000 | 89413 81919 129 | 0.000 % |
71.52/71.66 c | 132604 | 1000 20000 100000 | 89413 82020 129 | 0.000 % |
71.62/71.76 c | 132714 | 1000 20000 100000 | 89413 82130 129 | 0.000 % |
71.72/71.86 c | 132837 | 1000 20000 100000 | 89413 82253 129 | 0.000 % |
71.82/71.96 c | 132970 | 1000 20000 100000 | 89413 82386 129 | 0.000 % |
71.92/72.08 c | 133118 | 1000 20000 100000 | 89413 82534 129 | 0.000 % |
72.12/72.20 c | 133279 | 1000 20000 100000 | 89413 82695 129 | 0.000 % |
72.22/72.33 c | 133459 | 1000 20000 100000 | 89413 82875 129 | 0.000 % |
72.32/72.48 c | 133654 | 1000 20000 100000 | 89413 83070 129 | 0.000 % |
72.53/72.63 c | 133867 | 1000 20000 100000 | 89413 83283 129 | 0.000 % |
72.72/72.81 c | 134100 | 1000 20000 100000 | 89413 83516 129 | 0.000 % |
72.92/73.02 c | 134356 | 1000 20000 100000 | 89413 83772 129 | 0.000 % |
73.12/73.25 c | 134638 | 1000 20000 100000 | 89413 84054 129 | 0.000 % |
73.32/73.47 c | 134949 | 1000 20000 100000 | 89413 84365 129 | 0.000 % |
73.63/73.73 c | 135288 | 1000 20000 100000 | 89413 84704 129 | 0.000 % |
73.82/73.99 c | 135661 | 1000 20000 100000 | 89413 85077 129 | 0.000 % |
74.22/74.31 c | 136070 | 1000 20000 100000 | 89413 85486 129 | 0.000 % |
74.52/74.69 c | 136520 | 1000 20000 100000 | 89413 85936 129 | 0.000 % |
74.92/75.08 c | 137013 | 1000 20000 100000 | 89413 86429 129 | 0.000 % |
75.42/75.51 c | 137558 | 1000 20000 100000 | 89413 86974 129 | 0.000 % |
75.83/75.99 c | 138155 | 1000 20000 100000 | 89413 87571 129 | 0.000 % |
76.32/76.49 c | 138810 | 1000 20000 100000 | 89413 88226 129 | 0.000 % |
76.92/77.02 c | 139532 | 1000 20000 100000 | 89413 88948 129 | 0.000 % |
77.52/77.63 c | 140325 | 1000 20000 100000 | 89416 89741 129 | 0.000 % |
78.12/78.27 c | 141196 | 1000 20000 100000 | 89416 80614 129 | 0.000 % |
78.82/78.94 c | 142156 | 1000 20000 100000 | 89416 81574 129 | 0.000 % |
79.52/79.69 c | 143209 | 1000 20000 100000 | 89416 82627 129 | 0.000 % |
80.42/80.57 c | 144367 | 1000 20000 100000 | 89416 83785 129 | 0.000 % |
81.32/81.41 c | 145640 | 1000 20000 100000 | 89416 85058 129 | 0.000 % |
82.32/82.44 c | 147040 | 1000 20000 100000 | 89416 86458 129 | 0.000 % |
83.42/83.56 c | 148582 | 1000 20000 100000 | 89416 88000 129 | 0.000 % |
83.52/83.66 c | 148683 | 1000 20000 100000 | 89416 88101 129 | 0.000 % |
83.62/83.76 c | 148794 | 1000 20000 100000 | 89416 88212 129 | 0.000 % |
83.72/83.88 c | 148915 | 1000 20000 100000 | 89416 88333 129 | 0.000 % |
83.82/83.97 c | 149048 | 1000 20000 100000 | 89416 88466 129 | 0.000 % |
84.02/84.12 c | 149194 | 1000 20000 100000 | 89416 88612 129 | 0.000 % |
84.12/84.24 c | 149356 | 1000 20000 100000 | 89416 88774 129 | 0.000 % |
84.22/84.38 c | 149532 | 1000 20000 100000 | 89416 88950 129 | 0.000 % |
84.42/84.57 c | 149725 | 1000 20000 100000 | 89416 89143 129 | 0.000 % |
84.62/84.75 c | 149938 | 1000 20000 100000 | 89416 89356 129 | 0.000 % |
84.82/84.95 c | 150171 | 1000 20000 100000 | 89421 89589 129 | 0.000 % |
85.02/85.18 c | 150429 | 1000 20000 100000 | 89421 80175 129 | 0.000 % |
85.22/85.38 c | 150710 | 1000 20000 100000 | 89421 80456 129 | 0.000 % |
85.52/85.61 c | 151019 | 1000 20000 100000 | 89421 80765 129 | 0.000 % |
85.72/85.88 c | 151359 | 1000 20000 100000 | 89421 81105 129 | 0.000 % |
86.01/86.16 c | 151732 | 1000 20000 100000 | 89421 81478 129 | 0.000 % |
86.41/86.50 c | 152141 | 1000 20000 100000 | 89421 81887 129 | 0.000 % |
86.72/86.82 c | 152590 | 1000 20000 100000 | 89421 82336 129 | 0.000 % |
87.11/87.22 c | 153083 | 1000 20000 100000 | 89421 82829 129 | 0.000 % |
87.51/87.64 c | 153625 | 1000 20000 100000 | 89421 83371 129 | 0.000 % |
87.92/88.09 c | 154222 | 1000 20000 100000 | 89421 83968 129 | 0.000 % |
88.41/88.57 c | 154879 | 1000 20000 100000 | 89421 84625 129 | 0.000 % |
88.92/89.09 c | 155599 | 1000 20000 100000 | 89421 85345 129 | 0.000 % |
89.51/89.67 c | 156391 | 1000 20000 100000 | 89421 86137 129 | 0.000 % |
90.21/90.32 c | 157264 | 1000 20000 100000 | 89421 87010 129 | 0.000 % |
90.91/91.02 c | 158222 | 1000 20000 100000 | 89421 87968 129 | 0.000 % |
91.71/91.81 c | 159276 | 1000 20000 100000 | 89421 89022 129 | 0.000 % |
92.61/92.71 c | 160436 | 1000 20000 100000 | 89746 80190 130 | 0.000 % |
93.51/93.61 c | 161709 | 1000 20000 100000 | 89746 81463 130 | 0.000 % |
94.41/94.60 c | 163111 | 1000 20000 100000 | 89746 82865 130 | 0.000 % |
95.51/95.63 c | 164651 | 1000 20000 100000 | 89746 84405 130 | 0.000 % |
96.71/96.82 c | 166345 | 1000 20000 100000 | 89746 86099 130 | 0.000 % |
96.81/96.91 c | 166445 | 1000 20000 100000 | 89746 86199 130 | 0.000 % |
96.91/97.00 c | 166556 | 1000 20000 100000 | 89746 86310 130 | 0.000 % |
97.01/97.12 c | 166677 | 1000 20000 100000 | 89746 86431 130 | 0.000 % |
97.11/97.22 c | 166810 | 1000 20000 100000 | 89746 86564 130 | 0.000 % |
97.21/97.35 c | 166958 | 1000 20000 100000 | 89746 86712 130 | 0.000 % |
97.31/97.49 c | 167120 | 1000 20000 100000 | 89746 86874 130 | 0.000 % |
97.51/97.64 c | 167299 | 1000 20000 100000 | 89746 87053 130 | 0.000 % |
97.61/97.79 c | 167493 | 1000 20000 100000 | 89746 87247 130 | 0.000 % |
97.81/97.94 c | 167705 | 1000 20000 100000 | 89746 87459 130 | 0.000 % |
98.01/98.11 c | 167939 | 1000 20000 100000 | 89746 87693 130 | 0.000 % |
98.21/98.31 c | 168196 | 1000 20000 100000 | 89746 87950 130 | 0.000 % |
98.41/98.53 c | 168477 | 1000 20000 100000 | 89746 88231 130 | 0.000 % |
98.61/98.79 c | 168786 | 1000 20000 100000 | 89746 88540 130 | 0.000 % |
98.91/99.08 c | 169125 | 1000 20000 100000 | 89746 88879 130 | 0.000 % |
99.21/99.37 c | 169497 | 1000 20000 100000 | 89746 89251 130 | 0.000 % |
99.51/99.68 c | 169908 | 1000 20000 100000 | 89746 89662 130 | 0.000 % |
99.91/100.06 c | 170357 | 1000 20000 100000 | 89755 80726 130 | 0.000 % |
100.21/100.39 c | 170850 | 1000 20000 100000 | 89755 81219 130 | 0.000 % |
100.61/100.78 c | 171394 | 1000 20000 100000 | 89755 81763 130 | 0.000 % |
101.01/101.18 c | 171990 | 1000 20000 100000 | 89755 82359 130 | 0.000 % |
101.51/101.66 c | 172646 | 1000 20000 100000 | 89755 83015 130 | 0.000 % |
102.00/102.15 c | 173366 | 1000 20000 100000 | 89755 83735 130 | 0.000 % |
102.50/102.69 c | 174158 | 1000 20000 100000 | 89755 84527 131 | 0.000 % |
103.10/103.27 c | 175029 | 1000 20000 100000 | 89755 85398 131 | 0.000 % |
103.90/104.01 c | 175988 | 1000 20000 100000 | 89755 86357 131 | 0.000 % |
104.70/104.85 c | 177042 | 1000 20000 100000 | 89755 87411 131 | 0.000 % |
105.60/105.79 c | 178200 | 1000 20000 100000 | 89755 88569 131 | 0.000 % |
106.70/106.83 c | 179473 | 1000 20000 100000 | 89755 89842 131 | 0.000 % |
107.80/107.91 c | 180874 | 1000 20000 100000 | 80576 72839 131 | 0.000 % |
108.71/108.90 c | 182416 | 1000 20000 100000 | 80576 74381 131 | 0.000 % |
109.81/109.99 c | 184110 | 1000 20000 100000 | 80576 76075 131 | 0.000 % |
111.01/111.16 c | 185973 | 1000 20000 100000 | 80576 77938 131 | 0.000 % |
111.10/111.24 c | 186073 | 1000 20000 100000 | 80576 78038 131 | 0.000 % |
111.20/111.34 c | 186183 | 1000 20000 100000 | 80576 78148 131 | 0.000 % |
111.30/111.41 c | 186304 | 1000 20000 100000 | 80576 78269 131 | 0.000 % |
111.40/111.52 c | 186437 | 1000 20000 100000 | 80576 78402 131 | 0.000 % |
111.50/111.64 c | 186585 | 1000 20000 100000 | 80576 78550 131 | 0.000 % |
111.60/111.78 c | 186745 | 1000 20000 100000 | 80576 78710 131 | 0.000 % |
111.80/111.92 c | 186922 | 1000 20000 100000 | 80576 78887 131 | 0.000 % |
111.90/112.08 c | 187115 | 1000 20000 100000 | 80576 79080 131 | 0.000 % |
112.11/112.24 c | 187327 | 1000 20000 100000 | 80576 79292 131 | 0.000 % |
112.30/112.41 c | 187561 | 1000 20000 100000 | 80576 79526 131 | 0.000 % |
112.50/112.61 c | 187817 | 1000 20000 100000 | 80576 79782 131 | 0.000 % |
112.70/112.81 c | 188098 | 1000 20000 100000 | 80576 80063 131 | 0.000 % |
112.90/113.07 c | 188408 | 1000 20000 100000 | 80576 80373 131 | 0.000 % |
113.21/113.34 c | 188748 | 1000 20000 100000 | 80576 80713 131 | 0.000 % |
113.50/113.63 c | 189120 | 1000 20000 100000 | 80576 73014 131 | 0.000 % |
113.70/113.89 c | 189530 | 1000 20000 100000 | 80576 73424 131 | 0.000 % |
114.10/114.21 c | 189979 | 1000 20000 100000 | 80576 73873 131 | 0.000 % |
114.40/114.52 c | 190472 | 1000 20000 100000 | 2147483647 74366 131 | 0.000 % |
114.70/114.88 c | 191014 | 1000 20000 100000 | 2147483647 74908 131 | 0.000 % |
115.21/115.32 c | 191611 | 1000 20000 100000 | 2147483647 75505 131 | 0.000 % |
115.61/115.74 c | 192266 | 1000 20000 100000 | 2147483647 76160 131 | 0.000 % |
116.11/116.24 c | 192988 | 1000 20000 100000 | 2147483647 76882 131 | 0.000 % |
116.61/116.78 c | 193780 | 1000 20000 100000 | 2147483647 77674 131 | 0.000 % |
117.21/117.37 c | 194651 | 1000 20000 100000 | 2147483647 78545 131 | 0.000 % |
117.91/118.03 c | 195609 | 1000 20000 100000 | 2147483647 79503 131 | 0.000 % |
118.61/118.71 c | 196663 | 1000 20000 100000 | 2147483647 80557 131 | 0.000 % |
119.40/119.55 c | 197822 | 1000 20000 100000 | 2147483647 81716 131 | 0.000 % |
120.30/120.42 c | 199096 | 1000 20000 100000 | 2147483647 82990 131 | 0.000 % |
121.30/121.48 c | 200498 | 1000 20000 100000 | 2147483647 84392 131 | 0.000 % |
122.50/122.64 c | 202041 | 1000 20000 100000 | 2147483647 85935 131 | 0.000 % |
123.80/123.97 c | 203735 | 1000 20000 100000 | 2147483647 87629 131 | 0.000 % |
125.20/125.37 c | 205598 | 1000 20000 100000 | 2147483647 89492 131 | 0.000 % |
126.80/126.94 c | 207647 | 1000 20000 100000 | 2147483647 91541 131 | 0.000 % |
126.90/127.03 c | 207747 | 1000 20000 100000 | 2147483647 91641 131 | 0.000 % |
127.00/127.13 c | 207858 | 1000 20000 100000 | 2147483647 91752 131 | 0.000 % |
127.10/127.22 c | 207979 | 1000 20000 100000 | 2147483647 91873 131 | 0.000 % |
127.20/127.35 c | 208114 | 1000 20000 100000 | 2147483647 92008 131 | 0.000 % |
127.30/127.48 c | 208260 | 1000 20000 100000 | 2147483647 92154 131 | 0.000 % |
127.50/127.61 c | 208423 | 1000 20000 100000 | 2147483647 92317 131 | 0.000 % |
127.60/127.77 c | 208599 | 1000 20000 100000 | 2147483647 92493 131 | 0.000 % |
127.80/127.97 c | 208793 | 1000 20000 100000 | 2147483647 92687 131 | 0.000 % |
128.00/128.17 c | 209007 | 1000 20000 100000 | 2147483647 92901 131 | 0.000 % |
128.30/128.42 c | 209242 | 1000 20000 100000 | 2147483647 93136 131 | 0.000 % |
128.50/128.64 c | 209503 | 1000 20000 100000 | 2147483647 93397 131 | 0.000 % |
128.80/128.91 c | 209786 | 1000 20000 100000 | 2147483647 93680 131 | 0.000 % |
129.00/129.19 c | 210095 | 1000 20000 100000 | 93895 93989 131 | 0.000 % |
129.40/129.54 c | 210436 | 1000 20000 100000 | 93895 82873 131 | 0.000 % |
129.70/129.85 c | 210808 | 1000 20000 100000 | 93895 83245 131 | 0.000 % |
130.00/130.15 c | 211218 | 1000 20000 100000 | 93895 83655 131 | 0.000 % |
130.30/130.48 c | 211667 | 1000 20000 100000 | 93895 84104 131 | 0.000 % |
130.70/130.84 c | 212160 | 1000 20000 100000 | 93895 84597 131 | 0.000 % |
131.10/131.23 c | 212702 | 1000 20000 100000 | 93895 85139 131 | 0.000 % |
131.50/131.66 c | 213298 | 1000 20000 100000 | 93895 85735 131 | 0.000 % |
132.00/132.15 c | 213953 | 1000 20000 100000 | 93895 86390 131 | 0.000 % |
132.50/132.69 c | 214673 | 1000 20000 100000 | 93895 87110 131 | 0.000 % |
133.10/133.29 c | 215465 | 1000 20000 100000 | 93895 87902 131 | 0.000 % |
133.80/133.98 c | 216336 | 1000 20000 100000 | 93895 88773 131 | 0.000 % |
134.60/134.72 c | 217294 | 1000 20000 100000 | 93895 89731 131 | 0.000 % |
135.39/135.53 c | 218347 | 1000 20000 100000 | 93895 90784 131 | 0.000 % |
136.20/136.37 c | 219505 | 1000 20000 100000 | 93895 91942 131 | 0.000 % |
137.30/137.48 c | 220779 | 1000 20000 100000 | 92438 81674 131 | 0.000 % |
138.29/138.42 c | 222179 | 1000 20000 100000 | 92438 83074 132 | 0.000 % |
139.39/139.53 c | 223719 | 1000 20000 100000 | 92438 84614 132 | 0.000 % |
140.49/140.70 c | 225413 | 1000 20000 100000 | 92438 86308 132 | 0.000 % |
141.89/142.07 c | 227277 | 1000 20000 100000 | 92438 88172 132 | 0.000 % |
143.49/143.64 c | 229326 | 1000 20000 100000 | 92438 90221 132 | 0.000 % |
145.19/145.30 c | 231580 | 1000 20000 100000 | 90896 81815 132 | 0.000 % |
145.19/145.39 c | 231680 | 1000 20000 100000 | 90896 81915 132 | 0.000 % |
145.29/145.48 c | 231790 | 1000 20000 100000 | 90896 82025 132 | 0.000 % |
145.39/145.59 c | 231912 | 1000 20000 100000 | 90896 82147 132 | 0.000 % |
145.59/145.70 c | 232047 | 1000 20000 100000 | 90896 82282 132 | 0.000 % |
145.69/145.84 c | 232193 | 1000 20000 100000 | 90896 82428 132 | 0.000 % |
145.79/145.98 c | 232354 | 1000 20000 100000 | 90896 82589 132 | 0.000 % |
145.99/146.13 c | 232530 | 1000 20000 100000 | 90896 82765 132 | 0.000 % |
146.09/146.30 c | 232724 | 1000 20000 100000 | 90896 82959 132 | 0.000 % |
146.29/146.46 c | 232937 | 1000 20000 100000 | 90896 83172 132 | 0.000 % |
146.49/146.67 c | 233170 | 1000 20000 100000 | 90896 83405 132 | 0.000 % |
146.69/146.85 c | 233427 | 1000 20000 100000 | 90896 83662 132 | 0.000 % |
146.89/147.06 c | 233709 | 1000 20000 100000 | 90896 83944 132 | 0.000 % |
147.09/147.28 c | 234020 | 1000 20000 100000 | 90896 84255 132 | 0.000 % |
147.39/147.56 c | 234359 | 1000 20000 100000 | 90896 84594 132 | 0.000 % |
147.69/147.87 c | 234732 | 1000 20000 100000 | 90896 84967 132 | 0.000 % |
148.09/148.20 c | 235141 | 1000 20000 100000 | 90896 85376 132 | 0.000 % |
148.29/148.50 c | 235590 | 1000 20000 100000 | 90896 85825 132 | 0.000 % |
148.79/148.94 c | 236085 | 1000 20000 100000 | 90896 86320 132 | 0.000 % |
149.29/149.40 c | 236629 | 1000 20000 100000 | 90896 86864 132 | 0.000 % |
149.69/149.86 c | 237229 | 1000 20000 100000 | 90896 87464 132 | 0.000 % |
150.19/150.38 c | 237884 | 1000 20000 100000 | 90896 88119 132 | 0.000 % |
150.79/150.94 c | 238605 | 1000 20000 100000 | 90896 88840 132 | 0.000 % |
151.39/151.51 c | 239398 | 1000 20000 100000 | 90896 89633 132 | 0.000 % |
151.99/152.15 c | 240270 | 1000 20000 100000 | 90235 90505 132 | 0.000 % |
152.69/152.88 c | 241228 | 1000 20000 100000 | 90235 80837 131 | 0.000 % |
153.49/153.69 c | 242281 | 1000 20000 100000 | 90235 81890 131 | 0.000 % |
154.39/154.52 c | 243440 | 1000 20000 100000 | 90235 83049 132 | 0.000 % |
155.19/155.37 c | 244713 | 1000 20000 100000 | 90235 84322 132 | 0.000 % |
156.29/156.43 c | 246113 | 1000 20000 100000 | 90235 85722 132 | 0.000 % |
157.39/157.57 c | 247654 | 1000 20000 100000 | 90235 87263 132 | 0.000 % |
158.59/158.74 c | 249348 | 1000 20000 100000 | 90235 88957 132 | 0.000 % |
159.89/160.07 c | 251212 | 1000 20000 100000 | 89609 81637 131 | 0.000 % |
161.29/161.49 c | 253261 | 1000 20000 100000 | 89609 83686 131 | 0.000 % |
162.89/163.05 c | 255514 | 1000 20000 100000 | 89609 85939 132 | 0.000 % |
164.79/164.95 c | 257995 | 1000 20000 100000 | 89609 88420 132 | 0.000 % |
164.89/165.02 c | 258096 | 1000 20000 100000 | 89609 88521 132 | 0.000 % |
164.99/165.13 c | 258207 | 1000 20000 100000 | 89609 88632 132 | 0.000 % |
165.08/165.24 c | 258328 | 1000 20000 100000 | 89609 88753 132 | 0.000 % |
165.18/165.35 c | 258461 | 1000 20000 100000 | 89609 88886 132 | 0.000 % |
165.28/165.48 c | 258608 | 1000 20000 100000 | 89609 89033 132 | 0.000 % |
165.48/165.62 c | 258768 | 1000 20000 100000 | 89609 89193 132 | 0.000 % |
165.58/165.77 c | 258945 | 1000 20000 100000 | 89609 89370 132 | 0.000 % |
165.78/165.94 c | 259138 | 1000 20000 100000 | 89609 89563 132 | 0.000 % |
165.89/166.09 c | 259350 | 1000 20000 100000 | 89609 89775 132 | 0.000 % |
166.18/166.31 c | 259583 | 1000 20000 100000 | 89609 80247 131 | 0.000 % |
166.38/166.52 c | 259841 | 1000 20000 100000 | 89609 80505 131 | 0.000 % |
166.58/166.74 c | 260122 | 1000 20000 100000 | 80664 80786 131 | 0.000 % |
166.88/167.01 c | 260431 | 1000 20000 100000 | 80664 72275 131 | 0.000 % |
167.08/167.24 c | 260770 | 1000 20000 100000 | 80664 72614 131 | 0.000 % |
167.28/167.49 c | 261144 | 1000 20000 100000 | 80664 72988 131 | 0.000 % |
167.58/167.76 c | 261554 | 1000 20000 100000 | 80664 73398 131 | 0.000 % |
167.98/168.10 c | 262005 | 1000 20000 100000 | 80664 73849 131 | 0.000 % |
168.28/168.45 c | 262498 | 1000 20000 100000 | 80664 74342 131 | 0.000 % |
168.68/168.83 c | 263040 | 1000 20000 100000 | 80664 74884 131 | 0.000 % |
169.08/169.27 c | 263638 | 1000 20000 100000 | 80664 75482 131 | 0.000 % |
169.58/169.73 c | 264293 | 1000 20000 100000 | 80664 76137 131 | 0.000 % |
170.08/170.25 c | 265013 | 1000 20000 100000 | 80664 76857 131 | 0.000 % |
170.68/170.82 c | 265806 | 1000 20000 100000 | 80664 77650 131 | 0.000 % |
171.28/171.43 c | 266678 | 1000 20000 100000 | 80664 78522 131 | 0.000 % |
171.88/172.07 c | 267636 | 1000 20000 100000 | 80664 79480 131 | 0.000 % |
172.68/172.83 c | 268689 | 1000 20000 100000 | 80664 80533 131 | 0.000 % |
173.48/173.68 c | 269847 | 1000 20000 100000 | 80664 73592 131 | 0.000 % |
174.38/174.59 c | 271120 | 1000 20000 100000 | 2147483647 74865 131 | 0.000 % |
175.38/175.55 c | 272520 | 1000 20000 100000 | 2147483647 76265 131 | 0.000 % |
176.38/176.54 c | 274062 | 1000 20000 100000 | 2147483647 77807 132 | 0.000 % |
177.58/177.75 c | 275757 | 1000 20000 100000 | 2147483647 79502 132 | 0.000 % |
178.87/179.06 c | 277620 | 1000 20000 100000 | 2147483647 81365 132 | 0.000 % |
180.37/180.54 c | 279669 | 1000 20000 100000 | 2147483647 83414 132 | 0.000 % |
182.07/182.21 c | 281922 | 1000 20000 100000 | 2147483647 85667 132 | 0.000 % |
183.77/183.93 c | 284400 | 1000 20000 100000 | 2147483647 88145 132 | 0.000 % |
185.87/186.00 c | 287126 | 1000 20000 100000 | 2147483647 90871 132 | 0.000 % |
185.87/186.09 c | 287227 | 1000 20000 100000 | 2147483647 90972 132 | 0.000 % |
186.07/186.20 c | 287337 | 1000 20000 100000 | 2147483647 91082 132 | 0.000 % |
186.17/186.30 c | 287461 | 1000 20000 100000 | 2147483647 91206 132 | 0.000 % |
186.27/186.42 c | 287596 | 1000 20000 100000 | 2147483647 91341 132 | 0.000 % |
186.37/186.58 c | 287743 | 1000 20000 100000 | 2147483647 91488 132 | 0.000 % |
186.57/186.71 c | 287905 | 1000 20000 100000 | 2147483647 91650 132 | 0.000 % |
186.67/186.87 c | 288081 | 1000 20000 100000 | 2147483647 91826 132 | 0.000 % |
186.88/187.06 c | 288274 | 1000 20000 100000 | 2147483647 92019 132 | 0.000 % |
187.07/187.23 c | 288486 | 1000 20000 100000 | 2147483647 92231 132 | 0.000 % |
187.27/187.44 c | 288720 | 1000 20000 100000 | 2147483647 92465 132 | 0.000 % |
187.47/187.64 c | 288976 | 1000 20000 100000 | 2147483647 92721 132 | 0.000 % |
187.67/187.89 c | 289257 | 1000 20000 100000 | 2147483647 93002 132 | 0.000 % |
187.98/188.15 c | 289567 | 1000 20000 100000 | 2147483647 93312 132 | 0.000 % |
188.27/188.47 c | 289908 | 1000 20000 100000 | 2147483647 93653 132 | 0.000 % |
188.67/188.81 c | 290282 | 1000 20000 100000 | 93745 94027 132 | 0.000 % |
188.97/189.19 c | 290691 | 1000 20000 100000 | 93745 83547 131 | 0.000 % |
189.37/189.53 c | 291140 | 1000 20000 100000 | 93745 83996 131 | 0.000 % |
189.77/189.92 c | 291633 | 1000 20000 100000 | 93745 84489 131 | 0.000 % |
190.17/190.33 c | 292176 | 1000 20000 100000 | 93745 85032 131 | 0.000 % |
190.57/190.77 c | 292772 | 1000 20000 100000 | 93745 85628 131 | 0.000 % |
191.07/191.23 c | 293428 | 1000 20000 100000 | 93745 86284 131 | 0.000 % |
191.57/191.76 c | 294150 | 1000 20000 100000 | 93745 87006 131 | 0.000 % |
192.17/192.36 c | 294942 | 1000 20000 100000 | 93745 87798 132 | 0.000 % |
192.77/192.99 c | 295814 | 1000 20000 100000 | 93745 88670 132 | 0.000 % |
193.47/193.69 c | 296773 | 1000 20000 100000 | 93745 89629 132 | 0.000 % |
194.27/194.47 c | 297826 | 1000 20000 100000 | 93745 90682 132 | 0.000 % |
195.17/195.36 c | 298985 | 1000 20000 100000 | 93745 91841 132 | 0.000 % |
196.17/196.39 c | 300258 | 1000 20000 100000 | 92856 93114 132 | 0.000 % |
197.27/197.41 c | 301659 | 1000 20000 100000 | 92856 84319 132 | 0.000 % |
198.27/198.49 c | 303199 | 1000 20000 100000 | 92856 85859 132 | 0.000 % |
199.57/199.73 c | 304893 | 1000 20000 100000 | 92856 87553 132 | 0.000 % |
200.97/201.17 c | 306756 | 1000 20000 100000 | 92856 89416 132 | 0.000 % |
202.57/202.73 c | 308805 | 1000 20000 100000 | 92856 91465 132 | 0.000 % |
204.37/204.60 c | 311058 | 1000 20000 100000 | 92661 83630 133 | 0.000 % |
206.26/206.43 c | 313536 | 1000 20000 100000 | 92661 86108 133 | 0.000 % |
208.36/208.57 c | 316262 | 1000 20000 100000 | 92661 88834 133 | 0.000 % |
210.76/210.90 c | 319259 | 1000 20000 100000 | 92661 91831 133 | 0.000 % |
210.76/210.99 c | 319360 | 1000 20000 100000 | 92661 91932 133 | 0.000 % |
210.86/211.09 c | 319470 | 1000 20000 100000 | 92661 92042 133 | 0.000 % |
210.96/211.20 c | 319591 | 1000 20000 100000 | 92661 92163 133 | 0.000 % |
211.16/211.35 c | 319725 | 1000 20000 100000 | 92661 92297 133 | 0.000 % |
211.26/211.48 c | 319871 | 1000 20000 100000 | 92661 92443 133 | 0.000 % |
211.36/211.60 c | 320034 | 1000 20000 100000 | 92574 92606 133 | 0.000 % |
211.66/211.83 c | 320210 | 1000 20000 100000 | 92574 81557 133 | 0.000 % |
211.76/211.99 c | 320404 | 1000 20000 100000 | 92574 81751 133 | 0.000 % |
211.96/212.17 c | 320618 | 1000 20000 100000 | 92574 81965 133 | 0.000 % |
212.16/212.35 c | 320852 | 1000 20000 100000 | 92574 82199 133 | 0.000 % |
212.36/212.55 c | 321109 | 1000 20000 100000 | 92574 82456 133 | 0.000 % |
212.56/212.76 c | 321390 | 1000 20000 100000 | 92574 82737 133 | 0.000 % |
212.86/213.00 c | 321699 | 1000 20000 100000 | 92574 83046 133 | 0.000 % |
213.06/213.23 c | 322040 | 1000 20000 100000 | 92574 83387 133 | 0.000 % |
213.36/213.55 c | 322412 | 1000 20000 100000 | 92574 83759 133 | 0.000 % |
213.66/213.88 c | 322821 | 1000 20000 100000 | 92574 84168 133 | 0.000 % |
214.06/214.26 c | 323270 | 1000 20000 100000 | 92574 84617 133 | 0.000 % |
214.46/214.66 c | 323767 | 1000 20000 100000 | 92574 85114 133 | 0.000 % |
214.96/215.14 c | 324309 | 1000 20000 100000 | 92574 85656 133 | 0.000 % |
215.36/215.55 c | 324908 | 1000 20000 100000 | 92574 86255 133 | 0.000 % |
215.86/216.06 c | 325565 | 1000 20000 100000 | 92574 86912 133 | 0.000 % |
216.46/216.64 c | 326285 | 1000 20000 100000 | 92574 87632 133 | 0.000 % |
217.06/217.29 c | 327080 | 1000 20000 100000 | 92574 88427 133 | 0.000 % |
217.76/217.98 c | 327954 | 1000 20000 100000 | 92574 89301 133 | 0.000 % |
218.57/218.72 c | 328913 | 1000 20000 100000 | 92574 90260 133 | 0.000 % |
219.37/219.55 c | 329968 | 1000 20000 100000 | 92574 91315 133 | 0.000 % |
220.26/220.44 c | 331128 | 1000 20000 100000 | 91348 81020 133 | 0.000 % |
221.16/221.32 c | 332403 | 1000 20000 100000 | 91348 82295 133 | 0.000 % |
222.16/222.35 c | 333805 | 1000 20000 100000 | 91348 83697 133 | 0.000 % |
223.26/223.46 c | 335345 | 1000 20000 100000 | 91348 85237 133 | 0.000 % |
224.56/224.73 c | 337040 | 1000 20000 100000 | 91348 86932 133 | 0.000 % |
226.06/226.23 c | 338903 | 1000 20000 100000 | 91348 88795 133 | 0.000 % |
227.66/227.80 c | 340953 | 1000 20000 100000 | 89892 80637 133 | 0.000 % |
229.16/229.34 c | 343208 | 1000 20000 100000 | 89892 82892 133 | 0.000 % |
230.96/231.10 c | 345686 | 1000 20000 100000 | 89892 85370 133 | 0.000 % |
232.96/233.12 c | 348412 | 1000 20000 100000 | 89892 88096 134 | 0.000 % |
235.06/235.24 c | 351410 | 1000 20000 100000 | 2147483647 91094 134 | 0.000 % |
237.55/237.73 c | 354707 | 1000 20000 100000 | 2147483647 94391 134 | 0.000 % |
237.65/237.81 c | 354807 | 1000 20000 100000 | 2147483647 94491 134 | 0.000 % |
237.75/237.92 c | 354918 | 1000 20000 100000 | 2147483647 94602 134 | 0.000 % |
237.85/238.03 c | 355039 | 1000 20000 100000 | 2147483647 94723 134 | 0.000 % |
237.95/238.19 c | 355172 | 1000 20000 100000 | 2147483647 94856 134 | 0.000 % |
238.15/238.31 c | 355319 | 1000 20000 100000 | 2147483647 95003 134 | 0.000 % |
238.25/238.47 c | 355481 | 1000 20000 100000 | 2147483647 95165 134 | 0.000 % |
238.46/238.63 c | 355659 | 1000 20000 100000 | 2147483647 95343 134 | 0.000 % |
238.56/238.79 c | 355852 | 1000 20000 100000 | 2147483647 95536 134 | 0.000 % |
238.75/238.98 c | 356064 | 1000 20000 100000 | 2147483647 95748 134 | 0.000 % |
239.05/239.21 c | 356297 | 1000 20000 100000 | 2147483647 95981 134 | 0.000 % |
239.25/239.46 c | 356553 | 1000 20000 100000 | 2147483647 96237 134 | 0.000 % |
239.55/239.72 c | 356837 | 1000 20000 100000 | 2147483647 96521 134 | 0.000 % |
239.76/239.99 c | 357148 | 1000 20000 100000 | 2147483647 96832 134 | 0.000 % |
240.06/240.28 c | 357487 | 1000 20000 100000 | 2147483647 97171 134 | 0.000 % |
240.45/240.64 c | 357859 | 1000 20000 100000 | 2147483647 97543 134 | 0.000 % |
240.76/240.98 c | 358270 | 1000 20000 100000 | 2147483647 97954 133 | 0.000 % |
241.25/241.41 c | 358720 | 1000 20000 100000 | 2147483647 98404 133 | 0.000 % |
241.65/241.84 c | 359213 | 1000 20000 100000 | 2147483647 98897 133 | 0.000 % |
242.05/242.29 c | 359756 | 1000 20000 100000 | 2147483647 99440 133 | 0.000 % |
242.65/242.87 c | 360353 | 1000 20000 100000 | 99684 86153 134 | 0.000 % |
243.15/243.34 c | 361008 | 1000 20000 100000 | 99684 86808 134 | 0.000 % |
243.75/243.98 c | 361728 | 1000 20000 100000 | 99684 87528 134 | 0.000 % |
244.45/244.63 c | 362520 | 1000 20000 100000 | 99684 88320 134 | 0.000 % |
245.15/245.31 c | 363392 | 1000 20000 100000 | 99684 89192 134 | 0.000 % |
245.95/246.10 c | 364352 | 1000 20000 100000 | 99684 90152 134 | 0.000 % |
246.75/246.91 c | 365405 | 1000 20000 100000 | 99684 91205 133 | 0.000 % |
247.55/247.75 c | 366564 | 1000 20000 100000 | 99684 92364 133 | 0.000 % |
248.55/248.80 c | 367838 | 1000 20000 100000 | 99684 93638 133 | 0.000 % |
249.65/249.86 c | 369243 | 1000 20000 100000 | 99684 95043 133 | 0.000 % |
250.85/251.07 c | 370783 | 1000 20000 100000 | 95802 83734 133 | 0.000 % |
252.05/252.20 c | 372477 | 1000 20000 100000 | 95802 85428 133 | 0.000 % |
253.35/253.56 c | 374341 | 1000 20000 100000 | 95802 87292 133 | 0.000 % |
254.85/255.03 c | 376391 | 1000 20000 100000 | 95802 89342 133 | 0.000 % |
256.55/256.74 c | 378645 | 1000 20000 100000 | 95802 91596 133 | 0.000 % |
258.44/258.64 c | 381123 | 1000 20000 100000 | 92951 83200 133 | 0.000 % |
260.34/260.58 c | 383848 | 1000 20000 100000 | 92951 85925 133 | 0.000 % |
262.65/262.82 c | 386845 | 1000 20000 100000 | 92951 88922 134 | 0.000 % |
265.15/265.31 c | 390141 | 1000 20000 100000 | 92079 92218 134 | 0.000 % |
267.85/268.02 c | 393766 | 1000 20000 100000 | 92079 85810 134 | 0.000 % |
267.85/268.10 c | 393867 | 1000 20000 100000 | 92079 85911 134 | 0.000 % |
267.95/268.19 c | 393977 | 1000 20000 100000 | 92079 86021 134 | 0.000 % |
268.15/268.30 c | 394099 | 1000 20000 100000 | 92079 86143 134 | 0.000 % |
268.25/268.45 c | 394233 | 1000 20000 100000 | 92079 86277 134 | 0.000 % |
268.35/268.58 c | 394383 | 1000 20000 100000 | 92079 86427 134 | 0.000 % |
268.55/268.73 c | 394544 | 1000 20000 100000 | 92079 86588 134 | 0.000 % |
268.75/268.92 c | 394724 | 1000 20000 100000 | 92079 86768 134 | 0.000 % |
268.85/269.08 c | 394917 | 1000 20000 100000 | 92079 86961 134 | 0.000 % |
269.05/269.26 c | 395131 | 1000 20000 100000 | 92079 87175 134 | 0.000 % |
269.25/269.44 c | 395364 | 1000 20000 100000 | 92079 87408 134 | 0.000 % |
269.45/269.64 c | 395620 | 1000 20000 100000 | 92079 87664 134 | 0.000 % |
269.65/269.88 c | 395901 | 1000 20000 100000 | 92079 87945 134 | 0.000 % |
269.95/270.15 c | 396212 | 1000 20000 100000 | 92079 88256 134 | 0.000 % |
270.25/270.40 c | 396551 | 1000 20000 100000 | 92079 88595 134 | 0.000 % |
270.55/270.73 c | 396923 | 1000 20000 100000 | 92079 88967 134 | 0.000 % |
270.85/271.06 c | 397332 | 1000 20000 100000 | 92079 89376 134 | 0.000 % |
271.25/271.40 c | 397782 | 1000 20000 100000 | 92079 89826 134 | 0.000 % |
271.65/271.83 c | 398275 | 1000 20000 100000 | 92079 90319 134 | 0.000 % |
272.05/272.27 c | 398819 | 1000 20000 100000 | 92079 90863 134 | 0.000 % |
272.55/272.75 c | 399415 | 1000 20000 100000 | 92079 91459 134 | 0.000 % |
273.05/273.28 c | 400072 | 1000 20000 100000 | 92044 92116 134 | 0.000 % |
273.65/273.88 c | 400792 | 1000 20000 100000 | 92044 82089 133 | 0.000 % |
274.25/274.48 c | 401585 | 1000 20000 100000 | 92044 82882 133 | 0.000 % |
274.95/275.16 c | 402456 | 1000 20000 100000 | 92044 83753 133 | 0.000 % |
275.65/275.85 c | 403414 | 1000 20000 100000 | 92044 84711 133 | 0.000 % |
276.45/276.61 c | 404470 | 1000 20000 100000 | 92044 85767 133 | 0.000 % |
277.24/277.42 c | 405630 | 1000 20000 100000 | 92044 86927 133 | 0.000 % |
278.15/278.37 c | 406903 | 1000 20000 100000 | 92044 88200 133 | 0.000 % |
279.15/279.40 c | 408304 | 1000 20000 100000 | 92044 89601 133 | 0.000 % |
280.35/280.58 c | 409845 | 1000 20000 100000 | 92044 91142 133 | 0.000 % |
281.74/281.92 c | 411540 | 1000 20000 100000 | 91297 82710 133 | 0.000 % |
283.04/283.28 c | 413404 | 1000 20000 100000 | 91297 84574 134 | 0.000 % |
284.54/284.80 c | 415455 | 1000 20000 100000 | 91297 86625 134 | 0.000 % |
286.24/286.49 c | 417709 | 1000 20000 100000 | 91297 88879 134 | 0.000 % |
288.14/288.35 c | 420188 | 1000 20000 100000 | 91171 91358 134 | 0.000 % |
290.14/290.34 c | 422914 | 1000 20000 100000 | 91171 83728 134 | 0.000 % |
292.34/292.57 c | 425912 | 1000 20000 100000 | 91171 86726 134 | 0.000 % |
294.84/295.01 c | 429209 | 1000 20000 100000 | 91171 90023 134 | 0.000 % |
297.34/297.54 c | 432834 | 1000 20000 100000 | 90814 83358 134 | 0.000 % |
300.24/300.46 c | 436821 | 1000 20000 100000 | 90814 87345 134 | 0.000 % |
300.34/300.55 c | 436922 | 1000 20000 100000 | 90814 87446 134 | 0.000 % |
300.44/300.65 c | 437032 | 1000 20000 100000 | 90814 87556 134 | 0.000 % |
300.54/300.79 c | 437157 | 1000 20000 100000 | 90814 87681 134 | 0.000 % |
300.74/300.91 c | 437290 | 1000 20000 100000 | 90814 87814 134 | 0.000 % |
300.84/301.05 c | 437436 | 1000 20000 100000 | 90814 87960 134 | 0.000 % |
300.94/301.19 c | 437596 | 1000 20000 100000 | 90814 88120 134 | 0.000 % |
301.14/301.36 c | 437772 | 1000 20000 100000 | 90814 88296 134 | 0.000 % |
301.34/301.52 c | 437965 | 1000 20000 100000 | 90814 88489 134 | 0.000 % |
301.54/301.70 c | 438177 | 1000 20000 100000 | 90814 88701 134 | 0.000 % |
301.64/301.88 c | 438410 | 1000 20000 100000 | 90814 88934 134 | 0.000 % |
301.94/302.10 c | 438666 | 1000 20000 100000 | 90814 89190 134 | 0.000 % |
302.14/302.33 c | 438950 | 1000 20000 100000 | 90814 89474 134 | 0.000 % |
302.34/302.59 c | 439259 | 1000 20000 100000 | 90814 89783 134 | 0.000 % |
302.64/302.87 c | 439598 | 1000 20000 100000 | 90814 90122 134 | 0.000 % |
302.93/303.19 c | 439972 | 1000 20000 100000 | 90814 90496 134 | 0.000 % |
303.34/303.57 c | 440384 | 1000 20000 100000 | 90524 80322 134 | 0.000 % |
303.63/303.87 c | 440835 | 1000 20000 100000 | 90524 80773 134 | 0.000 % |
304.03/304.20 c | 441328 | 1000 20000 100000 | 90524 81266 134 | 0.000 % |
304.33/304.58 c | 441870 | 1000 20000 100000 | 90524 81808 134 | 0.000 % |
304.83/305.04 c | 442467 | 1000 20000 100000 | 90524 82405 134 | 0.000 % |
305.33/305.51 c | 443124 | 1000 20000 100000 | 90524 83062 134 | 0.000 % |
305.83/306.06 c | 443844 | 1000 20000 100000 | 90524 83782 134 | 0.000 % |
306.43/306.63 c | 444637 | 1000 20000 100000 | 90524 84575 134 | 0.000 % |
307.03/307.25 c | 445508 | 1000 20000 100000 | 90524 85446 134 | 0.000 % |
307.84/308.05 c | 446466 | 1000 20000 100000 | 90524 86404 134 | 0.000 % |
308.63/308.85 c | 447519 | 1000 20000 100000 | 90524 87457 134 | 0.000 % |
309.63/309.83 c | 448677 | 1000 20000 100000 | 90524 88615 134 | 0.000 % |
310.53/310.80 c | 449950 | 1000 20000 100000 | 90524 89888 134 | 0.000 % |
311.63/311.86 c | 451352 | 1000 20000 100000 | 89938 80762 135 | 0.000 % |
312.73/312.95 c | 452892 | 1000 20000 100000 | 89938 82302 135 | 0.000 % |
313.93/314.19 c | 454587 | 1000 20000 100000 | 89938 83997 135 | 0.000 % |
315.33/315.57 c | 456450 | 1000 20000 100000 | 89938 85860 135 | 0.000 % |
316.83/317.03 c | 458500 | 1000 20000 100000 | 89938 87910 135 | 0.000 % |
318.63/318.83 c | 460754 | 1000 20000 100000 | 89411 80378 135 | 0.000 % |
320.43/320.64 c | 463233 | 1000 20000 100000 | 89411 82857 135 | 0.000 % |
322.33/322.60 c | 465958 | 1000 20000 100000 | 89411 85582 135 | 0.000 % |
324.62/324.89 c | 468955 | 1000 20000 100000 | 89411 88579 135 | 0.000 % |
327.13/327.39 c | 472254 | 1000 20000 100000 | 89624 82156 135 | 0.000 % |
329.83/330.02 c | 475880 | 1000 20000 100000 | 89624 85782 135 | 0.000 % |
332.92/333.14 c | 479867 | 1000 20000 100000 | 89624 89769 135 | 0.000 % |
336.12/336.34 c | 484252 | 1000 20000 100000 | 80804 76942 137 | 0.000 % |
336.22/336.42 c | 484352 | 1000 20000 100000 | 80804 77042 137 | 0.000 % |
336.33/336.51 c | 484463 | 1000 20000 100000 | 80804 77153 137 | 0.000 % |
336.43/336.61 c | 484584 | 1000 20000 100000 | 80804 77274 137 | 0.000 % |
336.52/336.74 c | 484717 | 1000 20000 100000 | 80804 77407 137 | 0.000 % |
336.62/336.84 c | 484864 | 1000 20000 100000 | 80804 77554 137 | 0.000 % |
336.72/336.97 c | 485024 | 1000 20000 100000 | 80804 77714 137 | 0.000 % |
336.92/337.11 c | 485200 | 1000 20000 100000 | 80804 77890 137 | 0.000 % |
337.02/337.26 c | 485394 | 1000 20000 100000 | 80804 78084 137 | 0.000 % |
337.22/337.42 c | 485606 | 1000 20000 100000 | 80804 78296 137 | 0.000 % |
337.32/337.60 c | 485840 | 1000 20000 100000 | 80804 78530 137 | 0.000 % |
337.52/337.77 c | 486096 | 1000 20000 100000 | 80804 78786 137 | 0.000 % |
337.82/338.00 c | 486378 | 1000 20000 100000 | 80804 79068 137 | 0.000 % |
338.02/338.24 c | 486688 | 1000 20000 100000 | 80804 79378 137 | 0.000 % |
338.22/338.49 c | 487028 | 1000 20000 100000 | 80804 79718 136 | 0.000 % |
338.52/338.77 c | 487400 | 1000 20000 100000 | 80804 80090 136 | 0.000 % |
338.82/339.07 c | 487809 | 1000 20000 100000 | 80804 80499 136 | 0.000 % |
339.12/339.38 c | 488258 | 1000 20000 100000 | 80804 80948 136 | 0.000 % |
339.52/339.75 c | 488752 | 1000 20000 100000 | 80804 73348 137 | 0.000 % |
339.82/340.09 c | 489295 | 1000 20000 100000 | 80804 73891 137 | 0.000 % |
340.22/340.48 c | 489891 | 1000 20000 100000 | 80804 74487 137 | 0.000 % |
340.72/340.93 c | 490546 | 1000 20000 100000 | 2147483647 75142 136 | 0.000 % |
341.22/341.45 c | 491267 | 1000 20000 100000 | 2147483647 75863 136 | 0.000 % |
341.72/342.00 c | 492059 | 1000 20000 100000 | 2147483647 76655 136 | 0.000 % |
342.32/342.56 c | 492931 | 1000 20000 100000 | 2147483647 77527 136 | 0.000 % |
343.02/343.22 c | 493889 | 1000 20000 100000 | 2147483647 78485 136 | 0.000 % |
343.71/343.94 c | 494943 | 1000 20000 100000 | 2147483647 79539 136 | 0.000 % |
344.62/344.80 c | 496103 | 1000 20000 100000 | 2147483647 80699 136 | 0.000 % |
345.51/345.70 c | 497377 | 1000 20000 100000 | 2147483647 81973 136 | 0.000 % |
346.41/346.66 c | 498777 | 1000 20000 100000 | 2147483647 83373 136 | 0.000 % |
347.51/347.77 c | 500318 | 1000 20000 100000 | 2147483647 84914 136 | 0.000 % |
348.71/348.99 c | 502013 | 1000 20000 100000 | 2147483647 86609 136 | 0.000 % |
350.21/350.44 c | 503876 | 1000 20000 100000 | 2147483647 88472 136 | 0.000 % |
351.72/351.98 c | 505925 | 1000 20000 100000 | 2147483647 90521 136 | 0.000 % |
353.41/353.66 c | 508178 | 1000 20000 100000 | 2147483647 92774 136 | 0.000 % |
355.31/355.51 c | 510657 | 1000 20000 100000 | 94597 84500 136 | 0.000 % |
357.21/357.46 c | 513382 | 1000 20000 100000 | 94597 87225 136 | 0.000 % |
359.51/359.72 c | 516379 | 1000 20000 100000 | 94597 90222 136 | 0.000 % |
362.01/362.21 c | 519676 | 1000 20000 100000 | 94597 93519 136 | 0.000 % |
364.62/364.88 c | 523301 | 1000 20000 100000 | 93843 85983 135 | 0.000 % |
367.62/367.84 c | 527288 | 1000 20000 100000 | 93843 89970 135 | 0.000 % |
371.12/371.32 c | 531674 | 1000 20000 100000 | 92683 84233 136 | 0.000 % |
374.51/374.73 c | 536497 | 1000 20000 100000 | 92683 89056 136 | 0.000 % |
374.61/374.82 c | 536597 | 1000 20000 100000 | 92683 89156 136 | 0.000 % |
374.71/374.93 c | 536707 | 1000 20000 100000 | 92683 89266 136 | 0.000 % |
374.82/375.04 c | 536829 | 1000 20000 100000 | 92683 89388 136 | 0.000 % |
374.92/375.18 c | 536963 | 1000 20000 100000 | 92683 89522 136 | 0.000 % |
375.11/375.30 c | 537109 | 1000 20000 100000 | 92683 89668 136 | 0.000 % |
375.21/375.45 c | 537269 | 1000 20000 100000 | 92683 89828 136 | 0.000 % |
375.31/375.59 c | 537445 | 1000 20000 100000 | 92683 90004 136 | 0.000 % |
375.51/375.75 c | 537640 | 1000 20000 100000 | 92683 90199 136 | 0.000 % |
375.71/375.91 c | 537854 | 1000 20000 100000 | 92683 90413 136 | 0.000 % |
375.92/376.11 c | 538087 | 1000 20000 100000 | 92683 90646 136 | 0.000 % |
376.11/376.37 c | 538344 | 1000 20000 100000 | 92683 90903 135 | 0.000 % |
376.41/376.63 c | 538627 | 1000 20000 100000 | 92683 91186 135 | 0.000 % |
376.61/376.89 c | 538936 | 1000 20000 100000 | 92683 91495 135 | 0.000 % |
376.91/377.16 c | 539275 | 1000 20000 100000 | 92683 91834 135 | 0.000 % |
377.21/377.46 c | 539647 | 1000 20000 100000 | 92683 92206 135 | 0.000 % |
377.51/377.80 c | 540056 | 1000 20000 100000 | 92561 92615 135 | 0.000 % |
378.01/378.22 c | 540506 | 1000 20000 100000 | 92561 82699 136 | 0.000 % |
378.31/378.58 c | 540999 | 1000 20000 100000 | 92561 83192 136 | 0.000 % |
378.81/379.02 c | 541542 | 1000 20000 100000 | 92561 83735 135 | 0.000 % |
379.31/379.53 c | 542138 | 1000 20000 100000 | 92561 84331 135 | 0.000 % |
379.81/380.04 c | 542795 | 1000 20000 100000 | 92561 84988 135 | 0.000 % |
380.31/380.56 c | 543515 | 1000 20000 100000 | 92561 85708 135 | 0.000 % |
380.91/381.15 c | 544309 | 1000 20000 100000 | 92561 86502 135 | 0.000 % |
381.51/381.77 c | 545180 | 1000 20000 100000 | 92561 87373 135 | 0.000 % |
382.21/382.49 c | 546138 | 1000 20000 100000 | 92561 88331 135 | 0.000 % |
383.11/383.37 c | 547193 | 1000 20000 100000 | 92561 89386 135 | 0.000 % |
384.11/384.32 c | 548351 | 1000 20000 100000 | 92561 90544 135 | 0.000 % |
385.11/385.33 c | 549624 | 1000 20000 100000 | 92561 91817 135 | 0.000 % |
386.21/386.42 c | 551026 | 1000 20000 100000 | 92195 82102 135 | 0.000 % |
387.41/387.61 c | 552567 | 1000 20000 100000 | 92195 83643 135 | 0.000 % |
388.61/388.83 c | 554262 | 1000 20000 100000 | 92195 85338 135 | 0.000 % |
389.91/390.14 c | 556125 | 1000 20000 100000 | 92195 87201 135 | 0.000 % |
391.41/391.68 c | 558176 | 1000 20000 100000 | 92195 89252 135 | 0.000 % |
393.21/393.49 c | 560429 | 1000 20000 100000 | 91077 80768 135 | 0.000 % |
395.00/395.20 c | 562907 | 1000 20000 100000 | 91077 83246 134 | 0.000 % |
396.91/397.11 c | 565632 | 1000 20000 100000 | 91077 85971 135 | 0.000 % |
399.01/399.25 c | 568630 | 1000 20000 100000 | 91077 88969 135 | 0.000 % |
401.40/401.62 c | 571927 | 1000 20000 100000 | 2147483647 92266 135 | 0.000 % |
404.10/404.34 c | 575553 | 1000 20000 100000 | 2147483647 95892 135 | 0.000 % |
407.50/407.71 c | 579540 | 1000 20000 100000 | 2147483647 99879 135 | 0.000 % |
410.89/411.10 c | 583927 | 1000 20000 100000 | 100339 90195 135 | 0.000 % |
414.69/414.91 c | 588753 | 1000 20000 100000 | 100339 95021 135 | 0.000 % |
418.80/419.05 c | 594061 | 1000 20000 100000 | 96268 87026 135 | 0.000 % |
418.90/419.14 c | 594161 | 1000 20000 100000 | 96268 87126 135 | 0.000 % |
418.99/419.24 c | 594272 | 1000 20000 100000 | 96268 87237 135 | 0.000 % |
419.09/419.35 c | 594394 | 1000 20000 100000 | 96268 87359 135 | 0.000 % |
419.19/419.46 c | 594528 | 1000 20000 100000 | 96268 87493 135 | 0.000 % |
419.39/419.61 c | 594676 | 1000 20000 100000 | 96268 87641 135 | 0.000 % |
419.49/419.73 c | 594836 | 1000 20000 100000 | 96268 87801 135 | 0.000 % |
419.59/419.88 c | 595013 | 1000 20000 100000 | 96268 87978 135 | 0.000 % |
419.79/420.05 c | 595206 | 1000 20000 100000 | 96268 88171 135 | 0.000 % |
420.00/420.23 c | 595418 | 1000 20000 100000 | 96268 88383 135 | 0.000 % |
420.19/420.41 c | 595651 | 1000 20000 100000 | 96268 88616 135 | 0.000 % |
420.39/420.61 c | 595908 | 1000 20000 100000 | 96268 88873 135 | 0.000 % |
420.59/420.84 c | 596189 | 1000 20000 100000 | 96268 89154 135 | 0.000 % |
420.79/421.07 c | 596498 | 1000 20000 100000 | 96268 89463 135 | 0.000 % |
421.10/421.32 c | 596838 | 1000 20000 100000 | 96268 89803 135 | 0.000 % |
421.39/421.62 c | 597210 | 1000 20000 100000 | 96268 90175 135 | 0.000 % |
421.69/421.97 c | 597621 | 1000 20000 100000 | 96268 90586 135 | 0.000 % |
422.09/422.33 c | 598071 | 1000 20000 100000 | 96268 91036 135 | 0.000 % |
422.49/422.77 c | 598565 | 1000 20000 100000 | 96268 91530 135 | 0.000 % |
422.99/423.21 c | 599108 | 1000 20000 100000 | 96268 92073 135 | 0.000 % |
423.39/423.67 c | 599705 | 1000 20000 100000 | 96268 92670 135 | 0.000 % |
423.99/424.21 c | 600360 | 1000 20000 100000 | 92965 93325 135 | 0.000 % |
424.49/424.79 c | 601081 | 1000 20000 100000 | 92965 81782 134 | 0.000 % |
425.09/425.38 c | 601874 | 1000 20000 100000 | 92965 82575 134 | 0.000 % |
425.79/426.01 c | 602745 | 1000 20000 100000 | 92965 83446 134 | 0.000 % |
426.39/426.69 c | 603704 | 1000 20000 100000 | 92965 84405 134 | 0.000 % |
427.29/427.50 c | 604758 | 1000 20000 100000 | 92965 85459 135 | 0.000 % |
428.19/428.41 c | 605916 | 1000 20000 100000 | 92965 86617 135 | 0.000 % |
429.09/429.39 c | 607189 | 1000 20000 100000 | 92965 87890 134 | 0.000 % |
430.19/430.44 c | 608589 | 1000 20000 100000 | 92965 89290 134 | 0.000 % |
431.39/431.69 c | 610130 | 1000 20000 100000 | 90701 90831 134 | 0.000 % |
432.79/433.03 c | 611824 | 1000 20000 100000 | 90701 81456 134 | 0.000 % |
434.19/434.43 c | 613687 | 1000 20000 100000 | 90701 83319 134 | 0.000 % |
435.78/436.00 c | 615737 | 1000 20000 100000 | 90701 85369 135 | 0.000 % |
437.38/437.64 c | 617990 | 1000 20000 100000 | 90701 87622 135 | 0.000 % |
439.28/439.52 c | 620468 | 1000 20000 100000 | 89634 80018 135 | 0.000 % |
441.08/441.36 c | 623193 | 1000 20000 100000 | 89634 82743 136 | 0.000 % |
443.19/443.48 c | 626191 | 1000 20000 100000 | 89634 85741 136 | 0.000 % |
445.69/445.93 c | 629489 | 1000 20000 100000 | 89634 89039 136 | 0.000 % |
448.49/448.73 c | 633114 | 1000 20000 100000 | 2147483647 92664 136 | 0.000 % |
451.89/452.14 c | 637101 | 1000 20000 100000 | 2147483647 96651 136 | 0.000 % |
455.39/455.62 c | 641487 | 1000 20000 100000 | 99552 88211 136 | 0.000 % |
458.79/459.01 c | 646311 | 1000 20000 100000 | 99552 93035 136 | 0.000 % |
463.08/463.35 c | 651616 | 1000 20000 100000 | 96725 86252 137 | 0.000 % |
467.48/467.79 c | 657451 | 1000 20000 100000 | 96725 92087 137 | 0.000 % |
467.58/467.88 c | 657551 | 1000 20000 100000 | 96725 92187 137 | 0.000 % |
467.78/468.01 c | 657662 | 1000 20000 100000 | 96725 92298 137 | 0.000 % |
467.88/468.12 c | 657783 | 1000 20000 100000 | 96725 92419 137 | 0.000 % |
467.98/468.25 c | 657916 | 1000 20000 100000 | 96725 92552 137 | 0.000 % |
468.08/468.38 c | 658063 | 1000 20000 100000 | 96725 92699 137 | 0.000 % |
468.29/468.55 c | 658226 | 1000 20000 100000 | 96725 92862 137 | 0.000 % |
468.39/468.68 c | 658402 | 1000 20000 100000 | 96725 93038 137 | 0.000 % |
468.58/468.87 c | 658595 | 1000 20000 100000 | 96725 93231 137 | 0.000 % |
468.78/469.05 c | 658807 | 1000 20000 100000 | 96725 93443 137 | 0.000 % |
468.98/469.26 c | 659040 | 1000 20000 100000 | 96725 93676 137 | 0.000 % |
469.28/469.50 c | 659296 | 1000 20000 100000 | 96725 93932 137 | 0.000 % |
469.49/469.74 c | 659578 | 1000 20000 100000 | 96725 94214 137 | 0.000 % |
469.78/470.03 c | 659887 | 1000 20000 100000 | 96725 94523 137 | 0.000 % |
470.08/470.33 c | 660227 | 1000 20000 100000 | 94636 94863 137 | 0.000 % |
470.38/470.69 c | 660599 | 1000 20000 100000 | 94636 82663 137 | 0.000 % |
470.78/471.04 c | 661008 | 1000 20000 100000 | 94636 83072 137 | 0.000 % |
471.08/471.37 c | 661457 | 1000 20000 100000 | 94636 83521 137 | 0.000 % |
471.48/471.77 c | 661951 | 1000 20000 100000 | 94636 84015 136 | 0.000 % |
471.88/472.19 c | 662493 | 1000 20000 100000 | 94636 84557 136 | 0.000 % |
472.38/472.66 c | 663090 | 1000 20000 100000 | 94636 85154 136 | 0.000 % |
472.98/473.23 c | 663745 | 1000 20000 100000 | 94636 85809 136 | 0.000 % |
473.48/473.76 c | 664465 | 1000 20000 100000 | 94636 86529 136 | 0.000 % |
474.08/474.37 c | 665257 | 1000 20000 100000 | 94636 87321 136 | 0.000 % |
474.78/475.03 c | 666128 | 1000 20000 100000 | 94636 88192 136 | 0.000 % |
475.48/475.77 c | 667086 | 1000 20000 100000 | 94636 89150 136 | 0.000 % |
476.38/476.65 c | 668139 | 1000 20000 100000 | 94636 90203 136 | 0.000 % |
477.38/477.61 c | 669297 | 1000 20000 100000 | 94636 91361 136 | 0.000 % |
478.38/478.60 c | 670571 | 1000 20000 100000 | 92064 81085 136 | 0.000 % |
479.38/479.61 c | 671973 | 1000 20000 100000 | 92064 82487 136 | 0.000 % |
480.38/480.68 c | 673514 | 1000 20000 100000 | 92064 84028 136 | 0.000 % |
481.68/481.93 c | 675208 | 1000 20000 100000 | 92064 85722 136 | 0.000 % |
483.08/483.30 c | 677071 | 1000 20000 100000 | 92064 87585 136 | 0.000 % |
484.58/484.87 c | 679120 | 1000 20000 100000 | 92064 89634 136 | 0.000 % |
486.28/486.56 c | 681373 | 1000 20000 100000 | 90514 81140 137 | 0.000 % |
488.08/488.32 c | 683852 | 1000 20000 100000 | 90514 83619 137 | 0.000 % |
489.97/490.25 c | 686577 | 1000 20000 100000 | 90514 86344 137 | 0.000 % |
492.17/492.48 c | 689574 | 1000 20000 100000 | 90514 89341 137 | 0.000 % |
494.68/495.00 c | 692870 | 1000 20000 100000 | 89769 82659 137 | 0.000 % |
497.27/497.54 c | 696496 | 1000 20000 100000 | 89769 86285 137 | 0.000 % |
500.27/500.52 c | 700483 | 1000 20000 100000 | 89791 80758 137 | 0.000 % |
503.37/503.64 c | 704871 | 1000 20000 100000 | 89791 85146 138 | 0.000 % |
506.87/507.14 c | 709694 | 1000 20000 100000 | 89791 89969 137 | 0.000 % |
510.77/511.01 c | 715001 | 1000 20000 100000 | 81254 78091 137 | 0.000 % |
514.57/514.88 c | 720838 | 1000 20000 100000 | 2147483647 75763 138 | 0.000 % |
519.06/519.39 c | 727257 | 1000 20000 100000 | 2147483647 82182 139 | 0.000 % |
519.16/519.46 c | 727358 | 1000 20000 100000 | 2147483647 82283 139 | 0.000 % |
519.26/519.56 c | 727468 | 1000 20000 100000 | 2147483647 82393 139 | 0.000 % |
519.36/519.67 c | 727590 | 1000 20000 100000 | 2147483647 82515 139 | 0.000 % |
519.56/519.80 c | 727723 | 1000 20000 100000 | 2147483647 82648 139 | 0.000 % |
519.66/519.92 c | 727869 | 1000 20000 100000 | 2147483647 82794 139 | 0.000 % |
519.76/520.07 c | 728029 | 1000 20000 100000 | 2147483647 82954 139 | 0.000 % |
519.97/520.23 c | 728206 | 1000 20000 100000 | 2147483647 83131 139 | 0.000 % |
520.16/520.40 c | 728400 | 1000 20000 100000 | 2147483647 83325 139 | 0.000 % |
520.26/520.56 c | 728612 | 1000 20000 100000 | 2147483647 83537 138 | 0.000 % |
520.46/520.75 c | 728845 | 1000 20000 100000 | 2147483647 83770 138 | 0.000 % |
520.66/520.95 c | 729102 | 1000 20000 100000 | 2147483647 84027 138 | 0.000 % |
520.86/521.18 c | 729383 | 1000 20000 100000 | 2147483647 84308 138 | 0.000 % |
521.17/521.43 c | 729692 | 1000 20000 100000 | 2147483647 84617 138 | 0.000 % |
521.36/521.69 c | 730032 | 1000 20000 100000 | 2147483647 84957 138 | 0.000 % |
521.76/522.02 c | 730405 | 1000 20000 100000 | 2147483647 85330 138 | 0.000 % |
522.06/522.34 c | 730815 | 1000 20000 100000 | 2147483647 85740 138 | 0.000 % |
522.36/522.68 c | 731264 | 1000 20000 100000 | 2147483647 86189 138 | 0.000 % |
522.76/523.07 c | 731757 | 1000 20000 100000 | 2147483647 86682 138 | 0.000 % |
523.16/523.49 c | 732299 | 1000 20000 100000 | 2147483647 87224 138 | 0.000 % |
523.66/523.97 c | 732895 | 1000 20000 100000 | 2147483647 87820 138 | 0.000 % |
524.16/524.49 c | 733550 | 1000 20000 100000 | 2147483647 88475 138 | 0.000 % |
524.86/525.17 c | 734270 | 1000 20000 100000 | 2147483647 89195 138 | 0.000 % |
525.56/525.81 c | 735063 | 1000 20000 100000 | 2147483647 89988 138 | 0.000 % |
526.26/526.51 c | 735935 | 1000 20000 100000 | 2147483647 90860 138 | 0.000 % |
527.06/527.32 c | 736895 | 1000 20000 100000 | 2147483647 91820 138 | 0.000 % |
527.85/528.12 c | 737949 | 1000 20000 100000 | 2147483647 92874 138 | 0.000 % |
528.76/529.04 c | 739108 | 1000 20000 100000 | 2147483647 94033 138 | 0.000 % |
529.75/530.10 c | 740381 | 1000 20000 100000 | 94925 83379 137 | 0.000 % |
530.85/531.11 c | 741781 | 1000 20000 100000 | 94925 84779 137 | 0.000 % |
531.95/532.27 c | 743322 | 1000 20000 100000 | 94925 86320 137 | 0.000 % |
533.25/533.51 c | 745016 | 1000 20000 100000 | 94925 88014 137 | 0.000 % |
534.85/535.13 c | 746879 | 1000 20000 100000 | 94925 89877 137 | 0.000 % |
536.55/536.82 c | 748928 | 1000 20000 100000 | 94925 91926 137 | 0.000 % |
538.25/538.58 c | 751181 | 1000 20000 100000 | 92999 82549 138 | 0.000 % |
539.95/540.25 c | 753661 | 1000 20000 100000 | 92999 85029 138 | 0.000 % |
541.85/542.18 c | 756386 | 1000 20000 100000 | 92999 87754 138 | 0.000 % |
544.05/544.31 c | 759383 | 1000 20000 100000 | 92999 90751 138 | 0.000 % |
546.45/546.77 c | 762679 | 1000 20000 100000 | 91369 83871 138 | 0.000 % |
549.04/549.39 c | 766304 | 1000 20000 100000 | 91369 87496 138 | 0.000 % |
551.95/552.29 c | 770293 | 1000 20000 100000 | 91192 91485 138 | 0.000 % |
555.25/555.50 c | 774680 | 1000 20000 100000 | 91192 85371 137 | 0.000 % |
558.94/559.23 c | 779504 | 1000 20000 100000 | 91192 90195 138 | 0.000 % |
562.84/563.19 c | 784809 | 1000 20000 100000 | 90692 85310 138 | 0.000 % |
567.24/567.51 c | 790645 | 1000 20000 100000 | 90501 80246 138 | 0.000 % |
571.94/572.21 c | 797064 | 1000 20000 100000 | 90501 86665 139 | 0.000 % |
577.04/577.40 c | 804124 | 1000 20000 100000 | 89601 83269 139 | 0.000 % |
577.14/577.48 c | 804224 | 1000 20000 100000 | 89601 83369 139 | 0.000 % |
577.24/577.57 c | 804334 | 1000 20000 100000 | 89601 83479 139 | 0.000 % |
577.34/577.69 c | 804460 | 1000 20000 100000 | 89601 83605 139 | 0.000 % |
577.54/577.80 c | 804593 | 1000 20000 100000 | 89601 83738 139 | 0.000 % |
577.64/577.95 c | 804739 | 1000 20000 100000 | 89601 83884 139 | 0.000 % |
577.74/578.09 c | 804901 | 1000 20000 100000 | 89601 84046 139 | 0.000 % |
577.94/578.23 c | 805077 | 1000 20000 100000 | 89601 84222 139 | 0.000 % |
578.14/578.40 c | 805273 | 1000 20000 100000 | 89601 84418 139 | 0.000 % |
578.24/578.60 c | 805486 | 1000 20000 100000 | 89601 84631 139 | 0.000 % |
578.54/578.80 c | 805720 | 1000 20000 100000 | 89601 84865 139 | 0.000 % |
578.74/579.00 c | 805977 | 1000 20000 100000 | 89601 85122 139 | 0.000 % |
578.94/579.22 c | 806258 | 1000 20000 100000 | 89601 85403 139 | 0.000 % |
579.13/579.45 c | 806569 | 1000 20000 100000 | 89601 85714 139 | 0.000 % |
579.44/579.77 c | 806908 | 1000 20000 100000 | 89601 86053 138 | 0.000 % |
579.73/580.06 c | 807280 | 1000 20000 100000 | 89601 86425 138 | 0.000 % |
580.03/580.36 c | 807689 | 1000 20000 100000 | 89601 86834 138 | 0.000 % |
580.33/580.70 c | 808140 | 1000 20000 100000 | 89601 87285 138 | 0.000 % |
580.83/581.10 c | 808633 | 1000 20000 100000 | 89601 87778 138 | 0.000 % |
581.23/581.52 c | 809175 | 1000 20000 100000 | 89601 88320 138 | 0.000 % |
581.73/582.00 c | 809771 | 1000 20000 100000 | 89601 88916 138 | 0.000 % |
582.23/582.56 c | 810426 | 1000 20000 100000 | 89145 79317 138 | 0.000 % |
582.74/583.07 c | 811147 | 1000 20000 100000 | 89145 80038 138 | 0.000 % |
583.33/583.63 c | 811941 | 1000 20000 100000 | 89145 80832 138 | 0.000 % |
583.93/584.26 c | 812813 | 1000 20000 100000 | 89145 81704 138 | 0.000 % |
584.63/584.95 c | 813771 | 1000 20000 100000 | 89145 82662 138 | 0.000 % |
585.43/585.71 c | 814824 | 1000 20000 100000 | 89145 83715 138 | 0.000 % |
586.23/586.54 c | 815983 | 1000 20000 100000 | 89145 84874 138 | 0.000 % |
587.14/587.47 c | 817256 | 1000 20000 100000 | 89145 86147 138 | 0.000 % |
588.14/588.47 c | 818656 | 1000 20000 100000 | 89145 87547 138 | 0.000 % |
589.34/589.61 c | 820197 | 1000 20000 100000 | 2147483647 89088 137 | 0.000 % |
590.53/590.83 c | 821891 | 1000 20000 100000 | 2147483647 90782 137 | 0.000 % |
591.83/592.19 c | 823755 | 1000 20000 100000 | 2147483647 92646 137 | 0.000 % |
593.53/593.83 c | 825806 | 1000 20000 100000 | 2147483647 94697 137 | 0.000 % |
595.23/595.55 c | 828061 | 1000 20000 100000 | 2147483647 96952 137 | 0.000 % |
597.44/597.70 c | 830539 | 1000 20000 100000 | 98893 86842 137 | 0.000 % |
599.44/599.74 c | 833264 | 1000 20000 100000 | 98893 89567 137 | 0.000 % |
601.64/601.93 c | 836261 | 1000 20000 100000 | 98893 92564 138 | 0.000 % |
604.24/604.52 c | 839559 | 1000 20000 100000 | 98893 95862 138 | 0.000 % |
607.04/607.34 c | 843184 | 1000 20000 100000 | 96303 86543 137 | 0.000 % |
610.14/610.42 c | 847174 | 1000 20000 100000 | 96303 90533 138 | 0.000 % |
613.44/613.70 c | 851559 | 1000 20000 100000 | 93361 82695 138 | 0.000 % |
617.03/617.32 c | 856382 | 1000 20000 100000 | 93361 87518 138 | 0.000 % |
620.93/621.21 c | 861688 | 1000 20000 100000 | 91141 81945 138 | 0.000 % |
625.23/625.57 c | 867523 | 1000 20000 100000 | 91141 87780 138 | 0.000 % |
630.03/630.38 c | 873941 | 1000 20000 100000 | 90258 84529 138 | 0.000 % |
635.53/635.84 c | 881000 | 1000 20000 100000 | 90590 81529 138 | 0.000 % |
641.42/641.71 c | 888765 | 1000 20000 100000 | 90590 89294 139 | 0.000 % |
641.52/641.80 c | 888866 | 1000 20000 100000 | 90590 89395 139 | 0.000 % |
641.52/641.88 c | 888977 | 1000 20000 100000 | 90590 89506 139 | 0.000 % |
641.62/641.99 c | 889099 | 1000 20000 100000 | 90590 89628 139 | 0.000 % |
641.82/642.12 c | 889232 | 1000 20000 100000 | 90590 89761 139 | 0.000 % |
641.92/642.26 c | 889378 | 1000 20000 100000 | 90590 89907 139 | 0.000 % |
642.13/642.42 c | 889539 | 1000 20000 100000 | 90590 90068 139 | 0.000 % |
642.32/642.60 c | 889715 | 1000 20000 100000 | 90590 90244 138 | 0.000 % |
642.42/642.76 c | 889908 | 1000 20000 100000 | 90590 90437 138 | 0.000 % |
642.62/642.95 c | 890121 | 1000 20000 100000 | 90529 90650 138 | 0.000 % |
642.82/643.19 c | 890354 | 1000 20000 100000 | 90529 79393 139 | 0.000 % |
643.02/643.39 c | 890611 | 1000 20000 100000 | 90529 79650 139 | 0.000 % |
643.23/643.59 c | 890892 | 1000 20000 100000 | 90529 79931 139 | 0.000 % |
643.52/643.82 c | 891202 | 1000 20000 100000 | 90529 80241 139 | 0.000 % |
643.72/644.08 c | 891542 | 1000 20000 100000 | 90529 80581 139 | 0.000 % |
644.12/644.42 c | 891917 | 1000 20000 100000 | 90529 80956 139 | 0.000 % |
644.42/644.74 c | 892326 | 1000 20000 100000 | 90529 81365 139 | 0.000 % |
644.72/645.09 c | 892776 | 1000 20000 100000 | 90529 81815 139 | 0.000 % |
645.12/645.41 c | 893270 | 1000 20000 100000 | 90529 82309 139 | 0.000 % |
645.52/645.81 c | 893812 | 1000 20000 100000 | 90529 82851 139 | 0.000 % |
645.92/646.24 c | 894408 | 1000 20000 100000 | 90529 83447 139 | 0.000 % |
646.42/646.72 c | 895064 | 1000 20000 100000 | 90529 84103 138 | 0.000 % |
647.02/647.32 c | 895784 | 1000 20000 100000 | 90529 84823 138 | 0.000 % |
647.62/647.96 c | 896576 | 1000 20000 100000 | 90529 85615 138 | 0.000 % |
648.32/648.66 c | 897448 | 1000 20000 100000 | 90529 86487 138 | 0.000 % |
649.02/649.39 c | 898407 | 1000 20000 100000 | 90529 87446 138 | 0.000 % |
649.92/650.21 c | 899461 | 1000 20000 100000 | 90529 88500 138 | 0.000 % |
650.82/651.15 c | 900620 | 1000 20000 100000 | 89040 79254 139 | 0.000 % |
651.72/652.06 c | 901895 | 1000 20000 100000 | 89040 80529 139 | 0.000 % |
652.72/653.07 c | 903295 | 1000 20000 100000 | 89040 81929 138 | 0.000 % |
653.82/654.15 c | 904835 | 1000 20000 100000 | 89040 83469 138 | 0.000 % |
655.02/655.39 c | 906529 | 1000 20000 100000 | 89040 85163 138 | 0.000 % |
656.52/656.83 c | 908394 | 1000 20000 100000 | 89040 87028 138 | 0.000 % |
658.12/658.43 c | 910443 | 1000 20000 100000 | 88634 79171 139 | 0.000 % |
659.62/659.97 c | 912696 | 1000 20000 100000 | 88634 81424 139 | 0.000 % |
661.41/661.72 c | 915176 | 1000 20000 100000 | 88634 83904 140 | 0.000 % |
663.41/663.80 c | 917905 | 1000 20000 100000 | 88634 86633 140 | 0.000 % |
665.71/666.04 c | 920905 | 1000 20000 100000 | 2147483647 89633 140 | 0.000 % |
668.21/668.57 c | 924201 | 1000 20000 100000 | 2147483647 92929 139 | 0.000 % |
671.21/671.55 c | 927827 | 1000 20000 100000 | 2147483647 96555 140 | 0.000 % |
674.52/674.82 c | 931815 | 1000 20000 100000 | 98728 87433 140 | 0.000 % |
677.82/678.14 c | 936202 | 1000 20000 100000 | 98728 91820 139 | 0.000 % |
681.72/682.09 c | 941025 | 1000 20000 100000 | 95619 83814 139 | 0.000 % |
685.71/686.08 c | 946332 | 1000 20000 100000 | 95619 89121 139 | 0.000 % |
690.31/690.66 c | 952167 | 1000 20000 100000 | 92790 83038 139 | 0.000 % |
695.21/695.53 c | 958585 | 1000 20000 100000 | 92790 89456 139 | 0.000 % |
700.51/700.80 c | 965644 | 1000 20000 100000 | 90871 85494 139 | 0.000 % |
706.21/706.55 c | 973408 | 1000 20000 100000 | 89851 82853 139 | 0.000 % |
713.00/713.32 c | 981949 | 1000 20000 100000 | 89446 82068 139 | 0.000 % |
713.00/713.39 c | 982050 | 1000 20000 100000 | 89446 82169 139 | 0.000 % |
713.20/713.51 c | 982163 | 1000 20000 100000 | 89446 82282 139 | 0.000 % |
713.30/713.61 c | 982285 | 1000 20000 100000 | 89446 82404 139 | 0.000 % |
713.40/713.71 c | 982418 | 1000 20000 100000 | 89446 82537 139 | 0.000 % |
713.51/713.84 c | 982564 | 1000 20000 100000 | 89446 82683 139 | 0.000 % |
713.70/714.00 c | 982726 | 1000 20000 100000 | 89446 82845 139 | 0.000 % |
713.80/714.15 c | 982904 | 1000 20000 100000 | 89446 83023 139 | 0.000 % |
714.00/714.31 c | 983099 | 1000 20000 100000 | 89446 83218 139 | 0.000 % |
714.10/714.49 c | 983311 | 1000 20000 100000 | 89446 83430 139 | 0.000 % |
714.30/714.68 c | 983544 | 1000 20000 100000 | 89446 83663 139 | 0.000 % |
714.61/714.92 c | 983801 | 1000 20000 100000 | 89446 83920 139 | 0.000 % |
714.80/715.16 c | 984082 | 1000 20000 100000 | 89446 84201 139 | 0.000 % |
715.10/715.43 c | 984391 | 1000 20000 100000 | 89446 84510 139 | 0.000 % |
715.40/715.72 c | 984731 | 1000 20000 100000 | 89446 84850 139 | 0.000 % |
715.71/716.02 c | 985104 | 1000 20000 100000 | 89446 85223 139 | 0.000 % |
716.00/716.33 c | 985513 | 1000 20000 100000 | 89446 85632 139 | 0.000 % |
716.40/716.70 c | 985962 | 1000 20000 100000 | 89446 86081 139 | 0.000 % |
716.81/717.13 c | 986457 | 1000 20000 100000 | 89446 86576 139 | 0.000 % |
717.20/717.57 c | 986999 | 1000 20000 100000 | 89446 87118 139 | 0.000 % |
717.70/718.02 c | 987597 | 1000 20000 100000 | 89446 87716 139 | 0.000 % |
718.20/718.53 c | 988253 | 1000 20000 100000 | 89446 88372 139 | 0.000 % |
718.70/719.09 c | 988973 | 1000 20000 100000 | 89446 89092 139 | 0.000 % |
719.40/719.75 c | 989765 | 1000 20000 100000 | 89446 79258 139 | 0.000 % |
720.00/720.38 c | 990637 | 1000 20000 100000 | 79496 71214 138 | 0.000 % |
720.60/720.98 c | 991595 | 1000 20000 100000 | 79496 72172 138 | 0.000 % |
721.30/721.69 c | 992648 | 1000 20000 100000 | 79496 73225 138 | 0.000 % |
722.20/722.50 c | 993807 | 1000 20000 100000 | 79496 74384 138 | 0.000 % |
723.10/723.43 c | 995082 | 1000 20000 100000 | 79496 75659 138 | 0.000 % |
724.10/724.44 c | 996482 | 1000 20000 100000 | 79496 77059 138 | 0.000 % |
725.20/725.50 c | 998022 | 1000 20000 100000 | 79496 78599 138 | 0.000 % |
726.40/726.74 c | 999718 | 1000 20000 100000 | 79496 72315 138 | 0.000 % |
727.60/728.00 c | 1001581 | 1000 20000 100000 | 2147483647 74178 137 | 0.000 % |
729.10/729.43 c | 1003630 | 1000 20000 100000 | 2147483647 76227 137 | 0.000 % |
730.69/731.06 c | 1005884 | 1000 20000 100000 | 2147483647 78481 137 | 0.000 % |
732.49/732.87 c | 1008362 | 1000 20000 100000 | 2147483647 80959 137 | 0.000 % |
734.40/734.74 c | 1011088 | 1000 20000 100000 | 2147483647 83685 137 | 0.000 % |
736.60/737.00 c | 1014085 | 1000 20000 100000 | 2147483647 86682 137 | 0.000 % |
739.19/739.56 c | 1017381 | 1000 20000 100000 | 2147483647 89978 137 | 0.000 % |
742.10/742.41 c | 1021008 | 1000 20000 100000 | 92597 82592 137 | 0.000 % |
745.29/745.60 c | 1024997 | 1000 20000 100000 | 92597 86581 137 | 0.000 % |
748.59/748.98 c | 1029382 | 1000 20000 100000 | 92597 90966 137 | 0.000 % |
752.29/752.68 c | 1034205 | 1000 20000 100000 | 91586 84298 137 | 0.000 % |
756.59/756.95 c | 1039510 | 1000 20000 100000 | 91586 89603 138 | 0.000 % |
760.89/761.29 c | 1045346 | 1000 20000 100000 | 90094 85156 138 | 0.000 % |
765.78/766.17 c | 1051764 | 1000 20000 100000 | 89810 81437 138 | 0.000 % |
771.58/771.92 c | 1058823 | 1000 20000 100000 | 89810 88496 138 | 0.000 % |
777.58/777.94 c | 1066587 | 1000 20000 100000 | 89673 86415 139 | 0.000 % |
784.08/784.46 c | 1075131 | 1000 20000 100000 | 89828 84392 140 | 0.000 % |
791.18/791.60 c | 1084528 | 1000 20000 100000 | 89261 83360 141 | 0.000 % |
791.28/791.70 c | 1084629 | 1000 20000 100000 | 89261 83461 141 | 0.000 % |
791.38/791.79 c | 1084742 | 1000 20000 100000 | 89261 83574 141 | 0.000 % |
791.48/791.89 c | 1084863 | 1000 20000 100000 | 89261 83695 141 | 0.000 % |
791.68/792.01 c | 1084997 | 1000 20000 100000 | 89261 83829 141 | 0.000 % |
791.78/792.14 c | 1085143 | 1000 20000 100000 | 89261 83975 141 | 0.000 % |
791.88/792.27 c | 1085305 | 1000 20000 100000 | 89261 84137 141 | 0.000 % |
792.08/792.41 c | 1085483 | 1000 20000 100000 | 89261 84315 141 | 0.000 % |
792.18/792.55 c | 1085676 | 1000 20000 100000 | 89261 84508 141 | 0.000 % |
792.38/792.73 c | 1085888 | 1000 20000 100000 | 89261 84720 141 | 0.000 % |
792.58/792.95 c | 1086121 | 1000 20000 100000 | 89261 84953 141 | 0.000 % |
792.78/793.14 c | 1086378 | 1000 20000 100000 | 89261 85210 141 | 0.000 % |
792.98/793.38 c | 1086659 | 1000 20000 100000 | 89261 85491 141 | 0.000 % |
793.28/793.65 c | 1086968 | 1000 20000 100000 | 89261 85800 140 | 0.000 % |
793.58/793.93 c | 1087307 | 1000 20000 100000 | 89261 86139 140 | 0.000 % |
793.88/794.24 c | 1087680 | 1000 20000 100000 | 89261 86512 140 | 0.000 % |
794.18/794.54 c | 1088089 | 1000 20000 100000 | 89261 86921 140 | 0.000 % |
794.58/794.95 c | 1088539 | 1000 20000 100000 | 89261 87371 140 | 0.000 % |
795.08/795.41 c | 1089033 | 1000 20000 100000 | 89261 87865 140 | 0.000 % |
795.48/795.88 c | 1089575 | 1000 20000 100000 | 89261 88407 140 | 0.000 % |
795.98/796.40 c | 1090172 | 1000 20000 100000 | 88832 89004 140 | 0.000 % |
796.57/796.94 c | 1090827 | 1000 20000 100000 | 88832 78972 140 | 0.000 % |
797.08/797.45 c | 1091549 | 1000 20000 100000 | 88832 79694 140 | 0.000 % |
797.68/798.04 c | 1092341 | 1000 20000 100000 | 88832 80486 140 | 0.000 % |
798.28/798.64 c | 1093215 | 1000 20000 100000 | 88832 81360 140 | 0.000 % |
798.87/799.26 c | 1094173 | 1000 20000 100000 | 88832 82318 140 | 0.000 % |
799.67/800.06 c | 1095226 | 1000 20000 100000 | 88832 83371 140 | 0.000 % |
800.48/800.82 c | 1096384 | 1000 20000 100000 | 88832 84529 140 | 0.000 % |
801.37/801.74 c | 1097658 | 1000 20000 100000 | 88832 85803 140 | 0.000 % |
802.37/802.79 c | 1099058 | 1000 20000 100000 | 88832 87203 140 | 0.000 % |
803.67/804.04 c | 1100598 | 1000 20000 100000 | 88145 79301 141 | 0.000 % |
804.97/805.31 c | 1102293 | 1000 20000 100000 | 88145 80996 141 | 0.000 % |
806.27/806.61 c | 1104156 | 1000 20000 100000 | 88145 82859 140 | 0.000 % |
807.67/808.05 c | 1106205 | 1000 20000 100000 | 88145 84908 141 | 0.000 % |
809.37/809.75 c | 1108458 | 1000 20000 100000 | 88145 87161 140 | 0.000 % |
811.37/811.79 c | 1110936 | 1000 20000 100000 | 79761 72628 139 | 0.000 % |
813.27/813.60 c | 1113661 | 1000 20000 100000 | 79761 75353 139 | 0.000 % |
815.27/815.64 c | 1116658 | 1000 20000 100000 | 79761 78350 139 | 0.000 % |
817.57/817.93 c | 1119955 | 1000 20000 100000 | 79761 73637 138 | 0.000 % |
819.97/820.31 c | 1123581 | 1000 20000 100000 | 2147483647 77263 138 | 0.000 % |
822.77/823.14 c | 1127570 | 1000 20000 100000 | 2147483647 81252 138 | 0.000 % |
825.97/826.35 c | 1131955 | 1000 20000 100000 | 2147483647 85637 138 | 0.000 % |
829.37/829.76 c | 1136778 | 1000 20000 100000 | 2147483647 90460 139 | 0.000 % |
833.47/833.82 c | 1142083 | 1000 20000 100000 | 93686 85828 138 | 0.000 % |
837.77/838.20 c | 1147918 | 1000 20000 100000 | 93686 91663 138 | 0.000 % |
842.97/843.38 c | 1154336 | 1000 20000 100000 | 93746 86635 138 | 0.000 % |
848.57/848.94 c | 1161395 | 1000 20000 100000 | 92299 81940 138 | 0.000 % |
854.47/854.85 c | 1169160 | 1000 20000 100000 | 92299 89705 139 | 0.000 % |
861.06/861.45 c | 1177700 | 1000 20000 100000 | 90545 87374 141 | 0.000 % |
868.66/869.09 c | 1187094 | 1000 20000 100000 | 89676 86795 143 | 0.000 % |
876.06/876.41 c | 1197427 | 1000 20000 100000 | 89702 87081 144 | 0.000 % |
876.06/876.48 c | 1197527 | 1000 20000 100000 | 89702 87181 144 | 0.000 % |
876.16/876.58 c | 1197637 | 1000 20000 100000 | 89702 87291 144 | 0.000 % |
876.26/876.67 c | 1197759 | 1000 20000 100000 | 89702 87413 144 | 0.000 % |
876.36/876.78 c | 1197893 | 1000 20000 100000 | 89702 87547 144 | 0.000 % |
876.56/876.92 c | 1198041 | 1000 20000 100000 | 89702 87695 144 | 0.000 % |
876.66/877.09 c | 1198202 | 1000 20000 100000 | 89702 87856 144 | 0.000 % |
876.85/877.25 c | 1198378 | 1000 20000 100000 | 89702 88032 144 | 0.000 % |
877.05/877.45 c | 1198571 | 1000 20000 100000 | 89702 88225 144 | 0.000 % |
877.25/877.65 c | 1198783 | 1000 20000 100000 | 89702 88437 144 | 0.000 % |
877.46/877.84 c | 1199016 | 1000 20000 100000 | 89702 88670 144 | 0.000 % |
877.65/878.08 c | 1199272 | 1000 20000 100000 | 89702 88926 144 | 0.000 % |
877.95/878.32 c | 1199553 | 1000 20000 100000 | 89702 89207 144 | 0.000 % |
878.25/878.62 c | 1199864 | 1000 20000 100000 | 89702 89518 144 | 0.000 % |
878.56/878.91 c | 1200205 | 1000 20000 100000 | 89656 89859 143 | 0.000 % |
878.85/879.27 c | 1200577 | 1000 20000 100000 | 89656 79417 145 | 0.000 % |
879.15/879.58 c | 1200986 | 1000 20000 100000 | 89656 79826 144 | 0.000 % |
879.45/879.89 c | 1201437 | 1000 20000 100000 | 89656 80277 144 | 0.000 % |
879.85/880.24 c | 1201930 | 1000 20000 100000 | 89656 80770 144 | 0.000 % |
880.25/880.62 c | 1202474 | 1000 20000 100000 | 89656 81314 144 | 0.000 % |
880.66/881.08 c | 1203071 | 1000 20000 100000 | 89656 81911 144 | 0.000 % |
881.25/881.64 c | 1203726 | 1000 20000 100000 | 89656 82566 144 | 0.000 % |
881.76/882.18 c | 1204446 | 1000 20000 100000 | 89656 83286 144 | 0.000 % |
882.35/882.76 c | 1205239 | 1000 20000 100000 | 89656 84079 144 | 0.000 % |
882.96/883.37 c | 1206111 | 1000 20000 100000 | 89656 84951 143 | 0.000 % |
883.65/884.07 c | 1207069 | 1000 20000 100000 | 89656 85909 143 | 0.000 % |
884.55/884.97 c | 1208122 | 1000 20000 100000 | 89656 86962 143 | 0.000 % |
885.45/885.88 c | 1209281 | 1000 20000 100000 | 89656 88121 143 | 0.000 % |
886.55/886.91 c | 1210554 | 1000 20000 100000 | 88841 79711 143 | 0.000 % |
887.55/887.95 c | 1211954 | 1000 20000 100000 | 88841 81111 143 | 0.000 % |
888.65/889.09 c | 1213494 | 1000 20000 100000 | 88841 82651 143 | 0.000 % |
889.85/890.29 c | 1215191 | 1000 20000 100000 | 88841 84348 143 | 0.000 % |
891.25/891.70 c | 1217054 | 1000 20000 100000 | 88841 86211 143 | 0.000 % |
893.05/893.42 c | 1219103 | 1000 20000 100000 | 88841 88260 143 | 0.000 % |
894.75/895.17 c | 1221358 | 1000 20000 100000 | 89157 80270 143 | 0.000 % |
896.55/896.97 c | 1223837 | 1000 20000 100000 | 89157 82749 143 | 0.000 % |
898.55/898.94 c | 1226563 | 1000 20000 100000 | 89157 85475 143 | 0.000 % |
900.85/901.27 c | 1229562 | 1000 20000 100000 | 89157 88474 142 | 0.000 % |
903.25/903.63 c | 1232859 | 1000 20000 100000 | 88914 82341 142 | 0.000 % |
905.85/906.29 c | 1236484 | 1000 20000 100000 | 88914 85966 142 | 0.000 % |
909.05/909.48 c | 1240471 | 1000 20000 100000 | 2147483647 81029 142 | 0.000 % |
912.45/912.80 c | 1244858 | 1000 20000 100000 | 2147483647 85416 142 | 0.000 % |
916.14/916.57 c | 1249681 | 1000 20000 100000 | 2147483647 90239 142 | 0.000 % |
920.04/920.41 c | 1254986 | 1000 20000 100000 | 90560 85329 141 | 0.000 % |
924.24/924.64 c | 1260821 | 1000 20000 100000 | 90343 81330 141 | 0.000 % |
929.04/929.47 c | 1267240 | 1000 20000 100000 | 90343 87749 141 | 0.000 % |
934.64/935.05 c | 1274299 | 1000 20000 100000 | 90509 84886 140 | 0.000 % |
940.64/941.05 c | 1282064 | 1000 20000 100000 | 90589 82812 141 | 0.000 % |
946.93/947.35 c | 1290604 | 1000 20000 100000 | 90748 79897 143 | 0.000 % |
953.93/954.31 c | 1299998 | 1000 20000 100000 | 90748 89291 144 | 0.000 % |
961.33/961.73 c | 1310332 | 1000 20000 100000 | 87948 88280 144 | 0.000 % |
970.43/970.88 c | 1321700 | 1000 20000 100000 | 87819 79533 143 | 0.000 % |
970.53/970.96 c | 1321802 | 1000 20000 100000 | 87819 79635 143 | 0.000 % |
970.63/971.05 c | 1321912 | 1000 20000 100000 | 87819 79745 143 | 0.000 % |
970.73/971.15 c | 1322034 | 1000 20000 100000 | 87819 79867 143 | 0.000 % |
970.83/971.27 c | 1322167 | 1000 20000 100000 | 87819 80000 143 | 0.000 % |
970.93/971.39 c | 1322313 | 1000 20000 100000 | 87819 80146 143 | 0.000 % |
971.13/971.52 c | 1322474 | 1000 20000 100000 | 87819 80307 143 | 0.000 % |
971.23/971.66 c | 1322650 | 1000 20000 100000 | 87819 80483 143 | 0.000 % |
971.33/971.79 c | 1322843 | 1000 20000 100000 | 87819 80676 143 | 0.000 % |
971.53/971.95 c | 1323056 | 1000 20000 100000 | 87819 80889 143 | 0.000 % |
971.73/972.15 c | 1323290 | 1000 20000 100000 | 87819 81123 143 | 0.000 % |
971.93/972.35 c | 1323547 | 1000 20000 100000 | 87819 81380 143 | 0.000 % |
972.13/972.57 c | 1323828 | 1000 20000 100000 | 87819 81661 143 | 0.000 % |
972.33/972.78 c | 1324137 | 1000 20000 100000 | 87819 81970 143 | 0.000 % |
972.63/973.06 c | 1324476 | 1000 20000 100000 | 87819 82309 143 | 0.000 % |
972.93/973.34 c | 1324850 | 1000 20000 100000 | 87819 82683 143 | 0.000 % |
973.23/973.68 c | 1325259 | 1000 20000 100000 | 87819 83092 142 | 0.000 % |
973.63/974.03 c | 1325708 | 1000 20000 100000 | 87819 83541 142 | 0.000 % |
973.92/974.39 c | 1326201 | 1000 20000 100000 | 87819 84034 142 | 0.000 % |
974.32/974.77 c | 1326744 | 1000 20000 100000 | 87819 84577 142 | 0.000 % |
974.82/975.21 c | 1327340 | 1000 20000 100000 | 87819 85173 142 | 0.000 % |
975.33/975.73 c | 1327999 | 1000 20000 100000 | 87819 85832 142 | 0.000 % |
975.82/976.26 c | 1328719 | 1000 20000 100000 | 87819 86552 142 | 0.000 % |
976.43/976.81 c | 1329511 | 1000 20000 100000 | 87819 87344 142 | 0.000 % |
977.12/977.54 c | 1330382 | 1000 20000 100000 | 87833 78177 142 | 0.000 % |
977.72/978.19 c | 1331342 | 1000 20000 100000 | 87833 79137 141 | 0.000 % |
978.42/978.86 c | 1332397 | 1000 20000 100000 | 87833 80192 141 | 0.000 % |
979.32/979.70 c | 1333555 | 1000 20000 100000 | 87833 81350 141 | 0.000 % |
980.22/980.62 c | 1334829 | 1000 20000 100000 | 87833 82624 141 | 0.000 % |
981.12/981.58 c | 1336229 | 1000 20000 100000 | 87833 84024 141 | 0.000 % |
982.23/982.63 c | 1337769 | 1000 20000 100000 | 87833 85564 141 | 0.000 % |
983.43/983.89 c | 1339465 | 1000 20000 100000 | 87833 87260 141 | 0.000 % |
984.93/985.30 c | 1341328 | 1000 20000 100000 | 87795 80264 141 | 0.000 % |
986.23/986.64 c | 1343377 | 1000 20000 100000 | 87795 82313 141 | 0.000 % |
987.83/988.28 c | 1345632 | 1000 20000 100000 | 87795 84568 141 | 0.000 % |
989.83/990.21 c | 1348110 | 1000 20000 100000 | 87795 87046 141 | 0.000 % |
991.83/992.22 c | 1350835 | 1000 20000 100000 | 2147483647 80958 140 | 0.000 % |
993.93/994.31 c | 1353832 | 1000 20000 100000 | 2147483647 83955 140 | 0.000 % |
996.23/996.67 c | 1357129 | 1000 20000 100000 | 2147483647 87252 140 | 0.000 % |
998.93/999.38 c | 1360755 | 1000 20000 100000 | 2147483647 90878 140 | 0.000 % |
1002.12/1002.52 c | 1364743 | 1000 20000 100000 | 2147483647 94866 140 | 0.000 % |
1005.62/1006.08 c | 1369129 | 1000 20000 100000 | 2147483647 99252 140 | 0.000 % |
1009.62/1010.09 c | 1373952 | 1000 20000 100000 | 100124 90936 139 | 0.000 % |
1014.22/1014.60 c | 1379260 | 1000 20000 100000 | 100124 96244 139 | 0.000 % |
1019.22/1019.62 c | 1385096 | 1000 20000 100000 | 96984 89404 138 | 0.000 % |
1024.22/1024.61 c | 1391516 | 1000 20000 100000 | 94308 82434 138 | 0.000 % |
1029.12/1029.59 c | 1398575 | 1000 20000 100000 | 94308 89493 138 | 0.000 % |
1034.81/1035.24 c | 1406340 | 1000 20000 100000 | 90919 85489 138 | 0.000 % |
1040.81/1041.22 c | 1414880 | 1000 20000 100000 | 89149 83909 140 | 0.000 % |
1048.01/1048.41 c | 1424275 | 1000 20000 100000 | 89030 83744 141 | 0.000 % |
1056.21/1056.64 c | 1434610 | 1000 20000 100000 | 79796 75760 143 | 0.000 % |
1064.60/1065.05 c | 1445977 | 1000 20000 100000 | 2147483647 79112 144 | 0.000 % |
1075.20/1075.68 c | 1458479 | 1000 20000 100000 | 2147483647 91614 144 | 0.000 % |
1075.30/1075.78 c | 1458579 | 1000 20000 100000 | 2147483647 91714 144 | 0.000 % |
1075.40/1075.90 c | 1458689 | 1000 20000 100000 | 2147483647 91824 144 | 0.000 % |
1075.60/1076.00 c | 1458810 | 1000 20000 100000 | 2147483647 91945 144 | 0.000 % |
1075.70/1076.11 c | 1458944 | 1000 20000 100000 | 2147483647 92079 144 | 0.000 % |
1075.80/1076.24 c | 1459090 | 1000 20000 100000 | 2147483647 92225 144 | 0.000 % |
1076.00/1076.40 c | 1459252 | 1000 20000 100000 | 2147483647 92387 144 | 0.000 % |
1076.10/1076.56 c | 1459428 | 1000 20000 100000 | 2147483647 92563 144 | 0.000 % |
1076.30/1076.73 c | 1459622 | 1000 20000 100000 | 2147483647 92757 143 | 0.000 % |
1076.50/1076.92 c | 1459834 | 1000 20000 100000 | 2147483647 92969 143 | 0.000 % |
1076.70/1077.13 c | 1460067 | 1000 20000 100000 | 93136 93202 143 | 0.000 % |
1077.00/1077.42 c | 1460324 | 1000 20000 100000 | 93136 80708 144 | 0.000 % |
1077.20/1077.62 c | 1460605 | 1000 20000 100000 | 93136 80989 143 | 0.000 % |
1077.40/1077.86 c | 1460915 | 1000 20000 100000 | 93136 81299 143 | 0.000 % |
1077.70/1078.14 c | 1461256 | 1000 20000 100000 | 93136 81640 143 | 0.000 % |
1078.00/1078.42 c | 1461628 | 1000 20000 100000 | 93136 82012 143 | 0.000 % |
1078.20/1078.69 c | 1462037 | 1000 20000 100000 | 93136 82421 143 | 0.000 % |
1078.60/1079.09 c | 1462486 | 1000 20000 100000 | 93136 82870 143 | 0.000 % |
1079.00/1079.47 c | 1462980 | 1000 20000 100000 | 93136 83364 143 | 0.000 % |
1079.40/1079.89 c | 1463522 | 1000 20000 100000 | 93136 83906 143 | 0.000 % |
1079.90/1080.32 c | 1464118 | 1000 20000 100000 | 93136 84502 143 | 0.000 % |
1080.40/1080.81 c | 1464775 | 1000 20000 100000 | 93136 85159 143 | 0.000 % |
1080.90/1081.35 c | 1465496 | 1000 20000 100000 | 93136 85880 143 | 0.000 % |
1081.49/1081.90 c | 1466289 | 1000 20000 100000 | 93136 86673 142 | 0.000 % |
1082.19/1082.61 c | 1467160 | 1000 20000 100000 | 93136 87544 142 | 0.000 % |
1082.79/1083.28 c | 1468120 | 1000 20000 100000 | 93136 88504 142 | 0.000 % |
1083.59/1084.09 c | 1469174 | 1000 20000 100000 | 93136 89558 142 | 0.000 % |
1084.49/1084.92 c | 1470332 | 1000 20000 100000 | 90384 90716 142 | 0.000 % |
1085.49/1085.92 c | 1471606 | 1000 20000 100000 | 90384 81555 142 | 0.000 % |
1086.40/1086.87 c | 1473007 | 1000 20000 100000 | 90384 82956 142 | 0.000 % |
1087.59/1088.08 c | 1474547 | 1000 20000 100000 | 90384 84496 142 | 0.000 % |
1088.89/1089.36 c | 1476241 | 1000 20000 100000 | 90384 86190 141 | 0.000 % |
1090.19/1090.69 c | 1478105 | 1000 20000 100000 | 90384 88054 141 | 0.000 % |
1091.80/1092.23 c | 1480156 | 1000 20000 100000 | 89950 90105 141 | 0.000 % |
1093.39/1093.84 c | 1482409 | 1000 20000 100000 | 89950 82674 141 | 0.000 % |
1095.09/1095.57 c | 1484889 | 1000 20000 100000 | 89950 85154 141 | 0.000 % |
1097.09/1097.52 c | 1487614 | 1000 20000 100000 | 89950 87879 140 | 0.000 % |
1099.19/1099.68 c | 1490611 | 1000 20000 100000 | 2147483647 90876 141 | 0.000 % |
1101.69/1102.11 c | 1493908 | 1000 20000 100000 | 2147483647 94173 141 | 0.000 % |
1104.58/1105.05 c | 1497534 | 1000 20000 100000 | 2147483647 97799 141 | 0.000 % |
1107.79/1108.26 c | 1501523 | 1000 20000 100000 | 100265 88785 141 | 0.000 % |
1111.19/1111.63 c | 1505908 | 1000 20000 100000 | 100265 93170 141 | 0.000 % |
1114.99/1115.46 c | 1510731 | 1000 20000 100000 | 97262 83887 140 | 0.000 % |
1118.98/1119.50 c | 1516038 | 1000 20000 100000 | 97262 89194 141 | 0.000 % |
1123.58/1124.03 c | 1521874 | 1000 20000 100000 | 93157 82110 139 | 0.000 % |
1128.48/1128.91 c | 1528292 | 1000 20000 100000 | 93157 88528 140 | 0.000 % |
1134.18/1134.64 c | 1535352 | 1000 20000 100000 | 90237 84319 139 | 0.000 % |
1140.38/1140.84 c | 1543116 | 1000 20000 100000 | 88967 82068 139 | 0.000 % |
1147.08/1147.56 c | 1551656 | 1000 20000 100000 | 88952 81193 141 | 0.000 % |
1154.78/1155.22 c | 1561050 | 1000 20000 100000 | 80307 73212 143 | 0.000 % |
1161.77/1162.24 c | 1571384 | 1000 20000 100000 | 2147483647 75477 142 | 0.000 % |
1170.47/1170.93 c | 1582752 | 1000 20000 100000 | 2147483647 86845 143 | 0.000 % |
1180.17/1180.63 c | 1595254 | 1000 20000 100000 | 94093 87200 143 | 0.000 % |
1191.47/1191.91 c | 1609006 | 1000 20000 100000 | 91948 89502 143 | 0.000 % |
1191.57/1192.04 c | 1609108 | 1000 20000 100000 | 91948 89604 143 | 0.000 % |
1191.67/1192.14 c | 1609219 | 1000 20000 100000 | 91948 89715 143 | 0.000 % |
1191.77/1192.25 c | 1609340 | 1000 20000 100000 | 91948 89836 143 | 0.000 % |
1191.87/1192.36 c | 1609474 | 1000 20000 100000 | 91948 89970 143 | 0.000 % |
1191.97/1192.48 c | 1609621 | 1000 20000 100000 | 91948 90117 143 | 0.000 % |
1192.16/1192.63 c | 1609782 | 1000 20000 100000 | 91948 90278 143 | 0.000 % |
1192.26/1192.79 c | 1609960 | 1000 20000 100000 | 91948 90456 143 | 0.000 % |
1192.46/1192.96 c | 1610153 | 1000 20000 100000 | 90497 90649 143 | 0.000 % |
1192.66/1193.19 c | 1610366 | 1000 20000 100000 | 90497 78829 143 | 0.000 % |
1192.86/1193.34 c | 1610600 | 1000 20000 100000 | 90497 79063 143 | 0.000 % |
1193.07/1193.52 c | 1610856 | 1000 20000 100000 | 90497 79319 143 | 0.000 % |
1193.26/1193.71 c | 1611137 | 1000 20000 100000 | 90497 79600 143 | 0.000 % |
1193.46/1193.94 c | 1611447 | 1000 20000 100000 | 90497 79910 143 | 0.000 % |
1193.66/1194.18 c | 1611786 | 1000 20000 100000 | 90497 80249 143 | 0.000 % |
1193.96/1194.49 c | 1612158 | 1000 20000 100000 | 90497 80621 143 | 0.000 % |
1194.26/1194.78 c | 1612567 | 1000 20000 100000 | 90497 81030 143 | 0.000 % |
1194.66/1195.14 c | 1613018 | 1000 20000 100000 | 90497 81481 142 | 0.000 % |
1195.06/1195.54 c | 1613511 | 1000 20000 100000 | 90497 81974 142 | 0.000 % |
1195.56/1196.02 c | 1614054 | 1000 20000 100000 | 90497 82517 142 | 0.000 % |
1195.96/1196.49 c | 1614652 | 1000 20000 100000 | 90497 83115 142 | 0.000 % |
1196.46/1196.99 c | 1615308 | 1000 20000 100000 | 90497 83771 142 | 0.000 % |
1197.06/1197.55 c | 1616028 | 1000 20000 100000 | 90497 84491 142 | 0.000 % |
1197.66/1198.19 c | 1616820 | 1000 20000 100000 | 90497 85283 142 | 0.000 % |
1198.36/1198.84 c | 1617692 | 1000 20000 100000 | 90497 86155 142 | 0.000 % |
1199.06/1199.56 c | 1618650 | 1000 20000 100000 | 90497 87113 142 | 0.000 % |
1199.86/1200.33 c | 1619703 | 1000 20000 100000 | 90497 88166 141 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832455-1242773533/watcher-1832455-1242773533 -o /tmp/evaluation-result-1832455-1242773533/solver-1832455-1242773533 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832455-1242773533.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 17293
/proc/meminfo: memFree=1627408/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305380576 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226238365778 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17293/statm: 1339 235 195 169 0 50 0
[pid=17294] ppid=17293 vsize=5356 CPUtime=0
/proc/17294/stat : 17294 (SatELiteGTI) S 17293 17293 17030 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305380576 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17294/statm: 1339 238 198 169 0 50 0
[pid=17296] ppid=17294 vsize=192 CPUtime=0
/proc/17296/stat : 17296 (sed) R 17294 17293 17030 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 305380576 196608 22 1992294400 4194304 4240196 548682069056 18446744073709551615 226235563264 0 0 4096 0 0 0 0 17 0 0 0
/proc/17296/statm: 48 23 16 11 0 11 0
[startup+0.0220569 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17293
/proc/meminfo: memFree=1627408/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305380576 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17293/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101065 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17293
/proc/meminfo: memFree=1627408/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301082 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17293
/proc/meminfo: memFree=1627408/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701119 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17293
/proc/meminfo: memFree=1627408/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1621440/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=6772 CPUtime=1.42
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 1452 0 0 0 142 0 0 0 25 0 1 0 305380582 6934528 1438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 1693 1438 77 171 0 1520 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12128
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1619072/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=11272 CPUtime=3.02
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 2586 0 0 0 301 1 0 0 25 0 1 0 305380582 11542528 2572 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 2818 2572 77 171 0 2645 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16628
[startup+6.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1611392/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=17936 CPUtime=6.22
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 4216 0 0 0 620 2 0 0 25 0 1 0 305380582 18366464 4202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 4484 4202 77 171 0 4311 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23292
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1601472/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=26992 CPUtime=12.62
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 6504 0 0 0 1258 4 0 0 25 0 1 0 305380582 27639808 6490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 6748 6490 77 171 0 6575 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32348
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1587712/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=40048 CPUtime=25.41
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 9756 0 0 0 2533 8 0 0 25 0 1 0 305380582 41009152 9742 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 10012 9742 77 171 0 9839 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45404
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1572160/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=55540 CPUtime=51
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 13602 0 0 0 5087 13 0 0 25 0 1 0 305380582 56872960 13588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 13885 13588 77 171 0 13712 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60896
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1572096/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=55540 CPUtime=102.17
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 13602 0 0 0 10204 13 0 0 25 0 1 0 305380582 56872960 13588 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 13885 13588 77 171 0 13712 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60896
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1571520/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=55936 CPUtime=162.15
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 13706 0 0 0 16201 14 0 0 25 0 1 0 305380582 57278464 13692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 13984 13692 77 171 0 13811 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 61292
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1570816/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=56596 CPUtime=222.12
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 13852 0 0 0 22197 15 0 0 25 0 1 0 305380582 57954304 13838 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 14149 13838 77 171 0 13976 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 61952
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1566656/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=60556 CPUtime=282.1
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 14865 0 0 0 28193 17 0 0 25 0 1 0 305380582 62009344 14851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15139 14851 77 171 0 14966 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 65912
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1566592/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=60556 CPUtime=342.08
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 14865 0 0 0 34191 17 0 0 25 0 1 0 305380582 62009344 14851 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15139 14851 77 171 0 14966 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 65912
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17299
/proc/meminfo: memFree=1566528/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=60556 CPUtime=402.06
################
# More data... #
################
/proc/17299/statm: 15511 15233 77 171 0 15338 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 67400
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1564024/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62704 CPUtime=641.99
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15387 0 0 0 64179 20 0 0 25 0 1 0 305380582 64208896 15373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15676 15373 77 171 0 15503 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 68060
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1562744/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=63760 CPUtime=701.97
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 70176 21 0 0 25 0 1 0 305380582 65290240 15651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15940 15651 77 171 0 15767 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 69116
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1563384/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62852 CPUtime=761.95
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 76174 21 0 0 25 0 1 0 305380582 64360448 15435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15713 15435 77 171 0 15540 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 68208
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1563384/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62832 CPUtime=821.93
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 82171 22 0 0 25 0 1 0 305380582 64339968 15430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15708 15430 77 171 0 15535 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 68188
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1563328/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62832 CPUtime=881.91
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 88169 22 0 0 25 0 1 0 305380582 64339968 15430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15708 15430 77 171 0 15535 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 68188
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1563200/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62832 CPUtime=941.9
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 94168 22 0 0 25 0 1 0 305380582 64339968 15430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15708 15430 77 171 0 15535 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 68188
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1563136/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=62820 CPUtime=1001.88
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 15665 0 0 0 100165 23 0 0 25 0 1 0 305380582 64327680 15427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 15705 15427 77 171 0 15532 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 68176
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1560576/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=65592 CPUtime=1061.86
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 16333 0 0 0 106162 24 0 0 25 0 1 0 305380582 67166208 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 16398 16095 77 171 0 16225 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 70948
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1559360/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=66672 CPUtime=1121.84
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 16638 0 0 0 112159 25 0 0 25 0 1 0 305380582 68272128 16365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 16668 16365 77 171 0 16495 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 72028
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1560256/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=65388 CPUtime=1181.83
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 16638 0 0 0 118158 25 0 0 25 0 1 0 305380582 66957312 16069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 16347 16069 77 171 0 16174 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 70744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1560256/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=65388 CPUtime=1200.02
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 16638 0 0 0 119977 25 0 0 25 0 1 0 305380582 66957312 16069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 16347 16069 77 171 0 16174 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 70744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17305
/proc/meminfo: memFree=1560256/2055920 swapFree=4179476/4192956
[pid=17293] ppid=17291 vsize=5356 CPUtime=0.04
/proc/17293/stat : 17293 (SatELiteGTI) S 17291 17293 17030 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 305380576 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17293/statm: 1339 239 197 169 0 50 0
[pid=17299] ppid=17293 vsize=65388 CPUtime=1200.02
/proc/17299/stat : 17299 (minisat_static) R 17293 17293 17030 0 -1 4194304 16638 0 0 0 119977 25 0 0 25 0 1 0 305380582 66957312 16069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17299/statm: 16347 16069 77 171 0 16174 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 70744
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17293 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=52991
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.05899
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.81
CPU system time (s): 0.25
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 72028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.052991
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.43078 second user time and 3.07053 second system time
The end
Begin job on node58 at 2009-05-20 00:52:13
IDJOB=1832455
IDBENCH=70191
IDSOLVER=671
FILE ID=node58/1832455-1242773533
PBS_JOBID= 9322243
Free space on /tmp= 66076 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S45173584-020.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832455-1242773533/watcher-1832455-1242773533 -o /tmp/evaluation-result-1832455-1242773533/solver-1832455-1242773533 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832455-1242773533.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 59fbd40d503488bcdf45b7724d53bd6d
RANDOM SEED=250892817
node58.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.233
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.233
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: 1627896 kB
Buffers: 17460 kB
Cached: 365728 kB
SwapCached: 7540 kB
Active: 95864 kB
Inactive: 296548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1627896 kB
SwapTotal: 4192956 kB
SwapFree: 4179476 kB
Dirty: 2048 kB
Writeback: 0 kB
Mapped: 14492 kB
Slab: 21760 kB
Committed_AS: 982712 kB
PageTables: 1364 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= 66072 MiB
End job on node58 at 2009-05-20 01:12:16