0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 155258 454459 | 46577 0 0 nan | 0.000 % |
1.09/1.12 c | 0 | 68970 232657 | -- 0 -- -- | -- | -80730/-205120
1.09/1.12 c ==============================================================================
1.09/1.12 c Result : #vars: 7889 #clauses: 68970 #literals: 232657
1.09/1.12 c CPU time: 1.07484 s
1.09/1.12 c ==============================================================================
1.18/1.20 c This is MiniSat 2.0 beta
1.18/1.20 c WARNING: for repeatability, setting FPU to use double precision
1.18/1.20 c ============================[ Problem Statistics ]=============================
1.18/1.20 c | |
1.18/1.20 c | Number of variables: 7889 |
1.18/1.20 c | Number of clauses: 68970 |
1.18/1.24 c | Parsing time: 0.04 s |
1.18/1.25 c ============================[ Search Statistics ]==============================
1.18/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.18/1.25 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.18/1.25 c ===============================================================================
1.18/1.25 c | 0 | 7889 68970 232657 | 22990 0 nan | 0.000 % |
1.18/1.25 c | 100 | 7888 68970 232657 | 22990 99 7 | 0.013 % |
1.18/1.26 c | 202 | 7888 68970 232657 | 22990 201 9 | 0.013 % |
1.18/1.26 c | 304 | 7888 68970 232657 | 22990 303 9 | 0.013 % |
1.18/1.27 c | 414 | 7887 68970 232657 | 22990 412 10 | 0.038 % |
1.18/1.27 c | 514 | 7886 68970 232657 | 22990 512 10 | 0.038 % |
1.18/1.28 c | 626 | 7886 68970 232657 | 22990 624 11 | 0.038 % |
1.18/1.29 c | 747 | 7886 68970 232657 | 22990 745 11 | 0.038 % |
1.18/1.29 c | 847 | 7886 68970 232657 | 22990 845 11 | 0.038 % |
1.19/1.30 c | 957 | 7886 68970 232657 | 22990 955 11 | 0.038 % |
1.19/1.31 c | 1078 | 7886 68970 232657 | 22990 1076 11 | 0.038 % |
1.19/1.32 c | 1212 | 7886 68970 232657 | 22990 1210 11 | 0.038 % |
1.19/1.33 c | 1312 | 7886 68970 232657 | 22990 1310 11 | 0.038 % |
1.19/1.33 c | 1422 | 7886 68970 232657 | 22990 1420 11 | 0.038 % |
1.19/1.34 c | 1543 | 7886 68970 232657 | 22990 1541 12 | 0.038 % |
1.19/1.35 c | 1676 | 7886 68970 232657 | 22990 1674 12 | 0.038 % |
1.19/1.36 c | 1823 | 7886 68970 232657 | 22990 1821 12 | 0.038 % |
1.19/1.37 c | 1925 | 7886 68970 232657 | 22990 1923 12 | 0.038 % |
1.19/1.37 c | 2037 | 7886 68970 232657 | 22990 2035 12 | 0.038 % |
1.19/1.39 c | 2158 | 7886 68547 230590 | 22990 2155 12 | 0.038 % |
1.19/1.39 c | 2293 | 7886 68547 230590 | 22990 2290 12 | 0.038 % |
1.19/1.40 c | 2440 | 7886 68547 230590 | 22990 2437 12 | 0.038 % |
1.19/1.42 c | 2602 | 7886 68547 230590 | 22990 2599 12 | 0.038 % |
1.19/1.42 c | 2702 | 7886 68547 230590 | 22990 2699 12 | 0.038 % |
1.19/1.43 c | 2813 | 7886 68547 230590 | 22990 2810 13 | 0.038 % |
1.19/1.44 c | 2934 | 7886 68547 230590 | 22990 2931 13 | 0.038 % |
1.19/1.45 c | 3067 | 7886 68547 230590 | 22990 3064 13 | 0.038 % |
1.19/1.46 c | 3213 | 7886 68547 230590 | 22990 3210 13 | 0.038 % |
1.19/1.47 c | 3373 | 7886 68547 230590 | 22990 3370 13 | 0.038 % |
1.19/1.49 c | 3549 | 7886 68547 230590 | 22990 3546 13 | 0.038 % |
1.19/1.49 c | 3649 | 7886 68547 230590 | 22990 3646 13 | 0.038 % |
1.19/1.50 c | 3759 | 7886 68547 230590 | 22990 3756 13 | 0.038 % |
1.19/1.51 c | 3880 | 7886 68547 230590 | 22990 3877 13 | 0.038 % |
1.19/1.52 c | 4013 | 7886 68547 230590 | 22990 4010 13 | 0.038 % |
1.19/1.53 c | 4163 | 7886 68547 230590 | 22990 4160 13 | 0.038 % |
1.19/1.54 c | 4323 | 7886 68547 230590 | 22990 4320 13 | 0.038 % |
1.19/1.55 c | 4501 | 7886 68547 230590 | 22990 4498 13 | 0.038 % |
1.19/1.57 c | 4696 | 7886 68547 230590 | 22990 4693 13 | 0.038 % |
1.19/1.58 c | 4798 | 7886 68547 230590 | 22990 4795 13 | 0.038 % |
1.19/1.59 c | 4908 | 7886 68547 230590 | 22990 4905 13 | 0.038 % |
1.19/1.60 c | 5029 | 7886 68547 230590 | 22990 5026 13 | 0.038 % |
1.19/1.61 c | 5163 | 7886 68547 230590 | 22990 5160 13 | 0.038 % |
1.19/1.62 c | 5309 | 7886 68547 230590 | 22990 5306 13 | 0.038 % |
1.19/1.63 c | 5469 | 7886 68547 230590 | 22990 5466 13 | 0.038 % |
1.19/1.65 c | 5645 | 7886 68547 230590 | 22990 5642 13 | 0.038 % |
1.19/1.67 c | 5838 | 7886 68547 230590 | 22990 5835 13 | 0.038 % |
1.19/1.69 c | 6051 | 7886 68547 230590 | 22990 6048 13 | 0.038 % |
1.19/1.69 c | 6151 | 7886 68547 230590 | 22990 6148 13 | 0.038 % |
1.19/1.70 c | 6261 | 7886 68547 230590 | 22990 6258 13 | 0.038 % |
1.19/1.71 c | 6382 | 7886 68547 230590 | 22990 6379 13 | 0.038 % |
1.19/1.72 c | 6515 | 7886 68547 230590 | 22990 6512 13 | 0.038 % |
1.19/1.74 c | 6662 | 7886 68547 230590 | 22990 6659 14 | 0.038 % |
1.19/1.75 c | 6826 | 7886 68547 230590 | 22990 6823 14 | 0.038 % |
1.19/1.76 c | 7002 | 7886 68547 230590 | 22990 6999 14 | 0.038 % |
1.19/1.78 c | 7195 | 7886 68547 230590 | 22990 7192 14 | 0.038 % |
1.19/1.80 c | 7408 | 7886 68547 230590 | 22990 7405 14 | 0.038 % |
1.19/1.82 c | 7641 | 7886 68547 230590 | 22990 7638 14 | 0.038 % |
1.19/1.83 c | 7741 | 7886 68547 230590 | 22990 7738 14 | 0.038 % |
1.19/1.84 c | 7852 | 7886 68547 230590 | 22990 7849 14 | 0.038 % |
1.19/1.85 c | 7974 | 7886 68547 230590 | 22990 7971 14 | 0.038 % |
1.19/1.86 c | 8107 | 7886 68547 230590 | 22990 8104 14 | 0.038 % |
1.19/1.87 c | 8254 | 7886 68547 230590 | 22990 8251 14 | 0.038 % |
1.19/1.88 c | 8415 | 7886 68547 230590 | 22990 8412 14 | 0.038 % |
1.19/1.90 c | 8594 | 7886 68547 230590 | 22990 8591 14 | 0.038 % |
1.19/1.92 c | 8787 | 7886 68547 230590 | 22990 8784 14 | 0.038 % |
1.19/1.93 c | 8999 | 7886 68547 230590 | 22990 8996 14 | 0.038 % |
1.19/1.95 c | 9232 | 7886 68547 230590 | 22990 9229 14 | 0.038 % |
1.19/1.98 c | 9488 | 7886 68547 230590 | 22990 9485 14 | 0.038 % |
1.19/1.99 c | 9588 | 7886 68547 230590 | 22990 9585 14 | 0.038 % |
1.19/2.00 c | 9700 | 7886 68547 230590 | 22990 9697 14 | 0.038 % |
1.19/2.01 c | 9821 | 7886 68547 230590 | 22990 9818 14 | 0.038 % |
1.19/2.02 c | 9955 | 7886 68547 230590 | 22990 9952 14 | 0.038 % |
1.19/2.04 c | 10102 | 7886 68547 230590 | 2147483647 10099 14 | 0.038 % |
1.19/2.05 c | 10262 | 7886 68547 230590 | 2147483647 10259 14 | 0.038 % |
1.19/2.07 c | 10438 | 7886 68547 230590 | 2147483647 10435 14 | 0.038 % |
1.19/2.08 c | 10631 | 7886 68547 230590 | 2147483647 10628 14 | 0.038 % |
2.07/2.11 c | 10847 | 7886 68547 230590 | 2147483647 10844 14 | 0.038 % |
2.07/2.14 c | 11081 | 7886 68547 230590 | 2147483647 11078 14 | 0.038 % |
2.07/2.17 c | 11338 | 7886 68547 230590 | 2147483647 11335 14 | 0.038 % |
2.07/2.20 c | 11620 | 7886 68547 230590 | 2147483647 11617 14 | 0.038 % |
2.17/2.21 c | 11721 | 7886 68547 230590 | 2147483647 11718 14 | 0.038 % |
2.17/2.22 c | 11831 | 7886 68547 230590 | 2147483647 11828 14 | 0.038 % |
2.17/2.23 c | 11954 | 7886 68547 230590 | 2147483647 11951 15 | 0.038 % |
2.17/2.25 c | 12087 | 7886 68547 230590 | 2147483647 12084 15 | 0.038 % |
2.17/2.26 c | 12234 | 7886 68547 230590 | 2147483647 12231 15 | 0.038 % |
2.17/2.28 c | 12395 | 7886 68547 230590 | 2147483647 12392 15 | 0.038 % |
2.26/2.30 c | 12571 | 7886 68547 230590 | 2147483647 12568 15 | 0.038 % |
2.26/2.32 c | 12765 | 7886 68547 230590 | 2147483647 12762 15 | 0.038 % |
2.26/2.35 c | 12980 | 7886 68547 230590 | 2147483647 12977 15 | 0.038 % |
2.26/2.37 c | 13214 | 7886 68547 230590 | 2147483647 13211 15 | 0.038 % |
2.37/2.40 c | 13472 | 7886 68547 230590 | 2147483647 13469 15 | 0.038 % |
2.37/2.43 c | 13753 | 7886 68547 230590 | 2147483647 13750 15 | 0.038 % |
2.37/2.46 c | 14064 | 7886 68547 230590 | 2147483647 14061 15 | 0.038 % |
2.37/2.47 c | 14164 | 7886 68547 230590 | 2147483647 14161 15 | 0.038 % |
2.37/2.48 c | 14276 | 7886 68547 230590 | 2147483647 14273 15 | 0.038 % |
2.37/2.49 c | 14398 | 7886 68547 230590 | 2147483647 14395 15 | 0.038 % |
2.47/2.51 c | 14531 | 7886 68547 230590 | 2147483647 14528 15 | 0.038 % |
2.47/2.52 c | 14677 | 7886 68547 230590 | 2147483647 14674 15 | 0.038 % |
2.47/2.54 c | 14839 | 7886 68547 230590 | 2147483647 14836 15 | 0.038 % |
2.47/2.56 c | 15019 | 7886 68547 230590 | 2147483647 15016 15 | 0.038 % |
2.47/2.59 c | 15213 | 7886 68547 230590 | 2147483647 15210 15 | 0.038 % |
2.57/2.61 c | 15426 | 7886 68547 230590 | 2147483647 15423 15 | 0.038 % |
2.57/2.65 c | 15659 | 7886 68547 230590 | 2147483647 15656 15 | 0.038 % |
2.57/2.68 c | 15918 | 7886 68547 230590 | 2147483647 15915 15 | 0.038 % |
2.67/2.71 c | 16201 | 7886 68547 230590 | 2147483647 16198 15 | 0.038 % |
2.67/2.76 c | 16510 | 7886 68547 230590 | 2147483647 16507 15 | 0.038 % |
2.77/2.80 c | 16850 | 7886 68547 230590 | 2147483647 16847 15 | 0.038 % |
2.77/2.81 c | 16950 | 7886 68547 230590 | 2147483647 16947 15 | 0.038 % |
2.77/2.82 c | 17060 | 7886 68547 230590 | 2147483647 17057 15 | 0.038 % |
2.77/2.84 c | 17181 | 7886 68547 230590 | 2147483647 17178 15 | 0.038 % |
2.77/2.85 c | 17316 | 7886 68547 230590 | 2147483647 17313 15 | 0.038 % |
2.77/2.87 c | 17463 | 7886 68547 230590 | 2147483647 17460 15 | 0.038 % |
2.77/2.89 c | 17623 | 7886 68547 230590 | 2147483647 17620 15 | 0.038 % |
2.87/2.91 c | 17800 | 7886 68547 230590 | 2147483647 17797 15 | 0.038 % |
2.87/2.94 c | 17993 | 7886 68547 230590 | 2147483647 17990 15 | 0.038 % |
2.87/2.97 c | 18207 | 7886 68547 230590 | 2147483647 18204 15 | 0.038 % |
2.96/3.00 c | 18440 | 7886 68547 230590 | 2147483647 18437 15 | 0.038 % |
2.96/3.04 c | 18699 | 7886 68547 230590 | 2147483647 18696 15 | 0.038 % |
2.96/3.08 c | 18982 | 7886 68547 230590 | 2147483647 18979 15 | 0.038 % |
3.06/3.12 c | 19293 | 7886 68547 230590 | 2147483647 19290 15 | 0.038 % |
3.06/3.16 c | 19634 | 7886 68547 230590 | 2147483647 19631 15 | 0.038 % |
3.17/3.21 c | 20008 | 7886 68547 230590 | 2147483647 20005 15 | 0.038 % |
3.17/3.22 c | 20110 | 7886 68547 230590 | 2147483647 20107 15 | 0.038 % |
3.17/3.24 c | 20221 | 7886 68547 230590 | 2147483647 20218 15 | 0.038 % |
3.17/3.25 c | 20346 | 7886 68547 230590 | 2147483647 20343 15 | 0.038 % |
3.17/3.27 c | 20481 | 7886 68547 230590 | 2147483647 20478 15 | 0.038 % |
3.17/3.29 c | 20627 | 7886 68547 230590 | 2147483647 20624 15 | 0.038 % |
3.27/3.31 c | 20788 | 7886 68547 230590 | 2147483647 20785 15 | 0.038 % |
3.27/3.32 c | 20965 | 7886 68547 230590 | 2147483647 20962 15 | 0.038 % |
3.27/3.35 c | 21159 | 7886 68547 230590 | 2147483647 21156 15 | 0.038 % |
3.27/3.38 c | 21372 | 7886 68547 230590 | 2147483647 21369 15 | 0.038 % |
3.36/3.42 c | 21610 | 7886 68547 230590 | 2147483647 21607 15 | 0.038 % |
3.36/3.45 c | 21866 | 7886 68547 230590 | 2147483647 21863 15 | 0.038 % |
3.46/3.50 c | 22147 | 7886 68547 230590 | 2147483647 22144 15 | 0.038 % |
3.46/3.55 c | 22457 | 7886 68547 230590 | 2147483647 22454 15 | 0.038 % |
3.56/3.61 c | 22796 | 7886 68547 230590 | 2147483647 22793 15 | 0.038 % |
3.56/3.67 c | 23170 | 7886 68547 230590 | 2147483647 23167 15 | 0.038 % |
3.66/3.72 c | 23580 | 7886 68547 230590 | 2147483647 23577 15 | 0.038 % |
3.66/3.74 c | 23682 | 7886 68547 230590 | 2147483647 23679 15 | 0.038 % |
3.66/3.76 c | 23792 | 7886 68547 230590 | 2147483647 23789 15 | 0.038 % |
3.66/3.78 c | 23913 | 7886 68547 230590 | 2147483647 23910 15 | 0.038 % |
3.76/3.81 c | 24046 | 7886 68547 230590 | 2147483647 24043 15 | 0.038 % |
3.76/3.84 c | 24192 | 7886 68547 230590 | 2147483647 24189 15 | 0.038 % |
3.76/3.87 c | 24354 | 7886 68547 230590 | 2147483647 24351 15 | 0.038 % |
3.76/3.89 c | 24530 | 7886 68547 230590 | 2147483647 24527 15 | 0.038 % |
3.86/3.92 c | 24723 | 7886 68547 230590 | 2147483647 24720 15 | 0.038 % |
3.86/3.95 c | 24937 | 7886 68547 230590 | 2147483647 24934 15 | 0.038 % |
3.86/3.99 c | 25170 | 7886 68547 230590 | 2147483647 25167 15 | 0.038 % |
3.96/4.04 c | 25426 | 7886 68547 230590 | 2147483647 25423 15 | 0.038 % |
3.96/4.08 c | 25708 | 7886 68547 230590 | 2147483647 25705 15 | 0.038 % |
4.06/4.14 c | 26017 | 7886 68547 230590 | 2147483647 26014 15 | 0.038 % |
4.16/4.20 c | 26356 | 7886 68547 230590 | 2147483647 26353 15 | 0.038 % |
4.16/4.26 c | 26728 | 7886 68547 230590 | 2147483647 26725 16 | 0.038 % |
4.27/4.33 c | 27138 | 7886 68547 230590 | 2147483647 27135 15 | 0.038 % |
4.37/4.41 c | 27587 | 7886 68547 230590 | 2147483647 27584 16 | 0.038 % |
4.37/4.43 c | 27687 | 7886 68547 230590 | 2147483647 27684 16 | 0.038 % |
4.37/4.45 c | 27798 | 7886 68547 230590 | 2147483647 27795 15 | 0.038 % |
4.37/4.47 c | 27919 | 7886 68547 230590 | 2147483647 27916 16 | 0.038 % |
4.37/4.49 c | 28052 | 7886 68547 230590 | 2147483647 28049 16 | 0.038 % |
4.46/4.52 c | 28199 | 7886 68547 230590 | 2147483647 28196 15 | 0.038 % |
4.46/4.54 c | 28361 | 7886 68547 230590 | 2147483647 28358 15 | 0.038 % |
4.46/4.58 c | 28537 | 7886 68547 230590 | 2147483647 28534 15 | 0.038 % |
4.56/4.61 c | 28730 | 7886 68547 230590 | 2147483647 28727 15 | 0.038 % |
4.56/4.65 c | 28942 | 7886 68547 230590 | 2147483647 28939 15 | 0.038 % |
4.56/4.69 c | 29175 | 7886 68547 230590 | 2147483647 29172 15 | 0.038 % |
4.66/4.73 c | 29431 | 7886 68547 230590 | 2147483647 29428 15 | 0.038 % |
4.66/4.79 c | 29713 | 7886 68547 230590 | 2147483647 29710 15 | 0.038 % |
4.76/4.82 c | 30023 | 7886 68547 230590 | 2147483647 30020 15 | 0.038 % |
4.76/4.86 c | 30362 | 7886 68547 230590 | 2147483647 30359 15 | 0.038 % |
4.86/4.93 c | 30735 | 7886 68547 230590 | 2147483647 30732 15 | 0.038 % |
4.96/5.01 c | 31145 | 7886 68547 230590 | 2147483647 31142 15 | 0.038 % |
4.96/5.09 c | 31599 | 7886 68547 230590 | 2147483647 31596 15 | 0.038 % |
5.06/5.18 c | 32092 | 7886 68547 230590 | 2147483647 32089 15 | 0.038 % |
5.16/5.21 c | 32193 | 7886 68547 230590 | 2147483647 32190 15 | 0.038 % |
5.16/5.24 c | 32303 | 7885 68531 230557 | 2147483647 32299 15 | 0.051 % |
5.16/5.26 c | 32425 | 7885 68531 230557 | 2147483647 32421 15 | 0.051 % |
5.16/5.29 c | 32559 | 7885 68531 230557 | 2147483647 32555 15 | 0.051 % |
5.26/5.32 c | 32706 | 7885 68531 230557 | 2147483647 32702 15 | 0.051 % |
5.26/5.35 c | 32866 | 7885 68531 230557 | 2147483647 32862 15 | 0.051 % |
5.26/5.39 c | 33042 | 7885 68531 230557 | 2147483647 33038 15 | 0.051 % |
5.37/5.43 c | 33236 | 7885 68531 230557 | 2147483647 33232 15 | 0.051 % |
5.37/5.47 c | 33450 | 7885 68531 230557 | 2147483647 33446 16 | 0.051 % |
5.47/5.51 c | 33683 | 7885 68531 230557 | 2147483647 33679 16 | 0.051 % |
5.47/5.57 c | 33940 | 7885 68531 230557 | 2147483647 33936 16 | 0.051 % |
5.56/5.64 c | 34223 | 7885 68531 230557 | 2147483647 34219 16 | 0.051 % |
5.56/5.70 c | 34534 | 7885 68531 230557 | 2147483647 34530 16 | 0.051 % |
5.66/5.77 c | 34876 | 7885 68531 230557 | 2147483647 34872 16 | 0.051 % |
5.76/5.86 c | 35248 | 7885 68531 230557 | 2147483647 35244 16 | 0.051 % |
5.86/5.95 c | 35658 | 7885 68531 230557 | 2147483647 35654 16 | 0.051 % |
5.96/6.04 c | 36107 | 7885 68531 230557 | 2147483647 36103 16 | 0.051 % |
6.06/6.16 c | 36600 | 7885 68531 230557 | 2147483647 36596 16 | 0.051 % |
6.16/6.29 c | 37144 | 7885 68531 230557 | 2147483647 37140 16 | 0.051 % |
6.26/6.31 c | 37244 | 7885 68531 230557 | 2147483647 37240 16 | 0.051 % |
6.26/6.32 c | 37355 | 7885 68531 230557 | 2147483647 37351 16 | 0.051 % |
6.26/6.35 c | 37478 | 7885 68531 230557 | 2147483647 37474 16 | 0.051 % |
6.26/6.38 c | 37612 | 7885 68531 230557 | 2147483647 37608 16 | 0.051 % |
6.36/6.41 c | 37758 | 7885 68531 230557 | 2147483647 37754 16 | 0.051 % |
6.36/6.45 c | 37919 | 7885 68531 230557 | 2147483647 37915 16 | 0.051 % |
6.36/6.50 c | 38095 | 7885 68531 230557 | 2147483647 38091 16 | 0.051 % |
6.47/6.55 c | 38289 | 7885 68531 230557 | 2147483647 38285 16 | 0.051 % |
6.57/6.60 c | 38501 | 7885 68531 230557 | 2147483647 38497 16 | 0.051 % |
6.57/6.67 c | 38734 | 7885 68531 230557 | 2147483647 38730 16 | 0.051 % |
6.66/6.72 c | 38993 | 7885 68531 230557 | 2147483647 38989 16 | 0.051 % |
6.77/6.81 c | 39275 | 7885 68531 230557 | 2147483647 39271 16 | 0.051 % |
6.77/6.89 c | 39584 | 7885 68531 230557 | 2147483647 39580 16 | 0.051 % |
6.87/6.97 c | 39924 | 7885 68531 230557 | 2147483647 39920 16 | 0.051 % |
7.07/7.11 c | 40297 | 7885 68531 230557 | 2147483647 40293 16 | 0.051 % |
7.07/7.19 c | 40706 | 7885 68531 230557 | 2147483647 40702 16 | 0.051 % |
7.17/7.29 c | 41155 | 7885 68531 230557 | 2147483647 41151 16 | 0.051 % |
7.37/7.40 c | 41648 | 7885 68531 230557 | 2147483647 41644 16 | 0.051 % |
7.47/7.51 c | 42191 | 7885 68531 230557 | 2147483647 42187 16 | 0.051 % |
7.57/7.62 c | 42787 | 7885 68531 230557 | 2147483647 42783 16 | 0.051 % |
7.57/7.65 c | 42887 | 7885 68531 230557 | 2147483647 42883 16 | 0.051 % |
7.57/7.68 c | 42998 | 7885 68531 230557 | 2147483647 42994 16 | 0.051 % |
7.67/7.71 c | 43121 | 7885 68531 230557 | 2147483647 43117 16 | 0.051 % |
7.67/7.74 c | 43254 | 7885 68531 230557 | 2147483647 43250 16 | 0.051 % |
7.67/7.76 c | 43400 | 7885 68531 230557 | 2147483647 43396 16 | 0.051 % |
7.77/7.81 c | 43560 | 7885 68531 230557 | 2147483647 43556 16 | 0.051 % |
7.77/7.83 c | 43736 | 7885 68531 230557 | 2147483647 43732 16 | 0.051 % |
7.77/7.87 c | 43930 | 7885 68531 230557 | 2147483647 43926 16 | 0.051 % |
7.87/7.94 c | 44142 | 7885 68531 230557 | 2147483647 44138 16 | 0.051 % |
7.87/7.97 c | 44375 | 7885 68531 230557 | 2147483647 44371 16 | 0.051 % |
7.97/8.05 c | 44631 | 7885 68531 230557 | 2147483647 44627 16 | 0.051 % |
8.07/8.14 c | 44912 | 7885 68531 230557 | 2147483647 44908 16 | 0.051 % |
8.17/8.20 c | 45221 | 7885 68531 230557 | 2147483647 45217 16 | 0.051 % |
8.17/8.27 c | 45561 | 7885 68531 230557 | 2147483647 45557 16 | 0.051 % |
8.27/8.37 c | 45934 | 7885 68531 230557 | 2147483647 45930 16 | 0.051 % |
8.37/8.47 c | 46343 | 7885 68531 230557 | 2147483647 46339 16 | 0.051 % |
8.57/8.65 c | 46794 | 7885 68531 230557 | 2147483647 46790 16 | 0.051 % |
8.67/8.80 c | 47288 | 7885 68531 230557 | 2147483647 47284 16 | 0.051 % |
8.87/8.93 c | 47830 | 7885 68531 230557 | 2147483647 47826 17 | 0.051 % |
9.07/9.10 c | 48427 | 7885 68531 230557 | 2147483647 48423 17 | 0.051 % |
9.07/9.19 c | 49082 | 7885 68531 230557 | 2147483647 49078 17 | 0.051 % |
9.16/9.22 c | 49182 | 7885 68531 230557 | 2147483647 49178 17 | 0.051 % |
9.16/9.23 c | 49293 | 7885 68531 230557 | 2147483647 49289 17 | 0.051 % |
9.16/9.27 c | 49414 | 7885 68531 230557 | 2147483647 49410 17 | 0.051 % |
9.26/9.30 c | 49548 | 7885 68531 230557 | 2147483647 49544 17 | 0.051 % |
9.26/9.36 c | 49694 | 7885 68531 230557 | 2147483647 49690 17 | 0.051 % |
9.36/9.42 c | 49854 | 7885 68531 230557 | 2147483647 49850 17 | 0.051 % |
9.36/9.45 c | 50030 | 7885 68531 230557 | 2147483647 50026 17 | 0.051 % |
9.46/9.51 c | 50224 | 7885 68531 230557 | 2147483647 50220 17 | 0.051 % |
9.46/9.59 c | 50439 | 7885 68531 230557 | 2147483647 50435 17 | 0.051 % |
9.56/9.66 c | 50674 | 7885 68531 230557 | 2147483647 50670 17 | 0.051 % |
9.66/9.74 c | 50931 | 7885 68531 230557 | 2147483647 50927 17 | 0.051 % |
9.76/9.81 c | 51212 | 7885 68531 230557 | 2147483647 51208 17 | 0.051 % |
9.76/9.90 c | 51521 | 7885 68531 230557 | 2147483647 51517 17 | 0.051 % |
9.96/10.04 c | 51862 | 7885 68531 230557 | 2147483647 51858 17 | 0.051 % |
10.06/10.17 c | 52239 | 7885 68531 230557 | 2147483647 52235 17 | 0.051 % |
10.26/10.32 c | 52648 | 7885 68531 230557 | 2147483647 52644 17 | 0.051 % |
10.36/10.43 c | 53098 | 7885 68531 230557 | 2147483647 53094 17 | 0.051 % |
10.56/10.61 c | 53591 | 7885 68531 230557 | 2147483647 53587 17 | 0.051 % |
10.76/10.80 c | 54133 | 7885 68531 230557 | 2147483647 54129 17 | 0.051 % |
10.96/11.02 c | 54731 | 7885 68531 230557 | 2147483647 54727 17 | 0.051 % |
11.16/11.26 c | 55386 | 7885 68531 230557 | 2147483647 55382 17 | 0.051 % |
11.35/11.49 c | 56106 | 7885 68531 230557 | 2147483647 56102 17 | 0.051 % |
11.45/11.53 c | 56207 | 7885 68531 230557 | 2147483647 56203 17 | 0.051 % |
11.45/11.57 c | 56317 | 7885 68531 230557 | 2147483647 56313 17 | 0.051 % |
11.55/11.62 c | 56443 | 7885 68531 230557 | 2147483647 56439 17 | 0.051 % |
11.55/11.67 c | 56576 | 7885 68531 230557 | 2147483647 56572 17 | 0.051 % |
11.65/11.74 c | 56723 | 7885 68531 230557 | 2147483647 56719 17 | 0.051 % |
11.75/11.81 c | 56883 | 7885 68531 230557 | 2147483647 56879 17 | 0.051 % |
11.75/11.88 c | 57059 | 7885 68531 230557 | 2147483647 57055 17 | 0.051 % |
11.85/11.97 c | 57252 | 7885 68531 230557 | 2147483647 57248 17 | 0.051 % |
11.96/12.07 c | 57465 | 7885 68531 230557 | 2147483647 57461 17 | 0.051 % |
12.06/12.17 c | 57698 | 7885 68531 230557 | 2147483647 57694 17 | 0.051 % |
12.15/12.26 c | 57956 | 7885 68531 230557 | 2147483647 57952 17 | 0.051 % |
12.25/12.35 c | 58239 | 7885 68531 230557 | 2147483647 58235 17 | 0.051 % |
12.36/12.48 c | 58548 | 7885 68531 230557 | 2147483647 58544 17 | 0.051 % |
12.56/12.61 c | 58890 | 7885 68531 230557 | 2147483647 58886 17 | 0.051 % |
12.76/12.81 c | 59262 | 7885 68531 230557 | 2147483647 59258 17 | 0.051 % |
12.86/12.96 c | 59671 | 7885 68531 230557 | 2147483647 59667 17 | 0.051 % |
13.07/13.13 c | 60120 | 7885 68531 230557 | 2147483647 60116 17 | 0.051 % |
13.26/13.31 c | 60615 | 7885 68531 230557 | 2147483647 60611 17 | 0.051 % |
13.46/13.53 c | 61158 | 7885 68531 230557 | 2147483647 61154 17 | 0.051 % |
13.76/13.81 c | 61756 | 7885 68531 230557 | 2147483647 61752 17 | 0.051 % |
14.06/14.12 c | 62413 | 7885 68531 230557 | 2147483647 62409 17 | 0.051 % |
14.36/14.43 c | 63136 | 7885 68531 230557 | 2147483647 63132 17 | 0.051 % |
14.76/14.83 c | 63930 | 7885 68531 230557 | 2147483647 63926 17 | 0.051 % |
14.76/14.88 c | 64030 | 7885 68531 230557 | 2147483647 64026 17 | 0.051 % |
14.86/14.93 c | 64142 | 7885 68531 230557 | 2147483647 64138 17 | 0.051 % |
14.96/15.01 c | 64263 | 7885 68531 230557 | 2147483647 64259 17 | 0.051 % |
14.96/15.06 c | 64396 | 7885 68531 230557 | 2147483647 64392 17 | 0.051 % |
15.06/15.12 c | 64543 | 7885 68531 230557 | 2147483647 64539 17 | 0.051 % |
15.16/15.20 c | 64703 | 7885 68531 230557 | 2147483647 64699 17 | 0.051 % |
15.16/15.29 c | 64880 | 7885 68531 230557 | 2147483647 64876 17 | 0.051 % |
15.26/15.39 c | 65074 | 7885 68531 230557 | 2147483647 65070 17 | 0.051 % |
15.46/15.51 c | 65288 | 7885 68531 230557 | 2147483647 65284 17 | 0.051 % |
15.56/15.62 c | 65522 | 7885 68531 230557 | 2147483647 65518 17 | 0.051 % |
15.66/15.73 c | 65779 | 7885 68531 230557 | 2147483647 65775 17 | 0.051 % |
15.76/15.88 c | 66060 | 7885 68531 230557 | 2147483647 66056 17 | 0.051 % |
15.96/16.03 c | 66372 | 7885 68531 230557 | 2147483647 66368 17 | 0.051 % |
16.16/16.21 c | 66711 | 7885 68531 230557 | 2147483647 66707 17 | 0.051 % |
16.26/16.36 c | 67083 | 7885 68531 230557 | 2147483647 67079 17 | 0.051 % |
16.46/16.59 c | 67492 | 7885 68531 230557 | 2147483647 67488 18 | 0.051 % |
16.66/16.72 c | 67942 | 7885 68531 230557 | 2147483647 67938 18 | 0.051 % |
16.76/16.85 c | 68436 | 7885 68531 230557 | 2147483647 68432 18 | 0.051 % |
16.96/17.02 c | 68978 | 7885 68531 230557 | 2147483647 68974 18 | 0.051 % |
17.16/17.23 c | 69574 | 7885 68531 230557 | 2147483647 69570 18 | 0.051 % |
17.56/17.61 c | 70229 | 7885 68531 230557 | 2147483647 70225 18 | 0.051 % |
17.95/18.01 c | 70951 | 7885 68531 230557 | 2147483647 70947 18 | 0.051 % |
18.35/18.45 c | 71744 | 7885 68531 230557 | 2147483647 71740 18 | 0.051 % |
18.85/18.93 c | 72617 | 7885 68531 230557 | 2147483647 72613 18 | 0.051 % |
18.85/18.97 c | 72718 | 7885 68531 230557 | 2147483647 72714 18 | 0.051 % |
18.95/19.01 c | 72828 | 7885 68531 230557 | 2147483647 72824 18 | 0.051 % |
19.05/19.10 c | 72949 | 7885 68531 230557 | 2147483647 72945 18 | 0.051 % |
19.05/19.16 c | 73082 | 7885 68531 230557 | 2147483647 73078 18 | 0.051 % |
19.15/19.25 c | 73228 | 7885 68531 230557 | 2147483647 73224 18 | 0.051 % |
19.25/19.34 c | 73390 | 7885 68531 230557 | 2147483647 73386 18 | 0.051 % |
19.35/19.44 c | 73567 | 7885 68531 230557 | 2147483647 73563 18 | 0.051 % |
19.45/19.54 c | 73761 | 7885 68531 230557 | 2147483647 73757 18 | 0.051 % |
19.55/19.62 c | 73978 | 7885 68531 230557 | 2147483647 73974 18 | 0.051 % |
19.66/19.77 c | 74211 | 7885 68531 230557 | 2147483647 74207 18 | 0.051 % |
19.76/19.89 c | 74467 | 7885 68531 230557 | 2147483647 74463 18 | 0.051 % |
19.95/20.05 c | 74748 | 7885 68531 230557 | 2147483647 74744 18 | 0.051 % |
20.25/20.30 c | 75057 | 7885 68531 230557 | 2147483647 75053 18 | 0.051 % |
20.45/20.57 c | 75396 | 7885 68531 230557 | 2147483647 75392 18 | 0.051 % |
20.65/20.79 c | 75768 | 7885 68531 230557 | 2147483647 75764 18 | 0.051 % |
21.05/21.10 c | 76179 | 7885 68531 230557 | 2147483647 76175 18 | 0.051 % |
21.25/21.35 c | 76629 | 7885 68531 230557 | 2147483647 76625 18 | 0.051 % |
21.55/21.64 c | 77122 | 7885 68531 230557 | 2147483647 77118 18 | 0.051 % |
21.85/21.98 c | 77664 | 7885 68531 230557 | 2147483647 77660 18 | 0.051 % |
22.25/22.40 c | 78260 | 7885 68531 230557 | 2147483647 78256 18 | 0.051 % |
22.75/22.86 c | 78916 | 7885 68531 230557 | 2147483647 78912 18 | 0.051 % |
23.25/23.33 c | 79637 | 7885 68531 230557 | 2147483647 79633 18 | 0.051 % |
23.85/23.90 c | 80429 | 7885 68531 230557 | 2147483647 80425 18 | 0.051 % |
24.45/24.51 c | 81301 | 7885 68531 230557 | 2147483647 81297 18 | 0.051 % |
25.05/25.14 c | 82259 | 7885 68531 230557 | 2147483647 82255 18 | 0.051 % |
25.15/25.23 c | 82361 | 7885 68531 230557 | 2147483647 82357 18 | 0.051 % |
25.15/25.30 c | 82472 | 7885 68531 230557 | 2147483647 82468 18 | 0.051 % |
25.25/25.38 c | 82595 | 7885 68531 230557 | 2147483647 82591 18 | 0.051 % |
25.45/25.51 c | 82728 | 7885 68531 230557 | 2147483647 82724 18 | 0.051 % |
25.55/25.61 c | 82874 | 7885 68531 230557 | 2147483647 82870 18 | 0.051 % |
25.64/25.71 c | 83034 | 7885 68531 230557 | 2147483647 83030 18 | 0.051 % |
25.74/25.82 c | 83211 | 7885 68531 230557 | 2147483647 83207 18 | 0.051 % |
25.84/25.92 c | 83404 | 7885 68531 230557 | 2147483647 83400 18 | 0.051 % |
25.94/26.04 c | 83617 | 7885 68531 230557 | 2147483647 83613 18 | 0.051 % |
26.05/26.19 c | 83851 | 7885 68531 230557 | 2147483647 83847 18 | 0.051 % |
26.26/26.34 c | 84109 | 7885 68531 230557 | 2147483647 84105 18 | 0.051 % |
26.45/26.55 c | 84390 | 7885 68531 230557 | 2147483647 84386 18 | 0.051 % |
26.65/26.75 c | 84700 | 7885 68531 230557 | 2147483647 84696 18 | 0.051 % |
26.85/26.97 c | 85042 | 7885 68531 230557 | 2147483647 85038 18 | 0.051 % |
27.15/27.26 c | 85415 | 7885 68531 230557 | 2147483647 85411 18 | 0.051 % |
27.45/27.52 c | 85824 | 7885 68531 230557 | 2147483647 85820 18 | 0.051 % |
27.75/27.86 c | 86274 | 7885 68531 230557 | 2147483647 86270 18 | 0.051 % |
28.25/28.30 c | 86767 | 7885 68531 230557 | 2147483647 86763 18 | 0.051 % |
28.55/28.67 c | 87309 | 7885 68531 230557 | 2147483647 87305 18 | 0.051 % |
28.95/29.08 c | 87905 | 7885 68531 230557 | 2147483647 87901 18 | 0.051 % |
29.35/29.43 c | 88560 | 7885 68531 230557 | 2147483647 88556 18 | 0.051 % |
29.95/30.00 c | 89282 | 7885 68531 230557 | 2147483647 89278 18 | 0.051 % |
30.55/30.68 c | 90074 | 7885 68531 230557 | 89997 90070 18 | 0.051 % |
31.44/31.55 c | 90945 | 7885 68531 230557 | 89997 78534 18 | 0.051 % |
32.04/32.15 c | 91905 | 7885 68531 230557 | 89997 79494 19 | 0.051 % |
32.74/32.85 c | 92958 | 7885 68531 230557 | 89997 80547 19 | 0.051 % |
32.85/32.92 c | 93061 | 7885 68531 230557 | 89997 80650 19 | 0.051 % |
32.95/33.05 c | 93171 | 7885 68531 230557 | 89997 80760 19 | 0.051 % |
33.04/33.17 c | 93293 | 7885 68531 230557 | 89997 80882 19 | 0.051 % |
33.24/33.32 c | 93429 | 7885 68531 230557 | 89997 81018 19 | 0.051 % |
33.34/33.49 c | 93577 | 7885 68531 230557 | 89997 81166 19 | 0.051 % |
33.54/33.60 c | 93738 | 7885 68531 230557 | 89997 81327 19 | 0.051 % |
33.64/33.71 c | 93914 | 7885 68531 230557 | 89997 81503 19 | 0.051 % |
33.74/33.86 c | 94107 | 7885 68531 230557 | 89997 81696 19 | 0.051 % |
33.84/33.97 c | 94319 | 7885 68531 230557 | 89997 81908 19 | 0.051 % |
34.04/34.12 c | 94555 | 7885 68531 230557 | 89997 82144 19 | 0.051 % |
34.14/34.28 c | 94812 | 7885 68531 230557 | 89997 82401 19 | 0.051 % |
34.34/34.46 c | 95094 | 7885 68531 230557 | 89997 82683 19 | 0.051 % |
34.44/34.57 c | 95404 | 7885 68531 230557 | 89997 82993 19 | 0.051 % |
34.64/34.70 c | 95743 | 7885 68531 230557 | 89997 83332 19 | 0.051 % |
34.74/34.86 c | 96115 | 7885 68531 230557 | 89997 83704 19 | 0.051 % |
34.84/34.97 c | 96524 | 7885 68531 230557 | 89997 84113 19 | 0.051 % |
35.14/35.23 c | 96973 | 7880 68112 227693 | 89997 84540 19 | 0.190 % |
35.53/35.69 c | 97467 | 7880 68112 227693 | 89997 85034 19 | 0.190 % |
35.93/36.08 c | 98009 | 7880 68112 227693 | 89997 85576 19 | 0.190 % |
36.33/36.41 c | 98607 | 7880 68112 227693 | 89997 86174 19 | 0.190 % |
36.63/36.78 c | 99263 | 7880 68112 227693 | 89997 86830 19 | 0.190 % |
37.34/37.44 c | 99983 | 7880 68112 227693 | 89997 87550 19 | 0.190 % |
37.83/37.93 c | 100778 | 7880 68112 227693 | 87567 75737 19 | 0.190 % |
38.53/38.62 c | 101649 | 7880 68112 227693 | 87567 76608 19 | 0.190 % |
39.43/39.56 c | 102607 | 7880 68112 227693 | 87567 77566 19 | 0.190 % |
40.33/40.46 c | 103661 | 7880 68112 227693 | 87567 78620 19 | 0.190 % |
41.53/41.68 c | 104822 | 7880 68112 227693 | 87567 79781 19 | 0.190 % |
41.63/41.76 c | 104923 | 7880 68112 227693 | 87567 79882 19 | 0.190 % |
41.73/41.81 c | 105034 | 7880 68112 227693 | 87567 79993 19 | 0.190 % |
41.83/41.97 c | 105157 | 7880 68112 227693 | 87567 80116 19 | 0.190 % |
42.03/42.12 c | 105290 | 7880 68112 227693 | 87567 80249 19 | 0.190 % |
42.13/42.29 c | 105437 | 7874 67280 223601 | 87567 79696 19 | 0.190 % |
42.33/42.47 c | 105603 | 7874 67280 223601 | 87567 79862 19 | 0.190 % |
42.53/42.64 c | 105779 | 7874 67280 223601 | 87567 80038 19 | 0.190 % |
42.73/42.81 c | 105973 | 7874 67280 223601 | 87567 80232 19 | 0.190 % |
42.83/42.96 c | 106185 | 7874 67280 223601 | 87567 80444 19 | 0.190 % |
43.03/43.13 c | 106418 | 7874 67280 223601 | 87567 80677 19 | 0.190 % |
43.23/43.32 c | 106675 | 7874 67280 223601 | 87567 80934 19 | 0.190 % |
43.43/43.54 c | 106956 | 7874 67280 223601 | 87567 81215 19 | 0.190 % |
43.73/43.81 c | 107266 | 7874 67280 223601 | 87567 81525 19 | 0.190 % |
44.03/44.11 c | 107605 | 7874 67280 223601 | 87567 81864 19 | 0.190 % |
44.33/44.41 c | 107978 | 7874 67280 223601 | 87567 82237 19 | 0.190 % |
44.53/44.65 c | 108393 | 7874 67280 223601 | 87567 82652 19 | 0.190 % |
44.83/44.96 c | 108844 | 7874 67280 223601 | 87567 83103 19 | 0.190 % |
45.23/45.34 c | 109337 | 7874 67280 223601 | 87567 83596 19 | 0.190 % |
45.73/45.85 c | 109880 | 7874 67280 223601 | 87567 84139 19 | 0.190 % |
46.43/46.51 c | 110477 | 7874 67280 223601 | 84259 70487 18 | 0.190 % |
46.63/46.76 c | 111133 | 7874 67280 223601 | 84259 71143 19 | 0.190 % |
47.23/47.32 c | 111856 | 7874 67280 223601 | 84259 71866 19 | 0.190 % |
47.73/47.87 c | 112649 | 7874 67280 223601 | 84259 72659 19 | 0.190 % |
48.43/48.58 c | 113520 | 7874 67280 223601 | 84259 73530 19 | 0.190 % |
49.13/49.21 c | 114478 | 7874 67280 223601 | 84259 74488 19 | 0.190 % |
49.83/50.00 c | 115531 | 7874 67280 223601 | 84259 75541 19 | 0.190 % |
51.03/51.12 c | 116690 | 7874 67280 223601 | 84259 76700 19 | 0.190 % |
52.32/52.42 c | 117963 | 7874 67280 223601 | 84259 77973 19 | 0.190 % |
52.32/52.48 c | 118063 | 7874 67280 223601 | 84259 78073 19 | 0.190 % |
52.52/52.60 c | 118173 | 7874 67280 223601 | 84259 78183 19 | 0.190 % |
52.63/52.78 c | 118294 | 7874 67280 223601 | 84259 78304 19 | 0.190 % |
52.82/52.90 c | 118427 | 7874 67280 223601 | 84259 78437 19 | 0.190 % |
52.92/53.07 c | 118573 | 7874 67280 223601 | 84259 78583 19 | 0.190 % |
53.12/53.23 c | 118733 | 7874 67280 223601 | 84259 78743 19 | 0.190 % |
53.22/53.33 c | 118909 | 7874 67280 223601 | 84259 78919 19 | 0.190 % |
53.42/53.51 c | 119105 | 7874 67280 223601 | 84259 79115 19 | 0.190 % |
53.62/53.71 c | 119318 | 7874 67280 223601 | 84259 79328 19 | 0.190 % |
53.73/53.88 c | 119552 | 7874 67280 223601 | 84259 79562 19 | 0.190 % |
54.02/54.14 c | 119808 | 7874 67280 223601 | 84259 79818 19 | 0.190 % |
54.12/54.29 c | 120089 | 7874 67280 223601 | 80010 80099 19 | 0.190 % |
54.52/54.65 c | 120398 | 7874 67280 223601 | 80010 68159 18 | 0.190 % |
54.62/54.76 c | 120738 | 7874 67280 223601 | 80010 68499 18 | 0.190 % |
54.82/54.93 c | 121110 | 7874 67280 223601 | 80010 68871 18 | 0.190 % |
54.92/55.04 c | 121521 | 7874 67280 223601 | 80010 69282 18 | 0.190 % |
55.22/55.35 c | 121971 | 7874 67280 223601 | 80010 69732 18 | 0.190 % |
55.32/55.48 c | 122466 | 7874 67280 223601 | 80010 70227 18 | 0.190 % |
55.52/55.67 c | 123010 | 7874 67280 223601 | 80010 70771 18 | 0.190 % |
55.82/55.95 c | 123607 | 7874 67280 223601 | 80010 71368 18 | 0.190 % |
56.02/56.11 c | 124263 | 7874 67280 223601 | 80010 72024 18 | 0.190 % |
56.22/56.37 c | 124983 | 7874 67280 223601 | 80010 72744 18 | 0.190 % |
56.52/56.66 c | 125775 | 7874 67280 223601 | 80010 73536 18 | 0.190 % |
56.82/56.98 c | 126646 | 7874 67280 223601 | 80010 74407 18 | 0.190 % |
57.22/57.32 c | 127606 | 7874 67280 223601 | 80010 75367 18 | 0.190 % |
57.62/57.74 c | 128659 | 7874 67280 223601 | 80010 76420 18 | 0.190 % |
58.12/58.21 c | 129821 | 7874 67280 223601 | 80010 77582 18 | 0.190 % |
58.42/58.60 c | 131095 | 7874 67280 223601 | 2147483647 78856 18 | 0.190 % |
59.01/59.18 c | 132495 | 7874 67280 223601 | 2147483647 80256 18 | 0.190 % |
59.01/59.20 c | 132595 | 7874 67280 223601 | 2147483647 80356 18 | 0.190 % |
59.22/59.31 c | 132707 | 7874 67280 223601 | 2147483647 80468 18 | 0.190 % |
59.22/59.40 c | 132830 | 7874 67280 223601 | 2147483647 80591 18 | 0.190 % |
59.41/59.53 c | 132963 | 7874 67280 223601 | 2147483647 80724 18 | 0.190 % |
59.51/59.62 c | 133110 | 7874 67280 223601 | 2147483647 80871 18 | 0.190 % |
59.51/59.69 c | 133270 | 7874 67280 223601 | 2147483647 81031 18 | 0.190 % |
59.61/59.75 c | 133446 | 7874 67280 223601 | 2147483647 81207 18 | 0.190 % |
59.71/59.83 c | 133639 | 7874 67280 223601 | 2147483647 81400 18 | 0.190 % |
59.81/59.93 c | 133851 | 7874 67280 223601 | 2147483647 81612 18 | 0.190 % |
59.91/60.03 c | 134084 | 7874 67280 223601 | 2147483647 81845 18 | 0.190 % |
60.01/60.12 c | 134342 | 7874 67280 223601 | 2147483647 82103 18 | 0.190 % |
60.01/60.20 c | 134623 | 7874 67280 223601 | 2147483647 82384 18 | 0.190 % |
60.21/60.31 c | 134933 | 7874 67280 223601 | 2147483647 82694 18 | 0.190 % |
60.21/60.39 c | 135272 | 7874 67280 223601 | 2147483647 83033 18 | 0.190 % |
60.42/60.53 c | 135644 | 7874 67280 223601 | 2147483647 83405 18 | 0.190 % |
60.51/60.62 c | 136053 | 7874 67280 223601 | 2147483647 83814 18 | 0.190 % |
60.61/60.80 c | 136502 | 7874 67280 223601 | 2147483647 84263 18 | 0.190 % |
60.81/60.99 c | 136995 | 7874 67280 223601 | 2147483647 84756 19 | 0.190 % |
61.11/61.22 c | 137541 | 7874 67280 223601 | 2147483647 85302 19 | 0.190 % |
61.52/61.63 c | 138138 | 7874 67280 223601 | 2147483647 85899 19 | 0.190 % |
61.71/61.87 c | 138793 | 7874 67280 223601 | 2147483647 86554 19 | 0.190 % |
62.01/62.15 c | 139513 | 7874 67280 223601 | 2147483647 87274 19 | 0.190 % |
62.41/62.50 c | 140307 | 7874 67280 223601 | 2147483647 88068 19 | 0.190 % |
62.81/62.92 c | 141184 | 7874 67280 223601 | 2147483647 88945 19 | 0.190 % |
63.31/63.41 c | 142142 | 7874 67280 223601 | 2147483647 89903 19 | 0.190 % |
63.62/63.78 c | 143195 | 7874 67280 223601 | 2147483647 90956 19 | 0.190 % |
64.11/64.27 c | 144353 | 7874 67280 223601 | 2147483647 92114 19 | 0.190 % |
64.81/64.90 c | 145626 | 7874 67280 223601 | 2147483647 93387 19 | 0.190 % |
65.21/65.32 c | 147026 | 7874 67280 223601 | 2147483647 94787 19 | 0.190 % |
66.21/66.33 c | 148566 | 7874 67280 223601 | 2147483647 96327 19 | 0.190 % |
66.21/66.40 c | 148668 | 7874 67280 223601 | 2147483647 96429 19 | 0.190 % |
66.31/66.47 c | 148780 | 7874 67280 223601 | 2147483647 96541 19 | 0.190 % |
66.41/66.53 c | 148901 | 7874 67280 223601 | 2147483647 96662 19 | 0.190 % |
66.41/66.60 c | 149038 | 7874 67280 223601 | 2147483647 96799 19 | 0.190 % |
66.51/66.69 c | 149185 | 7874 67280 223601 | 2147483647 96946 19 | 0.190 % |
66.61/66.75 c | 149345 | 7874 67280 223601 | 2147483647 97106 19 | 0.190 % |
66.71/66.82 c | 149521 | 7874 67280 223601 | 2147483647 97282 19 | 0.190 % |
66.82/66.94 c | 149716 | 7874 67280 223601 | 2147483647 97477 19 | 0.190 % |
66.92/67.08 c | 149928 | 7874 67280 223601 | 2147483647 97689 19 | 0.190 % |
67.11/67.20 c | 150162 | 7874 67280 223601 | 2147483647 97923 19 | 0.190 % |
67.21/67.32 c | 150419 | 7874 67280 223601 | 2147483647 98180 19 | 0.190 % |
67.31/67.49 c | 150702 | 7874 67280 223601 | 2147483647 98463 19 | 0.190 % |
67.51/67.62 c | 151012 | 7874 67280 223601 | 2147483647 98773 19 | 0.190 % |
67.71/67.82 c | 151351 | 7874 67280 223601 | 2147483647 99112 19 | 0.190 % |
67.91/68.04 c | 151724 | 7874 67280 223601 | 2147483647 99485 19 | 0.190 % |
68.12/68.25 c | 152133 | 7874 67280 223601 | 2147483647 99894 19 | 0.190 % |
68.31/68.49 c | 152583 | 7874 67280 223601 | 2147483647 100344 19 | 0.190 % |
68.61/68.71 c | 153077 | 7874 67280 223601 | 2147483647 100838 19 | 0.190 % |
68.91/69.07 c | 153619 | 7874 67280 223601 | 2147483647 101380 19 | 0.190 % |
69.22/69.33 c | 154217 | 7874 67280 223601 | 2147483647 101978 19 | 0.190 % |
69.61/69.79 c | 154873 | 7874 67280 223601 | 2147483647 102634 19 | 0.190 % |
70.11/70.20 c | 155593 | 7874 67280 223601 | 2147483647 103354 19 | 0.190 % |
70.61/70.73 c | 156387 | 7874 67280 223601 | 2147483647 104148 19 | 0.190 % |
71.01/71.11 c | 157258 | 7874 67280 223601 | 2147483647 105019 19 | 0.190 % |
71.71/71.80 c | 158217 | 7874 67280 223601 | 2147483647 105978 19 | 0.190 % |
72.21/72.35 c | 159271 | 7874 67280 223601 | 2147483647 107032 19 | 0.190 % |
72.71/72.88 c | 160430 | 7874 67280 223601 | 2147483647 108191 19 | 0.190 % |
73.51/73.62 c | 161703 | 7874 67280 223601 | 2147483647 109464 19 | 0.190 % |
74.41/74.50 c | 163104 | 7874 67280 223601 | 2147483647 110865 19 | 0.190 % |
75.31/75.45 c | 164644 | 7874 67280 223601 | 2147483647 112405 20 | 0.190 % |
76.21/76.36 c | 166340 | 7874 67280 223601 | 2147483647 114101 20 | 0.190 % |
76.31/76.43 c | 166440 | 7874 67280 223601 | 2147483647 114201 20 | 0.190 % |
76.41/76.51 c | 166550 | 7874 67280 223601 | 2147483647 114311 20 | 0.190 % |
76.51/76.65 c | 166672 | 7874 67280 223601 | 2147483647 114433 20 | 0.190 % |
76.51/76.70 c | 166805 | 7874 67280 223601 | 2147483647 114566 20 | 0.190 % |
76.71/76.81 c | 166953 | 7874 67280 223601 | 2147483647 114714 20 | 0.190 % |
76.81/76.92 c | 167113 | 7874 67280 223601 | 2147483647 114874 20 | 0.190 % |
76.91/77.07 c | 167289 | 7874 67280 223601 | 2147483647 115050 20 | 0.190 % |
77.01/77.14 c | 167482 | 7874 67280 223601 | 2147483647 115243 20 | 0.190 % |
77.20/77.30 c | 167695 | 7874 67280 223601 | 2147483647 115456 20 | 0.190 % |
77.30/77.41 c | 167928 | 7874 67280 223601 | 2147483647 115689 20 | 0.190 % |
77.50/77.63 c | 168185 | 7874 67280 223601 | 2147483647 115946 20 | 0.190 % |
77.60/77.73 c | 168467 | 7874 67280 223601 | 2147483647 116228 20 | 0.190 % |
77.80/77.95 c | 168777 | 7874 67280 223601 | 2147483647 116538 20 | 0.190 % |
77.91/78.08 c | 169117 | 7874 67280 223601 | 2147483647 116878 20 | 0.190 % |
78.10/78.27 c | 169489 | 7874 67280 223601 | 2147483647 117250 20 | 0.190 % |
78.40/78.53 c | 169898 | 7874 67280 223601 | 2147483647 117659 20 | 0.190 % |
78.80/78.92 c | 170347 | 7874 67280 223601 | 2147483647 118108 20 | 0.190 % |
79.20/79.33 c | 170841 | 7874 67280 223601 | 2147483647 118602 20 | 0.190 % |
79.50/79.65 c | 171384 | 7874 67280 223601 | 2147483647 119145 20 | 0.190 % |
79.80/79.98 c | 171980 | 7874 67280 223601 | 2147483647 119741 20 | 0.190 % |
80.20/80.32 c | 172636 | 7874 67280 223601 | 2147483647 120397 20 | 0.190 % |
80.50/80.70 c | 173356 | 7874 67280 223601 | 2147483647 121117 20 | 0.190 % |
81.00/81.14 c | 174149 | 7874 67280 223601 | 2147483647 121910 20 | 0.190 % |
81.50/81.62 c | 175021 | 7874 67280 223601 | 2147483647 122782 20 | 0.190 % |
82.20/82.39 c | 175979 | 7874 67280 223601 | 2147483647 123740 20 | 0.190 % |
83.10/83.25 c | 177033 | 7874 67280 223601 | 2147483647 124794 20 | 0.190 % |
83.80/83.99 c | 178192 | 7874 67280 223601 | 2147483647 125953 20 | 0.190 % |
84.80/84.97 c | 179465 | 7874 67280 223601 | 2147483647 127226 20 | 0.190 % |
87.20/87.39 c | 180866 | 7874 67280 223601 | 127765 108390 19 | 0.190 % |
88.00/88.16 c | 182407 | 7874 67280 223601 | 127765 109931 19 | 0.190 % |
88.80/88.97 c | 184101 | 7874 67280 223601 | 127765 111625 19 | 0.190 % |
89.69/89.84 c | 185966 | 7874 67280 223601 | 127765 113490 19 | 0.190 % |
89.69/89.89 c | 186067 | 7874 67280 223601 | 127765 113591 19 | 0.190 % |
89.89/90.00 c | 186180 | 7874 67280 223601 | 127765 113704 19 | 0.190 % |
89.89/90.09 c | 186302 | 7874 67280 223601 | 127765 113826 19 | 0.190 % |
90.00/90.19 c | 186435 | 7874 67280 223601 | 127765 113959 19 | 0.190 % |
90.10/90.29 c | 186581 | 7874 67280 223601 | 127765 114105 19 | 0.190 % |
90.29/90.40 c | 186741 | 7874 67280 223601 | 127765 114265 19 | 0.190 % |
90.39/90.53 c | 186917 | 7874 67280 223601 | 127765 114441 19 | 0.190 % |
90.49/90.65 c | 187110 | 7874 67280 223601 | 127765 114634 19 | 0.190 % |
90.59/90.76 c | 187323 | 7874 67280 223601 | 127765 114847 19 | 0.190 % |
90.69/90.89 c | 187558 | 7874 67280 223601 | 127765 115082 19 | 0.190 % |
90.89/91.07 c | 187815 | 7874 67280 223601 | 127765 115339 19 | 0.190 % |
91.10/91.27 c | 188097 | 7874 67280 223601 | 127765 115621 19 | 0.190 % |
91.39/91.57 c | 188406 | 7874 67280 223601 | 127765 115930 19 | 0.190 % |
91.69/91.85 c | 188748 | 7874 67280 223601 | 127765 116272 19 | 0.190 % |
91.99/92.12 c | 189121 | 7874 67280 223601 | 127765 116645 19 | 0.190 % |
92.20/92.30 c | 189530 | 7874 67280 223601 | 127765 117054 19 | 0.190 % |
92.50/92.62 c | 189980 | 7874 67280 223601 | 127765 117504 19 | 0.190 % |
93.50/93.66 c | 190475 | 7874 67280 223601 | 117524 103418 19 | 0.190 % |
93.90/94.02 c | 191018 | 7874 67280 223601 | 117524 103961 19 | 0.190 % |
94.30/94.40 c | 191614 | 7874 67280 223601 | 117524 104557 19 | 0.190 % |
94.70/94.88 c | 192275 | 7874 67280 223601 | 117524 105218 20 | 0.190 % |
95.20/95.40 c | 192995 | 7874 67280 223601 | 117524 105938 20 | 0.190 % |
95.60/95.78 c | 193788 | 7874 67280 223601 | 117524 106731 20 | 0.190 % |
96.30/96.43 c | 194660 | 7874 67280 223601 | 117524 107603 20 | 0.190 % |
97.00/97.16 c | 195618 | 7874 67280 223601 | 117524 108561 20 | 0.190 % |
97.70/97.89 c | 196672 | 7874 67280 223601 | 117524 109615 20 | 0.190 % |
98.50/98.69 c | 197832 | 7874 67280 223601 | 117524 110775 20 | 0.190 % |
99.40/99.58 c | 199105 | 7874 67280 223601 | 117524 112048 20 | 0.190 % |
100.90/101.02 c | 200507 | 7874 67280 223601 | 112943 99236 20 | 0.190 % |
102.10/102.23 c | 202047 | 7874 67280 223601 | 112943 100776 20 | 0.190 % |
103.30/103.45 c | 203744 | 7874 67280 223601 | 112943 102473 20 | 0.190 % |
104.30/104.47 c | 205610 | 7874 67280 223601 | 112943 104339 20 | 0.190 % |
105.90/106.05 c | 207660 | 7874 67280 223601 | 112943 106389 20 | 0.190 % |
105.90/106.09 c | 207762 | 7874 67280 223601 | 112943 106491 20 | 0.190 % |
106.00/106.19 c | 207873 | 7874 67280 223601 | 112943 106602 20 | 0.190 % |
106.09/106.25 c | 207995 | 7874 67280 223601 | 112943 106724 20 | 0.190 % |
106.19/106.33 c | 208128 | 7874 67280 223601 | 112943 106857 20 | 0.190 % |
106.29/106.41 c | 208274 | 7874 67280 223601 | 112943 107003 20 | 0.190 % |
106.39/106.55 c | 208435 | 7874 67280 223601 | 112943 107164 20 | 0.190 % |
106.60/106.73 c | 208612 | 7874 67280 223601 | 112943 107341 20 | 0.190 % |
106.69/106.85 c | 208806 | 7874 67280 223601 | 112943 107535 20 | 0.190 % |
106.89/107.05 c | 209020 | 7874 67280 223601 | 112943 107749 20 | 0.190 % |
107.19/107.31 c | 209253 | 7874 67280 223601 | 112943 107982 20 | 0.190 % |
107.29/107.47 c | 209509 | 7874 67280 223601 | 112943 108238 20 | 0.190 % |
107.60/107.74 c | 209790 | 7874 67280 223601 | 112943 108519 20 | 0.190 % |
107.70/107.89 c | 210099 | 7874 67280 223601 | 108729 108828 20 | 0.190 % |
108.19/108.32 c | 210441 | 7874 67280 223601 | 108729 95057 20 | 0.190 % |
108.49/108.61 c | 210813 | 7874 67280 223601 | 108729 95429 20 | 0.190 % |
108.70/108.85 c | 211223 | 7874 67280 223601 | 108729 95839 20 | 0.190 % |
108.99/109.12 c | 211674 | 7874 67280 223601 | 108729 96290 20 | 0.190 % |
109.39/109.58 c | 212168 | 7874 67280 223601 | 108729 96784 20 | 0.190 % |
109.69/109.86 c | 212713 | 7874 67280 223601 | 108729 97329 20 | 0.190 % |
110.09/110.29 c | 213310 | 7874 67280 223601 | 108729 97926 20 | 0.190 % |
110.59/110.79 c | 213966 | 7874 67280 223601 | 108729 98582 20 | 0.190 % |
111.19/111.38 c | 214686 | 7874 67280 223601 | 108729 99302 20 | 0.190 % |
111.89/112.01 c | 215479 | 7874 67280 223601 | 108729 100095 21 | 0.190 % |
112.49/112.63 c | 216351 | 7874 67280 223601 | 108729 100967 21 | 0.190 % |
113.29/113.42 c | 217309 | 7874 67280 223601 | 108729 101925 21 | 0.190 % |
114.29/114.46 c | 218362 | 7874 67280 223601 | 108729 102978 21 | 0.190 % |
115.39/115.58 c | 219521 | 7874 67280 223601 | 108729 104137 21 | 0.190 % |
116.69/116.81 c | 220794 | 7874 67280 223601 | 104616 91190 20 | 0.190 % |
117.49/117.61 c | 222194 | 7874 67280 223601 | 104616 92590 20 | 0.190 % |
118.59/118.78 c | 223734 | 7874 67280 223601 | 104616 94130 20 | 0.190 % |
119.69/119.87 c | 225428 | 7874 67280 223601 | 104616 95824 21 | 0.190 % |
121.19/121.30 c | 227292 | 7874 67280 223601 | 104616 97688 21 | 0.190 % |
122.59/122.73 c | 229341 | 7874 67280 223601 | 104616 99737 21 | 0.190 % |
124.39/124.59 c | 231594 | 7874 67280 223601 | 100396 88604 20 | 0.190 % |
124.49/124.69 c | 231694 | 7874 67280 223601 | 100396 88704 20 | 0.190 % |
124.59/124.77 c | 231804 | 7874 67280 223601 | 100396 88814 20 | 0.190 % |
124.69/124.88 c | 231925 | 7874 67280 223601 | 100396 88935 20 | 0.190 % |
124.79/124.96 c | 232058 | 7874 67280 223601 | 100396 89068 20 | 0.190 % |
124.79/124.99 c | 232204 | 7874 67280 223601 | 100396 89214 20 | 0.190 % |
124.89/125.02 c | 232364 | 7874 67280 223601 | 100396 89374 20 | 0.190 % |
124.99/125.10 c | 232540 | 7874 67280 223601 | 100396 89550 20 | 0.190 % |
124.99/125.19 c | 232733 | 7874 67280 223601 | 100396 89743 20 | 0.190 % |
125.09/125.29 c | 232945 | 7874 67280 223601 | 100396 89955 20 | 0.190 % |
125.29/125.42 c | 233178 | 7874 67280 223601 | 100396 90188 20 | 0.190 % |
125.39/125.59 c | 233434 | 7874 67280 223601 | 100396 90444 20 | 0.190 % |
125.69/125.84 c | 233717 | 7874 67280 223601 | 100396 90727 20 | 0.190 % |
125.89/126.04 c | 234028 | 7874 67280 223601 | 100396 91038 20 | 0.190 % |
126.19/126.33 c | 234368 | 7874 67280 223601 | 100396 91378 20 | 0.190 % |
126.39/126.56 c | 234741 | 7874 67280 223601 | 100396 91751 20 | 0.190 % |
126.68/126.85 c | 235152 | 7874 67280 223601 | 100396 92162 20 | 0.190 % |
126.98/127.14 c | 235601 | 7874 67280 223601 | 100396 92611 20 | 0.190 % |
127.39/127.54 c | 236094 | 7874 67280 223601 | 100396 93104 20 | 0.190 % |
127.88/128.10 c | 236639 | 7874 67280 223601 | 100396 93649 20 | 0.190 % |
128.49/128.61 c | 237236 | 7874 67280 223601 | 100396 94246 20 | 0.190 % |
128.98/129.13 c | 237892 | 7874 67280 223601 | 100396 94902 20 | 0.190 % |
129.59/129.75 c | 238612 | 7874 67280 223601 | 100396 95622 20 | 0.190 % |
130.08/130.28 c | 239404 | 7874 67280 223601 | 100396 96414 20 | 0.190 % |
130.98/131.16 c | 240276 | 7874 67280 223601 | 97011 84861 20 | 0.190 % |
131.78/131.90 c | 241235 | 7874 67280 223601 | 97011 85820 20 | 0.190 % |
132.38/132.52 c | 242288 | 7874 67280 223601 | 97011 86873 20 | 0.190 % |
133.18/133.37 c | 243446 | 7874 67280 223601 | 97011 88031 20 | 0.190 % |
134.28/134.47 c | 244719 | 7874 67280 223601 | 97011 89304 20 | 0.190 % |
135.48/135.68 c | 246121 | 7874 67280 223601 | 97011 90706 20 | 0.190 % |
136.88/137.01 c | 247662 | 7874 67280 223601 | 97011 92247 21 | 0.190 % |
138.28/138.40 c | 249356 | 7874 67280 223601 | 97011 93941 21 | 0.190 % |
139.58/139.78 c | 251220 | 7874 67280 223601 | 94585 84944 20 | 0.190 % |
141.27/141.42 c | 253270 | 7874 67280 223601 | 94585 86994 20 | 0.190 % |
142.28/142.46 c | 255524 | 7874 67280 223601 | 94585 89248 20 | 0.190 % |
143.98/144.15 c | 258003 | 7874 67280 223601 | 94585 91727 21 | 0.190 % |
144.07/144.27 c | 258104 | 7874 67280 223601 | 94585 91828 21 | 0.190 % |
144.17/144.37 c | 258214 | 7874 67280 223601 | 94585 91938 21 | 0.190 % |
144.27/144.48 c | 258335 | 7874 67280 223601 | 94585 92059 21 | 0.190 % |
144.47/144.60 c | 258469 | 7874 67280 223601 | 94585 92193 21 | 0.190 % |
144.57/144.75 c | 258615 | 7874 67280 223601 | 94585 92339 21 | 0.190 % |
144.67/144.85 c | 258776 | 7874 67280 223601 | 94585 92500 21 | 0.190 % |
144.87/145.02 c | 258953 | 7874 67280 223601 | 94585 92677 21 | 0.190 % |
144.98/145.17 c | 259148 | 7874 67280 223601 | 94585 92872 21 | 0.190 % |
145.17/145.35 c | 259362 | 7874 67280 223601 | 94585 93086 21 | 0.190 % |
145.37/145.56 c | 259595 | 7874 67280 223601 | 94585 93319 21 | 0.190 % |
145.57/145.75 c | 259851 | 7874 67280 223601 | 94585 93575 21 | 0.190 % |
145.77/145.94 c | 260132 | 7874 67280 223601 | 2147483647 93856 21 | 0.190 % |
146.07/146.21 c | 260441 | 7874 67280 223601 | 2147483647 94165 21 | 0.190 % |
146.17/146.40 c | 260780 | 7874 67280 223601 | 2147483647 94504 21 | 0.190 % |
146.47/146.66 c | 261155 | 7874 67280 223601 | 2147483647 94879 21 | 0.190 % |
146.87/147.04 c | 261564 | 7874 67280 223601 | 2147483647 95288 21 | 0.190 % |
147.27/147.44 c | 262013 | 7874 67280 223601 | 2147483647 95737 21 | 0.190 % |
147.77/147.92 c | 262511 | 7874 67280 223601 | 2147483647 96235 21 | 0.190 % |
148.07/148.27 c | 263053 | 7874 67280 223601 | 2147483647 96777 21 | 0.190 % |
148.57/148.76 c | 263649 | 7874 67280 223601 | 2147483647 97373 21 | 0.190 % |
149.17/149.35 c | 264308 | 7874 67280 223601 | 2147483647 98032 21 | 0.190 % |
149.57/149.77 c | 265028 | 7874 67280 223601 | 2147483647 98752 21 | 0.190 % |
150.37/150.55 c | 265821 | 7874 67280 223601 | 2147483647 99545 21 | 0.190 % |
151.07/151.20 c | 266692 | 7874 67280 223601 | 2147483647 100416 21 | 0.190 % |
151.77/151.94 c | 267650 | 7874 67280 223601 | 2147483647 101374 21 | 0.190 % |
152.77/152.95 c | 268704 | 7874 67280 223601 | 2147483647 102428 21 | 0.190 % |
153.87/154.06 c | 269862 | 7874 67280 223601 | 2147483647 103586 21 | 0.190 % |
155.07/155.29 c | 271135 | 7874 67280 223601 | 103725 90385 20 | 0.190 % |
156.17/156.30 c | 272535 | 7874 67280 223601 | 103725 91785 20 | 0.190 % |
157.27/157.40 c | 274075 | 7874 67280 223601 | 103725 93325 20 | 0.190 % |
158.77/158.95 c | 275769 | 7874 67280 223601 | 103725 95019 20 | 0.190 % |
160.56/160.79 c | 277632 | 7874 67280 223601 | 103725 96882 20 | 0.190 % |
161.76/161.98 c | 279681 | 7874 67280 223601 | 103725 98931 20 | 0.190 % |
163.77/163.93 c | 281935 | 7874 67280 223601 | 99251 87910 20 | 0.190 % |
166.06/166.27 c | 284417 | 7874 67280 223601 | 99251 90392 20 | 0.190 % |
168.46/168.60 c | 287144 | 7874 67280 223601 | 99251 93119 20 | 0.190 % |
168.56/168.72 c | 287246 | 7874 67280 223601 | 99251 93221 20 | 0.190 % |
168.66/168.82 c | 287360 | 7874 67280 223601 | 99251 93335 20 | 0.190 % |
168.76/168.97 c | 287482 | 7874 67280 223601 | 99251 93457 20 | 0.190 % |
168.86/169.09 c | 287616 | 7874 67280 223601 | 99251 93591 20 | 0.190 % |
169.06/169.26 c | 287762 | 7874 67280 223601 | 99251 93737 20 | 0.190 % |
169.16/169.38 c | 287925 | 7874 67280 223601 | 99251 93900 20 | 0.190 % |
169.36/169.59 c | 288101 | 7874 67280 223601 | 99251 94076 20 | 0.190 % |
169.56/169.71 c | 288294 | 7874 67280 223601 | 99251 94269 20 | 0.190 % |
169.66/169.87 c | 288506 | 7874 67280 223601 | 99251 94481 20 | 0.190 % |
169.96/170.13 c | 288739 | 7874 67280 223601 | 99251 94714 20 | 0.190 % |
170.16/170.36 c | 288995 | 7874 67280 223601 | 99251 94970 20 | 0.190 % |
170.46/170.65 c | 289276 | 7874 67280 223601 | 99251 95251 20 | 0.190 % |
170.66/170.87 c | 289591 | 7874 67280 223601 | 99251 95566 20 | 0.190 % |
170.96/171.17 c | 289930 | 7874 67280 223601 | 99251 95905 20 | 0.190 % |
171.56/171.72 c | 290302 | 7874 67280 223601 | 95975 83089 19 | 0.190 % |
171.86/172.04 c | 290712 | 7874 67280 223601 | 95975 83499 20 | 0.190 % |
172.26/172.49 c | 291161 | 7874 67280 223601 | 95975 83948 20 | 0.190 % |
172.86/173.08 c | 291654 | 7874 67280 223601 | 95975 84441 20 | 0.190 % |
173.16/173.36 c | 292196 | 7874 67280 223601 | 95975 84983 20 | 0.190 % |
173.66/173.85 c | 292793 | 7874 67280 223601 | 95975 85580 20 | 0.190 % |
174.05/174.23 c | 293449 | 7874 67280 223601 | 95975 86236 20 | 0.190 % |
174.45/174.61 c | 294170 | 7874 67280 223601 | 95975 86957 20 | 0.190 % |
175.15/175.35 c | 294962 | 7874 67280 223601 | 95975 87749 20 | 0.190 % |
176.15/176.30 c | 295834 | 7874 67280 223601 | 95975 88621 20 | 0.190 % |
176.96/177.12 c | 296793 | 7874 67280 223601 | 95975 89580 20 | 0.190 % |
177.55/177.73 c | 297848 | 7874 67280 223601 | 95975 90635 20 | 0.190 % |
178.35/178.50 c | 299006 | 7874 67280 223601 | 95975 91793 20 | 0.190 % |
179.65/179.89 c | 300279 | 7874 67280 223601 | 92787 81674 19 | 0.190 % |
180.75/180.99 c | 301679 | 7874 67280 223601 | 92787 83074 19 | 0.190 % |
181.85/182.00 c | 303219 | 7874 67280 223601 | 92787 84614 20 | 0.190 % |
183.55/183.70 c | 304914 | 7874 67280 223601 | 92787 86309 20 | 0.190 % |
185.05/185.20 c | 306778 | 7874 67280 223601 | 92787 88173 20 | 0.190 % |
186.55/186.78 c | 308827 | 7874 67280 223601 | 92787 90222 20 | 0.190 % |
188.05/188.21 c | 311082 | 7874 67280 223601 | 2147483647 92477 20 | 0.190 % |
189.95/190.10 c | 313561 | 7874 67280 223601 | 2147483647 94956 20 | 0.190 % |
191.85/192.04 c | 316287 | 7874 67280 223601 | 2147483647 97682 20 | 0.190 % |
194.34/194.53 c | 319286 | 7874 67280 223601 | 2147483647 100681 20 | 0.190 % |
194.45/194.62 c | 319386 | 7874 67280 223601 | 2147483647 100781 20 | 0.190 % |
194.55/194.74 c | 319497 | 7874 67280 223601 | 2147483647 100892 20 | 0.190 % |
194.64/194.83 c | 319619 | 7874 67280 223601 | 2147483647 101014 20 | 0.190 % |
194.74/194.93 c | 319752 | 7874 67280 223601 | 2147483647 101147 20 | 0.190 % |
194.84/195.03 c | 319898 | 7874 67280 223601 | 2147483647 101293 20 | 0.190 % |
194.94/195.16 c | 320058 | 7874 67280 223601 | 101396 101453 20 | 0.190 % |
195.34/195.54 c | 320234 | 7874 67280 223601 | 101396 90454 20 | 0.190 % |
195.44/195.65 c | 320428 | 7874 67280 223601 | 101396 90648 20 | 0.190 % |
195.55/195.79 c | 320640 | 7874 67280 223601 | 101396 90860 20 | 0.190 % |
195.84/196.05 c | 320874 | 7874 67280 223601 | 101396 91094 20 | 0.190 % |
196.04/196.24 c | 321130 | 7874 67280 223601 | 101396 91350 20 | 0.190 % |
196.34/196.52 c | 321414 | 7874 67280 223601 | 101396 91634 20 | 0.190 % |
196.44/196.67 c | 321724 | 7874 67280 223601 | 101396 91944 20 | 0.190 % |
196.75/196.94 c | 322065 | 7874 67280 223601 | 101396 92285 20 | 0.190 % |
197.04/197.29 c | 322438 | 7874 67280 223601 | 101396 92658 20 | 0.190 % |
197.34/197.56 c | 322848 | 7874 67280 223601 | 101396 93068 20 | 0.190 % |
197.84/198.05 c | 323298 | 7874 67280 223601 | 101396 93518 20 | 0.190 % |
198.24/198.43 c | 323791 | 7874 67280 223601 | 101396 94011 20 | 0.190 % |
198.74/198.97 c | 324335 | 7874 67280 223601 | 101396 94555 20 | 0.190 % |
199.24/199.49 c | 324932 | 7874 67280 223601 | 101396 95152 20 | 0.190 % |
200.04/200.23 c | 325587 | 7874 67280 223601 | 101396 95807 20 | 0.190 % |
200.74/200.99 c | 326307 | 7874 67280 223601 | 101396 96527 20 | 0.190 % |
201.64/201.87 c | 327099 | 7874 67280 223601 | 101396 97319 20 | 0.190 % |
202.34/202.54 c | 327971 | 7874 67280 223601 | 101396 98191 20 | 0.190 % |
203.14/203.39 c | 328929 | 7874 67280 223601 | 101396 99149 20 | 0.190 % |
204.14/204.38 c | 329982 | 7874 67280 223601 | 101396 100202 20 | 0.190 % |
205.54/205.73 c | 331141 | 7874 67280 223601 | 100221 87693 20 | 0.190 % |
206.64/206.83 c | 332415 | 7874 67280 223601 | 100221 88967 20 | 0.190 % |
207.94/208.11 c | 333815 | 7874 67280 223601 | 100221 90367 20 | 0.190 % |
209.03/209.25 c | 335355 | 7874 67280 223601 | 100221 91907 20 | 0.190 % |
210.53/210.75 c | 337050 | 7874 67280 223601 | 100221 93602 20 | 0.190 % |
211.63/211.83 c | 338917 | 7874 67280 223601 | 100221 95469 20 | 0.190 % |
213.33/213.59 c | 340966 | 7874 67280 223601 | 96552 84957 20 | 0.190 % |
214.83/215.08 c | 343220 | 7874 67280 223601 | 96552 87211 20 | 0.190 % |
216.93/217.14 c | 345700 | 7874 67280 223601 | 96552 89691 20 | 0.190 % |
219.23/219.47 c | 348428 | 7874 67280 223601 | 96552 92419 20 | 0.190 % |
221.63/221.83 c | 351426 | 7874 67280 223601 | 93992 85268 20 | 0.190 % |
224.23/224.42 c | 354724 | 7874 67280 223601 | 93992 88566 20 | 0.190 % |
224.23/224.46 c | 354824 | 7874 67280 223601 | 93992 88666 20 | 0.190 % |
224.33/224.59 c | 354934 | 7874 67280 223601 | 93992 88776 20 | 0.190 % |
224.43/224.66 c | 355056 | 7874 67280 223601 | 93992 88898 20 | 0.190 % |
224.63/224.86 c | 355189 | 7874 67280 223601 | 93992 89031 20 | 0.190 % |
224.83/225.02 c | 355336 | 7874 67280 223601 | 93992 89178 20 | 0.190 % |
225.03/225.21 c | 355496 | 7874 67280 223601 | 93992 89338 20 | 0.190 % |
225.13/225.35 c | 355674 | 7874 67280 223601 | 93992 89516 20 | 0.190 % |
225.33/225.52 c | 355868 | 7874 67280 223601 | 93992 89710 20 | 0.190 % |
225.43/225.69 c | 356080 | 7874 67280 223601 | 93992 89922 20 | 0.190 % |
225.63/225.87 c | 356314 | 7874 67280 223601 | 93992 90156 20 | 0.190 % |
225.83/226.03 c | 356570 | 7874 67280 223601 | 93992 90412 20 | 0.190 % |
226.13/226.33 c | 356853 | 7874 67280 223601 | 93992 90695 20 | 0.190 % |
226.53/226.71 c | 357162 | 7874 67280 223601 | 93992 91004 20 | 0.190 % |
226.73/226.97 c | 357502 | 7874 67280 223601 | 93992 91344 20 | 0.190 % |
227.22/227.42 c | 357875 | 7874 67280 223601 | 93992 91717 20 | 0.190 % |
227.62/227.81 c | 358284 | 7874 67280 223601 | 93992 92126 20 | 0.190 % |
228.02/228.22 c | 358734 | 7874 67280 223601 | 93992 92576 20 | 0.190 % |
228.53/228.72 c | 359229 | 7874 67280 223601 | 93992 93071 20 | 0.190 % |
229.03/229.22 c | 359772 | 7874 67280 223601 | 93992 93614 20 | 0.190 % |
229.63/229.88 c | 360368 | 7874 67280 223601 | 93843 83364 20 | 0.190 % |
230.12/230.38 c | 361023 | 7874 67280 223601 | 93843 84019 20 | 0.190 % |
230.73/230.99 c | 361745 | 7874 67280 223601 | 93843 84741 20 | 0.190 % |
231.52/231.71 c | 362539 | 7874 67280 223601 | 93843 85535 20 | 0.190 % |
232.22/232.41 c | 363410 | 7874 67280 223601 | 93843 86406 20 | 0.190 % |
232.93/233.17 c | 364368 | 7874 67280 223601 | 93843 87364 20 | 0.190 % |
233.92/234.13 c | 365422 | 7874 67280 223601 | 93843 88418 20 | 0.190 % |
235.02/235.30 c | 366580 | 7874 67280 223601 | 93843 89576 20 | 0.190 % |
236.12/236.36 c | 367853 | 7874 67280 223601 | 93843 90849 20 | 0.190 % |
237.42/237.62 c | 369253 | 7874 67280 223601 | 93843 92249 20 | 0.190 % |
238.32/238.58 c | 370793 | 7874 67280 223601 | 92997 84424 20 | 0.190 % |
239.92/240.14 c | 372487 | 7874 67280 223601 | 92997 86118 20 | 0.190 % |
241.42/241.67 c | 374351 | 7874 67280 223601 | 92997 87982 20 | 0.190 % |
243.22/243.45 c | 376402 | 7874 67280 223601 | 92997 90033 20 | 0.190 % |
245.22/245.49 c | 378656 | 7874 67280 223601 | 92997 92287 20 | 0.190 % |
247.22/247.49 c | 381135 | 7874 67280 223601 | 2147483647 85443 19 | 0.190 % |
249.32/249.54 c | 383860 | 7874 67280 223601 | 2147483647 88168 20 | 0.190 % |
252.11/252.33 c | 386858 | 7874 67280 223601 | 2147483647 91166 20 | 0.190 % |
254.71/254.95 c | 390158 | 7874 67280 223601 | 2147483647 94466 20 | 0.190 % |
257.71/257.97 c | 393785 | 7874 67280 223601 | 2147483647 98093 20 | 0.190 % |
257.81/258.07 c | 393885 | 7874 67280 223601 | 2147483647 98193 20 | 0.190 % |
257.91/258.17 c | 393995 | 7874 67280 223601 | 2147483647 98303 20 | 0.190 % |
258.11/258.32 c | 394116 | 7874 67280 223601 | 2147483647 98424 20 | 0.190 % |
258.21/258.43 c | 394249 | 7874 67280 223601 | 2147483647 98557 20 | 0.190 % |
258.31/258.55 c | 394395 | 7874 67280 223601 | 2147483647 98703 20 | 0.190 % |
258.41/258.64 c | 394557 | 7874 67280 223601 | 2147483647 98865 20 | 0.190 % |
258.51/258.79 c | 394735 | 7874 67280 223601 | 2147483647 99043 20 | 0.190 % |
258.71/258.99 c | 394929 | 7874 67280 223601 | 2147483647 99237 20 | 0.190 % |
259.01/259.26 c | 395142 | 7874 67280 223601 | 2147483647 99450 20 | 0.190 % |
259.21/259.49 c | 395375 | 7874 67280 223601 | 2147483647 99683 20 | 0.190 % |
259.51/259.73 c | 395632 | 7874 67280 223601 | 2147483647 99940 20 | 0.190 % |
259.81/260.09 c | 395913 | 7874 67280 223601 | 2147483647 100221 20 | 0.190 % |
260.11/260.38 c | 396222 | 7874 67280 223601 | 2147483647 100530 20 | 0.190 % |
260.41/260.70 c | 396561 | 7874 67280 223601 | 2147483647 100869 20 | 0.190 % |
260.91/261.16 c | 396933 | 7874 67280 223601 | 2147483647 101241 20 | 0.190 % |
261.41/261.68 c | 397343 | 7874 67280 223601 | 2147483647 101651 20 | 0.190 % |
261.81/262.00 c | 397792 | 7874 67280 223601 | 2147483647 102100 20 | 0.190 % |
262.21/262.48 c | 398285 | 7874 67280 223601 | 2147483647 102593 20 | 0.190 % |
262.61/262.89 c | 398828 | 7874 67280 223601 | 2147483647 103136 20 | 0.190 % |
263.21/263.42 c | 399424 | 7874 67280 223601 | 2147483647 103732 20 | 0.190 % |
264.01/264.23 c | 400081 | 7874 67280 223601 | 104309 92832 20 | 0.190 % |
264.60/264.88 c | 400801 | 7874 67280 223601 | 104309 93552 20 | 0.190 % |
265.20/265.42 c | 401594 | 7874 67280 223601 | 104309 94345 20 | 0.190 % |
266.10/266.38 c | 402465 | 7874 67280 223601 | 104309 95216 20 | 0.190 % |
267.11/267.36 c | 403423 | 7874 67280 223601 | 104309 96174 20 | 0.190 % |
268.21/268.46 c | 404476 | 7874 67280 223601 | 104309 97227 20 | 0.190 % |
269.60/269.81 c | 405634 | 7874 67280 223601 | 104309 98385 20 | 0.190 % |
270.50/270.78 c | 406908 | 7874 67280 223601 | 104309 99659 20 | 0.190 % |
271.50/271.74 c | 408308 | 7874 67280 223601 | 104309 101059 20 | 0.190 % |
273.00/273.20 c | 409849 | 7874 67280 223601 | 104309 102600 20 | 0.190 % |
274.40/274.62 c | 411543 | 7874 67280 223601 | 102751 92419 20 | 0.190 % |
276.40/276.60 c | 413407 | 7874 67280 223601 | 102751 94283 20 | 0.190 % |
278.00/278.23 c | 415457 | 7874 67280 223601 | 102751 96333 20 | 0.190 % |
279.90/280.18 c | 417710 | 7874 67280 223601 | 102751 98586 20 | 0.190 % |
282.40/282.63 c | 420190 | 7874 67280 223601 | 100880 101066 20 | 0.190 % |
285.40/285.68 c | 422916 | 7874 67280 223601 | 100880 91822 20 | 0.190 % |
288.49/288.73 c | 425914 | 7874 67280 223601 | 100880 94820 20 | 0.190 % |
291.20/291.42 c | 429210 | 7874 67280 223601 | 100880 98116 20 | 0.190 % |
294.39/294.67 c | 432837 | 7874 67280 223601 | 98906 91161 20 | 0.190 % |
297.09/297.30 c | 436825 | 7874 67280 223601 | 98906 95149 20 | 0.190 % |
297.19/297.41 c | 436925 | 7874 67280 223601 | 98906 95249 20 | 0.190 % |
297.29/297.50 c | 437035 | 7874 67280 223601 | 98906 95359 20 | 0.190 % |
297.39/297.65 c | 437158 | 7874 67280 223601 | 98906 95482 20 | 0.190 % |
297.49/297.70 c | 437292 | 7874 67280 223601 | 98906 95616 20 | 0.190 % |
297.59/297.87 c | 437438 | 7874 67280 223601 | 98906 95762 20 | 0.190 % |
297.79/298.03 c | 437599 | 7874 67280 223601 | 98906 95923 20 | 0.190 % |
297.99/298.20 c | 437776 | 7874 67280 223601 | 98906 96100 20 | 0.190 % |
298.09/298.33 c | 437969 | 7874 67280 223601 | 98906 96293 20 | 0.190 % |
298.29/298.54 c | 438181 | 7874 67280 223601 | 98906 96505 20 | 0.190 % |
298.49/298.76 c | 438415 | 7874 67280 223601 | 98906 96739 20 | 0.190 % |
298.69/298.92 c | 438671 | 7874 67280 223601 | 98906 96995 20 | 0.190 % |
298.89/299.19 c | 438952 | 7874 67280 223601 | 98906 97276 20 | 0.190 % |
299.29/299.54 c | 439261 | 7874 67280 223601 | 98906 97585 20 | 0.190 % |
299.49/299.75 c | 439600 | 7874 67280 223601 | 98906 97924 20 | 0.190 % |
299.79/300.04 c | 439972 | 7874 67280 223601 | 98906 98296 20 | 0.190 % |
300.29/300.53 c | 440381 | 7874 67280 223601 | 98327 88128 20 | 0.190 % |
300.59/300.85 c | 440830 | 7874 67280 223601 | 98327 88577 20 | 0.190 % |
300.89/301.18 c | 441324 | 7874 67280 223601 | 98327 89071 20 | 0.190 % |
301.39/301.62 c | 441868 | 7874 67280 223601 | 98327 89615 20 | 0.190 % |
301.99/302.22 c | 442464 | 7874 67280 223601 | 98327 90211 20 | 0.190 % |
302.59/302.82 c | 443119 | 7874 67280 223601 | 98327 90866 20 | 0.190 % |
303.39/303.62 c | 443839 | 7874 67280 223601 | 98327 91586 20 | 0.190 % |
304.09/304.32 c | 444632 | 7874 67280 223601 | 98327 92379 20 | 0.190 % |
304.79/305.01 c | 445503 | 7874 67280 223601 | 98327 93250 20 | 0.190 % |
305.59/305.87 c | 446462 | 7874 67280 223601 | 98327 94209 20 | 0.190 % |
306.69/306.99 c | 447515 | 7874 67280 223601 | 98327 95262 20 | 0.190 % |
308.28/308.57 c | 448674 | 7874 67280 223601 | 98327 96421 20 | 0.190 % |
309.38/309.61 c | 449947 | 7874 67280 223601 | 98327 97694 20 | 0.190 % |
310.68/310.95 c | 451347 | 7874 67280 223601 | 97752 87228 20 | 0.190 % |
312.19/312.45 c | 452887 | 7874 67280 223601 | 97752 88768 20 | 0.190 % |
313.29/313.59 c | 454581 | 7874 67280 223601 | 97752 90462 20 | 0.190 % |
315.18/315.45 c | 456448 | 7874 67280 223601 | 97752 92329 20 | 0.190 % |
317.08/317.37 c | 458497 | 7874 67280 223601 | 97752 94378 20 | 0.190 % |
319.28/319.51 c | 460752 | 7874 67280 223601 | 95881 86246 20 | 0.190 % |
321.58/321.81 c | 463230 | 7874 67280 223601 | 95881 88724 20 | 0.190 % |
323.78/324.02 c | 465956 | 7874 67280 223601 | 95881 91450 20 | 0.190 % |
326.58/326.85 c | 468954 | 7874 67280 223601 | 95881 94448 20 | 0.190 % |
329.58/329.85 c | 472250 | 7874 67280 223601 | 95495 85720 19 | 0.190 % |
331.77/332.08 c | 475875 | 7874 67280 223601 | 95495 89345 19 | 0.190 % |
335.37/335.67 c | 479863 | 7874 67280 223601 | 95495 93333 20 | 0.190 % |
339.07/339.39 c | 484248 | 7874 67280 223601 | 2147483647 97718 20 | 0.190 % |
339.27/339.50 c | 484348 | 7874 67280 223601 | 2147483647 97818 20 | 0.190 % |
339.37/339.66 c | 484458 | 7874 67280 223601 | 2147483647 97928 20 | 0.190 % |
339.47/339.78 c | 484579 | 7874 67280 223601 | 2147483647 98049 20 | 0.190 % |
339.68/339.92 c | 484714 | 7874 67280 223601 | 2147483647 98184 20 | 0.190 % |
339.77/340.06 c | 484861 | 7874 67280 223601 | 2147483647 98331 20 | 0.190 % |
339.87/340.17 c | 485023 | 7874 67280 223601 | 2147483647 98493 20 | 0.190 % |
340.17/340.43 c | 485199 | 7874 67280 223601 | 2147483647 98669 20 | 0.190 % |
340.37/340.66 c | 485394 | 7874 67280 223601 | 2147483647 98864 20 | 0.190 % |
340.57/340.88 c | 485607 | 7874 67280 223601 | 2147483647 99077 20 | 0.190 % |
340.87/341.10 c | 485840 | 7874 67280 223601 | 2147483647 99310 20 | 0.190 % |
341.07/341.35 c | 486096 | 7874 67280 223601 | 2147483647 99566 20 | 0.190 % |
341.47/341.70 c | 486379 | 7874 67280 223601 | 2147483647 99849 20 | 0.190 % |
341.67/342.00 c | 486689 | 7874 67280 223601 | 2147483647 100159 20 | 0.190 % |
342.07/342.39 c | 487029 | 7874 67280 223601 | 2147483647 100499 20 | 0.190 % |
342.47/342.80 c | 487401 | 7874 67280 223601 | 2147483647 100871 20 | 0.190 % |
343.17/343.46 c | 487812 | 7874 67280 223601 | 2147483647 101282 20 | 0.190 % |
343.67/343.98 c | 488263 | 7874 67280 223601 | 2147483647 101733 20 | 0.190 % |
344.27/344.56 c | 488756 | 7874 67280 223601 | 2147483647 102226 20 | 0.190 % |
344.67/344.98 c | 489302 | 7874 67280 223601 | 2147483647 102772 20 | 0.190 % |
345.37/345.63 c | 489900 | 7874 67280 223601 | 2147483647 103370 20 | 0.190 % |
346.27/346.51 c | 490556 | 7874 67280 223601 | 103470 89925 19 | 0.190 % |
346.86/347.16 c | 491276 | 7874 67280 223601 | 103470 90645 19 | 0.190 % |
347.66/347.93 c | 492069 | 7874 67280 223601 | 103470 91438 19 | 0.190 % |
348.26/348.57 c | 492941 | 7874 67280 223601 | 103470 92310 20 | 0.190 % |
349.16/349.40 c | 493900 | 7874 67280 223601 | 103470 93269 20 | 0.190 % |
349.86/350.17 c | 494954 | 7874 67280 223601 | 103470 94323 20 | 0.190 % |
350.86/351.10 c | 496113 | 7874 67280 223601 | 103470 95482 20 | 0.190 % |
351.86/352.19 c | 497386 | 7874 67280 223601 | 103470 96755 20 | 0.190 % |
353.36/353.66 c | 498787 | 7874 67280 223601 | 103470 98156 20 | 0.190 % |
355.06/355.32 c | 500328 | 7874 67280 223601 | 99369 85252 19 | 0.190 % |
356.16/356.49 c | 502022 | 7874 67280 223601 | 99369 86946 19 | 0.190 % |
358.26/358.57 c | 503885 | 7874 67280 223601 | 99369 88809 19 | 0.190 % |
359.66/360.00 c | 505935 | 7874 67280 223601 | 99369 90859 19 | 0.190 % |
361.56/361.87 c | 508189 | 7874 67280 223601 | 99369 93113 20 | 0.190 % |
363.76/364.08 c | 510667 | 7874 67280 223601 | 94924 85475 19 | 0.190 % |
366.26/366.59 c | 513394 | 7874 67280 223601 | 94924 88202 19 | 0.190 % |
368.85/369.13 c | 516391 | 7874 67280 223601 | 94924 91199 20 | 0.190 % |
371.75/372.05 c | 519688 | 7874 67280 223601 | 94924 94496 20 | 0.190 % |
375.05/375.36 c | 523317 | 7874 67280 223601 | 2147483647 98125 20 | 0.190 % |
378.55/378.87 c | 527305 | 7874 67280 223601 | 2147483647 102113 20 | 0.190 % |
383.66/383.95 c | 531690 | 7874 67280 223601 | 104809 92814 20 | 0.190 % |
388.55/388.81 c | 536513 | 7874 67280 223601 | 104809 97637 20 | 0.190 % |
388.65/388.94 c | 536613 | 7874 67280 223601 | 104809 97737 20 | 0.190 % |
388.75/389.06 c | 536723 | 7874 67280 223601 | 104809 97847 20 | 0.190 % |
388.85/389.17 c | 536845 | 7874 67280 223601 | 104809 97969 20 | 0.190 % |
388.95/389.26 c | 536978 | 7874 67280 223601 | 104809 98102 20 | 0.190 % |
389.16/389.43 c | 537125 | 7874 67280 223601 | 104809 98249 20 | 0.190 % |
389.35/389.60 c | 537288 | 7874 67280 223601 | 104809 98412 20 | 0.190 % |
389.45/389.79 c | 537464 | 7874 67280 223601 | 104809 98588 20 | 0.190 % |
389.65/389.95 c | 537657 | 7874 67280 223601 | 104809 98781 20 | 0.190 % |
389.95/390.20 c | 537869 | 7874 67280 223601 | 104809 98993 20 | 0.190 % |
390.16/390.47 c | 538103 | 7874 67280 223601 | 104809 99227 20 | 0.190 % |
390.45/390.70 c | 538359 | 7874 67280 223601 | 104809 99483 20 | 0.190 % |
390.75/391.04 c | 538641 | 7874 67280 223601 | 104809 99765 20 | 0.190 % |
391.15/391.43 c | 538950 | 7874 67280 223601 | 104809 100074 20 | 0.190 % |
391.55/391.84 c | 539291 | 7874 67280 223601 | 104809 100415 20 | 0.190 % |
391.95/392.29 c | 539663 | 7874 67280 223601 | 104809 100787 20 | 0.190 % |
392.46/392.71 c | 540073 | 7874 67280 223601 | 101124 101197 20 | 0.190 % |
393.15/393.40 c | 540522 | 7874 67280 223601 | 101124 89887 20 | 0.190 % |
393.65/394.00 c | 541017 | 7874 67280 223601 | 101124 90382 20 | 0.190 % |
394.15/394.41 c | 541560 | 7874 67280 223601 | 101124 90925 20 | 0.190 % |
394.75/395.02 c | 542156 | 7874 67280 223601 | 101124 91521 20 | 0.190 % |
395.35/395.70 c | 542811 | 7874 67280 223601 | 101124 92176 20 | 0.190 % |
395.95/396.21 c | 543531 | 7874 67280 223601 | 101124 92896 20 | 0.190 % |
396.65/396.95 c | 544323 | 7874 67280 223601 | 101124 93688 20 | 0.190 % |
397.45/397.76 c | 545195 | 7874 67280 223601 | 101124 94560 20 | 0.190 % |
398.35/398.61 c | 546154 | 7874 67280 223601 | 101124 95519 20 | 0.190 % |
399.45/399.73 c | 547210 | 7874 67280 223601 | 101124 96575 20 | 0.190 % |
400.75/401.00 c | 548368 | 7874 67280 223601 | 101124 97733 20 | 0.190 % |
401.85/402.15 c | 549642 | 7874 67280 223601 | 101124 99007 20 | 0.190 % |
403.15/403.44 c | 551042 | 7874 67280 223601 | 99365 86464 20 | 0.190 % |
404.65/404.97 c | 552582 | 7874 67280 223601 | 99365 88004 20 | 0.190 % |
406.65/406.99 c | 554276 | 7874 67280 223601 | 99365 89698 20 | 0.190 % |
408.25/408.57 c | 556140 | 7874 67280 223601 | 99365 91562 20 | 0.190 % |
409.75/410.06 c | 558189 | 7874 67280 223601 | 99365 93611 20 | 0.190 % |
411.54/411.81 c | 560442 | 7874 67280 223601 | 95423 84577 20 | 0.190 % |
413.44/413.74 c | 562923 | 7874 67280 223601 | 95423 87058 20 | 0.190 % |
415.64/415.93 c | 565652 | 7874 67280 223601 | 95423 89787 20 | 0.190 % |
418.24/418.55 c | 568649 | 7874 67280 223601 | 95423 92784 20 | 0.190 % |
421.34/421.64 c | 571947 | 7874 67280 223601 | 2147483647 96082 20 | 0.190 % |
424.44/424.73 c | 575573 | 7874 67280 223601 | 2147483647 99708 20 | 0.190 % |
427.84/428.16 c | 579561 | 7874 67280 223601 | 2147483647 103696 20 | 0.190 % |
431.74/432.02 c | 583946 | 7874 67280 223601 | 104135 95593 20 | 0.190 % |
436.24/436.60 c | 588769 | 7874 67280 223601 | 104135 100416 20 | 0.190 % |
442.03/442.33 c | 594075 | 7874 67280 223601 | 101653 95142 20 | 0.190 % |
442.13/442.46 c | 594175 | 7874 67280 223601 | 101653 95242 20 | 0.190 % |
442.23/442.58 c | 594286 | 7874 67280 223601 | 101653 95353 20 | 0.190 % |
442.33/442.68 c | 594407 | 7874 67280 223601 | 101653 95474 20 | 0.190 % |
442.53/442.80 c | 594540 | 7874 67280 223601 | 101653 95607 20 | 0.190 % |
442.63/442.94 c | 594686 | 7874 67280 223601 | 101653 95753 20 | 0.190 % |
442.83/443.12 c | 594850 | 7874 67280 223601 | 101653 95917 20 | 0.190 % |
442.94/443.24 c | 595027 | 7874 67280 223601 | 101653 96094 20 | 0.190 % |
443.13/443.44 c | 595220 | 7874 67280 223601 | 101653 96287 20 | 0.190 % |
443.33/443.64 c | 595432 | 7874 67280 223601 | 101653 96499 20 | 0.190 % |
443.63/443.93 c | 595665 | 7874 67280 223601 | 101653 96732 20 | 0.190 % |
443.83/444.16 c | 595921 | 7874 67280 223601 | 101653 96988 20 | 0.190 % |
444.13/444.45 c | 596202 | 7874 67280 223601 | 101653 97269 20 | 0.190 % |
444.43/444.73 c | 596512 | 7874 67280 223601 | 101653 97579 20 | 0.190 % |
444.83/445.13 c | 596852 | 7874 67280 223601 | 101653 97919 20 | 0.190 % |
445.13/445.45 c | 597225 | 7874 67280 223601 | 101653 98292 20 | 0.190 % |
445.53/445.86 c | 597635 | 7873 67264 223568 | 101653 98701 20 | 0.203 % |
445.93/446.22 c | 598085 | 7873 67264 223568 | 101653 99151 20 | 0.203 % |
446.43/446.73 c | 598578 | 7873 67264 223568 | 101653 99644 20 | 0.203 % |
447.23/447.51 c | 599120 | 7873 67264 223568 | 101653 100186 20 | 0.203 % |
447.73/448.05 c | 599717 | 7873 67264 223568 | 101653 100783 20 | 0.203 % |
448.53/448.85 c | 600373 | 7873 67264 223568 | 101066 88547 19 | 0.203 % |
449.13/449.47 c | 601093 | 7873 67264 223568 | 101066 89267 19 | 0.203 % |
449.93/450.21 c | 601887 | 7873 67264 223568 | 101066 90061 19 | 0.203 % |
450.63/450.97 c | 602758 | 7873 67264 223568 | 101066 90932 19 | 0.203 % |
451.32/451.68 c | 603717 | 7873 67264 223568 | 101066 91891 19 | 0.203 % |
452.22/452.56 c | 604772 | 7873 67264 223568 | 101066 92946 19 | 0.203 % |
453.32/453.67 c | 605930 | 7873 67264 223568 | 101066 94104 20 | 0.203 % |
454.52/454.81 c | 607203 | 7873 67264 223568 | 101066 95377 20 | 0.203 % |
455.72/456.06 c | 608603 | 7873 67264 223568 | 101066 96777 20 | 0.203 % |
457.52/457.84 c | 610147 | 7873 67264 223568 | 2147483647 98321 20 | 0.203 % |
459.32/459.69 c | 611841 | 7873 67264 223568 | 2147483647 100015 20 | 0.203 % |
461.12/461.50 c | 613706 | 7873 67264 223568 | 2147483647 101880 20 | 0.203 % |
463.42/463.77 c | 615756 | 7873 67264 223568 | 2147483647 103930 20 | 0.203 % |
466.22/466.50 c | 618010 | 7873 67264 223568 | 2147483647 106184 20 | 0.203 % |
469.32/469.66 c | 620488 | 7873 67264 223568 | 108174 94294 20 | 0.203 % |
472.02/472.34 c | 623214 | 7873 67264 223568 | 108174 97020 20 | 0.203 % |
474.62/474.97 c | 626211 | 7873 67264 223568 | 108174 100017 20 | 0.203 % |
477.81/478.18 c | 629507 | 7873 67264 223568 | 108174 103313 20 | 0.203 % |
481.71/482.09 c | 633133 | 7873 67264 223568 | 103806 94288 20 | 0.203 % |
485.01/485.30 c | 637120 | 7873 67264 223568 | 103806 98275 20 | 0.203 % |
489.61/489.93 c | 641505 | 7873 67264 223568 | 101155 92525 19 | 0.203 % |
495.01/495.33 c | 646329 | 7873 67264 223568 | 101155 97349 19 | 0.203 % |
500.11/500.50 c | 651634 | 7873 67264 223568 | 2147483647 102654 20 | 0.203 % |
506.90/507.26 c | 657470 | 7873 67264 223568 | 2147483647 108490 20 | 0.203 % |
507.10/507.41 c | 657571 | 7873 67264 223568 | 2147483647 108591 20 | 0.203 % |
507.20/507.54 c | 657681 | 7873 67264 223568 | 2147483647 108701 20 | 0.203 % |
507.40/507.73 c | 657802 | 7873 67264 223568 | 2147483647 108822 20 | 0.203 % |
507.50/507.85 c | 657936 | 7873 67264 223568 | 2147483647 108956 20 | 0.203 % |
507.70/508.08 c | 658083 | 7873 67264 223568 | 2147483647 109103 20 | 0.203 % |
507.91/508.24 c | 658244 | 7873 67264 223568 | 2147483647 109264 20 | 0.203 % |
508.10/508.40 c | 658421 | 7873 67264 223568 | 2147483647 109441 20 | 0.203 % |
508.20/508.59 c | 658617 | 7873 67264 223568 | 2147483647 109637 20 | 0.203 % |
508.40/508.79 c | 658829 | 7873 67264 223568 | 2147483647 109849 20 | 0.203 % |
508.80/509.13 c | 659063 | 7873 67264 223568 | 2147483647 110083 20 | 0.203 % |
509.10/509.49 c | 659319 | 7873 67264 223568 | 2147483647 110339 20 | 0.203 % |
509.60/509.93 c | 659600 | 7873 67264 223568 | 2147483647 110620 20 | 0.203 % |
510.00/510.30 c | 659909 | 7873 67264 223568 | 2147483647 110929 20 | 0.203 % |
510.40/510.80 c | 660249 | 7873 67264 223568 | 111020 111269 20 | 0.203 % |
511.20/511.57 c | 660624 | 7873 67264 223568 | 111020 92858 19 | 0.203 % |
511.60/511.97 c | 661033 | 7873 67264 223568 | 111020 93267 19 | 0.203 % |
512.10/512.46 c | 661483 | 7873 67264 223568 | 111020 93717 19 | 0.203 % |
512.70/513.06 c | 661978 | 7873 67264 223568 | 111020 94212 19 | 0.203 % |
513.40/513.74 c | 662524 | 7873 67264 223568 | 111020 94758 19 | 0.203 % |
514.20/514.56 c | 663120 | 7873 67264 223568 | 111020 95354 19 | 0.203 % |
515.00/515.36 c | 663775 | 7873 67264 223568 | 111020 96009 19 | 0.203 % |
516.00/516.34 c | 664495 | 7873 67264 223568 | 111020 96729 19 | 0.203 % |
516.70/517.05 c | 665288 | 7873 67264 223568 | 111020 97522 19 | 0.203 % |
517.59/517.95 c | 666161 | 7873 67264 223568 | 111020 98395 19 | 0.203 % |
518.49/518.86 c | 667121 | 7873 67264 223568 | 111020 99355 19 | 0.203 % |
519.29/519.68 c | 668175 | 7873 67264 223568 | 111020 100409 19 | 0.203 % |
520.39/520.70 c | 669333 | 7873 67264 223568 | 111020 101567 19 | 0.203 % |
521.79/522.13 c | 670606 | 7873 67264 223568 | 102234 88338 19 | 0.203 % |
522.99/523.39 c | 672009 | 7873 67264 223568 | 102234 89741 19 | 0.203 % |
524.19/524.52 c | 673551 | 7873 67264 223568 | 102234 91283 19 | 0.203 % |
525.50/525.86 c | 675245 | 7873 67264 223568 | 102234 92977 19 | 0.203 % |
526.79/527.16 c | 677109 | 7873 67264 223568 | 102234 94841 19 | 0.203 % |
528.79/529.11 c | 679159 | 7873 67264 223568 | 102234 96891 19 | 0.203 % |
531.39/531.74 c | 681412 | 7873 67264 223568 | 97732 87806 18 | 0.203 % |
533.69/534.09 c | 683890 | 7873 67264 223568 | 97732 90284 18 | 0.203 % |
536.19/536.56 c | 686616 | 7873 67264 223568 | 97732 93010 19 | 0.203 % |
539.29/539.68 c | 689613 | 7873 67264 223568 | 97732 96007 19 | 0.203 % |
542.78/543.18 c | 692909 | 7873 67264 223568 | 96395 88354 18 | 0.203 % |
546.48/546.80 c | 696534 | 7873 67264 223568 | 96395 91979 18 | 0.203 % |
549.58/549.98 c | 700522 | 7870 66853 221264 | 2147483647 21927 11 | 0.241 % |
550.38/550.76 c | 704908 | 7868 66577 220171 | 2147483647 24124 11 | 0.266 % |
551.38/551.79 c | 709731 | 7856 66135 218820 | 2147483647 23813 11 | 0.469 % |
551.58/551.94 c ===============================================================================
551.58/551.94 c restarts : 1034
551.58/551.94 c conflicts : 710440 (1291 /sec)
551.58/551.94 c decisions : 1022229 (1.80 % random) (1857 /sec)
551.58/551.94 c propagations : 165344501 (300425 /sec)
551.58/551.94 c conflict literals : 15740011 (37.02 % deleted)
551.58/551.94 c Memory used : 22.30 MB
551.58/551.94 c CPU time : 550.369 s
551.58/551.94 c
551.58/551.94 s UNSATISFIABLE
551.58/551.95 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833801-1242825255/watcher-1833801-1242825255 -o /tmp/evaluation-result-1833801-1242825255/solver-1833801-1242825255 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833801-1242825255.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) R 15038 15040 14896 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840079859 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
[startup+0.029894 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102905 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301941 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702015 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15040
/proc/meminfo: memFree=1969208/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=0
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310553533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15040/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50116 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15045
/proc/meminfo: memFree=1948072/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 5356
[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1960040/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=7384 CPUtime=1.87
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 1690 0 0 0 186 1 0 0 25 0 1 0 310553653 7561216 1676 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 1846 1676 77 171 0 1673 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12740
[startup+6.30103 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1957672/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=9132 CPUtime=5.07
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 2159 0 0 0 506 1 0 0 25 0 1 0 310553653 9351168 2145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 2283 2145 77 171 0 2110 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14488
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1954920/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=11592 CPUtime=11.47
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 2776 0 0 0 1144 3 0 0 25 0 1 0 310553653 11870208 2762 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 2898 2762 77 171 0 2725 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 16948
[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1951912/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=14528 CPUtime=24.26
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 3494 0 0 0 2423 3 0 0 25 0 1 0 310553653 14876672 3480 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 3632 3480 77 171 0 3459 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19884
[startup+51.1022 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1950376/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=15936 CPUtime=49.84
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 3856 0 0 0 4980 4 0 0 25 0 1 0 310553653 16318464 3842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 3984 3842 77 171 0 3811 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21292
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1945576/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=20956 CPUtime=101.01
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5042 0 0 0 10095 6 0 0 25 0 1 0 310553653 21458944 5028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5239 5028 77 171 0 5066 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 26312
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944872/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=21528 CPUtime=160.97
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5192 0 0 0 16091 6 0 0 25 0 1 0 310553653 22044672 5178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5382 5178 77 171 0 5209 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 26884
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944552/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=21852 CPUtime=220.94
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5244 0 0 0 22088 6 0 0 25 0 1 0 310553653 22376448 5230 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5463 5230 77 171 0 5290 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 27208
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1944296/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22020 CPUtime=280.91
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5282 0 0 0 28085 6 0 0 25 0 1 0 310553653 22548480 5268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5505 5268 77 171 0 5332 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 27376
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943976/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22172 CPUtime=340.88
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5331 0 0 0 34082 6 0 0 25 0 1 0 310553653 22704128 5317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5543 5317 77 171 0 5370 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 27528
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943592/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22512 CPUtime=400.86
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5400 0 0 0 40079 7 0 0 25 0 1 0 310553653 23052288 5386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5628 5386 77 171 0 5455 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 27868
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943336/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22652 CPUtime=460.83
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5430 0 0 0 46076 7 0 0 25 0 1 0 310553653 23195648 5416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5663 5416 77 171 0 5490 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 28008
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943080/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=520.8
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5481 0 0 0 52073 7 0 0 25 0 1 0 310553653 23379968 5467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5467 77 171 0 5535 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 28188
Solver just ended. Dumping a history of the last processes samples
[startup+537.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=536
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 53593 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 537.19
Current children cumulated vsize (KiB) 28188
[startup+543.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=542.39
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54232 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 543.58
Current children cumulated vsize (KiB) 28188
[startup+547.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=545.59
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54552 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 546.78
Current children cumulated vsize (KiB) 28188
[startup+550.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=548.79
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54872 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (KiB) 28188
[startup+551.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=549.59
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54952 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 550.78
Current children cumulated vsize (KiB) 28188
[startup+551.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=549.99
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 54992 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 551.18
Current children cumulated vsize (KiB) 28188
[startup+551.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15046
/proc/meminfo: memFree=1943016/2055920 swapFree=4179892/4192956
[pid=15040] ppid=15038 vsize=5356 CPUtime=1.19
/proc/15040/stat : 15040 (SatELiteGTI) S 15038 15040 14896 0 -1 4194304 336 5571 0 0 0 0 114 5 16 0 1 0 310553533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15040/statm: 1339 239 197 169 0 50 0
[pid=15046] ppid=15040 vsize=22832 CPUtime=550.39
/proc/15046/stat : 15046 (minisat_static) R 15040 15040 14896 0 -1 4194304 5482 0 0 0 55032 7 0 0 25 0 1 0 310553653 23379968 5468 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15046/statm: 5708 5468 77 171 0 5535 0
Current children cumulated CPU time (s) 551.58
Current children cumulated vsize (KiB) 28188
Child status: 20
Real time (s): 551.958
CPU time (s): 551.655
CPU user time (s): 551.519
CPU system time (s): 0.135979
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 30048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 551.519
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11550
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= 45
involuntary context switches= 2857
runsolver used 0.689895 second user time and 1.41478 second system time
The end
Begin job on node44 at 2009-05-20 15:14:15
IDJOB=1833801
IDBENCH=70941
IDSOLVER=671
FILE ID=node44/1833801-1242825255
PBS_JOBID= 9322513
Free space on /tmp= 66364 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833801-1242825255/watcher-1833801-1242825255 -o /tmp/evaluation-result-1833801-1242825255/solver-1833801-1242825255 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833801-1242825255.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=1405759394
node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1969688 kB
Buffers: 13624 kB
Cached: 37160 kB
SwapCached: 7152 kB
Active: 26720 kB
Inactive: 32892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1969688 kB
SwapTotal: 4192956 kB
SwapFree: 4179892 kB
Dirty: 4624 kB
Writeback: 0 kB
Mapped: 13924 kB
Slab: 12700 kB
Committed_AS: 1027124 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node44 at 2009-05-20 15:23:27