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 | 23237 63534 | 6971 0 0 nan | 0.000 % |
0.00/0.19 c | 0 | 15594 54914 | -- 0 -- -- | -- | -7643/-8620
0.00/0.19 c ==============================================================================
0.00/0.19 c Result : #vars: 2673 #clauses: 15594 #literals: 54914
0.00/0.19 c CPU time: 0.179972 s
0.00/0.19 c ==============================================================================
0.00/0.21 c This is MiniSat 2.0 beta
0.00/0.21 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.21 c ============================[ Problem Statistics ]=============================
0.00/0.21 c | |
0.00/0.21 c | Number of variables: 2673 |
0.00/0.21 c | Number of clauses: 15594 |
0.00/0.22 c | Parsing time: 0.01 s |
0.00/0.22 c ============================[ Search Statistics ]==============================
0.00/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.22 c ===============================================================================
0.00/0.22 c | 0 | 2673 15594 54914 | 5198 0 nan | 0.000 % |
0.00/0.22 c | 101 | 2673 15594 54914 | 5198 101 6 | 0.000 % |
0.00/0.23 c | 201 | 2673 15594 54914 | 5198 201 7 | 0.000 % |
0.00/0.23 c | 303 | 2673 15594 54914 | 5198 303 8 | 0.000 % |
0.00/0.24 c | 414 | 2673 15594 54914 | 5198 414 9 | 0.000 % |
0.00/0.24 c | 514 | 2673 15594 54914 | 5198 514 9 | 0.000 % |
0.00/0.25 c | 625 | 2673 15594 54914 | 5198 625 13 | 0.000 % |
0.00/0.26 c | 747 | 2673 15594 54914 | 5198 747 13 | 0.000 % |
0.00/0.27 c | 848 | 2673 15594 54914 | 5198 848 14 | 0.000 % |
0.00/0.28 c | 958 | 2673 15594 54914 | 5198 958 16 | 0.000 % |
0.00/0.29 c | 1080 | 2673 15594 54914 | 5198 1080 16 | 0.000 % |
0.20/0.31 c | 1213 | 2673 15594 54914 | 5198 1213 24 | 0.000 % |
0.20/0.33 c | 1314 | 2673 15594 54914 | 5198 1314 27 | 0.000 % |
0.20/0.36 c | 1424 | 2673 15594 54914 | 5198 1424 31 | 0.000 % |
0.20/0.38 c | 1545 | 2673 15594 54914 | 5198 1545 32 | 0.000 % |
0.20/0.39 c | 1679 | 2673 15594 54914 | 5198 1679 30 | 0.000 % |
0.20/0.40 c | 1827 | 2673 15594 54914 | 5198 1827 29 | 0.000 % |
0.20/0.41 c | 1927 | 2673 15594 54914 | 5198 1927 29 | 0.000 % |
0.20/0.42 c | 2037 | 2673 15594 54914 | 5198 2037 29 | 0.000 % |
0.20/0.44 c | 2159 | 2673 15594 54914 | 5198 2159 29 | 0.000 % |
0.20/0.45 c | 2293 | 2673 15594 54914 | 5198 2293 29 | 0.000 % |
0.20/0.46 c | 2442 | 2673 15594 54914 | 5198 2442 28 | 0.000 % |
0.20/0.47 c | 2604 | 2673 15594 54914 | 5198 2604 27 | 0.000 % |
0.20/0.48 c | 2705 | 2673 15594 54914 | 5198 2705 27 | 0.000 % |
0.20/0.49 c | 2815 | 2673 15594 54914 | 5198 2815 26 | 0.000 % |
0.20/0.50 c | 2937 | 2673 15594 54914 | 5198 2937 26 | 0.000 % |
0.20/0.51 c | 3070 | 2673 15594 54914 | 5198 3070 26 | 0.000 % |
0.20/0.54 c | 3216 | 2673 15594 54914 | 5198 3216 29 | 0.000 % |
0.20/0.56 c | 3376 | 2673 15594 54914 | 5198 3376 29 | 0.000 % |
0.20/0.57 c | 3555 | 2673 15594 54914 | 5198 3555 28 | 0.000 % |
0.20/0.58 c | 3655 | 2673 15594 54914 | 5198 3655 29 | 0.000 % |
0.20/0.60 c | 3765 | 2673 15594 54914 | 5198 3765 29 | 0.000 % |
0.20/0.61 c | 3886 | 2673 15594 54914 | 5198 3886 29 | 0.000 % |
0.20/0.64 c | 4019 | 2673 15594 54914 | 5198 4019 31 | 0.000 % |
0.20/0.65 c | 4165 | 2673 15594 54914 | 5198 4165 30 | 0.000 % |
0.20/0.68 c | 4325 | 2673 15594 54914 | 5198 4325 31 | 0.000 % |
0.20/0.71 c | 4502 | 2673 15594 54914 | 5198 4502 31 | 0.000 % |
0.20/0.75 c | 4695 | 2673 15594 54914 | 5198 4695 33 | 0.000 % |
0.20/0.77 c | 4795 | 2673 15594 54914 | 5198 4795 33 | 0.000 % |
0.20/0.79 c | 4905 | 2673 15594 54914 | 5198 4905 34 | 0.001 % |
0.20/0.82 c | 5027 | 2673 15594 54914 | 5198 5027 34 | 0.000 % |
0.20/0.83 c | 5160 | 2673 15594 54914 | 5198 5160 34 | 0.001 % |
0.20/0.84 c | 5306 | 2673 15594 54914 | 5198 5306 34 | 0.000 % |
0.20/0.86 c | 5467 | 2673 15594 54914 | 5198 4937 35 | 0.000 % |
0.20/0.88 c | 5643 | 2673 15594 54914 | 5198 5113 34 | 0.000 % |
0.20/0.91 c | 5836 | 2673 15594 54914 | 5198 5306 34 | 0.000 % |
0.20/0.92 c | 6049 | 2673 15594 54914 | 5198 4989 31 | 0.000 % |
0.20/0.95 c | 6149 | 2673 15594 54914 | 5198 5089 33 | 0.000 % |
0.20/0.98 c | 6262 | 2673 15594 54914 | 5198 5202 33 | 0.000 % |
0.20/0.99 c | 6383 | 2673 15594 54914 | 5198 4803 33 | 0.000 % |
0.20/1.00 c | 6516 | 2673 15594 54914 | 5198 4936 32 | 0.000 % |
0.98/1.03 c | 6663 | 2673 15594 54914 | 5198 5083 33 | 0.000 % |
0.98/1.06 c | 6824 | 2673 15594 54914 | 5198 5244 34 | 0.000 % |
1.08/1.11 c | 7001 | 2673 15594 54914 | 5198 4897 36 | 0.000 % |
1.08/1.14 c | 7194 | 2673 15594 54914 | 5198 5090 36 | 0.000 % |
1.08/1.15 c | 7408 | 2673 15594 54914 | 5198 5304 35 | 0.000 % |
1.08/1.18 c | 7641 | 2673 15594 54914 | 5198 5007 35 | 0.000 % |
1.18/1.20 c | 7741 | 2673 15594 54914 | 5198 5107 35 | 0.000 % |
1.18/1.22 c | 7851 | 2673 15594 54914 | 5198 5217 35 | 0.000 % |
1.18/1.25 c | 7972 | 2673 15594 54914 | 5198 4817 35 | 0.000 % |
1.18/1.26 c | 8109 | 2673 15594 54914 | 5198 4954 34 | 0.000 % |
1.18/1.28 c | 8255 | 2673 15594 54914 | 5198 5100 35 | 0.000 % |
1.18/1.29 c | 8415 | 2673 15594 54914 | 5198 5260 34 | 0.000 % |
1.28/1.32 c | 8591 | 2673 15594 54914 | 5198 4910 31 | 0.000 % |
1.28/1.36 c | 8785 | 2673 15594 54914 | 5198 5104 32 | 0.000 % |
1.38/1.42 c | 8999 | 2673 15594 54914 | 5198 5318 33 | 0.000 % |
1.38/1.47 c | 9232 | 2673 15594 54914 | 5198 5020 34 | 0.000 % |
1.48/1.51 c | 9488 | 2673 15594 54914 | 5198 5276 34 | 0.000 % |
1.48/1.53 c | 9589 | 2673 15594 54914 | 5198 4850 34 | 0.000 % |
1.48/1.55 c | 9699 | 2673 15594 54914 | 5198 4960 34 | 0.000 % |
1.48/1.56 c | 9821 | 2673 15594 54914 | 5198 5082 34 | 0.000 % |
1.48/1.57 c | 9954 | 2673 15594 54914 | 5198 5215 34 | 0.000 % |
1.48/1.59 c | 10100 | 2673 15594 54914 | 2147483647 4840 32 | 0.000 % |
1.58/1.62 c | 10260 | 2673 15594 54914 | 2147483647 5000 33 | 0.000 % |
1.58/1.65 c | 10437 | 2673 15594 54914 | 2147483647 5177 33 | 0.000 % |
1.58/1.68 c | 10632 | 2673 15594 54914 | 2147483647 5372 34 | 0.000 % |
1.68/1.72 c | 10846 | 2673 15594 54914 | 2147483647 5586 34 | 0.000 % |
1.68/1.74 c | 11081 | 2673 15594 54914 | 2147483647 5821 33 | 0.000 % |
1.78/1.80 c | 11339 | 2673 15594 54914 | 2147483647 6079 35 | 0.000 % |
1.78/1.87 c | 11620 | 2673 15594 54914 | 2147483647 6360 37 | 0.000 % |
1.78/1.89 c | 11721 | 2673 15594 54914 | 2147483647 6461 37 | 0.001 % |
1.87/1.92 c | 11831 | 2673 15594 54914 | 2147483647 6571 38 | 0.000 % |
1.87/1.94 c | 11953 | 2673 15594 54914 | 2147483647 6693 38 | 0.000 % |
1.87/1.95 c | 12087 | 2673 15594 54914 | 2147483647 6827 37 | 0.000 % |
1.87/1.97 c | 12233 | 2673 15594 54914 | 2147483647 6973 37 | 0.000 % |
1.87/1.99 c | 12393 | 2673 15594 54914 | 2147483647 7133 36 | 0.000 % |
1.97/2.03 c | 12569 | 2673 15594 54914 | 2147483647 7309 37 | 0.000 % |
1.97/2.05 c | 12762 | 2673 15594 54914 | 2147483647 7502 37 | 0.000 % |
1.97/2.09 c | 12975 | 2673 15594 54914 | 2147483647 7715 37 | 0.000 % |
2.08/2.12 c | 13208 | 2673 15594 54914 | 2147483647 7948 36 | 0.000 % |
2.08/2.16 c | 13467 | 2673 15594 54914 | 2147483647 8207 36 | 0.000 % |
2.18/2.22 c | 13748 | 2673 15594 54914 | 2147483647 8488 37 | 0.000 % |
2.27/2.32 c | 14059 | 2673 15594 54914 | 2147483647 8799 38 | 0.000 % |
2.27/2.35 c | 14159 | 2673 15594 54914 | 2147483647 8899 39 | 0.000 % |
2.27/2.38 c | 14270 | 2673 15594 54914 | 2147483647 9010 39 | 0.000 % |
2.27/2.39 c | 14392 | 2673 15594 54914 | 2147483647 9132 38 | 0.000 % |
2.37/2.42 c | 14525 | 2673 15594 54914 | 2147483647 9265 39 | 0.000 % |
2.37/2.44 c | 14671 | 2673 15594 54914 | 2147483647 9411 38 | 0.000 % |
2.37/2.47 c | 14831 | 2673 15594 54914 | 2147483647 9571 39 | 0.000 % |
2.47/2.51 c | 15008 | 2673 15594 54914 | 2147483647 9748 38 | 0.000 % |
2.47/2.57 c | 15203 | 2673 15594 54914 | 2147483647 9943 39 | 0.000 % |
2.57/2.63 c | 15417 | 2673 15594 54914 | 2147483647 10157 39 | 0.000 % |
2.57/2.67 c | 15650 | 2673 15594 54914 | 2147483647 10390 39 | 0.001 % |
2.67/2.70 c | 15906 | 2673 15594 54914 | 2147483647 10646 38 | 0.000 % |
2.67/2.74 c | 16187 | 2673 15594 54914 | 2147483647 10927 38 | 0.000 % |
2.77/2.80 c | 16497 | 2673 15594 54914 | 2147483647 11237 39 | 0.000 % |
2.77/2.88 c | 16838 | 2673 15594 54914 | 2147483647 11578 39 | 0.000 % |
2.77/2.89 c | 16939 | 2673 15594 54914 | 2147483647 11679 39 | 0.000 % |
2.87/2.91 c | 17049 | 2673 15594 54914 | 2147483647 11789 39 | 0.000 % |
2.87/2.95 c | 17170 | 2673 15594 54914 | 2147483647 11910 39 | 0.001 % |
2.87/2.98 c | 17303 | 2673 15594 54914 | 2147483647 12043 39 | 0.000 % |
2.97/3.01 c | 17449 | 2673 15594 54914 | 2147483647 12189 39 | 0.000 % |
2.97/3.02 c | 17609 | 2673 15594 54914 | 2147483647 12349 39 | 0.000 % |
2.97/3.07 c | 17786 | 2673 15594 54914 | 2147483647 12526 39 | 0.000 % |
3.07/3.12 c | 17979 | 2673 15594 54914 | 2147483647 12719 39 | 0.000 % |
3.07/3.20 c | 18192 | 2673 15594 54914 | 2147483647 12932 39 | 0.000 % |
3.17/3.27 c | 18425 | 2673 15594 54914 | 2147483647 13165 40 | 0.000 % |
3.17/3.29 c | 18682 | 2673 15594 54914 | 2147483647 13422 39 | 0.000 % |
3.27/3.33 c | 18963 | 2673 15594 54914 | 2147483647 13703 39 | 0.000 % |
3.37/3.42 c | 19272 | 2673 15594 54914 | 2147483647 14012 39 | 0.000 % |
3.47/3.54 c | 19611 | 2673 15594 54914 | 2147483647 14351 40 | 0.000 % |
3.57/3.68 c | 19983 | 2673 15594 54914 | 2147483647 14723 40 | 0.000 % |
3.67/3.70 c | 20084 | 2673 15594 54914 | 2147483647 14824 40 | 0.000 % |
3.67/3.73 c | 20195 | 2673 15594 54914 | 2147483647 14935 41 | 0.001 % |
3.67/3.79 c | 20316 | 2673 15594 54914 | 2147483647 15056 41 | 0.000 % |
3.77/3.82 c | 20450 | 2673 15594 54914 | 2147483647 15190 41 | 0.000 % |
3.77/3.86 c | 20597 | 2673 15594 54914 | 2147483647 15337 41 | 0.000 % |
3.87/3.91 c | 20757 | 2673 15594 54914 | 2147483647 15497 41 | 0.000 % |
3.87/3.94 c | 20933 | 2673 15594 54914 | 2147483647 15673 41 | 0.000 % |
3.87/3.97 c | 21126 | 2673 15594 54914 | 2147483647 15866 41 | 0.000 % |
3.87/3.98 c | 21339 | 2673 15594 54914 | 2147483647 16079 41 | 0.000 % |
3.97/4.03 c | 21572 | 2673 15594 54914 | 2147483647 16312 41 | 0.000 % |
4.07/4.11 c | 21828 | 2673 15594 54914 | 2147483647 16568 41 | 0.000 % |
4.17/4.20 c | 22109 | 2673 15594 54914 | 2147483647 16849 42 | 0.001 % |
4.27/4.30 c | 22418 | 2673 15594 54914 | 2147483647 17158 42 | 0.000 % |
4.37/4.42 c | 22757 | 2673 15594 54914 | 2147483647 17497 43 | 0.000 % |
4.47/4.53 c | 23129 | 2673 15594 54914 | 2147483647 17869 42 | 0.000 % |
4.57/4.65 c | 23539 | 2673 15594 54914 | 2147483647 18279 42 | 0.000 % |
4.57/4.69 c | 23639 | 2673 15594 54914 | 2147483647 18379 42 | 0.000 % |
4.67/4.74 c | 23749 | 2673 15594 54914 | 2147483647 18489 43 | 0.000 % |
4.67/4.77 c | 23871 | 2673 15594 54914 | 2147483647 18611 43 | 0.000 % |
4.67/4.79 c | 24004 | 2673 15594 54914 | 2147483647 18744 42 | 0.000 % |
4.77/4.84 c | 24152 | 2673 15594 54914 | 2147483647 18892 43 | 0.000 % |
4.77/4.87 c | 24312 | 2673 15594 54914 | 2147483647 19052 42 | 0.000 % |
4.87/4.90 c | 24488 | 2673 15594 54914 | 2147483647 19228 42 | 0.000 % |
4.87/4.95 c | 24682 | 2673 15594 54914 | 2147483647 19422 42 | 0.000 % |
4.97/5.01 c | 24894 | 2673 15594 54914 | 2147483647 19634 42 | 0.000 % |
5.07/5.10 c | 25127 | 2673 15594 54914 | 2147483647 19867 42 | 0.000 % |
5.17/5.20 c | 25383 | 2673 15594 54914 | 2147483647 20123 42 | 0.000 % |
5.17/5.27 c | 25664 | 2673 15594 54914 | 2147483647 20404 42 | 0.000 % |
5.27/5.31 c | 25973 | 2673 15594 54914 | 2147483647 20713 42 | 0.000 % |
5.27/5.37 c | 26313 | 2673 15594 54914 | 2147483647 21053 42 | 0.000 % |
5.47/5.52 c | 26685 | 2673 15594 54914 | 2147483647 21425 42 | 0.000 % |
5.57/5.68 c | 27096 | 2673 15594 54914 | 2147483647 21836 43 | 0.000 % |
5.77/5.85 c | 27545 | 2673 15594 54914 | 2147483647 22285 43 | 0.000 % |
5.77/5.89 c | 27648 | 2673 15594 54914 | 2147483647 22388 43 | 0.000 % |
5.87/5.92 c | 27760 | 2673 15594 54914 | 2147483647 22500 43 | 0.001 % |
5.87/5.96 c | 27881 | 2673 15594 54914 | 2147483647 22621 43 | 0.000 % |
5.97/6.02 c | 28014 | 2673 15594 54914 | 2147483647 22754 43 | 0.000 % |
5.97/6.07 c | 28160 | 2673 15594 54914 | 2147483647 22900 43 | 0.000 % |
6.07/6.12 c | 28320 | 2673 15594 54914 | 2147483647 23060 43 | 0.000 % |
6.07/6.17 c | 28497 | 2673 15594 54914 | 2147483647 23237 43 | 0.000 % |
6.17/6.24 c | 28691 | 2673 15594 54914 | 2147483647 23431 44 | 0.000 % |
6.27/6.30 c | 28904 | 2673 15594 54914 | 2147483647 23644 44 | 0.000 % |
6.27/6.39 c | 29137 | 2673 15594 54914 | 2147483647 23877 44 | 0.000 % |
6.37/6.50 c | 29394 | 2673 15594 54914 | 2147483647 24134 44 | 0.000 % |
6.58/6.60 c | 29675 | 2673 15594 54914 | 2147483647 24415 44 | 0.000 % |
6.58/6.68 c | 29984 | 2673 15594 54914 | 2147483647 24724 44 | 0.000 % |
6.77/6.81 c | 30324 | 2673 15594 54914 | 2147483647 25064 44 | 0.000 % |
6.87/6.92 c | 30696 | 2673 15594 54914 | 2147483647 25436 44 | 0.000 % |
7.07/7.10 c | 31106 | 2673 15594 54914 | 2147483647 25846 44 | 0.000 % |
7.17/7.29 c | 31555 | 2673 15594 54914 | 2147483647 26295 44 | 0.000 % |
7.47/7.54 c | 32049 | 2673 15594 54914 | 2147483647 26789 44 | 0.000 % |
7.47/7.57 c | 32151 | 2673 15594 54914 | 2147483647 26891 44 | 0.000 % |
7.47/7.59 c | 32261 | 2673 15594 54914 | 2147483647 27001 44 | 0.000 % |
7.57/7.65 c | 32382 | 2673 15594 54914 | 2147483647 27122 44 | 0.001 % |
7.57/7.70 c | 32515 | 2673 15594 54914 | 2147483647 27255 44 | 0.000 % |
7.67/7.74 c | 32666 | 2673 15594 54914 | 2147483647 27406 44 | 0.000 % |
7.67/7.78 c | 32826 | 2673 15594 54914 | 2147483647 27566 44 | 0.000 % |
7.77/7.87 c | 33003 | 2673 15594 54914 | 2147483647 27743 44 | 0.000 % |
7.87/7.94 c | 33197 | 2673 15594 54914 | 2147483647 27937 44 | 0.000 % |
7.97/8.04 c | 33409 | 2673 15594 54914 | 2147483647 28149 44 | 0.000 % |
8.07/8.13 c | 33643 | 2673 15594 54914 | 2147483647 28383 44 | 0.000 % |
8.17/8.25 c | 33902 | 2673 15594 54914 | 2147483647 28642 44 | 0.000 % |
8.26/8.35 c | 34183 | 2673 15594 54914 | 2147483647 28923 45 | 0.000 % |
8.36/8.49 c | 34494 | 2673 15594 54914 | 2147483647 29234 45 | 0.000 % |
8.46/8.58 c | 34833 | 2673 15594 54914 | 2147483647 29573 45 | 0.000 % |
8.56/8.69 c | 35206 | 2673 15594 54914 | 2147483647 29946 45 | 0.000 % |
8.86/8.95 c | 35616 | 2673 15594 54914 | 2147483647 30356 45 | 0.000 % |
9.06/9.20 c | 36066 | 2673 15594 54914 | 2147483647 30806 46 | 0.000 % |
9.36/9.49 c | 36559 | 2673 15594 54914 | 2147483647 31299 46 | 0.001 % |
9.66/9.76 c | 37102 | 2673 15594 54914 | 2147483647 31842 46 | 0.000 % |
9.76/9.82 c | 37203 | 2673 15594 54914 | 2147483647 31943 46 | 0.000 % |
9.76/9.88 c | 37315 | 2673 15594 54914 | 2147483647 32055 46 | 0.000 % |
9.86/9.95 c | 37437 | 2673 15594 54914 | 2147483647 32177 46 | 0.000 % |
9.96/10.00 c | 37570 | 2673 15594 54914 | 2147483647 32310 46 | 0.000 % |
9.96/10.05 c | 37716 | 2673 15594 54914 | 2147483647 32456 46 | 0.000 % |
10.06/10.13 c | 37876 | 2673 15594 54914 | 2147483647 32616 46 | 0.000 % |
10.16/10.24 c | 38053 | 2673 15594 54914 | 2147483647 32793 46 | 0.000 % |
10.26/10.34 c | 38247 | 2673 15594 54914 | 2147483647 32987 46 | 0.001 % |
10.36/10.48 c | 38459 | 2673 15594 54914 | 2147483647 33199 46 | 0.000 % |
10.46/10.57 c | 38692 | 2673 15594 54914 | 2147483647 33432 46 | 0.000 % |
10.66/10.71 c | 38948 | 2673 15594 54914 | 2147483647 33688 46 | 0.000 % |
10.76/10.85 c | 39230 | 2673 15594 54914 | 2147483647 33970 46 | 0.000 % |
10.86/10.95 c | 39539 | 2673 15594 54914 | 2147483647 34279 46 | 0.000 % |
11.06/11.18 c | 39880 | 2673 15594 54914 | 2147483647 34620 46 | 0.000 % |
11.27/11.33 c | 40255 | 2673 15594 54914 | 2147483647 34995 47 | 0.000 % |
11.56/11.62 c | 40665 | 2673 15594 54914 | 2147483647 35405 47 | 0.000 % |
11.66/11.71 c | 41115 | 2673 15594 54914 | 2147483647 35855 47 | 0.000 % |
11.86/11.93 c | 41608 | 2673 15594 54914 | 2147483647 36348 47 | 0.000 % |
11.97/12.05 c | 42150 | 2673 15594 54914 | 2147483647 36890 47 | 0.000 % |
12.36/12.41 c | 42748 | 2673 15594 54914 | 2147483647 37488 47 | 0.000 % |
12.36/12.48 c | 42849 | 2673 15594 54914 | 2147483647 37589 47 | 0.000 % |
12.46/12.54 c | 42961 | 2673 15594 54914 | 2147483647 37701 47 | 0.000 % |
12.56/12.62 c | 43082 | 2673 15594 54914 | 2147483647 37822 47 | 0.001 % |
12.66/12.70 c | 43216 | 2673 15594 54914 | 2147483647 37956 47 | 0.000 % |
12.66/12.79 c | 43362 | 2673 15594 54914 | 2147483647 38102 47 | 0.000 % |
12.76/12.88 c | 43522 | 2673 15594 54914 | 2147483647 38262 47 | 0.000 % |
12.86/12.92 c | 43699 | 2673 15594 54914 | 2147483647 38439 47 | 0.000 % |
12.96/13.00 c | 43892 | 2673 15594 54914 | 2147483647 38632 47 | 0.000 % |
12.96/13.08 c | 44105 | 2673 15594 54914 | 2147483647 38845 47 | 0.000 % |
13.17/13.23 c | 44338 | 2673 15594 54914 | 2147483647 39078 47 | 0.000 % |
13.36/13.40 c | 44595 | 2673 15594 54914 | 2147483647 39335 47 | 0.000 % |
13.46/13.54 c | 44876 | 2673 15594 54914 | 2147483647 39616 47 | 0.000 % |
13.66/13.71 c | 45186 | 2673 15594 54914 | 2147483647 39926 47 | 0.000 % |
13.86/13.94 c | 45526 | 2673 15594 54914 | 2147483647 40266 47 | 0.000 % |
14.06/14.20 c | 45898 | 2673 15594 54914 | 2147483647 40638 47 | 0.000 % |
14.46/14.50 c | 46307 | 2673 15594 54914 | 2147483647 41047 48 | 0.000 % |
14.75/14.80 c | 46756 | 2673 15594 54914 | 2147483647 41496 47 | 0.000 % |
15.05/15.12 c | 47250 | 2673 15594 54914 | 2147483647 41990 47 | 0.000 % |
15.35/15.45 c | 47792 | 2673 15594 54914 | 2147483647 42532 48 | 0.000 % |
15.65/15.79 c | 48389 | 2673 15594 54914 | 2147483647 43129 48 | 0.000 % |
16.05/16.15 c | 49044 | 2673 15594 54914 | 2147483647 43784 48 | 0.000 % |
16.15/16.21 c | 49146 | 2673 15594 54914 | 2147483647 43886 48 | 0.000 % |
16.15/16.28 c | 49257 | 2673 15594 54914 | 2147483647 43997 48 | 0.000 % |
16.25/16.33 c | 49378 | 2673 15594 54914 | 2147483647 44118 48 | 0.000 % |
16.25/16.37 c | 49514 | 2673 15594 54914 | 2147483647 44254 48 | 0.000 % |
16.35/16.48 c | 49661 | 2673 15594 54914 | 2147483647 44401 48 | 0.001 % |
16.45/16.55 c | 49821 | 2673 15594 54914 | 2147483647 44561 48 | 0.000 % |
16.65/16.70 c | 49998 | 2673 15594 54914 | 2147483647 44738 48 | 0.000 % |
16.75/16.86 c | 50191 | 2673 15594 54914 | 2147483647 44931 48 | 0.000 % |
16.85/16.94 c | 50403 | 2673 15594 54914 | 2147483647 45143 48 | 0.000 % |
16.95/17.09 c | 50637 | 2673 15594 54914 | 2147483647 45377 48 | 0.000 % |
17.16/17.25 c | 50893 | 2673 15594 54914 | 2147483647 45633 48 | 0.000 % |
17.36/17.46 c | 51174 | 2673 15594 54914 | 2147483647 45914 48 | 0.000 % |
17.56/17.65 c | 51484 | 2673 15594 54914 | 2147483647 46224 48 | 0.000 % |
17.75/17.82 c | 51823 | 2673 15594 54914 | 2147483647 46563 47 | 0.000 % |
17.85/17.91 c | 52195 | 2673 15594 54914 | 2147483647 46935 47 | 0.000 % |
18.05/18.12 c | 52604 | 2673 15594 54914 | 2147483647 47344 47 | 0.000 % |
18.35/18.41 c | 53053 | 2673 15594 54914 | 2147483647 47793 47 | 0.000 % |
18.56/18.68 c | 53547 | 2673 15594 54914 | 2147483647 48287 47 | 0.000 % |
18.85/18.97 c | 54090 | 2673 15594 54914 | 2147483647 48830 48 | 0.000 % |
19.25/19.31 c | 54686 | 2673 15594 54914 | 2147483647 49426 48 | 0.000 % |
19.65/19.71 c | 55341 | 2673 15594 54914 | 2147483647 50081 48 | 0.000 % |
20.04/20.19 c | 56061 | 2673 15594 54914 | 2147483647 50801 48 | 0.000 % |
20.24/20.30 c | 56164 | 2673 15594 54914 | 2147483647 50904 48 | 0.001 % |
20.34/20.42 c | 56275 | 2673 15594 54914 | 2147483647 51015 48 | 0.000 % |
20.44/20.51 c | 56396 | 2673 15594 54914 | 2147483647 51136 48 | 0.000 % |
20.44/20.58 c | 56529 | 2673 15594 54914 | 2147483647 51269 48 | 0.000 % |
20.64/20.74 c | 56675 | 2673 15594 54914 | 2147483647 51415 48 | 0.000 % |
20.64/20.78 c | 56836 | 2673 15594 54914 | 2147483647 51576 48 | 0.000 % |
20.75/20.85 c | 57012 | 2673 15594 54914 | 2147483647 51752 48 | 0.000 % |
20.94/21.01 c | 57205 | 2673 15594 54914 | 2147483647 51945 48 | 0.000 % |
21.04/21.14 c | 57418 | 2673 15594 54914 | 2147483647 52158 48 | 0.000 % |
21.25/21.32 c | 57651 | 2673 15594 54914 | 2147483647 52391 48 | 0.000 % |
21.35/21.49 c | 57908 | 2673 15594 54914 | 2147483647 52648 48 | 0.000 % |
21.55/21.67 c | 58190 | 2673 15594 54914 | 2147483647 52930 48 | 0.000 % |
21.75/21.88 c | 58499 | 2673 15594 54914 | 2147483647 53239 48 | 0.000 % |
22.05/22.12 c | 58838 | 2673 15594 54914 | 2147483647 53578 48 | 0.000 % |
22.35/22.46 c | 59210 | 2673 15594 54914 | 2147483647 53950 48 | 0.000 % |
22.65/22.78 c | 59619 | 2673 15594 54914 | 2147483647 54359 48 | 0.000 % |
22.95/23.04 c | 60068 | 2673 15594 54914 | 2147483647 54808 48 | 0.000 % |
23.35/23.42 c | 60562 | 2673 15594 54914 | 2147483647 55302 48 | 0.001 % |
23.65/23.79 c | 61105 | 2673 15594 54914 | 2147483647 55845 48 | 0.000 % |
24.35/24.41 c | 61702 | 2673 15594 54914 | 2147483647 56442 48 | 0.000 % |
25.05/25.19 c | 62358 | 2673 15594 54914 | 2147483647 57098 48 | 0.000 % |
25.55/25.68 c | 63079 | 2673 15594 54914 | 2147483647 57819 48 | 0.000 % |
26.05/26.14 c | 63872 | 2673 15594 54914 | 2147483647 58612 48 | 0.000 % |
26.14/26.22 c | 63972 | 2673 15594 54914 | 2147483647 58712 48 | 0.000 % |
26.14/26.26 c | 64082 | 2673 15594 54914 | 2147483647 58822 48 | 0.001 % |
26.35/26.40 c | 64203 | 2673 15594 54914 | 2147483647 58943 48 | 0.000 % |
26.44/26.54 c | 64336 | 2673 15594 54914 | 2147483647 59076 48 | 0.000 % |
26.64/26.71 c | 64483 | 2673 15594 54914 | 2147483647 59223 48 | 0.000 % |
26.74/26.85 c | 64646 | 2673 15594 54914 | 2147483647 59386 48 | 0.000 % |
26.94/27.05 c | 64823 | 2673 15594 54914 | 2147483647 59563 48 | 0.000 % |
27.24/27.30 c | 65017 | 2673 15594 54914 | 2147483647 59757 48 | 0.000 % |
27.44/27.50 c | 65229 | 2673 15594 54914 | 2147483647 59969 48 | 0.000 % |
27.54/27.69 c | 65463 | 2673 15594 54914 | 2147483647 60203 48 | 0.000 % |
27.74/27.85 c | 65720 | 2673 15594 54914 | 2147483647 60460 48 | 0.000 % |
28.04/28.14 c | 66002 | 2673 15594 54914 | 2147483647 60742 48 | 0.000 % |
28.34/28.43 c | 66312 | 2673 15594 54914 | 2147483647 61052 48 | 0.001 % |
28.64/28.77 c | 66651 | 2673 15594 54914 | 2147483647 61391 48 | 0.000 % |
29.04/29.10 c | 67023 | 2673 15594 54914 | 2147483647 61763 48 | 0.000 % |
29.25/29.32 c | 67434 | 2673 15594 54914 | 2147483647 62174 48 | 0.000 % |
29.55/29.61 c | 67883 | 2673 15594 54914 | 2147483647 62623 48 | 0.000 % |
29.95/30.07 c | 68376 | 2673 15594 54914 | 2147483647 63116 48 | 0.000 % |
30.35/30.44 c | 68918 | 2673 15594 54914 | 2147483647 63658 48 | 0.000 % |
30.95/31.00 c | 69516 | 2673 15594 54914 | 2147483647 64256 48 | 0.000 % |
31.55/31.64 c | 70171 | 2673 15594 54914 | 2147483647 64911 48 | 0.000 % |
32.34/32.44 c | 70891 | 2673 15594 54914 | 2147483647 65631 48 | 0.000 % |
32.85/32.94 c | 71683 | 2673 15594 54914 | 2147483647 66423 48 | 0.000 % |
33.44/33.55 c | 72554 | 2673 15594 54914 | 2147483647 67294 48 | 0.000 % |
33.54/33.63 c | 72656 | 2673 15594 54914 | 2147483647 67396 48 | 0.000 % |
33.64/33.75 c | 72766 | 2673 15594 54914 | 2147483647 67506 48 | 0.000 % |
33.74/33.86 c | 72887 | 2673 15594 54914 | 2147483647 67627 48 | 0.000 % |
33.84/33.92 c | 73022 | 2673 15594 54914 | 2147483647 67762 48 | 0.000 % |
33.95/34.07 c | 73168 | 2673 15594 54914 | 2147483647 67908 48 | 0.000 % |
34.14/34.27 c | 73330 | 2673 15594 54914 | 2147483647 68070 48 | 0.000 % |
34.44/34.51 c | 73506 | 2673 15594 54914 | 2147483647 68246 48 | 0.000 % |
34.54/34.68 c | 73699 | 2673 15594 54914 | 2147483647 68439 48 | 0.000 % |
34.74/34.89 c | 73911 | 2673 15594 54914 | 2147483647 68651 48 | 0.000 % |
35.05/35.11 c | 74147 | 2673 15594 54914 | 2147483647 68887 48 | 0.000 % |
35.24/35.38 c | 74403 | 2673 15594 54914 | 2147483647 69143 48 | 0.000 % |
35.64/35.73 c | 74684 | 2673 15594 54914 | 2147483647 69424 48 | 0.000 % |
35.84/35.91 c | 74995 | 2673 15594 54914 | 2147483647 69735 48 | 0.000 % |
35.94/36.01 c | 75334 | 2673 15594 54914 | 2147483647 70074 48 | 0.000 % |
36.04/36.12 c | 75707 | 2673 15594 54914 | 2147483647 70447 48 | 0.000 % |
36.15/36.24 c | 76116 | 2673 15594 54914 | 2147483647 70856 48 | 0.000 % |
36.64/36.71 c | 76566 | 2673 15594 54914 | 2147483647 71306 48 | 0.000 % |
37.14/37.29 c | 77059 | 2673 15594 54914 | 2147483647 71799 48 | 0.000 % |
37.74/37.84 c | 77601 | 2673 15594 54914 | 2147483647 72341 48 | 0.000 % |
38.04/38.15 c | 78198 | 2673 15594 54914 | 2147483647 72938 48 | 0.000 % |
38.74/38.83 c | 78854 | 2673 15594 54914 | 2147483647 73594 48 | 0.000 % |
39.34/39.46 c | 79574 | 2673 15594 54914 | 2147483647 74314 48 | 0.000 % |
40.14/40.26 c | 80366 | 2673 15594 54914 | 2147483647 75106 48 | 0.000 % |
41.54/41.62 c | 81238 | 2673 15594 54914 | 2147483647 75978 47 | 0.000 % |
42.34/42.45 c | 82196 | 2673 15594 54914 | 2147483647 76936 47 | 0.000 % |
42.43/42.51 c | 82296 | 2673 15594 54914 | 2147483647 77036 47 | 0.000 % |
42.53/42.64 c | 82406 | 2673 15594 54914 | 2147483647 77146 47 | 0.000 % |
42.63/42.79 c | 82528 | 2673 15594 54914 | 2147483647 77268 47 | 0.000 % |
42.84/42.93 c | 82661 | 2673 15594 54914 | 2147483647 77401 47 | 0.000 % |
42.93/43.03 c | 82807 | 2673 15594 54914 | 2147483647 77547 47 | 0.000 % |
43.03/43.15 c | 82967 | 2673 15594 54914 | 2147483647 77707 47 | 0.000 % |
43.23/43.34 c | 83144 | 2673 15594 54914 | 2147483647 77884 47 | 0.000 % |
43.43/43.51 c | 83338 | 2673 15594 54914 | 2147483647 78078 47 | 0.000 % |
43.63/43.71 c | 83550 | 2673 15594 54914 | 2147483647 78290 47 | 0.000 % |
43.94/44.02 c | 83783 | 2673 15594 54914 | 2147483647 78523 47 | 0.000 % |
44.23/44.32 c | 84041 | 2673 15594 54914 | 2147483647 78781 47 | 0.000 % |
44.63/44.73 c | 84322 | 2673 15594 54914 | 2147483647 79062 47 | 0.000 % |
45.04/45.14 c | 84633 | 2673 15594 54914 | 2147483647 79373 47 | 0.000 % |
45.33/45.44 c | 84972 | 2673 15594 54914 | 2147483647 79712 47 | 0.000 % |
45.73/45.88 c | 85344 | 2673 15594 54914 | 2147483647 80084 47 | 0.000 % |
46.33/46.48 c | 85753 | 2673 15594 54914 | 2147483647 80493 47 | 0.000 % |
46.93/47.00 c | 86202 | 2673 15594 54914 | 2147483647 80942 47 | 0.000 % |
47.03/47.14 c | 86695 | 2673 15594 54914 | 2147483647 81435 47 | 0.000 % |
47.63/47.73 c | 87237 | 2673 15594 54914 | 2147483647 81977 47 | 0.000 % |
48.43/48.59 c | 87834 | 2673 15594 54914 | 2147483647 82574 47 | 0.000 % |
48.83/48.94 c | 88489 | 2673 15594 54914 | 2147483647 83229 47 | 0.000 % |
49.33/49.47 c | 89210 | 2673 15594 54914 | 2147483647 83950 47 | 0.000 % |
49.84/49.94 c | 90002 | 2673 15594 54914 | 84740 84742 47 | 0.000 % |
50.84/50.92 c | 90873 | 2673 15594 54914 | 84740 73858 45 | 0.000 % |
52.04/52.13 c | 91833 | 2673 15594 54914 | 84740 74818 45 | 0.000 % |
53.04/53.11 c | 92886 | 2673 15594 54914 | 84740 75871 45 | 0.000 % |
53.14/53.23 c | 92987 | 2673 15594 54914 | 84740 75972 45 | 0.000 % |
53.24/53.30 c | 93098 | 2673 15594 54914 | 84740 76083 45 | 0.000 % |
53.34/53.41 c | 93220 | 2673 15594 54914 | 84740 76205 45 | 0.000 % |
53.44/53.54 c | 93355 | 2673 15594 54914 | 84740 76340 45 | 0.000 % |
53.54/53.67 c | 93501 | 2673 15594 54914 | 84740 76486 45 | 0.000 % |
53.64/53.76 c | 93661 | 2673 15594 54914 | 84740 76646 45 | 0.000 % |
53.84/53.91 c | 93837 | 2673 15594 54914 | 84740 76822 45 | 0.000 % |
53.94/54.08 c | 94030 | 2673 15594 54914 | 84740 77015 45 | 0.000 % |
54.24/54.38 c | 94243 | 2673 15594 54914 | 84740 77228 45 | 0.000 % |
54.44/54.58 c | 94476 | 2673 15594 54914 | 84740 77461 45 | 0.000 % |
54.74/54.83 c | 94732 | 2673 15594 54914 | 84740 77717 45 | 0.000 % |
54.94/55.08 c | 95014 | 2673 15594 54914 | 84740 77999 45 | 0.000 % |
55.23/55.37 c | 95325 | 2673 15594 54914 | 84740 78310 45 | 0.000 % |
55.63/55.72 c | 95666 | 2673 15594 54914 | 84740 78651 45 | 0.000 % |
56.04/56.12 c | 96039 | 2673 15594 54914 | 84740 79024 45 | 0.000 % |
56.44/56.55 c | 96448 | 2673 15594 54914 | 84740 79433 45 | 0.000 % |
56.83/56.91 c | 96900 | 2673 15594 54914 | 84740 79885 45 | 0.000 % |
57.23/57.33 c | 97393 | 2673 15594 54914 | 84740 80378 45 | 0.000 % |
57.93/58.05 c | 97936 | 2673 15594 54914 | 84740 80921 45 | 0.000 % |
58.33/58.43 c | 98536 | 2673 15594 54914 | 84740 81521 45 | 0.000 % |
59.24/59.36 c | 99192 | 2673 15594 54914 | 84740 82177 45 | 0.000 % |
60.33/60.45 c | 99913 | 2673 15594 54914 | 84740 82898 45 | 0.000 % |
61.23/61.30 c | 100705 | 2673 15594 54914 | 82985 71275 42 | 0.000 % |
61.83/61.93 c | 101577 | 2673 15594 54914 | 82985 72147 42 | 0.000 % |
62.63/62.77 c | 102535 | 2673 15594 54914 | 82985 73105 42 | 0.001 % |
63.63/63.72 c | 103589 | 2673 15594 54914 | 82985 74159 43 | 0.000 % |
64.23/64.38 c | 104751 | 2673 15594 54914 | 82985 75321 42 | 0.000 % |
64.32/64.43 c | 104852 | 2673 15594 54914 | 82985 75422 42 | 0.000 % |
64.42/64.53 c | 104962 | 2673 15594 54914 | 82985 75532 42 | 0.000 % |
64.42/64.59 c | 105085 | 2673 15594 54914 | 82985 75655 42 | 0.000 % |
64.52/64.68 c | 105219 | 2673 15594 54914 | 82985 75789 42 | 0.000 % |
64.73/64.90 c | 105367 | 2673 15594 54914 | 82985 75937 42 | 0.000 % |
64.92/65.08 c | 105528 | 2673 15594 54914 | 82985 76098 42 | 0.000 % |
65.12/65.27 c | 105705 | 2673 15594 54914 | 82985 76275 42 | 0.000 % |
65.42/65.55 c | 105899 | 2673 15594 54914 | 82985 76469 42 | 0.000 % |
65.62/65.79 c | 106111 | 2673 15594 54914 | 82985 76681 43 | 0.000 % |
65.93/66.08 c | 106345 | 2673 15594 54914 | 82985 76915 43 | 0.000 % |
66.32/66.42 c | 106603 | 2673 15594 54914 | 82985 77173 43 | 0.000 % |
66.42/66.53 c | 106884 | 2673 15594 54914 | 82985 77454 43 | 0.000 % |
66.62/66.80 c | 107194 | 2673 15594 54914 | 82985 77764 43 | 0.000 % |
67.02/67.17 c | 107534 | 2673 15594 54914 | 82985 78104 43 | 0.000 % |
67.42/67.55 c | 107906 | 2673 15594 54914 | 82985 78476 43 | 0.000 % |
67.92/68.05 c | 108315 | 2673 15594 54914 | 82985 78885 43 | 0.000 % |
68.42/68.53 c | 108765 | 2673 15594 54914 | 82985 79335 43 | 0.000 % |
68.82/68.94 c | 109259 | 2673 15594 54914 | 82985 79829 43 | 0.000 % |
69.52/69.66 c | 109802 | 2673 15594 54914 | 82985 80372 43 | 0.000 % |
70.22/70.33 c | 110400 | 2673 15594 54914 | 80571 80970 43 | 0.000 % |
71.02/71.16 c | 111056 | 2673 15594 54914 | 80571 70708 41 | 0.000 % |
71.52/71.60 c | 111777 | 2673 15594 54914 | 80571 71429 41 | 0.000 % |
72.42/72.52 c | 112569 | 2673 15594 54914 | 80571 72221 41 | 0.000 % |
72.72/72.85 c | 113440 | 2673 15594 54914 | 80571 73092 41 | 0.000 % |
73.91/74.08 c | 114399 | 2673 15594 54914 | 80571 74051 41 | 0.001 % |
75.01/75.13 c | 115452 | 2673 15594 54914 | 80571 75104 41 | 0.000 % |
76.01/76.18 c | 116611 | 2673 15594 54914 | 80571 76263 41 | 0.000 % |
77.01/77.15 c | 117885 | 2673 15594 54914 | 80571 77537 41 | 0.000 % |
77.11/77.23 c | 117985 | 2673 15594 54914 | 80571 77637 41 | 0.000 % |
77.31/77.41 c | 118095 | 2673 15594 54914 | 80571 77747 41 | 0.000 % |
77.51/77.63 c | 118217 | 2673 15594 54914 | 80571 77869 41 | 0.000 % |
77.61/77.72 c | 118352 | 2673 15594 54914 | 80571 78004 41 | 0.000 % |
77.71/77.83 c | 118499 | 2673 15594 54914 | 80571 78151 41 | 0.000 % |
77.92/78.05 c | 118661 | 2673 15594 54914 | 80571 78313 41 | 0.000 % |
78.21/78.32 c | 118838 | 2673 15594 54914 | 80571 78490 41 | 0.000 % |
78.51/78.65 c | 119031 | 2673 15594 54914 | 80571 78683 41 | 0.001 % |
78.81/78.90 c | 119243 | 2673 15594 54914 | 80571 78895 41 | 0.000 % |
78.91/79.05 c | 119478 | 2673 15594 54914 | 80571 79130 41 | 0.000 % |
79.21/79.31 c | 119734 | 2673 15594 54914 | 80571 79386 41 | 0.000 % |
79.41/79.54 c | 120015 | 2673 15594 54914 | 79652 79667 41 | 0.000 % |
79.91/80.04 c | 120324 | 2673 15594 54914 | 79652 70015 39 | 0.000 % |
80.31/80.44 c | 120663 | 2673 15594 54914 | 79652 70354 39 | 0.000 % |
80.71/80.80 c | 121035 | 2673 15594 54914 | 79652 70726 39 | 0.000 % |
81.11/81.26 c | 121445 | 2673 15594 54914 | 79652 71136 39 | 0.000 % |
81.51/81.69 c | 121894 | 2673 15594 54914 | 79652 71585 39 | 0.000 % |
82.01/82.17 c | 122388 | 2673 15594 54914 | 79652 72079 39 | 0.000 % |
82.21/82.39 c | 122934 | 2673 15594 54914 | 79652 72625 39 | 0.000 % |
82.61/82.74 c | 123530 | 2673 15594 54914 | 79652 73221 39 | 0.000 % |
83.21/83.33 c | 124189 | 2673 15594 54914 | 79652 73880 39 | 0.000 % |
83.91/84.06 c | 124911 | 2673 15594 54914 | 79652 74602 39 | 0.000 % |
84.71/84.81 c | 125703 | 2673 15594 54914 | 79652 75394 39 | 0.000 % |
85.51/85.60 c | 126575 | 2673 15594 54914 | 79652 76266 40 | 0.000 % |
86.41/86.52 c | 127533 | 2673 15594 54914 | 79652 77224 40 | 0.001 % |
87.71/87.82 c | 128586 | 2673 15594 54914 | 79652 78277 40 | 0.000 % |
88.81/88.91 c | 129744 | 2673 15594 54914 | 79652 79435 40 | 0.000 % |
90.01/90.18 c | 131017 | 2673 15594 54914 | 79691 70349 39 | 0.000 % |
91.71/91.90 c | 132417 | 2673 15594 54914 | 79691 71749 39 | 0.000 % |
91.81/91.97 c | 132521 | 2673 15594 54914 | 79691 71853 39 | 0.000 % |
92.01/92.14 c | 132631 | 2673 15594 54914 | 79691 71963 39 | 0.000 % |
92.11/92.27 c | 132754 | 2673 15594 54914 | 79691 72086 39 | 0.000 % |
92.31/92.43 c | 132888 | 2673 15594 54914 | 79691 72220 39 | 0.000 % |
92.50/92.63 c | 133034 | 2673 15594 54914 | 79691 72366 39 | 0.000 % |
92.60/92.78 c | 133195 | 2673 15594 54914 | 79691 72527 39 | 0.000 % |
92.90/93.04 c | 133372 | 2673 15594 54914 | 79691 72704 39 | 0.001 % |
93.20/93.34 c | 133565 | 2673 15594 54914 | 79691 72897 39 | 0.000 % |
93.41/93.56 c | 133777 | 2673 15594 54914 | 79691 73109 39 | 0.000 % |
93.60/93.78 c | 134010 | 2673 15594 54914 | 79691 73342 39 | 0.000 % |
93.90/94.01 c | 134267 | 2673 15594 54914 | 79691 73599 39 | 0.000 % |
94.20/94.36 c | 134549 | 2673 15594 54914 | 79691 73881 39 | 0.000 % |
94.51/94.60 c | 134860 | 2673 15594 54914 | 79691 74192 39 | 0.000 % |
94.80/94.98 c | 135199 | 2673 15594 54914 | 79691 74531 39 | 0.000 % |
95.10/95.28 c | 135571 | 2673 15594 54914 | 79691 74903 39 | 0.000 % |
95.61/95.74 c | 135982 | 2673 15594 54914 | 79691 75314 39 | 0.000 % |
96.00/96.12 c | 136431 | 2673 15594 54914 | 79691 75763 39 | 0.000 % |
96.50/96.63 c | 136925 | 2673 15594 54914 | 79691 76257 39 | 0.000 % |
97.00/97.10 c | 137468 | 2673 15594 54914 | 79691 76800 40 | 0.000 % |
97.30/97.46 c | 138064 | 2673 15594 54914 | 79691 77396 40 | 0.000 % |
98.30/98.40 c | 138719 | 2673 15594 54914 | 79691 78051 40 | 0.001 % |
99.40/99.55 c | 139439 | 2673 15594 54914 | 79691 78771 40 | 0.001 % |
100.40/100.56 c | 140231 | 2673 15594 54914 | 79332 79563 40 | 0.000 % |
101.30/101.46 c | 141102 | 2673 15594 54914 | 79332 69979 39 | 0.000 % |
102.20/102.30 c | 142060 | 2673 15594 54914 | 79332 70937 39 | 0.000 % |
103.20/103.38 c | 143114 | 2673 15594 54914 | 79332 71991 39 | 0.000 % |
104.20/104.37 c | 144272 | 2673 15594 54914 | 79332 73149 39 | 0.000 % |
105.50/105.62 c | 145545 | 2673 15594 54914 | 79332 74422 39 | 0.000 % |
106.49/106.65 c | 146946 | 2673 15594 54914 | 79332 75823 40 | 0.000 % |
107.59/107.80 c | 148487 | 2673 15594 54914 | 79332 77364 40 | 0.001 % |
107.79/107.94 c | 148587 | 2673 15594 54914 | 79332 77464 40 | 0.000 % |
107.89/108.04 c | 148697 | 2673 15594 54914 | 79332 77574 40 | 0.000 % |
108.09/108.20 c | 148818 | 2673 15594 54914 | 79332 77695 40 | 0.000 % |
108.19/108.33 c | 148951 | 2673 15594 54914 | 79332 77828 40 | 0.000 % |
108.29/108.43 c | 149097 | 2673 15594 54914 | 79332 77974 40 | 0.000 % |
108.39/108.57 c | 149259 | 2673 15594 54914 | 79332 78136 40 | 0.001 % |
108.59/108.72 c | 149435 | 2673 15594 54914 | 79332 78312 41 | 0.000 % |
108.69/108.82 c | 149629 | 2673 15594 54914 | 79332 78506 40 | 0.000 % |
108.89/109.04 c | 149843 | 2673 15594 54914 | 79332 78720 40 | 0.000 % |
109.09/109.28 c | 150077 | 2673 15594 54914 | 78880 78954 40 | 0.000 % |
109.49/109.64 c | 150334 | 2673 15594 54914 | 78880 69749 39 | 0.001 % |
109.69/109.86 c | 150616 | 2673 15594 54914 | 78880 70031 39 | 0.000 % |
109.89/110.07 c | 150927 | 2673 15594 54914 | 78880 70342 39 | 0.000 % |
110.19/110.32 c | 151269 | 2673 15594 54914 | 78880 70684 39 | 0.000 % |
110.49/110.66 c | 151643 | 2673 15594 54914 | 78880 71058 39 | 0.000 % |
110.79/110.95 c | 152052 | 2673 15594 54914 | 78880 71467 39 | 0.000 % |
111.19/111.36 c | 152501 | 2673 15594 54914 | 78880 71916 39 | 0.001 % |
111.59/111.73 c | 152994 | 2673 15594 54914 | 78880 72409 39 | 0.000 % |
111.99/112.13 c | 153536 | 2673 15594 54914 | 78880 72951 39 | 0.000 % |
112.69/112.87 c | 154133 | 2673 15594 54914 | 78880 73548 40 | 0.000 % |
113.29/113.49 c | 154788 | 2673 15594 54914 | 78880 74203 40 | 0.000 % |
114.09/114.24 c | 155511 | 2673 15594 54914 | 78880 74926 40 | 0.000 % |
115.09/115.25 c | 156303 | 2673 15594 54914 | 78880 75718 40 | 0.000 % |
115.89/116.09 c | 157174 | 2673 15594 54914 | 78880 76589 40 | 0.000 % |
116.79/116.95 c | 158132 | 2673 15594 54914 | 78880 77547 40 | 0.000 % |
117.69/117.87 c | 159187 | 2673 15594 54914 | 78880 78602 40 | 0.000 % |
118.98/119.15 c | 160345 | 2673 15594 54914 | 79415 79760 40 | 0.000 % |
119.98/120.15 c | 161619 | 2673 15594 54914 | 79415 71386 38 | 0.000 % |
121.08/121.26 c | 163020 | 2673 15594 54914 | 79415 72787 38 | 0.000 % |
122.38/122.57 c | 164560 | 2673 15594 54914 | 79415 74327 38 | 0.001 % |
124.09/124.21 c | 166254 | 2673 15594 54914 | 79415 76021 39 | 0.000 % |
124.19/124.33 c | 166355 | 2673 15594 54914 | 79415 76122 39 | 0.000 % |
124.28/124.46 c | 166466 | 2673 15594 54914 | 79415 76233 39 | 0.000 % |
124.48/124.60 c | 166588 | 2673 15594 54914 | 79415 76355 39 | 0.000 % |
124.68/124.81 c | 166722 | 2673 15594 54914 | 79415 76489 39 | 0.000 % |
124.88/125.00 c | 166871 | 2673 15594 54914 | 79415 76638 39 | 0.000 % |
124.88/125.09 c | 167032 | 2673 15594 54914 | 79415 76799 39 | 0.000 % |
125.08/125.28 c | 167208 | 2673 15594 54914 | 79415 76975 39 | 0.000 % |
125.18/125.36 c | 167401 | 2673 15594 54914 | 79415 77168 39 | 0.000 % |
125.38/125.57 c | 167613 | 2673 15594 54914 | 79415 77380 39 | 0.000 % |
125.58/125.72 c | 167847 | 2673 15594 54914 | 79415 77614 39 | 0.000 % |
125.78/125.93 c | 168104 | 2673 15594 54914 | 79415 77871 39 | 0.000 % |
125.98/126.12 c | 168387 | 2673 15594 54914 | 79415 78154 39 | 0.000 % |
126.08/126.27 c | 168697 | 2673 15594 54914 | 79415 78464 39 | 0.000 % |
126.18/126.35 c | 169036 | 2673 15594 54914 | 79415 78803 39 | 0.000 % |
126.68/126.84 c | 169408 | 2673 15594 54914 | 79415 79175 39 | 0.000 % |
127.08/127.28 c | 169818 | 2673 15594 54914 | 79415 79585 39 | 0.000 % |
127.48/127.65 c | 170267 | 2673 15594 54914 | 69420 60831 36 | 0.000 % |
127.88/128.03 c | 170761 | 2673 15594 54914 | 69420 61325 36 | 0.000 % |
128.28/128.46 c | 171306 | 2673 15594 54914 | 69420 61870 36 | 0.000 % |
128.38/128.59 c | 171902 | 2673 15594 54914 | 69420 62466 36 | 0.000 % |
129.08/129.27 c | 172557 | 2673 15594 54914 | 69420 63121 37 | 0.000 % |
129.58/129.72 c | 173279 | 2673 15594 54914 | 69420 63843 37 | 0.001 % |
129.98/130.16 c | 174072 | 2673 15594 54914 | 69420 64636 37 | 0.000 % |
131.08/131.28 c | 174944 | 2673 15594 54914 | 69420 65508 37 | 0.000 % |
131.88/132.09 c | 175902 | 2673 15594 54914 | 69420 66466 37 | 0.000 % |
132.88/133.08 c | 176955 | 2673 15594 54914 | 69420 67519 38 | 0.000 % |
133.67/133.84 c | 178115 | 2673 15594 54914 | 69420 68679 38 | 0.000 % |
134.97/135.13 c | 179388 | 2673 15594 54914 | 69420 62990 36 | 0.000 % |
136.47/136.69 c | 180788 | 2673 15594 54914 | 2147483647 64390 36 | 0.000 % |
137.77/137.95 c | 182328 | 2673 15594 54914 | 2147483647 65930 37 | 0.000 % |
139.17/139.39 c | 184024 | 2673 15594 54914 | 2147483647 67626 37 | 0.000 % |
140.58/140.72 c | 185887 | 2673 15594 54914 | 2147483647 69489 37 | 0.001 % |
140.58/140.78 c | 185991 | 2673 15594 54914 | 2147483647 69593 37 | 0.000 % |
140.67/140.89 c | 186101 | 2673 15594 54914 | 2147483647 69703 37 | 0.000 % |
140.87/141.00 c | 186222 | 2673 15594 54914 | 2147483647 69824 37 | 0.000 % |
140.97/141.13 c | 186355 | 2673 15594 54914 | 2147483647 69957 37 | 0.000 % |
141.17/141.32 c | 186501 | 2673 15594 54914 | 2147483647 70103 37 | 0.000 % |
141.37/141.52 c | 186661 | 2673 15594 54914 | 2147483647 70263 37 | 0.001 % |
141.47/141.62 c | 186838 | 2673 15594 54914 | 2147483647 70440 37 | 0.000 % |
141.77/141.90 c | 187031 | 2673 15594 54914 | 2147483647 70633 37 | 0.000 % |
141.97/142.14 c | 187244 | 2673 15594 54914 | 2147483647 70846 37 | 0.000 % |
142.27/142.49 c | 187477 | 2673 15594 54914 | 2147483647 71079 37 | 0.000 % |
142.67/142.87 c | 187733 | 2673 15594 54914 | 2147483647 71335 37 | 0.000 % |
142.97/143.18 c | 188015 | 2673 15594 54914 | 2147483647 71617 37 | 0.000 % |
143.17/143.35 c | 188325 | 2673 15594 54914 | 2147483647 71927 37 | 0.000 % |
143.37/143.58 c | 188664 | 2673 15594 54914 | 2147483647 72266 37 | 0.000 % |
143.97/144.12 c | 189036 | 2673 15594 54914 | 2147483647 72638 38 | 0.000 % |
144.37/144.50 c | 189445 | 2673 15594 54914 | 2147483647 73047 38 | 0.001 % |
144.57/144.77 c | 189894 | 2673 15594 54914 | 2147483647 73496 38 | 0.000 % |
144.97/145.20 c | 190387 | 2673 15594 54914 | 2147483647 73989 38 | 0.000 % |
145.57/145.78 c | 190929 | 2673 15594 54914 | 2147483647 74531 38 | 0.000 % |
146.27/146.44 c | 191525 | 2673 15594 54914 | 2147483647 75127 38 | 0.001 % |
146.87/147.08 c | 192181 | 2673 15594 54914 | 2147483647 75783 38 | 0.000 % |
147.67/147.88 c | 192902 | 2673 15594 54914 | 2147483647 76504 38 | 0.000 % |
148.77/148.92 c | 193695 | 2673 15594 54914 | 2147483647 77297 39 | 0.001 % |
149.57/149.79 c | 194566 | 2673 15594 54914 | 2147483647 78168 39 | 0.000 % |
150.36/150.57 c | 195524 | 2673 15594 54914 | 2147483647 79126 39 | 0.000 % |
151.46/151.67 c | 196577 | 2673 15594 54914 | 2147483647 80179 39 | 0.001 % |
152.56/152.76 c | 197736 | 2673 15594 54914 | 2147483647 81338 39 | 0.000 % |
154.16/154.38 c | 199009 | 2673 15594 54914 | 2147483647 82611 39 | 0.000 % |
156.06/156.20 c | 200409 | 2673 15594 54914 | 83603 84011 40 | 0.001 % |
158.16/158.40 c | 201949 | 2673 15594 54914 | 83603 74160 38 | 0.000 % |
160.25/160.49 c | 203645 | 2673 15594 54914 | 83603 75856 38 | 0.000 % |
161.95/162.11 c | 205508 | 2673 15594 54914 | 83603 77719 38 | 0.001 % |
165.25/165.47 c | 207558 | 2673 15594 54914 | 83603 79769 38 | 0.000 % |
165.35/165.57 c | 207658 | 2673 15594 54914 | 83603 79869 38 | 0.000 % |
165.55/165.75 c | 207769 | 2673 15594 54914 | 83603 79980 38 | 0.000 % |
165.66/165.87 c | 207891 | 2673 15594 54914 | 83603 80102 38 | 0.000 % |
165.86/166.04 c | 208025 | 2673 15594 54914 | 83603 80236 38 | 0.000 % |
165.96/166.18 c | 208171 | 2673 15594 54914 | 83603 80382 38 | 0.000 % |
166.06/166.26 c | 208331 | 2673 15594 54914 | 83603 80542 38 | 0.000 % |
166.26/166.45 c | 208508 | 2673 15594 54914 | 83603 80719 38 | 0.000 % |
166.46/166.60 c | 208702 | 2673 15594 54914 | 83603 80913 38 | 0.000 % |
166.76/166.92 c | 208914 | 2673 15594 54914 | 83603 81125 38 | 0.000 % |
166.96/167.14 c | 209148 | 2673 15594 54914 | 83603 81359 38 | 0.000 % |
167.16/167.38 c | 209405 | 2673 15594 54914 | 83603 81616 38 | 0.000 % |
167.46/167.61 c | 209687 | 2673 15594 54914 | 83603 81898 38 | 0.000 % |
167.86/168.01 c | 209996 | 2673 15594 54914 | 83603 82207 38 | 0.000 % |
168.26/168.45 c | 210337 | 2673 15594 54914 | 82211 82548 38 | 0.000 % |
168.76/168.93 c | 210709 | 2673 15594 54914 | 82211 71795 36 | 0.000 % |
169.06/169.24 c | 211120 | 2673 15594 54914 | 82211 72206 36 | 0.000 % |
169.26/169.45 c | 211570 | 2673 15594 54914 | 82211 72656 36 | 0.000 % |
169.66/169.87 c | 212064 | 2673 15594 54914 | 82211 73150 36 | 0.000 % |
170.26/170.45 c | 212606 | 2673 15594 54914 | 82211 73692 36 | 0.001 % |
170.96/171.19 c | 213203 | 2673 15594 54914 | 82211 74289 37 | 0.000 % |
171.65/171.87 c | 213859 | 2673 15594 54914 | 82211 74945 37 | 0.000 % |
172.15/172.37 c | 214580 | 2673 15594 54914 | 82211 75666 37 | 0.000 % |
173.16/173.40 c | 215372 | 2673 15594 54914 | 82211 76458 37 | 0.000 % |
174.35/174.55 c | 216243 | 2673 15594 54914 | 82211 77329 37 | 0.000 % |
175.45/175.65 c | 217202 | 2673 15594 54914 | 82211 78288 37 | 0.000 % |
176.55/176.75 c | 218255 | 2673 15594 54914 | 82211 79341 37 | 0.000 % |
177.85/178.05 c | 219413 | 2673 15594 54914 | 82211 80499 37 | 0.000 % |
179.35/179.52 c | 220686 | 2673 15594 54914 | 81087 81772 38 | 0.000 % |
180.85/181.04 c | 222086 | 2673 15594 54914 | 81087 72917 36 | 0.000 % |
182.46/182.69 c | 223626 | 2673 15594 54914 | 81087 74457 36 | 0.001 % |
184.35/184.56 c | 225320 | 2673 15594 54914 | 81087 76151 37 | 0.000 % |
186.45/186.62 c | 227187 | 2673 15594 54914 | 81087 78018 37 | 0.000 % |
189.05/189.26 c | 229240 | 2673 15594 54914 | 81087 80071 37 | 0.000 % |
192.35/192.59 c | 231494 | 2673 15594 54914 | 80832 71383 36 | 0.000 % |
192.55/192.71 c | 231594 | 2673 15594 54914 | 80832 71483 36 | 0.000 % |
192.65/192.90 c | 231704 | 2673 15594 54914 | 80832 71593 36 | 0.001 % |
192.85/193.03 c | 231825 | 2673 15594 54914 | 80832 71714 36 | 0.000 % |
192.95/193.14 c | 231960 | 2673 15594 54914 | 80832 71849 36 | 0.000 % |
193.05/193.25 c | 232106 | 2673 15594 54914 | 80832 71995 36 | 0.000 % |
193.25/193.45 c | 232270 | 2673 15594 54914 | 80832 72159 36 | 0.000 % |
193.45/193.66 c | 232447 | 2673 15594 54914 | 80832 72336 37 | 0.000 % |
193.75/193.95 c | 232640 | 2673 15594 54914 | 80832 72529 37 | 0.000 % |
193.94/194.19 c | 232853 | 2673 15594 54914 | 80832 72742 37 | 0.000 % |
194.24/194.46 c | 233086 | 2673 15594 54914 | 80832 72975 37 | 0.000 % |
194.55/194.77 c | 233342 | 2673 15594 54914 | 80832 73231 37 | 0.001 % |
194.74/194.99 c | 233623 | 2673 15594 54914 | 80832 73512 37 | 0.000 % |
195.14/195.38 c | 233933 | 2673 15594 54914 | 80832 73822 37 | 0.000 % |
195.64/195.84 c | 234275 | 2673 15594 54914 | 80832 74164 37 | 0.000 % |
196.04/196.21 c | 234649 | 2673 15594 54914 | 80832 74538 37 | 0.000 % |
196.34/196.58 c | 235059 | 2673 15594 54914 | 80832 74948 37 | 0.000 % |
196.94/197.14 c | 235508 | 2673 15594 54914 | 80832 75397 37 | 0.001 % |
197.34/197.57 c | 236002 | 2673 15594 54914 | 80832 75891 37 | 0.001 % |
197.93/198.13 c | 236544 | 2673 15594 54914 | 80832 76433 37 | 0.000 % |
198.54/198.78 c | 237142 | 2673 15594 54914 | 80832 77031 37 | 0.001 % |
199.23/199.48 c | 237800 | 2673 15594 54914 | 80832 77689 37 | 0.000 % |
200.13/200.38 c | 238521 | 2673 15594 54914 | 80832 78410 38 | 0.000 % |
200.93/201.12 c | 239313 | 2673 15594 54914 | 80832 79202 37 | 0.000 % |
202.33/202.51 c | 240186 | 2673 15594 54914 | 79889 69134 35 | 0.000 % |
203.43/203.66 c | 241146 | 2673 15594 54914 | 79889 70094 35 | 0.000 % |
203.93/204.15 c | 242199 | 2673 15594 54914 | 79889 71147 35 | 0.000 % |
205.33/205.56 c | 243357 | 2673 15594 54914 | 79889 72305 35 | 0.000 % |
206.53/206.80 c | 244630 | 2673 15594 54914 | 79889 73578 35 | 0.000 % |
208.13/208.38 c | 246031 | 2673 15594 54914 | 79889 74979 35 | 0.000 % |
210.23/210.47 c | 247574 | 2673 15594 54914 | 79889 76522 36 | 0.001 % |
212.43/212.62 c | 249270 | 2673 15594 54914 | 79889 78218 36 | 0.000 % |
214.13/214.34 c | 251133 | 2673 15594 54914 | 78948 70844 34 | 0.000 % |
216.93/217.16 c | 253182 | 2673 15594 54914 | 78948 72893 34 | 0.000 % |
219.42/219.60 c | 255437 | 2673 15594 54914 | 78948 75148 34 | 0.000 % |
222.32/222.55 c | 257915 | 2673 15594 54914 | 78948 77626 35 | 0.000 % |
222.52/222.75 c | 258015 | 2673 15594 54914 | 78948 77726 35 | 0.000 % |
222.62/222.86 c | 258126 | 2673 15594 54914 | 78948 77837 35 | 0.000 % |
222.72/222.95 c | 258248 | 2673 15594 54914 | 78948 77959 35 | 0.001 % |
222.82/223.07 c | 258384 | 2673 15594 54914 | 78948 78095 35 | 0.000 % |
223.03/223.22 c | 258531 | 2673 15594 54914 | 78948 78242 35 | 0.000 % |
223.22/223.41 c | 258691 | 2673 15594 54914 | 78948 78402 35 | 0.001 % |
223.42/223.61 c | 258868 | 2673 15594 54914 | 78948 78579 35 | 0.000 % |
223.52/223.76 c | 259061 | 2673 15594 54914 | 78948 78772 35 | 0.000 % |
223.72/223.93 c | 259273 | 2673 15594 54914 | 78948 78984 35 | 0.000 % |
224.02/224.24 c | 259506 | 2673 15594 54914 | 78948 70568 34 | 0.001 % |
224.32/224.55 c | 259762 | 2673 15594 54914 | 78948 70824 34 | 0.000 % |
224.52/224.77 c | 260043 | 2673 15594 54914 | 71066 71105 34 | 0.000 % |
224.92/225.16 c | 260353 | 2673 15594 54914 | 71066 63648 33 | 0.000 % |
225.42/225.68 c | 260692 | 2673 15594 54914 | 71066 63987 33 | 0.000 % |
225.82/226.03 c | 261064 | 2673 15594 54914 | 71066 64359 33 | 0.000 % |
226.12/226.33 c | 261474 | 2673 15594 54914 | 71066 64769 33 | 0.001 % |
226.62/226.85 c | 261923 | 2673 15594 54914 | 71066 65218 33 | 0.000 % |
227.02/227.24 c | 262417 | 2673 15594 54914 | 71066 65712 33 | 0.000 % |
227.43/227.69 c | 262959 | 2673 15594 54914 | 71066 66254 34 | 0.000 % |
227.82/228.09 c | 263556 | 2673 15594 54914 | 71066 66851 34 | 0.000 % |
228.63/228.89 c | 264212 | 2673 15594 54914 | 71066 67507 34 | 0.000 % |
228.92/229.11 c | 264935 | 2673 15594 54914 | 71066 68230 34 | 0.000 % |
229.42/229.62 c | 265727 | 2673 15594 54914 | 71066 69022 34 | 0.000 % |
230.12/230.34 c | 266599 | 2673 15594 54914 | 71066 69894 34 | 0.000 % |
231.32/231.58 c | 267557 | 2673 15594 54914 | 71066 70852 34 | 0.000 % |
232.22/232.43 c | 268610 | 2673 15594 54914 | 71066 64373 32 | 0.000 % |
233.32/233.56 c | 269770 | 2673 15594 54914 | 71066 65533 32 | 0.000 % |
234.42/234.66 c | 271043 | 2673 15594 54914 | 2147483647 66806 32 | 0.000 % |
236.11/236.35 c | 272443 | 2673 15594 54914 | 2147483647 68206 33 | 0.000 % |
237.91/238.12 c | 273983 | 2673 15594 54914 | 2147483647 69746 33 | 0.000 % |
239.31/239.52 c | 275678 | 2673 15594 54914 | 2147483647 71441 33 | 0.000 % |
241.01/241.30 c | 277541 | 2673 15594 54914 | 2147483647 73304 33 | 0.000 % |
242.71/242.96 c | 279590 | 2673 15594 54914 | 2147483647 75353 34 | 0.000 % |
244.91/245.10 c | 281844 | 2673 15594 54914 | 75764 68086 33 | 0.000 % |
247.80/248.02 c | 284322 | 2673 15594 54914 | 75764 70564 34 | 0.000 % |
250.51/250.74 c | 287048 | 2673 15594 54914 | 75764 73290 34 | 0.000 % |
250.61/250.81 c | 287148 | 2673 15594 54914 | 75764 73390 34 | 0.001 % |
250.61/250.87 c | 287260 | 2673 15594 54914 | 75764 73502 34 | 0.000 % |
250.70/250.97 c | 287381 | 2673 15594 54914 | 75764 73623 34 | 0.000 % |
250.90/251.12 c | 287514 | 2673 15594 54914 | 75764 73756 34 | 0.000 % |
251.10/251.34 c | 287662 | 2673 15594 54914 | 75764 73904 34 | 0.000 % |
251.30/251.54 c | 287823 | 2673 15594 54914 | 75764 74065 34 | 0.000 % |
251.50/251.75 c | 287999 | 2673 15594 54914 | 75764 74241 35 | 0.000 % |
251.61/251.89 c | 288193 | 2673 15594 54914 | 75764 74435 35 | 0.000 % |
252.00/252.24 c | 288406 | 2673 15594 54914 | 75764 74648 35 | 0.000 % |
252.30/252.51 c | 288640 | 2673 15594 54914 | 75764 74882 35 | 0.000 % |
252.50/252.75 c | 288896 | 2673 15594 54914 | 75764 75138 35 | 0.000 % |
252.90/253.17 c | 289178 | 2673 15594 54914 | 75764 75420 35 | 0.000 % |
253.20/253.48 c | 289487 | 2673 15594 54914 | 75764 75729 35 | 0.000 % |
253.60/253.83 c | 289826 | 2673 15594 54914 | 75764 76068 35 | 0.000 % |
254.10/254.33 c | 290198 | 2673 15594 54914 | 68043 68240 34 | 0.000 % |
254.70/254.92 c | 290607 | 2673 15594 54914 | 68043 61465 33 | 0.000 % |
254.80/255.10 c | 291056 | 2673 15594 54914 | 68043 61914 33 | 0.000 % |
255.30/255.59 c | 291550 | 2673 15594 54914 | 68043 62408 33 | 0.000 % |
255.80/256.04 c | 292092 | 2673 15594 54914 | 68043 62950 33 | 0.000 % |
256.20/256.49 c | 292688 | 2673 15594 54914 | 68043 63546 34 | 0.000 % |
256.80/257.08 c | 293343 | 2673 15594 54914 | 68043 64201 34 | 0.000 % |
257.50/257.77 c | 294064 | 2673 15594 54914 | 68043 64922 34 | 0.000 % |
258.20/258.45 c | 294856 | 2673 15594 54914 | 68043 65714 35 | 0.000 % |
259.30/259.51 c | 295728 | 2673 15594 54914 | 68043 66586 35 | 0.000 % |
260.50/260.72 c | 296687 | 2673 15594 54914 | 68043 67545 35 | 0.000 % |
261.90/262.12 c | 297740 | 2673 15594 54914 | 68043 61774 34 | 0.000 % |
262.60/262.83 c | 298898 | 2673 15594 54914 | 68043 62932 34 | 0.000 % |
263.80/264.00 c | 300173 | 2673 15594 54914 | 2147483647 64207 34 | 0.000 % |
265.30/265.53 c | 301574 | 2673 15594 54914 | 2147483647 65608 35 | 0.000 % |
266.49/266.79 c | 303114 | 2673 15594 54914 | 2147483647 67148 35 | 0.001 % |
268.20/268.49 c | 304808 | 2673 15594 54914 | 2147483647 68842 35 | 0.000 % |
270.09/270.36 c | 306671 | 2673 15594 54914 | 2147483647 70705 36 | 0.000 % |
272.29/272.57 c | 308721 | 2673 15594 54914 | 2147483647 72755 36 | 0.000 % |
275.09/275.40 c | 310975 | 2673 15594 54914 | 2147483647 75009 36 | 0.000 % |
278.09/278.36 c | 313454 | 2673 15594 54914 | 2147483647 77488 36 | 0.000 % |
282.09/282.39 c | 316179 | 2673 15594 54914 | 2147483647 80213 37 | 0.000 % |
285.88/286.11 c | 319176 | 2673 15594 54914 | 2147483647 83210 37 | 0.000 % |
285.98/286.22 c | 319276 | 2673 15594 54914 | 2147483647 83310 37 | 0.000 % |
286.08/286.34 c | 319387 | 2673 15594 54914 | 2147483647 83421 37 | 0.000 % |
286.18/286.43 c | 319508 | 2673 15594 54914 | 2147483647 83542 37 | 0.000 % |
286.38/286.61 c | 319641 | 2673 15594 54914 | 2147483647 83675 37 | 0.001 % |
286.58/286.87 c | 319787 | 2673 15594 54914 | 2147483647 83821 37 | 0.000 % |
286.68/286.96 c | 319948 | 2673 15594 54914 | 2147483647 83982 37 | 0.000 % |
286.78/287.01 c | 320124 | 2673 15594 54914 | 84034 84158 37 | 0.000 % |
287.18/287.40 c | 320318 | 2673 15594 54914 | 84034 73556 35 | 0.000 % |
287.38/287.61 c | 320533 | 2673 15594 54914 | 84034 73771 35 | 0.000 % |
287.58/287.86 c | 320766 | 2673 15594 54914 | 84034 74004 36 | 0.001 % |
287.98/288.23 c | 321022 | 2673 15594 54914 | 84034 74260 36 | 0.000 % |
288.38/288.62 c | 321305 | 2673 15594 54914 | 84034 74543 36 | 0.000 % |
288.78/289.02 c | 321616 | 2673 15594 54914 | 84034 74854 36 | 0.000 % |
288.98/289.28 c | 321956 | 2673 15594 54914 | 84034 75194 36 | 0.000 % |
289.48/289.71 c | 322328 | 2673 15594 54914 | 84034 75566 36 | 0.000 % |
290.08/290.37 c | 322737 | 2672 15582 54884 | 84034 75973 36 | 0.037 % |
290.48/290.76 c | 323187 | 2672 15582 54884 | 84034 76423 36 | 0.037 % |
290.98/291.28 c | 323680 | 2672 15582 54884 | 84034 76916 36 | 0.037 % |
291.58/291.81 c | 324222 | 2672 15582 54884 | 84034 77458 36 | 0.037 % |
292.08/292.38 c | 324818 | 2672 15582 54884 | 84034 78054 36 | 0.038 % |
292.78/293.01 c | 325474 | 2672 15582 54884 | 84034 78710 36 | 0.037 % |
293.48/293.77 c | 326194 | 2672 15582 54884 | 84034 79430 36 | 0.038 % |
294.18/294.45 c | 326986 | 2672 15582 54884 | 84034 80222 36 | 0.038 % |
295.08/295.30 c | 327860 | 2672 15582 54884 | 84034 81096 36 | 0.038 % |
296.27/296.53 c | 328818 | 2672 15582 54884 | 84034 82054 36 | 0.038 % |
297.27/297.50 c | 329871 | 2672 15582 54884 | 84034 83107 36 | 0.038 % |
298.17/298.48 c | 331031 | 2672 15582 54884 | 83236 72272 34 | 0.037 % |
299.77/300.04 c | 332306 | 2672 15582 54884 | 83236 73547 34 | 0.038 % |
300.87/301.18 c | 333706 | 2672 15582 54884 | 83236 74947 35 | 0.037 % |
302.47/302.74 c | 335246 | 2672 15582 54884 | 83236 76487 35 | 0.037 % |
304.17/304.48 c | 336940 | 2672 15582 54884 | 83236 78181 36 | 0.038 % |
306.37/306.68 c | 338803 | 2672 15582 54884 | 83236 80044 36 | 0.038 % |
308.27/308.52 c | 340852 | 2672 15582 54884 | 81241 69590 33 | 0.037 % |
311.37/311.61 c | 343105 | 2672 15582 54884 | 81241 71843 33 | 0.038 % |
315.07/315.31 c | 345584 | 2672 15582 54884 | 81241 74322 34 | 0.038 % |
319.36/319.65 c | 348309 | 2672 15582 54884 | 81241 77047 35 | 0.038 % |
322.86/323.15 c | 351308 | 2672 15582 54884 | 78739 69731 34 | 0.037 % |
326.76/327.02 c | 354605 | 2672 15582 54884 | 78739 73028 35 | 0.037 % |
326.86/327.13 c | 354707 | 2672 15582 54884 | 78739 73130 35 | 0.038 % |
326.96/327.21 c | 354817 | 2672 15582 54884 | 78739 73240 35 | 0.038 % |
327.06/327.36 c | 354939 | 2672 15582 54884 | 78739 73362 35 | 0.038 % |
327.26/327.54 c | 355074 | 2672 15582 54884 | 78739 73497 35 | 0.037 % |
327.46/327.71 c | 355220 | 2672 15582 54884 | 78739 73643 35 | 0.037 % |
327.56/327.87 c | 355381 | 2672 15582 54884 | 78739 73804 35 | 0.038 % |
327.76/328.08 c | 355557 | 2672 15582 54884 | 78739 73980 35 | 0.038 % |
327.96/328.25 c | 355750 | 2672 15582 54884 | 78739 74173 35 | 0.037 % |
328.16/328.46 c | 355963 | 2672 15582 54884 | 78739 74386 35 | 0.037 % |
328.56/328.80 c | 356196 | 2672 15582 54884 | 78739 74619 35 | 0.037 % |
328.96/329.22 c | 356452 | 2672 15582 54884 | 78739 74875 35 | 0.037 % |
329.26/329.57 c | 356734 | 2672 15582 54884 | 78739 75157 35 | 0.037 % |
329.66/329.99 c | 357044 | 2672 15582 54884 | 78739 75467 35 | 0.037 % |
329.96/330.29 c | 357383 | 2672 15582 54884 | 78739 75806 35 | 0.038 % |
330.35/330.65 c | 357756 | 2672 15582 54884 | 78739 76179 35 | 0.038 % |
330.75/331.07 c | 358165 | 2672 15582 54884 | 78739 76588 35 | 0.038 % |
331.45/331.70 c | 358615 | 2672 15582 54884 | 78739 77038 35 | 0.037 % |
331.85/332.15 c | 359110 | 2672 15582 54884 | 78739 77533 35 | 0.038 % |
332.45/332.70 c | 359653 | 2672 15582 54884 | 78739 78076 35 | 0.037 % |
333.05/333.32 c | 360249 | 2672 15582 54884 | 78425 78672 36 | 0.037 % |
333.85/334.18 c | 360905 | 2672 15582 54884 | 78425 69401 34 | 0.037 % |
334.75/335.06 c | 361628 | 2672 15582 54884 | 78425 70124 35 | 0.038 % |
335.65/335.94 c | 362420 | 2672 15582 54884 | 78425 70916 35 | 0.038 % |
336.65/336.94 c | 363291 | 2672 15582 54884 | 78425 71787 35 | 0.037 % |
337.95/338.24 c | 364250 | 2672 15582 54884 | 78425 72746 35 | 0.037 % |
338.65/338.99 c | 365303 | 2672 15582 54884 | 78425 73799 35 | 0.038 % |
339.65/339.94 c | 366461 | 2672 15582 54884 | 78425 74957 35 | 0.037 % |
341.35/341.60 c | 367734 | 2672 15582 54884 | 78425 76230 35 | 0.037 % |
342.74/343.10 c | 369136 | 2672 15582 54884 | 78425 77632 35 | 0.037 % |
344.84/345.10 c | 370678 | 2672 15582 54884 | 78497 69929 34 | 0.038 % |
346.84/347.11 c | 372372 | 2672 15582 54884 | 78497 71623 34 | 0.037 % |
349.54/349.85 c | 374235 | 2672 15582 54884 | 78497 73486 34 | 0.037 % |
352.54/352.86 c | 376286 | 2672 15582 54884 | 78497 75537 34 | 0.037 % |
354.94/355.24 c | 378540 | 2672 15582 54884 | 78497 77791 35 | 0.037 % |
357.64/357.95 c | 381018 | 2672 15582 54884 | 70425 63565 32 | 0.038 % |
360.13/360.46 c | 383744 | 2672 15582 54884 | 70425 66291 33 | 0.037 % |
362.93/363.27 c | 386742 | 2672 15582 54884 | 70425 69289 33 | 0.037 % |
366.83/367.14 c | 390038 | 2672 15582 54884 | 2147483647 65517 33 | 0.038 % |
371.33/371.69 c | 393664 | 2672 15582 54884 | 2147483647 69143 33 | 0.037 % |
371.53/371.81 c | 393766 | 2672 15582 54884 | 2147483647 69245 33 | 0.038 % |
371.63/371.94 c | 393876 | 2672 15582 54884 | 2147483647 69355 33 | 0.038 % |
371.73/372.04 c | 393997 | 2672 15582 54884 | 2147483647 69476 33 | 0.037 % |
371.83/372.18 c | 394133 | 2672 15582 54884 | 2147483647 69612 33 | 0.038 % |
372.03/372.37 c | 394279 | 2672 15582 54884 | 2147483647 69758 33 | 0.037 % |
372.13/372.43 c | 394439 | 2672 15582 54884 | 2147483647 69918 33 | 0.038 % |
372.33/372.68 c | 394615 | 2672 15582 54884 | 2147483647 70094 33 | 0.037 % |
372.63/372.91 c | 394808 | 2672 15582 54884 | 2147483647 70287 33 | 0.038 % |
372.83/373.12 c | 395021 | 2672 15582 54884 | 2147483647 70500 33 | 0.037 % |
373.13/373.45 c | 395256 | 2672 15582 54884 | 2147483647 70735 33 | 0.037 % |
373.43/373.79 c | 395512 | 2672 15582 54884 | 2147483647 70991 33 | 0.037 % |
373.73/374.07 c | 395793 | 2672 15582 54884 | 2147483647 71272 33 | 0.037 % |
374.13/374.40 c | 396104 | 2672 15582 54884 | 2147483647 71583 33 | 0.038 % |
374.43/374.79 c | 396444 | 2672 15582 54884 | 2147483647 71923 33 | 0.038 % |
374.73/375.09 c | 396820 | 2672 15582 54884 | 2147483647 72299 33 | 0.037 % |
375.33/375.63 c | 397231 | 2672 15582 54884 | 2147483647 72710 33 | 0.037 % |
375.93/376.24 c | 397680 | 2672 15582 54884 | 2147483647 73159 34 | 0.037 % |
376.22/376.59 c | 398174 | 2672 15582 54884 | 2147483647 73653 33 | 0.038 % |
376.82/377.13 c | 398716 | 2672 15582 54884 | 2147483647 74195 33 | 0.037 % |
377.12/377.41 c | 399312 | 2672 15582 54884 | 2147483647 74791 33 | 0.037 % |
377.72/378.06 c | 399968 | 2672 15582 54884 | 2147483647 75447 34 | 0.038 % |
378.62/378.90 c | 400688 | 2672 15582 54884 | 75479 67772 31 | 0.037 % |
379.52/379.87 c | 401481 | 2672 15582 54884 | 75479 68565 31 | 0.037 % |
380.72/381.03 c | 402353 | 2672 15582 54884 | 75479 69437 31 | 0.037 % |
381.82/382.13 c | 403312 | 2672 15582 54884 | 75479 70396 32 | 0.037 % |
383.22/383.56 c | 404366 | 2672 15582 54884 | 75479 71450 32 | 0.038 % |
384.42/384.71 c | 405524 | 2672 15582 54884 | 75479 72608 32 | 0.037 % |
385.62/385.93 c | 406798 | 2672 15582 54884 | 75479 73882 32 | 0.037 % |
387.32/387.60 c | 408198 | 2672 15582 54884 | 75479 75282 33 | 0.038 % |
389.61/389.92 c | 409739 | 2672 15582 54884 | 75479 68839 31 | 0.037 % |
391.52/391.82 c | 411434 | 2672 15582 54884 | 69101 63530 31 | 0.038 % |
394.01/394.33 c | 413297 | 2672 15582 54884 | 69101 65393 31 | 0.037 % |
396.41/396.78 c | 415348 | 2672 15582 54884 | 69101 67444 32 | 0.038 % |
398.81/399.15 c | 417602 | 2672 15582 54884 | 69101 62753 31 | 0.037 % |
401.71/402.08 c | 420081 | 2672 15582 54884 | 2147483647 65232 31 | 0.037 % |
404.11/404.42 c | 422807 | 2672 15582 54884 | 2147483647 67958 33 | 0.038 % |
406.91/407.22 c | 425804 | 2672 15582 54884 | 2147483647 70955 33 | 0.037 % |
410.60/410.95 c | 429100 | 2672 15582 54884 | 2147483647 74251 34 | 0.037 % |
414.80/415.13 c | 432726 | 2672 15582 54884 | 2147483647 77877 35 | 0.037 % |
418.90/419.29 c | 436713 | 2672 15582 54884 | 2147483647 81864 36 | 0.037 % |
419.00/419.39 c | 436815 | 2672 15582 54884 | 2147483647 81966 36 | 0.037 % |
419.20/419.50 c | 436927 | 2672 15582 54884 | 2147483647 82078 36 | 0.037 % |
419.30/419.64 c | 437048 | 2672 15582 54884 | 2147483647 82199 36 | 0.037 % |
419.50/419.83 c | 437181 | 2672 15582 54884 | 2147483647 82332 36 | 0.037 % |
419.70/420.08 c | 437328 | 2672 15582 54884 | 2147483647 82479 36 | 0.038 % |
419.90/420.24 c | 437489 | 2672 15582 54884 | 2147483647 82640 36 | 0.037 % |
420.20/420.51 c | 437666 | 2672 15582 54884 | 2147483647 82817 36 | 0.038 % |
420.40/420.77 c | 437860 | 2672 15582 54884 | 2147483647 83011 36 | 0.037 % |
420.80/421.13 c | 438073 | 2672 15582 54884 | 2147483647 83224 36 | 0.037 % |
421.09/421.46 c | 438307 | 2672 15582 54884 | 2147483647 83458 37 | 0.038 % |
421.39/421.72 c | 438563 | 2672 15582 54884 | 2147483647 83714 37 | 0.038 % |
421.69/422.06 c | 438845 | 2672 15582 54884 | 2147483647 83996 37 | 0.037 % |
422.29/422.66 c | 439155 | 2672 15582 54884 | 2147483647 84306 37 | 0.037 % |
422.69/423.03 c | 439494 | 2672 15582 54884 | 2147483647 84645 37 | 0.037 % |
422.99/423.36 c | 439868 | 2672 15582 54884 | 2147483647 85019 37 | 0.038 % |
423.59/423.91 c | 440277 | 2672 15582 54884 | 85151 85428 37 | 0.038 % |
424.09/424.44 c | 440728 | 2672 15582 54884 | 85151 73639 35 | 0.037 % |
424.59/424.97 c | 441221 | 2672 15582 54884 | 85151 74132 35 | 0.037 % |
425.39/425.70 c | 441763 | 2672 15582 54884 | 85151 74674 35 | 0.037 % |
426.29/426.64 c | 442361 | 2672 15582 54884 | 85151 75272 35 | 0.037 % |
426.89/427.28 c | 443016 | 2672 15582 54884 | 85151 75927 35 | 0.037 % |
427.59/427.99 c | 443736 | 2672 15582 54884 | 85151 76647 36 | 0.038 % |
428.59/428.96 c | 444528 | 2672 15582 54884 | 85151 77439 36 | 0.038 % |
429.38/429.78 c | 445401 | 2672 15582 54884 | 85151 78312 36 | 0.038 % |
430.48/430.83 c | 446359 | 2672 15582 54884 | 85151 79270 36 | 0.037 % |
432.18/432.52 c | 447412 | 2672 15582 54884 | 85151 80323 36 | 0.038 % |
433.98/434.36 c | 448572 | 2672 15582 54884 | 85151 81483 36 | 0.037 % |
435.78/436.15 c | 449845 | 2672 15582 54884 | 85151 82756 37 | 0.037 % |
437.28/437.63 c | 451246 | 2672 15582 54884 | 82914 72218 36 | 0.037 % |
438.68/439.08 c | 452787 | 2672 15582 54884 | 82914 73759 36 | 0.038 % |
440.68/441.09 c | 454481 | 2672 15582 54884 | 82914 75453 36 | 0.038 % |
443.08/443.44 c | 456346 | 2672 15582 54884 | 82914 77318 37 | 0.038 % |
445.88/446.25 c | 458395 | 2672 15582 54884 | 82914 79367 37 | 0.037 % |
448.08/448.44 c | 460648 | 2672 15582 54884 | 80972 81620 37 | 0.038 % |
451.27/451.66 c | 463126 | 2672 15582 54884 | 80972 71899 37 | 0.038 % |
453.88/454.25 c | 465852 | 2672 15582 54884 | 80972 74625 37 | 0.037 % |
456.97/457.35 c | 468850 | 2672 15582 54884 | 80972 77623 39 | 0.037 % |
461.77/462.13 c | 472146 | 2672 15582 54884 | 78775 69959 37 | 0.037 % |
466.07/466.42 c | 475771 | 2672 15582 54884 | 78775 73584 37 | 0.037 % |
471.86/472.20 c | 479760 | 2672 15582 54884 | 78775 77573 38 | 0.037 % |
478.06/478.45 c | 484145 | 2672 15582 54884 | 77813 71317 37 | 0.037 % |
478.16/478.53 c | 484246 | 2672 15582 54884 | 77813 71418 37 | 0.038 % |
478.26/478.63 c | 484357 | 2672 15582 54884 | 77813 71529 37 | 0.037 % |
478.36/478.78 c | 484480 | 2672 15582 54884 | 77813 71652 37 | 0.037 % |
478.56/478.92 c | 484615 | 2672 15582 54884 | 77813 71787 37 | 0.037 % |
478.66/479.04 c | 484763 | 2672 15582 54884 | 77813 71935 37 | 0.037 % |
478.86/479.21 c | 484923 | 2672 15582 54884 | 77813 72095 37 | 0.037 % |
479.05/479.41 c | 485102 | 2672 15582 54884 | 77813 72274 37 | 0.037 % |
479.26/479.68 c | 485295 | 2672 15582 54884 | 77813 72467 37 | 0.037 % |
479.45/479.84 c | 485507 | 2672 15582 54884 | 77813 72679 37 | 0.037 % |
479.75/480.12 c | 485742 | 2672 15582 54884 | 77813 72914 37 | 0.037 % |
479.95/480.36 c | 485998 | 2672 15582 54884 | 77813 73170 37 | 0.038 % |
480.25/480.63 c | 486282 | 2672 15582 54884 | 77813 73454 37 | 0.037 % |
480.55/480.96 c | 486591 | 2672 15582 54884 | 77813 73763 37 | 0.038 % |
481.15/481.51 c | 486931 | 2672 15582 54884 | 77813 74103 37 | 0.038 % |
481.45/481.83 c | 487303 | 2672 15582 54884 | 77813 74475 37 | 0.037 % |
481.75/482.20 c | 487712 | 2672 15582 54884 | 77813 74884 37 | 0.037 % |
482.15/482.57 c | 488161 | 2672 15582 54884 | 77813 75333 37 | 0.037 % |
482.75/483.10 c | 488654 | 2672 15582 54884 | 77813 75826 37 | 0.037 % |
483.35/483.73 c | 489199 | 2672 15582 54884 | 77813 76371 38 | 0.038 % |
483.85/484.27 c | 489795 | 2672 15582 54884 | 77813 76967 38 | 0.037 % |
484.65/485.03 c | 490453 | 2672 15582 54884 | 77172 77625 38 | 0.037 % |
485.65/486.01 c | 491173 | 2672 15582 54884 | 77172 68498 37 | 0.037 % |
486.45/486.80 c | 491967 | 2672 15582 54884 | 77172 69292 37 | 0.038 % |
487.45/487.87 c | 492840 | 2672 15582 54884 | 77172 70165 37 | 0.037 % |
488.54/488.99 c | 493801 | 2672 15582 54884 | 77172 71126 37 | 0.037 % |
489.74/490.19 c | 494855 | 2672 15582 54884 | 77172 72180 37 | 0.038 % |
491.44/491.87 c | 496015 | 2672 15582 54884 | 77172 73340 37 | 0.037 % |
492.74/493.14 c | 497288 | 2672 15582 54884 | 77172 74613 37 | 0.038 % |
494.04/494.49 c | 498689 | 2672 15582 54884 | 77172 76014 38 | 0.038 % |
495.94/496.37 c | 500230 | 2672 15582 54884 | 77325 68298 36 | 0.037 % |
498.14/498.52 c | 501925 | 2672 15582 54884 | 77325 69993 37 | 0.038 % |
499.74/500.16 c | 503789 | 2672 15582 54884 | 77325 71857 37 | 0.037 % |
502.24/502.69 c | 505838 | 2672 15582 54884 | 77325 73906 38 | 0.038 % |
504.94/505.39 c | 508091 | 2672 15582 54884 | 77325 76159 38 | 0.038 % |
507.84/508.27 c | 510570 | 2672 15582 54884 | 68060 68630 36 | 0.038 % |
509.44/509.85 c | 513295 | 2672 15582 54884 | 68060 62455 33 | 0.037 % |
513.63/514.02 c | 516292 | 2672 15582 54884 | 68060 65452 34 | 0.037 % |
517.33/517.76 c | 519589 | 2672 15582 54884 | 68060 61906 33 | 0.037 % |
520.33/520.73 c | 523214 | 2672 15582 54884 | 2147483647 65531 34 | 0.037 % |
523.23/523.63 c | 527202 | 2672 15582 54884 | 2147483647 69519 35 | 0.038 % |
527.63/528.07 c | 531587 | 2672 15582 54884 | 72317 66112 34 | 0.037 % |
531.92/532.37 c | 536410 | 2672 15582 54884 | 72317 70935 37 | 0.038 % |
532.02/532.46 c | 536511 | 2672 15582 54884 | 72317 71036 37 | 0.037 % |
532.12/532.58 c | 536624 | 2672 15582 54884 | 72317 71149 37 | 0.037 % |
532.32/532.75 c | 536746 | 2672 15582 54884 | 72317 71271 37 | 0.037 % |
532.42/532.89 c | 536879 | 2672 15582 54884 | 72317 71404 37 | 0.037 % |
532.62/533.05 c | 537027 | 2672 15582 54884 | 72317 71552 37 | 0.038 % |
532.82/533.20 c | 537190 | 2672 15582 54884 | 72317 71715 37 | 0.038 % |
532.92/533.35 c | 537366 | 2672 15582 54884 | 72317 71891 37 | 0.037 % |
533.12/533.59 c | 537559 | 2672 15582 54884 | 72317 72084 37 | 0.037 % |
533.42/533.89 c | 537771 | 2672 15582 54884 | 72317 72296 37 | 0.038 % |
533.82/534.20 c | 538006 | 2672 15582 54884 | 72317 72531 37 | 0.038 % |
534.12/534.58 c | 538262 | 2672 15582 54884 | 72317 64114 36 | 0.038 % |
534.42/534.89 c | 538543 | 2671 15570 54854 | 72317 64393 36 | 0.075 % |
534.62/535.10 c | 538853 | 2671 15570 54854 | 72317 64703 36 | 0.075 % |
535.12/535.54 c | 539192 | 2671 15570 54854 | 72317 65042 36 | 0.075 % |
535.42/535.89 c | 539564 | 2671 15570 54854 | 72317 65414 36 | 0.075 % |
535.82/536.29 c | 539973 | 2671 15570 54854 | 72317 65823 37 | 0.075 % |
536.32/536.78 c | 540422 | 2671 15570 54854 | 65851 58447 36 | 0.075 % |
536.82/537.24 c | 540915 | 2671 15570 54854 | 65851 58940 36 | 0.075 % |
537.32/537.70 c | 541457 | 2671 15570 54854 | 65851 59482 36 | 0.075 % |
537.82/538.25 c | 542053 | 2671 15570 54854 | 65851 60078 36 | 0.075 % |
538.42/538.85 c | 542711 | 2671 15570 54854 | 65851 60736 36 | 0.075 % |
538.92/539.37 c | 543432 | 2671 15570 54854 | 65851 61457 36 | 0.075 % |
539.72/540.14 c | 544224 | 2671 15570 54854 | 65851 62249 37 | 0.075 % |
540.52/540.98 c | 545095 | 2671 15570 54854 | 65851 63120 37 | 0.075 % |
541.71/542.16 c | 546053 | 2671 15570 54854 | 65851 64078 37 | 0.075 % |
542.71/543.17 c | 547107 | 2671 15570 54854 | 65851 65132 37 | 0.075 % |
543.81/544.25 c | 548265 | 2671 15570 54854 | 65851 66290 37 | 0.075 % |
545.41/545.89 c | 549538 | 2671 15570 54854 | 65851 60934 36 | 0.075 % |
546.81/547.22 c | 550939 | 2671 15570 54854 | 2147483647 62335 37 | 0.075 % |
548.31/548.73 c | 552480 | 2671 15570 54854 | 2147483647 63876 37 | 0.075 % |
550.51/550.92 c | 554174 | 2671 15570 54854 | 2147483647 65570 37 | 0.075 % |
553.31/553.74 c | 556037 | 2671 15570 54854 | 2147483647 67433 37 | 0.075 % |
555.90/556.36 c | 558086 | 2671 15570 54854 | 2147483647 69482 37 | 0.075 % |
558.31/558.72 c | 560339 | 2671 15570 54854 | 2147483647 71735 38 | 0.075 % |
560.30/560.78 c | 562817 | 2671 15570 54854 | 2147483647 74213 37 | 0.075 % |
563.81/564.21 c | 565542 | 2671 15570 54854 | 2147483647 76938 38 | 0.075 % |
567.50/567.97 c | 568539 | 2671 15570 54854 | 2147483647 79935 38 | 0.075 % |
571.10/571.56 c | 571835 | 2671 15570 54854 | 81396 72093 37 | 0.075 % |
575.20/575.63 c | 575460 | 2671 15570 54854 | 81396 75718 37 | 0.075 % |
579.30/579.71 c | 579448 | 2671 15570 54854 | 81396 79706 38 | 0.075 % |
583.79/584.25 c | 583833 | 2671 15570 54854 | 80258 73281 37 | 0.075 % |
588.59/589.03 c | 588657 | 2671 15570 54854 | 80258 78105 38 | 0.075 % |
595.79/596.27 c | 593965 | 2671 15570 54854 | 79449 72888 36 | 0.075 % |
595.89/596.39 c | 594065 | 2671 15570 54854 | 79449 72988 36 | 0.075 % |
596.09/596.51 c | 594176 | 2671 15570 54854 | 79449 73099 36 | 0.075 % |
596.19/596.60 c | 594298 | 2671 15570 54854 | 79449 73221 36 | 0.075 % |
596.29/596.78 c | 594432 | 2671 15570 54854 | 79449 73355 36 | 0.075 % |
596.49/596.90 c | 594578 | 2671 15570 54854 | 79449 73501 36 | 0.075 % |
596.59/597.02 c | 594739 | 2671 15570 54854 | 79449 73662 36 | 0.075 % |
596.69/597.12 c | 594915 | 2671 15570 54854 | 79449 73838 36 | 0.075 % |
596.89/597.33 c | 595108 | 2671 15570 54854 | 79449 74031 36 | 0.075 % |
597.19/597.69 c | 595320 | 2671 15570 54854 | 79449 74243 36 | 0.075 % |
597.58/598.01 c | 595554 | 2671 15570 54854 | 79449 74477 36 | 0.075 % |
597.78/598.29 c | 595810 | 2671 15570 54854 | 79449 74733 36 | 0.075 % |
598.18/598.67 c | 596093 | 2671 15570 54854 | 79449 75016 36 | 0.075 % |
598.48/598.92 c | 596403 | 2671 15570 54854 | 79449 75326 37 | 0.075 % |
598.78/599.21 c | 596742 | 2671 15570 54854 | 79449 75665 37 | 0.075 % |
599.28/599.71 c | 597116 | 2671 15570 54854 | 79449 76039 37 | 0.075 % |
599.78/600.24 c | 597527 | 2671 15570 54854 | 79449 76450 37 | 0.075 % |
600.28/600.72 c | 597977 | 2671 15570 54854 | 79449 76900 37 | 0.075 % |
600.38/600.88 c | 598470 | 2671 15570 54854 | 79449 77393 37 | 0.075 % |
600.98/601.41 c | 599012 | 2671 15570 54854 | 79449 77935 37 | 0.075 % |
601.57/602.06 c | 599611 | 2671 15570 54854 | 79449 78534 37 | 0.075 % |
602.28/602.73 c | 600266 | 2671 15570 54854 | 78927 79189 37 | 0.075 % |
602.87/603.35 c | 600988 | 2671 15570 54854 | 78927 70423 36 | 0.075 % |
603.67/604.17 c | 601780 | 2671 15570 54854 | 78927 71215 37 | 0.075 % |
604.48/604.94 c | 602652 | 2671 15570 54854 | 78927 72087 37 | 0.075 % |
605.27/605.75 c | 603610 | 2671 15570 54854 | 78927 73045 37 | 0.075 % |
606.27/606.70 c | 604663 | 2671 15570 54854 | 78927 74098 37 | 0.075 % |
608.07/608.50 c | 605822 | 2671 15570 54854 | 78927 75257 37 | 0.075 % |
609.47/609.93 c | 607095 | 2671 15570 54854 | 78927 76530 37 | 0.075 % |
610.87/611.38 c | 608495 | 2671 15570 54854 | 78927 77930 38 | 0.075 % |
612.97/613.49 c | 610037 | 2671 15570 54854 | 79437 79472 38 | 0.075 % |
614.27/614.70 c | 611731 | 2671 15570 54854 | 79437 71791 37 | 0.075 % |
616.07/616.53 c | 613594 | 2671 15570 54854 | 79437 73654 37 | 0.075 % |
617.77/618.27 c | 615643 | 2671 15570 54854 | 79437 75703 38 | 0.075 % |
620.56/621.09 c | 617896 | 2671 15570 54854 | 79437 77956 38 | 0.075 % |
623.56/624.04 c | 620374 | 2671 15570 54854 | 80060 80434 39 | 0.075 % |
625.86/626.35 c | 623100 | 2671 15570 54854 | 80060 74265 38 | 0.075 % |
628.76/629.28 c | 626098 | 2671 15570 54854 | 80060 77263 38 | 0.075 % |
633.06/633.54 c | 629394 | 2671 15570 54854 | 80060 70371 36 | 0.075 % |
636.76/637.25 c | 633020 | 2671 15570 54854 | 70978 65031 35 | 0.075 % |
640.16/640.61 c | 637008 | 2671 15570 54854 | 70978 69019 36 | 0.075 % |
643.45/643.99 c | 641393 | 2671 15570 54854 | 64270 59103 34 | 0.075 % |
646.85/647.39 c | 646217 | 2671 15570 54854 | 64270 63927 35 | 0.075 % |
652.74/653.23 c | 651523 | 2671 15570 54854 | 2147483647 62754 36 | 0.075 % |
658.45/658.96 c | 657358 | 2671 15570 54854 | 2147483647 68589 38 | 0.075 % |
658.54/659.07 c | 657459 | 2671 15570 54854 | 2147483647 68690 38 | 0.075 % |
658.64/659.17 c | 657570 | 2671 15570 54854 | 2147483647 68801 38 | 0.075 % |
658.74/659.29 c | 657691 | 2671 15570 54854 | 2147483647 68922 38 | 0.075 % |
658.94/659.41 c | 657824 | 2671 15570 54854 | 2147483647 69055 38 | 0.075 % |
658.94/659.49 c | 657970 | 2671 15570 54854 | 2147483647 69201 38 | 0.075 % |
659.14/659.69 c | 658132 | 2671 15570 54854 | 2147483647 69363 38 | 0.075 % |
659.34/659.87 c | 658308 | 2671 15570 54854 | 2147483647 69539 38 | 0.075 % |
659.55/660.09 c | 658502 | 2671 15570 54854 | 2147483647 69733 38 | 0.075 % |
659.74/660.24 c | 658714 | 2671 15570 54854 | 2147483647 69945 38 | 0.075 % |
659.84/660.31 c | 658948 | 2671 15570 54854 | 2147483647 70179 38 | 0.075 % |
660.14/660.64 c | 659205 | 2671 15570 54854 | 2147483647 70436 38 | 0.075 % |
660.44/660.92 c | 659487 | 2671 15570 54854 | 2147483647 70718 38 | 0.075 % |
661.04/661.55 c | 659796 | 2671 15570 54854 | 2147483647 71027 38 | 0.075 % |
661.44/661.93 c | 660137 | 2671 15570 54854 | 71234 71368 38 | 0.075 % |
661.94/662.49 c | 660510 | 2671 15570 54854 | 71234 64593 36 | 0.075 % |
662.34/662.89 c | 660919 | 2671 15570 54854 | 71234 65002 36 | 0.075 % |
662.64/663.18 c | 661369 | 2671 15570 54854 | 71234 65452 36 | 0.075 % |
663.04/663.58 c | 661864 | 2671 15570 54854 | 71234 65947 36 | 0.075 % |
663.84/664.31 c | 662406 | 2671 15570 54854 | 71234 66489 37 | 0.075 % |
664.34/664.87 c | 663003 | 2671 15570 54854 | 71234 67086 37 | 0.075 % |
664.94/665.45 c | 663660 | 2671 15570 54854 | 71234 67743 37 | 0.075 % |
665.74/666.23 c | 664381 | 2671 15570 54854 | 71234 68464 37 | 0.075 % |
666.34/666.87 c | 665173 | 2671 15570 54854 | 71234 69256 37 | 0.075 % |
667.34/667.85 c | 666044 | 2671 15570 54854 | 71234 70127 37 | 0.075 % |
668.54/669.08 c | 667004 | 2671 15570 54854 | 71234 71087 38 | 0.075 % |
669.94/670.44 c | 668058 | 2671 15570 54854 | 71234 64312 37 | 0.075 % |
671.34/671.89 c | 669216 | 2671 15570 54854 | 71234 65470 37 | 0.075 % |
673.24/673.74 c | 670489 | 2671 15570 54854 | 66254 66743 37 | 0.075 % |
674.04/674.53 c | 671889 | 2671 15570 54854 | 66254 60666 34 | 0.075 % |
675.54/676.01 c | 673429 | 2671 15570 54854 | 66254 62206 35 | 0.075 % |
676.94/677.47 c | 675123 | 2671 15570 54854 | 66254 63900 35 | 0.075 % |
678.63/679.19 c | 676987 | 2671 15570 54854 | 66254 65764 35 | 0.075 % |
680.54/681.04 c | 679036 | 2671 15570 54854 | 66254 61148 34 | 0.075 % |
681.74/682.26 c | 681290 | 2671 15570 54854 | 2147483647 63402 34 | 0.075 % |
684.74/685.22 c | 683768 | 2671 15570 54854 | 2147483647 65880 35 | 0.075 % |
686.94/687.41 c | 686494 | 2671 15570 54854 | 2147483647 68606 35 | 0.075 % |
690.34/690.83 c | 689492 | 2671 15570 54854 | 2147483647 71604 36 | 0.075 % |
692.83/693.37 c | 692789 | 2671 15570 54854 | 2147483647 74901 36 | 0.075 % |
695.84/696.36 c | 696416 | 2671 15570 54854 | 2147483647 78528 37 | 0.075 % |
700.73/701.24 c | 700403 | 2671 15570 54854 | 82114 82515 37 | 0.075 % |
704.63/705.10 c | 704788 | 2671 15570 54854 | 82114 76721 36 | 0.075 % |
710.82/711.39 c | 709612 | 2671 15570 54854 | 82114 81545 36 | 0.075 % |
716.32/716.84 c | 714919 | 2671 15570 54854 | 81934 76207 35 | 0.075 % |
723.91/724.42 c | 720755 | 2671 15570 54854 | 81289 71172 34 | 0.075 % |
733.31/733.89 c | 727174 | 2671 15570 54854 | 81289 77591 35 | 0.075 % |
733.51/734.03 c | 727276 | 2671 15570 54854 | 81289 77693 35 | 0.075 % |
733.61/734.12 c | 727387 | 2671 15570 54854 | 81289 77804 35 | 0.075 % |
733.81/734.30 c | 727508 | 2671 15570 54854 | 81289 77925 35 | 0.075 % |
733.91/734.44 c | 727641 | 2671 15570 54854 | 81289 78058 35 | 0.075 % |
734.01/734.59 c | 727788 | 2671 15570 54854 | 81289 78205 35 | 0.075 % |
734.21/734.72 c | 727949 | 2671 15570 54854 | 81289 78366 35 | 0.075 % |
734.41/734.93 c | 728125 | 2671 15570 54854 | 81289 78542 35 | 0.075 % |
734.71/735.27 c | 728319 | 2671 15570 54854 | 81289 78736 35 | 0.075 % |
734.91/735.48 c | 728532 | 2671 15570 54854 | 81289 78949 35 | 0.075 % |
735.21/735.75 c | 728766 | 2671 15570 54854 | 81289 79183 35 | 0.075 % |
735.60/736.13 c | 729022 | 2671 15570 54854 | 81289 79439 35 | 0.075 % |
735.80/736.37 c | 729303 | 2671 15570 54854 | 81289 79720 35 | 0.075 % |
736.10/736.66 c | 729612 | 2671 15570 54854 | 81289 80029 35 | 0.075 % |
736.51/737.07 c | 729951 | 2671 15570 54854 | 81289 80368 35 | 0.075 % |
736.70/737.26 c | 730326 | 2671 15570 54854 | 80417 80743 35 | 0.075 % |
737.30/737.81 c | 730735 | 2671 15570 54854 | 80417 70192 33 | 0.075 % |
737.80/738.39 c | 731184 | 2671 15570 54854 | 80417 70641 34 | 0.075 % |
738.50/739.05 c | 731677 | 2671 15570 54854 | 80417 71134 34 | 0.075 % |
739.10/739.62 c | 732219 | 2671 15570 54854 | 80417 71676 34 | 0.075 % |
739.70/740.25 c | 732815 | 2671 15570 54854 | 80417 72272 34 | 0.075 % |
740.70/741.20 c | 733472 | 2671 15570 54854 | 80417 72929 34 | 0.075 % |
741.40/741.99 c | 734192 | 2671 15570 54854 | 80417 73649 34 | 0.075 % |
742.30/742.88 c | 734986 | 2671 15570 54854 | 80417 74443 34 | 0.075 % |
743.20/743.73 c | 735858 | 2671 15570 54854 | 80417 75315 35 | 0.075 % |
744.39/744.91 c | 736816 | 2671 15570 54854 | 80417 76273 35 | 0.075 % |
745.59/746.16 c | 737870 | 2671 15570 54854 | 80417 77327 35 | 0.075 % |
747.09/747.68 c | 739028 | 2671 15570 54854 | 80417 78485 35 | 0.075 % |
748.09/748.64 c | 740303 | 2671 15570 54854 | 79457 79760 35 | 0.075 % |
749.19/749.74 c | 741704 | 2671 15570 54854 | 79457 71168 34 | 0.075 % |
750.59/751.13 c | 743245 | 2671 15570 54854 | 79457 72709 34 | 0.075 % |
751.90/752.46 c | 744939 | 2671 15570 54854 | 79457 74403 34 | 0.075 % |
754.00/754.55 c | 746803 | 2671 15570 54854 | 79457 76267 34 | 0.075 % |
756.49/757.04 c | 748852 | 2671 15570 54854 | 79457 78316 35 | 0.075 % |
759.29/759.81 c | 751105 | 2671 15570 54854 | 79464 70596 34 | 0.075 % |
761.99/762.58 c | 753584 | 2671 15570 54854 | 79464 73075 34 | 0.075 % |
764.49/765.02 c | 756311 | 2671 15570 54854 | 79464 75802 35 | 0.075 % |
767.39/767.97 c | 759308 | 2671 15570 54854 | 79464 78799 36 | 0.075 % |
771.98/772.52 c | 762605 | 2671 15570 54854 | 79492 72029 36 | 0.075 % |
776.68/777.29 c | 766231 | 2671 15570 54854 | 79492 75655 36 | 0.075 % |
781.17/781.71 c | 770219 | 2671 15570 54854 | 79424 79643 36 | 0.075 % |
786.17/786.77 c | 774604 | 2671 15570 54854 | 79424 74355 36 | 0.075 % |
792.37/792.98 c | 779427 | 2671 15570 54854 | 79424 79178 37 | 0.075 % |
798.47/799.08 c | 784733 | 2671 15570 54854 | 79751 73495 37 | 0.075 % |
804.67/805.26 c | 790568 | 2671 15570 54854 | 78762 79330 37 | 0.075 % |
811.06/811.62 c | 796989 | 2671 15570 54854 | 78762 75396 38 | 0.075 % |
818.06/818.63 c | 804049 | 2671 15570 54854 | 78407 71766 38 | 0.075 % |
818.16/818.71 c | 804149 | 2671 15570 54854 | 78407 71866 38 | 0.075 % |
818.26/818.80 c | 804259 | 2671 15570 54854 | 78407 71976 38 | 0.075 % |
818.36/818.93 c | 804380 | 2671 15570 54854 | 78407 72097 38 | 0.075 % |
818.46/819.08 c | 804513 | 2671 15570 54854 | 78407 72230 38 | 0.075 % |
818.66/819.21 c | 804660 | 2671 15570 54854 | 78407 72377 38 | 0.075 % |
818.86/819.46 c | 804820 | 2671 15570 54854 | 78407 72537 38 | 0.075 % |
818.96/819.58 c | 804996 | 2671 15570 54854 | 78407 72713 38 | 0.075 % |
819.26/819.83 c | 805189 | 2671 15570 54854 | 78407 72906 38 | 0.075 % |
819.46/820.04 c | 805401 | 2671 15570 54854 | 78407 73118 38 | 0.075 % |
819.66/820.28 c | 805634 | 2671 15570 54854 | 78407 73351 38 | 0.075 % |
819.96/820.50 c | 805892 | 2671 15570 54854 | 78407 73609 38 | 0.075 % |
820.26/820.82 c | 806173 | 2671 15570 54854 | 78407 73890 38 | 0.075 % |
820.46/821.08 c | 806484 | 2671 15570 54854 | 78407 74201 38 | 0.075 % |
820.86/821.43 c | 806823 | 2671 15570 54854 | 78407 74540 38 | 0.075 % |
821.16/821.76 c | 807196 | 2671 15570 54854 | 78407 74913 38 | 0.075 % |
821.76/822.33 c | 807607 | 2671 15570 54854 | 78407 75324 38 | 0.075 % |
822.26/822.83 c | 808058 | 2671 15570 54854 | 78407 75775 38 | 0.075 % |
822.66/823.24 c | 808553 | 2671 15570 54854 | 78407 76270 38 | 0.075 % |
822.96/823.57 c | 809095 | 2671 15570 54854 | 78407 76812 38 | 0.075 % |
823.46/824.09 c | 809691 | 2671 15570 54854 | 78407 77408 38 | 0.075 % |
824.46/825.05 c | 810346 | 2671 15570 54854 | 77717 68061 37 | 0.075 % |
825.25/825.88 c | 811066 | 2671 15570 54854 | 77717 68781 37 | 0.075 % |
826.05/826.66 c | 811859 | 2671 15570 54854 | 77717 69574 37 | 0.075 % |
826.75/827.36 c | 812730 | 2671 15570 54854 | 77717 70445 38 | 0.075 % |
827.65/828.24 c | 813690 | 2671 15570 54854 | 77717 71405 38 | 0.075 % |
829.05/829.65 c | 814744 | 2671 15570 54854 | 77717 72459 38 | 0.075 % |
830.25/830.86 c | 815902 | 2671 15570 54854 | 77717 73617 39 | 0.075 % |
831.95/832.59 c | 817175 | 2671 15570 54854 | 77717 74890 39 | 0.075 % |
833.35/833.96 c | 818575 | 2671 15570 54854 | 77717 76290 39 | 0.075 % |
834.35/834.99 c | 820115 | 2671 15570 54854 | 77716 77830 40 | 0.075 % |
835.95/836.58 c | 821809 | 2671 15570 54854 | 77716 69649 39 | 0.075 % |
838.45/839.06 c | 823673 | 2671 15570 54854 | 77716 71513 39 | 0.075 % |
840.74/841.33 c | 825725 | 2671 15570 54854 | 77716 73565 40 | 0.075 % |
842.44/843.02 c | 827979 | 2671 15570 54854 | 77716 75819 39 | 0.075 % |
845.64/846.28 c | 830457 | 2671 15570 54854 | 77842 68239 37 | 0.075 % |
849.34/849.96 c | 833182 | 2671 15570 54854 | 77842 70964 38 | 0.075 % |
852.44/853.09 c | 836179 | 2671 15570 54854 | 77842 73961 38 | 0.075 % |
857.34/857.98 c | 839475 | 2671 15570 54854 | 77842 77257 38 | 0.075 % |
861.03/861.68 c | 843100 | 2671 15570 54854 | 77783 71611 36 | 0.075 % |
866.83/867.46 c | 847087 | 2671 15570 54854 | 77783 75598 36 | 0.075 % |
870.63/871.23 c | 851473 | 2671 15570 54854 | 69111 62394 33 | 0.075 % |
874.83/875.45 c | 856297 | 2671 15570 54854 | 69111 67218 36 | 0.075 % |
880.92/881.55 c | 861603 | 2671 15570 54854 | 63625 58813 34 | 0.075 % |
886.52/887.14 c | 867438 | 2671 15570 54854 | 63625 58245 33 | 0.075 % |
893.52/894.19 c | 873856 | 2671 15570 54854 | 2147483647 64663 34 | 0.075 % |
902.42/903.07 c | 880916 | 2671 15570 54854 | 2147483647 71723 35 | 0.075 % |
912.11/912.71 c | 888680 | 2671 15570 54854 | 2147483647 79487 35 | 0.075 % |
912.21/912.85 c | 888782 | 2671 15570 54854 | 2147483647 79589 35 | 0.075 % |
912.41/913.03 c | 888894 | 2671 15570 54854 | 2147483647 79701 35 | 0.075 % |
912.61/913.24 c | 889015 | 2671 15570 54854 | 2147483647 79822 35 | 0.075 % |
912.71/913.39 c | 889149 | 2671 15570 54854 | 2147483647 79956 35 | 0.075 % |
912.91/913.55 c | 889296 | 2671 15570 54854 | 2147483647 80103 35 | 0.075 % |
913.01/913.67 c | 889458 | 2671 15570 54854 | 2147483647 80265 36 | 0.075 % |
913.21/913.86 c | 889637 | 2671 15570 54854 | 2147483647 80444 36 | 0.075 % |
913.51/914.10 c | 889830 | 2671 15570 54854 | 2147483647 80637 36 | 0.075 % |
913.61/914.29 c | 890042 | 2671 15570 54854 | 80807 80849 36 | 0.075 % |
914.01/914.60 c | 890276 | 2671 15570 54854 | 80807 70901 35 | 0.075 % |
914.31/914.91 c | 890533 | 2671 15570 54854 | 80807 71158 35 | 0.075 % |
914.61/915.21 c | 890816 | 2671 15570 54854 | 80807 71441 35 | 0.075 % |
914.90/915.50 c | 891125 | 2671 15570 54854 | 80807 71750 35 | 0.075 % |
915.30/915.92 c | 891466 | 2671 15570 54854 | 80807 72091 35 | 0.075 % |
915.80/916.40 c | 891839 | 2671 15570 54854 | 80807 72464 35 | 0.075 % |
916.10/916.79 c | 892248 | 2671 15570 54854 | 80807 72873 35 | 0.075 % |
916.60/917.25 c | 892699 | 2671 15570 54854 | 80807 73324 35 | 0.075 % |
917.10/917.70 c | 893193 | 2671 15570 54854 | 80807 73818 36 | 0.075 % |
917.70/918.35 c | 893737 | 2671 15570 54854 | 80807 74362 36 | 0.075 % |
918.40/919.00 c | 894334 | 2671 15570 54854 | 80807 74959 36 | 0.075 % |
919.20/919.83 c | 894990 | 2671 15570 54854 | 80807 75615 36 | 0.075 % |
920.20/920.86 c | 895710 | 2671 15570 54854 | 80807 76335 36 | 0.075 % |
921.20/921.84 c | 896502 | 2671 15570 54854 | 80807 77127 36 | 0.075 % |
922.09/922.78 c | 897374 | 2671 15570 54854 | 80807 77999 36 | 0.075 % |
922.89/923.53 c | 898333 | 2671 15570 54854 | 80807 78958 36 | 0.075 % |
923.99/924.66 c | 899387 | 2671 15570 54854 | 80807 80012 37 | 0.075 % |
925.50/926.15 c | 900545 | 2671 15570 54854 | 80625 70092 35 | 0.075 % |
926.60/927.30 c | 901818 | 2671 15570 54854 | 80625 71365 35 | 0.075 % |
927.99/928.65 c | 903218 | 2671 15570 54854 | 80625 72765 36 | 0.075 % |
928.99/929.62 c | 904759 | 2671 15570 54854 | 80625 74306 36 | 0.075 % |
930.49/931.16 c | 906453 | 2671 15570 54854 | 80625 76000 36 | 0.075 % |
932.39/933.04 c | 908317 | 2671 15570 54854 | 80625 77864 36 | 0.075 % |
934.89/935.54 c | 910366 | 2671 15570 54854 | 79547 79913 37 | 0.075 % |
937.69/938.31 c | 912621 | 2671 15570 54854 | 79547 71737 34 | 0.075 % |
940.89/941.55 c | 915100 | 2671 15570 54854 | 79547 74216 34 | 0.075 % |
944.69/945.37 c | 917825 | 2671 15570 54854 | 79547 76941 35 | 0.075 % |
948.38/949.01 c | 920823 | 2671 15570 54854 | 79116 70244 35 | 0.075 % |
951.99/952.68 c | 924120 | 2671 15570 54854 | 79116 73541 35 | 0.075 % |
956.18/956.87 c | 927745 | 2671 15570 54854 | 79116 77166 36 | 0.075 % |
961.37/962.03 c | 931734 | 2671 15570 54854 | 69220 61991 35 | 0.075 % |
966.86/967.54 c | 936119 | 2671 15570 54854 | 69220 66376 36 | 0.075 % |
971.96/972.64 c | 940944 | 2671 15570 54854 | 2147483647 64229 35 | 0.075 % |
979.76/980.44 c | 946250 | 2671 15570 54854 | 2147483647 69535 35 | 0.075 % |
988.75/989.42 c | 952086 | 2671 15570 54854 | 2147483647 75371 35 | 0.075 % |
994.35/995.08 c | 958505 | 2671 15570 54854 | 2147483647 81790 37 | 0.075 % |
1002.54/1003.22 c | 965565 | 2671 15570 54854 | 83285 77291 38 | 0.075 % |
1009.33/1010.00 c | 973329 | 2671 15570 54854 | 81728 73336 39 | 0.075 % |
1016.92/1017.66 c | 981870 | 2671 15570 54854 | 80007 69795 38 | 0.075 % |
1017.12/1017.81 c | 981970 | 2671 15570 54854 | 80007 69895 38 | 0.075 % |
1017.22/1017.98 c | 982082 | 2671 15570 54854 | 80007 70007 38 | 0.075 % |
1017.32/1018.06 c | 982203 | 2671 15570 54854 | 80007 70128 38 | 0.075 % |
1017.42/1018.17 c | 982336 | 2671 15570 54854 | 80007 70261 38 | 0.075 % |
1017.52/1018.28 c | 982482 | 2671 15570 54854 | 80007 70407 38 | 0.075 % |
1017.72/1018.43 c | 982642 | 2671 15570 54854 | 80007 70567 38 | 0.075 % |
1017.83/1018.60 c | 982818 | 2671 15570 54854 | 80007 70743 38 | 0.075 % |
1018.02/1018.79 c | 983011 | 2671 15570 54854 | 80007 70936 39 | 0.075 % |
1018.32/1019.00 c | 983224 | 2671 15570 54854 | 80007 71149 39 | 0.075 % |
1018.52/1019.25 c | 983459 | 2671 15570 54854 | 80007 71384 39 | 0.075 % |
1018.82/1019.53 c | 983719 | 2671 15570 54854 | 80007 71644 39 | 0.075 % |
1019.03/1019.74 c | 984001 | 2671 15570 54854 | 80007 71926 39 | 0.075 % |
1019.22/1019.95 c | 984312 | 2671 15570 54854 | 80007 72237 39 | 0.075 % |
1019.42/1020.19 c | 984652 | 2671 15570 54854 | 80007 72577 39 | 0.075 % |
1019.82/1020.55 c | 985024 | 2671 15570 54854 | 80007 72949 39 | 0.075 % |
1020.32/1021.06 c | 985434 | 2671 15570 54854 | 80007 73359 39 | 0.075 % |
1021.02/1021.75 c | 985884 | 2671 15570 54854 | 80007 73809 39 | 0.075 % |
1021.72/1022.47 c | 986378 | 2671 15570 54854 | 80007 74303 39 | 0.075 % |
1022.32/1023.06 c | 986920 | 2671 15570 54854 | 80007 74845 39 | 0.075 % |
1022.92/1023.68 c | 987516 | 2671 15570 54854 | 80007 75441 39 | 0.075 % |
1023.82/1024.53 c | 988173 | 2671 15570 54854 | 80007 76098 39 | 0.075 % |
1024.42/1025.17 c | 988894 | 2671 15570 54854 | 80007 76819 40 | 0.075 % |
1024.92/1025.63 c | 989687 | 2671 15570 54854 | 80007 77612 40 | 0.075 % |
1025.82/1026.53 c | 990558 | 2671 15570 54854 | 77925 68287 40 | 0.075 % |
1026.72/1027.40 c | 991517 | 2671 15570 54854 | 77925 69246 40 | 0.075 % |
1027.52/1028.29 c | 992571 | 2671 15570 54854 | 77925 70300 40 | 0.075 % |
1028.62/1029.31 c | 993730 | 2671 15570 54854 | 77925 71459 40 | 0.075 % |
1029.52/1030.26 c | 995003 | 2671 15570 54854 | 77925 72732 41 | 0.075 % |
1030.81/1031.60 c | 996403 | 2671 15570 54854 | 77925 74132 41 | 0.075 % |
1032.12/1032.86 c | 997943 | 2671 15570 54854 | 77925 75672 41 | 0.075 % |
1033.81/1034.57 c | 999637 | 2671 15570 54854 | 77925 77366 41 | 0.075 % |
1035.91/1036.67 c | 1001505 | 2671 15570 54854 | 77730 68937 42 | 0.075 % |
1038.51/1039.27 c | 1003555 | 2671 15570 54854 | 77730 70987 42 | 0.075 % |
1040.21/1040.95 c | 1005808 | 2671 15570 54854 | 77730 73240 43 | 0.075 % |
1042.82/1043.58 c | 1008287 | 2671 15570 54854 | 77730 75719 43 | 0.075 % |
1046.02/1046.79 c | 1011014 | 2671 15570 54854 | 77432 68526 40 | 0.075 % |
1049.32/1050.08 c | 1014013 | 2671 15570 54854 | 77432 71525 40 | 0.075 % |
1053.01/1053.78 c | 1017311 | 2671 15570 54854 | 77432 74823 40 | 0.075 % |
1057.31/1058.06 c | 1020937 | 2671 15570 54854 | 77512 68198 38 | 0.075 % |
1063.20/1063.96 c | 1024925 | 2671 15570 54854 | 77512 72186 38 | 0.075 % |
1068.20/1068.91 c | 1029310 | 2671 15570 54854 | 77512 76571 38 | 0.075 % |
1073.30/1074.03 c | 1034133 | 2671 15570 54854 | 77263 71977 35 | 0.075 % |
1079.20/1079.96 c | 1039439 | 2671 15570 54854 | 77263 77283 36 | 0.075 % |
1086.49/1087.26 c | 1045275 | 2671 15570 54854 | 68271 65155 33 | 0.075 % |
1093.09/1093.86 c | 1051693 | 2671 15570 54854 | 2147483647 64720 34 | 0.075 % |
1102.58/1103.32 c | 1058754 | 2671 15570 54854 | 2147483647 71781 35 | 0.075 % |
1115.08/1115.88 c | 1066519 | 2671 15570 54854 | 2147483647 79546 36 | 0.075 % |
1121.77/1122.57 c | 1075060 | 2671 15570 54854 | 83028 75622 32 | 0.075 % |
1131.47/1132.21 c | 1084454 | 2671 15570 54854 | 80563 74979 35 | 0.075 % |
1131.57/1132.34 c | 1084554 | 2671 15570 54854 | 80563 75079 35 | 0.075 % |
1131.67/1132.45 c | 1084664 | 2671 15570 54854 | 80563 75189 35 | 0.075 % |
1131.87/1132.62 c | 1084787 | 2671 15570 54854 | 80563 75312 35 | 0.075 % |
1131.97/1132.78 c | 1084920 | 2671 15570 54854 | 80563 75445 35 | 0.075 % |
1132.17/1132.95 c | 1085068 | 2671 15570 54854 | 80563 75593 35 | 0.075 % |
1132.37/1133.16 c | 1085228 | 2671 15570 54854 | 80563 75753 35 | 0.075 % |
1132.57/1133.36 c | 1085407 | 2671 15570 54854 | 80563 75932 35 | 0.075 % |
1132.77/1133.57 c | 1085600 | 2671 15570 54854 | 80563 76125 35 | 0.075 % |
1133.07/1133.86 c | 1085812 | 2671 15570 54854 | 80563 76337 35 | 0.075 % |
1133.47/1134.20 c | 1086045 | 2671 15570 54854 | 80563 76570 35 | 0.075 % |
1133.67/1134.44 c | 1086302 | 2671 15570 54854 | 80563 76827 36 | 0.075 % |
1133.97/1134.70 c | 1086584 | 2671 15570 54854 | 80563 77109 36 | 0.075 % |
1134.17/1134.97 c | 1086894 | 2671 15570 54854 | 80563 77419 36 | 0.075 % |
1134.47/1135.25 c | 1087233 | 2671 15570 54854 | 80563 77758 36 | 0.075 % |
1134.97/1135.75 c | 1087606 | 2671 15570 54854 | 80563 78131 36 | 0.075 % |
1135.57/1136.37 c | 1088015 | 2671 15570 54854 | 80563 78540 36 | 0.075 % |
1136.07/1136.81 c | 1088465 | 2671 15570 54854 | 80563 78990 36 | 0.075 % |
1136.57/1137.38 c | 1088959 | 2671 15570 54854 | 80563 79484 36 | 0.075 % |
1137.07/1137.87 c | 1089502 | 2671 15570 54854 | 80563 80027 36 | 0.075 % |
1137.67/1138.45 c | 1090098 | 2671 15570 54854 | 80525 80623 36 | 0.075 % |
1138.77/1139.52 c | 1090756 | 2671 15570 54854 | 80525 70854 35 | 0.075 % |
1139.46/1140.20 c | 1091476 | 2671 15570 54854 | 80525 71574 35 | 0.075 % |
1140.36/1141.17 c | 1092269 | 2671 15570 54854 | 80525 72367 35 | 0.075 % |
1141.56/1142.31 c | 1093144 | 2671 15570 54854 | 80525 73242 35 | 0.075 % |
1142.56/1143.34 c | 1094102 | 2671 15570 54854 | 80525 74200 35 | 0.075 % |
1143.96/1144.73 c | 1095156 | 2671 15570 54854 | 80525 75254 36 | 0.075 % |
1144.96/1145.78 c | 1096314 | 2671 15570 54854 | 80525 76412 36 | 0.075 % |
1146.36/1147.19 c | 1097588 | 2671 15570 54854 | 80525 77686 36 | 0.075 % |
1147.96/1148.71 c | 1098989 | 2671 15570 54854 | 80525 79087 36 | 0.075 % |
1149.65/1150.41 c | 1100530 | 2671 15570 54854 | 80098 69964 34 | 0.075 % |
1151.05/1151.84 c | 1102224 | 2671 15570 54854 | 80098 71658 35 | 0.075 % |
1153.06/1153.83 c | 1104087 | 2671 15570 54854 | 80098 73521 35 | 0.075 % |
1154.75/1155.59 c | 1106137 | 2671 15570 54854 | 80098 75571 36 | 0.075 % |
1157.46/1158.21 c | 1108392 | 2671 15570 54854 | 80098 77826 37 | 0.075 % |
1160.65/1161.49 c | 1110870 | 2671 15570 54854 | 79435 68122 36 | 0.075 % |
1163.75/1164.54 c | 1113595 | 2671 15570 54854 | 79435 70847 36 | 0.075 % |
1165.15/1165.94 c | 1116592 | 2671 15570 54854 | 79435 73844 36 | 0.075 % |
1168.55/1169.37 c | 1119888 | 2671 15570 54854 | 79435 77140 37 | 0.075 % |
1172.85/1173.63 c | 1123513 | 2671 15570 54854 | 77253 71144 39 | 0.075 % |
1176.84/1177.70 c | 1127500 | 2671 15570 54854 | 77253 75131 41 | 0.075 % |
1182.34/1183.12 c | 1131886 | 2671 15570 54854 | 77631 68852 37 | 0.075 % |
1188.03/1188.89 c | 1136709 | 2671 15570 54854 | 77631 73675 37 | 0.075 % |
1194.93/1195.71 c | 1142015 | 2671 15570 54854 | 76969 69015 36 | 0.075 % |
1200.03/1200.80 HOME/SatELiteGTI: line 36: 28574 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832045-1242768652/watcher-1832045-1242768652 -o /tmp/evaluation-result-1832045-1242768652/solver-1832045-1242768652 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832045-1242768652.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.40 1.17 1.09 3/65 28568
/proc/meminfo: memFree=1901056/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 278 249 0 0 0 0 0 0 18 0 1 0 304895598 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/28568/statm: 1339 236 196 169 0 50 0
[startup+0.0999361 s]
/proc/loadavg: 1.40 1.17 1.09 3/65 28568
/proc/meminfo: memFree=1901056/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304895598 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28568/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102927 s]
/proc/loadavg: 1.40 1.17 1.09 3/65 28568
/proc/meminfo: memFree=1901056/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304895598 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28568/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302968 s]
/proc/loadavg: 1.40 1.17 1.09 3/65 28568
/proc/meminfo: memFree=1901056/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356
[startup+0.702043 s]
/proc/loadavg: 1.40 1.17 1.09 3/65 28568
/proc/meminfo: memFree=1901056/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5356
[startup+1.5012 s]
/proc/loadavg: 1.37 1.17 1.09 2/67 28574
/proc/meminfo: memFree=1897712/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=3740 CPUtime=1.28
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 667 0 0 0 128 0 0 0 25 0 1 0 304895619 3829760 653 1992294400 134512640 135215339 4294956240 18446744073709551615 134538338 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 935 653 77 171 0 762 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9096
[startup+3.10151 s]
/proc/loadavg: 1.37 1.17 1.09 2/67 28574
/proc/meminfo: memFree=1897072/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=5356 CPUtime=2.87
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 1039 0 0 0 287 0 0 0 25 0 1 0 304895619 5484544 1025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528903 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 1339 1025 77 171 0 1166 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10712
[startup+6.30114 s]
/proc/loadavg: 1.50 1.20 1.10 2/67 28574
/proc/meminfo: memFree=1894064/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=7792 CPUtime=6.07
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 1674 0 0 0 606 1 0 0 25 0 1 0 304895619 7979008 1660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 1948 1660 77 171 0 1775 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13148
[startup+12.7014 s]
/proc/loadavg: 1.46 1.19 1.10 2/67 28574
/proc/meminfo: memFree=1890160/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=11388 CPUtime=12.46
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 2552 0 0 0 1244 2 0 0 25 0 1 0 304895619 11661312 2538 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 2847 2538 77 171 0 2674 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 16744
[startup+25.5019 s]
/proc/loadavg: 1.39 1.19 1.10 2/67 28574
/proc/meminfo: memFree=1885424/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=15968 CPUtime=25.25
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 3696 0 0 0 2521 4 0 0 25 0 1 0 304895619 16351232 3682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 3992 3682 77 171 0 3819 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21324
[startup+51.1029 s]
/proc/loadavg: 1.23 1.17 1.09 2/67 28574
/proc/meminfo: memFree=1879344/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=21956 CPUtime=50.84
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5177 0 0 0 5078 6 0 0 25 0 1 0 304895619 22482944 5163 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5489 5163 77 171 0 5316 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 27312
[startup+102.307 s]
/proc/loadavg: 1.10 1.14 1.09 2/67 28574
/proc/meminfo: memFree=1878960/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22240 CPUtime=102
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5231 0 0 0 10194 6 0 0 25 0 1 0 304895619 22773760 5217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5560 5217 77 171 0 5387 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 27596
[startup+162.302 s]
/proc/loadavg: 1.03 1.11 1.08 2/67 28574
/proc/meminfo: memFree=1878704/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22240 CPUtime=161.95
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5255 0 0 0 16189 6 0 0 25 0 1 0 304895619 22773760 5241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5560 5241 77 171 0 5387 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 27596
[startup+222.302 s]
/proc/loadavg: 1.01 1.09 1.07 2/67 28574
/proc/meminfo: memFree=1878576/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22396 CPUtime=221.92
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5267 0 0 0 22185 7 0 0 25 0 1 0 304895619 22933504 5253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5253 77 171 0 5426 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 27752
[startup+282.301 s]
/proc/loadavg: 1.00 1.07 1.07 2/67 28574
/proc/meminfo: memFree=1878512/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22396 CPUtime=281.89
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5269 0 0 0 28182 7 0 0 25 0 1 0 304895619 22933504 5255 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5255 77 171 0 5426 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 27752
[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.06 2/67 28574
/proc/meminfo: memFree=1878384/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22396 CPUtime=341.84
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5270 0 0 0 34177 7 0 0 25 0 1 0 304895619 22933504 5256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5256 77 171 0 5426 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 27752
[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/67 28574
/proc/meminfo: memFree=1878256/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22396 CPUtime=401.81
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5285 0 0 0 40174 7 0 0 25 0 1 0 304895619 22933504 5271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5271 77 171 0 5426 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 27752
[startup+462.302 s]
################
# More data... #
################
[pid=28574] ppid=28568 vsize=22396 CPUtime=461.77
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5299 0 0 0 46170 7 0 0 25 0 1 0 304895619 22933504 5285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5285 77 171 0 5426 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 27752
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/67 28574
/proc/meminfo: memFree=1878000/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22396 CPUtime=521.73
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5299 0 0 0 52166 7 0 0 25 0 1 0 304895619 22933504 5285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5599 5285 77 171 0 5426 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 27752
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/67 28574
/proc/meminfo: memFree=1877936/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=581.69
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5306 0 0 0 58162 7 0 0 25 0 1 0 304895619 23080960 5292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5292 77 171 0 5462 0
Current children cumulated CPU time (s) 581.89
Current children cumulated vsize (KiB) 27896
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.03 2/67 28574
/proc/meminfo: memFree=1877808/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=641.66
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5306 0 0 0 64159 7 0 0 25 0 1 0 304895619 23080960 5292 1992294400 134512640 135215339 4294956240 18446744073709551615 134545755 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5292 77 171 0 5462 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 27896
[startup+702.302 s]
/proc/loadavg: 1.00 1.01 1.03 2/67 28574
/proc/meminfo: memFree=1877680/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=701.63
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5306 0 0 0 70155 8 0 0 25 0 1 0 304895619 23080960 5292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5292 77 171 0 5462 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 27896
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 28574
/proc/meminfo: memFree=1877552/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=761.59
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5307 0 0 0 76151 8 0 0 25 0 1 0 304895619 23080960 5293 1992294400 134512640 135215339 4294956240 18446744073709551615 134525029 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5293 77 171 0 5462 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 27896
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 28574
/proc/meminfo: memFree=1877488/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=821.56
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5317 0 0 0 82148 8 0 0 25 0 1 0 304895619 23080960 5303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5303 77 171 0 5462 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 27896
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 28575
/proc/meminfo: memFree=1877168/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=881.52
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5317 0 0 0 88144 8 0 0 25 0 1 0 304895619 23080960 5303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5303 77 171 0 5462 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 27896
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28575
/proc/meminfo: memFree=1877040/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=941.49
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5332 0 0 0 94141 8 0 0 25 0 1 0 304895619 23080960 5318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5318 77 171 0 5462 0
Current children cumulated CPU time (s) 941.69
Current children cumulated vsize (KiB) 27896
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28575
/proc/meminfo: memFree=1876976/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=1001.44
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5333 0 0 0 100136 8 0 0 25 0 1 0 304895619 23080960 5319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5319 77 171 0 5462 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 27896
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28575
/proc/meminfo: memFree=1876912/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=1061.41
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5333 0 0 0 106132 9 0 0 25 0 1 0 304895619 23080960 5319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5319 77 171 0 5462 0
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (KiB) 27896
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28576
/proc/meminfo: memFree=1876720/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=1121.37
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5335 0 0 0 112128 9 0 0 25 0 1 0 304895619 23080960 5321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5321 77 171 0 5462 0
Current children cumulated CPU time (s) 1121.57
Current children cumulated vsize (KiB) 27896
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28576
/proc/meminfo: memFree=1876656/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=1181.34
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5336 0 0 0 118125 9 0 0 25 0 1 0 304895619 23080960 5322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5322 77 171 0 5462 0
Current children cumulated CPU time (s) 1181.54
Current children cumulated vsize (KiB) 27896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28576
/proc/meminfo: memFree=1876592/2055920 swapFree=4177008/4192956
[pid=28568] ppid=28566 vsize=5356 CPUtime=0.2
/proc/28568/stat : 28568 (SatELiteGTI) S 28566 28568 28415 0 -1 4194304 336 1374 0 0 0 0 19 1 15 0 1 0 304895598 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28568/statm: 1339 239 197 169 0 50 0
[pid=28574] ppid=28568 vsize=22540 CPUtime=1199.83
/proc/28574/stat : 28574 (minisat_static) R 28568 28568 28415 0 -1 4194304 5336 0 0 0 119974 9 0 0 25 0 1 0 304895619 23080960 5322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28574/statm: 5635 5322 77 171 0 5462 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 27896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.06
CPU user time (s): 1199.94
CPU system time (s): 0.115982
CPU usage (%): 99.937
Max. virtual memory (cumulated for all children) (KiB): 27896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7055
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= 25
involuntary context switches= 6901
runsolver used 1.07883 second user time and 3.40448 second system time
The end
Begin job on node77 at 2009-05-19 23:30:52
IDJOB=1832045
IDBENCH=20399
IDSOLVER=671
FILE ID=node77/1832045-1242768652
PBS_JOBID= 9322226
Free space on /tmp= 66216 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832045-1242768652/watcher-1832045-1242768652 -o /tmp/evaluation-result-1832045-1242768652/solver-1832045-1242768652 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832045-1242768652.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED=578315836
node77.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.270
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.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1901600 kB
Buffers: 10072 kB
Cached: 105188 kB
SwapCached: 10200 kB
Active: 30312 kB
Inactive: 96880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1901600 kB
SwapTotal: 4192956 kB
SwapFree: 4177008 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 13132 kB
Committed_AS: 1064340 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66212 MiB
End job on node77 at 2009-05-19 23:50:55