0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 120147 314766 | 36044 0 0 nan | 0.000 % |
0.00/0.07 c ==============================================================================
0.00/0.07 c Result : #vars: 841 #clauses: 120147 #literals: 314766
0.00/0.07 c CPU time: 0.06099 s
0.00/0.07 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 841 |
0.00/0.17 c | Number of clauses: 120147 |
0.16/0.22 c | Parsing time: 0.05 s |
0.16/0.23 c ============================[ Search Statistics ]==============================
0.16/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.16/0.23 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.16/0.23 c ===============================================================================
0.16/0.23 c | 0 | 841 120147 314766 | 40049 0 nan | 0.000 % |
0.16/0.26 c | 101 | 841 120147 314766 | 40049 101 46 | 0.000 % |
0.16/0.27 c | 201 | 841 120147 314766 | 40049 201 39 | 0.010 % |
0.16/0.29 c | 302 | 841 120147 314766 | 40049 302 32 | 0.010 % |
0.16/0.31 c | 412 | 841 120147 314766 | 40049 412 32 | 0.010 % |
0.16/0.33 c | 512 | 841 120147 314766 | 40049 512 29 | 0.010 % |
0.16/0.34 c | 622 | 841 120147 314766 | 40049 622 36 | 0.000 % |
0.16/0.35 c | 743 | 841 120147 314766 | 40049 743 37 | 0.000 % |
0.16/0.37 c | 847 | 841 120147 314766 | 40049 847 36 | 0.010 % |
0.16/0.38 c | 958 | 841 120147 314766 | 40049 958 35 | 0.010 % |
0.16/0.40 c | 1082 | 841 120147 314766 | 40049 1082 34 | 0.010 % |
0.16/0.41 c | 1216 | 841 120147 314766 | 40049 1216 39 | 0.000 % |
0.16/0.42 c | 1318 | 841 120147 314766 | 40049 1318 39 | 0.000 % |
0.16/0.44 c | 1431 | 841 120147 314766 | 40049 1431 40 | 0.010 % |
0.16/0.45 c | 1554 | 841 120147 314766 | 40049 1554 39 | 0.010 % |
0.16/0.47 c | 1687 | 841 120147 314766 | 40049 1687 44 | 0.000 % |
0.16/0.49 c | 1836 | 841 120147 314766 | 40049 1836 44 | 0.000 % |
0.16/0.50 c | 1936 | 841 120147 314766 | 40049 1936 43 | 0.010 % |
0.16/0.52 c | 2049 | 841 120147 314766 | 40049 2049 42 | 0.010 % |
0.16/0.53 c | 2170 | 841 120147 314766 | 40049 2170 44 | 0.000 % |
0.16/0.55 c | 2304 | 841 120147 314766 | 40049 2304 45 | 0.010 % |
0.16/0.57 c | 2451 | 841 120147 314766 | 40049 2451 45 | 0.010 % |
0.16/0.59 c | 2612 | 841 120147 314766 | 40049 2612 46 | 0.010 % |
0.16/0.61 c | 2712 | 841 120147 314766 | 40049 2712 46 | 0.010 % |
0.16/0.62 c | 2822 | 841 120147 314766 | 40049 2822 46 | 0.010 % |
0.16/0.64 c | 2945 | 841 120147 314766 | 40049 2945 45 | 0.010 % |
0.16/0.67 c | 3080 | 841 120147 314766 | 40049 3080 45 | 0.010 % |
0.16/0.69 c | 3226 | 841 120147 314766 | 40049 3226 46 | 0.000 % |
0.16/0.71 c | 3387 | 841 120147 314766 | 40049 3387 46 | 0.010 % |
0.16/0.73 c | 3563 | 841 120147 314766 | 40049 3563 46 | 0.010 % |
0.16/0.74 c | 3663 | 841 120147 314766 | 40049 3663 47 | 0.000 % |
0.16/0.76 c | 3778 | 841 120147 314766 | 40049 3778 47 | 0.000 % |
0.16/0.78 c | 3903 | 841 120147 314766 | 40049 3903 46 | 0.010 % |
0.16/0.80 c | 4036 | 841 120147 314766 | 40049 4036 46 | 0.010 % |
0.16/0.82 c | 4187 | 841 120147 314766 | 40049 4187 48 | 0.000 % |
0.16/0.84 c | 4348 | 841 120147 314766 | 40049 4348 48 | 0.000 % |
0.16/0.86 c | 4524 | 841 120147 314766 | 40049 4524 47 | 0.009 % |
0.16/0.88 c | 4718 | 841 120147 314766 | 40049 4718 50 | 0.000 % |
0.16/0.90 c | 4819 | 841 120147 314766 | 40049 4819 50 | 0.000 % |
0.16/0.92 c | 4929 | 841 120147 314766 | 40049 4929 49 | 0.010 % |
0.16/0.93 c | 5054 | 841 120147 314766 | 40049 5054 49 | 0.010 % |
0.16/0.95 c | 5187 | 841 120147 314766 | 40049 5187 50 | 0.000 % |
0.16/0.97 c | 5335 | 841 120147 314766 | 40049 5335 49 | 0.000 % |
0.16/0.99 c | 5497 | 841 120147 314766 | 40049 5497 49 | 0.010 % |
0.97/1.02 c | 5673 | 841 120147 314766 | 40049 5673 48 | 0.010 % |
0.97/1.05 c | 5868 | 841 120147 314766 | 40049 5868 48 | 0.010 % |
0.97/1.08 c | 6083 | 841 120147 314766 | 40049 6083 47 | 0.010 % |
0.97/1.09 c | 6183 | 841 120147 314766 | 40049 6183 48 | 0.000 % |
1.07/1.11 c | 6295 | 841 120147 314766 | 40049 6295 48 | 0.010 % |
1.07/1.13 c | 6417 | 841 120147 314766 | 40049 6417 47 | 0.010 % |
1.07/1.15 c | 6551 | 841 120147 314766 | 40049 6551 47 | 0.010 % |
1.07/1.17 c | 6698 | 841 120147 314766 | 40049 6698 48 | 0.000 % |
1.17/1.20 c | 6858 | 841 120147 314766 | 40049 6858 48 | 0.000 % |
1.17/1.23 c | 7035 | 841 120147 314766 | 40049 7035 47 | 0.010 % |
1.17/1.26 c | 7229 | 841 120147 314766 | 40049 7229 48 | 0.000 % |
1.17/1.29 c | 7442 | 841 120147 314766 | 40049 7442 48 | 0.000 % |
1.27/1.32 c | 7675 | 841 120147 314766 | 40049 7675 48 | 0.000 % |
1.27/1.33 c | 7775 | 841 120147 314766 | 40049 7775 48 | 0.010 % |
1.27/1.35 c | 7889 | 841 120147 314766 | 40049 7889 48 | 0.010 % |
1.27/1.38 c | 8013 | 841 120147 314766 | 40049 8013 47 | 0.010 % |
1.27/1.39 c | 8149 | 841 120147 314766 | 40049 8149 48 | 0.000 % |
1.37/1.42 c | 8295 | 841 120147 314766 | 40049 8295 49 | 0.000 % |
1.37/1.45 c | 8455 | 841 120147 314766 | 40049 8455 48 | 0.010 % |
1.37/1.47 c | 8631 | 841 120147 314766 | 40049 8631 48 | 0.010 % |
1.47/1.51 c | 8827 | 841 120147 314766 | 40049 8827 48 | 0.010 % |
1.47/1.54 c | 9040 | 841 120147 314766 | 40049 9040 47 | 0.000 % |
1.47/1.58 c | 9275 | 841 120147 314766 | 40049 9275 48 | 0.000 % |
1.57/1.62 c | 9531 | 841 120147 314766 | 40049 9531 48 | 0.010 % |
1.57/1.63 c | 9633 | 841 120147 314766 | 40049 9633 48 | 0.000 % |
1.57/1.65 c | 9743 | 841 120147 314766 | 40049 9743 48 | 0.010 % |
1.57/1.67 c | 9865 | 841 120147 314766 | 40049 9865 48 | 0.000 % |
1.57/1.69 c | 10003 | 841 120147 314766 | 40049 10003 48 | 0.010 % |
1.67/1.72 c | 10149 | 841 120147 314766 | 2147483647 10149 48 | 0.000 % |
1.67/1.75 c | 10309 | 841 120147 314766 | 2147483647 10309 48 | 0.000 % |
1.67/1.78 c | 10486 | 841 120147 314766 | 2147483647 10486 48 | 0.010 % |
1.78/1.82 c | 10680 | 841 120147 314766 | 2147483647 10680 47 | 0.010 % |
1.78/1.87 c | 10892 | 841 120147 314766 | 2147483647 10892 47 | 0.010 % |
1.88/1.92 c | 11127 | 841 120147 314766 | 2147483647 11127 46 | 0.010 % |
1.88/1.96 c | 11383 | 841 120147 314766 | 2147483647 11383 46 | 0.010 % |
1.98/2.02 c | 11667 | 841 120147 314766 | 2147483647 11667 45 | 0.010 % |
1.98/2.04 c | 11767 | 841 120147 314766 | 2147483647 11767 45 | 0.010 % |
1.98/2.06 c | 11879 | 841 120147 314766 | 2147483647 11879 45 | 0.010 % |
1.98/2.08 c | 12001 | 841 120147 314766 | 2147483647 12001 45 | 0.010 % |
2.08/2.11 c | 12135 | 841 120147 314766 | 2147483647 12135 45 | 0.000 % |
2.08/2.13 c | 12281 | 841 120147 314766 | 2147483647 12281 45 | 0.010 % |
2.08/2.16 c | 12441 | 841 120147 314766 | 2147483647 12441 45 | 0.010 % |
2.08/2.19 c | 12617 | 841 120147 314766 | 2147483647 12617 45 | 0.010 % |
2.18/2.23 c | 12811 | 841 120147 314766 | 2147483647 12811 45 | 0.010 % |
2.18/2.27 c | 13023 | 841 120147 314766 | 2147483647 13023 44 | 0.010 % |
2.28/2.31 c | 13257 | 841 120147 314766 | 2147483647 13257 45 | 0.000 % |
2.28/2.36 c | 13513 | 841 120147 314766 | 2147483647 13513 45 | 0.010 % |
2.37/2.40 c | 13795 | 841 120147 314766 | 2147483647 13795 46 | 0.000 % |
2.37/2.47 c | 14104 | 841 120147 314766 | 2147483647 14104 45 | 0.010 % |
2.37/2.48 c | 14204 | 841 120147 314766 | 2147483647 14204 45 | 0.010 % |
2.47/2.51 c | 14314 | 841 120147 314766 | 2147483647 14314 45 | 0.010 % |
2.47/2.53 c | 14435 | 841 120147 314766 | 2147483647 14435 45 | 0.010 % |
2.47/2.56 c | 14570 | 841 120147 314766 | 2147483647 14570 45 | 0.010 % |
2.47/2.58 c | 14718 | 841 120147 314766 | 2147483647 14718 45 | 0.000 % |
2.57/2.61 c | 14878 | 841 120147 314766 | 2147483647 14878 45 | 0.000 % |
2.57/2.65 c | 15055 | 841 120147 314766 | 2147483647 15055 45 | 0.009 % |
2.57/2.68 c | 15249 | 841 120147 314766 | 2147483647 15249 45 | 0.000 % |
2.67/2.73 c | 15462 | 841 120147 314766 | 2147483647 15462 45 | 0.010 % |
2.67/2.77 c | 15695 | 841 120147 314766 | 2147483647 15695 45 | 0.010 % |
2.77/2.83 c | 15952 | 841 120147 314766 | 2147483647 15952 45 | 0.010 % |
2.77/2.88 c | 16234 | 841 120147 314766 | 2147483647 16234 44 | 0.010 % |
2.87/2.93 c | 16543 | 841 120147 314766 | 2147483647 16543 44 | 0.010 % |
2.97/3.00 c | 16885 | 841 120147 314766 | 2147483647 16885 45 | 0.000 % |
2.97/3.02 c | 16986 | 841 120147 314766 | 2147483647 16986 45 | 0.010 % |
2.97/3.04 c | 17096 | 841 120147 314766 | 2147483647 17096 45 | 0.010 % |
2.97/3.06 c | 17217 | 841 120147 314766 | 2147483647 17217 45 | 0.000 % |
2.97/3.09 c | 17350 | 841 120147 314766 | 2147483647 17350 45 | 0.010 % |
3.07/3.12 c | 17496 | 841 120147 314766 | 2147483647 17496 45 | 0.009 % |
3.07/3.15 c | 17656 | 841 120147 314766 | 2147483647 17656 45 | 0.009 % |
3.07/3.19 c | 17834 | 841 120147 314766 | 2147483647 17834 45 | 0.009 % |
3.18/3.22 c | 18028 | 841 120147 314766 | 2147483647 18028 44 | 0.000 % |
3.18/3.27 c | 18241 | 841 120147 314766 | 2147483647 18241 45 | 0.000 % |
3.28/3.32 c | 18474 | 841 120147 314766 | 2147483647 18474 45 | 0.000 % |
3.28/3.37 c | 18730 | 841 120147 314766 | 2147483647 18730 45 | 0.010 % |
3.37/3.43 c | 19013 | 841 120147 314766 | 2147483647 19013 45 | 0.000 % |
3.37/3.49 c | 19324 | 841 120147 314766 | 2147483647 19324 45 | 0.000 % |
3.47/3.57 c | 19663 | 841 120147 314766 | 2147483647 19663 45 | 0.010 % |
3.57/3.66 c | 20038 | 841 120147 314766 | 2147483647 20038 45 | 0.010 % |
3.57/3.69 c | 20139 | 841 120147 314766 | 2147483647 20139 45 | 0.000 % |
3.67/3.71 c | 20250 | 841 120147 314766 | 2147483647 20250 45 | 0.010 % |
3.67/3.73 c | 20372 | 841 120147 314766 | 2147483647 20372 45 | 0.010 % |
3.67/3.76 c | 20506 | 841 120147 314766 | 2147483647 20506 45 | 0.010 % |
3.67/3.80 c | 20652 | 841 120147 314766 | 2147483647 20652 45 | 0.000 % |
3.77/3.84 c | 20812 | 841 120147 314766 | 2147483647 20812 45 | 0.000 % |
3.77/3.87 c | 20988 | 841 120147 314766 | 2147483647 20988 45 | 0.010 % |
3.87/3.92 c | 21184 | 841 120147 314766 | 2147483647 21184 45 | 0.009 % |
3.87/3.98 c | 21399 | 841 120147 314766 | 2147483647 21399 45 | 0.010 % |
3.97/4.03 c | 21634 | 841 120147 314766 | 2147483647 21634 44 | 0.009 % |
3.97/4.08 c | 21893 | 841 120147 314766 | 2147483647 21893 44 | 0.009 % |
4.07/4.15 c | 22175 | 841 120147 314766 | 2147483647 22175 44 | 0.010 % |
4.17/4.22 c | 22486 | 841 120147 314766 | 2147483647 22486 44 | 0.010 % |
4.17/4.30 c | 22827 | 841 120147 314766 | 2147483647 22827 44 | 0.010 % |
4.28/4.38 c | 23199 | 841 120147 314766 | 2147483647 23199 43 | 0.010 % |
4.38/4.47 c | 23608 | 841 120147 314766 | 2147483647 23608 43 | 0.010 % |
4.38/4.50 c | 23710 | 841 120147 314766 | 2147483647 23710 43 | 0.009 % |
4.47/4.52 c | 23822 | 841 120147 314766 | 2147483647 23822 43 | 0.010 % |
4.47/4.56 c | 23945 | 841 120147 314766 | 2147483647 23945 43 | 0.009 % |
4.47/4.59 c | 24079 | 841 120147 314766 | 2147483647 24079 43 | 0.009 % |
4.57/4.62 c | 24226 | 841 120147 314766 | 2147483647 24226 43 | 0.000 % |
4.57/4.65 c | 24386 | 841 120147 314766 | 2147483647 24386 44 | 0.010 % |
4.57/4.69 c | 24562 | 841 120147 314766 | 2147483647 24562 43 | 0.010 % |
4.67/4.73 c | 24756 | 841 120147 314766 | 2147483647 24756 44 | 0.000 % |
4.67/4.78 c | 24969 | 841 120147 314766 | 2147483647 24969 44 | 0.010 % |
4.77/4.82 c | 25204 | 841 120147 314766 | 2147483647 25204 44 | 0.010 % |
4.77/4.88 c | 25462 | 841 120147 314766 | 2147483647 25462 44 | 0.009 % |
4.87/4.96 c | 25744 | 841 120147 314766 | 2147483647 25744 44 | 0.010 % |
4.97/5.03 c | 26053 | 841 120147 314766 | 2147483647 26053 43 | 0.010 % |
5.07/5.11 c | 26394 | 841 120147 314766 | 2147483647 26394 44 | 0.000 % |
5.17/5.20 c | 26766 | 841 120147 314766 | 2147483647 26766 44 | 0.010 % |
5.27/5.30 c | 27175 | 841 120147 314766 | 2147483647 27175 43 | 0.009 % |
5.37/5.41 c | 27624 | 841 120147 314766 | 2147483647 27624 43 | 0.010 % |
5.37/5.44 c | 27725 | 841 120147 314766 | 2147483647 27725 43 | 0.010 % |
5.37/5.47 c | 27835 | 841 120147 314766 | 2147483647 27835 43 | 0.010 % |
5.37/5.50 c | 27958 | 841 120147 314766 | 2147483647 27958 43 | 0.009 % |
5.47/5.53 c | 28092 | 841 120147 314766 | 2147483647 28092 43 | 0.009 % |
5.47/5.56 c | 28239 | 841 120147 314766 | 2147483647 28239 43 | 0.000 % |
5.47/5.59 c | 28401 | 841 120147 314766 | 2147483647 28401 43 | 0.000 % |
5.57/5.63 c | 28578 | 841 120147 314766 | 2147483647 28578 43 | 0.010 % |
5.57/5.67 c | 28771 | 841 120147 314766 | 2147483647 28771 43 | 0.000 % |
5.67/5.72 c | 28983 | 841 120147 314766 | 2147483647 28983 43 | 0.000 % |
5.67/5.77 c | 29216 | 841 120147 314766 | 2147483647 29216 43 | 0.010 % |
5.77/5.84 c | 29472 | 841 120147 314766 | 2147483647 29472 43 | 0.010 % |
5.87/5.91 c | 29753 | 841 120147 314766 | 2147483647 29753 43 | 0.010 % |
5.87/5.99 c | 30063 | 841 120147 314766 | 2147483647 30063 43 | 0.010 % |
5.96/6.07 c | 30402 | 841 120147 314766 | 2147483647 30402 43 | 0.000 % |
6.06/6.17 c | 30774 | 841 120147 314766 | 2147483647 30774 43 | 0.010 % |
6.16/6.28 c | 31183 | 841 120147 314766 | 2147483647 31183 43 | 0.010 % |
6.36/6.40 c | 31632 | 841 120147 314766 | 2147483647 31632 43 | 0.010 % |
6.47/6.53 c | 32126 | 841 120147 314766 | 2147483647 32126 43 | 0.009 % |
6.47/6.56 c | 32226 | 841 120147 314766 | 2147483647 32226 43 | 0.010 % |
6.47/6.59 c | 32336 | 841 120147 314766 | 2147483647 32336 43 | 0.009 % |
6.57/6.63 c | 32457 | 841 120147 314766 | 2147483647 32457 43 | 0.009 % |
6.57/6.66 c | 32590 | 841 120147 314766 | 2147483647 32590 43 | 0.010 % |
6.66/6.70 c | 32737 | 841 120147 314766 | 2147483647 32737 43 | 0.000 % |
6.66/6.74 c | 32897 | 841 120147 314766 | 2147483647 32897 43 | 0.000 % |
6.66/6.79 c | 33076 | 841 120147 314766 | 2147483647 33076 43 | 0.009 % |
6.76/6.83 c | 33269 | 841 120147 314766 | 2147483647 33269 43 | 0.000 % |
6.76/6.89 c | 33482 | 841 120147 314766 | 2147483647 33482 43 | 0.000 % |
6.86/6.95 c | 33715 | 841 120147 314766 | 2147483647 33715 43 | 0.000 % |
6.96/7.02 c | 33973 | 841 120147 314766 | 2147483647 33973 43 | 0.010 % |
7.06/7.10 c | 34254 | 841 120147 314766 | 2147483647 34254 43 | 0.010 % |
7.16/7.21 c | 34567 | 841 120147 314766 | 2147483647 34567 43 | 0.010 % |
7.26/7.30 c | 34907 | 841 120147 314766 | 2147483647 34907 44 | 0.000 % |
7.26/7.39 c | 35280 | 841 120147 314766 | 2147483647 35280 44 | 0.000 % |
7.36/7.49 c | 35689 | 841 120147 314766 | 2147483647 35689 44 | 0.010 % |
7.57/7.62 c | 36143 | 841 120147 314766 | 2147483647 36143 43 | 0.010 % |
7.67/7.75 c | 36637 | 841 120147 314766 | 2147483647 36637 43 | 0.010 % |
7.87/7.90 c | 37179 | 841 120147 314766 | 2147483647 37179 43 | 0.010 % |
7.87/7.93 c | 37281 | 841 120147 314766 | 2147483647 37281 43 | 0.010 % |
7.87/7.96 c | 37394 | 841 120147 314766 | 2147483647 37394 43 | 0.010 % |
7.87/8.00 c | 37515 | 841 120147 314766 | 2147483647 37515 43 | 0.010 % |
7.97/8.03 c | 37649 | 841 120147 314766 | 2147483647 37649 43 | 0.000 % |
7.97/8.07 c | 37796 | 841 120147 314766 | 2147483647 37796 43 | 0.000 % |
8.06/8.11 c | 37956 | 841 120147 314766 | 2147483647 37956 43 | 0.010 % |
8.06/8.17 c | 38133 | 841 120147 314766 | 2147483647 38133 43 | 0.010 % |
8.16/8.22 c | 38326 | 841 120147 314766 | 2147483647 38326 43 | 0.010 % |
8.16/8.29 c | 38539 | 841 120147 314766 | 2147483647 38539 43 | 0.010 % |
8.26/8.35 c | 38774 | 841 120147 314766 | 2147483647 38774 44 | 0.000 % |
8.36/8.44 c | 39032 | 841 120147 314766 | 2147483647 39032 43 | 0.010 % |
8.46/8.51 c | 39315 | 841 120147 314766 | 2147483647 39315 44 | 0.000 % |
8.46/8.58 c | 39624 | 841 120147 314766 | 2147483647 39624 44 | 0.009 % |
8.56/8.69 c | 39964 | 841 120147 314766 | 2147483647 39964 44 | 0.009 % |
8.77/8.80 c | 40336 | 841 120147 314766 | 2147483647 40336 43 | 0.009 % |
8.86/8.93 c | 40745 | 841 120147 314766 | 2147483647 40745 43 | 0.010 % |
8.96/9.09 c | 41194 | 841 120147 314766 | 2147483647 41194 43 | 0.010 % |
9.16/9.23 c | 41687 | 841 120147 314766 | 2147483647 41687 43 | 0.010 % |
9.26/9.39 c | 42229 | 841 120147 314766 | 2147483647 42229 43 | 0.010 % |
9.46/9.58 c | 42825 | 841 120147 314766 | 2147483647 42825 43 | 0.010 % |
9.56/9.62 c | 42927 | 841 120147 314766 | 2147483647 42927 43 | 0.010 % |
9.56/9.65 c | 43037 | 841 120147 314766 | 2147483647 43037 43 | 0.010 % |
9.56/9.68 c | 43158 | 841 120147 314766 | 2147483647 43158 43 | 0.000 % |
9.66/9.72 c | 43293 | 841 120147 314766 | 2147483647 43293 43 | 0.010 % |
9.66/9.77 c | 43440 | 841 120147 314766 | 2147483647 43440 43 | 0.010 % |
9.77/9.82 c | 43601 | 841 120147 314766 | 2147483647 43601 43 | 0.010 % |
9.77/9.88 c | 43780 | 841 120147 314766 | 2147483647 43780 43 | 0.010 % |
9.86/9.93 c | 43974 | 841 120147 314766 | 2147483647 43974 43 | 0.010 % |
9.86/9.99 c | 44189 | 841 120147 314766 | 2147483647 44189 43 | 0.010 % |
9.96/10.07 c | 44425 | 841 120147 314766 | 2147483647 44425 43 | 0.010 % |
10.06/10.15 c | 44681 | 841 120147 314766 | 2147483647 44681 42 | 0.010 % |
10.16/10.23 c | 44965 | 841 120147 314766 | 2147483647 44965 42 | 0.010 % |
10.26/10.31 c | 45274 | 841 120147 314766 | 2147483647 45274 42 | 0.010 % |
10.36/10.42 c | 45614 | 841 120147 314766 | 2147483647 45614 42 | 0.010 % |
10.46/10.53 c | 45986 | 841 120147 314766 | 2147483647 45986 42 | 0.010 % |
10.56/10.66 c | 46395 | 841 120147 314766 | 2147483647 46395 42 | 0.010 % |
10.66/10.79 c | 46846 | 841 120147 314766 | 2147483647 46846 42 | 0.010 % |
10.86/10.93 c | 47339 | 841 120147 314766 | 2147483647 47339 42 | 0.010 % |
10.96/11.09 c | 47881 | 841 120147 314766 | 2147483647 47881 42 | 0.010 % |
11.16/11.29 c | 48478 | 841 120147 314766 | 2147483647 48478 42 | 0.010 % |
11.46/11.52 c | 49133 | 841 120147 314766 | 2147483647 49133 42 | 0.010 % |
11.46/11.55 c | 49233 | 841 120147 314766 | 2147483647 49233 42 | 0.010 % |
11.46/11.59 c | 49343 | 841 120147 314766 | 2147483647 49343 42 | 0.010 % |
11.56/11.64 c | 49466 | 841 120147 314766 | 2147483647 49466 42 | 0.010 % |
11.56/11.68 c | 49599 | 841 120147 314766 | 2147483647 49599 42 | 0.010 % |
11.66/11.73 c | 49747 | 841 120147 314766 | 2147483647 49747 42 | 0.000 % |
11.66/11.78 c | 49907 | 841 120147 314766 | 2147483647 49907 42 | 0.000 % |
11.75/11.84 c | 50084 | 841 120147 314766 | 2147483647 50084 42 | 0.010 % |
11.85/11.90 c | 50277 | 841 120147 314766 | 2147483647 50277 42 | 0.000 % |
11.85/11.98 c | 50489 | 841 120147 314766 | 2147483647 50489 42 | 0.000 % |
11.96/12.07 c | 50724 | 841 120147 314766 | 2147483647 50724 42 | 0.010 % |
12.06/12.17 c | 50980 | 841 120147 314766 | 2147483647 50980 42 | 0.010 % |
12.15/12.27 c | 51261 | 841 120147 314766 | 2147483647 51261 42 | 0.010 % |
12.25/12.37 c | 51571 | 841 120147 314766 | 2147483647 51571 42 | 0.010 % |
12.35/12.46 c | 51910 | 841 120147 314766 | 2147483647 51910 42 | 0.000 % |
12.46/12.58 c | 52283 | 841 120147 314766 | 2147483647 52283 42 | 0.000 % |
12.66/12.72 c | 52692 | 841 120147 314766 | 2147483647 52692 42 | 0.000 % |
12.76/12.88 c | 53143 | 841 120147 314766 | 2147483647 53143 42 | 0.010 % |
12.96/13.04 c | 53636 | 841 120147 314766 | 2147483647 53636 42 | 0.010 % |
13.16/13.22 c | 54179 | 841 120147 314766 | 2147483647 54179 42 | 0.010 % |
13.36/13.41 c | 54775 | 841 120147 314766 | 2147483647 54775 42 | 0.010 % |
13.56/13.65 c | 55430 | 841 120147 314766 | 2147483647 55430 42 | 0.010 % |
13.86/13.91 c | 56150 | 841 120147 314766 | 2147483647 56150 42 | 0.010 % |
13.86/13.95 c | 56250 | 841 120147 314766 | 2147483647 56250 42 | 0.010 % |
13.86/13.99 c | 56360 | 841 120147 314766 | 2147483647 56360 42 | 0.010 % |
13.96/14.03 c | 56483 | 841 120147 314766 | 2147483647 56483 42 | 0.010 % |
13.96/14.08 c | 56618 | 841 120147 314766 | 2147483647 56618 42 | 0.010 % |
14.05/14.14 c | 56764 | 841 120147 314766 | 2147483647 56764 42 | 0.010 % |
14.16/14.21 c | 56927 | 841 120147 314766 | 2147483647 56927 42 | 0.010 % |
14.16/14.26 c | 57105 | 841 120147 314766 | 2147483647 57105 42 | 0.010 % |
14.26/14.33 c | 57298 | 841 120147 314766 | 2147483647 57298 42 | 0.010 % |
14.35/14.40 c | 57510 | 841 120147 314766 | 2147483647 57510 42 | 0.010 % |
14.35/14.48 c | 57743 | 841 120147 314766 | 2147483647 57743 42 | 0.000 % |
14.45/14.56 c | 58000 | 841 120147 314766 | 2147483647 58000 42 | 0.000 % |
14.55/14.66 c | 58283 | 841 120147 314766 | 2147483647 58283 42 | 0.000 % |
14.65/14.77 c | 58595 | 841 120147 314766 | 2147483647 58595 42 | 0.010 % |
14.75/14.87 c | 58936 | 841 120147 314766 | 2147483647 58936 42 | 0.000 % |
14.95/15.01 c | 59308 | 841 120147 314766 | 2147483647 59308 42 | 0.010 % |
15.05/15.16 c | 59719 | 841 120147 314766 | 2147483647 59719 42 | 0.010 % |
15.26/15.31 c | 60169 | 841 120147 314766 | 2147483647 60169 42 | 0.000 % |
15.45/15.50 c | 60662 | 841 120147 314766 | 2147483647 60662 42 | 0.010 % |
15.65/15.72 c | 61206 | 841 120147 314766 | 2147483647 61206 42 | 0.010 % |
15.85/15.92 c | 61803 | 841 120147 314766 | 2147483647 61803 42 | 0.010 % |
16.05/16.19 c | 62460 | 841 120147 314766 | 2147483647 62460 42 | 0.010 % |
16.35/16.49 c | 63183 | 841 120147 314766 | 2147483647 63183 42 | 0.010 % |
16.75/16.81 c | 63975 | 841 120147 314766 | 2147483647 63975 42 | 0.010 % |
16.75/16.85 c | 64075 | 841 120147 314766 | 2147483647 64075 42 | 0.010 % |
16.75/16.89 c | 64186 | 841 120147 314766 | 2147483647 64186 42 | 0.000 % |
16.85/16.93 c | 64307 | 841 120147 314766 | 2147483647 64307 42 | 0.010 % |
16.85/16.98 c | 64442 | 841 120147 314766 | 2147483647 64442 42 | 0.010 % |
16.95/17.05 c | 64591 | 841 120147 314766 | 2147483647 64591 42 | 0.010 % |
17.05/17.11 c | 64751 | 841 120147 314766 | 2147483647 64751 42 | 0.000 % |
17.05/17.18 c | 64929 | 841 120147 314766 | 2147483647 64929 42 | 0.010 % |
17.15/17.25 c | 65122 | 841 120147 314766 | 2147483647 65122 42 | 0.010 % |
17.25/17.34 c | 65336 | 841 120147 314766 | 2147483647 65336 42 | 0.010 % |
17.35/17.43 c | 65570 | 841 120147 314766 | 2147483647 65570 42 | 0.010 % |
17.45/17.53 c | 65827 | 841 120147 314766 | 2147483647 65827 42 | 0.000 % |
17.55/17.63 c | 66111 | 841 120147 314766 | 2147483647 66111 43 | 0.000 % |
17.65/17.76 c | 66420 | 841 120147 314766 | 2147483647 66420 42 | 0.000 % |
17.75/17.88 c | 66759 | 841 120147 314766 | 2147483647 66759 42 | 0.010 % |
17.95/18.03 c | 67132 | 841 120147 314766 | 2147483647 67132 42 | 0.009 % |
18.05/18.19 c | 67544 | 841 120147 314766 | 2147483647 67544 42 | 0.009 % |
18.25/18.36 c | 67993 | 841 120147 314766 | 2147483647 67993 43 | 0.000 % |
18.45/18.58 c | 68486 | 841 120147 314766 | 2147483647 68486 43 | 0.000 % |
18.75/18.81 c | 69030 | 841 120147 314766 | 2147483647 69030 43 | 0.010 % |
18.95/19.05 c | 69628 | 841 120147 314766 | 2147483647 69628 43 | 0.000 % |
19.25/19.36 c | 70283 | 841 120147 314766 | 2147483647 70283 43 | 0.010 % |
19.55/19.69 c | 71005 | 841 120147 314766 | 2147483647 71005 43 | 0.010 % |
19.95/20.02 c | 71798 | 841 120147 314766 | 2147483647 71798 44 | 0.000 % |
20.35/20.49 c | 72669 | 841 120147 314766 | 2147483647 72669 44 | 0.010 % |
20.45/20.54 c | 72770 | 841 120147 314766 | 2147483647 72770 44 | 0.010 % |
20.55/20.60 c | 72881 | 841 120147 314766 | 2147483647 72881 43 | 0.010 % |
20.55/20.68 c | 73003 | 841 120147 314766 | 2147483647 73003 43 | 0.010 % |
20.65/20.73 c | 73136 | 841 120147 314766 | 2147483647 73136 44 | 0.000 % |
20.76/20.81 c | 73285 | 841 120147 314766 | 2147483647 73285 44 | 0.010 % |
20.86/20.90 c | 73449 | 841 120147 314766 | 2147483647 73449 44 | 0.010 % |
20.86/20.97 c | 73625 | 841 120147 314766 | 2147483647 73625 44 | 0.010 % |
20.95/21.06 c | 73822 | 841 120147 314766 | 2147483647 73822 43 | 0.010 % |
21.05/21.17 c | 74037 | 841 120147 314766 | 2147483647 74037 43 | 0.010 % |
21.15/21.28 c | 74270 | 841 120147 314766 | 2147483647 74270 44 | 0.000 % |
21.35/21.42 c | 74529 | 841 120147 314766 | 2147483647 74529 44 | 0.010 % |
21.45/21.55 c | 74812 | 841 120147 314766 | 2147483647 74812 44 | 0.000 % |
21.65/21.70 c | 75124 | 841 120147 314766 | 2147483647 75124 44 | 0.010 % |
21.75/21.86 c | 75464 | 841 120147 314766 | 2147483647 75464 44 | 0.010 % |
21.95/22.05 c | 75838 | 841 120147 314766 | 2147483647 75838 44 | 0.010 % |
22.15/22.25 c | 76247 | 841 120147 314766 | 2147483647 76247 44 | 0.010 % |
22.35/22.46 c | 76697 | 841 120147 314766 | 2147483647 76697 44 | 0.010 % |
22.65/22.72 c | 77191 | 841 120147 314766 | 2147483647 77191 44 | 0.010 % |
22.85/22.97 c | 77733 | 841 120147 314766 | 2147483647 77733 44 | 0.010 % |
23.15/23.24 c | 78330 | 841 120147 314766 | 2147483647 78330 43 | 0.010 % |
23.45/23.55 c | 78985 | 841 120147 314766 | 2147483647 78985 43 | 0.010 % |
23.85/23.91 c | 79707 | 841 120147 314766 | 2147483647 79707 43 | 0.010 % |
24.15/24.27 c | 80499 | 841 120147 314766 | 2147483647 80499 43 | 0.010 % |
24.65/24.71 c | 81370 | 841 120147 314766 | 2147483647 81370 43 | 0.010 % |
25.15/25.24 c | 82330 | 841 120147 314766 | 2147483647 82330 43 | 0.010 % |
25.15/25.30 c | 82435 | 841 120147 314766 | 2147483647 82435 43 | 0.010 % |
25.25/25.35 c | 82547 | 841 120147 314766 | 2147483647 82547 43 | 0.010 % |
25.34/25.41 c | 82671 | 841 120147 314766 | 2147483647 82671 43 | 0.000 % |
25.34/25.49 c | 82805 | 841 120147 314766 | 2147483647 82805 43 | 0.010 % |
25.44/25.58 c | 82953 | 841 120147 314766 | 2147483647 82953 43 | 0.010 % |
25.54/25.68 c | 83113 | 841 120147 314766 | 2147483647 83113 43 | 0.010 % |
25.64/25.79 c | 83289 | 841 120147 314766 | 2147483647 83289 43 | 0.010 % |
25.74/25.89 c | 83483 | 841 120147 314766 | 2147483647 83483 43 | 0.010 % |
25.94/26.01 c | 83695 | 841 120147 314766 | 2147483647 83695 43 | 0.010 % |
26.04/26.14 c | 83928 | 841 120147 314766 | 2147483647 83928 43 | 0.010 % |
26.14/26.28 c | 84185 | 841 120147 314766 | 2147483647 84185 43 | 0.010 % |
26.34/26.43 c | 84468 | 841 120147 314766 | 2147483647 84468 43 | 0.010 % |
26.44/26.58 c | 84778 | 841 120147 314766 | 2147483647 84778 43 | 0.010 % |
26.64/26.72 c | 85120 | 841 120147 314766 | 2147483647 85120 43 | 0.010 % |
26.84/26.90 c | 85497 | 841 120147 314766 | 2147483647 85497 43 | 0.010 % |
27.04/27.11 c | 85909 | 841 120147 314766 | 2147483647 85909 43 | 0.010 % |
27.25/27.35 c | 86360 | 841 120147 314766 | 2147483647 86360 43 | 0.010 % |
27.45/27.56 c | 86855 | 841 120147 314766 | 2147483647 86855 43 | 0.010 % |
27.74/27.85 c | 87397 | 841 120147 314766 | 2147483647 87397 43 | 0.010 % |
28.04/28.19 c | 87993 | 841 120147 314766 | 2147483647 87993 43 | 0.010 % |
28.45/28.55 c | 88648 | 841 120147 314766 | 2147483647 88648 43 | 0.010 % |
28.84/28.98 c | 89370 | 841 120147 314766 | 2147483647 89370 43 | 0.010 % |
29.34/29.40 c | 90162 | 841 120147 314766 | 2147483647 90162 43 | 0.010 % |
29.74/29.86 c | 91034 | 841 120147 314766 | 2147483647 91034 43 | 0.010 % |
30.24/30.37 c | 91992 | 841 120147 314766 | 2147483647 91992 43 | 0.000 % |
30.84/30.99 c | 93050 | 841 120147 314766 | 2147483647 93050 43 | 0.010 % |
30.94/31.03 c | 93150 | 841 120147 314766 | 2147483647 93150 43 | 0.000 % |
30.94/31.10 c | 93261 | 841 120147 314766 | 2147483647 93261 43 | 0.010 % |
31.04/31.16 c | 93382 | 841 120147 314766 | 2147483647 93382 43 | 0.010 % |
31.14/31.24 c | 93516 | 841 120147 314766 | 2147483647 93516 43 | 0.010 % |
31.24/31.33 c | 93662 | 841 120147 314766 | 2147483647 93662 43 | 0.000 % |
31.34/31.40 c | 93822 | 841 120147 314766 | 2147483647 93822 43 | 0.010 % |
31.44/31.51 c | 93998 | 841 120147 314766 | 2147483647 93998 43 | 0.010 % |
31.54/31.64 c | 94191 | 841 120147 314766 | 2147483647 94191 43 | 0.010 % |
31.64/31.75 c | 94403 | 841 120147 314766 | 2147483647 94403 43 | 0.010 % |
31.74/31.88 c | 94638 | 841 120147 314766 | 2147483647 94638 43 | 0.010 % |
31.93/32.02 c | 94894 | 841 120147 314766 | 2147483647 94894 43 | 0.010 % |
32.03/32.17 c | 95177 | 841 120147 314766 | 2147483647 95177 43 | 0.010 % |
32.23/32.34 c | 95486 | 841 120147 314766 | 2147483647 95486 43 | 0.009 % |
32.43/32.50 c | 95825 | 841 120147 314766 | 2147483647 95825 43 | 0.010 % |
32.63/32.74 c | 96199 | 841 120147 314766 | 2147483647 96199 43 | 0.010 % |
32.83/32.95 c | 96608 | 841 120147 314766 | 2147483647 96608 43 | 0.010 % |
33.13/33.21 c | 97058 | 841 120147 314766 | 2147483647 97058 43 | 0.010 % |
33.33/33.45 c | 97552 | 841 120147 314766 | 2147483647 97552 43 | 0.000 % |
33.63/33.74 c | 98094 | 841 120147 314766 | 2147483647 98094 43 | 0.000 % |
33.93/34.04 c | 98690 | 841 120147 314766 | 2147483647 98690 44 | 0.000 % |
34.33/34.42 c | 99346 | 841 120147 314766 | 2147483647 99346 44 | 0.000 % |
34.73/34.89 c | 100068 | 841 120147 314766 | 2147483647 100068 44 | 0.010 % |
35.23/35.30 c | 100860 | 841 120147 314766 | 2147483647 100860 44 | 0.000 % |
35.73/35.89 c | 101733 | 841 120147 314766 | 2147483647 101733 44 | 0.010 % |
36.43/36.51 c | 102691 | 841 120147 314766 | 2147483647 102691 43 | 0.010 % |
37.03/37.13 c | 103744 | 841 120147 314766 | 2147483647 103744 43 | 0.010 % |
37.73/37.84 c | 104903 | 841 120147 314766 | 2147483647 104903 43 | 0.010 % |
37.73/37.90 c | 105003 | 841 120147 314766 | 2147483647 105003 43 | 0.010 % |
37.83/37.96 c | 105114 | 841 120147 314766 | 2147483647 105114 44 | 0.000 % |
37.93/38.04 c | 105235 | 841 120147 314766 | 2147483647 105235 44 | 0.000 % |
38.03/38.11 c | 105370 | 841 120147 314766 | 2147483647 105370 44 | 0.010 % |
38.03/38.19 c | 105516 | 841 120147 314766 | 2147483647 105516 43 | 0.010 % |
38.13/38.27 c | 105676 | 841 120147 314766 | 2147483647 105676 44 | 0.000 % |
38.23/38.36 c | 105852 | 841 120147 314766 | 2147483647 105852 44 | 0.010 % |
38.33/38.48 c | 106045 | 841 120147 314766 | 2147483647 106045 44 | 0.010 % |
38.43/38.57 c | 106258 | 841 120147 314766 | 2147483647 106258 44 | 0.000 % |
38.53/38.70 c | 106491 | 841 120147 314766 | 2147483647 106491 44 | 0.000 % |
38.73/38.88 c | 106748 | 841 120147 314766 | 2147483647 106748 44 | 0.000 % |
38.93/39.05 c | 107030 | 841 120147 314766 | 2147483647 107030 44 | 0.010 % |
39.02/39.19 c | 107339 | 841 120147 314766 | 2147483647 107339 44 | 0.000 % |
39.32/39.44 c | 107681 | 841 120147 314766 | 2147483647 107681 44 | 0.010 % |
39.53/39.67 c | 108054 | 841 120147 314766 | 2147483647 108054 44 | 0.010 % |
39.83/39.92 c | 108463 | 841 120147 314766 | 2147483647 108463 44 | 0.000 % |
40.03/40.17 c | 108912 | 841 120147 314766 | 2147483647 108912 44 | 0.010 % |
40.33/40.47 c | 109405 | 841 120147 314766 | 2147483647 109405 44 | 0.010 % |
40.64/40.79 c | 109949 | 841 120147 314766 | 2147483647 109949 44 | 0.010 % |
41.13/41.23 c | 110546 | 841 120147 314766 | 2147483647 110546 44 | 0.010 % |
41.53/41.67 c | 111205 | 841 120147 314766 | 2147483647 111205 44 | 0.000 % |
42.03/42.14 c | 111927 | 841 120147 314766 | 2147483647 111927 44 | 0.010 % |
42.53/42.63 c | 112719 | 841 120147 314766 | 2147483647 112719 44 | 0.010 % |
43.03/43.19 c | 113592 | 841 120147 314766 | 2147483647 113592 44 | 0.010 % |
43.73/43.86 c | 114551 | 841 120147 314766 | 2147483647 114551 45 | 0.000 % |
44.42/44.56 c | 115606 | 841 120147 314766 | 2147483647 115606 45 | 0.000 % |
45.22/45.32 c | 116765 | 841 120147 314766 | 2147483647 116765 45 | 0.000 % |
46.13/46.23 c | 118039 | 841 120147 314766 | 2147483647 118039 45 | 0.010 % |
46.22/46.31 c | 118139 | 841 120147 314766 | 2147483647 118139 45 | 0.000 % |
46.32/46.42 c | 118249 | 841 120147 314766 | 2147483647 118249 45 | 0.010 % |
46.42/46.53 c | 118370 | 841 120147 314766 | 2147483647 118370 45 | 0.010 % |
46.52/46.63 c | 118503 | 841 120147 314766 | 2147483647 118503 45 | 0.010 % |
46.62/46.73 c | 118650 | 841 120147 314766 | 2147483647 118650 45 | 0.000 % |
46.72/46.86 c | 118810 | 841 120147 314766 | 2147483647 118810 45 | 0.009 % |
46.82/46.98 c | 118987 | 841 120147 314766 | 2147483647 118987 45 | 0.010 % |
47.02/47.13 c | 119183 | 841 120147 314766 | 2147483647 119183 45 | 0.009 % |
47.12/47.28 c | 119395 | 841 120147 314766 | 2147483647 119395 45 | 0.000 % |
47.33/47.45 c | 119628 | 841 120147 314766 | 2147483647 119628 45 | 0.009 % |
47.53/47.62 c | 119886 | 841 120147 314766 | 2147483647 119886 45 | 0.010 % |
47.73/47.81 c | 120167 | 841 120147 314766 | 2147483647 120167 45 | 0.009 % |
47.93/48.04 c | 120477 | 841 120147 314766 | 2147483647 120477 45 | 0.009 % |
48.13/48.29 c | 120817 | 841 120147 314766 | 2147483647 120817 45 | 0.000 % |
48.43/48.55 c | 121191 | 841 120147 314766 | 2147483647 121191 45 | 0.009 % |
48.73/48.83 c | 121601 | 841 120147 314766 | 2147483647 121601 45 | 0.000 % |
49.02/49.16 c | 122052 | 841 120147 314766 | 2147483647 122052 45 | 0.000 % |
49.43/49.56 c | 122545 | 841 120147 314766 | 2147483647 122545 45 | 0.000 % |
49.82/49.95 c | 123088 | 841 120147 314766 | 2147483647 123088 45 | 0.000 % |
50.22/50.35 c | 123684 | 841 120147 314766 | 2147483647 123684 45 | 0.000 % |
50.72/50.89 c | 124341 | 841 120147 314766 | 2147483647 124341 45 | 0.010 % |
51.32/51.46 c | 125062 | 841 120147 314766 | 2147483647 125062 45 | 0.010 % |
51.92/52.02 c | 125856 | 841 120147 314766 | 2147483647 125856 45 | 0.000 % |
52.52/52.69 c | 126729 | 841 120147 314766 | 2147483647 126729 45 | 0.000 % |
53.22/53.35 c | 127687 | 841 120147 314766 | 2147483647 127687 45 | 0.010 % |
54.02/54.14 c | 128741 | 841 120147 314766 | 2147483647 128741 45 | 0.000 % |
54.93/55.04 c | 129901 | 841 120147 314766 | 2147483647 129901 45 | 0.010 % |
56.03/56.11 c | 131174 | 841 120147 314766 | 2147483647 131174 45 | 0.010 % |
57.13/57.22 c | 132575 | 841 120147 314766 | 2147483647 132575 45 | 0.010 % |
57.13/57.29 c | 132675 | 841 120147 314766 | 2147483647 132675 45 | 0.000 % |
57.22/57.37 c | 132786 | 841 120147 314766 | 2147483647 132786 45 | 0.000 % |
57.32/57.47 c | 132907 | 841 120147 314766 | 2147483647 132907 45 | 0.010 % |
57.42/57.58 c | 133040 | 841 120147 314766 | 2147483647 133040 45 | 0.000 % |
57.62/57.70 c | 133188 | 841 120147 314766 | 2147483647 133188 45 | 0.000 % |
57.72/57.81 c | 133350 | 841 120147 314766 | 2147483647 133350 45 | 0.010 % |
57.82/57.93 c | 133528 | 841 120147 314766 | 2147483647 133528 45 | 0.010 % |
57.92/58.09 c | 133722 | 841 120147 314766 | 2147483647 133722 45 | 0.000 % |
58.13/58.29 c | 133935 | 841 120147 314766 | 2147483647 133935 45 | 0.010 % |
58.32/58.49 c | 134171 | 841 120147 314766 | 2147483647 134171 45 | 0.010 % |
58.62/58.73 c | 134427 | 841 120147 314766 | 2147483647 134427 45 | 0.010 % |
58.82/58.98 c | 134712 | 841 120147 314766 | 2147483647 134712 45 | 0.010 % |
59.12/59.26 c | 135021 | 841 120147 314766 | 2147483647 135021 45 | 0.010 % |
59.42/59.56 c | 135370 | 841 120147 314766 | 2147483647 135370 45 | 0.000 % |
59.72/59.86 c | 135742 | 841 120147 314766 | 2147483647 135742 45 | 0.010 % |
60.02/60.16 c | 136152 | 841 120147 314766 | 2147483647 136152 45 | 0.010 % |
60.32/60.48 c | 136602 | 841 120147 314766 | 2147483647 136602 45 | 0.010 % |
60.82/60.92 c | 137096 | 841 120147 314766 | 2147483647 137096 45 | 0.010 % |
61.22/61.33 c | 137640 | 841 120147 314766 | 2147483647 137640 45 | 0.000 % |
61.72/61.84 c | 138239 | 841 120147 314766 | 2147483647 138239 45 | 0.000 % |
62.22/62.36 c | 138896 | 841 120147 314766 | 2147483647 138896 45 | 0.010 % |
62.82/62.93 c | 139619 | 841 120147 314766 | 2147483647 139619 45 | 0.010 % |
63.52/63.61 c | 140413 | 841 120147 314766 | 2147483647 140413 45 | 0.010 % |
64.12/64.30 c | 141290 | 841 120147 314766 | 2147483647 141290 45 | 0.010 % |
65.02/65.12 c | 142248 | 841 120147 314766 | 2147483647 142248 45 | 0.010 % |
65.92/66.03 c | 143304 | 841 120147 314766 | 2147483647 143304 45 | 0.010 % |
66.92/67.06 c | 144463 | 841 120147 314766 | 2147483647 144463 45 | 0.010 % |
68.02/68.16 c | 145737 | 841 120147 314766 | 2147483647 145737 45 | 0.010 % |
69.51/69.65 c | 147141 | 841 120147 314766 | 2147483647 147141 45 | 0.010 % |
71.01/71.16 c | 148682 | 841 120147 314766 | 2147483647 148682 45 | 0.010 % |
71.11/71.26 c | 148783 | 841 120147 314766 | 2147483647 148783 45 | 0.010 % |
71.21/71.37 c | 148893 | 841 120147 314766 | 2147483647 148893 45 | 0.009 % |
71.32/71.45 c | 149016 | 841 120147 314766 | 2147483647 149016 45 | 0.010 % |
71.41/71.57 c | 149149 | 841 120147 314766 | 2147483647 149149 45 | 0.000 % |
71.61/71.70 c | 149295 | 841 120147 314766 | 2147483647 149295 45 | 0.000 % |
71.71/71.85 c | 149455 | 841 120147 314766 | 2147483647 149455 45 | 0.000 % |
71.91/72.02 c | 149631 | 841 120147 314766 | 2147483647 149631 45 | 0.010 % |
72.11/72.21 c | 149825 | 841 120147 314766 | 2147483647 149825 45 | 0.010 % |
72.31/72.40 c | 150037 | 841 120147 314766 | 2147483647 150037 45 | 0.010 % |
72.41/72.58 c | 150271 | 841 120147 314766 | 2147483647 150271 45 | 0.000 % |
72.72/72.80 c | 150527 | 841 120147 314766 | 2147483647 150527 45 | 0.000 % |
73.02/73.12 c | 150812 | 841 120147 314766 | 2147483647 150812 45 | 0.000 % |
73.32/73.47 c | 151121 | 841 120147 314766 | 2147483647 151121 45 | 0.010 % |
73.62/73.77 c | 151461 | 841 120147 314766 | 2147483647 151461 45 | 0.010 % |
73.92/74.06 c | 151836 | 841 120147 314766 | 2147483647 151836 45 | 0.010 % |
74.32/74.42 c | 152245 | 841 120147 314766 | 2147483647 152245 45 | 0.010 % |
74.62/74.75 c | 152694 | 841 120147 314766 | 2147483647 152694 45 | 0.010 % |
75.02/75.15 c | 153187 | 841 120147 314766 | 2147483647 153187 45 | 0.010 % |
75.42/75.56 c | 153730 | 841 120147 314766 | 2147483647 153730 45 | 0.009 % |
76.02/76.14 c | 154326 | 841 120147 314766 | 2147483647 154326 45 | 0.009 % |
76.52/76.60 c | 154984 | 841 120147 314766 | 2147483647 154984 45 | 0.009 % |
77.12/77.22 c | 155705 | 841 120147 314766 | 2147483647 155705 45 | 0.009 % |
77.81/77.98 c | 156498 | 841 120147 314766 | 2147483647 156498 45 | 0.010 % |
78.61/78.71 c | 157370 | 841 120147 314766 | 2147483647 157370 45 | 0.010 % |
79.51/79.68 c | 158329 | 841 120147 314766 | 2147483647 158329 45 | 0.010 % |
80.61/80.77 c | 159383 | 841 120147 314766 | 2147483647 159383 45 | 0.010 % |
81.81/81.94 c | 160543 | 841 120147 314766 | 2147483647 160543 45 | 0.010 % |
82.91/83.02 c | 161817 | 841 120147 314766 | 2147483647 161817 45 | 0.000 % |
84.21/84.31 c | 163219 | 841 120147 314766 | 2147483647 163219 45 | 0.000 % |
85.61/85.78 c | 164759 | 841 120147 314766 | 2147483647 164759 45 | 0.009 % |
87.41/87.53 c | 166455 | 841 120147 314766 | 2147483647 166455 45 | 0.010 % |
87.51/87.62 c | 166557 | 841 120147 314766 | 2147483647 166557 45 | 0.010 % |
87.61/87.74 c | 166667 | 841 120147 314766 | 2147483647 166667 45 | 0.000 % |
87.71/87.85 c | 166790 | 841 120147 314766 | 2147483647 166790 45 | 0.000 % |
87.81/87.97 c | 166923 | 841 120147 314766 | 2147483647 166923 45 | 0.010 % |
88.00/88.13 c | 167070 | 841 120147 314766 | 2147483647 167070 45 | 0.010 % |
88.10/88.28 c | 167231 | 841 120147 314766 | 2147483647 167231 45 | 0.000 % |
88.31/88.47 c | 167410 | 841 120147 314766 | 2147483647 167410 45 | 0.000 % |
88.51/88.67 c | 167603 | 841 120147 314766 | 2147483647 167603 45 | 0.000 % |
88.81/88.92 c | 167815 | 841 120147 314766 | 2147483647 167815 45 | 0.010 % |
89.02/89.13 c | 168049 | 841 120147 314766 | 2147483647 168049 45 | 0.010 % |
89.21/89.37 c | 168306 | 841 120147 314766 | 2147483647 168306 45 | 0.000 % |
89.51/89.67 c | 168589 | 841 120147 314766 | 2147483647 168589 45 | 0.010 % |
89.91/90.04 c | 168899 | 841 120147 314766 | 2147483647 168899 45 | 0.000 % |
90.21/90.39 c | 169238 | 841 120147 314766 | 2147483647 169238 45 | 0.000 % |
90.61/90.76 c | 169610 | 841 120147 314766 | 2147483647 169610 45 | 0.010 % |
91.01/91.13 c | 170020 | 841 120147 314766 | 2147483647 170020 45 | 0.010 % |
91.41/91.52 c | 170470 | 841 120147 314766 | 2147483647 170470 45 | 0.000 % |
91.91/92.05 c | 170964 | 841 120147 314766 | 2147483647 170964 45 | 0.000 % |
92.61/92.71 c | 171508 | 841 120147 314766 | 2147483647 171508 45 | 0.010 % |
93.31/93.47 c | 172105 | 841 120147 314766 | 2147483647 172105 45 | 0.000 % |
94.10/94.22 c | 172760 | 841 120147 314766 | 2147483647 172760 45 | 0.010 % |
94.80/94.91 c | 173485 | 841 120147 314766 | 2147483647 173485 45 | 0.010 % |
95.61/95.78 c | 174278 | 841 120147 314766 | 2147483647 174278 45 | 0.000 % |
96.61/96.76 c | 175149 | 841 120147 314766 | 2147483647 175149 45 | 0.010 % |
97.71/97.84 c | 176107 | 841 120147 314766 | 2147483647 176107 45 | 0.010 % |
98.70/98.90 c | 177160 | 841 120147 314766 | 2147483647 177160 45 | 0.000 % |
99.91/100.07 c | 178319 | 841 120147 314766 | 2147483647 178319 45 | 0.000 % |
101.20/101.39 c | 179592 | 841 120147 314766 | 2147483647 179592 45 | 0.010 % |
102.90/103.09 c | 180992 | 841 120147 314766 | 180001 159254 45 | 0.000 % |
104.50/104.65 c | 182532 | 841 120147 314766 | 180001 160794 45 | 0.000 % |
106.20/106.36 c | 184226 | 841 120147 314766 | 180001 162488 46 | 0.000 % |
108.20/108.33 c | 186091 | 841 120147 314766 | 180001 164353 46 | 0.010 % |
108.30/108.42 c | 186191 | 841 120147 314766 | 180001 164453 46 | 0.000 % |
108.40/108.56 c | 186302 | 841 120147 314766 | 180001 164564 46 | 0.000 % |
108.50/108.67 c | 186424 | 841 120147 314766 | 180001 164686 46 | 0.000 % |
108.60/108.80 c | 186558 | 841 120147 314766 | 180001 164820 46 | 0.010 % |
108.80/108.93 c | 186706 | 841 120147 314766 | 180001 164968 46 | 0.000 % |
108.90/109.07 c | 186866 | 841 120147 314766 | 180001 165128 46 | 0.000 % |
109.20/109.31 c | 187042 | 841 120147 314766 | 180001 165304 46 | 0.010 % |
109.39/109.54 c | 187237 | 841 120147 314766 | 180001 165499 46 | 0.000 % |
109.59/109.78 c | 187449 | 841 120147 314766 | 180001 165711 46 | 0.000 % |
109.90/110.04 c | 187682 | 841 120147 314766 | 180001 165944 46 | 0.010 % |
110.19/110.33 c | 187942 | 841 120147 314766 | 180001 166204 46 | 0.010 % |
110.49/110.63 c | 188224 | 841 120147 314766 | 180001 166486 46 | 0.010 % |
110.79/110.95 c | 188533 | 841 120147 314766 | 180001 166795 46 | 0.010 % |
111.09/111.28 c | 188872 | 841 120147 314766 | 180001 167134 46 | 0.000 % |
111.49/111.61 c | 189244 | 841 120147 314766 | 180001 167506 46 | 0.010 % |
111.89/112.05 c | 189655 | 841 120147 314766 | 180001 167917 46 | 0.010 % |
112.29/112.49 c | 190104 | 841 120147 314766 | 168262 168366 46 | 0.010 % |
112.99/113.16 c | 190597 | 841 120147 314766 | 168262 148308 46 | 0.010 % |
113.49/113.67 c | 191141 | 841 120147 314766 | 168262 148852 46 | 0.000 % |
113.99/114.17 c | 191737 | 841 120147 314766 | 168262 149448 46 | 0.000 % |
114.49/114.67 c | 192395 | 841 120147 314766 | 168262 150106 46 | 0.010 % |
115.19/115.38 c | 193117 | 841 120147 314766 | 168262 150828 46 | 0.010 % |
115.89/116.09 c | 193909 | 841 120147 314766 | 168262 151620 46 | 0.010 % |
116.79/116.94 c | 194782 | 841 120147 314766 | 168262 152493 46 | 0.010 % |
117.89/118.01 c | 195740 | 841 120147 314766 | 168262 153451 46 | 0.010 % |
119.09/119.21 c | 196793 | 841 120147 314766 | 168262 154504 46 | 0.010 % |
120.39/120.52 c | 197955 | 841 120147 314766 | 168262 155666 46 | 0.010 % |
121.99/122.16 c | 199228 | 841 120147 314766 | 168262 156939 46 | 0.010 % |
123.99/124.11 c | 200628 | 841 120147 314766 | 157715 139513 46 | 0.010 % |
125.89/126.08 c | 202170 | 841 120147 314766 | 157715 141055 46 | 0.010 % |
127.59/127.72 c | 203865 | 841 120147 314766 | 157715 142750 46 | 0.000 % |
129.59/129.73 c | 205732 | 841 120147 314766 | 157715 144617 46 | 0.010 % |
131.58/131.75 c | 207781 | 841 120147 314766 | 157715 146666 46 | 0.010 % |
131.68/131.84 c | 207881 | 841 120147 314766 | 157715 146766 46 | 0.010 % |
131.79/131.94 c | 207991 | 841 120147 314766 | 157715 146876 46 | 0.010 % |
131.89/132.05 c | 208114 | 841 120147 314766 | 157715 146999 46 | 0.010 % |
132.08/132.20 c | 208247 | 841 120147 314766 | 157715 147132 46 | 0.010 % |
132.18/132.36 c | 208393 | 841 120147 314766 | 157715 147278 46 | 0.010 % |
132.38/132.50 c | 208553 | 841 120147 314766 | 157715 147438 46 | 0.010 % |
132.48/132.65 c | 208736 | 841 120147 314766 | 157715 147621 46 | 0.000 % |
132.68/132.83 c | 208934 | 841 120147 314766 | 157715 147819 46 | 0.010 % |
132.89/133.07 c | 209146 | 841 120147 314766 | 157715 148031 46 | 0.010 % |
133.18/133.32 c | 209380 | 841 120147 314766 | 157715 148265 46 | 0.010 % |
133.38/133.59 c | 209636 | 841 120147 314766 | 157715 148521 46 | 0.010 % |
133.78/133.90 c | 209917 | 841 120147 314766 | 157715 148802 46 | 0.010 % |
134.09/134.23 c | 210227 | 841 120147 314766 | 148886 149112 46 | 0.010 % |
134.68/134.81 c | 210566 | 841 120147 314766 | 148886 130594 46 | 0.010 % |
134.98/135.15 c | 210939 | 841 120147 314766 | 148886 130967 46 | 0.000 % |
135.38/135.54 c | 211350 | 841 120147 314766 | 148886 131378 46 | 0.010 % |
135.88/136.03 c | 211799 | 841 120147 314766 | 148886 131827 46 | 0.010 % |
136.38/136.50 c | 212292 | 841 120147 314766 | 148886 132320 46 | 0.010 % |
136.88/137.00 c | 212835 | 841 120147 314766 | 148886 132863 46 | 0.009 % |
137.28/137.49 c | 213433 | 841 120147 314766 | 148886 133461 46 | 0.009 % |
137.98/138.10 c | 214088 | 841 120147 314766 | 148886 134116 46 | 0.010 % |
138.58/138.72 c | 214809 | 841 120147 314766 | 148886 134837 46 | 0.000 % |
139.38/139.50 c | 215601 | 841 120147 314766 | 148886 135629 46 | 0.000 % |
140.18/140.30 c | 216476 | 841 120147 314766 | 148886 136504 46 | 0.010 % |
141.18/141.33 c | 217435 | 841 120147 314766 | 148886 137463 46 | 0.010 % |
142.18/142.38 c | 218488 | 841 120147 314766 | 148886 138516 46 | 0.010 % |
143.38/143.58 c | 219646 | 841 120147 314766 | 148886 139674 46 | 0.010 % |
144.88/145.04 c | 220919 | 841 120147 314766 | 140028 124966 46 | 0.010 % |
146.37/146.54 c | 222320 | 841 120147 314766 | 140028 126367 46 | 0.010 % |
147.97/148.10 c | 223863 | 841 120147 314766 | 140028 127910 46 | 0.010 % |
149.67/149.86 c | 225558 | 841 120147 314766 | 140028 129605 45 | 0.010 % |
151.37/151.50 c | 227421 | 841 120147 314766 | 140028 131468 46 | 0.000 % |
153.37/153.51 c | 229470 | 841 120147 314766 | 140028 133517 46 | 0.010 % |
155.77/155.95 c | 231724 | 841 120147 314766 | 134047 120678 45 | 0.010 % |
155.87/156.06 c | 231826 | 841 120147 314766 | 134047 120780 45 | 0.010 % |
155.98/156.18 c | 231936 | 841 120147 314766 | 134047 120890 45 | 0.010 % |
156.17/156.31 c | 232059 | 841 120147 314766 | 134047 121013 45 | 0.010 % |
156.27/156.42 c | 232192 | 841 120147 314766 | 134047 121146 45 | 0.000 % |
156.37/156.56 c | 232338 | 841 120147 314766 | 134047 121292 45 | 0.000 % |
156.57/156.74 c | 232501 | 841 120147 314766 | 134047 121455 45 | 0.010 % |
156.67/156.89 c | 232680 | 841 120147 314766 | 134047 121634 45 | 0.000 % |
156.87/157.07 c | 232873 | 841 120147 314766 | 134047 121827 45 | 0.000 % |
157.08/157.25 c | 233088 | 841 120147 314766 | 134047 122042 46 | 0.000 % |
157.27/157.46 c | 233322 | 841 120147 314766 | 134047 122276 46 | 0.000 % |
157.47/157.66 c | 233579 | 841 120147 314766 | 134047 122533 46 | 0.010 % |
157.77/157.92 c | 233861 | 841 120147 314766 | 134047 122815 46 | 0.000 % |
157.97/158.16 c | 234170 | 841 120147 314766 | 134047 123124 46 | 0.010 % |
158.27/158.49 c | 234509 | 841 120147 314766 | 134047 123463 46 | 0.010 % |
158.67/158.82 c | 234881 | 841 120147 314766 | 134047 123835 46 | 0.000 % |
158.97/159.14 c | 235292 | 841 120147 314766 | 134047 124246 46 | 0.000 % |
159.37/159.53 c | 235741 | 841 120147 314766 | 134047 124695 46 | 0.010 % |
159.77/159.98 c | 236235 | 841 120147 314766 | 134047 125189 46 | 0.010 % |
160.27/160.45 c | 236777 | 841 120147 314766 | 134047 125731 46 | 0.010 % |
160.87/161.04 c | 237375 | 841 120147 314766 | 134047 126329 46 | 0.010 % |
161.37/161.58 c | 238030 | 841 120147 314766 | 134047 126984 46 | 0.010 % |
162.17/162.33 c | 238750 | 841 120147 314766 | 134047 127704 46 | 0.000 % |
162.97/163.11 c | 239543 | 841 120147 314766 | 134047 128497 46 | 0.010 % |
163.77/163.96 c | 240414 | 841 120147 314766 | 2147483647 129368 46 | 0.000 % |
164.67/164.89 c | 241372 | 841 120147 314766 | 2147483647 130326 46 | 0.010 % |
165.77/165.93 c | 242425 | 841 120147 314766 | 2147483647 131379 46 | 0.010 % |
166.87/167.07 c | 243585 | 841 120147 314766 | 2147483647 132539 46 | 0.000 % |
168.17/168.36 c | 244858 | 841 120147 314766 | 2147483647 133812 47 | 0.000 % |
169.87/170.03 c | 246262 | 841 120147 314766 | 2147483647 135216 47 | 0.000 % |
171.68/171.84 c | 247803 | 841 120147 314766 | 2147483647 136757 47 | 0.010 % |
173.68/173.84 c | 249499 | 841 120147 314766 | 2147483647 138453 46 | 0.010 % |
175.88/176.04 c | 251362 | 841 120147 314766 | 138955 124536 46 | 0.010 % |
178.08/178.23 c | 253411 | 841 120147 314766 | 138955 126585 46 | 0.010 % |
180.28/180.41 c | 255664 | 841 120147 314766 | 138955 128838 46 | 0.010 % |
182.97/183.12 c | 258143 | 841 120147 314766 | 138955 131317 46 | 0.000 % |
183.07/183.22 c | 258244 | 841 120147 314766 | 138955 131418 46 | 0.010 % |
183.17/183.35 c | 258358 | 841 120147 314766 | 138955 131532 46 | 0.010 % |
183.27/183.46 c | 258479 | 841 120147 314766 | 138955 131653 46 | 0.010 % |
183.48/183.62 c | 258614 | 841 120147 314766 | 138955 131788 46 | 0.010 % |
183.58/183.77 c | 258761 | 841 120147 314766 | 138955 131935 46 | 0.010 % |
183.77/183.97 c | 258921 | 841 120147 314766 | 138955 132095 46 | 0.010 % |
183.97/184.15 c | 259099 | 841 120147 314766 | 138955 132273 46 | 0.010 % |
184.17/184.35 c | 259293 | 841 120147 314766 | 138955 132467 46 | 0.000 % |
184.47/184.61 c | 259508 | 841 120147 314766 | 138955 132682 46 | 0.000 % |
184.67/184.85 c | 259741 | 841 120147 314766 | 138955 132915 46 | 0.000 % |
184.87/185.04 c | 259998 | 841 120147 314766 | 138955 133172 46 | 0.010 % |
185.07/185.28 c | 260279 | 841 120147 314766 | 133183 133453 46 | 0.010 % |
185.57/185.72 c | 260592 | 841 120147 314766 | 133183 117227 47 | 0.010 % |
185.77/185.99 c | 260934 | 841 120147 314766 | 133183 117569 47 | 0.000 % |
186.17/186.33 c | 261306 | 841 120147 314766 | 133183 117941 47 | 0.010 % |
186.47/186.63 c | 261715 | 841 120147 314766 | 133183 118350 47 | 0.010 % |
186.87/187.07 c | 262165 | 841 120147 314766 | 133183 118800 47 | 0.010 % |
187.37/187.58 c | 262658 | 841 120147 314766 | 133183 119293 47 | 0.000 % |
187.87/188.09 c | 263204 | 841 120147 314766 | 133183 119839 47 | 0.010 % |
188.47/188.70 c | 263802 | 841 120147 314766 | 133183 120437 47 | 0.010 % |
189.07/189.29 c | 264459 | 841 120147 314766 | 133183 121094 46 | 0.010 % |
189.77/189.96 c | 265181 | 841 120147 314766 | 133183 121816 46 | 0.010 % |
190.67/190.80 c | 265973 | 841 120147 314766 | 133183 122608 46 | 0.000 % |
191.27/191.48 c | 266847 | 841 120147 314766 | 133183 123482 46 | 0.010 % |
192.27/192.46 c | 267810 | 841 120147 314766 | 133183 124445 46 | 0.010 % |
193.26/193.49 c | 268863 | 841 120147 314766 | 133183 125498 46 | 0.010 % |
194.47/194.66 c | 270022 | 841 120147 314766 | 126636 126657 46 | 0.010 % |
195.86/196.03 c | 271295 | 841 120147 314766 | 126636 114557 47 | 0.000 % |
197.26/197.43 c | 272698 | 841 120147 314766 | 126636 115960 47 | 0.010 % |
198.76/198.93 c | 274241 | 841 120147 314766 | 126636 117503 47 | 0.010 % |
200.66/200.84 c | 275936 | 841 120147 314766 | 126636 119198 47 | 0.010 % |
202.86/203.00 c | 277801 | 841 120147 314766 | 126636 121063 46 | 0.010 % |
204.86/205.00 c | 279852 | 841 120147 314766 | 126636 123114 46 | 0.010 % |
207.16/207.35 c | 282108 | 841 120147 314766 | 123262 111773 45 | 0.010 % |
209.66/209.87 c | 284587 | 841 120147 314766 | 123262 114252 45 | 0.010 % |
212.36/212.55 c | 287314 | 841 120147 314766 | 123262 116979 46 | 0.000 % |
212.46/212.64 c | 287414 | 841 120147 314766 | 123262 117079 46 | 0.000 % |
212.56/212.77 c | 287527 | 841 120147 314766 | 123262 117192 46 | 0.009 % |
212.76/212.90 c | 287650 | 841 120147 314766 | 123262 117315 47 | 0.000 % |
212.86/213.03 c | 287787 | 841 120147 314766 | 123262 117452 47 | 0.010 % |
212.96/213.16 c | 287933 | 841 120147 314766 | 123262 117598 46 | 0.010 % |
213.16/213.30 c | 288095 | 841 120147 314766 | 123262 117760 46 | 0.010 % |
213.26/213.48 c | 288271 | 841 120147 314766 | 123262 117936 47 | 0.000 % |
213.46/213.67 c | 288466 | 841 120147 314766 | 123262 118131 47 | 0.010 % |
213.65/213.85 c | 288681 | 841 120147 314766 | 123262 118346 47 | 0.000 % |
213.85/214.04 c | 288915 | 841 120147 314766 | 123262 118580 47 | 0.010 % |
214.05/214.28 c | 289173 | 841 120147 314766 | 123262 118838 47 | 0.010 % |
214.26/214.49 c | 289455 | 841 120147 314766 | 123262 119120 47 | 0.010 % |
214.55/214.77 c | 289765 | 841 120147 314766 | 123262 119430 47 | 0.010 % |
214.85/215.09 c | 290105 | 841 120147 314766 | 119666 119770 47 | 0.010 % |
215.46/215.61 c | 290477 | 841 120147 314766 | 119666 107327 46 | 0.010 % |
215.75/215.98 c | 290886 | 841 120147 314766 | 119666 107736 46 | 0.010 % |
216.15/216.38 c | 291336 | 841 120147 314766 | 119666 108186 46 | 0.010 % |
216.56/216.78 c | 291830 | 841 120147 314766 | 119666 108680 46 | 0.010 % |
217.05/217.26 c | 292372 | 841 120147 314766 | 119666 109222 46 | 0.010 % |
217.66/217.83 c | 292968 | 841 120147 314766 | 119666 109818 46 | 0.010 % |
218.25/218.47 c | 293623 | 841 120147 314766 | 119666 110473 46 | 0.010 % |
218.85/219.09 c | 294343 | 841 120147 314766 | 119666 111193 46 | 0.010 % |
219.65/219.84 c | 295135 | 841 120147 314766 | 119666 111985 46 | 0.010 % |
220.35/220.60 c | 296006 | 841 120147 314766 | 119666 112856 46 | 0.010 % |
221.25/221.47 c | 296964 | 841 120147 314766 | 119666 113814 46 | 0.000 % |
222.25/222.46 c | 298018 | 841 120147 314766 | 119666 114868 46 | 0.000 % |
223.25/223.43 c | 299176 | 841 120147 314766 | 119666 116026 47 | 0.000 % |
224.35/224.50 c | 300451 | 841 120147 314766 | 2147483647 117301 47 | 0.010 % |
225.65/225.81 c | 301851 | 841 120147 314766 | 2147483647 118701 47 | 0.010 % |
227.15/227.31 c | 303391 | 841 120147 314766 | 2147483647 120241 46 | 0.010 % |
228.85/229.04 c | 305085 | 841 120147 314766 | 2147483647 121935 46 | 0.010 % |
230.85/231.02 c | 306949 | 841 120147 314766 | 2147483647 123799 47 | 0.000 % |
233.15/233.34 c | 309002 | 841 120147 314766 | 2147483647 125852 47 | 0.010 % |
235.65/235.90 c | 311257 | 841 120147 314766 | 126850 113104 49 | 0.000 % |
238.35/238.53 c | 313736 | 841 120147 314766 | 126850 115583 49 | 0.000 % |
241.05/241.27 c | 316461 | 841 120147 314766 | 126850 118308 49 | 0.010 % |
244.64/244.87 c | 319461 | 841 120147 314766 | 126850 121308 49 | 0.010 % |
244.84/245.01 c | 319561 | 841 120147 314766 | 126850 121408 49 | 0.010 % |
244.94/245.12 c | 319672 | 841 120147 314766 | 126850 121519 49 | 0.000 % |
245.05/245.25 c | 319798 | 841 120147 314766 | 126850 121645 49 | 0.010 % |
245.15/245.37 c | 319932 | 841 120147 314766 | 126850 121779 49 | 0.010 % |
245.34/245.53 c | 320078 | 841 120147 314766 | 121849 121925 49 | 0.000 % |
245.74/245.97 c | 320240 | 841 120147 314766 | 121849 105326 49 | 0.000 % |
245.94/246.12 c | 320416 | 841 120147 314766 | 121849 105502 49 | 0.010 % |
246.15/246.36 c | 320612 | 841 120147 314766 | 121849 105698 49 | 0.010 % |
246.34/246.58 c | 320824 | 841 120147 314766 | 121849 105910 48 | 0.010 % |
246.64/246.84 c | 321059 | 841 120147 314766 | 121849 106145 48 | 0.010 % |
246.94/247.12 c | 321317 | 841 120147 314766 | 121849 106403 49 | 0.000 % |
247.14/247.37 c | 321604 | 841 120147 314766 | 121849 106690 49 | 0.000 % |
247.44/247.63 c | 321913 | 841 120147 314766 | 121849 106999 48 | 0.009 % |
247.74/247.95 c | 322252 | 841 120147 314766 | 121849 107338 48 | 0.009 % |
248.04/248.27 c | 322624 | 841 120147 314766 | 121849 107710 48 | 0.010 % |
248.45/248.64 c | 323034 | 841 120147 314766 | 121849 108120 48 | 0.000 % |
248.84/249.04 c | 323484 | 841 120147 314766 | 121849 108570 49 | 0.000 % |
249.34/249.52 c | 323977 | 841 120147 314766 | 121849 109063 49 | 0.000 % |
249.84/250.07 c | 324521 | 841 120147 314766 | 121849 109607 49 | 0.000 % |
250.55/250.74 c | 325119 | 841 120147 314766 | 121849 110205 49 | 0.000 % |
251.24/251.44 c | 325775 | 841 120147 314766 | 121849 110861 49 | 0.010 % |
251.94/252.15 c | 326504 | 841 120147 314766 | 121849 111590 49 | 0.010 % |
252.64/252.87 c | 327297 | 841 120147 314766 | 121849 112383 49 | 0.000 % |
253.44/253.69 c | 328168 | 841 120147 314766 | 121849 113254 49 | 0.010 % |
254.44/254.64 c | 329128 | 841 120147 314766 | 121849 114214 49 | 0.000 % |
255.54/255.70 c | 330184 | 841 120147 314766 | 115086 115270 49 | 0.010 % |
257.04/257.28 c | 331342 | 841 120147 314766 | 115086 101432 48 | 0.010 % |
258.64/258.87 c | 332615 | 841 120147 314766 | 115086 102705 48 | 0.010 % |
260.24/260.44 c | 334015 | 841 120147 314766 | 115086 104105 48 | 0.010 % |
261.94/262.11 c | 335559 | 841 120147 314766 | 115086 105649 48 | 0.000 % |
263.74/263.97 c | 337253 | 841 120147 314766 | 115086 107343 49 | 0.000 % |
265.74/265.99 c | 339116 | 841 120147 314766 | 115086 109206 49 | 0.010 % |
267.74/267.99 c | 341167 | 841 120147 314766 | 110092 98178 50 | 0.010 % |
270.04/270.22 c | 343424 | 841 120147 314766 | 110092 100435 50 | 0.010 % |
272.44/272.69 c | 345905 | 841 120147 314766 | 110092 102916 49 | 0.010 % |
275.14/275.38 c | 348630 | 841 120147 314766 | 110092 105641 49 | 0.010 % |
278.53/278.78 c | 351628 | 841 120147 314766 | 107012 95608 49 | 0.010 % |
282.63/282.88 c | 354926 | 841 120147 314766 | 107012 98906 49 | 0.010 % |
282.73/282.98 c | 355028 | 841 120147 314766 | 107012 99008 49 | 0.010 % |
282.83/283.08 c | 355139 | 841 120147 314766 | 107012 99119 49 | 0.000 % |
283.03/283.20 c | 355260 | 841 120147 314766 | 107012 99240 49 | 0.000 % |
283.13/283.35 c | 355393 | 841 120147 314766 | 107012 99373 49 | 0.010 % |
283.33/283.51 c | 355539 | 841 120147 314766 | 107012 99519 49 | 0.010 % |
283.54/283.70 c | 355699 | 841 120147 314766 | 107012 99679 49 | 0.000 % |
283.73/283.93 c | 355875 | 841 120147 314766 | 107012 99855 49 | 0.000 % |
283.93/284.11 c | 356071 | 841 120147 314766 | 107012 100051 49 | 0.000 % |
284.13/284.31 c | 356286 | 841 120147 314766 | 107012 100266 49 | 0.000 % |
284.33/284.51 c | 356519 | 841 120147 314766 | 107012 100499 49 | 0.000 % |
284.63/284.84 c | 356776 | 841 120147 314766 | 107012 100756 49 | 0.000 % |
284.93/285.15 c | 357059 | 841 120147 314766 | 107012 101039 49 | 0.000 % |
285.23/285.42 c | 357368 | 841 120147 314766 | 107012 101348 50 | 0.000 % |
285.53/285.75 c | 357707 | 841 120147 314766 | 107012 101687 50 | 0.000 % |
285.83/286.04 c | 358080 | 841 120147 314766 | 107012 102060 50 | 0.000 % |
286.13/286.37 c | 358489 | 841 120147 314766 | 107012 102469 50 | 0.000 % |
286.53/286.79 c | 358938 | 841 120147 314766 | 107012 102918 50 | 0.010 % |
287.13/287.33 c | 359432 | 841 120147 314766 | 107012 103412 50 | 0.000 % |
287.73/287.94 c | 359974 | 841 120147 314766 | 107012 103954 50 | 0.010 % |
288.63/288.89 c | 360570 | 841 120147 314766 | 103986 91105 51 | 0.010 % |
289.23/289.47 c | 361225 | 841 120147 314766 | 103986 91760 51 | 0.000 % |
289.93/290.10 c | 361946 | 841 120147 314766 | 103986 92481 51 | 0.000 % |
290.63/290.84 c | 362738 | 841 120147 314766 | 103986 93273 51 | 0.010 % |
291.53/291.77 c | 363612 | 841 120147 314766 | 103986 94147 51 | 0.000 % |
292.33/292.59 c | 364574 | 841 120147 314766 | 103986 95109 51 | 0.000 % |
293.23/293.44 c | 365629 | 841 120147 314766 | 103986 96164 52 | 0.000 % |
294.43/294.68 c | 366787 | 841 120147 314766 | 103986 97322 52 | 0.000 % |
295.73/295.98 c | 368062 | 841 120147 314766 | 103986 98597 51 | 0.010 % |
297.23/297.42 c | 369463 | 841 120147 314766 | 103986 99998 52 | 0.000 % |
298.83/299.06 c | 371010 | 841 120147 314766 | 100535 89797 50 | 0.010 % |
300.53/300.74 c | 372707 | 841 120147 314766 | 100535 91494 51 | 0.000 % |
302.42/302.63 c | 374570 | 841 120147 314766 | 100535 93357 51 | 0.010 % |
304.62/304.86 c | 376621 | 841 120147 314766 | 100535 95408 52 | 0.000 % |
307.22/307.42 c | 378874 | 841 120147 314766 | 100535 97661 52 | 0.010 % |
309.93/310.16 c | 381357 | 841 120147 314766 | 98792 87205 50 | 0.010 % |
312.92/313.18 c | 384084 | 841 120147 314766 | 98792 89932 50 | 0.010 % |
315.92/316.20 c | 387085 | 841 120147 314766 | 98792 92933 51 | 0.000 % |
319.72/319.90 c | 390381 | 841 120147 314766 | 95851 83309 53 | 0.000 % |
324.02/324.26 c | 394006 | 841 120147 314766 | 95851 86934 53 | 0.010 % |
324.12/324.40 c | 394106 | 841 120147 314766 | 95851 87034 53 | 0.000 % |
324.32/324.56 c | 394218 | 841 120147 314766 | 95851 87146 53 | 0.010 % |
324.52/324.74 c | 394340 | 841 120147 314766 | 95851 87268 53 | 0.010 % |
324.62/324.87 c | 394473 | 841 120147 314766 | 95851 87401 53 | 0.010 % |
324.82/325.06 c | 394620 | 841 120147 314766 | 95851 87548 53 | 0.009 % |
325.02/325.27 c | 394781 | 841 120147 314766 | 95851 87709 53 | 0.009 % |
325.22/325.49 c | 394960 | 841 120147 314766 | 95851 87888 53 | 0.010 % |
325.52/325.70 c | 395154 | 841 120147 314766 | 95851 88082 53 | 0.010 % |
325.72/325.92 c | 395368 | 841 120147 314766 | 95851 88296 53 | 0.010 % |
325.92/326.20 c | 395607 | 841 120147 314766 | 95851 88535 53 | 0.010 % |
326.22/326.48 c | 395865 | 841 120147 314766 | 95851 88793 52 | 0.010 % |
326.52/326.76 c | 396147 | 841 120147 314766 | 95851 89075 52 | 0.010 % |
326.92/327.12 c | 396457 | 841 120147 314766 | 95851 89385 52 | 0.010 % |
327.32/327.51 c | 396796 | 841 120147 314766 | 95851 89724 52 | 0.010 % |
327.72/327.91 c | 397168 | 841 120147 314766 | 95851 90096 52 | 0.010 % |
328.12/328.35 c | 397578 | 841 120147 314766 | 95851 90506 52 | 0.010 % |
328.52/328.78 c | 398027 | 841 120147 314766 | 95851 90955 52 | 0.000 % |
329.02/329.27 c | 398522 | 841 120147 314766 | 95851 91450 53 | 0.000 % |
329.72/329.90 c | 399065 | 841 120147 314766 | 95851 91993 53 | 0.000 % |
330.31/330.56 c | 399662 | 841 120147 314766 | 95851 92590 53 | 0.000 % |
331.11/331.36 c | 400318 | 841 120147 314766 | 92930 93246 53 | 0.009 % |
332.02/332.28 c | 401038 | 841 120147 314766 | 92930 80701 52 | 0.010 % |
332.71/332.94 c | 401830 | 841 120147 314766 | 92930 81493 52 | 0.000 % |
333.51/333.76 c | 402701 | 841 120147 314766 | 92930 82364 52 | 0.010 % |
334.51/334.76 c | 403663 | 841 120147 314766 | 92930 83326 52 | 0.010 % |
335.61/335.87 c | 404718 | 841 120147 314766 | 92930 84381 52 | 0.010 % |
336.81/337.04 c | 405876 | 841 120147 314766 | 92930 85539 52 | 0.010 % |
338.01/338.28 c | 407150 | 841 120147 314766 | 92930 86813 52 | 0.010 % |
339.51/339.71 c | 408552 | 841 120147 314766 | 92930 88215 51 | 0.010 % |
341.21/341.48 c | 410095 | 841 120147 314766 | 89663 89758 52 | 0.000 % |
343.31/343.50 c | 411792 | 841 120147 314766 | 89663 79886 54 | 0.000 % |
345.31/345.53 c | 413655 | 841 120147 314766 | 89663 81749 54 | 0.010 % |
347.71/347.94 c | 415704 | 841 120147 314766 | 89663 83798 54 | 0.010 % |
350.41/350.68 c | 417957 | 841 120147 314766 | 89663 86051 54 | 0.010 % |
353.01/353.26 c | 420437 | 841 120147 314766 | 88094 76425 53 | 0.010 % |
355.81/356.05 c | 423165 | 841 120147 314766 | 88094 79153 53 | 0.010 % |
359.11/359.37 c | 426164 | 841 120147 314766 | 88094 82152 52 | 0.010 % |
362.71/362.98 c | 429461 | 841 120147 314766 | 88094 85449 52 | 0.010 % |
366.90/367.14 c | 433087 | 841 120147 314766 | 85988 76953 50 | 0.010 % |
370.80/371.03 c | 437074 | 841 120147 314766 | 85988 80940 52 | 0.000 % |
370.90/371.15 c | 437174 | 841 120147 314766 | 85988 81040 52 | 0.000 % |
371.00/371.27 c | 437286 | 841 120147 314766 | 85988 81152 52 | 0.010 % |
371.10/371.39 c | 437409 | 841 120147 314766 | 85988 81275 52 | 0.010 % |
371.30/371.51 c | 437544 | 841 120147 314766 | 85988 81410 52 | 0.010 % |
371.40/371.67 c | 437691 | 841 120147 314766 | 85988 81557 52 | 0.000 % |
371.61/371.83 c | 437851 | 841 120147 314766 | 85988 81717 52 | 0.000 % |
371.80/372.03 c | 438030 | 841 120147 314766 | 85988 81896 52 | 0.010 % |
371.90/372.19 c | 438227 | 841 120147 314766 | 85988 82093 52 | 0.000 % |
372.20/372.45 c | 438439 | 841 120147 314766 | 85988 82305 52 | 0.010 % |
372.40/372.69 c | 438672 | 841 120147 314766 | 85988 82538 52 | 0.010 % |
372.70/372.96 c | 438929 | 841 120147 314766 | 85988 82795 52 | 0.010 % |
373.00/373.29 c | 439211 | 841 120147 314766 | 85988 83077 52 | 0.010 % |
373.40/373.60 c | 439521 | 841 120147 314766 | 85988 83387 52 | 0.010 % |
373.70/373.91 c | 439860 | 841 120147 314766 | 85988 83726 53 | 0.000 % |
374.10/374.31 c | 440234 | 841 120147 314766 | 83866 84100 53 | 0.000 % |
374.50/374.75 c | 440643 | 841 120147 314766 | 83866 73559 52 | 0.000 % |
374.90/375.19 c | 441096 | 841 120147 314766 | 83866 74012 52 | 0.010 % |
375.50/375.73 c | 441591 | 841 120147 314766 | 83866 74507 53 | 0.000 % |
376.10/376.34 c | 442133 | 841 120147 314766 | 83866 75049 53 | 0.000 % |
376.80/377.03 c | 442729 | 841 120147 314766 | 83866 75645 53 | 0.010 % |
377.40/377.65 c | 443388 | 841 120147 314766 | 83866 76304 53 | 0.010 % |
378.00/378.30 c | 444110 | 841 120147 314766 | 83866 77026 53 | 0.010 % |
378.90/379.12 c | 444906 | 841 120147 314766 | 83866 77822 53 | 0.010 % |
379.90/380.10 c | 445777 | 841 120147 314766 | 83866 78693 53 | 0.010 % |
380.90/381.11 c | 446735 | 841 120147 314766 | 83866 79651 52 | 0.010 % |
381.99/382.23 c | 447789 | 841 120147 314766 | 83866 80705 52 | 0.010 % |
383.39/383.66 c | 448952 | 841 120147 314766 | 83866 81868 52 | 0.010 % |
384.89/385.15 c | 450226 | 841 120147 314766 | 82918 83142 52 | 0.000 % |
386.49/386.73 c | 451626 | 841 120147 314766 | 82918 73792 48 | 0.010 % |
388.00/388.24 c | 453166 | 841 120147 314766 | 82918 75332 48 | 0.010 % |
389.59/389.87 c | 454860 | 841 120147 314766 | 82918 77026 48 | 0.009 % |
391.40/391.64 c | 456724 | 841 120147 314766 | 82918 78890 48 | 0.010 % |
393.29/393.52 c | 458774 | 841 120147 314766 | 82918 80940 48 | 0.010 % |
395.79/396.09 c | 461030 | 841 120147 314766 | 82167 73922 46 | 0.010 % |
398.09/398.35 c | 463509 | 841 120147 314766 | 82167 76401 48 | 0.000 % |
400.49/400.75 c | 466234 | 841 120147 314766 | 82167 79126 51 | 0.000 % |
403.69/403.99 c | 469232 | 841 120147 314766 | 82167 82124 52 | 0.000 % |
407.79/408.01 c | 472529 | 841 120147 314766 | 73313 67232 51 | 0.010 % |
411.29/411.50 c | 476154 | 841 120147 314766 | 73313 70857 53 | 0.000 % |
415.68/415.96 c | 480142 | 841 120147 314766 | 65591 65729 54 | 0.010 % |
419.68/419.90 c | 484529 | 841 120147 314766 | 65591 62023 51 | 0.010 % |
419.78/420.00 c | 484629 | 841 120147 314766 | 65591 62123 51 | 0.000 % |
419.78/420.10 c | 484740 | 841 120147 314766 | 65591 62234 51 | 0.010 % |
419.99/420.22 c | 484864 | 841 120147 314766 | 65591 62358 51 | 0.010 % |
420.08/420.38 c | 484997 | 841 120147 314766 | 65591 62491 51 | 0.010 % |
420.28/420.53 c | 485143 | 841 120147 314766 | 65591 62637 51 | 0.010 % |
420.38/420.68 c | 485303 | 841 120147 314766 | 65591 62797 51 | 0.010 % |
420.58/420.83 c | 485485 | 841 120147 314766 | 65591 62979 51 | 0.010 % |
420.78/421.03 c | 485680 | 841 120147 314766 | 65591 63174 51 | 0.010 % |
420.98/421.24 c | 485894 | 841 120147 314766 | 65591 63388 51 | 0.010 % |
421.18/421.48 c | 486128 | 841 120147 314766 | 65591 63622 51 | 0.010 % |
421.48/421.71 c | 486386 | 841 120147 314766 | 65591 63880 50 | 0.010 % |
421.68/421.96 c | 486669 | 841 120147 314766 | 65591 64163 50 | 0.010 % |
421.98/422.23 c | 486979 | 841 120147 314766 | 65591 64473 50 | 0.010 % |
422.28/422.57 c | 487318 | 841 120147 314766 | 65591 64812 50 | 0.010 % |
422.68/422.93 c | 487691 | 841 120147 314766 | 65591 65185 50 | 0.010 % |
423.08/423.40 c | 488101 | 841 120147 314766 | 65591 65595 50 | 0.010 % |
423.68/423.95 c | 488552 | 841 120147 314766 | 65591 59062 49 | 0.010 % |
424.18/424.42 c | 489045 | 841 120147 314766 | 65591 59555 49 | 0.000 % |
424.68/424.93 c | 489588 | 841 120147 314766 | 65591 60098 50 | 0.000 % |
425.28/425.52 c | 490184 | 841 120147 314766 | 60510 60694 50 | 0.000 % |
425.88/426.14 c | 490841 | 841 120147 314766 | 60510 55282 51 | 0.010 % |
426.58/426.87 c | 491567 | 841 120147 314766 | 60510 56008 51 | 0.010 % |
427.18/427.49 c | 492361 | 841 120147 314766 | 60510 56802 52 | 0.000 % |
427.88/428.19 c | 493236 | 841 120147 314766 | 60510 57677 52 | 0.010 % |
428.98/429.20 c | 494196 | 841 120147 314766 | 60510 58637 52 | 0.010 % |
430.08/430.32 c | 495252 | 841 120147 314766 | 60510 59693 52 | 0.010 % |
431.18/431.46 c | 496415 | 841 120147 314766 | 60510 54780 52 | 0.010 % |
432.38/432.66 c | 497691 | 841 120147 314766 | 60510 56056 52 | 0.010 % |
433.68/433.98 c | 499093 | 841 120147 314766 | 60510 57458 52 | 0.010 % |
435.18/435.40 c | 500635 | 841 120147 314766 | 2147483647 59000 53 | 0.000 % |
436.78/437.07 c | 502332 | 841 120147 314766 | 2147483647 60697 52 | 0.000 % |
438.48/438.70 c | 504196 | 841 120147 314766 | 2147483647 62561 52 | 0.010 % |
440.38/440.66 c | 506245 | 841 120147 314766 | 2147483647 64610 51 | 0.010 % |
442.67/442.98 c | 508498 | 841 120147 314766 | 2147483647 66863 51 | 0.010 % |
445.37/445.68 c | 510977 | 841 120147 314766 | 2147483647 69342 51 | 0.010 % |
448.07/448.35 c | 513702 | 841 120147 314766 | 2147483647 72067 50 | 0.010 % |
451.27/451.58 c | 516700 | 841 120147 314766 | 2147483647 75065 50 | 0.010 % |
454.77/455.06 c | 519997 | 841 120147 314766 | 2147483647 78362 50 | 0.010 % |
458.37/458.69 c | 523626 | 841 120147 314766 | 78366 72078 44 | 0.010 % |
462.37/462.63 c | 527616 | 841 120147 314766 | 78366 76068 44 | 0.010 % |
466.57/466.83 c | 532003 | 841 120147 314766 | 78452 71824 41 | 0.010 % |
470.77/471.05 c | 536826 | 841 120147 314766 | 78452 76647 45 | 0.000 % |
470.87/471.11 c | 536927 | 841 120147 314766 | 78452 76748 45 | 0.000 % |
470.97/471.20 c | 537037 | 841 120147 314766 | 78452 76858 45 | 0.000 % |
471.07/471.30 c | 537159 | 841 120147 314766 | 78452 76980 45 | 0.000 % |
471.16/471.44 c | 537293 | 841 120147 314766 | 78452 77114 45 | 0.000 % |
471.36/471.60 c | 537439 | 841 120147 314766 | 78452 77260 45 | 0.010 % |
471.46/471.75 c | 537605 | 841 120147 314766 | 78452 77426 45 | 0.010 % |
471.57/471.89 c | 537781 | 841 120147 314766 | 78452 77602 45 | 0.010 % |
471.76/472.06 c | 537974 | 841 120147 314766 | 78452 77795 45 | 0.010 % |
471.96/472.28 c | 538186 | 841 120147 314766 | 78452 78007 45 | 0.010 % |
472.16/472.49 c | 538420 | 841 120147 314766 | 78452 78241 45 | 0.010 % |
472.46/472.76 c | 538679 | 841 120147 314766 | 78452 78500 45 | 0.010 % |
472.77/473.03 c | 538961 | 841 120147 314766 | 78452 70932 45 | 0.010 % |
472.96/473.30 c | 539271 | 841 120147 314766 | 78452 71242 45 | 0.010 % |
473.36/473.64 c | 539610 | 841 120147 314766 | 78452 71581 45 | 0.010 % |
473.76/474.05 c | 539984 | 841 120147 314766 | 78452 71955 44 | 0.010 % |
474.16/474.49 c | 540393 | 841 120147 314766 | 2147483647 72364 44 | 0.010 % |
474.66/474.90 c | 540845 | 841 120147 314766 | 2147483647 72816 44 | 0.010 % |
475.06/475.32 c | 541340 | 841 120147 314766 | 2147483647 73311 44 | 0.010 % |
475.46/475.76 c | 541884 | 841 120147 314766 | 2147483647 73855 44 | 0.010 % |
475.96/476.28 c | 542480 | 841 120147 314766 | 2147483647 74451 44 | 0.010 % |
476.66/476.90 c | 543143 | 841 120147 314766 | 2147483647 75114 44 | 0.010 % |
477.26/477.52 c | 543868 | 841 120147 314766 | 2147483647 75839 44 | 0.009 % |
478.06/478.34 c | 544661 | 841 120147 314766 | 2147483647 76632 44 | 0.009 % |
478.86/479.18 c | 545534 | 841 120147 314766 | 2147483647 77505 44 | 0.009 % |
479.86/480.16 c | 546492 | 841 120147 314766 | 2147483647 78463 45 | 0.000 % |
480.96/481.22 c | 547546 | 841 120147 314766 | 2147483647 79517 45 | 0.000 % |
481.96/482.23 c | 548704 | 841 120147 314766 | 2147483647 80675 46 | 0.000 % |
483.06/483.35 c | 549979 | 841 120147 314766 | 2147483647 81950 46 | 0.018 % |
484.56/484.86 c | 551379 | 841 120147 314766 | 2147483647 83350 46 | 0.010 % |
486.16/486.50 c | 552920 | 841 120147 314766 | 2147483647 84891 47 | 0.010 % |
487.96/488.26 c | 554615 | 841 120147 314766 | 2147483647 86586 47 | 0.010 % |
490.05/490.38 c | 556481 | 841 120147 314766 | 2147483647 88452 47 | 0.000 % |
492.46/492.77 c | 558533 | 841 120147 314766 | 2147483647 90504 46 | 0.010 % |
494.76/495.07 c | 560786 | 841 120147 314766 | 91977 79894 47 | 0.000 % |
497.35/497.64 c | 563264 | 841 120147 314766 | 91977 82372 47 | 0.010 % |
500.35/500.66 c | 565989 | 841 120147 314766 | 91977 85097 47 | 0.010 % |
503.85/504.14 c | 568986 | 841 120147 314766 | 91977 88094 47 | 0.010 % |
507.85/508.18 c | 572285 | 841 120147 314766 | 89108 78275 46 | 0.010 % |
512.35/512.62 c | 575910 | 841 120147 314766 | 89108 81900 46 | 0.010 % |
516.15/516.44 c | 579897 | 841 120147 314766 | 89108 85887 47 | 0.010 % |
520.84/521.11 c | 584283 | 841 120147 314766 | 85994 76612 47 | 0.009 % |
525.75/526.09 c | 589106 | 841 120147 314766 | 85994 81435 47 | 0.010 % |
530.54/530.80 c | 594412 | 841 120147 314766 | 82334 76557 45 | 0.010 % |
530.54/530.89 c | 594512 | 841 120147 314766 | 82334 76657 45 | 0.010 % |
530.64/530.99 c | 594624 | 841 120147 314766 | 82334 76769 45 | 0.000 % |
530.84/531.11 c | 594747 | 841 120147 314766 | 82334 76892 45 | 0.000 % |
530.95/531.23 c | 594880 | 841 120147 314766 | 82334 77025 45 | 0.010 % |
531.05/531.37 c | 595026 | 841 120147 314766 | 82334 77171 45 | 0.010 % |
531.24/531.55 c | 595187 | 841 120147 314766 | 82334 77332 45 | 0.000 % |
531.44/531.73 c | 595363 | 841 120147 314766 | 82334 77508 45 | 0.000 % |
531.64/531.94 c | 595559 | 841 120147 314766 | 82334 77704 45 | 0.000 % |
531.84/532.17 c | 595771 | 841 120147 314766 | 82334 77916 46 | 0.000 % |
532.04/532.39 c | 596008 | 841 120147 314766 | 82334 78153 46 | 0.010 % |
532.24/532.58 c | 596267 | 841 120147 314766 | 82334 78412 46 | 0.000 % |
532.54/532.85 c | 596549 | 841 120147 314766 | 82334 78694 46 | 0.010 % |
532.74/533.09 c | 596859 | 841 120147 314766 | 82334 79004 46 | 0.000 % |
533.14/533.44 c | 597198 | 841 120147 314766 | 82334 79343 46 | 0.000 % |
533.44/533.77 c | 597573 | 841 120147 314766 | 82334 79718 46 | 0.010 % |
533.84/534.13 c | 597984 | 841 120147 314766 | 82334 80129 46 | 0.000 % |
534.24/534.52 c | 598433 | 841 120147 314766 | 82334 80578 47 | 0.000 % |
534.74/535.05 c | 598927 | 841 120147 314766 | 82334 81072 47 | 0.010 % |
535.34/535.65 c | 599475 | 841 120147 314766 | 82334 81620 47 | 0.000 % |
535.94/536.30 c | 600074 | 841 120147 314766 | 82146 82219 46 | 0.010 % |
536.74/537.03 c | 600729 | 841 120147 314766 | 82146 73650 47 | 0.000 % |
537.44/537.72 c | 601449 | 841 120147 314766 | 82146 74370 47 | 0.000 % |
538.13/538.46 c | 602241 | 841 120147 314766 | 82146 75162 47 | 0.010 % |
539.03/539.37 c | 603112 | 841 120147 314766 | 82146 76033 46 | 0.010 % |
540.03/540.38 c | 604073 | 841 120147 314766 | 82146 76994 46 | 0.010 % |
540.94/541.29 c | 605130 | 841 120147 314766 | 82146 78051 47 | 0.000 % |
542.13/542.41 c | 606291 | 841 120147 314766 | 82146 79212 47 | 0.010 % |
543.33/543.66 c | 607564 | 841 120147 314766 | 82146 80485 47 | 0.010 % |
544.53/544.80 c | 608964 | 841 120147 314766 | 82146 81885 48 | 0.000 % |
546.23/546.55 c | 610509 | 841 120147 314766 | 2147483647 75183 46 | 0.010 % |
547.63/547.96 c | 612203 | 841 120147 314766 | 2147483647 76877 48 | 0.000 % |
549.73/550.08 c | 614069 | 841 120147 314766 | 2147483647 78743 48 | 0.000 % |
551.63/551.95 c | 616119 | 841 120147 314766 | 2147483647 80793 49 | 0.000 % |
554.03/554.32 c | 618373 | 841 120147 314766 | 2147483647 83047 49 | 0.010 % |
556.83/557.10 c | 620852 | 841 120147 314766 | 84675 75280 48 | 0.010 % |
559.63/559.94 c | 623582 | 841 120147 314766 | 84675 78010 47 | 0.010 % |
562.63/562.92 c | 626580 | 841 120147 314766 | 84675 81008 49 | 0.000 % |
566.43/566.72 c | 629879 | 841 120147 314766 | 84675 84307 51 | 0.000 % |
570.33/570.64 c | 633506 | 841 120147 314766 | 84430 77274 52 | 0.000 % |
574.72/575.07 c | 637495 | 841 120147 314766 | 84430 81263 53 | 0.000 % |
579.82/580.15 c | 641884 | 841 120147 314766 | 83769 73934 55 | 0.000 % |
585.62/585.97 c | 646708 | 841 120147 314766 | 83769 78758 55 | 0.010 % |
592.32/592.65 c | 652013 | 841 120147 314766 | 82051 70287 54 | 0.010 % |
598.72/599.07 c | 657848 | 841 120147 314766 | 82051 76122 57 | 0.000 % |
598.92/599.21 c | 657951 | 841 120147 314766 | 82051 76225 57 | 0.000 % |
599.02/599.37 c | 658065 | 841 120147 314766 | 82051 76339 57 | 0.010 % |
599.22/599.54 c | 658186 | 841 120147 314766 | 82051 76460 57 | 0.000 % |
599.32/599.67 c | 658321 | 841 120147 314766 | 82051 76595 57 | 0.010 % |
599.52/599.83 c | 658469 | 841 120147 314766 | 82051 76743 57 | 0.010 % |
599.72/600.04 c | 658629 | 841 120147 314766 | 82051 76903 57 | 0.010 % |
599.92/600.23 c | 658805 | 841 120147 314766 | 82051 77079 57 | 0.010 % |
600.12/600.49 c | 659000 | 841 120147 314766 | 82051 77274 57 | 0.010 % |
600.41/600.70 c | 659212 | 841 120147 314766 | 82051 77486 57 | 0.000 % |
600.61/600.94 c | 659446 | 841 120147 314766 | 82051 77720 57 | 0.000 % |
600.91/601.22 c | 659703 | 841 120147 314766 | 82051 77977 57 | 0.010 % |
601.21/601.57 c | 659984 | 841 120147 314766 | 82051 78258 57 | 0.010 % |
601.71/602.10 c | 660293 | 841 120147 314766 | 78274 65225 54 | 0.010 % |
602.11/602.48 c | 660632 | 841 120147 314766 | 78274 65564 54 | 0.010 % |
602.61/602.92 c | 661004 | 841 120147 314766 | 78274 65936 54 | 0.010 % |
603.01/603.35 c | 661413 | 841 120147 314766 | 78274 66345 54 | 0.000 % |
603.52/603.81 c | 661865 | 841 120147 314766 | 78274 66797 54 | 0.010 % |
604.01/604.31 c | 662358 | 841 120147 314766 | 78274 67290 54 | 0.000 % |
604.61/604.91 c | 662900 | 841 120147 314766 | 78274 67832 54 | 0.000 % |
605.21/605.52 c | 663500 | 841 120147 314766 | 78274 68432 54 | 0.000 % |
605.91/606.26 c | 664158 | 841 120147 314766 | 78274 69090 54 | 0.000 % |
606.71/607.09 c | 664884 | 841 120147 314766 | 78274 69816 54 | 0.000 % |
607.71/608.09 c | 665676 | 841 120147 314766 | 78274 70608 54 | 0.000 % |
608.71/609.07 c | 666548 | 841 120147 314766 | 78274 71480 54 | 0.010 % |
609.71/610.08 c | 667507 | 841 120147 314766 | 78274 72439 54 | 0.000 % |
610.81/611.11 c | 668561 | 841 120147 314766 | 78274 73493 55 | 0.000 % |
611.81/612.17 c | 669721 | 841 120147 314766 | 78274 74653 56 | 0.000 % |
613.31/613.64 c | 670994 | 841 120147 314766 | 74935 65233 56 | 0.010 % |
615.11/615.45 c | 672394 | 841 120147 314766 | 74935 66633 55 | 0.010 % |
617.31/617.69 c | 673935 | 841 120147 314766 | 74935 68174 55 | 0.010 % |
619.40/619.77 c | 675630 | 841 120147 314766 | 74935 69869 55 | 0.010 % |
621.60/621.98 c | 677494 | 841 120147 314766 | 74935 71733 54 | 0.010 % |
623.90/624.29 c | 679543 | 841 120147 314766 | 74935 73782 54 | 0.010 % |
626.61/626.93 c | 681801 | 841 120147 314766 | 74240 65051 51 | 0.000 % |
629.70/630.00 c | 684279 | 841 120147 314766 | 74240 67529 51 | 0.010 % |
632.80/633.16 c | 687004 | 841 120147 314766 | 74240 70254 50 | 0.010 % |
635.90/636.22 c | 690002 | 841 120147 314766 | 73250 73252 51 | 0.000 % |
639.20/639.53 c | 693298 | 841 120147 314766 | 73250 66322 52 | 0.000 % |
643.00/643.30 c | 696923 | 841 120147 314766 | 73250 69947 51 | 0.000 % |
647.80/648.11 c | 700913 | 841 120147 314766 | 73024 63514 48 | 0.010 % |
652.49/652.86 c | 705298 | 841 120147 314766 | 73024 67899 48 | 0.010 % |
657.89/658.26 c | 710122 | 841 120147 314766 | 72606 72723 48 | 0.000 % |
663.59/663.92 c | 715427 | 841 120147 314766 | 72606 67482 46 | 0.010 % |
670.59/670.91 c | 721263 | 841 120147 314766 | 72056 62245 44 | 0.010 % |
677.99/678.31 c | 727684 | 841 120147 314766 | 72056 68666 43 | 0.011 % |
678.09/678.43 c | 727789 | 841 120147 314766 | 72056 68771 43 | 0.010 % |
678.19/678.55 c | 727901 | 841 120147 314766 | 72056 68883 43 | 0.010 % |
678.29/678.68 c | 728023 | 841 120147 314766 | 72056 69005 43 | 0.011 % |
678.49/678.81 c | 728157 | 841 120147 314766 | 72056 69139 43 | 0.000 % |
678.59/678.94 c | 728303 | 841 120147 314766 | 72056 69285 43 | 0.000 % |
678.69/679.06 c | 728467 | 841 120147 314766 | 72056 69449 43 | 0.000 % |
678.89/679.24 c | 728645 | 841 120147 314766 | 72056 69627 43 | 0.010 % |
679.09/679.44 c | 728840 | 841 120147 314766 | 72056 69822 43 | 0.010 % |
679.29/679.70 c | 729052 | 841 120147 314766 | 72056 70034 43 | 0.010 % |
679.59/679.92 c | 729287 | 841 120147 314766 | 72056 70269 44 | 0.000 % |
679.79/680.17 c | 729543 | 841 120147 314766 | 72056 70525 44 | 0.000 % |
679.99/680.40 c | 729825 | 841 120147 314766 | 72056 70807 44 | 0.000 % |
680.29/680.65 c | 730134 | 841 120147 314766 | 70982 71116 44 | 0.000 % |
680.68/681.01 c | 730474 | 841 120147 314766 | 70982 60571 43 | 0.010 % |
680.98/681.35 c | 730848 | 841 120147 314766 | 70982 60945 43 | 0.010 % |
681.28/681.65 c | 731260 | 841 120147 314766 | 70982 61357 43 | 0.010 % |
681.69/682.02 c | 731710 | 841 120147 314766 | 70982 61807 43 | 0.000 % |
681.98/682.38 c | 732203 | 841 120147 314766 | 70982 62300 43 | 0.010 % |
682.38/682.79 c | 732745 | 841 120147 314766 | 70982 62842 43 | 0.010 % |
682.88/683.25 c | 733342 | 841 120147 314766 | 70982 63439 43 | 0.010 % |
683.48/683.82 c | 733998 | 841 120147 314766 | 70982 64095 43 | 0.010 % |
684.08/684.42 c | 734719 | 841 120147 314766 | 70982 64816 43 | 0.010 % |
684.78/685.18 c | 735512 | 841 120147 314766 | 70982 65609 43 | 0.010 % |
685.58/685.91 c | 736384 | 841 120147 314766 | 70982 66481 44 | 0.000 % |
686.38/686.71 c | 737342 | 841 120147 314766 | 70982 67439 44 | 0.000 % |
687.28/687.69 c | 738395 | 841 120147 314766 | 70982 68492 44 | 0.010 % |
688.29/688.68 c | 739562 | 841 120147 314766 | 70982 69659 44 | 0.010 % |
689.38/689.76 c | 740835 | 841 120147 314766 | 2147483647 70932 45 | 0.000 % |
690.58/690.98 c | 742237 | 841 120147 314766 | 2147483647 72334 45 | 0.010 % |
692.08/692.43 c | 743777 | 841 120147 314766 | 2147483647 73874 45 | 0.010 % |
693.88/694.24 c | 745474 | 841 120147 314766 | 2147483647 75571 45 | 0.010 % |
695.88/696.21 c | 747337 | 841 120147 314766 | 2147483647 77434 45 | 0.010 % |
697.87/698.21 c | 749388 | 841 120147 314766 | 2147483647 79485 45 | 0.010 % |
699.67/700.06 c | 751642 | 841 120147 314766 | 2147483647 81739 45 | 0.000 % |
702.27/702.69 c | 754121 | 841 120147 314766 | 2147483647 84218 44 | 0.010 % |
705.17/705.55 c | 756848 | 841 120147 314766 | 2147483647 86945 44 | 0.000 % |
708.47/708.88 c | 759848 | 841 120147 314766 | 2147483647 89945 44 | 0.000 % |
712.47/712.88 c | 763144 | 841 120147 314766 | 90097 82502 41 | 0.010 % |
715.97/716.33 c | 766769 | 841 120147 314766 | 90097 86127 41 | 0.010 % |
719.97/720.33 c | 770759 | 841 120147 314766 | 89358 78074 41 | 0.010 % |
724.07/724.41 c | 775144 | 841 120147 314766 | 89358 82459 40 | 0.010 % |
729.06/729.46 c | 779967 | 841 120147 314766 | 89358 87282 41 | 0.010 % |
734.06/734.47 c | 785272 | 841 120147 314766 | 87318 80317 41 | 0.000 % |
739.16/739.57 c | 791108 | 841 120147 314766 | 85046 75973 42 | 0.009 % |
745.46/745.88 c | 797526 | 841 120147 314766 | 85046 82391 42 | 0.010 % |
752.46/752.88 c | 804587 | 841 120147 314766 | 84866 78800 47 | 0.000 % |
752.66/753.00 c | 804687 | 841 120147 314766 | 84866 78900 48 | 0.000 % |
752.76/753.15 c | 804799 | 841 120147 314766 | 84866 79012 48 | 0.000 % |
752.86/753.29 c | 804921 | 841 120147 314766 | 84866 79134 48 | 0.000 % |
753.06/753.46 c | 805055 | 841 120147 314766 | 84866 79268 47 | 0.010 % |
753.16/753.59 c | 805203 | 841 120147 314766 | 84866 79416 48 | 0.000 % |
753.36/753.73 c | 805363 | 841 120147 314766 | 84866 79576 48 | 0.010 % |
753.56/753.90 c | 805540 | 841 120147 314766 | 84866 79753 48 | 0.000 % |
753.76/754.11 c | 805734 | 841 120147 314766 | 84866 79947 48 | 0.000 % |
753.86/754.28 c | 805948 | 841 120147 314766 | 84866 80161 48 | 0.000 % |
754.16/754.54 c | 806182 | 841 120147 314766 | 84866 80395 48 | 0.010 % |
754.46/754.81 c | 806441 | 841 120147 314766 | 84866 80654 48 | 0.010 % |
754.76/755.12 c | 806722 | 841 120147 314766 | 84866 80935 48 | 0.010 % |
755.16/755.53 c | 807031 | 841 120147 314766 | 84866 81244 48 | 0.010 % |
755.56/755.92 c | 807370 | 841 120147 314766 | 84866 81583 48 | 0.000 % |
755.96/756.35 c | 807742 | 841 120147 314766 | 84866 81955 48 | 0.000 % |
756.46/756.81 c | 808151 | 841 120147 314766 | 84866 82364 48 | 0.000 % |
756.96/757.31 c | 808601 | 841 120147 314766 | 84866 82814 48 | 0.010 % |
757.46/757.83 c | 809095 | 841 120147 314766 | 84866 83308 48 | 0.010 % |
758.06/758.43 c | 809639 | 841 120147 314766 | 84866 83852 48 | 0.000 % |
758.56/758.95 c | 810236 | 841 120147 314766 | 84215 84449 49 | 0.000 % |
759.36/759.76 c | 810891 | 841 120147 314766 | 84215 74076 50 | 0.000 % |
760.16/760.57 c | 811612 | 841 120147 314766 | 84215 74797 49 | 0.010 % |
760.96/761.31 c | 812404 | 841 120147 314766 | 84215 75589 49 | 0.010 % |
761.86/762.25 c | 813275 | 841 120147 314766 | 84215 76460 49 | 0.010 % |
762.76/763.15 c | 814234 | 841 120147 314766 | 84215 77419 49 | 0.000 % |
763.95/764.34 c | 815289 | 841 120147 314766 | 84215 78474 49 | 0.010 % |
765.26/765.67 c | 816449 | 841 120147 314766 | 84215 79634 49 | 0.010 % |
766.75/767.13 c | 817723 | 841 120147 314766 | 84215 80908 49 | 0.010 % |
768.35/768.77 c | 819126 | 841 120147 314766 | 84215 82311 49 | 0.010 % |
770.35/770.79 c | 820668 | 841 120147 314766 | 83186 73332 50 | 0.010 % |
772.15/772.58 c | 822362 | 841 120147 314766 | 83186 75026 49 | 0.010 % |
774.15/774.59 c | 824225 | 841 120147 314766 | 83186 76889 49 | 0.000 % |
776.45/776.81 c | 826274 | 841 120147 314766 | 83186 78938 49 | 0.010 % |
778.95/779.34 c | 828527 | 841 120147 314766 | 83186 81191 49 | 0.010 % |
781.55/781.97 c | 831006 | 841 120147 314766 | 82666 71895 52 | 0.000 % |
784.85/785.22 c | 833731 | 841 120147 314766 | 82666 74620 55 | 0.000 % |
788.25/788.62 c | 836728 | 841 120147 314766 | 82666 77617 55 | 0.000 % |
791.75/792.11 c | 840025 | 841 120147 314766 | 80890 80914 55 | 0.010 % |
796.24/796.62 c | 843652 | 841 120147 314766 | 80890 71550 58 | 0.000 % |
801.45/801.81 c | 847641 | 841 120147 314766 | 80890 75539 58 | 0.000 % |
807.24/807.63 c | 852027 | 841 120147 314766 | 77898 65152 51 | 0.010 % |
811.64/812.08 c | 856851 | 841 120147 314766 | 77898 69976 56 | 0.000 % |
817.24/817.65 c | 862157 | 841 120147 314766 | 73126 64264 55 | 0.010 % |
824.04/824.48 c | 867994 | 841 120147 314766 | 73126 70101 54 | 0.010 % |
831.03/831.47 c | 874415 | 841 120147 314766 | 72108 66092 57 | 0.010 % |
839.53/839.94 c | 881477 | 841 120147 314766 | 71677 61266 52 | 0.011 % |
848.33/848.80 c | 889243 | 841 120147 314766 | 71677 69032 50 | 0.011 % |
848.53/848.94 c | 889345 | 841 120147 314766 | 71677 69134 50 | 0.011 % |
848.63/849.08 c | 889455 | 841 120147 314766 | 71677 69244 50 | 0.011 % |
848.83/849.23 c | 889576 | 841 120147 314766 | 71677 69365 50 | 0.011 % |
848.93/849.37 c | 889712 | 841 120147 314766 | 71677 69501 50 | 0.000 % |
849.13/849.50 c | 889860 | 841 120147 314766 | 71677 69649 51 | 0.000 % |
849.23/849.64 c | 890020 | 841 120147 314766 | 69789 69809 50 | 0.010 % |
849.43/849.87 c | 890196 | 841 120147 314766 | 69789 58112 48 | 0.000 % |
849.63/850.05 c | 890391 | 841 120147 314766 | 69789 58307 48 | 0.000 % |
849.83/850.27 c | 890603 | 841 120147 314766 | 69789 58519 48 | 0.000 % |
850.03/850.45 c | 890836 | 841 120147 314766 | 69789 58752 48 | 0.010 % |
850.33/850.74 c | 891093 | 841 120147 314766 | 69789 59009 48 | 0.010 % |
850.53/850.97 c | 891374 | 841 120147 314766 | 69789 59290 48 | 0.000 % |
850.83/851.25 c | 891684 | 841 120147 314766 | 69789 59600 49 | 0.000 % |
851.13/851.52 c | 892023 | 841 120147 314766 | 69789 59939 48 | 0.000 % |
851.43/851.87 c | 892397 | 841 120147 314766 | 69789 60313 49 | 0.000 % |
851.93/852.31 c | 892806 | 841 120147 314766 | 69789 60722 49 | 0.000 % |
852.33/852.71 c | 893256 | 841 120147 314766 | 69789 61172 49 | 0.010 % |
852.73/853.10 c | 893750 | 841 120147 314766 | 69789 61666 49 | 0.000 % |
853.13/853.60 c | 894292 | 841 120147 314766 | 69789 62208 49 | 0.010 % |
853.73/854.15 c | 894888 | 841 120147 314766 | 69789 62804 49 | 0.010 % |
854.43/854.81 c | 895543 | 841 120147 314766 | 69789 63459 49 | 0.000 % |
855.03/855.42 c | 896266 | 841 120147 314766 | 69789 64182 50 | 0.000 % |
855.73/856.13 c | 897060 | 841 120147 314766 | 69789 64976 50 | 0.000 % |
856.43/856.89 c | 897934 | 841 120147 314766 | 69789 65850 51 | 0.000 % |
857.53/857.92 c | 898892 | 841 120147 314766 | 69789 66808 51 | 0.010 % |
858.63/859.03 c | 899946 | 841 120147 314766 | 69789 67862 51 | 0.010 % |
859.83/860.25 c | 901105 | 841 120147 314766 | 67919 61817 47 | 0.010 % |
861.23/861.60 c | 902378 | 841 120147 314766 | 67919 63090 47 | 0.010 % |
862.82/863.20 c | 903779 | 841 120147 314766 | 67919 64491 47 | 0.010 % |
864.52/864.91 c | 905323 | 841 120147 314766 | 67919 66035 47 | 0.010 % |
866.22/866.64 c | 907018 | 841 120147 314766 | 67919 67730 46 | 0.010 % |
867.92/868.37 c | 908881 | 841 120147 314766 | 67919 62269 47 | 0.000 % |
869.92/870.31 c | 910933 | 841 120147 314766 | 63389 57698 47 | 0.000 % |
871.82/872.26 c | 913186 | 841 120147 314766 | 63389 59951 47 | 0.000 % |
874.22/874.67 c | 915665 | 841 120147 314766 | 63389 62430 47 | 0.010 % |
877.52/877.91 c | 918395 | 841 120147 314766 | 63389 58749 45 | 0.010 % |
880.52/880.91 c | 921394 | 841 120147 314766 | 60359 55547 46 | 0.010 % |
883.42/883.86 c | 924690 | 841 120147 314766 | 60359 58843 46 | 0.010 % |
887.02/887.47 c | 928316 | 841 120147 314766 | 60359 56403 46 | 0.010 % |
890.91/891.32 c | 932308 | 841 120147 314766 | 2147483647 60395 47 | 0.010 % |
895.41/895.88 c | 936694 | 841 120147 314766 | 2147483647 64781 46 | 0.010 % |
900.21/900.66 c | 941518 | 841 120147 314766 | 68088 62375 45 | 0.000 % |
904.71/905.13 c | 946823 | 841 120147 314766 | 68088 67680 48 | 0.000 % |
910.31/910.79 c | 952658 | 841 120147 314766 | 2147483647 66668 46 | 0.010 % |
916.81/917.26 c | 959080 | 841 120147 314766 | 2147483647 73090 47 | 0.011 % |
923.81/924.25 c | 966139 | 841 120147 314766 | 2147483647 80149 52 | 0.000 % |
932.10/932.53 c | 973904 | 841 120147 314766 | 84010 77703 53 | 0.010 % |
942.60/943.09 c | 982447 | 841 120147 314766 | 83801 74352 54 | 0.010 % |
942.70/943.19 c | 982547 | 841 120147 314766 | 83801 74452 54 | 0.000 % |
942.90/943.33 c | 982657 | 841 120147 314766 | 83801 74562 54 | 0.000 % |
943.00/943.47 c | 982779 | 841 120147 314766 | 83801 74684 54 | 0.010 % |
943.20/943.62 c | 982915 | 841 120147 314766 | 83801 74820 54 | 0.010 % |
943.30/943.80 c | 983063 | 841 120147 314766 | 83801 74968 54 | 0.010 % |
943.50/943.96 c | 983223 | 841 120147 314766 | 83801 75128 54 | 0.000 % |
943.70/944.15 c | 983399 | 841 120147 314766 | 83801 75304 54 | 0.000 % |
943.90/944.34 c | 983592 | 841 120147 314766 | 83801 75497 54 | 0.000 % |
944.10/944.52 c | 983805 | 841 120147 314766 | 83801 75710 54 | 0.000 % |
944.30/944.76 c | 984039 | 841 120147 314766 | 83801 75944 54 | 0.010 % |
944.50/944.95 c | 984296 | 841 120147 314766 | 83801 76201 54 | 0.000 % |
944.80/945.24 c | 984578 | 841 120147 314766 | 83801 76483 54 | 0.000 % |
945.10/945.60 c | 984888 | 841 120147 314766 | 83801 76793 55 | 0.000 % |
945.60/946.03 c | 985227 | 841 120147 314766 | 83801 77132 55 | 0.010 % |
946.00/946.44 c | 985605 | 841 120147 314766 | 83801 77510 55 | 0.010 % |
946.40/946.87 c | 986014 | 841 120147 314766 | 83801 77919 55 | 0.010 % |
946.80/947.28 c | 986464 | 841 120147 314766 | 83801 78369 55 | 0.000 % |
947.40/947.83 c | 986957 | 841 120147 314766 | 83801 78862 55 | 0.010 % |
948.10/948.50 c | 987501 | 841 120147 314766 | 83801 79406 55 | 0.010 % |
948.59/949.07 c | 988097 | 841 120147 314766 | 83801 80002 55 | 0.000 % |
949.29/949.79 c | 988752 | 841 120147 314766 | 83801 80657 56 | 0.000 % |
950.09/950.57 c | 989473 | 841 120147 314766 | 83801 81378 56 | 0.010 % |
951.00/951.49 c | 990267 | 841 120147 314766 | 81905 82172 56 | 0.010 % |
952.20/952.66 c | 991139 | 841 120147 314766 | 81905 71199 58 | 0.010 % |
953.30/953.71 c | 992104 | 841 120147 314766 | 81905 72164 57 | 0.010 % |
954.40/954.89 c | 993157 | 841 120147 314766 | 81905 73217 57 | 0.000 % |
955.59/956.03 c | 994316 | 841 120147 314766 | 81905 74376 57 | 0.010 % |
956.99/957.43 c | 995589 | 841 120147 314766 | 81905 75649 57 | 0.010 % |
958.29/958.78 c | 996989 | 841 120147 314766 | 81905 77049 57 | 0.000 % |
959.80/960.28 c | 998531 | 841 120147 314766 | 81905 78591 57 | 0.010 % |
961.99/962.43 c | 1000228 | 841 120147 314766 | 80061 80288 58 | 0.000 % |
964.09/964.54 c | 1002093 | 841 120147 314766 | 80061 70097 57 | 0.010 % |
966.19/966.70 c | 1004143 | 841 120147 314766 | 80061 72147 58 | 0.000 % |
968.79/969.25 c | 1006398 | 841 120147 314766 | 80061 74402 58 | 0.010 % |
971.79/972.23 c | 1008877 | 841 120147 314766 | 80061 76881 58 | 0.010 % |
975.49/975.93 c | 1011606 | 841 120147 314766 | 78004 67229 57 | 0.011 % |
978.89/979.34 c | 1014604 | 841 120147 314766 | 78004 70227 56 | 0.011 % |
982.89/983.37 c | 1017901 | 841 120147 314766 | 78004 73524 56 | 0.011 % |
986.69/987.19 c | 1021528 | 841 120147 314766 | 75624 65230 51 | 0.000 % |
990.99/991.40 c | 1025515 | 841 120147 314766 | 75624 69217 54 | 0.000 % |
995.99/996.48 c | 1029901 | 841 120147 314766 | 75624 73603 57 | 0.000 % |
1001.19/1001.67 c | 1034724 | 841 120147 314766 | 73702 67160 54 | 0.010 % |
1007.09/1007.53 c | 1040032 | 841 120147 314766 | 72436 72468 53 | 0.010 % |
1013.79/1014.21 c | 1045868 | 841 120147 314766 | 72436 68488 56 | 0.000 % |
1019.88/1020.30 c | 1052287 | 841 120147 314766 | 72621 64349 53 | 0.010 % |
1027.68/1028.10 c | 1059347 | 841 120147 314766 | 72621 71409 52 | 0.010 % |
1036.78/1037.26 c | 1067117 | 841 120147 314766 | 72064 67739 51 | 0.010 % |
1046.57/1047.03 c | 1075660 | 841 120147 314766 | 70626 64468 47 | 0.010 % |
1056.37/1056.83 c | 1085055 | 841 120147 314766 | 68808 62749 49 | 0.010 % |
1056.47/1056.94 c | 1085155 | 841 120147 314766 | 68808 62849 49 | 0.000 % |
1056.57/1057.06 c | 1085266 | 841 120147 314766 | 68808 62960 49 | 0.000 % |
1056.67/1057.19 c | 1085390 | 841 120147 314766 | 68808 63084 49 | 0.010 % |
1056.87/1057.34 c | 1085526 | 841 120147 314766 | 68808 63220 49 | 0.010 % |
1057.07/1057.53 c | 1085672 | 841 120147 314766 | 68808 63366 49 | 0.000 % |
1057.17/1057.69 c | 1085833 | 841 120147 314766 | 68808 63527 49 | 0.010 % |
1057.37/1057.85 c | 1086009 | 841 120147 314766 | 68808 63703 49 | 0.010 % |
1057.57/1058.00 c | 1086202 | 841 120147 314766 | 68808 63896 49 | 0.000 % |
1057.67/1058.20 c | 1086414 | 841 120147 314766 | 68808 64108 49 | 0.000 % |
1057.97/1058.46 c | 1086647 | 841 120147 314766 | 68808 64341 49 | 0.010 % |
1058.17/1058.67 c | 1086904 | 841 120147 314766 | 68808 64598 49 | 0.010 % |
1058.47/1058.96 c | 1087185 | 841 120147 314766 | 68808 64879 49 | 0.010 % |
1058.77/1059.27 c | 1087494 | 841 120147 314766 | 68808 65188 49 | 0.010 % |
1059.07/1059.56 c | 1087833 | 841 120147 314766 | 68808 65527 49 | 0.010 % |
1059.47/1059.90 c | 1088207 | 841 120147 314766 | 68808 65901 49 | 0.010 % |
1059.76/1060.27 c | 1088616 | 841 120147 314766 | 68808 66310 49 | 0.000 % |
1060.26/1060.74 c | 1089065 | 841 120147 314766 | 68808 66759 49 | 0.000 % |
1060.76/1061.20 c | 1089558 | 841 120147 314766 | 68808 67252 50 | 0.000 % |
1061.36/1061.84 c | 1090100 | 841 120147 314766 | 67695 67794 50 | 0.000 % |
1061.96/1062.45 c | 1090696 | 841 120147 314766 | 67695 59649 46 | 0.010 % |
1062.66/1063.12 c | 1091351 | 841 120147 314766 | 67695 60304 46 | 0.010 % |
1063.27/1063.77 c | 1092073 | 841 120147 314766 | 67695 61026 46 | 0.010 % |
1063.96/1064.43 c | 1092865 | 841 120147 314766 | 67695 61818 47 | 0.000 % |
1064.86/1065.34 c | 1093736 | 841 120147 314766 | 67695 62689 47 | 0.000 % |
1065.76/1066.22 c | 1094695 | 841 120147 314766 | 67695 63648 47 | 0.010 % |
1066.66/1067.15 c | 1095748 | 841 120147 314766 | 67695 64701 47 | 0.010 % |
1067.67/1068.14 c | 1096907 | 841 120147 314766 | 67695 65860 46 | 0.010 % |
1068.86/1069.34 c | 1098182 | 841 120147 314766 | 67695 67135 46 | 0.010 % |
1070.26/1070.74 c | 1099586 | 841 120147 314766 | 67695 61738 45 | 0.010 % |
1071.76/1072.23 c | 1101127 | 841 120147 314766 | 2147483647 63279 46 | 0.000 % |
1073.16/1073.70 c | 1102823 | 841 120147 314766 | 2147483647 64975 46 | 0.009 % |
1074.86/1075.31 c | 1104687 | 841 120147 314766 | 2147483647 66839 46 | 0.009 % |
1076.86/1077.38 c | 1106736 | 841 120147 314766 | 2147483647 68888 46 | 0.010 % |
1079.06/1079.54 c | 1108989 | 841 120147 314766 | 2147483647 71141 46 | 0.010 % |
1081.46/1081.98 c | 1111467 | 841 120147 314766 | 2147483647 73619 46 | 0.010 % |
1084.25/1084.78 c | 1114192 | 841 120147 314766 | 2147483647 76344 46 | 0.010 % |
1087.15/1087.61 c | 1117189 | 841 120147 314766 | 2147483647 79341 46 | 0.010 % |
1091.05/1091.54 c | 1120488 | 841 120147 314766 | 82152 73247 46 | 0.000 % |
1095.05/1095.59 c | 1124117 | 841 120147 314766 | 82152 76876 46 | 0.010 % |
1099.15/1099.61 c | 1128107 | 841 120147 314766 | 82152 80866 46 | 0.010 % |
1103.35/1103.89 c | 1132492 | 841 120147 314766 | 71433 64462 44 | 0.010 % |
1108.05/1108.56 c | 1137316 | 841 120147 314766 | 71433 69286 45 | 0.010 % |
1113.24/1113.71 c | 1142624 | 841 120147 314766 | 63609 58659 43 | 0.010 % |
1119.14/1119.67 c | 1148461 | 841 120147 314766 | 63609 57067 42 | 0.010 % |
1124.94/1125.41 c | 1154879 | 841 120147 314766 | 58608 56985 41 | 0.010 % |
1130.54/1131.06 c | 1161941 | 841 120147 314766 | 2147483647 58155 41 | 0.000 % |
1136.84/1137.35 c | 1169706 | 841 120147 314766 | 2147483647 65920 41 | 0.010 % |
1144.04/1144.53 c | 1178246 | 841 120147 314766 | 2147483647 74460 42 | 0.010 % |
1153.03/1153.50 c | 1187640 | 841 120147 314766 | 2147483647 83854 42 | 0.010 % |
1163.43/1163.92 c | 1197973 | 841 120147 314766 | 2147483647 94187 42 | 0.000 % |
1163.53/1164.03 c | 1198074 | 841 120147 314766 | 2147483647 94288 42 | 0.000 % |
1163.63/1164.13 c | 1198186 | 841 120147 314766 | 2147483647 94400 42 | 0.000 % |
1163.73/1164.27 c | 1198307 | 841 120147 314766 | 2147483647 94521 42 | 0.000 % |
1163.93/1164.41 c | 1198442 | 841 120147 314766 | 2147483647 94656 42 | 0.010 % |
1164.03/1164.55 c | 1198588 | 841 120147 314766 | 2147483647 94802 42 | 0.010 % |
1164.23/1164.70 c | 1198748 | 841 120147 314766 | 2147483647 94962 42 | 0.000 % |
1164.33/1164.85 c | 1198928 | 841 120147 314766 | 2147483647 95142 42 | 0.010 % |
1164.53/1165.08 c | 1199121 | 841 120147 314766 | 2147483647 95335 42 | 0.010 % |
1164.83/1165.33 c | 1199333 | 841 120147 314766 | 2147483647 95547 42 | 0.010 % |
1165.03/1165.51 c | 1199566 | 841 120147 314766 | 2147483647 95780 42 | 0.000 % |
1165.23/1165.75 c | 1199822 | 841 120147 314766 | 2147483647 96036 42 | 0.000 % |
1165.53/1166.03 c | 1200104 | 841 120147 314766 | 96214 96318 42 | 0.000 % |
1165.93/1166.40 c | 1200414 | 841 120147 314766 | 96214 84977 41 | 0.010 % |
1166.23/1166.76 c | 1200753 | 841 120147 314766 | 96214 85316 41 | 0.000 % |
1166.63/1167.14 c | 1201125 | 841 120147 314766 | 96214 85688 41 | 0.011 % |
1167.03/1167.51 c | 1201538 | 841 120147 314766 | 96214 86101 41 | 0.000 % |
1167.33/1167.83 c | 1201989 | 841 120147 314766 | 96214 86552 42 | 0.000 % |
1167.73/1168.21 c | 1202482 | 841 120147 314766 | 96214 87045 42 | 0.010 % |
1168.23/1168.73 c | 1203027 | 841 120147 314766 | 96214 87590 42 | 0.010 % |
1168.73/1169.24 c | 1203623 | 841 120147 314766 | 96214 88186 42 | 0.000 % |
1169.33/1169.89 c | 1204278 | 841 120147 314766 | 96214 88841 42 | 0.000 % |
1170.12/1170.64 c | 1204999 | 841 120147 314766 | 96214 89562 42 | 0.010 % |
1170.93/1171.41 c | 1205793 | 841 120147 314766 | 96214 90356 42 | 0.010 % |
1171.72/1172.25 c | 1206664 | 841 120147 314766 | 96214 91227 42 | 0.010 % |
1172.62/1173.14 c | 1207622 | 841 120147 314766 | 96214 92185 42 | 0.010 % |
1173.62/1174.17 c | 1208675 | 841 120147 314766 | 96214 93238 42 | 0.010 % |
1174.82/1175.36 c | 1209836 | 841 120147 314766 | 96214 94399 42 | 0.010 % |
1176.12/1176.66 c | 1211109 | 841 120147 314766 | 2147483647 95672 42 | 0.010 % |
1177.53/1178.02 c | 1212512 | 841 120147 314766 | 2147483647 97075 42 | 0.010 % |
1178.82/1179.34 c | 1214055 | 841 120147 314766 | 2147483647 98618 43 | 0.000 % |
1180.32/1180.82 c | 1215749 | 841 120147 314766 | 2147483647 100312 44 | 0.000 % |
1182.22/1182.71 c | 1217614 | 841 120147 314766 | 2147483647 102177 44 | 0.010 % |
1184.22/1184.77 c | 1219664 | 841 120147 314766 | 2147483647 104227 44 | 0.010 % |
1186.72/1187.28 c | 1221918 | 841 120147 314766 | 104565 94635 43 | 0.010 % |
1189.32/1189.83 c | 1224396 | 841 120147 314766 | 104565 97113 43 | 0.010 % |
1192.32/1192.84 c | 1227123 | 841 120147 314766 | 104565 99840 43 | 0.000 % |
1195.62/1196.12 c | 1230120 | 841 120147 314766 | 102719 102837 43 | 0.010 % |
1199.41/1199.90 c | 1233416 | 841 120147 314766 | 102719 92502 44 | 0.010 % |
1203.21/1203.75 c | 1237044 | 841 120147 314766 | 102719 96130 44 | 0.010 % |
1207.61/1208.11 c | 1241034 | 841 120147 314766 | 99088 86751 47 | 0.000 % |
1212.31/1212.82 c | 1245419 | 841 120147 314766 | 99088 91136 50 | 0.000 % |
1217.21/1217.72 c | 1250242 | 841 120147 314766 | 95719 95959 52 | 0.000 % |
1222.81/1223.38 c | 1255548 | 841 120147 314766 | 95719 87005 52 | 0.010 % |
1229.80/1230.34 c | 1261383 | 841 120147 314766 | 91458 77633 56 | 0.000 % |
1237.30/1237.87 c | 1267804 | 841 120147 314766 | 91458 84054 55 | 0.000 % |
1245.40/1245.93 c | 1274865 | 841 120147 314766 | 86250 76357 52 | 0.010 % |
1253.89/1254.45 c | 1282629 | 841 120147 314766 | 81497 70181 53 | 0.010 % |
1263.29/1263.89 c | 1291169 | 841 120147 314766 | 77554 65955 47 | 0.010 % |
1273.99/1274.50 c | 1300567 | 841 120147 314766 | 74789 64050 41 | 0.010 % |
1284.19/1284.71 c | 1310903 | 841 120147 314766 | 73483 64603 45 | 0.000 % |
1296.08/1296.69 c | 1322272 | 841 120147 314766 | 73700 66406 45 | 0.010 % |
1296.18/1296.77 c | 1322375 | 841 120147 314766 | 73700 66509 45 | 0.010 % |
1296.28/1296.86 c | 1322486 | 841 120147 314766 | 73700 66620 45 | 0.010 % |
1296.38/1296.98 c | 1322610 | 841 120147 314766 | 73700 66744 45 | 0.010 % |
1296.58/1297.11 c | 1322743 | 841 120147 314766 | 73700 66877 45 | 0.010 % |
1296.68/1297.23 c | 1322890 | 841 120147 314766 | 73700 67024 45 | 0.010 % |
1296.78/1297.39 c | 1323056 | 841 120147 314766 | 73700 67190 45 | 0.010 % |
1296.98/1297.57 c | 1323233 | 841 120147 314766 | 73700 67367 45 | 0.000 % |
1297.18/1297.78 c | 1323426 | 841 120147 314766 | 73700 67560 45 | 0.000 % |
1297.48/1298.03 c | 1323638 | 841 120147 314766 | 73700 67772 45 | 0.010 % |
1297.68/1298.26 c | 1323871 | 841 120147 314766 | 73700 68005 45 | 0.010 % |
1297.98/1298.52 c | 1324128 | 841 120147 314766 | 73700 68262 45 | 0.010 % |
1298.28/1298.84 c | 1324411 | 841 120147 314766 | 73700 68545 45 | 0.010 % |
1298.58/1299.17 c | 1324721 | 841 120147 314766 | 73700 68855 45 | 0.010 % |
1298.88/1299.46 c | 1325067 | 841 120147 314766 | 73700 69201 45 | 0.010 % |
1299.28/1299.82 c | 1325439 | 841 120147 314766 | 73700 69573 45 | 0.000 % |
1299.68/1300.23 c | 1325848 | 841 120147 314766 | 73700 69982 45 | 0.000 % |
1300.18/1300.73 c | 1326299 | 841 120147 314766 | 73700 70433 45 | 0.010 % |
1300.68/1301.21 c | 1326794 | 841 120147 314766 | 73700 70928 45 | 0.010 % |
1301.18/1301.79 c | 1327339 | 841 120147 314766 | 73700 71473 45 | 0.010 % |
1301.78/1302.33 c | 1327935 | 841 120147 314766 | 73700 72069 45 | 0.010 % |
1302.38/1302.95 c | 1328591 | 841 120147 314766 | 73700 72725 45 | 0.010 % |
1302.98/1303.53 c | 1329311 | 841 120147 314766 | 73700 73445 46 | 0.000 % |
1303.78/1304.34 c | 1330105 | 841 120147 314766 | 65935 66040 47 | 0.010 % |
1304.58/1305.20 c | 1330977 | 841 120147 314766 | 65935 59703 47 | 0.000 % |
1305.47/1306.07 c | 1331936 | 841 120147 314766 | 65935 60662 47 | 0.010 % |
1306.47/1307.09 c | 1332989 | 841 120147 314766 | 65935 61715 47 | 0.000 % |
1307.67/1308.25 c | 1334147 | 841 120147 314766 | 65935 62873 47 | 0.010 % |
1309.07/1309.60 c | 1335424 | 841 120147 314766 | 65935 64150 46 | 0.010 % |
1310.58/1311.14 c | 1336824 | 841 120147 314766 | 65935 65550 46 | 0.010 % |
1312.27/1312.81 c | 1338369 | 841 120147 314766 | 65935 60464 46 | 0.010 % |
1313.67/1314.24 c | 1340063 | 841 120147 314766 | 2147483647 62158 46 | 0.010 % |
1315.27/1315.80 c | 1341927 | 841 120147 314766 | 2147483647 64022 48 | 0.000 % |
1317.28/1317.87 c | 1343976 | 841 120147 314766 | 2147483647 66071 48 | 0.000 % |
1319.48/1320.08 c | 1346229 | 841 120147 314766 | 2147483647 68324 48 | 0.010 % |
1322.18/1322.76 c | 1348708 | 841 120147 314766 | 2147483647 70803 47 | 0.011 % |
1324.88/1325.49 c | 1351434 | 841 120147 314766 | 72096 65271 46 | 0.010 % |
1328.08/1328.70 c | 1354432 | 841 120147 314766 | 72096 68269 45 | 0.011 % |
1331.37/1331.94 c | 1357728 | 841 120147 314766 | 72096 71565 45 | 0.011 % |
1335.27/1335.81 c | 1361354 | 841 120147 314766 | 65677 59876 40 | 0.010 % |
1338.87/1339.41 c | 1365345 | 841 120147 314766 | 65677 63867 40 | 0.010 % |
1343.17/1343.76 c | 1369731 | 841 120147 314766 | 65677 61645 41 | 0.010 % |
1348.37/1348.95 c | 1374557 | 841 120147 314766 | 2147483647 66471 41 | 0.010 % |
1353.37/1353.97 c | 1379862 | 841 120147 314766 | 2147483647 71776 46 | 0.000 % |
1359.26/1359.85 c | 1385699 | 841 120147 314766 | 71914 70067 45 | 0.000 % |
1366.36/1366.94 c | 1392120 | 841 120147 314766 | 65671 59775 43 | 0.010 % |
1373.96/1374.56 c | 1399182 | 841 120147 314766 | 65671 58735 43 | 0.010 % |
1381.26/1381.88 c | 1406946 | 841 120147 314766 | 59553 59418 50 | 0.010 % |
1390.56/1391.16 c | 1415486 | 841 120147 314766 | 2147483647 61965 49 | 0.010 % |
1400.76/1401.32 c | 1424880 | 841 120147 314766 | 66480 62028 48 | 0.010 % |
1412.85/1413.43 c | 1435213 | 841 120147 314766 | 56946 53332 52 | 0.011 % |
1422.35/1422.93 c | 1446580 | 841 120147 314766 | 50367 50574 50 | 0.010 % |
1432.14/1432.79 c | 1459083 | 841 120147 314766 | 2147483647 58020 63 | 0.000 % |
1432.24/1432.89 c | 1459184 | 841 120147 314766 | 2147483647 58121 63 | 0.000 % |
1432.34/1432.98 c | 1459296 | 841 120147 314766 | 2147483647 58233 63 | 0.000 % |
1432.54/1433.10 c | 1459419 | 841 120147 314766 | 2147483647 58356 63 | 0.000 % |
1432.54/1433.18 c | 1459555 | 841 120147 314766 | 2147483647 58492 63 | 0.010 % |
1432.75/1433.31 c | 1459701 | 841 120147 314766 | 2147483647 58638 63 | 0.000 % |
1432.84/1433.46 c | 1459864 | 841 120147 314766 | 2147483647 58801 63 | 0.010 % |
1433.04/1433.65 c | 1460041 | 841 120147 314766 | 2147483647 58978 63 | 0.010 % |
1433.24/1433.81 c | 1460234 | 841 120147 314766 | 2147483647 59171 63 | 0.000 % |
1433.44/1434.05 c | 1460451 | 841 120147 314766 | 2147483647 59388 63 | 0.000 % |
1433.64/1434.29 c | 1460684 | 841 120147 314766 | 2147483647 59621 63 | 0.010 % |
1433.94/1434.58 c | 1460941 | 841 120147 314766 | 2147483647 59878 63 | 0.010 % |
1434.24/1434.87 c | 1461223 | 841 120147 314766 | 2147483647 60160 63 | 0.010 % |
1434.64/1435.20 c | 1461534 | 841 120147 314766 | 2147483647 60471 63 | 0.010 % |
1434.84/1435.48 c | 1461873 | 841 120147 314766 | 2147483647 60810 63 | 0.000 % |
1435.24/1435.81 c | 1462246 | 841 120147 314766 | 2147483647 61183 63 | 0.010 % |
1435.54/1436.20 c | 1462655 | 841 120147 314766 | 2147483647 61592 63 | 0.010 % |
1436.04/1436.64 c | 1463108 | 841 120147 314766 | 2147483647 62045 63 | 0.010 % |
1436.54/1437.14 c | 1463604 | 841 120147 314766 | 2147483647 62541 63 | 0.010 % |
1437.04/1437.65 c | 1464146 | 841 120147 314766 | 2147483647 63083 62 | 0.000 % |
1437.64/1438.20 c | 1464742 | 841 120147 314766 | 2147483647 63679 62 | 0.009 % |
1438.24/1438.90 c | 1465397 | 841 120147 314766 | 2147483647 64334 62 | 0.010 % |
1439.04/1439.66 c | 1466117 | 841 120147 314766 | 2147483647 65054 62 | 0.010 % |
1439.64/1440.29 c | 1466909 | 841 120147 314766 | 2147483647 65846 62 | 0.000 % |
1440.54/1441.10 c | 1467781 | 841 120147 314766 | 2147483647 66718 61 | 0.009 % |
1441.44/1442.05 c | 1468739 | 841 120147 314766 | 2147483647 67676 61 | 0.009 % |
1442.34/1442.92 c | 1469792 | 841 120147 314766 | 2147483647 68729 60 | 0.009 % |
1443.14/1443.79 c | 1470953 | 841 120147 314766 | 2147483647 69890 60 | 0.010 % |
1444.44/1445.01 c | 1472229 | 841 120147 314766 | 2147483647 71166 60 | 0.010 % |
1445.94/1446.56 c | 1473629 | 841 120147 314766 | 2147483647 72566 59 | 0.010 % |
1447.63/1448.28 c | 1475171 | 841 120147 314766 | 2147483647 74108 59 | 0.010 % |
1449.14/1449.78 c | 1476869 | 841 120147 314766 | 2147483647 75806 59 | 0.010 % |
1451.34/1451.90 c | 1478734 | 841 120147 314766 | 2147483647 77671 58 | 0.010 % |
1453.64/1454.29 c | 1480783 | 841 120147 314766 | 78937 70795 57 | 0.010 % |
1456.03/1456.64 c | 1483037 | 841 120147 314766 | 78937 73049 56 | 0.010 % |
1458.53/1459.19 c | 1485520 | 841 120147 314766 | 78937 75532 59 | 0.000 % |
1461.03/1461.66 c | 1488246 | 841 120147 314766 | 78937 78258 61 | 0.000 % |
1464.33/1464.94 c | 1491244 | 841 120147 314766 | 70371 62875 62 | 0.010 % |
1468.43/1469.09 c | 1494540 | 841 120147 314766 | 70371 66171 61 | 0.010 % |
1472.33/1472.97 c | 1498168 | 841 120147 314766 | 70371 69799 63 | 0.000 % |
1476.42/1477.10 c | 1502156 | 841 120147 314766 | 62120 56101 51 | 0.000 % |
1480.52/1481.12 c | 1506543 | 841 120147 314766 | 62120 60488 50 | 0.010 % |
1484.82/1485.46 c | 1511368 | 841 120147 314766 | 2147483647 59076 54 | 0.000 % |
1490.22/1490.89 c | 1516675 | 841 120147 314766 | 2147483647 64383 54 | 0.000 % |
1497.02/1497.69 c | 1522512 | 841 120147 314766 | 67716 62061 56 | 0.010 % |
1503.51/1504.17 c | 1528930 | 841 120147 314766 | 67716 61275 63 | 0.000 % |
1510.61/1511.28 c | 1535990 | 841 120147 314766 | 62345 61621 58 | 0.010 % |
1519.81/1520.42 c | 1543755 | 841 120147 314766 | 58427 54709 55 | 0.010 % |
1528.01/1528.69 c | 1552296 | 841 120147 314766 | 53358 49533 49 | 0.010 % |
1535.51/1536.18 c | 1561690 | 841 120147 314766 | 2147483647 53552 48 | 0.010 % |
1545.10/1545.79 c | 1572023 | 841 120147 314766 | 2147483647 63885 48 | 0.010 % |
1554.40/1555.01 c | 1583389 | 841 120147 314766 | 2147483647 75251 53 | 0.000 % |
1566.70/1567.37 c | 1595893 | 841 120147 314766 | 2147483647 87755 52 | 0.010 % |
1580.79/1581.44 c | 1609648 | 841 120147 314766 | 91866 88649 46 | 0.011 % |
1580.89/1581.53 c | 1609751 | 841 120147 314766 | 91866 88752 46 | 0.011 % |
1580.99/1581.65 c | 1609861 | 841 120147 314766 | 91866 88862 46 | 0.010 % |
1581.10/1581.80 c | 1609984 | 841 120147 314766 | 91866 88985 46 | 0.011 % |
1581.29/1581.92 c | 1610117 | 841 120147 314766 | 89002 89118 46 | 0.011 % |
1581.59/1582.23 c | 1610263 | 841 120147 314766 | 89002 76807 46 | 0.010 % |
1581.69/1582.36 c | 1610423 | 841 120147 314766 | 89002 76967 46 | 0.010 % |
1581.89/1582.54 c | 1610601 | 841 120147 314766 | 89002 77145 46 | 0.010 % |
1582.09/1582.73 c | 1610796 | 841 120147 314766 | 89002 77340 46 | 0.010 % |
1582.29/1582.91 c | 1611013 | 841 120147 314766 | 89002 77557 46 | 0.010 % |
1582.49/1583.13 c | 1611247 | 841 120147 314766 | 89002 77791 46 | 0.000 % |
1582.69/1583.30 c | 1611504 | 841 120147 314766 | 89002 78048 46 | 0.000 % |
1582.89/1583.54 c | 1611787 | 841 120147 314766 | 89002 78331 47 | 0.000 % |
1583.09/1583.79 c | 1612100 | 841 120147 314766 | 89002 78644 47 | 0.000 % |
1583.39/1584.07 c | 1612442 | 841 120147 314766 | 89002 78986 47 | 0.010 % |
1583.79/1584.42 c | 1612816 | 841 120147 314766 | 89002 79360 47 | 0.010 % |
1584.09/1584.72 c | 1613226 | 841 120147 314766 | 89002 79770 47 | 0.010 % |
1584.49/1585.19 c | 1613679 | 841 120147 314766 | 89002 80223 47 | 0.010 % |
1584.99/1585.66 c | 1614172 | 841 120147 314766 | 89002 80716 47 | 0.010 % |
1585.49/1586.19 c | 1614717 | 841 120147 314766 | 89002 81261 46 | 0.010 % |
1586.09/1586.72 c | 1615313 | 841 120147 314766 | 89002 81857 46 | 0.010 % |
1586.69/1587.32 c | 1615969 | 841 120147 314766 | 89002 82513 46 | 0.010 % |
1587.29/1587.90 c | 1616690 | 841 120147 314766 | 89002 83234 46 | 0.010 % |
1587.99/1588.61 c | 1617483 | 841 120147 314766 | 89002 84027 46 | 0.010 % |
1588.79/1589.43 c | 1618355 | 841 120147 314766 | 89002 84899 46 | 0.010 % |
1589.59/1590.28 c | 1619313 | 841 120147 314766 | 89002 85857 46 | 0.010 % |
1590.49/1591.17 c | 1620368 | 841 120147 314766 | 2147483647 86912 46 | 0.010 % |
1591.79/1592.41 c | 1621526 | 841 120147 314766 | 2147483647 88070 46 | 0.010 % |
1592.89/1593.59 c | 1622800 | 841 120147 314766 | 2147483647 89344 47 | 0.000 % |
1594.19/1594.89 c | 1624205 | 841 120147 314766 | 2147483647 90749 46 | 0.010 % |
1595.69/1596.37 c | 1625749 | 841 120147 314766 | 2147483647 92293 46 | 0.010 % |
1597.29/1597.96 c | 1627443 | 841 120147 314766 | 2147483647 93987 46 | 0.010 % |
1599.29/1599.98 c | 1629306 | 841 120147 314766 | 2147483647 95850 46 | 0.010 % |
1601.18/1601.85 c | 1631355 | 841 120147 314766 | 2147483647 97899 46 | 0.010 % |
1603.48/1604.18 c | 1633609 | 841 120147 314766 | 2147483647 100153 46 | 0.010 % |
1606.08/1606.76 c | 1636092 | 841 120147 314766 | 2147483647 102636 46 | 0.010 % |
1608.48/1609.19 c | 1638819 | 841 120147 314766 | 2147483647 105363 47 | 0.000 % |
1611.89/1612.58 c | 1641816 | 841 120147 314766 | 106544 97020 48 | 0.010 % |
1615.18/1615.84 c | 1645112 | 841 120147 314766 | 106544 100316 48 | 0.010 % |
1618.68/1619.31 c | 1648738 | 841 120147 314766 | 106544 103942 47 | 0.010 % |
1623.28/1623.97 c | 1652729 | 841 120147 314766 | 105204 94672 47 | 0.010 % |
1628.27/1628.91 c | 1657114 | 841 120147 314766 | 105204 99057 47 | 0.011 % |
1633.27/1633.91 c | 1661939 | 841 120147 314766 | 101947 89939 42 | 0.010 % |
1638.87/1639.56 c | 1667244 | 841 120147 314766 | 101947 95244 42 | 0.010 % |
1645.27/1645.95 c | 1673079 | 841 120147 314766 | 98000 86637 42 | 0.010 % |
1651.37/1652.10 c | 1679497 | 841 120147 314766 | 98000 93055 46 | 0.000 % |
1659.56/1660.20 c | 1686556 | 841 120147 314766 | 93558 87506 47 | 0.000 % |
1668.07/1668.79 c | 1694321 | 841 120147 314766 | 90954 81939 51 | 0.000 % |
1677.06/1677.78 c | 1702862 | 841 120147 314766 | 87619 78710 49 | 0.010 % |
1687.86/1688.55 c | 1712256 | 841 120147 314766 | 85848 75415 51 | 0.000 % |
1699.15/1699.86 c | 1722589 | 841 120147 314766 | 83162 72470 50 | 0.010 % |
1710.95/1711.66 c | 1733955 | 841 120147 314766 | 79881 71462 52 | 0.000 % |
1724.35/1725.03 c | 1746457 | 841 120147 314766 | 77507 72704 51 | 0.000 % |
1740.65/1741.33 c | 1760210 | 841 120147 314766 | 74225 74433 49 | 0.000 % |
1755.84/1756.54 c | 1775338 | 841 120147 314766 | 73037 69235 51 | 0.010 % |
1755.94/1756.65 c | 1775438 | 841 120147 314766 | 73037 69335 51 | 0.010 % |
1756.14/1756.80 c | 1775552 | 841 120147 314766 | 73037 69449 51 | 0.010 % |
1756.24/1756.94 c | 1775674 | 841 120147 314766 | 73037 69571 51 | 0.000 % |
1756.44/1757.15 c | 1775807 | 841 120147 314766 | 73037 69704 51 | 0.000 % |
1756.64/1757.35 c | 1775955 | 841 120147 314766 | 73037 69852 51 | 0.010 % |
1756.84/1757.58 c | 1776118 | 841 120147 314766 | 73037 70015 51 | 0.010 % |
1757.14/1757.82 c | 1776295 | 841 120147 314766 | 73037 70192 51 | 0.010 % |
1757.34/1758.09 c | 1776489 | 841 120147 314766 | 73037 70386 51 | 0.010 % |
1757.64/1758.32 c | 1776701 | 841 120147 314766 | 73037 70598 51 | 0.010 % |
1757.94/1758.64 c | 1776939 | 841 120147 314766 | 73037 70836 51 | 0.010 % |
1758.14/1758.88 c | 1777199 | 841 120147 314766 | 73037 71096 51 | 0.010 % |
1758.53/1759.24 c | 1777484 | 841 120147 314766 | 73037 71381 51 | 0.010 % |
1758.83/1759.55 c | 1777794 | 841 120147 314766 | 73037 71691 51 | 0.010 % |
1759.24/1760.00 c | 1778135 | 841 120147 314766 | 73037 72032 51 | 0.000 % |
1759.73/1760.41 c | 1778511 | 841 120147 314766 | 73037 72408 51 | 0.010 % |
1760.03/1760.79 c | 1778921 | 841 120147 314766 | 73037 72818 51 | 0.000 % |
1760.53/1761.29 c | 1779371 | 841 120147 314766 | 73037 73268 51 | 0.000 % |
1761.03/1761.77 c | 1779864 | 841 120147 314766 | 73037 63958 46 | 0.000 % |
1761.63/1762.39 c | 1780408 | 841 120147 314766 | 64095 56512 45 | 0.010 % |
1762.23/1762.91 c | 1781004 | 841 120147 314766 | 64095 57108 45 | 0.010 % |
1762.73/1763.43 c | 1781661 | 841 120147 314766 | 64095 57765 46 | 0.000 % |
1763.33/1764.03 c | 1782382 | 841 120147 314766 | 64095 58486 46 | 0.000 % |
1763.93/1764.64 c | 1783174 | 841 120147 314766 | 64095 59278 46 | 0.000 % |
1764.74/1765.47 c | 1784045 | 841 120147 314766 | 64095 60149 45 | 0.010 % |
1765.53/1766.28 c | 1785005 | 841 120147 314766 | 64095 61109 46 | 0.000 % |
1766.53/1767.30 c | 1786063 | 841 120147 314766 | 64095 62167 47 | 0.000 % |
1767.63/1768.39 c | 1787223 | 841 120147 314766 | 64095 63327 49 | 0.000 % |
1768.93/1769.68 c | 1788496 | 841 120147 314766 | 64095 58163 47 | 0.000 % |
1770.43/1771.14 c | 1789897 | 841 120147 314766 | 64095 59564 47 | 0.000 % |
1772.03/1772.73 c | 1791438 | 841 120147 314766 | 2147483647 61105 47 | 0.010 % |
1773.73/1774.44 c | 1793134 | 841 120147 314766 | 2147483647 62801 47 | 0.010 % |
1775.73/1776.47 c | 1794997 | 841 120147 314766 | 2147483647 64664 47 | 0.010 % |
1777.53/1778.23 c | 1797046 | 841 120147 314766 | 2147483647 66713 47 | 0.010 % |
1779.43/1780.16 c | 1799301 | 841 120147 314766 | 2147483647 68968 49 | 0.000 % |
1781.63/1782.39 c | 1801781 | 841 120147 314766 | 2147483647 71448 48 | 0.010 % |
1784.72/1785.44 c | 1804506 | 841 120147 314766 | 2147483647 74173 48 | 0.010 % |
1787.72/1788.49 c | 1807503 | 841 120147 314766 | 2147483647 77170 50 | 0.000 % |
1791.32/1792.09 c | 1810799 | 841 120147 314766 | 79667 70913 52 | 0.000 % |
1795.22/1795.96 c | 1814426 | 841 120147 314766 | 79667 74540 53 | 0.010 % |
1799.02/1799.70 c | 1818414 | 841 120147 314766 | 79667 78528 52 | 0.010 % |
1803.82/1804.52 c | 1822799 | 841 120147 314766 | 69918 63786 53 | 0.010 % |
1808.42/1809.17 c | 1827622 | 841 120147 314766 | 69918 68609 52 | 0.010 % |
1813.81/1814.53 c | 1832927 | 841 120147 314766 | 62335 57736 47 | 0.000 % |
1818.91/1819.65 c | 1838765 | 841 120147 314766 | 62335 57314 47 | 0.010 % |
1825.01/1825.77 c | 1845184 | 841 120147 314766 | 2147483647 63733 50 | 0.000 % |
1832.21/1832.95 c | 1852246 | 841 120147 314766 | 68550 62893 47 | 0.010 % |
1840.61/1841.31 c | 1860010 | 841 120147 314766 | 61575 61585 43 | 0.010 % |
1848.80/1849.52 c | 1868550 | 841 120147 314766 | 61575 55913 51 | 0.000 % |
1858.80/1859.57 c | 1877946 | 841 120147 314766 | 2147483647 65309 56 | 0.000 % |
1870.10/1870.83 c | 1888280 | 841 120147 314766 | 67363 60089 57 | 0.000 % |
1882.50/1883.29 c | 1899646 | 841 120147 314766 | 61809 54251 61 | 0.010 % |
1893.19/1893.94 c | 1912150 | 841 120147 314766 | 2147483647 53142 47 | 0.010 % |
1907.49/1908.21 c | 1925903 | 841 120147 314766 | 2147483647 66895 51 | 0.010 % |
1925.58/1926.37 c | 1941031 | 841 120147 314766 | 60670 52000 44 | 0.010 % |
1938.88/1939.64 c | 1957670 | 841 120147 314766 | 2147483647 68639 57 | 0.000 % |
1938.98/1939.74 c | 1957770 | 841 120147 314766 | 2147483647 68739 57 | 0.010 % |
1939.08/1939.83 c | 1957880 | 841 120147 314766 | 2147483647 68849 57 | 0.010 % |
1939.18/1939.94 c | 1958006 | 841 120147 314766 | 2147483647 68975 57 | 0.010 % |
1939.28/1940.07 c | 1958139 | 841 120147 314766 | 2147483647 69108 57 | 0.000 % |
1939.48/1940.21 c | 1958287 | 841 120147 314766 | 2147483647 69256 57 | 0.010 % |
1939.68/1940.45 c | 1958448 | 841 120147 314766 | 2147483647 69417 57 | 0.010 % |
1939.88/1940.67 c | 1958626 | 841 120147 314766 | 2147483647 69595 57 | 0.000 % |
1940.08/1940.86 c | 1958820 | 841 120147 314766 | 2147483647 69789 57 | 0.010 % |
1940.28/1941.08 c | 1959035 | 841 120147 314766 | 2147483647 70004 57 | 0.010 % |
1940.58/1941.32 c | 1959269 | 841 120147 314766 | 2147483647 70238 57 | 0.000 % |
1940.78/1941.54 c | 1959526 | 841 120147 314766 | 2147483647 70495 57 | 0.000 % |
1940.98/1941.78 c | 1959807 | 841 120147 314766 | 2147483647 70776 57 | 0.000 % |
1941.27/1942.04 c | 1960117 | 841 120147 314766 | 2147483647 71086 57 | 0.000 % |
1941.57/1942.37 c | 1960458 | 841 120147 314766 | 2147483647 71427 57 | 0.000 % |
1941.97/1942.77 c | 1960835 | 841 120147 314766 | 2147483647 71804 57 | 0.000 % |
1942.37/1943.16 c | 1961244 | 841 120147 314766 | 2147483647 72213 57 | 0.009 % |
1942.77/1943.54 c | 1961693 | 841 120147 314766 | 2147483647 72662 57 | 0.009 % |
1943.27/1944.02 c | 1962187 | 841 120147 314766 | 2147483647 73156 57 | 0.010 % |
1943.77/1944.55 c | 1962730 | 841 120147 314766 | 2147483647 73699 57 | 0.009 % |
1944.47/1945.25 c | 1963329 | 841 120147 314766 | 2147483647 74298 57 | 0.010 % |
1945.18/1945.94 c | 1963985 | 841 120147 314766 | 2147483647 74954 57 | 0.010 % |
1946.07/1946.81 c | 1964707 | 841 120147 314766 | 2147483647 75676 57 | 0.010 % |
1946.87/1947.67 c | 1965502 | 841 120147 314766 | 2147483647 76471 57 | 0.010 % |
1947.87/1948.65 c | 1966374 | 841 120147 314766 | 2147483647 77343 57 | 0.000 % |
1948.97/1949.73 c | 1967332 | 841 120147 314766 | 2147483647 78301 57 | 0.000 % |
1950.07/1950.88 c | 1968386 | 841 120147 314766 | 2147483647 79355 57 | 0.010 % |
1951.17/1951.99 c | 1969544 | 841 120147 314766 | 2147483647 80513 57 | 0.010 % |
1952.57/1953.32 c | 1970817 | 841 120147 314766 | 80973 71831 59 | 0.000 % |
1953.98/1954.77 c | 1972217 | 841 120147 314766 | 80973 73231 59 | 0.000 % |
1955.77/1956.50 c | 1973757 | 841 120147 314766 | 80973 74771 58 | 0.010 % |
1957.47/1958.26 c | 1975451 | 841 120147 314766 | 80973 76465 58 | 0.010 % |
1959.57/1960.34 c | 1977318 | 841 120147 314766 | 80973 78332 58 | 0.010 % |
1961.77/1962.51 c | 1979368 | 841 120147 314766 | 80973 80382 58 | 0.010 % |
1964.47/1965.23 c | 1981621 | 841 120147 314766 | 81016 72445 56 | 0.010 % |
1967.07/1967.89 c | 1984099 | 841 120147 314766 | 81016 74923 55 | 0.010 % |
1969.57/1970.38 c | 1986824 | 841 120147 314766 | 81016 77648 57 | 0.000 % |
1972.67/1973.43 c | 1989821 | 841 120147 314766 | 81016 80645 56 | 0.000 % |
1975.97/1976.75 c | 1993118 | 841 120147 314766 | 80824 73674 58 | 0.010 % |
1979.76/1980.57 c | 1996744 | 841 120147 314766 | 80824 77300 57 | 0.010 % |
1983.56/1984.32 c | 2000731 | 841 120147 314766 | 80557 71813 58 | 0.010 % |
1987.56/1988.31 c | 2005118 | 841 120147 314766 | 80557 76200 57 | 0.010 % |
1992.26/1993.06 c | 2009942 | 841 120147 314766 | 80557 71648 50 | 0.010 % |
1996.96/1997.72 c | 2015247 | 841 120147 314766 | 71708 68760 46 | 0.010 % |
2002.05/2002.88 c | 2021086 | 841 120147 314766 | 2147483647 67256 46 | 0.000 % |
2007.55/2008.31 c | 2027504 | 841 120147 314766 | 2147483647 73674 49 | 0.000 % |
2013.65/2014.41 c | 2034564 | 841 120147 314766 | 2147483647 80734 57 | 0.000 % |
2022.35/2023.15 c | 2042328 | 841 120147 314766 | 86171 79184 62 | 0.000 % |
2032.94/2033.70 c | 2050869 | 841 120147 314766 | 73498 62780 64 | 0.000 % |
2042.74/2043.52 c | 2060265 | 841 120147 314766 | 71913 72176 61 | 0.010 % |
2054.24/2055.07 c | 2070598 | 841 120147 314766 | 71170 61328 61 | 0.011 % |
2065.84/2066.60 c | 2081964 | 841 120147 314766 | 70732 63122 57 | 0.000 % |
2076.73/2077.57 c | 2094466 | 841 120147 314766 | 63831 61873 49 | 0.000 % |
2089.43/2090.25 c | 2108222 | 841 120147 314766 | 2147483647 69222 47 | 0.011 % |
2105.42/2106.26 c | 2123350 | 841 120147 314766 | 64407 59345 48 | 0.011 % |
2124.02/2124.85 c | 2139990 | 841 120147 314766 | 56434 49860 51 | 0.011 % |
2145.11/2145.91 c | 2158293 | 841 120147 314766 | 45415 42318 49 | 0.011 % |
2145.21/2146.04 c | 2158393 | 841 120147 314766 | 45415 42418 49 | 0.011 % |
2145.31/2146.16 c | 2158506 | 841 120147 314766 | 45415 42531 49 | 0.011 % |
2145.41/2146.26 c | 2158628 | 841 120147 314766 | 45415 42653 50 | 0.000 % |
2145.51/2146.36 c | 2158762 | 841 120147 314766 | 45415 42787 50 | 0.000 % |
2145.61/2146.47 c | 2158909 | 841 120147 314766 | 45415 42934 49 | 0.010 % |
2145.71/2146.57 c | 2159069 | 841 120147 314766 | 45415 43094 49 | 0.010 % |
2145.91/2146.73 c | 2159246 | 841 120147 314766 | 45415 43271 50 | 0.000 % |
2146.01/2146.84 c | 2159439 | 841 120147 314766 | 45415 43464 50 | 0.010 % |
2146.21/2147.01 c | 2159651 | 841 120147 314766 | 45415 43676 49 | 0.010 % |
2146.31/2147.16 c | 2159884 | 841 120147 314766 | 45415 43909 49 | 0.010 % |
2146.51/2147.35 c | 2160142 | 841 120147 314766 | 44027 44167 49 | 0.010 % |
2146.71/2147.54 c | 2160423 | 841 120147 314766 | 44027 40032 46 | 0.000 % |
2146.91/2147.71 c | 2160732 | 841 120147 314766 | 44027 40341 46 | 0.010 % |
2147.11/2147.92 c | 2161074 | 841 120147 314766 | 44027 40683 46 | 0.010 % |
2147.31/2148.12 c | 2161446 | 841 120147 314766 | 44027 41055 47 | 0.000 % |
2147.61/2148.40 c | 2161857 | 841 120147 314766 | 44027 41466 47 | 0.000 % |
2147.91/2148.71 c | 2162310 | 841 120147 314766 | 44027 41919 47 | 0.010 % |
2148.21/2149.03 c | 2162803 | 841 120147 314766 | 44027 42412 47 | 0.010 % |
2148.51/2149.31 c | 2163345 | 841 120147 314766 | 44027 42954 47 | 0.010 % |
2148.81/2149.61 c | 2163941 | 841 120147 314766 | 44027 43550 46 | 0.010 % |
2149.21/2150.03 c | 2164599 | 841 120147 314766 | 44027 44208 46 | 0.010 % |
2149.61/2150.46 c | 2165319 | 841 120147 314766 | 44027 40508 45 | 0.000 % |
2150.01/2150.88 c | 2166113 | 841 120147 314766 | 44027 41302 45 | 0.010 % |
2150.61/2151.44 c | 2166986 | 841 120147 314766 | 44027 42175 45 | 0.010 % |
2151.21/2152.06 c | 2167944 | 841 120147 314766 | 44027 43133 45 | 0.010 % |
2151.91/2152.74 c | 2168997 | 841 120147 314766 | 44027 44186 44 | 0.010 % |
2152.71/2153.59 c | 2170155 | 841 120147 314766 | 2147483647 40926 43 | 0.010 % |
2153.60/2154.46 c | 2171429 | 841 120147 314766 | 2147483647 42200 43 | 0.010 % |
2154.60/2155.42 c | 2172829 | 841 120147 314766 | 2147483647 43600 43 | 0.010 % |
2155.60/2156.44 c | 2174369 | 841 120147 314766 | 2147483647 45140 43 | 0.010 % |
2156.80/2157.61 c | 2176068 | 841 120147 314766 | 2147483647 46839 42 | 0.010 % |
2157.90/2158.71 c | 2177931 | 841 120147 314766 | 2147483647 48702 45 | 0.000 % |
2159.20/2160.00 c | 2179980 | 841 120147 314766 | 2147483647 50751 46 | 0.000 % |
2160.61/2161.44 c | 2182233 | 841 120147 314766 | 2147483647 53004 45 | 0.010 % |
2162.40/2163.27 c | 2184711 | 841 120147 314766 | 2147483647 55482 45 | 0.010 % |
2164.40/2165.24 c | 2187440 | 841 120147 314766 | 2147483647 58211 44 | 0.010 % |
2166.90/2167.71 c | 2190438 | 841 120147 314766 | 2147483647 61209 44 | 0.010 % |
2169.40/2170.29 c | 2193735 | 841 120147 314766 | 2147483647 64506 44 | 0.010 % |
2172.10/2172.95 c | 2197361 | 841 120147 314766 | 2147483647 68132 44 | 0.010 % |
2175.20/2176.09 c | 2201349 | 841 120147 314766 | 2147483647 72120 44 | 0.010 % |
2178.80/2179.65 c | 2205735 | 841 120147 314766 | 2147483647 76506 44 | 0.010 % |
2183.70/2184.58 c | 2210558 | 841 120147 314766 | 2147483647 81329 43 | 0.010 % |
2188.59/2189.42 c | 2215863 | 841 120147 314766 | 2147483647 86634 47 | 0.000 % |
2193.40/2194.21 c | 2221699 | 841 120147 314766 | 2147483647 92470 47 | 0.010 % |
2199.50/2200.34 c | 2228121 | 841 120147 314766 | 2147483647 98892 46 | 0.010 % |
2206.20/2207.09 c | 2235183 | 841 120147 314766 | 2147483647 105954 46 | 0.010 % |
2214.60/2215.49 c | 2242947 | 841 120147 314766 | 110775 98790 45 | 0.010 % |
2223.99/2224.88 c | 2251489 | 841 120147 314766 | 105843 92630 45 | 0.010 % |
2233.09/2233.98 c | 2260884 | 841 120147 314766 | 101142 87718 44 | 0.010 % |
2243.99/2244.89 c | 2271219 | 841 120147 314766 | 96835 82790 45 | 0.010 % |
2255.98/2256.86 c | 2282587 | 841 120147 314766 | 91572 78506 46 | 0.000 % |
2267.18/2268.07 c | 2295091 | 841 120147 314766 | 85920 77884 55 | 0.000 % |
2281.08/2281.92 c | 2308843 | 841 120147 314766 | 82794 80833 64 | 0.000 % |
2298.97/2299.84 c | 2323971 | 841 120147 314766 | 80805 71287 66 | 0.010 % |
2321.27/2322.14 c | 2340611 | 841 120147 314766 | 74465 60743 57 | 0.010 % |
2343.66/2344.56 c | 2358914 | 841 120147 314766 | 70134 65821 48 | 0.011 % |
2368.35/2369.27 c | 2379048 | 841 120147 314766 | 65427 63320 44 | 0.011 % |
2368.45/2369.34 c | 2379148 | 841 120147 314766 | 65427 63420 45 | 0.000 % |
2368.55/2369.43 c | 2379260 | 841 120147 314766 | 65427 63532 45 | 0.010 % |
2368.65/2369.55 c | 2379385 | 841 120147 314766 | 65427 63657 45 | 0.010 % |
2368.75/2369.68 c | 2379518 | 841 120147 314766 | 65427 63790 45 | 0.010 % |
2368.95/2369.81 c | 2379664 | 841 120147 314766 | 65427 63936 45 | 0.000 % |
2369.05/2369.96 c | 2379824 | 841 120147 314766 | 65427 64096 45 | 0.000 % |
2369.15/2370.09 c | 2380000 | 841 120147 314766 | 65427 64272 45 | 0.010 % |
2369.45/2370.34 c | 2380194 | 841 120147 314766 | 64272 54185 43 | 0.000 % |
2369.65/2370.50 c | 2380407 | 841 120147 314766 | 64272 54398 43 | 0.010 % |
2369.85/2370.72 c | 2380643 | 841 120147 314766 | 64272 54634 43 | 0.010 % |
2370.05/2370.96 c | 2380900 | 841 120147 314766 | 64272 54891 43 | 0.010 % |
2370.25/2371.18 c | 2381183 | 841 120147 314766 | 64272 55174 43 | 0.000 % |
2370.55/2371.41 c | 2381495 | 841 120147 314766 | 64272 55486 43 | 0.010 % |
2370.75/2371.66 c | 2381836 | 841 120147 314766 | 64272 55827 43 | 0.000 % |
2371.05/2371.97 c | 2382208 | 841 120147 314766 | 64272 56199 43 | 0.010 % |
2371.35/2372.27 c | 2382617 | 841 120147 314766 | 64272 56608 43 | 0.010 % |
2371.65/2372.60 c | 2383066 | 841 120147 314766 | 64272 57057 43 | 0.010 % |
2372.05/2372.93 c | 2383561 | 841 120147 314766 | 64272 57552 43 | 0.000 % |
2372.35/2373.26 c | 2384105 | 841 120147 314766 | 64272 58096 44 | 0.000 % |
2372.85/2373.73 c | 2384701 | 841 120147 314766 | 64272 58692 44 | 0.000 % |
2373.35/2374.22 c | 2385357 | 841 120147 314766 | 64272 59348 44 | 0.010 % |
2373.84/2374.75 c | 2386080 | 841 120147 314766 | 64272 60071 44 | 0.010 % |
2374.54/2375.42 c | 2386874 | 841 120147 314766 | 64272 60865 45 | 0.000 % |
2375.24/2376.14 c | 2387748 | 841 120147 314766 | 64272 61739 45 | 0.010 % |
2376.04/2376.93 c | 2388708 | 841 120147 314766 | 64272 62699 45 | 0.000 % |
2377.14/2378.03 c | 2389761 | 841 120147 314766 | 64272 63752 46 | 0.010 % |
2378.04/2378.96 c | 2390920 | 841 120147 314766 | 2147483647 64911 46 | 0.000 % |
2379.34/2380.24 c | 2392195 | 841 120147 314766 | 2147483647 66186 46 | 0.010 % |
2380.64/2381.57 c | 2393596 | 841 120147 314766 | 2147483647 67587 46 | 0.010 % |
2381.84/2382.80 c | 2395136 | 841 120147 314766 | 2147483647 69127 47 | 0.000 % |
2383.14/2384.08 c | 2396831 | 841 120147 314766 | 2147483647 70822 48 | 0.000 % |
2384.74/2385.64 c | 2398695 | 841 120147 314766 | 2147483647 72686 48 | 0.010 % |
2386.54/2387.48 c | 2400745 | 841 120147 314766 | 2147483647 74736 48 | 0.010 % |
2388.64/2389.54 c | 2403001 | 841 120147 314766 | 2147483647 76992 48 | 0.010 % |
2390.54/2391.42 c | 2405479 | 841 120147 314766 | 2147483647 79470 49 | 0.000 % |
2393.24/2394.17 c | 2408204 | 841 120147 314766 | 2147483647 82195 49 | 0.010 % |
2396.83/2397.73 c | 2411206 | 841 120147 314766 | 2147483647 85197 49 | 0.000 % |
2400.34/2401.26 c | 2414503 | 841 120147 314766 | 2147483647 88494 49 | 0.010 % |
2403.93/2404.84 c | 2418133 | 841 120147 314766 | 2147483647 92124 52 | 0.000 % |
2408.04/2408.93 c | 2422122 | 841 120147 314766 | 93991 84611 52 | 0.010 % |
2412.44/2413.32 c | 2426507 | 841 120147 314766 | 93991 88996 52 | 0.000 % |
2417.43/2418.33 c | 2431330 | 841 120147 314766 | 92494 80302 54 | 0.000 % |
2424.33/2425.20 c | 2436636 | 841 120147 314766 | 92494 85608 54 | 0.010 % |
2431.03/2431.93 c | 2442472 | 841 120147 314766 | 88979 76497 56 | 0.010 % |
2438.52/2439.42 c | 2448892 | 841 120147 314766 | 88979 82917 55 | 0.010 % |
2446.92/2447.84 c | 2455951 | 841 120147 314766 | 84025 76701 53 | 0.010 % |
2454.52/2455.48 c | 2463726 | 841 120147 314766 | 80750 71902 49 | 0.011 % |
2464.12/2465.09 c | 2472266 | 841 120147 314766 | 78176 69116 46 | 0.011 % |
2472.61/2473.55 c | 2481660 | 841 120147 314766 | 76851 69192 45 | 0.000 % |
2482.81/2483.73 c | 2491993 | 841 120147 314766 | 68745 63055 41 | 0.010 % |
2492.81/2493.72 c | 2503361 | 841 120147 314766 | 2147483647 67516 43 | 0.010 % |
2504.00/2504.95 c | 2515866 | 841 120147 314766 | 2147483647 80021 43 | 0.010 % |
2517.60/2518.54 c | 2529620 | 841 120147 314766 | 2147483647 93775 42 | 0.010 % |
2533.69/2534.67 c | 2544749 | 841 120147 314766 | 93731 85863 47 | 0.010 % |
2551.49/2552.44 c | 2561390 | 841 120147 314766 | 86092 75119 51 | 0.000 % |
2572.48/2573.47 c | 2579692 | 841 120147 314766 | 83731 79947 54 | 0.010 % |
2593.47/2594.45 c | 2599824 | 841 120147 314766 | 75662 74131 53 | 0.010 % |
2614.57/2615.50 c | 2621971 | 841 120147 314766 | 2147483647 68649 43 | 0.012 % |
2614.67/2615.62 c | 2622073 | 841 120147 314766 | 2147483647 68751 43 | 0.000 % |
2614.77/2615.72 c | 2622185 | 841 120147 314766 | 2147483647 68863 43 | 0.000 % |
2614.87/2615.84 c | 2622307 | 841 120147 314766 | 2147483647 68985 43 | 0.010 % |
2614.96/2615.99 c | 2622440 | 841 120147 314766 | 2147483647 69118 43 | 0.009 % |
2615.16/2616.14 c | 2622592 | 841 120147 314766 | 2147483647 69270 43 | 0.009 % |
2615.26/2616.27 c | 2622754 | 841 120147 314766 | 2147483647 69432 43 | 0.000 % |
2615.46/2616.41 c | 2622931 | 841 120147 314766 | 2147483647 69609 43 | 0.010 % |
2615.56/2616.57 c | 2623126 | 841 120147 314766 | 2147483647 69804 43 | 0.010 % |
2615.76/2616.74 c | 2623339 | 841 120147 314766 | 2147483647 70017 43 | 0.010 % |
2615.97/2616.93 c | 2623572 | 841 120147 314766 | 2147483647 70250 43 | 0.010 % |
2616.16/2617.15 c | 2623828 | 841 120147 314766 | 2147483647 70506 43 | 0.000 % |
2616.36/2617.39 c | 2624113 | 841 120147 314766 | 2147483647 70791 43 | 0.010 % |
2616.66/2617.64 c | 2624422 | 841 120147 314766 | 2147483647 71100 43 | 0.010 % |
2616.86/2617.87 c | 2624762 | 841 120147 314766 | 2147483647 71440 43 | 0.010 % |
2617.26/2618.21 c | 2625134 | 841 120147 314766 | 2147483647 71812 43 | 0.010 % |
2617.46/2618.49 c | 2625543 | 841 120147 314766 | 2147483647 72221 43 | 0.010 % |
2617.86/2618.89 c | 2625992 | 841 120147 314766 | 2147483647 72670 43 | 0.000 % |
2618.36/2619.31 c | 2626485 | 841 120147 314766 | 2147483647 73163 43 | 0.010 % |
2618.76/2619.79 c | 2627028 | 841 120147 314766 | 2147483647 73706 43 | 0.010 % |
2619.36/2620.33 c | 2627626 | 841 120147 314766 | 2147483647 74304 44 | 0.000 % |
2619.96/2620.90 c | 2628283 | 841 120147 314766 | 2147483647 74961 44 | 0.010 % |
2620.56/2621.54 c | 2629004 | 841 120147 314766 | 2147483647 75682 44 | 0.010 % |
2621.16/2622.15 c | 2629797 | 841 120147 314766 | 2147483647 76475 45 | 0.000 % |
2621.86/2622.87 c | 2630670 | 841 120147 314766 | 2147483647 77348 45 | 0.000 % |
2622.66/2623.69 c | 2631628 | 841 120147 314766 | 2147483647 78306 45 | 0.010 % |
2623.67/2624.61 c | 2632681 | 841 120147 314766 | 2147483647 79359 45 | 0.010 % |
2624.67/2625.69 c | 2633842 | 841 120147 314766 | 2147483647 80520 45 | 0.010 % |
2625.96/2626.90 c | 2635117 | 841 120147 314766 | 2147483647 81795 44 | 0.010 % |
2627.46/2628.46 c | 2636518 | 841 120147 314766 | 2147483647 83196 44 | 0.010 % |
2628.76/2629.76 c | 2638061 | 841 120147 314766 | 2147483647 84739 45 | 0.000 % |
2630.56/2631.54 c | 2639756 | 841 120147 314766 | 2147483647 86434 46 | 0.000 % |
2632.26/2633.27 c | 2641621 | 841 120147 314766 | 2147483647 88299 46 | 0.000 % |
2634.16/2635.12 c | 2643671 | 841 120147 314766 | 2147483647 90349 46 | 0.010 % |
2636.26/2637.21 c | 2645925 | 841 120147 314766 | 2147483647 92603 46 | 0.010 % |
2638.46/2639.42 c | 2648404 | 841 120147 314766 | 2147483647 95082 46 | 0.010 % |
2640.95/2641.98 c | 2651129 | 841 120147 314766 | 2147483647 97807 46 | 0.010 % |
2644.05/2645.04 c | 2654131 | 841 120147 314766 | 2147483647 100809 46 | 0.010 % |
2647.35/2648.31 c | 2657427 | 841 120147 314766 | 2147483647 104105 46 | 0.010 % |
2651.35/2652.36 c | 2661054 | 841 120147 314766 | 106678 93792 43 | 0.010 % |
2655.15/2656.16 c | 2665042 | 841 120147 314766 | 106678 97780 45 | 0.000 % |
2659.55/2660.56 c | 2669428 | 841 120147 314766 | 106678 102166 48 | 0.000 % |
2664.95/2665.98 c | 2674251 | 841 120147 314766 | 102738 92380 48 | 0.010 % |
2670.45/2671.42 c | 2679559 | 841 120147 314766 | 102738 97688 48 | 0.010 % |
2676.54/2677.55 c | 2685394 | 841 120147 314766 | 98132 89418 53 | 0.000 % |
2684.44/2685.44 c | 2691812 | 841 120147 314766 | 94024 82301 55 | 0.010 % |
2693.24/2694.26 c | 2698871 | 841 120147 314766 | 94024 89360 55 | 0.010 % |
2701.34/2702.36 c | 2706635 | 841 120147 314766 | 90490 82160 54 | 0.000 % |
2711.03/2712.02 c | 2715175 | 841 120147 314766 | 85528 77616 54 | 0.010 % |
2721.13/2722.15 c | 2724570 | 841 120147 314766 | 82443 73556 50 | 0.010 % |
2731.13/2732.16 c | 2734907 | 841 120147 314766 | 78987 70473 53 | 0.000 % |
2743.72/2744.74 c | 2746273 | 841 120147 314766 | 75568 70147 49 | 0.000 % |
2758.22/2759.26 c | 2758777 | 841 120147 314766 | 73875 70642 47 | 0.010 % |
2771.62/2772.62 c | 2772533 | 841 120147 314766 | 71929 64928 46 | 0.010 % |
2784.81/2785.87 c | 2787660 | 841 120147 314766 | 63823 64149 50 | 0.000 % |
2801.31/2802.34 c | 2804299 | 841 120147 314766 | 70077 66105 50 | 0.000 % |
2806.61/2807.60 c ===============================================================================
2806.61/2807.60 c restarts : 1768
2806.61/2807.60 c conflicts : 2809569 (1001 /sec)
2806.61/2807.60 c decisions : 5062417 (1.12 % random) (1804 /sec)
2806.61/2807.60 c propagations : 367805708 (131064 /sec)
2806.61/2807.60 c conflict literals : 155913140 (43.30 % deleted)
2806.61/2807.60 c Memory used : 47.35 MB
2806.61/2807.60 c CPU time : 2806.3 s
2806.61/2807.60 c
2806.61/2807.60 s SATISFIABLE
2806.61/2807.61 s SATISFIABLE
2806.61/2807.61 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837146-1242857365/watcher-1837146-1242857365 -o /tmp/evaluation-result-1837146-1242857365/solver-1837146-1242857365 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837146-1242857365.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.99 0.69 0.31 3/65 2414
/proc/meminfo: memFree=1814400/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0
/proc/2414/stat : 2414 (SatELiteGTI) R 2412 2414 2309 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 313765704 5484544 236 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563353097 0 0 17 0 0 0
/proc/2414/statm: 1339 236 196 169 0 50 0
[startup+0.0516371 s]
/proc/loadavg: 0.99 0.69 0.31 3/65 2414
/proc/meminfo: memFree=1814400/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313765704 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2414/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101639 s]
/proc/loadavg: 0.99 0.69 0.31 3/65 2414
/proc/meminfo: memFree=1814400/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313765704 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2414/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301673 s]
/proc/loadavg: 0.99 0.69 0.31 3/65 2414
/proc/meminfo: memFree=1814400/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701716 s]
/proc/loadavg: 0.99 0.69 0.31 3/65 2414
/proc/meminfo: memFree=1814400/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50179 s]
/proc/loadavg: 0.99 0.69 0.31 2/67 2420
/proc/meminfo: memFree=1805360/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=8524 CPUtime=1.31
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 2016 0 0 0 131 0 0 0 25 0 1 0 313765721 8728576 2002 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 2131 2002 77 171 0 1958 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13880
[startup+3.10197 s]
/proc/loadavg: 0.99 0.69 0.31 2/67 2420
/proc/meminfo: memFree=1804016/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=10372 CPUtime=2.91
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 2457 0 0 0 290 1 0 0 25 0 1 0 313765721 10620928 2443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 2593 2443 77 171 0 2420 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15728
[startup+6.30132 s]
/proc/loadavg: 1.07 0.72 0.32 2/67 2420
/proc/meminfo: memFree=1800560/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=13188 CPUtime=6.1
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 3170 0 0 0 609 1 0 0 25 0 1 0 313765721 13504512 3156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 3297 3156 77 171 0 3124 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18544
[startup+12.702 s]
/proc/loadavg: 1.07 0.72 0.32 2/67 2420
/proc/meminfo: memFree=1796144/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=17496 CPUtime=12.5
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 4237 0 0 0 1247 3 0 0 25 0 1 0 313765721 17915904 4223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 4374 4223 77 171 0 4201 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22852
[startup+25.5014 s]
/proc/loadavg: 1.05 0.73 0.33 2/67 2420
/proc/meminfo: memFree=1789232/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=23964 CPUtime=25.28
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 5856 0 0 0 2524 4 0 0 25 0 1 0 313765721 24539136 5842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 5991 5842 77 171 0 5818 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29320
[startup+51.1013 s]
/proc/loadavg: 1.03 0.75 0.35 2/67 2420
/proc/meminfo: memFree=1779504/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=33532 CPUtime=50.86
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 8263 0 0 0 5078 8 0 0 25 0 1 0 313765721 34336768 8249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 8383 8249 77 171 0 8210 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38888
[startup+102.306 s]
/proc/loadavg: 1.01 0.79 0.38 2/67 2420
/proc/meminfo: memFree=1767216/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=45724 CPUtime=102.04
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11296 0 0 0 10193 11 0 0 25 0 1 0 313765721 46821376 11282 1992294400 134512640 135215339 4294956240 18446744073709551615 134545665 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11431 11282 77 171 0 11258 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 51080
[startup+162.302 s]
/proc/loadavg: 1.00 0.83 0.42 2/67 2420
/proc/meminfo: memFree=1767024/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=46000 CPUtime=162.01
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11333 0 0 0 16190 11 0 0 25 0 1 0 313765721 47104000 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11500 11319 77 171 0 11327 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 51356
[startup+222.301 s]
/proc/loadavg: 1.00 0.85 0.45 2/67 2420
/proc/meminfo: memFree=1766896/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=46000 CPUtime=221.99
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11355 0 0 0 22187 12 0 0 25 0 1 0 313765721 47104000 11341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11500 11341 77 171 0 11327 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 51356
[startup+282.302 s]
/proc/loadavg: 1.00 0.88 0.48 2/67 2420
/proc/meminfo: memFree=1766768/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=46176 CPUtime=281.97
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11374 0 0 0 28185 12 0 0 25 0 1 0 313765721 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 51532
[startup+342.301 s]
/proc/loadavg: 1.00 0.90 0.51 2/67 2420
/proc/meminfo: memFree=1766704/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=46176 CPUtime=341.95
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11374 0 0 0 34183 12 0 0 25 0 1 0 313765721 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 51532
[startup+402.301 s]
/proc/loadavg: 1.00 0.91 0.54 2/67 2420
/proc/meminfo: memFree=1766640/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=46176 CPUtime=401.93
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11383 0 0 0 40181 12 0 0 25 0 1 0 313765721 47284224 11369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 11544 11369 77 171 0 11371 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 51532
[startup+462.302 s]
################
# More data... #
################
[startup+2382.3 s]
/proc/loadavg: 1.04 1.08 0.96 2/67 2422
/proc/meminfo: memFree=1763568/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48008 CPUtime=2381.28
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11767 0 0 0 238113 15 0 0 25 0 1 0 313765721 49160192 11753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12002 11753 77 171 0 11829 0
Current children cumulated CPU time (s) 2381.44
Current children cumulated vsize (KiB) 53364
[startup+2442.3 s]
/proc/loadavg: 1.01 1.07 0.96 2/67 2422
/proc/meminfo: memFree=1763440/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48008 CPUtime=2441.26
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11769 0 0 0 244111 15 0 0 25 0 1 0 313765721 49160192 11755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12002 11755 77 171 0 11829 0
Current children cumulated CPU time (s) 2441.42
Current children cumulated vsize (KiB) 53364
[startup+2502.3 s]
/proc/loadavg: 1.00 1.05 0.96 2/67 2422
/proc/meminfo: memFree=1763376/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48008 CPUtime=2501.24
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11782 0 0 0 250109 15 0 0 25 0 1 0 313765721 49160192 11768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12002 11768 77 171 0 11829 0
Current children cumulated CPU time (s) 2501.4
Current children cumulated vsize (KiB) 53364
[startup+2562.3 s]
/proc/loadavg: 1.00 1.04 0.96 2/67 2422
/proc/meminfo: memFree=1763248/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48184 CPUtime=2561.22
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11800 0 0 0 256107 15 0 0 25 0 1 0 313765721 49340416 11786 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12046 11786 77 171 0 11873 0
Current children cumulated CPU time (s) 2561.38
Current children cumulated vsize (KiB) 53540
[startup+2622.3 s]
/proc/loadavg: 1.00 1.03 0.96 2/67 2422
/proc/meminfo: memFree=1763120/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48316 CPUtime=2621.21
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11832 0 0 0 262106 15 0 0 25 0 1 0 313765721 49475584 11818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12079 11818 77 171 0 11906 0
Current children cumulated CPU time (s) 2621.37
Current children cumulated vsize (KiB) 53672
[startup+2682.3 s]
/proc/loadavg: 1.00 1.02 0.96 2/67 2422
/proc/meminfo: memFree=1762992/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48316 CPUtime=2681.18
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11847 0 0 0 268103 15 0 0 25 0 1 0 313765721 49475584 11833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12079 11833 77 171 0 11906 0
Current children cumulated CPU time (s) 2681.34
Current children cumulated vsize (KiB) 53672
[startup+2742.31 s]
/proc/loadavg: 1.00 1.02 0.96 2/67 2422
/proc/meminfo: memFree=1762992/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48316 CPUtime=2741.17
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11847 0 0 0 274102 15 0 0 25 0 1 0 313765721 49475584 11833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12079 11833 77 171 0 11906 0
Current children cumulated CPU time (s) 2741.33
Current children cumulated vsize (KiB) 53672
[startup+2802.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2801.15
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280100 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2801.31
Current children cumulated vsize (KiB) 53836
Solver just ended. Dumping a history of the last processes samples
[startup+2803.1 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2801.95
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280180 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2802.11
Current children cumulated vsize (KiB) 53836
[startup+2804.7 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2803.55
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280340 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2803.71
Current children cumulated vsize (KiB) 53836
[startup+2806.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2805.15
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280500 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 53836
[startup+2807.1 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2805.95
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280580 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2806.11
Current children cumulated vsize (KiB) 53836
[startup+2807.5 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2806.35
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280620 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2806.51
Current children cumulated vsize (KiB) 53836
[startup+2807.6 s]
/proc/loadavg: 1.00 1.01 0.96 2/67 2422
/proc/meminfo: memFree=1762864/2055920 swapFree=4176760/4192956
[pid=2414] ppid=2412 vsize=5356 CPUtime=0.16
/proc/2414/stat : 2414 (SatELiteGTI) S 2412 2414 2309 0 -1 4194304 336 1986 0 0 0 0 14 2 15 0 1 0 313765704 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2414/statm: 1339 239 197 169 0 50 0
[pid=2420] ppid=2414 vsize=48480 CPUtime=2806.45
/proc/2420/stat : 2420 (minisat_static) R 2414 2414 2309 0 -1 4194304 11862 0 0 0 280630 15 0 0 25 0 1 0 313765721 49643520 11848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2420/statm: 12120 11848 77 171 0 11947 0
Current children cumulated CPU time (s) 2806.61
Current children cumulated vsize (KiB) 53836
Child status: 10
Real time (s): 2807.62
CPU time (s): 2806.64
CPU user time (s): 2806.45
CPU system time (s): 0.19197
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 53836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2806.45
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14494
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= 48
involuntary context switches= 7228
runsolver used 2.55461 second user time and 7.82381 second system time
The end
Begin job on node87 at 2009-05-21 00:09:25
IDJOB=1837146
IDBENCH=20491
IDSOLVER=674
FILE ID=node87/1837146-1242857365
PBS_JOBID= 9328432
Free space on /tmp= 65860 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837146-1242857365/watcher-1837146-1242857365 -o /tmp/evaluation-result-1837146-1242857365/solver-1837146-1242857365 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837146-1242857365.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED=709119410
node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1814944 kB
Buffers: 36268 kB
Cached: 163056 kB
SwapCached: 10320 kB
Active: 87376 kB
Inactive: 123716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1814944 kB
SwapTotal: 4192956 kB
SwapFree: 4176760 kB
Dirty: 3456 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 15792 kB
Committed_AS: 1009692 kB
PageTables: 1480 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= 65860 MiB
End job on node87 at 2009-05-21 00:56:13