c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 3321 | c | Number of clauses: 9801 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3321 | c | Number Clauses: 9801 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.228965 s Remaining CPU time: 1799.77 s c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.378942 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.433934 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 s c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.531919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.58791 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 0.608907 s Remaining CPU time: 1799.39 s c Elapsed CPU time: 0.615906 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.636903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.650901 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.693894 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.72289 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.736887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.773882 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.811876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s c Elapsed CPU time: 0.826874 s Remaining CPU time: 1799.17 s c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.85087 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.872867 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s c Elapsed CPU time: 0.888864 s Remaining CPU time: 1799.11 s c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.976851 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 1.00085 s Remaining CPU time: 1799 s c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.04084 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11583 s Remaining CPU time: 1798.88 s c Elapsed CPU time: 1.12483 s Remaining CPU time: 1798.88 s c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.14983 s Remaining CPU time: 1798.85 s c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s c Elapsed CPU time: 1.26981 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.2788 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.2878 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.3138 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 s c Elapsed CPU time: 1.35779 s Remaining CPU time: 1798.64 s c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s c Elapsed CPU time: 1.37579 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.38479 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.43678 s Remaining CPU time: 1798.56 s c Elapsed CPU time: 1.44578 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.45478 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.46378 s Remaining CPU time: 1798.54 s c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s c Elapsed CPU time: 1.48277 s Remaining CPU time: 1798.52 s c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.50077 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.51977 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.55776 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s c Elapsed CPU time: 1.57676 s Remaining CPU time: 1798.42 s c Elapsed CPU time: 1.58576 s Remaining CPU time: 1798.41 s c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.60576 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.61475 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.62475 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.64375 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.67274 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.69274 s Remaining CPU time: 1798.31 s c Elapsed CPU time: 1.70274 s Remaining CPU time: 1798.3 s c Elapsed CPU time: 1.71174 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.72174 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.75173 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.76173 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.77173 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.79073 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.80173 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s c Elapsed CPU time: 1.82172 s Remaining CPU time: 1798.18 s c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.85172 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.86172 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.87172 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.88171 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.89171 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 1.91271 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 1.92371 s Remaining CPU time: 1798.08 s c Elapsed CPU time: 1.93371 s Remaining CPU time: 1798.07 s c Elapsed CPU time: 1.9447 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 1.9547 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 1.9767 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 1.9867 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 1.9977 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.00869 s Remaining CPU time: 1797.99 s c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.05069 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.06169 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.08268 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.10468 s Remaining CPU time: 1797.9 s c Elapsed CPU time: 2.11568 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.13767 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.17167 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.18267 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.19367 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.22766 s Remaining CPU time: 1797.77 s c Elapsed CPU time: 2.23866 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.24966 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.26066 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.29565 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.30665 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.33065 s Remaining CPU time: 1797.67 s c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s c Elapsed CPU time: 2.36464 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.37664 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.38864 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.40063 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.41263 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.43663 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.44863 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s c Elapsed CPU time: 2.47262 s Remaining CPU time: 1797.53 s c Elapsed CPU time: 2.48462 s Remaining CPU time: 1797.52 s c Elapsed CPU time: 2.49762 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.50962 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.52162 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.54461 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s c Elapsed CPU time: 2.59361 s Remaining CPU time: 1797.41 s c Elapsed CPU time: 2.6056 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.6186 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.6436 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.6556 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.68059 s Remaining CPU time: 1797.32 s c Elapsed CPU time: 2.69259 s Remaining CPU time: 1797.31 s c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s c Elapsed CPU time: 2.71759 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.72959 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.74258 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.75458 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.76758 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.77958 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s c Elapsed CPU time: 2.80457 s Remaining CPU time: 1797.2 s c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.84157 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.85357 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.86656 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.87956 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.89056 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 2.91656 s Remaining CPU time: 1797.08 s c Elapsed CPU time: 2.92855 s Remaining CPU time: 1797.07 s c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 2.95455 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 2.96755 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 2.98055 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 2.99354 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.00654 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.01954 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.03254 s Remaining CPU time: 1796.97 s c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.05854 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.08453 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.09753 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.11053 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.12352 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.13652 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.16152 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.17452 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.21451 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.23951 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.25251 s Remaining CPU time: 1796.75 s c Elapsed CPU time: 3.2655 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.2785 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.2915 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.33149 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.34449 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.35649 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.36949 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.38348 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.39748 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.41048 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.43748 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.45147 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.46447 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.47747 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.49047 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.50347 s Remaining CPU time: 1796.5 s c Elapsed CPU time: 3.51647 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.53046 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.55746 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.57046 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.58345 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.59745 s Remaining CPU time: 1796.4 s c Elapsed CPU time: 3.61145 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.65144 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.66544 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.67844 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.69244 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s c Elapsed CPU time: 3.71943 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.73243 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.74643 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.75943 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.77243 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.78642 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.79942 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.81242 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.82542 s Remaining CPU time: 1796.17 s c Elapsed CPU time: 3.83942 s Remaining CPU time: 1796.16 s c Elapsed CPU time: 3.85341 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.86741 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.88041 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.89441 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 3.9074 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 3.9214 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 3.9474 s Remaining CPU time: 1796.05 s c Elapsed CPU time: 3.9614 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 3.97539 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 3.98939 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.00339 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.01639 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.03039 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.04338 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.05838 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.07238 s Remaining CPU time: 1795.93 s c Elapsed CPU time: 4.08638 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.10038 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.12737 s Remaining CPU time: 1795.87 s c Elapsed CPU time: 4.14137 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.15437 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.16837 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.18236 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.19636 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.22436 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.23735 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.25135 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.27935 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.29335 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.30835 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.32234 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.33534 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.34934 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.36334 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.37733 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.39233 s Remaining CPU time: 1795.61 s c Elapsed CPU time: 4.40533 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.41933 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.44732 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.46132 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.47632 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.49032 s Remaining CPU time: 1795.51 s c Elapsed CPU time: 4.50432 s Remaining CPU time: 1795.5 s c Elapsed CPU time: 4.51831 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.53231 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.54531 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.56031 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.5753 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.5893 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.6033 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.63129 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.64529 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.65929 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.67329 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.70129 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.71528 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.72928 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.75728 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.78527 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.80027 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.81427 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.82927 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.84326 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.85726 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.87126 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.88626 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 4.90125 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 4.91525 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 4.92925 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 4.94325 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 4.95725 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 4.97224 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 4.98624 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.00024 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.01424 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.02923 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.04323 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.05723 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.07223 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.08623 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.10122 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.13022 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.14422 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.15921 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.17321 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.18821 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.21721 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.2312 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.2462 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.2602 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.2752 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.29019 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.30419 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.31919 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.33419 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.36318 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.37818 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.39318 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.40718 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.42218 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.43617 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.45117 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.46617 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.48017 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.49516 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.51016 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.52516 s Remaining CPU time: 1794.47 s c Elapsed CPU time: 5.53916 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.55415 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.56815 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.58315 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.59815 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.61315 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.62714 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.64214 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.65714 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.67214 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.68614 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.70113 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.71613 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.73013 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.76112 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.77612 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.79112 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.80512 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.82012 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.83511 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.86511 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.88011 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.8951 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 5.9101 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 5.9251 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 5.9391 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 5.95409 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 5.96909 s Remaining CPU time: 1794.03 s c Elapsed CPU time: 5.98509 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.01509 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.03008 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.04508 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.06008 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.07508 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.09007 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.10607 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.12107 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.13607 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.15106 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.16606 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.18106 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.19706 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.21206 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.22705 s Remaining CPU time: 1793.77 s c Elapsed CPU time: 6.24305 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.25805 s Remaining CPU time: 1793.74 s c Elapsed CPU time: 6.27305 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.28804 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.30304 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.31904 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.33404 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.34903 s Remaining CPU time: 1793.65 s c Elapsed CPU time: 6.36403 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.37903 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.39403 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.40902 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.42402 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.44002 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.45502 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.47002 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.48501 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.50001 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.51601 s Remaining CPU time: 1793.48 s c Elapsed CPU time: 6.53101 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.546 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.561 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.577 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.593 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.60799 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.62299 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.63799 s Remaining CPU time: 1793.36 s c Elapsed CPU time: 6.65299 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.66699 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.68298 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.71398 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.72998 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.74497 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.76097 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.77597 s Remaining CPU time: 1793.22 s c Elapsed CPU time: 6.79197 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.80696 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.82296 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.83896 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.85396 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.86996 s Remaining CPU time: 1793.13 s c Elapsed CPU time: 6.88495 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.90095 s Remaining CPU time: 1793.1 s c Elapsed CPU time: 6.91595 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 6.93195 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 6.94794 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 6.96294 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 6.99494 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.00993 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.02493 s Remaining CPU time: 1792.98 s c Elapsed CPU time: 7.04093 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.05693 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.07192 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.08792 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.10392 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.11992 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.13492 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.15091 s Remaining CPU time: 1792.85 s c Elapsed CPU time: 7.16691 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.18191 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.19791 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.2139 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.2289 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.2449 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.2599 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.27589 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.29189 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.30789 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.32289 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.33888 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.35488 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.36988 s Remaining CPU time: 1792.63 s c Elapsed CPU time: 7.38588 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.40187 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.41787 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.43287 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.44887 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.46486 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.48086 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.49686 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.51286 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.52886 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.54485 s Remaining CPU time: 1792.46 s c Elapsed CPU time: 7.56085 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.57685 s Remaining CPU time: 1792.42 s c Elapsed CPU time: 7.59284 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.60884 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.62484 s Remaining CPU time: 1792.38 s c Elapsed CPU time: 7.64084 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.65684 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.67383 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.68783 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.70483 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.72083 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.73682 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.75282 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.76782 s Remaining CPU time: 1792.23 s c Elapsed CPU time: 7.78382 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.80081 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.81681 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.83381 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.84981 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.8658 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.8818 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.8988 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 7.9148 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 7.92979 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 7.94679 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 7.96179 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 7.97779 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 7.99378 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.00978 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.02678 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.04278 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.05877 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.07477 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.08977 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.10677 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.12276 s Remaining CPU time: 1791.88 s c Elapsed CPU time: 8.13876 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.15476 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.17076 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.18675 s Remaining CPU time: 1791.81 s c Elapsed CPU time: 8.20375 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.21975 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.23575 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.25174 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.26874 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.28474 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.30074 s Remaining CPU time: 1791.7 s c Elapsed CPU time: 8.31673 s Remaining CPU time: 1791.68 s c Elapsed CPU time: 8.33373 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.34973 s Remaining CPU time: 1791.65 s c Elapsed CPU time: 8.36573 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.38273 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.39872 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.41472 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.43072 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.46471 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.48071 s Remaining CPU time: 1791.52 s c Elapsed CPU time: 8.49771 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.5137 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.5307 s Remaining CPU time: 1791.47 s c Elapsed CPU time: 8.5467 s Remaining CPU time: 1791.45 s c Elapsed CPU time: 8.5637 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.5807 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.61369 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.62969 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.64668 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.66268 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.67868 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.69568 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.71268 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.72967 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.74567 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.76167 s Remaining CPU time: 1791.24 s c Elapsed CPU time: 8.77767 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.79466 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.81066 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.82766 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.84465 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.86165 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.87865 s Remaining CPU time: 1791.12 s c Elapsed CPU time: 8.89465 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 8.91165 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 8.92864 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 8.94564 s Remaining CPU time: 1791.05 s c Elapsed CPU time: 8.96264 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 8.97864 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 8.99563 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.01263 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.02963 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.04562 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.06262 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.07962 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.09662 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.11261 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.12961 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.14661 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.16361 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.1806 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.1966 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.2136 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.2306 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.24759 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.26459 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.28059 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.29859 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.31458 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.33158 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.34758 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.36458 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.38057 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.39757 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.41457 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.43257 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.44956 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.46656 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.48356 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.49956 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.51655 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.53355 s Remaining CPU time: 1790.47 s c Elapsed CPU time: 9.55055 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.56754 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.58354 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.60054 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.61754 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.63453 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.65153 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.66853 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.68653 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.70352 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.72052 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.73752 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.75452 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.77151 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.78851 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.80551 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.82251 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.8395 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.8575 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.8735 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.8895 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 9.90649 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 9.92349 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 9.94049 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 9.95749 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 9.97448 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 9.99148 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.0085 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.0255 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.0425 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.0595 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.0765 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.0935 s Remaining CPU time: 1789.91 s c Elapsed CPU time: 10.1105 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.1275 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.1445 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.1615 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.1785 s Remaining CPU time: 1789.82 s c Elapsed CPU time: 10.1964 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.2134 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.2304 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.2464 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.2634 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.2804 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.2974 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.3144 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.3314 s Remaining CPU time: 1789.67 s c Elapsed CPU time: 10.3484 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.3654 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.3834 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.4004 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.4174 s Remaining CPU time: 1789.58 s c Elapsed CPU time: 10.4344 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.4524 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.4694 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.4864 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.5034 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.5204 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.5384 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.5554 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.5734 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.5904 s Remaining CPU time: 1789.41 s c Elapsed CPU time: 10.6084 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.6254 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.6434 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.6604 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.6774 s Remaining CPU time: 1789.32 s c Elapsed CPU time: 10.6954 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.7114 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.7294 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.7474 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.7654 s Remaining CPU time: 1789.23 s c Elapsed CPU time: 10.7824 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.8004 s Remaining CPU time: 1789.2 s c Elapsed CPU time: 10.8174 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.8354 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.8523 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.8693 s Remaining CPU time: 1789.13 s c Elapsed CPU time: 10.8873 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 10.9053 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 10.9223 s Remaining CPU time: 1789.08 s c Elapsed CPU time: 10.9403 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 10.9583 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 10.9763 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 10.9943 s Remaining CPU time: 1789.01 s c Elapsed CPU time: 11.0123 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.0293 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.0473 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.0653 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.0833 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.1013 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.1193 s Remaining CPU time: 1788.88 s c Elapsed CPU time: 11.1363 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.1543 s Remaining CPU time: 1788.85 s c Elapsed CPU time: 11.1723 s Remaining CPU time: 1788.83 s c Elapsed CPU time: 11.1903 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.2083 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.2253 s Remaining CPU time: 1788.77 s c Elapsed CPU time: 11.2433 s Remaining CPU time: 1788.76 s c Elapsed CPU time: 11.2613 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.2793 s Remaining CPU time: 1788.72 s c Elapsed CPU time: 11.2973 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.3143 s Remaining CPU time: 1788.69 s c Elapsed CPU time: 11.3323 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.3503 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.3673 s Remaining CPU time: 1788.63 s c Elapsed CPU time: 11.3853 s Remaining CPU time: 1788.61 s c Elapsed CPU time: 11.4033 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.4203 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.4383 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.4563 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.4733 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.4913 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.5083 s Remaining CPU time: 1788.49 s c Elapsed CPU time: 11.5262 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.5442 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.5612 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.5792 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.5972 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.6152 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.6332 s Remaining CPU time: 1788.37 s c Elapsed CPU time: 11.6512 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.6692 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.6872 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.7062 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.7232 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.7402 s Remaining CPU time: 1788.26 s c Elapsed CPU time: 11.7592 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.7772 s Remaining CPU time: 1788.22 s c Elapsed CPU time: 11.7952 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.8132 s Remaining CPU time: 1788.19 s c Elapsed CPU time: 11.8312 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.8492 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.8672 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.8852 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 11.9032 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 11.9212 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 11.9392 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 11.9572 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 11.9752 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 11.9942 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.0122 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.0302 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.0492 s Remaining CPU time: 1787.95 s c Elapsed CPU time: 12.0672 s Remaining CPU time: 1787.93 s c Elapsed CPU time: 12.0852 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.1032 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.1212 s Remaining CPU time: 1787.88 s c Elapsed CPU time: 12.1392 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.1572 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.1751 s Remaining CPU time: 1787.82 s c Elapsed CPU time: 12.1931 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.2111 s Remaining CPU time: 1787.79 s c Elapsed CPU time: 12.2291 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.2471 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.2661 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.2841 s Remaining CPU time: 1787.72 s c Elapsed CPU time: 12.3031 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.3211 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.3391 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.3571 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.3761 s Remaining CPU time: 1787.62 s c Elapsed CPU time: 12.3941 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.4131 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.4311 s Remaining CPU time: 1787.57 s c Elapsed CPU time: 12.4501 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.4681 s Remaining CPU time: 1787.53 s c Elapsed CPU time: 12.4871 s Remaining CPU time: 1787.51 s c Elapsed CPU time: 12.5061 s Remaining CPU time: 1787.49 s c Elapsed CPU time: 12.5241 s Remaining CPU time: 1787.48 s c Elapsed CPU time: 12.5431 s Remaining CPU time: 1787.46 s c Elapsed CPU time: 12.5601 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.5791 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.5971 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.6161 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.6341 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.6531 s Remaining CPU time: 1787.35 s c Elapsed CPU time: 12.6711 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.6891 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.7081 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.7261 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.7431 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.7631 s Remaining CPU time: 1787.24 s c Elapsed CPU time: 12.7811 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.8001 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.8191 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.837 s Remaining CPU time: 1787.16 s c Elapsed CPU time: 12.855 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.874 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 12.892 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 12.911 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 12.93 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 12.949 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 12.968 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 12.986 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.005 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.024 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.043 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.062 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.081 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.1 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.118 s Remaining CPU time: 1786.88 s c Elapsed CPU time: 13.137 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.155 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.174 s Remaining CPU time: 1786.83 s c Elapsed CPU time: 13.193 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.211 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.23 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.248 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.266 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.284 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.303 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.321 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.339 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.358 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.376 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.395 s Remaining CPU time: 1786.61 s c Elapsed CPU time: 13.413 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.432 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.45 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.469 s Remaining CPU time: 1786.53 s c Elapsed CPU time: 13.4869 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.5059 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.5239 s Remaining CPU time: 1786.48 s c Elapsed CPU time: 13.5429 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.5609 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.5799 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.5989 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.6179 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.6369 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.6549 s Remaining CPU time: 1786.35 s c Elapsed CPU time: 13.6729 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.6909 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.7099 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.7289 s Remaining CPU time: 1786.27 s c Elapsed CPU time: 13.7479 s Remaining CPU time: 1786.25 s c Elapsed CPU time: 13.7669 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.7859 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.8049 s Remaining CPU time: 1786.2 s c Elapsed CPU time: 13.8239 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.8429 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.8629 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.8819 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.9019 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 13.9209 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 13.9409 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 13.9589 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 13.9769 s Remaining CPU time: 1786.02 s c Elapsed CPU time: 13.9959 s Remaining CPU time: 1786 s c Elapsed CPU time: 14.0149 s Remaining CPU time: 1785.99 s c Elapsed CPU time: 14.0329 s Remaining CPU time: 1785.97 s c Elapsed CPU time: 14.0519 s Remaining CPU time: 1785.95 s c Elapsed CPU time: 14.0709 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.0889 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.1069 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.1259 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.1448 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.1638 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.1818 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.2008 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.2198 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.2398 s Remaining CPU time: 1785.76 s c Elapsed CPU time: 14.2588 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.2778 s Remaining CPU time: 1785.72 s c Elapsed CPU time: 14.2958 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.3148 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.3338 s Remaining CPU time: 1785.67 s c Elapsed CPU time: 14.3528 s Remaining CPU time: 1785.65 s c Elapsed CPU time: 14.3718 s Remaining CPU time: 1785.63 s c Elapsed CPU time: 14.3908 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.4108 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.4298 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.4498 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.4688 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.4878 s Remaining CPU time: 1785.51 s c Elapsed CPU time: 14.5068 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.5258 s Remaining CPU time: 1785.47 s c Elapsed CPU time: 14.5448 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.5638 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.5828 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.6028 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.6218 s Remaining CPU time: 1785.38 s c Elapsed CPU time: 14.6418 s Remaining CPU time: 1785.36 s c Elapsed CPU time: 14.6608 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.6808 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.6998 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.7198 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.7388 s Remaining CPU time: 1785.26 s c Elapsed CPU time: 14.7578 s Remaining CPU time: 1785.24 s c Elapsed CPU time: 14.7778 s Remaining CPU time: 1785.22 s c Elapsed CPU time: 14.7967 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.8167 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.8357 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.8557 s Remaining CPU time: 1785.14 s c Elapsed CPU time: 14.8757 s Remaining CPU time: 1785.12 s c Elapsed CPU time: 14.8947 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 14.9147 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 14.9337 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 14.9527 s Remaining CPU time: 1785.05 s c Elapsed CPU time: 14.9727 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 14.9927 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.0127 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.0317 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.0517 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.0717 s Remaining CPU time: 1784.93 s c Elapsed CPU time: 15.0917 s Remaining CPU time: 1784.91 s c Elapsed CPU time: 15.1107 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.1307 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.1497 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.1697 s Remaining CPU time: 1784.83 s c Elapsed CPU time: 15.1887 s Remaining CPU time: 1784.81 s c Elapsed CPU time: 15.2087 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.2277 s Remaining CPU time: 1784.77 s c Elapsed CPU time: 15.2477 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.2667 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.2867 s Remaining CPU time: 1784.71 s c Elapsed CPU time: 15.3067 s Remaining CPU time: 1784.69 s c Elapsed CPU time: 15.3267 s Remaining CPU time: 1784.67 s c Elapsed CPU time: 15.3467 s Remaining CPU time: 1784.65 s c Elapsed CPU time: 15.3667 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.3867 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.4057 s Remaining CPU time: 1784.59 s c Elapsed CPU time: 15.4257 s Remaining CPU time: 1784.57 s c Elapsed CPU time: 15.4457 s Remaining CPU time: 1784.55 s c Elapsed CPU time: 15.4656 s Remaining CPU time: 1784.53 s c Elapsed CPU time: 15.4856 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.5056 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.5256 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.5446 s Remaining CPU time: 1784.46 s c Elapsed CPU time: 15.5636 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.5836 s Remaining CPU time: 1784.42 s c Elapsed CPU time: 15.6026 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.6226 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.6416 s Remaining CPU time: 1784.36 s c Elapsed CPU time: 15.6616 s Remaining CPU time: 1784.34 s c Elapsed CPU time: 15.6816 s Remaining CPU time: 1784.32 s c Elapsed CPU time: 15.7016 s Remaining CPU time: 1784.3 s c Elapsed CPU time: 15.7216 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.7406 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.7616 s Remaining CPU time: 1784.24 s c Elapsed CPU time: 15.7806 s Remaining CPU time: 1784.22 s c Elapsed CPU time: 15.8006 s Remaining CPU time: 1784.2 s c Elapsed CPU time: 15.8206 s Remaining CPU time: 1784.18 s c Elapsed CPU time: 15.8396 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.8586 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.8786 s Remaining CPU time: 1784.12 s c Elapsed CPU time: 15.8986 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 15.9186 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 15.9386 s Remaining CPU time: 1784.06 s c Elapsed CPU time: 15.9586 s Remaining CPU time: 1784.04 s c Elapsed CPU time: 15.9786 s Remaining CPU time: 1784.02 s c Elapsed CPU time: 15.9976 s Remaining CPU time: 1784 s c Elapsed CPU time: 16.0176 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.0376 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.0566 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.0766 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.0966 s Remaining CPU time: 1783.9 s c Elapsed CPU time: 16.1155 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.1355 s Remaining CPU time: 1783.86 s c Elapsed CPU time: 16.1565 s Remaining CPU time: 1783.84 s c Elapsed CPU time: 16.1765 s Remaining CPU time: 1783.82 s c Elapsed CPU time: 16.1965 s Remaining CPU time: 1783.8 s c Elapsed CPU time: 16.2165 s Remaining CPU time: 1783.78 s c Elapsed CPU time: 16.2365 s Remaining CPU time: 1783.76 s c Elapsed CPU time: 16.2565 s Remaining CPU time: 1783.74 s c Elapsed CPU time: 16.2765 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.2975 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.3165 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.3375 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.3575 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.3775 s Remaining CPU time: 1783.62 s c Elapsed CPU time: 16.3985 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.4175 s Remaining CPU time: 1783.58 s c Elapsed CPU time: 16.4385 s Remaining CPU time: 1783.56 s c Elapsed CPU time: 16.4585 s Remaining CPU time: 1783.54 s c Elapsed CPU time: 16.4795 s Remaining CPU time: 1783.52 s c Elapsed CPU time: 16.4995 s Remaining CPU time: 1783.5 s c Elapsed CPU time: 16.5195 s Remaining CPU time: 1783.48 s c Elapsed CPU time: 16.5405 s Remaining CPU time: 1783.46 s c Elapsed CPU time: 16.5615 s Remaining CPU time: 1783.44 s c Elapsed CPU time: 16.5815 s Remaining CPU time: 1783.42 s c Elapsed CPU time: 16.6015 s Remaining CPU time: 1783.4 s c Elapsed CPU time: 16.6225 s Remaining CPU time: 1783.38 s c Elapsed CPU time: 16.6425 s Remaining CPU time: 1783.36 s c Elapsed CPU time: 16.6635 s Remaining CPU time: 1783.34 s c Elapsed CPU time: 16.6845 s Remaining CPU time: 1783.32 s c Elapsed CPU time: 16.7055 s Remaining CPU time: 1783.29 s c Elapsed CPU time: 16.7265 s Remaining CPU time: 1783.27 s c Elapsed CPU time: 16.7465 s Remaining CPU time: 1783.25 s c Elapsed CPU time: 16.7675 s Remaining CPU time: 1783.23 s c Elapsed CPU time: 16.7874 s Remaining CPU time: 1783.21 s c Elapsed CPU time: 16.8094 s Remaining CPU time: 1783.19 s c Elapsed CPU time: 16.8304 s Remaining CPU time: 1783.17 s c Elapsed CPU time: 16.8504 s Remaining CPU time: 1783.15 s c Elapsed CPU time: 16.8714 s Remaining CPU time: 1783.13 s c Elapsed CPU time: 16.8924 s Remaining CPU time: 1783.11 s c Elapsed CPU time: 16.9134 s Remaining CPU time: 1783.09 s c Elapsed CPU time: 16.9344 s Remaining CPU time: 1783.07 s c Elapsed CPU time: 16.9554 s Remaining CPU time: 1783.04 s c Elapsed CPU time: 16.9764 s Remaining CPU time: 1783.02 s c Elapsed CPU time: 16.9984 s Remaining CPU time: 1783 s c Elapsed CPU time: 17.0194 s Remaining CPU time: 1782.98 s c Elapsed CPU time: 17.0404 s Remaining CPU time: 1782.96 s c Elapsed CPU time: 17.0614 s Remaining CPU time: 1782.94 s c Elapsed CPU time: 17.0834 s Remaining CPU time: 1782.92 s c Elapsed CPU time: 17.1044 s Remaining CPU time: 1782.9 s c Elapsed CPU time: 17.1254 s Remaining CPU time: 1782.87 s c Elapsed CPU time: 17.1464 s Remaining CPU time: 1782.85 s c Elapsed CPU time: 17.1684 s Remaining CPU time: 1782.83 s c Elapsed CPU time: 17.1894 s Remaining CPU time: 1782.81 s c Elapsed CPU time: 17.2104 s Remaining CPU time: 1782.79 s c Elapsed CPU time: 17.2324 s Remaining CPU time: 1782.77 s c Elapsed CPU time: 17.2534 s Remaining CPU time: 1782.75 s c Elapsed CPU time: 17.2754 s Remaining CPU time: 1782.72 s c Elapsed CPU time: 17.2964 s Remaining CPU time: 1782.7 s c Elapsed CPU time: 17.3184 s Remaining CPU time: 1782.68 s c Elapsed CPU time: 17.3404 s Remaining CPU time: 1782.66 s c Elapsed CPU time: 17.3624 s Remaining CPU time: 1782.64 s c Elapsed CPU time: 17.3844 s Remaining CPU time: 1782.62 s c Elapsed CPU time: 17.4064 s Remaining CPU time: 1782.59 s c Elapsed CPU time: 17.4274 s Remaining CPU time: 1782.57 s c Elapsed CPU time: 17.4493 s Remaining CPU time: 1782.55 s c Elapsed CPU time: 17.4713 s Remaining CPU time: 1782.53 s c Elapsed CPU time: 17.4933 s Remaining CPU time: 1782.51 s c Elapsed CPU time: 17.5153 s Remaining CPU time: 1782.48 s c Elapsed CPU time: 17.5363 s Remaining CPU time: 1782.46 s c Elapsed CPU time: 17.5573 s Remaining CPU time: 1782.44 s c Elapsed CPU time: 17.5803 s Remaining CPU time: 1782.42 s c Elapsed CPU time: 17.6023 s Remaining CPU time: 1782.4 s c Elapsed CPU time: 17.6243 s Remaining CPU time: 1782.38 s c Elapsed CPU time: 17.6463 s Remaining CPU time: 1782.35 s c Elapsed CPU time: 17.6693 s Remaining CPU time: 1782.33 s c Elapsed CPU time: 17.6923 s Remaining CPU time: 1782.31 s c Elapsed CPU time: 17.7143 s Remaining CPU time: 1782.29 s c Elapsed CPU time: 17.7363 s Remaining CPU time: 1782.26 s c Elapsed CPU time: 17.7583 s Remaining CPU time: 1782.24 s c Elapsed CPU time: 17.7803 s Remaining CPU time: 1782.22 s c Elapsed CPU time: 17.8023 s Remaining CPU time: 1782.2 s c Elapsed CPU time: 17.8253 s Remaining CPU time: 1782.17 s c Elapsed CPU time: 17.8473 s Remaining CPU time: 1782.15 s c Elapsed CPU time: 17.8693 s Remaining CPU time: 1782.13 s c Elapsed CPU time: 17.8923 s Remaining CPU time: 1782.11 s c Elapsed CPU time: 17.9143 s Remaining CPU time: 1782.09 s c Elapsed CPU time: 17.9373 s Remaining CPU time: 1782.06 s c Elapsed CPU time: 17.9593 s Remaining CPU time: 1782.04 s c Elapsed CPU time: 17.9813 s Remaining CPU time: 1782.02 s c Elapsed CPU time: 18.0033 s Remaining CPU time: 1782 s c Elapsed CPU time: 18.0263 s Remaining CPU time: 1781.97 s c Elapsed CPU time: 18.0493 s Remaining CPU time: 1781.95 s c Elapsed CPU time: 18.0713 s Remaining CPU time: 1781.93 s c Elapsed CPU time: 18.0942 s Remaining CPU time: 1781.91 s c Elapsed CPU time: 18.1162 s Remaining CPU time: 1781.88 s c Elapsed CPU time: 18.1382 s Remaining CPU time: 1781.86 s c Elapsed CPU time: 18.1602 s Remaining CPU time: 1781.84 s c Elapsed CPU time: 18.1832 s Remaining CPU time: 1781.82 s c Elapsed CPU time: 18.2062 s Remaining CPU time: 1781.79 s c Elapsed CPU time: 18.2282 s Remaining CPU time: 1781.77 s c Elapsed CPU time: 18.2512 s Remaining CPU time: 1781.75 s c Elapsed CPU time: 18.2742 s Remaining CPU time: 1781.73 s c Elapsed CPU time: 18.2972 s Remaining CPU time: 1781.7 s c Elapsed CPU time: 18.3192 s Remaining CPU time: 1781.68 s c Elapsed CPU time: 18.3422 s Remaining CPU time: 1781.66 s c Elapsed CPU time: 18.3652 s Remaining CPU time: 1781.63 s c Elapsed CPU time: 18.3872 s Remaining CPU time: 1781.61 s c Elapsed CPU time: 18.4102 s Remaining CPU time: 1781.59 s c Elapsed CPU time: 18.4342 s Remaining CPU time: 1781.57 s c Elapsed CPU time: 18.4562 s Remaining CPU time: 1781.54 s c Elapsed CPU time: 18.4792 s Remaining CPU time: 1781.52 s c Elapsed CPU time: 18.5012 s Remaining CPU time: 1781.5 s c Elapsed CPU time: 18.5242 s Remaining CPU time: 1781.48 s c Elapsed CPU time: 18.5462 s Remaining CPU time: 1781.45 s c Elapsed CPU time: 18.5692 s Remaining CPU time: 1781.43 s c Elapsed CPU time: 18.5922 s Remaining CPU time: 1781.41 s c Elapsed CPU time: 18.6152 s Remaining CPU time: 1781.38 s c Elapsed CPU time: 18.6382 s Remaining CPU time: 1781.36 s c Elapsed CPU time: 18.6612 s Remaining CPU time: 1781.34 s c Elapsed CPU time: 18.6832 s Remaining CPU time: 1781.32 s c Elapsed CPU time: 18.7052 s Remaining CPU time: 1781.29 s c Elapsed CPU time: 18.7272 s Remaining CPU time: 1781.27 s c Elapsed CPU time: 18.7501 s Remaining CPU time: 1781.25 s c Elapsed CPU time: 18.7731 s Remaining CPU time: 1781.23 s c Elapsed CPU time: 18.7951 s Remaining CPU time: 1781.2 s c Elapsed CPU time: 18.8171 s Remaining CPU time: 1781.18 s c Elapsed CPU time: 18.8391 s Remaining CPU time: 1781.16 s c Elapsed CPU time: 18.8631 s Remaining CPU time: 1781.14 s c Elapsed CPU time: 18.8861 s Remaining CPU time: 1781.11 s c Elapsed CPU time: 18.9091 s Remaining CPU time: 1781.09 s c Elapsed CPU time: 18.9311 s Remaining CPU time: 1781.07 s c Elapsed CPU time: 18.9541 s Remaining CPU time: 1781.05 s c Elapsed CPU time: 18.9771 s Remaining CPU time: 1781.02 s c Elapsed CPU time: 19.0001 s Remaining CPU time: 1781 s c Elapsed CPU time: 19.0241 s Remaining CPU time: 1780.98 s c Elapsed CPU time: 19.0471 s Remaining CPU time: 1780.95 s c Elapsed CPU time: 19.0691 s Remaining CPU time: 1780.93 s c Elapsed CPU time: 19.0921 s Remaining CPU time: 1780.91 s c Elapsed CPU time: 19.1151 s Remaining CPU time: 1780.88 s c Elapsed CPU time: 19.1381 s Remaining CPU time: 1780.86 s c Elapsed CPU time: 19.1611 s Remaining CPU time: 1780.84 s c Elapsed CPU time: 19.1841 s Remaining CPU time: 1780.82 s c Elapsed CPU time: 19.2071 s Remaining CPU time: 1780.79 s c Elapsed CPU time: 19.2301 s Remaining CPU time: 1780.77 s c Elapsed CPU time: 19.2531 s Remaining CPU time: 1780.75 s c Elapsed CPU time: 19.2751 s Remaining CPU time: 1780.72 s c Elapsed CPU time: 19.2981 s Remaining CPU time: 1780.7 s c Elapsed CPU time: 19.3201 s Remaining CPU time: 1780.68 s c Elapsed CPU time: 19.3431 s Remaining CPU time: 1780.66 s c Elapsed CPU time: 19.3671 s Remaining CPU time: 1780.63 s c Elapsed CPU time: 19.3911 s Remaining CPU time: 1780.61 s c Elapsed CPU time: 19.417 s Remaining CPU time: 1780.58 s c Elapsed CPU time: 19.439 s Remaining CPU time: 1780.56 s c Elapsed CPU time: 19.462 s Remaining CPU time: 1780.54 s c Elapsed CPU time: 19.486 s Remaining CPU time: 1780.51 s c Elapsed CPU time: 19.509 s Remaining CPU time: 1780.49 s c Elapsed CPU time: 19.532 s Remaining CPU time: 1780.47 s c Elapsed CPU time: 19.555 s Remaining CPU time: 1780.44 s c Elapsed CPU time: 19.578 s Remaining CPU time: 1780.42 s c Elapsed CPU time: 19.601 s Remaining CPU time: 1780.4 s c Elapsed CPU time: 19.624 s Remaining CPU time: 1780.38 s c Elapsed CPU time: 19.648 s Remaining CPU time: 1780.35 s c Elapsed CPU time: 19.67 s Remaining CPU time: 1780.33 s c Elapsed CPU time: 19.694 s Remaining CPU time: 1780.31 s c Elapsed CPU time: 19.717 s Remaining CPU time: 1780.28 s c Elapsed CPU time: 19.74 s Remaining CPU time: 1780.26 s c Elapsed CPU time: 19.763 s Remaining CPU time: 1780.24 s c Elapsed CPU time: 19.786 s Remaining CPU time: 1780.21 s c Elapsed CPU time: 19.81 s Remaining CPU time: 1780.19 s c Elapsed CPU time: 19.832 s Remaining CPU time: 1780.17 s c Elapsed CPU time: 19.856 s Remaining CPU time: 1780.14 s c Elapsed CPU time: 19.879 s Remaining CPU time: 1780.12 s c Elapsed CPU time: 19.902 s Remaining CPU time: 1780.1 s c Elapsed CPU time: 19.925 s Remaining CPU time: 1780.08 s c Elapsed CPU time: 19.948 s Remaining CPU time: 1780.05 s c Elapsed CPU time: 19.972 s Remaining CPU time: 1780.03 s c Elapsed CPU time: 19.996 s Remaining CPU time: 1780 s c Elapsed CPU time: 20.019 s Remaining CPU time: 1779.98 s c Elapsed CPU time: 20.043 s Remaining CPU time: 1779.96 s c Elapsed CPU time: 20.0659 s Remaining CPU time: 1779.93 s c Elapsed CPU time: 20.0889 s Remaining CPU time: 1779.91 s c Elapsed CPU time: 20.1119 s Remaining CPU time: 1779.89 s c Elapsed CPU time: 20.1359 s Remaining CPU time: 1779.86 s c Elapsed CPU time: 20.1589 s Remaining CPU time: 1779.84 s c Elapsed CPU time: 20.1819 s Remaining CPU time: 1779.82 s c Elapsed CPU time: 20.2049 s Remaining CPU time: 1779.8 s c Elapsed CPU time: 20.2289 s Remaining CPU time: 1779.77 s c Elapsed CPU time: 20.2509 s Remaining CPU time: 1779.75 s c Elapsed CPU time: 20.2749 s Remaining CPU time: 1779.73 s c Elapsed CPU time: 20.2969 s Remaining CPU time: 1779.7 s c Elapsed CPU time: 20.3199 s Remaining CPU time: 1779.68 s c Elapsed CPU time: 20.3439 s Remaining CPU time: 1779.66 s c Elapsed CPU time: 20.3679 s Remaining CPU time: 1779.63 s c Elapsed CPU time: 20.3909 s Remaining CPU time: 1779.61 s c Elapsed CPU time: 20.4149 s Remaining CPU time: 1779.59 s c Elapsed CPU time: 20.4379 s Remaining CPU time: 1779.56 s c Elapsed CPU time: 20.4609 s Remaining CPU time: 1779.54 s c Elapsed CPU time: 20.4839 s Remaining CPU time: 1779.52 s c Elapsed CPU time: 20.5079 s Remaining CPU time: 1779.49 s c Elapsed CPU time: 20.5309 s Remaining CPU time: 1779.47 s c Elapsed CPU time: 20.5549 s Remaining CPU time: 1779.45 s c Elapsed CPU time: 20.5789 s Remaining CPU time: 1779.42 s c Elapsed CPU time: 20.6009 s Remaining CPU time: 1779.4 s c Elapsed CPU time: 20.6249 s Remaining CPU time: 1779.38 s c Elapsed CPU time: 20.6469 s Remaining CPU time: 1779.35 s c Elapsed CPU time: 20.6709 s Remaining CPU time: 1779.33 s c Elapsed CPU time: 20.6949 s Remaining CPU time: 1779.31 s c Elapsed CPU time: 20.7188 s Remaining CPU time: 1779.28 s c Elapsed CPU time: 20.7428 s Remaining CPU time: 1779.26 s c Elapsed CPU time: 20.7668 s Remaining CPU time: 1779.23 s c Elapsed CPU time: 20.7908 s Remaining CPU time: 1779.21 s c Elapsed CPU time: 20.8138 s Remaining CPU time: 1779.19 s c Elapsed CPU time: 20.8378 s Remaining CPU time: 1779.16 s c Elapsed CPU time: 20.8608 s Remaining CPU time: 1779.14 s c Elapsed CPU time: 20.8858 s Remaining CPU time: 1779.11 s c Elapsed CPU time: 20.9088 s Remaining CPU time: 1779.09 s c Elapsed CPU time: 20.9318 s Remaining CPU time: 1779.07 s c Elapsed CPU time: 20.9558 s Remaining CPU time: 1779.04 s c Elapsed CPU time: 20.9798 s Remaining CPU time: 1779.02 s c Elapsed CPU time: 21.0038 s Remaining CPU time: 1779 s c Elapsed CPU time: 21.0278 s Remaining CPU time: 1778.97 s c Elapsed CPU time: 21.0518 s Remaining CPU time: 1778.95 s c Elapsed CPU time: 21.0758 s Remaining CPU time: 1778.92 s c Elapsed CPU time: 21.0998 s Remaining CPU time: 1778.9 s c Elapsed CPU time: 21.1228 s Remaining CPU time: 1778.88 s c Elapsed CPU time: 21.1458 s Remaining CPU time: 1778.85 s c Elapsed CPU time: 21.1708 s Remaining CPU time: 1778.83 s c Elapsed CPU time: 21.1948 s Remaining CPU time: 1778.81 s c Elapsed CPU time: 21.2188 s Remaining CPU time: 1778.78 s c Elapsed CPU time: 21.2428 s Remaining CPU time: 1778.76 s c Elapsed CPU time: 21.2658 s Remaining CPU time: 1778.73 s c Elapsed CPU time: 21.2898 s Remaining CPU time: 1778.71 s c Elapsed CPU time: 21.3138 s Remaining CPU time: 1778.69 s c Elapsed CPU time: 21.3378 s Remaining CPU time: 1778.66 s c Elapsed CPU time: 21.3608 s Remaining CPU time: 1778.64 s c Elapsed CPU time: 21.3847 s Remaining CPU time: 1778.62 s c Elapsed CPU time: 21.4077 s Remaining CPU time: 1778.59 s c Elapsed CPU time: 21.4317 s Remaining CPU time: 1778.57 s c Elapsed CPU time: 21.4557 s Remaining CPU time: 1778.54 s c Elapsed CPU time: 21.4797 s Remaining CPU time: 1778.52 s c Elapsed CPU time: 21.5037 s Remaining CPU time: 1778.5 s c Elapsed CPU time: 21.5277 s Remaining CPU time: 1778.47 s c Elapsed CPU time: 21.5517 s Remaining CPU time: 1778.45 s c Elapsed CPU time: 21.5757 s Remaining CPU time: 1778.42 s c Elapsed CPU time: 21.6007 s Remaining CPU time: 1778.4 s c Elapsed CPU time: 21.6247 s Remaining CPU time: 1778.38 s c Elapsed CPU time: 21.6487 s Remaining CPU time: 1778.35 s c Elapsed CPU time: 21.6727 s Remaining CPU time: 1778.33 s c Elapsed CPU time: 21.6967 s Remaining CPU time: 1778.3 s c Elapsed CPU time: 21.7197 s Remaining CPU time: 1778.28 s c Elapsed CPU time: 21.7437 s Remaining CPU time: 1778.26 s c Elapsed CPU time: 21.7667 s Remaining CPU time: 1778.23 s c Elapsed CPU time: 21.7907 s Remaining CPU time: 1778.21 s c Elapsed CPU time: 21.8137 s Remaining CPU time: 1778.19 s c Elapsed CPU time: 21.8387 s Remaining CPU time: 1778.16 s c Elapsed CPU time: 21.8617 s Remaining CPU time: 1778.14 s c Elapsed CPU time: 21.8857 s Remaining CPU time: 1778.11 s c Elapsed CPU time: 21.9097 s Remaining CPU time: 1778.09 s c Elapsed CPU time: 21.9337 s Remaining CPU time: 1778.07 s c Elapsed CPU time: 21.9577 s Remaining CPU time: 1778.04 s c Elapsed CPU time: 21.9827 s Remaining CPU time: 1778.02 s c Elapsed CPU time: 22.0067 s Remaining CPU time: 1777.99 s c Elapsed CPU time: 22.0307 s Remaining CPU time: 1777.97 s c Elapsed CPU time: 22.0546 s Remaining CPU time: 1777.95 s c Elapsed CPU time: 22.0786 s Remaining CPU time: 1777.92 s c Elapsed CPU time: 22.1026 s Remaining CPU time: 1777.9 s c Elapsed CPU time: 22.1276 s Remaining CPU time: 1777.87 s c Elapsed CPU time: 22.1516 s Remaining CPU time: 1777.85 s c Elapsed CPU time: 22.1756 s Remaining CPU time: 1777.82 s c Elapsed CPU time: 22.2006 s Remaining CPU time: 1777.8 s c Elapsed CPU time: 22.2246 s Remaining CPU time: 1777.78 s c Elapsed CPU time: 22.2496 s Remaining CPU time: 1777.75 s c Elapsed CPU time: 22.2746 s Remaining CPU time: 1777.73 s c Elapsed CPU time: 22.2976 s Remaining CPU time: 1777.7 s c Elapsed CPU time: 22.3216 s Remaining CPU time: 1777.68 s c Elapsed CPU time: 22.3466 s Remaining CPU time: 1777.65 s c Elapsed CPU time: 22.3696 s Remaining CPU time: 1777.63 s c Elapsed CPU time: 22.3936 s Remaining CPU time: 1777.61 s c Elapsed CPU time: 22.4186 s Remaining CPU time: 1777.58 s c Elapsed CPU time: 22.4426 s Remaining CPU time: 1777.56 s c Elapsed CPU time: 22.4666 s Remaining CPU time: 1777.53 s c Elapsed CPU time: 22.4906 s Remaining CPU time: 1777.51 s c Elapsed CPU time: 22.5156 s Remaining CPU time: 1777.48 s c Elapsed CPU time: 22.5406 s Remaining CPU time: 1777.46 s c Elapsed CPU time: 22.5646 s Remaining CPU time: 1777.44 s c Elapsed CPU time: 22.5886 s Remaining CPU time: 1777.41 s c Elapsed CPU time: 22.6136 s Remaining CPU time: 1777.39 s c Elapsed CPU time: 22.6376 s Remaining CPU time: 1777.36 s c Elapsed CPU time: 22.6626 s Remaining CPU time: 1777.34 s c Elapsed CPU time: 22.6866 s Remaining CPU time: 1777.31 s c Elapsed CPU time: 22.7115 s Remaining CPU time: 1777.29 s c Elapsed CPU time: 22.7355 s Remaining CPU time: 1777.26 s c Elapsed CPU time: 22.7605 s Remaining CPU time: 1777.24 s c Elapsed CPU time: 22.7845 s Remaining CPU time: 1777.22 s c Elapsed CPU time: 22.8085 s Remaining CPU time: 1777.19 s c Elapsed CPU time: 22.8325 s Remaining CPU time: 1777.17 s c Elapsed CPU time: 22.8575 s Remaining CPU time: 1777.14 s c Elapsed CPU time: 22.8815 s Remaining CPU time: 1777.12 s c Elapsed CPU time: 22.9065 s Remaining CPU time: 1777.09 s c Elapsed CPU time: 22.9305 s Remaining CPU time: 1777.07 s c Elapsed CPU time: 22.9565 s Remaining CPU time: 1777.04 s c Elapsed CPU time: 22.9805 s Remaining CPU time: 1777.02 s c Elapsed CPU time: 23.0055 s Remaining CPU time: 1776.99 s c Elapsed CPU time: 23.0305 s Remaining CPU time: 1776.97 s c Elapsed CPU time: 23.0545 s Remaining CPU time: 1776.95 s c Elapsed CPU time: 23.0785 s Remaining CPU time: 1776.92 s c Elapsed CPU time: 23.1035 s Remaining CPU time: 1776.9 s c Elapsed CPU time: 23.1275 s Remaining CPU time: 1776.87 s c Elapsed CPU time: 23.1525 s Remaining CPU time: 1776.85 s c Elapsed CPU time: 23.1765 s Remaining CPU time: 1776.82 s c Elapsed CPU time: 23.2015 s Remaining CPU time: 1776.8 s c Elapsed CPU time: 23.2265 s Remaining CPU time: 1776.77 s c Elapsed CPU time: 23.2515 s Remaining CPU time: 1776.75 s c Elapsed CPU time: 23.2755 s Remaining CPU time: 1776.72 s c Elapsed CPU time: 23.3005 s Remaining CPU time: 1776.7 s c Elapsed CPU time: 23.3255 s Remaining CPU time: 1776.67 s c Elapsed CPU time: 23.3504 s Remaining CPU time: 1776.65 s c Elapsed CPU time: 23.3754 s Remaining CPU time: 1776.62 s c Elapsed CPU time: 23.3984 s Remaining CPU time: 1776.6 s c Elapsed CPU time: 23.4224 s Remaining CPU time: 1776.58 s c Elapsed CPU time: 23.4474 s Remaining CPU time: 1776.55 s c Elapsed CPU time: 23.4724 s Remaining CPU time: 1776.53 s c Elapsed CPU time: 23.4974 s Remaining CPU time: 1776.5 s c Elapsed CPU time: 23.5224 s Remaining CPU time: 1776.48 s c Elapsed CPU time: 23.5474 s Remaining CPU time: 1776.45 s c Elapsed CPU time: 23.5724 s Remaining CPU time: 1776.43 s c Elapsed CPU time: 23.5984 s Remaining CPU time: 1776.4 s c Elapsed CPU time: 23.6234 s Remaining CPU time: 1776.38 s c Elapsed CPU time: 23.6494 s Remaining CPU time: 1776.35 s c Elapsed CPU time: 23.6744 s Remaining CPU time: 1776.33 s c Elapsed CPU time: 23.6994 s Remaining CPU time: 1776.3 s c Elapsed CPU time: 23.7234 s Remaining CPU time: 1776.28 s c Elapsed CPU time: 23.7494 s Remaining CPU time: 1776.25 s c Elapsed CPU time: 23.7734 s Remaining CPU time: 1776.23 s c Elapsed CPU time: 23.7984 s Remaining CPU time: 1776.2 s c Elapsed CPU time: 23.8234 s Remaining CPU time: 1776.18 s c Elapsed CPU time: 23.8494 s Remaining CPU time: 1776.15 s c Elapsed CPU time: 23.8754 s Remaining CPU time: 1776.12 s c Elapsed CPU time: 23.9004 s Remaining CPU time: 1776.1 s c Elapsed CPU time: 23.9254 s Remaining CPU time: 1776.07 s c Elapsed CPU time: 23.9514 s Remaining CPU time: 1776.05 s c Elapsed CPU time: 23.9764 s Remaining CPU time: 1776.02 s c Elapsed CPU time: 24.0024 s Remaining CPU time: 1776 s c Elapsed CPU time: 24.0273 s Remaining CPU time: 1775.97 s c Elapsed CPU time: 24.0523 s Remaining CPU time: 1775.95 s c Elapsed CPU time: 24.0783 s Remaining CPU time: 1775.92 s c Elapsed CPU time: 24.1033 s Remaining CPU time: 1775.9 s c Elapsed CPU time: 24.1283 s Remaining CPU time: 1775.87 s c Elapsed CPU time: 24.1543 s Remaining CPU time: 1775.85 s c Elapsed CPU time: 24.1793 s Remaining CPU time: 1775.82 s c Elapsed CPU time: 24.2053 s Remaining CPU time: 1775.79 s c Elapsed CPU time: 24.2303 s Remaining CPU time: 1775.77 s c Elapsed CPU time: 24.2563 s Remaining CPU time: 1775.74 s c Elapsed CPU time: 24.2823 s Remaining CPU time: 1775.72 s c Elapsed CPU time: 24.3083 s Remaining CPU time: 1775.69 s c Elapsed CPU time: 24.3333 s Remaining CPU time: 1775.67 s c Elapsed CPU time: 24.3593 s Remaining CPU time: 1775.64 s c Elapsed CPU time: 24.3853 s Remaining CPU time: 1775.61 s c Elapsed CPU time: 24.4113 s Remaining CPU time: 1775.59 s c Elapsed CPU time: 24.4373 s Remaining CPU time: 1775.56 s c Elapsed CPU time: 24.4633 s Remaining CPU time: 1775.54 s c Elapsed CPU time: 24.4883 s Remaining CPU time: 1775.51 s c Elapsed CPU time: 24.5143 s Remaining CPU time: 1775.49 s c Elapsed CPU time: 24.5403 s Remaining CPU time: 1775.46 s c Elapsed CPU time: 24.5653 s Remaining CPU time: 1775.43 s c Elapsed CPU time: 24.5923 s Remaining CPU time: 1775.41 s c Elapsed CPU time: 24.6183 s Remaining CPU time: 1775.38 s c Elapsed CPU time: 24.6443 s Remaining CPU time: 1775.36 s c Elapsed CPU time: 24.6702 s Remaining CPU time: 1775.33 s c Elapsed CPU time: 24.6962 s Remaining CPU time: 1775.3 s c Elapsed CPU time: 24.7212 s Remaining CPU time: 1775.28 s c Elapsed CPU time: 24.7472 s Remaining CPU time: 1775.25 s c Elapsed CPU time: 24.7732 s Remaining CPU time: 1775.23 s c Elapsed CPU time: 24.7992 s Remaining CPU time: 1775.2 s c Elapsed CPU time: 24.8252 s Remaining CPU time: 1775.17 s c Elapsed CPU time: 24.8502 s Remaining CPU time: 1775.15 s c Elapsed CPU time: 24.8762 s Remaining CPU time: 1775.12 s c Elapsed CPU time: 24.9022 s Remaining CPU time: 1775.1 s c Elapsed CPU time: 24.9272 s Remaining CPU time: 1775.07 s c Elapsed CPU time: 24.9522 s Remaining CPU time: 1775.05 s c Elapsed CPU time: 24.9772 s Remaining CPU time: 1775.02 s c Elapsed CPU time: 25.0042 s Remaining CPU time: 1775 s c Elapsed CPU time: 25.0302 s Remaining CPU time: 1774.97 s c Elapsed CPU time: 25.0562 s Remaining CPU time: 1774.94 s c Elapsed CPU time: 25.0812 s Remaining CPU time: 1774.92 s c Elapsed CPU time: 25.1072 s Remaining CPU time: 1774.89 s c Elapsed CPU time: 25.1342 s Remaining CPU time: 1774.87 s c Elapsed CPU time: 25.1602 s Remaining CPU time: 1774.84 s c Elapsed CPU time: 25.1862 s Remaining CPU time: 1774.81 s c Elapsed CPU time: 25.2122 s Remaining CPU time: 1774.79 s c Elapsed CPU time: 25.2382 s Remaining CPU time: 1774.76 s c Elapsed CPU time: 25.2642 s Remaining CPU time: 1774.74 s c Elapsed CPU time: 25.2912 s Remaining CPU time: 1774.71 s c Elapsed CPU time: 25.3172 s Remaining CPU time: 1774.68 s c Elapsed CPU time: 25.3431 s Remaining CPU time: 1774.66 s c Elapsed CPU time: 25.3691 s Remaining CPU time: 1774.63 s c Elapsed CPU time: 25.3951 s Remaining CPU time: 1774.6 s c Elapsed CPU time: 25.4221 s Remaining CPU time: 1774.58 s c Elapsed CPU time: 25.4481 s Remaining CPU time: 1774.55 s c Elapsed CPU time: 25.4741 s Remaining CPU time: 1774.53 s c Elapsed CPU time: 25.5011 s Remaining CPU time: 1774.5 s c Elapsed CPU time: 25.5281 s Remaining CPU time: 1774.47 s c Elapsed CPU time: 25.5541 s Remaining CPU time: 1774.45 s c Elapsed CPU time: 25.5811 s Remaining CPU time: 1774.42 s c Elapsed CPU time: 25.6071 s Remaining CPU time: 1774.39 s c Elapsed CPU time: 25.6341 s Remaining CPU time: 1774.37 s c Elapsed CPU time: 25.6601 s Remaining CPU time: 1774.34 s c Elapsed CPU time: 25.6861 s Remaining CPU time: 1774.31 s c Elapsed CPU time: 25.7111 s Remaining CPU time: 1774.29 s c Elapsed CPU time: 25.7371 s Remaining CPU time: 1774.26 s c Elapsed CPU time: 25.7641 s Remaining CPU time: 1774.24 s c Elapsed CPU time: 25.7911 s Remaining CPU time: 1774.21 s c Elapsed CPU time: 25.8171 s Remaining CPU time: 1774.18 s c Elapsed CPU time: 25.8441 s Remaining CPU time: 1774.16 s c Elapsed CPU time: 25.8701 s Remaining CPU time: 1774.13 s c Elapsed CPU time: 25.8971 s Remaining CPU time: 1774.1 s c Elapsed CPU time: 25.9231 s Remaining CPU time: 1774.08 s c Elapsed CPU time: 25.9491 s Remaining CPU time: 1774.05 s c Elapsed CPU time: 25.9761 s Remaining CPU time: 1774.02 s c Elapsed CPU time: 26.002 s Remaining CPU time: 1774 s c Elapsed CPU time: 26.029 s Remaining CPU time: 1773.97 s c Elapsed CPU time: 26.056 s Remaining CPU time: 1773.94 s c Elapsed CPU time: 26.082 s Remaining CPU time: 1773.92 s c Elapsed CPU time: 26.109 s Remaining CPU time: 1773.89 s c Elapsed CPU time: 26.135 s Remaining CPU time: 1773.86 s c Elapsed CPU time: 26.162 s Remaining CPU time: 1773.84 s c Elapsed CPU time: 26.19 s Remaining CPU time: 1773.81 s c Elapsed CPU time: 26.217 s Remaining CPU time: 1773.78 s c Elapsed CPU time: 26.243 s Remaining CPU time: 1773.76 s c Elapsed CPU time: 26.27 s Remaining CPU time: 1773.73 s c Elapsed CPU time: 26.296 s Remaining CPU time: 1773.7 s c Elapsed CPU time: 26.323 s Remaining CPU time: 1773.68 s c Elapsed CPU time: 26.35 s Remaining CPU time: 1773.65 s c Elapsed CPU time: 26.378 s Remaining CPU time: 1773.62 s c Elapsed CPU time: 26.405 s Remaining CPU time: 1773.6 s c Elapsed CPU time: 26.432 s Remaining CPU time: 1773.57 s c Elapsed CPU time: 26.459 s Remaining CPU time: 1773.54 s c Elapsed CPU time: 26.485 s Remaining CPU time: 1773.52 s c Elapsed CPU time: 26.512 s Remaining CPU time: 1773.49 s c Elapsed CPU time: 26.54 s Remaining CPU time: 1773.46 s c Elapsed CPU time: 26.567 s Remaining CPU time: 1773.43 s c Elapsed CPU time: 26.594 s Remaining CPU time: 1773.41 s c Elapsed CPU time: 26.621 s Remaining CPU time: 1773.38 s c Elapsed CPU time: 26.6469 s Remaining CPU time: 1773.35 s c Elapsed CPU time: 26.6739 s Remaining CPU time: 1773.33 s c Elapsed CPU time: 26.7009 s Remaining CPU time: 1773.3 s c Elapsed CPU time: 26.7269 s Remaining CPU time: 1773.27 s c Elapsed CPU time: 26.7539 s Remaining CPU time: 1773.25 s c Elapsed CPU time: 26.7809 s Remaining CPU time: 1773.22 s c Elapsed CPU time: 26.8079 s Remaining CPU time: 1773.19 s c Elapsed CPU time: 26.8359 s Remaining CPU time: 1773.16 s c Elapsed CPU time: 26.8629 s Remaining CPU time: 1773.14 s c Elapsed CPU time: 26.8899 s Remaining CPU time: 1773.11 s c Elapsed CPU time: 26.9169 s Remaining CPU time: 1773.08 s c Elapsed CPU time: 26.9439 s Remaining CPU time: 1773.06 s c Elapsed CPU time: 26.9709 s Remaining CPU time: 1773.03 s c Elapsed CPU time: 26.9979 s Remaining CPU time: 1773 s c Elapsed CPU time: 27.0249 s Remaining CPU time: 1772.98 s c Elapsed CPU time: 27.0519 s Remaining CPU time: 1772.95 s c Elapsed CPU time: 27.0779 s Remaining CPU time: 1772.92 s c Elapsed CPU time: 27.1059 s Remaining CPU time: 1772.89 s c Elapsed CPU time: 27.1329 s Remaining CPU time: 1772.87 s c Elapsed CPU time: 27.1609 s Remaining CPU time: 1772.84 s c Elapsed CPU time: 27.1879 s Remaining CPU time: 1772.81 s c Elapsed CPU time: 27.2149 s Remaining CPU time: 1772.79 s c Elapsed CPU time: 27.2419 s Remaining CPU time: 1772.76 s c Elapsed CPU time: 27.2689 s Remaining CPU time: 1772.73 s c Elapsed CPU time: 27.2959 s Remaining CPU time: 1772.7 s c Elapsed CPU time: 27.3228 s Remaining CPU time: 1772.68 s c Elapsed CPU time: 27.3498 s Remaining CPU time: 1772.65 s c Elapsed CPU time: 27.3778 s Remaining CPU time: 1772.62 s c Elapsed CPU time: 27.4048 s Remaining CPU time: 1772.6 s c Elapsed CPU time: 27.4328 s Remaining CPU time: 1772.57 s c Elapsed CPU time: 27.4588 s Remaining CPU time: 1772.54 s c Elapsed CPU time: 27.4858 s Remaining CPU time: 1772.51 s c Elapsed CPU time: 27.5128 s Remaining CPU time: 1772.49 s c Elapsed CPU time: 27.5408 s Remaining CPU time: 1772.46 s c Elapsed CPU time: 27.5678 s Remaining CPU time: 1772.43 s c Elapsed CPU time: 27.5948 s Remaining CPU time: 1772.41 s c Elapsed CPU time: 27.6218 s Remaining CPU time: 1772.38 s c Elapsed CPU time: 27.6498 s Remaining CPU time: 1772.35 s c Elapsed CPU time: 27.6768 s Remaining CPU time: 1772.32 s c Elapsed CPU time: 27.7038 s Remaining CPU time: 1772.3 s c Elapsed CPU time: 27.7308 s Remaining CPU time: 1772.27 s c Elapsed CPU time: 27.7578 s Remaining CPU time: 1772.24 s c Elapsed CPU time: 27.7848 s Remaining CPU time: 1772.22 s c Elapsed CPU time: 27.8118 s Remaining CPU time: 1772.19 s c Elapsed CPU time: 27.8398 s Remaining CPU time: 1772.16 s c Elapsed CPU time: 27.8668 s Remaining CPU time: 1772.13 s c Elapsed CPU time: 27.8948 s Remaining CPU time: 1772.11 s c Elapsed CPU time: 27.9218 s Remaining CPU time: 1772.08 s c Elapsed CPU time: 27.9488 s Remaining CPU time: 1772.05 s c Elapsed CPU time: 27.9757 s Remaining CPU time: 1772.02 s c Elapsed CPU time: 28.0027 s Remaining CPU time: 1772 s c Elapsed CPU time: 28.0307 s Remaining CPU time: 1771.97 s c Elapsed CPU time: 28.0587 s Remaining CPU time: 1771.94 s c Elapsed CPU time: 28.0867 s Remaining CPU time: 1771.91 s c Elapsed CPU time: 28.1137 s Remaining CPU time: 1771.89 s c Elapsed CPU time: 28.1407 s Remaining CPU time: 1771.86 s c Elapsed CPU time: 28.1687 s Remaining CPU time: 1771.83 s c Elapsed CPU time: 28.1967 s Remaining CPU time: 1771.8 s c Elapsed CPU time: 28.2247 s Remaining CPU time: 1771.78 s c Elapsed CPU time: 28.2527 s Remaining CPU time: 1771.75 s c Elapsed CPU time: 28.2797 s Remaining CPU time: 1771.72 s c Elapsed CPU time: 28.3057 s Remaining CPU time: 1771.69 s c Elapsed CPU time: 28.3327 s Remaining CPU time: 1771.67 s c Elapsed CPU time: 28.3617 s Remaining CPU time: 1771.64 s c Elapsed CPU time: 28.3897 s Remaining CPU time: 1771.61 s c Elapsed CPU time: 28.4177 s Remaining CPU time: 1771.58 s c Elapsed CPU time: 28.4457 s Remaining CPU time: 1771.55 s c Elapsed CPU time: 28.4737 s Remaining CPU time: 1771.53 s c Elapsed CPU time: 28.5017 s Remaining CPU time: 1771.5 s c Elapsed CPU time: 28.5287 s Remaining CPU time: 1771.47 s c Elapsed CPU time: 28.5567 s Remaining CPU time: 1771.44 s c Elapsed CPU time: 28.5847 s Remaining CPU time: 1771.42 s c Elapsed CPU time: 28.6126 s Remaining CPU time: 1771.39 s c Elapsed CPU time: 28.6396 s Remaining CPU time: 1771.36 s c Elapsed CPU time: 28.6676 s Remaining CPU time: 1771.33 s c Elapsed CPU time: 28.6946 s Remaining CPU time: 1771.31 s c Elapsed CPU time: 28.7216 s Remaining CPU time: 1771.28 s c Elapsed CPU time: 28.7476 s Remaining CPU time: 1771.25 s c Elapsed CPU time: 28.7756 s Remaining CPU time: 1771.22 s c Elapsed CPU time: 28.8036 s Remaining CPU time: 1771.2 s c Elapsed CPU time: 28.8306 s Remaining CPU time: 1771.17 s c Elapsed CPU time: 28.8586 s Remaining CPU time: 1771.14 s c Elapsed CPU time: 28.8866 s Remaining CPU time: 1771.11 s c Elapsed CPU time: 28.9136 s Remaining CPU time: 1771.09 s c Elapsed CPU time: 28.9416 s Remaining CPU time: 1771.06 s c Elapsed CPU time: 28.9686 s Remaining CPU time: 1771.03 s c Elapsed CPU time: 28.9966 s Remaining CPU time: 1771 s c Elapsed CPU time: 29.0236 s Remaining CPU time: 1770.98 s c Elapsed CPU time: 29.0506 s Remaining CPU time: 1770.95 s c Elapsed CPU time: 29.0776 s Remaining CPU time: 1770.92 s c Elapsed CPU time: 29.1046 s Remaining CPU time: 1770.9 s c Elapsed CPU time: 29.1326 s Remaining CPU time: 1770.87 s c Elapsed CPU time: 29.1606 s Remaining CPU time: 1770.84 s c Elapsed CPU time: 29.1876 s Remaining CPU time: 1770.81 s c Elapsed CPU time: 29.2166 s Remaining CPU time: 1770.78 s c Elapsed CPU time: 29.2436 s Remaining CPU time: 1770.76 s c Elapsed CPU time: 29.2716 s Remaining CPU time: 1770.73 s c Elapsed CPU time: 29.2995 s Remaining CPU time: 1770.7 s c Elapsed CPU time: 29.3285 s Remaining CPU time: 1770.67 s c Elapsed CPU time: 29.3555 s Remaining CPU time: 1770.64 s c Elapsed CPU time: 29.3835 s Remaining CPU time: 1770.62 s c Elapsed CPU time: 29.4115 s Remaining CPU time: 1770.59 s c Elapsed CPU time: 29.4405 s Remaining CPU time: 1770.56 s c Elapsed CPU time: 29.4685 s Remaining CPU time: 1770.53 s c Elapsed CPU time: 29.4965 s Remaining CPU time: 1770.5 s c Elapsed CPU time: 29.5245 s Remaining CPU time: 1770.48 s c Elapsed CPU time: 29.5525 s Remaining CPU time: 1770.45 s c Elapsed CPU time: 29.5805 s Remaining CPU time: 1770.42 s c Elapsed CPU time: 29.6085 s Remaining CPU time: 1770.39 s c Elapsed CPU time: 29.6365 s Remaining CPU time: 1770.36 s c Elapsed CPU time: 29.6655 s Remaining CPU time: 1770.33 s c Elapsed CPU time: 29.6935 s Remaining CPU time: 1770.31 s c Elapsed CPU time: 29.7215 s Remaining CPU time: 1770.28 s c Elapsed CPU time: 29.7495 s Remaining CPU time: 1770.25 s c Elapsed CPU time: 29.7775 s Remaining CPU time: 1770.22 s c Elapsed CPU time: 29.8055 s Remaining CPU time: 1770.19 s c Elapsed CPU time: 29.8335 s Remaining CPU time: 1770.17 s c Elapsed CPU time: 29.8605 s Remaining CPU time: 1770.14 s c Elapsed CPU time: 29.8885 s Remaining CPU time: 1770.11 s c Elapsed CPU time: 29.9175 s Remaining CPU time: 1770.08 s c Elapsed CPU time: 29.9464 s Remaining CPU time: 1770.05 s c Elapsed CPU time: 29.9744 s Remaining CPU time: 1770.03 s c Elapsed CPU time: 30.0034 s Remaining CPU time: 1770 s c Elapsed CPU time: 30.0304 s Remaining CPU time: 1769.97 s c Elapsed CPU time: 30.0584 s Remaining CPU time: 1769.94 s c Elapsed CPU time: 30.0874 s Remaining CPU time: 1769.91 s c Elapsed CPU time: 30.1144 s Remaining CPU time: 1769.89 s c Elapsed CPU time: 30.1424 s Remaining CPU time: 1769.86 s c Elapsed CPU time: 30.1714 s Remaining CPU time: 1769.83 s c Elapsed CPU time: 30.1984 s Remaining CPU time: 1769.8 s c Elapsed CPU time: 30.2274 s Remaining CPU time: 1769.77 s c Elapsed CPU time: 30.2554 s Remaining CPU time: 1769.74 s c Elapsed CPU time: 30.2844 s Remaining CPU time: 1769.72 s c Elapsed CPU time: 30.3134 s Remaining CPU time: 1769.69 s c Elapsed CPU time: 30.3434 s Remaining CPU time: 1769.66 s c Elapsed CPU time: 30.3714 s Remaining CPU time: 1769.63 s c Elapsed CPU time: 30.4004 s Remaining CPU time: 1769.6 s c Elapsed CPU time: 30.4284 s Remaining CPU time: 1769.57 s c Elapsed CPU time: 30.4574 s Remaining CPU time: 1769.54 s c Elapsed CPU time: 30.4864 s Remaining CPU time: 1769.51 s c Elapsed CPU time: 30.5144 s Remaining CPU time: 1769.49 s c Elapsed CPU time: 30.5434 s Remaining CPU time: 1769.46 s c Elapsed CPU time: 30.5714 s Remaining CPU time: 1769.43 s c Elapsed CPU time: 30.6003 s Remaining CPU time: 1769.4 s c Elapsed CPU time: 30.6293 s Remaining CPU time: 1769.37 s c Elapsed CPU time: 30.6573 s Remaining CPU time: 1769.34 s c Elapsed CPU time: 30.6873 s Remaining CPU time: 1769.31 s c Elapsed CPU time: 30.7153 s Remaining CPU time: 1769.28 s c Elapsed CPU time: 30.7433 s Remaining CPU time: 1769.26 s c Elapsed CPU time: 30.7733 s Remaining CPU time: 1769.23 s c Elapsed CPU time: 30.8023 s Remaining CPU time: 1769.2 s c Elapsed CPU time: 30.8303 s Remaining CPU time: 1769.17 s c Elapsed CPU time: 30.8593 s Remaining CPU time: 1769.14 s c Elapsed CPU time: 30.8873 s Remaining CPU time: 1769.11 s c Elapsed CPU time: 30.9153 s Remaining CPU time: 1769.08 s c Elapsed CPU time: 30.9433 s Remaining CPU time: 1769.06 s c Elapsed CPU time: 30.9723 s Remaining CPU time: 1769.03 s c Elapsed CPU time: 31.0013 s Remaining CPU time: 1769 s c Elapsed CPU time: 31.0303 s Remaining CPU time: 1768.97 s c Elapsed CPU time: 31.0583 s Remaining CPU time: 1768.94 s c Elapsed CPU time: 31.0883 s Remaining CPU time: 1768.91 s c Elapsed CPU time: 31.1163 s Remaining CPU time: 1768.88 s c Elapsed CPU time: 31.1463 s Remaining CPU time: 1768.85 s c Elapsed CPU time: 31.1753 s Remaining CPU time: 1768.82 s c Elapsed CPU time: 31.2033 s Remaining CPU time: 1768.8 s c Elapsed CPU time: 31.2323 s Remaining CPU time: 1768.77 s c Elapsed CPU time: 31.2612 s Remaining CPU time: 1768.74 s c Elapsed CPU time: 31.2902 s Remaining CPU time: 1768.71 s c Elapsed CPU time: 31.3182 s Remaining CPU time: 1768.68 s c Elapsed CPU time: 31.3482 s Remaining CPU time: 1768.65 s c Elapsed CPU time: 31.3762 s Remaining CPU time: 1768.62 s c Elapsed CPU time: 31.4052 s Remaining CPU time: 1768.59 s c Elapsed CPU time: 31.4342 s Remaining CPU time: 1768.57 s c Elapsed CPU time: 31.4632 s Remaining CPU time: 1768.54 s c Elapsed CPU time: 31.4922 s Remaining CPU time: 1768.51 s c Elapsed CPU time: 31.5212 s Remaining CPU time: 1768.48 s c Elapsed CPU time: 31.5502 s Remaining CPU time: 1768.45 s c Elapsed CPU time: 31.5802 s Remaining CPU time: 1768.42 s c Elapsed CPU time: 31.6092 s Remaining CPU time: 1768.39 s c Elapsed CPU time: 31.6382 s Remaining CPU time: 1768.36 s c Elapsed CPU time: 31.6662 s Remaining CPU time: 1768.33 s c Elapsed CPU time: 31.6952 s Remaining CPU time: 1768.3 s c Elapsed CPU time: 31.7242 s Remaining CPU time: 1768.28 s c Elapsed CPU time: 31.7532 s Remaining CPU time: 1768.25 s c Elapsed CPU time: 31.7822 s Remaining CPU time: 1768.22 s c Elapsed CPU time: 31.8112 s Remaining CPU time: 1768.19 s c Elapsed CPU time: 31.8402 s Remaining CPU time: 1768.16 s c Elapsed CPU time: 31.8692 s Remaining CPU time: 1768.13 s c Elapsed CPU time: 31.8982 s Remaining CPU time: 1768.1 s c Elapsed CPU time: 31.9271 s Remaining CPU time: 1768.07 s c Elapsed CPU time: 31.9561 s Remaining CPU time: 1768.04 s c Elapsed CPU time: 31.9861 s Remaining CPU time: 1768.01 s c Elapsed CPU time: 32.0151 s Remaining CPU time: 1767.98 s c Elapsed CPU time: 32.0441 s Remaining CPU time: 1767.96 s c Elapsed CPU time: 32.0731 s Remaining CPU time: 1767.93 s c Elapsed CPU time: 32.1021 s Remaining CPU time: 1767.9 s c Elapsed CPU time: 32.1311 s Remaining CPU time: 1767.87 s c Elapsed CPU time: 32.1601 s Remaining CPU time: 1767.84 s c Elapsed CPU time: 32.1901 s Remaining CPU time: 1767.81 s c Elapsed CPU time: 32.2191 s Remaining CPU time: 1767.78 s c Elapsed CPU time: 32.2471 s Remaining CPU time: 1767.75 s c Elapsed CPU time: 32.2751 s Remaining CPU time: 1767.72 s c Elapsed CPU time: 32.3031 s Remaining CPU time: 1767.7 s c Elapsed CPU time: 32.3321 s Remaining CPU time: 1767.67 s c Elapsed CPU time: 32.3611 s Remaining CPU time: 1767.64 s c Elapsed CPU time: 32.3901 s Remaining CPU time: 1767.61 s c Elapsed CPU time: 32.4181 s Remaining CPU time: 1767.58 s c Elapsed CPU time: 32.4461 s Remaining CPU time: 1767.55 s c Elapsed CPU time: 32.4761 s Remaining CPU time: 1767.52 s c Elapsed CPU time: 32.5041 s Remaining CPU time: 1767.5 s c Elapsed CPU time: 32.5341 s Remaining CPU time: 1767.47 s c Elapsed CPU time: 32.562 s Remaining CPU time: 1767.44 s c Elapsed CPU time: 32.591 s Remaining CPU time: 1767.41 s c Elapsed CPU time: 32.62 s Remaining CPU time: 1767.38 s c Elapsed CPU time: 32.648 s Remaining CPU time: 1767.35 s c Elapsed CPU time: 32.676 s Remaining CPU time: 1767.32 s c Elapsed CPU time: 32.705 s Remaining CPU time: 1767.29 s c Elapsed CPU time: 32.733 s Remaining CPU time: 1767.27 s c Elapsed CPU time: 32.763 s Remaining CPU time: 1767.24 s c Elapsed CPU time: 32.791 s Remaining CPU time: 1767.21 s c Elapsed CPU time: 32.819 s Remaining CPU time: 1767.18 s c Elapsed CPU time: 32.848 s Remaining CPU time: 1767.15 s c Elapsed CPU time: 32.877 s Remaining CPU time: 1767.12 s c Elapsed CPU time: 32.905 s Remaining CPU time: 1767.1 s c Elapsed CPU time: 32.932 s Remaining CPU time: 1767.07 s c Elapsed CPU time: 32.961 s Remaining CPU time: 1767.04 s c Elapsed CPU time: 32.989 s Remaining CPU time: 1767.01 s c Elapsed CPU time: 33.018 s Remaining CPU time: 1766.98 s c Elapsed CPU time: 33.046 s Remaining CPU time: 1766.95 s c Elapsed CPU time: 33.075 s Remaining CPU time: 1766.93 s c Elapsed CPU time: 33.103 s Remaining CPU time: 1766.9 s c Elapsed CPU time: 33.132 s Remaining CPU time: 1766.87 s c Elapsed CPU time: 33.16 s Remaining CPU time: 1766.84 s c Elapsed CPU time: 33.189 s Remaining CPU time: 1766.81 s c Elapsed CPU time: 33.2169 s Remaining CPU time: 1766.78 s c Elapsed CPU time: 33.2439 s Remaining CPU time: 1766.76 s c Elapsed CPU time: 33.2719 s Remaining CPU time: 1766.73 s c Elapsed CPU time: 33.3009 s Remaining CPU time: 1766.7 s c Elapsed CPU time: 33.3289 s Remaining CPU time: 1766.67 s c Elapsed CPU time: 33.3559 s Remaining CPU time: 1766.64 s c Elapsed CPU time: 33.3839 s Remaining CPU time: 1766.62 s c Elapsed CPU time: 33.4129 s Remaining CPU time: 1766.59 s c Elapsed CPU time: 33.4409 s Remaining CPU time: 1766.56 s c Elapsed CPU time: 33.4679 s Remaining CPU time: 1766.53 s c Elapsed CPU time: 33.4969 s Remaining CPU time: 1766.5 s c Elapsed CPU time: 33.5249 s Remaining CPU time: 1766.48 s c Elapsed CPU time: 33.5539 s Remaining CPU time: 1766.45 s c Elapsed CPU time: 33.5819 s Remaining CPU time: 1766.42 s c Elapsed CPU time: 33.6089 s Remaining CPU time: 1766.39 s c Elapsed CPU time: 33.6379 s Remaining CPU time: 1766.36 s c Elapsed CPU time: 33.6659 s Remaining CPU time: 1766.33 s c Elapsed CPU time: 33.6939 s Remaining CPU time: 1766.31 s c Elapsed CPU time: 33.7229 s Remaining CPU time: 1766.28 s c Elapsed CPU time: 33.7509 s Remaining CPU time: 1766.25 s c Elapsed CPU time: 33.7799 s Remaining CPU time: 1766.22 s c Elapsed CPU time: 33.8079 s Remaining CPU time: 1766.19 s c Elapsed CPU time: 33.8359 s Remaining CPU time: 1766.16 s c Elapsed CPU time: 33.8649 s Remaining CPU time: 1766.14 s c Elapsed CPU time: 33.8928 s Remaining CPU time: 1766.11 s c Elapsed CPU time: 33.9208 s Remaining CPU time: 1766.08 s c Elapsed CPU time: 33.9488 s Remaining CPU time: 1766.05 s c Elapsed CPU time: 33.9778 s Remaining CPU time: 1766.02 s c Elapsed CPU time: 34.0058 s Remaining CPU time: 1765.99 s c Elapsed CPU time: 34.0338 s Remaining CPU time: 1765.97 s c Elapsed CPU time: 34.0628 s Remaining CPU time: 1765.94 s c Elapsed CPU time: 34.0908 s Remaining CPU time: 1765.91 s c Elapsed CPU time: 34.1178 s Remaining CPU time: 1765.88 s c Elapsed CPU time: 34.1458 s Remaining CPU time: 1765.85 s c Elapsed CPU time: 34.1738 s Remaining CPU time: 1765.83 s c Elapsed CPU time: 34.2018 s Remaining CPU time: 1765.8 s c Elapsed CPU time: 34.2298 s Remaining CPU time: 1765.77 s c Elapsed CPU time: 34.2578 s Remaining CPU time: 1765.74 s c Elapsed CPU time: 34.2858 s Remaining CPU time: 1765.71 s c Elapsed CPU time: 34.3138 s Remaining CPU time: 1765.69 s c Elapsed CPU time: 34.3428 s Remaining CPU time: 1765.66 s c Elapsed CPU time: 34.3708 s Remaining CPU time: 1765.63 s c Elapsed CPU time: 34.3988 s Remaining CPU time: 1765.6 s c Elapsed CPU time: 34.4268 s Remaining CPU time: 1765.57 s c Elapsed CPU time: 34.4548 s Remaining CPU time: 1765.55 s c Elapsed CPU time: 34.4828 s Remaining CPU time: 1765.52 s c Elapsed CPU time: 34.5108 s Remaining CPU time: 1765.49 s c Elapsed CPU time: 34.5397 s Remaining CPU time: 1765.46 s c Elapsed CPU time: 34.5677 s Remaining CPU time: 1765.43 s c Elapsed CPU time: 34.5947 s Remaining CPU time: 1765.41 s c Elapsed CPU time: 34.6227 s Remaining CPU time: 1765.38 s c Elapsed CPU time: 34.6517 s Remaining CPU time: 1765.35 s c Elapsed CPU time: 34.6797 s Remaining CPU time: 1765.32 s c Elapsed CPU time: 34.7077 s Remaining CPU time: 1765.29 s c Elapsed CPU time: 34.7347 s Remaining CPU time: 1765.27 s c Elapsed CPU time: 34.7617 s Remaining CPU time: 1765.24 s c Elapsed CPU time: 34.7897 s Remaining CPU time: 1765.21 s c Elapsed CPU time: 34.8177 s Remaining CPU time: 1765.18 s c Elapsed CPU time: 34.8457 s Remaining CPU time: 1765.15 s c Elapsed CPU time: 34.8747 s Remaining CPU time: 1765.13 s c Elapsed CPU time: 34.9017 s Remaining CPU time: 1765.1 s c Elapsed CPU time: 34.9307 s Remaining CPU time: 1765.07 s c Elapsed CPU time: 34.9587 s Remaining CPU time: 1765.04 s c Elapsed CPU time: 34.9877 s Remaining CPU time: 1765.01 s c Elapsed CPU time: 35.0157 s Remaining CPU time: 1764.98 s c Elapsed CPU time: 35.0437 s Remaining CPU time: 1764.96 s c Elapsed CPU time: 35.0707 s Remaining CPU time: 1764.93 s c Elapsed CPU time: 35.0987 s Remaining CPU time: 1764.9 s c Elapsed CPU time: 35.1277 s Remaining CPU time: 1764.87 s c Elapsed CPU time: 35.1547 s Remaining CPU time: 1764.85 s c Elapsed CPU time: 35.1837 s Remaining CPU time: 1764.82 s c Elapsed CPU time: 35.2106 s Remaining CPU time: 1764.79 s c Elapsed CPU time: 35.2386 s Remaining CPU time: 1764.76 s c Elapsed CPU time: 35.2666 s Remaining CPU time: 1764.73 s c Elapsed CPU time: 35.2946 s Remaining CPU time: 1764.71 s c Elapsed CPU time: 35.3226 s Remaining CPU time: 1764.68 s c Elapsed CPU time: 35.3506 s Remaining CPU time: 1764.65 s c Elapsed CPU time: 35.3796 s Remaining CPU time: 1764.62 s c Elapsed CPU time: 35.4076 s Remaining CPU time: 1764.59 s c Elapsed CPU time: 35.4356 s Remaining CPU time: 1764.56 s c Elapsed CPU time: 35.4636 s Remaining CPU time: 1764.54 s c Elapsed CPU time: 35.4916 s Remaining CPU time: 1764.51 s c Elapsed CPU time: 35.5196 s Remaining CPU time: 1764.48 s c Elapsed CPU time: 35.5476 s Remaining CPU time: 1764.45 s c Elapsed CPU time: 35.5756 s Remaining CPU time: 1764.42 s c Elapsed CPU time: 35.6026 s Remaining CPU time: 1764.4 s c Elapsed CPU time: 35.6306 s Remaining CPU time: 1764.37 s c Elapsed CPU time: 35.6596 s Remaining CPU time: 1764.34 s c Elapsed CPU time: 35.6876 s Remaining CPU time: 1764.31 s c Elapsed CPU time: 35.7156 s Remaining CPU time: 1764.28 s c Elapsed CPU time: 35.7446 s Remaining CPU time: 1764.26 s c Elapsed CPU time: 35.7726 s Remaining CPU time: 1764.23 s c Elapsed CPU time: 35.8016 s Remaining CPU time: 1764.2 s c Elapsed CPU time: 35.8296 s Remaining CPU time: 1764.17 s c Elapsed CPU time: 35.8575 s Remaining CPU time: 1764.14 s c Elapsed CPU time: 35.8865 s Remaining CPU time: 1764.11 s c Elapsed CPU time: 35.9145 s Remaining CPU time: 1764.09 s c Elapsed CPU time: 35.9435 s Remaining CPU time: 1764.06 s c Elapsed CPU time: 35.9715 s Remaining CPU time: 1764.03 s c Elapsed CPU time: 36.0005 s Remaining CPU time: 1764 s c Elapsed CPU time: 36.0285 s Remaining CPU time: 1763.97 s c Elapsed CPU time: 36.0565 s Remaining CPU time: 1763.94 s c Elapsed CPU time: 36.0845 s Remaining CPU time: 1763.92 s c Elapsed CPU time: 36.1125 s Remaining CPU time: 1763.89 s c Elapsed CPU time: 36.1415 s Remaining CPU time: 1763.86 s c Elapsed CPU time: 36.1695 s Remaining CPU time: 1763.83 s c Elapsed CPU time: 36.1985 s Remaining CPU time: 1763.8 s c Elapsed CPU time: 36.2265 s Remaining CPU time: 1763.77 s c Elapsed CPU time: 36.2555 s Remaining CPU time: 1763.74 s c Elapsed CPU time: 36.2825 s Remaining CPU time: 1763.72 s c Elapsed CPU time: 36.3115 s Remaining CPU time: 1763.69 s c Elapsed CPU time: 36.3405 s Remaining CPU time: 1763.66 s c Elapsed CPU time: 36.3695 s Remaining CPU time: 1763.63 s c Elapsed CPU time: 36.3975 s Remaining CPU time: 1763.6 s c Elapsed CPU time: 36.4245 s Remaining CPU time: 1763.58 s c Elapsed CPU time: 36.4535 s Remaining CPU time: 1763.55 s c Elapsed CPU time: 36.4815 s Remaining CPU time: 1763.52 s c Elapsed CPU time: 36.5104 s Remaining CPU time: 1763.49 s c Elapsed CPU time: 36.5394 s Remaining CPU time: 1763.46 s c Elapsed CPU time: 36.5684 s Remaining CPU time: 1763.43 s c Elapsed CPU time: 36.5964 s Remaining CPU time: 1763.4 s c Elapsed CPU time: 36.6254 s Remaining CPU time: 1763.37 s c Elapsed CPU time: 36.6534 s Remaining CPU time: 1763.35 s c Elapsed CPU time: 36.6814 s Remaining CPU time: 1763.32 s c Elapsed CPU time: 36.7094 s Remaining CPU time: 1763.29 s c Elapsed CPU time: 36.7384 s Remaining CPU time: 1763.26 s c Elapsed CPU time: 36.7664 s Remaining CPU time: 1763.23 s c Elapsed CPU time: 36.7944 s Remaining CPU time: 1763.21 s c Elapsed CPU time: 36.8224 s Remaining CPU time: 1763.18 s c Elapsed CPU time: 36.8504 s Remaining CPU time: 1763.15 s c Elapsed CPU time: 36.8794 s Remaining CPU time: 1763.12 s c Elapsed CPU time: 36.9084 s Remaining CPU time: 1763.09 s c Elapsed CPU time: 36.9364 s Remaining CPU time: 1763.06 s c Elapsed CPU time: 36.9644 s Remaining CPU time: 1763.04 s c Elapsed CPU time: 36.9934 s Remaining CPU time: 1763.01 s c Elapsed CPU time: 37.0214 s Remaining CPU time: 1762.98 s c Elapsed CPU time: 37.0504 s Remaining CPU time: 1762.95 s c Elapsed CPU time: 37.0774 s Remaining CPU time: 1762.92 s c Elapsed CPU time: 37.1064 s Remaining CPU time: 1762.89 s c Elapsed CPU time: 37.1344 s Remaining CPU time: 1762.87 s c Elapsed CPU time: 37.1634 s Remaining CPU time: 1762.84 s c Elapsed CPU time: 37.1913 s Remaining CPU time: 1762.81 s c Elapsed CPU time: 37.2203 s Remaining CPU time: 1762.78 s c Elapsed CPU time: 37.2493 s Remaining CPU time: 1762.75 s c Elapsed CPU time: 37.2763 s Remaining CPU time: 1762.72 s c Elapsed CPU time: 37.3053 s Remaining CPU time: 1762.69 s c Elapsed CPU time: 37.3333 s Remaining CPU time: 1762.67 s c Elapsed CPU time: 37.3633 s Remaining CPU time: 1762.64 s c Elapsed CPU time: 37.3913 s Remaining CPU time: 1762.61 s c Elapsed CPU time: 37.4203 s Remaining CPU time: 1762.58 s c Elapsed CPU time: 37.4483 s Remaining CPU time: 1762.55 s c Elapsed CPU time: 37.4773 s Remaining CPU time: 1762.52 s c Elapsed CPU time: 37.5063 s Remaining CPU time: 1762.49 s c Elapsed CPU time: 37.5353 s Remaining CPU time: 1762.46 s c Elapsed CPU time: 37.5643 s Remaining CPU time: 1762.44 s c Elapsed CPU time: 37.5933 s Remaining CPU time: 1762.41 s c Elapsed CPU time: 37.6203 s Remaining CPU time: 1762.38 s c Elapsed CPU time: 37.6503 s Remaining CPU time: 1762.35 s c Elapsed CPU time: 37.6783 s Remaining CPU time: 1762.32 s c Elapsed CPU time: 37.7063 s Remaining CPU time: 1762.29 s c Elapsed CPU time: 37.7353 s Remaining CPU time: 1762.26 s c Elapsed CPU time: 37.7643 s Remaining CPU time: 1762.24 s c Elapsed CPU time: 37.7943 s Remaining CPU time: 1762.21 s c Elapsed CPU time: 37.8232 s Remaining CPU time: 1762.18 s c Elapsed CPU time: 37.8522 s Remaining CPU time: 1762.15 s c Elapsed CPU time: 37.8802 s Remaining CPU time: 1762.12 s c Elapsed CPU time: 37.9102 s Remaining CPU time: 1762.09 s c Elapsed CPU time: 37.9392 s Remaining CPU time: 1762.06 s c Elapsed CPU time: 37.9682 s Remaining CPU time: 1762.03 s c Elapsed CPU time: 37.9972 s Remaining CPU time: 1762 s c Elapsed CPU time: 38.0262 s Remaining CPU time: 1761.97 s c Elapsed CPU time: 38.0542 s Remaining CPU time: 1761.95 s c Elapsed CPU time: 38.0832 s Remaining CPU time: 1761.92 s c Elapsed CPU time: 38.1122 s Remaining CPU time: 1761.89 s c Elapsed CPU time: 38.1412 s Remaining CPU time: 1761.86 s c Elapsed CPU time: 38.1702 s Remaining CPU time: 1761.83 s c Elapsed CPU time: 38.1992 s Remaining CPU time: 1761.8 s c Elapsed CPU time: 38.2282 s Remaining CPU time: 1761.77 s c Elapsed CPU time: 38.2572 s Remaining CPU time: 1761.74 s c Elapsed CPU time: 38.2862 s Remaining CPU time: 1761.71 s c Elapsed CPU time: 38.3152 s Remaining CPU time: 1761.68 s c Elapsed CPU time: 38.3432 s Remaining CPU time: 1761.66 s c Elapsed CPU time: 38.3722 s Remaining CPU time: 1761.63 s c Elapsed CPU time: 38.4012 s Remaining CPU time: 1761.6 s c Elapsed CPU time: 38.4302 s Remaining CPU time: 1761.57 s c Elapsed CPU time: 38.4582 s Remaining CPU time: 1761.54 s c Elapsed CPU time: 38.4881 s Remaining CPU time: 1761.51 s c Elapsed CPU time: 38.5161 s Remaining CPU time: 1761.48 s c Elapsed CPU time: 38.5451 s Remaining CPU time: 1761.45 s c Elapsed CPU time: 38.5741 s Remaining CPU time: 1761.43 s c Elapsed CPU time: 38.6041 s Remaining CPU time: 1761.4 s c Elapsed CPU time: 38.6331 s Remaining CPU time: 1761.37 s c Elapsed CPU time: 38.6621 s Remaining CPU time: 1761.34 s c Elapsed CPU time: 38.6901 s Remaining CPU time: 1761.31 s c Elapsed CPU time: 38.7201 s Remaining CPU time: 1761.28 s c Elapsed CPU time: 38.7481 s Remaining CPU time: 1761.25 s c Elapsed CPU time: 38.7771 s Remaining CPU time: 1761.22 s c Elapsed CPU time: 38.8061 s Remaining CPU time: 1761.19 s c Elapsed CPU time: 38.8351 s Remaining CPU time: 1761.16 s c Elapsed CPU time: 38.8641 s Remaining CPU time: 1761.14 s c Elapsed CPU time: 38.8921 s Remaining CPU time: 1761.11 s c Elapsed CPU time: 38.9201 s Remaining CPU time: 1761.08 s c Elapsed CPU time: 38.9491 s Remaining CPU time: 1761.05 s c Elapsed CPU time: 38.9781 s Remaining CPU time: 1761.02 s c Elapsed CPU time: 39.0071 s Remaining CPU time: 1760.99 s c Elapsed CPU time: 39.0361 s Remaining CPU time: 1760.96 s c Elapsed CPU time: 39.0641 s Remaining CPU time: 1760.94 s c Elapsed CPU time: 39.0941 s Remaining CPU time: 1760.91 s c Elapsed CPU time: 39.1231 s Remaining CPU time: 1760.88 s c Elapsed CPU time: 39.151 s Remaining CPU time: 1760.85 s c Elapsed CPU time: 39.18 s Remaining CPU time: 1760.82 s c Elapsed CPU time: 39.208 s Remaining CPU time: 1760.79 s c Elapsed CPU time: 39.238 s Remaining CPU time: 1760.76 s c Elapsed CPU time: 39.268 s Remaining CPU time: 1760.73 s c Elapsed CPU time: 39.296 s Remaining CPU time: 1760.7 s c Elapsed CPU time: 39.325 s Remaining CPU time: 1760.67 s c Elapsed CPU time: 39.353 s Remaining CPU time: 1760.65 s c Elapsed CPU time: 39.382 s Remaining CPU time: 1760.62 s c Elapsed CPU time: 39.41 s Remaining CPU time: 1760.59 s c Elapsed CPU time: 39.439 s Remaining CPU time: 1760.56 s c Elapsed CPU time: 39.468 s Remaining CPU time: 1760.53 s c Elapsed CPU time: 39.496 s Remaining CPU time: 1760.5 s c Elapsed CPU time: 39.525 s Remaining CPU time: 1760.48 s c Elapsed CPU time: 39.555 s Remaining CPU time: 1760.45 s c Elapsed CPU time: 39.583 s Remaining CPU time: 1760.42 s c Elapsed CPU time: 39.613 s Remaining CPU time: 1760.39 s c Elapsed CPU time: 39.64 s Remaining CPU time: 1760.36 s c Elapsed CPU time: 39.671 s Remaining CPU time: 1760.33 s c Elapsed CPU time: 39.699 s Remaining CPU time: 1760.3 s c Elapsed CPU time: 39.729 s Remaining CPU time: 1760.27 s c Elapsed CPU time: 39.757 s Remaining CPU time: 1760.24 s c Elapsed CPU time: 39.787 s Remaining CPU time: 1760.21 s c Elapsed CPU time: 39.8149 s Remaining CPU time: 1760.19 s c Elapsed CPU time: 39.8449 s Remaining CPU time: 1760.16 s c Elapsed CPU time: 39.8729 s Remaining CPU time: 1760.13 s c Elapsed CPU time: 39.9029 s Remaining CPU time: 1760.1 s c Elapsed CPU time: 39.9309 s Remaining CPU time: 1760.07 s c Elapsed CPU time: 39.9599 s Remaining CPU time: 1760.04 s c Elapsed CPU time: 39.9889 s Remaining CPU time: 1760.01 s c Elapsed CPU time: 40.0179 s Remaining CPU time: 1759.98 s c Elapsed CPU time: 40.0459 s Remaining CPU time: 1759.95 s c Elapsed CPU time: 40.0759 s Remaining CPU time: 1759.92 s c Elapsed CPU time: 40.1049 s Remaining CPU time: 1759.9 s c Elapsed CPU time: 40.1339 s Remaining CPU time: 1759.87 s c Elapsed CPU time: 40.1629 s Remaining CPU time: 1759.84 s c Elapsed CPU time: 40.1919 s Remaining CPU time: 1759.81 s c Elapsed CPU time: 40.2229 s Remaining CPU time: 1759.78 s c Elapsed CPU time: 40.2519 s Remaining CPU time: 1759.75 s c Elapsed CPU time: 40.2809 s Remaining CPU time: 1759.72 s c Elapsed CPU time: 40.3099 s Remaining CPU time: 1759.69 s c Elapsed CPU time: 40.3409 s Remaining CPU time: 1759.66 s c Elapsed CPU time: 40.3699 s Remaining CPU time: 1759.63 s c Elapsed CPU time: 40.3989 s Remaining CPU time: 1759.6 s c Elapsed CPU time: 40.4279 s Remaining CPU time: 1759.57 s c Elapsed CPU time: 40.4578 s Remaining CPU time: 1759.54 s c Elapsed CPU time: 40.4878 s Remaining CPU time: 1759.51 s c Elapsed CPU time: 40.5168 s Remaining CPU time: 1759.48 s c Elapsed CPU time: 40.5468 s Remaining CPU time: 1759.45 s c Elapsed CPU time: 40.5748 s Remaining CPU time: 1759.43 s c Elapsed CPU time: 40.6038 s Remaining CPU time: 1759.4 s c Elapsed CPU time: 40.6338 s Remaining CPU time: 1759.37 s c Elapsed CPU time: 40.6638 s Remaining CPU time: 1759.34 s c Elapsed CPU time: 40.6938 s Remaining CPU time: 1759.31 s c Elapsed CPU time: 40.7228 s Remaining CPU time: 1759.28 s c Elapsed CPU time: 40.7528 s Remaining CPU time: 1759.25 s c Elapsed CPU time: 40.7818 s Remaining CPU time: 1759.22 s c Elapsed CPU time: 40.8128 s Remaining CPU time: 1759.19 s c Elapsed CPU time: 40.8418 s Remaining CPU time: 1759.16 s c Elapsed CPU time: 40.8718 s Remaining CPU time: 1759.13 s c Elapsed CPU time: 40.8998 s Remaining CPU time: 1759.1 s c Elapsed CPU time: 40.9298 s Remaining CPU time: 1759.07 s c Elapsed CPU time: 40.9588 s Remaining CPU time: 1759.04 s c Elapsed CPU time: 40.9888 s Remaining CPU time: 1759.01 s c Elapsed CPU time: 41.0168 s Remaining CPU time: 1758.98 s c Elapsed CPU time: 41.0468 s Remaining CPU time: 1758.95 s c Elapsed CPU time: 41.0768 s Remaining CPU time: 1758.92 s c Elapsed CPU time: 41.1058 s Remaining CPU time: 1758.89 s c Elapsed CPU time: 41.1357 s Remaining CPU time: 1758.86 s c Elapsed CPU time: 41.1647 s Remaining CPU time: 1758.84 s c Elapsed CPU time: 41.1947 s Remaining CPU time: 1758.81 s c Elapsed CPU time: 41.2237 s Remaining CPU time: 1758.78 s c Elapsed CPU time: 41.2537 s Remaining CPU time: 1758.75 s c Elapsed CPU time: 41.2827 s Remaining CPU time: 1758.72 s c Elapsed CPU time: 41.3117 s Remaining CPU time: 1758.69 s c Elapsed CPU time: 41.3407 s Remaining CPU time: 1758.66 s c Elapsed CPU time: 41.3707 s Remaining CPU time: 1758.63 s c Elapsed CPU time: 41.3997 s Remaining CPU time: 1758.6 s c Elapsed CPU time: 41.4297 s Remaining CPU time: 1758.57 s c Elapsed CPU time: 41.4597 s Remaining CPU time: 1758.54 s c Elapsed CPU time: 41.4887 s Remaining CPU time: 1758.51 s c Elapsed CPU time: 41.5177 s Remaining CPU time: 1758.48 s c Elapsed CPU time: 41.5467 s Remaining CPU time: 1758.45 s c Elapsed CPU time: 41.5767 s Remaining CPU time: 1758.42 s c Elapsed CPU time: 41.6057 s Remaining CPU time: 1758.39 s c Elapsed CPU time: 41.6357 s Remaining CPU time: 1758.36 s c Elapsed CPU time: 41.6657 s Remaining CPU time: 1758.33 s c Elapsed CPU time: 41.6947 s Remaining CPU time: 1758.31 s c Elapsed CPU time: 41.7247 s Remaining CPU time: 1758.28 s c Elapsed CPU time: 41.7537 s Remaining CPU time: 1758.25 s c Elapsed CPU time: 41.7836 s Remaining CPU time: 1758.22 s c Elapsed CPU time: 41.8126 s Remaining CPU time: 1758.19 s c Elapsed CPU time: 41.8426 s Remaining CPU time: 1758.16 s c Elapsed CPU time: 41.8726 s Remaining CPU time: 1758.13 s c Elapsed CPU time: 41.9026 s Remaining CPU time: 1758.1 s c Elapsed CPU time: 41.9306 s Remaining CPU time: 1758.07 s c Elapsed CPU time: 41.9606 s Remaining CPU time: 1758.04 s c Elapsed CPU time: 41.9886 s Remaining CPU time: 1758.01 s c Elapsed CPU time: 42.0186 s Remaining CPU time: 1757.98 s c Elapsed CPU time: 42.0476 s Remaining CPU time: 1757.95 s c Elapsed CPU time: 42.0786 s Remaining CPU time: 1757.92 s c Elapsed CPU time: 42.1066 s Remaining CPU time: 1757.89 s c Elapsed CPU time: 42.1366 s Remaining CPU time: 1757.86 s c Elapsed CPU time: 42.1666 s Remaining CPU time: 1757.83 s c Elapsed CPU time: 42.1966 s Remaining CPU time: 1757.8 s c Elapsed CPU time: 42.2256 s Remaining CPU time: 1757.77 s c Elapsed CPU time: 42.2566 s Remaining CPU time: 1757.74 s c Elapsed CPU time: 42.2856 s Remaining CPU time: 1757.71 s c Elapsed CPU time: 42.3156 s Remaining CPU time: 1757.68 s c Elapsed CPU time: 42.3446 s Remaining CPU time: 1757.66 s c Elapsed CPU time: 42.3736 s Remaining CPU time: 1757.63 s c Elapsed CPU time: 42.4036 s Remaining CPU time: 1757.6 s c Elapsed CPU time: 42.4335 s Remaining CPU time: 1757.57 s c Elapsed CPU time: 42.4635 s Remaining CPU time: 1757.54 s c Elapsed CPU time: 42.4925 s Remaining CPU time: 1757.51 s c Elapsed CPU time: 42.5215 s Remaining CPU time: 1757.48 s c Elapsed CPU time: 42.5515 s Remaining CPU time: 1757.45 s c Elapsed CPU time: 42.5815 s Remaining CPU time: 1757.42 s c Elapsed CPU time: 42.6105 s Remaining CPU time: 1757.39 s c Elapsed CPU time: 42.6405 s Remaining CPU time: 1757.36 s c Elapsed CPU time: 42.6695 s Remaining CPU time: 1757.33 s c Elapsed CPU time: 42.6995 s Remaining CPU time: 1757.3 s c Elapsed CPU time: 42.7285 s Remaining CPU time: 1757.27 s c Elapsed CPU time: 42.7585 s Remaining CPU time: 1757.24 s c Elapsed CPU time: 42.7875 s Remaining CPU time: 1757.21 s c Elapsed CPU time: 42.8155 s Remaining CPU time: 1757.18 s c Elapsed CPU time: 42.8455 s Remaining CPU time: 1757.15 s c Elapsed CPU time: 42.8745 s Remaining CPU time: 1757.13 s c Elapsed CPU time: 42.9035 s Remaining CPU time: 1757.1 s c Elapsed CPU time: 42.9335 s Remaining CPU time: 1757.07 s c Elapsed CPU time: 42.9625 s Remaining CPU time: 1757.04 s c Elapsed CPU time: 42.9935 s Remaining CPU time: 1757.01 s c Elapsed CPU time: 43.0225 s Remaining CPU time: 1756.98 s c Elapsed CPU time: 43.0535 s Remaining CPU time: 1756.95 s c Elapsed CPU time: 43.0825 s Remaining CPU time: 1756.92 s c Elapsed CPU time: 43.1124 s Remaining CPU time: 1756.89 s c Elapsed CPU time: 43.1414 s Remaining CPU time: 1756.86 s c Elapsed CPU time: 43.1714 s Remaining CPU time: 1756.83 s c Elapsed CPU time: 43.2014 s Remaining CPU time: 1756.8 s c Elapsed CPU time: 43.2304 s Remaining CPU time: 1756.77 s c Elapsed CPU time: 43.2604 s Remaining CPU time: 1756.74 s c Elapsed CPU time: 43.2904 s Remaining CPU time: 1756.71 s c Elapsed CPU time: 43.3204 s Remaining CPU time: 1756.68 s c Elapsed CPU time: 43.3494 s Remaining CPU time: 1756.65 s c Elapsed CPU time: 43.3784 s Remaining CPU time: 1756.62 s c Elapsed CPU time: 43.4084 s Remaining CPU time: 1756.59 s c Elapsed CPU time: 43.4384 s Remaining CPU time: 1756.56 s c Elapsed CPU time: 43.4684 s Remaining CPU time: 1756.53 s c Elapsed CPU time: 43.4984 s Remaining CPU time: 1756.5 s c Elapsed CPU time: 43.5274 s Remaining CPU time: 1756.47 s c Elapsed CPU time: 43.5574 s Remaining CPU time: 1756.44 s c Elapsed CPU time: 43.5864 s Remaining CPU time: 1756.41 s c Elapsed CPU time: 43.6174 s Remaining CPU time: 1756.38 s c Elapsed CPU time: 43.6464 s Remaining CPU time: 1756.35 s c Elapsed CPU time: 43.6764 s Remaining CPU time: 1756.32 s c Elapsed CPU time: 43.7064 s Remaining CPU time: 1756.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8748 11969 27135 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.7394 s Remaining CPU time: 1756.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8754 11970 27147 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.7713 s Remaining CPU time: 1756.23 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8760 11971 27159 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.8043 s Remaining CPU time: 1756.2 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8766 11972 27171 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.8373 s Remaining CPU time: 1756.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8772 11973 27183 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.8713 s Remaining CPU time: 1756.13 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8778 11974 27195 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.9053 s Remaining CPU time: 1756.09 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8784 11975 27207 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.9403 s Remaining CPU time: 1756.06 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8790 11976 27219 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 43.9743 s Remaining CPU time: 1756.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8832 11977 27303 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.0093 s Remaining CPU time: 1755.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8838 11978 27315 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.0443 s Remaining CPU time: 1755.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8844 11979 27327 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.0783 s Remaining CPU time: 1755.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8850 11980 27339 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.1143 s Remaining CPU time: 1755.89 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8856 11981 27351 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.1493 s Remaining CPU time: 1755.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8901 11982 27441 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.1863 s Remaining CPU time: 1755.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8946 11983 27531 | 5000 0 nan | 0.000 % | c | 101 | 8946 11983 27531 | 5500 101 21 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.2363 s Remaining CPU time: 1755.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8991 11984 27621 | 5000 0 nan | 0.000 % | c | 101 | 8991 11984 27621 | 5500 101 39 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.2813 s Remaining CPU time: 1755.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8997 11985 27633 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.3163 s Remaining CPU time: 1755.68 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9003 11986 27645 | 5000 0 nan | 0.000 % | c | 101 | 9003 11986 27645 | 5500 101 39 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.3613 s Remaining CPU time: 1755.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9009 11987 27657 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.3952 s Remaining CPU time: 1755.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9015 11988 27669 | 5000 0 nan | 0.000 % | c | 101 | 9015 11988 27669 | 5500 101 39 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.4452 s Remaining CPU time: 1755.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9090 11989 27819 | 5000 0 nan | 0.000 % | c | 101 | 9090 11989 27819 | 5500 101 47 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.4872 s Remaining CPU time: 1755.51 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9096 11990 27831 | 5000 0 nan | 0.000 % | c | 103 | 9096 11990 27831 | 5500 103 40 | 0.000 % | c | 254 | 9095 11990 27831 | 6050 254 24 | 0.011 % | c =============================================================================== c Elapsed CPU time: 44.5442 s Remaining CPU time: 1755.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9195 11991 28029 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.5902 s Remaining CPU time: 1755.41 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9240 11992 28119 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.6312 s Remaining CPU time: 1755.37 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9291 11993 28221 | 5000 0 nan | 0.000 % | c | 101 | 9291 11993 28221 | 5500 101 14 | 0.000 % | c | 251 | 9289 11993 28221 | 6050 251 11 | 0.022 % | c | 482 | 9285 11993 28221 | 6655 462 10 | 0.065 % | c =============================================================================== c Elapsed CPU time: 44.7222 s Remaining CPU time: 1755.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9426 11994 28491 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.7592 s Remaining CPU time: 1755.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9432 11995 28503 | 5000 0 nan | 0.000 % | c | 102 | 9432 11995 28503 | 5500 102 17 | 0.000 % | c | 254 | 9432 11995 28503 | 6050 254 14 | 0.000 % | c =============================================================================== c Elapsed CPU time: 44.8152 s Remaining CPU time: 1755.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9489 11996 28617 | 5000 0 nan | 0.000 % | c | 100 | 9488 11996 28617 | 5500 100 18 | 0.011 % | c | 253 | 9488 11996 28617 | 6050 253 12 | 0.011 % | c | 479 | 9488 11996 28617 | 6655 478 12 | 0.011 % | c | 816 | 9487 11996 28617 | 7320 814 16 | 0.021 % | c | 1323 | 9487 11996 28617 | 8052 1321 19 | 0.021 % | c | 2083 | 9487 11996 28617 | 8857 2081 21 | 0.021 % | c | 3222 | 9487 11996 28617 | 9743 3220 25 | 0.021 % | c | 4932 | 9487 11996 28617 | 10717 4930 29 | 0.021 % | c =============================================================================== c Elapsed CPU time: 45.7101 s Remaining CPU time: 1754.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9696 11997 29031 | 5000 0 nan | 0.000 % | c | 102 | 9696 11997 29031 | 5500 102 13 | 0.000 % | c | 254 | 9696 11997 29031 | 6050 254 9 | 0.000 % | c | 480 | 9695 11997 29031 | 6655 479 9 | 0.010 % | c =============================================================================== c Elapsed CPU time: 45.825 s Remaining CPU time: 1754.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9810 11998 29259 | 5000 0 nan | 0.000 % | c | 100 | 9810 11998 29259 | 5500 100 29 | 0.000 % | c | 253 | 9810 11998 29259 | 6050 253 21 | 0.000 % | c | 478 | 9810 11998 29259 | 6655 478 34 | 0.000 % | c | 815 | 9810 11998 29259 | 7320 815 26 | 0.000 % | c | 1321 | 9810 11998 29259 | 8052 1321 32 | 0.000 % | c | 2080 | 9810 11998 29259 | 8857 2080 26 | 0.000 % | c | 3219 | 9810 11998 29259 | 9743 3219 33 | 0.000 % | c | 4928 | 9810 11998 29259 | 10717 4928 29 | 0.000 % | c | 7490 | 9809 11998 29259 | 11789 7489 29 | 0.010 % | c | 11334 | 9809 11998 29259 | 12968 11333 36 | 0.010 % | c | 17101 | 9808 11998 29259 | 14265 10107 40 | 0.021 % | c | 25750 | 9807 11998 29259 | 15692 11435 34 | 0.031 % | c | 38725 | 9807 11998 29259 | 17261 8352 40 | 0.031 % | c | 58189 | 9807 11998 29259 | 18987 10421 49 | 0.031 % | c =============================================================================== c Elapsed CPU time: 66.4189 s Remaining CPU time: 1733.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10089 11999 29817 | 5000 0 nan | 0.000 % | c | 101 | 10089 11999 29817 | 5500 101 15 | 0.000 % | c | 252 | 10089 11999 29817 | 6050 252 13 | 0.000 % | c | 477 | 10089 11999 29817 | 6655 477 15 | 0.000 % | c | 814 | 10089 11999 29817 | 7320 814 21 | 0.000 % | c | 1320 | 10089 11999 29817 | 8052 1320 19 | 0.000 % | c | 2079 | 10089 11999 29817 | 8857 2079 18 | 0.000 % | c | 3218 | 10089 11999 29817 | 9743 3218 20 | 0.000 % | c | 4927 | 10089 11999 29817 | 10717 4927 22 | 0.000 % | c | 7489 | 10089 11999 29817 | 11789 7489 26 | 0.000 % | c | 11333 | 10089 11999 29817 | 12968 11333 33 | 0.000 % | c | 17102 | 10089 11999 29817 | 14265 10587 44 | 0.000 % | c =============================================================================== c Elapsed CPU time: 76.1674 s Remaining CPU time: 1723.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10275 12000 30189 | 5000 0 nan | 0.000 % | c | 101 | 10275 12000 30189 | 5500 101 18 | 0.000 % | c | 254 | 10275 12000 30189 | 6050 254 14 | 0.000 % | c | 481 | 10275 12000 30189 | 6655 481 18 | 0.000 % | c | 818 | 10275 12000 30189 | 7320 818 16 | 0.000 % | c | 1325 | 10275 12000 30189 | 8052 1325 25 | 0.000 % | c | 2084 | 10275 12000 30189 | 8857 2084 23 | 0.000 % | c | 3225 | 10275 12000 30189 | 9743 3225 36 | 0.000 % | c | 4934 | 10275 12000 30189 | 10717 4934 33 | 0.000 % | c | 7498 | 10275 12000 30189 | 11789 7498 38 | 0.000 % | c | 11344 | 10275 12000 30189 | 12968 11344 38 | 0.000 % | c | 17110 | 10275 12000 30189 | 14265 10246 42 | 0.000 % | c | 25759 | 10274 12000 30189 | 15692 11329 47 | 0.010 % | c | 38734 | 10274 12000 30189 | 17261 15975 58 | 0.010 % | c | 58201 | 10274 12000 30189 | 18987 17762 46 | 0.010 % | c | 87393 | 10274 12000 30189 | 20886 16819 68 | 0.010 % | c | 131184 | 10274 12000 30189 | 22974 18061 88 | 0.010 % | c | 196870 | 10274 12000 30189 | 25272 12282 98 | 0.010 % | c =============================================================================== c Elapsed CPU time: 161.793 s Remaining CPU time: 1638.21 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10608 12001 30855 | 5000 0 nan | 0.000 % | c | 100 | 10608 12001 30855 | 5500 100 21 | 0.000 % | c | 251 | 10608 12001 30855 | 6050 251 21 | 0.000 % | c | 477 | 10608 12001 30855 | 6655 477 20 | 0.000 % | c | 814 | 10608 12001 30855 | 7320 814 22 | 0.000 % | c | 1324 | 10608 12001 30855 | 8052 1324 25 | 0.000 % | c | 2088 | 10608 12001 30855 | 8857 2088 25 | 0.000 % | c | 3227 | 10608 12001 30855 | 9743 3227 33 | 0.000 % | c | 4935 | 10608 12001 30855 | 10717 4935 34 | 0.000 % | c | 7498 | 10608 12001 30855 | 11789 7498 42 | 0.000 % | c | 11348 | 10608 12001 30855 | 12968 11348 48 | 0.000 % | c | 17115 | 10608 12001 30855 | 14265 10350 53 | 0.000 % | c | 25764 | 10608 12001 30855 | 15692 11678 60 | 0.000 % | c | 38738 | 10608 12001 30855 | 17261 8411 76 | 0.000 % | c | 58201 | 10608 12001 30855 | 18987 9922 42 | 0.000 % | c | 87393 | 10608 12001 30855 | 20886 10117 61 | 0.000 % | c | 131185 | 10608 12001 30855 | 22974 21560 64 | 0.000 % | c | 196870 | 10608 12001 30855 | 25272 15485 55 | 0.000 % | c | 295396 | 10608 12001 30855 | 27799 19444 99 | 0.000 % | c | 443185 | 10608 12001 30855 | 30579 19409 82 | 0.000 % |