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 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16681 50709 | -- 0 -- -- | -- | -119/309
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3890 #clauses: 16681 #literals: 50709
0.00/0.05 c CPU time: 0.046992 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3890 |
0.00/0.07 c | Number of clauses: 16681 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 3890 16681 50709 | 5560 0 nan | 0.000 % |
0.06/0.10 c | 101 | 3890 16681 50709 | 5560 101 117 | 0.000 % |
0.06/0.11 c | 201 | 3890 16681 50709 | 5560 201 102 | 0.000 % |
0.06/0.12 c | 301 | 3890 16681 50709 | 5560 301 100 | 0.000 % |
0.06/0.14 c | 412 | 3890 16681 50709 | 5560 412 100 | 0.000 % |
0.06/0.15 c | 512 | 3890 16681 50709 | 5560 512 95 | 0.000 % |
0.06/0.16 c | 622 | 3890 16681 50709 | 5560 622 91 | 0.000 % |
0.06/0.18 c | 743 | 3890 16681 50709 | 5560 743 92 | 0.000 % |
0.06/0.19 c | 843 | 3890 16681 50709 | 5560 843 90 | 0.000 % |
0.06/0.20 c | 953 | 3890 16681 50709 | 5560 953 91 | 0.000 % |
0.06/0.22 c | 1074 | 3890 16681 50709 | 5560 1074 91 | 0.000 % |
0.06/0.24 c | 1208 | 3890 16681 50709 | 5560 1208 90 | 0.000 % |
0.06/0.25 c | 1309 | 3890 16681 50709 | 5560 1309 91 | 0.000 % |
0.06/0.26 c | 1419 | 3890 16681 50709 | 5560 1419 91 | 0.000 % |
0.06/0.28 c | 1540 | 3890 16681 50709 | 5560 1540 93 | 0.000 % |
0.06/0.30 c | 1674 | 3890 16681 50709 | 5560 1674 92 | 0.000 % |
0.06/0.31 c | 1820 | 3890 16681 50709 | 5560 1820 92 | 0.000 % |
0.06/0.33 c | 1920 | 3890 16681 50709 | 5560 1920 92 | 0.000 % |
0.06/0.34 c | 2032 | 3890 16681 50709 | 5560 2032 91 | 0.000 % |
0.06/0.36 c | 2154 | 3890 16681 50709 | 5560 2154 92 | 0.000 % |
0.06/0.37 c | 2287 | 3890 16681 50709 | 5560 2287 92 | 0.000 % |
0.06/0.39 c | 2433 | 3890 16681 50709 | 5560 2433 91 | 0.000 % |
0.06/0.41 c | 2593 | 3890 16681 50709 | 5560 2593 91 | 0.000 % |
0.06/0.43 c | 2694 | 3890 16681 50709 | 5560 2694 90 | 0.000 % |
0.06/0.44 c | 2805 | 3890 16681 50709 | 5560 2805 91 | 0.000 % |
0.06/0.46 c | 2926 | 3890 16681 50709 | 5560 2926 90 | 0.000 % |
0.06/0.47 c | 3060 | 3890 16681 50709 | 5560 3060 89 | 0.000 % |
0.06/0.49 c | 3209 | 3890 16681 50709 | 5560 3209 90 | 0.000 % |
0.06/0.51 c | 3369 | 3890 16681 50709 | 5560 3369 89 | 0.000 % |
0.06/0.54 c | 3546 | 3890 16681 50709 | 5560 3546 89 | 0.000 % |
0.06/0.55 c | 3647 | 3890 16681 50709 | 5560 3647 89 | 0.000 % |
0.06/0.57 c | 3759 | 3890 16681 50709 | 5560 3759 89 | 0.000 % |
0.06/0.58 c | 3881 | 3890 16681 50709 | 5560 3881 88 | 0.000 % |
0.06/0.60 c | 4014 | 3890 16681 50709 | 5560 4014 88 | 0.000 % |
0.06/0.62 c | 4161 | 3890 16681 50709 | 5560 4161 89 | 0.000 % |
0.06/0.64 c | 4322 | 3890 16681 50709 | 5560 4322 89 | 0.000 % |
0.06/0.66 c | 4498 | 3890 16681 50709 | 5560 4498 89 | 0.000 % |
0.06/0.69 c | 4692 | 3890 16681 50709 | 5560 4692 90 | 0.000 % |
0.06/0.71 c | 4792 | 3890 16681 50709 | 5560 4792 90 | 0.000 % |
0.06/0.72 c | 4902 | 3890 16681 50709 | 5560 4902 90 | 0.000 % |
0.06/0.74 c | 5023 | 3890 16681 50709 | 5560 5023 90 | 0.000 % |
0.06/0.76 c | 5156 | 3890 16681 50709 | 5560 5156 90 | 0.000 % |
0.06/0.78 c | 5302 | 3890 16681 50709 | 5560 5302 91 | 0.000 % |
0.06/0.81 c | 5462 | 3890 16681 50709 | 5560 5462 91 | 0.000 % |
0.06/0.83 c | 5638 | 3890 16681 50709 | 5560 5638 91 | 0.000 % |
0.06/0.86 c | 5832 | 3890 16681 50709 | 5560 5269 90 | 0.000 % |
0.06/0.89 c | 6047 | 3890 16681 50709 | 5560 5484 90 | 0.000 % |
0.06/0.91 c | 6147 | 3890 16681 50709 | 5560 5584 90 | 0.000 % |
0.06/0.93 c | 6258 | 3890 16681 50709 | 5560 5137 89 | 0.000 % |
0.06/0.94 c | 6379 | 3890 16681 50709 | 5560 5258 89 | 0.000 % |
0.06/0.96 c | 6512 | 3890 16681 50709 | 5560 5391 89 | 0.000 % |
0.06/0.98 c | 6661 | 3890 16681 50709 | 5560 5540 89 | 0.000 % |
0.98/1.01 c | 6821 | 3890 16681 50709 | 5560 5700 89 | 0.000 % |
0.98/1.04 c | 6997 | 3890 16681 50709 | 5560 5306 89 | 0.000 % |
0.98/1.07 c | 7192 | 3890 16681 50709 | 5560 5501 89 | 0.000 % |
1.08/1.10 c | 7405 | 3890 16681 50709 | 5560 5714 90 | 0.000 % |
1.08/1.14 c | 7638 | 3890 16681 50709 | 5560 5376 91 | 0.000 % |
1.08/1.15 c | 7739 | 3890 16681 50709 | 5560 5477 91 | 0.000 % |
1.08/1.17 c | 7850 | 3890 16681 50709 | 5560 5588 91 | 0.000 % |
1.08/1.19 c | 7972 | 3890 16681 50709 | 5560 5152 91 | 0.000 % |
1.17/1.21 c | 8108 | 3890 16681 50709 | 5560 5288 91 | 0.000 % |
1.17/1.23 c | 8254 | 3890 16681 50709 | 5560 5434 92 | 0.000 % |
1.17/1.26 c | 8415 | 3890 16681 50709 | 5560 5595 92 | 0.000 % |
1.17/1.28 c | 8591 | 3890 16681 50709 | 5560 5212 93 | 0.000 % |
1.27/1.31 c | 8786 | 3890 16681 50709 | 5560 5407 94 | 0.000 % |
1.27/1.34 c | 9000 | 3890 16681 50709 | 5560 5621 94 | 0.000 % |
1.27/1.38 c | 9233 | 3890 16681 50709 | 5560 5292 96 | 0.000 % |
1.37/1.41 c | 9490 | 3890 16681 50709 | 5560 5549 95 | 0.000 % |
1.37/1.43 c | 9592 | 3890 16681 50709 | 5560 5651 95 | 0.000 % |
1.37/1.45 c | 9702 | 3890 16681 50709 | 5560 5196 95 | 0.000 % |
1.37/1.46 c | 9825 | 3890 16681 50709 | 5560 5319 95 | 0.000 % |
1.37/1.48 c | 9958 | 3890 16681 50709 | 5560 5452 95 | 0.000 % |
1.47/1.51 c | 10104 | 3890 16681 50709 | 2147483647 5598 95 | 0.000 % |
1.47/1.53 c | 10264 | 3890 16681 50709 | 2147483647 5758 95 | 0.000 % |
1.47/1.55 c | 10441 | 3890 16681 50709 | 2147483647 5935 95 | 0.000 % |
1.47/1.58 c | 10634 | 3890 16681 50709 | 2147483647 6128 95 | 0.000 % |
1.57/1.62 c | 10847 | 3890 16681 50709 | 2147483647 6341 96 | 0.000 % |
1.57/1.65 c | 11080 | 3890 16681 50709 | 2147483647 6574 95 | 0.000 % |
1.57/1.70 c | 11336 | 3890 16681 50709 | 2147483647 6830 96 | 0.000 % |
1.67/1.74 c | 11618 | 3890 16681 50709 | 2147483647 7112 96 | 0.000 % |
1.67/1.75 c | 11719 | 3890 16681 50709 | 2147483647 7213 96 | 0.000 % |
1.67/1.77 c | 11830 | 3890 16681 50709 | 2147483647 7324 96 | 0.000 % |
1.67/1.79 c | 11951 | 3890 16681 50709 | 2147483647 7445 96 | 0.000 % |
1.77/1.81 c | 12084 | 3890 16681 50709 | 2147483647 7578 96 | 0.000 % |
1.77/1.84 c | 12230 | 3890 16681 50709 | 2147483647 7724 95 | 0.000 % |
1.77/1.86 c | 12392 | 3890 16681 50709 | 2147483647 7886 95 | 0.000 % |
1.77/1.89 c | 12571 | 3890 16681 50709 | 2147483647 8065 95 | 0.000 % |
1.87/1.93 c | 12764 | 3890 16681 50709 | 2147483647 8258 95 | 0.000 % |
1.87/1.96 c | 12978 | 3890 16681 50709 | 2147483647 8472 96 | 0.000 % |
1.97/2.00 c | 13212 | 3890 16681 50709 | 2147483647 8706 96 | 0.000 % |
1.97/2.04 c | 13468 | 3890 16681 50709 | 2147483647 8962 96 | 0.000 % |
1.97/2.09 c | 13749 | 3890 16681 50709 | 2147483647 9243 96 | 0.000 % |
2.07/2.14 c | 14059 | 3890 16681 50709 | 2147483647 9553 96 | 0.000 % |
2.07/2.16 c | 14159 | 3890 16681 50709 | 2147483647 9653 96 | 0.000 % |
2.07/2.18 c | 14273 | 3890 16681 50709 | 2147483647 9767 96 | 0.000 % |
2.07/2.20 c | 14395 | 3890 16681 50709 | 2147483647 9889 96 | 0.000 % |
2.17/2.22 c | 14529 | 3890 16681 50709 | 2147483647 10023 96 | 0.000 % |
2.17/2.25 c | 14677 | 3890 16681 50709 | 2147483647 10171 96 | 0.000 % |
2.17/2.28 c | 14837 | 3890 16681 50709 | 2147483647 10331 96 | 0.000 % |
2.27/2.31 c | 15013 | 3890 16681 50709 | 2147483647 10507 96 | 0.000 % |
2.27/2.34 c | 15206 | 3890 16681 50709 | 2147483647 10700 96 | 0.000 % |
2.27/2.38 c | 15418 | 3890 16681 50709 | 2147483647 10912 97 | 0.000 % |
2.37/2.42 c | 15651 | 3890 16681 50709 | 2147483647 11145 97 | 0.000 % |
2.37/2.47 c | 15908 | 3890 16681 50709 | 2147483647 11402 97 | 0.000 % |
2.47/2.51 c | 16190 | 3890 16681 50709 | 2147483647 11684 97 | 0.000 % |
2.47/2.57 c | 16501 | 3890 16681 50709 | 2147483647 11995 97 | 0.000 % |
2.57/2.64 c | 16842 | 3890 16681 50709 | 2147483647 12336 97 | 0.000 % |
2.57/2.66 c | 16942 | 3890 16681 50709 | 2147483647 12436 97 | 0.000 % |
2.57/2.68 c | 17055 | 3890 16681 50709 | 2147483647 12549 97 | 0.000 % |
2.67/2.70 c | 17176 | 3890 16681 50709 | 2147483647 12670 97 | 0.000 % |
2.67/2.73 c | 17311 | 3890 16681 50709 | 2147483647 12805 97 | 0.000 % |
2.67/2.75 c | 17459 | 3890 16681 50709 | 2147483647 12953 97 | 0.000 % |
2.67/2.79 c | 17621 | 3890 16681 50709 | 2147483647 13115 97 | 0.000 % |
2.77/2.82 c | 17798 | 3890 16681 50709 | 2147483647 13292 97 | 0.000 % |
2.77/2.86 c | 17992 | 3890 16681 50709 | 2147483647 13486 97 | 0.000 % |
2.87/2.90 c | 18205 | 3890 16681 50709 | 2147483647 13699 97 | 0.000 % |
2.87/2.95 c | 18441 | 3890 16681 50709 | 2147483647 13935 97 | 0.000 % |
2.97/3.00 c | 18697 | 3890 16681 50709 | 2147483647 14191 97 | 0.000 % |
2.97/3.05 c | 18978 | 3890 16681 50709 | 2147483647 14472 97 | 0.000 % |
3.07/3.11 c | 19287 | 3890 16681 50709 | 2147483647 14781 98 | 0.000 % |
3.07/3.18 c | 19627 | 3890 16681 50709 | 2147483647 15121 97 | 0.000 % |
3.18/3.26 c | 19999 | 3890 16681 50709 | 2147483647 15493 98 | 0.000 % |
3.18/3.28 c | 20099 | 3890 16681 50709 | 2147483647 15593 98 | 0.000 % |
3.28/3.31 c | 20210 | 3890 16681 50709 | 2147483647 15704 98 | 0.000 % |
3.28/3.34 c | 20332 | 3890 16681 50709 | 2147483647 15826 98 | 0.000 % |
3.28/3.36 c | 20465 | 3890 16681 50709 | 2147483647 15959 98 | 0.000 % |
3.28/3.39 c | 20611 | 3890 16681 50709 | 2147483647 16105 98 | 0.000 % |
3.37/3.43 c | 20772 | 3890 16681 50709 | 2147483647 16266 98 | 0.000 % |
3.37/3.47 c | 20948 | 3890 16681 50709 | 2147483647 16442 98 | 0.000 % |
3.47/3.51 c | 21141 | 3890 16681 50709 | 2147483647 16635 98 | 0.000 % |
3.47/3.56 c | 21353 | 3890 16681 50709 | 2147483647 16847 98 | 0.000 % |
3.57/3.60 c | 21587 | 3890 16681 50709 | 2147483647 17081 98 | 0.000 % |
3.57/3.66 c | 21845 | 3890 16681 50709 | 2147483647 17339 98 | 0.000 % |
3.67/3.72 c | 22126 | 3890 16681 50709 | 2147483647 17620 98 | 0.000 % |
3.67/3.79 c | 22439 | 3890 16681 50709 | 2147483647 17933 98 | 0.000 % |
3.77/3.87 c | 22779 | 3890 16681 50709 | 2147483647 18273 98 | 0.000 % |
3.87/3.95 c | 23151 | 3890 16681 50709 | 2147483647 18645 98 | 0.000 % |
3.97/4.04 c | 23562 | 3890 16681 50709 | 2147483647 19056 98 | 0.000 % |
3.97/4.07 c | 23662 | 3890 16681 50709 | 2147483647 19156 98 | 0.000 % |
3.97/4.10 c | 23772 | 3890 16681 50709 | 2147483647 19266 98 | 0.000 % |
4.07/4.12 c | 23894 | 3890 16681 50709 | 2147483647 19388 98 | 0.000 % |
4.07/4.16 c | 24027 | 3890 16681 50709 | 2147483647 19521 98 | 0.000 % |
4.17/4.20 c | 24173 | 3890 16681 50709 | 2147483647 19667 98 | 0.000 % |
4.17/4.24 c | 24333 | 3890 16681 50709 | 2147483647 19827 98 | 0.000 % |
4.17/4.28 c | 24510 | 3890 16681 50709 | 2147483647 20004 98 | 0.000 % |
4.27/4.33 c | 24704 | 3890 16681 50709 | 2147483647 20198 98 | 0.000 % |
4.27/4.38 c | 24916 | 3890 16681 50709 | 2147483647 20410 97 | 0.000 % |
4.37/4.44 c | 25149 | 3890 16681 50709 | 2147483647 20643 97 | 0.000 % |
4.47/4.50 c | 25406 | 3890 16681 50709 | 2147483647 20900 98 | 0.000 % |
4.47/4.56 c | 25688 | 3890 16681 50709 | 2147483647 21182 98 | 0.000 % |
4.57/4.64 c | 25997 | 3890 16681 50709 | 2147483647 21491 98 | 0.000 % |
4.67/4.72 c | 26337 | 3890 16681 50709 | 2147483647 21831 98 | 0.000 % |
4.76/4.81 c | 26709 | 3890 16681 50709 | 2147483647 22203 98 | 0.000 % |
4.86/4.91 c | 27119 | 3890 16681 50709 | 2147483647 22613 98 | 0.000 % |
4.96/5.02 c | 27568 | 3890 16681 50709 | 2147483647 23062 98 | 0.000 % |
4.96/5.05 c | 27668 | 3890 16681 50709 | 2147483647 23162 98 | 0.000 % |
4.96/5.08 c | 27778 | 3890 16681 50709 | 2147483647 23272 98 | 0.000 % |
5.06/5.11 c | 27900 | 3890 16681 50709 | 2147483647 23394 98 | 0.000 % |
5.06/5.15 c | 28033 | 3890 16681 50709 | 2147483647 23527 98 | 0.000 % |
5.06/5.19 c | 28179 | 3890 16681 50709 | 2147483647 23673 98 | 0.000 % |
5.17/5.23 c | 28340 | 3890 16681 50709 | 2147483647 23834 98 | 0.000 % |
5.17/5.27 c | 28520 | 3890 16681 50709 | 2147483647 24014 98 | 0.000 % |
5.27/5.33 c | 28714 | 3890 16681 50709 | 2147483647 24208 98 | 0.000 % |
5.27/5.38 c | 28926 | 3890 16681 50709 | 2147483647 24420 98 | 0.000 % |
5.38/5.44 c | 29159 | 3890 16681 50709 | 2147483647 24653 98 | 0.000 % |
5.48/5.51 c | 29415 | 3890 16681 50709 | 2147483647 24909 98 | 0.000 % |
5.48/5.58 c | 29698 | 3890 16681 50709 | 2147483647 25192 98 | 0.000 % |
5.57/5.66 c | 30007 | 3890 16681 50709 | 2147483647 25501 98 | 0.000 % |
5.67/5.75 c | 30347 | 3890 16681 50709 | 2147483647 25841 98 | 0.000 % |
5.77/5.85 c | 30720 | 3890 16681 50709 | 2147483647 26214 98 | 0.000 % |
5.87/5.96 c | 31129 | 3890 16681 50709 | 2147483647 26623 98 | 0.000 % |
5.97/6.08 c | 31581 | 3890 16681 50709 | 2147483647 27075 98 | 0.000 % |
6.17/6.22 c | 32076 | 3890 16681 50709 | 2147483647 27570 98 | 0.000 % |
6.17/6.25 c | 32176 | 3890 16681 50709 | 2147483647 27670 98 | 0.000 % |
6.17/6.28 c | 32286 | 3890 16681 50709 | 2147483647 27780 98 | 0.000 % |
6.27/6.32 c | 32408 | 3890 16681 50709 | 2147483647 27902 98 | 0.000 % |
6.27/6.36 c | 32541 | 3890 16681 50709 | 2147483647 28035 98 | 0.000 % |
6.37/6.41 c | 32690 | 3890 16681 50709 | 2147483647 28184 98 | 0.000 % |
6.37/6.45 c | 32850 | 3890 16681 50709 | 2147483647 28344 98 | 0.000 % |
6.48/6.50 c | 33026 | 3890 16681 50709 | 2147483647 28520 98 | 0.000 % |
6.48/6.57 c | 33220 | 3890 16681 50709 | 2147483647 28714 98 | 0.000 % |
6.58/6.63 c | 33433 | 3890 16681 50709 | 2147483647 28927 98 | 0.000 % |
6.58/6.70 c | 33666 | 3890 16681 50709 | 2147483647 29160 98 | 0.000 % |
6.67/6.76 c | 33922 | 3890 16681 50709 | 2147483647 29416 98 | 0.000 % |
6.77/6.85 c | 34206 | 3890 16681 50709 | 2147483647 29700 98 | 0.000 % |
6.87/6.95 c | 34518 | 3890 16681 50709 | 2147483647 30012 98 | 0.000 % |
6.97/7.05 c | 34859 | 3890 16681 50709 | 2147483647 30353 98 | 0.000 % |
7.07/7.16 c | 35232 | 3890 16681 50709 | 2147483647 30726 98 | 0.000 % |
7.17/7.28 c | 35641 | 3890 16681 50709 | 2147483647 31135 98 | 0.000 % |
7.37/7.41 c | 36092 | 3890 16681 50709 | 2147483647 31586 98 | 0.000 % |
7.47/7.56 c | 36585 | 3890 16681 50709 | 2147483647 32079 98 | 0.000 % |
7.67/7.72 c | 37128 | 3890 16681 50709 | 2147483647 32622 98 | 0.000 % |
7.67/7.76 c | 37229 | 3890 16681 50709 | 2147483647 32723 98 | 0.000 % |
7.67/7.79 c | 37341 | 3890 16681 50709 | 2147483647 32835 98 | 0.000 % |
7.77/7.83 c | 37462 | 3890 16681 50709 | 2147483647 32956 98 | 0.000 % |
7.77/7.88 c | 37598 | 3890 16681 50709 | 2147483647 33092 98 | 0.000 % |
7.87/7.93 c | 37744 | 3890 16681 50709 | 2147483647 33238 98 | 0.000 % |
7.87/7.99 c | 37904 | 3890 16681 50709 | 2147483647 33398 98 | 0.000 % |
7.97/8.05 c | 38080 | 3890 16681 50709 | 2147483647 33574 98 | 0.000 % |
8.07/8.11 c | 38273 | 3890 16681 50709 | 2147483647 33767 98 | 0.000 % |
8.07/8.18 c | 38486 | 3890 16681 50709 | 2147483647 33980 98 | 0.000 % |
8.17/8.25 c | 38719 | 3890 16681 50709 | 2147483647 34213 98 | 0.000 % |
8.27/8.34 c | 38975 | 3890 16681 50709 | 2147483647 34469 98 | 0.000 % |
8.37/8.43 c | 39256 | 3890 16681 50709 | 2147483647 34750 98 | 0.000 % |
8.47/8.53 c | 39565 | 3890 16681 50709 | 2147483647 35059 98 | 0.000 % |
8.57/8.64 c | 39904 | 3890 16681 50709 | 2147483647 35398 98 | 0.000 % |
8.67/8.77 c | 40276 | 3890 16681 50709 | 2147483647 35770 98 | 0.000 % |
8.87/8.91 c | 40685 | 3890 16681 50709 | 2147483647 36179 99 | 0.000 % |
8.97/9.05 c | 41135 | 3890 16681 50709 | 2147483647 36629 98 | 0.000 % |
9.16/9.21 c | 41628 | 3890 16681 50709 | 2147483647 37122 98 | 0.000 % |
9.36/9.41 c | 42170 | 3890 16681 50709 | 2147483647 37664 98 | 0.000 % |
9.56/9.60 c | 42766 | 3890 16681 50709 | 2147483647 38260 99 | 0.000 % |
9.56/9.64 c | 42866 | 3890 16681 50709 | 2147483647 38360 99 | 0.000 % |
9.56/9.68 c | 42977 | 3890 16681 50709 | 2147483647 38471 99 | 0.000 % |
9.66/9.72 c | 43099 | 3890 16681 50709 | 2147483647 38593 99 | 0.000 % |
9.66/9.78 c | 43234 | 3890 16681 50709 | 2147483647 38728 99 | 0.000 % |
9.78/9.83 c | 43380 | 3890 16681 50709 | 2147483647 38874 99 | 0.000 % |
9.78/9.89 c | 43541 | 3890 16681 50709 | 2147483647 39035 99 | 0.000 % |
9.88/9.96 c | 43717 | 3890 16681 50709 | 2147483647 39211 99 | 0.000 % |
9.97/10.03 c | 43910 | 3890 16681 50709 | 2147483647 39404 99 | 0.000 % |
10.07/10.10 c | 44123 | 3890 16681 50709 | 2147483647 39617 99 | 0.000 % |
10.07/10.18 c | 44356 | 3890 16681 50709 | 2147483647 39850 99 | 0.000 % |
10.17/10.27 c | 44612 | 3890 16681 50709 | 2147483647 40106 99 | 0.000 % |
10.27/10.36 c | 44893 | 3890 16681 50709 | 2147483647 40387 99 | 0.000 % |
10.37/10.47 c | 45203 | 3890 16681 50709 | 2147483647 40697 99 | 0.000 % |
10.47/10.59 c | 45542 | 3890 16681 50709 | 2147483647 41036 99 | 0.000 % |
10.67/10.74 c | 45915 | 3890 16681 50709 | 2147483647 41409 99 | 0.000 % |
10.77/10.89 c | 46325 | 3890 16681 50709 | 2147483647 41819 99 | 0.000 % |
10.97/11.05 c | 46774 | 3890 16681 50709 | 2147483647 42268 99 | 0.000 % |
11.16/11.24 c | 47268 | 3890 16681 50709 | 2147483647 42762 99 | 0.000 % |
11.36/11.45 c | 47813 | 3890 16681 50709 | 2147483647 43307 100 | 0.000 % |
11.56/11.66 c | 48409 | 3890 16681 50709 | 2147483647 43903 100 | 0.000 % |
11.87/11.93 c | 49067 | 3890 16681 50709 | 2147483647 44561 100 | 0.000 % |
11.87/11.98 c | 49168 | 3890 16681 50709 | 2147483647 44662 100 | 0.000 % |
11.98/12.03 c | 49281 | 3890 16681 50709 | 2147483647 44775 100 | 0.000 % |
11.98/12.08 c | 49402 | 3890 16681 50709 | 2147483647 44896 100 | 0.000 % |
12.07/12.13 c | 49535 | 3890 16681 50709 | 2147483647 45029 100 | 0.000 % |
12.07/12.19 c | 49681 | 3890 16681 50709 | 2147483647 45175 100 | 0.000 % |
12.17/12.25 c | 49841 | 3890 16681 50709 | 2147483647 45335 100 | 0.000 % |
12.27/12.33 c | 50017 | 3890 16681 50709 | 2147483647 45511 100 | 0.000 % |
12.37/12.41 c | 50211 | 3890 16681 50709 | 2147483647 45705 100 | 0.000 % |
12.37/12.49 c | 50423 | 3890 16681 50709 | 2147483647 45917 100 | 0.000 % |
12.47/12.58 c | 50658 | 3890 16681 50709 | 2147483647 46152 100 | 0.000 % |
12.57/12.69 c | 50914 | 3890 16681 50709 | 2147483647 46408 99 | 0.000 % |
12.77/12.80 c | 51197 | 3890 16681 50709 | 2147483647 46691 99 | 0.000 % |
12.87/12.93 c | 51506 | 3890 16681 50709 | 2147483647 47000 99 | 0.000 % |
12.97/13.07 c | 51845 | 3890 16681 50709 | 2147483647 47339 99 | 0.000 % |
13.17/13.22 c | 52218 | 3890 16681 50709 | 2147483647 47712 100 | 0.000 % |
13.27/13.38 c | 52627 | 3890 16681 50709 | 2147483647 48121 100 | 0.000 % |
13.47/13.56 c | 53076 | 3890 16681 50709 | 2147483647 48570 100 | 0.000 % |
13.67/13.77 c | 53570 | 3890 16681 50709 | 2147483647 49064 100 | 0.000 % |
13.87/14.00 c | 54112 | 3890 16681 50709 | 2147483647 49606 100 | 0.000 % |
14.17/14.24 c | 54708 | 3890 16681 50709 | 2147483647 50202 100 | 0.000 % |
14.36/14.50 c | 55364 | 3890 16681 50709 | 2147483647 50858 100 | 0.000 % |
14.66/14.79 c | 56084 | 3890 16681 50709 | 2147483647 51578 100 | 0.000 % |
14.76/14.84 c | 56184 | 3890 16681 50709 | 2147483647 51678 100 | 0.000 % |
14.76/14.89 c | 56294 | 3890 16681 50709 | 2147483647 51788 100 | 0.000 % |
14.86/14.95 c | 56416 | 3890 16681 50709 | 2147483647 51910 100 | 0.000 % |
14.96/15.01 c | 56551 | 3890 16681 50709 | 2147483647 52045 100 | 0.000 % |
14.96/15.09 c | 56698 | 3890 16681 50709 | 2147483647 52192 100 | 0.000 % |
15.06/15.16 c | 56858 | 3890 16681 50709 | 2147483647 52352 100 | 0.000 % |
15.17/15.24 c | 57034 | 3890 16681 50709 | 2147483647 52528 100 | 0.000 % |
15.27/15.33 c | 57231 | 3890 16681 50709 | 2147483647 52725 100 | 0.000 % |
15.37/15.44 c | 57444 | 3890 16681 50709 | 2147483647 52938 100 | 0.000 % |
15.47/15.54 c | 57681 | 3890 16681 50709 | 2147483647 53175 100 | 0.000 % |
15.57/15.66 c | 57937 | 3890 16681 50709 | 2147483647 53431 100 | 0.000 % |
15.67/15.78 c | 58220 | 3890 16681 50709 | 2147483647 53714 100 | 0.000 % |
15.87/15.91 c | 58531 | 3890 16681 50709 | 2147483647 54025 100 | 0.000 % |
15.97/16.07 c | 58870 | 3890 16681 50709 | 2147483647 54364 100 | 0.000 % |
16.17/16.24 c | 59243 | 3890 16681 50709 | 2147483647 54737 100 | 0.000 % |
16.37/16.43 c | 59654 | 3890 16681 50709 | 2147483647 55148 100 | 0.000 % |
16.57/16.62 c | 60106 | 3890 16681 50709 | 2147483647 55600 100 | 0.000 % |
16.76/16.84 c | 60600 | 3890 16681 50709 | 2147483647 56094 100 | 0.000 % |
16.96/17.07 c | 61142 | 3890 16681 50709 | 2147483647 56636 100 | 0.000 % |
17.26/17.33 c | 61739 | 3890 16681 50709 | 2147483647 57233 100 | 0.000 % |
17.57/17.63 c | 62395 | 3890 16681 50709 | 2147483647 57889 100 | 0.000 % |
17.87/17.96 c | 63117 | 3890 16681 50709 | 2147483647 58611 100 | 0.000 % |
18.27/18.32 c | 63909 | 3890 16681 50709 | 2147483647 59403 100 | 0.000 % |
18.27/18.37 c | 64009 | 3890 16681 50709 | 2147483647 59503 100 | 0.000 % |
18.37/18.43 c | 64120 | 3890 16681 50709 | 2147483647 59614 100 | 0.000 % |
18.37/18.49 c | 64241 | 3890 16681 50709 | 2147483647 59735 100 | 0.000 % |
18.47/18.56 c | 64374 | 3890 16681 50709 | 2147483647 59868 100 | 0.000 % |
18.57/18.64 c | 64520 | 3890 16681 50709 | 2147483647 60014 100 | 0.000 % |
18.67/18.72 c | 64680 | 3890 16681 50709 | 2147483647 60174 100 | 0.000 % |
18.77/18.82 c | 64857 | 3890 16681 50709 | 2147483647 60351 100 | 0.000 % |
18.87/18.91 c | 65051 | 3890 16681 50709 | 2147483647 60545 100 | 0.000 % |
18.97/19.03 c | 65263 | 3890 16681 50709 | 2147483647 60757 100 | 0.000 % |
19.07/19.15 c | 65497 | 3890 16681 50709 | 2147483647 60991 100 | 0.000 % |
19.17/19.28 c | 65753 | 3890 16681 50709 | 2147483647 61247 100 | 0.000 % |
19.37/19.42 c | 66035 | 3890 16681 50709 | 2147483647 61529 100 | 0.000 % |
19.47/19.58 c | 66345 | 3890 16681 50709 | 2147483647 61839 101 | 0.000 % |
19.67/19.75 c | 66684 | 3890 16681 50709 | 2147483647 62178 101 | 0.000 % |
19.86/19.92 c | 67056 | 3890 16681 50709 | 2147483647 62550 101 | 0.000 % |
20.06/20.14 c | 67465 | 3890 16681 50709 | 2147483647 62959 101 | 0.000 % |
20.26/20.36 c | 67915 | 3890 16681 50709 | 2147483647 63409 101 | 0.000 % |
20.56/20.61 c | 68410 | 3890 16681 50709 | 2147483647 63904 101 | 0.000 % |
20.77/20.88 c | 68952 | 3890 16681 50709 | 2147483647 64446 101 | 0.000 % |
21.06/21.19 c | 69550 | 3890 16681 50709 | 2147483647 65044 101 | 0.000 % |
21.46/21.53 c | 70208 | 3890 16681 50709 | 2147483647 65702 101 | 0.000 % |
21.76/21.89 c | 70929 | 3890 16681 50709 | 2147483647 66423 101 | 0.000 % |
22.16/22.29 c | 71721 | 3890 16681 50709 | 2147483647 67215 101 | 0.000 % |
22.66/22.73 c | 72594 | 3890 16681 50709 | 2147483647 68088 101 | 0.000 % |
22.66/22.80 c | 72694 | 3890 16681 50709 | 2147483647 68188 101 | 0.000 % |
22.76/22.87 c | 72807 | 3890 16681 50709 | 2147483647 68301 101 | 0.000 % |
22.86/22.94 c | 72928 | 3890 16681 50709 | 2147483647 68422 101 | 0.000 % |
22.96/23.02 c | 73061 | 3890 16681 50709 | 2147483647 68555 101 | 0.000 % |
23.06/23.11 c | 73210 | 3890 16681 50709 | 2147483647 68704 101 | 0.000 % |
23.06/23.20 c | 73370 | 3890 16681 50709 | 2147483647 68864 101 | 0.000 % |
23.26/23.31 c | 73547 | 3890 16681 50709 | 2147483647 69041 101 | 0.000 % |
23.36/23.44 c | 73740 | 3890 16681 50709 | 2147483647 69234 101 | 0.000 % |
23.46/23.55 c | 73952 | 3890 16681 50709 | 2147483647 69446 101 | 0.000 % |
23.56/23.69 c | 74185 | 3890 16681 50709 | 2147483647 69679 101 | 0.000 % |
23.76/23.83 c | 74442 | 3890 16681 50709 | 2147483647 69936 101 | 0.000 % |
23.87/23.97 c | 74724 | 3890 16681 50709 | 2147483647 70218 101 | 0.000 % |
24.07/24.15 c | 75034 | 3890 16681 50709 | 2147483647 70528 101 | 0.000 % |
24.27/24.34 c | 75373 | 3890 16681 50709 | 2147483647 70867 101 | 0.000 % |
24.47/24.54 c | 75745 | 3890 16681 50709 | 2147483647 71239 101 | 0.000 % |
24.67/24.76 c | 76155 | 3890 16681 50709 | 2147483647 71649 101 | 0.000 % |
24.97/25.00 c | 76608 | 3890 16681 50709 | 2147483647 72102 101 | 0.000 % |
25.17/25.26 c | 77103 | 3890 16681 50709 | 2147483647 72597 101 | 0.000 % |
25.47/25.55 c | 77647 | 3890 16681 50709 | 2147483647 73141 101 | 0.000 % |
25.76/25.87 c | 78245 | 3890 16681 50709 | 2147483647 73739 101 | 0.000 % |
26.16/26.23 c | 78900 | 3890 16681 50709 | 2147483647 74394 102 | 0.000 % |
26.56/26.62 c | 79620 | 3890 16681 50709 | 2147483647 75114 102 | 0.000 % |
26.96/27.07 c | 80412 | 3890 16681 50709 | 2147483647 75906 102 | 0.000 % |
27.46/27.56 c | 81283 | 3890 16681 50709 | 2147483647 76777 102 | 0.000 % |
27.96/28.06 c | 82242 | 3890 16681 50709 | 2147483647 77736 102 | 0.000 % |
28.07/28.12 c | 82343 | 3890 16681 50709 | 2147483647 77837 102 | 0.000 % |
28.07/28.19 c | 82453 | 3890 16681 50709 | 2147483647 77947 102 | 0.000 % |
28.17/28.27 c | 82576 | 3890 16681 50709 | 2147483647 78070 102 | 0.000 % |
28.27/28.37 c | 82709 | 3890 16681 50709 | 2147483647 78203 102 | 0.000 % |
28.37/28.46 c | 82856 | 3890 16681 50709 | 2147483647 78350 102 | 0.000 % |
28.47/28.56 c | 83016 | 3890 16681 50709 | 2147483647 78510 102 | 0.000 % |
28.57/28.68 c | 83193 | 3890 16681 50709 | 2147483647 78687 102 | 0.000 % |
28.77/28.80 c | 83390 | 3890 16681 50709 | 2147483647 78884 102 | 0.000 % |
28.87/28.94 c | 83605 | 3890 16681 50709 | 2147483647 79099 102 | 0.000 % |
28.97/29.08 c | 83838 | 3890 16681 50709 | 2147483647 79332 102 | 0.000 % |
29.17/29.23 c | 84094 | 3890 16681 50709 | 2147483647 79588 102 | 0.000 % |
29.37/29.43 c | 84377 | 3890 16681 50709 | 2147483647 79871 102 | 0.000 % |
29.57/29.64 c | 84688 | 3890 16681 50709 | 2147483647 80182 102 | 0.000 % |
29.77/29.86 c | 85029 | 3890 16681 50709 | 2147483647 80523 102 | 0.000 % |
29.97/30.09 c | 85402 | 3890 16681 50709 | 2147483647 80896 102 | 0.000 % |
30.26/30.36 c | 85812 | 3890 16681 50709 | 2147483647 81306 102 | 0.000 % |
30.56/30.64 c | 86262 | 3890 16681 50709 | 2147483647 81756 102 | 0.000 % |
30.86/30.93 c | 86755 | 3890 16681 50709 | 2147483647 82249 102 | 0.000 % |
31.16/31.22 c | 87297 | 3890 16681 50709 | 2147483647 82791 102 | 0.000 % |
31.56/31.60 c | 87893 | 3890 16681 50709 | 2147483647 83387 102 | 0.000 % |
31.86/32.00 c | 88549 | 3890 16681 50709 | 2147483647 84043 102 | 0.000 % |
32.37/32.44 c | 89270 | 3890 16681 50709 | 2147483647 84764 102 | 0.000 % |
32.87/32.94 c | 90062 | 3890 16681 50709 | 2147483647 85556 102 | 0.000 % |
33.36/33.49 c | 90933 | 3890 16681 50709 | 2147483647 86427 102 | 0.000 % |
34.07/34.10 c | 91891 | 3890 16681 50709 | 2147483647 87385 102 | 0.000 % |
34.66/34.77 c | 92944 | 3890 16681 50709 | 2147483647 88438 102 | 0.000 % |
34.76/34.83 c | 93044 | 3890 16681 50709 | 2147483647 88538 102 | 0.000 % |
34.86/34.93 c | 93154 | 3890 16681 50709 | 2147483647 88648 102 | 0.000 % |
34.96/35.02 c | 93276 | 3890 16681 50709 | 2147483647 88770 102 | 0.000 % |
35.07/35.11 c | 93411 | 3890 16681 50709 | 2147483647 88905 102 | 0.000 % |
35.17/35.22 c | 93558 | 3890 16681 50709 | 2147483647 89052 102 | 0.000 % |
35.26/35.36 c | 93720 | 3890 16681 50709 | 2147483647 89214 102 | 0.000 % |
35.36/35.49 c | 93896 | 3890 16681 50709 | 2147483647 89390 102 | 0.000 % |
35.56/35.65 c | 94090 | 3890 16681 50709 | 2147483647 89584 102 | 0.000 % |
35.76/35.83 c | 94303 | 3890 16681 50709 | 2147483647 89797 102 | 0.000 % |
35.86/35.99 c | 94536 | 3890 16681 50709 | 2147483647 90030 102 | 0.000 % |
36.06/36.19 c | 94792 | 3890 16681 50709 | 2147483647 90286 102 | 0.000 % |
36.26/36.39 c | 95073 | 3890 16681 50709 | 2147483647 90567 102 | 0.000 % |
36.56/36.62 c | 95384 | 3890 16681 50709 | 2147483647 90878 102 | 0.000 % |
36.76/36.84 c | 95723 | 3890 16681 50709 | 2147483647 91217 102 | 0.000 % |
36.96/37.09 c | 96095 | 3890 16681 50709 | 2147483647 91589 102 | 0.000 % |
37.26/37.40 c | 96504 | 3890 16681 50709 | 2147483647 91998 102 | 0.000 % |
37.66/37.73 c | 96953 | 3890 16681 50709 | 2147483647 92447 102 | 0.000 % |
37.96/38.05 c | 97446 | 3890 16681 50709 | 2147483647 92940 102 | 0.000 % |
38.37/38.43 c | 97988 | 3890 16681 50709 | 2147483647 93482 102 | 0.000 % |
38.76/38.84 c | 98585 | 3890 16681 50709 | 2147483647 94079 102 | 0.000 % |
39.16/39.29 c | 99241 | 3890 16681 50709 | 2147483647 94735 102 | 0.000 % |
39.66/39.76 c | 99961 | 3890 16681 50709 | 2147483647 95455 102 | 0.000 % |
40.26/40.31 c | 100753 | 3890 16681 50709 | 2147483647 96247 102 | 0.000 % |
40.86/40.91 c | 101624 | 3890 16681 50709 | 2147483647 97118 102 | 0.000 % |
41.46/41.58 c | 102582 | 3890 16681 50709 | 2147483647 98076 102 | 0.000 % |
42.26/42.35 c | 103635 | 3890 16681 50709 | 2147483647 99129 102 | 0.000 % |
42.96/43.09 c | 104795 | 3890 16681 50709 | 2147483647 100289 103 | 0.000 % |
43.06/43.18 c | 104897 | 3890 16681 50709 | 2147483647 100391 103 | 0.000 % |
43.16/43.26 c | 105008 | 3890 16681 50709 | 2147483647 100502 103 | 0.000 % |
43.26/43.38 c | 105130 | 3890 16681 50709 | 2147483647 100624 103 | 0.000 % |
43.36/43.49 c | 105265 | 3890 16681 50709 | 2147483647 100759 103 | 0.000 % |
43.56/43.60 c | 105411 | 3890 16681 50709 | 2147483647 100905 103 | 0.000 % |
43.66/43.73 c | 105571 | 3890 16681 50709 | 2147483647 101065 103 | 0.000 % |
43.76/43.88 c | 105748 | 3890 16681 50709 | 2147483647 101242 103 | 0.000 % |
43.96/44.02 c | 105941 | 3890 16681 50709 | 2147483647 101435 103 | 0.000 % |
44.16/44.20 c | 106154 | 3890 16681 50709 | 2147483647 101648 102 | 0.000 % |
44.26/44.39 c | 106388 | 3890 16681 50709 | 2147483647 101882 102 | 0.000 % |
44.45/44.57 c | 106644 | 3890 16681 50709 | 2147483647 102138 102 | 0.000 % |
44.65/44.76 c | 106926 | 3890 16681 50709 | 2147483647 102420 102 | 0.000 % |
44.85/44.98 c | 107237 | 3890 16681 50709 | 2147483647 102731 103 | 0.000 % |
45.16/45.25 c | 107576 | 3890 16681 50709 | 2147483647 103070 103 | 0.000 % |
45.46/45.53 c | 107948 | 3890 16681 50709 | 2147483647 103442 103 | 0.000 % |
45.76/45.83 c | 108357 | 3890 16681 50709 | 2147483647 103851 103 | 0.000 % |
46.06/46.16 c | 108806 | 3890 16681 50709 | 2147483647 104300 103 | 0.000 % |
46.46/46.55 c | 109302 | 3890 16681 50709 | 2147483647 104796 103 | 0.000 % |
46.86/46.97 c | 109844 | 3890 16681 50709 | 2147483647 105338 103 | 0.000 % |
47.35/47.42 c | 110441 | 3890 16681 50709 | 2147483647 105935 103 | 0.000 % |
47.85/47.91 c | 111099 | 3890 16681 50709 | 2147483647 106593 103 | 0.000 % |
48.36/48.45 c | 111821 | 3890 16681 50709 | 2147483647 107315 103 | 0.000 % |
48.96/49.03 c | 112615 | 3890 16681 50709 | 2147483647 108109 103 | 0.000 % |
49.56/49.67 c | 113486 | 3890 16681 50709 | 2147483647 108980 103 | 0.000 % |
50.36/50.40 c | 114446 | 3890 16681 50709 | 2147483647 109940 103 | 0.000 % |
51.05/51.16 c | 115499 | 3890 16681 50709 | 2147483647 110993 103 | 0.000 % |
51.86/52.00 c | 116658 | 3890 16681 50709 | 2147483647 112152 103 | 0.000 % |
52.85/52.97 c | 117932 | 3890 16681 50709 | 2147483647 113426 104 | 0.000 % |
52.95/53.05 c | 118032 | 3890 16681 50709 | 2147483647 113526 104 | 0.000 % |
53.05/53.17 c | 118142 | 3890 16681 50709 | 2147483647 113636 104 | 0.000 % |
53.15/53.29 c | 118264 | 3890 16681 50709 | 2147483647 113758 104 | 0.000 % |
53.35/53.42 c | 118399 | 3890 16681 50709 | 2147483647 113893 104 | 0.000 % |
53.45/53.56 c | 118545 | 3890 16681 50709 | 2147483647 114039 104 | 0.000 % |
53.65/53.72 c | 118706 | 3890 16681 50709 | 2147483647 114200 104 | 0.000 % |
53.76/53.88 c | 118882 | 3890 16681 50709 | 2147483647 114376 104 | 0.000 % |
53.95/54.06 c | 119075 | 3890 16681 50709 | 2147483647 114569 104 | 0.000 % |
54.15/54.26 c | 119287 | 3890 16681 50709 | 2147483647 114781 104 | 0.000 % |
54.35/54.48 c | 119520 | 3890 16681 50709 | 2147483647 115014 104 | 0.000 % |
54.66/54.73 c | 119776 | 3890 16681 50709 | 2147483647 115270 104 | 0.000 % |
54.86/54.96 c | 120058 | 3890 16681 50709 | 2147483647 115552 104 | 0.000 % |
55.16/55.25 c | 120367 | 3890 16681 50709 | 2147483647 115861 104 | 0.000 % |
55.46/55.56 c | 120711 | 3890 16681 50709 | 2147483647 116205 104 | 0.000 % |
55.76/55.89 c | 121084 | 3890 16681 50709 | 2147483647 116578 104 | 0.000 % |
56.16/56.24 c | 121494 | 3890 16681 50709 | 2147483647 116988 104 | 0.000 % |
56.56/56.62 c | 121943 | 3890 16681 50709 | 2147483647 117437 104 | 0.000 % |
56.96/57.03 c | 122436 | 3890 16681 50709 | 2147483647 117930 104 | 0.000 % |
57.36/57.47 c | 122979 | 3890 16681 50709 | 2147483647 118473 104 | 0.000 % |
57.85/57.97 c | 123575 | 3890 16681 50709 | 2147483647 119069 104 | 0.000 % |
58.45/58.54 c | 124231 | 3890 16681 50709 | 2147483647 119725 104 | 0.000 % |
59.05/59.13 c | 124951 | 3890 16681 50709 | 2147483647 120445 104 | 0.000 % |
59.66/59.78 c | 125744 | 3890 16681 50709 | 2147483647 121238 104 | 0.000 % |
60.46/60.53 c | 126616 | 3890 16681 50709 | 2147483647 122110 104 | 0.000 % |
61.26/61.31 c | 127574 | 3890 16681 50709 | 2147483647 123068 104 | 0.000 % |
62.15/62.21 c | 128627 | 3890 16681 50709 | 2147483647 124121 104 | 0.000 % |
63.15/63.22 c | 129785 | 3890 16681 50709 | 2147483647 125279 104 | 0.000 % |
64.25/64.31 c | 131061 | 3890 16681 50709 | 2147483647 126555 104 | 0.000 % |
65.35/65.47 c | 132461 | 3890 16681 50709 | 2147483647 127955 105 | 0.000 % |
65.45/65.58 c | 132562 | 3890 16681 50709 | 2147483647 128056 105 | 0.000 % |
65.65/65.72 c | 132672 | 3890 16681 50709 | 2147483647 128166 105 | 0.000 % |
65.75/65.84 c | 132793 | 3890 16681 50709 | 2147483647 128287 105 | 0.000 % |
65.85/65.99 c | 132927 | 3890 16681 50709 | 2147483647 128421 104 | 0.000 % |
66.05/66.14 c | 133073 | 3890 16681 50709 | 2147483647 128567 104 | 0.000 % |
66.25/66.32 c | 133236 | 3890 16681 50709 | 2147483647 128730 104 | 0.000 % |
66.35/66.50 c | 133413 | 3890 16681 50709 | 2147483647 128907 104 | 0.000 % |
66.56/66.67 c | 133606 | 3890 16681 50709 | 2147483647 129100 104 | 0.000 % |
66.76/66.87 c | 133818 | 3890 16681 50709 | 2147483647 129312 104 | 0.000 % |
67.06/67.10 c | 134051 | 3890 16681 50709 | 2147483647 129545 104 | 0.000 % |
67.26/67.37 c | 134307 | 3890 16681 50709 | 2147483647 129801 104 | 0.000 % |
67.56/67.61 c | 134588 | 3890 16681 50709 | 2147483647 130082 104 | 0.000 % |
67.76/67.89 c | 134898 | 3890 16681 50709 | 2147483647 130392 104 | 0.000 % |
68.06/68.16 c | 135237 | 3890 16681 50709 | 2147483647 130731 104 | 0.000 % |
68.46/68.53 c | 135610 | 3890 16681 50709 | 2147483647 131104 104 | 0.000 % |
68.85/68.91 c | 136019 | 3890 16681 50709 | 2147483647 131513 104 | 0.000 % |
69.25/69.34 c | 136468 | 3890 16681 50709 | 2147483647 131962 104 | 0.000 % |
69.65/69.79 c | 136962 | 3890 16681 50709 | 2147483647 132456 104 | 0.000 % |
70.26/70.32 c | 137504 | 3890 16681 50709 | 2147483647 132998 104 | 0.000 % |
70.86/70.90 c | 138100 | 3890 16681 50709 | 2147483647 133594 104 | 0.000 % |
71.36/71.50 c | 138755 | 3890 16681 50709 | 2147483647 134249 104 | 0.000 % |
72.06/72.14 c | 139475 | 3890 16681 50709 | 2147483647 134969 104 | 0.000 % |
72.75/72.87 c | 140267 | 3890 16681 50709 | 2147483647 135761 104 | 0.000 % |
73.66/73.71 c | 141138 | 3890 16681 50709 | 2147483647 136632 104 | 0.000 % |
74.55/74.61 c | 142096 | 3890 16681 50709 | 2147483647 137590 104 | 0.000 % |
75.65/75.72 c | 143151 | 3890 16681 50709 | 2147483647 138645 104 | 0.000 % |
76.65/76.79 c | 144311 | 3890 16681 50709 | 2147483647 139805 104 | 0.000 % |
77.95/78.03 c | 145585 | 3890 16681 50709 | 2147483647 141079 105 | 0.000 % |
79.35/79.40 c | 146985 | 3890 16681 50709 | 2147483647 142479 105 | 0.000 % |
80.64/80.78 c | 148525 | 3890 16681 50709 | 2147483647 144019 105 | 0.000 % |
80.84/80.91 c | 148626 | 3890 16681 50709 | 2147483647 144120 105 | 0.000 % |
80.94/81.02 c | 148736 | 3890 16681 50709 | 2147483647 144230 105 | 0.000 % |
81.04/81.17 c | 148859 | 3890 16681 50709 | 2147483647 144353 105 | 0.000 % |
81.25/81.33 c | 148994 | 3890 16681 50709 | 2147483647 144488 105 | 0.000 % |
81.35/81.49 c | 149142 | 3890 16681 50709 | 2147483647 144636 105 | 0.000 % |
81.54/81.68 c | 149302 | 3890 16681 50709 | 2147483647 144796 105 | 0.000 % |
81.74/81.88 c | 149481 | 3890 16681 50709 | 2147483647 144975 105 | 0.000 % |
81.94/82.09 c | 149674 | 3890 16681 50709 | 2147483647 145168 105 | 0.000 % |
82.24/82.34 c | 149886 | 3890 16681 50709 | 2147483647 145380 105 | 0.000 % |
82.45/82.59 c | 150119 | 3890 16681 50709 | 2147483647 145613 105 | 0.000 % |
82.74/82.86 c | 150376 | 3890 16681 50709 | 2147483647 145870 105 | 0.000 % |
83.05/83.13 c | 150658 | 3890 16681 50709 | 2147483647 146152 105 | 0.000 % |
83.35/83.46 c | 150969 | 3890 16681 50709 | 2147483647 146463 105 | 0.000 % |
83.65/83.77 c | 151308 | 3890 16681 50709 | 2147483647 146802 105 | 0.000 % |
84.05/84.14 c | 151681 | 3890 16681 50709 | 2147483647 147175 105 | 0.000 % |
84.45/84.56 c | 152091 | 3890 16681 50709 | 2147483647 147585 105 | 0.000 % |
84.95/85.01 c | 152540 | 3890 16681 50709 | 2147483647 148034 105 | 0.000 % |
85.45/85.50 c | 153033 | 3890 16681 50709 | 2147483647 148527 105 | 0.000 % |
86.05/86.10 c | 153575 | 3890 16681 50709 | 2147483647 149069 105 | 0.000 % |
86.65/86.70 c | 154171 | 3890 16681 50709 | 2147483647 149665 105 | 0.000 % |
87.25/87.37 c | 154828 | 3890 16681 50709 | 2147483647 150322 105 | 0.000 % |
88.05/88.12 c | 155548 | 3890 16681 50709 | 2147483647 151042 105 | 0.000 % |
88.85/89.00 c | 156341 | 3890 16681 50709 | 2147483647 151835 105 | 0.000 % |
89.75/89.83 c | 157212 | 3890 16681 50709 | 2147483647 152706 105 | 0.000 % |
90.75/90.84 c | 158170 | 3890 16681 50709 | 2147483647 153664 105 | 0.000 % |
91.75/91.86 c | 159225 | 3890 16681 50709 | 2147483647 154719 105 | 0.000 % |
92.95/93.02 c | 160383 | 3890 16681 50709 | 2147483647 155877 105 | 0.000 % |
94.24/94.33 c | 161659 | 3890 16681 50709 | 2147483647 157153 105 | 0.000 % |
95.74/95.81 c | 163059 | 3890 16681 50709 | 2147483647 158553 105 | 0.000 % |
97.35/97.40 c | 164600 | 3890 16681 50709 | 2147483647 160094 106 | 0.000 % |
99.04/99.19 c | 166294 | 3890 16681 50709 | 2147483647 161788 106 | 0.000 % |
99.24/99.32 c | 166394 | 3890 16681 50709 | 2147483647 161888 106 | 0.000 % |
99.34/99.45 c | 166506 | 3890 16681 50709 | 2147483647 162000 106 | 0.000 % |
99.54/99.65 c | 166628 | 3890 16681 50709 | 2147483647 162122 106 | 0.000 % |
99.74/99.81 c | 166762 | 3890 16681 50709 | 2147483647 162256 106 | 0.000 % |
99.84/99.98 c | 166908 | 3890 16681 50709 | 2147483647 162402 106 | 0.000 % |
100.14/100.21 c | 167068 | 3890 16681 50709 | 2147483647 162562 106 | 0.000 % |
100.34/100.45 c | 167244 | 3890 16681 50709 | 2147483647 162738 106 | 0.000 % |
100.54/100.66 c | 167438 | 3890 16681 50709 | 2147483647 162932 106 | 0.000 % |
100.84/100.92 c | 167650 | 3890 16681 50709 | 2147483647 163144 106 | 0.000 % |
101.14/101.21 c | 167883 | 3890 16681 50709 | 2147483647 163377 106 | 0.000 % |
101.34/101.48 c | 168139 | 3890 16681 50709 | 2147483647 163633 106 | 0.000 % |
101.74/101.81 c | 168421 | 3890 16681 50709 | 2147483647 163915 106 | 0.000 % |
102.05/102.17 c | 168730 | 3890 16681 50709 | 2147483647 164224 106 | 0.000 % |
102.44/102.56 c | 169073 | 3890 16681 50709 | 2147483647 164567 106 | 0.000 % |
102.94/103.06 c | 169445 | 3890 16681 50709 | 2147483647 164939 106 | 0.000 % |
103.44/103.55 c | 169854 | 3890 16681 50709 | 2147483647 165348 106 | 0.000 % |
103.94/104.05 c | 170303 | 3890 16681 50709 | 2147483647 165797 106 | 0.000 % |
104.54/104.62 c | 170799 | 3890 16681 50709 | 2147483647 166293 105 | 0.000 % |
105.14/105.23 c | 171342 | 3890 16681 50709 | 2147483647 166836 105 | 0.000 % |
105.74/105.90 c | 171938 | 3890 16681 50709 | 2147483647 167432 105 | 0.000 % |
106.44/106.59 c | 172593 | 3890 16681 50709 | 2147483647 168087 106 | 0.000 % |
107.34/107.48 c | 173314 | 3890 16681 50709 | 2147483647 168808 106 | 0.000 % |
108.14/108.28 c | 174106 | 3890 16681 50709 | 2147483647 169600 106 | 0.000 % |
109.24/109.30 c | 174977 | 3890 16681 50709 | 2147483647 170471 106 | 0.000 % |
110.34/110.40 c | 175937 | 3890 16681 50709 | 2147483647 171431 106 | 0.000 % |
111.44/111.55 c | 176991 | 3890 16681 50709 | 2147483647 172485 106 | 0.000 % |
112.83/112.93 c | 178149 | 3890 16681 50709 | 2147483647 173643 106 | 0.000 % |
114.25/114.37 c | 179424 | 3890 16681 50709 | 2147483647 174918 106 | 0.000 % |
115.84/115.91 c | 180824 | 3890 16681 50709 | 2147483647 176318 106 | 0.000 % |
117.44/117.51 c | 182365 | 3890 16681 50709 | 2147483647 177859 106 | 0.000 % |
119.23/119.36 c | 184059 | 3890 16681 50709 | 2147483647 179553 106 | 0.000 % |
121.34/121.43 c | 185923 | 3890 16681 50709 | 2147483647 181417 106 | 0.000 % |
121.44/121.55 c | 186023 | 3890 16681 50709 | 2147483647 181517 106 | 0.000 % |
121.64/121.73 c | 186133 | 3890 16681 50709 | 2147483647 181627 106 | 0.000 % |
121.84/121.91 c | 186255 | 3890 16681 50709 | 2147483647 181749 106 | 0.000 % |
122.04/122.10 c | 186389 | 3890 16681 50709 | 2147483647 181883 106 | 0.000 % |
122.23/122.30 c | 186535 | 3890 16681 50709 | 2147483647 182029 106 | 0.000 % |
122.43/122.53 c | 186696 | 3890 16681 50709 | 2147483647 182190 106 | 0.000 % |
122.63/122.77 c | 186873 | 3890 16681 50709 | 2147483647 182367 106 | 0.000 % |
122.93/123.06 c | 187066 | 3890 16681 50709 | 2147483647 182560 106 | 0.000 % |
123.23/123.38 c | 187278 | 3890 16681 50709 | 2147483647 182772 106 | 0.000 % |
123.53/123.67 c | 187511 | 3890 16681 50709 | 2147483647 183005 106 | 0.000 % |
123.93/124.05 c | 187768 | 3890 16681 50709 | 2147483647 183262 106 | 0.000 % |
124.33/124.43 c | 188049 | 3890 16681 50709 | 2147483647 183543 106 | 0.000 % |
124.73/124.86 c | 188358 | 3890 16681 50709 | 2147483647 183852 106 | 0.000 % |
125.13/125.29 c | 188698 | 3890 16681 50709 | 2147483647 184192 106 | 0.000 % |
125.63/125.75 c | 189074 | 3890 16681 50709 | 2147483647 184568 106 | 0.000 % |
126.23/126.33 c | 189483 | 3890 16681 50709 | 2147483647 184977 106 | 0.000 % |
126.73/126.88 c | 189934 | 3890 16681 50709 | 2147483647 185428 106 | 0.000 % |
127.33/127.47 c | 190428 | 3890 16681 50709 | 2147483647 185922 106 | 0.000 % |
127.93/128.09 c | 190970 | 3890 16681 50709 | 2147483647 186464 106 | 0.000 % |
128.63/128.78 c | 191566 | 3890 16681 50709 | 2147483647 187060 106 | 0.000 % |
129.64/129.70 c | 192221 | 3890 16681 50709 | 2147483647 187715 106 | 0.000 % |
130.44/130.52 c | 192942 | 3890 16681 50709 | 2147483647 188436 106 | 0.000 % |
131.34/131.48 c | 193734 | 3890 16681 50709 | 2147483647 189228 106 | 0.000 % |
132.43/132.57 c | 194610 | 3890 16681 50709 | 2147483647 190104 106 | 0.000 % |
133.53/133.69 c | 195569 | 3890 16681 50709 | 2147483647 191063 106 | 0.000 % |
135.03/135.14 c | 196624 | 3890 16681 50709 | 2147483647 192118 106 | 0.000 % |
136.53/136.67 c | 197782 | 3890 16681 50709 | 2147483647 193276 106 | 0.000 % |
138.23/138.30 c | 199055 | 3890 16681 50709 | 2147483647 194549 106 | 0.000 % |
139.93/140.02 c | 200456 | 3890 16681 50709 | 2147483647 195950 106 | 0.000 % |
141.73/141.88 c | 201997 | 3890 16681 50709 | 2147483647 197491 107 | 0.000 % |
143.83/143.91 c | 203692 | 3890 16681 50709 | 2147483647 199186 107 | 0.000 % |
146.02/146.15 c | 205557 | 3890 16681 50709 | 2147483647 201051 107 | 0.000 % |
148.73/148.85 c | 207606 | 3890 16681 50709 | 2147483647 203100 107 | 0.000 % |
148.93/149.02 c | 207710 | 3890 16681 50709 | 2147483647 203204 107 | 0.000 % |
149.13/149.20 c | 207821 | 3890 16681 50709 | 2147483647 203315 107 | 0.000 % |
149.33/149.43 c | 207942 | 3890 16681 50709 | 2147483647 203436 107 | 0.000 % |
149.53/149.67 c | 208077 | 3890 16681 50709 | 2147483647 203571 107 | 0.000 % |
149.83/149.91 c | 208224 | 3890 16681 50709 | 2147483647 203718 107 | 0.000 % |
150.03/150.15 c | 208384 | 3890 16681 50709 | 2147483647 203878 107 | 0.000 % |
150.32/150.44 c | 208561 | 3890 16681 50709 | 2147483647 204055 107 | 0.000 % |
150.63/150.71 c | 208754 | 3890 16681 50709 | 2147483647 204248 107 | 0.000 % |
150.92/151.03 c | 208966 | 3890 16681 50709 | 2147483647 204460 107 | 0.000 % |
151.32/151.40 c | 209200 | 3890 16681 50709 | 2147483647 204694 107 | 0.000 % |
151.63/151.79 c | 209456 | 3890 16681 50709 | 2147483647 204950 107 | 0.000 % |
152.12/152.21 c | 209739 | 3890 16681 50709 | 2147483647 205233 107 | 0.000 % |
152.52/152.64 c | 210049 | 3890 16681 50709 | 2147483647 205543 107 | 0.000 % |
153.02/153.16 c | 210390 | 3890 16681 50709 | 2147483647 205884 107 | 0.000 % |
153.53/153.68 c | 210762 | 3890 16681 50709 | 2147483647 206256 107 | 0.000 % |
154.13/154.28 c | 211176 | 3890 16681 50709 | 2147483647 206670 107 | 0.000 % |
154.72/154.88 c | 211625 | 3890 16681 50709 | 2147483647 207119 107 | 0.000 % |
155.42/155.59 c | 212118 | 3890 16681 50709 | 2147483647 207612 107 | 0.000 % |
156.22/156.36 c | 212660 | 3890 16681 50709 | 2147483647 208154 107 | 0.000 % |
157.13/157.21 c | 213256 | 3890 16681 50709 | 2147483647 208750 107 | 0.000 % |
158.02/158.10 c | 213912 | 3890 16681 50709 | 2147483647 209406 107 | 0.000 % |
158.92/159.02 c | 214632 | 3890 16681 50709 | 2147483647 210126 107 | 0.000 % |
159.93/160.02 c | 215424 | 3890 16681 50709 | 2147483647 210918 107 | 0.000 % |
161.03/161.13 c | 216295 | 3890 16681 50709 | 2147483647 211789 107 | 0.000 % |
162.22/162.37 c | 217254 | 3890 16681 50709 | 2147483647 212748 107 | 0.000 % |
163.73/163.81 c | 218307 | 3890 16681 50709 | 2147483647 213801 107 | 0.000 % |
165.22/165.38 c | 219468 | 3890 16681 50709 | 2147483647 214962 107 | 0.000 % |
167.22/167.33 c | 220743 | 3890 16681 50709 | 215494 192368 107 | 0.000 % |
169.02/169.18 c | 222144 | 3890 16681 50709 | 215494 193769 107 | 0.000 % |
171.02/171.14 c | 223684 | 3890 16681 50709 | 215494 195309 107 | 0.000 % |
173.12/173.24 c | 225378 | 3890 16681 50709 | 215494 197003 107 | 0.000 % |
175.42/175.51 c | 227242 | 3890 16681 50709 | 215494 198867 107 | 0.000 % |
178.02/178.10 c | 229291 | 3890 16681 50709 | 215494 200916 107 | 0.000 % |
180.71/180.84 c | 231544 | 3890 16681 50709 | 2147483647 203169 107 | 0.000 % |
180.92/181.01 c | 231645 | 3890 16681 50709 | 2147483647 203270 107 | 0.000 % |
181.02/181.16 c | 231755 | 3890 16681 50709 | 2147483647 203380 107 | 0.000 % |
181.22/181.35 c | 231878 | 3890 16681 50709 | 2147483647 203503 107 | 0.000 % |
181.42/181.57 c | 232013 | 3890 16681 50709 | 2147483647 203638 107 | 0.000 % |
181.72/181.85 c | 232160 | 3890 16681 50709 | 2147483647 203785 107 | 0.000 % |
182.01/182.12 c | 232320 | 3890 16681 50709 | 2147483647 203945 107 | 0.000 % |
182.21/182.37 c | 232498 | 3890 16681 50709 | 2147483647 204123 107 | 0.000 % |
182.61/182.71 c | 232691 | 3890 16681 50709 | 2147483647 204316 107 | 0.000 % |
182.91/183.04 c | 232907 | 3890 16681 50709 | 2147483647 204532 107 | 0.000 % |
183.31/183.40 c | 233140 | 3890 16681 50709 | 2147483647 204765 107 | 0.000 % |
183.62/183.78 c | 233398 | 3890 16681 50709 | 2147483647 205023 107 | 0.000 % |
184.11/184.20 c | 233679 | 3890 16681 50709 | 2147483647 205304 107 | 0.000 % |
184.51/184.67 c | 233988 | 3890 16681 50709 | 2147483647 205613 107 | 0.000 % |
185.01/185.12 c | 234328 | 3890 16681 50709 | 2147483647 205953 107 | 0.000 % |
185.51/185.66 c | 234703 | 3890 16681 50709 | 2147483647 206328 107 | 0.000 % |
186.11/186.20 c | 235112 | 3890 16681 50709 | 2147483647 206737 107 | 0.000 % |
186.61/186.78 c | 235561 | 3890 16681 50709 | 2147483647 207186 107 | 0.000 % |
187.41/187.52 c | 236054 | 3890 16681 50709 | 2147483647 207679 107 | 0.000 % |
188.21/188.31 c | 236597 | 3890 16681 50709 | 2147483647 208222 107 | 0.000 % |
189.11/189.21 c | 237193 | 3890 16681 50709 | 2147483647 208818 107 | 0.000 % |
190.01/190.10 c | 237849 | 3890 16681 50709 | 2147483647 209474 107 | 0.000 % |
191.01/191.15 c | 238570 | 3890 16681 50709 | 2147483647 210195 107 | 0.000 % |
192.11/192.22 c | 239364 | 3890 16681 50709 | 2147483647 210989 107 | 0.000 % |
193.21/193.36 c | 240237 | 3890 16681 50709 | 211626 211862 107 | 0.000 % |
194.71/194.80 c | 241197 | 3890 16681 50709 | 211626 188569 108 | 0.000 % |
195.91/196.04 c | 242250 | 3890 16681 50709 | 211626 189622 108 | 0.000 % |
197.31/197.49 c | 243408 | 3890 16681 50709 | 211626 190780 108 | 0.000 % |
198.91/199.03 c | 244682 | 3890 16681 50709 | 211626 192054 108 | 0.000 % |
200.60/200.70 c | 246083 | 3890 16681 50709 | 211626 193455 108 | 0.000 % |
202.40/202.57 c | 247626 | 3890 16681 50709 | 211626 194998 108 | 0.000 % |
204.51/204.67 c | 249321 | 3890 16681 50709 | 211626 196693 108 | 0.000 % |
206.80/206.99 c | 251185 | 3890 16681 50709 | 2147483647 198557 108 | 0.000 % |
209.40/209.53 c | 253235 | 3890 16681 50709 | 2147483647 200607 108 | 0.000 % |
212.00/212.10 c | 255488 | 3890 16681 50709 | 2147483647 202860 109 | 0.000 % |
215.10/215.25 c | 257969 | 3890 16681 50709 | 2147483647 205341 109 | 0.000 % |
215.30/215.42 c | 258070 | 3890 16681 50709 | 2147483647 205442 109 | 0.000 % |
215.51/215.64 c | 258180 | 3890 16681 50709 | 2147483647 205552 109 | 0.000 % |
215.70/215.84 c | 258302 | 3890 16681 50709 | 2147483647 205674 109 | 0.000 % |
215.90/216.04 c | 258435 | 3890 16681 50709 | 2147483647 205807 109 | 0.000 % |
216.10/216.27 c | 258583 | 3890 16681 50709 | 2147483647 205955 109 | 0.000 % |
216.40/216.55 c | 258743 | 3890 16681 50709 | 2147483647 206115 109 | 0.000 % |
216.70/216.80 c | 258919 | 3890 16681 50709 | 2147483647 206291 109 | 0.000 % |
216.90/217.08 c | 259112 | 3890 16681 50709 | 2147483647 206484 109 | 0.000 % |
217.20/217.39 c | 259327 | 3890 16681 50709 | 2147483647 206699 109 | 0.000 % |
217.60/217.71 c | 259561 | 3890 16681 50709 | 2147483647 206933 109 | 0.000 % |
218.00/218.10 c | 259817 | 3890 16681 50709 | 2147483647 207189 109 | 0.000 % |
218.40/218.52 c | 260098 | 3890 16681 50709 | 2147483647 207470 109 | 0.000 % |
218.90/219.01 c | 260408 | 3890 16681 50709 | 2147483647 207780 109 | 0.000 % |
219.40/219.51 c | 260747 | 3890 16681 50709 | 2147483647 208119 109 | 0.000 % |
219.90/220.04 c | 261119 | 3890 16681 50709 | 2147483647 208491 109 | 0.000 % |
220.50/220.66 c | 261528 | 3890 16681 50709 | 2147483647 208900 109 | 0.000 % |
221.30/221.40 c | 261980 | 3890 16681 50709 | 2147483647 209352 109 | 0.000 % |
222.00/222.14 c | 262473 | 3890 16681 50709 | 2147483647 209845 108 | 0.000 % |
222.80/222.97 c | 263015 | 3890 16681 50709 | 2147483647 210387 109 | 0.000 % |
223.70/223.89 c | 263611 | 3890 16681 50709 | 2147483647 210983 108 | 0.000 % |
224.70/224.86 c | 264266 | 3890 16681 50709 | 2147483647 211638 108 | 0.000 % |
225.59/225.77 c | 264987 | 3890 16681 50709 | 2147483647 212359 109 | 0.000 % |
226.69/226.83 c | 265779 | 3890 16681 50709 | 2147483647 213151 109 | 0.000 % |
227.90/228.04 c | 266652 | 3890 16681 50709 | 2147483647 214024 109 | 0.000 % |
229.10/229.25 c | 267610 | 3890 16681 50709 | 2147483647 214982 109 | 0.000 % |
230.50/230.62 c | 268663 | 3890 16681 50709 | 2147483647 216035 109 | 0.000 % |
232.10/232.22 c | 269822 | 3890 16681 50709 | 2147483647 217194 109 | 0.000 % |
234.00/234.14 c | 271095 | 3890 16681 50709 | 217372 193849 109 | 0.000 % |
236.00/236.10 c | 272496 | 3890 16681 50709 | 217372 195250 109 | 0.000 % |
237.89/238.03 c | 274037 | 3890 16681 50709 | 217372 196791 109 | 0.000 % |
240.09/240.25 c | 275731 | 3890 16681 50709 | 217372 198485 109 | 0.000 % |
242.39/242.52 c | 277594 | 3890 16681 50709 | 217372 200348 109 | 0.000 % |
245.10/245.29 c | 279644 | 3890 16681 50709 | 217372 202398 109 | 0.000 % |
248.29/248.42 c | 281899 | 3890 16681 50709 | 202756 183224 109 | 0.000 % |
251.19/251.39 c | 284379 | 3890 16681 50709 | 202756 185704 109 | 0.000 % |
254.39/254.53 c | 287104 | 3890 16681 50709 | 202756 188429 109 | 0.000 % |
254.49/254.69 c | 287206 | 3890 16681 50709 | 202756 188531 109 | 0.000 % |
254.69/254.85 c | 287316 | 3890 16681 50709 | 202756 188641 109 | 0.000 % |
254.89/255.02 c | 287438 | 3890 16681 50709 | 202756 188763 109 | 0.000 % |
255.09/255.23 c | 287571 | 3890 16681 50709 | 202756 188896 109 | 0.000 % |
255.29/255.44 c | 287717 | 3890 16681 50709 | 202756 189042 109 | 0.000 % |
255.59/255.70 c | 287877 | 3890 16681 50709 | 202756 189202 109 | 0.000 % |
255.79/255.96 c | 288053 | 3890 16681 50709 | 202756 189378 109 | 0.000 % |
256.09/256.27 c | 288246 | 3890 16681 50709 | 202756 189571 109 | 0.000 % |
256.39/256.57 c | 288458 | 3890 16681 50709 | 202756 189783 109 | 0.000 % |
256.79/256.90 c | 288691 | 3890 16681 50709 | 202756 190016 109 | 0.000 % |
257.09/257.23 c | 288948 | 3890 16681 50709 | 202756 190273 109 | 0.000 % |
257.49/257.60 c | 289230 | 3890 16681 50709 | 202756 190555 109 | 0.000 % |
257.89/258.03 c | 289539 | 3890 16681 50709 | 202756 190864 109 | 0.000 % |
258.39/258.52 c | 289879 | 3890 16681 50709 | 202756 191204 109 | 0.000 % |
258.89/259.04 c | 290252 | 3890 16681 50709 | 2147483647 191577 109 | 0.000 % |
259.49/259.62 c | 290665 | 3890 16681 50709 | 2147483647 191990 109 | 0.000 % |
260.09/260.25 c | 291117 | 3890 16681 50709 | 2147483647 192442 109 | 0.000 % |
260.79/260.94 c | 291610 | 3890 16681 50709 | 2147483647 192935 109 | 0.000 % |
261.49/261.64 c | 292155 | 3890 16681 50709 | 2147483647 193480 109 | 0.000 % |
262.19/262.38 c | 292752 | 3890 16681 50709 | 2147483647 194077 109 | 0.000 % |
263.19/263.33 c | 293409 | 3890 16681 50709 | 2147483647 194734 109 | 0.000 % |
264.08/264.23 c | 294130 | 3890 16681 50709 | 2147483647 195455 109 | 0.000 % |
265.08/265.27 c | 294926 | 3890 16681 50709 | 2147483647 196251 109 | 0.000 % |
266.29/266.41 c | 295797 | 3890 16681 50709 | 2147483647 197122 109 | 0.000 % |
267.48/267.62 c | 296756 | 3890 16681 50709 | 2147483647 198081 109 | 0.000 % |
268.78/268.95 c | 297809 | 3890 16681 50709 | 2147483647 199134 109 | 0.000 % |
270.18/270.39 c | 298967 | 3890 16681 50709 | 2147483647 200292 109 | 0.000 % |
271.78/271.92 c | 300240 | 3890 16681 50709 | 2147483647 201565 109 | 0.000 % |
273.58/273.74 c | 301641 | 3890 16681 50709 | 2147483647 202966 109 | 0.000 % |
275.58/275.73 c | 303181 | 3890 16681 50709 | 2147483647 204506 109 | 0.000 % |
277.78/277.92 c | 304876 | 3890 16681 50709 | 2147483647 206201 109 | 0.000 % |
279.98/280.18 c | 306741 | 3890 16681 50709 | 2147483647 208066 109 | 0.000 % |
282.78/282.95 c | 308790 | 3890 16681 50709 | 2147483647 210115 109 | 0.000 % |
285.58/285.77 c | 311044 | 3890 16681 50709 | 2147483647 212369 109 | 0.000 % |
288.98/289.14 c | 313522 | 3890 16681 50709 | 2147483647 214847 109 | 0.000 % |
292.68/292.84 c | 316248 | 3890 16681 50709 | 2147483647 217573 110 | 0.000 % |
296.58/296.77 c | 319247 | 3890 16681 50709 | 2147483647 220572 110 | 0.000 % |
296.78/296.95 c | 319347 | 3890 16681 50709 | 2147483647 220672 110 | 0.000 % |
296.98/297.15 c | 319458 | 3890 16681 50709 | 2147483647 220783 110 | 0.000 % |
297.18/297.33 c | 319579 | 3890 16681 50709 | 2147483647 220904 110 | 0.000 % |
297.47/297.60 c | 319712 | 3890 16681 50709 | 2147483647 221037 110 | 0.000 % |
297.67/297.86 c | 319858 | 3890 16681 50709 | 2147483647 221183 110 | 0.000 % |
297.98/298.16 c | 320018 | 3890 16681 50709 | 221328 221343 110 | 0.000 % |
298.47/298.68 c | 320194 | 3890 16681 50709 | 221328 195098 109 | 0.000 % |
298.77/298.95 c | 320387 | 3890 16681 50709 | 221328 195291 109 | 0.000 % |
299.17/299.31 c | 320599 | 3890 16681 50709 | 221328 195503 109 | 0.000 % |
299.47/299.66 c | 320832 | 3890 16681 50709 | 221328 195736 109 | 0.000 % |
299.87/300.01 c | 321088 | 3890 16681 50709 | 221328 195992 109 | 0.000 % |
300.27/300.45 c | 321370 | 3890 16681 50709 | 221328 196274 109 | 0.000 % |
300.77/300.90 c | 321679 | 3890 16681 50709 | 221328 196583 109 | 0.000 % |
301.18/301.33 c | 322018 | 3890 16681 50709 | 221328 196922 109 | 0.000 % |
301.77/301.92 c | 322391 | 3890 16681 50709 | 221328 197295 109 | 0.000 % |
302.27/302.45 c | 322800 | 3890 16681 50709 | 221328 197704 109 | 0.000 % |
302.87/303.01 c | 323250 | 3890 16681 50709 | 221328 198154 109 | 0.000 % |
303.47/303.68 c | 323744 | 3890 16681 50709 | 221328 198648 109 | 0.000 % |
304.17/304.39 c | 324286 | 3890 16681 50709 | 221328 199190 109 | 0.000 % |
304.97/305.16 c | 324884 | 3890 16681 50709 | 221328 199788 109 | 0.000 % |
305.87/306.06 c | 325539 | 3890 16681 50709 | 221328 200443 109 | 0.000 % |
306.87/307.07 c | 326259 | 3890 16681 50709 | 221328 201163 109 | 0.000 % |
307.97/308.17 c | 327051 | 3890 16681 50709 | 221328 201955 109 | 0.000 % |
309.17/309.31 c | 327922 | 3890 16681 50709 | 221328 202826 109 | 0.000 % |
310.37/310.55 c | 328882 | 3890 16681 50709 | 221328 203786 109 | 0.000 % |
311.77/311.92 c | 329938 | 3890 16681 50709 | 221328 204842 109 | 0.000 % |
313.47/313.63 c | 331096 | 3890 16681 50709 | 204906 183571 110 | 0.000 % |
314.97/315.19 c | 332369 | 3890 16681 50709 | 204906 184844 110 | 0.000 % |
316.67/316.84 c | 333769 | 3890 16681 50709 | 204906 186244 110 | 0.000 % |
318.46/318.69 c | 335310 | 3890 16681 50709 | 204906 187785 110 | 0.000 % |
320.56/320.70 c | 337009 | 3890 16681 50709 | 204906 189484 110 | 0.000 % |
322.76/322.95 c | 338875 | 3890 16681 50709 | 204906 191350 110 | 0.000 % |
325.46/325.64 c | 340926 | 3890 16681 50709 | 2147483647 193401 110 | 0.000 % |
328.36/328.57 c | 343179 | 3890 16681 50709 | 2147483647 195654 110 | 0.000 % |
331.26/331.42 c | 345657 | 3890 16681 50709 | 2147483647 198132 110 | 0.000 % |
334.56/334.79 c | 348382 | 3890 16681 50709 | 2147483647 200857 111 | 0.000 % |
338.56/338.72 c | 351380 | 3890 16681 50709 | 2147483647 203855 111 | 0.000 % |
342.86/343.04 c | 354676 | 3890 16681 50709 | 2147483647 207151 111 | 0.000 % |
342.96/343.19 c | 354776 | 3890 16681 50709 | 2147483647 207251 111 | 0.000 % |
343.16/343.37 c | 354887 | 3890 16681 50709 | 2147483647 207362 111 | 0.000 % |
343.36/343.60 c | 355008 | 3890 16681 50709 | 2147483647 207483 111 | 0.000 % |
343.66/343.85 c | 355141 | 3890 16681 50709 | 2147483647 207616 111 | 0.000 % |
343.96/344.11 c | 355287 | 3890 16681 50709 | 2147483647 207762 111 | 0.000 % |
344.16/344.36 c | 355447 | 3890 16681 50709 | 2147483647 207922 111 | 0.000 % |
344.45/344.63 c | 355624 | 3890 16681 50709 | 2147483647 208099 111 | 0.000 % |
344.75/344.94 c | 355817 | 3890 16681 50709 | 2147483647 208292 111 | 0.000 % |
345.05/345.28 c | 356030 | 3890 16681 50709 | 2147483647 208505 111 | 0.000 % |
345.45/345.69 c | 356263 | 3890 16681 50709 | 2147483647 208738 111 | 0.000 % |
345.85/346.05 c | 356520 | 3890 16681 50709 | 2147483647 208995 111 | 0.000 % |
346.26/346.47 c | 356804 | 3890 16681 50709 | 2147483647 209279 111 | 0.000 % |
346.75/346.94 c | 357115 | 3890 16681 50709 | 2147483647 209590 111 | 0.000 % |
347.15/347.39 c | 357456 | 3890 16681 50709 | 2147483647 209931 111 | 0.000 % |
347.75/347.93 c | 357830 | 3890 16681 50709 | 2147483647 210305 111 | 0.000 % |
348.25/348.49 c | 358239 | 3890 16681 50709 | 2147483647 210714 111 | 0.000 % |
348.95/349.11 c | 358689 | 3890 16681 50709 | 2147483647 211164 111 | 0.000 % |
349.56/349.75 c | 359184 | 3890 16681 50709 | 2147483647 211659 111 | 0.000 % |
350.35/350.53 c | 359727 | 3890 16681 50709 | 2147483647 212202 111 | 0.000 % |
351.15/351.39 c | 360323 | 3890 16681 50709 | 212477 212798 111 | 0.000 % |
352.25/352.42 c | 360978 | 3890 16681 50709 | 212477 188397 111 | 0.000 % |
353.15/353.32 c | 361698 | 3890 16681 50709 | 212477 189117 111 | 0.000 % |
354.15/354.34 c | 362491 | 3890 16681 50709 | 212477 189910 111 | 0.000 % |
355.25/355.43 c | 363364 | 3890 16681 50709 | 212477 190783 111 | 0.000 % |
356.35/356.55 c | 364322 | 3890 16681 50709 | 212477 191741 111 | 0.000 % |
357.55/357.76 c | 365376 | 3890 16681 50709 | 212477 192795 111 | 0.000 % |
358.95/359.11 c | 366534 | 3890 16681 50709 | 212477 193953 111 | 0.000 % |
360.65/360.81 c | 367809 | 3890 16681 50709 | 212477 195228 111 | 0.000 % |
362.45/362.62 c | 369210 | 3890 16681 50709 | 212477 196629 111 | 0.000 % |
364.35/364.55 c | 370750 | 3890 16681 50709 | 2147483647 198169 111 | 0.000 % |
366.75/366.91 c | 372446 | 3890 16681 50709 | 2147483647 199865 111 | 0.000 % |
369.14/369.39 c | 374310 | 3890 16681 50709 | 2147483647 201729 111 | 0.000 % |
371.74/371.93 c | 376359 | 3890 16681 50709 | 2147483647 203778 111 | 0.000 % |
374.34/374.57 c | 378612 | 3890 16681 50709 | 2147483647 206031 111 | 0.000 % |
377.54/377.72 c | 381090 | 3890 16681 50709 | 2147483647 208509 111 | 0.000 % |
381.14/381.33 c | 383816 | 3890 16681 50709 | 2147483647 211235 112 | 0.000 % |
385.24/385.44 c | 386813 | 3890 16681 50709 | 2147483647 214232 112 | 0.000 % |
389.54/389.75 c | 390109 | 3890 16681 50709 | 2147483647 217528 112 | 0.000 % |
394.13/394.33 c | 393734 | 3890 16681 50709 | 2147483647 221153 112 | 0.000 % |
394.23/394.49 c | 393834 | 3890 16681 50709 | 2147483647 221253 112 | 0.000 % |
394.43/394.70 c | 393946 | 3890 16681 50709 | 2147483647 221365 112 | 0.000 % |
394.74/394.94 c | 394067 | 3890 16681 50709 | 2147483647 221486 112 | 0.000 % |
395.04/395.22 c | 394200 | 3890 16681 50709 | 2147483647 221619 112 | 0.000 % |
395.24/395.47 c | 394346 | 3890 16681 50709 | 2147483647 221765 112 | 0.000 % |
395.44/395.68 c | 394506 | 3890 16681 50709 | 2147483647 221925 112 | 0.000 % |
395.84/396.02 c | 394683 | 3890 16681 50709 | 2147483647 222102 112 | 0.000 % |
396.14/396.32 c | 394876 | 3890 16681 50709 | 2147483647 222295 112 | 0.000 % |
396.44/396.68 c | 395088 | 3890 16681 50709 | 2147483647 222507 112 | 0.000 % |
396.94/397.12 c | 395321 | 3890 16681 50709 | 2147483647 222740 112 | 0.000 % |
397.34/397.59 c | 395578 | 3890 16681 50709 | 2147483647 222997 112 | 0.000 % |
397.84/398.10 c | 395860 | 3890 16681 50709 | 2147483647 223279 112 | 0.000 % |
398.44/398.60 c | 396169 | 3890 16681 50709 | 2147483647 223588 112 | 0.000 % |
398.94/399.10 c | 396508 | 3890 16681 50709 | 2147483647 223927 112 | 0.000 % |
399.54/399.77 c | 396880 | 3890 16681 50709 | 2147483647 224299 112 | 0.000 % |
400.24/400.47 c | 397291 | 3890 16681 50709 | 2147483647 224710 112 | 0.000 % |
400.94/401.10 c | 397741 | 3890 16681 50709 | 2147483647 225160 112 | 0.000 % |
401.73/401.90 c | 398235 | 3890 16681 50709 | 2147483647 225654 112 | 0.000 % |
402.44/402.69 c | 398779 | 3890 16681 50709 | 2147483647 226198 112 | 0.000 % |
403.44/403.61 c | 399376 | 3890 16681 50709 | 2147483647 226795 112 | 0.000 % |
404.33/404.54 c | 400033 | 3890 16681 50709 | 227420 227452 112 | 0.000 % |
405.64/405.84 c | 400753 | 3890 16681 50709 | 227420 196264 112 | 0.000 % |
406.74/406.92 c | 401545 | 3890 16681 50709 | 227420 197056 112 | 0.000 % |
407.84/408.04 c | 402420 | 3890 16681 50709 | 227420 197931 112 | 0.000 % |
409.13/409.30 c | 403378 | 3890 16681 50709 | 227420 198889 112 | 0.000 % |
410.33/410.55 c | 404433 | 3890 16681 50709 | 227420 199944 112 | 0.000 % |
411.73/411.96 c | 405592 | 3890 16681 50709 | 227420 201103 112 | 0.000 % |
413.53/413.71 c | 406865 | 3890 16681 50709 | 227420 202376 112 | 0.000 % |
415.33/415.55 c | 408265 | 3890 16681 50709 | 227420 203776 112 | 0.000 % |
417.43/417.60 c | 409806 | 3890 16681 50709 | 227420 205317 112 | 0.000 % |
419.73/419.99 c | 411500 | 3890 16681 50709 | 205511 186012 112 | 0.000 % |
422.03/422.26 c | 413364 | 3890 16681 50709 | 205511 187876 112 | 0.000 % |
424.53/424.78 c | 415413 | 3890 16681 50709 | 205511 189925 112 | 0.000 % |
427.13/427.36 c | 417667 | 3890 16681 50709 | 205511 192179 113 | 0.000 % |
429.93/430.19 c | 420148 | 3890 16681 50709 | 2147483647 194660 113 | 0.000 % |
433.33/433.51 c | 422874 | 3890 16681 50709 | 2147483647 197386 113 | 0.000 % |
437.02/437.26 c | 425871 | 3890 16681 50709 | 2147483647 200383 113 | 0.000 % |
441.02/441.23 c | 429167 | 3890 16681 50709 | 2147483647 203679 113 | 0.000 % |
445.62/445.85 c | 432793 | 3890 16681 50709 | 2147483647 207305 113 | 0.000 % |
450.82/451.01 c | 436782 | 3890 16681 50709 | 2147483647 211294 113 | 0.000 % |
450.92/451.18 c | 436883 | 3890 16681 50709 | 2147483647 211395 113 | 0.000 % |
451.12/451.36 c | 436995 | 3890 16681 50709 | 2147483647 211507 113 | 0.000 % |
451.32/451.56 c | 437117 | 3890 16681 50709 | 2147483647 211629 113 | 0.000 % |
451.52/451.78 c | 437251 | 3890 16681 50709 | 2147483647 211763 113 | 0.000 % |
451.82/452.01 c | 437397 | 3890 16681 50709 | 2147483647 211909 113 | 0.000 % |
452.02/452.25 c | 437557 | 3890 16681 50709 | 2147483647 212069 113 | 0.000 % |
452.32/452.57 c | 437735 | 3890 16681 50709 | 2147483647 212247 113 | 0.000 % |
452.62/452.88 c | 437929 | 3890 16681 50709 | 2147483647 212441 113 | 0.000 % |
453.02/453.28 c | 438141 | 3890 16681 50709 | 2147483647 212653 113 | 0.000 % |
453.42/453.62 c | 438374 | 3890 16681 50709 | 2147483647 212886 113 | 0.000 % |
453.82/454.06 c | 438632 | 3890 16681 50709 | 2147483647 213144 113 | 0.000 % |
454.22/454.48 c | 438913 | 3890 16681 50709 | 2147483647 213425 113 | 0.000 % |
454.72/454.99 c | 439222 | 3890 16681 50709 | 2147483647 213734 113 | 0.000 % |
455.32/455.50 c | 439562 | 3890 16681 50709 | 2147483647 214074 113 | 0.000 % |
455.82/456.02 c | 439934 | 3890 16681 50709 | 2147483647 214446 113 | 0.000 % |
456.32/456.58 c | 440344 | 3890 16681 50709 | 2147483647 214856 113 | 0.000 % |
457.02/457.26 c | 440793 | 3890 16681 50709 | 2147483647 215305 113 | 0.000 % |
457.82/458.07 c | 441288 | 3890 16681 50709 | 2147483647 215800 113 | 0.000 % |
458.62/458.80 c | 441831 | 3890 16681 50709 | 2147483647 216343 113 | 0.000 % |
459.42/459.63 c | 442427 | 3890 16681 50709 | 2147483647 216939 113 | 0.000 % |
460.31/460.59 c | 443084 | 3890 16681 50709 | 2147483647 217596 113 | 0.000 % |
461.51/461.73 c | 443804 | 3890 16681 50709 | 2147483647 218316 113 | 0.000 % |
462.71/462.93 c | 444597 | 3890 16681 50709 | 2147483647 219109 113 | 0.000 % |
464.02/464.27 c | 445469 | 3890 16681 50709 | 2147483647 219981 113 | 0.000 % |
465.41/465.62 c | 446427 | 3890 16681 50709 | 2147483647 220939 113 | 0.000 % |
467.01/467.20 c | 447482 | 3890 16681 50709 | 2147483647 221994 113 | 0.000 % |
468.51/468.80 c | 448642 | 3890 16681 50709 | 2147483647 223154 113 | 0.000 % |
470.31/470.59 c | 449916 | 3890 16681 50709 | 2147483647 224428 113 | 0.000 % |
472.41/472.67 c | 451318 | 3890 16681 50709 | 224512 196863 113 | 0.000 % |
474.31/474.59 c | 452859 | 3890 16681 50709 | 224512 198404 113 | 0.000 % |
476.41/476.68 c | 454555 | 3890 16681 50709 | 224512 200100 113 | 0.000 % |
479.01/479.21 c | 456418 | 3890 16681 50709 | 224512 201963 113 | 0.000 % |
481.61/481.82 c | 458468 | 3890 16681 50709 | 224512 204013 113 | 0.000 % |
484.40/484.62 c | 460721 | 3890 16681 50709 | 2147483647 206266 113 | 0.000 % |
487.40/487.64 c | 463199 | 3890 16681 50709 | 2147483647 208744 113 | 0.000 % |
490.80/491.07 c | 465924 | 3890 16681 50709 | 2147483647 211469 113 | 0.000 % |
494.90/495.12 c | 468923 | 3890 16681 50709 | 2147483647 214468 113 | 0.000 % |
499.40/499.62 c | 472219 | 3890 16681 50709 | 2147483647 217764 113 | 0.000 % |
504.50/504.77 c | 475846 | 3890 16681 50709 | 2147483647 221391 114 | 0.000 % |
509.90/510.15 c | 479838 | 3890 16681 50709 | 2147483647 225383 114 | 0.000 % |
515.99/516.21 c | 484223 | 3890 16681 50709 | 225546 203662 114 | 0.000 % |
516.09/516.39 c | 484325 | 3890 16681 50709 | 225546 203764 114 | 0.000 % |
516.29/516.58 c | 484437 | 3890 16681 50709 | 225546 203876 114 | 0.000 % |
516.49/516.76 c | 484559 | 3890 16681 50709 | 225546 203998 114 | 0.000 % |
516.80/517.02 c | 484693 | 3890 16681 50709 | 225546 204132 114 | 0.000 % |
516.99/517.26 c | 484841 | 3890 16681 50709 | 225546 204280 114 | 0.000 % |
517.29/517.53 c | 485002 | 3890 16681 50709 | 225546 204441 114 | 0.000 % |
517.59/517.85 c | 485180 | 3890 16681 50709 | 225546 204619 114 | 0.000 % |
517.90/518.13 c | 485373 | 3890 16681 50709 | 225546 204812 114 | 0.000 % |
518.19/518.46 c | 485585 | 3890 16681 50709 | 225546 205024 114 | 0.000 % |
518.59/518.83 c | 485821 | 3890 16681 50709 | 225546 205260 114 | 0.000 % |
519.00/519.23 c | 486077 | 3890 16681 50709 | 225546 205516 114 | 0.000 % |
519.49/519.72 c | 486358 | 3890 16681 50709 | 225546 205797 114 | 0.000 % |
519.89/520.20 c | 486667 | 3890 16681 50709 | 225546 206106 114 | 0.000 % |
520.49/520.75 c | 487009 | 3890 16681 50709 | 225546 206448 114 | 0.000 % |
521.09/521.37 c | 487382 | 3890 16681 50709 | 225546 206821 114 | 0.000 % |
521.69/521.97 c | 487791 | 3890 16681 50709 | 225546 207230 114 | 0.000 % |
522.39/522.67 c | 488240 | 3890 16681 50709 | 225546 207679 114 | 0.000 % |
523.09/523.37 c | 488733 | 3890 16681 50709 | 225546 208172 114 | 0.000 % |
523.89/524.11 c | 489275 | 3890 16681 50709 | 225546 208714 114 | 0.000 % |
524.59/524.87 c | 489873 | 3890 16681 50709 | 225546 209312 114 | 0.000 % |
525.59/525.83 c | 490529 | 3890 16681 50709 | 209440 209968 114 | 0.000 % |
526.79/527.01 c | 491250 | 3890 16681 50709 | 209440 185821 114 | 0.000 % |
527.79/528.07 c | 492043 | 3890 16681 50709 | 209440 186614 114 | 0.000 % |
528.99/529.27 c | 492914 | 3890 16681 50709 | 209440 187485 114 | 0.000 % |
530.19/530.46 c | 493874 | 3890 16681 50709 | 209440 188445 114 | 0.000 % |
531.59/531.82 c | 494927 | 3890 16681 50709 | 209440 189498 114 | 0.000 % |
532.99/533.23 c | 496085 | 3890 16681 50709 | 209440 190656 114 | 0.000 % |
534.58/534.84 c | 497361 | 3890 16681 50709 | 209440 191932 114 | 0.000 % |
536.28/536.52 c | 498762 | 3890 16681 50709 | 209440 193333 114 | 0.000 % |
538.18/538.45 c | 500302 | 3890 16681 50709 | 2147483647 194873 114 | 0.000 % |
540.48/540.72 c | 501996 | 3890 16681 50709 | 2147483647 196567 114 | 0.000 % |
542.88/543.10 c | 503859 | 3890 16681 50709 | 2147483647 198430 114 | 0.000 % |
545.39/545.62 c | 505910 | 3890 16681 50709 | 2147483647 200481 114 | 0.000 % |
548.08/548.31 c | 508164 | 3890 16681 50709 | 2147483647 202735 114 | 0.000 % |
551.28/551.53 c | 510647 | 3890 16681 50709 | 2147483647 205218 114 | 0.000 % |
554.88/555.19 c | 513372 | 3890 16681 50709 | 2147483647 207943 114 | 0.000 % |
558.88/559.15 c | 516369 | 3890 16681 50709 | 2147483647 210940 114 | 0.000 % |
563.28/563.54 c | 519665 | 3890 16681 50709 | 2147483647 214236 115 | 0.000 % |
567.88/568.10 c | 523291 | 3890 16681 50709 | 2147483647 217862 115 | 0.000 % |
572.97/573.27 c | 527278 | 3890 16681 50709 | 2147483647 221849 115 | 0.000 % |
578.78/579.04 c | 531663 | 3890 16681 50709 | 2147483647 226234 115 | 0.000 % |
585.27/585.59 c | 536486 | 3890 16681 50709 | 2147483647 231057 115 | 0.000 % |
585.47/585.76 c | 536586 | 3890 16681 50709 | 2147483647 231157 115 | 0.000 % |
585.77/586.01 c | 536697 | 3890 16681 50709 | 2147483647 231268 115 | 0.000 % |
585.98/586.25 c | 536818 | 3890 16681 50709 | 2147483647 231389 115 | 0.000 % |
586.27/586.52 c | 536952 | 3890 16681 50709 | 2147483647 231523 115 | 0.000 % |
586.57/586.80 c | 537101 | 3890 16681 50709 | 2147483647 231672 115 | 0.000 % |
586.77/587.08 c | 537261 | 3890 16681 50709 | 2147483647 231832 115 | 0.000 % |
587.07/587.36 c | 537438 | 3890 16681 50709 | 2147483647 232009 115 | 0.000 % |
587.47/587.70 c | 537631 | 3890 16681 50709 | 2147483647 232202 115 | 0.000 % |
587.87/588.10 c | 537843 | 3890 16681 50709 | 2147483647 232414 115 | 0.000 % |
588.17/588.49 c | 538076 | 3890 16681 50709 | 2147483647 232647 115 | 0.000 % |
588.67/588.95 c | 538335 | 3890 16681 50709 | 2147483647 232906 115 | 0.000 % |
589.17/589.44 c | 538619 | 3890 16681 50709 | 2147483647 233190 115 | 0.000 % |
589.67/589.95 c | 538928 | 3890 16681 50709 | 2147483647 233499 115 | 0.000 % |
590.18/590.48 c | 539267 | 3890 16681 50709 | 2147483647 233838 115 | 0.000 % |
590.78/591.08 c | 539639 | 3890 16681 50709 | 2147483647 234210 115 | 0.000 % |
591.48/591.79 c | 540050 | 3890 16681 50709 | 234573 234621 115 | 0.000 % |
592.58/592.81 c | 540499 | 3890 16681 50709 | 234573 204304 115 | 0.000 % |
593.27/593.51 c | 540993 | 3890 16681 50709 | 234573 204798 115 | 0.000 % |
593.97/594.25 c | 541535 | 3890 16681 50709 | 234573 205340 115 | 0.000 % |
594.88/595.14 c | 542131 | 3890 16681 50709 | 234573 205936 115 | 0.000 % |
595.77/596.07 c | 542786 | 3890 16681 50709 | 234573 206591 115 | 0.000 % |
596.87/597.11 c | 543508 | 3890 16681 50709 | 234573 207313 115 | 0.000 % |
597.97/598.24 c | 544300 | 3890 16681 50709 | 234573 208105 115 | 0.000 % |
599.18/599.44 c | 545171 | 3890 16681 50709 | 234573 208976 115 | 0.000 % |
600.47/600.70 c | 546131 | 3890 16681 50709 | 234573 209936 115 | 0.000 % |
601.77/602.09 c | 547186 | 3890 16681 50709 | 234573 210991 115 | 0.000 % |
603.37/603.64 c | 548345 | 3890 16681 50709 | 234573 212150 115 | 0.000 % |
605.17/605.46 c | 549618 | 3890 16681 50709 | 234573 213423 115 | 0.000 % |
607.27/607.56 c | 551018 | 3890 16681 50709 | 213807 189484 115 | 0.000 % |
609.17/609.46 c | 552559 | 3890 16681 50709 | 213807 191025 115 | 0.000 % |
611.37/611.66 c | 554253 | 3890 16681 50709 | 213807 192719 115 | 0.000 % |
613.67/613.97 c | 556119 | 3890 16681 50709 | 213807 194585 115 | 0.000 % |
616.17/616.41 c | 558168 | 3890 16681 50709 | 213807 196634 115 | 0.000 % |
618.97/619.30 c | 560421 | 3890 16681 50709 | 2147483647 198887 115 | 0.000 % |
622.17/622.41 c | 562899 | 3890 16681 50709 | 2147483647 201365 115 | 0.000 % |
625.46/625.73 c | 565624 | 3890 16681 50709 | 2147483647 204090 115 | 0.000 % |
629.16/629.41 c | 568621 | 3890 16681 50709 | 2147483647 207087 115 | 0.000 % |
633.56/633.81 c | 571920 | 3890 16681 50709 | 2147483647 210386 115 | 0.000 % |
638.26/638.57 c | 575545 | 3890 16681 50709 | 2147483647 214011 115 | 0.000 % |
643.66/643.93 c | 579533 | 3890 16681 50709 | 2147483647 217999 116 | 0.000 % |
649.46/649.76 c | 583920 | 3890 16681 50709 | 218466 199215 116 | 0.000 % |
655.65/655.91 c | 588743 | 3890 16681 50709 | 218466 204038 116 | 0.000 % |
662.35/662.68 c | 594048 | 3890 16681 50709 | 2147483647 209343 116 | 0.000 % |
662.55/662.89 c | 594148 | 3890 16681 50709 | 2147483647 209443 116 | 0.000 % |
662.75/663.06 c | 594258 | 3890 16681 50709 | 2147483647 209553 116 | 0.000 % |
662.96/663.26 c | 594380 | 3890 16681 50709 | 2147483647 209675 116 | 0.000 % |
663.15/663.49 c | 594513 | 3890 16681 50709 | 2147483647 209808 116 | 0.000 % |
663.45/663.75 c | 594659 | 3890 16681 50709 | 2147483647 209954 116 | 0.000 % |
663.75/664.00 c | 594819 | 3890 16681 50709 | 2147483647 210114 116 | 0.000 % |
663.95/664.29 c | 594995 | 3890 16681 50709 | 2147483647 210290 116 | 0.000 % |
664.25/664.59 c | 595191 | 3890 16681 50709 | 2147483647 210486 116 | 0.000 % |
664.65/664.91 c | 595405 | 3890 16681 50709 | 2147483647 210700 116 | 0.000 % |
664.95/665.28 c | 595638 | 3890 16681 50709 | 2147483647 210933 116 | 0.000 % |
665.35/665.69 c | 595894 | 3890 16681 50709 | 2147483647 211189 116 | 0.000 % |
665.85/666.11 c | 596175 | 3890 16681 50709 | 2147483647 211470 116 | 0.000 % |
666.25/666.57 c | 596484 | 3890 16681 50709 | 2147483647 211779 116 | 0.000 % |
666.75/667.05 c | 596825 | 3890 16681 50709 | 2147483647 212120 116 | 0.000 % |
667.25/667.59 c | 597199 | 3890 16681 50709 | 2147483647 212494 116 | 0.000 % |
667.95/668.24 c | 597609 | 3890 16681 50709 | 2147483647 212904 116 | 0.000 % |
668.55/668.82 c | 598061 | 3890 16681 50709 | 2147483647 213356 116 | 0.000 % |
669.35/669.61 c | 598555 | 3890 16681 50709 | 2147483647 213850 116 | 0.000 % |
670.15/670.44 c | 599098 | 3890 16681 50709 | 2147483647 214393 116 | 0.000 % |
671.05/671.36 c | 599695 | 3890 16681 50709 | 2147483647 214990 116 | 0.000 % |
671.95/672.29 c | 600351 | 3890 16681 50709 | 215296 215646 116 | 0.000 % |
673.15/673.48 c | 601071 | 3890 16681 50709 | 215296 191947 115 | 0.000 % |
674.15/674.49 c | 601865 | 3890 16681 50709 | 215296 192741 115 | 0.000 % |
675.25/675.59 c | 602736 | 3890 16681 50709 | 215296 193612 115 | 0.000 % |
676.45/676.72 c | 603694 | 3890 16681 50709 | 215296 194570 115 | 0.000 % |
677.65/677.99 c | 604749 | 3890 16681 50709 | 215296 195625 115 | 0.000 % |
679.14/679.48 c | 605907 | 3890 16681 50709 | 215296 196783 115 | 0.000 % |
680.94/681.20 c | 607183 | 3890 16681 50709 | 215296 198059 115 | 0.000 % |
682.64/682.96 c | 608584 | 3890 16681 50709 | 215296 199460 115 | 0.000 % |
684.54/684.88 c | 610124 | 3890 16681 50709 | 2147483647 201000 116 | 0.000 % |
686.84/687.17 c | 611818 | 3890 16681 50709 | 2147483647 202694 116 | 0.000 % |
689.14/689.42 c | 613682 | 3890 16681 50709 | 2147483647 204558 116 | 0.000 % |
691.74/692.00 c | 615731 | 3890 16681 50709 | 2147483647 206607 116 | 0.000 % |
694.74/695.01 c | 617985 | 3890 16681 50709 | 2147483647 208861 116 | 0.000 % |
697.84/698.12 c | 620463 | 3890 16681 50709 | 2147483647 211339 116 | 0.000 % |
701.34/701.65 c | 623188 | 3890 16681 50709 | 2147483647 214064 116 | 0.000 % |
705.24/705.59 c | 626186 | 3890 16681 50709 | 2147483647 217062 116 | 0.000 % |
709.54/709.88 c | 629482 | 3890 16681 50709 | 2147483647 220358 116 | 0.000 % |
714.64/714.91 c | 633108 | 3890 16681 50709 | 2147483647 223984 116 | 0.000 % |
720.03/720.33 c | 637095 | 3890 16681 50709 | 2147483647 227971 116 | 0.000 % |
726.43/726.70 c | 641480 | 3890 16681 50709 | 230876 202847 117 | 0.000 % |
732.33/732.62 c | 646307 | 3890 16681 50709 | 230876 207674 117 | 0.000 % |
739.33/739.66 c | 651613 | 3890 16681 50709 | 211367 190000 117 | 0.000 % |
746.32/746.69 c | 657449 | 3890 16681 50709 | 211367 195836 117 | 0.000 % |
746.53/746.86 c | 657551 | 3890 16681 50709 | 211367 195938 117 | 0.000 % |
746.72/747.07 c | 657661 | 3890 16681 50709 | 211367 196048 117 | 0.000 % |
746.92/747.26 c | 657782 | 3890 16681 50709 | 211367 196169 117 | 0.000 % |
747.12/747.46 c | 657916 | 3890 16681 50709 | 211367 196303 117 | 0.000 % |
747.32/747.67 c | 658063 | 3890 16681 50709 | 211367 196450 117 | 0.000 % |
747.63/747.97 c | 658223 | 3890 16681 50709 | 211367 196610 117 | 0.000 % |
747.92/748.23 c | 658399 | 3890 16681 50709 | 211367 196786 117 | 0.000 % |
748.22/748.52 c | 658593 | 3890 16681 50709 | 211367 196980 117 | 0.000 % |
748.52/748.84 c | 658809 | 3890 16681 50709 | 211367 197196 117 | 0.000 % |
748.92/749.20 c | 659042 | 3890 16681 50709 | 211367 197429 117 | 0.000 % |
749.22/749.59 c | 659299 | 3890 16681 50709 | 211367 197686 117 | 0.000 % |
749.72/750.02 c | 659580 | 3890 16681 50709 | 211367 197967 117 | 0.000 % |
750.22/750.52 c | 659890 | 3890 16681 50709 | 211367 198277 117 | 0.000 % |
750.72/751.03 c | 660229 | 3890 16681 50709 | 2147483647 198616 117 | 0.000 % |
751.22/751.52 c | 660601 | 3890 16681 50709 | 2147483647 198988 117 | 0.000 % |
751.72/752.03 c | 661010 | 3890 16681 50709 | 2147483647 199397 117 | 0.000 % |
752.42/752.70 c | 661459 | 3890 16681 50709 | 2147483647 199846 117 | 0.000 % |
753.12/753.42 c | 661953 | 3890 16681 50709 | 2147483647 200340 117 | 0.000 % |
753.82/754.19 c | 662495 | 3890 16681 50709 | 2147483647 200882 117 | 0.000 % |
754.72/755.06 c | 663091 | 3890 16681 50709 | 2147483647 201478 117 | 0.000 % |
755.72/756.02 c | 663747 | 3890 16681 50709 | 2147483647 202134 116 | 0.000 % |
756.72/757.09 c | 664468 | 3890 16681 50709 | 2147483647 202855 116 | 0.000 % |
757.92/758.22 c | 665261 | 3890 16681 50709 | 2147483647 203648 116 | 0.000 % |
759.12/759.41 c | 666132 | 3890 16681 50709 | 2147483647 204519 116 | 0.000 % |
760.42/760.77 c | 667091 | 3890 16681 50709 | 2147483647 205478 116 | 0.000 % |
761.92/762.27 c | 668146 | 3890 16681 50709 | 2147483647 206533 116 | 0.000 % |
763.52/763.88 c | 669307 | 3890 16681 50709 | 2147483647 207694 116 | 0.000 % |
765.32/765.64 c | 670580 | 3890 16681 50709 | 208389 208967 116 | 0.000 % |
767.31/767.61 c | 671980 | 3890 16681 50709 | 208389 186744 116 | 0.000 % |
769.01/769.40 c | 673520 | 3890 16681 50709 | 208389 188284 116 | 0.000 % |
771.41/771.72 c | 675214 | 3890 16681 50709 | 208389 189978 115 | 0.000 % |
773.71/774.06 c | 677077 | 3890 16681 50709 | 208389 191841 115 | 0.000 % |
776.32/776.66 c | 679126 | 3890 16681 50709 | 208389 193890 115 | 0.000 % |
779.11/779.44 c | 681379 | 3890 16681 50709 | 2147483647 196143 115 | 0.000 % |
782.01/782.36 c | 683858 | 3890 16681 50709 | 2147483647 198622 115 | 0.000 % |
785.41/785.79 c | 686583 | 3890 16681 50709 | 2147483647 201347 116 | 0.000 % |
789.51/789.83 c | 689581 | 3890 16681 50709 | 2147483647 204345 116 | 0.000 % |
793.51/793.87 c | 692878 | 3890 16681 50709 | 2147483647 207642 116 | 0.000 % |
798.21/798.58 c | 696503 | 3890 16681 50709 | 2147483647 211267 116 | 0.000 % |
803.60/803.98 c | 700490 | 3890 16681 50709 | 2147483647 215254 116 | 0.000 % |
809.50/809.89 c | 704875 | 3890 16681 50709 | 2147483647 219639 116 | 0.000 % |
816.00/816.38 c | 709698 | 3890 16681 50709 | 2147483647 224462 116 | 0.000 % |
823.40/823.73 c | 715003 | 3890 16681 50709 | 224764 206518 116 | 0.000 % |
831.30/831.61 c | 720839 | 3890 16681 50709 | 211515 190148 116 | 0.000 % |
839.19/839.56 c | 727259 | 3890 16681 50709 | 211515 196568 116 | 0.000 % |
839.39/839.72 c | 727360 | 3890 16681 50709 | 211515 196669 116 | 0.000 % |
839.49/839.89 c | 727470 | 3890 16681 50709 | 211515 196779 116 | 0.000 % |
839.79/840.10 c | 727592 | 3890 16681 50709 | 211515 196901 116 | 0.000 % |
840.00/840.34 c | 727726 | 3890 16681 50709 | 211515 197035 116 | 0.000 % |
840.19/840.56 c | 727872 | 3890 16681 50709 | 211515 197181 116 | 0.000 % |
840.49/840.83 c | 728032 | 3890 16681 50709 | 211515 197341 116 | 0.000 % |
840.79/841.13 c | 728208 | 3890 16681 50709 | 211515 197517 116 | 0.000 % |
841.10/841.42 c | 728401 | 3890 16681 50709 | 211515 197710 116 | 0.000 % |
841.39/841.73 c | 728613 | 3890 16681 50709 | 211515 197922 116 | 0.000 % |
841.69/842.09 c | 728848 | 3890 16681 50709 | 211515 198157 116 | 0.000 % |
842.09/842.45 c | 729106 | 3890 16681 50709 | 211515 198415 116 | 0.000 % |
842.49/842.84 c | 729387 | 3890 16681 50709 | 211515 198696 116 | 0.000 % |
842.99/843.30 c | 729696 | 3890 16681 50709 | 211515 199005 116 | 0.000 % |
843.39/843.76 c | 730035 | 3890 16681 50709 | 2147483647 199344 116 | 0.000 % |
843.99/844.37 c | 730409 | 3890 16681 50709 | 2147483647 199718 116 | 0.000 % |
844.59/844.96 c | 730818 | 3890 16681 50709 | 2147483647 200127 116 | 0.000 % |
845.29/845.60 c | 731267 | 3890 16681 50709 | 2147483647 200576 116 | 0.000 % |
845.89/846.29 c | 731761 | 3890 16681 50709 | 2147483647 201070 116 | 0.000 % |
846.69/847.06 c | 732303 | 3890 16681 50709 | 2147483647 201612 116 | 0.000 % |
847.49/847.84 c | 732900 | 3890 16681 50709 | 2147483647 202209 116 | 0.000 % |
848.39/848.74 c | 733555 | 3890 16681 50709 | 2147483647 202864 116 | 0.000 % |
849.39/849.77 c | 734275 | 3890 16681 50709 | 2147483647 203584 116 | 0.000 % |
850.49/850.80 c | 735067 | 3890 16681 50709 | 2147483647 204376 116 | 0.000 % |
851.69/852.06 c | 735939 | 3890 16681 50709 | 2147483647 205248 116 | 0.000 % |
852.99/853.32 c | 736897 | 3890 16681 50709 | 2147483647 206206 116 | 0.000 % |
854.29/854.63 c | 737950 | 3890 16681 50709 | 2147483647 207259 116 | 0.000 % |
855.79/856.11 c | 739108 | 3890 16681 50709 | 2147483647 208417 116 | 0.000 % |
857.49/857.88 c | 740382 | 3890 16681 50709 | 209310 209691 116 | 0.000 % |
859.48/859.89 c | 741782 | 3890 16681 50709 | 209310 188650 116 | 0.000 % |
861.48/861.81 c | 743325 | 3890 16681 50709 | 209310 190193 116 | 0.000 % |
863.48/863.84 c | 745020 | 3890 16681 50709 | 209310 191888 116 | 0.000 % |
865.78/866.11 c | 746884 | 3890 16681 50709 | 209310 193752 116 | 0.000 % |
868.28/868.65 c | 748933 | 3890 16681 50709 | 209310 195801 116 | 0.000 % |
871.18/871.52 c | 751186 | 3890 16681 50709 | 2147483647 198054 117 | 0.000 % |
873.88/874.24 c | 753664 | 3890 16681 50709 | 2147483647 200532 117 | 0.000 % |
877.18/877.55 c | 756389 | 3890 16681 50709 | 2147483647 203257 117 | 0.000 % |
880.88/881.23 c | 759388 | 3890 16681 50709 | 2147483647 206256 117 | 0.000 % |
885.08/885.43 c | 762684 | 3890 16681 50709 | 2147483647 209552 117 | 0.000 % |
889.68/890.08 c | 766309 | 3890 16681 50709 | 2147483647 213177 117 | 0.000 % |
894.88/895.27 c | 770296 | 3890 16681 50709 | 2147483647 217164 117 | 0.000 % |
900.77/901.17 c | 774684 | 3890 16681 50709 | 2147483647 221552 117 | 0.000 % |
907.37/907.77 c | 779508 | 3890 16681 50709 | 2147483647 226376 117 | 0.000 % |
914.57/914.92 c | 784814 | 3890 16681 50709 | 226869 202443 117 | 0.000 % |
921.97/922.39 c | 790650 | 3890 16681 50709 | 2147483647 208279 117 | 0.000 % |
930.27/930.64 c | 797070 | 3890 16681 50709 | 2147483647 214699 117 | 0.000 % |
939.96/940.30 c | 804129 | 3890 16681 50709 | 217631 194744 117 | 0.000 % |
940.07/940.45 c | 804230 | 3890 16681 50709 | 217631 194845 117 | 0.000 % |
940.26/940.63 c | 804341 | 3890 16681 50709 | 217631 194956 117 | 0.000 % |
940.46/940.82 c | 804463 | 3890 16681 50709 | 217631 195078 117 | 0.000 % |
940.66/941.00 c | 804596 | 3890 16681 50709 | 217631 195211 117 | 0.000 % |
940.86/941.24 c | 804743 | 3890 16681 50709 | 217631 195358 117 | 0.000 % |
941.06/941.50 c | 804905 | 3890 16681 50709 | 217631 195520 117 | 0.000 % |
941.36/941.75 c | 805083 | 3890 16681 50709 | 217631 195698 117 | 0.000 % |
941.66/942.09 c | 805276 | 3890 16681 50709 | 217631 195891 117 | 0.000 % |
942.06/942.43 c | 805488 | 3890 16681 50709 | 217631 196103 117 | 0.000 % |
942.37/942.76 c | 805721 | 3890 16681 50709 | 217631 196336 117 | 0.000 % |
942.76/943.12 c | 805977 | 3890 16681 50709 | 217631 196592 117 | 0.000 % |
943.16/943.52 c | 806258 | 3890 16681 50709 | 217631 196873 117 | 0.000 % |
943.56/943.97 c | 806567 | 3890 16681 50709 | 217631 197182 117 | 0.000 % |
944.16/944.51 c | 806906 | 3890 16681 50709 | 217631 197521 117 | 0.000 % |
944.66/945.09 c | 807278 | 3890 16681 50709 | 217631 197893 117 | 0.000 % |
945.26/945.68 c | 807688 | 3890 16681 50709 | 217631 198303 117 | 0.000 % |
945.96/946.37 c | 808137 | 3890 16681 50709 | 217631 198752 117 | 0.000 % |
946.67/947.04 c | 808631 | 3890 16681 50709 | 217631 199246 117 | 0.000 % |
947.36/947.78 c | 809173 | 3890 16681 50709 | 217631 199788 117 | 0.000 % |
948.16/948.59 c | 809770 | 3890 16681 50709 | 217631 200385 117 | 0.000 % |
949.06/949.45 c | 810425 | 3890 16681 50709 | 200616 201040 117 | 0.000 % |
950.16/950.58 c | 811146 | 3890 16681 50709 | 200616 178260 117 | 0.000 % |
951.06/951.46 c | 811938 | 3890 16681 50709 | 200616 179052 117 | 0.000 % |
952.16/952.53 c | 812810 | 3890 16681 50709 | 200616 179924 117 | 0.000 % |
953.26/953.66 c | 813770 | 3890 16681 50709 | 200616 180884 117 | 0.000 % |
954.66/955.00 c | 814824 | 3890 16681 50709 | 200616 181938 117 | 0.000 % |
955.96/956.34 c | 815983 | 3890 16681 50709 | 200616 183097 117 | 0.000 % |
957.56/957.92 c | 817256 | 3890 16681 50709 | 200616 184370 117 | 0.000 % |
959.26/959.60 c | 818659 | 3890 16681 50709 | 200616 185773 117 | 0.000 % |
960.96/961.36 c | 820201 | 3890 16681 50709 | 2147483647 187315 117 | 0.000 % |
963.06/963.41 c | 821896 | 3890 16681 50709 | 2147483647 189010 117 | 0.000 % |
965.46/965.83 c | 823759 | 3890 16681 50709 | 2147483647 190873 117 | 0.000 % |
967.95/968.38 c | 825808 | 3890 16681 50709 | 2147483647 192922 117 | 0.000 % |
970.65/971.01 c | 828061 | 3890 16681 50709 | 2147483647 195175 117 | 0.000 % |
973.65/974.08 c | 830539 | 3890 16681 50709 | 2147483647 197653 117 | 0.000 % |
977.25/977.61 c | 833264 | 3890 16681 50709 | 2147483647 200378 117 | 0.000 % |
981.15/981.51 c | 836262 | 3890 16681 50709 | 2147483647 203376 117 | 0.000 % |
985.35/985.78 c | 839558 | 3890 16681 50709 | 2147483647 206672 117 | 0.000 % |
990.35/990.72 c | 843183 | 3890 16681 50709 | 2147483647 210297 117 | 0.000 % |
995.74/996.18 c | 847171 | 3890 16681 50709 | 2147483647 214285 117 | 0.000 % |
1001.94/1002.33 c | 851558 | 3890 16681 50709 | 217116 194965 116 | 0.000 % |
1007.64/1008.09 c | 856382 | 3890 16681 50709 | 217116 199789 116 | 0.000 % |
1013.94/1014.38 c | 861687 | 3890 16681 50709 | 2147483647 205094 117 | 0.000 % |
1021.64/1022.04 c | 867522 | 3890 16681 50709 | 2147483647 210929 117 | 0.000 % |
1030.14/1030.56 c | 873940 | 3890 16681 50709 | 2147483647 217347 117 | 0.000 % |
1039.73/1040.16 c | 881001 | 3890 16681 50709 | 223407 199199 119 | 0.000 % |
1049.83/1050.25 c | 888766 | 3890 16681 50709 | 223407 206964 119 | 0.000 % |
1050.03/1050.41 c | 888867 | 3890 16681 50709 | 223407 207065 119 | 0.000 % |
1050.13/1050.59 c | 888978 | 3890 16681 50709 | 223407 207176 119 | 0.000 % |
1050.33/1050.79 c | 889099 | 3890 16681 50709 | 223407 207297 119 | 0.000 % |
1050.63/1051.05 c | 889234 | 3890 16681 50709 | 223407 207432 119 | 0.000 % |
1050.83/1051.26 c | 889381 | 3890 16681 50709 | 223407 207579 119 | 0.000 % |
1051.13/1051.52 c | 889541 | 3890 16681 50709 | 223407 207739 119 | 0.000 % |
1051.43/1051.81 c | 889718 | 3890 16681 50709 | 223407 207916 118 | 0.000 % |
1051.73/1052.14 c | 889912 | 3890 16681 50709 | 223407 208110 118 | 0.000 % |
1052.03/1052.44 c | 890124 | 3890 16681 50709 | 208199 208322 118 | 0.000 % |
1052.63/1053.02 c | 890358 | 3890 16681 50709 | 208199 184534 118 | 0.000 % |
1052.93/1053.34 c | 890614 | 3890 16681 50709 | 208199 184790 118 | 0.000 % |
1053.33/1053.73 c | 890895 | 3890 16681 50709 | 208199 185071 118 | 0.000 % |
1053.73/1054.15 c | 891207 | 3890 16681 50709 | 208199 185383 118 | 0.000 % |
1054.13/1054.57 c | 891547 | 3890 16681 50709 | 208199 185723 118 | 0.000 % |
1054.73/1055.12 c | 891921 | 3890 16681 50709 | 208199 186097 118 | 0.000 % |
1055.23/1055.66 c | 892331 | 3890 16681 50709 | 208199 186507 118 | 0.000 % |
1055.83/1056.22 c | 892780 | 3890 16681 50709 | 208199 186956 118 | 0.000 % |
1056.33/1056.75 c | 893273 | 3890 16681 50709 | 208199 187449 118 | 0.000 % |
1057.13/1057.50 c | 893815 | 3890 16681 50709 | 208199 187991 118 | 0.000 % |
1057.93/1058.32 c | 894412 | 3890 16681 50709 | 208199 188588 118 | 0.000 % |
1058.83/1059.25 c | 895069 | 3890 16681 50709 | 208199 189245 118 | 0.000 % |
1059.82/1060.22 c | 895789 | 3890 16681 50709 | 208199 189965 118 | 0.000 % |
1060.82/1061.27 c | 896583 | 3890 16681 50709 | 208199 190759 118 | 0.000 % |
1062.03/1062.48 c | 897454 | 3890 16681 50709 | 208199 191630 118 | 0.000 % |
1063.23/1063.66 c | 898412 | 3890 16681 50709 | 208199 192588 118 | 0.000 % |
1064.62/1065.00 c | 899467 | 3890 16681 50709 | 208199 193643 118 | 0.000 % |
1066.12/1066.55 c | 900625 | 3890 16681 50709 | 2147483647 194801 118 | 0.000 % |
1067.82/1068.26 c | 901900 | 3890 16681 50709 | 2147483647 196076 118 | 0.000 % |
1069.62/1070.02 c | 903300 | 3890 16681 50709 | 2147483647 197476 118 | 0.000 % |
1071.52/1071.91 c | 904840 | 3890 16681 50709 | 2147483647 199016 118 | 0.000 % |
1073.52/1073.96 c | 906535 | 3890 16681 50709 | 2147483647 200711 118 | 0.000 % |
1076.02/1076.43 c | 908398 | 3890 16681 50709 | 2147483647 202574 118 | 0.000 % |
1078.72/1079.11 c | 910447 | 3890 16681 50709 | 2147483647 204623 118 | 0.000 % |
1081.72/1082.13 c | 912700 | 3890 16681 50709 | 2147483647 206876 118 | 0.000 % |
1085.12/1085.55 c | 915182 | 3890 16681 50709 | 2147483647 209358 118 | 0.000 % |
1088.81/1089.23 c | 917907 | 3890 16681 50709 | 2147483647 212083 118 | 0.000 % |
1092.51/1092.97 c | 920904 | 3890 16681 50709 | 2147483647 215080 118 | 0.000 % |
1096.91/1097.40 c | 924200 | 3890 16681 50709 | 2147483647 218376 118 | 0.000 % |
1101.81/1102.28 c | 927825 | 3890 16681 50709 | 2147483647 222001 118 | 0.000 % |
1107.61/1108.02 c | 931812 | 3890 16681 50709 | 224176 201235 118 | 0.000 % |
1113.21/1113.61 c | 936197 | 3890 16681 50709 | 224176 205620 118 | 0.000 % |
1119.00/1119.46 c | 941020 | 3890 16681 50709 | 2147483647 210443 118 | 0.000 % |
1126.60/1127.07 c | 946326 | 3890 16681 50709 | 2147483647 215749 118 | 0.000 % |
1134.80/1135.25 c | 952161 | 3890 16681 50709 | 219423 193596 118 | 0.000 % |
1142.50/1142.99 c | 958580 | 3890 16681 50709 | 219423 200015 118 | 0.000 % |
1151.20/1151.64 c | 965640 | 3890 16681 50709 | 2147483647 207075 118 | 0.000 % |
1161.39/1161.89 c | 973405 | 3890 16681 50709 | 2147483647 214840 119 | 0.000 % |
1172.69/1173.17 c | 981949 | 3890 16681 50709 | 2147483647 223384 119 | 0.000 % |
1172.89/1173.32 c | 982049 | 3890 16681 50709 | 2147483647 223484 119 | 0.000 % |
1173.09/1173.55 c | 982159 | 3890 16681 50709 | 2147483647 223594 119 | 0.000 % |
1173.29/1173.76 c | 982280 | 3890 16681 50709 | 2147483647 223715 119 | 0.000 % |
1173.49/1173.99 c | 982415 | 3890 16681 50709 | 2147483647 223850 119 | 0.000 % |
1173.79/1174.23 c | 982562 | 3890 16681 50709 | 2147483647 223997 119 | 0.000 % |
1174.09/1174.56 c | 982726 | 3890 16681 50709 | 2147483647 224161 119 | 0.000 % |
1174.39/1174.85 c | 982902 | 3890 16681 50709 | 2147483647 224337 119 | 0.000 % |
1174.69/1175.18 c | 983096 | 3890 16681 50709 | 2147483647 224531 119 | 0.000 % |
1175.09/1175.54 c | 983308 | 3890 16681 50709 | 2147483647 224743 119 | 0.000 % |
1175.49/1175.92 c | 983542 | 3890 16681 50709 | 2147483647 224977 119 | 0.000 % |
1175.88/1176.36 c | 983798 | 3890 16681 50709 | 2147483647 225233 119 | 0.000 % |
1176.38/1176.88 c | 984080 | 3890 16681 50709 | 2147483647 225515 119 | 0.000 % |
1176.98/1177.41 c | 984389 | 3890 16681 50709 | 2147483647 225824 119 | 0.000 % |
1177.48/1177.96 c | 984732 | 3890 16681 50709 | 2147483647 226167 119 | 0.000 % |
1178.08/1178.58 c | 985104 | 3890 16681 50709 | 2147483647 226539 119 | 0.000 % |
1178.79/1179.23 c | 985514 | 3890 16681 50709 | 2147483647 226949 119 | 0.000 % |
1179.58/1180.01 c | 985963 | 3890 16681 50709 | 2147483647 227398 119 | 0.000 % |
1180.38/1180.85 c | 986456 | 3890 16681 50709 | 2147483647 227891 119 | 0.000 % |
1181.28/1181.73 c | 986998 | 3890 16681 50709 | 2147483647 228433 119 | 0.000 % |
1182.18/1182.65 c | 987595 | 3890 16681 50709 | 2147483647 229030 119 | 0.000 % |
1183.28/1183.71 c | 988251 | 3890 16681 50709 | 2147483647 229686 119 | 0.000 % |
1184.39/1184.85 c | 988973 | 3890 16681 50709 | 2147483647 230408 119 | 0.000 % |
1185.58/1186.07 c | 989768 | 3890 16681 50709 | 2147483647 231203 119 | 0.000 % |
1186.78/1187.29 c | 990640 | 3890 16681 50709 | 231437 232075 119 | 0.000 % |
1188.48/1188.93 c | 991598 | 3890 16681 50709 | 231437 198315 119 | 0.000 % |
1189.98/1190.46 c | 992651 | 3890 16681 50709 | 231437 199368 119 | 0.000 % |
1191.38/1191.85 c | 993809 | 3890 16681 50709 | 231437 200526 119 | 0.000 % |
1193.18/1193.60 c | 995082 | 3890 16681 50709 | 231437 201799 119 | 0.000 % |
1194.98/1195.46 c | 996482 | 3890 16681 50709 | 231437 203199 119 | 0.000 % |
1197.08/1197.55 c | 998022 | 3890 16681 50709 | 231437 204739 119 | 0.000 % |
1199.48/1199.99 c | 999718 | 3890 16681 50709 | 231437 206435 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832749-1242787293/watcher-1832749-1242787293 -o /tmp/evaluation-result-1832749-1242787293/solver-1832749-1242787293 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832749-1242787293.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/65 30108
/proc/meminfo: memFree=1807296/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306758502 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 254613880914 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/30108/statm: 1339 235 195 169 0 50 0
[pid=30109] ppid=30108 vsize=5356 CPUtime=0
/proc/30109/stat : 30109 (SatELiteGTI) S 30108 30108 29477 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306758502 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/30109/statm: 1339 238 198 169 0 50 0
[pid=30111] ppid=30109 vsize=5356 CPUtime=0
/proc/30111/stat : 30111 (SatELiteGTI) R 30109 30108 29477 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613712167 0 0 4096 0 0 0 0 17 1 0 0
/proc/30111/statm: 1339 239 199 169 0 50 0
[startup+0.0301621 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30108
/proc/meminfo: memFree=1807296/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306758502 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30108/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101174 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30108
/proc/meminfo: memFree=1807296/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301194 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30108
/proc/meminfo: memFree=1807296/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701239 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 30108
/proc/meminfo: memFree=1807296/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50232 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1802928/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=5296 CPUtime=1.41
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 1053 0 0 0 141 0 0 0 25 0 1 0 306758509 5423104 1039 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 1324 1039 77 171 0 1151 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10652
[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1801136/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=9152 CPUtime=3.01
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 2009 0 0 0 301 0 0 0 25 0 1 0 306758509 9371648 1995 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 2288 1995 77 171 0 2115 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14508
[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1794608/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=14824 CPUtime=6.21
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 3398 0 0 0 619 2 0 0 25 0 1 0 306758509 15179776 3384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 3706 3384 77 171 0 3533 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20180
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1785656/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=22956 CPUtime=12.61
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 5429 0 0 0 1257 4 0 0 25 0 1 0 306758509 23506944 5415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 5739 5415 77 171 0 5566 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28312
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1773304/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=34824 CPUtime=25.41
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 8410 0 0 0 2534 7 0 0 25 0 1 0 306758509 35659776 8396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 8706 8396 77 171 0 8533 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40180
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1756152/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=52164 CPUtime=50.99
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 12735 0 0 0 5087 12 0 0 25 0 1 0 306758509 53415936 12721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 13041 12721 77 171 0 12868 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 57520
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30114
/proc/meminfo: memFree=1730360/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=77512 CPUtime=102.19
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 19045 0 0 0 10198 21 0 0 25 0 1 0 306758509 79372288 19031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 19378 19031 77 171 0 19205 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 82868
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30115
/proc/meminfo: memFree=1707192/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=100752 CPUtime=162.16
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 24793 0 0 0 16187 29 0 0 25 0 1 0 306758509 103170048 24779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 25188 24779 77 171 0 25015 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 106108
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1705144/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=102336 CPUtime=222.14
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 25199 0 0 0 22185 29 0 0 25 0 1 0 306758509 104792064 25185 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 25584 25185 77 171 0 25411 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 107692
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1702520/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=105108 CPUtime=282.12
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 25901 0 0 0 28182 30 0 0 25 0 1 0 306758509 107630592 25887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 26277 25887 77 171 0 26104 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 110464
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1699704/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=107748 CPUtime=342.1
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 26575 0 0 0 34179 31 0 0 25 0 1 0 306758509 110333952 26561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 26937 26561 77 171 0 26764 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 113104
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1695544/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=112104 CPUtime=402.07
################
# More data... #
################
/proc/30114/statm: 29247 28883 77 171 0 29074 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 122344
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1687096/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119760 CPUtime=642
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29597 0 0 0 64166 34 0 0 25 0 1 0 306758509 122634240 29583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29940 29583 77 171 0 29767 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 125116
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686968/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119760 CPUtime=701.98
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29597 0 0 0 70164 34 0 0 25 0 1 0 306758509 122634240 29583 1992294400 134512640 135215339 4294956240 18446744073709551615 134528846 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29940 29583 77 171 0 29767 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 125116
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686840/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=761.96
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 76162 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 125248
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686712/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=821.94
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 82160 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 125248
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686648/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=881.92
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 88158 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 125248
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 30116
/proc/meminfo: memFree=1686520/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=941.9
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 94156 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 125248
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686392/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=1001.88
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 100154 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 125248
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686392/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=1061.87
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 106153 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 125248
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30116
/proc/meminfo: memFree=1686264/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=119892 CPUtime=1121.85
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 29615 0 0 0 112151 34 0 0 25 0 1 0 306758509 122769408 29601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 29973 29601 77 171 0 29800 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 125248
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30122
/proc/meminfo: memFree=1684016/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=122268 CPUtime=1181.82
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 30214 0 0 0 118147 35 0 0 25 0 1 0 306758509 125202432 30200 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 30567 30200 77 171 0 30394 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 127624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 30122
/proc/meminfo: memFree=1682160/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=123852 CPUtime=1200.02
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 30590 0 0 0 119966 36 0 0 25 0 1 0 306758509 126824448 30576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 30963 30576 77 171 0 30790 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 129208
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/67 30122
/proc/meminfo: memFree=1682160/2055920 swapFree=4138616/4192956
[pid=30108] ppid=30106 vsize=5356 CPUtime=0.06
/proc/30108/stat : 30108 (SatELiteGTI) S 30106 30108 29477 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306758502 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30108/statm: 1339 239 197 169 0 50 0
[pid=30114] ppid=30108 vsize=123852 CPUtime=1200.02
/proc/30114/stat : 30114 (minisat_static) R 30108 30108 29477 0 -1 4194304 30590 0 0 0 119966 36 0 0 25 0 1 0 306758509 126824448 30576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/30114/statm: 30963 30576 77 171 0 30790 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 129208
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30108 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=64990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.071988
# while last known CPU time is 1200.08
#
# 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.08
CPU user time (s): 1199.72
CPU system time (s): 0.36
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 129208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06499
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 15
involuntary context switches= 8
runsolver used 1.19682 second user time and 3.2805 second system time
The end
Begin job on node87 at 2009-05-20 04:41:33
IDJOB=1832749
IDBENCH=70338
IDSOLVER=671
FILE ID=node87/1832749-1242787293
PBS_JOBID= 9322334
Free space on /tmp= 65908 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832749-1242787293/watcher-1832749-1242787293 -o /tmp/evaluation-result-1832749-1242787293/solver-1832749-1242787293 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832749-1242787293.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b76c43c3a4ebb25b4fe350a62b537043
RANDOM SEED=1409326738
node87.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1807776 kB
Buffers: 23620 kB
Cached: 133184 kB
SwapCached: 48624 kB
Active: 58556 kB
Inactive: 149028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1807776 kB
SwapTotal: 4192956 kB
SwapFree: 4138616 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 17108 kB
Slab: 26464 kB
Committed_AS: 978328 kB
PageTables: 1468 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= 65908 MiB
End job on node87 at 2009-05-20 05:01:36