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: 150 | c | Number of clauses: 3279 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 3279 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.005999 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.009998 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.013997 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.017997 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.021996 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.025996 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.029995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.140978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.142978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s c Elapsed CPU time: 0.172973 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 | 312 3355 6732 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.175973 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 | 318 3356 6744 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.179972 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 | 324 3357 6756 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.181972 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 | 330 3358 6768 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.184971 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 | 336 3359 6780 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.187971 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 | 344 3360 6796 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19097 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 | 350 3361 6808 | 5000 0 nan | 0.000 % | 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 | 356 3362 6820 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 362 3363 6832 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 368 3364 6844 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 374 3365 6856 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 380 3366 6868 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 386 3367 6880 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 394 3368 6896 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 398 3369 6904 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.218966 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 | 404 3370 6916 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.221966 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 | 410 3371 6928 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.224965 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 | 416 3372 6940 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.227965 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 | 424 3373 6956 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.230964 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 | 430 3374 6968 | 5000 0 nan | 0.000 % | 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 | 438 3375 6984 | 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 | 446 3376 7000 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.240963 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 | 463 3377 7034 | 5000 0 nan | 0.000 % | c | 100 | 460 3377 7034 | 5500 100 7 | 1.297 % | c =============================================================================== c Elapsed CPU time: 0.247962 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 | 499 3378 7106 | 5000 0 nan | 0.000 % | c | 102 | 499 3378 7106 | 5500 102 9 | 0.014 % | c =============================================================================== c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 549 3379 7206 | 5000 0 nan | 0.000 % | c | 100 | 548 3379 7206 | 5500 100 11 | 0.196 % | c | 252 | 540 3379 7206 | 6050 247 11 | 1.821 % | c =============================================================================== c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 591 3380 7290 | 5000 0 nan | 0.000 % | c | 101 | 591 3380 7290 | 5500 101 9 | 0.169 % | c =============================================================================== c Elapsed CPU time: 0.284956 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 | 639 3381 7386 | 5000 0 nan | 0.000 % | c | 100 | 639 3381 7386 | 5500 100 21 | 0.008 % | c =============================================================================== c Elapsed CPU time: 0.298954 s Remaining CPU time: 1799.7 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 674 3382 7456 | 5000 0 nan | 0.000 % | c | 101 | 674 3382 7456 | 5500 101 16 | 0.008 % | c | 253 | 671 3382 7456 | 6050 194 12 | 0.446 % | c =============================================================================== c Elapsed CPU time: 0.317951 s Remaining CPU time: 1799.68 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 721 3383 7550 | 5000 0 nan | 0.000 % | c | 100 | 721 3383 7550 | 5500 100 12 | 0.014 % | c | 254 | 717 3383 7550 | 6050 253 10 | 0.563 % | c =============================================================================== c Elapsed CPU time: 0.332949 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 | 755 3384 7618 | 5000 0 nan | 0.000 % | c | 100 | 755 3384 7618 | 5500 100 22 | 0.006 % | c | 254 | 755 3384 7618 | 6050 254 20 | 0.000 % | c | 479 | 755 3384 7618 | 6655 479 21 | 0.007 % | c | 817 | 754 3384 7618 | 7320 814 21 | 0.133 % | c | 1323 | 752 3384 7618 | 8052 1318 20 | 0.402 % | c =============================================================================== c Elapsed CPU time: 0.401938 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 | 818 3385 7744 | 5000 0 nan | 0.000 % | c | 102 | 818 3385 7744 | 5500 102 21 | 0.005 % | c | 253 | 818 3385 7744 | 6050 253 23 | 0.007 % | c | 481 | 818 3385 7744 | 6655 481 27 | 0.000 % | c | 818 | 818 3385 7744 | 7320 818 28 | 0.000 % | c | 1324 | 818 3385 7744 | 8052 1324 29 | 0.011 % | c | 2083 | 818 3385 7744 | 8857 2083 29 | 0.000 % | c | 3224 | 818 3385 7744 | 9743 3224 34 | 0.007 % | c | 4932 | 818 3385 7744 | 10717 4932 38 | 0.006 % | c | 7494 | 818 3385 7744 | 11789 7494 40 | 0.008 % | c | 11338 | 814 3385 7744 | 12968 11332 41 | 0.495 % | c | 17105 | 808 3385 7744 | 14265 9986 41 | 1.229 % | c =============================================================================== c Elapsed CPU time: 6.01209 s Remaining CPU time: 1793.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 886 3386 7880 | 5000 0 nan | 0.000 % | c | 100 | 886 3386 7880 | 5500 100 25 | 0.004 % | c | 253 | 886 3386 7880 | 6050 253 21 | 0.007 % | c | 478 | 886 3386 7880 | 6655 478 24 | 0.007 % | c | 815 | 886 3386 7880 | 7320 815 30 | 0.005 % | c | 1326 | 886 3386 7880 | 8052 1326 32 | 0.004 % | c | 2085 | 886 3386 7880 | 8857 2085 35 | 0.000 % | c | 3224 | 886 3386 7880 | 9743 3224 35 | 0.007 % | c | 4932 | 886 3386 7880 | 10717 4932 35 | 0.005 % | c | 7494 | 886 3386 7880 | 11789 7494 37 | 0.000 % | c | 11338 | 886 3386 7880 | 12968 11338 42 | 0.005 % | c | 17105 | 885 3386 7880 | 14265 10585 46 | 0.118 % | c | 25754 | 879 3386 7880 | 15692 11653 43 | 0.796 % | c =============================================================================== c Elapsed CPU time: 15.4626 s Remaining CPU time: 1784.54 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 963 3387 8034 | 5000 0 nan | 0.000 % | c | 103 | 963 3387 8034 | 5500 103 21 | 0.004 % | c | 253 | 963 3387 8034 | 6050 253 26 | 0.000 % | c | 479 | 963 3387 8034 | 6655 479 29 | 0.004 % | c | 816 | 963 3387 8034 | 7320 816 30 | 0.000 % | c | 1322 | 963 3387 8034 | 8052 1322 26 | 0.004 % | c | 2082 | 963 3387 8034 | 8857 2082 36 | 0.005 % | c | 3221 | 963 3387 8034 | 9743 3221 35 | 0.005 % | c | 4929 | 963 3387 8034 | 10717 4929 37 | 0.005 % | c | 7492 | 963 3387 8034 | 11789 7492 42 | 0.005 % | c | 11336 | 963 3387 8034 | 12968 11336 47 | 0.005 % | c | 17103 | 962 3387 8034 | 14265 9684 48 | 0.108 % | c | 25753 | 961 3387 8034 | 15692 11119 46 | 0.213 % | c | 38730 | 957 3387 8034 | 17261 15117 49 | 0.628 % | c | 58193 | 944 3387 8034 | 18987 16335 50 | 1.980 % | c =============================================================================== c Elapsed CPU time: 36.9474 s Remaining CPU time: 1763.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1048 3388 8204 | 5000 0 nan | 0.000 % | c | 100 | 1048 3388 8204 | 5500 100 30 | 0.003 % | c | 252 | 1048 3388 8204 | 6050 252 29 | 0.004 % | c | 477 | 1048 3388 8204 | 6655 477 46 | 0.004 % | c | 816 | 1048 3388 8204 | 7320 816 42 | 0.000 % | c | 1324 | 1048 3388 8204 | 8052 1324 47 | 0.000 % | c | 2084 | 1048 3388 8204 | 8857 2084 53 | 0.000 % | c | 3224 | 1048 3388 8204 | 9743 3224 71 | 0.000 % | c | 4932 | 1048 3388 8204 | 10717 4932 62 | 0.000 % | c | 7494 | 1048 3388 8204 | 11789 7494 60 | 0.000 % | c | 11338 | 1048 3388 8204 | 12968 11338 62 | 0.004 % | c | 17104 | 1048 3388 8204 | 14265 10569 54 | 0.004 % | c | 25753 | 1048 3388 8204 | 15692 11998 48 | 0.000 % | c | 38727 | 1048 3388 8204 | 17261 9037 51 | 0.004 % | c | 58188 | 1048 3388 8204 | 18987 10989 57 | 0.005 % | c | 87380 | 1048 3388 8204 | 20886 11396 48 | 0.003 % | c | 131170 | 1046 3388 8204 | 22974 13006 53 | 0.195 % | c | 196863 | 1045 3388 8204 | 25272 19155 71 | 0.289 % | c | 295393 | 1045 3388 8204 | 27799 15759 68 | 0.290 % | c | 443187 | 1044 3388 8204 | 30579 20231 59 | 0.385 % | c | 664874 | 1044 3388 8204 | 33637 23231 74 | 0.382 % |