0.00/0.01 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 1785 5355 | 535 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1769 5413 | -- 0 -- -- | -- | -16/58
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 403 #clauses: 1769 #literals: 5413
0.00/0.01 c CPU time: 0.004999 s
0.00/0.01 c ==============================================================================
0.00/0.01 c This is MiniSat 2.0 beta
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Number of variables: 403 |
0.00/0.01 c | Number of clauses: 1769 |
0.00/0.01 c | Parsing time: 0.00 s |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 403 1769 5413 | 589 0 nan | 0.000 % |
0.00/0.02 c | 100 | 403 1769 5413 | 589 100 20 | 0.001 % |
0.00/0.02 c | 202 | 403 1769 5413 | 589 202 20 | 0.001 % |
0.00/0.02 c | 303 | 403 1769 5413 | 589 303 20 | 0.001 % |
0.00/0.02 c | 414 | 403 1769 5413 | 589 414 19 | 0.001 % |
0.00/0.03 c | 514 | 403 1769 5413 | 589 514 19 | 0.001 % |
0.00/0.03 c | 624 | 403 1769 5413 | 589 624 20 | 0.001 % |
0.00/0.03 c | 746 | 403 1769 5413 | 589 623 19 | 0.001 % |
0.00/0.04 c | 847 | 403 1769 5413 | 589 600 18 | 0.001 % |
0.00/0.04 c | 957 | 403 1769 5413 | 589 591 18 | 0.001 % |
0.00/0.05 c | 1078 | 403 1769 5413 | 589 592 18 | 0.001 % |
0.00/0.05 c | 1211 | 403 1769 5413 | 589 604 18 | 0.001 % |
0.00/0.05 c | 1311 | 403 1769 5413 | 589 583 17 | 0.001 % |
0.00/0.06 c | 1421 | 403 1769 5413 | 589 570 17 | 0.001 % |
0.00/0.06 c | 1542 | 403 1769 5413 | 589 627 17 | 0.001 % |
0.00/0.06 c | 1675 | 403 1769 5413 | 589 635 17 | 0.001 % |
0.00/0.07 c | 1821 | 403 1769 5413 | 589 595 17 | 0.001 % |
0.00/0.07 c | 1921 | 403 1769 5413 | 589 636 17 | 0.001 % |
0.00/0.08 c | 2031 | 403 1769 5413 | 589 621 18 | 0.001 % |
0.00/0.08 c | 2152 | 403 1769 5413 | 589 619 18 | 0.001 % |
0.00/0.08 c | 2288 | 403 1769 5413 | 589 573 17 | 0.001 % |
0.00/0.09 c | 2435 | 403 1769 5413 | 589 600 17 | 0.001 % |
0.00/0.09 c | 2595 | 403 1769 5413 | 589 582 17 | 0.001 % |
0.00/0.10 c | 2695 | 403 1769 5413 | 589 619 17 | 0.001 % |
0.00/0.10 c | 2807 | 403 1769 5413 | 589 607 17 | 0.001 % |
0.00/0.11 c | 2928 | 403 1769 5413 | 589 607 17 | 0.001 % |
0.00/0.11 c | 3061 | 403 1769 5413 | 589 618 17 | 0.001 % |
0.00/0.12 c | 3208 | 403 1769 5413 | 589 643 18 | 0.001 % |
0.00/0.12 c | 3368 | 403 1769 5413 | 589 618 17 | 0.001 % |
0.00/0.13 c | 3544 | 403 1769 5413 | 589 609 17 | 0.001 % |
0.00/0.13 c | 3648 | 403 1769 5413 | 589 593 16 | 0.001 % |
0.00/0.13 c | 3758 | 403 1769 5413 | 589 644 17 | 0.001 % |
0.00/0.14 c | 3879 | 403 1769 5413 | 589 639 16 | 0.001 % |
0.00/0.14 c | 4013 | 403 1769 5413 | 589 589 16 | 0.001 % |
0.00/0.15 c | 4163 | 403 1769 5413 | 589 620 16 | 0.001 % |
0.00/0.15 c | 4323 | 403 1769 5413 | 589 597 16 | 0.001 % |
0.00/0.16 c | 4499 | 403 1769 5413 | 589 593 16 | 0.001 % |
0.00/0.16 c | 4693 | 403 1769 5413 | 589 608 16 | 0.001 % |
0.00/0.17 c | 4796 | 403 1769 5413 | 589 589 16 | 0.001 % |
0.00/0.17 c | 4907 | 403 1769 5413 | 589 582 16 | 0.001 % |
0.00/0.17 c | 5028 | 403 1769 5413 | 589 580 15 | 0.001 % |
0.00/0.18 c | 5162 | 403 1769 5413 | 589 590 16 | 0.001 % |
0.00/0.18 c | 5309 | 403 1769 5413 | 589 618 16 | 0.001 % |
0.00/0.19 c | 5469 | 403 1769 5413 | 589 595 16 | 0.001 % |
0.00/0.19 c | 5645 | 403 1769 5413 | 589 589 16 | 0.001 % |
0.00/0.20 c | 5838 | 403 1769 5413 | 589 603 16 | 0.001 % |
0.00/0.21 c | 6050 | 403 1769 5413 | 589 632 16 | 0.001 % |
0.00/0.21 c | 6150 | 403 1769 5413 | 589 607 16 | 0.001 % |
0.00/0.21 c | 6260 | 403 1769 5413 | 589 597 15 | 0.001 % |
0.00/0.22 c | 6381 | 403 1769 5413 | 589 596 15 | 0.001 % |
0.00/0.22 c | 6518 | 403 1769 5413 | 589 613 15 | 0.001 % |
0.00/0.23 c | 6665 | 403 1769 5413 | 589 638 16 | 0.001 % |
0.00/0.23 c | 6826 | 403 1769 5413 | 589 612 16 | 0.001 % |
0.00/0.24 c | 7002 | 403 1769 5413 | 589 606 16 | 0.001 % |
0.00/0.24 c | 7197 | 403 1769 5413 | 589 621 17 | 0.001 % |
0.00/0.25 c | 7409 | 403 1769 5413 | 589 587 16 | 0.001 % |
0.00/0.26 c | 7642 | 403 1769 5413 | 589 575 16 | 0.001 % |
0.00/0.26 c | 7742 | 403 1769 5413 | 589 614 16 | 0.001 % |
0.00/0.27 c | 7852 | 403 1769 5413 | 589 601 16 | 0.001 % |
0.00/0.27 c | 7974 | 403 1769 5413 | 589 603 15 | 0.001 % |
0.00/0.27 c | 8107 | 403 1769 5413 | 589 615 16 | 0.001 % |
0.00/0.28 c | 8253 | 403 1769 5413 | 589 579 16 | 0.001 % |
0.00/0.28 c | 8414 | 403 1769 5413 | 589 617 16 | 0.001 % |
0.00/0.29 c | 8590 | 403 1769 5413 | 589 671 17 | 0.001 % |
0.00/0.30 c | 8787 | 403 1769 5413 | 589 620 15 | 0.001 % |
0.00/0.30 c | 8999 | 403 1769 5413 | 589 587 14 | 0.001 % |
0.00/0.31 c | 9232 | 403 1769 5413 | 589 632 16 | 0.001 % |
0.00/0.32 c | 9488 | 403 1769 5413 | 589 586 15 | 0.001 % |
0.00/0.32 c | 9588 | 403 1769 5413 | 589 563 15 | 0.001 % |
0.00/0.33 c | 9698 | 403 1769 5413 | 589 613 15 | 0.001 % |
0.00/0.33 c | 9821 | 403 1769 5413 | 589 616 16 | 0.001 % |
0.00/0.34 c | 9954 | 403 1769 5413 | 589 567 16 | 0.001 % |
0.00/0.34 c | 10100 | 403 1769 5413 | 2147483647 713 17 | 0.001 % |
0.00/0.35 c | 10261 | 403 1769 5413 | 2147483647 874 17 | 0.001 % |
0.00/0.35 c | 10437 | 403 1769 5413 | 2147483647 1050 17 | 0.001 % |
0.00/0.36 c | 10631 | 403 1769 5413 | 2147483647 1244 18 | 0.001 % |
0.00/0.37 c | 10843 | 403 1769 5413 | 2147483647 1456 18 | 0.001 % |
0.00/0.38 c | 11076 | 403 1769 5413 | 2147483647 1689 18 | 0.001 % |
0.00/0.39 c | 11332 | 403 1769 5413 | 2147483647 1945 18 | 0.001 % |
0.00/0.40 c | 11614 | 403 1769 5413 | 2147483647 2227 18 | 0.001 % |
0.00/0.40 c | 11714 | 403 1769 5413 | 2147483647 2327 19 | 0.001 % |
0.00/0.41 c | 11824 | 403 1769 5413 | 2147483647 2437 18 | 0.001 % |
0.00/0.41 c | 11947 | 403 1769 5413 | 2147483647 2560 19 | 0.001 % |
0.00/0.42 c | 12084 | 403 1769 5413 | 2147483647 2697 19 | 0.001 % |
0.00/0.43 c | 12232 | 403 1769 5413 | 2147483647 2845 19 | 0.001 % |
0.00/0.43 c | 12394 | 403 1769 5413 | 2147483647 3007 19 | 0.001 % |
0.00/0.44 c | 12570 | 403 1769 5413 | 2147483647 3183 19 | 0.001 % |
0.00/0.45 c | 12764 | 403 1769 5413 | 2147483647 3377 19 | 0.001 % |
0.00/0.46 c | 12977 | 403 1769 5413 | 2147483647 3590 19 | 0.001 % |
0.00/0.47 c | 13210 | 403 1769 5413 | 2147483647 3823 19 | 0.001 % |
0.00/0.49 c | 13466 | 403 1769 5413 | 2147483647 4079 19 | 0.001 % |
0.00/0.50 c | 13747 | 403 1769 5413 | 2147483647 4360 19 | 0.001 % |
0.00/0.52 c | 14057 | 403 1769 5413 | 2147483647 4670 19 | 0.001 % |
0.00/0.53 c | 14158 | 403 1769 5413 | 2147483647 4771 19 | 0.001 % |
0.00/0.53 c | 14268 | 403 1769 5413 | 2147483647 4881 19 | 0.001 % |
0.00/0.54 c | 14389 | 403 1769 5413 | 2147483647 5002 19 | 0.001 % |
0.00/0.55 c | 14525 | 403 1769 5413 | 2147483647 5138 19 | 0.001 % |
0.00/0.56 c | 14671 | 403 1769 5413 | 2147483647 5284 19 | 0.001 % |
0.00/0.57 c | 14832 | 403 1769 5413 | 2147483647 5445 19 | 0.001 % |
0.00/0.58 c | 15008 | 403 1769 5413 | 2147483647 5621 19 | 0.001 % |
0.00/0.59 c | 15201 | 403 1769 5413 | 2147483647 5814 19 | 0.001 % |
0.00/0.60 c | 15413 | 403 1769 5413 | 2147483647 6026 19 | 0.001 % |
0.00/0.61 c | 15649 | 403 1769 5413 | 2147483647 6262 20 | 0.001 % |
0.00/0.63 c | 15906 | 403 1769 5413 | 2147483647 6519 19 | 0.001 % |
0.00/0.65 c | 16187 | 403 1769 5413 | 2147483647 6800 19 | 0.001 % |
0.00/0.66 c | 16496 | 403 1769 5413 | 2147483647 7109 19 | 0.001 % |
0.00/0.69 c | 16836 | 403 1769 5413 | 2147483647 7449 19 | 0.001 % |
0.00/0.69 c | 16938 | 403 1769 5413 | 2147483647 7551 19 | 0.001 % |
0.00/0.70 c | 17050 | 403 1769 5413 | 2147483647 7663 19 | 0.001 % |
0.00/0.71 c | 17172 | 403 1769 5413 | 2147483647 7785 20 | 0.001 % |
0.00/0.72 c | 17307 | 403 1769 5413 | 2147483647 7920 20 | 0.001 % |
0.00/0.73 c | 17454 | 403 1769 5413 | 2147483647 8067 20 | 0.001 % |
0.00/0.75 c | 17614 | 403 1769 5413 | 2147483647 8227 20 | 0.001 % |
0.00/0.76 c | 17791 | 403 1769 5413 | 2147483647 8404 20 | 0.001 % |
0.00/0.77 c | 17985 | 403 1769 5413 | 2147483647 8598 20 | 0.001 % |
0.00/0.78 c | 18197 | 403 1769 5413 | 2147483647 8810 20 | 0.001 % |
0.00/0.80 c | 18432 | 403 1769 5413 | 2147483647 9045 20 | 0.001 % |
0.00/0.82 c | 18688 | 403 1769 5413 | 2147483647 9301 20 | 0.001 % |
0.00/0.84 c | 18969 | 403 1769 5413 | 2147483647 9582 20 | 0.001 % |
0.00/0.87 c | 19279 | 403 1769 5413 | 2147483647 9892 20 | 0.001 % |
0.00/0.90 c | 19618 | 403 1769 5413 | 2147483647 10231 20 | 0.001 % |
0.00/0.94 c | 19991 | 403 1769 5413 | 2147483647 10604 20 | 0.001 % |
0.00/0.94 c | 20091 | 403 1769 5413 | 2147483647 10704 20 | 0.001 % |
0.00/0.95 c | 20203 | 403 1769 5413 | 2147483647 10816 20 | 0.001 % |
0.00/0.96 c | 20324 | 403 1769 5413 | 2147483647 10937 20 | 0.001 % |
0.00/0.98 c | 20457 | 403 1769 5413 | 2147483647 11070 20 | 0.001 % |
0.00/0.99 c | 20603 | 403 1769 5413 | 2147483647 11216 20 | 0.001 % |
0.98/1.01 c | 20763 | 403 1769 5413 | 2147483647 11376 20 | 0.001 % |
0.98/1.03 c | 20943 | 403 1769 5413 | 2147483647 11556 20 | 0.001 % |
0.98/1.04 c | 21137 | 403 1769 5413 | 2147483647 11750 20 | 0.001 % |
0.98/1.06 c | 21349 | 403 1769 5413 | 2147483647 11962 20 | 0.001 % |
0.98/1.09 c | 21583 | 403 1769 5413 | 2147483647 12196 20 | 0.001 % |
1.08/1.12 c | 21841 | 403 1769 5413 | 2147483647 12454 20 | 0.001 % |
1.08/1.16 c | 22123 | 403 1769 5413 | 2147483647 12736 20 | 0.001 % |
1.08/1.19 c | 22433 | 403 1769 5413 | 2147483647 13046 20 | 0.001 % |
1.17/1.24 c | 22773 | 403 1769 5413 | 2147483647 13386 20 | 0.001 % |
1.17/1.28 c | 23145 | 403 1769 5413 | 2147483647 13758 20 | 0.001 % |
1.27/1.33 c | 23554 | 403 1769 5413 | 2147483647 14167 20 | 0.001 % |
1.27/1.35 c | 23654 | 403 1769 5413 | 2147483647 14267 20 | 0.001 % |
1.27/1.36 c | 23764 | 403 1769 5413 | 2147483647 14377 20 | 0.001 % |
1.27/1.38 c | 23885 | 403 1769 5413 | 2147483647 14498 20 | 0.001 % |
1.37/1.40 c | 24020 | 403 1769 5413 | 2147483647 14633 20 | 0.001 % |
1.37/1.42 c | 24167 | 403 1769 5413 | 2147483647 14780 20 | 0.001 % |
1.37/1.44 c | 24328 | 403 1769 5413 | 2147483647 14941 20 | 0.001 % |
1.37/1.46 c | 24504 | 403 1769 5413 | 2147483647 15117 20 | 0.001 % |
1.37/1.49 c | 24699 | 403 1769 5413 | 2147483647 15312 20 | 0.001 % |
1.47/1.52 c | 24911 | 403 1769 5413 | 2147483647 15524 20 | 0.001 % |
1.47/1.56 c | 25145 | 403 1769 5413 | 2147483647 15758 20 | 0.001 % |
1.47/1.59 c | 25402 | 403 1769 5413 | 2147483647 16015 20 | 0.001 % |
1.57/1.63 c | 25684 | 403 1769 5413 | 2147483647 16297 20 | 0.001 % |
1.57/1.68 c | 25994 | 403 1769 5413 | 2147483647 16607 20 | 0.001 % |
1.67/1.73 c | 26333 | 403 1769 5413 | 2147483647 16946 20 | 0.001 % |
1.67/1.79 c | 26707 | 403 1769 5413 | 2147483647 17320 20 | 0.001 % |
1.77/1.85 c | 27116 | 403 1769 5413 | 2147483647 17729 20 | 0.001 % |
1.87/1.91 c | 27565 | 403 1769 5413 | 2147483647 18178 20 | 0.001 % |
1.87/1.93 c | 27665 | 403 1769 5413 | 2147483647 18278 20 | 0.001 % |
1.87/1.94 c | 27775 | 403 1769 5413 | 2147483647 18388 20 | 0.001 % |
1.87/1.97 c | 27896 | 403 1769 5413 | 2147483647 18509 20 | 0.001 % |
1.87/1.99 c | 28029 | 403 1769 5413 | 2147483647 18642 20 | 0.001 % |
1.97/2.01 c | 28177 | 403 1769 5413 | 2147483647 18790 20 | 0.001 % |
1.97/2.04 c | 28337 | 403 1769 5413 | 2147483647 18950 20 | 0.001 % |
1.97/2.07 c | 28513 | 403 1769 5413 | 2147483647 19126 20 | 0.001 % |
2.07/2.11 c | 28707 | 403 1769 5413 | 2147483647 19320 20 | 0.001 % |
2.07/2.14 c | 28919 | 403 1769 5413 | 2147483647 19532 20 | 0.001 % |
2.07/2.18 c | 29154 | 403 1769 5413 | 2147483647 19767 20 | 0.001 % |
2.17/2.22 c | 29412 | 403 1769 5413 | 2147483647 20025 20 | 0.001 % |
2.17/2.26 c | 29694 | 403 1769 5413 | 2147483647 20307 20 | 0.001 % |
2.27/2.31 c | 30003 | 403 1769 5413 | 2147483647 20616 20 | 0.001 % |
2.27/2.37 c | 30342 | 403 1769 5413 | 2147483647 20955 20 | 0.001 % |
2.37/2.43 c | 30717 | 403 1769 5413 | 2147483647 21330 20 | 0.001 % |
2.37/2.49 c | 31127 | 403 1769 5413 | 2147483647 21740 20 | 0.001 % |
2.47/2.58 c | 31577 | 403 1769 5413 | 2147483647 22190 20 | 0.001 % |
2.57/2.68 c | 32070 | 403 1769 5413 | 2147483647 22683 20 | 0.001 % |
2.67/2.71 c | 32172 | 403 1769 5413 | 2147483647 22785 20 | 0.001 % |
2.67/2.73 c | 32282 | 403 1769 5413 | 2147483647 22895 20 | 0.001 % |
2.67/2.75 c | 32405 | 403 1769 5413 | 2147483647 23018 20 | 0.001 % |
2.67/2.78 c | 32538 | 403 1769 5413 | 2147483647 23151 20 | 0.001 % |
2.77/2.82 c | 32686 | 403 1769 5413 | 2147483647 23299 20 | 0.001 % |
2.77/2.86 c | 32847 | 403 1769 5413 | 2147483647 23460 20 | 0.001 % |
2.77/2.90 c | 33024 | 403 1769 5413 | 2147483647 23637 20 | 0.001 % |
2.87/2.94 c | 33218 | 403 1769 5413 | 2147483647 23831 20 | 0.001 % |
2.87/2.98 c | 33431 | 403 1769 5413 | 2147483647 24044 20 | 0.001 % |
2.96/3.03 c | 33665 | 403 1769 5413 | 2147483647 24278 20 | 0.001 % |
2.96/3.09 c | 33922 | 403 1769 5413 | 2147483647 24535 20 | 0.001 % |
3.06/3.15 c | 34207 | 403 1769 5413 | 2147483647 24820 20 | 0.001 % |
3.17/3.22 c | 34517 | 403 1769 5413 | 2147483647 25130 20 | 0.001 % |
3.27/3.31 c | 34856 | 403 1769 5413 | 2147483647 25469 20 | 0.001 % |
3.36/3.41 c | 35228 | 403 1769 5413 | 2147483647 25841 20 | 0.001 % |
3.46/3.50 c | 35637 | 403 1769 5413 | 2147483647 26250 20 | 0.001 % |
3.56/3.62 c | 36086 | 403 1769 5413 | 2147483647 26699 20 | 0.001 % |
3.66/3.75 c | 36579 | 403 1769 5413 | 2147483647 27192 20 | 0.001 % |
3.76/3.89 c | 37122 | 403 1769 5413 | 2147483647 27735 20 | 0.001 % |
3.86/3.92 c | 37222 | 403 1769 5413 | 2147483647 27835 20 | 0.001 % |
3.86/3.95 c | 37332 | 403 1769 5413 | 2147483647 27945 20 | 0.001 % |
3.86/3.99 c | 37454 | 403 1769 5413 | 2147483647 28067 20 | 0.001 % |
3.96/4.03 c | 37589 | 403 1769 5413 | 2147483647 28202 20 | 0.001 % |
3.96/4.08 c | 37736 | 403 1769 5413 | 2147483647 28349 20 | 0.001 % |
4.06/4.12 c | 37896 | 403 1769 5413 | 2147483647 28509 20 | 0.001 % |
4.06/4.18 c | 38073 | 403 1769 5413 | 2147483647 28686 20 | 0.001 % |
4.16/4.24 c | 38268 | 403 1769 5413 | 2147483647 28881 20 | 0.001 % |
4.16/4.30 c | 38480 | 403 1769 5413 | 2147483647 29093 20 | 0.001 % |
4.27/4.36 c | 38713 | 403 1769 5413 | 2147483647 29326 20 | 0.001 % |
4.37/4.44 c | 38969 | 403 1769 5413 | 2147483647 29582 20 | 0.001 % |
4.46/4.52 c | 39251 | 403 1769 5413 | 2147483647 29864 20 | 0.001 % |
4.56/4.62 c | 39561 | 403 1769 5413 | 2147483647 30174 20 | 0.001 % |
4.66/4.73 c | 39900 | 403 1769 5413 | 2147483647 30513 20 | 0.001 % |
4.76/4.85 c | 40273 | 403 1769 5413 | 30613 22893 20 | 0.001 % |
4.86/4.94 c | 40687 | 403 1769 5413 | 30613 23307 20 | 0.001 % |
4.96/5.04 c | 41137 | 403 1769 5413 | 30613 23757 20 | 0.001 % |
5.06/5.15 c | 41633 | 403 1769 5413 | 30613 24253 20 | 0.001 % |
5.16/5.27 c | 42175 | 403 1769 5413 | 30613 24795 20 | 0.001 % |
5.26/5.39 c | 42772 | 403 1769 5413 | 30613 25392 20 | 0.001 % |
5.36/5.41 c | 42872 | 403 1769 5413 | 30613 25492 20 | 0.001 % |
5.36/5.43 c | 42982 | 403 1769 5413 | 30613 25602 20 | 0.001 % |
5.36/5.46 c | 43105 | 403 1769 5413 | 30613 25725 20 | 0.001 % |
5.36/5.50 c | 43240 | 403 1769 5413 | 30613 25860 20 | 0.001 % |
5.46/5.53 c | 43386 | 403 1769 5413 | 30613 26006 20 | 0.001 % |
5.46/5.56 c | 43546 | 403 1769 5413 | 30613 26166 20 | 0.001 % |
5.56/5.62 c | 43724 | 403 1769 5413 | 30613 26344 20 | 0.001 % |
5.56/5.67 c | 43919 | 403 1769 5413 | 30613 26539 20 | 0.001 % |
5.66/5.72 c | 44131 | 403 1769 5413 | 30613 26751 20 | 0.001 % |
5.66/5.77 c | 44364 | 403 1769 5413 | 30613 26984 20 | 0.001 % |
5.76/5.84 c | 44620 | 403 1769 5413 | 30613 27240 20 | 0.001 % |
5.86/5.91 c | 44902 | 403 1769 5413 | 30613 27522 20 | 0.001 % |
5.86/5.98 c | 45211 | 403 1769 5413 | 30613 27831 20 | 0.001 % |
5.96/6.07 c | 45550 | 403 1769 5413 | 30613 28170 20 | 0.001 % |
6.06/6.16 c | 45922 | 403 1769 5413 | 30613 28542 20 | 0.001 % |
6.16/6.28 c | 46331 | 403 1769 5413 | 30613 28951 20 | 0.001 % |
6.36/6.40 c | 46780 | 403 1769 5413 | 30613 29400 20 | 0.001 % |
6.46/6.55 c | 47273 | 403 1769 5413 | 30613 29893 20 | 0.001 % |
6.66/6.70 c | 47815 | 403 1769 5413 | 30613 30435 20 | 0.001 % |
6.76/6.88 c | 48413 | 403 1769 5413 | 30613 22047 20 | 0.001 % |
6.96/7.01 c | 49068 | 403 1769 5413 | 30613 22702 20 | 0.001 % |
6.96/7.04 c | 49168 | 403 1769 5413 | 30613 22802 20 | 0.001 % |
6.96/7.06 c | 49278 | 403 1769 5413 | 30613 22912 20 | 0.001 % |
6.96/7.09 c | 49399 | 403 1769 5413 | 30613 23033 20 | 0.001 % |
7.06/7.12 c | 49534 | 403 1769 5413 | 30613 23168 20 | 0.001 % |
7.06/7.15 c | 49682 | 403 1769 5413 | 30613 23316 20 | 0.001 % |
7.06/7.19 c | 49843 | 403 1769 5413 | 30613 23477 20 | 0.001 % |
7.16/7.23 c | 50019 | 403 1769 5413 | 23634 23653 20 | 0.001 % |
7.16/7.27 c | 50213 | 403 1769 5413 | 23634 16999 19 | 0.001 % |
7.26/7.30 c | 50427 | 403 1769 5413 | 23634 17213 19 | 0.001 % |
7.26/7.34 c | 50662 | 403 1769 5413 | 23634 17448 19 | 0.001 % |
7.26/7.37 c | 50918 | 403 1769 5413 | 23634 17704 19 | 0.001 % |
7.36/7.41 c | 51200 | 403 1769 5413 | 23634 17986 19 | 0.001 % |
7.36/7.47 c | 51511 | 403 1769 5413 | 23634 18297 19 | 0.001 % |
7.46/7.52 c | 51850 | 403 1769 5413 | 23634 18636 19 | 0.001 % |
7.46/7.58 c | 52222 | 403 1769 5413 | 23634 19008 19 | 0.001 % |
7.56/7.65 c | 52631 | 403 1769 5413 | 23634 19417 19 | 0.001 % |
7.66/7.72 c | 53080 | 403 1769 5413 | 23634 19866 19 | 0.001 % |
7.76/7.82 c | 53573 | 403 1769 5413 | 23634 20359 19 | 0.001 % |
7.86/7.92 c | 54116 | 403 1769 5413 | 23634 20902 19 | 0.001 % |
7.96/8.04 c | 54717 | 403 1769 5413 | 23634 21503 19 | 0.001 % |
8.06/8.16 c | 55372 | 403 1769 5413 | 23634 22158 19 | 0.001 % |
8.26/8.31 c | 56092 | 403 1769 5413 | 23634 22878 20 | 0.001 % |
8.26/8.33 c | 56193 | 403 1769 5413 | 23634 22979 20 | 0.001 % |
8.26/8.37 c | 56304 | 403 1769 5413 | 23634 23090 20 | 0.001 % |
8.26/8.39 c | 56425 | 403 1769 5413 | 23634 23211 20 | 0.001 % |
8.36/8.43 c | 56559 | 403 1769 5413 | 23634 23345 20 | 0.001 % |
8.36/8.47 c | 56705 | 403 1769 5413 | 23634 23491 20 | 0.001 % |
8.46/8.50 c | 56866 | 403 1769 5413 | 23634 23652 20 | 0.001 % |
8.46/8.55 c | 57042 | 403 1769 5413 | 23634 17929 19 | 0.001 % |
8.46/8.58 c | 57235 | 403 1769 5413 | 23634 18122 19 | 0.001 % |
8.56/8.61 c | 57447 | 403 1769 5413 | 23634 18334 19 | 0.001 % |
8.56/8.65 c | 57680 | 403 1769 5413 | 23634 18567 19 | 0.001 % |
8.56/8.69 c | 57938 | 403 1769 5413 | 23634 18825 19 | 0.001 % |
8.66/8.73 c | 58222 | 403 1769 5413 | 23634 19109 19 | 0.001 % |
8.66/8.79 c | 58531 | 403 1769 5413 | 23634 19418 20 | 0.001 % |
8.76/8.84 c | 58871 | 403 1769 5413 | 23634 19758 20 | 0.001 % |
8.85/8.90 c | 59243 | 403 1769 5413 | 23634 20130 20 | 0.001 % |
8.85/8.97 c | 59653 | 403 1769 5413 | 23634 20540 20 | 0.001 % |
8.95/9.06 c | 60106 | 403 1769 5413 | 20888 16040 20 | 0.001 % |
9.05/9.12 c | 60599 | 403 1769 5413 | 20888 16533 20 | 0.001 % |
9.15/9.20 c | 61141 | 403 1769 5413 | 20888 17075 20 | 0.001 % |
9.25/9.30 c | 61739 | 403 1769 5413 | 20888 17673 20 | 0.001 % |
9.35/9.42 c | 62396 | 403 1769 5413 | 20888 18330 20 | 0.001 % |
9.46/9.55 c | 63116 | 403 1769 5413 | 20888 19050 20 | 0.001 % |
9.56/9.67 c | 63908 | 403 1769 5413 | 20888 19842 20 | 0.001 % |
9.56/9.69 c | 64008 | 403 1769 5413 | 20888 19942 20 | 0.001 % |
9.66/9.71 c | 64118 | 403 1769 5413 | 20888 20052 20 | 0.001 % |
9.66/9.73 c | 64239 | 403 1769 5413 | 20888 20173 20 | 0.001 % |
9.66/9.76 c | 64373 | 403 1769 5413 | 20888 20307 20 | 0.001 % |
9.66/9.78 c | 64519 | 403 1769 5413 | 20888 20453 20 | 0.001 % |
9.76/9.81 c | 64681 | 403 1769 5413 | 20888 20615 20 | 0.001 % |
9.76/9.85 c | 64857 | 403 1769 5413 | 20888 20791 20 | 0.001 % |
9.76/9.89 c | 65050 | 403 1769 5413 | 20888 16618 20 | 0.001 % |
9.86/9.92 c | 65262 | 403 1769 5413 | 20888 16830 20 | 0.001 % |
9.86/9.96 c | 65498 | 403 1769 5413 | 20888 17066 20 | 0.001 % |
9.86/9.99 c | 65754 | 403 1769 5413 | 20888 17322 20 | 0.001 % |
9.96/10.04 c | 66037 | 403 1769 5413 | 20888 17605 20 | 0.001 % |
9.96/10.09 c | 66347 | 403 1769 5413 | 20888 17915 20 | 0.001 % |
10.06/10.15 c | 66687 | 403 1769 5413 | 20888 18255 20 | 0.001 % |
10.16/10.21 c | 67059 | 403 1769 5413 | 20888 18627 20 | 0.001 % |
10.16/10.28 c | 67468 | 403 1769 5413 | 20888 19036 20 | 0.001 % |
10.26/10.35 c | 67919 | 403 1769 5413 | 20888 19487 20 | 0.001 % |
10.36/10.43 c | 68412 | 403 1769 5413 | 20888 19980 20 | 0.001 % |
10.46/10.52 c | 68955 | 403 1769 5413 | 20888 20523 20 | 0.001 % |
10.56/10.64 c | 69551 | 403 1769 5413 | 20888 16886 20 | 0.001 % |
10.66/10.75 c | 70207 | 403 1769 5413 | 17336 14049 20 | 0.001 % |
10.76/10.84 c | 70927 | 403 1769 5413 | 17336 14769 20 | 0.001 % |
10.86/10.96 c | 71719 | 403 1769 5413 | 17336 15561 20 | 0.001 % |
11.06/11.11 c | 72590 | 403 1769 5413 | 17336 16432 20 | 0.001 % |
11.06/11.13 c | 72692 | 403 1769 5413 | 17336 16534 20 | 0.001 % |
11.06/11.14 c | 72803 | 403 1769 5413 | 17336 16645 20 | 0.001 % |
11.06/11.16 c | 72924 | 403 1769 5413 | 17336 16766 20 | 0.001 % |
11.06/11.18 c | 73057 | 403 1769 5413 | 17336 16899 20 | 0.001 % |
11.16/11.21 c | 73204 | 403 1769 5413 | 17336 17046 20 | 0.001 % |
11.16/11.23 c | 73364 | 403 1769 5413 | 17336 17206 20 | 0.001 % |
11.16/11.26 c | 73541 | 403 1769 5413 | 17336 17383 20 | 0.001 % |
11.26/11.30 c | 73735 | 403 1769 5413 | 17336 14429 19 | 0.001 % |
11.26/11.33 c | 73951 | 403 1769 5413 | 17336 14645 19 | 0.001 % |
11.26/11.36 c | 74184 | 403 1769 5413 | 17336 14878 19 | 0.001 % |
11.26/11.39 c | 74440 | 403 1769 5413 | 17336 15134 19 | 0.001 % |
11.36/11.42 c | 74723 | 403 1769 5413 | 17336 15417 19 | 0.001 % |
11.36/11.46 c | 75032 | 403 1769 5413 | 17336 15726 19 | 0.001 % |
11.46/11.51 c | 75371 | 403 1769 5413 | 17336 16065 19 | 0.001 % |
11.46/11.56 c | 75744 | 403 1769 5413 | 17336 16438 19 | 0.001 % |
11.56/11.62 c | 76153 | 403 1769 5413 | 17336 16847 19 | 0.001 % |
11.56/11.68 c | 76602 | 403 1769 5413 | 17336 17296 19 | 0.001 % |
11.66/11.76 c | 77095 | 403 1769 5413 | 17336 14894 19 | 0.001 % |
11.76/11.83 c | 77638 | 403 1769 5413 | 17336 15437 19 | 0.001 % |
11.86/11.92 c | 78236 | 403 1769 5413 | 17336 16035 19 | 0.001 % |
11.96/12.02 c | 78891 | 403 1769 5413 | 17336 16690 19 | 0.001 % |
12.06/12.12 c | 79613 | 403 1769 5413 | 17336 17412 19 | 0.001 % |
12.16/12.23 c | 80408 | 403 1769 5413 | 14931 12913 19 | 0.001 % |
12.26/12.33 c | 81281 | 403 1769 5413 | 14931 13786 19 | 0.001 % |
12.36/12.44 c | 82239 | 403 1769 5413 | 14931 14744 19 | 0.001 % |
12.36/12.45 c | 82339 | 403 1769 5413 | 14931 14844 19 | 0.001 % |
12.36/12.47 c | 82450 | 403 1769 5413 | 14931 14955 19 | 0.001 % |
12.36/12.49 c | 82571 | 403 1769 5413 | 14931 13296 19 | 0.001 % |
12.46/12.50 c | 82705 | 403 1769 5413 | 14931 13430 19 | 0.001 % |
12.46/12.52 c | 82852 | 403 1769 5413 | 14931 13577 19 | 0.001 % |
12.46/12.54 c | 83013 | 403 1769 5413 | 14931 13738 19 | 0.001 % |
12.46/12.57 c | 83189 | 403 1769 5413 | 14931 13914 19 | 0.001 % |
12.46/12.59 c | 83382 | 403 1769 5413 | 14931 14107 19 | 0.001 % |
12.55/12.62 c | 83594 | 403 1769 5413 | 14931 14319 19 | 0.001 % |
12.55/12.64 c | 83828 | 403 1769 5413 | 14931 14553 19 | 0.001 % |
12.55/12.68 c | 84085 | 403 1769 5413 | 14931 14810 19 | 0.001 % |
12.65/12.73 c | 84366 | 403 1769 5413 | 14931 13458 19 | 0.001 % |
12.65/12.77 c | 84675 | 403 1769 5413 | 14931 13767 19 | 0.001 % |
12.75/12.80 c | 85014 | 403 1769 5413 | 14931 14106 20 | 0.001 % |
12.75/12.85 c | 85386 | 403 1769 5413 | 14931 14478 20 | 0.001 % |
12.75/12.89 c | 85799 | 403 1769 5413 | 14931 14891 20 | 0.001 % |
12.85/12.95 c | 86248 | 403 1769 5413 | 14931 13787 20 | 0.001 % |
12.95/13.02 c | 86743 | 403 1769 5413 | 14931 14282 20 | 0.001 % |
13.05/13.11 c | 87285 | 403 1769 5413 | 14931 14824 20 | 0.001 % |
13.15/13.20 c | 87881 | 403 1769 5413 | 14931 13818 20 | 0.001 % |
13.25/13.30 c | 88538 | 403 1769 5413 | 14931 14475 20 | 0.001 % |
13.35/13.41 c | 89258 | 403 1769 5413 | 14931 13491 20 | 0.001 % |
13.45/13.52 c | 90050 | 403 1769 5413 | 14233 14283 20 | 0.001 % |
13.55/13.63 c | 90922 | 403 1769 5413 | 14233 13549 20 | 0.001 % |
13.65/13.76 c | 91881 | 403 1769 5413 | 14233 12973 19 | 0.001 % |
13.85/13.90 c | 92935 | 403 1769 5413 | 14233 14027 19 | 0.001 % |
13.85/13.91 c | 93035 | 403 1769 5413 | 14233 14127 19 | 0.001 % |
13.85/13.93 c | 93145 | 403 1769 5413 | 14233 14237 19 | 0.001 % |
13.85/13.96 c | 93268 | 403 1769 5413 | 14233 12829 19 | 0.001 % |
13.85/13.98 c | 93401 | 403 1769 5413 | 14233 12962 19 | 0.001 % |
13.95/14.00 c | 93550 | 403 1769 5413 | 14233 13111 19 | 0.001 % |
13.95/14.02 c | 93711 | 403 1769 5413 | 14233 13272 19 | 0.001 % |
13.95/14.05 c | 93887 | 403 1769 5413 | 14233 13448 19 | 0.001 % |
13.95/14.07 c | 94081 | 403 1769 5413 | 14233 13642 19 | 0.001 % |
14.05/14.10 c | 94296 | 403 1769 5413 | 14233 13857 19 | 0.001 % |
14.05/14.13 c | 94529 | 403 1769 5413 | 14233 14090 19 | 0.001 % |
14.05/14.17 c | 94785 | 403 1769 5413 | 14233 12792 19 | 0.001 % |
14.15/14.20 c | 95066 | 403 1769 5413 | 14233 13073 19 | 0.001 % |
14.15/14.24 c | 95375 | 403 1769 5413 | 14233 13382 19 | 0.001 % |
14.15/14.27 c | 95715 | 403 1769 5413 | 14233 13722 19 | 0.001 % |
14.25/14.32 c | 96087 | 403 1769 5413 | 14233 14094 19 | 0.001 % |
14.25/14.38 c | 96496 | 403 1769 5413 | 14233 13064 19 | 0.001 % |
14.35/14.43 c | 96945 | 403 1769 5413 | 14233 13513 19 | 0.001 % |
14.35/14.49 c | 97438 | 403 1769 5413 | 14233 14006 19 | 0.001 % |
14.45/14.57 c | 97980 | 403 1769 5413 | 14233 13119 19 | 0.001 % |
14.55/14.64 c | 98576 | 403 1769 5413 | 14233 13715 19 | 0.001 % |
14.65/14.74 c | 99232 | 403 1769 5413 | 14233 12944 19 | 0.001 % |
14.75/14.82 c | 99952 | 403 1769 5413 | 14233 13664 19 | 0.001 % |
14.85/14.92 c | 100744 | 403 1769 5413 | 2147483647 14456 19 | 0.001 % |
14.95/15.03 c | 101615 | 403 1769 5413 | 2147483647 15327 19 | 0.001 % |
15.05/15.15 c | 102576 | 403 1769 5413 | 2147483647 16288 20 | 0.001 % |
15.15/15.30 c | 103631 | 403 1769 5413 | 2147483647 17343 20 | 0.001 % |
15.35/15.46 c | 104789 | 403 1769 5413 | 2147483647 18501 20 | 0.001 % |
15.35/15.48 c | 104889 | 403 1769 5413 | 2147483647 18601 20 | 0.001 % |
15.45/15.50 c | 105002 | 403 1769 5413 | 2147483647 18714 20 | 0.001 % |
15.45/15.53 c | 105123 | 403 1769 5413 | 2147483647 18835 20 | 0.001 % |
15.45/15.56 c | 105256 | 403 1769 5413 | 2147483647 18968 20 | 0.001 % |
15.45/15.58 c | 105402 | 403 1769 5413 | 2147483647 19114 20 | 0.001 % |
15.55/15.61 c | 105563 | 403 1769 5413 | 2147483647 19275 20 | 0.001 % |
15.55/15.64 c | 105742 | 403 1769 5413 | 2147483647 19454 20 | 0.001 % |
15.55/15.68 c | 105938 | 403 1769 5413 | 2147483647 19650 20 | 0.001 % |
15.65/15.71 c | 106150 | 403 1769 5413 | 2147483647 19862 20 | 0.001 % |
15.65/15.75 c | 106383 | 403 1769 5413 | 2147483647 20095 20 | 0.001 % |
15.75/15.80 c | 106640 | 403 1769 5413 | 2147483647 20352 20 | 0.001 % |
15.75/15.86 c | 106921 | 403 1769 5413 | 2147483647 20633 20 | 0.001 % |
15.85/15.91 c | 107230 | 403 1769 5413 | 2147483647 20942 20 | 0.001 % |
15.85/15.98 c | 107570 | 403 1769 5413 | 2147483647 21282 20 | 0.001 % |
15.95/16.06 c | 107942 | 403 1769 5413 | 2147483647 21654 20 | 0.001 % |
16.05/16.14 c | 108352 | 403 1769 5413 | 2147483647 22064 20 | 0.001 % |
16.15/16.23 c | 108801 | 403 1769 5413 | 2147483647 22513 20 | 0.001 % |
16.25/16.33 c | 109295 | 403 1769 5413 | 2147483647 23007 20 | 0.001 % |
16.35/16.45 c | 109838 | 403 1769 5413 | 2147483647 23550 20 | 0.001 % |
16.45/16.58 c | 110434 | 403 1769 5413 | 23712 19807 20 | 0.001 % |
16.55/16.69 c | 111089 | 403 1769 5413 | 23712 20462 20 | 0.001 % |
16.75/16.83 c | 111809 | 403 1769 5413 | 23712 21182 20 | 0.001 % |
16.85/16.99 c | 112601 | 403 1769 5413 | 23712 21974 20 | 0.001 % |
17.05/17.15 c | 113472 | 403 1769 5413 | 23712 22845 20 | 0.001 % |
17.24/17.36 c | 114430 | 403 1769 5413 | 23712 18518 19 | 0.001 % |
17.45/17.53 c | 115484 | 403 1769 5413 | 23712 19572 19 | 0.001 % |
17.64/17.74 c | 116642 | 403 1769 5413 | 23712 20730 19 | 0.001 % |
17.84/17.99 c | 117917 | 403 1769 5413 | 23712 22005 20 | 0.001 % |
17.94/18.01 c | 118017 | 403 1769 5413 | 23712 22105 20 | 0.001 % |
17.94/18.04 c | 118127 | 403 1769 5413 | 23712 22215 20 | 0.001 % |
17.94/18.07 c | 118249 | 403 1769 5413 | 23712 22337 20 | 0.001 % |
17.94/18.09 c | 118383 | 403 1769 5413 | 23712 22471 20 | 0.001 % |
18.04/18.12 c | 118529 | 403 1769 5413 | 23712 22617 20 | 0.001 % |
18.04/18.16 c | 118690 | 403 1769 5413 | 23712 22778 20 | 0.001 % |
18.14/18.20 c | 118867 | 403 1769 5413 | 23712 22955 20 | 0.001 % |
18.14/18.25 c | 119060 | 403 1769 5413 | 23712 23148 20 | 0.001 % |
18.14/18.29 c | 119273 | 403 1769 5413 | 23712 23361 20 | 0.001 % |
18.24/18.34 c | 119506 | 403 1769 5413 | 23712 23594 20 | 0.001 % |
18.34/18.42 c | 119762 | 403 1769 5413 | 23712 18305 19 | 0.001 % |
18.34/18.46 c | 120044 | 403 1769 5413 | 18543 18587 19 | 0.001 % |
18.44/18.51 c | 120355 | 403 1769 5413 | 18543 14590 19 | 0.001 % |
18.44/18.56 c | 120694 | 403 1769 5413 | 18543 14929 19 | 0.001 % |
18.54/18.60 c | 121066 | 403 1769 5413 | 18543 15301 19 | 0.001 % |
18.54/18.65 c | 121477 | 403 1769 5413 | 18543 15712 19 | 0.001 % |
18.64/18.71 c | 121926 | 403 1769 5413 | 18543 16161 19 | 0.001 % |
18.64/18.77 c | 122419 | 403 1769 5413 | 18543 16654 19 | 0.001 % |
18.74/18.85 c | 122961 | 403 1769 5413 | 18543 17196 19 | 0.001 % |
18.84/18.94 c | 123557 | 403 1769 5413 | 18543 17792 19 | 0.001 % |
18.94/19.04 c | 124212 | 403 1769 5413 | 18543 18447 19 | 0.001 % |
19.04/19.14 c | 124932 | 403 1769 5413 | 18543 15719 19 | 0.001 % |
19.14/19.26 c | 125725 | 403 1769 5413 | 18543 16512 19 | 0.001 % |
19.34/19.40 c | 126598 | 403 1769 5413 | 18543 17385 20 | 0.001 % |
19.44/19.54 c | 127556 | 403 1769 5413 | 18543 18343 20 | 0.001 % |
19.54/19.69 c | 128612 | 403 1769 5413 | 18543 16051 20 | 0.001 % |
19.74/19.87 c | 129771 | 403 1769 5413 | 18543 17210 20 | 0.001 % |
19.94/20.07 c | 131044 | 403 1769 5413 | 17440 15367 20 | 0.001 % |
20.14/20.26 c | 132444 | 403 1769 5413 | 17440 16767 20 | 0.001 % |
20.14/20.28 c | 132547 | 403 1769 5413 | 17440 16870 20 | 0.001 % |
20.24/20.30 c | 132658 | 403 1769 5413 | 17440 16981 20 | 0.001 % |
20.24/20.32 c | 132780 | 403 1769 5413 | 17440 17103 20 | 0.001 % |
20.24/20.35 c | 132913 | 403 1769 5413 | 17440 17236 20 | 0.001 % |
20.24/20.37 c | 133060 | 403 1769 5413 | 17440 17383 20 | 0.001 % |
20.34/20.40 c | 133222 | 403 1769 5413 | 17440 14508 20 | 0.001 % |
20.34/20.43 c | 133398 | 403 1769 5413 | 17440 14684 20 | 0.001 % |
20.34/20.46 c | 133592 | 403 1769 5413 | 17440 14878 20 | 0.001 % |
20.34/20.49 c | 133804 | 403 1769 5413 | 17440 15090 20 | 0.001 % |
20.44/20.53 c | 134037 | 403 1769 5413 | 17440 15323 20 | 0.001 % |
20.44/20.56 c | 134294 | 403 1769 5413 | 17440 15580 20 | 0.001 % |
20.54/20.61 c | 134576 | 403 1769 5413 | 17440 15862 20 | 0.001 % |
20.54/20.65 c | 134886 | 403 1769 5413 | 17440 16172 20 | 0.001 % |
20.64/20.70 c | 135225 | 403 1769 5413 | 17440 16511 20 | 0.001 % |
20.64/20.76 c | 135597 | 403 1769 5413 | 17440 16883 20 | 0.001 % |
20.74/20.83 c | 136007 | 403 1769 5413 | 17440 17293 20 | 0.001 % |
20.74/20.90 c | 136456 | 403 1769 5413 | 17440 14775 20 | 0.001 % |
20.84/20.96 c | 136949 | 403 1769 5413 | 17440 15268 20 | 0.001 % |
20.94/21.04 c | 137495 | 403 1769 5413 | 17440 15814 20 | 0.001 % |
21.04/21.13 c | 138091 | 403 1769 5413 | 17440 16410 20 | 0.001 % |
21.14/21.24 c | 138746 | 403 1769 5413 | 17440 17065 20 | 0.001 % |
21.24/21.36 c | 139469 | 403 1769 5413 | 17440 14869 20 | 0.001 % |
21.34/21.47 c | 140261 | 403 1769 5413 | 15401 13116 19 | 0.001 % |
21.44/21.58 c | 141132 | 403 1769 5413 | 15401 13987 19 | 0.001 % |
21.64/21.70 c | 142090 | 403 1769 5413 | 15401 14945 19 | 0.001 % |
21.74/21.85 c | 143144 | 403 1769 5413 | 15401 13802 19 | 0.001 % |
21.84/21.98 c | 144303 | 403 1769 5413 | 15401 14961 19 | 0.001 % |
22.04/22.14 c | 145576 | 403 1769 5413 | 15401 14412 19 | 0.001 % |
22.24/22.34 c | 146976 | 403 1769 5413 | 15401 14083 19 | 0.001 % |
22.44/22.55 c | 148516 | 403 1769 5413 | 15401 13881 20 | 0.001 % |
22.44/22.56 c | 148616 | 403 1769 5413 | 15401 13981 20 | 0.001 % |
22.44/22.58 c | 148727 | 403 1769 5413 | 15401 14092 20 | 0.001 % |
22.44/22.59 c | 148849 | 403 1769 5413 | 15401 14214 20 | 0.001 % |
22.53/22.61 c | 148982 | 403 1769 5413 | 15401 14347 20 | 0.001 % |
22.53/22.63 c | 149129 | 403 1769 5413 | 15401 14494 20 | 0.001 % |
22.53/22.65 c | 149291 | 403 1769 5413 | 15401 14656 20 | 0.001 % |
22.53/22.68 c | 149467 | 403 1769 5413 | 15401 14832 20 | 0.001 % |
22.63/22.71 c | 149660 | 403 1769 5413 | 15401 15025 20 | 0.001 % |
22.63/22.74 c | 149872 | 403 1769 5413 | 15401 15237 20 | 0.001 % |
22.63/22.78 c | 150106 | 403 1769 5413 | 15365 13764 20 | 0.001 % |
22.73/22.81 c | 150363 | 403 1769 5413 | 15365 14021 20 | 0.001 % |
22.73/22.85 c | 150647 | 403 1769 5413 | 15365 14305 20 | 0.001 % |
22.73/22.90 c | 150956 | 403 1769 5413 | 15365 14614 20 | 0.001 % |
22.83/22.93 c | 151297 | 403 1769 5413 | 15365 14955 20 | 0.001 % |
22.83/22.98 c | 151670 | 403 1769 5413 | 15365 15328 20 | 0.001 % |
22.94/23.05 c | 152079 | 403 1769 5413 | 15365 14046 20 | 0.001 % |
23.04/23.11 c | 152528 | 403 1769 5413 | 15365 14495 20 | 0.001 % |
23.04/23.18 c | 153021 | 403 1769 5413 | 15365 14988 20 | 0.001 % |
23.13/23.28 c | 153563 | 403 1769 5413 | 15365 13741 20 | 0.001 % |
23.23/23.37 c | 154160 | 403 1769 5413 | 15365 14338 20 | 0.001 % |
23.33/23.46 c | 154815 | 403 1769 5413 | 15365 14993 20 | 0.001 % |
23.43/23.57 c | 155536 | 403 1769 5413 | 15365 13906 20 | 0.001 % |
23.53/23.68 c | 156331 | 403 1769 5413 | 15365 14701 20 | 0.001 % |
23.73/23.81 c | 157202 | 403 1769 5413 | 15365 13744 20 | 0.001 % |
23.83/23.94 c | 158161 | 403 1769 5413 | 15365 14703 20 | 0.001 % |
23.93/24.08 c | 159214 | 403 1769 5413 | 15365 13938 19 | 0.001 % |
24.14/24.26 c | 160372 | 403 1769 5413 | 14729 13315 19 | 0.001 % |
24.33/24.44 c | 161645 | 403 1769 5413 | 14729 14588 19 | 0.001 % |
24.53/24.62 c | 163045 | 403 1769 5413 | 14729 14263 19 | 0.001 % |
24.73/24.81 c | 164585 | 403 1769 5413 | 14729 14166 18 | 0.001 % |
24.93/25.05 c | 166279 | 403 1769 5413 | 14729 14248 18 | 0.001 % |
24.93/25.06 c | 166379 | 403 1769 5413 | 14729 14348 18 | 0.001 % |
24.93/25.08 c | 166491 | 403 1769 5413 | 14729 14460 18 | 0.001 % |
24.93/25.10 c | 166613 | 403 1769 5413 | 14729 14582 18 | 0.001 % |
25.03/25.12 c | 166746 | 403 1769 5413 | 14729 14715 18 | 0.001 % |
25.03/25.14 c | 166892 | 403 1769 5413 | 14729 13160 18 | 0.001 % |
25.03/25.16 c | 167052 | 403 1769 5413 | 14729 13320 18 | 0.001 % |
25.03/25.18 c | 167229 | 403 1769 5413 | 14729 13497 18 | 0.001 % |
25.14/25.21 c | 167423 | 403 1769 5413 | 14729 13691 18 | 0.001 % |
25.14/25.23 c | 167636 | 403 1769 5413 | 14729 13904 18 | 0.001 % |
25.14/25.26 c | 167869 | 403 1769 5413 | 14729 14137 18 | 0.001 % |
25.14/25.29 c | 168126 | 403 1769 5413 | 14729 14394 18 | 0.001 % |
25.24/25.32 c | 168409 | 403 1769 5413 | 14729 14677 18 | 0.001 % |
25.24/25.37 c | 168718 | 403 1769 5413 | 14729 13369 18 | 0.001 % |
25.33/25.41 c | 169058 | 403 1769 5413 | 14729 13709 18 | 0.001 % |
25.33/25.47 c | 169430 | 403 1769 5413 | 14729 14081 18 | 0.001 % |
25.43/25.53 c | 169839 | 403 1769 5413 | 14729 14490 18 | 0.001 % |
25.43/25.59 c | 170288 | 403 1769 5413 | 14651 13271 18 | 0.001 % |
25.53/25.66 c | 170783 | 403 1769 5413 | 14651 13766 18 | 0.001 % |
25.63/25.73 c | 171326 | 403 1769 5413 | 14651 14309 19 | 0.001 % |
25.73/25.81 c | 171922 | 403 1769 5413 | 14651 13308 19 | 0.001 % |
25.73/25.89 c | 172580 | 403 1769 5413 | 14651 13966 19 | 0.001 % |
25.83/25.99 c | 173300 | 403 1769 5413 | 14651 14686 19 | 0.001 % |
25.93/26.09 c | 174094 | 403 1769 5413 | 14651 13874 19 | 0.001 % |
26.13/26.20 c | 174967 | 403 1769 5413 | 14651 13258 19 | 0.001 % |
26.23/26.31 c | 175925 | 403 1769 5413 | 14651 14216 19 | 0.001 % |
26.33/26.43 c | 176979 | 403 1769 5413 | 14651 13802 19 | 0.001 % |
26.43/26.56 c | 178138 | 403 1769 5413 | 14651 13491 19 | 0.001 % |
26.63/26.73 c | 179411 | 403 1769 5413 | 14651 13294 20 | 0.001 % |
26.73/26.89 c | 180812 | 403 1769 5413 | 2147483647 14695 20 | 0.001 % |
27.03/27.12 c | 182352 | 403 1769 5413 | 2147483647 16235 20 | 0.001 % |
27.33/27.40 c | 184046 | 403 1769 5413 | 2147483647 17929 20 | 0.001 % |
27.53/27.67 c | 185911 | 403 1769 5413 | 2147483647 19794 20 | 0.001 % |
27.53/27.69 c | 186013 | 403 1769 5413 | 2147483647 19896 20 | 0.001 % |
27.63/27.71 c | 186125 | 403 1769 5413 | 2147483647 20008 20 | 0.001 % |
27.63/27.73 c | 186246 | 403 1769 5413 | 2147483647 20129 20 | 0.001 % |
27.63/27.76 c | 186379 | 403 1769 5413 | 2147483647 20262 20 | 0.001 % |
27.63/27.78 c | 186528 | 403 1769 5413 | 2147483647 20411 20 | 0.001 % |
27.73/27.81 c | 186689 | 403 1769 5413 | 2147483647 20572 20 | 0.001 % |
27.73/27.85 c | 186868 | 403 1769 5413 | 2147483647 20751 20 | 0.001 % |
27.73/27.89 c | 187062 | 403 1769 5413 | 2147483647 20945 20 | 0.001 % |
27.83/27.93 c | 187275 | 403 1769 5413 | 2147483647 21158 20 | 0.001 % |
27.83/27.98 c | 187508 | 403 1769 5413 | 2147483647 21391 20 | 0.001 % |
27.93/28.03 c | 187767 | 403 1769 5413 | 2147483647 21650 20 | 0.001 % |
27.93/28.10 c | 188048 | 403 1769 5413 | 2147483647 21931 20 | 0.001 % |
28.03/28.16 c | 188359 | 403 1769 5413 | 2147483647 22242 20 | 0.001 % |
28.13/28.23 c | 188700 | 403 1769 5413 | 2147483647 22583 20 | 0.001 % |
28.23/28.30 c | 189073 | 403 1769 5413 | 2147483647 22956 20 | 0.001 % |
28.23/28.38 c | 189482 | 403 1769 5413 | 2147483647 23365 20 | 0.001 % |
28.33/28.48 c | 189931 | 403 1769 5413 | 2147483647 23814 20 | 0.001 % |
28.43/28.58 c | 190424 | 403 1769 5413 | 23883 19793 20 | 0.001 % |
28.53/28.67 c | 190967 | 403 1769 5413 | 23883 20336 20 | 0.001 % |
28.73/28.82 c | 191564 | 403 1769 5413 | 23883 20933 20 | 0.001 % |
28.83/28.93 c | 192219 | 403 1769 5413 | 23883 21588 20 | 0.001 % |
28.93/29.08 c | 192940 | 403 1769 5413 | 23883 22309 20 | 0.001 % |
29.13/29.24 c | 193733 | 403 1769 5413 | 23883 23102 20 | 0.001 % |
29.33/29.44 c | 194605 | 403 1769 5413 | 23883 18430 20 | 0.001 % |
29.53/29.61 c | 195565 | 403 1769 5413 | 23883 19390 20 | 0.001 % |
29.63/29.78 c | 196618 | 403 1769 5413 | 23883 20443 20 | 0.001 % |
29.83/29.99 c | 197778 | 403 1769 5413 | 23883 21603 20 | 0.001 % |
30.12/30.26 c | 199052 | 403 1769 5413 | 23883 22877 20 | 0.001 % |
30.42/30.52 c | 200454 | 403 1769 5413 | 23826 18744 20 | 0.001 % |
30.63/30.78 c | 201996 | 403 1769 5413 | 23826 20286 20 | 0.001 % |
31.02/31.12 c | 203690 | 403 1769 5413 | 23826 21980 20 | 0.001 % |
31.42/31.54 c | 205554 | 403 1769 5413 | 23826 23844 20 | 0.001 % |
31.73/31.89 c | 207604 | 403 1769 5413 | 23826 20210 20 | 0.001 % |
31.83/31.91 c | 207704 | 403 1769 5413 | 23826 20310 20 | 0.001 % |
31.83/31.93 c | 207815 | 403 1769 5413 | 23826 20421 20 | 0.001 % |
31.83/31.95 c | 207937 | 403 1769 5413 | 23826 20543 20 | 0.001 % |
31.83/31.97 c | 208070 | 403 1769 5413 | 23826 20676 20 | 0.001 % |
31.92/32.01 c | 208220 | 403 1769 5413 | 23826 20826 20 | 0.001 % |
31.92/32.03 c | 208381 | 403 1769 5413 | 23826 20987 20 | 0.001 % |
31.92/32.06 c | 208557 | 403 1769 5413 | 23826 21163 20 | 0.001 % |
32.02/32.11 c | 208751 | 403 1769 5413 | 23826 21357 20 | 0.001 % |
32.02/32.16 c | 208963 | 403 1769 5413 | 23826 21569 20 | 0.001 % |
32.12/32.21 c | 209197 | 403 1769 5413 | 23826 21803 20 | 0.001 % |
32.12/32.27 c | 209454 | 403 1769 5413 | 23826 22060 20 | 0.001 % |
32.22/32.33 c | 209735 | 403 1769 5413 | 23826 22341 20 | 0.001 % |
32.32/32.40 c | 210044 | 403 1769 5413 | 22607 17242 20 | 0.001 % |
32.32/32.45 c | 210383 | 403 1769 5413 | 22607 17581 20 | 0.001 % |
32.42/32.52 c | 210756 | 403 1769 5413 | 22607 17954 20 | 0.001 % |
32.42/32.59 c | 211166 | 403 1769 5413 | 22607 18364 20 | 0.001 % |
32.52/32.67 c | 211615 | 403 1769 5413 | 22607 18813 20 | 0.001 % |
32.62/32.74 c | 212108 | 403 1769 5413 | 22607 19306 20 | 0.001 % |
32.72/32.84 c | 212651 | 403 1769 5413 | 22607 19849 20 | 0.001 % |
32.82/32.95 c | 213247 | 403 1769 5413 | 22607 20445 20 | 0.001 % |
32.92/33.07 c | 213903 | 403 1769 5413 | 22607 21101 20 | 0.001 % |
33.12/33.20 c | 214625 | 403 1769 5413 | 22607 21823 20 | 0.001 % |
33.22/33.34 c | 215418 | 403 1769 5413 | 22607 22616 20 | 0.001 % |
33.32/33.50 c | 216290 | 403 1769 5413 | 22607 18177 20 | 0.001 % |
33.52/33.64 c | 217249 | 403 1769 5413 | 22607 19136 20 | 0.001 % |
33.72/33.81 c | 218302 | 403 1769 5413 | 22607 20189 20 | 0.001 % |
33.82/33.99 c | 219461 | 403 1769 5413 | 22607 21348 20 | 0.001 % |
34.12/34.20 c | 220734 | 403 1769 5413 | 21888 17724 19 | 0.001 % |
34.32/34.40 c | 222136 | 403 1769 5413 | 21888 19126 19 | 0.001 % |
34.52/34.64 c | 223676 | 403 1769 5413 | 21888 20666 19 | 0.001 % |
34.82/34.96 c | 225370 | 403 1769 5413 | 21888 17885 19 | 0.001 % |
35.12/35.26 c | 227233 | 403 1769 5413 | 21888 19748 19 | 0.001 % |
35.42/35.53 c | 229283 | 403 1769 5413 | 21888 21798 20 | 0.001 % |
35.72/35.85 c | 231536 | 403 1769 5413 | 18151 16115 20 | 0.001 % |
35.72/35.87 c | 231636 | 403 1769 5413 | 18151 16215 20 | 0.001 % |
35.72/35.88 c | 231746 | 403 1769 5413 | 18151 16325 20 | 0.001 % |
35.82/35.90 c | 231869 | 403 1769 5413 | 18151 16448 20 | 0.001 % |
35.82/35.92 c | 232003 | 403 1769 5413 | 18151 16582 20 | 0.001 % |
35.82/35.94 c | 232149 | 403 1769 5413 | 18151 16728 20 | 0.001 % |
35.82/35.97 c | 232311 | 403 1769 5413 | 18151 16890 20 | 0.001 % |
35.82/35.99 c | 232489 | 403 1769 5413 | 18151 17068 20 | 0.001 % |
35.92/36.02 c | 232683 | 403 1769 5413 | 18151 17262 20 | 0.001 % |
35.92/36.06 c | 232895 | 403 1769 5413 | 18151 17474 20 | 0.001 % |
35.92/36.09 c | 233128 | 403 1769 5413 | 18151 17707 20 | 0.001 % |
36.02/36.14 c | 233385 | 403 1769 5413 | 18151 17964 20 | 0.001 % |
36.02/36.19 c | 233666 | 403 1769 5413 | 18151 15095 20 | 0.001 % |
36.13/36.23 c | 233976 | 403 1769 5413 | 18151 15405 20 | 0.001 % |
36.13/36.27 c | 234317 | 403 1769 5413 | 18151 15746 20 | 0.001 % |
36.23/36.32 c | 234693 | 403 1769 5413 | 18151 16122 20 | 0.001 % |
36.23/36.38 c | 235104 | 403 1769 5413 | 18151 16533 20 | 0.001 % |
36.32/36.45 c | 235553 | 403 1769 5413 | 18151 16982 20 | 0.001 % |
36.42/36.53 c | 236046 | 403 1769 5413 | 18151 17475 20 | 0.001 % |
36.52/36.61 c | 236588 | 403 1769 5413 | 18151 18017 20 | 0.001 % |
36.62/36.71 c | 237186 | 403 1769 5413 | 18151 15574 20 | 0.001 % |
36.72/36.80 c | 237841 | 403 1769 5413 | 18151 16229 20 | 0.001 % |
36.82/36.92 c | 238562 | 403 1769 5413 | 18151 16950 20 | 0.001 % |
36.92/37.03 c | 239354 | 403 1769 5413 | 18151 17742 20 | 0.001 % |
37.02/37.17 c | 240227 | 403 1769 5413 | 15335 12998 20 | 0.001 % |
37.12/37.29 c | 241187 | 403 1769 5413 | 15335 13958 20 | 0.001 % |
37.33/37.43 c | 242240 | 403 1769 5413 | 15335 15011 20 | 0.001 % |
37.42/37.60 c | 243399 | 403 1769 5413 | 15335 14138 19 | 0.001 % |
37.62/37.77 c | 244677 | 403 1769 5413 | 15335 13510 19 | 0.001 % |
37.82/37.97 c | 246078 | 403 1769 5413 | 15335 14911 19 | 0.001 % |
38.02/38.20 c | 247618 | 403 1769 5413 | 15335 14523 19 | 0.001 % |
38.32/38.44 c | 249313 | 403 1769 5413 | 15335 14258 19 | 0.001 % |
38.52/38.69 c | 251178 | 403 1769 5413 | 14945 14255 19 | 0.001 % |
38.82/38.92 c | 253228 | 403 1769 5413 | 14945 14712 19 | 0.001 % |
39.12/39.21 c | 255482 | 403 1769 5413 | 14945 13967 20 | 0.001 % |
39.42/39.55 c | 257960 | 403 1769 5413 | 14945 14944 20 | 0.001 % |
39.42/39.57 c | 258060 | 403 1769 5413 | 14945 13544 20 | 0.001 % |
39.42/39.59 c | 258171 | 403 1769 5413 | 14945 13655 20 | 0.001 % |
39.52/39.60 c | 258292 | 403 1769 5413 | 14945 13776 20 | 0.001 % |
39.52/39.62 c | 258426 | 403 1769 5413 | 14945 13910 20 | 0.001 % |
39.52/39.64 c | 258573 | 403 1769 5413 | 14945 14057 20 | 0.001 % |
39.52/39.66 c | 258733 | 403 1769 5413 | 14945 14217 20 | 0.001 % |
39.52/39.68 c | 258910 | 403 1769 5413 | 14945 14394 20 | 0.001 % |
39.62/39.70 c | 259105 | 403 1769 5413 | 14945 14589 20 | 0.001 % |
39.62/39.73 c | 259317 | 403 1769 5413 | 14945 14801 20 | 0.001 % |
39.62/39.77 c | 259550 | 403 1769 5413 | 14945 13535 20 | 0.001 % |
39.72/39.80 c | 259806 | 403 1769 5413 | 14945 13791 20 | 0.001 % |
39.72/39.84 c | 260089 | 403 1769 5413 | 2147483647 14074 20 | 0.001 % |
39.72/39.88 c | 260398 | 403 1769 5413 | 2147483647 14383 20 | 0.001 % |
39.82/39.92 c | 260737 | 403 1769 5413 | 2147483647 14722 20 | 0.001 % |
39.82/39.97 c | 261111 | 403 1769 5413 | 2147483647 15096 20 | 0.001 % |
39.92/40.04 c | 261520 | 403 1769 5413 | 2147483647 15505 20 | 0.001 % |
40.02/40.11 c | 261969 | 403 1769 5413 | 2147483647 15954 20 | 0.001 % |
40.02/40.18 c | 262463 | 403 1769 5413 | 2147483647 16448 20 | 0.001 % |
40.12/40.27 c | 263006 | 403 1769 5413 | 2147483647 16991 20 | 0.001 % |
40.22/40.35 c | 263602 | 403 1769 5413 | 2147483647 17587 20 | 0.001 % |
40.32/40.45 c | 264257 | 403 1769 5413 | 2147483647 18242 20 | 0.001 % |
40.41/40.57 c | 264978 | 403 1769 5413 | 2147483647 18963 20 | 0.001 % |
40.62/40.70 c | 265771 | 403 1769 5413 | 2147483647 19756 20 | 0.001 % |
40.71/40.85 c | 266642 | 403 1769 5413 | 2147483647 20627 20 | 0.001 % |
40.91/41.02 c | 267600 | 403 1769 5413 | 2147483647 21585 21 | 0.001 % |
41.11/41.24 c | 268655 | 403 1769 5413 | 2147483647 22640 21 | 0.001 % |
41.31/41.47 c | 269814 | 403 1769 5413 | 2147483647 23799 21 | 0.001 % |
41.62/41.73 c | 271087 | 403 1769 5413 | 23985 20670 21 | 0.001 % |
41.81/41.99 c | 272487 | 403 1769 5413 | 23985 22070 21 | 0.001 % |
42.21/42.32 c | 274027 | 403 1769 5413 | 23985 23610 21 | 0.001 % |
42.51/42.65 c | 275721 | 403 1769 5413 | 23985 19884 20 | 0.001 % |
42.82/43.00 c | 277585 | 403 1769 5413 | 23985 21748 21 | 0.001 % |
43.21/43.35 c | 279635 | 403 1769 5413 | 23985 23798 20 | 0.001 % |
43.61/43.70 c | 281888 | 403 1769 5413 | 18661 16277 20 | 0.001 % |
43.92/44.06 c | 284367 | 403 1769 5413 | 18661 15320 20 | 0.001 % |
44.31/44.43 c | 287092 | 403 1769 5413 | 18661 18045 20 | 0.001 % |
44.31/44.45 c | 287193 | 403 1769 5413 | 18661 18146 20 | 0.001 % |
44.31/44.47 c | 287303 | 403 1769 5413 | 18661 18256 20 | 0.001 % |
44.31/44.49 c | 287424 | 403 1769 5413 | 18661 18377 20 | 0.001 % |
44.41/44.51 c | 287558 | 403 1769 5413 | 18661 18511 20 | 0.001 % |
44.41/44.54 c | 287704 | 403 1769 5413 | 18661 18657 20 | 0.001 % |
44.41/44.57 c | 287865 | 403 1769 5413 | 18661 15561 19 | 0.001 % |
44.51/44.60 c | 288042 | 403 1769 5413 | 18661 15738 19 | 0.001 % |
44.51/44.63 c | 288235 | 403 1769 5413 | 18661 15931 19 | 0.001 % |
44.51/44.66 c | 288447 | 403 1769 5413 | 18661 16143 19 | 0.001 % |
44.61/44.70 c | 288681 | 403 1769 5413 | 18661 16377 19 | 0.001 % |
44.61/44.73 c | 288938 | 403 1769 5413 | 18661 16634 19 | 0.001 % |
44.61/44.77 c | 289219 | 403 1769 5413 | 18661 16915 19 | 0.001 % |
44.71/44.81 c | 289529 | 403 1769 5413 | 18661 17225 19 | 0.001 % |
44.71/44.86 c | 289869 | 403 1769 5413 | 18661 17565 20 | 0.001 % |
44.81/44.93 c | 290242 | 403 1769 5413 | 17696 14884 19 | 0.001 % |
44.81/44.98 c | 290653 | 403 1769 5413 | 17696 15295 19 | 0.001 % |
44.92/45.04 c | 291103 | 403 1769 5413 | 17696 15745 19 | 0.001 % |
44.92/45.10 c | 291597 | 403 1769 5413 | 17696 16239 19 | 0.001 % |
45.01/45.17 c | 292141 | 403 1769 5413 | 17696 16783 19 | 0.001 % |
45.11/45.25 c | 292737 | 403 1769 5413 | 17696 17379 20 | 0.001 % |
45.21/45.35 c | 293393 | 403 1769 5413 | 17696 15358 20 | 0.001 % |
45.31/45.45 c | 294116 | 403 1769 5413 | 17696 16081 20 | 0.001 % |
45.41/45.57 c | 294911 | 403 1769 5413 | 17696 16876 20 | 0.001 % |
45.61/45.71 c | 295782 | 403 1769 5413 | 17696 15072 20 | 0.001 % |
45.71/45.84 c | 296742 | 403 1769 5413 | 17696 16032 20 | 0.001 % |
45.81/45.98 c | 297796 | 403 1769 5413 | 17696 17086 20 | 0.001 % |
46.01/46.15 c | 298957 | 403 1769 5413 | 17696 15635 20 | 0.001 % |
46.21/46.34 c | 300230 | 403 1769 5413 | 16678 14467 20 | 0.001 % |
46.41/46.53 c | 301632 | 403 1769 5413 | 16678 15869 20 | 0.001 % |
46.61/46.76 c | 303173 | 403 1769 5413 | 16678 15017 20 | 0.001 % |
46.91/47.00 c | 304867 | 403 1769 5413 | 16678 16711 20 | 0.001 % |
47.11/47.24 c | 306731 | 403 1769 5413 | 16678 16122 20 | 0.001 % |
47.41/47.51 c | 308780 | 403 1769 5413 | 16678 15841 20 | 0.001 % |
47.71/47.81 c | 311033 | 403 1769 5413 | 14773 13794 19 | 0.001 % |
47.91/48.07 c | 313513 | 403 1769 5413 | 14773 14569 19 | 0.001 % |
48.21/48.39 c | 316239 | 403 1769 5413 | 14773 14334 19 | 0.001 % |
48.61/48.77 c | 319238 | 403 1769 5413 | 14773 14366 20 | 0.001 % |
48.61/48.78 c | 319338 | 403 1769 5413 | 14773 14466 20 | 0.001 % |
48.61/48.80 c | 319450 | 403 1769 5413 | 14773 14578 20 | 0.001 % |
48.71/48.81 c | 319572 | 403 1769 5413 | 14773 14700 20 | 0.001 % |
48.71/48.84 c | 319706 | 403 1769 5413 | 14773 14834 20 | 0.001 % |
48.71/48.86 c | 319852 | 403 1769 5413 | 14773 13497 19 | 0.001 % |
48.71/48.88 c | 320012 | 403 1769 5413 | 2147483647 13657 20 | 0.001 % |
48.81/48.91 c | 320190 | 403 1769 5413 | 2147483647 13835 20 | 0.001 % |
48.81/48.94 c | 320383 | 403 1769 5413 | 2147483647 14028 20 | 0.001 % |
48.81/48.96 c | 320595 | 403 1769 5413 | 2147483647 14240 20 | 0.001 % |
48.81/48.99 c | 320829 | 403 1769 5413 | 2147483647 14474 20 | 0.001 % |
48.90/49.02 c | 321086 | 403 1769 5413 | 2147483647 14731 20 | 0.001 % |
48.90/49.06 c | 321369 | 403 1769 5413 | 2147483647 15014 20 | 0.001 % |
49.00/49.10 c | 321678 | 403 1769 5413 | 2147483647 15323 20 | 0.001 % |
49.00/49.14 c | 322017 | 403 1769 5413 | 2147483647 15662 20 | 0.001 % |
49.00/49.19 c | 322389 | 403 1769 5413 | 2147483647 16034 20 | 0.001 % |
49.10/49.25 c | 322799 | 403 1769 5413 | 2147483647 16444 20 | 0.001 % |
49.20/49.31 c | 323248 | 403 1769 5413 | 2147483647 16893 20 | 0.001 % |
49.20/49.38 c | 323741 | 403 1769 5413 | 2147483647 17386 20 | 0.001 % |
49.31/49.48 c | 324283 | 403 1769 5413 | 2147483647 17928 20 | 0.001 % |
49.41/49.58 c | 324879 | 403 1769 5413 | 2147483647 18524 20 | 0.001 % |
49.50/49.69 c | 325534 | 403 1769 5413 | 2147483647 19179 20 | 0.001 % |
49.70/49.83 c | 326255 | 403 1769 5413 | 2147483647 19900 20 | 0.001 % |
49.80/49.98 c | 327047 | 403 1769 5413 | 2147483647 20692 20 | 0.001 % |
50.00/50.14 c | 327918 | 403 1769 5413 | 2147483647 21563 20 | 0.001 % |
50.20/50.30 c | 328876 | 403 1769 5413 | 2147483647 22521 20 | 0.001 % |
50.30/50.49 c | 329930 | 403 1769 5413 | 2147483647 23575 20 | 0.001 % |
50.51/50.69 c | 331089 | 403 1769 5413 | 23645 20521 20 | 0.001 % |
50.80/50.90 c | 332362 | 403 1769 5413 | 23645 21794 20 | 0.001 % |
51.00/51.16 c | 333763 | 403 1769 5413 | 23645 23195 20 | 0.001 % |
51.30/51.45 c | 335303 | 403 1769 5413 | 23645 19655 20 | 0.001 % |
51.60/51.72 c | 336999 | 403 1769 5413 | 23645 21351 20 | 0.001 % |
51.90/52.03 c | 338862 | 403 1769 5413 | 23645 23214 20 | 0.001 % |
52.20/52.35 c | 340912 | 403 1769 5413 | 19138 15846 20 | 0.001 % |
52.50/52.68 c | 343165 | 403 1769 5413 | 19138 18099 20 | 0.001 % |
52.90/53.08 c | 345643 | 403 1769 5413 | 19138 16637 20 | 0.001 % |
53.40/53.50 c | 348369 | 403 1769 5413 | 19138 15584 20 | 0.001 % |
53.80/53.92 c | 351366 | 403 1769 5413 | 17215 15248 20 | 0.001 % |
54.20/54.38 c | 354662 | 403 1769 5413 | 17215 15723 20 | 0.001 % |
54.30/54.40 c | 354763 | 403 1769 5413 | 17215 15824 20 | 0.001 % |
54.30/54.42 c | 354873 | 403 1769 5413 | 17215 15934 20 | 0.001 % |
54.30/54.44 c | 354995 | 403 1769 5413 | 17215 16056 20 | 0.001 % |
54.30/54.47 c | 355128 | 403 1769 5413 | 17215 16189 20 | 0.001 % |
54.30/54.49 c | 355274 | 403 1769 5413 | 17215 16335 20 | 0.001 % |
54.40/54.53 c | 355434 | 403 1769 5413 | 17215 16495 20 | 0.001 % |
54.40/54.56 c | 355611 | 403 1769 5413 | 17215 16672 19 | 0.001 % |
54.40/54.59 c | 355804 | 403 1769 5413 | 17215 16865 19 | 0.001 % |
54.50/54.62 c | 356016 | 403 1769 5413 | 17215 17077 20 | 0.001 % |
54.50/54.67 c | 356250 | 403 1769 5413 | 17215 14364 19 | 0.001 % |
54.60/54.70 c | 356506 | 403 1769 5413 | 17215 14620 19 | 0.001 % |
54.60/54.74 c | 356788 | 403 1769 5413 | 17215 14902 19 | 0.001 % |
54.60/54.78 c | 357097 | 403 1769 5413 | 17215 15211 19 | 0.001 % |
54.70/54.83 c | 357436 | 403 1769 5413 | 17215 15550 19 | 0.001 % |
54.70/54.88 c | 357809 | 403 1769 5413 | 17215 15923 19 | 0.001 % |
54.80/54.94 c | 358218 | 403 1769 5413 | 17215 16332 19 | 0.001 % |
54.90/55.00 c | 358669 | 403 1769 5413 | 17215 16783 19 | 0.001 % |
55.00/55.10 c | 359163 | 403 1769 5413 | 17215 14373 19 | 0.001 % |
55.00/55.19 c | 359706 | 403 1769 5413 | 17215 14916 19 | 0.001 % |
55.10/55.27 c | 360302 | 403 1769 5413 | 15213 12999 19 | 0.001 % |
55.20/55.35 c | 360958 | 403 1769 5413 | 15213 13655 19 | 0.001 % |
55.30/55.45 c | 361679 | 403 1769 5413 | 15213 14376 19 | 0.001 % |
55.40/55.56 c | 362471 | 403 1769 5413 | 15213 15168 19 | 0.001 % |
55.50/55.68 c | 363343 | 403 1769 5413 | 15213 13914 19 | 0.001 % |
55.70/55.83 c | 364301 | 403 1769 5413 | 15213 14872 19 | 0.001 % |
55.80/55.99 c | 365354 | 403 1769 5413 | 15213 13858 19 | 0.001 % |
56.00/56.15 c | 366513 | 403 1769 5413 | 15213 15017 19 | 0.001 % |
56.10/56.29 c | 367789 | 403 1769 5413 | 15213 14292 19 | 0.001 % |
56.30/56.45 c | 369190 | 403 1769 5413 | 15213 13832 20 | 0.001 % |
56.50/56.63 c | 370731 | 403 1769 5413 | 14642 13658 19 | 0.001 % |
56.70/56.84 c | 372427 | 403 1769 5413 | 14642 13875 19 | 0.001 % |
56.90/57.08 c | 374290 | 403 1769 5413 | 14642 14270 19 | 0.001 % |
57.20/57.34 c | 376341 | 403 1769 5413 | 14642 13385 20 | 0.001 % |
57.49/57.62 c | 378595 | 403 1769 5413 | 14642 14132 20 | 0.001 % |
57.79/57.93 c | 381073 | 403 1769 5413 | 2147483647 15135 20 | 0.001 % |
58.10/58.27 c | 383798 | 403 1769 5413 | 2147483647 17860 21 | 0.001 % |
58.59/58.75 c | 386796 | 403 1769 5413 | 2147483647 20858 20 | 0.001 % |
59.20/59.33 c | 390092 | 403 1769 5413 | 24063 19997 20 | 0.001 % |
59.79/59.91 c | 393717 | 403 1769 5413 | 24063 23622 20 | 0.001 % |
59.79/59.93 c | 393818 | 403 1769 5413 | 24063 23723 20 | 0.001 % |
59.79/59.96 c | 393929 | 403 1769 5413 | 24063 23834 20 | 0.001 % |
59.79/59.99 c | 394050 | 403 1769 5413 | 24063 23955 20 | 0.001 % |
59.89/60.03 c | 394185 | 403 1769 5413 | 24063 24090 20 | 0.001 % |
59.89/60.07 c | 394333 | 403 1769 5413 | 24063 19472 20 | 0.001 % |
59.99/60.11 c | 394494 | 403 1769 5413 | 24063 19633 20 | 0.001 % |
59.99/60.13 c | 394670 | 403 1769 5413 | 24063 19809 20 | 0.001 % |
59.99/60.18 c | 394863 | 403 1769 5413 | 24063 20002 20 | 0.001 % |
60.09/60.22 c | 395075 | 403 1769 5413 | 24063 20214 20 | 0.001 % |
60.09/60.27 c | 395309 | 403 1769 5413 | 24063 20448 20 | 0.001 % |
60.19/60.32 c | 395566 | 403 1769 5413 | 24063 20705 20 | 0.001 % |
60.19/60.39 c | 395847 | 403 1769 5413 | 24063 20986 20 | 0.001 % |
60.30/60.47 c | 396156 | 403 1769 5413 | 24063 21295 20 | 0.001 % |
60.39/60.54 c | 396495 | 403 1769 5413 | 24063 21634 20 | 0.001 % |
60.49/60.61 c | 396867 | 403 1769 5413 | 24063 22006 20 | 0.001 % |
60.49/60.68 c | 397276 | 403 1769 5413 | 24063 22415 20 | 0.001 % |
60.59/60.78 c | 397725 | 403 1769 5413 | 24063 22864 20 | 0.001 % |
60.69/60.88 c | 398219 | 403 1769 5413 | 24063 23358 20 | 0.001 % |
60.89/61.01 c | 398762 | 403 1769 5413 | 24063 23901 20 | 0.001 % |
60.99/61.15 c | 399358 | 403 1769 5413 | 24063 18963 20 | 0.001 % |
61.09/61.25 c | 400013 | 403 1769 5413 | 19605 19618 20 | 0.001 % |
61.19/61.38 c | 400734 | 403 1769 5413 | 19605 15887 20 | 0.001 % |
61.29/61.49 c | 401527 | 403 1769 5413 | 19605 16680 20 | 0.001 % |
61.49/61.61 c | 402399 | 403 1769 5413 | 19605 17552 20 | 0.001 % |
61.59/61.73 c | 403357 | 403 1769 5413 | 19605 18510 20 | 0.001 % |
61.79/61.90 c | 404410 | 403 1769 5413 | 19605 19563 20 | 0.001 % |
61.89/62.10 c | 405570 | 403 1769 5413 | 19605 16951 20 | 0.001 % |
62.09/62.29 c | 406843 | 403 1769 5413 | 19605 18224 20 | 0.001 % |
62.39/62.51 c | 408244 | 403 1769 5413 | 19605 19625 20 | 0.001 % |
62.59/62.72 c | 409785 | 403 1769 5413 | 19605 17432 20 | 0.001 % |
62.79/62.99 c | 411479 | 403 1769 5413 | 17648 15886 20 | 0.001 % |
63.09/63.27 c | 413343 | 403 1769 5413 | 17648 14806 20 | 0.001 % |
63.39/63.53 c | 415394 | 403 1769 5413 | 17648 16857 21 | 0.001 % |
63.69/63.84 c | 417647 | 403 1769 5413 | 17648 16419 21 | 0.001 % |
64.09/64.25 c | 420125 | 403 1769 5413 | 16107 13739 21 | 0.001 % |
64.49/64.66 c | 422850 | 403 1769 5413 | 16107 14013 21 | 0.001 % |
64.89/65.07 c | 425849 | 403 1769 5413 | 16107 14697 21 | 0.001 % |
65.39/65.56 c | 429146 | 403 1769 5413 | 16107 15777 21 | 0.001 % |
65.89/66.04 c | 432773 | 403 1769 5413 | 14410 13487 21 | 0.001 % |
66.38/66.59 c | 436761 | 403 1769 5413 | 14410 14008 21 | 0.001 % |
66.48/66.61 c | 436862 | 403 1769 5413 | 14410 14109 21 | 0.001 % |
66.48/66.63 c | 436976 | 403 1769 5413 | 14410 14223 21 | 0.001 % |
66.48/66.65 c | 437098 | 403 1769 5413 | 14410 14345 21 | 0.001 % |
66.48/66.67 c | 437233 | 403 1769 5413 | 14410 12704 20 | 0.001 % |
66.48/66.69 c | 437380 | 403 1769 5413 | 14410 12851 20 | 0.001 % |
66.58/66.71 c | 437543 | 403 1769 5413 | 14410 13014 20 | 0.001 % |
66.58/66.73 c | 437720 | 403 1769 5413 | 14410 13191 20 | 0.001 % |
66.58/66.76 c | 437914 | 403 1769 5413 | 14410 13385 20 | 0.001 % |
66.58/66.79 c | 438128 | 403 1769 5413 | 14410 13599 20 | 0.001 % |
66.68/66.83 c | 438362 | 403 1769 5413 | 14410 13833 20 | 0.001 % |
66.68/66.87 c | 438618 | 403 1769 5413 | 14410 14089 20 | 0.001 % |
66.78/66.90 c | 438899 | 403 1769 5413 | 14410 14370 20 | 0.001 % |
66.78/66.96 c | 439208 | 403 1769 5413 | 14410 12875 20 | 0.001 % |
66.88/67.00 c | 439547 | 403 1769 5413 | 14410 13214 20 | 0.001 % |
66.88/67.04 c | 439921 | 403 1769 5413 | 14410 13588 20 | 0.001 % |
66.88/67.09 c | 440332 | 403 1769 5413 | 13668 12330 20 | 0.001 % |
66.98/67.14 c | 440781 | 403 1769 5413 | 13668 12779 20 | 0.001 % |
66.98/67.19 c | 441274 | 403 1769 5413 | 13668 13272 20 | 0.001 % |
67.08/67.26 c | 441819 | 403 1769 5413 | 13668 12444 20 | 0.001 % |
67.18/67.33 c | 442416 | 403 1769 5413 | 13668 13041 20 | 0.001 % |
67.28/67.40 c | 443073 | 403 1769 5413 | 13668 13698 20 | 0.001 % |
67.28/67.49 c | 443793 | 403 1769 5413 | 13668 13049 20 | 0.001 % |
67.38/67.58 c | 444585 | 403 1769 5413 | 13668 12469 20 | 0.001 % |
67.48/67.68 c | 445456 | 403 1769 5413 | 13668 13340 20 | 0.001 % |
67.68/67.81 c | 446414 | 403 1769 5413 | 13668 12927 20 | 0.001 % |
67.78/67.94 c | 447468 | 403 1769 5413 | 13668 12610 20 | 0.001 % |
67.88/68.08 c | 448626 | 403 1769 5413 | 13668 12395 19 | 0.001 % |
68.08/68.25 c | 449899 | 403 1769 5413 | 13668 13668 19 | 0.001 % |
68.28/68.42 c | 451299 | 403 1769 5413 | 2147483647 13702 19 | 0.001 % |
68.48/68.63 c | 452839 | 403 1769 5413 | 2147483647 15242 19 | 0.001 % |
68.68/68.90 c | 454533 | 403 1769 5413 | 2147483647 16936 19 | 0.001 % |
68.98/69.15 c | 456398 | 403 1769 5413 | 2147483647 18801 20 | 0.001 % |
69.28/69.44 c | 458450 | 403 1769 5413 | 2147483647 20853 20 | 0.001 % |
69.68/69.82 c | 460703 | 403 1769 5413 | 22405 19499 20 | 0.001 % |
70.08/70.27 c | 463182 | 403 1769 5413 | 22405 21978 20 | 0.001 % |
70.58/70.77 c | 465908 | 403 1769 5413 | 22405 20049 20 | 0.001 % |
71.18/71.33 c | 468908 | 403 1769 5413 | 22405 18170 20 | 0.001 % |
71.68/71.86 c | 472204 | 403 1769 5413 | 19263 17313 20 | 0.001 % |
72.18/72.38 c | 475830 | 403 1769 5413 | 19263 17386 20 | 0.001 % |
72.78/72.98 c | 479817 | 403 1769 5413 | 19263 17842 20 | 0.001 % |
73.38/73.58 c | 484202 | 403 1769 5413 | 18025 15859 20 | 0.001 % |
73.38/73.60 c | 484302 | 403 1769 5413 | 18025 15959 20 | 0.001 % |
73.48/73.62 c | 484414 | 403 1769 5413 | 18025 16071 20 | 0.001 % |
73.48/73.64 c | 484536 | 403 1769 5413 | 18025 16193 20 | 0.001 % |
73.48/73.66 c | 484669 | 403 1769 5413 | 18025 16326 20 | 0.001 % |
73.48/73.68 c | 484815 | 403 1769 5413 | 18025 16472 20 | 0.001 % |
73.58/73.71 c | 484977 | 403 1769 5413 | 18025 16634 20 | 0.001 % |
73.58/73.73 c | 485153 | 403 1769 5413 | 18025 16810 20 | 0.001 % |
73.58/73.76 c | 485346 | 403 1769 5413 | 18025 17003 20 | 0.001 % |
73.58/73.79 c | 485558 | 403 1769 5413 | 18025 17215 20 | 0.001 % |
73.68/73.83 c | 485794 | 403 1769 5413 | 18025 17451 20 | 0.001 % |
73.68/73.87 c | 486050 | 403 1769 5413 | 18025 17707 20 | 0.001 % |
73.78/73.91 c | 486331 | 403 1769 5413 | 18025 17988 20 | 0.001 % |
73.78/73.97 c | 486641 | 403 1769 5413 | 18025 15133 20 | 0.001 % |
73.88/74.01 c | 486980 | 403 1769 5413 | 18025 15472 20 | 0.001 % |
73.88/74.06 c | 487352 | 403 1769 5413 | 18025 15844 20 | 0.001 % |
73.98/74.13 c | 487761 | 403 1769 5413 | 18025 16253 20 | 0.001 % |
74.08/74.20 c | 488211 | 403 1769 5413 | 18025 16703 20 | 0.001 % |
74.08/74.27 c | 488704 | 403 1769 5413 | 18025 17196 20 | 0.001 % |
74.18/74.37 c | 489246 | 403 1769 5413 | 18025 17738 20 | 0.001 % |
74.28/74.47 c | 489843 | 403 1769 5413 | 18025 15150 20 | 0.001 % |
74.38/74.57 c | 490498 | 403 1769 5413 | 15309 13100 19 | 0.001 % |
74.48/74.66 c | 491218 | 403 1769 5413 | 15309 13820 19 | 0.001 % |
74.58/74.78 c | 492013 | 403 1769 5413 | 15309 14615 19 | 0.001 % |
74.68/74.89 c | 492884 | 403 1769 5413 | 15309 13119 19 | 0.001 % |
74.88/75.00 c | 493843 | 403 1769 5413 | 15309 14078 19 | 0.001 % |
74.98/75.15 c | 494897 | 403 1769 5413 | 15309 15132 19 | 0.001 % |
75.18/75.31 c | 496055 | 403 1769 5413 | 15309 14025 19 | 0.001 % |
75.28/75.46 c | 497328 | 403 1769 5413 | 15309 15298 20 | 0.001 % |
75.48/75.65 c | 498728 | 403 1769 5413 | 15309 14594 20 | 0.001 % |
75.68/75.86 c | 500269 | 403 1769 5413 | 13881 12371 20 | 0.001 % |
75.88/76.06 c | 501964 | 403 1769 5413 | 13881 12674 20 | 0.001 % |
76.18/76.30 c | 503830 | 403 1769 5413 | 13881 13149 20 | 0.001 % |
76.37/76.55 c | 505881 | 403 1769 5413 | 13881 13806 20 | 0.001 % |
76.67/76.85 c | 508135 | 403 1769 5413 | 13881 13274 21 | 0.001 % |
76.97/77.15 c | 510613 | 403 1769 5413 | 2147483647 14361 21 | 0.001 % |
77.37/77.51 c | 513338 | 403 1769 5413 | 2147483647 17086 21 | 0.001 % |
77.77/77.98 c | 516336 | 403 1769 5413 | 2147483647 20084 21 | 0.001 % |
78.37/78.57 c | 519634 | 403 1769 5413 | 2147483647 23382 21 | 0.001 % |
78.98/79.20 c | 523261 | 403 1769 5413 | 23749 23007 21 | 0.001 % |
79.77/79.92 c | 527248 | 403 1769 5413 | 23749 22038 21 | 0.001 % |
80.57/80.76 c | 531634 | 403 1769 5413 | 19521 16879 21 | 0.001 % |
81.27/81.48 c | 536459 | 403 1769 5413 | 19521 17908 21 | 0.001 % |
81.27/81.50 c | 536562 | 403 1769 5413 | 19521 18011 21 | 0.001 % |
81.37/81.51 c | 536672 | 403 1769 5413 | 19521 18121 21 | 0.001 % |
81.37/81.53 c | 536793 | 403 1769 5413 | 19521 18242 21 | 0.001 % |
81.37/81.55 c | 536927 | 403 1769 5413 | 19521 18376 21 | 0.001 % |
81.37/81.57 c | 537074 | 403 1769 5413 | 19521 18523 21 | 0.001 % |
81.47/81.60 c | 537234 | 403 1769 5413 | 19521 18683 21 | 0.001 % |
81.47/81.62 c | 537410 | 403 1769 5413 | 19521 18859 21 | 0.001 % |
81.47/81.66 c | 537603 | 403 1769 5413 | 19521 19052 21 | 0.001 % |
81.47/81.69 c | 537816 | 403 1769 5413 | 19521 19265 21 | 0.001 % |
81.57/81.73 c | 538049 | 403 1769 5413 | 19521 19498 21 | 0.001 % |
81.57/81.78 c | 538306 | 403 1769 5413 | 19521 16024 20 | 0.001 % |
81.67/81.81 c | 538587 | 403 1769 5413 | 19521 16305 20 | 0.001 % |
81.67/81.85 c | 538899 | 403 1769 5413 | 19521 16617 20 | 0.001 % |
81.67/81.89 c | 539239 | 403 1769 5413 | 19521 16957 20 | 0.001 % |
81.77/81.95 c | 539612 | 403 1769 5413 | 19521 17330 20 | 0.001 % |
81.87/82.01 c | 540024 | 403 1769 5413 | 17719 17742 20 | 0.001 % |
81.87/82.08 c | 540473 | 403 1769 5413 | 17719 14958 20 | 0.001 % |
81.97/82.15 c | 540966 | 403 1769 5413 | 17719 15451 20 | 0.001 % |
82.07/82.22 c | 541510 | 403 1769 5413 | 17719 15995 20 | 0.001 % |
82.17/82.31 c | 542108 | 403 1769 5413 | 17719 16593 20 | 0.001 % |
82.27/82.43 c | 542764 | 403 1769 5413 | 17719 17249 20 | 0.001 % |
82.37/82.55 c | 543484 | 403 1769 5413 | 17719 14850 20 | 0.001 % |
82.47/82.66 c | 544276 | 403 1769 5413 | 17719 15642 20 | 0.001 % |
82.57/82.78 c | 545150 | 403 1769 5413 | 17719 16516 20 | 0.001 % |
82.77/82.92 c | 546110 | 403 1769 5413 | 17719 17476 20 | 0.001 % |
82.87/83.09 c | 547164 | 403 1769 5413 | 17719 15595 20 | 0.001 % |
83.07/83.25 c | 548324 | 403 1769 5413 | 17719 16755 20 | 0.001 % |
83.27/83.47 c | 549597 | 403 1769 5413 | 17719 15073 20 | 0.001 % |
83.47/83.65 c | 550997 | 403 1769 5413 | 15476 13930 20 | 0.001 % |
83.67/83.83 c | 552538 | 403 1769 5413 | 15476 15471 20 | 0.001 % |
83.97/84.10 c | 554232 | 403 1769 5413 | 15476 15069 20 | 0.001 % |
84.17/84.38 c | 556096 | 403 1769 5413 | 15476 14757 20 | 0.001 % |
84.47/84.69 c | 558145 | 403 1769 5413 | 15476 14559 19 | 0.001 % |
84.77/84.99 c | 560400 | 403 1769 5413 | 14211 12634 19 | 0.001 % |
85.17/85.31 c | 562878 | 403 1769 5413 | 14211 13321 19 | 0.001 % |
85.47/85.67 c | 565603 | 403 1769 5413 | 14211 12640 18 | 0.001 % |
85.87/86.03 c | 568601 | 403 1769 5413 | 14211 13983 19 | 0.001 % |
86.26/86.45 c | 571898 | 403 1769 5413 | 13766 12730 19 | 0.001 % |
86.67/86.86 c | 575523 | 403 1769 5413 | 13766 13595 19 | 0.001 % |
87.06/87.28 c | 579510 | 403 1769 5413 | 13766 13439 19 | 0.001 % |
87.56/87.72 c | 583896 | 403 1769 5413 | 2147483647 16444 20 | 0.001 % |
88.26/88.40 c | 588721 | 403 1769 5413 | 2147483647 21269 20 | 0.001 % |
89.26/89.47 c | 594027 | 403 1769 5413 | 22548 18613 21 | 0.001 % |
89.26/89.49 c | 594128 | 403 1769 5413 | 22548 18714 21 | 0.001 % |
89.36/89.51 c | 594239 | 403 1769 5413 | 22548 18825 21 | 0.001 % |
89.36/89.53 c | 594361 | 403 1769 5413 | 22548 18947 21 | 0.001 % |
89.36/89.54 c | 594494 | 403 1769 5413 | 22548 19080 21 | 0.001 % |
89.36/89.56 c | 594640 | 403 1769 5413 | 22548 19226 21 | 0.001 % |
89.36/89.59 c | 594801 | 403 1769 5413 | 22548 19387 21 | 0.001 % |
89.46/89.62 c | 594978 | 403 1769 5413 | 22548 19564 21 | 0.001 % |
89.46/89.65 c | 595171 | 403 1769 5413 | 22548 19757 21 | 0.001 % |
89.46/89.69 c | 595383 | 403 1769 5413 | 22548 19969 21 | 0.001 % |
89.56/89.73 c | 595618 | 403 1769 5413 | 22548 20204 21 | 0.001 % |
89.56/89.78 c | 595874 | 403 1769 5413 | 22548 20460 21 | 0.001 % |
89.66/89.84 c | 596157 | 403 1769 5413 | 22548 20743 21 | 0.001 % |
89.66/89.89 c | 596466 | 403 1769 5413 | 22548 21052 21 | 0.001 % |
89.76/89.96 c | 596808 | 403 1769 5413 | 22548 21394 21 | 0.001 % |
89.86/90.04 c | 597181 | 403 1769 5413 | 22548 21767 21 | 0.001 % |
89.97/90.11 c | 597591 | 403 1769 5413 | 22548 22177 21 | 0.001 % |
90.07/90.21 c | 598040 | 403 1769 5413 | 22548 17556 21 | 0.001 % |
90.07/90.29 c | 598533 | 403 1769 5413 | 22548 18049 21 | 0.001 % |
90.16/90.38 c | 599076 | 403 1769 5413 | 22548 18592 21 | 0.001 % |
90.26/90.48 c | 599674 | 403 1769 5413 | 22548 19190 21 | 0.001 % |
90.36/90.59 c | 600331 | 403 1769 5413 | 19516 15551 20 | 0.001 % |
90.46/90.68 c | 601051 | 403 1769 5413 | 19516 16271 20 | 0.001 % |
90.56/90.79 c | 601843 | 403 1769 5413 | 19516 17063 20 | 0.001 % |
90.76/90.92 c | 602714 | 403 1769 5413 | 19516 17934 21 | 0.001 % |
90.86/91.09 c | 603674 | 403 1769 5413 | 19516 18894 21 | 0.001 % |
91.07/91.24 c | 604728 | 403 1769 5413 | 19516 16190 20 | 0.001 % |
91.26/91.41 c | 605887 | 403 1769 5413 | 19516 17349 20 | 0.001 % |
91.46/91.60 c | 607161 | 403 1769 5413 | 19516 18623 20 | 0.001 % |
91.66/91.82 c | 608561 | 403 1769 5413 | 19516 16397 20 | 0.001 % |
91.86/92.05 c | 610102 | 403 1769 5413 | 17836 14712 20 | 0.001 % |
92.06/92.27 c | 611796 | 403 1769 5413 | 17836 16406 20 | 0.001 % |
92.36/92.55 c | 613661 | 403 1769 5413 | 17836 15367 20 | 0.001 % |
92.66/92.84 c | 615710 | 403 1769 5413 | 17836 17416 20 | 0.001 % |
92.96/93.15 c | 617963 | 403 1769 5413 | 17836 16801 19 | 0.001 % |
93.36/93.56 c | 620443 | 403 1769 5413 | 15976 13824 19 | 0.001 % |
93.66/93.87 c | 623170 | 403 1769 5413 | 15976 14317 19 | 0.001 % |
94.06/94.23 c | 626167 | 403 1769 5413 | 15976 15282 19 | 0.001 % |
94.56/94.70 c | 629463 | 403 1769 5413 | 15976 14696 19 | 0.001 % |
94.96/95.16 c | 633088 | 403 1769 5413 | 15236 14966 20 | 0.001 % |
95.46/95.62 c | 637075 | 403 1769 5413 | 15236 14369 21 | 0.001 % |
96.06/96.21 c | 641462 | 403 1769 5413 | 14163 14120 20 | 0.001 % |
96.66/96.80 c | 646286 | 403 1769 5413 | 14163 12912 19 | 0.001 % |
97.26/97.43 c | 651591 | 403 1769 5413 | 13541 12295 19 | 0.001 % |
97.96/98.11 c | 657427 | 403 1769 5413 | 13541 12698 19 | 0.001 % |
97.96/98.12 c | 657527 | 403 1769 5413 | 13541 12798 19 | 0.001 % |
97.96/98.13 c | 657638 | 403 1769 5413 | 13541 12909 19 | 0.001 % |
97.96/98.15 c | 657759 | 403 1769 5413 | 13541 13030 19 | 0.001 % |
97.96/98.17 c | 657894 | 403 1769 5413 | 13541 13165 19 | 0.001 % |
97.96/98.19 c | 658040 | 403 1769 5413 | 13541 13311 19 | 0.001 % |
98.06/98.21 c | 658201 | 403 1769 5413 | 13541 13472 19 | 0.001 % |
98.06/98.24 c | 658380 | 403 1769 5413 | 13541 12292 19 | 0.001 % |
98.06/98.27 c | 658575 | 403 1769 5413 | 13541 12487 19 | 0.001 % |
98.16/98.30 c | 658789 | 403 1769 5413 | 13541 12701 19 | 0.001 % |
98.16/98.33 c | 659022 | 403 1769 5413 | 13541 12934 19 | 0.001 % |
98.16/98.36 c | 659278 | 403 1769 5413 | 13541 13190 19 | 0.001 % |
98.26/98.40 c | 659559 | 403 1769 5413 | 13541 13471 19 | 0.001 % |
98.26/98.44 c | 659869 | 403 1769 5413 | 13541 12425 19 | 0.001 % |
98.26/98.48 c | 660208 | 403 1769 5413 | 2147483647 12764 19 | 0.001 % |
98.36/98.52 c | 660583 | 403 1769 5413 | 2147483647 13139 19 | 0.001 % |
98.36/98.57 c | 660994 | 403 1769 5413 | 2147483647 13550 19 | 0.001 % |
98.46/98.62 c | 661443 | 403 1769 5413 | 2147483647 13999 19 | 0.001 % |
98.46/98.69 c | 661936 | 403 1769 5413 | 2147483647 14492 19 | 0.001 % |
98.55/98.76 c | 662479 | 403 1769 5413 | 2147483647 15035 19 | 0.001 % |
98.65/98.83 c | 663077 | 403 1769 5413 | 2147483647 15633 19 | 0.001 % |
98.76/98.92 c | 663733 | 403 1769 5413 | 2147483647 16289 19 | 0.001 % |
98.86/99.04 c | 664453 | 403 1769 5413 | 2147483647 17009 19 | 0.001 % |
98.95/99.14 c | 665245 | 403 1769 5413 | 2147483647 17801 19 | 0.001 % |
99.05/99.26 c | 666118 | 403 1769 5413 | 2147483647 18674 19 | 0.001 % |
99.15/99.39 c | 667077 | 403 1769 5413 | 2147483647 19633 19 | 0.001 % |
99.35/99.54 c | 668132 | 403 1769 5413 | 2147483647 20688 19 | 0.001 % |
99.55/99.75 c | 669290 | 403 1769 5413 | 2147483647 21846 19 | 0.001 % |
99.75/99.97 c | 670563 | 403 1769 5413 | 22557 19564 19 | 0.001 % |
100.05/100.26 c | 671964 | 403 1769 5413 | 22557 20965 19 | 0.001 % |
100.35/100.54 c | 673504 | 403 1769 5413 | 22557 22505 20 | 0.001 % |
100.65/100.81 c | 675200 | 403 1769 5413 | 22557 19466 19 | 0.001 % |
100.96/101.11 c | 677063 | 403 1769 5413 | 22557 21329 19 | 0.001 % |
101.25/101.48 c | 679114 | 403 1769 5413 | 22557 18517 20 | 0.001 % |
101.65/101.81 c | 681367 | 403 1769 5413 | 19405 16648 20 | 0.001 % |
101.95/102.17 c | 683845 | 403 1769 5413 | 19405 19126 20 | 0.001 % |
102.35/102.54 c | 686571 | 403 1769 5413 | 19405 18194 20 | 0.001 % |
102.75/103.00 c | 689568 | 403 1769 5413 | 19405 17672 20 | 0.001 % |
103.25/103.49 c | 692864 | 403 1769 5413 | 18104 17805 20 | 0.001 % |
103.85/104.01 c | 696489 | 403 1769 5413 | 18104 16002 20 | 0.001 % |
104.35/104.53 c | 700476 | 403 1769 5413 | 16907 14930 19 | 0.001 % |
104.95/105.18 c | 704861 | 403 1769 5413 | 16907 16786 20 | 0.001 % |
105.65/105.86 c | 709686 | 403 1769 5413 | 16907 16246 20 | 0.001 % |
106.35/106.59 c | 714993 | 403 1769 5413 | 16560 16503 20 | 0.001 % |
107.25/107.44 c | 720828 | 403 1769 5413 | 14181 12916 20 | 0.001 % |
108.15/108.35 c | 727246 | 403 1769 5413 | 14181 13464 20 | 0.001 % |
108.15/108.37 c | 727346 | 403 1769 5413 | 14181 13564 20 | 0.001 % |
108.15/108.38 c | 727457 | 403 1769 5413 | 14181 13675 20 | 0.001 % |
108.25/108.41 c | 727580 | 403 1769 5413 | 14181 13798 20 | 0.001 % |
108.25/108.42 c | 727713 | 403 1769 5413 | 14181 13931 20 | 0.001 % |
108.25/108.44 c | 727860 | 403 1769 5413 | 14181 14078 20 | 0.001 % |
108.25/108.47 c | 728022 | 403 1769 5413 | 14181 12255 19 | 0.001 % |
108.25/108.49 c | 728198 | 403 1769 5413 | 14181 12431 19 | 0.001 % |
108.35/108.51 c | 728392 | 403 1769 5413 | 14181 12625 19 | 0.001 % |
108.35/108.54 c | 728604 | 403 1769 5413 | 14181 12837 19 | 0.001 % |
108.35/108.56 c | 728838 | 403 1769 5413 | 14181 13071 19 | 0.001 % |
108.45/108.60 c | 729094 | 403 1769 5413 | 14181 13327 19 | 0.001 % |
108.45/108.63 c | 729378 | 403 1769 5413 | 14181 13611 19 | 0.001 % |
108.45/108.66 c | 729688 | 403 1769 5413 | 14181 13921 19 | 0.001 % |
108.54/108.71 c | 730029 | 403 1769 5413 | 12379 12408 19 | 0.001 % |
108.54/108.75 c | 730402 | 403 1769 5413 | 12379 11170 19 | 0.001 % |
108.54/108.80 c | 730811 | 403 1769 5413 | 12379 11579 19 | 0.001 % |
108.65/108.85 c | 731260 | 403 1769 5413 | 12379 12028 19 | 0.001 % |
108.75/108.92 c | 731753 | 403 1769 5413 | 12379 11279 19 | 0.001 % |
108.75/108.97 c | 732296 | 403 1769 5413 | 12379 11822 19 | 0.001 % |
108.84/109.04 c | 732892 | 403 1769 5413 | 12379 12418 19 | 0.001 % |
108.94/109.12 c | 733547 | 403 1769 5413 | 12379 11832 19 | 0.001 % |
109.04/109.20 c | 734271 | 403 1769 5413 | 12379 11314 19 | 0.001 % |
109.04/109.29 c | 735063 | 403 1769 5413 | 12379 12106 19 | 0.001 % |
109.14/109.38 c | 735934 | 403 1769 5413 | 12379 11734 19 | 0.001 % |
109.24/109.49 c | 736895 | 403 1769 5413 | 12379 11453 19 | 0.001 % |
109.44/109.62 c | 737948 | 403 1769 5413 | 12379 11264 19 | 0.001 % |
109.54/109.75 c | 739106 | 403 1769 5413 | 12379 11181 19 | 0.001 % |
109.64/109.89 c | 740379 | 403 1769 5413 | 2147483647 12454 19 | 0.001 % |
109.85/110.04 c | 741779 | 403 1769 5413 | 2147483647 13854 19 | 0.001 % |
110.04/110.23 c | 743319 | 403 1769 5413 | 2147483647 15394 20 | 0.001 % |
110.34/110.50 c | 745013 | 403 1769 5413 | 2147483647 17088 20 | 0.001 % |
110.54/110.79 c | 746877 | 403 1769 5413 | 2147483647 18952 20 | 0.001 % |
110.95/111.15 c | 748926 | 403 1769 5413 | 2147483647 21001 20 | 0.001 % |
111.34/111.58 c | 751179 | 403 1769 5413 | 22075 19866 20 | 0.001 % |
111.84/112.02 c | 753658 | 403 1769 5413 | 22075 18033 20 | 0.001 % |
112.24/112.45 c | 756383 | 403 1769 5413 | 22075 20758 20 | 0.001 % |
112.64/112.90 c | 759381 | 403 1769 5413 | 22075 19372 20 | 0.001 % |
113.24/113.44 c | 762679 | 403 1769 5413 | 19992 18824 20 | 0.001 % |
113.84/114.09 c | 766306 | 403 1769 5413 | 19992 18323 20 | 0.001 % |
114.64/114.82 c | 770293 | 403 1769 5413 | 17751 14253 20 | 0.001 % |
115.34/115.51 c | 774679 | 403 1769 5413 | 17751 14908 19 | 0.001 % |
116.04/116.23 c | 779502 | 403 1769 5413 | 17751 16185 20 | 0.001 % |
116.54/116.78 c | 784807 | 403 1769 5413 | 16683 16067 21 | 0.001 % |
117.24/117.49 c | 790643 | 403 1769 5413 | 15106 13918 21 | 0.001 % |
118.04/118.27 c | 797063 | 403 1769 5413 | 15106 13818 21 | 0.001 % |
118.84/119.09 c | 804122 | 403 1769 5413 | 15141 14280 21 | 0.001 % |
118.94/119.11 c | 804222 | 403 1769 5413 | 15141 14380 21 | 0.001 % |
118.94/119.12 c | 804335 | 403 1769 5413 | 15141 14493 21 | 0.001 % |
118.94/119.13 c | 804458 | 403 1769 5413 | 15141 14616 21 | 0.001 % |
118.94/119.15 c | 804593 | 403 1769 5413 | 15141 14751 21 | 0.001 % |
118.94/119.17 c | 804739 | 403 1769 5413 | 15141 14897 21 | 0.001 % |
118.94/119.19 c | 804899 | 403 1769 5413 | 15141 15057 21 | 0.001 % |
119.04/119.22 c | 805075 | 403 1769 5413 | 15141 13543 21 | 0.001 % |
119.04/119.25 c | 805268 | 403 1769 5413 | 15141 13736 21 | 0.001 % |
119.04/119.27 c | 805480 | 403 1769 5413 | 15141 13948 21 | 0.001 % |
119.04/119.30 c | 805713 | 403 1769 5413 | 15141 14181 21 | 0.001 % |
119.14/119.33 c | 805970 | 403 1769 5413 | 15141 14438 21 | 0.001 % |
119.14/119.37 c | 806252 | 403 1769 5413 | 15141 14720 21 | 0.001 % |
119.24/119.42 c | 806561 | 403 1769 5413 | 15141 15029 21 | 0.001 % |
119.24/119.47 c | 806901 | 403 1769 5413 | 15141 13603 21 | 0.001 % |
119.34/119.51 c | 807274 | 403 1769 5413 | 15141 13976 21 | 0.001 % |
119.34/119.56 c | 807684 | 403 1769 5413 | 15141 14386 21 | 0.001 % |
119.44/119.61 c | 808133 | 403 1769 5413 | 15141 14835 21 | 0.001 % |
119.44/119.68 c | 808627 | 403 1769 5413 | 15141 13637 21 | 0.001 % |
119.54/119.75 c | 809175 | 403 1769 5413 | 15141 14185 21 | 0.001 % |
119.64/119.83 c | 809771 | 403 1769 5413 | 15141 14781 21 | 0.001 % |
119.74/119.94 c | 810427 | 403 1769 5413 | 15010 13689 21 | 0.001 % |
119.84/120.05 c | 811147 | 403 1769 5413 | 15010 14409 21 | 0.001 % |
119.94/120.18 c | 811940 | 403 1769 5413 | 15010 13229 20 | 0.001 % |
120.04/120.29 c | 812811 | 403 1769 5413 | 15010 14100 20 | 0.001 % |
120.24/120.42 c | 813771 | 403 1769 5413 | 15010 15060 20 | 0.001 % |
120.34/120.56 c | 814824 | 403 1769 5413 | 15010 14193 20 | 0.001 % |
120.54/120.75 c | 815985 | 403 1769 5413 | 15010 13401 19 | 0.001 % |
120.74/120.91 c | 817259 | 403 1769 5413 | 15010 14675 19 | 0.001 % |
120.94/121.11 c | 818659 | 403 1769 5413 | 15010 14140 19 | 0.001 % |
121.14/121.31 c | 820200 | 403 1769 5413 | 13575 12070 18 | 0.001 % |
121.34/121.50 c | 821894 | 403 1769 5413 | 13575 12375 18 | 0.001 % |
121.54/121.74 c | 823757 | 403 1769 5413 | 13575 12877 19 | 0.001 % |
121.74/121.97 c | 825806 | 403 1769 5413 | 13575 13564 19 | 0.001 % |
122.04/122.23 c | 828060 | 403 1769 5413 | 13575 13094 19 | 0.001 % |
122.24/122.48 c | 830538 | 403 1769 5413 | 2147483647 12848 20 | 0.001 % |
122.64/122.85 c | 833265 | 403 1769 5413 | 2147483647 15575 20 | 0.001 % |
123.14/123.31 c | 836263 | 403 1769 5413 | 2147483647 18573 20 | 0.001 % |
123.64/123.88 c | 839559 | 403 1769 5413 | 2147483647 21869 21 | 0.001 % |
124.24/124.45 c | 843184 | 403 1769 5413 | 22312 21909 21 | 0.001 % |
124.94/125.17 c | 847172 | 403 1769 5413 | 22312 21492 21 | 0.001 % |
125.74/125.95 c | 851557 | 403 1769 5413 | 19463 16791 20 | 0.001 % |
126.44/126.68 c | 856382 | 403 1769 5413 | 19463 17590 19 | 0.001 % |
127.23/127.49 c | 861689 | 403 1769 5413 | 17319 15601 18 | 0.001 % |
128.13/128.37 c | 867526 | 403 1769 5413 | 17319 15250 18 | 0.001 % |
128.93/129.13 c | 873944 | 403 1769 5413 | 14685 13989 19 | 0.001 % |
129.73/129.94 c | 881003 | 403 1769 5413 | 13143 12714 18 | 0.001 % |
130.53/130.77 c | 888767 | 403 1769 5413 | 13143 12568 19 | 0.001 % |
130.53/130.78 c | 888870 | 403 1769 5413 | 13143 12671 19 | 0.001 % |
130.53/130.79 c | 888981 | 403 1769 5413 | 13143 12782 19 | 0.001 % |
130.64/130.81 c | 889102 | 403 1769 5413 | 13143 12903 19 | 0.001 % |
130.64/130.82 c | 889235 | 403 1769 5413 | 13143 13036 19 | 0.001 % |
130.64/130.85 c | 889382 | 403 1769 5413 | 13143 13183 19 | 0.001 % |
130.64/130.87 c | 889542 | 403 1769 5413 | 13143 12025 19 | 0.001 % |
130.64/130.89 c | 889718 | 403 1769 5413 | 13143 12201 19 | 0.001 % |
130.74/130.91 c | 889912 | 403 1769 5413 | 13143 12395 19 | 0.001 % |
130.74/130.94 c | 890124 | 403 1769 5413 | 2147483647 12607 19 | 0.001 % |
130.74/130.96 c | 890358 | 403 1769 5413 | 2147483647 12841 19 | 0.001 % |
130.74/130.99 c | 890614 | 403 1769 5413 | 2147483647 13097 19 | 0.001 % |
130.83/131.02 c | 890896 | 403 1769 5413 | 2147483647 13379 19 | 0.001 % |
130.83/131.05 c | 891206 | 403 1769 5413 | 2147483647 13689 19 | 0.001 % |
130.83/131.08 c | 891548 | 403 1769 5413 | 2147483647 14031 19 | 0.001 % |
130.93/131.13 c | 891920 | 403 1769 5413 | 2147483647 14403 19 | 0.001 % |
130.93/131.18 c | 892329 | 403 1769 5413 | 2147483647 14812 20 | 0.001 % |
131.03/131.23 c | 892780 | 403 1769 5413 | 2147483647 15263 20 | 0.001 % |
131.03/131.28 c | 893273 | 403 1769 5413 | 2147483647 15756 20 | 0.001 % |
131.14/131.35 c | 893817 | 403 1769 5413 | 2147483647 16300 20 | 0.001 % |
131.24/131.43 c | 894415 | 403 1769 5413 | 2147483647 16898 20 | 0.001 % |
131.34/131.53 c | 895070 | 403 1769 5413 | 2147483647 17553 20 | 0.001 % |
131.44/131.62 c | 895793 | 403 1769 5413 | 2147483647 18276 20 | 0.001 % |
131.54/131.73 c | 896586 | 403 1769 5413 | 2147483647 19069 20 | 0.001 % |
131.63/131.86 c | 897460 | 403 1769 5413 | 2147483647 19943 20 | 0.001 % |
131.84/132.06 c | 898419 | 403 1769 5413 | 2147483647 20902 20 | 0.001 % |
132.03/132.28 c | 899473 | 403 1769 5413 | 2147483647 21956 20 | 0.001 % |
132.23/132.50 c | 900632 | 403 1769 5413 | 22483 19483 20 | 0.001 % |
132.53/132.70 c | 901905 | 403 1769 5413 | 22483 20756 20 | 0.001 % |
132.73/132.99 c | 903307 | 403 1769 5413 | 22483 22158 21 | 0.001 % |
133.03/133.28 c | 904850 | 403 1769 5413 | 22483 19038 20 | 0.001 % |
133.33/133.59 c | 906544 | 403 1769 5413 | 22483 20732 21 | 0.001 % |
133.73/133.94 c | 908408 | 403 1769 5413 | 22483 17566 20 | 0.001 % |
134.03/134.22 c | 910457 | 403 1769 5413 | 19158 15510 20 | 0.001 % |
134.33/134.51 c | 912713 | 403 1769 5413 | 19158 17766 20 | 0.001 % |
134.73/134.90 c | 915193 | 403 1769 5413 | 19158 16731 20 | 0.001 % |
135.23/135.41 c | 917918 | 403 1769 5413 | 19158 15742 20 | 0.001 % |
135.73/135.95 c | 920917 | 403 1769 5413 | 17824 15136 19 | 0.001 % |
136.23/136.42 c | 924214 | 403 1769 5413 | 17824 15164 19 | 0.001 % |
136.73/136.98 c | 927839 | 403 1769 5413 | 17824 15712 20 | 0.001 % |
137.33/137.57 c | 931827 | 403 1769 5413 | 17875 16659 21 | 0.001 % |
138.03/138.26 c | 936213 | 403 1769 5413 | 17875 17923 21 | 0.001 % |
138.73/138.98 c | 941037 | 403 1769 5413 | 15731 14185 21 | 0.001 % |
139.33/139.59 c | 946343 | 403 1769 5413 | 15731 15038 20 | 0.001 % |
140.23/140.46 c | 952178 | 403 1769 5413 | 14390 14460 20 | 0.001 % |
141.12/141.33 c | 958597 | 403 1769 5413 | 14390 12681 19 | 0.001 % |
142.02/142.21 c | 965657 | 403 1769 5413 | 14086 12589 19 | 0.001 % |
142.83/143.07 c | 973423 | 403 1769 5413 | 13842 13032 18 | 0.001 % |
143.83/144.05 c | 981963 | 403 1769 5413 | 2147483647 14628 19 | 0.001 % |
143.83/144.07 c | 982063 | 403 1769 5413 | 2147483647 14728 19 | 0.001 % |
143.83/144.08 c | 982175 | 403 1769 5413 | 2147483647 14840 19 | 0.001 % |
143.83/144.10 c | 982296 | 403 1769 5413 | 2147483647 14961 19 | 0.001 % |
143.92/144.11 c | 982429 | 403 1769 5413 | 2147483647 15094 19 | 0.001 % |
143.92/144.13 c | 982575 | 403 1769 5413 | 2147483647 15240 19 | 0.001 % |
143.92/144.15 c | 982735 | 403 1769 5413 | 2147483647 15400 19 | 0.001 % |
143.92/144.17 c | 982911 | 403 1769 5413 | 2147483647 15576 19 | 0.001 % |
143.92/144.20 c | 983105 | 403 1769 5413 | 2147483647 15770 19 | 0.001 % |
144.02/144.22 c | 983320 | 403 1769 5413 | 2147483647 15985 19 | 0.001 % |
144.02/144.26 c | 983554 | 403 1769 5413 | 2147483647 16219 19 | 0.001 % |
144.12/144.30 c | 983810 | 403 1769 5413 | 2147483647 16475 19 | 0.001 % |
144.12/144.34 c | 984093 | 403 1769 5413 | 2147483647 16758 19 | 0.001 % |
144.12/144.38 c | 984402 | 403 1769 5413 | 2147483647 17067 19 | 0.001 % |
144.22/144.43 c | 984743 | 403 1769 5413 | 2147483647 17408 19 | 0.001 % |
144.22/144.48 c | 985117 | 403 1769 5413 | 2147483647 17782 20 | 0.001 % |
144.32/144.53 c | 985527 | 403 1769 5413 | 2147483647 18192 20 | 0.001 % |
144.42/144.60 c | 985979 | 403 1769 5413 | 2147483647 18644 20 | 0.001 % |
144.42/144.67 c | 986472 | 403 1769 5413 | 2147483647 19137 20 | 0.001 % |
144.52/144.75 c | 987014 | 403 1769 5413 | 2147483647 19679 20 | 0.001 % |
144.62/144.84 c | 987610 | 403 1769 5413 | 2147483647 20275 20 | 0.001 % |
144.72/144.94 c | 988269 | 403 1769 5413 | 2147483647 20934 20 | 0.001 % |
144.82/145.04 c | 988989 | 403 1769 5413 | 2147483647 21654 20 | 0.001 % |
144.92/145.16 c | 989783 | 403 1769 5413 | 2147483647 22448 20 | 0.001 % |
145.12/145.34 c | 990654 | 403 1769 5413 | 22665 20023 20 | 0.001 % |
145.22/145.49 c | 991613 | 403 1769 5413 | 22665 20982 20 | 0.001 % |
145.42/145.70 c | 992667 | 403 1769 5413 | 22665 22036 20 | 0.001 % |
145.72/145.96 c | 993826 | 403 1769 5413 | 22665 18530 20 | 0.001 % |
145.92/146.19 c | 995100 | 403 1769 5413 | 22665 19804 20 | 0.001 % |
146.22/146.45 c | 996500 | 403 1769 5413 | 22665 21204 20 | 0.001 % |
146.52/146.76 c | 998040 | 403 1769 5413 | 22665 17865 20 | 0.001 % |
146.82/147.06 c | 999736 | 403 1769 5413 | 22665 19561 20 | 0.001 % |
147.12/147.37 c | 1001599 | 403 1769 5413 | 19825 17139 20 | 0.001 % |
147.42/147.66 c | 1003649 | 403 1769 5413 | 19825 19189 21 | 0.001 % |
147.81/148.03 c | 1005906 | 403 1769 5413 | 19825 17519 21 | 0.001 % |
148.22/148.44 c | 1008384 | 403 1769 5413 | 19825 16176 21 | 0.001 % |
148.61/148.80 c | 1011109 | 403 1769 5413 | 17793 15568 21 | 0.001 % |
149.01/149.25 c | 1014108 | 403 1769 5413 | 17793 15584 21 | 0.001 % |
149.51/149.77 c | 1017404 | 403 1769 5413 | 17793 15897 21 | 0.001 % |
150.11/150.30 c | 1021030 | 403 1769 5413 | 15588 14109 20 | 0.001 % |
150.61/150.80 c | 1025019 | 403 1769 5413 | 15588 14031 20 | 0.001 % |
151.21/151.41 c | 1029404 | 403 1769 5413 | 15588 14492 21 | 0.001 % |
151.71/151.97 c | 1034230 | 403 1769 5413 | 15088 14195 21 | 0.001 % |
152.31/152.59 c | 1039537 | 403 1769 5413 | 15088 14942 20 | 0.001 % |
153.11/153.35 c | 1045374 | 403 1769 5413 | 2147483647 19265 21 | 0.001 % |
154.21/154.41 c | 1051792 | 403 1769 5413 | 23892 21326 21 | 0.001 % |
155.61/155.84 c | 1058852 | 403 1769 5413 | 23892 23199 21 | 0.001 % |
156.82/157.09 c | 1066616 | 403 1769 5413 | 18700 17085 21 | 0.001 % |
158.12/158.34 c | 1075156 | 403 1769 5413 | 16875 16315 20 | 0.001 % |
159.42/159.64 c | 1084550 | 403 1769 5413 | 15892 15885 20 | 0.001 % |
159.42/159.66 c | 1084650 | 403 1769 5413 | 15892 13857 20 | 0.001 % |
159.42/159.67 c | 1084760 | 403 1769 5413 | 15892 13967 20 | 0.001 % |
159.42/159.69 c | 1084884 | 403 1769 5413 | 15892 14091 20 | 0.001 % |
159.52/159.71 c | 1085017 | 403 1769 5413 | 15892 14224 20 | 0.001 % |
159.52/159.73 c | 1085164 | 403 1769 5413 | 15892 14371 20 | 0.001 % |
159.52/159.76 c | 1085324 | 403 1769 5413 | 15892 14531 20 | 0.001 % |
159.52/159.78 c | 1085500 | 403 1769 5413 | 15892 14707 20 | 0.001 % |
159.62/159.82 c | 1085693 | 403 1769 5413 | 15892 14900 20 | 0.001 % |
159.62/159.85 c | 1085905 | 403 1769 5413 | 15892 15112 20 | 0.001 % |
159.62/159.89 c | 1086138 | 403 1769 5413 | 15892 15345 20 | 0.001 % |
159.72/159.93 c | 1086394 | 403 1769 5413 | 15892 15601 20 | 0.001 % |
159.72/159.97 c | 1086675 | 403 1769 5413 | 15892 15882 20 | 0.001 % |
159.82/160.02 c | 1086985 | 403 1769 5413 | 15892 14026 20 | 0.001 % |
159.82/160.07 c | 1087325 | 403 1769 5413 | 15892 14366 20 | 0.001 % |
159.92/160.12 c | 1087697 | 403 1769 5413 | 15892 14738 20 | 0.001 % |
159.92/160.17 c | 1088106 | 403 1769 5413 | 15892 15147 20 | 0.001 % |
160.02/160.22 c | 1088555 | 403 1769 5413 | 15892 15596 20 | 0.001 % |
160.12/160.30 c | 1089049 | 403 1769 5413 | 15892 13971 20 | 0.001 % |
160.12/160.38 c | 1089591 | 403 1769 5413 | 15892 14513 20 | 0.001 % |
160.21/160.47 c | 1090187 | 403 1769 5413 | 14923 13087 20 | 0.001 % |
160.32/160.56 c | 1090842 | 403 1769 5413 | 14923 13742 20 | 0.001 % |
160.42/160.65 c | 1091563 | 403 1769 5413 | 14923 14463 20 | 0.001 % |
160.51/160.75 c | 1092356 | 403 1769 5413 | 14923 13453 20 | 0.001 % |
160.61/160.85 c | 1093227 | 403 1769 5413 | 14923 14324 20 | 0.001 % |
160.71/160.99 c | 1094185 | 403 1769 5413 | 14923 13561 19 | 0.001 % |
160.91/161.11 c | 1095238 | 403 1769 5413 | 14923 14614 20 | 0.001 % |
161.01/161.28 c | 1096396 | 403 1769 5413 | 14923 14056 19 | 0.001 % |
161.21/161.46 c | 1097669 | 403 1769 5413 | 14923 13594 19 | 0.001 % |
161.42/161.65 c | 1099072 | 403 1769 5413 | 14923 13256 19 | 0.001 % |
161.61/161.84 c | 1100612 | 403 1769 5413 | 14186 13148 19 | 0.001 % |
161.81/162.06 c | 1102308 | 403 1769 5413 | 14186 13234 19 | 0.001 % |
162.01/162.28 c | 1104171 | 403 1769 5413 | 14186 13564 19 | 0.001 % |
162.31/162.53 c | 1106220 | 403 1769 5413 | 14186 14175 20 | 0.001 % |
162.62/162.81 c | 1108473 | 403 1769 5413 | 14186 13583 20 | 0.001 % |
162.81/163.07 c | 1110951 | 403 1769 5413 | 2147483647 14639 20 | 0.001 % |
163.21/163.43 c | 1113676 | 403 1769 5413 | 2147483647 17364 21 | 0.001 % |
163.71/163.92 c | 1116673 | 403 1769 5413 | 2147483647 20361 21 | 0.001 % |
164.31/164.53 c | 1119971 | 403 1769 5413 | 2147483647 23659 21 | 0.001 % |
165.01/165.21 c | 1123596 | 403 1769 5413 | 23689 22860 21 | 0.001 % |
165.51/165.78 c | 1127583 | 403 1769 5413 | 23689 21954 21 | 0.001 % |
166.21/166.49 c | 1131968 | 403 1769 5413 | 19487 17464 21 | 0.001 % |
167.01/167.21 c | 1136792 | 403 1769 5413 | 19487 18945 21 | 0.001 % |
167.71/167.94 c | 1142098 | 403 1769 5413 | 18823 17822 21 | 0.001 % |
168.51/168.73 c | 1147933 | 403 1769 5413 | 18823 17691 20 | 0.001 % |
169.31/169.58 c | 1154352 | 403 1769 5413 | 16834 16060 20 | 0.001 % |
170.41/170.68 c | 1161411 | 403 1769 5413 | 16706 15476 21 | 0.001 % |
171.61/171.81 c | 1169179 | 403 1769 5413 | 16706 14918 21 | 0.001 % |
172.71/172.90 c | 1177720 | 403 1769 5413 | 15739 13803 21 | 0.001 % |
173.90/174.12 c | 1187114 | 403 1769 5413 | 13814 12697 20 | 0.001 % |
175.30/175.55 c | 1197448 | 403 1769 5413 | 2147483647 20178 21 | 0.001 % |
175.30/175.57 c | 1197550 | 403 1769 5413 | 2147483647 20280 21 | 0.001 % |
175.30/175.58 c | 1197660 | 403 1769 5413 | 2147483647 20390 21 | 0.001 % |
175.40/175.61 c | 1197782 | 403 1769 5413 | 2147483647 20512 21 | 0.001 % |
175.40/175.63 c | 1197916 | 403 1769 5413 | 2147483647 20646 21 | 0.001 % |
175.40/175.65 c | 1198062 | 403 1769 5413 | 2147483647 20792 21 | 0.001 % |
175.40/175.68 c | 1198222 | 403 1769 5413 | 2147483647 20952 21 | 0.001 % |
175.50/175.71 c | 1198398 | 403 1769 5413 | 2147483647 21128 21 | 0.001 % |
175.50/175.74 c | 1198592 | 403 1769 5413 | 2147483647 21322 21 | 0.001 % |
175.50/175.78 c | 1198805 | 403 1769 5413 | 2147483647 21535 21 | 0.001 % |
175.60/175.82 c | 1199040 | 403 1769 5413 | 2147483647 21770 21 | 0.001 % |
175.60/175.87 c | 1199297 | 403 1769 5413 | 2147483647 22027 21 | 0.001 % |
175.71/175.91 c | 1199578 | 403 1769 5413 | 2147483647 22308 21 | 0.001 % |
175.71/175.97 c | 1199887 | 403 1769 5413 | 2147483647 22617 21 | 0.001 % |
175.81/176.05 c | 1200227 | 403 1769 5413 | 22731 19184 20 | 0.001 % |
175.90/176.12 c | 1200599 | 403 1769 5413 | 22731 19556 20 | 0.001 % |
175.90/176.19 c | 1201008 | 403 1769 5413 | 22731 19965 20 | 0.001 % |
176.00/176.26 c | 1201457 | 403 1769 5413 | 22731 20414 20 | 0.001 % |
176.10/176.36 c | 1201952 | 403 1769 5413 | 22731 20909 20 | 0.001 % |
176.20/176.45 c | 1202496 | 403 1769 5413 | 22731 21453 20 | 0.001 % |
176.30/176.55 c | 1203093 | 403 1769 5413 | 22731 22050 20 | 0.001 % |
176.40/176.65 c | 1203748 | 403 1769 5413 | 22731 22705 20 | 0.001 % |
176.50/176.77 c | 1204468 | 403 1769 5413 | 22731 18866 20 | 0.001 % |
176.60/176.90 c | 1205261 | 403 1769 5413 | 22731 19659 20 | 0.001 % |
176.81/177.04 c | 1206132 | 403 1769 5413 | 22731 20530 21 | 0.001 % |
176.90/177.18 c | 1207090 | 403 1769 5413 | 22731 21488 21 | 0.001 % |
177.10/177.38 c | 1208145 | 403 1769 5413 | 22731 22543 21 | 0.001 % |
177.30/177.59 c | 1209303 | 403 1769 5413 | 22731 18975 21 | 0.001 % |
177.50/177.79 c | 1210577 | 403 1769 5413 | 19672 16190 21 | 0.001 % |
177.80/178.01 c | 1211979 | 403 1769 5413 | 19672 17592 21 | 0.001 % |
178.00/178.27 c | 1213519 | 403 1769 5413 | 19672 19132 21 | 0.001 % |
178.30/178.56 c | 1215213 | 403 1769 5413 | 19672 16888 20 | 0.001 % |
178.60/178.84 c | 1217077 | 403 1769 5413 | 19672 18752 20 | 0.001 % |
178.90/179.17 c | 1219126 | 403 1769 5413 | 19672 16968 20 | 0.001 % |
179.20/179.48 c | 1221379 | 403 1769 5413 | 17842 15809 20 | 0.001 % |
179.60/179.83 c | 1223857 | 403 1769 5413 | 17842 15377 20 | 0.001 % |
180.00/180.27 c | 1226582 | 403 1769 5413 | 17842 15169 20 | 0.001 % |
180.40/180.68 c | 1229581 | 403 1769 5413 | 17842 15348 20 | 0.001 % |
180.80/181.07 c | 1232877 | 403 1769 5413 | 15767 14319 20 | 0.001 % |
181.30/181.53 c | 1236502 | 403 1769 5413 | 15767 14562 20 | 0.001 % |
181.80/182.07 c | 1240489 | 403 1769 5413 | 14531 13365 20 | 0.001 % |
182.40/182.61 c | 1244876 | 403 1769 5413 | 14531 14527 21 | 0.001 % |
183.00/183.29 c | 1249700 | 403 1769 5413 | 14531 14455 20 | 0.001 % |
183.69/183.93 c | 1255005 | 403 1769 5413 | 13053 12607 19 | 0.001 % |
184.29/184.57 c | 1260840 | 403 1769 5413 | 2147483647 13204 19 | 0.001 % |
185.19/185.48 c | 1267259 | 403 1769 5413 | 2147483647 19623 20 | 0.001 % |
186.39/186.61 c | 1274318 | 403 1769 5413 | 22364 19430 21 | 0.001 % |
187.90/188.11 c | 1282082 | 403 1769 5413 | 20697 18444 21 | 0.001 % |
188.99/189.29 c | 1290624 | 403 1769 5413 | 18186 15325 20 | 0.001 % |
190.39/190.70 c | 1300019 | 403 1769 5413 | 15147 15166 20 | 0.001 % |
191.69/191.93 c | 1310352 | 403 1769 5413 | 13598 12450 21 | 0.001 % |
193.19/193.46 c | 1321719 | 403 1769 5413 | 12891 11808 21 | 0.001 % |
193.19/193.48 c | 1321819 | 403 1769 5413 | 12891 11908 21 | 0.001 % |
193.19/193.49 c | 1321929 | 403 1769 5413 | 12891 12018 21 | 0.001 % |
193.29/193.50 c | 1322050 | 403 1769 5413 | 12891 12139 21 | 0.001 % |
193.29/193.52 c | 1322185 | 403 1769 5413 | 12891 12274 21 | 0.001 % |
193.29/193.54 c | 1322333 | 403 1769 5413 | 12891 12422 21 | 0.001 % |
193.29/193.56 c | 1322493 | 403 1769 5413 | 12891 12582 21 | 0.001 % |
193.29/193.58 c | 1322669 | 403 1769 5413 | 12891 12758 21 | 0.001 % |
193.39/193.60 c | 1322863 | 403 1769 5413 | 12891 11658 21 | 0.001 % |
193.39/193.62 c | 1323076 | 403 1769 5413 | 12891 11871 21 | 0.001 % |
193.39/193.65 c | 1323310 | 403 1769 5413 | 12891 12105 21 | 0.001 % |
193.39/193.67 c | 1323566 | 403 1769 5413 | 12891 12361 21 | 0.001 % |
193.49/193.71 c | 1323847 | 403 1769 5413 | 12891 12642 21 | 0.001 % |
193.49/193.75 c | 1324158 | 403 1769 5413 | 12891 11660 20 | 0.001 % |
193.49/193.79 c | 1324498 | 403 1769 5413 | 12891 12000 20 | 0.001 % |
193.59/193.84 c | 1324870 | 403 1769 5413 | 12891 12372 20 | 0.001 % |
193.59/193.89 c | 1325281 | 403 1769 5413 | 12891 12783 20 | 0.001 % |
193.69/193.95 c | 1325730 | 403 1769 5413 | 12891 11940 20 | 0.001 % |
193.79/194.00 c | 1326223 | 403 1769 5413 | 12891 12433 20 | 0.001 % |
193.79/194.06 c | 1326765 | 403 1769 5413 | 12891 11683 20 | 0.001 % |
193.89/194.12 c | 1327361 | 403 1769 5413 | 12891 12279 20 | 0.001 % |
193.99/194.20 c | 1328016 | 403 1769 5413 | 12891 11642 20 | 0.001 % |
193.99/194.28 c | 1328736 | 403 1769 5413 | 12891 12362 20 | 0.001 % |
194.09/194.38 c | 1329529 | 403 1769 5413 | 12891 11862 20 | 0.001 % |
194.19/194.47 c | 1330401 | 403 1769 5413 | 2147483647 12734 20 | 0.001 % |
194.29/194.58 c | 1331361 | 403 1769 5413 | 2147483647 13694 20 | 0.001 % |
194.49/194.72 c | 1332414 | 403 1769 5413 | 2147483647 14747 20 | 0.001 % |
194.59/194.87 c | 1333572 | 403 1769 5413 | 2147483647 15905 20 | 0.001 % |
194.79/195.03 c | 1334845 | 403 1769 5413 | 2147483647 17178 20 | 0.001 % |
194.99/195.25 c | 1336246 | 403 1769 5413 | 2147483647 18579 20 | 0.001 % |
195.29/195.53 c | 1337786 | 403 1769 5413 | 2147483647 20119 20 | 0.001 % |
195.59/195.81 c | 1339483 | 403 1769 5413 | 2147483647 21816 20 | 0.001 % |
195.88/196.15 c | 1341346 | 403 1769 5413 | 22334 20208 20 | 0.001 % |
196.18/196.47 c | 1343396 | 403 1769 5413 | 22334 22258 20 | 0.001 % |
196.59/196.84 c | 1345650 | 403 1769 5413 | 22334 20389 20 | 0.001 % |
196.98/197.29 c | 1348128 | 403 1769 5413 | 22334 18379 20 | 0.001 % |
197.48/197.74 c | 1350854 | 403 1769 5413 | 20254 16987 19 | 0.001 % |
197.98/198.23 c | 1353852 | 403 1769 5413 | 20254 19985 20 | 0.001 % |
198.48/198.75 c | 1357148 | 403 1769 5413 | 20254 19339 20 | 0.001 % |
199.08/199.37 c | 1360773 | 403 1769 5413 | 18220 15413 21 | 0.001 % |
199.68/199.94 c | 1364762 | 403 1769 5413 | 18220 15990 21 | 0.001 % |
200.38/200.62 c | 1369150 | 403 1769 5413 | 18220 16991 21 | 0.001 % |
200.99/201.30 c | 1373974 | 403 1769 5413 | 17843 15437 21 | 0.001 % |
201.88/202.11 c | 1379280 | 403 1769 5413 | 17843 17618 20 | 0.001 % |
202.68/202.96 c | 1385116 | 403 1769 5413 | 15087 15097 20 | 0.001 % |
203.58/203.85 c | 1391534 | 403 1769 5413 | 13328 12978 20 | 0.001 % |
204.28/204.55 c | 1398593 | 403 1769 5413 | 13328 13190 20 | 0.001 % |
205.28/205.50 c | 1406358 | 403 1769 5413 | 2147483647 19618 20 | 0.001 % |
206.68/206.99 c | 1414898 | 403 1769 5413 | 23261 19716 20 | 0.001 % |
208.18/208.46 c | 1424292 | 403 1769 5413 | 19551 19435 21 | 0.001 % |
209.78/210.05 c | 1434625 | 403 1769 5413 | 16778 14768 21 | 0.001 % |
211.38/211.62 c | 1445992 | 403 1769 5413 | 13780 13205 20 | 0.001 % |
212.78/213.09 c | 1458495 | 403 1769 5413 | 13724 13229 20 | 0.001 % |
212.88/213.11 c | 1458595 | 403 1769 5413 | 13724 13329 20 | 0.001 % |
212.88/213.12 c | 1458705 | 403 1769 5413 | 13724 13439 20 | 0.001 % |
212.88/213.14 c | 1458826 | 403 1769 5413 | 13724 13560 20 | 0.001 % |
212.88/213.15 c | 1458961 | 403 1769 5413 | 13724 13695 20 | 0.001 % |
212.88/213.17 c | 1459107 | 403 1769 5413 | 13724 12392 20 | 0.001 % |
212.88/213.19 c | 1459267 | 403 1769 5413 | 13724 12552 20 | 0.001 % |
212.98/213.20 c | 1459443 | 403 1769 5413 | 13724 12728 20 | 0.001 % |
212.98/213.22 c | 1459636 | 403 1769 5413 | 13724 12921 20 | 0.001 % |
212.98/213.25 c | 1459849 | 403 1769 5413 | 13724 13134 20 | 0.001 % |
212.98/213.28 c | 1460082 | 403 1769 5413 | 2147483647 13367 20 | 0.001 % |
213.08/213.31 c | 1460338 | 403 1769 5413 | 2147483647 13623 20 | 0.001 % |
213.08/213.34 c | 1460619 | 403 1769 5413 | 2147483647 13904 20 | 0.001 % |
213.08/213.38 c | 1460929 | 403 1769 5413 | 2147483647 14214 20 | 0.001 % |
213.18/213.43 c | 1461269 | 403 1769 5413 | 2147483647 14554 20 | 0.001 % |
213.18/213.48 c | 1461643 | 403 1769 5413 | 2147483647 14928 20 | 0.001 % |
213.27/213.54 c | 1462052 | 403 1769 5413 | 2147483647 15337 20 | 0.001 % |
213.27/213.59 c | 1462501 | 403 1769 5413 | 2147483647 15786 20 | 0.001 % |
213.37/213.66 c | 1462995 | 403 1769 5413 | 2147483647 16280 20 | 0.001 % |
213.47/213.73 c | 1463537 | 403 1769 5413 | 2147483647 16822 20 | 0.001 % |
213.57/213.82 c | 1464135 | 403 1769 5413 | 2147483647 17420 20 | 0.001 % |
213.67/213.90 c | 1464790 | 403 1769 5413 | 2147483647 18075 20 | 0.001 % |
213.77/214.01 c | 1465510 | 403 1769 5413 | 2147483647 18795 20 | 0.001 % |
213.87/214.15 c | 1466302 | 403 1769 5413 | 2147483647 19587 20 | 0.001 % |
214.07/214.31 c | 1467173 | 403 1769 5413 | 2147483647 20458 20 | 0.001 % |
214.17/214.49 c | 1468132 | 403 1769 5413 | 2147483647 21417 20 | 0.001 % |
214.47/214.71 c | 1469185 | 403 1769 5413 | 2147483647 22470 20 | 0.001 % |
214.67/214.95 c | 1470344 | 403 1769 5413 | 23285 19275 20 | 0.001 % |
214.87/215.14 c | 1471619 | 403 1769 5413 | 23285 20550 20 | 0.001 % |
215.17/215.43 c | 1473019 | 403 1769 5413 | 23285 21950 20 | 0.001 % |
215.47/215.71 c | 1474559 | 403 1769 5413 | 23285 18368 20 | 0.001 % |
215.77/216.01 c | 1476253 | 403 1769 5413 | 23285 20062 20 | 0.001 % |
216.07/216.34 c | 1478116 | 403 1769 5413 | 23285 21925 20 | 0.001 % |
216.47/216.78 c | 1480165 | 403 1769 5413 | 18444 14377 20 | 0.001 % |
216.77/217.06 c | 1482419 | 403 1769 5413 | 18444 16631 20 | 0.001 % |
217.17/217.43 c | 1484898 | 403 1769 5413 | 18444 15535 20 | 0.001 % |
217.57/217.88 c | 1487623 | 403 1769 5413 | 18444 18260 20 | 0.001 % |
218.07/218.33 c | 1490620 | 403 1769 5413 | 17078 14482 20 | 0.001 % |
218.47/218.77 c | 1493920 | 403 1769 5413 | 17078 15122 19 | 0.001 % |
218.97/219.22 c | 1497546 | 403 1769 5413 | 17078 16302 19 | 0.001 % |
219.37/219.69 c | 1501533 | 403 1769 5413 | 16409 15770 19 | 0.001 % |
219.97/220.23 c | 1505918 | 403 1769 5413 | 16409 16437 19 | 0.001 % |
220.67/220.96 c | 1510742 | 403 1769 5413 | 14655 13582 18 | 0.001 % |
221.37/221.60 c | 1516048 | 403 1769 5413 | 14655 13957 18 | 0.001 % |
221.97/222.29 c | 1521884 | 403 1769 5413 | 13323 12530 19 | 0.001 % |
222.77/223.07 c | 1528302 | 403 1769 5413 | 13323 12268 19 | 0.001 % |
223.67/223.98 c | 1535362 | 403 1769 5413 | 2147483647 17991 19 | 0.001 % |
224.96/225.23 c | 1543126 | 403 1769 5413 | 22631 22104 20 | 0.001 % |
226.66/226.91 c | 1551670 | 403 1769 5413 | 18568 15719 21 | 0.001 % |
228.16/228.48 c | 1561068 | 403 1769 5413 | 15734 13393 19 | 0.001 % |
229.46/229.70 c | 1571401 | 403 1769 5413 | 14493 14069 21 | 0.001 % |
230.96/231.23 c | 1582769 | 403 1769 5413 | 14503 13092 20 | 0.001 % |
232.66/232.93 c | 1595271 | 403 1769 5413 | 14077 12917 18 | 0.001 % |
233.86/234.13 c ===============================================================================
233.86/234.13 c restarts : 1432
233.86/234.13 c conflicts : 1605953 (6867 /sec)
233.86/234.13 c decisions : 1962200 (1.80 % random) (8390 /sec)
233.86/234.13 c propagations : 99542082 (425646 /sec)
233.86/234.13 c conflict literals : 33814036 (19.87 % deleted)
233.86/234.13 c Memory used : 7.36 MB
233.86/234.13 c CPU time : 233.861 s
233.86/234.13 c
233.86/234.13 s SATISFIABLE
233.86/234.13 s SATISFIABLE
233.86/234.13 v -1 -2 -3 4 5 -6 7 -8 -9 -10 11 -12 -13 -14 15 -16 -17 -18 19 20 -21 -22 -23 -24 25 -26 27 28 29 30 -31 -32 -33 -34 35 36 -37 38 -39 40 -41 -42 43 -44 -45 46 47 -48 49 -50 51 -52 53 54 -55 56 57 -58 59 -60 -61 -62 -63 -64 65 66 67 68 -69 70 71 72 -73 -74 75 -76 77 -78 -79 80 81 -82 83 -84 85 -86 87 88 -89 -90 -91 -92 93 94 -95 -96 97 -98 -99 -100 -101 -102 -103 -104 105 106 107 -108 109 110 111 112 -113 -114 115 -116 -117 -118 119 120 -121 -122 123 -124 -125 -126 -127 128 -129 -130 131 -132 133 134 -135 136 137 -138 139 -140 141 142 -143 -144 -145 146 147 148 -149 -150 151 -152 153 154 155 156 -157 158 -159 -160 161 -162 163 164 -165 -166 167 -168 169 170 171 172 -173 174 175 -176 -177 178 -179 180 181 -182 -183 -184 -185 -186 187 -188 -189 190 191 192 -193 194 195 -196 197 -198 -199 -200 -201 -202 -203 204 205 -206 -207 208 209 -210 -211 212 213 214 215 -216 -217 -218 219 220 221 -222 223 224 -225 226 227 228 -229 -230 -231 232 233 234 -235 -236 -237 -238 -239 -240 -241 -242 -243 244 245 246 247 248 249 -250 -251 252 253 -254 255 256 257 -258 -259 260 261 -262 263 -264 265 -266 -267 -268 -269 -270 271 -272 -273 274 -275 276 -277 278 279 -280 281 -282 -283 -284 -285 -286 287 288 -289 -290 291 -292 293 -294 -295 296 -297 -298 -299 -300 301 302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 313 314 -315 316 -317 318 -319 -320 321 -322 323 -324 325 326 -327 328 329 -330 -331 -332 -333 -334 335 -336 337 -338 -339 -340 -341 -342 -343 344 345 -346 -347 348 349 -350 -351 -352 -353 354 355 -356 -357 358 359 -360 -361 -362 363 364 365 366 -367 368 369 370 371 372 373 -374 375 -376 377 -378 -379 -380 -381 -382 383 -384 -385 -386 -387 388 -389 -390 391 392 393 394 -395 -396 -397 -398 -399 -400 401 -402 -403 -404 405 -406 407 -408 -409 -410 -411 -412 413 414 -415 -416 417 -418 -419 420 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833409-1242821404/watcher-1833409-1242821404 -o /tmp/evaluation-result-1833409-1242821404/solver-1833409-1242821404 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833409-1242821404.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 1.29 1.63 3/64 16024
/proc/meminfo: memFree=1871464/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310173141 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 264907751506 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16024/statm: 1339 235 195 169 0 50 0
[pid=16025] ppid=16024 vsize=5356 CPUtime=0
/proc/16025/stat : 16025 (SatELiteGTI) R 16024 16024 15987 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 310173142 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/16025/statm: 1339 238 198 169 0 50 0
[pid=16027] ppid=16025 vsize=0 CPUtime=0
/proc/16027/stat : 16027 (sed) Z 16025 16024 15987 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310173142 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/16027/statm: 0 0 0 0 0 0 0
[startup+0.0108081 s]
/proc/loadavg: 0.92 1.29 1.63 3/64 16024
/proc/meminfo: memFree=1871464/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310173141 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16024/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101704 s]
/proc/loadavg: 0.92 1.29 1.63 3/64 16024
/proc/meminfo: memFree=1871464/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301731 s]
/proc/loadavg: 0.92 1.29 1.63 3/64 16024
/proc/meminfo: memFree=1871464/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701791 s]
/proc/loadavg: 0.92 1.29 1.63 3/64 16024
/proc/meminfo: memFree=1871464/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5019 s]
/proc/loadavg: 0.92 1.29 1.63 2/66 16030
/proc/meminfo: memFree=1869528/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=3768 CPUtime=1.47
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 596 0 0 0 147 0 0 0 25 0 1 0 310173143 3858432 582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 942 582 76 171 0 769 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9124
[startup+3.10113 s]
/proc/loadavg: 0.93 1.29 1.62 2/66 16030
/proc/meminfo: memFree=1868440/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=4964 CPUtime=3.06
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 878 0 0 0 306 0 0 0 25 0 1 0 310173143 5083136 864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1241 864 76 171 0 1068 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10320
[startup+6.3016 s]
/proc/loadavg: 0.93 1.29 1.62 2/66 16030
/proc/meminfo: memFree=1867032/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=5664 CPUtime=6.26
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1067 0 0 0 626 0 0 0 25 0 1 0 310173143 5799936 1053 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1416 1053 76 171 0 1243 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11020
[startup+12.7015 s]
/proc/loadavg: 0.94 1.28 1.62 2/66 16030
/proc/meminfo: memFree=1866912/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=5796 CPUtime=12.65
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1075 0 0 0 1264 1 0 0 25 0 1 0 310173143 5935104 1061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1449 1061 76 171 0 1276 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11152
[startup+25.5014 s]
/proc/loadavg: 0.95 1.27 1.61 2/66 16030
/proc/meminfo: memFree=1866848/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=5796 CPUtime=25.43
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1075 0 0 0 2542 1 0 0 25 0 1 0 310173143 5935104 1061 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1449 1061 76 171 0 1276 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 11152
[startup+51.1011 s]
/proc/loadavg: 0.96 1.24 1.59 2/66 16030
/proc/meminfo: memFree=1866784/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=5796 CPUtime=51
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1080 0 0 0 5098 2 0 0 25 0 1 0 310173143 5935104 1066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1449 1066 76 171 0 1276 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 11152
[startup+102.306 s]
/proc/loadavg: 0.98 1.20 1.56 2/66 16030
/proc/meminfo: memFree=1866144/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=6336 CPUtime=102.15
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1229 0 0 0 10212 3 0 0 25 0 1 0 310173143 6488064 1215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1584 1215 76 171 0 1411 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 11692
[startup+162.302 s]
/proc/loadavg: 0.99 1.16 1.52 2/66 16030
/proc/meminfo: memFree=1865504/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=6868 CPUtime=162.11
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1365 0 0 0 16207 4 0 0 25 0 1 0 310173143 7032832 1351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1717 1351 76 171 0 1544 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 12224
[startup+222.302 s]
/proc/loadavg: 0.99 1.13 1.48 2/66 16030
/proc/meminfo: memFree=1864992/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7400 CPUtime=222.07
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1482 0 0 0 22203 4 0 0 25 0 1 0 310173143 7577600 1468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1850 1468 76 171 0 1677 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 12756
Solver just ended. Dumping a history of the last processes samples
[startup+223.901 s]
/proc/loadavg: 0.99 1.13 1.48 2/66 16030
/proc/meminfo: memFree=1864992/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7400 CPUtime=223.67
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1482 0 0 0 22363 4 0 0 25 0 1 0 310173143 7577600 1468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1850 1468 76 171 0 1677 0
Current children cumulated CPU time (s) 223.67
Current children cumulated vsize (KiB) 12756
[startup+230.301 s]
/proc/loadavg: 0.99 1.13 1.48 2/66 16030
/proc/meminfo: memFree=1864864/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7536 CPUtime=230.06
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1510 0 0 0 23002 4 0 0 25 0 1 0 310173143 7716864 1496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1884 1496 76 171 0 1711 0
Current children cumulated CPU time (s) 230.06
Current children cumulated vsize (KiB) 12892
[startup+231.901 s]
/proc/loadavg: 0.99 1.13 1.48 2/66 16030
/proc/meminfo: memFree=1864864/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7536 CPUtime=231.66
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1511 0 0 0 23162 4 0 0 25 0 1 0 310173143 7716864 1497 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1884 1497 76 171 0 1711 0
Current children cumulated CPU time (s) 231.66
Current children cumulated vsize (KiB) 12892
[startup+233.502 s]
/proc/loadavg: 0.99 1.12 1.48 2/66 16030
/proc/meminfo: memFree=1864864/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7536 CPUtime=233.26
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1517 0 0 0 23322 4 0 0 25 0 1 0 310173143 7716864 1503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1884 1503 76 171 0 1711 0
Current children cumulated CPU time (s) 233.26
Current children cumulated vsize (KiB) 12892
[startup+233.902 s]
/proc/loadavg: 0.99 1.12 1.48 2/66 16030
/proc/meminfo: memFree=1864864/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7536 CPUtime=233.66
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1517 0 0 0 23362 4 0 0 25 0 1 0 310173143 7716864 1503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1884 1503 76 171 0 1711 0
Current children cumulated CPU time (s) 233.66
Current children cumulated vsize (KiB) 12892
[startup+234.102 s]
/proc/loadavg: 0.99 1.12 1.48 2/66 16030
/proc/meminfo: memFree=1864864/2055920 swapFree=4179748/4192956
[pid=16024] ppid=16022 vsize=5356 CPUtime=0
/proc/16024/stat : 16024 (SatELiteGTI) S 16022 16024 15987 0 -1 4194304 336 416 0 0 0 0 0 0 16 0 1 0 310173141 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16024/statm: 1339 239 197 169 0 50 0
[pid=16030] ppid=16024 vsize=7536 CPUtime=233.86
/proc/16030/stat : 16030 (minisat_static) R 16024 16024 15987 0 -1 4194304 1517 0 0 0 23382 4 0 0 25 0 1 0 310173143 7716864 1503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16030/statm: 1884 1503 76 171 0 1711 0
Current children cumulated CPU time (s) 233.86
Current children cumulated vsize (KiB) 12892
Child status: 10
Real time (s): 234.145
CPU time (s): 233.931
CPU user time (s): 233.872
CPU system time (s): 0.058991
CPU usage (%): 99.909
Max. virtual memory (cumulated for all children) (KiB): 12892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.872
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2564
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= 49
involuntary context switches= 3219
runsolver used 0.313952 second user time and 0.679896 second system time
The end
Begin job on node30 at 2009-05-20 14:10:04
IDJOB=1833409
IDBENCH=70668
IDSOLVER=671
FILE ID=node30/1833409-1242821404
PBS_JOBID= 9322494
Free space on /tmp= 66396 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/420/unif-k3-r4.25-v420-c1785-S311671104-045.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833409-1242821404/watcher-1833409-1242821404 -o /tmp/evaluation-result-1833409-1242821404/solver-1833409-1242821404 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833409-1242821404.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b892d03833c64865c28a6c109f19fcb2
RANDOM SEED=1955296877
node30.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.265
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 : 5914.62
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.265
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: 1871944 kB
Buffers: 46688 kB
Cached: 89864 kB
SwapCached: 7540 kB
Active: 51440 kB
Inactive: 93988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1871944 kB
SwapTotal: 4192956 kB
SwapFree: 4179748 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 13900 kB
Slab: 24680 kB
Committed_AS: 1146056 kB
PageTables: 1360 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= 66396 MiB
End job on node30 at 2009-05-20 14:13:58