0.00/0.00 c Parsing...
0.04/0.07 c ==============================================================================
0.04/0.07 c | | ORIGINAL | LEARNT | |
0.04/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.07 c ==============================================================================
0.04/0.07 c | 0 | 120147 314766 | 36044 0 0 nan | 0.000 % |
0.04/0.08 c ==============================================================================
0.04/0.08 c Result : #vars: 841 #clauses: 120147 #literals: 314766
0.04/0.08 c CPU time: 0.05 s
0.04/0.08 c ==============================================================================
0.13/0.18 c This is MiniSat 2.0 beta
0.13/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.13/0.18 c ============================[ Problem Statistics ]=============================
0.13/0.18 c | |
0.13/0.18 c | Number of variables: 841 |
0.13/0.18 c | Number of clauses: 120147 |
0.19/0.24 c | Parsing time: 0.06 s |
0.19/0.24 c ============================[ Search Statistics ]==============================
0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.19/0.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.19/0.24 c ===============================================================================
0.19/0.24 c | 0 | 841 120147 314766 | 40049 0 nan | 0.000 % |
0.19/0.28 c | 101 | 841 120147 314766 | 40049 101 46 | 0.000 % |
0.19/0.30 c | 201 | 841 120147 314766 | 40049 201 39 | 0.010 % |
0.19/0.33 c | 302 | 841 120147 314766 | 40049 302 32 | 0.010 % |
0.19/0.35 c | 412 | 841 120147 314766 | 40049 412 32 | 0.010 % |
0.19/0.37 c | 512 | 841 120147 314766 | 40049 512 29 | 0.010 % |
0.19/0.39 c | 622 | 841 120147 314766 | 40049 622 36 | 0.000 % |
0.19/0.41 c | 743 | 841 120147 314766 | 40049 743 37 | 0.000 % |
0.19/0.42 c | 847 | 841 120147 314766 | 40049 847 36 | 0.010 % |
0.19/0.44 c | 958 | 841 120147 314766 | 40049 958 35 | 0.010 % |
0.19/0.46 c | 1082 | 841 120147 314766 | 40049 1082 34 | 0.010 % |
0.19/0.48 c | 1216 | 841 120147 314766 | 40049 1216 39 | 0.000 % |
0.19/0.49 c | 1318 | 841 120147 314766 | 40049 1318 39 | 0.000 % |
0.19/0.51 c | 1431 | 841 120147 314766 | 40049 1431 40 | 0.010 % |
0.19/0.52 c | 1554 | 841 120147 314766 | 40049 1554 39 | 0.010 % |
0.19/0.54 c | 1687 | 841 120147 314766 | 40049 1687 44 | 0.000 % |
0.19/0.57 c | 1836 | 841 120147 314766 | 40049 1836 44 | 0.000 % |
0.19/0.58 c | 1936 | 841 120147 314766 | 40049 1936 43 | 0.010 % |
0.19/0.60 c | 2049 | 841 120147 314766 | 40049 2049 42 | 0.010 % |
0.19/0.61 c | 2170 | 841 120147 314766 | 40049 2170 44 | 0.000 % |
0.19/0.63 c | 2304 | 841 120147 314766 | 40049 2304 45 | 0.010 % |
0.19/0.65 c | 2451 | 841 120147 314766 | 40049 2451 45 | 0.010 % |
0.19/0.68 c | 2612 | 841 120147 314766 | 40049 2612 46 | 0.010 % |
0.19/0.70 c | 2712 | 841 120147 314766 | 40049 2712 46 | 0.010 % |
0.19/0.72 c | 2822 | 841 120147 314766 | 40049 2822 46 | 0.010 % |
0.19/0.74 c | 2945 | 841 120147 314766 | 40049 2945 45 | 0.010 % |
0.19/0.77 c | 3080 | 841 120147 314766 | 40049 3080 45 | 0.010 % |
0.19/0.79 c | 3226 | 841 120147 314766 | 40049 3226 46 | 0.000 % |
0.19/0.82 c | 3387 | 841 120147 314766 | 40049 3387 46 | 0.010 % |
0.19/0.84 c | 3563 | 841 120147 314766 | 40049 3563 46 | 0.010 % |
0.19/0.86 c | 3663 | 841 120147 314766 | 40049 3663 47 | 0.000 % |
0.19/0.88 c | 3778 | 841 120147 314766 | 40049 3778 47 | 0.000 % |
0.19/0.90 c | 3903 | 841 120147 314766 | 40049 3903 46 | 0.010 % |
0.19/0.92 c | 4036 | 841 120147 314766 | 40049 4036 46 | 0.010 % |
0.19/0.94 c | 4187 | 841 120147 314766 | 40049 4187 48 | 0.000 % |
0.19/0.97 c | 4348 | 841 120147 314766 | 40049 4348 48 | 0.000 % |
0.19/0.99 c | 4524 | 841 120147 314766 | 40049 4524 47 | 0.009 % |
1.03/1.02 c | 4718 | 841 120147 314766 | 40049 4718 50 | 0.000 % |
1.03/1.04 c | 4819 | 841 120147 314766 | 40049 4819 50 | 0.000 % |
1.03/1.06 c | 4929 | 841 120147 314766 | 40049 4929 49 | 0.010 % |
1.03/1.08 c | 5054 | 841 120147 314766 | 40049 5054 49 | 0.010 % |
1.03/1.10 c | 5187 | 841 120147 314766 | 40049 5187 50 | 0.000 % |
1.13/1.12 c | 5335 | 841 120147 314766 | 40049 5335 49 | 0.000 % |
1.13/1.15 c | 5497 | 841 120147 314766 | 40049 5497 49 | 0.010 % |
1.13/1.17 c | 5673 | 841 120147 314766 | 40049 5673 48 | 0.010 % |
1.13/1.20 c | 5868 | 841 120147 314766 | 40049 5868 48 | 0.010 % |
1.23/1.24 c | 6083 | 841 120147 314766 | 40049 6083 47 | 0.010 % |
1.23/1.26 c | 6183 | 841 120147 314766 | 40049 6183 48 | 0.000 % |
1.23/1.28 c | 6295 | 841 120147 314766 | 40049 6295 48 | 0.010 % |
1.23/1.30 c | 6417 | 841 120147 314766 | 40049 6417 47 | 0.010 % |
1.33/1.32 c | 6551 | 841 120147 314766 | 40049 6551 47 | 0.010 % |
1.33/1.35 c | 6698 | 841 120147 314766 | 40049 6698 48 | 0.000 % |
1.33/1.38 c | 6858 | 841 120147 314766 | 40049 6858 48 | 0.000 % |
1.33/1.41 c | 7035 | 841 120147 314766 | 40049 7035 47 | 0.010 % |
1.43/1.44 c | 7229 | 841 120147 314766 | 40049 7229 48 | 0.000 % |
1.43/1.48 c | 7442 | 841 120147 314766 | 40049 7442 48 | 0.000 % |
1.53/1.52 c | 7675 | 841 120147 314766 | 40049 7675 48 | 0.000 % |
1.53/1.54 c | 7775 | 841 120147 314766 | 40049 7775 48 | 0.010 % |
1.53/1.56 c | 7889 | 841 120147 314766 | 40049 7889 48 | 0.010 % |
1.53/1.58 c | 8013 | 841 120147 314766 | 40049 8013 47 | 0.010 % |
1.53/1.60 c | 8149 | 841 120147 314766 | 40049 8149 48 | 0.000 % |
1.63/1.63 c | 8295 | 841 120147 314766 | 40049 8295 49 | 0.000 % |
1.63/1.67 c | 8455 | 841 120147 314766 | 40049 8455 48 | 0.010 % |
1.63/1.70 c | 8631 | 841 120147 314766 | 40049 8631 48 | 0.010 % |
1.73/1.74 c | 8827 | 841 120147 314766 | 40049 8827 48 | 0.010 % |
1.73/1.78 c | 9040 | 841 120147 314766 | 40049 9040 47 | 0.000 % |
1.83/1.82 c | 9275 | 841 120147 314766 | 40049 9275 48 | 0.000 % |
1.83/1.87 c | 9531 | 841 120147 314766 | 40049 9531 48 | 0.010 % |
1.83/1.89 c | 9633 | 841 120147 314766 | 40049 9633 48 | 0.000 % |
1.83/1.91 c | 9743 | 841 120147 314766 | 40049 9743 48 | 0.010 % |
1.93/1.93 c | 9865 | 841 120147 314766 | 40049 9865 48 | 0.000 % |
1.93/1.96 c | 10003 | 841 120147 314766 | 40049 10003 48 | 0.010 % |
1.93/1.99 c | 10149 | 841 120147 314766 | 2147483647 10149 48 | 0.000 % |
2.03/2.02 c | 10309 | 841 120147 314766 | 2147483647 10309 48 | 0.000 % |
2.03/2.06 c | 10486 | 841 120147 314766 | 2147483647 10486 48 | 0.010 % |
2.03/2.11 c | 10680 | 841 120147 314766 | 2147483647 10680 47 | 0.010 % |
2.13/2.16 c | 10892 | 841 120147 314766 | 2147483647 10892 47 | 0.010 % |
2.23/2.22 c | 11127 | 841 120147 314766 | 2147483647 11127 46 | 0.010 % |
2.23/2.28 c | 11383 | 841 120147 314766 | 2147483647 11383 46 | 0.010 % |
2.33/2.35 c | 11667 | 841 120147 314766 | 2147483647 11667 45 | 0.010 % |
2.33/2.37 c | 11767 | 841 120147 314766 | 2147483647 11767 45 | 0.010 % |
2.33/2.39 c | 11879 | 841 120147 314766 | 2147483647 11879 45 | 0.010 % |
2.43/2.42 c | 12001 | 841 120147 314766 | 2147483647 12001 45 | 0.010 % |
2.43/2.45 c | 12135 | 841 120147 314766 | 2147483647 12135 45 | 0.000 % |
2.43/2.48 c | 12281 | 841 120147 314766 | 2147483647 12281 45 | 0.010 % |
2.43/2.51 c | 12441 | 841 120147 314766 | 2147483647 12441 45 | 0.010 % |
2.53/2.55 c | 12617 | 841 120147 314766 | 2147483647 12617 45 | 0.010 % |
2.53/2.59 c | 12811 | 841 120147 314766 | 2147483647 12811 45 | 0.010 % |
2.63/2.64 c | 13023 | 841 120147 314766 | 2147483647 13023 44 | 0.010 % |
2.63/2.69 c | 13257 | 841 120147 314766 | 2147483647 13257 45 | 0.000 % |
2.73/2.74 c | 13513 | 841 120147 314766 | 2147483647 13513 45 | 0.010 % |
2.73/2.80 c | 13795 | 841 120147 314766 | 2147483647 13795 46 | 0.000 % |
2.83/2.87 c | 14104 | 841 120147 314766 | 2147483647 14104 45 | 0.010 % |
2.83/2.89 c | 14204 | 841 120147 314766 | 2147483647 14204 45 | 0.010 % |
2.93/2.92 c | 14314 | 841 120147 314766 | 2147483647 14314 45 | 0.010 % |
2.93/2.95 c | 14435 | 841 120147 314766 | 2147483647 14435 45 | 0.010 % |
2.93/2.98 c | 14570 | 841 120147 314766 | 2147483647 14570 45 | 0.010 % |
2.93/3.00 c | 14718 | 841 120147 314766 | 2147483647 14718 45 | 0.000 % |
3.03/3.04 c | 14878 | 841 120147 314766 | 2147483647 14878 45 | 0.000 % |
3.03/3.09 c | 15055 | 841 120147 314766 | 2147483647 15055 45 | 0.009 % |
3.13/3.13 c | 15249 | 841 120147 314766 | 2147483647 15249 45 | 0.000 % |
3.13/3.18 c | 15462 | 841 120147 314766 | 2147483647 15462 45 | 0.010 % |
3.23/3.23 c | 15695 | 841 120147 314766 | 2147483647 15695 45 | 0.010 % |
3.23/3.30 c | 15952 | 841 120147 314766 | 2147483647 15952 45 | 0.010 % |
3.33/3.36 c | 16234 | 841 120147 314766 | 2147483647 16234 44 | 0.010 % |
3.43/3.42 c | 16543 | 841 120147 314766 | 2147483647 16543 44 | 0.010 % |
3.43/3.50 c | 16885 | 841 120147 314766 | 2147483647 16885 45 | 0.000 % |
3.53/3.52 c | 16986 | 841 120147 314766 | 2147483647 16986 45 | 0.010 % |
3.53/3.54 c | 17096 | 841 120147 314766 | 2147483647 17096 45 | 0.010 % |
3.53/3.57 c | 17217 | 841 120147 314766 | 2147483647 17217 45 | 0.000 % |
3.53/3.61 c | 17350 | 841 120147 314766 | 2147483647 17350 45 | 0.010 % |
3.63/3.64 c | 17496 | 841 120147 314766 | 2147483647 17496 45 | 0.009 % |
3.63/3.68 c | 17656 | 841 120147 314766 | 2147483647 17656 45 | 0.009 % |
3.73/3.72 c | 17834 | 841 120147 314766 | 2147483647 17834 45 | 0.009 % |
3.73/3.76 c | 18028 | 841 120147 314766 | 2147483647 18028 44 | 0.000 % |
3.73/3.81 c | 18241 | 841 120147 314766 | 2147483647 18241 45 | 0.000 % |
3.83/3.87 c | 18474 | 841 120147 314766 | 2147483647 18474 45 | 0.000 % |
3.93/3.94 c | 18730 | 841 120147 314766 | 2147483647 18730 45 | 0.010 % |
3.93/4.01 c | 19013 | 841 120147 314766 | 2147483647 19013 45 | 0.000 % |
4.03/4.08 c | 19324 | 841 120147 314766 | 2147483647 19324 45 | 0.000 % |
4.13/4.17 c | 19663 | 841 120147 314766 | 2147483647 19663 45 | 0.010 % |
4.23/4.29 c | 20038 | 841 120147 314766 | 2147483647 20038 45 | 0.010 % |
4.23/4.31 c | 20139 | 841 120147 314766 | 2147483647 20139 45 | 0.000 % |
4.33/4.34 c | 20250 | 841 120147 314766 | 2147483647 20250 45 | 0.010 % |
4.33/4.37 c | 20372 | 841 120147 314766 | 2147483647 20372 45 | 0.010 % |
4.33/4.40 c | 20506 | 841 120147 314766 | 2147483647 20506 45 | 0.010 % |
4.43/4.44 c | 20652 | 841 120147 314766 | 2147483647 20652 45 | 0.000 % |
4.43/4.49 c | 20812 | 841 120147 314766 | 2147483647 20812 45 | 0.000 % |
4.53/4.53 c | 20988 | 841 120147 314766 | 2147483647 20988 45 | 0.010 % |
4.53/4.59 c | 21184 | 841 120147 314766 | 2147483647 21184 45 | 0.009 % |
4.63/4.66 c | 21399 | 841 120147 314766 | 2147483647 21399 45 | 0.010 % |
4.73/4.72 c | 21634 | 841 120147 314766 | 2147483647 21634 44 | 0.009 % |
4.73/4.78 c | 21893 | 841 120147 314766 | 2147483647 21893 44 | 0.009 % |
4.83/4.87 c | 22175 | 841 120147 314766 | 2147483647 22175 44 | 0.010 % |
4.93/4.94 c | 22486 | 841 120147 314766 | 2147483647 22486 44 | 0.010 % |
5.03/5.04 c | 22827 | 841 120147 314766 | 2147483647 22827 44 | 0.010 % |
5.13/5.14 c | 23199 | 841 120147 314766 | 2147483647 23199 43 | 0.010 % |
5.23/5.24 c | 23608 | 841 120147 314766 | 2147483647 23608 43 | 0.010 % |
5.23/5.28 c | 23710 | 841 120147 314766 | 2147483647 23710 43 | 0.009 % |
5.23/5.31 c | 23822 | 841 120147 314766 | 2147483647 23822 43 | 0.010 % |
5.33/5.35 c | 23945 | 841 120147 314766 | 2147483647 23945 43 | 0.009 % |
5.33/5.38 c | 24079 | 841 120147 314766 | 2147483647 24079 43 | 0.009 % |
5.43/5.42 c | 24226 | 841 120147 314766 | 2147483647 24226 43 | 0.000 % |
5.43/5.46 c | 24386 | 841 120147 314766 | 2147483647 24386 44 | 0.010 % |
5.43/5.51 c | 24562 | 841 120147 314766 | 2147483647 24562 43 | 0.010 % |
5.53/5.55 c | 24756 | 841 120147 314766 | 2147483647 24756 44 | 0.000 % |
5.53/5.61 c | 24969 | 841 120147 314766 | 2147483647 24969 44 | 0.010 % |
5.63/5.67 c | 25204 | 841 120147 314766 | 2147483647 25204 44 | 0.010 % |
5.73/5.73 c | 25462 | 841 120147 314766 | 2147483647 25462 44 | 0.009 % |
5.83/5.82 c | 25744 | 841 120147 314766 | 2147483647 25744 44 | 0.010 % |
5.93/5.92 c | 26053 | 841 120147 314766 | 2147483647 26053 43 | 0.010 % |
5.93/6.01 c | 26394 | 841 120147 314766 | 2147483647 26394 44 | 0.000 % |
6.13/6.12 c | 26766 | 841 120147 314766 | 2147483647 26766 44 | 0.010 % |
6.23/6.24 c | 27175 | 841 120147 314766 | 2147483647 27175 43 | 0.009 % |
6.33/6.37 c | 27624 | 841 120147 314766 | 2147483647 27624 43 | 0.010 % |
6.33/6.40 c | 27725 | 841 120147 314766 | 2147483647 27725 43 | 0.010 % |
6.43/6.44 c | 27835 | 841 120147 314766 | 2147483647 27835 43 | 0.010 % |
6.43/6.48 c | 27958 | 841 120147 314766 | 2147483647 27958 43 | 0.009 % |
6.43/6.51 c | 28092 | 841 120147 314766 | 2147483647 28092 43 | 0.009 % |
6.53/6.54 c | 28239 | 841 120147 314766 | 2147483647 28239 43 | 0.000 % |
6.53/6.58 c | 28401 | 841 120147 314766 | 2147483647 28401 43 | 0.000 % |
6.63/6.63 c | 28578 | 841 120147 314766 | 2147483647 28578 43 | 0.010 % |
6.63/6.68 c | 28771 | 841 120147 314766 | 2147483647 28771 43 | 0.000 % |
6.73/6.74 c | 28983 | 841 120147 314766 | 2147483647 28983 43 | 0.000 % |
6.73/6.81 c | 29216 | 841 120147 314766 | 2147483647 29216 43 | 0.010 % |
6.83/6.89 c | 29472 | 841 120147 314766 | 2147483647 29472 43 | 0.010 % |
6.93/6.97 c | 29753 | 841 120147 314766 | 2147483647 29753 43 | 0.010 % |
7.03/7.06 c | 30063 | 841 120147 314766 | 2147483647 30063 43 | 0.010 % |
7.13/7.16 c | 30402 | 841 120147 314766 | 2147483647 30402 43 | 0.000 % |
7.23/7.28 c | 30774 | 841 120147 314766 | 2147483647 30774 43 | 0.010 % |
7.43/7.42 c | 31183 | 841 120147 314766 | 2147483647 31183 43 | 0.010 % |
7.53/7.56 c | 31632 | 841 120147 314766 | 2147483647 31632 43 | 0.010 % |
7.63/7.71 c | 32126 | 841 120147 314766 | 2147483647 32126 43 | 0.009 % |
7.73/7.75 c | 32226 | 841 120147 314766 | 2147483647 32226 43 | 0.010 % |
7.73/7.79 c | 32336 | 841 120147 314766 | 2147483647 32336 43 | 0.009 % |
7.83/7.83 c | 32457 | 841 120147 314766 | 2147483647 32457 43 | 0.009 % |
7.83/7.87 c | 32590 | 841 120147 314766 | 2147483647 32590 43 | 0.010 % |
7.93/7.92 c | 32737 | 841 120147 314766 | 2147483647 32737 43 | 0.000 % |
7.93/7.96 c | 32897 | 841 120147 314766 | 2147483647 32897 43 | 0.000 % |
8.03/8.02 c | 33076 | 841 120147 314766 | 2147483647 33076 43 | 0.009 % |
8.03/8.07 c | 33269 | 841 120147 314766 | 2147483647 33269 43 | 0.000 % |
8.13/8.14 c | 33482 | 841 120147 314766 | 2147483647 33482 43 | 0.000 % |
8.13/8.21 c | 33715 | 841 120147 314766 | 2147483647 33715 43 | 0.000 % |
8.23/8.29 c | 33973 | 841 120147 314766 | 2147483647 33973 43 | 0.010 % |
8.33/8.39 c | 34254 | 841 120147 314766 | 2147483647 34254 43 | 0.010 % |
8.43/8.51 c | 34567 | 841 120147 314766 | 2147483647 34567 43 | 0.010 % |
8.63/8.63 c | 34907 | 841 120147 314766 | 2147483647 34907 44 | 0.000 % |
8.73/8.74 c | 35280 | 841 120147 314766 | 2147483647 35280 44 | 0.000 % |
8.83/8.86 c | 35689 | 841 120147 314766 | 2147483647 35689 44 | 0.010 % |
8.93/9.01 c | 36143 | 841 120147 314766 | 2147483647 36143 43 | 0.010 % |
9.13/9.17 c | 36637 | 841 120147 314766 | 2147483647 36637 43 | 0.010 % |
9.33/9.35 c | 37179 | 841 120147 314766 | 2147483647 37179 43 | 0.010 % |
9.33/9.39 c | 37281 | 841 120147 314766 | 2147483647 37281 43 | 0.010 % |
9.43/9.42 c | 37394 | 841 120147 314766 | 2147483647 37394 43 | 0.010 % |
9.43/9.47 c | 37515 | 841 120147 314766 | 2147483647 37515 43 | 0.010 % |
9.43/9.51 c | 37649 | 841 120147 314766 | 2147483647 37649 43 | 0.000 % |
9.53/9.56 c | 37796 | 841 120147 314766 | 2147483647 37796 43 | 0.000 % |
9.53/9.60 c | 37956 | 841 120147 314766 | 2147483647 37956 43 | 0.010 % |
9.63/9.67 c | 38133 | 841 120147 314766 | 2147483647 38133 43 | 0.010 % |
9.73/9.74 c | 38326 | 841 120147 314766 | 2147483647 38326 43 | 0.010 % |
9.73/9.81 c | 38539 | 841 120147 314766 | 2147483647 38539 43 | 0.010 % |
9.83/9.89 c | 38774 | 841 120147 314766 | 2147483647 38774 44 | 0.000 % |
9.93/10.00 c | 39032 | 841 120147 314766 | 2147483647 39032 43 | 0.010 % |
10.03/10.08 c | 39315 | 841 120147 314766 | 2147483647 39315 44 | 0.000 % |
10.13/10.17 c | 39624 | 841 120147 314766 | 2147483647 39624 44 | 0.009 % |
10.23/10.30 c | 39964 | 841 120147 314766 | 2147483647 39964 44 | 0.009 % |
10.43/10.44 c | 40336 | 841 120147 314766 | 2147483647 40336 43 | 0.009 % |
10.53/10.60 c | 40745 | 841 120147 314766 | 2147483647 40745 43 | 0.010 % |
10.73/10.79 c | 41194 | 841 120147 314766 | 2147483647 41194 43 | 0.010 % |
10.93/10.96 c | 41687 | 841 120147 314766 | 2147483647 41687 43 | 0.010 % |
11.13/11.16 c | 42229 | 841 120147 314766 | 2147483647 42229 43 | 0.010 % |
11.33/11.39 c | 42825 | 841 120147 314766 | 2147483647 42825 43 | 0.010 % |
11.43/11.43 c | 42927 | 841 120147 314766 | 2147483647 42927 43 | 0.010 % |
11.43/11.46 c | 43037 | 841 120147 314766 | 2147483647 43037 43 | 0.010 % |
11.43/11.51 c | 43158 | 841 120147 314766 | 2147483647 43158 43 | 0.000 % |
11.53/11.55 c | 43293 | 841 120147 314766 | 2147483647 43293 43 | 0.010 % |
11.53/11.61 c | 43440 | 841 120147 314766 | 2147483647 43440 43 | 0.010 % |
11.63/11.67 c | 43601 | 841 120147 314766 | 2147483647 43601 43 | 0.010 % |
11.73/11.74 c | 43780 | 841 120147 314766 | 2147483647 43780 43 | 0.010 % |
11.73/11.80 c | 43974 | 841 120147 314766 | 2147483647 43974 43 | 0.010 % |
11.83/11.88 c | 44189 | 841 120147 314766 | 2147483647 44189 43 | 0.010 % |
11.93/11.97 c | 44425 | 841 120147 314766 | 2147483647 44425 43 | 0.010 % |
12.03/12.07 c | 44681 | 841 120147 314766 | 2147483647 44681 42 | 0.010 % |
12.13/12.17 c | 44965 | 841 120147 314766 | 2147483647 44965 42 | 0.010 % |
12.23/12.27 c | 45274 | 841 120147 314766 | 2147483647 45274 42 | 0.010 % |
12.33/12.40 c | 45614 | 841 120147 314766 | 2147483647 45614 42 | 0.010 % |
12.53/12.54 c | 45986 | 841 120147 314766 | 2147483647 45986 42 | 0.010 % |
12.63/12.69 c | 46395 | 841 120147 314766 | 2147483647 46395 42 | 0.010 % |
12.83/12.85 c | 46846 | 841 120147 314766 | 2147483647 46846 42 | 0.010 % |
12.93/13.01 c | 47339 | 841 120147 314766 | 2147483647 47339 42 | 0.010 % |
13.13/13.21 c | 47881 | 841 120147 314766 | 2147483647 47881 42 | 0.010 % |
13.43/13.46 c | 48478 | 841 120147 314766 | 2147483647 48478 42 | 0.010 % |
13.73/13.74 c | 49133 | 841 120147 314766 | 2147483647 49133 42 | 0.010 % |
13.73/13.78 c | 49233 | 841 120147 314766 | 2147483647 49233 42 | 0.010 % |
13.83/13.83 c | 49343 | 841 120147 314766 | 2147483647 49343 42 | 0.010 % |
13.83/13.88 c | 49466 | 841 120147 314766 | 2147483647 49466 42 | 0.010 % |
13.93/13.94 c | 49599 | 841 120147 314766 | 2147483647 49599 42 | 0.010 % |
13.93/13.99 c | 49747 | 841 120147 314766 | 2147483647 49747 42 | 0.000 % |
14.03/14.06 c | 49907 | 841 120147 314766 | 2147483647 49907 42 | 0.000 % |
14.13/14.13 c | 50084 | 841 120147 314766 | 2147483647 50084 42 | 0.010 % |
14.13/14.20 c | 50277 | 841 120147 314766 | 2147483647 50277 42 | 0.000 % |
14.23/14.30 c | 50489 | 841 120147 314766 | 2147483647 50489 42 | 0.000 % |
14.33/14.41 c | 50724 | 841 120147 314766 | 2147483647 50724 42 | 0.010 % |
14.53/14.54 c | 50980 | 841 120147 314766 | 2147483647 50980 42 | 0.010 % |
14.63/14.66 c | 51261 | 841 120147 314766 | 2147483647 51261 42 | 0.010 % |
14.73/14.78 c | 51571 | 841 120147 314766 | 2147483647 51571 42 | 0.010 % |
14.83/14.89 c | 51910 | 841 120147 314766 | 2147483647 51910 42 | 0.000 % |
15.03/15.03 c | 52283 | 841 120147 314766 | 2147483647 52283 42 | 0.000 % |
15.13/15.21 c | 52692 | 841 120147 314766 | 2147483647 52692 42 | 0.000 % |
15.33/15.40 c | 53143 | 841 120147 314766 | 2147483647 53143 42 | 0.010 % |
15.53/15.60 c | 53636 | 841 120147 314766 | 2147483647 53636 42 | 0.010 % |
15.83/15.82 c | 54179 | 841 120147 314766 | 2147483647 54179 42 | 0.010 % |
16.03/16.05 c | 54775 | 841 120147 314766 | 2147483647 54775 42 | 0.010 % |
16.33/16.35 c | 55430 | 841 120147 314766 | 2147483647 55430 42 | 0.010 % |
16.63/16.66 c | 56150 | 841 120147 314766 | 2147483647 56150 42 | 0.010 % |
16.63/16.71 c | 56250 | 841 120147 314766 | 2147483647 56250 42 | 0.010 % |
16.73/16.76 c | 56360 | 841 120147 314766 | 2147483647 56360 42 | 0.010 % |
16.73/16.81 c | 56483 | 841 120147 314766 | 2147483647 56483 42 | 0.010 % |
16.83/16.87 c | 56618 | 841 120147 314766 | 2147483647 56618 42 | 0.010 % |
16.93/16.94 c | 56764 | 841 120147 314766 | 2147483647 56764 42 | 0.010 % |
17.03/17.02 c | 56927 | 841 120147 314766 | 2147483647 56927 42 | 0.010 % |
17.03/17.09 c | 57105 | 841 120147 314766 | 2147483647 57105 42 | 0.010 % |
17.13/17.17 c | 57298 | 841 120147 314766 | 2147483647 57298 42 | 0.010 % |
17.23/17.26 c | 57510 | 841 120147 314766 | 2147483647 57510 42 | 0.010 % |
17.33/17.36 c | 57743 | 841 120147 314766 | 2147483647 57743 42 | 0.000 % |
17.43/17.46 c | 58000 | 841 120147 314766 | 2147483647 58000 42 | 0.000 % |
17.53/17.57 c | 58283 | 841 120147 314766 | 2147483647 58283 42 | 0.000 % |
17.73/17.72 c | 58595 | 841 120147 314766 | 2147483647 58595 42 | 0.010 % |
17.83/17.84 c | 58936 | 841 120147 314766 | 2147483647 58936 42 | 0.000 % |
17.93/18.00 c | 59308 | 841 120147 314766 | 2147483647 59308 42 | 0.010 % |
18.13/18.18 c | 59719 | 841 120147 314766 | 2147483647 59719 42 | 0.010 % |
18.33/18.37 c | 60169 | 841 120147 314766 | 2147483647 60169 42 | 0.000 % |
18.53/18.60 c | 60662 | 841 120147 314766 | 2147483647 60662 42 | 0.010 % |
18.83/18.86 c | 61206 | 841 120147 314766 | 2147483647 61206 42 | 0.010 % |
19.03/19.11 c | 61803 | 841 120147 314766 | 2147483647 61803 42 | 0.010 % |
19.43/19.43 c | 62460 | 841 120147 314766 | 2147483647 62460 42 | 0.010 % |
19.73/19.80 c | 63183 | 841 120147 314766 | 2147483647 63183 42 | 0.010 % |
20.13/20.20 c | 63975 | 841 120147 314766 | 2147483647 63975 42 | 0.010 % |
20.23/20.24 c | 64075 | 841 120147 314766 | 2147483647 64075 42 | 0.010 % |
20.23/20.29 c | 64186 | 841 120147 314766 | 2147483647 64186 42 | 0.000 % |
20.33/20.34 c | 64307 | 841 120147 314766 | 2147483647 64307 42 | 0.010 % |
20.33/20.41 c | 64442 | 841 120147 314766 | 2147483647 64442 42 | 0.010 % |
20.43/20.48 c | 64591 | 841 120147 314766 | 2147483647 64591 42 | 0.010 % |
20.53/20.56 c | 64751 | 841 120147 314766 | 2147483647 64751 42 | 0.000 % |
20.63/20.64 c | 64929 | 841 120147 314766 | 2147483647 64929 42 | 0.010 % |
20.73/20.73 c | 65122 | 841 120147 314766 | 2147483647 65122 42 | 0.010 % |
20.83/20.84 c | 65336 | 841 120147 314766 | 2147483647 65336 42 | 0.010 % |
20.93/20.95 c | 65570 | 841 120147 314766 | 2147483647 65570 42 | 0.010 % |
21.03/21.07 c | 65827 | 841 120147 314766 | 2147483647 65827 42 | 0.000 % |
21.13/21.19 c | 66111 | 841 120147 314766 | 2147483647 66111 43 | 0.000 % |
21.33/21.36 c | 66420 | 841 120147 314766 | 2147483647 66420 42 | 0.000 % |
21.43/21.50 c | 66759 | 841 120147 314766 | 2147483647 66759 42 | 0.010 % |
21.63/21.69 c | 67132 | 841 120147 314766 | 2147483647 67132 42 | 0.009 % |
21.83/21.87 c | 67544 | 841 120147 314766 | 2147483647 67544 42 | 0.009 % |
22.03/22.08 c | 67993 | 841 120147 314766 | 2147483647 67993 43 | 0.000 % |
22.33/22.36 c | 68486 | 841 120147 314766 | 2147483647 68486 43 | 0.000 % |
22.63/22.64 c | 69030 | 841 120147 314766 | 2147483647 69030 43 | 0.010 % |
22.93/22.93 c | 69628 | 841 120147 314766 | 2147483647 69628 43 | 0.000 % |
23.23/23.31 c | 70283 | 841 120147 314766 | 2147483647 70283 43 | 0.010 % |
23.73/23.72 c | 71005 | 841 120147 314766 | 2147483647 71005 43 | 0.010 % |
24.13/24.12 c | 71798 | 841 120147 314766 | 2147483647 71798 44 | 0.000 % |
24.63/24.70 c | 72669 | 841 120147 314766 | 2147483647 72669 44 | 0.010 % |
24.73/24.77 c | 72770 | 841 120147 314766 | 2147483647 72770 44 | 0.010 % |
24.83/24.83 c | 72881 | 841 120147 314766 | 2147483647 72881 43 | 0.010 % |
24.93/24.93 c | 73003 | 841 120147 314766 | 2147483647 73003 43 | 0.010 % |
24.93/24.99 c | 73136 | 841 120147 314766 | 2147483647 73136 44 | 0.000 % |
25.03/25.09 c | 73285 | 841 120147 314766 | 2147483647 73285 44 | 0.010 % |
25.13/25.21 c | 73449 | 841 120147 314766 | 2147483647 73449 44 | 0.010 % |
25.23/25.29 c | 73625 | 841 120147 314766 | 2147483647 73625 44 | 0.010 % |
25.33/25.40 c | 73822 | 841 120147 314766 | 2147483647 73822 43 | 0.010 % |
25.53/25.52 c | 74037 | 841 120147 314766 | 2147483647 74037 43 | 0.010 % |
25.63/25.66 c | 74270 | 841 120147 314766 | 2147483647 74270 44 | 0.000 % |
25.83/25.83 c | 74529 | 841 120147 314766 | 2147483647 74529 44 | 0.010 % |
25.93/25.99 c | 74812 | 841 120147 314766 | 2147483647 74812 44 | 0.000 % |
26.13/26.18 c | 75124 | 841 120147 314766 | 2147483647 75124 44 | 0.010 % |
26.33/26.38 c | 75464 | 841 120147 314766 | 2147483647 75464 44 | 0.010 % |
26.53/26.60 c | 75838 | 841 120147 314766 | 2147483647 75838 44 | 0.010 % |
26.83/26.84 c | 76247 | 841 120147 314766 | 2147483647 76247 44 | 0.010 % |
27.03/27.11 c | 76697 | 841 120147 314766 | 2147483647 76697 44 | 0.010 % |
27.43/27.42 c | 77191 | 841 120147 314766 | 2147483647 77191 44 | 0.010 % |
27.73/27.72 c | 77733 | 841 120147 314766 | 2147483647 77733 44 | 0.010 % |
28.03/28.06 c | 78330 | 841 120147 314766 | 2147483647 78330 43 | 0.010 % |
28.43/28.43 c | 78985 | 841 120147 314766 | 2147483647 78985 43 | 0.010 % |
28.83/28.87 c | 79707 | 841 120147 314766 | 2147483647 79707 43 | 0.010 % |
29.33/29.32 c | 80499 | 841 120147 314766 | 2147483647 80499 43 | 0.010 % |
29.83/29.86 c | 81370 | 841 120147 314766 | 2147483647 81370 43 | 0.010 % |
30.43/30.51 c | 82330 | 841 120147 314766 | 2147483647 82330 43 | 0.010 % |
30.53/30.58 c | 82435 | 841 120147 314766 | 2147483647 82435 43 | 0.010 % |
30.63/30.65 c | 82547 | 841 120147 314766 | 2147483647 82547 43 | 0.010 % |
30.73/30.72 c | 82671 | 841 120147 314766 | 2147483647 82671 43 | 0.000 % |
30.83/30.81 c | 82805 | 841 120147 314766 | 2147483647 82805 43 | 0.010 % |
30.93/30.93 c | 82953 | 841 120147 314766 | 2147483647 82953 43 | 0.010 % |
31.03/31.05 c | 83113 | 841 120147 314766 | 2147483647 83113 43 | 0.010 % |
31.13/31.19 c | 83289 | 841 120147 314766 | 2147483647 83289 43 | 0.010 % |
31.33/31.32 c | 83483 | 841 120147 314766 | 2147483647 83483 43 | 0.010 % |
31.43/31.47 c | 83695 | 841 120147 314766 | 2147483647 83695 43 | 0.010 % |
31.63/31.63 c | 83928 | 841 120147 314766 | 2147483647 83928 43 | 0.010 % |
31.73/31.80 c | 84185 | 841 120147 314766 | 2147483647 84185 43 | 0.010 % |
31.93/31.99 c | 84468 | 841 120147 314766 | 2147483647 84468 43 | 0.010 % |
32.13/32.18 c | 84778 | 841 120147 314766 | 2147483647 84778 43 | 0.010 % |
32.33/32.35 c | 85120 | 841 120147 314766 | 2147483647 85120 43 | 0.010 % |
32.53/32.58 c | 85497 | 841 120147 314766 | 2147483647 85497 43 | 0.010 % |
32.83/32.84 c | 85909 | 841 120147 314766 | 2147483647 85909 43 | 0.010 % |
33.13/33.13 c | 86360 | 841 120147 314766 | 2147483647 86360 43 | 0.010 % |
33.33/33.40 c | 86855 | 841 120147 314766 | 2147483647 86855 43 | 0.010 % |
33.73/33.76 c | 87397 | 841 120147 314766 | 2147483647 87397 43 | 0.010 % |
34.13/34.18 c | 87993 | 841 120147 314766 | 2147483647 87993 43 | 0.010 % |
34.63/34.63 c | 88648 | 841 120147 314766 | 2147483647 88648 43 | 0.010 % |
35.13/35.18 c | 89370 | 841 120147 314766 | 2147483647 89370 43 | 0.010 % |
35.63/35.71 c | 90162 | 841 120147 314766 | 2147483647 90162 43 | 0.010 % |
36.23/36.30 c | 91034 | 841 120147 314766 | 2147483647 91034 43 | 0.010 % |
36.93/36.93 c | 91992 | 841 120147 314766 | 2147483647 91992 43 | 0.000 % |
37.73/37.72 c | 93050 | 841 120147 314766 | 2147483647 93050 43 | 0.010 % |
37.73/37.77 c | 93150 | 841 120147 314766 | 2147483647 93150 43 | 0.000 % |
37.83/37.85 c | 93261 | 841 120147 314766 | 2147483647 93261 43 | 0.010 % |
37.93/37.94 c | 93382 | 841 120147 314766 | 2147483647 93382 43 | 0.010 % |
38.03/38.04 c | 93516 | 841 120147 314766 | 2147483647 93516 43 | 0.010 % |
38.13/38.14 c | 93662 | 841 120147 314766 | 2147483647 93662 43 | 0.000 % |
38.23/38.24 c | 93822 | 841 120147 314766 | 2147483647 93822 43 | 0.010 % |
38.33/38.38 c | 93998 | 841 120147 314766 | 2147483647 93998 43 | 0.010 % |
38.54/38.54 c | 94191 | 841 120147 314766 | 2147483647 94191 43 | 0.010 % |
38.63/38.68 c | 94403 | 841 120147 314766 | 2147483647 94403 43 | 0.010 % |
38.83/38.85 c | 94638 | 841 120147 314766 | 2147483647 94638 43 | 0.010 % |
39.03/39.02 c | 94894 | 841 120147 314766 | 2147483647 94894 43 | 0.010 % |
39.23/39.21 c | 95177 | 841 120147 314766 | 2147483647 95177 43 | 0.010 % |
39.43/39.43 c | 95486 | 841 120147 314766 | 2147483647 95486 43 | 0.009 % |
39.64/39.64 c | 95825 | 841 120147 314766 | 2147483647 95825 43 | 0.010 % |
39.93/39.93 c | 96199 | 841 120147 314766 | 2147483647 96199 43 | 0.010 % |
40.13/40.20 c | 96608 | 841 120147 314766 | 2147483647 96608 43 | 0.010 % |
40.53/40.52 c | 97058 | 841 120147 314766 | 2147483647 97058 43 | 0.010 % |
40.83/40.83 c | 97552 | 841 120147 314766 | 2147483647 97552 43 | 0.000 % |
41.13/41.19 c | 98094 | 841 120147 314766 | 2147483647 98094 43 | 0.000 % |
41.53/41.58 c | 98690 | 841 120147 314766 | 2147483647 98690 44 | 0.000 % |
42.03/42.05 c | 99346 | 841 120147 314766 | 2147483647 99346 44 | 0.000 % |
42.63/42.65 c | 100068 | 841 120147 314766 | 2147483647 100068 44 | 0.010 % |
43.13/43.16 c | 100860 | 841 120147 314766 | 2147483647 100860 44 | 0.000 % |
43.83/43.89 c | 101733 | 841 120147 314766 | 2147483647 101733 44 | 0.010 % |
44.63/44.67 c | 102691 | 841 120147 314766 | 2147483647 102691 43 | 0.010 % |
45.43/45.45 c | 103744 | 841 120147 314766 | 2147483647 103744 43 | 0.010 % |
46.33/46.34 c | 104903 | 841 120147 314766 | 2147483647 104903 43 | 0.010 % |
46.33/46.41 c | 105003 | 841 120147 314766 | 2147483647 105003 43 | 0.010 % |
46.43/46.48 c | 105114 | 841 120147 314766 | 2147483647 105114 44 | 0.000 % |
46.53/46.58 c | 105235 | 841 120147 314766 | 2147483647 105235 44 | 0.000 % |
46.63/46.67 c | 105370 | 841 120147 314766 | 2147483647 105370 44 | 0.010 % |
46.73/46.77 c | 105516 | 841 120147 314766 | 2147483647 105516 43 | 0.010 % |
46.83/46.87 c | 105676 | 841 120147 314766 | 2147483647 105676 44 | 0.000 % |
46.93/46.97 c | 105852 | 841 120147 314766 | 2147483647 105852 44 | 0.010 % |
47.13/47.12 c | 106045 | 841 120147 314766 | 2147483647 106045 44 | 0.010 % |
47.23/47.23 c | 106258 | 841 120147 314766 | 2147483647 106258 44 | 0.000 % |
47.34/47.39 c | 106491 | 841 120147 314766 | 2147483647 106491 44 | 0.000 % |
47.63/47.61 c | 106748 | 841 120147 314766 | 2147483647 106748 44 | 0.000 % |
47.83/47.82 c | 107030 | 841 120147 314766 | 2147483647 107030 44 | 0.010 % |
47.93/48.00 c | 107339 | 841 120147 314766 | 2147483647 107339 44 | 0.000 % |
48.23/48.31 c | 107681 | 841 120147 314766 | 2147483647 107681 44 | 0.010 % |
48.53/48.59 c | 108054 | 841 120147 314766 | 2147483647 108054 44 | 0.010 % |
48.83/48.90 c | 108463 | 841 120147 314766 | 2147483647 108463 44 | 0.000 % |
49.23/49.22 c | 108912 | 841 120147 314766 | 2147483647 108912 44 | 0.010 % |
49.54/49.60 c | 109405 | 841 120147 314766 | 2147483647 109405 44 | 0.010 % |
49.93/50.00 c | 109949 | 841 120147 314766 | 2147483647 109949 44 | 0.010 % |
50.53/50.55 c | 110546 | 841 120147 314766 | 2147483647 110546 44 | 0.010 % |
51.03/51.10 c | 111205 | 841 120147 314766 | 2147483647 111205 44 | 0.000 % |
51.63/51.69 c | 111927 | 841 120147 314766 | 2147483647 111927 44 | 0.010 % |
52.33/52.31 c | 112719 | 841 120147 314766 | 2147483647 112719 44 | 0.010 % |
53.03/53.02 c | 113592 | 841 120147 314766 | 2147483647 113592 44 | 0.010 % |
53.83/53.86 c | 114551 | 841 120147 314766 | 2147483647 114551 45 | 0.000 % |
54.73/54.75 c | 115606 | 841 120147 314766 | 2147483647 115606 45 | 0.000 % |
55.63/55.70 c | 116765 | 841 120147 314766 | 2147483647 116765 45 | 0.000 % |
56.83/56.86 c | 118039 | 841 120147 314766 | 2147483647 118039 45 | 0.010 % |
56.93/56.96 c | 118139 | 841 120147 314766 | 2147483647 118139 45 | 0.000 % |
57.03/57.10 c | 118249 | 841 120147 314766 | 2147483647 118249 45 | 0.010 % |
57.24/57.24 c | 118370 | 841 120147 314766 | 2147483647 118370 45 | 0.010 % |
57.33/57.37 c | 118503 | 841 120147 314766 | 2147483647 118503 45 | 0.010 % |
57.43/57.50 c | 118650 | 841 120147 314766 | 2147483647 118650 45 | 0.000 % |
57.63/57.66 c | 118810 | 841 120147 314766 | 2147483647 118810 45 | 0.009 % |
57.73/57.81 c | 118987 | 841 120147 314766 | 2147483647 118987 45 | 0.010 % |
57.93/57.99 c | 119183 | 841 120147 314766 | 2147483647 119183 45 | 0.009 % |
58.13/58.19 c | 119395 | 841 120147 314766 | 2147483647 119395 45 | 0.000 % |
58.34/58.41 c | 119628 | 841 120147 314766 | 2147483647 119628 45 | 0.009 % |
58.63/58.62 c | 119886 | 841 120147 314766 | 2147483647 119886 45 | 0.010 % |
58.83/58.87 c | 120167 | 841 120147 314766 | 2147483647 120167 45 | 0.009 % |
59.13/59.16 c | 120477 | 841 120147 314766 | 2147483647 120477 45 | 0.009 % |
59.44/59.47 c | 120817 | 841 120147 314766 | 2147483647 120817 45 | 0.000 % |
59.73/59.80 c | 121191 | 841 120147 314766 | 2147483647 121191 45 | 0.009 % |
60.13/60.15 c | 121601 | 841 120147 314766 | 2147483647 121601 45 | 0.000 % |
60.54/60.57 c | 122052 | 841 120147 314766 | 2147483647 122052 45 | 0.000 % |
61.03/61.06 c | 122545 | 841 120147 314766 | 2147483647 122545 45 | 0.000 % |
61.53/61.56 c | 123088 | 841 120147 314766 | 2147483647 123088 45 | 0.000 % |
62.03/62.06 c | 123684 | 841 120147 314766 | 2147483647 123684 45 | 0.000 % |
62.74/62.74 c | 124341 | 841 120147 314766 | 2147483647 124341 45 | 0.010 % |
63.43/63.47 c | 125062 | 841 120147 314766 | 2147483647 125062 45 | 0.010 % |
64.13/64.17 c | 125856 | 841 120147 314766 | 2147483647 125856 45 | 0.000 % |
65.03/65.02 c | 126729 | 841 120147 314766 | 2147483647 126729 45 | 0.000 % |
65.83/65.84 c | 127687 | 841 120147 314766 | 2147483647 127687 45 | 0.010 % |
66.83/66.85 c | 128741 | 841 120147 314766 | 2147483647 128741 45 | 0.000 % |
67.93/68.00 c | 129901 | 841 120147 314766 | 2147483647 129901 45 | 0.010 % |
69.34/69.34 c | 131174 | 841 120147 314766 | 2147483647 131174 45 | 0.010 % |
70.73/70.72 c | 132575 | 841 120147 314766 | 2147483647 132575 45 | 0.010 % |
70.73/70.81 c | 132675 | 841 120147 314766 | 2147483647 132675 45 | 0.000 % |
70.93/70.91 c | 132786 | 841 120147 314766 | 2147483647 132786 45 | 0.000 % |
71.03/71.03 c | 132907 | 841 120147 314766 | 2147483647 132907 45 | 0.010 % |
71.13/71.16 c | 133040 | 841 120147 314766 | 2147483647 133040 45 | 0.000 % |
71.33/71.32 c | 133188 | 841 120147 314766 | 2147483647 133188 45 | 0.000 % |
71.43/71.45 c | 133350 | 841 120147 314766 | 2147483647 133350 45 | 0.010 % |
71.54/71.60 c | 133528 | 841 120147 314766 | 2147483647 133528 45 | 0.010 % |
71.73/71.80 c | 133722 | 841 120147 314766 | 2147483647 133722 45 | 0.000 % |
72.04/72.04 c | 133935 | 841 120147 314766 | 2147483647 133935 45 | 0.010 % |
72.24/72.29 c | 134171 | 841 120147 314766 | 2147483647 134171 45 | 0.010 % |
72.54/72.59 c | 134427 | 841 120147 314766 | 2147483647 134427 45 | 0.010 % |
72.84/72.89 c | 134712 | 841 120147 314766 | 2147483647 134712 45 | 0.010 % |
73.24/73.25 c | 135021 | 841 120147 314766 | 2147483647 135021 45 | 0.010 % |
73.54/73.61 c | 135370 | 841 120147 314766 | 2147483647 135370 45 | 0.000 % |
73.94/74.00 c | 135742 | 841 120147 314766 | 2147483647 135742 45 | 0.010 % |
74.34/74.37 c | 136152 | 841 120147 314766 | 2147483647 136152 45 | 0.010 % |
74.74/74.76 c | 136602 | 841 120147 314766 | 2147483647 136602 45 | 0.010 % |
75.24/75.32 c | 137096 | 841 120147 314766 | 2147483647 137096 45 | 0.010 % |
75.74/75.82 c | 137640 | 841 120147 314766 | 2147483647 137640 45 | 0.000 % |
76.44/76.44 c | 138239 | 841 120147 314766 | 2147483647 138239 45 | 0.000 % |
77.04/77.10 c | 138896 | 841 120147 314766 | 2147483647 138896 45 | 0.010 % |
77.74/77.80 c | 139619 | 841 120147 314766 | 2147483647 139619 45 | 0.010 % |
78.64/78.65 c | 140413 | 841 120147 314766 | 2147483647 140413 45 | 0.010 % |
79.54/79.53 c | 141290 | 841 120147 314766 | 2147483647 141290 45 | 0.010 % |
80.54/80.56 c | 142248 | 841 120147 314766 | 2147483647 142248 45 | 0.010 % |
81.64/81.70 c | 143304 | 841 120147 314766 | 2147483647 143304 45 | 0.010 % |
82.94/83.00 c | 144463 | 841 120147 314766 | 2147483647 144463 45 | 0.010 % |
84.34/84.39 c | 145737 | 841 120147 314766 | 2147483647 145737 45 | 0.010 % |
86.24/86.29 c | 147141 | 841 120147 314766 | 2147483647 147141 45 | 0.010 % |
88.14/88.20 c | 148682 | 841 120147 314766 | 2147483647 148682 45 | 0.010 % |
88.34/88.33 c | 148783 | 841 120147 314766 | 2147483647 148783 45 | 0.010 % |
88.44/88.47 c | 148893 | 841 120147 314766 | 2147483647 148893 45 | 0.009 % |
88.54/88.58 c | 149016 | 841 120147 314766 | 2147483647 149016 45 | 0.010 % |
88.74/88.73 c | 149149 | 841 120147 314766 | 2147483647 149149 45 | 0.000 % |
88.84/88.89 c | 149295 | 841 120147 314766 | 2147483647 149295 45 | 0.000 % |
89.04/89.08 c | 149455 | 841 120147 314766 | 2147483647 149455 45 | 0.000 % |
89.24/89.30 c | 149631 | 841 120147 314766 | 2147483647 149631 45 | 0.010 % |
89.54/89.53 c | 149825 | 841 120147 314766 | 2147483647 149825 45 | 0.010 % |
89.74/89.78 c | 150037 | 841 120147 314766 | 2147483647 150037 45 | 0.010 % |
89.94/90.01 c | 150271 | 841 120147 314766 | 2147483647 150271 45 | 0.000 % |
90.24/90.29 c | 150527 | 841 120147 314766 | 2147483647 150527 45 | 0.000 % |
90.64/90.69 c | 150812 | 841 120147 314766 | 2147483647 150812 45 | 0.000 % |
91.14/91.15 c | 151121 | 841 120147 314766 | 2147483647 151121 45 | 0.010 % |
91.54/91.53 c | 151461 | 841 120147 314766 | 2147483647 151461 45 | 0.010 % |
91.84/91.91 c | 151836 | 841 120147 314766 | 2147483647 151836 45 | 0.010 % |
92.34/92.36 c | 152245 | 841 120147 314766 | 2147483647 152245 45 | 0.010 % |
92.74/92.78 c | 152694 | 841 120147 314766 | 2147483647 152694 45 | 0.010 % |
93.24/93.28 c | 153187 | 841 120147 314766 | 2147483647 153187 45 | 0.010 % |
93.74/93.80 c | 153730 | 841 120147 314766 | 2147483647 153730 45 | 0.009 % |
94.44/94.52 c | 154326 | 841 120147 314766 | 2147483647 154326 45 | 0.009 % |
95.04/95.10 c | 154984 | 841 120147 314766 | 2147483647 154984 45 | 0.009 % |
95.84/95.88 c | 155705 | 841 120147 314766 | 2147483647 155705 45 | 0.009 % |
96.84/96.83 c | 156498 | 841 120147 314766 | 2147483647 156498 45 | 0.010 % |
97.74/97.77 c | 157370 | 841 120147 314766 | 2147483647 157370 45 | 0.010 % |
98.94/98.99 c | 158329 | 841 120147 314766 | 2147483647 158329 45 | 0.010 % |
100.34/100.34 c | 159383 | 841 120147 314766 | 2147483647 159383 45 | 0.010 % |
101.84/101.82 c | 160543 | 841 120147 314766 | 2147483647 160543 45 | 0.010 % |
103.14/103.18 c | 161817 | 841 120147 314766 | 2147483647 161817 45 | 0.000 % |
104.74/104.80 c | 163219 | 841 120147 314766 | 2147483647 163219 45 | 0.000 % |
106.64/106.67 c | 164759 | 841 120147 314766 | 2147483647 164759 45 | 0.009 % |
108.84/108.87 c | 166455 | 841 120147 314766 | 2147483647 166455 45 | 0.010 % |
108.94/108.98 c | 166557 | 841 120147 314766 | 2147483647 166557 45 | 0.010 % |
109.14/109.13 c | 166667 | 841 120147 314766 | 2147483647 166667 45 | 0.000 % |
109.24/109.28 c | 166790 | 841 120147 314766 | 2147483647 166790 45 | 0.000 % |
109.44/109.43 c | 166923 | 841 120147 314766 | 2147483647 166923 45 | 0.010 % |
109.64/109.63 c | 167070 | 841 120147 314766 | 2147483647 167070 45 | 0.010 % |
109.84/109.82 c | 167231 | 841 120147 314766 | 2147483647 167231 45 | 0.000 % |
110.04/110.06 c | 167410 | 841 120147 314766 | 2147483647 167410 45 | 0.000 % |
110.24/110.30 c | 167603 | 841 120147 314766 | 2147483647 167603 45 | 0.000 % |
110.54/110.61 c | 167815 | 841 120147 314766 | 2147483647 167815 45 | 0.010 % |
110.84/110.88 c | 168049 | 841 120147 314766 | 2147483647 168049 45 | 0.010 % |
111.14/111.17 c | 168306 | 841 120147 314766 | 2147483647 168306 45 | 0.000 % |
111.54/111.54 c | 168589 | 841 120147 314766 | 2147483647 168589 45 | 0.010 % |
111.94/111.99 c | 168899 | 841 120147 314766 | 2147483647 168899 45 | 0.000 % |
112.44/112.44 c | 169238 | 841 120147 314766 | 2147483647 169238 45 | 0.000 % |
112.84/112.90 c | 169610 | 841 120147 314766 | 2147483647 169610 45 | 0.010 % |
113.34/113.36 c | 170020 | 841 120147 314766 | 2147483647 170020 45 | 0.010 % |
113.84/113.85 c | 170470 | 841 120147 314766 | 2147483647 170470 45 | 0.000 % |
114.44/114.50 c | 170964 | 841 120147 314766 | 2147483647 170964 45 | 0.000 % |
115.34/115.32 c | 171508 | 841 120147 314766 | 2147483647 171508 45 | 0.010 % |
116.24/116.26 c | 172105 | 841 120147 314766 | 2147483647 172105 45 | 0.000 % |
117.14/117.21 c | 172760 | 841 120147 314766 | 2147483647 172760 45 | 0.010 % |
118.04/118.09 c | 173485 | 841 120147 314766 | 2147483647 173485 45 | 0.010 % |
119.14/119.18 c | 174278 | 841 120147 314766 | 2147483647 174278 45 | 0.000 % |
120.34/120.41 c | 175149 | 841 120147 314766 | 2147483647 175149 45 | 0.010 % |
121.74/121.76 c | 176107 | 841 120147 314766 | 2147483647 176107 45 | 0.010 % |
123.04/123.10 c | 177160 | 841 120147 314766 | 2147483647 177160 45 | 0.000 % |
124.54/124.58 c | 178319 | 841 120147 314766 | 2147483647 178319 45 | 0.000 % |
126.24/126.24 c | 179592 | 841 120147 314766 | 2147483647 179592 45 | 0.010 % |
128.24/128.25 c | 180992 | 841 120147 314766 | 180001 159254 45 | 0.000 % |
130.14/130.16 c | 182532 | 841 120147 314766 | 180001 160794 45 | 0.000 % |
132.24/132.27 c | 184226 | 841 120147 314766 | 180001 162488 46 | 0.000 % |
134.74/134.73 c | 186091 | 841 120147 314766 | 180001 164353 46 | 0.010 % |
134.84/134.84 c | 186191 | 841 120147 314766 | 180001 164453 46 | 0.000 % |
135.04/135.01 c | 186302 | 841 120147 314766 | 180001 164564 46 | 0.000 % |
135.14/135.16 c | 186424 | 841 120147 314766 | 180001 164686 46 | 0.000 % |
135.24/135.32 c | 186558 | 841 120147 314766 | 180001 164820 46 | 0.010 % |
135.44/135.48 c | 186706 | 841 120147 314766 | 180001 164968 46 | 0.000 % |
135.64/135.65 c | 186866 | 841 120147 314766 | 180001 165128 46 | 0.000 % |
135.94/135.95 c | 187042 | 841 120147 314766 | 180001 165304 46 | 0.010 % |
136.24/136.22 c | 187237 | 841 120147 314766 | 180001 165499 46 | 0.000 % |
136.54/136.52 c | 187449 | 841 120147 314766 | 180001 165711 46 | 0.000 % |
136.84/136.84 c | 187682 | 841 120147 314766 | 180001 165944 46 | 0.010 % |
137.14/137.20 c | 187942 | 841 120147 314766 | 180001 166204 46 | 0.010 % |
137.55/137.59 c | 188224 | 841 120147 314766 | 180001 166486 46 | 0.010 % |
137.94/137.98 c | 188533 | 841 120147 314766 | 180001 166795 46 | 0.010 % |
138.34/138.38 c | 188872 | 841 120147 314766 | 180001 167134 46 | 0.000 % |
138.74/138.80 c | 189244 | 841 120147 314766 | 180001 167506 46 | 0.010 % |
139.34/139.33 c | 189655 | 841 120147 314766 | 180001 167917 46 | 0.010 % |
139.84/139.88 c | 190104 | 841 120147 314766 | 168262 168366 46 | 0.010 % |
140.64/140.66 c | 190597 | 841 120147 314766 | 168262 148308 46 | 0.010 % |
141.24/141.29 c | 191141 | 841 120147 314766 | 168262 148852 46 | 0.000 % |
141.84/141.89 c | 191737 | 841 120147 314766 | 168262 149448 46 | 0.000 % |
142.54/142.52 c | 192395 | 841 120147 314766 | 168262 150106 46 | 0.010 % |
143.34/143.38 c | 193117 | 841 120147 314766 | 168262 150828 46 | 0.010 % |
144.24/144.27 c | 193909 | 841 120147 314766 | 168262 151620 46 | 0.010 % |
145.24/145.30 c | 194782 | 841 120147 314766 | 168262 152493 46 | 0.010 % |
146.63/146.62 c | 195740 | 841 120147 314766 | 168262 153451 46 | 0.010 % |
148.03/148.09 c | 196793 | 841 120147 314766 | 168262 154504 46 | 0.010 % |
149.73/149.70 c | 197955 | 841 120147 314766 | 168262 155666 46 | 0.010 % |
151.73/151.71 c | 199228 | 841 120147 314766 | 168262 156939 46 | 0.010 % |
154.04/154.05 c | 200628 | 841 120147 314766 | 157715 139513 46 | 0.010 % |
156.44/156.50 c | 202170 | 841 120147 314766 | 157715 141055 46 | 0.010 % |
158.54/158.56 c | 203865 | 841 120147 314766 | 157715 142750 46 | 0.000 % |
161.04/161.07 c | 205732 | 841 120147 314766 | 157715 144617 46 | 0.010 % |
163.54/163.60 c | 207781 | 841 120147 314766 | 157715 146666 46 | 0.010 % |
163.74/163.71 c | 207881 | 841 120147 314766 | 157715 146766 46 | 0.010 % |
163.84/163.83 c | 207991 | 841 120147 314766 | 157715 146876 46 | 0.010 % |
163.94/163.98 c | 208114 | 841 120147 314766 | 157715 146999 46 | 0.010 % |
164.14/164.16 c | 208247 | 841 120147 314766 | 157715 147132 46 | 0.010 % |
164.34/164.35 c | 208393 | 841 120147 314766 | 157715 147278 46 | 0.010 % |
164.54/164.53 c | 208553 | 841 120147 314766 | 157715 147438 46 | 0.010 % |
164.74/164.72 c | 208736 | 841 120147 314766 | 157715 147621 46 | 0.000 % |
164.94/164.95 c | 208934 | 841 120147 314766 | 157715 147819 46 | 0.010 % |
165.24/165.24 c | 209146 | 841 120147 314766 | 157715 148031 46 | 0.010 % |
165.54/165.56 c | 209380 | 841 120147 314766 | 157715 148265 46 | 0.010 % |
165.84/165.89 c | 209636 | 841 120147 314766 | 157715 148521 46 | 0.010 % |
166.24/166.27 c | 209917 | 841 120147 314766 | 157715 148802 46 | 0.010 % |
166.64/166.69 c | 210227 | 841 120147 314766 | 148886 149112 46 | 0.010 % |
167.34/167.35 c | 210566 | 841 120147 314766 | 148886 130594 46 | 0.010 % |
167.74/167.76 c | 210939 | 841 120147 314766 | 148886 130967 46 | 0.000 % |
168.24/168.24 c | 211350 | 841 120147 314766 | 148886 131378 46 | 0.010 % |
168.84/168.85 c | 211799 | 841 120147 314766 | 148886 131827 46 | 0.010 % |
169.44/169.44 c | 212292 | 841 120147 314766 | 148886 132320 46 | 0.010 % |
170.04/170.05 c | 212835 | 841 120147 314766 | 148886 132863 46 | 0.009 % |
170.64/170.67 c | 213433 | 841 120147 314766 | 148886 133461 46 | 0.009 % |
171.44/171.43 c | 214088 | 841 120147 314766 | 148886 134116 46 | 0.010 % |
172.14/172.19 c | 214809 | 841 120147 314766 | 148886 134837 46 | 0.000 % |
173.14/173.16 c | 215601 | 841 120147 314766 | 148886 135629 46 | 0.000 % |
174.14/174.17 c | 216476 | 841 120147 314766 | 148886 136504 46 | 0.010 % |
175.44/175.44 c | 217435 | 841 120147 314766 | 148886 137463 46 | 0.010 % |
176.74/176.74 c | 218488 | 841 120147 314766 | 148886 138516 46 | 0.010 % |
178.24/178.23 c | 219646 | 841 120147 314766 | 148886 139674 46 | 0.010 % |
179.94/179.99 c | 220919 | 841 120147 314766 | 140028 124966 46 | 0.010 % |
181.84/181.86 c | 222320 | 841 120147 314766 | 140028 126367 46 | 0.010 % |
183.84/183.81 c | 223863 | 841 120147 314766 | 140028 127910 46 | 0.010 % |
185.94/185.99 c | 225558 | 841 120147 314766 | 140028 129605 45 | 0.010 % |
188.04/188.03 c | 227421 | 841 120147 314766 | 140028 131468 46 | 0.000 % |
190.54/190.52 c | 229470 | 841 120147 314766 | 140028 133517 46 | 0.010 % |
193.44/193.46 c | 231724 | 841 120147 314766 | 134047 120678 45 | 0.010 % |
193.54/193.60 c | 231826 | 841 120147 314766 | 134047 120780 45 | 0.010 % |
193.74/193.75 c | 231936 | 841 120147 314766 | 134047 120890 45 | 0.010 % |
193.94/193.91 c | 232059 | 841 120147 314766 | 134047 121013 45 | 0.010 % |
194.04/194.05 c | 232192 | 841 120147 314766 | 134047 121146 45 | 0.000 % |
194.24/194.22 c | 232338 | 841 120147 314766 | 134047 121292 45 | 0.000 % |
194.44/194.43 c | 232501 | 841 120147 314766 | 134047 121455 45 | 0.010 % |
194.54/194.61 c | 232680 | 841 120147 314766 | 134047 121634 45 | 0.000 % |
194.84/194.84 c | 232873 | 841 120147 314766 | 134047 121827 45 | 0.000 % |
195.04/195.05 c | 233088 | 841 120147 314766 | 134047 122042 46 | 0.000 % |
195.24/195.30 c | 233322 | 841 120147 314766 | 134047 122276 46 | 0.000 % |
195.54/195.55 c | 233579 | 841 120147 314766 | 134047 122533 46 | 0.010 % |
195.84/195.86 c | 233861 | 841 120147 314766 | 134047 122815 46 | 0.000 % |
196.14/196.15 c | 234170 | 841 120147 314766 | 134047 123124 46 | 0.010 % |
196.54/196.55 c | 234509 | 841 120147 314766 | 134047 123463 46 | 0.010 % |
196.94/196.96 c | 234881 | 841 120147 314766 | 134047 123835 46 | 0.000 % |
197.34/197.34 c | 235292 | 841 120147 314766 | 134047 124246 46 | 0.000 % |
197.84/197.81 c | 235741 | 841 120147 314766 | 134047 124695 46 | 0.010 % |
198.34/198.37 c | 236235 | 841 120147 314766 | 134047 125189 46 | 0.010 % |
198.94/198.93 c | 236777 | 841 120147 314766 | 134047 125731 46 | 0.010 % |
199.64/199.66 c | 237375 | 841 120147 314766 | 134047 126329 46 | 0.010 % |
200.34/200.33 c | 238030 | 841 120147 314766 | 134047 126984 46 | 0.010 % |
201.24/201.25 c | 238750 | 841 120147 314766 | 134047 127704 46 | 0.000 % |
202.14/202.20 c | 239543 | 841 120147 314766 | 134047 128497 46 | 0.010 % |
203.24/203.24 c | 240414 | 841 120147 314766 | 2147483647 129368 46 | 0.000 % |
204.34/204.40 c | 241372 | 841 120147 314766 | 2147483647 130326 46 | 0.010 % |
205.64/205.69 c | 242425 | 841 120147 314766 | 2147483647 131379 46 | 0.010 % |
207.14/207.11 c | 243585 | 841 120147 314766 | 2147483647 132539 46 | 0.000 % |
208.74/208.75 c | 244858 | 841 120147 314766 | 2147483647 133812 47 | 0.000 % |
210.84/210.85 c | 246262 | 841 120147 314766 | 2147483647 135216 47 | 0.000 % |
213.14/213.12 c | 247803 | 841 120147 314766 | 2147483647 136757 47 | 0.010 % |
215.65/215.65 c | 249499 | 841 120147 314766 | 2147483647 138453 46 | 0.010 % |
218.34/218.34 c | 251362 | 841 120147 314766 | 138955 124536 46 | 0.010 % |
221.04/221.06 c | 253411 | 841 120147 314766 | 138955 126585 46 | 0.010 % |
223.74/223.78 c | 255664 | 841 120147 314766 | 138955 128838 46 | 0.010 % |
227.14/227.18 c | 258143 | 841 120147 314766 | 138955 131317 46 | 0.000 % |
227.24/227.30 c | 258244 | 841 120147 314766 | 138955 131418 46 | 0.010 % |
227.44/227.46 c | 258358 | 841 120147 314766 | 138955 131532 46 | 0.010 % |
227.54/227.60 c | 258479 | 841 120147 314766 | 138955 131653 46 | 0.010 % |
227.84/227.80 c | 258614 | 841 120147 314766 | 138955 131788 46 | 0.010 % |
227.94/227.98 c | 258761 | 841 120147 314766 | 138955 131935 46 | 0.010 % |
228.24/228.24 c | 258921 | 841 120147 314766 | 138955 132095 46 | 0.010 % |
228.44/228.46 c | 259099 | 841 120147 314766 | 138955 132273 46 | 0.010 % |
228.74/228.72 c | 259293 | 841 120147 314766 | 138955 132467 46 | 0.000 % |
229.04/229.03 c | 259508 | 841 120147 314766 | 138955 132682 46 | 0.000 % |
229.34/229.33 c | 259741 | 841 120147 314766 | 138955 132915 46 | 0.000 % |
229.54/229.57 c | 259998 | 841 120147 314766 | 138955 133172 46 | 0.010 % |
229.84/229.86 c | 260279 | 841 120147 314766 | 133183 133453 46 | 0.010 % |
230.34/230.39 c | 260592 | 841 120147 314766 | 133183 117227 47 | 0.010 % |
230.74/230.73 c | 260934 | 841 120147 314766 | 133183 117569 47 | 0.000 % |
231.14/231.16 c | 261306 | 841 120147 314766 | 133183 117941 47 | 0.010 % |
231.54/231.53 c | 261715 | 841 120147 314766 | 133183 118350 47 | 0.010 % |
232.04/232.07 c | 262165 | 841 120147 314766 | 133183 118800 47 | 0.010 % |
232.74/232.71 c | 262658 | 841 120147 314766 | 133183 119293 47 | 0.000 % |
233.34/233.34 c | 263204 | 841 120147 314766 | 133183 119839 47 | 0.010 % |
234.04/234.10 c | 263802 | 841 120147 314766 | 133183 120437 47 | 0.010 % |
234.84/234.84 c | 264459 | 841 120147 314766 | 133183 121094 46 | 0.010 % |
235.64/235.69 c | 265181 | 841 120147 314766 | 133183 121816 46 | 0.010 % |
236.75/236.75 c | 265973 | 841 120147 314766 | 133183 122608 46 | 0.000 % |
237.55/237.61 c | 266847 | 841 120147 314766 | 133183 123482 46 | 0.010 % |
238.85/238.86 c | 267810 | 841 120147 314766 | 133183 124445 46 | 0.010 % |
240.15/240.16 c | 268863 | 841 120147 314766 | 133183 125498 46 | 0.010 % |
241.65/241.63 c | 270022 | 841 120147 314766 | 126636 126657 46 | 0.010 % |
243.25/243.30 c | 271295 | 841 120147 314766 | 126636 114557 47 | 0.000 % |
245.05/245.07 c | 272698 | 841 120147 314766 | 126636 115960 47 | 0.010 % |
246.95/246.95 c | 274241 | 841 120147 314766 | 126636 117503 47 | 0.010 % |
249.35/249.36 c | 275936 | 841 120147 314766 | 126636 119198 47 | 0.010 % |
252.05/252.09 c | 277801 | 841 120147 314766 | 126636 121063 46 | 0.010 % |
254.65/254.62 c | 279852 | 841 120147 314766 | 126636 123114 46 | 0.010 % |
257.55/257.52 c | 282108 | 841 120147 314766 | 123262 111773 45 | 0.010 % |
260.65/260.70 c | 284587 | 841 120147 314766 | 123262 114252 45 | 0.010 % |
264.05/264.07 c | 287314 | 841 120147 314766 | 123262 116979 46 | 0.000 % |
264.15/264.19 c | 287414 | 841 120147 314766 | 123262 117079 46 | 0.000 % |
264.35/264.35 c | 287527 | 841 120147 314766 | 123262 117192 46 | 0.009 % |
264.45/264.51 c | 287650 | 841 120147 314766 | 123262 117315 47 | 0.000 % |
264.65/264.68 c | 287787 | 841 120147 314766 | 123262 117452 47 | 0.010 % |
264.85/264.84 c | 287933 | 841 120147 314766 | 123262 117598 46 | 0.010 % |
265.05/265.03 c | 288095 | 841 120147 314766 | 123262 117760 46 | 0.010 % |
265.25/265.25 c | 288271 | 841 120147 314766 | 123262 117936 47 | 0.000 % |
265.45/265.49 c | 288466 | 841 120147 314766 | 123262 118131 47 | 0.010 % |
265.65/265.71 c | 288681 | 841 120147 314766 | 123262 118346 47 | 0.000 % |
265.95/265.95 c | 288915 | 841 120147 314766 | 123262 118580 47 | 0.010 % |
266.25/266.23 c | 289173 | 841 120147 314766 | 123262 118838 47 | 0.010 % |
266.45/266.50 c | 289455 | 841 120147 314766 | 123262 119120 47 | 0.010 % |
266.85/266.84 c | 289765 | 841 120147 314766 | 123262 119430 47 | 0.010 % |
267.25/267.25 c | 290105 | 841 120147 314766 | 119666 119770 47 | 0.010 % |
267.85/267.87 c | 290477 | 841 120147 314766 | 119666 107327 46 | 0.010 % |
268.35/268.32 c | 290886 | 841 120147 314766 | 119666 107736 46 | 0.010 % |
268.85/268.82 c | 291336 | 841 120147 314766 | 119666 108186 46 | 0.010 % |
269.35/269.32 c | 291830 | 841 120147 314766 | 119666 108680 46 | 0.010 % |
269.85/269.90 c | 292372 | 841 120147 314766 | 119666 109222 46 | 0.010 % |
270.65/270.61 c | 292968 | 841 120147 314766 | 119666 109818 46 | 0.010 % |
271.35/271.40 c | 293623 | 841 120147 314766 | 119666 110473 46 | 0.010 % |
272.15/272.17 c | 294343 | 841 120147 314766 | 119666 111193 46 | 0.010 % |
273.05/273.10 c | 295135 | 841 120147 314766 | 119666 111985 46 | 0.010 % |
274.05/274.04 c | 296006 | 841 120147 314766 | 119666 112856 46 | 0.010 % |
275.15/275.14 c | 296964 | 841 120147 314766 | 119666 113814 46 | 0.000 % |
276.35/276.39 c | 298018 | 841 120147 314766 | 119666 114868 46 | 0.000 % |
277.55/277.59 c | 299176 | 841 120147 314766 | 119666 116026 47 | 0.000 % |
278.95/278.92 c | 300451 | 841 120147 314766 | 2147483647 117301 47 | 0.010 % |
280.55/280.57 c | 301851 | 841 120147 314766 | 2147483647 118701 47 | 0.010 % |
282.45/282.46 c | 303391 | 841 120147 314766 | 2147483647 120241 46 | 0.010 % |
284.65/284.64 c | 305085 | 841 120147 314766 | 2147483647 121935 46 | 0.010 % |
287.16/287.14 c | 306949 | 841 120147 314766 | 2147483647 123799 47 | 0.000 % |
290.05/290.09 c | 309002 | 841 120147 314766 | 2147483647 125852 47 | 0.010 % |
293.35/293.32 c | 311257 | 841 120147 314766 | 126850 113104 49 | 0.000 % |
296.65/296.64 c | 313736 | 841 120147 314766 | 126850 115583 49 | 0.000 % |
300.15/300.13 c | 316461 | 841 120147 314766 | 126850 118308 49 | 0.010 % |
304.65/304.62 c | 319461 | 841 120147 314766 | 126850 121308 49 | 0.010 % |
304.76/304.78 c | 319561 | 841 120147 314766 | 126850 121408 49 | 0.010 % |
304.95/304.93 c | 319672 | 841 120147 314766 | 126850 121519 49 | 0.000 % |
305.05/305.09 c | 319798 | 841 120147 314766 | 126850 121645 49 | 0.010 % |
305.25/305.26 c | 319932 | 841 120147 314766 | 126850 121779 49 | 0.010 % |
305.45/305.46 c | 320078 | 841 120147 314766 | 121849 121925 49 | 0.000 % |
305.95/305.92 c | 320240 | 841 120147 314766 | 121849 105326 49 | 0.000 % |
306.15/306.11 c | 320416 | 841 120147 314766 | 121849 105502 49 | 0.010 % |
306.35/306.40 c | 320612 | 841 120147 314766 | 121849 105698 49 | 0.010 % |
306.65/306.68 c | 320824 | 841 120147 314766 | 121849 105910 48 | 0.010 % |
307.05/307.01 c | 321059 | 841 120147 314766 | 121849 106145 48 | 0.010 % |
307.35/307.36 c | 321317 | 841 120147 314766 | 121849 106403 49 | 0.000 % |
307.65/307.68 c | 321604 | 841 120147 314766 | 121849 106690 49 | 0.000 % |
307.95/308.02 c | 321913 | 841 120147 314766 | 121849 106999 48 | 0.009 % |
308.45/308.41 c | 322252 | 841 120147 314766 | 121849 107338 48 | 0.009 % |
308.85/308.83 c | 322624 | 841 120147 314766 | 121849 107710 48 | 0.010 % |
309.25/309.28 c | 323034 | 841 120147 314766 | 121849 108120 48 | 0.000 % |
309.75/309.79 c | 323484 | 841 120147 314766 | 121849 108570 49 | 0.000 % |
310.35/310.37 c | 323977 | 841 120147 314766 | 121849 109063 49 | 0.000 % |
311.05/311.04 c | 324521 | 841 120147 314766 | 121849 109607 49 | 0.000 % |
311.85/311.86 c | 325119 | 841 120147 314766 | 121849 110205 49 | 0.000 % |
312.75/312.71 c | 325775 | 841 120147 314766 | 121849 110861 49 | 0.010 % |
313.65/313.61 c | 326504 | 841 120147 314766 | 121849 111590 49 | 0.010 % |
314.45/314.49 c | 327297 | 841 120147 314766 | 121849 112383 49 | 0.000 % |
315.55/315.51 c | 328168 | 841 120147 314766 | 121849 113254 49 | 0.010 % |
316.65/316.68 c | 329128 | 841 120147 314766 | 121849 114214 49 | 0.000 % |
317.96/317.99 c | 330184 | 841 120147 314766 | 115086 115270 49 | 0.010 % |
319.86/319.84 c | 331342 | 841 120147 314766 | 115086 101432 48 | 0.010 % |
321.76/321.76 c | 332615 | 841 120147 314766 | 115086 102705 48 | 0.010 % |
323.66/323.69 c | 334015 | 841 120147 314766 | 115086 104105 48 | 0.010 % |
325.76/325.72 c | 335559 | 841 120147 314766 | 115086 105649 48 | 0.000 % |
327.96/327.99 c | 337253 | 841 120147 314766 | 115086 107343 49 | 0.000 % |
330.46/330.48 c | 339116 | 841 120147 314766 | 115086 109206 49 | 0.010 % |
332.96/333.00 c | 341167 | 841 120147 314766 | 110092 98178 50 | 0.010 % |
335.86/335.84 c | 343424 | 841 120147 314766 | 110092 100435 50 | 0.010 % |
338.96/338.99 c | 345905 | 841 120147 314766 | 110092 102916 49 | 0.010 % |
342.36/342.41 c | 348630 | 841 120147 314766 | 110092 105641 49 | 0.010 % |
346.56/346.57 c | 351628 | 841 120147 314766 | 107012 95608 49 | 0.010 % |
351.66/351.69 c | 354926 | 841 120147 314766 | 107012 98906 49 | 0.010 % |
351.86/351.82 c | 355028 | 841 120147 314766 | 107012 99008 49 | 0.010 % |
351.96/351.94 c | 355139 | 841 120147 314766 | 107012 99119 49 | 0.000 % |
352.06/352.09 c | 355260 | 841 120147 314766 | 107012 99240 49 | 0.000 % |
352.26/352.27 c | 355393 | 841 120147 314766 | 107012 99373 49 | 0.010 % |
352.46/352.47 c | 355539 | 841 120147 314766 | 107012 99519 49 | 0.010 % |
352.66/352.70 c | 355699 | 841 120147 314766 | 107012 99679 49 | 0.000 % |
352.96/352.98 c | 355875 | 841 120147 314766 | 107012 99855 49 | 0.000 % |
353.26/353.21 c | 356071 | 841 120147 314766 | 107012 100051 49 | 0.000 % |
353.46/353.46 c | 356286 | 841 120147 314766 | 107012 100266 49 | 0.000 % |
353.76/353.71 c | 356519 | 841 120147 314766 | 107012 100499 49 | 0.000 % |
354.06/354.11 c | 356776 | 841 120147 314766 | 107012 100756 49 | 0.000 % |
354.46/354.50 c | 357059 | 841 120147 314766 | 107012 101039 49 | 0.000 % |
354.86/354.84 c | 357368 | 841 120147 314766 | 107012 101348 50 | 0.000 % |
355.26/355.25 c | 357707 | 841 120147 314766 | 107012 101687 50 | 0.000 % |
355.66/355.62 c | 358080 | 841 120147 314766 | 107012 102060 50 | 0.000 % |
355.96/356.01 c | 358489 | 841 120147 314766 | 107012 102469 50 | 0.000 % |
356.56/356.53 c | 358938 | 841 120147 314766 | 107012 102918 50 | 0.010 % |
357.16/357.20 c | 359432 | 841 120147 314766 | 107012 103412 50 | 0.000 % |
357.96/357.95 c | 359974 | 841 120147 314766 | 107012 103954 50 | 0.010 % |
359.06/359.09 c | 360570 | 841 120147 314766 | 103986 91105 51 | 0.010 % |
359.76/359.81 c | 361225 | 841 120147 314766 | 103986 91760 51 | 0.000 % |
360.56/360.58 c | 361946 | 841 120147 314766 | 103986 92481 51 | 0.000 % |
361.46/361.49 c | 362738 | 841 120147 314766 | 103986 93273 51 | 0.010 % |
362.66/362.64 c | 363612 | 841 120147 314766 | 103986 94147 51 | 0.000 % |
363.66/363.66 c | 364574 | 841 120147 314766 | 103986 95109 51 | 0.000 % |
364.66/364.70 c | 365629 | 841 120147 314766 | 103986 96164 52 | 0.000 % |
366.26/366.24 c | 366787 | 841 120147 314766 | 103986 97322 52 | 0.000 % |
367.86/367.85 c | 368062 | 841 120147 314766 | 103986 98597 51 | 0.010 % |
369.56/369.61 c | 369463 | 841 120147 314766 | 103986 99998 52 | 0.000 % |
371.66/371.65 c | 371010 | 841 120147 314766 | 100535 89797 50 | 0.010 % |
373.76/373.72 c | 372707 | 841 120147 314766 | 100535 91494 51 | 0.000 % |
376.06/376.08 c | 374570 | 841 120147 314766 | 100535 93357 51 | 0.010 % |
378.86/378.85 c | 376621 | 841 120147 314766 | 100535 95408 52 | 0.000 % |
382.06/382.10 c | 378874 | 841 120147 314766 | 100535 97661 52 | 0.010 % |
385.56/385.53 c | 381357 | 841 120147 314766 | 98792 87205 50 | 0.010 % |
389.36/389.31 c | 384084 | 841 120147 314766 | 98792 89932 50 | 0.010 % |
393.06/393.08 c | 387085 | 841 120147 314766 | 98792 92933 51 | 0.000 % |
397.66/397.68 c | 390381 | 841 120147 314766 | 95851 83309 53 | 0.000 % |
403.07/403.06 c | 394006 | 841 120147 314766 | 95851 86934 53 | 0.010 % |
403.27/403.23 c | 394106 | 841 120147 314766 | 95851 87034 53 | 0.000 % |
403.47/403.44 c | 394218 | 841 120147 314766 | 95851 87146 53 | 0.010 % |
403.67/403.66 c | 394340 | 841 120147 314766 | 95851 87268 53 | 0.010 % |
403.87/403.82 c | 394473 | 841 120147 314766 | 95851 87401 53 | 0.010 % |
404.07/404.06 c | 394620 | 841 120147 314766 | 95851 87548 53 | 0.009 % |
404.27/404.31 c | 394781 | 841 120147 314766 | 95851 87709 53 | 0.009 % |
404.57/404.58 c | 394960 | 841 120147 314766 | 95851 87888 53 | 0.010 % |
404.87/404.84 c | 395154 | 841 120147 314766 | 95851 88082 53 | 0.010 % |
405.07/405.12 c | 395368 | 841 120147 314766 | 95851 88296 53 | 0.010 % |
405.47/405.46 c | 395607 | 841 120147 314766 | 95851 88535 53 | 0.010 % |
405.77/405.81 c | 395865 | 841 120147 314766 | 95851 88793 52 | 0.010 % |
406.17/406.15 c | 396147 | 841 120147 314766 | 95851 89075 52 | 0.010 % |
406.57/406.61 c | 396457 | 841 120147 314766 | 95851 89385 52 | 0.010 % |
407.07/407.10 c | 396796 | 841 120147 314766 | 95851 89724 52 | 0.010 % |
407.57/407.59 c | 397168 | 841 120147 314766 | 95851 90096 52 | 0.010 % |
408.17/408.14 c | 397578 | 841 120147 314766 | 95851 90506 52 | 0.010 % |
408.67/408.68 c | 398027 | 841 120147 314766 | 95851 90955 52 | 0.000 % |
409.27/409.29 c | 398522 | 841 120147 314766 | 95851 91450 53 | 0.000 % |
410.07/410.07 c | 399065 | 841 120147 314766 | 95851 91993 53 | 0.000 % |
410.87/410.90 c | 399662 | 841 120147 314766 | 95851 92590 53 | 0.000 % |
411.87/411.90 c | 400318 | 841 120147 314766 | 92930 93246 53 | 0.009 % |
413.07/413.04 c | 401038 | 841 120147 314766 | 92930 80701 52 | 0.010 % |
413.87/413.86 c | 401830 | 841 120147 314766 | 92930 81493 52 | 0.000 % |
414.87/414.88 c | 402701 | 841 120147 314766 | 92930 82364 52 | 0.010 % |
416.17/416.13 c | 403663 | 841 120147 314766 | 92930 83326 52 | 0.010 % |
417.47/417.50 c | 404718 | 841 120147 314766 | 92930 84381 52 | 0.010 % |
418.97/418.93 c | 405876 | 841 120147 314766 | 92930 85539 52 | 0.010 % |
420.37/420.38 c | 407150 | 841 120147 314766 | 92930 86813 52 | 0.010 % |
421.87/421.82 c | 408552 | 841 120147 314766 | 92930 88215 51 | 0.010 % |
423.57/423.56 c | 410095 | 841 120147 314766 | 89663 89758 52 | 0.000 % |
425.57/425.59 c | 411792 | 841 120147 314766 | 89663 79886 54 | 0.000 % |
427.67/427.62 c | 413655 | 841 120147 314766 | 89663 81749 54 | 0.010 % |
430.07/430.05 c | 415704 | 841 120147 314766 | 89663 83798 54 | 0.010 % |
432.87/432.83 c | 417957 | 841 120147 314766 | 89663 86051 54 | 0.010 % |
435.47/435.45 c | 420437 | 841 120147 314766 | 88094 76425 53 | 0.010 % |
438.27/438.27 c | 423165 | 841 120147 314766 | 88094 79153 53 | 0.010 % |
441.67/441.64 c | 426164 | 841 120147 314766 | 88094 82152 52 | 0.010 % |
445.27/445.27 c | 429461 | 841 120147 314766 | 88094 85449 52 | 0.010 % |
449.47/449.44 c | 433087 | 841 120147 314766 | 85988 76953 50 | 0.010 % |
453.37/453.35 c | 437074 | 841 120147 314766 | 85988 80940 52 | 0.000 % |
453.47/453.48 c | 437174 | 841 120147 314766 | 85988 81040 52 | 0.000 % |
453.57/453.60 c | 437286 | 841 120147 314766 | 85988 81152 52 | 0.010 % |
453.77/453.72 c | 437409 | 841 120147 314766 | 85988 81275 52 | 0.010 % |
453.87/453.84 c | 437544 | 841 120147 314766 | 85988 81410 52 | 0.010 % |
453.97/453.99 c | 437691 | 841 120147 314766 | 85988 81557 52 | 0.000 % |
454.17/454.16 c | 437851 | 841 120147 314766 | 85988 81717 52 | 0.000 % |
454.38/454.36 c | 438030 | 841 120147 314766 | 85988 81896 52 | 0.010 % |
454.57/454.52 c | 438227 | 841 120147 314766 | 85988 82093 52 | 0.000 % |
454.77/454.79 c | 438439 | 841 120147 314766 | 85988 82305 52 | 0.010 % |
455.07/455.01 c | 438672 | 841 120147 314766 | 85988 82538 52 | 0.010 % |
455.27/455.29 c | 438929 | 841 120147 314766 | 85988 82795 52 | 0.010 % |
455.67/455.61 c | 439211 | 841 120147 314766 | 85988 83077 52 | 0.010 % |
455.97/455.93 c | 439521 | 841 120147 314766 | 85988 83387 52 | 0.010 % |
456.27/456.24 c | 439860 | 841 120147 314766 | 85988 83726 53 | 0.000 % |
456.67/456.63 c | 440234 | 841 120147 314766 | 83866 84100 53 | 0.000 % |
457.07/457.08 c | 440643 | 841 120147 314766 | 83866 73559 52 | 0.000 % |
457.57/457.53 c | 441096 | 841 120147 314766 | 83866 74012 52 | 0.010 % |
458.07/458.05 c | 441591 | 841 120147 314766 | 83866 74507 53 | 0.000 % |
458.67/458.65 c | 442133 | 841 120147 314766 | 83866 75049 53 | 0.000 % |
459.37/459.34 c | 442729 | 841 120147 314766 | 83866 75645 53 | 0.010 % |
459.97/459.98 c | 443388 | 841 120147 314766 | 83866 76304 53 | 0.010 % |
460.67/460.62 c | 444110 | 841 120147 314766 | 83866 77026 53 | 0.010 % |
461.47/461.43 c | 444906 | 841 120147 314766 | 83866 77822 53 | 0.010 % |
462.37/462.40 c | 445777 | 841 120147 314766 | 83866 78693 53 | 0.010 % |
463.37/463.40 c | 446735 | 841 120147 314766 | 83866 79651 52 | 0.010 % |
464.47/464.50 c | 447789 | 841 120147 314766 | 83866 80705 52 | 0.010 % |
465.87/465.88 c | 448952 | 841 120147 314766 | 83866 81868 52 | 0.010 % |
467.37/467.35 c | 450226 | 841 120147 314766 | 82918 83142 52 | 0.000 % |
468.97/468.92 c | 451626 | 841 120147 314766 | 82918 73792 48 | 0.010 % |
470.47/470.44 c | 453166 | 841 120147 314766 | 82918 75332 48 | 0.010 % |
472.07/472.08 c | 454860 | 841 120147 314766 | 82918 77026 48 | 0.009 % |
473.87/473.88 c | 456724 | 841 120147 314766 | 82918 78890 48 | 0.010 % |
475.77/475.79 c | 458774 | 841 120147 314766 | 82918 80940 48 | 0.010 % |
478.37/478.34 c | 461030 | 841 120147 314766 | 82167 73922 46 | 0.010 % |
480.57/480.58 c | 463509 | 841 120147 314766 | 82167 76401 48 | 0.000 % |
482.98/482.96 c | 466234 | 841 120147 314766 | 82167 79126 51 | 0.000 % |
486.18/486.15 c | 469232 | 841 120147 314766 | 82167 82124 52 | 0.000 % |
490.18/490.16 c | 472529 | 841 120147 314766 | 73313 67232 51 | 0.010 % |
493.78/493.72 c | 476154 | 841 120147 314766 | 73313 70857 53 | 0.000 % |
498.18/498.15 c | 480142 | 841 120147 314766 | 65591 65729 54 | 0.010 % |
502.18/502.13 c | 484529 | 841 120147 314766 | 65591 62023 51 | 0.010 % |
502.28/502.24 c | 484629 | 841 120147 314766 | 65591 62123 51 | 0.000 % |
502.38/502.33 c | 484740 | 841 120147 314766 | 65591 62234 51 | 0.010 % |
502.48/502.45 c | 484864 | 841 120147 314766 | 65591 62358 51 | 0.010 % |
502.58/502.61 c | 484997 | 841 120147 314766 | 65591 62491 51 | 0.010 % |
502.77/502.76 c | 485143 | 841 120147 314766 | 65591 62637 51 | 0.010 % |
502.97/502.91 c | 485303 | 841 120147 314766 | 65591 62797 51 | 0.010 % |
503.07/503.07 c | 485485 | 841 120147 314766 | 65591 62979 51 | 0.010 % |
503.27/503.27 c | 485680 | 841 120147 314766 | 65591 63174 51 | 0.010 % |
503.47/503.49 c | 485894 | 841 120147 314766 | 65591 63388 51 | 0.010 % |
503.77/503.72 c | 486128 | 841 120147 314766 | 65591 63622 51 | 0.010 % |
503.97/503.95 c | 486386 | 841 120147 314766 | 65591 63880 50 | 0.010 % |
504.17/504.20 c | 486669 | 841 120147 314766 | 65591 64163 50 | 0.010 % |
504.47/504.48 c | 486979 | 841 120147 314766 | 65591 64473 50 | 0.010 % |
504.87/504.81 c | 487318 | 841 120147 314766 | 65591 64812 50 | 0.010 % |
505.17/505.17 c | 487691 | 841 120147 314766 | 65591 65185 50 | 0.010 % |
505.67/505.64 c | 488101 | 841 120147 314766 | 65591 65595 50 | 0.010 % |
506.17/506.18 c | 488552 | 841 120147 314766 | 65591 59062 49 | 0.010 % |
506.67/506.64 c | 489045 | 841 120147 314766 | 65591 59555 49 | 0.000 % |
507.17/507.14 c | 489588 | 841 120147 314766 | 65591 60098 50 | 0.000 % |
507.77/507.72 c | 490184 | 841 120147 314766 | 60510 60694 50 | 0.000 % |
508.37/508.33 c | 490841 | 841 120147 314766 | 60510 55282 51 | 0.010 % |
509.07/509.06 c | 491567 | 841 120147 314766 | 60510 56008 51 | 0.010 % |
509.67/509.68 c | 492361 | 841 120147 314766 | 60510 56802 52 | 0.000 % |
510.37/510.39 c | 493236 | 841 120147 314766 | 60510 57677 52 | 0.010 % |
511.37/511.40 c | 494196 | 841 120147 314766 | 60510 58637 52 | 0.010 % |
512.57/512.52 c | 495252 | 841 120147 314766 | 60510 59693 52 | 0.010 % |
513.67/513.65 c | 496415 | 841 120147 314766 | 60510 54780 52 | 0.010 % |
514.87/514.84 c | 497691 | 841 120147 314766 | 60510 56056 52 | 0.010 % |
516.17/516.16 c | 499093 | 841 120147 314766 | 60510 57458 52 | 0.010 % |
517.57/517.57 c | 500635 | 841 120147 314766 | 2147483647 59000 53 | 0.000 % |
519.27/519.24 c | 502332 | 841 120147 314766 | 2147483647 60697 52 | 0.000 % |
520.87/520.85 c | 504196 | 841 120147 314766 | 2147483647 62561 52 | 0.010 % |
522.77/522.79 c | 506245 | 841 120147 314766 | 2147483647 64610 51 | 0.010 % |
525.17/525.10 c | 508498 | 841 120147 314766 | 2147483647 66863 51 | 0.010 % |
527.77/527.77 c | 510977 | 841 120147 314766 | 2147483647 69342 51 | 0.010 % |
530.47/530.45 c | 513702 | 841 120147 314766 | 2147483647 72067 50 | 0.010 % |
533.77/533.71 c | 516700 | 841 120147 314766 | 2147483647 75065 50 | 0.010 % |
537.17/537.20 c | 519997 | 841 120147 314766 | 2147483647 78362 50 | 0.010 % |
540.87/540.86 c | 523626 | 841 120147 314766 | 78366 72078 44 | 0.010 % |
544.77/544.79 c | 527616 | 841 120147 314766 | 78366 76068 44 | 0.010 % |
549.07/549.04 c | 532003 | 841 120147 314766 | 78452 71824 41 | 0.010 % |
553.27/553.26 c | 536826 | 841 120147 314766 | 78452 76647 45 | 0.000 % |
553.38/553.31 c | 536927 | 841 120147 314766 | 78452 76748 45 | 0.000 % |
553.47/553.40 c | 537037 | 841 120147 314766 | 78452 76858 45 | 0.000 % |
553.57/553.51 c | 537159 | 841 120147 314766 | 78452 76980 45 | 0.000 % |
553.67/553.64 c | 537293 | 841 120147 314766 | 78452 77114 45 | 0.000 % |
553.77/553.80 c | 537439 | 841 120147 314766 | 78452 77260 45 | 0.010 % |
553.97/553.94 c | 537605 | 841 120147 314766 | 78452 77426 45 | 0.010 % |
554.07/554.08 c | 537781 | 841 120147 314766 | 78452 77602 45 | 0.010 % |
554.27/554.26 c | 537974 | 841 120147 314766 | 78452 77795 45 | 0.010 % |
554.48/554.48 c | 538186 | 841 120147 314766 | 78452 78007 45 | 0.010 % |
554.67/554.69 c | 538420 | 841 120147 314766 | 78452 78241 45 | 0.010 % |
554.97/554.95 c | 538679 | 841 120147 314766 | 78452 78500 45 | 0.010 % |
555.27/555.22 c | 538961 | 841 120147 314766 | 78452 70932 45 | 0.010 % |
555.47/555.49 c | 539271 | 841 120147 314766 | 78452 71242 45 | 0.010 % |
555.87/555.83 c | 539610 | 841 120147 314766 | 78452 71581 45 | 0.010 % |
556.27/556.24 c | 539984 | 841 120147 314766 | 78452 71955 44 | 0.010 % |
556.68/556.67 c | 540393 | 841 120147 314766 | 2147483647 72364 44 | 0.010 % |
557.07/557.08 c | 540845 | 841 120147 314766 | 2147483647 72816 44 | 0.010 % |
557.57/557.50 c | 541340 | 841 120147 314766 | 2147483647 73311 44 | 0.010 % |
557.97/557.95 c | 541884 | 841 120147 314766 | 2147483647 73855 44 | 0.010 % |
558.47/558.46 c | 542480 | 841 120147 314766 | 2147483647 74451 44 | 0.010 % |
559.07/559.07 c | 543143 | 841 120147 314766 | 2147483647 75114 44 | 0.010 % |
559.67/559.69 c | 543868 | 841 120147 314766 | 2147483647 75839 44 | 0.009 % |
560.47/560.49 c | 544661 | 841 120147 314766 | 2147483647 76632 44 | 0.009 % |
561.37/561.33 c | 545534 | 841 120147 314766 | 2147483647 77505 44 | 0.009 % |
562.27/562.29 c | 546492 | 841 120147 314766 | 2147483647 78463 45 | 0.000 % |
563.37/563.36 c | 547546 | 841 120147 314766 | 2147483647 79517 45 | 0.000 % |
564.38/564.37 c | 548704 | 841 120147 314766 | 2147483647 80675 46 | 0.000 % |
565.48/565.49 c | 549979 | 841 120147 314766 | 2147483647 81950 46 | 0.018 % |
566.98/566.96 c | 551379 | 841 120147 314766 | 2147483647 83350 46 | 0.010 % |
568.58/568.58 c | 552920 | 841 120147 314766 | 2147483647 84891 47 | 0.010 % |
570.38/570.33 c | 554615 | 841 120147 314766 | 2147483647 86586 47 | 0.010 % |
572.48/572.42 c | 556481 | 841 120147 314766 | 2147483647 88452 47 | 0.000 % |
574.78/574.80 c | 558533 | 841 120147 314766 | 2147483647 90504 46 | 0.010 % |
577.08/577.10 c | 560786 | 841 120147 314766 | 91977 79894 47 | 0.000 % |
579.68/579.63 c | 563264 | 841 120147 314766 | 91977 82372 47 | 0.010 % |
582.68/582.62 c | 565989 | 841 120147 314766 | 91977 85097 47 | 0.010 % |
586.08/586.09 c | 568986 | 841 120147 314766 | 91977 88094 47 | 0.010 % |
590.18/590.12 c | 572285 | 841 120147 314766 | 89108 78275 46 | 0.010 % |
594.58/594.59 c | 575910 | 841 120147 314766 | 89108 81900 46 | 0.010 % |
598.48/598.45 c | 579897 | 841 120147 314766 | 89108 85887 47 | 0.010 % |
603.08/603.08 c | 584283 | 841 120147 314766 | 85994 76612 47 | 0.009 % |
608.08/608.04 c | 589106 | 841 120147 314766 | 85994 81435 47 | 0.010 % |
612.78/612.80 c | 594412 | 841 120147 314766 | 82334 76557 45 | 0.010 % |
612.88/612.89 c | 594512 | 841 120147 314766 | 82334 76657 45 | 0.010 % |
612.98/612.99 c | 594624 | 841 120147 314766 | 82334 76769 45 | 0.000 % |
613.18/613.11 c | 594747 | 841 120147 314766 | 82334 76892 45 | 0.000 % |
613.28/613.23 c | 594880 | 841 120147 314766 | 82334 77025 45 | 0.010 % |
613.38/613.37 c | 595026 | 841 120147 314766 | 82334 77171 45 | 0.010 % |
613.58/613.55 c | 595187 | 841 120147 314766 | 82334 77332 45 | 0.000 % |
613.78/613.73 c | 595363 | 841 120147 314766 | 82334 77508 45 | 0.000 % |
613.98/613.94 c | 595559 | 841 120147 314766 | 82334 77704 45 | 0.000 % |
614.18/614.17 c | 595771 | 841 120147 314766 | 82334 77916 46 | 0.000 % |
614.38/614.39 c | 596008 | 841 120147 314766 | 82334 78153 46 | 0.010 % |
614.58/614.58 c | 596267 | 841 120147 314766 | 82334 78412 46 | 0.000 % |
614.88/614.85 c | 596549 | 841 120147 314766 | 82334 78694 46 | 0.010 % |
615.08/615.09 c | 596859 | 841 120147 314766 | 82334 79004 46 | 0.000 % |
615.48/615.44 c | 597198 | 841 120147 314766 | 82334 79343 46 | 0.000 % |
615.78/615.78 c | 597573 | 841 120147 314766 | 82334 79718 46 | 0.010 % |
616.18/616.13 c | 597984 | 841 120147 314766 | 82334 80129 46 | 0.000 % |
616.58/616.53 c | 598433 | 841 120147 314766 | 82334 80578 47 | 0.000 % |
617.08/617.05 c | 598927 | 841 120147 314766 | 82334 81072 47 | 0.010 % |
617.68/617.65 c | 599475 | 841 120147 314766 | 82334 81620 47 | 0.000 % |
618.29/618.29 c | 600074 | 841 120147 314766 | 82146 82219 46 | 0.010 % |
619.08/619.01 c | 600729 | 841 120147 314766 | 82146 73650 47 | 0.000 % |
619.68/619.70 c | 601449 | 841 120147 314766 | 82146 74370 47 | 0.000 % |
620.49/620.45 c | 602241 | 841 120147 314766 | 82146 75162 47 | 0.010 % |
621.38/621.36 c | 603112 | 841 120147 314766 | 82146 76033 46 | 0.010 % |
622.38/622.35 c | 604073 | 841 120147 314766 | 82146 76994 46 | 0.010 % |
623.28/623.26 c | 605130 | 841 120147 314766 | 82146 78051 47 | 0.000 % |
624.38/624.36 c | 606291 | 841 120147 314766 | 82146 79212 47 | 0.010 % |
625.58/625.58 c | 607564 | 841 120147 314766 | 82146 80485 47 | 0.010 % |
626.78/626.72 c | 608964 | 841 120147 314766 | 82146 81885 48 | 0.000 % |
628.48/628.46 c | 610509 | 841 120147 314766 | 2147483647 75183 46 | 0.010 % |
629.88/629.86 c | 612203 | 841 120147 314766 | 2147483647 76877 48 | 0.000 % |
631.98/631.98 c | 614069 | 841 120147 314766 | 2147483647 78743 48 | 0.000 % |
633.88/633.89 c | 616119 | 841 120147 314766 | 2147483647 80793 49 | 0.000 % |
636.28/636.25 c | 618373 | 841 120147 314766 | 2147483647 83047 49 | 0.010 % |
639.08/639.03 c | 620852 | 841 120147 314766 | 84675 75280 48 | 0.010 % |
641.88/641.85 c | 623582 | 841 120147 314766 | 84675 78010 47 | 0.010 % |
644.88/644.82 c | 626580 | 841 120147 314766 | 84675 81008 49 | 0.000 % |
648.59/648.59 c | 629879 | 841 120147 314766 | 84675 84307 51 | 0.000 % |
652.59/652.57 c | 633506 | 841 120147 314766 | 84430 77274 52 | 0.000 % |
657.09/657.04 c | 637495 | 841 120147 314766 | 84430 81263 53 | 0.000 % |
662.19/662.14 c | 641884 | 841 120147 314766 | 83769 73934 55 | 0.000 % |
667.99/668.01 c | 646708 | 841 120147 314766 | 83769 78758 55 | 0.010 % |
674.89/674.85 c | 652013 | 841 120147 314766 | 82051 70287 54 | 0.010 % |
681.39/681.34 c | 657848 | 841 120147 314766 | 82051 76122 57 | 0.000 % |
681.49/681.48 c | 657951 | 841 120147 314766 | 82051 76225 57 | 0.000 % |
681.69/681.64 c | 658065 | 841 120147 314766 | 82051 76339 57 | 0.010 % |
681.89/681.81 c | 658186 | 841 120147 314766 | 82051 76460 57 | 0.000 % |
681.99/681.95 c | 658321 | 841 120147 314766 | 82051 76595 57 | 0.010 % |
682.09/682.11 c | 658469 | 841 120147 314766 | 82051 76743 57 | 0.010 % |
682.39/682.32 c | 658629 | 841 120147 314766 | 82051 76903 57 | 0.010 % |
682.59/682.51 c | 658805 | 841 120147 314766 | 82051 77079 57 | 0.010 % |
682.79/682.77 c | 659000 | 841 120147 314766 | 82051 77274 57 | 0.010 % |
682.99/682.98 c | 659212 | 841 120147 314766 | 82051 77486 57 | 0.000 % |
683.29/683.22 c | 659446 | 841 120147 314766 | 82051 77720 57 | 0.000 % |
683.49/683.49 c | 659703 | 841 120147 314766 | 82051 77977 57 | 0.010 % |
683.89/683.85 c | 659984 | 841 120147 314766 | 82051 78258 57 | 0.010 % |
684.39/684.37 c | 660293 | 841 120147 314766 | 78274 65225 54 | 0.010 % |
684.79/684.76 c | 660632 | 841 120147 314766 | 78274 65564 54 | 0.010 % |
685.19/685.19 c | 661004 | 841 120147 314766 | 78274 65936 54 | 0.010 % |
685.69/685.63 c | 661413 | 841 120147 314766 | 78274 66345 54 | 0.000 % |
686.09/686.09 c | 661865 | 841 120147 314766 | 78274 66797 54 | 0.010 % |
686.59/686.60 c | 662358 | 841 120147 314766 | 78274 67290 54 | 0.000 % |
687.29/687.21 c | 662900 | 841 120147 314766 | 78274 67832 54 | 0.000 % |
687.89/687.83 c | 663500 | 841 120147 314766 | 78274 68432 54 | 0.000 % |
688.59/688.56 c | 664158 | 841 120147 314766 | 78274 69090 54 | 0.000 % |
689.39/689.40 c | 664884 | 841 120147 314766 | 78274 69816 54 | 0.000 % |
690.39/690.38 c | 665676 | 841 120147 314766 | 78274 70608 54 | 0.000 % |
691.39/691.37 c | 666548 | 841 120147 314766 | 78274 71480 54 | 0.010 % |
692.39/692.38 c | 667507 | 841 120147 314766 | 78274 72439 54 | 0.000 % |
693.39/693.40 c | 668561 | 841 120147 314766 | 78274 73493 55 | 0.000 % |
694.49/694.45 c | 669721 | 841 120147 314766 | 78274 74653 56 | 0.000 % |
695.99/695.91 c | 670994 | 841 120147 314766 | 74935 65233 56 | 0.010 % |
697.69/697.69 c | 672394 | 841 120147 314766 | 74935 66633 55 | 0.010 % |
699.89/699.88 c | 673935 | 841 120147 314766 | 74935 68174 55 | 0.010 % |
701.99/701.91 c | 675630 | 841 120147 314766 | 74935 69869 55 | 0.010 % |
704.10/704.08 c | 677494 | 841 120147 314766 | 74935 71733 54 | 0.010 % |
706.49/706.42 c | 679543 | 841 120147 314766 | 74935 73782 54 | 0.010 % |
709.09/709.06 c | 681801 | 841 120147 314766 | 74240 65051 51 | 0.000 % |
712.19/712.14 c | 684279 | 841 120147 314766 | 74240 67529 51 | 0.010 % |
715.39/715.35 c | 687004 | 841 120147 314766 | 74240 70254 50 | 0.010 % |
718.49/718.46 c | 690002 | 841 120147 314766 | 73250 73252 51 | 0.000 % |
721.79/721.80 c | 693298 | 841 120147 314766 | 73250 66322 52 | 0.000 % |
725.69/725.64 c | 696923 | 841 120147 314766 | 73250 69947 51 | 0.000 % |
730.50/730.50 c | 700913 | 841 120147 314766 | 73024 63514 48 | 0.010 % |
735.40/735.37 c | 705298 | 841 120147 314766 | 73024 67899 48 | 0.010 % |
740.90/740.89 c | 710122 | 841 120147 314766 | 72606 72723 48 | 0.000 % |
746.70/746.66 c | 715427 | 841 120147 314766 | 72606 67482 46 | 0.010 % |
753.80/753.81 c | 721263 | 841 120147 314766 | 72056 62245 44 | 0.010 % |
761.40/761.38 c | 727684 | 841 120147 314766 | 72056 68666 43 | 0.011 % |
761.50/761.50 c | 727789 | 841 120147 314766 | 72056 68771 43 | 0.010 % |
761.70/761.63 c | 727901 | 841 120147 314766 | 72056 68883 43 | 0.010 % |
761.80/761.76 c | 728023 | 841 120147 314766 | 72056 69005 43 | 0.011 % |
761.90/761.89 c | 728157 | 841 120147 314766 | 72056 69139 43 | 0.000 % |
762.10/762.02 c | 728303 | 841 120147 314766 | 72056 69285 43 | 0.000 % |
762.20/762.14 c | 728467 | 841 120147 314766 | 72056 69449 43 | 0.000 % |
762.40/762.33 c | 728645 | 841 120147 314766 | 72056 69627 43 | 0.010 % |
762.60/762.52 c | 728840 | 841 120147 314766 | 72056 69822 43 | 0.010 % |
762.80/762.77 c | 729052 | 841 120147 314766 | 72056 70034 43 | 0.010 % |
763.00/762.99 c | 729287 | 841 120147 314766 | 72056 70269 44 | 0.000 % |
763.30/763.24 c | 729543 | 841 120147 314766 | 72056 70525 44 | 0.000 % |
763.50/763.47 c | 729825 | 841 120147 314766 | 72056 70807 44 | 0.000 % |
763.80/763.72 c | 730134 | 841 120147 314766 | 70982 71116 44 | 0.000 % |
764.10/764.08 c | 730474 | 841 120147 314766 | 70982 60571 43 | 0.010 % |
764.40/764.41 c | 730848 | 841 120147 314766 | 70982 60945 43 | 0.010 % |
764.70/764.70 c | 731260 | 841 120147 314766 | 70982 61357 43 | 0.010 % |
765.10/765.07 c | 731710 | 841 120147 314766 | 70982 61807 43 | 0.000 % |
765.50/765.42 c | 732203 | 841 120147 314766 | 70982 62300 43 | 0.010 % |
765.90/765.83 c | 732745 | 841 120147 314766 | 70982 62842 43 | 0.010 % |
766.30/766.29 c | 733342 | 841 120147 314766 | 70982 63439 43 | 0.010 % |
766.90/766.86 c | 733998 | 841 120147 314766 | 70982 64095 43 | 0.010 % |
767.50/767.47 c | 734719 | 841 120147 314766 | 70982 64816 43 | 0.010 % |
768.30/768.23 c | 735512 | 841 120147 314766 | 70982 65609 43 | 0.010 % |
769.00/768.97 c | 736384 | 841 120147 314766 | 70982 66481 44 | 0.000 % |
769.80/769.79 c | 737342 | 841 120147 314766 | 70982 67439 44 | 0.000 % |
770.80/770.78 c | 738395 | 841 120147 314766 | 70982 68492 44 | 0.010 % |
771.80/771.78 c | 739562 | 841 120147 314766 | 70982 69659 44 | 0.010 % |
772.90/772.87 c | 740835 | 841 120147 314766 | 2147483647 70932 45 | 0.000 % |
774.10/774.09 c | 742237 | 841 120147 314766 | 2147483647 72334 45 | 0.010 % |
775.60/775.56 c | 743777 | 841 120147 314766 | 2147483647 73874 45 | 0.010 % |
777.40/777.37 c | 745474 | 841 120147 314766 | 2147483647 75571 45 | 0.010 % |
779.40/779.35 c | 747337 | 841 120147 314766 | 2147483647 77434 45 | 0.010 % |
781.40/781.35 c | 749388 | 841 120147 314766 | 2147483647 79485 45 | 0.010 % |
783.31/783.25 c | 751642 | 841 120147 314766 | 2147483647 81739 45 | 0.000 % |
785.90/785.88 c | 754121 | 841 120147 314766 | 2147483647 84218 44 | 0.010 % |
788.81/788.78 c | 756848 | 841 120147 314766 | 2147483647 86945 44 | 0.000 % |
792.20/792.15 c | 759848 | 841 120147 314766 | 2147483647 89945 44 | 0.000 % |
796.30/796.25 c | 763144 | 841 120147 314766 | 90097 82502 41 | 0.010 % |
799.81/799.75 c | 766769 | 841 120147 314766 | 90097 86127 41 | 0.010 % |
803.90/803.83 c | 770759 | 841 120147 314766 | 89358 78074 41 | 0.010 % |
808.00/807.95 c | 775144 | 841 120147 314766 | 89358 82459 40 | 0.010 % |
813.11/813.04 c | 779967 | 841 120147 314766 | 89358 87282 41 | 0.010 % |
818.21/818.18 c | 785272 | 841 120147 314766 | 87318 80317 41 | 0.000 % |
823.31/823.28 c | 791108 | 841 120147 314766 | 85046 75973 42 | 0.009 % |
829.61/829.57 c | 797526 | 841 120147 314766 | 85046 82391 42 | 0.010 % |
836.61/836.58 c | 804587 | 841 120147 314766 | 84866 78800 47 | 0.000 % |
836.71/836.70 c | 804687 | 841 120147 314766 | 84866 78900 48 | 0.000 % |
836.91/836.85 c | 804799 | 841 120147 314766 | 84866 79012 48 | 0.000 % |
837.01/836.99 c | 804921 | 841 120147 314766 | 84866 79134 48 | 0.000 % |
837.21/837.16 c | 805055 | 841 120147 314766 | 84866 79268 47 | 0.010 % |
837.31/837.29 c | 805203 | 841 120147 314766 | 84866 79416 48 | 0.000 % |
837.51/837.44 c | 805363 | 841 120147 314766 | 84866 79576 48 | 0.010 % |
837.61/837.60 c | 805540 | 841 120147 314766 | 84866 79753 48 | 0.000 % |
837.81/837.80 c | 805734 | 841 120147 314766 | 84866 79947 48 | 0.000 % |
838.01/837.98 c | 805948 | 841 120147 314766 | 84866 80161 48 | 0.000 % |
838.31/838.24 c | 806182 | 841 120147 314766 | 84866 80395 48 | 0.010 % |
838.51/838.50 c | 806441 | 841 120147 314766 | 84866 80654 48 | 0.010 % |
838.81/838.81 c | 806722 | 841 120147 314766 | 84866 80935 48 | 0.010 % |
839.21/839.21 c | 807031 | 841 120147 314766 | 84866 81244 48 | 0.010 % |
839.61/839.60 c | 807370 | 841 120147 314766 | 84866 81583 48 | 0.000 % |
840.11/840.02 c | 807742 | 841 120147 314766 | 84866 81955 48 | 0.000 % |
840.51/840.47 c | 808151 | 841 120147 314766 | 84866 82364 48 | 0.000 % |
841.01/840.96 c | 808601 | 841 120147 314766 | 84866 82814 48 | 0.010 % |
841.51/841.47 c | 809095 | 841 120147 314766 | 84866 83308 48 | 0.010 % |
842.11/842.06 c | 809639 | 841 120147 314766 | 84866 83852 48 | 0.000 % |
842.61/842.59 c | 810236 | 841 120147 314766 | 84215 84449 49 | 0.000 % |
843.41/843.40 c | 810891 | 841 120147 314766 | 84215 74076 50 | 0.000 % |
844.21/844.19 c | 811612 | 841 120147 314766 | 84215 74797 49 | 0.010 % |
845.01/844.92 c | 812404 | 841 120147 314766 | 84215 75589 49 | 0.010 % |
845.91/845.84 c | 813275 | 841 120147 314766 | 84215 76460 49 | 0.010 % |
846.71/846.71 c | 814234 | 841 120147 314766 | 84215 77419 49 | 0.000 % |
847.91/847.89 c | 815289 | 841 120147 314766 | 84215 78474 49 | 0.010 % |
849.21/849.20 c | 816449 | 841 120147 314766 | 84215 79634 49 | 0.010 % |
850.71/850.64 c | 817723 | 841 120147 314766 | 84215 80908 49 | 0.010 % |
852.31/852.27 c | 819126 | 841 120147 314766 | 84215 82311 49 | 0.010 % |
854.31/854.29 c | 820668 | 841 120147 314766 | 83186 73332 50 | 0.010 % |
856.11/856.08 c | 822362 | 841 120147 314766 | 83186 75026 49 | 0.010 % |
858.11/858.11 c | 824225 | 841 120147 314766 | 83186 76889 49 | 0.000 % |
860.41/860.31 c | 826274 | 841 120147 314766 | 83186 78938 49 | 0.010 % |
862.90/862.84 c | 828527 | 841 120147 314766 | 83186 81191 49 | 0.010 % |
865.50/865.45 c | 831006 | 841 120147 314766 | 82666 71895 52 | 0.000 % |
868.70/868.65 c | 833731 | 841 120147 314766 | 82666 74620 55 | 0.000 % |
872.10/872.06 c | 836728 | 841 120147 314766 | 82666 77617 55 | 0.000 % |
875.60/875.57 c | 840025 | 841 120147 314766 | 80890 80914 55 | 0.010 % |
880.20/880.12 c | 843652 | 841 120147 314766 | 80890 71550 58 | 0.000 % |
885.40/885.34 c | 847641 | 841 120147 314766 | 80890 75539 58 | 0.000 % |
891.30/891.23 c | 852027 | 841 120147 314766 | 77898 65152 51 | 0.010 % |
895.81/895.73 c | 856851 | 841 120147 314766 | 77898 69976 56 | 0.000 % |
901.41/901.36 c | 862157 | 841 120147 314766 | 73126 64264 55 | 0.010 % |
908.31/908.21 c | 867994 | 841 120147 314766 | 73126 70101 54 | 0.010 % |
915.41/915.35 c | 874415 | 841 120147 314766 | 72108 66092 57 | 0.010 % |
924.01/923.96 c | 881477 | 841 120147 314766 | 71677 61266 52 | 0.011 % |
933.01/932.98 c | 889243 | 841 120147 314766 | 71677 69032 50 | 0.011 % |
933.21/933.13 c | 889345 | 841 120147 314766 | 71677 69134 50 | 0.011 % |
933.31/933.27 c | 889455 | 841 120147 314766 | 71677 69244 50 | 0.011 % |
933.51/933.42 c | 889576 | 841 120147 314766 | 71677 69365 50 | 0.011 % |
933.61/933.57 c | 889712 | 841 120147 314766 | 71677 69501 50 | 0.000 % |
933.81/933.70 c | 889860 | 841 120147 314766 | 71677 69649 51 | 0.000 % |
933.91/933.85 c | 890020 | 841 120147 314766 | 69789 69809 50 | 0.010 % |
934.11/934.08 c | 890196 | 841 120147 314766 | 69789 58112 48 | 0.000 % |
934.31/934.26 c | 890391 | 841 120147 314766 | 69789 58307 48 | 0.000 % |
934.51/934.47 c | 890603 | 841 120147 314766 | 69789 58519 48 | 0.000 % |
934.71/934.66 c | 890836 | 841 120147 314766 | 69789 58752 48 | 0.010 % |
935.01/934.94 c | 891093 | 841 120147 314766 | 69789 59009 48 | 0.010 % |
935.21/935.17 c | 891374 | 841 120147 314766 | 69789 59290 48 | 0.000 % |
935.51/935.45 c | 891684 | 841 120147 314766 | 69789 59600 49 | 0.000 % |
935.81/935.73 c | 892023 | 841 120147 314766 | 69789 59939 48 | 0.000 % |
936.11/936.08 c | 892397 | 841 120147 314766 | 69789 60313 49 | 0.000 % |
936.51/936.50 c | 892806 | 841 120147 314766 | 69789 60722 49 | 0.000 % |
936.91/936.90 c | 893256 | 841 120147 314766 | 69789 61172 49 | 0.010 % |
937.31/937.29 c | 893750 | 841 120147 314766 | 69789 61666 49 | 0.000 % |
937.81/937.79 c | 894292 | 841 120147 314766 | 69789 62208 49 | 0.010 % |
938.41/938.34 c | 894888 | 841 120147 314766 | 69789 62804 49 | 0.010 % |
939.01/939.00 c | 895543 | 841 120147 314766 | 69789 63459 49 | 0.000 % |
939.71/939.62 c | 896266 | 841 120147 314766 | 69789 64182 50 | 0.000 % |
940.41/940.31 c | 897060 | 841 120147 314766 | 69789 64976 50 | 0.000 % |
941.11/941.06 c | 897934 | 841 120147 314766 | 69789 65850 51 | 0.000 % |
942.11/942.07 c | 898892 | 841 120147 314766 | 69789 66808 51 | 0.010 % |
943.21/943.15 c | 899946 | 841 120147 314766 | 69789 67862 51 | 0.010 % |
944.41/944.35 c | 901105 | 841 120147 314766 | 67919 61817 47 | 0.010 % |
945.71/945.66 c | 902378 | 841 120147 314766 | 67919 63090 47 | 0.010 % |
947.31/947.21 c | 903779 | 841 120147 314766 | 67919 64491 47 | 0.010 % |
948.91/948.88 c | 905323 | 841 120147 314766 | 67919 66035 47 | 0.010 % |
950.71/950.61 c | 907018 | 841 120147 314766 | 67919 67730 46 | 0.010 % |
952.41/952.34 c | 908881 | 841 120147 314766 | 67919 62269 47 | 0.000 % |
954.31/954.29 c | 910933 | 841 120147 314766 | 63389 57698 47 | 0.000 % |
956.31/956.23 c | 913186 | 841 120147 314766 | 63389 59951 47 | 0.000 % |
958.71/958.62 c | 915665 | 841 120147 314766 | 63389 62430 47 | 0.010 % |
961.91/961.80 c | 918395 | 841 120147 314766 | 63389 58749 45 | 0.010 % |
964.82/964.75 c | 921394 | 841 120147 314766 | 60359 55547 46 | 0.010 % |
967.71/967.69 c | 924690 | 841 120147 314766 | 60359 58843 46 | 0.010 % |
971.42/971.33 c | 928316 | 841 120147 314766 | 60359 56403 46 | 0.010 % |
975.22/975.20 c | 932308 | 841 120147 314766 | 2147483647 60395 47 | 0.010 % |
979.82/979.79 c | 936694 | 841 120147 314766 | 2147483647 64781 46 | 0.010 % |
984.72/984.61 c | 941518 | 841 120147 314766 | 68088 62375 45 | 0.000 % |
989.12/989.09 c | 946823 | 841 120147 314766 | 68088 67680 48 | 0.000 % |
994.82/994.77 c | 952658 | 841 120147 314766 | 2147483647 66668 46 | 0.010 % |
1001.32/1001.24 c | 959080 | 841 120147 314766 | 2147483647 73090 47 | 0.011 % |
1008.22/1008.19 c | 966139 | 841 120147 314766 | 2147483647 80149 52 | 0.000 % |
1016.72/1016.64 c | 973904 | 841 120147 314766 | 84010 77703 53 | 0.010 % |
1027.42/1027.34 c | 982447 | 841 120147 314766 | 83801 74352 54 | 0.010 % |
1027.53/1027.44 c | 982547 | 841 120147 314766 | 83801 74452 54 | 0.000 % |
1027.62/1027.57 c | 982657 | 841 120147 314766 | 83801 74562 54 | 0.000 % |
1027.82/1027.72 c | 982779 | 841 120147 314766 | 83801 74684 54 | 0.010 % |
1027.92/1027.87 c | 982915 | 841 120147 314766 | 83801 74820 54 | 0.010 % |
1028.12/1028.04 c | 983063 | 841 120147 314766 | 83801 74968 54 | 0.010 % |
1028.22/1028.20 c | 983223 | 841 120147 314766 | 83801 75128 54 | 0.000 % |
1028.42/1028.39 c | 983399 | 841 120147 314766 | 83801 75304 54 | 0.000 % |
1028.63/1028.58 c | 983592 | 841 120147 314766 | 83801 75497 54 | 0.000 % |
1028.82/1028.77 c | 983805 | 841 120147 314766 | 83801 75710 54 | 0.000 % |
1029.12/1029.00 c | 984039 | 841 120147 314766 | 83801 75944 54 | 0.010 % |
1029.22/1029.20 c | 984296 | 841 120147 314766 | 83801 76201 54 | 0.000 % |
1029.52/1029.48 c | 984578 | 841 120147 314766 | 83801 76483 54 | 0.000 % |
1029.92/1029.82 c | 984888 | 841 120147 314766 | 83801 76793 55 | 0.000 % |
1030.32/1030.25 c | 985227 | 841 120147 314766 | 83801 77132 55 | 0.010 % |
1030.72/1030.65 c | 985605 | 841 120147 314766 | 83801 77510 55 | 0.010 % |
1031.12/1031.08 c | 986014 | 841 120147 314766 | 83801 77919 55 | 0.010 % |
1031.52/1031.49 c | 986464 | 841 120147 314766 | 83801 78369 55 | 0.000 % |
1032.12/1032.03 c | 986957 | 841 120147 314766 | 83801 78862 55 | 0.010 % |
1032.72/1032.69 c | 987501 | 841 120147 314766 | 83801 79406 55 | 0.010 % |
1033.32/1033.26 c | 988097 | 841 120147 314766 | 83801 80002 55 | 0.000 % |
1034.02/1033.97 c | 988752 | 841 120147 314766 | 83801 80657 56 | 0.000 % |
1034.82/1034.74 c | 989473 | 841 120147 314766 | 83801 81378 56 | 0.010 % |
1035.72/1035.66 c | 990267 | 841 120147 314766 | 81905 82172 56 | 0.010 % |
1036.92/1036.83 c | 991139 | 841 120147 314766 | 81905 71199 58 | 0.010 % |
1037.92/1037.88 c | 992104 | 841 120147 314766 | 81905 72164 57 | 0.010 % |
1039.12/1039.06 c | 993157 | 841 120147 314766 | 81905 73217 57 | 0.000 % |
1040.32/1040.21 c | 994316 | 841 120147 314766 | 81905 74376 57 | 0.010 % |
1041.62/1041.60 c | 995589 | 841 120147 314766 | 81905 75649 57 | 0.010 % |
1043.02/1042.96 c | 996989 | 841 120147 314766 | 81905 77049 57 | 0.000 % |
1044.52/1044.48 c | 998531 | 841 120147 314766 | 81905 78591 57 | 0.010 % |
1046.72/1046.63 c | 1000228 | 841 120147 314766 | 80061 80288 58 | 0.000 % |
1048.82/1048.70 c | 1002093 | 841 120147 314766 | 80061 70097 57 | 0.010 % |
1050.92/1050.85 c | 1004143 | 841 120147 314766 | 80061 72147 58 | 0.000 % |
1053.42/1053.40 c | 1006398 | 841 120147 314766 | 80061 74402 58 | 0.010 % |
1056.42/1056.36 c | 1008877 | 841 120147 314766 | 80061 76881 58 | 0.010 % |
1060.13/1060.03 c | 1011606 | 841 120147 314766 | 78004 67229 57 | 0.011 % |
1063.53/1063.42 c | 1014604 | 841 120147 314766 | 78004 70227 56 | 0.011 % |
1067.53/1067.44 c | 1017901 | 841 120147 314766 | 78004 73524 56 | 0.011 % |
1071.33/1071.30 c | 1021528 | 841 120147 314766 | 75624 65230 51 | 0.000 % |
1075.63/1075.55 c | 1025515 | 841 120147 314766 | 75624 69217 54 | 0.000 % |
1080.73/1080.64 c | 1029901 | 841 120147 314766 | 75624 73603 57 | 0.000 % |
1086.03/1085.91 c | 1034724 | 841 120147 314766 | 73702 67160 54 | 0.010 % |
1091.83/1091.79 c | 1040032 | 841 120147 314766 | 72436 72468 53 | 0.010 % |
1098.63/1098.59 c | 1045868 | 841 120147 314766 | 72436 68488 56 | 0.000 % |
1104.83/1104.77 c | 1052287 | 841 120147 314766 | 72621 64349 53 | 0.010 % |
1112.53/1112.49 c | 1059347 | 841 120147 314766 | 72621 71409 52 | 0.010 % |
1121.63/1121.59 c | 1067117 | 841 120147 314766 | 72064 67739 51 | 0.010 % |
1131.33/1131.25 c | 1075660 | 841 120147 314766 | 70626 64468 47 | 0.010 % |
1141.14/1141.08 c | 1085055 | 841 120147 314766 | 68808 62749 49 | 0.010 % |
1141.24/1141.19 c | 1085155 | 841 120147 314766 | 68808 62849 49 | 0.000 % |
1141.34/1141.31 c | 1085266 | 841 120147 314766 | 68808 62960 49 | 0.000 % |
1141.54/1141.44 c | 1085390 | 841 120147 314766 | 68808 63084 49 | 0.010 % |
1141.64/1141.59 c | 1085526 | 841 120147 314766 | 68808 63220 49 | 0.010 % |
1141.84/1141.77 c | 1085672 | 841 120147 314766 | 68808 63366 49 | 0.000 % |
1142.04/1141.93 c | 1085833 | 841 120147 314766 | 68808 63527 49 | 0.010 % |
1142.14/1142.09 c | 1086009 | 841 120147 314766 | 68808 63703 49 | 0.010 % |
1142.34/1142.23 c | 1086202 | 841 120147 314766 | 68808 63896 49 | 0.000 % |
1142.54/1142.44 c | 1086414 | 841 120147 314766 | 68808 64108 49 | 0.000 % |
1142.74/1142.69 c | 1086647 | 841 120147 314766 | 68808 64341 49 | 0.010 % |
1142.94/1142.90 c | 1086904 | 841 120147 314766 | 68808 64598 49 | 0.010 % |
1143.24/1143.21 c | 1087185 | 841 120147 314766 | 68808 64879 49 | 0.010 % |
1143.54/1143.51 c | 1087494 | 841 120147 314766 | 68808 65188 49 | 0.010 % |
1143.84/1143.80 c | 1087833 | 841 120147 314766 | 68808 65527 49 | 0.010 % |
1144.24/1144.14 c | 1088207 | 841 120147 314766 | 68808 65901 49 | 0.010 % |
1144.64/1144.52 c | 1088616 | 841 120147 314766 | 68808 66310 49 | 0.000 % |
1145.04/1144.99 c | 1089065 | 841 120147 314766 | 68808 66759 49 | 0.000 % |
1145.54/1145.46 c | 1089558 | 841 120147 314766 | 68808 67252 50 | 0.000 % |
1146.14/1146.08 c | 1090100 | 841 120147 314766 | 67695 67794 50 | 0.000 % |
1146.74/1146.68 c | 1090696 | 841 120147 314766 | 67695 59649 46 | 0.010 % |
1147.44/1147.34 c | 1091351 | 841 120147 314766 | 67695 60304 46 | 0.010 % |
1148.04/1147.97 c | 1092073 | 841 120147 314766 | 67695 61026 46 | 0.010 % |
1148.74/1148.63 c | 1092865 | 841 120147 314766 | 67695 61818 47 | 0.000 % |
1149.64/1149.54 c | 1093736 | 841 120147 314766 | 67695 62689 47 | 0.000 % |
1150.54/1150.42 c | 1094695 | 841 120147 314766 | 67695 63648 47 | 0.010 % |
1151.44/1151.36 c | 1095748 | 841 120147 314766 | 67695 64701 47 | 0.010 % |
1152.44/1152.36 c | 1096907 | 841 120147 314766 | 67695 65860 46 | 0.010 % |
1153.64/1153.57 c | 1098182 | 841 120147 314766 | 67695 67135 46 | 0.010 % |
1155.04/1154.97 c | 1099586 | 841 120147 314766 | 67695 61738 45 | 0.010 % |
1156.54/1156.46 c | 1101127 | 841 120147 314766 | 2147483647 63279 46 | 0.000 % |
1158.04/1157.94 c | 1102823 | 841 120147 314766 | 2147483647 64975 46 | 0.009 % |
1159.64/1159.58 c | 1104687 | 841 120147 314766 | 2147483647 66839 46 | 0.009 % |
1161.74/1161.64 c | 1106736 | 841 120147 314766 | 2147483647 68888 46 | 0.010 % |
1163.94/1163.82 c | 1108989 | 841 120147 314766 | 2147483647 71141 46 | 0.010 % |
1166.34/1166.26 c | 1111467 | 841 120147 314766 | 2147483647 73619 46 | 0.010 % |
1169.14/1169.03 c | 1114192 | 841 120147 314766 | 2147483647 76344 46 | 0.010 % |
1171.94/1171.88 c | 1117189 | 841 120147 314766 | 2147483647 79341 46 | 0.010 % |
1175.84/1175.79 c | 1120488 | 841 120147 314766 | 82152 73247 46 | 0.000 % |
1179.94/1179.86 c | 1124117 | 841 120147 314766 | 82152 76876 46 | 0.010 % |
1183.94/1183.91 c | 1128107 | 841 120147 314766 | 82152 80866 46 | 0.010 % |
1188.24/1188.17 c | 1132492 | 841 120147 314766 | 71433 64462 44 | 0.010 % |
1192.94/1192.84 c | 1137316 | 841 120147 314766 | 71433 69286 45 | 0.010 % |
1198.14/1198.02 c | 1142624 | 841 120147 314766 | 63609 58659 43 | 0.010 % |
1200.04/1199.92 HOME/SatELiteGTI: line 36: 8364 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820602-1242457403/watcher-1820602-1242457403 -o /tmp/evaluation-result-1820602-1242457403/solver-1820602-1242457403 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820602-1242457403.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 8358
/proc/meminfo: memFree=1198952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2416 CPUtime=0.01
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 367 648 0 0 0 1 0 0 18 0 1 0 1010241346 2473984 277 4294967295 134512640 135169312 3216756496 3216755032 3084959470 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8358/statm: 604 277 235 161 0 43 0
[pid=8362] ppid=8358 vsize=948 CPUtime=0
/proc/8362/stat : 8362 (SatELite_releas) R 8358 8358 20977 0 -1 4202496 113 0 0 0 0 0 0 0 20 0 1 0 1010241346 970752 49 4294967295 134512640 135223648 3214974288 3214973192 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8362/statm: 237 53 44 174 0 62 0
[startup+0.030523 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 8358
/proc/meminfo: memFree=1198952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2416 CPUtime=0.01
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 367 648 0 0 0 1 0 0 18 0 1 0 1010241346 2473984 277 4294967295 134512640 135169312 3216756496 3216755032 3084959470 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8358/statm: 604 277 235 161 0 43 0
[pid=8362] ppid=8358 vsize=3108 CPUtime=0.03
/proc/8362/stat : 8362 (SatELite_releas) R 8358 8358 20977 0 -1 4202496 646 0 0 0 2 1 0 0 20 0 1 0 1010241346 3182592 582 4294967295 134512640 135223648 3214974288 3214973240 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8362/statm: 777 582 46 174 0 602 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5524
[startup+0.120513 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 8358
/proc/meminfo: memFree=1198952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2416 CPUtime=0.01
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 367 648 0 0 0 1 0 0 18 0 1 0 1010241346 2473984 277 4294967295 134512640 135169312 3216756496 3216755032 3084959470 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8358/statm: 604 277 235 161 0 43 0
[pid=8362] ppid=8358 vsize=7460 CPUtime=0.12
/proc/8362/stat : 8362 (SatELite_releas) R 8358 8358 20977 0 -1 4202496 1783 0 0 0 10 2 0 0 21 0 1 0 1010241346 7639040 1719 4294967295 134512640 135223648 3214974288 3214972640 134608285 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8362/statm: 1865 1719 72 174 0 1690 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 9876
[startup+0.320494 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 8358
/proc/meminfo: memFree=1198952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2420
[startup+0.720454 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 8358
/proc/meminfo: memFree=1198952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2420
[startup+1.52038 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 8364
/proc/meminfo: memFree=1190116/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=8272 CPUtime=1.34
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 2007 0 0 0 134 0 0 0 25 0 1 0 1010241364 8470528 1941 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 2068 1941 73 172 0 1895 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10692
[startup+3.12022 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 8364
/proc/meminfo: memFree=1188876/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=9856 CPUtime=2.94
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 2388 0 0 0 294 0 0 0 25 0 1 0 1010241364 10092544 2322 4294967295 134512640 135215339 3220783920 3220782208 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 2464 2322 73 172 0 2291 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 12276
[startup+6.3199 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 8547
/proc/meminfo: memFree=1186052/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=12540 CPUtime=6.14
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 3037 0 0 0 613 1 0 0 25 0 1 0 1010241364 12840960 2971 4294967295 134512640 135215339 3220783920 3220782208 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 3135 2971 73 172 0 2962 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 14960
[startup+12.7193 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 8548
/proc/meminfo: memFree=1181716/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=16184 CPUtime=12.54
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 3964 0 0 0 1253 1 0 0 25 0 1 0 1010241364 16572416 3898 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 4046 3898 73 172 0 3873 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 18604
[startup+25.518 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 8548
/proc/meminfo: memFree=1175636/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=22120 CPUtime=25.34
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 5453 0 0 0 2531 3 0 0 25 0 1 0 1010241364 22650880 5387 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 5530 5387 73 172 0 5357 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 24540
[startup+51.1155 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 8551
/proc/meminfo: memFree=1167684/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=30364 CPUtime=50.94
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 7492 0 0 0 5089 5 0 0 25 0 1 0 1010241364 31092736 7426 4294967295 134512640 135215339 3220783920 3220782208 134528711 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 7591 7426 73 172 0 7418 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 32784
[startup+102.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 8737
/proc/meminfo: memFree=1156308/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=41360 CPUtime=102.15
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 10221 0 0 0 10209 6 0 0 25 0 1 0 1010241364 42352640 10155 4294967295 134512640 135215339 3220783920 3220782208 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 10340 10155 73 172 0 10167 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 43780
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8926
/proc/meminfo: memFree=1151836/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=45876 CPUtime=162.15
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11355 0 0 0 16208 7 0 0 25 0 1 0 1010241364 46977024 11289 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 11469 11289 73 172 0 11296 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 48296
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9114
/proc/meminfo: memFree=1151580/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46012 CPUtime=222.15
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11402 0 0 0 22207 8 0 0 25 0 1 0 1010241364 47116288 11336 4294967295 134512640 135215339 3220783920 3220782208 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 11503 11336 73 172 0 11330 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 48432
[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9307
/proc/meminfo: memFree=1151712/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46012 CPUtime=282.16
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11404 0 0 0 28208 8 0 0 25 0 1 0 1010241364 47116288 11338 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 11503 11338 73 172 0 11330 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 48432
[startup+342.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9495
/proc/meminfo: memFree=1151464/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46184 CPUtime=342.17
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11423 0 0 0 34209 8 0 0 25 0 1 0 1010241364 47292416 11357 4294967295 134512640 135215339 3220783920 3220782208 134528821 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8364/statm: 11546 11357 73 172 0 11373 0
Current children cumulated CPU time (s) 342.36
Current children cumulated vsize (KiB) 48604
[startup+402.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9683
/proc/meminfo: memFree=1151688/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
################
# More data... #
################
[pid=8364] ppid=8358 vsize=46184 CPUtime=522.18
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11433 0 0 0 52210 8 0 0 25 0 1 0 1010241364 47292416 11367 4294967295 134512640 135215339 3220783920 3220782208 134528814 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11546 11367 73 172 0 11373 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 48604
[startup+582.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10247
/proc/meminfo: memFree=1150828/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46184 CPUtime=582.19
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11433 0 0 0 58210 9 0 0 25 0 1 0 1010241364 47292416 11367 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11546 11367 73 172 0 11373 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 48604
[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10439
/proc/meminfo: memFree=1150944/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46184 CPUtime=642.19
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11440 0 0 0 64209 10 0 0 25 0 1 0 1010241364 47292416 11374 4294967295 134512640 135215339 3220783920 3220782208 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11546 11374 73 172 0 11373 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 48604
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10626
/proc/meminfo: memFree=1150820/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46184 CPUtime=702.2
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11440 0 0 0 70210 10 0 0 25 0 1 0 1010241364 47292416 11374 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11546 11374 73 172 0 11373 0
Current children cumulated CPU time (s) 702.39
Current children cumulated vsize (KiB) 48604
[startup+762.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 10815
/proc/meminfo: memFree=1151068/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46184 CPUtime=762.21
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11440 0 0 0 76207 14 0 0 25 0 1 0 1010241364 47292416 11374 4294967295 134512640 135215339 3220783920 3220782208 134529083 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11546 11374 73 172 0 11373 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 48604
[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11004
/proc/meminfo: memFree=1151060/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46336 CPUtime=822.22
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11476 0 0 0 82208 14 0 0 25 0 1 0 1010241364 47448064 11410 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11584 11410 73 172 0 11411 0
Current children cumulated CPU time (s) 822.41
Current children cumulated vsize (KiB) 48756
[startup+882.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11193
/proc/meminfo: memFree=1151068/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46480 CPUtime=882.21
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11495 0 0 0 88207 14 0 0 25 0 1 0 1010241364 47595520 11429 4294967295 134512640 135215339 3220783920 3220782208 134528795 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11620 11429 73 172 0 11447 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 48900
[startup+942.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11381
/proc/meminfo: memFree=1151068/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46612 CPUtime=942.22
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11512 0 0 0 94208 14 0 0 25 0 1 0 1010241364 47730688 11446 4294967295 134512640 135215339 3220783920 3220782208 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11653 11446 73 172 0 11480 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 49032
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11572
/proc/meminfo: memFree=1150952/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46612 CPUtime=1002.23
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11522 0 0 0 100209 14 0 0 25 0 1 0 1010241364 47730688 11456 4294967295 134512640 135215339 3220783920 3220782208 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11653 11456 73 172 0 11480 0
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (KiB) 49032
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11760
/proc/meminfo: memFree=1150828/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46612 CPUtime=1062.24
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11531 0 0 0 106210 14 0 0 25 0 1 0 1010241364 47730688 11465 4294967295 134512640 135215339 3220783920 3220782208 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11653 11465 73 172 0 11480 0
Current children cumulated CPU time (s) 1062.43
Current children cumulated vsize (KiB) 49032
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 11947
/proc/meminfo: memFree=1150704/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46612 CPUtime=1122.24
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11531 0 0 0 112210 14 0 0 25 0 1 0 1010241364 47730688 11465 4294967295 134512640 135215339 3220783920 3220782208 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11653 11465 73 172 0 11480 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 49032
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12136
/proc/meminfo: memFree=1150704/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46756 CPUtime=1182.25
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11548 0 0 0 118211 14 0 0 25 0 1 0 1010241364 47878144 11482 4294967295 134512640 135215339 3220783920 3220782208 134528673 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11689 11482 73 172 0 11516 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 49176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12138
/proc/meminfo: memFree=1150688/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46756 CPUtime=1199.85
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11548 0 0 0 119971 14 0 0 25 0 1 0 1010241364 47878144 11482 4294967295 134512640 135215339 3220783920 3220782208 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11689 11482 73 172 0 11516 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 49176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12138
/proc/meminfo: memFree=1150688/2074464 swapFree=1951868/1959888
[pid=8358] ppid=8356 vsize=2420 CPUtime=0.19
/proc/8358/stat : 8358 (SatELiteGTI) S 8356 8358 20977 0 -1 4194304 387 2433 0 0 0 1 16 2 18 0 1 0 1010241346 2478080 279 4294967295 134512640 135169312 3216756496 3216752712 3084959470 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8358/statm: 605 279 235 161 0 44 0
[pid=8364] ppid=8358 vsize=46756 CPUtime=1199.85
/proc/8364/stat : 8364 (minisat_static) R 8358 8358 20977 0 -1 4202496 11548 0 0 0 119971 14 0 0 25 0 1 0 1010241364 47878144 11482 4294967295 134512640 135215339 3220783920 3220782208 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8364/statm: 11689 11482 73 172 0 11516 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 49176
Child status: 143
Real time (s): 1199.92
CPU time (s): 1200.05
CPU user time (s): 1199.87
CPU system time (s): 0.18
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 49176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14643
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= 21
involuntary context switches= 1306
runsolver used 0.03 second user time and 0.08 second system time
The end
Begin job on tipi10 at 2009-05-16 09:03:23
IDJOB=1820602
IDBENCH=20491
IDSOLVER=657
FILE ID=tipi10/1820602-1242457403
PBS_JOBID=
Free space on /tmp= 5405 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820602-1242457403/watcher-1820602-1242457403 -o /tmp/evaluation-result-1820602-1242457403/solver-1820602-1242457403 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820602-1242457403.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED= 1580847259
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1199332 kB
Buffers: 33508 kB
Cached: 741168 kB
SwapCached: 2896 kB
Active: 379508 kB
Inactive: 405324 kB
HighTotal: 1178688 kB
HighFree: 429128 kB
LowTotal: 895776 kB
LowFree: 770204 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 3224 kB
Writeback: 0 kB
AnonPages: 9172 kB
Mapped: 3128 kB
Slab: 81740 kB
PageTables: 312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90584 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5405 MiB
End job on tipi10 at 2009-05-16 09:23:23