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: 160 | c | Number of clauses: 846 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 160 | c | Number Clauses: 846 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.011998 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.012998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 208 885 1908 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 220 887 2035 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 230 888 2123 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 240 891 2219 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 261 894 2423 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 268 898 2529 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 276 914 2770 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 326 925 3067 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 401 934 3296 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 401 940 3312 | 5000 0 nan | 0.000 % | c | 103 | 397 940 3312 | 5500 103 9 | 6.384 % | c | 256 | 393 940 3312 | 6050 144 9 | 7.105 % | c =============================================================================== c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 407 951 3396 | 5000 0 nan | 0.000 % | c | 101 | 402 951 3396 | 5500 99 11 | 5.855 % | c | 252 | 393 951 3396 | 6050 227 12 | 9.136 % | c =============================================================================== c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 476 964 3570 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 497 969 3628 | 5000 0 nan | 0.000 % | c | 100 | 497 969 3628 | 5500 100 14 | 2.550 % | c | 251 | 494 969 3628 | 6050 106 11 | 3.138 % | c | 477 | 493 969 3628 | 6655 275 14 | 3.334 % | c | 814 | 492 969 3628 | 7320 495 14 | 3.530 % | c | 1321 | 477 969 3628 | 8052 603 13 | 7.647 % | c =============================================================================== c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 581 994 3866 | 5000 0 nan | 0.000 % | c | 100 | 581 994 3866 | 5500 100 14 | 2.357 % | c | 251 | 580 994 3866 | 6050 250 15 | 2.357 % | c | 476 | 572 994 3866 | 6655 342 13 | 4.044 % | c =============================================================================== c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 646 999 4015 | 5000 0 nan | 0.000 % | c | 102 | 646 999 4015 | 5500 102 16 | 2.125 % | c | 253 | 645 999 4015 | 6050 252 17 | 2.125 % | c | 479 | 645 999 4015 | 6655 478 19 | 2.125 % | c | 817 | 645 999 4015 | 7320 816 19 | 2.125 % | c | 1326 | 645 999 4015 | 8052 1325 20 | 2.125 % | c | 2089 | 645 999 4015 | 8857 2088 19 | 2.127 % | c | 3229 | 645 999 4015 | 9743 3228 21 | 2.127 % | c | 4938 | 644 999 4015 | 10717 4936 23 | 2.277 % | c =============================================================================== c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 751 1137 4745 | 5000 0 nan | 0.000 % | c | 101 | 751 1137 4745 | 5500 101 40 | 1.702 % | c | 251 | 751 1137 4745 | 6050 251 37 | 1.702 % | c | 477 | 751 1137 4745 | 6655 477 36 | 1.702 % | c | 816 | 751 1137 4745 | 7320 816 38 | 1.702 % | c | 1323 | 751 1137 4745 | 8052 1323 43 | 1.702 % | c | 2082 | 751 1137 4745 | 8857 2082 46 | 1.702 % | c | 3221 | 750 1137 4745 | 9743 3220 49 | 1.834 % | c | 4929 | 750 1137 4745 | 10717 4928 44 | 1.833 % | c | 7493 | 750 1137 4745 | 11789 7492 42 | 1.833 % | c | 11340 | 749 1137 4745 | 12968 11338 42 | 1.964 % | c =============================================================================== c Elapsed CPU time: 3.82342 s Remaining CPU time: 1796.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 856 1364 6328 | 5000 0 nan | 0.000 % | c | 101 | 856 1364 6328 | 5500 101 9 | 1.496 % | c | 252 | 856 1364 6328 | 6050 252 12 | 1.497 % | c | 479 | 855 1364 6328 | 6655 437 12 | 1.611 % | c | 816 | 847 1364 6328 | 7320 704 15 | 2.763 % | c | 1322 | 845 1364 6328 | 8052 1096 21 | 2.762 % | c =============================================================================== c Elapsed CPU time: 3.9544 s Remaining CPU time: 1796.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 919 1499 7323 | 5000 0 nan | 0.000 % | c | 100 | 919 1499 7323 | 5500 100 19 | 1.395 % | c | 250 | 919 1499 7323 | 6050 250 26 | 1.395 % | c | 475 | 919 1499 7323 | 6655 475 34 | 1.395 % | c | 812 | 919 1499 7323 | 7320 812 39 | 1.395 % | c | 1318 | 919 1499 7323 | 8052 1318 41 | 1.395 % | c | 2078 | 919 1499 7323 | 8857 2078 42 | 1.395 % | c | 3217 | 919 1499 7323 | 9743 3217 36 | 1.395 % | c | 4925 | 918 1499 7323 | 10717 3313 34 | 1.503 % | c =============================================================================== c Elapsed CPU time: 4.55331 s Remaining CPU time: 1795.45 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1003 1871 10931 | 5000 0 nan | 0.000 % | c | 100 | 1003 1871 10931 | 5500 100 26 | 1.280 % | c | 251 | 1003 1871 10931 | 6050 251 19 | 1.280 % | c | 476 | 1003 1871 10931 | 6655 476 21 | 1.281 % | c | 816 | 1003 1871 10931 | 7320 816 22 | 1.280 % | c | 1323 | 1003 1871 10931 | 8052 1323 22 | 1.280 % | c | 2085 | 1003 1871 10931 | 8857 2085 24 | 1.280 % | c =============================================================================== c Elapsed CPU time: 4.83626 s Remaining CPU time: 1795.16 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1044 2144 14675 | 5000 0 nan | 0.000 % | c | 100 | 1044 2144 14675 | 5500 100 35 | 1.230 % | c | 256 | 1044 2144 14675 | 6050 256 30 | 1.230 % | c | 481 | 1044 2144 14675 | 6655 481 33 | 1.230 % | c | 819 | 1044 2144 14675 | 7320 819 37 | 1.230 % | c | 1325 | 1044 2144 14675 | 8052 1325 37 | 1.231 % | c | 2085 | 1044 2144 14675 | 8857 2085 35 | 1.231 % | c | 3225 | 1044 2144 14675 | 9743 3225 34 | 1.230 % | c | 4938 | 1043 2144 14675 | 10717 4937 36 | 1.325 % | c | 7506 | 1037 2144 14675 | 11789 7505 38 | 1.892 % | c =============================================================================== c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1078 2277 16893 | 5000 0 nan | 0.000 % | c | 101 | 1078 2277 16893 | 5500 101 47 | 1.192 % | c | 251 | 1078 2277 16893 | 6050 251 35 | 1.192 % | c | 476 | 1078 2277 16893 | 6655 476 41 | 1.192 % | c | 813 | 1078 2277 16893 | 7320 813 46 | 1.192 % | c | 1319 | 1078 2277 16893 | 8052 1319 52 | 1.192 % | c | 2078 | 1076 2277 16893 | 8857 2066 49 | 1.375 % | c | 3219 | 1076 2277 16893 | 9743 3207 47 | 1.375 % | c | 4931 | 1075 2277 16893 | 10717 4918 49 | 1.467 % | c | 7494 | 1075 2277 16893 | 11789 7481 52 | 1.468 % | c | 11339 | 1063 2277 16893 | 12968 8723 54 | 2.759 % | c =============================================================================== c Elapsed CPU time: 8.46271 s Remaining CPU time: 1791.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1098 2376 18660 | 5000 0 nan | 0.000 % | c | 100 | 1098 2376 18660 | 5500 100 47 | 1.171 % | c | 252 | 1098 2376 18660 | 6050 252 46 | 1.171 % | c | 478 | 1098 2376 18660 | 6655 478 49 | 1.171 % | c | 817 | 1098 2376 18660 | 7320 817 52 | 1.171 % | c | 1326 | 1098 2376 18660 | 8052 1326 53 | 1.170 % | c | 2085 | 1098 2376 18660 | 8857 2085 56 | 1.170 % | c | 3227 | 1098 2376 18660 | 9743 3227 58 | 1.171 % | c | 4937 | 1098 2376 18660 | 10717 4937 61 | 1.171 % | c | 7504 | 1098 2376 18660 | 11789 7504 65 | 1.170 % | c | 11349 | 1098 2376 18660 | 12968 11349 62 | 1.171 % | c | 17120 | 1098 2376 18660 | 14265 10467 63 | 1.170 % | c | 25770 | 1098 2376 18660 | 15692 11817 60 | 1.171 % | c | 38747 | 1097 2376 18660 | 17261 8832 64 | 1.350 % | c | 58213 | 1096 2376 18660 | 18987 10725 49 | 1.350 % | c =============================================================================== c Elapsed CPU time: 43.1264 s Remaining CPU time: 1756.87 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1129 2427 19796 | 5000 0 nan | 0.000 % | c | 100 | 1129 2427 19796 | 5500 100 35 | 1.139 % | c | 250 | 1128 2427 19796 | 6050 249 44 | 1.226 % | c | 476 | 1128 2427 19796 | 6655 475 64 | 1.226 % | c | 813 | 1128 2427 19796 | 7320 812 69 | 1.226 % | c | 1321 | 1128 2427 19796 | 8052 1320 71 | 1.226 % | c | 2082 | 1128 2427 19796 | 8857 2081 72 | 1.226 % | c | 3221 | 1128 2427 19796 | 9743 3220 74 | 1.226 % | c | 4930 | 1128 2427 19796 | 10717 4929 77 | 1.226 % | c | 7493 | 1128 2427 19796 | 11789 7492 71 | 1.226 % | c | 11338 | 1128 2427 19796 | 12968 11337 73 | 1.226 % | c | 17106 | 1128 2427 19796 | 14265 10517 74 | 1.226 % | c | 25755 | 1128 2427 19796 | 15692 11902 75 | 1.226 % | c | 38729 | 1128 2427 19796 | 17261 8877 73 | 1.226 % | c | 58192 | 1128 2427 19796 | 18987 10780 70 | 1.226 % | c | 87384 | 1128 2427 19796 | 20886 11068 84 | 1.226 % | c =============================================================================== c Elapsed CPU time: 103.815 s Remaining CPU time: 1696.18 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1179 2505 21104 | 5000 0 nan | 0.000 % | c | 100 | 1177 2505 21104 | 5500 100 29 | 1.259 % | c | 253 | 1177 2505 21104 | 6050 253 30 | 1.258 % | c | 478 | 1177 2505 21104 | 6655 470 32 | 1.258 % | c | 817 | 1177 2505 21104 | 7320 809 39 | 1.259 % | c | 1325 | 1177 2505 21104 | 8052 1317 40 | 1.258 % | c | 2084 | 1177 2505 21104 | 8857 2076 40 | 1.258 % | c | 3225 | 1173 2505 21104 | 9743 1598 36 | 1.595 % | c | 4933 | 1173 2505 21104 | 10717 3304 42 | 1.594 % | c | 7495 | 1173 2505 21104 | 11789 5866 47 | 1.594 % | c | 11339 | 1173 2505 21104 | 12968 9710 54 | 1.594 % | c | 17108 | 1173 2505 21104 | 14265 8833 65 | 1.595 % | c | 25757 | 1172 2505 21104 | 15692 10222 60 | 1.682 % | c =============================================================================== c Elapsed CPU time: 115.712 s Remaining CPU time: 1684.29 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1215 2541 21719 | 5000 0 nan | 0.000 % | c | 101 | 1214 2541 21719 | 5500 101 29 | 1.140 % | c | 252 | 1214 2541 21719 | 6050 252 34 | 1.140 % | c | 477 | 1214 2541 21719 | 6655 476 39 | 1.140 % | c | 815 | 1214 2541 21719 | 7320 814 47 | 1.140 % | c | 1321 | 1214 2541 21719 | 8052 1320 59 | 1.140 % | c | 2081 | 1214 2541 21719 | 8857 2080 60 | 1.140 % | c | 3221 | 1214 2541 21719 | 9743 3220 65 | 1.140 % | c | 4930 | 1213 2541 21719 | 10717 4928 68 | 1.222 % | c | 7495 | 1213 2541 21719 | 11789 7493 69 | 1.222 % | c | 11343 | 1213 2541 21719 | 12968 11341 68 | 1.222 % | c | 17119 | 1213 2541 21719 | 14265 10501 71 | 1.222 % | c | 25769 | 1213 2541 21719 | 15692 11888 72 | 1.222 % | c | 38747 | 1213 2541 21719 | 17261 8886 71 | 1.222 % | c | 58208 | 1210 2541 21719 | 18987 3014 47 | 1.466 % | c | 87401 | 1210 2541 21719 | 20886 12843 65 | 1.466 % | c | 131193 | 1210 2541 21719 | 22974 14164 65 | 1.466 % | c | 196880 | 1210 2541 21719 | 25272 21487 96 | 1.466 % | c =============================================================================== c Elapsed CPU time: 316.179 s Remaining CPU time: 1483.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1255 2625 23472 | 5000 0 nan | 0.000 % | c | 102 | 1254 2625 23472 | 5500 102 32 | 1.104 % | c | 252 | 1254 2625 23472 | 6050 252 53 | 1.104 % | c | 477 | 1254 2625 23472 | 6655 476 69 | 1.104 % | c | 817 | 1254 2625 23472 | 7320 816 83 | 1.104 % | c | 1326 | 1254 2625 23472 | 8052 1325 84 | 1.104 % | c | 2085 | 1254 2625 23472 | 8857 2084 87 | 1.104 % | c | 3225 | 1254 2625 23472 | 9743 3224 92 | 1.104 % | c | 4934 | 1254 2625 23472 | 10717 4933 97 | 1.104 % | c | 7498 | 1254 2625 23472 | 11789 7497 96 | 1.104 % | c | 11343 | 1254 2625 23472 | 12968 11342 98 | 1.104 % | c | 17110 | 1254 2625 23472 | 14265 10409 98 | 1.104 % | c | 25760 | 1254 2625 23472 | 15692 11796 95 | 1.104 % | c | 38735 | 1254 2625 23472 | 17261 8780 88 | 1.104 % | c | 58198 | 1254 2625 23472 | 18987 10540 93 | 1.104 % | c | 87390 | 1254 2625 23472 | 20886 10699 98 | 1.104 % | c | 131180 | 1254 2625 23472 | 22974 12036 96 | 1.104 % | c | 196866 | 1253 2625 23472 | 25272 19294 83 | 1.183 % | c | 295395 | 1253 2625 23472 | 27799 14507 69 | 1.183 % | c | 443185 | 1253 2625 23472 | 30579 24634 96 | 1.183 % |