0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 120147 314766 | 36044 0 0 nan | 0.000 % |
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 841 #clauses: 120147 #literals: 314766
0.00/0.08 c CPU time: 0.058991 s
0.00/0.08 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 841 |
0.00/0.18 c | Number of clauses: 120147 |
0.17/0.24 c | Parsing time: 0.05 s |
0.17/0.24 c ============================[ Search Statistics ]==============================
0.17/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.24 c ===============================================================================
0.17/0.24 c | 0 | 841 120147 314766 | 40049 0 nan | 0.000 % |
0.17/0.27 c | 101 | 841 120147 314766 | 40049 101 46 | 0.000 % |
0.17/0.29 c | 201 | 841 120147 314766 | 40049 201 39 | 0.010 % |
0.17/0.31 c | 302 | 841 120147 314766 | 40049 302 32 | 0.010 % |
0.17/0.32 c | 412 | 841 120147 314766 | 40049 412 32 | 0.010 % |
0.17/0.34 c | 512 | 841 120147 314766 | 40049 512 29 | 0.010 % |
0.17/0.35 c | 622 | 841 120147 314766 | 40049 622 36 | 0.000 % |
0.17/0.37 c | 743 | 841 120147 314766 | 40049 743 37 | 0.000 % |
0.17/0.38 c | 847 | 841 120147 314766 | 40049 847 36 | 0.010 % |
0.17/0.40 c | 958 | 841 120147 314766 | 40049 958 35 | 0.010 % |
0.17/0.41 c | 1082 | 841 120147 314766 | 40049 1082 34 | 0.010 % |
0.17/0.43 c | 1216 | 841 120147 314766 | 40049 1216 39 | 0.000 % |
0.17/0.44 c | 1318 | 841 120147 314766 | 40049 1318 39 | 0.000 % |
0.17/0.45 c | 1431 | 841 120147 314766 | 40049 1431 40 | 0.010 % |
0.17/0.47 c | 1554 | 841 120147 314766 | 40049 1554 39 | 0.010 % |
0.17/0.49 c | 1687 | 841 120147 314766 | 40049 1687 44 | 0.000 % |
0.17/0.51 c | 1836 | 841 120147 314766 | 40049 1836 44 | 0.000 % |
0.17/0.52 c | 1936 | 841 120147 314766 | 40049 1936 43 | 0.010 % |
0.17/0.53 c | 2049 | 841 120147 314766 | 40049 2049 42 | 0.010 % |
0.17/0.55 c | 2170 | 841 120147 314766 | 40049 2170 44 | 0.000 % |
0.17/0.56 c | 2304 | 841 120147 314766 | 40049 2304 45 | 0.010 % |
0.17/0.58 c | 2451 | 841 120147 314766 | 40049 2451 45 | 0.010 % |
0.17/0.60 c | 2612 | 841 120147 314766 | 40049 2612 46 | 0.010 % |
0.17/0.62 c | 2712 | 841 120147 314766 | 40049 2712 46 | 0.010 % |
0.17/0.64 c | 2822 | 841 120147 314766 | 40049 2822 46 | 0.010 % |
0.17/0.66 c | 2945 | 841 120147 314766 | 40049 2945 45 | 0.010 % |
0.17/0.68 c | 3080 | 841 120147 314766 | 40049 3080 45 | 0.010 % |
0.17/0.70 c | 3226 | 841 120147 314766 | 40049 3226 46 | 0.000 % |
0.17/0.72 c | 3387 | 841 120147 314766 | 40049 3387 46 | 0.010 % |
0.17/0.74 c | 3563 | 841 120147 314766 | 40049 3563 46 | 0.010 % |
0.17/0.76 c | 3663 | 841 120147 314766 | 40049 3663 47 | 0.000 % |
0.17/0.77 c | 3778 | 841 120147 314766 | 40049 3778 47 | 0.000 % |
0.17/0.79 c | 3903 | 841 120147 314766 | 40049 3903 46 | 0.010 % |
0.17/0.81 c | 4036 | 841 120147 314766 | 40049 4036 46 | 0.010 % |
0.17/0.83 c | 4187 | 841 120147 314766 | 40049 4187 48 | 0.000 % |
0.17/0.85 c | 4348 | 841 120147 314766 | 40049 4348 48 | 0.000 % |
0.17/0.87 c | 4524 | 841 120147 314766 | 40049 4524 47 | 0.009 % |
0.17/0.90 c | 4718 | 841 120147 314766 | 40049 4718 50 | 0.000 % |
0.17/0.91 c | 4819 | 841 120147 314766 | 40049 4819 50 | 0.000 % |
0.17/0.93 c | 4929 | 841 120147 314766 | 40049 4929 49 | 0.010 % |
0.17/0.95 c | 5054 | 841 120147 314766 | 40049 5054 49 | 0.010 % |
0.17/0.97 c | 5187 | 841 120147 314766 | 40049 5187 50 | 0.000 % |
0.17/0.99 c | 5335 | 841 120147 314766 | 40049 5335 49 | 0.000 % |
0.97/1.01 c | 5497 | 841 120147 314766 | 40049 5497 49 | 0.010 % |
0.97/1.03 c | 5673 | 841 120147 314766 | 40049 5673 48 | 0.010 % |
0.97/1.06 c | 5868 | 841 120147 314766 | 40049 5868 48 | 0.010 % |
0.97/1.09 c | 6083 | 841 120147 314766 | 40049 6083 47 | 0.010 % |
1.08/1.10 c | 6183 | 841 120147 314766 | 40049 6183 48 | 0.000 % |
1.08/1.12 c | 6295 | 841 120147 314766 | 40049 6295 48 | 0.010 % |
1.08/1.14 c | 6417 | 841 120147 314766 | 40049 6417 47 | 0.010 % |
1.08/1.16 c | 6551 | 841 120147 314766 | 40049 6551 47 | 0.010 % |
1.08/1.18 c | 6698 | 841 120147 314766 | 40049 6698 48 | 0.000 % |
1.18/1.21 c | 6858 | 841 120147 314766 | 40049 6858 48 | 0.000 % |
1.18/1.24 c | 7035 | 841 120147 314766 | 40049 7035 47 | 0.010 % |
1.18/1.27 c | 7229 | 841 120147 314766 | 40049 7229 48 | 0.000 % |
1.18/1.30 c | 7442 | 841 120147 314766 | 40049 7442 48 | 0.000 % |
1.27/1.33 c | 7675 | 841 120147 314766 | 40049 7675 48 | 0.000 % |
1.27/1.35 c | 7775 | 841 120147 314766 | 40049 7775 48 | 0.010 % |
1.27/1.37 c | 7889 | 841 120147 314766 | 40049 7889 48 | 0.010 % |
1.27/1.39 c | 8013 | 841 120147 314766 | 40049 8013 47 | 0.010 % |
1.37/1.40 c | 8149 | 841 120147 314766 | 40049 8149 48 | 0.000 % |
1.37/1.43 c | 8295 | 841 120147 314766 | 40049 8295 49 | 0.000 % |
1.37/1.46 c | 8455 | 841 120147 314766 | 40049 8455 48 | 0.010 % |
1.37/1.49 c | 8631 | 841 120147 314766 | 40049 8631 48 | 0.010 % |
1.47/1.52 c | 8827 | 841 120147 314766 | 40049 8827 48 | 0.010 % |
1.47/1.55 c | 9040 | 841 120147 314766 | 40049 9040 47 | 0.000 % |
1.47/1.59 c | 9275 | 841 120147 314766 | 40049 9275 48 | 0.000 % |
1.57/1.63 c | 9531 | 841 120147 314766 | 40049 9531 48 | 0.010 % |
1.57/1.65 c | 9633 | 841 120147 314766 | 40049 9633 48 | 0.000 % |
1.57/1.67 c | 9743 | 841 120147 314766 | 40049 9743 48 | 0.010 % |
1.57/1.69 c | 9865 | 841 120147 314766 | 40049 9865 48 | 0.000 % |
1.67/1.71 c | 10003 | 841 120147 314766 | 40049 10003 48 | 0.010 % |
1.67/1.74 c | 10149 | 841 120147 314766 | 2147483647 10149 48 | 0.000 % |
1.67/1.76 c | 10309 | 841 120147 314766 | 2147483647 10309 48 | 0.000 % |
1.77/1.80 c | 10486 | 841 120147 314766 | 2147483647 10486 48 | 0.010 % |
1.77/1.84 c | 10680 | 841 120147 314766 | 2147483647 10680 47 | 0.010 % |
1.77/1.88 c | 10892 | 841 120147 314766 | 2147483647 10892 47 | 0.010 % |
1.87/1.93 c | 11127 | 841 120147 314766 | 2147483647 11127 46 | 0.010 % |
1.87/1.98 c | 11383 | 841 120147 314766 | 2147483647 11383 46 | 0.010 % |
1.97/2.04 c | 11667 | 841 120147 314766 | 2147483647 11667 45 | 0.010 % |
1.97/2.06 c | 11767 | 841 120147 314766 | 2147483647 11767 45 | 0.010 % |
1.97/2.08 c | 11879 | 841 120147 314766 | 2147483647 11879 45 | 0.010 % |
1.97/2.10 c | 12001 | 841 120147 314766 | 2147483647 12001 45 | 0.010 % |
2.08/2.13 c | 12135 | 841 120147 314766 | 2147483647 12135 45 | 0.000 % |
2.08/2.15 c | 12281 | 841 120147 314766 | 2147483647 12281 45 | 0.010 % |
2.08/2.18 c | 12441 | 841 120147 314766 | 2147483647 12441 45 | 0.010 % |
2.18/2.21 c | 12617 | 841 120147 314766 | 2147483647 12617 45 | 0.010 % |
2.18/2.24 c | 12811 | 841 120147 314766 | 2147483647 12811 45 | 0.010 % |
2.18/2.29 c | 13023 | 841 120147 314766 | 2147483647 13023 44 | 0.010 % |
2.27/2.33 c | 13257 | 841 120147 314766 | 2147483647 13257 45 | 0.000 % |
2.27/2.37 c | 13513 | 841 120147 314766 | 2147483647 13513 45 | 0.010 % |
2.37/2.42 c | 13795 | 841 120147 314766 | 2147483647 13795 46 | 0.000 % |
2.37/2.48 c | 14104 | 841 120147 314766 | 2147483647 14104 45 | 0.010 % |
2.47/2.50 c | 14204 | 841 120147 314766 | 2147483647 14204 45 | 0.010 % |
2.47/2.53 c | 14314 | 841 120147 314766 | 2147483647 14314 45 | 0.010 % |
2.47/2.55 c | 14435 | 841 120147 314766 | 2147483647 14435 45 | 0.010 % |
2.47/2.58 c | 14570 | 841 120147 314766 | 2147483647 14570 45 | 0.010 % |
2.47/2.60 c | 14718 | 841 120147 314766 | 2147483647 14718 45 | 0.000 % |
2.57/2.63 c | 14878 | 841 120147 314766 | 2147483647 14878 45 | 0.000 % |
2.57/2.67 c | 15055 | 841 120147 314766 | 2147483647 15055 45 | 0.009 % |
2.67/2.70 c | 15249 | 841 120147 314766 | 2147483647 15249 45 | 0.000 % |
2.67/2.75 c | 15462 | 841 120147 314766 | 2147483647 15462 45 | 0.010 % |
2.67/2.79 c | 15695 | 841 120147 314766 | 2147483647 15695 45 | 0.010 % |
2.77/2.85 c | 15952 | 841 120147 314766 | 2147483647 15952 45 | 0.010 % |
2.87/2.90 c | 16234 | 841 120147 314766 | 2147483647 16234 44 | 0.010 % |
2.87/2.95 c | 16543 | 841 120147 314766 | 2147483647 16543 44 | 0.010 % |
2.97/3.02 c | 16885 | 841 120147 314766 | 2147483647 16885 45 | 0.000 % |
2.97/3.04 c | 16986 | 841 120147 314766 | 2147483647 16986 45 | 0.010 % |
2.97/3.06 c | 17096 | 841 120147 314766 | 2147483647 17096 45 | 0.010 % |
2.97/3.08 c | 17217 | 841 120147 314766 | 2147483647 17217 45 | 0.000 % |
3.06/3.11 c | 17350 | 841 120147 314766 | 2147483647 17350 45 | 0.010 % |
3.06/3.14 c | 17496 | 841 120147 314766 | 2147483647 17496 45 | 0.009 % |
3.06/3.17 c | 17656 | 841 120147 314766 | 2147483647 17656 45 | 0.009 % |
3.17/3.21 c | 17834 | 841 120147 314766 | 2147483647 17834 45 | 0.009 % |
3.17/3.24 c | 18028 | 841 120147 314766 | 2147483647 18028 44 | 0.000 % |
3.17/3.28 c | 18241 | 841 120147 314766 | 2147483647 18241 45 | 0.000 % |
3.27/3.34 c | 18474 | 841 120147 314766 | 2147483647 18474 45 | 0.000 % |
3.27/3.39 c | 18730 | 841 120147 314766 | 2147483647 18730 45 | 0.010 % |
3.36/3.45 c | 19013 | 841 120147 314766 | 2147483647 19013 45 | 0.000 % |
3.46/3.51 c | 19324 | 841 120147 314766 | 2147483647 19324 45 | 0.000 % |
3.46/3.59 c | 19663 | 841 120147 314766 | 2147483647 19663 45 | 0.010 % |
3.56/3.68 c | 20038 | 841 120147 314766 | 2147483647 20038 45 | 0.010 % |
3.66/3.71 c | 20139 | 841 120147 314766 | 2147483647 20139 45 | 0.000 % |
3.66/3.73 c | 20250 | 841 120147 314766 | 2147483647 20250 45 | 0.010 % |
3.66/3.76 c | 20372 | 841 120147 314766 | 2147483647 20372 45 | 0.010 % |
3.66/3.78 c | 20506 | 841 120147 314766 | 2147483647 20506 45 | 0.010 % |
3.76/3.82 c | 20652 | 841 120147 314766 | 2147483647 20652 45 | 0.000 % |
3.76/3.86 c | 20812 | 841 120147 314766 | 2147483647 20812 45 | 0.000 % |
3.76/3.89 c | 20988 | 841 120147 314766 | 2147483647 20988 45 | 0.010 % |
3.86/3.94 c | 21184 | 841 120147 314766 | 2147483647 21184 45 | 0.009 % |
3.86/4.00 c | 21399 | 841 120147 314766 | 2147483647 21399 45 | 0.010 % |
3.96/4.05 c | 21634 | 841 120147 314766 | 2147483647 21634 44 | 0.009 % |
4.06/4.10 c | 21893 | 841 120147 314766 | 2147483647 21893 44 | 0.009 % |
4.06/4.17 c | 22175 | 841 120147 314766 | 2147483647 22175 44 | 0.010 % |
4.16/4.24 c | 22486 | 841 120147 314766 | 2147483647 22486 44 | 0.010 % |
4.27/4.32 c | 22827 | 841 120147 314766 | 2147483647 22827 44 | 0.010 % |
4.37/4.41 c | 23199 | 841 120147 314766 | 2147483647 23199 43 | 0.010 % |
4.37/4.49 c | 23608 | 841 120147 314766 | 2147483647 23608 43 | 0.010 % |
4.46/4.52 c | 23710 | 841 120147 314766 | 2147483647 23710 43 | 0.009 % |
4.46/4.55 c | 23822 | 841 120147 314766 | 2147483647 23822 43 | 0.010 % |
4.46/4.58 c | 23945 | 841 120147 314766 | 2147483647 23945 43 | 0.009 % |
4.56/4.61 c | 24079 | 841 120147 314766 | 2147483647 24079 43 | 0.009 % |
4.56/4.64 c | 24226 | 841 120147 314766 | 2147483647 24226 43 | 0.000 % |
4.56/4.68 c | 24386 | 841 120147 314766 | 2147483647 24386 44 | 0.010 % |
4.66/4.72 c | 24562 | 841 120147 314766 | 2147483647 24562 43 | 0.010 % |
4.66/4.75 c | 24756 | 841 120147 314766 | 2147483647 24756 44 | 0.000 % |
4.76/4.80 c | 24969 | 841 120147 314766 | 2147483647 24969 44 | 0.010 % |
4.76/4.85 c | 25204 | 841 120147 314766 | 2147483647 25204 44 | 0.010 % |
4.86/4.90 c | 25462 | 841 120147 314766 | 2147483647 25462 44 | 0.009 % |
4.86/4.98 c | 25744 | 841 120147 314766 | 2147483647 25744 44 | 0.010 % |
4.96/5.06 c | 26053 | 841 120147 314766 | 2147483647 26053 43 | 0.010 % |
5.06/5.13 c | 26394 | 841 120147 314766 | 2147483647 26394 44 | 0.000 % |
5.16/5.22 c | 26766 | 841 120147 314766 | 2147483647 26766 44 | 0.010 % |
5.26/5.32 c | 27175 | 841 120147 314766 | 2147483647 27175 43 | 0.009 % |
5.37/5.44 c | 27624 | 841 120147 314766 | 2147483647 27624 43 | 0.010 % |
5.37/5.47 c | 27725 | 841 120147 314766 | 2147483647 27725 43 | 0.010 % |
5.37/5.50 c | 27835 | 841 120147 314766 | 2147483647 27835 43 | 0.010 % |
5.47/5.53 c | 27958 | 841 120147 314766 | 2147483647 27958 43 | 0.009 % |
5.47/5.56 c | 28092 | 841 120147 314766 | 2147483647 28092 43 | 0.009 % |
5.47/5.58 c | 28239 | 841 120147 314766 | 2147483647 28239 43 | 0.000 % |
5.56/5.61 c | 28401 | 841 120147 314766 | 2147483647 28401 43 | 0.000 % |
5.56/5.66 c | 28578 | 841 120147 314766 | 2147483647 28578 43 | 0.010 % |
5.66/5.70 c | 28771 | 841 120147 314766 | 2147483647 28771 43 | 0.000 % |
5.66/5.75 c | 28983 | 841 120147 314766 | 2147483647 28983 43 | 0.000 % |
5.76/5.80 c | 29216 | 841 120147 314766 | 2147483647 29216 43 | 0.010 % |
5.76/5.87 c | 29472 | 841 120147 314766 | 2147483647 29472 43 | 0.010 % |
5.86/5.93 c | 29753 | 841 120147 314766 | 2147483647 29753 43 | 0.010 % |
5.96/6.01 c | 30063 | 841 120147 314766 | 2147483647 30063 43 | 0.010 % |
6.06/6.10 c | 30402 | 841 120147 314766 | 2147483647 30402 43 | 0.000 % |
6.17/6.20 c | 30774 | 841 120147 314766 | 2147483647 30774 43 | 0.010 % |
6.27/6.31 c | 31183 | 841 120147 314766 | 2147483647 31183 43 | 0.010 % |
6.36/6.43 c | 31632 | 841 120147 314766 | 2147483647 31632 43 | 0.010 % |
6.47/6.56 c | 32126 | 841 120147 314766 | 2147483647 32126 43 | 0.009 % |
6.47/6.59 c | 32226 | 841 120147 314766 | 2147483647 32226 43 | 0.010 % |
6.57/6.62 c | 32336 | 841 120147 314766 | 2147483647 32336 43 | 0.009 % |
6.57/6.66 c | 32457 | 841 120147 314766 | 2147483647 32457 43 | 0.009 % |
6.66/6.70 c | 32590 | 841 120147 314766 | 2147483647 32590 43 | 0.010 % |
6.66/6.74 c | 32737 | 841 120147 314766 | 2147483647 32737 43 | 0.000 % |
6.66/6.78 c | 32897 | 841 120147 314766 | 2147483647 32897 43 | 0.000 % |
6.76/6.82 c | 33076 | 841 120147 314766 | 2147483647 33076 43 | 0.009 % |
6.76/6.87 c | 33269 | 841 120147 314766 | 2147483647 33269 43 | 0.000 % |
6.86/6.93 c | 33482 | 841 120147 314766 | 2147483647 33482 43 | 0.000 % |
6.86/6.99 c | 33715 | 841 120147 314766 | 2147483647 33715 43 | 0.000 % |
6.96/7.06 c | 33973 | 841 120147 314766 | 2147483647 33973 43 | 0.010 % |
7.06/7.15 c | 34254 | 841 120147 314766 | 2147483647 34254 43 | 0.010 % |
7.16/7.25 c | 34567 | 841 120147 314766 | 2147483647 34567 43 | 0.010 % |
7.26/7.35 c | 34907 | 841 120147 314766 | 2147483647 34907 44 | 0.000 % |
7.35/7.45 c | 35280 | 841 120147 314766 | 2147483647 35280 44 | 0.000 % |
7.45/7.55 c | 35689 | 841 120147 314766 | 2147483647 35689 44 | 0.010 % |
7.55/7.69 c | 36143 | 841 120147 314766 | 2147483647 36143 43 | 0.010 % |
7.75/7.82 c | 36637 | 841 120147 314766 | 2147483647 36637 43 | 0.010 % |
7.85/7.97 c | 37179 | 841 120147 314766 | 2147483647 37179 43 | 0.010 % |
7.95/8.00 c | 37281 | 841 120147 314766 | 2147483647 37281 43 | 0.010 % |
7.95/8.03 c | 37394 | 841 120147 314766 | 2147483647 37394 43 | 0.010 % |
7.95/8.07 c | 37515 | 841 120147 314766 | 2147483647 37515 43 | 0.010 % |
8.05/8.10 c | 37649 | 841 120147 314766 | 2147483647 37649 43 | 0.000 % |
8.05/8.14 c | 37796 | 841 120147 314766 | 2147483647 37796 43 | 0.000 % |
8.05/8.18 c | 37956 | 841 120147 314766 | 2147483647 37956 43 | 0.010 % |
8.15/8.24 c | 38133 | 841 120147 314766 | 2147483647 38133 43 | 0.010 % |
8.15/8.29 c | 38326 | 841 120147 314766 | 2147483647 38326 43 | 0.010 % |
8.26/8.36 c | 38539 | 841 120147 314766 | 2147483647 38539 43 | 0.010 % |
8.35/8.42 c | 38774 | 841 120147 314766 | 2147483647 38774 44 | 0.000 % |
8.45/8.51 c | 39032 | 841 120147 314766 | 2147483647 39032 43 | 0.010 % |
8.45/8.58 c | 39315 | 841 120147 314766 | 2147483647 39315 44 | 0.000 % |
8.55/8.65 c | 39624 | 841 120147 314766 | 2147483647 39624 44 | 0.009 % |
8.66/8.76 c | 39964 | 841 120147 314766 | 2147483647 39964 44 | 0.009 % |
8.76/8.87 c | 40336 | 841 120147 314766 | 2147483647 40336 43 | 0.009 % |
8.95/9.01 c | 40745 | 841 120147 314766 | 2147483647 40745 43 | 0.010 % |
9.05/9.16 c | 41194 | 841 120147 314766 | 2147483647 41194 43 | 0.010 % |
9.25/9.31 c | 41687 | 841 120147 314766 | 2147483647 41687 43 | 0.010 % |
9.35/9.47 c | 42229 | 841 120147 314766 | 2147483647 42229 43 | 0.010 % |
9.55/9.66 c | 42825 | 841 120147 314766 | 2147483647 42825 43 | 0.010 % |
9.55/9.69 c | 42927 | 841 120147 314766 | 2147483647 42927 43 | 0.010 % |
9.65/9.72 c | 43037 | 841 120147 314766 | 2147483647 43037 43 | 0.010 % |
9.65/9.76 c | 43158 | 841 120147 314766 | 2147483647 43158 43 | 0.000 % |
9.65/9.80 c | 43293 | 841 120147 314766 | 2147483647 43293 43 | 0.010 % |
9.75/9.84 c | 43440 | 841 120147 314766 | 2147483647 43440 43 | 0.010 % |
9.75/9.90 c | 43601 | 841 120147 314766 | 2147483647 43601 43 | 0.010 % |
9.85/9.95 c | 43780 | 841 120147 314766 | 2147483647 43780 43 | 0.010 % |
9.95/10.00 c | 43974 | 841 120147 314766 | 2147483647 43974 43 | 0.010 % |
9.95/10.06 c | 44189 | 841 120147 314766 | 2147483647 44189 43 | 0.010 % |
10.05/10.14 c | 44425 | 841 120147 314766 | 2147483647 44425 43 | 0.010 % |
10.15/10.23 c | 44681 | 841 120147 314766 | 2147483647 44681 42 | 0.010 % |
10.25/10.30 c | 44965 | 841 120147 314766 | 2147483647 44965 42 | 0.010 % |
10.25/10.39 c | 45274 | 841 120147 314766 | 2147483647 45274 42 | 0.010 % |
10.35/10.50 c | 45614 | 841 120147 314766 | 2147483647 45614 42 | 0.010 % |
10.55/10.61 c | 45986 | 841 120147 314766 | 2147483647 45986 42 | 0.010 % |
10.65/10.74 c | 46395 | 841 120147 314766 | 2147483647 46395 42 | 0.010 % |
10.75/10.87 c | 46846 | 841 120147 314766 | 2147483647 46846 42 | 0.010 % |
10.95/11.01 c | 47339 | 841 120147 314766 | 2147483647 47339 42 | 0.010 % |
11.05/11.17 c | 47881 | 841 120147 314766 | 2147483647 47881 42 | 0.010 % |
11.25/11.37 c | 48478 | 841 120147 314766 | 2147483647 48478 42 | 0.010 % |
11.54/11.60 c | 49133 | 841 120147 314766 | 2147483647 49133 42 | 0.010 % |
11.54/11.63 c | 49233 | 841 120147 314766 | 2147483647 49233 42 | 0.010 % |
11.54/11.68 c | 49343 | 841 120147 314766 | 2147483647 49343 42 | 0.010 % |
11.64/11.72 c | 49466 | 841 120147 314766 | 2147483647 49466 42 | 0.010 % |
11.64/11.76 c | 49599 | 841 120147 314766 | 2147483647 49599 42 | 0.010 % |
11.74/11.81 c | 49747 | 841 120147 314766 | 2147483647 49747 42 | 0.000 % |
11.74/11.86 c | 49907 | 841 120147 314766 | 2147483647 49907 42 | 0.000 % |
11.84/11.92 c | 50084 | 841 120147 314766 | 2147483647 50084 42 | 0.010 % |
11.84/11.98 c | 50277 | 841 120147 314766 | 2147483647 50277 42 | 0.000 % |
11.94/12.06 c | 50489 | 841 120147 314766 | 2147483647 50489 42 | 0.000 % |
12.04/12.15 c | 50724 | 841 120147 314766 | 2147483647 50724 42 | 0.010 % |
12.14/12.25 c | 50980 | 841 120147 314766 | 2147483647 50980 42 | 0.010 % |
12.24/12.34 c | 51261 | 841 120147 314766 | 2147483647 51261 42 | 0.010 % |
12.34/12.44 c | 51571 | 841 120147 314766 | 2147483647 51571 42 | 0.010 % |
12.45/12.53 c | 51910 | 841 120147 314766 | 2147483647 51910 42 | 0.000 % |
12.55/12.65 c | 52283 | 841 120147 314766 | 2147483647 52283 42 | 0.000 % |
12.75/12.80 c | 52692 | 841 120147 314766 | 2147483647 52692 42 | 0.000 % |
12.85/12.95 c | 53143 | 841 120147 314766 | 2147483647 53143 42 | 0.010 % |
13.05/13.11 c | 53636 | 841 120147 314766 | 2147483647 53636 42 | 0.010 % |
13.15/13.29 c | 54179 | 841 120147 314766 | 2147483647 54179 42 | 0.010 % |
13.35/13.48 c | 54775 | 841 120147 314766 | 2147483647 54775 42 | 0.010 % |
13.65/13.72 c | 55430 | 841 120147 314766 | 2147483647 55430 42 | 0.010 % |
13.85/13.97 c | 56150 | 841 120147 314766 | 2147483647 56150 42 | 0.010 % |
13.95/14.02 c | 56250 | 841 120147 314766 | 2147483647 56250 42 | 0.010 % |
13.95/14.06 c | 56360 | 841 120147 314766 | 2147483647 56360 42 | 0.010 % |
13.95/14.10 c | 56483 | 841 120147 314766 | 2147483647 56483 42 | 0.010 % |
14.05/14.14 c | 56618 | 841 120147 314766 | 2147483647 56618 42 | 0.010 % |
14.15/14.21 c | 56764 | 841 120147 314766 | 2147483647 56764 42 | 0.010 % |
14.15/14.27 c | 56927 | 841 120147 314766 | 2147483647 56927 42 | 0.010 % |
14.25/14.32 c | 57105 | 841 120147 314766 | 2147483647 57105 42 | 0.010 % |
14.25/14.39 c | 57298 | 841 120147 314766 | 2147483647 57298 42 | 0.010 % |
14.35/14.46 c | 57510 | 841 120147 314766 | 2147483647 57510 42 | 0.010 % |
14.45/14.54 c | 57743 | 841 120147 314766 | 2147483647 57743 42 | 0.000 % |
14.55/14.62 c | 58000 | 841 120147 314766 | 2147483647 58000 42 | 0.000 % |
14.65/14.72 c | 58283 | 841 120147 314766 | 2147483647 58283 42 | 0.000 % |
14.75/14.83 c | 58595 | 841 120147 314766 | 2147483647 58595 42 | 0.010 % |
14.85/14.93 c | 58936 | 841 120147 314766 | 2147483647 58936 42 | 0.000 % |
14.95/15.06 c | 59308 | 841 120147 314766 | 2147483647 59308 42 | 0.010 % |
15.15/15.21 c | 59719 | 841 120147 314766 | 2147483647 59719 42 | 0.010 % |
15.25/15.36 c | 60169 | 841 120147 314766 | 2147483647 60169 42 | 0.000 % |
15.45/15.55 c | 60662 | 841 120147 314766 | 2147483647 60662 42 | 0.010 % |
15.65/15.77 c | 61206 | 841 120147 314766 | 2147483647 61206 42 | 0.010 % |
15.84/15.97 c | 61803 | 841 120147 314766 | 2147483647 61803 42 | 0.010 % |
16.14/16.23 c | 62460 | 841 120147 314766 | 2147483647 62460 42 | 0.010 % |
16.45/16.53 c | 63183 | 841 120147 314766 | 2147483647 63183 42 | 0.010 % |
16.74/16.84 c | 63975 | 841 120147 314766 | 2147483647 63975 42 | 0.010 % |
16.74/16.88 c | 64075 | 841 120147 314766 | 2147483647 64075 42 | 0.010 % |
16.84/16.92 c | 64186 | 841 120147 314766 | 2147483647 64186 42 | 0.000 % |
16.84/16.96 c | 64307 | 841 120147 314766 | 2147483647 64307 42 | 0.010 % |
16.94/17.01 c | 64442 | 841 120147 314766 | 2147483647 64442 42 | 0.010 % |
16.94/17.07 c | 64591 | 841 120147 314766 | 2147483647 64591 42 | 0.010 % |
17.04/17.14 c | 64751 | 841 120147 314766 | 2147483647 64751 42 | 0.000 % |
17.14/17.20 c | 64929 | 841 120147 314766 | 2147483647 64929 42 | 0.010 % |
17.14/17.28 c | 65122 | 841 120147 314766 | 2147483647 65122 42 | 0.010 % |
17.24/17.36 c | 65336 | 841 120147 314766 | 2147483647 65336 42 | 0.010 % |
17.34/17.45 c | 65570 | 841 120147 314766 | 2147483647 65570 42 | 0.010 % |
17.44/17.55 c | 65827 | 841 120147 314766 | 2147483647 65827 42 | 0.000 % |
17.54/17.64 c | 66111 | 841 120147 314766 | 2147483647 66111 43 | 0.000 % |
17.64/17.78 c | 66420 | 841 120147 314766 | 2147483647 66420 42 | 0.000 % |
17.74/17.89 c | 66759 | 841 120147 314766 | 2147483647 66759 42 | 0.010 % |
17.94/18.04 c | 67132 | 841 120147 314766 | 2147483647 67132 42 | 0.009 % |
18.04/18.19 c | 67544 | 841 120147 314766 | 2147483647 67544 42 | 0.009 % |
18.24/18.35 c | 67993 | 841 120147 314766 | 2147483647 67993 43 | 0.000 % |
18.44/18.57 c | 68486 | 841 120147 314766 | 2147483647 68486 43 | 0.000 % |
18.74/18.80 c | 69030 | 841 120147 314766 | 2147483647 69030 43 | 0.010 % |
18.93/19.03 c | 69628 | 841 120147 314766 | 2147483647 69628 43 | 0.000 % |
19.23/19.34 c | 70283 | 841 120147 314766 | 2147483647 70283 43 | 0.010 % |
19.53/19.67 c | 71005 | 841 120147 314766 | 2147483647 71005 43 | 0.010 % |
19.84/19.99 c | 71798 | 841 120147 314766 | 2147483647 71798 44 | 0.000 % |
20.34/20.45 c | 72669 | 841 120147 314766 | 2147483647 72669 44 | 0.010 % |
20.44/20.51 c | 72770 | 841 120147 314766 | 2147483647 72770 44 | 0.010 % |
20.44/20.56 c | 72881 | 841 120147 314766 | 2147483647 72881 43 | 0.010 % |
20.54/20.64 c | 73003 | 841 120147 314766 | 2147483647 73003 43 | 0.010 % |
20.54/20.69 c | 73136 | 841 120147 314766 | 2147483647 73136 44 | 0.000 % |
20.64/20.77 c | 73285 | 841 120147 314766 | 2147483647 73285 44 | 0.010 % |
20.74/20.86 c | 73449 | 841 120147 314766 | 2147483647 73449 44 | 0.010 % |
20.84/20.93 c | 73625 | 841 120147 314766 | 2147483647 73625 44 | 0.010 % |
20.94/21.02 c | 73822 | 841 120147 314766 | 2147483647 73822 43 | 0.010 % |
21.04/21.12 c | 74037 | 841 120147 314766 | 2147483647 74037 43 | 0.010 % |
21.14/21.23 c | 74270 | 841 120147 314766 | 2147483647 74270 44 | 0.000 % |
21.24/21.37 c | 74529 | 841 120147 314766 | 2147483647 74529 44 | 0.010 % |
21.44/21.50 c | 74812 | 841 120147 314766 | 2147483647 74812 44 | 0.000 % |
21.54/21.65 c | 75124 | 841 120147 314766 | 2147483647 75124 44 | 0.010 % |
21.73/21.81 c | 75464 | 841 120147 314766 | 2147483647 75464 44 | 0.010 % |
21.84/22.00 c | 75838 | 841 120147 314766 | 2147483647 75838 44 | 0.010 % |
22.03/22.19 c | 76247 | 841 120147 314766 | 2147483647 76247 44 | 0.010 % |
22.33/22.41 c | 76697 | 841 120147 314766 | 2147483647 76697 44 | 0.010 % |
22.53/22.66 c | 77191 | 841 120147 314766 | 2147483647 77191 44 | 0.010 % |
22.83/22.91 c | 77733 | 841 120147 314766 | 2147483647 77733 44 | 0.010 % |
23.04/23.18 c | 78330 | 841 120147 314766 | 2147483647 78330 43 | 0.010 % |
23.33/23.48 c | 78985 | 841 120147 314766 | 2147483647 78985 43 | 0.010 % |
23.73/23.84 c | 79707 | 841 120147 314766 | 2147483647 79707 43 | 0.010 % |
24.03/24.20 c | 80499 | 841 120147 314766 | 2147483647 80499 43 | 0.010 % |
24.53/24.63 c | 81370 | 841 120147 314766 | 2147483647 81370 43 | 0.010 % |
25.04/25.16 c | 82330 | 841 120147 314766 | 2147483647 82330 43 | 0.010 % |
25.14/25.22 c | 82435 | 841 120147 314766 | 2147483647 82435 43 | 0.010 % |
25.14/25.28 c | 82547 | 841 120147 314766 | 2147483647 82547 43 | 0.010 % |
25.24/25.33 c | 82671 | 841 120147 314766 | 2147483647 82671 43 | 0.000 % |
25.34/25.41 c | 82805 | 841 120147 314766 | 2147483647 82805 43 | 0.010 % |
25.44/25.50 c | 82953 | 841 120147 314766 | 2147483647 82953 43 | 0.010 % |
25.54/25.60 c | 83113 | 841 120147 314766 | 2147483647 83113 43 | 0.010 % |
25.64/25.71 c | 83289 | 841 120147 314766 | 2147483647 83289 43 | 0.010 % |
25.74/25.81 c | 83483 | 841 120147 314766 | 2147483647 83483 43 | 0.010 % |
25.84/25.93 c | 83695 | 841 120147 314766 | 2147483647 83695 43 | 0.010 % |
25.94/26.06 c | 83928 | 841 120147 314766 | 2147483647 83928 43 | 0.010 % |
26.14/26.20 c | 84185 | 841 120147 314766 | 2147483647 84185 43 | 0.010 % |
26.24/26.35 c | 84468 | 841 120147 314766 | 2147483647 84468 43 | 0.010 % |
26.34/26.50 c | 84778 | 841 120147 314766 | 2147483647 84778 43 | 0.010 % |
26.54/26.64 c | 85120 | 841 120147 314766 | 2147483647 85120 43 | 0.010 % |
26.74/26.82 c | 85497 | 841 120147 314766 | 2147483647 85497 43 | 0.010 % |
26.93/27.03 c | 85909 | 841 120147 314766 | 2147483647 85909 43 | 0.010 % |
27.13/27.27 c | 86360 | 841 120147 314766 | 2147483647 86360 43 | 0.010 % |
27.34/27.48 c | 86855 | 841 120147 314766 | 2147483647 86855 43 | 0.010 % |
27.63/27.77 c | 87397 | 841 120147 314766 | 2147483647 87397 43 | 0.010 % |
28.03/28.11 c | 87993 | 841 120147 314766 | 2147483647 87993 43 | 0.010 % |
28.33/28.47 c | 88648 | 841 120147 314766 | 2147483647 88648 43 | 0.010 % |
28.83/28.91 c | 89370 | 841 120147 314766 | 2147483647 89370 43 | 0.010 % |
29.23/29.33 c | 90162 | 841 120147 314766 | 2147483647 90162 43 | 0.010 % |
29.64/29.79 c | 91034 | 841 120147 314766 | 2147483647 91034 43 | 0.010 % |
30.23/30.30 c | 91992 | 841 120147 314766 | 2147483647 91992 43 | 0.000 % |
30.83/30.91 c | 93050 | 841 120147 314766 | 2147483647 93050 43 | 0.010 % |
30.83/30.96 c | 93150 | 841 120147 314766 | 2147483647 93150 43 | 0.000 % |
30.93/31.02 c | 93261 | 841 120147 314766 | 2147483647 93261 43 | 0.010 % |
30.93/31.09 c | 93382 | 841 120147 314766 | 2147483647 93382 43 | 0.010 % |
31.03/31.17 c | 93516 | 841 120147 314766 | 2147483647 93516 43 | 0.010 % |
31.13/31.25 c | 93662 | 841 120147 314766 | 2147483647 93662 43 | 0.000 % |
31.23/31.33 c | 93822 | 841 120147 314766 | 2147483647 93822 43 | 0.010 % |
31.33/31.44 c | 93998 | 841 120147 314766 | 2147483647 93998 43 | 0.010 % |
31.43/31.56 c | 94191 | 841 120147 314766 | 2147483647 94191 43 | 0.010 % |
31.53/31.68 c | 94403 | 841 120147 314766 | 2147483647 94403 43 | 0.010 % |
31.73/31.80 c | 94638 | 841 120147 314766 | 2147483647 94638 43 | 0.010 % |
31.83/31.94 c | 94894 | 841 120147 314766 | 2147483647 94894 43 | 0.010 % |
31.93/32.09 c | 95177 | 841 120147 314766 | 2147483647 95177 43 | 0.010 % |
32.13/32.26 c | 95486 | 841 120147 314766 | 2147483647 95486 43 | 0.009 % |
32.33/32.43 c | 95825 | 841 120147 314766 | 2147483647 95825 43 | 0.010 % |
32.53/32.65 c | 96199 | 841 120147 314766 | 2147483647 96199 43 | 0.010 % |
32.73/32.87 c | 96608 | 841 120147 314766 | 2147483647 96608 43 | 0.010 % |
33.03/33.11 c | 97058 | 841 120147 314766 | 2147483647 97058 43 | 0.010 % |
33.22/33.35 c | 97552 | 841 120147 314766 | 2147483647 97552 43 | 0.000 % |
33.52/33.64 c | 98094 | 841 120147 314766 | 2147483647 98094 43 | 0.000 % |
33.82/33.94 c | 98690 | 841 120147 314766 | 2147483647 98690 44 | 0.000 % |
34.22/34.32 c | 99346 | 841 120147 314766 | 2147483647 99346 44 | 0.000 % |
34.62/34.78 c | 100068 | 841 120147 314766 | 2147483647 100068 44 | 0.010 % |
35.03/35.19 c | 100860 | 841 120147 314766 | 2147483647 100860 44 | 0.000 % |
35.62/35.76 c | 101733 | 841 120147 314766 | 2147483647 101733 44 | 0.010 % |
36.23/36.37 c | 102691 | 841 120147 314766 | 2147483647 102691 43 | 0.010 % |
36.83/36.98 c | 103744 | 841 120147 314766 | 2147483647 103744 43 | 0.010 % |
37.53/37.68 c | 104903 | 841 120147 314766 | 2147483647 104903 43 | 0.010 % |
37.63/37.74 c | 105003 | 841 120147 314766 | 2147483647 105003 43 | 0.010 % |
37.63/37.80 c | 105114 | 841 120147 314766 | 2147483647 105114 44 | 0.000 % |
37.73/37.87 c | 105235 | 841 120147 314766 | 2147483647 105235 44 | 0.000 % |
37.83/37.94 c | 105370 | 841 120147 314766 | 2147483647 105370 44 | 0.010 % |
37.93/38.02 c | 105516 | 841 120147 314766 | 2147483647 105516 43 | 0.010 % |
38.03/38.10 c | 105676 | 841 120147 314766 | 2147483647 105676 44 | 0.000 % |
38.03/38.19 c | 105852 | 841 120147 314766 | 2147483647 105852 44 | 0.010 % |
38.23/38.30 c | 106045 | 841 120147 314766 | 2147483647 106045 44 | 0.010 % |
38.23/38.40 c | 106258 | 841 120147 314766 | 2147483647 106258 44 | 0.000 % |
38.43/38.52 c | 106491 | 841 120147 314766 | 2147483647 106491 44 | 0.000 % |
38.53/38.69 c | 106748 | 841 120147 314766 | 2147483647 106748 44 | 0.000 % |
38.73/38.86 c | 107030 | 841 120147 314766 | 2147483647 107030 44 | 0.010 % |
38.93/39.00 c | 107339 | 841 120147 314766 | 2147483647 107339 44 | 0.000 % |
39.12/39.24 c | 107681 | 841 120147 314766 | 2147483647 107681 44 | 0.010 % |
39.32/39.47 c | 108054 | 841 120147 314766 | 2147483647 108054 44 | 0.010 % |
39.62/39.71 c | 108463 | 841 120147 314766 | 2147483647 108463 44 | 0.000 % |
39.82/39.96 c | 108912 | 841 120147 314766 | 2147483647 108912 44 | 0.010 % |
40.12/40.26 c | 109405 | 841 120147 314766 | 2147483647 109405 44 | 0.010 % |
40.42/40.57 c | 109949 | 841 120147 314766 | 2147483647 109949 44 | 0.010 % |
40.92/41.00 c | 110546 | 841 120147 314766 | 2147483647 110546 44 | 0.010 % |
41.32/41.44 c | 111205 | 841 120147 314766 | 2147483647 111205 44 | 0.000 % |
41.82/41.91 c | 111927 | 841 120147 314766 | 2147483647 111927 44 | 0.010 % |
42.22/42.39 c | 112719 | 841 120147 314766 | 2147483647 112719 44 | 0.010 % |
42.82/42.95 c | 113592 | 841 120147 314766 | 2147483647 113592 44 | 0.010 % |
43.52/43.61 c | 114551 | 841 120147 314766 | 2147483647 114551 45 | 0.000 % |
44.22/44.31 c | 115606 | 841 120147 314766 | 2147483647 115606 45 | 0.000 % |
44.92/45.06 c | 116765 | 841 120147 314766 | 2147483647 116765 45 | 0.000 % |
45.82/45.97 c | 118039 | 841 120147 314766 | 2147483647 118039 45 | 0.010 % |
45.92/46.05 c | 118139 | 841 120147 314766 | 2147483647 118139 45 | 0.000 % |
46.03/46.16 c | 118249 | 841 120147 314766 | 2147483647 118249 45 | 0.010 % |
46.13/46.27 c | 118370 | 841 120147 314766 | 2147483647 118370 45 | 0.010 % |
46.22/46.37 c | 118503 | 841 120147 314766 | 2147483647 118503 45 | 0.010 % |
46.32/46.48 c | 118650 | 841 120147 314766 | 2147483647 118650 45 | 0.000 % |
46.52/46.60 c | 118810 | 841 120147 314766 | 2147483647 118810 45 | 0.009 % |
46.62/46.72 c | 118987 | 841 120147 314766 | 2147483647 118987 45 | 0.010 % |
46.72/46.87 c | 119183 | 841 120147 314766 | 2147483647 119183 45 | 0.009 % |
46.92/47.03 c | 119395 | 841 120147 314766 | 2147483647 119395 45 | 0.000 % |
47.02/47.20 c | 119628 | 841 120147 314766 | 2147483647 119628 45 | 0.009 % |
47.22/47.37 c | 119886 | 841 120147 314766 | 2147483647 119886 45 | 0.010 % |
47.42/47.56 c | 120167 | 841 120147 314766 | 2147483647 120167 45 | 0.009 % |
47.62/47.80 c | 120477 | 841 120147 314766 | 2147483647 120477 45 | 0.009 % |
47.92/48.04 c | 120817 | 841 120147 314766 | 2147483647 120817 45 | 0.000 % |
48.22/48.30 c | 121191 | 841 120147 314766 | 2147483647 121191 45 | 0.009 % |
48.42/48.59 c | 121601 | 841 120147 314766 | 2147483647 121601 45 | 0.000 % |
48.81/48.92 c | 122052 | 841 120147 314766 | 2147483647 122052 45 | 0.000 % |
49.21/49.31 c | 122545 | 841 120147 314766 | 2147483647 122545 45 | 0.000 % |
49.61/49.71 c | 123088 | 841 120147 314766 | 2147483647 123088 45 | 0.000 % |
50.01/50.11 c | 123684 | 841 120147 314766 | 2147483647 123684 45 | 0.000 % |
50.52/50.65 c | 124341 | 841 120147 314766 | 2147483647 124341 45 | 0.010 % |
51.11/51.23 c | 125062 | 841 120147 314766 | 2147483647 125062 45 | 0.010 % |
51.71/51.81 c | 125856 | 841 120147 314766 | 2147483647 125856 45 | 0.000 % |
52.41/52.50 c | 126729 | 841 120147 314766 | 2147483647 126729 45 | 0.000 % |
53.00/53.18 c | 127687 | 841 120147 314766 | 2147483647 127687 45 | 0.010 % |
53.80/53.99 c | 128741 | 841 120147 314766 | 2147483647 128741 45 | 0.000 % |
54.70/54.89 c | 129901 | 841 120147 314766 | 2147483647 129901 45 | 0.010 % |
55.80/55.94 c | 131174 | 841 120147 314766 | 2147483647 131174 45 | 0.010 % |
56.90/57.02 c | 132575 | 841 120147 314766 | 2147483647 132575 45 | 0.010 % |
56.90/57.09 c | 132675 | 841 120147 314766 | 2147483647 132675 45 | 0.000 % |
57.00/57.18 c | 132786 | 841 120147 314766 | 2147483647 132786 45 | 0.000 % |
57.10/57.27 c | 132907 | 841 120147 314766 | 2147483647 132907 45 | 0.010 % |
57.20/57.38 c | 133040 | 841 120147 314766 | 2147483647 133040 45 | 0.000 % |
57.30/57.49 c | 133188 | 841 120147 314766 | 2147483647 133188 45 | 0.000 % |
57.49/57.60 c | 133350 | 841 120147 314766 | 2147483647 133350 45 | 0.010 % |
57.59/57.72 c | 133528 | 841 120147 314766 | 2147483647 133528 45 | 0.010 % |
57.69/57.88 c | 133722 | 841 120147 314766 | 2147483647 133722 45 | 0.000 % |
57.89/58.07 c | 133935 | 841 120147 314766 | 2147483647 133935 45 | 0.010 % |
58.10/58.27 c | 134171 | 841 120147 314766 | 2147483647 134171 45 | 0.010 % |
58.39/58.51 c | 134427 | 841 120147 314766 | 2147483647 134427 45 | 0.010 % |
58.59/58.75 c | 134712 | 841 120147 314766 | 2147483647 134712 45 | 0.010 % |
58.89/59.03 c | 135021 | 841 120147 314766 | 2147483647 135021 45 | 0.010 % |
59.20/59.32 c | 135370 | 841 120147 314766 | 2147483647 135370 45 | 0.000 % |
59.49/59.61 c | 135742 | 841 120147 314766 | 2147483647 135742 45 | 0.010 % |
59.79/59.90 c | 136152 | 841 120147 314766 | 2147483647 136152 45 | 0.010 % |
60.09/60.21 c | 136602 | 841 120147 314766 | 2147483647 136602 45 | 0.010 % |
60.49/60.65 c | 137096 | 841 120147 314766 | 2147483647 137096 45 | 0.010 % |
60.89/61.05 c | 137640 | 841 120147 314766 | 2147483647 137640 45 | 0.000 % |
61.39/61.55 c | 138239 | 841 120147 314766 | 2147483647 138239 45 | 0.000 % |
61.89/62.07 c | 138896 | 841 120147 314766 | 2147483647 138896 45 | 0.010 % |
62.49/62.63 c | 139619 | 841 120147 314766 | 2147483647 139619 45 | 0.010 % |
63.19/63.31 c | 140413 | 841 120147 314766 | 2147483647 140413 45 | 0.010 % |
63.90/64.00 c | 141290 | 841 120147 314766 | 2147483647 141290 45 | 0.010 % |
64.70/64.82 c | 142248 | 841 120147 314766 | 2147483647 142248 45 | 0.010 % |
65.60/65.73 c | 143304 | 841 120147 314766 | 2147483647 143304 45 | 0.010 % |
66.60/66.77 c | 144463 | 841 120147 314766 | 2147483647 144463 45 | 0.010 % |
67.69/67.87 c | 145737 | 841 120147 314766 | 2147483647 145737 45 | 0.010 % |
69.20/69.37 c | 147141 | 841 120147 314766 | 2147483647 147141 45 | 0.010 % |
70.79/70.90 c | 148682 | 841 120147 314766 | 2147483647 148682 45 | 0.010 % |
70.89/71.01 c | 148783 | 841 120147 314766 | 2147483647 148783 45 | 0.010 % |
70.99/71.12 c | 148893 | 841 120147 314766 | 2147483647 148893 45 | 0.009 % |
71.09/71.20 c | 149016 | 841 120147 314766 | 2147483647 149016 45 | 0.010 % |
71.19/71.32 c | 149149 | 841 120147 314766 | 2147483647 149149 45 | 0.000 % |
71.30/71.46 c | 149295 | 841 120147 314766 | 2147483647 149295 45 | 0.000 % |
71.49/71.60 c | 149455 | 841 120147 314766 | 2147483647 149455 45 | 0.000 % |
71.59/71.77 c | 149631 | 841 120147 314766 | 2147483647 149631 45 | 0.010 % |
71.80/71.96 c | 149825 | 841 120147 314766 | 2147483647 149825 45 | 0.010 % |
71.99/72.15 c | 150037 | 841 120147 314766 | 2147483647 150037 45 | 0.010 % |
72.19/72.33 c | 150271 | 841 120147 314766 | 2147483647 150271 45 | 0.000 % |
72.40/72.55 c | 150527 | 841 120147 314766 | 2147483647 150527 45 | 0.000 % |
72.69/72.87 c | 150812 | 841 120147 314766 | 2147483647 150812 45 | 0.000 % |
73.09/73.23 c | 151121 | 841 120147 314766 | 2147483647 151121 45 | 0.010 % |
73.39/73.53 c | 151461 | 841 120147 314766 | 2147483647 151461 45 | 0.010 % |
73.69/73.82 c | 151836 | 841 120147 314766 | 2147483647 151836 45 | 0.010 % |
73.99/74.18 c | 152245 | 841 120147 314766 | 2147483647 152245 45 | 0.010 % |
74.39/74.51 c | 152694 | 841 120147 314766 | 2147483647 152694 45 | 0.010 % |
74.79/74.91 c | 153187 | 841 120147 314766 | 2147483647 153187 45 | 0.010 % |
75.19/75.31 c | 153730 | 841 120147 314766 | 2147483647 153730 45 | 0.009 % |
75.69/75.87 c | 154326 | 841 120147 314766 | 2147483647 154326 45 | 0.009 % |
76.19/76.33 c | 154984 | 841 120147 314766 | 2147483647 154984 45 | 0.009 % |
76.79/76.94 c | 155705 | 841 120147 314766 | 2147483647 155705 45 | 0.009 % |
77.49/77.69 c | 156498 | 841 120147 314766 | 2147483647 156498 45 | 0.010 % |
78.29/78.43 c | 157370 | 841 120147 314766 | 2147483647 157370 45 | 0.010 % |
79.18/79.39 c | 158329 | 841 120147 314766 | 2147483647 158329 45 | 0.010 % |
80.29/80.45 c | 159383 | 841 120147 314766 | 2147483647 159383 45 | 0.010 % |
81.49/81.62 c | 160543 | 841 120147 314766 | 2147483647 160543 45 | 0.010 % |
82.49/82.69 c | 161817 | 841 120147 314766 | 2147483647 161817 45 | 0.000 % |
83.79/83.98 c | 163219 | 841 120147 314766 | 2147483647 163219 45 | 0.000 % |
85.29/85.48 c | 164759 | 841 120147 314766 | 2147483647 164759 45 | 0.009 % |
87.08/87.23 c | 166455 | 841 120147 314766 | 2147483647 166455 45 | 0.010 % |
87.18/87.32 c | 166557 | 841 120147 314766 | 2147483647 166557 45 | 0.010 % |
87.28/87.44 c | 166667 | 841 120147 314766 | 2147483647 166667 45 | 0.000 % |
87.38/87.56 c | 166790 | 841 120147 314766 | 2147483647 166790 45 | 0.000 % |
87.48/87.69 c | 166923 | 841 120147 314766 | 2147483647 166923 45 | 0.010 % |
87.68/87.84 c | 167070 | 841 120147 314766 | 2147483647 167070 45 | 0.010 % |
87.79/87.99 c | 167231 | 841 120147 314766 | 2147483647 167231 45 | 0.000 % |
87.98/88.18 c | 167410 | 841 120147 314766 | 2147483647 167410 45 | 0.000 % |
88.18/88.39 c | 167603 | 841 120147 314766 | 2147483647 167603 45 | 0.000 % |
88.48/88.63 c | 167815 | 841 120147 314766 | 2147483647 167815 45 | 0.010 % |
88.68/88.85 c | 168049 | 841 120147 314766 | 2147483647 168049 45 | 0.010 % |
88.89/89.09 c | 168306 | 841 120147 314766 | 2147483647 168306 45 | 0.000 % |
89.18/89.39 c | 168589 | 841 120147 314766 | 2147483647 168589 45 | 0.010 % |
89.58/89.75 c | 168899 | 841 120147 314766 | 2147483647 168899 45 | 0.000 % |
89.99/90.11 c | 169238 | 841 120147 314766 | 2147483647 169238 45 | 0.000 % |
90.28/90.48 c | 169610 | 841 120147 314766 | 2147483647 169610 45 | 0.010 % |
90.68/90.86 c | 170020 | 841 120147 314766 | 2147483647 170020 45 | 0.010 % |
91.09/91.26 c | 170470 | 841 120147 314766 | 2147483647 170470 45 | 0.000 % |
91.58/91.78 c | 170964 | 841 120147 314766 | 2147483647 170964 45 | 0.000 % |
92.29/92.45 c | 171508 | 841 120147 314766 | 2147483647 171508 45 | 0.010 % |
93.08/93.21 c | 172105 | 841 120147 314766 | 2147483647 172105 45 | 0.000 % |
93.78/93.96 c | 172760 | 841 120147 314766 | 2147483647 172760 45 | 0.010 % |
94.48/94.67 c | 173485 | 841 120147 314766 | 2147483647 173485 45 | 0.010 % |
95.38/95.53 c | 174278 | 841 120147 314766 | 2147483647 174278 45 | 0.000 % |
96.28/96.49 c | 175149 | 841 120147 314766 | 2147483647 175149 45 | 0.010 % |
97.37/97.56 c | 176107 | 841 120147 314766 | 2147483647 176107 45 | 0.010 % |
98.47/98.62 c | 177160 | 841 120147 314766 | 2147483647 177160 45 | 0.000 % |
99.57/99.79 c | 178319 | 841 120147 314766 | 2147483647 178319 45 | 0.000 % |
100.97/101.11 c | 179592 | 841 120147 314766 | 2147483647 179592 45 | 0.010 % |
102.67/102.81 c | 180992 | 841 120147 314766 | 180001 159254 45 | 0.000 % |
104.17/104.37 c | 182532 | 841 120147 314766 | 180001 160794 45 | 0.000 % |
105.87/106.10 c | 184226 | 841 120147 314766 | 180001 162488 46 | 0.000 % |
107.87/108.08 c | 186091 | 841 120147 314766 | 180001 164353 46 | 0.010 % |
107.97/108.17 c | 186191 | 841 120147 314766 | 180001 164453 46 | 0.000 % |
108.16/108.30 c | 186302 | 841 120147 314766 | 180001 164564 46 | 0.000 % |
108.26/108.42 c | 186424 | 841 120147 314766 | 180001 164686 46 | 0.000 % |
108.36/108.54 c | 186558 | 841 120147 314766 | 180001 164820 46 | 0.010 % |
108.46/108.67 c | 186706 | 841 120147 314766 | 180001 164968 46 | 0.000 % |
108.67/108.82 c | 186866 | 841 120147 314766 | 180001 165128 46 | 0.000 % |
108.86/109.06 c | 187042 | 841 120147 314766 | 180001 165304 46 | 0.010 % |
109.06/109.29 c | 187237 | 841 120147 314766 | 180001 165499 46 | 0.000 % |
109.36/109.52 c | 187449 | 841 120147 314766 | 180001 165711 46 | 0.000 % |
109.56/109.79 c | 187682 | 841 120147 314766 | 180001 165944 46 | 0.010 % |
109.87/110.08 c | 187942 | 841 120147 314766 | 180001 166204 46 | 0.010 % |
110.16/110.39 c | 188224 | 841 120147 314766 | 180001 166486 46 | 0.010 % |
110.56/110.70 c | 188533 | 841 120147 314766 | 180001 166795 46 | 0.010 % |
110.87/111.03 c | 188872 | 841 120147 314766 | 180001 167134 46 | 0.000 % |
111.16/111.37 c | 189244 | 841 120147 314766 | 180001 167506 46 | 0.010 % |
111.56/111.79 c | 189655 | 841 120147 314766 | 180001 167917 46 | 0.010 % |
112.07/112.22 c | 190104 | 841 120147 314766 | 168262 168366 46 | 0.010 % |
112.66/112.90 c | 190597 | 841 120147 314766 | 168262 148308 46 | 0.010 % |
113.26/113.41 c | 191141 | 841 120147 314766 | 168262 148852 46 | 0.000 % |
113.76/113.90 c | 191737 | 841 120147 314766 | 168262 149448 46 | 0.000 % |
114.16/114.40 c | 192395 | 841 120147 314766 | 168262 150106 46 | 0.010 % |
114.86/115.09 c | 193117 | 841 120147 314766 | 168262 150828 46 | 0.010 % |
115.66/115.80 c | 193909 | 841 120147 314766 | 168262 151620 46 | 0.010 % |
116.47/116.63 c | 194782 | 841 120147 314766 | 168262 152493 46 | 0.010 % |
117.47/117.68 c | 195740 | 841 120147 314766 | 168262 153451 46 | 0.010 % |
118.66/118.86 c | 196793 | 841 120147 314766 | 168262 154504 46 | 0.010 % |
119.96/120.16 c | 197955 | 841 120147 314766 | 168262 155666 46 | 0.010 % |
121.56/121.77 c | 199228 | 841 120147 314766 | 168262 156939 46 | 0.010 % |
123.56/123.71 c | 200628 | 841 120147 314766 | 157715 139513 46 | 0.010 % |
125.46/125.67 c | 202170 | 841 120147 314766 | 157715 141055 46 | 0.010 % |
127.16/127.32 c | 203865 | 841 120147 314766 | 157715 142750 46 | 0.000 % |
129.15/129.33 c | 205732 | 841 120147 314766 | 157715 144617 46 | 0.010 % |
131.15/131.36 c | 207781 | 841 120147 314766 | 157715 146666 46 | 0.010 % |
131.25/131.46 c | 207881 | 841 120147 314766 | 157715 146766 46 | 0.010 % |
131.35/131.55 c | 207991 | 841 120147 314766 | 157715 146876 46 | 0.010 % |
131.45/131.67 c | 208114 | 841 120147 314766 | 157715 146999 46 | 0.010 % |
131.65/131.82 c | 208247 | 841 120147 314766 | 157715 147132 46 | 0.010 % |
131.76/131.97 c | 208393 | 841 120147 314766 | 157715 147278 46 | 0.010 % |
131.95/132.12 c | 208553 | 841 120147 314766 | 157715 147438 46 | 0.010 % |
132.05/132.27 c | 208736 | 841 120147 314766 | 157715 147621 46 | 0.000 % |
132.26/132.45 c | 208934 | 841 120147 314766 | 157715 147819 46 | 0.010 % |
132.46/132.68 c | 209146 | 841 120147 314766 | 157715 148031 46 | 0.010 % |
132.76/132.94 c | 209380 | 841 120147 314766 | 157715 148265 46 | 0.010 % |
133.06/133.21 c | 209636 | 841 120147 314766 | 157715 148521 46 | 0.010 % |
133.36/133.52 c | 209917 | 841 120147 314766 | 157715 148802 46 | 0.010 % |
133.66/133.85 c | 210227 | 841 120147 314766 | 148886 149112 46 | 0.010 % |
134.26/134.43 c | 210566 | 841 120147 314766 | 148886 130594 46 | 0.010 % |
134.56/134.76 c | 210939 | 841 120147 314766 | 148886 130967 46 | 0.000 % |
134.96/135.15 c | 211350 | 841 120147 314766 | 148886 131378 46 | 0.010 % |
135.46/135.64 c | 211799 | 841 120147 314766 | 148886 131827 46 | 0.010 % |
135.96/136.11 c | 212292 | 841 120147 314766 | 148886 132320 46 | 0.010 % |
136.46/136.61 c | 212835 | 841 120147 314766 | 148886 132863 46 | 0.009 % |
136.86/137.09 c | 213433 | 841 120147 314766 | 148886 133461 46 | 0.009 % |
137.56/137.70 c | 214088 | 841 120147 314766 | 148886 134116 46 | 0.010 % |
138.16/138.30 c | 214809 | 841 120147 314766 | 148886 134837 46 | 0.000 % |
138.86/139.08 c | 215601 | 841 120147 314766 | 148886 135629 46 | 0.000 % |
139.66/139.88 c | 216476 | 841 120147 314766 | 148886 136504 46 | 0.010 % |
140.76/140.90 c | 217435 | 841 120147 314766 | 148886 137463 46 | 0.010 % |
141.75/141.97 c | 218488 | 841 120147 314766 | 148886 138516 46 | 0.010 % |
143.05/143.20 c | 219646 | 841 120147 314766 | 148886 139674 46 | 0.010 % |
144.44/144.66 c | 220919 | 841 120147 314766 | 140028 124966 46 | 0.010 % |
145.94/146.18 c | 222320 | 841 120147 314766 | 140028 126367 46 | 0.010 % |
147.54/147.75 c | 223863 | 841 120147 314766 | 140028 127910 46 | 0.010 % |
149.35/149.53 c | 225558 | 841 120147 314766 | 140028 129605 45 | 0.010 % |
150.94/151.18 c | 227421 | 841 120147 314766 | 140028 131468 46 | 0.000 % |
152.94/153.18 c | 229470 | 841 120147 314766 | 140028 133517 46 | 0.010 % |
155.44/155.62 c | 231724 | 841 120147 314766 | 134047 120678 45 | 0.010 % |
155.54/155.72 c | 231826 | 841 120147 314766 | 134047 120780 45 | 0.010 % |
155.64/155.85 c | 231936 | 841 120147 314766 | 134047 120890 45 | 0.010 % |
155.74/155.97 c | 232059 | 841 120147 314766 | 134047 121013 45 | 0.010 % |
155.84/156.09 c | 232192 | 841 120147 314766 | 134047 121146 45 | 0.000 % |
156.04/156.23 c | 232338 | 841 120147 314766 | 134047 121292 45 | 0.000 % |
156.14/156.39 c | 232501 | 841 120147 314766 | 134047 121455 45 | 0.010 % |
156.34/156.54 c | 232680 | 841 120147 314766 | 134047 121634 45 | 0.000 % |
156.54/156.73 c | 232873 | 841 120147 314766 | 134047 121827 45 | 0.000 % |
156.74/156.91 c | 233088 | 841 120147 314766 | 134047 122042 46 | 0.000 % |
156.94/157.11 c | 233322 | 841 120147 314766 | 134047 122276 46 | 0.000 % |
157.14/157.30 c | 233579 | 841 120147 314766 | 134047 122533 46 | 0.010 % |
157.34/157.56 c | 233861 | 841 120147 314766 | 134047 122815 46 | 0.000 % |
157.54/157.79 c | 234170 | 841 120147 314766 | 134047 123124 46 | 0.010 % |
157.94/158.11 c | 234509 | 841 120147 314766 | 134047 123463 46 | 0.010 % |
158.24/158.44 c | 234881 | 841 120147 314766 | 134047 123835 46 | 0.000 % |
158.54/158.75 c | 235292 | 841 120147 314766 | 134047 124246 46 | 0.000 % |
158.93/159.13 c | 235741 | 841 120147 314766 | 134047 124695 46 | 0.010 % |
159.34/159.58 c | 236235 | 841 120147 314766 | 134047 125189 46 | 0.010 % |
159.83/160.04 c | 236777 | 841 120147 314766 | 134047 125731 46 | 0.010 % |
160.44/160.62 c | 237375 | 841 120147 314766 | 134047 126329 46 | 0.010 % |
160.93/161.16 c | 238030 | 841 120147 314766 | 134047 126984 46 | 0.010 % |
161.73/161.90 c | 238750 | 841 120147 314766 | 134047 127704 46 | 0.000 % |
162.43/162.68 c | 239543 | 841 120147 314766 | 134047 128497 46 | 0.010 % |
163.33/163.52 c | 240414 | 841 120147 314766 | 2147483647 129368 46 | 0.000 % |
164.23/164.45 c | 241372 | 841 120147 314766 | 2147483647 130326 46 | 0.010 % |
165.23/165.49 c | 242425 | 841 120147 314766 | 2147483647 131379 46 | 0.010 % |
166.43/166.63 c | 243585 | 841 120147 314766 | 2147483647 132539 46 | 0.000 % |
167.73/167.93 c | 244858 | 841 120147 314766 | 2147483647 133812 47 | 0.000 % |
169.33/169.58 c | 246262 | 841 120147 314766 | 2147483647 135216 47 | 0.000 % |
171.23/171.40 c | 247803 | 841 120147 314766 | 2147483647 136757 47 | 0.010 % |
173.13/173.38 c | 249499 | 841 120147 314766 | 2147483647 138453 46 | 0.010 % |
175.33/175.56 c | 251362 | 841 120147 314766 | 138955 124536 46 | 0.010 % |
177.53/177.75 c | 253411 | 841 120147 314766 | 138955 126585 46 | 0.010 % |
179.73/179.91 c | 255664 | 841 120147 314766 | 138955 128838 46 | 0.010 % |
182.43/182.61 c | 258143 | 841 120147 314766 | 138955 131317 46 | 0.000 % |
182.53/182.71 c | 258244 | 841 120147 314766 | 138955 131418 46 | 0.010 % |
182.63/182.84 c | 258358 | 841 120147 314766 | 138955 131532 46 | 0.010 % |
182.73/182.95 c | 258479 | 841 120147 314766 | 138955 131653 46 | 0.010 % |
182.93/183.10 c | 258614 | 841 120147 314766 | 138955 131788 46 | 0.010 % |
183.03/183.25 c | 258761 | 841 120147 314766 | 138955 131935 46 | 0.010 % |
183.23/183.46 c | 258921 | 841 120147 314766 | 138955 132095 46 | 0.010 % |
183.43/183.63 c | 259099 | 841 120147 314766 | 138955 132273 46 | 0.010 % |
183.63/183.84 c | 259293 | 841 120147 314766 | 138955 132467 46 | 0.000 % |
183.83/184.09 c | 259508 | 841 120147 314766 | 138955 132682 46 | 0.000 % |
184.13/184.33 c | 259741 | 841 120147 314766 | 138955 132915 46 | 0.000 % |
184.32/184.53 c | 259998 | 841 120147 314766 | 138955 133172 46 | 0.010 % |
184.53/184.76 c | 260279 | 841 120147 314766 | 133183 133453 46 | 0.010 % |
185.02/185.20 c | 260592 | 841 120147 314766 | 133183 117227 47 | 0.010 % |
185.22/185.47 c | 260934 | 841 120147 314766 | 133183 117569 47 | 0.000 % |
185.63/185.82 c | 261306 | 841 120147 314766 | 133183 117941 47 | 0.010 % |
185.92/186.12 c | 261715 | 841 120147 314766 | 133183 118350 47 | 0.010 % |
186.32/186.56 c | 262165 | 841 120147 314766 | 133183 118800 47 | 0.010 % |
186.82/187.09 c | 262658 | 841 120147 314766 | 133183 119293 47 | 0.000 % |
187.42/187.61 c | 263204 | 841 120147 314766 | 133183 119839 47 | 0.010 % |
188.01/188.23 c | 263802 | 841 120147 314766 | 133183 120437 47 | 0.010 % |
188.61/188.85 c | 264459 | 841 120147 314766 | 133183 121094 46 | 0.010 % |
189.31/189.54 c | 265181 | 841 120147 314766 | 133183 121816 46 | 0.010 % |
190.11/190.39 c | 265973 | 841 120147 314766 | 133183 122608 46 | 0.000 % |
190.81/191.07 c | 266847 | 841 120147 314766 | 133183 123482 46 | 0.010 % |
191.81/192.05 c | 267810 | 841 120147 314766 | 133183 124445 46 | 0.010 % |
192.81/193.07 c | 268863 | 841 120147 314766 | 133183 125498 46 | 0.010 % |
194.01/194.24 c | 270022 | 841 120147 314766 | 126636 126657 46 | 0.010 % |
195.30/195.59 c | 271295 | 841 120147 314766 | 126636 114557 47 | 0.000 % |
196.71/196.97 c | 272698 | 841 120147 314766 | 126636 115960 47 | 0.010 % |
198.20/198.45 c | 274241 | 841 120147 314766 | 126636 117503 47 | 0.010 % |
200.10/200.34 c | 275936 | 841 120147 314766 | 126636 119198 47 | 0.010 % |
202.30/202.51 c | 277801 | 841 120147 314766 | 126636 121063 46 | 0.010 % |
204.31/204.53 c | 279852 | 841 120147 314766 | 126636 123114 46 | 0.010 % |
206.70/206.90 c | 282108 | 841 120147 314766 | 123262 111773 45 | 0.010 % |
209.20/209.45 c | 284587 | 841 120147 314766 | 123262 114252 45 | 0.010 % |
211.90/212.14 c | 287314 | 841 120147 314766 | 123262 116979 46 | 0.000 % |
212.00/212.23 c | 287414 | 841 120147 314766 | 123262 117079 46 | 0.000 % |
212.10/212.37 c | 287527 | 841 120147 314766 | 123262 117192 46 | 0.009 % |
212.20/212.49 c | 287650 | 841 120147 314766 | 123262 117315 47 | 0.000 % |
212.40/212.62 c | 287787 | 841 120147 314766 | 123262 117452 47 | 0.010 % |
212.50/212.75 c | 287933 | 841 120147 314766 | 123262 117598 46 | 0.010 % |
212.70/212.90 c | 288095 | 841 120147 314766 | 123262 117760 46 | 0.010 % |
212.80/213.08 c | 288271 | 841 120147 314766 | 123262 117936 47 | 0.000 % |
213.00/213.27 c | 288466 | 841 120147 314766 | 123262 118131 47 | 0.010 % |
213.20/213.44 c | 288681 | 841 120147 314766 | 123262 118346 47 | 0.000 % |
213.39/213.64 c | 288915 | 841 120147 314766 | 123262 118580 47 | 0.010 % |
213.59/213.87 c | 289173 | 841 120147 314766 | 123262 118838 47 | 0.010 % |
213.79/214.08 c | 289455 | 841 120147 314766 | 123262 119120 47 | 0.010 % |
214.10/214.36 c | 289765 | 841 120147 314766 | 123262 119430 47 | 0.010 % |
214.40/214.68 c | 290105 | 841 120147 314766 | 119666 119770 47 | 0.010 % |
214.99/215.20 c | 290477 | 841 120147 314766 | 119666 107327 46 | 0.010 % |
215.30/215.56 c | 290886 | 841 120147 314766 | 119666 107736 46 | 0.010 % |
215.69/215.96 c | 291336 | 841 120147 314766 | 119666 108186 46 | 0.010 % |
216.09/216.36 c | 291830 | 841 120147 314766 | 119666 108680 46 | 0.010 % |
216.59/216.83 c | 292372 | 841 120147 314766 | 119666 109222 46 | 0.010 % |
217.09/217.39 c | 292968 | 841 120147 314766 | 119666 109818 46 | 0.010 % |
217.79/218.02 c | 293623 | 841 120147 314766 | 119666 110473 46 | 0.010 % |
218.39/218.63 c | 294343 | 841 120147 314766 | 119666 111193 46 | 0.010 % |
219.09/219.36 c | 295135 | 841 120147 314766 | 119666 111985 46 | 0.010 % |
219.89/220.11 c | 296006 | 841 120147 314766 | 119666 112856 46 | 0.010 % |
220.69/220.99 c | 296964 | 841 120147 314766 | 119666 113814 46 | 0.000 % |
221.69/221.99 c | 298018 | 841 120147 314766 | 119666 114868 46 | 0.000 % |
222.69/222.96 c | 299176 | 841 120147 314766 | 119666 116026 47 | 0.000 % |
223.79/224.03 c | 300451 | 841 120147 314766 | 2147483647 117301 47 | 0.010 % |
225.09/225.36 c | 301851 | 841 120147 314766 | 2147483647 118701 47 | 0.010 % |
226.59/226.87 c | 303391 | 841 120147 314766 | 2147483647 120241 46 | 0.010 % |
228.39/228.63 c | 305085 | 841 120147 314766 | 2147483647 121935 46 | 0.010 % |
230.39/230.63 c | 306949 | 841 120147 314766 | 2147483647 123799 47 | 0.000 % |
232.78/233.05 c | 309002 | 841 120147 314766 | 2147483647 125852 47 | 0.010 % |
235.37/235.65 c | 311257 | 841 120147 314766 | 126850 113104 49 | 0.000 % |
237.97/238.25 c | 313736 | 841 120147 314766 | 126850 115583 49 | 0.000 % |
240.67/240.98 c | 316461 | 841 120147 314766 | 126850 118308 49 | 0.010 % |
244.26/244.59 c | 319461 | 841 120147 314766 | 126850 121308 49 | 0.010 % |
244.47/244.72 c | 319561 | 841 120147 314766 | 126850 121408 49 | 0.010 % |
244.57/244.83 c | 319672 | 841 120147 314766 | 126850 121519 49 | 0.000 % |
244.66/244.96 c | 319798 | 841 120147 314766 | 126850 121645 49 | 0.010 % |
244.76/245.09 c | 319932 | 841 120147 314766 | 126850 121779 49 | 0.010 % |
244.97/245.25 c | 320078 | 841 120147 314766 | 121849 121925 49 | 0.000 % |
245.36/245.68 c | 320240 | 841 120147 314766 | 121849 105326 49 | 0.000 % |
245.56/245.84 c | 320416 | 841 120147 314766 | 121849 105502 49 | 0.010 % |
245.76/246.08 c | 320612 | 841 120147 314766 | 121849 105698 49 | 0.010 % |
246.07/246.30 c | 320824 | 841 120147 314766 | 121849 105910 48 | 0.010 % |
246.26/246.56 c | 321059 | 841 120147 314766 | 121849 106145 48 | 0.010 % |
246.56/246.85 c | 321317 | 841 120147 314766 | 121849 106403 49 | 0.000 % |
246.76/247.10 c | 321604 | 841 120147 314766 | 121849 106690 49 | 0.000 % |
247.06/247.36 c | 321913 | 841 120147 314766 | 121849 106999 48 | 0.009 % |
247.36/247.68 c | 322252 | 841 120147 314766 | 121849 107338 48 | 0.009 % |
247.76/248.01 c | 322624 | 841 120147 314766 | 121849 107710 48 | 0.010 % |
248.06/248.37 c | 323034 | 841 120147 314766 | 121849 108120 48 | 0.000 % |
248.46/248.79 c | 323484 | 841 120147 314766 | 121849 108570 49 | 0.000 % |
248.96/249.27 c | 323977 | 841 120147 314766 | 121849 109063 49 | 0.000 % |
249.56/249.83 c | 324521 | 841 120147 314766 | 121849 109607 49 | 0.000 % |
250.26/250.51 c | 325119 | 841 120147 314766 | 121849 110205 49 | 0.000 % |
250.96/251.21 c | 325775 | 841 120147 314766 | 121849 110861 49 | 0.010 % |
251.66/251.93 c | 326504 | 841 120147 314766 | 121849 111590 49 | 0.010 % |
252.36/252.65 c | 327297 | 841 120147 314766 | 121849 112383 49 | 0.000 % |
253.16/253.47 c | 328168 | 841 120147 314766 | 121849 113254 49 | 0.010 % |
254.16/254.43 c | 329128 | 841 120147 314766 | 121849 114214 49 | 0.000 % |
255.16/255.47 c | 330184 | 841 120147 314766 | 115086 115270 49 | 0.010 % |
256.75/257.01 c | 331342 | 841 120147 314766 | 115086 101432 48 | 0.010 % |
258.26/258.59 c | 332615 | 841 120147 314766 | 115086 102705 48 | 0.010 % |
259.85/260.14 c | 334015 | 841 120147 314766 | 115086 104105 48 | 0.010 % |
261.46/261.79 c | 335559 | 841 120147 314766 | 115086 105649 48 | 0.000 % |
263.35/263.64 c | 337253 | 841 120147 314766 | 115086 107343 49 | 0.000 % |
265.35/265.67 c | 339116 | 841 120147 314766 | 115086 109206 49 | 0.010 % |
267.35/267.69 c | 341167 | 841 120147 314766 | 110092 98178 50 | 0.010 % |
269.65/269.93 c | 343424 | 841 120147 314766 | 110092 100435 50 | 0.010 % |
272.15/272.42 c | 345905 | 841 120147 314766 | 110092 102916 49 | 0.010 % |
274.75/275.08 c | 348630 | 841 120147 314766 | 110092 105641 49 | 0.010 % |
278.23/278.53 c | 351628 | 841 120147 314766 | 107012 95608 49 | 0.010 % |
282.43/282.72 c | 354926 | 841 120147 314766 | 107012 98906 49 | 0.010 % |
282.53/282.82 c | 355028 | 841 120147 314766 | 107012 99008 49 | 0.010 % |
282.63/282.92 c | 355139 | 841 120147 314766 | 107012 99119 49 | 0.000 % |
282.73/283.05 c | 355260 | 841 120147 314766 | 107012 99240 49 | 0.000 % |
282.83/283.20 c | 355393 | 841 120147 314766 | 107012 99373 49 | 0.010 % |
283.03/283.35 c | 355539 | 841 120147 314766 | 107012 99519 49 | 0.010 % |
283.22/283.55 c | 355699 | 841 120147 314766 | 107012 99679 49 | 0.000 % |
283.43/283.77 c | 355875 | 841 120147 314766 | 107012 99855 49 | 0.000 % |
283.62/283.95 c | 356071 | 841 120147 314766 | 107012 100051 49 | 0.000 % |
283.82/284.15 c | 356286 | 841 120147 314766 | 107012 100266 49 | 0.000 % |
284.02/284.36 c | 356519 | 841 120147 314766 | 107012 100499 49 | 0.000 % |
284.32/284.67 c | 356776 | 841 120147 314766 | 107012 100756 49 | 0.000 % |
284.63/284.98 c | 357059 | 841 120147 314766 | 107012 101039 49 | 0.000 % |
284.92/285.26 c | 357368 | 841 120147 314766 | 107012 101348 50 | 0.000 % |
285.22/285.58 c | 357707 | 841 120147 314766 | 107012 101687 50 | 0.000 % |
285.52/285.87 c | 358080 | 841 120147 314766 | 107012 102060 50 | 0.000 % |
285.82/286.19 c | 358489 | 841 120147 314766 | 107012 102469 50 | 0.000 % |
286.32/286.61 c | 358938 | 841 120147 314766 | 107012 102918 50 | 0.010 % |
286.82/287.15 c | 359432 | 841 120147 314766 | 107012 103412 50 | 0.000 % |
287.42/287.77 c | 359974 | 841 120147 314766 | 107012 103954 50 | 0.010 % |
288.42/288.73 c | 360570 | 841 120147 314766 | 103986 91105 51 | 0.010 % |
289.02/289.33 c | 361225 | 841 120147 314766 | 103986 91760 51 | 0.000 % |
289.62/289.96 c | 361946 | 841 120147 314766 | 103986 92481 51 | 0.000 % |
290.42/290.70 c | 362738 | 841 120147 314766 | 103986 93273 51 | 0.010 % |
291.32/291.63 c | 363612 | 841 120147 314766 | 103986 94147 51 | 0.000 % |
292.12/292.45 c | 364574 | 841 120147 314766 | 103986 95109 51 | 0.000 % |
292.92/293.29 c | 365629 | 841 120147 314766 | 103986 96164 52 | 0.000 % |
294.22/294.53 c | 366787 | 841 120147 314766 | 103986 97322 52 | 0.000 % |
295.52/295.82 c | 368062 | 841 120147 314766 | 103986 98597 51 | 0.010 % |
296.92/297.22 c | 369463 | 841 120147 314766 | 103986 99998 52 | 0.000 % |
298.51/298.85 c | 371010 | 841 120147 314766 | 100535 89797 50 | 0.010 % |
300.22/300.54 c | 372707 | 841 120147 314766 | 100535 91494 51 | 0.000 % |
302.12/302.44 c | 374570 | 841 120147 314766 | 100535 93357 51 | 0.010 % |
304.32/304.65 c | 376621 | 841 120147 314766 | 100535 95408 52 | 0.000 % |
306.91/307.24 c | 378874 | 841 120147 314766 | 100535 97661 52 | 0.010 % |
309.61/309.98 c | 381357 | 841 120147 314766 | 98792 87205 50 | 0.010 % |
312.71/313.01 c | 384084 | 841 120147 314766 | 98792 89932 50 | 0.010 % |
315.61/316.00 c | 387085 | 841 120147 314766 | 98792 92933 51 | 0.000 % |
319.30/319.66 c | 390381 | 841 120147 314766 | 95851 83309 53 | 0.000 % |
323.70/324.01 c | 394006 | 841 120147 314766 | 95851 86934 53 | 0.010 % |
323.80/324.14 c | 394106 | 841 120147 314766 | 95851 87034 53 | 0.000 % |
324.00/324.30 c | 394218 | 841 120147 314766 | 95851 87146 53 | 0.010 % |
324.10/324.48 c | 394340 | 841 120147 314766 | 95851 87268 53 | 0.010 % |
324.29/324.61 c | 394473 | 841 120147 314766 | 95851 87401 53 | 0.010 % |
324.49/324.80 c | 394620 | 841 120147 314766 | 95851 87548 53 | 0.009 % |
324.69/325.00 c | 394781 | 841 120147 314766 | 95851 87709 53 | 0.009 % |
324.89/325.23 c | 394960 | 841 120147 314766 | 95851 87888 53 | 0.010 % |
325.09/325.45 c | 395154 | 841 120147 314766 | 95851 88082 53 | 0.010 % |
325.30/325.67 c | 395368 | 841 120147 314766 | 95851 88296 53 | 0.010 % |
325.60/325.94 c | 395607 | 841 120147 314766 | 95851 88535 53 | 0.010 % |
325.89/326.24 c | 395865 | 841 120147 314766 | 95851 88793 52 | 0.010 % |
326.19/326.51 c | 396147 | 841 120147 314766 | 95851 89075 52 | 0.010 % |
326.49/326.88 c | 396457 | 841 120147 314766 | 95851 89385 52 | 0.010 % |
326.89/327.28 c | 396796 | 841 120147 314766 | 95851 89724 52 | 0.010 % |
327.29/327.67 c | 397168 | 841 120147 314766 | 95851 90096 52 | 0.010 % |
327.79/328.12 c | 397578 | 841 120147 314766 | 95851 90506 52 | 0.010 % |
328.19/328.55 c | 398027 | 841 120147 314766 | 95851 90955 52 | 0.000 % |
328.69/329.05 c | 398522 | 841 120147 314766 | 95851 91450 53 | 0.000 % |
329.29/329.69 c | 399065 | 841 120147 314766 | 95851 91993 53 | 0.000 % |
329.99/330.36 c | 399662 | 841 120147 314766 | 95851 92590 53 | 0.000 % |
330.80/331.17 c | 400318 | 841 120147 314766 | 92930 93246 53 | 0.009 % |
331.69/332.10 c | 401038 | 841 120147 314766 | 92930 80701 52 | 0.010 % |
332.39/332.75 c | 401830 | 841 120147 314766 | 92930 81493 52 | 0.000 % |
333.19/333.57 c | 402701 | 841 120147 314766 | 92930 82364 52 | 0.010 % |
334.19/334.57 c | 403663 | 841 120147 314766 | 92930 83326 52 | 0.010 % |
335.29/335.67 c | 404718 | 841 120147 314766 | 92930 84381 52 | 0.010 % |
336.49/336.82 c | 405876 | 841 120147 314766 | 92930 85539 52 | 0.010 % |
337.69/338.08 c | 407150 | 841 120147 314766 | 92930 86813 52 | 0.010 % |
339.09/339.49 c | 408552 | 841 120147 314766 | 92930 88215 51 | 0.010 % |
340.89/341.26 c | 410095 | 841 120147 314766 | 89663 89758 52 | 0.000 % |
342.89/343.26 c | 411792 | 841 120147 314766 | 89663 79886 54 | 0.000 % |
344.89/345.30 c | 413655 | 841 120147 314766 | 89663 81749 54 | 0.010 % |
347.38/347.74 c | 415704 | 841 120147 314766 | 89663 83798 54 | 0.010 % |
350.08/350.49 c | 417957 | 841 120147 314766 | 89663 86051 54 | 0.010 % |
352.69/353.08 c | 420437 | 841 120147 314766 | 88094 76425 53 | 0.010 % |
355.48/355.85 c | 423165 | 841 120147 314766 | 88094 79153 53 | 0.010 % |
358.78/359.15 c | 426164 | 841 120147 314766 | 88094 82152 52 | 0.010 % |
362.38/362.75 c | 429461 | 841 120147 314766 | 88094 85449 52 | 0.010 % |
366.58/366.94 c | 433087 | 841 120147 314766 | 85988 76953 50 | 0.010 % |
370.47/370.85 c | 437074 | 841 120147 314766 | 85988 80940 52 | 0.000 % |
370.57/370.97 c | 437174 | 841 120147 314766 | 85988 81040 52 | 0.000 % |
370.67/371.09 c | 437286 | 841 120147 314766 | 85988 81152 52 | 0.010 % |
370.87/371.21 c | 437409 | 841 120147 314766 | 85988 81275 52 | 0.010 % |
370.97/371.32 c | 437544 | 841 120147 314766 | 85988 81410 52 | 0.010 % |
371.07/371.49 c | 437691 | 841 120147 314766 | 85988 81557 52 | 0.000 % |
371.27/371.65 c | 437851 | 841 120147 314766 | 85988 81717 52 | 0.000 % |
371.47/371.85 c | 438030 | 841 120147 314766 | 85988 81896 52 | 0.010 % |
371.67/372.01 c | 438227 | 841 120147 314766 | 85988 82093 52 | 0.000 % |
371.87/372.28 c | 438439 | 841 120147 314766 | 85988 82305 52 | 0.010 % |
372.17/372.50 c | 438672 | 841 120147 314766 | 85988 82538 52 | 0.010 % |
372.37/372.77 c | 438929 | 841 120147 314766 | 85988 82795 52 | 0.010 % |
372.67/373.10 c | 439211 | 841 120147 314766 | 85988 83077 52 | 0.010 % |
373.07/373.41 c | 439521 | 841 120147 314766 | 85988 83387 52 | 0.010 % |
373.37/373.72 c | 439860 | 841 120147 314766 | 85988 83726 53 | 0.000 % |
373.77/374.13 c | 440234 | 841 120147 314766 | 83866 84100 53 | 0.000 % |
374.17/374.57 c | 440643 | 841 120147 314766 | 83866 73559 52 | 0.000 % |
374.67/375.02 c | 441096 | 841 120147 314766 | 83866 74012 52 | 0.010 % |
375.17/375.54 c | 441591 | 841 120147 314766 | 83866 74507 53 | 0.000 % |
375.77/376.14 c | 442133 | 841 120147 314766 | 83866 75049 53 | 0.000 % |
376.47/376.84 c | 442729 | 841 120147 314766 | 83866 75645 53 | 0.010 % |
377.07/377.46 c | 443388 | 841 120147 314766 | 83866 76304 53 | 0.010 % |
377.76/378.10 c | 444110 | 841 120147 314766 | 83866 77026 53 | 0.010 % |
378.56/378.91 c | 444906 | 841 120147 314766 | 83866 77822 53 | 0.010 % |
379.46/379.89 c | 445777 | 841 120147 314766 | 83866 78693 53 | 0.010 % |
380.46/380.86 c | 446735 | 841 120147 314766 | 83866 79651 52 | 0.010 % |
381.56/382.00 c | 447789 | 841 120147 314766 | 83866 80705 52 | 0.010 % |
383.06/383.40 c | 448952 | 841 120147 314766 | 83866 81868 52 | 0.010 % |
384.46/384.89 c | 450226 | 841 120147 314766 | 82918 83142 52 | 0.000 % |
386.06/386.47 c | 451626 | 841 120147 314766 | 82918 73792 48 | 0.010 % |
387.66/388.00 c | 453166 | 841 120147 314766 | 82918 75332 48 | 0.010 % |
389.26/389.63 c | 454860 | 841 120147 314766 | 82918 77026 48 | 0.009 % |
391.06/391.43 c | 456724 | 841 120147 314766 | 82918 78890 48 | 0.010 % |
392.86/393.29 c | 458774 | 841 120147 314766 | 82918 80940 48 | 0.010 % |
395.46/395.84 c | 461030 | 841 120147 314766 | 82167 73922 46 | 0.010 % |
397.66/398.09 c | 463509 | 841 120147 314766 | 82167 76401 48 | 0.000 % |
400.06/400.46 c | 466234 | 841 120147 314766 | 82167 79126 51 | 0.000 % |
403.26/403.69 c | 469232 | 841 120147 314766 | 82167 82124 52 | 0.000 % |
407.35/407.72 c | 472529 | 841 120147 314766 | 73313 67232 51 | 0.010 % |
410.85/411.23 c | 476154 | 841 120147 314766 | 73313 70857 53 | 0.000 % |
415.24/415.69 c | 480142 | 841 120147 314766 | 65591 65729 54 | 0.010 % |
419.14/419.60 c | 484529 | 841 120147 314766 | 65591 62023 51 | 0.010 % |
419.34/419.70 c | 484629 | 841 120147 314766 | 65591 62123 51 | 0.000 % |
419.34/419.79 c | 484740 | 841 120147 314766 | 65591 62234 51 | 0.010 % |
419.54/419.92 c | 484864 | 841 120147 314766 | 65591 62358 51 | 0.010 % |
419.64/420.07 c | 484997 | 841 120147 314766 | 65591 62491 51 | 0.010 % |
419.84/420.22 c | 485143 | 841 120147 314766 | 65591 62637 51 | 0.010 % |
419.94/420.37 c | 485303 | 841 120147 314766 | 65591 62797 51 | 0.010 % |
420.14/420.52 c | 485485 | 841 120147 314766 | 65591 62979 51 | 0.010 % |
420.34/420.72 c | 485680 | 841 120147 314766 | 65591 63174 51 | 0.010 % |
420.54/420.94 c | 485894 | 841 120147 314766 | 65591 63388 51 | 0.010 % |
420.74/421.17 c | 486128 | 841 120147 314766 | 65591 63622 51 | 0.010 % |
420.94/421.39 c | 486386 | 841 120147 314766 | 65591 63880 50 | 0.010 % |
421.24/421.64 c | 486669 | 841 120147 314766 | 65591 64163 50 | 0.010 % |
421.54/421.92 c | 486979 | 841 120147 314766 | 65591 64473 50 | 0.010 % |
421.84/422.25 c | 487318 | 841 120147 314766 | 65591 64812 50 | 0.010 % |
422.24/422.62 c | 487691 | 841 120147 314766 | 65591 65185 50 | 0.010 % |
422.74/423.10 c | 488101 | 841 120147 314766 | 65591 65595 50 | 0.010 % |
423.24/423.65 c | 488552 | 841 120147 314766 | 65591 59062 49 | 0.010 % |
423.74/424.12 c | 489045 | 841 120147 314766 | 65591 59555 49 | 0.000 % |
424.24/424.63 c | 489588 | 841 120147 314766 | 65591 60098 50 | 0.000 % |
424.84/425.23 c | 490184 | 841 120147 314766 | 60510 60694 50 | 0.000 % |
425.44/425.85 c | 490841 | 841 120147 314766 | 60510 55282 51 | 0.010 % |
426.14/426.58 c | 491567 | 841 120147 314766 | 60510 56008 51 | 0.010 % |
426.84/427.20 c | 492361 | 841 120147 314766 | 60510 56802 52 | 0.000 % |
427.44/427.90 c | 493236 | 841 120147 314766 | 60510 57677 52 | 0.010 % |
428.54/428.91 c | 494196 | 841 120147 314766 | 60510 58637 52 | 0.010 % |
429.64/430.06 c | 495252 | 841 120147 314766 | 60510 59693 52 | 0.010 % |
430.74/431.20 c | 496415 | 841 120147 314766 | 60510 54780 52 | 0.010 % |
431.94/432.40 c | 497691 | 841 120147 314766 | 60510 56056 52 | 0.010 % |
433.33/433.72 c | 499093 | 841 120147 314766 | 60510 57458 52 | 0.010 % |
434.73/435.13 c | 500635 | 841 120147 314766 | 2147483647 59000 53 | 0.000 % |
436.34/436.79 c | 502332 | 841 120147 314766 | 2147483647 60697 52 | 0.000 % |
438.03/438.40 c | 504196 | 841 120147 314766 | 2147483647 62561 52 | 0.010 % |
439.93/440.34 c | 506245 | 841 120147 314766 | 2147483647 64610 51 | 0.010 % |
442.23/442.65 c | 508498 | 841 120147 314766 | 2147483647 66863 51 | 0.010 % |
444.93/445.35 c | 510977 | 841 120147 314766 | 2147483647 69342 51 | 0.010 % |
447.63/448.05 c | 513702 | 841 120147 314766 | 2147483647 72067 50 | 0.010 % |
450.83/451.29 c | 516700 | 841 120147 314766 | 2147483647 75065 50 | 0.010 % |
454.32/454.75 c | 519997 | 841 120147 314766 | 2147483647 78362 50 | 0.010 % |
458.02/458.41 c | 523626 | 841 120147 314766 | 78366 72078 44 | 0.010 % |
461.91/462.32 c | 527616 | 841 120147 314766 | 78366 76068 44 | 0.010 % |
466.11/466.54 c | 532003 | 841 120147 314766 | 78452 71824 41 | 0.010 % |
470.32/470.79 c | 536826 | 841 120147 314766 | 78452 76647 45 | 0.000 % |
470.42/470.84 c | 536927 | 841 120147 314766 | 78452 76748 45 | 0.000 % |
470.51/470.93 c | 537037 | 841 120147 314766 | 78452 76858 45 | 0.000 % |
470.61/471.04 c | 537159 | 841 120147 314766 | 78452 76980 45 | 0.000 % |
470.71/471.17 c | 537293 | 841 120147 314766 | 78452 77114 45 | 0.000 % |
470.91/471.33 c | 537439 | 841 120147 314766 | 78452 77260 45 | 0.010 % |
471.01/471.47 c | 537605 | 841 120147 314766 | 78452 77426 45 | 0.010 % |
471.21/471.62 c | 537781 | 841 120147 314766 | 78452 77602 45 | 0.010 % |
471.31/471.79 c | 537974 | 841 120147 314766 | 78452 77795 45 | 0.010 % |
471.61/472.01 c | 538186 | 841 120147 314766 | 78452 78007 45 | 0.010 % |
471.81/472.23 c | 538420 | 841 120147 314766 | 78452 78241 45 | 0.010 % |
472.11/472.50 c | 538679 | 841 120147 314766 | 78452 78500 45 | 0.010 % |
472.31/472.77 c | 538961 | 841 120147 314766 | 78452 70932 45 | 0.010 % |
472.61/473.03 c | 539271 | 841 120147 314766 | 78452 71242 45 | 0.010 % |
472.91/473.38 c | 539610 | 841 120147 314766 | 78452 71581 45 | 0.010 % |
473.31/473.79 c | 539984 | 841 120147 314766 | 78452 71955 44 | 0.010 % |
473.81/474.21 c | 540393 | 841 120147 314766 | 2147483647 72364 44 | 0.010 % |
474.21/474.61 c | 540845 | 841 120147 314766 | 2147483647 72816 44 | 0.010 % |
474.61/475.03 c | 541340 | 841 120147 314766 | 2147483647 73311 44 | 0.010 % |
475.01/475.47 c | 541884 | 841 120147 314766 | 2147483647 73855 44 | 0.010 % |
475.51/475.97 c | 542480 | 841 120147 314766 | 2147483647 74451 44 | 0.010 % |
476.11/476.57 c | 543143 | 841 120147 314766 | 2147483647 75114 44 | 0.010 % |
476.71/477.19 c | 543868 | 841 120147 314766 | 2147483647 75839 44 | 0.009 % |
477.51/477.98 c | 544661 | 841 120147 314766 | 2147483647 76632 44 | 0.009 % |
478.41/478.82 c | 545534 | 841 120147 314766 | 2147483647 77505 44 | 0.009 % |
479.31/479.79 c | 546492 | 841 120147 314766 | 2147483647 78463 45 | 0.000 % |
480.41/480.84 c | 547546 | 841 120147 314766 | 2147483647 79517 45 | 0.000 % |
481.41/481.86 c | 548704 | 841 120147 314766 | 2147483647 80675 46 | 0.000 % |
482.51/482.97 c | 549979 | 841 120147 314766 | 2147483647 81950 46 | 0.018 % |
484.00/484.47 c | 551379 | 841 120147 314766 | 2147483647 83350 46 | 0.010 % |
485.71/486.12 c | 552920 | 841 120147 314766 | 2147483647 84891 47 | 0.010 % |
487.50/487.91 c | 554615 | 841 120147 314766 | 2147483647 86586 47 | 0.010 % |
489.60/490.05 c | 556481 | 841 120147 314766 | 2147483647 88452 47 | 0.000 % |
492.00/492.44 c | 558533 | 841 120147 314766 | 2147483647 90504 46 | 0.010 % |
494.30/494.74 c | 560786 | 841 120147 314766 | 91977 79894 47 | 0.000 % |
496.80/497.29 c | 563264 | 841 120147 314766 | 91977 82372 47 | 0.010 % |
499.80/500.28 c | 565989 | 841 120147 314766 | 91977 85097 47 | 0.010 % |
503.39/503.82 c | 568986 | 841 120147 314766 | 91977 88094 47 | 0.010 % |
507.38/507.87 c | 572285 | 841 120147 314766 | 89108 78275 46 | 0.010 % |
511.88/512.34 c | 575910 | 841 120147 314766 | 89108 81900 46 | 0.010 % |
515.68/516.15 c | 579897 | 841 120147 314766 | 89108 85887 47 | 0.010 % |
520.28/520.77 c | 584283 | 841 120147 314766 | 85994 76612 47 | 0.009 % |
525.28/525.76 c | 589106 | 841 120147 314766 | 85994 81435 47 | 0.010 % |
529.97/530.49 c | 594412 | 841 120147 314766 | 82334 76557 45 | 0.010 % |
530.07/530.58 c | 594512 | 841 120147 314766 | 82334 76657 45 | 0.010 % |
530.17/530.68 c | 594624 | 841 120147 314766 | 82334 76769 45 | 0.000 % |
530.27/530.79 c | 594747 | 841 120147 314766 | 82334 76892 45 | 0.000 % |
530.47/530.91 c | 594880 | 841 120147 314766 | 82334 77025 45 | 0.010 % |
530.57/531.06 c | 595026 | 841 120147 314766 | 82334 77171 45 | 0.010 % |
530.78/531.24 c | 595187 | 841 120147 314766 | 82334 77332 45 | 0.000 % |
530.97/531.43 c | 595363 | 841 120147 314766 | 82334 77508 45 | 0.000 % |
531.17/531.64 c | 595559 | 841 120147 314766 | 82334 77704 45 | 0.000 % |
531.37/531.86 c | 595771 | 841 120147 314766 | 82334 77916 46 | 0.000 % |
531.57/532.09 c | 596008 | 841 120147 314766 | 82334 78153 46 | 0.010 % |
531.77/532.28 c | 596267 | 841 120147 314766 | 82334 78412 46 | 0.000 % |
532.07/532.55 c | 596549 | 841 120147 314766 | 82334 78694 46 | 0.010 % |
532.27/532.78 c | 596859 | 841 120147 314766 | 82334 79004 46 | 0.000 % |
532.67/533.12 c | 597198 | 841 120147 314766 | 82334 79343 46 | 0.000 % |
532.98/533.46 c | 597573 | 841 120147 314766 | 82334 79718 46 | 0.010 % |
533.37/533.82 c | 597984 | 841 120147 314766 | 82334 80129 46 | 0.000 % |
533.77/534.21 c | 598433 | 841 120147 314766 | 82334 80578 47 | 0.000 % |
534.27/534.74 c | 598927 | 841 120147 314766 | 82334 81072 47 | 0.010 % |
534.87/535.34 c | 599475 | 841 120147 314766 | 82334 81620 47 | 0.000 % |
535.47/535.96 c | 600074 | 841 120147 314766 | 82146 82219 46 | 0.010 % |
536.17/536.68 c | 600729 | 841 120147 314766 | 82146 73650 47 | 0.000 % |
536.87/537.36 c | 601449 | 841 120147 314766 | 82146 74370 47 | 0.000 % |
537.67/538.11 c | 602241 | 841 120147 314766 | 82146 75162 47 | 0.010 % |
538.47/538.99 c | 603112 | 841 120147 314766 | 82146 76033 46 | 0.010 % |
539.47/539.98 c | 604073 | 841 120147 314766 | 82146 76994 46 | 0.010 % |
540.37/540.89 c | 605130 | 841 120147 314766 | 82146 78051 47 | 0.000 % |
541.57/542.01 c | 606291 | 841 120147 314766 | 82146 79212 47 | 0.010 % |
542.77/543.26 c | 607564 | 841 120147 314766 | 82146 80485 47 | 0.010 % |
543.97/544.40 c | 608964 | 841 120147 314766 | 82146 81885 48 | 0.000 % |
545.67/546.18 c | 610509 | 841 120147 314766 | 2147483647 75183 46 | 0.010 % |
547.16/547.61 c | 612203 | 841 120147 314766 | 2147483647 76877 48 | 0.000 % |
549.35/549.82 c | 614069 | 841 120147 314766 | 2147483647 78743 48 | 0.000 % |
551.25/551.71 c | 616119 | 841 120147 314766 | 2147483647 80793 49 | 0.000 % |
553.55/554.07 c | 618373 | 841 120147 314766 | 2147483647 83047 49 | 0.010 % |
556.34/556.83 c | 620852 | 841 120147 314766 | 84675 75280 48 | 0.010 % |
559.15/559.61 c | 623582 | 841 120147 314766 | 84675 78010 47 | 0.010 % |
562.04/562.58 c | 626580 | 841 120147 314766 | 84675 81008 49 | 0.000 % |
565.84/566.39 c | 629879 | 841 120147 314766 | 84675 84307 51 | 0.000 % |
569.84/570.33 c | 633506 | 841 120147 314766 | 84430 77274 52 | 0.000 % |
574.24/574.75 c | 637495 | 841 120147 314766 | 84430 81263 53 | 0.000 % |
579.24/579.77 c | 641884 | 841 120147 314766 | 83769 73934 55 | 0.000 % |
585.05/585.59 c | 646708 | 841 120147 314766 | 83769 78758 55 | 0.010 % |
591.84/592.34 c | 652013 | 841 120147 314766 | 82051 70287 54 | 0.010 % |
598.23/598.70 c | 657848 | 841 120147 314766 | 82051 76122 57 | 0.000 % |
598.33/598.84 c | 657951 | 841 120147 314766 | 82051 76225 57 | 0.000 % |
598.43/598.99 c | 658065 | 841 120147 314766 | 82051 76339 57 | 0.010 % |
598.63/599.17 c | 658186 | 841 120147 314766 | 82051 76460 57 | 0.000 % |
598.83/599.30 c | 658321 | 841 120147 314766 | 82051 76595 57 | 0.010 % |
598.94/599.46 c | 658469 | 841 120147 314766 | 82051 76743 57 | 0.010 % |
599.13/599.67 c | 658629 | 841 120147 314766 | 82051 76903 57 | 0.010 % |
599.33/599.85 c | 658805 | 841 120147 314766 | 82051 77079 57 | 0.010 % |
599.63/600.11 c | 659000 | 841 120147 314766 | 82051 77274 57 | 0.010 % |
599.83/600.32 c | 659212 | 841 120147 314766 | 82051 77486 57 | 0.000 % |
600.04/600.55 c | 659446 | 841 120147 314766 | 82051 77720 57 | 0.000 % |
600.33/600.82 c | 659703 | 841 120147 314766 | 82051 77977 57 | 0.010 % |
600.63/601.18 c | 659984 | 841 120147 314766 | 82051 78258 57 | 0.010 % |
601.24/601.71 c | 660293 | 841 120147 314766 | 78274 65225 54 | 0.010 % |
601.53/602.09 c | 660632 | 841 120147 314766 | 78274 65564 54 | 0.010 % |
602.03/602.53 c | 661004 | 841 120147 314766 | 78274 65936 54 | 0.010 % |
602.43/602.97 c | 661413 | 841 120147 314766 | 78274 66345 54 | 0.000 % |
602.93/603.41 c | 661865 | 841 120147 314766 | 78274 66797 54 | 0.010 % |
603.44/603.92 c | 662358 | 841 120147 314766 | 78274 67290 54 | 0.000 % |
604.03/604.53 c | 662900 | 841 120147 314766 | 78274 67832 54 | 0.000 % |
604.63/605.15 c | 663500 | 841 120147 314766 | 78274 68432 54 | 0.000 % |
605.33/605.89 c | 664158 | 841 120147 314766 | 78274 69090 54 | 0.000 % |
606.23/606.74 c | 664884 | 841 120147 314766 | 78274 69816 54 | 0.000 % |
607.23/607.76 c | 665676 | 841 120147 314766 | 78274 70608 54 | 0.000 % |
608.23/608.75 c | 666548 | 841 120147 314766 | 78274 71480 54 | 0.010 % |
609.23/609.76 c | 667507 | 841 120147 314766 | 78274 72439 54 | 0.000 % |
610.33/610.80 c | 668561 | 841 120147 314766 | 78274 73493 55 | 0.000 % |
611.33/611.85 c | 669721 | 841 120147 314766 | 78274 74653 56 | 0.000 % |
612.83/613.33 c | 670994 | 841 120147 314766 | 74935 65233 56 | 0.010 % |
614.63/615.12 c | 672394 | 841 120147 314766 | 74935 66633 55 | 0.010 % |
616.83/617.32 c | 673935 | 841 120147 314766 | 74935 68174 55 | 0.010 % |
618.83/619.39 c | 675630 | 841 120147 314766 | 74935 69869 55 | 0.010 % |
621.03/621.55 c | 677494 | 841 120147 314766 | 74935 71733 54 | 0.010 % |
623.32/623.86 c | 679543 | 841 120147 314766 | 74935 73782 54 | 0.010 % |
626.02/626.51 c | 681801 | 841 120147 314766 | 74240 65051 51 | 0.000 % |
629.02/629.60 c | 684279 | 841 120147 314766 | 74240 67529 51 | 0.010 % |
632.22/632.77 c | 687004 | 841 120147 314766 | 74240 70254 50 | 0.010 % |
635.32/635.81 c | 690002 | 841 120147 314766 | 73250 73252 51 | 0.000 % |
638.61/639.11 c | 693298 | 841 120147 314766 | 73250 66322 52 | 0.000 % |
642.31/642.86 c | 696923 | 841 120147 314766 | 73250 69947 51 | 0.000 % |
647.11/647.67 c | 700913 | 841 120147 314766 | 73024 63514 48 | 0.010 % |
651.91/652.42 c | 705298 | 841 120147 314766 | 73024 67899 48 | 0.010 % |
657.21/657.77 c | 710122 | 841 120147 314766 | 72606 72723 48 | 0.000 % |
662.81/663.39 c | 715427 | 841 120147 314766 | 72606 67482 46 | 0.010 % |
669.90/670.44 c | 721263 | 841 120147 314766 | 72056 62245 44 | 0.010 % |
677.30/677.81 c | 727684 | 841 120147 314766 | 72056 68666 43 | 0.011 % |
677.40/677.94 c | 727789 | 841 120147 314766 | 72056 68771 43 | 0.010 % |
677.50/678.06 c | 727901 | 841 120147 314766 | 72056 68883 43 | 0.010 % |
677.60/678.19 c | 728023 | 841 120147 314766 | 72056 69005 43 | 0.011 % |
677.80/678.32 c | 728157 | 841 120147 314766 | 72056 69139 43 | 0.000 % |
677.90/678.45 c | 728303 | 841 120147 314766 | 72056 69285 43 | 0.000 % |
678.00/678.56 c | 728467 | 841 120147 314766 | 72056 69449 43 | 0.000 % |
678.20/678.75 c | 728645 | 841 120147 314766 | 72056 69627 43 | 0.010 % |
678.40/678.94 c | 728840 | 841 120147 314766 | 72056 69822 43 | 0.010 % |
678.60/679.19 c | 729052 | 841 120147 314766 | 72056 70034 43 | 0.010 % |
678.89/679.41 c | 729287 | 841 120147 314766 | 72056 70269 44 | 0.000 % |
679.09/679.65 c | 729543 | 841 120147 314766 | 72056 70525 44 | 0.000 % |
679.30/679.88 c | 729825 | 841 120147 314766 | 72056 70807 44 | 0.000 % |
679.59/680.13 c | 730134 | 841 120147 314766 | 70982 71116 44 | 0.000 % |
679.89/680.48 c | 730474 | 841 120147 314766 | 70982 60571 43 | 0.010 % |
680.30/680.81 c | 730848 | 841 120147 314766 | 70982 60945 43 | 0.010 % |
680.59/681.10 c | 731260 | 841 120147 314766 | 70982 61357 43 | 0.010 % |
680.89/681.48 c | 731710 | 841 120147 314766 | 70982 61807 43 | 0.000 % |
681.29/681.84 c | 732203 | 841 120147 314766 | 70982 62300 43 | 0.010 % |
681.69/682.25 c | 732745 | 841 120147 314766 | 70982 62842 43 | 0.010 % |
682.19/682.72 c | 733342 | 841 120147 314766 | 70982 63439 43 | 0.010 % |
682.69/683.28 c | 733998 | 841 120147 314766 | 70982 64095 43 | 0.010 % |
683.29/683.88 c | 734719 | 841 120147 314766 | 70982 64816 43 | 0.010 % |
684.09/684.64 c | 735512 | 841 120147 314766 | 70982 65609 43 | 0.010 % |
684.79/685.38 c | 736384 | 841 120147 314766 | 70982 66481 44 | 0.000 % |
685.59/686.19 c | 737342 | 841 120147 314766 | 70982 67439 44 | 0.000 % |
686.59/687.17 c | 738395 | 841 120147 314766 | 70982 68492 44 | 0.010 % |
687.59/688.16 c | 739562 | 841 120147 314766 | 70982 69659 44 | 0.010 % |
688.68/689.27 c | 740835 | 841 120147 314766 | 2147483647 70932 45 | 0.000 % |
689.88/690.49 c | 742237 | 841 120147 314766 | 2147483647 72334 45 | 0.010 % |
691.39/691.95 c | 743777 | 841 120147 314766 | 2147483647 73874 45 | 0.010 % |
693.18/693.75 c | 745474 | 841 120147 314766 | 2147483647 75571 45 | 0.010 % |
695.18/695.71 c | 747337 | 841 120147 314766 | 2147483647 77434 45 | 0.010 % |
697.08/697.70 c | 749388 | 841 120147 314766 | 2147483647 79485 45 | 0.010 % |
698.98/699.53 c | 751642 | 841 120147 314766 | 2147483647 81739 45 | 0.000 % |
701.58/702.12 c | 754121 | 841 120147 314766 | 2147483647 84218 44 | 0.010 % |
704.38/704.97 c | 756848 | 841 120147 314766 | 2147483647 86945 44 | 0.000 % |
707.78/708.33 c | 759848 | 841 120147 314766 | 2147483647 89945 44 | 0.000 % |
711.78/712.36 c | 763144 | 841 120147 314766 | 90097 82502 41 | 0.010 % |
715.27/715.82 c | 766769 | 841 120147 314766 | 90097 86127 41 | 0.010 % |
719.17/719.77 c | 770759 | 841 120147 314766 | 89358 78074 41 | 0.010 % |
723.28/723.82 c | 775144 | 841 120147 314766 | 89358 82459 40 | 0.010 % |
728.26/728.89 c | 779967 | 841 120147 314766 | 89358 87282 41 | 0.010 % |
733.26/733.89 c | 785272 | 841 120147 314766 | 87318 80317 41 | 0.000 % |
738.36/738.92 c | 791108 | 841 120147 314766 | 85046 75973 42 | 0.009 % |
744.66/745.20 c | 797526 | 841 120147 314766 | 85046 82391 42 | 0.010 % |
751.65/752.26 c | 804587 | 841 120147 314766 | 84866 78800 47 | 0.000 % |
751.76/752.38 c | 804687 | 841 120147 314766 | 84866 78900 48 | 0.000 % |
751.95/752.52 c | 804799 | 841 120147 314766 | 84866 79012 48 | 0.000 % |
752.05/752.67 c | 804921 | 841 120147 314766 | 84866 79134 48 | 0.000 % |
752.25/752.83 c | 805055 | 841 120147 314766 | 84866 79268 47 | 0.010 % |
752.35/752.97 c | 805203 | 841 120147 314766 | 84866 79416 48 | 0.000 % |
752.55/753.11 c | 805363 | 841 120147 314766 | 84866 79576 48 | 0.010 % |
752.65/753.28 c | 805540 | 841 120147 314766 | 84866 79753 48 | 0.000 % |
752.86/753.49 c | 805734 | 841 120147 314766 | 84866 79947 48 | 0.000 % |
753.05/753.66 c | 805948 | 841 120147 314766 | 84866 80161 48 | 0.000 % |
753.35/753.92 c | 806182 | 841 120147 314766 | 84866 80395 48 | 0.010 % |
753.55/754.18 c | 806441 | 841 120147 314766 | 84866 80654 48 | 0.010 % |
753.85/754.49 c | 806722 | 841 120147 314766 | 84866 80935 48 | 0.010 % |
754.25/754.89 c | 807031 | 841 120147 314766 | 84866 81244 48 | 0.010 % |
754.65/755.28 c | 807370 | 841 120147 314766 | 84866 81583 48 | 0.000 % |
755.16/755.71 c | 807742 | 841 120147 314766 | 84866 81955 48 | 0.000 % |
755.55/756.15 c | 808151 | 841 120147 314766 | 84866 82364 48 | 0.000 % |
756.05/756.64 c | 808601 | 841 120147 314766 | 84866 82814 48 | 0.010 % |
756.55/757.16 c | 809095 | 841 120147 314766 | 84866 83308 48 | 0.010 % |
757.15/757.75 c | 809639 | 841 120147 314766 | 84866 83852 48 | 0.000 % |
757.65/758.27 c | 810236 | 841 120147 314766 | 84215 84449 49 | 0.000 % |
758.45/759.08 c | 810891 | 841 120147 314766 | 84215 74076 50 | 0.000 % |
759.25/759.87 c | 811612 | 841 120147 314766 | 84215 74797 49 | 0.010 % |
759.95/760.59 c | 812404 | 841 120147 314766 | 84215 75589 49 | 0.010 % |
760.95/761.51 c | 813275 | 841 120147 314766 | 84215 76460 49 | 0.010 % |
761.85/762.41 c | 814234 | 841 120147 314766 | 84215 77419 49 | 0.000 % |
762.95/763.59 c | 815289 | 841 120147 314766 | 84215 78474 49 | 0.010 % |
764.35/764.92 c | 816449 | 841 120147 314766 | 84215 79634 49 | 0.010 % |
765.75/766.39 c | 817723 | 841 120147 314766 | 84215 80908 49 | 0.010 % |
767.45/768.06 c | 819126 | 841 120147 314766 | 84215 82311 49 | 0.010 % |
769.55/770.10 c | 820668 | 841 120147 314766 | 83186 73332 50 | 0.010 % |
771.34/771.91 c | 822362 | 841 120147 314766 | 83186 75026 49 | 0.010 % |
773.33/773.99 c | 824225 | 841 120147 314766 | 83186 76889 49 | 0.000 % |
775.63/776.21 c | 826274 | 841 120147 314766 | 83186 78938 49 | 0.010 % |
778.14/778.70 c | 828527 | 841 120147 314766 | 83186 81191 49 | 0.010 % |
780.63/781.28 c | 831006 | 841 120147 314766 | 82666 71895 52 | 0.000 % |
783.93/784.52 c | 833731 | 841 120147 314766 | 82666 74620 55 | 0.000 % |
787.33/787.95 c | 836728 | 841 120147 314766 | 82666 77617 55 | 0.000 % |
790.83/791.48 c | 840025 | 841 120147 314766 | 80890 80914 55 | 0.010 % |
795.32/795.98 c | 843652 | 841 120147 314766 | 80890 71550 58 | 0.000 % |
800.52/801.10 c | 847641 | 841 120147 314766 | 80890 75539 58 | 0.000 % |
806.32/806.95 c | 852027 | 841 120147 314766 | 77898 65152 51 | 0.010 % |
810.82/811.41 c | 856851 | 841 120147 314766 | 77898 69976 56 | 0.000 % |
816.31/816.98 c | 862157 | 841 120147 314766 | 73126 64264 55 | 0.010 % |
823.11/823.78 c | 867994 | 841 120147 314766 | 73126 70101 54 | 0.010 % |
830.21/830.83 c | 874415 | 841 120147 314766 | 72108 66092 57 | 0.010 % |
838.61/839.22 c | 881477 | 841 120147 314766 | 71677 61266 52 | 0.011 % |
847.41/848.03 c | 889243 | 841 120147 314766 | 71677 69032 50 | 0.011 % |
847.51/848.18 c | 889345 | 841 120147 314766 | 71677 69134 50 | 0.011 % |
847.70/848.32 c | 889455 | 841 120147 314766 | 71677 69244 50 | 0.011 % |
847.80/848.47 c | 889576 | 841 120147 314766 | 71677 69365 50 | 0.011 % |
848.00/848.62 c | 889712 | 841 120147 314766 | 71677 69501 50 | 0.000 % |
848.10/848.75 c | 889860 | 841 120147 314766 | 71677 69649 51 | 0.000 % |
848.20/848.89 c | 890020 | 841 120147 314766 | 69789 69809 50 | 0.010 % |
848.51/849.13 c | 890196 | 841 120147 314766 | 69789 58112 48 | 0.000 % |
848.70/849.31 c | 890391 | 841 120147 314766 | 69789 58307 48 | 0.000 % |
848.90/849.53 c | 890603 | 841 120147 314766 | 69789 58519 48 | 0.000 % |
849.10/849.72 c | 890836 | 841 120147 314766 | 69789 58752 48 | 0.010 % |
849.40/850.00 c | 891093 | 841 120147 314766 | 69789 59009 48 | 0.010 % |
849.61/850.23 c | 891374 | 841 120147 314766 | 69789 59290 48 | 0.000 % |
849.90/850.52 c | 891684 | 841 120147 314766 | 69789 59600 49 | 0.000 % |
850.20/850.80 c | 892023 | 841 120147 314766 | 69789 59939 48 | 0.000 % |
850.50/851.15 c | 892397 | 841 120147 314766 | 69789 60313 49 | 0.000 % |
850.90/851.58 c | 892806 | 841 120147 314766 | 69789 60722 49 | 0.000 % |
851.30/851.99 c | 893256 | 841 120147 314766 | 69789 61172 49 | 0.010 % |
851.70/852.38 c | 893750 | 841 120147 314766 | 69789 61666 49 | 0.000 % |
852.20/852.87 c | 894292 | 841 120147 314766 | 69789 62208 49 | 0.010 % |
852.80/853.41 c | 894888 | 841 120147 314766 | 69789 62804 49 | 0.010 % |
853.40/854.06 c | 895543 | 841 120147 314766 | 69789 63459 49 | 0.000 % |
854.00/854.68 c | 896266 | 841 120147 314766 | 69789 64182 50 | 0.000 % |
854.70/855.37 c | 897060 | 841 120147 314766 | 69789 64976 50 | 0.000 % |
855.50/856.12 c | 897934 | 841 120147 314766 | 69789 65850 51 | 0.000 % |
856.50/857.15 c | 898892 | 841 120147 314766 | 69789 66808 51 | 0.010 % |
857.60/858.25 c | 899946 | 841 120147 314766 | 69789 67862 51 | 0.010 % |
858.80/859.45 c | 901105 | 841 120147 314766 | 67919 61817 47 | 0.010 % |
860.10/860.79 c | 902378 | 841 120147 314766 | 67919 63090 47 | 0.010 % |
861.69/862.39 c | 903779 | 841 120147 314766 | 67919 64491 47 | 0.010 % |
863.48/864.14 c | 905323 | 841 120147 314766 | 67919 66035 47 | 0.010 % |
865.28/865.90 c | 907018 | 841 120147 314766 | 67919 67730 46 | 0.010 % |
866.98/867.63 c | 908881 | 841 120147 314766 | 67919 62269 47 | 0.000 % |
868.88/869.59 c | 910933 | 841 120147 314766 | 63389 57698 47 | 0.000 % |
870.88/871.55 c | 913186 | 841 120147 314766 | 63389 59951 47 | 0.000 % |
873.28/873.94 c | 915665 | 841 120147 314766 | 63389 62430 47 | 0.010 % |
876.47/877.14 c | 918395 | 841 120147 314766 | 63389 58749 45 | 0.010 % |
879.38/880.09 c | 921394 | 841 120147 314766 | 60359 55547 46 | 0.010 % |
882.37/883.02 c | 924690 | 841 120147 314766 | 60359 58843 46 | 0.010 % |
885.97/886.65 c | 928316 | 841 120147 314766 | 60359 56403 46 | 0.010 % |
889.87/890.55 c | 932308 | 841 120147 314766 | 2147483647 60395 47 | 0.010 % |
894.37/895.09 c | 936694 | 841 120147 314766 | 2147483647 64781 46 | 0.010 % |
899.17/899.84 c | 941518 | 841 120147 314766 | 68088 62375 45 | 0.000 % |
903.66/904.31 c | 946823 | 841 120147 314766 | 68088 67680 48 | 0.000 % |
909.26/909.99 c | 952658 | 841 120147 314766 | 2147483647 66668 46 | 0.010 % |
915.76/916.47 c | 959080 | 841 120147 314766 | 2147483647 73090 47 | 0.011 % |
922.75/923.40 c | 966139 | 841 120147 314766 | 2147483647 80149 52 | 0.000 % |
931.06/931.76 c | 973904 | 841 120147 314766 | 84010 77703 53 | 0.010 % |
941.55/942.24 c | 982447 | 841 120147 314766 | 83801 74352 54 | 0.010 % |
941.65/942.35 c | 982547 | 841 120147 314766 | 83801 74452 54 | 0.000 % |
941.75/942.47 c | 982657 | 841 120147 314766 | 83801 74562 54 | 0.000 % |
941.95/942.62 c | 982779 | 841 120147 314766 | 83801 74684 54 | 0.010 % |
942.05/942.77 c | 982915 | 841 120147 314766 | 83801 74820 54 | 0.010 % |
942.25/942.95 c | 983063 | 841 120147 314766 | 83801 74968 54 | 0.010 % |
942.45/943.11 c | 983223 | 841 120147 314766 | 83801 75128 54 | 0.000 % |
942.64/943.30 c | 983399 | 841 120147 314766 | 83801 75304 54 | 0.000 % |
942.74/943.49 c | 983592 | 841 120147 314766 | 83801 75497 54 | 0.000 % |
942.94/943.67 c | 983805 | 841 120147 314766 | 83801 75710 54 | 0.000 % |
943.24/943.90 c | 984039 | 841 120147 314766 | 83801 75944 54 | 0.010 % |
943.44/944.10 c | 984296 | 841 120147 314766 | 83801 76201 54 | 0.000 % |
943.64/944.39 c | 984578 | 841 120147 314766 | 83801 76483 54 | 0.000 % |
944.04/944.74 c | 984888 | 841 120147 314766 | 83801 76793 55 | 0.000 % |
944.44/945.18 c | 985227 | 841 120147 314766 | 83801 77132 55 | 0.010 % |
944.84/945.59 c | 985605 | 841 120147 314766 | 83801 77510 55 | 0.010 % |
945.35/946.02 c | 986014 | 841 120147 314766 | 83801 77919 55 | 0.010 % |
945.74/946.44 c | 986464 | 841 120147 314766 | 83801 78369 55 | 0.000 % |
946.24/946.99 c | 986957 | 841 120147 314766 | 83801 78862 55 | 0.010 % |
946.94/947.66 c | 987501 | 841 120147 314766 | 83801 79406 55 | 0.010 % |
947.55/948.26 c | 988097 | 841 120147 314766 | 83801 80002 55 | 0.000 % |
948.24/948.98 c | 988752 | 841 120147 314766 | 83801 80657 56 | 0.000 % |
949.04/949.76 c | 989473 | 841 120147 314766 | 83801 81378 56 | 0.010 % |
949.94/950.68 c | 990267 | 841 120147 314766 | 81905 82172 56 | 0.010 % |
951.14/951.88 c | 991139 | 841 120147 314766 | 81905 71199 58 | 0.010 % |
952.23/952.96 c | 992104 | 841 120147 314766 | 81905 72164 57 | 0.010 % |
953.43/954.14 c | 993157 | 841 120147 314766 | 81905 73217 57 | 0.000 % |
954.53/955.28 c | 994316 | 841 120147 314766 | 81905 74376 57 | 0.010 % |
955.93/956.66 c | 995589 | 841 120147 314766 | 81905 75649 57 | 0.010 % |
957.34/958.01 c | 996989 | 841 120147 314766 | 81905 77049 57 | 0.000 % |
958.73/959.49 c | 998531 | 841 120147 314766 | 81905 78591 57 | 0.010 % |
960.93/961.62 c | 1000228 | 841 120147 314766 | 80061 80288 58 | 0.000 % |
963.03/963.71 c | 1002093 | 841 120147 314766 | 80061 70097 57 | 0.010 % |
965.13/965.89 c | 1004143 | 841 120147 314766 | 80061 72147 58 | 0.000 % |
967.73/968.47 c | 1006398 | 841 120147 314766 | 80061 74402 58 | 0.010 % |
970.73/971.49 c | 1008877 | 841 120147 314766 | 80061 76881 58 | 0.010 % |
974.52/975.20 c | 1011606 | 841 120147 314766 | 78004 67229 57 | 0.011 % |
977.82/978.55 c | 1014604 | 841 120147 314766 | 78004 70227 56 | 0.011 % |
981.82/982.55 c | 1017901 | 841 120147 314766 | 78004 73524 56 | 0.011 % |
985.62/986.38 c | 1021528 | 841 120147 314766 | 75624 65230 51 | 0.000 % |
989.92/990.63 c | 1025515 | 841 120147 314766 | 75624 69217 54 | 0.000 % |
994.92/995.67 c | 1029901 | 841 120147 314766 | 75624 73603 57 | 0.000 % |
1000.10/1000.89 c | 1034724 | 841 120147 314766 | 73702 67160 54 | 0.010 % |
1005.90/1006.69 c | 1040032 | 841 120147 314766 | 72436 72468 53 | 0.010 % |
1012.70/1013.46 c | 1045868 | 841 120147 314766 | 72436 68488 56 | 0.000 % |
1018.80/1019.53 c | 1052287 | 841 120147 314766 | 72621 64349 53 | 0.010 % |
1026.60/1027.34 c | 1059347 | 841 120147 314766 | 72621 71409 52 | 0.010 % |
1035.79/1036.50 c | 1067117 | 841 120147 314766 | 72064 67739 51 | 0.010 % |
1045.48/1046.21 c | 1075660 | 841 120147 314766 | 70626 64468 47 | 0.010 % |
1055.28/1056.01 c | 1085055 | 841 120147 314766 | 68808 62749 49 | 0.010 % |
1055.38/1056.12 c | 1085155 | 841 120147 314766 | 68808 62849 49 | 0.000 % |
1055.48/1056.24 c | 1085266 | 841 120147 314766 | 68808 62960 49 | 0.000 % |
1055.58/1056.37 c | 1085390 | 841 120147 314766 | 68808 63084 49 | 0.010 % |
1055.78/1056.52 c | 1085526 | 841 120147 314766 | 68808 63220 49 | 0.010 % |
1055.98/1056.71 c | 1085672 | 841 120147 314766 | 68808 63366 49 | 0.000 % |
1056.08/1056.86 c | 1085833 | 841 120147 314766 | 68808 63527 49 | 0.010 % |
1056.28/1057.02 c | 1086009 | 841 120147 314766 | 68808 63703 49 | 0.010 % |
1056.38/1057.17 c | 1086202 | 841 120147 314766 | 68808 63896 49 | 0.000 % |
1056.58/1057.37 c | 1086414 | 841 120147 314766 | 68808 64108 49 | 0.000 % |
1056.88/1057.62 c | 1086647 | 841 120147 314766 | 68808 64341 49 | 0.010 % |
1057.08/1057.83 c | 1086904 | 841 120147 314766 | 68808 64598 49 | 0.010 % |
1057.38/1058.13 c | 1087185 | 841 120147 314766 | 68808 64879 49 | 0.010 % |
1057.68/1058.43 c | 1087494 | 841 120147 314766 | 68808 65188 49 | 0.010 % |
1057.98/1058.72 c | 1087833 | 841 120147 314766 | 68808 65527 49 | 0.010 % |
1058.28/1059.06 c | 1088207 | 841 120147 314766 | 68808 65901 49 | 0.010 % |
1058.68/1059.43 c | 1088616 | 841 120147 314766 | 68808 66310 49 | 0.000 % |
1059.08/1059.89 c | 1089065 | 841 120147 314766 | 68808 66759 49 | 0.000 % |
1059.58/1060.34 c | 1089558 | 841 120147 314766 | 68808 67252 50 | 0.000 % |
1060.18/1060.97 c | 1090100 | 841 120147 314766 | 67695 67794 50 | 0.000 % |
1060.78/1061.57 c | 1090696 | 841 120147 314766 | 67695 59649 46 | 0.010 % |
1061.48/1062.25 c | 1091351 | 841 120147 314766 | 67695 60304 46 | 0.010 % |
1062.08/1062.90 c | 1092073 | 841 120147 314766 | 67695 61026 46 | 0.010 % |
1062.78/1063.57 c | 1092865 | 841 120147 314766 | 67695 61818 47 | 0.000 % |
1063.68/1064.48 c | 1093736 | 841 120147 314766 | 67695 62689 47 | 0.000 % |
1064.58/1065.37 c | 1094695 | 841 120147 314766 | 67695 63648 47 | 0.010 % |
1065.57/1066.30 c | 1095748 | 841 120147 314766 | 67695 64701 47 | 0.010 % |
1066.47/1067.29 c | 1096907 | 841 120147 314766 | 67695 65860 46 | 0.010 % |
1067.77/1068.51 c | 1098182 | 841 120147 314766 | 67695 67135 46 | 0.010 % |
1069.17/1069.91 c | 1099586 | 841 120147 314766 | 67695 61738 45 | 0.010 % |
1070.68/1071.40 c | 1101127 | 841 120147 314766 | 2147483647 63279 46 | 0.000 % |
1072.07/1072.87 c | 1102823 | 841 120147 314766 | 2147483647 64975 46 | 0.009 % |
1073.67/1074.48 c | 1104687 | 841 120147 314766 | 2147483647 66839 46 | 0.009 % |
1075.77/1076.56 c | 1106736 | 841 120147 314766 | 2147483647 68888 46 | 0.010 % |
1077.87/1078.70 c | 1108989 | 841 120147 314766 | 2147483647 71141 46 | 0.010 % |
1080.37/1081.13 c | 1111467 | 841 120147 314766 | 2147483647 73619 46 | 0.010 % |
1083.17/1083.93 c | 1114192 | 841 120147 314766 | 2147483647 76344 46 | 0.010 % |
1085.96/1086.80 c | 1117189 | 841 120147 314766 | 2147483647 79341 46 | 0.010 % |
1089.96/1090.74 c | 1120488 | 841 120147 314766 | 82152 73247 46 | 0.000 % |
1093.96/1094.78 c | 1124117 | 841 120147 314766 | 82152 76876 46 | 0.010 % |
1097.96/1098.76 c | 1128107 | 841 120147 314766 | 82152 80866 46 | 0.010 % |
1102.16/1102.99 c | 1132492 | 841 120147 314766 | 71433 64462 44 | 0.010 % |
1106.86/1107.69 c | 1137316 | 841 120147 314766 | 71433 69286 45 | 0.010 % |
1112.05/1112.89 c | 1142624 | 841 120147 314766 | 63609 58659 43 | 0.010 % |
1118.05/1118.83 c | 1148461 | 841 120147 314766 | 63609 57067 42 | 0.010 % |
1123.75/1124.55 c | 1154879 | 841 120147 314766 | 58608 56985 41 | 0.010 % |
1129.45/1130.24 c | 1161941 | 841 120147 314766 | 2147483647 58155 41 | 0.000 % |
1135.74/1136.54 c | 1169706 | 841 120147 314766 | 2147483647 65920 41 | 0.010 % |
1142.84/1143.66 c | 1178246 | 841 120147 314766 | 2147483647 74460 42 | 0.010 % |
1151.83/1152.68 c | 1187640 | 841 120147 314766 | 2147483647 83854 42 | 0.010 % |
1162.23/1163.03 c | 1197973 | 841 120147 314766 | 2147483647 94187 42 | 0.000 % |
1162.33/1163.14 c | 1198074 | 841 120147 314766 | 2147483647 94288 42 | 0.000 % |
1162.43/1163.23 c | 1198186 | 841 120147 314766 | 2147483647 94400 42 | 0.000 % |
1162.53/1163.37 c | 1198307 | 841 120147 314766 | 2147483647 94521 42 | 0.000 % |
1162.73/1163.52 c | 1198442 | 841 120147 314766 | 2147483647 94656 42 | 0.010 % |
1162.83/1163.66 c | 1198588 | 841 120147 314766 | 2147483647 94802 42 | 0.010 % |
1163.03/1163.82 c | 1198748 | 841 120147 314766 | 2147483647 94962 42 | 0.000 % |
1163.13/1163.97 c | 1198928 | 841 120147 314766 | 2147483647 95142 42 | 0.010 % |
1163.33/1164.20 c | 1199121 | 841 120147 314766 | 2147483647 95335 42 | 0.010 % |
1163.63/1164.43 c | 1199333 | 841 120147 314766 | 2147483647 95547 42 | 0.010 % |
1163.83/1164.61 c | 1199566 | 841 120147 314766 | 2147483647 95780 42 | 0.000 % |
1164.03/1164.86 c | 1199822 | 841 120147 314766 | 2147483647 96036 42 | 0.000 % |
1164.33/1165.14 c | 1200104 | 841 120147 314766 | 96214 96318 42 | 0.000 % |
1164.73/1165.51 c | 1200414 | 841 120147 314766 | 96214 84977 41 | 0.010 % |
1165.03/1165.88 c | 1200753 | 841 120147 314766 | 96214 85316 41 | 0.000 % |
1165.43/1166.26 c | 1201125 | 841 120147 314766 | 96214 85688 41 | 0.011 % |
1165.83/1166.65 c | 1201538 | 841 120147 314766 | 96214 86101 41 | 0.000 % |
1166.13/1166.97 c | 1201989 | 841 120147 314766 | 96214 86552 42 | 0.000 % |
1166.53/1167.35 c | 1202482 | 841 120147 314766 | 96214 87045 42 | 0.010 % |
1167.03/1167.87 c | 1203027 | 841 120147 314766 | 96214 87590 42 | 0.010 % |
1167.53/1168.39 c | 1203623 | 841 120147 314766 | 96214 88186 42 | 0.000 % |
1168.23/1169.04 c | 1204278 | 841 120147 314766 | 96214 88841 42 | 0.000 % |
1168.93/1169.78 c | 1204999 | 841 120147 314766 | 96214 89562 42 | 0.010 % |
1169.73/1170.55 c | 1205793 | 841 120147 314766 | 96214 90356 42 | 0.010 % |
1170.63/1171.40 c | 1206664 | 841 120147 314766 | 96214 91227 42 | 0.010 % |
1171.52/1172.30 c | 1207622 | 841 120147 314766 | 96214 92185 42 | 0.010 % |
1172.52/1173.31 c | 1208675 | 841 120147 314766 | 96214 93238 42 | 0.010 % |
1173.72/1174.50 c | 1209836 | 841 120147 314766 | 96214 94399 42 | 0.010 % |
1174.92/1175.79 c | 1211109 | 841 120147 314766 | 2147483647 95672 42 | 0.010 % |
1176.32/1177.14 c | 1212512 | 841 120147 314766 | 2147483647 97075 42 | 0.010 % |
1177.62/1178.44 c | 1214055 | 841 120147 314766 | 2147483647 98618 43 | 0.000 % |
1179.12/1179.91 c | 1215749 | 841 120147 314766 | 2147483647 100312 44 | 0.000 % |
1180.92/1181.79 c | 1217614 | 841 120147 314766 | 2147483647 102177 44 | 0.010 % |
1183.02/1183.87 c | 1219664 | 841 120147 314766 | 2147483647 104227 44 | 0.010 % |
1185.51/1186.38 c | 1221918 | 841 120147 314766 | 104565 94635 43 | 0.010 % |
1188.11/1188.96 c | 1224396 | 841 120147 314766 | 104565 97113 43 | 0.010 % |
1191.11/1191.97 c | 1227123 | 841 120147 314766 | 104565 99840 43 | 0.000 % |
1194.41/1195.27 c | 1230120 | 841 120147 314766 | 102719 102837 43 | 0.010 % |
1198.11/1199.00 c | 1233416 | 841 120147 314766 | 102719 92502 44 | 0.010 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832109-1242769182/watcher-1832109-1242769182 -o /tmp/evaluation-result-1832109-1242769182/solver-1832109-1242769182 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832109-1242769182.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304944566 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 227607806034 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10208/statm: 1339 235 195 169 0 50 0
[pid=10209] ppid=10208 vsize=5356 CPUtime=0
/proc/10209/stat : 10209 (SatELiteGTI) S 10208 10208 10088 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304944567 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10209/statm: 1339 238 198 169 0 50 0
[pid=10211] ppid=10209 vsize=240 CPUtime=0
/proc/10211/stat : 10211 (sed) R 10209 10208 10088 0 -1 4194304 47 0 0 0 0 0 0 0 18 0 1 0 304944567 245760 28 1992294400 4194304 4240196 548682069056 18446744073709551615 227604984140 0 0 4096 0 0 0 0 17 0 0 0
/proc/10211/statm: 623 31 23 11 0 15 0
[startup+0.0829181 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304944566 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102917 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304944566 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10208/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301953 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.70203 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 10208
/proc/meminfo: memFree=1855656/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50119 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1846616/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=8524 CPUtime=1.3
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 2014 0 0 0 129 1 0 0 25 0 1 0 304944585 8728576 2000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 2131 2000 77 171 0 1958 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13880
[startup+3.1015 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1845080/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=10240 CPUtime=2.89
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 2454 0 0 0 288 1 0 0 25 0 1 0 304944585 10485760 2440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 2560 2440 77 171 0 2387 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15596
[startup+6.30213 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1841752/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=13188 CPUtime=6.1
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 3167 0 0 0 608 2 0 0 25 0 1 0 304944585 13504512 3153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 3297 3153 77 171 0 3124 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18544
[startup+12.7014 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1837344/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=17364 CPUtime=12.48
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 4226 0 0 0 1244 4 0 0 25 0 1 0 304944585 17780736 4212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 4341 4212 77 171 0 4168 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22720
[startup+25.5019 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1830496/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=23964 CPUtime=25.27
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 5862 0 0 0 2521 6 0 0 25 0 1 0 304944585 24539136 5848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 5991 5848 77 171 0 5818 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29320
[startup+51.1019 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1820768/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=33664 CPUtime=50.84
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 8271 0 0 0 5076 8 0 0 25 0 1 0 304944585 34471936 8257 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 8416 8257 77 171 0 8243 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 39020
[startup+102.307 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1808416/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=45724 CPUtime=102
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11296 0 0 0 10190 10 0 0 25 0 1 0 304944585 46821376 11282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11431 11282 77 171 0 11258 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 51080
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1808160/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46000 CPUtime=161.96
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11333 0 0 0 16185 11 0 0 25 0 1 0 304944585 47104000 11319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11500 11319 77 171 0 11327 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 51356
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10214
/proc/meminfo: memFree=1807968/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46000 CPUtime=221.92
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11355 0 0 0 22181 11 0 0 25 0 1 0 304944585 47104000 11341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11500 11341 77 171 0 11327 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 51356
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807392/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=281.86
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11374 0 0 0 28175 11 0 0 25 0 1 0 304944585 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 51532
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807456/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=341.82
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11374 0 0 0 34171 11 0 0 25 0 1 0 304944585 47284224 11360 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11544 11360 77 171 0 11371 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 51532
[startup+402.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807392/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46176 CPUtime=401.78
################
# More data... #
################
/proc/10214/statm: 11544 11369 77 171 0 11371 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 51532
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807136/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=581.67
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11398 0 0 0 58155 12 0 0 25 0 1 0 304944585 47419392 11384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11384 77 171 0 11404 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 51664
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1807072/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=641.64
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11398 0 0 0 64152 12 0 0 25 0 1 0 304944585 47419392 11384 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11384 77 171 0 11404 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 51664
[startup+702.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806816/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46308 CPUtime=701.61
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11416 0 0 0 70149 12 0 0 25 0 1 0 304944585 47419392 11402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11577 11402 77 171 0 11404 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 51664
[startup+762.307 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806624/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46460 CPUtime=761.58
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11446 0 0 0 76146 12 0 0 25 0 1 0 304944585 47575040 11432 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11615 11432 77 171 0 11442 0
Current children cumulated CPU time (s) 761.75
Current children cumulated vsize (KiB) 51816
[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806560/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46460 CPUtime=821.54
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11453 0 0 0 82142 12 0 0 25 0 1 0 304944585 47575040 11439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11615 11439 77 171 0 11442 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 51816
[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806496/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=881.5
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11470 0 0 0 88138 12 0 0 25 0 1 0 304944585 47726592 11456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11456 77 171 0 11479 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 51964
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806368/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=941.48
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11480 0 0 0 94136 12 0 0 25 0 1 0 304944585 47726592 11466 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11466 77 171 0 11479 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 51964
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806240/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46608 CPUtime=1001.43
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11489 0 0 0 100131 12 0 0 25 0 1 0 304944585 47726592 11475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11652 11475 77 171 0 11479 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 51964
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1806112/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46760 CPUtime=1061.41
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11505 0 0 0 106129 12 0 0 25 0 1 0 304944585 47882240 11491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11690 11491 77 171 0 11517 0
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (KiB) 52116
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805920/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46760 CPUtime=1121.38
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11506 0 0 0 112126 12 0 0 25 0 1 0 304944585 47882240 11492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11690 11492 77 171 0 11517 0
Current children cumulated CPU time (s) 1121.55
Current children cumulated vsize (KiB) 52116
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805792/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46900 CPUtime=1181.35
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11543 0 0 0 118123 12 0 0 25 0 1 0 304944585 48025600 11529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11725 11529 77 171 0 11552 0
Current children cumulated CPU time (s) 1181.52
Current children cumulated vsize (KiB) 52256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 10216
/proc/meminfo: memFree=1805664/2055920 swapFree=4179876/4192956
[pid=10208] ppid=10206 vsize=5356 CPUtime=0.17
/proc/10208/stat : 10208 (SatELiteGTI) S 10206 10208 10088 0 -1 4194304 336 1986 0 0 0 0 15 2 16 0 1 0 304944566 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10208/statm: 1339 239 197 169 0 50 0
[pid=10214] ppid=10208 vsize=46900 CPUtime=1199.84
/proc/10214/stat : 10214 (minisat_static) R 10208 10208 10088 0 -1 4194304 11543 0 0 0 119972 12 0 0 25 0 1 0 304944585 48025600 11529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/10214/statm: 11725 11529 77 171 0 11552 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 52256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10208 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=154976
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.180972
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.01
CPU user time (s): 1199.87
CPU system time (s): 0.14
CPU usage (%): 99.9332
Max. virtual memory (cumulated for all children) (KiB): 52256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.154976
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 8
runsolver used 1.13983 second user time and 3.35449 second system time
The end
Begin job on node66 at 2009-05-19 23:39:42
IDJOB=1832109
IDBENCH=20491
IDSOLVER=671
FILE ID=node66/1832109-1242769182
PBS_JOBID= 9322236
Free space on /tmp= 66440 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-1832109-1242769182/watcher-1832109-1242769182 -o /tmp/evaluation-result-1832109-1242769182/solver-1832109-1242769182 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832109-1242769182.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED=1104871197
node66.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.263
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 : 5931.00
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.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1856136 kB
Buffers: 12864 kB
Cached: 146612 kB
SwapCached: 7328 kB
Active: 23476 kB
Inactive: 144872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1856136 kB
SwapTotal: 4192956 kB
SwapFree: 4179876 kB
Dirty: 3252 kB
Writeback: 0 kB
Mapped: 13980 kB
Slab: 17540 kB
Committed_AS: 1110716 kB
PageTables: 1364 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66436 MiB
End job on node66 at 2009-05-19 23:59:45