0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 19612 74038 | 5883 0 0 nan | 0.000 % |
0.00/0.04 c | 0 | 17759 66584 | -- 0 -- -- | -- | -1674/-6692
0.00/0.04 c ==============================================================================
0.00/0.04 c Result : #vars: 2844 #clauses: 17759 #literals: 66584
0.00/0.04 c CPU time: 0.027995 s
0.00/0.04 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 2844 |
0.00/0.06 c | Number of clauses: 17759 |
0.04/0.07 c | Parsing time: 0.01 s |
0.04/0.07 c ============================[ Search Statistics ]==============================
0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.07 c ===============================================================================
0.04/0.07 c | 0 | 2844 17759 66584 | 5919 0 nan | 0.000 % |
0.04/0.08 c | 100 | 2844 17759 66584 | 5919 100 16 | 0.000 % |
0.04/0.11 c | 201 | 2844 17759 66584 | 5919 201 47 | 0.000 % |
0.04/0.12 c | 302 | 2844 17759 66584 | 5919 302 41 | 0.000 % |
0.04/0.14 c | 413 | 2844 17759 66584 | 5919 413 35 | 0.000 % |
0.04/0.16 c | 513 | 2844 17759 66584 | 5919 513 41 | 0.000 % |
0.04/0.17 c | 623 | 2844 17759 66584 | 5919 623 37 | 0.000 % |
0.04/0.19 c | 745 | 2844 17759 66584 | 5919 745 33 | 0.000 % |
0.04/0.22 c | 846 | 2844 17759 66584 | 5919 846 39 | 0.000 % |
0.04/0.23 c | 957 | 2844 17759 66584 | 5919 957 38 | 0.000 % |
0.04/0.26 c | 1078 | 2844 17759 66584 | 5919 1078 36 | 0.000 % |
0.04/0.30 c | 1214 | 2844 17759 66584 | 5919 1214 37 | 0.000 % |
0.04/0.31 c | 1314 | 2844 17759 66584 | 5919 1314 36 | 0.000 % |
0.04/0.34 c | 1425 | 2844 17759 66584 | 5919 1425 37 | 0.000 % |
0.04/0.36 c | 1546 | 2844 17759 66584 | 5919 1546 36 | 0.000 % |
0.04/0.40 c | 1679 | 2844 17759 66584 | 5919 1679 38 | 0.001 % |
0.04/0.45 c | 1827 | 2844 17759 66584 | 5919 1827 43 | 0.000 % |
0.04/0.47 c | 1928 | 2844 17759 66584 | 5919 1928 42 | 0.000 % |
0.04/0.50 c | 2038 | 2844 17759 66584 | 5919 2038 43 | 0.000 % |
0.04/0.52 c | 2159 | 2844 17759 66584 | 5919 2159 42 | 0.000 % |
0.04/0.55 c | 2292 | 2844 17759 66584 | 5919 2292 43 | 0.001 % |
0.04/0.58 c | 2438 | 2844 17759 66584 | 5919 2438 43 | 0.000 % |
0.04/0.64 c | 2598 | 2844 17759 66584 | 5919 2598 43 | 0.000 % |
0.04/0.67 c | 2698 | 2844 17759 66584 | 5919 2698 43 | 0.001 % |
0.04/0.70 c | 2809 | 2844 17759 66584 | 5919 2809 44 | 0.000 % |
0.04/0.73 c | 2930 | 2844 17759 66584 | 5919 2930 44 | 0.000 % |
0.04/0.76 c | 3064 | 2844 17759 66584 | 5919 3064 44 | 0.000 % |
0.04/0.79 c | 3210 | 2844 17759 66584 | 5919 3210 44 | 0.000 % |
0.04/0.82 c | 3371 | 2844 17759 66584 | 5919 3371 43 | 0.000 % |
0.04/0.86 c | 3548 | 2844 17759 66584 | 5919 3548 43 | 0.000 % |
0.04/0.90 c | 3649 | 2844 17759 66584 | 5919 3649 45 | 0.001 % |
0.04/0.92 c | 3760 | 2844 17759 66584 | 5919 3760 44 | 0.000 % |
0.04/0.95 c | 3883 | 2844 17759 66584 | 5919 3883 44 | 0.000 % |
0.04/0.97 c | 4017 | 2844 17759 66584 | 5919 4017 44 | 0.000 % |
0.98/1.00 c | 4163 | 2844 17759 66584 | 5919 4163 44 | 0.001 % |
0.98/1.05 c | 4323 | 2844 17759 66584 | 5919 4323 44 | 0.000 % |
0.98/1.09 c | 4499 | 2844 17759 66584 | 5919 4499 44 | 0.000 % |
1.07/1.16 c | 4693 | 2844 17759 66584 | 5919 4693 44 | 0.000 % |
1.07/1.17 c | 4794 | 2844 17759 66584 | 5919 4794 43 | 0.000 % |
1.17/1.21 c | 4904 | 2844 17759 66584 | 5919 4904 44 | 0.000 % |
1.17/1.24 c | 5025 | 2844 17759 66584 | 5919 5025 44 | 0.000 % |
1.17/1.29 c | 5159 | 2843 17748 66543 | 5919 5157 45 | 0.035 % |
1.27/1.31 c | 5305 | 2843 17748 66543 | 5919 5303 44 | 0.035 % |
1.27/1.36 c | 5467 | 2843 17748 66543 | 5919 5465 44 | 0.036 % |
1.27/1.39 c | 5644 | 2842 17748 66543 | 5919 5641 44 | 0.071 % |
1.37/1.47 c | 5837 | 2842 17748 66543 | 5919 5834 44 | 0.071 % |
1.47/1.56 c | 6049 | 2842 17737 66502 | 5919 6045 45 | 0.071 % |
1.47/1.59 c | 6150 | 2842 17737 66502 | 5919 5542 43 | 0.070 % |
1.57/1.63 c | 6260 | 2842 17737 66502 | 5919 5652 44 | 0.071 % |
1.57/1.67 c | 6382 | 2842 17737 66502 | 5919 5774 44 | 0.070 % |
1.67/1.71 c | 6516 | 2842 17737 66502 | 5919 5908 44 | 0.071 % |
1.67/1.74 c | 6662 | 2842 17737 66502 | 5919 6054 44 | 0.070 % |
1.77/1.80 c | 6823 | 2842 17737 66502 | 5919 5610 42 | 0.071 % |
1.77/1.86 c | 6999 | 2842 17737 66502 | 5919 5786 42 | 0.071 % |
1.87/1.91 c | 7192 | 2842 17737 66502 | 5919 5979 42 | 0.071 % |
1.87/1.99 c | 7405 | 2842 17737 66502 | 5919 5595 40 | 0.071 % |
1.97/2.06 c | 7638 | 2842 17737 66502 | 5919 5828 41 | 0.071 % |
1.97/2.07 c | 7740 | 2842 17737 66502 | 5919 5930 41 | 0.071 % |
1.97/2.10 c | 7851 | 2842 17737 66502 | 5919 5448 39 | 0.071 % |
2.07/2.13 c | 7973 | 2842 17737 66502 | 5919 5570 40 | 0.071 % |
2.07/2.17 c | 8106 | 2842 17737 66502 | 5919 5703 40 | 0.071 % |
2.17/2.22 c | 8252 | 2842 17737 66502 | 5919 5849 40 | 0.071 % |
2.17/2.28 c | 8413 | 2842 17737 66502 | 5919 6010 40 | 0.071 % |
2.27/2.34 c | 8589 | 2842 17737 66502 | 5919 5585 39 | 0.071 % |
2.27/2.40 c | 8783 | 2842 17737 66502 | 5919 5779 39 | 0.071 % |
2.37/2.46 c | 8997 | 2842 17737 66502 | 5919 5993 40 | 0.071 % |
2.47/2.52 c | 9230 | 2842 17737 66502 | 5919 5627 38 | 0.071 % |
2.57/2.60 c | 9488 | 2842 17737 66502 | 5919 5885 40 | 0.071 % |
2.57/2.64 c | 9589 | 2842 17737 66502 | 5919 5986 40 | 0.070 % |
2.57/2.68 c | 9699 | 2842 17737 66502 | 5919 5498 39 | 0.070 % |
2.67/2.72 c | 9821 | 2842 17737 66502 | 5919 5620 39 | 0.071 % |
2.67/2.77 c | 9956 | 2842 17737 66502 | 5919 5755 40 | 0.071 % |
2.77/2.83 c | 10103 | 2842 17737 66502 | 2147483647 5902 40 | 0.071 % |
2.77/2.88 c | 10263 | 2842 17737 66502 | 2147483647 6062 40 | 0.071 % |
2.87/2.92 c | 10440 | 2842 17737 66502 | 2147483647 6239 40 | 0.071 % |
2.87/2.99 c | 10636 | 2842 17737 66502 | 2147483647 6435 41 | 0.071 % |
2.97/3.04 c | 10848 | 2842 17737 66502 | 2147483647 6647 41 | 0.070 % |
3.07/3.10 c | 11081 | 2842 17737 66502 | 2147483647 6880 41 | 0.070 % |
3.07/3.20 c | 11337 | 2842 17737 66502 | 2147483647 7136 41 | 0.070 % |
3.27/3.30 c | 11618 | 2842 17737 66502 | 2147483647 7417 41 | 0.071 % |
3.27/3.34 c | 11718 | 2842 17737 66502 | 2147483647 7517 41 | 0.071 % |
3.27/3.38 c | 11831 | 2842 17737 66502 | 2147483647 7630 41 | 0.071 % |
3.37/3.43 c | 11953 | 2842 17737 66502 | 2147483647 7752 41 | 0.070 % |
3.37/3.47 c | 12087 | 2842 17737 66502 | 2147483647 7886 41 | 0.071 % |
3.47/3.52 c | 12233 | 2842 17737 66502 | 2147483647 8032 42 | 0.071 % |
3.47/3.56 c | 12394 | 2842 17737 66502 | 2147483647 8193 42 | 0.071 % |
3.57/3.61 c | 12570 | 2842 17737 66502 | 2147483647 8369 41 | 0.071 % |
3.57/3.67 c | 12763 | 2842 17737 66502 | 2147483647 8562 42 | 0.070 % |
3.67/3.72 c | 12976 | 2842 17737 66502 | 2147483647 8775 41 | 0.070 % |
3.77/3.81 c | 13210 | 2842 17737 66502 | 2147483647 9009 42 | 0.071 % |
3.77/3.88 c | 13467 | 2842 17737 66502 | 2147483647 9266 42 | 0.070 % |
3.86/3.99 c | 13748 | 2842 17737 66502 | 2147483647 9547 43 | 0.071 % |
4.06/4.11 c | 14060 | 2842 17737 66502 | 2147483647 9859 43 | 0.071 % |
4.06/4.15 c | 14160 | 2842 17737 66502 | 2147483647 9959 43 | 0.071 % |
4.06/4.20 c | 14272 | 2842 17737 66502 | 2147483647 10071 43 | 0.071 % |
4.16/4.23 c | 14393 | 2842 17737 66502 | 2147483647 10192 43 | 0.071 % |
4.16/4.28 c | 14526 | 2842 17737 66502 | 2147483647 10325 43 | 0.071 % |
4.26/4.33 c | 14672 | 2842 17737 66502 | 2147483647 10471 44 | 0.071 % |
4.26/4.38 c | 14832 | 2842 17737 66502 | 2147483647 10631 43 | 0.070 % |
4.36/4.44 c | 15008 | 2842 17737 66502 | 2147483647 10807 44 | 0.071 % |
4.46/4.52 c | 15201 | 2842 17737 66502 | 2147483647 11000 44 | 0.071 % |
4.46/4.59 c | 15413 | 2842 17737 66502 | 2147483647 11212 44 | 0.071 % |
4.66/4.71 c | 15646 | 2842 17737 66502 | 2147483647 11445 44 | 0.071 % |
4.76/4.80 c | 15902 | 2842 17737 66502 | 2147483647 11701 44 | 0.071 % |
4.86/4.91 c | 16185 | 2842 17737 66502 | 2147483647 11984 44 | 0.071 % |
4.96/5.04 c | 16495 | 2842 17737 66502 | 2147483647 12294 45 | 0.071 % |
5.06/5.16 c | 16835 | 2842 17737 66502 | 2147483647 12634 44 | 0.071 % |
5.16/5.21 c | 16937 | 2842 17737 66502 | 2147483647 12736 45 | 0.071 % |
5.16/5.25 c | 17048 | 2842 17737 66502 | 2147483647 12847 45 | 0.071 % |
5.26/5.30 c | 17171 | 2842 17737 66502 | 2147483647 12970 45 | 0.071 % |
5.26/5.35 c | 17305 | 2842 17737 66502 | 2147483647 13104 45 | 0.071 % |
5.36/5.41 c | 17451 | 2842 17737 66502 | 2147483647 13250 45 | 0.071 % |
5.36/5.46 c | 17611 | 2842 17737 66502 | 2147483647 13410 45 | 0.070 % |
5.46/5.55 c | 17787 | 2842 17737 66502 | 2147483647 13586 45 | 0.071 % |
5.56/5.63 c | 17980 | 2842 17737 66502 | 2147483647 13779 45 | 0.071 % |
5.66/5.71 c | 18192 | 2842 17737 66502 | 2147483647 13991 45 | 0.071 % |
5.76/5.81 c | 18425 | 2842 17737 66502 | 2147483647 14224 45 | 0.071 % |
5.86/5.92 c | 18682 | 2842 17737 66502 | 2147483647 14481 45 | 0.071 % |
5.96/6.04 c | 18963 | 2842 17737 66502 | 2147483647 14762 45 | 0.071 % |
6.06/6.16 c | 19274 | 2842 17737 66502 | 2147483647 15073 45 | 0.071 % |
6.16/6.29 c | 19615 | 2842 17737 66502 | 2147483647 15414 46 | 0.070 % |
6.36/6.43 c | 19989 | 2842 17737 66502 | 2147483647 15788 47 | 0.071 % |
6.36/6.48 c | 20089 | 2842 17737 66502 | 2147483647 15888 47 | 0.071 % |
6.46/6.54 c | 20200 | 2842 17737 66502 | 2147483647 15999 47 | 0.071 % |
6.46/6.59 c | 20322 | 2842 17737 66502 | 2147483647 16121 47 | 0.071 % |
6.56/6.63 c | 20455 | 2842 17737 66502 | 2147483647 16254 47 | 0.071 % |
6.66/6.73 c | 20601 | 2842 17737 66502 | 2147483647 16400 47 | 0.071 % |
6.75/6.83 c | 20761 | 2842 17737 66502 | 2147483647 16560 47 | 0.071 % |
6.85/6.98 c | 20938 | 2842 17737 66502 | 2147483647 16737 47 | 0.071 % |
6.95/7.08 c | 21133 | 2842 17737 66502 | 2147483647 16932 47 | 0.071 % |
7.05/7.19 c | 21346 | 2842 17737 66502 | 2147483647 17145 47 | 0.071 % |
7.15/7.29 c | 21579 | 2842 17737 66502 | 2147483647 17378 47 | 0.071 % |
7.35/7.40 c | 21836 | 2842 17737 66502 | 2147483647 17635 47 | 0.071 % |
7.45/7.53 c | 22117 | 2842 17737 66502 | 2147483647 17916 47 | 0.070 % |
7.56/7.66 c | 22426 | 2842 17737 66502 | 2147483647 18225 47 | 0.070 % |
7.75/7.80 c | 22765 | 2842 17737 66502 | 2147483647 18564 47 | 0.071 % |
7.95/8.02 c | 23137 | 2842 17737 66502 | 2147483647 18936 47 | 0.071 % |
8.15/8.20 c | 23547 | 2842 17737 66502 | 2147483647 19346 47 | 0.071 % |
8.15/8.26 c | 23649 | 2842 17737 66502 | 2147483647 19448 47 | 0.071 % |
8.26/8.32 c | 23759 | 2842 17737 66502 | 2147483647 19558 47 | 0.070 % |
8.26/8.38 c | 23880 | 2842 17737 66502 | 2147483647 19679 47 | 0.071 % |
8.36/8.47 c | 24014 | 2842 17737 66502 | 2147483647 19813 47 | 0.071 % |
8.46/8.56 c | 24160 | 2842 17737 66502 | 2147483647 19959 48 | 0.071 % |
8.56/8.64 c | 24321 | 2842 17737 66502 | 2147483647 20120 47 | 0.071 % |
8.66/8.74 c | 24497 | 2842 17737 66502 | 2147483647 20296 47 | 0.071 % |
8.76/8.84 c | 24690 | 2842 17737 66502 | 2147483647 20489 48 | 0.070 % |
8.86/8.94 c | 24902 | 2842 17737 66502 | 2147483647 20701 48 | 0.070 % |
8.96/9.06 c | 25135 | 2842 17737 66502 | 2147483647 20934 48 | 0.071 % |
9.16/9.21 c | 25392 | 2842 17737 66502 | 2147483647 21191 47 | 0.071 % |
9.36/9.40 c | 25675 | 2842 17737 66502 | 2147483647 21474 47 | 0.070 % |
9.46/9.56 c | 25984 | 2842 17737 66502 | 2147483647 21783 47 | 0.071 % |
9.66/9.77 c | 26323 | 2842 17737 66502 | 2147483647 22122 48 | 0.071 % |
9.86/9.99 c | 26695 | 2842 17737 66502 | 2147483647 22494 47 | 0.071 % |
10.16/10.28 c | 27104 | 2842 17737 66502 | 2147483647 22903 48 | 0.071 % |
10.46/10.53 c | 27555 | 2842 17737 66502 | 2147483647 23354 48 | 0.071 % |
10.46/10.60 c | 27656 | 2842 17737 66502 | 2147483647 23455 48 | 0.071 % |
10.56/10.65 c | 27766 | 2842 17737 66502 | 2147483647 23565 48 | 0.071 % |
10.66/10.73 c | 27887 | 2842 17737 66502 | 2147483647 23686 48 | 0.070 % |
10.76/10.81 c | 28020 | 2842 17737 66502 | 2147483647 23819 48 | 0.071 % |
10.76/10.90 c | 28166 | 2842 17737 66502 | 2147483647 23965 48 | 0.071 % |
10.86/10.99 c | 28327 | 2842 17737 66502 | 2147483647 24126 48 | 0.071 % |
10.96/11.09 c | 28503 | 2842 17737 66502 | 2147483647 24302 48 | 0.071 % |
11.16/11.20 c | 28697 | 2842 17737 66502 | 2147483647 24496 48 | 0.071 % |
11.26/11.31 c | 28913 | 2842 17737 66502 | 2147483647 24712 48 | 0.071 % |
11.36/11.46 c | 29146 | 2842 17737 66502 | 2147483647 24945 48 | 0.071 % |
11.56/11.65 c | 29402 | 2842 17737 66502 | 2147483647 25201 48 | 0.071 % |
11.75/11.85 c | 29685 | 2842 17737 66502 | 2147483647 25484 48 | 0.071 % |
11.96/12.05 c | 29995 | 2842 17737 66502 | 2147483647 25794 48 | 0.071 % |
12.15/12.24 c | 30334 | 2842 17737 66502 | 2147483647 26133 48 | 0.070 % |
12.35/12.47 c | 30707 | 2842 17737 66502 | 2147483647 26506 48 | 0.071 % |
12.65/12.74 c | 31116 | 2842 17737 66502 | 2147483647 26915 48 | 0.071 % |
12.95/13.05 c | 31566 | 2842 17737 66502 | 2147483647 27365 48 | 0.070 % |
13.25/13.33 c | 32060 | 2842 17737 66502 | 2147483647 27859 48 | 0.071 % |
13.25/13.39 c | 32160 | 2842 17737 66502 | 2147483647 27959 48 | 0.071 % |
13.35/13.46 c | 32273 | 2842 17737 66502 | 2147483647 28072 48 | 0.071 % |
13.45/13.52 c | 32394 | 2842 17737 66502 | 2147483647 28193 48 | 0.071 % |
13.55/13.61 c | 32528 | 2842 17737 66502 | 2147483647 28327 48 | 0.070 % |
13.65/13.71 c | 32674 | 2842 17737 66502 | 2147483647 28473 48 | 0.071 % |
13.75/13.81 c | 32837 | 2842 17737 66502 | 2147483647 28636 48 | 0.071 % |
13.75/13.88 c | 33014 | 2842 17737 66502 | 2147483647 28813 48 | 0.071 % |
13.85/13.99 c | 33208 | 2842 17737 66502 | 2147483647 29007 48 | 0.070 % |
13.95/14.09 c | 33420 | 2842 17737 66502 | 2147483647 29219 48 | 0.071 % |
14.15/14.21 c | 33653 | 2842 17737 66502 | 2147483647 29452 48 | 0.071 % |
14.25/14.35 c | 33909 | 2842 17737 66502 | 2147483647 29708 48 | 0.071 % |
14.35/14.48 c | 34190 | 2842 17737 66502 | 2147483647 29989 48 | 0.071 % |
14.55/14.65 c | 34499 | 2842 17737 66502 | 2147483647 30298 48 | 0.071 % |
14.85/14.92 c | 34838 | 2842 17737 66502 | 2147483647 30637 48 | 0.071 % |
15.05/15.17 c | 35211 | 2842 17737 66502 | 2147483647 31010 48 | 0.071 % |
15.35/15.43 c | 35621 | 2842 17737 66502 | 2147483647 31420 48 | 0.071 % |
15.55/15.68 c | 36071 | 2842 17737 66502 | 2147483647 31870 48 | 0.071 % |
15.95/16.09 c | 36564 | 2842 17737 66502 | 2147483647 32363 48 | 0.071 % |
16.45/16.53 c | 37106 | 2842 17737 66502 | 2147483647 32905 48 | 0.071 % |
16.55/16.62 c | 37207 | 2842 17737 66502 | 2147483647 33006 48 | 0.071 % |
16.65/16.70 c | 37318 | 2842 17737 66502 | 2147483647 33117 48 | 0.070 % |
16.65/16.78 c | 37439 | 2842 17737 66502 | 2147483647 33238 48 | 0.071 % |
16.75/16.88 c | 37573 | 2842 17737 66502 | 2147483647 33372 48 | 0.071 % |
16.95/17.02 c | 37722 | 2834 17624 66141 | 2147483647 33476 48 | 0.352 % |
17.05/17.11 c | 37884 | 2834 17624 66141 | 2147483647 33638 48 | 0.352 % |
17.15/17.23 c | 38061 | 2834 17624 66141 | 2147483647 33815 48 | 0.352 % |
17.25/17.38 c | 38254 | 2834 17624 66141 | 2147483647 34008 48 | 0.352 % |
17.45/17.52 c | 38467 | 2834 17624 66141 | 2147483647 34221 48 | 0.352 % |
17.55/17.68 c | 38700 | 2834 17624 66141 | 2147483647 34454 48 | 0.352 % |
17.74/17.81 c | 38957 | 2834 17624 66141 | 2147483647 34711 48 | 0.352 % |
17.94/18.03 c | 39238 | 2834 17624 66141 | 2147483647 34992 48 | 0.352 % |
18.14/18.28 c | 39547 | 2834 17624 66141 | 2147483647 35301 48 | 0.352 % |
18.44/18.50 c | 39886 | 2834 17624 66141 | 2147483647 35640 48 | 0.352 % |
18.66/18.73 c | 40259 | 2834 17624 66141 | 2147483647 36013 48 | 0.352 % |
18.95/19.02 c | 40670 | 2834 17624 66141 | 2147483647 36424 49 | 0.352 % |
19.35/19.42 c | 41119 | 2834 17624 66141 | 2147483647 36873 48 | 0.352 % |
19.75/19.81 c | 41613 | 2834 17624 66141 | 2147483647 37367 49 | 0.352 % |
20.15/20.25 c | 42157 | 2834 17624 66141 | 2147483647 37911 48 | 0.352 % |
20.65/20.76 c | 42754 | 2834 17624 66141 | 2147483647 38508 49 | 0.352 % |
20.75/20.85 c | 42854 | 2834 17624 66141 | 2147483647 38608 49 | 0.352 % |
20.85/20.94 c | 42964 | 2834 17624 66141 | 2147483647 38718 49 | 0.352 % |
20.95/21.02 c | 43086 | 2834 17624 66141 | 2147483647 38840 49 | 0.352 % |
21.05/21.12 c | 43220 | 2834 17624 66141 | 2147483647 38974 49 | 0.352 % |
21.25/21.30 c | 43367 | 2834 17624 66141 | 2147483647 39121 49 | 0.352 % |
21.35/21.47 c | 43528 | 2834 17624 66141 | 2147483647 39282 49 | 0.352 % |
21.55/21.64 c | 43705 | 2834 17624 66141 | 2147483647 39459 49 | 0.352 % |
21.65/21.79 c | 43900 | 2834 17624 66141 | 2147483647 39654 49 | 0.352 % |
21.85/21.93 c | 44113 | 2834 17624 66141 | 2147483647 39867 49 | 0.352 % |
22.05/22.18 c | 44346 | 2834 17624 66141 | 2147483647 40100 48 | 0.352 % |
22.25/22.39 c | 44603 | 2834 17624 66141 | 2147483647 40357 48 | 0.352 % |
22.55/22.64 c | 44884 | 2834 17624 66141 | 2147483647 40638 48 | 0.352 % |
22.85/22.95 c | 45194 | 2834 17624 66141 | 2147483647 40948 48 | 0.352 % |
23.25/23.30 c | 45533 | 2834 17624 66141 | 2147483647 41287 48 | 0.352 % |
23.45/23.54 c | 45907 | 2834 17624 66141 | 2147483647 41661 49 | 0.352 % |
23.85/23.98 c | 46316 | 2834 17624 66141 | 2147483647 42070 49 | 0.352 % |
24.35/24.42 c | 46766 | 2834 17624 66141 | 2147483647 42520 49 | 0.352 % |
24.85/24.93 c | 47261 | 2834 17624 66141 | 2147483647 43015 49 | 0.352 % |
25.25/25.37 c | 47803 | 2834 17624 66141 | 2147483647 43557 49 | 0.352 % |
25.84/25.98 c | 48401 | 2834 17624 66141 | 2147483647 44155 48 | 0.352 % |
26.54/26.69 c | 49056 | 2834 17624 66141 | 2147483647 44810 48 | 0.352 % |
26.64/26.79 c | 49156 | 2834 17624 66141 | 2147483647 44910 48 | 0.352 % |
26.74/26.89 c | 49268 | 2834 17624 66141 | 2147483647 45022 48 | 0.352 % |
26.94/27.04 c | 49390 | 2834 17624 66141 | 2147483647 45144 48 | 0.352 % |
27.04/27.18 c | 49524 | 2834 17624 66141 | 2147483647 45278 48 | 0.352 % |
27.24/27.32 c | 49670 | 2834 17624 66141 | 2147483647 45424 48 | 0.352 % |
27.34/27.44 c | 49831 | 2834 17624 66141 | 2147483647 45585 48 | 0.352 % |
27.44/27.58 c | 50007 | 2834 17624 66141 | 2147483647 45761 48 | 0.352 % |
27.64/27.79 c | 50200 | 2834 17624 66141 | 2147483647 45954 48 | 0.352 % |
27.94/28.02 c | 50412 | 2834 17624 66141 | 2147483647 46166 48 | 0.352 % |
28.14/28.23 c | 50646 | 2834 17624 66141 | 2147483647 46400 48 | 0.352 % |
28.44/28.51 c | 50902 | 2834 17624 66141 | 2147483647 46656 48 | 0.352 % |
28.64/28.79 c | 51183 | 2834 17624 66141 | 2147483647 46937 49 | 0.352 % |
29.04/29.10 c | 51494 | 2834 17624 66141 | 2147483647 47248 49 | 0.352 % |
29.24/29.39 c | 51834 | 2834 17624 66141 | 2147483647 47588 49 | 0.352 % |
29.74/29.80 c | 52207 | 2834 17624 66141 | 2147483647 47961 49 | 0.352 % |
30.04/30.19 c | 52616 | 2834 17624 66141 | 2147483647 48370 49 | 0.352 % |
30.75/30.86 c | 53065 | 2834 17624 66141 | 2147483647 48819 49 | 0.352 % |
31.14/31.25 c | 53558 | 2834 17624 66141 | 2147483647 49312 49 | 0.352 % |
31.75/31.86 c | 54101 | 2834 17624 66141 | 2147483647 49855 49 | 0.352 % |
32.34/32.42 c | 54698 | 2834 17624 66141 | 2147483647 50452 49 | 0.352 % |
33.04/33.13 c | 55354 | 2834 17624 66141 | 2147483647 51108 49 | 0.352 % |
33.84/33.99 c | 56074 | 2834 17624 66141 | 2147483647 51828 49 | 0.352 % |
34.04/34.11 c | 56174 | 2834 17624 66141 | 2147483647 51928 49 | 0.352 % |
34.14/34.22 c | 56285 | 2834 17624 66141 | 2147483647 52039 49 | 0.352 % |
34.24/34.33 c | 56406 | 2834 17624 66141 | 2147483647 52160 49 | 0.352 % |
34.34/34.47 c | 56539 | 2834 17624 66141 | 2147483647 52293 49 | 0.352 % |
34.54/34.61 c | 56686 | 2834 17624 66141 | 2147483647 52440 49 | 0.352 % |
34.64/34.75 c | 56850 | 2834 17624 66141 | 2147483647 52604 49 | 0.352 % |
34.84/34.91 c | 57027 | 2834 17624 66141 | 2147483647 52781 49 | 0.352 % |
35.04/35.11 c | 57220 | 2834 17624 66141 | 2147483647 52974 49 | 0.352 % |
35.23/35.32 c | 57433 | 2834 17624 66141 | 2147483647 53187 49 | 0.352 % |
35.43/35.53 c | 57667 | 2834 17624 66141 | 2147483647 53421 49 | 0.352 % |
35.63/35.74 c | 57924 | 2834 17624 66141 | 2147483647 53678 49 | 0.352 % |
35.93/36.08 c | 58205 | 2834 17624 66141 | 2147483647 53959 49 | 0.352 % |
36.33/36.45 c | 58514 | 2834 17624 66141 | 2147483647 54268 49 | 0.352 % |
36.73/36.82 c | 58853 | 2834 17624 66141 | 2147483647 54607 49 | 0.352 % |
37.03/37.15 c | 59226 | 2834 17624 66141 | 2147483647 54980 49 | 0.352 % |
37.43/37.55 c | 59636 | 2834 17624 66141 | 2147483647 55390 49 | 0.352 % |
37.93/38.00 c | 60087 | 2834 17624 66141 | 2147483647 55841 49 | 0.352 % |
38.44/38.59 c | 60580 | 2834 17624 66141 | 2147483647 56334 49 | 0.352 % |
39.04/39.17 c | 61122 | 2834 17624 66141 | 2147483647 56876 49 | 0.352 % |
39.64/39.79 c | 61718 | 2834 17624 66141 | 2147483647 57472 49 | 0.352 % |
40.64/40.75 c | 62374 | 2834 17624 66141 | 2147483647 58128 49 | 0.352 % |
41.44/41.54 c | 63094 | 2834 17624 66141 | 2147483647 58848 49 | 0.352 % |
42.24/42.33 c | 63888 | 2834 17624 66141 | 2147483647 59642 49 | 0.352 % |
42.34/42.42 c | 63989 | 2834 17624 66141 | 2147483647 59743 49 | 0.352 % |
42.44/42.55 c | 64100 | 2834 17624 66141 | 2147483647 59854 49 | 0.352 % |
42.54/42.66 c | 64221 | 2834 17624 66141 | 2147483647 59975 49 | 0.352 % |
42.64/42.78 c | 64354 | 2834 17624 66141 | 2147483647 60108 49 | 0.352 % |
42.84/42.92 c | 64500 | 2834 17624 66141 | 2147483647 60254 49 | 0.352 % |
43.04/43.16 c | 64661 | 2834 17624 66141 | 2147483647 60415 49 | 0.352 % |
43.24/43.35 c | 64837 | 2834 17624 66141 | 2147483647 60591 49 | 0.352 % |
43.43/43.56 c | 65031 | 2834 17624 66141 | 2147483647 60785 49 | 0.352 % |
43.73/43.84 c | 65243 | 2834 17624 66141 | 2147483647 60997 49 | 0.352 % |
44.03/44.16 c | 65476 | 2834 17624 66141 | 2147483647 61230 49 | 0.352 % |
44.43/44.55 c | 65733 | 2834 17624 66141 | 2147483647 61487 49 | 0.352 % |
44.83/44.99 c | 66016 | 2834 17624 66141 | 2147483647 61770 49 | 0.352 % |
45.23/45.39 c | 66325 | 2834 17624 66141 | 2147483647 62079 49 | 0.352 % |
45.63/45.71 c | 66664 | 2834 17624 66141 | 2147483647 62418 49 | 0.352 % |
46.03/46.15 c | 67037 | 2834 17624 66141 | 2147483647 62791 49 | 0.352 % |
46.53/46.69 c | 67447 | 2834 17624 66141 | 2147483647 63201 49 | 0.352 % |
47.03/47.12 c | 67896 | 2834 17624 66141 | 2147483647 63650 49 | 0.352 % |
47.53/47.69 c | 68389 | 2834 17624 66141 | 2147483647 64143 49 | 0.352 % |
48.43/48.51 c | 68934 | 2834 17624 66141 | 2147483647 64688 49 | 0.352 % |
49.23/49.35 c | 69530 | 2834 17624 66141 | 2147483647 65284 49 | 0.352 % |
49.93/50.03 c | 70185 | 2834 17624 66141 | 65754 65939 49 | 0.352 % |
50.63/50.79 c | 70906 | 2834 17624 66141 | 65754 59408 47 | 0.352 % |
51.63/51.74 c | 71698 | 2834 17624 66141 | 65754 60200 47 | 0.352 % |
52.43/52.54 c | 72569 | 2834 17624 66141 | 65754 61071 47 | 0.352 % |
52.53/52.67 c | 72669 | 2834 17624 66141 | 65754 61171 47 | 0.352 % |
52.73/52.81 c | 72780 | 2834 17624 66141 | 65754 61282 47 | 0.352 % |
52.83/52.93 c | 72901 | 2834 17624 66141 | 65754 61403 47 | 0.352 % |
52.92/53.07 c | 73035 | 2834 17624 66141 | 65754 61537 47 | 0.352 % |
53.12/53.24 c | 73181 | 2834 17624 66141 | 65754 61683 47 | 0.352 % |
53.32/53.49 c | 73341 | 2834 17624 66141 | 65754 61843 47 | 0.352 % |
53.62/53.70 c | 73517 | 2834 17624 66141 | 65754 62019 47 | 0.352 % |
53.83/53.99 c | 73711 | 2834 17624 66141 | 65754 62213 47 | 0.352 % |
54.12/54.26 c | 73923 | 2834 17624 66141 | 65754 62425 48 | 0.352 % |
54.42/54.58 c | 74157 | 2834 17624 66141 | 65754 62659 47 | 0.352 % |
54.72/54.89 c | 74413 | 2834 17624 66141 | 65754 62915 47 | 0.352 % |
55.12/55.22 c | 74695 | 2834 17624 66141 | 65754 63197 47 | 0.352 % |
55.52/55.64 c | 75005 | 2834 17624 66141 | 65754 63507 47 | 0.352 % |
55.93/56.05 c | 75345 | 2834 17624 66141 | 65754 63847 47 | 0.352 % |
56.32/56.50 c | 75717 | 2834 17624 66141 | 65754 64219 47 | 0.352 % |
56.82/56.95 c | 76127 | 2834 17624 66141 | 65754 64629 47 | 0.352 % |
57.22/57.37 c | 76577 | 2834 17624 66141 | 65754 65079 48 | 0.352 % |
57.82/57.95 c | 77071 | 2834 17624 66141 | 65754 65573 48 | 0.352 % |
58.42/58.57 c | 77614 | 2834 17624 66141 | 65754 66116 48 | 0.352 % |
59.23/59.40 c | 78211 | 2834 17624 66141 | 65754 58281 46 | 0.352 % |
60.12/60.23 c | 78867 | 2834 17624 66141 | 65754 58937 46 | 0.352 % |
61.02/61.15 c | 79587 | 2834 17624 66141 | 65754 59657 46 | 0.352 % |
61.82/61.97 c | 80381 | 2834 17624 66141 | 60071 60451 46 | 0.352 % |
62.72/62.82 c | 81252 | 2834 17624 66141 | 60071 54151 44 | 0.352 % |
64.02/64.16 c | 82210 | 2834 17624 66141 | 60071 55109 44 | 0.352 % |
64.12/64.26 c | 82310 | 2834 17624 66141 | 60071 55209 44 | 0.352 % |
64.22/64.39 c | 82420 | 2834 17624 66141 | 60071 55319 44 | 0.352 % |
64.32/64.49 c | 82542 | 2834 17624 66141 | 60071 55441 44 | 0.352 % |
64.52/64.65 c | 82675 | 2834 17624 66141 | 60071 55574 44 | 0.352 % |
64.73/64.81 c | 82821 | 2834 17624 66141 | 60071 55720 44 | 0.352 % |
64.92/65.01 c | 82981 | 2834 17624 66141 | 60071 55880 44 | 0.352 % |
65.02/65.17 c | 83158 | 2834 17624 66141 | 60071 56057 44 | 0.352 % |
65.22/65.39 c | 83351 | 2834 17624 66141 | 60071 56250 44 | 0.352 % |
65.42/65.55 c | 83563 | 2834 17624 66141 | 60071 56462 44 | 0.352 % |
65.72/65.85 c | 83798 | 2833 17614 66105 | 60071 56696 44 | 0.387 % |
66.02/66.16 c | 84054 | 2833 17614 66105 | 60071 56952 45 | 0.387 % |
66.42/66.55 c | 84336 | 2833 17614 66105 | 60071 57234 45 | 0.388 % |
66.73/66.80 c | 84647 | 2833 17614 66105 | 60071 57545 45 | 0.387 % |
67.03/67.18 c | 84987 | 2833 17614 66105 | 60071 57885 45 | 0.387 % |
67.53/67.60 c | 85359 | 2833 17614 66105 | 60071 58257 45 | 0.387 % |
67.93/68.04 c | 85768 | 2833 17614 66105 | 60071 58666 45 | 0.388 % |
68.33/68.45 c | 86218 | 2833 17614 66105 | 60071 59116 45 | 0.387 % |
68.83/68.91 c | 86711 | 2833 17614 66105 | 60071 59609 45 | 0.387 % |
69.53/69.63 c | 87253 | 2833 17614 66105 | 60071 60151 45 | 0.388 % |
70.03/70.17 c | 87849 | 2833 17614 66105 | 60071 54486 44 | 0.387 % |
70.83/70.94 c | 88507 | 2833 17614 66105 | 60071 55144 44 | 0.387 % |
71.52/71.64 c | 89227 | 2833 17614 66105 | 60071 55864 44 | 0.387 % |
72.32/72.43 c | 90019 | 2833 17614 66105 | 56639 56656 44 | 0.387 % |
73.22/73.38 c | 90891 | 2833 17614 66105 | 56639 51809 43 | 0.388 % |
74.32/74.44 c | 91850 | 2833 17614 66105 | 56639 52768 43 | 0.387 % |
75.42/75.57 c | 92903 | 2833 17614 66105 | 56639 53821 43 | 0.387 % |
75.52/75.69 c | 93003 | 2833 17614 66105 | 56639 53921 43 | 0.387 % |
75.73/75.80 c | 93114 | 2833 17614 66105 | 56639 54032 43 | 0.387 % |
75.83/75.95 c | 93235 | 2833 17614 66105 | 56639 54153 43 | 0.387 % |
76.02/76.11 c | 93368 | 2833 17614 66105 | 56639 54286 43 | 0.387 % |
76.12/76.26 c | 93514 | 2833 17614 66105 | 56639 54432 43 | 0.387 % |
76.32/76.46 c | 93676 | 2833 17614 66105 | 56639 54594 43 | 0.387 % |
76.52/76.64 c | 93852 | 2833 17614 66105 | 56639 54770 43 | 0.387 % |
76.72/76.87 c | 94046 | 2833 17614 66105 | 56639 54964 43 | 0.387 % |
77.02/77.14 c | 94258 | 2833 17614 66105 | 56639 55176 43 | 0.387 % |
77.32/77.42 c | 94491 | 2833 17614 66105 | 56639 55409 43 | 0.387 % |
77.62/77.76 c | 94747 | 2833 17614 66105 | 56639 55665 43 | 0.387 % |
77.92/78.05 c | 95028 | 2833 17614 66105 | 56639 55946 44 | 0.387 % |
78.32/78.42 c | 95337 | 2833 17614 66105 | 56639 56255 44 | 0.387 % |
78.72/78.80 c | 95676 | 2833 17614 66105 | 56639 56594 44 | 0.387 % |
79.02/79.20 c | 96048 | 2833 17614 66105 | 56639 56966 44 | 0.387 % |
79.52/79.69 c | 96458 | 2833 17614 66105 | 56639 51680 42 | 0.387 % |
80.02/80.15 c | 96907 | 2833 17614 66105 | 56639 52129 43 | 0.387 % |
80.52/80.63 c | 97401 | 2833 17614 66105 | 56639 52623 43 | 0.387 % |
81.02/81.15 c | 97943 | 2833 17614 66105 | 56639 53165 43 | 0.387 % |
81.72/81.85 c | 98539 | 2833 17614 66105 | 56639 53761 43 | 0.387 % |
82.42/82.58 c | 99194 | 2833 17614 66105 | 56639 54416 43 | 0.388 % |
83.22/83.31 c | 99914 | 2833 17614 66105 | 56639 55136 43 | 0.387 % |
83.92/84.09 c | 100707 | 2833 17614 66105 | 2147483647 55929 43 | 0.387 % |
84.72/84.87 c | 101578 | 2833 17614 66105 | 2147483647 56800 43 | 0.387 % |
85.91/86.05 c | 102536 | 2833 17614 66105 | 2147483647 57758 43 | 0.387 % |
87.11/87.25 c | 103590 | 2833 17614 66105 | 2147483647 58812 43 | 0.387 % |
88.41/88.58 c | 104748 | 2833 17614 66105 | 2147483647 59970 44 | 0.387 % |
88.51/88.69 c | 104848 | 2833 17614 66105 | 2147483647 60070 44 | 0.387 % |
88.71/88.83 c | 104959 | 2833 17614 66105 | 2147483647 60181 44 | 0.387 % |
88.81/88.95 c | 105080 | 2833 17614 66105 | 2147483647 60302 44 | 0.387 % |
89.02/89.14 c | 105216 | 2833 17614 66105 | 2147483647 60438 44 | 0.387 % |
89.11/89.29 c | 105362 | 2833 17614 66105 | 2147483647 60584 44 | 0.387 % |
89.31/89.46 c | 105523 | 2833 17614 66105 | 2147483647 60745 44 | 0.387 % |
89.51/89.68 c | 105700 | 2833 17614 66105 | 2147483647 60922 44 | 0.387 % |
89.81/89.91 c | 105894 | 2833 17614 66105 | 2147483647 61116 44 | 0.387 % |
90.02/90.15 c | 106107 | 2833 17614 66105 | 2147483647 61329 44 | 0.387 % |
90.31/90.40 c | 106341 | 2833 17614 66105 | 2147483647 61563 44 | 0.387 % |
90.51/90.65 c | 106597 | 2833 17614 66105 | 2147483647 61819 44 | 0.387 % |
90.91/91.05 c | 106878 | 2833 17614 66105 | 2147483647 62100 44 | 0.387 % |
91.31/91.41 c | 107191 | 2833 17614 66105 | 2147483647 62413 44 | 0.387 % |
91.71/91.83 c | 107531 | 2833 17614 66105 | 2147483647 62753 44 | 0.387 % |
92.11/92.24 c | 107904 | 2833 17614 66105 | 2147483647 63126 44 | 0.387 % |
92.51/92.69 c | 108313 | 2833 17614 66105 | 2147483647 63535 44 | 0.387 % |
93.01/93.17 c | 108762 | 2833 17614 66105 | 2147483647 63984 44 | 0.387 % |
93.71/93.89 c | 109259 | 2833 17614 66105 | 2147483647 64481 44 | 0.387 % |
94.41/94.55 c | 109801 | 2833 17614 66105 | 2147483647 65023 44 | 0.387 % |
95.11/95.23 c | 110397 | 2833 17614 66105 | 65222 65619 44 | 0.387 % |
95.81/95.99 c | 111052 | 2833 17614 66105 | 65222 58454 43 | 0.387 % |
96.61/96.71 c | 111775 | 2833 17614 66105 | 65222 59177 43 | 0.388 % |
97.41/97.51 c | 112567 | 2833 17614 66105 | 65222 59969 43 | 0.387 % |
98.31/98.41 c | 113439 | 2833 17614 66105 | 65222 60841 44 | 0.387 % |
99.51/99.66 c | 114398 | 2833 17614 66105 | 65222 61800 43 | 0.387 % |
100.71/100.87 c | 115451 | 2833 17614 66105 | 65222 62853 44 | 0.387 % |
102.21/102.38 c | 116610 | 2833 17614 66105 | 65222 64012 44 | 0.387 % |
104.01/104.16 c | 117884 | 2833 17614 66105 | 65222 65286 44 | 0.387 % |
104.21/104.34 c | 117986 | 2833 17614 66105 | 65222 57091 42 | 0.387 % |
104.31/104.46 c | 118097 | 2833 17614 66105 | 65222 57202 42 | 0.387 % |
104.51/104.61 c | 118220 | 2833 17614 66105 | 65222 57325 42 | 0.387 % |
104.61/104.76 c | 118353 | 2833 17614 66105 | 65222 57458 42 | 0.387 % |
104.71/104.88 c | 118501 | 2833 17614 66105 | 65222 57606 42 | 0.387 % |
105.11/105.21 c | 118661 | 2833 17614 66105 | 65222 57766 42 | 0.387 % |
105.21/105.39 c | 118838 | 2833 17614 66105 | 65222 57943 42 | 0.387 % |
105.51/105.63 c | 119031 | 2833 17614 66105 | 65222 58136 42 | 0.387 % |
105.70/105.88 c | 119245 | 2833 17614 66105 | 65222 58350 42 | 0.387 % |
106.10/106.20 c | 119479 | 2833 17614 66105 | 65222 58584 42 | 0.387 % |
106.30/106.48 c | 119736 | 2833 17614 66105 | 65222 58841 42 | 0.387 % |
106.80/106.92 c | 120017 | 2833 17614 66105 | 59105 59122 42 | 0.387 % |
107.10/107.25 c | 120327 | 2833 17614 66105 | 59105 52098 41 | 0.387 % |
107.50/107.69 c | 120667 | 2833 17614 66105 | 59105 52438 41 | 0.387 % |
107.90/108.09 c | 121039 | 2833 17614 66105 | 59105 52810 41 | 0.387 % |
108.40/108.56 c | 121448 | 2833 17614 66105 | 59105 53219 41 | 0.387 % |
109.00/109.13 c | 121898 | 2833 17614 66105 | 59105 53669 41 | 0.387 % |
109.50/109.65 c | 122392 | 2833 17614 66105 | 59105 54163 41 | 0.387 % |
110.10/110.26 c | 122934 | 2833 17614 66105 | 59105 54705 42 | 0.387 % |
110.80/110.93 c | 123530 | 2833 17614 66105 | 59105 55301 42 | 0.387 % |
111.50/111.62 c | 124185 | 2833 17614 66105 | 59105 55956 42 | 0.388 % |
112.20/112.32 c | 124905 | 2833 17614 66105 | 59105 56676 42 | 0.387 % |
113.10/113.21 c | 125697 | 2833 17614 66105 | 59105 57468 42 | 0.387 % |
114.00/114.16 c | 126570 | 2833 17614 66105 | 59105 58341 42 | 0.387 % |
115.20/115.38 c | 127528 | 2833 17614 66105 | 59105 59299 42 | 0.387 % |
116.50/116.61 c | 128581 | 2833 17614 66105 | 59105 53934 41 | 0.387 % |
117.70/117.81 c | 129739 | 2833 17614 66105 | 59105 55092 41 | 0.387 % |
118.80/118.90 c | 131012 | 2833 17614 66105 | 55353 50781 41 | 0.387 % |
119.89/120.07 c | 132412 | 2833 17614 66105 | 55353 52181 41 | 0.387 % |
119.99/120.18 c | 132513 | 2833 17614 66105 | 55353 52282 41 | 0.387 % |
120.09/120.28 c | 132623 | 2833 17614 66105 | 55353 52392 41 | 0.387 % |
120.19/120.37 c | 132744 | 2833 17614 66105 | 55353 52513 41 | 0.387 % |
120.39/120.50 c | 132877 | 2833 17614 66105 | 55353 52646 41 | 0.387 % |
120.49/120.65 c | 133024 | 2833 17614 66105 | 55353 52793 42 | 0.387 % |
120.69/120.81 c | 133186 | 2833 17614 66105 | 55353 52955 42 | 0.387 % |
120.80/121.00 c | 133362 | 2833 17614 66105 | 55353 53131 42 | 0.387 % |
120.99/121.19 c | 133555 | 2833 17614 66105 | 55353 53324 42 | 0.387 % |
121.19/121.39 c | 133768 | 2833 17614 66105 | 55353 53537 42 | 0.387 % |
121.49/121.65 c | 134002 | 2833 17614 66105 | 55353 53771 42 | 0.387 % |
121.79/121.98 c | 134258 | 2833 17614 66105 | 55353 54027 42 | 0.387 % |
122.09/122.22 c | 134539 | 2833 17614 66105 | 55353 54308 42 | 0.387 % |
122.49/122.60 c | 134850 | 2833 17614 66105 | 55353 54619 42 | 0.387 % |
122.79/122.95 c | 135190 | 2833 17614 66105 | 55353 54959 42 | 0.387 % |
123.19/123.36 c | 135563 | 2833 17614 66105 | 55353 55332 42 | 0.387 % |
123.69/123.82 c | 135973 | 2833 17614 66105 | 55353 55742 42 | 0.387 % |
124.20/124.38 c | 136422 | 2833 17614 66105 | 55353 50617 41 | 0.387 % |
124.89/125.01 c | 136915 | 2833 17614 66105 | 55353 51110 41 | 0.387 % |
125.49/125.61 c | 137458 | 2833 17614 66105 | 55353 51653 41 | 0.387 % |
126.29/126.41 c | 138054 | 2833 17614 66105 | 55353 52249 41 | 0.387 % |
127.19/127.32 c | 138709 | 2833 17614 66105 | 55353 52904 41 | 0.387 % |
127.89/128.04 c | 139430 | 2833 17614 66105 | 55353 53625 41 | 0.387 % |
128.69/128.87 c | 140223 | 2833 17614 66105 | 2147483647 54418 41 | 0.387 % |
129.69/129.87 c | 141094 | 2833 17614 66105 | 2147483647 55289 42 | 0.387 % |
130.69/130.87 c | 142055 | 2833 17614 66105 | 2147483647 56250 42 | 0.387 % |
131.98/132.18 c | 143109 | 2833 17614 66105 | 2147483647 57304 42 | 0.387 % |
133.38/133.58 c | 144267 | 2833 17614 66105 | 2147483647 58462 42 | 0.387 % |
135.09/135.27 c | 145540 | 2833 17614 66105 | 2147483647 59735 42 | 0.387 % |
137.39/137.51 c | 146941 | 2833 17614 66105 | 2147483647 61136 42 | 0.388 % |
139.28/139.41 c | 148483 | 2833 17614 66105 | 2147483647 62678 42 | 0.387 % |
139.38/139.54 c | 148583 | 2833 17614 66105 | 2147483647 62778 42 | 0.387 % |
139.49/139.69 c | 148693 | 2833 17614 66105 | 2147483647 62888 42 | 0.387 % |
139.68/139.87 c | 148814 | 2833 17614 66105 | 2147483647 63009 43 | 0.387 % |
139.88/140.03 c | 148948 | 2833 17614 66105 | 2147483647 63143 43 | 0.387 % |
140.08/140.24 c | 149094 | 2833 17614 66105 | 2147483647 63289 43 | 0.387 % |
140.28/140.46 c | 149254 | 2833 17614 66105 | 2147483647 63449 43 | 0.387 % |
140.58/140.72 c | 149431 | 2833 17614 66105 | 2147483647 63626 43 | 0.387 % |
140.78/140.95 c | 149625 | 2833 17614 66105 | 2147483647 63820 43 | 0.387 % |
141.08/141.22 c | 149838 | 2833 17614 66105 | 2147483647 64033 43 | 0.387 % |
141.38/141.50 c | 150072 | 2833 17614 66105 | 64196 64267 43 | 0.387 % |
141.78/141.95 c | 150329 | 2833 17614 66105 | 64196 56871 41 | 0.387 % |
142.18/142.30 c | 150610 | 2833 17614 66105 | 64196 57152 41 | 0.387 % |
142.48/142.64 c | 150921 | 2833 17614 66105 | 64196 57463 41 | 0.387 % |
142.79/142.99 c | 151261 | 2833 17614 66105 | 64196 57803 41 | 0.387 % |
143.18/143.36 c | 151633 | 2833 17614 66105 | 64196 58175 41 | 0.387 % |
143.68/143.84 c | 152044 | 2833 17614 66105 | 64196 58586 41 | 0.387 % |
144.28/144.42 c | 152493 | 2833 17614 66105 | 64196 59035 41 | 0.388 % |
144.78/144.98 c | 152987 | 2833 17614 66105 | 64196 59529 41 | 0.387 % |
145.38/145.52 c | 153530 | 2833 17614 66105 | 64196 60072 41 | 0.387 % |
146.18/146.31 c | 154126 | 2833 17614 66105 | 64196 60668 42 | 0.387 % |
147.38/147.59 c | 154781 | 2833 17614 66105 | 64196 61323 41 | 0.387 % |
148.38/148.50 c | 155502 | 2833 17614 66105 | 64196 62044 42 | 0.387 % |
149.68/149.82 c | 156294 | 2833 17614 66105 | 64196 62836 42 | 0.387 % |
150.78/150.97 c | 157167 | 2833 17614 66105 | 64196 63709 42 | 0.387 % |
152.37/152.55 c | 158125 | 2833 17614 66105 | 64196 64667 42 | 0.387 % |
153.47/153.68 c | 159179 | 2833 17614 66105 | 64196 57314 40 | 0.387 % |
155.27/155.43 c | 160337 | 2833 17614 66105 | 58135 58472 40 | 0.387 % |
156.57/156.74 c | 161610 | 2833 17614 66105 | 58135 52081 39 | 0.387 % |
158.07/158.25 c | 163011 | 2833 17614 66105 | 58135 53482 39 | 0.387 % |
161.27/161.41 c | 164551 | 2833 17614 66105 | 58135 55022 39 | 0.387 % |
163.37/163.50 c | 166246 | 2833 17614 66105 | 58135 56717 39 | 0.387 % |
163.47/163.63 c | 166346 | 2833 17614 66105 | 58135 56817 39 | 0.387 % |
163.57/163.75 c | 166456 | 2833 17614 66105 | 58135 56927 39 | 0.387 % |
163.67/163.87 c | 166577 | 2833 17614 66105 | 58135 57048 39 | 0.387 % |
163.87/164.06 c | 166711 | 2833 17614 66105 | 58135 57182 40 | 0.388 % |
164.17/164.30 c | 166859 | 2833 17614 66105 | 58135 57330 40 | 0.387 % |
164.37/164.54 c | 167022 | 2833 17614 66105 | 58135 57493 40 | 0.387 % |
164.57/164.76 c | 167199 | 2833 17614 66105 | 58135 57670 40 | 0.387 % |
164.77/164.99 c | 167394 | 2833 17614 66105 | 58135 57865 40 | 0.387 % |
165.07/165.23 c | 167607 | 2833 17614 66105 | 58135 58078 40 | 0.387 % |
165.37/165.52 c | 167840 | 2833 17614 66105 | 58135 58311 40 | 0.387 % |
165.67/165.84 c | 168096 | 2833 17614 66105 | 58135 52736 39 | 0.387 % |
165.97/166.15 c | 168378 | 2833 17614 66105 | 58135 53018 39 | 0.387 % |
166.37/166.51 c | 168687 | 2833 17614 66105 | 58135 53327 39 | 0.387 % |
166.77/166.93 c | 169027 | 2833 17614 66105 | 58135 53667 39 | 0.387 % |
167.27/167.40 c | 169399 | 2833 17614 66105 | 58135 54039 39 | 0.387 % |
167.77/167.90 c | 169808 | 2833 17614 66105 | 58135 54448 39 | 0.387 % |
168.37/168.57 c | 170257 | 2833 17614 66105 | 2147483647 54897 39 | 0.387 % |
169.06/169.22 c | 170750 | 2833 17614 66105 | 2147483647 55390 39 | 0.387 % |
169.76/169.98 c | 171293 | 2833 17614 66105 | 2147483647 55933 39 | 0.387 % |
170.56/170.71 c | 171889 | 2833 17614 66105 | 2147483647 56529 39 | 0.387 % |
171.37/171.57 c | 172547 | 2833 17614 66105 | 2147483647 57187 39 | 0.387 % |
172.16/172.36 c | 173267 | 2833 17614 66105 | 2147483647 57907 39 | 0.387 % |
173.26/173.47 c | 174060 | 2833 17614 66105 | 2147483647 58700 39 | 0.387 % |
174.36/174.55 c | 174932 | 2833 17614 66105 | 2147483647 59572 40 | 0.387 % |
175.36/175.55 c | 175890 | 2833 17614 66105 | 2147483647 60530 40 | 0.387 % |
177.16/177.33 c | 176943 | 2833 17614 66105 | 2147483647 61583 40 | 0.387 % |
178.56/178.77 c | 178102 | 2833 17614 66105 | 2147483647 62742 40 | 0.387 % |
180.26/180.42 c | 179376 | 2833 17614 66105 | 2147483647 64016 40 | 0.387 % |
182.16/182.30 c | 180776 | 2833 17614 66105 | 64642 56624 39 | 0.387 % |
184.26/184.47 c | 182316 | 2833 17614 66105 | 64642 58164 39 | 0.387 % |
186.45/186.69 c | 184010 | 2833 17614 66105 | 64642 59858 39 | 0.387 % |
188.65/188.84 c | 185873 | 2833 17614 66105 | 64642 61721 40 | 0.387 % |
188.75/188.94 c | 185974 | 2833 17614 66105 | 64642 61822 40 | 0.387 % |
188.85/189.09 c | 186085 | 2833 17614 66105 | 64642 61933 40 | 0.387 % |
189.06/189.24 c | 186206 | 2833 17614 66105 | 64642 62054 40 | 0.387 % |
189.25/189.42 c | 186339 | 2833 17614 66105 | 64642 62187 40 | 0.387 % |
189.45/189.63 c | 186485 | 2833 17614 66105 | 64642 62333 40 | 0.387 % |
189.65/189.82 c | 186645 | 2833 17614 66105 | 64642 62493 40 | 0.387 % |
189.85/190.07 c | 186822 | 2833 17614 66105 | 64642 62670 40 | 0.387 % |
190.06/190.28 c | 187016 | 2833 17614 66105 | 64642 62864 40 | 0.387 % |
190.35/190.55 c | 187228 | 2833 17614 66105 | 64642 63076 40 | 0.387 % |
190.65/190.86 c | 187462 | 2833 17614 66105 | 64642 63310 40 | 0.387 % |
190.95/191.16 c | 187718 | 2833 17614 66105 | 64642 63566 40 | 0.387 % |
191.35/191.55 c | 187999 | 2833 17614 66105 | 64642 63847 40 | 0.387 % |
191.85/192.00 c | 188308 | 2833 17614 66105 | 64642 64156 40 | 0.387 % |
192.15/192.38 c | 188647 | 2833 17614 66105 | 64642 64495 40 | 0.387 % |
192.75/192.93 c | 189020 | 2833 17614 66105 | 64642 64868 40 | 0.387 % |
193.36/193.53 c | 189431 | 2833 17614 66105 | 64642 55861 38 | 0.387 % |
193.85/194.05 c | 189881 | 2833 17614 66105 | 64642 56311 38 | 0.387 % |
194.46/194.68 c | 190374 | 2833 17614 66105 | 56430 56804 38 | 0.387 % |
195.15/195.31 c | 190918 | 2833 17614 66105 | 56430 49591 37 | 0.387 % |
195.85/196.03 c | 191515 | 2833 17614 66105 | 56430 50188 37 | 0.387 % |
196.45/196.68 c | 192170 | 2833 17614 66105 | 56430 50843 38 | 0.387 % |
197.25/197.49 c | 192891 | 2833 17614 66105 | 56430 51564 38 | 0.387 % |
198.15/198.35 c | 193684 | 2833 17614 66105 | 56430 52357 38 | 0.387 % |
199.25/199.45 c | 194557 | 2833 17614 66105 | 56430 53230 38 | 0.387 % |
200.25/200.42 c | 195516 | 2833 17614 66105 | 56430 54189 38 | 0.388 % |
201.55/201.74 c | 196569 | 2833 17614 66105 | 56430 55242 39 | 0.387 % |
203.05/203.21 c | 197728 | 2833 17614 66105 | 56430 56401 39 | 0.387 % |
204.55/204.75 c | 199001 | 2833 17614 66105 | 56430 51284 38 | 0.387 % |
205.95/206.16 c | 200403 | 2833 17614 66105 | 52283 52686 38 | 0.387 % |
207.55/207.72 c | 201944 | 2833 17614 66105 | 52283 48860 37 | 0.387 % |
209.15/209.36 c | 203639 | 2833 17614 66105 | 52283 50555 38 | 0.387 % |
211.15/211.31 c | 205502 | 2833 17614 66105 | 52283 52418 38 | 0.387 % |
213.35/213.58 c | 207551 | 2833 17614 66105 | 52283 49226 38 | 0.387 % |
213.45/213.68 c | 207652 | 2833 17614 66105 | 52283 49327 38 | 0.387 % |
213.55/213.79 c | 207763 | 2833 17614 66105 | 52283 49438 38 | 0.387 % |
213.75/213.91 c | 207885 | 2833 17614 66105 | 52283 49560 38 | 0.387 % |
213.85/214.05 c | 208018 | 2833 17614 66105 | 52283 49693 38 | 0.387 % |
214.05/214.26 c | 208164 | 2833 17614 66105 | 52283 49839 38 | 0.387 % |
214.25/214.43 c | 208324 | 2833 17614 66105 | 52283 49999 38 | 0.387 % |
214.45/214.65 c | 208502 | 2833 17614 66105 | 52283 50177 38 | 0.387 % |
214.65/214.87 c | 208696 | 2833 17614 66105 | 52283 50371 38 | 0.387 % |
214.94/215.15 c | 208908 | 2833 17614 66105 | 52283 50583 38 | 0.387 % |
215.24/215.40 c | 209141 | 2833 17614 66105 | 52283 50816 38 | 0.387 % |
215.45/215.68 c | 209398 | 2833 17614 66105 | 52283 51073 38 | 0.387 % |
215.74/215.97 c | 209679 | 2833 17614 66105 | 52283 51354 39 | 0.387 % |
216.04/216.28 c | 209988 | 2833 17614 66105 | 52283 51663 39 | 0.387 % |
216.45/216.62 c | 210329 | 2833 17614 66105 | 2147483647 52004 39 | 0.387 % |
216.74/216.98 c | 210701 | 2833 17614 66105 | 2147483647 52376 39 | 0.387 % |
217.24/217.46 c | 211110 | 2833 17614 66105 | 2147483647 52785 39 | 0.387 % |
217.84/218.00 c | 211560 | 2833 17614 66105 | 2147483647 53235 39 | 0.387 % |
218.24/218.42 c | 212053 | 2833 17614 66105 | 2147483647 53728 39 | 0.387 % |
218.84/219.10 c | 212595 | 2833 17614 66105 | 2147483647 54270 39 | 0.387 % |
219.54/219.76 c | 213191 | 2833 17614 66105 | 2147483647 54866 39 | 0.387 % |
220.54/220.79 c | 213847 | 2833 17614 66105 | 2147483647 55522 39 | 0.387 % |
221.44/221.61 c | 214567 | 2833 17614 66105 | 2147483647 56242 39 | 0.387 % |
222.24/222.45 c | 215359 | 2833 17614 66105 | 2147483647 57034 39 | 0.387 % |
223.24/223.46 c | 216232 | 2833 17614 66105 | 2147483647 57907 40 | 0.387 % |
224.84/225.03 c | 217193 | 2833 17614 66105 | 2147483647 58868 39 | 0.387 % |
226.14/226.36 c | 218247 | 2833 17614 66105 | 2147483647 59922 40 | 0.387 % |
227.94/228.11 c | 219407 | 2833 17614 66105 | 2147483647 61082 40 | 0.387 % |
229.74/229.91 c | 220680 | 2833 17614 66105 | 61676 55298 39 | 0.387 % |
231.14/231.36 c | 222081 | 2833 17614 66105 | 61676 56699 39 | 0.387 % |
232.64/232.87 c | 223622 | 2833 17614 66105 | 61676 58240 40 | 0.387 % |
234.34/234.52 c | 225316 | 2833 17614 66105 | 61676 59934 40 | 0.387 % |
236.54/236.72 c | 227180 | 2833 17614 66105 | 61676 61798 41 | 0.387 % |
238.93/239.15 c | 229231 | 2833 17614 66105 | 61676 56722 40 | 0.387 % |
241.43/241.63 c | 231486 | 2833 17614 66105 | 57493 52557 39 | 0.387 % |
241.53/241.74 c | 231587 | 2833 17614 66105 | 57493 52658 39 | 0.387 % |
241.63/241.88 c | 231697 | 2833 17614 66105 | 57493 52768 39 | 0.387 % |
241.84/242.02 c | 231821 | 2833 17614 66105 | 57493 52892 39 | 0.387 % |
242.03/242.21 c | 231954 | 2833 17614 66105 | 57493 53025 39 | 0.387 % |
242.23/242.43 c | 232100 | 2833 17614 66105 | 57493 53171 39 | 0.387 % |
242.33/242.58 c | 232260 | 2833 17614 66105 | 57493 53331 39 | 0.387 % |
242.53/242.77 c | 232436 | 2833 17614 66105 | 57493 53507 39 | 0.387 % |
242.84/243.02 c | 232633 | 2833 17614 66105 | 57493 53704 39 | 0.387 % |
243.03/243.29 c | 232846 | 2833 17614 66105 | 57493 53917 39 | 0.387 % |
243.33/243.59 c | 233079 | 2833 17614 66105 | 57493 54150 39 | 0.387 % |
243.73/243.93 c | 233335 | 2833 17614 66105 | 57493 54406 39 | 0.387 % |
244.03/244.29 c | 233617 | 2833 17614 66105 | 57493 54688 39 | 0.387 % |
244.43/244.68 c | 233926 | 2833 17614 66105 | 57493 54997 39 | 0.387 % |
244.93/245.15 c | 234265 | 2833 17614 66105 | 57493 55336 40 | 0.387 % |
245.33/245.59 c | 234637 | 2833 17614 66105 | 57493 55708 40 | 0.387 % |
245.83/246.02 c | 235047 | 2833 17614 66105 | 57493 56118 40 | 0.387 % |
246.43/246.62 c | 235497 | 2833 17614 66105 | 57493 56568 40 | 0.387 % |
247.13/247.35 c | 235990 | 2833 17614 66105 | 57493 57061 40 | 0.387 % |
247.83/248.05 c | 236532 | 2833 17614 66105 | 57493 57603 40 | 0.387 % |
248.53/248.79 c | 237128 | 2833 17614 66105 | 57493 51539 38 | 0.387 % |
249.43/249.65 c | 237786 | 2833 17614 66105 | 57493 52197 39 | 0.387 % |
250.33/250.59 c | 238506 | 2833 17614 66105 | 57493 52917 39 | 0.387 % |
251.43/251.68 c | 239298 | 2833 17614 66105 | 57493 53709 39 | 0.387 % |
252.53/252.78 c | 240169 | 2833 17614 66105 | 54412 54580 39 | 0.387 % |
253.83/254.06 c | 241128 | 2833 17614 66105 | 54412 49394 38 | 0.387 % |
255.13/255.33 c | 242184 | 2833 17614 66105 | 54412 50450 38 | 0.387 % |
256.62/256.84 c | 243343 | 2833 17614 66105 | 54412 51609 38 | 0.387 % |
258.12/258.38 c | 244617 | 2833 17614 66105 | 54412 52883 38 | 0.387 % |
259.72/259.95 c | 246017 | 2833 17614 66105 | 54412 54283 38 | 0.387 % |
261.32/261.56 c | 247558 | 2833 17614 66105 | 54412 50216 38 | 0.388 % |
263.02/263.29 c | 249252 | 2833 17614 66105 | 54412 51910 39 | 0.387 % |
265.02/265.22 c | 251115 | 2833 17614 66105 | 2147483647 53773 39 | 0.387 % |
267.03/267.24 c | 253164 | 2833 17614 66105 | 2147483647 55822 40 | 0.387 % |
269.22/269.50 c | 255417 | 2833 17614 66105 | 2147483647 58075 40 | 0.387 % |
271.92/272.10 c | 257895 | 2833 17614 66105 | 2147483647 60553 41 | 0.387 % |
272.02/272.20 c | 257996 | 2833 17614 66105 | 2147483647 60654 41 | 0.387 % |
272.12/272.33 c | 258106 | 2833 17614 66105 | 2147483647 60764 41 | 0.387 % |
272.22/272.43 c | 258228 | 2833 17614 66105 | 2147483647 60886 41 | 0.387 % |
272.52/272.79 c | 258362 | 2833 17614 66105 | 2147483647 61020 41 | 0.387 % |
272.72/272.97 c | 258508 | 2833 17614 66105 | 2147483647 61166 41 | 0.387 % |
272.92/273.16 c | 258668 | 2833 17614 66105 | 2147483647 61326 41 | 0.388 % |
273.32/273.53 c | 258846 | 2833 17614 66105 | 2147483647 61504 41 | 0.387 % |
273.52/273.71 c | 259041 | 2833 17614 66105 | 2147483647 61699 41 | 0.387 % |
273.72/273.93 c | 259254 | 2833 17614 66105 | 2147483647 61912 41 | 0.387 % |
273.92/274.19 c | 259488 | 2833 17614 66105 | 2147483647 62146 41 | 0.387 % |
274.32/274.52 c | 259744 | 2833 17614 66105 | 2147483647 62402 41 | 0.387 % |
274.62/274.83 c | 260026 | 2833 17614 66105 | 62658 62684 41 | 0.387 % |
275.02/275.28 c | 260335 | 2833 17614 66105 | 62658 56218 41 | 0.387 % |
275.42/275.64 c | 260674 | 2833 17614 66105 | 62658 56557 41 | 0.387 % |
275.82/276.02 c | 261048 | 2833 17614 66105 | 62658 56931 41 | 0.387 % |
276.22/276.42 c | 261457 | 2833 17614 66105 | 62658 57340 41 | 0.388 % |
276.71/276.99 c | 261906 | 2833 17614 66105 | 62658 57789 41 | 0.387 % |
277.21/277.45 c | 262399 | 2833 17614 66105 | 62658 58282 41 | 0.387 % |
277.81/278.00 c | 262942 | 2833 17614 66105 | 62658 58825 41 | 0.387 % |
278.41/278.63 c | 263539 | 2833 17614 66105 | 62658 59422 41 | 0.387 % |
279.32/279.51 c | 264197 | 2833 17614 66105 | 62658 60080 41 | 0.387 % |
280.02/280.29 c | 264917 | 2833 17614 66105 | 62658 60800 41 | 0.387 % |
281.11/281.36 c | 265709 | 2833 17614 66105 | 62658 61592 41 | 0.387 % |
282.11/282.35 c | 266581 | 2833 17614 66105 | 62658 62464 41 | 0.387 % |
283.22/283.43 c | 267539 | 2833 17614 66105 | 62658 63422 42 | 0.388 % |
284.52/284.78 c | 268594 | 2833 17614 66105 | 62658 56886 40 | 0.387 % |
286.12/286.31 c | 269752 | 2833 17614 66105 | 62658 58044 40 | 0.387 % |
287.82/288.03 c | 271026 | 2833 17614 66105 | 58293 52045 39 | 0.387 % |
289.72/289.95 c | 272428 | 2833 17614 66105 | 58293 53447 39 | 0.387 % |
291.62/291.83 c | 273969 | 2833 17614 66105 | 58293 54988 39 | 0.387 % |
293.62/293.81 c | 275663 | 2833 17614 66105 | 58293 56682 39 | 0.387 % |
295.82/296.06 c | 277526 | 2833 17614 66105 | 58293 58545 39 | 0.387 % |
297.82/298.02 c | 279575 | 2833 17614 66105 | 58293 52731 39 | 0.387 % |
300.02/300.24 c | 281829 | 2833 17614 66105 | 53156 48306 37 | 0.387 % |
302.42/302.68 c | 284309 | 2833 17614 66105 | 53156 50786 38 | 0.387 % |
305.22/305.49 c | 287035 | 2833 17614 66105 | 53156 53512 39 | 0.387 % |
305.42/305.68 c | 287137 | 2833 17614 66105 | 53156 48263 37 | 0.387 % |
305.62/305.81 c | 287248 | 2833 17614 66105 | 53156 48374 37 | 0.387 % |
305.71/305.92 c | 287371 | 2833 17614 66105 | 53156 48497 37 | 0.387 % |
305.81/306.07 c | 287506 | 2833 17614 66105 | 53156 48632 37 | 0.387 % |
306.01/306.24 c | 287653 | 2833 17614 66105 | 53156 48779 37 | 0.387 % |
306.21/306.41 c | 287814 | 2833 17614 66105 | 53156 48940 37 | 0.387 % |
306.41/306.62 c | 287991 | 2833 17614 66105 | 53156 49117 37 | 0.387 % |
306.51/306.80 c | 288185 | 2833 17614 66105 | 53156 49311 37 | 0.387 % |
306.72/307.00 c | 288397 | 2833 17614 66105 | 53156 49523 37 | 0.387 % |
307.11/307.38 c | 288630 | 2833 17614 66105 | 53156 49756 37 | 0.387 % |
307.41/307.60 c | 288886 | 2833 17614 66105 | 53156 50012 37 | 0.387 % |
307.61/307.81 c | 289168 | 2833 17614 66105 | 53156 50294 37 | 0.387 % |
307.82/308.09 c | 289477 | 2833 17614 66105 | 53156 50603 37 | 0.387 % |
308.21/308.40 c | 289817 | 2833 17614 66105 | 53156 50943 38 | 0.387 % |
308.51/308.76 c | 290190 | 2833 17614 66105 | 2147483647 51316 38 | 0.387 % |
308.92/309.14 c | 290599 | 2833 17614 66105 | 2147483647 51725 38 | 0.387 % |
309.51/309.74 c | 291049 | 2833 17614 66105 | 2147483647 52175 38 | 0.387 % |
310.21/310.40 c | 291543 | 2833 17614 66105 | 2147483647 52669 38 | 0.387 % |
310.91/311.12 c | 292085 | 2833 17614 66105 | 2147483647 53211 38 | 0.387 % |
311.71/311.92 c | 292682 | 2833 17614 66105 | 2147483647 53808 38 | 0.387 % |
312.51/312.73 c | 293337 | 2833 17614 66105 | 2147483647 54463 38 | 0.387 % |
313.41/313.60 c | 294058 | 2833 17614 66105 | 2147483647 55184 38 | 0.387 % |
314.31/314.55 c | 294850 | 2833 17614 66105 | 2147483647 55976 38 | 0.387 % |
315.21/315.46 c | 295722 | 2833 17614 66105 | 2147483647 56848 39 | 0.387 % |
316.41/316.60 c | 296680 | 2833 17614 66105 | 2147483647 57806 39 | 0.387 % |
317.51/317.76 c | 297733 | 2833 17614 66105 | 2147483647 58859 39 | 0.387 % |
318.81/319.06 c | 298891 | 2833 17614 66105 | 2147483647 60017 39 | 0.387 % |
320.21/320.42 c | 300165 | 2833 17614 66105 | 2147483647 61291 39 | 0.387 % |
321.41/321.69 c | 301567 | 2833 17614 66105 | 2147483647 62693 40 | 0.387 % |
322.91/323.13 c | 303107 | 2833 17614 66105 | 2147483647 64233 40 | 0.387 % |
324.31/324.59 c | 304804 | 2833 17614 66105 | 2147483647 65930 40 | 0.387 % |
326.20/326.46 c | 306668 | 2833 17614 66105 | 2147483647 67794 41 | 0.387 % |
328.61/328.88 c | 308717 | 2833 17614 66105 | 2147483647 69843 41 | 0.387 % |
331.30/331.55 c | 310970 | 2833 17614 66105 | 71127 63016 39 | 0.387 % |
334.11/334.39 c | 313451 | 2833 17614 66105 | 71127 65497 39 | 0.387 % |
337.30/337.58 c | 316176 | 2833 17614 66105 | 71127 68222 40 | 0.387 % |
341.00/341.23 c | 319173 | 2833 17614 66105 | 71127 71219 40 | 0.387 % |
341.20/341.46 c | 319274 | 2833 17614 66105 | 71127 61445 39 | 0.387 % |
341.40/341.61 c | 319384 | 2833 17614 66105 | 71127 61555 39 | 0.387 % |
341.50/341.75 c | 319505 | 2833 17614 66105 | 71127 61676 39 | 0.387 % |
341.70/341.98 c | 319639 | 2833 17614 66105 | 71127 61810 39 | 0.387 % |
341.90/342.18 c | 319785 | 2833 17614 66105 | 71127 61956 39 | 0.387 % |
342.10/342.38 c | 319945 | 2833 17614 66105 | 71127 62116 39 | 0.387 % |
342.30/342.58 c | 320121 | 2833 17614 66105 | 62173 62292 39 | 0.387 % |
342.60/342.87 c | 320315 | 2833 17614 66105 | 62173 53642 38 | 0.387 % |
342.90/343.13 c | 320527 | 2833 17614 66105 | 62173 53854 38 | 0.387 % |
343.09/343.37 c | 320764 | 2833 17614 66105 | 62173 54091 38 | 0.387 % |
343.39/343.60 c | 321020 | 2833 17614 66105 | 62173 54347 38 | 0.387 % |
343.69/343.94 c | 321301 | 2833 17614 66105 | 62173 54628 38 | 0.387 % |
344.00/344.20 c | 321612 | 2833 17614 66105 | 62173 54939 38 | 0.387 % |
344.29/344.51 c | 321952 | 2833 17614 66105 | 62173 55279 38 | 0.387 % |
344.59/344.84 c | 322325 | 2833 17614 66105 | 62173 55652 38 | 0.387 % |
344.99/345.22 c | 322735 | 2833 17614 66105 | 62173 56062 39 | 0.387 % |
345.49/345.72 c | 323184 | 2833 17614 66105 | 62173 56511 39 | 0.387 % |
345.99/346.30 c | 323678 | 2833 17614 66105 | 62173 57005 39 | 0.387 % |
346.49/346.74 c | 324221 | 2833 17614 66105 | 62173 57548 39 | 0.387 % |
347.79/348.05 c | 324817 | 2833 17614 66105 | 62173 58144 39 | 0.387 % |
348.49/348.72 c | 325474 | 2833 17614 66105 | 62173 58801 39 | 0.387 % |
349.39/349.69 c | 326195 | 2833 17614 66105 | 62173 59522 39 | 0.387 % |
351.19/351.41 c | 326988 | 2833 17614 66105 | 62173 60315 39 | 0.387 % |
352.09/352.33 c | 327861 | 2833 17614 66105 | 62173 61188 39 | 0.387 % |
353.09/353.37 c | 328820 | 2833 17614 66105 | 62173 62147 39 | 0.387 % |
354.39/354.63 c | 329874 | 2833 17614 66105 | 62173 55128 38 | 0.387 % |
355.59/355.80 c | 331033 | 2833 17614 66105 | 55254 49083 38 | 0.387 % |
356.89/357.12 c | 332307 | 2833 17614 66105 | 55254 50357 38 | 0.388 % |
358.18/358.49 c | 333709 | 2833 17614 66105 | 55254 51759 39 | 0.388 % |
359.68/359.92 c | 335249 | 2833 17614 66105 | 55254 53299 39 | 0.387 % |
361.59/361.82 c | 336945 | 2833 17614 66105 | 55254 54995 39 | 0.387 % |
363.98/364.25 c | 338809 | 2833 17614 66105 | 55254 51277 39 | 0.387 % |
366.38/366.62 c | 340860 | 2833 17614 66105 | 2147483647 53328 39 | 0.387 % |
368.88/369.19 c | 343114 | 2833 17614 66105 | 2147483647 55582 40 | 0.387 % |
372.08/372.38 c | 345592 | 2833 17614 66105 | 2147483647 58060 40 | 0.387 % |
375.48/375.79 c | 348320 | 2833 17614 66105 | 2147483647 60788 40 | 0.387 % |
379.38/379.63 c | 351317 | 2833 17614 66105 | 62469 56141 39 | 0.387 % |
383.18/383.45 c | 354615 | 2833 17614 66105 | 62469 59439 40 | 0.387 % |
383.28/383.56 c | 354716 | 2833 17614 66105 | 62469 59540 40 | 0.387 % |
383.38/383.67 c | 354826 | 2833 17614 66105 | 62469 59650 40 | 0.387 % |
383.58/383.81 c | 354947 | 2833 17614 66105 | 62469 59771 40 | 0.387 % |
383.68/383.96 c | 355082 | 2833 17614 66105 | 62469 59906 40 | 0.387 % |
383.87/384.17 c | 355229 | 2833 17614 66105 | 62469 60053 40 | 0.387 % |
384.07/384.32 c | 355390 | 2833 17614 66105 | 62469 60214 40 | 0.387 % |
384.27/384.57 c | 355566 | 2833 17614 66105 | 62469 60390 40 | 0.387 % |
384.57/384.80 c | 355760 | 2833 17614 66105 | 62469 60584 40 | 0.387 % |
384.78/385.09 c | 355972 | 2833 17614 66105 | 62469 60796 40 | 0.387 % |
385.17/385.42 c | 356206 | 2833 17614 66105 | 62469 61030 40 | 0.387 % |
385.47/385.75 c | 356463 | 2833 17614 66105 | 62469 61287 40 | 0.387 % |
385.78/386.06 c | 356746 | 2833 17614 66105 | 62469 61570 40 | 0.387 % |
386.18/386.44 c | 357056 | 2833 17614 66105 | 62469 61880 40 | 0.387 % |
386.58/386.81 c | 357395 | 2833 17614 66105 | 62469 62219 40 | 0.387 % |
386.89/387.19 c | 357768 | 2833 17614 66105 | 62469 62592 40 | 0.387 % |
387.48/387.73 c | 358181 | 2833 17614 66105 | 62469 54663 39 | 0.387 % |
387.88/388.19 c | 358630 | 2833 17614 66105 | 62469 55112 39 | 0.387 % |
388.38/388.69 c | 359123 | 2833 17614 66105 | 62469 55605 39 | 0.387 % |
388.98/389.23 c | 359665 | 2833 17614 66105 | 62469 56147 39 | 0.387 % |
389.68/389.91 c | 360262 | 2833 17614 66105 | 56483 56744 39 | 0.387 % |
390.38/390.60 c | 360917 | 2833 17614 66105 | 56483 49984 38 | 0.387 % |
390.98/391.29 c | 361638 | 2833 17614 66105 | 56483 50705 38 | 0.387 % |
391.98/392.22 c | 362430 | 2833 17614 66105 | 56483 51497 38 | 0.387 % |
392.68/392.99 c | 363303 | 2833 17614 66105 | 56483 52370 39 | 0.387 % |
393.68/393.92 c | 364262 | 2833 17614 66105 | 56483 53329 39 | 0.387 % |
394.58/394.89 c | 365316 | 2833 17614 66105 | 56483 54383 39 | 0.387 % |
395.98/396.21 c | 366474 | 2833 17614 66105 | 56483 55541 39 | 0.387 % |
397.28/397.58 c | 367748 | 2833 17614 66105 | 56483 56815 40 | 0.387 % |
398.88/399.10 c | 369148 | 2833 17614 66105 | 56483 51905 39 | 0.387 % |
400.57/400.80 c | 370688 | 2833 17614 66105 | 52757 53445 40 | 0.387 % |
402.47/402.71 c | 372383 | 2833 17614 66105 | 52757 49412 38 | 0.387 % |
404.58/404.83 c | 374246 | 2833 17614 66105 | 52757 51275 39 | 0.387 % |
407.07/407.34 c | 376295 | 2833 17614 66105 | 52757 53324 39 | 0.387 % |
409.97/410.20 c | 378548 | 2833 17614 66105 | 52757 50211 38 | 0.387 % |
412.27/412.53 c | 381026 | 2833 17614 66105 | 2147483647 52689 39 | 0.387 % |
415.77/416.07 c | 383752 | 2833 17614 66105 | 2147483647 55415 40 | 0.387 % |
419.07/419.32 c | 386750 | 2833 17614 66105 | 2147483647 58413 41 | 0.387 % |
422.27/422.59 c | 390046 | 2833 17614 66105 | 2147483647 61709 42 | 0.387 % |
426.76/427.03 c | 393672 | 2833 17614 66105 | 2147483647 65335 43 | 0.387 % |
426.86/427.16 c | 393772 | 2833 17614 66105 | 2147483647 65435 43 | 0.387 % |
426.96/427.26 c | 393884 | 2833 17614 66105 | 2147483647 65547 43 | 0.387 % |
427.16/427.42 c | 394006 | 2833 17614 66105 | 2147483647 65669 43 | 0.387 % |
427.36/427.69 c | 394140 | 2833 17614 66105 | 2147483647 65803 43 | 0.388 % |
427.57/427.88 c | 394287 | 2833 17614 66105 | 2147483647 65950 43 | 0.387 % |
427.76/428.09 c | 394447 | 2833 17614 66105 | 2147483647 66110 43 | 0.387 % |
427.96/428.26 c | 394623 | 2833 17614 66105 | 2147483647 66286 43 | 0.388 % |
428.16/428.44 c | 394817 | 2833 17614 66105 | 2147483647 66480 43 | 0.387 % |
428.36/428.68 c | 395029 | 2833 17614 66105 | 2147483647 66692 43 | 0.387 % |
428.76/429.03 c | 395262 | 2833 17614 66105 | 2147483647 66925 43 | 0.387 % |
429.06/429.31 c | 395518 | 2833 17614 66105 | 2147483647 67181 43 | 0.387 % |
429.46/429.74 c | 395801 | 2833 17614 66105 | 2147483647 67464 43 | 0.387 % |
429.86/430.17 c | 396111 | 2833 17614 66105 | 2147483647 67774 43 | 0.387 % |
430.36/430.65 c | 396451 | 2833 17614 66105 | 2147483647 68114 43 | 0.387 % |
430.96/431.23 c | 396824 | 2833 17614 66105 | 2147483647 68487 43 | 0.387 % |
431.46/431.79 c | 397234 | 2833 17614 66105 | 2147483647 68897 43 | 0.387 % |
432.06/432.37 c | 397684 | 2833 17614 66105 | 2147483647 69347 43 | 0.387 % |
432.86/433.13 c | 398177 | 2833 17614 66105 | 2147483647 69840 43 | 0.387 % |
433.66/433.93 c | 398721 | 2833 17614 66105 | 2147483647 70384 43 | 0.387 % |
434.66/434.92 c | 399317 | 2833 17614 66105 | 2147483647 70980 43 | 0.387 % |
435.46/435.70 c | 399972 | 2833 17614 66105 | 2147483647 71635 43 | 0.387 % |
436.56/436.88 c | 400692 | 2833 17614 66105 | 71663 60629 42 | 0.387 % |
437.76/438.01 c | 401484 | 2833 17614 66105 | 71663 61421 42 | 0.387 % |
438.86/439.14 c | 402356 | 2833 17614 66105 | 71663 62293 42 | 0.387 % |
440.36/440.61 c | 403314 | 2833 17614 66105 | 71663 63251 42 | 0.387 % |
441.66/441.99 c | 404368 | 2833 17614 66105 | 71663 64305 42 | 0.387 % |
443.25/443.55 c | 405527 | 2833 17614 66105 | 71663 65464 42 | 0.387 % |
444.75/445.00 c | 406801 | 2833 17614 66105 | 71663 66738 43 | 0.387 % |
446.26/446.59 c | 408202 | 2833 17614 66105 | 71663 68139 43 | 0.387 % |
448.15/448.43 c | 409743 | 2833 17614 66105 | 71663 69680 43 | 0.387 % |
450.25/450.55 c | 411437 | 2833 17614 66105 | 69938 60463 41 | 0.387 % |
452.25/452.57 c | 413301 | 2833 17614 66105 | 69938 62327 42 | 0.387 % |
454.35/454.61 c | 415350 | 2833 17614 66105 | 69938 64376 42 | 0.388 % |
457.05/457.36 c | 417604 | 2833 17614 66105 | 69938 66630 42 | 0.387 % |
460.15/460.41 c | 420082 | 2833 17614 66105 | 69030 69108 43 | 0.387 % |
464.05/464.38 c | 422807 | 2833 17614 66105 | 69030 61402 42 | 0.387 % |
468.25/468.57 c | 425805 | 2833 17614 66105 | 69030 64400 42 | 0.387 % |
472.24/472.55 c | 429101 | 2833 17614 66105 | 69030 67696 42 | 0.387 % |
476.74/477.02 c | 432728 | 2833 17614 66105 | 68595 58726 39 | 0.387 % |
482.14/482.45 c | 436715 | 2833 17614 66105 | 68595 62713 39 | 0.387 % |
482.24/482.58 c | 436816 | 2833 17614 66105 | 68595 62814 39 | 0.387 % |
482.44/482.73 c | 436926 | 2833 17614 66105 | 68595 62924 39 | 0.387 % |
482.54/482.89 c | 437047 | 2833 17614 66105 | 68595 63045 39 | 0.387 % |
482.74/483.05 c | 437180 | 2833 17614 66105 | 68595 63178 39 | 0.388 % |
482.84/483.18 c | 437326 | 2833 17614 66105 | 68595 63324 39 | 0.387 % |
483.04/483.35 c | 437487 | 2833 17614 66105 | 68595 63485 39 | 0.387 % |
483.24/483.52 c | 437663 | 2833 17614 66105 | 68595 63661 39 | 0.387 % |
483.44/483.78 c | 437856 | 2833 17614 66105 | 68595 63854 39 | 0.387 % |
483.64/484.00 c | 438068 | 2833 17614 66105 | 68595 64066 39 | 0.387 % |
483.94/484.29 c | 438302 | 2833 17614 66105 | 68595 64300 39 | 0.387 % |
484.24/484.59 c | 438558 | 2833 17614 66105 | 68595 64556 40 | 0.387 % |
484.54/484.89 c | 438839 | 2833 17614 66105 | 68595 64837 40 | 0.387 % |
485.14/485.44 c | 439149 | 2833 17614 66105 | 68595 65147 40 | 0.387 % |
485.64/485.90 c | 439489 | 2833 17614 66105 | 68595 65487 40 | 0.387 % |
486.14/486.50 c | 439862 | 2833 17614 66105 | 68595 65860 40 | 0.387 % |
486.64/486.98 c | 440272 | 2833 17614 66105 | 65998 66270 40 | 0.387 % |
487.34/487.60 c | 440721 | 2833 17614 66105 | 65998 54898 38 | 0.387 % |
487.84/488.17 c | 441215 | 2833 17614 66105 | 65998 55392 38 | 0.387 % |
488.74/489.00 c | 441759 | 2833 17614 66105 | 65998 55936 38 | 0.387 % |
489.34/489.62 c | 442355 | 2833 17614 66105 | 65998 56532 38 | 0.387 % |
490.14/490.48 c | 443011 | 2833 17614 66105 | 65998 57188 38 | 0.387 % |
490.83/491.16 c | 443732 | 2833 17614 66105 | 65998 57909 38 | 0.387 % |
491.63/491.91 c | 444525 | 2833 17614 66105 | 65998 58702 38 | 0.387 % |
492.54/492.80 c | 445398 | 2833 17614 66105 | 65998 59575 39 | 0.387 % |
493.73/494.06 c | 446358 | 2833 17614 66105 | 65998 60535 39 | 0.387 % |
494.93/495.20 c | 447412 | 2833 17614 66105 | 65998 61589 39 | 0.387 % |
496.33/496.64 c | 448571 | 2833 17614 66105 | 65998 62748 39 | 0.387 % |
497.94/498.27 c | 449844 | 2833 17614 66105 | 65998 64021 40 | 0.388 % |
499.43/499.72 c | 451246 | 2833 17614 66105 | 64177 56970 38 | 0.387 % |
501.13/501.43 c | 452788 | 2833 17614 66105 | 64177 58512 38 | 0.387 % |
502.93/503.28 c | 454482 | 2833 17614 66105 | 64177 60206 39 | 0.387 % |
505.43/505.70 c | 456346 | 2833 17614 66105 | 64177 62070 39 | 0.387 % |
508.23/508.54 c | 458395 | 2833 17614 66105 | 64177 64119 39 | 0.387 % |
511.33/511.61 c | 460648 | 2833 17614 66105 | 57025 50106 36 | 0.387 % |
514.32/514.67 c | 463127 | 2833 17614 66105 | 57025 52585 36 | 0.387 % |
518.03/518.39 c | 465852 | 2833 17614 66105 | 57025 55310 37 | 0.387 % |
522.24/522.51 c | 468849 | 2833 17614 66105 | 57025 52343 36 | 0.387 % |
526.23/526.52 c | 472145 | 2833 17614 66105 | 53494 49917 36 | 0.387 % |
530.43/530.76 c | 475770 | 2833 17614 66105 | 53494 53542 36 | 0.387 % |
535.03/535.33 c | 479757 | 2833 17614 66105 | 53494 52175 36 | 0.387 % |
540.13/540.50 c | 484142 | 2833 17614 66105 | 2147483647 56560 37 | 0.387 % |
540.33/540.61 c | 484242 | 2833 17614 66105 | 2147483647 56660 37 | 0.387 % |
540.43/540.73 c | 484354 | 2833 17614 66105 | 2147483647 56772 37 | 0.387 % |
540.52/540.88 c | 484478 | 2833 17614 66105 | 2147483647 56896 37 | 0.387 % |
540.72/541.07 c | 484611 | 2833 17614 66105 | 2147483647 57029 37 | 0.387 % |
540.93/541.28 c | 484758 | 2833 17614 66105 | 2147483647 57176 37 | 0.387 % |
541.22/541.56 c | 484919 | 2833 17614 66105 | 2147483647 57337 37 | 0.387 % |
541.52/541.80 c | 485098 | 2833 17614 66105 | 2147483647 57516 37 | 0.387 % |
541.72/542.02 c | 485293 | 2833 17614 66105 | 2147483647 57711 37 | 0.387 % |
542.12/542.43 c | 485506 | 2833 17614 66105 | 2147483647 57924 37 | 0.387 % |
542.32/542.66 c | 485739 | 2833 17614 66105 | 2147483647 58157 37 | 0.387 % |
542.72/543.01 c | 485996 | 2833 17614 66105 | 2147483647 58414 37 | 0.387 % |
542.92/543.29 c | 486278 | 2833 17614 66105 | 2147483647 58696 38 | 0.387 % |
543.32/543.60 c | 486587 | 2833 17614 66105 | 2147483647 59005 38 | 0.387 % |
543.72/544.00 c | 486927 | 2833 17614 66105 | 2147483647 59345 38 | 0.387 % |
544.02/544.37 c | 487300 | 2833 17614 66105 | 2147483647 59718 38 | 0.387 % |
544.52/544.82 c | 487711 | 2833 17614 66105 | 2147483647 60129 38 | 0.387 % |
545.02/545.32 c | 488163 | 2833 17614 66105 | 2147483647 60581 38 | 0.387 % |
545.52/545.86 c | 488657 | 2833 17614 66105 | 2147483647 61075 38 | 0.388 % |
546.32/546.67 c | 489200 | 2833 17614 66105 | 2147483647 61618 38 | 0.387 % |
547.02/547.30 c | 489796 | 2833 17614 66105 | 2147483647 62214 38 | 0.388 % |
547.82/548.17 c | 490452 | 2833 17614 66105 | 62420 55767 37 | 0.387 % |
548.72/549.08 c | 491174 | 2833 17614 66105 | 62420 56489 37 | 0.387 % |
549.72/550.05 c | 491967 | 2833 17614 66105 | 62420 57282 37 | 0.387 % |
550.72/551.01 c | 492839 | 2833 17614 66105 | 62420 58154 37 | 0.387 % |
551.72/552.00 c | 493798 | 2833 17614 66105 | 62420 59113 37 | 0.387 % |
552.92/553.22 c | 494851 | 2833 17614 66105 | 62420 60166 38 | 0.387 % |
554.12/554.46 c | 496010 | 2833 17614 66105 | 62420 61325 38 | 0.387 % |
555.52/555.88 c | 497284 | 2833 17614 66105 | 62420 62599 38 | 0.387 % |
557.02/557.37 c | 498684 | 2833 17614 66105 | 62420 57740 36 | 0.387 % |
558.92/559.21 c | 500226 | 2833 17614 66105 | 2147483647 59282 37 | 0.387 % |
561.01/561.32 c | 501921 | 2833 17614 66105 | 2147483647 60977 37 | 0.387 % |
562.92/563.28 c | 503790 | 2833 17614 66105 | 2147483647 62846 37 | 0.387 % |
565.41/565.76 c | 505839 | 2833 17614 66105 | 2147483647 64895 38 | 0.387 % |
569.61/569.95 c | 508092 | 2833 17614 66105 | 2147483647 67148 38 | 0.387 % |
572.71/573.03 c | 510570 | 2833 17614 66105 | 69058 69626 39 | 0.387 % |
576.51/576.87 c | 513295 | 2833 17614 66105 | 69058 63833 38 | 0.387 % |
580.51/580.86 c | 516293 | 2833 17614 66105 | 69058 66831 38 | 0.387 % |
584.70/585.06 c | 519590 | 2833 17614 66105 | 69058 59052 38 | 0.387 % |
588.80/589.14 c | 523215 | 2833 17614 66105 | 59467 53368 38 | 0.387 % |
593.10/593.49 c | 527202 | 2833 17614 66105 | 59467 57355 39 | 0.387 % |
598.50/598.81 c | 531588 | 2833 17614 66105 | 53765 49829 37 | 0.387 % |
603.90/604.24 c | 536413 | 2833 17614 66105 | 53765 49208 37 | 0.387 % |
604.00/604.39 c | 536514 | 2833 17614 66105 | 53765 49309 37 | 0.387 % |
604.10/604.49 c | 536624 | 2833 17614 66105 | 53765 49419 37 | 0.387 % |
604.30/604.67 c | 536745 | 2833 17614 66105 | 53765 49540 37 | 0.387 % |
604.50/604.83 c | 536879 | 2833 17614 66105 | 53765 49674 37 | 0.387 % |
604.70/605.02 c | 537026 | 2833 17614 66105 | 53765 49821 37 | 0.387 % |
604.90/605.20 c | 537187 | 2833 17614 66105 | 53765 49982 37 | 0.388 % |
605.00/605.39 c | 537364 | 2833 17614 66105 | 53765 50159 37 | 0.387 % |
605.20/605.57 c | 537557 | 2833 17614 66105 | 53765 50352 37 | 0.387 % |
605.39/605.79 c | 537769 | 2833 17614 66105 | 53765 50564 37 | 0.387 % |
605.70/606.06 c | 538003 | 2833 17614 66105 | 53765 50798 37 | 0.387 % |
606.09/606.41 c | 538260 | 2833 17614 66105 | 53765 51055 37 | 0.387 % |
606.29/606.69 c | 538541 | 2833 17614 66105 | 53765 51336 37 | 0.387 % |
606.59/606.98 c | 538850 | 2833 17614 66105 | 53765 51645 37 | 0.387 % |
606.99/607.35 c | 539189 | 2833 17614 66105 | 53765 51984 37 | 0.387 % |
607.49/607.84 c | 539562 | 2833 17614 66105 | 53765 52357 37 | 0.387 % |
607.90/608.27 c | 539974 | 2833 17614 66105 | 53765 52769 38 | 0.387 % |
608.39/608.79 c | 540423 | 2833 17614 66105 | 2147483647 53218 38 | 0.387 % |
609.00/609.39 c | 540919 | 2833 17614 66105 | 2147483647 53714 38 | 0.387 % |
609.69/610.05 c | 541463 | 2833 17614 66105 | 2147483647 54258 38 | 0.387 % |
610.29/610.61 c | 542061 | 2833 17614 66105 | 2147483647 54856 38 | 0.387 % |
611.09/611.41 c | 542716 | 2833 17614 66105 | 2147483647 55511 38 | 0.387 % |
611.79/612.11 c | 543437 | 2833 17614 66105 | 2147483647 56232 38 | 0.387 % |
612.59/612.92 c | 544229 | 2833 17614 66105 | 2147483647 57024 38 | 0.387 % |
613.49/613.90 c | 545103 | 2833 17614 66105 | 2147483647 57898 38 | 0.387 % |
614.49/614.83 c | 546061 | 2833 17614 66105 | 2147483647 58856 39 | 0.387 % |
615.69/616.08 c | 547114 | 2833 17614 66105 | 2147483647 59909 39 | 0.387 % |
617.29/617.61 c | 548272 | 2833 17614 66105 | 2147483647 61067 39 | 0.387 % |
618.89/619.28 c | 549546 | 2833 17614 66105 | 2147483647 62341 39 | 0.387 % |
620.69/621.05 c | 550948 | 2833 17614 66105 | 62795 55973 38 | 0.388 % |
622.39/622.74 c | 552488 | 2833 17614 66105 | 62795 57513 38 | 0.387 % |
624.49/624.88 c | 554184 | 2833 17614 66105 | 62795 59209 38 | 0.387 % |
626.98/627.37 c | 556047 | 2833 17614 66105 | 62795 61072 38 | 0.387 % |
629.38/629.74 c | 558096 | 2833 17614 66105 | 62795 63121 39 | 0.387 % |
631.78/632.15 c | 560349 | 2833 17614 66105 | 56770 57119 38 | 0.387 % |
635.68/636.07 c | 562827 | 2833 17614 66105 | 56770 52055 36 | 0.387 % |
639.88/640.23 c | 565552 | 2833 17614 66105 | 56770 54780 36 | 0.387 % |
643.68/644.01 c | 568550 | 2833 17614 66105 | 56770 52045 36 | 0.387 % |
647.58/647.94 c | 571847 | 2833 17614 66105 | 2147483647 55342 37 | 0.387 % |
651.88/652.22 c | 575473 | 2833 17614 66105 | 2147483647 58968 38 | 0.387 % |
656.98/657.33 c | 579460 | 2833 17614 66105 | 2147483647 62955 39 | 0.387 % |
662.27/662.67 c | 583846 | 2833 17614 66105 | 63497 58559 38 | 0.387 % |
668.67/669.06 c | 588671 | 2833 17614 66105 | 63497 63384 39 | 0.387 % |
675.37/675.79 c | 593977 | 2833 17614 66105 | 55181 51110 36 | 0.387 % |
675.57/675.91 c | 594077 | 2833 17614 66105 | 55181 51210 36 | 0.387 % |
675.67/676.04 c | 594189 | 2833 17614 66105 | 55181 51322 36 | 0.387 % |
675.77/676.17 c | 594311 | 2833 17614 66105 | 55181 51444 36 | 0.387 % |
675.97/676.32 c | 594445 | 2833 17614 66105 | 55181 51578 36 | 0.387 % |
676.07/676.50 c | 594591 | 2833 17614 66105 | 55181 51724 36 | 0.387 % |
676.27/676.67 c | 594751 | 2833 17614 66105 | 55181 51884 36 | 0.387 % |
676.47/676.88 c | 594927 | 2833 17614 66105 | 55181 52060 37 | 0.387 % |
676.77/677.13 c | 595120 | 2833 17614 66105 | 55181 52253 37 | 0.387 % |
676.97/677.39 c | 595333 | 2833 17614 66105 | 55181 52466 37 | 0.387 % |
677.27/677.67 c | 595566 | 2833 17614 66105 | 55181 52699 37 | 0.387 % |
677.57/677.98 c | 595822 | 2833 17614 66105 | 55181 52955 37 | 0.387 % |
677.87/678.25 c | 596103 | 2833 17614 66105 | 55181 53236 37 | 0.387 % |
678.27/678.62 c | 596413 | 2833 17614 66105 | 55181 53546 37 | 0.387 % |
678.67/679.02 c | 596753 | 2833 17614 66105 | 55181 53886 37 | 0.387 % |
679.07/679.41 c | 597126 | 2833 17614 66105 | 55181 54259 37 | 0.387 % |
679.47/679.88 c | 597537 | 2833 17614 66105 | 55181 54670 37 | 0.387 % |
679.97/680.36 c | 597986 | 2833 17614 66105 | 55181 55119 37 | 0.387 % |
680.66/681.01 c | 598480 | 2833 17614 66105 | 55181 49318 37 | 0.387 % |
681.16/681.50 c | 599024 | 2833 17614 66105 | 55181 49862 37 | 0.387 % |
681.57/681.98 c | 599620 | 2833 17614 66105 | 55181 50458 37 | 0.387 % |
682.26/682.60 c | 600275 | 2833 17614 66105 | 50839 51113 37 | 0.387 % |
682.86/683.25 c | 600997 | 2833 17614 66105 | 50839 46293 36 | 0.387 % |
683.56/683.96 c | 601789 | 2833 17614 66105 | 50839 47085 36 | 0.387 % |
684.46/684.83 c | 602660 | 2833 17614 66105 | 50839 47956 36 | 0.387 % |
686.17/686.52 c | 603618 | 2833 17614 66105 | 50839 48914 37 | 0.387 % |
687.27/687.65 c | 604671 | 2833 17614 66105 | 50839 49967 37 | 0.387 % |
688.67/689.01 c | 605830 | 2833 17614 66105 | 50839 51126 37 | 0.387 % |
690.27/690.61 c | 607104 | 2833 17614 66105 | 50839 47223 36 | 0.387 % |
691.87/692.26 c | 608505 | 2833 17614 66105 | 50839 48624 36 | 0.387 % |
693.37/693.72 c | 610045 | 2833 17614 66105 | 2147483647 50164 37 | 0.387 % |
694.97/695.31 c | 611739 | 2833 17614 66105 | 2147483647 51858 38 | 0.388 % |
696.47/696.88 c | 613603 | 2833 17614 66105 | 2147483647 53722 38 | 0.387 % |
698.47/698.80 c | 615652 | 2833 17614 66105 | 2147483647 55771 38 | 0.387 % |
700.67/701.04 c | 617905 | 2833 17614 66105 | 2147483647 58024 39 | 0.387 % |
703.37/703.75 c | 620383 | 2833 17614 66105 | 2147483647 60502 39 | 0.387 % |
706.97/707.40 c | 623109 | 2833 17614 66105 | 2147483647 63228 39 | 0.387 % |
710.96/711.38 c | 626106 | 2833 17614 66105 | 2147483647 66225 39 | 0.387 % |
715.36/715.75 c | 629403 | 2833 17614 66105 | 2147483647 69522 40 | 0.387 % |
719.96/720.40 c | 633028 | 2833 17614 66105 | 70120 62914 38 | 0.387 % |
724.96/725.31 c | 637015 | 2833 17614 66105 | 70120 66901 39 | 0.387 % |
730.35/730.79 c | 641401 | 2833 17614 66105 | 69886 60563 40 | 0.387 % |
736.56/736.93 c | 646226 | 2833 17614 66105 | 69886 65388 40 | 0.387 % |
744.35/744.73 c | 651532 | 2833 17614 66105 | 69163 59215 39 | 0.387 % |
751.25/751.67 c | 657367 | 2833 17614 66105 | 69163 65050 41 | 0.387 % |
751.35/751.79 c | 657468 | 2833 17614 66105 | 69163 65151 41 | 0.388 % |
751.55/751.93 c | 657579 | 2833 17614 66105 | 69163 65262 41 | 0.387 % |
751.75/752.11 c | 657700 | 2833 17614 66105 | 69163 65383 41 | 0.387 % |
751.95/752.32 c | 657834 | 2833 17614 66105 | 69163 65517 41 | 0.387 % |
752.05/752.46 c | 657981 | 2833 17614 66105 | 69163 65664 41 | 0.387 % |
752.25/752.69 c | 658143 | 2833 17614 66105 | 69163 65826 41 | 0.387 % |
752.55/752.93 c | 658319 | 2833 17614 66105 | 69163 66002 41 | 0.387 % |
752.75/753.11 c | 658513 | 2833 17614 66105 | 69163 66196 41 | 0.387 % |
752.95/753.39 c | 658725 | 2833 17614 66105 | 69163 66408 41 | 0.388 % |
753.25/753.65 c | 658959 | 2833 17614 66105 | 69163 66642 41 | 0.387 % |
753.55/753.90 c | 659216 | 2833 17614 66105 | 69163 66899 41 | 0.387 % |
753.75/754.17 c | 659498 | 2833 17614 66105 | 69163 67181 41 | 0.388 % |
754.05/754.47 c | 659809 | 2833 17614 66105 | 69163 67492 41 | 0.387 % |
754.45/754.84 c | 660149 | 2833 17614 66105 | 67687 67832 41 | 0.387 % |
754.95/755.36 c | 660521 | 2833 17614 66105 | 67687 57818 40 | 0.387 % |
755.35/755.78 c | 660931 | 2833 17614 66105 | 67687 58228 40 | 0.387 % |
755.85/756.29 c | 661380 | 2833 17614 66105 | 67687 58677 40 | 0.387 % |
756.55/756.90 c | 661873 | 2833 17614 66105 | 67687 59170 40 | 0.387 % |
757.04/757.49 c | 662415 | 2833 17614 66105 | 67687 59712 40 | 0.387 % |
757.74/758.19 c | 663012 | 2833 17614 66105 | 67687 60309 40 | 0.387 % |
758.55/758.96 c | 663667 | 2833 17614 66105 | 67687 60964 40 | 0.387 % |
759.24/759.69 c | 664388 | 2833 17614 66105 | 67687 61685 40 | 0.387 % |
760.24/760.67 c | 665181 | 2833 17614 66105 | 67687 62478 40 | 0.387 % |
761.34/761.70 c | 666053 | 2833 17614 66105 | 67687 63350 41 | 0.387 % |
762.54/762.94 c | 667012 | 2833 17614 66105 | 67687 64309 41 | 0.387 % |
764.04/764.43 c | 668065 | 2833 17614 66105 | 67687 65362 41 | 0.388 % |
765.54/766.00 c | 669224 | 2833 17614 66105 | 67687 66521 41 | 0.387 % |
767.35/767.78 c | 670498 | 2833 17614 66105 | 67297 58104 41 | 0.387 % |
769.24/769.65 c | 671899 | 2833 17614 66105 | 67297 59505 41 | 0.387 % |
770.84/771.29 c | 673439 | 2833 17614 66105 | 67297 61045 42 | 0.387 % |
773.44/773.81 c | 675135 | 2833 17614 66105 | 67297 62741 42 | 0.387 % |
776.04/776.48 c | 677000 | 2833 17614 66105 | 67297 64606 42 | 0.387 % |
779.14/779.52 c | 679052 | 2833 17614 66105 | 67297 66658 42 | 0.387 % |
782.34/782.73 c | 681305 | 2833 17614 66105 | 67607 58441 40 | 0.387 % |
785.53/785.97 c | 683783 | 2833 17614 66105 | 67607 60919 40 | 0.387 % |
789.13/789.54 c | 686508 | 2833 17614 66105 | 67607 63644 40 | 0.387 % |
793.33/793.71 c | 689505 | 2833 17614 66105 | 67607 66641 40 | 0.387 % |
797.33/797.71 c | 692802 | 2833 17614 66105 | 67138 58710 40 | 0.387 % |
800.73/801.14 c | 696430 | 2833 17614 66105 | 67138 62338 41 | 0.387 % |
804.53/804.94 c | 700417 | 2833 17614 66105 | 65910 66325 41 | 0.387 % |
809.52/809.99 c | 704803 | 2833 17614 66105 | 65910 60248 39 | 0.387 % |
816.72/817.13 c | 709626 | 2833 17614 66105 | 65910 65071 39 | 0.387 % |
822.82/823.22 c | 714933 | 2833 17614 66105 | 65446 61077 39 | 0.387 % |
830.42/830.89 c | 720768 | 2833 17614 66105 | 56697 49659 37 | 0.387 % |
837.82/838.26 c | 727186 | 2833 17614 66105 | 56697 56077 38 | 0.387 % |
837.92/838.36 c | 727287 | 2833 17614 66105 | 56697 56178 38 | 0.387 % |
838.02/838.48 c | 727398 | 2833 17614 66105 | 56697 56289 38 | 0.387 % |
838.22/838.60 c | 727520 | 2833 17614 66105 | 56697 56411 38 | 0.387 % |
838.32/838.77 c | 727653 | 2833 17614 66105 | 56697 56544 38 | 0.387 % |
838.52/838.95 c | 727800 | 2833 17614 66105 | 56697 56691 38 | 0.387 % |
838.72/839.10 c | 727960 | 2833 17614 66105 | 56697 56851 39 | 0.387 % |
838.92/839.30 c | 728137 | 2833 17614 66105 | 56697 50458 38 | 0.387 % |
839.02/839.47 c | 728330 | 2833 17614 66105 | 56697 50651 38 | 0.387 % |
839.21/839.65 c | 728542 | 2833 17614 66105 | 56697 50863 38 | 0.387 % |
839.41/839.83 c | 728776 | 2833 17614 66105 | 56697 51097 38 | 0.388 % |
839.71/840.11 c | 729033 | 2833 17614 66105 | 56697 51354 38 | 0.387 % |
840.02/840.49 c | 729315 | 2833 17614 66105 | 56697 51636 38 | 0.387 % |
840.41/840.84 c | 729624 | 2833 17614 66105 | 56697 51945 38 | 0.387 % |
840.81/841.22 c | 729965 | 2833 17614 66105 | 56697 52286 38 | 0.387 % |
841.31/841.70 c | 730337 | 2833 17614 66105 | 52323 52658 38 | 0.387 % |
841.71/842.16 c | 730747 | 2833 17614 66105 | 52323 47117 36 | 0.387 % |
842.12/842.56 c | 731197 | 2833 17614 66105 | 52323 47567 36 | 0.387 % |
842.71/843.14 c | 731690 | 2833 17614 66105 | 52323 48060 37 | 0.387 % |
843.22/843.68 c | 732232 | 2833 17614 66105 | 52323 48602 37 | 0.387 % |
843.82/844.26 c | 732828 | 2833 17614 66105 | 52323 49198 37 | 0.387 % |
844.52/844.96 c | 733483 | 2833 17614 66105 | 52323 49853 37 | 0.387 % |
845.42/845.90 c | 734204 | 2833 17614 66105 | 52323 50574 37 | 0.387 % |
846.32/846.79 c | 734996 | 2833 17614 66105 | 52323 51366 37 | 0.387 % |
847.22/847.68 c | 735867 | 2833 17614 66105 | 52323 52237 37 | 0.387 % |
848.32/848.71 c | 736827 | 2833 17614 66105 | 52323 47927 36 | 0.387 % |
849.52/849.95 c | 737882 | 2833 17614 66105 | 52323 48982 37 | 0.387 % |
850.42/850.88 c | 739041 | 2833 17614 66105 | 52323 50141 37 | 0.387 % |
852.12/852.57 c | 740315 | 2833 17614 66105 | 2147483647 51415 38 | 0.387 % |
853.52/853.92 c | 741715 | 2833 17614 66105 | 2147483647 52815 38 | 0.387 % |
855.12/855.55 c | 743259 | 2833 17614 66105 | 2147483647 54359 38 | 0.387 % |
856.52/856.97 c | 744953 | 2833 17614 66105 | 2147483647 56053 39 | 0.387 % |
859.41/859.83 c | 746818 | 2833 17614 66105 | 2147483647 57918 39 | 0.388 % |
861.62/862.02 c | 748868 | 2833 17614 66105 | 2147483647 59968 40 | 0.388 % |
864.12/864.58 c | 751121 | 2833 17614 66105 | 61100 55628 40 | 0.387 % |
866.61/867.07 c | 753599 | 2833 17614 66105 | 61100 58106 41 | 0.387 % |
869.71/870.19 c | 756326 | 2833 17614 66105 | 61100 60833 41 | 0.387 % |
873.41/873.87 c | 759325 | 2833 17614 66105 | 61100 56995 40 | 0.387 % |
877.41/877.88 c | 762622 | 2833 17614 66105 | 57671 53723 40 | 0.387 % |
881.31/881.79 c | 766247 | 2833 17614 66105 | 57671 57348 41 | 0.387 % |
887.90/888.39 c | 770234 | 2833 17614 66105 | 54699 54931 40 | 0.387 % |
893.20/893.67 c | 774619 | 2833 17614 66105 | 54699 53581 39 | 0.387 % |
899.60/900.01 c | 779442 | 2833 17614 66105 | 54699 52877 39 | 0.387 % |
905.60/906.02 c | 784747 | 2833 17614 66105 | 2147483647 58182 40 | 0.387 % |
914.29/914.70 c | 790582 | 2833 17614 66105 | 63437 55935 38 | 0.387 % |
921.89/922.32 c | 797002 | 2833 17614 66105 | 63437 62355 41 | 0.387 % |
931.29/931.73 c | 804063 | 2833 17614 66105 | 57006 53284 38 | 0.387 % |
931.39/931.83 c | 804163 | 2833 17614 66105 | 57006 53384 38 | 0.387 % |
931.49/931.96 c | 804273 | 2833 17614 66105 | 57006 53494 38 | 0.387 % |
931.69/932.14 c | 804394 | 2833 17614 66105 | 57006 53615 38 | 0.387 % |
931.89/932.32 c | 804528 | 2833 17614 66105 | 57006 53749 38 | 0.387 % |
931.99/932.47 c | 804674 | 2833 17614 66105 | 57006 53895 38 | 0.388 % |
932.19/932.63 c | 804834 | 2833 17614 66105 | 57006 54055 38 | 0.387 % |
932.29/932.80 c | 805010 | 2833 17614 66105 | 57006 54231 38 | 0.387 % |
932.48/932.98 c | 805204 | 2833 17614 66105 | 57006 54425 38 | 0.387 % |
932.78/933.29 c | 805417 | 2833 17614 66105 | 57006 54638 38 | 0.387 % |
933.08/933.54 c | 805651 | 2833 17614 66105 | 57006 54872 39 | 0.387 % |
933.39/933.82 c | 805908 | 2833 17614 66105 | 57006 55129 39 | 0.387 % |
933.68/934.11 c | 806189 | 2833 17614 66105 | 57006 55410 39 | 0.387 % |
933.98/934.44 c | 806498 | 2833 17614 66105 | 57006 55719 39 | 0.387 % |
934.38/934.81 c | 806838 | 2833 17614 66105 | 57006 56059 39 | 0.387 % |
934.78/935.24 c | 807210 | 2833 17614 66105 | 57006 56431 39 | 0.387 % |
935.28/935.72 c | 807620 | 2833 17614 66105 | 57006 56841 39 | 0.387 % |
935.78/936.27 c | 808070 | 2833 17614 66105 | 57006 57291 39 | 0.387 % |
936.38/936.89 c | 808566 | 2833 17614 66105 | 57006 51560 39 | 0.388 % |
937.08/937.57 c | 809110 | 2833 17614 66105 | 57006 52104 39 | 0.387 % |
937.79/938.27 c | 809708 | 2833 17614 66105 | 57006 52702 39 | 0.387 % |
938.58/939.01 c | 810364 | 2833 17614 66105 | 52994 53358 39 | 0.387 % |
939.38/939.87 c | 811085 | 2833 17614 66105 | 52994 48342 38 | 0.387 % |
940.08/940.58 c | 811878 | 2833 17614 66105 | 52994 49135 39 | 0.388 % |
941.08/941.58 c | 812749 | 2833 17614 66105 | 52994 50006 39 | 0.387 % |
941.98/942.48 c | 813709 | 2833 17614 66105 | 52994 50966 39 | 0.387 % |
943.18/943.63 c | 814764 | 2833 17614 66105 | 52994 52021 39 | 0.387 % |
944.48/944.96 c | 815922 | 2833 17614 66105 | 52994 53179 39 | 0.387 % |
945.98/946.46 c | 817197 | 2833 17614 66105 | 52994 49137 39 | 0.387 % |
947.68/948.17 c | 818597 | 2833 17614 66105 | 52994 50537 38 | 0.387 % |
949.28/949.71 c | 820137 | 2833 17614 66105 | 2147483647 52077 39 | 0.387 % |
950.78/951.26 c | 821831 | 2833 17614 66105 | 2147483647 53771 40 | 0.387 % |
952.67/953.11 c | 823695 | 2833 17614 66105 | 2147483647 55635 40 | 0.387 % |
954.67/955.19 c | 825744 | 2833 17614 66105 | 2147483647 57684 40 | 0.387 % |
957.07/957.53 c | 827997 | 2833 17614 66105 | 2147483647 59937 40 | 0.387 % |
959.57/960.05 c | 830476 | 2833 17614 66105 | 2147483647 62416 41 | 0.387 % |
962.47/962.96 c | 833203 | 2833 17614 66105 | 2147483647 65143 41 | 0.387 % |
965.87/966.35 c | 836200 | 2833 17614 66105 | 2147483647 68140 42 | 0.387 % |
969.67/970.20 c | 839497 | 2833 17614 66105 | 2147483647 71437 42 | 0.387 % |
974.87/975.33 c | 843124 | 2833 17614 66105 | 71941 64805 41 | 0.388 % |
980.06/980.55 c | 847111 | 2833 17614 66105 | 71941 68792 41 | 0.387 % |
986.27/986.75 c | 851496 | 2833 17614 66105 | 71681 61077 39 | 0.387 % |
992.76/993.29 c | 856321 | 2833 17614 66105 | 71681 65902 40 | 0.387 % |
1000.36/1000.89 c | 861626 | 2833 17614 66105 | 69581 59513 39 | 0.387 % |
1008.45/1008.97 c | 867461 | 2833 17614 66105 | 69581 65348 39 | 0.387 % |
1018.75/1019.24 c | 873880 | 2833 17614 66105 | 67888 59999 37 | 0.387 % |
1028.96/1029.41 c | 880939 | 2833 17614 66105 | 66119 56752 35 | 0.387 % |
1040.25/1040.76 c | 888703 | 2833 17614 66105 | 66119 64516 36 | 0.387 % |
1040.35/1040.87 c | 888803 | 2833 17614 66105 | 66119 64616 36 | 0.387 % |
1040.55/1041.00 c | 888914 | 2833 17614 66105 | 66119 64727 36 | 0.387 % |
1040.65/1041.18 c | 889035 | 2833 17614 66105 | 66119 64848 36 | 0.387 % |
1040.85/1041.37 c | 889168 | 2833 17614 66105 | 66119 64981 36 | 0.388 % |
1041.05/1041.57 c | 889314 | 2833 17614 66105 | 66119 65127 36 | 0.387 % |
1041.26/1041.73 c | 889474 | 2833 17614 66105 | 66119 65287 36 | 0.387 % |
1041.45/1041.93 c | 889650 | 2833 17614 66105 | 66119 65463 36 | 0.387 % |
1041.65/1042.12 c | 889844 | 2833 17614 66105 | 66119 65657 36 | 0.387 % |
1041.85/1042.37 c | 890056 | 2833 17614 66105 | 65815 65869 36 | 0.387 % |
1042.26/1042.75 c | 890289 | 2833 17614 66105 | 65815 56404 35 | 0.388 % |
1042.55/1043.05 c | 890545 | 2833 17614 66105 | 65815 56660 35 | 0.387 % |
1042.95/1043.42 c | 890826 | 2833 17614 66105 | 65815 56941 35 | 0.387 % |
1043.25/1043.73 c | 891136 | 2833 17614 66105 | 65815 57251 35 | 0.387 % |
1043.65/1044.14 c | 891477 | 2833 17614 66105 | 65815 57592 35 | 0.387 % |
1044.05/1044.53 c | 891849 | 2833 17614 66105 | 65815 57964 35 | 0.387 % |
1044.55/1045.08 c | 892258 | 2833 17614 66105 | 65815 58373 35 | 0.387 % |
1045.15/1045.65 c | 892708 | 2833 17614 66105 | 65815 58823 35 | 0.387 % |
1045.85/1046.30 c | 893202 | 2833 17614 66105 | 65815 59317 36 | 0.387 % |
1046.55/1047.02 c | 893745 | 2833 17614 66105 | 65815 59860 36 | 0.387 % |
1047.45/1047.94 c | 894342 | 2833 17614 66105 | 65815 60457 36 | 0.387 % |
1048.25/1048.77 c | 894997 | 2833 17614 66105 | 65815 61112 36 | 0.387 % |
1049.25/1049.73 c | 895718 | 2833 17614 66105 | 65815 61833 36 | 0.387 % |
1050.35/1050.83 c | 896510 | 2833 17614 66105 | 65815 62625 36 | 0.387 % |
1051.35/1051.87 c | 897381 | 2833 17614 66105 | 65815 63496 36 | 0.387 % |
1052.45/1052.93 c | 898339 | 2833 17614 66105 | 65815 64454 36 | 0.387 % |
1053.75/1054.27 c | 899393 | 2833 17614 66105 | 65815 65508 36 | 0.387 % |
1055.05/1055.59 c | 900552 | 2833 17614 66105 | 66116 66667 37 | 0.387 % |
1056.65/1057.16 c | 901826 | 2833 17614 66105 | 66116 58751 36 | 0.387 % |
1058.15/1058.62 c | 903227 | 2833 17614 66105 | 66116 60152 36 | 0.387 % |
1059.64/1060.19 c | 904767 | 2833 17614 66105 | 66116 61692 36 | 0.387 % |
1061.44/1061.96 c | 906461 | 2833 17614 66105 | 66116 63386 37 | 0.388 % |
1063.84/1064.35 c | 908325 | 2833 17614 66105 | 66116 65250 37 | 0.387 % |
1066.55/1067.09 c | 910374 | 2833 17614 66105 | 59295 59669 36 | 0.387 % |
1069.84/1070.35 c | 912629 | 2833 17614 66105 | 59295 55073 36 | 0.387 % |
1072.74/1073.20 c | 915107 | 2833 17614 66105 | 59295 57551 36 | 0.387 % |
1076.04/1076.59 c | 917833 | 2833 17614 66105 | 59295 53520 36 | 0.387 % |
1079.44/1079.91 c | 920830 | 2833 17614 66105 | 55688 49986 36 | 0.387 % |
1083.04/1083.52 c | 924127 | 2833 17614 66105 | 55688 53283 38 | 0.387 % |
1087.13/1087.61 c | 927752 | 2833 17614 66105 | 55688 50546 37 | 0.387 % |
1092.94/1093.46 c | 931739 | 2833 17614 66105 | 52794 49197 37 | 0.387 % |
1099.33/1099.84 c | 936125 | 2833 17614 66105 | 52794 48254 36 | 0.387 % |
1105.43/1105.90 c | 940948 | 2833 17614 66105 | 2147483647 53077 37 | 0.387 % |
1112.93/1113.50 c | 946254 | 2833 17614 66105 | 2147483647 58383 37 | 0.387 % |
1120.33/1120.80 c | 952089 | 2833 17614 66105 | 62131 57363 36 | 0.387 % |
1127.62/1128.17 c | 958507 | 2833 17614 66105 | 62131 56677 39 | 0.387 % |
1135.32/1135.89 c | 965567 | 2833 17614 66105 | 58170 57400 42 | 0.388 % |
1144.32/1144.82 c | 973332 | 2833 17614 66105 | 2147483647 59301 44 | 0.387 % |
1155.41/1155.99 c | 981872 | 2833 17614 66105 | 65971 59196 46 | 0.387 % |
1155.62/1156.14 c | 981972 | 2833 17614 66105 | 65971 59296 46 | 0.387 % |
1155.81/1156.32 c | 982084 | 2833 17614 66105 | 65971 59408 46 | 0.387 % |
1156.01/1156.50 c | 982208 | 2833 17614 66105 | 65971 59532 46 | 0.387 % |
1156.21/1156.71 c | 982342 | 2833 17614 66105 | 65971 59666 46 | 0.387 % |
1156.41/1156.97 c | 982489 | 2833 17614 66105 | 65971 59813 46 | 0.387 % |
1156.61/1157.20 c | 982649 | 2833 17614 66105 | 65971 59973 46 | 0.387 % |
1156.91/1157.46 c | 982825 | 2833 17614 66105 | 65971 60149 46 | 0.387 % |
1157.21/1157.75 c | 983018 | 2833 17614 66105 | 65971 60342 46 | 0.387 % |
1157.51/1158.05 c | 983231 | 2833 17614 66105 | 65971 60555 46 | 0.388 % |
1157.81/1158.34 c | 983464 | 2833 17614 66105 | 65971 60788 46 | 0.387 % |
1158.01/1158.58 c | 983720 | 2833 17614 66105 | 65971 61044 46 | 0.387 % |
1158.41/1158.92 c | 984001 | 2833 17614 66105 | 65971 61325 46 | 0.387 % |
1158.91/1159.42 c | 984312 | 2833 17614 66105 | 65971 61636 46 | 0.387 % |
1159.51/1160.02 c | 984651 | 2833 17614 66105 | 65971 61975 46 | 0.387 % |
1160.01/1160.52 c | 985024 | 2833 17614 66105 | 65971 62348 46 | 0.387 % |
1160.51/1161.01 c | 985434 | 2833 17614 66105 | 65971 62758 46 | 0.387 % |
1161.21/1161.77 c | 985884 | 2833 17614 66105 | 65971 63208 46 | 0.387 % |
1161.70/1162.25 c | 986377 | 2833 17614 66105 | 65971 63701 47 | 0.387 % |
1162.30/1162.81 c | 986920 | 2833 17614 66105 | 65971 64244 46 | 0.387 % |
1163.00/1163.52 c | 987516 | 2833 17614 66105 | 65971 64840 47 | 0.387 % |
1163.80/1164.36 c | 988171 | 2833 17614 66105 | 65971 65495 47 | 0.387 % |
1164.61/1165.15 c | 988892 | 2833 17614 66105 | 65971 66216 47 | 0.387 % |
1165.61/1166.16 c | 989684 | 2833 17614 66105 | 65971 56812 48 | 0.387 % |
1166.81/1167.38 c | 990555 | 2833 17614 66105 | 57129 49060 48 | 0.387 % |
1167.71/1168.21 c | 991513 | 2833 17614 66105 | 57129 50018 48 | 0.387 % |
1168.91/1169.49 c | 992567 | 2833 17614 66105 | 57129 51072 48 | 0.387 % |
1170.01/1170.53 c | 993726 | 2833 17614 66105 | 57129 52231 49 | 0.387 % |
1171.01/1171.55 c | 995000 | 2833 17614 66105 | 57129 53505 49 | 0.387 % |
1172.61/1173.15 c | 996400 | 2833 17614 66105 | 57129 54905 49 | 0.387 % |
1174.41/1174.96 c | 997940 | 2833 17614 66105 | 57129 56445 49 | 0.387 % |
1176.81/1177.38 c | 999634 | 2833 17614 66105 | 57129 51503 46 | 0.387 % |
1179.21/1179.76 c | 1001497 | 2833 17614 66105 | 51871 47678 42 | 0.387 % |
1181.61/1182.15 c | 1003546 | 2833 17614 66105 | 51871 49727 42 | 0.387 % |
1183.91/1184.42 c | 1005801 | 2833 17614 66105 | 51871 51982 44 | 0.387 % |
1186.31/1186.86 c | 1008279 | 2833 17614 66105 | 51871 49262 41 | 0.387 % |
1189.00/1189.58 c | 1011004 | 2833 17614 66105 | 2147483647 51987 42 | 0.387 % |
1191.81/1192.38 c | 1014002 | 2833 17614 66105 | 2147483647 54985 44 | 0.387 % |
1196.00/1196.54 c | 1017299 | 2833 17614 66105 | 2147483647 58282 45 | 0.387 % |
1199.90/1200.47 c | 1020924 | 2833 17614 66105 | 2147483647 61907 45 | 0.387 % |
1200.00/1200.51 HOME/SatELiteGTI: line 36: 15062 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832381-1242772741/watcher-1832381-1242772741 -o /tmp/evaluation-result-1832381-1242772741/solver-1832381-1242772741 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832381-1242772741.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 15056
/proc/meminfo: memFree=1719640/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305301714 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15056/statm: 1339 235 195 169 0 50 0
[pid=15060] ppid=15056 vsize=5356 CPUtime=0
/proc/15060/stat : 15060 (SatELiteGTI) R 15056 15056 14862 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 305301715 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437695135 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15060/statm: 1339 237 197 169 0 50 0
[startup+0.0715569 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15056
/proc/meminfo: memFree=1719640/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101558 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15056
/proc/meminfo: memFree=1719640/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301581 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15056
/proc/meminfo: memFree=1719640/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701626 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 15056
/proc/meminfo: memFree=1719640/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50172 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1716424/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=4212 CPUtime=1.43
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 798 0 0 0 143 0 0 0 25 0 1 0 305301721 4313088 784 1992294400 134512640 135215339 4294956240 18446744073709551615 134538454 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 1053 784 76 171 0 880 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9568
[startup+3.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1715848/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=4476 CPUtime=3.03
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 837 0 0 0 303 0 0 0 25 0 1 0 305301721 4583424 823 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 1119 823 76 171 0 946 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9832
[startup+6.30226 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1714184/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=6400 CPUtime=6.22
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 1331 0 0 0 622 0 0 0 25 0 1 0 305301721 6553600 1317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 1600 1317 76 171 0 1427 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11756
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1711112/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=9088 CPUtime=12.61
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 2000 0 0 0 1260 1 0 0 25 0 1 0 305301721 9306112 1986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 2272 1986 76 171 0 2099 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 14444
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1707016/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=13160 CPUtime=25.4
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 2987 0 0 0 2538 2 0 0 25 0 1 0 305301721 13475840 2973 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 3290 2973 76 171 0 3117 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 18516
[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1701576/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18456 CPUtime=50.99
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4322 0 0 0 5095 4 0 0 25 0 1 0 305301721 18898944 4308 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4614 4308 76 171 0 4441 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 23812
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1701448/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18600 CPUtime=102.17
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4354 0 0 0 10212 5 0 0 25 0 1 0 305301721 19046400 4340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4650 4340 76 171 0 4477 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 23956
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1701320/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18600 CPUtime=162.13
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4355 0 0 0 16208 5 0 0 25 0 1 0 305301721 19046400 4341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4650 4341 76 171 0 4477 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 23956
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1701128/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18748 CPUtime=222.1
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4371 0 0 0 22205 5 0 0 25 0 1 0 305301721 19197952 4357 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4687 4357 76 171 0 4514 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 24104
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15062
/proc/meminfo: memFree=1700936/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18748 CPUtime=282.07
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4396 0 0 0 28202 5 0 0 25 0 1 0 305301721 19197952 4382 1992294400 134512640 135215339 4294956240 18446744073709551615 134538335 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4687 4382 76 171 0 4514 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 24104
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1700808/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18748 CPUtime=342.06
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4402 0 0 0 34200 6 0 0 25 0 1 0 305301721 19197952 4388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528896 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4687 4388 76 171 0 4514 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 24104
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1700680/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=18908 CPUtime=402.03
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4412 0 0 0 40196 7 0 0 25 0 1 0 305301721 19361792 4398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4727 4398 76 171 0 4554 0
Current children cumulated CPU time (s) 402.07
################
# More data... #
################
[pid=15062] ppid=15056 vsize=19576 CPUtime=521.99
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4583 0 0 0 52191 8 0 0 25 0 1 0 305301721 20045824 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4569 76 171 0 4721 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 24932
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699784/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=581.97
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4585 0 0 0 58189 8 0 0 25 0 1 0 305301721 20045824 4571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4571 76 171 0 4721 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 24932
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699656/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=641.94
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4585 0 0 0 64186 8 0 0 25 0 1 0 305301721 20045824 4571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4571 76 171 0 4721 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 24932
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699464/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=701.93
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4585 0 0 0 70184 9 0 0 25 0 1 0 305301721 20045824 4571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4571 76 171 0 4721 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 24932
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699400/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=761.91
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4586 0 0 0 76182 9 0 0 25 0 1 0 305301721 20045824 4572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4572 76 171 0 4721 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 24932
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699336/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=821.88
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4588 0 0 0 82179 9 0 0 25 0 1 0 305301721 20045824 4574 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4574 76 171 0 4721 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 24932
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699272/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=881.86
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4591 0 0 0 88176 10 0 0 25 0 1 0 305301721 20045824 4577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4577 76 171 0 4721 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 24932
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699144/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=941.84
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4591 0 0 0 94174 10 0 0 25 0 1 0 305301721 20045824 4577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528936 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4577 76 171 0 4721 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 24932
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1699016/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19576 CPUtime=1001.82
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4604 0 0 0 100172 10 0 0 25 0 1 0 305301721 20045824 4590 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4894 4590 76 171 0 4721 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 24932
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1698696/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19904 CPUtime=1061.8
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4654 0 0 0 106169 11 0 0 25 0 1 0 305301721 20381696 4640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4976 4640 76 171 0 4803 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 25260
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1698632/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=19904 CPUtime=1121.78
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4655 0 0 0 112167 11 0 0 25 0 1 0 305301721 20381696 4641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 4976 4641 76 171 0 4803 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 25260
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1698376/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=20036 CPUtime=1181.77
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4696 0 0 0 118165 12 0 0 25 0 1 0 305301721 20516864 4682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 5009 4682 76 171 0 4836 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 25392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1698376/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=20036 CPUtime=1199.96
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4696 0 0 0 119984 12 0 0 25 0 1 0 305301721 20516864 4682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 5009 4682 76 171 0 4836 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 25392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15064
/proc/meminfo: memFree=1698376/2055920 swapFree=4087076/4192956
[pid=15056] ppid=15054 vsize=5356 CPUtime=0.04
/proc/15056/stat : 15056 (SatELiteGTI) S 15054 15056 14862 0 -1 4194304 336 984 0 0 0 0 4 0 17 0 1 0 305301714 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15056/statm: 1339 239 197 169 0 50 0
[pid=15062] ppid=15056 vsize=20036 CPUtime=1199.96
/proc/15062/stat : 15062 (minisat_static) R 15056 15056 14862 0 -1 4194304 4696 0 0 0 119984 12 0 0 25 0 1 0 305301721 20516864 4682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15062/statm: 5009 4682 76 171 0 4836 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 25392
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1199.9
CPU system time (s): 0.136979
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 25392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6025
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= 26
involuntary context switches= 4705
runsolver used 1.41778 second user time and 3.08353 second system time
The end
Begin job on node62 at 2009-05-20 00:39:02
IDJOB=1832381
IDBENCH=24754
IDSOLVER=671
FILE ID=node62/1832381-1242772741
PBS_JOBID= 9322239
Free space on /tmp= 66276 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832381-1242772741/watcher-1832381-1242772741 -o /tmp/evaluation-result-1832381-1242772741/solver-1832381-1242772741 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832381-1242772741.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4bdea1a05617ff95eaeaf981037754e7
RANDOM SEED=1966134542
node62.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.220
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.220
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: 1720120 kB
Buffers: 15960 kB
Cached: 183680 kB
SwapCached: 99424 kB
Active: 105700 kB
Inactive: 195840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720120 kB
SwapTotal: 4192956 kB
SwapFree: 4087076 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 14728 kB
Slab: 20108 kB
Committed_AS: 827508 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66272 MiB
End job on node62 at 2009-05-20 00:59:04