0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 19606 74006 | 5881 0 0 nan | 0.000 % |
0.00/0.04 c | 0 | 17342 64974 | -- 0 -- -- | -- | -2096/-8333
0.00/0.04 c ==============================================================================
0.00/0.04 c Result : #vars: 2790 #clauses: 17342 #literals: 64974
0.00/0.04 c CPU time: 0.029995 s
0.00/0.04 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 2790 |
0.00/0.06 c | Number of clauses: 17342 |
0.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 2790 17342 64974 | 5780 0 nan | 0.000 % |
0.00/0.08 c | 100 | 2788 17342 64974 | 5780 99 23 | 0.287 % |
0.04/0.11 c | 201 | 2788 17342 64974 | 5780 200 31 | 0.287 % |
0.04/0.14 c | 301 | 2782 17220 64570 | 5780 299 31 | 0.287 % |
0.04/0.16 c | 411 | 2782 17220 64570 | 5780 409 31 | 0.287 % |
0.04/0.16 c | 512 | 2782 17220 64570 | 5780 510 28 | 0.287 % |
0.04/0.19 c | 623 | 2782 17220 64570 | 5780 621 33 | 0.287 % |
0.04/0.22 c | 744 | 2782 17220 64570 | 5780 742 31 | 0.287 % |
0.04/0.24 c | 847 | 2782 17220 64570 | 5780 845 32 | 0.287 % |
0.04/0.26 c | 958 | 2782 17220 64570 | 5780 956 34 | 0.287 % |
0.04/0.30 c | 1079 | 2782 17220 64570 | 5780 1077 34 | 0.287 % |
0.04/0.33 c | 1212 | 2782 17220 64570 | 5780 1210 34 | 0.287 % |
0.04/0.35 c | 1313 | 2782 17220 64570 | 5780 1311 36 | 0.287 % |
0.04/0.37 c | 1424 | 2782 17220 64570 | 5780 1422 37 | 0.287 % |
0.04/0.38 c | 1546 | 2782 17220 64570 | 5780 1544 36 | 0.287 % |
0.04/0.43 c | 1680 | 2782 17220 64570 | 5780 1678 40 | 0.287 % |
0.04/0.47 c | 1828 | 2782 17220 64570 | 5780 1826 39 | 0.287 % |
0.04/0.49 c | 1928 | 2782 17220 64570 | 5780 1926 38 | 0.287 % |
0.04/0.51 c | 2038 | 2782 17220 64570 | 5780 2036 38 | 0.287 % |
0.04/0.54 c | 2160 | 2782 17220 64570 | 5780 2158 39 | 0.287 % |
0.04/0.57 c | 2293 | 2782 17220 64570 | 5780 2291 40 | 0.287 % |
0.04/0.60 c | 2440 | 2782 17220 64570 | 5780 2438 41 | 0.287 % |
0.04/0.65 c | 2600 | 2782 17220 64570 | 5780 2598 42 | 0.287 % |
0.04/0.68 c | 2701 | 2782 17220 64570 | 5780 2699 42 | 0.287 % |
0.04/0.71 c | 2811 | 2782 17220 64570 | 5780 2809 43 | 0.287 % |
0.04/0.75 c | 2932 | 2782 17220 64570 | 5780 2930 44 | 0.287 % |
0.04/0.77 c | 3067 | 2782 17220 64570 | 5780 3065 43 | 0.287 % |
0.04/0.81 c | 3213 | 2782 17220 64570 | 5780 3211 44 | 0.287 % |
0.04/0.84 c | 3374 | 2782 17220 64570 | 5780 3372 43 | 0.287 % |
0.04/0.90 c | 3550 | 2782 17220 64570 | 5780 3548 44 | 0.287 % |
0.04/0.93 c | 3650 | 2782 17220 64570 | 5780 3648 44 | 0.287 % |
0.04/0.96 c | 3760 | 2782 17220 64570 | 5780 3758 44 | 0.287 % |
0.04/0.99 c | 3882 | 2782 17220 64570 | 5780 3880 45 | 0.287 % |
0.97/1.03 c | 4016 | 2782 17220 64570 | 5780 4014 45 | 0.287 % |
0.97/1.06 c | 4162 | 2782 17220 64570 | 5780 4160 45 | 0.287 % |
0.97/1.10 c | 4323 | 2782 17220 64570 | 5780 4321 45 | 0.287 % |
1.07/1.13 c | 4501 | 2782 17220 64570 | 5780 4499 45 | 0.287 % |
1.07/1.18 c | 4694 | 2782 17220 64570 | 5780 4692 45 | 0.287 % |
1.17/1.23 c | 4796 | 2782 17220 64570 | 5780 4794 45 | 0.287 % |
1.17/1.28 c | 4907 | 2782 17220 64570 | 5780 4905 46 | 0.287 % |
1.27/1.31 c | 5028 | 2782 17220 64570 | 5780 5026 46 | 0.287 % |
1.27/1.35 c | 5161 | 2782 17220 64570 | 5780 5159 47 | 0.287 % |
1.27/1.39 c | 5307 | 2782 17220 64570 | 5780 5305 47 | 0.287 % |
1.37/1.44 c | 5467 | 2782 17220 64570 | 5780 5465 46 | 0.287 % |
1.37/1.49 c | 5643 | 2782 17220 64570 | 5780 5641 47 | 0.287 % |
1.47/1.54 c | 5837 | 2782 17220 64570 | 5780 5835 47 | 0.287 % |
1.47/1.59 c | 6050 | 2782 17220 64570 | 5780 5465 46 | 0.287 % |
1.56/1.61 c | 6151 | 2782 17220 64570 | 5780 5566 46 | 0.287 % |
1.56/1.64 c | 6261 | 2782 17220 64570 | 5780 5676 45 | 0.287 % |
1.56/1.67 c | 6383 | 2782 17220 64570 | 5780 5798 46 | 0.287 % |
1.56/1.69 c | 6517 | 2782 17220 64570 | 5780 5353 43 | 0.287 % |
1.66/1.74 c | 6663 | 2782 17220 64570 | 5780 5499 44 | 0.287 % |
1.66/1.78 c | 6824 | 2782 17220 64570 | 5780 5660 44 | 0.287 % |
1.76/1.83 c | 7000 | 2782 17220 64570 | 5780 5836 45 | 0.287 % |
1.76/1.89 c | 7194 | 2782 17220 64570 | 5780 5447 44 | 0.287 % |
1.86/1.94 c | 7407 | 2782 17220 64570 | 5780 5660 44 | 0.287 % |
1.96/2.02 c | 7641 | 2782 17220 64570 | 5780 5894 46 | 0.287 % |
1.96/2.05 c | 7741 | 2782 17220 64570 | 5780 5405 44 | 0.287 % |
1.96/2.08 c | 7852 | 2782 17220 64570 | 5780 5516 44 | 0.287 % |
2.07/2.12 c | 7973 | 2782 17220 64570 | 5780 5637 44 | 0.287 % |
2.07/2.17 c | 8108 | 2782 17220 64570 | 5780 5772 44 | 0.287 % |
2.17/2.21 c | 8254 | 2782 17220 64570 | 5780 5918 44 | 0.287 % |
2.17/2.26 c | 8418 | 2782 17220 64570 | 5780 5491 43 | 0.287 % |
2.26/2.31 c | 8594 | 2782 17220 64570 | 5780 5667 43 | 0.287 % |
2.26/2.37 c | 8789 | 2782 17220 64570 | 5780 5862 43 | 0.287 % |
2.36/2.42 c | 9001 | 2782 17220 64570 | 5780 5488 41 | 0.287 % |
2.36/2.49 c | 9234 | 2782 17220 64570 | 5780 5721 42 | 0.287 % |
2.46/2.57 c | 9490 | 2782 17220 64570 | 5780 5977 42 | 0.287 % |
2.56/2.60 c | 9591 | 2782 17220 64570 | 5780 5481 41 | 0.287 % |
2.56/2.63 c | 9701 | 2774 17097 64156 | 5780 5587 41 | 0.574 % |
2.56/2.66 c | 9823 | 2774 17097 64156 | 5780 5709 41 | 0.574 % |
2.56/2.69 c | 9956 | 2774 17097 64156 | 5780 5842 40 | 0.574 % |
2.66/2.74 c | 10104 | 2774 17097 64156 | 2147483647 5406 40 | 0.574 % |
3.06/4.16 c | 10264 | 2774 17097 64156 | 2147483647 5566 40 | 0.574 % |
3.06/4.16 c | 10440 | 2774 17097 64156 | 2147483647 5742 40 | 0.573 % |
3.06/4.16 c | 10634 | 2774 17097 64156 | 2147483647 5936 41 | 0.574 % |
3.06/4.16 c | 10846 | 2774 17097 64156 | 2147483647 6148 41 | 0.574 % |
3.06/4.16 c | 11079 | 2774 17097 64156 | 2147483647 6381 41 | 0.574 % |
3.06/4.16 c | 11335 | 2774 17097 64156 | 2147483647 6637 42 | 0.574 % |
3.06/4.16 c | 11617 | 2774 17097 64156 | 2147483647 6919 42 | 0.573 % |
3.06/4.16 c | 11717 | 2774 17097 64156 | 2147483647 7019 42 | 0.574 % |
3.06/4.16 c | 11827 | 2774 17097 64156 | 2147483647 7129 42 | 0.574 % |
3.06/4.16 c | 11949 | 2774 17097 64156 | 2147483647 7251 42 | 0.574 % |
3.06/4.16 c | 12086 | 2774 17097 64156 | 2147483647 7388 43 | 0.574 % |
3.06/4.16 c | 12232 | 2774 17097 64156 | 2147483647 7534 43 | 0.574 % |
3.06/4.16 c | 12392 | 2774 17097 64156 | 2147483647 7694 43 | 0.574 % |
3.06/4.16 c | 12568 | 2774 17097 64156 | 2147483647 7870 43 | 0.574 % |
3.06/4.16 c | 12765 | 2774 17097 64156 | 2147483647 8067 43 | 0.574 % |
3.06/4.16 c | 12979 | 2774 17097 64156 | 2147483647 8281 43 | 0.574 % |
3.06/4.16 c | 13213 | 2774 17097 64156 | 2147483647 8515 43 | 0.574 % |
3.06/4.16 c | 13470 | 2774 17097 64156 | 2147483647 8772 43 | 0.574 % |
3.06/4.16 c | 13751 | 2774 17097 64156 | 2147483647 9053 43 | 0.574 % |
3.06/4.16 c | 14062 | 2774 17097 64156 | 2147483647 9364 43 | 0.574 % |
3.06/4.16 c | 14162 | 2774 17097 64156 | 2147483647 9464 43 | 0.574 % |
3.06/4.16 c | 14273 | 2774 17097 64156 | 2147483647 9575 43 | 0.574 % |
3.06/4.16 c | 14394 | 2774 17097 64156 | 2147483647 9696 43 | 0.574 % |
3.06/4.16 c | 14527 | 2774 17097 64156 | 2147483647 9829 43 | 0.573 % |
3.06/4.16 c | 14674 | 2774 17097 64156 | 2147483647 9976 43 | 0.574 % |
3.06/4.19 c | 14834 | 2774 17097 64156 | 2147483647 10136 43 | 0.574 % |
4.23/4.27 c | 15010 | 2774 17097 64156 | 2147483647 10312 43 | 0.574 % |
4.26/4.34 c | 15204 | 2774 17097 64156 | 2147483647 10506 43 | 0.574 % |
4.36/4.41 c | 15416 | 2774 17097 64156 | 2147483647 10718 43 | 0.574 % |
4.36/4.48 c | 15649 | 2774 17097 64156 | 2147483647 10951 43 | 0.574 % |
4.46/4.58 c | 15905 | 2774 17097 64156 | 2147483647 11207 43 | 0.574 % |
4.56/4.68 c | 16186 | 2774 17097 64156 | 2147483647 11488 43 | 0.574 % |
4.67/4.79 c | 16496 | 2774 17097 64156 | 2147483647 11798 43 | 0.574 % |
4.87/4.93 c | 16835 | 2774 17097 64156 | 2147483647 12137 43 | 0.574 % |
4.87/4.98 c | 16936 | 2774 17097 64156 | 2147483647 12238 43 | 0.574 % |
4.96/5.02 c | 17047 | 2774 17097 64156 | 2147483647 12349 43 | 0.574 % |
4.96/5.05 c | 17168 | 2774 17097 64156 | 2147483647 12470 43 | 0.574 % |
5.06/5.10 c | 17301 | 2774 17097 64156 | 2147483647 12603 43 | 0.574 % |
5.06/5.16 c | 17447 | 2774 17097 64156 | 2147483647 12749 43 | 0.574 % |
5.16/5.24 c | 17608 | 2774 17097 64156 | 2147483647 12910 44 | 0.574 % |
5.27/5.30 c | 17786 | 2774 17097 64156 | 2147483647 13088 44 | 0.574 % |
5.27/5.37 c | 17979 | 2774 17097 64156 | 2147483647 13281 44 | 0.574 % |
5.37/5.45 c | 18191 | 2774 17097 64156 | 2147483647 13493 44 | 0.574 % |
5.46/5.54 c | 18425 | 2774 17097 64156 | 2147483647 13727 44 | 0.573 % |
5.56/5.64 c | 18681 | 2774 17097 64156 | 2147483647 13983 44 | 0.573 % |
5.76/5.80 c | 18962 | 2774 17097 64156 | 2147483647 14264 44 | 0.574 % |
5.86/5.92 c | 19272 | 2774 17097 64156 | 2147483647 14574 44 | 0.574 % |
5.96/6.05 c | 19611 | 2774 17097 64156 | 2147483647 14913 44 | 0.574 % |
6.16/6.21 c | 19983 | 2774 17097 64156 | 2147483647 15285 44 | 0.574 % |
6.16/6.25 c | 20083 | 2774 17097 64156 | 2147483647 15385 44 | 0.573 % |
6.26/6.30 c | 20193 | 2774 17097 64156 | 2147483647 15495 44 | 0.574 % |
6.26/6.36 c | 20314 | 2774 17097 64156 | 2147483647 15616 44 | 0.574 % |
6.36/6.42 c | 20447 | 2774 17097 64156 | 2147483647 15749 44 | 0.574 % |
6.36/6.50 c | 20593 | 2774 17097 64156 | 2147483647 15895 44 | 0.574 % |
6.46/6.58 c | 20754 | 2774 17097 64156 | 2147483647 16056 44 | 0.573 % |
6.56/6.66 c | 20931 | 2774 17097 64156 | 2147483647 16233 44 | 0.573 % |
6.66/6.75 c | 21127 | 2774 17097 64156 | 2147483647 16429 45 | 0.574 % |
6.76/6.84 c | 21340 | 2774 17097 64156 | 2147483647 16642 45 | 0.574 % |
6.86/6.97 c | 21573 | 2774 17097 64156 | 2147483647 16875 45 | 0.574 % |
6.96/7.08 c | 21830 | 2774 17097 64156 | 2147483647 17132 45 | 0.574 % |
7.16/7.23 c | 22113 | 2774 17097 64156 | 2147483647 17415 45 | 0.574 % |
7.26/7.37 c | 22422 | 2774 17097 64156 | 2147483647 17724 45 | 0.574 % |
7.47/7.57 c | 22761 | 2774 17097 64156 | 2147483647 18063 45 | 0.574 % |
7.66/7.76 c | 23133 | 2774 17097 64156 | 2147483647 18435 45 | 0.574 % |
7.86/7.99 c | 23544 | 2774 17097 64156 | 2147483647 18846 45 | 0.574 % |
7.96/8.04 c | 23644 | 2774 17097 64156 | 2147483647 18946 45 | 0.574 % |
7.96/8.08 c | 23755 | 2774 17097 64156 | 2147483647 19057 45 | 0.574 % |
8.06/8.14 c | 23876 | 2774 17097 64156 | 2147483647 19178 45 | 0.574 % |
8.06/8.19 c | 24009 | 2774 17097 64156 | 2147483647 19311 45 | 0.574 % |
8.16/8.28 c | 24156 | 2774 17097 64156 | 2147483647 19458 46 | 0.574 % |
8.26/8.38 c | 24316 | 2774 17097 64156 | 2147483647 19618 45 | 0.574 % |
8.36/8.48 c | 24492 | 2774 17097 64156 | 2147483647 19794 46 | 0.574 % |
8.46/8.57 c | 24685 | 2774 17097 64156 | 2147483647 19987 46 | 0.574 % |
8.57/8.66 c | 24897 | 2774 17097 64156 | 2147483647 20199 46 | 0.574 % |
8.76/8.85 c | 25131 | 2774 17097 64156 | 2147483647 20433 46 | 0.574 % |
8.86/8.97 c | 25388 | 2774 17097 64156 | 2147483647 20690 46 | 0.574 % |
8.96/9.08 c | 25670 | 2774 17097 64156 | 2147483647 20972 46 | 0.573 % |
9.16/9.21 c | 25982 | 2774 17097 64156 | 2147483647 21284 46 | 0.574 % |
9.26/9.37 c | 26321 | 2774 17097 64156 | 2147483647 21623 46 | 0.574 % |
9.46/9.55 c | 26693 | 2774 17097 64156 | 2147483647 21995 46 | 0.573 % |
9.67/9.74 c | 27102 | 2774 17097 64156 | 2147483647 22404 46 | 0.574 % |
9.86/9.99 c | 27551 | 2774 17097 64156 | 2147483647 22853 46 | 0.574 % |
9.96/10.05 c | 27651 | 2774 17097 64156 | 2147483647 22953 46 | 0.574 % |
10.06/10.11 c | 27762 | 2774 17097 64156 | 2147483647 23064 46 | 0.574 % |
10.06/10.17 c | 27884 | 2774 17097 64156 | 2147483647 23186 46 | 0.574 % |
10.16/10.25 c | 28019 | 2774 17097 64156 | 2147483647 23321 46 | 0.574 % |
10.26/10.34 c | 28166 | 2774 17097 64156 | 2147483647 23468 46 | 0.574 % |
10.36/10.44 c | 28329 | 2774 17097 64156 | 2147483647 23631 46 | 0.574 % |
10.46/10.52 c | 28505 | 2774 17097 64156 | 2147483647 23807 46 | 0.574 % |
10.56/10.64 c | 28699 | 2774 17097 64156 | 2147483647 24001 46 | 0.574 % |
10.66/10.74 c | 28913 | 2774 17097 64156 | 2147483647 24215 46 | 0.574 % |
10.77/10.90 c | 29147 | 2774 17097 64156 | 2147483647 24449 46 | 0.574 % |
10.96/11.06 c | 29405 | 2774 17097 64156 | 2147483647 24707 45 | 0.574 % |
11.16/11.22 c | 29686 | 2774 17097 64156 | 2147483647 24988 45 | 0.574 % |
11.36/11.43 c | 29995 | 2774 17097 64156 | 2147483647 25297 45 | 0.574 % |
11.66/11.71 c | 30334 | 2774 17097 64156 | 2147483647 25636 45 | 0.573 % |
11.87/11.94 c | 30706 | 2774 17097 64156 | 2147483647 26008 45 | 0.574 % |
12.06/12.19 c | 31118 | 2774 17097 64156 | 2147483647 26420 45 | 0.574 % |
12.46/12.52 c | 31568 | 2774 17097 64156 | 2147483647 26870 45 | 0.574 % |
12.76/12.87 c | 32061 | 2774 17097 64156 | 2147483647 27363 45 | 0.574 % |
12.86/12.94 c | 32161 | 2774 17097 64156 | 2147483647 27463 45 | 0.574 % |
12.96/13.02 c | 32271 | 2774 17097 64156 | 2147483647 27573 45 | 0.574 % |
12.96/13.09 c | 32392 | 2774 17097 64156 | 2147483647 27694 45 | 0.574 % |
13.06/13.19 c | 32526 | 2774 17097 64156 | 2147483647 27828 45 | 0.574 % |
13.16/13.29 c | 32674 | 2774 17097 64156 | 2147483647 27976 45 | 0.574 % |
13.36/13.43 c | 32834 | 2774 17097 64156 | 2147483647 28136 46 | 0.574 % |
13.46/13.56 c | 33010 | 2774 17097 64156 | 2147483647 28312 46 | 0.574 % |
13.66/13.70 c | 33203 | 2774 17097 64156 | 2147483647 28505 46 | 0.574 % |
13.76/13.83 c | 33415 | 2774 17097 64156 | 2147483647 28717 46 | 0.574 % |
13.96/14.04 c | 33648 | 2774 17097 64156 | 2147483647 28950 46 | 0.574 % |
14.16/14.20 c | 33906 | 2774 17097 64156 | 2147483647 29208 46 | 0.574 % |
14.26/14.37 c | 34187 | 2774 17097 64156 | 2147483647 29489 46 | 0.573 % |
14.56/14.63 c | 34496 | 2774 17097 64156 | 2147483647 29798 45 | 0.574 % |
14.86/14.92 c | 34839 | 2774 17097 64156 | 2147483647 30141 45 | 0.574 % |
15.06/15.20 c | 35215 | 2774 17097 64156 | 2147483647 30517 45 | 0.574 % |
15.36/15.49 c | 35625 | 2774 17097 64156 | 2147483647 30927 45 | 0.574 % |
15.76/15.82 c | 36074 | 2774 17097 64156 | 2147483647 31376 45 | 0.574 % |
15.96/16.09 c | 36568 | 2774 17097 64156 | 2147483647 31870 45 | 0.574 % |
16.36/16.47 c | 37111 | 2774 17097 64156 | 2147483647 32413 45 | 0.574 % |
16.45/16.58 c | 37212 | 2774 17097 64156 | 2147483647 32514 45 | 0.574 % |
16.55/16.68 c | 37322 | 2774 17097 64156 | 2147483647 32624 45 | 0.574 % |
16.65/16.76 c | 37443 | 2774 17097 64156 | 2147483647 32745 45 | 0.574 % |
16.75/16.88 c | 37576 | 2774 17097 64156 | 2147483647 32878 45 | 0.573 % |
16.85/16.99 c | 37722 | 2774 17097 64156 | 2147483647 33024 45 | 0.574 % |
17.05/17.16 c | 37882 | 2774 17097 64156 | 2147483647 33184 45 | 0.574 % |
17.25/17.30 c | 38058 | 2774 17097 64156 | 2147483647 33360 45 | 0.574 % |
17.36/17.44 c | 38251 | 2774 17097 64156 | 2147483647 33553 45 | 0.574 % |
17.47/17.60 c | 38465 | 2774 17097 64156 | 2147483647 33767 45 | 0.574 % |
17.66/17.77 c | 38698 | 2774 17097 64156 | 2147483647 34000 45 | 0.574 % |
17.86/17.96 c | 38954 | 2774 17097 64156 | 2147483647 34256 45 | 0.574 % |
18.16/18.26 c | 39235 | 2774 17097 64156 | 2147483647 34537 45 | 0.574 % |
18.47/18.53 c | 39545 | 2774 17097 64156 | 2147483647 34847 45 | 0.574 % |
18.76/18.81 c | 39885 | 2774 17097 64156 | 2147483647 35187 46 | 0.574 % |
18.96/19.07 c | 40258 | 2774 17097 64156 | 2147483647 35560 46 | 0.574 % |
19.36/19.41 c | 40668 | 2774 17097 64156 | 2147483647 35970 46 | 0.574 % |
19.67/19.74 c | 41118 | 2774 17097 64156 | 2147483647 36420 45 | 0.574 % |
20.16/20.25 c | 41611 | 2774 17097 64156 | 2147483647 36913 45 | 0.574 % |
20.56/20.61 c | 42153 | 2774 17097 64156 | 2147483647 37455 46 | 0.574 % |
21.06/21.11 c | 42749 | 2774 17097 64156 | 2147483647 38051 46 | 0.574 % |
21.06/21.18 c | 42849 | 2774 17097 64156 | 2147483647 38151 46 | 0.574 % |
21.16/21.27 c | 42959 | 2774 17097 64156 | 2147483647 38261 46 | 0.574 % |
21.26/21.36 c | 43080 | 2774 17097 64156 | 2147483647 38382 46 | 0.574 % |
21.46/21.51 c | 43215 | 2774 17097 64156 | 2147483647 38517 46 | 0.574 % |
21.56/21.62 c | 43361 | 2774 17097 64156 | 2147483647 38663 46 | 0.574 % |
21.66/21.73 c | 43521 | 2774 17097 64156 | 2147483647 38823 46 | 0.574 % |
21.76/21.85 c | 43697 | 2774 17097 64156 | 2147483647 38999 46 | 0.574 % |
21.86/21.99 c | 43890 | 2774 17097 64156 | 2147483647 39192 46 | 0.574 % |
22.06/22.13 c | 44102 | 2774 17097 64156 | 2147483647 39404 46 | 0.574 % |
22.26/22.32 c | 44336 | 2774 17097 64156 | 2147483647 39638 46 | 0.574 % |
22.46/22.50 c | 44592 | 2774 17097 64156 | 2147483647 39894 46 | 0.574 % |
22.66/22.71 c | 44873 | 2774 17097 64156 | 2147483647 40175 46 | 0.573 % |
22.86/22.98 c | 45182 | 2774 17097 64156 | 2147483647 40484 46 | 0.574 % |
23.16/23.27 c | 45523 | 2774 17097 64156 | 2147483647 40825 46 | 0.574 % |
23.46/23.55 c | 45895 | 2774 17097 64156 | 2147483647 41197 46 | 0.574 % |
23.86/23.91 c | 46307 | 2774 17097 64156 | 2147483647 41609 46 | 0.574 % |
24.15/24.23 c | 46756 | 2774 17097 64156 | 2147483647 42058 46 | 0.574 % |
24.45/24.56 c | 47249 | 2774 17097 64156 | 2147483647 42551 46 | 0.574 % |
24.85/24.96 c | 47791 | 2774 17097 64156 | 2147483647 43093 46 | 0.574 % |
25.45/25.58 c | 48387 | 2774 17097 64156 | 2147483647 43689 46 | 0.574 % |
26.05/26.18 c | 49042 | 2774 17097 64156 | 2147483647 44344 46 | 0.574 % |
26.16/26.28 c | 49142 | 2774 17097 64156 | 2147483647 44444 46 | 0.574 % |
26.26/26.39 c | 49253 | 2774 17097 64156 | 2147483647 44555 46 | 0.573 % |
26.45/26.51 c | 49374 | 2774 17097 64156 | 2147483647 44676 46 | 0.574 % |
26.55/26.64 c | 49507 | 2774 17097 64156 | 2147483647 44809 46 | 0.574 % |
26.65/26.80 c | 49654 | 2774 17097 64156 | 2147483647 44956 46 | 0.574 % |
26.85/26.95 c | 49814 | 2774 17097 64156 | 2147483647 45116 46 | 0.574 % |
26.95/27.09 c | 49990 | 2774 17097 64156 | 2147483647 45292 46 | 0.574 % |
27.25/27.31 c | 50185 | 2774 17097 64156 | 2147483647 45487 46 | 0.574 % |
27.45/27.51 c | 50399 | 2774 17097 64156 | 2147483647 45701 46 | 0.574 % |
27.65/27.74 c | 50635 | 2774 17097 64156 | 2147483647 45937 46 | 0.573 % |
27.95/28.00 c | 50891 | 2774 17097 64156 | 2147483647 46193 46 | 0.574 % |
28.15/28.22 c | 51174 | 2774 17097 64156 | 2147483647 46476 46 | 0.574 % |
28.35/28.48 c | 51483 | 2774 17097 64156 | 2147483647 46785 46 | 0.574 % |
28.75/28.83 c | 51822 | 2774 17097 64156 | 2147483647 47124 46 | 0.574 % |
29.15/29.25 c | 52194 | 2774 17097 64156 | 2147483647 47496 46 | 0.574 % |
29.65/29.71 c | 52603 | 2774 17097 64156 | 2147483647 47905 46 | 0.574 % |
30.05/30.18 c | 53052 | 2774 17097 64156 | 2147483647 48354 46 | 0.574 % |
30.66/30.75 c | 53546 | 2774 17097 64156 | 2147483647 48848 46 | 0.574 % |
31.56/31.65 c | 54089 | 2774 17097 64156 | 2147483647 49391 46 | 0.574 % |
32.16/32.20 c | 54687 | 2774 17097 64156 | 2147483647 49989 46 | 0.574 % |
32.76/32.89 c | 55343 | 2774 17097 64156 | 2147483647 50645 46 | 0.574 % |
34.16/34.21 c | 56063 | 2774 17097 64156 | 2147483647 51365 46 | 0.574 % |
34.26/34.34 c | 56164 | 2774 17097 64156 | 2147483647 51466 46 | 0.574 % |
34.36/34.43 c | 56274 | 2774 17097 64156 | 2147483647 51576 46 | 0.574 % |
34.46/34.54 c | 56396 | 2774 17097 64156 | 2147483647 51698 46 | 0.574 % |
34.56/34.67 c | 56530 | 2774 17097 64156 | 2147483647 51832 46 | 0.574 % |
34.76/34.89 c | 56677 | 2774 17097 64156 | 2147483647 51979 46 | 0.574 % |
35.06/35.13 c | 56837 | 2774 17097 64156 | 2147483647 52139 46 | 0.574 % |
35.16/35.28 c | 57013 | 2774 17097 64156 | 2147483647 52315 46 | 0.574 % |
35.36/35.48 c | 57207 | 2774 17097 64156 | 2147483647 52509 46 | 0.574 % |
35.56/35.69 c | 57421 | 2774 17097 64156 | 2147483647 52723 46 | 0.574 % |
35.86/35.98 c | 57655 | 2774 17097 64156 | 2147483647 52957 46 | 0.574 % |
36.36/36.41 c | 57912 | 2774 17097 64156 | 2147483647 53214 46 | 0.574 % |
36.76/36.80 c | 58194 | 2774 17097 64156 | 2147483647 53496 46 | 0.574 % |
37.16/37.21 c | 58503 | 2774 17097 64156 | 2147483647 53805 46 | 0.574 % |
37.75/37.81 c | 58842 | 2774 17097 64156 | 2147483647 54144 46 | 0.574 % |
38.15/38.28 c | 59215 | 2774 17097 64156 | 2147483647 54517 46 | 0.574 % |
38.65/38.70 c | 59626 | 2774 17097 64156 | 2147483647 54928 46 | 0.574 % |
39.05/39.14 c | 60077 | 2774 17097 64156 | 2147483647 55379 46 | 0.574 % |
39.65/39.71 c | 60570 | 2774 17097 64156 | 2147483647 55872 46 | 0.573 % |
40.25/40.32 c | 61114 | 2774 17097 64156 | 2147483647 56416 46 | 0.574 % |
41.05/41.18 c | 61710 | 2774 17097 64156 | 2147483647 57012 46 | 0.574 % |
42.05/42.16 c | 62365 | 2774 17097 64156 | 2147483647 57667 46 | 0.574 % |
43.05/43.10 c | 63087 | 2774 17097 64156 | 2147483647 58389 46 | 0.574 % |
43.95/44.01 c | 63880 | 2774 17097 64156 | 2147483647 59182 46 | 0.574 % |
44.05/44.13 c | 63984 | 2774 17097 64156 | 2147483647 59286 46 | 0.574 % |
44.25/44.38 c | 64094 | 2774 17097 64156 | 2147483647 59396 46 | 0.574 % |
44.45/44.59 c | 64217 | 2774 17097 64156 | 2147483647 59519 46 | 0.574 % |
44.75/44.82 c | 64350 | 2774 17097 64156 | 2147483647 59652 46 | 0.574 % |
44.85/44.99 c | 64498 | 2774 17097 64156 | 2147483647 59800 46 | 0.574 % |
45.15/45.21 c | 64658 | 2774 17097 64156 | 2147483647 59960 46 | 0.574 % |
45.35/45.42 c | 64834 | 2774 17097 64156 | 2147483647 60136 46 | 0.573 % |
45.55/45.63 c | 65028 | 2774 17097 64156 | 2147483647 60330 46 | 0.574 % |
45.85/45.92 c | 65240 | 2774 17097 64156 | 2147483647 60542 46 | 0.574 % |
46.25/46.34 c | 65475 | 2774 17097 64156 | 2147483647 60777 46 | 0.574 % |
46.55/46.68 c | 65731 | 2774 17097 64156 | 2147483647 61033 46 | 0.574 % |
47.25/47.33 c | 66012 | 2774 17097 64156 | 2147483647 61314 46 | 0.574 % |
47.65/47.74 c | 66322 | 2774 17097 64156 | 2147483647 61624 46 | 0.574 % |
48.05/48.13 c | 66661 | 2774 17097 64156 | 2147483647 61963 46 | 0.574 % |
48.45/48.58 c | 67033 | 2774 17097 64156 | 2147483647 62335 46 | 0.574 % |
49.05/49.12 c | 67442 | 2774 17097 64156 | 2147483647 62744 46 | 0.574 % |
49.55/49.70 c | 67891 | 2774 17097 64156 | 2147483647 63193 46 | 0.574 % |
50.25/50.39 c | 68385 | 2774 17097 64156 | 2147483647 63687 46 | 0.574 % |
50.95/51.06 c | 68927 | 2774 17097 64156 | 2147483647 64229 46 | 0.574 % |
51.85/51.96 c | 69523 | 2774 17097 64156 | 2147483647 64825 46 | 0.574 % |
52.75/52.84 c | 70178 | 2774 17097 64156 | 65303 65480 46 | 0.574 % |
54.04/54.17 c | 70899 | 2774 17097 64156 | 65303 59494 44 | 0.574 % |
54.75/54.87 c | 71691 | 2774 17097 64156 | 65303 60286 44 | 0.574 % |
55.64/55.73 c | 72563 | 2774 17097 64156 | 65303 61158 44 | 0.574 % |
55.74/55.86 c | 72663 | 2774 17097 64156 | 65303 61258 44 | 0.574 % |
55.85/55.99 c | 72773 | 2774 17097 64156 | 65303 61368 44 | 0.574 % |
56.04/56.11 c | 72894 | 2774 17097 64156 | 65303 61489 44 | 0.574 % |
56.14/56.27 c | 73027 | 2774 17097 64156 | 65303 61622 44 | 0.574 % |
56.44/56.53 c | 73173 | 2774 17097 64156 | 65303 61768 44 | 0.574 % |
56.64/56.77 c | 73335 | 2774 17097 64156 | 65303 61930 44 | 0.574 % |
56.84/56.97 c | 73511 | 2774 17097 64156 | 65303 62106 44 | 0.574 % |
57.24/57.35 c | 73705 | 2774 17097 64156 | 65303 62300 44 | 0.574 % |
57.54/57.63 c | 73919 | 2774 17097 64156 | 65303 62514 44 | 0.574 % |
57.84/57.93 c | 74153 | 2774 17097 64156 | 65303 62748 44 | 0.574 % |
58.24/58.31 c | 74409 | 2774 17097 64156 | 65303 63004 44 | 0.574 % |
58.54/58.67 c | 74690 | 2774 17097 64156 | 65303 63285 44 | 0.574 % |
58.94/59.06 c | 74999 | 2774 17097 64156 | 65303 63594 44 | 0.574 % |
59.44/59.54 c | 75338 | 2774 17097 64156 | 65303 63933 44 | 0.573 % |
60.04/60.12 c | 75712 | 2774 17097 64156 | 65303 64307 44 | 0.574 % |
60.44/60.58 c | 76123 | 2774 17097 64156 | 65303 64718 44 | 0.574 % |
61.04/61.15 c | 76574 | 2774 17097 64156 | 65303 65169 44 | 0.574 % |
61.74/61.87 c | 77067 | 2774 17097 64156 | 65303 65662 44 | 0.574 % |
62.45/62.54 c | 77609 | 2774 17097 64156 | 65303 57712 42 | 0.574 % |
63.14/63.21 c | 78206 | 2774 17097 64156 | 65303 58309 42 | 0.574 % |
64.34/64.41 c | 78861 | 2774 17097 64156 | 65303 58964 42 | 0.574 % |
65.34/65.43 c | 79583 | 2774 17097 64156 | 65303 59686 42 | 0.574 % |
66.24/66.36 c | 80376 | 2774 17097 64156 | 60104 60479 42 | 0.574 % |
67.14/67.27 c | 81247 | 2774 17097 64156 | 60104 54395 41 | 0.574 % |
68.14/68.23 c | 82207 | 2774 17097 64156 | 60104 55355 42 | 0.574 % |
68.24/68.33 c | 82308 | 2774 17097 64156 | 60104 55456 42 | 0.574 % |
68.34/68.45 c | 82418 | 2774 17097 64156 | 60104 55566 42 | 0.574 % |
68.44/68.56 c | 82539 | 2774 17097 64156 | 60104 55687 42 | 0.574 % |
68.64/68.75 c | 82672 | 2774 17097 64156 | 60104 55820 42 | 0.574 % |
68.84/68.94 c | 82818 | 2774 17097 64156 | 60104 55966 42 | 0.574 % |
69.14/69.21 c | 82978 | 2774 17097 64156 | 60104 56126 42 | 0.574 % |
69.34/69.41 c | 83157 | 2774 17097 64156 | 60104 56305 42 | 0.574 % |
69.54/69.62 c | 83352 | 2774 17097 64156 | 60104 56500 42 | 0.574 % |
69.84/69.91 c | 83564 | 2774 17097 64156 | 60104 56712 42 | 0.574 % |
70.14/70.22 c | 83801 | 2774 17097 64156 | 60104 56949 42 | 0.574 % |
70.44/70.54 c | 84057 | 2774 17097 64156 | 60104 57205 42 | 0.574 % |
70.74/70.88 c | 84338 | 2774 17097 64156 | 60104 57486 42 | 0.574 % |
71.24/71.35 c | 84648 | 2774 17097 64156 | 60104 57796 42 | 0.574 % |
71.74/71.84 c | 84987 | 2774 17097 64156 | 60104 58135 42 | 0.574 % |
72.24/72.37 c | 85360 | 2774 17097 64156 | 60104 58508 42 | 0.574 % |
72.94/73.04 c | 85769 | 2774 17097 64156 | 60104 58917 42 | 0.574 % |
73.54/73.68 c | 86218 | 2774 17097 64156 | 60104 59366 42 | 0.574 % |
74.44/74.52 c | 86711 | 2774 17097 64156 | 60104 59859 41 | 0.574 % |
75.04/75.12 c | 87254 | 2774 17097 64156 | 60104 60402 42 | 0.574 % |
75.94/76.05 c | 87851 | 2774 17097 64156 | 60104 54959 40 | 0.574 % |
76.94/77.01 c | 88507 | 2774 17097 64156 | 60104 55615 40 | 0.574 % |
77.64/77.79 c | 89228 | 2774 17097 64156 | 60104 56336 40 | 0.574 % |
78.64/78.74 c | 90021 | 2774 17097 64156 | 2147483647 57129 40 | 0.574 % |
79.84/79.90 c | 90892 | 2774 17097 64156 | 2147483647 58000 40 | 0.574 % |
80.93/81.09 c | 91852 | 2774 17097 64156 | 2147483647 58960 41 | 0.574 % |
82.35/82.46 c | 92905 | 2774 17097 64156 | 2147483647 60013 41 | 0.574 % |
82.44/82.59 c | 93005 | 2774 17097 64156 | 2147483647 60113 41 | 0.574 % |
82.64/82.73 c | 93115 | 2774 17097 64156 | 2147483647 60223 41 | 0.574 % |
82.74/82.88 c | 93238 | 2774 17097 64156 | 2147483647 60346 41 | 0.574 % |
82.94/83.04 c | 93372 | 2774 17097 64156 | 2147483647 60480 41 | 0.574 % |
83.04/83.19 c | 93519 | 2774 17097 64156 | 2147483647 60627 41 | 0.574 % |
83.24/83.39 c | 93680 | 2774 17097 64156 | 2147483647 60788 41 | 0.574 % |
83.54/83.65 c | 93858 | 2774 17097 64156 | 2147483647 60966 41 | 0.574 % |
83.74/83.89 c | 94053 | 2774 17097 64156 | 2147483647 61161 41 | 0.574 % |
84.04/84.16 c | 94266 | 2774 17097 64156 | 2147483647 61374 41 | 0.574 % |
84.34/84.48 c | 94500 | 2774 17097 64156 | 2147483647 61608 41 | 0.573 % |
84.74/84.88 c | 94756 | 2774 17097 64156 | 2147483647 61864 41 | 0.574 % |
85.14/85.26 c | 95037 | 2774 17097 64156 | 2147483647 62145 41 | 0.574 % |
85.65/85.75 c | 95346 | 2774 17097 64156 | 2147483647 62454 41 | 0.574 % |
86.14/86.23 c | 95685 | 2774 17097 64156 | 2147483647 62793 41 | 0.574 % |
86.65/86.75 c | 96057 | 2774 17097 64156 | 2147483647 63165 41 | 0.574 % |
87.14/87.24 c | 96466 | 2774 17097 64156 | 2147483647 63574 41 | 0.573 % |
88.24/88.34 c | 96915 | 2774 17097 64156 | 2147483647 64023 41 | 0.574 % |
89.04/89.19 c | 97411 | 2774 17097 64156 | 2147483647 64519 41 | 0.574 % |
89.84/89.96 c | 97954 | 2774 17097 64156 | 2147483647 65062 41 | 0.574 % |
90.64/90.72 c | 98551 | 2774 17097 64156 | 2147483647 65659 41 | 0.574 % |
91.34/91.43 c | 99207 | 2774 17097 64156 | 2147483647 66315 41 | 0.574 % |
92.14/92.27 c | 99927 | 2774 17097 64156 | 2147483647 67035 41 | 0.574 % |
93.24/93.34 c | 100720 | 2774 17097 64156 | 67109 59346 39 | 0.574 % |
94.34/94.41 c | 101591 | 2774 17097 64156 | 67109 60217 39 | 0.574 % |
95.34/95.50 c | 102549 | 2774 17097 64156 | 67109 61175 39 | 0.574 % |
96.74/96.83 c | 103602 | 2774 17097 64156 | 67109 62228 39 | 0.574 % |
98.34/98.47 c | 104760 | 2774 17097 64156 | 67109 63386 40 | 0.574 % |
98.54/98.61 c | 104860 | 2774 17097 64156 | 67109 63486 40 | 0.574 % |
98.64/98.79 c | 104972 | 2774 17097 64156 | 67109 63598 40 | 0.574 % |
98.84/98.97 c | 105093 | 2774 17097 64156 | 67109 63719 40 | 0.574 % |
99.04/99.14 c | 105226 | 2774 17097 64156 | 67109 63852 40 | 0.574 % |
99.14/99.29 c | 105372 | 2774 17097 64156 | 67109 63998 40 | 0.574 % |
99.34/99.49 c | 105534 | 2774 17097 64156 | 67109 64160 40 | 0.574 % |
99.64/99.73 c | 105710 | 2774 17097 64156 | 67109 64336 40 | 0.574 % |
99.84/99.98 c | 105904 | 2774 17097 64156 | 67109 64530 40 | 0.574 % |
100.14/100.27 c | 106117 | 2774 17097 64156 | 67109 64743 40 | 0.574 % |
100.44/100.59 c | 106350 | 2774 17097 64156 | 67109 64976 40 | 0.574 % |
100.84/100.96 c | 106606 | 2774 17097 64156 | 67109 65232 40 | 0.574 % |
101.34/101.40 c | 106887 | 2774 17097 64156 | 67109 65513 40 | 0.573 % |
101.74/101.81 c | 107196 | 2774 17097 64156 | 67109 65822 40 | 0.574 % |
102.24/102.34 c | 107535 | 2774 17097 64156 | 67109 66161 40 | 0.574 % |
102.74/102.82 c | 107908 | 2774 17097 64156 | 67109 66534 40 | 0.574 % |
103.14/103.22 c | 108317 | 2774 17097 64156 | 67109 66943 40 | 0.574 % |
103.64/103.77 c | 108768 | 2774 17097 64156 | 67109 67394 40 | 0.574 % |
104.24/104.33 c | 109261 | 2774 17097 64156 | 67109 59468 38 | 0.574 % |
105.24/105.36 c | 109803 | 2774 17097 64156 | 67109 60010 38 | 0.574 % |
105.84/105.95 c | 110401 | 2774 17097 64156 | 60208 60608 38 | 0.574 % |
106.64/106.75 c | 111056 | 2774 17097 64156 | 60208 54450 37 | 0.574 % |
107.44/107.56 c | 111776 | 2774 17097 64156 | 60208 55170 38 | 0.574 % |
108.54/108.68 c | 112570 | 2774 17097 64156 | 60208 55964 38 | 0.574 % |
109.53/109.63 c | 113441 | 2774 17097 64156 | 60208 56835 38 | 0.574 % |
110.94/111.00 c | 114401 | 2774 17097 64156 | 60208 57795 38 | 0.574 % |
112.23/112.38 c | 115455 | 2774 17097 64156 | 60208 58849 38 | 0.574 % |
113.83/113.92 c | 116613 | 2774 17097 64156 | 60208 60007 38 | 0.574 % |
115.53/115.63 c | 117887 | 2774 17097 64156 | 60208 55203 37 | 0.574 % |
115.63/115.74 c | 117988 | 2774 17097 64156 | 60208 55304 37 | 0.574 % |
115.73/115.88 c | 118099 | 2774 17097 64156 | 60208 55415 37 | 0.574 % |
115.93/116.03 c | 118222 | 2774 17097 64156 | 60208 55538 37 | 0.574 % |
116.03/116.17 c | 118356 | 2774 17097 64156 | 60208 55672 37 | 0.574 % |
116.23/116.34 c | 118502 | 2774 17097 64156 | 60208 55818 37 | 0.574 % |
116.44/116.59 c | 118663 | 2774 17097 64156 | 60208 55979 37 | 0.574 % |
116.73/116.83 c | 118841 | 2774 17097 64156 | 60208 56157 37 | 0.574 % |
117.13/117.20 c | 119034 | 2774 17097 64156 | 60208 56350 37 | 0.574 % |
117.33/117.45 c | 119248 | 2774 17097 64156 | 60208 56564 37 | 0.574 % |
117.63/117.74 c | 119481 | 2774 17097 64156 | 60208 56797 37 | 0.574 % |
117.93/118.04 c | 119737 | 2774 17097 64156 | 60208 57053 37 | 0.574 % |
118.33/118.40 c | 120018 | 2774 17097 64156 | 2147483647 57334 37 | 0.574 % |
118.64/118.77 c | 120327 | 2774 17097 64156 | 2147483647 57643 38 | 0.574 % |
119.23/119.30 c | 120667 | 2774 17097 64156 | 2147483647 57983 38 | 0.574 % |
119.73/119.85 c | 121039 | 2774 17097 64156 | 2147483647 58355 38 | 0.574 % |
120.23/120.34 c | 121448 | 2774 17097 64156 | 2147483647 58764 38 | 0.574 % |
120.84/120.93 c | 121900 | 2774 17097 64156 | 2147483647 59216 38 | 0.574 % |
121.63/121.71 c | 122393 | 2774 17097 64156 | 2147483647 59709 38 | 0.574 % |
122.23/122.36 c | 122937 | 2774 17097 64156 | 2147483647 60253 38 | 0.574 % |
123.13/123.21 c | 123535 | 2774 17097 64156 | 2147483647 60851 38 | 0.574 % |
124.03/124.17 c | 124192 | 2774 17097 64156 | 2147483647 61508 38 | 0.574 % |
125.03/125.11 c | 124914 | 2774 17097 64156 | 2147483647 62230 38 | 0.574 % |
125.93/126.10 c | 125706 | 2774 17097 64156 | 2147483647 63022 38 | 0.574 % |
127.03/127.11 c | 126578 | 2774 17097 64156 | 2147483647 63894 38 | 0.574 % |
128.13/128.29 c | 127536 | 2774 17097 64156 | 2147483647 64852 38 | 0.574 % |
129.63/129.78 c | 128589 | 2774 17097 64156 | 2147483647 65905 38 | 0.574 % |
131.13/131.22 c | 129747 | 2774 17097 64156 | 2147483647 67063 39 | 0.574 % |
132.93/133.09 c | 131020 | 2774 17097 64156 | 2147483647 68336 39 | 0.574 % |
134.93/135.07 c | 132421 | 2774 17097 64156 | 2147483647 69737 39 | 0.574 % |
135.13/135.24 c | 132522 | 2774 17097 64156 | 2147483647 69838 39 | 0.573 % |
135.33/135.46 c | 132632 | 2774 17097 64156 | 2147483647 69948 39 | 0.573 % |
135.53/135.63 c | 132754 | 2774 17097 64156 | 2147483647 70070 39 | 0.574 % |
135.73/135.82 c | 132888 | 2774 17097 64156 | 2147483647 70204 39 | 0.574 % |
135.93/136.02 c | 133036 | 2774 17097 64156 | 2147483647 70352 39 | 0.574 % |
136.13/136.28 c | 133196 | 2774 17097 64156 | 2147483647 70512 39 | 0.573 % |
136.53/136.65 c | 133375 | 2774 17097 64156 | 2147483647 70691 39 | 0.574 % |
136.83/136.98 c | 133569 | 2774 17097 64156 | 2147483647 70885 39 | 0.574 % |
137.13/137.28 c | 133781 | 2774 17097 64156 | 2147483647 71097 39 | 0.574 % |
137.53/137.60 c | 134015 | 2774 17097 64156 | 2147483647 71331 39 | 0.574 % |
137.73/137.87 c | 134272 | 2774 17097 64156 | 2147483647 71588 39 | 0.574 % |
138.23/138.34 c | 134553 | 2774 17097 64156 | 2147483647 71869 39 | 0.574 % |
138.62/138.79 c | 134862 | 2774 17097 64156 | 2147483647 72178 39 | 0.574 % |
139.32/139.48 c | 135203 | 2774 17097 64156 | 2147483647 72519 39 | 0.574 % |
140.02/140.14 c | 135576 | 2774 17097 64156 | 2147483647 72892 39 | 0.573 % |
140.72/140.80 c | 135985 | 2774 17097 64156 | 2147483647 73301 39 | 0.574 % |
141.42/141.51 c | 136436 | 2774 17097 64156 | 2147483647 73752 39 | 0.574 % |
142.42/142.51 c | 136930 | 2774 17097 64156 | 2147483647 74246 39 | 0.574 % |
143.12/143.24 c | 137473 | 2774 17097 64156 | 2147483647 74789 39 | 0.574 % |
144.12/144.20 c | 138069 | 2774 17097 64156 | 2147483647 75385 39 | 0.574 % |
145.03/145.19 c | 138724 | 2774 17097 64156 | 2147483647 76040 39 | 0.574 % |
146.32/146.47 c | 139444 | 2774 17097 64156 | 2147483647 76760 39 | 0.574 % |
147.82/147.95 c | 140236 | 2774 17097 64156 | 77317 65454 37 | 0.574 % |
149.02/149.19 c | 141108 | 2774 17097 64156 | 77317 66326 37 | 0.574 % |
150.42/150.51 c | 142068 | 2774 17097 64156 | 77317 67286 38 | 0.574 % |
151.72/151.81 c | 143122 | 2774 17097 64156 | 77317 68340 38 | 0.574 % |
153.32/153.43 c | 144280 | 2774 17097 64156 | 77317 69498 38 | 0.574 % |
154.92/155.07 c | 145555 | 2774 17097 64156 | 77317 70773 38 | 0.574 % |
157.02/157.13 c | 146956 | 2774 17097 64156 | 77317 72174 38 | 0.574 % |
159.01/159.15 c | 148499 | 2774 17097 64156 | 77317 73717 38 | 0.574 % |
159.22/159.32 c | 148599 | 2774 17097 64156 | 77317 73817 38 | 0.574 % |
159.32/159.47 c | 148709 | 2774 17097 64156 | 77317 73927 38 | 0.574 % |
159.51/159.67 c | 148830 | 2774 17097 64156 | 77317 74048 38 | 0.574 % |
159.71/159.86 c | 148963 | 2774 17097 64156 | 77317 74181 38 | 0.574 % |
160.01/160.11 c | 149110 | 2774 17097 64156 | 77317 74328 38 | 0.574 % |
160.21/160.39 c | 149270 | 2774 17097 64156 | 77317 74488 38 | 0.573 % |
160.61/160.75 c | 149446 | 2774 17097 64156 | 77317 74664 38 | 0.574 % |
161.01/161.15 c | 149639 | 2774 17097 64156 | 77317 74857 38 | 0.574 % |
161.31/161.49 c | 149851 | 2774 17097 64156 | 77317 75069 38 | 0.574 % |
161.71/161.85 c | 150085 | 2774 17097 64156 | 75219 75303 38 | 0.574 % |
162.21/162.30 c | 150342 | 2774 17097 64156 | 75219 63104 37 | 0.574 % |
162.62/162.74 c | 150624 | 2774 17097 64156 | 75219 63386 37 | 0.573 % |
163.02/163.18 c | 150933 | 2774 17097 64156 | 75219 63695 37 | 0.574 % |
163.62/163.76 c | 151272 | 2774 17097 64156 | 75219 64034 37 | 0.574 % |
164.21/164.33 c | 151645 | 2774 17097 64156 | 75219 64407 37 | 0.574 % |
164.91/165.04 c | 152054 | 2774 17097 64156 | 75219 64816 37 | 0.574 % |
165.41/165.59 c | 152506 | 2774 17097 64156 | 75219 65268 37 | 0.574 % |
166.11/166.20 c | 152999 | 2774 17097 64156 | 75219 65761 37 | 0.574 % |
166.81/166.91 c | 153542 | 2774 17097 64156 | 75219 66304 37 | 0.574 % |
167.61/167.72 c | 154139 | 2774 17097 64156 | 75219 66901 37 | 0.574 % |
168.61/168.75 c | 154795 | 2774 17097 64156 | 75219 67557 37 | 0.574 % |
169.61/169.75 c | 155515 | 2774 17097 64156 | 75219 68277 37 | 0.574 % |
170.71/170.81 c | 156310 | 2774 17097 64156 | 75219 69072 37 | 0.574 % |
172.01/172.11 c | 157181 | 2774 17097 64156 | 75219 69943 37 | 0.574 % |
173.21/173.38 c | 158139 | 2774 17097 64156 | 75219 70901 37 | 0.574 % |
174.72/174.85 c | 159192 | 2774 17097 64156 | 75219 71954 38 | 0.574 % |
177.01/177.13 c | 160351 | 2774 17097 64156 | 72763 73113 37 | 0.574 % |
178.91/179.02 c | 161624 | 2774 17097 64156 | 72763 62950 36 | 0.574 % |
180.91/181.09 c | 163026 | 2774 17097 64156 | 72763 64352 36 | 0.574 % |
182.81/182.93 c | 164566 | 2774 17097 64156 | 72763 65892 36 | 0.574 % |
184.91/185.09 c | 166261 | 2774 17097 64156 | 72763 67587 37 | 0.574 % |
185.11/185.24 c | 166361 | 2774 17097 64156 | 72763 67687 37 | 0.574 % |
185.31/185.42 c | 166472 | 2774 17097 64156 | 72763 67798 37 | 0.574 % |
185.51/185.60 c | 166593 | 2774 17097 64156 | 72763 67919 36 | 0.574 % |
185.61/185.79 c | 166726 | 2774 17097 64156 | 72763 68052 37 | 0.574 % |
185.91/186.03 c | 166873 | 2774 17097 64156 | 72763 68199 37 | 0.574 % |
186.11/186.28 c | 167035 | 2774 17097 64156 | 72763 68361 37 | 0.574 % |
186.41/186.54 c | 167212 | 2774 17097 64156 | 72763 68538 37 | 0.574 % |
186.71/186.82 c | 167405 | 2774 17097 64156 | 72763 68731 37 | 0.574 % |
187.01/187.11 c | 167617 | 2774 17097 64156 | 72763 68943 37 | 0.574 % |
187.31/187.44 c | 167851 | 2774 17097 64156 | 72763 69177 37 | 0.574 % |
187.61/187.74 c | 168109 | 2774 17097 64156 | 72763 69435 37 | 0.574 % |
188.01/188.13 c | 168392 | 2774 17097 64156 | 72763 69718 37 | 0.574 % |
188.41/188.59 c | 168702 | 2774 17097 64156 | 72763 70028 37 | 0.574 % |
188.91/189.03 c | 169042 | 2774 17097 64156 | 72763 70368 37 | 0.574 % |
189.51/189.63 c | 169415 | 2774 17097 64156 | 72763 70741 37 | 0.574 % |
190.01/190.19 c | 169825 | 2774 17097 64156 | 72763 71151 37 | 0.573 % |
190.61/190.76 c | 170275 | 2774 17097 64156 | 71327 71601 37 | 0.574 % |
191.50/191.68 c | 170769 | 2774 17097 64156 | 71327 60505 35 | 0.574 % |
192.31/192.49 c | 171311 | 2774 17097 64156 | 71327 61047 35 | 0.574 % |
193.20/193.39 c | 171907 | 2774 17097 64156 | 71327 61643 35 | 0.574 % |
194.10/194.26 c | 172562 | 2774 17097 64156 | 71327 62298 35 | 0.574 % |
195.10/195.26 c | 173283 | 2774 17097 64156 | 71327 63019 35 | 0.574 % |
196.10/196.27 c | 174076 | 2774 17097 64156 | 71327 63812 35 | 0.574 % |
197.40/197.60 c | 174949 | 2774 17097 64156 | 71327 64685 36 | 0.574 % |
198.81/198.92 c | 175907 | 2774 17097 64156 | 71327 65643 36 | 0.574 % |
200.40/200.51 c | 176960 | 2774 17097 64156 | 71327 66696 36 | 0.574 % |
202.40/202.57 c | 178118 | 2774 17097 64156 | 71327 67854 36 | 0.574 % |
204.61/204.70 c | 179391 | 2774 17097 64156 | 71327 69127 36 | 0.574 % |
206.81/206.99 c | 180792 | 2774 17097 64156 | 69736 59797 35 | 0.574 % |
209.61/209.74 c | 182334 | 2774 17097 64156 | 69736 61339 35 | 0.574 % |
212.11/212.20 c | 184032 | 2774 17097 64156 | 69736 63037 35 | 0.574 % |
214.41/214.53 c | 185895 | 2774 17097 64156 | 69736 64900 35 | 0.574 % |
214.51/214.67 c | 185995 | 2774 17097 64156 | 69736 65000 35 | 0.574 % |
214.71/214.80 c | 186105 | 2774 17097 64156 | 69736 65110 35 | 0.574 % |
214.81/214.93 c | 186226 | 2774 17097 64156 | 69736 65231 35 | 0.573 % |
215.01/215.11 c | 186359 | 2774 17097 64156 | 69736 65364 35 | 0.574 % |
215.21/215.30 c | 186506 | 2774 17097 64156 | 69736 65511 35 | 0.574 % |
215.41/215.59 c | 186669 | 2774 17097 64156 | 69736 65674 35 | 0.574 % |
215.71/215.88 c | 186845 | 2774 17097 64156 | 69736 65850 35 | 0.574 % |
216.01/216.15 c | 187039 | 2774 17097 64156 | 69736 66044 35 | 0.574 % |
216.31/216.42 c | 187251 | 2774 17097 64156 | 69736 66256 35 | 0.574 % |
216.51/216.68 c | 187484 | 2774 17097 64156 | 69736 66489 35 | 0.574 % |
217.11/217.23 c | 187740 | 2774 17097 64156 | 69736 66745 35 | 0.573 % |
217.41/217.51 c | 188021 | 2774 17097 64156 | 69736 67026 35 | 0.574 % |
217.81/217.93 c | 188332 | 2774 17097 64156 | 69736 67337 36 | 0.574 % |
218.31/218.40 c | 188671 | 2774 17097 64156 | 69736 67676 36 | 0.573 % |
218.81/218.99 c | 189045 | 2774 17097 64156 | 69736 68050 36 | 0.574 % |
219.51/219.66 c | 189454 | 2774 17097 64156 | 69736 68459 36 | 0.574 % |
220.31/220.47 c | 189904 | 2774 17097 64156 | 69736 68909 36 | 0.574 % |
221.01/221.15 c | 190397 | 2774 17097 64156 | 69008 69402 36 | 0.574 % |
221.91/222.04 c | 190939 | 2774 17097 64156 | 69008 60196 34 | 0.574 % |
223.11/223.24 c | 191537 | 2774 17097 64156 | 69008 60794 34 | 0.574 % |
223.90/224.02 c | 192192 | 2774 17097 64156 | 69008 61449 34 | 0.574 % |
224.80/224.92 c | 192913 | 2774 17097 64156 | 69008 62170 34 | 0.574 % |
225.80/225.96 c | 193708 | 2774 17097 64156 | 69008 62965 34 | 0.574 % |
226.80/226.94 c | 194579 | 2774 17097 64156 | 69008 63836 34 | 0.574 % |
228.00/228.19 c | 195540 | 2774 17097 64156 | 69008 64797 35 | 0.574 % |
230.00/230.12 c | 196593 | 2774 17097 64156 | 69008 65850 35 | 0.574 % |
231.00/231.11 c | 197751 | 2774 17097 64156 | 69008 67008 34 | 0.574 % |
234.10/234.21 c | 199025 | 2774 17097 64156 | 69008 68282 34 | 0.573 % |
235.80/235.96 c | 200425 | 2774 17097 64156 | 69258 69682 35 | 0.574 % |
238.00/238.10 c | 201965 | 2774 17097 64156 | 69258 61629 34 | 0.574 % |
240.40/240.55 c | 203659 | 2774 17097 64156 | 69258 63323 34 | 0.574 % |
243.00/243.15 c | 205524 | 2774 17097 64156 | 69258 65188 34 | 0.574 % |
245.90/246.10 c | 207575 | 2774 17097 64156 | 69258 67239 35 | 0.574 % |
246.10/246.25 c | 207675 | 2774 17097 64156 | 69258 67339 35 | 0.574 % |
246.30/246.41 c | 207785 | 2774 17097 64156 | 69258 67449 35 | 0.574 % |
246.40/246.56 c | 207907 | 2774 17097 64156 | 69258 67571 35 | 0.574 % |
246.60/246.76 c | 208040 | 2774 17097 64156 | 69258 67704 35 | 0.574 % |
246.80/246.96 c | 208189 | 2774 17097 64156 | 69258 67853 35 | 0.574 % |
247.10/247.21 c | 208349 | 2774 17097 64156 | 69258 68013 35 | 0.574 % |
247.40/247.55 c | 208526 | 2774 17097 64156 | 69258 68190 35 | 0.574 % |
247.70/247.82 c | 208720 | 2774 17097 64156 | 69258 68384 35 | 0.574 % |
248.00/248.12 c | 208933 | 2774 17097 64156 | 69258 68597 35 | 0.574 % |
248.30/248.48 c | 209166 | 2774 17097 64156 | 69258 68830 35 | 0.574 % |
248.80/248.97 c | 209423 | 2774 17097 64156 | 69258 69087 35 | 0.573 % |
249.30/249.43 c | 209704 | 2774 17097 64156 | 69258 69368 35 | 0.574 % |
249.90/250.00 c | 210013 | 2774 17097 64156 | 59881 59894 33 | 0.573 % |
250.29/250.41 c | 210353 | 2774 17097 64156 | 59881 60234 33 | 0.574 % |
250.89/251.01 c | 210725 | 2774 17097 64156 | 59881 52400 32 | 0.574 % |
251.29/251.49 c | 211134 | 2774 17097 64156 | 59881 52809 32 | 0.574 % |
251.89/252.05 c | 211583 | 2774 17097 64156 | 59881 53258 32 | 0.574 % |
252.39/252.59 c | 212076 | 2774 17097 64156 | 59881 53751 32 | 0.574 % |
253.09/253.27 c | 212619 | 2774 17097 64156 | 59881 54294 32 | 0.574 % |
253.80/253.97 c | 213218 | 2774 17097 64156 | 59881 54893 32 | 0.574 % |
254.59/254.79 c | 213873 | 2774 17097 64156 | 59881 55548 32 | 0.574 % |
255.49/255.66 c | 214593 | 2774 17097 64156 | 59881 56268 33 | 0.574 % |
256.69/256.82 c | 215385 | 2774 17097 64156 | 59881 57060 33 | 0.574 % |
257.89/258.03 c | 216259 | 2774 17097 64156 | 59881 57934 33 | 0.574 % |
259.09/259.29 c | 217217 | 2774 17097 64156 | 59881 58892 33 | 0.574 % |
260.50/260.61 c | 218271 | 2774 17097 64156 | 59881 59946 33 | 0.574 % |
261.69/261.87 c | 219429 | 2774 17097 64156 | 59881 53987 33 | 0.574 % |
263.49/263.68 c | 220702 | 2774 17097 64156 | 54558 49699 32 | 0.574 % |
265.09/265.21 c | 222106 | 2774 17097 64156 | 54558 51103 33 | 0.574 % |
266.99/267.12 c | 223646 | 2774 17097 64156 | 54558 52643 33 | 0.574 % |
269.09/269.22 c | 225341 | 2774 17097 64156 | 54558 54338 33 | 0.574 % |
271.19/271.33 c | 227206 | 2774 17097 64156 | 54558 50676 33 | 0.573 % |
273.59/273.73 c | 229255 | 2774 17097 64156 | 54558 52725 34 | 0.574 % |
276.59/276.79 c | 231508 | 2774 17097 64156 | 2147483647 54978 34 | 0.574 % |
276.79/276.92 c | 231610 | 2774 17097 64156 | 2147483647 55080 34 | 0.574 % |
276.89/277.07 c | 231720 | 2774 17097 64156 | 2147483647 55190 34 | 0.574 % |
277.09/277.27 c | 231843 | 2774 17097 64156 | 2147483647 55313 34 | 0.574 % |
277.39/277.50 c | 231976 | 2774 17097 64156 | 2147483647 55446 34 | 0.574 % |
277.49/277.69 c | 232123 | 2774 17097 64156 | 2147483647 55593 34 | 0.574 % |
277.69/277.89 c | 232284 | 2774 17097 64156 | 2147483647 55754 34 | 0.574 % |
277.99/278.12 c | 232460 | 2774 17097 64156 | 2147483647 55930 34 | 0.574 % |
278.19/278.38 c | 232653 | 2774 17097 64156 | 2147483647 56123 34 | 0.574 % |
278.59/278.74 c | 232865 | 2774 17097 64156 | 2147483647 56335 34 | 0.574 % |
278.99/279.14 c | 233098 | 2774 17097 64156 | 2147483647 56568 34 | 0.574 % |
279.29/279.44 c | 233354 | 2774 17097 64156 | 2147483647 56824 34 | 0.574 % |
279.59/279.77 c | 233635 | 2774 17097 64156 | 2147483647 57105 34 | 0.574 % |
279.99/280.19 c | 233944 | 2774 17097 64156 | 2147483647 57414 34 | 0.574 % |
280.49/280.61 c | 234283 | 2774 17097 64156 | 2147483647 57753 34 | 0.574 % |
280.89/281.08 c | 234656 | 2774 17097 64156 | 2147483647 58126 34 | 0.574 % |
281.39/281.54 c | 235066 | 2774 17097 64156 | 2147483647 58536 35 | 0.574 % |
281.88/282.04 c | 235516 | 2774 17097 64156 | 2147483647 58986 35 | 0.574 % |
282.58/282.76 c | 236009 | 2774 17097 64156 | 2147483647 59479 35 | 0.574 % |
283.38/283.50 c | 236552 | 2774 17097 64156 | 2147483647 60022 35 | 0.574 % |
284.18/284.37 c | 237150 | 2774 17097 64156 | 2147483647 60620 35 | 0.574 % |
285.28/285.41 c | 237806 | 2774 17097 64156 | 2147483647 61276 35 | 0.574 % |
286.58/286.70 c | 238526 | 2774 17097 64156 | 2147483647 61996 35 | 0.573 % |
287.68/287.83 c | 239319 | 2774 17097 64156 | 2147483647 62789 35 | 0.574 % |
288.99/289.12 c | 240190 | 2774 17097 64156 | 63470 63660 35 | 0.574 % |
290.08/290.29 c | 241151 | 2774 17097 64156 | 63470 57605 34 | 0.574 % |
291.48/291.69 c | 242207 | 2774 17097 64156 | 63470 58661 34 | 0.574 % |
292.78/292.95 c | 243366 | 2774 17097 64156 | 63470 59820 34 | 0.574 % |
294.28/294.45 c | 244639 | 2774 17097 64156 | 63470 61093 34 | 0.574 % |
296.38/296.58 c | 246040 | 2774 17097 64156 | 63470 62494 35 | 0.574 % |
298.58/298.70 c | 247581 | 2774 17097 64156 | 63470 64035 35 | 0.574 % |
300.48/300.67 c | 249276 | 2774 17097 64156 | 63470 58643 34 | 0.574 % |
302.98/303.10 c | 251139 | 2774 17097 64156 | 59367 53992 33 | 0.574 % |
305.77/305.90 c | 253189 | 2774 17097 64156 | 59367 56042 34 | 0.574 % |
308.68/308.87 c | 255442 | 2774 17097 64156 | 59367 58295 34 | 0.574 % |
312.08/312.21 c | 257921 | 2774 17097 64156 | 59367 54733 33 | 0.574 % |
312.18/312.36 c | 258021 | 2774 17097 64156 | 59367 54833 33 | 0.574 % |
312.37/312.50 c | 258134 | 2774 17097 64156 | 59367 54946 33 | 0.574 % |
312.47/312.66 c | 258255 | 2774 17097 64156 | 59367 55067 33 | 0.574 % |
312.67/312.80 c | 258388 | 2774 17097 64156 | 59367 55200 33 | 0.574 % |
312.77/312.96 c | 258534 | 2774 17097 64156 | 59367 55346 33 | 0.574 % |
312.97/313.13 c | 258694 | 2774 17097 64156 | 59367 55506 33 | 0.574 % |
313.28/313.45 c | 258871 | 2774 17097 64156 | 59367 55683 33 | 0.574 % |
313.57/313.70 c | 259064 | 2774 17097 64156 | 59367 55876 33 | 0.574 % |
313.87/314.01 c | 259276 | 2774 17097 64156 | 59367 56088 33 | 0.574 % |
314.07/314.29 c | 259510 | 2774 17097 64156 | 59367 56322 33 | 0.574 % |
314.57/314.74 c | 259766 | 2774 17097 64156 | 59367 56578 33 | 0.574 % |
314.87/315.06 c | 260048 | 2774 17097 64156 | 2147483647 56860 33 | 0.574 % |
315.27/315.42 c | 260357 | 2774 17097 64156 | 2147483647 57169 33 | 0.574 % |
315.67/315.89 c | 260698 | 2774 17097 64156 | 2147483647 57510 33 | 0.574 % |
316.27/316.43 c | 261070 | 2774 17097 64156 | 2147483647 57882 33 | 0.574 % |
316.67/316.87 c | 261480 | 2774 17097 64156 | 2147483647 58292 33 | 0.574 % |
317.17/317.35 c | 261931 | 2774 17097 64156 | 2147483647 58743 33 | 0.574 % |
317.87/318.04 c | 262424 | 2774 17097 64156 | 2147483647 59236 34 | 0.574 % |
318.67/318.84 c | 262966 | 2774 17097 64156 | 2147483647 59778 34 | 0.574 % |
319.37/319.59 c | 263563 | 2774 17097 64156 | 2147483647 60375 34 | 0.574 % |
320.17/320.38 c | 264218 | 2774 17097 64156 | 2147483647 61030 34 | 0.574 % |
321.07/321.29 c | 264939 | 2774 17097 64156 | 2147483647 61751 34 | 0.574 % |
322.47/322.66 c | 265732 | 2774 17097 64156 | 2147483647 62544 34 | 0.574 % |
323.47/323.61 c | 266604 | 2774 17097 64156 | 2147483647 63416 34 | 0.574 % |
324.47/324.64 c | 267564 | 2774 17097 64156 | 2147483647 64376 35 | 0.574 % |
325.87/326.07 c | 268618 | 2774 17097 64156 | 2147483647 65430 35 | 0.574 % |
327.27/327.50 c | 269779 | 2774 17097 64156 | 2147483647 66591 35 | 0.574 % |
329.17/329.36 c | 271052 | 2774 17097 64156 | 66812 60244 34 | 0.574 % |
330.77/330.95 c | 272454 | 2774 17097 64156 | 66812 61646 34 | 0.574 % |
332.56/332.74 c | 273994 | 2774 17097 64156 | 66812 63186 34 | 0.574 % |
334.67/334.84 c | 275688 | 2774 17097 64156 | 66812 64880 35 | 0.574 % |
337.37/337.54 c | 277553 | 2774 17097 64156 | 66812 66745 35 | 0.574 % |
339.76/339.94 c | 279602 | 2774 17097 64156 | 66812 62045 35 | 0.574 % |
342.36/342.51 c | 281855 | 2774 17097 64156 | 2147483647 64298 35 | 0.574 % |
346.26/346.48 c | 284335 | 2774 17097 64156 | 2147483647 66778 35 | 0.574 % |
349.76/349.94 c | 287060 | 2774 17097 64156 | 2147483647 69503 35 | 0.574 % |
349.96/350.10 c | 287162 | 2774 17097 64156 | 2147483647 69605 35 | 0.574 % |
350.17/350.30 c | 287273 | 2774 17097 64156 | 2147483647 69716 35 | 0.574 % |
350.27/350.49 c | 287395 | 2774 17097 64156 | 2147483647 69838 35 | 0.574 % |
350.57/350.73 c | 287528 | 2774 17097 64156 | 2147483647 69971 35 | 0.574 % |
350.87/351.00 c | 287674 | 2774 17097 64156 | 2147483647 70117 35 | 0.573 % |
351.07/351.27 c | 287836 | 2774 17097 64156 | 2147483647 70279 35 | 0.574 % |
351.37/351.56 c | 288012 | 2774 17097 64156 | 2147483647 70455 35 | 0.574 % |
351.67/351.88 c | 288205 | 2774 17097 64156 | 2147483647 70648 35 | 0.573 % |
352.07/352.29 c | 288418 | 2774 17097 64156 | 2147483647 70861 35 | 0.574 % |
352.47/352.69 c | 288651 | 2774 17097 64156 | 2147483647 71094 35 | 0.574 % |
352.97/353.13 c | 288907 | 2774 17097 64156 | 2147483647 71350 35 | 0.574 % |
353.47/353.69 c | 289188 | 2774 17097 64156 | 2147483647 71631 35 | 0.574 % |
353.97/354.15 c | 289497 | 2774 17097 64156 | 2147483647 71940 35 | 0.574 % |
354.57/354.78 c | 289836 | 2774 17097 64156 | 2147483647 72279 35 | 0.574 % |
355.17/355.39 c | 290209 | 2774 17097 64156 | 72443 72652 35 | 0.573 % |
355.87/356.07 c | 290619 | 2774 17097 64156 | 72443 62282 34 | 0.574 % |
356.47/356.67 c | 291069 | 2774 17097 64156 | 72443 62732 34 | 0.573 % |
357.27/357.42 c | 291562 | 2774 17097 64156 | 72443 63225 35 | 0.574 % |
357.97/358.14 c | 292106 | 2774 17097 64156 | 72443 63769 35 | 0.574 % |
358.77/358.94 c | 292703 | 2774 17097 64156 | 72443 64366 35 | 0.574 % |
359.57/359.77 c | 293358 | 2774 17097 64156 | 72443 65021 35 | 0.573 % |
360.77/360.93 c | 294078 | 2774 17097 64156 | 72443 65741 35 | 0.574 % |
361.96/362.11 c | 294872 | 2774 17097 64156 | 72443 66535 35 | 0.573 % |
363.46/363.67 c | 295744 | 2774 17097 64156 | 72443 67407 35 | 0.574 % |
365.06/365.22 c | 296702 | 2774 17097 64156 | 72443 68365 35 | 0.574 % |
366.66/366.82 c | 297757 | 2774 17097 64156 | 72443 69420 35 | 0.574 % |
368.56/368.74 c | 298916 | 2774 17097 64156 | 72443 70579 35 | 0.574 % |
371.26/371.40 c | 300189 | 2774 17097 64156 | 71665 71852 35 | 0.574 % |
373.36/373.53 c | 301590 | 2774 17097 64156 | 71665 62011 34 | 0.574 % |
375.46/375.68 c | 303130 | 2774 17097 64156 | 71665 63551 34 | 0.574 % |
378.16/378.35 c | 304824 | 2774 17097 64156 | 71665 65245 35 | 0.574 % |
380.96/381.12 c | 306687 | 2774 17097 64156 | 71665 67108 35 | 0.574 % |
383.96/384.13 c | 308738 | 2774 17097 64156 | 71665 69159 35 | 0.574 % |
387.35/387.54 c | 310991 | 2774 17097 64156 | 70421 60626 33 | 0.574 % |
390.55/390.71 c | 313469 | 2774 17097 64156 | 70421 63104 33 | 0.574 % |
394.15/394.34 c | 316196 | 2774 17097 64156 | 70421 65831 33 | 0.574 % |
398.75/398.93 c | 319194 | 2774 17097 64156 | 70421 68829 33 | 0.574 % |
398.95/399.12 c | 319294 | 2774 17097 64156 | 70421 68929 33 | 0.574 % |
399.05/399.27 c | 319405 | 2774 17097 64156 | 70421 69040 34 | 0.574 % |
399.25/399.49 c | 319527 | 2774 17097 64156 | 70421 69162 34 | 0.574 % |
399.55/399.72 c | 319661 | 2774 17097 64156 | 70421 69296 34 | 0.574 % |
399.75/399.94 c | 319807 | 2774 17097 64156 | 70421 69442 34 | 0.574 % |
400.05/400.21 c | 319968 | 2774 17097 64156 | 70421 69603 34 | 0.574 % |
400.35/400.51 c | 320145 | 2774 17097 64156 | 69635 69780 34 | 0.574 % |
400.65/400.88 c | 320338 | 2774 17097 64156 | 69635 59627 32 | 0.574 % |
401.05/401.24 c | 320551 | 2774 17097 64156 | 69635 59840 32 | 0.574 % |
401.35/401.52 c | 320788 | 2774 17097 64156 | 69635 60077 32 | 0.574 % |
401.65/401.81 c | 321044 | 2774 17097 64156 | 69635 60333 32 | 0.574 % |
401.95/402.14 c | 321325 | 2774 17097 64156 | 69635 60614 32 | 0.574 % |
402.45/402.66 c | 321635 | 2774 17097 64156 | 69635 60924 32 | 0.574 % |
402.95/403.17 c | 321974 | 2774 17097 64156 | 69635 61263 32 | 0.574 % |
403.55/403.74 c | 322348 | 2774 17097 64156 | 69635 61637 32 | 0.574 % |
404.05/404.28 c | 322758 | 2774 17097 64156 | 69635 62047 32 | 0.574 % |
404.75/404.92 c | 323208 | 2774 17097 64156 | 69635 62497 32 | 0.573 % |
405.55/405.79 c | 323701 | 2774 17097 64156 | 69635 62990 32 | 0.574 % |
406.45/406.63 c | 324243 | 2774 17097 64156 | 69635 63532 32 | 0.574 % |
407.55/407.76 c | 324840 | 2774 17097 64156 | 69635 64129 32 | 0.574 % |
408.65/408.87 c | 325495 | 2774 17097 64156 | 69635 64784 33 | 0.574 % |
409.64/409.82 c | 326215 | 2774 17097 64156 | 69635 65504 33 | 0.574 % |
410.84/411.09 c | 327009 | 2774 17097 64156 | 69635 66298 33 | 0.574 % |
412.25/412.45 c | 327880 | 2774 17097 64156 | 69635 67169 33 | 0.574 % |
413.84/414.03 c | 328839 | 2774 17097 64156 | 69635 68128 33 | 0.574 % |
415.14/415.35 c | 329892 | 2774 17097 64156 | 69635 69181 33 | 0.574 % |
416.84/417.02 c | 331051 | 2774 17097 64156 | 69290 61503 33 | 0.574 % |
418.24/418.44 c | 332325 | 2774 17097 64156 | 69290 62777 33 | 0.574 % |
419.74/419.99 c | 333727 | 2774 17097 64156 | 69290 64179 33 | 0.574 % |
421.74/421.96 c | 335267 | 2774 17097 64156 | 69290 65719 34 | 0.574 % |
424.24/424.45 c | 336961 | 2774 17097 64156 | 69290 67413 34 | 0.574 % |
427.04/427.21 c | 338824 | 2774 17097 64156 | 69290 69276 34 | 0.574 % |
430.34/430.54 c | 340873 | 2774 17097 64156 | 62578 56356 32 | 0.573 % |
433.44/433.60 c | 343127 | 2774 17097 64156 | 62578 58610 33 | 0.574 % |
436.94/437.11 c | 345605 | 2774 17097 64156 | 62578 61088 33 | 0.574 % |
440.63/440.87 c | 348330 | 2774 17097 64156 | 62578 57310 32 | 0.574 % |
444.53/444.70 c | 351328 | 2774 17097 64156 | 58980 54286 32 | 0.574 % |
448.54/448.71 c | 354625 | 2774 17097 64156 | 58980 57583 32 | 0.574 % |
448.63/448.84 c | 354725 | 2774 17097 64156 | 58980 57683 32 | 0.574 % |
448.73/449.00 c | 354835 | 2774 17097 64156 | 58980 57793 32 | 0.574 % |
448.93/449.17 c | 354956 | 2774 17097 64156 | 58980 57914 32 | 0.574 % |
449.13/449.37 c | 355089 | 2774 17097 64156 | 58980 58047 32 | 0.574 % |
449.43/449.62 c | 355235 | 2774 17097 64156 | 58980 58193 33 | 0.574 % |
449.64/449.85 c | 355395 | 2774 17097 64156 | 58980 58353 33 | 0.574 % |
449.93/450.17 c | 355572 | 2774 17097 64156 | 58980 58530 33 | 0.574 % |
450.23/450.48 c | 355766 | 2774 17097 64156 | 58980 58724 33 | 0.574 % |
450.53/450.77 c | 355979 | 2774 17097 64156 | 58980 58937 33 | 0.574 % |
450.83/451.07 c | 356213 | 2774 17097 64156 | 58980 59171 33 | 0.574 % |
451.23/451.46 c | 356470 | 2774 17097 64156 | 58980 53032 32 | 0.574 % |
451.63/451.81 c | 356752 | 2774 17097 64156 | 58980 53314 33 | 0.574 % |
451.93/452.20 c | 357061 | 2774 17097 64156 | 58980 53623 33 | 0.574 % |
452.33/452.60 c | 357400 | 2774 17097 64156 | 58980 53962 33 | 0.574 % |
452.94/453.13 c | 357773 | 2774 17097 64156 | 58980 54335 33 | 0.574 % |
453.63/453.85 c | 358182 | 2774 17097 64156 | 58980 54744 33 | 0.574 % |
454.33/454.52 c | 358631 | 2774 17097 64156 | 58980 55193 33 | 0.574 % |
455.03/455.29 c | 359126 | 2774 17097 64156 | 58980 55688 33 | 0.574 % |
455.83/456.03 c | 359670 | 2774 17097 64156 | 58980 56232 33 | 0.574 % |
456.53/456.70 c | 360269 | 2774 17097 64156 | 2147483647 56831 33 | 0.574 % |
457.33/457.52 c | 360924 | 2774 17097 64156 | 2147483647 57486 33 | 0.574 % |
458.23/458.41 c | 361645 | 2774 17097 64156 | 2147483647 58207 34 | 0.574 % |
459.33/459.56 c | 362438 | 2774 17097 64156 | 2147483647 59000 34 | 0.574 % |
460.43/460.67 c | 363310 | 2774 17097 64156 | 2147483647 59872 34 | 0.574 % |
461.73/461.92 c | 364268 | 2774 17097 64156 | 2147483647 60830 34 | 0.574 % |
463.23/463.46 c | 365321 | 2774 17097 64156 | 2147483647 61883 34 | 0.574 % |
464.93/465.13 c | 366479 | 2774 17097 64156 | 2147483647 63041 34 | 0.574 % |
466.63/466.85 c | 367752 | 2774 17097 64156 | 2147483647 64314 35 | 0.574 % |
468.33/468.57 c | 369153 | 2774 17097 64156 | 2147483647 65715 35 | 0.574 % |
470.64/470.82 c | 370693 | 2774 17097 64156 | 66563 59662 34 | 0.574 % |
472.83/473.09 c | 372387 | 2774 17097 64156 | 66563 61356 35 | 0.574 % |
475.63/475.84 c | 374250 | 2774 17097 64156 | 66563 63219 35 | 0.574 % |
478.53/478.80 c | 376300 | 2774 17097 64156 | 66563 65269 35 | 0.574 % |
482.03/482.23 c | 378554 | 2774 17097 64156 | 66563 59485 34 | 0.574 % |
485.63/485.83 c | 381032 | 2774 17097 64156 | 60932 55618 33 | 0.574 % |
488.53/488.80 c | 383758 | 2774 17097 64156 | 60932 58344 34 | 0.574 % |
492.13/492.33 c | 386756 | 2774 17097 64156 | 60932 61342 34 | 0.574 % |
495.73/495.95 c | 390054 | 2774 17097 64156 | 2147483647 58506 34 | 0.573 % |
499.83/500.06 c | 393679 | 2774 17097 64156 | 2147483647 62131 35 | 0.574 % |
499.93/500.19 c | 393779 | 2774 17097 64156 | 2147483647 62231 35 | 0.574 % |
500.13/500.34 c | 393891 | 2774 17097 64156 | 2147483647 62343 35 | 0.574 % |
500.32/500.51 c | 394012 | 2774 17097 64156 | 2147483647 62464 35 | 0.574 % |
500.42/500.68 c | 394146 | 2774 17097 64156 | 2147483647 62598 35 | 0.574 % |
500.72/500.91 c | 394292 | 2774 17097 64156 | 2147483647 62744 35 | 0.574 % |
500.92/501.11 c | 394453 | 2774 17097 64156 | 2147483647 62905 35 | 0.574 % |
501.23/501.43 c | 394629 | 2774 17097 64156 | 2147483647 63081 35 | 0.574 % |
501.52/501.70 c | 394823 | 2774 17097 64156 | 2147483647 63275 35 | 0.574 % |
501.82/502.02 c | 395035 | 2774 17097 64156 | 2147483647 63487 35 | 0.574 % |
502.12/502.36 c | 395268 | 2774 17097 64156 | 2147483647 63720 35 | 0.574 % |
502.43/502.67 c | 395526 | 2774 17097 64156 | 2147483647 63978 35 | 0.574 % |
502.82/503.06 c | 395807 | 2774 17097 64156 | 2147483647 64259 35 | 0.574 % |
503.32/503.54 c | 396116 | 2774 17097 64156 | 2147483647 64568 35 | 0.574 % |
503.72/503.94 c | 396457 | 2774 17097 64156 | 2147483647 64909 35 | 0.574 % |
504.22/504.47 c | 396830 | 2774 17097 64156 | 2147483647 65282 35 | 0.574 % |
504.82/505.08 c | 397240 | 2774 17097 64156 | 2147483647 65692 35 | 0.574 % |
505.52/505.73 c | 397689 | 2774 17097 64156 | 2147483647 66141 35 | 0.574 % |
506.12/506.32 c | 398182 | 2774 17097 64156 | 2147483647 66634 36 | 0.574 % |
506.72/506.97 c | 398725 | 2774 17097 64156 | 2147483647 67177 36 | 0.574 % |
507.52/507.70 c | 399321 | 2774 17097 64156 | 2147483647 67773 36 | 0.574 % |
508.52/508.72 c | 399976 | 2774 17097 64156 | 2147483647 68428 36 | 0.574 % |
509.62/509.89 c | 400696 | 2774 17097 64156 | 68454 61438 35 | 0.574 % |
510.72/510.90 c | 401488 | 2774 17097 64156 | 68454 62230 35 | 0.574 % |
511.82/512.05 c | 402360 | 2774 17097 64156 | 68454 63102 35 | 0.574 % |
513.62/513.87 c | 403318 | 2774 17097 64156 | 68454 64060 35 | 0.574 % |
515.12/515.31 c | 404372 | 2774 17097 64156 | 68454 65114 36 | 0.574 % |
516.62/516.87 c | 405530 | 2774 17097 64156 | 68454 66272 36 | 0.574 % |
518.12/518.31 c | 406803 | 2774 17097 64156 | 68454 67545 36 | 0.574 % |
519.72/519.90 c | 408203 | 2774 17097 64156 | 68454 68945 37 | 0.574 % |
521.51/521.78 c | 409743 | 2774 17097 64156 | 68454 61591 36 | 0.574 % |
523.91/524.18 c | 411437 | 2774 17097 64156 | 61850 55842 35 | 0.574 % |
526.11/526.36 c | 413300 | 2774 17097 64156 | 61850 57705 35 | 0.574 % |
528.72/528.96 c | 415352 | 2774 17097 64156 | 61850 59757 36 | 0.574 % |
531.51/531.74 c | 417606 | 2774 17097 64156 | 61850 62011 36 | 0.574 % |
534.41/534.64 c | 420085 | 2774 17097 64156 | 57673 57757 36 | 0.574 % |
537.41/537.67 c | 422810 | 2774 17097 64156 | 57673 54400 35 | 0.574 % |
540.71/540.95 c | 425808 | 2774 17097 64156 | 57673 57398 35 | 0.574 % |
544.91/545.15 c | 429106 | 2774 17097 64156 | 57673 54845 34 | 0.574 % |
548.90/549.14 c | 432733 | 2774 17097 64156 | 2147483647 58472 35 | 0.574 % |
553.30/553.52 c | 436721 | 2774 17097 64156 | 2147483647 62460 35 | 0.574 % |
553.40/553.63 c | 436821 | 2774 17097 64156 | 2147483647 62560 35 | 0.574 % |
553.50/553.76 c | 436931 | 2774 17097 64156 | 2147483647 62670 35 | 0.574 % |
553.70/553.90 c | 437052 | 2774 17097 64156 | 2147483647 62791 35 | 0.574 % |
553.80/554.07 c | 437185 | 2774 17097 64156 | 2147483647 62924 35 | 0.574 % |
554.01/554.25 c | 437331 | 2774 17097 64156 | 2147483647 63070 35 | 0.574 % |
554.20/554.45 c | 437491 | 2774 17097 64156 | 2147483647 63230 35 | 0.574 % |
554.40/554.66 c | 437668 | 2774 17097 64156 | 2147483647 63407 35 | 0.574 % |
554.60/554.87 c | 437861 | 2774 17097 64156 | 2147483647 63600 35 | 0.574 % |
554.90/555.16 c | 438074 | 2774 17097 64156 | 2147483647 63813 35 | 0.574 % |
555.30/555.57 c | 438310 | 2774 17097 64156 | 2147483647 64049 35 | 0.573 % |
555.70/555.97 c | 438566 | 2774 17097 64156 | 2147483647 64305 35 | 0.574 % |
556.10/556.35 c | 438847 | 2774 17097 64156 | 2147483647 64586 35 | 0.574 % |
556.60/556.82 c | 439159 | 2774 17097 64156 | 2147483647 64898 35 | 0.574 % |
557.00/557.29 c | 439499 | 2774 17097 64156 | 2147483647 65238 35 | 0.574 % |
557.60/557.87 c | 439871 | 2774 17097 64156 | 2147483647 65610 35 | 0.574 % |
558.20/558.49 c | 440283 | 2774 17097 64156 | 65739 66022 35 | 0.574 % |
559.10/559.31 c | 440734 | 2774 17097 64156 | 65739 58486 34 | 0.574 % |
559.80/560.05 c | 441227 | 2774 17097 64156 | 65739 58979 34 | 0.574 % |
560.60/560.83 c | 441769 | 2774 17097 64156 | 65739 59521 34 | 0.574 % |
561.40/561.67 c | 442365 | 2774 17097 64156 | 65739 60117 34 | 0.574 % |
562.20/562.47 c | 443020 | 2774 17097 64156 | 65739 60772 34 | 0.574 % |
563.50/563.78 c | 443740 | 2774 17097 64156 | 65739 61492 35 | 0.574 % |
564.60/564.83 c | 444532 | 2774 17097 64156 | 65739 62284 35 | 0.574 % |
565.90/566.18 c | 445403 | 2774 17097 64156 | 65739 63155 35 | 0.574 % |
567.20/567.44 c | 446361 | 2774 17097 64156 | 65739 64113 35 | 0.574 % |
568.60/568.86 c | 447416 | 2774 17097 64156 | 65739 65168 35 | 0.574 % |
570.21/570.47 c | 448576 | 2774 17097 64156 | 65739 58537 34 | 0.574 % |
572.01/572.23 c | 449849 | 2774 17097 64156 | 65739 59810 34 | 0.574 % |
573.81/574.09 c | 451249 | 2774 17097 64156 | 59961 53480 32 | 0.574 % |
576.01/576.23 c | 452789 | 2774 17097 64156 | 59961 55020 32 | 0.574 % |
578.21/578.41 c | 454484 | 2774 17097 64156 | 59961 56715 33 | 0.574 % |
580.60/580.87 c | 456347 | 2774 17097 64156 | 59961 58578 33 | 0.574 % |
583.60/583.87 c | 458398 | 2774 17097 64156 | 59961 53804 32 | 0.574 % |
586.60/586.87 c | 460652 | 2774 17097 64156 | 55407 50402 31 | 0.574 % |
589.40/589.66 c | 463131 | 2774 17097 64156 | 55407 52881 32 | 0.574 % |
593.20/593.46 c | 465856 | 2774 17097 64156 | 55407 55606 32 | 0.574 % |
597.10/597.31 c | 468856 | 2774 17097 64156 | 55407 53046 31 | 0.574 % |
601.50/601.72 c | 472153 | 2774 17097 64156 | 2147483647 56343 32 | 0.574 % |
605.60/605.83 c | 475779 | 2774 17097 64156 | 2147483647 59969 32 | 0.574 % |
610.89/611.18 c | 479767 | 2774 17097 64156 | 2147483647 63957 33 | 0.574 % |
616.39/616.61 c | 484152 | 2774 17097 64156 | 2147483647 68342 34 | 0.574 % |
616.49/616.72 c | 484254 | 2774 17097 64156 | 2147483647 68444 34 | 0.574 % |
616.59/616.86 c | 484364 | 2774 17097 64156 | 2147483647 68554 34 | 0.574 % |
616.80/617.01 c | 484485 | 2774 17097 64156 | 2147483647 68675 34 | 0.574 % |
616.99/617.20 c | 484620 | 2774 17097 64156 | 2147483647 68810 34 | 0.574 % |
617.09/617.36 c | 484766 | 2774 17097 64156 | 2147483647 68956 34 | 0.574 % |
617.29/617.55 c | 484929 | 2774 17097 64156 | 2147483647 69119 34 | 0.574 % |
617.59/617.84 c | 485105 | 2774 17097 64156 | 2147483647 69295 34 | 0.574 % |
617.90/618.16 c | 485298 | 2774 17097 64156 | 2147483647 69488 34 | 0.574 % |
618.29/618.53 c | 485510 | 2774 17097 64156 | 2147483647 69700 35 | 0.574 % |
618.59/618.87 c | 485744 | 2774 17097 64156 | 2147483647 69934 35 | 0.574 % |
618.90/619.19 c | 486000 | 2774 17097 64156 | 2147483647 70190 35 | 0.574 % |
619.39/619.60 c | 486282 | 2774 17097 64156 | 2147483647 70472 35 | 0.574 % |
619.79/620.04 c | 486593 | 2774 17097 64156 | 2147483647 70783 35 | 0.574 % |
620.10/620.39 c | 486932 | 2774 17097 64156 | 2147483647 71122 35 | 0.574 % |
620.69/620.93 c | 487305 | 2774 17097 64156 | 2147483647 71495 35 | 0.574 % |
621.39/621.66 c | 487714 | 2774 17097 64156 | 2147483647 71904 35 | 0.574 % |
621.89/622.14 c | 488163 | 2774 17097 64156 | 2147483647 72353 35 | 0.574 % |
622.49/622.72 c | 488658 | 2774 17097 64156 | 2147483647 72848 35 | 0.574 % |
623.19/623.43 c | 489200 | 2774 17097 64156 | 2147483647 73390 35 | 0.574 % |
623.89/624.17 c | 489796 | 2774 17097 64156 | 2147483647 73986 35 | 0.574 % |
624.79/625.09 c | 490452 | 2774 17097 64156 | 74191 74642 35 | 0.574 % |
625.89/626.16 c | 491172 | 2774 17097 64156 | 74191 65565 34 | 0.574 % |
627.09/627.36 c | 491965 | 2774 17097 64156 | 74191 66358 34 | 0.574 % |
628.69/628.94 c | 492838 | 2774 17097 64156 | 74191 67231 34 | 0.574 % |
630.09/630.38 c | 493796 | 2774 17097 64156 | 74191 68189 34 | 0.574 % |
631.69/631.92 c | 494849 | 2774 17097 64156 | 74191 69242 34 | 0.574 % |
633.29/633.57 c | 496007 | 2774 17097 64156 | 74191 70400 35 | 0.574 % |
635.28/635.52 c | 497280 | 2774 17097 64156 | 74191 71673 35 | 0.574 % |
636.88/637.15 c | 498680 | 2774 17097 64156 | 74191 73073 35 | 0.574 % |
638.69/638.99 c | 500221 | 2774 17097 64156 | 74395 74614 35 | 0.574 % |
640.89/641.17 c | 501916 | 2774 17097 64156 | 74395 65937 35 | 0.574 % |
643.48/643.78 c | 503780 | 2774 17097 64156 | 74395 67801 35 | 0.574 % |
646.98/647.25 c | 505831 | 2774 17097 64156 | 74395 69852 35 | 0.574 % |
650.78/651.06 c | 508084 | 2774 17097 64156 | 74395 72105 36 | 0.574 % |
653.58/653.86 c | 510563 | 2774 17097 64156 | 74021 74584 37 | 0.574 % |
656.78/657.04 c | 513288 | 2774 17097 64156 | 74021 67722 37 | 0.574 % |
660.47/660.71 c | 516287 | 2774 17097 64156 | 74021 70721 38 | 0.574 % |
665.47/665.73 c | 519583 | 2774 17097 64156 | 74021 74017 38 | 0.574 % |
670.67/670.90 c | 523210 | 2774 17097 64156 | 74434 66991 38 | 0.574 % |
676.77/677.04 c | 527199 | 2774 17097 64156 | 74434 70980 38 | 0.574 % |
683.57/683.81 c | 531585 | 2774 17097 64156 | 73783 63577 36 | 0.574 % |
689.97/690.25 c | 536410 | 2774 17097 64156 | 73783 68402 37 | 0.574 % |
690.17/690.42 c | 536511 | 2774 17097 64156 | 73783 68503 37 | 0.574 % |
690.37/690.68 c | 536622 | 2774 17097 64156 | 73783 68614 37 | 0.574 % |
690.57/690.85 c | 536743 | 2774 17097 64156 | 73783 68735 37 | 0.574 % |
690.77/691.07 c | 536876 | 2774 17097 64156 | 73783 68868 37 | 0.574 % |
690.96/691.28 c | 537024 | 2774 17097 64156 | 73783 69016 37 | 0.574 % |
691.16/691.49 c | 537185 | 2774 17097 64156 | 73783 69177 37 | 0.574 % |
691.47/691.78 c | 537361 | 2774 17097 64156 | 73783 69353 37 | 0.574 % |
691.76/692.08 c | 537554 | 2774 17097 64156 | 73783 69546 37 | 0.574 % |
692.16/692.47 c | 537766 | 2774 17097 64156 | 73783 69758 37 | 0.573 % |
692.57/692.85 c | 537999 | 2774 17097 64156 | 73783 69991 37 | 0.574 % |
692.96/693.24 c | 538255 | 2774 17097 64156 | 73783 70247 37 | 0.574 % |
693.36/693.64 c | 538536 | 2774 17097 64156 | 73783 70528 37 | 0.573 % |
693.77/694.05 c | 538846 | 2774 17097 64156 | 73783 70838 37 | 0.574 % |
694.26/694.53 c | 539187 | 2774 17097 64156 | 73783 71179 37 | 0.574 % |
694.66/694.94 c | 539560 | 2774 17097 64156 | 73783 71552 37 | 0.574 % |
695.36/695.68 c | 539970 | 2774 17097 64156 | 73783 71962 37 | 0.574 % |
696.16/696.43 c | 540419 | 2774 17097 64156 | 71992 61249 36 | 0.574 % |
696.76/697.04 c | 540912 | 2774 17097 64156 | 71992 61742 36 | 0.574 % |
697.46/697.77 c | 541454 | 2774 17097 64156 | 71992 62284 37 | 0.574 % |
698.17/698.44 c | 542050 | 2774 17097 64156 | 71992 62880 37 | 0.574 % |
699.17/699.49 c | 542706 | 2774 17097 64156 | 71992 63536 37 | 0.574 % |
700.16/700.43 c | 543428 | 2774 17097 64156 | 71992 64258 37 | 0.574 % |
701.37/701.66 c | 544222 | 2774 17097 64156 | 71992 65052 37 | 0.574 % |
702.86/703.11 c | 545093 | 2774 17097 64156 | 71992 65923 37 | 0.574 % |
704.07/704.36 c | 546051 | 2774 17097 64156 | 71992 66881 37 | 0.574 % |
705.77/706.04 c | 547105 | 2774 17097 64156 | 71992 67935 37 | 0.574 % |
707.67/707.98 c | 548264 | 2774 17097 64156 | 71992 69094 37 | 0.574 % |
710.17/710.41 c | 549538 | 2774 17097 64156 | 71992 70368 37 | 0.574 % |
712.16/712.46 c | 550941 | 2774 17097 64156 | 70830 61456 36 | 0.574 % |
714.76/715.02 c | 552482 | 2774 17097 64156 | 70830 62997 36 | 0.574 % |
717.16/717.42 c | 554176 | 2774 17097 64156 | 70830 64691 36 | 0.574 % |
719.46/719.77 c | 556039 | 2774 17097 64156 | 70830 66554 36 | 0.574 % |
722.46/722.79 c | 558088 | 2774 17097 64156 | 70830 68603 36 | 0.573 % |
726.16/726.48 c | 560341 | 2774 17097 64156 | 70516 70856 36 | 0.574 % |
729.66/729.93 c | 562819 | 2774 17097 64156 | 70516 62811 33 | 0.574 % |
734.06/734.38 c | 565545 | 2774 17097 64156 | 70516 65537 33 | 0.574 % |
739.16/739.47 c | 568544 | 2774 17097 64156 | 70516 68536 33 | 0.574 % |
743.96/744.21 c | 571841 | 2774 17097 64156 | 69992 60511 32 | 0.574 % |
749.26/749.55 c | 575467 | 2774 17097 64156 | 69992 64137 32 | 0.574 % |
754.75/755.03 c | 579455 | 2774 17097 64156 | 69992 68125 33 | 0.574 % |
760.55/760.90 c | 583840 | 2774 17097 64156 | 68670 61135 32 | 0.574 % |
766.95/767.25 c | 588663 | 2774 17097 64156 | 68670 65958 32 | 0.574 % |
774.45/774.75 c | 593969 | 2774 17097 64156 | 67297 62586 31 | 0.574 % |
774.65/774.92 c | 594070 | 2774 17097 64156 | 67297 62687 31 | 0.574 % |
774.75/775.04 c | 594182 | 2774 17097 64156 | 67297 62799 31 | 0.574 % |
774.95/775.21 c | 594303 | 2774 17097 64156 | 67297 62920 31 | 0.574 % |
775.15/775.44 c | 594437 | 2774 17097 64156 | 67297 63054 31 | 0.574 % |
775.45/775.72 c | 594583 | 2774 17097 64156 | 67297 63200 31 | 0.574 % |
775.65/775.97 c | 594745 | 2774 17097 64156 | 67297 63362 31 | 0.574 % |
775.95/776.23 c | 594921 | 2774 17097 64156 | 67297 63538 31 | 0.574 % |
776.25/776.54 c | 595114 | 2774 17097 64156 | 67297 63731 31 | 0.573 % |
776.55/776.81 c | 595326 | 2774 17097 64156 | 67297 63943 32 | 0.574 % |
776.85/777.18 c | 595559 | 2774 17097 64156 | 67297 64176 32 | 0.573 % |
777.15/777.49 c | 595817 | 2774 17097 64156 | 67297 64434 32 | 0.574 % |
777.55/777.82 c | 596098 | 2774 17097 64156 | 67297 64715 32 | 0.574 % |
777.95/778.22 c | 596408 | 2774 17097 64156 | 67297 65025 32 | 0.574 % |
778.35/778.68 c | 596750 | 2774 17097 64156 | 67297 65367 32 | 0.574 % |
778.95/779.24 c | 597127 | 2774 17097 64156 | 67297 65744 32 | 0.574 % |
779.55/779.81 c | 597537 | 2774 17097 64156 | 67297 66154 32 | 0.574 % |
780.15/780.49 c | 597987 | 2774 17097 64156 | 67297 66604 32 | 0.574 % |
780.85/781.15 c | 598481 | 2774 17097 64156 | 67297 67098 32 | 0.574 % |
781.65/781.97 c | 599024 | 2774 17097 64156 | 67297 67641 32 | 0.574 % |
782.35/782.67 c | 599621 | 2774 17097 64156 | 67297 60428 31 | 0.574 % |
783.15/783.42 c | 600277 | 2774 17097 64156 | 60807 61084 31 | 0.574 % |
784.05/784.34 c | 600997 | 2774 17097 64156 | 60807 55364 30 | 0.574 % |
784.95/785.23 c | 601789 | 2774 17097 64156 | 60807 56156 30 | 0.574 % |
786.34/786.64 c | 602663 | 2774 17097 64156 | 60807 57030 30 | 0.574 % |
787.45/787.75 c | 603621 | 2774 17097 64156 | 60807 57988 31 | 0.574 % |
788.94/789.23 c | 604674 | 2774 17097 64156 | 60807 59041 31 | 0.574 % |
790.45/790.72 c | 605833 | 2774 17097 64156 | 60807 60200 31 | 0.574 % |
792.34/792.68 c | 607106 | 2774 17097 64156 | 60807 55328 30 | 0.574 % |
794.44/794.80 c | 608507 | 2774 17097 64156 | 60807 56729 30 | 0.574 % |
796.64/796.91 c | 610047 | 2774 17097 64156 | 2147483647 58269 31 | 0.574 % |
799.14/799.47 c | 611742 | 2774 17097 64156 | 2147483647 59964 31 | 0.574 % |
802.34/802.62 c | 613606 | 2774 17097 64156 | 2147483647 61828 31 | 0.574 % |
805.14/805.40 c | 615655 | 2774 17097 64156 | 2147483647 63877 31 | 0.574 % |
808.34/808.64 c | 617908 | 2774 17097 64156 | 2147483647 66130 32 | 0.574 % |
811.94/812.24 c | 620387 | 2774 17097 64156 | 68222 68609 32 | 0.574 % |
815.74/816.06 c | 623115 | 2774 17097 64156 | 68222 63899 32 | 0.574 % |
820.43/820.73 c | 626112 | 2774 17097 64156 | 68222 66896 32 | 0.574 % |
825.33/825.67 c | 629409 | 2774 17097 64156 | 68222 61278 31 | 0.574 % |
830.73/831.07 c | 633034 | 2774 17097 64156 | 61869 56752 30 | 0.574 % |
836.03/836.38 c | 637023 | 2774 17097 64156 | 61869 60741 32 | 0.574 % |
841.13/841.44 c | 641411 | 2774 17097 64156 | 57208 52714 31 | 0.574 % |
846.53/846.86 c | 646235 | 2774 17097 64156 | 57208 57538 33 | 0.574 % |
853.13/853.48 c | 651540 | 2774 17097 64156 | 2147483647 57090 33 | 0.574 % |
860.42/860.74 c | 657375 | 2774 17097 64156 | 2147483647 62925 35 | 0.574 % |
860.52/860.89 c | 657475 | 2774 17097 64156 | 2147483647 63025 35 | 0.574 % |
860.72/861.05 c | 657585 | 2774 17097 64156 | 2147483647 63135 35 | 0.574 % |
860.92/861.22 c | 657707 | 2774 17097 64156 | 2147483647 63257 35 | 0.574 % |
861.12/861.43 c | 657840 | 2774 17097 64156 | 2147483647 63390 35 | 0.574 % |
861.32/861.60 c | 657986 | 2774 17097 64156 | 2147483647 63536 35 | 0.574 % |
861.62/861.93 c | 658146 | 2774 17097 64156 | 2147483647 63696 35 | 0.574 % |
861.92/862.21 c | 658322 | 2774 17097 64156 | 2147483647 63872 35 | 0.574 % |
862.22/862.51 c | 658515 | 2774 17097 64156 | 2147483647 64065 35 | 0.574 % |
862.42/862.75 c | 658727 | 2774 17097 64156 | 2147483647 64277 35 | 0.574 % |
862.72/863.04 c | 658960 | 2774 17097 64156 | 2147483647 64510 35 | 0.574 % |
862.92/863.28 c | 659216 | 2774 17097 64156 | 2147483647 64766 35 | 0.574 % |
863.22/863.57 c | 659497 | 2774 17097 64156 | 2147483647 65047 35 | 0.574 % |
863.62/863.95 c | 659810 | 2774 17097 64156 | 2147483647 65360 35 | 0.574 % |
864.02/864.34 c | 660151 | 2774 17097 64156 | 65550 65701 35 | 0.574 % |
864.62/864.96 c | 660524 | 2774 17097 64156 | 65550 58430 35 | 0.574 % |
865.12/865.47 c | 660934 | 2774 17097 64156 | 65550 58840 35 | 0.574 % |
865.72/866.01 c | 661384 | 2774 17097 64156 | 65550 59290 35 | 0.574 % |
866.42/866.72 c | 661878 | 2774 17097 64156 | 65550 59784 35 | 0.574 % |
867.12/867.43 c | 662420 | 2774 17097 64156 | 65550 60326 35 | 0.574 % |
867.72/868.09 c | 663016 | 2774 17097 64156 | 65550 60922 35 | 0.574 % |
868.62/868.93 c | 663672 | 2774 17097 64156 | 65550 61578 35 | 0.574 % |
869.52/869.80 c | 664393 | 2774 17097 64156 | 65550 62299 35 | 0.574 % |
870.42/870.74 c | 665187 | 2774 17097 64156 | 65550 63093 35 | 0.574 % |
871.72/872.03 c | 666060 | 2774 17097 64156 | 65550 63966 35 | 0.574 % |
872.92/873.24 c | 667018 | 2774 17097 64156 | 65550 64924 36 | 0.574 % |
874.31/874.61 c | 668074 | 2774 17097 64156 | 65550 65980 36 | 0.574 % |
876.01/876.37 c | 669233 | 2774 17097 64156 | 65550 59596 35 | 0.574 % |
877.61/877.93 c | 670506 | 2774 17097 64156 | 60365 60869 35 | 0.574 % |
879.52/879.83 c | 671909 | 2774 17097 64156 | 60365 55186 35 | 0.574 % |
881.51/881.80 c | 673449 | 2774 17097 64156 | 60365 56726 35 | 0.574 % |
883.92/884.29 c | 675144 | 2774 17097 64156 | 60365 58421 35 | 0.574 % |
886.71/887.06 c | 677007 | 2774 17097 64156 | 60365 60284 36 | 0.574 % |
889.51/889.84 c | 679057 | 2774 17097 64156 | 60365 56255 34 | 0.574 % |
892.51/892.89 c | 681314 | 2774 17097 64156 | 2147483647 58512 35 | 0.574 % |
896.11/896.44 c | 683795 | 2774 17097 64156 | 2147483647 60993 35 | 0.574 % |
899.71/900.05 c | 686523 | 2774 17097 64156 | 2147483647 63721 35 | 0.574 % |
904.50/904.83 c | 689521 | 2774 17097 64156 | 2147483647 66719 35 | 0.574 % |
909.60/909.94 c | 692817 | 2774 17097 64156 | 2147483647 70015 35 | 0.574 % |
915.90/916.22 c | 696447 | 2774 17097 64156 | 2147483647 73645 36 | 0.574 % |
922.30/922.61 c | 700435 | 2774 17097 64156 | 77199 77633 36 | 0.574 % |
929.00/929.34 c | 704821 | 2774 17097 64156 | 77199 70143 34 | 0.574 % |
937.20/937.53 c | 709644 | 2774 17097 64156 | 77199 74966 34 | 0.574 % |
945.39/945.79 c | 714950 | 2774 17097 64156 | 75322 67926 33 | 0.574 % |
954.50/954.86 c | 720785 | 2774 17097 64156 | 72976 62428 32 | 0.574 % |
964.00/964.34 c | 727204 | 2774 17097 64156 | 72976 68847 33 | 0.574 % |
964.10/964.44 c | 727304 | 2774 17097 64156 | 72976 68947 33 | 0.574 % |
964.20/964.58 c | 727414 | 2774 17097 64156 | 72976 69057 33 | 0.574 % |
964.50/964.82 c | 727536 | 2774 17097 64156 | 72976 69179 33 | 0.574 % |
964.70/965.04 c | 727670 | 2774 17097 64156 | 72976 69313 33 | 0.574 % |
964.90/965.26 c | 727816 | 2774 17097 64156 | 72976 69459 33 | 0.574 % |
965.19/965.52 c | 727977 | 2774 17097 64156 | 72976 69620 33 | 0.573 % |
965.40/965.79 c | 728153 | 2774 17097 64156 | 72976 69796 33 | 0.574 % |
965.69/966.07 c | 728346 | 2774 17097 64156 | 72976 69989 33 | 0.574 % |
966.09/966.42 c | 728560 | 2774 17097 64156 | 72976 70203 33 | 0.574 % |
966.40/966.72 c | 728793 | 2774 17097 64156 | 72976 70436 33 | 0.574 % |
966.59/966.98 c | 729051 | 2774 17097 64156 | 72976 70694 33 | 0.574 % |
967.10/967.44 c | 729335 | 2774 17097 64156 | 72976 70978 33 | 0.574 % |
967.60/967.95 c | 729645 | 2774 17097 64156 | 72976 71288 33 | 0.574 % |
968.09/968.48 c | 729986 | 2774 17097 64156 | 72976 71629 33 | 0.574 % |
968.60/968.92 c | 730358 | 2774 17097 64156 | 71644 72001 33 | 0.574 % |
969.19/969.51 c | 730769 | 2774 17097 64156 | 71644 61210 32 | 0.574 % |
969.89/970.23 c | 731218 | 2774 17097 64156 | 71644 61659 32 | 0.574 % |
970.69/971.00 c | 731711 | 2774 17097 64156 | 71644 62152 32 | 0.574 % |
971.49/971.83 c | 732253 | 2774 17097 64156 | 71644 62694 32 | 0.574 % |
972.39/972.72 c | 732849 | 2774 17097 64156 | 71644 63290 32 | 0.574 % |
973.29/973.61 c | 733505 | 2774 17097 64156 | 71644 63946 32 | 0.574 % |
974.39/974.72 c | 734226 | 2774 17097 64156 | 71644 64667 32 | 0.574 % |
975.49/975.83 c | 735019 | 2774 17097 64156 | 71644 65460 32 | 0.574 % |
976.49/976.88 c | 735890 | 2774 17097 64156 | 71644 66331 32 | 0.574 % |
977.59/977.90 c | 736848 | 2774 17097 64156 | 71644 67289 33 | 0.574 % |
978.69/979.09 c | 737901 | 2774 17097 64156 | 71644 68342 33 | 0.574 % |
980.29/980.61 c | 739060 | 2774 17097 64156 | 71644 69501 33 | 0.574 % |
981.59/981.92 c | 740334 | 2774 17097 64156 | 70441 70775 33 | 0.574 % |
983.19/983.57 c | 741735 | 2774 17097 64156 | 70441 63213 33 | 0.574 % |
984.99/985.35 c | 743277 | 2774 17097 64156 | 70441 64755 33 | 0.574 % |
987.49/987.87 c | 744974 | 2774 17097 64156 | 70441 66452 33 | 0.573 % |
990.89/991.28 c | 746837 | 2774 17097 64156 | 70441 68315 33 | 0.574 % |
994.99/995.33 c | 748886 | 2774 17097 64156 | 70441 70364 33 | 0.574 % |
999.28/999.67 c | 751140 | 2774 17097 64156 | 61320 53358 31 | 0.574 % |
1003.18/1003.54 c | 753618 | 2774 17097 64156 | 61320 55836 31 | 0.574 % |
1007.28/1007.62 c | 756344 | 2774 17097 64156 | 61320 58562 31 | 0.574 % |
1011.78/1012.16 c | 759342 | 2774 17097 64156 | 61320 61560 32 | 0.574 % |
1016.48/1016.83 c | 762638 | 2774 17097 64156 | 54770 51329 30 | 0.574 % |
1021.48/1021.82 c | 766264 | 2774 17097 64156 | 54770 54955 31 | 0.574 % |
1027.28/1027.62 c | 770254 | 2774 17097 64156 | 2147483647 53450 31 | 0.574 % |
1032.77/1033.12 c | 774641 | 2774 17097 64156 | 2147483647 57837 32 | 0.574 % |
1039.67/1040.06 c | 779464 | 2774 17097 64156 | 2147483647 62660 33 | 0.574 % |
1047.17/1047.54 c | 784770 | 2774 17097 64156 | 2147483647 67966 33 | 0.574 % |
1055.67/1056.07 c | 790607 | 2774 17097 64156 | 73197 63880 32 | 0.574 % |
1066.86/1067.22 c | 797025 | 2774 17097 64156 | 73197 70298 32 | 0.574 % |
1074.86/1075.25 c | 804084 | 2774 17097 64156 | 73273 68493 36 | 0.574 % |
1075.06/1075.41 c | 804185 | 2774 17097 64156 | 73273 68594 36 | 0.574 % |
1075.16/1075.54 c | 804297 | 2774 17097 64156 | 73273 68706 36 | 0.574 % |
1075.26/1075.69 c | 804418 | 2774 17097 64156 | 73273 68827 36 | 0.574 % |
1075.46/1075.86 c | 804553 | 2774 17097 64156 | 73273 68962 36 | 0.574 % |
1075.76/1076.13 c | 804699 | 2774 17097 64156 | 73273 69108 36 | 0.574 % |
1075.96/1076.34 c | 804860 | 2774 17097 64156 | 73273 69269 36 | 0.574 % |
1076.26/1076.60 c | 805036 | 2774 17097 64156 | 73273 69445 36 | 0.574 % |
1076.56/1076.90 c | 805231 | 2774 17097 64156 | 73273 69640 36 | 0.574 % |
1077.06/1077.43 c | 805445 | 2774 17097 64156 | 73273 69854 36 | 0.574 % |
1077.26/1077.68 c | 805679 | 2774 17097 64156 | 73273 70088 36 | 0.574 % |
1077.86/1078.22 c | 805935 | 2774 17097 64156 | 73273 70344 36 | 0.574 % |
1078.16/1078.59 c | 806216 | 2774 17097 64156 | 73273 70625 36 | 0.574 % |
1078.76/1079.18 c | 806525 | 2774 17097 64156 | 73273 70934 36 | 0.574 % |
1079.26/1079.66 c | 806865 | 2774 17097 64156 | 73273 71274 36 | 0.574 % |
1080.16/1080.51 c | 807238 | 2774 17097 64156 | 73273 71647 36 | 0.574 % |
1080.86/1081.22 c | 807647 | 2774 17097 64156 | 73273 72056 36 | 0.574 % |
1081.46/1081.88 c | 808098 | 2774 17097 64156 | 73273 72507 36 | 0.574 % |
1082.26/1082.68 c | 808593 | 2774 17097 64156 | 73273 73002 36 | 0.574 % |
1082.96/1083.31 c | 809136 | 2774 17097 64156 | 73273 73545 36 | 0.574 % |
1083.76/1084.18 c | 809733 | 2774 17097 64156 | 73273 65371 36 | 0.574 % |
1084.66/1085.06 c | 810388 | 2774 17097 64156 | 65638 66026 36 | 0.574 % |
1085.56/1085.98 c | 811108 | 2774 17097 64156 | 65638 58890 36 | 0.573 % |
1086.86/1087.24 c | 811901 | 2774 17097 64156 | 65638 59683 36 | 0.574 % |
1087.96/1088.36 c | 812772 | 2774 17097 64156 | 65638 60554 36 | 0.574 % |
1089.46/1089.80 c | 813730 | 2774 17097 64156 | 65638 61512 36 | 0.574 % |
1090.96/1091.31 c | 814783 | 2774 17097 64156 | 65638 62565 36 | 0.574 % |
1092.66/1093.07 c | 815941 | 2774 17097 64156 | 65638 63723 36 | 0.574 % |
1094.45/1094.87 c | 817214 | 2774 17097 64156 | 65638 64996 36 | 0.574 % |
1096.65/1097.05 c | 818614 | 2774 17097 64156 | 65638 59081 36 | 0.574 % |
1098.65/1099.06 c | 820154 | 2774 17097 64156 | 60467 60621 36 | 0.574 % |
1100.85/1101.28 c | 821848 | 2774 17097 64156 | 60467 55296 36 | 0.574 % |
1103.55/1103.96 c | 823712 | 2774 17097 64156 | 60467 57160 36 | 0.574 % |
1106.65/1107.05 c | 825764 | 2774 17097 64156 | 60467 59212 36 | 0.574 % |
1110.15/1110.52 c | 828018 | 2774 17097 64156 | 60467 55210 35 | 0.574 % |
1112.55/1112.90 c | 830497 | 2774 17097 64156 | 2147483647 57689 36 | 0.574 % |
1115.45/1115.81 c | 833222 | 2774 17097 64156 | 2147483647 60414 37 | 0.574 % |
1119.25/1119.66 c | 836220 | 2774 17097 64156 | 2147483647 63412 37 | 0.574 % |
1123.85/1124.21 c | 839516 | 2774 17097 64156 | 2147483647 66708 37 | 0.573 % |
1128.74/1129.18 c | 843142 | 2774 17097 64156 | 67192 62705 37 | 0.574 % |
1135.24/1135.68 c | 847130 | 2774 17097 64156 | 67192 66693 38 | 0.573 % |
1141.54/1141.95 c | 851515 | 2774 17097 64156 | 61690 56352 32 | 0.574 % |
1147.34/1147.79 c | 856338 | 2774 17097 64156 | 61690 61175 34 | 0.574 % |
1154.54/1154.93 c | 861644 | 2774 17097 64156 | 2147483647 60258 33 | 0.574 % |
1163.03/1163.40 c | 867481 | 2774 17097 64156 | 2147483647 66095 34 | 0.574 % |
1173.24/1173.69 c | 873901 | 2774 17097 64156 | 68615 64695 35 | 0.574 % |
1184.03/1184.48 c | 880960 | 2774 17097 64156 | 62434 56359 34 | 0.574 % |
1194.53/1194.95 c | 888724 | 2774 17097 64156 | 62434 57821 33 | 0.574 % |
1194.73/1195.11 c | 888827 | 2774 17097 64156 | 62434 57924 33 | 0.574 % |
1194.83/1195.26 c | 888937 | 2774 17097 64156 | 62434 58034 34 | 0.574 % |
1194.93/1195.40 c | 889059 | 2774 17097 64156 | 62434 58156 34 | 0.574 % |
1195.13/1195.57 c | 889192 | 2774 17097 64156 | 62434 58289 34 | 0.574 % |
1195.33/1195.76 c | 889341 | 2774 17097 64156 | 62434 58438 34 | 0.574 % |
1195.53/1195.92 c | 889501 | 2774 17097 64156 | 62434 58598 34 | 0.574 % |
1195.73/1196.14 c | 889677 | 2774 17097 64156 | 62434 58774 34 | 0.574 % |
1196.03/1196.40 c | 889870 | 2774 17097 64156 | 62434 58967 34 | 0.573 % |
1196.23/1196.65 c | 890083 | 2774 17097 64156 | 2147483647 59180 34 | 0.574 % |
1196.63/1197.09 c | 890317 | 2774 17097 64156 | 2147483647 59414 34 | 0.574 % |
1197.12/1197.50 c | 890574 | 2774 17097 64156 | 2147483647 59671 34 | 0.574 % |
1197.43/1197.82 c | 890855 | 2774 17097 64156 | 2147483647 59952 34 | 0.574 % |
1197.92/1198.35 c | 891164 | 2774 17097 64156 | 2147483647 60261 34 | 0.574 % |
1198.62/1199.01 c | 891504 | 2774 17097 64156 | 2147483647 60601 34 | 0.574 % |
1199.02/1199.50 c | 891876 | 2774 17097 64156 | 2147483647 60973 34 | 0.574 % |
1199.63/1200.03 c | 892285 | 2774 17097 64156 | 2147483647 61382 34 | 0.574 % |
1200.03/1200.40 HOME/SatELiteGTI: line 36: 6624 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832281-1242771529/watcher-1832281-1242771529 -o /tmp/evaluation-result-1832281-1242771529/solver-1832281-1242771529 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832281-1242771529.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6618
/proc/meminfo: memFree=1864544/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305182157 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6618/statm: 1339 235 195 169 0 50 0
[pid=6619] ppid=6618 vsize=5356 CPUtime=0
/proc/6619/stat : 6619 (SatELiteGTI) S 6618 6618 6457 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305182158 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6619/statm: 1339 238 198 169 0 50 0
[pid=6621] ppid=6619 vsize=5356 CPUtime=0
/proc/6621/stat : 6621 (SatELiteGTI) R 6619 6618 6457 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305182158 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 1 0 0
/proc/6621/statm: 1339 239 199 169 0 50 0
[startup+0.0125639 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6618
/proc/meminfo: memFree=1864544/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305182157 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6618/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102576 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6618
/proc/meminfo: memFree=1864544/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301594 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6618
/proc/meminfo: memFree=1864544/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.702637 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 6618
/proc/meminfo: memFree=1864544/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 6624
/proc/meminfo: memFree=1861456/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=4224 CPUtime=1.43
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 792 0 0 0 143 0 0 0 25 0 1 0 305182163 4325376 778 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 1056 778 76 171 0 883 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9580
[startup+3.10189 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 6624
/proc/meminfo: memFree=1860944/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=4356 CPUtime=3.02
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 818 0 0 0 302 0 0 0 25 0 1 0 305182163 4460544 804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 1089 804 76 171 0 916 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9712
[startup+6.30122 s]
/proc/loadavg: 1.17 1.03 1.01 2/67 6624
/proc/meminfo: memFree=1859344/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=6336 CPUtime=6.22
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 1295 0 0 0 621 1 0 0 25 0 1 0 305182163 6488064 1281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 1584 1281 76 171 0 1411 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11692
[startup+12.7019 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 6624
/proc/meminfo: memFree=1856400/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=8940 CPUtime=12.62
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 1949 0 0 0 1260 2 0 0 25 0 1 0 305182163 9154560 1935 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 2235 1935 76 171 0 2062 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 14296
[startup+25.5012 s]
/proc/loadavg: 1.12 1.03 1.01 2/67 6624
/proc/meminfo: memFree=1852432/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=12756 CPUtime=25.41
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 2882 0 0 0 2538 3 0 0 25 0 1 0 305182163 13062144 2868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 3189 2868 76 171 0 3016 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 18112
[startup+51.1019 s]
/proc/loadavg: 1.08 1.03 1.01 2/67 6624
/proc/meminfo: memFree=1847888/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=17380 CPUtime=51.01
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4029 0 0 0 5097 4 0 0 25 0 1 0 305182163 17797120 4015 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4345 4015 76 171 0 4172 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22736
[startup+102.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 6624
/proc/meminfo: memFree=1847056/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=17936 CPUtime=102.2
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4183 0 0 0 10215 5 0 0 25 0 1 0 305182163 18366464 4169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4484 4169 76 171 0 4311 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23292
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 6624
/proc/meminfo: memFree=1846224/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=18604 CPUtime=162.17
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4359 0 0 0 16212 5 0 0 25 0 1 0 305182163 19050496 4345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4651 4345 76 171 0 4478 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 23960
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 6624
/proc/meminfo: memFree=1845840/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19044 CPUtime=222.17
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4437 0 0 0 22211 6 0 0 25 0 1 0 305182163 19501056 4423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4761 4423 76 171 0 4588 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 24400
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6624
/proc/meminfo: memFree=1845648/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19044 CPUtime=282.14
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4451 0 0 0 28208 6 0 0 25 0 1 0 305182163 19501056 4437 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4761 4437 76 171 0 4588 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 24400
[startup+342.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 6624
/proc/meminfo: memFree=1845520/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19044 CPUtime=342.12
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4454 0 0 0 34206 6 0 0 25 0 1 0 305182163 19501056 4440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4761 4440 76 171 0 4588 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 24400
[startup+402.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 6624
/proc/meminfo: memFree=1845328/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19180 CPUtime=402.11
################
# More data... #
################
[pid=6624] ppid=6618 vsize=19380 CPUtime=462.09
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4510 0 0 0 46202 7 0 0 25 0 1 0 305182163 19845120 4496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4845 4496 76 171 0 4672 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 24736
[startup+522.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/67 6624
/proc/meminfo: memFree=1844944/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19380 CPUtime=522.08
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4525 0 0 0 52200 8 0 0 25 0 1 0 305182163 19845120 4511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4845 4511 76 171 0 4672 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 24736
[startup+582.302 s]
/proc/loadavg: 1.14 1.06 1.01 2/67 6624
/proc/meminfo: memFree=1844816/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19380 CPUtime=582.06
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4536 0 0 0 58197 9 0 0 25 0 1 0 305182163 19845120 4522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4845 4522 76 171 0 4672 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 24736
[startup+642.307 s]
/proc/loadavg: 1.14 1.08 1.01 2/67 6624
/proc/meminfo: memFree=1844752/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19380 CPUtime=642.05
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4536 0 0 0 64196 9 0 0 25 0 1 0 305182163 19845120 4522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4845 4522 76 171 0 4672 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 24736
[startup+702.303 s]
/proc/loadavg: 1.08 1.07 1.01 2/67 6624
/proc/meminfo: memFree=1844496/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19512 CPUtime=702.02
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4561 0 0 0 70193 9 0 0 25 0 1 0 305182163 19980288 4547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4878 4547 76 171 0 4705 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 24868
[startup+762.302 s]
/proc/loadavg: 1.03 1.06 1.01 2/67 6624
/proc/meminfo: memFree=1844304/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=762.01
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4578 0 0 0 76191 10 0 0 25 0 1 0 305182163 20123648 4564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4564 76 171 0 4740 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 25008
[startup+822.303 s]
/proc/loadavg: 1.01 1.05 1.00 2/67 6624
/proc/meminfo: memFree=1844240/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=821.99
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4580 0 0 0 82189 10 0 0 25 0 1 0 305182163 20123648 4566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4566 76 171 0 4740 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 25008
[startup+882.303 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 6624
/proc/meminfo: memFree=1844112/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=881.97
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4580 0 0 0 88187 10 0 0 25 0 1 0 305182163 20123648 4566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4566 76 171 0 4740 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 25008
[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 6624
/proc/meminfo: memFree=1844048/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=941.95
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4582 0 0 0 94185 10 0 0 25 0 1 0 305182163 20123648 4568 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4568 76 171 0 4740 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 25008
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 6624
/proc/meminfo: memFree=1843920/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=1001.94
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4596 0 0 0 100183 11 0 0 25 0 1 0 305182163 20123648 4582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4582 76 171 0 4740 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 25008
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 6624
/proc/meminfo: memFree=1843792/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=1061.93
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4596 0 0 0 106182 11 0 0 25 0 1 0 305182163 20123648 4582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4582 76 171 0 4740 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 25008
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 6624
/proc/meminfo: memFree=1843728/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=1121.91
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4596 0 0 0 112180 11 0 0 25 0 1 0 305182163 20123648 4582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4582 76 171 0 4740 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 25008
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6624
/proc/meminfo: memFree=1843664/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=1181.89
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4596 0 0 0 118178 11 0 0 25 0 1 0 305182163 20123648 4582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4582 76 171 0 4740 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 25008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 6624
/proc/meminfo: memFree=1843600/2055924 swapFree=4157844/4192956
[pid=6618] ppid=6616 vsize=5356 CPUtime=0.04
/proc/6618/stat : 6618 (SatELiteGTI) S 6616 6618 6457 0 -1 4194304 336 945 0 0 0 0 4 0 17 0 1 0 305182157 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6618/statm: 1339 239 197 169 0 50 0
[pid=6624] ppid=6618 vsize=19652 CPUtime=1199.99
/proc/6624/stat : 6624 (minisat_static) R 6618 6618 6457 0 -1 4194304 4596 0 0 0 119988 11 0 0 25 0 1 0 305182163 20123648 4582 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/6624/statm: 4913 4582 76 171 0 4740 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 25008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1199.93
CPU system time (s): 0.131979
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 25008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5887
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= 31
involuntary context switches= 2432
runsolver used 1.05984 second user time and 3.36449 second system time
The end
Begin job on node83 at 2009-05-20 00:18:49
IDJOB=1832281
IDBENCH=24688
IDSOLVER=671
FILE ID=node83/1832281-1242771529
PBS_JOBID= 9322221
Free space on /tmp= 66232 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact64_3.sat05-450.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832281-1242771529/watcher-1832281-1242771529 -o /tmp/evaluation-result-1832281-1242771529/solver-1832281-1242771529 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832281-1242771529.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a4a7c528ede134442a2d3ba0a444cdbb
RANDOM SEED=578315836
node83.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1865088 kB
Buffers: 11308 kB
Cached: 120468 kB
SwapCached: 29384 kB
Active: 42684 kB
Inactive: 120520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1865088 kB
SwapTotal: 4192956 kB
SwapFree: 4157844 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 15468 kB
Slab: 13672 kB
Committed_AS: 1040780 kB
PageTables: 1392 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= 66228 MiB
End job on node83 at 2009-05-20 00:38:51