0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 11900 83300 | 3569 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 140 #clauses: 11900 #literals: 83300
0.00/0.02 c CPU time: 0.014997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 140 |
0.00/0.04 c | Number of clauses: 11900 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 140 11900 83300 | 3966 0 nan | 0.000 % |
0.00/0.07 c | 100 | 140 11900 83300 | 3966 100 44 | 0.005 % |
0.00/0.07 c | 201 | 140 11900 83300 | 3966 201 43 | 0.005 % |
0.00/0.08 c | 301 | 140 11900 83300 | 3966 301 43 | 0.005 % |
0.00/0.09 c | 413 | 140 11900 83300 | 3966 413 43 | 0.005 % |
0.00/0.10 c | 513 | 140 11900 83300 | 3966 513 43 | 0.005 % |
0.03/0.10 c | 623 | 140 11900 83300 | 3966 623 43 | 0.005 % |
0.03/0.11 c | 744 | 140 11900 83300 | 3966 744 43 | 0.005 % |
0.03/0.12 c | 844 | 140 11900 83300 | 3966 844 43 | 0.005 % |
0.03/0.13 c | 956 | 140 11900 83300 | 3966 956 43 | 0.005 % |
0.03/0.13 c | 1077 | 140 11900 83300 | 3966 1077 43 | 0.005 % |
0.03/0.14 c | 1210 | 140 11900 83300 | 3966 1210 43 | 0.005 % |
0.03/0.15 c | 1310 | 140 11900 83300 | 3966 1310 44 | 0.005 % |
0.03/0.16 c | 1420 | 140 11900 83300 | 3966 1420 44 | 0.005 % |
0.03/0.17 c | 1542 | 140 11900 83300 | 3966 1542 44 | 0.005 % |
0.03/0.18 c | 1675 | 140 11900 83300 | 3966 1675 44 | 0.005 % |
0.03/0.19 c | 1821 | 140 11900 83300 | 3966 1821 44 | 0.005 % |
0.03/0.19 c | 1922 | 140 11900 83300 | 3966 1922 43 | 0.005 % |
0.03/0.20 c | 2032 | 140 11900 83300 | 3966 2032 43 | 0.005 % |
0.03/0.21 c | 2153 | 140 11900 83300 | 3966 2153 43 | 0.005 % |
0.03/0.22 c | 2286 | 140 11900 83300 | 3966 2286 43 | 0.005 % |
0.03/0.23 c | 2432 | 140 11900 83300 | 3966 2432 43 | 0.005 % |
0.03/0.24 c | 2594 | 140 11900 83300 | 3966 2594 43 | 0.005 % |
0.03/0.25 c | 2694 | 140 11900 83300 | 3966 2694 43 | 0.005 % |
0.03/0.26 c | 2805 | 140 11900 83300 | 3966 2805 43 | 0.005 % |
0.03/0.27 c | 2927 | 140 11900 83300 | 3966 2927 43 | 0.005 % |
0.03/0.28 c | 3061 | 140 11900 83300 | 3966 3061 43 | 0.005 % |
0.03/0.30 c | 3209 | 140 11900 83300 | 3966 3209 43 | 0.005 % |
0.03/0.31 c | 3369 | 140 11900 83300 | 3966 3369 43 | 0.005 % |
0.03/0.32 c | 3546 | 140 11900 83300 | 3966 3546 43 | 0.005 % |
0.03/0.33 c | 3646 | 140 11900 83300 | 3966 3646 43 | 0.005 % |
0.03/0.34 c | 3757 | 140 11900 83300 | 3966 3757 43 | 0.005 % |
0.03/0.35 c | 3879 | 140 11900 83300 | 3966 3879 43 | 0.005 % |
0.03/0.36 c | 4014 | 140 11900 83300 | 3966 4014 43 | 0.005 % |
0.03/0.37 c | 4160 | 140 11900 83300 | 3966 3759 43 | 0.005 % |
0.03/0.39 c | 4320 | 140 11900 83300 | 3966 3919 43 | 0.005 % |
0.03/0.40 c | 4496 | 140 11900 83300 | 3966 3693 43 | 0.005 % |
0.03/0.42 c | 4689 | 140 11900 83300 | 3966 3886 43 | 0.005 % |
0.03/0.43 c | 4790 | 140 11900 83300 | 3966 3987 43 | 0.005 % |
0.03/0.44 c | 4901 | 140 11900 83300 | 3966 3700 42 | 0.005 % |
0.03/0.45 c | 5023 | 140 11900 83300 | 3966 3822 42 | 0.005 % |
0.03/0.46 c | 5158 | 140 11900 83300 | 3966 3957 42 | 0.005 % |
0.03/0.48 c | 5304 | 140 11900 83300 | 3966 3700 42 | 0.005 % |
0.03/0.49 c | 5464 | 140 11900 83300 | 3966 3860 43 | 0.005 % |
0.03/0.51 c | 5640 | 140 11900 83300 | 3966 3634 43 | 0.005 % |
0.03/0.52 c | 5833 | 140 11900 83300 | 3966 3827 43 | 0.005 % |
0.03/0.54 c | 6045 | 140 11900 83300 | 3966 3636 42 | 0.005 % |
0.03/0.55 c | 6146 | 140 11900 83300 | 3966 3737 42 | 0.005 % |
0.03/0.56 c | 6256 | 140 11900 83300 | 3966 3847 42 | 0.005 % |
0.03/0.57 c | 6377 | 140 11900 83300 | 3966 3968 42 | 0.005 % |
0.03/0.59 c | 6510 | 140 11900 83300 | 3966 3705 42 | 0.005 % |
0.03/0.60 c | 6656 | 140 11900 83300 | 3966 3851 42 | 0.005 % |
0.03/0.61 c | 6817 | 140 11900 83300 | 3966 4012 42 | 0.005 % |
0.03/0.63 c | 6993 | 140 11900 83300 | 3966 3787 42 | 0.005 % |
0.03/0.64 c | 7189 | 140 11900 83300 | 3966 3983 42 | 0.005 % |
0.03/0.66 c | 7402 | 140 11900 83300 | 3966 3798 42 | 0.005 % |
0.03/0.69 c | 7637 | 140 11900 83300 | 3966 3631 42 | 0.005 % |
0.03/0.69 c | 7738 | 140 11900 83300 | 3966 3732 42 | 0.005 % |
0.03/0.70 c | 7849 | 140 11900 83300 | 3966 3843 42 | 0.005 % |
0.03/0.71 c | 7970 | 140 11900 83300 | 3966 3964 42 | 0.005 % |
0.03/0.73 c | 8103 | 140 11900 83300 | 3966 3695 42 | 0.005 % |
0.03/0.74 c | 8249 | 140 11900 83300 | 3966 3841 42 | 0.005 % |
0.03/0.75 c | 8409 | 140 11900 83300 | 3966 4001 42 | 0.005 % |
0.03/0.77 c | 8587 | 140 11900 83300 | 3966 3779 42 | 0.005 % |
0.03/0.79 c | 8780 | 140 11900 83300 | 3966 3972 42 | 0.005 % |
0.03/0.81 c | 8992 | 140 11900 83300 | 3966 3787 42 | 0.005 % |
0.03/0.83 c | 9225 | 140 11900 83300 | 3966 4020 43 | 0.005 % |
0.03/0.85 c | 9483 | 140 11900 83300 | 3966 3876 43 | 0.005 % |
0.03/0.86 c | 9583 | 140 11900 83300 | 3966 3976 43 | 0.005 % |
0.03/0.87 c | 9693 | 140 11900 83300 | 3966 3689 43 | 0.005 % |
0.03/0.88 c | 9814 | 140 11900 83300 | 3966 3810 43 | 0.005 % |
0.03/0.89 c | 9948 | 140 11900 83300 | 3966 3944 43 | 0.005 % |
0.03/0.90 c | 10095 | 140 11900 83300 | 2147483647 4091 43 | 0.005 % |
0.03/0.91 c | 10257 | 140 11900 83300 | 2147483647 4253 43 | 0.005 % |
0.03/0.93 c | 10435 | 140 11900 83300 | 2147483647 4431 43 | 0.005 % |
0.03/0.94 c | 10629 | 140 11900 83300 | 2147483647 4625 43 | 0.005 % |
0.03/0.96 c | 10841 | 140 11900 83300 | 2147483647 4837 43 | 0.005 % |
0.03/0.98 c | 11074 | 140 11900 83300 | 2147483647 5070 43 | 0.005 % |
0.97/1.01 c | 11332 | 140 11900 83300 | 2147483647 5328 43 | 0.005 % |
0.97/1.04 c | 11613 | 140 11900 83300 | 2147483647 5609 43 | 0.005 % |
0.97/1.05 c | 11713 | 140 11900 83300 | 2147483647 5709 43 | 0.005 % |
0.97/1.06 c | 11823 | 140 11900 83300 | 2147483647 5819 43 | 0.005 % |
0.97/1.07 c | 11944 | 140 11900 83300 | 2147483647 5940 43 | 0.005 % |
0.97/1.09 c | 12077 | 140 11900 83300 | 2147483647 6073 43 | 0.005 % |
1.07/1.10 c | 12224 | 140 11900 83300 | 2147483647 6220 43 | 0.005 % |
1.07/1.12 c | 12384 | 140 11900 83300 | 2147483647 6380 43 | 0.005 % |
1.07/1.14 c | 12560 | 140 11900 83300 | 2147483647 6556 43 | 0.005 % |
1.07/1.16 c | 12753 | 140 11900 83300 | 2147483647 6749 43 | 0.005 % |
1.07/1.18 c | 12965 | 140 11900 83300 | 2147483647 6961 43 | 0.005 % |
1.16/1.21 c | 13198 | 140 11900 83300 | 2147483647 7194 43 | 0.005 % |
1.16/1.24 c | 13456 | 140 11900 83300 | 2147483647 7452 43 | 0.005 % |
1.16/1.27 c | 13739 | 140 11900 83300 | 2147483647 7735 43 | 0.005 % |
1.26/1.31 c | 14048 | 140 11900 83300 | 2147483647 8044 43 | 0.005 % |
1.26/1.32 c | 14148 | 140 11900 83300 | 2147483647 8144 43 | 0.005 % |
1.26/1.33 c | 14258 | 140 11900 83300 | 2147483647 8254 43 | 0.005 % |
1.26/1.35 c | 14379 | 140 11900 83300 | 2147483647 8375 43 | 0.005 % |
1.26/1.36 c | 14512 | 140 11900 83300 | 2147483647 8508 43 | 0.005 % |
1.26/1.38 c | 14659 | 140 11900 83300 | 2147483647 8655 43 | 0.005 % |
1.36/1.40 c | 14820 | 140 11900 83300 | 2147483647 8816 43 | 0.005 % |
1.36/1.43 c | 14997 | 140 11900 83300 | 2147483647 8993 43 | 0.005 % |
1.36/1.45 c | 15192 | 140 11900 83300 | 2147483647 9188 43 | 0.005 % |
1.36/1.48 c | 15405 | 140 11900 83300 | 2147483647 9401 43 | 0.005 % |
1.46/1.51 c | 15638 | 140 11900 83300 | 2147483647 9634 43 | 0.005 % |
1.46/1.54 c | 15894 | 140 11900 83300 | 2147483647 9890 43 | 0.005 % |
1.46/1.58 c | 16175 | 140 11900 83300 | 2147483647 10171 43 | 0.005 % |
1.56/1.62 c | 16487 | 140 11900 83300 | 2147483647 10483 43 | 0.005 % |
1.56/1.66 c | 16827 | 140 11900 83300 | 2147483647 10823 43 | 0.005 % |
1.56/1.68 c | 16929 | 140 11900 83300 | 2147483647 10925 43 | 0.005 % |
1.56/1.69 c | 17039 | 140 11900 83300 | 2147483647 11035 43 | 0.005 % |
1.66/1.72 c | 17160 | 140 11900 83300 | 2147483647 11156 43 | 0.005 % |
1.66/1.74 c | 17293 | 140 11900 83300 | 2147483647 11289 43 | 0.005 % |
1.66/1.76 c | 17439 | 140 11900 83300 | 2147483647 11435 43 | 0.005 % |
1.66/1.78 c | 17599 | 140 11900 83300 | 2147483647 11595 43 | 0.005 % |
1.76/1.81 c | 17775 | 140 11900 83300 | 2147483647 11771 43 | 0.005 % |
1.76/1.84 c | 17970 | 140 11900 83300 | 2147483647 11966 43 | 0.005 % |
1.76/1.87 c | 18182 | 140 11900 83300 | 2147483647 12178 43 | 0.005 % |
1.86/1.91 c | 18415 | 140 11900 83300 | 2147483647 12411 43 | 0.005 % |
1.86/1.95 c | 18671 | 140 11900 83300 | 2147483647 12667 43 | 0.005 % |
1.86/1.99 c | 18953 | 140 11900 83300 | 2147483647 12949 43 | 0.005 % |
1.96/2.04 c | 19263 | 140 11900 83300 | 2147483647 13259 43 | 0.005 % |
1.96/2.09 c | 19602 | 140 11900 83300 | 2147483647 13598 43 | 0.005 % |
2.06/2.15 c | 19974 | 140 11900 83300 | 2147483647 13970 43 | 0.005 % |
2.06/2.16 c | 20074 | 140 11900 83300 | 2147483647 14070 43 | 0.005 % |
2.06/2.18 c | 20185 | 140 11900 83300 | 2147483647 14181 43 | 0.005 % |
2.16/2.21 c | 20306 | 140 11900 83300 | 2147483647 14302 43 | 0.005 % |
2.16/2.23 c | 20440 | 140 11900 83300 | 2147483647 14436 43 | 0.005 % |
2.16/2.25 c | 20587 | 140 11900 83300 | 2147483647 14583 43 | 0.005 % |
2.16/2.28 c | 20749 | 140 11900 83300 | 2147483647 14745 43 | 0.005 % |
2.26/2.32 c | 20928 | 140 11900 83300 | 2147483647 14924 43 | 0.005 % |
2.26/2.35 c | 21122 | 140 11900 83300 | 2147483647 15118 43 | 0.005 % |
2.26/2.39 c | 21334 | 140 11900 83300 | 2147483647 15330 43 | 0.005 % |
2.36/2.43 c | 21567 | 140 11900 83300 | 2147483647 15563 43 | 0.005 % |
2.36/2.48 c | 21823 | 140 11900 83300 | 2147483647 15819 43 | 0.005 % |
2.46/2.53 c | 22106 | 140 11900 83300 | 2147483647 16102 43 | 0.005 % |
2.46/2.59 c | 22418 | 140 11900 83300 | 2147483647 16414 43 | 0.005 % |
2.56/2.65 c | 22757 | 140 11900 83300 | 2147483647 16753 43 | 0.005 % |
2.66/2.73 c | 23129 | 140 11900 83300 | 2147483647 17125 43 | 0.005 % |
2.77/2.81 c | 23538 | 140 11900 83300 | 2147483647 17534 43 | 0.005 % |
2.77/2.84 c | 23639 | 140 11900 83300 | 2147483647 17635 43 | 0.005 % |
2.77/2.87 c | 23751 | 140 11900 83300 | 2147483647 17747 43 | 0.005 % |
2.77/2.90 c | 23874 | 140 11900 83300 | 2147483647 17870 43 | 0.005 % |
2.87/2.93 c | 24009 | 140 11900 83300 | 2147483647 18005 43 | 0.005 % |
2.87/2.96 c | 24155 | 140 11900 83300 | 2147483647 18151 43 | 0.005 % |
2.97/3.00 c | 24315 | 140 11900 83300 | 2147483647 18311 43 | 0.005 % |
2.97/3.04 c | 24492 | 140 11900 83300 | 2147483647 18488 43 | 0.005 % |
2.97/3.08 c | 24685 | 140 11900 83300 | 2147483647 18681 43 | 0.005 % |
3.07/3.13 c | 24897 | 140 11900 83300 | 2147483647 18893 43 | 0.005 % |
3.07/3.19 c | 25130 | 140 11900 83300 | 2147483647 19126 43 | 0.005 % |
3.17/3.24 c | 25388 | 140 11900 83300 | 2147483647 19384 43 | 0.005 % |
3.27/3.30 c | 25671 | 140 11900 83300 | 2147483647 19667 43 | 0.005 % |
3.27/3.37 c | 25980 | 140 11900 83300 | 2147483647 19976 43 | 0.005 % |
3.37/3.45 c | 26319 | 140 11900 83300 | 2147483647 20315 43 | 0.005 % |
3.47/3.53 c | 26691 | 140 11900 83300 | 2147483647 20687 43 | 0.005 % |
3.57/3.64 c | 27101 | 140 11900 83300 | 2147483647 21097 43 | 0.005 % |
3.66/3.74 c | 27551 | 140 11900 83300 | 2147483647 21547 43 | 0.005 % |
3.66/3.77 c | 27653 | 140 11900 83300 | 2147483647 21649 43 | 0.005 % |
3.76/3.80 c | 27763 | 140 11900 83300 | 2147483647 21759 43 | 0.005 % |
3.76/3.83 c | 27884 | 140 11900 83300 | 2147483647 21880 43 | 0.005 % |
3.76/3.87 c | 28018 | 140 11900 83300 | 2147483647 22014 43 | 0.005 % |
3.86/3.91 c | 28166 | 140 11900 83300 | 2147483647 22162 43 | 0.005 % |
3.86/3.95 c | 28326 | 140 11900 83300 | 2147483647 22322 43 | 0.005 % |
3.96/4.00 c | 28502 | 140 11900 83300 | 2147483647 22498 43 | 0.005 % |
3.96/4.06 c | 28696 | 140 11900 83300 | 2147483647 22692 43 | 0.005 % |
4.06/4.12 c | 28908 | 140 11900 83300 | 2147483647 22904 43 | 0.005 % |
4.06/4.19 c | 29142 | 140 11900 83300 | 2147483647 23138 43 | 0.005 % |
4.16/4.25 c | 29398 | 140 11900 83300 | 2147483647 23394 43 | 0.005 % |
4.27/4.32 c | 29681 | 140 11900 83300 | 2147483647 23677 43 | 0.005 % |
4.27/4.39 c | 29991 | 140 11900 83300 | 2147483647 23987 43 | 0.005 % |
4.37/4.48 c | 30332 | 140 11900 83300 | 2147483647 24328 43 | 0.005 % |
4.46/4.57 c | 30704 | 140 11900 83300 | 2147483647 24700 43 | 0.005 % |
4.56/4.68 c | 31114 | 140 11900 83300 | 2147483647 25110 43 | 0.005 % |
4.76/4.80 c | 31563 | 140 11900 83300 | 2147483647 25559 43 | 0.005 % |
4.86/4.95 c | 32060 | 140 11900 83300 | 2147483647 26056 43 | 0.005 % |
4.86/4.99 c | 32160 | 140 11900 83300 | 2147483647 26156 43 | 0.005 % |
4.96/5.02 c | 32271 | 140 11900 83300 | 2147483647 26267 43 | 0.005 % |
4.96/5.06 c | 32392 | 140 11900 83300 | 2147483647 26388 43 | 0.005 % |
5.06/5.10 c | 32526 | 140 11900 83300 | 2147483647 26522 43 | 0.005 % |
5.06/5.15 c | 32672 | 140 11900 83300 | 2147483647 26668 43 | 0.005 % |
5.16/5.21 c | 32834 | 140 11900 83300 | 2147483647 26830 43 | 0.005 % |
5.16/5.26 c | 33010 | 140 11900 83300 | 2147483647 27006 43 | 0.005 % |
5.26/5.33 c | 33204 | 140 11900 83300 | 2147483647 27200 43 | 0.005 % |
5.37/5.41 c | 33416 | 140 11900 83300 | 2147483647 27412 43 | 0.005 % |
5.37/5.48 c | 33649 | 140 11900 83300 | 2147483647 27645 43 | 0.005 % |
5.47/5.57 c | 33905 | 140 11900 83300 | 2147483647 27901 43 | 0.005 % |
5.56/5.66 c | 34186 | 140 11900 83300 | 2147483647 28182 43 | 0.005 % |
5.66/5.76 c | 34495 | 140 11900 83300 | 2147483647 28491 43 | 0.005 % |
5.76/5.87 c | 34835 | 140 11900 83300 | 2147483647 28831 43 | 0.005 % |
5.96/6.00 c | 35208 | 140 11900 83300 | 2147483647 29204 43 | 0.005 % |
6.06/6.14 c | 35617 | 140 11900 83300 | 2147483647 29613 43 | 0.005 % |
6.16/6.29 c | 36066 | 140 11900 83300 | 2147483647 30062 43 | 0.005 % |
6.36/6.46 c | 36560 | 140 11900 83300 | 2147483647 30556 43 | 0.005 % |
6.56/6.64 c | 37102 | 140 11900 83300 | 2147483647 31098 43 | 0.005 % |
6.56/6.68 c | 37204 | 140 11900 83300 | 2147483647 31200 43 | 0.005 % |
6.66/6.72 c | 37315 | 140 11900 83300 | 2147483647 31311 43 | 0.005 % |
6.66/6.76 c | 37436 | 140 11900 83300 | 2147483647 31432 43 | 0.005 % |
6.76/6.81 c | 37569 | 140 11900 83300 | 2147483647 31565 43 | 0.005 % |
6.76/6.88 c | 37715 | 140 11900 83300 | 2147483647 31711 43 | 0.005 % |
6.86/6.93 c | 37875 | 140 11900 83300 | 2147483647 31871 43 | 0.005 % |
6.96/7.00 c | 38051 | 140 11900 83300 | 2147483647 32047 43 | 0.005 % |
6.96/7.09 c | 38247 | 140 11900 83300 | 2147483647 32243 43 | 0.005 % |
7.06/7.18 c | 38460 | 140 11900 83300 | 2147483647 32456 43 | 0.005 % |
7.16/7.28 c | 38693 | 140 11900 83300 | 2147483647 32689 43 | 0.005 % |
7.26/7.38 c | 38949 | 140 11900 83300 | 2147483647 32945 43 | 0.005 % |
7.36/7.49 c | 39230 | 140 11900 83300 | 2147483647 33226 43 | 0.005 % |
7.56/7.62 c | 39539 | 140 11900 83300 | 2147483647 33535 43 | 0.005 % |
7.66/7.77 c | 39880 | 140 11900 83300 | 2147483647 33876 43 | 0.005 % |
7.86/7.93 c | 40252 | 140 11900 83300 | 2147483647 34248 43 | 0.005 % |
8.06/8.10 c | 40661 | 140 11900 83300 | 2147483647 34657 43 | 0.005 % |
8.26/8.31 c | 41110 | 140 11900 83300 | 2147483647 35106 43 | 0.005 % |
8.46/8.51 c | 41603 | 140 11900 83300 | 2147483647 35599 43 | 0.005 % |
8.66/8.74 c | 42145 | 140 11900 83300 | 2147483647 36141 43 | 0.005 % |
8.86/8.96 c | 42742 | 140 11900 83300 | 2147483647 36738 43 | 0.005 % |
8.96/9.00 c | 42843 | 140 11900 83300 | 2147483647 36839 43 | 0.005 % |
8.96/9.06 c | 42954 | 140 11900 83300 | 2147483647 36950 43 | 0.005 % |
9.06/9.12 c | 43076 | 140 11900 83300 | 2147483647 37072 43 | 0.005 % |
9.06/9.20 c | 43210 | 140 11900 83300 | 2147483647 37206 43 | 0.005 % |
9.16/9.27 c | 43356 | 140 11900 83300 | 2147483647 37352 43 | 0.005 % |
9.26/9.34 c | 43517 | 140 11900 83300 | 2147483647 37513 43 | 0.005 % |
9.36/9.45 c | 43693 | 140 11900 83300 | 2147483647 37689 43 | 0.005 % |
9.46/9.54 c | 43887 | 140 11900 83300 | 2147483647 37883 43 | 0.005 % |
9.56/9.66 c | 44099 | 140 11900 83300 | 2147483647 38095 43 | 0.005 % |
9.66/9.77 c | 44335 | 140 11900 83300 | 2147483647 38331 43 | 0.005 % |
9.76/9.88 c | 44591 | 140 11900 83300 | 2147483647 38587 43 | 0.005 % |
9.96/10.02 c | 44873 | 140 11900 83300 | 2147483647 38869 43 | 0.005 % |
10.06/10.18 c | 45183 | 140 11900 83300 | 2147483647 39179 43 | 0.005 % |
10.26/10.35 c | 45523 | 140 11900 83300 | 2147483647 39519 43 | 0.005 % |
10.46/10.55 c | 45897 | 140 11900 83300 | 2147483647 39893 43 | 0.005 % |
10.66/10.73 c | 46306 | 140 11900 83300 | 2147483647 40302 43 | 0.005 % |
10.87/10.96 c | 46756 | 140 11900 83300 | 2147483647 40752 43 | 0.005 % |
11.07/11.18 c | 47251 | 140 11900 83300 | 2147483647 41247 43 | 0.005 % |
11.36/11.44 c | 47793 | 140 11900 83300 | 2147483647 41789 43 | 0.005 % |
11.66/11.72 c | 48390 | 140 11900 83300 | 2147483647 42386 43 | 0.005 % |
11.97/12.01 c | 49046 | 140 11900 83300 | 2147483647 43042 43 | 0.005 % |
11.97/12.10 c | 49150 | 140 11900 83300 | 2147483647 43146 43 | 0.005 % |
12.07/12.16 c | 49261 | 140 11900 83300 | 2147483647 43257 43 | 0.005 % |
12.16/12.22 c | 49382 | 140 11900 83300 | 2147483647 43378 43 | 0.005 % |
12.16/12.30 c | 49515 | 140 11900 83300 | 2147483647 43511 43 | 0.005 % |
12.26/12.39 c | 49661 | 140 11900 83300 | 2147483647 43657 43 | 0.005 % |
12.36/12.48 c | 49822 | 140 11900 83300 | 2147483647 43818 43 | 0.005 % |
12.46/12.58 c | 49998 | 140 11900 83300 | 2147483647 43994 43 | 0.005 % |
12.56/12.68 c | 50191 | 140 11900 83300 | 2147483647 44187 43 | 0.005 % |
12.66/12.79 c | 50403 | 140 11900 83300 | 2147483647 44399 43 | 0.005 % |
12.86/12.91 c | 50636 | 140 11900 83300 | 2147483647 44632 43 | 0.005 % |
12.96/13.03 c | 50893 | 140 11900 83300 | 2147483647 44889 43 | 0.005 % |
13.07/13.18 c | 51177 | 140 11900 83300 | 2147483647 45173 43 | 0.005 % |
13.26/13.35 c | 51487 | 140 11900 83300 | 2147483647 45483 43 | 0.005 % |
13.46/13.51 c | 51826 | 140 11900 83300 | 2147483647 45822 43 | 0.005 % |
13.66/13.71 c | 52198 | 140 11900 83300 | 2147483647 46194 43 | 0.005 % |
13.76/13.89 c | 52609 | 140 11900 83300 | 2147483647 46605 43 | 0.005 % |
14.06/14.11 c | 53058 | 140 11900 83300 | 2147483647 47054 43 | 0.005 % |
14.36/14.42 c | 53551 | 140 11900 83300 | 2147483647 47547 43 | 0.005 % |
14.66/14.73 c | 54095 | 140 11900 83300 | 2147483647 48091 44 | 0.005 % |
14.96/15.06 c | 54691 | 140 11900 83300 | 2147483647 48687 44 | 0.005 % |
15.36/15.45 c | 55346 | 140 11900 83300 | 2147483647 49342 44 | 0.005 % |
15.76/15.84 c | 56066 | 140 11900 83300 | 2147483647 50062 44 | 0.005 % |
15.86/15.91 c | 56166 | 140 11900 83300 | 2147483647 50162 44 | 0.005 % |
15.86/15.99 c | 56278 | 140 11900 83300 | 2147483647 50274 44 | 0.005 % |
15.96/16.07 c | 56400 | 140 11900 83300 | 2147483647 50396 44 | 0.005 % |
16.06/16.15 c | 56533 | 140 11900 83300 | 2147483647 50529 44 | 0.005 % |
16.16/16.25 c | 56679 | 140 11900 83300 | 2147483647 50675 44 | 0.005 % |
16.26/16.34 c | 56839 | 140 11900 83300 | 2147483647 50835 44 | 0.005 % |
16.36/16.44 c | 57015 | 140 11900 83300 | 2147483647 51011 44 | 0.005 % |
16.46/16.58 c | 57209 | 140 11900 83300 | 2147483647 51205 44 | 0.005 % |
16.66/16.72 c | 57421 | 140 11900 83300 | 2147483647 51417 44 | 0.005 % |
16.76/16.87 c | 57654 | 140 11900 83300 | 2147483647 51650 44 | 0.005 % |
16.96/17.03 c | 57913 | 140 11900 83300 | 2147483647 51909 44 | 0.005 % |
17.06/17.19 c | 58194 | 140 11900 83300 | 2147483647 52190 44 | 0.005 % |
17.26/17.37 c | 58504 | 140 11900 83300 | 2147483647 52500 44 | 0.005 % |
17.56/17.64 c | 58844 | 140 11900 83300 | 2147483647 52840 44 | 0.005 % |
17.86/17.91 c | 59218 | 140 11900 83300 | 2147483647 53214 44 | 0.005 % |
18.06/18.15 c | 59633 | 140 11900 83300 | 2147483647 53629 44 | 0.005 % |
18.36/18.41 c | 60082 | 140 11900 83300 | 2147483647 54078 44 | 0.005 % |
18.76/18.80 c | 60575 | 140 11900 83300 | 2147483647 54571 44 | 0.005 % |
19.06/19.18 c | 61118 | 140 11900 83300 | 2147483647 55114 44 | 0.005 % |
19.56/19.60 c | 61715 | 140 11900 83300 | 2147483647 55711 44 | 0.005 % |
19.96/20.01 c | 62373 | 140 11900 83300 | 2147483647 56369 43 | 0.005 % |
20.36/20.45 c | 63093 | 140 11900 83300 | 2147483647 57089 43 | 0.005 % |
20.96/21.04 c | 63887 | 140 11900 83300 | 2147483647 57883 44 | 0.005 % |
21.06/21.11 c | 63987 | 140 11900 83300 | 2147483647 57983 44 | 0.005 % |
21.16/21.20 c | 64097 | 140 11900 83300 | 2147483647 58093 43 | 0.005 % |
21.26/21.30 c | 64218 | 140 11900 83300 | 2147483647 58214 43 | 0.005 % |
21.36/21.40 c | 64351 | 140 11900 83300 | 2147483647 58347 44 | 0.005 % |
21.46/21.51 c | 64498 | 140 11900 83300 | 2147483647 58494 44 | 0.005 % |
21.56/21.62 c | 64658 | 140 11900 83300 | 2147483647 58654 43 | 0.005 % |
21.66/21.75 c | 64836 | 140 11900 83300 | 2147483647 58832 43 | 0.005 % |
21.76/21.88 c | 65031 | 140 11900 83300 | 2147483647 59027 43 | 0.005 % |
21.97/22.05 c | 65245 | 140 11900 83300 | 2147483647 59241 43 | 0.005 % |
22.16/22.21 c | 65479 | 140 11900 83300 | 2147483647 59475 43 | 0.005 % |
22.26/22.38 c | 65735 | 140 11900 83300 | 2147483647 59731 43 | 0.005 % |
22.46/22.57 c | 66016 | 140 11900 83300 | 2147483647 60012 43 | 0.005 % |
22.76/22.82 c | 66325 | 140 11900 83300 | 2147483647 60321 43 | 0.005 % |
22.97/23.09 c | 66665 | 140 11900 83300 | 2147483647 60661 44 | 0.005 % |
23.26/23.35 c | 67037 | 140 11900 83300 | 2147483647 61033 44 | 0.005 % |
23.56/23.67 c | 67446 | 140 11900 83300 | 2147483647 61442 43 | 0.005 % |
23.96/24.00 c | 67895 | 140 11900 83300 | 2147483647 61891 44 | 0.005 % |
24.26/24.34 c | 68388 | 140 11900 83300 | 2147483647 62384 44 | 0.005 % |
24.66/24.70 c | 68930 | 140 11900 83300 | 2147483647 62926 44 | 0.005 % |
25.06/25.11 c | 69527 | 140 11900 83300 | 2147483647 63523 43 | 0.005 % |
25.66/25.74 c | 70183 | 140 11900 83300 | 63996 53935 43 | 0.005 % |
26.16/26.21 c | 70904 | 140 11900 83300 | 63996 54656 43 | 0.005 % |
26.66/26.72 c | 71697 | 140 11900 83300 | 63996 55449 43 | 0.005 % |
27.16/27.28 c | 72568 | 140 11900 83300 | 63996 56320 43 | 0.005 % |
27.26/27.37 c | 72668 | 140 11900 83300 | 63996 56420 43 | 0.005 % |
27.36/27.46 c | 72778 | 140 11900 83300 | 63996 56530 43 | 0.005 % |
27.46/27.55 c | 72899 | 140 11900 83300 | 63996 56651 43 | 0.005 % |
27.56/27.64 c | 73032 | 140 11900 83300 | 63996 56784 43 | 0.005 % |
27.66/27.76 c | 73178 | 140 11900 83300 | 63996 56930 43 | 0.005 % |
27.76/27.88 c | 73339 | 140 11900 83300 | 63996 57091 43 | 0.005 % |
27.96/28.00 c | 73516 | 140 11900 83300 | 63996 57268 43 | 0.005 % |
28.06/28.17 c | 73710 | 140 11900 83300 | 63996 57462 43 | 0.005 % |
28.26/28.33 c | 73922 | 140 11900 83300 | 63996 57674 43 | 0.005 % |
28.36/28.48 c | 74155 | 140 11900 83300 | 63996 57907 43 | 0.005 % |
28.56/28.65 c | 74412 | 140 11900 83300 | 63996 58164 43 | 0.005 % |
28.76/28.87 c | 74694 | 140 11900 83300 | 63996 58446 43 | 0.005 % |
28.96/29.07 c | 75003 | 140 11900 83300 | 63996 58755 43 | 0.005 % |
29.26/29.37 c | 75342 | 140 11900 83300 | 63996 59094 43 | 0.005 % |
29.56/29.66 c | 75715 | 140 11900 83300 | 63996 59467 43 | 0.005 % |
29.86/29.94 c | 76124 | 140 11900 83300 | 63996 59876 43 | 0.005 % |
30.16/30.22 c | 76575 | 140 11900 83300 | 63996 60327 43 | 0.005 % |
30.56/30.68 c | 77070 | 140 11900 83300 | 63996 60822 43 | 0.005 % |
31.06/31.15 c | 77614 | 140 11900 83300 | 63996 61366 44 | 0.005 % |
31.56/31.61 c | 78211 | 140 11900 83300 | 63996 61963 43 | 0.005 % |
31.96/32.08 c | 78866 | 140 11900 83300 | 63996 62618 43 | 0.005 % |
32.56/32.62 c | 79586 | 140 11900 83300 | 63996 63338 43 | 0.005 % |
33.26/33.31 c | 80378 | 140 11900 83300 | 63754 52702 43 | 0.005 % |
33.76/33.89 c | 81250 | 140 11900 83300 | 63754 53574 43 | 0.005 % |
34.36/34.49 c | 82209 | 140 11900 83300 | 63754 54533 43 | 0.005 % |
34.46/34.55 c | 82312 | 140 11900 83300 | 63754 54636 43 | 0.005 % |
34.56/34.62 c | 82422 | 140 11900 83300 | 63754 54746 43 | 0.005 % |
34.66/34.71 c | 82543 | 140 11900 83300 | 63754 54867 43 | 0.005 % |
34.76/34.84 c | 82676 | 140 11900 83300 | 63754 55000 43 | 0.005 % |
34.86/34.94 c | 82822 | 140 11900 83300 | 63754 55146 43 | 0.005 % |
34.96/35.04 c | 82982 | 140 11900 83300 | 63754 55306 43 | 0.005 % |
35.06/35.17 c | 83158 | 140 11900 83300 | 63754 55482 43 | 0.005 % |
35.16/35.29 c | 83351 | 140 11900 83300 | 63754 55675 43 | 0.005 % |
35.36/35.44 c | 83564 | 140 11900 83300 | 63754 55888 43 | 0.005 % |
35.56/35.64 c | 83799 | 140 11900 83300 | 63754 56123 43 | 0.005 % |
35.76/35.82 c | 84057 | 140 11900 83300 | 63754 56381 43 | 0.005 % |
35.96/36.01 c | 84339 | 140 11900 83300 | 63754 56663 43 | 0.005 % |
36.16/36.23 c | 84648 | 140 11900 83300 | 63754 56972 43 | 0.005 % |
36.36/36.47 c | 84988 | 140 11900 83300 | 63754 57312 43 | 0.005 % |
36.66/36.71 c | 85361 | 140 11900 83300 | 63754 57685 43 | 0.005 % |
36.86/36.97 c | 85771 | 140 11900 83300 | 63754 58095 43 | 0.005 % |
37.16/37.26 c | 86220 | 140 11900 83300 | 63754 58544 43 | 0.005 % |
37.56/37.62 c | 86713 | 140 11900 83300 | 63754 59037 43 | 0.005 % |
37.85/37.97 c | 87255 | 140 11900 83300 | 63754 59579 43 | 0.005 % |
38.25/38.34 c | 87851 | 140 11900 83300 | 63754 60175 43 | 0.005 % |
38.65/38.75 c | 88508 | 140 11900 83300 | 63754 60832 43 | 0.005 % |
39.25/39.37 c | 89229 | 140 11900 83300 | 63754 61553 43 | 0.005 % |
39.85/39.97 c | 90021 | 140 11900 83300 | 62324 62345 43 | 0.005 % |
40.56/40.65 c | 90894 | 140 11900 83300 | 62324 52623 43 | 0.005 % |
41.15/41.22 c | 91852 | 140 11900 83300 | 62324 53581 43 | 0.005 % |
41.76/41.84 c | 92907 | 140 11900 83300 | 62324 54636 43 | 0.005 % |
41.85/41.92 c | 93007 | 140 11900 83300 | 62324 54736 43 | 0.005 % |
41.95/42.01 c | 93117 | 140 11900 83300 | 62324 54846 43 | 0.005 % |
41.95/42.09 c | 93238 | 140 11900 83300 | 62324 54967 43 | 0.005 % |
42.05/42.18 c | 93371 | 140 11900 83300 | 62324 55100 43 | 0.005 % |
42.15/42.28 c | 93520 | 140 11900 83300 | 62324 55249 43 | 0.005 % |
42.35/42.41 c | 93680 | 140 11900 83300 | 62324 55409 43 | 0.005 % |
42.45/42.55 c | 93858 | 140 11900 83300 | 62324 55587 43 | 0.005 % |
42.55/42.67 c | 94052 | 140 11900 83300 | 62324 55781 43 | 0.005 % |
42.76/42.83 c | 94265 | 140 11900 83300 | 62324 55994 43 | 0.005 % |
42.86/42.99 c | 94499 | 140 11900 83300 | 62324 56228 43 | 0.005 % |
43.05/43.18 c | 94755 | 140 11900 83300 | 62324 56484 43 | 0.005 % |
43.25/43.37 c | 95036 | 140 11900 83300 | 62324 56765 43 | 0.005 % |
43.55/43.60 c | 95346 | 140 11900 83300 | 62324 57075 43 | 0.005 % |
43.75/43.84 c | 95685 | 140 11900 83300 | 62324 57414 43 | 0.005 % |
44.05/44.11 c | 96058 | 140 11900 83300 | 62324 57787 43 | 0.005 % |
44.35/44.42 c | 96469 | 140 11900 83300 | 62324 58198 43 | 0.005 % |
44.65/44.76 c | 96919 | 140 11900 83300 | 62324 58648 43 | 0.005 % |
45.06/45.12 c | 97415 | 140 11900 83300 | 62324 59144 43 | 0.005 % |
45.35/45.47 c | 97958 | 140 11900 83300 | 62324 59687 43 | 0.005 % |
45.75/45.87 c | 98555 | 140 11900 83300 | 62324 60284 43 | 0.005 % |
46.25/46.38 c | 99210 | 140 11900 83300 | 62324 60939 43 | 0.005 % |
46.75/46.84 c | 99932 | 140 11900 83300 | 62324 61661 43 | 0.005 % |
47.35/47.40 c | 100724 | 140 11900 83300 | 61729 52097 43 | 0.005 % |
47.85/47.93 c | 101595 | 140 11900 83300 | 61729 52968 43 | 0.005 % |
48.45/48.58 c | 102553 | 140 11900 83300 | 61729 53926 43 | 0.005 % |
49.25/49.30 c | 103607 | 140 11900 83300 | 61729 54980 43 | 0.005 % |
49.95/50.01 c | 104765 | 140 11900 83300 | 61729 56138 43 | 0.005 % |
49.95/50.07 c | 104865 | 140 11900 83300 | 61729 56238 43 | 0.005 % |
50.05/50.13 c | 104975 | 140 11900 83300 | 61729 56348 43 | 0.005 % |
50.15/50.21 c | 105097 | 140 11900 83300 | 61729 56470 43 | 0.005 % |
50.25/50.34 c | 105232 | 140 11900 83300 | 61729 56605 43 | 0.005 % |
50.35/50.46 c | 105378 | 140 11900 83300 | 61729 56751 43 | 0.005 % |
50.45/50.58 c | 105538 | 140 11900 83300 | 61729 56911 43 | 0.005 % |
50.65/50.72 c | 105715 | 140 11900 83300 | 61729 57088 43 | 0.005 % |
50.75/50.86 c | 105908 | 140 11900 83300 | 61729 57281 43 | 0.005 % |
50.95/51.02 c | 106121 | 140 11900 83300 | 61729 57494 43 | 0.005 % |
51.05/51.18 c | 106356 | 140 11900 83300 | 61729 57729 43 | 0.005 % |
51.25/51.36 c | 106613 | 140 11900 83300 | 61729 57986 43 | 0.005 % |
51.45/51.56 c | 106894 | 140 11900 83300 | 61729 58267 43 | 0.005 % |
51.66/51.76 c | 107203 | 140 11900 83300 | 61729 58576 43 | 0.005 % |
51.85/51.99 c | 107543 | 140 11900 83300 | 61729 58916 43 | 0.005 % |
52.25/52.34 c | 107917 | 140 11900 83300 | 61729 59290 43 | 0.005 % |
52.55/52.68 c | 108326 | 140 11900 83300 | 61729 59699 43 | 0.005 % |
52.85/52.98 c | 108775 | 140 11900 83300 | 61729 60148 43 | 0.005 % |
53.25/53.32 c | 109268 | 140 11900 83300 | 61729 60641 43 | 0.005 % |
53.55/53.67 c | 109811 | 140 11900 83300 | 61729 61184 43 | 0.005 % |
53.95/54.05 c | 110408 | 140 11900 83300 | 61376 51746 43 | 0.005 % |
54.35/54.41 c | 111066 | 140 11900 83300 | 61376 52404 43 | 0.005 % |
54.85/54.96 c | 111787 | 140 11900 83300 | 61376 53125 43 | 0.005 % |
55.35/55.45 c | 112580 | 140 11900 83300 | 61376 53918 43 | 0.005 % |
55.95/56.02 c | 113454 | 140 11900 83300 | 61376 54792 43 | 0.005 % |
56.65/56.70 c | 114413 | 140 11900 83300 | 61376 55751 43 | 0.005 % |
57.35/57.40 c | 115468 | 140 11900 83300 | 61376 56806 43 | 0.005 % |
58.05/58.10 c | 116627 | 140 11900 83300 | 61376 57965 43 | 0.005 % |
58.75/58.87 c | 117900 | 140 11900 83300 | 61376 59238 43 | 0.005 % |
58.85/58.94 c | 118000 | 140 11900 83300 | 61376 59338 43 | 0.005 % |
58.95/59.05 c | 118114 | 140 11900 83300 | 61376 59452 43 | 0.005 % |
59.05/59.15 c | 118235 | 140 11900 83300 | 61376 59573 43 | 0.005 % |
59.15/59.23 c | 118369 | 140 11900 83300 | 61376 59707 43 | 0.005 % |
59.25/59.34 c | 118515 | 140 11900 83300 | 61376 59853 43 | 0.005 % |
59.35/59.48 c | 118677 | 140 11900 83300 | 61376 60015 43 | 0.005 % |
59.55/59.61 c | 118854 | 140 11900 83300 | 61376 60192 43 | 0.005 % |
59.65/59.75 c | 119047 | 140 11900 83300 | 61376 60385 43 | 0.005 % |
59.85/59.94 c | 119260 | 140 11900 83300 | 61376 60598 43 | 0.005 % |
60.05/60.10 c | 119493 | 140 11900 83300 | 61376 60831 43 | 0.005 % |
60.15/60.29 c | 119749 | 140 11900 83300 | 61376 61087 43 | 0.005 % |
60.35/60.47 c | 120032 | 140 11900 83300 | 61339 61370 43 | 0.005 % |
60.65/60.75 c | 120343 | 140 11900 83300 | 61339 51853 43 | 0.005 % |
60.85/60.96 c | 120683 | 140 11900 83300 | 61339 52193 43 | 0.005 % |
61.15/61.20 c | 121056 | 140 11900 83300 | 61339 52566 43 | 0.005 % |
61.35/61.49 c | 121465 | 140 11900 83300 | 61339 52975 43 | 0.005 % |
61.65/61.77 c | 121914 | 140 11900 83300 | 61339 53424 43 | 0.005 % |
61.95/62.08 c | 122409 | 140 11900 83300 | 61339 53919 43 | 0.005 % |
62.25/62.39 c | 122951 | 140 11900 83300 | 61339 54461 43 | 0.005 % |
62.65/62.74 c | 123547 | 140 11900 83300 | 61339 55057 43 | 0.005 % |
63.15/63.24 c | 124204 | 140 11900 83300 | 61339 55714 43 | 0.005 % |
63.65/63.75 c | 124924 | 140 11900 83300 | 61339 56434 43 | 0.005 % |
64.24/64.31 c | 125716 | 140 11900 83300 | 61339 57226 43 | 0.005 % |
64.75/64.86 c | 126587 | 140 11900 83300 | 61339 58097 43 | 0.005 % |
65.44/65.60 c | 127545 | 140 11900 83300 | 61339 59055 43 | 0.005 % |
66.24/66.37 c | 128598 | 140 11900 83300 | 61339 60108 43 | 0.005 % |
67.24/67.32 c | 129756 | 140 11900 83300 | 61339 61266 43 | 0.005 % |
67.94/68.07 c | 131029 | 140 11900 83300 | 51426 44064 43 | 0.005 % |
68.74/68.82 c | 132429 | 140 11900 83300 | 51426 45464 43 | 0.005 % |
68.74/68.89 c | 132530 | 140 11900 83300 | 51426 45565 43 | 0.005 % |
68.84/68.98 c | 132640 | 140 11900 83300 | 51426 45675 43 | 0.005 % |
68.94/69.05 c | 132765 | 140 11900 83300 | 51426 45800 43 | 0.005 % |
69.04/69.13 c | 132899 | 140 11900 83300 | 51426 45934 43 | 0.005 % |
69.15/69.21 c | 133045 | 140 11900 83300 | 51426 46080 43 | 0.005 % |
69.25/69.34 c | 133205 | 140 11900 83300 | 51426 46240 43 | 0.005 % |
69.34/69.44 c | 133383 | 140 11900 83300 | 51426 46418 43 | 0.005 % |
69.44/69.55 c | 133576 | 140 11900 83300 | 51426 46611 43 | 0.005 % |
69.54/69.68 c | 133788 | 140 11900 83300 | 51426 46823 43 | 0.005 % |
69.74/69.81 c | 134021 | 140 11900 83300 | 51426 47056 43 | 0.005 % |
69.84/69.99 c | 134279 | 140 11900 83300 | 51426 47314 43 | 0.005 % |
70.04/70.15 c | 134561 | 140 11900 83300 | 51426 47596 43 | 0.005 % |
70.25/70.36 c | 134870 | 140 11900 83300 | 51426 47905 43 | 0.005 % |
70.44/70.57 c | 135211 | 140 11900 83300 | 51426 48246 43 | 0.005 % |
70.64/70.76 c | 135583 | 140 11900 83300 | 51426 48618 43 | 0.005 % |
70.94/71.02 c | 135992 | 140 11900 83300 | 51426 49027 43 | 0.005 % |
71.14/71.27 c | 136442 | 140 11900 83300 | 51426 49477 43 | 0.005 % |
71.45/71.54 c | 136936 | 140 11900 83300 | 51426 49971 43 | 0.005 % |
71.74/71.82 c | 137480 | 140 11900 83300 | 51426 50515 43 | 0.005 % |
72.04/72.19 c | 138078 | 140 11900 83300 | 51426 51113 43 | 0.005 % |
72.55/72.67 c | 138733 | 140 11900 83300 | 51426 45465 43 | 0.005 % |
73.04/73.11 c | 139454 | 140 11900 83300 | 51426 46186 43 | 0.005 % |
73.44/73.58 c | 140246 | 140 11900 83300 | 46732 41400 43 | 0.005 % |
73.84/73.98 c | 141118 | 140 11900 83300 | 46732 42272 43 | 0.005 % |
74.34/74.41 c | 142076 | 140 11900 83300 | 46732 43230 43 | 0.005 % |
74.94/75.02 c | 143129 | 140 11900 83300 | 46732 44283 43 | 0.005 % |
75.54/75.62 c | 144287 | 140 11900 83300 | 46732 45441 43 | 0.005 % |
76.14/76.26 c | 145560 | 140 11900 83300 | 46732 46714 43 | 0.005 % |
76.95/77.05 c | 146960 | 140 11900 83300 | 46732 43434 43 | 0.005 % |
77.74/77.86 c | 148500 | 140 11900 83300 | 46732 44974 43 | 0.005 % |
77.84/77.93 c | 148600 | 140 11900 83300 | 46732 45074 43 | 0.005 % |
77.84/78.00 c | 148710 | 140 11900 83300 | 46732 45184 43 | 0.005 % |
77.94/78.07 c | 148831 | 140 11900 83300 | 46732 45305 43 | 0.005 % |
78.04/78.14 c | 148965 | 140 11900 83300 | 46732 45439 43 | 0.005 % |
78.14/78.22 c | 149111 | 140 11900 83300 | 46732 45585 43 | 0.005 % |
78.24/78.31 c | 149271 | 140 11900 83300 | 46732 45745 43 | 0.005 % |
78.34/78.40 c | 149447 | 140 11900 83300 | 46732 45921 43 | 0.005 % |
78.44/78.52 c | 149643 | 140 11900 83300 | 46732 46117 43 | 0.005 % |
78.54/78.63 c | 149856 | 140 11900 83300 | 46732 46330 43 | 0.005 % |
78.64/78.75 c | 150089 | 140 11900 83300 | 2147483647 46563 43 | 0.005 % |
78.84/78.92 c | 150345 | 140 11900 83300 | 2147483647 46819 43 | 0.005 % |
78.94/79.09 c | 150628 | 140 11900 83300 | 2147483647 47102 43 | 0.005 % |
79.14/79.26 c | 150937 | 140 11900 83300 | 2147483647 47411 43 | 0.005 % |
79.34/79.46 c | 151276 | 140 11900 83300 | 2147483647 47750 43 | 0.005 % |
79.64/79.70 c | 151648 | 140 11900 83300 | 2147483647 48122 43 | 0.005 % |
79.84/79.95 c | 152058 | 140 11900 83300 | 2147483647 48532 43 | 0.005 % |
80.14/80.26 c | 152508 | 140 11900 83300 | 2147483647 48982 43 | 0.005 % |
80.54/80.60 c | 153001 | 140 11900 83300 | 2147483647 49475 43 | 0.005 % |
80.84/80.97 c | 153545 | 140 11900 83300 | 2147483647 50019 43 | 0.005 % |
81.24/81.33 c | 154143 | 140 11900 83300 | 2147483647 50617 43 | 0.005 % |
81.64/81.73 c | 154800 | 140 11900 83300 | 2147483647 51274 43 | 0.005 % |
82.04/82.14 c | 155520 | 140 11900 83300 | 2147483647 51994 43 | 0.005 % |
82.64/82.71 c | 156314 | 140 11900 83300 | 2147483647 52788 43 | 0.005 % |
83.04/83.19 c | 157187 | 140 11900 83300 | 2147483647 53661 43 | 0.005 % |
83.64/83.76 c | 158145 | 140 11900 83300 | 2147483647 54619 43 | 0.005 % |
84.35/84.41 c | 159199 | 140 11900 83300 | 2147483647 55673 43 | 0.005 % |
85.05/85.14 c | 160358 | 140 11900 83300 | 56477 50328 43 | 0.005 % |
85.75/85.85 c | 161631 | 140 11900 83300 | 56477 51601 43 | 0.005 % |
86.55/86.66 c | 163033 | 140 11900 83300 | 56477 53003 43 | 0.005 % |
87.55/87.69 c | 164573 | 140 11900 83300 | 56477 54543 43 | 0.005 % |
88.85/88.92 c | 166269 | 140 11900 83300 | 56477 56239 43 | 0.005 % |
88.85/88.99 c | 166369 | 140 11900 83300 | 56477 56339 43 | 0.005 % |
88.95/89.06 c | 166480 | 140 11900 83300 | 56477 56450 43 | 0.005 % |
89.15/89.20 c | 166601 | 140 11900 83300 | 56477 49304 43 | 0.005 % |
89.15/89.29 c | 166734 | 140 11900 83300 | 56477 49437 43 | 0.005 % |
89.25/89.39 c | 166881 | 140 11900 83300 | 56477 49584 43 | 0.005 % |
89.35/89.48 c | 167041 | 140 11900 83300 | 56477 49744 43 | 0.005 % |
89.55/89.62 c | 167217 | 140 11900 83300 | 56477 49920 43 | 0.005 % |
89.65/89.76 c | 167411 | 140 11900 83300 | 56477 50114 43 | 0.005 % |
89.85/89.92 c | 167623 | 140 11900 83300 | 56477 50326 43 | 0.005 % |
89.95/90.06 c | 167856 | 140 11900 83300 | 56477 50559 43 | 0.005 % |
90.15/90.22 c | 168113 | 140 11900 83300 | 56477 50816 43 | 0.005 % |
90.25/90.38 c | 168394 | 140 11900 83300 | 56477 51097 43 | 0.005 % |
90.45/90.56 c | 168703 | 140 11900 83300 | 56477 51406 43 | 0.005 % |
90.65/90.76 c | 169047 | 140 11900 83300 | 56477 51750 43 | 0.005 % |
90.95/91.05 c | 169420 | 140 11900 83300 | 56477 52123 43 | 0.005 % |
91.25/91.31 c | 169829 | 140 11900 83300 | 56477 52532 43 | 0.005 % |
91.55/91.63 c | 170278 | 140 11900 83300 | 52704 46009 43 | 0.005 % |
91.75/91.88 c | 170773 | 140 11900 83300 | 52704 46504 43 | 0.005 % |
92.05/92.18 c | 171317 | 140 11900 83300 | 52704 47048 43 | 0.005 % |
92.35/92.47 c | 171913 | 140 11900 83300 | 52704 47644 43 | 0.005 % |
92.74/92.80 c | 172568 | 140 11900 83300 | 52704 48299 43 | 0.005 % |
93.14/93.27 c | 173289 | 140 11900 83300 | 52704 49020 43 | 0.005 % |
93.64/93.77 c | 174081 | 140 11900 83300 | 52704 49812 43 | 0.005 % |
94.25/94.30 c | 174952 | 140 11900 83300 | 52704 50683 43 | 0.005 % |
94.75/94.86 c | 175913 | 140 11900 83300 | 52704 51644 43 | 0.005 % |
95.44/95.52 c | 176968 | 140 11900 83300 | 52704 52699 43 | 0.005 % |
96.04/96.15 c | 178126 | 140 11900 83300 | 52704 47716 43 | 0.005 % |
96.75/96.86 c | 179402 | 140 11900 83300 | 52704 48992 43 | 0.005 % |
97.54/97.66 c | 180802 | 140 11900 83300 | 49590 45056 43 | 0.005 % |
98.34/98.43 c | 182343 | 140 11900 83300 | 49590 46597 43 | 0.005 % |
99.14/99.26 c | 184037 | 140 11900 83300 | 49590 48291 43 | 0.005 % |
100.24/100.37 c | 185900 | 140 11900 83300 | 49590 45189 43 | 0.005 % |
100.34/100.42 c | 186004 | 140 11900 83300 | 49590 45293 43 | 0.005 % |
100.34/100.49 c | 186115 | 140 11900 83300 | 49590 45404 43 | 0.005 % |
100.44/100.55 c | 186238 | 140 11900 83300 | 49590 45527 43 | 0.005 % |
100.54/100.62 c | 186372 | 140 11900 83300 | 49590 45661 43 | 0.005 % |
100.54/100.69 c | 186520 | 140 11900 83300 | 49590 45809 43 | 0.005 % |
100.74/100.81 c | 186680 | 140 11900 83300 | 49590 45969 43 | 0.005 % |
100.84/100.92 c | 186857 | 140 11900 83300 | 49590 46146 43 | 0.005 % |
100.94/101.03 c | 187051 | 140 11900 83300 | 49590 46340 43 | 0.005 % |
101.04/101.15 c | 187263 | 140 11900 83300 | 49590 46552 43 | 0.005 % |
101.14/101.28 c | 187496 | 140 11900 83300 | 49590 46785 43 | 0.005 % |
101.34/101.43 c | 187754 | 140 11900 83300 | 49590 47043 43 | 0.005 % |
101.44/101.58 c | 188036 | 140 11900 83300 | 49590 47325 43 | 0.005 % |
101.64/101.77 c | 188345 | 140 11900 83300 | 49590 47634 43 | 0.005 % |
101.84/101.93 c | 188684 | 140 11900 83300 | 49590 47973 43 | 0.005 % |
102.04/102.12 c | 189058 | 140 11900 83300 | 49590 48347 43 | 0.005 % |
102.24/102.38 c | 189469 | 140 11900 83300 | 49590 48758 43 | 0.005 % |
102.54/102.66 c | 189921 | 140 11900 83300 | 49590 49210 43 | 0.005 % |
102.84/102.94 c | 190414 | 140 11900 83300 | 2147483647 49703 43 | 0.005 % |
103.14/103.28 c | 190957 | 140 11900 83300 | 2147483647 50246 43 | 0.005 % |
103.54/103.64 c | 191553 | 140 11900 83300 | 2147483647 50842 43 | 0.005 % |
103.94/104.08 c | 192209 | 140 11900 83300 | 2147483647 51498 43 | 0.005 % |
104.44/104.54 c | 192929 | 140 11900 83300 | 2147483647 52218 43 | 0.005 % |
104.94/105.03 c | 193721 | 140 11900 83300 | 2147483647 53010 43 | 0.005 % |
105.44/105.53 c | 194594 | 140 11900 83300 | 2147483647 53883 43 | 0.005 % |
106.04/106.17 c | 195552 | 140 11900 83300 | 2147483647 54841 43 | 0.005 % |
106.74/106.83 c | 196605 | 140 11900 83300 | 2147483647 55894 43 | 0.005 % |
107.44/107.58 c | 197764 | 140 11900 83300 | 2147483647 57053 43 | 0.005 % |
108.24/108.39 c | 199037 | 140 11900 83300 | 2147483647 58326 43 | 0.005 % |
109.24/109.37 c | 200437 | 140 11900 83300 | 59289 51926 43 | 0.005 % |
110.14/110.22 c | 201977 | 140 11900 83300 | 59289 53466 43 | 0.005 % |
111.14/111.20 c | 203676 | 140 11900 83300 | 59289 55165 43 | 0.005 % |
112.24/112.30 c | 205539 | 140 11900 83300 | 59289 57028 43 | 0.005 % |
113.64/113.79 c | 207589 | 140 11900 83300 | 59289 59078 43 | 0.005 % |
113.74/113.88 c | 207690 | 140 11900 83300 | 59289 59179 43 | 0.005 % |
113.84/113.97 c | 207802 | 140 11900 83300 | 59289 59291 43 | 0.005 % |
114.04/114.11 c | 207923 | 140 11900 83300 | 59289 51168 43 | 0.005 % |
114.04/114.18 c | 208056 | 140 11900 83300 | 59289 51301 43 | 0.005 % |
114.14/114.30 c | 208202 | 140 11900 83300 | 59289 51447 43 | 0.005 % |
114.34/114.42 c | 208362 | 140 11900 83300 | 59289 51607 43 | 0.005 % |
114.44/114.53 c | 208538 | 140 11900 83300 | 59289 51783 43 | 0.005 % |
114.63/114.70 c | 208732 | 140 11900 83300 | 59289 51977 43 | 0.005 % |
114.73/114.86 c | 208944 | 140 11900 83300 | 59289 52189 43 | 0.005 % |
114.93/115.00 c | 209177 | 140 11900 83300 | 59289 52422 43 | 0.005 % |
115.03/115.16 c | 209435 | 140 11900 83300 | 59289 52680 43 | 0.005 % |
115.23/115.37 c | 209717 | 140 11900 83300 | 59289 52962 43 | 0.005 % |
115.44/115.54 c | 210027 | 140 11900 83300 | 53248 53272 43 | 0.005 % |
115.63/115.78 c | 210369 | 140 11900 83300 | 53248 46235 43 | 0.005 % |
115.83/115.98 c | 210741 | 140 11900 83300 | 53248 46607 43 | 0.005 % |
116.03/116.20 c | 211150 | 140 11900 83300 | 53248 47016 43 | 0.005 % |
116.33/116.41 c | 211603 | 140 11900 83300 | 53248 47469 43 | 0.005 % |
116.54/116.65 c | 212098 | 140 11900 83300 | 53248 47964 43 | 0.005 % |
116.93/117.00 c | 212642 | 140 11900 83300 | 53248 48508 43 | 0.005 % |
117.23/117.37 c | 213239 | 140 11900 83300 | 53248 49105 43 | 0.005 % |
117.64/117.73 c | 213898 | 140 11900 83300 | 53248 49764 43 | 0.005 % |
118.03/118.10 c | 214620 | 140 11900 83300 | 53248 50486 43 | 0.005 % |
118.43/118.55 c | 215413 | 140 11900 83300 | 53248 51279 44 | 0.005 % |
118.93/119.02 c | 216284 | 140 11900 83300 | 53248 52150 43 | 0.005 % |
119.43/119.53 c | 217242 | 140 11900 83300 | 53248 53108 43 | 0.005 % |
119.93/120.10 c | 218297 | 140 11900 83300 | 53248 48299 43 | 0.005 % |
120.53/120.66 c | 219455 | 140 11900 83300 | 53248 49457 43 | 0.005 % |
121.23/121.33 c | 220731 | 140 11900 83300 | 50003 45574 43 | 0.005 % |
121.93/122.02 c | 222131 | 140 11900 83300 | 50003 46974 43 | 0.005 % |
122.63/122.76 c | 223671 | 140 11900 83300 | 50003 48514 43 | 0.005 % |
123.63/123.71 c | 225365 | 140 11900 83300 | 50003 45202 43 | 0.005 % |
124.43/124.58 c | 227229 | 140 11900 83300 | 50003 47066 43 | 0.005 % |
125.43/125.56 c | 229278 | 140 11900 83300 | 50003 49115 43 | 0.005 % |
126.63/126.72 c | 231531 | 140 11900 83300 | 2147483647 51368 43 | 0.005 % |
126.73/126.81 c | 231631 | 140 11900 83300 | 2147483647 51468 43 | 0.005 % |
126.73/126.88 c | 231742 | 140 11900 83300 | 2147483647 51579 43 | 0.005 % |
126.83/126.96 c | 231864 | 140 11900 83300 | 2147483647 51701 43 | 0.005 % |
126.93/127.04 c | 231997 | 140 11900 83300 | 2147483647 51834 43 | 0.005 % |
127.03/127.13 c | 232143 | 140 11900 83300 | 2147483647 51980 43 | 0.005 % |
127.13/127.23 c | 232303 | 140 11900 83300 | 2147483647 52140 43 | 0.005 % |
127.23/127.36 c | 232480 | 140 11900 83300 | 2147483647 52317 43 | 0.005 % |
127.33/127.50 c | 232675 | 140 11900 83300 | 2147483647 52512 43 | 0.005 % |
127.53/127.62 c | 232888 | 140 11900 83300 | 2147483647 52725 43 | 0.005 % |
127.63/127.77 c | 233122 | 140 11900 83300 | 2147483647 52959 43 | 0.005 % |
127.83/127.94 c | 233380 | 140 11900 83300 | 2147483647 53217 43 | 0.005 % |
128.03/128.14 c | 233662 | 140 11900 83300 | 2147483647 53499 43 | 0.005 % |
128.23/128.33 c | 233973 | 140 11900 83300 | 2147483647 53810 43 | 0.005 % |
128.43/128.55 c | 234312 | 140 11900 83300 | 2147483647 54149 43 | 0.005 % |
128.63/128.77 c | 234684 | 140 11900 83300 | 2147483647 54521 43 | 0.005 % |
128.93/129.03 c | 235094 | 140 11900 83300 | 2147483647 54931 43 | 0.005 % |
129.22/129.34 c | 235545 | 140 11900 83300 | 2147483647 55382 43 | 0.005 % |
129.52/129.68 c | 236038 | 140 11900 83300 | 2147483647 55875 43 | 0.005 % |
129.92/130.03 c | 236582 | 140 11900 83300 | 2147483647 56419 43 | 0.005 % |
130.32/130.48 c | 237178 | 140 11900 83300 | 2147483647 57015 43 | 0.005 % |
130.83/130.91 c | 237833 | 140 11900 83300 | 2147483647 57670 43 | 0.005 % |
131.22/131.36 c | 238554 | 140 11900 83300 | 2147483647 58391 43 | 0.005 % |
131.72/131.88 c | 239349 | 140 11900 83300 | 2147483647 59186 43 | 0.005 % |
132.32/132.48 c | 240220 | 140 11900 83300 | 59838 52233 43 | 0.005 % |
132.93/133.05 c | 241178 | 140 11900 83300 | 59838 53191 43 | 0.005 % |
133.52/133.66 c | 242231 | 140 11900 83300 | 59838 54244 43 | 0.005 % |
134.22/134.35 c | 243390 | 140 11900 83300 | 59838 55403 43 | 0.005 % |
135.02/135.14 c | 244666 | 140 11900 83300 | 59838 56679 43 | 0.005 % |
135.92/136.00 c | 246066 | 140 11900 83300 | 59838 58079 43 | 0.005 % |
136.92/137.09 c | 247606 | 140 11900 83300 | 59838 59619 43 | 0.005 % |
138.12/138.22 c | 249301 | 140 11900 83300 | 59838 53060 43 | 0.005 % |
139.12/139.24 c | 251164 | 140 11900 83300 | 53759 47520 43 | 0.005 % |
140.02/140.19 c | 253214 | 140 11900 83300 | 53759 49570 43 | 0.005 % |
141.22/141.34 c | 255467 | 140 11900 83300 | 53759 51823 43 | 0.005 % |
142.52/142.63 c | 257945 | 140 11900 83300 | 53759 48919 43 | 0.005 % |
142.52/142.69 c | 258045 | 140 11900 83300 | 53759 49019 43 | 0.005 % |
142.62/142.77 c | 258155 | 140 11900 83300 | 53759 49129 43 | 0.005 % |
142.72/142.84 c | 258279 | 140 11900 83300 | 53759 49253 43 | 0.005 % |
142.82/142.91 c | 258412 | 140 11900 83300 | 53759 49386 43 | 0.005 % |
142.82/143.00 c | 258559 | 140 11900 83300 | 53759 49533 43 | 0.005 % |
143.02/143.12 c | 258719 | 140 11900 83300 | 53759 49693 43 | 0.005 % |
143.12/143.22 c | 258895 | 140 11900 83300 | 53759 49869 43 | 0.005 % |
143.22/143.34 c | 259091 | 140 11900 83300 | 53759 50065 43 | 0.005 % |
143.32/143.45 c | 259305 | 140 11900 83300 | 53759 50279 43 | 0.005 % |
143.42/143.59 c | 259538 | 140 11900 83300 | 53759 50512 43 | 0.005 % |
143.62/143.75 c | 259794 | 140 11900 83300 | 53759 50768 43 | 0.005 % |
143.82/143.90 c | 260078 | 140 11900 83300 | 2147483647 51052 43 | 0.005 % |
143.92/144.08 c | 260387 | 140 11900 83300 | 2147483647 51361 43 | 0.005 % |
144.12/144.27 c | 260727 | 140 11900 83300 | 2147483647 51701 43 | 0.005 % |
144.42/144.50 c | 261100 | 140 11900 83300 | 2147483647 52074 43 | 0.005 % |
144.62/144.73 c | 261510 | 140 11900 83300 | 2147483647 52484 43 | 0.005 % |
144.91/145.00 c | 261960 | 140 11900 83300 | 2147483647 52934 43 | 0.005 % |
145.22/145.30 c | 262454 | 140 11900 83300 | 2147483647 53428 43 | 0.005 % |
145.52/145.62 c | 262997 | 140 11900 83300 | 2147483647 53971 43 | 0.005 % |
145.82/145.97 c | 263593 | 140 11900 83300 | 2147483647 54567 43 | 0.005 % |
146.22/146.38 c | 264248 | 140 11900 83300 | 2147483647 55222 43 | 0.005 % |
146.71/146.84 c | 264968 | 140 11900 83300 | 2147483647 55942 43 | 0.005 % |
147.22/147.32 c | 265760 | 140 11900 83300 | 2147483647 56734 43 | 0.005 % |
147.71/147.87 c | 266632 | 140 11900 83300 | 2147483647 57606 43 | 0.005 % |
148.32/148.45 c | 267591 | 140 11900 83300 | 2147483647 58565 43 | 0.005 % |
149.01/149.20 c | 268644 | 140 11900 83300 | 2147483647 59618 43 | 0.005 % |
149.81/149.97 c | 269803 | 140 11900 83300 | 2147483647 60777 43 | 0.005 % |
150.71/150.81 c | 271077 | 140 11900 83300 | 60975 53664 43 | 0.005 % |
151.62/151.75 c | 272479 | 140 11900 83300 | 60975 55066 43 | 0.005 % |
152.61/152.72 c | 274020 | 140 11900 83300 | 60975 56607 43 | 0.005 % |
153.71/153.85 c | 275715 | 140 11900 83300 | 60975 58302 43 | 0.005 % |
154.81/154.95 c | 277580 | 140 11900 83300 | 60975 60167 43 | 0.005 % |
156.21/156.36 c | 279632 | 140 11900 83300 | 60975 52940 43 | 0.005 % |
157.51/157.63 c | 281886 | 140 11900 83300 | 53308 47207 43 | 0.005 % |
158.71/158.81 c | 284364 | 140 11900 83300 | 53308 49685 44 | 0.005 % |
160.11/160.28 c | 287090 | 140 11900 83300 | 53308 52411 44 | 0.005 % |
160.21/160.36 c | 287191 | 140 11900 83300 | 53308 52512 44 | 0.005 % |
160.31/160.42 c | 287302 | 140 11900 83300 | 53308 52623 44 | 0.005 % |
160.31/160.50 c | 287424 | 140 11900 83300 | 53308 52745 44 | 0.005 % |
160.41/160.59 c | 287557 | 140 11900 83300 | 53308 52878 44 | 0.005 % |
160.61/160.70 c | 287705 | 140 11900 83300 | 53308 53026 44 | 0.005 % |
160.71/160.81 c | 287865 | 140 11900 83300 | 53308 53186 44 | 0.005 % |
160.81/160.92 c | 288042 | 140 11900 83300 | 53308 53363 44 | 0.005 % |
161.01/161.10 c | 288239 | 140 11900 83300 | 53308 47562 44 | 0.005 % |
161.11/161.22 c | 288451 | 140 11900 83300 | 53308 47774 44 | 0.005 % |
161.21/161.37 c | 288686 | 140 11900 83300 | 53308 48009 44 | 0.005 % |
161.41/161.50 c | 288944 | 140 11900 83300 | 53308 48267 44 | 0.005 % |
161.51/161.65 c | 289227 | 140 11900 83300 | 53308 48550 44 | 0.005 % |
161.71/161.81 c | 289536 | 140 11900 83300 | 53308 48859 44 | 0.005 % |
161.91/162.09 c | 289876 | 140 11900 83300 | 53308 49199 44 | 0.005 % |
162.21/162.35 c | 290249 | 140 11900 83300 | 49325 44018 44 | 0.005 % |
162.41/162.58 c | 290658 | 140 11900 83300 | 49325 44427 44 | 0.005 % |
162.71/162.84 c | 291107 | 140 11900 83300 | 49325 44876 44 | 0.005 % |
163.01/163.10 c | 291600 | 140 11900 83300 | 49325 45369 44 | 0.005 % |
163.21/163.39 c | 292143 | 140 11900 83300 | 49325 45912 44 | 0.005 % |
163.51/163.69 c | 292739 | 140 11900 83300 | 49325 46508 44 | 0.005 % |
163.91/164.02 c | 293394 | 140 11900 83300 | 49325 47163 44 | 0.005 % |
164.21/164.35 c | 294116 | 140 11900 83300 | 49325 47885 44 | 0.005 % |
164.60/164.77 c | 294909 | 140 11900 83300 | 49325 48678 44 | 0.005 % |
165.10/165.27 c | 295780 | 140 11900 83300 | 49325 44611 44 | 0.005 % |
165.50/165.69 c | 296738 | 140 11900 83300 | 49325 45569 44 | 0.005 % |
166.10/166.22 c | 297793 | 140 11900 83300 | 49325 46624 44 | 0.005 % |
166.60/166.79 c | 298951 | 140 11900 83300 | 49325 47782 44 | 0.005 % |
167.30/167.47 c | 300224 | 140 11900 83300 | 2147483647 49055 44 | 0.005 % |
168.11/168.22 c | 301624 | 140 11900 83300 | 2147483647 50455 44 | 0.005 % |
169.00/169.11 c | 303164 | 140 11900 83300 | 2147483647 51995 44 | 0.005 % |
169.90/170.06 c | 304860 | 140 11900 83300 | 2147483647 53691 44 | 0.005 % |
171.10/171.20 c | 306723 | 140 11900 83300 | 2147483647 55554 44 | 0.005 % |
172.30/172.45 c | 308772 | 140 11900 83300 | 2147483647 57603 44 | 0.005 % |
173.71/173.83 c | 311025 | 140 11900 83300 | 58831 53293 44 | 0.005 % |
175.20/175.37 c | 313506 | 140 11900 83300 | 58831 55774 44 | 0.005 % |
177.00/177.11 c | 316231 | 140 11900 83300 | 58831 58499 44 | 0.005 % |
178.80/178.97 c | 319229 | 140 11900 83300 | 58831 53492 44 | 0.005 % |
178.90/179.03 c | 319330 | 140 11900 83300 | 58831 53593 44 | 0.005 % |
179.00/179.10 c | 319440 | 140 11900 83300 | 58831 53703 44 | 0.005 % |
179.00/179.17 c | 319562 | 140 11900 83300 | 58831 53825 44 | 0.005 % |
179.10/179.29 c | 319695 | 140 11900 83300 | 58831 53958 44 | 0.005 % |
179.20/179.39 c | 319844 | 140 11900 83300 | 58831 54107 44 | 0.005 % |
179.30/179.49 c | 320004 | 140 11900 83300 | 54263 54267 44 | 0.005 % |
179.50/179.66 c | 320182 | 140 11900 83300 | 54263 47259 44 | 0.005 % |
179.60/179.77 c | 320376 | 140 11900 83300 | 54263 47453 44 | 0.005 % |
179.70/179.88 c | 320592 | 140 11900 83300 | 54263 47669 44 | 0.005 % |
179.90/180.02 c | 320827 | 140 11900 83300 | 54263 47904 44 | 0.005 % |
180.00/180.17 c | 321084 | 140 11900 83300 | 54263 48161 44 | 0.005 % |
180.20/180.36 c | 321365 | 140 11900 83300 | 54263 48442 44 | 0.005 % |
180.40/180.55 c | 321674 | 140 11900 83300 | 54263 48751 44 | 0.005 % |
180.60/180.75 c | 322013 | 140 11900 83300 | 54263 49090 44 | 0.005 % |
180.80/180.99 c | 322386 | 140 11900 83300 | 54263 49463 44 | 0.005 % |
181.10/181.25 c | 322796 | 140 11900 83300 | 54263 49873 44 | 0.005 % |
181.40/181.55 c | 323245 | 140 11900 83300 | 54263 50322 44 | 0.005 % |
181.70/181.85 c | 323738 | 140 11900 83300 | 54263 50815 44 | 0.005 % |
182.00/182.17 c | 324282 | 140 11900 83300 | 54263 51359 44 | 0.005 % |
182.40/182.54 c | 324878 | 140 11900 83300 | 54263 51955 44 | 0.005 % |
182.80/182.92 c | 325535 | 140 11900 83300 | 54263 52612 44 | 0.005 % |
183.20/183.35 c | 326255 | 140 11900 83300 | 54263 53332 44 | 0.005 % |
183.70/183.81 c | 327047 | 140 11900 83300 | 54263 54124 44 | 0.005 % |
184.20/184.33 c | 327918 | 140 11900 83300 | 54263 48081 44 | 0.005 % |
184.70/184.82 c | 328876 | 140 11900 83300 | 54263 49039 44 | 0.005 % |
185.19/185.40 c | 329929 | 140 11900 83300 | 54263 50092 44 | 0.005 % |
185.89/186.01 c | 331088 | 140 11900 83300 | 50164 45109 43 | 0.005 % |
186.59/186.74 c | 332361 | 140 11900 83300 | 50164 46382 43 | 0.005 % |
187.39/187.51 c | 333762 | 140 11900 83300 | 50164 47783 43 | 0.005 % |
188.19/188.33 c | 335303 | 140 11900 83300 | 50164 49324 43 | 0.005 % |
189.10/189.21 c | 336997 | 140 11900 83300 | 50164 45996 43 | 0.005 % |
189.89/190.08 c | 338861 | 140 11900 83300 | 50164 47860 43 | 0.005 % |
190.79/190.99 c | 340911 | 140 11900 83300 | 2147483647 49910 43 | 0.005 % |
191.99/192.15 c | 343164 | 140 11900 83300 | 2147483647 52163 44 | 0.005 % |
193.29/193.45 c | 345642 | 140 11900 83300 | 2147483647 54641 44 | 0.005 % |
194.79/194.98 c | 348371 | 140 11900 83300 | 2147483647 57370 44 | 0.005 % |
196.39/196.51 c | 351369 | 140 11900 83300 | 2147483647 60368 44 | 0.005 % |
198.40/198.54 c | 354665 | 140 11900 83300 | 2147483647 63664 44 | 0.005 % |
198.50/198.60 c | 354767 | 140 11900 83300 | 2147483647 63766 44 | 0.005 % |
198.50/198.69 c | 354878 | 140 11900 83300 | 2147483647 63877 44 | 0.005 % |
198.60/198.77 c | 354999 | 140 11900 83300 | 2147483647 63998 44 | 0.005 % |
198.70/198.87 c | 355132 | 140 11900 83300 | 2147483647 64131 44 | 0.005 % |
198.80/198.98 c | 355280 | 140 11900 83300 | 2147483647 64279 44 | 0.005 % |
198.90/199.10 c | 355440 | 140 11900 83300 | 2147483647 64439 44 | 0.005 % |
199.10/199.24 c | 355617 | 140 11900 83300 | 2147483647 64616 44 | 0.005 % |
199.20/199.38 c | 355810 | 140 11900 83300 | 2147483647 64809 44 | 0.005 % |
199.40/199.53 c | 356022 | 140 11900 83300 | 2147483647 65021 44 | 0.005 % |
199.60/199.76 c | 356255 | 140 11900 83300 | 2147483647 65254 44 | 0.005 % |
199.89/200.02 c | 356512 | 140 11900 83300 | 2147483647 65511 44 | 0.005 % |
200.10/200.27 c | 356795 | 140 11900 83300 | 2147483647 65794 44 | 0.005 % |
200.39/200.54 c | 357105 | 140 11900 83300 | 2147483647 66104 44 | 0.005 % |
200.59/200.77 c | 357445 | 140 11900 83300 | 2147483647 66444 44 | 0.005 % |
200.89/201.06 c | 357817 | 140 11900 83300 | 2147483647 66816 44 | 0.005 % |
201.20/201.38 c | 358226 | 140 11900 83300 | 2147483647 67225 44 | 0.005 % |
201.59/201.71 c | 358675 | 140 11900 83300 | 2147483647 67674 44 | 0.005 % |
201.89/202.07 c | 359169 | 140 11900 83300 | 2147483647 68168 44 | 0.005 % |
202.29/202.48 c | 359711 | 140 11900 83300 | 2147483647 68710 44 | 0.005 % |
202.79/202.96 c | 360307 | 140 11900 83300 | 68999 57712 44 | 0.005 % |
203.19/203.37 c | 360963 | 140 11900 83300 | 68999 58368 44 | 0.005 % |
203.69/203.81 c | 361684 | 140 11900 83300 | 68999 59089 44 | 0.005 % |
204.19/204.39 c | 362480 | 140 11900 83300 | 68999 59885 44 | 0.005 % |
204.79/204.98 c | 363352 | 140 11900 83300 | 68999 60757 44 | 0.005 % |
205.49/205.62 c | 364310 | 140 11900 83300 | 68999 61715 44 | 0.005 % |
206.19/206.35 c | 365364 | 140 11900 83300 | 68999 62769 44 | 0.005 % |
206.99/207.16 c | 366522 | 140 11900 83300 | 68999 63927 44 | 0.005 % |
207.99/208.19 c | 367796 | 140 11900 83300 | 68999 65201 44 | 0.005 % |
209.19/209.32 c | 369196 | 140 11900 83300 | 68999 66601 44 | 0.005 % |
210.39/210.51 c | 370737 | 140 11900 83300 | 67408 55888 44 | 0.005 % |
211.39/211.50 c | 372432 | 140 11900 83300 | 67408 57583 44 | 0.005 % |
212.59/212.70 c | 374296 | 140 11900 83300 | 67408 59447 44 | 0.005 % |
213.79/213.95 c | 376346 | 140 11900 83300 | 67408 61497 44 | 0.005 % |
215.29/215.49 c | 378600 | 140 11900 83300 | 67408 63751 44 | 0.005 % |
216.89/217.07 c | 381079 | 140 11900 83300 | 65151 55311 44 | 0.005 % |
218.48/218.69 c | 383806 | 140 11900 83300 | 65151 58038 44 | 0.005 % |
220.28/220.47 c | 386803 | 140 11900 83300 | 65151 61035 44 | 0.005 % |
222.59/222.74 c | 390099 | 140 11900 83300 | 64232 53797 44 | 0.005 % |
224.68/224.83 c | 393728 | 140 11900 83300 | 64232 57426 44 | 0.005 % |
224.78/224.91 c | 393828 | 140 11900 83300 | 64232 57526 44 | 0.005 % |
224.78/224.99 c | 393939 | 140 11900 83300 | 64232 57637 44 | 0.005 % |
224.88/225.06 c | 394060 | 140 11900 83300 | 64232 57758 44 | 0.005 % |
224.98/225.18 c | 394193 | 140 11900 83300 | 64232 57891 44 | 0.005 % |
225.08/225.28 c | 394339 | 140 11900 83300 | 64232 58037 44 | 0.005 % |
225.18/225.38 c | 394499 | 140 11900 83300 | 64232 58197 44 | 0.005 % |
225.29/225.49 c | 394676 | 140 11900 83300 | 64232 58374 44 | 0.005 % |
225.48/225.61 c | 394869 | 140 11900 83300 | 64232 58567 44 | 0.005 % |
225.58/225.75 c | 395083 | 140 11900 83300 | 64232 58781 44 | 0.005 % |
225.78/225.91 c | 395317 | 140 11900 83300 | 64232 59015 44 | 0.005 % |
225.98/226.10 c | 395573 | 140 11900 83300 | 64232 59271 44 | 0.005 % |
226.18/226.30 c | 395854 | 140 11900 83300 | 64232 59552 44 | 0.005 % |
226.39/226.52 c | 396163 | 140 11900 83300 | 64232 59861 44 | 0.005 % |
226.58/226.77 c | 396502 | 140 11900 83300 | 64232 60200 44 | 0.005 % |
226.88/227.05 c | 396875 | 140 11900 83300 | 64232 60573 44 | 0.005 % |
227.18/227.31 c | 397286 | 140 11900 83300 | 64232 60984 44 | 0.005 % |
227.49/227.64 c | 397736 | 140 11900 83300 | 64232 61434 44 | 0.005 % |
227.88/228.02 c | 398229 | 140 11900 83300 | 64232 61927 44 | 0.005 % |
228.18/228.39 c | 398771 | 140 11900 83300 | 64232 62469 44 | 0.005 % |
228.69/228.83 c | 399368 | 140 11900 83300 | 64232 63066 44 | 0.005 % |
229.08/229.26 c | 400024 | 140 11900 83300 | 63698 63722 44 | 0.005 % |
229.69/229.86 c | 400747 | 140 11900 83300 | 63698 54159 44 | 0.005 % |
230.18/230.38 c | 401539 | 140 11900 83300 | 63698 54951 44 | 0.005 % |
230.79/230.97 c | 402411 | 140 11900 83300 | 63698 55823 44 | 0.005 % |
231.38/231.60 c | 403371 | 140 11900 83300 | 63698 56783 44 | 0.005 % |
232.08/232.28 c | 404426 | 140 11900 83300 | 63698 57838 44 | 0.005 % |
232.88/233.08 c | 405585 | 140 11900 83300 | 63698 58997 44 | 0.005 % |
233.78/233.99 c | 406861 | 140 11900 83300 | 63698 60273 44 | 0.005 % |
234.78/234.98 c | 408261 | 140 11900 83300 | 63698 61673 44 | 0.005 % |
235.78/235.90 c | 409802 | 140 11900 83300 | 63698 63214 44 | 0.005 % |
236.68/236.89 c | 411497 | 140 11900 83300 | 63415 54186 44 | 0.005 % |
237.78/237.93 c | 413360 | 140 11900 83300 | 63415 56049 44 | 0.005 % |
238.88/239.10 c | 415410 | 140 11900 83300 | 63415 58099 44 | 0.005 % |
240.28/240.41 c | 417663 | 140 11900 83300 | 63415 60352 44 | 0.005 % |
241.68/241.89 c | 420142 | 140 11900 83300 | 62695 53865 44 | 0.005 % |
243.28/243.44 c | 422867 | 140 11900 83300 | 62695 56590 44 | 0.005 % |
245.08/245.24 c | 425864 | 140 11900 83300 | 62695 59587 44 | 0.005 % |
247.17/247.40 c | 429161 | 140 11900 83300 | 62695 54099 44 | 0.005 % |
249.17/249.33 c | 432788 | 140 11900 83300 | 54940 50050 44 | 0.005 % |
251.27/251.45 c | 436775 | 140 11900 83300 | 54940 54037 44 | 0.005 % |
251.37/251.50 c | 436876 | 140 11900 83300 | 54940 54138 44 | 0.005 % |
251.37/251.56 c | 436989 | 140 11900 83300 | 54940 54251 44 | 0.005 % |
251.47/251.64 c | 437110 | 140 11900 83300 | 54940 54372 44 | 0.005 % |
251.57/251.73 c | 437245 | 140 11900 83300 | 54940 54507 44 | 0.005 % |
251.68/251.82 c | 437391 | 140 11900 83300 | 54940 54653 44 | 0.005 % |
251.78/251.94 c | 437551 | 140 11900 83300 | 54940 54813 44 | 0.005 % |
251.87/252.09 c | 437727 | 140 11900 83300 | 54940 54989 44 | 0.005 % |
252.07/252.27 c | 437920 | 140 11900 83300 | 54940 48969 44 | 0.005 % |
252.27/252.40 c | 438132 | 140 11900 83300 | 54940 49181 44 | 0.005 % |
252.37/252.53 c | 438365 | 140 11900 83300 | 54940 49414 44 | 0.005 % |
252.47/252.68 c | 438621 | 140 11900 83300 | 54940 49670 44 | 0.005 % |
252.67/252.86 c | 438903 | 140 11900 83300 | 54940 49952 44 | 0.005 % |
252.88/253.05 c | 439215 | 140 11900 83300 | 54940 50264 44 | 0.005 % |
253.07/253.24 c | 439554 | 140 11900 83300 | 54940 50603 44 | 0.005 % |
253.27/253.49 c | 439927 | 140 11900 83300 | 54940 50976 44 | 0.005 % |
253.57/253.76 c | 440338 | 140 11900 83300 | 51050 45428 44 | 0.005 % |
253.77/253.99 c | 440787 | 140 11900 83300 | 51050 45877 44 | 0.005 % |
254.07/254.26 c | 441282 | 140 11900 83300 | 51050 46372 44 | 0.005 % |
254.37/254.54 c | 441824 | 140 11900 83300 | 51050 46914 44 | 0.005 % |
254.67/254.86 c | 442422 | 140 11900 83300 | 51050 47512 44 | 0.005 % |
255.07/255.24 c | 443077 | 140 11900 83300 | 51050 48167 44 | 0.005 % |
255.47/255.65 c | 443802 | 140 11900 83300 | 51050 48892 44 | 0.005 % |
255.97/256.12 c | 444595 | 140 11900 83300 | 51050 49685 44 | 0.005 % |
256.57/256.71 c | 445468 | 140 11900 83300 | 51050 50558 44 | 0.005 % |
257.07/257.27 c | 446426 | 140 11900 83300 | 51050 46132 44 | 0.005 % |
257.57/257.78 c | 447479 | 140 11900 83300 | 51050 47185 44 | 0.005 % |
258.17/258.33 c | 448640 | 140 11900 83300 | 51050 48346 44 | 0.005 % |
258.77/258.95 c | 449916 | 140 11900 83300 | 51050 49622 44 | 0.005 % |
259.57/259.70 c | 451316 | 140 11900 83300 | 2147483647 51022 44 | 0.005 % |
260.37/260.56 c | 452859 | 140 11900 83300 | 2147483647 52565 44 | 0.005 % |
261.27/261.45 c | 454554 | 140 11900 83300 | 2147483647 54260 44 | 0.005 % |
262.47/262.61 c | 456418 | 140 11900 83300 | 2147483647 56124 44 | 0.005 % |
263.67/263.81 c | 458469 | 140 11900 83300 | 2147483647 58175 44 | 0.005 % |
264.87/265.04 c | 460722 | 140 11900 83300 | 59706 53166 44 | 0.005 % |
266.17/266.33 c | 463201 | 140 11900 83300 | 59706 55645 44 | 0.005 % |
267.67/267.89 c | 465926 | 140 11900 83300 | 59706 58370 44 | 0.005 % |
269.47/269.65 c | 468923 | 140 11900 83300 | 59706 54340 44 | 0.005 % |
271.17/271.39 c | 472220 | 140 11900 83300 | 55417 51227 44 | 0.005 % |
273.17/273.31 c | 475845 | 140 11900 83300 | 55417 54852 44 | 0.005 % |
275.16/275.32 c | 479833 | 140 11900 83300 | 55417 52971 44 | 0.005 % |
277.56/277.73 c | 484221 | 140 11900 83300 | 2147483647 57359 44 | 0.005 % |
277.56/277.79 c | 484321 | 140 11900 83300 | 2147483647 57459 44 | 0.005 % |
277.66/277.86 c | 484433 | 140 11900 83300 | 2147483647 57571 44 | 0.005 % |
277.76/277.95 c | 484554 | 140 11900 83300 | 2147483647 57692 44 | 0.005 % |
277.86/278.06 c | 484687 | 140 11900 83300 | 2147483647 57825 44 | 0.005 % |
277.96/278.19 c | 484833 | 140 11900 83300 | 2147483647 57971 44 | 0.005 % |
278.07/278.29 c | 484993 | 140 11900 83300 | 2147483647 58131 44 | 0.005 % |
278.26/278.42 c | 485169 | 140 11900 83300 | 2147483647 58307 44 | 0.005 % |
278.36/278.56 c | 485364 | 140 11900 83300 | 2147483647 58502 44 | 0.005 % |
278.56/278.72 c | 485576 | 140 11900 83300 | 2147483647 58714 44 | 0.005 % |
278.76/278.90 c | 485809 | 140 11900 83300 | 2147483647 58947 44 | 0.005 % |
278.86/279.07 c | 486065 | 140 11900 83300 | 2147483647 59203 44 | 0.005 % |
279.06/279.26 c | 486346 | 140 11900 83300 | 2147483647 59484 44 | 0.005 % |
279.26/279.46 c | 486656 | 140 11900 83300 | 2147483647 59794 44 | 0.005 % |
279.46/279.67 c | 486995 | 140 11900 83300 | 2147483647 60133 44 | 0.005 % |
279.76/279.92 c | 487367 | 140 11900 83300 | 2147483647 60505 44 | 0.005 % |
279.96/280.19 c | 487778 | 140 11900 83300 | 2147483647 60916 44 | 0.005 % |
280.26/280.48 c | 488230 | 140 11900 83300 | 2147483647 61368 44 | 0.005 % |
280.66/280.80 c | 488724 | 140 11900 83300 | 2147483647 61862 44 | 0.005 % |
280.96/281.16 c | 489266 | 140 11900 83300 | 2147483647 62404 44 | 0.005 % |
281.36/281.59 c | 489865 | 140 11900 83300 | 2147483647 63003 44 | 0.005 % |
281.86/282.05 c | 490521 | 140 11900 83300 | 63138 54887 43 | 0.005 % |
282.36/282.50 c | 491241 | 140 11900 83300 | 63138 55607 44 | 0.005 % |
282.76/282.99 c | 492034 | 140 11900 83300 | 63138 56400 44 | 0.005 % |
283.36/283.56 c | 492905 | 140 11900 83300 | 63138 57271 44 | 0.005 % |
283.96/284.13 c | 493864 | 140 11900 83300 | 63138 58230 44 | 0.005 % |
284.66/284.81 c | 494917 | 140 11900 83300 | 63138 59283 44 | 0.005 % |
285.36/285.57 c | 496075 | 140 11900 83300 | 63138 60441 44 | 0.005 % |
286.26/286.48 c | 497348 | 140 11900 83300 | 63138 61714 43 | 0.005 % |
287.26/287.40 c | 498749 | 140 11900 83300 | 63138 63115 43 | 0.005 % |
288.16/288.35 c | 500291 | 140 11900 83300 | 54650 46781 44 | 0.005 % |
288.96/289.10 c | 501985 | 140 11900 83300 | 54650 48475 44 | 0.005 % |
289.75/289.99 c | 503849 | 140 11900 83300 | 54650 50339 44 | 0.005 % |
290.85/291.06 c | 505898 | 140 11900 83300 | 54650 52388 44 | 0.005 % |
291.95/292.18 c | 508154 | 140 11900 83300 | 54650 54644 44 | 0.005 % |
293.25/293.43 c | 510632 | 140 11900 83300 | 2147483647 51609 43 | 0.005 % |
294.56/294.79 c | 513358 | 140 11900 83300 | 2147483647 54335 44 | 0.005 % |
296.25/296.46 c | 516355 | 140 11900 83300 | 2147483647 57332 44 | 0.005 % |
298.15/298.38 c | 519651 | 140 11900 83300 | 2147483647 60628 44 | 0.005 % |
300.35/300.57 c | 523277 | 140 11900 83300 | 60979 56875 44 | 0.005 % |
302.65/302.88 c | 527264 | 140 11900 83300 | 60979 60862 44 | 0.005 % |
305.15/305.33 c | 531651 | 140 11900 83300 | 55698 50224 44 | 0.005 % |
307.65/307.90 c | 536474 | 140 11900 83300 | 55698 55047 44 | 0.005 % |
307.75/307.95 c | 536574 | 140 11900 83300 | 55698 55147 44 | 0.005 % |
307.85/308.03 c | 536684 | 140 11900 83300 | 55698 55257 44 | 0.005 % |
307.95/308.12 c | 536805 | 140 11900 83300 | 55698 55378 44 | 0.005 % |
307.95/308.20 c | 536941 | 140 11900 83300 | 55698 55514 44 | 0.005 % |
308.05/308.29 c | 537088 | 140 11900 83300 | 55698 55661 44 | 0.005 % |
308.25/308.44 c | 537248 | 140 11900 83300 | 55698 49901 44 | 0.005 % |
308.35/308.56 c | 537424 | 140 11900 83300 | 55698 50077 44 | 0.005 % |
308.45/308.69 c | 537617 | 140 11900 83300 | 55698 50270 44 | 0.005 % |
308.65/308.82 c | 537830 | 140 11900 83300 | 55698 50483 44 | 0.005 % |
308.75/308.99 c | 538064 | 140 11900 83300 | 55698 50717 44 | 0.005 % |
308.95/309.17 c | 538320 | 140 11900 83300 | 55698 50973 44 | 0.005 % |
309.15/309.33 c | 538601 | 140 11900 83300 | 55698 51254 44 | 0.005 % |
309.25/309.48 c | 538912 | 140 11900 83300 | 55698 51565 44 | 0.005 % |
309.45/309.69 c | 539251 | 140 11900 83300 | 55698 51904 44 | 0.005 % |
309.75/309.91 c | 539623 | 140 11900 83300 | 55698 52276 44 | 0.005 % |
309.95/310.16 c | 540032 | 140 11900 83300 | 52655 52685 44 | 0.005 % |
310.24/310.45 c | 540482 | 140 11900 83300 | 52655 47326 44 | 0.005 % |
310.54/310.71 c | 540976 | 140 11900 83300 | 52655 47820 44 | 0.005 % |
310.84/311.01 c | 541519 | 140 11900 83300 | 52655 48363 44 | 0.005 % |
311.15/311.33 c | 542117 | 140 11900 83300 | 52655 48961 44 | 0.005 % |
311.44/311.67 c | 542772 | 140 11900 83300 | 52655 49616 44 | 0.005 % |
311.84/312.10 c | 543493 | 140 11900 83300 | 52655 50337 44 | 0.005 % |
312.44/312.63 c | 544286 | 140 11900 83300 | 52655 51130 44 | 0.005 % |
312.94/313.13 c | 545157 | 140 11900 83300 | 52655 52001 44 | 0.005 % |
313.44/313.67 c | 546117 | 140 11900 83300 | 52655 47070 44 | 0.005 % |
314.04/314.21 c | 547172 | 140 11900 83300 | 52655 48125 44 | 0.005 % |
314.64/314.85 c | 548332 | 140 11900 83300 | 52655 49285 44 | 0.005 % |
315.24/315.49 c | 549606 | 140 11900 83300 | 52655 50559 44 | 0.005 % |
316.04/316.20 c | 551008 | 140 11900 83300 | 50953 46826 44 | 0.005 % |
316.74/316.98 c | 552548 | 140 11900 83300 | 50953 48366 44 | 0.005 % |
317.65/317.88 c | 554242 | 140 11900 83300 | 50953 50060 44 | 0.005 % |
318.75/318.91 c | 556105 | 140 11900 83300 | 50953 46822 44 | 0.005 % |
319.74/319.96 c | 558155 | 140 11900 83300 | 50953 48872 44 | 0.005 % |
320.84/321.06 c | 560408 | 140 11900 83300 | 2147483647 51125 44 | 0.005 % |
322.15/322.35 c | 562889 | 140 11900 83300 | 2147483647 53606 44 | 0.005 % |
323.64/323.84 c | 565615 | 140 11900 83300 | 2147483647 56332 44 | 0.005 % |
325.45/325.60 c | 568614 | 140 11900 83300 | 2147483647 59331 44 | 0.005 % |
327.44/327.65 c | 571911 | 140 11900 83300 | 60717 55543 44 | 0.005 % |
329.64/329.90 c | 575538 | 140 11900 83300 | 60717 59170 44 | 0.005 % |
332.24/332.48 c | 579525 | 140 11900 83300 | 60717 54557 44 | 0.005 % |
334.64/334.85 c | 583911 | 140 11900 83300 | 55033 51089 44 | 0.005 % |
337.44/337.66 c | 588734 | 140 11900 83300 | 55033 49473 44 | 0.005 % |
340.24/340.46 c | 594039 | 140 11900 83300 | 50740 49160 44 | 0.005 % |
340.34/340.54 c | 594139 | 140 11900 83300 | 50740 49260 44 | 0.005 % |
340.44/340.60 c | 594249 | 140 11900 83300 | 50740 49370 44 | 0.005 % |
340.44/340.69 c | 594371 | 140 11900 83300 | 50740 49492 44 | 0.005 % |
340.54/340.78 c | 594505 | 140 11900 83300 | 50740 49626 44 | 0.005 % |
340.64/340.87 c | 594651 | 140 11900 83300 | 50740 49772 44 | 0.005 % |
340.74/340.98 c | 594811 | 140 11900 83300 | 50740 49932 44 | 0.005 % |
340.94/341.10 c | 594989 | 140 11900 83300 | 50740 50110 44 | 0.005 % |
341.04/341.21 c | 595183 | 140 11900 83300 | 50740 50304 44 | 0.005 % |
341.14/341.32 c | 595395 | 140 11900 83300 | 50740 50516 44 | 0.005 % |
341.23/341.46 c | 595631 | 140 11900 83300 | 50740 50752 44 | 0.005 % |
341.43/341.64 c | 595889 | 140 11900 83300 | 50740 45935 44 | 0.005 % |
341.63/341.80 c | 596172 | 140 11900 83300 | 50740 46218 44 | 0.005 % |
341.73/342.00 c | 596482 | 140 11900 83300 | 50740 46528 44 | 0.005 % |
341.94/342.18 c | 596821 | 140 11900 83300 | 50740 46867 44 | 0.005 % |
342.13/342.36 c | 597193 | 140 11900 83300 | 50740 47239 44 | 0.005 % |
342.33/342.59 c | 597605 | 140 11900 83300 | 50740 47651 44 | 0.005 % |
342.63/342.82 c | 598054 | 140 11900 83300 | 50740 48100 44 | 0.005 % |
342.94/343.13 c | 598548 | 140 11900 83300 | 50740 48594 44 | 0.005 % |
343.23/343.46 c | 599091 | 140 11900 83300 | 50740 49137 44 | 0.005 % |
343.53/343.79 c | 599688 | 140 11900 83300 | 50740 49734 44 | 0.005 % |
343.93/344.15 c | 600344 | 140 11900 83300 | 2147483647 50390 44 | 0.005 % |
344.33/344.54 c | 601064 | 140 11900 83300 | 2147483647 51110 44 | 0.005 % |
344.93/345.10 c | 601856 | 140 11900 83300 | 2147483647 51902 44 | 0.005 % |
345.43/345.67 c | 602727 | 140 11900 83300 | 2147483647 52773 44 | 0.005 % |
345.93/346.19 c | 603686 | 140 11900 83300 | 2147483647 53732 44 | 0.005 % |
346.63/346.82 c | 604740 | 140 11900 83300 | 2147483647 54786 44 | 0.005 % |
347.23/347.47 c | 605899 | 140 11900 83300 | 2147483647 55945 44 | 0.005 % |
347.93/348.15 c | 607173 | 140 11900 83300 | 2147483647 57219 44 | 0.005 % |
348.73/348.93 c | 608573 | 140 11900 83300 | 2147483647 58619 44 | 0.005 % |
349.93/350.17 c | 610113 | 140 11900 83300 | 60046 52309 44 | 0.005 % |
351.03/351.23 c | 611807 | 140 11900 83300 | 60046 54003 44 | 0.005 % |
352.23/352.40 c | 613672 | 140 11900 83300 | 60046 55868 44 | 0.005 % |
353.53/353.79 c | 615722 | 140 11900 83300 | 60046 57918 44 | 0.005 % |
355.13/355.32 c | 617976 | 140 11900 83300 | 60046 51476 44 | 0.005 % |
356.53/356.77 c | 620456 | 140 11900 83300 | 53500 46550 44 | 0.005 % |
358.03/358.23 c | 623181 | 140 11900 83300 | 53500 49275 44 | 0.005 % |
359.73/359.90 c | 626178 | 140 11900 83300 | 53500 52272 44 | 0.005 % |
361.33/361.55 c | 629474 | 140 11900 83300 | 53500 50086 43 | 0.005 % |
363.23/363.48 c | 633099 | 140 11900 83300 | 2147483647 53711 44 | 0.005 % |
365.63/365.87 c | 637086 | 140 11900 83300 | 2147483647 57698 44 | 0.005 % |
368.24/368.48 c | 641472 | 140 11900 83300 | 60613 54150 44 | 0.005 % |
371.23/371.48 c | 646295 | 140 11900 83300 | 60613 58973 44 | 0.005 % |
374.53/374.73 c | 651600 | 140 11900 83300 | 54317 48516 44 | 0.005 % |
378.03/378.28 c | 657439 | 140 11900 83300 | 54317 54355 44 | 0.005 % |
378.14/378.39 c | 657539 | 140 11900 83300 | 54317 47907 44 | 0.005 % |
378.24/378.46 c | 657649 | 140 11900 83300 | 54317 48017 44 | 0.005 % |
378.33/378.54 c | 657772 | 140 11900 83300 | 54317 48140 44 | 0.005 % |
378.43/378.60 c | 657905 | 140 11900 83300 | 54317 48273 44 | 0.005 % |
378.43/378.68 c | 658052 | 140 11900 83300 | 54317 48420 44 | 0.005 % |
378.63/378.81 c | 658212 | 140 11900 83300 | 54317 48580 44 | 0.005 % |
378.73/378.92 c | 658389 | 140 11900 83300 | 54317 48757 44 | 0.005 % |
378.83/379.04 c | 658582 | 140 11900 83300 | 54317 48950 44 | 0.005 % |
378.93/379.19 c | 658796 | 140 11900 83300 | 54317 49164 44 | 0.005 % |
379.13/379.34 c | 659032 | 140 11900 83300 | 54317 49400 44 | 0.005 % |
379.23/379.49 c | 659289 | 140 11900 83300 | 54317 49657 44 | 0.005 % |
379.43/379.65 c | 659570 | 140 11900 83300 | 54317 49938 44 | 0.005 % |
379.63/379.86 c | 659880 | 140 11900 83300 | 54317 50248 44 | 0.005 % |
379.93/380.11 c | 660220 | 140 11900 83300 | 50368 44439 44 | 0.005 % |
380.03/380.28 c | 660592 | 140 11900 83300 | 50368 44811 44 | 0.005 % |
380.33/380.53 c | 661001 | 140 11900 83300 | 50368 45220 44 | 0.005 % |
380.63/380.80 c | 661451 | 140 11900 83300 | 50368 45670 44 | 0.005 % |
380.83/381.09 c | 661944 | 140 11900 83300 | 50368 46163 44 | 0.005 % |
381.13/381.36 c | 662487 | 140 11900 83300 | 50368 46706 44 | 0.005 % |
381.43/381.66 c | 663083 | 140 11900 83300 | 50368 47302 44 | 0.005 % |
381.83/382.00 c | 663739 | 140 11900 83300 | 50368 47958 44 | 0.005 % |
382.13/382.31 c | 664459 | 140 11900 83300 | 50368 48678 44 | 0.005 % |
382.53/382.72 c | 665253 | 140 11900 83300 | 50368 49472 44 | 0.005 % |
383.03/383.20 c | 666125 | 140 11900 83300 | 50368 50344 44 | 0.005 % |
383.43/383.69 c | 667083 | 140 11900 83300 | 50368 46260 44 | 0.005 % |
384.03/384.29 c | 668137 | 140 11900 83300 | 50368 47314 44 | 0.005 % |
384.73/384.92 c | 669296 | 140 11900 83300 | 50368 48473 44 | 0.005 % |
385.33/385.58 c | 670570 | 140 11900 83300 | 2147483647 49747 44 | 0.005 % |
386.23/386.43 c | 671971 | 140 11900 83300 | 2147483647 51148 44 | 0.005 % |
387.13/387.36 c | 673511 | 140 11900 83300 | 2147483647 52688 44 | 0.005 % |
388.33/388.53 c | 675205 | 140 11900 83300 | 2147483647 54382 44 | 0.005 % |
389.53/389.78 c | 677068 | 140 11900 83300 | 2147483647 56245 44 | 0.005 % |
390.93/391.17 c | 679117 | 140 11900 83300 | 2147483647 58294 44 | 0.005 % |
392.23/392.49 c | 681371 | 140 11900 83300 | 59178 52535 44 | 0.005 % |
393.63/393.84 c | 683849 | 140 11900 83300 | 59178 55013 44 | 0.005 % |
395.03/395.27 c | 686577 | 140 11900 83300 | 59178 57741 44 | 0.005 % |
397.12/397.37 c | 689576 | 140 11900 83300 | 59178 53239 44 | 0.005 % |
399.03/399.24 c | 692872 | 140 11900 83300 | 53667 49620 43 | 0.005 % |
401.02/401.22 c | 696500 | 140 11900 83300 | 53667 53248 44 | 0.005 % |
403.02/403.26 c | 700487 | 140 11900 83300 | 50917 46095 43 | 0.005 % |
405.22/405.45 c | 704874 | 140 11900 83300 | 50917 50482 44 | 0.005 % |
407.52/407.77 c | 709700 | 140 11900 83300 | 50917 50211 44 | 0.005 % |
410.32/410.53 c | 715005 | 140 11900 83300 | 2147483647 55516 44 | 0.005 % |
414.02/414.29 c | 720841 | 140 11900 83300 | 60511 54320 44 | 0.005 % |
418.02/418.26 c | 727261 | 140 11900 83300 | 60511 52620 44 | 0.005 % |
418.12/418.32 c | 727361 | 140 11900 83300 | 60511 52720 44 | 0.005 % |
418.12/418.38 c | 727472 | 140 11900 83300 | 60511 52831 44 | 0.005 % |
418.22/418.46 c | 727593 | 140 11900 83300 | 60511 52952 44 | 0.005 % |
418.32/418.57 c | 727727 | 140 11900 83300 | 60511 53086 44 | 0.005 % |
418.42/418.68 c | 727874 | 140 11900 83300 | 60511 53233 44 | 0.005 % |
418.52/418.79 c | 728034 | 140 11900 83300 | 60511 53393 44 | 0.005 % |
418.72/418.93 c | 728210 | 140 11900 83300 | 60511 53569 44 | 0.005 % |
418.82/419.04 c | 728406 | 140 11900 83300 | 60511 53765 44 | 0.005 % |
418.92/419.18 c | 728618 | 140 11900 83300 | 60511 53977 44 | 0.005 % |
419.12/419.31 c | 728853 | 140 11900 83300 | 60511 54212 44 | 0.005 % |
419.32/419.50 c | 729110 | 140 11900 83300 | 60511 54469 44 | 0.005 % |
419.42/419.67 c | 729391 | 140 11900 83300 | 60511 54750 44 | 0.005 % |
419.62/419.89 c | 729702 | 140 11900 83300 | 60511 55061 44 | 0.005 % |
419.92/420.11 c | 730042 | 140 11900 83300 | 55359 55401 44 | 0.005 % |
420.22/420.42 c | 730415 | 140 11900 83300 | 55359 48134 44 | 0.005 % |
420.42/420.66 c | 730824 | 140 11900 83300 | 55359 48543 44 | 0.005 % |
420.72/420.92 c | 731274 | 140 11900 83300 | 55359 48993 44 | 0.005 % |
421.02/421.20 c | 731769 | 140 11900 83300 | 55359 49488 44 | 0.005 % |
421.32/421.51 c | 732311 | 140 11900 83300 | 55359 50030 44 | 0.005 % |
421.62/421.82 c | 732907 | 140 11900 83300 | 55359 50626 44 | 0.005 % |
422.02/422.22 c | 733564 | 140 11900 83300 | 55359 51283 44 | 0.005 % |
422.42/422.69 c | 734284 | 140 11900 83300 | 55359 52003 44 | 0.005 % |
422.91/423.19 c | 735077 | 140 11900 83300 | 55359 52796 44 | 0.005 % |
423.61/423.82 c | 735949 | 140 11900 83300 | 55359 53668 44 | 0.005 % |
424.21/424.42 c | 736907 | 140 11900 83300 | 55359 54626 44 | 0.005 % |
424.81/425.07 c | 737962 | 140 11900 83300 | 55359 48498 44 | 0.005 % |
425.52/425.72 c | 739122 | 140 11900 83300 | 55359 49658 44 | 0.005 % |
426.21/426.43 c | 740395 | 140 11900 83300 | 50537 44759 44 | 0.005 % |
426.91/427.18 c | 741798 | 140 11900 83300 | 50537 46162 44 | 0.005 % |
427.72/428.00 c | 743338 | 140 11900 83300 | 50537 47702 44 | 0.005 % |
428.72/428.96 c | 745032 | 140 11900 83300 | 50537 49396 44 | 0.005 % |
429.91/430.13 c | 746896 | 140 11900 83300 | 50537 46200 44 | 0.005 % |
431.01/431.26 c | 748945 | 140 11900 83300 | 50537 48249 44 | 0.005 % |
432.31/432.51 c | 751198 | 140 11900 83300 | 2147483647 50502 44 | 0.005 % |
433.61/433.84 c | 753677 | 140 11900 83300 | 2147483647 52981 44 | 0.005 % |
435.21/435.49 c | 756404 | 140 11900 83300 | 2147483647 55708 44 | 0.005 % |
437.11/437.32 c | 759402 | 140 11900 83300 | 2147483647 58706 44 | 0.005 % |
438.81/439.02 c | 762698 | 140 11900 83300 | 59306 54995 44 | 0.005 % |
440.81/441.07 c | 766324 | 140 11900 83300 | 59306 58621 44 | 0.005 % |
443.21/443.49 c | 770312 | 140 11900 83300 | 55048 48924 44 | 0.005 % |
445.61/445.82 c | 774698 | 140 11900 83300 | 55048 53310 44 | 0.005 % |
448.30/448.59 c | 779522 | 140 11900 83300 | 55048 52416 44 | 0.005 % |
451.10/451.35 c | 784829 | 140 11900 83300 | 52894 52218 44 | 0.005 % |
453.90/454.16 c | 790664 | 140 11900 83300 | 2147483647 52445 44 | 0.005 % |
457.70/457.93 c | 797083 | 140 11900 83300 | 2147483647 58864 44 | 0.005 % |
461.50/461.71 c | 804143 | 140 11900 83300 | 61782 58216 44 | 0.005 % |
461.50/461.76 c | 804243 | 140 11900 83300 | 61782 58316 44 | 0.005 % |
461.60/461.84 c | 804353 | 140 11900 83300 | 61782 58426 44 | 0.005 % |
461.71/461.92 c | 804474 | 140 11900 83300 | 61782 58547 44 | 0.005 % |
461.80/462.01 c | 804607 | 140 11900 83300 | 61782 58680 44 | 0.005 % |
461.90/462.10 c | 804754 | 140 11900 83300 | 61782 58827 44 | 0.005 % |
462.00/462.21 c | 804915 | 140 11900 83300 | 61782 58988 44 | 0.005 % |
462.10/462.32 c | 805091 | 140 11900 83300 | 61782 59164 44 | 0.005 % |
462.20/462.49 c | 805284 | 140 11900 83300 | 61782 59357 44 | 0.005 % |
462.40/462.64 c | 805496 | 140 11900 83300 | 61782 59569 44 | 0.005 % |
462.60/462.81 c | 805729 | 140 11900 83300 | 61782 59802 44 | 0.005 % |
462.70/462.97 c | 805985 | 140 11900 83300 | 61782 60058 44 | 0.005 % |
462.90/463.17 c | 806266 | 140 11900 83300 | 61782 60339 44 | 0.005 % |
463.10/463.39 c | 806575 | 140 11900 83300 | 61782 60648 44 | 0.005 % |
463.40/463.62 c | 806916 | 140 11900 83300 | 61782 60989 44 | 0.005 % |
463.60/463.88 c | 807289 | 140 11900 83300 | 61782 61362 44 | 0.005 % |
463.90/464.15 c | 807699 | 140 11900 83300 | 61782 61772 44 | 0.005 % |
464.20/464.45 c | 808148 | 140 11900 83300 | 61782 53391 44 | 0.005 % |
464.50/464.73 c | 808642 | 140 11900 83300 | 61782 53885 44 | 0.005 % |
464.80/465.05 c | 809184 | 140 11900 83300 | 61782 54427 44 | 0.005 % |
465.20/465.42 c | 809780 | 140 11900 83300 | 61782 55023 44 | 0.005 % |
465.60/465.83 c | 810436 | 140 11900 83300 | 55243 47908 44 | 0.005 % |
466.00/466.21 c | 811158 | 140 11900 83300 | 55243 48630 44 | 0.005 % |
466.30/466.58 c | 811950 | 140 11900 83300 | 55243 49422 44 | 0.005 % |
466.80/467.01 c | 812821 | 140 11900 83300 | 55243 50293 44 | 0.005 % |
467.30/467.52 c | 813780 | 140 11900 83300 | 55243 51252 44 | 0.005 % |
467.90/468.13 c | 814834 | 140 11900 83300 | 55243 52306 44 | 0.005 % |
468.50/468.77 c | 815992 | 140 11900 83300 | 55243 53464 44 | 0.005 % |
469.30/469.52 c | 817267 | 140 11900 83300 | 55243 54739 44 | 0.005 % |
470.10/470.37 c | 818667 | 140 11900 83300 | 55243 49746 44 | 0.005 % |
471.00/471.28 c | 820207 | 140 11900 83300 | 51080 45527 44 | 0.005 % |
471.90/472.16 c | 821902 | 140 11900 83300 | 51080 47222 44 | 0.005 % |
472.90/473.19 c | 823765 | 140 11900 83300 | 51080 49085 44 | 0.005 % |
474.10/474.37 c | 825815 | 140 11900 83300 | 51080 51135 44 | 0.005 % |
475.30/475.55 c | 828068 | 140 11900 83300 | 51080 48275 44 | 0.005 % |
476.70/476.96 c | 830546 | 140 11900 83300 | 2147483647 50753 44 | 0.005 % |
478.40/478.64 c | 833274 | 140 11900 83300 | 2147483647 53481 44 | 0.005 % |
479.99/480.27 c | 836272 | 140 11900 83300 | 2147483647 56479 44 | 0.005 % |
481.89/482.15 c | 839569 | 140 11900 83300 | 2147483647 59776 44 | 0.005 % |
483.99/484.23 c | 843196 | 140 11900 83300 | 60208 55373 44 | 0.005 % |
486.19/486.44 c | 847185 | 140 11900 83300 | 60208 59362 44 | 0.005 % |
488.49/488.74 c | 851572 | 140 11900 83300 | 54019 48536 44 | 0.005 % |
490.99/491.27 c | 856395 | 140 11900 83300 | 54019 53359 44 | 0.005 % |
493.69/493.92 c | 861701 | 140 11900 83300 | 2147483647 52915 44 | 0.005 % |
496.79/497.03 c | 867537 | 140 11900 83300 | 2147483647 58751 44 | 0.005 % |
500.39/500.69 c | 873956 | 140 11900 83300 | 61215 57571 44 | 0.005 % |
504.79/505.01 c | 881017 | 140 11900 83300 | 55050 48601 45 | 0.005 % |
508.89/509.12 c | 888782 | 140 11900 83300 | 55050 49966 45 | 0.005 % |
508.89/509.19 c | 888883 | 140 11900 83300 | 55050 50067 45 | 0.005 % |
508.99/509.25 c | 888993 | 140 11900 83300 | 55050 50177 45 | 0.005 % |
509.09/509.31 c | 889114 | 140 11900 83300 | 55050 50298 45 | 0.005 % |
509.09/509.39 c | 889247 | 140 11900 83300 | 55050 50431 45 | 0.005 % |
509.18/509.47 c | 889393 | 140 11900 83300 | 55050 50577 45 | 0.005 % |
509.28/509.56 c | 889553 | 140 11900 83300 | 55050 50737 45 | 0.005 % |
509.38/509.69 c | 889730 | 140 11900 83300 | 55050 50914 45 | 0.005 % |
509.58/509.83 c | 889926 | 140 11900 83300 | 55050 51110 44 | 0.005 % |
509.68/509.99 c | 890138 | 140 11900 83300 | 51184 45371 44 | 0.005 % |
509.88/510.11 c | 890372 | 140 11900 83300 | 51184 45605 44 | 0.005 % |
509.98/510.25 c | 890629 | 140 11900 83300 | 51184 45862 44 | 0.005 % |
510.09/510.39 c | 890913 | 140 11900 83300 | 51184 46146 44 | 0.005 % |
510.28/510.54 c | 891222 | 140 11900 83300 | 51184 46455 44 | 0.005 % |
510.48/510.70 c | 891561 | 140 11900 83300 | 51184 46794 44 | 0.005 % |
510.68/510.98 c | 891935 | 140 11900 83300 | 51184 47168 44 | 0.005 % |
510.98/511.22 c | 892344 | 140 11900 83300 | 51184 47577 44 | 0.005 % |
511.19/511.46 c | 892794 | 140 11900 83300 | 51184 48027 44 | 0.005 % |
511.48/511.73 c | 893287 | 140 11900 83300 | 51184 48520 44 | 0.005 % |
511.78/512.04 c | 893829 | 140 11900 83300 | 51184 49062 44 | 0.005 % |
512.08/512.39 c | 894425 | 140 11900 83300 | 51184 49658 44 | 0.005 % |
512.48/512.75 c | 895080 | 140 11900 83300 | 51184 50313 44 | 0.005 % |
512.98/513.27 c | 895800 | 140 11900 83300 | 51184 51033 44 | 0.005 % |
513.48/513.77 c | 896592 | 140 11900 83300 | 51184 46391 44 | 0.005 % |
513.98/514.26 c | 897463 | 140 11900 83300 | 51184 47262 44 | 0.005 % |
514.48/514.79 c | 898423 | 140 11900 83300 | 51184 48222 44 | 0.005 % |
515.18/515.43 c | 899476 | 140 11900 83300 | 51184 49275 44 | 0.005 % |
515.88/516.15 c | 900634 | 140 11900 83300 | 49800 45223 44 | 0.005 % |
516.58/516.83 c | 901908 | 140 11900 83300 | 49800 46497 44 | 0.005 % |
517.28/517.54 c | 903310 | 140 11900 83300 | 49800 47899 44 | 0.005 % |
517.98/518.26 c | 904850 | 140 11900 83300 | 49800 49439 44 | 0.005 % |
518.78/519.05 c | 906544 | 140 11900 83300 | 49800 46147 44 | 0.005 % |
519.88/520.10 c | 908412 | 140 11900 83300 | 49800 48015 44 | 0.005 % |
521.08/521.36 c | 910463 | 140 11900 83300 | 2147483647 50066 44 | 0.005 % |
522.48/522.74 c | 912716 | 140 11900 83300 | 2147483647 52319 44 | 0.005 % |
523.88/524.18 c | 915194 | 140 11900 83300 | 2147483647 54797 44 | 0.005 % |
525.38/525.68 c | 917919 | 140 11900 83300 | 2147483647 57522 44 | 0.005 % |
527.28/527.58 c | 920917 | 140 11900 83300 | 59603 53529 44 | 0.005 % |
529.27/529.54 c | 924214 | 140 11900 83300 | 59603 56826 44 | 0.005 % |
531.37/531.67 c | 927839 | 140 11900 83300 | 59603 52897 43 | 0.005 % |
533.67/533.95 c | 931826 | 140 11900 83300 | 55058 50067 43 | 0.005 % |
536.17/536.46 c | 936211 | 140 11900 83300 | 55058 54452 43 | 0.005 % |
538.97/539.26 c | 941034 | 140 11900 83300 | 52126 47614 43 | 0.005 % |
541.47/541.72 c | 946341 | 140 11900 83300 | 52126 47704 43 | 0.005 % |
544.27/544.54 c | 952177 | 140 11900 83300 | 2147483647 53540 43 | 0.005 % |
547.47/547.72 c | 958598 | 140 11900 83300 | 2147483647 59961 43 | 0.005 % |
551.37/551.64 c | 965658 | 140 11900 83300 | 61365 60157 44 | 0.005 % |
555.56/555.88 c | 973423 | 140 11900 83300 | 56025 51879 44 | 0.005 % |
559.67/559.98 c | 981963 | 140 11900 83300 | 52618 49256 44 | 0.005 % |
559.76/560.03 c | 982065 | 140 11900 83300 | 52618 49358 44 | 0.005 % |
559.86/560.11 c | 982176 | 140 11900 83300 | 52618 49469 44 | 0.005 % |
559.86/560.18 c | 982297 | 140 11900 83300 | 52618 49590 44 | 0.005 % |
559.96/560.27 c | 982432 | 140 11900 83300 | 52618 49725 44 | 0.005 % |
560.06/560.36 c | 982578 | 140 11900 83300 | 52618 49871 44 | 0.005 % |
560.16/560.47 c | 982741 | 140 11900 83300 | 52618 50034 44 | 0.005 % |
560.26/560.57 c | 982917 | 140 11900 83300 | 52618 50210 44 | 0.005 % |
560.36/560.67 c | 983110 | 140 11900 83300 | 52618 50403 44 | 0.005 % |
560.46/560.79 c | 983322 | 140 11900 83300 | 52618 50615 44 | 0.005 % |
560.67/560.96 c | 983557 | 140 11900 83300 | 52618 50850 44 | 0.005 % |
560.86/561.16 c | 983813 | 140 11900 83300 | 52618 51106 44 | 0.005 % |
561.06/561.35 c | 984096 | 140 11900 83300 | 52618 51389 44 | 0.005 % |
561.26/561.56 c | 984405 | 140 11900 83300 | 52618 51698 44 | 0.005 % |
561.46/561.80 c | 984744 | 140 11900 83300 | 52618 52037 44 | 0.005 % |
561.77/562.02 c | 985116 | 140 11900 83300 | 52618 52409 44 | 0.005 % |
562.06/562.32 c | 985526 | 140 11900 83300 | 52618 47099 44 | 0.005 % |
562.26/562.58 c | 985975 | 140 11900 83300 | 52618 47548 44 | 0.005 % |
562.56/562.85 c | 986470 | 140 11900 83300 | 52618 48043 44 | 0.005 % |
562.87/563.15 c | 987012 | 140 11900 83300 | 52618 48585 44 | 0.005 % |
563.26/563.53 c | 987608 | 140 11900 83300 | 52618 49181 44 | 0.005 % |
563.66/563.92 c | 988263 | 140 11900 83300 | 52618 49836 44 | 0.005 % |
564.07/564.35 c | 988984 | 140 11900 83300 | 52618 50557 44 | 0.005 % |
564.56/564.81 c | 989777 | 140 11900 83300 | 52618 51350 44 | 0.005 % |
564.96/565.29 c | 990648 | 140 11900 83300 | 51573 46636 44 | 0.005 % |
565.46/565.76 c | 991606 | 140 11900 83300 | 51573 47594 44 | 0.005 % |
566.06/566.33 c | 992660 | 140 11900 83300 | 51573 48648 44 | 0.005 % |
566.66/566.98 c | 993819 | 140 11900 83300 | 51573 49807 44 | 0.005 % |
567.46/567.72 c | 995093 | 140 11900 83300 | 51573 51081 44 | 0.005 % |
568.36/568.68 c | 996494 | 140 11900 83300 | 51573 47182 44 | 0.005 % |
569.26/569.51 c | 998034 | 140 11900 83300 | 51573 48722 44 | 0.005 % |
570.26/570.51 c | 999730 | 140 11900 83300 | 51573 50418 44 | 0.005 % |
571.16/571.46 c | 1001594 | 140 11900 83300 | 50690 46779 44 | 0.005 % |
572.26/572.56 c | 1003643 | 140 11900 83300 | 50690 48828 44 | 0.005 % |
573.66/573.93 c | 1005898 | 140 11900 83300 | 50690 45947 44 | 0.005 % |
574.96/575.21 c | 1008376 | 140 11900 83300 | 50690 48425 44 | 0.005 % |
576.46/576.72 c | 1011102 | 140 11900 83300 | 2147483647 51151 44 | 0.005 % |
578.06/578.37 c | 1014099 | 140 11900 83300 | 2147483647 54148 44 | 0.005 % |
580.36/580.65 c | 1017397 | 140 11900 83300 | 2147483647 57446 44 | 0.005 % |
582.76/583.05 c | 1021023 | 140 11900 83300 | 60049 52842 44 | 0.005 % |
585.45/585.71 c | 1025011 | 140 11900 83300 | 60049 56830 44 | 0.005 % |
588.26/588.53 c | 1029397 | 140 11900 83300 | 60049 51889 44 | 0.005 % |
590.65/590.98 c | 1034220 | 140 11900 83300 | 52492 48854 44 | 0.005 % |
593.45/593.70 c | 1039525 | 140 11900 83300 | 52492 48863 44 | 0.005 % |
596.95/597.27 c | 1045361 | 140 11900 83300 | 2147483647 54699 44 | 0.005 % |
600.85/601.11 c | 1051779 | 140 11900 83300 | 59338 53784 44 | 0.005 % |
605.05/605.38 c | 1058838 | 140 11900 83300 | 59338 53338 44 | 0.005 % |
609.35/609.69 c | 1066602 | 140 11900 83300 | 54503 54454 44 | 0.005 % |
614.75/615.07 c | 1075142 | 140 11900 83300 | 52237 51918 44 | 0.005 % |
620.64/620.99 c | 1084536 | 140 11900 83300 | 2147483647 56083 44 | 0.005 % |
620.74/621.07 c | 1084638 | 140 11900 83300 | 2147483647 56185 44 | 0.005 % |
620.84/621.17 c | 1084748 | 140 11900 83300 | 2147483647 56295 44 | 0.005 % |
620.94/621.25 c | 1084869 | 140 11900 83300 | 2147483647 56416 44 | 0.005 % |
621.04/621.35 c | 1085005 | 140 11900 83300 | 2147483647 56552 44 | 0.005 % |
621.15/621.48 c | 1085151 | 140 11900 83300 | 2147483647 56698 44 | 0.005 % |
621.34/621.61 c | 1085311 | 140 11900 83300 | 2147483647 56858 44 | 0.005 % |
621.44/621.76 c | 1085487 | 140 11900 83300 | 2147483647 57034 44 | 0.005 % |
621.64/621.90 c | 1085681 | 140 11900 83300 | 2147483647 57228 44 | 0.005 % |
621.74/622.06 c | 1085893 | 140 11900 83300 | 2147483647 57440 44 | 0.005 % |
621.94/622.22 c | 1086128 | 140 11900 83300 | 2147483647 57675 44 | 0.005 % |
622.14/622.41 c | 1086385 | 140 11900 83300 | 2147483647 57932 44 | 0.005 % |
622.34/622.63 c | 1086667 | 140 11900 83300 | 2147483647 58214 44 | 0.005 % |
622.54/622.83 c | 1086976 | 140 11900 83300 | 2147483647 58523 44 | 0.005 % |
622.74/623.06 c | 1087318 | 140 11900 83300 | 2147483647 58865 44 | 0.005 % |
623.04/623.31 c | 1087690 | 140 11900 83300 | 2147483647 59237 44 | 0.005 % |
623.24/623.59 c | 1088099 | 140 11900 83300 | 2147483647 59646 44 | 0.005 % |
623.64/623.99 c | 1088548 | 140 11900 83300 | 2147483647 60095 44 | 0.005 % |
624.14/624.40 c | 1089042 | 140 11900 83300 | 2147483647 60589 44 | 0.005 % |
624.54/624.86 c | 1089584 | 140 11900 83300 | 2147483647 61131 44 | 0.005 % |
625.04/625.38 c | 1090180 | 140 11900 83300 | 61547 52532 44 | 0.005 % |
625.44/625.73 c | 1090836 | 140 11900 83300 | 61547 53188 44 | 0.005 % |
625.84/626.14 c | 1091556 | 140 11900 83300 | 61547 53908 44 | 0.005 % |
626.44/626.72 c | 1092351 | 140 11900 83300 | 61547 54703 44 | 0.005 % |
626.94/627.27 c | 1093223 | 140 11900 83300 | 61547 55575 44 | 0.005 % |
627.54/627.81 c | 1094181 | 140 11900 83300 | 61547 56533 44 | 0.005 % |
628.04/628.38 c | 1095234 | 140 11900 83300 | 61547 57586 44 | 0.005 % |
628.74/629.00 c | 1096392 | 140 11900 83300 | 61547 58744 44 | 0.005 % |
629.44/629.72 c | 1097665 | 140 11900 83300 | 61547 60017 44 | 0.005 % |
630.24/630.51 c | 1099065 | 140 11900 83300 | 61547 61417 44 | 0.005 % |
631.34/631.60 c | 1100605 | 140 11900 83300 | 54037 47358 44 | 0.005 % |
632.24/632.50 c | 1102300 | 140 11900 83300 | 54037 49053 44 | 0.005 % |
633.14/633.45 c | 1104163 | 140 11900 83300 | 54037 50916 44 | 0.005 % |
634.24/634.59 c | 1106213 | 140 11900 83300 | 54037 52966 44 | 0.005 % |
635.64/635.93 c | 1108466 | 140 11900 83300 | 54037 49223 44 | 0.005 % |
637.04/637.35 c | 1110944 | 140 11900 83300 | 50757 46153 44 | 0.005 % |
638.43/638.80 c | 1113670 | 140 11900 83300 | 50757 48879 44 | 0.005 % |
640.13/640.48 c | 1116667 | 140 11900 83300 | 50757 46795 44 | 0.005 % |
641.93/642.27 c | 1119964 | 140 11900 83300 | 50757 50092 44 | 0.005 % |
644.03/644.37 c | 1123590 | 140 11900 83300 | 2147483647 53718 43 | 0.005 % |
646.54/646.88 c | 1127578 | 140 11900 83300 | 2147483647 57706 44 | 0.005 % |
649.33/649.62 c | 1131963 | 140 11900 83300 | 60129 54086 44 | 0.005 % |
652.03/652.36 c | 1136788 | 140 11900 83300 | 60129 58911 44 | 0.005 % |
654.83/655.19 c | 1142095 | 140 11900 83300 | 54381 49776 44 | 0.005 % |
657.73/658.09 c | 1147930 | 140 11900 83300 | 54381 50166 44 | 0.005 % |
661.03/661.31 c | 1154348 | 140 11900 83300 | 2147483647 56584 44 | 0.005 % |
665.63/665.91 c | 1161407 | 140 11900 83300 | 62236 55953 44 | 0.005 % |
670.63/670.92 c | 1169171 | 140 11900 83300 | 62236 54718 44 | 0.005 % |
675.42/675.71 c | 1177712 | 140 11900 83300 | 55547 55475 44 | 0.005 % |
680.42/680.71 c | 1187106 | 140 11900 83300 | 51437 47824 44 | 0.005 % |
686.53/686.82 c | 1197440 | 140 11900 83300 | 2147483647 58158 44 | 0.005 % |
686.53/686.88 c | 1197540 | 140 11900 83300 | 2147483647 58258 44 | 0.005 % |
686.63/686.98 c | 1197650 | 140 11900 83300 | 2147483647 58368 44 | 0.005 % |
686.73/687.07 c | 1197772 | 140 11900 83300 | 2147483647 58490 44 | 0.005 % |
686.83/687.19 c | 1197906 | 140 11900 83300 | 2147483647 58624 44 | 0.005 % |
687.03/687.31 c | 1198053 | 140 11900 83300 | 2147483647 58771 44 | 0.005 % |
687.13/687.44 c | 1198215 | 140 11900 83300 | 2147483647 58933 44 | 0.005 % |
687.23/687.55 c | 1198392 | 140 11900 83300 | 2147483647 59110 44 | 0.005 % |
687.43/687.72 c | 1198585 | 140 11900 83300 | 2147483647 59303 44 | 0.005 % |
687.53/687.88 c | 1198797 | 140 11900 83300 | 2147483647 59515 44 | 0.005 % |
687.73/688.03 c | 1199031 | 140 11900 83300 | 2147483647 59749 44 | 0.005 % |
687.93/688.21 c | 1199288 | 140 11900 83300 | 2147483647 60006 44 | 0.005 % |
688.13/688.40 c | 1199569 | 140 11900 83300 | 2147483647 60287 44 | 0.005 % |
688.33/688.63 c | 1199879 | 140 11900 83300 | 2147483647 60597 44 | 0.005 % |
688.63/688.92 c | 1200219 | 140 11900 83300 | 60719 52733 44 | 0.005 % |
688.83/689.16 c | 1200591 | 140 11900 83300 | 60719 53105 44 | 0.005 % |
689.13/689.42 c | 1201001 | 140 11900 83300 | 60719 53515 44 | 0.005 % |
689.33/689.69 c | 1201451 | 140 11900 83300 | 60719 53965 44 | 0.005 % |
689.63/689.98 c | 1201944 | 140 11900 83300 | 60719 54458 44 | 0.005 % |
690.03/690.33 c | 1202489 | 140 11900 83300 | 60719 55003 44 | 0.005 % |
690.32/690.65 c | 1203085 | 140 11900 83300 | 60719 55599 44 | 0.005 % |
690.72/691.05 c | 1203741 | 140 11900 83300 | 60719 56255 44 | 0.005 % |
691.22/691.55 c | 1204462 | 140 11900 83300 | 60719 56976 44 | 0.005 % |
691.72/692.08 c | 1205254 | 140 11900 83300 | 60719 57768 44 | 0.005 % |
692.42/692.77 c | 1206125 | 140 11900 83300 | 60719 58639 44 | 0.005 % |
693.12/693.45 c | 1207083 | 140 11900 83300 | 60719 59597 44 | 0.005 % |
694.02/694.34 c | 1208136 | 140 11900 83300 | 60719 60650 44 | 0.005 % |
694.83/695.17 c | 1209296 | 140 11900 83300 | 60719 52354 44 | 0.005 % |
695.72/696.02 c | 1210570 | 140 11900 83300 | 53058 45444 44 | 0.005 % |
696.42/696.74 c | 1211972 | 140 11900 83300 | 53058 46846 44 | 0.005 % |
697.22/697.51 c | 1213512 | 140 11900 83300 | 53058 48386 44 | 0.005 % |
698.02/698.31 c | 1215206 | 140 11900 83300 | 53058 50080 44 | 0.005 % |
698.92/699.21 c | 1217069 | 140 11900 83300 | 53058 51943 44 | 0.005 % |
700.12/700.48 c | 1219119 | 140 11900 83300 | 53058 48372 44 | 0.005 % |
701.43/701.73 c | 1221373 | 140 11900 83300 | 49254 45400 44 | 0.005 % |
702.62/702.92 c | 1223851 | 140 11900 83300 | 49254 47878 44 | 0.005 % |
703.82/704.16 c | 1226577 | 140 11900 83300 | 49254 45672 44 | 0.005 % |
705.42/705.76 c | 1229574 | 140 11900 83300 | 49254 48669 44 | 0.005 % |
707.12/707.46 c | 1232872 | 140 11900 83300 | 2147483647 51967 44 | 0.005 % |
709.22/709.54 c | 1236497 | 140 11900 83300 | 2147483647 55592 44 | 0.005 % |
711.72/712.10 c | 1240485 | 140 11900 83300 | 59096 52680 44 | 0.005 % |
714.22/714.54 c | 1244870 | 140 11900 83300 | 59096 57065 44 | 0.005 % |
716.82/717.15 c | 1249693 | 140 11900 83300 | 59096 54689 44 | 0.005 % |
719.61/719.93 c | 1254998 | 140 11900 83300 | 54996 53434 44 | 0.005 % |
723.01/723.32 c | 1260833 | 140 11900 83300 | 52768 48138 44 | 0.005 % |
726.51/726.85 c | 1267252 | 140 11900 83300 | 52768 49155 44 | 0.005 % |
730.21/730.59 c | 1274311 | 140 11900 83300 | 2147483647 56214 44 | 0.005 % |
734.71/735.08 c | 1282075 | 140 11900 83300 | 61903 56758 44 | 0.005 % |
739.71/740.08 c | 1290616 | 140 11900 83300 | 55673 48333 44 | 0.005 % |
744.91/745.24 c | 1300010 | 140 11900 83300 | 50908 50914 44 | 0.005 % |
749.81/750.10 c | 1310343 | 140 11900 83300 | 2147483647 50252 44 | 0.005 % |
756.21/756.53 c | 1321709 | 140 11900 83300 | 59909 54563 44 | 0.005 % |
756.21/756.58 c | 1321809 | 140 11900 83300 | 59909 54663 44 | 0.005 % |
756.31/756.63 c | 1321920 | 140 11900 83300 | 59909 54774 44 | 0.005 % |
756.31/756.70 c | 1322041 | 140 11900 83300 | 59909 54895 44 | 0.005 % |
756.41/756.80 c | 1322174 | 140 11900 83300 | 59909 55028 44 | 0.005 % |
756.60/756.90 c | 1322322 | 140 11900 83300 | 59909 55176 44 | 0.005 % |
756.70/757.02 c | 1322483 | 140 11900 83300 | 59909 55337 44 | 0.005 % |
756.80/757.13 c | 1322660 | 140 11900 83300 | 59909 55514 44 | 0.005 % |
756.90/757.26 c | 1322855 | 140 11900 83300 | 59909 55709 44 | 0.005 % |
757.00/757.40 c | 1323068 | 140 11900 83300 | 59909 55922 44 | 0.005 % |
757.20/757.57 c | 1323301 | 140 11900 83300 | 59909 56155 44 | 0.005 % |
757.40/757.76 c | 1323559 | 140 11900 83300 | 59909 56413 44 | 0.005 % |
757.61/757.99 c | 1323840 | 140 11900 83300 | 59909 56694 44 | 0.005 % |
757.80/758.19 c | 1324149 | 140 11900 83300 | 59909 57003 44 | 0.005 % |
758.00/758.39 c | 1324488 | 140 11900 83300 | 59909 57342 44 | 0.005 % |
758.30/758.63 c | 1324863 | 140 11900 83300 | 59909 57717 44 | 0.005 % |
758.50/758.88 c | 1325272 | 140 11900 83300 | 59909 58126 44 | 0.005 % |
758.80/759.16 c | 1325723 | 140 11900 83300 | 59909 58577 44 | 0.005 % |
759.10/759.48 c | 1326218 | 140 11900 83300 | 59909 59072 44 | 0.005 % |
759.50/759.85 c | 1326760 | 140 11900 83300 | 59909 59614 44 | 0.005 % |
759.90/760.22 c | 1327358 | 140 11900 83300 | 59909 51788 44 | 0.005 % |
760.30/760.64 c | 1328013 | 140 11900 83300 | 59909 52443 44 | 0.005 % |
760.81/761.13 c | 1328733 | 140 11900 83300 | 59909 53163 44 | 0.005 % |
761.20/761.58 c | 1329526 | 140 11900 83300 | 59909 53956 44 | 0.005 % |
761.91/762.20 c | 1330397 | 140 11900 83300 | 54431 47274 44 | 0.005 % |
762.40/762.76 c | 1331358 | 140 11900 83300 | 54431 48235 44 | 0.005 % |
763.01/763.35 c | 1332411 | 140 11900 83300 | 54431 49288 44 | 0.005 % |
763.70/764.06 c | 1333569 | 140 11900 83300 | 54431 50446 44 | 0.005 % |
764.60/764.90 c | 1334845 | 140 11900 83300 | 54431 51722 44 | 0.005 % |
765.40/765.76 c | 1336246 | 140 11900 83300 | 54431 53123 44 | 0.005 % |
766.40/766.72 c | 1337787 | 140 11900 83300 | 54431 48086 44 | 0.005 % |
767.20/767.54 c | 1339481 | 140 11900 83300 | 54431 49780 44 | 0.005 % |
768.20/768.50 c | 1341344 | 140 11900 83300 | 50300 46021 44 | 0.005 % |
769.30/769.60 c | 1343393 | 140 11900 83300 | 50300 48070 44 | 0.005 % |
770.50/770.81 c | 1345647 | 140 11900 83300 | 50300 50324 44 | 0.005 % |
771.70/772.08 c | 1348125 | 140 11900 83300 | 50300 47770 44 | 0.005 % |
773.20/773.52 c | 1350853 | 140 11900 83300 | 2147483647 50498 44 | 0.005 % |
774.80/775.19 c | 1353850 | 140 11900 83300 | 2147483647 53495 44 | 0.005 % |
776.80/777.19 c | 1357149 | 140 11900 83300 | 2147483647 56794 44 | 0.005 % |
779.00/779.38 c | 1360774 | 140 11900 83300 | 59646 53213 44 | 0.005 % |
781.29/781.69 c | 1364762 | 140 11900 83300 | 59646 57201 44 | 0.005 % |
783.90/784.25 c | 1369147 | 140 11900 83300 | 59646 54043 44 | 0.005 % |
786.59/786.90 c | 1373971 | 140 11900 83300 | 54896 52135 44 | 0.005 % |
789.49/789.89 c | 1379276 | 140 11900 83300 | 54896 51571 44 | 0.005 % |
793.09/793.43 c | 1385111 | 140 11900 83300 | 52296 51898 44 | 0.005 % |
796.99/797.39 c | 1391529 | 140 11900 83300 | 51205 47206 44 | 0.005 % |
800.49/800.83 c | 1398588 | 140 11900 83300 | 51205 49083 44 | 0.005 % |
804.19/804.58 c | 1406353 | 140 11900 83300 | 2147483647 56848 44 | 0.005 % |
808.99/809.31 c | 1414897 | 140 11900 83300 | 60495 58185 44 | 0.005 % |
814.19/814.53 c | 1424293 | 140 11900 83300 | 55578 53053 44 | 0.005 % |
819.98/820.38 c | 1434626 | 140 11900 83300 | 52701 51769 45 | 0.005 % |
826.38/826.80 c | 1445992 | 140 11900 83300 | 2147483647 57791 45 | 0.005 % |
834.68/835.08 c | 1458496 | 140 11900 83300 | 61799 53473 45 | 0.005 % |
834.78/835.16 c | 1458596 | 140 11900 83300 | 61799 53573 45 | 0.005 % |
834.88/835.24 c | 1458706 | 140 11900 83300 | 61799 53683 45 | 0.005 % |
834.98/835.32 c | 1458827 | 140 11900 83300 | 61799 53804 45 | 0.005 % |
835.08/835.40 c | 1458961 | 140 11900 83300 | 61799 53938 45 | 0.005 % |
835.08/835.49 c | 1459107 | 140 11900 83300 | 61799 54084 45 | 0.005 % |
835.18/835.58 c | 1459267 | 140 11900 83300 | 61799 54244 45 | 0.005 % |
835.38/835.70 c | 1459443 | 140 11900 83300 | 61799 54420 45 | 0.005 % |
835.48/835.81 c | 1459636 | 140 11900 83300 | 61799 54613 45 | 0.005 % |
835.58/835.96 c | 1459849 | 140 11900 83300 | 61799 54826 45 | 0.005 % |
835.78/836.15 c | 1460083 | 140 11900 83300 | 54977 46975 44 | 0.005 % |
835.98/836.30 c | 1460339 | 140 11900 83300 | 54977 47231 44 | 0.005 % |
836.08/836.47 c | 1460622 | 140 11900 83300 | 54977 47514 44 | 0.005 % |
836.28/836.62 c | 1460931 | 140 11900 83300 | 54977 47823 44 | 0.005 % |
836.48/836.82 c | 1461270 | 140 11900 83300 | 54977 48162 44 | 0.005 % |
836.58/836.99 c | 1461643 | 140 11900 83300 | 54977 48535 44 | 0.005 % |
836.88/837.21 c | 1462053 | 140 11900 83300 | 54977 48945 44 | 0.005 % |
837.08/837.49 c | 1462502 | 140 11900 83300 | 54977 49394 44 | 0.005 % |
837.48/837.80 c | 1462998 | 140 11900 83300 | 54977 49890 44 | 0.005 % |
837.68/838.10 c | 1463540 | 140 11900 83300 | 54977 50432 44 | 0.005 % |
838.08/838.44 c | 1464137 | 140 11900 83300 | 54977 51029 44 | 0.005 % |
838.48/838.85 c | 1464792 | 140 11900 83300 | 54977 51684 44 | 0.005 % |
838.88/839.25 c | 1465513 | 140 11900 83300 | 54977 52405 44 | 0.005 % |
839.28/839.69 c | 1466309 | 140 11900 83300 | 54977 53201 44 | 0.005 % |
839.78/840.19 c | 1467180 | 140 11900 83300 | 54977 54072 44 | 0.005 % |
840.38/840.73 c | 1468141 | 140 11900 83300 | 54977 55033 44 | 0.005 % |
840.98/841.31 c | 1469194 | 140 11900 83300 | 54977 49198 44 | 0.005 % |
841.48/841.89 c | 1470352 | 140 11900 83300 | 50005 44486 44 | 0.005 % |
842.07/842.48 c | 1471625 | 140 11900 83300 | 50005 45759 44 | 0.005 % |
842.77/843.11 c | 1473025 | 140 11900 83300 | 50005 47159 44 | 0.005 % |
843.47/843.85 c | 1474567 | 140 11900 83300 | 50005 48701 44 | 0.005 % |
844.48/844.84 c | 1476261 | 140 11900 83300 | 50005 45387 44 | 0.005 % |
845.48/845.85 c | 1478125 | 140 11900 83300 | 50005 47251 44 | 0.005 % |
846.47/846.87 c | 1480176 | 140 11900 83300 | 2147483647 49302 44 | 0.005 % |
847.57/848.00 c | 1482429 | 140 11900 83300 | 2147483647 51555 44 | 0.005 % |
848.97/849.31 c | 1484907 | 140 11900 83300 | 2147483647 54033 44 | 0.005 % |
850.47/850.83 c | 1487632 | 140 11900 83300 | 2147483647 56758 44 | 0.005 % |
852.37/852.75 c | 1490630 | 140 11900 83300 | 59128 53720 44 | 0.005 % |
854.28/854.64 c | 1493926 | 140 11900 83300 | 59128 57016 44 | 0.005 % |
856.57/856.97 c | 1497554 | 140 11900 83300 | 59128 53852 44 | 0.005 % |
859.07/859.40 c | 1501543 | 140 11900 83300 | 56298 50832 44 | 0.005 % |
861.47/861.85 c | 1505928 | 140 11900 83300 | 56298 55217 44 | 0.005 % |
863.97/864.36 c | 1510751 | 140 11900 83300 | 52155 46771 44 | 0.005 % |
866.77/867.13 c | 1516056 | 140 11900 83300 | 52155 52076 44 | 0.005 % |
869.97/870.36 c | 1521896 | 140 11900 83300 | 2147483647 52695 44 | 0.005 % |
873.47/873.90 c | 1528315 | 140 11900 83300 | 2147483647 59114 44 | 0.005 % |
877.96/878.30 c | 1535378 | 140 11900 83300 | 60799 58395 44 | 0.005 % |
882.76/883.11 c | 1543143 | 140 11900 83300 | 55048 51114 44 | 0.005 % |
887.56/887.91 c | 1551683 | 140 11900 83300 | 52229 48567 44 | 0.005 % |
892.36/892.79 c | 1561077 | 140 11900 83300 | 2147483647 52732 44 | 0.005 % |
898.46/898.87 c | 1571410 | 140 11900 83300 | 61655 54342 44 | 0.005 % |
905.86/906.28 c | 1582778 | 140 11900 83300 | 53774 48728 43 | 0.005 % |
912.75/913.19 c | 1595283 | 140 11900 83300 | 49845 49620 44 | 0.005 % |
920.45/920.89 c | 1609035 | 140 11900 83300 | 2147483647 58381 44 | 0.005 % |
920.55/920.97 c | 1609136 | 140 11900 83300 | 2147483647 58482 44 | 0.005 % |
920.65/921.03 c | 1609248 | 140 11900 83300 | 2147483647 58594 44 | 0.005 % |
920.75/921.13 c | 1609369 | 140 11900 83300 | 2147483647 58715 44 | 0.005 % |
920.85/921.21 c | 1609502 | 140 11900 83300 | 2147483647 58848 44 | 0.005 % |
920.95/921.32 c | 1609648 | 140 11900 83300 | 2147483647 58994 44 | 0.005 % |
921.05/921.42 c | 1609808 | 140 11900 83300 | 2147483647 59154 44 | 0.005 % |
921.15/921.53 c | 1609984 | 140 11900 83300 | 2147483647 59330 44 | 0.005 % |
921.25/921.70 c | 1610177 | 140 11900 83300 | 59347 52898 44 | 0.005 % |
921.45/921.81 c | 1610390 | 140 11900 83300 | 59347 53111 44 | 0.005 % |
921.55/921.96 c | 1610623 | 140 11900 83300 | 59347 53344 44 | 0.005 % |
921.75/922.14 c | 1610880 | 140 11900 83300 | 59347 53601 44 | 0.005 % |
921.95/922.34 c | 1611164 | 140 11900 83300 | 59347 53885 44 | 0.005 % |
922.15/922.55 c | 1611478 | 140 11900 83300 | 59347 54199 44 | 0.005 % |
922.45/922.80 c | 1611818 | 140 11900 83300 | 59347 54539 44 | 0.005 % |
922.65/923.07 c | 1612191 | 140 11900 83300 | 59347 54912 44 | 0.005 % |
923.05/923.41 c | 1612601 | 140 11900 83300 | 59347 55322 44 | 0.005 % |
923.35/923.72 c | 1613051 | 140 11900 83300 | 59347 55772 44 | 0.005 % |
923.75/924.11 c | 1613544 | 140 11900 83300 | 59347 56265 44 | 0.005 % |
924.05/924.48 c | 1614088 | 140 11900 83300 | 59347 56809 44 | 0.005 % |
924.55/924.90 c | 1614684 | 140 11900 83300 | 59347 57405 44 | 0.005 % |
924.95/925.33 c | 1615339 | 140 11900 83300 | 59347 58060 44 | 0.005 % |
925.45/925.82 c | 1616059 | 140 11900 83300 | 59347 58780 44 | 0.005 % |
926.05/926.49 c | 1616854 | 140 11900 83300 | 59347 50664 44 | 0.005 % |
926.65/927.01 c | 1617725 | 140 11900 83300 | 59347 51535 44 | 0.005 % |
927.05/927.49 c | 1618686 | 140 11900 83300 | 59347 52496 44 | 0.005 % |
927.75/928.11 c | 1619740 | 140 11900 83300 | 59347 53550 44 | 0.005 % |
928.35/928.72 c | 1620899 | 140 11900 83300 | 53811 47091 44 | 0.005 % |
928.95/929.34 c | 1622173 | 140 11900 83300 | 53811 48365 44 | 0.005 % |
929.65/930.04 c | 1623573 | 140 11900 83300 | 53811 49765 44 | 0.005 % |
930.45/930.86 c | 1625114 | 140 11900 83300 | 53811 51306 44 | 0.005 % |
931.45/931.84 c | 1626808 | 140 11900 83300 | 53811 53000 44 | 0.005 % |
932.45/932.88 c | 1628671 | 140 11900 83300 | 53811 49270 44 | 0.005 % |
933.65/934.08 c | 1630723 | 140 11900 83300 | 50600 46153 44 | 0.005 % |
934.94/935.33 c | 1632977 | 140 11900 83300 | 50600 48407 44 | 0.005 % |
936.44/936.85 c | 1635455 | 140 11900 83300 | 50600 45819 44 | 0.005 % |
937.95/938.32 c | 1638181 | 140 11900 83300 | 50600 48545 44 | 0.005 % |
939.74/940.10 c | 1641180 | 140 11900 83300 | 2147483647 51544 44 | 0.005 % |
941.64/942.02 c | 1644476 | 140 11900 83300 | 2147483647 54840 44 | 0.005 % |
943.74/944.10 c | 1648101 | 140 11900 83300 | 2147483647 58465 44 | 0.005 % |
946.14/946.51 c | 1652090 | 140 11900 83300 | 60364 55163 43 | 0.005 % |
948.94/949.32 c | 1656477 | 140 11900 83300 | 60364 59550 43 | 0.005 % |
951.64/952.06 c | 1661300 | 140 11900 83300 | 54492 48302 43 | 0.005 % |
954.44/954.80 c | 1666607 | 140 11900 83300 | 54492 53609 43 | 0.005 % |
957.54/957.90 c | 1672442 | 140 11900 83300 | 51338 48551 44 | 0.005 % |
960.74/961.13 c | 1678861 | 140 11900 83300 | 51338 49830 44 | 0.005 % |
964.43/964.84 c | 1685920 | 140 11900 83300 | 2147483647 56889 44 | 0.005 % |
969.13/969.51 c | 1693684 | 140 11900 83300 | 60970 57805 44 | 0.005 % |
974.63/975.02 c | 1702226 | 140 11900 83300 | 56162 51060 43 | 0.005 % |
979.73/980.14 c | 1711620 | 140 11900 83300 | 52230 47927 43 | 0.005 % |
985.03/985.45 c | 1721953 | 140 11900 83300 | 2147483647 53031 44 | 0.005 % |
992.43/992.86 c | 1733319 | 140 11900 83300 | 61078 56651 44 | 0.005 % |
1000.12/1000.55 c | 1745823 | 140 11900 83300 | 54580 52898 44 | 0.005 % |
1007.62/1008.03 c | 1759576 | 140 11900 83300 | 50698 49550 44 | 0.005 % |
1015.32/1015.73 c | 1774703 | 140 11900 83300 | 59975 57139 44 | 0.005 % |
1015.32/1015.77 c | 1774805 | 140 11900 83300 | 59975 57241 44 | 0.005 % |
1015.42/1015.85 c | 1774916 | 140 11900 83300 | 59975 57352 44 | 0.005 % |
1015.52/1015.93 c | 1775037 | 140 11900 83300 | 59975 57473 44 | 0.005 % |
1015.62/1016.02 c | 1775170 | 140 11900 83300 | 59975 57606 44 | 0.005 % |
1015.72/1016.12 c | 1775318 | 140 11900 83300 | 59975 57754 44 | 0.005 % |
1015.82/1016.23 c | 1775478 | 140 11900 83300 | 59975 57914 44 | 0.005 % |
1015.92/1016.35 c | 1775654 | 140 11900 83300 | 59975 58090 44 | 0.005 % |
1016.02/1016.46 c | 1775847 | 140 11900 83300 | 59975 58283 44 | 0.005 % |
1016.22/1016.60 c | 1776059 | 140 11900 83300 | 59975 58495 44 | 0.005 % |
1016.32/1016.77 c | 1776292 | 140 11900 83300 | 59975 58728 44 | 0.005 % |
1016.52/1016.93 c | 1776550 | 140 11900 83300 | 59975 58986 44 | 0.005 % |
1016.72/1017.19 c | 1776831 | 140 11900 83300 | 59975 59267 44 | 0.005 % |
1017.02/1017.40 c | 1777140 | 140 11900 83300 | 59975 59576 44 | 0.005 % |
1017.22/1017.61 c | 1777480 | 140 11900 83300 | 59975 59916 44 | 0.005 % |
1017.52/1017.91 c | 1777853 | 140 11900 83300 | 59975 51605 44 | 0.005 % |
1017.72/1018.18 c | 1778262 | 140 11900 83300 | 59975 52014 44 | 0.005 % |
1018.02/1018.43 c | 1778711 | 140 11900 83300 | 59975 52463 44 | 0.005 % |
1018.32/1018.73 c | 1779204 | 140 11900 83300 | 59975 52956 44 | 0.005 % |
1018.62/1019.10 c | 1779747 | 140 11900 83300 | 59975 53499 44 | 0.005 % |
1019.02/1019.48 c | 1780343 | 140 11900 83300 | 53752 46501 44 | 0.005 % |
1019.42/1019.82 c | 1780998 | 140 11900 83300 | 53752 47156 44 | 0.005 % |
1019.82/1020.22 c | 1781719 | 140 11900 83300 | 53752 47877 44 | 0.005 % |
1020.22/1020.66 c | 1782513 | 140 11900 83300 | 53752 48671 44 | 0.005 % |
1020.72/1021.13 c | 1783385 | 140 11900 83300 | 53752 49543 44 | 0.005 % |
1021.32/1021.71 c | 1784343 | 140 11900 83300 | 53752 50501 44 | 0.005 % |
1021.92/1022.32 c | 1785399 | 140 11900 83300 | 53752 51557 44 | 0.005 % |
1022.52/1022.93 c | 1786557 | 140 11900 83300 | 53752 52715 44 | 0.005 % |
1023.32/1023.79 c | 1787830 | 140 11900 83300 | 53752 47258 44 | 0.005 % |
1024.12/1024.59 c | 1789230 | 140 11900 83300 | 53752 48658 44 | 0.005 % |
1025.01/1025.44 c | 1790770 | 140 11900 83300 | 49429 44288 44 | 0.005 % |
1025.82/1026.27 c | 1792464 | 140 11900 83300 | 49429 45982 44 | 0.005 % |
1026.62/1027.07 c | 1794327 | 140 11900 83300 | 49429 47845 44 | 0.005 % |
1027.72/1028.13 c | 1796377 | 140 11900 83300 | 49429 44946 44 | 0.005 % |
1028.72/1029.11 c | 1798631 | 140 11900 83300 | 49429 47200 44 | 0.005 % |
1030.02/1030.40 c | 1801110 | 140 11900 83300 | 2147483647 49679 44 | 0.005 % |
1031.42/1031.87 c | 1803836 | 140 11900 83300 | 2147483647 52405 44 | 0.005 % |
1033.02/1033.47 c | 1806835 | 140 11900 83300 | 2147483647 55404 44 | 0.005 % |
1034.82/1035.23 c | 1810131 | 140 11900 83300 | 2147483647 58700 44 | 0.005 % |
1037.02/1037.46 c | 1813756 | 140 11900 83300 | 2147483647 62325 44 | 0.005 % |
1039.52/1039.98 c | 1817744 | 140 11900 83300 | 2147483647 66313 44 | 0.005 % |
1042.61/1043.03 c | 1822130 | 140 11900 83300 | 68569 60282 44 | 0.005 % |
1045.41/1045.82 c | 1826953 | 140 11900 83300 | 68569 65105 44 | 0.005 % |
1048.92/1049.35 c | 1832258 | 140 11900 83300 | 68152 59316 44 | 0.005 % |
1052.41/1052.84 c | 1838095 | 140 11900 83300 | 68152 65153 44 | 0.005 % |
1056.31/1056.79 c | 1844513 | 140 11900 83300 | 67058 60558 44 | 0.005 % |
1060.51/1060.95 c | 1851574 | 140 11900 83300 | 66046 56696 44 | 0.005 % |
1064.91/1065.37 c | 1859342 | 140 11900 83300 | 66046 64464 44 | 0.005 % |
1070.21/1070.61 c | 1867882 | 140 11900 83300 | 65123 62938 45 | 0.005 % |
1076.41/1076.86 c | 1877277 | 140 11900 83300 | 65056 61672 45 | 0.005 % |
1082.80/1083.21 c | 1887612 | 140 11900 83300 | 64395 61727 45 | 0.005 % |
1090.00/1090.47 c | 1898978 | 140 11900 83300 | 64115 63819 45 | 0.005 % |
1098.20/1098.67 c | 1911480 | 140 11900 83300 | 49144 44236 44 | 0.005 % |
1104.80/1105.26 c | 1925232 | 140 11900 83300 | 2147483647 53067 44 | 0.005 % |
1113.69/1114.13 c | 1940361 | 140 11900 83300 | 67835 58368 44 | 0.005 % |
1124.49/1124.99 c | 1957001 | 140 11900 83300 | 56315 53642 44 | 0.005 % |
1124.59/1125.05 c | 1957102 | 140 11900 83300 | 56315 53743 44 | 0.005 % |
1124.69/1125.10 c | 1957212 | 140 11900 83300 | 56315 53853 44 | 0.005 % |
1124.69/1125.15 c | 1957334 | 140 11900 83300 | 56315 53975 44 | 0.005 % |
1124.79/1125.22 c | 1957468 | 140 11900 83300 | 56315 54109 44 | 0.005 % |
1124.89/1125.31 c | 1957615 | 140 11900 83300 | 56315 54256 44 | 0.005 % |
1124.89/1125.40 c | 1957777 | 140 11900 83300 | 56315 54418 44 | 0.005 % |
1124.99/1125.49 c | 1957955 | 140 11900 83300 | 56315 54596 44 | 0.005 % |
1125.09/1125.59 c | 1958150 | 140 11900 83300 | 56315 54791 44 | 0.005 % |
1125.29/1125.73 c | 1958362 | 140 11900 83300 | 56315 55003 44 | 0.005 % |
1125.39/1125.87 c | 1958595 | 140 11900 83300 | 56315 55236 44 | 0.005 % |
1125.59/1126.05 c | 1958851 | 140 11900 83300 | 56315 55492 44 | 0.005 % |
1125.79/1126.21 c | 1959133 | 140 11900 83300 | 56315 55774 44 | 0.005 % |
1125.89/1126.38 c | 1959443 | 140 11900 83300 | 56315 56084 44 | 0.005 % |
1126.19/1126.64 c | 1959784 | 140 11900 83300 | 56315 48718 44 | 0.005 % |
1126.39/1126.89 c | 1960158 | 140 11900 83300 | 48936 42505 44 | 0.005 % |
1126.59/1127.08 c | 1960569 | 140 11900 83300 | 48936 42916 44 | 0.005 % |
1126.89/1127.31 c | 1961018 | 140 11900 83300 | 48936 43365 44 | 0.005 % |
1127.09/1127.53 c | 1961512 | 140 11900 83300 | 48936 43859 44 | 0.005 % |
1127.39/1127.81 c | 1962054 | 140 11900 83300 | 48936 44401 44 | 0.005 % |
1127.69/1128.16 c | 1962650 | 140 11900 83300 | 48936 44997 44 | 0.005 % |
1128.09/1128.53 c | 1963305 | 140 11900 83300 | 48936 45652 44 | 0.005 % |
1128.49/1128.94 c | 1964025 | 140 11900 83300 | 48936 46372 44 | 0.005 % |
1128.89/1129.39 c | 1964817 | 140 11900 83300 | 48936 47164 44 | 0.005 % |
1129.49/1129.90 c | 1965690 | 140 11900 83300 | 48936 48037 44 | 0.005 % |
1129.99/1130.40 c | 1966648 | 140 11900 83300 | 48936 48995 44 | 0.005 % |
1130.39/1130.89 c | 1967703 | 140 11900 83300 | 48936 44994 44 | 0.005 % |
1130.99/1131.41 c | 1968861 | 140 11900 83300 | 48936 46152 44 | 0.005 % |
1131.68/1132.11 c | 1970134 | 140 11900 83300 | 2147483647 47425 44 | 0.005 % |
1132.38/1132.81 c | 1971534 | 140 11900 83300 | 2147483647 48825 44 | 0.005 % |
1133.08/1133.56 c | 1973074 | 140 11900 83300 | 2147483647 50365 44 | 0.005 % |
1133.88/1134.34 c | 1974769 | 140 11900 83300 | 2147483647 52060 44 | 0.005 % |
1134.88/1135.30 c | 1976632 | 140 11900 83300 | 2147483647 53923 44 | 0.005 % |
1135.98/1136.49 c | 1978682 | 140 11900 83300 | 2147483647 55973 44 | 0.005 % |
1137.39/1137.86 c | 1980935 | 140 11900 83300 | 2147483647 58226 44 | 0.005 % |
1139.09/1139.59 c | 1983413 | 140 11900 83300 | 2147483647 60704 44 | 0.005 % |
1140.98/1141.42 c | 1986138 | 140 11900 83300 | 2147483647 63429 44 | 0.005 % |
1142.98/1143.47 c | 1989135 | 140 11900 83300 | 2147483647 66426 44 | 0.005 % |
1145.18/1145.65 c | 1992432 | 140 11900 83300 | 67293 58797 44 | 0.005 % |
1147.38/1147.82 c | 1996057 | 140 11900 83300 | 67293 62422 44 | 0.005 % |
1150.18/1150.65 c | 2000044 | 140 11900 83300 | 66367 66409 44 | 0.005 % |
1153.28/1153.71 c | 2004429 | 140 11900 83300 | 66367 60032 44 | 0.005 % |
1156.58/1157.07 c | 2009253 | 140 11900 83300 | 66367 64856 44 | 0.005 % |
1159.98/1160.49 c | 2014558 | 140 11900 83300 | 65603 59102 43 | 0.005 % |
1163.68/1164.15 c | 2020393 | 140 11900 83300 | 64546 54675 44 | 0.005 % |
1167.47/1167.95 c | 2026814 | 140 11900 83300 | 64546 61096 44 | 0.005 % |
1171.67/1172.12 c | 2033876 | 140 11900 83300 | 64282 58337 44 | 0.005 % |
1176.17/1176.68 c | 2041640 | 140 11900 83300 | 55147 48860 44 | 0.005 % |
1181.07/1181.55 c | 2050180 | 140 11900 83300 | 51033 45756 44 | 0.005 % |
1185.77/1186.20 c | 2059574 | 140 11900 83300 | 51033 50042 44 | 0.005 % |
1191.47/1191.99 c | 2069907 | 140 11900 83300 | 2147483647 60375 44 | 0.005 % |
1197.87/1198.34 c | 2081274 | 140 11900 83300 | 55187 49512 44 | 0.005 % |
1200.07/1200.50 HOME/SatELiteGTI: line 36: 23486 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832635-1242785493/watcher-1832635-1242785493 -o /tmp/evaluation-result-1832635-1242785493/solver-1832635-1242785493 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832635-1242785493.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: 0.92 0.98 0.99 3/64 23480
/proc/meminfo: memFree=1733152/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306576674 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23480/statm: 1339 237 197 169 0 50 0
[startup+0.0373361 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23480
/proc/meminfo: memFree=1733152/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306576674 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23480/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102344 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23480
/proc/meminfo: memFree=1733152/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.302362 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23480
/proc/meminfo: memFree=1733152/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.702398 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23480
/proc/meminfo: memFree=1733152/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50147 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1730192/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=4668 CPUtime=1.43
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 876 0 0 0 143 0 0 0 25 0 1 0 306576679 4780032 862 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 1167 862 76 171 0 994 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10024
[startup+3.10161 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1728272/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=6584 CPUtime=3.04
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 1359 0 0 0 303 1 0 0 25 0 1 0 306576679 6742016 1345 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 1646 1345 76 171 0 1473 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11940
[startup+6.3019 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1725200/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=8992 CPUtime=6.23
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 1969 0 0 0 622 1 0 0 25 0 1 0 306576679 9207808 1955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 2248 1955 76 171 0 2075 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14348
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1722000/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=11976 CPUtime=12.63
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 2718 0 0 0 1261 2 0 0 25 0 1 0 306576679 12263424 2704 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 2994 2704 76 171 0 2821 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17332
[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1717584/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=16360 CPUtime=25.43
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 3772 0 0 0 2540 3 0 0 25 0 1 0 306576679 16752640 3758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4090 3758 76 171 0 3917 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21716
[startup+51.103 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1717328/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=16360 CPUtime=51.02
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 3801 0 0 0 5099 3 0 0 25 0 1 0 306576679 16752640 3787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4090 3787 76 171 0 3917 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21716
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1717328/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=16360 CPUtime=102.21
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 3801 0 0 0 10217 4 0 0 25 0 1 0 306576679 16752640 3787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4090 3787 76 171 0 3917 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 21716
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1717008/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=16624 CPUtime=162.18
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 3841 0 0 0 16214 4 0 0 25 0 1 0 306576679 17022976 3827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4156 3827 76 171 0 3983 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 21980
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1715088/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=222.16
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4300 0 0 0 22211 5 0 0 25 0 1 0 306576679 18792448 4286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4286 76 171 0 4415 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 23708
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1715024/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=282.13
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4305 0 0 0 28208 5 0 0 25 0 1 0 306576679 18792448 4291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4291 76 171 0 4415 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 23708
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714896/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=342.1
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4305 0 0 0 34205 5 0 0 25 0 1 0 306576679 18792448 4291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4291 76 171 0 4415 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 23708
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714832/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=402.09
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4305 0 0 0 40203 6 0 0 25 0 1 0 306576679 18792448 4291 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4291 76 171 0 4415 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 23708
[startup+462.303 s]
################
# More data... #
################
[pid=23486] ppid=23480 vsize=18352 CPUtime=522.05
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4306 0 0 0 52199 6 0 0 25 0 1 0 306576679 18792448 4292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4292 76 171 0 4415 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 23708
[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714512/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=582.03
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4306 0 0 0 58197 6 0 0 25 0 1 0 306576679 18792448 4292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4292 76 171 0 4415 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 23708
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714384/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=642.01
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4306 0 0 0 64195 6 0 0 25 0 1 0 306576679 18792448 4292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4292 76 171 0 4415 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 23708
[startup+702.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714192/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18352 CPUtime=701.99
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4306 0 0 0 70192 7 0 0 25 0 1 0 306576679 18792448 4292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4588 4292 76 171 0 4415 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 23708
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714000/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18492 CPUtime=761.98
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4328 0 0 0 76191 7 0 0 25 0 1 0 306576679 18935808 4314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4623 4314 76 171 0 4450 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 23848
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1714000/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18492 CPUtime=821.95
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4334 0 0 0 82188 7 0 0 25 0 1 0 306576679 18935808 4320 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4623 4320 76 171 0 4450 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 23848
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1713616/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18908 CPUtime=881.93
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4407 0 0 0 88186 7 0 0 25 0 1 0 306576679 19361792 4393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4727 4393 76 171 0 4554 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 24264
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1713424/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18908 CPUtime=941.91
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4429 0 0 0 94184 7 0 0 25 0 1 0 306576679 19361792 4415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4727 4415 76 171 0 4554 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 24264
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1713360/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=18908 CPUtime=1001.89
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4429 0 0 0 100182 7 0 0 25 0 1 0 306576679 19361792 4415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 4727 4415 76 171 0 4554 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 24264
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1712016/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=20228 CPUtime=1061.88
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4746 0 0 0 106180 8 0 0 25 0 1 0 306576679 20713472 4732 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 5057 4732 76 171 0 4884 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 25584
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1711824/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=20228 CPUtime=1121.86
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4762 0 0 0 112178 8 0 0 25 0 1 0 306576679 20713472 4748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 5057 4748 76 171 0 4884 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 25584
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1711760/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=20228 CPUtime=1181.84
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4762 0 0 0 118176 8 0 0 25 0 1 0 306576679 20713472 4748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 5057 4748 76 171 0 4884 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 25584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1711760/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=20228 CPUtime=1200.04
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4762 0 0 0 119996 8 0 0 25 0 1 0 306576679 20713472 4748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 5057 4748 76 171 0 4884 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 25584
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: 0.99 0.98 0.99 2/66 23486
/proc/meminfo: memFree=1711760/2055920 swapFree=4170692/4192956
[pid=23480] ppid=23478 vsize=5356 CPUtime=0.03
/proc/23480/stat : 23480 (SatELiteGTI) S 23478 23480 22817 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306576674 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23480/statm: 1339 239 197 169 0 50 0
[pid=23486] ppid=23480 vsize=20228 CPUtime=1200.04
/proc/23486/stat : 23486 (minisat_static) R 23480 23480 22817 0 -1 4194304 4762 0 0 0 119996 8 0 0 25 0 1 0 306576679 20713472 4748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23486/statm: 5057 4748 76 171 0 4884 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 25584
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.11
CPU user time (s): 1200.01
CPU system time (s): 0.098984
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 25584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5736
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= 25
involuntary context switches= 4673
runsolver used 1.48277 second user time and 3.03754 second system time
The end
Begin job on node55 at 2009-05-20 04:11:33
IDJOB=1832635
IDBENCH=70281
IDSOLVER=671
FILE ID=node55/1832635-1242785493
PBS_JOBID= 9322337
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S547165541-056.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832635-1242785493/watcher-1832635-1242785493 -o /tmp/evaluation-result-1832635-1242785493/solver-1832635-1242785493 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832635-1242785493.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c7b32920fad710a8e62fee8bc80010c2
RANDOM SEED=680368911
node55.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.240
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1733632 kB
Buffers: 26180 kB
Cached: 236396 kB
SwapCached: 16496 kB
Active: 100160 kB
Inactive: 180436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733632 kB
SwapTotal: 4192956 kB
SwapFree: 4170692 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 15624 kB
Slab: 27828 kB
Committed_AS: 928316 kB
PageTables: 1368 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= 66252 MiB
End job on node55 at 2009-05-20 04:31:36