0.00/0.00 c Parsing...
0.00/0.36 c ==============================================================================
0.00/0.36 c | | ORIGINAL | LEARNT | |
0.00/0.36 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.36 c ==============================================================================
0.00/0.36 c | 0 | 454832 1512036 | 136449 0 0 nan | 0.000 % |
1.19/1.27 c | 0 | 428369 1449583 | -- 0 -- -- | -- | -26463/-62453
1.19/1.27 c ==============================================================================
1.19/1.27 c Result : #vars: 23801 #clauses: 428369 #literals: 1449583
1.19/1.27 c CPU time: 1.20782 s
1.19/1.27 c ==============================================================================
1.69/1.74 c This is MiniSat 2.0 beta
1.69/1.74 c WARNING: for repeatability, setting FPU to use double precision
1.69/1.74 c ============================[ Problem Statistics ]=============================
1.69/1.74 c | |
1.69/1.75 c | Number of variables: 23801 |
1.69/1.75 c | Number of clauses: 428369 |
1.73/2.00 c | Parsing time: 0.22 s |
1.73/2.01 c ============================[ Search Statistics ]==============================
1.73/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.73/2.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.73/2.01 c ===============================================================================
1.73/2.01 c | 0 | 23801 428369 1449583 | 142789 0 nan | 0.000 % |
1.73/2.03 c | 101 | 23801 428369 1449583 | 142789 101 14 | 0.000 % |
1.73/2.07 c | 201 | 23801 428369 1449583 | 142789 201 14 | 0.000 % |
1.73/2.10 c | 301 | 23801 428369 1449583 | 142789 301 14 | 0.000 % |
2.07/2.13 c | 412 | 23801 428369 1449583 | 142789 412 15 | 0.000 % |
2.07/2.14 c | 513 | 23801 428369 1449583 | 142789 513 16 | 0.000 % |
2.07/2.16 c | 624 | 23801 428369 1449583 | 142789 624 16 | 0.000 % |
2.07/2.20 c | 746 | 23801 428369 1449583 | 142789 746 19 | 0.000 % |
2.17/2.25 c | 846 | 23801 428369 1449583 | 142789 846 19 | 0.000 % |
2.17/2.26 c | 956 | 23801 428369 1449583 | 142789 956 20 | 0.000 % |
2.27/2.31 c | 1078 | 23801 428369 1449583 | 142789 1078 21 | 0.000 % |
2.27/2.33 c | 1211 | 23801 428369 1449583 | 142789 1211 21 | 0.000 % |
2.27/2.35 c | 1311 | 23801 428369 1449583 | 142789 1311 21 | 0.000 % |
2.27/2.36 c | 1421 | 23801 428369 1449583 | 142789 1421 21 | 0.000 % |
2.27/2.37 c | 1544 | 23801 428369 1449583 | 142789 1544 20 | 0.000 % |
2.37/2.41 c | 1678 | 23801 428369 1449583 | 142789 1678 21 | 0.000 % |
2.37/2.44 c | 1825 | 23801 428369 1449583 | 142789 1825 21 | 0.000 % |
2.37/2.46 c | 1925 | 23801 428369 1449583 | 142789 1925 21 | 0.000 % |
2.37/2.49 c | 2035 | 23801 428369 1449583 | 142789 2035 21 | 0.000 % |
2.46/2.56 c | 2156 | 23801 428369 1449583 | 142789 2156 22 | 0.000 % |
2.46/2.59 c | 2289 | 23801 428369 1449583 | 142789 2289 22 | 0.000 % |
2.56/2.63 c | 2435 | 23801 428369 1449583 | 142789 2435 21 | 0.000 % |
2.56/2.66 c | 2595 | 23801 428369 1449583 | 142789 2595 21 | 0.000 % |
2.56/2.67 c | 2695 | 23801 428369 1449583 | 142789 2695 22 | 0.000 % |
2.56/2.69 c | 2808 | 23801 428369 1449583 | 142789 2808 21 | 0.000 % |
2.66/2.70 c | 2930 | 23801 428369 1449583 | 142789 2930 21 | 0.000 % |
2.66/2.74 c | 3067 | 23801 428369 1449583 | 142789 3067 21 | 0.000 % |
2.66/2.78 c | 3214 | 23801 428369 1449583 | 142789 3214 21 | 0.000 % |
2.76/2.82 c | 3374 | 23801 428369 1449583 | 142789 3374 22 | 0.000 % |
2.86/2.90 c | 3552 | 23801 428369 1449583 | 142789 3552 22 | 0.000 % |
2.86/2.93 c | 3654 | 23801 428369 1449583 | 142789 3654 22 | 0.000 % |
2.86/2.94 c | 3764 | 23801 428369 1449583 | 142789 3764 22 | 0.000 % |
2.86/2.94 c | 3886 | 23801 428369 1449583 | 142789 3886 22 | 0.000 % |
2.86/2.96 c | 4019 | 23801 428369 1449583 | 142789 4019 21 | 0.000 % |
2.86/2.99 c | 4166 | 23801 428369 1449583 | 142789 4166 22 | 0.000 % |
2.96/3.04 c | 4326 | 23801 428369 1449583 | 142789 4326 22 | 0.000 % |
2.96/3.07 c | 4502 | 23801 428369 1449583 | 142789 4502 21 | 0.000 % |
3.06/3.12 c | 4696 | 23801 428369 1449583 | 142789 4696 21 | 0.000 % |
3.06/3.13 c | 4797 | 23801 428369 1449583 | 142789 4797 21 | 0.000 % |
3.06/3.14 c | 4910 | 23801 428369 1449583 | 142789 4910 21 | 0.000 % |
3.06/3.18 c | 5031 | 23801 428369 1449583 | 142789 5031 21 | 0.000 % |
3.16/3.26 c | 5164 | 23800 428297 1449343 | 142789 5162 21 | 0.004 % |
3.16/3.29 c | 5310 | 23800 428297 1449343 | 142789 5308 21 | 0.004 % |
3.26/3.32 c | 5474 | 23800 428297 1449343 | 142789 5472 21 | 0.004 % |
3.26/3.36 c | 5651 | 23800 428297 1449343 | 142789 5649 21 | 0.004 % |
3.26/3.38 c | 5847 | 23800 428297 1449343 | 142789 5845 21 | 0.004 % |
3.36/3.43 c | 6059 | 23800 428297 1449343 | 142789 6057 21 | 0.004 % |
3.36/3.44 c | 6161 | 23800 428297 1449343 | 142789 6159 21 | 0.004 % |
3.36/3.47 c | 6271 | 23800 428297 1449343 | 142789 6269 21 | 0.004 % |
3.36/3.49 c | 6392 | 23800 428297 1449343 | 142789 6390 21 | 0.004 % |
3.46/3.52 c | 6525 | 23800 428297 1449343 | 142789 6523 21 | 0.004 % |
3.46/3.54 c | 6673 | 23800 428297 1449343 | 142789 6671 21 | 0.004 % |
3.56/3.64 c | 6833 | 23800 428297 1449343 | 142789 6831 22 | 0.004 % |
3.56/3.68 c | 7009 | 23800 428297 1449343 | 142789 7007 22 | 0.004 % |
3.66/3.74 c | 7202 | 23799 428297 1449343 | 142789 7199 22 | 0.008 % |
3.66/3.78 c | 7414 | 23799 428297 1449343 | 142789 7411 22 | 0.008 % |
3.76/3.81 c | 7647 | 23799 428297 1449343 | 142789 7644 22 | 0.008 % |
3.76/3.81 c | 7747 | 23799 428297 1449343 | 142789 7744 22 | 0.008 % |
3.76/3.85 c | 7857 | 23799 428297 1449343 | 142789 7854 22 | 0.008 % |
3.76/3.88 c | 7979 | 23799 428297 1449343 | 142789 7976 22 | 0.008 % |
3.87/3.91 c | 8113 | 23799 428297 1449343 | 142789 8110 22 | 0.008 % |
3.87/3.95 c | 8260 | 23799 428297 1449343 | 142789 8257 22 | 0.008 % |
3.87/3.99 c | 8421 | 23799 428297 1449343 | 142789 8418 22 | 0.008 % |
3.97/4.02 c | 8597 | 23799 428297 1449343 | 142789 8594 22 | 0.008 % |
3.97/4.06 c | 8791 | 23799 428297 1449343 | 142789 8788 22 | 0.008 % |
4.07/4.14 c | 9005 | 23799 428297 1449343 | 142789 9002 22 | 0.008 % |
4.07/4.17 c | 9238 | 23799 428297 1449343 | 142789 9235 22 | 0.008 % |
4.16/4.26 c | 9495 | 23799 428297 1449343 | 142789 9492 22 | 0.008 % |
4.16/4.30 c | 9596 | 23799 428297 1449343 | 142789 9593 22 | 0.008 % |
4.27/4.34 c | 9706 | 23799 428297 1449343 | 142789 9703 22 | 0.008 % |
4.27/4.37 c | 9828 | 23799 428297 1449343 | 142789 9825 22 | 0.008 % |
4.37/4.41 c | 9962 | 23799 428297 1449343 | 142789 9959 22 | 0.008 % |
4.37/4.46 c | 10108 | 23799 428297 1449343 | 2147483647 10105 22 | 0.008 % |
4.46/4.51 c | 10268 | 23799 428297 1449343 | 2147483647 10265 22 | 0.008 % |
4.46/4.58 c | 10445 | 23799 428225 1449103 | 2147483647 10437 22 | 0.008 % |
4.56/4.64 c | 10640 | 23799 428225 1449103 | 2147483647 10632 22 | 0.008 % |
4.56/4.67 c | 10854 | 23799 428225 1449103 | 2147483647 10846 22 | 0.008 % |
4.66/4.74 c | 11091 | 23799 428225 1449103 | 2147483647 11083 22 | 0.008 % |
4.76/4.81 c | 11347 | 23799 428225 1449103 | 2147483647 11339 22 | 0.008 % |
4.76/4.88 c | 11629 | 23799 428225 1449103 | 2147483647 11621 23 | 0.008 % |
4.86/4.91 c | 11732 | 23799 428225 1449103 | 2147483647 11724 23 | 0.008 % |
4.86/4.94 c | 11842 | 23799 428225 1449103 | 2147483647 11834 23 | 0.008 % |
4.96/5.00 c | 11963 | 23799 428225 1449103 | 2147483647 11955 23 | 0.008 % |
4.96/5.04 c | 12096 | 23799 428225 1449103 | 2147483647 12088 23 | 0.008 % |
4.96/5.07 c | 12245 | 23799 428225 1449103 | 2147483647 12237 23 | 0.008 % |
5.06/5.10 c | 12405 | 23799 428225 1449103 | 2147483647 12397 23 | 0.008 % |
5.06/5.16 c | 12582 | 23799 428225 1449103 | 2147483647 12574 23 | 0.008 % |
5.16/5.25 c | 12775 | 23799 428225 1449103 | 2147483647 12767 23 | 0.008 % |
5.26/5.31 c | 12988 | 23799 428225 1449103 | 2147483647 12980 23 | 0.008 % |
5.37/5.41 c | 13222 | 23799 428225 1449103 | 2147483647 13214 23 | 0.008 % |
5.37/5.43 c | 13478 | 23799 428225 1449103 | 2147483647 13470 23 | 0.008 % |
5.47/5.53 c | 13759 | 23799 428225 1449103 | 2147483647 13751 23 | 0.008 % |
5.56/5.60 c | 14068 | 23799 428225 1449103 | 2147483647 14060 23 | 0.008 % |
5.56/5.61 c | 14168 | 23799 428225 1449103 | 2147483647 14160 23 | 0.008 % |
5.56/5.66 c | 14278 | 23799 428225 1449103 | 2147483647 14270 23 | 0.008 % |
5.66/5.70 c | 14399 | 23799 428225 1449103 | 2147483647 14391 23 | 0.008 % |
5.66/5.71 c | 14532 | 23799 428225 1449103 | 2147483647 14524 23 | 0.008 % |
5.66/5.76 c | 14678 | 23799 428225 1449103 | 2147483647 14670 23 | 0.008 % |
5.76/5.85 c | 14838 | 23799 428225 1449103 | 2147483647 14830 23 | 0.008 % |
5.86/5.90 c | 15015 | 23799 428225 1449103 | 2147483647 15007 23 | 0.008 % |
5.96/6.02 c | 15208 | 23799 428225 1449103 | 2147483647 15200 23 | 0.008 % |
5.96/6.06 c | 15420 | 23799 428225 1449103 | 2147483647 15412 23 | 0.008 % |
6.06/6.17 c | 15653 | 23799 428225 1449103 | 2147483647 15645 23 | 0.008 % |
6.16/6.28 c | 15909 | 23799 428225 1449103 | 2147483647 15901 23 | 0.008 % |
6.26/6.39 c | 16190 | 23799 428225 1449103 | 2147483647 16182 23 | 0.008 % |
6.36/6.47 c | 16501 | 23799 428225 1449103 | 2147483647 16493 23 | 0.008 % |
6.46/6.51 c | 16842 | 23799 428225 1449103 | 2147483647 16834 23 | 0.008 % |
6.56/6.60 c | 16942 | 23799 428225 1449103 | 2147483647 16934 24 | 0.008 % |
6.56/6.64 c | 17052 | 23799 428225 1449103 | 2147483647 17044 24 | 0.008 % |
6.56/6.67 c | 17173 | 23799 428225 1449103 | 2147483647 17165 24 | 0.008 % |
6.66/6.71 c | 17306 | 23799 428225 1449103 | 2147483647 17298 24 | 0.008 % |
6.66/6.75 c | 17454 | 23799 428225 1449103 | 2147483647 17446 24 | 0.008 % |
6.76/6.81 c | 17614 | 23799 428225 1449103 | 2147483647 17606 24 | 0.008 % |
6.76/6.86 c | 17792 | 23799 428225 1449103 | 2147483647 17784 24 | 0.008 % |
6.86/6.90 c | 17988 | 23799 428225 1449103 | 2147483647 17980 24 | 0.008 % |
6.86/6.97 c | 18201 | 23799 428225 1449103 | 2147483647 18193 24 | 0.008 % |
6.96/7.04 c | 18435 | 23799 428225 1449103 | 2147483647 18427 24 | 0.008 % |
7.06/7.13 c | 18693 | 23799 428225 1449103 | 2147483647 18685 24 | 0.008 % |
7.06/7.17 c | 18975 | 23799 428225 1449103 | 2147483647 18967 24 | 0.008 % |
7.26/7.31 c | 19284 | 23799 428225 1449103 | 2147483647 19276 24 | 0.008 % |
7.26/7.39 c | 19623 | 23799 428225 1449103 | 2147483647 19615 24 | 0.008 % |
7.46/7.50 c | 19995 | 23799 428225 1449103 | 2147483647 19987 24 | 0.008 % |
7.46/7.55 c | 20095 | 23799 428225 1449103 | 2147483647 20087 24 | 0.008 % |
7.46/7.57 c | 20209 | 23799 428225 1449103 | 2147483647 20201 24 | 0.008 % |
7.56/7.61 c | 20330 | 23799 428225 1449103 | 2147483647 20322 24 | 0.008 % |
7.56/7.64 c | 20464 | 23799 428225 1449103 | 2147483647 20456 24 | 0.008 % |
7.56/7.69 c | 20610 | 23799 428225 1449103 | 2147483647 20602 24 | 0.008 % |
7.66/7.75 c | 20770 | 23799 428225 1449103 | 2147483647 20762 24 | 0.008 % |
7.75/7.82 c | 20946 | 23799 428225 1449103 | 2147483647 20938 24 | 0.008 % |
7.75/7.85 c | 21139 | 23799 428225 1449103 | 2147483647 21131 24 | 0.008 % |
7.85/7.90 c | 21351 | 23799 428225 1449103 | 2147483647 21343 24 | 0.008 % |
7.95/8.01 c | 21588 | 23799 428225 1449103 | 2147483647 21580 24 | 0.008 % |
7.95/8.05 c | 21848 | 23799 428225 1449103 | 2147483647 21840 24 | 0.008 % |
8.05/8.11 c | 22129 | 23799 428225 1449103 | 2147483647 22121 24 | 0.008 % |
8.05/8.18 c | 22438 | 23799 428225 1449103 | 2147483647 22430 24 | 0.008 % |
8.15/8.25 c | 22780 | 23799 428225 1449103 | 2147483647 22772 24 | 0.008 % |
8.25/8.30 c | 23152 | 23799 428225 1449103 | 2147483647 23144 24 | 0.008 % |
8.25/8.38 c | 23563 | 23799 428225 1449103 | 2147483647 23555 24 | 0.008 % |
8.35/8.40 c | 23664 | 23799 428225 1449103 | 2147483647 23656 24 | 0.008 % |
8.35/8.43 c | 23775 | 23799 428225 1449103 | 2147483647 23767 24 | 0.008 % |
8.35/8.44 c | 23897 | 23799 428225 1449103 | 2147483647 23889 24 | 0.008 % |
8.45/8.50 c | 24030 | 23799 428225 1449103 | 2147483647 24022 24 | 0.008 % |
8.45/8.55 c | 24176 | 23799 428225 1449103 | 2147483647 24168 24 | 0.008 % |
8.55/8.61 c | 24336 | 23799 428225 1449103 | 2147483647 24328 24 | 0.008 % |
8.55/8.65 c | 24512 | 23799 428225 1449103 | 2147483647 24504 24 | 0.008 % |
8.65/8.72 c | 24705 | 23799 428225 1449103 | 2147483647 24697 24 | 0.008 % |
8.65/8.77 c | 24917 | 23799 428225 1449103 | 2147483647 24909 24 | 0.008 % |
8.76/8.85 c | 25150 | 23799 428225 1449103 | 2147483647 25142 25 | 0.008 % |
8.76/8.88 c | 25407 | 23799 428225 1449103 | 2147483647 25399 25 | 0.008 % |
8.86/9.00 c | 25688 | 23799 428225 1449103 | 2147483647 25680 25 | 0.008 % |
9.06/9.12 c | 25997 | 23799 428225 1449103 | 2147483647 25989 24 | 0.008 % |
9.06/9.16 c | 26336 | 23799 428225 1449103 | 2147483647 26328 25 | 0.008 % |
9.16/9.24 c | 26708 | 23799 428225 1449103 | 2147483647 26700 25 | 0.008 % |
9.26/9.38 c | 27119 | 23799 428225 1449103 | 2147483647 27111 25 | 0.008 % |
9.45/9.50 c | 27571 | 23799 428225 1449103 | 2147483647 27563 25 | 0.008 % |
9.45/9.52 c | 27671 | 23799 428225 1449103 | 2147483647 27663 25 | 0.008 % |
9.45/9.55 c | 27781 | 23799 428225 1449103 | 2147483647 27773 25 | 0.008 % |
9.45/9.58 c | 27903 | 23799 428225 1449103 | 2147483647 27895 25 | 0.008 % |
9.55/9.65 c | 28037 | 23799 428225 1449103 | 2147483647 28029 25 | 0.008 % |
9.55/9.66 c | 28183 | 23799 428225 1449103 | 2147483647 28175 25 | 0.008 % |
9.65/9.74 c | 28343 | 23799 428225 1449103 | 2147483647 28335 25 | 0.008 % |
9.65/9.78 c | 28520 | 23799 428225 1449103 | 2147483647 28512 25 | 0.008 % |
9.76/9.87 c | 28715 | 23799 428225 1449103 | 2147483647 28707 25 | 0.008 % |
9.86/9.99 c | 28927 | 23799 428225 1449103 | 2147483647 28919 25 | 0.008 % |
9.95/10.05 c | 29160 | 23799 428225 1449103 | 2147483647 29152 25 | 0.008 % |
10.05/10.17 c | 29416 | 23799 428225 1449103 | 2147483647 29408 25 | 0.008 % |
10.15/10.26 c | 29698 | 23799 428225 1449103 | 2147483647 29690 25 | 0.008 % |
10.25/10.34 c | 30007 | 23799 428225 1449103 | 2147483647 29999 25 | 0.008 % |
10.35/10.46 c | 30347 | 23799 428225 1449103 | 2147483647 30339 25 | 0.008 % |
10.55/10.65 c | 30720 | 23799 428225 1449103 | 2147483647 30712 26 | 0.008 % |
10.65/10.73 c | 31129 | 23799 428225 1449103 | 2147483647 31121 26 | 0.008 % |
10.75/10.87 c | 31578 | 23799 428225 1449103 | 2147483647 31570 26 | 0.008 % |
10.95/11.01 c | 32072 | 23799 428225 1449103 | 2147483647 32064 26 | 0.008 % |
10.95/11.05 c | 32172 | 23799 428225 1449103 | 2147483647 32164 26 | 0.008 % |
10.95/11.08 c | 32282 | 23799 428225 1449103 | 2147483647 32274 26 | 0.008 % |
11.05/11.11 c | 32404 | 23799 428225 1449103 | 2147483647 32396 26 | 0.008 % |
11.05/11.16 c | 32537 | 23799 428225 1449103 | 2147483647 32529 26 | 0.008 % |
11.15/11.23 c | 32683 | 23799 428225 1449103 | 2147483647 32675 26 | 0.008 % |
11.25/11.31 c | 32843 | 23799 428225 1449103 | 2147483647 32835 26 | 0.008 % |
11.25/11.37 c | 33019 | 23799 428225 1449103 | 2147483647 33011 26 | 0.008 % |
11.35/11.44 c | 33214 | 23799 428225 1449103 | 2147483647 33206 26 | 0.008 % |
11.45/11.55 c | 33426 | 23799 428225 1449103 | 2147483647 33418 26 | 0.008 % |
11.55/11.62 c | 33660 | 23799 428225 1449103 | 2147483647 33652 26 | 0.008 % |
11.55/11.66 c | 33920 | 23799 428225 1449103 | 2147483647 33912 26 | 0.008 % |
11.65/11.74 c | 34201 | 23799 428225 1449103 | 2147483647 34193 26 | 0.008 % |
11.75/11.83 c | 34513 | 23799 428225 1449103 | 2147483647 34505 26 | 0.008 % |
11.85/11.91 c | 34852 | 23799 428225 1449103 | 2147483647 34844 26 | 0.008 % |
11.85/11.95 c | 35224 | 23799 428225 1449103 | 2147483647 35216 26 | 0.008 % |
11.95/12.07 c | 35633 | 23799 428225 1449103 | 2147483647 35625 26 | 0.008 % |
12.05/12.20 c | 36082 | 23799 428225 1449103 | 2147483647 36074 26 | 0.008 % |
12.25/12.36 c | 36575 | 23799 428225 1449103 | 2147483647 36567 26 | 0.008 % |
12.45/12.57 c | 37119 | 23799 428225 1449103 | 2147483647 37111 27 | 0.008 % |
12.55/12.62 c | 37225 | 23799 428225 1449103 | 2147483647 37217 27 | 0.008 % |
12.55/12.66 c | 37337 | 23799 428225 1449103 | 2147483647 37329 27 | 0.008 % |
12.64/12.71 c | 37458 | 23799 428225 1449103 | 2147483647 37450 27 | 0.008 % |
12.64/12.74 c | 37591 | 23799 428225 1449103 | 2147483647 37583 27 | 0.008 % |
12.64/12.79 c | 37737 | 23799 428225 1449103 | 2147483647 37729 27 | 0.008 % |
12.84/12.92 c | 37897 | 23799 428225 1449103 | 2147483647 37889 27 | 0.008 % |
12.84/12.99 c | 38073 | 23799 428225 1449103 | 2147483647 38065 27 | 0.008 % |
12.94/13.05 c | 38266 | 23799 428225 1449103 | 2147483647 38258 27 | 0.008 % |
13.06/13.15 c | 38480 | 23799 428225 1449103 | 2147483647 38472 27 | 0.008 % |
13.16/13.24 c | 38714 | 23799 428225 1449103 | 2147483647 38706 27 | 0.008 % |
13.25/13.30 c | 38970 | 23799 428225 1449103 | 2147483647 38962 27 | 0.008 % |
13.35/13.42 c | 39252 | 23799 428225 1449103 | 2147483647 39244 27 | 0.008 % |
13.45/13.55 c | 39562 | 23799 428225 1449103 | 2147483647 39554 27 | 0.008 % |
13.65/13.78 c | 39901 | 23799 428225 1449103 | 2147483647 39893 27 | 0.008 % |
13.75/13.88 c | 40274 | 23799 428225 1449103 | 2147483647 40266 27 | 0.008 % |
14.05/14.12 c | 40683 | 23799 428225 1449103 | 2147483647 40675 28 | 0.008 % |
14.25/14.32 c | 41132 | 23799 428225 1449103 | 2147483647 41124 28 | 0.008 % |
14.35/14.42 c | 41628 | 23799 428225 1449103 | 2147483647 41620 28 | 0.008 % |
14.45/14.59 c | 42170 | 23799 428225 1449103 | 2147483647 42162 28 | 0.008 % |
14.65/14.76 c | 42767 | 23799 428225 1449103 | 2147483647 42759 28 | 0.008 % |
14.75/14.80 c | 42867 | 23799 428225 1449103 | 2147483647 42859 28 | 0.008 % |
14.75/14.80 c | 42977 | 23799 428225 1449103 | 2147483647 42969 28 | 0.008 % |
14.75/14.87 c | 43101 | 23798 428153 1448863 | 2147483647 43086 28 | 0.013 % |
14.85/14.91 c | 43234 | 23798 428153 1448863 | 2147483647 43219 28 | 0.013 % |
14.85/14.98 c | 43380 | 23798 428153 1448863 | 2147483647 43365 28 | 0.013 % |
14.95/15.03 c | 43540 | 23798 428153 1448863 | 2147483647 43525 28 | 0.013 % |
15.05/15.12 c | 43716 | 23798 428153 1448863 | 2147483647 43701 28 | 0.013 % |
15.15/15.22 c | 43910 | 23798 428153 1448863 | 2147483647 43895 28 | 0.013 % |
15.25/15.34 c | 44122 | 23798 428153 1448863 | 2147483647 44107 28 | 0.013 % |
15.35/15.44 c | 44355 | 23798 428153 1448863 | 2147483647 44340 28 | 0.013 % |
15.45/15.54 c | 44614 | 23798 428153 1448863 | 2147483647 44599 28 | 0.013 % |
15.45/15.59 c | 44896 | 23798 428153 1448863 | 2147483647 44881 28 | 0.013 % |
15.55/15.69 c | 45205 | 23798 428153 1448863 | 2147483647 45190 28 | 0.013 % |
15.75/15.87 c | 45545 | 23798 428153 1448863 | 2147483647 45530 28 | 0.013 % |
15.85/15.95 c | 45917 | 23798 428153 1448863 | 2147483647 45902 28 | 0.013 % |
15.94/16.04 c | 46327 | 23798 428153 1448863 | 2147483647 46312 28 | 0.013 % |
16.04/16.16 c | 46776 | 23798 428153 1448863 | 2147483647 46761 28 | 0.013 % |
16.35/16.45 c | 47270 | 23798 428153 1448863 | 2147483647 47255 28 | 0.013 % |
16.45/16.59 c | 47812 | 23798 428153 1448863 | 2147483647 47797 28 | 0.013 % |
16.84/16.90 c | 48410 | 23798 428153 1448863 | 2147483647 48395 28 | 0.013 % |
17.04/17.10 c | 49066 | 23798 428153 1448863 | 2147483647 49051 28 | 0.013 % |
17.04/17.15 c | 49166 | 23798 428153 1448863 | 2147483647 49151 28 | 0.013 % |
17.14/17.24 c | 49277 | 23798 428153 1448863 | 2147483647 49262 28 | 0.013 % |
17.14/17.26 c | 49399 | 23798 428153 1448863 | 2147483647 49384 28 | 0.013 % |
17.24/17.33 c | 49532 | 23798 428153 1448863 | 2147483647 49517 28 | 0.013 % |
17.24/17.38 c | 49678 | 23798 428153 1448863 | 2147483647 49663 28 | 0.013 % |
17.34/17.42 c | 49839 | 23798 428153 1448863 | 2147483647 49824 28 | 0.013 % |
17.34/17.48 c | 50015 | 23798 428153 1448863 | 2147483647 50000 28 | 0.013 % |
17.44/17.55 c | 50209 | 23798 428153 1448863 | 2147483647 50194 28 | 0.013 % |
17.44/17.59 c | 50422 | 23798 428153 1448863 | 2147483647 50407 28 | 0.013 % |
17.54/17.69 c | 50656 | 23798 428153 1448863 | 2147483647 50641 28 | 0.013 % |
17.64/17.74 c | 50913 | 23798 428153 1448863 | 2147483647 50898 28 | 0.013 % |
17.74/17.89 c | 51194 | 23798 428153 1448863 | 2147483647 51179 28 | 0.013 % |
17.94/18.05 c | 51505 | 23798 428153 1448863 | 2147483647 51490 28 | 0.013 % |
18.14/18.24 c | 51844 | 23798 428153 1448863 | 2147483647 51829 28 | 0.013 % |
18.34/18.43 c | 52216 | 23798 428153 1448863 | 2147483647 52201 28 | 0.013 % |
18.44/18.56 c | 52626 | 23798 428153 1448863 | 2147483647 52611 28 | 0.013 % |
18.64/18.70 c | 53075 | 23798 428153 1448863 | 2147483647 53060 28 | 0.013 % |
18.84/18.90 c | 53568 | 23798 428153 1448863 | 2147483647 53553 29 | 0.013 % |
19.04/19.15 c | 54111 | 23798 428153 1448863 | 2147483647 54096 29 | 0.013 % |
19.34/19.41 c | 54708 | 23798 428153 1448863 | 2147483647 54693 29 | 0.013 % |
19.65/19.77 c | 55363 | 23798 428153 1448863 | 2147483647 55348 29 | 0.013 % |
19.94/20.04 c | 56083 | 23798 428153 1448863 | 2147483647 56068 29 | 0.013 % |
19.94/20.08 c | 56184 | 23798 428153 1448863 | 2147483647 56169 29 | 0.013 % |
20.04/20.16 c | 56294 | 23798 428153 1448863 | 2147483647 56279 29 | 0.013 % |
20.14/20.22 c | 56415 | 23798 428153 1448863 | 2147483647 56400 29 | 0.013 % |
20.14/20.28 c | 56550 | 23798 428153 1448863 | 2147483647 56535 29 | 0.013 % |
20.24/20.30 c | 56698 | 23798 428153 1448863 | 2147483647 56683 29 | 0.013 % |
20.24/20.33 c | 56858 | 23798 428153 1448863 | 2147483647 56843 29 | 0.013 % |
20.34/20.42 c | 57034 | 23798 428153 1448863 | 2147483647 57019 29 | 0.013 % |
20.44/20.57 c | 57228 | 23798 428153 1448863 | 2147483647 57213 29 | 0.013 % |
20.54/20.63 c | 57440 | 23798 428153 1448863 | 2147483647 57425 29 | 0.013 % |
20.64/20.77 c | 57673 | 23798 428153 1448863 | 2147483647 57658 29 | 0.013 % |
20.74/20.86 c | 57933 | 23798 428153 1448863 | 2147483647 57918 29 | 0.013 % |
20.84/20.93 c | 58214 | 23798 428153 1448863 | 2147483647 58199 29 | 0.013 % |
20.94/21.02 c | 58523 | 23798 428153 1448863 | 2147483647 58508 29 | 0.013 % |
21.24/21.31 c | 58862 | 23798 428153 1448863 | 2147483647 58847 29 | 0.013 % |
21.34/21.44 c | 59234 | 23798 428153 1448863 | 2147483647 59219 29 | 0.013 % |
21.44/21.59 c | 59644 | 23798 428153 1448863 | 2147483647 59629 29 | 0.013 % |
21.64/21.78 c | 60095 | 23798 428153 1448863 | 2147483647 60080 29 | 0.013 % |
21.84/21.99 c | 60588 | 23798 428153 1448863 | 2147483647 60573 30 | 0.013 % |
22.43/22.53 c | 61130 | 23798 428153 1448863 | 2147483647 61115 30 | 0.013 % |
22.63/22.74 c | 61726 | 23798 428153 1448863 | 2147483647 61711 30 | 0.013 % |
22.84/22.98 c | 62381 | 23798 428153 1448863 | 2147483647 62366 30 | 0.013 % |
23.14/23.25 c | 63102 | 23798 428153 1448863 | 2147483647 63087 30 | 0.013 % |
23.74/23.86 c | 63895 | 23798 428153 1448863 | 2147483647 63880 31 | 0.013 % |
23.74/23.89 c | 63995 | 23798 428153 1448863 | 2147483647 63980 31 | 0.013 % |
23.84/23.96 c | 64106 | 23798 428153 1448863 | 2147483647 64091 31 | 0.013 % |
23.84/23.98 c | 64229 | 23798 428153 1448863 | 2147483647 64214 31 | 0.013 % |
23.94/24.04 c | 64369 | 23798 428153 1448863 | 2147483647 64354 31 | 0.013 % |
24.04/24.10 c | 64516 | 23798 428153 1448863 | 2147483647 64501 31 | 0.013 % |
24.04/24.18 c | 64679 | 23798 428153 1448863 | 2147483647 64664 31 | 0.013 % |
24.24/24.32 c | 64856 | 23798 428153 1448863 | 2147483647 64841 31 | 0.013 % |
24.34/24.41 c | 65049 | 23798 428153 1448863 | 2147483647 65034 31 | 0.013 % |
24.44/24.51 c | 65261 | 23798 428153 1448863 | 2147483647 65246 31 | 0.013 % |
24.44/24.56 c | 65494 | 23798 428153 1448863 | 2147483647 65479 31 | 0.013 % |
24.64/24.80 c | 65750 | 23798 428153 1448863 | 2147483647 65735 31 | 0.013 % |
24.84/24.95 c | 66031 | 23798 428153 1448863 | 2147483647 66016 31 | 0.013 % |
24.94/25.01 c | 66343 | 23798 428153 1448863 | 2147483647 66328 31 | 0.013 % |
25.04/25.16 c | 66682 | 23798 428153 1448863 | 2147483647 66667 31 | 0.013 % |
25.14/25.22 c | 67054 | 23798 428153 1448863 | 2147483647 67039 31 | 0.013 % |
25.43/25.52 c | 67465 | 23798 428153 1448863 | 2147483647 67450 31 | 0.013 % |
25.63/25.73 c | 67914 | 23798 428153 1448863 | 2147483647 67899 31 | 0.013 % |
25.83/25.98 c | 68409 | 23798 428153 1448863 | 2147483647 68394 31 | 0.013 % |
26.13/26.25 c | 68952 | 23798 428153 1448863 | 2147483647 68937 31 | 0.013 % |
26.43/26.53 c | 69549 | 23798 428153 1448863 | 2147483647 69534 32 | 0.013 % |
26.84/26.91 c | 70204 | 23798 428153 1448863 | 2147483647 70189 32 | 0.013 % |
27.14/27.30 c | 70925 | 23798 428153 1448863 | 2147483647 70910 32 | 0.013 % |
27.53/27.63 c | 71724 | 23798 428153 1448863 | 2147483647 71709 32 | 0.013 % |
27.93/28.02 c | 72595 | 23798 428153 1448863 | 2147483647 72580 32 | 0.013 % |
27.93/28.04 c | 72695 | 23798 428153 1448863 | 2147483647 72680 32 | 0.013 % |
28.03/28.15 c | 72806 | 23798 428153 1448863 | 2147483647 72791 32 | 0.013 % |
28.13/28.20 c | 72929 | 23798 428153 1448863 | 2147483647 72914 32 | 0.013 % |
28.13/28.26 c | 73062 | 23798 428153 1448863 | 2147483647 73047 32 | 0.013 % |
28.23/28.39 c | 73209 | 23798 428153 1448863 | 2147483647 73194 32 | 0.013 % |
28.43/28.52 c | 73369 | 23798 428153 1448863 | 2147483647 73354 32 | 0.013 % |
28.53/28.61 c | 73545 | 23798 428153 1448863 | 2147483647 73530 32 | 0.013 % |
28.53/28.67 c | 73738 | 23798 428153 1448863 | 2147483647 73723 32 | 0.013 % |
28.74/28.83 c | 73950 | 23798 428153 1448863 | 2147483647 73935 32 | 0.013 % |
28.74/28.90 c | 74183 | 23798 428153 1448863 | 2147483647 74168 32 | 0.013 % |
28.84/28.98 c | 74439 | 23798 428153 1448863 | 2147483647 74424 32 | 0.013 % |
28.94/29.08 c | 74720 | 23798 428153 1448863 | 2147483647 74705 32 | 0.013 % |
29.04/29.13 c | 75029 | 23798 428153 1448863 | 2147483647 75014 32 | 0.013 % |
29.04/29.18 c | 75368 | 23798 428153 1448863 | 2147483647 75353 32 | 0.013 % |
29.23/29.39 c | 75741 | 23798 428153 1448863 | 2147483647 75726 32 | 0.013 % |
29.54/29.60 c | 76150 | 23798 428153 1448863 | 2147483647 76135 33 | 0.013 % |
29.64/29.73 c | 76600 | 23798 428153 1448863 | 2147483647 76585 33 | 0.013 % |
30.03/30.16 c | 77094 | 23798 428153 1448863 | 2147483647 77079 33 | 0.013 % |
30.23/30.38 c | 77639 | 23798 428153 1448863 | 2147483647 77624 33 | 0.013 % |
30.43/30.55 c | 78236 | 23798 428153 1448863 | 2147483647 78221 33 | 0.013 % |
30.93/31.08 c | 78891 | 23798 428153 1448863 | 2147483647 78876 33 | 0.013 % |
31.23/31.35 c | 79611 | 23798 428153 1448863 | 2147483647 79596 33 | 0.013 % |
31.53/31.62 c | 80408 | 23798 428153 1448863 | 2147483647 80393 33 | 0.013 % |
32.13/32.22 c | 81282 | 23798 428153 1448863 | 2147483647 81267 33 | 0.013 % |
32.33/32.44 c | 82240 | 23798 428153 1448863 | 2147483647 82225 33 | 0.013 % |
32.33/32.46 c | 82340 | 23798 428153 1448863 | 2147483647 82325 33 | 0.013 % |
32.33/32.49 c | 82450 | 23798 428153 1448863 | 2147483647 82435 33 | 0.013 % |
32.43/32.58 c | 82571 | 23798 428153 1448863 | 2147483647 82556 33 | 0.013 % |
32.52/32.66 c | 82704 | 23798 428153 1448863 | 2147483647 82689 33 | 0.013 % |
32.62/32.78 c | 82850 | 23798 428153 1448863 | 2147483647 82835 33 | 0.013 % |
32.72/32.81 c | 83014 | 23798 428153 1448863 | 2147483647 82999 33 | 0.013 % |
32.83/32.90 c | 83193 | 23798 428153 1448863 | 2147483647 83178 33 | 0.013 % |
32.83/32.98 c | 83386 | 23798 428153 1448863 | 2147483647 83371 33 | 0.013 % |
33.02/33.12 c | 83599 | 23798 428153 1448863 | 2147483647 83584 33 | 0.013 % |
33.12/33.24 c | 83833 | 23798 428153 1448863 | 2147483647 83818 33 | 0.013 % |
33.32/33.41 c | 84090 | 23798 428153 1448863 | 2147483647 84075 33 | 0.013 % |
33.43/33.56 c | 84372 | 23798 428153 1448863 | 2147483647 84357 33 | 0.013 % |
33.53/33.69 c | 84682 | 23798 428153 1448863 | 2147483647 84667 33 | 0.013 % |
33.83/33.93 c | 85023 | 23798 428153 1448863 | 2147483647 85008 34 | 0.013 % |
34.13/34.26 c | 85395 | 23798 428153 1448863 | 2147483647 85380 34 | 0.013 % |
34.33/34.41 c | 85804 | 23798 428153 1448863 | 2147483647 85789 34 | 0.013 % |
34.53/34.63 c | 86255 | 23798 428153 1448863 | 2147483647 86240 34 | 0.013 % |
34.83/34.96 c | 86749 | 23798 428153 1448863 | 2147483647 86734 34 | 0.013 % |
35.43/35.56 c | 87291 | 23798 428153 1448863 | 2147483647 87276 34 | 0.013 % |
35.63/35.73 c | 87887 | 23798 428153 1448863 | 2147483647 87872 34 | 0.013 % |
35.73/35.86 c | 88545 | 23798 428153 1448863 | 2147483647 88530 34 | 0.013 % |
36.32/36.45 c | 89265 | 23798 428153 1448863 | 2147483647 89250 34 | 0.013 % |
36.72/36.82 c | 90058 | 23798 428153 1448863 | 2147483647 90043 34 | 0.013 % |
37.22/37.30 c | 90929 | 23798 428153 1448863 | 2147483647 90914 34 | 0.013 % |
37.92/38.06 c | 91887 | 23798 428153 1448863 | 2147483647 91872 35 | 0.013 % |
38.42/38.52 c | 92940 | 23798 428153 1448863 | 2147483647 92925 35 | 0.013 % |
38.52/38.60 c | 93040 | 23798 428153 1448863 | 2147483647 93025 35 | 0.013 % |
38.52/38.66 c | 93150 | 23798 428153 1448863 | 2147483647 93135 35 | 0.013 % |
38.61/38.78 c | 93272 | 23798 428153 1448863 | 2147483647 93257 35 | 0.013 % |
38.81/38.91 c | 93406 | 23798 428153 1448863 | 2147483647 93391 35 | 0.013 % |
38.81/38.97 c | 93552 | 23798 428153 1448863 | 2147483647 93537 35 | 0.013 % |
38.91/39.04 c | 93715 | 23798 428153 1448863 | 2147483647 93700 35 | 0.013 % |
38.91/39.09 c | 93892 | 23798 428153 1448863 | 2147483647 93877 35 | 0.013 % |
39.11/39.22 c | 94086 | 23798 428153 1448863 | 2147483647 94071 35 | 0.013 % |
39.31/39.42 c | 94298 | 23798 428153 1448863 | 2147483647 94283 35 | 0.013 % |
39.42/39.60 c | 94532 | 23798 428153 1448863 | 2147483647 94517 35 | 0.013 % |
39.61/39.71 c | 94788 | 23798 428153 1448863 | 2147483647 94773 35 | 0.013 % |
39.71/39.82 c | 95073 | 23798 428153 1448863 | 2147483647 95058 35 | 0.013 % |
40.01/40.12 c | 95384 | 23798 428153 1448863 | 2147483647 95369 35 | 0.013 % |
40.11/40.29 c | 95724 | 23798 428153 1448863 | 2147483647 95709 35 | 0.013 % |
40.31/40.42 c | 96096 | 23798 428153 1448863 | 2147483647 96081 35 | 0.013 % |
40.61/40.71 c | 96506 | 23798 428153 1448863 | 2147483647 96491 35 | 0.013 % |
41.01/41.15 c | 96955 | 23798 428153 1448863 | 2147483647 96940 35 | 0.013 % |
41.31/41.47 c | 97450 | 23798 428153 1448863 | 2147483647 97435 35 | 0.013 % |
41.51/41.64 c | 97994 | 23798 428153 1448863 | 2147483647 97979 35 | 0.013 % |
41.91/42.04 c | 98591 | 23798 428153 1448863 | 2147483647 98576 36 | 0.013 % |
42.21/42.39 c | 99250 | 23798 428153 1448863 | 2147483647 99235 36 | 0.013 % |
42.60/42.74 c | 99971 | 23798 428153 1448863 | 2147483647 99956 36 | 0.013 % |
43.11/43.22 c | 100764 | 23798 428153 1448863 | 2147483647 100749 36 | 0.013 % |
43.51/43.65 c | 101635 | 23798 428153 1448863 | 2147483647 101620 36 | 0.013 % |
43.92/44.04 c | 102594 | 23798 428153 1448863 | 2147483647 102579 36 | 0.013 % |
44.31/44.47 c | 103648 | 23798 428153 1448863 | 2147483647 103633 36 | 0.013 % |
45.61/45.77 c | 104806 | 23798 428153 1448863 | 2147483647 104791 36 | 0.013 % |
45.71/45.85 c | 104906 | 23798 428153 1448863 | 2147483647 104891 36 | 0.013 % |
45.81/45.94 c | 105017 | 23798 428153 1448863 | 2147483647 105002 36 | 0.013 % |
45.91/46.01 c | 105140 | 23798 428153 1448863 | 2147483647 105125 36 | 0.013 % |
45.91/46.10 c | 105274 | 23798 428153 1448863 | 2147483647 105259 36 | 0.013 % |
46.01/46.19 c | 105420 | 23798 428153 1448863 | 2147483647 105405 36 | 0.013 % |
46.11/46.25 c | 105585 | 23798 428153 1448863 | 2147483647 105570 36 | 0.013 % |
46.41/46.50 c | 105762 | 23798 428153 1448863 | 2147483647 105747 36 | 0.013 % |
46.51/46.63 c | 105955 | 23798 428153 1448863 | 2147483647 105940 36 | 0.013 % |
46.61/46.75 c | 106168 | 23798 428153 1448863 | 2147483647 106153 36 | 0.013 % |
46.81/46.94 c | 106401 | 23798 428153 1448863 | 2147483647 106386 36 | 0.013 % |
46.91/47.09 c | 106657 | 23798 428153 1448863 | 2147483647 106642 36 | 0.013 % |
47.11/47.24 c | 106939 | 23798 428153 1448863 | 2147483647 106924 36 | 0.013 % |
47.21/47.36 c | 107248 | 23798 428153 1448863 | 2147483647 107233 36 | 0.013 % |
47.51/47.61 c | 107587 | 23798 428153 1448863 | 2147483647 107572 36 | 0.013 % |
47.91/48.06 c | 107959 | 23798 428153 1448863 | 2147483647 107944 37 | 0.013 % |
48.11/48.25 c | 108368 | 23798 428153 1448863 | 2147483647 108353 36 | 0.013 % |
48.21/48.34 c | 108817 | 23798 428153 1448863 | 2147483647 108802 36 | 0.013 % |
48.51/48.61 c | 109310 | 23798 428153 1448863 | 2147483647 109295 37 | 0.013 % |
48.70/48.85 c | 109852 | 23798 428153 1448863 | 2147483647 109837 37 | 0.013 % |
49.10/49.24 c | 110450 | 23798 428153 1448863 | 2147483647 110435 37 | 0.013 % |
49.60/49.73 c | 111105 | 23798 428153 1448863 | 2147483647 111090 37 | 0.013 % |
49.80/49.97 c | 111828 | 23798 428153 1448863 | 2147483647 111813 37 | 0.013 % |
50.41/50.55 c | 112620 | 23798 428153 1448863 | 2147483647 112605 37 | 0.013 % |
50.81/50.90 c | 113491 | 23798 428153 1448863 | 2147483647 113476 37 | 0.013 % |
50.91/51.06 c | 114449 | 23798 428153 1448863 | 2147483647 114434 37 | 0.013 % |
51.51/51.61 c | 115502 | 23798 428153 1448863 | 2147483647 115487 37 | 0.013 % |
52.71/52.83 c | 116661 | 23798 428153 1448863 | 2147483647 116646 37 | 0.013 % |
53.01/53.18 c | 117938 | 23798 428153 1448863 | 2147483647 117923 37 | 0.013 % |
53.11/53.25 c | 118038 | 23798 428153 1448863 | 2147483647 118023 37 | 0.013 % |
53.21/53.31 c | 118148 | 23798 428153 1448863 | 2147483647 118133 37 | 0.013 % |
53.21/53.37 c | 118271 | 23798 428153 1448863 | 2147483647 118256 37 | 0.013 % |
53.21/53.39 c | 118406 | 23798 428153 1448863 | 2147483647 118391 37 | 0.013 % |
53.30/53.43 c | 118552 | 23798 428153 1448863 | 2147483647 118537 37 | 0.013 % |
53.30/53.46 c | 118713 | 23798 428153 1448863 | 2147483647 118698 37 | 0.013 % |
53.30/53.49 c | 118891 | 23798 428153 1448863 | 2147483647 118876 37 | 0.013 % |
53.71/53.82 c | 119087 | 23798 428153 1448863 | 2147483647 119072 37 | 0.013 % |
53.71/53.86 c | 119299 | 23798 428153 1448863 | 2147483647 119284 37 | 0.013 % |
53.81/53.97 c | 119533 | 23798 428153 1448863 | 2147483647 119518 37 | 0.013 % |
54.10/54.23 c | 119789 | 23798 428153 1448863 | 2147483647 119774 37 | 0.013 % |
54.30/54.44 c | 120070 | 23798 428153 1448863 | 2147483647 120055 37 | 0.013 % |
54.50/54.66 c | 120379 | 23798 428153 1448863 | 2147483647 120364 37 | 0.013 % |
54.60/54.75 c | 120720 | 23798 428153 1448863 | 2147483647 120705 37 | 0.013 % |
55.00/55.12 c | 121094 | 23798 428153 1448863 | 2147483647 121079 37 | 0.013 % |
55.50/55.60 c | 121503 | 23798 428153 1448863 | 2147483647 121488 38 | 0.013 % |
55.80/55.92 c | 121952 | 23798 428153 1448863 | 2147483647 121937 38 | 0.013 % |
56.10/56.27 c | 122445 | 23798 428153 1448863 | 2147483647 122430 38 | 0.013 % |
56.20/56.30 c | 122988 | 23798 428153 1448863 | 2147483647 122973 38 | 0.013 % |
56.50/56.64 c | 123584 | 23798 428153 1448863 | 2147483647 123569 38 | 0.013 % |
56.80/56.95 c | 124239 | 23798 428153 1448863 | 2147483647 124224 38 | 0.013 % |
57.40/57.51 c | 124959 | 23798 428153 1448863 | 2147483647 124944 38 | 0.013 % |
58.10/58.24 c | 125752 | 23798 428153 1448863 | 2147483647 125737 38 | 0.013 % |
58.40/58.56 c | 126625 | 23798 428153 1448863 | 2147483647 126610 38 | 0.013 % |
58.91/59.07 c | 127583 | 23798 428153 1448863 | 2147483647 127568 38 | 0.013 % |
59.40/59.58 c | 128636 | 23798 428153 1448863 | 2147483647 128621 38 | 0.013 % |
60.10/60.23 c | 129794 | 23798 428153 1448863 | 2147483647 129779 38 | 0.013 % |
60.60/60.73 c | 131068 | 23798 428153 1448863 | 2147483647 131053 38 | 0.013 % |
62.30/62.48 c | 132473 | 23798 428153 1448863 | 2147483647 132458 39 | 0.013 % |
62.40/62.58 c | 132573 | 23798 428153 1448863 | 2147483647 132558 39 | 0.013 % |
62.51/62.62 c | 132683 | 23798 428153 1448863 | 2147483647 132668 39 | 0.013 % |
62.60/62.75 c | 132805 | 23798 428153 1448863 | 2147483647 132790 39 | 0.013 % |
62.70/62.80 c | 132939 | 23798 428153 1448863 | 2147483647 132924 39 | 0.013 % |
62.80/62.97 c | 133086 | 23798 428153 1448863 | 2147483647 133071 39 | 0.013 % |
62.90/63.08 c | 133247 | 23798 428153 1448863 | 2147483647 133232 39 | 0.013 % |
63.00/63.12 c | 133423 | 23798 428153 1448863 | 2147483647 133408 39 | 0.013 % |
63.10/63.27 c | 133616 | 23798 428153 1448863 | 2147483647 133601 39 | 0.013 % |
63.30/63.42 c | 133828 | 23798 428153 1448863 | 2147483647 133813 39 | 0.013 % |
63.40/63.57 c | 134062 | 23798 428153 1448863 | 2147483647 134047 39 | 0.013 % |
63.60/63.78 c | 134322 | 23798 428153 1448863 | 2147483647 134307 39 | 0.013 % |
63.90/64.05 c | 134604 | 23798 428153 1448863 | 2147483647 134589 39 | 0.013 % |
64.10/64.21 c | 134913 | 23798 428153 1448863 | 2147483647 134898 39 | 0.013 % |
64.40/64.57 c | 135253 | 23798 428153 1448863 | 2147483647 135238 39 | 0.013 % |
64.60/64.74 c | 135625 | 23798 428153 1448863 | 2147483647 135610 39 | 0.013 % |
64.90/65.03 c | 136034 | 23798 428153 1448863 | 2147483647 136019 39 | 0.013 % |
65.50/65.60 c | 136483 | 23798 428153 1448863 | 2147483647 136468 39 | 0.013 % |
65.70/65.80 c | 136977 | 23798 428153 1448863 | 2147483647 136962 39 | 0.013 % |
65.90/66.04 c | 137520 | 23798 428153 1448863 | 2147483647 137505 39 | 0.013 % |
66.40/66.59 c | 138116 | 23798 428153 1448863 | 2147483647 138101 39 | 0.013 % |
67.10/67.22 c | 138772 | 23798 428153 1448863 | 2147483647 138757 39 | 0.013 % |
67.69/67.85 c | 139494 | 23798 428153 1448863 | 2147483647 139479 39 | 0.013 % |
68.29/68.49 c | 140288 | 23798 428153 1448863 | 2147483647 140273 40 | 0.013 % |
69.19/69.34 c | 141159 | 23798 428153 1448863 | 2147483647 141144 40 | 0.013 % |
69.79/69.91 c | 142118 | 23798 428153 1448863 | 2147483647 142103 40 | 0.013 % |
70.30/70.41 c | 143171 | 23798 428153 1448863 | 2147483647 143156 40 | 0.013 % |
71.09/71.20 c | 144331 | 23798 428153 1448863 | 2147483647 144316 40 | 0.013 % |
71.99/72.12 c | 145604 | 23798 428153 1448863 | 2147483647 145589 40 | 0.013 % |
73.78/73.91 c | 147005 | 23798 428153 1448863 | 2147483647 146990 40 | 0.013 % |
74.38/74.52 c | 148545 | 23798 428153 1448863 | 2147483647 148530 40 | 0.013 % |
74.38/74.56 c | 148646 | 23798 428153 1448863 | 2147483647 148631 40 | 0.013 % |
74.49/74.61 c | 148756 | 23798 428153 1448863 | 2147483647 148741 40 | 0.013 % |
74.59/74.76 c | 148878 | 23798 428153 1448863 | 2147483647 148863 40 | 0.013 % |
74.69/74.86 c | 149012 | 23798 428153 1448863 | 2147483647 148997 40 | 0.013 % |
74.89/75.07 c | 149159 | 23798 428153 1448863 | 2147483647 149144 40 | 0.013 % |
75.09/75.20 c | 149320 | 23798 428153 1448863 | 2147483647 149305 40 | 0.013 % |
75.19/75.33 c | 149499 | 23798 428153 1448863 | 2147483647 149484 40 | 0.013 % |
75.39/75.52 c | 149694 | 23798 428153 1448863 | 2147483647 149679 40 | 0.013 % |
75.59/75.70 c | 149907 | 23798 428153 1448863 | 2147483647 149892 40 | 0.013 % |
75.69/75.88 c | 150141 | 23798 428153 1448863 | 2147483647 150126 40 | 0.013 % |
75.89/76.07 c | 150397 | 23798 428153 1448863 | 2147483647 150382 40 | 0.013 % |
76.09/76.22 c | 150678 | 23798 428153 1448863 | 2147483647 150663 40 | 0.013 % |
76.09/76.29 c | 150987 | 23798 428153 1448863 | 2147483647 150972 40 | 0.013 % |
76.29/76.46 c | 151326 | 23798 428153 1448863 | 2147483647 151311 40 | 0.013 % |
76.69/76.88 c | 151699 | 23798 428153 1448863 | 2147483647 151684 40 | 0.013 % |
76.99/77.16 c | 152109 | 23798 428153 1448863 | 2147483647 152094 40 | 0.013 % |
77.49/77.61 c | 152559 | 23798 428153 1448863 | 2147483647 152544 40 | 0.013 % |
77.99/78.15 c | 153053 | 23798 428153 1448863 | 2147483647 153038 40 | 0.013 % |
78.59/78.73 c | 153595 | 23798 428153 1448863 | 2147483647 153580 41 | 0.013 % |
78.89/79.09 c | 154192 | 23798 428153 1448863 | 2147483647 154177 41 | 0.013 % |
79.48/79.63 c | 154849 | 23798 428153 1448863 | 2147483647 154834 41 | 0.013 % |
79.98/80.17 c | 155569 | 23798 428153 1448863 | 2147483647 155554 41 | 0.013 % |
80.88/81.02 c | 156361 | 23798 428153 1448863 | 2147483647 156346 41 | 0.013 % |
81.48/81.63 c | 157236 | 23798 428153 1448863 | 2147483647 157221 41 | 0.013 % |
81.98/82.10 c | 158194 | 23798 428153 1448863 | 2147483647 158179 41 | 0.013 % |
82.79/82.91 c | 159247 | 23798 428153 1448863 | 2147483647 159232 41 | 0.013 % |
83.39/83.55 c | 160407 | 23798 428153 1448863 | 2147483647 160392 41 | 0.013 % |
83.88/84.07 c | 161681 | 23798 428153 1448863 | 2147483647 161666 41 | 0.013 % |
85.38/85.53 c | 163081 | 23798 428153 1448863 | 2147483647 163066 41 | 0.013 % |
86.78/86.90 c | 164621 | 23798 428153 1448863 | 2147483647 164606 41 | 0.013 % |
88.68/88.87 c | 166315 | 23798 428153 1448863 | 2147483647 166300 42 | 0.013 % |
88.78/88.99 c | 166416 | 23798 428153 1448863 | 2147483647 166401 42 | 0.013 % |
88.88/89.02 c | 166528 | 23798 428153 1448863 | 2147483647 166513 42 | 0.013 % |
88.88/89.09 c | 166650 | 23798 428153 1448863 | 2147483647 166635 42 | 0.013 % |
89.08/89.25 c | 166783 | 23798 428153 1448863 | 2147483647 166768 42 | 0.013 % |
89.28/89.42 c | 166929 | 23798 428153 1448863 | 2147483647 166914 42 | 0.013 % |
89.38/89.52 c | 167089 | 23798 428153 1448863 | 2147483647 167074 42 | 0.013 % |
89.57/89.72 c | 167267 | 23798 428153 1448863 | 2147483647 167252 42 | 0.013 % |
89.57/89.77 c | 167463 | 23798 428153 1448863 | 2147483647 167448 42 | 0.013 % |
89.78/89.97 c | 167676 | 23798 428153 1448863 | 2147483647 167661 42 | 0.013 % |
90.09/90.25 c | 167910 | 23798 428153 1448863 | 2147483647 167895 42 | 0.013 % |
90.28/90.47 c | 168166 | 23798 428153 1448863 | 2147483647 168151 42 | 0.013 % |
90.48/90.68 c | 168448 | 23798 428153 1448863 | 2147483647 168433 42 | 0.013 % |
90.58/90.76 c | 168758 | 23798 428153 1448863 | 2147483647 168743 42 | 0.013 % |
91.09/91.29 c | 169097 | 23798 428153 1448863 | 2147483647 169082 42 | 0.013 % |
91.48/91.66 c | 169469 | 23798 428153 1448863 | 2147483647 169454 42 | 0.013 % |
91.78/91.95 c | 169878 | 23798 428153 1448863 | 2147483647 169863 42 | 0.013 % |
91.98/92.16 c | 170327 | 23798 428153 1448863 | 2147483647 170312 42 | 0.013 % |
92.18/92.40 c | 170820 | 23798 428153 1448863 | 2147483647 170805 42 | 0.013 % |
92.78/92.93 c | 171362 | 23798 428153 1448863 | 2147483647 171347 42 | 0.013 % |
93.18/93.37 c | 171959 | 23798 428153 1448863 | 2147483647 171944 42 | 0.013 % |
94.28/94.48 c | 172614 | 23798 428153 1448863 | 2147483647 172599 42 | 0.013 % |
94.87/95.01 c | 173334 | 23798 428153 1448863 | 2147483647 173319 42 | 0.013 % |
95.37/95.52 c | 174127 | 23798 428153 1448863 | 2147483647 174112 42 | 0.013 % |
95.87/96.00 c | 174998 | 23798 428153 1448863 | 2147483647 174983 42 | 0.013 % |
96.87/97.08 c | 175956 | 23798 428153 1448863 | 2147483647 175941 43 | 0.013 % |
97.47/97.67 c | 177009 | 23798 428153 1448863 | 2147483647 176994 43 | 0.013 % |
98.47/98.61 c | 178168 | 23798 428153 1448863 | 2147483647 178153 43 | 0.013 % |
99.58/99.77 c | 179441 | 23798 428153 1448863 | 2147483647 179426 43 | 0.013 % |
100.98/101.18 c | 180841 | 23798 428153 1448863 | 2147483647 180826 43 | 0.013 % |
102.07/102.23 c | 182383 | 23798 428153 1448863 | 2147483647 182368 43 | 0.013 % |
102.87/103.02 c | 184077 | 23798 428153 1448863 | 2147483647 184062 43 | 0.013 % |
104.57/104.73 c | 185940 | 23798 428153 1448863 | 2147483647 185925 43 | 0.013 % |
104.67/104.84 c | 186043 | 23798 428153 1448863 | 2147483647 186028 43 | 0.013 % |
104.77/104.93 c | 186155 | 23798 428153 1448863 | 2147483647 186140 43 | 0.013 % |
104.87/105.08 c | 186276 | 23798 428153 1448863 | 2147483647 186261 43 | 0.013 % |
104.97/105.19 c | 186410 | 23798 428153 1448863 | 2147483647 186395 43 | 0.013 % |
105.17/105.32 c | 186560 | 23798 428153 1448863 | 2147483647 186545 43 | 0.013 % |
105.47/105.63 c | 186720 | 23798 428153 1448863 | 2147483647 186705 43 | 0.013 % |
105.67/105.82 c | 186898 | 23798 428153 1448863 | 2147483647 186883 43 | 0.013 % |
105.77/105.99 c | 187091 | 23798 428153 1448863 | 2147483647 187076 43 | 0.013 % |
105.97/106.13 c | 187304 | 23798 428153 1448863 | 2147483647 187289 43 | 0.013 % |
106.17/106.40 c | 187537 | 23798 428153 1448863 | 2147483647 187522 43 | 0.013 % |
106.47/106.62 c | 187793 | 23798 428153 1448863 | 2147483647 187778 43 | 0.013 % |
106.67/106.84 c | 188074 | 23798 428153 1448863 | 2147483647 188059 43 | 0.013 % |
106.97/107.10 c | 188383 | 23798 428153 1448863 | 2147483647 188368 43 | 0.013 % |
107.16/107.39 c | 188723 | 23798 428153 1448863 | 2147483647 188708 43 | 0.013 % |
107.57/107.73 c | 189095 | 23798 428153 1448863 | 2147483647 189080 43 | 0.013 % |
107.86/108.04 c | 189505 | 23798 428153 1448863 | 2147483647 189490 43 | 0.013 % |
108.26/108.45 c | 189954 | 23798 428153 1448863 | 2147483647 189939 43 | 0.013 % |
108.46/108.63 c | 190447 | 23798 428153 1448863 | 2147483647 190432 43 | 0.013 % |
108.67/108.87 c | 190991 | 23798 428153 1448863 | 2147483647 190976 43 | 0.013 % |
109.56/109.73 c | 191587 | 23798 428153 1448863 | 2147483647 191572 44 | 0.013 % |
110.16/110.31 c | 192243 | 23798 428153 1448863 | 2147483647 192228 44 | 0.013 % |
111.07/111.22 c | 192964 | 23798 428153 1448863 | 2147483647 192949 44 | 0.013 % |
111.67/111.81 c | 193757 | 23798 428153 1448863 | 2147483647 193742 44 | 0.013 % |
112.97/113.15 c | 194629 | 23798 428153 1448863 | 2147483647 194614 44 | 0.013 % |
113.87/114.08 c | 195587 | 23798 428153 1448863 | 2147483647 195572 44 | 0.013 % |
115.07/115.29 c | 196641 | 23798 428153 1448863 | 2147483647 196626 44 | 0.013 % |
116.17/116.32 c | 197801 | 23798 428153 1448863 | 2147483647 197786 44 | 0.013 % |
116.57/116.76 c | 199074 | 23798 428153 1448863 | 2147483647 199059 43 | 0.013 % |
118.27/118.46 c | 200475 | 23798 428153 1448863 | 2147483647 200460 44 | 0.013 % |
119.27/119.45 c | 202016 | 23798 428153 1448863 | 2147483647 202001 44 | 0.013 % |
121.87/122.03 c | 203710 | 23798 428153 1448863 | 2147483647 203695 44 | 0.013 % |
123.76/123.90 c | 205574 | 23798 428153 1448863 | 2147483647 205559 44 | 0.013 % |
124.67/124.81 c | 207624 | 23798 428153 1448863 | 2147483647 207609 44 | 0.013 % |
124.67/124.85 c | 207727 | 23798 428153 1448863 | 2147483647 207712 44 | 0.013 % |
124.77/124.99 c | 207837 | 23798 428153 1448863 | 2147483647 207822 44 | 0.013 % |
124.97/125.11 c | 207958 | 23798 428153 1448863 | 2147483647 207943 44 | 0.013 % |
125.07/125.24 c | 208093 | 23798 428153 1448863 | 2147483647 208078 44 | 0.013 % |
125.27/125.46 c | 208239 | 23798 428153 1448863 | 2147483647 208224 44 | 0.013 % |
125.47/125.69 c | 208401 | 23798 428153 1448863 | 2147483647 208386 44 | 0.013 % |
125.77/125.94 c | 208577 | 23798 428153 1448863 | 2147483647 208562 44 | 0.013 % |
126.06/126.25 c | 208770 | 23798 428153 1448863 | 2147483647 208755 44 | 0.013 % |
126.27/126.47 c | 208982 | 23798 428153 1448863 | 2147483647 208967 44 | 0.013 % |
126.46/126.68 c | 209215 | 23798 428153 1448863 | 2147483647 209200 44 | 0.013 % |
126.76/126.96 c | 209471 | 23798 428153 1448863 | 2147483647 209456 44 | 0.013 % |
127.16/127.33 c | 209752 | 23798 428153 1448863 | 2147483647 209737 44 | 0.013 % |
127.37/127.56 c | 210061 | 23798 428153 1448863 | 2147483647 210046 44 | 0.013 % |
127.76/127.90 c | 210401 | 23798 428153 1448863 | 2147483647 210386 44 | 0.013 % |
128.16/128.39 c | 210775 | 23798 428153 1448863 | 2147483647 210760 44 | 0.013 % |
128.46/128.63 c | 211184 | 23798 428153 1448863 | 2147483647 211169 44 | 0.013 % |
128.86/129.04 c | 211635 | 23798 428153 1448863 | 2147483647 211620 44 | 0.013 % |
129.36/129.51 c | 212130 | 23798 428153 1448863 | 2147483647 212115 44 | 0.013 % |
130.16/130.40 c | 212673 | 23798 428153 1448863 | 2147483647 212658 45 | 0.013 % |
130.76/130.96 c | 213271 | 23798 428153 1448863 | 2147483647 213256 45 | 0.013 % |
131.56/131.78 c | 213928 | 23798 428153 1448863 | 2147483647 213913 45 | 0.013 % |
132.16/132.39 c | 214648 | 23798 428153 1448863 | 2147483647 214633 45 | 0.013 % |
133.26/133.49 c | 215440 | 23798 428153 1448863 | 2147483647 215425 45 | 0.013 % |
134.15/134.35 c | 216313 | 23798 428153 1448863 | 2147483647 216298 45 | 0.013 % |
134.65/134.84 c | 217271 | 23798 428153 1448863 | 2147483647 217256 45 | 0.013 % |
135.45/135.68 c | 218327 | 23798 428153 1448863 | 2147483647 218312 45 | 0.013 % |
136.55/136.75 c | 219487 | 23798 428153 1448863 | 2147483647 219472 45 | 0.013 % |
137.26/137.48 c | 220760 | 23798 428153 1448863 | 2147483647 220745 45 | 0.013 % |
139.46/139.65 c | 222161 | 23798 428153 1448863 | 2147483647 222146 46 | 0.013 % |
140.95/141.11 c | 223701 | 23798 428153 1448863 | 2147483647 223686 46 | 0.013 % |
141.35/141.58 c | 225398 | 23798 428153 1448863 | 2147483647 225383 46 | 0.013 % |
141.85/142.07 c | 227261 | 23798 428153 1448863 | 2147483647 227246 45 | 0.013 % |
145.45/145.62 c | 229310 | 23798 428153 1448863 | 2147483647 229295 46 | 0.013 % |
148.26/148.43 c | 231567 | 23798 428153 1448863 | 2147483647 231552 47 | 0.013 % |
148.55/148.70 c | 231668 | 23798 428153 1448863 | 2147483647 231653 47 | 0.013 % |
148.65/148.90 c | 231780 | 23798 428153 1448863 | 2147483647 231765 47 | 0.013 % |
148.75/148.99 c | 231901 | 23798 428153 1448863 | 2147483647 231886 47 | 0.013 % |
148.85/149.07 c | 232036 | 23798 428153 1448863 | 2147483647 232021 47 | 0.013 % |
149.05/149.23 c | 232182 | 23798 428153 1448863 | 2147483647 232167 47 | 0.013 % |
149.15/149.32 c | 232342 | 23798 428153 1448863 | 2147483647 232327 47 | 0.013 % |
149.15/149.35 c | 232519 | 23798 428153 1448863 | 2147483647 232504 46 | 0.013 % |
149.36/149.55 c | 232712 | 23798 428153 1448863 | 2147483647 232697 46 | 0.013 % |
149.46/149.70 c | 232925 | 23798 428153 1448863 | 2147483647 232910 46 | 0.013 % |
149.95/150.12 c | 233159 | 23798 428153 1448863 | 2147483647 233144 47 | 0.013 % |
150.15/150.33 c | 233415 | 23798 428153 1448863 | 2147483647 233400 46 | 0.013 % |
150.46/150.64 c | 233697 | 23798 428153 1448863 | 2147483647 233682 46 | 0.013 % |
150.75/150.99 c | 234006 | 23798 428153 1448863 | 2147483647 233991 47 | 0.013 % |
151.15/151.38 c | 234345 | 23798 428153 1448863 | 2147483647 234330 47 | 0.013 % |
151.56/151.71 c | 234717 | 23798 428153 1448863 | 2147483647 234702 47 | 0.013 % |
151.95/152.17 c | 235126 | 23798 428153 1448863 | 2147483647 235111 47 | 0.013 % |
152.76/152.95 c | 235575 | 23798 428153 1448863 | 2147483647 235560 47 | 0.013 % |
153.35/153.54 c | 236069 | 23798 428153 1448863 | 2147483647 236054 47 | 0.013 % |
153.95/154.10 c | 236613 | 23798 428153 1448863 | 2147483647 236598 47 | 0.013 % |
154.75/154.92 c | 237211 | 23798 428153 1448863 | 2147483647 237196 47 | 0.013 % |
155.35/155.54 c | 237866 | 23798 428153 1448863 | 2147483647 237851 47 | 0.013 % |
155.95/156.11 c | 238589 | 23798 428153 1448863 | 2147483647 238574 47 | 0.013 % |
157.54/157.75 c | 239381 | 23798 428153 1448863 | 2147483647 239366 47 | 0.013 % |
158.34/158.54 c | 240257 | 23798 428153 1448863 | 2147483647 240242 47 | 0.013 % |
159.65/159.84 c | 241215 | 23798 428153 1448863 | 2147483647 241200 47 | 0.013 % |
160.95/161.12 c | 242269 | 23798 428153 1448863 | 2147483647 242254 47 | 0.013 % |
162.45/162.60 c | 243428 | 23798 428153 1448863 | 2147483647 243413 47 | 0.013 % |
163.75/163.97 c | 244701 | 23798 428153 1448863 | 2147483647 244686 47 | 0.013 % |
164.75/164.94 c | 246101 | 23798 428153 1448863 | 2147483647 246086 47 | 0.013 % |
165.95/166.19 c | 247642 | 23798 428153 1448863 | 2147483647 247627 47 | 0.013 % |
167.24/167.45 c | 249336 | 23798 428153 1448863 | 2147483647 249321 47 | 0.013 % |
169.44/169.68 c | 251199 | 23798 428153 1448863 | 2147483647 251184 48 | 0.013 % |
170.64/170.88 c | 253249 | 23798 428153 1448863 | 2147483647 253234 48 | 0.013 % |
172.44/172.66 c | 255502 | 23798 428153 1448863 | 2147483647 255487 48 | 0.013 % |
175.94/176.16 c | 257980 | 23798 428153 1448863 | 2147483647 257965 48 | 0.013 % |
176.04/176.28 c | 258080 | 23798 428153 1448863 | 2147483647 258065 48 | 0.013 % |
176.14/176.34 c | 258190 | 23798 428153 1448863 | 2147483647 258175 48 | 0.013 % |
176.44/176.60 c | 258312 | 23798 428153 1448863 | 2147483647 258297 48 | 0.013 % |
176.54/176.78 c | 258445 | 23798 428153 1448863 | 2147483647 258430 48 | 0.013 % |
176.74/176.95 c | 258591 | 23798 428153 1448863 | 2147483647 258576 48 | 0.013 % |
176.85/177.02 c | 258751 | 23798 428153 1448863 | 2147483647 258736 48 | 0.013 % |
176.85/177.04 c | 258928 | 23798 428153 1448863 | 2147483647 258913 48 | 0.013 % |
176.85/177.09 c | 259123 | 23798 428153 1448863 | 2147483647 259108 48 | 0.013 % |
177.24/177.41 c | 259336 | 23798 428153 1448863 | 2147483647 259321 48 | 0.013 % |
177.44/177.62 c | 259569 | 23798 428153 1448863 | 2147483647 259554 48 | 0.013 % |
177.74/177.96 c | 259826 | 23798 428153 1448863 | 2147483647 259811 48 | 0.013 % |
178.05/178.24 c | 260110 | 23798 428153 1448863 | 2147483647 260095 48 | 0.013 % |
178.44/178.61 c | 260419 | 23798 428153 1448863 | 2147483647 260404 48 | 0.013 % |
178.74/178.94 c | 260759 | 23798 428153 1448863 | 2147483647 260744 48 | 0.013 % |
179.04/179.26 c | 261134 | 23798 428153 1448863 | 2147483647 261119 48 | 0.013 % |
179.94/180.11 c | 261544 | 23798 428153 1448863 | 2147483647 261529 48 | 0.013 % |
180.44/180.62 c | 261994 | 23798 428153 1448863 | 2147483647 261979 48 | 0.013 % |
180.94/181.14 c | 262488 | 23798 428153 1448863 | 2147483647 262473 48 | 0.013 % |
181.94/182.12 c | 263030 | 23798 428153 1448863 | 2147483647 263015 48 | 0.013 % |
182.54/182.76 c | 263627 | 23798 428153 1448863 | 2147483647 263612 48 | 0.013 % |
183.23/183.40 c | 264285 | 23798 428153 1448863 | 2147483647 264270 48 | 0.013 % |
183.73/183.95 c | 265007 | 23798 428153 1448863 | 2147483647 264992 48 | 0.013 % |
184.54/184.75 c | 265799 | 23798 428153 1448863 | 2147483647 265784 48 | 0.013 % |
185.33/185.51 c | 266672 | 23798 428153 1448863 | 2147483647 266657 48 | 0.013 % |
186.43/186.62 c | 267633 | 23798 428153 1448863 | 2147483647 267618 48 | 0.013 % |
187.33/187.59 c | 268686 | 23798 428153 1448863 | 2147483647 268671 48 | 0.013 % |
188.03/188.23 c | 269844 | 23798 428153 1448863 | 2147483647 269829 48 | 0.013 % |
189.83/190.07 c | 271123 | 23798 428153 1448863 | 2147483647 271108 48 | 0.013 % |
191.03/191.29 c | 272526 | 23798 428153 1448863 | 2147483647 272511 48 | 0.013 % |
192.82/193.03 c | 274066 | 23798 428153 1448863 | 2147483647 274051 48 | 0.013 % |
193.92/194.15 c | 275760 | 23798 428153 1448863 | 2147483647 275745 48 | 0.013 % |
196.12/196.35 c | 277623 | 23798 428153 1448863 | 2147483647 277608 48 | 0.013 % |
198.63/198.83 c | 279673 | 23798 428153 1448863 | 2147483647 279658 48 | 0.013 % |
200.13/200.38 c | 281928 | 23798 428153 1448863 | 2147483647 281913 48 | 0.013 % |
205.12/205.31 c | 284409 | 23798 428153 1448863 | 2147483647 284394 49 | 0.013 % |
210.03/210.24 c | 287134 | 23798 428153 1448863 | 2147483647 287119 49 | 0.013 % |
210.13/210.36 c | 287234 | 23798 428153 1448863 | 2147483647 287219 49 | 0.013 % |
210.33/210.57 c | 287346 | 23798 428153 1448863 | 2147483647 287331 49 | 0.013 % |
210.53/210.74 c | 287468 | 23798 428153 1448863 | 2147483647 287453 49 | 0.013 % |
210.73/210.94 c | 287602 | 23798 428153 1448863 | 2147483647 287587 49 | 0.013 % |
211.03/211.29 c | 287749 | 23798 428153 1448863 | 2147483647 287734 49 | 0.013 % |
211.32/211.56 c | 287909 | 23798 428153 1448863 | 2147483647 287894 49 | 0.013 % |
211.52/211.74 c | 288085 | 23798 428153 1448863 | 2147483647 288070 49 | 0.013 % |
211.72/211.96 c | 288278 | 23798 428153 1448863 | 2147483647 288263 49 | 0.013 % |
211.82/212.05 c | 288490 | 23798 428153 1448863 | 2147483647 288475 49 | 0.013 % |
212.13/212.33 c | 288725 | 23798 428153 1448863 | 2147483647 288710 49 | 0.013 % |
212.52/212.71 c | 288981 | 23798 428153 1448863 | 2147483647 288966 49 | 0.013 % |
212.92/213.13 c | 289263 | 23798 428153 1448863 | 2147483647 289248 49 | 0.013 % |
213.23/213.48 c | 289572 | 23798 428153 1448863 | 2147483647 289557 49 | 0.013 % |
213.62/213.85 c | 289913 | 23798 428153 1448863 | 2147483647 289898 49 | 0.013 % |
213.82/214.00 c | 290285 | 23798 428153 1448863 | 2147483647 290270 49 | 0.013 % |
214.23/214.41 c | 290696 | 23798 428153 1448863 | 2147483647 290681 49 | 0.013 % |
215.02/215.21 c | 291149 | 23798 428153 1448863 | 2147483647 291134 50 | 0.013 % |
215.52/215.77 c | 291646 | 23798 428153 1448863 | 2147483647 291631 50 | 0.013 % |
216.42/216.63 c | 292190 | 23798 428153 1448863 | 2147483647 292175 50 | 0.013 % |
216.72/216.93 c | 292788 | 23798 428153 1448863 | 2147483647 292773 50 | 0.013 % |
217.02/217.29 c | 293443 | 23798 428153 1448863 | 2147483647 293428 50 | 0.013 % |
218.82/219.05 c | 294163 | 23798 428153 1448863 | 2147483647 294148 50 | 0.013 % |
220.31/220.59 c | 294955 | 23798 428153 1448863 | 2147483647 294940 50 | 0.013 % |
221.51/221.71 c | 295827 | 23798 428153 1448863 | 2147483647 295812 50 | 0.013 % |
222.51/222.78 c | 296785 | 23798 428153 1448863 | 2147483647 296770 50 | 0.013 % |
222.91/223.12 c | 297839 | 23798 428153 1448863 | 2147483647 297824 50 | 0.013 % |
224.61/224.87 c | 298997 | 23798 428153 1448863 | 2147483647 298982 50 | 0.013 % |
226.31/226.55 c | 300272 | 23798 428153 1448863 | 2147483647 300257 50 | 0.013 % |
229.31/229.57 c | 301673 | 23798 428153 1448863 | 2147483647 301658 50 | 0.013 % |
231.71/231.98 c | 303213 | 23798 428153 1448863 | 2147483647 303198 50 | 0.013 % |
234.51/234.72 c | 304907 | 23798 428153 1448863 | 2147483647 304892 51 | 0.013 % |
236.61/236.87 c | 306772 | 23798 428153 1448863 | 2147483647 306757 51 | 0.013 % |
239.61/239.82 c | 308821 | 23798 428153 1448863 | 2147483647 308806 51 | 0.013 % |
242.41/242.60 c | 311078 | 23798 428153 1448863 | 2147483647 311063 51 | 0.013 % |
245.61/245.86 c | 313557 | 23798 428153 1448863 | 2147483647 313542 51 | 0.013 % |
251.60/251.81 c | 316282 | 23798 428153 1448863 | 2147483647 316267 52 | 0.013 % |
256.10/256.31 c | 319279 | 23798 428153 1448863 | 2147483647 319264 52 | 0.013 % |
256.40/256.66 c | 319380 | 23798 428153 1448863 | 2147483647 319365 52 | 0.013 % |
256.60/256.81 c | 319490 | 23798 428153 1448863 | 2147483647 319475 52 | 0.013 % |
256.70/256.90 c | 319612 | 23798 428153 1448863 | 2147483647 319597 52 | 0.013 % |
256.90/257.13 c | 319747 | 23798 428153 1448863 | 2147483647 319732 52 | 0.013 % |
257.10/257.35 c | 319896 | 23798 428153 1448863 | 2147483647 319881 52 | 0.013 % |
257.40/257.61 c | 320058 | 23798 428153 1448863 | 2147483647 320043 52 | 0.013 % |
257.60/257.84 c | 320238 | 23798 428153 1448863 | 2147483647 320223 52 | 0.013 % |
258.00/258.29 c | 320433 | 23798 428153 1448863 | 2147483647 320418 52 | 0.013 % |
258.10/258.39 c | 320648 | 23798 428153 1448863 | 2147483647 320633 52 | 0.013 % |
258.50/258.73 c | 320881 | 23798 428153 1448863 | 2147483647 320866 52 | 0.013 % |
258.70/258.99 c | 321139 | 23798 428153 1448863 | 2147483647 321124 52 | 0.013 % |
259.10/259.31 c | 321421 | 23798 428153 1448863 | 2147483647 321406 52 | 0.013 % |
259.41/259.63 c | 321730 | 23798 428153 1448863 | 2147483647 321715 52 | 0.013 % |
259.80/260.08 c | 322070 | 23798 428153 1448863 | 2147483647 322055 52 | 0.013 % |
260.20/260.49 c | 322442 | 23798 428153 1448863 | 2147483647 322427 52 | 0.013 % |
261.00/261.25 c | 322851 | 23798 428153 1448863 | 2147483647 322836 52 | 0.013 % |
261.50/261.79 c | 323300 | 23798 428153 1448863 | 2147483647 323285 52 | 0.013 % |
262.00/262.22 c | 323794 | 23798 428153 1448863 | 2147483647 323779 52 | 0.013 % |
262.40/262.67 c | 324338 | 23798 428153 1448863 | 2147483647 324323 52 | 0.013 % |
263.10/263.38 c | 324934 | 23798 428153 1448863 | 2147483647 324919 52 | 0.013 % |
264.00/264.22 c | 325590 | 23798 428153 1448863 | 2147483647 325575 52 | 0.013 % |
265.10/265.35 c | 326310 | 23798 428153 1448863 | 2147483647 326295 52 | 0.013 % |
266.10/266.32 c | 327103 | 23798 428153 1448863 | 2147483647 327088 52 | 0.013 % |
267.49/267.71 c | 327974 | 23798 428153 1448863 | 2147483647 327959 52 | 0.013 % |
268.49/268.78 c | 328933 | 23798 428153 1448863 | 2147483647 328918 52 | 0.013 % |
270.59/270.82 c | 329986 | 23798 428153 1448863 | 2147483647 329971 53 | 0.013 % |
271.69/272.00 c | 331144 | 23798 428153 1448863 | 2147483647 331129 53 | 0.013 % |
273.29/273.56 c | 332422 | 23798 428153 1448863 | 2147483647 332407 53 | 0.013 % |
274.80/275.02 c | 333822 | 23798 428153 1448863 | 2147483647 333807 53 | 0.013 % |
276.69/276.90 c | 335363 | 23798 428153 1448863 | 2147483647 335348 53 | 0.013 % |
278.69/278.95 c | 337060 | 23798 428153 1448863 | 2147483647 337045 53 | 0.013 % |
282.29/282.50 c | 338924 | 23798 428153 1448863 | 2147483647 338909 53 | 0.013 % |
285.08/285.34 c | 340975 | 23798 428153 1448863 | 2147483647 340960 53 | 0.013 % |
287.78/288.01 c | 343231 | 23798 428153 1448863 | 2147483647 343216 53 | 0.013 % |
289.29/289.54 c | 345710 | 23798 428153 1448863 | 2147483647 345695 53 | 0.013 % |
296.88/297.19 c | 348436 | 23798 428153 1448863 | 2147483647 348421 54 | 0.013 % |
300.98/301.29 c | 351433 | 23798 428153 1448863 | 2147483647 351418 54 | 0.013 % |
307.37/307.63 c | 354729 | 23798 428153 1448863 | 2147483647 354714 55 | 0.013 % |
307.57/307.81 c | 354829 | 23798 428153 1448863 | 2147483647 354814 55 | 0.013 % |
307.87/308.16 c | 354940 | 23798 428153 1448863 | 2147483647 354925 55 | 0.013 % |
308.07/308.37 c | 355061 | 23798 428153 1448863 | 2147483647 355046 55 | 0.013 % |
308.38/308.65 c | 355197 | 23798 428153 1448863 | 2147483647 355182 55 | 0.013 % |
308.58/308.83 c | 355344 | 23798 428153 1448863 | 2147483647 355329 55 | 0.013 % |
308.89/309.18 c | 355504 | 23798 428153 1448863 | 2147483647 355489 55 | 0.013 % |
309.18/309.44 c | 355681 | 23798 428153 1448863 | 2147483647 355666 55 | 0.013 % |
309.58/309.85 c | 355874 | 23798 428153 1448863 | 2147483647 355859 55 | 0.013 % |
309.88/310.13 c | 356086 | 23798 428153 1448863 | 2147483647 356071 55 | 0.013 % |
310.18/310.44 c | 356320 | 23798 428153 1448863 | 2147483647 356305 55 | 0.013 % |
310.68/310.98 c | 356578 | 23798 428153 1448863 | 2147483647 356563 55 | 0.013 % |
311.78/312.05 c | 356860 | 23798 428153 1448863 | 2147483647 356845 55 | 0.013 % |
311.98/312.22 c | 357169 | 23798 428153 1448863 | 2147483647 357154 55 | 0.013 % |
312.28/312.55 c | 357508 | 23798 428153 1448863 | 2147483647 357493 55 | 0.013 % |
312.88/313.12 c | 357881 | 23798 428153 1448863 | 2147483647 357866 55 | 0.013 % |
313.88/314.11 c | 358290 | 23798 428153 1448863 | 2147483647 358275 55 | 0.013 % |
314.38/314.68 c | 358740 | 23798 428153 1448863 | 2147483647 358725 55 | 0.013 % |
315.38/315.62 c | 359237 | 23798 428153 1448863 | 2147483647 359222 55 | 0.013 % |
316.08/316.39 c | 359780 | 23798 428153 1448863 | 2147483647 359765 55 | 0.013 % |
316.88/317.18 c | 360378 | 23798 428153 1448863 | 2147483647 360363 55 | 0.013 % |
318.07/318.39 c | 361034 | 23798 428153 1448863 | 2147483647 361019 55 | 0.013 % |
318.97/319.26 c | 361755 | 23798 428153 1448863 | 2147483647 361740 55 | 0.013 % |
320.27/320.58 c | 362549 | 23798 428153 1448863 | 2147483647 362534 55 | 0.013 % |
321.77/322.09 c | 363420 | 23798 428153 1448863 | 2147483647 363405 55 | 0.013 % |
322.97/323.29 c | 364379 | 23798 428153 1448863 | 2147483647 364364 55 | 0.013 % |
323.97/324.26 c | 365432 | 23798 428153 1448863 | 2147483647 365417 55 | 0.013 % |
325.56/325.86 c | 366590 | 23798 428153 1448863 | 2147483647 366575 55 | 0.013 % |
326.06/326.33 c | 367863 | 23798 428153 1448863 | 2147483647 367848 55 | 0.013 % |
328.57/328.89 c | 369263 | 23798 428153 1448863 | 2147483647 369248 55 | 0.013 % |
331.17/331.41 c | 370805 | 23798 428153 1448863 | 2147483647 370790 55 | 0.013 % |
332.77/333.05 c | 372499 | 23798 428153 1448863 | 2147483647 372484 55 | 0.013 % |
336.16/336.46 c | 374362 | 23798 428153 1448863 | 2147483647 374347 55 | 0.013 % |
339.36/339.60 c | 376411 | 23798 428153 1448863 | 2147483647 376396 55 | 0.013 % |
343.06/343.36 c | 378664 | 23798 428153 1448863 | 2147483647 378649 55 | 0.013 % |
346.46/346.78 c | 381142 | 23798 428153 1448863 | 2147483647 381127 55 | 0.013 % |
346.86/347.13 c | 383869 | 23798 428153 1448863 | 2147483647 383854 55 | 0.013 % |
351.36/351.62 c | 386867 | 23798 428153 1448863 | 2147483647 386852 55 | 0.013 % |
359.56/359.87 c | 390163 | 23798 428153 1448863 | 2147483647 390148 56 | 0.013 % |
366.85/367.15 c | 393789 | 23798 428153 1448863 | 2147483647 393774 56 | 0.013 % |
366.95/367.22 c | 393889 | 23798 428153 1448863 | 2147483647 393874 56 | 0.013 % |
367.16/367.45 c | 393999 | 23798 428153 1448863 | 2147483647 393984 56 | 0.013 % |
367.25/367.59 c | 394121 | 23798 428153 1448863 | 2147483647 394106 56 | 0.013 % |
367.65/367.94 c | 394256 | 23798 428153 1448863 | 2147483647 394241 56 | 0.013 % |
367.85/368.10 c | 394404 | 23798 428153 1448863 | 2147483647 394389 56 | 0.013 % |
367.85/368.16 c | 394568 | 23798 428153 1448863 | 2147483647 394553 56 | 0.013 % |
368.05/368.40 c | 394744 | 23798 428153 1448863 | 2147483647 394729 56 | 0.013 % |
368.45/368.74 c | 394938 | 23798 428153 1448863 | 2147483647 394923 56 | 0.013 % |
368.75/369.02 c | 395150 | 23798 428153 1448863 | 2147483647 395135 56 | 0.013 % |
369.15/369.44 c | 395385 | 23798 428153 1448863 | 2147483647 395370 56 | 0.013 % |
369.85/370.13 c | 395641 | 23798 428153 1448863 | 2147483647 395626 56 | 0.013 % |
370.25/370.54 c | 395924 | 23798 428153 1448863 | 2147483647 395909 56 | 0.013 % |
370.75/371.04 c | 396233 | 23798 428153 1448863 | 2147483647 396218 56 | 0.013 % |
371.25/371.51 c | 396572 | 23798 428153 1448863 | 2147483647 396557 56 | 0.013 % |
372.05/372.31 c | 396944 | 23798 428153 1448863 | 2147483647 396929 56 | 0.013 % |
372.55/372.88 c | 397353 | 23798 428153 1448863 | 2147483647 397338 56 | 0.013 % |
373.45/373.75 c | 397802 | 23798 428153 1448863 | 2147483647 397787 56 | 0.013 % |
374.05/374.33 c | 398295 | 23798 428153 1448863 | 2147483647 398280 56 | 0.013 % |
375.85/376.12 c | 398838 | 23798 428153 1448863 | 2147483647 398823 56 | 0.013 % |
377.85/378.12 c | 399434 | 23798 428153 1448863 | 2147483647 399419 56 | 0.013 % |
378.65/378.97 c | 400090 | 23798 428153 1448863 | 2147483647 400075 56 | 0.013 % |
380.15/380.40 c | 400810 | 23798 428153 1448863 | 2147483647 400795 56 | 0.013 % |
381.35/381.67 c | 401603 | 23798 428153 1448863 | 2147483647 401588 56 | 0.013 % |
382.55/382.83 c | 402474 | 23798 428153 1448863 | 2147483647 402459 56 | 0.013 % |
384.15/384.43 c | 403435 | 23798 428153 1448863 | 2147483647 403420 56 | 0.013 % |
385.35/385.67 c | 404492 | 23798 428153 1448863 | 2147483647 404477 56 | 0.013 % |
388.14/388.41 c | 405652 | 23798 428153 1448863 | 2147483647 405637 57 | 0.013 % |
392.34/392.66 c | 406925 | 23798 428153 1448863 | 2147483647 406910 57 | 0.013 % |
394.35/394.67 c | 408328 | 23798 428153 1448863 | 2147483647 408313 57 | 0.013 % |
397.44/397.75 c | 409869 | 23798 428153 1448863 | 2147483647 409854 57 | 0.013 % |
399.34/399.67 c | 411564 | 23798 428153 1448863 | 2147483647 411549 57 | 0.013 % |
401.94/402.25 c | 413427 | 23798 428153 1448863 | 2147483647 413412 57 | 0.013 % |
406.54/406.86 c | 415476 | 23798 428153 1448863 | 2147483647 415461 57 | 0.013 % |
409.54/409.86 c | 417729 | 23798 428153 1448863 | 2147483647 417714 57 | 0.013 % |
413.94/414.22 c | 420207 | 23798 428153 1448863 | 2147483647 420192 57 | 0.013 % |
420.33/420.62 c | 422933 | 23798 428153 1448863 | 2147483647 422918 58 | 0.013 % |
425.93/426.27 c | 425930 | 23798 428153 1448863 | 2147483647 425915 58 | 0.013 % |
431.33/431.61 c | 429228 | 23798 428153 1448863 | 2147483647 429213 58 | 0.013 % |
439.23/439.51 c | 432853 | 23798 428153 1448863 | 2147483647 432838 58 | 0.013 % |
446.53/446.85 c | 436840 | 23798 428153 1448863 | 2147483647 436825 58 | 0.013 % |
446.73/447.00 c | 436940 | 23798 428153 1448863 | 2147483647 436925 58 | 0.013 % |
446.83/447.13 c | 437050 | 23798 428153 1448863 | 2147483647 437035 58 | 0.013 % |
447.13/447.45 c | 437172 | 23798 428153 1448863 | 2147483647 437157 58 | 0.013 % |
447.63/447.92 c | 437305 | 23798 428153 1448863 | 2147483647 437290 58 | 0.013 % |
447.93/448.24 c | 437451 | 23798 428153 1448863 | 2147483647 437436 58 | 0.013 % |
448.22/448.51 c | 437611 | 23798 428153 1448863 | 2147483647 437596 58 | 0.013 % |
448.32/448.61 c | 437790 | 23798 428153 1448863 | 2147483647 437775 58 | 0.013 % |
448.62/448.99 c | 437983 | 23798 428153 1448863 | 2147483647 437968 58 | 0.013 % |
449.02/449.39 c | 438195 | 23798 428153 1448863 | 2147483647 438180 58 | 0.013 % |
449.42/449.79 c | 438428 | 23798 428153 1448863 | 2147483647 438413 58 | 0.013 % |
450.02/450.34 c | 438685 | 23798 428153 1448863 | 2147483647 438670 58 | 0.013 % |
450.73/451.01 c | 438966 | 23798 428153 1448863 | 2147483647 438951 58 | 0.013 % |
451.32/451.62 c | 439276 | 23798 428153 1448863 | 2147483647 439261 58 | 0.013 % |
452.02/452.39 c | 439616 | 23798 428153 1448863 | 2147483647 439601 58 | 0.013 % |
452.82/453.11 c | 439988 | 23798 428153 1448863 | 2147483647 439973 58 | 0.013 % |
453.52/453.89 c | 440397 | 23798 428153 1448863 | 2147483647 440382 58 | 0.013 % |
454.52/454.86 c | 440846 | 23798 428153 1448863 | 2147483647 440831 58 | 0.013 % |
455.62/455.99 c | 441339 | 23798 428153 1448863 | 2147483647 441324 58 | 0.013 % |
456.52/456.80 c | 441881 | 23798 428153 1448863 | 2147483647 441866 58 | 0.013 % |
457.52/457.85 c | 442477 | 23798 428153 1448863 | 2147483647 442462 58 | 0.013 % |
459.01/459.38 c | 443133 | 23798 428153 1448863 | 2147483647 443118 58 | 0.013 % |
460.71/461.09 c | 443855 | 23798 428153 1448863 | 2147483647 443840 58 | 0.013 % |
461.42/461.79 c | 444648 | 23798 428153 1448863 | 2147483647 444633 58 | 0.013 % |
463.02/463.32 c | 445520 | 23798 428153 1448863 | 2147483647 445505 58 | 0.013 % |
464.62/464.97 c | 446479 | 23798 428153 1448863 | 2147483647 446464 58 | 0.013 % |
466.22/466.56 c | 447533 | 23798 428153 1448863 | 2147483647 447518 58 | 0.013 % |
467.82/468.19 c | 448694 | 23798 428153 1448863 | 2147483647 448679 58 | 0.013 % |
471.52/471.85 c | 449968 | 23798 428153 1448863 | 2147483647 449953 59 | 0.013 % |
473.91/474.24 c | 451368 | 23798 428153 1448863 | 2147483647 451353 59 | 0.013 % |
475.41/475.79 c | 452910 | 23798 428153 1448863 | 2147483647 452895 59 | 0.013 % |
477.11/477.41 c | 454606 | 23798 428153 1448863 | 2147483647 454591 58 | 0.013 % |
481.21/481.51 c | 456469 | 23798 428153 1448863 | 2147483647 456454 59 | 0.013 % |
483.50/483.89 c | 458518 | 23798 428153 1448863 | 2147483647 458503 59 | 0.013 % |
488.01/488.31 c | 460771 | 23798 428153 1448863 | 2147483647 460756 59 | 0.013 % |
493.61/493.97 c | 463255 | 23798 428153 1448863 | 2147483647 463240 59 | 0.013 % |
497.91/498.23 c | 465982 | 23798 428153 1448863 | 2147483647 465967 59 | 0.013 % |
503.00/503.33 c | 468979 | 23798 428153 1448863 | 2147483647 468964 59 | 0.013 % |
507.70/508.01 c | 472277 | 23798 428153 1448863 | 2147483647 472262 59 | 0.013 % |
513.49/513.83 c | 475902 | 23798 428153 1448863 | 2147483647 475887 59 | 0.013 % |
516.30/516.60 c | 479889 | 23798 428153 1448863 | 2147483647 479874 59 | 0.013 % |
527.59/527.97 c | 484275 | 23798 428153 1448863 | 2147483647 484260 59 | 0.013 % |
527.79/528.16 c | 484378 | 23798 428153 1448863 | 2147483647 484363 59 | 0.013 % |
528.09/528.43 c | 484488 | 23798 428153 1448863 | 2147483647 484473 59 | 0.013 % |
528.39/528.79 c | 484611 | 23798 428153 1448863 | 2147483647 484596 59 | 0.013 % |
528.69/529.02 c | 484744 | 23798 428153 1448863 | 2147483647 484729 59 | 0.013 % |
528.79/529.14 c | 484890 | 23798 428153 1448863 | 2147483647 484875 59 | 0.013 % |
528.89/529.28 c | 485050 | 23798 428153 1448863 | 2147483647 485035 59 | 0.013 % |
529.59/529.93 c | 485226 | 23798 428153 1448863 | 2147483647 485211 59 | 0.013 % |
529.79/530.17 c | 485419 | 23798 428153 1448863 | 2147483647 485404 59 | 0.013 % |
530.28/530.64 c | 485631 | 23798 428153 1448863 | 2147483647 485616 59 | 0.013 % |
530.90/531.27 c | 485867 | 23798 428153 1448863 | 2147483647 485852 59 | 0.013 % |
531.39/531.73 c | 486125 | 23798 428153 1448863 | 2147483647 486110 59 | 0.013 % |
531.79/532.16 c | 486406 | 23798 428153 1448863 | 2147483647 486391 59 | 0.013 % |
532.29/532.69 c | 486715 | 23798 428153 1448863 | 2147483647 486700 59 | 0.013 % |
533.09/533.46 c | 487054 | 23798 428153 1448863 | 2147483647 487039 59 | 0.013 % |
534.29/534.64 c | 487426 | 23798 428153 1448863 | 2147483647 487411 59 | 0.013 % |
535.09/535.42 c | 487836 | 23798 428153 1448863 | 2147483647 487821 59 | 0.013 % |
535.89/536.26 c | 488286 | 23798 428153 1448863 | 2147483647 488271 59 | 0.013 % |
537.08/537.49 c | 488781 | 23798 428153 1448863 | 2147483647 488766 59 | 0.013 % |
537.78/538.11 c | 489324 | 23798 428153 1448863 | 2147483647 489309 59 | 0.013 % |
538.59/538.97 c | 489921 | 23798 428153 1448863 | 2147483647 489906 59 | 0.013 % |
539.89/540.27 c | 490576 | 23798 428153 1448863 | 2147483647 490561 59 | 0.013 % |
541.38/541.75 c | 491297 | 23798 428153 1448863 | 2147483647 491282 59 | 0.013 % |
541.99/542.37 c | 492089 | 23798 428153 1448863 | 2147483647 492074 59 | 0.013 % |
544.38/544.76 c | 492961 | 23798 428153 1448863 | 2147483647 492946 59 | 0.013 % |
544.98/545.39 c | 493920 | 23798 428153 1448863 | 2147483647 493905 59 | 0.013 % |
547.98/548.37 c | 494974 | 23798 428153 1448863 | 2147483647 494959 59 | 0.013 % |
549.88/550.22 c | 496135 | 23798 428153 1448863 | 2147483647 496120 59 | 0.013 % |
551.78/552.17 c | 497408 | 23798 428153 1448863 | 2147483647 497393 59 | 0.013 % |
554.28/554.66 c | 498813 | 23798 428153 1448863 | 2147483647 498798 59 | 0.013 % |
558.48/558.81 c | 500353 | 23798 428153 1448863 | 2147483647 500338 59 | 0.013 % |
560.58/560.92 c | 502049 | 23798 428153 1448863 | 2147483647 502034 59 | 0.013 % |
562.68/563.02 c | 503915 | 23798 428153 1448863 | 2147483647 503900 59 | 0.013 % |
566.27/566.67 c | 505966 | 23798 428153 1448863 | 2147483647 505951 59 | 0.013 % |
570.27/570.60 c | 508219 | 23798 428153 1448863 | 2147483647 508204 59 | 0.013 % |
575.87/576.28 c | 510698 | 23798 428153 1448863 | 2147483647 510683 60 | 0.013 % |
583.17/583.55 c | 513423 | 23798 428153 1448863 | 2147483647 513408 60 | 0.013 % |
588.47/588.84 c | 516420 | 23798 428153 1448863 | 2147483647 516405 60 | 0.013 % |
595.16/595.53 c | 519720 | 23798 428153 1448863 | 2147483647 519705 60 | 0.013 % |
599.47/599.82 c | 523345 | 23798 428153 1448863 | 2147483647 523330 60 | 0.013 % |
609.26/609.64 c | 527332 | 23798 428153 1448863 | 2147483647 527317 60 | 0.013 % |
616.95/617.36 c | 531717 | 23798 428153 1448863 | 2147483647 531702 61 | 0.013 % |
628.05/628.49 c | 536541 | 23798 428153 1448863 | 2147483647 536526 61 | 0.013 % |
628.15/628.56 c | 536641 | 23798 428153 1448863 | 2147483647 536626 61 | 0.013 % |
628.55/628.99 c | 536751 | 23798 428153 1448863 | 2147483647 536736 61 | 0.013 % |
628.85/629.26 c | 536873 | 23798 428153 1448863 | 2147483647 536858 61 | 0.013 % |
629.55/629.99 c | 537006 | 23798 428153 1448863 | 2147483647 536991 61 | 0.013 % |
629.95/630.38 c | 537153 | 23798 428153 1448863 | 2147483647 537138 61 | 0.013 % |
630.45/630.82 c | 537313 | 23798 428153 1448863 | 2147483647 537298 61 | 0.013 % |
630.95/631.36 c | 537489 | 23798 428153 1448863 | 2147483647 537474 61 | 0.013 % |
631.45/631.88 c | 537683 | 23798 428153 1448863 | 2147483647 537668 61 | 0.013 % |
631.65/632.00 c | 537897 | 23798 428153 1448863 | 2147483647 537882 61 | 0.013 % |
631.75/632.14 c | 538131 | 23798 428153 1448863 | 2147483647 538116 61 | 0.013 % |
631.95/632.33 c | 538387 | 23798 428153 1448863 | 2147483647 538372 61 | 0.013 % |
632.05/632.40 c | 538669 | 23798 428153 1448863 | 2147483647 538654 61 | 0.013 % |
632.55/632.96 c | 538978 | 23798 428153 1448863 | 2147483647 538963 61 | 0.013 % |
633.25/633.64 c | 539318 | 23798 428153 1448863 | 2147483647 539303 61 | 0.013 % |
634.05/634.48 c | 539690 | 23798 428153 1448863 | 2147483647 539675 61 | 0.013 % |
635.46/635.88 c | 540100 | 23798 428153 1448863 | 2147483647 540085 61 | 0.013 % |
637.15/637.53 c | 540549 | 23798 428153 1448863 | 2147483647 540534 61 | 0.013 % |
638.15/638.53 c | 541045 | 23798 428153 1448863 | 2147483647 541030 61 | 0.013 % |
639.15/639.56 c | 541587 | 23798 428153 1448863 | 2147483647 541572 61 | 0.013 % |
640.45/640.86 c | 542183 | 23798 428153 1448863 | 2147483647 542168 61 | 0.013 % |
640.85/641.23 c | 542839 | 23798 428153 1448863 | 2147483647 542824 61 | 0.013 % |
643.25/643.62 c | 543560 | 23798 428153 1448863 | 2147483647 543545 61 | 0.013 % |
645.05/645.45 c | 544355 | 23798 428153 1448863 | 2147483647 544340 61 | 0.013 % |
647.25/647.62 c | 545226 | 23798 428153 1448863 | 2147483647 545211 61 | 0.013 % |
648.95/649.36 c | 546184 | 23798 428153 1448863 | 2147483647 546169 61 | 0.013 % |
651.14/651.55 c | 547238 | 23798 428153 1448863 | 2147483647 547223 61 | 0.013 % |
653.05/653.45 c | 548399 | 23798 428153 1448863 | 2147483647 548384 61 | 0.013 % |
654.84/655.20 c | 549674 | 23798 428153 1448863 | 2147483647 549659 61 | 0.013 % |
658.04/658.46 c | 551077 | 23798 428153 1448863 | 2147483647 551062 62 | 0.013 % |
660.94/661.37 c | 552618 | 23798 428153 1448863 | 2147483647 552603 62 | 0.013 % |
665.05/665.44 c | 554313 | 23798 428153 1448863 | 2147483647 554298 62 | 0.013 % |
666.44/666.81 c | 556176 | 23798 428153 1448863 | 2147483647 556161 61 | 0.013 % |
670.64/671.04 c | 558230 | 23798 428153 1448863 | 2147483647 558215 62 | 0.013 % |
674.04/674.49 c | 560483 | 23798 428153 1448863 | 559985 560468 61 | 0.013 % |
680.63/681.04 c | 562961 | 23798 428153 1448863 | 559985 506900 59 | 0.013 % |
685.53/685.94 c | 565690 | 23798 428153 1448863 | 559985 509629 59 | 0.013 % |
691.73/692.14 c | 568687 | 23798 428153 1448863 | 559985 512626 59 | 0.013 % |
696.73/697.16 c | 571984 | 23798 428153 1448863 | 513940 515923 59 | 0.013 % |
708.12/708.52 c | 575609 | 23798 428153 1448863 | 513940 467956 62 | 0.013 % |
714.12/714.57 c | 579596 | 23798 428153 1448863 | 513940 471943 62 | 0.013 % |
721.62/722.07 c | 583981 | 23798 428153 1448863 | 2147483647 476328 62 | 0.013 % |
727.22/727.62 c | 588805 | 23798 428153 1448863 | 2147483647 481152 62 | 0.013 % |
741.11/741.57 c | 594111 | 23798 428153 1448863 | 2147483647 486458 62 | 0.013 % |
741.51/741.95 c | 594212 | 23798 428153 1448863 | 2147483647 486559 62 | 0.013 % |
741.71/742.17 c | 594322 | 23798 428153 1448863 | 2147483647 486669 62 | 0.013 % |
741.91/742.40 c | 594443 | 23798 428153 1448863 | 2147483647 486790 62 | 0.013 % |
742.31/742.72 c | 594576 | 23798 428153 1448863 | 2147483647 486923 62 | 0.013 % |
742.71/743.16 c | 594724 | 23798 428153 1448863 | 2147483647 487071 62 | 0.013 % |
743.01/743.44 c | 594885 | 23798 428153 1448863 | 2147483647 487232 62 | 0.013 % |
743.51/743.96 c | 595062 | 23798 428153 1448863 | 2147483647 487409 62 | 0.013 % |
744.01/744.44 c | 595255 | 23798 428153 1448863 | 2147483647 487602 62 | 0.013 % |
744.31/744.73 c | 595468 | 23798 428153 1448863 | 2147483647 487815 62 | 0.013 % |
744.71/745.19 c | 595701 | 23798 428153 1448863 | 2147483647 488048 62 | 0.013 % |
745.31/745.70 c | 595957 | 23798 428153 1448863 | 2147483647 488304 62 | 0.013 % |
746.21/746.68 c | 596238 | 23798 428153 1448863 | 2147483647 488585 62 | 0.013 % |
746.81/747.24 c | 596547 | 23798 428153 1448863 | 2147483647 488894 62 | 0.013 % |
748.01/748.43 c | 596886 | 23798 428153 1448863 | 2147483647 489233 62 | 0.013 % |
748.81/749.24 c | 597259 | 23798 428153 1448863 | 2147483647 489606 62 | 0.013 % |
749.51/749.99 c | 597668 | 23798 428153 1448863 | 2147483647 490015 62 | 0.013 % |
750.31/750.76 c | 598120 | 23798 428153 1448863 | 2147483647 490467 62 | 0.013 % |
750.91/751.37 c | 598613 | 23798 428153 1448863 | 2147483647 490960 62 | 0.013 % |
751.61/752.07 c | 599155 | 23798 428153 1448863 | 2147483647 491502 62 | 0.013 % |
752.91/753.32 c | 599751 | 23798 428153 1448863 | 2147483647 492098 62 | 0.013 % |
753.90/754.38 c | 600408 | 23798 428153 1448863 | 2147483647 492755 62 | 0.013 % |
755.70/756.15 c | 601128 | 23798 428153 1448863 | 2147483647 493475 62 | 0.013 % |
759.40/759.87 c | 601922 | 23798 428153 1448863 | 2147483647 494269 62 | 0.013 % |
761.10/761.53 c | 602793 | 23798 428153 1448863 | 2147483647 495140 62 | 0.013 % |
761.70/762.10 c | 603751 | 23798 428153 1448863 | 2147483647 496098 62 | 0.013 % |
764.01/764.40 c | 604804 | 23798 428153 1448863 | 2147483647 497151 62 | 0.013 % |
766.50/766.98 c | 605965 | 23798 428153 1448863 | 2147483647 498312 62 | 0.013 % |
768.60/769.09 c | 607239 | 23798 428153 1448863 | 2147483647 499586 62 | 0.013 % |
770.00/770.47 c | 608639 | 23798 428153 1448863 | 2147483647 500986 62 | 0.013 % |
771.70/772.18 c | 610179 | 23798 428153 1448863 | 2147483647 502526 62 | 0.013 % |
776.10/776.54 c | 611874 | 23798 428153 1448863 | 2147483647 504221 62 | 0.013 % |
779.80/780.21 c | 613737 | 23798 428153 1448863 | 2147483647 506084 62 | 0.013 % |
782.90/783.32 c | 615786 | 23798 428153 1448863 | 2147483647 508133 62 | 0.013 % |
787.10/787.54 c | 618039 | 23798 428153 1448863 | 2147483647 510386 62 | 0.013 % |
793.70/794.15 c | 620517 | 23798 428153 1448863 | 2147483647 512864 62 | 0.013 % |
797.29/797.74 c | 623244 | 23798 428153 1448863 | 2147483647 515591 62 | 0.013 % |
806.29/806.75 c | 626241 | 23798 428153 1448863 | 2147483647 518588 63 | 0.013 % |
815.08/815.56 c | 629537 | 23798 428153 1448863 | 2147483647 521884 63 | 0.013 % |
818.78/819.20 c | 633164 | 23798 428153 1448863 | 2147483647 525511 63 | 0.013 % |
833.58/834.04 c | 637151 | 23798 428153 1448863 | 2147483647 529498 64 | 0.013 % |
843.28/843.77 c | 641536 | 23798 428153 1448863 | 2147483647 533883 64 | 0.013 % |
853.07/853.56 c | 646359 | 23798 428153 1448863 | 2147483647 538706 64 | 0.013 % |
869.07/869.56 c | 651664 | 23798 428153 1448863 | 2147483647 544011 64 | 0.013 % |
880.97/881.48 c | 657499 | 23798 428153 1448863 | 2147483647 549846 64 | 0.013 % |
881.27/881.71 c | 657601 | 23798 428153 1448863 | 2147483647 549948 64 | 0.013 % |
881.77/882.21 c | 657711 | 23798 428153 1448863 | 2147483647 550058 64 | 0.013 % |
882.07/882.58 c | 657832 | 23798 428153 1448863 | 2147483647 550179 64 | 0.013 % |
882.27/882.73 c | 657967 | 23798 428153 1448863 | 2147483647 550314 64 | 0.013 % |
882.67/883.13 c | 658114 | 23798 428153 1448863 | 2147483647 550461 64 | 0.013 % |
883.07/883.58 c | 658274 | 23798 428153 1448863 | 2147483647 550621 64 | 0.013 % |
883.57/884.09 c | 658450 | 23798 428153 1448863 | 2147483647 550797 64 | 0.013 % |
884.06/884.58 c | 658644 | 23798 428153 1448863 | 2147483647 550991 64 | 0.013 % |
884.46/884.99 c | 658858 | 23798 428153 1448863 | 2147483647 551205 64 | 0.013 % |
885.46/885.97 c | 659095 | 23797 428081 1448623 | 2147483647 551424 64 | 0.017 % |
886.17/886.69 c | 659353 | 23797 428081 1448623 | 2147483647 551682 64 | 0.017 % |
886.66/887.19 c | 659635 | 23797 428081 1448623 | 2147483647 551964 64 | 0.017 % |
887.27/887.72 c | 659947 | 23797 428081 1448623 | 2147483647 552276 64 | 0.017 % |
887.96/888.45 c | 660286 | 23797 428081 1448623 | 2147483647 552615 64 | 0.017 % |
888.56/889.09 c | 660661 | 23797 428081 1448623 | 2147483647 552990 64 | 0.017 % |
889.37/889.86 c | 661073 | 23797 428081 1448623 | 2147483647 553402 64 | 0.017 % |
889.86/890.39 c | 661522 | 23797 428081 1448623 | 2147483647 553851 64 | 0.017 % |
891.76/892.28 c | 662017 | 23797 428081 1448623 | 2147483647 554346 65 | 0.017 % |
893.26/893.75 c | 662559 | 23797 428081 1448623 | 2147483647 554888 65 | 0.017 % |
894.76/895.20 c | 663155 | 23797 428081 1448623 | 2147483647 555484 65 | 0.017 % |
895.86/896.32 c | 663810 | 23797 428081 1448623 | 2147483647 556139 65 | 0.017 % |
896.36/896.87 c | 664532 | 23797 428081 1448623 | 2147483647 556861 65 | 0.017 % |
897.45/897.92 c | 665324 | 23797 428081 1448623 | 2147483647 557653 65 | 0.017 % |
898.26/898.74 c | 666195 | 23797 428081 1448623 | 2147483647 558524 65 | 0.017 % |
900.06/900.56 c | 667153 | 23797 428081 1448623 | 2147483647 559482 65 | 0.017 % |
901.95/902.48 c | 668206 | 23797 428081 1448623 | 2147483647 560535 65 | 0.017 % |
904.55/905.01 c | 669364 | 23797 428081 1448623 | 2147483647 561693 65 | 0.017 % |
905.96/906.48 c | 670639 | 23797 428081 1448623 | 2147483647 562968 65 | 0.017 % |
909.16/909.67 c | 672042 | 23797 428081 1448623 | 2147483647 564371 65 | 0.017 % |
913.15/913.66 c | 673582 | 23797 428081 1448623 | 2147483647 565911 65 | 0.017 % |
917.25/917.72 c | 675276 | 23797 428081 1448623 | 2147483647 567605 65 | 0.017 % |
921.74/922.24 c | 677142 | 23797 428081 1448623 | 2147483647 569471 65 | 0.017 % |
925.15/925.66 c | 679192 | 23797 428081 1448623 | 2147483647 571521 65 | 0.017 % |
933.04/933.51 c | 681445 | 23797 428081 1448623 | 2147483647 573774 65 | 0.017 % |
938.64/939.10 c | 683924 | 23797 428081 1448623 | 2147483647 576253 65 | 0.017 % |
945.44/945.95 c | 686656 | 23797 428081 1448623 | 2147483647 578985 65 | 0.017 % |
951.94/952.49 c | 689655 | 23797 428081 1448623 | 2147483647 581984 65 | 0.017 % |
965.53/966.03 c | 692951 | 23797 428081 1448623 | 2147483647 585280 66 | 0.017 % |
976.53/977.06 c | 696576 | 23797 428081 1448623 | 2147483647 588905 66 | 0.017 % |
982.72/983.28 c | 700564 | 23797 428081 1448623 | 2147483647 592893 66 | 0.017 % |
989.33/989.81 c | 704949 | 23797 428081 1448623 | 2147483647 597278 66 | 0.017 % |
997.82/998.36 c | 709775 | 23797 428081 1448623 | 2147483647 602104 66 | 0.017 % |
1003.82/1004.39 c | 715081 | 23797 428081 1448623 | 2147483647 607410 66 | 0.017 % |
1012.22/1012.72 c | 720918 | 23797 428081 1448623 | 2147483647 613247 66 | 0.017 % |
1038.70/1039.20 c | 727337 | 23797 428081 1448623 | 2147483647 619666 67 | 0.017 % |
1038.80/1039.35 c | 727438 | 23797 428081 1448623 | 2147483647 619767 67 | 0.017 % |
1039.50/1040.08 c | 727548 | 23797 428081 1448623 | 2147483647 619877 67 | 0.017 % |
1039.90/1040.50 c | 727669 | 23797 428081 1448623 | 2147483647 619998 67 | 0.017 % |
1040.50/1041.02 c | 727803 | 23797 428081 1448623 | 2147483647 620132 67 | 0.017 % |
1041.01/1041.52 c | 727949 | 23797 428081 1448623 | 2147483647 620278 67 | 0.017 % |
1041.51/1042.03 c | 728111 | 23797 428081 1448623 | 2147483647 620440 67 | 0.017 % |
1042.01/1042.51 c | 728287 | 23797 428081 1448623 | 2147483647 620616 67 | 0.017 % |
1042.91/1043.45 c | 728482 | 23797 428081 1448623 | 2147483647 620811 67 | 0.017 % |
1043.51/1044.09 c | 728695 | 23797 428081 1448623 | 2147483647 621024 67 | 0.017 % |
1044.21/1044.71 c | 728928 | 23797 428081 1448623 | 2147483647 621257 67 | 0.017 % |
1044.71/1045.24 c | 729184 | 23797 428081 1448623 | 2147483647 621513 67 | 0.017 % |
1045.11/1045.64 c | 729465 | 23797 428081 1448623 | 2147483647 621794 67 | 0.017 % |
1046.01/1046.58 c | 729774 | 23797 428081 1448623 | 2147483647 622103 67 | 0.017 % |
1047.01/1047.56 c | 730113 | 23797 428081 1448623 | 2147483647 622442 67 | 0.017 % |
1047.71/1048.28 c | 730490 | 23797 428081 1448623 | 2147483647 622819 67 | 0.017 % |
1048.91/1049.43 c | 730899 | 23797 428081 1448623 | 2147483647 623228 67 | 0.017 % |
1050.50/1051.07 c | 731349 | 23797 428081 1448623 | 2147483647 623678 67 | 0.017 % |
1051.90/1052.46 c | 731842 | 23797 428081 1448623 | 2147483647 624171 67 | 0.017 % |
1053.21/1053.73 c | 732385 | 23797 428081 1448623 | 2147483647 624714 67 | 0.017 % |
1054.70/1055.22 c | 732985 | 23797 428081 1448623 | 2147483647 625314 67 | 0.017 % |
1057.00/1057.52 c | 733641 | 23797 428081 1448623 | 2147483647 625970 67 | 0.017 % |
1058.10/1058.69 c | 734361 | 23797 428081 1448623 | 2147483647 626690 67 | 0.017 % |
1060.80/1061.33 c | 735153 | 23797 428081 1448623 | 2147483647 627482 67 | 0.017 % |
1062.20/1062.71 c | 736024 | 23797 428081 1448623 | 2147483647 628353 67 | 0.017 % |
1064.89/1065.48 c | 736983 | 23797 428081 1448623 | 2147483647 629312 67 | 0.017 % |
1067.39/1067.91 c | 738036 | 23797 428081 1448623 | 2147483647 630365 67 | 0.017 % |
1070.30/1070.85 c | 739196 | 23797 428081 1448623 | 2147483647 631525 67 | 0.017 % |
1072.20/1072.70 c | 740471 | 23797 428081 1448623 | 2147483647 632800 67 | 0.017 % |
1073.49/1074.03 c | 741873 | 23797 428081 1448623 | 2147483647 634202 67 | 0.017 % |
1074.99/1075.52 c | 743415 | 23797 428081 1448623 | 2147483647 635744 67 | 0.017 % |
1078.29/1078.86 c | 745111 | 23796 428009 1448383 | 2147483647 637438 67 | 0.021 % |
1081.69/1082.28 c | 746974 | 23796 428009 1448383 | 2147483647 639301 67 | 0.021 % |
1090.69/1091.23 c | 749023 | 23796 428009 1448383 | 2147483647 641350 67 | 0.021 % |
1091.80/1092.30 c | 751276 | 23796 428009 1448383 | 2147483647 643603 67 | 0.021 % |
1096.39/1096.99 c | 753756 | 23796 428009 1448383 | 2147483647 646083 67 | 0.021 % |
1100.79/1101.39 c | 756482 | 23796 428009 1448383 | 2147483647 648809 67 | 0.021 % |
1105.09/1105.65 c | 759479 | 23796 428009 1448383 | 2147483647 651806 67 | 0.021 % |
1118.88/1119.47 c | 762777 | 23796 428009 1448383 | 2147483647 655104 68 | 0.021 % |
1125.88/1126.42 c | 766403 | 23796 428009 1448383 | 2147483647 658730 68 | 0.021 % |
1141.47/1142.09 c | 770390 | 23796 428009 1448383 | 2147483647 662717 68 | 0.021 % |
1152.57/1153.10 c | 774775 | 23796 428009 1448383 | 2147483647 667102 68 | 0.021 % |
1160.56/1161.11 c | 779598 | 23796 428009 1448383 | 2147483647 671925 68 | 0.021 % |
1178.06/1178.68 c | 784903 | 23796 428009 1448383 | 672327 593067 67 | 0.021 % |
1191.76/1192.33 c | 790738 | 23796 428009 1448383 | 598164 598902 67 | 0.021 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834265-1242829286/watcher-1834265-1242829286 -o /tmp/evaluation-result-1834265-1242829286/solver-1834265-1242829286 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834265-1242829286.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.99 0.98 0.99 3/64 13134
/proc/meminfo: memFree=1563976/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
[startup+0.041233 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13134
/proc/meminfo: memFree=1563976/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101244 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13134
/proc/meminfo: memFree=1563976/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301279 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13134
/proc/meminfo: memFree=1563976/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701349 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 13134
/proc/meminfo: memFree=1563976/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50249 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13139
/proc/meminfo: memFree=1517112/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=0
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310962680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13134/statm: 1339 237 197 169 0 50 0
[pid=13138] ppid=13134 vsize=48416 CPUtime=1.49
/proc/13138/stat : 13138 (SatELite_releas) R 13134 13134 12780 0 -1 4194304 12729 0 0 0 141 8 0 0 25 0 1 0 310962680 49577984 10647 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13138/statm: 12104 10647 76 173 0 11929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53772
[startup+3.10177 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1531768/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=23416 CPUtime=1.33
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 5672 0 0 0 130 3 0 0 25 0 1 0 310962855 23977984 5658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 5854 5658 77 171 0 5681 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28772
[startup+6.30133 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1528760/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=25528 CPUtime=4.53
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 6190 0 0 0 449 4 0 0 25 0 1 0 310962855 26140672 6176 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 6382 6176 77 171 0 6209 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30884
[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1525304/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=28832 CPUtime=10.91
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 7030 0 0 0 1086 5 0 0 25 0 1 0 310962855 29523968 7016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 7208 7016 77 171 0 7035 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 34188
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1519480/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=34576 CPUtime=23.7
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 8433 0 0 0 2362 8 0 0 25 0 1 0 310962855 35405824 8419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 8644 8419 77 171 0 8471 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39932
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1509688/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=44804 CPUtime=49.28
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 10976 0 0 0 4916 12 0 0 25 0 1 0 310962855 45879296 10962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 11201 10962 77 171 0 11028 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 50160
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1492152/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=61920 CPUtime=100.44
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 15257 0 0 0 10026 18 0 0 25 0 1 0 310962855 63406080 15243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 15480 15243 77 171 0 15307 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 67276
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13140
/proc/meminfo: memFree=1475512/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=78776 CPUtime=160.42
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 19414 0 0 0 16019 23 0 0 25 0 1 0 310962855 80666624 19400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 19694 19400 77 171 0 19521 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 84132
[startup+222.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1460024/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=93848 CPUtime=220.38
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 23233 0 0 0 22012 26 0 0 25 0 1 0 310962855 96100352 23219 1992294400 134512640 135215339 4294956240 18446744073709551615 134529112 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 23462 23219 77 171 0 23289 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 99204
[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1445688/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=108636 CPUtime=280.36
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 26826 0 0 0 28006 30 0 0 25 0 1 0 310962855 111243264 26812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 27159 26812 77 171 0 26986 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 113992
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1432824/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=121328 CPUtime=340.33
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 30018 0 0 0 34000 33 0 0 25 0 1 0 310962855 124239872 30004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 30332 30004 77 171 0 30159 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 126684
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1420472/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=133672 CPUtime=400.31
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 33130 0 0 0 39994 37 0 0 25 0 1 0 310962855 136880128 33116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 33418 33116 77 171 0 33245 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 139028
[startup+462.301 s]
################
# More data... #
################
/proc/13140/statm: 39060 38629 77 171 0 38887 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 161596
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1387832/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=166488 CPUtime=580.24
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 41195 0 0 0 57976 48 0 0 25 0 1 0 310962855 170483712 41181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 41622 41181 77 171 0 41449 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 171844
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1376120/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=177988 CPUtime=640.22
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 44095 0 0 0 63971 51 0 0 25 0 1 0 310962855 182259712 44081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 44497 44081 77 171 0 44324 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 183344
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1370872/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=182956 CPUtime=700.2
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 45354 0 0 0 69968 52 0 0 25 0 1 0 310962855 187346944 45340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 45739 45340 77 171 0 45566 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 188312
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1370872/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=182956 CPUtime=760.18
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 45354 0 0 0 75966 52 0 0 25 0 1 0 310962855 187346944 45340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 45739 45340 77 171 0 45566 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 188312
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1370808/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=182956 CPUtime=820.15
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 45359 0 0 0 81963 52 0 0 25 0 1 0 310962855 187346944 45345 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 45739 45345 77 171 0 45566 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 188312
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1365560/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=188240 CPUtime=880.14
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 46673 0 0 0 87960 54 0 0 25 0 1 0 310962855 192757760 46659 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 47060 46659 77 171 0 46887 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 193596
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1356728/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=196964 CPUtime=940.11
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 48889 0 0 0 93955 56 0 0 25 0 1 0 310962855 201691136 48875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 49241 48875 77 171 0 49068 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 202320
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1345656/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=207800 CPUtime=1000.09
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 51625 0 0 0 99950 59 0 0 25 0 1 0 310962855 212787200 51611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 51950 51611 77 171 0 51777 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 213156
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1336248/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=217180 CPUtime=1060.07
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 53985 0 0 0 105945 62 0 0 25 0 1 0 310962855 222392320 53971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 54295 53971 77 171 0 54122 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 222536
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1326328/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=226884 CPUtime=1120.05
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 56433 0 0 0 111940 65 0 0 25 0 1 0 310962855 232329216 56419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 56721 56419 77 171 0 56548 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 232240
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1319800/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=233228 CPUtime=1180.02
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 58040 0 0 0 117935 67 0 0 25 0 1 0 310962855 238825472 58026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 58307 58026 77 171 0 58134 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 238584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13140
/proc/meminfo: memFree=1319736/2055920 swapFree=4180192/4192956
[pid=13134] ppid=13132 vsize=5356 CPUtime=1.73
/proc/13134/stat : 13134 (SatELiteGTI) S 13132 13134 12780 0 -1 4194304 336 12980 0 0 0 0 162 11 16 0 1 0 310962680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13134/statm: 1339 239 197 169 0 50 0
[pid=13140] ppid=13134 vsize=233228 CPUtime=1198.32
/proc/13140/stat : 13140 (minisat_static) R 13134 13134 12780 0 -1 4194304 58040 0 0 0 119765 67 0 0 25 0 1 0 310962855 238825472 58026 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/13140/statm: 58307 58026 77 171 0 58134 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 238584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13134 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=626752
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119981
# CPU time returned by wait4() is 1.74673
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.27
CPU system time (s): 0.78
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 238584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62675
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13316
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= 15
involuntary context switches= 12
runsolver used 1.45278 second user time and 3.03054 second system time
The end
Begin job on node4 at 2009-05-20 16:21:27
IDJOB=1834265
IDBENCH=71799
IDSOLVER=671
FILE ID=node4/1834265-1242829286
PBS_JOBID= 9322525
Free space on /tmp= 66060 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n9_i9_pp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834265-1242829286/watcher-1834265-1242829286 -o /tmp/evaluation-result-1834265-1242829286/solver-1834265-1242829286 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834265-1242829286.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3e04f934e4f74a8e89587f6c1327f77e
RANDOM SEED=555710333
node4.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.265
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.265
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: 1564520 kB
Buffers: 58772 kB
Cached: 357640 kB
SwapCached: 7092 kB
Active: 245488 kB
Inactive: 179432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1564520 kB
SwapTotal: 4192956 kB
SwapFree: 4180192 kB
Dirty: 11712 kB
Writeback: 0 kB
Mapped: 13552 kB
Slab: 52512 kB
Committed_AS: 1200644 kB
PageTables: 1476 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= 66048 MiB
End job on node4 at 2009-05-20 16:41:30