c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2987 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 2987 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 2987 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 2987 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 2987 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2987 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2987 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2987 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 2987 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2987 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 2987 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2987 3014 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 2987 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 2987 3016 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 2987 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 2987 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 2987 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 2987 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 2987 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 2987 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 2987 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 2987 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 2987 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 2987 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 2987 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 2987 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 0 | 2987 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 2987 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 2987 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 2987 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 2987 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 0 | 2987 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 2987 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 0 | 2987 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 2987 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 2987 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 0 | 2987 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 0 | 2987 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 2987 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.72189 s Remaining CPU time: 179.278 s c =============================================================================== c | 0 | 2987 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 0 | 2987 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s c =============================================================================== c | 0 | 2987 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 0 | 2987 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 0 | 2987 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 0 | 2987 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s c =============================================================================== c | 0 | 2987 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 2987 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 0 | 2987 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 1 | 2987 3051 145650 | 5000 1 2805 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 1 | 2987 3052 148500 | 5000 1 2805 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.2928 s Remaining CPU time: 178.707 s c =============================================================================== c | 1 | 2987 3053 151350 | 5000 1 2805 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.35579 s Remaining CPU time: 178.644 s c =============================================================================== c | 1 | 2987 3054 154200 | 5000 1 2805 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 1 | 2987 3055 157050 | 5000 1 2805 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 2 | 2987 3056 159900 | 5000 2 1404 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 2 | 2987 3057 162750 | 5000 2 1404 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.62875 s Remaining CPU time: 178.371 s c =============================================================================== c | 2 | 2987 3058 165600 | 5000 2 1404 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 3 | 2987 3059 168450 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 3 | 2987 3060 171300 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.86272 s Remaining CPU time: 178.137 s c =============================================================================== c | 3 | 2987 3061 174150 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.9417 s Remaining CPU time: 178.058 s c =============================================================================== c | 3 | 2987 3062 177000 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 3 | 2987 3063 179850 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 3 | 2987 3064 182700 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s c =============================================================================== c | 3 | 2987 3065 185550 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 3 | 2987 3066 188400 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.37964 s Remaining CPU time: 177.62 s c =============================================================================== c | 3 | 2987 3067 191250 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.47162 s Remaining CPU time: 177.528 s c =============================================================================== c | 3 | 2987 3068 194100 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 3 | 2987 3069 196950 | 5000 3 1868 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.66759 s Remaining CPU time: 177.332 s c =============================================================================== c | 4 | 2987 3070 199800 | 5000 4 2097 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.76758 s Remaining CPU time: 177.232 s c =============================================================================== c | 4 | 2987 3071 202650 | 5000 4 2097 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.86456 s Remaining CPU time: 177.135 s c =============================================================================== c | 4 | 2987 3072 205500 | 5000 4 2097 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.96355 s Remaining CPU time: 177.036 s c =============================================================================== c | 4 | 2987 3073 208350 | 5000 4 2097 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 3.06653 s Remaining CPU time: 176.933 s c =============================================================================== c | 5 | 2987 3074 211200 | 5000 5 2234 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 3.17252 s Remaining CPU time: 176.827 s c =============================================================================== c | 7 | 2987 3075 214050 | 5000 7 2390 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.2755 s Remaining CPU time: 176.724 s c =============================================================================== c | 7 | 2987 3076 216900 | 5000 7 2390 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 7 | 2987 3077 219750 | 5000 7 2390 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 7 | 2987 3078 222600 | 5000 7 2390 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.59945 s Remaining CPU time: 176.401 s c =============================================================================== c | 9 | 2987 3079 225450 | 5000 9 2476 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.71443 s Remaining CPU time: 176.286 s c =============================================================================== c | 9 | 2987 3080 228300 | 5000 9 2476 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.82942 s Remaining CPU time: 176.171 s c =============================================================================== c | 9 | 2987 3081 231150 | 5000 9 2476 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.9424 s Remaining CPU time: 176.058 s c =============================================================================== c | 10 | 2987 3082 234000 | 5000 10 2506 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 4.05938 s Remaining CPU time: 175.941 s c =============================================================================== c | 10 | 2987 3083 236850 | 5000 10 2506 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 11 | 2987 3084 239700 | 5000 11 2530 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 4.29235 s Remaining CPU time: 175.708 s c =============================================================================== c | 12 | 2987 3085 242550 | 5000 12 2550 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.42833 s Remaining CPU time: 175.572 s c =============================================================================== c | 24 | 2987 3086 245400 | 5000 24 2660 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.54731 s Remaining CPU time: 175.453 s c =============================================================================== c | 24 | 2987 3087 248250 | 5000 24 2660 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 4.67229 s Remaining CPU time: 175.328 s c =============================================================================== c | 26 | 2987 3088 251100 | 5000 26 2669 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 4.80527 s Remaining CPU time: 175.195 s c =============================================================================== c | 30 | 2987 3089 253950 | 5000 30 2682 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 4.94525 s Remaining CPU time: 175.055 s c =============================================================================== c | 44 | 2987 3090 256800 | 5000 44 2709 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 5.08623 s Remaining CPU time: 174.914 s c =============================================================================== c | 52 | 2987 3091 259650 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 5.22121 s Remaining CPU time: 174.779 s c =============================================================================== c | 52 | 2987 3092 262500 | 5000 52 2717 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 5.35719 s Remaining CPU time: 174.643 s c =============================================================================== c | 54 | 2987 3093 265350 | 5000 54 2719 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.50016 s Remaining CPU time: 174.5 s c =============================================================================== c | 55 | 2987 3094 268200 | 5000 55 2720 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 5.67314 s Remaining CPU time: 174.327 s c =============================================================================== c | 90 | 2987 3095 271050 | 5000 90 2705 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 5.84911 s Remaining CPU time: 174.151 s c =============================================================================== c | 127 | 2987 3096 273900 | 5000 127 2721 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 6.05708 s Remaining CPU time: 173.943 s c =============================================================================== c | 155 | 2987 3097 276750 | 5000 155 2728 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 6.23405 s Remaining CPU time: 173.766 s c =============================================================================== c | 193 | 2987 3098 279600 | 5000 193 2734 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 6.38503 s Remaining CPU time: 173.615 s c =============================================================================== c | 201 | 2987 3099 282450 | 5000 201 2721 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.542 s Remaining CPU time: 173.458 s c =============================================================================== c | 211 | 2987 3100 285300 | 5000 211 2723 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.76297 s Remaining CPU time: 173.237 s c =============================================================================== c | 268 | 2987 3101 288150 | 5000 268 2730 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 6.91295 s Remaining CPU time: 173.087 s c =============================================================================== c | 269 | 2987 3102 291000 | 5000 269 2730 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 7.06492 s Remaining CPU time: 172.935 s c =============================================================================== c | 272 | 2987 3103 293850 | 5000 272 2730 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 7.2209 s Remaining CPU time: 172.779 s c =============================================================================== c | 280 | 2987 3104 296700 | 5000 280 2731 | 0.000 % | c | 381 | 2987 3104 296700 | 5500 381 2736 | 0.433 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 7.63984 s Remaining CPU time: 172.36 s c =============================================================================== c | 404 | 2987 3105 299550 | 5000 404 2737 | 0.433 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 7.80481 s Remaining CPU time: 172.195 s c =============================================================================== c | 413 | 2987 3106 302400 | 5000 413 2737 | 0.433 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 7.98279 s Remaining CPU time: 172.017 s c =============================================================================== c | 437 | 2987 3107 305250 | 5000 437 2738 | 0.433 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 8.18475 s Remaining CPU time: 171.815 s c =============================================================================== c | 467 | 2987 3108 308100 | 5000 467 2739 | 0.433 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 8.41272 s Remaining CPU time: 171.587 s c =============================================================================== c | 533 | 2987 3109 310950 | 5000 533 2740 | 0.433 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 8.5837 s Remaining CPU time: 171.416 s c =============================================================================== c | 536 | 2987 3110 313800 | 5000 536 2740 | 0.433 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 8.87565 s Remaining CPU time: 171.124 s c =============================================================================== c | 633 | 2987 3111 316650 | 5000 633 2741 | 0.433 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 9.05262 s Remaining CPU time: 170.947 s c =============================================================================== c | 640 | 2987 3112 319500 | 5000 640 2736 | 0.433 % | c | 740 | 2987 3112 319500 | 5500 740 2737 | 0.433 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 9.51455 s Remaining CPU time: 170.485 s c =============================================================================== c | 757 | 2987 3113 322350 | 5000 757 2737 | 0.433 % | c | 858 | 2987 3113 322350 | 5500 858 2738 | 0.433 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 10.1235 s Remaining CPU time: 169.877 s c =============================================================================== c | 888 | 2987 3114 325200 | 5000 888 2738 | 0.433 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 10.3274 s Remaining CPU time: 169.673 s c =============================================================================== c | 913 | 2987 3115 328050 | 5000 913 2738 | 0.433 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 10.5714 s Remaining CPU time: 169.429 s c =============================================================================== c | 962 | 2987 3116 330900 | 5000 962 2738 | 0.433 % | c | 1062 | 2987 3116 330900 | 5500 1062 2738 | 0.433 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 11.1213 s Remaining CPU time: 168.879 s c =============================================================================== c | 1074 | 2987 3117 333750 | 5000 1074 2738 | 0.433 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 11.3123 s Remaining CPU time: 168.688 s c =============================================================================== c | 1101 | 2987 3118 336600 | 5000 1101 2738 | 0.433 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 11.5033 s Remaining CPU time: 168.497 s c =============================================================================== c | 1121 | 2987 3119 339450 | 5000 1121 2738 | 0.433 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 11.6982 s Remaining CPU time: 168.302 s c =============================================================================== c | 1140 | 2987 3120 342300 | 5000 1140 2738 | 0.433 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 11.9262 s Remaining CPU time: 168.074 s c =============================================================================== c | 1177 | 2987 3121 345150 | 5000 1177 2738 | 0.433 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 12.1662 s Remaining CPU time: 167.834 s c =============================================================================== c | 1222 | 2987 3122 348000 | 5000 1222 2738 | 0.433 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 12.4031 s Remaining CPU time: 167.597 s c =============================================================================== c | 1296 | 2987 3123 350850 | 5000 1296 2738 | 0.433 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 12.6001 s Remaining CPU time: 167.4 s c =============================================================================== c | 1310 | 2987 3124 353700 | 5000 1310 2738 | 0.433 % | c | 1410 | 2987 3124 353700 | 5500 1410 2737 | 0.433 % | c | 1560 | 2987 3124 353700 | 6050 1560 2737 | 0.433 % | c | 1785 | 2987 3124 353700 | 6655 1785 2736 | 0.433 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 13.9699 s Remaining CPU time: 166.03 s c =============================================================================== c | 1867 | 2987 3125 356550 | 5000 1867 2736 | 0.433 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 14.2838 s Remaining CPU time: 165.716 s c =============================================================================== c | 1963 | 2987 3126 359400 | 5000 1963 2736 | 0.433 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 14.5138 s Remaining CPU time: 165.486 s c =============================================================================== c | 2006 | 2987 3127 362250 | 5000 2006 2735 | 0.433 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 14.7468 s Remaining CPU time: 165.253 s c =============================================================================== c | 2045 | 2987 3128 365100 | 5000 2045 2735 | 0.433 % | c | 2145 | 2987 3128 365100 | 5500 2145 2735 | 0.433 % | c | 2295 | 2987 3128 365100 | 6050 2295 2734 | 0.433 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 15.8036 s Remaining CPU time: 164.196 s c =============================================================================== c | 2316 | 2987 3129 367950 | 5000 2316 2734 | 0.433 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 16.0196 s Remaining CPU time: 163.98 s c =============================================================================== c | 2347 | 2987 3130 370800 | 5000 2347 2734 | 0.433 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 16.2495 s Remaining CPU time: 163.75 s c =============================================================================== c | 2388 | 2987 3131 373650 | 5000 2388 2734 | 0.433 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 16.4835 s Remaining CPU time: 163.517 s c =============================================================================== c | 2431 | 2987 3132 376500 | 5000 2431 2734 | 0.433 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 16.7265 s Remaining CPU time: 163.274 s c =============================================================================== c | 2475 | 2987 3133 379350 | 5000 2475 2734 | 0.433 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 16.9314 s Remaining CPU time: 163.069 s c =============================================================================== c | 2481 | 2987 3134 382200 | 5000 2481 2734 | 0.433 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 17.1604 s Remaining CPU time: 162.84 s c =============================================================================== c | 2512 | 2987 3135 385050 | 5000 2512 2732 | 0.433 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 17.4074 s Remaining CPU time: 162.593 s c =============================================================================== c | 2537 | 2987 3136 387900 | 5000 2537 2732 | 0.433 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 17.6223 s Remaining CPU time: 162.378 s c =============================================================================== c | 2546 | 2987 3137 390750 | 5000 2546 2732 | 0.433 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 17.8943 s Remaining CPU time: 162.106 s c =============================================================================== c | 2615 | 2987 3138 393600 | 5000 2615 2732 | 0.433 % | c | 2716 | 2987 3138 393600 | 5500 2716 2731 | 0.433 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 18.4982 s Remaining CPU time: 161.502 s c =============================================================================== c | 2770 | 2987 3139 396450 | 5000 2770 2730 | 0.433 % | c | 2870 | 2987 3139 396450 | 5500 2870 2730 | 0.433 % | c | 3020 | 2987 3139 396450 | 6050 3020 2729 | 0.433 % | c | 3246 | 2987 3139 396450 | 6655 3246 2728 | 0.433 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 19.946 s Remaining CPU time: 160.054 s c =============================================================================== c | 3288 | 2987 3140 399300 | 5000 3288 2728 | 0.433 % | c | 3390 | 2987 3140 399300 | 5500 3390 2728 | 0.433 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 20.5879 s Remaining CPU time: 159.412 s c =============================================================================== c | 3459 | 2987 3141 402150 | 5000 3459 2727 | 0.433 % | c | 3559 | 2987 3141 402150 | 5500 3559 2727 | 0.433 % | c | 3709 | 2987 3141 402150 | 6050 3709 2726 | 0.433 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 21.5447 s Remaining CPU time: 158.455 s c =============================================================================== c | 3740 | 2987 3142 405000 | 5000 3740 2726 | 0.433 % | c | 3840 | 2987 3142 405000 | 5500 3840 2726 | 0.433 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 22.3486 s Remaining CPU time: 157.651 s c =============================================================================== c | 3964 | 2987 3143 407850 | 5000 3964 2726 | 0.433 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 22.6376 s Remaining CPU time: 157.362 s c =============================================================================== c | 4021 | 2987 3144 410700 | 5000 4021 2725 | 0.433 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 22.9445 s Remaining CPU time: 157.055 s c =============================================================================== c | 4077 | 2987 3145 413550 | 5000 4077 2725 | 0.433 % | c | 4178 | 2987 3145 413550 | 5500 4178 2725 | 0.433 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 23.6414 s Remaining CPU time: 156.359 s c =============================================================================== c | 4225 | 2987 3146 416400 | 5000 4225 2725 | 0.433 % | c | 4326 | 2987 3146 416400 | 5500 4326 2724 | 0.433 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 24.2873 s Remaining CPU time: 155.713 s c =============================================================================== c | 4415 | 2987 3147 419250 | 5000 4415 2724 | 0.433 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 24.5393 s Remaining CPU time: 155.461 s c =============================================================================== c | 4447 | 2987 3148 422100 | 5000 4447 2724 | 0.433 % | c | 4548 | 2987 3148 422100 | 5500 4548 2723 | 0.433 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 25.1712 s Remaining CPU time: 154.829 s c =============================================================================== c | 4598 | 2987 3149 424950 | 5000 4598 2723 | 0.433 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 25.5081 s Remaining CPU time: 154.492 s c =============================================================================== c | 4655 | 2987 3150 427800 | 5000 4655 2723 | 0.433 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 25.7851 s Remaining CPU time: 154.215 s c =============================================================================== c | 4705 | 2987 3151 430650 | 5000 4705 2723 | 0.433 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 26.088 s Remaining CPU time: 153.912 s c =============================================================================== c | 4748 | 2987 3152 433500 | 5000 4748 2723 | 0.433 % | c | 4848 | 2987 3152 433500 | 5500 4848 2722 | 0.433 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 26.7839 s Remaining CPU time: 153.216 s c =============================================================================== c | 4894 | 2987 3153 436350 | 5000 4894 2722 | 0.433 % | c | 4994 | 2987 3153 436350 | 5500 4994 2722 | 0.433 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 27.4948 s Remaining CPU time: 152.505 s c =============================================================================== c | 5099 | 2987 3154 439200 | 5000 5099 2721 | 0.433 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 27.7838 s Remaining CPU time: 152.216 s c =============================================================================== c | 5122 | 2987 3155 442050 | 5000 2573 2705 | 0.433 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 28.0597 s Remaining CPU time: 151.94 s c =============================================================================== c | 5156 | 2987 3156 444900 | 5000 2607 2705 | 0.433 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 28.3687 s Remaining CPU time: 151.631 s c =============================================================================== c | 5213 | 2987 3157 447750 | 5000 2664 2705 | 0.433 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 28.6676 s Remaining CPU time: 151.332 s c =============================================================================== c | 5280 | 2987 3158 450600 | 5000 2731 2705 | 0.433 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 28.9806 s Remaining CPU time: 151.019 s c =============================================================================== c | 5345 | 2987 3159 453450 | 5000 2796 2705 | 0.433 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 29.2835 s Remaining CPU time: 150.716 s c =============================================================================== c | 5385 | 2987 3160 456300 | 5000 2836 2705 | 0.433 % | c | 5485 | 2987 3160 456300 | 5500 2936 2704 | 0.433 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 30.1774 s Remaining CPU time: 149.823 s c =============================================================================== c | 5606 | 2987 3161 459150 | 5000 3057 2704 | 0.433 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 30.4754 s Remaining CPU time: 149.525 s c =============================================================================== c | 5646 | 2987 3162 462000 | 5000 3097 2704 | 0.433 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 30.7473 s Remaining CPU time: 149.253 s c =============================================================================== c | 5665 | 2987 3163 464850 | 5000 3116 2703 | 0.433 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 31.0253 s Remaining CPU time: 148.975 s c =============================================================================== c | 5694 | 2987 3164 467700 | 5000 3145 2703 | 0.433 % | c | 5796 | 2987 3164 467700 | 5500 3247 2703 | 0.433 % | c | 5946 | 2987 3164 467700 | 6050 3397 2702 | 0.433 % | c | 6172 | 2987 3164 467700 | 6655 3623 2701 | 0.433 % | c | 6509 | 2987 3164 467700 | 7320 3960 2701 | 0.433 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 33.9788 s Remaining CPU time: 146.021 s c =============================================================================== c | 6645 | 2987 3165 470550 | 5000 4096 2700 | 0.433 % | c | 6745 | 2987 3165 470550 | 5500 4196 2700 | 0.433 % | c | 6895 | 2987 3165 470550 | 6050 4346 2700 | 0.433 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 35.5736 s Remaining CPU time: 144.426 s c =============================================================================== c | 7041 | 2987 3166 473400 | 5000 4492 2699 | 0.433 % | c | 7142 | 2987 3166 473400 | 5500 4593 2699 | 0.433 % | c | 7293 | 2987 3166 473400 | 6050 4744 2699 | 0.433 % | c | 7518 | 2987 3166 473400 | 6655 4969 2698 | 0.433 % | c | 7855 | 2987 3166 473400 | 7320 5306 2697 | 0.433 % | c | 8362 | 2987 3166 473400 | 8052 5813 2696 | 0.433 % | c | 9121 | 2987 3166 473400 | 8857 6572 2695 | 0.433 % | c | 10260 | 2987 3166 473400 | 9743 7711 2694 | 0.433 % | c | 11969 | 2987 3166 473400 | 10717 9420 2693 | 0.433 % | c | 14531 | 2987 3166 473400 | 11789 11982 2692 | 0.433 % | c | 18375 | 2987 3166 473400 | 12968 9835 2686 | 0.433 % | c | 24141 | 2987 3166 473400 | 14265 15601 2687 | 0.433 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 71.5821 s Remaining CPU time: 108.418 s c =============================================================================== c | 26226 | 2987 3167 476250 | 5000 9886 2686 | 0.433 % | c | 26326 | 2987 3167 476250 | 5500 5043 2684 | 0.433 % | c | 26477 | 2987 3167 476250 | 6050 5194 2684 | 0.433 % | c | 26702 | 2987 3167 476250 | 6655 5419 2684 | 0.433 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 73.5188 s Remaining CPU time: 106.481 s c =============================================================================== c | 26859 | 2987 3168 479100 | 5000 5576 2684 | 0.433 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 73.8588 s Remaining CPU time: 106.141 s c =============================================================================== c | 26920 | 2987 3169 481950 | 5000 2849 2679 | 0.433 % | c | 27020 | 2987 3169 481950 | 5500 2949 2679 | 0.433 % | c | 27172 | 2987 3169 481950 | 6050 3101 2680 | 0.433 % | c | 27397 | 2987 3169 481950 | 6655 3326 2680 | 0.433 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 76.0594 s Remaining CPU time: 103.941 s c =============================================================================== c | 27611 | 2987 3170 484800 | 5000 3540 2681 | 0.433 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 76.4494 s Remaining CPU time: 103.551 s c =============================================================================== c | 27708 | 2987 3171 487650 | 5000 3637 2681 | 0.433 % | c | 27808 | 2987 3171 487650 | 5500 3737 2681 | 0.433 % | c | 27960 | 2987 3171 487650 | 6050 3889 2681 | 0.433 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 77.8132 s Remaining CPU time: 102.187 s c =============================================================================== c | 28094 | 2987 3172 490500 | 5000 4023 2681 | 0.433 % | c | 28194 | 2987 3172 490500 | 5500 4123 2681 | 0.433 % | c | 28345 | 2987 3172 490500 | 6050 4274 2681 | 0.433 % | c | 28570 | 2987 3172 490500 | 6655 4499 2681 | 0.433 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 79.9778 s Remaining CPU time: 100.022 s c =============================================================================== c | 28798 | 2987 3173 493350 | 5000 4727 2681 | 0.433 % | c | 28899 | 2987 3173 493350 | 5500 4828 2681 | 0.433 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 80.8177 s Remaining CPU time: 99.1823 s c =============================================================================== c | 28950 | 2987 3174 496200 | 5000 4879 2681 | 0.433 % | c | 29050 | 2987 3174 496200 | 5500 4979 2681 | 0.433 % | c | 29200 | 2987 3174 496200 | 6050 5129 2681 | 0.433 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 82.0685 s Remaining CPU time: 97.9315 s c =============================================================================== c | 29379 | 2987 3175 499050 | 5000 5308 2681 | 0.433 % | c | 29479 | 2987 3175 499050 | 5500 2754 2674 | 0.433 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 82.7944 s Remaining CPU time: 97.2056 s c =============================================================================== c | 29559 | 2987 3176 501900 | 5000 2834 2674 | 0.433 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 83.0944 s Remaining CPU time: 96.9056 s c =============================================================================== c | 29575 | 2987 3177 504750 | 5000 2850 2674 | 0.433 % | c | 29675 | 2987 3177 504750 | 5500 2950 2674 | 0.433 % | c | 29825 | 2987 3177 504750 | 6050 3100 2674 | 0.433 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 84.2462 s Remaining CPU time: 95.7538 s c =============================================================================== c | 29897 | 2987 3178 507600 | 5000 3172 2674 | 0.433 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 84.6611 s Remaining CPU time: 95.3389 s c =============================================================================== c | 29984 | 2987 3179 510450 | 5000 3259 2674 | 0.433 % | c | 30084 | 2987 3179 510450 | 5500 3359 2674 | 0.433 % | c | 30235 | 2987 3179 510450 | 6050 3510 2674 | 0.433 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 86.0339 s Remaining CPU time: 93.9661 s c =============================================================================== c | 30344 | 2987 3180 513300 | 5000 3619 2674 | 0.433 % | c | 30444 | 2987 3180 513300 | 5500 3719 2674 | 0.433 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 86.7288 s Remaining CPU time: 93.2712 s c =============================================================================== c | 30500 | 2987 3181 516150 | 5000 3775 2674 | 0.433 % | c | 30600 | 2987 3181 516150 | 5500 3875 2674 | 0.433 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 87.5747 s Remaining CPU time: 92.4253 s c =============================================================================== c | 30694 | 2987 3182 519000 | 5000 3969 2674 | 0.433 % | c | 30794 | 2987 3182 519000 | 5500 4069 2674 | 0.433 % | c | 30944 | 2987 3182 519000 | 6050 4219 2674 | 0.433 % | c | 31169 | 2987 3182 519000 | 6655 4444 2674 | 0.433 % | c | 31506 | 2987 3182 519000 | 7320 4781 2674 | 0.433 % | c | 32012 | 2987 3182 519000 | 8052 5287 2673 | 0.433 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 91.4901 s Remaining CPU time: 88.5099 s c =============================================================================== c | 32091 | 2987 3183 521850 | 5000 5366 2673 | 0.433 % | c | 32192 | 2987 3183 521850 | 5500 2784 2665 | 0.433 % | c | 32343 | 2987 3183 521850 | 6050 2935 2665 | 0.433 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 92.7189 s Remaining CPU time: 87.2811 s c =============================================================================== c | 32381 | 2987 3184 524700 | 5000 2973 2665 | 0.433 % | c | 32482 | 2987 3184 524700 | 5500 3074 2665 | 0.433 % | c | 32633 | 2987 3184 524700 | 6050 3225 2666 | 0.433 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 93.8877 s Remaining CPU time: 86.1123 s c =============================================================================== c | 32650 | 2987 3185 527550 | 5000 3242 2666 | 0.433 % | c | 32751 | 2987 3185 527550 | 5500 3343 2666 | 0.433 % | c | 32901 | 2987 3185 527550 | 6050 3493 2666 | 0.433 % | c | 33127 | 2987 3185 527550 | 6655 3719 2666 | 0.433 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 95.8564 s Remaining CPU time: 84.1436 s c =============================================================================== c | 33165 | 2987 3186 530400 | 5000 3757 2666 | 0.433 % | c | 33265 | 2987 3186 530400 | 5500 3857 2666 | 0.433 % | c | 33416 | 2987 3186 530400 | 6050 4008 2666 | 0.433 % | c | 33641 | 2987 3186 530400 | 6655 4233 2667 | 0.433 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 97.6522 s Remaining CPU time: 82.3478 s c =============================================================================== c | 33676 | 2987 3187 533250 | 5000 4268 2667 | 0.433 % | c | 33776 | 2987 3187 533250 | 5500 4368 2667 | 0.433 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 98.55 s Remaining CPU time: 81.45 s c =============================================================================== c | 33878 | 2987 3188 536100 | 5000 4470 2667 | 0.433 % | c | 33980 | 2987 3188 536100 | 5500 4572 2667 | 0.433 % | c | 34130 | 2987 3188 536100 | 6050 4722 2667 | 0.433 % | c | 34355 | 2987 3188 536100 | 6655 4947 2667 | 0.433 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 100.587 s Remaining CPU time: 79.4133 s c =============================================================================== c | 34496 | 2987 3189 538950 | 5000 5088 2667 | 0.433 % | c | 34597 | 2987 3189 538950 | 5500 2645 2660 | 0.433 % | c | 34749 | 2987 3189 538950 | 6050 2797 2660 | 0.433 % | c | 34974 | 2987 3189 538950 | 6655 3022 2661 | 0.433 % | c | 35311 | 2987 3189 538950 | 7320 3359 2661 | 0.433 % |