c wbo 1.4a beta - 20100425 c | Number of variables: 150 | c | Number of clauses: 9984 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9984 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 300 10059 20118 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 304 10060 20126 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 310 10061 20138 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 314 10062 20146 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 318 10063 20154 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 324 10064 20166 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 328 10065 20174 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 332 10066 20182 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 336 10067 20190 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 340 10068 20198 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 344 10069 20206 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 350 10070 20218 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 354 10071 20226 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 10072 20238 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 364 10073 20246 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 370 10074 20258 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 376 10075 20270 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 382 10076 20282 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 388 10077 20294 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 10078 20302 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 398 10079 20314 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 404 10080 20326 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 408 10081 20334 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 414 10082 20346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 418 10083 20354 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 422 10084 20362 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 10085 20370 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 430 10086 20378 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 436 10087 20390 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 440 10088 20398 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 444 10089 20406 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 448 10090 20414 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 454 10091 20426 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 466 10092 20450 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 476 10093 20470 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 490 10094 20498 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 504 10095 20526 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 516 10096 20550 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 528 10097 20574 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 554 10098 20626 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 564 10099 20646 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 582 10100 20682 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 596 10101 20710 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 606 10102 20730 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 616 10103 20750 | 5000 0 nan | 0.000 % | c | 101 | 616 10103 20750 | 5500 101 13 | 0.197 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 638 10104 20794 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 650 10105 20818 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 666 10106 20850 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 684 10107 20886 | 5000 0 nan | 0.000 % | c | 101 | 682 10107 20886 | 5500 101 12 | 0.293 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 704 10108 20926 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 720 10109 20958 | 5000 0 nan | 0.000 % | c | 100 | 719 10109 20958 | 5500 100 10 | 0.139 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 754 10110 21026 | 5000 0 nan | 0.000 % | c | 100 | 754 10110 21026 | 5500 100 19 | 0.024 % | c | 250 | 743 10110 21026 | 6050 250 18 | 1.459 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 786 10111 21090 | 5000 0 nan | 0.000 % | c | 100 | 783 10111 21090 | 5500 100 11 | 0.382 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 822 10112 21162 | 5000 0 nan | 0.000 % | c | 100 | 821 10112 21162 | 5500 100 13 | 0.122 % | c | 251 | 821 10112 21162 | 6050 251 23 | 0.122 % | c | 476 | 818 10112 21162 | 6655 476 31 | 0.487 % | c | 815 | 809 10112 21162 | 7320 815 32 | 1.582 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 866 10113 21250 | 5000 0 nan | 0.000 % | c | 100 | 866 10113 21250 | 5500 100 18 | 0.018 % | c | 250 | 865 10113 21250 | 6050 250 25 | 0.134 % | c | 475 | 865 10113 21250 | 6655 475 32 | 0.135 % | c | 812 | 865 10113 21250 | 7320 812 36 | 0.116 % | c | 1319 | 865 10113 21250 | 8052 1318 38 | 0.116 % | c | 2078 | 863 10113 21250 | 8857 2077 44 | 0.364 % | c | 3218 | 862 10113 21250 | 9743 3217 48 | 0.462 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 926 10114 21370 | 5000 0 nan | 0.000 % | c | 102 | 925 10114 21370 | 5500 102 22 | 0.124 % | c | 253 | 923 10114 21370 | 6050 253 23 | 0.324 % | c | 479 | 922 10114 21370 | 6655 479 27 | 0.432 % | c | 816 | 922 10114 21370 | 7320 812 38 | 0.448 % | c | 1324 | 921 10114 21370 | 8052 1320 41 | 0.648 % | c | 2086 | 915 10114 21370 | 8857 2078 48 | 1.203 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 978 10115 21474 | 5000 0 nan | 0.000 % | c | 101 | 978 10115 21474 | 5500 101 24 | 0.014 % | c | 251 | 978 10115 21474 | 6050 251 35 | 0.000 % | c | 479 | 978 10115 21474 | 6655 479 32 | 0.000 % | c | 817 | 978 10115 21474 | 7320 817 39 | 0.000 % | c | 1323 | 978 10115 21474 | 8052 1323 45 | 0.000 % | c | 2085 | 978 10115 21474 | 8857 2085 52 | 0.014 % | c | 3229 | 978 10115 21474 | 9743 3229 58 | 0.013 % | c | 4939 | 977 10115 21474 | 10717 4938 60 | 0.116 % | c | 7501 | 976 10115 21474 | 11789 7500 64 | 0.218 % | c | 11347 | 976 10115 21474 | 12968 11346 68 | 0.205 % | c | 17113 | 973 10115 21474 | 14265 10501 74 | 0.512 % | c | 25766 | 958 10115 21474 | 15692 11926 75 | 2.056 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1038 10116 21594 | 5000 0 nan | 0.000 % | c | 100 | 1038 10116 21594 | 5500 100 18 | 0.013 % | c | 250 | 1038 10116 21594 | 6050 250 19 | 0.000 % | c | 477 | 1038 10116 21594 | 6655 477 24 | 0.000 % | c | 814 | 1038 10116 21594 | 7320 814 31 | 0.000 % | c | 1321 | 1038 10116 21594 | 8052 1321 42 | 0.012 % | c | 2082 | 1036 10116 21594 | 8857 2081 47 | 0.193 % | c | 3221 | 1031 10116 21594 | 9743 3220 53 | 0.686 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1114 10117 21746 | 5000 0 nan | 0.000 % | c | 100 | 1114 10117 21746 | 5500 100 16 | 0.012 % | c | 251 | 1114 10117 21746 | 6050 251 31 | 0.000 % | c | 479 | 1112 10117 21746 | 6655 479 49 | 0.192 % | c | 818 | 1105 10117 21746 | 7320 816 75 | 0.820 % | c | 1325 | 1105 10117 21746 | 8052 1323 87 | 0.820 % | c | 2086 | 1101 10117 21746 | 8857 2084 81 | 1.167 % | c | 3226 | 1101 10117 21746 | 9743 3208 94 | 1.167 % | c | 4936 | 1097 10117 21746 | 10717 4918 108 | 1.526 % | c | 7498 | 1096 10117 21746 | 11789 7480 126 | 1.626 % | c | 11345 | 1095 10117 21746 | 12968 11327 139 | 1.716 % | c | 17112 | 1092 10117 21746 | 14265 10442 173 | 1.975 % | c | 25761 | 1092 10117 21746 | 15692 11802 155 | 1.975 % | c | 38738 | 1092 10117 21746 | 17261 8765 137 | 1.975 % | c | 58199 | 1092 10117 21746 | 18987 10678 147 | 1.975 % | c | 87394 | 1091 10117 21746 | 20886 10918 140 | 2.065 % | c | 131183 | 1091 10117 21746 | 22974 12233 143 | 2.065 % | c | 196868 | 1089 10117 21746 | 25272 19507 152 | 2.253 % | c | 295397 | 1089 10117 21746 | 27799 13244 130 | 2.244 % | c | 443190 | 1080 10117 21746 | 30579 23035 152 | 3.061 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1250 10118 22018 | 5000 0 nan | 0.000 % | c | 100 | 1250 10118 22018 | 5500 100 20 | 0.009 % | c | 250 | 1250 10118 22018 | 6050 250 34 | 0.000 % | c | 480 | 1250 10118 22018 | 6655 480 41 | 0.009 % | c | 817 | 1250 10118 22018 | 7320 817 43 | 0.000 % | c | 1324 | 1250 10118 22018 | 8052 1324 55 | 0.009 % | c | 2083 | 1250 10118 22018 | 8857 2083 65 | 0.000 % | c | 3223 | 1250 10118 22018 | 9743 3223 67 | 0.000 % | c | 4931 | 1250 10118 22018 | 10717 4931 73 | 0.008 % | c | 7493 | 1250 10118 22018 | 11789 7493 78 | 0.000 % | c | 11337 | 1250 10118 22018 | 12968 11337 85 | 0.009 % | c | 17104 | 1249 10118 22018 | 14265 10491 85 | 0.080 % | c | 25753 | 1248 10118 22018 | 15692 11888 75 | 0.169 % | c | 38728 | 1245 10118 22018 | 17261 8942 78 | 0.408 % | c | 58190 | 1245 10118 22018 | 18987 10791 125 | 0.409 % | c | 87385 | 1244 10118 22018 | 20886 11084 122 | 0.488 % | c | 131176 | 1237 10118 22018 | 22974 12649 81 | 1.049 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1360 10119 22238 | 5000 0 nan | 0.000 % | c | 104 | 1360 10119 22238 | 5500 104 32 | 0.007 % | c | 255 | 1360 10119 22238 | 6050 255 45 | 0.000 % | c | 484 | 1360 10119 22238 | 6655 484 45 | 0.000 % | c | 826 | 1360 10119 22238 | 7320 826 54 | 0.000 % | c | 1333 | 1360 10119 22238 | 8052 1333 76 | 0.000 % | c | 2092 | 1360 10119 22238 | 8857 2092 102 | 0.000 % | c | 3231 | 1360 10119 22238 | 9743 3231 136 | 0.007 % | c | 4939 | 1360 10119 22238 | 10717 4939 169 | 0.000 % | c | 7502 | 1360 10119 22238 | 11789 7502 170 | 0.000 % | c | 11347 | 1360 10119 22238 | 12968 11347 188 | 0.000 % | c | 17117 | 1360 10119 22238 | 14265 10456 220 | 0.000 % |