0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 8400 25200 | 2519 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 8323 25326 | -- 0 -- -- | -- | -77/126
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1937 #clauses: 8323 #literals: 25326
0.00/0.03 c CPU time: 0.025996 s
0.00/0.03 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 1937 |
0.00/0.04 c | Number of clauses: 8323 |
0.00/0.04 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 1937 8323 25326 | 2774 0 nan | 0.000 % |
0.00/0.05 c | 100 | 1937 8323 25326 | 2774 100 56 | 0.000 % |
0.00/0.06 c | 203 | 1937 8323 25326 | 2774 203 58 | 0.000 % |
0.00/0.07 c | 306 | 1937 8323 25326 | 2774 306 60 | 0.000 % |
0.00/0.08 c | 416 | 1937 8323 25326 | 2774 416 59 | 0.000 % |
0.00/0.08 c | 516 | 1937 8323 25326 | 2774 516 59 | 0.000 % |
0.00/0.09 c | 626 | 1937 8323 25326 | 2774 626 58 | 0.000 % |
0.03/0.10 c | 750 | 1937 8323 25326 | 2774 750 59 | 0.000 % |
0.03/0.11 c | 850 | 1937 8323 25326 | 2774 850 59 | 0.000 % |
0.03/0.12 c | 960 | 1937 8323 25326 | 2774 960 59 | 0.000 % |
0.03/0.13 c | 1082 | 1937 8323 25326 | 2774 1082 59 | 0.000 % |
0.03/0.14 c | 1215 | 1937 8323 25326 | 2774 1215 57 | 0.000 % |
0.03/0.15 c | 1315 | 1937 8323 25326 | 2774 1315 57 | 0.000 % |
0.03/0.15 c | 1425 | 1937 8323 25326 | 2774 1425 57 | 0.000 % |
0.03/0.16 c | 1546 | 1937 8323 25326 | 2774 1546 58 | 0.000 % |
0.03/0.17 c | 1680 | 1937 8323 25326 | 2774 1680 58 | 0.000 % |
0.03/0.19 c | 1828 | 1937 8323 25326 | 2774 1828 58 | 0.000 % |
0.03/0.20 c | 1929 | 1937 8323 25326 | 2774 1929 58 | 0.000 % |
0.03/0.20 c | 2040 | 1937 8323 25326 | 2774 2040 58 | 0.000 % |
0.03/0.21 c | 2161 | 1937 8323 25326 | 2774 2161 58 | 0.000 % |
0.03/0.22 c | 2294 | 1937 8323 25326 | 2774 2294 58 | 0.000 % |
0.03/0.24 c | 2440 | 1937 8323 25326 | 2774 2440 59 | 0.000 % |
0.03/0.25 c | 2601 | 1937 8323 25326 | 2774 2601 59 | 0.000 % |
0.03/0.26 c | 2703 | 1937 8323 25326 | 2774 2703 59 | 0.000 % |
0.03/0.27 c | 2814 | 1937 8323 25326 | 2774 2814 59 | 0.000 % |
0.03/0.28 c | 2937 | 1937 8323 25326 | 2774 2656 58 | 0.000 % |
0.03/0.29 c | 3071 | 1937 8323 25326 | 2774 2790 58 | 0.000 % |
0.03/0.30 c | 3217 | 1937 8323 25326 | 2774 2657 58 | 0.000 % |
0.03/0.32 c | 3377 | 1937 8323 25326 | 2774 2817 58 | 0.000 % |
0.03/0.33 c | 3553 | 1937 8323 25326 | 2774 2712 57 | 0.000 % |
0.03/0.34 c | 3654 | 1937 8323 25326 | 2774 2813 58 | 0.000 % |
0.03/0.35 c | 3764 | 1937 8323 25326 | 2774 2642 58 | 0.000 % |
0.03/0.36 c | 3885 | 1937 8323 25326 | 2774 2763 58 | 0.000 % |
0.03/0.37 c | 4019 | 1937 8323 25326 | 2774 2897 58 | 0.000 % |
0.03/0.38 c | 4165 | 1937 8323 25326 | 2774 2754 58 | 0.000 % |
0.03/0.40 c | 4325 | 1937 8323 25326 | 2774 2914 58 | 0.000 % |
0.03/0.41 c | 4501 | 1937 8323 25326 | 2774 2799 58 | 0.000 % |
0.03/0.43 c | 4694 | 1937 8323 25326 | 2774 2713 58 | 0.000 % |
0.03/0.44 c | 4794 | 1937 8323 25326 | 2774 2813 58 | 0.000 % |
0.03/0.45 c | 4904 | 1937 8323 25326 | 2774 2642 57 | 0.000 % |
0.03/0.46 c | 5027 | 1937 8323 25326 | 2774 2765 57 | 0.000 % |
0.03/0.47 c | 5161 | 1937 8323 25326 | 2774 2899 57 | 0.000 % |
0.03/0.48 c | 5310 | 1937 8323 25326 | 2774 2759 57 | 0.000 % |
0.03/0.50 c | 5470 | 1937 8323 25326 | 2774 2919 57 | 0.000 % |
0.03/0.51 c | 5646 | 1937 8323 25326 | 2774 2804 57 | 0.000 % |
0.03/0.53 c | 5839 | 1937 8323 25326 | 2774 2717 56 | 0.000 % |
0.03/0.55 c | 6051 | 1937 8323 25326 | 2774 2929 56 | 0.000 % |
0.03/0.56 c | 6152 | 1937 8323 25326 | 2774 2738 56 | 0.000 % |
0.03/0.56 c | 6262 | 1937 8323 25326 | 2774 2848 56 | 0.000 % |
0.03/0.58 c | 6383 | 1937 8323 25326 | 2774 2685 55 | 0.000 % |
0.03/0.59 c | 6517 | 1937 8323 25326 | 2774 2819 55 | 0.000 % |
0.03/0.60 c | 6665 | 1937 8323 25326 | 2774 2686 56 | 0.000 % |
0.03/0.61 c | 6828 | 1937 8323 25326 | 2774 2849 56 | 0.000 % |
0.03/0.63 c | 7004 | 1937 8323 25326 | 2774 2741 56 | 0.000 % |
0.03/0.65 c | 7198 | 1937 8323 25326 | 2774 2935 56 | 0.000 % |
0.03/0.66 c | 7411 | 1937 8323 25326 | 2774 2855 55 | 0.000 % |
0.03/0.69 c | 7645 | 1937 8323 25326 | 2774 2804 56 | 0.000 % |
0.03/0.69 c | 7745 | 1937 8323 25326 | 2774 2624 55 | 0.000 % |
0.03/0.70 c | 7855 | 1937 8323 25326 | 2774 2734 55 | 0.000 % |
0.03/0.71 c | 7976 | 1937 8323 25326 | 2774 2855 56 | 0.000 % |
0.03/0.73 c | 8109 | 1937 8323 25326 | 2774 2703 55 | 0.000 % |
0.03/0.74 c | 8255 | 1937 8323 25326 | 2774 2849 55 | 0.000 % |
0.03/0.75 c | 8415 | 1937 8323 25326 | 2774 2725 55 | 0.000 % |
0.03/0.77 c | 8591 | 1937 8323 25326 | 2774 2901 56 | 0.000 % |
0.03/0.79 c | 8784 | 1937 8323 25326 | 2774 2804 57 | 0.000 % |
0.03/0.81 c | 8997 | 1937 8323 25326 | 2774 2737 57 | 0.000 % |
0.03/0.83 c | 9233 | 1937 8323 25326 | 2774 2973 57 | 0.000 % |
0.03/0.85 c | 9490 | 1937 8323 25326 | 2774 2933 58 | 0.000 % |
0.03/0.86 c | 9591 | 1937 8323 25326 | 2774 2741 58 | 0.000 % |
0.03/0.87 c | 9702 | 1937 8323 25326 | 2774 2852 58 | 0.000 % |
0.03/0.88 c | 9825 | 1937 8323 25326 | 2774 2690 57 | 0.000 % |
0.03/0.89 c | 9960 | 1937 8323 25326 | 2774 2825 58 | 0.000 % |
0.03/0.90 c | 10107 | 1937 8323 25326 | 2147483647 2690 58 | 0.000 % |
0.03/0.92 c | 10267 | 1937 8323 25326 | 2147483647 2850 58 | 0.000 % |
0.03/0.93 c | 10444 | 1937 8323 25326 | 2147483647 3027 58 | 0.000 % |
0.03/0.95 c | 10640 | 1937 8323 25326 | 2147483647 3223 59 | 0.000 % |
0.03/0.97 c | 10852 | 1937 8323 25326 | 2147483647 3435 59 | 0.000 % |
0.03/0.99 c | 11085 | 1937 8323 25326 | 2147483647 3668 59 | 0.000 % |
0.98/1.02 c | 11341 | 1937 8323 25326 | 2147483647 3924 59 | 0.000 % |
0.98/1.05 c | 11623 | 1937 8323 25326 | 2147483647 4206 60 | 0.000 % |
0.98/1.06 c | 11724 | 1937 8323 25326 | 2147483647 4307 60 | 0.000 % |
0.98/1.07 c | 11834 | 1937 8323 25326 | 2147483647 4417 60 | 0.000 % |
0.98/1.08 c | 11955 | 1937 8323 25326 | 2147483647 4538 60 | 0.000 % |
0.98/1.10 c | 12089 | 1937 8323 25326 | 2147483647 4672 60 | 0.000 % |
1.08/1.11 c | 12235 | 1937 8323 25326 | 2147483647 4818 60 | 0.000 % |
1.08/1.13 c | 12396 | 1937 8323 25326 | 2147483647 4979 60 | 0.000 % |
1.08/1.15 c | 12572 | 1937 8323 25326 | 2147483647 5155 60 | 0.000 % |
1.08/1.17 c | 12765 | 1937 8323 25326 | 2147483647 5348 60 | 0.000 % |
1.08/1.19 c | 12979 | 1937 8323 25326 | 2147483647 5562 60 | 0.000 % |
1.18/1.22 c | 13212 | 1937 8323 25326 | 2147483647 5795 60 | 0.000 % |
1.18/1.25 c | 13469 | 1937 8323 25326 | 2147483647 6052 61 | 0.000 % |
1.18/1.28 c | 13750 | 1937 8323 25326 | 2147483647 6333 61 | 0.000 % |
1.28/1.31 c | 14059 | 1937 8323 25326 | 2147483647 6642 61 | 0.000 % |
1.28/1.33 c | 14160 | 1937 8323 25326 | 2147483647 6743 61 | 0.000 % |
1.28/1.34 c | 14270 | 1937 8323 25326 | 2147483647 6853 61 | 0.000 % |
1.28/1.35 c | 14391 | 1937 8323 25326 | 2147483647 6974 61 | 0.000 % |
1.28/1.37 c | 14524 | 1937 8323 25326 | 2147483647 7107 61 | 0.000 % |
1.28/1.38 c | 14670 | 1937 8323 25326 | 2147483647 7253 61 | 0.000 % |
1.38/1.40 c | 14831 | 1937 8323 25326 | 2147483647 7414 61 | 0.000 % |
1.38/1.42 c | 15007 | 1937 8323 25326 | 2147483647 7590 61 | 0.000 % |
1.38/1.45 c | 15200 | 1937 8323 25326 | 2147483647 7783 61 | 0.000 % |
1.38/1.48 c | 15416 | 1937 8323 25326 | 2147483647 7999 61 | 0.000 % |
1.48/1.50 c | 15649 | 1937 8323 25326 | 2147483647 8232 61 | 0.000 % |
1.48/1.54 c | 15905 | 1937 8323 25326 | 2147483647 8488 61 | 0.000 % |
1.48/1.57 c | 16189 | 1937 8323 25326 | 2147483647 8772 61 | 0.000 % |
1.58/1.61 c | 16498 | 1937 8323 25326 | 2147483647 9081 61 | 0.000 % |
1.58/1.65 c | 16842 | 1937 8323 25326 | 2147483647 9425 61 | 0.000 % |
1.58/1.66 c | 16943 | 1937 8323 25326 | 2147483647 9526 61 | 0.000 % |
1.58/1.68 c | 17053 | 1937 8323 25326 | 2147483647 9636 61 | 0.000 % |
1.68/1.70 c | 17174 | 1937 8323 25326 | 2147483647 9757 61 | 0.000 % |
1.68/1.71 c | 17308 | 1937 8323 25326 | 2147483647 9891 61 | 0.000 % |
1.68/1.73 c | 17455 | 1937 8323 25326 | 2147483647 10038 61 | 0.000 % |
1.68/1.75 c | 17618 | 1937 8323 25326 | 2147483647 10201 61 | 0.000 % |
1.68/1.78 c | 17795 | 1937 8323 25326 | 2147483647 10378 61 | 0.000 % |
1.78/1.80 c | 17989 | 1937 8323 25326 | 2147483647 10572 62 | 0.000 % |
1.78/1.83 c | 18203 | 1937 8323 25326 | 2147483647 10786 62 | 0.000 % |
1.78/1.87 c | 18436 | 1937 8323 25326 | 2147483647 11019 62 | 0.000 % |
1.87/1.90 c | 18692 | 1937 8323 25326 | 2147483647 11275 62 | 0.000 % |
1.87/1.94 c | 18973 | 1937 8323 25326 | 2147483647 11556 62 | 0.000 % |
1.87/1.99 c | 19282 | 1937 8323 25326 | 2147483647 11865 62 | 0.000 % |
1.97/2.04 c | 19622 | 1937 8323 25326 | 2147483647 12205 62 | 0.000 % |
1.97/2.09 c | 19997 | 1937 8323 25326 | 2147483647 12580 62 | 0.000 % |
2.08/2.11 c | 20097 | 1937 8323 25326 | 2147483647 12680 62 | 0.000 % |
2.08/2.13 c | 20207 | 1937 8323 25326 | 2147483647 12790 62 | 0.000 % |
2.08/2.15 c | 20328 | 1937 8323 25326 | 2147483647 12911 62 | 0.000 % |
2.08/2.17 c | 20462 | 1937 8323 25326 | 2147483647 13045 62 | 0.000 % |
2.08/2.19 c | 20608 | 1937 8323 25326 | 2147483647 13191 62 | 0.000 % |
2.17/2.21 c | 20769 | 1937 8323 25326 | 2147483647 13352 62 | 0.000 % |
2.17/2.24 c | 20947 | 1937 8323 25326 | 2147483647 13530 62 | 0.000 % |
2.17/2.27 c | 21141 | 1937 8323 25326 | 2147483647 13724 62 | 0.000 % |
2.27/2.30 c | 21356 | 1937 8323 25326 | 2147483647 13939 62 | 0.000 % |
2.27/2.34 c | 21589 | 1937 8323 25326 | 2147483647 14172 62 | 0.000 % |
2.27/2.38 c | 21846 | 1937 8323 25326 | 2147483647 14429 62 | 0.000 % |
2.37/2.43 c | 22128 | 1937 8323 25326 | 2147483647 14711 62 | 0.000 % |
2.37/2.47 c | 22437 | 1937 8323 25326 | 2147483647 15020 62 | 0.000 % |
2.47/2.53 c | 22777 | 1937 8323 25326 | 2147483647 15360 62 | 0.000 % |
2.47/2.59 c | 23150 | 1937 8323 25326 | 2147483647 15733 62 | 0.000 % |
2.57/2.66 c | 23561 | 1937 8323 25326 | 2147483647 16144 62 | 0.000 % |
2.57/2.68 c | 23661 | 1937 8323 25326 | 2147483647 16244 62 | 0.000 % |
2.67/2.70 c | 23773 | 1937 8323 25326 | 2147483647 16356 62 | 0.000 % |
2.67/2.73 c | 23894 | 1937 8323 25326 | 2147483647 16477 62 | 0.000 % |
2.67/2.75 c | 24028 | 1937 8323 25326 | 2147483647 16611 62 | 0.000 % |
2.67/2.78 c | 24175 | 1937 8323 25326 | 2147483647 16758 62 | 0.000 % |
2.76/2.80 c | 24335 | 1937 8323 25326 | 2147483647 16918 62 | 0.000 % |
2.76/2.84 c | 24511 | 1937 8323 25326 | 2147483647 17094 62 | 0.000 % |
2.76/2.87 c | 24706 | 1937 8323 25326 | 2147483647 17289 62 | 0.000 % |
2.86/2.91 c | 24921 | 1937 8323 25326 | 2147483647 17504 62 | 0.000 % |
2.86/2.96 c | 25156 | 1937 8323 25326 | 2147483647 17739 62 | 0.000 % |
2.96/3.00 c | 25412 | 1937 8323 25326 | 2147483647 17995 62 | 0.000 % |
2.96/3.05 c | 25694 | 1937 8323 25326 | 2147483647 18277 62 | 0.000 % |
3.06/3.11 c | 26005 | 1937 8323 25326 | 2147483647 18588 62 | 0.000 % |
3.06/3.17 c | 26344 | 1937 8323 25326 | 2147483647 18927 62 | 0.000 % |
3.16/3.25 c | 26717 | 1937 8323 25326 | 2147483647 19300 62 | 0.000 % |
3.26/3.32 c | 27126 | 1937 8323 25326 | 2147483647 19709 62 | 0.000 % |
3.36/3.41 c | 27575 | 1937 8323 25326 | 2147483647 20158 62 | 0.000 % |
3.36/3.44 c | 27675 | 1937 8323 25326 | 2147483647 20258 62 | 0.000 % |
3.36/3.46 c | 27785 | 1937 8323 25326 | 2147483647 20368 62 | 0.000 % |
3.36/3.49 c | 27907 | 1937 8323 25326 | 2147483647 20490 62 | 0.000 % |
3.46/3.52 c | 28041 | 1937 8323 25326 | 2147483647 20624 62 | 0.000 % |
3.46/3.55 c | 28190 | 1937 8323 25326 | 2147483647 20773 62 | 0.000 % |
3.46/3.59 c | 28350 | 1937 8323 25326 | 2147483647 20933 62 | 0.000 % |
3.56/3.62 c | 28527 | 1937 8323 25326 | 2147483647 21110 62 | 0.000 % |
3.56/3.66 c | 28721 | 1937 8323 25326 | 2147483647 21304 62 | 0.000 % |
3.66/3.71 c | 28935 | 1937 8323 25326 | 2147483647 21518 62 | 0.000 % |
3.66/3.76 c | 29169 | 1937 8323 25326 | 2147483647 21752 62 | 0.000 % |
3.76/3.82 c | 29430 | 1937 8323 25326 | 2147483647 22013 62 | 0.000 % |
3.76/3.87 c | 29713 | 1937 8323 25326 | 2147483647 22296 62 | 0.000 % |
3.86/3.94 c | 30024 | 1937 8323 25326 | 2147483647 22607 62 | 0.000 % |
3.96/4.01 c | 30364 | 1937 8323 25326 | 2147483647 22947 62 | 0.000 % |
4.05/4.10 c | 30737 | 1937 8323 25326 | 2147483647 23320 62 | 0.000 % |
4.05/4.19 c | 31146 | 1937 8323 25326 | 2147483647 23729 62 | 0.000 % |
4.15/4.29 c | 31596 | 1937 8323 25326 | 2147483647 24179 62 | 0.000 % |
4.26/4.40 c | 32089 | 1937 8323 25326 | 2147483647 24672 62 | 0.000 % |
4.36/4.42 c | 32189 | 1937 8323 25326 | 2147483647 24772 62 | 0.000 % |
4.36/4.45 c | 32300 | 1937 8323 25326 | 2147483647 24883 62 | 0.000 % |
4.36/4.48 c | 32421 | 1937 8323 25326 | 2147483647 25004 62 | 0.000 % |
4.45/4.51 c | 32554 | 1937 8323 25326 | 2147483647 25137 62 | 0.000 % |
4.45/4.55 c | 32700 | 1937 8323 25326 | 2147483647 25283 62 | 0.000 % |
4.45/4.59 c | 32861 | 1937 8323 25326 | 2147483647 25444 62 | 0.000 % |
4.55/4.64 c | 33037 | 1937 8323 25326 | 2147483647 25620 62 | 0.000 % |
4.55/4.69 c | 33233 | 1937 8323 25326 | 2147483647 25816 62 | 0.000 % |
4.66/4.74 c | 33446 | 1937 8323 25326 | 2147483647 26029 62 | 0.000 % |
4.66/4.80 c | 33679 | 1937 8323 25326 | 2147483647 26262 62 | 0.000 % |
4.76/4.85 c | 33937 | 1937 8323 25326 | 2147483647 26520 62 | 0.000 % |
4.86/4.92 c | 34218 | 1937 8323 25326 | 2147483647 26801 62 | 0.000 % |
4.96/5.00 c | 34528 | 1937 8323 25326 | 2147483647 27111 62 | 0.000 % |
4.96/5.09 c | 34867 | 1937 8323 25326 | 2147483647 27450 62 | 0.000 % |
5.06/5.18 c | 35239 | 1937 8323 25326 | 2147483647 27822 62 | 0.000 % |
5.16/5.29 c | 35649 | 1937 8323 25326 | 2147483647 28232 63 | 0.000 % |
5.26/5.40 c | 36098 | 1937 8323 25326 | 2147483647 28681 63 | 0.000 % |
5.46/5.52 c | 36591 | 1937 8323 25326 | 2147483647 29174 63 | 0.000 % |
5.56/5.68 c | 37135 | 1937 8323 25326 | 2147483647 29718 63 | 0.000 % |
5.66/5.70 c | 37236 | 1937 8323 25326 | 2147483647 29819 63 | 0.000 % |
5.66/5.73 c | 37346 | 1937 8323 25326 | 2147483647 29929 63 | 0.000 % |
5.66/5.77 c | 37469 | 1937 8323 25326 | 2147483647 30052 63 | 0.000 % |
5.76/5.81 c | 37603 | 1937 8323 25326 | 2147483647 30186 63 | 0.000 % |
5.76/5.84 c | 37749 | 1937 8323 25326 | 2147483647 30332 63 | 0.000 % |
5.76/5.89 c | 37909 | 1937 8323 25326 | 2147483647 30492 63 | 0.000 % |
5.86/5.95 c | 38085 | 1937 8323 25326 | 2147483647 30668 63 | 0.000 % |
5.96/6.01 c | 38279 | 1937 8323 25326 | 2147483647 30862 63 | 0.000 % |
5.96/6.06 c | 38491 | 1937 8323 25326 | 2147483647 31074 63 | 0.000 % |
6.06/6.13 c | 38724 | 1937 8323 25326 | 2147483647 31307 63 | 0.000 % |
6.16/6.20 c | 38980 | 1937 8323 25326 | 2147483647 31563 63 | 0.000 % |
6.16/6.28 c | 39262 | 1937 8323 25326 | 2147483647 31845 63 | 0.000 % |
6.26/6.36 c | 39573 | 1937 8323 25326 | 2147483647 32156 63 | 0.000 % |
6.36/6.47 c | 39914 | 1937 8323 25326 | 2147483647 32497 63 | 0.000 % |
6.46/6.58 c | 40286 | 1937 8323 25326 | 2147483647 32869 63 | 0.000 % |
6.65/6.70 c | 40697 | 1937 8323 25326 | 2147483647 33280 63 | 0.000 % |
6.75/6.83 c | 41146 | 1937 8323 25326 | 2147483647 33729 63 | 0.000 % |
6.85/6.97 c | 41639 | 1937 8323 25326 | 2147483647 34222 63 | 0.000 % |
7.05/7.12 c | 42182 | 1937 8323 25326 | 2147483647 34765 63 | 0.000 % |
7.15/7.30 c | 42779 | 1937 8323 25326 | 2147483647 35362 63 | 0.000 % |
7.25/7.33 c | 42879 | 1937 8323 25326 | 2147483647 35462 63 | 0.000 % |
7.25/7.36 c | 42991 | 1937 8323 25326 | 2147483647 35574 63 | 0.000 % |
7.25/7.40 c | 43113 | 1937 8323 25326 | 2147483647 35696 63 | 0.000 % |
7.35/7.44 c | 43246 | 1937 8323 25326 | 2147483647 35829 63 | 0.000 % |
7.35/7.49 c | 43393 | 1937 8323 25326 | 2147483647 35976 63 | 0.000 % |
7.45/7.54 c | 43553 | 1937 8323 25326 | 2147483647 36136 63 | 0.000 % |
7.55/7.61 c | 43729 | 1937 8323 25326 | 2147483647 36312 63 | 0.000 % |
7.55/7.67 c | 43923 | 1937 8323 25326 | 2147483647 36506 63 | 0.000 % |
7.65/7.74 c | 44135 | 1937 8323 25326 | 2147483647 36718 63 | 0.000 % |
7.76/7.81 c | 44368 | 1937 8323 25326 | 2147483647 36951 63 | 0.000 % |
7.76/7.89 c | 44625 | 1937 8323 25326 | 2147483647 37208 63 | 0.000 % |
7.86/7.98 c | 44906 | 1937 8323 25326 | 2147483647 37489 63 | 0.000 % |
7.96/8.07 c | 45215 | 1937 8323 25326 | 2147483647 37798 63 | 0.000 % |
8.06/8.18 c | 45555 | 1937 8323 25326 | 2147483647 38138 63 | 0.000 % |
8.26/8.32 c | 45929 | 1937 8323 25326 | 2147483647 38512 63 | 0.000 % |
8.36/8.47 c | 46339 | 1937 8323 25326 | 2147483647 38922 63 | 0.000 % |
8.56/8.61 c | 46789 | 1937 8323 25326 | 2147483647 39372 63 | 0.000 % |
8.66/8.78 c | 47284 | 1937 8323 25326 | 2147483647 39867 63 | 0.000 % |
8.86/8.96 c | 47826 | 1937 8323 25326 | 2147483647 40409 63 | 0.000 % |
9.05/9.15 c | 48422 | 1937 8323 25326 | 2147483647 41005 63 | 0.000 % |
9.25/9.39 c | 49078 | 1937 8323 25326 | 2147483647 41661 63 | 0.000 % |
9.35/9.43 c | 49178 | 1937 8323 25326 | 2147483647 41761 63 | 0.000 % |
9.35/9.47 c | 49288 | 1937 8323 25326 | 2147483647 41871 63 | 0.000 % |
9.45/9.52 c | 49410 | 1937 8323 25326 | 2147483647 41993 63 | 0.000 % |
9.45/9.58 c | 49548 | 1937 8323 25326 | 2147483647 42131 63 | 0.000 % |
9.55/9.64 c | 49696 | 1937 8323 25326 | 2147483647 42279 63 | 0.000 % |
9.65/9.71 c | 49856 | 1937 8323 25326 | 2147483647 42439 63 | 0.000 % |
9.65/9.78 c | 50032 | 1937 8323 25326 | 2147483647 42615 63 | 0.000 % |
9.75/9.86 c | 50225 | 1937 8323 25326 | 2147483647 42808 63 | 0.000 % |
9.85/9.95 c | 50437 | 1937 8323 25326 | 2147483647 43020 63 | 0.000 % |
9.95/10.03 c | 50671 | 1937 8323 25326 | 2147483647 43254 63 | 0.000 % |
10.05/10.13 c | 50927 | 1937 8323 25326 | 2147483647 43510 63 | 0.000 % |
10.15/10.24 c | 51208 | 1937 8323 25326 | 2147483647 43791 63 | 0.000 % |
10.25/10.35 c | 51517 | 1937 8323 25326 | 2147483647 44100 63 | 0.000 % |
10.35/10.48 c | 51856 | 1937 8323 25326 | 2147483647 44439 63 | 0.000 % |
10.55/10.63 c | 52228 | 1937 8323 25326 | 2147483647 44811 63 | 0.000 % |
10.65/10.79 c | 52637 | 1937 8323 25326 | 2147483647 45220 63 | 0.000 % |
10.85/10.96 c | 53086 | 1937 8323 25326 | 2147483647 45669 63 | 0.000 % |
11.05/11.15 c | 53579 | 1937 8323 25326 | 2147483647 46162 63 | 0.000 % |
11.25/11.37 c | 54122 | 1937 8323 25326 | 2147483647 46705 63 | 0.000 % |
11.55/11.60 c | 54720 | 1937 8323 25326 | 2147483647 47303 63 | 0.000 % |
11.75/11.86 c | 55375 | 1937 8323 25326 | 2147483647 47958 63 | 0.000 % |
12.05/12.16 c | 56095 | 1937 8323 25326 | 2147483647 48678 63 | 0.000 % |
12.15/12.21 c | 56196 | 1937 8323 25326 | 2147483647 48779 63 | 0.000 % |
12.15/12.26 c | 56306 | 1937 8323 25326 | 2147483647 48889 63 | 0.000 % |
12.25/12.31 c | 56427 | 1937 8323 25326 | 2147483647 49010 63 | 0.000 % |
12.25/12.38 c | 56560 | 1937 8323 25326 | 2147483647 49143 63 | 0.000 % |
12.35/12.45 c | 56706 | 1937 8323 25326 | 2147483647 49289 63 | 0.000 % |
12.45/12.52 c | 56866 | 1937 8323 25326 | 2147483647 49449 63 | 0.000 % |
12.55/12.60 c | 57043 | 1937 8323 25326 | 2147483647 49626 63 | 0.000 % |
12.55/12.69 c | 57240 | 1937 8323 25326 | 2147483647 49823 63 | 0.000 % |
12.65/12.78 c | 57452 | 1937 8323 25326 | 2147483647 50035 63 | 0.000 % |
12.75/12.88 c | 57687 | 1937 8323 25326 | 2147483647 50270 63 | 0.000 % |
12.85/12.99 c | 57946 | 1937 8323 25326 | 2147483647 50529 63 | 0.000 % |
13.05/13.11 c | 58227 | 1937 8323 25326 | 2147483647 50810 63 | 0.000 % |
13.15/13.24 c | 58536 | 1937 8323 25326 | 2147483647 51119 63 | 0.000 % |
13.35/13.41 c | 58875 | 1937 8323 25326 | 2147483647 51458 63 | 0.000 % |
13.45/13.59 c | 59247 | 1937 8323 25326 | 2147483647 51830 63 | 0.000 % |
13.65/13.77 c | 59656 | 1937 8323 25326 | 2147483647 52239 63 | 0.000 % |
13.84/13.97 c | 60107 | 1937 8323 25326 | 2147483647 52690 63 | 0.000 % |
14.04/14.17 c | 60600 | 1937 8323 25326 | 2147483647 53183 63 | 0.000 % |
14.35/14.41 c | 61143 | 1937 8323 25326 | 2147483647 53726 63 | 0.000 % |
14.55/14.67 c | 61741 | 1937 8323 25326 | 2147483647 54324 63 | 0.000 % |
14.85/14.92 c | 62397 | 1937 8323 25326 | 2147483647 54980 64 | 0.000 % |
15.15/15.22 c | 63117 | 1937 8323 25326 | 2147483647 55700 64 | 0.000 % |
15.45/15.59 c | 63910 | 1937 8323 25326 | 2147483647 56493 64 | 0.000 % |
15.55/15.63 c | 64011 | 1937 8323 25326 | 2147483647 56594 64 | 0.000 % |
15.55/15.68 c | 64122 | 1937 8323 25326 | 2147483647 56705 64 | 0.000 % |
15.65/15.74 c | 64244 | 1937 8323 25326 | 2147483647 56827 64 | 0.000 % |
15.75/15.81 c | 64377 | 1937 8323 25326 | 2147483647 56960 64 | 0.000 % |
15.75/15.88 c | 64524 | 1937 8323 25326 | 2147483647 57107 64 | 0.000 % |
15.85/15.97 c | 64685 | 1937 8323 25326 | 2147483647 57268 64 | 0.000 % |
15.95/16.05 c | 64861 | 1937 8323 25326 | 2147483647 57444 64 | 0.000 % |
16.05/16.15 c | 65054 | 1937 8323 25326 | 2147483647 57637 64 | 0.000 % |
16.15/16.25 c | 65266 | 1937 8323 25326 | 2147483647 57849 64 | 0.000 % |
16.25/16.37 c | 65501 | 1937 8323 25326 | 2147483647 58084 64 | 0.000 % |
16.45/16.52 c | 65758 | 1937 8323 25326 | 2147483647 58341 64 | 0.000 % |
16.55/16.66 c | 66040 | 1937 8323 25326 | 2147483647 58623 64 | 0.000 % |
16.75/16.82 c | 66349 | 1937 8323 25326 | 2147483647 58932 64 | 0.000 % |
16.85/16.98 c | 66689 | 1937 8323 25326 | 2147483647 59272 64 | 0.000 % |
17.05/17.16 c | 67062 | 1937 8323 25326 | 2147483647 59645 64 | 0.000 % |
17.25/17.38 c | 67474 | 1937 8323 25326 | 2147483647 60057 64 | 0.000 % |
17.55/17.62 c | 67924 | 1937 8323 25326 | 2147483647 60507 64 | 0.000 % |
17.75/17.86 c | 68417 | 1937 8323 25326 | 2147483647 61000 64 | 0.000 % |
18.05/18.15 c | 68962 | 1937 8323 25326 | 2147483647 61545 64 | 0.000 % |
18.34/18.46 c | 69558 | 1937 8323 25326 | 2147483647 62141 64 | 0.000 % |
18.74/18.81 c | 70216 | 1937 8323 25326 | 2147483647 62799 64 | 0.000 % |
19.04/19.18 c | 70936 | 1937 8323 25326 | 2147483647 63519 64 | 0.000 % |
19.44/19.58 c | 71728 | 1937 8323 25326 | 2147483647 64311 64 | 0.000 % |
19.94/20.01 c | 72599 | 1937 8323 25326 | 2147483647 65182 64 | 0.000 % |
19.94/20.08 c | 72699 | 1937 8323 25326 | 2147483647 65282 64 | 0.000 % |
20.05/20.14 c | 72809 | 1937 8323 25326 | 2147483647 65392 64 | 0.000 % |
20.15/20.21 c | 72931 | 1937 8323 25326 | 2147483647 65514 64 | 0.000 % |
20.15/20.29 c | 73064 | 1937 8323 25326 | 2147483647 65647 64 | 0.000 % |
20.25/20.38 c | 73212 | 1937 8323 25326 | 2147483647 65795 64 | 0.000 % |
20.35/20.48 c | 73372 | 1937 8323 25326 | 2147483647 65955 64 | 0.000 % |
20.45/20.57 c | 73549 | 1937 8323 25326 | 2147483647 66132 64 | 0.000 % |
20.55/20.69 c | 73743 | 1937 8323 25326 | 2147483647 66326 64 | 0.000 % |
20.75/20.82 c | 73955 | 1937 8323 25326 | 2147483647 66538 64 | 0.000 % |
20.85/20.97 c | 74189 | 1937 8323 25326 | 2147483647 66772 64 | 0.000 % |
21.05/21.11 c | 74445 | 1937 8323 25326 | 2147483647 67028 64 | 0.000 % |
21.15/21.27 c | 74727 | 1937 8323 25326 | 2147483647 67310 64 | 0.000 % |
21.34/21.43 c | 75037 | 1937 8323 25326 | 2147483647 67620 64 | 0.000 % |
21.54/21.62 c | 75376 | 1937 8323 25326 | 2147483647 67959 64 | 0.000 % |
21.74/21.82 c | 75748 | 1937 8323 25326 | 2147483647 68331 64 | 0.000 % |
21.95/22.05 c | 76161 | 1937 8323 25326 | 2147483647 68744 64 | 0.000 % |
22.24/22.30 c | 76613 | 1937 8323 25326 | 2147483647 69196 64 | 0.000 % |
22.44/22.56 c | 77107 | 1937 8323 25326 | 2147483647 69690 64 | 0.000 % |
22.74/22.85 c | 77650 | 1937 8323 25326 | 2147483647 70233 64 | 0.000 % |
23.04/23.20 c | 78250 | 1937 8323 25326 | 2147483647 70833 64 | 0.000 % |
23.44/23.59 c | 78905 | 1937 8323 25326 | 2147483647 71488 64 | 0.000 % |
23.84/23.99 c | 79625 | 1937 8323 25326 | 2147483647 72208 64 | 0.000 % |
24.34/24.42 c | 80419 | 1937 8323 25326 | 2147483647 73002 64 | 0.000 % |
24.74/24.88 c | 81290 | 1937 8323 25326 | 2147483647 73873 64 | 0.000 % |
25.34/25.40 c | 82249 | 1937 8323 25326 | 2147483647 74832 64 | 0.000 % |
25.34/25.46 c | 82349 | 1937 8323 25326 | 2147483647 74932 64 | 0.000 % |
25.44/25.54 c | 82459 | 1937 8323 25326 | 2147483647 75042 64 | 0.000 % |
25.54/25.62 c | 82580 | 1937 8323 25326 | 2147483647 75163 64 | 0.000 % |
25.64/25.72 c | 82713 | 1937 8323 25326 | 2147483647 75296 64 | 0.000 % |
25.74/25.83 c | 82860 | 1937 8323 25326 | 2147483647 75443 64 | 0.000 % |
25.84/25.93 c | 83020 | 1937 8323 25326 | 2147483647 75603 64 | 0.000 % |
25.94/26.07 c | 83201 | 1937 8323 25326 | 2147483647 75784 64 | 0.000 % |
26.04/26.20 c | 83394 | 1937 8323 25326 | 2147483647 75977 64 | 0.000 % |
26.25/26.34 c | 83606 | 1937 8323 25326 | 2147483647 76189 64 | 0.000 % |
26.35/26.49 c | 83840 | 1937 8323 25326 | 2147483647 76423 64 | 0.000 % |
26.54/26.65 c | 84096 | 1937 8323 25326 | 2147483647 76679 64 | 0.000 % |
26.74/26.84 c | 84377 | 1937 8323 25326 | 2147483647 76960 64 | 0.000 % |
26.94/27.05 c | 84686 | 1937 8323 25326 | 2147483647 77269 64 | 0.000 % |
27.14/27.25 c | 85026 | 1937 8323 25326 | 2147483647 77609 64 | 0.000 % |
27.34/27.48 c | 85398 | 1937 8323 25326 | 2147483647 77981 64 | 0.000 % |
27.64/27.76 c | 85807 | 1937 8323 25326 | 2147483647 78390 64 | 0.000 % |
27.94/28.04 c | 86256 | 1937 8323 25326 | 2147483647 78839 64 | 0.000 % |
28.24/28.34 c | 86751 | 1937 8323 25326 | 2147483647 79334 64 | 0.000 % |
28.64/28.71 c | 87293 | 1937 8323 25326 | 2147483647 79876 64 | 0.000 % |
29.04/29.11 c | 87889 | 1937 8323 25326 | 2147483647 80472 64 | 0.000 % |
29.43/29.53 c | 88544 | 1937 8323 25326 | 2147483647 81127 64 | 0.000 % |
29.83/29.97 c | 89265 | 1937 8323 25326 | 2147483647 81848 64 | 0.000 % |
30.43/30.50 c | 90057 | 1937 8323 25326 | 2147483647 82640 64 | 0.000 % |
30.93/31.05 c | 90930 | 1937 8323 25326 | 2147483647 83513 64 | 0.000 % |
31.64/31.71 c | 91889 | 1937 8323 25326 | 2147483647 84472 65 | 0.000 % |
32.24/32.39 c | 92943 | 1937 8323 25326 | 2147483647 85526 65 | 0.000 % |
32.34/32.45 c | 93044 | 1937 8323 25326 | 2147483647 85627 65 | 0.000 % |
32.44/32.54 c | 93156 | 1937 8323 25326 | 2147483647 85739 65 | 0.000 % |
32.54/32.62 c | 93278 | 1937 8323 25326 | 2147483647 85861 65 | 0.000 % |
32.64/32.70 c | 93411 | 1937 8323 25326 | 2147483647 85994 65 | 0.000 % |
32.73/32.81 c | 93557 | 1937 8323 25326 | 2147483647 86140 65 | 0.000 % |
32.84/32.95 c | 93717 | 1937 8323 25326 | 2147483647 86300 65 | 0.000 % |
32.94/33.09 c | 93893 | 1937 8323 25326 | 2147483647 86476 65 | 0.000 % |
33.13/33.24 c | 94086 | 1937 8323 25326 | 2147483647 86669 65 | 0.000 % |
33.33/33.41 c | 94298 | 1937 8323 25326 | 2147483647 86881 65 | 0.000 % |
33.43/33.59 c | 94531 | 1937 8323 25326 | 2147483647 87114 65 | 0.000 % |
33.73/33.81 c | 94787 | 1937 8323 25326 | 2147483647 87370 65 | 0.000 % |
33.94/34.01 c | 95069 | 1937 8323 25326 | 2147483647 87652 65 | 0.000 % |
34.13/34.25 c | 95378 | 1937 8323 25326 | 2147483647 87961 65 | 0.000 % |
34.33/34.47 c | 95719 | 1937 8323 25326 | 2147483647 88302 65 | 0.000 % |
34.63/34.73 c | 96091 | 1937 8323 25326 | 2147483647 88674 65 | 0.000 % |
34.93/35.02 c | 96501 | 1937 8323 25326 | 2147483647 89084 65 | 0.000 % |
35.23/35.36 c | 96951 | 1937 8323 25326 | 2147483647 89534 65 | 0.000 % |
35.63/35.70 c | 97444 | 1937 8323 25326 | 2147483647 90027 65 | 0.000 % |
35.93/36.08 c | 97986 | 1937 8323 25326 | 2147483647 90569 65 | 0.000 % |
36.43/36.54 c | 98583 | 1937 8323 25326 | 2147483647 91166 65 | 0.000 % |
36.93/37.05 c | 99239 | 1937 8323 25326 | 2147483647 91822 65 | 0.000 % |
37.43/37.59 c | 99960 | 1937 8323 25326 | 2147483647 92543 65 | 0.000 % |
38.03/38.17 c | 100752 | 1937 8323 25326 | 2147483647 93335 65 | 0.000 % |
38.62/38.80 c | 101625 | 1937 8323 25326 | 2147483647 94208 65 | 0.000 % |
39.33/39.47 c | 102585 | 1937 8323 25326 | 2147483647 95168 65 | 0.000 % |
40.13/40.27 c | 103639 | 1937 8323 25326 | 2147483647 96222 65 | 0.000 % |
41.03/41.11 c | 104797 | 1937 8323 25326 | 2147483647 97380 65 | 0.000 % |
41.03/41.19 c | 104899 | 1937 8323 25326 | 2147483647 97482 65 | 0.000 % |
41.13/41.28 c | 105009 | 1937 8323 25326 | 2147483647 97592 65 | 0.000 % |
41.33/41.41 c | 105130 | 1937 8323 25326 | 2147483647 97713 65 | 0.000 % |
41.43/41.51 c | 105263 | 1937 8323 25326 | 2147483647 97846 65 | 0.000 % |
41.53/41.63 c | 105409 | 1937 8323 25326 | 2147483647 97992 65 | 0.000 % |
41.63/41.76 c | 105569 | 1937 8323 25326 | 2147483647 98152 65 | 0.000 % |
41.83/41.95 c | 105747 | 1937 8323 25326 | 2147483647 98330 65 | 0.000 % |
41.92/42.10 c | 105941 | 1937 8323 25326 | 2147483647 98524 65 | 0.000 % |
42.22/42.31 c | 106153 | 1937 8323 25326 | 2147483647 98736 65 | 0.000 % |
42.42/42.50 c | 106386 | 1937 8323 25326 | 2147483647 98969 65 | 0.000 % |
42.52/42.69 c | 106642 | 1937 8323 25326 | 2147483647 99225 65 | 0.000 % |
42.83/42.92 c | 106923 | 1937 8323 25326 | 2147483647 99506 65 | 0.000 % |
43.02/43.20 c | 107233 | 1937 8323 25326 | 2147483647 99816 65 | 0.000 % |
43.42/43.50 c | 107573 | 1937 8323 25326 | 2147483647 100156 65 | 0.000 % |
43.72/43.81 c | 107945 | 1937 8323 25326 | 2147483647 100528 65 | 0.000 % |
44.02/44.14 c | 108355 | 1937 8323 25326 | 2147483647 100938 65 | 0.000 % |
44.43/44.51 c | 108804 | 1937 8323 25326 | 2147483647 101387 65 | 0.000 % |
44.83/44.91 c | 109297 | 1937 8323 25326 | 2147483647 101880 65 | 0.000 % |
45.23/45.34 c | 109843 | 1937 8323 25326 | 2147483647 102426 65 | 0.000 % |
45.73/45.86 c | 110440 | 1937 8323 25326 | 102584 89994 65 | 0.000 % |
46.22/46.33 c | 111095 | 1937 8323 25326 | 102584 90649 65 | 0.000 % |
46.72/46.86 c | 111815 | 1937 8323 25326 | 102584 91369 65 | 0.000 % |
47.23/47.39 c | 112608 | 1937 8323 25326 | 102584 92162 65 | 0.000 % |
47.82/47.96 c | 113480 | 1937 8323 25326 | 102584 93034 65 | 0.000 % |
48.52/48.60 c | 114438 | 1937 8323 25326 | 102584 93992 65 | 0.000 % |
49.22/49.35 c | 115492 | 1937 8323 25326 | 102584 95046 65 | 0.000 % |
50.02/50.14 c | 116650 | 1937 8323 25326 | 102584 96204 66 | 0.000 % |
50.93/51.04 c | 117924 | 1937 8323 25326 | 102584 97478 66 | 0.000 % |
51.02/51.12 c | 118027 | 1937 8323 25326 | 102584 97581 66 | 0.000 % |
51.12/51.23 c | 118138 | 1937 8323 25326 | 102584 97692 66 | 0.000 % |
51.22/51.35 c | 118260 | 1937 8323 25326 | 102584 97814 66 | 0.000 % |
51.32/51.47 c | 118393 | 1937 8323 25326 | 102584 97947 66 | 0.000 % |
51.42/51.59 c | 118540 | 1937 8323 25326 | 102584 98094 66 | 0.000 % |
51.63/51.73 c | 118700 | 1937 8323 25326 | 102584 98254 66 | 0.000 % |
51.72/51.88 c | 118877 | 1937 8323 25326 | 102584 98431 66 | 0.000 % |
51.92/52.04 c | 119070 | 1937 8323 25326 | 102584 98624 66 | 0.000 % |
52.12/52.24 c | 119282 | 1937 8323 25326 | 102584 98836 66 | 0.000 % |
52.32/52.44 c | 119518 | 1937 8323 25326 | 102584 99072 66 | 0.000 % |
52.52/52.66 c | 119774 | 1937 8323 25326 | 102584 99328 66 | 0.000 % |
52.82/52.90 c | 120056 | 1937 8323 25326 | 99554 99610 66 | 0.000 % |
53.12/53.20 c | 120365 | 1937 8323 25326 | 99554 87407 66 | 0.000 % |
53.32/53.44 c | 120704 | 1937 8323 25326 | 99554 87746 66 | 0.000 % |
53.62/53.71 c | 121076 | 1937 8323 25326 | 99554 88118 66 | 0.000 % |
53.92/54.01 c | 121487 | 1937 8323 25326 | 99554 88529 66 | 0.000 % |
54.22/54.34 c | 121936 | 1937 8323 25326 | 99554 88978 66 | 0.000 % |
54.52/54.70 c | 122429 | 1937 8323 25326 | 99554 89471 66 | 0.000 % |
55.02/55.10 c | 122972 | 1937 8323 25326 | 99554 90014 66 | 0.000 % |
55.42/55.54 c | 123570 | 1937 8323 25326 | 99554 90612 66 | 0.000 % |
55.93/56.06 c | 124226 | 1937 8323 25326 | 99554 91268 66 | 0.000 % |
56.42/56.57 c | 124946 | 1937 8323 25326 | 99554 91988 66 | 0.000 % |
57.03/57.16 c | 125740 | 1937 8323 25326 | 99554 92782 66 | 0.000 % |
57.62/57.77 c | 126611 | 1937 8323 25326 | 99554 93653 66 | 0.000 % |
58.32/58.48 c | 127569 | 1937 8323 25326 | 99554 94611 66 | 0.000 % |
59.12/59.28 c | 128622 | 1937 8323 25326 | 99554 95664 66 | 0.000 % |
60.02/60.13 c | 129780 | 1937 8323 25326 | 99554 96822 66 | 0.000 % |
60.92/61.01 c | 131055 | 1937 8323 25326 | 97042 86229 66 | 0.000 % |
61.92/62.02 c | 132456 | 1937 8323 25326 | 97042 87630 66 | 0.000 % |
61.92/62.10 c | 132556 | 1937 8323 25326 | 97042 87730 66 | 0.000 % |
62.02/62.19 c | 132666 | 1937 8323 25326 | 97042 87840 66 | 0.000 % |
62.12/62.29 c | 132788 | 1937 8323 25326 | 97042 87962 66 | 0.000 % |
62.22/62.39 c | 132922 | 1937 8323 25326 | 97042 88096 66 | 0.000 % |
62.42/62.50 c | 133069 | 1937 8323 25326 | 97042 88243 66 | 0.000 % |
62.52/62.62 c | 133230 | 1937 8323 25326 | 97042 88404 66 | 0.000 % |
62.62/62.76 c | 133406 | 1937 8323 25326 | 97042 88580 66 | 0.000 % |
62.82/62.91 c | 133599 | 1937 8323 25326 | 97042 88773 66 | 0.000 % |
62.92/63.09 c | 133811 | 1937 8323 25326 | 97042 88985 66 | 0.000 % |
63.12/63.27 c | 134046 | 1937 8323 25326 | 97042 89220 66 | 0.000 % |
63.32/63.47 c | 134303 | 1937 8323 25326 | 97042 89477 66 | 0.000 % |
63.52/63.70 c | 134584 | 1937 8323 25326 | 97042 89758 66 | 0.000 % |
63.82/63.94 c | 134893 | 1937 8323 25326 | 97042 90067 66 | 0.000 % |
64.12/64.20 c | 135232 | 1937 8323 25326 | 97042 90406 66 | 0.000 % |
64.32/64.48 c | 135604 | 1937 8323 25326 | 97042 90778 66 | 0.000 % |
64.62/64.77 c | 136014 | 1937 8323 25326 | 97042 91188 66 | 0.000 % |
65.02/65.12 c | 136464 | 1937 8323 25326 | 97042 91638 66 | 0.000 % |
65.32/65.47 c | 136958 | 1937 8323 25326 | 97042 92132 66 | 0.000 % |
65.82/65.90 c | 137501 | 1937 8323 25326 | 97042 92675 66 | 0.000 % |
66.21/66.39 c | 138100 | 1937 8323 25326 | 97042 93274 66 | 0.000 % |
66.81/66.93 c | 138755 | 1937 8323 25326 | 97042 93929 66 | 0.000 % |
67.31/67.46 c | 139478 | 1937 8323 25326 | 97042 94652 66 | 0.000 % |
68.02/68.11 c | 140270 | 1937 8323 25326 | 95174 83802 67 | 0.000 % |
68.52/68.65 c | 141141 | 1937 8323 25326 | 95174 84673 67 | 0.000 % |
69.22/69.33 c | 142100 | 1937 8323 25326 | 95174 85632 67 | 0.000 % |
69.81/70.00 c | 143153 | 1937 8323 25326 | 95174 86685 67 | 0.000 % |
70.61/70.75 c | 144312 | 1937 8323 25326 | 95174 87844 67 | 0.000 % |
71.51/71.64 c | 145587 | 1937 8323 25326 | 95174 89119 67 | 0.000 % |
72.52/72.63 c | 146988 | 1937 8323 25326 | 95174 90520 67 | 0.000 % |
73.52/73.67 c | 148529 | 1937 8323 25326 | 95174 92061 67 | 0.000 % |
73.62/73.77 c | 148630 | 1937 8323 25326 | 95174 92162 67 | 0.000 % |
73.71/73.86 c | 148741 | 1937 8323 25326 | 95174 92273 67 | 0.000 % |
73.81/73.96 c | 148863 | 1937 8323 25326 | 95174 92395 67 | 0.000 % |
73.91/74.07 c | 148998 | 1937 8323 25326 | 95174 92530 67 | 0.000 % |
74.01/74.19 c | 149145 | 1937 8323 25326 | 95174 92677 67 | 0.000 % |
74.21/74.32 c | 149305 | 1937 8323 25326 | 95174 92837 67 | 0.000 % |
74.31/74.48 c | 149483 | 1937 8323 25326 | 95174 93015 67 | 0.000 % |
74.51/74.62 c | 149676 | 1937 8323 25326 | 95174 93208 67 | 0.000 % |
74.72/74.81 c | 149888 | 1937 8323 25326 | 95174 93420 67 | 0.000 % |
74.81/74.99 c | 150123 | 1937 8323 25326 | 93534 93655 67 | 0.000 % |
75.11/75.21 c | 150380 | 1937 8323 25326 | 93534 84096 67 | 0.000 % |
75.31/75.41 c | 150664 | 1937 8323 25326 | 93534 84380 67 | 0.000 % |
75.51/75.60 c | 150974 | 1937 8323 25326 | 93534 84690 67 | 0.000 % |
75.71/75.81 c | 151314 | 1937 8323 25326 | 93534 85030 67 | 0.000 % |
75.91/76.06 c | 151688 | 1937 8323 25326 | 93534 85404 67 | 0.000 % |
76.21/76.35 c | 152097 | 1937 8323 25326 | 93534 85813 67 | 0.000 % |
76.51/76.69 c | 152546 | 1937 8323 25326 | 93534 86262 67 | 0.000 % |
76.91/77.03 c | 153039 | 1937 8323 25326 | 93534 86755 67 | 0.000 % |
77.31/77.43 c | 153582 | 1937 8323 25326 | 93534 87298 67 | 0.000 % |
77.81/77.91 c | 154178 | 1937 8323 25326 | 93534 87894 67 | 0.000 % |
78.21/78.31 c | 154833 | 1937 8323 25326 | 93534 88549 67 | 0.000 % |
78.71/78.81 c | 155553 | 1937 8323 25326 | 93534 89269 67 | 0.000 % |
79.21/79.39 c | 156345 | 1937 8323 25326 | 93534 90061 67 | 0.000 % |
79.91/80.02 c | 157217 | 1937 8323 25326 | 93534 90933 67 | 0.000 % |
80.51/80.67 c | 158175 | 1937 8323 25326 | 93534 91891 67 | 0.000 % |
81.21/81.37 c | 159228 | 1937 8323 25326 | 93534 92944 67 | 0.000 % |
82.11/82.21 c | 160387 | 1937 8323 25326 | 93718 84258 67 | 0.000 % |
82.91/83.05 c | 161660 | 1937 8323 25326 | 93718 85531 67 | 0.000 % |
83.81/83.97 c | 163060 | 1937 8323 25326 | 93718 86931 67 | 0.000 % |
84.81/84.93 c | 164600 | 1937 8323 25326 | 93718 88471 67 | 0.000 % |
85.91/86.04 c | 166294 | 1937 8323 25326 | 93718 90165 67 | 0.000 % |
86.00/86.14 c | 166395 | 1937 8323 25326 | 93718 90266 67 | 0.000 % |
86.10/86.23 c | 166505 | 1937 8323 25326 | 93718 90376 67 | 0.000 % |
86.20/86.35 c | 166627 | 1937 8323 25326 | 93718 90498 67 | 0.000 % |
86.30/86.46 c | 166762 | 1937 8323 25326 | 93718 90633 67 | 0.000 % |
86.40/86.58 c | 166908 | 1937 8323 25326 | 93718 90779 67 | 0.000 % |
86.60/86.72 c | 167069 | 1937 8323 25326 | 93718 90940 67 | 0.000 % |
86.70/86.87 c | 167246 | 1937 8323 25326 | 93718 91117 67 | 0.000 % |
86.90/87.01 c | 167440 | 1937 8323 25326 | 93718 91311 67 | 0.000 % |
87.00/87.19 c | 167652 | 1937 8323 25326 | 93718 91523 67 | 0.000 % |
87.20/87.37 c | 167887 | 1937 8323 25326 | 93718 91758 67 | 0.000 % |
87.40/87.58 c | 168147 | 1937 8323 25326 | 93718 92018 67 | 0.000 % |
87.70/87.81 c | 168429 | 1937 8323 25326 | 93718 92300 67 | 0.000 % |
87.90/88.04 c | 168738 | 1937 8323 25326 | 93718 92609 67 | 0.000 % |
88.10/88.30 c | 169077 | 1937 8323 25326 | 93718 92948 67 | 0.000 % |
88.40/88.59 c | 169449 | 1937 8323 25326 | 93718 93320 67 | 0.000 % |
88.70/88.88 c | 169858 | 1937 8323 25326 | 93718 93729 67 | 0.000 % |
89.10/89.27 c | 170308 | 1937 8323 25326 | 84208 75841 67 | 0.000 % |
89.40/89.57 c | 170802 | 1937 8323 25326 | 84208 76335 67 | 0.000 % |
89.80/89.91 c | 171346 | 1937 8323 25326 | 84208 76879 67 | 0.000 % |
90.10/90.28 c | 171942 | 1937 8323 25326 | 84208 77475 67 | 0.000 % |
90.50/90.69 c | 172597 | 1937 8323 25326 | 84208 78130 67 | 0.000 % |
91.00/91.17 c | 173317 | 1937 8323 25326 | 84208 78850 67 | 0.000 % |
91.50/91.65 c | 174111 | 1937 8323 25326 | 84208 79644 67 | 0.000 % |
92.10/92.21 c | 174982 | 1937 8323 25326 | 84208 80515 67 | 0.000 % |
92.70/92.87 c | 175942 | 1937 8323 25326 | 84208 81475 67 | 0.000 % |
93.40/93.57 c | 176995 | 1937 8323 25326 | 84208 82528 67 | 0.000 % |
94.20/94.32 c | 178153 | 1937 8323 25326 | 84208 83686 67 | 0.000 % |
94.99/95.15 c | 179430 | 1937 8323 25326 | 84208 76513 67 | 0.000 % |
95.89/96.01 c | 180834 | 1937 8323 25326 | 2147483647 77917 67 | 0.000 % |
96.79/96.93 c | 182376 | 1937 8323 25326 | 2147483647 79459 67 | 0.000 % |
97.89/98.02 c | 184071 | 1937 8323 25326 | 2147483647 81154 68 | 0.000 % |
99.09/99.20 c | 185936 | 1937 8323 25326 | 2147483647 83019 68 | 0.000 % |
99.09/99.27 c | 186039 | 1937 8323 25326 | 2147483647 83122 68 | 0.000 % |
99.19/99.38 c | 186149 | 1937 8323 25326 | 2147483647 83232 68 | 0.000 % |
99.29/99.48 c | 186270 | 1937 8323 25326 | 2147483647 83353 68 | 0.000 % |
99.39/99.59 c | 186404 | 1937 8323 25326 | 2147483647 83487 68 | 0.000 % |
99.49/99.69 c | 186552 | 1937 8323 25326 | 2147483647 83635 68 | 0.000 % |
99.69/99.82 c | 186712 | 1937 8323 25326 | 2147483647 83795 68 | 0.000 % |
99.79/99.96 c | 186888 | 1937 8323 25326 | 2147483647 83971 68 | 0.000 % |
99.99/100.11 c | 187081 | 1937 8323 25326 | 2147483647 84164 68 | 0.000 % |
100.09/100.28 c | 187294 | 1937 8323 25326 | 2147483647 84377 68 | 0.000 % |
100.29/100.46 c | 187529 | 1937 8323 25326 | 2147483647 84612 68 | 0.000 % |
100.49/100.67 c | 187785 | 1937 8323 25326 | 2147483647 84868 68 | 0.000 % |
100.69/100.86 c | 188067 | 1937 8323 25326 | 2147483647 85150 68 | 0.000 % |
100.89/101.08 c | 188379 | 1937 8323 25326 | 2147483647 85462 68 | 0.000 % |
101.19/101.34 c | 188718 | 1937 8323 25326 | 2147483647 85801 68 | 0.000 % |
101.49/101.63 c | 189093 | 1937 8323 25326 | 2147483647 86176 68 | 0.000 % |
101.79/101.91 c | 189502 | 1937 8323 25326 | 2147483647 86585 68 | 0.000 % |
102.09/102.27 c | 189952 | 1937 8323 25326 | 2147483647 87035 68 | 0.000 % |
102.49/102.61 c | 190446 | 1937 8323 25326 | 2147483647 87529 68 | 0.000 % |
102.79/102.99 c | 190989 | 1937 8323 25326 | 2147483647 88072 67 | 0.000 % |
103.29/103.42 c | 191587 | 1937 8323 25326 | 2147483647 88670 67 | 0.000 % |
103.79/103.94 c | 192242 | 1937 8323 25326 | 2147483647 89325 67 | 0.000 % |
104.39/104.51 c | 192962 | 1937 8323 25326 | 2147483647 90045 67 | 0.000 % |
104.99/105.11 c | 193754 | 1937 8323 25326 | 2147483647 90837 67 | 0.000 % |
105.59/105.72 c | 194629 | 1937 8323 25326 | 2147483647 91712 67 | 0.000 % |
106.30/106.40 c | 195587 | 1937 8323 25326 | 2147483647 92670 67 | 0.000 % |
107.00/107.18 c | 196641 | 1937 8323 25326 | 2147483647 93724 67 | 0.000 % |
107.79/107.96 c | 197799 | 1937 8323 25326 | 2147483647 94882 68 | 0.000 % |
108.70/108.86 c | 199073 | 1937 8323 25326 | 2147483647 96156 68 | 0.000 % |
109.90/110.00 c | 200474 | 1937 8323 25326 | 97083 86815 67 | 0.000 % |
110.90/111.07 c | 202014 | 1937 8323 25326 | 97083 88355 67 | 0.000 % |
112.19/112.35 c | 203708 | 1937 8323 25326 | 97083 90049 67 | 0.000 % |
113.49/113.64 c | 205571 | 1937 8323 25326 | 97083 91912 68 | 0.000 % |
114.99/115.11 c | 207620 | 1937 8323 25326 | 97083 93961 68 | 0.000 % |
114.99/115.19 c | 207720 | 1937 8323 25326 | 97083 94061 68 | 0.000 % |
115.09/115.28 c | 207831 | 1937 8323 25326 | 97083 94172 68 | 0.000 % |
115.19/115.38 c | 207952 | 1937 8323 25326 | 97083 94293 68 | 0.000 % |
115.29/115.49 c | 208086 | 1937 8323 25326 | 97083 94427 67 | 0.000 % |
115.49/115.62 c | 208232 | 1937 8323 25326 | 97083 94573 67 | 0.000 % |
115.59/115.76 c | 208393 | 1937 8323 25326 | 97083 94734 67 | 0.000 % |
115.79/115.92 c | 208571 | 1937 8323 25326 | 97083 94912 67 | 0.000 % |
115.99/116.11 c | 208764 | 1937 8323 25326 | 97083 95105 67 | 0.000 % |
116.19/116.30 c | 208976 | 1937 8323 25326 | 97083 95317 67 | 0.000 % |
116.29/116.50 c | 209210 | 1937 8323 25326 | 97083 95551 67 | 0.000 % |
116.59/116.73 c | 209466 | 1937 8323 25326 | 97083 95807 67 | 0.000 % |
116.79/116.98 c | 209748 | 1937 8323 25326 | 97083 96089 67 | 0.000 % |
117.09/117.22 c | 210057 | 1937 8323 25326 | 96342 96398 67 | 0.000 % |
117.39/117.57 c | 210397 | 1937 8323 25326 | 96342 85322 67 | 0.000 % |
117.69/117.81 c | 210769 | 1937 8323 25326 | 96342 85694 67 | 0.000 % |
117.89/118.07 c | 211178 | 1937 8323 25326 | 96342 86103 67 | 0.000 % |
118.19/118.38 c | 211629 | 1937 8323 25326 | 96342 86554 67 | 0.000 % |
118.59/118.74 c | 212122 | 1937 8323 25326 | 96342 87047 67 | 0.000 % |
118.99/119.12 c | 212664 | 1937 8323 25326 | 96342 87589 67 | 0.000 % |
119.39/119.54 c | 213260 | 1937 8323 25326 | 96342 88185 67 | 0.000 % |
119.89/120.00 c | 213917 | 1937 8323 25326 | 96342 88842 67 | 0.000 % |
120.39/120.51 c | 214637 | 1937 8323 25326 | 96342 89562 67 | 0.000 % |
120.89/121.04 c | 215430 | 1937 8323 25326 | 96342 90355 67 | 0.000 % |
121.49/121.61 c | 216302 | 1937 8323 25326 | 96342 91227 67 | 0.000 % |
122.09/122.29 c | 217261 | 1937 8323 25326 | 96342 92186 67 | 0.000 % |
122.89/123.03 c | 218314 | 1937 8323 25326 | 96342 93239 67 | 0.000 % |
123.69/123.86 c | 219474 | 1937 8323 25326 | 96342 94399 67 | 0.000 % |
124.69/124.84 c | 220747 | 1937 8323 25326 | 2147483647 95672 67 | 0.000 % |
125.68/125.82 c | 222149 | 1937 8323 25326 | 2147483647 97074 67 | 0.000 % |
126.78/126.97 c | 223689 | 1937 8323 25326 | 2147483647 98614 67 | 0.000 % |
128.08/128.23 c | 225383 | 1937 8323 25326 | 2147483647 100308 67 | 0.000 % |
129.48/129.68 c | 227246 | 1937 8323 25326 | 2147483647 102171 67 | 0.000 % |
131.08/131.22 c | 229295 | 1937 8323 25326 | 2147483647 104220 67 | 0.000 % |
132.78/132.96 c | 231549 | 1937 8323 25326 | 104927 93288 67 | 0.000 % |
132.88/133.07 c | 231649 | 1937 8323 25326 | 104927 93388 67 | 0.000 % |
132.98/133.15 c | 231760 | 1937 8323 25326 | 104927 93499 67 | 0.000 % |
133.08/133.26 c | 231881 | 1937 8323 25326 | 104927 93620 67 | 0.000 % |
133.18/133.36 c | 232014 | 1937 8323 25326 | 104927 93753 67 | 0.000 % |
133.38/133.51 c | 232160 | 1937 8323 25326 | 104927 93899 67 | 0.000 % |
133.48/133.65 c | 232321 | 1937 8323 25326 | 104927 94060 67 | 0.000 % |
133.58/133.78 c | 232500 | 1937 8323 25326 | 104927 94239 67 | 0.000 % |
133.78/133.97 c | 232693 | 1937 8323 25326 | 104927 94432 67 | 0.000 % |
133.98/134.15 c | 232906 | 1937 8323 25326 | 104927 94645 67 | 0.000 % |
134.18/134.35 c | 233139 | 1937 8323 25326 | 104927 94878 67 | 0.000 % |
134.38/134.55 c | 233396 | 1937 8323 25326 | 104927 95135 67 | 0.000 % |
134.58/134.77 c | 233678 | 1937 8323 25326 | 104927 95417 67 | 0.000 % |
134.88/135.02 c | 233987 | 1937 8323 25326 | 104927 95726 67 | 0.000 % |
135.08/135.29 c | 234326 | 1937 8323 25326 | 104927 96065 67 | 0.000 % |
135.48/135.60 c | 234698 | 1937 8323 25326 | 104927 96437 67 | 0.000 % |
135.78/135.92 c | 235109 | 1937 8323 25326 | 104927 96848 67 | 0.000 % |
136.08/136.29 c | 235558 | 1937 8323 25326 | 104927 97297 67 | 0.000 % |
136.58/136.70 c | 236052 | 1937 8323 25326 | 104927 97791 67 | 0.000 % |
136.98/137.15 c | 236594 | 1937 8323 25326 | 104927 98333 67 | 0.000 % |
137.48/137.65 c | 237193 | 1937 8323 25326 | 104927 98932 67 | 0.000 % |
137.98/138.15 c | 237849 | 1937 8323 25326 | 104927 99588 67 | 0.000 % |
138.57/138.73 c | 238569 | 1937 8323 25326 | 104927 100308 67 | 0.000 % |
139.17/139.38 c | 239362 | 1937 8323 25326 | 104927 101101 67 | 0.000 % |
139.97/140.10 c | 240236 | 1937 8323 25326 | 101742 101975 67 | 0.000 % |
140.68/140.85 c | 241194 | 1937 8323 25326 | 101742 88802 67 | 0.000 % |
141.37/141.55 c | 242247 | 1937 8323 25326 | 101742 89855 67 | 0.000 % |
142.17/142.34 c | 243407 | 1937 8323 25326 | 101742 91015 67 | 0.000 % |
143.17/143.30 c | 244680 | 1937 8323 25326 | 101742 92288 67 | 0.000 % |
144.17/144.32 c | 246080 | 1937 8323 25326 | 101742 93688 67 | 0.000 % |
145.37/145.51 c | 247620 | 1937 8323 25326 | 101742 95228 67 | 0.000 % |
146.57/146.70 c | 249314 | 1937 8323 25326 | 101742 96922 67 | 0.000 % |
147.97/148.12 c | 251179 | 1937 8323 25326 | 97609 87803 67 | 0.000 % |
149.27/149.50 c | 253228 | 1937 8323 25326 | 97609 89852 67 | 0.000 % |
150.87/151.09 c | 255482 | 1937 8323 25326 | 97609 92106 67 | 0.000 % |
152.67/152.81 c | 257960 | 1937 8323 25326 | 97609 94584 67 | 0.000 % |
152.67/152.88 c | 258061 | 1937 8323 25326 | 97609 94685 67 | 0.000 % |
152.87/153.00 c | 258172 | 1937 8323 25326 | 97609 94796 67 | 0.000 % |
152.97/153.11 c | 258295 | 1937 8323 25326 | 97609 94919 67 | 0.000 % |
153.07/153.22 c | 258428 | 1937 8323 25326 | 97609 95052 67 | 0.000 % |
153.17/153.35 c | 258575 | 1937 8323 25326 | 97609 95199 67 | 0.000 % |
153.37/153.51 c | 258740 | 1937 8323 25326 | 97609 95364 67 | 0.000 % |
153.47/153.66 c | 258916 | 1937 8323 25326 | 97609 95540 67 | 0.000 % |
153.67/153.82 c | 259109 | 1937 8323 25326 | 97609 95733 67 | 0.000 % |
153.87/154.01 c | 259321 | 1937 8323 25326 | 97609 95945 67 | 0.000 % |
153.97/154.19 c | 259554 | 1937 8323 25326 | 97609 96178 67 | 0.000 % |
154.27/154.43 c | 259810 | 1937 8323 25326 | 97609 96434 67 | 0.000 % |
154.47/154.69 c | 260091 | 1937 8323 25326 | 96624 96715 67 | 0.000 % |
154.77/154.96 c | 260404 | 1937 8323 25326 | 96624 86791 67 | 0.000 % |
154.97/155.19 c | 260743 | 1937 8323 25326 | 96624 87130 67 | 0.000 % |
155.27/155.45 c | 261115 | 1937 8323 25326 | 96624 87502 67 | 0.000 % |
155.57/155.75 c | 261524 | 1937 8323 25326 | 96624 87911 67 | 0.000 % |
155.87/156.07 c | 261975 | 1937 8323 25326 | 96624 88362 67 | 0.000 % |
156.27/156.43 c | 262468 | 1937 8323 25326 | 96624 88855 67 | 0.000 % |
156.67/156.82 c | 263010 | 1937 8323 25326 | 96624 89397 67 | 0.000 % |
157.07/157.27 c | 263606 | 1937 8323 25326 | 96624 89993 67 | 0.000 % |
157.57/157.78 c | 264261 | 1937 8323 25326 | 96624 90648 67 | 0.000 % |
158.06/158.28 c | 264981 | 1937 8323 25326 | 96624 91368 67 | 0.000 % |
158.66/158.85 c | 265773 | 1937 8323 25326 | 96624 92160 67 | 0.000 % |
159.27/159.48 c | 266644 | 1937 8323 25326 | 96624 93031 67 | 0.000 % |
159.96/160.13 c | 267602 | 1937 8323 25326 | 96624 93989 67 | 0.000 % |
160.76/160.90 c | 268657 | 1937 8323 25326 | 96624 95044 67 | 0.000 % |
161.57/161.76 c | 269815 | 1937 8323 25326 | 96624 96202 67 | 0.000 % |
162.57/162.71 c | 271088 | 1937 8323 25326 | 96388 87683 66 | 0.000 % |
163.46/163.66 c | 272488 | 1937 8323 25326 | 96388 89083 66 | 0.000 % |
164.46/164.68 c | 274028 | 1937 8323 25326 | 96388 90623 67 | 0.000 % |
165.66/165.84 c | 275723 | 1937 8323 25326 | 96388 92318 67 | 0.000 % |
166.86/167.04 c | 277587 | 1937 8323 25326 | 96388 94182 67 | 0.000 % |
168.36/168.56 c | 279640 | 1937 8323 25326 | 96388 96235 67 | 0.000 % |
169.96/170.19 c | 281893 | 1937 8323 25326 | 96595 88500 67 | 0.000 % |
171.66/171.81 c | 284371 | 1937 8323 25326 | 96595 90978 67 | 0.000 % |
173.66/173.85 c | 287096 | 1937 8323 25326 | 96595 93703 67 | 0.000 % |
173.76/173.94 c | 287196 | 1937 8323 25326 | 96595 93803 67 | 0.000 % |
173.86/174.05 c | 287306 | 1937 8323 25326 | 96595 93913 67 | 0.000 % |
173.96/174.14 c | 287428 | 1937 8323 25326 | 96595 94035 67 | 0.000 % |
174.06/174.25 c | 287561 | 1937 8323 25326 | 96595 94168 67 | 0.000 % |
174.16/174.37 c | 287708 | 1937 8323 25326 | 96595 94315 67 | 0.000 % |
174.26/174.50 c | 287871 | 1937 8323 25326 | 96595 94478 67 | 0.000 % |
174.46/174.63 c | 288047 | 1937 8323 25326 | 96595 94654 67 | 0.000 % |
174.56/174.79 c | 288240 | 1937 8323 25326 | 96595 94847 67 | 0.000 % |
174.76/174.96 c | 288452 | 1937 8323 25326 | 96595 95059 67 | 0.000 % |
174.96/175.14 c | 288685 | 1937 8323 25326 | 96595 95292 67 | 0.000 % |
175.16/175.33 c | 288941 | 1937 8323 25326 | 96595 95548 67 | 0.000 % |
175.36/175.54 c | 289223 | 1937 8323 25326 | 96595 95830 67 | 0.000 % |
175.56/175.76 c | 289533 | 1937 8323 25326 | 96595 96140 67 | 0.000 % |
175.86/176.05 c | 289873 | 1937 8323 25326 | 96595 96480 67 | 0.000 % |
176.26/176.40 c | 290248 | 1937 8323 25326 | 96607 86234 67 | 0.000 % |
176.46/176.67 c | 290657 | 1937 8323 25326 | 96607 86643 67 | 0.000 % |
176.76/176.99 c | 291107 | 1937 8323 25326 | 96607 87093 67 | 0.000 % |
177.16/177.34 c | 291600 | 1937 8323 25326 | 96607 87586 67 | 0.000 % |
177.56/177.72 c | 292143 | 1937 8323 25326 | 96607 88129 67 | 0.000 % |
177.96/178.13 c | 292739 | 1937 8323 25326 | 96607 88725 67 | 0.000 % |
178.36/178.58 c | 293395 | 1937 8323 25326 | 96607 89381 67 | 0.000 % |
178.86/179.07 c | 294117 | 1937 8323 25326 | 96607 90103 67 | 0.000 % |
179.46/179.65 c | 294910 | 1937 8323 25326 | 96607 90896 67 | 0.000 % |
180.06/180.25 c | 295784 | 1937 8323 25326 | 96607 91770 67 | 0.000 % |
180.65/180.88 c | 296743 | 1937 8323 25326 | 96607 92729 67 | 0.000 % |
181.45/181.67 c | 297797 | 1937 8323 25326 | 96607 93783 67 | 0.000 % |
182.37/182.57 c | 298955 | 1937 8323 25326 | 96607 94941 67 | 0.000 % |
183.26/183.41 c | 300229 | 1937 8323 25326 | 2147483647 96215 67 | 0.000 % |
184.16/184.37 c | 301630 | 1937 8323 25326 | 2147483647 97616 67 | 0.000 % |
185.26/185.42 c | 303170 | 1937 8323 25326 | 2147483647 99156 67 | 0.000 % |
186.46/186.67 c | 304865 | 1937 8323 25326 | 2147483647 100851 67 | 0.000 % |
187.97/188.11 c | 306729 | 1937 8323 25326 | 2147483647 102715 67 | 0.000 % |
189.56/189.72 c | 308780 | 1937 8323 25326 | 2147483647 104766 67 | 0.000 % |
191.46/191.60 c | 311033 | 1937 8323 25326 | 105986 94220 67 | 0.000 % |
193.16/193.34 c | 313512 | 1937 8323 25326 | 105986 96699 67 | 0.000 % |
195.26/195.46 c | 316237 | 1937 8323 25326 | 105986 99424 67 | 0.000 % |
197.56/197.72 c | 319234 | 1937 8323 25326 | 105986 102421 67 | 0.000 % |
197.65/197.81 c | 319334 | 1937 8323 25326 | 105986 102521 67 | 0.000 % |
197.65/197.89 c | 319444 | 1937 8323 25326 | 105986 102631 67 | 0.000 % |
197.76/197.99 c | 319566 | 1937 8323 25326 | 105986 102753 67 | 0.000 % |
197.95/198.13 c | 319700 | 1937 8323 25326 | 105986 102887 67 | 0.000 % |
198.05/198.26 c | 319847 | 1937 8323 25326 | 105986 103034 67 | 0.000 % |
198.25/198.41 c | 320007 | 1937 8323 25326 | 103188 103194 67 | 0.000 % |
198.55/198.71 c | 320183 | 1937 8323 25326 | 103188 89825 67 | 0.000 % |
198.65/198.87 c | 320379 | 1937 8323 25326 | 103188 90021 67 | 0.000 % |
198.86/199.04 c | 320592 | 1937 8323 25326 | 103188 90234 67 | 0.000 % |
199.05/199.23 c | 320825 | 1937 8323 25326 | 103188 90467 67 | 0.000 % |
199.25/199.43 c | 321083 | 1937 8323 25326 | 103188 90725 67 | 0.000 % |
199.45/199.66 c | 321368 | 1937 8323 25326 | 103188 91010 67 | 0.000 % |
199.75/199.90 c | 321677 | 1937 8323 25326 | 103188 91319 67 | 0.000 % |
199.95/200.15 c | 322018 | 1937 8323 25326 | 103188 91660 67 | 0.000 % |
200.25/200.44 c | 322390 | 1937 8323 25326 | 103188 92032 67 | 0.000 % |
200.55/200.76 c | 322799 | 1937 8323 25326 | 103188 92441 67 | 0.000 % |
200.85/201.08 c | 323248 | 1937 8323 25326 | 103188 92890 67 | 0.000 % |
201.25/201.46 c | 323743 | 1937 8323 25326 | 103188 93385 67 | 0.000 % |
201.65/201.86 c | 324285 | 1937 8323 25326 | 103188 93927 67 | 0.000 % |
202.15/202.31 c | 324881 | 1937 8323 25326 | 103188 94523 67 | 0.000 % |
202.65/202.85 c | 325541 | 1937 8323 25326 | 103188 95183 67 | 0.000 % |
203.25/203.41 c | 326261 | 1937 8323 25326 | 103188 95903 67 | 0.000 % |
203.75/203.99 c | 327053 | 1937 8323 25326 | 103188 96695 67 | 0.000 % |
204.45/204.66 c | 327924 | 1937 8323 25326 | 103188 97566 67 | 0.000 % |
205.25/205.45 c | 328882 | 1937 8323 25326 | 103188 98524 67 | 0.000 % |
206.05/206.24 c | 329936 | 1937 8323 25326 | 103188 99578 67 | 0.000 % |
206.95/207.17 c | 331097 | 1937 8323 25326 | 99642 87201 68 | 0.000 % |
207.75/207.99 c | 332370 | 1937 8323 25326 | 99642 88474 68 | 0.000 % |
208.75/208.96 c | 333771 | 1937 8323 25326 | 99642 89875 68 | 0.000 % |
209.75/209.98 c | 335312 | 1937 8323 25326 | 99642 91416 68 | 0.000 % |
211.05/211.21 c | 337006 | 1937 8323 25326 | 99642 93110 68 | 0.000 % |
212.35/212.54 c | 338869 | 1937 8323 25326 | 99642 94973 68 | 0.000 % |
213.85/214.00 c | 340919 | 1937 8323 25326 | 96104 86524 67 | 0.000 % |
215.35/215.58 c | 343172 | 1937 8323 25326 | 96104 88777 68 | 0.000 % |
217.05/217.26 c | 345650 | 1937 8323 25326 | 96104 91255 68 | 0.000 % |
218.94/219.18 c | 348375 | 1937 8323 25326 | 96104 93980 68 | 0.000 % |
221.04/221.20 c | 351374 | 1937 8323 25326 | 2147483647 96979 68 | 0.000 % |
223.44/223.62 c | 354671 | 1937 8323 25326 | 2147483647 100276 68 | 0.000 % |
223.54/223.71 c | 354773 | 1937 8323 25326 | 2147483647 100378 68 | 0.000 % |
223.64/223.82 c | 354883 | 1937 8323 25326 | 2147483647 100488 68 | 0.000 % |
223.74/223.92 c | 355004 | 1937 8323 25326 | 2147483647 100609 68 | 0.000 % |
223.84/224.05 c | 355138 | 1937 8323 25326 | 2147483647 100743 68 | 0.000 % |
223.94/224.17 c | 355284 | 1937 8323 25326 | 2147483647 100889 68 | 0.000 % |
224.15/224.31 c | 355444 | 1937 8323 25326 | 2147483647 101049 68 | 0.000 % |
224.25/224.47 c | 355620 | 1937 8323 25326 | 2147483647 101225 68 | 0.000 % |
224.44/224.65 c | 355815 | 1937 8323 25326 | 2147483647 101420 68 | 0.000 % |
224.64/224.84 c | 356029 | 1937 8323 25326 | 2147483647 101634 68 | 0.000 % |
224.84/225.07 c | 356263 | 1937 8323 25326 | 2147483647 101868 68 | 0.000 % |
225.14/225.30 c | 356519 | 1937 8323 25326 | 2147483647 102124 68 | 0.000 % |
225.35/225.58 c | 356801 | 1937 8323 25326 | 2147483647 102406 68 | 0.000 % |
225.64/225.84 c | 357110 | 1937 8323 25326 | 2147483647 102715 68 | 0.000 % |
225.94/226.15 c | 357449 | 1937 8323 25326 | 2147483647 103054 68 | 0.000 % |
226.24/226.46 c | 357822 | 1937 8323 25326 | 2147483647 103427 68 | 0.000 % |
226.54/226.78 c | 358235 | 1937 8323 25326 | 2147483647 103840 68 | 0.000 % |
226.94/227.14 c | 358684 | 1937 8323 25326 | 2147483647 104289 68 | 0.000 % |
227.35/227.55 c | 359179 | 1937 8323 25326 | 2147483647 104784 68 | 0.000 % |
227.75/227.99 c | 359722 | 1937 8323 25326 | 2147483647 105327 68 | 0.000 % |
228.35/228.57 c | 360319 | 1937 8323 25326 | 105605 90895 68 | 0.000 % |
228.85/229.00 c | 360974 | 1937 8323 25326 | 105605 91550 68 | 0.000 % |
229.35/229.51 c | 361694 | 1937 8323 25326 | 105605 92270 67 | 0.000 % |
229.95/230.14 c | 362487 | 1937 8323 25326 | 105605 93063 68 | 0.000 % |
230.55/230.75 c | 363360 | 1937 8323 25326 | 105605 93936 68 | 0.000 % |
231.25/231.43 c | 364318 | 1937 8323 25326 | 105605 94894 68 | 0.000 % |
231.95/232.20 c | 365372 | 1937 8323 25326 | 105605 95948 68 | 0.000 % |
232.85/233.05 c | 366533 | 1937 8323 25326 | 105605 97109 68 | 0.000 % |
233.84/234.08 c | 367808 | 1937 8323 25326 | 105605 98384 68 | 0.000 % |
234.94/235.17 c | 369211 | 1937 8323 25326 | 105605 99787 68 | 0.000 % |
236.25/236.41 c | 370753 | 1937 8323 25326 | 100576 88352 67 | 0.000 % |
237.35/237.54 c | 372448 | 1937 8323 25326 | 100576 90047 67 | 0.000 % |
238.64/238.86 c | 374311 | 1937 8323 25326 | 100576 91910 67 | 0.000 % |
240.14/240.35 c | 376360 | 1937 8323 25326 | 100576 93959 67 | 0.000 % |
241.84/242.03 c | 378613 | 1937 8323 25326 | 100576 96212 67 | 0.000 % |
243.64/243.84 c | 381091 | 1937 8323 25326 | 97599 87691 67 | 0.000 % |
245.44/245.64 c | 383817 | 1937 8323 25326 | 97599 90417 67 | 0.000 % |
247.44/247.64 c | 386815 | 1937 8323 25326 | 97599 93415 68 | 0.000 % |
249.64/249.85 c | 390111 | 1937 8323 25326 | 96602 96711 68 | 0.000 % |
252.14/252.32 c | 393737 | 1937 8323 25326 | 96602 90480 68 | 0.000 % |
252.14/252.39 c | 393837 | 1937 8323 25326 | 96602 90580 68 | 0.000 % |
252.24/252.47 c | 393947 | 1937 8323 25326 | 96602 90690 68 | 0.000 % |
252.34/252.57 c | 394070 | 1937 8323 25326 | 96602 90813 68 | 0.000 % |
252.44/252.67 c | 394205 | 1937 8323 25326 | 96602 90948 68 | 0.000 % |
252.54/252.79 c | 394354 | 1937 8323 25326 | 96602 91097 68 | 0.000 % |
252.74/252.91 c | 394514 | 1937 8323 25326 | 96602 91257 68 | 0.000 % |
252.84/253.06 c | 394690 | 1937 8323 25326 | 96602 91433 68 | 0.000 % |
253.04/253.23 c | 394884 | 1937 8323 25326 | 96602 91627 68 | 0.000 % |
253.14/253.39 c | 395096 | 1937 8323 25326 | 96602 91839 68 | 0.000 % |
253.33/253.58 c | 395329 | 1937 8323 25326 | 96602 92072 68 | 0.000 % |
253.63/253.80 c | 395585 | 1937 8323 25326 | 96602 92328 68 | 0.000 % |
253.84/254.04 c | 395866 | 1937 8323 25326 | 96602 92609 68 | 0.000 % |
254.03/254.26 c | 396178 | 1937 8323 25326 | 96602 92921 68 | 0.000 % |
254.33/254.53 c | 396517 | 1937 8323 25326 | 96602 93260 68 | 0.000 % |
254.63/254.85 c | 396891 | 1937 8323 25326 | 96602 93634 68 | 0.000 % |
254.94/255.19 c | 397300 | 1937 8323 25326 | 96602 94043 68 | 0.000 % |
255.33/255.51 c | 397749 | 1937 8323 25326 | 96602 94492 68 | 0.000 % |
255.63/255.87 c | 398242 | 1937 8323 25326 | 96602 94985 68 | 0.000 % |
256.14/256.32 c | 398784 | 1937 8323 25326 | 96602 95527 68 | 0.000 % |
256.54/256.76 c | 399382 | 1937 8323 25326 | 96602 96125 68 | 0.000 % |
257.14/257.32 c | 400040 | 1937 8323 25326 | 96744 96783 68 | 0.000 % |
257.73/257.91 c | 400761 | 1937 8323 25326 | 96744 86355 68 | 0.000 % |
258.24/258.48 c | 401555 | 1937 8323 25326 | 96744 87149 68 | 0.000 % |
258.83/259.08 c | 402426 | 1937 8323 25326 | 96744 88020 68 | 0.000 % |
259.53/259.74 c | 403386 | 1937 8323 25326 | 96744 88980 68 | 0.000 % |
260.23/260.47 c | 404439 | 1937 8323 25326 | 96744 90033 68 | 0.000 % |
261.13/261.34 c | 405598 | 1937 8323 25326 | 96744 91192 68 | 0.000 % |
262.03/262.22 c | 406871 | 1937 8323 25326 | 96744 92465 68 | 0.000 % |
263.03/263.25 c | 408272 | 1937 8323 25326 | 96744 93866 68 | 0.000 % |
264.13/264.31 c | 409812 | 1937 8323 25326 | 96744 95406 68 | 0.000 % |
265.23/265.49 c | 411506 | 1937 8323 25326 | 95595 86425 68 | 0.000 % |
266.53/266.75 c | 413369 | 1937 8323 25326 | 95595 88288 68 | 0.000 % |
267.83/268.09 c | 415419 | 1937 8323 25326 | 95595 90338 68 | 0.000 % |
269.43/269.60 c | 417673 | 1937 8323 25326 | 95595 92592 68 | 0.000 % |
270.93/271.14 c | 420151 | 1937 8323 25326 | 2147483647 95070 69 | 0.000 % |
272.93/273.14 c | 422876 | 1937 8323 25326 | 2147483647 97795 69 | 0.000 % |
275.13/275.33 c | 425876 | 1937 8323 25326 | 2147483647 100795 69 | 0.000 % |
277.53/277.78 c | 429175 | 1937 8323 25326 | 2147483647 104094 69 | 0.000 % |
280.33/280.50 c | 432800 | 1937 8323 25326 | 104919 94232 69 | 0.000 % |
283.22/283.40 c | 436787 | 1937 8323 25326 | 104919 98219 69 | 0.000 % |
283.22/283.48 c | 436888 | 1937 8323 25326 | 104919 98320 69 | 0.000 % |
283.42/283.60 c | 436998 | 1937 8323 25326 | 104919 98430 69 | 0.000 % |
283.53/283.73 c | 437120 | 1937 8323 25326 | 104919 98552 69 | 0.000 % |
283.63/283.86 c | 437254 | 1937 8323 25326 | 104919 98686 69 | 0.000 % |
283.72/283.99 c | 437401 | 1937 8323 25326 | 104919 98833 69 | 0.000 % |
283.92/284.14 c | 437563 | 1937 8323 25326 | 104919 98995 69 | 0.000 % |
284.12/284.32 c | 437739 | 1937 8323 25326 | 104919 99171 69 | 0.000 % |
284.22/284.48 c | 437933 | 1937 8323 25326 | 104919 99365 69 | 0.000 % |
284.42/284.66 c | 438145 | 1937 8323 25326 | 104919 99577 69 | 0.000 % |
284.62/284.87 c | 438382 | 1937 8323 25326 | 104919 99814 69 | 0.000 % |
284.92/285.12 c | 438640 | 1937 8323 25326 | 104919 100072 69 | 0.000 % |
285.12/285.35 c | 438921 | 1937 8323 25326 | 104919 100353 69 | 0.000 % |
285.42/285.60 c | 439232 | 1937 8323 25326 | 104919 100664 69 | 0.000 % |
285.62/285.87 c | 439571 | 1937 8323 25326 | 104919 101003 69 | 0.000 % |
285.92/286.17 c | 439943 | 1937 8323 25326 | 104919 101375 69 | 0.000 % |
286.32/286.56 c | 440352 | 1937 8323 25326 | 101433 88330 69 | 0.000 % |
286.62/286.85 c | 440802 | 1937 8323 25326 | 101433 88780 69 | 0.000 % |
287.02/287.21 c | 441296 | 1937 8323 25326 | 101433 89274 69 | 0.000 % |
287.42/287.60 c | 441838 | 1937 8323 25326 | 101433 89816 69 | 0.000 % |
287.82/288.03 c | 442434 | 1937 8323 25326 | 101433 90412 69 | 0.000 % |
288.32/288.50 c | 443091 | 1937 8323 25326 | 101433 91069 69 | 0.000 % |
288.82/289.04 c | 443811 | 1937 8323 25326 | 101433 91789 69 | 0.000 % |
289.42/289.62 c | 444604 | 1937 8323 25326 | 101433 92582 69 | 0.000 % |
290.02/290.24 c | 445476 | 1937 8323 25326 | 101433 93454 69 | 0.000 % |
290.73/290.92 c | 446436 | 1937 8323 25326 | 101433 94414 69 | 0.000 % |
291.42/291.64 c | 447490 | 1937 8323 25326 | 101433 95468 69 | 0.000 % |
292.22/292.48 c | 448648 | 1937 8323 25326 | 101433 96626 69 | 0.000 % |
293.22/293.40 c | 449923 | 1937 8323 25326 | 101433 97901 69 | 0.000 % |
294.22/294.44 c | 451325 | 1937 8323 25326 | 97978 87518 69 | 0.000 % |
295.22/295.49 c | 452866 | 1937 8323 25326 | 97978 89059 69 | 0.000 % |
296.42/296.65 c | 454563 | 1937 8323 25326 | 97978 90756 69 | 0.000 % |
297.82/298.08 c | 456426 | 1937 8323 25326 | 97978 92619 70 | 0.000 % |
299.32/299.55 c | 458476 | 1937 8323 25326 | 97978 94669 70 | 0.000 % |
301.02/301.22 c | 460729 | 1937 8323 25326 | 96194 86093 70 | 0.000 % |
302.62/302.86 c | 463209 | 1937 8323 25326 | 96194 88573 70 | 0.000 % |
304.52/304.78 c | 465936 | 1937 8323 25326 | 96194 91300 70 | 0.000 % |
306.82/307.01 c | 468936 | 1937 8323 25326 | 96194 94300 70 | 0.000 % |
309.22/309.41 c | 472233 | 1937 8323 25326 | 95365 87320 69 | 0.000 % |
311.72/311.91 c | 475858 | 1937 8323 25326 | 95365 90945 69 | 0.000 % |
314.62/314.80 c | 479846 | 1937 8323 25326 | 95365 94933 69 | 0.000 % |
317.91/318.13 c | 484231 | 1937 8323 25326 | 95088 88284 69 | 0.000 % |
317.91/318.19 c | 484334 | 1937 8323 25326 | 95088 88387 69 | 0.000 % |
318.01/318.27 c | 484446 | 1937 8323 25326 | 95088 88499 69 | 0.000 % |
318.11/318.38 c | 484568 | 1937 8323 25326 | 95088 88621 69 | 0.000 % |
318.31/318.51 c | 484702 | 1937 8323 25326 | 95088 88755 69 | 0.000 % |
318.41/318.62 c | 484852 | 1937 8323 25326 | 95088 88905 69 | 0.000 % |
318.51/318.75 c | 485012 | 1937 8323 25326 | 95088 89065 69 | 0.000 % |
318.72/318.91 c | 485188 | 1937 8323 25326 | 95088 89241 69 | 0.000 % |
318.82/319.05 c | 485385 | 1937 8323 25326 | 95088 89438 69 | 0.000 % |
319.01/319.24 c | 485597 | 1937 8323 25326 | 95088 89650 69 | 0.000 % |
319.21/319.43 c | 485831 | 1937 8323 25326 | 95088 89884 69 | 0.000 % |
319.41/319.64 c | 486087 | 1937 8323 25326 | 95088 90140 69 | 0.000 % |
319.61/319.88 c | 486369 | 1937 8323 25326 | 95088 90422 69 | 0.000 % |
319.91/320.13 c | 486679 | 1937 8323 25326 | 95088 90732 69 | 0.000 % |
320.11/320.39 c | 487019 | 1937 8323 25326 | 95088 91072 69 | 0.000 % |
320.51/320.72 c | 487392 | 1937 8323 25326 | 95088 91445 69 | 0.000 % |
320.81/321.06 c | 487803 | 1937 8323 25326 | 95088 91856 69 | 0.000 % |
321.21/321.46 c | 488254 | 1937 8323 25326 | 95088 92307 69 | 0.000 % |
321.61/321.81 c | 488748 | 1937 8323 25326 | 95088 92801 69 | 0.000 % |
322.01/322.22 c | 489290 | 1937 8323 25326 | 95088 93343 69 | 0.000 % |
322.41/322.68 c | 489888 | 1937 8323 25326 | 95088 93941 69 | 0.000 % |
323.01/323.21 c | 490543 | 1937 8323 25326 | 94059 82947 69 | 0.000 % |
323.51/323.70 c | 491263 | 1937 8323 25326 | 94059 83667 69 | 0.000 % |
324.01/324.26 c | 492055 | 1937 8323 25326 | 94059 84459 69 | 0.000 % |
324.61/324.88 c | 492928 | 1937 8323 25326 | 94059 85332 69 | 0.000 % |
325.21/325.49 c | 493886 | 1937 8323 25326 | 94059 86290 69 | 0.000 % |
326.01/326.20 c | 494940 | 1937 8323 25326 | 94059 87344 69 | 0.000 % |
326.71/326.94 c | 496099 | 1937 8323 25326 | 94059 88503 69 | 0.000 % |
327.61/327.82 c | 497373 | 1937 8323 25326 | 94059 89777 69 | 0.000 % |
328.51/328.79 c | 498776 | 1937 8323 25326 | 94059 91180 69 | 0.000 % |
329.61/329.83 c | 500317 | 1937 8323 25326 | 2147483647 92721 69 | 0.000 % |
330.81/331.05 c | 502011 | 1937 8323 25326 | 2147483647 94415 69 | 0.000 % |
332.21/332.48 c | 503874 | 1937 8323 25326 | 2147483647 96278 69 | 0.000 % |
333.81/334.00 c | 505923 | 1937 8323 25326 | 2147483647 98327 69 | 0.000 % |
335.50/335.73 c | 508178 | 1937 8323 25326 | 2147483647 100582 69 | 0.000 % |
337.51/337.76 c | 510657 | 1937 8323 25326 | 102404 89425 69 | 0.000 % |
339.50/339.79 c | 513383 | 1937 8323 25326 | 102404 92151 69 | 0.000 % |
341.81/342.02 c | 516381 | 1937 8323 25326 | 102404 95149 69 | 0.000 % |
344.20/344.43 c | 519679 | 1937 8323 25326 | 102404 98447 69 | 0.000 % |
346.80/347.10 c | 523304 | 1937 8323 25326 | 98768 89745 69 | 0.000 % |
349.60/349.82 c | 527291 | 1937 8323 25326 | 98768 93732 69 | 0.000 % |
352.80/353.01 c | 531677 | 1937 8323 25326 | 96441 87222 69 | 0.000 % |
356.00/356.28 c | 536501 | 1937 8323 25326 | 96441 92046 70 | 0.000 % |
356.10/356.38 c | 536601 | 1937 8323 25326 | 96441 92146 70 | 0.000 % |
356.20/356.47 c | 536713 | 1937 8323 25326 | 96441 92258 70 | 0.000 % |
356.29/356.58 c | 536836 | 1937 8323 25326 | 96441 92381 70 | 0.000 % |
356.39/356.67 c | 536969 | 1937 8323 25326 | 96441 92514 70 | 0.000 % |
356.49/356.77 c | 537116 | 1937 8323 25326 | 96441 92661 70 | 0.000 % |
356.59/356.89 c | 537276 | 1937 8323 25326 | 96441 92821 70 | 0.000 % |
356.79/357.03 c | 537452 | 1937 8323 25326 | 96441 92997 69 | 0.000 % |
356.89/357.19 c | 537646 | 1937 8323 25326 | 96441 93191 69 | 0.000 % |
357.09/357.38 c | 537858 | 1937 8323 25326 | 96441 93403 69 | 0.000 % |
357.30/357.55 c | 538091 | 1937 8323 25326 | 96441 93636 69 | 0.000 % |
357.49/357.77 c | 538348 | 1937 8323 25326 | 96441 93893 69 | 0.000 % |
357.69/357.99 c | 538630 | 1937 8323 25326 | 96441 94175 69 | 0.000 % |
357.99/358.26 c | 538939 | 1937 8323 25326 | 96441 94484 69 | 0.000 % |
358.30/358.50 c | 539278 | 1937 8323 25326 | 96441 94823 69 | 0.000 % |
358.49/358.79 c | 539650 | 1937 8323 25326 | 96441 95195 69 | 0.000 % |
358.89/359.11 c | 540059 | 1937 8323 25326 | 95548 95604 69 | 0.000 % |
359.19/359.48 c | 540508 | 1937 8323 25326 | 95548 85253 69 | 0.000 % |
359.59/359.84 c | 541001 | 1937 8323 25326 | 95548 85746 69 | 0.000 % |
359.99/360.24 c | 541543 | 1937 8323 25326 | 95548 86288 69 | 0.000 % |
360.39/360.66 c | 542139 | 1937 8323 25326 | 95548 86884 69 | 0.000 % |
360.89/361.10 c | 542794 | 1937 8323 25326 | 95548 87539 69 | 0.000 % |
361.39/361.63 c | 543517 | 1937 8323 25326 | 95548 88262 69 | 0.000 % |
361.89/362.18 c | 544312 | 1937 8323 25326 | 95548 89057 69 | 0.000 % |
362.59/362.82 c | 545186 | 1937 8323 25326 | 95548 89931 69 | 0.000 % |
363.29/363.53 c | 546146 | 1937 8323 25326 | 95548 90891 69 | 0.000 % |
364.09/364.32 c | 547199 | 1937 8323 25326 | 95548 91944 69 | 0.000 % |
364.89/365.12 c | 548357 | 1937 8323 25326 | 95548 93102 69 | 0.000 % |
365.89/366.14 c | 549632 | 1937 8323 25326 | 95548 94377 69 | 0.000 % |
366.89/367.18 c | 551032 | 1937 8323 25326 | 94745 85258 69 | 0.000 % |
367.99/368.25 c | 552572 | 1937 8323 25326 | 94745 86798 69 | 0.000 % |
369.29/369.52 c | 554267 | 1937 8323 25326 | 94745 88493 69 | 0.000 % |
370.49/370.78 c | 556131 | 1937 8323 25326 | 94745 90357 69 | 0.000 % |
371.79/372.08 c | 558184 | 1937 8323 25326 | 94745 92410 69 | 0.000 % |
373.39/373.65 c | 560438 | 1937 8323 25326 | 94226 85215 69 | 0.000 % |
374.99/375.21 c | 562916 | 1937 8323 25326 | 94226 87693 69 | 0.000 % |
376.89/377.18 c | 565643 | 1937 8323 25326 | 94226 90420 69 | 0.000 % |
378.98/379.26 c | 568641 | 1937 8323 25326 | 94226 93418 69 | 0.000 % |
381.18/381.48 c | 571938 | 1937 8323 25326 | 2147483647 87272 69 | 0.000 % |
383.69/383.93 c | 575563 | 1937 8323 25326 | 2147483647 90897 69 | 0.000 % |
386.38/386.66 c | 579550 | 1937 8323 25326 | 2147483647 94884 69 | 0.000 % |
389.38/389.62 c | 583935 | 1937 8323 25326 | 95336 89453 70 | 0.000 % |
392.78/393.09 c | 588758 | 1937 8323 25326 | 95336 94276 70 | 0.000 % |
396.58/396.84 c | 594065 | 1937 8323 25326 | 95519 88440 69 | 0.000 % |
396.68/396.93 c | 594165 | 1937 8323 25326 | 95519 88540 69 | 0.000 % |
396.78/397.02 c | 594275 | 1937 8323 25326 | 95519 88650 69 | 0.000 % |
396.88/397.13 c | 594397 | 1937 8323 25326 | 95519 88772 69 | 0.000 % |
396.98/397.23 c | 594530 | 1937 8323 25326 | 95519 88905 69 | 0.000 % |
397.08/397.36 c | 594676 | 1937 8323 25326 | 95519 89051 69 | 0.000 % |
397.28/397.50 c | 594837 | 1937 8323 25326 | 95519 89212 69 | 0.000 % |
397.38/397.63 c | 595014 | 1937 8323 25326 | 95519 89389 69 | 0.000 % |
397.58/397.80 c | 595208 | 1937 8323 25326 | 95519 89583 69 | 0.000 % |
397.68/397.97 c | 595423 | 1937 8323 25326 | 95519 89798 69 | 0.000 % |
397.88/398.16 c | 595656 | 1937 8323 25326 | 95519 90031 69 | 0.000 % |
398.08/398.35 c | 595913 | 1937 8323 25326 | 95519 90288 69 | 0.000 % |
398.28/398.57 c | 596195 | 1937 8323 25326 | 95519 90570 69 | 0.000 % |
398.58/398.80 c | 596504 | 1937 8323 25326 | 95519 90879 69 | 0.000 % |
398.78/399.07 c | 596844 | 1937 8323 25326 | 95519 91219 69 | 0.000 % |
399.08/399.35 c | 597216 | 1937 8323 25326 | 95519 91591 69 | 0.000 % |
399.38/399.63 c | 597625 | 1937 8323 25326 | 95519 92000 69 | 0.000 % |
399.78/400.00 c | 598075 | 1937 8323 25326 | 95519 92450 69 | 0.000 % |
400.08/400.39 c | 598569 | 1937 8323 25326 | 95519 92944 69 | 0.000 % |
400.57/400.84 c | 599112 | 1937 8323 25326 | 95519 93487 69 | 0.000 % |
401.07/401.31 c | 599709 | 1937 8323 25326 | 95519 94084 69 | 0.000 % |
401.57/401.88 c | 600364 | 1937 8323 25326 | 94376 82887 69 | 0.000 % |
402.07/402.35 c | 601086 | 1937 8323 25326 | 94376 83609 69 | 0.000 % |
402.57/402.89 c | 601878 | 1937 8323 25326 | 94376 84401 69 | 0.000 % |
403.17/403.48 c | 602749 | 1937 8323 25326 | 94376 85272 69 | 0.000 % |
403.97/404.20 c | 603708 | 1937 8323 25326 | 94376 86231 69 | 0.000 % |
404.67/404.96 c | 604762 | 1937 8323 25326 | 94376 87285 69 | 0.000 % |
405.57/405.80 c | 605920 | 1937 8323 25326 | 94376 88443 69 | 0.000 % |
406.47/406.70 c | 607193 | 1937 8323 25326 | 94376 89716 68 | 0.000 % |
407.37/407.66 c | 608593 | 1937 8323 25326 | 94376 91116 68 | 0.000 % |
408.67/408.92 c | 610133 | 1937 8323 25326 | 92523 92656 68 | 0.000 % |
409.87/410.13 c | 611828 | 1937 8323 25326 | 92523 83365 68 | 0.000 % |
411.07/411.36 c | 613692 | 1937 8323 25326 | 92523 85229 68 | 0.000 % |
412.37/412.67 c | 615742 | 1937 8323 25326 | 92523 87279 68 | 0.000 % |
413.97/414.20 c | 617997 | 1937 8323 25326 | 92523 89534 68 | 0.000 % |
415.57/415.84 c | 620476 | 1937 8323 25326 | 2147483647 92013 68 | 0.000 % |
417.46/417.74 c | 623203 | 1937 8323 25326 | 2147483647 94740 68 | 0.000 % |
419.67/419.90 c | 626202 | 1937 8323 25326 | 2147483647 97739 68 | 0.000 % |
422.07/422.38 c | 629499 | 1937 8323 25326 | 2147483647 101036 68 | 0.000 % |
424.76/425.08 c | 633125 | 1937 8323 25326 | 101537 93367 68 | 0.000 % |
427.67/427.94 c | 637113 | 1937 8323 25326 | 101537 97355 69 | 0.000 % |
431.06/431.31 c | 641498 | 1937 8323 25326 | 100243 90200 69 | 0.000 % |
434.86/435.11 c | 646323 | 1937 8323 25326 | 100243 95025 69 | 0.000 % |
438.86/439.16 c | 651629 | 1937 8323 25326 | 98702 89157 69 | 0.000 % |
442.96/443.21 c | 657466 | 1937 8323 25326 | 98702 94994 70 | 0.000 % |
442.96/443.29 c | 657566 | 1937 8323 25326 | 98702 95094 70 | 0.000 % |
443.15/443.40 c | 657676 | 1937 8323 25326 | 98702 95204 70 | 0.000 % |
443.25/443.50 c | 657797 | 1937 8323 25326 | 98702 95325 70 | 0.000 % |
443.35/443.62 c | 657931 | 1937 8323 25326 | 98702 95459 70 | 0.000 % |
443.45/443.75 c | 658077 | 1937 8323 25326 | 98702 95605 70 | 0.000 % |
443.65/443.91 c | 658240 | 1937 8323 25326 | 98702 95768 70 | 0.000 % |
443.75/444.08 c | 658417 | 1937 8323 25326 | 98702 95945 70 | 0.000 % |
443.95/444.24 c | 658610 | 1937 8323 25326 | 98702 96138 70 | 0.000 % |
444.16/444.40 c | 658826 | 1937 8323 25326 | 98702 96354 70 | 0.000 % |
444.25/444.59 c | 659059 | 1937 8323 25326 | 98702 96587 70 | 0.000 % |
444.55/444.80 c | 659316 | 1937 8323 25326 | 98702 96844 70 | 0.000 % |
444.75/445.04 c | 659598 | 1937 8323 25326 | 98702 97126 70 | 0.000 % |
445.05/445.32 c | 659907 | 1937 8323 25326 | 98702 97435 69 | 0.000 % |
445.35/445.68 c | 660246 | 1937 8323 25326 | 97529 86860 69 | 0.000 % |
445.65/445.96 c | 660618 | 1937 8323 25326 | 97529 87232 69 | 0.000 % |
445.95/446.25 c | 661027 | 1937 8323 25326 | 97529 87641 69 | 0.000 % |
446.26/446.57 c | 661476 | 1937 8323 25326 | 97529 88090 69 | 0.000 % |
446.65/446.92 c | 661969 | 1937 8323 25326 | 97529 88583 69 | 0.000 % |
447.05/447.32 c | 662511 | 1937 8323 25326 | 97529 89125 69 | 0.000 % |
447.46/447.74 c | 663107 | 1937 8323 25326 | 97529 89721 69 | 0.000 % |
447.95/448.25 c | 663762 | 1937 8323 25326 | 97529 90376 69 | 0.000 % |
448.46/448.78 c | 664482 | 1937 8323 25326 | 97529 91096 69 | 0.000 % |
449.05/449.36 c | 665274 | 1937 8323 25326 | 97529 91888 69 | 0.000 % |
449.66/449.94 c | 666146 | 1937 8323 25326 | 97529 92760 69 | 0.000 % |
450.25/450.58 c | 667104 | 1937 8323 25326 | 97529 93718 69 | 0.000 % |
451.05/451.32 c | 668157 | 1937 8323 25326 | 97529 94771 69 | 0.000 % |
451.86/452.15 c | 669315 | 1937 8323 25326 | 97529 95929 69 | 0.000 % |
452.75/453.07 c | 670588 | 1937 8323 25326 | 96614 87513 69 | 0.000 % |
453.75/454.04 c | 671988 | 1937 8323 25326 | 96614 88913 69 | 0.000 % |
454.75/455.07 c | 673528 | 1937 8323 25326 | 96614 90453 69 | 0.000 % |
455.95/456.25 c | 675222 | 1937 8323 25326 | 96614 92147 69 | 0.000 % |
457.35/457.63 c | 677088 | 1937 8323 25326 | 96614 94013 69 | 0.000 % |
458.75/459.01 c | 679137 | 1937 8323 25326 | 96614 96062 69 | 0.000 % |
460.35/460.63 c | 681390 | 1937 8323 25326 | 2147483647 88632 69 | 0.000 % |
462.15/462.40 c | 683871 | 1937 8323 25326 | 2147483647 91113 69 | 0.000 % |
464.05/464.39 c | 686597 | 1937 8323 25326 | 2147483647 93839 69 | 0.000 % |
466.06/466.39 c | 689594 | 1937 8323 25326 | 2147483647 96836 69 | 0.000 % |
468.55/468.81 c | 692890 | 1937 8323 25326 | 2147483647 100132 69 | 0.000 % |
471.05/471.38 c | 696517 | 1937 8323 25326 | 2147483647 103759 69 | 0.000 % |
474.05/474.31 c | 700504 | 1937 8323 25326 | 107242 95269 70 | 0.000 % |
477.16/477.41 c | 704889 | 1937 8323 25326 | 107242 99654 70 | 0.000 % |
480.65/480.90 c | 709713 | 1937 8323 25326 | 107242 104478 70 | 0.000 % |
484.45/484.76 c | 715019 | 1937 8323 25326 | 104767 95716 70 | 0.000 % |
488.65/488.96 c | 720854 | 1937 8323 25326 | 100697 88621 70 | 0.000 % |
493.15/493.45 c | 727274 | 1937 8323 25326 | 100697 95041 71 | 0.000 % |
493.25/493.53 c | 727374 | 1937 8323 25326 | 100697 95141 71 | 0.000 % |
493.35/493.61 c | 727484 | 1937 8323 25326 | 100697 95251 71 | 0.000 % |
493.45/493.72 c | 727605 | 1937 8323 25326 | 100697 95372 71 | 0.000 % |
493.55/493.85 c | 727738 | 1937 8323 25326 | 100697 95505 71 | 0.000 % |
493.65/493.97 c | 727884 | 1937 8323 25326 | 100697 95651 71 | 0.000 % |
493.84/494.10 c | 728044 | 1937 8323 25326 | 100697 95811 71 | 0.000 % |
493.94/494.28 c | 728221 | 1937 8323 25326 | 100697 95988 71 | 0.000 % |
494.14/494.45 c | 728414 | 1937 8323 25326 | 100697 96181 71 | 0.000 % |
494.34/494.62 c | 728627 | 1937 8323 25326 | 100697 96394 71 | 0.000 % |
494.54/494.81 c | 728862 | 1937 8323 25326 | 100697 96629 71 | 0.000 % |
494.75/495.04 c | 729118 | 1937 8323 25326 | 100697 96885 71 | 0.000 % |
494.94/495.29 c | 729400 | 1937 8323 25326 | 100697 97167 71 | 0.000 % |
495.24/495.56 c | 729713 | 1937 8323 25326 | 100697 97480 71 | 0.000 % |
495.54/495.84 c | 730053 | 1937 8323 25326 | 97769 97820 71 | 0.000 % |
495.84/496.17 c | 730427 | 1937 8323 25326 | 97769 85819 71 | 0.000 % |
496.14/496.45 c | 730836 | 1937 8323 25326 | 97769 86228 71 | 0.000 % |
496.44/496.76 c | 731286 | 1937 8323 25326 | 97769 86678 71 | 0.000 % |
496.74/497.10 c | 731779 | 1937 8323 25326 | 97769 87171 71 | 0.000 % |
497.24/497.50 c | 732322 | 1937 8323 25326 | 97769 87714 71 | 0.000 % |
497.64/497.94 c | 732918 | 1937 8323 25326 | 97769 88310 71 | 0.000 % |
498.04/498.39 c | 733574 | 1937 8323 25326 | 97769 88966 71 | 0.000 % |
498.64/498.92 c | 734296 | 1937 8323 25326 | 97769 89688 71 | 0.000 % |
499.24/499.50 c | 735091 | 1937 8323 25326 | 97769 90483 71 | 0.000 % |
499.94/500.20 c | 735964 | 1937 8323 25326 | 97769 91356 70 | 0.000 % |
500.54/500.88 c | 736923 | 1937 8323 25326 | 97769 92315 70 | 0.000 % |
501.34/501.65 c | 737976 | 1937 8323 25326 | 97769 93368 70 | 0.000 % |
502.24/502.55 c | 739138 | 1937 8323 25326 | 97769 94530 70 | 0.000 % |
503.24/503.54 c | 740412 | 1937 8323 25326 | 95394 84939 70 | 0.000 % |
504.14/504.48 c | 741814 | 1937 8323 25326 | 95394 86341 70 | 0.000 % |
505.24/505.52 c | 743354 | 1937 8323 25326 | 95394 87881 70 | 0.000 % |
506.44/506.73 c | 745048 | 1937 8323 25326 | 95394 89575 70 | 0.000 % |
507.84/508.16 c | 746912 | 1937 8323 25326 | 95394 91439 70 | 0.000 % |
509.43/509.70 c | 748961 | 1937 8323 25326 | 95394 93488 70 | 0.000 % |
510.93/511.25 c | 751214 | 1937 8323 25326 | 94528 85817 71 | 0.000 % |
512.53/512.86 c | 753693 | 1937 8323 25326 | 94528 88296 71 | 0.000 % |
514.44/514.71 c | 756420 | 1937 8323 25326 | 94528 91023 71 | 0.000 % |
516.43/516.77 c | 759418 | 1937 8323 25326 | 94528 94021 71 | 0.000 % |
518.73/519.06 c | 762714 | 1937 8323 25326 | 2147483647 97317 71 | 0.000 % |
521.33/521.63 c | 766340 | 1937 8323 25326 | 2147483647 100943 71 | 0.000 % |
524.33/524.65 c | 770328 | 1937 8323 25326 | 104605 104931 71 | 0.000 % |
527.63/527.91 c | 774716 | 1937 8323 25326 | 104605 96948 72 | 0.000 % |
531.23/531.57 c | 779539 | 1937 8323 25326 | 104605 101771 72 | 0.000 % |
535.02/535.30 c | 784845 | 1937 8323 25326 | 102232 93452 72 | 0.000 % |
539.02/539.34 c | 790680 | 1937 8323 25326 | 98607 86880 72 | 0.000 % |
543.52/543.89 c | 797099 | 1937 8323 25326 | 98607 93299 72 | 0.000 % |
548.42/548.76 c | 804159 | 1937 8323 25326 | 96200 87918 72 | 0.000 % |
548.52/548.83 c | 804259 | 1937 8323 25326 | 96200 88018 72 | 0.000 % |
548.62/548.92 c | 804370 | 1937 8323 25326 | 96200 88129 72 | 0.000 % |
548.72/549.01 c | 804491 | 1937 8323 25326 | 96200 88250 72 | 0.000 % |
548.82/549.12 c | 804625 | 1937 8323 25326 | 96200 88384 72 | 0.000 % |
548.92/549.23 c | 804772 | 1937 8323 25326 | 96200 88531 72 | 0.000 % |
549.02/549.36 c | 804937 | 1937 8323 25326 | 96200 88696 72 | 0.000 % |
549.12/549.50 c | 805113 | 1937 8323 25326 | 96200 88872 72 | 0.000 % |
549.32/549.63 c | 805307 | 1937 8323 25326 | 96200 89066 72 | 0.000 % |
549.52/549.80 c | 805519 | 1937 8323 25326 | 96200 89278 72 | 0.000 % |
549.62/550.00 c | 805752 | 1937 8323 25326 | 96200 89511 72 | 0.000 % |
549.92/550.21 c | 806008 | 1937 8323 25326 | 96200 89767 72 | 0.000 % |
550.12/550.44 c | 806290 | 1937 8323 25326 | 96200 90049 72 | 0.000 % |
550.32/550.68 c | 806601 | 1937 8323 25326 | 96200 90360 72 | 0.000 % |
550.62/550.95 c | 806941 | 1937 8323 25326 | 96200 90700 72 | 0.000 % |
550.92/551.23 c | 807313 | 1937 8323 25326 | 96200 91072 72 | 0.000 % |
551.22/551.53 c | 807725 | 1937 8323 25326 | 96200 91484 72 | 0.000 % |
551.52/551.87 c | 808175 | 1937 8323 25326 | 96200 91934 72 | 0.000 % |
551.92/552.28 c | 808669 | 1937 8323 25326 | 96200 92428 72 | 0.000 % |
552.42/552.73 c | 809216 | 1937 8323 25326 | 96200 92975 72 | 0.000 % |
552.81/553.19 c | 809813 | 1937 8323 25326 | 96200 93572 72 | 0.000 % |
553.31/553.70 c | 810469 | 1937 8323 25326 | 93759 82394 71 | 0.000 % |
553.81/554.14 c | 811189 | 1937 8323 25326 | 93759 83114 71 | 0.000 % |
554.31/554.65 c | 811981 | 1937 8323 25326 | 93759 83906 71 | 0.000 % |
554.91/555.23 c | 812854 | 1937 8323 25326 | 93759 84779 71 | 0.000 % |
555.51/555.84 c | 813813 | 1937 8323 25326 | 93759 85738 70 | 0.000 % |
556.22/556.57 c | 814866 | 1937 8323 25326 | 93759 86791 71 | 0.000 % |
557.11/557.41 c | 816025 | 1937 8323 25326 | 93759 87950 71 | 0.000 % |
558.01/558.36 c | 817299 | 1937 8323 25326 | 93759 89224 71 | 0.000 % |
559.01/559.39 c | 818699 | 1937 8323 25326 | 93759 90624 71 | 0.000 % |
560.11/560.41 c | 820240 | 1937 8323 25326 | 2147483647 92165 71 | 0.000 % |
561.31/561.63 c | 821934 | 1937 8323 25326 | 2147483647 93859 71 | 0.000 % |
562.61/562.96 c | 823797 | 1937 8323 25326 | 2147483647 95722 70 | 0.000 % |
564.11/564.47 c | 825846 | 1937 8323 25326 | 2147483647 97771 70 | 0.000 % |
565.71/566.09 c | 828099 | 1937 8323 25326 | 2147483647 100024 70 | 0.000 % |
567.71/568.05 c | 830577 | 1937 8323 25326 | 101926 90762 71 | 0.000 % |
569.71/570.06 c | 833303 | 1937 8323 25326 | 101926 93488 70 | 0.000 % |
571.91/572.21 c | 836301 | 1937 8323 25326 | 101926 96486 70 | 0.000 % |
574.21/574.57 c | 839598 | 1937 8323 25326 | 101926 99783 70 | 0.000 % |
576.91/577.21 c | 843223 | 1937 8323 25326 | 100186 90314 70 | 0.000 % |
579.80/580.15 c | 847211 | 1937 8323 25326 | 100186 94302 70 | 0.000 % |
582.80/583.11 c | 851596 | 1937 8323 25326 | 97091 86854 70 | 0.000 % |
586.20/586.57 c | 856421 | 1937 8323 25326 | 97091 91679 70 | 0.000 % |
589.90/590.29 c | 861726 | 1937 8323 25326 | 95258 86509 69 | 0.000 % |
593.90/594.24 c | 867562 | 1937 8323 25326 | 95258 92345 69 | 0.000 % |
598.40/598.75 c | 873980 | 1937 8323 25326 | 2147483647 98763 70 | 0.000 % |
603.80/604.15 c | 881039 | 1937 8323 25326 | 104783 91472 70 | 0.000 % |
609.50/609.80 c | 888803 | 1937 8323 25326 | 104783 99236 70 | 0.000 % |
609.60/609.91 c | 888904 | 1937 8323 25326 | 104783 99337 70 | 0.000 % |
609.70/610.00 c | 889014 | 1937 8323 25326 | 104783 99447 70 | 0.000 % |
609.80/610.14 c | 889136 | 1937 8323 25326 | 104783 99569 70 | 0.000 % |
609.90/610.28 c | 889271 | 1937 8323 25326 | 104783 99704 70 | 0.000 % |
610.10/610.41 c | 889418 | 1937 8323 25326 | 104783 99851 70 | 0.000 % |
610.20/610.56 c | 889581 | 1937 8323 25326 | 104783 100014 70 | 0.000 % |
610.40/610.72 c | 889757 | 1937 8323 25326 | 104783 100190 70 | 0.000 % |
610.50/610.88 c | 889952 | 1937 8323 25326 | 104783 100385 70 | 0.000 % |
610.70/611.06 c | 890164 | 1937 8323 25326 | 100433 100597 70 | 0.000 % |
610.90/611.29 c | 890398 | 1937 8323 25326 | 100433 86189 69 | 0.000 % |
611.09/611.48 c | 890654 | 1937 8323 25326 | 100433 86445 69 | 0.000 % |
611.30/611.68 c | 890935 | 1937 8323 25326 | 100433 86726 69 | 0.000 % |
611.59/611.90 c | 891245 | 1937 8323 25326 | 100433 87036 69 | 0.000 % |
611.79/612.13 c | 891586 | 1937 8323 25326 | 100433 87377 69 | 0.000 % |
612.09/612.41 c | 891958 | 1937 8323 25326 | 100433 87749 69 | 0.000 % |
612.30/612.70 c | 892367 | 1937 8323 25326 | 100433 88158 69 | 0.000 % |
612.69/613.06 c | 892816 | 1937 8323 25326 | 100433 88607 69 | 0.000 % |
613.09/613.43 c | 893311 | 1937 8323 25326 | 100433 89102 69 | 0.000 % |
613.50/613.83 c | 893853 | 1937 8323 25326 | 100433 89644 69 | 0.000 % |
613.89/614.27 c | 894450 | 1937 8323 25326 | 100433 90241 69 | 0.000 % |
614.39/614.75 c | 895105 | 1937 8323 25326 | 100433 90896 69 | 0.000 % |
614.89/615.26 c | 895827 | 1937 8323 25326 | 100433 91618 69 | 0.000 % |
615.49/615.84 c | 896624 | 1937 8323 25326 | 100433 92415 69 | 0.000 % |
616.09/616.47 c | 897496 | 1937 8323 25326 | 100433 93287 69 | 0.000 % |
616.89/617.24 c | 898454 | 1937 8323 25326 | 100433 94245 69 | 0.000 % |
617.69/618.02 c | 899507 | 1937 8323 25326 | 100433 95298 69 | 0.000 % |
618.59/618.94 c | 900665 | 1937 8323 25326 | 95791 84499 70 | 0.000 % |
619.49/619.89 c | 901938 | 1937 8323 25326 | 95791 85772 70 | 0.000 % |
620.49/620.83 c | 903339 | 1937 8323 25326 | 95791 87173 70 | 0.000 % |
621.49/621.87 c | 904882 | 1937 8323 25326 | 95791 88716 70 | 0.000 % |
622.69/623.06 c | 906576 | 1937 8323 25326 | 95791 90410 70 | 0.000 % |
623.99/624.36 c | 908440 | 1937 8323 25326 | 95791 92274 70 | 0.000 % |
625.49/625.90 c | 910489 | 1937 8323 25326 | 93835 84136 70 | 0.000 % |
626.99/627.39 c | 912742 | 1937 8323 25326 | 93835 86389 70 | 0.000 % |
628.59/628.96 c | 915220 | 1937 8323 25326 | 93835 88867 70 | 0.000 % |
630.39/630.73 c | 917945 | 1937 8323 25326 | 93835 91592 70 | 0.000 % |
632.59/632.93 c | 920943 | 1937 8323 25326 | 2147483647 94590 70 | 0.000 % |
634.79/635.17 c | 924240 | 1937 8323 25326 | 2147483647 97887 70 | 0.000 % |
637.59/637.91 c | 927865 | 1937 8323 25326 | 2147483647 101512 70 | 0.000 % |
640.58/640.93 c | 931852 | 1937 8323 25326 | 103647 93034 71 | 0.000 % |
643.68/644.05 c | 936237 | 1937 8323 25326 | 103647 97419 71 | 0.000 % |
647.28/647.60 c | 941060 | 1937 8323 25326 | 101183 89845 71 | 0.000 % |
650.79/651.16 c | 946365 | 1937 8323 25326 | 101183 95150 71 | 0.000 % |
655.08/655.48 c | 952203 | 1937 8323 25326 | 98785 88995 71 | 0.000 % |
659.99/660.32 c | 958621 | 1937 8323 25326 | 98785 95413 71 | 0.000 % |
664.98/665.40 c | 965680 | 1937 8323 25326 | 96794 90550 70 | 0.000 % |
670.48/670.81 c | 973444 | 1937 8323 25326 | 94874 87268 70 | 0.000 % |
676.68/677.02 c | 981985 | 1937 8323 25326 | 93824 85434 71 | 0.000 % |
676.68/677.10 c | 982085 | 1937 8323 25326 | 93824 85534 71 | 0.000 % |
676.78/677.19 c | 982197 | 1937 8323 25326 | 93824 85646 71 | 0.000 % |
676.88/677.29 c | 982320 | 1937 8323 25326 | 93824 85769 71 | 0.000 % |
677.08/677.40 c | 982453 | 1937 8323 25326 | 93824 85902 71 | 0.000 % |
677.18/677.52 c | 982599 | 1937 8323 25326 | 93824 86048 71 | 0.000 % |
677.28/677.66 c | 982761 | 1937 8323 25326 | 93824 86210 71 | 0.000 % |
677.38/677.79 c | 982937 | 1937 8323 25326 | 93824 86386 71 | 0.000 % |
677.58/677.96 c | 983131 | 1937 8323 25326 | 93824 86580 71 | 0.000 % |
677.78/678.13 c | 983345 | 1937 8323 25326 | 93824 86794 71 | 0.000 % |
677.98/678.30 c | 983578 | 1937 8323 25326 | 93824 87027 71 | 0.000 % |
678.18/678.50 c | 983835 | 1937 8323 25326 | 93824 87284 71 | 0.000 % |
678.38/678.73 c | 984117 | 1937 8323 25326 | 93824 87566 71 | 0.000 % |
678.58/678.96 c | 984426 | 1937 8323 25326 | 93824 87875 71 | 0.000 % |
678.88/679.21 c | 984766 | 1937 8323 25326 | 93824 88215 71 | 0.000 % |
679.08/679.47 c | 985139 | 1937 8323 25326 | 93824 88588 71 | 0.000 % |
679.38/679.75 c | 985548 | 1937 8323 25326 | 93824 88997 71 | 0.000 % |
679.78/680.11 c | 985999 | 1937 8323 25326 | 93824 89448 71 | 0.000 % |
680.08/680.46 c | 986492 | 1937 8323 25326 | 93824 89941 71 | 0.000 % |
680.48/680.86 c | 987035 | 1937 8323 25326 | 93824 90484 71 | 0.000 % |
680.98/681.34 c | 987633 | 1937 8323 25326 | 93824 91082 71 | 0.000 % |
681.38/681.79 c | 988289 | 1937 8323 25326 | 93824 91738 71 | 0.000 % |
681.88/682.30 c | 989010 | 1937 8323 25326 | 93824 92459 71 | 0.000 % |
682.58/682.93 c | 989802 | 1937 8323 25326 | 93824 93251 71 | 0.000 % |
683.18/683.60 c | 990674 | 1937 8323 25326 | 93449 83566 71 | 0.000 % |
683.88/684.28 c | 991634 | 1937 8323 25326 | 93449 84526 70 | 0.000 % |
684.58/684.99 c | 992688 | 1937 8323 25326 | 93449 85580 70 | 0.000 % |
685.37/685.79 c | 993846 | 1937 8323 25326 | 93449 86738 70 | 0.000 % |
686.27/686.66 c | 995119 | 1937 8323 25326 | 93449 88011 70 | 0.000 % |
687.18/687.56 c | 996519 | 1937 8323 25326 | 93449 89411 70 | 0.000 % |
688.28/688.64 c | 998059 | 1937 8323 25326 | 93449 90951 70 | 0.000 % |
689.47/689.80 c | 999754 | 1937 8323 25326 | 93449 92646 70 | 0.000 % |
690.77/691.12 c | 1001617 | 1937 8323 25326 | 2147483647 94509 70 | 0.000 % |
692.27/692.66 c | 1003669 | 1937 8323 25326 | 2147483647 96561 70 | 0.000 % |
693.97/694.38 c | 1005924 | 1937 8323 25326 | 2147483647 98816 70 | 0.000 % |
695.97/696.30 c | 1008403 | 1937 8323 25326 | 2147483647 101295 70 | 0.000 % |
698.17/698.53 c | 1011128 | 1937 8323 25326 | 102893 92062 70 | 0.000 % |
700.17/700.52 c | 1014126 | 1937 8323 25326 | 102893 95060 70 | 0.000 % |
702.47/702.90 c | 1017422 | 1937 8323 25326 | 102893 98356 70 | 0.000 % |
705.17/705.50 c | 1021047 | 1937 8323 25326 | 100936 91674 70 | 0.000 % |
707.97/708.36 c | 1025034 | 1937 8323 25326 | 100936 95661 70 | 0.000 % |
711.07/711.45 c | 1029421 | 1937 8323 25326 | 100936 100048 70 | 0.000 % |
714.46/714.89 c | 1034245 | 1937 8323 25326 | 100627 93065 71 | 0.000 % |
718.56/718.99 c | 1039551 | 1937 8323 25326 | 100627 98371 70 | 0.000 % |
722.96/723.31 c | 1045387 | 1937 8323 25326 | 98820 92168 70 | 0.000 % |
727.56/728.00 c | 1051805 | 1937 8323 25326 | 96781 86040 70 | 0.000 % |
732.56/732.93 c | 1058864 | 1937 8323 25326 | 96781 93099 71 | 0.000 % |
738.36/738.76 c | 1066629 | 1937 8323 25326 | 94236 90893 71 | 0.000 % |
744.26/744.67 c | 1075169 | 1937 8323 25326 | 94264 89870 72 | 0.000 % |
751.05/751.47 c | 1084563 | 1937 8323 25326 | 84802 80389 73 | 0.000 % |
751.15/751.55 c | 1084663 | 1937 8323 25326 | 84802 80489 73 | 0.000 % |
751.25/751.63 c | 1084775 | 1937 8323 25326 | 84802 80601 73 | 0.000 % |
751.35/751.74 c | 1084896 | 1937 8323 25326 | 84802 80722 73 | 0.000 % |
751.45/751.84 c | 1085029 | 1937 8323 25326 | 84802 80855 73 | 0.000 % |
751.55/751.98 c | 1085176 | 1937 8323 25326 | 84802 81002 73 | 0.000 % |
751.75/752.10 c | 1085336 | 1937 8323 25326 | 84802 81162 73 | 0.000 % |
751.85/752.23 c | 1085513 | 1937 8323 25326 | 84802 81339 73 | 0.000 % |
751.96/752.39 c | 1085706 | 1937 8323 25326 | 84802 81532 73 | 0.000 % |
752.15/752.56 c | 1085918 | 1937 8323 25326 | 84802 81744 73 | 0.000 % |
752.35/752.74 c | 1086153 | 1937 8323 25326 | 84802 81979 73 | 0.000 % |
752.45/752.90 c | 1086411 | 1937 8323 25326 | 84802 82237 73 | 0.000 % |
752.75/753.11 c | 1086695 | 1937 8323 25326 | 84802 82521 73 | 0.000 % |
752.95/753.30 c | 1087005 | 1937 8323 25326 | 84802 82831 73 | 0.000 % |
753.16/753.56 c | 1087345 | 1937 8323 25326 | 84802 83171 73 | 0.000 % |
753.45/753.84 c | 1087717 | 1937 8323 25326 | 84802 83543 73 | 0.000 % |
753.65/754.09 c | 1088129 | 1937 8323 25326 | 84802 83955 73 | 0.000 % |
753.95/754.39 c | 1088578 | 1937 8323 25326 | 84802 84404 73 | 0.000 % |
754.35/754.78 c | 1089071 | 1937 8323 25326 | 84802 84897 73 | 0.000 % |
754.85/755.20 c | 1089615 | 1937 8323 25326 | 84802 76952 73 | 0.000 % |
755.15/755.56 c | 1090211 | 1937 8323 25326 | 2147483647 77548 73 | 0.000 % |
755.55/755.99 c | 1090866 | 1937 8323 25326 | 2147483647 78203 73 | 0.000 % |
756.05/756.43 c | 1091586 | 1937 8323 25326 | 2147483647 78923 73 | 0.000 % |
756.55/756.96 c | 1092378 | 1937 8323 25326 | 2147483647 79715 73 | 0.000 % |
757.05/757.49 c | 1093249 | 1937 8323 25326 | 2147483647 80586 73 | 0.000 % |
757.65/758.10 c | 1094207 | 1937 8323 25326 | 2147483647 81544 73 | 0.000 % |
758.35/758.75 c | 1095261 | 1937 8323 25326 | 2147483647 82598 73 | 0.000 % |
759.15/759.51 c | 1096419 | 1937 8323 25326 | 2147483647 83756 73 | 0.000 % |
759.95/760.34 c | 1097692 | 1937 8323 25326 | 2147483647 85029 73 | 0.000 % |
760.85/761.22 c | 1099093 | 1937 8323 25326 | 2147483647 86430 73 | 0.000 % |
761.95/762.39 c | 1100633 | 1937 8323 25326 | 2147483647 87970 73 | 0.000 % |
763.15/763.51 c | 1102328 | 1937 8323 25326 | 2147483647 89665 73 | 0.000 % |
764.44/764.80 c | 1104192 | 1937 8323 25326 | 2147483647 91529 73 | 0.000 % |
765.84/766.24 c | 1106242 | 1937 8323 25326 | 2147483647 93579 73 | 0.000 % |
767.54/767.99 c | 1108495 | 1937 8323 25326 | 2147483647 95832 73 | 0.000 % |
769.44/769.89 c | 1110974 | 1937 8323 25326 | 97339 87917 73 | 0.000 % |
771.44/771.85 c | 1113700 | 1937 8323 25326 | 97339 90643 73 | 0.000 % |
773.54/773.90 c | 1116699 | 1937 8323 25326 | 97339 93642 72 | 0.000 % |
776.04/776.41 c | 1119996 | 1937 8323 25326 | 97339 96939 72 | 0.000 % |
778.54/778.97 c | 1123621 | 1937 8323 25326 | 96943 89963 71 | 0.000 % |
781.44/781.81 c | 1127610 | 1937 8323 25326 | 96943 93952 72 | 0.000 % |
784.94/785.35 c | 1131996 | 1937 8323 25326 | 96343 87511 72 | 0.000 % |
788.84/789.20 c | 1136819 | 1937 8323 25326 | 96343 92334 72 | 0.000 % |
792.93/793.34 c | 1142124 | 1937 8323 25326 | 95516 84726 72 | 0.000 % |
796.93/797.36 c | 1147959 | 1937 8323 25326 | 95516 90561 72 | 0.000 % |
801.54/801.97 c | 1154377 | 1937 8323 25326 | 92604 86241 71 | 0.000 % |
806.83/807.24 c | 1161436 | 1937 8323 25326 | 91864 83121 70 | 0.000 % |
812.23/812.66 c | 1169203 | 1937 8323 25326 | 91864 90888 70 | 0.000 % |
819.03/819.42 c | 1177746 | 1937 8323 25326 | 2147483647 99431 71 | 0.000 % |
826.52/826.93 c | 1187140 | 1937 8323 25326 | 101685 95438 72 | 0.000 % |
834.62/835.04 c | 1197474 | 1937 8323 25326 | 98298 92661 73 | 0.000 % |
834.72/835.12 c | 1197577 | 1937 8323 25326 | 98298 92764 73 | 0.000 % |
834.82/835.22 c | 1197687 | 1937 8323 25326 | 98298 92874 73 | 0.000 % |
834.92/835.33 c | 1197811 | 1937 8323 25326 | 98298 92998 73 | 0.000 % |
835.02/835.44 c | 1197944 | 1937 8323 25326 | 98298 93131 73 | 0.000 % |
835.12/835.57 c | 1198090 | 1937 8323 25326 | 98298 93277 73 | 0.000 % |
835.32/835.71 c | 1198251 | 1937 8323 25326 | 98298 93438 73 | 0.000 % |
835.42/835.86 c | 1198428 | 1937 8323 25326 | 98298 93615 73 | 0.000 % |
835.62/836.01 c | 1198621 | 1937 8323 25326 | 98298 93808 73 | 0.000 % |
835.72/836.19 c | 1198833 | 1937 8323 25326 | 98298 94020 73 | 0.000 % |
835.92/836.39 c | 1199066 | 1937 8323 25326 | 98298 94253 73 | 0.000 % |
836.12/836.58 c | 1199325 | 1937 8323 25326 | 98298 94512 73 | 0.000 % |
836.42/836.82 c | 1199607 | 1937 8323 25326 | 98298 94794 73 | 0.000 % |
836.62/837.07 c | 1199916 | 1937 8323 25326 | 98298 95103 73 | 0.000 % |
836.92/837.38 c | 1200255 | 1937 8323 25326 | 95187 82796 73 | 0.000 % |
837.22/837.62 c | 1200628 | 1937 8323 25326 | 95187 83169 73 | 0.000 % |
837.42/837.86 c | 1201037 | 1937 8323 25326 | 95187 83578 73 | 0.000 % |
837.82/838.22 c | 1201486 | 1937 8323 25326 | 95187 84027 73 | 0.000 % |
838.12/838.52 c | 1201984 | 1937 8323 25326 | 95187 84525 73 | 0.000 % |
838.42/838.86 c | 1202527 | 1937 8323 25326 | 95187 85068 73 | 0.000 % |
838.82/839.24 c | 1203124 | 1937 8323 25326 | 95187 85665 73 | 0.000 % |
839.22/839.69 c | 1203781 | 1937 8323 25326 | 95187 86322 73 | 0.000 % |
839.72/840.18 c | 1204502 | 1937 8323 25326 | 95187 87043 73 | 0.000 % |
840.21/840.70 c | 1205297 | 1937 8323 25326 | 95187 87838 73 | 0.000 % |
840.81/841.23 c | 1206169 | 1937 8323 25326 | 95187 88710 73 | 0.000 % |
841.51/841.97 c | 1207130 | 1937 8323 25326 | 95187 89671 73 | 0.000 % |
842.31/842.72 c | 1208184 | 1937 8323 25326 | 95187 90725 72 | 0.000 % |
843.01/843.47 c | 1209342 | 1937 8323 25326 | 95187 91883 72 | 0.000 % |
843.91/844.37 c | 1210616 | 1937 8323 25326 | 2147483647 93157 72 | 0.000 % |
844.91/845.31 c | 1212016 | 1937 8323 25326 | 2147483647 94557 72 | 0.000 % |
846.01/846.40 c | 1213557 | 1937 8323 25326 | 2147483647 96098 72 | 0.000 % |
847.31/847.72 c | 1215251 | 1937 8323 25326 | 2147483647 97792 72 | 0.000 % |
848.72/849.17 c | 1217116 | 1937 8323 25326 | 2147483647 99657 72 | 0.000 % |
850.32/850.79 c | 1219166 | 1937 8323 25326 | 2147483647 101707 72 | 0.000 % |
852.02/852.42 c | 1221420 | 1937 8323 25326 | 102541 90297 72 | 0.000 % |
853.72/854.19 c | 1223898 | 1937 8323 25326 | 102541 92775 72 | 0.000 % |
855.72/856.14 c | 1226624 | 1937 8323 25326 | 102541 95501 72 | 0.000 % |
857.92/858.35 c | 1229622 | 1937 8323 25326 | 102541 98499 72 | 0.000 % |
860.52/860.96 c | 1232919 | 1937 8323 25326 | 98877 89911 72 | 0.000 % |
863.32/863.74 c | 1236544 | 1937 8323 25326 | 98877 93536 72 | 0.000 % |
866.22/866.65 c | 1240533 | 1937 8323 25326 | 96993 86163 72 | 0.000 % |
869.21/869.61 c | 1244919 | 1937 8323 25326 | 96993 90549 72 | 0.000 % |
872.52/873.00 c | 1249742 | 1937 8323 25326 | 96993 95372 72 | 0.000 % |
876.32/876.78 c | 1255047 | 1937 8323 25326 | 95632 89822 72 | 0.000 % |
880.51/880.96 c | 1260885 | 1937 8323 25326 | 94775 83923 71 | 0.000 % |
884.71/885.19 c | 1267304 | 1937 8323 25326 | 94775 90342 71 | 0.000 % |
889.41/889.83 c | 1274365 | 1937 8323 25326 | 2147483647 97403 72 | 0.000 % |
895.41/895.80 c | 1282129 | 1937 8323 25326 | 103038 92400 71 | 0.000 % |
902.21/902.63 c | 1290669 | 1937 8323 25326 | 100273 87436 72 | 0.000 % |
910.10/910.50 c | 1300063 | 1937 8323 25326 | 96768 96830 73 | 0.000 % |
917.20/917.67 c | 1310396 | 1937 8323 25326 | 92877 79174 74 | 0.000 % |
925.00/925.44 c | 1321762 | 1937 8323 25326 | 88778 79817 73 | 0.000 % |
925.10/925.52 c | 1321863 | 1937 8323 25326 | 88778 79918 73 | 0.000 % |
925.20/925.61 c | 1321974 | 1937 8323 25326 | 88778 80029 73 | 0.000 % |
925.30/925.71 c | 1322096 | 1937 8323 25326 | 88778 80151 73 | 0.000 % |
925.40/925.83 c | 1322230 | 1937 8323 25326 | 88778 80285 73 | 0.000 % |
925.50/925.95 c | 1322377 | 1937 8323 25326 | 88778 80432 73 | 0.000 % |
925.60/926.06 c | 1322537 | 1937 8323 25326 | 88778 80592 73 | 0.000 % |
925.80/926.22 c | 1322713 | 1937 8323 25326 | 88778 80768 73 | 0.000 % |
925.90/926.36 c | 1322908 | 1937 8323 25326 | 88778 80963 73 | 0.000 % |
926.10/926.51 c | 1323122 | 1937 8323 25326 | 88778 81177 73 | 0.000 % |
926.20/926.68 c | 1323357 | 1937 8323 25326 | 88778 81412 73 | 0.000 % |
926.40/926.84 c | 1323613 | 1937 8323 25326 | 88778 81668 73 | 0.000 % |
926.60/927.03 c | 1323895 | 1937 8323 25326 | 88778 81950 73 | 0.000 % |
926.80/927.22 c | 1324204 | 1937 8323 25326 | 88778 82259 73 | 0.000 % |
927.00/927.46 c | 1324544 | 1937 8323 25326 | 88778 82599 73 | 0.000 % |
927.30/927.72 c | 1324916 | 1937 8323 25326 | 88778 82971 73 | 0.000 % |
927.50/927.99 c | 1325325 | 1937 8323 25326 | 88778 83380 73 | 0.000 % |
927.80/928.29 c | 1325775 | 1937 8323 25326 | 88778 83830 73 | 0.000 % |
928.19/928.63 c | 1326268 | 1937 8323 25326 | 88778 84323 72 | 0.000 % |
928.59/929.04 c | 1326812 | 1937 8323 25326 | 88778 84867 72 | 0.000 % |
929.00/929.46 c | 1327408 | 1937 8323 25326 | 88778 85463 72 | 0.000 % |
929.39/929.88 c | 1328064 | 1937 8323 25326 | 88778 86119 72 | 0.000 % |
929.89/930.38 c | 1328784 | 1937 8323 25326 | 88778 86839 72 | 0.000 % |
930.49/930.95 c | 1329576 | 1937 8323 25326 | 88778 87631 72 | 0.000 % |
931.20/931.62 c | 1330448 | 1937 8323 25326 | 88055 79672 73 | 0.000 % |
931.79/932.20 c | 1331408 | 1937 8323 25326 | 88055 80632 73 | 0.000 % |
932.40/932.83 c | 1332462 | 1937 8323 25326 | 88055 81686 72 | 0.000 % |
933.09/933.52 c | 1333621 | 1937 8323 25326 | 88055 82845 72 | 0.000 % |
933.79/934.29 c | 1334894 | 1937 8323 25326 | 88055 84118 72 | 0.000 % |
934.60/935.08 c | 1336294 | 1937 8323 25326 | 88055 85518 72 | 0.000 % |
935.60/936.05 c | 1337837 | 1937 8323 25326 | 88055 87061 73 | 0.000 % |
936.80/937.20 c | 1339531 | 1937 8323 25326 | 88055 79923 73 | 0.000 % |
937.90/938.37 c | 1341395 | 1937 8323 25326 | 2147483647 81787 72 | 0.000 % |
939.19/939.63 c | 1343444 | 1937 8323 25326 | 2147483647 83836 72 | 0.000 % |
940.59/941.06 c | 1345697 | 1937 8323 25326 | 2147483647 86089 72 | 0.000 % |
942.19/942.65 c | 1348176 | 1937 8323 25326 | 2147483647 88568 72 | 0.000 % |
943.99/944.47 c | 1350901 | 1937 8323 25326 | 2147483647 91293 72 | 0.000 % |
946.19/946.62 c | 1353899 | 1937 8323 25326 | 2147483647 94291 72 | 0.000 % |
948.59/949.05 c | 1357195 | 1937 8323 25326 | 2147483647 97587 73 | 0.000 % |
951.49/951.90 c | 1360820 | 1937 8323 25326 | 100392 89080 72 | 0.000 % |
954.18/954.65 c | 1364808 | 1937 8323 25326 | 100392 93068 72 | 0.000 % |
957.48/957.92 c | 1369193 | 1937 8323 25326 | 100392 97453 72 | 0.000 % |
960.99/961.44 c | 1374017 | 1937 8323 25326 | 98260 91337 72 | 0.000 % |
964.78/965.22 c | 1379323 | 1937 8323 25326 | 98260 96643 72 | 0.000 % |
968.98/969.45 c | 1385158 | 1937 8323 25326 | 97321 91836 71 | 0.000 % |
973.58/974.09 c | 1391576 | 1937 8323 25326 | 96678 86501 70 | 0.000 % |
978.18/978.66 c | 1398638 | 1937 8323 25326 | 96678 93563 71 | 0.000 % |
983.98/984.48 c | 1406403 | 1937 8323 25326 | 94926 90875 71 | 0.000 % |
990.38/990.86 c | 1414943 | 1937 8323 25326 | 94474 88744 72 | 0.000 % |
997.28/997.79 c | 1424337 | 1937 8323 25326 | 93801 86602 72 | 0.000 % |
1005.37/1005.87 c | 1434672 | 1937 8323 25326 | 92266 84683 73 | 0.000 % |
1014.07/1014.59 c | 1446040 | 1937 8323 25326 | 90012 84133 73 | 0.000 % |
1022.16/1022.65 c | 1458543 | 1937 8323 25326 | 88093 85255 74 | 0.000 % |
1022.26/1022.75 c | 1458643 | 1937 8323 25326 | 88093 85355 74 | 0.000 % |
1022.36/1022.84 c | 1458753 | 1937 8323 25326 | 88093 85465 74 | 0.000 % |
1022.47/1022.94 c | 1458876 | 1937 8323 25326 | 88093 85588 73 | 0.000 % |
1022.57/1023.04 c | 1459009 | 1937 8323 25326 | 88093 85721 73 | 0.000 % |
1022.66/1023.18 c | 1459157 | 1937 8323 25326 | 88093 85869 73 | 0.000 % |
1022.86/1023.32 c | 1459317 | 1937 8323 25326 | 88093 86029 73 | 0.000 % |
1022.96/1023.44 c | 1459496 | 1937 8323 25326 | 88093 86208 73 | 0.000 % |
1023.06/1023.57 c | 1459689 | 1937 8323 25326 | 88093 86401 73 | 0.000 % |
1023.26/1023.75 c | 1459905 | 1937 8323 25326 | 88093 86617 73 | 0.000 % |
1023.46/1023.97 c | 1460138 | 1937 8323 25326 | 86713 86850 73 | 0.000 % |
1023.76/1024.20 c | 1460394 | 1937 8323 25326 | 86713 76072 74 | 0.000 % |
1023.86/1024.39 c | 1460675 | 1937 8323 25326 | 86713 76353 74 | 0.000 % |
1024.16/1024.61 c | 1460985 | 1937 8323 25326 | 86713 76663 74 | 0.000 % |
1024.36/1024.84 c | 1461327 | 1937 8323 25326 | 86713 77005 73 | 0.000 % |
1024.56/1025.07 c | 1461699 | 1937 8323 25326 | 86713 77377 73 | 0.000 % |
1024.86/1025.31 c | 1462108 | 1937 8323 25326 | 86713 77786 73 | 0.000 % |
1025.06/1025.59 c | 1462557 | 1937 8323 25326 | 86713 78235 73 | 0.000 % |
1025.46/1025.97 c | 1463051 | 1937 8323 25326 | 86713 78729 73 | 0.000 % |
1025.86/1026.34 c | 1463594 | 1937 8323 25326 | 86713 79272 73 | 0.000 % |
1026.26/1026.72 c | 1464190 | 1937 8323 25326 | 86713 79868 73 | 0.000 % |
1026.66/1027.11 c | 1464849 | 1937 8323 25326 | 86713 80527 73 | 0.000 % |
1027.16/1027.66 c | 1465570 | 1937 8323 25326 | 86713 81248 73 | 0.000 % |
1027.66/1028.18 c | 1466364 | 1937 8323 25326 | 86713 82042 73 | 0.000 % |
1028.26/1028.79 c | 1467236 | 1937 8323 25326 | 86713 82914 73 | 0.000 % |
1028.96/1029.49 c | 1468194 | 1937 8323 25326 | 86713 83872 73 | 0.000 % |
1029.66/1030.15 c | 1469247 | 1937 8323 25326 | 86713 84925 73 | 0.000 % |
1030.46/1030.93 c | 1470408 | 1937 8323 25326 | 2147483647 86086 73 | 0.000 % |
1031.36/1031.83 c | 1471683 | 1937 8323 25326 | 2147483647 87361 73 | 0.000 % |
1032.36/1032.83 c | 1473083 | 1937 8323 25326 | 2147483647 88761 73 | 0.000 % |
1033.36/1033.88 c | 1474623 | 1937 8323 25326 | 2147483647 90301 73 | 0.000 % |
1034.56/1035.05 c | 1476318 | 1937 8323 25326 | 2147483647 91996 73 | 0.000 % |
1035.95/1036.46 c | 1478184 | 1937 8323 25326 | 2147483647 93862 73 | 0.000 % |
1037.65/1038.11 c | 1480235 | 1937 8323 25326 | 95678 95913 73 | 0.000 % |
1039.25/1039.75 c | 1482489 | 1937 8323 25326 | 95678 87907 72 | 0.000 % |
1040.95/1041.48 c | 1484968 | 1937 8323 25326 | 95678 90386 72 | 0.000 % |
1043.05/1043.58 c | 1487694 | 1937 8323 25326 | 95678 93112 72 | 0.000 % |
1045.45/1045.93 c | 1490691 | 1937 8323 25326 | 95418 86021 72 | 0.000 % |
1047.55/1048.05 c | 1493989 | 1937 8323 25326 | 95418 89319 72 | 0.000 % |
1049.95/1050.45 c | 1497615 | 1937 8323 25326 | 95418 92945 72 | 0.000 % |
1052.85/1053.38 c | 1501603 | 1937 8323 25326 | 2147483647 96933 72 | 0.000 % |
1056.15/1056.61 c | 1505988 | 1937 8323 25326 | 2147483647 101318 72 | 0.000 % |
1059.86/1060.40 c | 1510811 | 1937 8323 25326 | 105334 93427 72 | 0.000 % |
1063.65/1064.16 c | 1516116 | 1937 8323 25326 | 105334 98732 72 | 0.000 % |
1068.45/1068.91 c | 1521952 | 1937 8323 25326 | 102617 92562 72 | 0.000 % |
1072.95/1073.48 c | 1528370 | 1937 8323 25326 | 102617 98980 72 | 0.000 % |
1078.25/1078.72 c | 1535429 | 1937 8323 25326 | 100610 94861 71 | 0.000 % |
1084.15/1084.60 c | 1543193 | 1937 8323 25326 | 99432 90681 71 | 0.000 % |
1090.44/1090.92 c | 1551733 | 1937 8323 25326 | 97488 87152 71 | 0.000 % |
1097.34/1097.88 c | 1561132 | 1937 8323 25326 | 95420 85210 72 | 0.000 % |
1104.44/1104.95 c | 1571465 | 1937 8323 25326 | 2147483647 95543 73 | 0.000 % |
1113.54/1114.03 c | 1582831 | 1937 8323 25326 | 104079 92150 73 | 0.000 % |
1123.33/1123.83 c | 1595333 | 1937 8323 25326 | 99319 90345 74 | 0.000 % |
1133.63/1134.18 c | 1609085 | 1937 8323 25326 | 95012 91642 74 | 0.000 % |
1133.73/1134.27 c | 1609187 | 1937 8323 25326 | 95012 91744 74 | 0.000 % |
1133.83/1134.36 c | 1609298 | 1937 8323 25326 | 95012 91855 74 | 0.000 % |
1133.93/1134.46 c | 1609420 | 1937 8323 25326 | 95012 91977 74 | 0.000 % |
1134.03/1134.56 c | 1609555 | 1937 8323 25326 | 95012 92112 74 | 0.000 % |
1134.13/1134.69 c | 1609701 | 1937 8323 25326 | 95012 92258 74 | 0.000 % |
1134.33/1134.80 c | 1609862 | 1937 8323 25326 | 95012 92419 74 | 0.000 % |
1134.43/1134.97 c | 1610038 | 1937 8323 25326 | 92557 92595 74 | 0.000 % |
1134.63/1135.19 c | 1610232 | 1937 8323 25326 | 92557 80462 75 | 0.000 % |
1134.83/1135.35 c | 1610444 | 1937 8323 25326 | 92557 80674 75 | 0.000 % |
1135.03/1135.52 c | 1610677 | 1937 8323 25326 | 92557 80907 75 | 0.000 % |
1135.13/1135.69 c | 1610933 | 1937 8323 25326 | 92557 81163 75 | 0.000 % |
1135.33/1135.87 c | 1611215 | 1937 8323 25326 | 92557 81445 75 | 0.000 % |
1135.53/1136.07 c | 1611524 | 1937 8323 25326 | 92557 81754 74 | 0.000 % |
1135.73/1136.29 c | 1611864 | 1937 8323 25326 | 92557 82094 74 | 0.000 % |
1136.03/1136.54 c | 1612237 | 1937 8323 25326 | 92557 82467 74 | 0.000 % |
1136.34/1136.83 c | 1612647 | 1937 8323 25326 | 92557 82877 74 | 0.000 % |
1136.64/1137.13 c | 1613097 | 1937 8323 25326 | 92557 83327 74 | 0.000 % |
1136.94/1137.45 c | 1613590 | 1937 8323 25326 | 92557 83820 74 | 0.000 % |
1137.34/1137.83 c | 1614133 | 1937 8323 25326 | 92557 84363 74 | 0.000 % |
1137.74/1138.28 c | 1614729 | 1937 8323 25326 | 92557 84959 74 | 0.000 % |
1138.23/1138.75 c | 1615384 | 1937 8323 25326 | 92557 85614 74 | 0.000 % |
1138.73/1139.24 c | 1616104 | 1937 8323 25326 | 92557 86334 74 | 0.000 % |
1139.23/1139.79 c | 1616897 | 1937 8323 25326 | 92557 87127 74 | 0.000 % |
1139.83/1140.39 c | 1617770 | 1937 8323 25326 | 92557 88000 74 | 0.000 % |
1140.53/1141.08 c | 1618731 | 1937 8323 25326 | 92557 88961 74 | 0.000 % |
1141.24/1141.80 c | 1619786 | 1937 8323 25326 | 92557 90016 74 | 0.000 % |
1142.13/1142.64 c | 1620945 | 1937 8323 25326 | 2147483647 91175 74 | 0.000 % |
1143.03/1143.53 c | 1622220 | 1937 8323 25326 | 2147483647 92450 74 | 0.000 % |
1144.03/1144.53 c | 1623620 | 1937 8323 25326 | 2147483647 93850 73 | 0.000 % |
1145.13/1145.60 c | 1625160 | 1937 8323 25326 | 2147483647 95390 73 | 0.000 % |
1146.23/1146.77 c | 1626854 | 1937 8323 25326 | 2147483647 97084 73 | 0.000 % |
1147.53/1148.02 c | 1628717 | 1937 8323 25326 | 2147483647 98947 73 | 0.000 % |
1149.03/1149.51 c | 1630767 | 1937 8323 25326 | 2147483647 100997 73 | 0.000 % |
1150.63/1151.17 c | 1633022 | 1937 8323 25326 | 2147483647 103252 73 | 0.000 % |
1152.42/1152.96 c | 1635502 | 1937 8323 25326 | 2147483647 105732 73 | 0.000 % |
1154.32/1154.84 c | 1638227 | 1937 8323 25326 | 2147483647 108457 73 | 0.000 % |
1156.83/1157.33 c | 1641224 | 1937 8323 25326 | 110232 97163 74 | 0.000 % |
1159.23/1159.77 c | 1644520 | 1937 8323 25326 | 110232 100459 74 | 0.000 % |
1162.03/1162.58 c | 1648145 | 1937 8323 25326 | 110232 104084 73 | 0.000 % |
1165.02/1165.59 c | 1652132 | 1937 8323 25326 | 105939 93153 73 | 0.000 % |
1168.22/1168.78 c | 1656517 | 1937 8323 25326 | 105939 97538 73 | 0.000 % |
1171.92/1172.45 c | 1661341 | 1937 8323 25326 | 101021 89961 73 | 0.000 % |
1175.92/1176.41 c | 1666647 | 1937 8323 25326 | 101021 95267 72 | 0.000 % |
1180.12/1180.67 c | 1672482 | 1937 8323 25326 | 98623 89399 72 | 0.000 % |
1184.82/1185.36 c | 1678900 | 1937 8323 25326 | 98623 95817 72 | 0.000 % |
1190.12/1190.64 c | 1685959 | 1937 8323 25326 | 96917 90993 71 | 0.000 % |
1195.72/1196.29 c | 1693723 | 1937 8323 25326 | 95036 88470 70 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832645-1242785819/watcher-1832645-1242785819 -o /tmp/evaluation-result-1832645-1242785819/solver-1832645-1242785819 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832645-1242785819.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22160
/proc/meminfo: memFree=1493152/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306609054 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 246406676562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/22160/statm: 1339 235 195 169 0 50 0
[pid=22161] ppid=22160 vsize=5356 CPUtime=0
/proc/22161/stat : 22161 (SatELiteGTI) S 22160 22160 20804 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306609054 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/22161/statm: 1339 238 198 169 0 50 0
[pid=22163] ppid=22161 vsize=92 CPUtime=0
/proc/22163/stat : 22163 (sed) R 22161 22160 20804 0 -1 4194304 21 0 0 0 0 0 0 0 18 0 1 0 306609054 94208 3 1992294400 0 0 548682069787 18446744073709551615 246406507815 0 0 4096 0 0 0 0 17 0 0 0
/proc/22163/statm: 46 7 2 11 0 9 0
[startup+0.042201 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22160
/proc/meminfo: memFree=1493152/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306609054 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22160/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102209 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22160
/proc/meminfo: memFree=1493152/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.302228 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22160
/proc/meminfo: memFree=1493152/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.702265 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22160
/proc/meminfo: memFree=1493152/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1490768/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=4700 CPUtime=1.45
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 855 0 0 0 145 0 0 0 25 0 1 0 306609059 4812800 841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 1175 841 77 171 0 1002 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10056
[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1488208/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=7736 CPUtime=3.03
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 1583 0 0 0 303 0 0 0 25 0 1 0 306609059 7921664 1569 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 1934 1569 77 171 0 1761 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13092
[startup+6.30179 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1483472/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=11464 CPUtime=6.23
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 2543 0 0 0 622 1 0 0 25 0 1 0 306609059 11739136 2529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 2866 2529 77 171 0 2693 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16820
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1477656/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=16824 CPUtime=12.62
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 3851 0 0 0 1259 3 0 0 25 0 1 0 306609059 17227776 3837 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 4206 3837 77 171 0 4033 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22180
[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1469848/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=24336 CPUtime=25.41
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 5728 0 0 0 2536 5 0 0 25 0 1 0 306609059 24920064 5714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 6084 5714 77 171 0 5911 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29692
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1461208/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=32832 CPUtime=50.99
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 7836 0 0 0 5090 9 0 0 25 0 1 0 306609059 33619968 7822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 8208 7822 77 171 0 8035 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 38188
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1461080/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=32832 CPUtime=102.16
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 7837 0 0 0 10207 9 0 0 25 0 1 0 306609059 33619968 7823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 8208 7823 77 171 0 8035 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 38188
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1458712/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=35076 CPUtime=162.13
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 8400 0 0 0 16203 10 0 0 25 0 1 0 306609059 35917824 8386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 8769 8386 77 171 0 8596 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 40432
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1458072/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=35604 CPUtime=222.11
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 8534 0 0 0 22200 11 0 0 25 0 1 0 306609059 36458496 8520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 8901 8520 77 171 0 8728 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 40960
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1456920/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=36660 CPUtime=282.1
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 8810 0 0 0 28198 12 0 0 25 0 1 0 306609059 37539840 8796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9165 8796 77 171 0 8992 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 42016
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1456792/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=36660 CPUtime=342.07
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 8810 0 0 0 34194 13 0 0 25 0 1 0 306609059 37539840 8796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9165 8796 77 171 0 8992 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 42016
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1456664/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=36660 CPUtime=402.04
################
# More data... #
################
/proc/22166/statm: 9726 9342 77 171 0 9553 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 44260
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1454040/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=38904 CPUtime=641.96
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9356 0 0 0 64181 15 0 0 25 0 1 0 306609059 39837696 9342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9726 9342 77 171 0 9553 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 44260
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1453912/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=38904 CPUtime=701.94
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9356 0 0 0 70178 16 0 0 25 0 1 0 306609059 39837696 9342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9726 9342 77 171 0 9553 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 44260
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1453848/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=38904 CPUtime=761.92
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9356 0 0 0 76176 16 0 0 25 0 1 0 306609059 39837696 9342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9726 9342 77 171 0 9553 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 44260
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1453400/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=39300 CPUtime=821.9
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9463 0 0 0 82174 16 0 0 25 0 1 0 306609059 40243200 9449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 9825 9449 77 171 0 9652 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 44656
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1452440/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=40224 CPUtime=881.88
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9695 0 0 0 88171 17 0 0 25 0 1 0 306609059 41189376 9681 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 10056 9681 77 171 0 9883 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 45580
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1451992/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=40620 CPUtime=941.86
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9783 0 0 0 94169 17 0 0 25 0 1 0 306609059 41594880 9769 1992294400 134512640 135215339 4294956240 18446744073709551615 134538552 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 10155 9769 77 171 0 9982 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 45976
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1451864/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=40596 CPUtime=1001.84
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 9783 0 0 0 100167 17 0 0 25 0 1 0 306609059 41570304 9769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 10149 9769 77 171 0 9976 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 45952
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22166
/proc/meminfo: memFree=1450264/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=42048 CPUtime=1061.82
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 10161 0 0 0 106164 18 0 0 25 0 1 0 306609059 43057152 10147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 10512 10147 77 171 0 10339 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 47404
[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 22166
/proc/meminfo: memFree=1450008/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=42180 CPUtime=1121.8
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 10192 0 0 0 112162 18 0 0 25 0 1 0 306609059 43192320 10178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 10545 10178 77 171 0 10372 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 47536
[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 22166
/proc/meminfo: memFree=1447640/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=44560 CPUtime=1181.79
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 10769 0 0 0 118159 20 0 0 25 0 1 0 306609059 45629440 10755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 11140 10755 77 171 0 10967 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 49916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 22166
/proc/meminfo: memFree=1447576/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=44560 CPUtime=1199.99
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 10769 0 0 0 119979 20 0 0 25 0 1 0 306609059 45629440 10755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 11140 10755 77 171 0 10967 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 49916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 22166
/proc/meminfo: memFree=1447576/2055920 swapFree=4078360/4192956
[pid=22160] ppid=22158 vsize=5356 CPUtime=0.03
/proc/22160/stat : 22160 (SatELiteGTI) S 22158 22160 20804 0 -1 4194304 336 619 0 0 0 0 3 0 16 0 1 0 306609054 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22160/statm: 1339 239 197 169 0 50 0
[pid=22166] ppid=22160 vsize=44560 CPUtime=1199.99
/proc/22166/stat : 22166 (minisat_static) R 22160 22160 20804 0 -1 4194304 10769 0 0 0 119979 20 0 0 25 0 1 0 306609059 45629440 10755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22166/statm: 11140 10755 77 171 0 10967 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 49916
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22160 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=34994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=6998
# CPU time returned by wait4() is 0.041992
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.82
CPU system time (s): 0.2
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 49916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.51177 second user time and 3.03154 second system time
The end
Begin job on node61 at 2009-05-20 04:16:59
IDJOB=1832645
IDBENCH=70286
IDSOLVER=671
FILE ID=node61/1832645-1242785819
PBS_JOBID= 9322380
Free space on /tmp= 66312 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832645-1242785819/watcher-1832645-1242785819 -o /tmp/evaluation-result-1832645-1242785819/solver-1832645-1242785819 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832645-1242785819.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f6ddf1b0f08bcc31521c4b74db5ce22f
RANDOM SEED=765816420
node61.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.216
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.216
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: 1493632 kB
Buffers: 40308 kB
Cached: 344304 kB
SwapCached: 109204 kB
Active: 190312 kB
Inactive: 305704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1493632 kB
SwapTotal: 4192956 kB
SwapFree: 4078360 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 13564 kB
Slab: 52464 kB
Committed_AS: 1032256 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node61 at 2009-05-20 04:37:02