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: 2726 | c | Number of clauses: 7121 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2726 | c | Number Clauses: 7121 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.028995 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.044993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.13098 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.140978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.176973 s Remaining CPU time: 1799.82 s c Elapsed CPU time: 0.182972 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.197969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s c Elapsed CPU time: 0.228965 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.238963 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.249962 s Remaining CPU time: 1799.75 s c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.265959 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.281957 s Remaining CPU time: 1799.72 s c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s c Elapsed CPU time: 0.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.302953 s Remaining CPU time: 1799.7 s c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.360945 s Remaining CPU time: 1799.64 s c Elapsed CPU time: 0.365944 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s c Elapsed CPU time: 0.409937 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s c Elapsed CPU time: 0.425935 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s c Elapsed CPU time: 0.45393 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.469928 s Remaining CPU time: 1799.53 s c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s c Elapsed CPU time: 0.491925 s Remaining CPU time: 1799.51 s c Elapsed CPU time: 0.496924 s Remaining CPU time: 1799.5 s c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.513921 s Remaining CPU time: 1799.49 s c Elapsed CPU time: 0.51992 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.535918 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s c Elapsed CPU time: 0.547916 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.563914 s Remaining CPU time: 1799.44 s c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.580911 s Remaining CPU time: 1799.42 s c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s c Elapsed CPU time: 0.598908 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.621905 s Remaining CPU time: 1799.38 s c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.632903 s Remaining CPU time: 1799.37 s c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s c Elapsed CPU time: 0.6559 s Remaining CPU time: 1799.34 s c Elapsed CPU time: 0.661899 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.684895 s Remaining CPU time: 1799.32 s c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s c Elapsed CPU time: 0.696894 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.702893 s Remaining CPU time: 1799.3 s c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s c Elapsed CPU time: 0.762884 s Remaining CPU time: 1799.24 s c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s c Elapsed CPU time: 0.780881 s Remaining CPU time: 1799.22 s c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s c Elapsed CPU time: 0.836872 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s c Elapsed CPU time: 0.855869 s Remaining CPU time: 1799.14 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.899863 s Remaining CPU time: 1799.1 s c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s c Elapsed CPU time: 0.91986 s Remaining CPU time: 1799.08 s c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s c Elapsed CPU time: 0.938857 s Remaining CPU time: 1799.06 s c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s c Elapsed CPU time: 0.965853 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.971852 s Remaining CPU time: 1799.03 s c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 0.992849 s Remaining CPU time: 1799.01 s c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.01385 s Remaining CPU time: 1798.99 s c Elapsed CPU time: 1.02084 s Remaining CPU time: 1798.98 s c Elapsed CPU time: 1.02784 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s c Elapsed CPU time: 1.05584 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.08483 s Remaining CPU time: 1798.92 s c Elapsed CPU time: 1.09183 s Remaining CPU time: 1798.91 s c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.13383 s Remaining CPU time: 1798.87 s c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s c Elapsed CPU time: 1.16282 s Remaining CPU time: 1798.84 s c Elapsed CPU time: 1.16982 s Remaining CPU time: 1798.83 s c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s c Elapsed CPU time: 1.20582 s Remaining CPU time: 1798.79 s c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s c Elapsed CPU time: 1.21981 s Remaining CPU time: 1798.78 s c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s c Elapsed CPU time: 1.23381 s Remaining CPU time: 1798.77 s c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s c Elapsed CPU time: 1.24881 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.26481 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.2938 s Remaining CPU time: 1798.71 s c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s c Elapsed CPU time: 1.3088 s Remaining CPU time: 1798.69 s c Elapsed CPU time: 1.3168 s Remaining CPU time: 1798.68 s c Elapsed CPU time: 1.3248 s Remaining CPU time: 1798.68 s c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s c Elapsed CPU time: 1.35579 s Remaining CPU time: 1798.64 s c Elapsed CPU time: 1.36179 s Remaining CPU time: 1798.64 s c Elapsed CPU time: 1.36979 s Remaining CPU time: 1798.63 s c Elapsed CPU time: 1.37779 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.38479 s Remaining CPU time: 1798.62 s c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s c Elapsed CPU time: 1.39979 s Remaining CPU time: 1798.6 s c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s c Elapsed CPU time: 1.43178 s Remaining CPU time: 1798.57 s c Elapsed CPU time: 1.43978 s Remaining CPU time: 1798.56 s c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s c Elapsed CPU time: 1.45578 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.48877 s Remaining CPU time: 1798.51 s c Elapsed CPU time: 1.49677 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.50477 s Remaining CPU time: 1798.5 s c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s c Elapsed CPU time: 1.52077 s Remaining CPU time: 1798.48 s c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s c Elapsed CPU time: 1.54676 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s c Elapsed CPU time: 1.57876 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.61275 s Remaining CPU time: 1798.39 s c Elapsed CPU time: 1.62075 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.63675 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s c Elapsed CPU time: 1.65375 s Remaining CPU time: 1798.35 s c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s c Elapsed CPU time: 1.67075 s Remaining CPU time: 1798.33 s c Elapsed CPU time: 1.67974 s Remaining CPU time: 1798.32 s c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s c Elapsed CPU time: 1.69674 s Remaining CPU time: 1798.3 s c Elapsed CPU time: 1.70474 s Remaining CPU time: 1798.3 s c Elapsed CPU time: 1.71374 s Remaining CPU time: 1798.29 s c Elapsed CPU time: 1.72274 s Remaining CPU time: 1798.28 s c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s c Elapsed CPU time: 1.73974 s Remaining CPU time: 1798.26 s c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.76473 s Remaining CPU time: 1798.24 s c Elapsed CPU time: 1.77373 s Remaining CPU time: 1798.23 s c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s c Elapsed CPU time: 1.79073 s Remaining CPU time: 1798.21 s c Elapsed CPU time: 1.79873 s Remaining CPU time: 1798.2 s c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s c Elapsed CPU time: 1.81572 s Remaining CPU time: 1798.18 s c Elapsed CPU time: 1.82372 s Remaining CPU time: 1798.18 s c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s c Elapsed CPU time: 1.83972 s Remaining CPU time: 1798.16 s c Elapsed CPU time: 1.84772 s Remaining CPU time: 1798.15 s c Elapsed CPU time: 1.85672 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s c Elapsed CPU time: 1.87372 s Remaining CPU time: 1798.13 s c Elapsed CPU time: 1.88171 s Remaining CPU time: 1798.12 s c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s c Elapsed CPU time: 1.90771 s Remaining CPU time: 1798.09 s c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s c Elapsed CPU time: 1.9427 s Remaining CPU time: 1798.06 s c Elapsed CPU time: 1.9507 s Remaining CPU time: 1798.05 s c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s c Elapsed CPU time: 1.9767 s Remaining CPU time: 1798.02 s c Elapsed CPU time: 1.9857 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s c Elapsed CPU time: 2.0037 s Remaining CPU time: 1798 s c Elapsed CPU time: 2.01269 s Remaining CPU time: 1797.99 s c Elapsed CPU time: 2.02169 s Remaining CPU time: 1797.98 s c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s c Elapsed CPU time: 2.05769 s Remaining CPU time: 1797.94 s c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s c Elapsed CPU time: 2.07568 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.08468 s Remaining CPU time: 1797.92 s c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s c Elapsed CPU time: 2.10268 s Remaining CPU time: 1797.9 s c Elapsed CPU time: 2.11168 s Remaining CPU time: 1797.89 s c Elapsed CPU time: 2.12068 s Remaining CPU time: 1797.88 s c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s c Elapsed CPU time: 2.13967 s Remaining CPU time: 1797.86 s c Elapsed CPU time: 2.14867 s Remaining CPU time: 1797.85 s c Elapsed CPU time: 2.15767 s Remaining CPU time: 1797.84 s c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.17367 s Remaining CPU time: 1797.83 s c Elapsed CPU time: 2.18267 s Remaining CPU time: 1797.82 s c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s c Elapsed CPU time: 2.19966 s Remaining CPU time: 1797.8 s c Elapsed CPU time: 2.20866 s Remaining CPU time: 1797.79 s c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s c Elapsed CPU time: 2.22766 s Remaining CPU time: 1797.77 s c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.24466 s Remaining CPU time: 1797.76 s c Elapsed CPU time: 2.25366 s Remaining CPU time: 1797.75 s c Elapsed CPU time: 2.26266 s Remaining CPU time: 1797.74 s c Elapsed CPU time: 2.27265 s Remaining CPU time: 1797.73 s c Elapsed CPU time: 2.28165 s Remaining CPU time: 1797.72 s c Elapsed CPU time: 2.29065 s Remaining CPU time: 1797.71 s c Elapsed CPU time: 2.29965 s Remaining CPU time: 1797.7 s c Elapsed CPU time: 2.30865 s Remaining CPU time: 1797.69 s c Elapsed CPU time: 2.31765 s Remaining CPU time: 1797.68 s c Elapsed CPU time: 2.32665 s Remaining CPU time: 1797.67 s c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.34464 s Remaining CPU time: 1797.66 s c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s c Elapsed CPU time: 2.36264 s Remaining CPU time: 1797.64 s c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s c Elapsed CPU time: 2.38164 s Remaining CPU time: 1797.62 s c Elapsed CPU time: 2.39064 s Remaining CPU time: 1797.61 s c Elapsed CPU time: 2.39864 s Remaining CPU time: 1797.6 s c Elapsed CPU time: 2.40763 s Remaining CPU time: 1797.59 s c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s c Elapsed CPU time: 2.43563 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.44463 s Remaining CPU time: 1797.56 s c Elapsed CPU time: 2.45363 s Remaining CPU time: 1797.55 s c Elapsed CPU time: 2.46163 s Remaining CPU time: 1797.54 s c Elapsed CPU time: 2.47062 s Remaining CPU time: 1797.53 s c Elapsed CPU time: 2.48062 s Remaining CPU time: 1797.52 s c Elapsed CPU time: 2.48962 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.52662 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.55461 s Remaining CPU time: 1797.45 s c Elapsed CPU time: 2.56361 s Remaining CPU time: 1797.44 s c Elapsed CPU time: 2.57261 s Remaining CPU time: 1797.43 s c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s c Elapsed CPU time: 2.6096 s Remaining CPU time: 1797.39 s c Elapsed CPU time: 2.6196 s Remaining CPU time: 1797.38 s c Elapsed CPU time: 2.6286 s Remaining CPU time: 1797.37 s c Elapsed CPU time: 2.6376 s Remaining CPU time: 1797.36 s c Elapsed CPU time: 2.6466 s Remaining CPU time: 1797.35 s c Elapsed CPU time: 2.6566 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.67559 s Remaining CPU time: 1797.32 s c Elapsed CPU time: 2.68559 s Remaining CPU time: 1797.31 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.75958 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.78858 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.86556 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.89456 s Remaining CPU time: 1797.11 s c Elapsed CPU time: 2.90456 s Remaining CPU time: 1797.1 s c Elapsed CPU time: 2.91356 s Remaining CPU time: 1797.09 s c Elapsed CPU time: 2.92355 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.01154 s Remaining CPU time: 1796.99 s c Elapsed CPU time: 3.02154 s Remaining CPU time: 1796.98 s c Elapsed CPU time: 3.03154 s Remaining CPU time: 1796.97 s c Elapsed CPU time: 3.04154 s Remaining CPU time: 1796.96 s c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 s c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s c Elapsed CPU time: 3.07053 s Remaining CPU time: 1796.93 s c Elapsed CPU time: 3.08053 s Remaining CPU time: 1796.92 s c Elapsed CPU time: 3.09053 s Remaining CPU time: 1796.91 s c Elapsed CPU time: 3.10053 s Remaining CPU time: 1796.9 s c Elapsed CPU time: 3.10953 s Remaining CPU time: 1796.89 s c Elapsed CPU time: 3.11952 s Remaining CPU time: 1796.88 s c Elapsed CPU time: 3.12952 s Remaining CPU time: 1796.87 s c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s c Elapsed CPU time: 3.15852 s Remaining CPU time: 1796.84 s c Elapsed CPU time: 3.16852 s Remaining CPU time: 1796.83 s c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s c Elapsed CPU time: 3.18851 s Remaining CPU time: 1796.81 s c Elapsed CPU time: 3.19851 s Remaining CPU time: 1796.8 s c Elapsed CPU time: 3.20851 s Remaining CPU time: 1796.79 s c Elapsed CPU time: 3.21751 s Remaining CPU time: 1796.78 s c Elapsed CPU time: 3.22751 s Remaining CPU time: 1796.77 s c Elapsed CPU time: 3.23751 s Remaining CPU time: 1796.76 s c Elapsed CPU time: 3.24751 s Remaining CPU time: 1796.75 s c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s c Elapsed CPU time: 3.2675 s Remaining CPU time: 1796.73 s c Elapsed CPU time: 3.2775 s Remaining CPU time: 1796.72 s c Elapsed CPU time: 3.2875 s Remaining CPU time: 1796.71 s c Elapsed CPU time: 3.2975 s Remaining CPU time: 1796.7 s c Elapsed CPU time: 3.3075 s Remaining CPU time: 1796.69 s c Elapsed CPU time: 3.31849 s Remaining CPU time: 1796.68 s c Elapsed CPU time: 3.32749 s Remaining CPU time: 1796.67 s c Elapsed CPU time: 3.33749 s Remaining CPU time: 1796.66 s c Elapsed CPU time: 3.34749 s Remaining CPU time: 1796.65 s c Elapsed CPU time: 3.35849 s Remaining CPU time: 1796.64 s c Elapsed CPU time: 3.36849 s Remaining CPU time: 1796.63 s c Elapsed CPU time: 3.37849 s Remaining CPU time: 1796.62 s c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s c Elapsed CPU time: 3.39948 s Remaining CPU time: 1796.6 s c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s c Elapsed CPU time: 3.41948 s Remaining CPU time: 1796.58 s c Elapsed CPU time: 3.43048 s Remaining CPU time: 1796.57 s c Elapsed CPU time: 3.44048 s Remaining CPU time: 1796.56 s c Elapsed CPU time: 3.45047 s Remaining CPU time: 1796.55 s c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s c Elapsed CPU time: 3.47147 s Remaining CPU time: 1796.53 s c Elapsed CPU time: 3.48147 s Remaining CPU time: 1796.52 s c Elapsed CPU time: 3.49147 s Remaining CPU time: 1796.51 s c Elapsed CPU time: 3.50147 s Remaining CPU time: 1796.5 s c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 s c Elapsed CPU time: 3.52246 s Remaining CPU time: 1796.48 s c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s c Elapsed CPU time: 3.54246 s Remaining CPU time: 1796.46 s c Elapsed CPU time: 3.55346 s Remaining CPU time: 1796.45 s c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s c Elapsed CPU time: 3.57346 s Remaining CPU time: 1796.43 s c Elapsed CPU time: 3.58345 s Remaining CPU time: 1796.42 s c Elapsed CPU time: 3.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.61445 s Remaining CPU time: 1796.39 s c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s c Elapsed CPU time: 3.63545 s Remaining CPU time: 1796.36 s c Elapsed CPU time: 3.64545 s Remaining CPU time: 1796.35 s c Elapsed CPU time: 3.65544 s Remaining CPU time: 1796.34 s c Elapsed CPU time: 3.66644 s Remaining CPU time: 1796.33 s c Elapsed CPU time: 3.67644 s Remaining CPU time: 1796.32 s c Elapsed CPU time: 3.68644 s Remaining CPU time: 1796.31 s c Elapsed CPU time: 3.69744 s Remaining CPU time: 1796.3 s c Elapsed CPU time: 3.70744 s Remaining CPU time: 1796.29 s c Elapsed CPU time: 3.71743 s Remaining CPU time: 1796.28 s c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s c Elapsed CPU time: 3.73843 s Remaining CPU time: 1796.26 s c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s c Elapsed CPU time: 3.75943 s Remaining CPU time: 1796.24 s c Elapsed CPU time: 3.77043 s Remaining CPU time: 1796.23 s c Elapsed CPU time: 3.78043 s Remaining CPU time: 1796.22 s c Elapsed CPU time: 3.79142 s Remaining CPU time: 1796.21 s c Elapsed CPU time: 3.80142 s Remaining CPU time: 1796.2 s c Elapsed CPU time: 3.81242 s Remaining CPU time: 1796.19 s c Elapsed CPU time: 3.82242 s Remaining CPU time: 1796.18 s c Elapsed CPU time: 3.83142 s Remaining CPU time: 1796.17 s c Elapsed CPU time: 3.84241 s Remaining CPU time: 1796.16 s c Elapsed CPU time: 3.85141 s Remaining CPU time: 1796.15 s c Elapsed CPU time: 3.86241 s Remaining CPU time: 1796.14 s c Elapsed CPU time: 3.87241 s Remaining CPU time: 1796.13 s c Elapsed CPU time: 3.88341 s Remaining CPU time: 1796.12 s c Elapsed CPU time: 3.89241 s Remaining CPU time: 1796.11 s c Elapsed CPU time: 3.90341 s Remaining CPU time: 1796.1 s c Elapsed CPU time: 3.91341 s Remaining CPU time: 1796.09 s c Elapsed CPU time: 3.9224 s Remaining CPU time: 1796.08 s c Elapsed CPU time: 3.9334 s Remaining CPU time: 1796.07 s c Elapsed CPU time: 3.9444 s Remaining CPU time: 1796.06 s c Elapsed CPU time: 3.9554 s Remaining CPU time: 1796.04 s c Elapsed CPU time: 3.9654 s Remaining CPU time: 1796.03 s c Elapsed CPU time: 3.9764 s Remaining CPU time: 1796.02 s c Elapsed CPU time: 3.98639 s Remaining CPU time: 1796.01 s c Elapsed CPU time: 3.99739 s Remaining CPU time: 1796 s c Elapsed CPU time: 4.00839 s Remaining CPU time: 1795.99 s c Elapsed CPU time: 4.01839 s Remaining CPU time: 1795.98 s c Elapsed CPU time: 4.02939 s Remaining CPU time: 1795.97 s c Elapsed CPU time: 4.04038 s Remaining CPU time: 1795.96 s c Elapsed CPU time: 4.05038 s Remaining CPU time: 1795.95 s c Elapsed CPU time: 4.06038 s Remaining CPU time: 1795.94 s c Elapsed CPU time: 4.07138 s Remaining CPU time: 1795.93 s c Elapsed CPU time: 4.08238 s Remaining CPU time: 1795.92 s c Elapsed CPU time: 4.09238 s Remaining CPU time: 1795.91 s c Elapsed CPU time: 4.10238 s Remaining CPU time: 1795.9 s c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s c Elapsed CPU time: 4.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.14637 s Remaining CPU time: 1795.85 s c Elapsed CPU time: 4.15737 s Remaining CPU time: 1795.84 s c Elapsed CPU time: 4.16837 s Remaining CPU time: 1795.83 s c Elapsed CPU time: 4.17936 s Remaining CPU time: 1795.82 s c Elapsed CPU time: 4.19036 s Remaining CPU time: 1795.81 s c Elapsed CPU time: 4.20036 s Remaining CPU time: 1795.8 s c Elapsed CPU time: 4.21036 s Remaining CPU time: 1795.79 s c Elapsed CPU time: 4.22136 s Remaining CPU time: 1795.78 s c Elapsed CPU time: 4.23236 s Remaining CPU time: 1795.77 s c Elapsed CPU time: 4.24335 s Remaining CPU time: 1795.76 s c Elapsed CPU time: 4.25435 s Remaining CPU time: 1795.75 s c Elapsed CPU time: 4.26435 s Remaining CPU time: 1795.74 s c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s c Elapsed CPU time: 4.28735 s Remaining CPU time: 1795.71 s c Elapsed CPU time: 4.29835 s Remaining CPU time: 1795.7 s c Elapsed CPU time: 4.30934 s Remaining CPU time: 1795.69 s c Elapsed CPU time: 4.32034 s Remaining CPU time: 1795.68 s c Elapsed CPU time: 4.33134 s Remaining CPU time: 1795.67 s c Elapsed CPU time: 4.34234 s Remaining CPU time: 1795.66 s c Elapsed CPU time: 4.35334 s Remaining CPU time: 1795.65 s c Elapsed CPU time: 4.36334 s Remaining CPU time: 1795.64 s c Elapsed CPU time: 4.37333 s Remaining CPU time: 1795.63 s c Elapsed CPU time: 4.38433 s Remaining CPU time: 1795.62 s c Elapsed CPU time: 4.39533 s Remaining CPU time: 1795.6 s c Elapsed CPU time: 4.40633 s Remaining CPU time: 1795.59 s c Elapsed CPU time: 4.41733 s Remaining CPU time: 1795.58 s c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s c Elapsed CPU time: 4.43933 s Remaining CPU time: 1795.56 s c Elapsed CPU time: 4.44932 s Remaining CPU time: 1795.55 s c Elapsed CPU time: 4.46032 s Remaining CPU time: 1795.54 s c Elapsed CPU time: 4.47132 s Remaining CPU time: 1795.53 s c Elapsed CPU time: 4.48232 s Remaining CPU time: 1795.52 s c Elapsed CPU time: 4.49332 s Remaining CPU time: 1795.51 s c Elapsed CPU time: 4.50432 s Remaining CPU time: 1795.5 s c Elapsed CPU time: 4.51531 s Remaining CPU time: 1795.48 s c Elapsed CPU time: 4.52631 s Remaining CPU time: 1795.47 s c Elapsed CPU time: 4.53731 s Remaining CPU time: 1795.46 s c Elapsed CPU time: 4.54831 s Remaining CPU time: 1795.45 s c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s c Elapsed CPU time: 4.57031 s Remaining CPU time: 1795.43 s c Elapsed CPU time: 4.5813 s Remaining CPU time: 1795.42 s c Elapsed CPU time: 4.5913 s Remaining CPU time: 1795.41 s c Elapsed CPU time: 4.6023 s Remaining CPU time: 1795.4 s c Elapsed CPU time: 4.6123 s Remaining CPU time: 1795.39 s c Elapsed CPU time: 4.6233 s Remaining CPU time: 1795.38 s c Elapsed CPU time: 4.63429 s Remaining CPU time: 1795.37 s c Elapsed CPU time: 4.64529 s Remaining CPU time: 1795.35 s c Elapsed CPU time: 4.65629 s Remaining CPU time: 1795.34 s c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s c Elapsed CPU time: 4.67829 s Remaining CPU time: 1795.32 s c Elapsed CPU time: 4.68929 s Remaining CPU time: 1795.31 s c Elapsed CPU time: 4.70029 s Remaining CPU time: 1795.3 s c Elapsed CPU time: 4.71128 s Remaining CPU time: 1795.29 s c Elapsed CPU time: 4.72228 s Remaining CPU time: 1795.28 s c Elapsed CPU time: 4.73428 s Remaining CPU time: 1795.27 s c Elapsed CPU time: 4.74428 s Remaining CPU time: 1795.26 s c Elapsed CPU time: 4.75528 s Remaining CPU time: 1795.24 s c Elapsed CPU time: 4.76628 s Remaining CPU time: 1795.23 s c Elapsed CPU time: 4.77727 s Remaining CPU time: 1795.22 s c Elapsed CPU time: 4.78827 s Remaining CPU time: 1795.21 s c Elapsed CPU time: 4.80027 s Remaining CPU time: 1795.2 s c Elapsed CPU time: 4.81127 s Remaining CPU time: 1795.19 s c Elapsed CPU time: 4.82327 s Remaining CPU time: 1795.18 s c Elapsed CPU time: 4.83427 s Remaining CPU time: 1795.17 s c Elapsed CPU time: 4.84526 s Remaining CPU time: 1795.15 s c Elapsed CPU time: 4.85626 s Remaining CPU time: 1795.14 s c Elapsed CPU time: 4.86826 s Remaining CPU time: 1795.13 s c Elapsed CPU time: 4.87926 s Remaining CPU time: 1795.12 s c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s c Elapsed CPU time: 4.90125 s Remaining CPU time: 1795.1 s c Elapsed CPU time: 4.91325 s Remaining CPU time: 1795.09 s c Elapsed CPU time: 4.92425 s Remaining CPU time: 1795.08 s c Elapsed CPU time: 4.93525 s Remaining CPU time: 1795.06 s c Elapsed CPU time: 4.94625 s Remaining CPU time: 1795.05 s c Elapsed CPU time: 4.95825 s Remaining CPU time: 1795.04 s c Elapsed CPU time: 4.96924 s Remaining CPU time: 1795.03 s c Elapsed CPU time: 4.98024 s Remaining CPU time: 1795.02 s c Elapsed CPU time: 4.99224 s Remaining CPU time: 1795.01 s c Elapsed CPU time: 5.00324 s Remaining CPU time: 1795 s c Elapsed CPU time: 5.01424 s Remaining CPU time: 1794.99 s c Elapsed CPU time: 5.02524 s Remaining CPU time: 1794.97 s c Elapsed CPU time: 5.03623 s Remaining CPU time: 1794.96 s c Elapsed CPU time: 5.04723 s Remaining CPU time: 1794.95 s c Elapsed CPU time: 5.05923 s Remaining CPU time: 1794.94 s c Elapsed CPU time: 5.07023 s Remaining CPU time: 1794.93 s c Elapsed CPU time: 5.08223 s Remaining CPU time: 1794.92 s c Elapsed CPU time: 5.09323 s Remaining CPU time: 1794.91 s c Elapsed CPU time: 5.10522 s Remaining CPU time: 1794.89 s c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s c Elapsed CPU time: 5.12722 s Remaining CPU time: 1794.87 s c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s c Elapsed CPU time: 5.15022 s Remaining CPU time: 1794.85 s c Elapsed CPU time: 5.16122 s Remaining CPU time: 1794.84 s c Elapsed CPU time: 5.17221 s Remaining CPU time: 1794.83 s c Elapsed CPU time: 5.18421 s Remaining CPU time: 1794.82 s c Elapsed CPU time: 5.19521 s Remaining CPU time: 1794.8 s c Elapsed CPU time: 5.20721 s Remaining CPU time: 1794.79 s c Elapsed CPU time: 5.21921 s Remaining CPU time: 1794.78 s c Elapsed CPU time: 5.2302 s Remaining CPU time: 1794.77 s c Elapsed CPU time: 5.2422 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.2772 s Remaining CPU time: 1794.72 s c Elapsed CPU time: 5.2892 s Remaining CPU time: 1794.71 s c Elapsed CPU time: 5.30119 s Remaining CPU time: 1794.7 s c Elapsed CPU time: 5.31219 s Remaining CPU time: 1794.69 s c Elapsed CPU time: 5.32519 s Remaining CPU time: 1794.67 s c Elapsed CPU time: 5.33719 s Remaining CPU time: 1794.66 s c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s c Elapsed CPU time: 5.36118 s Remaining CPU time: 1794.64 s c Elapsed CPU time: 5.37318 s Remaining CPU time: 1794.63 s c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s c Elapsed CPU time: 5.39718 s Remaining CPU time: 1794.6 s c Elapsed CPU time: 5.40818 s Remaining CPU time: 1794.59 s c Elapsed CPU time: 5.42018 s Remaining CPU time: 1794.58 s c Elapsed CPU time: 5.43217 s Remaining CPU time: 1794.57 s c Elapsed CPU time: 5.44417 s Remaining CPU time: 1794.56 s c Elapsed CPU time: 5.45617 s Remaining CPU time: 1794.54 s c Elapsed CPU time: 5.46817 s Remaining CPU time: 1794.53 s c Elapsed CPU time: 5.48017 s Remaining CPU time: 1794.52 s c Elapsed CPU time: 5.49216 s Remaining CPU time: 1794.51 s c Elapsed CPU time: 5.50416 s Remaining CPU time: 1794.5 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.55316 s Remaining CPU time: 1794.45 s c Elapsed CPU time: 5.56615 s Remaining CPU time: 1794.43 s c Elapsed CPU time: 5.57815 s Remaining CPU time: 1794.42 s c Elapsed CPU time: 5.59015 s Remaining CPU time: 1794.41 s c Elapsed CPU time: 5.60215 s Remaining CPU time: 1794.4 s c Elapsed CPU time: 5.61415 s Remaining CPU time: 1794.39 s c Elapsed CPU time: 5.62614 s Remaining CPU time: 1794.37 s c Elapsed CPU time: 5.63914 s Remaining CPU time: 1794.36 s c Elapsed CPU time: 5.65114 s Remaining CPU time: 1794.35 s c Elapsed CPU time: 5.66414 s Remaining CPU time: 1794.34 s c Elapsed CPU time: 5.67614 s Remaining CPU time: 1794.32 s c Elapsed CPU time: 5.68813 s Remaining CPU time: 1794.31 s c Elapsed CPU time: 5.70113 s Remaining CPU time: 1794.3 s c Elapsed CPU time: 5.71313 s Remaining CPU time: 1794.29 s c Elapsed CPU time: 5.72513 s Remaining CPU time: 1794.27 s c Elapsed CPU time: 5.73713 s Remaining CPU time: 1794.26 s c Elapsed CPU time: 5.75012 s Remaining CPU time: 1794.25 s c Elapsed CPU time: 5.76212 s Remaining CPU time: 1794.24 s c Elapsed CPU time: 5.77512 s Remaining CPU time: 1794.22 s c Elapsed CPU time: 5.78712 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.81212 s Remaining CPU time: 1794.19 s c Elapsed CPU time: 5.82511 s Remaining CPU time: 1794.17 s c Elapsed CPU time: 5.83711 s Remaining CPU time: 1794.16 s c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s c Elapsed CPU time: 5.86311 s Remaining CPU time: 1794.14 s c Elapsed CPU time: 5.87511 s Remaining CPU time: 1794.12 s c Elapsed CPU time: 5.8881 s Remaining CPU time: 1794.11 s c Elapsed CPU time: 5.9001 s Remaining CPU time: 1794.1 s c Elapsed CPU time: 5.9131 s Remaining CPU time: 1794.09 s c Elapsed CPU time: 5.9261 s Remaining CPU time: 1794.07 s c Elapsed CPU time: 5.9381 s Remaining CPU time: 1794.06 s c Elapsed CPU time: 5.9511 s Remaining CPU time: 1794.05 s c Elapsed CPU time: 5.96309 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.00109 s Remaining CPU time: 1794 s c Elapsed CPU time: 6.01309 s Remaining CPU time: 1793.99 s c Elapsed CPU time: 6.02608 s Remaining CPU time: 1793.97 s c Elapsed CPU time: 6.03808 s Remaining CPU time: 1793.96 s c Elapsed CPU time: 6.05008 s Remaining CPU time: 1793.95 s c Elapsed CPU time: 6.06208 s Remaining CPU time: 1793.94 s c Elapsed CPU time: 6.07408 s Remaining CPU time: 1793.93 s c Elapsed CPU time: 6.08707 s Remaining CPU time: 1793.91 s c Elapsed CPU time: 6.09907 s Remaining CPU time: 1793.9 s c Elapsed CPU time: 6.11207 s Remaining CPU time: 1793.89 s c Elapsed CPU time: 6.12407 s Remaining CPU time: 1793.88 s c Elapsed CPU time: 6.13707 s Remaining CPU time: 1793.86 s c Elapsed CPU time: 6.14907 s Remaining CPU time: 1793.85 s c Elapsed CPU time: 6.16206 s Remaining CPU time: 1793.84 s c Elapsed CPU time: 6.17406 s Remaining CPU time: 1793.83 s c Elapsed CPU time: 6.18706 s Remaining CPU time: 1793.81 s c Elapsed CPU time: 6.19906 s Remaining CPU time: 1793.8 s c Elapsed CPU time: 6.21105 s Remaining CPU time: 1793.79 s c Elapsed CPU time: 6.22305 s Remaining CPU time: 1793.78 s c Elapsed CPU time: 6.23605 s Remaining CPU time: 1793.76 s c Elapsed CPU time: 6.24805 s Remaining CPU time: 1793.75 s c Elapsed CPU time: 6.26105 s Remaining CPU time: 1793.74 s c Elapsed CPU time: 6.27405 s Remaining CPU time: 1793.73 s c Elapsed CPU time: 6.28704 s Remaining CPU time: 1793.71 s c Elapsed CPU time: 6.29904 s Remaining CPU time: 1793.7 s c Elapsed CPU time: 6.31104 s Remaining CPU time: 1793.69 s c Elapsed CPU time: 6.32404 s Remaining CPU time: 1793.68 s c Elapsed CPU time: 6.33704 s Remaining CPU time: 1793.66 s c Elapsed CPU time: 6.34903 s Remaining CPU time: 1793.65 s c Elapsed CPU time: 6.36203 s Remaining CPU time: 1793.64 s c Elapsed CPU time: 6.37503 s Remaining CPU time: 1793.62 s c Elapsed CPU time: 6.38803 s Remaining CPU time: 1793.61 s c Elapsed CPU time: 6.40003 s Remaining CPU time: 1793.6 s c Elapsed CPU time: 6.41303 s Remaining CPU time: 1793.59 s c Elapsed CPU time: 6.42602 s Remaining CPU time: 1793.57 s c Elapsed CPU time: 6.43902 s Remaining CPU time: 1793.56 s c Elapsed CPU time: 6.45202 s Remaining CPU time: 1793.55 s c Elapsed CPU time: 6.46502 s Remaining CPU time: 1793.53 s c Elapsed CPU time: 6.47701 s Remaining CPU time: 1793.52 s c Elapsed CPU time: 6.49001 s Remaining CPU time: 1793.51 s c Elapsed CPU time: 6.50301 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.52801 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.567 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.592 s Remaining CPU time: 1793.41 s c Elapsed CPU time: 6.60499 s Remaining CPU time: 1793.4 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.65699 s Remaining CPU time: 1793.34 s c Elapsed CPU time: 6.66999 s Remaining CPU time: 1793.33 s c Elapsed CPU time: 6.68298 s Remaining CPU time: 1793.32 s c Elapsed CPU time: 6.69598 s Remaining CPU time: 1793.3 s c Elapsed CPU time: 6.70898 s Remaining CPU time: 1793.29 s c Elapsed CPU time: 6.72198 s Remaining CPU time: 1793.28 s c Elapsed CPU time: 6.73498 s Remaining CPU time: 1793.27 s c Elapsed CPU time: 6.74797 s Remaining CPU time: 1793.25 s c Elapsed CPU time: 6.76097 s Remaining CPU time: 1793.24 s c Elapsed CPU time: 6.77397 s Remaining CPU time: 1793.23 s c Elapsed CPU time: 6.78697 s Remaining CPU time: 1793.21 s c Elapsed CPU time: 6.79997 s Remaining CPU time: 1793.2 s c Elapsed CPU time: 6.81296 s Remaining CPU time: 1793.19 s c Elapsed CPU time: 6.82596 s Remaining CPU time: 1793.17 s c Elapsed CPU time: 6.83896 s Remaining CPU time: 1793.16 s c Elapsed CPU time: 6.85196 s Remaining CPU time: 1793.15 s c Elapsed CPU time: 6.86496 s Remaining CPU time: 1793.14 s c Elapsed CPU time: 6.87795 s Remaining CPU time: 1793.12 s c Elapsed CPU time: 6.89095 s Remaining CPU time: 1793.11 s c Elapsed CPU time: 6.90395 s Remaining CPU time: 1793.1 s c Elapsed CPU time: 6.91695 s Remaining CPU time: 1793.08 s c Elapsed CPU time: 6.92995 s Remaining CPU time: 1793.07 s c Elapsed CPU time: 6.94294 s Remaining CPU time: 1793.06 s c Elapsed CPU time: 6.95594 s Remaining CPU time: 1793.04 s c Elapsed CPU time: 6.96894 s Remaining CPU time: 1793.03 s c Elapsed CPU time: 6.98194 s Remaining CPU time: 1793.02 s c Elapsed CPU time: 6.99494 s Remaining CPU time: 1793.01 s c Elapsed CPU time: 7.00793 s Remaining CPU time: 1792.99 s c Elapsed CPU time: 7.02093 s Remaining CPU time: 1792.98 s c Elapsed CPU time: 7.03293 s Remaining CPU time: 1792.97 s c Elapsed CPU time: 7.04593 s Remaining CPU time: 1792.95 s c Elapsed CPU time: 7.05993 s Remaining CPU time: 1792.94 s c Elapsed CPU time: 7.07192 s Remaining CPU time: 1792.93 s c Elapsed CPU time: 7.08492 s Remaining CPU time: 1792.92 s c Elapsed CPU time: 7.09892 s Remaining CPU time: 1792.9 s c Elapsed CPU time: 7.11192 s Remaining CPU time: 1792.89 s c Elapsed CPU time: 7.12492 s Remaining CPU time: 1792.88 s c Elapsed CPU time: 7.13791 s Remaining CPU time: 1792.86 s c Elapsed CPU time: 7.15091 s Remaining CPU time: 1792.85 s c Elapsed CPU time: 7.16391 s Remaining CPU time: 1792.84 s c Elapsed CPU time: 7.17691 s Remaining CPU time: 1792.82 s c Elapsed CPU time: 7.18991 s Remaining CPU time: 1792.81 s c Elapsed CPU time: 7.2029 s Remaining CPU time: 1792.8 s c Elapsed CPU time: 7.2169 s Remaining CPU time: 1792.78 s c Elapsed CPU time: 7.2299 s Remaining CPU time: 1792.77 s c Elapsed CPU time: 7.2429 s Remaining CPU time: 1792.76 s c Elapsed CPU time: 7.2569 s Remaining CPU time: 1792.74 s c Elapsed CPU time: 7.26989 s Remaining CPU time: 1792.73 s c Elapsed CPU time: 7.28289 s Remaining CPU time: 1792.72 s c Elapsed CPU time: 7.29589 s Remaining CPU time: 1792.7 s c Elapsed CPU time: 7.30889 s Remaining CPU time: 1792.69 s c Elapsed CPU time: 7.32189 s Remaining CPU time: 1792.68 s c Elapsed CPU time: 7.33488 s Remaining CPU time: 1792.67 s c Elapsed CPU time: 7.34888 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.40187 s Remaining CPU time: 1792.6 s c Elapsed CPU time: 7.41387 s Remaining CPU time: 1792.59 s c Elapsed CPU time: 7.42687 s Remaining CPU time: 1792.57 s c Elapsed CPU time: 7.43887 s Remaining CPU time: 1792.56 s c Elapsed CPU time: 7.45187 s Remaining CPU time: 1792.55 s c Elapsed CPU time: 7.46586 s Remaining CPU time: 1792.53 s c Elapsed CPU time: 7.47886 s Remaining CPU time: 1792.52 s c Elapsed CPU time: 7.49286 s Remaining CPU time: 1792.51 s c Elapsed CPU time: 7.50586 s Remaining CPU time: 1792.49 s c Elapsed CPU time: 7.51986 s Remaining CPU time: 1792.48 s c Elapsed CPU time: 7.53285 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.55985 s Remaining CPU time: 1792.44 s c Elapsed CPU time: 7.57285 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.61384 s Remaining CPU time: 1792.39 s c Elapsed CPU time: 7.62684 s Remaining CPU time: 1792.37 s c Elapsed CPU time: 7.63984 s Remaining CPU time: 1792.36 s c Elapsed CPU time: 7.65384 s Remaining CPU time: 1792.35 s c Elapsed CPU time: 7.66683 s Remaining CPU time: 1792.33 s c Elapsed CPU time: 7.67983 s Remaining CPU time: 1792.32 s c Elapsed CPU time: 7.69383 s Remaining CPU time: 1792.31 s c Elapsed CPU time: 7.70783 s Remaining CPU time: 1792.29 s c Elapsed CPU time: 7.72183 s Remaining CPU time: 1792.28 s c Elapsed CPU time: 7.73482 s Remaining CPU time: 1792.27 s c Elapsed CPU time: 7.74882 s Remaining CPU time: 1792.25 s c Elapsed CPU time: 7.76282 s Remaining CPU time: 1792.24 s c Elapsed CPU time: 7.77682 s Remaining CPU time: 1792.22 s c Elapsed CPU time: 7.78981 s Remaining CPU time: 1792.21 s c Elapsed CPU time: 7.80281 s Remaining CPU time: 1792.2 s c Elapsed CPU time: 7.81681 s Remaining CPU time: 1792.18 s c Elapsed CPU time: 7.82981 s Remaining CPU time: 1792.17 s c Elapsed CPU time: 7.84381 s Remaining CPU time: 1792.16 s c Elapsed CPU time: 7.8568 s Remaining CPU time: 1792.14 s c Elapsed CPU time: 7.8708 s Remaining CPU time: 1792.13 s c Elapsed CPU time: 7.8838 s Remaining CPU time: 1792.12 s c Elapsed CPU time: 7.8978 s Remaining CPU time: 1792.1 s c Elapsed CPU time: 7.9108 s Remaining CPU time: 1792.09 s c Elapsed CPU time: 7.9238 s Remaining CPU time: 1792.08 s c Elapsed CPU time: 7.93779 s Remaining CPU time: 1792.06 s c Elapsed CPU time: 7.95079 s Remaining CPU time: 1792.05 s c Elapsed CPU time: 7.96479 s Remaining CPU time: 1792.04 s c Elapsed CPU time: 7.97779 s Remaining CPU time: 1792.02 s c Elapsed CPU time: 7.99179 s Remaining CPU time: 1792.01 s c Elapsed CPU time: 8.00478 s Remaining CPU time: 1792 s c Elapsed CPU time: 8.01878 s Remaining CPU time: 1791.98 s c Elapsed CPU time: 8.03178 s Remaining CPU time: 1791.97 s c Elapsed CPU time: 8.04578 s Remaining CPU time: 1791.95 s c Elapsed CPU time: 8.05977 s Remaining CPU time: 1791.94 s c Elapsed CPU time: 8.07377 s Remaining CPU time: 1791.93 s c Elapsed CPU time: 8.08777 s Remaining CPU time: 1791.91 s c Elapsed CPU time: 8.10077 s Remaining CPU time: 1791.9 s c Elapsed CPU time: 8.11477 s Remaining CPU time: 1791.89 s c Elapsed CPU time: 8.12876 s Remaining CPU time: 1791.87 s c Elapsed CPU time: 8.14276 s Remaining CPU time: 1791.86 s c Elapsed CPU time: 8.15576 s Remaining CPU time: 1791.84 s c Elapsed CPU time: 8.16976 s Remaining CPU time: 1791.83 s c Elapsed CPU time: 8.18276 s Remaining CPU time: 1791.82 s c Elapsed CPU time: 8.19675 s Remaining CPU time: 1791.8 s c Elapsed CPU time: 8.21075 s Remaining CPU time: 1791.79 s c Elapsed CPU time: 8.22375 s Remaining CPU time: 1791.78 s c Elapsed CPU time: 8.23775 s Remaining CPU time: 1791.76 s c Elapsed CPU time: 8.25174 s Remaining CPU time: 1791.75 s c Elapsed CPU time: 8.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.30574 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.34773 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.37473 s Remaining CPU time: 1791.63 s c Elapsed CPU time: 8.38872 s Remaining CPU time: 1791.61 s c Elapsed CPU time: 8.40272 s Remaining CPU time: 1791.6 s c Elapsed CPU time: 8.41672 s Remaining CPU time: 1791.58 s c Elapsed CPU time: 8.43072 s Remaining CPU time: 1791.57 s c Elapsed CPU time: 8.44472 s Remaining CPU time: 1791.56 s c Elapsed CPU time: 8.45771 s Remaining CPU time: 1791.54 s c Elapsed CPU time: 8.47171 s Remaining CPU time: 1791.53 s c Elapsed CPU time: 8.48571 s Remaining CPU time: 1791.51 s c Elapsed CPU time: 8.49971 s Remaining CPU time: 1791.5 s c Elapsed CPU time: 8.5137 s Remaining CPU time: 1791.49 s c Elapsed CPU time: 8.5277 s Remaining CPU time: 1791.47 s c Elapsed CPU time: 8.5417 s Remaining CPU time: 1791.46 s c Elapsed CPU time: 8.5557 s Remaining CPU time: 1791.44 s c Elapsed CPU time: 8.5697 s Remaining CPU time: 1791.43 s c Elapsed CPU time: 8.58269 s Remaining CPU time: 1791.42 s c Elapsed CPU time: 8.59669 s Remaining CPU time: 1791.4 s c Elapsed CPU time: 8.60969 s Remaining CPU time: 1791.39 s c Elapsed CPU time: 8.62369 s Remaining CPU time: 1791.38 s c Elapsed CPU time: 8.63769 s Remaining CPU time: 1791.36 s c Elapsed CPU time: 8.65168 s Remaining CPU time: 1791.35 s c Elapsed CPU time: 8.66568 s Remaining CPU time: 1791.33 s c Elapsed CPU time: 8.67968 s Remaining CPU time: 1791.32 s c Elapsed CPU time: 8.69268 s Remaining CPU time: 1791.31 s c Elapsed CPU time: 8.70668 s Remaining CPU time: 1791.29 s c Elapsed CPU time: 8.72067 s Remaining CPU time: 1791.28 s c Elapsed CPU time: 8.73467 s Remaining CPU time: 1791.27 s c Elapsed CPU time: 8.74767 s Remaining CPU time: 1791.25 s c Elapsed CPU time: 8.76167 s Remaining CPU time: 1791.24 s c Elapsed CPU time: 8.77567 s Remaining CPU time: 1791.22 s c Elapsed CPU time: 8.78866 s Remaining CPU time: 1791.21 s c Elapsed CPU time: 8.80266 s Remaining CPU time: 1791.2 s c Elapsed CPU time: 8.81666 s Remaining CPU time: 1791.18 s c Elapsed CPU time: 8.83066 s Remaining CPU time: 1791.17 s c Elapsed CPU time: 8.84465 s Remaining CPU time: 1791.16 s c Elapsed CPU time: 8.85865 s Remaining CPU time: 1791.14 s c Elapsed CPU time: 8.87265 s Remaining CPU time: 1791.13 s c Elapsed CPU time: 8.88665 s Remaining CPU time: 1791.11 s c Elapsed CPU time: 8.89965 s Remaining CPU time: 1791.1 s c Elapsed CPU time: 8.91364 s Remaining CPU time: 1791.09 s c Elapsed CPU time: 8.92764 s Remaining CPU time: 1791.07 s c Elapsed CPU time: 8.94164 s Remaining CPU time: 1791.06 s c Elapsed CPU time: 8.95664 s Remaining CPU time: 1791.04 s c Elapsed CPU time: 8.97064 s Remaining CPU time: 1791.03 s c Elapsed CPU time: 8.98463 s Remaining CPU time: 1791.02 s c Elapsed CPU time: 8.99863 s Remaining CPU time: 1791 s c Elapsed CPU time: 9.01263 s Remaining CPU time: 1790.99 s c Elapsed CPU time: 9.02663 s Remaining CPU time: 1790.97 s c Elapsed CPU time: 9.04063 s Remaining CPU time: 1790.96 s c Elapsed CPU time: 9.05462 s Remaining CPU time: 1790.95 s c Elapsed CPU time: 9.06962 s Remaining CPU time: 1790.93 s c Elapsed CPU time: 9.08362 s Remaining CPU time: 1790.92 s c Elapsed CPU time: 9.09762 s Remaining CPU time: 1790.9 s c Elapsed CPU time: 9.11161 s Remaining CPU time: 1790.89 s c Elapsed CPU time: 9.12661 s Remaining CPU time: 1790.87 s c Elapsed CPU time: 9.14061 s Remaining CPU time: 1790.86 s c Elapsed CPU time: 9.15461 s Remaining CPU time: 1790.85 s c Elapsed CPU time: 9.16861 s Remaining CPU time: 1790.83 s c Elapsed CPU time: 9.1826 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.2406 s Remaining CPU time: 1790.76 s c Elapsed CPU time: 9.25459 s Remaining CPU time: 1790.75 s c Elapsed CPU time: 9.26959 s Remaining CPU time: 1790.73 s c Elapsed CPU time: 9.28359 s Remaining CPU time: 1790.72 s c Elapsed CPU time: 9.29859 s Remaining CPU time: 1790.7 s c Elapsed CPU time: 9.31258 s Remaining CPU time: 1790.69 s c Elapsed CPU time: 9.32658 s Remaining CPU time: 1790.67 s c Elapsed CPU time: 9.34058 s Remaining CPU time: 1790.66 s c Elapsed CPU time: 9.35458 s Remaining CPU time: 1790.65 s c Elapsed CPU time: 9.36857 s Remaining CPU time: 1790.63 s c Elapsed CPU time: 9.38357 s Remaining CPU time: 1790.62 s c Elapsed CPU time: 9.39757 s Remaining CPU time: 1790.6 s c Elapsed CPU time: 9.41157 s Remaining CPU time: 1790.59 s c Elapsed CPU time: 9.42657 s Remaining CPU time: 1790.57 s c Elapsed CPU time: 9.44056 s Remaining CPU time: 1790.56 s c Elapsed CPU time: 9.45456 s Remaining CPU time: 1790.55 s c Elapsed CPU time: 9.46856 s Remaining CPU time: 1790.53 s c Elapsed CPU time: 9.48356 s Remaining CPU time: 1790.52 s c Elapsed CPU time: 9.49756 s Remaining CPU time: 1790.5 s c Elapsed CPU time: 9.51255 s Remaining CPU time: 1790.49 s c Elapsed CPU time: 9.52755 s Remaining CPU time: 1790.47 s c Elapsed CPU time: 9.54155 s Remaining CPU time: 1790.46 s c Elapsed CPU time: 9.55655 s Remaining CPU time: 1790.44 s c Elapsed CPU time: 9.57054 s Remaining CPU time: 1790.43 s c Elapsed CPU time: 9.58554 s Remaining CPU time: 1790.41 s c Elapsed CPU time: 9.59954 s Remaining CPU time: 1790.4 s c Elapsed CPU time: 9.61454 s Remaining CPU time: 1790.39 s c Elapsed CPU time: 9.62854 s Remaining CPU time: 1790.37 s c Elapsed CPU time: 9.64353 s Remaining CPU time: 1790.36 s c Elapsed CPU time: 9.65753 s Remaining CPU time: 1790.34 s c Elapsed CPU time: 9.67253 s Remaining CPU time: 1790.33 s c Elapsed CPU time: 9.68653 s Remaining CPU time: 1790.31 s c Elapsed CPU time: 9.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.73052 s Remaining CPU time: 1790.27 s c Elapsed CPU time: 9.74552 s Remaining CPU time: 1790.25 s c Elapsed CPU time: 9.75952 s Remaining CPU time: 1790.24 s c Elapsed CPU time: 9.77451 s Remaining CPU time: 1790.23 s c Elapsed CPU time: 9.78951 s Remaining CPU time: 1790.21 s c Elapsed CPU time: 9.80351 s Remaining CPU time: 1790.2 s c Elapsed CPU time: 9.81851 s Remaining CPU time: 1790.18 s c Elapsed CPU time: 9.83351 s Remaining CPU time: 1790.17 s c Elapsed CPU time: 9.8485 s Remaining CPU time: 1790.15 s c Elapsed CPU time: 9.8635 s Remaining CPU time: 1790.14 s c Elapsed CPU time: 9.8775 s Remaining CPU time: 1790.12 s c Elapsed CPU time: 9.8925 s Remaining CPU time: 1790.11 s c Elapsed CPU time: 9.90749 s Remaining CPU time: 1790.09 s c Elapsed CPU time: 9.92149 s Remaining CPU time: 1790.08 s c Elapsed CPU time: 9.93649 s Remaining CPU time: 1790.06 s c Elapsed CPU time: 9.95049 s Remaining CPU time: 1790.05 s c Elapsed CPU time: 9.96548 s Remaining CPU time: 1790.03 s c Elapsed CPU time: 9.98048 s Remaining CPU time: 1790.02 s c Elapsed CPU time: 9.99548 s Remaining CPU time: 1790 s c Elapsed CPU time: 10.0095 s Remaining CPU time: 1789.99 s c Elapsed CPU time: 10.0245 s Remaining CPU time: 1789.98 s c Elapsed CPU time: 10.0395 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.0695 s Remaining CPU time: 1789.93 s c Elapsed CPU time: 10.0845 s Remaining CPU time: 1789.92 s c Elapsed CPU time: 10.0995 s Remaining CPU time: 1789.9 s c Elapsed CPU time: 10.1145 s Remaining CPU time: 1789.89 s c Elapsed CPU time: 10.1295 s Remaining CPU time: 1789.87 s c Elapsed CPU time: 10.1445 s Remaining CPU time: 1789.86 s c Elapsed CPU time: 10.1595 s Remaining CPU time: 1789.84 s c Elapsed CPU time: 10.1745 s Remaining CPU time: 1789.83 s c Elapsed CPU time: 10.1895 s Remaining CPU time: 1789.81 s c Elapsed CPU time: 10.2034 s Remaining CPU time: 1789.8 s c Elapsed CPU time: 10.2184 s Remaining CPU time: 1789.78 s c Elapsed CPU time: 10.2344 s Remaining CPU time: 1789.77 s c Elapsed CPU time: 10.2484 s Remaining CPU time: 1789.75 s c Elapsed CPU time: 10.2644 s Remaining CPU time: 1789.74 s c Elapsed CPU time: 10.2794 s Remaining CPU time: 1789.72 s c Elapsed CPU time: 10.2944 s Remaining CPU time: 1789.71 s c Elapsed CPU time: 10.3094 s Remaining CPU time: 1789.69 s c Elapsed CPU time: 10.3244 s Remaining CPU time: 1789.68 s c Elapsed CPU time: 10.3394 s Remaining CPU time: 1789.66 s c Elapsed CPU time: 10.3544 s Remaining CPU time: 1789.65 s c Elapsed CPU time: 10.3694 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.4144 s Remaining CPU time: 1789.59 s c Elapsed CPU time: 10.4294 s Remaining CPU time: 1789.57 s c Elapsed CPU time: 10.4444 s Remaining CPU time: 1789.56 s c Elapsed CPU time: 10.4594 s Remaining CPU time: 1789.54 s c Elapsed CPU time: 10.4744 s Remaining CPU time: 1789.53 s c Elapsed CPU time: 10.4894 s Remaining CPU time: 1789.51 s c Elapsed CPU time: 10.5044 s Remaining CPU time: 1789.5 s c Elapsed CPU time: 10.5184 s Remaining CPU time: 1789.48 s c Elapsed CPU time: 10.5334 s Remaining CPU time: 1789.47 s c Elapsed CPU time: 10.5484 s Remaining CPU time: 1789.45 s c Elapsed CPU time: 10.5644 s Remaining CPU time: 1789.44 s c Elapsed CPU time: 10.5794 s Remaining CPU time: 1789.42 s c Elapsed CPU time: 10.5954 s Remaining CPU time: 1789.4 s c Elapsed CPU time: 10.6104 s Remaining CPU time: 1789.39 s c Elapsed CPU time: 10.6254 s Remaining CPU time: 1789.37 s c Elapsed CPU time: 10.6404 s Remaining CPU time: 1789.36 s c Elapsed CPU time: 10.6564 s Remaining CPU time: 1789.34 s c Elapsed CPU time: 10.6714 s Remaining CPU time: 1789.33 s c Elapsed CPU time: 10.6864 s Remaining CPU time: 1789.31 s c Elapsed CPU time: 10.7014 s Remaining CPU time: 1789.3 s c Elapsed CPU time: 10.7174 s Remaining CPU time: 1789.28 s c Elapsed CPU time: 10.7324 s Remaining CPU time: 1789.27 s c Elapsed CPU time: 10.7474 s Remaining CPU time: 1789.25 s c Elapsed CPU time: 10.7624 s Remaining CPU time: 1789.24 s c Elapsed CPU time: 10.7784 s Remaining CPU time: 1789.22 s c Elapsed CPU time: 10.7934 s Remaining CPU time: 1789.21 s c Elapsed CPU time: 10.8084 s Remaining CPU time: 1789.19 s c Elapsed CPU time: 10.8234 s Remaining CPU time: 1789.18 s c Elapsed CPU time: 10.8384 s Remaining CPU time: 1789.16 s c Elapsed CPU time: 10.8534 s Remaining CPU time: 1789.15 s c Elapsed CPU time: 10.8683 s Remaining CPU time: 1789.13 s c Elapsed CPU time: 10.8833 s Remaining CPU time: 1789.12 s c Elapsed CPU time: 10.8983 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.9293 s Remaining CPU time: 1789.07 s c Elapsed CPU time: 10.9443 s Remaining CPU time: 1789.06 s c Elapsed CPU time: 10.9593 s Remaining CPU time: 1789.04 s c Elapsed CPU time: 10.9753 s Remaining CPU time: 1789.02 s c Elapsed CPU time: 10.9903 s Remaining CPU time: 1789.01 s c Elapsed CPU time: 11.0063 s Remaining CPU time: 1788.99 s c Elapsed CPU time: 11.0213 s Remaining CPU time: 1788.98 s c Elapsed CPU time: 11.0373 s Remaining CPU time: 1788.96 s c Elapsed CPU time: 11.0523 s Remaining CPU time: 1788.95 s c Elapsed CPU time: 11.0673 s Remaining CPU time: 1788.93 s c Elapsed CPU time: 11.0833 s Remaining CPU time: 1788.92 s c Elapsed CPU time: 11.0983 s Remaining CPU time: 1788.9 s c Elapsed CPU time: 11.1143 s Remaining CPU time: 1788.89 s c Elapsed CPU time: 11.1293 s Remaining CPU time: 1788.87 s c Elapsed CPU time: 11.1443 s Remaining CPU time: 1788.86 s c Elapsed CPU time: 11.1603 s Remaining CPU time: 1788.84 s c Elapsed CPU time: 11.1763 s Remaining CPU time: 1788.82 s c Elapsed CPU time: 11.1923 s Remaining CPU time: 1788.81 s c Elapsed CPU time: 11.2073 s Remaining CPU time: 1788.79 s c Elapsed CPU time: 11.2233 s Remaining CPU time: 1788.78 s c Elapsed CPU time: 11.2383 s Remaining CPU time: 1788.76 s c Elapsed CPU time: 11.2543 s Remaining CPU time: 1788.75 s c Elapsed CPU time: 11.2703 s Remaining CPU time: 1788.73 s c Elapsed CPU time: 11.2863 s Remaining CPU time: 1788.71 s c Elapsed CPU time: 11.3013 s Remaining CPU time: 1788.7 s c Elapsed CPU time: 11.3173 s Remaining CPU time: 1788.68 s c Elapsed CPU time: 11.3323 s Remaining CPU time: 1788.67 s c Elapsed CPU time: 11.3483 s Remaining CPU time: 1788.65 s c Elapsed CPU time: 11.3643 s Remaining CPU time: 1788.64 s c Elapsed CPU time: 11.3793 s Remaining CPU time: 1788.62 s c Elapsed CPU time: 11.3953 s Remaining CPU time: 1788.6 s c Elapsed CPU time: 11.4113 s Remaining CPU time: 1788.59 s c Elapsed CPU time: 11.4263 s Remaining CPU time: 1788.57 s c Elapsed CPU time: 11.4423 s Remaining CPU time: 1788.56 s c Elapsed CPU time: 11.4583 s Remaining CPU time: 1788.54 s c Elapsed CPU time: 11.4743 s Remaining CPU time: 1788.53 s c Elapsed CPU time: 11.4893 s Remaining CPU time: 1788.51 s c Elapsed CPU time: 11.5053 s Remaining CPU time: 1788.49 s c Elapsed CPU time: 11.5212 s Remaining CPU time: 1788.48 s c Elapsed CPU time: 11.5372 s Remaining CPU time: 1788.46 s c Elapsed CPU time: 11.5532 s Remaining CPU time: 1788.45 s c Elapsed CPU time: 11.5682 s Remaining CPU time: 1788.43 s c Elapsed CPU time: 11.5842 s Remaining CPU time: 1788.42 s c Elapsed CPU time: 11.6002 s Remaining CPU time: 1788.4 s c Elapsed CPU time: 11.6152 s Remaining CPU time: 1788.38 s c Elapsed CPU time: 11.6312 s Remaining CPU time: 1788.37 s c Elapsed CPU time: 11.6472 s Remaining CPU time: 1788.35 s c Elapsed CPU time: 11.6632 s Remaining CPU time: 1788.34 s c Elapsed CPU time: 11.6782 s Remaining CPU time: 1788.32 s c Elapsed CPU time: 11.6942 s Remaining CPU time: 1788.31 s c Elapsed CPU time: 11.7092 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.8032 s Remaining CPU time: 1788.2 s c Elapsed CPU time: 11.8192 s Remaining CPU time: 1788.18 s c Elapsed CPU time: 11.8342 s Remaining CPU time: 1788.17 s c Elapsed CPU time: 11.8502 s Remaining CPU time: 1788.15 s c Elapsed CPU time: 11.8662 s Remaining CPU time: 1788.13 s c Elapsed CPU time: 11.8822 s Remaining CPU time: 1788.12 s c Elapsed CPU time: 11.8982 s Remaining CPU time: 1788.1 s c Elapsed CPU time: 11.9152 s Remaining CPU time: 1788.08 s c Elapsed CPU time: 11.9312 s Remaining CPU time: 1788.07 s c Elapsed CPU time: 11.9472 s Remaining CPU time: 1788.05 s c Elapsed CPU time: 11.9632 s Remaining CPU time: 1788.04 s c Elapsed CPU time: 11.9802 s Remaining CPU time: 1788.02 s c Elapsed CPU time: 11.9962 s Remaining CPU time: 1788 s c Elapsed CPU time: 12.0122 s Remaining CPU time: 1787.99 s c Elapsed CPU time: 12.0282 s Remaining CPU time: 1787.97 s c Elapsed CPU time: 12.0442 s Remaining CPU time: 1787.96 s c Elapsed CPU time: 12.0612 s Remaining CPU time: 1787.94 s c Elapsed CPU time: 12.0772 s Remaining CPU time: 1787.92 s c Elapsed CPU time: 12.0932 s Remaining CPU time: 1787.91 s c Elapsed CPU time: 12.1092 s Remaining CPU time: 1787.89 s c Elapsed CPU time: 12.1242 s Remaining CPU time: 1787.88 s c Elapsed CPU time: 12.1402 s Remaining CPU time: 1787.86 s c Elapsed CPU time: 12.1562 s Remaining CPU time: 1787.84 s c Elapsed CPU time: 12.1721 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.2041 s Remaining CPU time: 1787.8 s c Elapsed CPU time: 12.2211 s Remaining CPU time: 1787.78 s c Elapsed CPU time: 12.2371 s Remaining CPU time: 1787.76 s c Elapsed CPU time: 12.2541 s Remaining CPU time: 1787.75 s c Elapsed CPU time: 12.2701 s Remaining CPU time: 1787.73 s c Elapsed CPU time: 12.2861 s Remaining CPU time: 1787.71 s c Elapsed CPU time: 12.3031 s Remaining CPU time: 1787.7 s c Elapsed CPU time: 12.3201 s Remaining CPU time: 1787.68 s c Elapsed CPU time: 12.3361 s Remaining CPU time: 1787.66 s c Elapsed CPU time: 12.3531 s Remaining CPU time: 1787.65 s c Elapsed CPU time: 12.3691 s Remaining CPU time: 1787.63 s c Elapsed CPU time: 12.3861 s Remaining CPU time: 1787.61 s c Elapsed CPU time: 12.4021 s Remaining CPU time: 1787.6 s c Elapsed CPU time: 12.4181 s Remaining CPU time: 1787.58 s c Elapsed CPU time: 12.4351 s Remaining CPU time: 1787.56 s c Elapsed CPU time: 12.4511 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.4841 s Remaining CPU time: 1787.52 s c Elapsed CPU time: 12.5011 s Remaining CPU time: 1787.5 s c Elapsed CPU time: 12.5171 s Remaining CPU time: 1787.48 s c Elapsed CPU time: 12.5341 s Remaining CPU time: 1787.47 s c Elapsed CPU time: 12.5501 s Remaining CPU time: 1787.45 s c Elapsed CPU time: 12.5671 s Remaining CPU time: 1787.43 s c Elapsed CPU time: 12.5841 s Remaining CPU time: 1787.42 s c Elapsed CPU time: 12.6001 s Remaining CPU time: 1787.4 s c Elapsed CPU time: 12.6171 s Remaining CPU time: 1787.38 s c Elapsed CPU time: 12.6341 s Remaining CPU time: 1787.37 s c Elapsed CPU time: 12.6501 s Remaining CPU time: 1787.35 s c Elapsed CPU time: 12.6671 s Remaining CPU time: 1787.33 s c Elapsed CPU time: 12.6841 s Remaining CPU time: 1787.32 s c Elapsed CPU time: 12.7001 s Remaining CPU time: 1787.3 s c Elapsed CPU time: 12.7171 s Remaining CPU time: 1787.28 s c Elapsed CPU time: 12.7341 s Remaining CPU time: 1787.27 s c Elapsed CPU time: 12.7511 s Remaining CPU time: 1787.25 s c Elapsed CPU time: 12.7681 s Remaining CPU time: 1787.23 s c Elapsed CPU time: 12.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.8161 s Remaining CPU time: 1787.18 s c Elapsed CPU time: 12.833 s Remaining CPU time: 1787.17 s c Elapsed CPU time: 12.849 s Remaining CPU time: 1787.15 s c Elapsed CPU time: 12.866 s Remaining CPU time: 1787.13 s c Elapsed CPU time: 12.883 s Remaining CPU time: 1787.12 s c Elapsed CPU time: 12.9 s Remaining CPU time: 1787.1 s c Elapsed CPU time: 12.917 s Remaining CPU time: 1787.08 s c Elapsed CPU time: 12.934 s Remaining CPU time: 1787.07 s c Elapsed CPU time: 12.95 s Remaining CPU time: 1787.05 s c Elapsed CPU time: 12.968 s Remaining CPU time: 1787.03 s c Elapsed CPU time: 12.985 s Remaining CPU time: 1787.01 s c Elapsed CPU time: 13.003 s Remaining CPU time: 1787 s c Elapsed CPU time: 13.019 s Remaining CPU time: 1786.98 s c Elapsed CPU time: 13.036 s Remaining CPU time: 1786.96 s c Elapsed CPU time: 13.052 s Remaining CPU time: 1786.95 s c Elapsed CPU time: 13.069 s Remaining CPU time: 1786.93 s c Elapsed CPU time: 13.086 s Remaining CPU time: 1786.91 s c Elapsed CPU time: 13.103 s Remaining CPU time: 1786.9 s c Elapsed CPU time: 13.12 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.154 s Remaining CPU time: 1786.85 s c Elapsed CPU time: 13.171 s Remaining CPU time: 1786.83 s c Elapsed CPU time: 13.187 s Remaining CPU time: 1786.81 s c Elapsed CPU time: 13.204 s Remaining CPU time: 1786.8 s c Elapsed CPU time: 13.221 s Remaining CPU time: 1786.78 s c Elapsed CPU time: 13.238 s Remaining CPU time: 1786.76 s c Elapsed CPU time: 13.255 s Remaining CPU time: 1786.75 s c Elapsed CPU time: 13.272 s Remaining CPU time: 1786.73 s c Elapsed CPU time: 13.29 s Remaining CPU time: 1786.71 s c Elapsed CPU time: 13.307 s Remaining CPU time: 1786.69 s c Elapsed CPU time: 13.325 s Remaining CPU time: 1786.68 s c Elapsed CPU time: 13.342 s Remaining CPU time: 1786.66 s c Elapsed CPU time: 13.36 s Remaining CPU time: 1786.64 s c Elapsed CPU time: 13.377 s Remaining CPU time: 1786.62 s c Elapsed CPU time: 13.394 s Remaining CPU time: 1786.61 s c Elapsed CPU time: 13.412 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.446 s Remaining CPU time: 1786.55 s c Elapsed CPU time: 13.464 s Remaining CPU time: 1786.54 s c Elapsed CPU time: 13.4809 s Remaining CPU time: 1786.52 s c Elapsed CPU time: 13.4979 s Remaining CPU time: 1786.5 s c Elapsed CPU time: 13.5149 s Remaining CPU time: 1786.49 s c Elapsed CPU time: 13.5329 s Remaining CPU time: 1786.47 s c Elapsed CPU time: 13.5489 s Remaining CPU time: 1786.45 s c Elapsed CPU time: 13.5669 s Remaining CPU time: 1786.43 s c Elapsed CPU time: 13.5849 s Remaining CPU time: 1786.42 s c Elapsed CPU time: 13.6019 s Remaining CPU time: 1786.4 s c Elapsed CPU time: 13.6189 s Remaining CPU time: 1786.38 s c Elapsed CPU time: 13.6369 s Remaining CPU time: 1786.36 s c Elapsed CPU time: 13.6539 s Remaining CPU time: 1786.35 s c Elapsed CPU time: 13.6719 s Remaining CPU time: 1786.33 s c Elapsed CPU time: 13.6889 s Remaining CPU time: 1786.31 s c Elapsed CPU time: 13.7059 s Remaining CPU time: 1786.29 s c Elapsed CPU time: 13.7239 s Remaining CPU time: 1786.28 s c Elapsed CPU time: 13.7419 s Remaining CPU time: 1786.26 s c Elapsed CPU time: 13.7589 s Remaining CPU time: 1786.24 s c Elapsed CPU time: 13.7749 s Remaining CPU time: 1786.23 s c Elapsed CPU time: 13.7919 s Remaining CPU time: 1786.21 s c Elapsed CPU time: 13.8099 s Remaining CPU time: 1786.19 s c Elapsed CPU time: 13.8279 s Remaining CPU time: 1786.17 s c Elapsed CPU time: 13.8449 s Remaining CPU time: 1786.16 s c Elapsed CPU time: 13.8629 s Remaining CPU time: 1786.14 s c Elapsed CPU time: 13.8809 s Remaining CPU time: 1786.12 s c Elapsed CPU time: 13.8979 s Remaining CPU time: 1786.1 s c Elapsed CPU time: 13.9159 s Remaining CPU time: 1786.08 s c Elapsed CPU time: 13.9329 s Remaining CPU time: 1786.07 s c Elapsed CPU time: 13.9509 s Remaining CPU time: 1786.05 s c Elapsed CPU time: 13.9689 s Remaining CPU time: 1786.03 s c Elapsed CPU time: 13.9859 s Remaining CPU time: 1786.01 s c Elapsed CPU time: 14.0039 s Remaining CPU time: 1786 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.0569 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.0919 s Remaining CPU time: 1785.91 s c Elapsed CPU time: 14.1099 s Remaining CPU time: 1785.89 s c Elapsed CPU time: 14.1279 s Remaining CPU time: 1785.87 s c Elapsed CPU time: 14.1448 s Remaining CPU time: 1785.86 s c Elapsed CPU time: 14.1618 s Remaining CPU time: 1785.84 s c Elapsed CPU time: 14.1798 s Remaining CPU time: 1785.82 s c Elapsed CPU time: 14.1968 s Remaining CPU time: 1785.8 s c Elapsed CPU time: 14.2158 s Remaining CPU time: 1785.78 s c Elapsed CPU time: 14.2348 s Remaining CPU time: 1785.77 s c Elapsed CPU time: 14.2518 s Remaining CPU time: 1785.75 s c Elapsed CPU time: 14.2708 s Remaining CPU time: 1785.73 s c Elapsed CPU time: 14.2878 s Remaining CPU time: 1785.71 s c Elapsed CPU time: 14.3048 s Remaining CPU time: 1785.7 s c Elapsed CPU time: 14.3228 s Remaining CPU time: 1785.68 s c Elapsed CPU time: 14.3408 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.3768 s Remaining CPU time: 1785.62 s c Elapsed CPU time: 14.3948 s Remaining CPU time: 1785.61 s c Elapsed CPU time: 14.4128 s Remaining CPU time: 1785.59 s c Elapsed CPU time: 14.4318 s Remaining CPU time: 1785.57 s c Elapsed CPU time: 14.4498 s Remaining CPU time: 1785.55 s c Elapsed CPU time: 14.4678 s Remaining CPU time: 1785.53 s c Elapsed CPU time: 14.4868 s Remaining CPU time: 1785.51 s c Elapsed CPU time: 14.5038 s Remaining CPU time: 1785.5 s c Elapsed CPU time: 14.5218 s Remaining CPU time: 1785.48 s c Elapsed CPU time: 14.5408 s Remaining CPU time: 1785.46 s c Elapsed CPU time: 14.5578 s Remaining CPU time: 1785.44 s c Elapsed CPU time: 14.5768 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.6148 s Remaining CPU time: 1785.39 s c Elapsed CPU time: 14.6338 s Remaining CPU time: 1785.37 s c Elapsed CPU time: 14.6528 s Remaining CPU time: 1785.35 s c Elapsed CPU time: 14.6728 s Remaining CPU time: 1785.33 s c Elapsed CPU time: 14.6908 s Remaining CPU time: 1785.31 s c Elapsed CPU time: 14.7108 s Remaining CPU time: 1785.29 s c Elapsed CPU time: 14.7298 s Remaining CPU time: 1785.27 s c Elapsed CPU time: 14.7498 s Remaining CPU time: 1785.25 s c Elapsed CPU time: 14.7688 s Remaining CPU time: 1785.23 s c Elapsed CPU time: 14.7888 s Remaining CPU time: 1785.21 s c Elapsed CPU time: 14.8087 s Remaining CPU time: 1785.19 s c Elapsed CPU time: 14.8287 s Remaining CPU time: 1785.17 s c Elapsed CPU time: 14.8487 s Remaining CPU time: 1785.15 s c Elapsed CPU time: 14.8697 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.9087 s Remaining CPU time: 1785.09 s c Elapsed CPU time: 14.9287 s Remaining CPU time: 1785.07 s c Elapsed CPU time: 14.9487 s Remaining CPU time: 1785.05 s c Elapsed CPU time: 14.9697 s Remaining CPU time: 1785.03 s c Elapsed CPU time: 14.9897 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.0317 s Remaining CPU time: 1784.97 s c Elapsed CPU time: 15.0507 s Remaining CPU time: 1784.95 s c Elapsed CPU time: 15.0707 s Remaining CPU time: 1784.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4904 8408 17470 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.0937 s Remaining CPU time: 1784.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4917 8409 17496 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.1157 s Remaining CPU time: 1784.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4923 8410 17508 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.1367 s Remaining CPU time: 1784.86 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4931 8412 17527 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.1597 s Remaining CPU time: 1784.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4939 8415 17549 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.1827 s Remaining CPU time: 1784.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4947 8417 17568 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.2047 s Remaining CPU time: 1784.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4955 8419 17587 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.2267 s Remaining CPU time: 1784.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4963 8422 17609 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.2487 s Remaining CPU time: 1784.75 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4971 8424 17628 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.2717 s Remaining CPU time: 1784.73 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4981 8426 17652 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.2947 s Remaining CPU time: 1784.71 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4994 8427 17678 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.3197 s Remaining CPU time: 1784.68 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5012 8428 17716 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.3427 s Remaining CPU time: 1784.66 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5029 8429 17742 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.3697 s Remaining CPU time: 1784.63 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5048 8431 17784 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.3977 s Remaining CPU time: 1784.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5061 8432 17812 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.4257 s Remaining CPU time: 1784.57 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5072 8433 17836 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.4536 s Remaining CPU time: 1784.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5088 8434 17871 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.4816 s Remaining CPU time: 1784.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5100 8435 17897 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.5126 s Remaining CPU time: 1784.49 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5126 8437 17954 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.5376 s Remaining CPU time: 1784.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5164 8439 17984 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.5636 s Remaining CPU time: 1784.44 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5182 8443 18037 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.5926 s Remaining CPU time: 1784.41 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5210 8447 18104 | 5000 0 nan | 0.000 % | c | 100 | 5210 8447 18104 | 5500 100 19 | 9.170 % | c =============================================================================== c Elapsed CPU time: 15.6386 s Remaining CPU time: 1784.36 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5221 8451 18137 | 5000 0 nan | 0.000 % | c | 100 | 5221 8451 18137 | 5500 100 16 | 9.137 % | c =============================================================================== c Elapsed CPU time: 15.6826 s Remaining CPU time: 1784.32 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5267 8453 18232 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.7126 s Remaining CPU time: 1784.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5186 8455 18244 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.7346 s Remaining CPU time: 1784.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5200 8456 18264 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.7576 s Remaining CPU time: 1784.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5230 8457 18293 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.7836 s Remaining CPU time: 1784.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5245 8458 18324 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.8086 s Remaining CPU time: 1784.19 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5267 8459 18369 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.8376 s Remaining CPU time: 1784.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5308 8462 18448 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 15.8716 s Remaining CPU time: 1784.13 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5349 8463 18531 | 5000 0 nan | 0.000 % | c | 100 | 5349 8463 18531 | 5500 100 22 | 9.767 % | c | 250 | 5261 8463 18531 | 6050 248 24 | 33.165 % | c | 475 | 3958 8463 18531 | 6655 433 23 | 33.519 % | c =============================================================================== c Elapsed CPU time: 15.9516 s Remaining CPU time: 1784.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5421 8464 18675 | 5000 0 nan | 0.000 % | c | 100 | 5379 8464 18675 | 5500 100 7 | 25.484 % | c =============================================================================== c Elapsed CPU time: 15.9896 s Remaining CPU time: 1784.01 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5479 8466 18795 | 5000 0 nan | 0.000 % | c | 101 | 4456 8466 18795 | 5500 46 10 | 26.433 % | c =============================================================================== c Elapsed CPU time: 16.0286 s Remaining CPU time: 1783.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5497 8471 18840 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.0696 s Remaining CPU time: 1783.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5540 8477 18943 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 16.1116 s Remaining CPU time: 1783.89 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5594 8478 19051 | 5000 0 nan | 0.000 % | c | 100 | 5594 8478 19051 | 5500 100 32 | 9.365 % | c =============================================================================== c Elapsed CPU time: 16.1575 s Remaining CPU time: 1783.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5634 8481 19137 | 5000 0 nan | 0.000 % | c | 100 | 5627 8481 19137 | 5500 100 15 | 9.643 % | c | 252 | 4658 8481 19137 | 6050 149 13 | 25.773 % | c | 479 | 4658 8481 19137 | 6655 376 19 | 25.773 % | c | 817 | 4611 8481 19137 | 7320 713 22 | 25.773 % | c | 1325 | 4610 8481 19137 | 8052 1216 23 | 25.789 % | c | 2087 | 4591 8481 19137 | 8857 1716 27 | 27.592 % | c =============================================================================== c Elapsed CPU time: 16.3835 s Remaining CPU time: 1783.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5721 8485 19323 | 5000 0 nan | 0.000 % | c | 101 | 5721 8485 19323 | 5500 101 23 | 9.176 % | c | 252 | 5719 8485 19323 | 6050 239 23 | 9.208 % | c | 477 | 5680 8485 19323 | 6655 461 26 | 9.827 % | c | 815 | 5680 8485 19323 | 7320 799 26 | 9.827 % | c | 1321 | 5680 8485 19323 | 8052 1305 30 | 9.827 % | c | 2080 | 5680 8485 19323 | 8857 2064 36 | 9.827 % | c | 3224 | 5604 8485 19323 | 9743 3206 43 | 25.877 % | c | 4934 | 5601 8485 19323 | 10717 4916 47 | 25.909 % | c | 7499 | 4664 8485 19323 | 11789 4841 50 | 25.957 % | c =============================================================================== c Elapsed CPU time: 17.7703 s Remaining CPU time: 1782.23 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5841 8490 19574 | 5000 0 nan | 0.000 % | c | 100 | 5841 8490 19574 | 5500 100 15 | 9.005 % | c | 252 | 5839 8490 19574 | 6050 251 13 | 9.036 % | c | 479 | 5839 8490 19574 | 6655 478 13 | 9.036 % | c | 818 | 5839 8490 19574 | 7320 817 15 | 9.036 % | c =============================================================================== c Elapsed CPU time: 17.9633 s Remaining CPU time: 1782.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5902 8505 19738 | 5000 0 nan | 0.000 % | c | 100 | 5902 8505 19738 | 5500 100 28 | 8.920 % | c | 253 | 5889 8505 19738 | 6050 250 40 | 9.120 % | c | 478 | 5889 8505 19738 | 6655 475 34 | 9.120 % | c | 815 | 5889 8505 19738 | 7320 808 29 | 9.120 % | c | 1323 | 5889 8505 19738 | 8052 1316 31 | 9.120 % | c | 2082 | 5889 8505 19738 | 8857 2075 30 | 9.120 % | c | 3223 | 5889 8505 19738 | 9743 3216 38 | 9.123 % | c | 4931 | 5889 8505 19738 | 10717 4924 52 | 9.120 % | c | 7494 | 4883 8505 19738 | 11789 7036 65 | 24.645 % | c | 11338 | 4810 8505 19738 | 12968 10574 68 | 31.404 % | c =============================================================================== c Elapsed CPU time: 20.013 s Remaining CPU time: 1779.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6064 8522 20136 | 5000 0 nan | 0.000 % | c | 100 | 6061 8522 20136 | 5500 100 12 | 8.793 % | c | 253 | 6058 8522 20136 | 6050 250 24 | 8.793 % | c | 479 | 6036 8522 20136 | 6655 474 23 | 9.124 % | c | 817 | 6036 8522 20136 | 7320 811 28 | 9.124 % | c | 1323 | 6036 8522 20136 | 8052 1317 37 | 9.124 % | c | 2082 | 6036 8522 20136 | 8857 2076 47 | 9.124 % | c | 3221 | 6033 8522 20136 | 9743 3214 60 | 9.169 % | c =============================================================================== c Verified 8522 original clauses.