0.00/0.00 c Parsing...
0.12/0.14 c ==============================================================================
0.12/0.14 c | | ORIGINAL | LEARNT | |
0.12/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.14 c ==============================================================================
0.12/0.14 c | 0 | 155258 454459 | 46577 0 0 nan | 0.000 % |
1.02/1.11 c | 0 | 68970 232657 | -- 0 -- -- | -- | -80730/-205120
1.02/1.11 c ==============================================================================
1.02/1.11 c Result : #vars: 7889 #clauses: 68970 #literals: 232657
1.02/1.11 c CPU time: 1.06 s
1.02/1.11 c ==============================================================================
1.12/1.19 c This is MiniSat 2.0 beta
1.12/1.19 c WARNING: for repeatability, setting FPU to use double precision
1.12/1.19 c ============================[ Problem Statistics ]=============================
1.12/1.19 c | |
1.12/1.19 c | Number of variables: 7889 |
1.12/1.19 c | Number of clauses: 68970 |
1.20/1.24 c | Parsing time: 0.04 s |
1.20/1.24 c ============================[ Search Statistics ]==============================
1.20/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.20/1.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.20/1.24 c ===============================================================================
1.20/1.24 c | 0 | 7889 68970 232657 | 22990 0 nan | 0.000 % |
1.20/1.24 c | 100 | 7888 68970 232657 | 22990 99 7 | 0.013 % |
1.20/1.25 c | 202 | 7888 68970 232657 | 22990 201 9 | 0.013 % |
1.20/1.25 c | 304 | 7888 68970 232657 | 22990 303 9 | 0.013 % |
1.20/1.26 c | 414 | 7887 68970 232657 | 22990 412 10 | 0.038 % |
1.20/1.26 c | 514 | 7886 68970 232657 | 22990 512 10 | 0.038 % |
1.20/1.27 c | 626 | 7886 68970 232657 | 22990 624 11 | 0.038 % |
1.20/1.28 c | 747 | 7886 68970 232657 | 22990 745 11 | 0.038 % |
1.20/1.28 c | 847 | 7886 68970 232657 | 22990 845 11 | 0.038 % |
1.20/1.29 c | 957 | 7886 68970 232657 | 22990 955 11 | 0.038 % |
1.20/1.29 c | 1078 | 7886 68970 232657 | 22990 1076 11 | 0.038 % |
1.20/1.31 c | 1212 | 7886 68970 232657 | 22990 1210 11 | 0.038 % |
1.20/1.31 c | 1312 | 7886 68970 232657 | 22990 1310 11 | 0.038 % |
1.20/1.32 c | 1422 | 7886 68970 232657 | 22990 1420 11 | 0.038 % |
1.20/1.33 c | 1543 | 7886 68970 232657 | 22990 1541 12 | 0.038 % |
1.20/1.33 c | 1676 | 7886 68970 232657 | 22990 1674 12 | 0.038 % |
1.20/1.34 c | 1823 | 7886 68970 232657 | 22990 1821 12 | 0.038 % |
1.20/1.35 c | 1925 | 7886 68970 232657 | 22990 1923 12 | 0.038 % |
1.20/1.36 c | 2037 | 7886 68970 232657 | 22990 2035 12 | 0.038 % |
1.20/1.37 c | 2158 | 7886 68547 230590 | 22990 2155 12 | 0.038 % |
1.20/1.38 c | 2293 | 7886 68547 230590 | 22990 2290 12 | 0.038 % |
1.20/1.39 c | 2440 | 7886 68547 230590 | 22990 2437 12 | 0.038 % |
1.20/1.40 c | 2602 | 7886 68547 230590 | 22990 2599 12 | 0.038 % |
1.20/1.40 c | 2702 | 7886 68547 230590 | 22990 2699 12 | 0.038 % |
1.20/1.41 c | 2813 | 7886 68547 230590 | 22990 2810 13 | 0.038 % |
1.20/1.42 c | 2934 | 7886 68547 230590 | 22990 2931 13 | 0.038 % |
1.20/1.43 c | 3067 | 7886 68547 230590 | 22990 3064 13 | 0.038 % |
1.20/1.44 c | 3213 | 7886 68547 230590 | 22990 3210 13 | 0.038 % |
1.20/1.45 c | 3373 | 7886 68547 230590 | 22990 3370 13 | 0.038 % |
1.20/1.46 c | 3549 | 7886 68547 230590 | 22990 3546 13 | 0.038 % |
1.20/1.47 c | 3649 | 7886 68547 230590 | 22990 3646 13 | 0.038 % |
1.20/1.47 c | 3759 | 7886 68547 230590 | 22990 3756 13 | 0.038 % |
1.20/1.48 c | 3880 | 7886 68547 230590 | 22990 3877 13 | 0.038 % |
1.20/1.49 c | 4013 | 7886 68547 230590 | 22990 4010 13 | 0.038 % |
1.20/1.50 c | 4163 | 7886 68547 230590 | 22990 4160 13 | 0.038 % |
1.20/1.51 c | 4323 | 7886 68547 230590 | 22990 4320 13 | 0.038 % |
1.20/1.52 c | 4501 | 7886 68547 230590 | 22990 4498 13 | 0.038 % |
1.20/1.54 c | 4696 | 7886 68547 230590 | 22990 4693 13 | 0.038 % |
1.20/1.54 c | 4798 | 7886 68547 230590 | 22990 4795 13 | 0.038 % |
1.20/1.55 c | 4908 | 7886 68547 230590 | 22990 4905 13 | 0.038 % |
1.20/1.57 c | 5029 | 7886 68547 230590 | 22990 5026 13 | 0.038 % |
1.20/1.57 c | 5163 | 7886 68547 230590 | 22990 5160 13 | 0.038 % |
1.20/1.58 c | 5309 | 7886 68547 230590 | 22990 5306 13 | 0.038 % |
1.20/1.60 c | 5469 | 7886 68547 230590 | 22990 5466 13 | 0.038 % |
1.20/1.61 c | 5645 | 7886 68547 230590 | 22990 5642 13 | 0.038 % |
1.20/1.63 c | 5838 | 7886 68547 230590 | 22990 5835 13 | 0.038 % |
1.20/1.64 c | 6051 | 7886 68547 230590 | 22990 6048 13 | 0.038 % |
1.20/1.65 c | 6151 | 7886 68547 230590 | 22990 6148 13 | 0.038 % |
1.20/1.66 c | 6261 | 7886 68547 230590 | 22990 6258 13 | 0.038 % |
1.20/1.67 c | 6382 | 7886 68547 230590 | 22990 6379 13 | 0.038 % |
1.20/1.68 c | 6515 | 7886 68547 230590 | 22990 6512 13 | 0.038 % |
1.20/1.69 c | 6662 | 7886 68547 230590 | 22990 6659 14 | 0.038 % |
1.20/1.70 c | 6826 | 7886 68547 230590 | 22990 6823 14 | 0.038 % |
1.20/1.72 c | 7002 | 7886 68547 230590 | 22990 6999 14 | 0.038 % |
1.20/1.73 c | 7195 | 7886 68547 230590 | 22990 7192 14 | 0.038 % |
1.20/1.75 c | 7408 | 7886 68547 230590 | 22990 7405 14 | 0.038 % |
1.20/1.77 c | 7641 | 7886 68547 230590 | 22990 7638 14 | 0.038 % |
1.20/1.77 c | 7741 | 7886 68547 230590 | 22990 7738 14 | 0.038 % |
1.20/1.78 c | 7852 | 7886 68547 230590 | 22990 7849 14 | 0.038 % |
1.20/1.80 c | 7974 | 7886 68547 230590 | 22990 7971 14 | 0.038 % |
1.20/1.81 c | 8107 | 7886 68547 230590 | 22990 8104 14 | 0.038 % |
1.20/1.82 c | 8254 | 7886 68547 230590 | 22990 8251 14 | 0.038 % |
1.20/1.83 c | 8415 | 7886 68547 230590 | 22990 8412 14 | 0.038 % |
1.20/1.84 c | 8594 | 7886 68547 230590 | 22990 8591 14 | 0.038 % |
1.20/1.86 c | 8787 | 7886 68547 230590 | 22990 8784 14 | 0.038 % |
1.20/1.88 c | 8999 | 7886 68547 230590 | 22990 8996 14 | 0.038 % |
1.20/1.90 c | 9232 | 7886 68547 230590 | 22990 9229 14 | 0.038 % |
1.20/1.92 c | 9488 | 7886 68547 230590 | 22990 9485 14 | 0.038 % |
1.20/1.93 c | 9588 | 7886 68547 230590 | 22990 9585 14 | 0.038 % |
1.20/1.94 c | 9700 | 7886 68547 230590 | 22990 9697 14 | 0.038 % |
1.20/1.95 c | 9821 | 7886 68547 230590 | 22990 9818 14 | 0.038 % |
1.20/1.96 c | 9955 | 7886 68547 230590 | 22990 9952 14 | 0.038 % |
1.20/1.97 c | 10102 | 7886 68547 230590 | 2147483647 10099 14 | 0.038 % |
1.20/1.99 c | 10262 | 7886 68547 230590 | 2147483647 10259 14 | 0.038 % |
1.20/2.00 c | 10438 | 7886 68547 230590 | 2147483647 10435 14 | 0.038 % |
1.20/2.02 c | 10631 | 7886 68547 230590 | 2147483647 10628 14 | 0.038 % |
1.20/2.04 c | 10847 | 7886 68547 230590 | 2147483647 10844 14 | 0.038 % |
1.20/2.06 c | 11081 | 7886 68547 230590 | 2147483647 11078 14 | 0.038 % |
1.20/2.09 c | 11338 | 7886 68547 230590 | 2147483647 11335 14 | 0.038 % |
2.12/2.12 c | 11620 | 7886 68547 230590 | 2147483647 11617 14 | 0.038 % |
2.12/2.12 c | 11721 | 7886 68547 230590 | 2147483647 11718 14 | 0.038 % |
2.12/2.13 c | 11831 | 7886 68547 230590 | 2147483647 11828 14 | 0.038 % |
2.12/2.15 c | 11954 | 7886 68547 230590 | 2147483647 11951 15 | 0.038 % |
2.12/2.16 c | 12087 | 7886 68547 230590 | 2147483647 12084 15 | 0.038 % |
2.12/2.17 c | 12234 | 7886 68547 230590 | 2147483647 12231 15 | 0.038 % |
2.12/2.19 c | 12395 | 7886 68547 230590 | 2147483647 12392 15 | 0.038 % |
2.22/2.21 c | 12571 | 7886 68547 230590 | 2147483647 12568 15 | 0.038 % |
2.22/2.23 c | 12765 | 7886 68547 230590 | 2147483647 12762 15 | 0.038 % |
2.22/2.25 c | 12980 | 7886 68547 230590 | 2147483647 12977 15 | 0.038 % |
2.22/2.27 c | 13214 | 7886 68547 230590 | 2147483647 13211 15 | 0.038 % |
2.22/2.30 c | 13472 | 7886 68547 230590 | 2147483647 13469 15 | 0.038 % |
2.32/2.32 c | 13753 | 7886 68547 230590 | 2147483647 13750 15 | 0.038 % |
2.32/2.35 c | 14064 | 7886 68547 230590 | 2147483647 14061 15 | 0.038 % |
2.32/2.36 c | 14164 | 7886 68547 230590 | 2147483647 14161 15 | 0.038 % |
2.32/2.37 c | 14276 | 7886 68547 230590 | 2147483647 14273 15 | 0.038 % |
2.32/2.38 c | 14398 | 7886 68547 230590 | 2147483647 14395 15 | 0.038 % |
2.32/2.39 c | 14531 | 7886 68547 230590 | 2147483647 14528 15 | 0.038 % |
2.32/2.41 c | 14677 | 7886 68547 230590 | 2147483647 14674 15 | 0.038 % |
2.42/2.42 c | 14839 | 7886 68547 230590 | 2147483647 14836 15 | 0.038 % |
2.42/2.44 c | 15019 | 7886 68547 230590 | 2147483647 15016 15 | 0.038 % |
2.42/2.46 c | 15213 | 7886 68547 230590 | 2147483647 15210 15 | 0.038 % |
2.42/2.49 c | 15426 | 7886 68547 230590 | 2147483647 15423 15 | 0.038 % |
2.52/2.52 c | 15659 | 7886 68547 230590 | 2147483647 15656 15 | 0.038 % |
2.52/2.54 c | 15918 | 7886 68547 230590 | 2147483647 15915 15 | 0.038 % |
2.52/2.58 c | 16201 | 7886 68547 230590 | 2147483647 16198 15 | 0.038 % |
2.62/2.62 c | 16510 | 7886 68547 230590 | 2147483647 16507 15 | 0.038 % |
2.62/2.65 c | 16850 | 7886 68547 230590 | 2147483647 16847 15 | 0.038 % |
2.62/2.66 c | 16950 | 7886 68547 230590 | 2147483647 16947 15 | 0.038 % |
2.62/2.67 c | 17060 | 7886 68547 230590 | 2147483647 17057 15 | 0.038 % |
2.62/2.69 c | 17181 | 7886 68547 230590 | 2147483647 17178 15 | 0.038 % |
2.62/2.70 c | 17316 | 7886 68547 230590 | 2147483647 17313 15 | 0.038 % |
2.72/2.71 c | 17463 | 7886 68547 230590 | 2147483647 17460 15 | 0.038 % |
2.72/2.74 c | 17623 | 7886 68547 230590 | 2147483647 17620 15 | 0.038 % |
2.72/2.76 c | 17800 | 7886 68547 230590 | 2147483647 17797 15 | 0.038 % |
2.72/2.78 c | 17993 | 7886 68547 230590 | 2147483647 17990 15 | 0.038 % |
2.72/2.81 c | 18207 | 7886 68547 230590 | 2147483647 18204 15 | 0.038 % |
2.82/2.84 c | 18440 | 7886 68547 230590 | 2147483647 18437 15 | 0.038 % |
2.82/2.88 c | 18699 | 7886 68547 230590 | 2147483647 18696 15 | 0.038 % |
2.92/2.91 c | 18982 | 7886 68547 230590 | 2147483647 18979 15 | 0.038 % |
2.92/2.95 c | 19293 | 7886 68547 230590 | 2147483647 19290 15 | 0.038 % |
2.92/2.98 c | 19634 | 7886 68547 230590 | 2147483647 19631 15 | 0.038 % |
3.02/3.03 c | 20008 | 7886 68547 230590 | 2147483647 20005 15 | 0.038 % |
3.02/3.04 c | 20110 | 7886 68547 230590 | 2147483647 20107 15 | 0.038 % |
3.02/3.06 c | 20221 | 7886 68547 230590 | 2147483647 20218 15 | 0.038 % |
3.02/3.07 c | 20346 | 7886 68547 230590 | 2147483647 20343 15 | 0.038 % |
3.02/3.09 c | 20481 | 7886 68547 230590 | 2147483647 20478 15 | 0.038 % |
3.02/3.11 c | 20627 | 7886 68547 230590 | 2147483647 20624 15 | 0.038 % |
3.12/3.12 c | 20788 | 7886 68547 230590 | 2147483647 20785 15 | 0.038 % |
3.12/3.13 c | 20965 | 7886 68547 230590 | 2147483647 20962 15 | 0.038 % |
3.12/3.16 c | 21159 | 7886 68547 230590 | 2147483647 21156 15 | 0.038 % |
3.12/3.19 c | 21372 | 7886 68547 230590 | 2147483647 21369 15 | 0.038 % |
3.22/3.22 c | 21610 | 7886 68547 230590 | 2147483647 21607 15 | 0.038 % |
3.22/3.26 c | 21866 | 7886 68547 230590 | 2147483647 21863 15 | 0.038 % |
3.22/3.30 c | 22147 | 7886 68547 230590 | 2147483647 22144 15 | 0.038 % |
3.32/3.35 c | 22457 | 7886 68547 230590 | 2147483647 22454 15 | 0.038 % |
3.32/3.41 c | 22796 | 7886 68547 230590 | 2147483647 22793 15 | 0.038 % |
3.42/3.46 c | 23170 | 7886 68547 230590 | 2147483647 23167 15 | 0.038 % |
3.52/3.51 c | 23580 | 7886 68547 230590 | 2147483647 23577 15 | 0.038 % |
3.52/3.53 c | 23682 | 7886 68547 230590 | 2147483647 23679 15 | 0.038 % |
3.52/3.55 c | 23792 | 7886 68547 230590 | 2147483647 23789 15 | 0.038 % |
3.52/3.57 c | 23913 | 7886 68547 230590 | 2147483647 23910 15 | 0.038 % |
3.52/3.59 c | 24046 | 7886 68547 230590 | 2147483647 24043 15 | 0.038 % |
3.62/3.62 c | 24192 | 7886 68547 230590 | 2147483647 24189 15 | 0.038 % |
3.62/3.65 c | 24354 | 7886 68547 230590 | 2147483647 24351 15 | 0.038 % |
3.62/3.67 c | 24530 | 7886 68547 230590 | 2147483647 24527 15 | 0.038 % |
3.62/3.69 c | 24723 | 7886 68547 230590 | 2147483647 24720 15 | 0.038 % |
3.72/3.72 c | 24937 | 7886 68547 230590 | 2147483647 24934 15 | 0.038 % |
3.72/3.76 c | 25170 | 7886 68547 230590 | 2147483647 25167 15 | 0.038 % |
3.72/3.81 c | 25426 | 7886 68547 230590 | 2147483647 25423 15 | 0.038 % |
3.82/3.85 c | 25708 | 7886 68547 230590 | 2147483647 25705 15 | 0.038 % |
3.92/3.91 c | 26017 | 7886 68547 230590 | 2147483647 26014 15 | 0.038 % |
3.92/3.97 c | 26356 | 7886 68547 230590 | 2147483647 26353 15 | 0.038 % |
4.02/4.01 c | 26728 | 7886 68547 230590 | 2147483647 26725 16 | 0.038 % |
4.02/4.08 c | 27138 | 7886 68547 230590 | 2147483647 27135 15 | 0.038 % |
4.12/4.16 c | 27587 | 7886 68547 230590 | 2147483647 27584 16 | 0.038 % |
4.12/4.18 c | 27687 | 7886 68547 230590 | 2147483647 27684 16 | 0.038 % |
4.12/4.19 c | 27798 | 7886 68547 230590 | 2147483647 27795 15 | 0.038 % |
4.22/4.21 c | 27919 | 7886 68547 230590 | 2147483647 27916 16 | 0.038 % |
4.22/4.24 c | 28052 | 7886 68547 230590 | 2147483647 28049 16 | 0.038 % |
4.22/4.26 c | 28199 | 7886 68547 230590 | 2147483647 28196 15 | 0.038 % |
4.22/4.28 c | 28361 | 7886 68547 230590 | 2147483647 28358 15 | 0.038 % |
4.32/4.32 c | 28537 | 7886 68547 230590 | 2147483647 28534 15 | 0.038 % |
4.32/4.35 c | 28730 | 7886 68547 230590 | 2147483647 28727 15 | 0.038 % |
4.32/4.38 c | 28942 | 7886 68547 230590 | 2147483647 28939 15 | 0.038 % |
4.42/4.42 c | 29175 | 7886 68547 230590 | 2147483647 29172 15 | 0.038 % |
4.42/4.46 c | 29431 | 7886 68547 230590 | 2147483647 29428 15 | 0.038 % |
4.52/4.52 c | 29713 | 7886 68547 230590 | 2147483647 29710 15 | 0.038 % |
4.52/4.55 c | 30023 | 7886 68547 230590 | 2147483647 30020 15 | 0.038 % |
4.52/4.58 c | 30362 | 7886 68547 230590 | 2147483647 30359 15 | 0.038 % |
4.62/4.65 c | 30735 | 7886 68547 230590 | 2147483647 30732 15 | 0.038 % |
4.72/4.72 c | 31145 | 7886 68547 230590 | 2147483647 31142 15 | 0.038 % |
4.72/4.80 c | 31599 | 7886 68547 230590 | 2147483647 31596 15 | 0.038 % |
4.82/4.89 c | 32092 | 7886 68547 230590 | 2147483647 32089 15 | 0.038 % |
4.92/4.91 c | 32193 | 7886 68547 230590 | 2147483647 32190 15 | 0.038 % |
4.92/4.95 c | 32303 | 7885 68531 230557 | 2147483647 32299 15 | 0.051 % |
4.92/4.96 c | 32425 | 7885 68531 230557 | 2147483647 32421 15 | 0.051 % |
4.92/4.99 c | 32559 | 7885 68531 230557 | 2147483647 32555 15 | 0.051 % |
5.02/5.02 c | 32706 | 7885 68531 230557 | 2147483647 32702 15 | 0.051 % |
5.02/5.06 c | 32866 | 7885 68531 230557 | 2147483647 32862 15 | 0.051 % |
5.02/5.09 c | 33042 | 7885 68531 230557 | 2147483647 33038 15 | 0.051 % |
5.12/5.13 c | 33236 | 7885 68531 230557 | 2147483647 33232 15 | 0.051 % |
5.12/5.16 c | 33450 | 7885 68531 230557 | 2147483647 33446 16 | 0.051 % |
5.12/5.21 c | 33683 | 7885 68531 230557 | 2147483647 33679 16 | 0.051 % |
5.22/5.26 c | 33940 | 7885 68531 230557 | 2147483647 33936 16 | 0.051 % |
5.32/5.32 c | 34223 | 7885 68531 230557 | 2147483647 34219 16 | 0.051 % |
5.32/5.38 c | 34534 | 7885 68531 230557 | 2147483647 34530 16 | 0.051 % |
5.42/5.45 c | 34876 | 7885 68531 230557 | 2147483647 34872 16 | 0.051 % |
5.52/5.54 c | 35248 | 7885 68531 230557 | 2147483647 35244 16 | 0.051 % |
5.62/5.63 c | 35658 | 7885 68531 230557 | 2147483647 35654 16 | 0.051 % |
5.72/5.72 c | 36107 | 7885 68531 230557 | 2147483647 36103 16 | 0.051 % |
5.82/5.84 c | 36600 | 7885 68531 230557 | 2147483647 36596 16 | 0.051 % |
5.92/5.96 c | 37144 | 7885 68531 230557 | 2147483647 37140 16 | 0.051 % |
5.92/5.97 c | 37244 | 7885 68531 230557 | 2147483647 37240 16 | 0.051 % |
5.92/5.99 c | 37355 | 7885 68531 230557 | 2147483647 37351 16 | 0.051 % |
6.02/6.01 c | 37478 | 7885 68531 230557 | 2147483647 37474 16 | 0.051 % |
6.02/6.04 c | 37612 | 7885 68531 230557 | 2147483647 37608 16 | 0.051 % |
6.02/6.08 c | 37758 | 7885 68531 230557 | 2147483647 37754 16 | 0.051 % |
6.12/6.11 c | 37919 | 7885 68531 230557 | 2147483647 37915 16 | 0.051 % |
6.12/6.16 c | 38095 | 7885 68531 230557 | 2147483647 38091 16 | 0.051 % |
6.22/6.21 c | 38289 | 7885 68531 230557 | 2147483647 38285 16 | 0.051 % |
6.22/6.26 c | 38501 | 7885 68531 230557 | 2147483647 38497 16 | 0.051 % |
6.32/6.32 c | 38734 | 7885 68531 230557 | 2147483647 38730 16 | 0.051 % |
6.32/6.38 c | 38993 | 7885 68531 230557 | 2147483647 38989 16 | 0.051 % |
6.42/6.46 c | 39275 | 7885 68531 230557 | 2147483647 39271 16 | 0.051 % |
6.52/6.54 c | 39584 | 7885 68531 230557 | 2147483647 39580 16 | 0.051 % |
6.62/6.61 c | 39924 | 7885 68531 230557 | 2147483647 39920 16 | 0.051 % |
6.72/6.76 c | 40297 | 7885 68531 230557 | 2147483647 40293 16 | 0.051 % |
6.82/6.83 c | 40706 | 7885 68531 230557 | 2147483647 40702 16 | 0.051 % |
6.92/6.93 c | 41155 | 7885 68531 230557 | 2147483647 41151 16 | 0.051 % |
7.02/7.04 c | 41648 | 7885 68531 230557 | 2147483647 41644 16 | 0.051 % |
7.12/7.14 c | 42191 | 7885 68531 230557 | 2147483647 42187 16 | 0.051 % |
7.22/7.25 c | 42787 | 7885 68531 230557 | 2147483647 42783 16 | 0.051 % |
7.22/7.28 c | 42887 | 7885 68531 230557 | 2147483647 42883 16 | 0.051 % |
7.22/7.31 c | 42998 | 7885 68531 230557 | 2147483647 42994 16 | 0.051 % |
7.32/7.33 c | 43121 | 7885 68531 230557 | 2147483647 43117 16 | 0.051 % |
7.32/7.36 c | 43254 | 7885 68531 230557 | 2147483647 43250 16 | 0.051 % |
7.32/7.39 c | 43400 | 7885 68531 230557 | 2147483647 43396 16 | 0.051 % |
7.42/7.43 c | 43560 | 7885 68531 230557 | 2147483647 43556 16 | 0.051 % |
7.42/7.45 c | 43736 | 7885 68531 230557 | 2147483647 43732 16 | 0.051 % |
7.42/7.49 c | 43930 | 7885 68531 230557 | 2147483647 43926 16 | 0.051 % |
7.52/7.56 c | 44142 | 7885 68531 230557 | 2147483647 44138 16 | 0.051 % |
7.52/7.59 c | 44375 | 7885 68531 230557 | 2147483647 44371 16 | 0.051 % |
7.62/7.66 c | 44631 | 7885 68531 230557 | 2147483647 44627 16 | 0.051 % |
7.72/7.76 c | 44912 | 7885 68531 230557 | 2147483647 44908 16 | 0.051 % |
7.72/7.81 c | 45221 | 7885 68531 230557 | 2147483647 45217 16 | 0.051 % |
7.82/7.88 c | 45561 | 7885 68531 230557 | 2147483647 45557 16 | 0.051 % |
7.92/7.97 c | 45934 | 7885 68531 230557 | 2147483647 45930 16 | 0.051 % |
8.02/8.07 c | 46343 | 7885 68531 230557 | 2147483647 46339 16 | 0.051 % |
8.22/8.25 c | 46794 | 7885 68531 230557 | 2147483647 46790 16 | 0.051 % |
8.32/8.39 c | 47288 | 7885 68531 230557 | 2147483647 47284 16 | 0.051 % |
8.52/8.53 c | 47830 | 7885 68531 230557 | 2147483647 47826 17 | 0.051 % |
8.62/8.69 c | 48427 | 7885 68531 230557 | 2147483647 48423 17 | 0.051 % |
8.72/8.76 c | 49082 | 7885 68531 230557 | 2147483647 49078 17 | 0.051 % |
8.72/8.79 c | 49182 | 7885 68531 230557 | 2147483647 49178 17 | 0.051 % |
8.82/8.81 c | 49293 | 7885 68531 230557 | 2147483647 49289 17 | 0.051 % |
8.82/8.84 c | 49414 | 7885 68531 230557 | 2147483647 49410 17 | 0.051 % |
8.82/8.87 c | 49548 | 7885 68531 230557 | 2147483647 49544 17 | 0.051 % |
8.92/8.93 c | 49694 | 7885 68531 230557 | 2147483647 49690 17 | 0.051 % |
8.92/8.98 c | 49854 | 7885 68531 230557 | 2147483647 49850 17 | 0.051 % |
9.02/9.02 c | 50030 | 7885 68531 230557 | 2147483647 50026 17 | 0.051 % |
9.02/9.08 c | 50224 | 7885 68531 230557 | 2147483647 50220 17 | 0.051 % |
9.12/9.15 c | 50439 | 7885 68531 230557 | 2147483647 50435 17 | 0.051 % |
9.22/9.22 c | 50674 | 7885 68531 230557 | 2147483647 50670 17 | 0.051 % |
9.22/9.29 c | 50931 | 7885 68531 230557 | 2147483647 50927 17 | 0.051 % |
9.32/9.37 c | 51212 | 7885 68531 230557 | 2147483647 51208 17 | 0.051 % |
9.42/9.45 c | 51521 | 7885 68531 230557 | 2147483647 51517 17 | 0.051 % |
9.52/9.59 c | 51862 | 7885 68531 230557 | 2147483647 51858 17 | 0.051 % |
9.72/9.72 c | 52239 | 7885 68531 230557 | 2147483647 52235 17 | 0.051 % |
9.82/9.86 c | 52648 | 7885 68531 230557 | 2147483647 52644 17 | 0.051 % |
9.92/9.97 c | 53098 | 7885 68531 230557 | 2147483647 53094 17 | 0.051 % |
10.12/10.14 c | 53591 | 7885 68531 230557 | 2147483647 53587 17 | 0.051 % |
10.32/10.32 c | 54133 | 7885 68531 230557 | 2147483647 54129 17 | 0.051 % |
10.52/10.54 c | 54731 | 7885 68531 230557 | 2147483647 54727 17 | 0.051 % |
10.72/10.77 c | 55386 | 7885 68531 230557 | 2147483647 55382 17 | 0.051 % |
10.92/11.00 c | 56106 | 7885 68531 230557 | 2147483647 56102 17 | 0.051 % |
11.02/11.04 c | 56207 | 7885 68531 230557 | 2147483647 56203 17 | 0.051 % |
11.02/11.08 c | 56317 | 7885 68531 230557 | 2147483647 56313 17 | 0.051 % |
11.12/11.13 c | 56443 | 7885 68531 230557 | 2147483647 56439 17 | 0.051 % |
11.12/11.18 c | 56576 | 7885 68531 230557 | 2147483647 56572 17 | 0.051 % |
11.22/11.24 c | 56723 | 7885 68531 230557 | 2147483647 56719 17 | 0.051 % |
11.22/11.30 c | 56883 | 7885 68531 230557 | 2147483647 56879 17 | 0.051 % |
11.32/11.38 c | 57059 | 7885 68531 230557 | 2147483647 57055 17 | 0.051 % |
11.42/11.46 c | 57252 | 7885 68531 230557 | 2147483647 57248 17 | 0.051 % |
11.52/11.56 c | 57465 | 7885 68531 230557 | 2147483647 57461 17 | 0.051 % |
11.62/11.66 c | 57698 | 7885 68531 230557 | 2147483647 57694 17 | 0.051 % |
11.72/11.75 c | 57956 | 7885 68531 230557 | 2147483647 57952 17 | 0.051 % |
11.82/11.84 c | 58239 | 7885 68531 230557 | 2147483647 58235 17 | 0.051 % |
11.92/11.97 c | 58548 | 7885 68531 230557 | 2147483647 58544 17 | 0.051 % |
12.02/12.10 c | 58890 | 7885 68531 230557 | 2147483647 58886 17 | 0.051 % |
12.22/12.29 c | 59262 | 7885 68531 230557 | 2147483647 59258 17 | 0.051 % |
12.42/12.45 c | 59671 | 7885 68531 230557 | 2147483647 59667 17 | 0.051 % |
12.62/12.61 c | 60120 | 7885 68531 230557 | 2147483647 60116 17 | 0.051 % |
12.72/12.79 c | 60615 | 7885 68531 230557 | 2147483647 60611 17 | 0.051 % |
13.02/13.01 c | 61158 | 7885 68531 230557 | 2147483647 61154 17 | 0.051 % |
13.22/13.29 c | 61756 | 7885 68531 230557 | 2147483647 61752 17 | 0.051 % |
13.62/13.61 c | 62413 | 7885 68531 230557 | 2147483647 62409 17 | 0.051 % |
13.92/13.91 c | 63136 | 7885 68531 230557 | 2147483647 63132 17 | 0.051 % |
14.32/14.32 c | 63930 | 7885 68531 230557 | 2147483647 63926 17 | 0.051 % |
14.32/14.37 c | 64030 | 7885 68531 230557 | 2147483647 64026 17 | 0.051 % |
14.42/14.42 c | 64142 | 7885 68531 230557 | 2147483647 64138 17 | 0.051 % |
14.42/14.50 c | 64263 | 7885 68531 230557 | 2147483647 64259 17 | 0.051 % |
14.52/14.55 c | 64396 | 7885 68531 230557 | 2147483647 64392 17 | 0.051 % |
14.52/14.60 c | 64543 | 7885 68531 230557 | 2147483647 64539 17 | 0.051 % |
14.62/14.69 c | 64703 | 7885 68531 230557 | 2147483647 64699 17 | 0.051 % |
14.72/14.77 c | 64880 | 7885 68531 230557 | 2147483647 64876 17 | 0.051 % |
14.82/14.88 c | 65074 | 7885 68531 230557 | 2147483647 65070 17 | 0.051 % |
14.92/14.99 c | 65288 | 7885 68531 230557 | 2147483647 65284 17 | 0.051 % |
15.02/15.10 c | 65522 | 7885 68531 230557 | 2147483647 65518 17 | 0.051 % |
15.22/15.21 c | 65779 | 7885 68531 230557 | 2147483647 65775 17 | 0.051 % |
15.32/15.37 c | 66060 | 7885 68531 230557 | 2147483647 66056 17 | 0.051 % |
15.52/15.52 c | 66372 | 7885 68531 230557 | 2147483647 66368 17 | 0.051 % |
15.62/15.69 c | 66711 | 7885 68531 230557 | 2147483647 66707 17 | 0.051 % |
15.82/15.84 c | 67083 | 7885 68531 230557 | 2147483647 67079 17 | 0.051 % |
16.02/16.07 c | 67492 | 7885 68531 230557 | 2147483647 67488 18 | 0.051 % |
16.12/16.20 c | 67942 | 7885 68531 230557 | 2147483647 67938 18 | 0.051 % |
16.32/16.33 c | 68436 | 7885 68531 230557 | 2147483647 68432 18 | 0.051 % |
16.42/16.50 c | 68978 | 7885 68531 230557 | 2147483647 68974 18 | 0.051 % |
16.72/16.71 c | 69574 | 7885 68531 230557 | 2147483647 69570 18 | 0.051 % |
17.02/17.09 c | 70229 | 7885 68531 230557 | 2147483647 70225 18 | 0.051 % |
17.42/17.50 c | 70951 | 7885 68531 230557 | 2147483647 70947 18 | 0.051 % |
17.92/17.94 c | 71744 | 7885 68531 230557 | 2147483647 71740 18 | 0.051 % |
18.42/18.43 c | 72617 | 7885 68531 230557 | 2147483647 72613 18 | 0.051 % |
18.42/18.47 c | 72718 | 7885 68531 230557 | 2147483647 72714 18 | 0.051 % |
18.42/18.51 c | 72828 | 7885 68531 230557 | 2147483647 72824 18 | 0.051 % |
18.52/18.60 c | 72949 | 7885 68531 230557 | 2147483647 72945 18 | 0.051 % |
18.62/18.65 c | 73082 | 7885 68531 230557 | 2147483647 73078 18 | 0.051 % |
18.72/18.74 c | 73228 | 7885 68531 230557 | 2147483647 73224 18 | 0.051 % |
18.82/18.83 c | 73390 | 7885 68531 230557 | 2147483647 73386 18 | 0.051 % |
18.92/18.92 c | 73567 | 7885 68531 230557 | 2147483647 73563 18 | 0.051 % |
19.02/19.03 c | 73761 | 7885 68531 230557 | 2147483647 73757 18 | 0.051 % |
19.12/19.11 c | 73978 | 7885 68531 230557 | 2147483647 73974 18 | 0.051 % |
19.22/19.25 c | 74211 | 7885 68531 230557 | 2147483647 74207 18 | 0.051 % |
19.32/19.37 c | 74467 | 7885 68531 230557 | 2147483647 74463 18 | 0.051 % |
19.52/19.53 c | 74748 | 7885 68531 230557 | 2147483647 74744 18 | 0.051 % |
19.72/19.79 c | 75057 | 7885 68531 230557 | 2147483647 75053 18 | 0.051 % |
20.02/20.06 c | 75396 | 7885 68531 230557 | 2147483647 75392 18 | 0.051 % |
20.22/20.28 c | 75768 | 7885 68531 230557 | 2147483647 75764 18 | 0.051 % |
20.52/20.59 c | 76179 | 7885 68531 230557 | 2147483647 76175 18 | 0.051 % |
20.82/20.85 c | 76629 | 7885 68531 230557 | 2147483647 76625 18 | 0.051 % |
21.12/21.13 c | 77122 | 7885 68531 230557 | 2147483647 77118 18 | 0.051 % |
21.42/21.47 c | 77664 | 7885 68531 230557 | 2147483647 77660 18 | 0.051 % |
21.82/21.88 c | 78260 | 7885 68531 230557 | 2147483647 78256 18 | 0.051 % |
22.32/22.36 c | 78916 | 7885 68531 230557 | 2147483647 78912 18 | 0.051 % |
22.82/22.82 c | 79637 | 7885 68531 230557 | 2147483647 79633 18 | 0.051 % |
23.42/23.42 c | 80429 | 7885 68531 230557 | 2147483647 80425 18 | 0.051 % |
24.02/24.04 c | 81301 | 7885 68531 230557 | 2147483647 81297 18 | 0.051 % |
24.62/24.68 c | 82259 | 7885 68531 230557 | 2147483647 82255 18 | 0.051 % |
24.72/24.76 c | 82361 | 7885 68531 230557 | 2147483647 82357 18 | 0.051 % |
24.82/24.83 c | 82472 | 7885 68531 230557 | 2147483647 82468 18 | 0.051 % |
24.92/24.91 c | 82595 | 7885 68531 230557 | 2147483647 82591 18 | 0.051 % |
25.02/25.03 c | 82728 | 7885 68531 230557 | 2147483647 82724 18 | 0.051 % |
25.12/25.13 c | 82874 | 7885 68531 230557 | 2147483647 82870 18 | 0.051 % |
25.22/25.23 c | 83034 | 7885 68531 230557 | 2147483647 83030 18 | 0.051 % |
25.32/25.34 c | 83211 | 7885 68531 230557 | 2147483647 83207 18 | 0.051 % |
25.42/25.44 c | 83404 | 7885 68531 230557 | 2147483647 83400 18 | 0.051 % |
25.52/25.57 c | 83617 | 7885 68531 230557 | 2147483647 83613 18 | 0.051 % |
25.62/25.70 c | 83851 | 7885 68531 230557 | 2147483647 83847 18 | 0.051 % |
25.82/25.86 c | 84109 | 7885 68531 230557 | 2147483647 84105 18 | 0.051 % |
26.02/26.07 c | 84390 | 7885 68531 230557 | 2147483647 84386 18 | 0.051 % |
26.22/26.27 c | 84700 | 7885 68531 230557 | 2147483647 84696 18 | 0.051 % |
26.42/26.49 c | 85042 | 7885 68531 230557 | 2147483647 85038 18 | 0.051 % |
26.72/26.76 c | 85415 | 7885 68531 230557 | 2147483647 85411 18 | 0.051 % |
27.02/27.02 c | 85824 | 7885 68531 230557 | 2147483647 85820 18 | 0.051 % |
27.32/27.36 c | 86274 | 7885 68531 230557 | 2147483647 86270 18 | 0.051 % |
27.72/27.80 c | 86767 | 7885 68531 230557 | 2147483647 86763 18 | 0.051 % |
28.12/28.16 c | 87309 | 7885 68531 230557 | 2147483647 87305 18 | 0.051 % |
28.52/28.56 c | 87905 | 7885 68531 230557 | 2147483647 87901 18 | 0.051 % |
28.92/28.92 c | 88560 | 7885 68531 230557 | 2147483647 88556 18 | 0.051 % |
29.52/29.51 c | 89282 | 7885 68531 230557 | 2147483647 89278 18 | 0.051 % |
30.12/30.18 c | 90074 | 7885 68531 230557 | 89997 90070 18 | 0.051 % |
31.02/31.05 c | 90945 | 7885 68531 230557 | 89997 78534 18 | 0.051 % |
31.62/31.66 c | 91905 | 7885 68531 230557 | 89997 79494 19 | 0.051 % |
32.32/32.37 c | 92958 | 7885 68531 230557 | 89997 80547 19 | 0.051 % |
32.42/32.44 c | 93061 | 7885 68531 230557 | 89997 80650 19 | 0.051 % |
32.52/32.57 c | 93171 | 7885 68531 230557 | 89997 80760 19 | 0.051 % |
32.62/32.68 c | 93293 | 7885 68531 230557 | 89997 80882 19 | 0.051 % |
32.82/32.83 c | 93429 | 7885 68531 230557 | 89997 81018 19 | 0.051 % |
32.92/33.00 c | 93577 | 7885 68531 230557 | 89997 81166 19 | 0.051 % |
33.12/33.11 c | 93738 | 7885 68531 230557 | 89997 81327 19 | 0.051 % |
33.22/33.23 c | 93914 | 7885 68531 230557 | 89997 81503 19 | 0.051 % |
33.32/33.38 c | 94107 | 7885 68531 230557 | 89997 81696 19 | 0.051 % |
33.42/33.48 c | 94319 | 7885 68531 230557 | 89997 81908 19 | 0.051 % |
33.62/33.63 c | 94555 | 7885 68531 230557 | 89997 82144 19 | 0.051 % |
33.72/33.79 c | 94812 | 7885 68531 230557 | 89997 82401 19 | 0.051 % |
33.92/33.96 c | 95094 | 7885 68531 230557 | 89997 82683 19 | 0.051 % |
34.02/34.08 c | 95404 | 7885 68531 230557 | 89997 82993 19 | 0.051 % |
34.22/34.21 c | 95743 | 7885 68531 230557 | 89997 83332 19 | 0.051 % |
34.32/34.37 c | 96115 | 7885 68531 230557 | 89997 83704 19 | 0.051 % |
34.42/34.49 c | 96524 | 7885 68531 230557 | 89997 84113 19 | 0.051 % |
34.72/34.72 c | 96973 | 7880 68112 227693 | 89997 84540 19 | 0.190 % |
35.12/35.17 c | 97467 | 7880 68112 227693 | 89997 85034 19 | 0.190 % |
35.52/35.56 c | 98009 | 7880 68112 227693 | 89997 85576 19 | 0.190 % |
35.82/35.88 c | 98607 | 7880 68112 227693 | 89997 86174 19 | 0.190 % |
36.22/36.25 c | 99263 | 7880 68112 227693 | 89997 86830 19 | 0.190 % |
36.92/36.91 c | 99983 | 7880 68112 227693 | 89997 87550 19 | 0.190 % |
37.32/37.40 c | 100778 | 7880 68112 227693 | 87567 75737 19 | 0.190 % |
38.02/38.07 c | 101649 | 7880 68112 227693 | 87567 76608 19 | 0.190 % |
39.02/39.03 c | 102607 | 7880 68112 227693 | 87567 77566 19 | 0.190 % |
39.92/39.91 c | 103661 | 7880 68112 227693 | 87567 78620 19 | 0.190 % |
41.12/41.13 c | 104822 | 7880 68112 227693 | 87567 79781 19 | 0.190 % |
41.12/41.21 c | 104923 | 7880 68112 227693 | 87567 79882 19 | 0.190 % |
41.22/41.26 c | 105034 | 7880 68112 227693 | 87567 79993 19 | 0.190 % |
41.42/41.41 c | 105157 | 7880 68112 227693 | 87567 80116 19 | 0.190 % |
41.52/41.56 c | 105290 | 7880 68112 227693 | 87567 80249 19 | 0.190 % |
41.72/41.73 c | 105437 | 7874 67280 223601 | 87567 79696 19 | 0.190 % |
41.83/41.90 c | 105603 | 7874 67280 223601 | 87567 79862 19 | 0.190 % |
42.02/42.07 c | 105779 | 7874 67280 223601 | 87567 80038 19 | 0.190 % |
42.22/42.24 c | 105973 | 7874 67280 223601 | 87567 80232 19 | 0.190 % |
42.32/42.39 c | 106185 | 7874 67280 223601 | 87567 80444 19 | 0.190 % |
42.52/42.56 c | 106418 | 7874 67280 223601 | 87567 80677 19 | 0.190 % |
42.72/42.75 c | 106675 | 7874 67280 223601 | 87567 80934 19 | 0.190 % |
42.93/42.96 c | 106956 | 7874 67280 223601 | 87567 81215 19 | 0.190 % |
43.22/43.22 c | 107266 | 7874 67280 223601 | 87567 81525 19 | 0.190 % |
43.52/43.53 c | 107605 | 7874 67280 223601 | 87567 81864 19 | 0.190 % |
43.82/43.83 c | 107978 | 7874 67280 223601 | 87567 82237 19 | 0.190 % |
44.03/44.06 c | 108393 | 7874 67280 223601 | 87567 82652 19 | 0.190 % |
44.32/44.37 c | 108844 | 7874 67280 223601 | 87567 83103 19 | 0.190 % |
44.72/44.76 c | 109337 | 7874 67280 223601 | 87567 83596 19 | 0.190 % |
45.22/45.27 c | 109880 | 7874 67280 223601 | 87567 84139 19 | 0.190 % |
45.92/45.94 c | 110477 | 7874 67280 223601 | 84259 70487 18 | 0.190 % |
46.12/46.20 c | 111133 | 7874 67280 223601 | 84259 71143 19 | 0.190 % |
46.72/46.75 c | 111856 | 7874 67280 223601 | 84259 71866 19 | 0.190 % |
47.22/47.30 c | 112649 | 7874 67280 223601 | 84259 72659 19 | 0.190 % |
48.02/48.01 c | 113520 | 7874 67280 223601 | 84259 73530 19 | 0.190 % |
48.62/48.63 c | 114478 | 7874 67280 223601 | 84259 74488 19 | 0.190 % |
49.32/49.40 c | 115531 | 7874 67280 223601 | 84259 75541 19 | 0.190 % |
50.42/50.51 c | 116690 | 7874 67280 223601 | 84259 76700 19 | 0.190 % |
51.73/51.80 c | 117963 | 7874 67280 223601 | 84259 77973 19 | 0.190 % |
51.82/51.86 c | 118063 | 7874 67280 223601 | 84259 78073 19 | 0.190 % |
51.92/51.97 c | 118173 | 7874 67280 223601 | 84259 78183 19 | 0.190 % |
52.12/52.14 c | 118294 | 7874 67280 223601 | 84259 78304 19 | 0.190 % |
52.22/52.26 c | 118427 | 7874 67280 223601 | 84259 78437 19 | 0.190 % |
52.42/52.43 c | 118573 | 7874 67280 223601 | 84259 78583 19 | 0.190 % |
52.52/52.59 c | 118733 | 7874 67280 223601 | 84259 78743 19 | 0.190 % |
52.62/52.69 c | 118909 | 7874 67280 223601 | 84259 78919 19 | 0.190 % |
52.83/52.88 c | 119105 | 7874 67280 223601 | 84259 79115 19 | 0.190 % |
53.02/53.08 c | 119318 | 7874 67280 223601 | 84259 79328 19 | 0.190 % |
53.22/53.24 c | 119552 | 7874 67280 223601 | 84259 79562 19 | 0.190 % |
53.42/53.51 c | 119808 | 7874 67280 223601 | 84259 79818 19 | 0.190 % |
53.62/53.67 c | 120089 | 7874 67280 223601 | 80010 80099 19 | 0.190 % |
54.02/54.04 c | 120398 | 7874 67280 223601 | 80010 68159 18 | 0.190 % |
54.12/54.14 c | 120738 | 7874 67280 223601 | 80010 68499 18 | 0.190 % |
54.32/54.32 c | 121110 | 7874 67280 223601 | 80010 68871 18 | 0.190 % |
54.42/54.44 c | 121521 | 7874 67280 223601 | 80010 69282 18 | 0.190 % |
54.72/54.75 c | 121971 | 7874 67280 223601 | 80010 69732 18 | 0.190 % |
54.82/54.88 c | 122466 | 7874 67280 223601 | 80010 70227 18 | 0.190 % |
55.03/55.07 c | 123010 | 7874 67280 223601 | 80010 70771 18 | 0.190 % |
55.32/55.35 c | 123607 | 7874 67280 223601 | 80010 71368 18 | 0.190 % |
55.52/55.51 c | 124263 | 7874 67280 223601 | 80010 72024 18 | 0.190 % |
55.72/55.77 c | 124983 | 7874 67280 223601 | 80010 72744 18 | 0.190 % |
56.02/56.07 c | 125775 | 7874 67280 223601 | 80010 73536 18 | 0.190 % |
56.32/56.40 c | 126646 | 7874 67280 223601 | 80010 74407 18 | 0.190 % |
56.72/56.74 c | 127606 | 7874 67280 223601 | 80010 75367 18 | 0.190 % |
57.12/57.18 c | 128659 | 7874 67280 223601 | 80010 76420 18 | 0.190 % |
57.62/57.68 c | 129821 | 7874 67280 223601 | 80010 77582 18 | 0.190 % |
58.02/58.07 c | 131095 | 7874 67280 223601 | 2147483647 78856 18 | 0.190 % |
58.62/58.67 c | 132495 | 7874 67280 223601 | 2147483647 80256 18 | 0.190 % |
58.62/58.68 c | 132595 | 7874 67280 223601 | 2147483647 80356 18 | 0.190 % |
58.72/58.79 c | 132707 | 7874 67280 223601 | 2147483647 80468 18 | 0.190 % |
58.82/58.88 c | 132830 | 7874 67280 223601 | 2147483647 80591 18 | 0.190 % |
59.02/59.02 c | 132963 | 7874 67280 223601 | 2147483647 80724 18 | 0.190 % |
59.12/59.11 c | 133110 | 7874 67280 223601 | 2147483647 80871 18 | 0.190 % |
59.12/59.18 c | 133270 | 7874 67280 223601 | 2147483647 81031 18 | 0.190 % |
59.22/59.24 c | 133446 | 7874 67280 223601 | 2147483647 81207 18 | 0.190 % |
59.32/59.32 c | 133639 | 7874 67280 223601 | 2147483647 81400 18 | 0.190 % |
59.43/59.42 c | 133851 | 7874 67280 223601 | 2147483647 81612 18 | 0.190 % |
59.52/59.52 c | 134084 | 7874 67280 223601 | 2147483647 81845 18 | 0.190 % |
59.62/59.61 c | 134342 | 7874 67280 223601 | 2147483647 82103 18 | 0.190 % |
59.62/59.69 c | 134623 | 7874 67280 223601 | 2147483647 82384 18 | 0.190 % |
59.72/59.80 c | 134933 | 7874 67280 223601 | 2147483647 82694 18 | 0.190 % |
59.82/59.88 c | 135272 | 7874 67280 223601 | 2147483647 83033 18 | 0.190 % |
60.02/60.03 c | 135644 | 7874 67280 223601 | 2147483647 83405 18 | 0.190 % |
60.12/60.11 c | 136053 | 7874 67280 223601 | 2147483647 83814 18 | 0.190 % |
60.22/60.29 c | 136502 | 7874 67280 223601 | 2147483647 84263 18 | 0.190 % |
60.42/60.49 c | 136995 | 7874 67280 223601 | 2147483647 84756 19 | 0.190 % |
60.72/60.72 c | 137541 | 7874 67280 223601 | 2147483647 85302 19 | 0.190 % |
61.12/61.14 c | 138138 | 7874 67280 223601 | 2147483647 85899 19 | 0.190 % |
61.32/61.38 c | 138793 | 7874 67280 223601 | 2147483647 86554 19 | 0.190 % |
61.63/61.67 c | 139513 | 7874 67280 223601 | 2147483647 87274 19 | 0.190 % |
62.02/62.03 c | 140307 | 7874 67280 223601 | 2147483647 88068 19 | 0.190 % |
62.42/62.46 c | 141184 | 7874 67280 223601 | 2147483647 88945 19 | 0.190 % |
62.92/62.95 c | 142142 | 7874 67280 223601 | 2147483647 89903 19 | 0.190 % |
63.32/63.33 c | 143195 | 7874 67280 223601 | 2147483647 90956 19 | 0.190 % |
63.83/63.83 c | 144353 | 7874 67280 223601 | 2147483647 92114 19 | 0.190 % |
64.42/64.47 c | 145626 | 7874 67280 223601 | 2147483647 93387 19 | 0.190 % |
64.82/64.88 c | 147026 | 7874 67280 223601 | 2147483647 94787 19 | 0.190 % |
65.82/65.91 c | 148566 | 7874 67280 223601 | 2147483647 96327 19 | 0.190 % |
65.92/65.98 c | 148668 | 7874 67280 223601 | 2147483647 96429 19 | 0.190 % |
66.03/66.04 c | 148780 | 7874 67280 223601 | 2147483647 96541 19 | 0.190 % |
66.12/66.11 c | 148901 | 7874 67280 223601 | 2147483647 96662 19 | 0.190 % |
66.12/66.17 c | 149038 | 7874 67280 223601 | 2147483647 96799 19 | 0.190 % |
66.22/66.26 c | 149185 | 7874 67280 223601 | 2147483647 96946 19 | 0.190 % |
66.32/66.33 c | 149345 | 7874 67280 223601 | 2147483647 97106 19 | 0.190 % |
66.32/66.40 c | 149521 | 7874 67280 223601 | 2147483647 97282 19 | 0.190 % |
66.52/66.53 c | 149716 | 7874 67280 223601 | 2147483647 97477 19 | 0.190 % |
66.62/66.66 c | 149928 | 7874 67280 223601 | 2147483647 97689 19 | 0.190 % |
66.72/66.78 c | 150162 | 7874 67280 223601 | 2147483647 97923 19 | 0.190 % |
66.92/66.91 c | 150419 | 7874 67280 223601 | 2147483647 98180 19 | 0.190 % |
67.02/67.07 c | 150702 | 7874 67280 223601 | 2147483647 98463 19 | 0.190 % |
67.13/67.20 c | 151012 | 7874 67280 223601 | 2147483647 98773 19 | 0.190 % |
67.32/67.40 c | 151351 | 7874 67280 223601 | 2147483647 99112 19 | 0.190 % |
67.62/67.62 c | 151724 | 7874 67280 223601 | 2147483647 99485 19 | 0.190 % |
67.82/67.83 c | 152133 | 7874 67280 223601 | 2147483647 99894 19 | 0.190 % |
68.02/68.07 c | 152583 | 7874 67280 223601 | 2147483647 100344 19 | 0.190 % |
68.23/68.29 c | 153077 | 7874 67280 223601 | 2147483647 100838 19 | 0.190 % |
68.62/68.66 c | 153619 | 7874 67280 223601 | 2147483647 101380 19 | 0.190 % |
68.92/68.92 c | 154217 | 7874 67280 223601 | 2147483647 101978 19 | 0.190 % |
69.33/69.39 c | 154873 | 7874 67280 223601 | 2147483647 102634 19 | 0.190 % |
69.82/69.82 c | 155593 | 7874 67280 223601 | 2147483647 103354 19 | 0.190 % |
70.32/70.34 c | 156387 | 7874 67280 223601 | 2147483647 104148 19 | 0.190 % |
70.72/70.74 c | 157258 | 7874 67280 223601 | 2147483647 105019 19 | 0.190 % |
71.42/71.43 c | 158217 | 7874 67280 223601 | 2147483647 105978 19 | 0.190 % |
71.92/71.99 c | 159271 | 7874 67280 223601 | 2147483647 107032 19 | 0.190 % |
72.52/72.53 c | 160430 | 7874 67280 223601 | 2147483647 108191 19 | 0.190 % |
73.22/73.27 c | 161703 | 7874 67280 223601 | 2147483647 109464 19 | 0.190 % |
74.12/74.17 c | 163104 | 7874 67280 223601 | 2147483647 110865 19 | 0.190 % |
75.12/75.16 c | 164644 | 7874 67280 223601 | 2147483647 112405 20 | 0.190 % |
76.12/76.12 c | 166340 | 7874 67280 223601 | 2147483647 114101 20 | 0.190 % |
76.12/76.19 c | 166440 | 7874 67280 223601 | 2147483647 114201 20 | 0.190 % |
76.22/76.27 c | 166550 | 7874 67280 223601 | 2147483647 114311 20 | 0.190 % |
76.42/76.41 c | 166672 | 7874 67280 223601 | 2147483647 114433 20 | 0.190 % |
76.42/76.45 c | 166805 | 7874 67280 223601 | 2147483647 114566 20 | 0.190 % |
76.52/76.56 c | 166953 | 7874 67280 223601 | 2147483647 114714 20 | 0.190 % |
76.62/76.68 c | 167113 | 7874 67280 223601 | 2147483647 114874 20 | 0.190 % |
76.82/76.83 c | 167289 | 7874 67280 223601 | 2147483647 115050 20 | 0.190 % |
76.82/76.90 c | 167482 | 7874 67280 223601 | 2147483647 115243 20 | 0.190 % |
77.03/77.06 c | 167695 | 7874 67280 223601 | 2147483647 115456 20 | 0.190 % |
77.12/77.17 c | 167928 | 7874 67280 223601 | 2147483647 115689 20 | 0.190 % |
77.32/77.39 c | 168185 | 7874 67280 223601 | 2147483647 115946 20 | 0.190 % |
77.42/77.49 c | 168467 | 7874 67280 223601 | 2147483647 116228 20 | 0.190 % |
77.72/77.71 c | 168777 | 7874 67280 223601 | 2147483647 116538 20 | 0.190 % |
77.82/77.84 c | 169117 | 7874 67280 223601 | 2147483647 116878 20 | 0.190 % |
78.02/78.04 c | 169489 | 7874 67280 223601 | 2147483647 117250 20 | 0.190 % |
78.22/78.30 c | 169898 | 7874 67280 223601 | 2147483647 117659 20 | 0.190 % |
78.62/78.70 c | 170347 | 7874 67280 223601 | 2147483647 118108 20 | 0.190 % |
79.12/79.11 c | 170841 | 7874 67280 223601 | 2147483647 118602 20 | 0.190 % |
79.42/79.44 c | 171384 | 7874 67280 223601 | 2147483647 119145 20 | 0.190 % |
79.72/79.78 c | 171980 | 7874 67280 223601 | 2147483647 119741 20 | 0.190 % |
80.12/80.12 c | 172636 | 7874 67280 223601 | 2147483647 120397 20 | 0.190 % |
80.42/80.50 c | 173356 | 7874 67280 223601 | 2147483647 121117 20 | 0.190 % |
80.92/80.95 c | 174149 | 7874 67280 223601 | 2147483647 121910 20 | 0.190 % |
81.43/81.44 c | 175021 | 7874 67280 223601 | 2147483647 122782 20 | 0.190 % |
82.22/82.24 c | 175979 | 7874 67280 223601 | 2147483647 123740 20 | 0.190 % |
83.12/83.14 c | 177033 | 7874 67280 223601 | 2147483647 124794 20 | 0.190 % |
83.82/83.89 c | 178192 | 7874 67280 223601 | 2147483647 125953 20 | 0.190 % |
84.92/84.92 c | 179465 | 7874 67280 223601 | 2147483647 127226 20 | 0.190 % |
87.52/87.56 c | 180866 | 7874 67280 223601 | 127765 108390 19 | 0.190 % |
88.32/88.34 c | 182407 | 7874 67280 223601 | 127765 109931 19 | 0.190 % |
89.13/89.14 c | 184101 | 7874 67280 223601 | 127765 111625 19 | 0.190 % |
90.02/90.02 c | 185966 | 7874 67280 223601 | 127765 113490 19 | 0.190 % |
90.02/90.07 c | 186067 | 7874 67280 223601 | 127765 113591 19 | 0.190 % |
90.12/90.18 c | 186180 | 7874 67280 223601 | 127765 113704 19 | 0.190 % |
90.23/90.27 c | 186302 | 7874 67280 223601 | 127765 113826 19 | 0.190 % |
90.32/90.36 c | 186435 | 7874 67280 223601 | 127765 113959 19 | 0.190 % |
90.42/90.46 c | 186581 | 7874 67280 223601 | 127765 114105 19 | 0.190 % |
90.52/90.56 c | 186741 | 7874 67280 223601 | 127765 114265 19 | 0.190 % |
90.63/90.69 c | 186917 | 7874 67280 223601 | 127765 114441 19 | 0.190 % |
90.73/90.81 c | 187110 | 7874 67280 223601 | 127765 114634 19 | 0.190 % |
90.83/90.91 c | 187323 | 7874 67280 223601 | 127765 114847 19 | 0.190 % |
91.03/91.04 c | 187558 | 7874 67280 223601 | 127765 115082 19 | 0.190 % |
91.13/91.22 c | 187815 | 7874 67280 223601 | 127765 115339 19 | 0.190 % |
91.43/91.42 c | 188097 | 7874 67280 223601 | 127765 115621 19 | 0.190 % |
91.73/91.71 c | 188406 | 7874 67280 223601 | 127765 115930 19 | 0.190 % |
91.93/92.00 c | 188748 | 7874 67280 223601 | 127765 116272 19 | 0.190 % |
92.23/92.26 c | 189121 | 7874 67280 223601 | 127765 116645 19 | 0.190 % |
92.43/92.45 c | 189530 | 7874 67280 223601 | 127765 117054 19 | 0.190 % |
92.73/92.77 c | 189980 | 7874 67280 223601 | 127765 117504 19 | 0.190 % |
93.93/93.92 c | 190475 | 7874 67280 223601 | 117524 103418 19 | 0.190 % |
94.23/94.28 c | 191018 | 7874 67280 223601 | 117524 103961 19 | 0.190 % |
94.63/94.65 c | 191614 | 7874 67280 223601 | 117524 104557 19 | 0.190 % |
95.13/95.14 c | 192275 | 7874 67280 223601 | 117524 105218 20 | 0.190 % |
95.63/95.66 c | 192995 | 7874 67280 223601 | 117524 105938 20 | 0.190 % |
96.03/96.05 c | 193788 | 7874 67280 223601 | 117524 106731 20 | 0.190 % |
96.63/96.70 c | 194660 | 7874 67280 223601 | 117524 107603 20 | 0.190 % |
97.43/97.44 c | 195618 | 7874 67280 223601 | 117524 108561 20 | 0.190 % |
98.13/98.21 c | 196672 | 7874 67280 223601 | 117524 109615 20 | 0.190 % |
99.03/99.02 c | 197832 | 7874 67280 223601 | 117524 110775 20 | 0.190 % |
99.93/99.94 c | 199105 | 7874 67280 223601 | 117524 112048 20 | 0.190 % |
101.43/101.45 c | 200507 | 7874 67280 223601 | 112943 99236 20 | 0.190 % |
102.63/102.67 c | 202047 | 7874 67280 223601 | 112943 100776 20 | 0.190 % |
103.93/103.92 c | 203744 | 7874 67280 223601 | 112943 102473 20 | 0.190 % |
104.93/104.94 c | 205610 | 7874 67280 223601 | 112943 104339 20 | 0.190 % |
106.53/106.52 c | 207660 | 7874 67280 223601 | 112943 106389 20 | 0.190 % |
106.53/106.56 c | 207762 | 7874 67280 223601 | 112943 106491 20 | 0.190 % |
106.63/106.65 c | 207873 | 7874 67280 223601 | 112943 106602 20 | 0.190 % |
106.73/106.71 c | 207995 | 7874 67280 223601 | 112943 106724 20 | 0.190 % |
106.73/106.78 c | 208128 | 7874 67280 223601 | 112943 106857 20 | 0.190 % |
106.83/106.85 c | 208274 | 7874 67280 223601 | 112943 107003 20 | 0.190 % |
106.93/107.00 c | 208435 | 7874 67280 223601 | 112943 107164 20 | 0.190 % |
107.13/107.18 c | 208612 | 7874 67280 223601 | 112943 107341 20 | 0.190 % |
107.23/107.30 c | 208806 | 7874 67280 223601 | 112943 107535 20 | 0.190 % |
107.43/107.49 c | 209020 | 7874 67280 223601 | 112943 107749 20 | 0.190 % |
107.73/107.74 c | 209253 | 7874 67280 223601 | 112943 107982 20 | 0.190 % |
107.83/107.90 c | 209509 | 7874 67280 223601 | 112943 108238 20 | 0.190 % |
108.13/108.16 c | 209790 | 7874 67280 223601 | 112943 108519 20 | 0.190 % |
108.23/108.31 c | 210099 | 7874 67280 223601 | 108729 108828 20 | 0.190 % |
108.73/108.74 c | 210441 | 7874 67280 223601 | 108729 95057 20 | 0.190 % |
109.03/109.03 c | 210813 | 7874 67280 223601 | 108729 95429 20 | 0.190 % |
109.23/109.26 c | 211223 | 7874 67280 223601 | 108729 95839 20 | 0.190 % |
109.53/109.53 c | 211674 | 7874 67280 223601 | 108729 96290 20 | 0.190 % |
109.93/109.97 c | 212168 | 7874 67280 223601 | 108729 96784 20 | 0.190 % |
110.23/110.26 c | 212713 | 7874 67280 223601 | 108729 97329 20 | 0.190 % |
110.63/110.68 c | 213310 | 7874 67280 223601 | 108729 97926 20 | 0.190 % |
111.13/111.17 c | 213966 | 7874 67280 223601 | 108729 98582 20 | 0.190 % |
111.73/111.77 c | 214686 | 7874 67280 223601 | 108729 99302 20 | 0.190 % |
112.33/112.41 c | 215479 | 7874 67280 223601 | 108729 100095 21 | 0.190 % |
113.03/113.03 c | 216351 | 7874 67280 223601 | 108729 100967 21 | 0.190 % |
113.83/113.82 c | 217309 | 7874 67280 223601 | 108729 101925 21 | 0.190 % |
114.83/114.86 c | 218362 | 7874 67280 223601 | 108729 102978 21 | 0.190 % |
115.93/116.01 c | 219521 | 7874 67280 223601 | 108729 104137 21 | 0.190 % |
117.23/117.24 c | 220794 | 7874 67280 223601 | 104616 91190 20 | 0.190 % |
118.03/118.06 c | 222194 | 7874 67280 223601 | 104616 92590 20 | 0.190 % |
119.13/119.21 c | 223734 | 7874 67280 223601 | 104616 94130 20 | 0.190 % |
120.33/120.33 c | 225428 | 7874 67280 223601 | 104616 95824 21 | 0.190 % |
121.73/121.78 c | 227292 | 7874 67280 223601 | 104616 97688 21 | 0.190 % |
123.13/123.21 c | 229341 | 7874 67280 223601 | 104616 99737 21 | 0.190 % |
125.03/125.09 c | 231594 | 7874 67280 223601 | 100396 88604 20 | 0.190 % |
125.13/125.18 c | 231694 | 7874 67280 223601 | 100396 88704 20 | 0.190 % |
125.23/125.26 c | 231804 | 7874 67280 223601 | 100396 88814 20 | 0.190 % |
125.33/125.37 c | 231925 | 7874 67280 223601 | 100396 88935 20 | 0.190 % |
125.43/125.44 c | 232058 | 7874 67280 223601 | 100396 89068 20 | 0.190 % |
125.43/125.46 c | 232204 | 7874 67280 223601 | 100396 89214 20 | 0.190 % |
125.43/125.49 c | 232364 | 7874 67280 223601 | 100396 89374 20 | 0.190 % |
125.53/125.57 c | 232540 | 7874 67280 223601 | 100396 89550 20 | 0.190 % |
125.63/125.65 c | 232733 | 7874 67280 223601 | 100396 89743 20 | 0.190 % |
125.73/125.75 c | 232945 | 7874 67280 223601 | 100396 89955 20 | 0.190 % |
125.83/125.87 c | 233178 | 7874 67280 223601 | 100396 90188 20 | 0.190 % |
126.03/126.04 c | 233434 | 7874 67280 223601 | 100396 90444 20 | 0.190 % |
126.23/126.28 c | 233717 | 7874 67280 223601 | 100396 90727 20 | 0.190 % |
126.43/126.46 c | 234028 | 7874 67280 223601 | 100396 91038 20 | 0.190 % |
126.73/126.75 c | 234368 | 7874 67280 223601 | 100396 91378 20 | 0.190 % |
126.93/126.97 c | 234741 | 7874 67280 223601 | 100396 91751 20 | 0.190 % |
127.23/127.25 c | 235152 | 7874 67280 223601 | 100396 92162 20 | 0.190 % |
127.53/127.55 c | 235601 | 7874 67280 223601 | 100396 92611 20 | 0.190 % |
127.93/127.94 c | 236094 | 7874 67280 223601 | 100396 93104 20 | 0.190 % |
128.43/128.49 c | 236639 | 7874 67280 223601 | 100396 93649 20 | 0.190 % |
128.93/129.00 c | 237236 | 7874 67280 223601 | 100396 94246 20 | 0.190 % |
129.53/129.52 c | 237892 | 7874 67280 223601 | 100396 94902 20 | 0.190 % |
130.13/130.14 c | 238612 | 7874 67280 223601 | 100396 95622 20 | 0.190 % |
130.63/130.68 c | 239404 | 7874 67280 223601 | 100396 96414 20 | 0.190 % |
131.53/131.54 c | 240276 | 7874 67280 223601 | 97011 84861 20 | 0.190 % |
132.23/132.27 c | 241235 | 7874 67280 223601 | 97011 85820 20 | 0.190 % |
132.83/132.88 c | 242288 | 7874 67280 223601 | 97011 86873 20 | 0.190 % |
133.73/133.75 c | 243446 | 7874 67280 223601 | 97011 88031 20 | 0.190 % |
134.83/134.84 c | 244719 | 7874 67280 223601 | 97011 89304 20 | 0.190 % |
136.03/136.07 c | 246121 | 7874 67280 223601 | 97011 90706 20 | 0.190 % |
137.33/137.40 c | 247662 | 7874 67280 223601 | 97011 92247 21 | 0.190 % |
138.83/138.84 c | 249356 | 7874 67280 223601 | 97011 93941 21 | 0.190 % |
140.23/140.21 c | 251220 | 7874 67280 223601 | 94585 84944 20 | 0.190 % |
141.83/141.83 c | 253270 | 7874 67280 223601 | 94585 86994 20 | 0.190 % |
142.83/142.85 c | 255524 | 7874 67280 223601 | 94585 89248 20 | 0.190 % |
144.53/144.52 c | 258003 | 7874 67280 223601 | 94585 91727 21 | 0.190 % |
144.63/144.64 c | 258104 | 7874 67280 223601 | 94585 91828 21 | 0.190 % |
144.73/144.74 c | 258214 | 7874 67280 223601 | 94585 91938 21 | 0.190 % |
144.83/144.85 c | 258335 | 7874 67280 223601 | 94585 92059 21 | 0.190 % |
144.93/144.97 c | 258469 | 7874 67280 223601 | 94585 92193 21 | 0.190 % |
145.13/145.12 c | 258615 | 7874 67280 223601 | 94585 92339 21 | 0.190 % |
145.23/145.22 c | 258776 | 7874 67280 223601 | 94585 92500 21 | 0.190 % |
145.33/145.39 c | 258953 | 7874 67280 223601 | 94585 92677 21 | 0.190 % |
145.53/145.54 c | 259148 | 7874 67280 223601 | 94585 92872 21 | 0.190 % |
145.73/145.72 c | 259362 | 7874 67280 223601 | 94585 93086 21 | 0.190 % |
145.93/145.93 c | 259595 | 7874 67280 223601 | 94585 93319 21 | 0.190 % |
146.13/146.12 c | 259851 | 7874 67280 223601 | 94585 93575 21 | 0.190 % |
146.23/146.31 c | 260132 | 7874 67280 223601 | 2147483647 93856 21 | 0.190 % |
146.53/146.57 c | 260441 | 7874 67280 223601 | 2147483647 94165 21 | 0.190 % |
146.73/146.75 c | 260780 | 7874 67280 223601 | 2147483647 94504 21 | 0.190 % |
147.03/147.02 c | 261155 | 7874 67280 223601 | 2147483647 94879 21 | 0.190 % |
147.33/147.40 c | 261564 | 7874 67280 223601 | 2147483647 95288 21 | 0.190 % |
147.73/147.79 c | 262013 | 7874 67280 223601 | 2147483647 95737 21 | 0.190 % |
148.23/148.26 c | 262511 | 7874 67280 223601 | 2147483647 96235 21 | 0.190 % |
148.53/148.60 c | 263053 | 7874 67280 223601 | 2147483647 96777 21 | 0.190 % |
149.03/149.09 c | 263649 | 7874 67280 223601 | 2147483647 97373 21 | 0.190 % |
149.63/149.68 c | 264308 | 7874 67280 223601 | 2147483647 98032 21 | 0.190 % |
150.03/150.10 c | 265028 | 7874 67280 223601 | 2147483647 98752 21 | 0.190 % |
150.83/150.86 c | 265821 | 7874 67280 223601 | 2147483647 99545 21 | 0.190 % |
151.43/151.51 c | 266692 | 7874 67280 223601 | 2147483647 100416 21 | 0.190 % |
152.23/152.24 c | 267650 | 7874 67280 223601 | 2147483647 101374 21 | 0.190 % |
153.23/153.26 c | 268704 | 7874 67280 223601 | 2147483647 102428 21 | 0.190 % |
154.33/154.37 c | 269862 | 7874 67280 223601 | 2147483647 103586 21 | 0.190 % |
155.53/155.60 c | 271135 | 7874 67280 223601 | 103725 90385 20 | 0.190 % |
156.63/156.62 c | 272535 | 7874 67280 223601 | 103725 91785 20 | 0.190 % |
157.63/157.71 c | 274075 | 7874 67280 223601 | 103725 93325 20 | 0.190 % |
159.23/159.21 c | 275769 | 7874 67280 223601 | 103725 95019 20 | 0.190 % |
161.03/161.05 c | 277632 | 7874 67280 223601 | 103725 96882 20 | 0.190 % |
162.23/162.26 c | 279681 | 7874 67280 223601 | 103725 98931 20 | 0.190 % |
164.13/164.13 c | 281935 | 7874 67280 223601 | 99251 87910 20 | 0.190 % |
166.43/166.44 c | 284417 | 7874 67280 223601 | 99251 90392 20 | 0.190 % |
168.73/168.79 c | 287144 | 7874 67280 223601 | 99251 93119 20 | 0.190 % |
168.83/168.90 c | 287246 | 7874 67280 223601 | 99251 93221 20 | 0.190 % |
168.93/169.01 c | 287360 | 7874 67280 223601 | 99251 93335 20 | 0.190 % |
169.13/169.15 c | 287482 | 7874 67280 223601 | 99251 93457 20 | 0.190 % |
169.23/169.28 c | 287616 | 7874 67280 223601 | 99251 93591 20 | 0.190 % |
169.44/169.44 c | 287762 | 7874 67280 223601 | 99251 93737 20 | 0.190 % |
169.53/169.56 c | 287925 | 7874 67280 223601 | 99251 93900 20 | 0.190 % |
169.73/169.77 c | 288101 | 7874 67280 223601 | 99251 94076 20 | 0.190 % |
169.83/169.89 c | 288294 | 7874 67280 223601 | 99251 94269 20 | 0.190 % |
170.03/170.05 c | 288506 | 7874 67280 223601 | 99251 94481 20 | 0.190 % |
170.23/170.30 c | 288739 | 7874 67280 223601 | 99251 94714 20 | 0.190 % |
170.54/170.53 c | 288995 | 7874 67280 223601 | 99251 94970 20 | 0.190 % |
170.83/170.82 c | 289276 | 7874 67280 223601 | 99251 95251 20 | 0.190 % |
171.03/171.04 c | 289591 | 7874 67280 223601 | 99251 95566 20 | 0.190 % |
171.33/171.33 c | 289930 | 7874 67280 223601 | 99251 95905 20 | 0.190 % |
171.83/171.87 c | 290302 | 7874 67280 223601 | 95975 83089 19 | 0.190 % |
172.13/172.19 c | 290712 | 7874 67280 223601 | 95975 83499 20 | 0.190 % |
172.63/172.63 c | 291161 | 7874 67280 223601 | 95975 83948 20 | 0.190 % |
173.13/173.19 c | 291654 | 7874 67280 223601 | 95975 84441 20 | 0.190 % |
173.43/173.48 c | 292196 | 7874 67280 223601 | 95975 84983 20 | 0.190 % |
173.93/173.97 c | 292793 | 7874 67280 223601 | 95975 85580 20 | 0.190 % |
174.33/174.34 c | 293449 | 7874 67280 223601 | 95975 86236 20 | 0.190 % |
174.73/174.71 c | 294170 | 7874 67280 223601 | 95975 86957 20 | 0.190 % |
175.43/175.43 c | 294962 | 7874 67280 223601 | 95975 87749 20 | 0.190 % |
176.33/176.37 c | 295834 | 7874 67280 223601 | 95975 88621 20 | 0.190 % |
177.14/177.19 c | 296793 | 7874 67280 223601 | 95975 89580 20 | 0.190 % |
177.83/177.82 c | 297848 | 7874 67280 223601 | 95975 90635 20 | 0.190 % |
178.53/178.59 c | 299006 | 7874 67280 223601 | 95975 91793 20 | 0.190 % |
179.93/179.98 c | 300279 | 7874 67280 223601 | 92787 81674 19 | 0.190 % |
181.03/181.11 c | 301679 | 7874 67280 223601 | 92787 83074 19 | 0.190 % |
182.13/182.13 c | 303219 | 7874 67280 223601 | 92787 84614 20 | 0.190 % |
183.83/183.84 c | 304914 | 7874 67280 223601 | 92787 86309 20 | 0.190 % |
185.33/185.34 c | 306778 | 7874 67280 223601 | 92787 88173 20 | 0.190 % |
186.83/186.91 c | 308827 | 7874 67280 223601 | 92787 90222 20 | 0.190 % |
188.33/188.36 c | 311082 | 7874 67280 223601 | 2147483647 92477 20 | 0.190 % |
190.23/190.25 c | 313561 | 7874 67280 223601 | 2147483647 94956 20 | 0.190 % |
192.13/192.20 c | 316287 | 7874 67280 223601 | 2147483647 97682 20 | 0.190 % |
194.63/194.64 c | 319286 | 7874 67280 223601 | 2147483647 100681 20 | 0.190 % |
194.74/194.73 c | 319386 | 7874 67280 223601 | 2147483647 100781 20 | 0.190 % |
194.83/194.85 c | 319497 | 7874 67280 223601 | 2147483647 100892 20 | 0.190 % |
194.93/194.94 c | 319619 | 7874 67280 223601 | 2147483647 101014 20 | 0.190 % |
195.03/195.04 c | 319752 | 7874 67280 223601 | 2147483647 101147 20 | 0.190 % |
195.13/195.14 c | 319898 | 7874 67280 223601 | 2147483647 101293 20 | 0.190 % |
195.23/195.28 c | 320058 | 7874 67280 223601 | 101396 101453 20 | 0.190 % |
195.63/195.65 c | 320234 | 7874 67280 223601 | 101396 90454 20 | 0.190 % |
195.73/195.76 c | 320428 | 7874 67280 223601 | 101396 90648 20 | 0.190 % |
195.84/195.90 c | 320640 | 7874 67280 223601 | 101396 90860 20 | 0.190 % |
196.13/196.16 c | 320874 | 7874 67280 223601 | 101396 91094 20 | 0.190 % |
196.33/196.35 c | 321130 | 7874 67280 223601 | 101396 91350 20 | 0.190 % |
196.63/196.63 c | 321414 | 7874 67280 223601 | 101396 91634 20 | 0.190 % |
196.73/196.78 c | 321724 | 7874 67280 223601 | 101396 91944 20 | 0.190 % |
197.03/197.04 c | 322065 | 7874 67280 223601 | 101396 92285 20 | 0.190 % |
197.33/197.39 c | 322438 | 7874 67280 223601 | 101396 92658 20 | 0.190 % |
197.63/197.67 c | 322848 | 7874 67280 223601 | 101396 93068 20 | 0.190 % |
198.13/198.15 c | 323298 | 7874 67280 223601 | 101396 93518 20 | 0.190 % |
198.53/198.53 c | 323791 | 7874 67280 223601 | 101396 94011 20 | 0.190 % |
199.03/199.06 c | 324335 | 7874 67280 223601 | 101396 94555 20 | 0.190 % |
199.53/199.58 c | 324932 | 7874 67280 223601 | 101396 95152 20 | 0.190 % |
200.33/200.35 c | 325587 | 7874 67280 223601 | 101396 95807 20 | 0.190 % |
201.13/201.11 c | 326307 | 7874 67280 223601 | 101396 96527 20 | 0.190 % |
201.93/201.99 c | 327099 | 7874 67280 223601 | 101396 97319 20 | 0.190 % |
202.63/202.67 c | 327971 | 7874 67280 223601 | 101396 98191 20 | 0.190 % |
203.54/203.54 c | 328929 | 7874 67280 223601 | 101396 99149 20 | 0.190 % |
204.53/204.55 c | 329982 | 7874 67280 223601 | 101396 100202 20 | 0.190 % |
205.83/205.89 c | 331141 | 7874 67280 223601 | 100221 87693 20 | 0.190 % |
206.93/207.00 c | 332415 | 7874 67280 223601 | 100221 88967 20 | 0.190 % |
208.23/208.30 c | 333815 | 7874 67280 223601 | 100221 90367 20 | 0.190 % |
209.43/209.46 c | 335355 | 7874 67280 223601 | 100221 91907 20 | 0.190 % |
210.93/210.94 c | 337050 | 7874 67280 223601 | 100221 93602 20 | 0.190 % |
212.03/212.02 c | 338917 | 7874 67280 223601 | 100221 95469 20 | 0.190 % |
213.73/213.78 c | 340966 | 7874 67280 223601 | 96552 84957 20 | 0.190 % |
215.23/215.26 c | 343220 | 7874 67280 223601 | 96552 87211 20 | 0.190 % |
217.24/217.30 c | 345700 | 7874 67280 223601 | 96552 89691 20 | 0.190 % |
219.64/219.63 c | 348428 | 7874 67280 223601 | 96552 92419 20 | 0.190 % |
222.04/222.06 c | 351426 | 7874 67280 223601 | 93992 85268 20 | 0.190 % |
224.64/224.71 c | 354724 | 7874 67280 223601 | 93992 88566 20 | 0.190 % |
224.74/224.75 c | 354824 | 7874 67280 223601 | 93992 88666 20 | 0.190 % |
224.84/224.88 c | 354934 | 7874 67280 223601 | 93992 88776 20 | 0.190 % |
224.94/224.95 c | 355056 | 7874 67280 223601 | 93992 88898 20 | 0.190 % |
225.14/225.14 c | 355189 | 7874 67280 223601 | 93992 89031 20 | 0.190 % |
225.24/225.31 c | 355336 | 7874 67280 223601 | 93992 89178 20 | 0.190 % |
225.44/225.50 c | 355496 | 7874 67280 223601 | 93992 89338 20 | 0.190 % |
225.64/225.63 c | 355674 | 7874 67280 223601 | 93992 89516 20 | 0.190 % |
225.74/225.80 c | 355868 | 7874 67280 223601 | 93992 89710 20 | 0.190 % |
225.94/225.96 c | 356080 | 7874 67280 223601 | 93992 89922 20 | 0.190 % |
226.14/226.13 c | 356314 | 7874 67280 223601 | 93992 90156 20 | 0.190 % |
226.24/226.28 c | 356570 | 7874 67280 223601 | 93992 90412 20 | 0.190 % |
226.54/226.57 c | 356853 | 7874 67280 223601 | 93992 90695 20 | 0.190 % |
226.94/226.95 c | 357162 | 7874 67280 223601 | 93992 91004 20 | 0.190 % |
227.14/227.21 c | 357502 | 7874 67280 223601 | 93992 91344 20 | 0.190 % |
227.64/227.65 c | 357875 | 7874 67280 223601 | 93992 91717 20 | 0.190 % |
228.04/228.04 c | 358284 | 7874 67280 223601 | 93992 92126 20 | 0.190 % |
228.44/228.46 c | 358734 | 7874 67280 223601 | 93992 92576 20 | 0.190 % |
228.94/228.95 c | 359229 | 7874 67280 223601 | 93992 93071 20 | 0.190 % |
229.44/229.45 c | 359772 | 7874 67280 223601 | 93992 93614 20 | 0.190 % |
230.04/230.10 c | 360368 | 7874 67280 223601 | 93843 83364 20 | 0.190 % |
230.54/230.61 c | 361023 | 7874 67280 223601 | 93843 84019 20 | 0.190 % |
231.14/231.21 c | 361745 | 7874 67280 223601 | 93843 84741 20 | 0.190 % |
231.94/231.94 c | 362539 | 7874 67280 223601 | 93843 85535 20 | 0.190 % |
232.64/232.63 c | 363410 | 7874 67280 223601 | 93843 86406 20 | 0.190 % |
233.34/233.40 c | 364368 | 7874 67280 223601 | 93843 87364 20 | 0.190 % |
234.34/234.35 c | 365422 | 7874 67280 223601 | 93843 88418 20 | 0.190 % |
235.44/235.51 c | 366580 | 7874 67280 223601 | 93843 89576 20 | 0.190 % |
236.54/236.59 c | 367853 | 7874 67280 223601 | 93843 90849 20 | 0.190 % |
237.84/237.82 c | 369253 | 7874 67280 223601 | 93843 92249 20 | 0.190 % |
238.74/238.81 c | 370793 | 7874 67280 223601 | 92997 84424 20 | 0.190 % |
240.34/240.41 c | 372487 | 7874 67280 223601 | 92997 86118 20 | 0.190 % |
241.94/241.98 c | 374351 | 7874 67280 223601 | 92997 87982 20 | 0.190 % |
243.74/243.80 c | 376402 | 7874 67280 223601 | 92997 90033 20 | 0.190 % |
245.74/245.78 c | 378656 | 7874 67280 223601 | 92997 92287 20 | 0.190 % |
247.74/247.77 c | 381135 | 7874 67280 223601 | 2147483647 85443 19 | 0.190 % |
249.84/249.83 c | 383860 | 7874 67280 223601 | 2147483647 88168 20 | 0.190 % |
252.64/252.65 c | 386858 | 7874 67280 223601 | 2147483647 91166 20 | 0.190 % |
255.34/255.32 c | 390158 | 7874 67280 223601 | 2147483647 94466 20 | 0.190 % |
258.44/258.43 c | 393785 | 7874 67280 223601 | 2147483647 98093 20 | 0.190 % |
258.54/258.53 c | 393885 | 7874 67280 223601 | 2147483647 98193 20 | 0.190 % |
258.64/258.63 c | 393995 | 7874 67280 223601 | 2147483647 98303 20 | 0.190 % |
258.74/258.78 c | 394116 | 7874 67280 223601 | 2147483647 98424 20 | 0.190 % |
258.84/258.88 c | 394249 | 7874 67280 223601 | 2147483647 98557 20 | 0.190 % |
258.94/258.99 c | 394395 | 7874 67280 223601 | 2147483647 98703 20 | 0.190 % |
259.04/259.08 c | 394557 | 7874 67280 223601 | 2147483647 98865 20 | 0.190 % |
259.24/259.22 c | 394735 | 7874 67280 223601 | 2147483647 99043 20 | 0.190 % |
259.44/259.42 c | 394929 | 7874 67280 223601 | 2147483647 99237 20 | 0.190 % |
259.64/259.68 c | 395142 | 7874 67280 223601 | 2147483647 99450 20 | 0.190 % |
259.94/259.92 c | 395375 | 7874 67280 223601 | 2147483647 99683 20 | 0.190 % |
260.14/260.16 c | 395632 | 7874 67280 223601 | 2147483647 99940 20 | 0.190 % |
260.54/260.54 c | 395913 | 7874 67280 223601 | 2147483647 100221 20 | 0.190 % |
260.84/260.83 c | 396222 | 7874 67280 223601 | 2147483647 100530 20 | 0.190 % |
261.14/261.15 c | 396561 | 7874 67280 223601 | 2147483647 100869 20 | 0.190 % |
261.54/261.61 c | 396933 | 7874 67280 223601 | 2147483647 101241 20 | 0.190 % |
262.14/262.15 c | 397343 | 7874 67280 223601 | 2147483647 101651 20 | 0.190 % |
262.44/262.47 c | 397792 | 7874 67280 223601 | 2147483647 102100 20 | 0.190 % |
262.94/262.94 c | 398285 | 7874 67280 223601 | 2147483647 102593 20 | 0.190 % |
263.34/263.35 c | 398828 | 7874 67280 223601 | 2147483647 103136 20 | 0.190 % |
263.84/263.86 c | 399424 | 7874 67280 223601 | 2147483647 103732 20 | 0.190 % |
264.64/264.68 c | 400081 | 7874 67280 223601 | 104309 92832 20 | 0.190 % |
265.34/265.32 c | 400801 | 7874 67280 223601 | 104309 93552 20 | 0.190 % |
265.83/265.87 c | 401594 | 7874 67280 223601 | 104309 94345 20 | 0.190 % |
266.83/266.85 c | 402465 | 7874 67280 223601 | 104309 95216 20 | 0.190 % |
267.83/267.83 c | 403423 | 7874 67280 223601 | 104309 96174 20 | 0.190 % |
268.93/268.94 c | 404476 | 7874 67280 223601 | 104309 97227 20 | 0.190 % |
270.33/270.32 c | 405634 | 7874 67280 223601 | 104309 98385 20 | 0.190 % |
271.23/271.29 c | 406908 | 7874 67280 223601 | 104309 99659 20 | 0.190 % |
272.23/272.26 c | 408308 | 7874 67280 223601 | 104309 101059 20 | 0.190 % |
273.73/273.72 c | 409849 | 7874 67280 223601 | 104309 102600 20 | 0.190 % |
275.13/275.15 c | 411543 | 7874 67280 223601 | 102751 92419 20 | 0.190 % |
277.13/277.18 c | 413407 | 7874 67280 223601 | 102751 94283 20 | 0.190 % |
278.83/278.85 c | 415457 | 7874 67280 223601 | 102751 96333 20 | 0.190 % |
280.83/280.83 c | 417710 | 7874 67280 223601 | 102751 98586 20 | 0.190 % |
283.33/283.32 c | 420190 | 7874 67280 223601 | 100880 101066 20 | 0.190 % |
286.43/286.44 c | 422916 | 7874 67280 223601 | 100880 91822 20 | 0.190 % |
289.53/289.54 c | 425914 | 7874 67280 223601 | 100880 94820 20 | 0.190 % |
292.13/292.19 c | 429210 | 7874 67280 223601 | 100880 98116 20 | 0.190 % |
295.43/295.44 c | 432837 | 7874 67280 223601 | 98906 91161 20 | 0.190 % |
298.14/298.12 c | 436825 | 7874 67280 223601 | 98906 95149 20 | 0.190 % |
298.23/298.24 c | 436925 | 7874 67280 223601 | 98906 95249 20 | 0.190 % |
298.33/298.33 c | 437035 | 7874 67280 223601 | 98906 95359 20 | 0.190 % |
298.43/298.47 c | 437158 | 7874 67280 223601 | 98906 95482 20 | 0.190 % |
298.53/298.51 c | 437292 | 7874 67280 223601 | 98906 95616 20 | 0.190 % |
298.63/298.68 c | 437438 | 7874 67280 223601 | 98906 95762 20 | 0.190 % |
298.83/298.84 c | 437599 | 7874 67280 223601 | 98906 95923 20 | 0.190 % |
299.03/299.00 c | 437776 | 7874 67280 223601 | 98906 96100 20 | 0.190 % |
299.13/299.13 c | 437969 | 7874 67280 223601 | 98906 96293 20 | 0.190 % |
299.33/299.34 c | 438181 | 7874 67280 223601 | 98906 96505 20 | 0.190 % |
299.53/299.58 c | 438415 | 7874 67280 223601 | 98906 96739 20 | 0.190 % |
299.73/299.73 c | 438671 | 7874 67280 223601 | 98906 96995 20 | 0.190 % |
300.03/300.01 c | 438952 | 7874 67280 223601 | 98906 97276 20 | 0.190 % |
300.34/300.36 c | 439261 | 7874 67280 223601 | 98906 97585 20 | 0.190 % |
300.53/300.58 c | 439600 | 7874 67280 223601 | 98906 97924 20 | 0.190 % |
300.83/300.88 c | 439972 | 7874 67280 223601 | 98906 98296 20 | 0.190 % |
301.33/301.40 c | 440381 | 7874 67280 223601 | 98327 88128 20 | 0.190 % |
301.73/301.73 c | 440830 | 7874 67280 223601 | 98327 88577 20 | 0.190 % |
302.03/302.07 c | 441324 | 7874 67280 223601 | 98327 89071 20 | 0.190 % |
302.54/302.52 c | 441868 | 7874 67280 223601 | 98327 89615 20 | 0.190 % |
303.13/303.12 c | 442464 | 7874 67280 223601 | 98327 90211 20 | 0.190 % |
303.73/303.72 c | 443119 | 7874 67280 223601 | 98327 90866 20 | 0.190 % |
304.53/304.52 c | 443839 | 7874 67280 223601 | 98327 91586 20 | 0.190 % |
305.23/305.25 c | 444632 | 7874 67280 223601 | 98327 92379 20 | 0.190 % |
305.93/305.94 c | 445503 | 7874 67280 223601 | 98327 93250 20 | 0.190 % |
306.83/306.81 c | 446462 | 7874 67280 223601 | 98327 94209 20 | 0.190 % |
307.93/307.94 c | 447515 | 7874 67280 223601 | 98327 95262 20 | 0.190 % |
309.53/309.51 c | 448674 | 7874 67280 223601 | 98327 96421 20 | 0.190 % |
310.53/310.57 c | 449947 | 7874 67280 223601 | 98327 97694 20 | 0.190 % |
311.93/311.92 c | 451347 | 7874 67280 223601 | 97752 87228 20 | 0.190 % |
313.43/313.45 c | 452887 | 7874 67280 223601 | 97752 88768 20 | 0.190 % |
314.53/314.60 c | 454581 | 7874 67280 223601 | 97752 90462 20 | 0.190 % |
316.43/316.44 c | 456448 | 7874 67280 223601 | 97752 92329 20 | 0.190 % |
318.33/318.39 c | 458497 | 7874 67280 223601 | 97752 94378 20 | 0.190 % |
320.53/320.59 c | 460752 | 7874 67280 223601 | 95881 86246 20 | 0.190 % |
322.93/322.91 c | 463230 | 7874 67280 223601 | 95881 88724 20 | 0.190 % |
325.13/325.18 c | 465956 | 7874 67280 223601 | 95881 91450 20 | 0.190 % |
328.03/328.04 c | 468954 | 7874 67280 223601 | 95881 94448 20 | 0.190 % |
331.03/331.10 c | 472250 | 7874 67280 223601 | 95495 85720 19 | 0.190 % |
333.34/333.33 c | 475875 | 7874 67280 223601 | 95495 89345 19 | 0.190 % |
336.83/336.90 c | 479863 | 7874 67280 223601 | 95495 93333 20 | 0.190 % |
340.73/340.71 c | 484248 | 7874 67280 223601 | 2147483647 97718 20 | 0.190 % |
340.83/340.82 c | 484348 | 7874 67280 223601 | 2147483647 97818 20 | 0.190 % |
340.93/340.99 c | 484458 | 7874 67280 223601 | 2147483647 97928 20 | 0.190 % |
341.14/341.11 c | 484579 | 7874 67280 223601 | 2147483647 98049 20 | 0.190 % |
341.24/341.25 c | 484714 | 7874 67280 223601 | 2147483647 98184 20 | 0.190 % |
341.34/341.39 c | 484861 | 7874 67280 223601 | 2147483647 98331 20 | 0.190 % |
341.44/341.50 c | 485023 | 7874 67280 223601 | 2147483647 98493 20 | 0.190 % |
341.74/341.76 c | 485199 | 7874 67280 223601 | 2147483647 98669 20 | 0.190 % |
341.94/342.00 c | 485394 | 7874 67280 223601 | 2147483647 98864 20 | 0.190 % |
342.24/342.23 c | 485607 | 7874 67280 223601 | 2147483647 99077 20 | 0.190 % |
342.44/342.45 c | 485840 | 7874 67280 223601 | 2147483647 99310 20 | 0.190 % |
342.64/342.70 c | 486096 | 7874 67280 223601 | 2147483647 99566 20 | 0.190 % |
343.04/343.05 c | 486379 | 7874 67280 223601 | 2147483647 99849 20 | 0.190 % |
343.34/343.35 c | 486689 | 7874 67280 223601 | 2147483647 100159 20 | 0.190 % |
343.74/343.72 c | 487029 | 7874 67280 223601 | 2147483647 100499 20 | 0.190 % |
344.14/344.13 c | 487401 | 7874 67280 223601 | 2147483647 100871 20 | 0.190 % |
344.74/344.79 c | 487812 | 7874 67280 223601 | 2147483647 101282 20 | 0.190 % |
345.34/345.33 c | 488263 | 7874 67280 223601 | 2147483647 101733 20 | 0.190 % |
345.94/345.92 c | 488756 | 7874 67280 223601 | 2147483647 102226 20 | 0.190 % |
346.34/346.35 c | 489302 | 7874 67280 223601 | 2147483647 102772 20 | 0.190 % |
346.94/346.98 c | 489900 | 7874 67280 223601 | 2147483647 103370 20 | 0.190 % |
347.84/347.88 c | 490556 | 7874 67280 223601 | 103470 89925 19 | 0.190 % |
348.54/348.54 c | 491276 | 7874 67280 223601 | 103470 90645 19 | 0.190 % |
349.24/349.27 c | 492069 | 7874 67280 223601 | 103470 91438 19 | 0.190 % |
349.94/349.92 c | 492941 | 7874 67280 223601 | 103470 92310 20 | 0.190 % |
350.74/350.74 c | 493900 | 7874 67280 223601 | 103470 93269 20 | 0.190 % |
351.54/351.52 c | 494954 | 7874 67280 223601 | 103470 94323 20 | 0.190 % |
352.44/352.45 c | 496113 | 7874 67280 223601 | 103470 95482 20 | 0.190 % |
353.54/353.54 c | 497386 | 7874 67280 223601 | 103470 96755 20 | 0.190 % |
355.04/355.01 c | 498787 | 7874 67280 223601 | 103470 98156 20 | 0.190 % |
356.64/356.68 c | 500328 | 7874 67280 223601 | 99369 85252 19 | 0.190 % |
357.84/357.88 c | 502022 | 7874 67280 223601 | 99369 86946 19 | 0.190 % |
359.94/359.94 c | 503885 | 7874 67280 223601 | 99369 88809 19 | 0.190 % |
361.34/361.41 c | 505935 | 7874 67280 223601 | 99369 90859 19 | 0.190 % |
363.24/363.30 c | 508189 | 7874 67280 223601 | 99369 93113 20 | 0.190 % |
365.54/365.55 c | 510667 | 7874 67280 223601 | 94924 85475 19 | 0.190 % |
368.04/368.07 c | 513394 | 7874 67280 223601 | 94924 88202 19 | 0.190 % |
370.64/370.67 c | 516391 | 7874 67280 223601 | 94924 91199 20 | 0.190 % |
373.64/373.68 c | 519688 | 7874 67280 223601 | 94924 94496 20 | 0.190 % |
377.04/377.08 c | 523317 | 7874 67280 223601 | 2147483647 98125 20 | 0.190 % |
380.64/380.70 c | 527305 | 7874 67280 223601 | 2147483647 102113 20 | 0.190 % |
385.84/385.87 c | 531690 | 7874 67280 223601 | 104809 92814 20 | 0.190 % |
390.84/390.90 c | 536513 | 7874 67280 223601 | 104809 97637 20 | 0.190 % |
391.04/391.02 c | 536613 | 7874 67280 223601 | 104809 97737 20 | 0.190 % |
391.14/391.14 c | 536723 | 7874 67280 223601 | 104809 97847 20 | 0.190 % |
391.24/391.25 c | 536845 | 7874 67280 223601 | 104809 97969 20 | 0.190 % |
391.34/391.35 c | 536978 | 7874 67280 223601 | 104809 98102 20 | 0.190 % |
391.54/391.52 c | 537125 | 7874 67280 223601 | 104809 98249 20 | 0.190 % |
391.64/391.69 c | 537288 | 7874 67280 223601 | 104809 98412 20 | 0.190 % |
391.84/391.89 c | 537464 | 7874 67280 223601 | 104809 98588 20 | 0.190 % |
392.04/392.05 c | 537657 | 7874 67280 223601 | 104809 98781 20 | 0.190 % |
392.24/392.30 c | 537869 | 7874 67280 223601 | 104809 98993 20 | 0.190 % |
392.54/392.58 c | 538103 | 7874 67280 223601 | 104809 99227 20 | 0.190 % |
392.84/392.81 c | 538359 | 7874 67280 223601 | 104809 99483 20 | 0.190 % |
393.14/393.15 c | 538641 | 7874 67280 223601 | 104809 99765 20 | 0.190 % |
393.54/393.53 c | 538950 | 7874 67280 223601 | 104809 100074 20 | 0.190 % |
393.94/393.94 c | 539291 | 7874 67280 223601 | 104809 100415 20 | 0.190 % |
394.34/394.39 c | 539663 | 7874 67280 223601 | 104809 100787 20 | 0.190 % |
394.84/394.81 c | 540073 | 7874 67280 223601 | 101124 101197 20 | 0.190 % |
395.44/395.49 c | 540522 | 7874 67280 223601 | 101124 89887 20 | 0.190 % |
396.04/396.08 c | 541017 | 7874 67280 223601 | 101124 90382 20 | 0.190 % |
396.44/396.50 c | 541560 | 7874 67280 223601 | 101124 90925 20 | 0.190 % |
397.04/397.10 c | 542156 | 7874 67280 223601 | 101124 91521 20 | 0.190 % |
397.74/397.77 c | 542811 | 7874 67280 223601 | 101124 92176 20 | 0.190 % |
398.24/398.30 c | 543531 | 7874 67280 223601 | 101124 92896 20 | 0.190 % |
399.04/399.04 c | 544323 | 7874 67280 223601 | 101124 93688 20 | 0.190 % |
399.84/399.87 c | 545195 | 7874 67280 223601 | 101124 94560 20 | 0.190 % |
400.74/400.73 c | 546154 | 7874 67280 223601 | 101124 95519 20 | 0.190 % |
401.84/401.88 c | 547210 | 7874 67280 223601 | 101124 96575 20 | 0.190 % |
403.14/403.18 c | 548368 | 7874 67280 223601 | 101124 97733 20 | 0.190 % |
404.34/404.34 c | 549642 | 7874 67280 223601 | 101124 99007 20 | 0.190 % |
405.64/405.65 c | 551042 | 7874 67280 223601 | 99365 86464 20 | 0.190 % |
407.24/407.21 c | 552582 | 7874 67280 223601 | 99365 88004 20 | 0.190 % |
409.14/409.17 c | 554276 | 7874 67280 223601 | 99365 89698 20 | 0.190 % |
410.74/410.76 c | 556140 | 7874 67280 223601 | 99365 91562 20 | 0.190 % |
412.24/412.24 c | 558189 | 7874 67280 223601 | 99365 93611 20 | 0.190 % |
414.04/414.04 c | 560442 | 7874 67280 223601 | 95423 84577 20 | 0.190 % |
416.04/416.01 c | 562923 | 7874 67280 223601 | 95423 87058 20 | 0.190 % |
418.24/418.24 c | 565652 | 7874 67280 223601 | 95423 89787 20 | 0.190 % |
420.84/420.89 c | 568649 | 7874 67280 223601 | 95423 92784 20 | 0.190 % |
424.04/424.01 c | 571947 | 7874 67280 223601 | 2147483647 96082 20 | 0.190 % |
427.14/427.17 c | 575573 | 7874 67280 223601 | 2147483647 99708 20 | 0.190 % |
430.64/430.66 c | 579561 | 7874 67280 223601 | 2147483647 103696 20 | 0.190 % |
434.55/434.55 c | 583946 | 7874 67280 223601 | 104135 95593 20 | 0.190 % |
439.24/439.25 c | 588769 | 7874 67280 223601 | 104135 100416 20 | 0.190 % |
445.04/445.09 c | 594075 | 7874 67280 223601 | 101653 95142 20 | 0.190 % |
445.24/445.22 c | 594175 | 7874 67280 223601 | 101653 95242 20 | 0.190 % |
445.34/445.33 c | 594286 | 7874 67280 223601 | 101653 95353 20 | 0.190 % |
445.44/445.43 c | 594407 | 7874 67280 223601 | 101653 95474 20 | 0.190 % |
445.55/445.56 c | 594540 | 7874 67280 223601 | 101653 95607 20 | 0.190 % |
445.64/445.69 c | 594686 | 7874 67280 223601 | 101653 95753 20 | 0.190 % |
445.84/445.87 c | 594850 | 7874 67280 223601 | 101653 95917 20 | 0.190 % |
445.94/445.98 c | 595027 | 7874 67280 223601 | 101653 96094 20 | 0.190 % |
446.14/446.18 c | 595220 | 7874 67280 223601 | 101653 96287 20 | 0.190 % |
446.34/446.40 c | 595432 | 7874 67280 223601 | 101653 96499 20 | 0.190 % |
446.65/446.68 c | 595665 | 7874 67280 223601 | 101653 96732 20 | 0.190 % |
446.94/446.92 c | 595921 | 7874 67280 223601 | 101653 96988 20 | 0.190 % |
447.24/447.22 c | 596202 | 7874 67280 223601 | 101653 97269 20 | 0.190 % |
447.44/447.50 c | 596512 | 7874 67280 223601 | 101653 97579 20 | 0.190 % |
447.84/447.90 c | 596852 | 7874 67280 223601 | 101653 97919 20 | 0.190 % |
448.24/448.22 c | 597225 | 7874 67280 223601 | 101653 98292 20 | 0.190 % |
448.64/448.62 c | 597635 | 7873 67264 223568 | 101653 98701 20 | 0.203 % |
448.94/448.98 c | 598085 | 7873 67264 223568 | 101653 99151 20 | 0.203 % |
449.44/449.48 c | 598578 | 7873 67264 223568 | 101653 99644 20 | 0.203 % |
450.24/450.23 c | 599120 | 7873 67264 223568 | 101653 100186 20 | 0.203 % |
450.74/450.77 c | 599717 | 7873 67264 223568 | 101653 100783 20 | 0.203 % |
451.54/451.58 c | 600373 | 7873 67264 223568 | 101066 88547 19 | 0.203 % |
452.15/452.19 c | 601093 | 7873 67264 223568 | 101066 89267 19 | 0.203 % |
452.94/452.92 c | 601887 | 7873 67264 223568 | 101066 90061 19 | 0.203 % |
453.64/453.70 c | 602758 | 7873 67264 223568 | 101066 90932 19 | 0.203 % |
454.44/454.41 c | 603717 | 7873 67264 223568 | 101066 91891 19 | 0.203 % |
455.34/455.32 c | 604772 | 7873 67264 223568 | 101066 92946 19 | 0.203 % |
456.44/456.47 c | 605930 | 7873 67264 223568 | 101066 94104 20 | 0.203 % |
457.65/457.64 c | 607203 | 7873 67264 223568 | 101066 95377 20 | 0.203 % |
458.94/458.93 c | 608603 | 7873 67264 223568 | 101066 96777 20 | 0.203 % |
460.64/460.68 c | 610147 | 7873 67264 223568 | 2147483647 98321 20 | 0.203 % |
462.54/462.58 c | 611841 | 7873 67264 223568 | 2147483647 100015 20 | 0.203 % |
464.44/464.47 c | 613706 | 7873 67264 223568 | 2147483647 101880 20 | 0.203 % |
466.75/466.77 c | 615756 | 7873 67264 223568 | 2147483647 103930 20 | 0.203 % |
469.55/469.52 c | 618010 | 7873 67264 223568 | 2147483647 106184 20 | 0.203 % |
472.75/472.72 c | 620488 | 7873 67264 223568 | 108174 94294 20 | 0.203 % |
475.35/475.37 c | 623214 | 7873 67264 223568 | 108174 97020 20 | 0.203 % |
478.05/478.04 c | 626211 | 7873 67264 223568 | 108174 100017 20 | 0.203 % |
481.25/481.31 c | 629507 | 7873 67264 223568 | 108174 103313 20 | 0.203 % |
485.25/485.30 c | 633133 | 7873 67264 223568 | 103806 94288 20 | 0.203 % |
488.55/488.60 c | 637120 | 7873 67264 223568 | 103806 98275 20 | 0.203 % |
493.35/493.35 c | 641505 | 7873 67264 223568 | 101155 92525 19 | 0.203 % |
498.85/498.82 c | 646329 | 7873 67264 223568 | 101155 97349 19 | 0.203 % |
504.05/504.09 c | 651634 | 7873 67264 223568 | 2147483647 102654 20 | 0.203 % |
510.85/510.87 c | 657470 | 7873 67264 223568 | 2147483647 108490 20 | 0.203 % |
511.05/511.02 c | 657571 | 7873 67264 223568 | 2147483647 108591 20 | 0.203 % |
511.15/511.15 c | 657681 | 7873 67264 223568 | 2147483647 108701 20 | 0.203 % |
511.35/511.33 c | 657802 | 7873 67264 223568 | 2147483647 108822 20 | 0.203 % |
511.45/511.46 c | 657936 | 7873 67264 223568 | 2147483647 108956 20 | 0.203 % |
511.65/511.68 c | 658083 | 7873 67264 223568 | 2147483647 109103 20 | 0.203 % |
511.85/511.84 c | 658244 | 7873 67264 223568 | 2147483647 109264 20 | 0.203 % |
511.95/512.00 c | 658421 | 7873 67264 223568 | 2147483647 109441 20 | 0.203 % |
512.15/512.19 c | 658617 | 7873 67264 223568 | 2147483647 109637 20 | 0.203 % |
512.35/512.38 c | 658829 | 7873 67264 223568 | 2147483647 109849 20 | 0.203 % |
512.75/512.72 c | 659063 | 7873 67264 223568 | 2147483647 110083 20 | 0.203 % |
513.05/513.07 c | 659319 | 7873 67264 223568 | 2147483647 110339 20 | 0.203 % |
513.55/513.51 c | 659600 | 7873 67264 223568 | 2147483647 110620 20 | 0.203 % |
513.85/513.89 c | 659909 | 7873 67264 223568 | 2147483647 110929 20 | 0.203 % |
514.35/514.39 c | 660249 | 7873 67264 223568 | 111020 111269 20 | 0.203 % |
515.15/515.19 c | 660624 | 7873 67264 223568 | 111020 92858 19 | 0.203 % |
515.55/515.60 c | 661033 | 7873 67264 223568 | 111020 93267 19 | 0.203 % |
516.05/516.10 c | 661483 | 7873 67264 223568 | 111020 93717 19 | 0.203 % |
516.65/516.70 c | 661978 | 7873 67264 223568 | 111020 94212 19 | 0.203 % |
517.35/517.37 c | 662524 | 7873 67264 223568 | 111020 94758 19 | 0.203 % |
518.15/518.18 c | 663120 | 7873 67264 223568 | 111020 95354 19 | 0.203 % |
518.95/518.99 c | 663775 | 7873 67264 223568 | 111020 96009 19 | 0.203 % |
519.95/519.98 c | 664495 | 7873 67264 223568 | 111020 96729 19 | 0.203 % |
520.75/520.72 c | 665288 | 7873 67264 223568 | 111020 97522 19 | 0.203 % |
521.65/521.66 c | 666161 | 7873 67264 223568 | 111020 98395 19 | 0.203 % |
522.55/522.60 c | 667121 | 7873 67264 223568 | 111020 99355 19 | 0.203 % |
523.45/523.46 c | 668175 | 7873 67264 223568 | 111020 100409 19 | 0.203 % |
524.55/524.52 c | 669333 | 7873 67264 223568 | 111020 101567 19 | 0.203 % |
526.05/526.02 c | 670606 | 7873 67264 223568 | 102234 88338 19 | 0.203 % |
527.35/527.32 c | 672009 | 7873 67264 223568 | 102234 89741 19 | 0.203 % |
528.45/528.49 c | 673551 | 7873 67264 223568 | 102234 91283 19 | 0.203 % |
529.85/529.89 c | 675245 | 7873 67264 223568 | 102234 92977 19 | 0.203 % |
531.15/531.21 c | 677109 | 7873 67264 223568 | 102234 94841 19 | 0.203 % |
533.25/533.21 c | 679159 | 7873 67264 223568 | 102234 96891 19 | 0.203 % |
535.85/535.90 c | 681412 | 7873 67264 223568 | 97732 87806 18 | 0.203 % |
538.25/538.29 c | 683890 | 7873 67264 223568 | 97732 90284 18 | 0.203 % |
540.85/540.86 c | 686616 | 7873 67264 223568 | 97732 93010 19 | 0.203 % |
544.05/544.10 c | 689613 | 7873 67264 223568 | 97732 96007 19 | 0.203 % |
547.65/547.71 c | 692909 | 7873 67264 223568 | 96395 88354 18 | 0.203 % |
551.45/551.45 c | 696534 | 7873 67264 223568 | 96395 91979 18 | 0.203 % |
554.75/554.74 c | 700522 | 7870 66853 221264 | 2147483647 21927 11 | 0.241 % |
555.45/555.47 c | 704908 | 7868 66577 220171 | 2147483647 24124 11 | 0.266 % |
556.45/556.42 c | 709731 | 7856 66135 218820 | 2147483647 23813 11 | 0.469 % |
556.55/556.56 c ===============================================================================
556.55/556.56 c restarts : 1034
556.55/556.56 c conflicts : 710440 (1279 /sec)
556.55/556.56 c decisions : 1022229 (1.80 % random) (1841 /sec)
556.55/556.56 c propagations : 165344501 (297752 /sec)
556.55/556.56 c conflict literals : 15740011 (37.02 % deleted)
556.55/556.56 c Memory used : 22.28 MB
556.55/556.56 c CPU time : 555.31 s
556.55/556.56 c
556.55/556.56 s UNSATISFIABLE
556.55/556.56 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821346-1242521776/watcher-1821346-1242521776 -o /tmp/evaluation-result-1821346-1242521776/solver-1821346-1242521776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821346-1242521776.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 15687
/proc/meminfo: memFree=1667652/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2416 CPUtime=0.01
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 367 649 0 0 0 0 0 1 18 0 1 0 1016678609 2473984 277 4294967295 134512640 135169312 3215511008 3215509544 3085598446 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15687/statm: 604 277 235 161 0 43 0
[pid=15691] ppid=15687 vsize=956 CPUtime=0
/proc/15691/stat : 15691 (SatELite_releas) R 15687 15687 16367 0 -1 4202496 132 0 0 0 0 0 0 0 20 0 1 0 1016678610 978944 68 4294967295 134512640 135223648 3214331056 3214330008 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15691/statm: 239 68 47 174 0 64 0
[startup+0.063077 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 15687
/proc/meminfo: memFree=1667652/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2416 CPUtime=0.01
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 367 649 0 0 0 0 0 1 18 0 1 0 1016678609 2473984 277 4294967295 134512640 135169312 3215511008 3215509544 3085598446 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15687/statm: 604 277 235 161 0 43 0
[pid=15691] ppid=15687 vsize=8888 CPUtime=0.06
/proc/15691/stat : 15691 (SatELite_releas) R 15687 15687 16367 0 -1 4202496 1801 0 0 0 6 0 0 0 20 0 1 0 1016678610 9101312 1737 4294967295 134512640 135223648 3214331056 3214330008 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15691/statm: 2222 1738 47 174 0 2047 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11304
[startup+0.113074 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 15687
/proc/meminfo: memFree=1667652/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2416 CPUtime=0.01
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 367 649 0 0 0 0 0 1 18 0 1 0 1016678609 2473984 277 4294967295 134512640 135169312 3215511008 3215509544 3085598446 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15687/statm: 604 277 235 161 0 43 0
[pid=15691] ppid=15687 vsize=13108 CPUtime=0.11
/proc/15691/stat : 15691 (SatELite_releas) R 15687 15687 16367 0 -1 4202496 2983 0 0 0 10 1 0 0 21 0 1 0 1016678610 13422592 2919 4294967295 134512640 135223648 3214331056 3214329640 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15691/statm: 3277 2920 47 174 0 3102 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15524
[startup+0.313063 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 15687
/proc/meminfo: memFree=1667652/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2416 CPUtime=0.01
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 367 649 0 0 0 0 0 1 18 0 1 0 1016678609 2473984 277 4294967295 134512640 135169312 3215511008 3215509544 3085598446 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15687/statm: 604 277 235 161 0 43 0
[pid=15691] ppid=15687 vsize=21988 CPUtime=0.31
/proc/15691/stat : 15691 (SatELite_releas) R 15687 15687 16367 0 -1 4202496 4521 0 0 0 29 2 0 0 21 0 1 0 1016678610 22515712 4457 4294967295 134512640 135223648 3214331056 3214329136 134548993 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15691/statm: 5497 4457 72 174 0 5322 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 24404
[startup+0.71304 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 15687
/proc/meminfo: memFree=1667652/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2416 CPUtime=0.01
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 367 649 0 0 0 0 0 1 18 0 1 0 1016678609 2473984 277 4294967295 134512640 135169312 3215511008 3215509544 3085598446 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/15687/statm: 604 277 235 161 0 43 0
[pid=15691] ppid=15687 vsize=21884 CPUtime=0.71
/proc/15691/stat : 15691 (SatELite_releas) R 15687 15687 16367 0 -1 4202496 4909 0 0 0 67 4 0 0 22 0 1 0 1016678610 22409216 4449 4294967295 134512640 135223648 3214331056 3214329152 134597662 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15691/statm: 5471 4449 73 174 0 5296 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 24300
[startup+1.513 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 15692
/proc/meminfo: memFree=1647664/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2420
[startup+3.11291 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 15876
/proc/meminfo: memFree=1658836/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=7524 CPUtime=1.92
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 1775 0 0 0 191 1 0 0 25 0 1 0 1016678729 7704576 1709 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 1881 1709 73 172 0 1708 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9944
[startup+6.31273 s]
/proc/loadavg: 0.93 0.98 0.99 3/99 15876
/proc/meminfo: memFree=1656480/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=9404 CPUtime=5.12
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 2249 0 0 0 511 1 0 0 25 0 1 0 1016678729 9629696 2183 4294967295 134512640 135215339 3218448624 3218446912 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 2351 2183 73 172 0 2178 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11824
[startup+12.7124 s]
/proc/loadavg: 0.93 0.98 0.99 3/99 15877
/proc/meminfo: memFree=1653832/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=11884 CPUtime=11.52
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 2867 0 0 0 1150 2 0 0 25 0 1 0 1016678729 12169216 2801 4294967295 134512640 135215339 3218448624 3218446912 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 2971 2801 73 172 0 2798 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14304
[startup+25.5116 s]
/proc/loadavg: 0.95 0.98 0.99 2/99 15878
/proc/meminfo: memFree=1651076/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=14672 CPUtime=24.32
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 3571 0 0 0 2429 3 0 0 25 0 1 0 1016678729 15024128 3505 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 3668 3505 73 172 0 3495 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 17092
[startup+51.1102 s]
/proc/loadavg: 0.96 0.98 0.99 2/99 15882
/proc/meminfo: memFree=1649580/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=15940 CPUtime=49.92
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 3904 0 0 0 4989 3 0 0 25 0 1 0 1016678729 16322560 3838 4294967295 134512640 135215339 3218448624 3218446912 134529057 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 3985 3838 73 172 0 3812 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 18360
[startup+102.317 s]
/proc/loadavg: 0.98 0.98 0.99 2/99 16071
/proc/meminfo: memFree=1644528/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=20964 CPUtime=101.13
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5090 0 0 0 10107 6 0 0 25 0 1 0 1016678729 21467136 5024 4294967295 134512640 135215339 3218448624 3218446912 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5241 5024 73 172 0 5068 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 23384
[startup+162.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 16259
/proc/meminfo: memFree=1644040/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=21536 CPUtime=161.13
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5241 0 0 0 16107 6 0 0 25 0 1 0 1016678729 22052864 5175 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5384 5175 73 172 0 5211 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 23956
[startup+222.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 16450
/proc/meminfo: memFree=1643660/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=21860 CPUtime=221.14
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5293 0 0 0 22108 6 0 0 25 0 1 0 1016678729 22384640 5227 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5465 5227 73 172 0 5292 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 24280
[startup+282.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 16639
/proc/meminfo: memFree=1643544/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22028 CPUtime=281.13
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5331 0 0 0 28107 6 0 0 25 0 1 0 1016678729 22556672 5265 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5507 5265 73 172 0 5334 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 24448
[startup+342.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 16826
/proc/meminfo: memFree=1643544/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22180 CPUtime=341.14
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5380 0 0 0 34106 8 0 0 25 0 1 0 1016678729 22712320 5314 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5545 5314 73 172 0 5372 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 24600
[startup+402.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17015
/proc/meminfo: memFree=1643404/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22488 CPUtime=401.14
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5441 0 0 0 40106 8 0 0 25 0 1 0 1016678729 23027712 5375 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5622 5375 73 172 0 5449 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 24908
[startup+462.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 17203
/proc/meminfo: memFree=1643164/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22628 CPUtime=461.14
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5471 0 0 0 46106 8 0 0 25 0 1 0 1016678729 23171072 5405 4294967295 134512640 135215339 3218448624 3218446912 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5657 5405 73 172 0 5484 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 25048
[startup+522.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 17395
/proc/meminfo: memFree=1642800/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=521.15
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5521 0 0 0 52106 9 0 0 25 0 1 0 1016678729 23355392 5455 4294967295 134512640 135215339 3218448624 3218446624 134532604 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5455 73 172 0 5529 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 25228
Solver just ended. Dumping a history of the last processes samples
[startup+537.513 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 17396
/proc/meminfo: memFree=1642800/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=536.35
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 53626 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 25228
[startup+550.312 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17580
/proc/meminfo: memFree=1642696/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=549.15
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 54906 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 550.35
Current children cumulated vsize (KiB) 25228
[startup+553.512 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17580
/proc/meminfo: memFree=1642696/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=552.35
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 55226 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 553.55
Current children cumulated vsize (KiB) 25228
[startup+555.112 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17580
/proc/meminfo: memFree=1642728/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=553.95
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 55386 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 555.15
Current children cumulated vsize (KiB) 25228
[startup+555.912 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17581
/proc/meminfo: memFree=1642728/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=554.75
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 55466 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 555.95
Current children cumulated vsize (KiB) 25228
[startup+556.312 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17581
/proc/meminfo: memFree=1642728/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=555.15
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 55506 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 556.35
Current children cumulated vsize (KiB) 25228
[startup+556.512 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 17582
/proc/meminfo: memFree=1642728/2074464 swapFree=1949244/1959888
[pid=15687] ppid=15685 vsize=2420 CPUtime=1.2
/proc/15687/stat : 15687 (SatELiteGTI) S 15685 15687 16367 0 -1 4194304 387 6017 0 0 0 0 114 6 20 0 1 0 1016678609 2478080 278 4294967295 134512640 135169312 3215511008 3215507224 3085598446 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15687/statm: 605 278 235 161 0 44 0
[pid=15693] ppid=15687 vsize=22808 CPUtime=555.35
/proc/15693/stat : 15693 (minisat_static) R 15687 15687 16367 0 -1 4202496 5523 0 0 0 55526 9 0 0 25 0 1 0 1016678729 23355392 5457 4294967295 134512640 135215339 3218448624 3218446912 134528804 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15693/statm: 5702 5457 73 172 0 5529 0
Current children cumulated CPU time (s) 556.55
Current children cumulated vsize (KiB) 25228
Child status: 20
Real time (s): 556.572
CPU time (s): 556.61
CPU user time (s): 556.45
CPU system time (s): 0.16
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 556.45
system time used= 0.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 1680
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi11 at 2009-05-17 02:56:16
IDJOB=1821346
IDBENCH=70941
IDSOLVER=657
FILE ID=tipi11/1821346-1242521776
PBS_JOBID=
Free space on /tmp= 9840 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821346-1242521776/watcher-1821346-1242521776 -o /tmp/evaluation-result-1821346-1242521776/solver-1821346-1242521776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821346-1242521776.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED= 1839190263
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1667916 kB
Buffers: 27700 kB
Cached: 307952 kB
SwapCached: 5224 kB
Active: 79940 kB
Inactive: 267540 kB
HighTotal: 1178688 kB
HighFree: 890376 kB
LowTotal: 895776 kB
LowFree: 777540 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 4932 kB
Writeback: 0 kB
AnonPages: 10992 kB
Mapped: 5104 kB
Slab: 50264 kB
PageTables: 568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9840 MiB
End job on tipi11 at 2009-05-17 03:05:33