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 | 25913 69945 | 7773 0 0 nan | 0.000 % |
0.00/0.06 c | 0 | 25913 69961 | -- 0 -- -- | -- | 0/16
0.00/0.06 c ==============================================================================
0.00/0.06 c Result : #vars: 1613 #clauses: 25913 #literals: 69961
0.00/0.06 c CPU time: 0.057991 s
0.00/0.06 c ==============================================================================
0.07/0.08 c This is MiniSat 2.0 beta
0.07/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.07/0.09 c ============================[ Problem Statistics ]=============================
0.07/0.09 c | |
0.07/0.09 c | Number of variables: 1613 |
0.07/0.09 c | Number of clauses: 25913 |
0.07/0.10 c | Parsing time: 0.01 s |
0.07/0.10 c ============================[ Search Statistics ]==============================
0.07/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.07/0.10 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.07/0.10 c ===============================================================================
0.07/0.10 c | 0 | 1613 25913 69961 | 8637 0 nan | 0.000 % |
0.07/0.10 c | 100 | 1613 25913 69961 | 8637 100 17 | 0.000 % |
0.07/0.11 c | 202 | 1598 25913 69961 | 8637 199 25 | 1.116 % |
0.07/0.12 c | 302 | 1598 25913 69961 | 8637 299 33 | 1.116 % |
0.07/0.12 c | 412 | 1592 25913 69961 | 8637 408 36 | 1.488 % |
0.07/0.13 c | 512 | 1592 25913 69961 | 8637 508 39 | 1.488 % |
0.07/0.14 c | 623 | 1589 25841 69817 | 8637 618 44 | 1.488 % |
0.07/0.15 c | 744 | 1589 25841 69817 | 8637 739 47 | 1.488 % |
0.07/0.15 c | 845 | 1589 25841 69817 | 8637 840 47 | 1.488 % |
0.07/0.16 c | 955 | 1589 25841 69817 | 8637 950 46 | 1.488 % |
0.07/0.17 c | 1076 | 1589 25841 69817 | 8637 1071 46 | 1.488 % |
0.07/0.18 c | 1209 | 1589 25841 69817 | 8637 1204 49 | 1.488 % |
0.07/0.19 c | 1310 | 1589 25841 69817 | 8637 1305 49 | 1.488 % |
0.07/0.20 c | 1420 | 1589 25841 69817 | 8637 1415 52 | 1.488 % |
0.07/0.21 c | 1542 | 1589 25841 69817 | 8637 1537 52 | 1.488 % |
0.07/0.22 c | 1675 | 1589 25841 69817 | 8637 1670 50 | 1.488 % |
0.07/0.22 c | 1821 | 1589 25841 69817 | 8637 1816 48 | 1.488 % |
0.07/0.23 c | 1922 | 1589 25841 69817 | 8637 1917 48 | 1.488 % |
0.07/0.24 c | 2032 | 1589 25841 69817 | 8637 2027 46 | 1.488 % |
0.07/0.24 c | 2153 | 1589 25841 69817 | 8637 2148 45 | 1.488 % |
0.07/0.26 c | 2287 | 1589 25841 69817 | 8637 2282 45 | 1.488 % |
0.07/0.27 c | 2434 | 1589 25841 69817 | 8637 2429 44 | 1.488 % |
0.07/0.28 c | 2595 | 1589 25841 69817 | 8637 2590 43 | 1.488 % |
0.07/0.28 c | 2700 | 1589 25841 69817 | 8637 2695 42 | 1.488 % |
0.07/0.29 c | 2811 | 1589 25841 69817 | 8637 2806 43 | 1.488 % |
0.07/0.30 c | 2933 | 1589 25841 69817 | 8637 2928 44 | 1.488 % |
0.07/0.31 c | 3066 | 1589 25841 69817 | 8637 3061 44 | 1.488 % |
0.07/0.32 c | 3212 | 1589 25841 69817 | 8637 3207 44 | 1.488 % |
0.07/0.34 c | 3372 | 1589 25841 69817 | 8637 3367 45 | 1.488 % |
0.07/0.36 c | 3551 | 1589 25841 69817 | 8637 3546 47 | 1.488 % |
0.07/0.37 c | 3651 | 1589 25841 69817 | 8637 3646 47 | 1.488 % |
0.07/0.38 c | 3762 | 1589 25841 69817 | 8637 3757 47 | 1.488 % |
0.07/0.39 c | 3883 | 1589 25841 69817 | 8637 3878 47 | 1.488 % |
0.07/0.40 c | 4017 | 1589 25841 69817 | 8637 4012 47 | 1.488 % |
0.07/0.41 c | 4163 | 1589 25841 69817 | 8637 4158 47 | 1.488 % |
0.07/0.42 c | 4324 | 1589 25841 69817 | 8637 4319 46 | 1.488 % |
0.07/0.44 c | 4501 | 1589 25841 69817 | 8637 4496 48 | 1.488 % |
0.07/0.46 c | 4695 | 1589 25841 69817 | 8637 4690 49 | 1.488 % |
0.07/0.48 c | 4796 | 1589 25841 69817 | 8637 4791 49 | 1.488 % |
0.07/0.49 c | 4907 | 1589 25841 69817 | 8637 4902 49 | 1.488 % |
0.07/0.50 c | 5028 | 1589 25841 69817 | 8637 5023 50 | 1.488 % |
0.07/0.52 c | 5161 | 1589 25841 69817 | 8637 5156 50 | 1.488 % |
0.07/0.53 c | 5307 | 1589 25841 69817 | 8637 5302 49 | 1.488 % |
0.07/0.55 c | 5468 | 1589 25841 69817 | 8637 5463 50 | 1.488 % |
0.07/0.57 c | 5645 | 1589 25841 69817 | 8637 5640 50 | 1.488 % |
0.07/0.59 c | 5839 | 1589 25841 69817 | 8637 5834 50 | 1.488 % |
0.07/0.62 c | 6052 | 1589 25841 69817 | 8637 6047 50 | 1.488 % |
0.07/0.63 c | 6152 | 1589 25841 69817 | 8637 6147 49 | 1.488 % |
0.07/0.64 c | 6263 | 1589 25841 69817 | 8637 6258 49 | 1.488 % |
0.07/0.65 c | 6384 | 1589 25841 69817 | 8637 6379 49 | 1.488 % |
0.07/0.66 c | 6517 | 1589 25841 69817 | 8637 6512 48 | 1.488 % |
0.07/0.67 c | 6663 | 1589 25841 69817 | 8637 6658 48 | 1.488 % |
0.07/0.68 c | 6823 | 1589 25841 69817 | 8637 6818 47 | 1.488 % |
0.07/0.69 c | 6999 | 1589 25841 69817 | 8637 6994 47 | 1.489 % |
0.07/0.72 c | 7195 | 1589 25841 69817 | 8637 7190 47 | 1.488 % |
0.07/0.74 c | 7408 | 1589 25841 69817 | 8637 7403 47 | 1.488 % |
0.07/0.77 c | 7641 | 1589 25841 69817 | 8637 7636 48 | 1.488 % |
0.07/0.79 c | 7742 | 1589 25841 69817 | 8637 7737 48 | 1.488 % |
0.07/0.80 c | 7855 | 1589 25841 69817 | 8637 7850 48 | 1.488 % |
0.07/0.81 c | 7976 | 1589 25841 69817 | 8637 7971 49 | 1.488 % |
0.07/0.83 c | 8109 | 1589 25841 69817 | 8637 8104 49 | 1.488 % |
0.07/0.84 c | 8257 | 1589 25841 69817 | 8637 8252 48 | 1.488 % |
0.07/0.86 c | 8418 | 1589 25841 69817 | 8637 8413 48 | 1.488 % |
0.07/0.89 c | 8595 | 1589 25841 69817 | 8637 8590 49 | 1.488 % |
0.07/0.91 c | 8788 | 1589 25841 69817 | 8637 8783 49 | 1.488 % |
0.07/0.94 c | 9001 | 1589 25841 69817 | 8637 8118 46 | 1.488 % |
0.07/0.97 c | 9234 | 1589 25841 69817 | 8637 8351 47 | 1.488 % |
0.97/1.00 c | 9491 | 1589 25841 69817 | 8637 8608 48 | 1.488 % |
0.97/1.02 c | 9591 | 1589 25841 69817 | 8637 8708 48 | 1.488 % |
0.97/1.04 c | 9701 | 1589 25841 69817 | 8637 7948 48 | 1.488 % |
0.97/1.05 c | 9822 | 1589 25841 69817 | 8637 8069 48 | 1.488 % |
0.97/1.07 c | 9955 | 1589 25841 69817 | 8637 8202 48 | 1.488 % |
0.97/1.09 c | 10104 | 1589 25841 69817 | 2147483647 8351 48 | 1.488 % |
1.07/1.11 c | 10264 | 1589 25841 69817 | 2147483647 8511 49 | 1.488 % |
1.07/1.14 c | 10440 | 1589 25841 69817 | 2147483647 8687 49 | 1.488 % |
1.07/1.16 c | 10635 | 1589 25841 69817 | 2147483647 8882 49 | 1.488 % |
1.07/1.19 c | 10847 | 1589 25841 69817 | 2147483647 9094 49 | 1.488 % |
1.17/1.23 c | 11083 | 1589 25841 69817 | 2147483647 9330 49 | 1.488 % |
1.17/1.27 c | 11340 | 1589 25841 69817 | 2147483647 9587 50 | 1.488 % |
1.27/1.32 c | 11621 | 1589 25841 69817 | 2147483647 9868 51 | 1.488 % |
1.27/1.34 c | 11721 | 1589 25841 69817 | 2147483647 9968 51 | 1.488 % |
1.27/1.35 c | 11833 | 1589 25841 69817 | 2147483647 10080 51 | 1.488 % |
1.27/1.37 c | 11954 | 1589 25841 69817 | 2147483647 10201 51 | 1.488 % |
1.36/1.40 c | 12087 | 1589 25841 69817 | 2147483647 10334 51 | 1.488 % |
1.36/1.44 c | 12233 | 1589 25841 69817 | 2147483647 10480 51 | 1.488 % |
1.36/1.46 c | 12393 | 1589 25841 69817 | 2147483647 10640 51 | 1.488 % |
1.46/1.50 c | 12569 | 1589 25841 69817 | 2147483647 10816 52 | 1.488 % |
1.46/1.52 c | 12762 | 1589 25841 69817 | 2147483647 11009 52 | 1.488 % |
1.46/1.55 c | 12976 | 1589 25841 69817 | 2147483647 11223 52 | 1.490 % |
1.56/1.60 c | 13209 | 1589 25841 69817 | 2147483647 11456 53 | 1.488 % |
1.56/1.64 c | 13466 | 1589 25841 69817 | 2147483647 11713 53 | 1.488 % |
1.66/1.70 c | 13747 | 1589 25841 69817 | 2147483647 11994 54 | 1.488 % |
1.66/1.74 c | 14056 | 1589 25841 69817 | 2147483647 12303 54 | 1.488 % |
1.66/1.77 c | 14156 | 1589 25841 69817 | 2147483647 12403 54 | 1.488 % |
1.66/1.79 c | 14266 | 1589 25841 69817 | 2147483647 12513 54 | 1.488 % |
1.76/1.81 c | 14387 | 1589 25841 69817 | 2147483647 12634 54 | 1.488 % |
1.76/1.83 c | 14520 | 1589 25841 69817 | 2147483647 12767 54 | 1.488 % |
1.76/1.84 c | 14666 | 1589 25841 69817 | 2147483647 12913 53 | 1.488 % |
1.76/1.85 c | 14826 | 1589 25841 69817 | 2147483647 13073 54 | 1.489 % |
1.76/1.88 c | 15003 | 1589 25841 69817 | 2147483647 13250 53 | 1.488 % |
1.86/1.92 c | 15196 | 1589 25841 69817 | 2147483647 13443 53 | 1.488 % |
1.86/1.97 c | 15408 | 1589 25841 69817 | 2147483647 13655 53 | 1.488 % |
1.96/2.02 c | 15641 | 1589 25841 69817 | 2147483647 13888 54 | 1.488 % |
1.96/2.07 c | 15897 | 1589 25841 69817 | 2147483647 14144 54 | 1.488 % |
2.06/2.13 c | 16184 | 1589 25841 69817 | 2147483647 14431 54 | 1.488 % |
2.16/2.22 c | 16497 | 1589 25841 69817 | 2147483647 14744 55 | 1.488 % |
2.16/2.29 c | 16841 | 1589 25841 69817 | 2147483647 15088 55 | 1.488 % |
2.25/2.33 c | 16943 | 1589 25841 69817 | 2147483647 15190 55 | 1.488 % |
2.25/2.36 c | 17055 | 1589 25841 69817 | 2147483647 15302 55 | 1.488 % |
2.25/2.39 c | 17178 | 1589 25841 69817 | 2147483647 15425 55 | 1.488 % |
2.35/2.41 c | 17313 | 1589 25841 69817 | 2147483647 15560 55 | 1.488 % |
2.35/2.44 c | 17462 | 1589 25841 69817 | 2147483647 15709 55 | 1.488 % |
2.35/2.48 c | 17622 | 1589 25841 69817 | 2147483647 15869 55 | 1.488 % |
2.45/2.54 c | 17799 | 1589 25841 69817 | 2147483647 16046 56 | 1.488 % |
2.45/2.57 c | 17992 | 1589 25841 69817 | 2147483647 16239 56 | 1.488 % |
2.55/2.62 c | 18207 | 1589 25841 69817 | 2147483647 16454 56 | 1.488 % |
2.55/2.68 c | 18442 | 1589 25841 69817 | 2147483647 16689 56 | 1.488 % |
2.65/2.73 c | 18700 | 1589 25841 69817 | 2147483647 16947 56 | 1.488 % |
2.65/2.79 c | 18983 | 1589 25841 69817 | 2147483647 17230 56 | 1.488 % |
2.76/2.88 c | 19295 | 1589 25841 69817 | 2147483647 17542 56 | 1.488 % |
2.86/2.99 c | 19634 | 1589 25841 69817 | 2147483647 17881 57 | 1.488 % |
2.96/3.07 c | 20007 | 1589 25841 69817 | 2147483647 18254 57 | 1.488 % |
2.96/3.09 c | 20107 | 1589 25841 69817 | 2147483647 18354 57 | 1.488 % |
3.06/3.10 c | 20218 | 1589 25841 69817 | 2147483647 18465 57 | 1.488 % |
3.06/3.13 c | 20339 | 1589 25841 69817 | 2147483647 18586 57 | 1.488 % |
3.06/3.17 c | 20473 | 1589 25841 69817 | 2147483647 18720 57 | 1.488 % |
3.16/3.23 c | 20621 | 1589 25841 69817 | 2147483647 18868 57 | 1.488 % |
3.16/3.28 c | 20782 | 1589 25841 69817 | 2147483647 19029 57 | 1.488 % |
3.26/3.33 c | 20959 | 1589 25841 69817 | 2147483647 19206 57 | 1.488 % |
3.26/3.36 c | 21153 | 1589 25841 69817 | 2147483647 19400 57 | 1.488 % |
3.35/3.42 c | 21367 | 1589 25841 69817 | 2147483647 19614 57 | 1.488 % |
3.45/3.52 c | 21601 | 1589 25841 69817 | 2147483647 19848 57 | 1.488 % |
3.55/3.62 c | 21858 | 1589 25841 69817 | 2147483647 20105 58 | 1.488 % |
3.65/3.72 c | 22139 | 1589 25841 69817 | 2147483647 20386 58 | 1.488 % |
3.65/3.78 c | 22448 | 1589 25841 69817 | 2147483647 20695 58 | 1.488 % |
3.75/3.89 c | 22787 | 1589 25841 69817 | 2147483647 21034 58 | 1.488 % |
3.86/3.95 c | 23159 | 1589 25841 69817 | 2147483647 21406 58 | 1.488 % |
4.06/4.12 c | 23568 | 1589 25841 69817 | 2147483647 21815 58 | 1.488 % |
4.06/4.17 c | 23668 | 1589 25841 69817 | 2147483647 21915 58 | 1.488 % |
4.16/4.22 c | 23778 | 1589 25841 69817 | 2147483647 22025 58 | 1.488 % |
4.16/4.28 c | 23899 | 1589 25841 69817 | 2147483647 22146 58 | 1.488 % |
4.26/4.31 c | 24034 | 1589 25841 69817 | 2147483647 22281 58 | 1.488 % |
4.26/4.34 c | 24180 | 1589 25841 69817 | 2147483647 22427 58 | 1.488 % |
4.26/4.40 c | 24340 | 1589 25841 69817 | 2147483647 22587 58 | 1.488 % |
4.36/4.45 c | 24517 | 1589 25841 69817 | 2147483647 22764 58 | 1.488 % |
4.46/4.54 c | 24710 | 1589 25841 69817 | 2147483647 22957 58 | 1.488 % |
4.56/4.62 c | 24922 | 1589 25841 69817 | 2147483647 23169 58 | 1.488 % |
4.66/4.73 c | 25155 | 1589 25841 69817 | 2147483647 23402 59 | 1.488 % |
4.76/4.80 c | 25411 | 1589 25841 69817 | 2147483647 23658 59 | 1.488 % |
4.76/4.87 c | 25694 | 1589 25841 69817 | 2147483647 23941 59 | 1.488 % |
4.86/4.96 c | 26003 | 1589 25841 69817 | 2147483647 24250 59 | 1.488 % |
5.05/5.10 c | 26344 | 1589 25841 69817 | 2147483647 24591 59 | 1.488 % |
5.15/5.22 c | 26718 | 1589 25841 69817 | 2147483647 24965 60 | 1.488 % |
5.25/5.38 c | 27127 | 1589 25841 69817 | 2147483647 25374 60 | 1.488 % |
5.46/5.54 c | 27578 | 1589 25841 69817 | 2147483647 25825 59 | 1.488 % |
5.46/5.59 c | 27678 | 1589 25841 69817 | 2147483647 25925 59 | 1.488 % |
5.55/5.61 c | 27789 | 1589 25841 69817 | 2147483647 26036 59 | 1.488 % |
5.55/5.66 c | 27910 | 1589 25841 69817 | 2147483647 26157 59 | 1.488 % |
5.65/5.73 c | 28043 | 1589 25841 69817 | 2147483647 26290 59 | 1.488 % |
5.65/5.78 c | 28191 | 1589 25841 69817 | 2147483647 26438 60 | 1.488 % |
5.75/5.86 c | 28351 | 1589 25841 69817 | 2147483647 26598 60 | 1.488 % |
5.85/5.95 c | 28527 | 1589 25841 69817 | 2147483647 26774 60 | 1.488 % |
5.95/6.01 c | 28720 | 1589 25841 69817 | 2147483647 26967 60 | 1.488 % |
6.05/6.11 c | 28932 | 1589 25841 69817 | 2147483647 27179 60 | 1.488 % |
6.15/6.23 c | 29165 | 1589 25841 69817 | 2147483647 27412 60 | 1.488 % |
6.25/6.36 c | 29423 | 1589 25841 69817 | 2147483647 27670 60 | 1.488 % |
6.46/6.52 c | 29704 | 1589 25841 69817 | 2147483647 27951 61 | 1.488 % |
6.65/6.73 c | 30014 | 1589 25841 69817 | 2147483647 28261 61 | 1.488 % |
6.85/6.92 c | 30353 | 1589 25841 69817 | 2147483647 28600 61 | 1.488 % |
6.95/7.07 c | 30725 | 1589 25841 69817 | 2147483647 28972 61 | 1.488 % |
7.15/7.22 c | 31135 | 1589 25841 69817 | 2147483647 29382 61 | 1.488 % |
7.25/7.34 c | 31585 | 1589 25841 69817 | 2147483647 29832 61 | 1.488 % |
7.45/7.54 c | 32078 | 1589 25841 69817 | 2147483647 30325 62 | 1.488 % |
7.45/7.60 c | 32180 | 1589 25841 69817 | 2147483647 30427 62 | 1.488 % |
7.55/7.69 c | 32290 | 1589 25841 69817 | 2147483647 30537 62 | 1.488 % |
7.65/7.77 c | 32413 | 1589 25841 69817 | 2147483647 30660 62 | 1.488 % |
7.75/7.84 c | 32547 | 1589 25841 69817 | 2147483647 30794 62 | 1.488 % |
7.85/7.95 c | 32694 | 1589 25841 69817 | 2147483647 30941 62 | 1.488 % |
7.95/8.05 c | 32855 | 1589 25841 69817 | 2147483647 31102 62 | 1.488 % |
8.05/8.18 c | 33031 | 1589 25841 69817 | 2147483647 31278 62 | 1.488 % |
8.25/8.34 c | 33225 | 1589 25841 69817 | 2147483647 31472 62 | 1.488 % |
8.35/8.43 c | 33437 | 1589 25841 69817 | 2147483647 31684 62 | 1.488 % |
8.45/8.51 c | 33671 | 1589 25841 69817 | 2147483647 31918 62 | 1.488 % |
8.66/8.72 c | 33928 | 1589 25841 69817 | 2147483647 32175 62 | 1.488 % |
8.76/8.84 c | 34211 | 1589 25841 69817 | 2147483647 32458 62 | 1.488 % |
8.85/8.99 c | 34521 | 1589 25841 69817 | 2147483647 32768 62 | 1.488 % |
9.15/9.21 c | 34860 | 1589 25841 69817 | 2147483647 33107 62 | 1.488 % |
9.45/9.50 c | 35232 | 1589 25841 69817 | 2147483647 33479 63 | 1.488 % |
9.65/9.76 c | 35644 | 1589 25841 69817 | 2147483647 33891 63 | 1.488 % |
9.95/10.05 c | 36094 | 1589 25841 69817 | 2147483647 34341 63 | 1.488 % |
10.35/10.43 c | 36588 | 1589 25841 69817 | 2147483647 34835 63 | 1.488 % |
10.55/10.66 c | 37131 | 1589 25841 69817 | 2147483647 35378 64 | 1.488 % |
10.65/10.71 c | 37231 | 1589 25841 69817 | 2147483647 35478 64 | 1.488 % |
10.65/10.79 c | 37341 | 1589 25841 69817 | 2147483647 35588 64 | 1.488 % |
10.75/10.86 c | 37462 | 1589 25841 69817 | 2147483647 35709 64 | 1.488 % |
10.85/10.93 c | 37596 | 1589 25841 69817 | 2147483647 35843 64 | 1.488 % |
10.96/11.03 c | 37742 | 1589 25841 69817 | 2147483647 35989 64 | 1.488 % |
11.05/11.14 c | 37902 | 1589 25841 69817 | 2147483647 36149 64 | 1.488 % |
11.15/11.24 c | 38078 | 1589 25841 69817 | 2147483647 36325 64 | 1.488 % |
11.35/11.42 c | 38271 | 1589 25841 69817 | 2147483647 36518 64 | 1.488 % |
11.45/11.53 c | 38484 | 1589 25841 69817 | 2147483647 36731 65 | 1.488 % |
11.55/11.65 c | 38717 | 1589 25841 69817 | 2147483647 36964 65 | 1.488 % |
11.75/11.83 c | 38974 | 1589 25841 69817 | 2147483647 37221 65 | 1.488 % |
11.85/11.95 c | 39255 | 1589 25841 69817 | 2147483647 37502 65 | 1.488 % |
12.05/12.18 c | 39565 | 1589 25841 69817 | 2147483647 37812 65 | 1.488 % |
12.35/12.47 c | 39904 | 1589 25841 69817 | 2147483647 38151 65 | 1.488 % |
12.55/12.63 c | 40276 | 1589 25841 69817 | 38247 38523 65 | 1.488 % |
12.85/12.96 c | 40688 | 1589 25841 69817 | 38247 34065 64 | 1.488 % |
13.15/13.26 c | 41137 | 1589 25841 69817 | 38247 34514 64 | 1.488 % |
13.55/13.64 c | 41630 | 1589 25841 69817 | 38247 35007 64 | 1.488 % |
13.94/14.00 c | 42172 | 1589 25841 69817 | 38247 35549 65 | 1.488 % |
14.25/14.35 c | 42768 | 1589 25841 69817 | 38247 36145 65 | 1.488 % |
14.34/14.45 c | 42869 | 1589 25841 69817 | 38247 36246 65 | 1.488 % |
14.44/14.54 c | 42979 | 1589 25841 69817 | 38247 36356 65 | 1.488 % |
14.54/14.69 c | 43102 | 1589 25841 69817 | 38247 36479 65 | 1.488 % |
14.64/14.76 c | 43235 | 1589 25841 69817 | 38247 36612 65 | 1.488 % |
14.84/14.90 c | 43383 | 1589 25841 69817 | 38247 36760 65 | 1.488 % |
14.84/14.97 c | 43543 | 1589 25841 69817 | 38247 36920 65 | 1.488 % |
15.04/15.12 c | 43720 | 1589 25841 69817 | 38247 37097 66 | 1.488 % |
15.14/15.29 c | 43917 | 1589 25841 69817 | 38247 37294 66 | 1.488 % |
15.25/15.37 c | 44129 | 1589 25841 69817 | 38247 37506 66 | 1.488 % |
15.44/15.52 c | 44363 | 1589 25841 69817 | 38247 37740 66 | 1.490 % |
15.64/15.72 c | 44619 | 1589 25841 69817 | 38247 37996 66 | 1.488 % |
15.74/15.86 c | 44900 | 1589 25841 69817 | 38247 38277 66 | 1.488 % |
15.94/16.09 c | 45210 | 1589 25841 69817 | 38247 31994 62 | 1.489 % |
16.14/16.27 c | 45552 | 1589 25841 69817 | 38247 32336 63 | 1.488 % |
16.34/16.48 c | 45924 | 1589 25841 69817 | 38247 32708 63 | 1.488 % |
16.74/16.80 c | 46333 | 1589 25841 69817 | 38247 33117 63 | 1.488 % |
17.04/17.13 c | 46782 | 1589 25841 69817 | 38247 33566 64 | 1.488 % |
17.44/17.57 c | 47281 | 1589 25841 69817 | 38247 34065 64 | 1.488 % |
17.94/18.08 c | 47827 | 1589 25841 69817 | 38247 34611 65 | 1.488 % |
18.34/18.42 c | 48423 | 1589 25841 69817 | 38247 35207 65 | 1.488 % |
18.74/18.88 c | 49079 | 1589 25841 69817 | 38247 35863 65 | 1.488 % |
18.84/18.98 c | 49180 | 1589 25841 69817 | 38247 35964 65 | 1.488 % |
18.94/19.07 c | 49291 | 1589 25841 69817 | 38247 36075 65 | 1.488 % |
19.04/19.17 c | 49413 | 1589 25841 69817 | 38247 36197 65 | 1.488 % |
19.14/19.28 c | 49546 | 1589 25841 69817 | 38247 36330 65 | 1.488 % |
19.24/19.32 c | 49695 | 1589 25841 69817 | 38247 36479 65 | 1.488 % |
19.34/19.45 c | 49856 | 1589 25841 69817 | 38247 36640 65 | 1.488 % |
19.54/19.63 c | 50035 | 1589 25841 69817 | 36786 36819 66 | 1.488 % |
19.64/19.78 c | 50229 | 1589 25841 69817 | 36786 30300 63 | 1.488 % |
19.74/19.89 c | 50441 | 1589 25841 69817 | 36786 30512 63 | 1.488 % |
19.84/19.97 c | 50675 | 1589 25841 69817 | 36786 30746 63 | 1.488 % |
20.14/20.21 c | 50935 | 1589 25841 69817 | 36786 31006 63 | 1.488 % |
20.24/20.32 c | 51216 | 1589 25841 69817 | 36786 31287 63 | 1.488 % |
20.34/20.47 c | 51527 | 1589 25841 69817 | 36786 31598 63 | 1.490 % |
20.64/20.73 c | 51868 | 1589 25841 69817 | 36786 31939 63 | 1.488 % |
20.84/20.99 c | 52240 | 1589 25841 69817 | 36786 32311 63 | 1.488 % |
21.03/21.17 c | 52651 | 1589 25841 69817 | 36786 32722 63 | 1.488 % |
21.33/21.41 c | 53101 | 1589 25841 69817 | 36786 33172 64 | 1.488 % |
21.63/21.75 c | 53594 | 1589 25841 69817 | 36786 33665 64 | 1.488 % |
21.94/22.01 c | 54138 | 1589 25841 69817 | 36786 34209 64 | 1.488 % |
22.23/22.37 c | 54734 | 1589 25841 69817 | 36786 34805 65 | 1.488 % |
22.63/22.74 c | 55391 | 1589 25841 69817 | 36786 35462 65 | 1.488 % |
23.13/23.24 c | 56111 | 1589 25841 69817 | 36786 36182 65 | 1.488 % |
23.13/23.28 c | 56211 | 1589 25841 69817 | 36786 36282 65 | 1.488 % |
23.23/23.31 c | 56321 | 1589 25841 69817 | 36786 36392 65 | 1.488 % |
23.23/23.36 c | 56446 | 1589 25841 69817 | 36786 36517 65 | 1.489 % |
23.33/23.44 c | 56581 | 1589 25841 69817 | 36786 36652 65 | 1.488 % |
23.43/23.60 c | 56727 | 1589 25841 69817 | 36786 36798 65 | 1.488 % |
23.63/23.70 c | 56888 | 1589 25841 69817 | 36786 36959 65 | 1.488 % |
23.73/23.85 c | 57066 | 1589 25841 69817 | 36786 30433 61 | 1.488 % |
23.83/23.91 c | 57260 | 1589 25841 69817 | 36786 30627 61 | 1.488 % |
23.93/24.06 c | 57472 | 1589 25841 69817 | 36786 30839 61 | 1.488 % |
24.04/24.20 c | 57705 | 1589 25841 69817 | 36786 31072 61 | 1.488 % |
24.23/24.39 c | 57962 | 1589 25841 69817 | 36786 31329 61 | 1.488 % |
24.43/24.60 c | 58243 | 1589 25841 69817 | 36786 31610 62 | 1.488 % |
24.63/24.78 c | 58552 | 1589 25841 69817 | 36786 31919 62 | 1.488 % |
24.93/25.02 c | 58891 | 1589 25841 69817 | 36786 32258 62 | 1.488 % |
25.14/25.23 c | 59263 | 1589 25841 69817 | 36786 32630 62 | 1.488 % |
25.33/25.41 c | 59672 | 1589 25841 69817 | 36786 33039 63 | 1.488 % |
25.53/25.65 c | 60123 | 1589 25841 69817 | 33367 33490 63 | 1.488 % |
25.83/25.92 c | 60616 | 1589 25841 69817 | 33367 28048 58 | 1.488 % |
26.13/26.27 c | 61160 | 1589 25841 69817 | 33367 28592 58 | 1.488 % |
26.63/26.72 c | 61756 | 1589 25841 69817 | 33367 29188 59 | 1.488 % |
27.03/27.17 c | 62412 | 1589 25841 69817 | 33367 29844 59 | 1.488 % |
27.43/27.54 c | 63132 | 1589 25841 69817 | 33367 30564 60 | 1.488 % |
27.83/27.92 c | 63924 | 1589 25841 69817 | 33367 31356 61 | 1.488 % |
27.83/27.96 c | 64025 | 1589 25841 69817 | 33367 31457 61 | 1.488 % |
27.93/28.09 c | 64137 | 1589 25841 69817 | 33367 31569 61 | 1.488 % |
28.03/28.17 c | 64258 | 1589 25841 69817 | 33367 31690 61 | 1.488 % |
28.13/28.23 c | 64391 | 1589 25841 69817 | 33367 31823 61 | 1.488 % |
28.23/28.32 c | 64537 | 1589 25841 69817 | 33367 31969 61 | 1.488 % |
28.33/28.46 c | 64700 | 1589 25841 69817 | 33367 32132 61 | 1.488 % |
28.53/28.63 c | 64876 | 1589 25841 69817 | 33367 32308 62 | 1.488 % |
28.63/28.77 c | 65072 | 1589 25841 69817 | 33367 32504 62 | 1.488 % |
28.83/28.94 c | 65285 | 1589 25841 69817 | 33367 32717 62 | 1.488 % |
28.93/29.09 c | 65518 | 1589 25841 69817 | 33367 32950 62 | 1.488 % |
29.13/29.20 c | 65775 | 1589 25841 69817 | 33367 33207 62 | 1.488 % |
29.33/29.41 c | 66056 | 1589 25841 69817 | 33367 33488 62 | 1.488 % |
29.53/29.63 c | 66365 | 1589 25841 69817 | 33367 28361 58 | 1.488 % |
29.63/29.71 c | 66704 | 1589 25841 69817 | 33367 28700 58 | 1.488 % |
29.83/29.90 c | 67079 | 1589 25841 69817 | 33367 29075 58 | 1.488 % |
29.93/30.07 c | 67491 | 1589 25841 69817 | 33367 29487 58 | 1.488 % |
30.13/30.28 c | 67940 | 1589 25841 69817 | 33367 29936 59 | 1.488 % |
30.43/30.55 c | 68436 | 1589 25841 69817 | 33367 30432 59 | 1.488 % |
30.73/30.82 c | 68979 | 1589 25841 69817 | 33367 30975 59 | 1.488 % |
31.13/31.24 c | 69575 | 1589 25841 69817 | 33367 31571 59 | 1.488 % |
31.63/31.71 c | 70230 | 1589 25841 69817 | 31998 32226 60 | 1.488 % |
32.13/32.24 c | 70952 | 1589 25841 69817 | 31998 27660 57 | 1.488 % |
32.33/32.50 c | 71744 | 1589 25841 69817 | 31998 28452 57 | 1.488 % |
32.73/32.88 c | 72615 | 1589 25841 69817 | 31998 29323 58 | 1.488 % |
32.83/32.93 c | 72715 | 1589 25841 69817 | 31998 29423 58 | 1.488 % |
32.83/32.99 c | 72828 | 1589 25841 69817 | 31998 29536 58 | 1.488 % |
32.93/33.02 c | 72950 | 1589 25841 69817 | 31998 29658 58 | 1.488 % |
33.03/33.10 c | 73084 | 1589 25841 69817 | 31998 29792 58 | 1.488 % |
33.03/33.14 c | 73235 | 1589 25841 69817 | 31998 29943 58 | 1.488 % |
33.13/33.24 c | 73396 | 1589 25841 69817 | 31998 30104 58 | 1.488 % |
33.23/33.35 c | 73573 | 1589 25841 69817 | 31998 30281 58 | 1.488 % |
33.23/33.39 c | 73766 | 1589 25841 69817 | 31998 30474 58 | 1.488 % |
33.32/33.46 c | 73979 | 1589 25841 69817 | 31998 30687 58 | 1.488 % |
33.42/33.59 c | 74214 | 1589 25841 69817 | 31998 30922 58 | 1.488 % |
33.62/33.74 c | 74476 | 1589 25841 69817 | 31998 31184 59 | 1.488 % |
33.82/33.95 c | 74759 | 1589 25841 69817 | 31998 31467 59 | 1.488 % |
34.03/34.11 c | 75070 | 1589 25841 69817 | 31998 31778 59 | 1.488 % |
34.22/34.36 c | 75409 | 1589 25841 69817 | 31998 32117 59 | 1.488 % |
34.42/34.55 c | 75782 | 1589 25841 69817 | 31998 27995 57 | 1.488 % |
34.62/34.74 c | 76191 | 1589 25841 69817 | 31998 28404 57 | 1.488 % |
34.82/34.97 c | 76640 | 1589 25841 69817 | 31998 28853 57 | 1.488 % |
35.13/35.28 c | 77135 | 1589 25841 69817 | 31998 29348 57 | 1.488 % |
35.32/35.48 c | 77680 | 1589 25841 69817 | 31998 29893 58 | 1.488 % |
35.62/35.75 c | 78276 | 1589 25841 69817 | 31998 30489 58 | 1.488 % |
35.92/36.06 c | 78934 | 1589 25841 69817 | 31998 31147 59 | 1.488 % |
36.32/36.49 c | 79655 | 1589 25841 69817 | 31998 31868 60 | 1.488 % |
36.82/36.92 c | 80448 | 1589 25841 69817 | 32213 32661 60 | 1.488 % |
37.12/37.28 c | 81321 | 1589 25841 69817 | 32213 29202 57 | 1.488 % |
37.72/37.85 c | 82281 | 1589 25841 69817 | 32213 30162 57 | 1.488 % |
37.72/37.89 c | 82381 | 1589 25841 69817 | 32213 30262 58 | 1.488 % |
37.82/37.93 c | 82491 | 1589 25841 69817 | 32213 30372 58 | 1.488 % |
37.92/38.01 c | 82614 | 1589 25841 69817 | 32213 30495 58 | 1.488 % |
37.92/38.09 c | 82749 | 1589 25841 69817 | 32213 30630 58 | 1.488 % |
38.02/38.19 c | 82896 | 1589 25841 69817 | 32213 30777 58 | 1.488 % |
38.22/38.31 c | 83059 | 1589 25841 69817 | 32213 30940 58 | 1.488 % |
38.32/38.44 c | 83239 | 1589 25841 69817 | 32213 31120 58 | 1.488 % |
38.52/38.60 c | 83433 | 1589 25841 69817 | 32213 31314 58 | 1.488 % |
38.62/38.74 c | 83645 | 1589 25841 69817 | 32213 31526 58 | 1.488 % |
38.72/38.86 c | 83878 | 1589 25841 69817 | 32213 31759 58 | 1.488 % |
38.92/39.03 c | 84134 | 1589 25841 69817 | 32213 32015 59 | 1.488 % |
39.12/39.21 c | 84416 | 1589 25841 69817 | 32213 32297 59 | 1.488 % |
39.22/39.39 c | 84727 | 1589 25841 69817 | 32213 28365 55 | 1.491 % |
39.42/39.59 c | 85068 | 1589 25841 69817 | 32213 28706 56 | 1.488 % |
39.62/39.73 c | 85443 | 1589 25841 69817 | 32213 29081 56 | 1.488 % |
39.82/39.93 c | 85852 | 1589 25841 69817 | 32213 29490 56 | 1.488 % |
40.02/40.15 c | 86301 | 1589 25841 69817 | 32213 29939 56 | 1.488 % |
40.32/40.43 c | 86795 | 1589 25841 69817 | 32213 30433 57 | 1.488 % |
40.52/40.64 c | 87339 | 1589 25841 69817 | 32213 30977 57 | 1.488 % |
40.82/40.90 c | 87937 | 1588 25809 69743 | 32213 31573 57 | 1.550 % |
41.12/41.26 c | 88592 | 1588 25809 69743 | 32213 32228 58 | 1.550 % |
41.62/41.78 c | 89312 | 1588 25809 69743 | 32213 28894 55 | 1.550 % |
42.12/42.24 c | 90104 | 1588 25809 69743 | 29582 29686 56 | 1.550 % |
42.52/42.68 c | 90977 | 1588 25809 69743 | 29582 26972 55 | 1.550 % |
43.02/43.16 c | 91935 | 1588 25809 69743 | 29582 27930 56 | 1.550 % |
43.72/43.80 c | 92990 | 1588 25809 69743 | 29582 28985 57 | 1.550 % |
43.72/43.86 c | 93091 | 1588 25809 69743 | 29582 29086 57 | 1.550 % |
43.82/43.90 c | 93201 | 1588 25809 69743 | 29582 29196 57 | 1.550 % |
43.82/43.98 c | 93323 | 1588 25809 69743 | 29582 29318 57 | 1.552 % |
43.92/44.07 c | 93456 | 1588 25809 69743 | 29582 29451 57 | 1.550 % |
44.02/44.17 c | 93603 | 1588 25809 69743 | 29582 29598 58 | 1.550 % |
44.12/44.23 c | 93763 | 1588 25809 69743 | 29582 29758 58 | 1.550 % |
44.22/44.35 c | 93941 | 1588 25809 69743 | 29582 26831 56 | 1.550 % |
44.32/44.47 c | 94134 | 1588 25809 69743 | 29582 27024 56 | 1.550 % |
44.42/44.60 c | 94347 | 1588 25809 69743 | 29582 27237 56 | 1.550 % |
44.52/44.69 c | 94581 | 1588 25809 69743 | 29582 27471 56 | 1.552 % |
44.72/44.84 c | 94839 | 1588 25809 69743 | 29582 27729 56 | 1.550 % |
44.82/44.99 c | 95120 | 1588 25809 69743 | 29582 28010 56 | 1.550 % |
45.02/45.18 c | 95429 | 1588 25809 69743 | 29582 28319 57 | 1.550 % |
45.22/45.33 c | 95768 | 1588 25809 69743 | 29582 28658 57 | 1.550 % |
45.32/45.48 c | 96140 | 1588 25809 69743 | 29582 29030 57 | 1.550 % |
45.52/45.67 c | 96549 | 1588 25809 69743 | 29582 29439 57 | 1.550 % |
45.62/45.78 c | 97003 | 1588 25809 69743 | 29582 29893 57 | 1.550 % |
46.02/46.13 c | 97496 | 1588 25809 69743 | 29582 27332 55 | 1.550 % |
46.31/46.41 c | 98039 | 1588 25809 69743 | 29582 27875 56 | 1.550 % |
46.61/46.71 c | 98637 | 1588 25809 69743 | 29582 28473 56 | 1.550 % |
46.91/47.04 c | 99292 | 1588 25809 69743 | 29582 29128 57 | 1.550 % |
47.31/47.45 c | 100014 | 1588 25809 69743 | 29838 29850 58 | 1.550 % |
47.71/47.87 c | 100807 | 1588 25809 69743 | 29838 27546 56 | 1.550 % |
48.11/48.20 c | 101680 | 1588 25809 69743 | 29838 28419 57 | 1.550 % |
48.61/48.76 c | 102639 | 1588 25809 69743 | 29838 29378 58 | 1.550 % |
49.21/49.30 c | 103692 | 1588 25809 69743 | 29838 27394 57 | 1.550 % |
49.61/49.72 c | 104851 | 1588 25809 69743 | 29838 28553 58 | 1.550 % |
49.61/49.79 c | 104953 | 1588 25809 69743 | 29838 28655 58 | 1.550 % |
49.71/49.86 c | 105064 | 1588 25809 69743 | 29838 28766 58 | 1.550 % |
49.81/49.94 c | 105186 | 1588 25809 69743 | 29838 28888 58 | 1.550 % |
49.81/49.99 c | 105319 | 1588 25809 69743 | 29838 29021 58 | 1.550 % |
49.91/50.08 c | 105467 | 1588 25809 69743 | 29838 29169 58 | 1.550 % |
50.01/50.15 c | 105627 | 1588 25809 69743 | 29838 29329 59 | 1.550 % |
50.11/50.21 c | 105803 | 1588 25809 69743 | 29838 29505 59 | 1.550 % |
50.21/50.33 c | 105997 | 1588 25809 69743 | 29838 29699 59 | 1.550 % |
50.31/50.42 c | 106209 | 1588 25809 69743 | 29838 29911 59 | 1.550 % |
50.42/50.52 c | 106442 | 1588 25809 69743 | 29838 27153 56 | 1.550 % |
50.42/50.58 c | 106699 | 1588 25809 69743 | 29838 27410 56 | 1.550 % |
50.52/50.70 c | 106981 | 1588 25809 69743 | 29838 27692 57 | 1.550 % |
50.71/50.81 c | 107290 | 1588 25809 69743 | 29838 28001 57 | 1.550 % |
50.81/50.93 c | 107629 | 1588 25809 69743 | 29838 28340 57 | 1.550 % |
51.01/51.12 c | 108001 | 1588 25809 69743 | 29838 28712 57 | 1.550 % |
51.21/51.35 c | 108410 | 1588 25809 69743 | 29838 29121 57 | 1.550 % |
51.41/51.58 c | 108859 | 1588 25809 69743 | 29838 29570 58 | 1.550 % |
51.71/51.81 c | 109352 | 1588 25809 69743 | 29838 30063 58 | 1.550 % |
51.81/51.97 c | 109894 | 1588 25809 69743 | 29838 27599 55 | 1.550 % |
52.21/52.33 c | 110491 | 1588 25809 69743 | 2147483647 28196 56 | 1.550 % |
52.51/52.68 c | 111147 | 1588 25809 69743 | 2147483647 28852 57 | 1.550 % |
52.81/52.99 c | 111867 | 1588 25809 69743 | 2147483647 29572 58 | 1.550 % |
53.21/53.35 c | 112659 | 1588 25809 69743 | 2147483647 30364 59 | 1.550 % |
53.61/53.71 c | 113531 | 1588 25809 69743 | 2147483647 31236 60 | 1.550 % |
54.11/54.25 c | 114489 | 1588 25809 69743 | 2147483647 32194 60 | 1.550 % |
54.51/54.67 c | 115546 | 1588 25809 69743 | 2147483647 33251 61 | 1.550 % |
55.21/55.34 c | 116704 | 1588 25809 69743 | 2147483647 34409 62 | 1.550 % |
55.81/55.90 c | 117977 | 1588 25809 69743 | 2147483647 35682 64 | 1.550 % |
55.81/55.98 c | 118080 | 1588 25809 69743 | 2147483647 35785 64 | 1.550 % |
55.91/56.06 c | 118190 | 1588 25809 69743 | 2147483647 35895 64 | 1.550 % |
56.01/56.15 c | 118311 | 1588 25809 69743 | 2147483647 36016 64 | 1.550 % |
56.11/56.24 c | 118445 | 1588 25809 69743 | 2147483647 36150 64 | 1.550 % |
56.21/56.32 c | 118591 | 1588 25809 69743 | 2147483647 36296 64 | 1.550 % |
56.31/56.47 c | 118751 | 1588 25809 69743 | 2147483647 36456 64 | 1.550 % |
56.51/56.61 c | 118927 | 1588 25809 69743 | 2147483647 36632 64 | 1.550 % |
56.61/56.76 c | 119121 | 1588 25809 69743 | 2147483647 36826 64 | 1.550 % |
56.81/56.96 c | 119335 | 1588 25809 69743 | 2147483647 37040 64 | 1.550 % |
56.91/57.06 c | 119570 | 1588 25809 69743 | 2147483647 37275 64 | 1.550 % |
57.01/57.15 c | 119827 | 1588 25809 69743 | 2147483647 37532 65 | 1.550 % |
57.20/57.31 c | 120108 | 1588 25809 69743 | 37705 37813 65 | 1.550 % |
57.40/57.52 c | 120420 | 1588 25809 69743 | 37705 34136 63 | 1.550 % |
57.50/57.68 c | 120759 | 1588 25809 69743 | 37705 34475 63 | 1.550 % |
57.70/57.84 c | 121131 | 1588 25809 69743 | 37705 34847 63 | 1.550 % |
57.90/58.09 c | 121540 | 1588 25809 69743 | 37705 35256 63 | 1.550 % |
58.21/58.32 c | 121989 | 1588 25809 69743 | 37705 35705 63 | 1.550 % |
58.50/58.60 c | 122483 | 1588 25809 69743 | 37705 36199 64 | 1.550 % |
58.90/59.00 c | 123030 | 1588 25809 69743 | 37705 36746 64 | 1.550 % |
59.31/59.48 c | 123631 | 1588 25809 69743 | 37705 37347 64 | 1.550 % |
59.90/60.04 c | 124288 | 1588 25809 69743 | 37705 38004 65 | 1.550 % |
60.31/60.41 c | 125008 | 1588 25809 69743 | 37705 33498 61 | 1.550 % |
60.80/60.93 c | 125801 | 1588 25809 69743 | 37705 34291 62 | 1.550 % |
61.10/61.28 c | 126672 | 1588 25809 69743 | 37705 35162 63 | 1.550 % |
61.70/61.86 c | 127633 | 1588 25809 69743 | 37705 36123 64 | 1.550 % |
62.21/62.32 c | 128687 | 1588 25809 69743 | 37705 37177 64 | 1.550 % |
63.00/63.10 c | 129845 | 1588 25809 69743 | 37705 33265 63 | 1.550 % |
63.61/63.79 c | 131119 | 1588 25809 69743 | 33420 30008 59 | 1.550 % |
64.60/64.73 c | 132520 | 1588 25809 69743 | 33420 31409 60 | 1.550 % |
64.71/64.82 c | 132620 | 1588 25809 69743 | 33420 31509 60 | 1.550 % |
64.71/64.85 c | 132730 | 1588 25809 69743 | 33420 31619 60 | 1.550 % |
64.81/64.91 c | 132851 | 1588 25809 69743 | 33420 31740 61 | 1.550 % |
64.90/65.01 c | 132984 | 1588 25809 69743 | 33420 31873 61 | 1.550 % |
65.00/65.11 c | 133130 | 1588 25809 69743 | 33420 32019 61 | 1.550 % |
65.10/65.20 c | 133291 | 1588 25809 69743 | 33420 32180 61 | 1.550 % |
65.20/65.36 c | 133467 | 1588 25809 69743 | 33420 32356 61 | 1.550 % |
65.40/65.50 c | 133662 | 1588 25809 69743 | 33420 32551 61 | 1.550 % |
65.50/65.62 c | 133879 | 1588 25809 69743 | 33420 32768 61 | 1.550 % |
65.60/65.77 c | 134113 | 1588 25809 69743 | 33420 33002 61 | 1.550 % |
65.81/65.93 c | 134376 | 1588 25809 69743 | 33420 33265 61 | 1.550 % |
66.00/66.14 c | 134657 | 1588 25809 69743 | 33420 33546 62 | 1.550 % |
66.20/66.35 c | 134966 | 1588 25809 69743 | 33420 29588 57 | 1.550 % |
66.40/66.53 c | 135308 | 1588 25809 69743 | 33420 29930 57 | 1.550 % |
66.50/66.67 c | 135683 | 1588 25809 69743 | 33420 30305 57 | 1.550 % |
66.70/66.89 c | 136092 | 1588 25809 69743 | 33420 30714 58 | 1.550 % |
66.90/67.10 c | 136541 | 1588 25809 69743 | 33420 31163 58 | 1.550 % |
67.30/67.45 c | 137034 | 1588 25809 69743 | 33420 31656 59 | 1.550 % |
67.50/67.69 c | 137581 | 1588 25809 69743 | 33420 32203 59 | 1.550 % |
67.90/68.09 c | 138177 | 1588 25809 69743 | 33420 32799 59 | 1.550 % |
68.10/68.26 c | 138835 | 1588 25809 69743 | 33420 33457 59 | 1.550 % |
68.60/68.76 c | 139557 | 1588 25809 69743 | 33420 30232 57 | 1.550 % |
69.10/69.22 c | 140349 | 1588 25809 69743 | 30676 31024 58 | 1.550 % |
69.60/69.73 c | 141221 | 1588 25809 69743 | 30676 28254 55 | 1.552 % |
70.20/70.30 c | 142179 | 1588 25809 69743 | 30676 29212 56 | 1.550 % |
70.80/70.98 c | 143235 | 1588 25809 69743 | 30676 30268 56 | 1.550 % |
71.40/71.55 c | 144396 | 1588 25809 69743 | 30676 27923 54 | 1.550 % |
71.90/72.08 c | 145669 | 1588 25809 69743 | 30676 29196 55 | 1.550 % |
72.70/72.83 c | 147073 | 1588 25809 69743 | 30676 30600 57 | 1.550 % |
73.60/73.77 c | 148616 | 1588 25809 69743 | 30676 28879 56 | 1.550 % |
73.70/73.85 c | 148717 | 1588 25809 69743 | 30676 28980 57 | 1.550 % |
73.80/73.92 c | 148829 | 1588 25809 69743 | 30676 29092 57 | 1.550 % |
73.80/73.99 c | 148951 | 1588 25809 69743 | 30676 29214 57 | 1.550 % |
73.90/74.08 c | 149084 | 1588 25809 69743 | 30676 29347 57 | 1.550 % |
74.00/74.16 c | 149230 | 1588 25809 69743 | 30676 29493 57 | 1.550 % |
74.10/74.26 c | 149391 | 1588 25809 69743 | 30676 29654 57 | 1.550 % |
74.20/74.37 c | 149571 | 1588 25809 69743 | 30676 29834 57 | 1.550 % |
74.40/74.51 c | 149766 | 1588 25809 69743 | 30676 30029 58 | 1.550 % |
74.50/74.67 c | 149984 | 1588 25809 69743 | 30676 30247 58 | 1.550 % |
74.60/74.79 c | 150219 | 1588 25809 69743 | 30263 30482 58 | 1.550 % |
74.80/74.93 c | 150475 | 1588 25809 69743 | 30263 27505 56 | 1.550 % |
74.90/75.04 c | 150760 | 1588 25809 69743 | 30263 27790 56 | 1.550 % |
75.10/75.22 c | 151072 | 1588 25809 69743 | 30263 28102 57 | 1.550 % |
75.20/75.40 c | 151413 | 1588 25809 69743 | 30263 28443 57 | 1.550 % |
75.40/75.53 c | 151787 | 1588 25809 69743 | 30263 28817 57 | 1.550 % |
75.70/75.85 c | 152196 | 1588 25809 69743 | 30263 29226 58 | 1.550 % |
76.00/76.10 c | 152645 | 1588 25809 69743 | 30263 29675 59 | 1.550 % |
76.30/76.45 c | 153138 | 1588 25809 69743 | 30263 30168 59 | 1.550 % |
76.50/76.69 c | 153681 | 1588 25809 69743 | 30263 27656 57 | 1.550 % |
76.90/77.04 c | 154277 | 1588 25809 69743 | 30263 28252 57 | 1.550 % |
77.10/77.28 c | 154934 | 1588 25809 69743 | 30263 28909 58 | 1.550 % |
77.30/77.48 c | 155654 | 1588 25809 69743 | 30263 29629 58 | 1.550 % |
77.79/77.94 c | 156447 | 1588 25809 69743 | 30263 30422 59 | 1.550 % |
78.19/78.37 c | 157320 | 1588 25809 69743 | 30263 28253 58 | 1.550 % |
78.69/78.82 c | 158278 | 1588 25809 69743 | 30263 29211 59 | 1.550 % |
79.19/79.30 c | 159331 | 1588 25809 69743 | 30263 30264 60 | 1.550 % |
79.39/79.58 c | 160491 | 1588 25809 69743 | 2147483647 31424 60 | 1.550 % |
80.10/80.23 c | 161765 | 1588 25809 69743 | 2147483647 32698 61 | 1.550 % |
80.99/81.19 c | 163165 | 1588 25809 69743 | 2147483647 34098 62 | 1.550 % |
82.19/82.30 c | 164705 | 1588 25809 69743 | 2147483647 35638 64 | 1.550 % |
83.19/83.37 c | 166400 | 1588 25809 69743 | 2147483647 37333 65 | 1.550 % |
83.29/83.43 c | 166500 | 1588 25809 69743 | 2147483647 37433 65 | 1.550 % |
83.40/83.56 c | 166611 | 1588 25809 69743 | 2147483647 37544 65 | 1.550 % |
83.50/83.65 c | 166732 | 1588 25809 69743 | 2147483647 37665 65 | 1.550 % |
83.59/83.77 c | 166867 | 1588 25809 69743 | 2147483647 37800 65 | 1.550 % |
83.79/83.94 c | 167013 | 1588 25809 69743 | 2147483647 37946 65 | 1.550 % |
83.99/84.15 c | 167174 | 1588 25809 69743 | 2147483647 38107 65 | 1.550 % |
84.09/84.25 c | 167350 | 1588 25809 69743 | 2147483647 38283 65 | 1.550 % |
84.29/84.42 c | 167543 | 1588 25809 69743 | 2147483647 38476 65 | 1.550 % |
84.50/84.66 c | 167755 | 1588 25809 69743 | 2147483647 38688 66 | 1.550 % |
84.69/84.84 c | 167989 | 1588 25809 69743 | 2147483647 38922 66 | 1.550 % |
84.89/85.02 c | 168246 | 1588 25809 69743 | 2147483647 39179 66 | 1.550 % |
84.99/85.19 c | 168528 | 1588 25809 69743 | 2147483647 39461 66 | 1.550 % |
85.09/85.28 c | 168839 | 1588 25809 69743 | 2147483647 39772 66 | 1.550 % |
85.49/85.66 c | 169178 | 1588 25809 69743 | 2147483647 40111 66 | 1.550 % |
85.89/86.05 c | 169550 | 1588 25809 69743 | 2147483647 40483 66 | 1.550 % |
86.08/86.23 c | 169959 | 1588 25809 69743 | 2147483647 40892 66 | 1.550 % |
86.38/86.54 c | 170408 | 1588 25809 69743 | 40933 34810 61 | 1.550 % |
86.58/86.80 c | 170901 | 1588 25809 69743 | 40933 35303 61 | 1.550 % |
86.98/87.16 c | 171444 | 1588 25809 69743 | 40933 35846 61 | 1.550 % |
87.38/87.54 c | 172040 | 1588 25809 69743 | 40933 36442 62 | 1.550 % |
87.98/88.11 c | 172695 | 1588 25809 69743 | 40933 37097 63 | 1.550 % |
88.68/88.81 c | 173415 | 1588 25809 69743 | 40933 37817 64 | 1.550 % |
89.28/89.46 c | 174213 | 1588 25809 69743 | 40933 38615 64 | 1.550 % |
89.88/90.07 c | 175084 | 1588 25809 69743 | 40933 39486 65 | 1.550 % |
90.88/91.04 c | 176043 | 1588 25809 69743 | 40933 40445 66 | 1.550 % |
91.98/92.17 c | 177100 | 1588 25809 69743 | 40933 34137 61 | 1.550 % |
92.58/92.72 c | 178258 | 1588 25809 69743 | 40933 35295 62 | 1.550 % |
93.48/93.67 c | 179533 | 1588 25809 69743 | 40933 36570 63 | 1.550 % |
94.58/94.74 c | 180933 | 1588 25809 69743 | 37037 31361 59 | 1.550 % |
95.59/95.73 c | 182474 | 1588 25809 69743 | 37037 32902 62 | 1.550 % |
96.59/96.72 c | 184168 | 1588 25809 69743 | 37037 34596 63 | 1.550 % |
98.38/98.50 c | 186033 | 1588 25809 69743 | 37037 36461 64 | 1.550 % |
98.48/98.62 c | 186135 | 1588 25809 69743 | 37037 36563 64 | 1.550 % |
98.58/98.74 c | 186245 | 1588 25809 69743 | 37037 36673 64 | 1.550 % |
98.68/98.82 c | 186366 | 1588 25809 69743 | 37037 36794 64 | 1.550 % |
98.68/98.89 c | 186499 | 1588 25809 69743 | 37037 36927 64 | 1.550 % |
98.78/98.99 c | 186645 | 1588 25809 69743 | 37037 37073 64 | 1.550 % |
98.98/99.14 c | 186807 | 1588 25809 69743 | 37037 30526 59 | 1.550 % |
99.08/99.27 c | 186983 | 1588 25809 69743 | 37037 30702 59 | 1.550 % |
99.28/99.46 c | 187176 | 1588 25809 69743 | 37037 30895 60 | 1.550 % |
99.48/99.62 c | 187390 | 1588 25809 69743 | 37037 31109 60 | 1.550 % |
99.58/99.77 c | 187628 | 1588 25809 69743 | 37037 31347 60 | 1.550 % |
99.78/99.94 c | 187887 | 1588 25809 69743 | 37037 31606 60 | 1.550 % |
99.98/100.14 c | 188168 | 1588 25809 69743 | 37037 31887 60 | 1.550 % |
100.08/100.26 c | 188478 | 1588 25809 69743 | 37037 32197 61 | 1.550 % |
100.38/100.51 c | 188817 | 1588 25809 69743 | 37037 32536 61 | 1.551 % |
100.58/100.78 c | 189189 | 1588 25809 69743 | 37037 32908 61 | 1.550 % |
100.98/101.12 c | 189599 | 1588 25809 69743 | 37037 33318 61 | 1.550 % |
101.38/101.57 c | 190048 | 1588 25809 69743 | 33720 33767 62 | 1.550 % |
101.78/101.94 c | 190543 | 1588 25809 69743 | 33720 28387 56 | 1.550 % |
101.97/102.20 c | 191085 | 1588 25809 69743 | 33720 28929 57 | 1.550 % |
102.47/102.66 c | 191681 | 1588 25809 69743 | 33720 29525 58 | 1.550 % |
102.77/102.98 c | 192336 | 1588 25809 69743 | 33720 30180 58 | 1.550 % |
103.18/103.33 c | 193061 | 1588 25809 69743 | 33720 30905 59 | 1.550 % |
103.28/103.48 c | 193855 | 1588 25809 69743 | 33720 31699 59 | 1.550 % |
103.97/104.18 c | 194727 | 1588 25809 69743 | 33720 32571 60 | 1.551 % |
105.07/105.21 c | 195685 | 1588 25809 69743 | 33720 33529 61 | 1.550 % |
106.06/106.22 c | 196738 | 1588 25809 69743 | 33720 29324 57 | 1.550 % |
106.96/107.12 c | 197897 | 1588 25809 69743 | 33720 30483 59 | 1.550 % |
107.86/108.05 c | 199170 | 1588 25809 69743 | 33720 31756 60 | 1.550 % |
108.96/109.11 c | 200572 | 1588 25809 69743 | 32586 28263 57 | 1.550 % |
109.96/110.18 c | 202114 | 1588 25809 69743 | 32586 29805 59 | 1.550 % |
111.06/111.27 c | 203815 | 1588 25809 69743 | 32586 31506 61 | 1.550 % |
112.55/112.71 c | 205679 | 1588 25809 69743 | 32586 28885 61 | 1.550 % |
113.65/113.88 c | 207730 | 1588 25809 69743 | 32586 30936 62 | 1.550 % |
113.75/113.92 c | 207833 | 1588 25809 69743 | 32586 31039 62 | 1.550 % |
113.75/113.97 c | 207943 | 1588 25809 69743 | 32586 31149 62 | 1.550 % |
113.85/114.08 c | 208067 | 1588 25809 69743 | 32586 31273 62 | 1.550 % |
114.05/114.22 c | 208200 | 1588 25809 69743 | 32586 31406 62 | 1.550 % |
114.05/114.28 c | 208350 | 1588 25809 69743 | 32586 31556 62 | 1.550 % |
114.16/114.32 c | 208510 | 1588 25809 69743 | 32586 31716 62 | 1.550 % |
114.26/114.41 c | 208686 | 1588 25809 69743 | 32586 31892 62 | 1.550 % |
114.35/114.52 c | 208880 | 1588 25809 69743 | 32586 32086 62 | 1.550 % |
114.45/114.66 c | 209092 | 1588 25809 69743 | 32586 32298 63 | 1.550 % |
114.55/114.78 c | 209326 | 1588 25809 69743 | 32586 32532 63 | 1.550 % |
114.75/114.93 c | 209584 | 1588 25809 69743 | 32586 32790 63 | 1.550 % |
114.95/115.17 c | 209867 | 1588 25809 69743 | 32586 28787 60 | 1.550 % |
115.15/115.35 c | 210178 | 1588 25809 69743 | 28922 29098 61 | 1.550 % |
115.45/115.61 c | 210518 | 1588 25809 69743 | 28922 25707 56 | 1.550 % |
115.55/115.80 c | 210890 | 1588 25809 69743 | 28922 26079 57 | 1.550 % |
115.75/115.92 c | 211301 | 1588 25809 69743 | 28922 26490 58 | 1.550 % |
115.95/116.18 c | 211750 | 1588 25809 69743 | 28922 26939 58 | 1.550 % |
116.15/116.39 c | 212243 | 1588 25809 69743 | 28922 27432 59 | 1.550 % |
116.55/116.72 c | 212787 | 1588 25809 69743 | 28922 27976 59 | 1.550 % |
116.85/117.00 c | 213385 | 1588 25809 69743 | 28922 28574 60 | 1.550 % |
117.15/117.40 c | 214043 | 1587 25777 69669 | 28922 26183 56 | 1.612 % |
117.65/117.86 c | 214765 | 1587 25777 69669 | 28922 26905 57 | 1.612 % |
118.05/118.23 c | 215558 | 1587 25777 69669 | 28922 27698 57 | 1.612 % |
118.55/118.80 c | 216434 | 1587 25777 69669 | 28922 28574 59 | 1.612 % |
119.05/119.29 c | 217393 | 1587 25777 69669 | 28922 26601 56 | 1.612 % |
119.75/119.96 c | 218446 | 1587 25777 69669 | 28922 27654 57 | 1.612 % |
120.45/120.63 c | 219605 | 1587 25777 69669 | 28922 28813 59 | 1.612 % |
121.35/121.59 c | 220882 | 1587 25777 69669 | 2147483647 30090 60 | 1.612 % |
122.35/122.51 c | 222283 | 1587 25777 69669 | 2147483647 31491 62 | 1.612 % |
123.35/123.59 c | 223823 | 1587 25777 69669 | 2147483647 33031 64 | 1.612 % |
124.85/125.02 c | 225517 | 1587 25777 69669 | 2147483647 34725 65 | 1.612 % |
125.94/126.16 c | 227380 | 1587 25777 69669 | 2147483647 36588 67 | 1.612 % |
126.94/127.13 c | 229430 | 1587 25777 69669 | 2147483647 38638 69 | 1.612 % |
128.55/128.79 c | 231685 | 1587 25777 69669 | 39209 35166 65 | 1.612 % |
128.64/128.86 c | 231785 | 1587 25777 69669 | 39209 35266 65 | 1.612 % |
128.74/128.95 c | 231899 | 1587 25777 69669 | 39209 35380 66 | 1.612 % |
128.84/129.01 c | 232022 | 1587 25777 69669 | 39209 35503 66 | 1.612 % |
128.94/129.15 c | 232155 | 1587 25777 69669 | 39209 35636 66 | 1.612 % |
129.14/129.31 c | 232302 | 1587 25777 69669 | 39209 35783 66 | 1.612 % |
129.24/129.47 c | 232466 | 1587 25777 69669 | 39209 35947 66 | 1.612 % |
129.44/129.64 c | 232642 | 1587 25777 69669 | 39209 36123 66 | 1.612 % |
129.55/129.78 c | 232835 | 1587 25777 69669 | 39209 36316 67 | 1.612 % |
129.74/129.94 c | 233052 | 1587 25777 69669 | 39209 36533 67 | 1.612 % |
129.94/130.10 c | 233285 | 1587 25777 69669 | 39209 36766 67 | 1.612 % |
130.14/130.31 c | 233541 | 1587 25777 69669 | 39209 37022 67 | 1.612 % |
130.34/130.52 c | 233823 | 1587 25777 69669 | 39209 37304 68 | 1.612 % |
130.54/130.74 c | 234132 | 1587 25777 69669 | 39209 37613 68 | 1.612 % |
130.84/131.03 c | 234475 | 1587 25777 69669 | 39209 37956 68 | 1.612 % |
131.14/131.31 c | 234847 | 1587 25777 69669 | 39209 38328 68 | 1.612 % |
131.24/131.50 c | 235256 | 1587 25777 69669 | 39209 38737 69 | 1.612 % |
131.64/131.89 c | 235706 | 1587 25777 69669 | 39209 39187 69 | 1.612 % |
132.14/132.33 c | 236199 | 1587 25777 69669 | 39209 32886 63 | 1.612 % |
132.44/132.64 c | 236743 | 1587 25777 69669 | 39209 33430 64 | 1.612 % |
132.94/133.13 c | 237339 | 1587 25777 69669 | 39209 34026 64 | 1.612 % |
133.54/133.72 c | 237995 | 1587 25777 69669 | 39209 34682 65 | 1.612 % |
133.84/134.10 c | 238715 | 1587 25777 69669 | 39209 35402 65 | 1.612 % |
134.54/134.71 c | 239507 | 1587 25777 69669 | 39209 36194 66 | 1.612 % |
135.44/135.67 c | 240378 | 1587 25777 69669 | 36687 37065 66 | 1.612 % |
136.04/136.26 c | 241337 | 1587 25777 69669 | 36687 31527 61 | 1.612 % |
136.64/136.87 c | 242391 | 1587 25777 69669 | 36687 32581 62 | 1.612 % |
137.54/137.76 c | 243549 | 1587 25777 69669 | 36687 33739 63 | 1.612 % |
138.54/138.75 c | 244823 | 1587 25777 69669 | 36687 35013 65 | 1.612 % |
139.44/139.63 c | 246225 | 1587 25777 69669 | 36687 36415 66 | 1.612 % |
140.54/140.71 c | 247765 | 1587 25777 69669 | 36687 32277 60 | 1.612 % |
141.74/141.99 c | 249460 | 1587 25777 69669 | 36687 33972 62 | 1.612 % |
142.94/143.12 c | 251324 | 1587 25777 69669 | 34512 30585 59 | 1.612 % |
144.14/144.38 c | 253375 | 1587 25777 69669 | 34512 32636 61 | 1.612 % |
145.73/145.94 c | 255628 | 1587 25777 69669 | 34512 30331 60 | 1.612 % |
147.43/147.68 c | 258107 | 1587 25777 69669 | 34512 32810 63 | 1.612 % |
147.54/147.77 c | 258208 | 1587 25777 69669 | 34512 32911 63 | 1.612 % |
147.64/147.83 c | 258319 | 1587 25777 69669 | 34512 33022 64 | 1.612 % |
147.74/147.91 c | 258440 | 1587 25777 69669 | 34512 33143 64 | 1.612 % |
147.83/148.04 c | 258575 | 1587 25777 69669 | 34512 33278 64 | 1.612 % |
147.93/148.17 c | 258722 | 1587 25777 69669 | 34512 33425 64 | 1.612 % |
148.03/148.26 c | 258884 | 1587 25777 69669 | 34512 33587 64 | 1.612 % |
148.24/148.43 c | 259060 | 1587 25777 69669 | 34512 33763 64 | 1.612 % |
148.34/148.58 c | 259253 | 1587 25777 69669 | 34512 33956 64 | 1.612 % |
148.53/148.71 c | 259468 | 1587 25777 69669 | 34512 34171 65 | 1.612 % |
148.63/148.84 c | 259701 | 1587 25777 69669 | 34512 34404 65 | 1.612 % |
148.73/148.99 c | 259958 | 1587 25777 69669 | 34512 34661 65 | 1.612 % |
149.03/149.21 c | 260241 | 1587 25777 69669 | 30168 30409 60 | 1.612 % |
149.23/149.42 c | 260550 | 1587 25777 69669 | 30168 26748 56 | 1.612 % |
149.33/149.56 c | 260890 | 1587 25777 69669 | 30168 27088 57 | 1.612 % |
149.53/149.72 c | 261265 | 1587 25777 69669 | 30168 27463 57 | 1.612 % |
149.63/149.85 c | 261674 | 1587 25777 69669 | 30168 27872 57 | 1.612 % |
149.83/150.09 c | 262123 | 1587 25777 69669 | 30168 28321 58 | 1.612 % |
150.23/150.40 c | 262616 | 1587 25777 69669 | 30168 28814 59 | 1.612 % |
150.53/150.78 c | 263160 | 1587 25777 69669 | 30168 29358 59 | 1.612 % |
150.83/151.06 c | 263758 | 1587 25777 69669 | 30168 29956 60 | 1.612 % |
151.13/151.36 c | 264416 | 1587 25777 69669 | 30168 30614 61 | 1.612 % |
151.63/151.82 c | 265138 | 1587 25777 69669 | 30168 28029 58 | 1.612 % |
152.03/152.20 c | 265933 | 1587 25777 69669 | 30168 28824 58 | 1.612 % |
152.53/152.78 c | 266804 | 1587 25777 69669 | 30168 29695 59 | 1.612 % |
153.13/153.38 c | 267762 | 1587 25777 69669 | 30168 27271 56 | 1.612 % |
153.83/154.03 c | 268815 | 1587 25777 69669 | 30168 28324 58 | 1.612 % |
154.73/154.93 c | 269974 | 1587 25777 69669 | 30168 29483 60 | 1.612 % |
155.43/155.68 c | 271247 | 1587 25777 69669 | 29509 27510 57 | 1.612 % |
156.33/156.54 c | 272648 | 1587 25777 69669 | 29509 28911 58 | 1.612 % |
157.33/157.50 c | 274188 | 1587 25777 69669 | 29509 27458 56 | 1.612 % |
158.13/158.33 c | 275882 | 1587 25777 69669 | 29509 29152 58 | 1.612 % |
159.12/159.30 c | 277745 | 1587 25777 69669 | 29509 28019 57 | 1.612 % |
160.52/160.75 c | 279796 | 1587 25777 69669 | 29509 27082 59 | 1.612 % |
161.72/161.99 c | 282049 | 1587 25777 69669 | 2147483647 29335 62 | 1.612 % |
163.12/163.38 c | 284528 | 1587 25777 69669 | 2147483647 31814 65 | 1.612 % |
165.02/165.29 c | 287255 | 1587 25777 69669 | 2147483647 34541 68 | 1.612 % |
165.12/165.38 c | 287355 | 1587 25777 69669 | 2147483647 34641 68 | 1.612 % |
165.22/165.41 c | 287467 | 1587 25777 69669 | 2147483647 34753 68 | 1.612 % |
165.32/165.51 c | 287588 | 1587 25777 69669 | 2147483647 34874 68 | 1.612 % |
165.42/165.63 c | 287721 | 1587 25777 69669 | 2147483647 35007 68 | 1.612 % |
165.52/165.72 c | 287867 | 1587 25777 69669 | 2147483647 35153 68 | 1.612 % |
165.62/165.84 c | 288027 | 1587 25777 69669 | 2147483647 35313 68 | 1.612 % |
165.72/165.99 c | 288204 | 1587 25777 69669 | 2147483647 35490 68 | 1.612 % |
165.92/166.19 c | 288397 | 1587 25777 69669 | 2147483647 35683 68 | 1.612 % |
166.12/166.34 c | 288610 | 1587 25777 69669 | 2147483647 35896 68 | 1.612 % |
166.32/166.60 c | 288846 | 1587 25777 69669 | 2147483647 36132 68 | 1.612 % |
166.62/166.83 c | 289102 | 1587 25777 69669 | 2147483647 36388 69 | 1.612 % |
166.62/166.89 c | 289383 | 1587 25777 69669 | 2147483647 36669 68 | 1.612 % |
167.02/167.21 c | 289693 | 1587 25777 69669 | 2147483647 36979 68 | 1.612 % |
167.42/167.61 c | 290033 | 1587 25777 69669 | 37286 37319 69 | 1.612 % |
167.62/167.89 c | 290406 | 1587 25777 69669 | 37286 32940 64 | 1.612 % |
167.92/168.18 c | 290816 | 1587 25777 69669 | 37286 33350 64 | 1.612 % |
168.32/168.56 c | 291270 | 1587 25777 69669 | 37286 33804 65 | 1.612 % |
168.82/169.04 c | 291764 | 1587 25777 69669 | 37286 34298 65 | 1.612 % |
169.22/169.42 c | 292306 | 1587 25777 69669 | 37286 34840 66 | 1.612 % |
169.62/169.85 c | 292906 | 1587 25777 69669 | 37286 35440 66 | 1.612 % |
169.82/170.05 c | 293562 | 1587 25777 69669 | 37286 36096 67 | 1.612 % |
170.52/170.77 c | 294282 | 1587 25777 69669 | 37286 36816 68 | 1.612 % |
171.32/171.55 c | 295074 | 1587 25777 69669 | 37286 37608 68 | 1.612 % |
172.02/172.22 c | 295946 | 1587 25777 69669 | 37286 32343 63 | 1.612 % |
172.82/173.02 c | 296912 | 1587 25777 69669 | 37286 33309 64 | 1.612 % |
173.52/173.76 c | 297968 | 1587 25777 69669 | 37286 34365 64 | 1.612 % |
174.32/174.54 c | 299126 | 1587 25777 69669 | 37286 35523 66 | 1.612 % |
175.22/175.43 c | 300399 | 1587 25777 69669 | 36398 36796 67 | 1.612 % |
176.01/176.25 c | 301799 | 1587 25777 69669 | 36398 32380 60 | 1.612 % |
177.31/177.50 c | 303339 | 1587 25777 69669 | 36398 33920 62 | 1.612 % |
178.51/178.79 c | 305033 | 1587 25777 69669 | 36398 35614 64 | 1.612 % |
180.22/180.42 c | 306897 | 1587 25777 69669 | 36398 31462 60 | 1.612 % |
181.61/181.82 c | 308946 | 1587 25777 69669 | 36398 33511 62 | 1.612 % |
183.52/183.71 c | 311199 | 1587 25777 69669 | 34565 30014 57 | 1.612 % |
184.61/184.87 c | 313677 | 1587 25777 69669 | 34565 32492 60 | 1.612 % |
186.61/186.83 c | 316403 | 1587 25777 69669 | 34565 30490 57 | 1.612 % |
188.72/188.91 c | 319402 | 1587 25777 69669 | 34565 33489 60 | 1.612 % |
188.82/189.00 c | 319504 | 1587 25777 69669 | 34565 33591 60 | 1.612 % |
188.92/189.13 c | 319615 | 1587 25777 69669 | 34565 33702 60 | 1.612 % |
188.92/189.18 c | 319737 | 1587 25777 69669 | 34565 33824 60 | 1.612 % |
189.02/189.23 c | 319871 | 1587 25777 69669 | 34565 33958 60 | 1.612 % |
189.12/189.33 c | 320017 | 1587 25777 69669 | 34088 34104 61 | 1.612 % |
189.22/189.49 c | 320183 | 1587 25777 69669 | 34088 34270 61 | 1.612 % |
189.42/189.63 c | 320360 | 1587 25777 69669 | 34088 29819 56 | 1.612 % |
189.52/189.77 c | 320557 | 1587 25777 69669 | 34088 30016 56 | 1.612 % |
189.72/189.94 c | 320769 | 1587 25777 69669 | 34088 30228 57 | 1.612 % |
189.82/190.08 c | 321003 | 1587 25777 69669 | 34088 30462 57 | 1.612 % |
190.02/190.26 c | 321259 | 1587 25777 69669 | 34088 30718 57 | 1.612 % |
190.22/190.47 c | 321542 | 1587 25777 69669 | 34088 31001 57 | 1.612 % |
190.42/190.67 c | 321854 | 1587 25777 69669 | 34088 31313 58 | 1.612 % |
190.72/190.94 c | 322194 | 1587 25777 69669 | 34088 31653 58 | 1.612 % |
190.92/191.17 c | 322568 | 1587 25777 69669 | 34088 32027 59 | 1.612 % |
191.22/191.41 c | 322978 | 1587 25777 69669 | 34088 32437 59 | 1.612 % |
191.51/191.72 c | 323428 | 1587 25777 69669 | 34088 32887 60 | 1.612 % |
191.81/192.03 c | 323922 | 1587 25777 69669 | 34088 33381 60 | 1.612 % |
192.22/192.47 c | 324465 | 1587 25777 69669 | 34088 33924 61 | 1.612 % |
192.81/193.03 c | 325062 | 1587 25777 69669 | 34088 29980 56 | 1.612 % |
193.21/193.46 c | 325718 | 1587 25777 69669 | 34088 30636 57 | 1.612 % |
193.81/194.08 c | 326440 | 1587 25777 69669 | 34088 31358 58 | 1.612 % |
194.41/194.69 c | 327232 | 1587 25777 69669 | 34088 32150 59 | 1.612 % |
195.21/195.43 c | 328105 | 1587 25777 69669 | 34088 33023 60 | 1.612 % |
195.71/195.97 c | 329066 | 1587 25777 69669 | 34088 33984 61 | 1.612 % |
196.61/196.86 c | 330122 | 1587 25777 69669 | 30345 30466 57 | 1.612 % |
197.40/197.68 c | 331282 | 1587 25777 69669 | 30345 27643 54 | 1.612 % |
198.10/198.39 c | 332555 | 1587 25777 69669 | 30345 28916 56 | 1.612 % |
198.90/199.18 c | 333956 | 1587 25777 69669 | 30345 30317 58 | 1.612 % |
199.90/200.15 c | 335496 | 1587 25777 69669 | 30345 28336 56 | 1.612 % |
200.69/200.91 c | 337192 | 1587 25777 69669 | 30345 30032 58 | 1.612 % |
201.99/202.28 c | 339056 | 1587 25777 69669 | 30345 28605 57 | 1.612 % |
203.59/203.85 c | 341108 | 1587 25777 69669 | 29549 27494 56 | 1.612 % |
205.29/205.53 c | 343362 | 1587 25777 69669 | 29549 29748 59 | 1.612 % |
206.89/207.13 c | 345847 | 1587 25777 69669 | 29549 29259 60 | 1.612 % |
208.79/209.00 c | 348572 | 1587 25777 69669 | 29549 28983 62 | 1.612 % |
210.59/210.84 c | 351572 | 1587 25777 69669 | 2147483647 28989 64 | 1.612 % |
212.79/213.03 c | 354868 | 1587 25777 69669 | 2147483647 32285 69 | 1.612 % |
212.89/213.13 c | 354969 | 1587 25777 69669 | 2147483647 32386 69 | 1.612 % |
212.99/213.21 c | 355079 | 1587 25777 69669 | 2147483647 32496 69 | 1.612 % |
213.09/213.37 c | 355200 | 1587 25777 69669 | 2147483647 32617 69 | 1.612 % |
213.19/213.47 c | 355334 | 1587 25777 69669 | 2147483647 32751 69 | 1.612 % |
213.29/213.55 c | 355481 | 1587 25777 69669 | 2147483647 32898 69 | 1.612 % |
213.39/213.68 c | 355641 | 1587 25777 69669 | 2147483647 33058 69 | 1.612 % |
213.59/213.84 c | 355817 | 1587 25777 69669 | 2147483647 33234 69 | 1.612 % |
213.69/213.99 c | 356011 | 1587 25777 69669 | 2147483647 33428 69 | 1.612 % |
213.79/214.05 c | 356227 | 1587 25777 69669 | 2147483647 33644 70 | 1.612 % |
213.99/214.27 c | 356461 | 1587 25777 69669 | 2147483647 33878 70 | 1.615 % |
214.29/214.54 c | 356719 | 1587 25777 69669 | 2147483647 34136 70 | 1.612 % |
214.58/214.84 c | 357000 | 1587 25777 69669 | 2147483647 34417 70 | 1.612 % |
214.78/215.06 c | 357312 | 1587 25777 69669 | 2147483647 34729 70 | 1.612 % |
214.98/215.23 c | 357651 | 1587 25777 69669 | 2147483647 35068 70 | 1.612 % |
215.18/215.45 c | 358023 | 1587 25777 69669 | 2147483647 35440 70 | 1.612 % |
215.48/215.79 c | 358437 | 1587 25777 69669 | 2147483647 35854 71 | 1.612 % |
215.89/216.16 c | 358887 | 1587 25777 69669 | 2147483647 36304 71 | 1.612 % |
216.19/216.49 c | 359380 | 1587 25777 69669 | 2147483647 36797 71 | 1.612 % |
216.78/217.07 c | 359922 | 1587 25777 69669 | 2147483647 37339 72 | 1.615 % |
217.38/217.60 c | 360521 | 1587 25777 69669 | 37417 32946 67 | 1.612 % |
217.68/217.93 c | 361176 | 1587 25777 69669 | 37417 33601 68 | 1.612 % |
218.28/218.57 c | 361896 | 1587 25777 69669 | 37417 34321 68 | 1.612 % |
218.78/219.01 c | 362690 | 1587 25777 69669 | 37417 35115 69 | 1.612 % |
219.58/219.90 c | 363562 | 1587 25777 69669 | 37417 35987 70 | 1.612 % |
220.58/220.81 c | 364521 | 1587 25777 69669 | 37417 36946 71 | 1.612 % |
221.48/221.75 c | 365574 | 1587 25777 69669 | 37417 32377 66 | 1.612 % |
222.58/222.86 c | 366732 | 1587 25777 69669 | 37417 33535 68 | 1.612 % |
223.48/223.78 c | 368005 | 1587 25777 69669 | 37417 34808 69 | 1.612 % |
224.88/225.14 c | 369407 | 1587 25777 69669 | 37417 36210 70 | 1.612 % |
226.38/226.65 c | 370948 | 1587 25777 69669 | 36803 32048 64 | 1.612 % |
227.78/228.10 c | 372642 | 1587 25777 69669 | 36803 33742 66 | 1.612 % |
229.18/229.41 c | 374509 | 1587 25777 69669 | 36803 35609 67 | 1.612 % |
230.68/230.96 c | 376558 | 1587 25777 69669 | 36803 32179 64 | 1.612 % |
232.28/232.56 c | 378814 | 1587 25777 69669 | 36803 34435 67 | 1.612 % |
234.68/234.91 c | 381292 | 1587 25777 69669 | 35622 31489 65 | 1.612 % |
237.07/237.35 c | 384019 | 1587 25777 69669 | 35622 34216 69 | 1.612 % |
240.07/240.39 c | 387017 | 1587 25777 69669 | 35622 31435 64 | 1.612 % |
243.26/243.53 c | 390313 | 1587 25777 69669 | 34419 29160 62 | 1.612 % |
246.07/246.32 c | 393940 | 1587 25777 69669 | 34419 32787 67 | 1.612 % |
246.17/246.41 c | 394040 | 1587 25777 69669 | 34419 32887 67 | 1.612 % |
246.26/246.55 c | 394150 | 1587 25777 69669 | 34419 32997 68 | 1.612 % |
246.36/246.64 c | 394272 | 1587 25777 69669 | 34419 33119 68 | 1.612 % |
246.36/246.68 c | 394405 | 1587 25777 69669 | 34419 33252 68 | 1.612 % |
246.56/246.83 c | 394551 | 1587 25777 69669 | 34419 33398 68 | 1.612 % |
246.66/246.93 c | 394711 | 1587 25777 69669 | 34419 33558 68 | 1.612 % |
246.76/247.08 c | 394888 | 1587 25777 69669 | 34419 33735 68 | 1.612 % |
247.06/247.31 c | 395081 | 1587 25777 69669 | 34419 33928 68 | 1.612 % |
247.17/247.49 c | 395294 | 1587 25777 69669 | 34419 34141 68 | 1.612 % |
247.36/247.64 c | 395527 | 1587 25777 69669 | 34419 34374 68 | 1.612 % |
247.66/247.91 c | 395784 | 1587 25777 69669 | 34419 34631 69 | 1.612 % |
247.76/248.08 c | 396069 | 1587 25777 69669 | 34419 29746 62 | 1.612 % |
248.06/248.37 c | 396382 | 1587 25777 69669 | 34419 30059 63 | 1.612 % |
248.37/248.69 c | 396722 | 1587 25777 69669 | 34419 30399 63 | 1.612 % |
248.66/248.98 c | 397095 | 1587 25777 69669 | 34419 30772 64 | 1.612 % |
248.96/249.24 c | 397504 | 1587 25777 69669 | 34419 31181 64 | 1.612 % |
249.37/249.63 c | 397955 | 1587 25777 69669 | 34419 31632 65 | 1.612 % |
249.56/249.87 c | 398450 | 1587 25777 69669 | 34419 32127 65 | 1.612 % |
249.96/250.28 c | 398992 | 1587 25777 69669 | 34419 32669 66 | 1.612 % |
250.36/250.70 c | 399590 | 1587 25777 69669 | 34419 33267 66 | 1.612 % |
250.76/251.06 c | 400249 | 1587 25777 69669 | 33677 33926 67 | 1.612 % |
251.46/251.70 c | 400973 | 1587 25777 69669 | 33677 29770 61 | 1.612 % |
252.06/252.31 c | 401765 | 1587 25777 69669 | 33677 30562 62 | 1.612 % |
252.46/252.78 c | 402637 | 1587 25777 69669 | 33677 31434 63 | 1.612 % |
253.06/253.38 c | 403599 | 1587 25777 69669 | 33677 32396 63 | 1.612 % |
254.06/254.30 c | 404653 | 1587 25777 69669 | 33677 33450 65 | 1.612 % |
254.86/255.14 c | 405811 | 1587 25777 69669 | 33677 29705 60 | 1.612 % |
255.56/255.82 c | 407086 | 1587 25777 69669 | 33677 30980 62 | 1.612 % |
256.56/256.82 c | 408487 | 1587 25777 69669 | 33677 32381 64 | 1.612 % |
257.66/257.98 c | 410029 | 1587 25777 69669 | 33895 33923 66 | 1.612 % |
258.96/259.22 c | 411723 | 1587 25777 69669 | 33895 31073 64 | 1.612 % |
260.06/260.30 c | 413586 | 1587 25777 69669 | 33895 32936 68 | 1.612 % |
261.56/261.83 c | 415635 | 1587 25777 69669 | 33895 30815 66 | 1.612 % |
263.05/263.36 c | 417888 | 1587 25777 69669 | 33895 33068 69 | 1.612 % |
264.65/264.90 c | 420367 | 1587 25777 69669 | 31180 27921 63 | 1.612 % |
266.25/266.58 c | 423096 | 1587 25777 69669 | 31180 30650 66 | 1.612 % |
268.55/268.88 c | 426098 | 1587 25777 69669 | 31180 30110 64 | 1.612 % |
271.15/271.42 c | 429394 | 1587 25777 69669 | 31180 29807 61 | 1.612 % |
274.05/274.38 c | 433019 | 1587 25777 69669 | 30413 30135 63 | 1.612 % |
276.65/276.91 c | 437011 | 1587 25777 69669 | 30413 27974 63 | 1.612 % |
276.65/276.99 c | 437111 | 1587 25777 69669 | 30413 28074 63 | 1.612 % |
276.75/277.08 c | 437222 | 1587 25777 69669 | 30413 28185 63 | 1.612 % |
276.85/277.17 c | 437343 | 1587 25777 69669 | 30413 28306 63 | 1.612 % |
276.95/277.25 c | 437476 | 1587 25777 69669 | 30413 28439 64 | 1.615 % |
277.05/277.32 c | 437622 | 1587 25777 69669 | 30413 28585 64 | 1.612 % |
277.15/277.44 c | 437782 | 1587 25777 69669 | 30413 28745 64 | 1.612 % |
277.25/277.56 c | 437959 | 1587 25777 69669 | 30413 28922 64 | 1.612 % |
277.45/277.70 c | 438152 | 1587 25777 69669 | 30413 29115 64 | 1.612 % |
277.55/277.80 c | 438364 | 1587 25777 69669 | 30413 29327 64 | 1.612 % |
277.65/277.92 c | 438597 | 1587 25777 69669 | 30413 29560 65 | 1.612 % |
277.75/278.06 c | 438854 | 1587 25777 69669 | 30413 29817 65 | 1.612 % |
277.95/278.28 c | 439138 | 1587 25777 69669 | 30413 30101 65 | 1.612 % |
278.15/278.48 c | 439449 | 1587 25777 69669 | 30413 30412 65 | 1.612 % |
278.45/278.76 c | 439789 | 1587 25777 69669 | 30413 27689 62 | 1.612 % |
278.75/279.02 c | 440161 | 1587 25777 69669 | 2147483647 28061 63 | 1.612 % |
278.95/279.30 c | 440571 | 1587 25777 69669 | 2147483647 28471 63 | 1.612 % |
279.45/279.73 c | 441020 | 1587 25777 69669 | 2147483647 28920 63 | 1.612 % |
279.75/280.09 c | 441514 | 1587 25777 69669 | 2147483647 29414 64 | 1.612 % |
280.25/280.55 c | 442058 | 1587 25777 69669 | 2147483647 29958 65 | 1.612 % |
280.65/280.98 c | 442654 | 1587 25777 69669 | 2147483647 30554 66 | 1.612 % |
281.15/281.50 c | 443310 | 1587 25777 69669 | 2147483647 31210 67 | 1.612 % |
281.85/282.14 c | 444030 | 1587 25777 69669 | 2147483647 31930 68 | 1.612 % |
282.45/282.78 c | 444823 | 1587 25777 69669 | 2147483647 32723 68 | 1.612 % |
282.95/283.25 c | 445694 | 1587 25777 69669 | 2147483647 33594 69 | 1.612 % |
283.64/283.97 c | 446652 | 1587 25777 69669 | 2147483647 34552 70 | 1.612 % |
284.84/285.10 c | 447708 | 1587 25777 69669 | 2147483647 35608 71 | 1.612 % |
285.94/286.22 c | 448866 | 1587 25777 69669 | 2147483647 36766 72 | 1.612 % |
287.04/287.38 c | 450139 | 1587 25777 69669 | 37900 38039 73 | 1.612 % |
288.54/288.87 c | 451542 | 1587 25777 69669 | 37900 33742 68 | 1.612 % |
289.84/290.14 c | 453082 | 1587 25777 69669 | 37900 35282 69 | 1.612 % |
291.54/291.85 c | 454776 | 1587 25777 69669 | 37900 36976 71 | 1.612 % |
293.04/293.32 c | 456641 | 1587 25777 69669 | 37900 31683 62 | 1.612 % |
294.54/294.88 c | 458693 | 1587 25777 69669 | 37900 33735 64 | 1.612 % |
296.53/296.85 c | 460946 | 1587 25777 69669 | 35042 29677 60 | 1.612 % |
297.84/298.16 c | 463426 | 1587 25777 69669 | 35042 32157 65 | 1.612 % |
299.73/300.09 c | 466152 | 1587 25777 69669 | 35042 34883 69 | 1.612 % |
302.53/302.88 c | 469151 | 1587 25777 69669 | 35042 32633 67 | 1.612 % |
305.03/305.36 c | 472449 | 1587 25777 69669 | 33483 31027 66 | 1.612 % |
308.53/308.85 c | 476075 | 1587 25777 69669 | 33483 30005 67 | 1.612 % |
312.03/312.36 c | 480063 | 1587 25777 69669 | 29238 29301 64 | 1.612 % |
315.23/315.59 c | 484450 | 1587 25777 69669 | 29238 29634 66 | 1.612 % |
315.43/315.70 c | 484551 | 1587 25777 69669 | 29238 26060 62 | 1.612 % |
315.53/315.81 c | 484662 | 1587 25777 69669 | 29238 26171 62 | 1.612 % |
315.63/315.90 c | 484784 | 1587 25777 69669 | 29238 26293 62 | 1.612 % |
315.73/316.01 c | 484917 | 1587 25777 69669 | 29238 26426 62 | 1.612 % |
315.83/316.13 c | 485064 | 1587 25777 69669 | 29238 26573 62 | 1.612 % |
315.92/316.27 c | 485224 | 1587 25777 69669 | 29238 26733 63 | 1.612 % |
316.02/316.39 c | 485402 | 1587 25777 69669 | 29238 26911 63 | 1.612 % |
316.22/316.55 c | 485597 | 1587 25777 69669 | 29238 27106 63 | 1.612 % |
316.43/316.74 c | 485809 | 1587 25777 69669 | 29238 27318 64 | 1.612 % |
316.62/316.91 c | 486046 | 1587 25777 69669 | 29238 27555 64 | 1.612 % |
316.82/317.14 c | 486304 | 1587 25777 69669 | 29238 27813 65 | 1.612 % |
317.12/317.41 c | 486585 | 1587 25777 69669 | 29238 28094 65 | 1.612 % |
317.32/317.63 c | 486895 | 1587 25777 69669 | 29238 28404 66 | 1.612 % |
317.53/317.90 c | 487237 | 1587 25777 69669 | 29238 28746 66 | 1.612 % |
317.82/318.10 c | 487610 | 1587 25777 69669 | 29238 29119 67 | 1.612 % |
318.12/318.46 c | 488021 | 1587 25777 69669 | 29238 26039 62 | 1.612 % |
318.42/318.72 c | 488472 | 1587 25777 69669 | 29238 26490 63 | 1.612 % |
318.73/319.04 c | 488965 | 1587 25777 69669 | 29238 26983 64 | 1.612 % |
319.02/319.38 c | 489508 | 1587 25777 69669 | 29238 27526 65 | 1.612 % |
319.52/319.87 c | 490105 | 1587 25777 69669 | 28020 28123 65 | 1.612 % |
320.02/320.35 c | 490763 | 1587 25777 69669 | 28020 25621 61 | 1.612 % |
320.42/320.78 c | 491484 | 1587 25777 69669 | 28020 26342 63 | 1.612 % |
321.02/321.30 c | 492277 | 1587 25777 69669 | 28020 27135 64 | 1.612 % |
321.62/321.97 c | 493148 | 1587 25777 69669 | 28020 28006 66 | 1.612 % |
322.42/322.74 c | 494106 | 1587 25777 69669 | 28020 26119 63 | 1.612 % |
323.22/323.55 c | 495159 | 1587 25777 69669 | 28020 27172 65 | 1.612 % |
324.02/324.39 c | 496317 | 1587 25777 69669 | 28020 28330 67 | 1.612 % |
325.12/325.45 c | 497590 | 1587 25777 69669 | 28020 26770 64 | 1.612 % |
326.02/326.38 c | 498990 | 1587 25777 69669 | 28020 28170 67 | 1.612 % |
327.02/327.36 c | 500532 | 1587 25777 69669 | 2147483647 26895 65 | 1.612 % |
328.12/328.44 c | 502228 | 1587 25777 69669 | 2147483647 28591 68 | 1.612 % |
329.41/329.73 c | 504093 | 1587 25777 69669 | 2147483647 30456 70 | 1.612 % |
331.01/331.31 c | 506144 | 1587 25777 69669 | 2147483647 32507 72 | 1.612 % |
332.21/332.53 c | 508397 | 1587 25777 69669 | 2147483647 34760 73 | 1.612 % |
334.81/335.12 c | 510877 | 1587 25777 69669 | 36363 32257 68 | 1.612 % |
337.21/337.53 c | 513604 | 1587 25777 69669 | 36363 34984 71 | 1.612 % |
339.41/339.76 c | 516601 | 1587 25777 69669 | 36363 32129 65 | 1.612 % |
341.82/342.18 c | 519897 | 1587 25777 69669 | 36363 35425 68 | 1.612 % |
344.51/344.81 c | 523524 | 1587 25777 69669 | 35531 33168 63 | 1.612 % |
346.91/347.20 c | 527511 | 1587 25777 69669 | 35531 31703 64 | 1.612 % |
350.41/350.75 c | 531896 | 1587 25777 69669 | 34193 30867 66 | 1.612 % |
353.81/354.15 c | 536720 | 1587 25777 69669 | 34193 30973 70 | 1.612 % |
353.91/354.21 c | 536823 | 1587 25777 69669 | 34193 31076 70 | 1.612 % |
353.91/354.27 c | 536935 | 1587 25777 69669 | 34193 31188 70 | 1.612 % |
354.01/354.32 c | 537056 | 1587 25777 69669 | 34193 31309 70 | 1.612 % |
354.11/354.40 c | 537190 | 1587 25777 69669 | 34193 31443 70 | 1.612 % |
354.21/354.54 c | 537336 | 1587 25777 69669 | 34193 31589 70 | 1.612 % |
354.31/354.66 c | 537496 | 1587 25777 69669 | 34193 31749 70 | 1.612 % |
354.51/354.81 c | 537673 | 1587 25777 69669 | 34193 31926 70 | 1.612 % |
354.61/354.97 c | 537869 | 1587 25777 69669 | 34193 32122 70 | 1.612 % |
354.81/355.15 c | 538081 | 1587 25777 69669 | 34193 32334 70 | 1.612 % |
354.91/355.27 c | 538314 | 1587 25777 69669 | 34193 32567 70 | 1.612 % |
355.10/355.46 c | 538570 | 1587 25777 69669 | 34193 32823 70 | 1.612 % |
355.30/355.63 c | 538851 | 1587 25777 69669 | 34193 33104 71 | 1.612 % |
355.50/355.80 c | 539162 | 1587 25777 69669 | 34193 33415 71 | 1.612 % |
355.60/355.99 c | 539504 | 1587 25777 69669 | 34193 33757 71 | 1.612 % |
355.80/356.12 c | 539876 | 1587 25777 69669 | 34193 34129 71 | 1.612 % |
356.11/356.40 c | 540285 | 1587 25777 69669 | 34254 34538 71 | 1.612 % |
356.40/356.77 c | 540736 | 1587 25777 69669 | 34254 30225 65 | 1.612 % |
356.80/357.12 c | 541229 | 1587 25777 69669 | 34254 30718 66 | 1.612 % |
357.11/357.46 c | 541772 | 1587 25777 69669 | 34254 31261 66 | 1.612 % |
357.60/357.91 c | 542370 | 1587 25777 69669 | 34254 31859 67 | 1.612 % |
358.00/358.34 c | 543028 | 1587 25777 69669 | 34254 32517 68 | 1.612 % |
358.50/358.81 c | 543749 | 1587 25777 69669 | 34254 33238 69 | 1.612 % |
359.00/359.34 c | 544541 | 1587 25777 69669 | 34254 34030 69 | 1.612 % |
359.70/360.05 c | 545412 | 1587 25777 69669 | 34254 30113 62 | 1.612 % |
360.40/360.77 c | 546370 | 1587 25777 69669 | 34254 31071 63 | 1.612 % |
361.20/361.55 c | 547424 | 1587 25777 69669 | 34254 32125 64 | 1.612 % |
362.00/362.33 c | 548582 | 1587 25777 69669 | 34254 33283 66 | 1.612 % |
363.20/363.57 c | 549856 | 1587 25777 69669 | 34254 34557 67 | 1.612 % |
364.00/364.39 c | 551256 | 1587 25777 69669 | 29924 27131 58 | 1.612 % |
365.20/365.51 c | 552798 | 1587 25777 69669 | 29924 28673 61 | 1.612 % |
366.30/366.61 c | 554495 | 1587 25777 69669 | 29924 30370 63 | 1.612 % |
367.60/367.92 c | 556360 | 1587 25777 69669 | 29924 29132 63 | 1.612 % |
368.80/369.12 c | 558409 | 1587 25777 69669 | 29924 28145 63 | 1.612 % |
369.90/370.26 c | 560664 | 1587 25777 69669 | 2147483647 30400 65 | 1.613 % |
372.10/372.40 c | 563142 | 1587 25777 69669 | 2147483647 32878 67 | 1.612 % |
373.50/373.87 c | 565867 | 1587 25777 69669 | 2147483647 35603 70 | 1.612 % |
375.89/376.23 c | 568866 | 1587 25777 69669 | 2147483647 38602 73 | 1.612 % |
378.60/378.94 c | 572163 | 1587 25777 69669 | 39736 35742 69 | 1.612 % |
382.00/382.34 c | 575788 | 1587 25777 69669 | 39736 39367 72 | 1.612 % |
385.39/385.79 c | 579775 | 1587 25777 69669 | 39736 35878 67 | 1.612 % |
388.49/388.90 c | 584162 | 1587 25777 69669 | 36103 33824 68 | 1.612 % |
391.99/392.40 c | 588986 | 1587 25777 69669 | 36103 33394 68 | 1.612 % |
396.19/396.55 c | 594291 | 1587 25777 69669 | 34408 33539 66 | 1.612 % |
396.29/396.66 c | 594392 | 1587 25777 69669 | 34408 33640 66 | 1.612 % |
396.39/396.74 c | 594502 | 1587 25777 69669 | 34408 33750 66 | 1.612 % |
396.49/396.87 c | 594624 | 1587 25777 69669 | 34408 33872 66 | 1.612 % |
396.69/397.01 c | 594757 | 1587 25777 69669 | 34408 34005 66 | 1.612 % |
396.79/397.11 c | 594903 | 1587 25777 69669 | 34408 34151 66 | 1.612 % |
396.89/397.23 c | 595066 | 1587 25777 69669 | 34408 34314 67 | 1.612 % |
396.99/397.31 c | 595242 | 1587 25777 69669 | 34408 34490 67 | 1.612 % |
397.09/397.41 c | 595435 | 1587 25777 69669 | 34408 29305 60 | 1.612 % |
397.19/397.56 c | 595647 | 1587 25777 69669 | 34408 29517 60 | 1.612 % |
397.39/397.74 c | 595882 | 1587 25777 69669 | 34408 29752 60 | 1.612 % |
397.59/397.92 c | 596138 | 1587 25777 69669 | 34408 30008 60 | 1.612 % |
397.69/398.06 c | 596420 | 1587 25777 69669 | 34408 30290 61 | 1.612 % |
397.89/398.24 c | 596729 | 1587 25777 69669 | 34408 30599 61 | 1.612 % |
398.19/398.52 c | 597069 | 1587 25777 69669 | 34408 30939 62 | 1.612 % |
398.39/398.80 c | 597442 | 1587 25777 69669 | 34408 31312 62 | 1.612 % |
398.69/399.08 c | 597854 | 1587 25777 69669 | 34408 31724 63 | 1.612 % |
399.09/399.42 c | 598308 | 1587 25777 69669 | 34408 32178 63 | 1.612 % |
399.49/399.86 c | 598803 | 1587 25777 69669 | 34408 32673 64 | 1.612 % |
399.89/400.24 c | 599350 | 1587 25777 69669 | 34408 33220 65 | 1.612 % |
400.29/400.66 c | 599946 | 1587 25777 69669 | 34408 33816 65 | 1.612 % |
400.89/401.20 c | 600602 | 1587 25777 69669 | 33872 29507 57 | 1.612 % |
401.29/401.63 c | 601323 | 1587 25777 69669 | 33872 30228 58 | 1.612 % |
401.69/402.01 c | 602115 | 1587 25777 69669 | 33872 31020 58 | 1.612 % |
402.29/402.67 c | 602987 | 1587 25777 69669 | 33872 31892 59 | 1.612 % |
402.99/403.34 c | 603945 | 1587 25777 69669 | 33872 32850 60 | 1.612 % |
403.99/404.38 c | 604998 | 1587 25777 69669 | 33872 33903 61 | 1.612 % |
404.89/405.21 c | 606160 | 1587 25777 69669 | 33872 30325 57 | 1.612 % |
405.88/406.21 c | 607434 | 1587 25777 69669 | 33872 31599 59 | 1.612 % |
406.69/407.09 c | 608835 | 1587 25777 69669 | 33872 33000 60 | 1.612 % |
407.88/408.28 c | 610381 | 1587 25777 69669 | 34168 34546 61 | 1.612 % |
408.98/409.30 c | 612077 | 1587 25777 69669 | 34168 30911 58 | 1.612 % |
410.48/410.84 c | 613941 | 1587 25777 69669 | 34168 32775 61 | 1.612 % |
412.38/412.75 c | 615993 | 1587 25777 69669 | 34168 29740 58 | 1.612 % |
414.18/414.55 c | 618247 | 1587 25777 69669 | 34168 31994 60 | 1.612 % |
416.58/416.96 c | 620729 | 1587 25777 69669 | 33748 29372 59 | 1.612 % |
418.78/419.16 c | 623454 | 1587 25777 69669 | 33748 32097 63 | 1.612 % |
421.37/421.75 c | 626451 | 1587 25777 69669 | 33748 30071 63 | 1.612 % |
424.67/425.05 c | 629750 | 1587 25777 69669 | 33748 33370 68 | 1.612 % |
427.57/427.94 c | 633376 | 1587 25777 69669 | 33621 31845 68 | 1.612 % |
430.27/430.67 c | 637365 | 1587 25777 69669 | 33621 31141 67 | 1.612 % |
434.37/434.75 c | 641751 | 1587 25777 69669 | 33779 30428 67 | 1.612 % |
438.67/439.10 c | 646576 | 1587 25777 69669 | 33779 30210 65 | 1.612 % |
443.67/444.04 c | 651882 | 1587 25777 69669 | 33637 30076 66 | 1.612 % |
448.06/448.41 c | 657717 | 1587 25777 69669 | 33637 30474 67 | 1.612 % |
448.06/448.49 c | 657818 | 1587 25777 69669 | 33637 30575 67 | 1.612 % |
448.16/448.59 c | 657928 | 1587 25777 69669 | 33637 30685 67 | 1.612 % |
448.26/448.70 c | 658051 | 1587 25777 69669 | 33637 30808 67 | 1.612 % |
448.47/448.82 c | 658184 | 1587 25777 69669 | 33637 30941 67 | 1.612 % |
448.56/448.91 c | 658330 | 1587 25777 69669 | 33637 31087 67 | 1.612 % |
448.66/449.07 c | 658490 | 1587 25777 69669 | 33637 31247 67 | 1.612 % |
448.76/449.19 c | 658672 | 1587 25777 69669 | 33637 31429 68 | 1.612 % |
448.96/449.34 c | 658868 | 1587 25777 69669 | 33637 31625 68 | 1.612 % |
449.06/449.49 c | 659084 | 1587 25777 69669 | 33637 31841 68 | 1.612 % |
449.36/449.70 c | 659322 | 1587 25777 69669 | 33637 32079 68 | 1.612 % |
449.47/449.86 c | 659579 | 1587 25777 69669 | 33637 32336 68 | 1.612 % |
449.76/450.12 c | 659863 | 1587 25777 69669 | 33637 32620 68 | 1.612 % |
450.06/450.43 c | 660172 | 1587 25777 69669 | 32759 32929 68 | 1.612 % |
450.26/450.68 c | 660512 | 1587 25777 69669 | 32759 28103 64 | 1.612 % |
450.57/450.98 c | 660884 | 1587 25777 69669 | 32759 28475 64 | 1.612 % |
450.96/451.31 c | 661294 | 1587 25777 69669 | 32759 28885 64 | 1.612 % |
451.36/451.77 c | 661743 | 1587 25777 69669 | 32759 29334 65 | 1.612 % |
451.67/452.10 c | 662237 | 1587 25777 69669 | 32759 29828 65 | 1.612 % |
452.16/452.53 c | 662779 | 1587 25777 69669 | 32759 30370 66 | 1.612 % |
452.46/452.89 c | 663375 | 1587 25777 69669 | 32759 30966 67 | 1.612 % |
453.06/453.40 c | 664031 | 1587 25777 69669 | 32759 31622 68 | 1.612 % |
453.46/453.87 c | 664751 | 1587 25777 69669 | 32759 32342 69 | 1.612 % |
453.97/454.39 c | 665543 | 1587 25777 69669 | 32759 33134 70 | 1.612 % |
454.76/455.15 c | 666418 | 1587 25777 69669 | 32759 29301 63 | 1.612 % |
455.66/456.01 c | 667377 | 1587 25777 69669 | 32759 30260 65 | 1.612 % |
456.56/456.93 c | 668430 | 1587 25777 69669 | 32759 31313 67 | 1.612 % |
457.56/457.92 c | 669588 | 1587 25777 69669 | 32759 32471 69 | 1.612 % |
458.76/459.19 c | 670862 | 1587 25777 69669 | 32885 28885 64 | 1.612 % |
459.96/460.32 c | 672262 | 1587 25777 69669 | 32885 30285 65 | 1.612 % |
461.26/461.63 c | 673806 | 1587 25777 69669 | 32885 31829 67 | 1.612 % |
462.76/463.14 c | 675501 | 1587 25777 69669 | 32885 28463 64 | 1.612 % |
464.15/464.51 c | 677364 | 1587 25777 69669 | 32885 30326 66 | 1.612 % |
465.55/465.98 c | 679413 | 1587 25777 69669 | 32885 32375 67 | 1.612 % |
467.35/467.80 c | 681668 | 1587 25777 69669 | 32963 29448 63 | 1.612 % |
469.05/469.50 c | 684146 | 1587 25777 69669 | 32963 31926 65 | 1.612 % |
471.05/471.44 c | 686872 | 1587 25777 69669 | 32963 29732 58 | 1.612 % |
473.25/473.65 c | 689870 | 1587 25777 69669 | 32963 32730 62 | 1.612 % |
475.75/476.12 c | 693169 | 1587 25777 69669 | 32861 31288 60 | 1.612 % |
478.65/479.02 c | 696794 | 1587 25777 69669 | 32861 30649 59 | 1.612 % |
481.75/482.18 c | 700781 | 1587 25777 69669 | 29712 26798 57 | 1.612 % |
484.25/484.64 c | 705170 | 1587 25777 69669 | 29712 28157 58 | 1.612 % |
487.44/487.90 c | 709995 | 1587 25777 69669 | 29712 29965 60 | 1.612 % |
490.84/491.27 c | 715303 | 1587 25777 69669 | 2147483647 32277 65 | 1.612 % |
495.34/495.76 c | 721138 | 1587 25777 69669 | 36974 33203 70 | 1.612 % |
501.34/501.77 c | 727557 | 1587 25777 69669 | 36974 34294 74 | 1.612 % |
501.44/501.90 c | 727657 | 1587 25777 69669 | 36974 34394 74 | 1.612 % |
501.64/502.01 c | 727767 | 1587 25777 69669 | 36974 34504 74 | 1.612 % |
501.74/502.13 c | 727888 | 1587 25777 69669 | 36974 34625 74 | 1.612 % |
501.84/502.25 c | 728023 | 1587 25777 69669 | 36974 34760 74 | 1.612 % |
501.94/502.38 c | 728172 | 1587 25777 69669 | 36974 34909 74 | 1.612 % |
502.04/502.49 c | 728332 | 1587 25777 69669 | 36974 35069 74 | 1.612 % |
502.24/502.67 c | 728509 | 1587 25777 69669 | 36974 35246 75 | 1.612 % |
502.44/502.86 c | 728703 | 1587 25777 69669 | 36974 35440 75 | 1.612 % |
502.54/502.98 c | 728915 | 1587 25777 69669 | 36974 35652 75 | 1.612 % |
502.94/503.30 c | 729148 | 1587 25777 69669 | 36974 35885 75 | 1.612 % |
503.14/503.54 c | 729405 | 1587 25777 69669 | 36974 36142 75 | 1.612 % |
503.44/503.86 c | 729686 | 1587 25777 69669 | 36974 36423 76 | 1.612 % |
503.74/504.16 c | 729997 | 1587 25777 69669 | 36974 36734 76 | 1.612 % |
504.14/504.56 c | 730337 | 1587 25777 69669 | 36738 31499 70 | 1.612 % |
504.44/504.89 c | 730711 | 1587 25777 69669 | 36738 31873 71 | 1.612 % |
504.74/505.19 c | 731121 | 1587 25777 69669 | 36738 32283 71 | 1.612 % |
505.24/505.64 c | 731570 | 1587 25777 69669 | 36738 32732 71 | 1.612 % |
505.54/505.97 c | 732063 | 1587 25777 69669 | 36738 33225 72 | 1.612 % |
505.94/506.36 c | 732605 | 1587 25777 69669 | 36738 33767 73 | 1.612 % |
506.54/506.92 c | 733201 | 1587 25777 69669 | 36738 34363 73 | 1.612 % |
507.04/507.44 c | 733856 | 1587 25777 69669 | 36738 35018 74 | 1.612 % |
507.74/508.11 c | 734578 | 1587 25777 69669 | 36738 35740 74 | 1.612 % |
508.44/508.81 c | 735371 | 1587 25777 69669 | 36738 36533 75 | 1.612 % |
509.13/509.58 c | 736242 | 1587 25777 69669 | 36738 31141 67 | 1.612 % |
509.93/510.32 c | 737201 | 1587 25777 69669 | 36738 32100 68 | 1.612 % |
510.83/511.27 c | 738254 | 1587 25777 69669 | 36738 33153 70 | 1.612 % |
511.83/512.25 c | 739414 | 1587 25777 69669 | 36738 34313 71 | 1.612 % |
512.53/512.99 c | 740688 | 1587 25777 69669 | 34902 29810 62 | 1.612 % |
513.73/514.11 c | 742090 | 1587 25777 69669 | 34902 31212 64 | 1.612 % |
515.13/515.51 c | 743633 | 1587 25777 69669 | 34902 32755 65 | 1.612 % |
516.33/516.80 c | 745327 | 1587 25777 69669 | 34902 34449 67 | 1.612 % |
518.13/518.50 c | 747190 | 1587 25777 69669 | 34902 30600 63 | 1.612 % |
519.93/520.37 c | 749241 | 1587 25777 69669 | 34902 32651 65 | 1.612 % |
521.73/522.13 c | 751497 | 1587 25777 69669 | 33410 29559 59 | 1.612 % |
523.53/523.91 c | 753976 | 1587 25777 69669 | 33410 32038 62 | 1.612 % |
525.73/526.12 c | 756704 | 1587 25777 69669 | 33410 29876 59 | 1.612 % |
528.12/528.55 c | 759701 | 1587 25777 69669 | 33410 32873 63 | 1.612 % |
530.83/531.26 c | 762998 | 1587 25777 69669 | 33175 31423 61 | 1.612 % |
534.23/534.60 c | 766624 | 1587 25777 69669 | 33175 30174 61 | 1.612 % |
537.92/538.37 c | 770620 | 1587 25777 69669 | 28563 25075 57 | 1.612 % |
541.02/541.47 c | 775009 | 1587 25777 69669 | 28563 25754 60 | 1.612 % |
544.82/545.20 c | 779833 | 1587 25777 69669 | 28563 26827 62 | 1.612 % |
547.82/548.21 c | 785140 | 1587 25777 69669 | 26995 25945 59 | 1.612 % |
551.72/552.19 c | 790977 | 1587 25777 69669 | 2147483647 26282 58 | 1.612 % |
554.71/555.18 c | 797395 | 1587 25777 69669 | 2147483647 32700 66 | 1.612 % |
560.11/560.54 c | 804459 | 1587 25777 69669 | 2147483647 39764 74 | 1.612 % |
560.11/560.57 c | 804560 | 1587 25777 69669 | 2147483647 39865 74 | 1.612 % |
560.21/560.68 c | 804670 | 1587 25777 69669 | 2147483647 39975 74 | 1.612 % |
560.40/560.81 c | 804795 | 1587 25777 69669 | 2147483647 40100 74 | 1.612 % |
560.51/560.97 c | 804931 | 1587 25777 69669 | 2147483647 40236 74 | 1.612 % |
560.70/561.13 c | 805080 | 1587 25777 69669 | 2147483647 40385 74 | 1.612 % |
560.90/561.33 c | 805241 | 1587 25777 69669 | 2147483647 40546 74 | 1.612 % |
561.10/561.50 c | 805417 | 1587 25777 69669 | 2147483647 40722 74 | 1.612 % |
561.30/561.73 c | 805612 | 1587 25777 69669 | 2147483647 40917 75 | 1.612 % |
561.50/561.99 c | 805826 | 1587 25777 69669 | 2147483647 41131 75 | 1.612 % |
561.80/562.20 c | 806061 | 1587 25777 69669 | 2147483647 41366 75 | 1.612 % |
562.10/562.53 c | 806322 | 1587 25777 69669 | 2147483647 41627 75 | 1.612 % |
562.40/562.84 c | 806603 | 1587 25777 69669 | 2147483647 41908 75 | 1.612 % |
562.60/563.09 c | 806913 | 1587 25777 69669 | 2147483647 42218 75 | 1.612 % |
563.00/563.40 c | 807254 | 1587 25777 69669 | 2147483647 42559 76 | 1.612 % |
563.30/563.73 c | 807627 | 1587 25777 69669 | 2147483647 42932 76 | 1.612 % |
563.70/564.19 c | 808036 | 1587 25777 69669 | 2147483647 43341 76 | 1.612 % |
564.40/564.81 c | 808485 | 1587 25777 69669 | 2147483647 43790 76 | 1.612 % |
565.01/565.42 c | 808979 | 1587 25777 69669 | 2147483647 44284 76 | 1.612 % |
565.41/565.80 c | 809521 | 1587 25777 69669 | 2147483647 44826 77 | 1.612 % |
566.11/566.59 c | 810119 | 1587 25777 69669 | 45308 45424 77 | 1.612 % |
566.71/567.16 c | 810774 | 1587 25777 69669 | 45308 37097 72 | 1.612 % |
567.41/567.82 c | 811495 | 1587 25777 69669 | 45308 37818 72 | 1.612 % |
567.91/568.34 c | 812287 | 1587 25777 69669 | 45308 38610 73 | 1.612 % |
568.61/569.04 c | 813159 | 1587 25777 69669 | 45308 39482 73 | 1.612 % |
569.41/569.84 c | 814119 | 1587 25777 69669 | 45308 40442 74 | 1.612 % |
570.30/570.74 c | 815172 | 1587 25777 69669 | 45308 41495 75 | 1.612 % |
571.61/572.02 c | 816335 | 1587 25777 69669 | 45308 42658 75 | 1.612 % |
573.00/573.45 c | 817608 | 1587 25777 69669 | 45308 43931 75 | 1.612 % |
574.70/575.14 c | 819010 | 1587 25777 69669 | 45308 45333 76 | 1.612 % |
576.20/576.66 c | 820552 | 1587 25777 69669 | 36254 28860 58 | 1.612 % |
577.70/578.11 c | 822246 | 1587 25777 69669 | 36254 30554 61 | 1.612 % |
579.10/579.57 c | 824110 | 1587 25777 69669 | 36254 32418 63 | 1.612 % |
580.50/580.91 c | 826159 | 1587 25777 69669 | 36254 34467 65 | 1.612 % |
582.20/582.67 c | 828413 | 1587 25777 69669 | 36254 31036 61 | 1.612 % |
584.00/584.46 c | 830891 | 1587 25777 69669 | 32623 28461 58 | 1.612 % |
585.90/586.33 c | 833616 | 1587 25777 69669 | 32623 31186 61 | 1.612 % |
587.90/588.37 c | 836614 | 1587 25777 69669 | 32623 30320 61 | 1.612 % |
590.70/591.15 c | 839911 | 1587 25777 69669 | 32623 29606 60 | 1.612 % |
592.90/593.31 c | 843537 | 1587 25777 69669 | 29696 29679 61 | 1.612 % |
595.49/595.94 c | 847530 | 1587 25777 69669 | 29696 27543 60 | 1.612 % |
598.99/599.43 c | 851915 | 1587 25777 69669 | 2147483647 31928 65 | 1.612 % |
603.68/604.14 c | 856740 | 1587 25777 69669 | 2147483647 36753 71 | 1.612 % |
608.28/608.71 c | 862046 | 1587 25777 69669 | 40013 35585 72 | 1.612 % |
614.38/614.88 c | 867884 | 1587 25777 69669 | 40013 34170 73 | 1.612 % |
620.08/620.51 c | 874302 | 1587 25777 69669 | 36287 34081 72 | 1.612 % |
625.68/626.15 c | 881362 | 1587 25777 69669 | 33610 29549 65 | 1.612 % |
632.47/632.95 c | 889130 | 1587 25777 69669 | 33610 32510 67 | 1.612 % |
632.57/633.06 c | 889232 | 1587 25777 69669 | 33610 32612 67 | 1.612 % |
632.67/633.16 c | 889344 | 1587 25777 69669 | 33610 32724 67 | 1.612 % |
632.77/633.29 c | 889465 | 1587 25777 69669 | 33610 32845 67 | 1.612 % |
632.97/633.45 c | 889600 | 1587 25777 69669 | 33610 32980 67 | 1.612 % |
633.08/633.57 c | 889746 | 1587 25777 69669 | 33610 33126 68 | 1.612 % |
633.18/633.69 c | 889906 | 1587 25777 69669 | 33610 33286 68 | 1.612 % |
633.37/633.89 c | 890083 | 1587 25777 69669 | 33380 33463 68 | 1.612 % |
633.57/634.07 c | 890277 | 1587 25777 69669 | 33380 28594 62 | 1.612 % |
633.77/634.25 c | 890490 | 1587 25777 69669 | 33380 28807 63 | 1.612 % |
633.97/634.46 c | 890725 | 1587 25777 69669 | 33380 29042 63 | 1.612 % |
634.18/634.70 c | 890981 | 1587 25777 69669 | 33380 29298 63 | 1.612 % |
634.47/634.95 c | 891263 | 1587 25777 69669 | 33380 29580 64 | 1.612 % |
634.67/635.18 c | 891572 | 1587 25777 69669 | 33380 29889 64 | 1.612 % |
635.07/635.58 c | 891912 | 1587 25777 69669 | 33380 30229 65 | 1.612 % |
635.47/635.97 c | 892285 | 1587 25777 69669 | 33380 30602 65 | 1.612 % |
635.77/636.24 c | 892694 | 1587 25777 69669 | 33380 31011 66 | 1.612 % |
636.07/636.58 c | 893145 | 1586 25745 69595 | 33380 31460 66 | 1.674 % |
636.37/636.90 c | 893638 | 1586 25745 69595 | 33380 31953 67 | 1.674 % |
636.87/637.30 c | 894181 | 1586 25745 69595 | 33380 32496 67 | 1.674 % |
637.17/637.68 c | 894777 | 1586 25745 69595 | 33380 33092 68 | 1.674 % |
637.77/638.27 c | 895433 | 1586 25745 69595 | 33380 33748 68 | 1.674 % |
638.17/638.67 c | 896161 | 1586 25745 69595 | 33380 29463 61 | 1.674 % |
638.87/639.32 c | 896956 | 1586 25745 69595 | 33380 30258 61 | 1.674 % |
639.57/640.01 c | 897828 | 1586 25745 69595 | 33380 31130 63 | 1.674 % |
640.47/640.92 c | 898786 | 1586 25745 69595 | 33380 32088 64 | 1.674 % |
641.47/641.96 c | 899839 | 1586 25745 69595 | 33380 33141 66 | 1.674 % |
642.47/642.97 c | 901000 | 1586 25745 69595 | 33302 29511 60 | 1.674 % |
643.57/644.02 c | 902273 | 1586 25745 69595 | 33302 30784 62 | 1.674 % |
644.66/645.15 c | 903673 | 1586 25745 69595 | 33302 32184 64 | 1.674 % |
646.16/646.60 c | 905218 | 1586 25745 69595 | 33302 29050 62 | 1.674 % |
647.46/647.93 c | 906913 | 1586 25745 69595 | 33302 30745 63 | 1.674 % |
648.56/649.08 c | 908777 | 1586 25745 69595 | 33302 32609 65 | 1.674 % |
650.06/650.57 c | 910830 | 1586 25745 69595 | 29019 25722 57 | 1.674 % |
651.66/652.20 c | 913083 | 1586 25745 69595 | 29019 27975 61 | 1.674 % |
653.56/654.03 c | 915561 | 1586 25745 69595 | 29019 27246 60 | 1.674 % |
655.46/655.97 c | 918287 | 1586 25745 69595 | 29019 27034 61 | 1.674 % |
657.46/657.90 c | 921284 | 1586 25745 69595 | 2147483647 30031 67 | 1.674 % |
660.16/660.60 c | 924580 | 1586 25745 69595 | 2147483647 33327 70 | 1.674 % |
662.86/663.36 c | 928212 | 1586 25745 69595 | 2147483647 36959 75 | 1.674 % |
666.75/667.24 c | 932200 | 1586 25745 69595 | 38748 35080 74 | 1.674 % |
670.85/671.39 c | 936586 | 1586 25745 69595 | 38748 32737 69 | 1.674 % |
675.25/675.76 c | 941409 | 1586 25745 69595 | 36152 31446 67 | 1.674 % |
679.55/680.09 c | 946714 | 1586 25745 69595 | 36152 31095 66 | 1.674 % |
684.94/685.49 c | 952549 | 1586 25745 69595 | 34381 31461 67 | 1.674 % |
691.04/691.50 c | 958970 | 1586 25745 69595 | 34381 32680 70 | 1.674 % |
697.24/697.79 c | 966031 | 1586 25745 69595 | 33712 30290 67 | 1.674 % |
703.83/704.37 c | 973795 | 1586 25745 69595 | 29446 29093 64 | 1.674 % |
711.03/711.52 c | 982335 | 1586 25745 69595 | 28807 27814 59 | 1.674 % |
711.13/711.61 c | 982437 | 1586 25745 69595 | 28807 27916 59 | 1.674 % |
711.13/711.69 c | 982547 | 1586 25745 69595 | 28807 28026 59 | 1.674 % |
711.24/711.79 c | 982668 | 1586 25745 69595 | 28807 28147 59 | 1.674 % |
711.33/711.87 c | 982801 | 1586 25745 69595 | 28807 28280 60 | 1.677 % |
711.43/711.98 c | 982948 | 1586 25745 69595 | 28807 28427 60 | 1.674 % |
711.53/712.07 c | 983108 | 1586 25745 69595 | 28807 28587 60 | 1.674 % |
711.63/712.17 c | 983284 | 1586 25745 69595 | 28807 28763 60 | 1.674 % |
711.83/712.34 c | 983477 | 1586 25745 69595 | 28807 28956 60 | 1.674 % |
712.03/712.51 c | 983690 | 1586 25745 69595 | 28807 26012 56 | 1.674 % |
712.13/712.64 c | 983926 | 1586 25745 69595 | 28807 26248 57 | 1.674 % |
712.33/712.83 c | 984182 | 1586 25745 69595 | 28807 26504 57 | 1.674 % |
712.53/713.06 c | 984463 | 1586 25745 69595 | 28807 26785 57 | 1.674 % |
712.73/713.28 c | 984772 | 1586 25745 69595 | 28807 27094 58 | 1.674 % |
713.03/713.54 c | 985112 | 1586 25745 69595 | 28807 27434 58 | 1.674 % |
713.33/713.85 c | 985484 | 1586 25745 69595 | 28807 27806 58 | 1.674 % |
713.63/714.14 c | 985894 | 1586 25745 69595 | 28807 28216 59 | 1.674 % |
714.03/714.54 c | 986344 | 1586 25745 69595 | 28807 28666 59 | 1.674 % |
714.43/714.95 c | 986839 | 1586 25745 69595 | 28807 29161 60 | 1.674 % |
714.83/715.37 c | 987383 | 1586 25745 69595 | 28807 26311 56 | 1.674 % |
715.23/715.79 c | 987979 | 1586 25745 69595 | 28807 26907 57 | 1.674 % |
715.63/716.14 c | 988634 | 1586 25745 69595 | 28807 27562 58 | 1.674 % |
716.03/716.57 c | 989354 | 1586 25745 69595 | 28807 28282 59 | 1.674 % |
716.63/717.12 c | 990146 | 1586 25745 69595 | 28931 29074 60 | 1.674 % |
717.23/717.70 c | 991018 | 1586 25745 69595 | 28931 26677 57 | 1.674 % |
717.93/718.45 c | 991978 | 1586 25745 69595 | 28931 27637 59 | 1.674 % |
718.83/719.30 c | 993031 | 1586 25745 69595 | 28931 28690 60 | 1.674 % |
719.63/720.18 c | 994190 | 1586 25745 69595 | 28931 26920 59 | 1.674 % |
720.43/720.99 c | 995466 | 1586 25745 69595 | 28931 28196 60 | 1.674 % |
721.73/722.21 c | 996866 | 1586 25745 69595 | 28931 26387 58 | 1.674 % |
722.53/723.07 c | 998406 | 1586 25745 69595 | 28931 27927 60 | 1.674 % |
724.02/724.53 c | 1000102 | 1586 25745 69595 | 26484 26585 59 | 1.674 % |
725.02/725.51 c | 1001965 | 1586 25745 69595 | 26484 25700 58 | 1.674 % |
726.53/727.01 c | 1004016 | 1586 25745 69595 | 26484 25063 57 | 1.674 % |
727.82/728.35 c | 1006271 | 1586 25745 69595 | 26484 24632 58 | 1.674 % |
729.22/729.76 c | 1008754 | 1586 25745 69595 | 26484 24444 56 | 1.674 % |
730.82/731.38 c | 1011480 | 1586 25745 69595 | 2147483647 27170 61 | 1.674 % |
732.32/732.84 c | 1014477 | 1586 25745 69595 | 2147483647 30167 63 | 1.674 % |
734.81/735.37 c | 1017774 | 1586 25745 69595 | 2147483647 33464 67 | 1.674 % |
738.31/738.85 c | 1021400 | 1586 25745 69595 | 35691 32747 66 | 1.674 % |
742.11/742.63 c | 1025387 | 1586 25745 69595 | 35691 31196 66 | 1.674 % |
746.61/747.12 c | 1029773 | 1586 25745 69595 | 35691 35582 71 | 1.674 % |
749.91/750.45 c | 1034599 | 1586 25745 69595 | 35812 34528 72 | 1.674 % |
754.41/754.97 c | 1039904 | 1586 25745 69595 | 35812 34375 73 | 1.674 % |
759.51/760.08 c | 1045739 | 1586 25745 69595 | 34471 34666 71 | 1.674 % |
765.11/765.67 c | 1052157 | 1586 25745 69595 | 33116 29797 61 | 1.674 % |
770.00/770.52 c | 1059217 | 1586 25745 69595 | 33116 32347 62 | 1.674 % |
776.10/776.67 c | 1066981 | 1586 25745 69595 | 33130 31858 61 | 1.674 % |
782.79/783.36 c | 1075522 | 1586 25745 69595 | 30527 27458 57 | 1.674 % |
788.99/789.56 c | 1084917 | 1586 25745 69595 | 27992 26723 64 | 1.674 % |
789.09/789.64 c | 1085017 | 1586 25745 69595 | 27992 26823 64 | 1.674 % |
789.19/789.74 c | 1085129 | 1586 25745 69595 | 27992 26935 64 | 1.674 % |
789.29/789.83 c | 1085253 | 1586 25745 69595 | 27992 27059 64 | 1.674 % |
789.39/789.94 c | 1085390 | 1586 25745 69595 | 27992 27196 64 | 1.674 % |
789.49/790.02 c | 1085536 | 1586 25745 69595 | 27992 27342 64 | 1.674 % |
789.59/790.14 c | 1085696 | 1586 25745 69595 | 27992 27502 65 | 1.674 % |
789.69/790.27 c | 1085873 | 1586 25745 69595 | 27992 27679 65 | 1.674 % |
789.89/790.42 c | 1086067 | 1586 25745 69595 | 27992 27873 65 | 1.674 % |
789.99/790.58 c | 1086281 | 1586 25745 69595 | 27992 28087 65 | 1.674 % |
790.19/790.73 c | 1086514 | 1586 25745 69595 | 27992 25512 63 | 1.674 % |
790.29/790.89 c | 1086770 | 1586 25745 69595 | 27992 25768 63 | 1.674 % |
790.49/791.06 c | 1087053 | 1586 25745 69595 | 27992 26051 64 | 1.674 % |
790.79/791.33 c | 1087364 | 1586 25745 69595 | 27992 26362 64 | 1.674 % |
790.99/791.52 c | 1087703 | 1586 25745 69595 | 27992 26701 64 | 1.674 % |
791.29/791.81 c | 1088076 | 1586 25745 69595 | 27992 27074 65 | 1.674 % |
791.49/792.06 c | 1088486 | 1586 25745 69595 | 27992 27484 66 | 1.674 % |
791.79/792.36 c | 1088936 | 1586 25745 69595 | 27992 27934 66 | 1.674 % |
792.29/792.82 c | 1089429 | 1586 25745 69595 | 27992 25591 64 | 1.674 % |
792.59/793.18 c | 1089971 | 1586 25745 69595 | 27992 26133 65 | 1.674 % |
793.09/793.60 c | 1090570 | 1586 25745 69595 | 2147483647 26732 66 | 1.674 % |
793.49/794.02 c | 1091225 | 1586 25745 69595 | 2147483647 27387 67 | 1.674 % |
794.19/794.70 c | 1091947 | 1586 25745 69595 | 2147483647 28109 68 | 1.674 % |
794.79/795.37 c | 1092740 | 1586 25745 69595 | 2147483647 28902 69 | 1.674 % |
795.59/796.11 c | 1093612 | 1586 25745 69595 | 2147483647 29774 70 | 1.674 % |
796.18/796.79 c | 1094570 | 1586 25745 69595 | 2147483647 30732 70 | 1.674 % |
796.99/797.53 c | 1095623 | 1586 25745 69595 | 2147483647 31785 71 | 1.674 % |
798.18/798.70 c | 1096781 | 1586 25745 69595 | 2147483647 32943 72 | 1.674 % |
799.28/799.81 c | 1098057 | 1586 25745 69595 | 2147483647 34219 73 | 1.674 % |
800.68/801.22 c | 1099460 | 1586 25745 69595 | 2147483647 35622 74 | 1.674 % |
802.08/802.63 c | 1101000 | 1586 25745 69595 | 36163 32038 66 | 1.674 % |
803.68/804.29 c | 1102694 | 1586 25745 69595 | 36163 33732 68 | 1.674 % |
805.88/806.42 c | 1104558 | 1586 25745 69595 | 36163 35596 70 | 1.674 % |
807.98/808.58 c | 1106608 | 1586 25745 69595 | 36163 31311 64 | 1.674 % |
809.98/810.59 c | 1108862 | 1586 25745 69595 | 36163 33565 67 | 1.674 % |
812.38/812.93 c | 1111344 | 1586 25745 69595 | 34703 29850 63 | 1.674 % |
814.48/815.09 c | 1114069 | 1586 25745 69595 | 34703 32575 67 | 1.674 % |
817.58/818.18 c | 1117067 | 1586 25745 69595 | 34703 29581 66 | 1.674 % |
820.58/821.19 c | 1120365 | 1586 25745 69595 | 32514 27237 63 | 1.674 % |
823.47/824.01 c | 1123992 | 1586 25745 69595 | 32514 30864 66 | 1.674 % |
826.37/826.96 c | 1127980 | 1586 25745 69595 | 32514 30055 64 | 1.674 % |
829.97/830.54 c | 1132365 | 1586 25745 69595 | 32075 29975 65 | 1.674 % |
833.17/833.80 c | 1137190 | 1586 25745 69595 | 32075 30935 67 | 1.674 % |
837.36/837.92 c | 1142498 | 1586 25745 69595 | 30001 28987 66 | 1.674 % |
841.76/842.36 c | 1148334 | 1586 25745 69595 | 30001 27962 64 | 1.674 % |
846.76/847.31 c | 1154753 | 1586 25745 69595 | 29633 27481 66 | 1.674 % |
852.26/852.88 c | 1161813 | 1586 25745 69595 | 29115 27351 67 | 1.674 % |
857.96/858.53 c | 1169577 | 1586 25745 69595 | 29115 28661 70 | 1.674 % |
863.85/864.50 c | 1178117 | 1586 25745 69595 | 29085 28069 71 | 1.674 % |
869.56/870.16 c | 1187512 | 1586 25745 69595 | 2147483647 34515 75 | 1.674 % |
878.55/879.16 c | 1197845 | 1586 25745 69595 | 37003 34316 73 | 1.674 % |
878.65/879.25 c | 1197946 | 1586 25745 69595 | 37003 34417 73 | 1.674 % |
878.75/879.36 c | 1198057 | 1586 25745 69595 | 37003 34528 73 | 1.674 % |
878.95/879.51 c | 1198179 | 1586 25745 69595 | 37003 34650 73 | 1.674 % |
879.05/879.68 c | 1198314 | 1586 25745 69595 | 37003 34785 73 | 1.674 % |
879.25/879.81 c | 1198462 | 1586 25745 69595 | 37003 34933 73 | 1.674 % |
879.35/879.95 c | 1198624 | 1586 25745 69595 | 37003 35095 73 | 1.674 % |
879.55/880.14 c | 1198801 | 1586 25745 69595 | 37003 35272 73 | 1.674 % |
879.65/880.27 c | 1198994 | 1586 25745 69595 | 37003 35465 73 | 1.674 % |
879.95/880.51 c | 1199207 | 1586 25745 69595 | 37003 35678 74 | 1.674 % |
880.15/880.80 c | 1199440 | 1586 25745 69595 | 37003 35911 74 | 1.674 % |
880.45/881.01 c | 1199697 | 1586 25745 69595 | 37003 36168 74 | 1.674 % |
880.75/881.32 c | 1199978 | 1586 25745 69595 | 37003 36449 74 | 1.674 % |
881.05/881.69 c | 1200287 | 1586 25745 69595 | 36471 36758 74 | 1.674 % |
881.35/881.97 c | 1200626 | 1586 25745 69595 | 36471 30967 68 | 1.674 % |
881.75/882.34 c | 1200998 | 1586 25745 69595 | 36471 31339 68 | 1.674 % |
882.15/882.72 c | 1201409 | 1586 25745 69595 | 36471 31750 69 | 1.674 % |
882.55/883.10 c | 1201859 | 1586 25745 69595 | 36471 32200 69 | 1.674 % |
882.95/883.53 c | 1202352 | 1586 25745 69595 | 36471 32693 70 | 1.674 % |
883.45/884.02 c | 1202895 | 1586 25745 69595 | 36471 33236 70 | 1.674 % |
883.95/884.52 c | 1203491 | 1586 25745 69595 | 36471 33832 71 | 1.674 % |
884.55/885.12 c | 1204146 | 1586 25745 69595 | 36471 34487 71 | 1.674 % |
885.15/885.73 c | 1204866 | 1586 25745 69595 | 36471 35207 72 | 1.674 % |
885.75/886.39 c | 1205658 | 1586 25745 69595 | 36471 35999 72 | 1.674 % |
886.65/887.20 c | 1206533 | 1586 25745 69595 | 36471 36874 72 | 1.674 % |
887.45/888.02 c | 1207491 | 1586 25745 69595 | 36471 31443 64 | 1.674 % |
888.65/889.24 c | 1208545 | 1586 25745 69595 | 36471 32497 65 | 1.674 % |
889.85/890.48 c | 1209705 | 1586 25745 69595 | 36471 33657 66 | 1.674 % |
891.05/891.62 c | 1210978 | 1586 25745 69595 | 33954 28911 60 | 1.674 % |
892.15/892.78 c | 1212378 | 1586 25745 69595 | 33954 30311 62 | 1.674 % |
893.75/894.32 c | 1213918 | 1586 25745 69595 | 33954 31851 64 | 1.674 % |
895.04/895.69 c | 1215612 | 1586 25745 69595 | 33954 33545 65 | 1.674 % |
896.74/897.38 c | 1217477 | 1586 25745 69595 | 33954 29980 61 | 1.674 % |
898.44/899.08 c | 1219526 | 1586 25745 69595 | 33954 32029 64 | 1.674 % |
900.74/901.37 c | 1221779 | 1586 25745 69595 | 32503 28857 61 | 1.674 % |
903.34/903.93 c | 1224257 | 1586 25745 69595 | 32503 31335 64 | 1.674 % |
905.75/906.36 c | 1226983 | 1586 25745 69595 | 32503 28601 61 | 1.674 % |
908.34/908.96 c | 1229980 | 1586 25745 69595 | 32503 31598 65 | 1.674 % |
911.44/912.08 c | 1233277 | 1586 25745 69595 | 31619 29748 64 | 1.674 % |
914.73/915.37 c | 1236902 | 1586 25745 69595 | 31619 28505 63 | 1.674 % |
917.33/917.91 c | 1240890 | 1586 25745 69595 | 31605 28049 63 | 1.674 % |
920.33/920.96 c | 1245277 | 1586 25745 69595 | 31605 28272 61 | 1.674 % |
924.13/924.79 c | 1250102 | 1586 25745 69595 | 28417 28515 62 | 1.674 % |
927.83/928.47 c | 1255412 | 1586 25745 69595 | 28417 26635 62 | 1.674 % |
931.33/931.98 c | 1261247 | 1586 25745 69595 | 28210 26574 68 | 1.674 % |
935.62/936.26 c | 1267665 | 1585 25713 69521 | 28210 27081 64 | 1.736 % |
939.52/940.14 c | 1274724 | 1585 25713 69521 | 2147483647 31257 69 | 1.736 % |
946.22/946.89 c | 1282488 | 1585 25713 69521 | 36533 34119 69 | 1.736 % |
953.72/954.34 c | 1291031 | 1585 25713 69521 | 35810 31292 69 | 1.736 % |
961.21/961.85 c | 1300425 | 1585 25713 69521 | 34790 35215 73 | 1.736 % |
970.11/970.74 c | 1310758 | 1585 25713 69521 | 32847 26961 64 | 1.736 % |
978.41/979.10 c | 1322124 | 1585 25713 69521 | 31318 29222 66 | 1.736 % |
978.51/979.15 c | 1322224 | 1585 25713 69521 | 31318 29322 66 | 1.736 % |
978.61/979.24 c | 1322335 | 1585 25713 69521 | 31318 29433 66 | 1.736 % |
978.71/979.35 c | 1322458 | 1585 25713 69521 | 31318 29556 66 | 1.736 % |
978.81/979.47 c | 1322591 | 1585 25713 69521 | 31318 29689 66 | 1.736 % |
978.91/979.59 c | 1322737 | 1585 25713 69521 | 31318 29835 66 | 1.736 % |
979.11/979.74 c | 1322897 | 1585 25713 69521 | 31318 29995 67 | 1.736 % |
979.31/979.90 c | 1323073 | 1585 25713 69521 | 31318 30171 67 | 1.736 % |
979.41/980.07 c | 1323268 | 1585 25713 69521 | 31318 30366 67 | 1.736 % |
979.71/980.31 c | 1323481 | 1585 25713 69521 | 31318 30579 67 | 1.736 % |
979.81/980.46 c | 1323715 | 1585 25713 69521 | 31318 30813 68 | 1.736 % |
980.01/980.61 c | 1323971 | 1585 25713 69521 | 31318 31069 68 | 1.736 % |
980.20/980.84 c | 1324254 | 1585 25713 69521 | 31318 31352 68 | 1.736 % |
980.40/981.05 c | 1324564 | 1585 25713 69521 | 31318 27743 63 | 1.736 % |
980.70/981.30 c | 1324903 | 1585 25713 69521 | 31318 28082 63 | 1.736 % |
981.00/981.63 c | 1325275 | 1585 25713 69521 | 31318 28454 64 | 1.736 % |
981.20/981.88 c | 1325687 | 1585 25713 69521 | 31318 28866 64 | 1.736 % |
981.61/982.23 c | 1326136 | 1585 25713 69521 | 31318 29315 64 | 1.736 % |
982.00/982.61 c | 1326629 | 1585 25713 69521 | 31318 29808 65 | 1.736 % |
982.40/983.05 c | 1327171 | 1585 25713 69521 | 31318 30350 65 | 1.736 % |
982.90/983.55 c | 1327768 | 1585 25713 69521 | 31318 30947 66 | 1.736 % |
983.50/984.14 c | 1328424 | 1585 25713 69521 | 31318 31603 66 | 1.736 % |
983.91/984.55 c | 1329145 | 1585 25713 69521 | 31318 28371 62 | 1.736 % |
984.50/985.15 c | 1329939 | 1585 25713 69521 | 31318 29165 64 | 1.736 % |
985.10/985.78 c | 1330810 | 1585 25713 69521 | 29227 26409 59 | 1.736 % |
985.90/986.51 c | 1331768 | 1585 25713 69521 | 29227 27367 61 | 1.736 % |
986.80/987.43 c | 1332825 | 1585 25713 69521 | 29227 28424 62 | 1.736 % |
987.60/988.26 c | 1333983 | 1585 25713 69521 | 29227 29582 64 | 1.736 % |
988.60/989.27 c | 1335258 | 1585 25713 69521 | 29227 27358 61 | 1.736 % |
989.90/990.56 c | 1336659 | 1585 25713 69521 | 29227 28759 63 | 1.736 % |
990.90/991.51 c | 1338201 | 1585 25713 69521 | 29227 26869 61 | 1.736 % |
992.10/992.72 c | 1339895 | 1585 25713 69521 | 29227 28563 64 | 1.736 % |
993.40/994.06 c | 1341758 | 1585 25713 69521 | 28672 27221 63 | 1.736 % |
994.80/995.43 c | 1343808 | 1585 25713 69521 | 28672 25887 58 | 1.737 % |
996.50/997.11 c | 1346063 | 1585 25713 69521 | 28672 28142 62 | 1.736 % |
998.20/998.86 c | 1348542 | 1585 25713 69521 | 28672 27324 60 | 1.736 % |
1000.10/1000.79 c | 1351270 | 1585 25713 69521 | 28783 26763 59 | 1.736 % |
1002.10/1002.78 c | 1354271 | 1585 25713 69521 | 28783 26745 58 | 1.736 % |
1004.69/1005.35 c | 1357567 | 1585 25713 69521 | 28783 26598 60 | 1.736 % |
1007.29/1007.97 c | 1361193 | 1585 25713 69521 | 29031 26812 63 | 1.736 % |
1009.69/1010.31 c | 1365181 | 1585 25713 69521 | 29031 27796 65 | 1.736 % |
1012.49/1013.10 c | 1369567 | 1585 25713 69521 | 29031 29103 69 | 1.736 % |
1015.48/1016.11 c | 1374394 | 1585 25713 69521 | 26565 25567 64 | 1.736 % |
1018.28/1018.91 c | 1379699 | 1585 25713 69521 | 26565 25437 63 | 1.736 % |
1022.68/1023.35 c | 1385537 | 1585 25713 69521 | 2147483647 31275 71 | 1.736 % |
1028.88/1029.60 c | 1391955 | 1585 25713 69521 | 35738 33068 72 | 1.736 % |
1035.67/1036.34 c | 1399016 | 1585 25713 69521 | 35738 34784 72 | 1.736 % |
1043.87/1044.57 c | 1406781 | 1585 25713 69521 | 35768 30604 65 | 1.736 % |
1050.46/1051.18 c | 1415321 | 1585 25713 69521 | 33823 33725 69 | 1.736 % |
1058.96/1059.65 c | 1424715 | 1585 25713 69521 | 33527 33301 67 | 1.736 % |
1067.16/1067.80 c | 1435049 | 1585 25713 69521 | 33254 33533 63 | 1.736 % |
1076.05/1076.71 c | 1446415 | 1585 25713 69521 | 29234 28919 63 | 1.736 % |
1086.45/1087.17 c | 1458918 | 1585 25713 69521 | 26592 24642 60 | 1.736 % |
1086.45/1087.19 c | 1459018 | 1585 25713 69521 | 26592 24742 60 | 1.736 % |
1086.55/1087.22 c | 1459129 | 1585 25713 69521 | 26592 24853 60 | 1.736 % |
1086.65/1087.33 c | 1459252 | 1585 25713 69521 | 26592 24976 60 | 1.736 % |
1086.75/1087.42 c | 1459386 | 1585 25713 69521 | 26592 25110 61 | 1.736 % |
1086.85/1087.51 c | 1459535 | 1585 25713 69521 | 26592 25259 61 | 1.736 % |
1086.95/1087.62 c | 1459695 | 1585 25713 69521 | 26592 25419 61 | 1.736 % |
1087.05/1087.71 c | 1459871 | 1585 25713 69521 | 26592 25595 61 | 1.736 % |
1087.15/1087.84 c | 1460066 | 1585 25713 69521 | 2147483647 25790 61 | 1.736 % |
1087.35/1088.06 c | 1460278 | 1585 25713 69521 | 2147483647 26002 61 | 1.736 % |
1087.55/1088.27 c | 1460513 | 1585 25713 69521 | 2147483647 26237 62 | 1.736 % |
1087.75/1088.45 c | 1460769 | 1585 25713 69521 | 2147483647 26493 62 | 1.736 % |
1087.95/1088.67 c | 1461051 | 1585 25713 69521 | 2147483647 26775 62 | 1.736 % |
1088.26/1088.91 c | 1461361 | 1585 25713 69521 | 2147483647 27085 63 | 1.736 % |
1088.36/1089.09 c | 1461702 | 1585 25713 69521 | 2147483647 27426 63 | 1.736 % |
1088.65/1089.33 c | 1462075 | 1585 25713 69521 | 2147483647 27799 64 | 1.736 % |
1088.95/1089.62 c | 1462486 | 1585 25713 69521 | 2147483647 28210 64 | 1.736 % |
1089.25/1089.97 c | 1462935 | 1585 25713 69521 | 2147483647 28659 65 | 1.736 % |
1089.55/1090.24 c | 1463429 | 1585 25713 69521 | 2147483647 29153 65 | 1.736 % |
1089.95/1090.67 c | 1463974 | 1585 25713 69521 | 2147483647 29698 65 | 1.736 % |
1090.35/1091.09 c | 1464571 | 1585 25713 69521 | 2147483647 30295 66 | 1.736 % |
1090.85/1091.50 c | 1465226 | 1585 25713 69521 | 2147483647 30950 67 | 1.736 % |
1091.45/1092.16 c | 1465946 | 1585 25713 69521 | 2147483647 31670 67 | 1.736 % |
1092.05/1092.79 c | 1466738 | 1585 25713 69521 | 2147483647 32462 68 | 1.736 % |
1092.65/1093.34 c | 1467609 | 1585 25713 69521 | 2147483647 33333 69 | 1.736 % |
1093.25/1093.96 c | 1468569 | 1585 25713 69521 | 2147483647 34293 69 | 1.736 % |
1094.04/1094.71 c | 1469622 | 1585 25713 69521 | 2147483647 35346 71 | 1.736 % |
1095.14/1095.82 c | 1470780 | 1585 25713 69521 | 35725 31571 65 | 1.736 % |
1096.24/1096.96 c | 1472059 | 1585 25713 69521 | 35725 32850 66 | 1.736 % |
1097.54/1098.28 c | 1473460 | 1585 25713 69521 | 35725 34251 67 | 1.736 % |
1098.84/1099.57 c | 1475001 | 1585 25713 69521 | 35725 35792 68 | 1.736 % |
1100.14/1100.81 c | 1476695 | 1585 25713 69521 | 35725 31497 64 | 1.736 % |
1101.64/1102.36 c | 1478559 | 1585 25713 69521 | 35725 33361 66 | 1.736 % |
1103.84/1104.55 c | 1480608 | 1585 25713 69521 | 34802 29438 60 | 1.736 % |
1105.24/1105.98 c | 1482864 | 1585 25713 69521 | 34802 31694 63 | 1.736 % |
1107.74/1108.43 c | 1485343 | 1585 25713 69521 | 34802 34173 65 | 1.736 % |
1110.34/1111.02 c | 1488072 | 1585 25713 69521 | 34802 31164 62 | 1.736 % |
1112.74/1113.46 c | 1491070 | 1585 25713 69521 | 33092 28943 62 | 1.736 % |
1115.74/1116.48 c | 1494366 | 1585 25713 69521 | 33092 32239 68 | 1.736 % |
1118.93/1119.63 c | 1497992 | 1585 25713 69521 | 33092 30691 67 | 1.736 % |
1121.63/1122.32 c | 1501979 | 1585 25713 69521 | 32699 29806 68 | 1.736 % |
1125.03/1125.74 c | 1506364 | 1585 25713 69521 | 32699 29539 67 | 1.736 % |
1128.13/1128.87 c | 1511188 | 1585 25713 69521 | 28806 26150 65 | 1.736 % |
1131.83/1132.50 c | 1516493 | 1585 25713 69521 | 28806 28521 70 | 1.736 % |
1136.63/1137.32 c | 1522332 | 1585 25713 69521 | 2147483647 31455 74 | 1.736 % |
1142.23/1142.97 c | 1528750 | 1585 25713 69521 | 2147483647 37873 79 | 1.736 % |
1149.62/1150.31 c | 1535809 | 1585 25713 69521 | 39125 38935 77 | 1.736 % |
1156.52/1157.28 c | 1543575 | 1585 25713 69521 | 35408 32348 68 | 1.736 % |
1165.01/1165.79 c | 1552116 | 1585 25713 69521 | 32904 29719 67 | 1.736 % |
1173.31/1174.00 c | 1561511 | 1585 25713 69521 | 32906 29803 67 | 1.736 % |
1181.31/1182.08 c | 1571845 | 1585 25713 69521 | 29178 27189 62 | 1.736 % |
1189.50/1190.28 c | 1583212 | 1585 25713 69521 | 2147483647 32468 65 | 1.736 % |
1200.10/1200.81 HOME/SatELiteGTI: line 36: 28566 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-1833789-1242825221/watcher-1833789-1242825221 -o /tmp/evaluation-result-1833789-1242825221/solver-1833789-1242825221 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833789-1242825221.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.98 0.97 0.99 3/65 28560
/proc/meminfo: memFree=1884144/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310549903 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 250969030738 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/28560/statm: 1339 235 195 169 0 50 0
[pid=28561] ppid=28560 vsize=5356 CPUtime=0
/proc/28561/stat : 28561 (SatELiteGTI) S 28560 28560 28348 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310549904 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/28561/statm: 1339 238 198 169 0 50 0
[pid=28563] ppid=28561 vsize=0 CPUtime=0
/proc/28563/stat : 28563 (sed) R 28561 28560 28348 0 -1 4194308 163 0 0 0 0 0 0 0 18 0 1 0 310549904 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/28563/statm: 0 0 0 0 0 0 0
[startup+0.089596 s]
/proc/loadavg: 0.98 0.97 0.99 3/65 28560
/proc/meminfo: memFree=1884144/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+0.102468 s]
/proc/loadavg: 0.98 0.97 0.99 3/65 28560
/proc/meminfo: memFree=1884144/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+0.301485 s]
/proc/loadavg: 0.98 0.97 0.99 3/65 28560
/proc/meminfo: memFree=1884144/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+0.701524 s]
/proc/loadavg: 0.98 0.97 0.99 3/65 28560
/proc/meminfo: memFree=1884144/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+1.5016 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1879584/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=5928 CPUtime=1.39
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 1224 0 0 0 138 1 0 0 25 0 1 0 310549912 6070272 1210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 1482 1210 77 171 0 1309 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11284
[startup+3.10276 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1877728/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=8400 CPUtime=2.99
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 1824 0 0 0 297 2 0 0 25 0 1 0 310549912 8601600 1810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 2100 1810 77 171 0 1927 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13756
[startup+6.30107 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1873952/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=11336 CPUtime=6.18
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 2576 0 0 0 615 3 0 0 25 0 1 0 310549912 11608064 2562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 2834 2562 77 171 0 2661 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 16692
[startup+12.7017 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1869408/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=15436 CPUtime=12.58
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 3595 0 0 0 1253 5 0 0 25 0 1 0 310549912 15806464 3581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 3859 3581 77 171 0 3686 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20792
[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1868896/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=15572 CPUtime=25.36
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 3648 0 0 0 2531 5 0 0 25 0 1 0 310549912 15945728 3634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 3893 3634 77 171 0 3720 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 20928
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1868832/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=15572 CPUtime=50.94
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 3648 0 0 0 5089 5 0 0 25 0 1 0 310549912 15945728 3634 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 3893 3634 77 171 0 3720 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 20928
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 28566
/proc/meminfo: memFree=1866976/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=17504 CPUtime=102.11
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4093 0 0 0 10205 6 0 0 25 0 1 0 310549912 17924096 4079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4376 4079 77 171 0 4203 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 22860
[startup+162.301 s]
/proc/loadavg: 1.11 1.01 1.01 2/67 28566
/proc/meminfo: memFree=1866592/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=17768 CPUtime=162.05
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4170 0 0 0 16199 6 0 0 25 0 1 0 310549912 18194432 4156 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4442 4156 77 171 0 4269 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 23124
[startup+222.301 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 28566
/proc/meminfo: memFree=1866272/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=18032 CPUtime=222.01
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4237 0 0 0 22194 7 0 0 25 0 1 0 310549912 18464768 4223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4508 4223 77 171 0 4335 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 23388
[startup+282.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/67 28566
/proc/meminfo: memFree=1865888/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=18436 CPUtime=281.98
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4325 0 0 0 28191 7 0 0 25 0 1 0 310549912 18878464 4311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4609 4311 77 171 0 4436 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 23792
[startup+342.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 28566
/proc/meminfo: memFree=1865440/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=18700 CPUtime=341.94
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4410 0 0 0 34187 7 0 0 25 0 1 0 310549912 19148800 4396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4675 4396 77 171 0 4502 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 24056
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28566
/proc/meminfo: memFree=1864352/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=19764 CPUtime=401.92
################
# More data... #
################
[pid=28566] ppid=28560 vsize=19764 CPUtime=461.89
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4661 0 0 0 46181 8 0 0 25 0 1 0 310549912 20238336 4647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4941 4647 77 171 0 4768 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 25120
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1864096/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=19896 CPUtime=521.86
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 4697 0 0 0 52178 8 0 0 25 0 1 0 310549912 20373504 4683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 4974 4683 77 171 0 4801 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 25252
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861344/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=581.83
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5383 0 0 0 58174 9 0 0 25 0 1 0 310549912 23216128 5369 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5369 77 171 0 5495 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 28028
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861280/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=641.8
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5385 0 0 0 64171 9 0 0 25 0 1 0 310549912 23216128 5371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5371 77 171 0 5495 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 28028
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861216/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=701.76
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5385 0 0 0 70167 9 0 0 25 0 1 0 310549912 23216128 5371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5371 77 171 0 5495 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 28028
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861152/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=761.74
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5385 0 0 0 76165 9 0 0 25 0 1 0 310549912 23216128 5371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5371 77 171 0 5495 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 28028
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861152/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=821.71
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5385 0 0 0 82162 9 0 0 25 0 1 0 310549912 23216128 5371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5371 77 171 0 5495 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 28028
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861152/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=881.68
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5386 0 0 0 88158 10 0 0 25 0 1 0 310549912 23216128 5372 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5372 77 171 0 5495 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 28028
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1861024/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=941.65
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5386 0 0 0 94155 10 0 0 25 0 1 0 310549912 23216128 5372 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5372 77 171 0 5495 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 28028
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1860960/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=1001.63
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5387 0 0 0 100153 10 0 0 25 0 1 0 310549912 23216128 5373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5373 77 171 0 5495 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 28028
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1860960/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=1061.59
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5387 0 0 0 106149 10 0 0 25 0 1 0 310549912 23216128 5373 1992294400 134512640 135215339 4294956240 18446744073709551615 134529154 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5373 77 171 0 5495 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 28028
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1860896/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=22672 CPUtime=1121.56
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5387 0 0 0 112146 10 0 0 25 0 1 0 310549912 23216128 5373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5668 5373 77 171 0 5495 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 28028
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1860000/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=23464 CPUtime=1181.54
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5603 0 0 0 118144 10 0 0 25 0 1 0 310549912 24027136 5589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5866 5589 77 171 0 5693 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 28820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28566
/proc/meminfo: memFree=1860000/2055920 swapFree=4180004/4192956
[pid=28560] ppid=28558 vsize=5356 CPUtime=0.07
/proc/28560/stat : 28560 (SatELiteGTI) S 28558 28560 28348 0 -1 4194304 336 791 0 0 0 0 7 0 16 0 1 0 310549903 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28560/statm: 1339 239 197 169 0 50 0
[pid=28566] ppid=28560 vsize=23464 CPUtime=1200.03
/proc/28566/stat : 28566 (minisat_static) R 28560 28560 28348 0 -1 4194304 5603 0 0 0 119993 10 0 0 25 0 1 0 310549912 24027136 5589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28566/statm: 5866 5589 77 171 0 5693 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 28820
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.81
CPU time (s): 1200.13
CPU user time (s): 1200.02
CPU system time (s): 0.117982
CPU usage (%): 99.9434
Max. virtual memory (cumulated for all children) (KiB): 28820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6739
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= 26
involuntary context switches= 6109
runsolver used 1.01285 second user time and 3.51846 second system time
The end
Begin job on node56 at 2009-05-20 15:13:42
IDJOB=1833789
IDBENCH=70935
IDSOLVER=671
FILE ID=node56/1833789-1242825221
PBS_JOBID= 9322552
Free space on /tmp= 103040 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_7_4_8_fbc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833789-1242825221/watcher-1833789-1242825221 -o /tmp/evaluation-result-1833789-1242825221/solver-1833789-1242825221 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833789-1242825221.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c8ff95be17c69641ce8ae01fa573e84b
RANDOM SEED=404084139
node56.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.218
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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1884688 kB
Buffers: 48204 kB
Cached: 74276 kB
SwapCached: 7060 kB
Active: 25496 kB
Inactive: 106676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1884688 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 14544 kB
Slab: 25064 kB
Committed_AS: 961036 kB
PageTables: 1472 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= 103040 MiB
End job on node56 at 2009-05-20 15:33:44