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: 822 | c | Number of clauses: 9047 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 822 | c | Number Clauses: 9047 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.068989 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.092985 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 743 9313 52143 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 765 9322 52180 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 842 9336 52244 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 883 9373 52302 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 925 9418 52363 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1000 9475 52547 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1059 9532 52646 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1209 9688 52891 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1289 9766 53020 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1333 9808 53169 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s c Elapsed CPU time: 0.278957 s Remaining CPU time: 1799.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1420 9891 53370 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.293955 s Remaining CPU time: 1799.71 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1572 9992 53587 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1666 10086 53779 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1738 10157 53898 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1808 10217 54164 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.358945 s Remaining CPU time: 1799.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1898 10293 54442 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.377942 s Remaining CPU time: 1799.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2018 10403 54716 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2134 10510 54982 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2224 10607 55211 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2329 10708 55555 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2433 10802 55805 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.474927 s Remaining CPU time: 1799.53 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2540 10904 56089 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2685 11019 56479 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.51992 s Remaining CPU time: 1799.48 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2850 11157 56915 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3055 11321 57430 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3211 11475 58051 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.58991 s Remaining CPU time: 1799.41 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3328 11589 58378 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3485 11728 58689 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3588 11838 59019 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.661899 s Remaining CPU time: 1799.34 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3783 11983 59679 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3928 12094 60012 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4061 12202 60462 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4155 12290 60749 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4251 12375 61058 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4379 12485 61571 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4499 12612 61917 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.857869 s Remaining CPU time: 1799.14 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4592 12712 62167 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.881865 s Remaining CPU time: 1799.12 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4690 12806 62392 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.909861 s Remaining CPU time: 1799.09 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4771 12890 62579 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4877 12983 62776 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4950 13053 63079 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5035 13137 63311 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5119 13211 63582 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.03684 s Remaining CPU time: 1798.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5176 13268 63699 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.06484 s Remaining CPU time: 1798.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5246 13338 64154 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5325 13418 64400 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5439 13522 64867 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5567 13640 65273 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5666 13732 65557 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.21182 s Remaining CPU time: 1798.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5773 13830 65800 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5881 13926 66121 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5998 14009 66381 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.3098 s Remaining CPU time: 1798.69 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6099 14101 66621 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.34479 s Remaining CPU time: 1798.66 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6206 14196 66880 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6378 14328 67337 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6465 14407 67564 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6529 14472 67745 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.48077 s Remaining CPU time: 1798.52 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6626 14569 67998 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6720 14663 68446 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.55076 s Remaining CPU time: 1798.45 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6800 14741 68798 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.58076 s Remaining CPU time: 1798.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6849 14783 68902 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.61775 s Remaining CPU time: 1798.38 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6996 14891 69341 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7087 14973 69762 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7130 15020 69980 | 5006 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7254 15134 70431 | 5044 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.76173 s Remaining CPU time: 1798.24 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7442 15321 70840 | 5107 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.79773 s Remaining CPU time: 1798.2 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7539 15401 71024 | 5133 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.83672 s Remaining CPU time: 1798.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7745 15580 71431 | 5193 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7908 15733 71829 | 5244 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.92171 s Remaining CPU time: 1798.08 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8029 15823 72445 | 5274 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8277 16054 73254 | 5351 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.02269 s Remaining CPU time: 1797.98 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8380 16138 73455 | 5379 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.07069 s Remaining CPU time: 1797.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8506 16222 73718 | 5407 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.12268 s Remaining CPU time: 1797.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8609 16308 74276 | 5436 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8733 16428 74986 | 5476 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8892 16523 75586 | 5507 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9021 16620 76035 | 5540 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.35864 s Remaining CPU time: 1797.64 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9197 16778 76510 | 5592 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.41863 s Remaining CPU time: 1797.58 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9287 16847 76786 | 5615 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.46862 s Remaining CPU time: 1797.53 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9392 16929 77133 | 5643 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.51962 s Remaining CPU time: 1797.48 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9512 17012 77506 | 5670 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.56161 s Remaining CPU time: 1797.44 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9605 17087 77899 | 5695 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9806 17221 78424 | 5740 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.67059 s Remaining CPU time: 1797.33 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9883 17272 78644 | 5757 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.71359 s Remaining CPU time: 1797.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9915 17298 78844 | 5766 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.77758 s Remaining CPU time: 1797.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9970 17327 78977 | 5775 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10030 17352 79106 | 5784 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10104 17403 79432 | 5801 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10185 17458 79659 | 5819 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10263 17495 79944 | 5831 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.00654 s Remaining CPU time: 1796.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10325 17548 80037 | 5849 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10387 17598 80323 | 5866 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.09953 s Remaining CPU time: 1796.9 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10454 17646 80551 | 5882 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10515 17684 80837 | 5894 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10623 17744 81160 | 5914 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10671 17780 81281 | 5926 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.2985 s Remaining CPU time: 1796.7 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10695 17792 81341 | 5930 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.34549 s Remaining CPU time: 1796.65 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10778 17841 81858 | 5947 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.39248 s Remaining CPU time: 1796.61 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10868 17899 82049 | 5966 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.45147 s Remaining CPU time: 1796.55 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11069 17973 82473 | 5991 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.51247 s Remaining CPU time: 1796.49 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11272 18054 83000 | 6018 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.56046 s Remaining CPU time: 1796.44 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11358 18120 83155 | 6040 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.62145 s Remaining CPU time: 1796.38 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11469 18183 83478 | 6061 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11507 18189 83549 | 6063 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.72643 s Remaining CPU time: 1796.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11606 18251 83713 | 6083 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 3.78342 s Remaining CPU time: 1796.22 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11718 18309 83892 | 6103 0 nan | 0.000 % | c | 101 | 11718 18309 83892 | 6713 101 37 | 1.106 % | c | 252 | 11455 18309 83892 | 7384 165 12 | 3.325 % | c =============================================================================== c Elapsed CPU time: 3.9074 s Remaining CPU time: 1796.09 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11978 18374 84378 | 6124 0 nan | 0.000 % | c | 101 | 11961 18374 84378 | 6737 101 14 | 5.624 % | c =============================================================================== c Elapsed CPU time: 3.98339 s Remaining CPU time: 1796.02 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12131 18438 84947 | 6146 0 nan | 0.000 % | c | 101 | 12131 18438 84947 | 6760 101 15 | 1.020 % | c | 251 | 11904 18438 84947 | 7436 248 22 | 2.872 % | c =============================================================================== c Elapsed CPU time: 4.13437 s Remaining CPU time: 1795.87 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12454 18525 85591 | 6175 0 nan | 0.000 % | c | 100 | 12454 18525 85591 | 6792 100 38 | 0.994 % | c | 250 | 12295 18525 85591 | 7471 249 26 | 2.258 % | c | 475 | 12295 18525 85591 | 8218 474 29 | 2.258 % | c | 812 | 12294 18525 85591 | 9040 808 36 | 2.266 % | c | 1320 | 12294 18525 85591 | 9944 1316 33 | 2.266 % | c =============================================================================== c Elapsed CPU time: 4.82127 s Remaining CPU time: 1795.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13184 18697 87067 | 6232 0 nan | 0.000 % | c | 100 | 13184 18697 87067 | 6855 100 23 | 0.940 % | c | 253 | 12989 18697 87067 | 7541 204 21 | 2.675 % | c | 479 | 12953 18697 87067 | 8295 429 38 | 2.675 % | c | 816 | 12953 18697 87067 | 9124 766 30 | 2.675 % | c | 1323 | 12465 18697 87067 | 10037 879 21 | 6.342 % | c | 2088 | 12465 18697 87067 | 11040 1644 23 | 6.342 % | c | 3227 | 11997 18697 87067 | 12145 349 10 | 9.858 % | c =============================================================================== c Elapsed CPU time: 5.72913 s Remaining CPU time: 1794.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13643 18858 88113 | 6286 0 nan | 0.000 % | c | 100 | 13643 18858 88113 | 6914 100 85 | 0.908 % | c | 251 | 13416 18858 88113 | 7606 248 54 | 2.557 % | c | 479 | 13416 18858 88113 | 8366 476 38 | 2.557 % | c | 819 | 13412 18858 88113 | 9203 814 50 | 2.586 % | c | 1327 | 13412 18858 88113 | 10123 1322 63 | 2.586 % | c | 2086 | 13412 18858 88113 | 11136 2081 68 | 2.586 % | c | 3227 | 13412 18858 88113 | 12249 3222 75 | 2.586 % | c | 4937 | 13412 18858 88113 | 13474 4932 67 | 2.586 % | c | 7500 | 13412 18858 88113 | 14822 7495 75 | 2.586 % | c | 11344 | 13412 18858 88113 | 16304 11339 77 | 2.586 % | c | 17112 | 13412 18858 88113 | 17934 17107 75 | 2.586 % | c | 25767 | 13264 18858 88113 | 19728 12689 58 | 3.661 % | c =============================================================================== c Elapsed CPU time: 22.3776 s Remaining CPU time: 1777.62 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14624 19019 90168 | 6339 0 nan | 0.000 % | c | 101 | 14624 19019 90168 | 6973 101 29 | 0.848 % | c | 254 | 14397 19019 90168 | 7670 250 21 | 2.387 % | c | 479 | 14397 19019 90168 | 8438 475 22 | 2.387 % | c | 816 | 14397 19019 90168 | 9281 812 22 | 2.387 % | c | 1322 | 14397 19019 90168 | 10210 1318 36 | 2.387 % | c | 2081 | 14397 19019 90168 | 11231 2077 37 | 2.387 % | c | 3222 | 14397 19019 90168 | 12354 3218 38 | 2.387 % | c | 4932 | 14397 19019 90168 | 13589 4928 43 | 2.387 % | c | 7499 | 14397 19019 90168 | 14948 7495 47 | 2.387 % | c | 11345 | 14397 19019 90168 | 16443 11341 53 | 2.387 % | c | 17112 | 14397 19019 90168 | 18087 17108 57 | 2.387 % | c | 25764 | 14397 19019 90168 | 19896 16053 63 | 2.387 % | c | 38739 | 14397 19019 90168 | 21886 18361 52 | 2.387 % | c | 58200 | 14397 19019 90168 | 24074 14675 59 | 2.387 % | c | 87395 | 14246 19019 90168 | 26482 23776 69 | 3.410 % | c | 131187 | 14217 19019 90168 | 29130 22677 70 | 3.607 % | c | 196880 | 13905 19019 90168 | 32043 13129 63 | 5.722 % | c | 295409 | 13884 19019 90168 | 35248 1759 26 | 5.865 % | c | 443199 | 13846 19019 90168 | 38772 34100 104 | 6.123 % | c =============================================================================== c Elapsed CPU time: 519.431 s Remaining CPU time: 1280.57 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15271 19115 91449 | 6371 0 nan | 0.000 % | c | 102 | 15271 19115 91449 | 7008 102 66 | 0.812 % | c | 252 | 15044 19115 91449 | 7709 247 36 | 2.286 % | c | 477 | 15044 19115 91449 | 8480 472 42 | 2.286 % | c | 814 | 15044 19115 91449 | 9328 809 33 | 2.286 % | c | 1320 | 15044 19115 91449 | 10261 1315 43 | 2.286 % | c | 2079 | 15044 19115 91449 | 11287 2074 36 | 2.286 % | c | 3218 | 15044 19115 91449 | 12416 3213 36 | 2.286 % | c | 4928 | 15044 19115 91449 | 13658 4923 32 | 2.286 % | c | 7491 | 15044 19115 91449 | 15024 7486 37 | 2.286 % | c | 11341 | 14893 19115 91449 | 16526 5847 44 | 3.267 % | c | 17108 | 14893 19115 91449 | 18179 11614 59 | 3.267 % | c | 25760 | 14893 19115 91449 | 19997 10369 74 | 3.267 % | c | 38738 | 14893 19115 91449 | 21996 12490 83 | 3.267 % | c | 58201 | 14893 19115 91449 | 24196 19794 62 | 3.267 % | c | 87393 | 14893 19115 91449 | 26616 22682 71 | 3.267 % | c | 131184 | 14893 19115 91449 | 29277 18943 89 | 3.267 % | c | 196868 | 14893 19115 91449 | 32205 27846 111 | 3.267 % | c | 295396 | 14893 19115 91449 | 35425 22781 105 | 3.267 % | c | 443186 | 14879 19115 91449 | 38968 25422 112 | 3.358 % |