0.00/0.00 c Parsing...
0.00/0.10 c ==============================================================================
0.00/0.10 c | | ORIGINAL | LEARNT | |
0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.10 c ==============================================================================
0.00/0.10 c | 0 | 177375 464310 | 53212 0 0 nan | 0.000 % |
0.00/0.10 c ==============================================================================
0.00/0.10 c Result : #vars: 1089 #clauses: 177375 #literals: 464310
0.00/0.10 c CPU time: 0.082987 s
0.00/0.10 c ==============================================================================
0.00/0.24 c This is MiniSat 2.0 beta
0.00/0.24 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.24 c ============================[ Problem Statistics ]=============================
0.00/0.24 c | |
0.00/0.24 c | Number of variables: 1089 |
0.00/0.24 c | Number of clauses: 177375 |
0.23/0.33 c | Parsing time: 0.08 s |
0.23/0.33 c ============================[ Search Statistics ]==============================
0.23/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.23/0.33 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.23/0.33 c ===============================================================================
0.23/0.33 c | 0 | 1089 177375 464310 | 59125 0 nan | 0.000 % |
0.23/0.37 c | 100 | 1089 177375 464310 | 59125 100 77 | 0.000 % |
0.23/0.39 c | 200 | 1089 177375 464310 | 59125 200 79 | 0.000 % |
0.23/0.41 c | 301 | 1089 177375 464310 | 59125 301 66 | 0.006 % |
0.23/0.43 c | 411 | 1089 177375 464310 | 59125 411 57 | 0.007 % |
0.23/0.44 c | 512 | 1089 177375 464310 | 59125 512 54 | 0.006 % |
0.23/0.46 c | 624 | 1089 177375 464310 | 59125 624 69 | 0.000 % |
0.23/0.49 c | 745 | 1089 177375 464310 | 59125 745 69 | 0.007 % |
0.23/0.51 c | 848 | 1089 177375 464310 | 59125 848 64 | 0.007 % |
0.23/0.52 c | 960 | 1089 177375 464310 | 59125 960 62 | 0.007 % |
0.23/0.55 c | 1082 | 1089 177375 464310 | 59125 1082 59 | 0.007 % |
0.23/0.57 c | 1215 | 1089 177375 464310 | 59125 1215 61 | 0.000 % |
0.23/0.59 c | 1316 | 1089 177375 464310 | 59125 1316 58 | 0.006 % |
0.23/0.61 c | 1426 | 1089 177375 464310 | 59125 1426 56 | 0.007 % |
0.23/0.63 c | 1548 | 1089 177375 464310 | 59125 1548 55 | 0.006 % |
0.23/0.65 c | 1682 | 1089 177375 464310 | 59125 1682 55 | 0.000 % |
0.23/0.67 c | 1829 | 1089 177375 464310 | 59125 1829 53 | 0.007 % |
0.23/0.69 c | 1930 | 1089 177375 464310 | 59125 1930 52 | 0.006 % |
0.23/0.71 c | 2043 | 1089 177375 464310 | 59125 2043 50 | 0.007 % |
0.23/0.73 c | 2165 | 1089 177375 464310 | 59125 2165 52 | 0.000 % |
0.23/0.75 c | 2299 | 1089 177375 464310 | 59125 2299 51 | 0.007 % |
0.23/0.78 c | 2446 | 1089 177375 464310 | 59125 2446 50 | 0.006 % |
0.23/0.80 c | 2606 | 1089 177375 464310 | 59125 2606 50 | 0.000 % |
0.23/0.82 c | 2709 | 1089 177375 464310 | 59125 2709 49 | 0.006 % |
0.23/0.83 c | 2819 | 1089 177375 464310 | 59125 2819 48 | 0.000 % |
0.23/0.86 c | 2940 | 1089 177375 464310 | 59125 2940 47 | 0.006 % |
0.23/0.88 c | 3073 | 1089 177375 464310 | 59125 3073 47 | 0.006 % |
0.23/0.91 c | 3220 | 1089 177375 464310 | 59125 3220 50 | 0.000 % |
0.23/0.94 c | 3382 | 1089 177375 464310 | 59125 3382 49 | 0.006 % |
0.23/0.97 c | 3559 | 1089 177375 464310 | 59125 3559 47 | 0.006 % |
0.23/0.99 c | 3664 | 1089 177375 464310 | 59125 3664 48 | 0.000 % |
0.99/1.00 c | 3774 | 1089 177375 464310 | 59125 3774 48 | 0.006 % |
0.99/1.02 c | 3895 | 1089 177375 464310 | 59125 3895 47 | 0.007 % |
0.99/1.04 c | 4028 | 1089 177375 464310 | 59125 4028 47 | 0.006 % |
0.99/1.07 c | 4179 | 1089 177375 464310 | 59125 4179 49 | 0.000 % |
0.99/1.10 c | 4346 | 1089 177375 464310 | 59125 4346 48 | 0.000 % |
1.08/1.13 c | 4522 | 1089 177375 464310 | 59125 4522 47 | 0.006 % |
1.08/1.16 c | 4715 | 1089 177375 464310 | 59125 4715 50 | 0.000 % |
1.08/1.17 c | 4816 | 1089 177375 464310 | 59125 4816 51 | 0.007 % |
1.08/1.19 c | 4926 | 1089 177375 464310 | 59125 4926 50 | 0.006 % |
1.18/1.21 c | 5047 | 1089 177375 464310 | 59125 5047 50 | 0.006 % |
1.18/1.24 c | 5181 | 1089 177375 464310 | 59125 5181 51 | 0.000 % |
1.18/1.27 c | 5327 | 1089 177375 464310 | 59125 5327 51 | 0.007 % |
1.18/1.30 c | 5487 | 1089 177375 464310 | 59125 5487 50 | 0.007 % |
1.28/1.33 c | 5664 | 1089 177375 464310 | 59125 5664 50 | 0.006 % |
1.28/1.37 c | 5858 | 1089 177375 464310 | 59125 5858 49 | 0.007 % |
1.38/1.40 c | 6070 | 1089 177375 464310 | 59125 6070 49 | 0.006 % |
1.38/1.42 c | 6171 | 1089 177375 464310 | 59125 6171 50 | 0.000 % |
1.38/1.44 c | 6283 | 1089 177375 464310 | 59125 6283 50 | 0.006 % |
1.38/1.46 c | 6404 | 1089 177375 464310 | 59125 6404 49 | 0.006 % |
1.38/1.49 c | 6538 | 1089 177375 464310 | 59125 6538 49 | 0.000 % |
1.48/1.52 c | 6684 | 1089 177375 464310 | 59125 6684 50 | 0.000 % |
1.48/1.55 c | 6847 | 1089 177375 464310 | 59125 6847 50 | 0.007 % |
1.48/1.59 c | 7023 | 1089 177375 464310 | 59125 7023 49 | 0.007 % |
1.57/1.63 c | 7218 | 1089 177375 464310 | 59125 7218 50 | 0.000 % |
1.57/1.67 c | 7432 | 1089 177375 464310 | 59125 7432 50 | 0.007 % |
1.67/1.71 c | 7667 | 1089 177375 464310 | 59125 7667 49 | 0.007 % |
1.67/1.73 c | 7767 | 1089 177375 464310 | 59125 7767 49 | 0.007 % |
1.67/1.75 c | 7877 | 1089 177375 464310 | 59125 7877 49 | 0.007 % |
1.67/1.78 c | 8000 | 1089 177375 464310 | 59125 8000 48 | 0.007 % |
1.77/1.80 c | 8134 | 1089 177375 464310 | 59125 8134 49 | 0.000 % |
1.77/1.82 c | 8283 | 1089 177375 464310 | 59125 8283 50 | 0.007 % |
1.77/1.85 c | 8443 | 1089 177375 464310 | 59125 8443 50 | 0.006 % |
1.77/1.88 c | 8619 | 1089 177375 464310 | 59125 8619 49 | 0.006 % |
1.87/1.92 c | 8812 | 1089 177375 464310 | 59125 8812 49 | 0.007 % |
1.87/1.97 c | 9024 | 1089 177375 464310 | 59125 9024 49 | 0.006 % |
1.97/2.01 c | 9259 | 1089 177375 464310 | 59125 9259 49 | 0.000 % |
1.97/2.07 c | 9517 | 1089 177375 464310 | 59125 9517 49 | 0.007 % |
1.97/2.09 c | 9620 | 1089 177375 464310 | 59125 9620 50 | 0.000 % |
2.07/2.11 c | 9730 | 1089 177375 464310 | 59125 9730 49 | 0.007 % |
2.07/2.13 c | 9851 | 1089 177375 464310 | 59125 9851 49 | 0.006 % |
2.07/2.16 c | 9986 | 1089 177375 464310 | 59125 9986 49 | 0.007 % |
2.07/2.19 c | 10135 | 1089 177375 464310 | 2147483647 10135 49 | 0.006 % |
2.17/2.22 c | 10295 | 1089 177375 464310 | 2147483647 10295 49 | 0.007 % |
2.17/2.25 c | 10471 | 1089 177375 464310 | 2147483647 10471 48 | 0.006 % |
2.17/2.29 c | 10665 | 1089 177375 464310 | 2147483647 10665 48 | 0.007 % |
2.27/2.33 c | 10877 | 1089 177375 464310 | 2147483647 10877 48 | 0.007 % |
2.27/2.38 c | 11110 | 1089 177375 464310 | 2147483647 11110 48 | 0.006 % |
2.37/2.43 c | 11366 | 1089 177375 464310 | 2147483647 11366 47 | 0.007 % |
2.37/2.50 c | 11648 | 1089 177375 464310 | 2147483647 11648 47 | 0.006 % |
2.47/2.52 c | 11751 | 1089 177375 464310 | 2147483647 11751 47 | 0.007 % |
2.47/2.54 c | 11861 | 1089 177375 464310 | 2147483647 11861 47 | 0.000 % |
2.47/2.56 c | 11984 | 1089 177375 464310 | 2147483647 11984 47 | 0.007 % |
2.47/2.59 c | 12117 | 1089 177375 464310 | 2147483647 12117 47 | 0.006 % |
2.57/2.62 c | 12263 | 1089 177375 464310 | 2147483647 12263 47 | 0.007 % |
2.57/2.65 c | 12423 | 1089 177375 464310 | 2147483647 12423 46 | 0.000 % |
2.57/2.69 c | 12599 | 1089 177375 464310 | 2147483647 12599 46 | 0.007 % |
2.66/2.73 c | 12795 | 1089 177375 464310 | 2147483647 12795 47 | 0.000 % |
2.66/2.77 c | 13008 | 1089 177375 464310 | 2147483647 13008 47 | 0.006 % |
2.76/2.82 c | 13241 | 1089 177375 464310 | 2147483647 13241 48 | 0.000 % |
2.76/2.88 c | 13497 | 1089 177375 464310 | 2147483647 13497 48 | 0.006 % |
2.86/2.94 c | 13780 | 1089 177375 464310 | 2147483647 13780 48 | 0.007 % |
2.96/3.01 c | 14092 | 1089 177375 464310 | 2147483647 14092 48 | 0.007 % |
2.96/3.03 c | 14193 | 1089 177375 464310 | 2147483647 14193 48 | 0.000 % |
2.96/3.05 c | 14304 | 1089 177375 464310 | 2147483647 14304 48 | 0.006 % |
2.96/3.08 c | 14425 | 1089 177375 464310 | 2147483647 14425 48 | 0.006 % |
3.06/3.11 c | 14559 | 1089 177375 464310 | 2147483647 14559 48 | 0.007 % |
3.06/3.14 c | 14705 | 1089 177375 464310 | 2147483647 14705 48 | 0.000 % |
3.06/3.17 c | 14865 | 1089 177375 464310 | 2147483647 14865 48 | 0.006 % |
3.17/3.21 c | 15043 | 1089 177375 464310 | 2147483647 15043 48 | 0.006 % |
3.17/3.25 c | 15241 | 1089 177375 464310 | 2147483647 15241 48 | 0.000 % |
3.17/3.29 c | 15454 | 1089 177375 464310 | 2147483647 15454 48 | 0.006 % |
3.26/3.34 c | 15687 | 1089 177375 464310 | 2147483647 15687 48 | 0.006 % |
3.36/3.40 c | 15943 | 1089 177375 464310 | 2147483647 15943 48 | 0.006 % |
3.36/3.47 c | 16226 | 1089 177375 464310 | 2147483647 16226 47 | 0.006 % |
3.47/3.54 c | 16537 | 1089 177375 464310 | 2147483647 16537 47 | 0.006 % |
3.57/3.62 c | 16876 | 1089 177375 464310 | 2147483647 16876 48 | 0.000 % |
3.57/3.64 c | 16978 | 1089 177375 464310 | 2147483647 16978 48 | 0.007 % |
3.57/3.67 c | 17089 | 1089 177375 464310 | 2147483647 17089 48 | 0.007 % |
3.67/3.70 c | 17210 | 1089 177375 464310 | 2147483647 17210 48 | 0.000 % |
3.67/3.73 c | 17345 | 1089 177375 464310 | 2147483647 17345 48 | 0.007 % |
3.67/3.77 c | 17491 | 1089 177375 464310 | 2147483647 17491 48 | 0.000 % |
3.77/3.81 c | 17651 | 1089 177375 464310 | 2147483647 17651 48 | 0.007 % |
3.77/3.85 c | 17829 | 1089 177375 464310 | 2147483647 17829 48 | 0.007 % |
3.87/3.91 c | 18025 | 1089 177375 464310 | 2147483647 18025 48 | 0.007 % |
3.87/3.96 c | 18239 | 1089 177375 464310 | 2147483647 18239 48 | 0.000 % |
3.97/4.01 c | 18472 | 1089 177375 464310 | 2147483647 18472 48 | 0.007 % |
3.97/4.07 c | 18730 | 1089 177375 464310 | 2147483647 18730 48 | 0.007 % |
4.07/4.15 c | 19011 | 1089 177375 464310 | 2147483647 19011 47 | 0.007 % |
4.17/4.23 c | 19320 | 1089 177375 464310 | 2147483647 19320 48 | 0.000 % |
4.27/4.32 c | 19659 | 1089 177375 464310 | 2147483647 19659 48 | 0.007 % |
4.37/4.41 c | 20031 | 1089 177375 464310 | 2147483647 20031 48 | 0.007 % |
4.37/4.43 c | 20131 | 1089 177375 464310 | 2147483647 20131 48 | 0.000 % |
4.37/4.46 c | 20242 | 1089 177375 464310 | 2147483647 20242 49 | 0.000 % |
4.37/4.48 c | 20364 | 1089 177375 464310 | 2147483647 20364 49 | 0.007 % |
4.47/4.51 c | 20498 | 1089 177375 464310 | 2147483647 20498 48 | 0.006 % |
4.47/4.55 c | 20646 | 1089 177375 464310 | 2147483647 20646 48 | 0.007 % |
4.47/4.58 c | 20808 | 1089 177375 464310 | 2147483647 20808 48 | 0.007 % |
4.57/4.64 c | 20988 | 1089 177375 464310 | 2147483647 20988 48 | 0.006 % |
4.57/4.68 c | 21181 | 1089 177375 464310 | 2147483647 21181 48 | 0.006 % |
4.67/4.72 c | 21394 | 1089 177375 464310 | 2147483647 21394 48 | 0.006 % |
4.67/4.79 c | 21629 | 1089 177375 464310 | 2147483647 21629 48 | 0.007 % |
4.77/4.86 c | 21885 | 1089 177375 464310 | 2147483647 21885 48 | 0.006 % |
4.87/4.95 c | 22168 | 1089 177375 464310 | 2147483647 22168 48 | 0.007 % |
4.97/5.03 c | 22478 | 1089 177375 464310 | 2147483647 22478 48 | 0.007 % |
5.07/5.12 c | 22818 | 1089 177375 464310 | 2147483647 22818 47 | 0.007 % |
5.17/5.24 c | 23190 | 1089 177375 464310 | 2147483647 23190 47 | 0.007 % |
5.27/5.34 c | 23600 | 1089 177375 464310 | 2147483647 23600 47 | 0.007 % |
5.27/5.37 c | 23700 | 1089 177375 464310 | 2147483647 23700 47 | 0.007 % |
5.27/5.39 c | 23813 | 1089 177375 464310 | 2147483647 23813 47 | 0.007 % |
5.37/5.42 c | 23934 | 1089 177375 464310 | 2147483647 23934 47 | 0.007 % |
5.37/5.46 c | 24069 | 1089 177375 464310 | 2147483647 24069 47 | 0.006 % |
5.37/5.50 c | 24215 | 1089 177375 464310 | 2147483647 24215 47 | 0.000 % |
5.47/5.55 c | 24382 | 1089 177375 464310 | 2147483647 24382 47 | 0.007 % |
5.47/5.59 c | 24559 | 1089 177375 464310 | 2147483647 24559 47 | 0.000 % |
5.56/5.63 c | 24755 | 1089 177375 464310 | 2147483647 24755 47 | 0.000 % |
5.56/5.68 c | 24970 | 1089 177375 464310 | 2147483647 24970 47 | 0.007 % |
5.66/5.74 c | 25203 | 1089 177375 464310 | 2147483647 25203 47 | 0.007 % |
5.76/5.80 c | 25460 | 1089 177375 464310 | 2147483647 25460 47 | 0.007 % |
5.76/5.86 c | 25741 | 1089 177375 464310 | 2147483647 25741 47 | 0.007 % |
5.86/5.95 c | 26052 | 1089 177375 464310 | 2147483647 26052 47 | 0.007 % |
5.96/6.01 c | 26391 | 1089 177375 464310 | 2147483647 26391 47 | 0.000 % |
6.06/6.10 c | 26765 | 1089 177375 464310 | 2147483647 26765 47 | 0.006 % |
6.16/6.20 c | 27175 | 1089 177375 464310 | 2147483647 27175 47 | 0.007 % |
6.26/6.32 c | 27625 | 1089 177375 464310 | 2147483647 27625 47 | 0.007 % |
6.26/6.35 c | 27725 | 1089 177375 464310 | 2147483647 27725 47 | 0.006 % |
6.26/6.38 c | 27835 | 1089 177375 464310 | 2147483647 27835 47 | 0.006 % |
6.36/6.42 c | 27957 | 1089 177375 464310 | 2147483647 27957 47 | 0.000 % |
6.36/6.46 c | 28092 | 1089 177375 464310 | 2147483647 28092 47 | 0.006 % |
6.36/6.50 c | 28239 | 1089 177375 464310 | 2147483647 28239 47 | 0.000 % |
6.46/6.54 c | 28399 | 1089 177375 464310 | 2147483647 28399 47 | 0.007 % |
6.46/6.59 c | 28575 | 1089 177375 464310 | 2147483647 28575 47 | 0.007 % |
6.56/6.63 c | 28768 | 1089 177375 464310 | 2147483647 28768 48 | 0.000 % |
6.56/6.69 c | 28981 | 1089 177375 464310 | 2147483647 28981 48 | 0.000 % |
6.66/6.75 c | 29216 | 1089 177375 464310 | 2147483647 29216 48 | 0.007 % |
6.76/6.82 c | 29472 | 1089 177375 464310 | 2147483647 29472 48 | 0.000 % |
6.86/6.90 c | 29753 | 1089 177375 464310 | 2147483647 29753 47 | 0.006 % |
6.86/6.99 c | 30065 | 1089 177375 464310 | 2147483647 30065 47 | 0.006 % |
6.96/7.07 c | 30406 | 1089 177375 464310 | 2147483647 30406 48 | 0.000 % |
7.06/7.17 c | 30779 | 1089 177375 464310 | 2147483647 30779 48 | 0.000 % |
7.16/7.27 c | 31193 | 1089 177375 464310 | 2147483647 31193 48 | 0.007 % |
7.26/7.39 c | 31645 | 1089 177375 464310 | 2147483647 31645 48 | 0.000 % |
7.46/7.52 c | 32138 | 1089 177375 464310 | 2147483647 32138 47 | 0.007 % |
7.46/7.55 c | 32240 | 1089 177375 464310 | 2147483647 32240 47 | 0.006 % |
7.46/7.58 c | 32351 | 1089 177375 464310 | 2147483647 32351 47 | 0.006 % |
7.56/7.62 c | 32475 | 1089 177375 464310 | 2147483647 32475 47 | 0.007 % |
7.56/7.66 c | 32610 | 1089 177375 464310 | 2147483647 32610 47 | 0.007 % |
7.66/7.71 c | 32756 | 1089 177375 464310 | 2147483647 32756 47 | 0.007 % |
7.66/7.76 c | 32916 | 1089 177375 464310 | 2147483647 32916 47 | 0.007 % |
7.76/7.82 c | 33097 | 1089 177375 464310 | 2147483647 33097 47 | 0.000 % |
7.76/7.87 c | 33291 | 1089 177375 464310 | 2147483647 33291 47 | 0.000 % |
7.86/7.94 c | 33505 | 1089 177375 464310 | 2147483647 33505 47 | 0.007 % |
7.96/8.00 c | 33739 | 1089 177375 464310 | 2147483647 33739 47 | 0.000 % |
7.96/8.08 c | 33995 | 1089 177375 464310 | 2147483647 33995 47 | 0.006 % |
8.06/8.17 c | 34279 | 1089 177375 464310 | 2147483647 34279 47 | 0.007 % |
8.15/8.27 c | 34588 | 1089 177375 464310 | 2147483647 34588 47 | 0.007 % |
8.25/8.38 c | 34928 | 1089 177375 464310 | 2147483647 34928 48 | 0.000 % |
8.35/8.49 c | 35303 | 1089 177375 464310 | 2147483647 35303 48 | 0.007 % |
8.55/8.63 c | 35712 | 1089 177375 464310 | 2147483647 35712 48 | 0.007 % |
8.66/8.78 c | 36162 | 1089 177375 464310 | 2147483647 36162 48 | 0.007 % |
8.85/8.93 c | 36655 | 1089 177375 464310 | 2147483647 36655 47 | 0.007 % |
8.96/9.10 c | 37197 | 1089 177375 464310 | 2147483647 37197 47 | 0.007 % |
9.06/9.13 c | 37297 | 1089 177375 464310 | 2147483647 37297 47 | 0.007 % |
9.06/9.17 c | 37409 | 1089 177375 464310 | 2147483647 37409 47 | 0.007 % |
9.16/9.21 c | 37531 | 1089 177375 464310 | 2147483647 37531 47 | 0.007 % |
9.16/9.25 c | 37664 | 1089 177375 464310 | 2147483647 37664 47 | 0.000 % |
9.16/9.30 c | 37811 | 1089 177375 464310 | 2147483647 37811 47 | 0.006 % |
9.26/9.34 c | 37972 | 1089 177375 464310 | 2147483647 37972 47 | 0.006 % |
9.36/9.41 c | 38149 | 1089 177375 464310 | 2147483647 38149 47 | 0.006 % |
9.36/9.47 c | 38342 | 1089 177375 464310 | 2147483647 38342 47 | 0.006 % |
9.46/9.54 c | 38555 | 1089 177375 464310 | 2147483647 38555 47 | 0.006 % |
9.56/9.62 c | 38789 | 1089 177375 464310 | 2147483647 38789 47 | 0.000 % |
9.56/9.69 c | 39045 | 1089 177375 464310 | 2147483647 39045 47 | 0.006 % |
9.66/9.77 c | 39326 | 1089 177375 464310 | 2147483647 39326 48 | 0.000 % |
9.86/9.90 c | 39637 | 1089 177375 464310 | 2147483647 39637 48 | 0.000 % |
9.95/10.03 c | 39978 | 1089 177375 464310 | 2147483647 39978 48 | 0.007 % |
10.05/10.14 c | 40351 | 1089 177375 464310 | 2147483647 40351 48 | 0.006 % |
10.15/10.27 c | 40763 | 1089 177375 464310 | 2147483647 40763 48 | 0.006 % |
10.35/10.45 c | 41212 | 1089 177375 464310 | 2147483647 41212 48 | 0.006 % |
10.55/10.62 c | 41705 | 1089 177375 464310 | 2147483647 41705 48 | 0.007 % |
10.65/10.76 c | 42247 | 1089 177375 464310 | 2147483647 42247 48 | 0.007 % |
10.86/10.97 c | 42845 | 1089 177375 464310 | 2147483647 42845 48 | 0.007 % |
10.96/11.01 c | 42946 | 1089 177375 464310 | 2147483647 42946 48 | 0.007 % |
10.96/11.06 c | 43059 | 1089 177375 464310 | 2147483647 43059 47 | 0.007 % |
11.05/11.10 c | 43181 | 1089 177375 464310 | 2147483647 43181 48 | 0.000 % |
11.05/11.14 c | 43316 | 1089 177375 464310 | 2147483647 43316 48 | 0.000 % |
11.05/11.19 c | 43463 | 1089 177375 464310 | 2147483647 43463 47 | 0.000 % |
11.15/11.24 c | 43626 | 1089 177375 464310 | 2147483647 43626 47 | 0.006 % |
11.25/11.30 c | 43802 | 1089 177375 464310 | 2147483647 43802 47 | 0.006 % |
11.25/11.37 c | 43996 | 1089 177375 464310 | 2147483647 43996 47 | 0.007 % |
11.35/11.44 c | 44208 | 1089 177375 464310 | 2147483647 44208 47 | 0.006 % |
11.45/11.52 c | 44441 | 1089 177375 464310 | 2147483647 44441 47 | 0.006 % |
11.55/11.60 c | 44697 | 1089 177375 464310 | 2147483647 44697 47 | 0.007 % |
11.65/11.70 c | 44979 | 1089 177375 464310 | 2147483647 44979 47 | 0.006 % |
11.75/11.82 c | 45288 | 1089 177375 464310 | 2147483647 45288 47 | 0.007 % |
11.85/11.93 c | 45628 | 1089 177375 464310 | 2147483647 45628 47 | 0.006 % |
11.95/12.04 c | 46000 | 1089 177375 464310 | 2147483647 46000 47 | 0.007 % |
12.05/12.18 c | 46409 | 1089 177375 464310 | 2147483647 46409 47 | 0.000 % |
12.25/12.36 c | 46858 | 1089 177375 464310 | 2147483647 46858 47 | 0.007 % |
12.45/12.54 c | 47353 | 1089 177375 464310 | 2147483647 47353 47 | 0.006 % |
12.65/12.72 c | 47895 | 1089 177375 464310 | 2147483647 47895 47 | 0.007 % |
12.85/12.96 c | 48491 | 1089 177375 464310 | 2147483647 48491 47 | 0.007 % |
13.16/13.24 c | 49146 | 1089 177375 464310 | 2147483647 49146 46 | 0.000 % |
13.16/13.27 c | 49249 | 1089 177375 464310 | 2147483647 49249 46 | 0.007 % |
13.26/13.31 c | 49360 | 1089 177375 464310 | 2147483647 49360 46 | 0.007 % |
13.26/13.36 c | 49482 | 1089 177375 464310 | 2147483647 49482 46 | 0.007 % |
13.36/13.40 c | 49616 | 1089 177375 464310 | 2147483647 49616 46 | 0.007 % |
13.36/13.44 c | 49764 | 1089 177375 464310 | 2147483647 49764 46 | 0.007 % |
13.45/13.50 c | 49926 | 1089 177375 464310 | 2147483647 49926 46 | 0.007 % |
13.45/13.59 c | 50102 | 1089 177375 464310 | 2147483647 50102 46 | 0.006 % |
13.55/13.66 c | 50296 | 1089 177375 464310 | 2147483647 50296 46 | 0.007 % |
13.65/13.74 c | 50510 | 1089 177375 464310 | 2147483647 50510 46 | 0.006 % |
13.75/13.81 c | 50743 | 1089 177375 464310 | 2147483647 50743 46 | 0.000 % |
13.85/13.90 c | 50999 | 1089 177375 464310 | 2147483647 50999 47 | 0.000 % |
13.95/14.01 c | 51281 | 1089 177375 464310 | 2147483647 51281 46 | 0.007 % |
14.05/14.12 c | 51593 | 1089 177375 464310 | 2147483647 51593 46 | 0.007 % |
14.15/14.24 c | 51932 | 1089 177375 464310 | 2147483647 51932 47 | 0.000 % |
14.25/14.37 c | 52304 | 1089 177375 464310 | 2147483647 52304 47 | 0.007 % |
14.45/14.52 c | 52718 | 1089 177375 464310 | 2147483647 52718 47 | 0.006 % |
14.55/14.67 c | 53168 | 1089 177375 464310 | 2147483647 53168 47 | 0.006 % |
14.75/14.82 c | 53661 | 1089 177375 464310 | 2147483647 53661 47 | 0.000 % |
14.95/15.04 c | 54204 | 1089 177375 464310 | 2147483647 54204 47 | 0.000 % |
15.15/15.28 c | 54802 | 1089 177375 464310 | 2147483647 54802 46 | 0.006 % |
15.35/15.49 c | 55457 | 1089 177375 464310 | 2147483647 55457 46 | 0.007 % |
15.64/15.79 c | 56177 | 1089 177375 464310 | 2147483647 56177 46 | 0.007 % |
15.74/15.84 c | 56280 | 1089 177375 464310 | 2147483647 56280 46 | 0.006 % |
15.74/15.88 c | 56395 | 1089 177375 464310 | 2147483647 56395 46 | 0.006 % |
15.84/15.93 c | 56516 | 1089 177375 464310 | 2147483647 56516 46 | 0.006 % |
15.84/15.98 c | 56649 | 1089 177375 464310 | 2147483647 56649 47 | 0.000 % |
15.94/16.04 c | 56795 | 1089 177375 464310 | 2147483647 56795 47 | 0.000 % |
16.04/16.10 c | 56958 | 1089 177375 464310 | 2147483647 56958 47 | 0.007 % |
16.04/16.17 c | 57136 | 1089 177375 464310 | 2147483647 57136 47 | 0.007 % |
16.14/16.26 c | 57329 | 1088 177055 463480 | 2147483647 57328 46 | 0.098 % |
16.24/16.36 c | 57542 | 1088 177055 463480 | 2147483647 57541 46 | 0.098 % |
16.35/16.45 c | 57775 | 1088 177055 463480 | 2147483647 57774 47 | 0.092 % |
16.45/16.57 c | 58034 | 1088 177055 463480 | 2147483647 58033 47 | 0.098 % |
16.55/16.67 c | 58318 | 1088 177055 463480 | 2147483647 58317 47 | 0.092 % |
16.65/16.77 c | 58628 | 1088 177055 463480 | 2147483647 58627 47 | 0.104 % |
16.85/16.92 c | 58971 | 1088 177055 463480 | 2147483647 58970 47 | 0.098 % |
16.95/17.08 c | 59344 | 1088 177055 463480 | 2147483647 59343 47 | 0.098 % |
17.15/17.28 c | 59755 | 1088 177055 463480 | 2147483647 59754 47 | 0.098 % |
17.35/17.47 c | 60204 | 1088 177055 463480 | 2147483647 60203 47 | 0.098 % |
17.56/17.68 c | 60703 | 1088 177055 463480 | 2147483647 60702 47 | 0.098 % |
17.85/17.92 c | 61245 | 1088 177055 463480 | 2147483647 61244 47 | 0.098 % |
18.05/18.16 c | 61841 | 1088 177055 463480 | 2147483647 61840 46 | 0.098 % |
18.35/18.46 c | 62499 | 1088 177055 463480 | 2147483647 62498 46 | 0.098 % |
18.65/18.79 c | 63221 | 1088 177055 463480 | 2147483647 63220 46 | 0.098 % |
19.05/19.18 c | 64014 | 1088 177055 463480 | 2147483647 64013 46 | 0.098 % |
19.15/19.23 c | 64114 | 1088 177055 463480 | 2147483647 64113 46 | 0.092 % |
19.15/19.27 c | 64224 | 1088 177055 463480 | 2147483647 64223 46 | 0.092 % |
19.25/19.32 c | 64348 | 1088 177055 463480 | 2147483647 64347 46 | 0.098 % |
19.25/19.39 c | 64488 | 1088 177055 463480 | 2147483647 64487 46 | 0.098 % |
19.35/19.44 c | 64635 | 1088 177055 463480 | 2147483647 64634 46 | 0.098 % |
19.45/19.51 c | 64796 | 1088 177055 463480 | 2147483647 64795 46 | 0.098 % |
19.45/19.59 c | 64974 | 1088 177055 463480 | 2147483647 64973 46 | 0.098 % |
19.55/19.67 c | 65167 | 1088 177055 463480 | 2147483647 65166 46 | 0.098 % |
19.65/19.76 c | 65379 | 1088 177055 463480 | 2147483647 65378 46 | 0.098 % |
19.75/19.85 c | 65612 | 1088 177055 463480 | 2147483647 65611 46 | 0.098 % |
19.85/19.96 c | 65868 | 1088 177055 463480 | 2147483647 65867 46 | 0.098 % |
19.95/20.08 c | 66149 | 1088 177055 463480 | 2147483647 66148 46 | 0.098 % |
20.15/20.22 c | 66458 | 1088 177055 463480 | 2147483647 66457 46 | 0.098 % |
20.24/20.38 c | 66801 | 1088 177055 463480 | 2147483647 66800 46 | 0.098 % |
20.44/20.56 c | 67176 | 1088 177055 463480 | 2147483647 67175 46 | 0.098 % |
20.64/20.73 c | 67586 | 1088 177055 463480 | 2147483647 67585 46 | 0.098 % |
20.75/20.90 c | 68038 | 1088 177055 463480 | 2147483647 68037 46 | 0.092 % |
21.04/21.11 c | 68531 | 1088 177055 463480 | 2147483647 68530 46 | 0.092 % |
21.24/21.34 c | 69074 | 1088 177055 463480 | 2147483647 69073 46 | 0.092 % |
21.44/21.59 c | 69672 | 1088 177055 463480 | 2147483647 69671 47 | 0.092 % |
21.85/21.92 c | 70331 | 1088 177055 463480 | 2147483647 70330 47 | 0.092 % |
22.14/22.28 c | 71053 | 1088 177055 463480 | 2147483647 71052 47 | 0.098 % |
22.54/22.64 c | 71846 | 1088 177055 463480 | 2147483647 71845 48 | 0.092 % |
22.94/23.09 c | 72722 | 1088 177055 463480 | 2147483647 72721 47 | 0.098 % |
23.04/23.15 c | 72823 | 1088 177055 463480 | 2147483647 72822 47 | 0.098 % |
23.14/23.21 c | 72933 | 1088 177055 463480 | 2147483647 72932 47 | 0.098 % |
23.14/23.27 c | 73055 | 1088 177055 463480 | 2147483647 73054 47 | 0.098 % |
23.24/23.34 c | 73188 | 1088 177055 463480 | 2147483647 73187 47 | 0.092 % |
23.34/23.41 c | 73335 | 1088 177055 463480 | 2147483647 73334 47 | 0.098 % |
23.34/23.47 c | 73496 | 1088 177055 463480 | 2147483647 73495 47 | 0.098 % |
23.44/23.57 c | 73672 | 1088 177055 463480 | 2147483647 73671 47 | 0.098 % |
23.54/23.66 c | 73865 | 1088 177055 463480 | 2147483647 73864 47 | 0.098 % |
23.64/23.76 c | 74078 | 1088 177055 463480 | 2147483647 74077 47 | 0.098 % |
23.74/23.86 c | 74311 | 1088 177055 463480 | 2147483647 74310 48 | 0.092 % |
23.83/23.99 c | 74568 | 1088 177055 463480 | 2147483647 74567 48 | 0.098 % |
24.04/24.12 c | 74853 | 1088 177055 463480 | 2147483647 74852 48 | 0.092 % |
24.14/24.26 c | 75164 | 1088 177055 463480 | 2147483647 75163 48 | 0.092 % |
24.33/24.42 c | 75503 | 1088 177055 463480 | 2147483647 75502 48 | 0.098 % |
24.43/24.59 c | 75877 | 1088 177055 463480 | 2147483647 75876 48 | 0.092 % |
24.73/24.80 c | 76287 | 1088 177055 463480 | 2147483647 76286 48 | 0.099 % |
24.94/25.03 c | 76737 | 1088 177055 463480 | 2147483647 76736 48 | 0.098 % |
25.15/25.27 c | 77231 | 1088 177055 463480 | 2147483647 77230 48 | 0.098 % |
25.44/25.58 c | 77773 | 1088 177055 463480 | 2147483647 77772 48 | 0.098 % |
25.74/25.89 c | 78370 | 1088 177055 463480 | 2147483647 78369 48 | 0.099 % |
26.14/26.21 c | 79026 | 1088 177055 463480 | 2147483647 79025 47 | 0.092 % |
26.44/26.53 c | 79747 | 1088 177055 463480 | 2147483647 79746 48 | 0.092 % |
26.84/26.94 c | 80539 | 1088 177055 463480 | 2147483647 80538 48 | 0.098 % |
27.24/27.37 c | 81411 | 1088 177055 463480 | 2147483647 81410 49 | 0.092 % |
27.74/27.84 c | 82371 | 1088 177055 463480 | 2147483647 82370 49 | 0.098 % |
27.74/27.89 c | 82474 | 1088 177055 463480 | 2147483647 82473 49 | 0.098 % |
27.84/27.95 c | 82588 | 1088 177055 463480 | 2147483647 82587 49 | 0.098 % |
27.94/28.00 c | 82709 | 1088 177055 463480 | 2147483647 82708 49 | 0.092 % |
27.94/28.07 c | 82842 | 1088 177055 463480 | 2147483647 82841 49 | 0.092 % |
28.04/28.14 c | 82989 | 1088 177055 463480 | 2147483647 82988 49 | 0.099 % |
28.14/28.22 c | 83149 | 1088 177055 463480 | 2147483647 83148 49 | 0.099 % |
28.24/28.30 c | 83325 | 1088 177055 463480 | 2147483647 83324 49 | 0.098 % |
28.24/28.39 c | 83521 | 1088 177055 463480 | 2147483647 83520 49 | 0.099 % |
28.44/28.52 c | 83734 | 1088 177055 463480 | 2147483647 83733 49 | 0.092 % |
28.54/28.66 c | 83967 | 1088 177055 463480 | 2147483647 83966 49 | 0.098 % |
28.64/28.79 c | 84223 | 1088 177055 463480 | 2147483647 84222 49 | 0.098 % |
28.84/28.96 c | 84507 | 1088 177055 463480 | 2147483647 84506 49 | 0.098 % |
29.04/29.13 c | 84818 | 1088 177055 463480 | 2147483647 84817 49 | 0.092 % |
29.24/29.31 c | 85157 | 1088 177055 463480 | 2147483647 85156 49 | 0.092 % |
29.43/29.50 c | 85530 | 1088 177055 463480 | 2147483647 85529 49 | 0.092 % |
29.64/29.74 c | 85939 | 1088 177055 463480 | 2147483647 85938 49 | 0.092 % |
29.83/29.97 c | 86391 | 1088 177055 463480 | 2147483647 86390 49 | 0.098 % |
30.13/30.23 c | 86884 | 1088 177055 463480 | 2147483647 86883 49 | 0.098 % |
30.53/30.60 c | 87426 | 1088 177055 463480 | 2147483647 87425 49 | 0.098 % |
30.83/30.94 c | 88026 | 1088 177055 463480 | 2147483647 88025 49 | 0.098 % |
31.14/31.26 c | 88682 | 1088 177055 463480 | 2147483647 88681 49 | 0.092 % |
31.54/31.68 c | 89402 | 1088 177055 463480 | 2147483647 89401 49 | 0.092 % |
32.04/32.12 c | 90196 | 1088 177055 463480 | 2147483647 90195 49 | 0.098 % |
32.44/32.58 c | 91068 | 1088 177055 463480 | 2147483647 91067 49 | 0.098 % |
32.94/33.06 c | 92029 | 1088 177055 463480 | 2147483647 92028 50 | 0.092 % |
33.53/33.66 c | 93082 | 1088 177055 463480 | 2147483647 93081 50 | 0.092 % |
33.63/33.71 c | 93184 | 1088 177055 463480 | 2147483647 93183 51 | 0.092 % |
33.63/33.77 c | 93294 | 1088 177055 463480 | 2147483647 93293 51 | 0.092 % |
33.73/33.84 c | 93418 | 1088 177055 463480 | 2147483647 93417 51 | 0.098 % |
33.83/33.91 c | 93551 | 1088 177055 463480 | 2147483647 93550 50 | 0.098 % |
33.83/33.99 c | 93697 | 1088 177055 463480 | 2147483647 93696 51 | 0.092 % |
33.94/34.08 c | 93857 | 1088 177055 463480 | 2147483647 93856 51 | 0.099 % |
34.04/34.18 c | 94033 | 1088 177055 463480 | 2147483647 94032 51 | 0.098 % |
34.23/34.30 c | 94229 | 1088 177055 463480 | 2147483647 94228 51 | 0.092 % |
34.33/34.43 c | 94441 | 1088 177055 463480 | 2147483647 94440 51 | 0.092 % |
34.43/34.55 c | 94674 | 1088 177055 463480 | 2147483647 94673 51 | 0.098 % |
34.53/34.69 c | 94933 | 1088 177055 463480 | 2147483647 94932 51 | 0.098 % |
34.73/34.85 c | 95218 | 1088 177055 463480 | 2147483647 95217 51 | 0.098 % |
34.93/35.03 c | 95529 | 1088 177055 463480 | 2147483647 95528 51 | 0.098 % |
35.13/35.25 c | 95869 | 1088 177055 463480 | 2147483647 95868 51 | 0.092 % |
35.32/35.45 c | 96244 | 1088 177055 463480 | 2147483647 96243 51 | 0.098 % |
35.62/35.72 c | 96657 | 1088 177055 463480 | 2147483647 96656 51 | 0.092 % |
35.92/36.01 c | 97107 | 1088 177055 463480 | 2147483647 97106 51 | 0.098 % |
36.13/36.30 c | 97600 | 1088 177055 463480 | 2147483647 97599 51 | 0.098 % |
36.52/36.63 c | 98144 | 1088 177055 463480 | 2147483647 98143 51 | 0.098 % |
36.82/36.96 c | 98742 | 1088 177055 463480 | 2147483647 98741 51 | 0.098 % |
37.23/37.34 c | 99398 | 1088 177055 463480 | 2147483647 99397 51 | 0.098 % |
37.72/37.81 c | 100118 | 1088 177055 463480 | 2147483647 100117 51 | 0.098 % |
38.22/38.35 c | 100918 | 1088 177055 463480 | 2147483647 100917 50 | 0.098 % |
38.72/38.89 c | 101793 | 1088 177055 463480 | 2147483647 101792 50 | 0.098 % |
39.42/39.51 c | 102753 | 1088 177055 463480 | 2147483647 102752 50 | 0.092 % |
40.12/40.20 c | 103807 | 1088 177055 463480 | 2147483647 103806 50 | 0.098 % |
40.82/40.94 c | 104966 | 1088 177055 463480 | 2147483647 104965 50 | 0.098 % |
40.92/41.02 c | 105066 | 1088 177055 463480 | 2147483647 105065 50 | 0.099 % |
40.92/41.09 c | 105176 | 1088 177055 463480 | 2147483647 105175 50 | 0.092 % |
41.02/41.18 c | 105298 | 1088 177055 463480 | 2147483647 105297 50 | 0.092 % |
41.13/41.27 c | 105431 | 1088 177055 463480 | 2147483647 105430 50 | 0.098 % |
41.23/41.36 c | 105579 | 1088 177055 463480 | 2147483647 105578 50 | 0.092 % |
41.33/41.45 c | 105740 | 1088 177055 463480 | 2147483647 105739 50 | 0.092 % |
41.43/41.55 c | 105916 | 1088 177055 463480 | 2147483647 105915 50 | 0.098 % |
41.53/41.68 c | 106109 | 1088 177055 463480 | 2147483647 106108 50 | 0.099 % |
41.73/41.81 c | 106322 | 1088 177055 463480 | 2147483647 106321 50 | 0.098 % |
41.83/41.95 c | 106556 | 1088 177055 463480 | 2147483647 106555 50 | 0.098 % |
41.93/42.10 c | 106812 | 1088 177055 463480 | 2147483647 106811 50 | 0.092 % |
42.13/42.22 c | 107094 | 1088 177055 463480 | 2147483647 107093 50 | 0.092 % |
42.33/42.42 c | 107403 | 1088 177055 463480 | 2147483647 107402 50 | 0.092 % |
42.53/42.61 c | 107742 | 1088 177055 463480 | 2147483647 107741 51 | 0.099 % |
42.73/42.86 c | 108114 | 1088 177055 463480 | 2147483647 108113 50 | 0.098 % |
43.03/43.11 c | 108525 | 1088 177055 463480 | 2147483647 108524 50 | 0.098 % |
43.23/43.39 c | 108974 | 1088 177055 463480 | 2147483647 108973 51 | 0.092 % |
43.63/43.71 c | 109467 | 1088 177055 463480 | 2147483647 109466 51 | 0.098 % |
43.93/44.07 c | 110009 | 1088 177055 463480 | 2147483647 110008 51 | 0.098 % |
44.32/44.44 c | 110605 | 1088 177055 463480 | 2147483647 110604 51 | 0.092 % |
44.82/44.91 c | 111260 | 1088 177055 463480 | 2147483647 111259 51 | 0.092 % |
45.32/45.46 c | 111983 | 1088 177055 463480 | 2147483647 111982 51 | 0.098 % |
45.82/45.96 c | 112776 | 1088 177055 463480 | 2147483647 112775 51 | 0.098 % |
46.42/46.50 c | 113649 | 1088 177055 463480 | 2147483647 113648 51 | 0.098 % |
47.02/47.14 c | 114607 | 1088 177055 463480 | 2147483647 114606 51 | 0.098 % |
47.72/47.80 c | 115660 | 1088 177055 463480 | 2147483647 115659 51 | 0.098 % |
48.42/48.55 c | 116820 | 1088 177055 463480 | 2147483647 116819 51 | 0.098 % |
49.22/49.40 c | 118094 | 1088 177055 463480 | 2147483647 118093 51 | 0.098 % |
49.32/49.48 c | 118194 | 1088 177055 463480 | 2147483647 118193 51 | 0.092 % |
49.42/49.56 c | 118304 | 1088 177055 463480 | 2147483647 118303 51 | 0.092 % |
49.52/49.66 c | 118425 | 1088 177055 463480 | 2147483647 118424 51 | 0.098 % |
49.62/49.77 c | 118560 | 1088 177055 463480 | 2147483647 118559 51 | 0.092 % |
49.72/49.89 c | 118706 | 1088 177055 463480 | 2147483647 118705 51 | 0.092 % |
49.92/50.04 c | 118867 | 1088 177055 463480 | 2147483647 118866 51 | 0.098 % |
50.02/50.15 c | 119044 | 1088 177055 463480 | 2147483647 119043 51 | 0.098 % |
50.12/50.30 c | 119237 | 1088 177055 463480 | 2147483647 119236 51 | 0.092 % |
50.32/50.45 c | 119449 | 1088 177055 463480 | 2147483647 119448 51 | 0.092 % |
50.52/50.62 c | 119685 | 1088 177055 463480 | 2147483647 119684 51 | 0.098 % |
50.72/50.81 c | 119943 | 1088 177055 463480 | 2147483647 119942 51 | 0.098 % |
50.92/51.04 c | 120224 | 1088 177055 463480 | 2147483647 120223 51 | 0.099 % |
51.12/51.27 c | 120534 | 1088 177055 463480 | 2147483647 120533 51 | 0.099 % |
51.42/51.50 c | 120873 | 1088 177055 463480 | 2147483647 120872 51 | 0.092 % |
51.72/51.81 c | 121245 | 1088 177055 463480 | 2147483647 121244 51 | 0.099 % |
51.92/52.10 c | 121655 | 1088 177055 463480 | 2147483647 121654 51 | 0.098 % |
52.32/52.41 c | 122104 | 1088 177055 463480 | 2147483647 122103 51 | 0.098 % |
52.72/52.83 c | 122600 | 1088 177055 463480 | 2147483647 122599 51 | 0.098 % |
53.12/53.22 c | 123144 | 1088 177055 463480 | 2147483647 123143 51 | 0.098 % |
53.61/53.71 c | 123740 | 1088 177055 463480 | 2147483647 123739 51 | 0.098 % |
54.01/54.12 c | 124395 | 1088 177055 463480 | 2147483647 124394 51 | 0.098 % |
54.51/54.66 c | 125116 | 1088 177055 463480 | 2147483647 125115 51 | 0.098 % |
55.11/55.22 c | 125908 | 1088 177055 463480 | 2147483647 125907 51 | 0.092 % |
55.71/55.88 c | 126781 | 1088 177055 463480 | 2147483647 126780 51 | 0.098 % |
56.41/56.59 c | 127740 | 1088 177055 463480 | 2147483647 127739 51 | 0.098 % |
57.21/57.39 c | 128793 | 1088 177055 463480 | 2147483647 128792 51 | 0.098 % |
58.21/58.36 c | 129951 | 1088 177055 463480 | 2147483647 129950 51 | 0.098 % |
59.22/59.33 c | 131225 | 1088 177055 463480 | 2147483647 131224 50 | 0.098 % |
60.42/60.53 c | 132626 | 1088 177055 463480 | 2147483647 132625 50 | 0.092 % |
60.52/60.63 c | 132726 | 1088 177055 463480 | 2147483647 132725 50 | 0.098 % |
60.62/60.72 c | 132838 | 1088 177055 463480 | 2147483647 132837 50 | 0.098 % |
60.72/60.81 c | 132964 | 1088 177055 463480 | 2147483647 132963 50 | 0.098 % |
60.82/60.91 c | 133097 | 1088 177055 463480 | 2147483647 133096 50 | 0.098 % |
60.92/61.01 c | 133245 | 1088 177055 463480 | 2147483647 133244 50 | 0.092 % |
61.02/61.13 c | 133406 | 1088 177055 463480 | 2147483647 133405 50 | 0.098 % |
61.12/61.27 c | 133582 | 1088 177055 463480 | 2147483647 133581 50 | 0.098 % |
61.32/61.42 c | 133776 | 1088 177055 463480 | 2147483647 133775 51 | 0.092 % |
61.42/61.58 c | 133988 | 1088 177055 463480 | 2147483647 133987 51 | 0.092 % |
61.62/61.78 c | 134221 | 1088 177055 463480 | 2147483647 134220 51 | 0.098 % |
61.82/61.99 c | 134477 | 1088 177055 463480 | 2147483647 134476 51 | 0.098 % |
62.02/62.19 c | 134758 | 1088 177055 463480 | 2147483647 134757 51 | 0.098 % |
62.22/62.38 c | 135067 | 1088 177055 463480 | 2147483647 135066 51 | 0.098 % |
62.52/62.64 c | 135410 | 1088 177055 463480 | 2147483647 135409 51 | 0.092 % |
62.81/62.95 c | 135782 | 1088 177055 463480 | 2147483647 135781 51 | 0.092 % |
63.01/63.18 c | 136191 | 1088 177055 463480 | 2147483647 136190 51 | 0.098 % |
63.41/63.55 c | 136641 | 1088 177055 463480 | 2147483647 136640 51 | 0.098 % |
63.81/63.98 c | 137135 | 1088 177055 463480 | 2147483647 137134 51 | 0.098 % |
64.21/64.32 c | 137677 | 1088 177055 463480 | 2147483647 137676 51 | 0.098 % |
64.61/64.73 c | 138276 | 1088 177055 463480 | 2147483647 138275 51 | 0.092 % |
65.01/65.13 c | 138932 | 1088 177055 463480 | 2147483647 138931 51 | 0.098 % |
65.51/65.66 c | 139652 | 1088 177055 463480 | 2147483647 139651 51 | 0.098 % |
66.10/66.29 c | 140446 | 1088 177055 463480 | 2147483647 140445 51 | 0.098 % |
66.80/66.97 c | 141317 | 1088 177055 463480 | 2147483647 141316 51 | 0.098 % |
67.60/67.75 c | 142276 | 1088 177055 463480 | 2147483647 142275 51 | 0.098 % |
68.50/68.66 c | 143329 | 1088 177055 463480 | 2147483647 143328 51 | 0.098 % |
69.60/69.76 c | 144487 | 1088 177055 463480 | 2147483647 144486 51 | 0.099 % |
70.80/70.97 c | 145761 | 1088 177055 463480 | 2147483647 145760 50 | 0.098 % |
72.11/72.25 c | 147162 | 1088 177055 463480 | 2147483647 147161 50 | 0.098 % |
73.41/73.56 c | 148703 | 1088 177055 463480 | 2147483647 148702 50 | 0.098 % |
73.51/73.63 c | 148806 | 1088 177055 463480 | 2147483647 148805 50 | 0.098 % |
73.61/73.73 c | 148920 | 1088 177055 463480 | 2147483647 148919 50 | 0.098 % |
73.71/73.83 c | 149041 | 1088 177055 463480 | 2147483647 149040 50 | 0.098 % |
73.81/73.91 c | 149176 | 1088 177055 463480 | 2147483647 149175 50 | 0.092 % |
73.91/74.02 c | 149322 | 1088 177055 463480 | 2147483647 149321 50 | 0.092 % |
74.01/74.18 c | 149483 | 1088 177055 463480 | 2147483647 149482 50 | 0.092 % |
74.21/74.35 c | 149660 | 1088 177055 463480 | 2147483647 149659 50 | 0.098 % |
74.40/74.52 c | 149853 | 1088 177055 463480 | 2147483647 149852 50 | 0.098 % |
74.61/74.71 c | 150065 | 1088 177055 463480 | 2147483647 150064 50 | 0.098 % |
74.71/74.89 c | 150302 | 1088 177055 463480 | 2147483647 150301 50 | 0.092 % |
74.90/75.09 c | 150559 | 1088 177055 463480 | 2147483647 150558 50 | 0.098 % |
75.20/75.31 c | 150841 | 1088 177055 463480 | 2147483647 150840 51 | 0.092 % |
75.40/75.60 c | 151150 | 1088 177055 463480 | 2147483647 151149 51 | 0.098 % |
75.80/75.94 c | 151494 | 1088 177055 463480 | 2147483647 151493 50 | 0.098 % |
76.10/76.26 c | 151867 | 1088 177055 463480 | 2147483647 151866 50 | 0.098 % |
76.50/76.60 c | 152278 | 1088 177055 463480 | 2147483647 152277 50 | 0.098 % |
76.80/76.98 c | 152727 | 1088 177055 463480 | 2147483647 152726 50 | 0.098 % |
77.30/77.42 c | 153220 | 1088 177055 463480 | 2147483647 153219 50 | 0.098 % |
77.80/77.98 c | 153764 | 1088 177055 463480 | 2147483647 153763 50 | 0.098 % |
78.50/78.60 c | 154361 | 1088 177055 463480 | 2147483647 154360 50 | 0.098 % |
79.00/79.18 c | 155018 | 1088 177055 463480 | 2147483647 155017 50 | 0.098 % |
79.70/79.82 c | 155739 | 1088 177055 463480 | 2147483647 155738 51 | 0.092 % |
80.40/80.50 c | 156533 | 1088 177055 463480 | 2147483647 156532 51 | 0.098 % |
81.10/81.25 c | 157404 | 1088 177055 463480 | 2147483647 157403 51 | 0.092 % |
81.90/82.03 c | 158362 | 1088 177055 463480 | 2147483647 158361 51 | 0.099 % |
82.90/83.05 c | 159419 | 1088 177055 463480 | 2147483647 159418 51 | 0.098 % |
83.80/83.97 c | 160577 | 1088 177055 463480 | 2147483647 160576 51 | 0.099 % |
84.80/84.94 c | 161850 | 1088 177055 463480 | 2147483647 161849 52 | 0.092 % |
85.90/86.05 c | 163252 | 1088 177055 463480 | 2147483647 163251 52 | 0.098 % |
87.20/87.39 c | 164792 | 1088 177055 463480 | 2147483647 164791 51 | 0.098 % |
88.80/89.00 c | 166487 | 1088 177055 463480 | 2147483647 166486 52 | 0.098 % |
89.00/89.11 c | 166589 | 1088 177055 463480 | 2147483647 166588 52 | 0.098 % |
89.00/89.19 c | 166699 | 1088 177055 463480 | 2147483647 166698 52 | 0.092 % |
89.10/89.28 c | 166820 | 1088 177055 463480 | 2147483647 166819 52 | 0.098 % |
89.30/89.42 c | 166954 | 1088 177055 463480 | 2147483647 166953 52 | 0.098 % |
89.40/89.54 c | 167101 | 1088 177055 463480 | 2147483647 167100 52 | 0.098 % |
89.59/89.70 c | 167264 | 1088 177055 463480 | 2147483647 167263 52 | 0.092 % |
89.69/89.83 c | 167440 | 1088 177055 463480 | 2147483647 167439 52 | 0.098 % |
89.89/90.04 c | 167636 | 1088 177055 463480 | 2147483647 167635 52 | 0.098 % |
90.10/90.25 c | 167851 | 1088 177055 463480 | 2147483647 167850 52 | 0.098 % |
90.29/90.47 c | 168084 | 1088 177055 463480 | 2147483647 168083 52 | 0.098 % |
90.59/90.71 c | 168344 | 1088 177055 463480 | 2147483647 168343 52 | 0.092 % |
90.79/90.98 c | 168625 | 1088 177055 463480 | 2147483647 168624 52 | 0.098 % |
91.20/91.34 c | 168934 | 1088 177055 463480 | 2147483647 168933 52 | 0.098 % |
91.49/91.69 c | 169273 | 1088 177055 463480 | 2147483647 169272 52 | 0.098 % |
91.99/92.10 c | 169646 | 1088 177055 463480 | 2147483647 169645 52 | 0.098 % |
92.39/92.55 c | 170055 | 1088 177055 463480 | 2147483647 170054 52 | 0.098 % |
92.89/93.02 c | 170506 | 1088 177055 463480 | 2147483647 170505 52 | 0.092 % |
93.30/93.50 c | 170999 | 1088 177055 463480 | 2147483647 170998 52 | 0.092 % |
94.00/94.20 c | 171542 | 1088 177055 463480 | 2147483647 171541 52 | 0.098 % |
94.70/94.84 c | 172138 | 1087 176735 462650 | 2147483647 172136 52 | 0.190 % |
95.30/95.46 c | 172794 | 1087 176735 462650 | 2147483647 172792 52 | 0.190 % |
96.00/96.13 c | 173515 | 1087 176735 462650 | 2147483647 173513 52 | 0.190 % |
96.79/96.95 c | 174309 | 1087 176735 462650 | 2147483647 174307 52 | 0.184 % |
97.59/97.71 c | 175180 | 1087 176735 462650 | 2147483647 175178 52 | 0.190 % |
98.49/98.60 c | 176139 | 1087 176735 462650 | 2147483647 176137 52 | 0.190 % |
99.49/99.67 c | 177192 | 1087 176735 462650 | 2147483647 177190 52 | 0.190 % |
100.69/100.85 c | 178351 | 1087 176735 462650 | 2147483647 178349 52 | 0.190 % |
101.99/102.19 c | 179626 | 1087 176735 462650 | 2147483647 179624 52 | 0.190 % |
103.79/103.93 c | 181031 | 1087 176735 462650 | 2147483647 181029 52 | 0.190 % |
105.09/105.26 c | 182574 | 1087 176735 462650 | 2147483647 182572 52 | 0.184 % |
106.79/106.90 c | 184274 | 1087 176735 462650 | 2147483647 184272 53 | 0.184 % |
108.98/109.14 c | 186137 | 1087 176735 462650 | 2147483647 186135 53 | 0.190 % |
109.08/109.27 c | 186238 | 1087 176735 462650 | 2147483647 186236 53 | 0.184 % |
109.18/109.38 c | 186348 | 1087 176735 462650 | 2147483647 186346 53 | 0.191 % |
109.38/109.51 c | 186471 | 1087 176735 462650 | 2147483647 186469 53 | 0.191 % |
109.48/109.68 c | 186606 | 1087 176735 462650 | 2147483647 186604 53 | 0.190 % |
109.68/109.85 c | 186754 | 1087 176735 462650 | 2147483647 186752 53 | 0.190 % |
109.89/110.02 c | 186917 | 1087 176735 462650 | 2147483647 186915 53 | 0.190 % |
110.08/110.20 c | 187094 | 1087 176735 462650 | 2147483647 187092 53 | 0.191 % |
110.29/110.42 c | 187287 | 1087 176735 462650 | 2147483647 187285 53 | 0.184 % |
110.49/110.65 c | 187499 | 1087 176735 462650 | 2147483647 187497 53 | 0.184 % |
110.69/110.88 c | 187732 | 1087 176735 462650 | 2147483647 187730 53 | 0.190 % |
111.00/111.18 c | 187989 | 1087 176735 462650 | 2147483647 187987 53 | 0.184 % |
111.39/111.54 c | 188273 | 1087 176735 462650 | 2147483647 188271 53 | 0.190 % |
111.79/111.93 c | 188584 | 1087 176735 462650 | 2147483647 188582 53 | 0.190 % |
112.10/112.29 c | 188923 | 1087 176735 462650 | 2147483647 188921 53 | 0.184 % |
112.59/112.77 c | 189297 | 1087 176735 462650 | 2147483647 189295 53 | 0.190 % |
113.19/113.33 c | 189708 | 1087 176735 462650 | 2147483647 189706 53 | 0.190 % |
113.59/113.78 c | 190159 | 1087 176735 462650 | 2147483647 190157 53 | 0.190 % |
114.09/114.24 c | 190657 | 1087 176735 462650 | 2147483647 190655 53 | 0.190 % |
114.69/114.88 c | 191199 | 1087 176735 462650 | 2147483647 191197 53 | 0.190 % |
115.39/115.56 c | 191795 | 1087 176735 462650 | 2147483647 191793 53 | 0.190 % |
116.09/116.25 c | 192455 | 1087 176735 462650 | 2147483647 192453 53 | 0.190 % |
116.99/117.10 c | 193175 | 1087 176735 462650 | 2147483647 193173 53 | 0.190 % |
117.88/118.07 c | 193968 | 1087 176735 462650 | 2147483647 193966 53 | 0.190 % |
118.98/119.20 c | 194839 | 1087 176735 462650 | 2147483647 194837 53 | 0.190 % |
120.18/120.36 c | 195799 | 1087 176735 462650 | 2147483647 195797 53 | 0.190 % |
121.58/121.70 c | 196853 | 1087 176735 462650 | 2147483647 196851 53 | 0.184 % |
122.88/123.07 c | 198014 | 1087 176735 462650 | 2147483647 198012 53 | 0.190 % |
124.08/124.26 c | 199288 | 1087 176735 462650 | 2147483647 199286 53 | 0.184 % |
125.58/125.76 c | 200689 | 1087 176735 462650 | 2147483647 200687 53 | 0.190 % |
127.58/127.75 c | 202229 | 1087 176735 462650 | 2147483647 202227 53 | 0.184 % |
129.58/129.75 c | 203926 | 1087 176735 462650 | 2147483647 203924 53 | 0.190 % |
132.28/132.43 c | 205789 | 1087 176735 462650 | 2147483647 205787 53 | 0.190 % |
135.28/135.44 c | 207839 | 1087 176735 462650 | 2147483647 207837 53 | 0.190 % |
135.38/135.54 c | 207940 | 1087 176735 462650 | 2147483647 207938 53 | 0.190 % |
135.48/135.66 c | 208050 | 1087 176735 462650 | 2147483647 208048 53 | 0.190 % |
135.68/135.85 c | 208173 | 1087 176735 462650 | 2147483647 208171 53 | 0.184 % |
135.78/135.99 c | 208306 | 1087 176735 462650 | 2147483647 208304 53 | 0.184 % |
135.98/136.17 c | 208455 | 1087 176735 462650 | 2147483647 208453 53 | 0.184 % |
136.18/136.38 c | 208618 | 1087 176735 462650 | 2147483647 208616 53 | 0.190 % |
136.38/136.59 c | 208797 | 1087 176735 462650 | 2147483647 208795 53 | 0.190 % |
136.68/136.80 c | 208992 | 1087 176735 462650 | 2147483647 208990 53 | 0.184 % |
136.88/137.04 c | 209204 | 1087 176735 462650 | 2147483647 209202 53 | 0.190 % |
137.18/137.32 c | 209439 | 1087 176735 462650 | 2147483647 209437 53 | 0.190 % |
137.48/137.60 c | 209695 | 1087 176735 462650 | 2147483647 209693 53 | 0.190 % |
137.78/137.90 c | 209977 | 1087 176735 462650 | 2147483647 209975 53 | 0.190 % |
138.08/138.27 c | 210286 | 1087 176735 462650 | 210001 210284 53 | 0.190 % |
138.78/138.99 c | 210626 | 1087 176735 462650 | 210001 187855 53 | 0.190 % |
139.27/139.41 c | 210998 | 1087 176735 462650 | 210001 188227 53 | 0.190 % |
139.67/139.84 c | 211408 | 1087 176735 462650 | 210001 188637 53 | 0.190 % |
140.17/140.32 c | 211858 | 1087 176735 462650 | 210001 189087 53 | 0.190 % |
140.68/140.89 c | 212351 | 1087 176735 462650 | 210001 189580 53 | 0.190 % |
141.27/141.48 c | 212894 | 1087 176735 462650 | 210001 190123 53 | 0.190 % |
141.97/142.16 c | 213491 | 1087 176735 462650 | 210001 190720 53 | 0.190 % |
142.78/142.95 c | 214148 | 1087 176735 462650 | 210001 191377 53 | 0.190 % |
143.47/143.68 c | 214870 | 1087 176735 462650 | 210001 192099 53 | 0.190 % |
144.37/144.50 c | 215663 | 1087 176735 462650 | 210001 192892 53 | 0.190 % |
145.27/145.42 c | 216535 | 1087 176735 462650 | 210001 193764 53 | 0.190 % |
146.27/146.47 c | 217493 | 1087 176735 462650 | 210001 194722 53 | 0.184 % |
147.37/147.51 c | 218546 | 1087 176735 462650 | 210001 195775 53 | 0.184 % |
148.67/148.85 c | 219704 | 1087 176735 462650 | 210001 196933 54 | 0.184 % |
149.97/150.20 c | 220978 | 1087 176735 462650 | 2147483647 198207 54 | 0.190 % |
151.87/152.08 c | 222379 | 1087 176735 462650 | 2147483647 199608 54 | 0.190 % |
153.97/154.12 c | 223922 | 1087 176735 462650 | 2147483647 201151 54 | 0.190 % |
156.07/156.27 c | 225617 | 1087 176735 462650 | 2147483647 202846 53 | 0.190 % |
158.57/158.78 c | 227480 | 1087 176735 462650 | 2147483647 204709 53 | 0.190 % |
161.17/161.37 c | 229535 | 1087 176735 462650 | 2147483647 206764 53 | 0.190 % |
164.07/164.25 c | 231795 | 1087 176735 462650 | 207231 185832 53 | 0.184 % |
164.17/164.37 c | 231895 | 1087 176735 462650 | 207231 185932 53 | 0.190 % |
164.27/164.49 c | 232006 | 1087 176735 462650 | 207231 186043 53 | 0.190 % |
164.47/164.62 c | 232127 | 1087 176735 462650 | 207231 186164 53 | 0.184 % |
164.57/164.79 c | 232264 | 1087 176735 462650 | 207231 186301 53 | 0.184 % |
164.77/164.92 c | 232411 | 1087 176735 462650 | 207231 186448 53 | 0.190 % |
164.96/165.17 c | 232571 | 1087 176735 462650 | 207231 186608 53 | 0.190 % |
165.16/165.35 c | 232747 | 1087 176735 462650 | 207231 186784 53 | 0.184 % |
165.46/165.61 c | 232941 | 1087 176735 462650 | 207231 186978 53 | 0.190 % |
165.66/165.86 c | 233157 | 1087 176735 462650 | 207231 187194 53 | 0.190 % |
165.97/166.11 c | 233397 | 1087 176735 462650 | 207231 187434 53 | 0.190 % |
166.26/166.46 c | 233655 | 1087 176735 462650 | 207231 187692 53 | 0.190 % |
166.56/166.76 c | 233936 | 1087 176735 462650 | 207231 187973 53 | 0.190 % |
166.97/167.11 c | 234246 | 1087 176735 462650 | 207231 188283 53 | 0.190 % |
167.36/167.51 c | 234589 | 1087 176735 462650 | 207231 188626 53 | 0.184 % |
167.76/167.94 c | 234962 | 1087 176735 462650 | 207231 188999 53 | 0.184 % |
168.17/168.40 c | 235374 | 1087 176735 462650 | 207231 189411 53 | 0.184 % |
168.76/168.99 c | 235823 | 1087 176735 462650 | 207231 189860 53 | 0.190 % |
169.36/169.60 c | 236316 | 1087 176735 462650 | 207231 190353 53 | 0.190 % |
170.06/170.23 c | 236859 | 1087 176735 462650 | 207231 190896 53 | 0.190 % |
170.76/170.98 c | 237458 | 1087 176735 462650 | 207231 191495 53 | 0.190 % |
171.56/171.76 c | 238113 | 1087 176735 462650 | 207231 192150 53 | 0.190 % |
172.47/172.64 c | 238835 | 1087 176735 462650 | 207231 192872 53 | 0.190 % |
173.36/173.58 c | 239627 | 1087 176735 462650 | 207231 193664 53 | 0.190 % |
174.26/174.48 c | 240501 | 1087 176735 462650 | 2147483647 194538 53 | 0.190 % |
175.26/175.49 c | 241460 | 1087 176735 462650 | 2147483647 195497 53 | 0.184 % |
176.46/176.63 c | 242513 | 1087 176735 462650 | 2147483647 196550 53 | 0.184 % |
177.96/178.15 c | 243673 | 1087 176735 462650 | 2147483647 197710 54 | 0.184 % |
179.76/179.93 c | 244953 | 1087 176735 462650 | 2147483647 198990 54 | 0.190 % |
181.66/181.83 c | 246355 | 1087 176735 462650 | 2147483647 200392 54 | 0.190 % |
183.66/183.86 c | 247895 | 1087 176735 462650 | 2147483647 201932 54 | 0.190 % |
185.76/185.94 c | 249590 | 1087 176735 462650 | 2147483647 203627 53 | 0.190 % |
188.36/188.50 c | 251454 | 1087 176735 462650 | 204037 181753 55 | 0.184 % |
191.26/191.42 c | 253503 | 1087 176735 462650 | 204037 183802 56 | 0.184 % |
194.05/194.27 c | 255756 | 1087 176735 462650 | 204037 186055 56 | 0.184 % |
197.16/197.36 c | 258235 | 1087 176735 462650 | 204037 188534 56 | 0.190 % |
197.25/197.47 c | 258335 | 1087 176735 462650 | 204037 188634 56 | 0.190 % |
197.45/197.61 c | 258445 | 1087 176735 462650 | 204037 188744 56 | 0.190 % |
197.55/197.79 c | 258566 | 1087 176735 462650 | 204037 188865 56 | 0.190 % |
197.76/197.95 c | 258699 | 1087 176735 462650 | 204037 188998 56 | 0.184 % |
197.95/198.12 c | 258847 | 1087 176735 462650 | 204037 189146 56 | 0.190 % |
198.15/198.30 c | 259009 | 1087 176735 462650 | 204037 189308 56 | 0.190 % |
198.35/198.55 c | 259191 | 1087 176735 462650 | 204037 189490 56 | 0.184 % |
198.55/198.78 c | 259386 | 1087 176735 462650 | 204037 189685 56 | 0.190 % |
198.86/199.01 c | 259598 | 1087 176735 462650 | 204037 189897 56 | 0.190 % |
199.05/199.29 c | 259832 | 1087 176735 462650 | 204037 190131 56 | 0.184 % |
199.35/199.57 c | 260088 | 1087 176735 462650 | 190300 190387 56 | 0.184 % |
199.96/200.13 c | 260369 | 1087 176735 462650 | 190300 168827 56 | 0.184 % |
200.46/200.65 c | 260680 | 1087 176735 462650 | 190300 169138 56 | 0.190 % |
200.86/201.08 c | 261020 | 1087 176735 462650 | 190300 169478 56 | 0.184 % |
201.26/201.42 c | 261392 | 1087 176735 462650 | 190300 169850 57 | 0.184 % |
201.76/201.95 c | 261804 | 1087 176735 462650 | 190300 170262 57 | 0.190 % |
202.26/202.45 c | 262253 | 1087 176735 462650 | 190300 170711 57 | 0.190 % |
202.96/203.12 c | 262748 | 1087 176735 462650 | 190300 171206 56 | 0.190 % |
203.66/203.89 c | 263290 | 1087 176735 462650 | 190300 171748 56 | 0.190 % |
204.46/204.67 c | 263888 | 1087 176735 462650 | 190300 172346 56 | 0.190 % |
205.46/205.63 c | 264543 | 1087 176735 462650 | 190300 173001 57 | 0.190 % |
206.36/206.51 c | 265264 | 1087 176735 462650 | 190300 173722 57 | 0.184 % |
207.26/207.40 c | 266057 | 1087 176735 462650 | 190300 174515 57 | 0.190 % |
208.26/208.46 c | 266928 | 1087 176735 462650 | 190300 175386 57 | 0.184 % |
209.36/209.54 c | 267887 | 1087 176735 462650 | 190300 176345 57 | 0.184 % |
210.66/210.84 c | 268941 | 1087 176735 462650 | 190300 177399 57 | 0.190 % |
212.06/212.23 c | 270100 | 1087 176735 462650 | 178458 178558 57 | 0.190 % |
213.86/214.00 c | 271374 | 1087 176735 462650 | 178458 159306 57 | 0.190 % |
215.66/215.81 c | 272776 | 1087 176735 462650 | 178458 160708 57 | 0.190 % |
217.66/217.88 c | 274319 | 1087 176735 462650 | 178458 162251 57 | 0.190 % |
219.86/220.02 c | 276013 | 1087 176735 462650 | 178458 163945 57 | 0.190 % |
222.06/222.27 c | 277878 | 1087 176735 462650 | 178458 165810 58 | 0.184 % |
224.55/224.74 c | 279928 | 1087 176735 462650 | 178458 167860 58 | 0.190 % |
227.56/227.74 c | 282183 | 1087 176735 462650 | 167932 151354 57 | 0.190 % |
230.65/230.81 c | 284664 | 1087 176735 462650 | 167932 153835 57 | 0.190 % |
234.15/234.39 c | 287389 | 1087 176735 462650 | 167932 156560 56 | 0.190 % |
234.35/234.57 c | 287489 | 1087 176735 462650 | 167932 156660 56 | 0.190 % |
234.55/234.76 c | 287607 | 1087 176735 462650 | 167932 156778 56 | 0.190 % |
234.75/234.95 c | 287728 | 1087 176735 462650 | 167932 156899 56 | 0.190 % |
234.95/235.18 c | 287861 | 1087 176735 462650 | 167932 157032 56 | 0.190 % |
235.15/235.38 c | 288008 | 1087 176735 462650 | 167932 157179 56 | 0.190 % |
235.35/235.60 c | 288168 | 1087 176735 462650 | 167932 157339 56 | 0.184 % |
235.65/235.81 c | 288344 | 1087 176735 462650 | 167932 157515 56 | 0.184 % |
235.85/236.10 c | 288539 | 1087 176735 462650 | 167932 157710 56 | 0.190 % |
236.15/236.35 c | 288754 | 1087 176735 462650 | 167932 157925 56 | 0.184 % |
236.45/236.64 c | 288987 | 1087 176735 462650 | 167932 158158 56 | 0.184 % |
236.75/236.99 c | 289243 | 1087 176735 462650 | 167932 158414 56 | 0.190 % |
237.25/237.41 c | 289525 | 1087 176735 462650 | 167932 158696 56 | 0.190 % |
237.55/237.79 c | 289834 | 1087 176735 462650 | 167932 159005 56 | 0.184 % |
238.05/238.20 c | 290174 | 1087 176735 462650 | 159173 159345 56 | 0.190 % |
238.65/238.88 c | 290550 | 1087 176735 462650 | 159173 142174 57 | 0.184 % |
239.15/239.36 c | 290959 | 1087 176735 462650 | 159173 142583 58 | 0.184 % |
239.75/239.91 c | 291411 | 1087 176735 462650 | 159173 143035 57 | 0.190 % |
240.34/240.55 c | 291904 | 1087 176735 462650 | 159173 143528 57 | 0.190 % |
241.04/241.27 c | 292447 | 1087 176735 462650 | 159173 144071 57 | 0.190 % |
241.75/241.92 c | 293043 | 1087 176735 462650 | 159173 144667 57 | 0.190 % |
242.44/242.64 c | 293700 | 1087 176735 462650 | 159173 145324 58 | 0.184 % |
243.34/243.50 c | 294422 | 1087 176735 462650 | 159173 146046 58 | 0.190 % |
244.34/244.50 c | 295215 | 1087 176735 462650 | 159173 146839 57 | 0.190 % |
245.34/245.56 c | 296087 | 1087 176735 462650 | 159173 147711 57 | 0.190 % |
246.54/246.73 c | 297046 | 1087 176735 462650 | 159173 148670 58 | 0.184 % |
247.84/248.06 c | 298099 | 1087 176735 462650 | 159173 149723 58 | 0.184 % |
249.34/249.55 c | 299259 | 1087 176735 462650 | 159173 150883 59 | 0.184 % |
250.74/250.97 c | 300532 | 1087 176735 462650 | 2147483647 152156 59 | 0.190 % |
252.34/252.52 c | 301935 | 1087 176735 462650 | 2147483647 153559 59 | 0.184 % |
254.24/254.42 c | 303475 | 1087 176735 462650 | 2147483647 155099 59 | 0.184 % |
256.54/256.73 c | 305169 | 1087 176735 462650 | 2147483647 156793 59 | 0.184 % |
259.14/259.33 c | 307032 | 1087 176735 462650 | 2147483647 158656 59 | 0.190 % |
261.54/261.80 c | 309081 | 1087 176735 462650 | 2147483647 160705 60 | 0.184 % |
264.54/264.76 c | 311335 | 1087 176735 462650 | 161624 144626 61 | 0.184 % |
267.44/267.61 c | 313815 | 1087 176735 462650 | 161624 147106 61 | 0.190 % |
270.93/271.11 c | 316542 | 1087 176735 462650 | 161624 149833 60 | 0.190 % |
274.63/274.84 c | 319544 | 1087 176735 462650 | 161624 152835 62 | 0.184 % |
274.74/274.99 c | 319645 | 1087 176735 462650 | 161624 152936 62 | 0.184 % |
274.93/275.17 c | 319755 | 1087 176735 462650 | 161624 153046 62 | 0.184 % |
275.13/275.34 c | 319876 | 1087 176735 462650 | 161624 153167 62 | 0.190 % |
275.33/275.54 c | 320009 | 1087 176735 462650 | 153292 153300 62 | 0.190 % |
275.73/275.99 c | 320155 | 1087 176735 462650 | 153292 134730 64 | 0.184 % |
276.03/276.23 c | 320316 | 1087 176735 462650 | 153292 134891 64 | 0.190 % |
276.23/276.41 c | 320492 | 1087 176735 462650 | 153292 135067 64 | 0.190 % |
276.43/276.68 c | 320685 | 1087 176735 462650 | 153292 135260 64 | 0.190 % |
276.73/276.98 c | 320899 | 1087 176735 462650 | 153292 135474 64 | 0.184 % |
277.04/277.26 c | 321134 | 1087 176735 462650 | 153292 135709 63 | 0.190 % |
277.43/277.60 c | 321397 | 1087 176735 462650 | 153292 135972 63 | 0.190 % |
277.83/278.00 c | 321678 | 1087 176735 462650 | 153292 136253 63 | 0.190 % |
278.23/278.43 c | 321987 | 1087 176735 462650 | 153292 136562 63 | 0.190 % |
278.73/278.92 c | 322326 | 1087 176735 462650 | 153292 136901 63 | 0.190 % |
279.33/279.50 c | 322705 | 1087 176735 462650 | 153292 137280 63 | 0.190 % |
279.83/280.09 c | 323114 | 1087 176735 462650 | 153292 137689 63 | 0.190 % |
280.53/280.72 c | 323566 | 1087 176735 462650 | 153292 138141 63 | 0.190 % |
281.13/281.38 c | 324059 | 1087 176735 462650 | 153292 138634 63 | 0.184 % |
281.93/282.13 c | 324601 | 1087 176735 462650 | 153292 139176 64 | 0.184 % |
282.73/282.97 c | 325197 | 1087 176735 462650 | 153292 139772 64 | 0.190 % |
283.63/283.81 c | 325854 | 1087 176735 462650 | 153292 140429 64 | 0.190 % |
284.43/284.69 c | 326575 | 1087 176735 462650 | 153292 141150 64 | 0.190 % |
285.53/285.72 c | 327367 | 1087 176735 462650 | 153292 141942 64 | 0.184 % |
286.63/286.81 c | 328238 | 1087 176735 462650 | 153292 142813 64 | 0.184 % |
287.83/288.02 c | 329196 | 1087 176735 462650 | 153292 143771 64 | 0.190 % |
289.13/289.39 c | 330249 | 1087 176735 462650 | 144579 144824 64 | 0.184 % |
290.93/291.11 c | 331407 | 1087 176735 462650 | 144579 127768 62 | 0.190 % |
292.73/292.92 c | 332683 | 1087 176735 462650 | 144579 129044 62 | 0.190 % |
294.73/294.92 c | 334088 | 1087 176735 462650 | 144579 130449 62 | 0.190 % |
296.33/296.59 c | 335630 | 1087 176735 462650 | 144579 131991 63 | 0.184 % |
298.43/298.66 c | 337325 | 1087 176735 462650 | 144579 133686 63 | 0.190 % |
301.03/301.21 c | 339188 | 1087 176735 462650 | 144579 135549 63 | 0.190 % |
304.03/304.20 c | 341238 | 1087 176735 462650 | 136361 119668 64 | 0.190 % |
307.23/307.47 c | 343491 | 1087 176735 462650 | 136361 121921 63 | 0.190 % |
310.32/310.57 c | 345969 | 1087 176735 462650 | 136361 124399 63 | 0.190 % |
313.72/313.92 c | 348694 | 1087 176735 462650 | 136361 127124 63 | 0.190 % |
317.32/317.53 c | 351694 | 1087 176735 462650 | 128430 112502 60 | 0.184 % |
321.32/321.59 c | 354991 | 1087 176735 462650 | 128430 115799 60 | 0.190 % |
321.52/321.76 c | 355093 | 1087 176735 462650 | 128430 115901 60 | 0.190 % |
321.62/321.88 c | 355204 | 1087 176735 462650 | 128430 116012 60 | 0.184 % |
321.82/322.01 c | 355325 | 1087 176735 462650 | 128430 116133 60 | 0.184 % |
321.92/322.17 c | 355460 | 1087 176735 462650 | 128430 116268 60 | 0.190 % |
322.12/322.35 c | 355606 | 1087 176735 462650 | 128430 116414 60 | 0.190 % |
322.32/322.57 c | 355768 | 1087 176735 462650 | 128430 116576 60 | 0.190 % |
322.62/322.81 c | 355944 | 1087 176735 462650 | 128430 116752 60 | 0.190 % |
322.82/323.05 c | 356138 | 1087 176735 462650 | 128430 116946 60 | 0.190 % |
323.12/323.32 c | 356350 | 1087 176735 462650 | 128430 117158 60 | 0.190 % |
323.32/323.55 c | 356583 | 1087 176735 462650 | 128430 117391 60 | 0.190 % |
323.52/323.78 c | 356839 | 1087 176735 462650 | 128430 117647 60 | 0.184 % |
323.72/323.99 c | 357120 | 1087 176735 462650 | 128430 117928 60 | 0.184 % |
324.12/324.31 c | 357430 | 1087 176735 462650 | 128430 118238 60 | 0.190 % |
324.52/324.76 c | 357772 | 1087 176735 462650 | 128430 118580 60 | 0.190 % |
325.12/325.31 c | 358144 | 1087 176735 462650 | 128430 118952 60 | 0.190 % |
325.62/325.87 c | 358553 | 1087 176735 462650 | 128430 119361 60 | 0.190 % |
326.12/326.31 c | 359003 | 1087 176735 462650 | 128430 119811 60 | 0.184 % |
326.72/326.92 c | 359497 | 1087 176735 462650 | 128430 120305 61 | 0.184 % |
327.42/327.63 c | 360041 | 1087 176735 462650 | 120809 120849 61 | 0.184 % |
328.12/328.38 c | 360637 | 1087 176735 462650 | 120809 107393 61 | 0.184 % |
328.82/329.04 c | 361293 | 1087 176735 462650 | 120809 108049 61 | 0.184 % |
329.62/329.80 c | 362016 | 1087 176735 462650 | 120809 108772 61 | 0.190 % |
330.51/330.78 c | 362808 | 1087 176735 462650 | 120809 109564 61 | 0.184 % |
331.81/332.01 c | 363680 | 1087 176735 462650 | 120809 110436 61 | 0.190 % |
333.12/333.37 c | 364640 | 1087 176735 462650 | 120809 111396 61 | 0.184 % |
334.61/334.84 c | 365693 | 1087 176735 462650 | 120809 112449 61 | 0.190 % |
336.21/336.42 c | 366852 | 1087 176735 462650 | 120809 113608 61 | 0.190 % |
337.91/338.19 c | 368125 | 1087 176735 462650 | 120809 114881 61 | 0.190 % |
339.72/339.94 c | 369526 | 1087 176735 462650 | 120809 116282 60 | 0.190 % |
341.92/342.11 c | 371068 | 1087 176735 462650 | 116757 104099 62 | 0.184 % |
344.21/344.45 c | 372763 | 1087 176735 462650 | 116757 105794 63 | 0.184 % |
346.91/347.16 c | 374626 | 1087 176735 462650 | 116757 107657 62 | 0.190 % |
349.71/349.99 c | 376675 | 1087 176735 462650 | 116757 109706 62 | 0.190 % |
352.61/352.81 c | 378929 | 1087 176735 462650 | 116757 111960 62 | 0.190 % |
355.51/355.71 c | 381410 | 1087 176735 462650 | 113032 100140 60 | 0.190 % |
358.81/359.09 c | 384136 | 1087 176735 462650 | 113032 102866 60 | 0.190 % |
362.61/362.83 c | 387133 | 1087 176735 462650 | 113032 105863 59 | 0.190 % |
366.61/366.83 c | 390430 | 1087 176735 462650 | 108731 109160 59 | 0.190 % |
370.80/371.02 c | 394060 | 1087 176735 462650 | 108731 98422 56 | 0.190 % |
370.90/371.14 c | 394162 | 1087 176735 462650 | 108731 98524 56 | 0.184 % |
371.00/371.25 c | 394272 | 1087 176735 462650 | 108731 98634 56 | 0.184 % |
371.20/371.45 c | 394394 | 1087 176735 462650 | 108731 98756 56 | 0.184 % |
371.40/371.63 c | 394531 | 1087 176735 462650 | 108731 98893 56 | 0.190 % |
371.51/371.77 c | 394677 | 1087 176735 462650 | 108731 99039 56 | 0.184 % |
371.70/371.93 c | 394838 | 1087 176735 462650 | 108731 99200 56 | 0.190 % |
371.80/372.09 c | 395014 | 1087 176735 462650 | 108731 99376 56 | 0.190 % |
372.10/372.32 c | 395209 | 1087 176735 462650 | 108731 99571 56 | 0.184 % |
372.30/372.53 c | 395421 | 1087 176735 462650 | 108731 99783 56 | 0.184 % |
372.50/372.76 c | 395655 | 1087 176735 462650 | 108731 100017 56 | 0.190 % |
372.80/373.08 c | 395922 | 1087 176735 462650 | 108731 100284 56 | 0.190 % |
373.20/373.41 c | 396205 | 1087 176735 462650 | 108731 100567 56 | 0.184 % |
373.50/373.75 c | 396515 | 1087 176735 462650 | 108731 100877 56 | 0.184 % |
373.81/374.10 c | 396854 | 1087 176735 462650 | 108731 101216 57 | 0.184 % |
374.30/374.52 c | 397226 | 1087 176735 462650 | 108731 101588 57 | 0.190 % |
374.81/375.03 c | 397636 | 1087 176735 462650 | 108731 101998 57 | 0.190 % |
375.40/375.63 c | 398085 | 1087 176735 462650 | 108731 102447 57 | 0.190 % |
375.91/376.19 c | 398579 | 1087 176735 462650 | 108731 102941 57 | 0.184 % |
376.70/376.93 c | 399124 | 1087 176735 462650 | 108731 103486 57 | 0.184 % |
377.40/377.69 c | 399720 | 1087 176735 462650 | 108731 104082 57 | 0.190 % |
378.40/378.68 c | 400375 | 1087 176735 462650 | 104362 93305 54 | 0.190 % |
379.40/379.65 c | 401095 | 1087 176735 462650 | 104362 94025 53 | 0.190 % |
380.20/380.41 c | 401887 | 1087 176735 462650 | 104362 94817 54 | 0.184 % |
381.10/381.39 c | 402760 | 1087 176735 462650 | 104362 95690 54 | 0.190 % |
382.20/382.41 c | 403718 | 1087 176735 462650 | 104362 96648 54 | 0.190 % |
383.20/383.44 c | 404771 | 1087 176735 462650 | 104362 97701 54 | 0.190 % |
384.70/384.94 c | 405929 | 1087 176735 462650 | 104362 98859 54 | 0.190 % |
386.00/386.29 c | 407203 | 1087 176735 462650 | 104362 100133 54 | 0.190 % |
387.60/387.88 c | 408604 | 1087 176735 462650 | 104362 101534 54 | 0.190 % |
389.50/389.73 c | 410146 | 1087 176735 462650 | 2147483647 103076 54 | 0.190 % |
391.50/391.77 c | 411844 | 1087 176735 462650 | 2147483647 104774 53 | 0.190 % |
393.50/393.78 c | 413709 | 1087 176735 462650 | 2147483647 106639 54 | 0.190 % |
395.89/396.19 c | 415761 | 1087 176735 462650 | 2147483647 108691 53 | 0.190 % |
399.10/399.33 c | 418014 | 1087 176735 462650 | 2147483647 110944 53 | 0.190 % |
401.69/401.99 c | 420492 | 1087 176735 462650 | 2147483647 113422 55 | 0.184 % |
404.79/405.09 c | 423218 | 1087 176735 462650 | 2147483647 116148 55 | 0.190 % |
408.69/408.97 c | 426216 | 1087 176735 462650 | 2147483647 119146 55 | 0.184 % |
413.19/413.47 c | 429513 | 1087 176735 462650 | 2147483647 122443 55 | 0.190 % |
417.39/417.63 c | 433140 | 1087 176735 462650 | 122930 110478 56 | 0.184 % |
422.38/422.69 c | 437127 | 1087 176735 462650 | 122930 114465 56 | 0.190 % |
422.58/422.81 c | 437227 | 1087 176735 462650 | 122930 114565 56 | 0.190 % |
422.68/422.98 c | 437340 | 1087 176735 462650 | 122930 114678 56 | 0.190 % |
422.88/423.12 c | 437465 | 1087 176735 462650 | 122930 114803 56 | 0.190 % |
423.08/423.33 c | 437602 | 1087 176735 462650 | 122930 114940 56 | 0.190 % |
423.29/423.54 c | 437750 | 1087 176735 462650 | 122930 115088 56 | 0.190 % |
423.48/423.76 c | 437913 | 1087 176735 462650 | 122930 115251 56 | 0.184 % |
423.78/424.00 c | 438090 | 1087 176735 462650 | 122930 115428 56 | 0.190 % |
423.98/424.22 c | 438284 | 1087 176735 462650 | 122930 115622 56 | 0.184 % |
424.18/424.44 c | 438496 | 1087 176735 462650 | 122930 115834 56 | 0.184 % |
424.48/424.73 c | 438729 | 1087 176735 462650 | 122930 116067 56 | 0.190 % |
424.88/425.11 c | 438985 | 1087 176735 462650 | 122930 116323 56 | 0.190 % |
425.18/425.41 c | 439266 | 1087 176735 462650 | 122930 116604 56 | 0.184 % |
425.58/425.81 c | 439578 | 1087 176735 462650 | 122930 116916 56 | 0.190 % |
425.98/426.21 c | 439917 | 1087 176735 462650 | 122930 117255 56 | 0.184 % |
426.49/426.75 c | 440291 | 1087 176735 462650 | 117339 117629 56 | 0.190 % |
427.08/427.38 c | 440700 | 1087 176735 462650 | 117339 103418 56 | 0.190 % |
427.69/427.98 c | 441149 | 1087 176735 462650 | 117339 103867 56 | 0.190 % |
428.28/428.53 c | 441643 | 1087 176735 462650 | 117339 104361 56 | 0.184 % |
428.88/429.14 c | 442185 | 1087 176735 462650 | 117339 104903 56 | 0.190 % |
429.58/429.86 c | 442781 | 1087 176735 462650 | 117339 105499 56 | 0.190 % |
430.48/430.72 c | 443437 | 1087 176735 462650 | 117339 106155 56 | 0.190 % |
431.38/431.68 c | 444158 | 1087 176735 462650 | 117339 106876 56 | 0.190 % |
432.38/432.61 c | 444951 | 1087 176735 462650 | 117339 107669 56 | 0.190 % |
433.48/433.72 c | 445823 | 1087 176735 462650 | 117339 108541 56 | 0.190 % |
434.78/435.07 c | 446782 | 1087 176735 462650 | 117339 109500 56 | 0.190 % |
435.88/436.18 c | 447838 | 1087 176735 462650 | 117339 110556 56 | 0.190 % |
437.48/437.73 c | 448997 | 1087 176735 462650 | 117339 111715 55 | 0.190 % |
439.28/439.53 c | 450270 | 1087 176735 462650 | 112718 112988 55 | 0.190 % |
441.08/441.33 c | 451672 | 1087 176735 462650 | 112718 102642 54 | 0.190 % |
443.17/443.40 c | 453215 | 1087 176735 462650 | 112718 104185 54 | 0.190 % |
445.28/445.53 c | 454909 | 1087 176735 462650 | 112718 105879 53 | 0.190 % |
447.38/447.65 c | 456773 | 1087 176735 462650 | 112718 107743 53 | 0.190 % |
450.37/450.65 c | 458822 | 1087 176735 462650 | 112718 109792 53 | 0.190 % |
453.37/453.67 c | 461075 | 1087 176735 462650 | 110970 99847 51 | 0.190 % |
455.87/456.18 c | 463554 | 1087 176735 462650 | 110970 102326 53 | 0.184 % |
458.48/458.78 c | 466281 | 1087 176735 462650 | 110970 105053 55 | 0.184 % |
462.47/462.70 c | 469281 | 1087 176735 462650 | 110970 108053 56 | 0.184 % |
466.67/466.99 c | 472582 | 1087 176735 462650 | 108772 99996 56 | 0.190 % |
470.87/471.20 c | 476208 | 1087 176735 462650 | 108772 103622 59 | 0.184 % |
475.66/475.92 c | 480195 | 1087 176735 462650 | 107415 107609 58 | 0.190 % |
481.26/481.56 c | 484581 | 1087 176735 462650 | 107415 98547 57 | 0.190 % |
481.36/481.69 c | 484683 | 1087 176735 462650 | 107415 98649 57 | 0.184 % |
481.57/481.85 c | 484793 | 1087 176735 462650 | 107415 98759 57 | 0.190 % |
481.76/482.01 c | 484914 | 1087 176735 462650 | 107415 98880 57 | 0.190 % |
481.86/482.15 c | 485049 | 1087 176735 462650 | 107415 99015 57 | 0.190 % |
482.06/482.31 c | 485197 | 1087 176735 462650 | 107415 99163 57 | 0.184 % |
482.16/482.47 c | 485359 | 1087 176735 462650 | 107415 99325 57 | 0.184 % |
482.36/482.68 c | 485542 | 1087 176735 462650 | 107415 99508 57 | 0.190 % |
482.67/482.91 c | 485735 | 1087 176735 462650 | 107415 99701 57 | 0.184 % |
482.86/483.18 c | 485947 | 1087 176735 462650 | 107415 99913 57 | 0.184 % |
483.16/483.42 c | 486180 | 1087 176735 462650 | 107415 100146 57 | 0.184 % |
483.46/483.71 c | 486436 | 1087 176735 462650 | 107415 100402 57 | 0.190 % |
483.76/484.02 c | 486718 | 1087 176735 462650 | 107415 100684 57 | 0.190 % |
484.16/484.42 c | 487027 | 1087 176735 462650 | 107415 100993 57 | 0.190 % |
484.56/484.86 c | 487366 | 1087 176735 462650 | 107415 101332 57 | 0.184 % |
485.06/485.30 c | 487738 | 1087 176735 462650 | 107415 101704 57 | 0.184 % |
485.56/485.84 c | 488147 | 1087 176735 462650 | 107415 102113 58 | 0.184 % |
486.06/486.37 c | 488598 | 1087 176735 462650 | 107415 102564 57 | 0.184 % |
486.56/486.84 c | 489098 | 1087 176735 462650 | 107415 103064 58 | 0.184 % |
487.16/487.47 c | 489640 | 1087 176735 462650 | 107415 103606 58 | 0.184 % |
487.96/488.28 c | 490240 | 1087 176735 462650 | 103966 104206 58 | 0.184 % |
488.96/489.21 c | 490899 | 1087 176735 462650 | 103966 92646 58 | 0.190 % |
489.86/490.19 c | 491619 | 1087 176735 462650 | 103966 93366 58 | 0.190 % |
490.86/491.14 c | 492412 | 1087 176735 462650 | 103966 94159 58 | 0.190 % |
491.86/492.19 c | 493287 | 1087 176735 462650 | 103966 95034 57 | 0.190 % |
492.96/493.29 c | 494245 | 1087 176735 462650 | 103966 95992 57 | 0.191 % |
494.25/494.51 c | 495299 | 1087 176735 462650 | 103966 97046 57 | 0.190 % |
495.65/495.91 c | 496458 | 1087 176735 462650 | 103966 98205 57 | 0.190 % |
496.96/497.25 c | 497733 | 1087 176735 462650 | 103966 99480 57 | 0.190 % |
498.65/498.99 c | 499135 | 1087 176735 462650 | 103966 100882 57 | 0.190 % |
500.85/501.20 c | 500675 | 1087 176735 462650 | 101748 90413 54 | 0.190 % |
503.15/503.46 c | 502369 | 1087 176735 462650 | 101748 92107 54 | 0.190 % |
505.85/506.18 c | 504236 | 1087 176735 462650 | 101748 93974 53 | 0.190 % |
508.65/508.93 c | 506286 | 1087 176735 462650 | 101748 96024 53 | 0.190 % |
511.25/511.53 c | 508541 | 1087 176735 462650 | 101748 98279 53 | 0.190 % |
514.05/514.30 c | 511020 | 1087 176735 462650 | 99738 89530 55 | 0.184 % |
517.05/517.36 c | 513748 | 1087 176735 462650 | 99738 92258 58 | 0.184 % |
520.75/521.03 c | 516745 | 1087 176735 462650 | 99738 95255 58 | 0.184 % |
524.85/525.19 c | 520044 | 1087 176735 462650 | 2147483647 98554 57 | 0.190 % |
529.44/529.75 c | 523673 | 1087 176735 462650 | 2147483647 102183 60 | 0.184 % |
535.54/535.89 c | 527662 | 1087 176735 462650 | 2147483647 106172 60 | 0.190 % |
542.14/542.49 c | 532049 | 1087 176735 462650 | 108517 95161 62 | 0.190 % |
548.84/549.20 c | 536874 | 1087 176735 462650 | 108517 99986 65 | 0.184 % |
549.04/549.33 c | 536975 | 1087 176735 462650 | 108517 100087 65 | 0.184 % |
549.24/549.51 c | 537086 | 1087 176735 462650 | 108517 100198 65 | 0.190 % |
549.34/549.64 c | 537208 | 1087 176735 462650 | 108517 100320 65 | 0.184 % |
549.54/549.81 c | 537342 | 1087 176735 462650 | 108517 100454 65 | 0.184 % |
549.74/550.02 c | 537488 | 1087 176735 462650 | 108517 100600 65 | 0.190 % |
549.94/550.24 c | 537648 | 1087 176735 462650 | 108517 100760 65 | 0.184 % |
550.14/550.48 c | 537825 | 1087 176735 462650 | 108517 100937 65 | 0.190 % |
550.54/550.85 c | 538020 | 1087 176735 462650 | 108517 101132 65 | 0.191 % |
550.84/551.11 c | 538233 | 1087 176735 462650 | 108517 101345 65 | 0.184 % |
551.14/551.41 c | 538466 | 1087 176735 462650 | 108517 101578 65 | 0.184 % |
551.44/551.77 c | 538723 | 1087 176735 462650 | 108517 101835 65 | 0.190 % |
551.84/552.20 c | 539007 | 1087 176735 462650 | 108517 102119 65 | 0.190 % |
552.24/552.54 c | 539317 | 1087 176735 462650 | 108517 102429 65 | 0.184 % |
552.74/553.03 c | 539658 | 1087 176735 462650 | 108517 102770 65 | 0.184 % |
553.34/553.68 c | 540032 | 1087 176735 462650 | 103113 103144 65 | 0.184 % |
554.14/554.45 c | 540445 | 1087 176735 462650 | 103113 88537 61 | 0.184 % |
554.84/555.12 c | 540896 | 1087 176735 462650 | 103113 88988 61 | 0.184 % |
555.43/555.73 c | 541389 | 1087 176735 462650 | 103113 89481 61 | 0.184 % |
556.13/556.43 c | 541932 | 1087 176735 462650 | 103113 90024 61 | 0.190 % |
556.93/557.26 c | 542528 | 1087 176735 462650 | 103113 90620 61 | 0.190 % |
557.63/557.96 c | 543186 | 1087 176735 462650 | 103113 91278 62 | 0.184 % |
558.54/558.85 c | 543906 | 1087 176735 462650 | 103113 91998 62 | 0.184 % |
559.54/559.87 c | 544698 | 1087 176735 462650 | 103113 92790 62 | 0.184 % |
560.83/561.16 c | 545570 | 1087 176735 462650 | 103113 93662 62 | 0.190 % |
562.23/562.58 c | 546528 | 1087 176735 462650 | 103113 94620 62 | 0.184 % |
563.94/564.27 c | 547584 | 1087 176735 462650 | 103113 95676 63 | 0.184 % |
565.43/565.78 c | 548743 | 1087 176735 462650 | 103113 96835 64 | 0.184 % |
567.13/567.48 c | 550017 | 1087 176735 462650 | 98092 98109 64 | 0.190 % |
569.13/569.46 c | 551417 | 1087 176735 462650 | 98092 86045 66 | 0.184 % |
571.03/571.38 c | 552960 | 1087 176735 462650 | 98092 87588 66 | 0.190 % |
573.43/573.74 c | 554655 | 1087 176735 462650 | 98092 89283 65 | 0.190 % |
576.13/576.42 c | 556522 | 1087 176735 462650 | 98092 91150 65 | 0.184 % |
579.03/579.32 c | 558572 | 1087 176735 462650 | 98092 93200 66 | 0.184 % |
582.13/582.46 c | 560825 | 1087 176735 462650 | 94628 81860 71 | 0.184 % |
585.53/585.80 c | 563304 | 1087 176735 462650 | 94628 84339 72 | 0.184 % |
589.53/589.83 c | 566029 | 1087 176735 462650 | 94628 87064 71 | 0.190 % |
594.33/594.69 c | 569026 | 1087 176735 462650 | 94628 90061 73 | 0.184 % |
599.73/600.06 c | 572322 | 1087 176735 462650 | 91036 79647 73 | 0.184 % |
605.53/605.88 c | 575950 | 1087 176735 462650 | 91036 83275 73 | 0.184 % |
612.83/613.10 c | 579942 | 1087 176735 462650 | 91036 87267 73 | 0.190 % |
620.32/620.63 c | 584328 | 1087 176735 462650 | 87325 75846 73 | 0.190 % |
628.02/628.35 c | 589152 | 1087 176735 462650 | 87325 80670 72 | 0.190 % |
635.22/635.53 c | 594458 | 1087 176735 462650 | 81523 71418 67 | 0.190 % |
635.32/635.69 c | 594559 | 1087 176735 462650 | 81523 71519 67 | 0.190 % |
635.53/635.84 c | 594669 | 1087 176735 462650 | 81523 71629 67 | 0.184 % |
635.62/635.96 c | 594791 | 1087 176735 462650 | 81523 71751 67 | 0.184 % |
635.82/636.15 c | 594924 | 1087 176735 462650 | 81523 71884 67 | 0.190 % |
636.02/636.33 c | 595071 | 1087 176735 462650 | 81523 72031 67 | 0.190 % |
636.22/636.50 c | 595231 | 1087 176735 462650 | 81523 72191 67 | 0.184 % |
636.42/636.73 c | 595407 | 1087 176735 462650 | 81523 72367 67 | 0.184 % |
636.72/637.01 c | 595600 | 1087 176735 462650 | 81523 72560 67 | 0.190 % |
636.92/637.23 c | 595814 | 1087 176735 462650 | 81523 72774 67 | 0.190 % |
637.22/637.54 c | 596048 | 1087 176735 462650 | 81523 73008 67 | 0.190 % |
637.52/637.86 c | 596304 | 1087 176735 462650 | 81523 73264 67 | 0.184 % |
637.92/638.22 c | 596585 | 1087 176735 462650 | 81523 73545 67 | 0.184 % |
638.42/638.70 c | 596895 | 1087 176735 462650 | 81523 73855 68 | 0.184 % |
638.82/639.16 c | 597236 | 1087 176735 462650 | 81523 74196 68 | 0.184 % |
639.32/639.66 c | 597608 | 1087 176735 462650 | 81523 74568 67 | 0.190 % |
639.82/640.17 c | 598019 | 1087 176735 462650 | 81523 74979 67 | 0.190 % |
640.42/640.73 c | 598469 | 1087 176735 462650 | 81523 75429 68 | 0.184 % |
641.02/641.34 c | 598966 | 1087 176735 462650 | 81523 75926 68 | 0.190 % |
641.82/642.10 c | 599511 | 1087 176735 462650 | 81523 76471 67 | 0.190 % |
642.42/642.74 c | 600110 | 1087 176735 462650 | 76961 77070 68 | 0.184 % |
643.22/643.56 c | 600765 | 1087 176735 462650 | 76961 67386 64 | 0.184 % |
644.12/644.41 c | 601485 | 1087 176735 462650 | 76961 68106 63 | 0.184 % |
645.02/645.39 c | 602277 | 1087 176735 462650 | 76961 68898 63 | 0.190 % |
646.12/646.46 c | 603154 | 1087 176735 462650 | 76961 69775 63 | 0.190 % |
647.42/647.73 c | 604115 | 1087 176735 462650 | 76961 70736 63 | 0.190 % |
648.52/648.88 c | 605171 | 1087 176735 462650 | 76961 71792 63 | 0.190 % |
649.92/650.20 c | 606329 | 1087 176735 462650 | 76961 72950 63 | 0.190 % |
651.31/651.65 c | 607606 | 1087 176735 462650 | 76961 74227 63 | 0.190 % |
652.91/653.29 c | 609006 | 1087 176735 462650 | 76961 75627 63 | 0.190 % |
655.01/655.32 c | 610546 | 1087 176735 462650 | 76624 68579 59 | 0.184 % |
657.01/657.31 c | 612242 | 1087 176735 462650 | 76624 70275 60 | 0.184 % |
659.01/659.31 c | 614105 | 1087 176735 462650 | 76624 72138 60 | 0.190 % |
661.61/661.98 c | 616154 | 1087 176735 462650 | 76624 74187 60 | 0.190 % |
664.81/665.19 c | 618407 | 1087 176735 462650 | 76624 76440 61 | 0.190 % |
668.01/668.34 c | 620885 | 1087 176735 462650 | 69957 63670 54 | 0.190 % |
670.81/671.10 c | 623610 | 1087 176735 462650 | 69957 66395 54 | 0.190 % |
673.61/673.99 c | 626607 | 1087 176735 462650 | 69957 69392 53 | 0.190 % |
676.70/677.00 c | 629903 | 1087 176735 462650 | 69957 65663 53 | 0.190 % |
680.20/680.52 c | 633529 | 1087 176735 462650 | 2147483647 69289 53 | 0.190 % |
684.50/684.86 c | 637516 | 1087 176735 462650 | 2147483647 73276 57 | 0.184 % |
689.40/689.72 c | 641903 | 1087 176735 462650 | 2147483647 77663 62 | 0.184 % |
695.30/695.62 c | 646726 | 1087 176735 462650 | 2147483647 82486 61 | 0.190 % |
702.40/702.71 c | 652037 | 1087 176735 462650 | 85761 78553 62 | 0.190 % |
708.99/709.32 c | 657872 | 1087 176735 462650 | 85761 84388 68 | 0.184 % |
709.10/709.44 c | 657972 | 1087 176735 462650 | 85761 84488 68 | 0.190 % |
709.20/709.57 c | 658082 | 1087 176735 462650 | 85761 84598 68 | 0.184 % |
709.39/709.77 c | 658203 | 1087 176735 462650 | 85761 84719 68 | 0.184 % |
709.59/709.96 c | 658337 | 1087 176735 462650 | 85761 84853 68 | 0.190 % |
709.79/710.18 c | 658483 | 1087 176735 462650 | 85761 84999 68 | 0.190 % |
710.09/710.41 c | 658644 | 1087 176735 462650 | 85761 85160 68 | 0.190 % |
710.30/710.67 c | 658820 | 1087 176735 462650 | 85761 85336 68 | 0.190 % |
710.59/710.98 c | 659013 | 1087 176735 462650 | 85761 85529 68 | 0.190 % |
710.89/711.28 c | 659229 | 1087 176735 462650 | 85761 85745 68 | 0.184 % |
711.19/711.59 c | 659463 | 1087 176735 462650 | 85761 85979 68 | 0.184 % |
711.79/712.12 c | 659721 | 1087 176735 462650 | 85761 76286 68 | 0.190 % |
712.09/712.47 c | 660002 | 1087 176735 462650 | 76566 76567 68 | 0.190 % |
712.50/712.84 c | 660311 | 1087 176735 462650 | 76566 76876 68 | 0.184 % |
712.89/713.23 c | 660650 | 1087 176735 462650 | 76566 68381 66 | 0.184 % |
713.19/713.59 c | 661023 | 1087 176735 462650 | 76566 68754 66 | 0.184 % |
713.60/713.97 c | 661434 | 1087 176735 462650 | 76566 69165 66 | 0.184 % |
714.19/714.58 c | 661886 | 1087 176735 462650 | 76566 69617 66 | 0.184 % |
714.79/715.18 c | 662381 | 1087 176735 462650 | 76566 70112 66 | 0.190 % |
715.59/715.91 c | 662928 | 1087 176735 462650 | 76566 70659 66 | 0.190 % |
716.29/716.66 c | 663524 | 1087 176735 462650 | 76566 71255 66 | 0.190 % |
717.09/717.43 c | 664179 | 1087 176735 462650 | 76566 71910 67 | 0.184 % |
717.99/718.34 c | 664899 | 1087 176735 462650 | 76566 72630 67 | 0.184 % |
718.89/719.29 c | 665693 | 1087 176735 462650 | 76566 73424 67 | 0.190 % |
719.99/720.35 c | 666564 | 1087 176735 462650 | 76566 74295 67 | 0.190 % |
721.09/721.47 c | 667523 | 1087 176735 462650 | 76566 75254 68 | 0.184 % |
722.59/722.90 c | 668579 | 1087 176735 462650 | 76566 76310 68 | 0.184 % |
723.89/724.26 c | 669743 | 1087 176735 462650 | 76566 69762 69 | 0.184 % |
725.49/725.88 c | 671016 | 1087 176735 462650 | 2147483647 71035 69 | 0.184 % |
727.19/727.58 c | 672418 | 1087 176735 462650 | 2147483647 72437 70 | 0.184 % |
729.19/729.53 c | 673961 | 1087 176735 462650 | 2147483647 73980 70 | 0.190 % |
731.49/731.85 c | 675657 | 1087 176735 462650 | 2147483647 75676 70 | 0.190 % |
733.79/734.12 c | 677522 | 1087 176735 462650 | 2147483647 77541 69 | 0.190 % |
736.59/736.91 c | 679577 | 1087 176735 462650 | 2147483647 79596 70 | 0.184 % |
739.48/739.83 c | 681832 | 1087 176735 462650 | 80019 72888 75 | 0.184 % |
742.68/743.09 c | 684312 | 1087 176735 462650 | 80019 75368 75 | 0.190 % |
746.18/746.54 c | 687039 | 1087 176735 462650 | 80019 78095 73 | 0.190 % |
749.89/750.25 c | 690036 | 1087 176735 462650 | 71960 71996 73 | 0.184 % |
753.78/754.14 c | 693332 | 1087 176735 462650 | 71960 67220 74 | 0.184 % |
758.18/758.54 c | 696957 | 1087 176735 462650 | 71960 70845 74 | 0.190 % |
763.18/763.55 c | 700944 | 1087 176735 462650 | 65600 58962 68 | 0.190 % |
768.58/768.92 c | 705329 | 1087 176735 462650 | 65600 63347 66 | 0.190 % |
774.37/774.75 c | 710153 | 1087 176735 462650 | 2147483647 61563 63 | 0.190 % |
780.77/781.16 c | 715458 | 1087 176735 462650 | 2147483647 66868 62 | 0.190 % |
786.87/787.26 c | 721293 | 1087 176735 462650 | 2147483647 72703 62 | 0.190 % |
794.87/795.23 c | 727713 | 1087 176735 462650 | 2147483647 79123 60 | 0.190 % |
794.97/795.35 c | 727815 | 1087 176735 462650 | 2147483647 79225 60 | 0.190 % |
795.07/795.49 c | 727925 | 1087 176735 462650 | 2147483647 79335 60 | 0.190 % |
795.27/795.64 c | 728047 | 1087 176735 462650 | 2147483647 79457 60 | 0.184 % |
795.47/795.83 c | 728180 | 1087 176735 462650 | 2147483647 79590 60 | 0.184 % |
795.67/796.00 c | 728329 | 1087 176735 462650 | 2147483647 79739 60 | 0.184 % |
795.87/796.22 c | 728490 | 1087 176735 462650 | 2147483647 79900 60 | 0.190 % |
796.07/796.47 c | 728666 | 1087 176735 462650 | 2147483647 80076 60 | 0.184 % |
796.37/796.70 c | 728860 | 1087 176735 462650 | 2147483647 80270 60 | 0.190 % |
796.57/796.91 c | 729072 | 1087 176735 462650 | 2147483647 80482 60 | 0.184 % |
796.87/797.20 c | 729306 | 1087 176735 462650 | 2147483647 80716 60 | 0.184 % |
797.07/797.45 c | 729563 | 1087 176735 462650 | 2147483647 80973 60 | 0.184 % |
797.37/797.77 c | 729844 | 1087 176735 462650 | 2147483647 81254 61 | 0.184 % |
797.77/798.11 c | 730153 | 1087 176735 462650 | 81413 81563 61 | 0.190 % |
798.17/798.59 c | 730492 | 1087 176735 462650 | 81413 73602 59 | 0.190 % |
798.57/798.99 c | 730864 | 1087 176735 462650 | 81413 73974 59 | 0.190 % |
799.07/799.47 c | 731276 | 1087 176735 462650 | 81413 74386 59 | 0.190 % |
799.57/799.99 c | 731727 | 1087 176735 462650 | 81413 74837 59 | 0.190 % |
800.17/800.58 c | 732220 | 1087 176735 462650 | 81413 75330 59 | 0.190 % |
800.77/801.19 c | 732765 | 1087 176735 462650 | 81413 75875 58 | 0.190 % |
801.47/801.83 c | 733363 | 1087 176735 462650 | 81413 76473 58 | 0.190 % |
802.27/802.68 c | 734019 | 1087 176735 462650 | 81413 77129 58 | 0.184 % |
802.87/803.27 c | 734740 | 1087 176735 462650 | 81413 77850 59 | 0.184 % |
803.67/804.08 c | 735532 | 1087 176735 462650 | 81413 78642 59 | 0.184 % |
804.57/804.96 c | 736404 | 1087 176735 462650 | 81413 79514 60 | 0.184 % |
805.56/805.91 c | 737362 | 1087 176735 462650 | 81413 80472 60 | 0.184 % |
806.66/807.08 c | 738415 | 1087 176735 462650 | 81413 81525 60 | 0.190 % |
807.86/808.26 c | 739573 | 1087 176735 462650 | 81413 74531 55 | 0.190 % |
809.06/809.46 c | 740847 | 1087 176735 462650 | 2147483647 75805 56 | 0.184 % |
810.66/811.06 c | 742247 | 1087 176735 462650 | 2147483647 77205 56 | 0.190 % |
812.36/812.75 c | 743787 | 1087 176735 462650 | 2147483647 78745 56 | 0.190 % |
814.36/814.75 c | 745482 | 1087 176735 462650 | 2147483647 80440 56 | 0.191 % |
816.56/816.97 c | 747345 | 1087 176735 462650 | 2147483647 82303 56 | 0.184 % |
819.07/819.40 c | 749398 | 1087 176735 462650 | 2147483647 84356 56 | 0.190 % |
821.96/822.30 c | 751651 | 1087 176735 462650 | 2147483647 86609 55 | 0.190 % |
825.26/825.62 c | 754131 | 1087 176735 462650 | 2147483647 89089 55 | 0.190 % |
828.86/829.27 c | 756856 | 1087 176735 462650 | 2147483647 91814 55 | 0.190 % |
833.16/833.57 c | 759853 | 1087 176735 462650 | 2147483647 94811 55 | 0.190 % |
837.56/837.98 c | 763152 | 1087 176735 462650 | 94960 87970 48 | 0.190 % |
841.95/842.35 c | 766778 | 1087 176735 462650 | 94960 91596 48 | 0.190 % |
846.56/847.00 c | 770765 | 1087 176735 462650 | 94819 86071 46 | 0.184 % |
852.25/852.68 c | 775152 | 1087 176735 462650 | 94819 90458 46 | 0.190 % |
858.05/858.41 c | 779975 | 1087 176735 462650 | 94819 95281 47 | 0.190 % |
864.55/864.99 c | 785280 | 1087 176735 462650 | 2147483647 91058 48 | 0.190 % |
873.14/873.57 c | 791115 | 1087 176735 462650 | 95780 84746 47 | 0.190 % |
880.04/880.44 c | 797536 | 1087 176735 462650 | 95780 91167 47 | 0.184 % |
886.94/887.30 c | 804595 | 1087 176735 462650 | 93632 88813 53 | 0.184 % |
887.04/887.41 c | 804696 | 1087 176735 462650 | 93632 88914 53 | 0.184 % |
887.14/887.57 c | 804807 | 1087 176735 462650 | 93632 89025 53 | 0.184 % |
887.35/887.72 c | 804929 | 1087 176735 462650 | 93632 89147 53 | 0.190 % |
887.44/887.87 c | 805065 | 1087 176735 462650 | 93632 89283 53 | 0.190 % |
887.64/888.09 c | 805215 | 1087 176735 462650 | 93632 89433 53 | 0.184 % |
887.84/888.26 c | 805378 | 1087 176735 462650 | 93632 89596 54 | 0.184 % |
888.04/888.47 c | 805554 | 1087 176735 462650 | 93632 89772 54 | 0.190 % |
888.24/888.68 c | 805747 | 1087 176735 462650 | 93632 89965 54 | 0.184 % |
888.44/888.89 c | 805959 | 1087 176735 462650 | 93632 90177 54 | 0.184 % |
888.74/889.15 c | 806192 | 1087 176735 462650 | 93632 90410 54 | 0.184 % |
889.04/889.44 c | 806452 | 1087 176735 462650 | 93632 90670 54 | 0.190 % |
889.45/889.81 c | 806733 | 1087 176735 462650 | 93632 90951 54 | 0.190 % |
889.74/890.19 c | 807045 | 1087 176735 462650 | 93632 91263 54 | 0.190 % |
890.14/890.51 c | 807386 | 1087 176735 462650 | 93632 91604 54 | 0.184 % |
890.54/890.92 c | 807758 | 1087 176735 462650 | 93632 91976 54 | 0.184 % |
890.94/891.36 c | 808171 | 1087 176735 462650 | 93632 92389 54 | 0.190 % |
891.44/891.87 c | 808620 | 1087 176735 462650 | 93632 92838 54 | 0.190 % |
892.04/892.45 c | 809114 | 1087 176735 462650 | 93632 93332 54 | 0.190 % |
892.74/893.18 c | 809656 | 1087 176735 462650 | 93632 93874 54 | 0.190 % |
893.54/893.95 c | 810255 | 1087 176735 462650 | 2147483647 85086 52 | 0.190 % |
894.34/894.72 c | 810910 | 1087 176735 462650 | 2147483647 85741 52 | 0.190 % |
895.14/895.54 c | 811634 | 1087 176735 462650 | 2147483647 86465 52 | 0.190 % |
896.04/896.42 c | 812427 | 1087 176735 462650 | 2147483647 87258 52 | 0.190 % |
897.04/897.41 c | 813299 | 1087 176735 462650 | 2147483647 88130 52 | 0.190 % |
898.14/898.51 c | 814257 | 1087 176735 462650 | 2147483647 89088 52 | 0.190 % |
899.54/899.94 c | 815311 | 1087 176735 462650 | 2147483647 90142 52 | 0.190 % |
900.94/901.33 c | 816469 | 1087 176735 462650 | 2147483647 91300 52 | 0.190 % |
902.44/902.82 c | 817745 | 1087 176735 462650 | 2147483647 92576 52 | 0.190 % |
903.94/904.33 c | 819145 | 1087 176735 462650 | 2147483647 93976 52 | 0.190 % |
905.74/906.17 c | 820685 | 1087 176735 462650 | 2147483647 95516 52 | 0.190 % |
907.84/908.29 c | 822382 | 1087 176735 462650 | 2147483647 97213 52 | 0.190 % |
910.03/910.43 c | 824246 | 1087 176735 462650 | 2147483647 99077 52 | 0.190 % |
912.43/912.88 c | 826297 | 1087 176735 462650 | 2147483647 101128 52 | 0.190 % |
915.13/915.57 c | 828551 | 1087 176735 462650 | 2147483647 103382 51 | 0.190 % |
918.33/918.72 c | 831033 | 1087 176735 462650 | 2147483647 105864 53 | 0.184 % |
921.83/922.26 c | 833762 | 1087 176735 462650 | 2147483647 108593 55 | 0.184 % |
926.03/926.41 c | 836762 | 1087 176735 462650 | 2147483647 111593 55 | 0.184 % |
930.73/931.17 c | 840061 | 1087 176735 462650 | 114831 114892 55 | 0.190 % |
935.63/936.09 c | 843688 | 1087 176735 462650 | 114831 104206 59 | 0.184 % |
940.73/941.19 c | 847678 | 1087 176735 462650 | 114831 108196 59 | 0.190 % |
947.42/947.85 c | 852064 | 1087 176735 462650 | 110521 97704 61 | 0.190 % |
954.22/954.69 c | 856887 | 1087 176735 462650 | 110521 102527 65 | 0.184 % |
961.72/962.16 c | 862193 | 1087 176735 462650 | 105640 92302 66 | 0.184 % |
970.72/971.19 c | 868028 | 1087 176735 462650 | 105640 98137 65 | 0.190 % |
978.11/978.59 c | 874446 | 1087 176735 462650 | 100112 88876 62 | 0.184 % |
987.21/987.69 c | 881511 | 1087 176735 462650 | 94432 82230 66 | 0.184 % |
998.01/998.43 c | 889275 | 1087 176735 462650 | 94432 89994 71 | 0.184 % |
998.11/998.56 c | 889377 | 1087 176735 462650 | 94432 90096 71 | 0.190 % |
998.31/998.71 c | 889488 | 1087 176735 462650 | 94432 90207 71 | 0.184 % |
998.51/998.91 c | 889609 | 1087 176735 462650 | 94432 90328 71 | 0.190 % |
998.71/999.10 c | 889742 | 1087 176735 462650 | 94432 90461 71 | 0.190 % |
998.81/999.29 c | 889889 | 1087 176735 462650 | 94432 90608 71 | 0.190 % |
999.11/999.53 c | 890050 | 1087 176735 462650 | 90721 90769 70 | 0.190 % |
999.41/999.83 c | 890227 | 1087 176735 462650 | 90721 77550 70 | 0.184 % |
999.61/1000.09 c | 890420 | 1087 176735 462650 | 90721 77743 70 | 0.184 % |
1000.01/1000.44 c | 890633 | 1087 176735 462650 | 90721 77956 70 | 0.190 % |
1000.31/1000.78 c | 890868 | 1087 176735 462650 | 90721 78191 70 | 0.190 % |
1000.71/1001.17 c | 891130 | 1087 176735 462650 | 90721 78453 70 | 0.190 % |
1001.11/1001.59 c | 891411 | 1087 176735 462650 | 90721 78734 70 | 0.190 % |
1001.61/1002.06 c | 891722 | 1087 176735 462650 | 90721 79045 70 | 0.190 % |
1002.21/1002.66 c | 892062 | 1087 176735 462650 | 90721 79385 70 | 0.184 % |
1002.81/1003.26 c | 892434 | 1087 176735 462650 | 90721 79757 70 | 0.184 % |
1003.51/1003.94 c | 892844 | 1087 176735 462650 | 90721 80167 70 | 0.190 % |
1004.11/1004.57 c | 893294 | 1087 176735 462650 | 90721 80617 69 | 0.184 % |
1004.81/1005.27 c | 893789 | 1087 176735 462650 | 90721 81112 69 | 0.184 % |
1005.70/1006.11 c | 894331 | 1087 176735 462650 | 90721 81654 69 | 0.184 % |
1006.60/1007.01 c | 894927 | 1087 176735 462650 | 90721 82250 69 | 0.190 % |
1007.40/1007.81 c | 895582 | 1087 176735 462650 | 90721 82905 69 | 0.184 % |
1008.21/1008.62 c | 896302 | 1087 176735 462650 | 90721 83625 69 | 0.184 % |
1009.20/1009.62 c | 897095 | 1087 176735 462650 | 90721 84418 70 | 0.190 % |
1010.30/1010.71 c | 897968 | 1087 176735 462650 | 90721 85291 70 | 0.184 % |
1011.70/1012.13 c | 898926 | 1087 176735 462650 | 90721 86249 70 | 0.190 % |
1013.20/1013.69 c | 899981 | 1087 176735 462650 | 90721 87304 70 | 0.184 % |
1015.00/1015.42 c | 901139 | 1087 176735 462650 | 87323 76582 68 | 0.184 % |
1016.70/1017.18 c | 902413 | 1087 176735 462650 | 87323 77856 68 | 0.184 % |
1018.70/1019.11 c | 903815 | 1087 176735 462650 | 87323 79258 67 | 0.190 % |
1021.00/1021.47 c | 905357 | 1087 176735 462650 | 87323 80800 67 | 0.190 % |
1023.20/1023.64 c | 907052 | 1087 176735 462650 | 87323 82495 67 | 0.190 % |
1025.50/1025.96 c | 908915 | 1087 176735 462650 | 87323 84358 68 | 0.184 % |
1028.10/1028.52 c | 910964 | 1087 176735 462650 | 85443 75529 66 | 0.184 % |
1030.60/1031.07 c | 913217 | 1087 176735 462650 | 85443 77782 65 | 0.190 % |
1033.90/1034.31 c | 915696 | 1087 176735 462650 | 85443 80261 65 | 0.190 % |
1037.69/1038.15 c | 918421 | 1087 176735 462650 | 85443 82986 64 | 0.190 % |
1041.79/1042.22 c | 921423 | 1087 176735 462650 | 84566 76471 64 | 0.184 % |
1046.69/1047.13 c | 924720 | 1087 176735 462650 | 84566 79768 63 | 0.190 % |
1051.69/1052.19 c | 928348 | 1087 176735 462650 | 84566 83396 64 | 0.190 % |
1056.99/1057.45 c | 932336 | 1087 176735 462650 | 73908 66648 52 | 0.190 % |
1061.89/1062.38 c | 936723 | 1087 176735 462650 | 73908 71035 52 | 0.190 % |
1066.79/1067.27 c | 941548 | 1087 176735 462650 | 2147483647 75860 52 | 0.190 % |
1072.68/1073.18 c | 946855 | 1087 176735 462650 | 2147483647 81167 58 | 0.184 % |
1079.38/1079.88 c | 952691 | 1087 176735 462650 | 2147483647 87003 57 | 0.184 % |
1086.98/1087.45 c | 959110 | 1087 176735 462650 | 2147483647 93422 58 | 0.190 % |
1095.98/1096.47 c | 966170 | 1087 176735 462650 | 94312 90189 57 | 0.190 % |
1106.98/1107.48 c | 973936 | 1087 176735 462650 | 94021 85443 53 | 0.190 % |
1118.68/1119.11 c | 982478 | 1087 176735 462650 | 91507 81601 54 | 0.190 % |
1118.88/1119.30 c | 982579 | 1087 176735 462650 | 91507 81702 54 | 0.190 % |
1118.98/1119.42 c | 982692 | 1087 176735 462650 | 91507 81815 54 | 0.184 % |
1119.08/1119.55 c | 982813 | 1087 176735 462650 | 91507 81936 54 | 0.190 % |
1119.28/1119.72 c | 982950 | 1087 176735 462650 | 91507 82073 54 | 0.184 % |
1119.48/1119.93 c | 983103 | 1087 176735 462650 | 91507 82226 54 | 0.190 % |
1119.68/1120.10 c | 983264 | 1087 176735 462650 | 91507 82387 54 | 0.191 % |
1119.88/1120.36 c | 983449 | 1087 176735 462650 | 91507 82572 54 | 0.191 % |
1120.18/1120.66 c | 983642 | 1087 176735 462650 | 91507 82765 54 | 0.190 % |
1120.48/1120.94 c | 983855 | 1087 176735 462650 | 91507 82978 54 | 0.190 % |
1120.78/1121.23 c | 984088 | 1087 176735 462650 | 91507 83211 54 | 0.190 % |
1121.08/1121.55 c | 984344 | 1087 176735 462650 | 91507 83467 54 | 0.184 % |
1121.48/1121.90 c | 984625 | 1087 176735 462650 | 91507 83748 54 | 0.190 % |
1121.78/1122.26 c | 984935 | 1087 176735 462650 | 91507 84058 54 | 0.190 % |
1122.18/1122.65 c | 985274 | 1087 176735 462650 | 91507 84397 54 | 0.190 % |
1122.68/1123.12 c | 985646 | 1087 176735 462650 | 91507 84769 54 | 0.190 % |
1123.18/1123.60 c | 986057 | 1087 176735 462650 | 91507 85180 54 | 0.190 % |
1123.68/1124.15 c | 986506 | 1087 176735 462650 | 91507 85629 55 | 0.184 % |
1124.18/1124.69 c | 986999 | 1087 176735 462650 | 91507 86122 55 | 0.184 % |
1124.88/1125.36 c | 987542 | 1087 176735 462650 | 91507 86665 55 | 0.184 % |
1125.58/1126.03 c | 988138 | 1087 176735 462650 | 91507 87261 55 | 0.184 % |
1126.28/1126.80 c | 988793 | 1087 176735 462650 | 91507 87916 55 | 0.190 % |
1127.38/1127.86 c | 989513 | 1087 176735 462650 | 91507 88636 55 | 0.190 % |
1128.38/1128.83 c | 990305 | 1087 176735 462650 | 89123 89428 56 | 0.184 % |
1129.58/1130.05 c | 991180 | 1087 176735 462650 | 89123 80611 56 | 0.184 % |
1130.77/1131.28 c | 992140 | 1087 176735 462650 | 89123 81571 56 | 0.190 % |
1132.07/1132.51 c | 993194 | 1087 176735 462650 | 89123 82625 56 | 0.190 % |
1133.17/1133.62 c | 994354 | 1087 176735 462650 | 89123 83785 56 | 0.190 % |
1134.57/1135.03 c | 995627 | 1087 176735 462650 | 89123 85058 56 | 0.184 % |
1135.97/1136.49 c | 997027 | 1087 176735 462650 | 89123 86458 56 | 0.184 % |
1137.67/1138.19 c | 998567 | 1087 176735 462650 | 89123 87998 58 | 0.184 % |
1139.77/1140.23 c | 1000263 | 1087 176735 462650 | 2147483647 89694 59 | 0.184 % |
1142.07/1142.56 c | 1002126 | 1087 176735 462650 | 2147483647 91557 59 | 0.190 % |
1144.57/1145.03 c | 1004177 | 1087 176735 462650 | 2147483647 93608 59 | 0.184 % |
1147.47/1147.90 c | 1006430 | 1087 176735 462650 | 2147483647 95861 59 | 0.190 % |
1150.87/1151.37 c | 1008909 | 1087 176735 462650 | 2147483647 98340 58 | 0.190 % |
1154.77/1155.29 c | 1011636 | 1087 176735 462650 | 99436 89210 57 | 0.190 % |
1158.77/1159.25 c | 1014633 | 1087 176735 462650 | 99436 92207 57 | 0.190 % |
1162.57/1163.05 c | 1017929 | 1087 176735 462650 | 99436 95503 57 | 0.190 % |
1167.16/1167.64 c | 1021558 | 1087 176735 462650 | 97577 86681 54 | 0.190 % |
1171.76/1172.25 c | 1025545 | 1087 176735 462650 | 97577 90668 56 | 0.184 % |
1176.47/1176.97 c | 1029930 | 1087 176735 462650 | 97577 95053 60 | 0.184 % |
1182.86/1183.33 c | 1034755 | 1087 176735 462650 | 95123 88945 60 | 0.184 % |
1190.16/1190.61 c | 1040062 | 1087 176735 462650 | 94192 94252 59 | 0.184 % |
1197.76/1198.20 c | 1045897 | 1087 176735 462650 | 94192 87571 64 | 0.184 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832105-1242769158/watcher-1832105-1242769158 -o /tmp/evaluation-result-1832105-1242769158/solver-1832105-1242769158 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832105-1242769158.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 25567
/proc/meminfo: memFree=1906360/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304943593 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 250969030738 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/25567/statm: 1339 235 195 169 0 50 0
[pid=25568] ppid=25567 vsize=5356 CPUtime=0
/proc/25568/stat : 25568 (SatELiteGTI) S 25567 25567 25447 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304943593 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/25568/statm: 1339 238 198 169 0 50 0
[pid=25570] ppid=25568 vsize=0 CPUtime=0
/proc/25570/stat : 25570 (sed) R 25568 25567 25447 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 304943593 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/25570/statm: -- couldn't open statm file --
[startup+0.0857951 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 25567
/proc/meminfo: memFree=1906360/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304943593 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25567/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102793 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 25567
/proc/meminfo: memFree=1906360/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304943593 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25567/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302806 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 25567
/proc/meminfo: memFree=1906360/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 5356
[startup+0.702841 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 25567
/proc/meminfo: memFree=1906360/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 5356
[startup+1.50192 s]
/proc/loadavg: 0.92 0.98 0.93 2/67 25573
/proc/meminfo: memFree=1894184/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=10772 CPUtime=1.25
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 2577 0 0 0 124 1 0 0 25 0 1 0 304943617 11030528 2563 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 2693 2563 77 171 0 2520 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16128
[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.93 2/67 25573
/proc/meminfo: memFree=1892776/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=12488 CPUtime=2.83
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 2987 0 0 0 282 1 0 0 25 0 1 0 304943617 12787712 2973 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 3122 2973 77 171 0 2949 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17844
[startup+6.30139 s]
/proc/loadavg: 1.01 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1889704/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=15332 CPUtime=6.03
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 3688 0 0 0 601 2 0 0 25 0 1 0 304943617 15699968 3674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 3833 3674 77 171 0 3660 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20688
[startup+12.702 s]
/proc/loadavg: 1.01 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1884968/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=19636 CPUtime=12.42
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 4760 0 0 0 1239 3 0 0 25 0 1 0 304943617 20107264 4746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 4909 4746 77 171 0 4736 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24992
[startup+25.5023 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1877864/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=26488 CPUtime=25.21
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 6461 0 0 0 2515 6 0 0 25 0 1 0 304943617 27123712 6447 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 6622 6447 77 171 0 6449 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 31844
[startup+51.1028 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1866920/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=37504 CPUtime=50.79
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 9235 0 0 0 5071 8 0 0 25 0 1 0 304943617 38404096 9221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 9376 9221 77 171 0 9203 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 42860
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1851752/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=52436 CPUtime=101.96
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 12953 0 0 0 10184 12 0 0 25 0 1 0 304943617 53694464 12939 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 13109 12939 77 171 0 12936 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 57792
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1842920/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=161.94
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15126 0 0 0 16179 15 0 0 25 0 1 0 304943617 62918656 15112 1992294400 134512640 135215339 4294956240 18446744073709551615 134538261 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15112 77 171 0 15188 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 66800
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25573
/proc/meminfo: memFree=1842792/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=221.92
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15126 0 0 0 22176 16 0 0 25 0 1 0 304943617 62918656 15112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15112 77 171 0 15188 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 66800
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1842536/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=281.9
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15126 0 0 0 28174 16 0 0 25 0 1 0 304943617 62918656 15112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15112 77 171 0 15188 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 66800
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1842472/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=341.88
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15126 0 0 0 34172 16 0 0 25 0 1 0 304943617 62918656 15112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15112 77 171 0 15188 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 66800
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1842408/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=401.86
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15126 0 0 0 40170 16 0 0 25 0 1 0 304943617 62918656 15112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
/proc/25573/statm: 15361 15121 77 171 0 15188 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 66800
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1842088/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=641.79
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15135 0 0 0 64162 17 0 0 25 0 1 0 304943617 62918656 15121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15121 77 171 0 15188 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 66800
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1842024/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=701.77
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15135 0 0 0 70160 17 0 0 25 0 1 0 304943617 62918656 15121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15121 77 171 0 15188 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 66800
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841896/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=761.75
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15135 0 0 0 76158 17 0 0 25 0 1 0 304943617 62918656 15121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15121 77 171 0 15188 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 66800
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841768/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61444 CPUtime=821.73
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15135 0 0 0 82156 17 0 0 25 0 1 0 304943617 62918656 15121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15361 15121 77 171 0 15188 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 66800
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841704/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=881.71
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15147 0 0 0 88154 17 0 0 25 0 1 0 304943617 63057920 15133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15133 77 171 0 15222 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 66936
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841576/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=941.69
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 94152 17 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 66936
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841512/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1001.68
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 100151 17 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 66936
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841384/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1061.66
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 106149 17 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 66936
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841320/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1121.65
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 112147 18 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 66936
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841256/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1181.63
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 118145 18 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 66936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841192/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1199.83
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 119965 18 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 66936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 25575
/proc/meminfo: memFree=1841192/2055920 swapFree=4179988/4192956
[pid=25567] ppid=25565 vsize=5356 CPUtime=0.23
/proc/25567/stat : 25567 (SatELiteGTI) S 25565 25567 25447 0 -1 4194304 336 2732 0 0 0 0 20 3 16 0 1 0 304943593 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25567/statm: 1339 239 197 169 0 50 0
[pid=25573] ppid=25567 vsize=61580 CPUtime=1199.83
/proc/25573/stat : 25573 (minisat_static) R 25567 25567 25447 0 -1 4194304 15157 0 0 0 119965 18 0 0 25 0 1 0 304943617 63057920 15143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25573/statm: 15395 15143 77 171 0 15222 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 66936
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25567 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=205968
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 0.239962
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.85
CPU system time (s): 0.21
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 66936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.205968
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 1.04184 second user time and 3.45247 second system time
The end
Begin job on node56 at 2009-05-19 23:39:18
IDJOB=1832105
IDBENCH=20488
IDSOLVER=671
FILE ID=node56/1832105-1242769158
PBS_JOBID= 9322245
Free space on /tmp= 103044 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_33.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832105-1242769158/watcher-1832105-1242769158 -o /tmp/evaluation-result-1832105-1242769158/solver-1832105-1242769158 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832105-1242769158.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED=691784632
node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1906776 kB
Buffers: 11876 kB
Cached: 100372 kB
SwapCached: 7024 kB
Active: 28068 kB
Inactive: 93888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1906776 kB
SwapTotal: 4192956 kB
SwapFree: 4179988 kB
Dirty: 4260 kB
Writeback: 0 kB
Mapped: 14504 kB
Slab: 13076 kB
Committed_AS: 938148 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103040 MiB
End job on node56 at 2009-05-19 23:59:21