c wbo 1.4a beta - 20100425 c | Number of variables: 498 | c | Number of clauses: 2929 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 498 | c | Number Clauses: 2929 | 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 | 990 3057 13650 | 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 | 996 3058 13662 | 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 | 1011 3059 13692 | 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 | 1022 3060 13714 | 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 | 1034 3061 13738 | 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 | 1055 3062 13780 | 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 | 1086 3063 13842 | 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 | 1114 3064 13898 | 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 | 1122 3065 13914 | 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 | 1133 3066 13936 | 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 | 1144 3067 13958 | 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 | 1152 3068 13974 | 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 | 1158 3069 13986 | 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 | 1164 3070 13998 | 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 | 1176 3071 14022 | 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 | 1199 3072 14068 | 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 | 1213 3073 14098 | 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 | 1237 3074 14147 | 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 | 1259 3075 14191 | 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 | 1275 3076 14223 | 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 | 1295 3077 14263 | 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 | 1319 3078 14311 | 5000 0 nan | 0.000 % | c | 100 | 1313 3078 14311 | 5500 100 23 | 0.834 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1425 3079 14523 | 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 | 1444 3080 14561 | 5000 0 nan | 0.000 % | c | 100 | 1442 3080 14561 | 5500 98 28 | 0.139 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1485 3081 14643 | 5000 0 nan | 0.000 % | c | 100 | 1485 3081 14643 | 5500 100 28 | 0.067 % | c | 251 | 1474 3081 14643 | 6050 248 27 | 1.347 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1567 3082 14807 | 5000 0 nan | 0.000 % | c | 100 | 1566 3082 14807 | 5500 100 17 | 0.128 % | c | 250 | 1563 3082 14807 | 6050 249 18 | 0.511 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1632 3083 14937 | 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 | 1656 3084 14985 | 5000 0 nan | 0.000 % | c | 101 | 1656 3084 14985 | 5500 101 29 | 0.001 % | c | 253 | 1656 3084 14985 | 6050 253 28 | 0.003 % | c | 478 | 1656 3084 14985 | 6655 478 29 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1712 3085 15097 | 5000 0 nan | 0.000 % | c | 100 | 1710 3085 15097 | 5500 100 13 | 0.117 % | c | 250 | 1708 3085 15097 | 6050 230 15 | 0.234 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1742 3086 15157 | 5000 0 nan | 0.000 % | c | 100 | 1739 3086 15157 | 5500 100 26 | 0.231 % | c | 252 | 1739 3086 15157 | 6050 252 28 | 0.230 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1772 3088 15220 | 5000 0 nan | 0.000 % | c | 100 | 1772 3088 15220 | 5500 100 22 | 0.001 % | c | 250 | 1772 3088 15220 | 6050 250 23 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1814 3089 15304 | 5000 0 nan | 0.000 % | c | 102 | 1814 3089 15304 | 5500 102 39 | 0.001 % | c | 255 | 1814 3089 15304 | 6050 255 46 | 0.000 % | c | 480 | 1814 3089 15304 | 6655 480 52 | 0.000 % | c | 817 | 1811 3089 15304 | 7320 815 39 | 0.331 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1842 3090 15360 | 5000 0 nan | 0.000 % | c | 101 | 1842 3090 15360 | 5500 101 41 | 0.001 % | c | 251 | 1842 3090 15360 | 6050 251 47 | 0.000 % | c | 476 | 1842 3090 15360 | 6655 476 42 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1895 3091 15466 | 5000 0 nan | 0.000 % | c | 100 | 1895 3091 15466 | 5500 100 21 | 0.001 % | c | 251 | 1895 3091 15466 | 6050 251 23 | 0.001 % | c | 480 | 1895 3091 15466 | 6655 480 25 | 0.000 % | c | 817 | 1895 3091 15466 | 7320 817 26 | 0.000 % | c | 1323 | 1895 3091 15466 | 8052 1323 30 | 0.002 % | c | 2084 | 1895 3091 15466 | 8857 2084 34 | 0.000 % | c | 3224 | 1895 3091 15466 | 9743 3224 36 | 0.000 % | c | 4932 | 1895 3091 15466 | 10717 4932 36 | 0.002 % | c | 7496 | 1895 3091 15466 | 11789 7496 37 | 0.000 % | c | 11340 | 1893 3091 15466 | 12968 10921 37 | 0.106 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2008 3092 15692 | 5000 0 nan | 0.000 % | c | 100 | 2008 3092 15692 | 5500 100 34 | 0.001 % | c | 250 | 2008 3092 15692 | 6050 250 26 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2034 3093 15744 | 5000 0 nan | 0.000 % | c | 100 | 2034 3093 15744 | 5500 100 21 | 0.001 % | c | 250 | 2034 3093 15744 | 6050 250 19 | 0.001 % | c | 475 | 2034 3093 15744 | 6655 475 24 | 0.001 % | c | 812 | 2034 3093 15744 | 7320 812 31 | 0.000 % | c | 1320 | 2034 3093 15744 | 8052 1320 41 | 0.000 % | c | 2080 | 2034 3093 15744 | 8857 2080 39 | 0.000 % | c | 3219 | 2034 3093 15744 | 9743 3219 44 | 0.002 % | c | 4927 | 2034 3093 15744 | 10717 4927 47 | 0.000 % | c | 7491 | 2034 3093 15744 | 11789 7491 49 | 0.000 % | c | 11336 | 2034 3093 15744 | 12968 11336 50 | 0.000 % | c | 17102 | 2030 3093 15744 | 14265 10444 52 | 0.198 % | c | 25753 | 1916 3093 15744 | 15692 4239 44 | 5.852 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2158 3094 15992 | 5000 0 nan | 0.000 % | c | 100 | 2158 3094 15992 | 5500 100 37 | 0.000 % | c | 251 | 2158 3094 15992 | 6050 251 29 | 0.000 % | c | 483 | 2158 3094 15992 | 6655 483 38 | 0.000 % | c | 821 | 2158 3094 15992 | 7320 821 43 | 0.000 % | c | 1329 | 2158 3094 15992 | 8052 1329 38 | 0.000 % | c | 2089 | 2158 3094 15992 | 8857 2089 36 | 0.000 % | c | 3230 | 2158 3094 15992 | 9743 3230 36 | 0.000 % | c | 4941 | 2158 3094 15992 | 10717 4941 38 | 0.000 % | c | 7504 | 2156 3094 15992 | 11789 7240 38 | 0.094 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2285 3098 16253 | 5000 0 nan | 0.000 % | c | 100 | 2285 3098 16253 | 5500 100 63 | 0.000 % | c | 251 | 2285 3098 16253 | 6050 251 58 | 0.000 % | c | 476 | 2285 3098 16253 | 6655 476 64 | 0.000 % | c | 816 | 2285 3098 16253 | 7320 816 58 | 0.000 % | c | 1323 | 2285 3098 16253 | 8052 1323 52 | 0.000 % | c | 2085 | 2285 3098 16253 | 8857 2085 45 | 0.000 % | c | 3225 | 2285 3098 16253 | 9743 3225 47 | 0.000 % | c | 4933 | 2285 3098 16253 | 10717 4933 43 | 0.000 % | c | 7496 | 2285 3098 16253 | 11789 7496 41 | 0.001 % | c | 11341 | 2285 3098 16253 | 12968 11341 43 | 0.001 % | c | 17109 | 2285 3098 16253 | 14265 10555 42 | 0.000 % | c | 25760 | 2285 3098 16253 | 15692 11927 45 | 0.000 % | c | 38735 | 2285 3098 16253 | 17261 9046 42 | 0.001 % | c | 58197 | 2283 3098 16253 | 18987 10312 47 | 0.089 % | c | 87389 | 2273 3098 16253 | 20886 19173 40 | 0.525 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2371 3099 16425 | 5000 0 nan | 0.000 % | c | 100 | 2371 3099 16425 | 5500 100 39 | 0.000 % | c | 252 | 2371 3099 16425 | 6050 252 38 | 0.001 % | c | 478 | 2371 3099 16425 | 6655 478 54 | 0.000 % | c | 815 | 2371 3099 16425 | 7320 815 54 | 0.000 % | c | 1323 | 2371 3099 16425 | 8052 1323 49 | 0.000 % | c | 2082 | 2367 3099 16425 | 8857 2049 42 | 0.169 % | c | 3221 | 2363 3099 16425 | 9743 2837 38 | 0.337 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2427 3105 16550 | 5000 0 nan | 0.000 % | c | 100 | 2427 3105 16550 | 5500 100 28 | 0.000 % | c | 250 | 2427 3105 16550 | 6050 250 24 | 0.000 % | c | 476 | 2427 3105 16550 | 6655 476 22 | 0.000 % | c | 814 | 2427 3105 16550 | 7320 814 23 | 0.000 % | c | 1322 | 2427 3105 16550 | 8052 1322 26 | 0.000 % | c | 2081 | 2427 3105 16550 | 8857 2081 29 | 0.000 % | c | 3220 | 2427 3105 16550 | 9743 3220 31 | 0.000 % | c | 4932 | 2427 3105 16550 | 10717 4932 37 | 0.001 % | c | 7495 | 2427 3105 16550 | 11789 7495 37 | 0.001 % | c | 11342 | 2427 3105 16550 | 12968 11342 41 | 0.000 % | c | 17108 | 2427 3105 16550 | 14265 10508 54 | 0.000 % | c | 25757 | 2427 3105 16550 | 15692 11909 57 | 0.001 % | c | 38732 | 2427 3105 16550 | 17261 8679 63 | 0.000 % | c | 58193 | 2427 3105 16550 | 18987 10605 60 | 0.000 % | c | 87386 | 2427 3105 16550 | 20886 10857 70 | 0.000 % | c | 131176 | 2427 3105 16550 | 22974 12250 61 | 0.000 % | c | 196863 | 2427 3105 16550 | 25272 19466 70 | 0.001 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2456 3106 16608 | 5000 0 nan | 0.000 % | c | 100 | 2456 3106 16608 | 5500 100 24 | 0.000 % | c | 251 | 2456 3106 16608 | 6050 251 19 | 0.000 % | c | 479 | 2456 3106 16608 | 6655 479 20 | 0.000 % | c | 823 | 2456 3106 16608 | 7320 823 21 | 0.001 % | c | 1330 | 2456 3106 16608 | 8052 1330 23 | 0.000 % | c | 2089 | 2456 3106 16608 | 8857 2089 26 | 0.001 % | c | 3229 | 2456 3106 16608 | 9743 3229 26 | 0.000 % | c | 4938 | 2456 3106 16608 | 10717 4938 27 | 0.000 % | c | 7501 | 2456 3106 16608 | 11789 7501 27 | 0.000 % | c | 11353 | 2452 3106 16608 | 12968 11245 28 | 0.163 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2488 3107 16672 | 5000 0 nan | 0.000 % | c | 103 | 2488 3107 16672 | 5500 103 15 | 0.000 % | c | 254 | 2488 3107 16672 | 6050 254 24 | 0.000 % | c | 480 | 2488 3107 16672 | 6655 480 20 | 0.000 % | c | 818 | 2486 3107 16672 | 7320 817 20 | 0.080 % | c | 1328 | 2484 3107 16672 | 8052 1326 20 | 0.161 % | c | 2087 | 2484 3107 16672 | 8857 2085 31 | 0.161 % | c | 3226 | 2484 3107 16672 | 9743 3224 30 | 0.161 % | c | 4935 | 2482 3107 16672 | 10717 4847 38 | 0.241 % | c | 7499 | 2482 3107 16672 | 11789 7411 45 | 0.241 % | c | 11343 | 2480 3107 16672 | 12968 11233 54 | 0.322 % | c | 17109 | 2480 3107 16672 | 14265 10374 65 | 0.322 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2622 3113 16955 | 5000 0 nan | 0.000 % | c | 100 | 2622 3113 16955 | 5500 100 29 | 0.000 % | c | 253 | 2622 3113 16955 | 6050 253 22 | 0.000 % | c | 478 | 2622 3113 16955 | 6655 478 20 | 0.001 % | c | 818 | 2622 3113 16955 | 7320 818 28 | 0.000 % | c | 1324 | 2622 3113 16955 | 8052 1324 35 | 0.001 % | c | 2084 | 2622 3113 16955 | 8857 2084 37 | 0.001 % | c | 3225 | 2622 3113 16955 | 9743 3225 38 | 0.000 % | c | 4936 | 2622 3113 16955 | 10717 4936 39 | 0.000 % | c | 7498 | 2622 3113 16955 | 11789 7498 42 | 0.001 % | c | 11342 | 2622 3113 16955 | 12968 11342 43 | 0.001 % | c | 17109 | 2616 3113 16955 | 14265 9742 43 | 0.229 % | c | 25759 | 2610 3113 16955 | 15692 10313 48 | 0.458 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2679 3121 17089 | 5000 0 nan | 0.000 % | c | 100 | 2679 3121 17089 | 5500 100 37 | 0.000 % | c | 251 | 2679 3121 17089 | 6050 251 33 | 0.000 % | c | 476 | 2679 3121 17089 | 6655 476 33 | 0.000 % | c | 816 | 2679 3121 17089 | 7320 816 28 | 0.000 % | c | 1322 | 2677 3121 17089 | 8052 1299 27 | 0.075 % | c | 2081 | 2675 3121 17089 | 8857 2058 34 | 0.150 % | c | 3224 | 2673 3121 17089 | 9743 3086 41 | 0.224 % | c | 4933 | 2665 3121 17089 | 10717 4773 46 | 0.523 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2747 3129 17245 | 5000 0 nan | 0.000 % | c | 100 | 2747 3129 17245 | 5500 100 31 | 0.000 % | c | 252 | 2747 3129 17245 | 6050 252 22 | 0.000 % | c | 478 | 2747 3129 17245 | 6655 478 26 | 0.000 % | c | 816 | 2747 3129 17245 | 7320 816 27 | 0.000 % | c | 1323 | 2747 3129 17245 | 8052 1323 30 | 0.000 % | c | 2082 | 2747 3129 17245 | 8857 2082 35 | 0.001 % | c | 3221 | 2747 3129 17245 | 9743 3221 42 | 0.000 % | c | 4932 | 2747 3129 17245 | 10717 4932 41 | 0.000 % | c | 7495 | 2747 3129 17245 | 11789 7495 46 | 0.001 % | c | 11339 | 2747 3129 17245 | 12968 11339 52 | 0.000 % | c | 17107 | 2747 3129 17245 | 14265 10418 63 | 0.000 % | c | 25757 | 2747 3129 17245 | 15692 11824 50 | 0.001 % | c | 38731 | 2747 3129 17245 | 17261 8747 58 | 0.000 % | c | 58194 | 2747 3129 17245 | 18987 10666 77 | 0.000 % | c | 87386 | 2747 3129 17245 | 20886 10896 72 | 0.000 % | c | 131177 | 2747 3129 17245 | 22974 12433 79 | 0.000 % | c | 196861 | 2747 3129 17245 | 25272 19464 61 | 0.001 % | c | 295389 | 2747 3129 17245 | 27799 13453 98 | 0.000 % | c | 443178 | 2747 3129 17245 | 30579 22281 57 | 0.001 % | c | 664864 | 2747 3129 17245 | 33637 29106 87 | 0.000 % |