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: 2782 | c | Number of clauses: 7299 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2782 | c | Number Clauses: 7299 | 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.009998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.014997 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.024996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.034994 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.045993 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06199 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.071989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.12998 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.139978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.202969 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.213967 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s c Elapsed CPU time: 0.250961 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.26096 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.271958 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.281957 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.312952 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.32295 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.333949 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.339948 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.349946 s Remaining CPU time: 1799.65 s c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.387941 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.398939 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.414936 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.425935 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.446932 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s c Elapsed CPU time: 0.463929 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.474927 s Remaining CPU time: 1799.53 s c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.490925 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.500923 s Remaining CPU time: 1799.5 s c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.511922 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.52292 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.539917 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.550916 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.556915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.567913 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.578911 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.630904 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.642902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s c Elapsed CPU time: 0.666898 s Remaining CPU time: 1799.33 s c Elapsed CPU time: 0.672897 s Remaining CPU time: 1799.33 s c Elapsed CPU time: 0.677896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.689895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.701893 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.713891 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.71989 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.731888 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.742887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.760884 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.772882 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s c Elapsed CPU time: 0.78488 s Remaining CPU time: 1799.22 s c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s c Elapsed CPU time: 0.796878 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.820875 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.832873 s Remaining CPU time: 1799.17 s c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.845871 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.85187 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.863868 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.876866 s Remaining CPU time: 1799.12 s c Elapsed CPU time: 0.882865 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.895863 s Remaining CPU time: 1799.1 s c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s c Elapsed CPU time: 0.907861 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 0.926859 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 0.971852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.977851 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.989849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.04784 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.05484 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.07984 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11983 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.13183 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.13783 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s c Elapsed CPU time: 1.15882 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.18482 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.19082 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.21081 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.22481 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.23181 s Remaining CPU time: 1798.77 s c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.24581 s Remaining CPU time: 1798.75 s c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s c Elapsed CPU time: 1.25981 s Remaining CPU time: 1798.74 s c Elapsed CPU time: 1.26681 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.2808 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.2948 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.3088 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.3148 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.3298 s Remaining CPU time: 1798.67 s c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s c Elapsed CPU time: 1.3438 s Remaining CPU time: 1798.66 s c Elapsed CPU time: 1.35079 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.36479 s Remaining CPU time: 1798.64 s c Elapsed CPU time: 1.37179 s Remaining CPU time: 1798.63 s c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.42978 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.44478 s Remaining CPU time: 1798.56 s c Elapsed CPU time: 1.45178 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.45878 s Remaining CPU time: 1798.54 s c Elapsed CPU time: 1.46578 s Remaining CPU time: 1798.53 s c Elapsed CPU time: 1.47378 s Remaining CPU time: 1798.53 s c Elapsed CPU time: 1.48077 s Remaining CPU time: 1798.52 s c Elapsed CPU time: 1.48777 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.53277 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.53977 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.55476 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.56176 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.56976 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.58476 s Remaining CPU time: 1798.42 s c Elapsed CPU time: 1.59176 s Remaining CPU time: 1798.41 s c Elapsed CPU time: 1.59976 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.61575 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.63075 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.63775 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.64575 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.66075 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.66875 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.67575 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.68374 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s c Elapsed CPU time: 1.70674 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.72774 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.73574 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.74373 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.75873 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.76673 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.77473 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.78273 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.80573 s Remaining CPU time: 1798.19 s c Elapsed CPU time: 1.81372 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.82972 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.84472 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.85972 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.86772 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.87571 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 1.90671 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 1.91471 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 1.92171 s Remaining CPU time: 1798.08 s c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s c Elapsed CPU time: 1.93771 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 1.9617 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 1.9697 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 1.9777 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 1.9857 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.00969 s Remaining CPU time: 1797.99 s c Elapsed CPU time: 2.01769 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.02569 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.03369 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.04969 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.05769 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.07368 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.09768 s Remaining CPU time: 1797.9 s c Elapsed CPU time: 2.10468 s Remaining CPU time: 1797.9 s c Elapsed CPU time: 2.11268 s Remaining CPU time: 1797.89 s c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.12868 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.13667 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.14467 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.15267 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.16867 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.18467 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.19267 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.20066 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.20866 s Remaining CPU time: 1797.79 s c Elapsed CPU time: 2.21666 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.23266 s Remaining CPU time: 1797.77 s c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.25666 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.26465 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.27365 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.28165 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.28965 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.29765 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.31365 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.32265 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.33964 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.36364 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.37264 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.38064 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.39663 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.41363 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.43863 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.44663 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.45463 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.46263 s Remaining CPU time: 1797.54 s c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s c Elapsed CPU time: 2.47962 s Remaining CPU time: 1797.52 s c Elapsed CPU time: 2.48762 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.49562 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.50362 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.51162 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.51962 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s c Elapsed CPU time: 2.53561 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.54461 s Remaining CPU time: 1797.46 s c Elapsed CPU time: 2.55261 s Remaining CPU time: 1797.45 s c Elapsed CPU time: 2.56061 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.57761 s Remaining CPU time: 1797.42 s c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s c Elapsed CPU time: 2.59461 s Remaining CPU time: 1797.41 s c Elapsed CPU time: 2.6036 s Remaining CPU time: 1797.4 s c Elapsed CPU time: 2.6116 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.6206 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.6286 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.6446 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.6536 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.67059 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s c Elapsed CPU time: 2.68759 s Remaining CPU time: 1797.31 s c Elapsed CPU time: 2.69659 s Remaining CPU time: 1797.3 s c Elapsed CPU time: 2.70459 s Remaining CPU time: 1797.3 s c Elapsed CPU time: 2.71359 s Remaining CPU time: 1797.29 s c Elapsed CPU time: 2.72159 s Remaining CPU time: 1797.28 s c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.75558 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.77158 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.78958 s Remaining CPU time: 1797.21 s c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s c Elapsed CPU time: 2.80557 s Remaining CPU time: 1797.19 s c Elapsed CPU time: 2.81457 s Remaining CPU time: 1797.19 s c Elapsed CPU time: 2.82257 s Remaining CPU time: 1797.18 s c Elapsed CPU time: 2.83157 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.84757 s Remaining CPU time: 1797.15 s c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s c Elapsed CPU time: 2.86556 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.87456 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.89156 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 2.90056 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 2.90956 s Remaining CPU time: 1797.09 s c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s c Elapsed CPU time: 2.92755 s Remaining CPU time: 1797.07 s c Elapsed CPU time: 2.93555 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 2.95255 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 2.96155 s Remaining CPU time: 1797.04 s c Elapsed CPU time: 2.97055 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 2.97855 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 2.98754 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 2.99654 s Remaining CPU time: 1797 s c Elapsed CPU time: 3.00554 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.01354 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.02254 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s c Elapsed CPU time: 3.04854 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.05754 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.07553 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.08453 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.09253 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.10153 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.11952 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.12852 s Remaining CPU time: 1796.87 s c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.14652 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.15552 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.16452 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.17352 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.18252 s Remaining CPU time: 1796.82 s c Elapsed CPU time: 3.19051 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.19951 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.20851 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.21751 s Remaining CPU time: 1796.78 s c Elapsed CPU time: 3.22651 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.23451 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.24351 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.2615 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.2705 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.2885 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.2975 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.3065 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.33349 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.34249 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.35149 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.36049 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.37049 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.37949 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.39748 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.40648 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.41548 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.43348 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.44348 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.47047 s Remaining CPU time: 1796.53 s c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.48947 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s c Elapsed CPU time: 3.50747 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.51647 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.56246 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.58046 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.58945 s Remaining CPU time: 1796.41 s c Elapsed CPU time: 3.59845 s Remaining CPU time: 1796.4 s c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.61745 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.62645 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.63545 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.65444 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.66344 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.68244 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.69144 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.70044 s Remaining CPU time: 1796.3 s c Elapsed CPU time: 3.71043 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.72843 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.73843 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.74743 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.75643 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.76643 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.77543 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.78442 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.79342 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.80242 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.82142 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.83042 s Remaining CPU time: 1796.17 s c Elapsed CPU time: 3.84042 s Remaining CPU time: 1796.16 s c Elapsed CPU time: 3.84941 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.86841 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.87741 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 3.89641 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 3.90541 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 3.9154 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 3.9254 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 3.9434 s Remaining CPU time: 1796.06 s c Elapsed CPU time: 3.9534 s Remaining CPU time: 1796.05 s c Elapsed CPU time: 3.9624 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 3.98139 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 3.99039 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.00039 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.01039 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.01939 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.02939 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.03839 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.04838 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.05738 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.06638 s Remaining CPU time: 1795.93 s c Elapsed CPU time: 4.07638 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.08538 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.09538 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.10538 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.13337 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.15037 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.16037 s Remaining CPU time: 1795.84 s c Elapsed CPU time: 4.17037 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.17936 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.18936 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.19936 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.20836 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.22736 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.23735 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.24735 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.25635 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.26635 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.28635 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.29535 s Remaining CPU time: 1795.7 s c Elapsed CPU time: 4.30534 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.31534 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.32434 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.33434 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.34434 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.35434 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.37333 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.38333 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.39333 s Remaining CPU time: 1795.61 s c Elapsed CPU time: 4.40233 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.41333 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.42233 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.43233 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.44232 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.45232 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.46232 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.47132 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.48032 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.50031 s Remaining CPU time: 1795.5 s c Elapsed CPU time: 4.50931 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.51931 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.52931 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.53931 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.54931 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.5693 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.5783 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.5883 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.5983 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.6073 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.6173 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.6273 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.63729 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.64729 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.65729 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.67729 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.69629 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.70628 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.71628 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.72628 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.73628 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.74628 s Remaining CPU time: 1795.25 s c Elapsed CPU time: 4.75628 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.76628 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.78627 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.79627 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.80727 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.81727 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.82827 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.84826 s Remaining CPU time: 1795.15 s c Elapsed CPU time: 4.85926 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.86926 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.87926 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 4.90025 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 4.91125 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 4.92125 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 4.93125 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 4.94125 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 4.95225 s Remaining CPU time: 1795.05 s c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 4.97324 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 4.98424 s Remaining CPU time: 1795.02 s c Elapsed CPU time: 4.99424 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.00524 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.01524 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.02623 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.03723 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.04723 s Remaining CPU time: 1794.95 s c Elapsed CPU time: 5.05823 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.06823 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.07923 s Remaining CPU time: 1794.92 s c Elapsed CPU time: 5.08923 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.10022 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.11122 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.12122 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.13222 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.14322 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.15322 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.16421 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.17521 s Remaining CPU time: 1794.82 s c Elapsed CPU time: 5.18521 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.19521 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.20621 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.21621 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.2272 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.2382 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.2482 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s c Elapsed CPU time: 5.2702 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.2812 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.29219 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.30219 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.31319 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.32419 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.33519 s Remaining CPU time: 1794.66 s c Elapsed CPU time: 5.34519 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.35618 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.36718 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.37818 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.38918 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.39918 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.41018 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.42117 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.43217 s Remaining CPU time: 1794.57 s c Elapsed CPU time: 5.44317 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.45417 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.46417 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.47517 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.48616 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.49716 s Remaining CPU time: 1794.5 s c Elapsed CPU time: 5.50816 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.51916 s Remaining CPU time: 1794.48 s c Elapsed CPU time: 5.53016 s Remaining CPU time: 1794.47 s c Elapsed CPU time: 5.54116 s Remaining CPU time: 1794.46 s c Elapsed CPU time: 5.55215 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.56315 s Remaining CPU time: 1794.44 s c Elapsed CPU time: 5.57315 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.59415 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.60515 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.61615 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.62714 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.63814 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.64914 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.66014 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.67114 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.68214 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.69313 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.70413 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.71513 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.72613 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.73613 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.74613 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.75712 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.76812 s Remaining CPU time: 1794.23 s c Elapsed CPU time: 5.77912 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.78912 s Remaining CPU time: 1794.21 s c Elapsed CPU time: 5.80012 s Remaining CPU time: 1794.2 s c Elapsed CPU time: 5.81012 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.82111 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.83211 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.84311 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.85411 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.87611 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.88711 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 5.8981 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 5.9091 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 5.9201 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 5.9311 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 5.9421 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 5.95309 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 5.96409 s Remaining CPU time: 1794.04 s c Elapsed CPU time: 5.97509 s Remaining CPU time: 1794.02 s c Elapsed CPU time: 5.98609 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 5.99709 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.00809 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.02008 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.03108 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.04208 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.05308 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.06408 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.08607 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.09707 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.10807 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.12007 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.13107 s Remaining CPU time: 1793.87 s c Elapsed CPU time: 6.14207 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.15306 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.16406 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.17506 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.18706 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.19806 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.20906 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.22005 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.23205 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.25405 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.26505 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.27705 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.28804 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.29904 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.31104 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.32204 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.33304 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.34403 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.35603 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.36703 s Remaining CPU time: 1793.63 s c Elapsed CPU time: 6.37803 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.39003 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.40103 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.41202 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.42302 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.43402 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.44602 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.45702 s Remaining CPU time: 1793.54 s c Elapsed CPU time: 6.46802 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.48001 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.49201 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.50201 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.51401 s Remaining CPU time: 1793.49 s c Elapsed CPU time: 6.52501 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.53701 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.548 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.56 s Remaining CPU time: 1793.44 s c Elapsed CPU time: 6.571 s Remaining CPU time: 1793.43 s c Elapsed CPU time: 6.583 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.594 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.606 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.61699 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.62899 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.63999 s Remaining CPU time: 1793.36 s c Elapsed CPU time: 6.65199 s Remaining CPU time: 1793.35 s c Elapsed CPU time: 6.66399 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.67598 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.68698 s Remaining CPU time: 1793.31 s c Elapsed CPU time: 6.69898 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.71098 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.72198 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.73298 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.75597 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.76797 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.77997 s Remaining CPU time: 1793.22 s c Elapsed CPU time: 6.79097 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.80297 s Remaining CPU time: 1793.2 s c Elapsed CPU time: 6.81496 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.82696 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.83796 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.85096 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.86196 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.87296 s Remaining CPU time: 1793.13 s c Elapsed CPU time: 6.88395 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.89595 s Remaining CPU time: 1793.1 s c Elapsed CPU time: 6.90795 s Remaining CPU time: 1793.09 s c Elapsed CPU time: 6.91995 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.94294 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 6.95494 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 6.96694 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 6.97894 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 6.99094 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.00293 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.01393 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.02593 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.03793 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.04993 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.06193 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.07392 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.08592 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.09692 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.10892 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.12092 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.13291 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.14391 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.15591 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.16791 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.18091 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.19191 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.2039 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.2159 s Remaining CPU time: 1792.78 s c Elapsed CPU time: 7.2279 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.2389 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.2509 s Remaining CPU time: 1792.75 s c Elapsed CPU time: 7.2629 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.28789 s Remaining CPU time: 1792.71 s c Elapsed CPU time: 7.29989 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.31189 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.32389 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.33588 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.34788 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.35988 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.37088 s Remaining CPU time: 1792.63 s c Elapsed CPU time: 7.38288 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.39588 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.40787 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.41987 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.43187 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.44387 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.45587 s Remaining CPU time: 1792.54 s c Elapsed CPU time: 7.46786 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.47986 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.49186 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.50486 s Remaining CPU time: 1792.5 s c Elapsed CPU time: 7.51686 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.52886 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.54085 s Remaining CPU time: 1792.46 s c Elapsed CPU time: 7.55285 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.56485 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.58885 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.60084 s Remaining CPU time: 1792.4 s c Elapsed CPU time: 7.61284 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.63684 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.64984 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.66183 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.67483 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.68683 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s c Elapsed CPU time: 7.71083 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.72283 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.73482 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.74682 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.75982 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.77182 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.79581 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.80781 s Remaining CPU time: 1792.19 s c Elapsed CPU time: 7.81981 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.83181 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.84381 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.85581 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.8678 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.8798 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.8928 s Remaining CPU time: 1792.11 s c Elapsed CPU time: 7.9058 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 7.9178 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 7.93079 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 7.94279 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 7.95579 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 7.96779 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 7.97979 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 7.99278 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.00478 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.01678 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.02978 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.04178 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.05477 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.06677 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.07977 s Remaining CPU time: 1791.92 s c Elapsed CPU time: 8.09177 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.10477 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.11677 s Remaining CPU time: 1791.88 s c Elapsed CPU time: 8.12976 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.14176 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.15376 s Remaining CPU time: 1791.85 s c Elapsed CPU time: 8.16676 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.17876 s Remaining CPU time: 1791.82 s c Elapsed CPU time: 8.19175 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.21675 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.22875 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.24175 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.25375 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.26674 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.27974 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.29174 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.30374 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.32973 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.34273 s Remaining CPU time: 1791.66 s c Elapsed CPU time: 8.35573 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.36873 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.38172 s Remaining CPU time: 1791.62 s c Elapsed CPU time: 8.39372 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.40672 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.41972 s Remaining CPU time: 1791.58 s c Elapsed CPU time: 8.43272 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.44572 s Remaining CPU time: 1791.55 s c Elapsed CPU time: 8.45771 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.47071 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.48371 s Remaining CPU time: 1791.52 s c Elapsed CPU time: 8.49571 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.50871 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.5207 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.5337 s Remaining CPU time: 1791.47 s c Elapsed CPU time: 8.5457 s Remaining CPU time: 1791.45 s c Elapsed CPU time: 8.5577 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.5707 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.5837 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.60969 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.62169 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.63469 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.64768 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.65968 s Remaining CPU time: 1791.34 s c Elapsed CPU time: 8.67268 s Remaining CPU time: 1791.33 s c Elapsed CPU time: 8.68468 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.69768 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.71068 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.72267 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.73567 s Remaining CPU time: 1791.26 s c Elapsed CPU time: 8.74967 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.76267 s Remaining CPU time: 1791.24 s c Elapsed CPU time: 8.77467 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.78766 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.80066 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.81366 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.82666 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.83966 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.85265 s Remaining CPU time: 1791.15 s c Elapsed CPU time: 8.86565 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.87865 s Remaining CPU time: 1791.12 s c Elapsed CPU time: 8.89165 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 8.90565 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 8.91864 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 8.93064 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 8.94464 s Remaining CPU time: 1791.06 s c Elapsed CPU time: 8.95664 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 8.96964 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 8.98363 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 8.99663 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.01063 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.02263 s Remaining CPU time: 1790.98 s c Elapsed CPU time: 9.03663 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.04962 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.07562 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.08862 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.10162 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.11461 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.12761 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.14161 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.15461 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.16761 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.1806 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.1946 s Remaining CPU time: 1790.81 s c Elapsed CPU time: 9.2076 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.2206 s Remaining CPU time: 1790.78 s c Elapsed CPU time: 9.2346 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.26159 s Remaining CPU time: 1790.74 s c Elapsed CPU time: 9.27559 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.28859 s Remaining CPU time: 1790.71 s c Elapsed CPU time: 9.30259 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.31558 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.32858 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.34258 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.35558 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.36857 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.38157 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.39557 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.40857 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.42257 s Remaining CPU time: 1790.58 s c Elapsed CPU time: 9.43557 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.44956 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.46356 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.47756 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.49056 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.50455 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.51755 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.53155 s Remaining CPU time: 1790.47 s c Elapsed CPU time: 9.54455 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.55855 s Remaining CPU time: 1790.44 s c Elapsed CPU time: 9.57154 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.58554 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.59854 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.61254 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.62654 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.64053 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.65353 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.66653 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.68053 s Remaining CPU time: 1790.32 s c Elapsed CPU time: 9.69453 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.70652 s Remaining CPU time: 1790.29 s c Elapsed CPU time: 9.71952 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.73352 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.74652 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.76052 s Remaining CPU time: 1790.24 s c Elapsed CPU time: 9.77451 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.80151 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.81551 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.8295 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.8425 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.8565 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.8695 s Remaining CPU time: 1790.13 s c Elapsed CPU time: 9.8835 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 9.89749 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 9.91049 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 9.92449 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 9.93849 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 9.95149 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 9.96548 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 9.97848 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 9.99248 s Remaining CPU time: 1790.01 s c Elapsed CPU time: 10.0065 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.0205 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.0325 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.0465 s Remaining CPU time: 1789.95 s c Elapsed CPU time: 10.0615 s Remaining CPU time: 1789.94 s c Elapsed CPU time: 10.0745 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.0895 s Remaining CPU time: 1789.91 s c Elapsed CPU time: 10.1025 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.1175 s Remaining CPU time: 1789.88 s c Elapsed CPU time: 10.1305 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.1585 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.1725 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.1865 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.2004 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.2144 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.2284 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.2424 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.2564 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.2694 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.2834 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.3124 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.3264 s Remaining CPU time: 1789.67 s c Elapsed CPU time: 10.3404 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.3544 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.3684 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.3824 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.3964 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.4104 s Remaining CPU time: 1789.59 s c Elapsed CPU time: 10.4254 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.4394 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.4524 s Remaining CPU time: 1789.55 s c Elapsed CPU time: 10.4664 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.4804 s Remaining CPU time: 1789.52 s c Elapsed CPU time: 10.4954 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.5094 s Remaining CPU time: 1789.49 s c Elapsed CPU time: 10.5234 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.5524 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.5664 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.5804 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.5954 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.6094 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.6234 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.6384 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.6524 s Remaining CPU time: 1789.35 s c Elapsed CPU time: 10.6664 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.6804 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.7094 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.7234 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.7374 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.7514 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.7784 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.7934 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.8074 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.8214 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.8364 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.8504 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.8633 s Remaining CPU time: 1789.14 s c Elapsed CPU time: 10.8783 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 10.8923 s Remaining CPU time: 1789.11 s c Elapsed CPU time: 10.9063 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.9363 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 10.9513 s Remaining CPU time: 1789.05 s c Elapsed CPU time: 10.9653 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 10.9793 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.0093 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.0233 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.0383 s Remaining CPU time: 1788.96 s c Elapsed CPU time: 11.0533 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.0683 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.0823 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.0963 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.1103 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.1253 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.1403 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.1693 s Remaining CPU time: 1788.83 s c Elapsed CPU time: 11.1833 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.1983 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.2133 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.2283 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.2573 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.2723 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.2873 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.3023 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.3173 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.3323 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.3473 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.3613 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.3763 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.3913 s Remaining CPU time: 1788.61 s c Elapsed CPU time: 11.4063 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.4213 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.4353 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.4503 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.4643 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.4783 s Remaining CPU time: 1788.52 s c Elapsed CPU time: 11.4933 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.5232 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.5362 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.5522 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.5672 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.5832 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.6132 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.6282 s Remaining CPU time: 1788.37 s c Elapsed CPU time: 11.6442 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.6592 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.6742 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.6882 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.7032 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.7172 s Remaining CPU time: 1788.28 s c Elapsed CPU time: 11.7332 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.7482 s Remaining CPU time: 1788.25 s c Elapsed CPU time: 11.7642 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.7922 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.8082 s Remaining CPU time: 1788.19 s c Elapsed CPU time: 11.8232 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.8382 s Remaining CPU time: 1788.16 s c Elapsed CPU time: 11.8532 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.8682 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.8832 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.8982 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 11.9132 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 11.9282 s Remaining CPU time: 1788.07 s c Elapsed CPU time: 11.9442 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 11.9592 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.9902 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.0062 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.0212 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.0362 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.0522 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.0832 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.0982 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.1132 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.1282 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.1432 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.1582 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.1741 s Remaining CPU time: 1787.83 s c Elapsed CPU time: 12.1891 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.2051 s Remaining CPU time: 1787.79 s c Elapsed CPU time: 12.2201 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.2351 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.2501 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.2651 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.2811 s Remaining CPU time: 1787.72 s c Elapsed CPU time: 12.2961 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.3121 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.3271 s Remaining CPU time: 1787.67 s c Elapsed CPU time: 12.3431 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.3581 s Remaining CPU time: 1787.64 s c Elapsed CPU time: 12.3741 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.3901 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.4061 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.4211 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.4371 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.4531 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.4841 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.4991 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.5151 s Remaining CPU time: 1787.48 s c Elapsed CPU time: 12.5311 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.5471 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.5631 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.5941 s Remaining CPU time: 1787.41 s c Elapsed CPU time: 12.6101 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.6261 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.6421 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.6581 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.6741 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.6901 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.7061 s Remaining CPU time: 1787.29 s c Elapsed CPU time: 12.7211 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.7371 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.7531 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.7681 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.7841 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.8161 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.832 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.849 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.864 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.88 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.896 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 12.912 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 12.928 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 12.944 s Remaining CPU time: 1787.06 s c Elapsed CPU time: 12.96 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 12.978 s Remaining CPU time: 1787.02 s c Elapsed CPU time: 12.995 s Remaining CPU time: 1787 s c Elapsed CPU time: 13.012 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.028 s Remaining CPU time: 1786.97 s c Elapsed CPU time: 13.046 s Remaining CPU time: 1786.95 s c Elapsed CPU time: 13.062 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.08 s Remaining CPU time: 1786.92 s c Elapsed CPU time: 13.096 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.112 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.129 s Remaining CPU time: 1786.87 s c Elapsed CPU time: 13.148 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.164 s Remaining CPU time: 1786.84 s c Elapsed CPU time: 13.18 s Remaining CPU time: 1786.82 s c Elapsed CPU time: 13.197 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.214 s Remaining CPU time: 1786.79 s c Elapsed CPU time: 13.231 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.247 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.263 s Remaining CPU time: 1786.74 s c Elapsed CPU time: 13.279 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.296 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.313 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.33 s Remaining CPU time: 1786.67 s c Elapsed CPU time: 13.347 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.364 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.379 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.396 s Remaining CPU time: 1786.6 s c Elapsed CPU time: 13.413 s Remaining CPU time: 1786.59 s c Elapsed CPU time: 13.429 s Remaining CPU time: 1786.57 s c Elapsed CPU time: 13.447 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.463 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.4789 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.4959 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.5119 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.5289 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.5469 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.5639 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.5819 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.5999 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.6169 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.6359 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.6919 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.7099 s Remaining CPU time: 1786.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5457 8607 18021 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.7299 s Remaining CPU time: 1786.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5470 8608 18049 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.7519 s Remaining CPU time: 1786.25 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5476 8610 18064 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.7719 s Remaining CPU time: 1786.23 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5484 8612 18083 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.7919 s Remaining CPU time: 1786.21 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5492 8614 18102 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.8119 s Remaining CPU time: 1786.19 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5500 8616 18121 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.8319 s Remaining CPU time: 1786.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5508 8618 18140 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.8519 s Remaining CPU time: 1786.15 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5516 8621 18162 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.8729 s Remaining CPU time: 1786.13 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5524 8623 18181 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.8939 s Remaining CPU time: 1786.11 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5532 8626 18203 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.9139 s Remaining CPU time: 1786.09 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5540 8628 18222 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.9339 s Remaining CPU time: 1786.07 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5548 8631 18244 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.9539 s Remaining CPU time: 1786.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5556 8634 18266 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.9749 s Remaining CPU time: 1786.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5564 8637 18288 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 13.9959 s Remaining CPU time: 1786 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5571 8638 18302 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.0179 s Remaining CPU time: 1785.98 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5579 8639 18319 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.0399 s Remaining CPU time: 1785.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5589 8640 18341 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.0639 s Remaining CPU time: 1785.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5597 8641 18359 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.0889 s Remaining CPU time: 1785.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5609 8642 18385 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.1159 s Remaining CPU time: 1785.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5618 8643 18404 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.1428 s Remaining CPU time: 1785.86 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5629 8644 18426 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.1698 s Remaining CPU time: 1785.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5640 8645 18450 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.1978 s Remaining CPU time: 1785.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5649 8646 18468 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.2258 s Remaining CPU time: 1785.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5661 8647 18492 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.2558 s Remaining CPU time: 1785.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5687 8648 18545 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.2768 s Remaining CPU time: 1785.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5697 8649 18566 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.3078 s Remaining CPU time: 1785.69 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5713 8650 18599 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.3298 s Remaining CPU time: 1785.67 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5726 8652 18627 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.3588 s Remaining CPU time: 1785.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5747 8653 18669 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.3818 s Remaining CPU time: 1785.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5758 8654 18691 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.4098 s Remaining CPU time: 1785.59 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5783 8655 18742 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.4328 s Remaining CPU time: 1785.57 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5818 8657 18814 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.4538 s Remaining CPU time: 1785.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5830 8658 18839 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.4808 s Remaining CPU time: 1785.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5898 8660 18978 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.5028 s Remaining CPU time: 1785.5 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5907 8661 18996 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.5288 s Remaining CPU time: 1785.47 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5927 8662 19037 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.5548 s Remaining CPU time: 1785.45 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5748 8668 19084 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.5758 s Remaining CPU time: 1785.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5768 8669 19112 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.5988 s Remaining CPU time: 1785.4 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5780 8671 19140 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.6278 s Remaining CPU time: 1785.37 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5616 8676 19182 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.6588 s Remaining CPU time: 1785.34 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5641 8677 19232 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.6828 s Remaining CPU time: 1785.32 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5657 8683 19339 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.7158 s Remaining CPU time: 1785.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5625 8685 19399 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 14.7508 s Remaining CPU time: 1785.25 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5667 8686 19481 | 5000 0 nan | 0.000 % | c | 100 | 5660 8686 19481 | 5500 96 10 | 9.003 % | c | 252 | 5642 8686 19481 | 6050 240 15 | 9.357 % | c =============================================================================== c Elapsed CPU time: 14.8287 s Remaining CPU time: 1785.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5771 8691 19684 | 5000 0 nan | 0.000 % | c | 100 | 5771 8691 19684 | 5500 100 14 | 8.629 % | c =============================================================================== c Elapsed CPU time: 14.8707 s Remaining CPU time: 1785.13 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5799 8694 19745 | 5000 0 nan | 0.000 % | c | 100 | 5796 8694 19745 | 5500 98 9 | 8.638 % | c | 254 | 5793 8694 19745 | 6050 252 16 | 8.827 % | c =============================================================================== c Elapsed CPU time: 14.9277 s Remaining CPU time: 1785.07 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5838 8704 19850 | 5000 0 nan | 0.000 % | c | 101 | 5835 8704 19850 | 5500 101 22 | 8.601 % | c | 251 | 5834 8704 19850 | 6050 248 23 | 8.601 % | c | 476 | 5834 8704 19850 | 6655 473 24 | 8.601 % | c | 813 | 5834 8704 19850 | 7320 810 25 | 8.601 % | c | 1319 | 5834 8704 19850 | 8052 1316 28 | 8.605 % | c | 2079 | 5834 8704 19850 | 8857 2076 30 | 8.601 % | c | 3219 | 5834 8704 19850 | 9743 3216 30 | 8.601 % | c | 4927 | 5832 8704 19850 | 10717 4923 33 | 8.664 % | c | 7494 | 5679 8704 19850 | 11789 3195 29 | 11.045 % | c =============================================================================== c Elapsed CPU time: 16.8364 s Remaining CPU time: 1783.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5931 8708 20045 | 5000 0 nan | 0.000 % | c | 100 | 5929 8708 20045 | 5500 100 26 | 8.447 % | c | 251 | 5929 8708 20045 | 6050 249 24 | 8.447 % | c | 476 | 5929 8708 20045 | 6655 474 26 | 8.447 % | c | 816 | 5929 8708 20045 | 7320 814 26 | 8.447 % | c | 1322 | 5927 8708 20045 | 8052 1319 29 | 8.477 % | c | 2083 | 5924 8708 20045 | 8857 2079 30 | 8.524 % | c =============================================================================== c Elapsed CPU time: 17.0794 s Remaining CPU time: 1782.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6006 8715 20172 | 5000 0 nan | 0.000 % | c | 100 | 6006 8715 20172 | 5500 100 26 | 7.968 % | c | 250 | 5994 8715 20172 | 6050 244 21 | 8.229 % | c | 477 | 4992 8715 20172 | 6655 366 17 | 23.629 % | c | 814 | 4992 8715 20172 | 7320 703 30 | 23.629 % | c | 1322 | 4984 8715 20172 | 8052 1208 31 | 23.629 % | c | 2083 | 4956 8715 20172 | 8857 1965 29 | 24.058 % | c | 3222 | 4956 8715 20172 | 9743 3104 29 | 24.058 % | c | 4931 | 4956 8715 20172 | 10717 4813 32 | 24.058 % | c | 7493 | 4924 8715 20172 | 11789 7370 33 | 24.548 % | c | 11345 | 4919 8715 20172 | 12968 11220 35 | 24.625 % | c | 17114 | 4913 8715 20172 | 14265 9213 40 | 24.718 % | c | 25766 | 4906 8715 20172 | 15692 9875 43 | 24.824 % | c | 38741 | 4903 8715 20172 | 17261 13869 50 | 24.962 % | c =============================================================================== c Elapsed CPU time: 29.9314 s Remaining CPU time: 1770.07 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6083 8731 20362 | 5000 0 nan | 0.000 % | c | 102 | 6083 8731 20362 | 5500 102 43 | 7.875 % | c | 253 | 6078 8731 20362 | 6050 249 31 | 7.951 % | c | 478 | 6078 8731 20362 | 6655 474 42 | 7.951 % | c | 816 | 6078 8731 20362 | 7320 812 33 | 7.954 % | c =============================================================================== c Elapsed CPU time: 30.1414 s Remaining CPU time: 1769.86 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6162 8737 20545 | 5000 0 nan | 0.000 % | c | 100 | 6158 8737 20545 | 5500 100 20 | 7.887 % | c | 251 | 6155 8737 20545 | 6050 246 19 | 7.887 % | c | 476 | 6155 8737 20545 | 6655 471 25 | 7.889 % | c | 813 | 6046 8737 20545 | 7320 789 21 | 9.518 % | c | 1319 | 6046 8737 20545 | 8052 1295 26 | 9.518 % | c | 2079 | 6010 8737 20545 | 8857 1859 33 | 10.057 % | c =============================================================================== c Elapsed CPU time: 30.4574 s Remaining CPU time: 1769.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6268 8758 20813 | 5000 0 nan | 0.000 % | c | 100 | 6251 8758 20813 | 5500 100 26 | 8.559 % | c | 250 | 6207 8758 20813 | 6050 240 19 | 8.559 % | c | 477 | 6207 8758 20813 | 6655 467 24 | 8.559 % | c | 817 | 6198 8758 20813 | 7320 806 25 | 8.692 % | c =============================================================================== c Verified 8758 original clauses.