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 | 25837 69793 | 7751 0 0 nan | 0.000 % |
0.00/0.09 c | 0 | 25837 69833 | -- 0 -- -- | -- | 0/40
0.00/0.09 c ==============================================================================
0.00/0.09 c Result : #vars: 1613 #clauses: 25837 #literals: 69833
0.00/0.09 c CPU time: 0.084987 s
0.00/0.09 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 1613 |
0.00/0.11 c | Number of clauses: 25837 |
0.00/0.12 c | Parsing time: 0.01 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 1613 25837 69833 | 8612 0 nan | 0.000 % |
0.00/0.13 c | 100 | 1613 25837 69833 | 8612 100 21 | 0.000 % |
0.00/0.13 c | 200 | 1607 25837 69833 | 8612 199 18 | 0.372 % |
0.00/0.14 c | 300 | 1607 25837 69833 | 8612 299 21 | 0.372 % |
0.00/0.14 c | 411 | 1607 25837 69833 | 8612 410 20 | 0.372 % |
0.00/0.14 c | 511 | 1607 25837 69833 | 8612 510 19 | 0.372 % |
0.00/0.15 c | 622 | 1607 25837 69833 | 8612 621 18 | 0.372 % |
0.00/0.15 c | 743 | 1607 25837 69833 | 8612 742 19 | 0.372 % |
0.00/0.15 c | 843 | 1607 25837 69833 | 8612 842 19 | 0.372 % |
0.00/0.16 c | 955 | 1601 25837 69833 | 8612 953 19 | 0.744 % |
0.00/0.16 c | 1077 | 1601 25837 69833 | 8612 1075 19 | 0.744 % |
0.00/0.17 c | 1210 | 1601 25837 69833 | 8612 1208 19 | 0.744 % |
0.00/0.17 c | 1310 | 1601 25616 69391 | 8612 1306 19 | 0.744 % |
0.00/0.18 c | 1420 | 1595 25616 69391 | 8612 1415 19 | 1.116 % |
0.00/0.18 c | 1542 | 1595 25616 69391 | 8612 1537 19 | 1.116 % |
0.00/0.18 c | 1677 | 1595 25616 69391 | 8612 1672 19 | 1.116 % |
0.00/0.19 c | 1824 | 1595 25616 69391 | 8612 1819 20 | 1.116 % |
0.00/0.19 c | 1924 | 1595 25616 69391 | 8612 1919 20 | 1.116 % |
0.10/0.20 c | 2035 | 1595 25616 69391 | 8612 2030 20 | 1.116 % |
0.10/0.20 c | 2156 | 1595 25616 69391 | 8612 2151 20 | 1.116 % |
0.10/0.21 c | 2289 | 1595 25616 69391 | 8612 2284 22 | 1.116 % |
0.10/0.22 c | 2435 | 1595 25616 69391 | 8612 2430 25 | 1.116 % |
0.10/0.23 c | 2597 | 1595 25616 69391 | 8612 2592 26 | 1.116 % |
0.10/0.23 c | 2697 | 1595 25616 69391 | 8612 2692 26 | 1.116 % |
0.10/0.24 c | 2809 | 1595 25616 69391 | 8612 2804 26 | 1.116 % |
0.10/0.24 c | 2930 | 1595 25513 69185 | 8612 2923 26 | 1.116 % |
0.10/0.25 c | 3063 | 1595 25513 69185 | 8612 3056 26 | 1.116 % |
0.10/0.25 c | 3209 | 1595 25513 69185 | 8612 3202 26 | 1.116 % |
0.10/0.26 c | 3369 | 1595 25513 69185 | 8612 3362 26 | 1.116 % |
0.10/0.27 c | 3546 | 1595 25513 69185 | 8612 3539 26 | 1.116 % |
0.10/0.28 c | 3646 | 1595 25513 69185 | 8612 3639 26 | 1.116 % |
0.10/0.28 c | 3757 | 1595 25513 69185 | 8612 3750 26 | 1.116 % |
0.10/0.29 c | 3878 | 1595 25513 69185 | 8612 3871 26 | 1.116 % |
0.10/0.29 c | 4012 | 1595 25513 69185 | 8612 4005 26 | 1.116 % |
0.10/0.30 c | 4158 | 1589 25513 69185 | 8612 4150 27 | 1.488 % |
0.10/0.31 c | 4318 | 1589 25513 69185 | 8612 4310 27 | 1.488 % |
0.10/0.32 c | 4497 | 1589 25513 69185 | 8612 4489 27 | 1.488 % |
0.10/0.34 c | 4690 | 1589 25513 69185 | 8612 4682 28 | 1.488 % |
0.10/0.34 c | 4792 | 1589 25513 69185 | 8612 4784 29 | 1.488 % |
0.10/0.35 c | 4902 | 1589 25513 69185 | 8612 4894 28 | 1.488 % |
0.10/0.36 c | 5024 | 1589 25513 69185 | 8612 5016 28 | 1.488 % |
0.10/0.37 c | 5160 | 1589 25415 68989 | 8612 5149 28 | 1.488 % |
0.10/0.38 c | 5307 | 1589 25415 68989 | 8612 5296 29 | 1.488 % |
0.10/0.39 c | 5467 | 1589 25415 68989 | 8612 5456 29 | 1.488 % |
0.10/0.40 c | 5643 | 1589 25415 68989 | 8612 5632 28 | 1.488 % |
0.10/0.41 c | 5838 | 1589 25415 68989 | 8612 5827 29 | 1.488 % |
0.10/0.42 c | 6050 | 1589 25415 68989 | 8612 6039 29 | 1.488 % |
0.10/0.43 c | 6150 | 1589 25415 68989 | 8612 6139 29 | 1.488 % |
0.10/0.44 c | 6261 | 1589 25415 68989 | 8612 6250 29 | 1.488 % |
0.10/0.45 c | 6385 | 1589 25415 68989 | 8612 6374 29 | 1.488 % |
0.10/0.45 c | 6519 | 1589 25415 68989 | 8612 6508 29 | 1.488 % |
0.10/0.47 c | 6666 | 1589 25415 68989 | 8612 6655 29 | 1.488 % |
0.10/0.47 c | 6827 | 1589 25415 68989 | 8612 6816 29 | 1.488 % |
0.10/0.49 c | 7006 | 1589 25415 68989 | 8612 6995 30 | 1.488 % |
0.10/0.50 c | 7199 | 1589 25415 68989 | 8612 7188 30 | 1.488 % |
0.10/0.52 c | 7411 | 1589 25415 68989 | 8612 7400 30 | 1.488 % |
0.10/0.54 c | 7644 | 1589 25415 68989 | 8612 7633 31 | 1.488 % |
0.10/0.55 c | 7745 | 1589 25415 68989 | 8612 7734 31 | 1.488 % |
0.10/0.56 c | 7855 | 1589 25415 68989 | 8612 7844 31 | 1.488 % |
0.10/0.57 c | 7976 | 1589 25415 68989 | 8612 7965 32 | 1.488 % |
0.10/0.58 c | 8109 | 1589 25415 68989 | 8612 8098 32 | 1.488 % |
0.10/0.60 c | 8255 | 1589 25415 68989 | 8612 8244 32 | 1.488 % |
0.10/0.61 c | 8415 | 1589 25415 68989 | 8612 8404 32 | 1.488 % |
0.10/0.62 c | 8595 | 1589 25415 68989 | 8612 8584 32 | 1.488 % |
0.10/0.64 c | 8789 | 1589 25415 68989 | 8612 8778 33 | 1.488 % |
0.10/0.66 c | 9001 | 1589 25415 68989 | 8612 8113 33 | 1.488 % |
0.10/0.68 c | 9234 | 1589 25415 68989 | 8612 8346 34 | 1.488 % |
0.10/0.71 c | 9490 | 1589 25415 68989 | 8612 8602 35 | 1.488 % |
0.10/0.72 c | 9590 | 1589 25415 68989 | 8612 8702 35 | 1.488 % |
0.10/0.74 c | 9703 | 1589 25415 68989 | 8612 7945 34 | 1.488 % |
0.10/0.75 c | 9825 | 1589 25415 68989 | 8612 8067 34 | 1.488 % |
0.10/0.76 c | 9959 | 1589 25415 68989 | 8612 8201 34 | 1.488 % |
0.10/0.78 c | 10105 | 1589 25415 68989 | 2147483647 8347 34 | 1.488 % |
0.10/0.79 c | 10266 | 1589 25415 68989 | 2147483647 8508 34 | 1.488 % |
0.10/0.81 c | 10442 | 1589 25415 68989 | 2147483647 8684 35 | 1.488 % |
0.10/0.83 c | 10635 | 1589 25415 68989 | 2147483647 8877 35 | 1.488 % |
0.10/0.85 c | 10847 | 1589 25415 68989 | 2147483647 9089 36 | 1.488 % |
0.10/0.87 c | 11081 | 1589 25415 68989 | 2147483647 9323 35 | 1.488 % |
0.10/0.89 c | 11337 | 1589 25415 68989 | 2147483647 9579 35 | 1.488 % |
0.10/0.91 c | 11619 | 1589 25415 68989 | 2147483647 9861 35 | 1.488 % |
0.10/0.92 c | 11719 | 1589 25415 68989 | 2147483647 9961 35 | 1.488 % |
0.10/0.93 c | 11830 | 1589 25415 68989 | 2147483647 10072 35 | 1.488 % |
0.10/0.94 c | 11951 | 1589 25415 68989 | 2147483647 10193 35 | 1.488 % |
0.10/0.96 c | 12089 | 1589 25415 68989 | 2147483647 10331 35 | 1.488 % |
0.10/0.97 c | 12235 | 1589 25415 68989 | 2147483647 10477 35 | 1.488 % |
0.10/0.99 c | 12396 | 1588 25398 68945 | 2147483647 10632 35 | 1.550 % |
0.97/1.01 c | 12572 | 1588 25398 68945 | 2147483647 10808 35 | 1.550 % |
0.97/1.04 c | 12766 | 1588 25398 68945 | 2147483647 11002 36 | 1.550 % |
0.97/1.08 c | 12978 | 1588 25398 68945 | 2147483647 11214 37 | 1.550 % |
1.07/1.11 c | 13212 | 1588 25398 68945 | 2147483647 11448 37 | 1.550 % |
1.07/1.15 c | 13470 | 1588 25398 68945 | 2147483647 11706 38 | 1.550 % |
1.07/1.19 c | 13752 | 1588 25398 68945 | 2147483647 11988 38 | 1.550 % |
1.17/1.23 c | 14063 | 1588 25398 68945 | 2147483647 12299 38 | 1.550 % |
1.17/1.24 c | 14163 | 1588 25398 68945 | 2147483647 12399 38 | 1.550 % |
1.17/1.26 c | 14273 | 1588 25398 68945 | 2147483647 12509 39 | 1.550 % |
1.17/1.28 c | 14396 | 1588 25398 68945 | 2147483647 12632 39 | 1.550 % |
1.17/1.30 c | 14530 | 1588 25398 68945 | 2147483647 12766 39 | 1.550 % |
1.27/1.32 c | 14676 | 1588 25398 68945 | 2147483647 12912 39 | 1.550 % |
1.27/1.35 c | 14838 | 1588 25398 68945 | 2147483647 13074 40 | 1.550 % |
1.27/1.38 c | 15014 | 1588 25398 68945 | 2147483647 13250 40 | 1.550 % |
1.37/1.40 c | 15209 | 1588 25398 68945 | 2147483647 13445 40 | 1.550 % |
1.37/1.43 c | 15422 | 1588 25398 68945 | 2147483647 13658 41 | 1.550 % |
1.37/1.47 c | 15655 | 1588 25398 68945 | 2147483647 13891 41 | 1.550 % |
1.47/1.50 c | 15911 | 1588 25398 68945 | 2147483647 14147 42 | 1.551 % |
1.47/1.56 c | 16192 | 1588 25398 68945 | 2147483647 14428 42 | 1.550 % |
1.57/1.60 c | 16504 | 1588 25398 68945 | 2147483647 14740 42 | 1.550 % |
1.57/1.66 c | 16844 | 1588 25398 68945 | 2147483647 15080 43 | 1.550 % |
1.57/1.69 c | 16946 | 1588 25398 68945 | 2147483647 15182 43 | 1.550 % |
1.67/1.71 c | 17060 | 1588 25398 68945 | 2147483647 15296 43 | 1.550 % |
1.67/1.74 c | 17181 | 1588 25398 68945 | 2147483647 15417 43 | 1.550 % |
1.67/1.77 c | 17316 | 1588 25398 68945 | 2147483647 15552 43 | 1.550 % |
1.77/1.80 c | 17463 | 1588 25398 68945 | 2147483647 15699 43 | 1.550 % |
1.77/1.83 c | 17623 | 1588 25398 68945 | 2147483647 15859 44 | 1.550 % |
1.77/1.88 c | 17801 | 1588 25398 68945 | 2147483647 16037 44 | 1.550 % |
1.86/1.92 c | 17996 | 1588 25398 68945 | 2147483647 16232 44 | 1.550 % |
1.86/1.97 c | 18208 | 1588 25398 68945 | 2147483647 16444 44 | 1.550 % |
1.96/2.00 c | 18441 | 1588 25398 68945 | 2147483647 16677 44 | 1.550 % |
1.96/2.04 c | 18698 | 1588 25398 68945 | 2147483647 16934 44 | 1.550 % |
1.96/2.10 c | 18979 | 1588 25398 68945 | 2147483647 17215 44 | 1.550 % |
2.08/2.16 c | 19288 | 1588 25398 68945 | 2147483647 17524 45 | 1.550 % |
2.18/2.23 c | 19627 | 1588 25398 68945 | 2147483647 17863 45 | 1.550 % |
2.27/2.32 c | 19999 | 1588 25398 68945 | 2147483647 18235 46 | 1.550 % |
2.27/2.34 c | 20099 | 1588 25398 68945 | 2147483647 18335 46 | 1.550 % |
2.27/2.38 c | 20210 | 1588 25398 68945 | 2147483647 18446 46 | 1.550 % |
2.37/2.41 c | 20334 | 1588 25398 68945 | 2147483647 18570 46 | 1.550 % |
2.37/2.43 c | 20467 | 1588 25398 68945 | 2147483647 18703 46 | 1.550 % |
2.37/2.46 c | 20615 | 1588 25398 68945 | 2147483647 18851 46 | 1.550 % |
2.47/2.52 c | 20777 | 1588 25398 68945 | 2147483647 19013 46 | 1.550 % |
2.47/2.56 c | 20953 | 1588 25398 68945 | 2147483647 19189 47 | 1.550 % |
2.47/2.59 c | 21149 | 1588 25398 68945 | 2147483647 19385 46 | 1.550 % |
2.57/2.64 c | 21362 | 1588 25398 68945 | 2147483647 19598 47 | 1.550 % |
2.67/2.70 c | 21596 | 1588 25398 68945 | 2147483647 19832 47 | 1.550 % |
2.67/2.77 c | 21852 | 1588 25398 68945 | 2147483647 20088 47 | 1.550 % |
2.77/2.84 c | 22135 | 1588 25398 68945 | 2147483647 20371 47 | 1.550 % |
2.87/2.92 c | 22447 | 1588 25398 68945 | 2147483647 20683 48 | 1.550 % |
2.97/3.01 c | 22786 | 1588 25398 68945 | 2147483647 21022 48 | 1.550 % |
3.07/3.10 c | 23158 | 1588 25398 68945 | 2147483647 21394 48 | 1.550 % |
3.07/3.20 c | 23568 | 1588 25398 68945 | 2147483647 21804 49 | 1.550 % |
3.17/3.23 c | 23670 | 1588 25398 68945 | 2147483647 21906 49 | 1.550 % |
3.17/3.27 c | 23780 | 1588 25398 68945 | 2147483647 22016 49 | 1.550 % |
3.27/3.31 c | 23901 | 1588 25398 68945 | 2147483647 22137 49 | 1.550 % |
3.27/3.35 c | 24034 | 1588 25398 68945 | 2147483647 22270 49 | 1.550 % |
3.37/3.41 c | 24180 | 1588 25398 68945 | 2147483647 22416 50 | 1.550 % |
3.37/3.46 c | 24341 | 1588 25398 68945 | 2147483647 22577 50 | 1.550 % |
3.47/3.51 c | 24518 | 1588 25398 68945 | 2147483647 22754 50 | 1.550 % |
3.47/3.57 c | 24712 | 1588 25398 68945 | 2147483647 22948 50 | 1.550 % |
3.57/3.64 c | 24926 | 1588 25398 68945 | 2147483647 23162 50 | 1.550 % |
3.66/3.72 c | 25163 | 1588 25398 68945 | 2147483647 23399 50 | 1.550 % |
3.76/3.83 c | 25419 | 1588 25398 68945 | 2147483647 23655 50 | 1.550 % |
3.86/3.93 c | 25700 | 1588 25398 68945 | 2147483647 23936 51 | 1.550 % |
3.96/4.02 c | 26010 | 1588 25398 68945 | 2147483647 24246 51 | 1.550 % |
4.06/4.13 c | 26351 | 1588 25398 68945 | 2147483647 24587 51 | 1.550 % |
4.16/4.29 c | 26725 | 1588 25398 68945 | 2147483647 24961 52 | 1.550 % |
4.37/4.43 c | 27137 | 1588 25398 68945 | 2147483647 25373 52 | 1.550 % |
4.46/4.57 c | 27587 | 1588 25398 68945 | 2147483647 25823 53 | 1.550 % |
4.56/4.62 c | 27687 | 1588 25398 68945 | 2147483647 25923 53 | 1.550 % |
4.56/4.69 c | 27797 | 1588 25398 68945 | 2147483647 26033 53 | 1.550 % |
4.66/4.74 c | 27918 | 1588 25398 68945 | 2147483647 26154 53 | 1.550 % |
4.76/4.80 c | 28051 | 1588 25398 68945 | 2147483647 26287 53 | 1.550 % |
4.76/4.88 c | 28197 | 1588 25398 68945 | 2147483647 26433 53 | 1.550 % |
4.86/4.93 c | 28357 | 1588 25398 68945 | 2147483647 26593 53 | 1.550 % |
4.96/5.03 c | 28533 | 1588 25398 68945 | 2147483647 26769 54 | 1.551 % |
5.06/5.12 c | 28728 | 1588 25398 68945 | 2147483647 26964 54 | 1.550 % |
5.06/5.20 c | 28940 | 1588 25398 68945 | 2147483647 27176 54 | 1.550 % |
5.26/5.30 c | 29174 | 1588 25398 68945 | 2147483647 27410 54 | 1.550 % |
5.26/5.39 c | 29431 | 1588 25398 68945 | 2147483647 27667 54 | 1.550 % |
5.38/5.49 c | 29714 | 1588 25398 68945 | 2147483647 27950 54 | 1.550 % |
5.57/5.61 c | 30023 | 1588 25398 68945 | 2147483647 28259 55 | 1.550 % |
5.67/5.74 c | 30362 | 1588 25398 68945 | 2147483647 28598 55 | 1.550 % |
5.87/5.92 c | 30738 | 1588 25398 68945 | 2147483647 28974 55 | 1.550 % |
6.07/6.19 c | 31149 | 1588 25398 68945 | 2147483647 29385 55 | 1.550 % |
6.27/6.38 c | 31598 | 1588 25398 68945 | 2147483647 29834 56 | 1.550 % |
6.47/6.59 c | 32091 | 1588 25398 68945 | 2147483647 30327 56 | 1.550 % |
6.57/6.65 c | 32191 | 1588 25398 68945 | 2147483647 30427 56 | 1.550 % |
6.67/6.71 c | 32303 | 1588 25398 68945 | 2147483647 30539 56 | 1.550 % |
6.67/6.77 c | 32428 | 1588 25398 68945 | 2147483647 30664 56 | 1.550 % |
6.77/6.84 c | 32565 | 1588 25398 68945 | 2147483647 30801 56 | 1.550 % |
6.86/6.93 c | 32712 | 1588 25398 68945 | 2147483647 30948 56 | 1.550 % |
6.86/6.97 c | 32872 | 1588 25398 68945 | 2147483647 31108 56 | 1.550 % |
6.96/7.04 c | 33048 | 1588 25398 68945 | 2147483647 31284 56 | 1.550 % |
7.06/7.16 c | 33241 | 1588 25398 68945 | 2147483647 31477 57 | 1.550 % |
7.16/7.27 c | 33454 | 1588 25398 68945 | 2147483647 31690 57 | 1.550 % |
7.36/7.41 c | 33687 | 1588 25398 68945 | 2147483647 31923 57 | 1.550 % |
7.46/7.54 c | 33945 | 1588 25398 68945 | 2147483647 32181 57 | 1.550 % |
7.67/7.71 c | 34227 | 1588 25398 68945 | 2147483647 32463 57 | 1.550 % |
7.76/7.86 c | 34537 | 1588 25398 68945 | 2147483647 32773 57 | 1.550 % |
7.97/8.02 c | 34878 | 1588 25398 68945 | 2147483647 33114 58 | 1.550 % |
8.17/8.23 c | 35250 | 1588 25398 68945 | 2147483647 33486 58 | 1.550 % |
8.37/8.49 c | 35659 | 1588 25398 68945 | 2147483647 33895 58 | 1.550 % |
8.67/8.79 c | 36108 | 1588 25398 68945 | 2147483647 34344 58 | 1.550 % |
8.87/8.99 c | 36601 | 1588 25398 68945 | 2147483647 34837 59 | 1.550 % |
9.16/9.26 c | 37143 | 1588 25398 68945 | 2147483647 35379 59 | 1.550 % |
9.26/9.32 c | 37244 | 1588 25398 68945 | 2147483647 35480 59 | 1.550 % |
9.36/9.40 c | 37355 | 1588 25398 68945 | 2147483647 35591 59 | 1.550 % |
9.36/9.49 c | 37480 | 1588 25398 68945 | 2147483647 35716 59 | 1.550 % |
9.46/9.57 c | 37614 | 1588 25398 68945 | 2147483647 35850 59 | 1.550 % |
9.56/9.66 c | 37761 | 1588 25398 68945 | 2147483647 35997 59 | 1.550 % |
9.66/9.75 c | 37921 | 1588 25398 68945 | 2147483647 36157 59 | 1.550 % |
9.77/9.87 c | 38097 | 1588 25398 68945 | 2147483647 36333 59 | 1.550 % |
9.96/10.05 c | 38292 | 1588 25398 68945 | 2147483647 36528 59 | 1.550 % |
10.06/10.15 c | 38506 | 1588 25398 68945 | 2147483647 36742 59 | 1.550 % |
10.16/10.29 c | 38739 | 1588 25398 68945 | 2147483647 36975 60 | 1.550 % |
10.36/10.44 c | 38995 | 1588 25398 68945 | 2147483647 37231 60 | 1.550 % |
10.56/10.63 c | 39276 | 1588 25398 68945 | 2147483647 37512 60 | 1.550 % |
10.76/10.86 c | 39585 | 1588 25398 68945 | 2147483647 37821 60 | 1.550 % |
10.97/11.07 c | 39927 | 1588 25398 68945 | 2147483647 38163 60 | 1.550 % |
11.36/11.40 c | 40300 | 1588 25398 68945 | 38238 38536 61 | 1.550 % |
11.56/11.67 c | 40710 | 1588 25398 68945 | 38238 30425 58 | 1.550 % |
11.86/11.95 c | 41160 | 1588 25398 68945 | 38238 30875 58 | 1.550 % |
12.16/12.21 c | 41655 | 1588 25398 68945 | 38238 31370 58 | 1.550 % |
12.46/12.50 c | 42197 | 1588 25398 68945 | 38238 31912 58 | 1.550 % |
12.76/12.89 c | 42795 | 1588 25398 68945 | 38238 32510 59 | 1.550 % |
12.86/12.94 c | 42895 | 1588 25398 68945 | 38238 32610 59 | 1.550 % |
12.96/13.02 c | 43010 | 1588 25398 68945 | 38238 32725 59 | 1.550 % |
12.96/13.09 c | 43132 | 1588 25398 68945 | 38238 32847 59 | 1.550 % |
13.06/13.15 c | 43265 | 1588 25398 68945 | 38238 32980 59 | 1.550 % |
13.16/13.26 c | 43411 | 1588 25398 68945 | 38238 33126 59 | 1.550 % |
13.26/13.35 c | 43571 | 1588 25398 68945 | 38238 33286 59 | 1.550 % |
13.36/13.49 c | 43748 | 1588 25398 68945 | 38238 33463 59 | 1.550 % |
13.56/13.66 c | 43941 | 1588 25398 68945 | 38238 33656 60 | 1.550 % |
13.76/13.80 c | 44156 | 1588 25398 68945 | 38238 33871 60 | 1.550 % |
13.86/13.91 c | 44390 | 1588 25398 68945 | 38238 34105 60 | 1.550 % |
14.06/14.13 c | 44650 | 1588 25398 68945 | 38238 34365 60 | 1.550 % |
14.26/14.32 c | 44934 | 1588 25398 68945 | 38238 34649 61 | 1.550 % |
14.46/14.52 c | 45243 | 1588 25398 68945 | 38238 34958 61 | 1.550 % |
14.66/14.79 c | 45583 | 1588 25398 68945 | 38238 35298 61 | 1.550 % |
14.96/15.06 c | 45960 | 1588 25398 68945 | 38238 35675 61 | 1.550 % |
15.26/15.32 c | 46369 | 1588 25398 68945 | 38238 36084 61 | 1.550 % |
15.56/15.61 c | 46818 | 1588 25398 68945 | 38238 36533 61 | 1.550 % |
15.86/15.96 c | 47311 | 1588 25398 68945 | 38238 37026 62 | 1.550 % |
16.36/16.46 c | 47855 | 1588 25398 68945 | 38238 37570 62 | 1.550 % |
16.85/16.98 c | 48451 | 1588 25398 68945 | 38238 38166 62 | 1.550 % |
17.35/17.41 c | 49107 | 1588 25398 68945 | 38238 29801 56 | 1.550 % |
17.35/17.48 c | 49207 | 1588 25398 68945 | 38238 29901 56 | 1.550 % |
17.46/17.56 c | 49318 | 1588 25398 68945 | 38238 30012 57 | 1.550 % |
17.55/17.63 c | 49439 | 1588 25398 68945 | 38238 30133 57 | 1.550 % |
17.65/17.72 c | 49574 | 1588 25398 68945 | 38238 30268 57 | 1.550 % |
17.75/17.81 c | 49723 | 1588 25398 68945 | 38238 30417 57 | 1.550 % |
17.85/17.91 c | 49883 | 1588 25398 68945 | 38238 30577 57 | 1.551 % |
17.95/18.02 c | 50060 | 1588 25398 68945 | 30696 30754 57 | 1.550 % |
18.05/18.13 c | 50253 | 1588 25398 68945 | 30696 23795 52 | 1.550 % |
18.15/18.21 c | 50465 | 1588 25398 68945 | 30696 24007 52 | 1.550 % |
18.25/18.33 c | 50700 | 1588 25398 68945 | 30696 24242 52 | 1.550 % |
18.35/18.44 c | 50956 | 1588 25398 68945 | 30696 24498 52 | 1.550 % |
18.45/18.55 c | 51237 | 1588 25398 68945 | 30696 24779 53 | 1.550 % |
18.65/18.71 c | 51550 | 1588 25398 68945 | 30696 25092 53 | 1.550 % |
18.75/18.85 c | 51891 | 1588 25398 68945 | 30696 25433 53 | 1.550 % |
18.95/19.04 c | 52263 | 1588 25398 68945 | 30696 25805 54 | 1.550 % |
19.15/19.24 c | 52674 | 1587 25381 68901 | 30696 26212 54 | 1.612 % |
19.35/19.47 c | 53123 | 1587 25381 68901 | 30696 26661 55 | 1.612 % |
19.65/19.74 c | 53617 | 1587 25381 68901 | 30696 27155 55 | 1.612 % |
19.85/19.99 c | 54161 | 1587 25381 68901 | 30696 27699 55 | 1.612 % |
20.15/20.30 c | 54757 | 1587 25381 68901 | 30696 28295 56 | 1.612 % |
20.55/20.64 c | 55412 | 1587 25381 68901 | 30696 28950 56 | 1.612 % |
21.05/21.11 c | 56133 | 1587 25381 68901 | 30696 29671 57 | 1.612 % |
21.05/21.16 c | 56235 | 1587 25381 68901 | 30696 29773 57 | 1.612 % |
21.15/21.23 c | 56346 | 1587 25381 68901 | 30696 29884 57 | 1.612 % |
21.25/21.33 c | 56467 | 1587 25381 68901 | 30696 30005 57 | 1.612 % |
21.35/21.44 c | 56603 | 1587 25381 68901 | 30696 30141 58 | 1.612 % |
21.45/21.53 c | 56749 | 1587 25381 68901 | 30696 30287 58 | 1.612 % |
21.55/21.63 c | 56909 | 1587 25381 68901 | 30696 30447 58 | 1.612 % |
21.65/21.74 c | 57086 | 1587 25381 68901 | 30696 30624 58 | 1.612 % |
21.75/21.89 c | 57280 | 1587 25381 68901 | 30696 30818 58 | 1.612 % |
21.95/22.03 c | 57498 | 1587 25381 68901 | 30696 24926 53 | 1.612 % |
22.05/22.15 c | 57732 | 1587 25381 68901 | 30696 25160 53 | 1.612 % |
22.15/22.26 c | 57989 | 1587 25381 68901 | 30696 25417 53 | 1.612 % |
22.35/22.42 c | 58270 | 1587 25381 68901 | 30696 25698 54 | 1.612 % |
22.55/22.64 c | 58580 | 1587 25381 68901 | 30696 26008 54 | 1.612 % |
22.75/22.81 c | 58920 | 1587 25381 68901 | 30696 26348 55 | 1.612 % |
22.85/23.00 c | 59292 | 1587 25381 68901 | 30696 26720 55 | 1.612 % |
23.15/23.21 c | 59702 | 1587 25381 68901 | 30696 27130 56 | 1.612 % |
23.35/23.45 c | 60152 | 1587 25381 68901 | 27431 27580 56 | 1.612 % |
23.55/23.67 c | 60646 | 1587 25381 68901 | 27431 22724 51 | 1.612 % |
23.85/23.91 c | 61188 | 1587 25381 68901 | 27431 23266 52 | 1.613 % |
24.15/24.21 c | 61784 | 1587 25381 68901 | 27431 23862 53 | 1.612 % |
24.54/24.61 c | 62440 | 1586 25364 68857 | 27431 24515 54 | 1.674 % |
24.84/24.94 c | 63160 | 1586 25364 68857 | 27431 25235 54 | 1.674 % |
25.25/25.31 c | 63953 | 1586 25364 68857 | 27431 26028 55 | 1.674 % |
25.25/25.37 c | 64055 | 1586 25364 68857 | 27431 26130 55 | 1.674 % |
25.34/25.44 c | 64166 | 1586 25364 68857 | 27431 26241 56 | 1.674 % |
25.44/25.50 c | 64287 | 1586 25364 68857 | 27431 26362 56 | 1.674 % |
25.44/25.58 c | 64420 | 1586 25364 68857 | 27431 26495 56 | 1.674 % |
25.55/25.65 c | 64566 | 1586 25364 68857 | 27431 26641 56 | 1.674 % |
25.65/25.73 c | 64726 | 1586 25364 68857 | 27431 26801 56 | 1.674 % |
25.75/25.81 c | 64902 | 1586 25364 68857 | 27431 26977 56 | 1.674 % |
25.85/25.94 c | 65098 | 1586 25364 68857 | 27431 27173 57 | 1.674 % |
25.95/26.06 c | 65310 | 1586 25364 68857 | 27431 27385 57 | 1.674 % |
26.15/26.22 c | 65546 | 1586 25364 68857 | 27431 27621 57 | 1.674 % |
26.26/26.37 c | 65803 | 1586 25364 68857 | 27431 23260 52 | 1.674 % |
26.36/26.45 c | 66086 | 1586 25364 68857 | 27431 23543 53 | 1.674 % |
26.55/26.61 c | 66396 | 1586 25364 68857 | 27431 23853 53 | 1.674 % |
26.65/26.78 c | 66735 | 1586 25364 68857 | 27431 24192 53 | 1.674 % |
26.85/26.97 c | 67107 | 1586 25364 68857 | 27431 24564 54 | 1.674 % |
27.05/27.19 c | 67516 | 1586 25364 68857 | 27431 24973 55 | 1.674 % |
27.36/27.48 c | 67965 | 1586 25364 68857 | 27431 25422 55 | 1.674 % |
27.65/27.76 c | 68458 | 1586 25364 68857 | 27431 25915 56 | 1.674 % |
27.95/28.01 c | 69000 | 1586 25364 68857 | 27431 26457 57 | 1.674 % |
28.25/28.38 c | 69597 | 1586 25364 68857 | 27431 27054 57 | 1.674 % |
28.65/28.75 c | 70252 | 1586 25364 68857 | 27458 27709 58 | 1.674 % |
29.05/29.19 c | 70975 | 1586 25364 68857 | 27458 23762 54 | 1.674 % |
29.45/29.60 c | 71767 | 1586 25364 68857 | 27458 24554 55 | 1.674 % |
29.95/30.02 c | 72640 | 1586 25364 68857 | 27458 25427 57 | 1.674 % |
29.95/30.07 c | 72740 | 1586 25364 68857 | 27458 25527 57 | 1.674 % |
30.05/30.13 c | 72851 | 1586 25364 68857 | 27458 25638 57 | 1.674 % |
30.15/30.24 c | 72973 | 1586 25364 68857 | 27458 25760 57 | 1.674 % |
30.25/30.32 c | 73107 | 1586 25364 68857 | 27458 25894 57 | 1.674 % |
30.35/30.41 c | 73254 | 1586 25364 68857 | 27458 26041 57 | 1.674 % |
30.45/30.51 c | 73416 | 1586 25364 68857 | 27458 26203 57 | 1.674 % |
30.55/30.62 c | 73593 | 1586 25364 68857 | 27458 26380 57 | 1.674 % |
30.65/30.75 c | 73790 | 1586 25364 68857 | 27458 26577 58 | 1.674 % |
30.75/30.85 c | 74002 | 1586 25364 68857 | 27458 26789 58 | 1.674 % |
30.85/30.98 c | 74237 | 1586 25364 68857 | 27458 27024 58 | 1.674 % |
31.05/31.12 c | 74493 | 1586 25364 68857 | 27458 27280 59 | 1.674 % |
31.25/31.33 c | 74779 | 1586 25364 68857 | 27458 27566 59 | 1.674 % |
31.45/31.50 c | 75091 | 1586 25364 68857 | 27458 23401 54 | 1.674 % |
31.55/31.68 c | 75432 | 1586 25364 68857 | 27458 23742 54 | 1.674 % |
31.85/31.91 c | 75804 | 1586 25364 68857 | 27458 24114 55 | 1.674 % |
32.05/32.15 c | 76213 | 1586 25364 68857 | 27458 24523 56 | 1.674 % |
32.25/32.36 c | 76663 | 1586 25364 68857 | 27458 24973 56 | 1.674 % |
32.55/32.65 c | 77156 | 1586 25364 68857 | 27458 25466 57 | 1.674 % |
32.74/32.88 c | 77700 | 1586 25364 68857 | 27458 26010 58 | 1.674 % |
33.04/33.11 c | 78296 | 1586 25364 68857 | 27458 26606 58 | 1.674 % |
33.24/33.35 c | 78951 | 1586 25364 68857 | 27458 27261 60 | 1.674 % |
33.74/33.80 c | 79671 | 1586 25364 68857 | 27458 23728 56 | 1.674 % |
34.05/34.19 c | 80464 | 1586 25364 68857 | 24057 24521 57 | 1.674 % |
34.54/34.61 c | 81335 | 1586 25364 68857 | 24057 21683 54 | 1.674 % |
35.05/35.11 c | 82294 | 1586 25364 68857 | 24057 22642 55 | 1.674 % |
35.05/35.16 c | 82394 | 1586 25364 68857 | 24057 22742 56 | 1.675 % |
35.15/35.22 c | 82504 | 1586 25364 68857 | 24057 22852 56 | 1.674 % |
35.24/35.30 c | 82628 | 1586 25364 68857 | 24057 22976 56 | 1.674 % |
35.24/35.38 c | 82761 | 1586 25364 68857 | 24057 23109 56 | 1.674 % |
35.34/35.47 c | 82908 | 1586 25364 68857 | 24057 23256 56 | 1.674 % |
35.44/35.55 c | 83071 | 1586 25364 68857 | 24057 23419 56 | 1.674 % |
35.54/35.63 c | 83250 | 1586 25364 68857 | 24057 23598 57 | 1.674 % |
35.64/35.74 c | 83445 | 1586 25364 68857 | 24057 23793 57 | 1.674 % |
35.74/35.89 c | 83657 | 1586 25364 68857 | 24057 24005 57 | 1.674 % |
35.94/36.05 c | 83891 | 1586 25364 68857 | 24057 24239 57 | 1.674 % |
36.04/36.20 c | 84147 | 1586 25364 68857 | 24057 21121 54 | 1.674 % |
36.25/36.35 c | 84429 | 1586 25364 68857 | 24057 21403 54 | 1.674 % |
36.34/36.44 c | 84738 | 1586 25364 68857 | 24057 21712 55 | 1.674 % |
36.54/36.63 c | 85077 | 1586 25364 68857 | 24057 22051 55 | 1.674 % |
36.74/36.83 c | 85449 | 1586 25364 68857 | 24057 22423 56 | 1.674 % |
37.04/37.10 c | 85861 | 1586 25364 68857 | 24057 22835 57 | 1.674 % |
37.25/37.36 c | 86310 | 1586 25364 68857 | 24057 23284 57 | 1.674 % |
37.54/37.67 c | 86804 | 1586 25364 68857 | 24057 23778 58 | 1.674 % |
37.84/37.92 c | 87346 | 1586 25364 68857 | 24057 24320 59 | 1.674 % |
38.14/38.20 c | 87943 | 1586 25364 68857 | 24057 21562 55 | 1.674 % |
38.44/38.51 c | 88598 | 1586 25364 68857 | 24057 22217 57 | 1.674 % |
38.74/38.90 c | 89318 | 1586 25364 68857 | 24057 22937 58 | 1.674 % |
39.14/39.30 c | 90110 | 1586 25364 68857 | 23619 23729 59 | 1.674 % |
39.64/39.71 c | 90983 | 1586 25364 68857 | 23619 21489 56 | 1.674 % |
40.14/40.21 c | 91941 | 1586 25364 68857 | 23619 22447 57 | 1.674 % |
40.64/40.77 c | 92994 | 1586 25364 68857 | 23619 23500 59 | 1.674 % |
40.74/40.83 c | 93095 | 1586 25364 68857 | 23619 23601 59 | 1.674 % |
40.74/40.88 c | 93207 | 1586 25364 68857 | 23619 23713 59 | 1.674 % |
40.84/40.95 c | 93328 | 1586 25364 68857 | 23619 20790 55 | 1.674 % |
40.94/41.01 c | 93461 | 1586 25364 68857 | 23619 20923 56 | 1.674 % |
40.94/41.08 c | 93607 | 1586 25364 68857 | 23619 21069 56 | 1.674 % |
41.04/41.14 c | 93767 | 1586 25364 68857 | 23619 21229 56 | 1.674 % |
41.14/41.20 c | 93943 | 1586 25364 68857 | 23619 21405 56 | 1.674 % |
41.14/41.28 c | 94136 | 1586 25364 68857 | 23619 21598 57 | 1.674 % |
41.24/41.37 c | 94348 | 1586 25364 68857 | 23619 21810 57 | 1.674 % |
41.34/41.49 c | 94581 | 1586 25364 68857 | 23619 22043 58 | 1.674 % |
41.54/41.61 c | 94837 | 1586 25364 68857 | 23619 22299 58 | 1.674 % |
41.64/41.74 c | 95119 | 1586 25364 68857 | 23619 22581 59 | 1.674 % |
41.84/41.97 c | 95429 | 1586 25364 68857 | 23619 22891 59 | 1.674 % |
42.04/42.16 c | 95769 | 1586 25364 68857 | 23619 23231 60 | 1.674 % |
42.24/42.39 c | 96141 | 1585 25347 68813 | 23619 23600 61 | 1.736 % |
42.54/42.62 c | 96550 | 1585 25347 68813 | 23619 24009 61 | 1.736 % |
42.74/42.87 c | 96999 | 1585 25347 68813 | 23619 21411 58 | 1.736 % |
42.94/43.10 c | 97492 | 1585 25347 68813 | 23619 21904 59 | 1.736 % |
43.34/43.40 c | 98034 | 1585 25347 68813 | 23619 22446 59 | 1.736 % |
43.64/43.78 c | 98632 | 1585 25347 68813 | 23619 23044 60 | 1.736 % |
44.04/44.16 c | 99288 | 1585 25347 68813 | 23619 23700 61 | 1.736 % |
44.44/44.56 c | 100009 | 1585 25347 68813 | 21410 21416 58 | 1.736 % |
44.84/44.98 c | 100801 | 1585 25347 68813 | 21410 19559 55 | 1.736 % |
45.24/45.35 c | 101673 | 1585 25347 68813 | 21410 20431 57 | 1.736 % |
45.64/45.75 c | 102631 | 1585 25347 68813 | 21410 21389 59 | 1.736 % |
46.04/46.13 c | 103685 | 1585 25347 68813 | 21410 20230 57 | 1.736 % |
46.53/46.67 c | 104846 | 1585 25347 68813 | 21410 21391 59 | 1.736 % |
46.63/46.73 c | 104946 | 1585 25347 68813 | 21410 21491 59 | 1.736 % |
46.63/46.78 c | 105056 | 1585 25347 68813 | 21410 19452 55 | 1.736 % |
46.73/46.83 c | 105183 | 1585 25347 68813 | 21410 19579 56 | 1.736 % |
46.73/46.89 c | 105317 | 1585 25347 68813 | 21410 19713 56 | 1.736 % |
46.83/46.94 c | 105463 | 1585 25347 68813 | 21410 19859 56 | 1.737 % |
46.93/47.00 c | 105624 | 1585 25347 68813 | 21410 20020 56 | 1.736 % |
46.93/47.07 c | 105800 | 1585 25347 68813 | 21410 20196 57 | 1.737 % |
47.03/47.16 c | 105993 | 1585 25347 68813 | 21410 20389 57 | 1.736 % |
47.14/47.25 c | 106206 | 1585 25347 68813 | 21410 20602 57 | 1.736 % |
47.24/47.33 c | 106439 | 1585 25347 68813 | 21410 20835 57 | 1.736 % |
47.33/47.47 c | 106696 | 1585 25347 68813 | 21410 21092 58 | 1.736 % |
47.43/47.59 c | 106979 | 1585 25347 68813 | 21410 21375 58 | 1.736 % |
47.63/47.77 c | 107288 | 1585 25347 68813 | 21410 21684 59 | 1.736 % |
47.83/47.96 c | 107628 | 1585 25347 68813 | 21410 19856 56 | 1.736 % |
48.03/48.16 c | 108001 | 1585 25347 68813 | 21410 20229 56 | 1.736 % |
48.24/48.39 c | 108411 | 1585 25347 68813 | 21410 20639 57 | 1.736 % |
48.53/48.64 c | 108861 | 1585 25347 68813 | 21410 21089 58 | 1.736 % |
48.73/48.85 c | 109355 | 1585 25347 68813 | 21410 21583 59 | 1.736 % |
48.93/49.07 c | 109900 | 1585 25347 68813 | 21410 19970 57 | 1.736 % |
49.23/49.35 c | 110496 | 1585 25347 68813 | 2147483647 20566 58 | 1.736 % |
49.53/49.66 c | 111151 | 1585 25347 68813 | 2147483647 21221 59 | 1.736 % |
49.83/49.97 c | 111872 | 1585 25347 68813 | 2147483647 21942 59 | 1.736 % |
50.23/50.39 c | 112666 | 1585 25347 68813 | 2147483647 22736 60 | 1.736 % |
50.73/50.84 c | 113538 | 1585 25347 68813 | 2147483647 23608 61 | 1.736 % |
51.23/51.33 c | 114496 | 1585 25347 68813 | 2147483647 24566 62 | 1.736 % |
51.83/51.95 c | 115551 | 1585 25347 68813 | 2147483647 25621 63 | 1.736 % |
52.63/52.72 c | 116709 | 1585 25347 68813 | 2147483647 26779 65 | 1.736 % |
53.33/53.46 c | 117982 | 1585 25347 68813 | 2147483647 28052 65 | 1.736 % |
53.43/53.54 c | 118083 | 1585 25347 68813 | 2147483647 28153 66 | 1.736 % |
53.53/53.63 c | 118196 | 1585 25347 68813 | 2147483647 28266 66 | 1.736 % |
53.63/53.71 c | 118318 | 1585 25347 68813 | 2147483647 28388 66 | 1.736 % |
53.63/53.80 c | 118452 | 1585 25347 68813 | 2147483647 28522 66 | 1.736 % |
53.83/53.90 c | 118598 | 1585 25347 68813 | 2147483647 28668 66 | 1.736 % |
53.93/54.03 c | 118760 | 1585 25347 68813 | 2147483647 28830 66 | 1.736 % |
54.03/54.14 c | 118936 | 1585 25347 68813 | 2147483647 29006 66 | 1.736 % |
54.23/54.31 c | 119130 | 1585 25347 68813 | 2147483647 29200 66 | 1.736 % |
54.33/54.45 c | 119344 | 1585 25347 68813 | 2147483647 29414 66 | 1.736 % |
54.53/54.61 c | 119583 | 1585 25347 68813 | 2147483647 29653 66 | 1.736 % |
54.63/54.78 c | 119839 | 1585 25347 68813 | 2147483647 29909 67 | 1.736 % |
54.93/55.00 c | 120120 | 1585 25347 68813 | 30071 30190 67 | 1.736 % |
55.13/55.25 c | 120433 | 1585 25347 68813 | 30071 26162 61 | 1.736 % |
55.33/55.47 c | 120773 | 1585 25347 68813 | 30071 26502 61 | 1.736 % |
55.63/55.71 c | 121146 | 1585 25347 68813 | 30071 26875 61 | 1.736 % |
55.83/55.98 c | 121558 | 1585 25347 68813 | 30071 27287 62 | 1.736 % |
56.23/56.38 c | 122008 | 1585 25347 68813 | 30071 27737 62 | 1.736 % |
56.63/56.79 c | 122502 | 1585 25347 68813 | 30071 28231 63 | 1.736 % |
57.03/57.11 c | 123047 | 1585 25347 68813 | 30071 28776 64 | 1.736 % |
57.43/57.55 c | 123643 | 1585 25347 68813 | 30071 29372 64 | 1.736 % |
57.92/58.02 c | 124300 | 1585 25347 68813 | 30071 30029 65 | 1.736 % |
58.32/58.45 c | 125021 | 1585 25347 68813 | 30071 25283 58 | 1.736 % |
58.82/58.96 c | 125813 | 1585 25347 68813 | 30071 26075 59 | 1.736 % |
59.33/59.47 c | 126684 | 1585 25347 68813 | 30071 26946 60 | 1.736 % |
60.02/60.11 c | 127644 | 1585 25347 68813 | 30071 27906 61 | 1.736 % |
60.82/60.96 c | 128699 | 1585 25347 68813 | 30071 28961 61 | 1.736 % |
61.43/61.58 c | 129859 | 1585 25347 68813 | 30071 30121 63 | 1.736 % |
62.22/62.39 c | 131132 | 1585 25347 68813 | 25025 21846 55 | 1.736 % |
63.12/63.26 c | 132532 | 1585 25347 68813 | 25025 23246 57 | 1.736 % |
63.22/63.34 c | 132632 | 1585 25347 68813 | 25025 23346 58 | 1.736 % |
63.22/63.40 c | 132744 | 1585 25347 68813 | 25025 23458 58 | 1.736 % |
63.32/63.48 c | 132867 | 1585 25347 68813 | 25025 23581 58 | 1.736 % |
63.42/63.55 c | 133001 | 1585 25347 68813 | 25025 23715 58 | 1.737 % |
63.52/63.66 c | 133148 | 1585 25347 68813 | 25025 23862 58 | 1.736 % |
63.63/63.76 c | 133309 | 1585 25347 68813 | 25025 24023 59 | 1.736 % |
63.73/63.84 c | 133485 | 1585 25347 68813 | 25025 24199 59 | 1.736 % |
63.82/63.96 c | 133678 | 1585 25347 68813 | 25025 24392 59 | 1.736 % |
63.92/64.06 c | 133890 | 1585 25347 68813 | 25025 24604 59 | 1.736 % |
64.12/64.20 c | 134126 | 1585 25347 68813 | 25025 24840 60 | 1.736 % |
64.22/64.39 c | 134383 | 1585 25347 68813 | 25025 25097 60 | 1.736 % |
64.42/64.58 c | 134665 | 1585 25347 68813 | 25025 21539 55 | 1.736 % |
64.62/64.78 c | 134976 | 1585 25347 68813 | 25025 21850 56 | 1.736 % |
64.83/64.97 c | 135316 | 1585 25347 68813 | 25025 22190 57 | 1.736 % |
65.02/65.19 c | 135688 | 1585 25347 68813 | 25025 22562 57 | 1.736 % |
65.32/65.47 c | 136098 | 1585 25347 68813 | 25025 22972 58 | 1.736 % |
65.62/65.77 c | 136547 | 1585 25347 68813 | 25025 23421 59 | 1.736 % |
65.93/66.09 c | 137041 | 1585 25347 68813 | 25025 23915 59 | 1.736 % |
66.32/66.47 c | 137587 | 1585 25347 68813 | 25025 24461 60 | 1.736 % |
66.72/66.84 c | 138186 | 1585 25347 68813 | 25025 25060 61 | 1.736 % |
67.12/67.22 c | 138842 | 1585 25347 68813 | 25025 21999 58 | 1.736 % |
67.52/67.64 c | 139562 | 1585 25347 68813 | 25025 22719 59 | 1.736 % |
67.92/68.08 c | 140356 | 1585 25347 68813 | 23158 20001 54 | 1.736 % |
68.42/68.57 c | 141227 | 1585 25347 68813 | 23158 20872 56 | 1.736 % |
68.92/69.02 c | 142186 | 1585 25347 68813 | 23158 21831 57 | 1.736 % |
69.52/69.64 c | 143241 | 1585 25347 68813 | 23158 22886 58 | 1.736 % |
70.22/70.35 c | 144401 | 1585 25347 68813 | 23158 20707 54 | 1.736 % |
70.92/71.03 c | 145674 | 1585 25347 68813 | 23158 21980 56 | 1.736 % |
71.72/71.83 c | 147076 | 1585 25347 68813 | 23158 23382 58 | 1.736 % |
72.52/72.62 c | 148619 | 1585 25347 68813 | 23158 21752 55 | 1.736 % |
72.52/72.67 c | 148720 | 1585 25347 68813 | 23158 21853 56 | 1.736 % |
72.62/72.73 c | 148830 | 1585 25347 68813 | 23158 21963 56 | 1.736 % |
72.72/72.80 c | 148953 | 1585 25347 68813 | 23158 22086 56 | 1.736 % |
72.72/72.88 c | 149089 | 1585 25347 68813 | 23158 22222 56 | 1.736 % |
72.82/72.96 c | 149235 | 1585 25347 68813 | 23158 22368 56 | 1.736 % |
72.92/73.04 c | 149398 | 1585 25347 68813 | 23158 22531 57 | 1.736 % |
73.02/73.14 c | 149574 | 1585 25347 68813 | 23158 22707 57 | 1.736 % |
73.12/73.24 c | 149767 | 1585 25347 68813 | 23158 22900 57 | 1.736 % |
73.22/73.39 c | 149979 | 1585 25347 68813 | 23158 23112 57 | 1.736 % |
73.42/73.53 c | 150214 | 1585 25347 68813 | 23133 23347 57 | 1.736 % |
73.52/73.69 c | 150471 | 1585 25347 68813 | 23133 20590 53 | 1.736 % |
73.72/73.82 c | 150753 | 1585 25347 68813 | 23133 20872 54 | 1.736 % |
73.91/74.00 c | 151063 | 1585 25347 68813 | 23133 21182 55 | 1.736 % |
74.01/74.19 c | 151402 | 1585 25347 68813 | 23133 21521 55 | 1.736 % |
74.31/74.40 c | 151776 | 1585 25347 68813 | 23133 21895 56 | 1.736 % |
74.51/74.60 c | 152185 | 1585 25347 68813 | 23133 22304 57 | 1.736 % |
74.72/74.83 c | 152634 | 1585 25347 68813 | 23133 22753 57 | 1.736 % |
74.91/75.08 c | 153129 | 1585 25347 68813 | 23133 23248 58 | 1.736 % |
75.21/75.31 c | 153671 | 1585 25347 68813 | 23133 21139 55 | 1.736 % |
75.51/75.65 c | 154267 | 1585 25347 68813 | 23133 21735 56 | 1.736 % |
75.91/76.01 c | 154922 | 1585 25347 68813 | 23133 22390 57 | 1.736 % |
76.21/76.33 c | 155646 | 1585 25347 68813 | 23133 23114 58 | 1.736 % |
76.61/76.77 c | 156440 | 1585 25347 68813 | 23133 21277 57 | 1.736 % |
77.01/77.17 c | 157311 | 1585 25347 68813 | 23133 22148 58 | 1.736 % |
77.71/77.81 c | 158273 | 1585 25347 68813 | 23133 23110 59 | 1.736 % |
78.31/78.42 c | 159328 | 1585 25347 68813 | 23133 21559 56 | 1.736 % |
79.01/79.20 c | 160487 | 1585 25347 68813 | 22235 20174 55 | 1.736 % |
79.61/79.78 c | 161760 | 1585 25347 68813 | 22235 21447 58 | 1.736 % |
80.41/80.53 c | 163163 | 1585 25347 68813 | 22235 20501 57 | 1.736 % |
81.21/81.31 c | 164703 | 1585 25347 68813 | 22235 22041 59 | 1.736 % |
82.01/82.15 c | 166397 | 1585 25347 68813 | 22235 21442 60 | 1.736 % |
82.11/82.20 c | 166500 | 1585 25347 68813 | 22235 21545 60 | 1.736 % |
82.11/82.28 c | 166611 | 1585 25347 68813 | 22235 21656 60 | 1.736 % |
82.21/82.35 c | 166732 | 1585 25347 68813 | 22235 21777 60 | 1.736 % |
82.31/82.46 c | 166866 | 1585 25347 68813 | 22235 21911 61 | 1.736 % |
82.41/82.52 c | 167014 | 1585 25347 68813 | 22235 22059 61 | 1.736 % |
82.51/82.61 c | 167174 | 1584 25330 68769 | 22235 22214 61 | 1.798 % |
82.51/82.69 c | 167350 | 1584 25330 68769 | 22235 22390 61 | 1.798 % |
82.61/82.79 c | 167545 | 1584 25330 68769 | 22235 20346 58 | 1.798 % |
82.80/82.91 c | 167757 | 1584 25330 68769 | 22235 20558 58 | 1.798 % |
82.90/83.03 c | 167994 | 1584 25330 68769 | 22235 20795 59 | 1.798 % |
83.10/83.21 c | 168252 | 1584 25330 68769 | 22235 21053 59 | 1.798 % |
83.20/83.32 c | 168533 | 1584 25330 68769 | 22235 21334 59 | 1.798 % |
83.30/83.47 c | 168842 | 1584 25330 68769 | 22235 21643 60 | 1.798 % |
83.51/83.65 c | 169181 | 1584 25330 68769 | 22235 21982 60 | 1.798 % |
83.80/83.91 c | 169559 | 1584 25330 68769 | 22235 22360 60 | 1.798 % |
84.00/84.11 c | 169968 | 1584 25330 68769 | 22235 20469 58 | 1.798 % |
84.20/84.38 c | 170419 | 1584 25330 68769 | 20502 20920 59 | 1.798 % |
84.51/84.60 c | 170914 | 1584 25330 68769 | 20502 19323 55 | 1.798 % |
84.60/84.79 c | 171457 | 1584 25330 68769 | 20502 19866 56 | 1.798 % |
85.00/85.15 c | 172056 | 1584 25330 68769 | 20502 20465 58 | 1.798 % |
85.40/85.53 c | 172713 | 1584 25330 68769 | 20502 19049 55 | 1.798 % |
85.70/85.86 c | 173434 | 1584 25330 68769 | 20502 19770 56 | 1.798 % |
86.00/86.16 c | 174226 | 1584 25330 68769 | 20502 20562 58 | 1.798 % |
86.40/86.53 c | 175098 | 1584 25330 68769 | 20502 19378 55 | 1.798 % |
86.90/87.06 c | 176059 | 1584 25330 68769 | 20502 20339 57 | 1.798 % |
87.41/87.59 c | 177114 | 1584 25330 68769 | 20502 19299 54 | 1.798 % |
88.01/88.18 c | 178272 | 1584 25330 68769 | 20502 20457 56 | 1.798 % |
88.71/88.89 c | 179545 | 1584 25330 68769 | 20502 19642 55 | 1.798 % |
89.61/89.73 c | 180947 | 1584 25330 68769 | 2147483647 21044 57 | 1.798 % |
90.51/90.65 c | 182487 | 1584 25330 68769 | 2147483647 22584 58 | 1.798 % |
91.41/91.56 c | 184184 | 1584 25330 68769 | 2147483647 24281 60 | 1.798 % |
92.60/92.71 c | 186048 | 1584 25330 68769 | 2147483647 26145 63 | 1.798 % |
92.60/92.79 c | 186149 | 1584 25330 68769 | 2147483647 26246 63 | 1.798 % |
92.70/92.84 c | 186259 | 1584 25330 68769 | 2147483647 26356 63 | 1.798 % |
92.80/92.95 c | 186384 | 1584 25330 68769 | 2147483647 26481 64 | 1.798 % |
92.90/93.04 c | 186519 | 1584 25330 68769 | 2147483647 26616 64 | 1.798 % |
93.00/93.13 c | 186666 | 1584 25330 68769 | 2147483647 26763 64 | 1.798 % |
93.10/93.26 c | 186828 | 1584 25330 68769 | 2147483647 26925 64 | 1.798 % |
93.20/93.40 c | 187008 | 1584 25330 68769 | 2147483647 27105 64 | 1.798 % |
93.41/93.52 c | 187202 | 1584 25330 68769 | 2147483647 27299 64 | 1.798 % |
93.50/93.63 c | 187415 | 1584 25330 68769 | 2147483647 27512 65 | 1.798 % |
93.60/93.78 c | 187648 | 1584 25330 68769 | 2147483647 27745 65 | 1.798 % |
93.80/93.97 c | 187905 | 1584 25330 68769 | 2147483647 28002 65 | 1.798 % |
94.10/94.23 c | 188189 | 1584 25330 68769 | 2147483647 28286 65 | 1.798 % |
94.20/94.38 c | 188499 | 1584 25330 68769 | 2147483647 28596 66 | 1.798 % |
94.51/94.63 c | 188840 | 1584 25330 68769 | 2147483647 28937 66 | 1.798 % |
94.70/94.88 c | 189214 | 1584 25330 68769 | 2147483647 29311 66 | 1.798 % |
95.00/95.17 c | 189626 | 1584 25330 68769 | 2147483647 29723 66 | 1.798 % |
95.30/95.46 c | 190076 | 1584 25330 68769 | 30097 30173 66 | 1.798 % |
95.70/95.87 c | 190570 | 1584 25330 68769 | 30097 26511 61 | 1.798 % |
96.20/96.31 c | 191113 | 1584 25330 68769 | 30097 27054 62 | 1.798 % |
96.61/96.73 c | 191710 | 1584 25330 68769 | 30097 27651 62 | 1.798 % |
96.90/97.09 c | 192368 | 1584 25330 68769 | 30097 28309 64 | 1.798 % |
97.60/97.72 c | 193092 | 1584 25330 68769 | 30097 29033 65 | 1.798 % |
98.30/98.41 c | 193885 | 1584 25330 68769 | 30097 29826 65 | 1.798 % |
98.90/99.02 c | 194756 | 1584 25330 68769 | 30097 25497 60 | 1.798 % |
99.50/99.65 c | 195714 | 1584 25330 68769 | 30097 26455 61 | 1.798 % |
100.40/100.55 c | 196767 | 1584 25330 68769 | 30097 27508 62 | 1.798 % |
101.20/101.34 c | 197925 | 1584 25330 68769 | 30097 28666 63 | 1.798 % |
102.20/102.37 c | 199199 | 1584 25330 68769 | 30097 29940 64 | 1.798 % |
103.30/103.43 c | 200599 | 1584 25330 68769 | 25190 21278 55 | 1.798 % |
104.30/104.41 c | 202139 | 1584 25330 68769 | 25190 22818 57 | 1.798 % |
105.30/105.45 c | 203835 | 1584 25330 68769 | 25190 24514 59 | 1.798 % |
106.40/106.54 c | 205700 | 1584 25330 68769 | 25190 22519 55 | 1.798 % |
107.90/108.07 c | 207751 | 1584 25330 68769 | 25190 24570 58 | 1.798 % |
108.00/108.12 c | 207853 | 1584 25330 68769 | 25190 24672 58 | 1.798 % |
108.00/108.17 c | 207963 | 1584 25330 68769 | 25190 24782 58 | 1.798 % |
108.10/108.23 c | 208084 | 1584 25330 68769 | 25190 24903 59 | 1.798 % |
108.20/108.35 c | 208222 | 1584 25330 68769 | 25190 25041 59 | 1.798 % |
108.30/108.45 c | 208369 | 1584 25330 68769 | 25190 25188 59 | 1.798 % |
108.40/108.57 c | 208530 | 1584 25330 68769 | 25190 25349 59 | 1.798 % |
108.50/108.68 c | 208707 | 1584 25330 68769 | 25190 21749 54 | 1.798 % |
108.60/108.78 c | 208900 | 1584 25330 68769 | 25190 21942 54 | 1.798 % |
108.80/108.92 c | 209113 | 1584 25330 68769 | 25190 22155 55 | 1.798 % |
108.90/109.05 c | 209348 | 1584 25330 68769 | 25190 22390 55 | 1.798 % |
109.10/109.23 c | 209605 | 1584 25330 68769 | 25190 22647 56 | 1.798 % |
109.20/109.37 c | 209888 | 1584 25330 68769 | 25190 22930 56 | 1.798 % |
109.40/109.53 c | 210197 | 1584 25330 68769 | 23042 23239 57 | 1.798 % |
109.60/109.72 c | 210537 | 1584 25330 68769 | 23042 20209 53 | 1.798 % |
109.80/109.95 c | 210909 | 1584 25330 68769 | 23042 20581 53 | 1.798 % |
110.10/110.22 c | 211319 | 1584 25330 68769 | 23042 20991 54 | 1.798 % |
110.29/110.49 c | 211770 | 1584 25330 68769 | 23042 21442 55 | 1.798 % |
110.59/110.75 c | 212263 | 1584 25330 68769 | 23042 21935 56 | 1.798 % |
110.90/111.08 c | 212805 | 1584 25330 68769 | 23042 22477 57 | 1.798 % |
111.39/111.50 c | 213403 | 1584 25330 68769 | 23042 23075 58 | 1.800 % |
111.69/111.89 c | 214063 | 1584 25330 68769 | 23042 20830 55 | 1.798 % |
112.19/112.30 c | 214783 | 1584 25330 68769 | 23042 21550 57 | 1.798 % |
112.59/112.71 c | 215576 | 1584 25330 68769 | 23042 22343 58 | 1.798 % |
113.20/113.31 c | 216447 | 1584 25330 68769 | 23042 23214 60 | 1.798 % |
113.79/113.99 c | 217406 | 1584 25330 68769 | 23042 21502 57 | 1.798 % |
114.39/114.58 c | 218460 | 1584 25330 68769 | 23042 22556 59 | 1.798 % |
115.09/115.21 c | 219618 | 1584 25330 68769 | 23042 21178 58 | 1.798 % |
115.79/115.93 c | 220893 | 1584 25330 68769 | 21562 20140 56 | 1.798 % |
116.59/116.77 c | 222296 | 1584 25330 68769 | 21562 21543 58 | 1.798 % |
117.19/117.37 c | 223837 | 1584 25330 68769 | 21562 20869 58 | 1.798 % |
118.19/118.30 c | 225535 | 1583 25313 68725 | 21562 20372 55 | 1.860 % |
119.39/119.54 c | 227401 | 1583 25313 68725 | 21562 20051 56 | 1.860 % |
120.49/120.66 c | 229450 | 1583 25313 68725 | 21562 19909 56 | 1.860 % |
121.89/122.07 c | 231703 | 1583 25313 68725 | 2147483647 22162 62 | 1.860 % |
121.99/122.14 c | 231804 | 1583 25313 68725 | 2147483647 22263 62 | 1.860 % |
122.09/122.21 c | 231916 | 1583 25313 68725 | 2147483647 22375 62 | 1.860 % |
122.19/122.31 c | 232037 | 1583 25313 68725 | 2147483647 22496 63 | 1.860 % |
122.29/122.41 c | 232171 | 1583 25313 68725 | 2147483647 22630 63 | 1.860 % |
122.39/122.51 c | 232319 | 1583 25313 68725 | 2147483647 22778 63 | 1.860 % |
122.49/122.64 c | 232479 | 1583 25313 68725 | 2147483647 22938 63 | 1.860 % |
122.59/122.76 c | 232658 | 1583 25313 68725 | 2147483647 23117 64 | 1.860 % |
122.79/122.92 c | 232854 | 1583 25313 68725 | 2147483647 23313 64 | 1.860 % |
122.89/123.04 c | 233066 | 1583 25313 68725 | 2147483647 23525 64 | 1.860 % |
123.09/123.23 c | 233299 | 1583 25313 68725 | 2147483647 23758 64 | 1.860 % |
123.19/123.38 c | 233555 | 1583 25313 68725 | 2147483647 24014 65 | 1.860 % |
123.39/123.56 c | 233837 | 1583 25313 68725 | 2147483647 24296 65 | 1.860 % |
123.59/123.78 c | 234148 | 1583 25313 68725 | 2147483647 24607 65 | 1.860 % |
123.79/123.96 c | 234488 | 1583 25313 68725 | 2147483647 24947 66 | 1.860 % |
123.99/124.18 c | 234865 | 1583 25313 68725 | 2147483647 25324 66 | 1.860 % |
124.29/124.44 c | 235275 | 1583 25313 68725 | 2147483647 25734 66 | 1.860 % |
124.59/124.72 c | 235726 | 1583 25313 68725 | 2147483647 26185 67 | 1.860 % |
124.89/125.02 c | 236222 | 1583 25313 68725 | 2147483647 26681 67 | 1.860 % |
125.39/125.52 c | 236765 | 1583 25313 68725 | 2147483647 27224 68 | 1.860 % |
125.69/125.85 c | 237362 | 1583 25313 68725 | 2147483647 27821 69 | 1.860 % |
126.09/126.25 c | 238018 | 1583 25313 68725 | 2147483647 28477 69 | 1.860 % |
126.58/126.74 c | 238739 | 1583 25313 68725 | 2147483647 29198 70 | 1.860 % |
127.28/127.46 c | 239532 | 1583 25313 68725 | 2147483647 29991 71 | 1.860 % |
128.29/128.40 c | 240403 | 1583 25313 68725 | 30460 26048 67 | 1.860 % |
128.98/129.15 c | 241362 | 1583 25313 68725 | 30460 27007 68 | 1.860 % |
129.69/129.86 c | 242415 | 1583 25313 68725 | 30460 28060 69 | 1.860 % |
130.48/130.63 c | 243573 | 1583 25313 68725 | 30460 29218 70 | 1.860 % |
131.58/131.76 c | 244847 | 1583 25313 68725 | 30460 30492 71 | 1.860 % |
132.58/132.80 c | 246251 | 1583 25313 68725 | 30460 26374 65 | 1.860 % |
133.68/133.86 c | 247792 | 1583 25313 68725 | 30460 27915 67 | 1.860 % |
134.78/134.90 c | 249489 | 1583 25313 68725 | 30460 29612 68 | 1.860 % |
136.08/136.22 c | 251352 | 1583 25313 68725 | 30123 26025 64 | 1.860 % |
137.18/137.39 c | 253401 | 1583 25313 68725 | 30123 28074 66 | 1.860 % |
139.28/139.49 c | 255656 | 1583 25313 68725 | 30123 30329 68 | 1.860 % |
140.98/141.13 c | 258134 | 1583 25313 68725 | 30123 27300 64 | 1.860 % |
141.08/141.21 c | 258236 | 1583 25313 68725 | 30123 27402 64 | 1.860 % |
141.08/141.29 c | 258348 | 1583 25313 68725 | 30123 27514 64 | 1.860 % |
141.18/141.39 c | 258470 | 1583 25313 68725 | 30123 27636 64 | 1.860 % |
141.28/141.49 c | 258609 | 1583 25313 68725 | 30123 27775 64 | 1.860 % |
141.48/141.62 c | 258757 | 1583 25313 68725 | 30123 27923 65 | 1.860 % |
141.58/141.76 c | 258917 | 1583 25313 68725 | 30123 28083 65 | 1.860 % |
141.69/141.87 c | 259093 | 1583 25313 68725 | 30123 28259 65 | 1.860 % |
141.88/142.00 c | 259288 | 1583 25313 68725 | 30123 28454 65 | 1.860 % |
141.98/142.15 c | 259500 | 1583 25313 68725 | 30123 28666 65 | 1.860 % |
142.18/142.39 c | 259733 | 1583 25313 68725 | 30123 28899 66 | 1.860 % |
142.38/142.56 c | 259989 | 1583 25313 68725 | 30123 29155 66 | 1.860 % |
142.68/142.81 c | 260271 | 1583 25313 68725 | 29166 23950 60 | 1.860 % |
142.79/142.98 c | 260583 | 1583 25313 68725 | 29166 24262 60 | 1.860 % |
143.08/143.20 c | 260924 | 1583 25313 68725 | 29166 24603 61 | 1.860 % |
143.28/143.43 c | 261296 | 1583 25313 68725 | 29166 24975 61 | 1.860 % |
143.58/143.74 c | 261707 | 1583 25313 68725 | 29166 25386 62 | 1.860 % |
143.88/144.02 c | 262158 | 1583 25313 68725 | 29166 25837 62 | 1.860 % |
144.18/144.30 c | 262651 | 1583 25313 68725 | 29166 26330 63 | 1.860 % |
144.48/144.69 c | 263195 | 1583 25313 68725 | 29166 26874 63 | 1.860 % |
144.88/145.01 c | 263791 | 1583 25313 68725 | 29166 27470 63 | 1.860 % |
145.28/145.44 c | 264446 | 1583 25313 68725 | 29166 28125 64 | 1.860 % |
145.78/145.93 c | 265166 | 1583 25313 68725 | 29166 28845 64 | 1.860 % |
146.38/146.60 c | 265958 | 1583 25313 68725 | 29166 24363 58 | 1.860 % |
146.88/147.08 c | 266829 | 1583 25313 68725 | 29166 25234 59 | 1.860 % |
147.38/147.56 c | 267789 | 1583 25313 68725 | 29166 26194 60 | 1.860 % |
148.08/148.23 c | 268843 | 1583 25313 68725 | 29166 27248 61 | 1.860 % |
148.88/149.04 c | 270006 | 1583 25313 68725 | 28405 28411 63 | 1.860 % |
149.68/149.86 c | 271279 | 1583 25313 68725 | 28405 24896 59 | 1.860 % |
150.38/150.59 c | 272679 | 1583 25313 68725 | 28405 26296 61 | 1.860 % |
151.38/151.57 c | 274219 | 1583 25313 68725 | 28405 27836 63 | 1.860 % |
152.57/152.72 c | 275913 | 1583 25313 68725 | 28405 25002 60 | 1.860 % |
153.98/154.14 c | 277777 | 1583 25313 68725 | 28405 26866 62 | 1.860 % |
155.37/155.58 c | 279827 | 1583 25313 68725 | 28405 24394 59 | 1.860 % |
156.87/157.01 c | 282080 | 1583 25313 68725 | 24568 22720 58 | 1.860 % |
158.57/158.77 c | 284559 | 1583 25313 68725 | 24568 21792 57 | 1.860 % |
160.57/160.79 c | 287285 | 1583 25313 68725 | 24568 24518 61 | 1.860 % |
160.67/160.87 c | 287386 | 1583 25313 68725 | 24568 24619 61 | 1.860 % |
160.77/160.94 c | 287498 | 1583 25313 68725 | 24568 21308 57 | 1.860 % |
160.87/161.02 c | 287620 | 1583 25313 68725 | 24568 21430 57 | 1.860 % |
160.87/161.09 c | 287755 | 1583 25313 68725 | 24568 21565 57 | 1.860 % |
160.97/161.17 c | 287901 | 1583 25313 68725 | 24568 21711 57 | 1.860 % |
161.07/161.28 c | 288062 | 1583 25313 68725 | 24568 21872 58 | 1.860 % |
161.27/161.45 c | 288240 | 1583 25313 68725 | 24568 22050 58 | 1.860 % |
161.37/161.57 c | 288434 | 1583 25313 68725 | 24568 22244 58 | 1.860 % |
161.58/161.73 c | 288650 | 1583 25313 68725 | 24568 22460 59 | 1.860 % |
161.67/161.86 c | 288884 | 1583 25313 68725 | 24568 22694 59 | 1.860 % |
161.87/162.00 c | 289140 | 1583 25313 68725 | 24568 22950 59 | 1.860 % |
162.07/162.20 c | 289422 | 1583 25313 68725 | 24568 23232 59 | 1.860 % |
162.27/162.42 c | 289731 | 1583 25313 68725 | 24568 23541 60 | 1.860 % |
162.47/162.60 c | 290070 | 1583 25313 68725 | 23813 23880 60 | 1.860 % |
162.58/162.79 c | 290442 | 1583 25313 68725 | 23813 20888 56 | 1.860 % |
162.87/163.04 c | 290851 | 1583 25313 68725 | 23813 21297 57 | 1.860 % |
163.17/163.32 c | 291304 | 1583 25313 68725 | 23813 21750 58 | 1.861 % |
163.37/163.53 c | 291797 | 1583 25313 68725 | 23813 22243 58 | 1.860 % |
163.57/163.75 c | 292339 | 1583 25313 68725 | 23813 22785 59 | 1.860 % |
163.97/164.16 c | 292935 | 1583 25313 68725 | 23813 23381 60 | 1.860 % |
164.37/164.59 c | 293590 | 1583 25313 68725 | 23813 24036 61 | 1.860 % |
164.97/165.15 c | 294312 | 1583 25313 68725 | 23813 21543 56 | 1.860 % |
165.47/165.66 c | 295108 | 1583 25313 68725 | 23813 22339 58 | 1.860 % |
166.07/166.27 c | 295981 | 1583 25313 68725 | 23813 23212 59 | 1.860 % |
166.67/166.87 c | 296939 | 1583 25313 68725 | 23813 20940 56 | 1.860 % |
167.37/167.53 c | 297992 | 1583 25313 68725 | 23813 21993 58 | 1.860 % |
168.07/168.29 c | 299150 | 1583 25313 68725 | 23813 23151 60 | 1.860 % |
168.87/169.01 c | 300424 | 1583 25313 68725 | 24004 24425 63 | 1.860 % |
169.66/169.87 c | 301824 | 1583 25313 68725 | 24004 22733 61 | 1.860 % |
170.77/170.94 c | 303364 | 1583 25313 68725 | 24004 24273 63 | 1.860 % |
171.76/171.92 c | 305058 | 1583 25313 68725 | 24004 22957 62 | 1.860 % |
173.16/173.31 c | 306926 | 1583 25313 68725 | 24004 21899 60 | 1.860 % |
174.77/174.98 c | 308977 | 1583 25313 68725 | 24004 23950 64 | 1.860 % |
175.96/176.13 c | 311230 | 1583 25313 68725 | 21873 20369 59 | 1.860 % |
177.46/177.68 c | 313709 | 1583 25313 68725 | 21873 20241 61 | 1.860 % |
179.06/179.27 c | 316434 | 1583 25313 68725 | 21873 20502 61 | 1.860 % |
180.96/181.12 c | 319431 | 1583 25313 68725 | 21873 21101 62 | 1.860 % |
180.96/181.19 c | 319531 | 1583 25313 68725 | 21873 21201 62 | 1.860 % |
181.06/181.24 c | 319643 | 1583 25313 68725 | 21873 21313 62 | 1.860 % |
181.16/181.32 c | 319766 | 1583 25313 68725 | 21873 21436 62 | 1.860 % |
181.16/181.39 c | 319899 | 1583 25313 68725 | 21873 21569 62 | 1.860 % |
181.26/181.45 c | 320045 | 1583 25313 68725 | 21670 21715 63 | 1.860 % |
181.36/181.57 c | 320208 | 1583 25313 68725 | 21670 19553 58 | 1.860 % |
181.46/181.65 c | 320385 | 1583 25313 68725 | 21670 19730 58 | 1.860 % |
181.56/181.74 c | 320579 | 1583 25313 68725 | 21670 19924 59 | 1.860 % |
181.66/181.85 c | 320791 | 1583 25313 68725 | 21670 20136 59 | 1.860 % |
181.76/181.99 c | 321029 | 1583 25313 68725 | 21670 20374 59 | 1.860 % |
181.96/182.18 c | 321286 | 1583 25313 68725 | 21670 20631 60 | 1.860 % |
182.26/182.42 c | 321570 | 1583 25313 68725 | 21670 20915 60 | 1.860 % |
182.46/182.65 c | 321880 | 1583 25313 68725 | 21670 21225 61 | 1.860 % |
182.76/182.92 c | 322219 | 1583 25313 68725 | 21670 21564 61 | 1.860 % |
183.06/183.21 c | 322591 | 1583 25313 68725 | 21670 21936 62 | 1.860 % |
183.26/183.48 c | 323006 | 1583 25313 68725 | 21670 19878 58 | 1.860 % |
183.56/183.80 c | 323457 | 1583 25313 68725 | 21670 20329 59 | 1.860 % |
183.96/184.18 c | 323950 | 1583 25313 68725 | 21670 20822 60 | 1.860 % |
184.26/184.48 c | 324493 | 1583 25313 68725 | 21670 21365 61 | 1.860 % |
184.56/184.76 c | 325091 | 1583 25313 68725 | 21670 21963 62 | 1.860 % |
184.96/185.17 c | 325746 | 1583 25313 68725 | 21670 20200 58 | 1.860 % |
185.26/185.47 c | 326466 | 1583 25313 68725 | 21670 20920 60 | 1.860 % |
185.76/185.93 c | 327260 | 1583 25313 68725 | 21670 21714 61 | 1.860 % |
186.05/186.23 c | 328132 | 1583 25313 68725 | 21670 20224 59 | 1.860 % |
186.35/186.52 c | 329094 | 1583 25313 68725 | 21670 21186 59 | 1.860 % |
186.76/186.99 c | 330149 | 1583 25313 68725 | 2147483647 20046 57 | 1.860 % |
187.35/187.56 c | 331308 | 1583 25313 68725 | 2147483647 21205 59 | 1.860 % |
187.96/188.20 c | 332587 | 1583 25313 68725 | 2147483647 22484 60 | 1.860 % |
189.06/189.23 c | 333987 | 1583 25313 68725 | 2147483647 23884 63 | 1.860 % |
190.25/190.40 c | 335531 | 1583 25313 68725 | 2147483647 25428 65 | 1.860 % |
191.45/191.67 c | 337226 | 1583 25313 68725 | 2147483647 27123 67 | 1.860 % |
193.15/193.38 c | 339092 | 1583 25313 68725 | 2147483647 28989 69 | 1.860 % |
195.05/195.20 c | 341143 | 1583 25313 68725 | 29898 26147 65 | 1.860 % |
197.15/197.32 c | 343396 | 1583 25313 68725 | 29898 28400 68 | 1.860 % |
199.45/199.61 c | 345874 | 1583 25313 68725 | 29898 25344 64 | 1.860 % |
201.75/201.92 c | 348603 | 1583 25313 68725 | 29898 28073 67 | 1.860 % |
203.65/203.90 c | 351602 | 1583 25313 68725 | 29470 25592 65 | 1.860 % |
206.75/206.96 c | 354899 | 1583 25313 68725 | 29470 28889 68 | 1.860 % |
206.85/207.06 c | 355000 | 1583 25313 68725 | 29470 28990 68 | 1.860 % |
207.05/207.20 c | 355110 | 1583 25313 68725 | 29470 29100 68 | 1.860 % |
207.15/207.32 c | 355231 | 1583 25313 68725 | 29470 29221 68 | 1.860 % |
207.25/207.47 c | 355365 | 1583 25313 68725 | 29470 29355 68 | 1.860 % |
207.35/207.58 c | 355511 | 1583 25313 68725 | 29470 29501 69 | 1.860 % |
207.55/207.75 c | 355671 | 1583 25313 68725 | 29470 24091 63 | 1.860 % |
207.65/207.86 c | 355850 | 1583 25313 68725 | 29470 24270 63 | 1.860 % |
207.85/208.02 c | 356045 | 1583 25313 68725 | 29470 24465 63 | 1.860 % |
207.95/208.18 c | 356257 | 1583 25313 68725 | 29470 24677 63 | 1.860 % |
208.14/208.33 c | 356491 | 1583 25313 68725 | 29470 24911 63 | 1.860 % |
208.34/208.51 c | 356750 | 1583 25313 68725 | 29470 25170 64 | 1.860 % |
208.44/208.69 c | 357033 | 1583 25313 68725 | 29470 25453 64 | 1.860 % |
208.85/209.00 c | 357342 | 1583 25313 68725 | 29470 25762 65 | 1.860 % |
209.04/209.24 c | 357682 | 1583 25313 68725 | 29470 26102 65 | 1.860 % |
209.24/209.49 c | 358054 | 1583 25313 68725 | 29470 26474 66 | 1.860 % |
209.64/209.85 c | 358463 | 1583 25313 68725 | 29470 26883 66 | 1.860 % |
209.95/210.19 c | 358913 | 1583 25313 68725 | 29470 27333 67 | 1.860 % |
210.54/210.73 c | 359406 | 1583 25313 68725 | 29470 27826 67 | 1.860 % |
211.14/211.36 c | 359949 | 1583 25313 68725 | 29470 28369 68 | 1.860 % |
211.74/211.92 c | 360546 | 1583 25313 68725 | 28420 23442 61 | 1.860 % |
212.34/212.52 c | 361206 | 1583 25313 68725 | 28420 24102 62 | 1.860 % |
212.84/213.02 c | 361928 | 1583 25313 68725 | 28420 24824 63 | 1.860 % |
213.44/213.70 c | 362721 | 1583 25313 68725 | 28420 25617 64 | 1.860 % |
214.14/214.38 c | 363592 | 1583 25313 68725 | 28420 26488 64 | 1.860 % |
215.04/215.25 c | 364550 | 1583 25313 68725 | 28420 27446 65 | 1.860 % |
216.04/216.27 c | 365605 | 1583 25313 68725 | 28420 28501 66 | 1.860 % |
217.04/217.21 c | 366763 | 1583 25313 68725 | 28420 24026 60 | 1.860 % |
217.84/218.08 c | 368038 | 1583 25313 68725 | 28420 25301 62 | 1.860 % |
218.84/219.09 c | 369438 | 1583 25313 68725 | 28420 26701 63 | 1.860 % |
220.44/220.67 c | 370982 | 1583 25313 68725 | 27264 22816 60 | 1.860 % |
221.24/221.40 c | 372677 | 1583 25313 68725 | 27264 24511 62 | 1.860 % |
222.24/222.42 c | 374542 | 1583 25313 68725 | 27264 26376 64 | 1.860 % |
223.54/223.73 c | 376591 | 1583 25313 68725 | 27264 24076 61 | 1.860 % |
225.24/225.48 c | 378844 | 1583 25313 68725 | 27264 26329 64 | 1.860 % |
226.94/227.13 c | 381323 | 1583 25313 68725 | 27488 24189 63 | 1.860 % |
229.13/229.32 c | 384048 | 1583 25313 68725 | 27488 26914 66 | 1.860 % |
231.43/231.62 c | 387049 | 1583 25313 68725 | 27488 25107 64 | 1.860 % |
234.14/234.39 c | 390346 | 1583 25313 68725 | 23096 23442 62 | 1.860 % |
236.73/236.94 c | 393971 | 1583 25313 68725 | 23096 23058 62 | 1.860 % |
236.73/237.00 c | 394071 | 1583 25313 68725 | 23096 23158 62 | 1.860 % |
236.83/237.09 c | 394181 | 1583 25313 68725 | 23096 19665 56 | 1.860 % |
236.93/237.17 c | 394306 | 1583 25313 68725 | 23096 19790 57 | 1.860 % |
237.03/237.26 c | 394439 | 1583 25313 68725 | 23096 19923 57 | 1.860 % |
237.13/237.38 c | 394588 | 1583 25313 68725 | 23096 20072 57 | 1.860 % |
237.23/237.50 c | 394748 | 1583 25313 68725 | 23096 20232 57 | 1.860 % |
237.43/237.61 c | 394925 | 1583 25313 68725 | 23096 20409 58 | 1.860 % |
237.53/237.76 c | 395118 | 1583 25313 68725 | 23096 20602 58 | 1.860 % |
237.73/237.92 c | 395330 | 1583 25313 68725 | 23096 20814 59 | 1.860 % |
237.83/238.04 c | 395564 | 1583 25313 68725 | 23096 21048 59 | 1.860 % |
238.03/238.20 c | 395822 | 1583 25313 68725 | 23096 21306 59 | 1.860 % |
238.23/238.46 c | 396103 | 1583 25313 68725 | 23096 21587 60 | 1.860 % |
238.53/238.72 c | 396413 | 1583 25313 68725 | 23096 21897 61 | 1.860 % |
238.83/239.04 c | 396752 | 1583 25313 68725 | 23096 22236 61 | 1.860 % |
239.13/239.36 c | 397126 | 1583 25313 68725 | 23096 22610 62 | 1.860 % |
239.43/239.67 c | 397538 | 1583 25313 68725 | 23096 23022 62 | 1.860 % |
239.83/240.01 c | 397987 | 1583 25313 68725 | 23096 19879 57 | 1.860 % |
240.12/240.32 c | 398481 | 1583 25313 68725 | 23096 20373 58 | 1.860 % |
240.52/240.78 c | 399025 | 1583 25313 68725 | 23096 20917 59 | 1.860 % |
240.92/241.19 c | 399621 | 1583 25313 68725 | 23096 21513 60 | 1.860 % |
241.32/241.57 c | 400276 | 1583 25313 68725 | 21892 18989 55 | 1.860 % |
241.83/242.09 c | 400996 | 1583 25313 68725 | 21892 19709 57 | 1.860 % |
242.32/242.59 c | 401788 | 1583 25313 68725 | 21892 20501 58 | 1.860 % |
243.02/243.21 c | 402659 | 1583 25313 68725 | 21892 21372 60 | 1.860 % |
243.72/243.92 c | 403618 | 1583 25313 68725 | 21892 19511 56 | 1.860 % |
244.22/244.45 c | 404671 | 1583 25313 68725 | 21892 20564 58 | 1.860 % |
245.03/245.29 c | 405830 | 1583 25313 68725 | 21892 21723 59 | 1.860 % |
245.72/245.92 c | 407103 | 1583 25313 68725 | 21892 20274 57 | 1.860 % |
246.52/246.79 c | 408503 | 1583 25313 68725 | 21892 21674 59 | 1.860 % |
247.62/247.83 c | 410045 | 1583 25313 68725 | 20508 20550 57 | 1.860 % |
248.52/248.77 c | 411740 | 1583 25313 68725 | 20508 19859 57 | 1.860 % |
249.42/249.62 c | 413604 | 1583 25313 68725 | 20508 19639 57 | 1.860 % |
250.72/250.96 c | 415653 | 1583 25313 68725 | 20508 19616 57 | 1.860 % |
251.82/252.06 c | 417909 | 1583 25313 68725 | 20508 19796 57 | 1.860 % |
252.92/253.18 c | 420387 | 1583 25313 68725 | 2147483647 20187 58 | 1.860 % |
254.22/254.41 c | 423114 | 1583 25313 68725 | 2147483647 22914 62 | 1.860 % |
255.82/256.00 c | 426112 | 1583 25313 68725 | 2147483647 25912 66 | 1.860 % |
258.22/258.42 c | 429411 | 1583 25313 68725 | 2147483647 29211 69 | 1.860 % |
261.02/261.22 c | 433037 | 1583 25313 68725 | 2147483647 32837 72 | 1.860 % |
264.72/264.98 c | 437024 | 1583 25313 68725 | 2147483647 36824 75 | 1.860 % |
264.93/265.13 c | 437126 | 1583 25313 68725 | 2147483647 36926 75 | 1.860 % |
265.02/265.28 c | 437236 | 1583 25313 68725 | 2147483647 37036 75 | 1.860 % |
265.22/265.42 c | 437357 | 1583 25313 68725 | 2147483647 37157 75 | 1.860 % |
265.32/265.59 c | 437494 | 1583 25313 68725 | 2147483647 37294 76 | 1.860 % |
265.52/265.73 c | 437642 | 1583 25313 68725 | 2147483647 37442 76 | 1.860 % |
265.62/265.89 c | 437803 | 1583 25313 68725 | 2147483647 37603 76 | 1.861 % |
265.82/266.07 c | 437980 | 1583 25313 68725 | 2147483647 37780 76 | 1.860 % |
266.02/266.21 c | 438173 | 1583 25313 68725 | 2147483647 37973 76 | 1.860 % |
266.22/266.44 c | 438385 | 1583 25313 68725 | 2147483647 38185 76 | 1.860 % |
266.42/266.66 c | 438618 | 1583 25313 68725 | 2147483647 38418 76 | 1.860 % |
266.62/266.86 c | 438874 | 1583 25313 68725 | 2147483647 38674 76 | 1.860 % |
267.12/267.35 c | 439157 | 1583 25313 68725 | 2147483647 38957 76 | 1.860 % |
267.42/267.62 c | 439467 | 1583 25313 68725 | 2147483647 39267 76 | 1.860 % |
267.82/268.09 c | 439806 | 1583 25313 68725 | 2147483647 39606 77 | 1.860 % |
268.52/268.73 c | 440180 | 1583 25313 68725 | 39801 39980 77 | 1.860 % |
268.92/269.12 c | 440591 | 1583 25313 68725 | 39801 31342 71 | 1.860 % |
269.42/269.61 c | 441040 | 1583 25313 68725 | 39801 31791 71 | 1.860 % |
269.91/270.14 c | 441536 | 1583 25313 68725 | 39801 32287 72 | 1.860 % |
270.42/270.69 c | 442082 | 1583 25313 68725 | 39801 32833 72 | 1.860 % |
271.21/271.40 c | 442678 | 1583 25313 68725 | 39801 33429 73 | 1.860 % |
271.81/272.04 c | 443333 | 1583 25313 68725 | 39801 34084 73 | 1.860 % |
272.52/272.76 c | 444054 | 1583 25313 68725 | 39801 34805 73 | 1.860 % |
273.41/273.63 c | 444846 | 1583 25313 68725 | 39801 35597 74 | 1.860 % |
274.11/274.36 c | 445722 | 1583 25313 68725 | 39801 36473 74 | 1.860 % |
275.41/275.69 c | 446681 | 1583 25313 68725 | 39801 37432 74 | 1.860 % |
276.81/277.05 c | 447736 | 1583 25313 68725 | 39801 38487 75 | 1.860 % |
277.81/278.05 c | 448894 | 1583 25313 68725 | 39801 39645 75 | 1.860 % |
279.21/279.40 c | 450170 | 1583 25313 68725 | 30342 30512 67 | 1.860 % |
279.91/280.10 c | 451572 | 1583 25313 68725 | 30342 24131 58 | 1.860 % |
280.71/280.99 c | 453115 | 1583 25313 68725 | 30342 25674 61 | 1.860 % |
282.01/282.24 c | 454811 | 1583 25313 68725 | 30342 27370 63 | 1.860 % |
283.21/283.44 c | 456674 | 1583 25313 68725 | 30342 29233 64 | 1.860 % |
284.61/284.87 c | 458725 | 1583 25313 68725 | 30342 25358 58 | 1.860 % |
286.01/286.28 c | 460978 | 1583 25313 68725 | 26633 22607 55 | 1.860 % |
287.61/287.88 c | 463456 | 1582 25296 68681 | 26633 25081 60 | 1.922 % |
289.11/289.35 c | 466184 | 1582 25296 68681 | 26633 23690 56 | 1.922 % |
291.00/291.25 c | 469181 | 1582 25296 68681 | 26633 26687 59 | 1.922 % |
292.90/293.20 c | 472477 | 1582 25296 68681 | 23423 22491 55 | 1.922 % |
295.20/295.41 c | 476103 | 1582 25296 68681 | 23423 23207 55 | 1.922 % |
297.40/297.69 c | 480090 | 1582 25296 68681 | 21522 21611 56 | 1.922 % |
299.80/300.08 c | 484475 | 1582 25296 68681 | 21522 21430 59 | 1.922 % |
299.90/300.13 c | 484575 | 1582 25296 68681 | 21522 21530 59 | 1.922 % |
300.00/300.20 c | 484687 | 1582 25296 68681 | 21522 21642 59 | 1.922 % |
300.00/300.28 c | 484809 | 1582 25296 68681 | 21522 19600 57 | 1.922 % |
300.10/300.36 c | 484942 | 1582 25296 68681 | 21522 19733 58 | 1.922 % |
300.20/300.46 c | 485089 | 1582 25296 68681 | 21522 19880 58 | 1.922 % |
300.30/300.58 c | 485249 | 1582 25296 68681 | 21522 20040 58 | 1.922 % |
300.50/300.73 c | 485427 | 1582 25296 68681 | 21522 20218 58 | 1.922 % |
300.60/300.89 c | 485623 | 1582 25296 68681 | 21522 20414 59 | 1.922 % |
300.80/301.01 c | 485835 | 1582 25296 68681 | 21522 20626 59 | 1.922 % |
300.90/301.18 c | 486068 | 1582 25296 68681 | 21522 20859 60 | 1.922 % |
301.10/301.39 c | 486324 | 1582 25296 68681 | 21522 21115 60 | 1.922 % |
301.40/301.63 c | 486609 | 1582 25296 68681 | 21522 21400 61 | 1.922 % |
301.60/301.89 c | 486919 | 1582 25296 68681 | 21522 21710 61 | 1.922 % |
301.90/302.17 c | 487258 | 1582 25296 68681 | 21522 19878 58 | 1.922 % |
302.20/302.42 c | 487631 | 1582 25296 68681 | 21522 20251 59 | 1.922 % |
302.50/302.71 c | 488041 | 1582 25296 68681 | 21522 20661 60 | 1.922 % |
302.80/303.04 c | 488491 | 1582 25296 68681 | 21522 21111 61 | 1.922 % |
303.20/303.46 c | 488988 | 1582 25296 68681 | 21522 21608 62 | 1.922 % |
303.60/303.81 c | 489530 | 1582 25296 68681 | 21522 19990 59 | 1.922 % |
304.00/304.23 c | 490127 | 1582 25296 68681 | 2147483647 20587 60 | 1.922 % |
304.50/304.76 c | 490783 | 1582 25296 68681 | 2147483647 21243 61 | 1.922 % |
305.10/305.37 c | 491504 | 1582 25296 68681 | 2147483647 21964 62 | 1.922 % |
305.60/305.83 c | 492296 | 1582 25296 68681 | 2147483647 22756 63 | 1.922 % |
306.10/306.31 c | 493169 | 1582 25296 68681 | 2147483647 23629 64 | 1.922 % |
306.60/306.80 c | 494127 | 1582 25296 68681 | 2147483647 24587 65 | 1.922 % |
307.20/307.50 c | 495181 | 1582 25296 68681 | 2147483647 25641 67 | 1.922 % |
308.00/308.22 c | 496340 | 1582 25296 68681 | 2147483647 26800 68 | 1.922 % |
308.80/309.09 c | 497614 | 1582 25296 68681 | 2147483647 28074 69 | 1.922 % |
309.60/309.89 c | 499015 | 1582 25296 68681 | 2147483647 29475 70 | 1.922 % |
311.20/311.46 c | 500557 | 1582 25296 68681 | 30460 26721 66 | 1.922 % |
312.70/312.90 c | 502251 | 1582 25296 68681 | 30460 28415 68 | 1.922 % |
314.30/314.56 c | 504114 | 1582 25296 68681 | 30460 30278 70 | 1.922 % |
315.79/316.05 c | 506163 | 1582 25296 68681 | 30460 27114 64 | 1.922 % |
317.49/317.74 c | 508417 | 1582 25296 68681 | 30460 29368 67 | 1.922 % |
319.39/319.69 c | 510896 | 1582 25296 68681 | 25708 22147 57 | 1.922 % |
321.00/321.27 c | 513621 | 1582 25296 68681 | 25708 24872 62 | 1.922 % |
322.69/322.97 c | 516618 | 1582 25296 68681 | 25708 24029 61 | 1.922 % |
324.39/324.68 c | 519914 | 1582 25296 68681 | 25708 24074 64 | 1.922 % |
326.49/326.72 c | 523542 | 1582 25296 68681 | 24161 22349 63 | 1.922 % |
329.29/329.55 c | 527530 | 1582 25296 68681 | 24161 23790 66 | 1.922 % |
332.39/332.67 c | 531915 | 1582 25296 68681 | 23551 22767 65 | 1.922 % |
335.48/335.72 c | 536738 | 1582 25296 68681 | 23551 22339 64 | 1.922 % |
335.48/335.78 c | 536838 | 1582 25296 68681 | 23551 22439 64 | 1.922 % |
335.58/335.83 c | 536948 | 1582 25296 68681 | 23551 22549 65 | 1.922 % |
335.68/335.93 c | 537072 | 1582 25296 68681 | 23551 22673 65 | 1.922 % |
335.78/336.02 c | 537205 | 1582 25296 68681 | 23551 22806 65 | 1.922 % |
335.88/336.12 c | 537352 | 1582 25296 68681 | 23551 22953 65 | 1.922 % |
335.98/336.23 c | 537513 | 1582 25296 68681 | 23551 23114 65 | 1.922 % |
336.08/336.36 c | 537691 | 1582 25296 68681 | 23551 23292 65 | 1.922 % |
336.29/336.54 c | 537885 | 1582 25296 68681 | 23551 23486 66 | 1.922 % |
336.39/336.66 c | 538098 | 1582 25296 68681 | 23551 23699 66 | 1.922 % |
336.58/336.82 c | 538331 | 1582 25296 68681 | 23551 21392 62 | 1.922 % |
336.68/336.95 c | 538587 | 1582 25296 68681 | 23551 21648 62 | 1.922 % |
336.88/337.12 c | 538869 | 1582 25296 68681 | 23551 21930 63 | 1.922 % |
336.98/337.28 c | 539179 | 1582 25296 68681 | 23551 22240 63 | 1.922 % |
337.28/337.51 c | 539518 | 1582 25296 68681 | 23551 22579 64 | 1.922 % |
337.48/337.74 c | 539890 | 1582 25296 68681 | 23551 22951 64 | 1.922 % |
337.78/338.03 c | 540300 | 1582 25296 68681 | 23062 23361 65 | 1.922 % |
337.98/338.28 c | 540749 | 1582 25296 68681 | 23062 21122 61 | 1.922 % |
338.28/338.52 c | 541242 | 1582 25296 68681 | 23062 21615 62 | 1.922 % |
338.58/338.88 c | 541785 | 1582 25296 68681 | 23062 22158 63 | 1.922 % |
339.08/339.30 c | 542382 | 1582 25296 68681 | 23062 22755 64 | 1.922 % |
339.58/339.81 c | 543038 | 1582 25296 68681 | 23062 20582 60 | 1.922 % |
339.98/340.25 c | 543761 | 1582 25296 68681 | 23062 21305 61 | 1.922 % |
340.48/340.73 c | 544554 | 1582 25296 68681 | 23062 22098 62 | 1.922 % |
341.28/341.52 c | 545428 | 1582 25296 68681 | 23062 22972 64 | 1.922 % |
341.98/342.24 c | 546386 | 1582 25296 68681 | 23062 20939 60 | 1.922 % |
342.78/343.06 c | 547439 | 1582 25296 68681 | 23062 21992 62 | 1.922 % |
343.58/343.88 c | 548597 | 1582 25296 68681 | 23062 23150 63 | 1.922 % |
344.48/344.78 c | 549872 | 1582 25296 68681 | 23062 21516 61 | 1.922 % |
345.48/345.74 c | 551274 | 1582 25296 68681 | 21645 20191 59 | 1.922 % |
346.08/346.37 c | 552816 | 1582 25296 68681 | 21645 21733 61 | 1.922 % |
347.08/347.40 c | 554514 | 1582 25296 68681 | 21645 21258 60 | 1.922 % |
348.48/348.71 c | 556377 | 1582 25296 68681 | 21645 20801 59 | 1.922 % |
349.67/349.94 c | 558426 | 1582 25296 68681 | 21645 20427 57 | 1.922 % |
350.97/351.20 c | 560680 | 1582 25296 68681 | 22001 20434 58 | 1.922 % |
352.17/352.49 c | 563158 | 1582 25296 68681 | 22001 20661 58 | 1.922 % |
353.57/353.88 c | 565885 | 1582 25296 68681 | 22001 21152 60 | 1.922 % |
355.08/355.31 c | 568886 | 1582 25296 68681 | 22001 21925 61 | 1.922 % |
356.77/357.03 c | 572184 | 1582 25296 68681 | 2147483647 22997 62 | 1.922 % |
358.67/358.93 c | 575809 | 1582 25296 68681 | 2147483647 26622 66 | 1.922 % |
361.27/361.55 c | 579796 | 1582 25296 68681 | 2147483647 30609 70 | 1.922 % |
365.07/365.32 c | 584181 | 1582 25296 68681 | 2147483647 34994 73 | 1.922 % |
370.37/370.63 c | 589005 | 1582 25296 68681 | 2147483647 39818 76 | 1.922 % |
375.57/375.84 c | 594310 | 1582 25296 68681 | 40813 36217 73 | 1.922 % |
375.57/375.89 c | 594410 | 1582 25296 68681 | 40813 36317 73 | 1.922 % |
375.77/376.02 c | 594526 | 1582 25296 68681 | 40813 36433 73 | 1.922 % |
375.87/376.16 c | 594649 | 1582 25296 68681 | 40813 36556 73 | 1.922 % |
376.07/376.30 c | 594782 | 1582 25296 68681 | 40813 36689 73 | 1.922 % |
376.17/376.48 c | 594928 | 1582 25296 68681 | 40813 36835 73 | 1.922 % |
376.47/376.75 c | 595088 | 1582 25296 68681 | 40813 36995 73 | 1.922 % |
376.77/377.01 c | 595264 | 1582 25296 68681 | 40813 37171 73 | 1.922 % |
376.97/377.20 c | 595457 | 1582 25296 68681 | 40813 37364 73 | 1.922 % |
377.27/377.57 c | 595669 | 1582 25296 68681 | 40813 37576 74 | 1.922 % |
377.57/377.84 c | 595902 | 1582 25296 68681 | 40813 37809 74 | 1.922 % |
377.77/378.04 c | 596158 | 1582 25296 68681 | 40813 38065 74 | 1.922 % |
378.07/378.35 c | 596439 | 1582 25296 68681 | 40813 38346 74 | 1.922 % |
378.47/378.79 c | 596748 | 1582 25296 68681 | 40813 38655 74 | 1.922 % |
378.97/379.22 c | 597087 | 1582 25296 68681 | 40813 38994 74 | 1.922 % |
379.47/379.74 c | 597460 | 1582 25296 68681 | 40813 39367 75 | 1.922 % |
379.97/380.23 c | 597870 | 1582 25296 68681 | 40813 39777 75 | 1.922 % |
380.57/380.82 c | 598319 | 1582 25296 68681 | 40813 40226 75 | 1.922 % |
381.27/381.53 c | 598813 | 1582 25296 68681 | 40813 40720 75 | 1.922 % |
381.77/382.07 c | 599356 | 1582 25296 68681 | 40813 41263 76 | 1.922 % |
382.16/382.44 c | 599952 | 1582 25296 68681 | 40813 31704 69 | 1.923 % |
382.66/382.92 c | 600608 | 1582 25296 68681 | 31752 24637 60 | 1.923 % |
383.06/383.31 c | 601329 | 1582 25296 68681 | 31752 25358 61 | 1.922 % |
383.57/383.82 c | 602121 | 1582 25296 68681 | 31752 26150 62 | 1.923 % |
384.17/384.40 c | 602992 | 1582 25296 68681 | 31752 27021 63 | 1.922 % |
384.77/385.08 c | 603951 | 1582 25296 68681 | 31752 27980 64 | 1.922 % |
385.56/385.85 c | 605005 | 1582 25296 68681 | 31752 29034 65 | 1.922 % |
386.66/386.95 c | 606163 | 1582 25296 68681 | 31752 30192 67 | 1.922 % |
387.66/387.98 c | 607439 | 1582 25296 68681 | 31752 31468 68 | 1.922 % |
388.86/389.17 c | 608841 | 1582 25296 68681 | 31752 26458 62 | 1.922 % |
389.96/390.25 c | 610381 | 1582 25296 68681 | 27617 22722 58 | 1.922 % |
390.96/391.22 c | 612077 | 1582 25296 68681 | 27617 24418 61 | 1.922 % |
392.06/392.30 c | 613941 | 1582 25296 68681 | 27617 26282 64 | 1.922 % |
393.36/393.66 c | 615990 | 1582 25296 68681 | 27617 24287 62 | 1.922 % |
395.16/395.44 c | 618244 | 1582 25296 68681 | 27617 26541 66 | 1.922 % |
397.16/397.47 c | 620722 | 1582 25296 68681 | 24045 21136 61 | 1.922 % |
398.76/399.05 c | 623447 | 1582 25296 68681 | 24045 23861 64 | 1.922 % |
400.56/400.89 c | 626444 | 1582 25296 68681 | 24045 23716 63 | 1.922 % |
402.86/403.15 c | 629740 | 1582 25296 68681 | 24045 24085 64 | 1.922 % |
404.96/405.21 c | 633365 | 1582 25296 68681 | 21351 19902 59 | 1.922 % |
407.45/407.76 c | 637355 | 1582 25296 68681 | 21351 21722 62 | 1.922 % |
410.35/410.68 c | 641740 | 1582 25296 68681 | 2147483647 21773 61 | 1.922 % |
413.65/413.93 c | 646565 | 1582 25296 68681 | 2147483647 26598 68 | 1.922 % |
419.05/419.30 c | 651878 | 1582 25296 68681 | 30035 27457 69 | 1.922 % |
423.25/423.59 c | 657713 | 1582 25296 68681 | 30035 27859 70 | 1.922 % |
423.35/423.65 c | 657815 | 1582 25296 68681 | 30035 27961 70 | 1.922 % |
423.35/423.70 c | 657928 | 1582 25296 68681 | 30035 28074 70 | 1.922 % |
423.45/423.78 c | 658050 | 1582 25296 68681 | 30035 28196 70 | 1.922 % |
423.65/423.95 c | 658185 | 1582 25296 68681 | 30035 28331 70 | 1.922 % |
423.75/424.05 c | 658331 | 1582 25296 68681 | 30035 28477 70 | 1.922 % |
423.85/424.18 c | 658492 | 1582 25296 68681 | 30035 28638 70 | 1.922 % |
424.05/424.33 c | 658669 | 1582 25296 68681 | 30035 28815 70 | 1.922 % |
424.15/424.47 c | 658864 | 1582 25296 68681 | 30035 29010 70 | 1.922 % |
424.35/424.61 c | 659077 | 1582 25296 68681 | 30035 29223 71 | 1.922 % |
424.55/424.82 c | 659310 | 1582 25296 68681 | 30035 29456 71 | 1.922 % |
424.75/425.06 c | 659567 | 1582 25296 68681 | 30035 29713 71 | 1.922 % |
425.05/425.30 c | 659848 | 1582 25296 68681 | 30035 29994 71 | 1.922 % |
425.45/425.70 c | 660157 | 1582 25296 68681 | 30147 30303 72 | 1.922 % |
425.65/425.99 c | 660496 | 1582 25296 68681 | 30147 24773 64 | 1.922 % |
425.95/426.27 c | 660868 | 1582 25296 68681 | 30147 25145 65 | 1.922 % |
426.35/426.60 c | 661279 | 1582 25296 68681 | 30147 25556 65 | 1.922 % |
426.75/427.00 c | 661730 | 1582 25296 68681 | 30147 26007 66 | 1.922 % |
427.05/427.34 c | 662224 | 1582 25296 68681 | 30147 26501 66 | 1.922 % |
427.45/427.78 c | 662766 | 1582 25296 68681 | 30147 27043 67 | 1.922 % |
427.95/428.22 c | 663366 | 1582 25296 68681 | 30147 27643 67 | 1.922 % |
428.45/428.72 c | 664024 | 1582 25296 68681 | 30147 28301 68 | 1.922 % |
429.25/429.52 c | 664747 | 1582 25296 68681 | 30147 29024 69 | 1.922 % |
429.95/430.23 c | 665542 | 1582 25296 68681 | 30147 29819 69 | 1.922 % |
430.75/431.04 c | 666413 | 1582 25296 68681 | 30147 24952 63 | 1.922 % |
431.55/431.82 c | 667373 | 1582 25296 68681 | 30147 25912 64 | 1.922 % |
432.65/432.91 c | 668426 | 1582 25296 68681 | 30147 26965 65 | 1.922 % |
433.64/433.95 c | 669587 | 1582 25296 68681 | 30147 28126 67 | 1.922 % |
434.84/435.19 c | 670860 | 1582 25296 68681 | 28540 23998 60 | 1.922 % |
435.84/436.14 c | 672260 | 1582 25296 68681 | 28540 25398 62 | 1.922 % |
437.24/437.51 c | 673801 | 1582 25296 68681 | 28540 26939 64 | 1.922 % |
438.94/439.23 c | 675496 | 1582 25296 68681 | 28540 28634 66 | 1.922 % |
439.94/440.23 c | 677359 | 1582 25296 68681 | 28540 25238 62 | 1.923 % |
441.64/441.91 c | 679412 | 1582 25296 68681 | 28540 27291 63 | 1.922 % |
443.04/443.34 c | 681665 | 1582 25296 68681 | 27880 24485 61 | 1.922 % |
444.64/444.91 c | 684143 | 1582 25296 68681 | 27880 26963 63 | 1.922 % |
446.54/446.90 c | 686869 | 1582 25296 68681 | 27880 24981 61 | 1.922 % |
448.44/448.74 c | 689867 | 1582 25296 68681 | 27880 27979 64 | 1.922 % |
450.44/450.71 c | 693165 | 1582 25296 68681 | 23888 23447 59 | 1.923 % |
452.44/452.71 c | 696790 | 1582 25296 68681 | 23888 23707 62 | 1.922 % |
454.74/455.04 c | 700777 | 1582 25296 68681 | 23897 21979 60 | 1.922 % |
457.64/457.96 c | 705162 | 1582 25296 68681 | 23897 23708 60 | 1.922 % |
460.54/460.88 c | 709986 | 1582 25296 68681 | 23897 23093 56 | 1.922 % |
463.33/463.66 c | 715291 | 1582 25296 68681 | 23109 21225 55 | 1.922 % |
467.23/467.52 c | 721126 | 1582 25296 68681 | 2147483647 22389 59 | 1.922 % |
472.03/472.36 c | 727548 | 1581 25279 68637 | 2147483647 28808 67 | 1.984 % |
472.13/472.47 c | 727650 | 1581 25279 68637 | 2147483647 28910 67 | 1.984 % |
472.23/472.59 c | 727760 | 1581 25279 68637 | 2147483647 29020 68 | 1.984 % |
472.43/472.70 c | 727884 | 1581 25279 68637 | 2147483647 29144 68 | 1.984 % |
472.43/472.79 c | 728019 | 1581 25279 68637 | 2147483647 29279 68 | 1.984 % |
472.63/472.95 c | 728165 | 1581 25279 68637 | 2147483647 29425 68 | 1.984 % |
472.73/473.06 c | 728325 | 1581 25279 68637 | 2147483647 29585 68 | 1.984 % |
472.93/473.24 c | 728502 | 1581 25279 68637 | 2147483647 29762 68 | 1.984 % |
473.13/473.43 c | 728696 | 1581 25279 68637 | 2147483647 29956 68 | 1.984 % |
473.33/473.65 c | 728909 | 1581 25279 68637 | 2147483647 30169 68 | 1.984 % |
473.63/473.94 c | 729143 | 1581 25279 68637 | 2147483647 30403 69 | 1.984 % |
473.83/474.13 c | 729399 | 1581 25279 68637 | 2147483647 30659 69 | 1.984 % |
474.13/474.48 c | 729683 | 1581 25279 68637 | 2147483647 30943 69 | 1.984 % |
474.43/474.78 c | 729992 | 1581 25279 68637 | 2147483647 31252 69 | 1.984 % |
474.73/475.03 c | 730331 | 1581 25279 68637 | 31264 31591 70 | 1.984 % |
474.93/475.25 c | 730707 | 1581 25279 68637 | 31264 27094 66 | 1.984 % |
475.23/475.59 c | 731117 | 1581 25279 68637 | 31264 27504 66 | 1.984 % |
475.73/476.01 c | 731568 | 1581 25279 68637 | 31264 27955 67 | 1.984 % |
476.23/476.56 c | 732062 | 1581 25279 68637 | 31264 28449 67 | 1.984 % |
476.83/477.14 c | 732606 | 1581 25279 68637 | 31264 28993 68 | 1.984 % |
477.33/477.62 c | 733203 | 1581 25279 68637 | 31264 29590 68 | 1.984 % |
477.93/478.23 c | 733858 | 1581 25279 68637 | 31264 30245 68 | 1.984 % |
478.73/479.07 c | 734578 | 1581 25279 68637 | 31264 30965 69 | 1.984 % |
479.72/480.02 c | 735372 | 1581 25279 68637 | 31264 25735 63 | 1.984 % |
480.52/480.87 c | 736243 | 1581 25279 68637 | 31264 26606 64 | 1.984 % |
481.32/481.62 c | 737203 | 1581 25279 68637 | 31264 27566 65 | 1.984 % |
482.22/482.52 c | 738256 | 1581 25279 68637 | 31264 28619 66 | 1.984 % |
483.32/483.63 c | 739414 | 1581 25279 68637 | 31264 29777 67 | 1.984 % |
484.62/484.95 c | 740687 | 1581 25279 68637 | 30364 24876 60 | 1.984 % |
485.72/486.03 c | 742087 | 1581 25279 68637 | 30364 26276 62 | 1.984 % |
487.12/487.47 c | 743629 | 1581 25279 68637 | 30364 27818 64 | 1.984 % |
488.92/489.26 c | 745323 | 1581 25279 68637 | 30364 29512 66 | 1.984 % |
490.82/491.10 c | 747186 | 1581 25279 68637 | 30364 25276 61 | 1.984 % |
492.72/493.00 c | 749237 | 1581 25279 68637 | 30364 27327 63 | 1.984 % |
494.02/494.35 c | 751490 | 1581 25279 68637 | 28090 24294 60 | 1.984 % |
495.32/495.61 c | 753968 | 1581 25279 68637 | 28090 26772 63 | 1.984 % |
497.22/497.53 c | 756693 | 1581 25279 68637 | 28090 25234 60 | 1.984 % |
499.22/499.57 c | 759690 | 1581 25279 68637 | 28090 28231 64 | 1.984 % |
500.71/501.01 c | 762986 | 1581 25279 68637 | 24400 24051 60 | 1.984 % |
502.91/503.23 c | 766611 | 1581 25279 68637 | 24400 22723 58 | 1.984 % |
505.11/505.40 c | 770598 | 1581 25279 68637 | 2147483647 24222 62 | 1.984 % |
507.61/507.95 c | 774984 | 1581 25279 68637 | 2147483647 28608 67 | 1.984 % |
511.31/511.64 c | 779807 | 1581 25279 68637 | 2147483647 33431 71 | 1.984 % |
516.21/516.58 c | 785114 | 1581 25279 68637 | 33625 33746 72 | 1.984 % |
521.01/521.33 c | 790949 | 1581 25279 68637 | 32196 26633 63 | 1.984 % |
526.51/526.83 c | 797367 | 1581 25279 68637 | 32196 27071 61 | 1.984 % |
531.40/531.77 c | 804426 | 1581 25279 68637 | 29704 28626 60 | 1.984 % |
531.50/531.87 c | 804527 | 1581 25279 68637 | 29704 28727 60 | 1.984 % |
531.70/532.01 c | 804641 | 1581 25279 68637 | 29704 28841 61 | 1.984 % |
531.70/532.09 c | 804765 | 1581 25279 68637 | 29704 28965 61 | 1.984 % |
531.80/532.11 c | 804899 | 1581 25279 68637 | 29704 29099 61 | 1.984 % |
531.80/532.13 c | 805045 | 1581 25279 68637 | 29704 29245 60 | 1.985 % |
531.90/532.20 c | 805209 | 1581 25279 68637 | 29704 29409 60 | 1.984 % |
532.01/532.34 c | 805389 | 1581 25279 68637 | 29704 29589 61 | 1.984 % |
532.20/532.51 c | 805583 | 1581 25279 68637 | 29704 29783 61 | 1.984 % |
532.30/532.69 c | 805795 | 1581 25279 68637 | 29704 25114 56 | 1.984 % |
532.50/532.85 c | 806033 | 1581 25279 68637 | 29704 25352 56 | 1.984 % |
532.70/533.09 c | 806290 | 1581 25279 68637 | 29704 25609 57 | 1.984 % |
533.00/533.33 c | 806574 | 1581 25279 68637 | 29704 25893 57 | 1.984 % |
533.20/533.57 c | 806884 | 1581 25279 68637 | 29704 26203 58 | 1.984 % |
533.50/533.89 c | 807223 | 1581 25279 68637 | 29704 26542 58 | 1.984 % |
533.90/534.24 c | 807596 | 1581 25279 68637 | 29704 26915 59 | 1.984 % |
534.20/534.58 c | 808005 | 1581 25279 68637 | 29704 27324 59 | 1.984 % |
534.70/535.00 c | 808456 | 1581 25279 68637 | 29704 27775 60 | 1.984 % |
535.00/535.37 c | 808949 | 1581 25279 68637 | 29704 28268 60 | 1.984 % |
535.50/535.87 c | 809492 | 1581 25279 68637 | 29704 28811 61 | 1.984 % |
535.90/536.22 c | 810088 | 1581 25279 68637 | 29321 29407 62 | 1.984 % |
536.50/536.86 c | 810743 | 1581 25279 68637 | 29321 25249 57 | 1.984 % |
537.10/537.50 c | 811468 | 1581 25279 68637 | 29321 25974 58 | 1.984 % |
537.80/538.19 c | 812260 | 1581 25279 68637 | 29321 26766 59 | 1.984 % |
538.80/539.13 c | 813132 | 1581 25279 68637 | 29321 27638 60 | 1.984 % |
539.60/539.97 c | 814091 | 1581 25279 68637 | 29321 28597 61 | 1.984 % |
540.70/541.06 c | 815145 | 1581 25279 68637 | 29321 24403 59 | 1.984 % |
541.80/542.17 c | 816305 | 1581 25279 68637 | 29321 25563 60 | 1.984 % |
542.70/543.03 c | 817579 | 1581 25279 68637 | 29321 26837 62 | 1.984 % |
543.90/544.23 c | 818981 | 1581 25279 68637 | 29321 28239 64 | 1.984 % |
545.60/545.90 c | 820522 | 1581 25279 68637 | 29259 24495 59 | 1.984 % |
546.79/547.20 c | 822217 | 1581 25279 68637 | 29259 26190 61 | 1.984 % |
548.50/548.87 c | 824080 | 1581 25279 68637 | 29259 28053 64 | 1.984 % |
550.39/550.72 c | 826134 | 1581 25279 68637 | 29259 24772 59 | 1.984 % |
552.19/552.60 c | 828390 | 1581 25279 68637 | 29259 27028 62 | 1.984 % |
553.89/554.21 c | 830868 | 1581 25279 68637 | 28638 24617 59 | 1.984 % |
555.79/556.15 c | 833594 | 1581 25279 68637 | 28638 27343 63 | 1.984 % |
557.89/558.28 c | 836596 | 1581 25279 68637 | 28638 25609 61 | 1.984 % |
560.49/560.89 c | 839893 | 1581 25279 68637 | 28638 28906 65 | 1.984 % |
562.79/563.15 c | 843519 | 1581 25279 68637 | 24289 23783 59 | 1.984 % |
565.79/566.19 c | 847506 | 1581 25279 68637 | 24289 24314 59 | 1.984 % |
568.59/568.99 c | 851894 | 1581 25279 68637 | 23548 22376 55 | 1.984 % |
571.69/572.03 c | 856719 | 1581 25279 68637 | 23548 21194 57 | 1.984 % |
574.89/575.26 c | 862024 | 1581 25279 68637 | 21701 21279 62 | 1.984 % |
578.29/578.69 c | 867860 | 1581 25279 68637 | 21701 20238 64 | 1.984 % |
581.98/582.36 c | 874278 | 1581 25279 68637 | 20100 20269 60 | 1.984 % |
585.78/586.16 c | 881337 | 1581 25279 68637 | 2147483647 21249 59 | 1.984 % |
591.08/591.46 c | 889105 | 1581 25279 68637 | 2147483647 29017 69 | 1.984 % |
591.18/591.54 c | 889205 | 1581 25279 68637 | 2147483647 29117 69 | 1.984 % |
591.28/591.64 c | 889316 | 1581 25279 68637 | 2147483647 29228 69 | 1.984 % |
591.38/591.76 c | 889439 | 1581 25279 68637 | 2147483647 29351 69 | 1.984 % |
591.48/591.86 c | 889572 | 1581 25279 68637 | 2147483647 29484 69 | 1.984 % |
591.68/592.03 c | 889718 | 1581 25279 68637 | 2147483647 29630 70 | 1.984 % |
591.78/592.17 c | 889878 | 1581 25279 68637 | 2147483647 29790 70 | 1.984 % |
591.98/592.37 c | 890055 | 1581 25279 68637 | 2147483647 29967 70 | 1.984 % |
592.28/592.60 c | 890248 | 1581 25279 68637 | 2147483647 30160 70 | 1.984 % |
592.48/592.84 c | 890460 | 1581 25279 68637 | 2147483647 30372 70 | 1.984 % |
592.68/593.06 c | 890695 | 1581 25279 68637 | 2147483647 30607 70 | 1.984 % |
592.88/593.29 c | 890958 | 1581 25279 68637 | 2147483647 30870 71 | 1.984 % |
593.18/593.50 c | 891239 | 1581 25279 68637 | 2147483647 31151 71 | 1.984 % |
593.38/593.76 c | 891549 | 1581 25279 68637 | 2147483647 31461 71 | 1.984 % |
593.68/594.10 c | 891892 | 1581 25279 68637 | 2147483647 31804 71 | 1.984 % |
594.08/594.47 c | 892266 | 1581 25279 68637 | 2147483647 32178 71 | 1.984 % |
594.28/594.66 c | 892676 | 1581 25279 68637 | 2147483647 32588 72 | 1.984 % |
594.68/595.01 c | 893126 | 1581 25279 68637 | 2147483647 33038 72 | 1.984 % |
595.07/595.44 c | 893620 | 1581 25279 68637 | 2147483647 33532 72 | 1.984 % |
595.47/595.82 c | 894162 | 1581 25279 68637 | 2147483647 34074 72 | 1.984 % |
595.97/596.38 c | 894758 | 1581 25279 68637 | 2147483647 34670 73 | 1.984 % |
596.77/597.19 c | 895414 | 1581 25279 68637 | 2147483647 35326 73 | 1.984 % |
597.47/597.87 c | 896136 | 1581 25279 68637 | 2147483647 36048 73 | 1.984 % |
598.27/598.63 c | 896928 | 1581 25279 68637 | 2147483647 36840 74 | 1.984 % |
599.08/599.47 c | 897802 | 1581 25279 68637 | 2147483647 37714 74 | 1.984 % |
600.07/600.47 c | 898763 | 1581 25279 68637 | 2147483647 38675 75 | 1.984 % |
600.87/601.27 c | 899818 | 1581 25279 68637 | 2147483647 39730 75 | 1.984 % |
601.67/602.06 c | 900976 | 1581 25279 68637 | 39912 32325 70 | 1.984 % |
602.87/603.26 c | 902249 | 1581 25279 68637 | 39912 33598 71 | 1.984 % |
604.47/604.84 c | 903651 | 1581 25279 68637 | 39912 35000 72 | 1.984 % |
605.47/605.88 c | 905195 | 1581 25279 68637 | 39912 36544 73 | 1.984 % |
607.27/607.62 c | 906889 | 1581 25279 68637 | 39912 38238 74 | 1.984 % |
609.37/609.73 c | 908752 | 1581 25279 68637 | 39912 40101 74 | 1.984 % |
611.37/611.70 c | 910803 | 1581 25279 68637 | 31535 24666 59 | 1.984 % |
613.07/613.43 c | 913056 | 1581 25279 68637 | 31535 26919 61 | 1.984 % |
615.27/615.64 c | 915534 | 1581 25279 68637 | 31535 29397 64 | 1.984 % |
617.97/618.33 c | 918261 | 1581 25279 68637 | 31535 25734 60 | 1.984 % |
619.97/620.36 c | 921260 | 1581 25279 68637 | 27474 23572 58 | 1.984 % |
622.66/623.04 c | 924556 | 1581 25279 68637 | 27474 26868 62 | 1.984 % |
625.58/625.96 c | 928181 | 1581 25279 68637 | 27474 25355 61 | 1.984 % |
628.67/629.06 c | 932168 | 1581 25279 68637 | 27175 24480 60 | 1.984 % |
631.27/631.69 c | 936557 | 1581 25279 68637 | 27175 25153 62 | 1.984 % |
634.77/635.12 c | 941380 | 1581 25279 68637 | 25101 23223 62 | 1.984 % |
637.97/638.39 c | 946690 | 1581 25279 68637 | 25101 25138 64 | 1.984 % |
641.77/642.10 c | 952527 | 1580 25262 68593 | 25372 24928 65 | 2.046 % |
646.16/646.59 c | 958945 | 1580 25262 68593 | 25372 25069 67 | 2.046 % |
650.46/650.85 c | 966006 | 1580 25262 68593 | 23005 21475 67 | 2.046 % |
656.16/656.50 c | 973771 | 1580 25262 68593 | 2147483647 26909 71 | 2.046 % |
663.56/663.92 c | 982313 | 1580 25262 68593 | 33139 29925 71 | 2.046 % |
663.66/664.04 c | 982415 | 1580 25262 68593 | 33139 30027 71 | 2.046 % |
663.76/664.12 c | 982527 | 1580 25262 68593 | 33139 30139 71 | 2.046 % |
663.86/664.27 c | 982648 | 1580 25262 68593 | 33139 30260 71 | 2.046 % |
664.06/664.42 c | 982783 | 1580 25262 68593 | 33139 30395 72 | 2.046 % |
664.16/664.57 c | 982929 | 1580 25262 68593 | 33139 30541 72 | 2.046 % |
664.36/664.79 c | 983090 | 1580 25262 68593 | 33139 30702 72 | 2.046 % |
664.66/665.06 c | 983270 | 1580 25262 68593 | 33139 30882 72 | 2.046 % |
664.96/665.30 c | 983463 | 1580 25262 68593 | 33139 31075 72 | 2.046 % |
665.16/665.53 c | 983675 | 1580 25262 68593 | 33139 31287 72 | 2.046 % |
665.46/665.84 c | 983908 | 1580 25262 68593 | 33139 31520 72 | 2.046 % |
665.86/666.23 c | 984164 | 1580 25262 68593 | 33139 31776 73 | 2.046 % |
666.16/666.53 c | 984445 | 1580 25262 68593 | 33139 32057 73 | 2.046 % |
666.46/666.83 c | 984755 | 1580 25262 68593 | 33139 32367 73 | 2.046 % |
666.96/667.37 c | 985095 | 1580 25262 68593 | 33139 32707 73 | 2.046 % |
667.26/667.69 c | 985467 | 1580 25262 68593 | 33139 33079 73 | 2.046 % |
667.76/668.18 c | 985876 | 1580 25262 68593 | 33139 26581 65 | 2.046 % |
668.36/668.72 c | 986325 | 1580 25262 68593 | 33139 27030 66 | 2.046 % |
668.76/669.20 c | 986818 | 1580 25262 68593 | 33139 27523 66 | 2.046 % |
669.26/669.61 c | 987360 | 1580 25262 68593 | 33139 28065 66 | 2.046 % |
669.56/669.97 c | 987956 | 1580 25262 68593 | 33139 28661 67 | 2.046 % |
670.25/670.64 c | 988616 | 1580 25262 68593 | 33139 29321 68 | 2.046 % |
670.95/671.31 c | 989336 | 1580 25262 68593 | 33139 30041 68 | 2.046 % |
671.66/672.04 c | 990128 | 1580 25262 68593 | 30707 30833 69 | 2.046 % |
672.15/672.59 c | 991001 | 1580 25262 68593 | 30707 25408 61 | 2.046 % |
672.95/673.30 c | 991959 | 1580 25262 68593 | 30707 26366 62 | 2.046 % |
673.86/674.20 c | 993015 | 1580 25262 68593 | 30707 27422 64 | 2.046 % |
674.85/675.30 c | 994173 | 1580 25262 68593 | 30707 28580 65 | 2.046 % |
675.85/676.28 c | 995446 | 1580 25262 68593 | 30707 29853 66 | 2.046 % |
677.35/677.70 c | 996846 | 1580 25262 68593 | 30707 25169 62 | 2.046 % |
678.35/678.78 c | 998387 | 1580 25262 68593 | 30707 26710 64 | 2.046 % |
679.55/679.90 c | 1000083 | 1580 25262 68593 | 28323 28406 65 | 2.046 % |
680.85/681.23 c | 1001947 | 1580 25262 68593 | 28323 25142 63 | 2.046 % |
682.05/682.48 c | 1003996 | 1580 25262 68593 | 28323 27191 65 | 2.046 % |
683.45/683.80 c | 1006249 | 1580 25262 68593 | 28323 25173 62 | 2.046 % |
684.95/685.39 c | 1008727 | 1580 25262 68593 | 28323 27651 64 | 2.046 % |
686.75/687.12 c | 1011455 | 1580 25262 68593 | 24895 22874 58 | 2.046 % |
688.45/688.86 c | 1014452 | 1580 25262 68593 | 24895 22856 58 | 2.046 % |
690.64/691.01 c | 1017749 | 1580 25262 68593 | 24895 22994 57 | 2.046 % |
692.84/693.25 c | 1021374 | 1580 25262 68593 | 25245 23397 59 | 2.046 % |
695.34/695.77 c | 1025362 | 1580 25262 68593 | 25245 24212 60 | 2.046 % |
697.84/698.22 c | 1029747 | 1580 25262 68593 | 25245 23046 58 | 2.046 % |
700.54/700.98 c | 1034573 | 1580 25262 68593 | 23299 23089 59 | 2.046 % |
703.64/704.06 c | 1039879 | 1580 25262 68593 | 23299 23680 63 | 2.046 % |
707.64/708.05 c | 1045714 | 1580 25262 68593 | 2147483647 27147 70 | 2.046 % |
712.84/713.26 c | 1052134 | 1580 25262 68593 | 31433 28763 72 | 2.046 % |
718.24/718.69 c | 1059194 | 1580 25262 68593 | 31433 31041 72 | 2.046 % |
724.23/724.64 c | 1066958 | 1580 25262 68593 | 31847 28380 64 | 2.046 % |
731.93/732.34 c | 1075499 | 1580 25262 68593 | 31422 30869 63 | 2.046 % |
738.13/738.55 c | 1084894 | 1580 25262 68593 | 29394 29559 63 | 2.046 % |
738.23/738.63 c | 1084998 | 1580 25262 68593 | 29394 25851 60 | 2.046 % |
738.33/738.70 c | 1085110 | 1580 25262 68593 | 29394 25963 60 | 2.046 % |
738.33/738.78 c | 1085232 | 1580 25262 68593 | 29394 26085 60 | 2.046 % |
738.43/738.84 c | 1085366 | 1580 25262 68593 | 29394 26219 60 | 2.046 % |
738.53/738.93 c | 1085515 | 1580 25262 68593 | 29394 26368 60 | 2.048 % |
738.63/739.07 c | 1085678 | 1580 25262 68593 | 29394 26531 60 | 2.046 % |
738.73/739.20 c | 1085855 | 1580 25262 68593 | 29394 26708 61 | 2.046 % |
738.93/739.36 c | 1086048 | 1580 25262 68593 | 29394 26901 61 | 2.046 % |
739.13/739.54 c | 1086260 | 1580 25262 68593 | 29394 27113 61 | 2.046 % |
739.23/739.66 c | 1086493 | 1580 25262 68593 | 29394 27346 61 | 2.046 % |
739.43/739.81 c | 1086750 | 1580 25262 68593 | 29394 27603 62 | 2.046 % |
739.63/740.01 c | 1087032 | 1580 25262 68593 | 29394 27885 62 | 2.046 % |
739.83/740.29 c | 1087341 | 1580 25262 68593 | 29394 28194 63 | 2.046 % |
740.02/740.47 c | 1087680 | 1580 25262 68593 | 29394 28533 63 | 2.046 % |
740.32/740.77 c | 1088053 | 1580 25262 68593 | 29394 28906 63 | 2.046 % |
740.72/741.12 c | 1088465 | 1580 25262 68593 | 29394 29318 64 | 2.046 % |
741.03/741.49 c | 1088916 | 1580 25262 68593 | 29394 29769 64 | 2.046 % |
741.32/741.79 c | 1089410 | 1580 25262 68593 | 29394 26164 61 | 2.046 % |
741.62/742.07 c | 1089953 | 1580 25262 68593 | 29394 26707 62 | 2.046 % |
742.13/742.53 c | 1090550 | 1580 25262 68593 | 26756 23661 59 | 2.046 % |
742.52/742.90 c | 1091205 | 1580 25262 68593 | 26756 24316 60 | 2.046 % |
743.02/743.40 c | 1091926 | 1580 25262 68593 | 26756 25037 60 | 2.046 % |
743.43/743.86 c | 1092719 | 1580 25262 68593 | 26756 25830 62 | 2.046 % |
744.12/744.51 c | 1093592 | 1580 25262 68593 | 26756 26703 64 | 2.046 % |
744.62/745.07 c | 1094551 | 1580 25262 68593 | 26756 23854 61 | 2.046 % |
745.43/745.80 c | 1095606 | 1580 25262 68593 | 26756 24909 63 | 2.046 % |
746.32/746.73 c | 1096764 | 1580 25262 68593 | 26756 26067 65 | 2.046 % |
747.42/747.86 c | 1098039 | 1580 25262 68593 | 26756 23493 62 | 2.046 % |
748.52/748.91 c | 1099440 | 1580 25262 68593 | 26756 24894 64 | 2.046 % |
749.62/750.03 c | 1100981 | 1580 25262 68593 | 25454 22785 62 | 2.046 % |
750.72/751.19 c | 1102676 | 1580 25262 68593 | 25454 24480 65 | 2.046 % |
752.03/752.47 c | 1104539 | 1580 25262 68593 | 25454 23080 64 | 2.046 % |
753.32/753.79 c | 1106590 | 1580 25262 68593 | 25454 25131 67 | 2.046 % |
755.12/755.51 c | 1108843 | 1580 25262 68593 | 25454 24242 66 | 2.046 % |
756.72/757.19 c | 1111324 | 1580 25262 68593 | 25400 23464 64 | 2.046 % |
758.32/758.72 c | 1114050 | 1580 25262 68593 | 25400 23125 62 | 2.046 % |
760.42/760.80 c | 1117050 | 1580 25262 68593 | 25400 23081 62 | 2.046 % |
762.92/763.37 c | 1120350 | 1580 25262 68593 | 22844 23192 62 | 2.046 % |
765.51/765.96 c | 1123979 | 1580 25262 68593 | 22844 21356 61 | 2.046 % |
767.91/768.30 c | 1127966 | 1580 25262 68593 | 22844 22935 63 | 2.046 % |
770.51/771.00 c | 1132353 | 1580 25262 68593 | 2147483647 25029 66 | 2.046 % |
774.71/775.17 c | 1137176 | 1580 25262 68593 | 2147483647 29852 71 | 2.046 % |
779.11/779.57 c | 1142481 | 1580 25262 68593 | 32679 29697 70 | 2.046 % |
784.51/784.93 c | 1148318 | 1580 25262 68593 | 32679 28818 68 | 2.046 % |
789.11/789.57 c | 1154736 | 1580 25262 68593 | 30500 29195 65 | 2.046 % |
794.81/795.22 c | 1161796 | 1580 25262 68593 | 29307 26298 61 | 2.046 % |
800.60/801.10 c | 1169561 | 1580 25262 68593 | 29307 28641 64 | 2.046 % |
807.30/807.79 c | 1178102 | 1580 25262 68593 | 29080 26951 63 | 2.046 % |
813.80/814.28 c | 1187496 | 1580 25262 68593 | 28849 27352 64 | 2.046 % |
820.70/821.13 c | 1197829 | 1580 25262 68593 | 25724 24537 66 | 2.046 % |
820.80/821.21 c | 1197930 | 1580 25262 68593 | 25724 24638 66 | 2.046 % |
820.90/821.30 c | 1198043 | 1580 25262 68593 | 25724 24751 66 | 2.046 % |
820.90/821.38 c | 1198164 | 1580 25262 68593 | 25724 24872 66 | 2.046 % |
821.00/821.47 c | 1198298 | 1580 25262 68593 | 25724 25006 66 | 2.046 % |
821.10/821.58 c | 1198446 | 1580 25262 68593 | 25724 25154 67 | 2.046 % |
821.30/821.71 c | 1198608 | 1580 25262 68593 | 25724 25316 67 | 2.046 % |
821.30/821.80 c | 1198786 | 1580 25262 68593 | 25724 25494 67 | 2.046 % |
821.50/821.94 c | 1198982 | 1580 25262 68593 | 25724 25690 67 | 2.046 % |
821.60/822.07 c | 1199194 | 1580 25262 68593 | 25724 25902 67 | 2.046 % |
821.80/822.25 c | 1199427 | 1580 25262 68593 | 25724 23444 64 | 2.046 % |
822.00/822.43 c | 1199684 | 1580 25262 68593 | 25724 23701 64 | 2.046 % |
822.20/822.62 c | 1199966 | 1580 25262 68593 | 25724 23983 64 | 2.046 % |
822.40/822.83 c | 1200275 | 1580 25262 68593 | 24020 24292 65 | 2.046 % |
822.60/823.02 c | 1200614 | 1580 25262 68593 | 24020 22195 62 | 2.046 % |
822.80/823.22 c | 1200986 | 1580 25262 68593 | 24020 22567 62 | 2.046 % |
822.99/823.47 c | 1201397 | 1580 25262 68593 | 24020 22978 63 | 2.046 % |
823.29/823.76 c | 1201848 | 1580 25262 68593 | 24020 23429 63 | 2.046 % |
823.59/824.06 c | 1202341 | 1580 25262 68593 | 24020 23922 64 | 2.046 % |
823.99/824.47 c | 1202883 | 1580 25262 68593 | 24020 22027 62 | 2.046 % |
824.39/824.88 c | 1203481 | 1580 25262 68593 | 24020 22625 63 | 2.046 % |
824.99/825.40 c | 1204136 | 1580 25262 68593 | 24020 23280 64 | 2.046 % |
825.39/825.84 c | 1204856 | 1580 25262 68593 | 24020 24000 65 | 2.046 % |
825.89/826.33 c | 1205649 | 1580 25262 68593 | 24020 22357 62 | 2.046 % |
826.39/826.88 c | 1206520 | 1580 25262 68593 | 24020 23228 63 | 2.046 % |
826.99/827.48 c | 1207478 | 1580 25262 68593 | 24020 24186 64 | 2.046 % |
827.80/828.25 c | 1208534 | 1580 25262 68593 | 24020 22824 62 | 2.046 % |
828.69/829.18 c | 1209697 | 1580 25262 68593 | 24020 23987 64 | 2.046 % |
829.69/830.12 c | 1210971 | 1580 25262 68593 | 21864 20548 59 | 2.046 % |
830.69/831.13 c | 1212375 | 1580 25262 68593 | 21864 21952 60 | 2.046 % |
831.59/832.06 c | 1213916 | 1580 25262 68593 | 21864 21149 59 | 2.046 % |
832.69/833.14 c | 1215612 | 1580 25262 68593 | 21864 20635 58 | 2.046 % |
833.69/834.16 c | 1217475 | 1580 25262 68593 | 21864 20274 58 | 2.046 % |
835.09/835.54 c | 1219525 | 1580 25262 68593 | 21864 20119 58 | 2.046 % |
836.39/836.83 c | 1221778 | 1580 25262 68593 | 2147483647 22372 62 | 2.046 % |
837.89/838.38 c | 1224263 | 1580 25262 68593 | 2147483647 24857 64 | 2.046 % |
839.59/840.03 c | 1226988 | 1580 25262 68593 | 2147483647 27582 68 | 2.046 % |
841.79/842.27 c | 1229986 | 1580 25262 68593 | 2147483647 30580 71 | 2.046 % |
843.78/844.27 c | 1233283 | 1580 25262 68593 | 30596 30080 72 | 2.046 % |
847.08/847.54 c | 1236912 | 1580 25262 68593 | 30596 29453 71 | 2.046 % |
850.38/850.83 c | 1240899 | 1580 25262 68593 | 27709 24274 66 | 2.046 % |
853.28/853.71 c | 1245286 | 1580 25262 68593 | 27709 24612 64 | 2.046 % |
856.48/856.94 c | 1250111 | 1580 25262 68593 | 25437 25548 62 | 2.046 % |
859.58/860.09 c | 1255417 | 1580 25262 68593 | 25437 24217 59 | 2.046 % |
863.18/863.69 c | 1261253 | 1580 25262 68593 | 23303 22181 59 | 2.046 % |
867.18/867.70 c | 1267671 | 1580 25262 68593 | 23303 21481 58 | 2.046 % |
871.78/872.30 c | 1274732 | 1580 25262 68593 | 2147483647 26184 68 | 2.046 % |
878.57/879.07 c | 1282498 | 1580 25262 68593 | 31452 29076 69 | 2.046 % |
885.17/885.64 c | 1291038 | 1580 25262 68593 | 30815 26619 63 | 2.046 % |
891.77/892.21 c | 1300432 | 1580 25262 68593 | 30650 26233 61 | 2.046 % |
898.97/899.48 c | 1310765 | 1580 25262 68593 | 30671 26730 60 | 2.046 % |
908.17/908.67 c | 1322132 | 1580 25262 68593 | 26378 24527 61 | 2.046 % |
908.26/908.74 c | 1322232 | 1580 25262 68593 | 26378 24627 61 | 2.046 % |
908.36/908.82 c | 1322343 | 1580 25262 68593 | 26378 24738 62 | 2.046 % |
908.46/908.90 c | 1322465 | 1580 25262 68593 | 26378 24860 62 | 2.046 % |
908.56/909.04 c | 1322600 | 1580 25262 68593 | 26378 24995 62 | 2.046 % |
908.66/909.18 c | 1322746 | 1580 25262 68593 | 26378 25141 62 | 2.046 % |
908.86/909.32 c | 1322909 | 1580 25262 68593 | 26378 25304 62 | 2.046 % |
908.96/909.44 c | 1323085 | 1580 25262 68593 | 26378 25480 62 | 2.046 % |
909.06/909.59 c | 1323278 | 1580 25262 68593 | 26378 25673 63 | 2.046 % |
909.17/909.69 c | 1323491 | 1580 25262 68593 | 26378 25886 63 | 2.046 % |
909.36/909.81 c | 1323726 | 1580 25262 68593 | 26378 26121 63 | 2.046 % |
909.46/909.94 c | 1323985 | 1580 25262 68593 | 26378 26380 63 | 2.046 % |
909.66/910.14 c | 1324270 | 1580 25262 68593 | 26378 26665 63 | 2.046 % |
909.86/910.34 c | 1324580 | 1580 25262 68593 | 26378 23430 60 | 2.046 % |
910.06/910.55 c | 1324919 | 1580 25262 68593 | 26378 23769 61 | 2.046 % |
910.36/910.87 c | 1325292 | 1580 25262 68593 | 26378 24142 61 | 2.046 % |
910.66/911.15 c | 1325703 | 1580 25262 68593 | 26378 24553 62 | 2.046 % |
911.06/911.56 c | 1326152 | 1580 25262 68593 | 26378 25002 62 | 2.046 % |
911.46/911.96 c | 1326646 | 1580 25262 68593 | 26378 25496 63 | 2.046 % |
912.06/912.58 c | 1327188 | 1580 25262 68593 | 26378 26038 63 | 2.046 % |
912.66/913.15 c | 1327784 | 1580 25262 68593 | 26378 26634 64 | 2.046 % |
913.26/913.70 c | 1328439 | 1580 25262 68593 | 26378 23469 59 | 2.046 % |
913.86/914.30 c | 1329160 | 1580 25262 68593 | 26378 24190 60 | 2.046 % |
914.36/914.83 c | 1329953 | 1580 25262 68593 | 26378 24983 60 | 2.046 % |
915.06/915.57 c | 1330824 | 1580 25262 68593 | 25030 22156 55 | 2.046 % |
915.86/916.31 c | 1331783 | 1580 25262 68593 | 25030 23115 57 | 2.046 % |
916.56/917.00 c | 1332837 | 1580 25262 68593 | 25030 24169 58 | 2.046 % |
917.36/917.82 c | 1333995 | 1580 25262 68593 | 25030 25327 60 | 2.046 % |
918.16/918.61 c | 1335269 | 1580 25262 68593 | 25030 23206 56 | 2.046 % |
919.25/919.74 c | 1336669 | 1580 25262 68593 | 25030 24606 58 | 2.046 % |
920.05/920.59 c | 1338211 | 1580 25262 68593 | 25030 22882 57 | 2.046 % |
921.26/921.78 c | 1339908 | 1580 25262 68593 | 25030 24579 59 | 2.046 % |
922.36/922.88 c | 1341771 | 1580 25262 68593 | 24673 23286 58 | 2.046 % |
923.56/924.00 c | 1343822 | 1580 25262 68593 | 24673 22727 60 | 2.046 % |
924.85/925.34 c | 1346076 | 1580 25262 68593 | 24673 24981 62 | 2.046 % |
926.56/927.01 c | 1348557 | 1580 25262 68593 | 24673 24918 62 | 2.046 % |
928.46/928.92 c | 1351283 | 1580 25262 68593 | 23816 22643 59 | 2.046 % |
930.36/930.83 c | 1354280 | 1580 25262 68593 | 23816 23150 58 | 2.046 % |
932.06/932.59 c | 1357576 | 1580 25262 68593 | 23816 24047 59 | 2.046 % |
934.46/934.93 c | 1361201 | 1580 25262 68593 | 2147483647 25268 61 | 2.046 % |
937.56/938.00 c | 1365189 | 1580 25262 68593 | 2147483647 29256 65 | 2.046 % |
941.16/941.68 c | 1369576 | 1580 25262 68593 | 2147483647 33643 68 | 2.046 % |
946.25/946.74 c | 1374400 | 1580 25262 68593 | 34067 33440 68 | 2.046 % |
950.05/950.54 c | 1379706 | 1580 25262 68593 | 34067 32073 67 | 2.046 % |
955.35/955.89 c | 1385541 | 1580 25262 68593 | 32370 31432 67 | 2.046 % |
960.55/961.02 c ===============================================================================
960.55/961.02 c restarts : 1372
960.55/961.02 c conflicts : 1391128 (1449 /sec)
960.55/961.02 c decisions : 2190862 (1.47 % random) (2281 /sec)
960.55/961.02 c propagations : 264907705 (275836 /sec)
960.55/961.02 c conflict literals : 128293442 (34.44 % deleted)
960.55/961.02 c Memory used : 20.38 MB
960.55/961.02 c CPU time : 960.38 s
960.55/961.02 c
960.55/961.02 s SATISFIABLE
960.55/961.03 s SATISFIABLE
960.55/961.03 v 1 -2 -3 -4 5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 -1038 -1039 -1040 1041 1042 -1043 -1044 -1045 1046 -1047 -1048 -1049 -1050 -1051 1052 -1053 -1054 -1055 1056 -1057 -1058 1059 -1060 -1061 -1062 1063 -1064 -1065 -1066 1067 -1068 -1069 1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 1097 -1098 -1099 -1100 -1101 -1102 1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 1112 -1113 -1114 -1115 -1116 -1117 1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 1136 -1137 -1138 -1139 -1140 -1141 1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 1150 -1151 -1152 -1153 -1154 -1155 1156 -1157 -1158 -1159 -1160 -1161 -1162 1163 -1164 -1165 -1166 -1167 -1168 1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 1197 1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 1214 -1215 -1216 -1217 -1218 -1219 -1220 1221 -1222 -1223 -1224 -1225 -1226 1227 -1228 -1229 -1230 -1231 -1232 -1233 1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 1245 -1246 -1247 -1248 -1249 1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 1258 -1259 -1260 -1261 1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 1271 -1272 -1273 -1274 -1275 -1276 -1277 1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 1301 -1302 -1303 -1304 1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 1313 -1314 -1315 1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 1345 -1346 -1347 1348 -1349 -1350 -1351 -1352 -1353 1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 1365 -1366 -1367 -1368 -1369 -1370 -1371 1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 1381 -1382 -1383 -1384 -1385 -1386 -1387 1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 1396 -1397 -1398 1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 1407 -1408 -1409 -1410 -1411 -1412 -1413 1414 -1415 -1416 -1417 -1418 -1419 -1420 1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 1433 -1434 -1435 -1436 1437 -1438 -1439 -1440 -1441 1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 1451 -1452 -1453 -1454 -1455 -1456 -1457 1458 -1459 -1460 -1461 -1462 1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 1472 -1473 -1474 -1475 -1476 -1477 1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 1493 -1494 -1495 1496 -1497 -1498 -1499 -1500 -1501 -1502 1503 -1504 -1505 -1506 -1507 1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 1521 1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 1536 -1537 -1538 -1539 -1540 1541 -1542 -1543 -1544 -1545 -1546 1547 -1548 -1549 -1550 -1551 -1552 -1553 1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 1563 -1564 -1565 -1566 1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 1581 -1582 -1583 -1584 -1585 1586 -1587 -1588 -1589 -1590 -1591 -1592 1593 -1594 -1595 1596 -1597 -1598 1599 -1600 -1601 -1602 -1603 1604 -1605 -1606 -1607 1608 -1609 1610 -1611 -1612 -1613 -1614 -1615 -1616 1617 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833759-1242825085/watcher-1833759-1242825085 -o /tmp/evaluation-result-1833759-1242825085/solver-1833759-1242825085 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833759-1242825085.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: 1.05 1.06 1.00 3/65 28144
/proc/meminfo: memFree=1921088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540822 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28144/statm: 1339 237 197 169 0 50 0
[startup+0.042205 s]
/proc/loadavg: 1.05 1.06 1.00 3/65 28144
/proc/meminfo: memFree=1921088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540822 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28144/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10221 s]
/proc/loadavg: 1.05 1.06 1.00 3/65 28144
/proc/meminfo: memFree=1921088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310540822 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28144/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30225 s]
/proc/loadavg: 1.05 1.06 1.00 3/65 28144
/proc/meminfo: memFree=1921088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.70129 s]
/proc/loadavg: 1.05 1.06 1.00 3/65 28144
/proc/meminfo: memFree=1921088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50138 s]
/proc/loadavg: 1.05 1.06 1.00 2/67 28150
/proc/meminfo: memFree=1916720/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=6036 CPUtime=1.37
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 1262 0 0 0 137 0 0 0 25 0 1 0 310540833 6180864 1248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 1509 1248 77 171 0 1336 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11392
[startup+3.10156 s]
/proc/loadavg: 1.05 1.06 1.00 2/67 28150
/proc/meminfo: memFree=1914672/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=8280 CPUtime=2.97
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 1807 0 0 0 296 1 0 0 25 0 1 0 310540833 8478720 1793 1992294400 134512640 135215339 4294956240 18446744073709551615 134532706 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 2070 1793 77 171 0 1897 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13636
[startup+6.30194 s]
/proc/loadavg: 1.04 1.06 1.00 2/67 28150
/proc/meminfo: memFree=1911088/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=11216 CPUtime=6.17
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 2537 0 0 0 615 2 0 0 25 0 1 0 310540833 11485184 2523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 2804 2523 77 171 0 2631 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16572
[startup+12.7017 s]
/proc/loadavg: 1.04 1.06 1.00 2/67 28150
/proc/meminfo: memFree=1907000/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=14516 CPUtime=12.56
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3367 0 0 0 1253 3 0 0 25 0 1 0 310540833 14864384 3353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3629 3353 77 171 0 3456 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19872
[startup+25.5022 s]
/proc/loadavg: 1.03 1.06 1.00 2/67 28150
/proc/meminfo: memFree=1906552/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=14912 CPUtime=25.34
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3479 0 0 0 2531 3 0 0 25 0 1 0 310540833 15269888 3465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3728 3465 77 171 0 3555 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20268
[startup+51.1022 s]
/proc/loadavg: 1.02 1.05 1.00 2/67 28150
/proc/meminfo: memFree=1906488/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=14912 CPUtime=50.93
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3479 0 0 0 5089 4 0 0 25 0 1 0 310540833 15269888 3465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3728 3465 77 171 0 3555 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 20268
[startup+102.306 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 28150
/proc/meminfo: memFree=1906424/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=14912 CPUtime=102.1
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3479 0 0 0 10205 5 0 0 25 0 1 0 310540833 15269888 3465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3728 3465 77 171 0 3555 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 20268
[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 28150
/proc/meminfo: memFree=1906168/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=15192 CPUtime=162.07
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3521 0 0 0 16202 5 0 0 25 0 1 0 310540833 15556608 3507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3798 3507 77 171 0 3625 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 20548
[startup+222.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/67 28150
/proc/meminfo: memFree=1905784/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=15332 CPUtime=222.04
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 3582 0 0 0 22199 5 0 0 25 0 1 0 310540833 15699968 3568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 3833 3568 77 171 0 3660 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 20688
[startup+282.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 28150
/proc/meminfo: memFree=1901368/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=19712 CPUtime=282.01
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4650 0 0 0 28194 7 0 0 25 0 1 0 310540833 20185088 4636 1992294400 134512640 135215339 4294956240 18446744073709551615 134529048 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 4928 4636 77 171 0 4755 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 25068
[startup+342.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 28150
/proc/meminfo: memFree=1901304/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=19712 CPUtime=341.98
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4651 0 0 0 34191 7 0 0 25 0 1 0 310540833 20185088 4637 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 4928 4637 77 171 0 4755 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 25068
[startup+402.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/67 28150
/proc/meminfo: memFree=1900216/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20732 CPUtime=401.96
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4897 0 0 0 40188 8 0 0 25 0 1 0 310540833 21229568 4883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5183 4883 77 171 0 5010 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 26088
[startup+462.302 s]
################
# More data... #
################
[startup+642.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/67 28150
/proc/meminfo: memFree=1899576/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=641.87
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4934 0 0 0 64178 9 0 0 25 0 1 0 310540833 21364736 4920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4920 77 171 0 5043 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 26220
[startup+702.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 28150
/proc/meminfo: memFree=1899512/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=701.84
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4934 0 0 0 70175 9 0 0 25 0 1 0 310540833 21364736 4920 1992294400 134512640 135215339 4294956240 18446744073709551615 134538382 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4920 77 171 0 5043 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 26220
[startup+762.306 s]
/proc/loadavg: 1.04 1.03 1.00 2/67 28150
/proc/meminfo: memFree=1899448/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=761.82
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4934 0 0 0 76173 9 0 0 25 0 1 0 310540833 21364736 4920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4920 77 171 0 5043 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 26220
[startup+822.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 28150
/proc/meminfo: memFree=1899384/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=821.8
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4934 0 0 0 82171 9 0 0 25 0 1 0 310540833 21364736 4920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4920 77 171 0 5043 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 26220
[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899320/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=881.77
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4934 0 0 0 88168 9 0 0 25 0 1 0 310540833 21364736 4920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4920 77 171 0 5043 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 26220
[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=941.75
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 94165 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 26220
Solver just ended. Dumping a history of the last processes samples
[startup+947.106 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=946.56
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 94646 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 946.66
Current children cumulated vsize (KiB) 26220
[startup+953.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=952.95
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 95285 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 953.05
Current children cumulated vsize (KiB) 26220
[startup+956.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=956.15
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 95605 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 956.25
Current children cumulated vsize (KiB) 26220
[startup+958.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=957.75
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 95765 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 957.85
Current children cumulated vsize (KiB) 26220
[startup+959.902 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=959.35
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 95925 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134538463 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 959.45
Current children cumulated vsize (KiB) 26220
[startup+960.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=960.15
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 96005 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 960.25
Current children cumulated vsize (KiB) 26220
[startup+960.902 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=960.35
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 96025 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 960.45
Current children cumulated vsize (KiB) 26220
[startup+961.002 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 28150
/proc/meminfo: memFree=1899192/2055920 swapFree=4179804/4192956
[pid=28144] ppid=28142 vsize=5356 CPUtime=0.1
/proc/28144/stat : 28144 (SatELiteGTI) S 28142 28144 27964 0 -1 4194304 336 792 0 0 0 0 10 0 16 0 1 0 310540822 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28144/statm: 1339 239 197 169 0 50 0
[pid=28150] ppid=28144 vsize=20864 CPUtime=960.45
/proc/28150/stat : 28150 (minisat_static) R 28144 28144 27964 0 -1 4194304 4936 0 0 0 96035 10 0 0 25 0 1 0 310540833 21364736 4922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28150/statm: 5216 4922 77 171 0 5043 0
Current children cumulated CPU time (s) 960.55
Current children cumulated vsize (KiB) 26220
Child status: 10
Real time (s): 961.042
CPU time (s): 960.607
CPU user time (s): 960.487
CPU system time (s): 0.119981
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 26220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 960.487
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6404
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= 51
involuntary context switches= 4497
runsolver used 0.871867 second user time and 2.77758 second system time
The end
Begin job on node73 at 2009-05-20 15:11:25
IDJOB=1833759
IDBENCH=70919
IDSOLVER=671
FILE ID=node73/1833759-1242825085
PBS_JOBID= 9322498
Free space on /tmp= 66060 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_7_4_8_exp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833759-1242825085/watcher-1833759-1242825085 -o /tmp/evaluation-result-1833759-1242825085/solver-1833759-1242825085 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833759-1242825085.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e0caa78f33b332fe4d9add2bb1044111
RANDOM SEED=235044770
node73.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.214
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.214
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: 1921632 kB
Buffers: 19648 kB
Cached: 75952 kB
SwapCached: 7624 kB
Active: 39696 kB
Inactive: 65100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1921632 kB
SwapTotal: 4192956 kB
SwapFree: 4179804 kB
Dirty: 2188 kB
Writeback: 0 kB
Mapped: 13896 kB
Slab: 15588 kB
Committed_AS: 1097496 kB
PageTables: 1400 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= 66060 MiB
End job on node73 at 2009-05-20 15:27:26