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.11/0.17 c | 0 | 15594 54914 | -- 0 -- -- | -- | -7643/-8620
0.11/0.17 c ==============================================================================
0.11/0.17 c Result : #vars: 2673 #clauses: 15594 #literals: 54914
0.11/0.17 c CPU time: 0.17 s
0.11/0.17 c ==============================================================================
0.11/0.19 c This is MiniSat 2.0 beta
0.11/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.11/0.20 c ============================[ Problem Statistics ]=============================
0.11/0.20 c | |
0.11/0.20 c | Number of variables: 2673 |
0.11/0.20 c | Number of clauses: 15594 |
0.20/0.21 c | Parsing time: 0.01 s |
0.20/0.21 c ============================[ Search Statistics ]==============================
0.20/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.20/0.21 c ===============================================================================
0.20/0.21 c | 0 | 2673 15594 54914 | 5198 0 nan | 0.000 % |
0.20/0.21 c | 101 | 2673 15594 54914 | 5198 101 6 | 0.000 % |
0.20/0.22 c | 201 | 2673 15594 54914 | 5198 201 7 | 0.000 % |
0.20/0.22 c | 303 | 2673 15594 54914 | 5198 303 8 | 0.000 % |
0.20/0.22 c | 414 | 2673 15594 54914 | 5198 414 9 | 0.000 % |
0.20/0.23 c | 514 | 2673 15594 54914 | 5198 514 9 | 0.000 % |
0.20/0.24 c | 625 | 2673 15594 54914 | 5198 625 13 | 0.000 % |
0.20/0.24 c | 747 | 2673 15594 54914 | 5198 747 13 | 0.000 % |
0.20/0.25 c | 848 | 2673 15594 54914 | 5198 848 14 | 0.000 % |
0.20/0.26 c | 958 | 2673 15594 54914 | 5198 958 16 | 0.000 % |
0.20/0.27 c | 1080 | 2673 15594 54914 | 5198 1080 16 | 0.000 % |
0.20/0.29 c | 1213 | 2673 15594 54914 | 5198 1213 24 | 0.000 % |
0.20/0.31 c | 1314 | 2673 15594 54914 | 5198 1314 27 | 0.000 % |
0.20/0.34 c | 1424 | 2673 15594 54914 | 5198 1424 31 | 0.000 % |
0.20/0.36 c | 1545 | 2673 15594 54914 | 5198 1545 32 | 0.000 % |
0.20/0.37 c | 1679 | 2673 15594 54914 | 5198 1679 30 | 0.000 % |
0.20/0.38 c | 1827 | 2673 15594 54914 | 5198 1827 29 | 0.000 % |
0.20/0.39 c | 1927 | 2673 15594 54914 | 5198 1927 29 | 0.000 % |
0.20/0.40 c | 2037 | 2673 15594 54914 | 5198 2037 29 | 0.000 % |
0.20/0.41 c | 2159 | 2673 15594 54914 | 5198 2159 29 | 0.000 % |
0.20/0.43 c | 2293 | 2673 15594 54914 | 5198 2293 29 | 0.000 % |
0.20/0.43 c | 2442 | 2673 15594 54914 | 5198 2442 28 | 0.000 % |
0.20/0.44 c | 2604 | 2673 15594 54914 | 5198 2604 27 | 0.000 % |
0.20/0.45 c | 2705 | 2673 15594 54914 | 5198 2705 27 | 0.000 % |
0.20/0.46 c | 2815 | 2673 15594 54914 | 5198 2815 26 | 0.000 % |
0.20/0.47 c | 2937 | 2673 15594 54914 | 5198 2937 26 | 0.000 % |
0.20/0.48 c | 3070 | 2673 15594 54914 | 5198 3070 26 | 0.000 % |
0.20/0.50 c | 3216 | 2673 15594 54914 | 5198 3216 29 | 0.000 % |
0.20/0.52 c | 3376 | 2673 15594 54914 | 5198 3376 29 | 0.000 % |
0.20/0.53 c | 3555 | 2673 15594 54914 | 5198 3555 28 | 0.000 % |
0.20/0.55 c | 3655 | 2673 15594 54914 | 5198 3655 29 | 0.000 % |
0.20/0.56 c | 3765 | 2673 15594 54914 | 5198 3765 29 | 0.000 % |
0.20/0.57 c | 3886 | 2673 15594 54914 | 5198 3886 29 | 0.000 % |
0.20/0.60 c | 4019 | 2673 15594 54914 | 5198 4019 31 | 0.000 % |
0.20/0.62 c | 4165 | 2673 15594 54914 | 5198 4165 30 | 0.000 % |
0.20/0.64 c | 4325 | 2673 15594 54914 | 5198 4325 31 | 0.000 % |
0.20/0.67 c | 4502 | 2673 15594 54914 | 5198 4502 31 | 0.000 % |
0.20/0.71 c | 4695 | 2673 15594 54914 | 5198 4695 33 | 0.000 % |
0.20/0.73 c | 4795 | 2673 15594 54914 | 5198 4795 33 | 0.000 % |
0.20/0.75 c | 4905 | 2673 15594 54914 | 5198 4905 34 | 0.001 % |
0.20/0.77 c | 5027 | 2673 15594 54914 | 5198 5027 34 | 0.000 % |
0.20/0.78 c | 5160 | 2673 15594 54914 | 5198 5160 34 | 0.001 % |
0.20/0.79 c | 5306 | 2673 15594 54914 | 5198 5306 34 | 0.000 % |
0.20/0.82 c | 5467 | 2673 15594 54914 | 5198 4937 35 | 0.000 % |
0.20/0.83 c | 5643 | 2673 15594 54914 | 5198 5113 34 | 0.000 % |
0.20/0.86 c | 5836 | 2673 15594 54914 | 5198 5306 34 | 0.000 % |
0.20/0.87 c | 6049 | 2673 15594 54914 | 5198 4989 31 | 0.000 % |
0.20/0.90 c | 6149 | 2673 15594 54914 | 5198 5089 33 | 0.000 % |
0.20/0.93 c | 6262 | 2673 15594 54914 | 5198 5202 33 | 0.000 % |
0.20/0.94 c | 6383 | 2673 15594 54914 | 5198 4803 33 | 0.000 % |
0.20/0.95 c | 6516 | 2673 15594 54914 | 5198 4936 32 | 0.000 % |
0.20/0.98 c | 6663 | 2673 15594 54914 | 5198 5083 33 | 0.000 % |
1.01/1.01 c | 6824 | 2673 15594 54914 | 5198 5244 34 | 0.000 % |
1.01/1.06 c | 7001 | 2673 15594 54914 | 5198 4897 36 | 0.000 % |
1.01/1.08 c | 7194 | 2673 15594 54914 | 5198 5090 36 | 0.000 % |
1.01/1.09 c | 7408 | 2673 15594 54914 | 5198 5304 35 | 0.000 % |
1.12/1.13 c | 7641 | 2673 15594 54914 | 5198 5007 35 | 0.000 % |
1.12/1.14 c | 7741 | 2673 15594 54914 | 5198 5107 35 | 0.000 % |
1.12/1.16 c | 7851 | 2673 15594 54914 | 5198 5217 35 | 0.000 % |
1.12/1.19 c | 7972 | 2673 15594 54914 | 5198 4817 35 | 0.000 % |
1.12/1.20 c | 8109 | 2673 15594 54914 | 5198 4954 34 | 0.000 % |
1.21/1.22 c | 8255 | 2673 15594 54914 | 5198 5100 35 | 0.000 % |
1.21/1.23 c | 8415 | 2673 15594 54914 | 5198 5260 34 | 0.000 % |
1.21/1.26 c | 8591 | 2673 15594 54914 | 5198 4910 31 | 0.000 % |
1.21/1.30 c | 8785 | 2673 15594 54914 | 5198 5104 32 | 0.000 % |
1.31/1.36 c | 8999 | 2673 15594 54914 | 5198 5318 33 | 0.000 % |
1.31/1.40 c | 9232 | 2673 15594 54914 | 5198 5020 34 | 0.000 % |
1.41/1.45 c | 9488 | 2673 15594 54914 | 5198 5276 34 | 0.000 % |
1.41/1.46 c | 9589 | 2673 15594 54914 | 5198 4850 34 | 0.000 % |
1.41/1.48 c | 9699 | 2673 15594 54914 | 5198 4960 34 | 0.000 % |
1.41/1.50 c | 9821 | 2673 15594 54914 | 5198 5082 34 | 0.000 % |
1.51/1.51 c | 9954 | 2673 15594 54914 | 5198 5215 34 | 0.000 % |
1.51/1.53 c | 10100 | 2673 15594 54914 | 2147483647 4840 32 | 0.000 % |
1.51/1.55 c | 10260 | 2673 15594 54914 | 2147483647 5000 33 | 0.000 % |
1.51/1.58 c | 10437 | 2673 15594 54914 | 2147483647 5177 33 | 0.000 % |
1.61/1.61 c | 10632 | 2673 15594 54914 | 2147483647 5372 34 | 0.000 % |
1.61/1.65 c | 10846 | 2673 15594 54914 | 2147483647 5586 34 | 0.000 % |
1.61/1.67 c | 11081 | 2673 15594 54914 | 2147483647 5821 33 | 0.000 % |
1.71/1.73 c | 11339 | 2673 15594 54914 | 2147483647 6079 35 | 0.000 % |
1.71/1.79 c | 11620 | 2673 15594 54914 | 2147483647 6360 37 | 0.000 % |
1.81/1.82 c | 11721 | 2673 15594 54914 | 2147483647 6461 37 | 0.001 % |
1.81/1.85 c | 11831 | 2673 15594 54914 | 2147483647 6571 38 | 0.000 % |
1.81/1.86 c | 11953 | 2673 15594 54914 | 2147483647 6693 38 | 0.000 % |
1.81/1.87 c | 12087 | 2673 15594 54914 | 2147483647 6827 37 | 0.000 % |
1.81/1.89 c | 12233 | 2673 15594 54914 | 2147483647 6973 37 | 0.000 % |
1.91/1.91 c | 12393 | 2673 15594 54914 | 2147483647 7133 36 | 0.000 % |
1.91/1.95 c | 12569 | 2673 15594 54914 | 2147483647 7309 37 | 0.000 % |
1.91/1.97 c | 12762 | 2673 15594 54914 | 2147483647 7502 37 | 0.000 % |
2.01/2.02 c | 12975 | 2673 15594 54914 | 2147483647 7715 37 | 0.000 % |
2.01/2.04 c | 13208 | 2673 15594 54914 | 2147483647 7948 36 | 0.000 % |
2.01/2.09 c | 13467 | 2673 15594 54914 | 2147483647 8207 36 | 0.000 % |
2.11/2.14 c | 13748 | 2673 15594 54914 | 2147483647 8488 37 | 0.000 % |
2.22/2.25 c | 14059 | 2673 15594 54914 | 2147483647 8799 38 | 0.000 % |
2.22/2.28 c | 14159 | 2673 15594 54914 | 2147483647 8899 39 | 0.000 % |
2.31/2.31 c | 14270 | 2673 15594 54914 | 2147483647 9010 39 | 0.000 % |
2.31/2.33 c | 14392 | 2673 15594 54914 | 2147483647 9132 38 | 0.000 % |
2.31/2.36 c | 14525 | 2673 15594 54914 | 2147483647 9265 39 | 0.000 % |
2.31/2.37 c | 14671 | 2673 15594 54914 | 2147483647 9411 38 | 0.000 % |
2.41/2.41 c | 14831 | 2673 15594 54914 | 2147483647 9571 39 | 0.000 % |
2.41/2.45 c | 15008 | 2673 15594 54914 | 2147483647 9748 38 | 0.000 % |
2.51/2.52 c | 15203 | 2673 15594 54914 | 2147483647 9943 39 | 0.000 % |
2.51/2.58 c | 15417 | 2673 15594 54914 | 2147483647 10157 39 | 0.000 % |
2.61/2.62 c | 15650 | 2673 15594 54914 | 2147483647 10390 39 | 0.001 % |
2.61/2.65 c | 15906 | 2673 15594 54914 | 2147483647 10646 38 | 0.000 % |
2.61/2.69 c | 16187 | 2673 15594 54914 | 2147483647 10927 38 | 0.000 % |
2.71/2.76 c | 16497 | 2673 15594 54914 | 2147483647 11237 39 | 0.000 % |
2.81/2.84 c | 16838 | 2673 15594 54914 | 2147483647 11578 39 | 0.000 % |
2.81/2.86 c | 16939 | 2673 15594 54914 | 2147483647 11679 39 | 0.000 % |
2.81/2.88 c | 17049 | 2673 15594 54914 | 2147483647 11789 39 | 0.000 % |
2.91/2.92 c | 17170 | 2673 15594 54914 | 2147483647 11910 39 | 0.001 % |
2.91/2.95 c | 17303 | 2673 15594 54914 | 2147483647 12043 39 | 0.000 % |
2.91/2.98 c | 17449 | 2673 15594 54914 | 2147483647 12189 39 | 0.000 % |
2.91/3.00 c | 17609 | 2673 15594 54914 | 2147483647 12349 39 | 0.000 % |
3.01/3.05 c | 17786 | 2673 15594 54914 | 2147483647 12526 39 | 0.000 % |
3.01/3.10 c | 17979 | 2673 15594 54914 | 2147483647 12719 39 | 0.000 % |
3.11/3.18 c | 18192 | 2673 15594 54914 | 2147483647 12932 39 | 0.000 % |
3.21/3.27 c | 18425 | 2673 15594 54914 | 2147483647 13165 40 | 0.000 % |
3.21/3.29 c | 18682 | 2673 15594 54914 | 2147483647 13422 39 | 0.000 % |
3.32/3.33 c | 18963 | 2673 15594 54914 | 2147483647 13703 39 | 0.000 % |
3.41/3.43 c | 19272 | 2673 15594 54914 | 2147483647 14012 39 | 0.000 % |
3.51/3.57 c | 19611 | 2673 15594 54914 | 2147483647 14351 40 | 0.000 % |
3.71/3.73 c | 19983 | 2673 15594 54914 | 2147483647 14723 40 | 0.000 % |
3.71/3.75 c | 20084 | 2673 15594 54914 | 2147483647 14824 40 | 0.000 % |
3.71/3.78 c | 20195 | 2673 15594 54914 | 2147483647 14935 41 | 0.001 % |
3.81/3.85 c | 20316 | 2673 15594 54914 | 2147483647 15056 41 | 0.000 % |
3.81/3.89 c | 20450 | 2673 15594 54914 | 2147483647 15190 41 | 0.000 % |
3.91/3.94 c | 20597 | 2673 15594 54914 | 2147483647 15337 41 | 0.000 % |
3.91/3.99 c | 20757 | 2673 15594 54914 | 2147483647 15497 41 | 0.000 % |
4.01/4.02 c | 20933 | 2673 15594 54914 | 2147483647 15673 41 | 0.000 % |
4.01/4.06 c | 21126 | 2673 15594 54914 | 2147483647 15866 41 | 0.000 % |
4.01/4.07 c | 21339 | 2673 15594 54914 | 2147483647 16079 41 | 0.000 % |
4.11/4.12 c | 21572 | 2673 15594 54914 | 2147483647 16312 41 | 0.000 % |
4.21/4.21 c | 21828 | 2673 15594 54914 | 2147483647 16568 41 | 0.000 % |
4.31/4.32 c | 22109 | 2673 15594 54914 | 2147483647 16849 42 | 0.001 % |
4.42/4.44 c | 22418 | 2673 15594 54914 | 2147483647 17158 42 | 0.000 % |
4.51/4.57 c | 22757 | 2673 15594 54914 | 2147483647 17497 43 | 0.000 % |
4.61/4.70 c | 23129 | 2673 15594 54914 | 2147483647 17869 42 | 0.000 % |
4.81/4.85 c | 23539 | 2673 15594 54914 | 2147483647 18279 42 | 0.000 % |
4.81/4.89 c | 23639 | 2673 15594 54914 | 2147483647 18379 42 | 0.000 % |
4.91/4.96 c | 23749 | 2673 15594 54914 | 2147483647 18489 43 | 0.000 % |
4.91/4.99 c | 23871 | 2673 15594 54914 | 2147483647 18611 43 | 0.000 % |
5.01/5.01 c | 24004 | 2673 15594 54914 | 2147483647 18744 42 | 0.000 % |
5.01/5.06 c | 24152 | 2673 15594 54914 | 2147483647 18892 43 | 0.000 % |
5.01/5.09 c | 24312 | 2673 15594 54914 | 2147483647 19052 42 | 0.000 % |
5.11/5.14 c | 24488 | 2673 15594 54914 | 2147483647 19228 42 | 0.000 % |
5.11/5.18 c | 24682 | 2673 15594 54914 | 2147483647 19422 42 | 0.000 % |
5.21/5.26 c | 24894 | 2673 15594 54914 | 2147483647 19634 42 | 0.000 % |
5.31/5.36 c | 25127 | 2673 15594 54914 | 2147483647 19867 42 | 0.000 % |
5.41/5.48 c | 25383 | 2673 15594 54914 | 2147483647 20123 42 | 0.000 % |
5.52/5.56 c | 25664 | 2673 15594 54914 | 2147483647 20404 42 | 0.000 % |
5.52/5.60 c | 25973 | 2673 15594 54914 | 2147483647 20713 42 | 0.000 % |
5.61/5.65 c | 26313 | 2673 15594 54914 | 2147483647 21053 42 | 0.000 % |
5.81/5.84 c | 26685 | 2673 15594 54914 | 2147483647 21425 42 | 0.000 % |
6.01/6.03 c | 27096 | 2673 15594 54914 | 2147483647 21836 43 | 0.000 % |
6.21/6.23 c | 27545 | 2673 15594 54914 | 2147483647 22285 43 | 0.000 % |
6.21/6.28 c | 27648 | 2673 15594 54914 | 2147483647 22388 43 | 0.000 % |
6.31/6.31 c | 27760 | 2673 15594 54914 | 2147483647 22500 43 | 0.001 % |
6.31/6.36 c | 27881 | 2673 15594 54914 | 2147483647 22621 43 | 0.000 % |
6.41/6.43 c | 28014 | 2673 15594 54914 | 2147483647 22754 43 | 0.000 % |
6.41/6.49 c | 28160 | 2673 15594 54914 | 2147483647 22900 43 | 0.000 % |
6.51/6.55 c | 28320 | 2673 15594 54914 | 2147483647 23060 43 | 0.000 % |
6.51/6.60 c | 28497 | 2673 15594 54914 | 2147483647 23237 43 | 0.000 % |
6.62/6.68 c | 28691 | 2673 15594 54914 | 2147483647 23431 44 | 0.000 % |
6.71/6.76 c | 28904 | 2673 15594 54914 | 2147483647 23644 44 | 0.000 % |
6.81/6.86 c | 29137 | 2673 15594 54914 | 2147483647 23877 44 | 0.000 % |
6.91/6.99 c | 29394 | 2673 15594 54914 | 2147483647 24134 44 | 0.000 % |
7.11/7.12 c | 29675 | 2673 15594 54914 | 2147483647 24415 44 | 0.000 % |
7.11/7.20 c | 29984 | 2673 15594 54914 | 2147483647 24724 44 | 0.000 % |
7.31/7.35 c | 30324 | 2673 15594 54914 | 2147483647 25064 44 | 0.000 % |
7.41/7.49 c | 30696 | 2673 15594 54914 | 2147483647 25436 44 | 0.000 % |
7.61/7.70 c | 31106 | 2673 15594 54914 | 2147483647 25846 44 | 0.000 % |
7.91/7.93 c | 31555 | 2673 15594 54914 | 2147483647 26295 44 | 0.000 % |
8.21/8.23 c | 32049 | 2673 15594 54914 | 2147483647 26789 44 | 0.000 % |
8.21/8.26 c | 32151 | 2673 15594 54914 | 2147483647 26891 44 | 0.000 % |
8.21/8.29 c | 32261 | 2673 15594 54914 | 2147483647 27001 44 | 0.000 % |
8.31/8.36 c | 32382 | 2673 15594 54914 | 2147483647 27122 44 | 0.001 % |
8.41/8.41 c | 32515 | 2673 15594 54914 | 2147483647 27255 44 | 0.000 % |
8.41/8.47 c | 32666 | 2673 15594 54914 | 2147483647 27406 44 | 0.000 % |
8.51/8.51 c | 32826 | 2673 15594 54914 | 2147483647 27566 44 | 0.000 % |
8.61/8.61 c | 33003 | 2673 15594 54914 | 2147483647 27743 44 | 0.000 % |
8.61/8.70 c | 33197 | 2673 15594 54914 | 2147483647 27937 44 | 0.000 % |
8.82/8.82 c | 33409 | 2673 15594 54914 | 2147483647 28149 44 | 0.000 % |
8.91/8.93 c | 33643 | 2673 15594 54914 | 2147483647 28383 44 | 0.000 % |
9.01/9.08 c | 33902 | 2673 15594 54914 | 2147483647 28642 44 | 0.000 % |
9.11/9.19 c | 34183 | 2673 15594 54914 | 2147483647 28923 45 | 0.000 % |
9.31/9.37 c | 34494 | 2673 15594 54914 | 2147483647 29234 45 | 0.000 % |
9.41/9.47 c | 34833 | 2673 15594 54914 | 2147483647 29573 45 | 0.000 % |
9.51/9.59 c | 35206 | 2673 15594 54914 | 2147483647 29946 45 | 0.000 % |
9.81/9.91 c | 35616 | 2673 15594 54914 | 2147483647 30356 45 | 0.000 % |
10.21/10.22 c | 36066 | 2673 15594 54914 | 2147483647 30806 46 | 0.000 % |
10.51/10.59 c | 36559 | 2673 15594 54914 | 2147483647 31299 46 | 0.001 % |
10.91/10.93 c | 37102 | 2673 15594 54914 | 2147483647 31842 46 | 0.000 % |
10.91/11.00 c | 37203 | 2673 15594 54914 | 2147483647 31943 46 | 0.000 % |
11.02/11.07 c | 37315 | 2673 15594 54914 | 2147483647 32055 46 | 0.000 % |
11.11/11.16 c | 37437 | 2673 15594 54914 | 2147483647 32177 46 | 0.000 % |
11.21/11.22 c | 37570 | 2673 15594 54914 | 2147483647 32310 46 | 0.000 % |
11.21/11.27 c | 37716 | 2673 15594 54914 | 2147483647 32456 46 | 0.000 % |
11.31/11.37 c | 37876 | 2673 15594 54914 | 2147483647 32616 46 | 0.000 % |
11.51/11.51 c | 38053 | 2673 15594 54914 | 2147483647 32793 46 | 0.000 % |
11.61/11.62 c | 38247 | 2673 15594 54914 | 2147483647 32987 46 | 0.001 % |
11.71/11.79 c | 38459 | 2673 15594 54914 | 2147483647 33199 46 | 0.000 % |
11.91/11.91 c | 38692 | 2673 15594 54914 | 2147483647 33432 46 | 0.000 % |
12.01/12.07 c | 38948 | 2673 15594 54914 | 2147483647 33688 46 | 0.000 % |
12.21/12.26 c | 39230 | 2673 15594 54914 | 2147483647 33970 46 | 0.000 % |
12.31/12.37 c | 39539 | 2673 15594 54914 | 2147483647 34279 46 | 0.000 % |
12.61/12.67 c | 39880 | 2673 15594 54914 | 2147483647 34620 46 | 0.000 % |
12.81/12.85 c | 40255 | 2673 15594 54914 | 2147483647 34995 47 | 0.000 % |
13.22/13.23 c | 40665 | 2673 15594 54914 | 2147483647 35405 47 | 0.000 % |
13.31/13.33 c | 41115 | 2673 15594 54914 | 2147483647 35855 47 | 0.000 % |
13.61/13.60 c | 41608 | 2673 15594 54914 | 2147483647 36348 47 | 0.000 % |
13.71/13.73 c | 42150 | 2673 15594 54914 | 2147483647 36890 47 | 0.000 % |
14.11/14.19 c | 42748 | 2673 15594 54914 | 2147483647 37488 47 | 0.000 % |
14.21/14.28 c | 42849 | 2673 15594 54914 | 2147483647 37589 47 | 0.000 % |
14.32/14.34 c | 42961 | 2673 15594 54914 | 2147483647 37701 47 | 0.000 % |
14.41/14.45 c | 43082 | 2673 15594 54914 | 2147483647 37822 47 | 0.001 % |
14.51/14.55 c | 43216 | 2673 15594 54914 | 2147483647 37956 47 | 0.000 % |
14.61/14.66 c | 43362 | 2673 15594 54914 | 2147483647 38102 47 | 0.000 % |
14.71/14.77 c | 43522 | 2673 15594 54914 | 2147483647 38262 47 | 0.000 % |
14.81/14.82 c | 43699 | 2673 15594 54914 | 2147483647 38439 47 | 0.000 % |
14.91/14.91 c | 43892 | 2673 15594 54914 | 2147483647 38632 47 | 0.000 % |
15.01/15.02 c | 44105 | 2673 15594 54914 | 2147483647 38845 47 | 0.000 % |
15.11/15.19 c | 44338 | 2673 15594 54914 | 2147483647 39078 47 | 0.000 % |
15.31/15.41 c | 44595 | 2673 15594 54914 | 2147483647 39335 47 | 0.000 % |
15.51/15.58 c | 44876 | 2673 15594 54914 | 2147483647 39616 47 | 0.000 % |
15.71/15.79 c | 45186 | 2673 15594 54914 | 2147483647 39926 47 | 0.000 % |
16.01/16.08 c | 45526 | 2673 15594 54914 | 2147483647 40266 47 | 0.000 % |
16.41/16.41 c | 45898 | 2673 15594 54914 | 2147483647 40638 47 | 0.000 % |
16.71/16.79 c | 46307 | 2673 15594 54914 | 2147483647 41047 48 | 0.000 % |
17.11/17.18 c | 46756 | 2673 15594 54914 | 2147483647 41496 47 | 0.000 % |
17.51/17.58 c | 47250 | 2673 15594 54914 | 2147483647 41990 47 | 0.000 % |
17.91/17.99 c | 47792 | 2673 15594 54914 | 2147483647 42532 48 | 0.000 % |
18.41/18.41 c | 48389 | 2673 15594 54914 | 2147483647 43129 48 | 0.000 % |
18.81/18.86 c | 49044 | 2673 15594 54914 | 2147483647 43784 48 | 0.000 % |
18.91/18.93 c | 49146 | 2673 15594 54914 | 2147483647 43886 48 | 0.000 % |
19.01/19.03 c | 49257 | 2673 15594 54914 | 2147483647 43997 48 | 0.000 % |
19.01/19.08 c | 49378 | 2673 15594 54914 | 2147483647 44118 48 | 0.000 % |
19.11/19.12 c | 49514 | 2673 15594 54914 | 2147483647 44254 48 | 0.000 % |
19.21/19.26 c | 49661 | 2673 15594 54914 | 2147483647 44401 48 | 0.001 % |
19.31/19.36 c | 49821 | 2673 15594 54914 | 2147483647 44561 48 | 0.000 % |
19.51/19.56 c | 49998 | 2673 15594 54914 | 2147483647 44738 48 | 0.000 % |
19.71/19.76 c | 50191 | 2673 15594 54914 | 2147483647 44931 48 | 0.000 % |
19.82/19.85 c | 50403 | 2673 15594 54914 | 2147483647 45143 48 | 0.000 % |
20.01/20.04 c | 50637 | 2673 15594 54914 | 2147483647 45377 48 | 0.000 % |
20.21/20.25 c | 50893 | 2673 15594 54914 | 2147483647 45633 48 | 0.000 % |
20.41/20.50 c | 51174 | 2673 15594 54914 | 2147483647 45914 48 | 0.000 % |
20.71/20.75 c | 51484 | 2673 15594 54914 | 2147483647 46224 48 | 0.000 % |
20.92/20.95 c | 51823 | 2673 15594 54914 | 2147483647 46563 47 | 0.000 % |
21.01/21.05 c | 52195 | 2673 15594 54914 | 2147483647 46935 47 | 0.000 % |
21.31/21.31 c | 52604 | 2673 15594 54914 | 2147483647 47344 47 | 0.000 % |
21.61/21.67 c | 53053 | 2673 15594 54914 | 2147483647 47793 47 | 0.000 % |
21.91/22.01 c | 53547 | 2673 15594 54914 | 2147483647 48287 47 | 0.000 % |
22.31/22.38 c | 54090 | 2673 15594 54914 | 2147483647 48830 48 | 0.000 % |
22.82/22.82 c | 54686 | 2673 15594 54914 | 2147483647 49426 48 | 0.000 % |
23.32/23.32 c | 55341 | 2673 15594 54914 | 2147483647 50081 48 | 0.000 % |
23.92/23.95 c | 56061 | 2673 15594 54914 | 2147483647 50801 48 | 0.000 % |
24.02/24.09 c | 56164 | 2673 15594 54914 | 2147483647 50904 48 | 0.001 % |
24.22/24.24 c | 56275 | 2673 15594 54914 | 2147483647 51015 48 | 0.000 % |
24.32/24.37 c | 56396 | 2673 15594 54914 | 2147483647 51136 48 | 0.000 % |
24.42/24.44 c | 56529 | 2673 15594 54914 | 2147483647 51269 48 | 0.000 % |
24.62/24.65 c | 56675 | 2673 15594 54914 | 2147483647 51415 48 | 0.000 % |
24.62/24.68 c | 56836 | 2673 15594 54914 | 2147483647 51576 48 | 0.000 % |
24.72/24.77 c | 57012 | 2673 15594 54914 | 2147483647 51752 48 | 0.000 % |
24.92/24.97 c | 57205 | 2673 15594 54914 | 2147483647 51945 48 | 0.000 % |
25.12/25.14 c | 57418 | 2673 15594 54914 | 2147483647 52158 48 | 0.000 % |
25.32/25.36 c | 57651 | 2673 15594 54914 | 2147483647 52391 48 | 0.000 % |
25.52/25.57 c | 57908 | 2673 15594 54914 | 2147483647 52648 48 | 0.000 % |
25.72/25.80 c | 58190 | 2673 15594 54914 | 2147483647 52930 48 | 0.000 % |
26.02/26.08 c | 58499 | 2673 15594 54914 | 2147483647 53239 48 | 0.000 % |
26.32/26.37 c | 58838 | 2673 15594 54914 | 2147483647 53578 48 | 0.000 % |
26.82/26.82 c | 59210 | 2673 15594 54914 | 2147483647 53950 48 | 0.000 % |
27.22/27.23 c | 59619 | 2673 15594 54914 | 2147483647 54359 48 | 0.000 % |
27.52/27.55 c | 60068 | 2673 15594 54914 | 2147483647 54808 48 | 0.000 % |
28.02/28.04 c | 60562 | 2673 15594 54914 | 2147483647 55302 48 | 0.001 % |
28.52/28.52 c | 61105 | 2673 15594 54914 | 2147483647 55845 48 | 0.000 % |
29.32/29.34 c | 61702 | 2673 15594 54914 | 2147483647 56442 48 | 0.000 % |
30.32/30.37 c | 62358 | 2673 15594 54914 | 2147483647 57098 48 | 0.000 % |
30.92/31.00 c | 63079 | 2673 15594 54914 | 2147483647 57819 48 | 0.000 % |
31.52/31.57 c | 63872 | 2673 15594 54914 | 2147483647 58612 48 | 0.000 % |
31.62/31.66 c | 63972 | 2673 15594 54914 | 2147483647 58712 48 | 0.000 % |
31.62/31.71 c | 64082 | 2673 15594 54914 | 2147483647 58822 48 | 0.001 % |
31.82/31.89 c | 64203 | 2673 15594 54914 | 2147483647 58943 48 | 0.000 % |
32.02/32.08 c | 64336 | 2673 15594 54914 | 2147483647 59076 48 | 0.000 % |
32.22/32.30 c | 64483 | 2673 15594 54914 | 2147483647 59223 48 | 0.000 % |
32.42/32.48 c | 64646 | 2673 15594 54914 | 2147483647 59386 48 | 0.000 % |
32.72/32.74 c | 64823 | 2673 15594 54914 | 2147483647 59563 48 | 0.000 % |
33.02/33.08 c | 65017 | 2673 15594 54914 | 2147483647 59757 48 | 0.000 % |
33.32/33.34 c | 65229 | 2673 15594 54914 | 2147483647 59969 48 | 0.000 % |
33.52/33.58 c | 65463 | 2673 15594 54914 | 2147483647 60203 48 | 0.000 % |
33.72/33.77 c | 65720 | 2673 15594 54914 | 2147483647 60460 48 | 0.000 % |
34.12/34.14 c | 66002 | 2673 15594 54914 | 2147483647 60742 48 | 0.000 % |
34.42/34.49 c | 66312 | 2673 15594 54914 | 2147483647 61052 48 | 0.001 % |
34.92/34.94 c | 66651 | 2673 15594 54914 | 2147483647 61391 48 | 0.000 % |
35.32/35.36 c | 67023 | 2673 15594 54914 | 2147483647 61763 48 | 0.000 % |
35.62/35.63 c | 67434 | 2673 15594 54914 | 2147483647 62174 48 | 0.000 % |
35.92/35.99 c | 67883 | 2673 15594 54914 | 2147483647 62623 48 | 0.000 % |
36.52/36.57 c | 68376 | 2673 15594 54914 | 2147483647 63116 48 | 0.000 % |
37.02/37.06 c | 68918 | 2673 15594 54914 | 2147483647 63658 48 | 0.000 % |
37.72/37.80 c | 69516 | 2673 15594 54914 | 2147483647 64256 48 | 0.000 % |
38.62/38.68 c | 70171 | 2673 15594 54914 | 2147483647 64911 48 | 0.000 % |
39.72/39.76 c | 70891 | 2673 15594 54914 | 2147483647 65631 48 | 0.000 % |
40.42/40.42 c | 71683 | 2673 15594 54914 | 2147483647 66423 48 | 0.000 % |
41.22/41.22 c | 72554 | 2673 15594 54914 | 2147483647 67294 48 | 0.000 % |
41.32/41.33 c | 72656 | 2673 15594 54914 | 2147483647 67396 48 | 0.000 % |
41.42/41.49 c | 72766 | 2673 15594 54914 | 2147483647 67506 48 | 0.000 % |
41.62/41.63 c | 72887 | 2673 15594 54914 | 2147483647 67627 48 | 0.000 % |
41.62/41.71 c | 73022 | 2673 15594 54914 | 2147483647 67762 48 | 0.000 % |
41.82/41.90 c | 73168 | 2673 15594 54914 | 2147483647 67908 48 | 0.000 % |
42.12/42.16 c | 73330 | 2673 15594 54914 | 2147483647 68070 48 | 0.000 % |
42.42/42.48 c | 73506 | 2673 15594 54914 | 2147483647 68246 48 | 0.000 % |
42.62/42.68 c | 73699 | 2673 15594 54914 | 2147483647 68439 48 | 0.000 % |
42.92/42.94 c | 73911 | 2673 15594 54914 | 2147483647 68651 48 | 0.000 % |
43.22/43.23 c | 74147 | 2673 15594 54914 | 2147483647 68887 48 | 0.000 % |
43.52/43.58 c | 74403 | 2673 15594 54914 | 2147483647 69143 48 | 0.000 % |
44.02/44.05 c | 74684 | 2673 15594 54914 | 2147483647 69424 48 | 0.000 % |
44.22/44.27 c | 74995 | 2673 15594 54914 | 2147483647 69735 48 | 0.000 % |
44.32/44.39 c | 75334 | 2673 15594 54914 | 2147483647 70074 48 | 0.000 % |
44.52/44.51 c | 75707 | 2673 15594 54914 | 2147483647 70447 48 | 0.000 % |
44.62/44.65 c | 76116 | 2673 15594 54914 | 2147483647 70856 48 | 0.000 % |
45.22/45.27 c | 76566 | 2673 15594 54914 | 2147483647 71306 48 | 0.000 % |
46.02/46.06 c | 77059 | 2673 15594 54914 | 2147483647 71799 48 | 0.000 % |
46.72/46.78 c | 77601 | 2673 15594 54914 | 2147483647 72341 48 | 0.000 % |
47.12/47.16 c | 78198 | 2673 15594 54914 | 2147483647 72938 48 | 0.000 % |
48.02/48.03 c | 78854 | 2673 15594 54914 | 2147483647 73594 48 | 0.000 % |
48.82/48.87 c | 79574 | 2673 15594 54914 | 2147483647 74314 48 | 0.000 % |
49.92/49.96 c | 80366 | 2673 15594 54914 | 2147483647 75106 48 | 0.000 % |
51.82/51.82 c | 81238 | 2673 15594 54914 | 2147483647 75978 47 | 0.000 % |
52.92/52.92 c | 82196 | 2673 15594 54914 | 2147483647 76936 47 | 0.000 % |
52.92/52.98 c | 82296 | 2673 15594 54914 | 2147483647 77036 47 | 0.000 % |
53.12/53.15 c | 82406 | 2673 15594 54914 | 2147483647 77146 47 | 0.000 % |
53.32/53.36 c | 82528 | 2673 15594 54914 | 2147483647 77268 47 | 0.000 % |
53.52/53.54 c | 82661 | 2673 15594 54914 | 2147483647 77401 47 | 0.000 % |
53.62/53.66 c | 82807 | 2673 15594 54914 | 2147483647 77547 47 | 0.000 % |
53.72/53.79 c | 82967 | 2673 15594 54914 | 2147483647 77707 47 | 0.000 % |
54.02/54.05 c | 83144 | 2673 15594 54914 | 2147483647 77884 47 | 0.000 % |
54.22/54.28 c | 83338 | 2673 15594 54914 | 2147483647 78078 47 | 0.000 % |
54.52/54.54 c | 83550 | 2673 15594 54914 | 2147483647 78290 47 | 0.000 % |
54.92/54.93 c | 83783 | 2673 15594 54914 | 2147483647 78523 47 | 0.000 % |
55.32/55.32 c | 84041 | 2673 15594 54914 | 2147483647 78781 47 | 0.000 % |
55.82/55.88 c | 84322 | 2673 15594 54914 | 2147483647 79062 47 | 0.000 % |
56.42/56.43 c | 84633 | 2673 15594 54914 | 2147483647 79373 47 | 0.000 % |
56.82/56.82 c | 84972 | 2673 15594 54914 | 2147483647 79712 47 | 0.000 % |
57.32/57.41 c | 85344 | 2673 15594 54914 | 2147483647 80084 47 | 0.000 % |
58.22/58.22 c | 85753 | 2673 15594 54914 | 2147483647 80493 47 | 0.000 % |
58.82/58.90 c | 86202 | 2673 15594 54914 | 2147483647 80942 47 | 0.000 % |
59.02/59.06 c | 86695 | 2673 15594 54914 | 2147483647 81435 47 | 0.000 % |
59.82/59.83 c | 87237 | 2673 15594 54914 | 2147483647 81977 47 | 0.000 % |
60.92/60.95 c | 87834 | 2673 15594 54914 | 2147483647 82574 47 | 0.000 % |
61.32/61.39 c | 88489 | 2673 15594 54914 | 2147483647 83229 47 | 0.000 % |
62.02/62.03 c | 89210 | 2673 15594 54914 | 2147483647 83950 47 | 0.000 % |
62.62/62.64 c | 90002 | 2673 15594 54914 | 84740 84742 47 | 0.000 % |
63.92/63.92 c | 90873 | 2673 15594 54914 | 84740 73858 45 | 0.000 % |
65.52/65.56 c | 91833 | 2673 15594 54914 | 84740 74818 45 | 0.000 % |
66.82/66.89 c | 92886 | 2673 15594 54914 | 84740 75871 45 | 0.000 % |
67.02/67.05 c | 92987 | 2673 15594 54914 | 84740 75972 45 | 0.000 % |
67.12/67.14 c | 93098 | 2673 15594 54914 | 84740 76083 45 | 0.000 % |
67.22/67.29 c | 93220 | 2673 15594 54914 | 84740 76205 45 | 0.000 % |
67.42/67.47 c | 93355 | 2673 15594 54914 | 84740 76340 45 | 0.000 % |
67.62/67.65 c | 93501 | 2673 15594 54914 | 84740 76486 45 | 0.000 % |
67.72/67.75 c | 93661 | 2673 15594 54914 | 84740 76646 45 | 0.000 % |
67.92/67.93 c | 93837 | 2673 15594 54914 | 84740 76822 45 | 0.000 % |
68.12/68.16 c | 94030 | 2673 15594 54914 | 84740 77015 45 | 0.000 % |
68.52/68.56 c | 94243 | 2673 15594 54914 | 84740 77228 45 | 0.000 % |
68.82/68.84 c | 94476 | 2673 15594 54914 | 84740 77461 45 | 0.000 % |
69.12/69.17 c | 94732 | 2673 15594 54914 | 84740 77717 45 | 0.000 % |
69.52/69.51 c | 95014 | 2673 15594 54914 | 84740 77999 45 | 0.000 % |
69.82/69.90 c | 95325 | 2673 15594 54914 | 84740 78310 45 | 0.000 % |
70.32/70.36 c | 95666 | 2673 15594 54914 | 84740 78651 45 | 0.000 % |
70.82/70.89 c | 96039 | 2673 15594 54914 | 84740 79024 45 | 0.000 % |
71.42/71.50 c | 96448 | 2673 15594 54914 | 84740 79433 45 | 0.000 % |
71.92/71.91 c | 96900 | 2673 15594 54914 | 84740 79885 45 | 0.000 % |
72.42/72.46 c | 97393 | 2673 15594 54914 | 84740 80378 45 | 0.000 % |
73.42/73.44 c | 97936 | 2673 15594 54914 | 84740 80921 45 | 0.000 % |
73.92/73.94 c | 98536 | 2673 15594 54914 | 84740 81521 45 | 0.000 % |
75.22/75.21 c | 99192 | 2673 15594 54914 | 84740 82177 45 | 0.000 % |
76.62/76.70 c | 99913 | 2673 15594 54914 | 84740 82898 45 | 0.000 % |
77.72/77.78 c | 100705 | 2673 15594 54914 | 82985 71275 42 | 0.000 % |
78.52/78.57 c | 101577 | 2673 15594 54914 | 82985 72147 42 | 0.000 % |
79.62/79.69 c | 102535 | 2673 15594 54914 | 82985 73105 42 | 0.001 % |
80.92/80.96 c | 103589 | 2673 15594 54914 | 82985 74159 43 | 0.000 % |
81.72/81.74 c | 104751 | 2673 15594 54914 | 82985 75321 42 | 0.000 % |
81.72/81.79 c | 104852 | 2673 15594 54914 | 82985 75422 42 | 0.000 % |
81.92/81.92 c | 104962 | 2673 15594 54914 | 82985 75532 42 | 0.000 % |
81.92/81.99 c | 105085 | 2673 15594 54914 | 82985 75655 42 | 0.000 % |
82.02/82.10 c | 105219 | 2673 15594 54914 | 82985 75789 42 | 0.000 % |
82.32/82.39 c | 105367 | 2673 15594 54914 | 82985 75937 42 | 0.000 % |
82.62/82.64 c | 105528 | 2673 15594 54914 | 82985 76098 42 | 0.000 % |
82.82/82.88 c | 105705 | 2673 15594 54914 | 82985 76275 42 | 0.000 % |
83.22/83.27 c | 105899 | 2673 15594 54914 | 82985 76469 42 | 0.000 % |
83.52/83.57 c | 106111 | 2673 15594 54914 | 82985 76681 43 | 0.000 % |
83.92/83.95 c | 106345 | 2673 15594 54914 | 82985 76915 43 | 0.000 % |
84.42/84.41 c | 106603 | 2673 15594 54914 | 82985 77173 43 | 0.000 % |
84.52/84.54 c | 106884 | 2673 15594 54914 | 82985 77454 43 | 0.000 % |
84.82/84.88 c | 107194 | 2673 15594 54914 | 82985 77764 43 | 0.000 % |
85.32/85.39 c | 107534 | 2673 15594 54914 | 82985 78104 43 | 0.000 % |
85.83/85.87 c | 107906 | 2673 15594 54914 | 82985 78476 43 | 0.000 % |
86.52/86.55 c | 108315 | 2673 15594 54914 | 82985 78885 43 | 0.000 % |
87.12/87.20 c | 108765 | 2673 15594 54914 | 82985 79335 43 | 0.000 % |
87.72/87.74 c | 109259 | 2673 15594 54914 | 82985 79829 43 | 0.000 % |
88.62/88.69 c | 109802 | 2673 15594 54914 | 82985 80372 43 | 0.000 % |
89.52/89.60 c | 110400 | 2673 15594 54914 | 80571 80970 43 | 0.000 % |
90.62/90.70 c | 111056 | 2673 15594 54914 | 80571 70708 41 | 0.000 % |
91.22/91.22 c | 111777 | 2673 15594 54914 | 80571 71429 41 | 0.000 % |
92.43/92.45 c | 112569 | 2673 15594 54914 | 80571 72221 41 | 0.000 % |
92.82/92.82 c | 113440 | 2673 15594 54914 | 80571 73092 41 | 0.000 % |
94.42/94.49 c | 114399 | 2673 15594 54914 | 80571 74051 41 | 0.001 % |
95.82/95.91 c | 115452 | 2673 15594 54914 | 80571 75104 41 | 0.000 % |
97.32/97.32 c | 116611 | 2673 15594 54914 | 80571 76263 41 | 0.000 % |
98.52/98.59 c | 117885 | 2673 15594 54914 | 80571 77537 41 | 0.000 % |
98.62/98.69 c | 117985 | 2673 15594 54914 | 80571 77637 41 | 0.000 % |
98.92/98.93 c | 118095 | 2673 15594 54914 | 80571 77747 41 | 0.000 % |
99.22/99.21 c | 118217 | 2673 15594 54914 | 80571 77869 41 | 0.000 % |
99.32/99.34 c | 118352 | 2673 15594 54914 | 80571 78004 41 | 0.000 % |
99.42/99.49 c | 118499 | 2673 15594 54914 | 80571 78151 41 | 0.000 % |
99.72/99.77 c | 118661 | 2673 15594 54914 | 80571 78313 41 | 0.000 % |
100.13/100.13 c | 118838 | 2673 15594 54914 | 80571 78490 41 | 0.000 % |
100.52/100.59 c | 119031 | 2673 15594 54914 | 80571 78683 41 | 0.001 % |
100.92/100.93 c | 119243 | 2673 15594 54914 | 80571 78895 41 | 0.000 % |
101.12/101.13 c | 119478 | 2673 15594 54914 | 80571 79130 41 | 0.000 % |
101.42/101.49 c | 119734 | 2673 15594 54914 | 80571 79386 41 | 0.000 % |
101.72/101.79 c | 120015 | 2673 15594 54914 | 79652 79667 41 | 0.000 % |
102.42/102.43 c | 120324 | 2673 15594 54914 | 79652 70015 39 | 0.000 % |
102.92/102.98 c | 120663 | 2673 15594 54914 | 79652 70354 39 | 0.000 % |
103.43/103.45 c | 121035 | 2673 15594 54914 | 79652 70726 39 | 0.000 % |
104.02/104.05 c | 121445 | 2673 15594 54914 | 79652 71136 39 | 0.000 % |
104.53/104.60 c | 121894 | 2673 15594 54914 | 79652 71585 39 | 0.000 % |
105.12/105.19 c | 122388 | 2673 15594 54914 | 79652 72079 39 | 0.000 % |
105.42/105.46 c | 122934 | 2673 15594 54914 | 79652 72625 39 | 0.000 % |
105.82/105.84 c | 123530 | 2673 15594 54914 | 79652 73221 39 | 0.000 % |
106.62/106.63 c | 124189 | 2673 15594 54914 | 79652 73880 39 | 0.000 % |
107.52/107.60 c | 124911 | 2673 15594 54914 | 79652 74602 39 | 0.000 % |
108.52/108.60 c | 125703 | 2673 15594 54914 | 79652 75394 39 | 0.000 % |
109.62/109.65 c | 126575 | 2673 15594 54914 | 79652 76266 40 | 0.000 % |
110.82/110.86 c | 127533 | 2673 15594 54914 | 79652 77224 40 | 0.001 % |
112.52/112.58 c | 128586 | 2673 15594 54914 | 79652 78277 40 | 0.000 % |
114.02/114.07 c | 129744 | 2673 15594 54914 | 79652 79435 40 | 0.000 % |
115.72/115.72 c | 131017 | 2673 15594 54914 | 79691 70349 39 | 0.000 % |
118.02/118.05 c | 132417 | 2673 15594 54914 | 79691 71749 39 | 0.000 % |
118.12/118.15 c | 132521 | 2673 15594 54914 | 79691 71853 39 | 0.000 % |
118.32/118.37 c | 132631 | 2673 15594 54914 | 79691 71963 39 | 0.000 % |
118.52/118.55 c | 132754 | 2673 15594 54914 | 79691 72086 39 | 0.000 % |
118.72/118.76 c | 132888 | 2673 15594 54914 | 79691 72220 39 | 0.000 % |
119.02/119.04 c | 133034 | 2673 15594 54914 | 79691 72366 39 | 0.000 % |
119.22/119.22 c | 133195 | 2673 15594 54914 | 79691 72527 39 | 0.000 % |
119.52/119.58 c | 133372 | 2673 15594 54914 | 79691 72704 39 | 0.001 % |
119.93/119.97 c | 133565 | 2673 15594 54914 | 79691 72897 39 | 0.000 % |
120.22/120.27 c | 133777 | 2673 15594 54914 | 79691 73109 39 | 0.000 % |
120.52/120.56 c | 134010 | 2673 15594 54914 | 79691 73342 39 | 0.000 % |
120.83/120.86 c | 134267 | 2673 15594 54914 | 79691 73599 39 | 0.000 % |
121.33/121.33 c | 134549 | 2673 15594 54914 | 79691 73881 39 | 0.000 % |
121.63/121.64 c | 134860 | 2673 15594 54914 | 79691 74192 39 | 0.000 % |
122.13/122.14 c | 135199 | 2673 15594 54914 | 79691 74531 39 | 0.000 % |
122.53/122.54 c | 135571 | 2673 15594 54914 | 79691 74903 39 | 0.000 % |
123.13/123.17 c | 135982 | 2673 15594 54914 | 79691 75314 39 | 0.000 % |
123.63/123.66 c | 136431 | 2673 15594 54914 | 79691 75763 39 | 0.000 % |
124.33/124.34 c | 136925 | 2673 15594 54914 | 79691 76257 39 | 0.000 % |
124.93/124.94 c | 137468 | 2673 15594 54914 | 79691 76800 40 | 0.000 % |
125.43/125.43 c | 138064 | 2673 15594 54914 | 79691 77396 40 | 0.000 % |
126.63/126.71 c | 138719 | 2673 15594 54914 | 79691 78051 40 | 0.001 % |
128.23/128.29 c | 139439 | 2673 15594 54914 | 79691 78771 40 | 0.001 % |
129.63/129.67 c | 140231 | 2673 15594 54914 | 79332 79563 40 | 0.000 % |
130.83/130.83 c | 141102 | 2673 15594 54914 | 79332 69979 39 | 0.000 % |
131.93/131.93 c | 142060 | 2673 15594 54914 | 79332 70937 39 | 0.000 % |
133.33/133.37 c | 143114 | 2673 15594 54914 | 79332 71991 39 | 0.000 % |
134.63/134.64 c | 144272 | 2673 15594 54914 | 79332 73149 39 | 0.000 % |
136.23/136.28 c | 145545 | 2673 15594 54914 | 79332 74422 39 | 0.000 % |
137.63/137.63 c | 146946 | 2673 15594 54914 | 79332 75823 40 | 0.000 % |
139.13/139.13 c | 148487 | 2673 15594 54914 | 79332 77364 40 | 0.001 % |
139.33/139.32 c | 148587 | 2673 15594 54914 | 79332 77464 40 | 0.000 % |
139.43/139.44 c | 148697 | 2673 15594 54914 | 79332 77574 40 | 0.000 % |
139.63/139.65 c | 148818 | 2673 15594 54914 | 79332 77695 40 | 0.000 % |
139.83/139.81 c | 148951 | 2673 15594 54914 | 79332 77828 40 | 0.000 % |
139.93/139.95 c | 149097 | 2673 15594 54914 | 79332 77974 40 | 0.000 % |
140.13/140.12 c | 149259 | 2673 15594 54914 | 79332 78136 40 | 0.001 % |
140.33/140.32 c | 149435 | 2673 15594 54914 | 79332 78312 41 | 0.000 % |
140.43/140.44 c | 149629 | 2673 15594 54914 | 79332 78506 40 | 0.000 % |
140.63/140.69 c | 149843 | 2673 15594 54914 | 79332 78720 40 | 0.000 % |
140.93/141.00 c | 150077 | 2673 15594 54914 | 78880 78954 40 | 0.000 % |
141.43/141.45 c | 150334 | 2673 15594 54914 | 78880 69749 39 | 0.001 % |
141.73/141.74 c | 150616 | 2673 15594 54914 | 78880 70031 39 | 0.000 % |
141.93/142.00 c | 150927 | 2673 15594 54914 | 78880 70342 39 | 0.000 % |
142.33/142.32 c | 151269 | 2673 15594 54914 | 78880 70684 39 | 0.000 % |
142.73/142.76 c | 151643 | 2673 15594 54914 | 78880 71058 39 | 0.000 % |
143.03/143.11 c | 152052 | 2673 15594 54914 | 78880 71467 39 | 0.000 % |
143.63/143.64 c | 152501 | 2673 15594 54914 | 78880 71916 39 | 0.001 % |
144.13/144.11 c | 152994 | 2673 15594 54914 | 78880 72409 39 | 0.000 % |
144.63/144.63 c | 153536 | 2673 15594 54914 | 78880 72951 39 | 0.000 % |
145.63/145.62 c | 154133 | 2673 15594 54914 | 78880 73548 40 | 0.000 % |
146.43/146.43 c | 154788 | 2673 15594 54914 | 78880 74203 40 | 0.000 % |
147.43/147.43 c | 155511 | 2673 15594 54914 | 78880 74926 40 | 0.000 % |
148.83/148.82 c | 156303 | 2673 15594 54914 | 78880 75718 40 | 0.000 % |
149.83/149.84 c | 157174 | 2673 15594 54914 | 78880 76589 40 | 0.000 % |
150.93/150.98 c | 158132 | 2673 15594 54914 | 78880 77547 40 | 0.000 % |
152.23/152.21 c | 159187 | 2673 15594 54914 | 78880 78602 40 | 0.000 % |
153.93/153.95 c | 160345 | 2673 15594 54914 | 79415 79760 40 | 0.000 % |
155.23/155.21 c | 161619 | 2673 15594 54914 | 79415 71386 38 | 0.000 % |
156.63/156.65 c | 163020 | 2673 15594 54914 | 79415 72787 38 | 0.000 % |
158.33/158.38 c | 164560 | 2673 15594 54914 | 79415 74327 38 | 0.001 % |
160.53/160.57 c | 166254 | 2673 15594 54914 | 79415 76021 39 | 0.000 % |
160.73/160.74 c | 166355 | 2673 15594 54914 | 79415 76122 39 | 0.000 % |
160.93/160.92 c | 166466 | 2673 15594 54914 | 79415 76233 39 | 0.000 % |
161.03/161.10 c | 166588 | 2673 15594 54914 | 79415 76355 39 | 0.000 % |
161.33/161.37 c | 166722 | 2673 15594 54914 | 79415 76489 39 | 0.000 % |
161.63/161.63 c | 166871 | 2673 15594 54914 | 79415 76638 39 | 0.000 % |
161.73/161.74 c | 167032 | 2673 15594 54914 | 79415 76799 39 | 0.000 % |
161.93/161.96 c | 167208 | 2673 15594 54914 | 79415 76975 39 | 0.000 % |
162.03/162.06 c | 167401 | 2673 15594 54914 | 79415 77168 39 | 0.000 % |
162.33/162.33 c | 167613 | 2673 15594 54914 | 79415 77380 39 | 0.000 % |
162.43/162.51 c | 167847 | 2673 15594 54914 | 79415 77614 39 | 0.000 % |
162.73/162.78 c | 168104 | 2673 15594 54914 | 79415 77871 39 | 0.000 % |
163.03/163.03 c | 168387 | 2673 15594 54914 | 79415 78154 39 | 0.000 % |
163.13/163.20 c | 168697 | 2673 15594 54914 | 79415 78464 39 | 0.000 % |
163.23/163.29 c | 169036 | 2673 15594 54914 | 79415 78803 39 | 0.000 % |
163.93/163.94 c | 169408 | 2673 15594 54914 | 79415 79175 39 | 0.000 % |
164.53/164.52 c | 169818 | 2673 15594 54914 | 79415 79585 39 | 0.000 % |
164.93/164.94 c | 170267 | 2673 15594 54914 | 69420 60831 36 | 0.000 % |
165.43/165.43 c | 170761 | 2673 15594 54914 | 69420 61325 36 | 0.000 % |
165.93/165.99 c | 171306 | 2673 15594 54914 | 69420 61870 36 | 0.000 % |
166.13/166.14 c | 171902 | 2673 15594 54914 | 69420 62466 36 | 0.000 % |
167.03/167.01 c | 172557 | 2673 15594 54914 | 69420 63121 37 | 0.000 % |
167.53/167.59 c | 173279 | 2673 15594 54914 | 69420 63843 37 | 0.001 % |
168.13/168.12 c | 174072 | 2673 15594 54914 | 69420 64636 37 | 0.000 % |
169.53/169.60 c | 174944 | 2673 15594 54914 | 69420 65508 37 | 0.000 % |
170.63/170.66 c | 175902 | 2673 15594 54914 | 69420 66466 37 | 0.000 % |
171.93/171.96 c | 176955 | 2673 15594 54914 | 69420 67519 38 | 0.000 % |
172.93/172.91 c | 178115 | 2673 15594 54914 | 69420 68679 38 | 0.000 % |
174.53/174.52 c | 179388 | 2673 15594 54914 | 69420 62990 36 | 0.000 % |
176.53/176.61 c | 180788 | 2673 15594 54914 | 2147483647 64390 36 | 0.000 % |
178.24/178.25 c | 182328 | 2673 15594 54914 | 2147483647 65930 37 | 0.000 % |
180.13/180.13 c | 184024 | 2673 15594 54914 | 2147483647 67626 37 | 0.000 % |
181.83/181.90 c | 185887 | 2673 15594 54914 | 2147483647 69489 37 | 0.001 % |
181.93/181.97 c | 185991 | 2673 15594 54914 | 2147483647 69593 37 | 0.000 % |
182.13/182.11 c | 186101 | 2673 15594 54914 | 2147483647 69703 37 | 0.000 % |
182.23/182.26 c | 186222 | 2673 15594 54914 | 2147483647 69824 37 | 0.000 % |
182.43/182.43 c | 186355 | 2673 15594 54914 | 2147483647 69957 37 | 0.000 % |
182.64/182.67 c | 186501 | 2673 15594 54914 | 2147483647 70103 37 | 0.000 % |
182.93/182.93 c | 186661 | 2673 15594 54914 | 2147483647 70263 37 | 0.001 % |
183.03/183.05 c | 186838 | 2673 15594 54914 | 2147483647 70440 37 | 0.000 % |
183.43/183.41 c | 187031 | 2673 15594 54914 | 2147483647 70633 37 | 0.000 % |
183.63/183.71 c | 187244 | 2673 15594 54914 | 2147483647 70846 37 | 0.000 % |
184.13/184.18 c | 187477 | 2673 15594 54914 | 2147483647 71079 37 | 0.000 % |
184.63/184.69 c | 187733 | 2673 15594 54914 | 2147483647 71335 37 | 0.000 % |
185.13/185.11 c | 188015 | 2673 15594 54914 | 2147483647 71617 37 | 0.000 % |
185.33/185.31 c | 188325 | 2673 15594 54914 | 2147483647 71927 37 | 0.000 % |
185.53/185.59 c | 188664 | 2673 15594 54914 | 2147483647 72266 37 | 0.000 % |
186.23/186.30 c | 189036 | 2673 15594 54914 | 2147483647 72638 38 | 0.000 % |
186.73/186.79 c | 189445 | 2673 15594 54914 | 2147483647 73047 38 | 0.001 % |
187.13/187.13 c | 189894 | 2673 15594 54914 | 2147483647 73496 38 | 0.000 % |
187.63/187.68 c | 190387 | 2673 15594 54914 | 2147483647 73989 38 | 0.000 % |
188.43/188.45 c | 190929 | 2673 15594 54914 | 2147483647 74531 38 | 0.000 % |
189.33/189.32 c | 191525 | 2673 15594 54914 | 2147483647 75127 38 | 0.001 % |
190.03/190.10 c | 192181 | 2673 15594 54914 | 2147483647 75783 38 | 0.000 % |
191.13/191.18 c | 192902 | 2673 15594 54914 | 2147483647 76504 38 | 0.000 % |
192.54/192.57 c | 193695 | 2673 15594 54914 | 2147483647 77297 39 | 0.001 % |
193.73/193.72 c | 194566 | 2673 15594 54914 | 2147483647 78168 39 | 0.000 % |
194.63/194.71 c | 195524 | 2673 15594 54914 | 2147483647 79126 39 | 0.000 % |
196.23/196.22 c | 196577 | 2673 15594 54914 | 2147483647 80179 39 | 0.001 % |
197.63/197.67 c | 197736 | 2673 15594 54914 | 2147483647 81338 39 | 0.000 % |
199.83/199.90 c | 199009 | 2673 15594 54914 | 2147483647 82611 39 | 0.000 % |
202.44/202.42 c | 200409 | 2673 15594 54914 | 83603 84011 40 | 0.001 % |
205.33/205.33 c | 201949 | 2673 15594 54914 | 83603 74160 38 | 0.000 % |
208.13/208.13 c | 203645 | 2673 15594 54914 | 83603 75856 38 | 0.000 % |
210.23/210.27 c | 205508 | 2673 15594 54914 | 83603 77719 38 | 0.001 % |
214.73/214.73 c | 207558 | 2673 15594 54914 | 83603 79769 38 | 0.000 % |
214.83/214.86 c | 207658 | 2673 15594 54914 | 83603 79869 38 | 0.000 % |
215.13/215.11 c | 207769 | 2673 15594 54914 | 83603 79980 38 | 0.000 % |
215.23/215.27 c | 207891 | 2673 15594 54914 | 83603 80102 38 | 0.000 % |
215.43/215.50 c | 208025 | 2673 15594 54914 | 83603 80236 38 | 0.000 % |
215.64/215.68 c | 208171 | 2673 15594 54914 | 83603 80382 38 | 0.000 % |
215.73/215.77 c | 208331 | 2673 15594 54914 | 83603 80542 38 | 0.000 % |
216.03/216.02 c | 208508 | 2673 15594 54914 | 83603 80719 38 | 0.000 % |
216.23/216.21 c | 208702 | 2673 15594 54914 | 83603 80913 38 | 0.000 % |
216.63/216.63 c | 208914 | 2673 15594 54914 | 83603 81125 38 | 0.000 % |
216.93/216.91 c | 209148 | 2673 15594 54914 | 83603 81359 38 | 0.000 % |
217.23/217.24 c | 209405 | 2673 15594 54914 | 83603 81616 38 | 0.000 % |
217.53/217.53 c | 209687 | 2673 15594 54914 | 83603 81898 38 | 0.000 % |
217.93/218.00 c | 209996 | 2673 15594 54914 | 83603 82207 38 | 0.000 % |
218.53/218.57 c | 210337 | 2673 15594 54914 | 82211 82548 38 | 0.000 % |
219.14/219.18 c | 210709 | 2673 15594 54914 | 82211 71795 36 | 0.000 % |
219.54/219.57 c | 211120 | 2673 15594 54914 | 82211 72206 36 | 0.000 % |
219.84/219.83 c | 211570 | 2673 15594 54914 | 82211 72656 36 | 0.000 % |
220.34/220.37 c | 212064 | 2673 15594 54914 | 82211 73150 36 | 0.000 % |
221.14/221.15 c | 212606 | 2673 15594 54914 | 82211 73692 36 | 0.001 % |
222.14/222.14 c | 213203 | 2673 15594 54914 | 82211 74289 37 | 0.000 % |
223.04/223.05 c | 213859 | 2673 15594 54914 | 82211 74945 37 | 0.000 % |
223.64/223.65 c | 214580 | 2673 15594 54914 | 82211 75666 37 | 0.000 % |
225.04/225.06 c | 215372 | 2673 15594 54914 | 82211 76458 37 | 0.000 % |
226.64/226.62 c | 216243 | 2673 15594 54914 | 82211 77329 37 | 0.000 % |
228.04/228.10 c | 217202 | 2673 15594 54914 | 82211 78288 37 | 0.000 % |
229.54/229.56 c | 218255 | 2673 15594 54914 | 82211 79341 37 | 0.000 % |
231.34/231.31 c | 219413 | 2673 15594 54914 | 82211 80499 37 | 0.000 % |
233.24/233.28 c | 220686 | 2673 15594 54914 | 81087 81772 38 | 0.000 % |
235.24/235.26 c | 222086 | 2673 15594 54914 | 81087 72917 36 | 0.000 % |
237.44/237.47 c | 223626 | 2673 15594 54914 | 81087 74457 36 | 0.001 % |
239.84/239.89 c | 225320 | 2673 15594 54914 | 81087 76151 37 | 0.000 % |
242.64/242.63 c | 227187 | 2673 15594 54914 | 81087 78018 37 | 0.000 % |
246.14/246.19 c | 229240 | 2673 15594 54914 | 81087 80071 37 | 0.000 % |
250.64/250.70 c | 231494 | 2673 15594 54914 | 80832 71383 36 | 0.000 % |
250.84/250.86 c | 231594 | 2673 15594 54914 | 80832 71483 36 | 0.000 % |
251.04/251.10 c | 231704 | 2673 15594 54914 | 80832 71593 36 | 0.001 % |
251.24/251.28 c | 231825 | 2673 15594 54914 | 80832 71714 36 | 0.000 % |
251.44/251.42 c | 231960 | 2673 15594 54914 | 80832 71849 36 | 0.000 % |
251.54/251.56 c | 232106 | 2673 15594 54914 | 80832 71995 36 | 0.000 % |
251.74/251.81 c | 232270 | 2673 15594 54914 | 80832 72159 36 | 0.000 % |
252.04/252.09 c | 232447 | 2673 15594 54914 | 80832 72336 37 | 0.000 % |
252.44/252.47 c | 232640 | 2673 15594 54914 | 80832 72529 37 | 0.000 % |
252.74/252.79 c | 232853 | 2673 15594 54914 | 80832 72742 37 | 0.000 % |
253.04/253.11 c | 233086 | 2673 15594 54914 | 80832 72975 37 | 0.000 % |
253.54/253.53 c | 233342 | 2673 15594 54914 | 80832 73231 37 | 0.001 % |
253.74/253.79 c | 233623 | 2673 15594 54914 | 80832 73512 37 | 0.000 % |
254.24/254.28 c | 233933 | 2673 15594 54914 | 80832 73822 37 | 0.000 % |
254.84/254.88 c | 234275 | 2673 15594 54914 | 80832 74164 37 | 0.000 % |
255.34/255.38 c | 234649 | 2673 15594 54914 | 80832 74538 37 | 0.000 % |
255.84/255.87 c | 235059 | 2673 15594 54914 | 80832 74948 37 | 0.000 % |
256.64/256.63 c | 235508 | 2673 15594 54914 | 80832 75397 37 | 0.001 % |
257.14/257.17 c | 236002 | 2673 15594 54914 | 80832 75891 37 | 0.001 % |
257.94/257.91 c | 236544 | 2673 15594 54914 | 80832 76433 37 | 0.000 % |
258.74/258.78 c | 237142 | 2673 15594 54914 | 80832 77031 37 | 0.001 % |
259.64/259.70 c | 237800 | 2673 15594 54914 | 80832 77689 37 | 0.000 % |
260.84/260.90 c | 238521 | 2673 15594 54914 | 80832 78410 38 | 0.000 % |
261.84/261.82 c | 239313 | 2673 15594 54914 | 80832 79202 37 | 0.000 % |
263.64/263.65 c | 240186 | 2673 15594 54914 | 79889 69134 35 | 0.000 % |
265.14/265.18 c | 241146 | 2673 15594 54914 | 79889 70094 35 | 0.000 % |
265.74/265.79 c | 242199 | 2673 15594 54914 | 79889 71147 35 | 0.000 % |
267.64/267.65 c | 243357 | 2673 15594 54914 | 79889 72305 35 | 0.000 % |
269.24/269.24 c | 244630 | 2673 15594 54914 | 79889 73578 35 | 0.000 % |
271.34/271.35 c | 246031 | 2673 15594 54914 | 79889 74979 35 | 0.000 % |
274.14/274.14 c | 247574 | 2673 15594 54914 | 79889 76522 36 | 0.001 % |
277.04/277.07 c | 249270 | 2673 15594 54914 | 79889 78218 36 | 0.000 % |
279.14/279.16 c | 251133 | 2673 15594 54914 | 78948 70844 34 | 0.000 % |
282.84/282.85 c | 253182 | 2673 15594 54914 | 78948 72893 34 | 0.000 % |
286.05/286.10 c | 255437 | 2673 15594 54914 | 78948 75148 34 | 0.000 % |
290.04/290.09 c | 257915 | 2673 15594 54914 | 78948 77626 35 | 0.000 % |
290.34/290.35 c | 258015 | 2673 15594 54914 | 78948 77726 35 | 0.000 % |
290.45/290.49 c | 258126 | 2673 15594 54914 | 78948 77837 35 | 0.000 % |
290.54/290.61 c | 258248 | 2673 15594 54914 | 78948 77959 35 | 0.001 % |
290.74/290.77 c | 258384 | 2673 15594 54914 | 78948 78095 35 | 0.000 % |
290.94/290.97 c | 258531 | 2673 15594 54914 | 78948 78242 35 | 0.000 % |
291.24/291.22 c | 258691 | 2673 15594 54914 | 78948 78402 35 | 0.001 % |
291.44/291.49 c | 258868 | 2673 15594 54914 | 78948 78579 35 | 0.000 % |
291.64/291.67 c | 259061 | 2673 15594 54914 | 78948 78772 35 | 0.000 % |
291.84/291.91 c | 259273 | 2673 15594 54914 | 78948 78984 35 | 0.000 % |
292.24/292.29 c | 259506 | 2673 15594 54914 | 78948 70568 34 | 0.001 % |
292.65/292.69 c | 259762 | 2673 15594 54914 | 78948 70824 34 | 0.000 % |
292.94/292.98 c | 260043 | 2673 15594 54914 | 71066 71105 34 | 0.000 % |
293.44/293.48 c | 260353 | 2673 15594 54914 | 71066 63648 33 | 0.000 % |
294.14/294.16 c | 260692 | 2673 15594 54914 | 71066 63987 33 | 0.000 % |
294.54/294.61 c | 261064 | 2673 15594 54914 | 71066 64359 33 | 0.000 % |
294.94/295.00 c | 261474 | 2673 15594 54914 | 71066 64769 33 | 0.001 % |
295.64/295.68 c | 261923 | 2673 15594 54914 | 71066 65218 33 | 0.000 % |
296.14/296.18 c | 262417 | 2673 15594 54914 | 71066 65712 33 | 0.000 % |
296.74/296.77 c | 262959 | 2673 15594 54914 | 71066 66254 34 | 0.000 % |
297.24/297.29 c | 263556 | 2673 15594 54914 | 71066 66851 34 | 0.000 % |
298.34/298.36 c | 264212 | 2673 15594 54914 | 71066 67507 34 | 0.000 % |
298.54/298.60 c | 264935 | 2673 15594 54914 | 71066 68230 34 | 0.000 % |
299.25/299.25 c | 265727 | 2673 15594 54914 | 71066 69022 34 | 0.000 % |
300.14/300.19 c | 266599 | 2673 15594 54914 | 71066 69894 34 | 0.000 % |
301.84/301.89 c | 267557 | 2673 15594 54914 | 71066 70852 34 | 0.000 % |
302.94/302.94 c | 268610 | 2673 15594 54914 | 71066 64373 32 | 0.000 % |
304.44/304.43 c | 269770 | 2673 15594 54914 | 71066 65533 32 | 0.000 % |
305.85/305.87 c | 271043 | 2673 15594 54914 | 2147483647 66806 32 | 0.000 % |
308.14/308.14 c | 272443 | 2673 15594 54914 | 2147483647 68206 33 | 0.000 % |
310.54/310.52 c | 273983 | 2673 15594 54914 | 2147483647 69746 33 | 0.000 % |
312.34/312.35 c | 275678 | 2673 15594 54914 | 2147483647 71441 33 | 0.000 % |
314.54/314.52 c | 277541 | 2673 15594 54914 | 2147483647 73304 33 | 0.000 % |
316.75/316.74 c | 279590 | 2673 15594 54914 | 2147483647 75353 34 | 0.000 % |
319.55/319.60 c | 281844 | 2673 15594 54914 | 75764 68086 33 | 0.000 % |
323.45/323.50 c | 284322 | 2673 15594 54914 | 75764 70564 34 | 0.000 % |
326.94/326.96 c | 287048 | 2673 15594 54914 | 75764 73290 34 | 0.000 % |
327.04/327.05 c | 287148 | 2673 15594 54914 | 75764 73390 34 | 0.001 % |
327.14/327.13 c | 287260 | 2673 15594 54914 | 75764 73502 34 | 0.000 % |
327.24/327.25 c | 287381 | 2673 15594 54914 | 75764 73623 34 | 0.000 % |
327.44/327.45 c | 287514 | 2673 15594 54914 | 75764 73756 34 | 0.000 % |
327.74/327.72 c | 287662 | 2673 15594 54914 | 75764 73904 34 | 0.000 % |
327.94/328.00 c | 287823 | 2673 15594 54914 | 75764 74065 34 | 0.000 % |
328.24/328.29 c | 287999 | 2673 15594 54914 | 75764 74241 35 | 0.000 % |
328.44/328.47 c | 288193 | 2673 15594 54914 | 75764 74435 35 | 0.000 % |
328.94/328.92 c | 288406 | 2673 15594 54914 | 75764 74648 35 | 0.000 % |
329.24/329.29 c | 288640 | 2673 15594 54914 | 75764 74882 35 | 0.000 % |
329.54/329.60 c | 288896 | 2673 15594 54914 | 75764 75138 35 | 0.000 % |
330.14/330.16 c | 289178 | 2673 15594 54914 | 75764 75420 35 | 0.000 % |
330.54/330.58 c | 289487 | 2673 15594 54914 | 75764 75729 35 | 0.000 % |
331.04/331.03 c | 289826 | 2673 15594 54914 | 75764 76068 35 | 0.000 % |
331.64/331.68 c | 290198 | 2673 15594 54914 | 68043 68240 34 | 0.000 % |
332.44/332.44 c | 290607 | 2673 15594 54914 | 68043 61465 33 | 0.000 % |
332.64/332.64 c | 291056 | 2673 15594 54914 | 68043 61914 33 | 0.000 % |
333.24/333.30 c | 291550 | 2673 15594 54914 | 68043 62408 33 | 0.000 % |
333.84/333.90 c | 292092 | 2673 15594 54914 | 68043 62950 33 | 0.000 % |
334.44/334.50 c | 292688 | 2673 15594 54914 | 68043 63546 34 | 0.000 % |
335.24/335.28 c | 293343 | 2673 15594 54914 | 68043 64201 34 | 0.000 % |
336.24/336.21 c | 294064 | 2673 15594 54914 | 68043 64922 34 | 0.000 % |
337.14/337.13 c | 294856 | 2673 15594 54914 | 68043 65714 35 | 0.000 % |
338.54/338.54 c | 295728 | 2673 15594 54914 | 68043 66586 35 | 0.000 % |
340.14/340.16 c | 296687 | 2673 15594 54914 | 68043 67545 35 | 0.000 % |
341.94/341.99 c | 297740 | 2673 15594 54914 | 68043 61774 34 | 0.000 % |
342.84/342.88 c | 298898 | 2673 15594 54914 | 68043 62932 34 | 0.000 % |
344.34/344.39 c | 300173 | 2673 15594 54914 | 2147483647 64207 34 | 0.000 % |
346.44/346.43 c | 301574 | 2673 15594 54914 | 2147483647 65608 35 | 0.000 % |
348.04/348.09 c | 303114 | 2673 15594 54914 | 2147483647 67148 35 | 0.001 % |
350.34/350.35 c | 304808 | 2673 15594 54914 | 2147483647 68842 35 | 0.000 % |
352.74/352.80 c | 306671 | 2673 15594 54914 | 2147483647 70705 36 | 0.000 % |
355.74/355.73 c | 308721 | 2673 15594 54914 | 2147483647 72755 36 | 0.000 % |
359.54/359.57 c | 310975 | 2673 15594 54914 | 2147483647 75009 36 | 0.000 % |
363.64/363.60 c | 313454 | 2673 15594 54914 | 2147483647 77488 36 | 0.000 % |
369.14/369.12 c | 316179 | 2673 15594 54914 | 2147483647 80213 37 | 0.000 % |
374.14/374.18 c | 319176 | 2673 15594 54914 | 2147483647 83210 37 | 0.000 % |
374.34/374.33 c | 319276 | 2673 15594 54914 | 2147483647 83310 37 | 0.000 % |
374.44/374.48 c | 319387 | 2673 15594 54914 | 2147483647 83421 37 | 0.000 % |
374.64/374.61 c | 319508 | 2673 15594 54914 | 2147483647 83542 37 | 0.000 % |
374.84/374.82 c | 319641 | 2673 15594 54914 | 2147483647 83675 37 | 0.001 % |
375.15/375.16 c | 319787 | 2673 15594 54914 | 2147483647 83821 37 | 0.000 % |
375.24/375.28 c | 319948 | 2673 15594 54914 | 2147483647 83982 37 | 0.000 % |
375.34/375.33 c | 320124 | 2673 15594 54914 | 84034 84158 37 | 0.000 % |
375.84/375.83 c | 320318 | 2673 15594 54914 | 84034 73556 35 | 0.000 % |
376.04/376.10 c | 320533 | 2673 15594 54914 | 84034 73771 35 | 0.000 % |
376.44/376.42 c | 320766 | 2673 15594 54914 | 84034 74004 36 | 0.001 % |
376.94/376.91 c | 321022 | 2673 15594 54914 | 84034 74260 36 | 0.000 % |
377.44/377.43 c | 321305 | 2673 15594 54914 | 84034 74543 36 | 0.000 % |
377.94/377.96 c | 321616 | 2673 15594 54914 | 84034 74854 36 | 0.000 % |
378.34/378.31 c | 321956 | 2673 15594 54914 | 84034 75194 36 | 0.000 % |
378.84/378.88 c | 322328 | 2673 15594 54914 | 84034 75566 36 | 0.000 % |
379.74/379.73 c | 322737 | 2672 15582 54884 | 84034 75973 36 | 0.037 % |
380.24/380.23 c | 323187 | 2672 15582 54884 | 84034 76423 36 | 0.037 % |
380.94/380.92 c | 323680 | 2672 15582 54884 | 84034 76916 36 | 0.037 % |
381.64/381.62 c | 324222 | 2672 15582 54884 | 84034 77458 36 | 0.037 % |
382.24/382.29 c | 324818 | 2672 15582 54884 | 84034 78054 36 | 0.038 % |
382.94/382.98 c | 325474 | 2672 15582 54884 | 84034 78710 36 | 0.037 % |
383.84/383.81 c | 326194 | 2672 15582 54884 | 84034 79430 36 | 0.038 % |
384.44/384.50 c | 326986 | 2672 15582 54884 | 84034 80222 36 | 0.038 % |
385.44/385.41 c | 327860 | 2672 15582 54884 | 84034 81096 36 | 0.038 % |
386.74/386.72 c | 328818 | 2672 15582 54884 | 84034 82054 36 | 0.038 % |
387.74/387.77 c | 329871 | 2672 15582 54884 | 84034 83107 36 | 0.038 % |
388.84/388.83 c | 331031 | 2672 15582 54884 | 83236 72272 34 | 0.037 % |
390.55/390.53 c | 332306 | 2672 15582 54884 | 83236 73547 34 | 0.038 % |
391.74/391.77 c | 333706 | 2672 15582 54884 | 83236 74947 35 | 0.037 % |
393.44/393.45 c | 335246 | 2672 15582 54884 | 83236 76487 35 | 0.037 % |
395.34/395.33 c | 336940 | 2672 15582 54884 | 83236 78181 36 | 0.038 % |
397.64/397.66 c | 338803 | 2672 15582 54884 | 83236 80044 36 | 0.038 % |
399.64/399.61 c | 340852 | 2672 15582 54884 | 81241 69590 33 | 0.037 % |
402.84/402.86 c | 343105 | 2672 15582 54884 | 81241 71843 33 | 0.038 % |
406.84/406.83 c | 345584 | 2672 15582 54884 | 81241 74322 34 | 0.038 % |
411.54/411.57 c | 348309 | 2672 15582 54884 | 81241 77047 35 | 0.038 % |
415.45/415.41 c | 351308 | 2672 15582 54884 | 78739 69731 34 | 0.037 % |
419.55/419.60 c | 354605 | 2672 15582 54884 | 78739 73028 35 | 0.037 % |
419.75/419.72 c | 354707 | 2672 15582 54884 | 78739 73130 35 | 0.038 % |
419.75/419.80 c | 354817 | 2672 15582 54884 | 78739 73240 35 | 0.038 % |
419.95/419.96 c | 354939 | 2672 15582 54884 | 78739 73362 35 | 0.038 % |
420.15/420.16 c | 355074 | 2672 15582 54884 | 78739 73497 35 | 0.037 % |
420.35/420.34 c | 355220 | 2672 15582 54884 | 78739 73643 35 | 0.037 % |
420.45/420.51 c | 355381 | 2672 15582 54884 | 78739 73804 35 | 0.038 % |
420.75/420.73 c | 355557 | 2672 15582 54884 | 78739 73980 35 | 0.038 % |
420.95/420.91 c | 355750 | 2672 15582 54884 | 78739 74173 35 | 0.037 % |
421.15/421.12 c | 355963 | 2672 15582 54884 | 78739 74386 35 | 0.037 % |
421.45/421.48 c | 356196 | 2672 15582 54884 | 78739 74619 35 | 0.037 % |
421.95/421.92 c | 356452 | 2672 15582 54884 | 78739 74875 35 | 0.037 % |
422.25/422.28 c | 356734 | 2672 15582 54884 | 78739 75157 35 | 0.037 % |
422.75/422.73 c | 357044 | 2672 15582 54884 | 78739 75467 35 | 0.037 % |
423.05/423.05 c | 357383 | 2672 15582 54884 | 78739 75806 35 | 0.038 % |
423.45/423.44 c | 357756 | 2672 15582 54884 | 78739 76179 35 | 0.038 % |
423.85/423.88 c | 358165 | 2672 15582 54884 | 78739 76588 35 | 0.038 % |
424.55/424.56 c | 358615 | 2672 15582 54884 | 78739 77038 35 | 0.037 % |
425.05/425.02 c | 359110 | 2672 15582 54884 | 78739 77533 35 | 0.038 % |
425.55/425.59 c | 359653 | 2672 15582 54884 | 78739 78076 35 | 0.037 % |
426.25/426.25 c | 360249 | 2672 15582 54884 | 78425 78672 36 | 0.037 % |
427.15/427.18 c | 360905 | 2672 15582 54884 | 78425 69401 34 | 0.037 % |
428.15/428.12 c | 361628 | 2672 15582 54884 | 78425 70124 35 | 0.038 % |
429.05/429.08 c | 362420 | 2672 15582 54884 | 78425 70916 35 | 0.038 % |
430.15/430.16 c | 363291 | 2672 15582 54884 | 78425 71787 35 | 0.037 % |
431.55/431.58 c | 364250 | 2672 15582 54884 | 78425 72746 35 | 0.037 % |
432.35/432.32 c | 365303 | 2672 15582 54884 | 78425 73799 35 | 0.038 % |
433.35/433.33 c | 366461 | 2672 15582 54884 | 78425 74957 35 | 0.037 % |
435.15/435.12 c | 367734 | 2672 15582 54884 | 78425 76230 35 | 0.037 % |
436.75/436.72 c | 369136 | 2672 15582 54884 | 78425 77632 35 | 0.037 % |
438.85/438.85 c | 370678 | 2672 15582 54884 | 78497 69929 34 | 0.038 % |
441.05/441.02 c | 372372 | 2672 15582 54884 | 78497 71623 34 | 0.037 % |
443.95/443.97 c | 374235 | 2672 15582 54884 | 78497 73486 34 | 0.037 % |
447.25/447.25 c | 376286 | 2672 15582 54884 | 78497 75537 34 | 0.037 % |
449.85/449.85 c | 378540 | 2672 15582 54884 | 78497 77791 35 | 0.037 % |
452.65/452.70 c | 381018 | 2672 15582 54884 | 70425 63565 32 | 0.038 % |
455.35/455.39 c | 383744 | 2672 15582 54884 | 70425 66291 33 | 0.037 % |
458.35/458.38 c | 386742 | 2672 15582 54884 | 70425 69289 33 | 0.037 % |
462.45/462.47 c | 390038 | 2672 15582 54884 | 2147483647 65517 33 | 0.038 % |
467.35/467.39 c | 393664 | 2672 15582 54884 | 2147483647 69143 33 | 0.037 % |
467.55/467.52 c | 393766 | 2672 15582 54884 | 2147483647 69245 33 | 0.038 % |
467.65/467.66 c | 393876 | 2672 15582 54884 | 2147483647 69355 33 | 0.038 % |
467.75/467.77 c | 393997 | 2672 15582 54884 | 2147483647 69476 33 | 0.037 % |
467.95/467.91 c | 394133 | 2672 15582 54884 | 2147483647 69612 33 | 0.038 % |
468.15/468.11 c | 394279 | 2672 15582 54884 | 2147483647 69758 33 | 0.037 % |
468.15/468.17 c | 394439 | 2672 15582 54884 | 2147483647 69918 33 | 0.038 % |
468.45/468.44 c | 394615 | 2672 15582 54884 | 2147483647 70094 33 | 0.037 % |
468.65/468.68 c | 394808 | 2672 15582 54884 | 2147483647 70287 33 | 0.038 % |
468.85/468.90 c | 395021 | 2672 15582 54884 | 2147483647 70500 33 | 0.037 % |
469.25/469.26 c | 395256 | 2672 15582 54884 | 2147483647 70735 33 | 0.037 % |
469.65/469.61 c | 395512 | 2672 15582 54884 | 2147483647 70991 33 | 0.037 % |
469.95/469.91 c | 395793 | 2672 15582 54884 | 2147483647 71272 33 | 0.037 % |
470.25/470.27 c | 396104 | 2672 15582 54884 | 2147483647 71583 33 | 0.038 % |
470.65/470.69 c | 396444 | 2672 15582 54884 | 2147483647 71923 33 | 0.038 % |
470.95/471.00 c | 396820 | 2672 15582 54884 | 2147483647 72299 33 | 0.037 % |
471.55/471.56 c | 397231 | 2672 15582 54884 | 2147483647 72710 33 | 0.037 % |
472.15/472.19 c | 397680 | 2672 15582 54884 | 2147483647 73159 34 | 0.037 % |
472.55/472.54 c | 398174 | 2672 15582 54884 | 2147483647 73653 33 | 0.038 % |
473.15/473.12 c | 398716 | 2672 15582 54884 | 2147483647 74195 33 | 0.037 % |
473.45/473.41 c | 399312 | 2672 15582 54884 | 2147483647 74791 33 | 0.037 % |
474.05/474.10 c | 399968 | 2672 15582 54884 | 2147483647 75447 34 | 0.038 % |
474.95/474.99 c | 400688 | 2672 15582 54884 | 75479 67772 31 | 0.037 % |
476.05/476.04 c | 401481 | 2672 15582 54884 | 75479 68565 31 | 0.037 % |
477.25/477.27 c | 402353 | 2672 15582 54884 | 75479 69437 31 | 0.037 % |
478.45/478.45 c | 403312 | 2672 15582 54884 | 75479 70396 32 | 0.037 % |
480.05/480.01 c | 404366 | 2672 15582 54884 | 75479 71450 32 | 0.038 % |
481.25/481.22 c | 405524 | 2672 15582 54884 | 75479 72608 32 | 0.037 % |
482.55/482.54 c | 406798 | 2672 15582 54884 | 75479 73882 32 | 0.037 % |
484.35/484.34 c | 408198 | 2672 15582 54884 | 75479 75282 33 | 0.038 % |
486.85/486.82 c | 409739 | 2672 15582 54884 | 75479 68839 31 | 0.037 % |
488.85/488.84 c | 411434 | 2672 15582 54884 | 69101 63530 31 | 0.038 % |
491.55/491.53 c | 413297 | 2672 15582 54884 | 69101 65393 31 | 0.037 % |
494.15/494.19 c | 415348 | 2672 15582 54884 | 69101 67444 32 | 0.038 % |
496.76/496.74 c | 417602 | 2672 15582 54884 | 69101 62753 31 | 0.037 % |
499.86/499.88 c | 420081 | 2672 15582 54884 | 2147483647 65232 31 | 0.037 % |
502.36/502.41 c | 422807 | 2672 15582 54884 | 2147483647 67958 33 | 0.038 % |
505.36/505.36 c | 425804 | 2672 15582 54884 | 2147483647 70955 33 | 0.037 % |
509.37/509.37 c | 429100 | 2672 15582 54884 | 2147483647 74251 34 | 0.037 % |
513.97/513.95 c | 432726 | 2672 15582 54884 | 2147483647 77877 35 | 0.037 % |
518.47/518.46 c | 436713 | 2672 15582 54884 | 2147483647 81864 36 | 0.037 % |
518.57/518.58 c | 436815 | 2672 15582 54884 | 2147483647 81966 36 | 0.037 % |
518.67/518.69 c | 436927 | 2672 15582 54884 | 2147483647 82078 36 | 0.037 % |
518.87/518.84 c | 437048 | 2672 15582 54884 | 2147483647 82199 36 | 0.037 % |
519.07/519.06 c | 437181 | 2672 15582 54884 | 2147483647 82332 36 | 0.037 % |
519.37/519.32 c | 437328 | 2672 15582 54884 | 2147483647 82479 36 | 0.038 % |
519.47/519.50 c | 437489 | 2672 15582 54884 | 2147483647 82640 36 | 0.037 % |
519.77/519.78 c | 437666 | 2672 15582 54884 | 2147483647 82817 36 | 0.038 % |
520.07/520.06 c | 437860 | 2672 15582 54884 | 2147483647 83011 36 | 0.037 % |
520.47/520.45 c | 438073 | 2672 15582 54884 | 2147483647 83224 36 | 0.037 % |
520.77/520.80 c | 438307 | 2672 15582 54884 | 2147483647 83458 37 | 0.038 % |
521.07/521.09 c | 438563 | 2672 15582 54884 | 2147483647 83714 37 | 0.038 % |
521.47/521.44 c | 438845 | 2672 15582 54884 | 2147483647 83996 37 | 0.037 % |
522.07/522.07 c | 439155 | 2672 15582 54884 | 2147483647 84306 37 | 0.037 % |
522.47/522.46 c | 439494 | 2672 15582 54884 | 2147483647 84645 37 | 0.037 % |
522.77/522.80 c | 439868 | 2672 15582 54884 | 2147483647 85019 37 | 0.038 % |
523.37/523.39 c | 440277 | 2672 15582 54884 | 85151 85428 37 | 0.038 % |
523.97/523.96 c | 440728 | 2672 15582 54884 | 85151 73639 35 | 0.037 % |
524.57/524.54 c | 441221 | 2672 15582 54884 | 85151 74132 35 | 0.037 % |
525.27/525.32 c | 441763 | 2672 15582 54884 | 85151 74674 35 | 0.037 % |
526.27/526.32 c | 442361 | 2672 15582 54884 | 85151 75272 35 | 0.037 % |
526.97/527.02 c | 443016 | 2672 15582 54884 | 85151 75927 35 | 0.037 % |
527.77/527.78 c | 443736 | 2672 15582 54884 | 85151 76647 36 | 0.038 % |
528.87/528.83 c | 444528 | 2672 15582 54884 | 85151 77439 36 | 0.038 % |
529.67/529.69 c | 445401 | 2672 15582 54884 | 85151 78312 36 | 0.038 % |
530.77/530.80 c | 446359 | 2672 15582 54884 | 85151 79270 36 | 0.037 % |
532.67/532.64 c | 447412 | 2672 15582 54884 | 85151 80323 36 | 0.038 % |
534.67/534.65 c | 448572 | 2672 15582 54884 | 85151 81483 36 | 0.037 % |
536.57/536.61 c | 449845 | 2672 15582 54884 | 85151 82756 37 | 0.037 % |
538.17/538.19 c | 451246 | 2672 15582 54884 | 82914 72218 36 | 0.037 % |
539.77/539.72 c | 452787 | 2672 15582 54884 | 82914 73759 36 | 0.038 % |
541.87/541.87 c | 454481 | 2672 15582 54884 | 82914 75453 36 | 0.038 % |
544.37/544.33 c | 456346 | 2672 15582 54884 | 82914 77318 37 | 0.038 % |
547.27/547.25 c | 458395 | 2672 15582 54884 | 82914 79367 37 | 0.037 % |
549.67/549.63 c | 460648 | 2672 15582 54884 | 80972 81620 37 | 0.038 % |
553.07/553.10 c | 463126 | 2672 15582 54884 | 80972 71899 37 | 0.038 % |
555.87/555.90 c | 465852 | 2672 15582 54884 | 80972 74625 37 | 0.037 % |
559.27/559.28 c | 468850 | 2672 15582 54884 | 80972 77623 39 | 0.037 % |
564.47/564.42 c | 472146 | 2672 15582 54884 | 78775 69959 37 | 0.037 % |
569.07/569.05 c | 475771 | 2672 15582 54884 | 78775 73584 37 | 0.037 % |
575.27/575.31 c | 479760 | 2672 15582 54884 | 78775 77573 38 | 0.037 % |
582.07/582.11 c | 484145 | 2672 15582 54884 | 77813 71317 37 | 0.037 % |
582.17/582.19 c | 484246 | 2672 15582 54884 | 77813 71418 37 | 0.038 % |
582.27/582.30 c | 484357 | 2672 15582 54884 | 77813 71529 37 | 0.037 % |
582.47/582.45 c | 484480 | 2672 15582 54884 | 77813 71652 37 | 0.037 % |
582.57/582.60 c | 484615 | 2672 15582 54884 | 77813 71787 37 | 0.037 % |
582.77/582.72 c | 484763 | 2672 15582 54884 | 77813 71935 37 | 0.037 % |
582.87/582.90 c | 484923 | 2672 15582 54884 | 77813 72095 37 | 0.037 % |
583.08/583.11 c | 485102 | 2672 15582 54884 | 77813 72274 37 | 0.037 % |
583.37/583.39 c | 485295 | 2672 15582 54884 | 77813 72467 37 | 0.037 % |
583.57/583.57 c | 485507 | 2672 15582 54884 | 77813 72679 37 | 0.037 % |
583.87/583.86 c | 485742 | 2672 15582 54884 | 77813 72914 37 | 0.037 % |
584.18/584.13 c | 485998 | 2672 15582 54884 | 77813 73170 37 | 0.038 % |
584.37/584.39 c | 486282 | 2672 15582 54884 | 77813 73454 37 | 0.037 % |
584.77/584.74 c | 486591 | 2672 15582 54884 | 77813 73763 37 | 0.038 % |
585.37/585.33 c | 486931 | 2672 15582 54884 | 77813 74103 37 | 0.038 % |
585.67/585.67 c | 487303 | 2672 15582 54884 | 77813 74475 37 | 0.037 % |
586.07/586.05 c | 487712 | 2672 15582 54884 | 77813 74884 37 | 0.037 % |
586.47/586.45 c | 488161 | 2672 15582 54884 | 77813 75333 37 | 0.037 % |
587.07/587.02 c | 488654 | 2672 15582 54884 | 77813 75826 37 | 0.037 % |
587.67/587.69 c | 489199 | 2672 15582 54884 | 77813 76371 38 | 0.038 % |
588.27/588.26 c | 489795 | 2672 15582 54884 | 77813 76967 38 | 0.037 % |
589.07/589.09 c | 490453 | 2672 15582 54884 | 77172 77625 38 | 0.037 % |
590.17/590.13 c | 491173 | 2672 15582 54884 | 77172 68498 37 | 0.037 % |
590.97/590.98 c | 491967 | 2672 15582 54884 | 77172 69292 37 | 0.038 % |
592.17/592.12 c | 492840 | 2672 15582 54884 | 77172 70165 37 | 0.037 % |
593.37/593.33 c | 493801 | 2672 15582 54884 | 77172 71126 37 | 0.037 % |
594.57/594.58 c | 494855 | 2672 15582 54884 | 77172 72180 37 | 0.038 % |
596.37/596.39 c | 496015 | 2672 15582 54884 | 77172 73340 37 | 0.037 % |
597.77/597.74 c | 497288 | 2672 15582 54884 | 77172 74613 37 | 0.038 % |
599.17/599.19 c | 498689 | 2672 15582 54884 | 77172 76014 38 | 0.038 % |
601.17/601.19 c | 500230 | 2672 15582 54884 | 77325 68298 36 | 0.037 % |
603.57/603.51 c | 501925 | 2672 15582 54884 | 77325 69993 37 | 0.038 % |
605.27/605.26 c | 503789 | 2672 15582 54884 | 77325 71857 37 | 0.037 % |
607.97/607.96 c | 505838 | 2672 15582 54884 | 77325 73906 38 | 0.038 % |
610.78/610.79 c | 508091 | 2672 15582 54884 | 77325 76159 38 | 0.038 % |
613.98/613.95 c | 510570 | 2672 15582 54884 | 68060 68630 36 | 0.038 % |
615.48/615.52 c | 513295 | 2672 15582 54884 | 68060 62455 33 | 0.037 % |
619.98/619.97 c | 516292 | 2672 15582 54884 | 68060 65452 34 | 0.037 % |
624.08/624.05 c | 519589 | 2672 15582 54884 | 68060 61906 33 | 0.037 % |
627.28/627.29 c | 523214 | 2672 15582 54884 | 2147483647 65531 34 | 0.037 % |
630.38/630.34 c | 527202 | 2672 15582 54884 | 2147483647 69519 35 | 0.038 % |
635.08/635.07 c | 531587 | 2672 15582 54884 | 72317 66112 34 | 0.037 % |
639.78/639.76 c | 536410 | 2672 15582 54884 | 72317 70935 37 | 0.038 % |
639.88/639.86 c | 536511 | 2672 15582 54884 | 72317 71036 37 | 0.037 % |
639.98/639.99 c | 536624 | 2672 15582 54884 | 72317 71149 37 | 0.037 % |
640.18/640.18 c | 536746 | 2672 15582 54884 | 72317 71271 37 | 0.037 % |
640.38/640.33 c | 536879 | 2672 15582 54884 | 72317 71404 37 | 0.037 % |
640.48/640.50 c | 537027 | 2672 15582 54884 | 72317 71552 37 | 0.038 % |
640.68/640.67 c | 537190 | 2672 15582 54884 | 72317 71715 37 | 0.038 % |
640.88/640.83 c | 537366 | 2672 15582 54884 | 72317 71891 37 | 0.037 % |
641.08/641.09 c | 537559 | 2672 15582 54884 | 72317 72084 37 | 0.037 % |
641.38/641.41 c | 537771 | 2672 15582 54884 | 72317 72296 37 | 0.038 % |
641.78/641.75 c | 538006 | 2672 15582 54884 | 72317 72531 37 | 0.038 % |
642.18/642.15 c | 538262 | 2672 15582 54884 | 72317 64114 36 | 0.038 % |
642.48/642.47 c | 538543 | 2671 15570 54854 | 72317 64393 36 | 0.075 % |
642.68/642.68 c | 538853 | 2671 15570 54854 | 72317 64703 36 | 0.075 % |
643.18/643.14 c | 539192 | 2671 15570 54854 | 72317 65042 36 | 0.075 % |
643.48/643.51 c | 539564 | 2671 15570 54854 | 72317 65414 36 | 0.075 % |
643.98/643.95 c | 539973 | 2671 15570 54854 | 72317 65823 37 | 0.075 % |
644.48/644.45 c | 540422 | 2671 15570 54854 | 65851 58447 36 | 0.075 % |
644.98/644.93 c | 540915 | 2671 15570 54854 | 65851 58940 36 | 0.075 % |
645.48/645.42 c | 541457 | 2671 15570 54854 | 65851 59482 36 | 0.075 % |
645.98/646.00 c | 542053 | 2671 15570 54854 | 65851 60078 36 | 0.075 % |
646.68/646.65 c | 542711 | 2671 15570 54854 | 65851 60736 36 | 0.075 % |
647.18/647.20 c | 543432 | 2671 15570 54854 | 65851 61457 36 | 0.075 % |
648.08/648.02 c | 544224 | 2671 15570 54854 | 65851 62249 37 | 0.075 % |
648.98/648.92 c | 545095 | 2671 15570 54854 | 65851 63120 37 | 0.075 % |
650.18/650.19 c | 546053 | 2671 15570 54854 | 65851 64078 37 | 0.075 % |
651.18/651.18 c | 547107 | 2671 15570 54854 | 65851 65132 37 | 0.075 % |
652.38/652.33 c | 548265 | 2671 15570 54854 | 65851 66290 37 | 0.075 % |
654.08/654.07 c | 549538 | 2671 15570 54854 | 65851 60934 36 | 0.075 % |
655.48/655.49 c | 550939 | 2671 15570 54854 | 2147483647 62335 37 | 0.075 % |
657.08/657.04 c | 552480 | 2671 15570 54854 | 2147483647 63876 37 | 0.075 % |
659.38/659.32 c | 554174 | 2671 15570 54854 | 2147483647 65570 37 | 0.075 % |
662.38/662.38 c | 556037 | 2671 15570 54854 | 2147483647 67433 37 | 0.075 % |
665.18/665.16 c | 558086 | 2671 15570 54854 | 2147483647 69482 37 | 0.075 % |
667.79/667.76 c | 560339 | 2671 15570 54854 | 2147483647 71735 38 | 0.075 % |
669.88/669.83 c | 562817 | 2671 15570 54854 | 2147483647 74213 37 | 0.075 % |
673.48/673.49 c | 565542 | 2671 15570 54854 | 2147483647 76938 38 | 0.075 % |
677.58/677.59 c | 568539 | 2671 15570 54854 | 2147483647 79935 38 | 0.075 % |
681.48/681.47 c | 571835 | 2671 15570 54854 | 81396 72093 37 | 0.075 % |
685.87/685.90 c | 575460 | 2671 15570 54854 | 81396 75718 37 | 0.075 % |
690.37/690.36 c | 579448 | 2671 15570 54854 | 81396 79706 38 | 0.075 % |
695.28/695.26 c | 583833 | 2671 15570 54854 | 80258 73281 37 | 0.075 % |
700.37/700.40 c | 588657 | 2671 15570 54854 | 80258 78105 38 | 0.075 % |
708.27/708.21 c | 593965 | 2671 15570 54854 | 79449 72888 36 | 0.075 % |
708.37/708.33 c | 594065 | 2671 15570 54854 | 79449 72988 36 | 0.075 % |
708.48/708.46 c | 594176 | 2671 15570 54854 | 79449 73099 36 | 0.075 % |
708.58/708.56 c | 594298 | 2671 15570 54854 | 79449 73221 36 | 0.075 % |
708.78/708.74 c | 594432 | 2671 15570 54854 | 79449 73355 36 | 0.075 % |
708.88/708.87 c | 594578 | 2671 15570 54854 | 79449 73501 36 | 0.075 % |
708.98/709.00 c | 594739 | 2671 15570 54854 | 79449 73662 36 | 0.075 % |
709.08/709.10 c | 594915 | 2671 15570 54854 | 79449 73838 36 | 0.075 % |
709.38/709.34 c | 595108 | 2671 15570 54854 | 79449 74031 36 | 0.075 % |
709.68/709.71 c | 595320 | 2671 15570 54854 | 79449 74243 36 | 0.075 % |
710.08/710.05 c | 595554 | 2671 15570 54854 | 79449 74477 36 | 0.075 % |
710.38/710.35 c | 595810 | 2671 15570 54854 | 79449 74733 36 | 0.075 % |
710.78/710.76 c | 596093 | 2671 15570 54854 | 79449 75016 36 | 0.075 % |
711.08/711.03 c | 596403 | 2671 15570 54854 | 79449 75326 37 | 0.075 % |
711.38/711.34 c | 596742 | 2671 15570 54854 | 79449 75665 37 | 0.075 % |
711.88/711.88 c | 597116 | 2671 15570 54854 | 79449 76039 37 | 0.075 % |
712.48/712.45 c | 597527 | 2671 15570 54854 | 79449 76450 37 | 0.075 % |
712.98/712.95 c | 597977 | 2671 15570 54854 | 79449 76900 37 | 0.075 % |
713.08/713.11 c | 598470 | 2671 15570 54854 | 79449 77393 37 | 0.075 % |
713.68/713.67 c | 599012 | 2671 15570 54854 | 79449 77935 37 | 0.075 % |
714.38/714.36 c | 599611 | 2671 15570 54854 | 79449 78534 37 | 0.075 % |
715.08/715.08 c | 600266 | 2671 15570 54854 | 78927 79189 37 | 0.075 % |
715.68/715.70 c | 600988 | 2671 15570 54854 | 78927 70423 36 | 0.075 % |
716.58/716.57 c | 601780 | 2671 15570 54854 | 78927 71215 37 | 0.075 % |
717.38/717.39 c | 602652 | 2671 15570 54854 | 78927 72087 37 | 0.075 % |
718.28/718.25 c | 603610 | 2671 15570 54854 | 78927 73045 37 | 0.075 % |
719.28/719.25 c | 604663 | 2671 15570 54854 | 78927 74098 37 | 0.075 % |
721.18/721.17 c | 605822 | 2671 15570 54854 | 78927 75257 37 | 0.075 % |
722.68/722.71 c | 607095 | 2671 15570 54854 | 78927 76530 37 | 0.075 % |
724.28/724.25 c | 608495 | 2671 15570 54854 | 78927 77930 38 | 0.075 % |
726.58/726.58 c | 610037 | 2671 15570 54854 | 79437 79472 38 | 0.075 % |
727.88/727.89 c | 611731 | 2671 15570 54854 | 79437 71791 37 | 0.075 % |
729.88/729.90 c | 613594 | 2671 15570 54854 | 79437 73654 37 | 0.075 % |
731.78/731.76 c | 615643 | 2671 15570 54854 | 79437 75703 38 | 0.075 % |
734.88/734.82 c | 617896 | 2671 15570 54854 | 79437 77956 38 | 0.075 % |
737.98/738.00 c | 620374 | 2671 15570 54854 | 80060 80434 39 | 0.075 % |
740.48/740.49 c | 623100 | 2671 15570 54854 | 80060 74265 38 | 0.075 % |
743.58/743.58 c | 626098 | 2671 15570 54854 | 80060 77263 38 | 0.075 % |
748.18/748.17 c | 629394 | 2671 15570 54854 | 80060 70371 36 | 0.075 % |
752.18/752.20 c | 633020 | 2671 15570 54854 | 70978 65031 35 | 0.075 % |
755.88/755.85 c | 637008 | 2671 15570 54854 | 70978 69019 36 | 0.075 % |
759.38/759.39 c | 641393 | 2671 15570 54854 | 64270 59103 34 | 0.075 % |
762.98/762.96 c | 646217 | 2671 15570 54854 | 64270 63927 35 | 0.075 % |
769.28/769.25 c | 651523 | 2671 15570 54854 | 2147483647 62754 36 | 0.075 % |
775.48/775.51 c | 657358 | 2671 15570 54854 | 2147483647 68589 38 | 0.075 % |
775.68/775.63 c | 657459 | 2671 15570 54854 | 2147483647 68690 38 | 0.075 % |
775.78/775.75 c | 657570 | 2671 15570 54854 | 2147483647 68801 38 | 0.075 % |
775.88/775.87 c | 657691 | 2671 15570 54854 | 2147483647 68922 38 | 0.075 % |
775.98/775.98 c | 657824 | 2671 15570 54854 | 2147483647 69055 38 | 0.075 % |
776.08/776.06 c | 657970 | 2671 15570 54854 | 2147483647 69201 38 | 0.075 % |
776.28/776.26 c | 658132 | 2671 15570 54854 | 2147483647 69363 38 | 0.075 % |
776.48/776.45 c | 658308 | 2671 15570 54854 | 2147483647 69539 38 | 0.075 % |
776.69/776.68 c | 658502 | 2671 15570 54854 | 2147483647 69733 38 | 0.075 % |
776.88/776.83 c | 658714 | 2671 15570 54854 | 2147483647 69945 38 | 0.075 % |
776.88/776.90 c | 658948 | 2671 15570 54854 | 2147483647 70179 38 | 0.075 % |
777.28/777.24 c | 659205 | 2671 15570 54854 | 2147483647 70436 38 | 0.075 % |
777.58/777.54 c | 659487 | 2671 15570 54854 | 2147483647 70718 38 | 0.075 % |
778.28/778.22 c | 659796 | 2671 15570 54854 | 2147483647 71027 38 | 0.075 % |
778.68/778.63 c | 660137 | 2671 15570 54854 | 71234 71368 38 | 0.075 % |
779.28/779.22 c | 660510 | 2671 15570 54854 | 71234 64593 36 | 0.075 % |
779.68/779.64 c | 660919 | 2671 15570 54854 | 71234 65002 36 | 0.075 % |
779.99/779.94 c | 661369 | 2671 15570 54854 | 71234 65452 36 | 0.075 % |
780.38/780.35 c | 661864 | 2671 15570 54854 | 71234 65947 36 | 0.075 % |
781.18/781.14 c | 662406 | 2671 15570 54854 | 71234 66489 37 | 0.075 % |
781.78/781.73 c | 663003 | 2671 15570 54854 | 71234 67086 37 | 0.075 % |
782.38/782.36 c | 663660 | 2671 15570 54854 | 71234 67743 37 | 0.075 % |
783.18/783.19 c | 664381 | 2671 15570 54854 | 71234 68464 37 | 0.075 % |
783.88/783.86 c | 665173 | 2671 15570 54854 | 71234 69256 37 | 0.075 % |
784.98/784.92 c | 666044 | 2671 15570 54854 | 71234 70127 37 | 0.075 % |
786.18/786.17 c | 667004 | 2671 15570 54854 | 71234 71087 38 | 0.075 % |
787.58/787.61 c | 668058 | 2671 15570 54854 | 71234 64312 37 | 0.075 % |
789.18/789.19 c | 669216 | 2671 15570 54854 | 71234 65470 37 | 0.075 % |
791.28/791.21 c | 670489 | 2671 15570 54854 | 66254 66743 37 | 0.075 % |
791.98/792.00 c | 671889 | 2671 15570 54854 | 66254 60666 34 | 0.075 % |
793.58/793.58 c | 673429 | 2671 15570 54854 | 66254 62206 35 | 0.075 % |
795.18/795.13 c | 675123 | 2671 15570 54854 | 66254 63900 35 | 0.075 % |
796.98/796.96 c | 676987 | 2671 15570 54854 | 66254 65764 35 | 0.075 % |
798.98/798.94 c | 679036 | 2671 15570 54854 | 66254 61148 34 | 0.075 % |
800.18/800.15 c | 681290 | 2671 15570 54854 | 2147483647 63402 34 | 0.075 % |
803.38/803.32 c | 683768 | 2671 15570 54854 | 2147483647 65880 35 | 0.075 % |
805.68/805.62 c | 686494 | 2671 15570 54854 | 2147483647 68606 35 | 0.075 % |
809.19/809.20 c | 689492 | 2671 15570 54854 | 2147483647 71604 36 | 0.075 % |
811.99/811.92 c | 692789 | 2671 15570 54854 | 2147483647 74901 36 | 0.075 % |
815.19/815.17 c | 696416 | 2671 15570 54854 | 2147483647 78528 37 | 0.075 % |
820.49/820.49 c | 700403 | 2671 15570 54854 | 82114 82515 37 | 0.075 % |
824.69/824.68 c | 704788 | 2671 15570 54854 | 82114 76721 36 | 0.075 % |
831.39/831.39 c | 709612 | 2671 15570 54854 | 82114 81545 36 | 0.075 % |
837.29/837.28 c | 714919 | 2671 15570 54854 | 81934 76207 35 | 0.075 % |
845.49/845.48 c | 720755 | 2671 15570 54854 | 81289 71172 34 | 0.075 % |
855.69/855.70 c | 727174 | 2671 15570 54854 | 81289 77591 35 | 0.075 % |
855.89/855.86 c | 727276 | 2671 15570 54854 | 81289 77693 35 | 0.075 % |
855.99/855.94 c | 727387 | 2671 15570 54854 | 81289 77804 35 | 0.075 % |
856.19/856.13 c | 727508 | 2671 15570 54854 | 81289 77925 35 | 0.075 % |
856.29/856.29 c | 727641 | 2671 15570 54854 | 81289 78058 35 | 0.075 % |
856.49/856.44 c | 727788 | 2671 15570 54854 | 81289 78205 35 | 0.075 % |
856.59/856.56 c | 727949 | 2671 15570 54854 | 81289 78366 35 | 0.075 % |
856.79/856.76 c | 728125 | 2671 15570 54854 | 81289 78542 35 | 0.075 % |
857.19/857.12 c | 728319 | 2671 15570 54854 | 81289 78736 35 | 0.075 % |
857.39/857.33 c | 728532 | 2671 15570 54854 | 81289 78949 35 | 0.075 % |
857.59/857.59 c | 728766 | 2671 15570 54854 | 81289 79183 35 | 0.075 % |
857.99/857.99 c | 729022 | 2671 15570 54854 | 81289 79439 35 | 0.075 % |
858.29/858.24 c | 729303 | 2671 15570 54854 | 81289 79720 35 | 0.075 % |
858.59/858.52 c | 729612 | 2671 15570 54854 | 81289 80029 35 | 0.075 % |
858.99/858.96 c | 729951 | 2671 15570 54854 | 81289 80368 35 | 0.075 % |
859.19/859.14 c | 730326 | 2671 15570 54854 | 80417 80743 35 | 0.075 % |
859.79/859.72 c | 730735 | 2671 15570 54854 | 80417 70192 33 | 0.075 % |
860.39/860.36 c | 731184 | 2671 15570 54854 | 80417 70641 34 | 0.075 % |
861.09/861.06 c | 731677 | 2671 15570 54854 | 80417 71134 34 | 0.075 % |
861.69/861.66 c | 732219 | 2671 15570 54854 | 80417 71676 34 | 0.075 % |
862.39/862.34 c | 732815 | 2671 15570 54854 | 80417 72272 34 | 0.075 % |
863.39/863.36 c | 733472 | 2671 15570 54854 | 80417 72929 34 | 0.075 % |
864.19/864.20 c | 734192 | 2671 15570 54854 | 80417 73649 34 | 0.075 % |
865.19/865.12 c | 734986 | 2671 15570 54854 | 80417 74443 34 | 0.075 % |
866.09/866.03 c | 735858 | 2671 15570 54854 | 80417 75315 35 | 0.075 % |
867.29/867.30 c | 736816 | 2671 15570 54854 | 80417 76273 35 | 0.075 % |
868.69/868.62 c | 737870 | 2671 15570 54854 | 80417 77327 35 | 0.075 % |
870.29/870.26 c | 739028 | 2671 15570 54854 | 80417 78485 35 | 0.075 % |
871.39/871.31 c | 740303 | 2671 15570 54854 | 79457 79760 35 | 0.075 % |
872.49/872.47 c | 741704 | 2671 15570 54854 | 79457 71168 34 | 0.075 % |
873.99/873.96 c | 743245 | 2671 15570 54854 | 79457 72709 34 | 0.075 % |
875.39/875.39 c | 744939 | 2671 15570 54854 | 79457 74403 34 | 0.075 % |
877.59/877.60 c | 746803 | 2671 15570 54854 | 79457 76267 34 | 0.075 % |
880.29/880.28 c | 748852 | 2671 15570 54854 | 79457 78316 35 | 0.075 % |
883.29/883.29 c | 751105 | 2671 15570 54854 | 79464 70596 34 | 0.075 % |
886.29/886.28 c | 753584 | 2671 15570 54854 | 79464 73075 34 | 0.075 % |
888.99/888.94 c | 756311 | 2671 15570 54854 | 79464 75802 35 | 0.075 % |
892.09/892.09 c | 759308 | 2671 15570 54854 | 79464 78799 36 | 0.075 % |
896.99/896.99 c | 762605 | 2671 15570 54854 | 79492 72029 36 | 0.075 % |
902.10/902.03 c | 766231 | 2671 15570 54854 | 79492 75655 36 | 0.075 % |
906.90/906.83 c | 770219 | 2671 15570 54854 | 79424 79643 36 | 0.075 % |
912.40/912.32 c | 774604 | 2671 15570 54854 | 79424 74355 36 | 0.075 % |
919.10/919.03 c | 779427 | 2671 15570 54854 | 79424 79178 37 | 0.075 % |
925.70/925.68 c | 784733 | 2671 15570 54854 | 79751 73495 37 | 0.075 % |
932.40/932.34 c | 790568 | 2671 15570 54854 | 78762 79330 37 | 0.075 % |
939.30/939.24 c | 796989 | 2671 15570 54854 | 78762 75396 38 | 0.075 % |
946.90/946.82 c | 804049 | 2671 15570 54854 | 78407 71766 38 | 0.075 % |
946.90/946.90 c | 804149 | 2671 15570 54854 | 78407 71866 38 | 0.075 % |
947.00/946.99 c | 804259 | 2671 15570 54854 | 78407 71976 38 | 0.075 % |
947.20/947.13 c | 804380 | 2671 15570 54854 | 78407 72097 38 | 0.075 % |
947.30/947.28 c | 804513 | 2671 15570 54854 | 78407 72230 38 | 0.075 % |
947.50/947.42 c | 804660 | 2671 15570 54854 | 78407 72377 38 | 0.075 % |
947.70/947.68 c | 804820 | 2671 15570 54854 | 78407 72537 38 | 0.075 % |
947.80/947.81 c | 804996 | 2671 15570 54854 | 78407 72713 38 | 0.075 % |
948.10/948.08 c | 805189 | 2671 15570 54854 | 78407 72906 38 | 0.075 % |
948.30/948.30 c | 805401 | 2671 15570 54854 | 78407 73118 38 | 0.075 % |
948.60/948.56 c | 805634 | 2671 15570 54854 | 78407 73351 38 | 0.075 % |
948.80/948.79 c | 805892 | 2671 15570 54854 | 78407 73609 38 | 0.075 % |
949.20/949.13 c | 806173 | 2671 15570 54854 | 78407 73890 38 | 0.075 % |
949.50/949.42 c | 806484 | 2671 15570 54854 | 78407 74201 38 | 0.075 % |
949.80/949.79 c | 806823 | 2671 15570 54854 | 78407 74540 38 | 0.075 % |
950.20/950.13 c | 807196 | 2671 15570 54854 | 78407 74913 38 | 0.075 % |
950.80/950.72 c | 807607 | 2671 15570 54854 | 78407 75324 38 | 0.075 % |
951.30/951.26 c | 808058 | 2671 15570 54854 | 78407 75775 38 | 0.075 % |
951.70/951.70 c | 808553 | 2671 15570 54854 | 78407 76270 38 | 0.075 % |
952.00/952.00 c | 809095 | 2671 15570 54854 | 78407 76812 38 | 0.075 % |
952.60/952.54 c | 809691 | 2671 15570 54854 | 78407 77408 38 | 0.075 % |
953.60/953.55 c | 810346 | 2671 15570 54854 | 77717 68061 37 | 0.075 % |
954.50/954.42 c | 811066 | 2671 15570 54854 | 77717 68781 37 | 0.075 % |
955.30/955.25 c | 811859 | 2671 15570 54854 | 77717 69574 37 | 0.075 % |
956.10/956.01 c | 812730 | 2671 15570 54854 | 77717 70445 38 | 0.075 % |
957.00/956.96 c | 813690 | 2671 15570 54854 | 77717 71405 38 | 0.075 % |
958.50/958.43 c | 814744 | 2671 15570 54854 | 77717 72459 38 | 0.075 % |
959.80/959.74 c | 815902 | 2671 15570 54854 | 77717 73617 39 | 0.075 % |
961.60/961.59 c | 817175 | 2671 15570 54854 | 77717 74890 39 | 0.075 % |
963.10/963.08 c | 818575 | 2671 15570 54854 | 77717 76290 39 | 0.075 % |
964.20/964.20 c | 820115 | 2671 15570 54854 | 77716 77830 40 | 0.075 % |
965.91/965.90 c | 821809 | 2671 15570 54854 | 77716 69649 39 | 0.075 % |
968.60/968.58 c | 823673 | 2671 15570 54854 | 77716 71513 39 | 0.075 % |
971.10/971.03 c | 825725 | 2671 15570 54854 | 77716 73565 40 | 0.075 % |
972.80/972.72 c | 827979 | 2671 15570 54854 | 77716 75819 39 | 0.075 % |
976.20/976.19 c | 830457 | 2671 15570 54854 | 77842 68239 37 | 0.075 % |
980.00/980.00 c | 833182 | 2671 15570 54854 | 77842 70964 38 | 0.075 % |
983.30/983.28 c | 836179 | 2671 15570 54854 | 77842 73961 38 | 0.075 % |
988.70/988.65 c | 839475 | 2671 15570 54854 | 77842 77257 38 | 0.075 % |
992.70/992.62 c | 843100 | 2671 15570 54854 | 77783 71611 36 | 0.075 % |
998.80/998.82 c | 847087 | 2671 15570 54854 | 77783 75598 36 | 0.075 % |
1002.91/1002.90 c | 851473 | 2671 15570 54854 | 69111 62394 33 | 0.075 % |
1007.51/1007.50 c | 856297 | 2671 15570 54854 | 69111 67218 36 | 0.075 % |
1014.11/1014.11 c | 861603 | 2671 15570 54854 | 63625 58813 34 | 0.075 % |
1020.11/1020.02 c | 867438 | 2671 15570 54854 | 63625 58245 33 | 0.075 % |
1027.61/1027.60 c | 873856 | 2671 15570 54854 | 2147483647 64663 34 | 0.075 % |
1037.31/1037.31 c | 880916 | 2671 15570 54854 | 2147483647 71723 35 | 0.075 % |
1047.60/1047.59 c | 888680 | 2671 15570 54854 | 2147483647 79487 35 | 0.075 % |
1047.80/1047.73 c | 888782 | 2671 15570 54854 | 2147483647 79589 35 | 0.075 % |
1048.00/1047.93 c | 888894 | 2671 15570 54854 | 2147483647 79701 35 | 0.075 % |
1048.20/1048.16 c | 889015 | 2671 15570 54854 | 2147483647 79822 35 | 0.075 % |
1048.40/1048.32 c | 889149 | 2671 15570 54854 | 2147483647 79956 35 | 0.075 % |
1048.50/1048.50 c | 889296 | 2671 15570 54854 | 2147483647 80103 35 | 0.075 % |
1048.70/1048.63 c | 889458 | 2671 15570 54854 | 2147483647 80265 36 | 0.075 % |
1048.90/1048.83 c | 889637 | 2671 15570 54854 | 2147483647 80444 36 | 0.075 % |
1049.10/1049.09 c | 889830 | 2671 15570 54854 | 2147483647 80637 36 | 0.075 % |
1049.30/1049.30 c | 890042 | 2671 15570 54854 | 80807 80849 36 | 0.075 % |
1049.70/1049.64 c | 890276 | 2671 15570 54854 | 80807 70901 35 | 0.075 % |
1050.00/1049.96 c | 890533 | 2671 15570 54854 | 80807 71158 35 | 0.075 % |
1050.30/1050.28 c | 890816 | 2671 15570 54854 | 80807 71441 35 | 0.075 % |
1050.60/1050.59 c | 891125 | 2671 15570 54854 | 80807 71750 35 | 0.075 % |
1051.10/1051.03 c | 891466 | 2671 15570 54854 | 80807 72091 35 | 0.075 % |
1051.60/1051.55 c | 891839 | 2671 15570 54854 | 80807 72464 35 | 0.075 % |
1052.00/1051.93 c | 892248 | 2671 15570 54854 | 80807 72873 35 | 0.075 % |
1052.50/1052.43 c | 892699 | 2671 15570 54854 | 80807 73324 35 | 0.075 % |
1053.00/1052.93 c | 893193 | 2671 15570 54854 | 80807 73818 36 | 0.075 % |
1053.70/1053.62 c | 893737 | 2671 15570 54854 | 80807 74362 36 | 0.075 % |
1054.40/1054.34 c | 894334 | 2671 15570 54854 | 80807 74959 36 | 0.075 % |
1055.20/1055.20 c | 894990 | 2671 15570 54854 | 80807 75615 36 | 0.075 % |
1056.40/1056.32 c | 895710 | 2671 15570 54854 | 80807 76335 36 | 0.075 % |
1057.40/1057.36 c | 896502 | 2671 15570 54854 | 80807 77127 36 | 0.075 % |
1058.40/1058.36 c | 897374 | 2671 15570 54854 | 80807 77999 36 | 0.075 % |
1059.20/1059.18 c | 898333 | 2671 15570 54854 | 80807 78958 36 | 0.075 % |
1060.40/1060.40 c | 899387 | 2671 15570 54854 | 80807 80012 37 | 0.075 % |
1062.10/1062.00 c | 900545 | 2671 15570 54854 | 80625 70092 35 | 0.075 % |
1063.30/1063.26 c | 901818 | 2671 15570 54854 | 80625 71365 35 | 0.075 % |
1064.80/1064.72 c | 903218 | 2671 15570 54854 | 80625 72765 36 | 0.075 % |
1065.70/1065.69 c | 904759 | 2671 15570 54854 | 80625 74306 36 | 0.075 % |
1067.40/1067.33 c | 906453 | 2671 15570 54854 | 80625 76000 36 | 0.075 % |
1069.40/1069.35 c | 908317 | 2671 15570 54854 | 80625 77864 36 | 0.075 % |
1072.10/1072.03 c | 910366 | 2671 15570 54854 | 79547 79913 37 | 0.075 % |
1075.00/1075.00 c | 912621 | 2671 15570 54854 | 79547 71737 34 | 0.075 % |
1078.50/1078.49 c | 915100 | 2671 15570 54854 | 79547 74216 34 | 0.075 % |
1082.70/1082.62 c | 917825 | 2671 15570 54854 | 79547 76941 35 | 0.075 % |
1086.50/1086.44 c | 920823 | 2671 15570 54854 | 79116 70244 35 | 0.075 % |
1090.40/1090.37 c | 924120 | 2671 15570 54854 | 79116 73541 35 | 0.075 % |
1095.00/1094.92 c | 927745 | 2671 15570 54854 | 79116 77166 36 | 0.075 % |
1100.50/1100.47 c | 931734 | 2671 15570 54854 | 69220 61991 35 | 0.075 % |
1106.41/1106.37 c | 936119 | 2671 15570 54854 | 69220 66376 36 | 0.075 % |
1111.81/1111.76 c | 940944 | 2671 15570 54854 | 2147483647 64229 35 | 0.075 % |
1120.31/1120.21 c | 946250 | 2671 15570 54854 | 2147483647 69535 35 | 0.075 % |
1130.01/1129.91 c | 952086 | 2671 15570 54854 | 2147483647 75371 35 | 0.075 % |
1136.21/1136.13 c | 958505 | 2671 15570 54854 | 2147483647 81790 37 | 0.075 % |
1145.01/1144.93 c | 965565 | 2671 15570 54854 | 83285 77291 38 | 0.075 % |
1152.31/1152.27 c | 973329 | 2671 15570 54854 | 81728 73336 39 | 0.075 % |
1160.62/1160.55 c | 981870 | 2671 15570 54854 | 80007 69795 38 | 0.075 % |
1160.81/1160.71 c | 981970 | 2671 15570 54854 | 80007 69895 38 | 0.075 % |
1160.91/1160.89 c | 982082 | 2671 15570 54854 | 80007 70007 38 | 0.075 % |
1161.01/1160.97 c | 982203 | 2671 15570 54854 | 80007 70128 38 | 0.075 % |
1161.11/1161.09 c | 982336 | 2671 15570 54854 | 80007 70261 38 | 0.075 % |
1161.31/1161.21 c | 982482 | 2671 15570 54854 | 80007 70407 38 | 0.075 % |
1161.41/1161.36 c | 982642 | 2671 15570 54854 | 80007 70567 38 | 0.075 % |
1161.61/1161.54 c | 982818 | 2671 15570 54854 | 80007 70743 38 | 0.075 % |
1161.81/1161.76 c | 983011 | 2671 15570 54854 | 80007 70936 39 | 0.075 % |
1162.01/1161.98 c | 983224 | 2671 15570 54854 | 80007 71149 39 | 0.075 % |
1162.31/1162.25 c | 983459 | 2671 15570 54854 | 80007 71384 39 | 0.075 % |
1162.61/1162.54 c | 983719 | 2671 15570 54854 | 80007 71644 39 | 0.075 % |
1162.82/1162.76 c | 984001 | 2671 15570 54854 | 80007 71926 39 | 0.075 % |
1163.01/1162.99 c | 984312 | 2671 15570 54854 | 80007 72237 39 | 0.075 % |
1163.31/1163.25 c | 984652 | 2671 15570 54854 | 80007 72577 39 | 0.075 % |
1163.71/1163.62 c | 985024 | 2671 15570 54854 | 80007 72949 39 | 0.075 % |
1164.21/1164.17 c | 985434 | 2671 15570 54854 | 80007 73359 39 | 0.075 % |
1164.91/1164.90 c | 985884 | 2671 15570 54854 | 80007 73809 39 | 0.075 % |
1165.71/1165.67 c | 986378 | 2671 15570 54854 | 80007 74303 39 | 0.075 % |
1166.31/1166.28 c | 986920 | 2671 15570 54854 | 80007 74845 39 | 0.075 % |
1167.01/1166.95 c | 987516 | 2671 15570 54854 | 80007 75441 39 | 0.075 % |
1167.91/1167.87 c | 988173 | 2671 15570 54854 | 80007 76098 39 | 0.075 % |
1168.61/1168.55 c | 988894 | 2671 15570 54854 | 80007 76819 40 | 0.075 % |
1169.11/1169.01 c | 989687 | 2671 15570 54854 | 80007 77612 40 | 0.075 % |
1170.01/1169.95 c | 990558 | 2671 15570 54854 | 77925 68287 40 | 0.075 % |
1170.91/1170.90 c | 991517 | 2671 15570 54854 | 77925 69246 40 | 0.075 % |
1171.91/1171.85 c | 992571 | 2671 15570 54854 | 77925 70300 40 | 0.075 % |
1172.91/1172.88 c | 993730 | 2671 15570 54854 | 77925 71459 40 | 0.075 % |
1174.01/1173.91 c | 995003 | 2671 15570 54854 | 77925 72732 41 | 0.075 % |
1175.41/1175.35 c | 996403 | 2671 15570 54854 | 77925 74132 41 | 0.075 % |
1176.81/1176.72 c | 997943 | 2671 15570 54854 | 77925 75672 41 | 0.075 % |
1178.61/1178.59 c | 999637 | 2671 15570 54854 | 77925 77366 41 | 0.075 % |
1180.91/1180.87 c | 1001505 | 2671 15570 54854 | 77730 68937 42 | 0.075 % |
1183.81/1183.71 c | 1003555 | 2671 15570 54854 | 77730 70987 42 | 0.075 % |
1185.51/1185.50 c | 1005808 | 2671 15570 54854 | 77730 73240 43 | 0.075 % |
1188.31/1188.27 c | 1008287 | 2671 15570 54854 | 77730 75719 43 | 0.075 % |
1191.81/1191.71 c | 1011014 | 2671 15570 54854 | 77432 68526 40 | 0.075 % |
1195.31/1195.24 c | 1014013 | 2671 15570 54854 | 77432 71525 40 | 0.075 % |
1199.22/1199.18 c | 1017311 | 2671 15570 54854 | 77432 74823 40 | 0.075 % |
1200.02/1199.92 HOME/SatELiteGTI: line 36: 11665 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820410-1242440277/watcher-1820410-1242440277 -o /tmp/evaluation-result-1820410-1242440277/solver-1820410-1242440277 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820410-1242440277.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11659
/proc/meminfo: memFree=1534780/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2412 CPUtime=0
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 366 645 0 0 0 0 0 0 20 0 1 0 1008524812 2469888 275 4294967295 134512640 135169312 3220398720 3220397256 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11659/statm: 603 275 235 161 0 42 0
[pid=11663] ppid=11659 vsize=952 CPUtime=0
/proc/11663/stat : 11663 (SatELite_releas) R 11659 11659 14060 0 -1 4202496 134 0 0 0 0 0 0 0 22 0 1 0 1008524812 974848 70 4294967295 134512640 135223648 3219474832 3219473552 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11663/statm: 238 73 45 174 0 63 0
[startup+0.099447 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11659
/proc/meminfo: memFree=1534780/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2412 CPUtime=0
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 366 645 0 0 0 0 0 0 20 0 1 0 1008524812 2469888 275 4294967295 134512640 135169312 3220398720 3220397256 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11659/statm: 603 275 235 161 0 42 0
[pid=11663] ppid=11659 vsize=4740 CPUtime=0.1
/proc/11663/stat : 11663 (SatELite_releas) R 11659 11659 14060 0 -1 4202496 1079 0 0 0 9 1 0 0 23 0 1 0 1008524812 4853760 1015 4294967295 134512640 135223648 3219474832 3219472848 134586709 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11663/statm: 1185 1015 73 174 0 1010 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7152
[startup+0.109446 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11659
/proc/meminfo: memFree=1534780/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2412 CPUtime=0
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 366 645 0 0 0 0 0 0 20 0 1 0 1008524812 2469888 275 4294967295 134512640 135169312 3220398720 3220397256 3085356782 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11659/statm: 603 275 235 161 0 42 0
[pid=11663] ppid=11659 vsize=4740 CPUtime=0.11
/proc/11663/stat : 11663 (SatELite_releas) R 11659 11659 14060 0 -1 4202496 1080 0 0 0 10 1 0 0 23 0 1 0 1008524812 4853760 1016 4294967295 134512640 135223648 3219474832 3219472848 134586818 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11663/statm: 1185 1016 73 174 0 1010 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7152
[startup+0.309428 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11659
/proc/meminfo: memFree=1534780/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2416
[startup+0.709393 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 11659
/proc/meminfo: memFree=1534780/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2416
[startup+1.50933 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11665
/proc/meminfo: memFree=1531788/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=3756 CPUtime=1.31
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 716 0 0 0 131 0 0 0 25 0 1 0 1008524832 3846144 651 4294967295 134512640 135215339 3218788688 3218786976 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 939 651 73 172 0 766 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 6172
[startup+3.10919 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11665
/proc/meminfo: memFree=1530920/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=5372 CPUtime=2.91
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 1092 0 0 0 291 0 0 0 25 0 1 0 1008524832 5500928 1027 4294967295 134512640 135215339 3218788688 3218786976 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 1343 1027 73 172 0 1170 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 7788
[startup+6.30891 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11665
/proc/meminfo: memFree=1528340/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=7544 CPUtime=6.11
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 1648 0 0 0 610 1 0 0 25 0 1 0 1008524832 7725056 1583 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 1886 1583 73 172 0 1713 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9960
[startup+12.7084 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11665
/proc/meminfo: memFree=1524964/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=10612 CPUtime=12.51
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 2405 0 0 0 1248 3 0 0 25 0 1 0 1008524832 10866688 2340 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 2653 2340 73 172 0 2480 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 13028
[startup+25.5172 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11667
/proc/meminfo: memFree=1520440/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=14928 CPUtime=25.32
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 3473 0 0 0 2528 4 0 0 25 0 1 0 1008524832 15286272 3408 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 3732 3408 73 172 0 3559 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 17344
[startup+51.115 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11671
/proc/meminfo: memFree=1515280/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=20084 CPUtime=50.92
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 4758 0 0 0 5077 15 0 0 25 0 1 0 1008524832 20566016 4693 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5021 4693 73 172 0 4848 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 22500
[startup+102.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 11856
/proc/meminfo: memFree=1512940/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22120 CPUtime=102.13
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5274 0 0 0 10195 18 0 0 25 0 1 0 1008524832 22650880 5209 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5530 5209 73 172 0 5357 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 24536
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12043
/proc/meminfo: memFree=1512892/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22252 CPUtime=162.13
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5289 0 0 0 16192 21 0 0 25 0 1 0 1008524832 22786048 5224 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5563 5224 73 172 0 5390 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 24668
[startup+222.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 12232
/proc/meminfo: memFree=1512792/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22412 CPUtime=222.14
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5317 0 0 0 22187 27 0 0 25 0 1 0 1008524832 22949888 5252 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5603 5252 73 172 0 5430 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 24828
[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12421
/proc/meminfo: memFree=1512768/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22412 CPUtime=282.14
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5318 0 0 0 28187 27 0 0 25 0 1 0 1008524832 22949888 5253 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5603 5253 73 172 0 5430 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 24828
[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12613
/proc/meminfo: memFree=1512760/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22412 CPUtime=342.14
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5320 0 0 0 34187 27 0 0 25 0 1 0 1008524832 22949888 5255 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11665/statm: 5603 5255 73 172 0 5430 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 24828
[startup+402.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 12801
/proc/meminfo: memFree=1512644/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
################
# More data... #
################
[pid=11665] ppid=11659 vsize=22412 CPUtime=582.17
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5348 0 0 0 58190 27 0 0 25 0 1 0 1008524832 22949888 5283 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5603 5283 73 172 0 5430 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 24828
[startup+642.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 13552
/proc/meminfo: memFree=1512420/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22412 CPUtime=642.18
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5348 0 0 0 64191 27 0 0 25 0 1 0 1008524832 22949888 5283 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5603 5283 73 172 0 5430 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 24828
[startup+702.309 s]
/proc/loadavg: 1.07 1.02 1.00 2/95 13744
/proc/meminfo: memFree=1512140/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=702.17
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5356 0 0 0 70190 27 0 0 25 0 1 0 1008524832 23093248 5291 4294967295 134512640 135215339 3218788688 3218786976 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5291 73 172 0 5465 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 24968
[startup+762.314 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 13931
/proc/meminfo: memFree=1512048/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=762.18
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5356 0 0 0 76191 27 0 0 25 0 1 0 1008524832 23093248 5291 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5291 73 172 0 5465 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 24968
[startup+822.318 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 14123
/proc/meminfo: memFree=1512164/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=822.19
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5356 0 0 0 82192 27 0 0 25 0 1 0 1008524832 23093248 5291 4294967295 134512640 135215339 3218788688 3218786976 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5291 73 172 0 5465 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 24968
[startup+882.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14312
/proc/meminfo: memFree=1512288/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=882.19
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5356 0 0 0 88191 28 0 0 25 0 1 0 1008524832 23093248 5291 4294967295 134512640 135215339 3218788688 3218786976 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5291 73 172 0 5465 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 24968
[startup+942.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14498
/proc/meminfo: memFree=1512040/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=942.2
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5367 0 0 0 94192 28 0 0 25 0 1 0 1008524832 23093248 5302 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5302 73 172 0 5465 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 24968
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14686
/proc/meminfo: memFree=1512172/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22552 CPUtime=1002.2
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5377 0 0 0 100192 28 0 0 25 0 1 0 1008524832 23093248 5312 4294967295 134512640 135215339 3218788688 3218786896 134534168 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5638 5312 73 172 0 5465 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 24968
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 14873
/proc/meminfo: memFree=1512024/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22720 CPUtime=1062.2
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5391 0 0 0 106192 28 0 0 25 0 1 0 1008524832 23265280 5326 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5680 5326 73 172 0 5507 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 25136
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15066
/proc/meminfo: memFree=1511924/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22720 CPUtime=1122.21
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5391 0 0 0 112193 28 0 0 25 0 1 0 1008524832 23265280 5326 4294967295 134512640 135215339 3218788688 3218786752 134537883 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5680 5326 73 172 0 5507 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 25136
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 15255
/proc/meminfo: memFree=1512148/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22720 CPUtime=1182.21
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5391 0 0 0 118193 28 0 0 25 0 1 0 1008524832 23265280 5326 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5680 5326 73 172 0 5507 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 25136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15438
/proc/meminfo: memFree=1512080/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22720 CPUtime=1199.82
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5391 0 0 0 119954 28 0 0 25 0 1 0 1008524832 23265280 5326 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5680 5326 73 172 0 5507 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 25136
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15438
/proc/meminfo: memFree=1512080/2074464 swapFree=1949056/1959888
[pid=11659] ppid=11657 vsize=2416 CPUtime=0.2
/proc/11659/stat : 11659 (SatELiteGTI) S 11657 11659 14060 0 -1 4194304 385 1815 0 0 1 0 18 1 21 0 1 0 1008524812 2473984 276 4294967295 134512640 135169312 3220398720 3220394936 3085356782 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11659/statm: 604 276 235 161 0 43 0
[pid=11665] ppid=11659 vsize=22720 CPUtime=1199.82
/proc/11665/stat : 11665 (minisat_static) R 11659 11659 14060 0 -1 4202496 5391 0 0 0 119954 28 0 0 25 0 1 0 1008524832 23265280 5326 4294967295 134512640 135215339 3218788688 3218786976 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11665/statm: 5680 5326 73 172 0 5507 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 25136
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11659 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=730000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=290000
# CPU time returned by wait4() is 1200.02
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.92
CPU time (s): 1200.02
CPU user time (s): 1199.73
CPU system time (s): 0.29
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 25136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7870
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= 21
involuntary context switches= 2996
runsolver used 0.03 second user time and 0.04 second system time
The end
Begin job on tipi27 at 2009-05-16 04:17:57
IDJOB=1820410
IDBENCH=20399
IDSOLVER=657
FILE ID=tipi27/1820410-1242440277
PBS_JOBID=
Free space on /tmp= 9987 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= runsolver --timestamp -w /tmp/evaluation-result-1820410-1242440277/watcher-1820410-1242440277 -o /tmp/evaluation-result-1820410-1242440277/solver-1820410-1242440277 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820410-1242440277.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED= 174659874
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1534656 kB
Buffers: 26524 kB
Cached: 426872 kB
SwapCached: 5508 kB
Active: 326380 kB
Inactive: 136820 kB
HighTotal: 1178688 kB
HighFree: 772908 kB
LowTotal: 895776 kB
LowFree: 761748 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 2004 kB
Writeback: 0 kB
AnonPages: 9248 kB
Mapped: 3368 kB
Slab: 67656 kB
PageTables: 412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9987 MiB
End job on tipi27 at 2009-05-16 04:37:57