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: 3002 | c | Number of clauses: 8078 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3002 | c | Number Clauses: 8078 | 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.010998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.033994 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.056991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.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.135979 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.175973 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.187971 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.198969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s c Elapsed CPU time: 0.233964 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.25696 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.274958 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.291955 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.303953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.32795 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.338948 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.350946 s Remaining CPU time: 1799.65 s c Elapsed CPU time: 0.356945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.39194 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.397939 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.415936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.427934 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.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.45893 s Remaining CPU time: 1799.54 s c Elapsed CPU time: 0.464929 s Remaining CPU time: 1799.54 s c Elapsed CPU time: 0.470928 s Remaining CPU time: 1799.53 s c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 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.512922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.518921 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.579911 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.597909 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 0.604908 s Remaining CPU time: 1799.4 s c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.622905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.628904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.6539 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.678896 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.710891 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.715891 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.771882 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.803877 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.809876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.874867 s Remaining CPU time: 1799.13 s c Elapsed CPU time: 0.881865 s Remaining CPU time: 1799.12 s c Elapsed CPU time: 0.887865 s Remaining CPU time: 1799.11 s c Elapsed CPU time: 0.893864 s Remaining CPU time: 1799.11 s c Elapsed CPU time: 0.900863 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.92086 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.934857 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.940856 s Remaining CPU time: 1799.06 s c Elapsed CPU time: 0.947855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 0.968852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 0.987849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 0.993848 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 1.00085 s Remaining CPU time: 1799 s c Elapsed CPU time: 1.00785 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.02884 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.06384 s Remaining CPU time: 1798.94 s c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.08583 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.10683 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11383 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s c Elapsed CPU time: 1.12783 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.13483 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.14183 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.14983 s Remaining CPU time: 1798.85 s c Elapsed CPU time: 1.15682 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.17082 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.18582 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.19982 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.20682 s Remaining CPU time: 1798.79 s c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s c Elapsed CPU time: 1.23581 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.24981 s Remaining CPU time: 1798.75 s c Elapsed CPU time: 1.25681 s Remaining CPU time: 1798.74 s c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s c Elapsed CPU time: 1.27081 s Remaining CPU time: 1798.73 s c Elapsed CPU time: 1.2788 s Remaining CPU time: 1798.72 s c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.3068 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.3218 s Remaining CPU time: 1798.68 s c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s c Elapsed CPU time: 1.3358 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.36579 s Remaining CPU time: 1798.63 s c Elapsed CPU time: 1.37279 s Remaining CPU time: 1798.63 s c Elapsed CPU time: 1.38079 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.42578 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s c Elapsed CPU time: 1.44878 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s c Elapsed CPU time: 1.46378 s Remaining CPU time: 1798.54 s c Elapsed CPU time: 1.47178 s Remaining CPU time: 1798.53 s c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s c Elapsed CPU time: 1.48677 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.50177 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.51777 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.52577 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.53277 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.54076 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.54876 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.55676 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.56476 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.57176 s Remaining CPU time: 1798.43 s c Elapsed CPU time: 1.57976 s Remaining CPU time: 1798.42 s c Elapsed CPU time: 1.58776 s Remaining CPU time: 1798.41 s c Elapsed CPU time: 1.59576 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s c Elapsed CPU time: 1.61175 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s c Elapsed CPU time: 1.63575 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.64375 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.65175 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.67674 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.69974 s Remaining CPU time: 1798.3 s c Elapsed CPU time: 1.70774 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.73274 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.74973 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.77573 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.78373 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.80872 s Remaining CPU time: 1798.19 s c Elapsed CPU time: 1.81772 s Remaining CPU time: 1798.18 s c Elapsed CPU time: 1.82572 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.83472 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.84272 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.86871 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.87671 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.88571 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 1.89471 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 1.91171 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 1.92071 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.9467 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 1.9557 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 1.9647 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 1.9737 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 1.9817 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 1.9997 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.00869 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.02669 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.04369 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.05169 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.07668 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.08668 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.09568 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.11368 s Remaining CPU time: 1797.89 s c Elapsed CPU time: 2.12268 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.13167 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.14167 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.15067 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.15967 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.16767 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.18567 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.20366 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.21366 s Remaining CPU time: 1797.79 s c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.23166 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.24966 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.25966 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.26865 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.27765 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.29565 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 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.33164 s Remaining CPU time: 1797.67 s c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.36764 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.37764 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.39563 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.40463 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.41463 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.42363 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.45163 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s c Elapsed CPU time: 2.46962 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.48862 s Remaining CPU time: 1797.51 s c Elapsed CPU time: 2.49862 s Remaining CPU time: 1797.5 s c Elapsed CPU time: 2.50762 s Remaining CPU time: 1797.49 s c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s c Elapsed CPU time: 2.52562 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.55361 s Remaining CPU time: 1797.45 s c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s c Elapsed CPU time: 2.57161 s Remaining CPU time: 1797.43 s c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s c Elapsed CPU time: 2.59061 s Remaining CPU time: 1797.41 s c Elapsed CPU time: 2.5996 s Remaining CPU time: 1797.4 s c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.6186 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.6276 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.6456 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.6556 s Remaining CPU time: 1797.34 s c Elapsed CPU time: 2.66559 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.67459 s Remaining CPU time: 1797.33 s c Elapsed CPU time: 2.68359 s Remaining CPU time: 1797.32 s c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s c Elapsed CPU time: 2.70359 s Remaining CPU time: 1797.3 s c Elapsed CPU time: 2.71259 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.73158 s Remaining CPU time: 1797.27 s c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s c Elapsed CPU time: 2.76058 s Remaining CPU time: 1797.24 s c Elapsed CPU time: 2.76958 s Remaining CPU time: 1797.23 s c Elapsed CPU time: 2.77958 s Remaining CPU time: 1797.22 s c Elapsed CPU time: 2.78958 s Remaining CPU time: 1797.21 s c Elapsed CPU time: 2.79857 s Remaining CPU time: 1797.2 s c Elapsed CPU time: 2.80857 s Remaining CPU time: 1797.19 s c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s c Elapsed CPU time: 2.82757 s Remaining CPU time: 1797.17 s c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s c Elapsed CPU time: 2.84657 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.86656 s Remaining CPU time: 1797.13 s c Elapsed CPU time: 2.87556 s Remaining CPU time: 1797.12 s c Elapsed CPU time: 2.88556 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 2.90456 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 2.91456 s Remaining CPU time: 1797.09 s c Elapsed CPU time: 2.92455 s Remaining CPU time: 1797.08 s c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s c Elapsed CPU time: 2.95355 s Remaining CPU time: 1797.05 s c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s c Elapsed CPU time: 2.97255 s Remaining CPU time: 1797.03 s c Elapsed CPU time: 2.98255 s Remaining CPU time: 1797.02 s c Elapsed CPU time: 2.99254 s Remaining CPU time: 1797.01 s c Elapsed CPU time: 3.00154 s Remaining CPU time: 1797 s c Elapsed CPU time: 3.01054 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.03054 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.04954 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.06953 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.08853 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.10853 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.12652 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.14752 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.16752 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.17752 s Remaining CPU time: 1796.82 s c Elapsed CPU time: 3.18751 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.19651 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.20651 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.21651 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.23651 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s c Elapsed CPU time: 3.2555 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.2645 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.2745 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.2845 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.2945 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.3145 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.32349 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.34349 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.36349 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.37349 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.38348 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.39348 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.40348 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.41348 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.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.45347 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.46347 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.47347 s Remaining CPU time: 1796.53 s c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.49347 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.50247 s Remaining CPU time: 1796.5 s c Elapsed CPU time: 3.51347 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 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.55446 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.56446 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.57446 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.58446 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s c Elapsed CPU time: 3.60345 s Remaining CPU time: 1796.4 s c Elapsed CPU time: 3.61345 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.62345 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.63345 s Remaining CPU time: 1796.37 s c Elapsed CPU time: 3.64245 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.65344 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.67344 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.68344 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.69344 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.70344 s Remaining CPU time: 1796.3 s c Elapsed CPU time: 3.71344 s Remaining CPU time: 1796.29 s c Elapsed CPU time: 3.72443 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.74443 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.75443 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.76443 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.77443 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.78442 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.79542 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.80542 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.81542 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.82642 s Remaining CPU time: 1796.17 s c Elapsed CPU time: 3.83642 s Remaining CPU time: 1796.16 s c Elapsed CPU time: 3.84641 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.85741 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.86741 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.89841 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 3.90841 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 3.9194 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 3.9294 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 3.9404 s Remaining CPU time: 1796.06 s c Elapsed CPU time: 3.9504 s Remaining CPU time: 1796.05 s c Elapsed CPU time: 3.9604 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 3.9714 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.99139 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 4.00239 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.01239 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.02239 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.05238 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.06338 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.07338 s Remaining CPU time: 1795.93 s c Elapsed CPU time: 4.08438 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.09438 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.10438 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.11537 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s c Elapsed CPU time: 4.13537 s Remaining CPU time: 1795.86 s c Elapsed CPU time: 4.14537 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.17736 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.18736 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.19736 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.20736 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.22936 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.24036 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.25135 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.26135 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.27335 s Remaining CPU time: 1795.73 s c Elapsed CPU time: 4.28335 s Remaining CPU time: 1795.72 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.31634 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.32734 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.33734 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.34834 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.35834 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.36934 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.38033 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.39133 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.42433 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.44632 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.45732 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.46832 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.47932 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.51131 s Remaining CPU time: 1795.49 s c Elapsed CPU time: 4.52231 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.53331 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.54431 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.55531 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.5663 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.5773 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.5993 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.6103 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.6213 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.6323 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.64329 s Remaining CPU time: 1795.36 s c Elapsed CPU time: 4.65429 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.66529 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.67629 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.69829 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.70928 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.72028 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.73128 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.75328 s Remaining CPU time: 1795.25 s c Elapsed CPU time: 4.76427 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.77527 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.79727 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.80827 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.82027 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.83127 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.84226 s Remaining CPU time: 1795.16 s c Elapsed CPU time: 4.85326 s Remaining CPU time: 1795.15 s c Elapsed CPU time: 4.86426 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.87426 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.88526 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 4.90725 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 4.91725 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 4.92825 s Remaining CPU time: 1795.07 s c Elapsed CPU time: 4.94025 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 4.95125 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.98524 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 4.99624 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.00724 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.01824 s Remaining CPU time: 1794.98 s c Elapsed CPU time: 5.02923 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.04023 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.05223 s Remaining CPU time: 1794.95 s c Elapsed CPU time: 5.06323 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.07423 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.08523 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.09722 s Remaining CPU time: 1794.9 s c Elapsed CPU time: 5.10822 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.11922 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.13122 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.14222 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.18621 s Remaining CPU time: 1794.81 s c Elapsed CPU time: 5.19821 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.20921 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.22021 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.2322 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.2432 s Remaining CPU time: 1794.76 s c Elapsed CPU time: 5.2542 s Remaining CPU time: 1794.75 s c Elapsed CPU time: 5.2652 s Remaining CPU time: 1794.73 s c Elapsed CPU time: 5.2762 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.2872 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.29919 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.31019 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.32219 s Remaining CPU time: 1794.68 s c Elapsed CPU time: 5.33319 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.34519 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.35719 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.36818 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.38018 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.39118 s Remaining CPU time: 1794.61 s c Elapsed CPU time: 5.40218 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.41318 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.42417 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.43617 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.44717 s Remaining CPU time: 1794.55 s c Elapsed CPU time: 5.45917 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.47117 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.48217 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.49416 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.50516 s Remaining CPU time: 1794.49 s c Elapsed CPU time: 5.51716 s Remaining CPU time: 1794.48 s c Elapsed CPU time: 5.52916 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.55116 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.57515 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.58715 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.59815 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.61015 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.62214 s Remaining CPU time: 1794.38 s c Elapsed CPU time: 5.63314 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.64514 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.65714 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.66914 s Remaining CPU time: 1794.33 s c Elapsed CPU time: 5.68114 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.70513 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.71713 s Remaining CPU time: 1794.28 s c Elapsed CPU time: 5.72813 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.74013 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.75213 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.76412 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.77612 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.78812 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.81112 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.82211 s Remaining CPU time: 1794.18 s c Elapsed CPU time: 5.83411 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.84611 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.85711 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.86811 s Remaining CPU time: 1794.13 s c Elapsed CPU time: 5.88011 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.8921 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 5.9051 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 5.9161 s Remaining CPU time: 1794.08 s c Elapsed CPU time: 5.9271 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 5.9391 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 5.95209 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.97609 s Remaining CPU time: 1794.02 s c Elapsed CPU time: 5.98809 s Remaining CPU time: 1794.01 s c Elapsed CPU time: 6.00009 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.01209 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.02408 s Remaining CPU time: 1793.98 s c Elapsed CPU time: 6.03608 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.04608 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.05808 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.07008 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.08308 s Remaining CPU time: 1793.92 s c Elapsed CPU time: 6.09507 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.10707 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.11907 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.14307 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.15506 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.16706 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.17906 s Remaining CPU time: 1793.82 s c Elapsed CPU time: 6.19106 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.20406 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.21605 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.22905 s Remaining CPU time: 1793.77 s c Elapsed CPU time: 6.24105 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.25305 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.26605 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.27804 s Remaining CPU time: 1793.72 s c Elapsed CPU time: 6.29104 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.30304 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.31604 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.32804 s Remaining CPU time: 1793.67 s c Elapsed CPU time: 6.34104 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.35303 s Remaining CPU time: 1793.65 s c Elapsed CPU time: 6.36503 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.40303 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.41502 s Remaining CPU time: 1793.58 s c Elapsed CPU time: 6.42802 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.44102 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.45302 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.46602 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.47902 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.49101 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.50401 s Remaining CPU time: 1793.5 s c Elapsed CPU time: 6.51601 s Remaining CPU time: 1793.48 s c Elapsed CPU time: 6.52901 s Remaining CPU time: 1793.47 s c Elapsed CPU time: 6.54101 s Remaining CPU time: 1793.46 s c Elapsed CPU time: 6.554 s Remaining CPU time: 1793.45 s c Elapsed CPU time: 6.566 s Remaining CPU time: 1793.43 s c Elapsed CPU time: 6.579 s Remaining CPU time: 1793.42 s c Elapsed CPU time: 6.593 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.606 s Remaining CPU time: 1793.39 s c Elapsed CPU time: 6.61799 s Remaining CPU time: 1793.38 s c Elapsed CPU time: 6.63099 s Remaining CPU time: 1793.37 s c Elapsed CPU time: 6.64399 s Remaining CPU time: 1793.36 s c Elapsed CPU time: 6.65599 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.66899 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.68198 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.69298 s Remaining CPU time: 1793.31 s c Elapsed CPU time: 6.70598 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.71898 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.73098 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.74397 s Remaining CPU time: 1793.26 s c Elapsed CPU time: 6.75697 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.76897 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.78197 s Remaining CPU time: 1793.22 s c Elapsed CPU time: 6.79497 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.80797 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.82096 s Remaining CPU time: 1793.18 s c Elapsed CPU time: 6.83396 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.84696 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.85996 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.88595 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 6.89895 s Remaining CPU time: 1793.1 s c Elapsed CPU time: 6.91195 s Remaining CPU time: 1793.09 s c Elapsed CPU time: 6.92495 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 6.93795 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 6.94994 s Remaining CPU time: 1793.05 s c Elapsed CPU time: 6.96294 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 6.97594 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 6.98894 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.00193 s Remaining CPU time: 1793 s c Elapsed CPU time: 7.01493 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.02693 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.03993 s Remaining CPU time: 1792.96 s c Elapsed CPU time: 7.05193 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.06492 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.07792 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.09092 s Remaining CPU time: 1792.91 s c Elapsed CPU time: 7.10292 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.11592 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.12892 s Remaining CPU time: 1792.87 s c Elapsed CPU time: 7.14191 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.15491 s Remaining CPU time: 1792.85 s c Elapsed CPU time: 7.16691 s Remaining CPU time: 1792.83 s c Elapsed CPU time: 7.17991 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.19291 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.2059 s Remaining CPU time: 1792.79 s c Elapsed CPU time: 7.2189 s Remaining CPU time: 1792.78 s c Elapsed CPU time: 7.2319 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.2449 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.2579 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.27089 s Remaining CPU time: 1792.73 s c Elapsed CPU time: 7.28489 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.29789 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.31089 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.33688 s Remaining CPU time: 1792.66 s c Elapsed CPU time: 7.34988 s Remaining CPU time: 1792.65 s c Elapsed CPU time: 7.36288 s Remaining CPU time: 1792.64 s c Elapsed CPU time: 7.37588 s Remaining CPU time: 1792.62 s c Elapsed CPU time: 7.38888 s Remaining CPU time: 1792.61 s c Elapsed CPU time: 7.40287 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.41587 s Remaining CPU time: 1792.58 s c Elapsed CPU time: 7.42887 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.44187 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.45487 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.46886 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.48186 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.49486 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.50786 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.52086 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.53385 s Remaining CPU time: 1792.47 s c Elapsed CPU time: 7.54685 s Remaining CPU time: 1792.45 s c Elapsed CPU time: 7.56085 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.57385 s Remaining CPU time: 1792.43 s c Elapsed CPU time: 7.58685 s Remaining CPU time: 1792.41 s c Elapsed CPU time: 7.59984 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.62584 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.63884 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.65184 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.66483 s Remaining CPU time: 1792.34 s c Elapsed CPU time: 7.67883 s Remaining CPU time: 1792.32 s c Elapsed CPU time: 7.69183 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.70583 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.71883 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.73182 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.74482 s Remaining CPU time: 1792.26 s c Elapsed CPU time: 7.75782 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.78482 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.79781 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.81081 s Remaining CPU time: 1792.19 s c Elapsed CPU time: 7.82481 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.83881 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.85181 s Remaining CPU time: 1792.15 s c Elapsed CPU time: 7.8658 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.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.9198 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 7.93179 s Remaining CPU time: 1792.07 s c Elapsed CPU time: 7.94479 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 7.95879 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 7.97179 s Remaining CPU time: 1792.03 s c Elapsed CPU time: 7.98479 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 7.99778 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.01178 s Remaining CPU time: 1791.99 s c Elapsed CPU time: 8.02478 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.03878 s Remaining CPU time: 1791.96 s c Elapsed CPU time: 8.05177 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.06477 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.07877 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.11876 s Remaining CPU time: 1791.88 s c Elapsed CPU time: 8.13176 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.14476 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.15776 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.17176 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.18475 s Remaining CPU time: 1791.82 s c Elapsed CPU time: 8.19875 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.21175 s Remaining CPU time: 1791.79 s c Elapsed CPU time: 8.22575 s Remaining CPU time: 1791.77 s c Elapsed CPU time: 8.23875 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.25275 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.26574 s Remaining CPU time: 1791.73 s c Elapsed CPU time: 8.27874 s Remaining CPU time: 1791.72 s c Elapsed CPU time: 8.29274 s Remaining CPU time: 1791.71 s c Elapsed CPU time: 8.30674 s Remaining CPU time: 1791.69 s c Elapsed CPU time: 8.31973 s Remaining CPU time: 1791.68 s c Elapsed CPU time: 8.33273 s Remaining CPU time: 1791.67 s c Elapsed CPU time: 8.34673 s Remaining CPU time: 1791.65 s c Elapsed CPU time: 8.36073 s Remaining CPU time: 1791.64 s c Elapsed CPU time: 8.37373 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.38772 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.40172 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.41472 s Remaining CPU time: 1791.59 s c Elapsed CPU time: 8.42872 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.44272 s Remaining CPU time: 1791.56 s c Elapsed CPU time: 8.45671 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.46971 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.49771 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.51071 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.5237 s Remaining CPU time: 1791.48 s c Elapsed CPU time: 8.5367 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.5507 s Remaining CPU time: 1791.45 s c Elapsed CPU time: 8.5647 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.5777 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.59169 s Remaining CPU time: 1791.41 s c Elapsed CPU time: 8.60569 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.61869 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.63269 s Remaining CPU time: 1791.37 s c Elapsed CPU time: 8.64569 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.65868 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.68668 s Remaining CPU time: 1791.31 s c Elapsed CPU time: 8.70068 s Remaining CPU time: 1791.3 s c Elapsed CPU time: 8.71467 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.72867 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.74167 s Remaining CPU time: 1791.26 s c Elapsed CPU time: 8.75567 s Remaining CPU time: 1791.24 s c Elapsed CPU time: 8.76967 s Remaining CPU time: 1791.23 s c Elapsed CPU time: 8.78366 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.79766 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.81066 s Remaining CPU time: 1791.19 s c Elapsed CPU time: 8.82466 s Remaining CPU time: 1791.18 s c Elapsed CPU time: 8.83866 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.87965 s Remaining CPU time: 1791.12 s c Elapsed CPU time: 8.89365 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 8.90664 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 8.92064 s Remaining CPU time: 1791.08 s c Elapsed CPU time: 8.93464 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 8.94864 s Remaining CPU time: 1791.05 s c Elapsed CPU time: 8.96264 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 8.97663 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 8.99063 s Remaining CPU time: 1791.01 s c Elapsed CPU time: 9.00463 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.01763 s Remaining CPU time: 1790.98 s c Elapsed CPU time: 9.03163 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.04562 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.05862 s Remaining CPU time: 1790.94 s c Elapsed CPU time: 9.07262 s Remaining CPU time: 1790.93 s c Elapsed CPU time: 9.08662 s Remaining CPU time: 1790.91 s c Elapsed CPU time: 9.10062 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.12861 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.14261 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.15561 s Remaining CPU time: 1790.84 s c Elapsed CPU time: 9.16961 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.1836 s Remaining CPU time: 1790.82 s c Elapsed CPU time: 9.1976 s Remaining CPU time: 1790.8 s c Elapsed CPU time: 9.2116 s Remaining CPU time: 1790.79 s c Elapsed CPU time: 9.2256 s Remaining CPU time: 1790.77 s c Elapsed CPU time: 9.23959 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.25359 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.26659 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.28059 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.29459 s Remaining CPU time: 1790.71 s c Elapsed CPU time: 9.30858 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.32258 s Remaining CPU time: 1790.68 s c Elapsed CPU time: 9.33658 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.35058 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.36458 s Remaining CPU time: 1790.64 s c Elapsed CPU time: 9.37857 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.39357 s Remaining CPU time: 1790.61 s c Elapsed CPU time: 9.40757 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.42157 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.46456 s Remaining CPU time: 1790.54 s c Elapsed CPU time: 9.47856 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.49256 s Remaining CPU time: 1790.51 s c Elapsed CPU time: 9.50655 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.52055 s Remaining CPU time: 1790.48 s c Elapsed CPU time: 9.53455 s Remaining CPU time: 1790.47 s c Elapsed CPU time: 9.54855 s Remaining CPU time: 1790.45 s c Elapsed CPU time: 9.56255 s Remaining CPU time: 1790.44 s c Elapsed CPU time: 9.57554 s Remaining CPU time: 1790.42 s c Elapsed CPU time: 9.58954 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.60354 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.61754 s Remaining CPU time: 1790.38 s c Elapsed CPU time: 9.63153 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.64553 s Remaining CPU time: 1790.35 s c Elapsed CPU time: 9.65853 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.67353 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.68753 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.70153 s Remaining CPU time: 1790.3 s c Elapsed CPU time: 9.71552 s Remaining CPU time: 1790.28 s c Elapsed CPU time: 9.72952 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.74352 s Remaining CPU time: 1790.26 s c Elapsed CPU time: 9.75852 s Remaining CPU time: 1790.24 s c Elapsed CPU time: 9.77251 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.78651 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.79951 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.81351 s Remaining CPU time: 1790.19 s c Elapsed CPU time: 9.82751 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.8415 s Remaining CPU time: 1790.16 s c Elapsed CPU time: 9.8555 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.8845 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 9.8985 s Remaining CPU time: 1790.1 s c Elapsed CPU time: 9.91249 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 9.92649 s Remaining CPU time: 1790.07 s c Elapsed CPU time: 9.94149 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 9.95549 s Remaining CPU time: 1790.04 s c Elapsed CPU time: 9.97048 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 9.98448 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 9.99848 s Remaining CPU time: 1790 s c Elapsed CPU time: 10.0125 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.0265 s Remaining CPU time: 1789.97 s c Elapsed CPU time: 10.0405 s Remaining CPU time: 1789.96 s c Elapsed CPU time: 10.0545 s Remaining CPU time: 1789.95 s c Elapsed CPU time: 10.0685 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.0835 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.0975 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.1125 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.1265 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.1415 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.1555 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.1695 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.1825 s Remaining CPU time: 1789.82 s c Elapsed CPU time: 10.1974 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.2124 s Remaining CPU time: 1789.79 s c Elapsed CPU time: 10.2274 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.2414 s Remaining CPU time: 1789.76 s c Elapsed CPU time: 10.2554 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.2704 s Remaining CPU time: 1789.73 s c Elapsed CPU time: 10.2844 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.2984 s Remaining CPU time: 1789.7 s c Elapsed CPU time: 10.3134 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.3274 s Remaining CPU time: 1789.67 s c Elapsed CPU time: 10.3424 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.3564 s Remaining CPU time: 1789.64 s c Elapsed CPU time: 10.3714 s Remaining CPU time: 1789.63 s c Elapsed CPU time: 10.3844 s Remaining CPU time: 1789.62 s c Elapsed CPU time: 10.3994 s Remaining CPU time: 1789.6 s c Elapsed CPU time: 10.4134 s Remaining CPU time: 1789.59 s c Elapsed CPU time: 10.4274 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.4424 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.4574 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.4714 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.4864 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.5004 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.5154 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.5304 s Remaining CPU time: 1789.47 s c Elapsed CPU time: 10.5444 s Remaining CPU time: 1789.46 s c Elapsed CPU time: 10.5594 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.5734 s Remaining CPU time: 1789.43 s c Elapsed CPU time: 10.5884 s Remaining CPU time: 1789.41 s c Elapsed CPU time: 10.6034 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.6174 s Remaining CPU time: 1789.38 s c Elapsed CPU time: 10.6324 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.6474 s Remaining CPU time: 1789.35 s c Elapsed CPU time: 10.6624 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.6764 s Remaining CPU time: 1789.32 s c Elapsed CPU time: 10.6914 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.7064 s Remaining CPU time: 1789.29 s c Elapsed CPU time: 10.7214 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.7354 s Remaining CPU time: 1789.26 s c Elapsed CPU time: 10.7504 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.7804 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.7944 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.8094 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.8244 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.8394 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.8543 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.8693 s Remaining CPU time: 1789.13 s c Elapsed CPU time: 10.8843 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 10.8993 s Remaining CPU time: 1789.1 s c Elapsed CPU time: 10.9133 s Remaining CPU time: 1789.09 s c Elapsed CPU time: 10.9283 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 10.9433 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 10.9583 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 10.9733 s Remaining CPU time: 1789.03 s c Elapsed CPU time: 10.9883 s Remaining CPU time: 1789.01 s c Elapsed CPU time: 11.0033 s Remaining CPU time: 1789 s c Elapsed CPU time: 11.0183 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.0333 s Remaining CPU time: 1788.97 s c Elapsed CPU time: 11.0473 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.0633 s Remaining CPU time: 1788.94 s c Elapsed CPU time: 11.0783 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.0933 s Remaining CPU time: 1788.91 s c Elapsed CPU time: 11.1083 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.1233 s Remaining CPU time: 1788.88 s c Elapsed CPU time: 11.1383 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.1533 s Remaining CPU time: 1788.85 s c Elapsed CPU time: 11.1683 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.1973 s Remaining CPU time: 1788.8 s c Elapsed CPU time: 11.2123 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.2583 s Remaining CPU time: 1788.74 s c Elapsed CPU time: 11.2733 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.2883 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.3033 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.3183 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.3333 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.3483 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.3633 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.3783 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.3933 s Remaining CPU time: 1788.61 s c Elapsed CPU time: 11.4083 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.4243 s Remaining CPU time: 1788.58 s c Elapsed CPU time: 11.4393 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.4543 s Remaining CPU time: 1788.55 s c Elapsed CPU time: 11.4693 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.4853 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.5003 s Remaining CPU time: 1788.5 s c Elapsed CPU time: 11.5142 s Remaining CPU time: 1788.49 s c Elapsed CPU time: 11.5292 s Remaining CPU time: 1788.47 s c Elapsed CPU time: 11.5452 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.5602 s Remaining CPU time: 1788.44 s c Elapsed CPU time: 11.5752 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.5902 s Remaining CPU time: 1788.41 s c Elapsed CPU time: 11.6062 s Remaining CPU time: 1788.39 s c Elapsed CPU time: 11.6212 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.6352 s Remaining CPU time: 1788.36 s c Elapsed CPU time: 11.6512 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.6662 s Remaining CPU time: 1788.33 s c Elapsed CPU time: 11.6812 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.6962 s Remaining CPU time: 1788.3 s c Elapsed CPU time: 11.7112 s Remaining CPU time: 1788.29 s c Elapsed CPU time: 11.7252 s Remaining CPU time: 1788.27 s c Elapsed CPU time: 11.7412 s Remaining CPU time: 1788.26 s c Elapsed CPU time: 11.7562 s Remaining CPU time: 1788.24 s c Elapsed CPU time: 11.7722 s Remaining CPU time: 1788.23 s c Elapsed CPU time: 11.7872 s Remaining CPU time: 1788.21 s c Elapsed CPU time: 11.8022 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.8182 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.8332 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.8492 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.8632 s Remaining CPU time: 1788.14 s c Elapsed CPU time: 11.8792 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.8942 s Remaining CPU time: 1788.11 s c Elapsed CPU time: 11.9092 s Remaining CPU time: 1788.09 s c Elapsed CPU time: 11.9252 s Remaining CPU time: 1788.07 s c Elapsed CPU time: 11.9402 s Remaining CPU time: 1788.06 s c Elapsed CPU time: 11.9552 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 11.9712 s Remaining CPU time: 1788.03 s c Elapsed CPU time: 11.9862 s Remaining CPU time: 1788.01 s c Elapsed CPU time: 12.0022 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.0172 s Remaining CPU time: 1787.98 s c Elapsed CPU time: 12.0332 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.0482 s Remaining CPU time: 1787.95 s c Elapsed CPU time: 12.0642 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.0792 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.0952 s Remaining CPU time: 1787.9 s c Elapsed CPU time: 12.1102 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.1262 s Remaining CPU time: 1787.87 s c Elapsed CPU time: 12.1422 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.1572 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.1731 s Remaining CPU time: 1787.83 s c Elapsed CPU time: 12.1881 s Remaining CPU time: 1787.81 s c Elapsed CPU time: 12.2031 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.2191 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.2341 s Remaining CPU time: 1787.77 s c Elapsed CPU time: 12.2491 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.2801 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.3111 s Remaining CPU time: 1787.69 s c Elapsed CPU time: 12.3261 s Remaining CPU time: 1787.67 s c Elapsed CPU time: 12.3421 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.3731 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.3891 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.4051 s Remaining CPU time: 1787.59 s c Elapsed CPU time: 12.4201 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.4361 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.4521 s Remaining CPU time: 1787.55 s c Elapsed CPU time: 12.4671 s Remaining CPU time: 1787.53 s c Elapsed CPU time: 12.4831 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.5301 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.5461 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.5611 s Remaining CPU time: 1787.44 s c Elapsed CPU time: 12.5771 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.5931 s Remaining CPU time: 1787.41 s c Elapsed CPU time: 12.6091 s Remaining CPU time: 1787.39 s c Elapsed CPU time: 12.6251 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.6401 s Remaining CPU time: 1787.36 s c Elapsed CPU time: 12.6561 s Remaining CPU time: 1787.34 s c Elapsed CPU time: 12.6721 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.6881 s Remaining CPU time: 1787.31 s c Elapsed CPU time: 12.7041 s Remaining CPU time: 1787.3 s c Elapsed CPU time: 12.7201 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.7361 s Remaining CPU time: 1787.26 s c Elapsed CPU time: 12.7511 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.7671 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.7831 s Remaining CPU time: 1787.22 s c Elapsed CPU time: 12.7991 s Remaining CPU time: 1787.2 s c Elapsed CPU time: 12.8151 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.831 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.847 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.862 s Remaining CPU time: 1787.14 s c Elapsed CPU time: 12.878 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.894 s Remaining CPU time: 1787.11 s c Elapsed CPU time: 12.91 s Remaining CPU time: 1787.09 s c Elapsed CPU time: 12.926 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 12.942 s Remaining CPU time: 1787.06 s c Elapsed CPU time: 12.958 s Remaining CPU time: 1787.04 s c Elapsed CPU time: 12.974 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 12.99 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.006 s Remaining CPU time: 1786.99 s c Elapsed CPU time: 13.022 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.039 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.055 s Remaining CPU time: 1786.94 s c Elapsed CPU time: 13.071 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.089 s Remaining CPU time: 1786.91 s c Elapsed CPU time: 13.105 s Remaining CPU time: 1786.89 s c Elapsed CPU time: 13.121 s Remaining CPU time: 1786.88 s c Elapsed CPU time: 13.137 s Remaining CPU time: 1786.86 s c Elapsed CPU time: 13.153 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.169 s Remaining CPU time: 1786.83 s c Elapsed CPU time: 13.186 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.202 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.218 s Remaining CPU time: 1786.78 s c Elapsed CPU time: 13.234 s Remaining CPU time: 1786.77 s c Elapsed CPU time: 13.251 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.267 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.283 s Remaining CPU time: 1786.72 s c Elapsed CPU time: 13.299 s Remaining CPU time: 1786.7 s c Elapsed CPU time: 13.315 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.332 s Remaining CPU time: 1786.67 s c Elapsed CPU time: 13.348 s Remaining CPU time: 1786.65 s c Elapsed CPU time: 13.363 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.38 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.444 s Remaining CPU time: 1786.56 s c Elapsed CPU time: 13.461 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.477 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.4939 s Remaining CPU time: 1786.51 s c Elapsed CPU time: 13.5099 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.5269 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.5439 s Remaining CPU time: 1786.46 s c Elapsed CPU time: 13.5579 s Remaining CPU time: 1786.44 s c Elapsed CPU time: 13.5739 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.5899 s Remaining CPU time: 1786.41 s c Elapsed CPU time: 13.6069 s Remaining CPU time: 1786.39 s c Elapsed CPU time: 13.6239 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.6399 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.6569 s Remaining CPU time: 1786.34 s c Elapsed CPU time: 13.6739 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.6899 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.7079 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.7229 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.7389 s Remaining CPU time: 1786.26 s c Elapsed CPU time: 13.7559 s Remaining CPU time: 1786.24 s c Elapsed CPU time: 13.7719 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.7889 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.8049 s Remaining CPU time: 1786.2 s c Elapsed CPU time: 13.8219 s Remaining CPU time: 1786.18 s c Elapsed CPU time: 13.8389 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.8559 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.8729 s Remaining CPU time: 1786.13 s c Elapsed CPU time: 13.8889 s Remaining CPU time: 1786.11 s c Elapsed CPU time: 13.9049 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 13.9229 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 13.9389 s Remaining CPU time: 1786.06 s c Elapsed CPU time: 13.9559 s Remaining CPU time: 1786.04 s c Elapsed CPU time: 13.9719 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 13.9889 s Remaining CPU time: 1786.01 s c Elapsed CPU time: 14.0059 s Remaining CPU time: 1785.99 s c Elapsed CPU time: 14.0219 s Remaining CPU time: 1785.98 s c Elapsed CPU time: 14.0389 s Remaining CPU time: 1785.96 s c Elapsed CPU time: 14.0559 s Remaining CPU time: 1785.94 s c Elapsed CPU time: 14.0729 s Remaining CPU time: 1785.93 s c Elapsed CPU time: 14.0899 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.1069 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.1229 s Remaining CPU time: 1785.88 s c Elapsed CPU time: 14.1398 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.1568 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.1738 s Remaining CPU time: 1785.83 s c Elapsed CPU time: 14.1898 s Remaining CPU time: 1785.81 s c Elapsed CPU time: 14.2068 s Remaining CPU time: 1785.79 s c Elapsed CPU time: 14.2238 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.2408 s Remaining CPU time: 1785.76 s c Elapsed CPU time: 14.2578 s Remaining CPU time: 1785.74 s c Elapsed CPU time: 14.2738 s Remaining CPU time: 1785.73 s c Elapsed CPU time: 14.2908 s Remaining CPU time: 1785.71 s c Elapsed CPU time: 14.3078 s Remaining CPU time: 1785.69 s c Elapsed CPU time: 14.3248 s Remaining CPU time: 1785.68 s c Elapsed CPU time: 14.3418 s Remaining CPU time: 1785.66 s c Elapsed CPU time: 14.3588 s Remaining CPU time: 1785.64 s c Elapsed CPU time: 14.3758 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.3928 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.4098 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.4258 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.4428 s Remaining CPU time: 1785.56 s c Elapsed CPU time: 14.4608 s Remaining CPU time: 1785.54 s c Elapsed CPU time: 14.4778 s Remaining CPU time: 1785.52 s c Elapsed CPU time: 14.4948 s Remaining CPU time: 1785.51 s c Elapsed CPU time: 14.5118 s Remaining CPU time: 1785.49 s c Elapsed CPU time: 14.5288 s Remaining CPU time: 1785.47 s c Elapsed CPU time: 14.5448 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.5618 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.5788 s Remaining CPU time: 1785.42 s c Elapsed CPU time: 14.5958 s Remaining CPU time: 1785.4 s c Elapsed CPU time: 14.6138 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.6308 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.6478 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.6648 s Remaining CPU time: 1785.34 s c Elapsed CPU time: 14.6828 s Remaining CPU time: 1785.32 s c Elapsed CPU time: 14.6998 s Remaining CPU time: 1785.3 s c Elapsed CPU time: 14.7178 s Remaining CPU time: 1785.28 s c Elapsed CPU time: 14.7348 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.7528 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.7698 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.7858 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.8027 s Remaining CPU time: 1785.2 s c Elapsed CPU time: 14.8207 s Remaining CPU time: 1785.18 s c Elapsed CPU time: 14.8367 s Remaining CPU time: 1785.16 s c Elapsed CPU time: 14.8547 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.8717 s Remaining CPU time: 1785.13 s c Elapsed CPU time: 14.8887 s Remaining CPU time: 1785.11 s c Elapsed CPU time: 14.9057 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 14.9237 s Remaining CPU time: 1785.08 s c Elapsed CPU time: 14.9407 s Remaining CPU time: 1785.06 s c Elapsed CPU time: 14.9577 s Remaining CPU time: 1785.04 s c Elapsed CPU time: 14.9757 s Remaining CPU time: 1785.02 s c Elapsed CPU time: 14.9937 s Remaining CPU time: 1785.01 s c Elapsed CPU time: 15.0107 s Remaining CPU time: 1784.99 s c Elapsed CPU time: 15.0287 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.0457 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.0617 s Remaining CPU time: 1784.94 s c Elapsed CPU time: 15.0787 s Remaining CPU time: 1784.92 s c Elapsed CPU time: 15.0957 s Remaining CPU time: 1784.9 s c Elapsed CPU time: 15.1117 s Remaining CPU time: 1784.89 s c Elapsed CPU time: 15.1287 s Remaining CPU time: 1784.87 s c Elapsed CPU time: 15.1457 s Remaining CPU time: 1784.85 s c Elapsed CPU time: 15.1627 s Remaining CPU time: 1784.84 s c Elapsed CPU time: 15.1797 s Remaining CPU time: 1784.82 s c Elapsed CPU time: 15.1967 s Remaining CPU time: 1784.8 s c Elapsed CPU time: 15.2147 s Remaining CPU time: 1784.79 s c Elapsed CPU time: 15.2327 s Remaining CPU time: 1784.77 s c Elapsed CPU time: 15.2497 s Remaining CPU time: 1784.75 s c Elapsed CPU time: 15.2677 s Remaining CPU time: 1784.73 s c Elapsed CPU time: 15.2847 s Remaining CPU time: 1784.72 s c Elapsed CPU time: 15.3017 s Remaining CPU time: 1784.7 s c Elapsed CPU time: 15.3207 s Remaining CPU time: 1784.68 s c Elapsed CPU time: 15.3377 s Remaining CPU time: 1784.66 s c Elapsed CPU time: 15.3557 s Remaining CPU time: 1784.64 s c Elapsed CPU time: 15.3727 s Remaining CPU time: 1784.63 s c Elapsed CPU time: 15.3897 s Remaining CPU time: 1784.61 s c Elapsed CPU time: 15.4077 s Remaining CPU time: 1784.59 s c Elapsed CPU time: 15.4247 s Remaining CPU time: 1784.58 s c Elapsed CPU time: 15.4417 s Remaining CPU time: 1784.56 s c Elapsed CPU time: 15.4596 s Remaining CPU time: 1784.54 s c Elapsed CPU time: 15.4766 s Remaining CPU time: 1784.52 s c Elapsed CPU time: 15.4946 s Remaining CPU time: 1784.51 s c Elapsed CPU time: 15.5116 s Remaining CPU time: 1784.49 s c Elapsed CPU time: 15.5286 s Remaining CPU time: 1784.47 s c Elapsed CPU time: 15.5466 s Remaining CPU time: 1784.45 s c Elapsed CPU time: 15.5636 s Remaining CPU time: 1784.44 s c Elapsed CPU time: 15.5796 s Remaining CPU time: 1784.42 s c Elapsed CPU time: 15.5976 s Remaining CPU time: 1784.4 s c Elapsed CPU time: 15.6156 s Remaining CPU time: 1784.38 s c Elapsed CPU time: 15.6326 s Remaining CPU time: 1784.37 s c Elapsed CPU time: 15.6506 s Remaining CPU time: 1784.35 s c Elapsed CPU time: 15.6676 s Remaining CPU time: 1784.33 s c Elapsed CPU time: 15.6856 s Remaining CPU time: 1784.31 s c Elapsed CPU time: 15.7026 s Remaining CPU time: 1784.3 s c Elapsed CPU time: 15.7206 s Remaining CPU time: 1784.28 s c Elapsed CPU time: 15.7386 s Remaining CPU time: 1784.26 s c Elapsed CPU time: 15.7556 s Remaining CPU time: 1784.24 s c Elapsed CPU time: 15.7736 s Remaining CPU time: 1784.23 s c Elapsed CPU time: 15.7916 s Remaining CPU time: 1784.21 s c Elapsed CPU time: 15.8086 s Remaining CPU time: 1784.19 s c Elapsed CPU time: 15.8276 s Remaining CPU time: 1784.17 s c Elapsed CPU time: 15.8446 s Remaining CPU time: 1784.16 s c Elapsed CPU time: 15.8636 s Remaining CPU time: 1784.14 s c Elapsed CPU time: 15.8816 s Remaining CPU time: 1784.12 s c Elapsed CPU time: 15.8986 s Remaining CPU time: 1784.1 s c Elapsed CPU time: 15.9166 s Remaining CPU time: 1784.08 s c Elapsed CPU time: 15.9336 s Remaining CPU time: 1784.07 s c Elapsed CPU time: 15.9516 s Remaining CPU time: 1784.05 s c Elapsed CPU time: 15.9706 s Remaining CPU time: 1784.03 s c Elapsed CPU time: 15.9876 s Remaining CPU time: 1784.01 s c Elapsed CPU time: 16.0066 s Remaining CPU time: 1783.99 s c Elapsed CPU time: 16.0246 s Remaining CPU time: 1783.98 s c Elapsed CPU time: 16.0436 s Remaining CPU time: 1783.96 s c Elapsed CPU time: 16.0616 s Remaining CPU time: 1783.94 s c Elapsed CPU time: 16.0796 s Remaining CPU time: 1783.92 s c Elapsed CPU time: 16.0986 s Remaining CPU time: 1783.9 s c Elapsed CPU time: 16.1155 s Remaining CPU time: 1783.88 s c Elapsed CPU time: 16.1345 s Remaining CPU time: 1783.87 s c Elapsed CPU time: 16.1535 s Remaining CPU time: 1783.85 s c Elapsed CPU time: 16.1705 s Remaining CPU time: 1783.83 s c Elapsed CPU time: 16.1895 s Remaining CPU time: 1783.81 s c Elapsed CPU time: 16.2085 s Remaining CPU time: 1783.79 s c Elapsed CPU time: 16.2275 s Remaining CPU time: 1783.77 s c Elapsed CPU time: 16.2455 s Remaining CPU time: 1783.75 s c Elapsed CPU time: 16.2645 s Remaining CPU time: 1783.74 s c Elapsed CPU time: 16.2835 s Remaining CPU time: 1783.72 s c Elapsed CPU time: 16.3015 s Remaining CPU time: 1783.7 s c Elapsed CPU time: 16.3195 s Remaining CPU time: 1783.68 s c Elapsed CPU time: 16.3395 s Remaining CPU time: 1783.66 s c Elapsed CPU time: 16.3585 s Remaining CPU time: 1783.64 s c Elapsed CPU time: 16.3775 s Remaining CPU time: 1783.62 s c Elapsed CPU time: 16.3975 s Remaining CPU time: 1783.6 s c Elapsed CPU time: 16.4175 s Remaining CPU time: 1783.58 s c Elapsed CPU time: 16.4365 s Remaining CPU time: 1783.56 s c Elapsed CPU time: 16.4565 s Remaining CPU time: 1783.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5896 9460 20218 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.4775 s Remaining CPU time: 1783.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5909 9461 20246 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.4995 s Remaining CPU time: 1783.5 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5915 9463 20261 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.5205 s Remaining CPU time: 1783.48 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5923 9465 20280 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.5415 s Remaining CPU time: 1783.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5931 9467 20299 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.5625 s Remaining CPU time: 1783.44 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5939 9470 20321 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.5835 s Remaining CPU time: 1783.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5949 9472 20345 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.6065 s Remaining CPU time: 1783.39 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5965 9473 20380 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.6285 s Remaining CPU time: 1783.37 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5975 9474 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.6515 s Remaining CPU time: 1783.35 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5984 9475 20418 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.6745 s Remaining CPU time: 1783.33 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5992 9476 20434 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.6985 s Remaining CPU time: 1783.3 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6006 9477 20462 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.7225 s Remaining CPU time: 1783.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6016 9478 20482 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.7455 s Remaining CPU time: 1783.25 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6027 9479 20505 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.7705 s Remaining CPU time: 1783.23 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6043 9480 20537 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.7944 s Remaining CPU time: 1783.21 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6055 9482 20565 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.8144 s Remaining CPU time: 1783.19 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6065 9483 20585 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.8354 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 | 6086 9484 20631 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.8594 s Remaining CPU time: 1783.14 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6100 9485 20659 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.8804 s Remaining CPU time: 1783.12 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6110 9486 20679 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.9034 s Remaining CPU time: 1783.1 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6128 9487 20717 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.9234 s Remaining CPU time: 1783.08 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6140 9488 20741 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.9494 s Remaining CPU time: 1783.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6165 9489 20791 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.9704 s Remaining CPU time: 1783.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6188 9490 20829 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.9934 s Remaining CPU time: 1783.01 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6207 9491 20868 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.0184 s Remaining CPU time: 1782.98 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6234 9492 20922 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.0384 s Remaining CPU time: 1782.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6244 9493 20941 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.0624 s Remaining CPU time: 1782.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6272 9495 21000 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.0894 s Remaining CPU time: 1782.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6299 9496 21054 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.1144 s Remaining CPU time: 1782.89 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6313 9497 21081 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.1384 s Remaining CPU time: 1782.86 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6331 9498 21118 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.1634 s Remaining CPU time: 1782.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6215 9500 21139 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.1864 s Remaining CPU time: 1782.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6178 9502 21174 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.2114 s Remaining CPU time: 1782.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6212 9503 21238 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.2394 s Remaining CPU time: 1782.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6268 9507 21347 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.2724 s Remaining CPU time: 1782.73 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6332 9512 21488 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.2974 s Remaining CPU time: 1782.7 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6352 9513 21528 | 5000 0 nan | 0.000 % | c | 102 | 6351 9513 21528 | 5500 102 19 | 5.054 % | c =============================================================================== c Elapsed CPU time: 17.3344 s Remaining CPU time: 1782.67 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6393 9516 21614 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.3594 s Remaining CPU time: 1782.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6414 9517 21656 | 5000 0 nan | 0.000 % | c | 100 | 6404 9517 21656 | 5500 100 11 | 5.335 % | c =============================================================================== c Elapsed CPU time: 17.4054 s Remaining CPU time: 1782.59 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6480 9528 21843 | 5000 0 nan | 0.000 % | c | 100 | 6480 9528 21843 | 5500 100 28 | 4.902 % | c =============================================================================== c Elapsed CPU time: 17.4633 s Remaining CPU time: 1782.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6494 9545 21965 | 5000 0 nan | 0.000 % | c | 100 | 5840 9545 21965 | 5500 76 13 | 15.051 % | c =============================================================================== c Elapsed CPU time: 17.5093 s Remaining CPU time: 1782.49 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6521 9547 22029 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.5443 s Remaining CPU time: 1782.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6552 9549 22102 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.5733 s Remaining CPU time: 1782.43 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6520 9553 22172 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.6113 s Remaining CPU time: 1782.39 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6506 9556 22220 | 5000 0 nan | 0.000 % | c | 100 | 6468 9556 22220 | 5500 100 13 | 7.078 % | c | 250 | 6446 9556 22220 | 6050 248 18 | 7.078 % | c | 476 | 6421 9556 22220 | 6655 471 20 | 7.539 % | c | 814 | 6414 9556 22220 | 7320 808 23 | 7.539 % | c | 1320 | 6185 9556 22220 | 8052 1127 27 | 13.291 % | c =============================================================================== c Elapsed CPU time: 17.8173 s Remaining CPU time: 1782.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6591 9558 22388 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.8533 s Remaining CPU time: 1782.15 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6570 9564 22517 | 5000 0 nan | 0.000 % | c | 100 | 6570 9564 22517 | 5500 100 15 | 7.138 % | c =============================================================================== c Elapsed CPU time: 17.9003 s Remaining CPU time: 1782.1 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6632 9567 22647 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 17.9403 s Remaining CPU time: 1782.06 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6678 9570 22745 | 5000 0 nan | 0.000 % | c | 100 | 6678 9570 22745 | 5500 100 10 | 7.031 % | c | 251 | 6678 9570 22745 | 6050 251 12 | 7.030 % | c =============================================================================== c Elapsed CPU time: 18.0133 s Remaining CPU time: 1781.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6726 9580 22871 | 5000 0 nan | 0.000 % | c | 100 | 6521 9580 22871 | 5500 82 6 | 26.276 % | c =============================================================================== c Elapsed CPU time: 18.0603 s Remaining CPU time: 1781.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6781 9583 22986 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 18.0892 s Remaining CPU time: 1781.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6799 9587 23034 | 5000 0 nan | 0.000 % | c | 100 | 6794 9587 23034 | 5500 100 13 | 7.026 % | c | 250 | 6794 9587 23034 | 6050 250 12 | 7.025 % | c | 475 | 6789 9587 23034 | 6655 474 19 | 7.026 % | c | 812 | 6787 9587 23034 | 7320 810 22 | 8.888 % | c | 1320 | 6650 9587 23034 | 8052 1316 22 | 8.929 % | c | 2079 | 6642 9587 23034 | 8857 2075 25 | 9.286 % | c =============================================================================== c Elapsed CPU time: 18.4122 s Remaining CPU time: 1781.59 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6943 9597 23354 | 5000 0 nan | 0.000 % | c | 100 | 6943 9597 23354 | 5500 100 21 | 6.755 % | c | 251 | 6943 9597 23354 | 6050 251 18 | 6.755 % | c | 476 | 6943 9597 23354 | 6655 476 17 | 6.755 % | c | 814 | 6943 9597 23354 | 7320 814 20 | 6.756 % | c | 1323 | 6943 9597 23354 | 8052 1323 22 | 6.755 % | c | 2084 | 6917 9597 23354 | 8857 2083 28 | 7.106 % | c | 3224 | 6917 9597 23354 | 9743 3223 31 | 7.104 % | c | 4934 | 6891 9597 23354 | 10717 4211 31 | 7.455 % | c =============================================================================== c Elapsed CPU time: 19.0161 s Remaining CPU time: 1780.98 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7087 9616 23710 | 5000 0 nan | 0.000 % | c | 100 | 7080 9616 23710 | 5500 100 9 | 6.970 % | c | 251 | 7061 9616 23710 | 6050 250 12 | 6.970 % | c | 476 | 7061 9616 23710 | 6655 475 13 | 6.970 % | c | 815 | 7061 9616 23710 | 7320 814 22 | 6.970 % | c | 1323 | 7061 9616 23710 | 8052 1322 28 | 6.970 % | c | 2083 | 7061 9616 23710 | 8857 2082 30 | 6.970 % | c | 3222 | 7061 9616 23710 | 9743 3221 33 | 6.970 % | c | 4934 | 7058 9616 23710 | 10717 4932 39 | 7.009 % | c | 7498 | 7058 9616 23710 | 11789 7496 43 | 7.009 % | c | 11342 | 7048 9616 23710 | 12968 10888 49 | 7.141 % | c | 17108 | 6523 9616 23710 | 14265 5940 55 | 26.877 % | c =============================================================================== c Elapsed CPU time: 21.9127 s Remaining CPU time: 1778.09 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7233 9622 24013 | 5000 0 nan | 0.000 % | c | 101 | 7233 9622 24013 | 5500 101 41 | 6.502 % | c | 251 | 7233 9622 24013 | 6050 251 27 | 6.502 % | c | 476 | 7233 9622 24013 | 6655 476 30 | 6.502 % | c | 817 | 7233 9622 24013 | 7320 817 46 | 6.502 % | c | 1329 | 7207 9622 24013 | 8052 1328 41 | 6.838 % | c | 2088 | 7207 9622 24013 | 8857 2087 51 | 6.838 % | c =============================================================================== c Elapsed CPU time: 22.1996 s Remaining CPU time: 1777.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7274 9632 24128 | 5000 0 nan | 0.000 % | c | 100 | 7274 9632 24128 | 5500 100 34 | 6.468 % | c | 250 | 7274 9632 24128 | 6050 250 22 | 6.468 % | c | 479 | 7274 9632 24128 | 6655 479 29 | 6.468 % | c | 817 | 7274 9632 24128 | 7320 817 28 | 6.468 % | c | 1324 | 7274 9632 24128 | 8052 1324 38 | 6.468 % | c | 2085 | 7274 9632 24128 | 8857 2085 38 | 6.468 % | c | 3224 | 7274 9632 24128 | 9743 3224 44 | 6.468 % | c | 4932 | 7274 9632 24128 | 10717 4932 51 | 6.468 % | c | 7495 | 7274 9632 24128 | 11789 7495 71 | 6.468 % | c | 11340 | 7271 9632 24128 | 12968 11339 71 | 8.217 % | c | 17107 | 7271 9632 24128 | 14265 9390 83 | 8.217 % | c | 25762 | 7135 9632 24128 | 15692 9730 72 | 8.255 % | c | 38736 | 7112 9632 24128 | 17261 14120 82 | 8.782 % | c | 58200 | 7088 9632 24128 | 18987 14828 78 | 8.859 % | c | 87393 | 7084 9632 24128 | 20886 11948 69 | 8.937 % | c | 131183 | 7028 9632 24128 | 22974 18381 80 | 9.631 % | c =============================================================================== c Elapsed CPU time: 97.2802 s Remaining CPU time: 1702.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7506 9649 24632 | 5000 0 nan | 0.000 % | c | 100 | 7506 9649 24632 | 5500 100 44 | 6.280 % | c | 250 | 7506 9649 24632 | 6050 250 25 | 6.280 % | c | 478 | 7506 9649 24632 | 6655 478 30 | 6.280 % | c | 815 | 7506 9649 24632 | 7320 815 28 | 6.280 % | c | 1322 | 7506 9649 24632 | 8052 1322 35 | 6.282 % | c | 2081 | 7506 9649 24632 | 8857 2081 34 | 6.280 % | c | 3221 | 7506 9649 24632 | 9743 3221 48 | 6.280 % | c | 4929 | 7506 9649 24632 | 10717 4929 53 | 6.280 % | c | 7492 | 7506 9649 24632 | 11789 7492 59 | 6.282 % | c | 11338 | 7461 9649 24632 | 12968 11192 73 | 6.842 % | c | 17106 | 7457 9649 24632 | 14265 8857 93 | 6.980 % | c | 25758 | 7449 9649 24632 | 15692 9839 71 | 7.018 % | c | 38735 | 7422 9649 24632 | 17261 14514 82 | 7.456 % | c | 58198 | 7409 9649 24632 | 18987 15635 70 | 7.517 % | c | 87390 | 7407 9649 24632 | 20886 13635 82 | 7.517 % | c | 131179 | 7407 9649 24632 | 22974 22731 78 | 7.517 % | c | 196867 | 7310 9649 24632 | 25272 15048 105 | 8.753 % | c | 295396 | 7294 9649 24632 | 27799 25531 82 | 8.927 % | c | 443186 | 7294 9649 24632 | 30579 18833 83 | 8.927 % |