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 | 28318 74883 | 8495 0 0 nan | 0.000 % |
0.22/0.24 c | 0 | 19862 62399 | -- 0 -- -- | -- | -8325/-12062
0.22/0.24 c ==============================================================================
0.22/0.24 c Result : #vars: 3611 #clauses: 19862 #literals: 62399
0.22/0.24 c CPU time: 0.24 s
0.22/0.24 c ==============================================================================
0.22/0.26 c This is MiniSat 2.0 beta
0.22/0.26 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.26 c ============================[ Problem Statistics ]=============================
0.22/0.26 c | |
0.22/0.26 c | Number of variables: 3611 |
0.22/0.26 c | Number of clauses: 19862 |
0.22/0.28 c | Parsing time: 0.01 s |
0.22/0.28 c ============================[ Search Statistics ]==============================
0.22/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.22/0.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.22/0.28 c ===============================================================================
0.22/0.28 c | 0 | 3611 19862 62399 | 6620 0 nan | 0.000 % |
0.22/0.29 c | 101 | 3611 19862 62399 | 6620 101 20 | 0.001 % |
0.22/0.30 c | 203 | 3611 19862 62399 | 6620 203 19 | 0.000 % |
0.22/0.31 c | 304 | 3611 19862 62399 | 6620 304 16 | 0.000 % |
0.27/0.32 c | 414 | 3611 19862 62399 | 6620 414 15 | 0.000 % |
0.27/0.33 c | 515 | 3611 19862 62399 | 6620 515 20 | 0.000 % |
0.27/0.34 c | 625 | 3610 18426 59423 | 6620 621 19 | 0.029 % |
0.27/0.35 c | 746 | 3610 18426 59423 | 6620 742 21 | 0.028 % |
0.27/0.36 c | 846 | 3610 18426 59423 | 6620 842 21 | 0.028 % |
0.27/0.37 c | 957 | 3610 18426 59423 | 6620 953 21 | 0.028 % |
0.27/0.38 c | 1078 | 3610 18426 59423 | 6620 1074 22 | 0.028 % |
0.27/0.39 c | 1211 | 3610 18426 59423 | 6620 1207 22 | 0.028 % |
0.27/0.41 c | 1312 | 3610 18426 59423 | 6620 1308 22 | 0.028 % |
0.27/0.41 c | 1422 | 3610 18426 59423 | 6620 1418 21 | 0.028 % |
0.27/0.43 c | 1544 | 3610 18426 59423 | 6620 1540 21 | 0.028 % |
0.27/0.44 c | 1677 | 3610 18426 59423 | 6620 1673 23 | 0.028 % |
0.27/0.47 c | 1823 | 3610 18426 59423 | 6620 1819 24 | 0.028 % |
0.27/0.48 c | 1924 | 3610 18426 59423 | 6620 1920 25 | 0.028 % |
0.27/0.50 c | 2035 | 3610 18426 59423 | 6620 2031 26 | 0.028 % |
0.27/0.51 c | 2158 | 3610 18426 59423 | 6620 2154 26 | 0.028 % |
0.27/0.54 c | 2292 | 3610 18426 59423 | 6620 2288 26 | 0.028 % |
0.27/0.55 c | 2439 | 3610 18426 59423 | 6620 2435 26 | 0.028 % |
0.27/0.57 c | 2599 | 3610 18426 59423 | 6620 2595 26 | 0.028 % |
0.27/0.59 c | 2699 | 3610 18426 59423 | 6620 2695 26 | 0.029 % |
0.27/0.60 c | 2810 | 3610 18426 59423 | 6620 2806 26 | 0.028 % |
0.27/0.61 c | 2933 | 3610 18426 59423 | 6620 2929 26 | 0.028 % |
0.27/0.63 c | 3066 | 3610 18426 59423 | 6620 3062 25 | 0.028 % |
0.27/0.65 c | 3212 | 3610 18426 59423 | 6620 3208 26 | 0.028 % |
0.27/0.66 c | 3372 | 3610 18426 59423 | 6620 3368 26 | 0.028 % |
0.27/0.68 c | 3548 | 3610 18426 59423 | 6620 3544 26 | 0.028 % |
0.27/0.70 c | 3648 | 3610 18426 59423 | 6620 3644 26 | 0.028 % |
0.27/0.72 c | 3758 | 3610 18426 59423 | 6620 3754 26 | 0.029 % |
0.27/0.74 c | 3882 | 3610 18426 59423 | 6620 3878 26 | 0.030 % |
0.27/0.75 c | 4015 | 3610 18426 59423 | 6620 4011 26 | 0.028 % |
0.27/0.78 c | 4162 | 3610 18426 59423 | 6620 4158 26 | 0.028 % |
0.27/0.80 c | 4322 | 3610 18426 59423 | 6620 4318 26 | 0.028 % |
0.27/0.83 c | 4498 | 3610 18426 59423 | 6620 4494 26 | 0.028 % |
0.27/0.86 c | 4691 | 3610 18426 59423 | 6620 4687 26 | 0.028 % |
0.27/0.87 c | 4792 | 3610 18426 59423 | 6620 4788 27 | 0.028 % |
0.27/0.89 c | 4903 | 3610 18426 59423 | 6620 4899 26 | 0.028 % |
0.27/0.90 c | 5027 | 3610 18426 59423 | 6620 5023 26 | 0.028 % |
0.27/0.93 c | 5160 | 3610 18426 59423 | 6620 5156 27 | 0.028 % |
0.27/0.95 c | 5306 | 3610 18426 59423 | 6620 5302 27 | 0.028 % |
0.27/0.99 c | 5466 | 3610 18426 59423 | 6620 5462 27 | 0.028 % |
1.01/1.01 c | 5642 | 3610 18426 59423 | 6620 5638 27 | 0.028 % |
1.01/1.03 c | 5836 | 3610 18426 59423 | 6620 5832 27 | 0.029 % |
1.01/1.07 c | 6049 | 3610 18426 59423 | 6620 6045 27 | 0.028 % |
1.01/1.08 c | 6150 | 3610 18426 59423 | 6620 6146 27 | 0.029 % |
1.01/1.10 c | 6262 | 3610 18426 59423 | 6620 6258 27 | 0.028 % |
1.11/1.13 c | 6385 | 3610 18426 59423 | 6620 6381 27 | 0.028 % |
1.11/1.16 c | 6518 | 3610 18426 59423 | 6620 6514 27 | 0.028 % |
1.11/1.19 c | 6665 | 3610 18426 59423 | 6620 6661 28 | 0.029 % |
1.21/1.22 c | 6825 | 3610 18426 59423 | 6620 6155 27 | 0.029 % |
1.21/1.24 c | 7001 | 3610 18426 59423 | 6620 6331 28 | 0.028 % |
1.21/1.28 c | 7194 | 3610 18426 59423 | 6620 6524 27 | 0.029 % |
1.31/1.31 c | 7407 | 3610 18426 59423 | 6620 6737 28 | 0.028 % |
1.31/1.37 c | 7640 | 3610 18426 59423 | 6620 6297 27 | 0.028 % |
1.31/1.39 c | 7740 | 3610 18426 59423 | 6620 6397 27 | 0.028 % |
1.41/1.41 c | 7850 | 3610 18426 59423 | 6620 6507 27 | 0.028 % |
1.41/1.43 c | 7972 | 3610 18426 59423 | 6620 6629 28 | 0.028 % |
1.41/1.46 c | 8108 | 3610 18426 59423 | 6620 6103 27 | 0.028 % |
1.41/1.48 c | 8255 | 3610 18426 59423 | 6620 6250 27 | 0.028 % |
1.51/1.53 c | 8416 | 3610 18426 59423 | 6620 6411 28 | 0.028 % |
1.51/1.56 c | 8593 | 3610 18426 59423 | 6620 6588 28 | 0.028 % |
1.51/1.60 c | 8787 | 3610 18426 59423 | 6620 6782 28 | 0.029 % |
1.61/1.64 c | 8999 | 3610 18426 59423 | 6620 6316 29 | 0.028 % |
1.61/1.69 c | 9234 | 3610 18426 59423 | 6620 6551 29 | 0.028 % |
1.71/1.74 c | 9490 | 3610 18426 59423 | 6620 6807 29 | 0.028 % |
1.71/1.76 c | 9591 | 3610 18426 59423 | 6620 6228 29 | 0.028 % |
1.71/1.78 c | 9701 | 3610 18426 59423 | 6620 6338 29 | 0.028 % |
1.71/1.81 c | 9824 | 3610 18426 59423 | 6620 6461 29 | 0.028 % |
1.81/1.83 c | 9957 | 3610 18426 59423 | 6620 6594 30 | 0.028 % |
1.81/1.86 c | 10103 | 3610 18426 59423 | 2147483647 6740 30 | 0.028 % |
1.81/1.89 c | 10263 | 3610 18426 59423 | 2147483647 6900 30 | 0.028 % |
1.91/1.91 c | 10439 | 3610 18426 59423 | 2147483647 7076 29 | 0.028 % |
1.91/1.94 c | 10632 | 3610 18426 59423 | 2147483647 7269 29 | 0.028 % |
1.91/1.98 c | 10844 | 3610 18426 59423 | 2147483647 7481 29 | 0.028 % |
2.01/2.01 c | 11079 | 3610 18426 59423 | 2147483647 7716 29 | 0.028 % |
2.01/2.05 c | 11335 | 3610 18426 59423 | 2147483647 7972 29 | 0.029 % |
2.11/2.12 c | 11616 | 3610 18426 59423 | 2147483647 8253 30 | 0.028 % |
2.11/2.14 c | 11717 | 3610 18426 59423 | 2147483647 8354 30 | 0.028 % |
2.11/2.17 c | 11827 | 3610 18426 59423 | 2147483647 8464 30 | 0.028 % |
2.21/2.21 c | 11950 | 3610 18426 59423 | 2147483647 8587 30 | 0.028 % |
2.21/2.24 c | 12083 | 3610 18426 59423 | 2147483647 8720 30 | 0.028 % |
2.21/2.27 c | 12229 | 3610 18426 59423 | 2147483647 8866 30 | 0.028 % |
2.31/2.31 c | 12391 | 3610 18426 59423 | 2147483647 9028 30 | 0.028 % |
2.31/2.34 c | 12567 | 3610 18426 59423 | 2147483647 9204 30 | 0.028 % |
2.31/2.39 c | 12760 | 3610 18426 59423 | 2147483647 9397 30 | 0.029 % |
2.41/2.43 c | 12972 | 3610 18426 59423 | 2147483647 9609 30 | 0.028 % |
2.41/2.50 c | 13206 | 3610 18426 59423 | 2147483647 9843 31 | 0.028 % |
2.51/2.56 c | 13464 | 3610 18426 59423 | 2147483647 10101 31 | 0.028 % |
2.61/2.66 c | 13745 | 3610 18426 59423 | 2147483647 10382 31 | 0.028 % |
2.71/2.75 c | 14055 | 3610 18426 59423 | 2147483647 10692 31 | 0.028 % |
2.71/2.77 c | 14155 | 3610 18426 59423 | 2147483647 10792 31 | 0.029 % |
2.71/2.79 c | 14267 | 3610 18426 59423 | 2147483647 10904 31 | 0.028 % |
2.81/2.83 c | 14389 | 3610 18426 59423 | 2147483647 11026 31 | 0.028 % |
2.81/2.85 c | 14522 | 3610 18426 59423 | 2147483647 11159 31 | 0.028 % |
2.81/2.88 c | 14668 | 3610 18426 59423 | 2147483647 11305 31 | 0.028 % |
2.91/2.92 c | 14831 | 3610 18426 59423 | 2147483647 11468 32 | 0.028 % |
2.91/2.95 c | 15008 | 3610 18426 59423 | 2147483647 11645 32 | 0.028 % |
2.91/3.00 c | 15201 | 3610 18426 59423 | 2147483647 11838 32 | 0.028 % |
3.01/3.06 c | 15414 | 3610 18426 59423 | 2147483647 12051 32 | 0.028 % |
3.11/3.13 c | 15647 | 3610 18426 59423 | 2147483647 12284 32 | 0.029 % |
3.21/3.21 c | 15904 | 3610 18426 59423 | 2147483647 12541 32 | 0.029 % |
3.21/3.30 c | 16185 | 3610 18426 59423 | 2147483647 12822 32 | 0.028 % |
3.31/3.39 c | 16494 | 3610 18426 59423 | 2147483647 13131 31 | 0.029 % |
3.41/3.50 c | 16833 | 3610 18426 59423 | 2147483647 13470 31 | 0.029 % |
3.51/3.53 c | 16933 | 3610 18426 59423 | 2147483647 13570 31 | 0.028 % |
3.51/3.55 c | 17043 | 3610 18426 59423 | 2147483647 13680 31 | 0.028 % |
3.51/3.58 c | 17164 | 3610 18426 59423 | 2147483647 13801 31 | 0.028 % |
3.61/3.61 c | 17297 | 3610 18426 59423 | 2147483647 13934 31 | 0.028 % |
3.61/3.65 c | 17443 | 3610 18426 59423 | 2147483647 14080 31 | 0.028 % |
3.61/3.70 c | 17603 | 3610 18426 59423 | 2147483647 14240 31 | 0.028 % |
3.71/3.76 c | 17779 | 3610 18426 59423 | 2147483647 14416 31 | 0.028 % |
3.81/3.82 c | 17974 | 3610 18426 59423 | 2147483647 14611 32 | 0.028 % |
3.81/3.91 c | 18187 | 3610 18426 59423 | 2147483647 14824 31 | 0.028 % |
3.91/3.98 c | 18420 | 3610 18426 59423 | 2147483647 15057 31 | 0.028 % |
4.01/4.06 c | 18676 | 3610 18426 59423 | 2147483647 15313 31 | 0.028 % |
4.11/4.14 c | 18957 | 3610 18426 59423 | 2147483647 15594 31 | 0.028 % |
4.21/4.23 c | 19266 | 3610 18426 59423 | 2147483647 15903 31 | 0.028 % |
4.31/4.33 c | 19606 | 3610 18426 59423 | 2147483647 16243 31 | 0.029 % |
4.41/4.45 c | 19980 | 3610 18426 59423 | 2147483647 16617 31 | 0.029 % |
4.41/4.49 c | 20080 | 3610 18426 59423 | 2147483647 16717 31 | 0.029 % |
4.51/4.53 c | 20190 | 3610 18426 59423 | 2147483647 16827 31 | 0.029 % |
4.51/4.57 c | 20313 | 3610 18426 59423 | 2147483647 16950 31 | 0.028 % |
4.61/4.61 c | 20447 | 3610 18426 59423 | 2147483647 17084 31 | 0.028 % |
4.61/4.65 c | 20594 | 3610 18426 59423 | 2147483647 17231 31 | 0.028 % |
4.61/4.71 c | 20756 | 3610 18426 59423 | 2147483647 17393 31 | 0.029 % |
4.71/4.77 c | 20932 | 3610 18426 59423 | 2147483647 17569 31 | 0.029 % |
4.81/4.83 c | 21126 | 3610 18426 59423 | 2147483647 17763 31 | 0.030 % |
4.81/4.90 c | 21338 | 3610 18426 59423 | 2147483647 17975 31 | 0.030 % |
4.91/4.97 c | 21573 | 3610 18426 59423 | 2147483647 18210 31 | 0.030 % |
5.01/5.02 c | 21830 | 3610 18426 59423 | 2147483647 18467 31 | 0.028 % |
5.01/5.10 c | 22112 | 3610 18426 59423 | 2147483647 18749 31 | 0.028 % |
5.11/5.16 c | 22423 | 3610 18426 59423 | 2147483647 19060 32 | 0.028 % |
5.21/5.28 c | 22762 | 3610 18426 59423 | 2147483647 19399 32 | 0.028 % |
5.31/5.37 c | 23134 | 3610 18426 59423 | 2147483647 19771 33 | 0.028 % |
5.51/5.60 c | 23546 | 3610 18426 59423 | 2147483647 20183 33 | 0.028 % |
5.61/5.64 c | 23647 | 3610 18426 59423 | 2147483647 20284 33 | 0.029 % |
5.61/5.69 c | 23757 | 3610 18426 59423 | 2147483647 20394 33 | 0.028 % |
5.71/5.74 c | 23878 | 3610 18426 59423 | 2147483647 20515 33 | 0.028 % |
5.71/5.79 c | 24011 | 3610 18426 59423 | 2147483647 20648 33 | 0.028 % |
5.81/5.85 c | 24158 | 3610 18426 59423 | 2147483647 20795 33 | 0.029 % |
5.91/5.92 c | 24322 | 3610 18426 59423 | 2147483647 20959 33 | 0.028 % |
5.91/6.00 c | 24498 | 3610 18426 59423 | 2147483647 21135 33 | 0.029 % |
6.01/6.08 c | 24691 | 3610 18426 59423 | 2147483647 21328 33 | 0.028 % |
6.11/6.15 c | 24904 | 3610 18426 59423 | 2147483647 21541 33 | 0.028 % |
6.21/6.24 c | 25138 | 3610 18426 59423 | 2147483647 21775 33 | 0.028 % |
6.31/6.34 c | 25394 | 3610 18426 59423 | 2147483647 22031 33 | 0.028 % |
6.41/6.44 c | 25677 | 3610 18426 59423 | 2147483647 22314 33 | 0.030 % |
6.51/6.57 c | 25986 | 3610 18426 59423 | 2147483647 22623 33 | 0.028 % |
6.61/6.70 c | 26327 | 3610 18426 59423 | 2147483647 22964 33 | 0.028 % |
6.81/6.85 c | 26699 | 3610 18426 59423 | 2147483647 23336 33 | 0.028 % |
7.01/7.04 c | 27109 | 3610 18426 59423 | 2147483647 23746 33 | 0.028 % |
7.21/7.26 c | 27560 | 3610 18426 59423 | 2147483647 24197 33 | 0.028 % |
7.21/7.29 c | 27660 | 3610 18426 59423 | 2147483647 24297 33 | 0.029 % |
7.31/7.34 c | 27770 | 3610 18426 59423 | 2147483647 24407 33 | 0.028 % |
7.31/7.39 c | 27891 | 3610 18426 59423 | 2147483647 24528 33 | 0.028 % |
7.41/7.43 c | 28024 | 3610 18426 59423 | 2147483647 24661 33 | 0.028 % |
7.41/7.51 c | 28173 | 3610 18426 59423 | 2147483647 24810 33 | 0.029 % |
7.51/7.59 c | 28333 | 3610 18426 59423 | 2147483647 24970 33 | 0.028 % |
7.61/7.67 c | 28509 | 3610 18426 59423 | 2147483647 25146 33 | 0.028 % |
7.71/7.76 c | 28703 | 3610 18426 59423 | 2147483647 25340 33 | 0.028 % |
7.81/7.84 c | 28916 | 3610 18426 59423 | 2147483647 25553 33 | 0.029 % |
7.91/7.91 c | 29151 | 3610 18426 59423 | 2147483647 25788 33 | 0.029 % |
8.01/8.03 c | 29409 | 3610 18426 59423 | 2147483647 26046 33 | 0.028 % |
8.11/8.17 c | 29690 | 3610 18426 59423 | 2147483647 26327 33 | 0.028 % |
8.31/8.34 c | 30000 | 3610 18426 59423 | 2147483647 26637 33 | 0.029 % |
8.41/8.48 c | 30339 | 3610 18426 59423 | 2147483647 26976 33 | 0.029 % |
8.61/8.68 c | 30711 | 3610 18426 59423 | 2147483647 27348 33 | 0.028 % |
8.91/8.92 c | 31120 | 3610 18426 59423 | 2147483647 27757 33 | 0.028 % |
9.11/9.17 c | 31569 | 3610 18426 59423 | 2147483647 28206 33 | 0.029 % |
9.41/9.42 c | 32062 | 3610 18426 59423 | 2147483647 28699 33 | 0.028 % |
9.41/9.46 c | 32162 | 3610 18426 59423 | 2147483647 28799 33 | 0.028 % |
9.51/9.52 c | 32273 | 3610 18426 59423 | 2147483647 28910 33 | 0.028 % |
9.51/9.59 c | 32395 | 3610 18426 59423 | 2147483647 29032 33 | 0.028 % |
9.61/9.66 c | 32529 | 3610 18426 59423 | 2147483647 29166 33 | 0.029 % |
9.71/9.71 c | 32675 | 3610 18426 59423 | 2147483647 29312 33 | 0.028 % |
9.71/9.77 c | 32835 | 3610 18426 59423 | 2147483647 29472 33 | 0.028 % |
9.81/9.83 c | 33013 | 3610 18426 59423 | 2147483647 29650 33 | 0.028 % |
9.91/9.92 c | 33206 | 3610 18426 59423 | 2147483647 29843 33 | 0.029 % |
10.01/10.02 c | 33418 | 3610 18426 59423 | 2147483647 30055 33 | 0.028 % |
10.11/10.15 c | 33653 | 3610 18426 59423 | 2147483647 30290 33 | 0.028 % |
10.21/10.29 c | 33910 | 3610 18426 59423 | 2147483647 30547 33 | 0.028 % |
10.41/10.46 c | 34191 | 3610 18426 59423 | 2147483647 30828 33 | 0.028 % |
10.61/10.64 c | 34500 | 3610 18426 59423 | 2147483647 31137 33 | 0.028 % |
10.81/10.82 c | 34840 | 3610 18426 59423 | 2147483647 31477 33 | 0.029 % |
11.01/11.04 c | 35212 | 3610 18426 59423 | 2147483647 31849 33 | 0.029 % |
11.21/11.30 c | 35624 | 3610 18426 59423 | 2147483647 32261 33 | 0.028 % |
11.51/11.53 c | 36077 | 3610 18426 59423 | 2147483647 32714 33 | 0.028 % |
11.81/11.82 c | 36570 | 3610 18426 59423 | 2147483647 33207 33 | 0.028 % |
11.91/11.96 c | 37112 | 3610 18426 59423 | 2147483647 33749 33 | 0.028 % |
12.01/12.01 c | 37212 | 3610 18426 59423 | 2147483647 33849 33 | 0.028 % |
12.01/12.06 c | 37323 | 3610 18426 59423 | 2147483647 33960 33 | 0.028 % |
12.11/12.12 c | 37444 | 3610 18426 59423 | 2147483647 34081 33 | 0.028 % |
12.11/12.17 c | 37577 | 3610 18426 59423 | 2147483647 34214 33 | 0.028 % |
12.21/12.23 c | 37724 | 3610 18426 59423 | 2147483647 34361 33 | 0.029 % |
12.31/12.34 c | 37885 | 3610 18426 59423 | 2147483647 34522 33 | 0.030 % |
12.41/12.44 c | 38062 | 3610 18426 59423 | 2147483647 34699 33 | 0.028 % |
12.51/12.53 c | 38255 | 3610 18426 59423 | 2147483647 34892 33 | 0.029 % |
12.61/12.63 c | 38468 | 3610 18426 59423 | 2147483647 35105 33 | 0.029 % |
12.71/12.72 c | 38701 | 3610 18426 59423 | 2147483647 35338 33 | 0.028 % |
12.91/12.91 c | 38959 | 3610 18426 59423 | 2147483647 35596 33 | 0.028 % |
13.01/13.05 c | 39241 | 3610 18426 59423 | 2147483647 35878 33 | 0.028 % |
13.21/13.27 c | 39550 | 3610 18426 59423 | 2147483647 36187 33 | 0.028 % |
13.41/13.46 c | 39893 | 3610 18426 59423 | 2147483647 36530 33 | 0.028 % |
13.61/13.68 c | 40267 | 3610 18426 59423 | 2147483647 36904 33 | 0.028 % |
14.01/14.03 c | 40676 | 3610 18426 59423 | 2147483647 37313 34 | 0.028 % |
14.31/14.32 c | 41125 | 3610 18426 59423 | 2147483647 37762 34 | 0.028 % |
14.71/14.74 c | 41620 | 3610 18426 59423 | 2147483647 38257 34 | 0.028 % |
15.11/15.17 c | 42163 | 3610 18426 59423 | 2147483647 38800 34 | 0.028 % |
15.61/15.69 c | 42761 | 3610 18426 59423 | 2147483647 39398 34 | 0.028 % |
15.71/15.76 c | 42863 | 3610 18426 59423 | 2147483647 39500 34 | 0.028 % |
15.81/15.87 c | 42974 | 3610 18426 59423 | 2147483647 39611 34 | 0.028 % |
15.91/15.91 c | 43095 | 3610 18426 59423 | 2147483647 39732 34 | 0.028 % |
15.91/15.97 c | 43229 | 3610 18426 59423 | 2147483647 39866 34 | 0.028 % |
16.01/16.05 c | 43375 | 3610 18426 59423 | 2147483647 40012 34 | 0.028 % |
16.11/16.14 c | 43536 | 3610 18426 59423 | 2147483647 40173 34 | 0.028 % |
16.21/16.29 c | 43714 | 3610 18426 59423 | 2147483647 40351 34 | 0.029 % |
16.31/16.38 c | 43907 | 3610 18426 59423 | 2147483647 40544 34 | 0.028 % |
16.41/16.47 c | 44119 | 3610 18426 59423 | 2147483647 40756 34 | 0.028 % |
16.51/16.60 c | 44352 | 3610 18426 59423 | 2147483647 40989 34 | 0.028 % |
16.71/16.76 c | 44608 | 3610 18426 59423 | 2147483647 41245 34 | 0.028 % |
16.91/16.94 c | 44890 | 3610 18426 59423 | 2147483647 41527 34 | 0.028 % |
17.11/17.18 c | 45199 | 3610 18426 59423 | 2147483647 41836 34 | 0.028 % |
17.31/17.40 c | 45538 | 3610 18426 59423 | 2147483647 42175 34 | 0.028 % |
17.61/17.68 c | 45910 | 3610 18426 59423 | 2147483647 42547 34 | 0.029 % |
17.91/18.00 c | 46319 | 3610 18426 59423 | 2147483647 42956 34 | 0.028 % |
18.21/18.27 c | 46768 | 3610 18426 59423 | 2147483647 43405 34 | 0.028 % |
18.61/18.64 c | 47262 | 3610 18426 59423 | 2147483647 43899 34 | 0.028 % |
19.01/19.10 c | 47805 | 3610 18426 59423 | 2147483647 44442 34 | 0.028 % |
19.61/19.63 c | 48401 | 3610 18426 59423 | 2147483647 45038 34 | 0.028 % |
20.21/20.23 c | 49057 | 3610 18426 59423 | 2147483647 45694 34 | 0.028 % |
20.31/20.32 c | 49157 | 3610 18426 59423 | 2147483647 45794 34 | 0.028 % |
20.31/20.40 c | 49268 | 3610 18426 59423 | 2147483647 45905 34 | 0.028 % |
20.41/20.49 c | 49389 | 3610 18426 59423 | 2147483647 46026 34 | 0.028 % |
20.51/20.60 c | 49522 | 3610 18426 59423 | 2147483647 46159 34 | 0.028 % |
20.71/20.76 c | 49668 | 3610 18426 59423 | 2147483647 46305 34 | 0.028 % |
20.81/20.88 c | 49828 | 3610 18426 59423 | 2147483647 46465 34 | 0.028 % |
21.01/21.04 c | 50004 | 3610 18426 59423 | 2147483647 46641 34 | 0.028 % |
21.11/21.20 c | 50198 | 3609 18416 59393 | 2147483647 46834 34 | 0.056 % |
21.31/21.37 c | 50410 | 3609 18416 59393 | 2147483647 47046 34 | 0.055 % |
21.51/21.52 c | 50644 | 3609 18416 59393 | 2147483647 47280 34 | 0.055 % |
21.61/21.68 c | 50903 | 3609 18416 59393 | 2147483647 47539 34 | 0.055 % |
21.91/21.91 c | 51185 | 3609 18416 59393 | 2147483647 47821 34 | 0.055 % |
22.11/22.17 c | 51494 | 3609 18416 59393 | 2147483647 48130 34 | 0.055 % |
22.41/22.50 c | 51834 | 3609 18416 59393 | 2147483647 48470 35 | 0.055 % |
22.71/22.73 c | 52207 | 3609 18416 59393 | 2147483647 48843 35 | 0.055 % |
23.01/23.09 c | 52619 | 3609 18416 59393 | 2147483647 49255 35 | 0.055 % |
23.31/23.39 c | 53069 | 3609 18416 59393 | 2147483647 49705 35 | 0.055 % |
23.71/23.77 c | 53563 | 3609 18416 59393 | 2147483647 50199 35 | 0.056 % |
24.21/24.21 c | 54105 | 3609 18416 59393 | 2147483647 50741 35 | 0.056 % |
24.71/24.72 c | 54701 | 3609 18416 59393 | 2147483647 51337 35 | 0.055 % |
25.31/25.36 c | 55357 | 3609 18416 59393 | 2147483647 51993 35 | 0.055 % |
25.91/25.95 c | 56079 | 3609 18416 59393 | 2147483647 52715 35 | 0.055 % |
26.01/26.03 c | 56179 | 3609 18416 59393 | 2147483647 52815 35 | 0.056 % |
26.01/26.10 c | 56290 | 3609 18416 59393 | 2147483647 52926 35 | 0.055 % |
26.21/26.21 c | 56414 | 3609 18416 59393 | 2147483647 53050 35 | 0.055 % |
26.31/26.34 c | 56549 | 3609 18416 59393 | 2147483647 53185 35 | 0.055 % |
26.41/26.48 c | 56697 | 3609 18416 59393 | 2147483647 53333 35 | 0.056 % |
26.51/26.60 c | 56857 | 3609 18416 59393 | 2147483647 53493 35 | 0.055 % |
26.71/26.78 c | 57033 | 3609 18416 59393 | 2147483647 53669 35 | 0.055 % |
26.91/26.95 c | 57227 | 3609 18416 59393 | 2147483647 53863 35 | 0.056 % |
27.11/27.16 c | 57439 | 3609 18416 59393 | 2147483647 54075 35 | 0.056 % |
27.31/27.34 c | 57673 | 3609 18416 59393 | 2147483647 54309 35 | 0.055 % |
27.61/27.62 c | 57929 | 3609 18416 59393 | 2147483647 54565 35 | 0.055 % |
27.91/27.93 c | 58211 | 3609 18416 59393 | 2147483647 54847 36 | 0.055 % |
28.21/28.23 c | 58521 | 3609 18416 59393 | 2147483647 55157 36 | 0.055 % |
28.51/28.55 c | 58861 | 3609 18416 59393 | 2147483647 55497 36 | 0.055 % |
28.81/28.87 c | 59233 | 3609 18416 59393 | 2147483647 55869 36 | 0.056 % |
29.21/29.25 c | 59642 | 3609 18416 59393 | 2147483647 56278 36 | 0.057 % |
29.61/29.70 c | 60091 | 3609 18416 59393 | 2147483647 56727 36 | 0.055 % |
30.01/30.05 c | 60584 | 3609 18416 59393 | 2147483647 57220 36 | 0.056 % |
30.41/30.48 c | 61130 | 3609 18416 59393 | 2147483647 57766 36 | 0.056 % |
31.01/31.05 c | 61726 | 3609 18416 59393 | 2147483647 58362 35 | 0.056 % |
31.61/31.66 c | 62385 | 3609 18416 59393 | 2147483647 59021 35 | 0.056 % |
32.31/32.39 c | 63105 | 3609 18416 59393 | 2147483647 59741 35 | 0.056 % |
33.31/33.31 c | 63900 | 3609 18416 59393 | 2147483647 60536 35 | 0.055 % |
33.41/33.41 c | 64001 | 3609 18416 59393 | 2147483647 60637 35 | 0.055 % |
33.51/33.54 c | 64111 | 3609 18416 59393 | 2147483647 60747 35 | 0.056 % |
33.61/33.63 c | 64233 | 3609 18416 59393 | 2147483647 60869 35 | 0.056 % |
33.71/33.76 c | 64366 | 3609 18416 59393 | 2147483647 61002 35 | 0.055 % |
33.81/33.89 c | 64512 | 3609 18416 59393 | 2147483647 61148 35 | 0.055 % |
34.01/34.07 c | 64672 | 3609 18416 59393 | 2147483647 61308 35 | 0.056 % |
34.21/34.27 c | 64848 | 3609 18416 59393 | 2147483647 61484 35 | 0.056 % |
34.51/34.52 c | 65043 | 3609 18416 59393 | 2147483647 61679 35 | 0.056 % |
34.71/34.71 c | 65257 | 3609 18416 59393 | 2147483647 61893 35 | 0.056 % |
34.91/34.91 c | 65491 | 3609 18416 59393 | 2147483647 62127 35 | 0.055 % |
35.01/35.07 c | 65747 | 3609 18416 59393 | 2147483647 62383 35 | 0.055 % |
35.21/35.28 c | 66029 | 3609 18416 59393 | 2147483647 62665 35 | 0.055 % |
35.51/35.52 c | 66339 | 3609 18416 59393 | 2147483647 62975 35 | 0.056 % |
35.71/35.75 c | 66679 | 3609 18416 59393 | 2147483647 63315 35 | 0.056 % |
35.91/35.95 c | 67051 | 3609 18416 59393 | 2147483647 63687 35 | 0.055 % |
36.31/36.37 c | 67462 | 3609 18416 59393 | 2147483647 64098 35 | 0.055 % |
36.81/36.84 c | 67911 | 3609 18416 59393 | 2147483647 64547 35 | 0.056 % |
37.21/37.29 c | 68405 | 3609 18416 59393 | 2147483647 65041 35 | 0.056 % |
37.81/37.89 c | 68947 | 3609 18416 59393 | 2147483647 65583 35 | 0.055 % |
38.51/38.52 c | 69544 | 3609 18416 59393 | 2147483647 66180 35 | 0.056 % |
39.01/39.03 c | 70199 | 3609 18416 59393 | 2147483647 66835 35 | 0.056 % |
39.91/39.92 c | 70920 | 3609 18416 59393 | 2147483647 67556 35 | 0.055 % |
40.51/40.59 c | 71712 | 3609 18416 59393 | 2147483647 68348 35 | 0.055 % |
41.41/41.45 c | 72583 | 3609 18416 59393 | 2147483647 69219 35 | 0.055 % |
41.51/41.60 c | 72684 | 3609 18416 59393 | 2147483647 69320 35 | 0.056 % |
41.71/41.76 c | 72795 | 3609 18416 59393 | 2147483647 69431 35 | 0.056 % |
41.91/41.91 c | 72916 | 3609 18416 59393 | 2147483647 69552 35 | 0.055 % |
42.01/42.10 c | 73049 | 3609 18416 59393 | 2147483647 69685 35 | 0.055 % |
42.21/42.28 c | 73195 | 3609 18416 59393 | 2147483647 69831 35 | 0.056 % |
42.41/42.42 c | 73355 | 3609 18416 59393 | 2147483647 69991 35 | 0.055 % |
42.51/42.55 c | 73531 | 3609 18416 59393 | 2147483647 70167 35 | 0.055 % |
42.81/42.82 c | 73724 | 3609 18416 59393 | 2147483647 70360 35 | 0.056 % |
43.01/43.05 c | 73938 | 3609 18416 59393 | 2147483647 70574 35 | 0.056 % |
43.31/43.31 c | 74171 | 3609 18416 59393 | 2147483647 70807 35 | 0.055 % |
43.51/43.59 c | 74429 | 3609 18416 59393 | 2147483647 71065 35 | 0.056 % |
43.91/43.97 c | 74710 | 3608 18400 59341 | 2147483647 71343 35 | 0.083 % |
44.31/44.38 c | 75019 | 3608 18400 59341 | 2147483647 71652 35 | 0.083 % |
44.71/44.74 c | 75358 | 3608 18400 59341 | 2147483647 71991 35 | 0.083 % |
45.11/45.20 c | 75733 | 3608 18400 59341 | 2147483647 72366 35 | 0.083 % |
45.71/45.74 c | 76145 | 3608 18400 59341 | 2147483647 72778 35 | 0.083 % |
46.31/46.32 c | 76594 | 3608 18400 59341 | 2147483647 73227 35 | 0.083 % |
46.91/46.92 c | 77090 | 3608 18400 59341 | 2147483647 73723 35 | 0.084 % |
47.51/47.53 c | 77634 | 3608 18400 59341 | 2147483647 74267 35 | 0.084 % |
48.21/48.27 c | 78232 | 3608 18400 59341 | 2147483647 74865 35 | 0.083 % |
49.11/49.20 c | 78887 | 3608 18400 59341 | 2147483647 75520 35 | 0.083 % |
50.11/50.13 c | 79608 | 3608 18400 59341 | 2147483647 76241 35 | 0.083 % |
51.21/51.24 c | 80400 | 3608 18400 59341 | 2147483647 77033 35 | 0.084 % |
52.41/52.50 c | 81271 | 3608 18400 59341 | 2147483647 77904 35 | 0.083 % |
53.81/53.82 c | 82231 | 3608 18400 59341 | 2147483647 78864 35 | 0.083 % |
53.92/53.96 c | 82334 | 3608 18400 59341 | 2147483647 78967 35 | 0.083 % |
54.11/54.12 c | 82444 | 3608 18400 59341 | 2147483647 79077 35 | 0.083 % |
54.31/54.33 c | 82566 | 3608 18400 59341 | 2147483647 79199 35 | 0.083 % |
54.51/54.51 c | 82700 | 3608 18400 59341 | 2147483647 79333 35 | 0.084 % |
54.71/54.71 c | 82846 | 3608 18400 59341 | 2147483647 79479 35 | 0.083 % |
54.91/54.91 c | 83008 | 3608 18400 59341 | 2147483647 79641 35 | 0.083 % |
55.11/55.13 c | 83184 | 3608 18400 59341 | 2147483647 79817 35 | 0.084 % |
55.31/55.33 c | 83377 | 3608 18400 59341 | 2147483647 80010 35 | 0.084 % |
55.51/55.60 c | 83589 | 3608 18400 59341 | 2147483647 80222 35 | 0.083 % |
55.91/55.99 c | 83822 | 3608 18400 59341 | 2147483647 80455 35 | 0.084 % |
56.21/56.26 c | 84079 | 3608 18400 59341 | 2147483647 80712 35 | 0.083 % |
56.61/56.67 c | 84360 | 3608 18400 59341 | 2147483647 80993 35 | 0.084 % |
56.91/56.99 c | 84670 | 3608 18400 59341 | 2147483647 81303 35 | 0.083 % |
57.61/57.61 c | 85010 | 3608 18400 59341 | 2147483647 81643 35 | 0.084 % |
58.01/58.08 c | 85382 | 3608 18400 59341 | 2147483647 82015 35 | 0.084 % |
58.61/58.65 c | 85791 | 3608 18400 59341 | 2147483647 82424 35 | 0.084 % |
59.31/59.33 c | 86241 | 3608 18400 59341 | 2147483647 82874 35 | 0.083 % |
60.01/60.09 c | 86734 | 3608 18400 59341 | 2147483647 83367 35 | 0.083 % |
60.81/60.83 c | 87277 | 3608 18400 59341 | 2147483647 83910 35 | 0.083 % |
61.62/61.68 c | 87874 | 3608 18400 59341 | 2147483647 84507 35 | 0.083 % |
62.61/62.69 c | 88530 | 3608 18400 59341 | 2147483647 85163 35 | 0.083 % |
63.61/63.63 c | 89251 | 3608 18400 59341 | 2147483647 85884 35 | 0.083 % |
64.81/64.83 c | 90043 | 3608 18400 59341 | 2147483647 86676 35 | 0.084 % |
66.02/66.06 c | 90914 | 3608 18400 59341 | 2147483647 87547 34 | 0.084 % |
67.41/67.45 c | 91874 | 3608 18400 59341 | 2147483647 88507 35 | 0.084 % |
68.91/68.98 c | 92928 | 3608 18400 59341 | 2147483647 89561 34 | 0.083 % |
69.11/69.10 c | 93030 | 3608 18400 59341 | 2147483647 89663 34 | 0.083 % |
69.32/69.35 c | 93140 | 3608 18400 59341 | 2147483647 89773 34 | 0.084 % |
69.41/69.48 c | 93263 | 3608 18400 59341 | 2147483647 89896 34 | 0.083 % |
69.61/69.69 c | 93396 | 3608 18400 59341 | 2147483647 90029 34 | 0.083 % |
69.81/69.86 c | 93542 | 3608 18400 59341 | 2147483647 90175 34 | 0.083 % |
70.01/70.06 c | 93703 | 3608 18400 59341 | 2147483647 90336 34 | 0.083 % |
70.31/70.31 c | 93879 | 3608 18400 59341 | 2147483647 90512 34 | 0.083 % |
70.51/70.52 c | 94073 | 3608 18400 59341 | 2147483647 90706 34 | 0.083 % |
70.91/70.90 c | 94285 | 3608 18400 59341 | 2147483647 90918 35 | 0.084 % |
71.21/71.21 c | 94519 | 3608 18400 59341 | 2147483647 91152 34 | 0.083 % |
71.52/71.57 c | 94776 | 3608 18400 59341 | 2147483647 91409 35 | 0.083 % |
71.91/71.95 c | 95059 | 3608 18400 59341 | 2147483647 91692 35 | 0.083 % |
72.51/72.52 c | 95368 | 3608 18400 59341 | 2147483647 92001 35 | 0.084 % |
72.91/72.98 c | 95709 | 3608 18400 59341 | 2147483647 92342 35 | 0.083 % |
73.61/73.65 c | 96082 | 3608 18400 59341 | 2147483647 92715 34 | 0.083 % |
74.31/74.35 c | 96491 | 3608 18400 59341 | 2147483647 93124 34 | 0.083 % |
74.91/74.92 c | 96943 | 3608 18400 59341 | 2147483647 93576 34 | 0.084 % |
75.61/75.61 c | 97437 | 3608 18400 59341 | 2147483647 94070 34 | 0.084 % |
76.41/76.44 c | 97979 | 3608 18400 59341 | 2147483647 94612 34 | 0.084 % |
77.11/77.15 c | 98576 | 3608 18400 59341 | 2147483647 95209 34 | 0.084 % |
78.12/78.17 c | 99232 | 3608 18400 59341 | 2147483647 95865 34 | 0.084 % |
79.22/79.23 c | 99952 | 3608 18400 59341 | 2147483647 96585 34 | 0.083 % |
80.51/80.50 c | 100745 | 3608 18400 59341 | 2147483647 97378 34 | 0.084 % |
81.81/81.81 c | 101618 | 3608 18400 59341 | 2147483647 98251 34 | 0.083 % |
83.01/83.08 c | 102576 | 3608 18400 59341 | 2147483647 99209 34 | 0.084 % |
84.81/84.88 c | 103631 | 3608 18400 59341 | 2147483647 100264 34 | 0.083 % |
86.71/86.74 c | 104790 | 3608 18400 59341 | 2147483647 101423 34 | 0.084 % |
86.92/86.93 c | 104891 | 3608 18400 59341 | 2147483647 101524 34 | 0.083 % |
87.11/87.13 c | 105001 | 3608 18400 59341 | 2147483647 101634 34 | 0.083 % |
87.41/87.44 c | 105123 | 3608 18400 59341 | 2147483647 101756 34 | 0.083 % |
87.61/87.70 c | 105258 | 3608 18400 59341 | 2147483647 101891 34 | 0.084 % |
87.91/87.95 c | 105404 | 3608 18400 59341 | 2147483647 102037 34 | 0.083 % |
88.11/88.20 c | 105566 | 3608 18400 59341 | 2147483647 102199 34 | 0.083 % |
88.42/88.48 c | 105742 | 3608 18400 59341 | 2147483647 102375 34 | 0.084 % |
88.72/88.77 c | 105938 | 3608 18400 59341 | 2147483647 102571 34 | 0.085 % |
89.02/89.09 c | 106150 | 3608 18400 59341 | 2147483647 102783 34 | 0.083 % |
89.42/89.47 c | 106383 | 3608 18400 59341 | 2147483647 103016 34 | 0.083 % |
89.82/89.86 c | 106639 | 3608 18400 59341 | 2147483647 103272 34 | 0.083 % |
90.22/90.29 c | 106920 | 3608 18400 59341 | 2147483647 103553 34 | 0.083 % |
90.82/90.89 c | 107229 | 3608 18400 59341 | 2147483647 103862 34 | 0.083 % |
91.52/91.52 c | 107568 | 3607 18395 59331 | 2147483647 104197 34 | 0.111 % |
92.22/92.23 c | 107940 | 3607 18395 59331 | 2147483647 104569 34 | 0.111 % |
92.92/92.99 c | 108349 | 3607 18395 59331 | 2147483647 104978 34 | 0.111 % |
93.62/93.63 c | 108801 | 3607 18395 59331 | 2147483647 105430 34 | 0.111 % |
94.32/94.40 c | 109294 | 3607 18395 59331 | 2147483647 105922 34 | 0.138 % |
95.22/95.22 c | 109837 | 3607 18395 59331 | 2147483647 106465 34 | 0.138 % |
96.72/96.73 c | 110434 | 3607 18395 59331 | 106629 96378 33 | 0.138 % |
98.12/98.12 c | 111089 | 3607 18395 59331 | 106629 97033 34 | 0.138 % |
99.42/99.49 c | 111809 | 3607 18395 59331 | 106629 97753 34 | 0.139 % |
100.82/100.88 c | 112601 | 3607 18395 59331 | 106629 98545 34 | 0.138 % |
102.32/102.35 c | 113474 | 3607 18395 59331 | 106629 99418 33 | 0.139 % |
103.92/103.97 c | 114432 | 3607 18395 59331 | 106629 100376 33 | 0.138 % |
105.82/105.86 c | 115488 | 3607 18395 59331 | 106629 101432 33 | 0.138 % |
107.92/107.95 c | 116646 | 3606 18385 59301 | 106629 102589 34 | 0.139 % |
110.12/110.11 c | 117920 | 3606 18385 59301 | 106629 103863 34 | 0.138 % |
110.32/110.35 c | 118020 | 3606 18385 59301 | 106629 103963 34 | 0.138 % |
110.52/110.58 c | 118130 | 3606 18385 59301 | 106629 104073 34 | 0.139 % |
110.82/110.81 c | 118257 | 3606 18385 59301 | 106629 104200 34 | 0.139 % |
111.02/111.05 c | 118390 | 3606 18385 59301 | 106629 104333 34 | 0.138 % |
111.32/111.37 c | 118537 | 3606 18385 59301 | 106629 104480 34 | 0.138 % |
111.62/111.70 c | 118699 | 3606 18385 59301 | 106629 104642 34 | 0.139 % |
112.02/112.01 c | 118875 | 3606 18385 59301 | 106629 104818 34 | 0.138 % |
112.32/112.39 c | 119068 | 3606 18385 59301 | 106629 105011 34 | 0.138 % |
112.72/112.79 c | 119281 | 3606 18385 59301 | 106629 105224 34 | 0.139 % |
113.22/113.23 c | 119518 | 3606 18385 59301 | 106629 105461 34 | 0.138 % |
113.72/113.72 c | 119774 | 3606 18385 59301 | 106629 105717 34 | 0.139 % |
114.22/114.25 c | 120056 | 3606 18385 59301 | 105943 105999 34 | 0.139 % |
115.22/115.23 c | 120367 | 3606 18385 59301 | 105943 90862 32 | 0.139 % |
115.82/115.85 c | 120706 | 3606 18385 59301 | 105943 91201 32 | 0.138 % |
116.42/116.50 c | 121078 | 3606 18385 59301 | 105943 91573 32 | 0.139 % |
117.22/117.25 c | 121487 | 3606 18385 59301 | 105943 91982 32 | 0.139 % |
118.02/118.07 c | 121937 | 3606 18385 59301 | 105943 92432 32 | 0.139 % |
118.72/118.79 c | 122430 | 3606 18385 59301 | 105943 92925 32 | 0.138 % |
119.52/119.51 c | 122973 | 3606 18385 59301 | 105943 93468 32 | 0.139 % |
120.52/120.57 c | 123570 | 3606 18385 59301 | 105943 94065 32 | 0.138 % |
121.62/121.68 c | 124225 | 3606 18385 59301 | 105943 94720 32 | 0.139 % |
122.83/122.88 c | 124945 | 3606 18385 59301 | 105943 95440 32 | 0.138 % |
124.33/124.33 c | 125737 | 3606 18385 59301 | 105943 96232 32 | 0.139 % |
125.83/125.82 c | 126608 | 3606 18385 59301 | 105943 97103 32 | 0.138 % |
127.03/127.06 c | 127567 | 3606 18385 59301 | 105943 98062 32 | 0.138 % |
128.43/128.44 c | 128621 | 3606 18385 59301 | 105943 99116 32 | 0.139 % |
129.93/129.95 c | 129780 | 3606 18385 59301 | 105943 100275 32 | 0.139 % |
132.03/132.10 c | 131054 | 3606 18385 59301 | 100496 91466 31 | 0.138 % |
133.23/133.24 c | 132454 | 3606 18385 59301 | 100496 92866 31 | 0.139 % |
133.33/133.39 c | 132554 | 3606 18385 59301 | 100496 92966 31 | 0.139 % |
133.53/133.60 c | 132664 | 3606 18385 59301 | 100496 93076 31 | 0.139 % |
133.83/133.83 c | 132785 | 3606 18385 59301 | 100496 93197 31 | 0.138 % |
134.03/134.10 c | 132918 | 3606 18385 59301 | 100496 93330 31 | 0.138 % |
134.33/134.32 c | 133064 | 3606 18385 59301 | 100496 93476 31 | 0.138 % |
134.43/134.47 c | 133225 | 3606 18385 59301 | 100496 93637 31 | 0.139 % |
134.63/134.71 c | 133405 | 3606 18385 59301 | 100496 93817 31 | 0.139 % |
134.93/134.99 c | 133599 | 3606 18385 59301 | 100496 94011 31 | 0.138 % |
135.23/135.28 c | 133812 | 3606 18385 59301 | 100496 94224 31 | 0.139 % |
135.53/135.59 c | 134046 | 3606 18385 59301 | 100496 94458 31 | 0.138 % |
135.73/135.80 c | 134302 | 3606 18385 59301 | 100496 94714 31 | 0.139 % |
136.03/136.02 c | 134584 | 3606 18385 59301 | 100496 94996 31 | 0.139 % |
136.33/136.37 c | 134893 | 3606 18385 59301 | 100496 95305 31 | 0.139 % |
136.73/136.74 c | 135234 | 3606 18385 59301 | 100496 95646 31 | 0.139 % |
137.33/137.35 c | 135607 | 3606 18385 59301 | 100496 96019 31 | 0.139 % |
138.03/138.04 c | 136016 | 3606 18385 59301 | 100496 96428 31 | 0.138 % |
138.53/138.60 c | 136467 | 3606 18385 59301 | 100496 96879 31 | 0.139 % |
139.13/139.20 c | 136963 | 3606 18385 59301 | 100496 97375 31 | 0.138 % |
139.83/139.89 c | 137507 | 3606 18385 59301 | 100496 97919 31 | 0.138 % |
141.13/141.17 c | 138106 | 3606 18385 59301 | 100496 98518 31 | 0.139 % |
142.43/142.43 c | 138762 | 3606 18385 59301 | 100496 99174 31 | 0.138 % |
143.63/143.69 c | 139483 | 3606 18385 59301 | 100496 99895 31 | 0.138 % |
145.03/145.02 c | 140275 | 3606 18385 59301 | 2147483647 100687 31 | 0.138 % |
146.63/146.64 c | 141146 | 3606 18385 59301 | 2147483647 101558 31 | 0.139 % |
148.23/148.31 c | 142105 | 3606 18385 59301 | 2147483647 102517 31 | 0.138 % |
150.03/150.07 c | 143158 | 3606 18385 59301 | 2147483647 103570 31 | 0.138 % |
152.13/152.17 c | 144316 | 3606 18385 59301 | 2147483647 104728 31 | 0.138 % |
154.53/154.59 c | 145590 | 3606 18385 59301 | 2147483647 106002 31 | 0.138 % |
157.43/157.50 c | 146991 | 3605 18369 59249 | 2147483647 107401 31 | 0.167 % |
160.23/160.30 c | 148532 | 3605 18369 59249 | 2147483647 108942 31 | 0.167 % |
160.43/160.49 c | 148632 | 3605 18369 59249 | 2147483647 109042 31 | 0.167 % |
160.73/160.73 c | 148746 | 3605 18369 59249 | 2147483647 109156 31 | 0.166 % |
160.93/160.95 c | 148868 | 3605 18369 59249 | 2147483647 109278 31 | 0.166 % |
161.13/161.16 c | 149003 | 3605 18369 59249 | 2147483647 109413 31 | 0.166 % |
161.43/161.42 c | 149150 | 3605 18369 59249 | 2147483647 109560 31 | 0.166 % |
161.63/161.65 c | 149311 | 3605 18369 59249 | 2147483647 109721 31 | 0.167 % |
161.93/161.92 c | 149488 | 3605 18369 59249 | 2147483647 109898 31 | 0.167 % |
162.23/162.28 c | 149682 | 3605 18369 59249 | 2147483647 110092 31 | 0.166 % |
162.63/162.68 c | 149897 | 3605 18369 59249 | 2147483647 110307 31 | 0.166 % |
163.03/163.09 c | 150130 | 3605 18369 59249 | 110415 110540 31 | 0.166 % |
163.94/163.94 c | 150386 | 3605 18369 59249 | 110415 97735 30 | 0.166 % |
164.43/164.42 c | 150669 | 3605 18369 59249 | 110415 98018 30 | 0.166 % |
164.93/164.95 c | 150980 | 3605 18369 59249 | 110415 98329 30 | 0.166 % |
165.53/165.53 c | 151319 | 3605 18369 59249 | 110415 98668 30 | 0.166 % |
166.23/166.22 c | 151694 | 3605 18369 59249 | 110415 99043 30 | 0.166 % |
166.93/166.96 c | 152104 | 3605 18369 59249 | 110415 99453 30 | 0.166 % |
167.83/167.83 c | 152553 | 3605 18369 59249 | 110415 99902 30 | 0.166 % |
168.83/168.88 c | 153048 | 3605 18369 59249 | 110415 100397 30 | 0.167 % |
169.93/169.93 c | 153591 | 3605 18369 59249 | 110415 100940 30 | 0.167 % |
170.63/170.69 c | 154188 | 3605 18369 59249 | 110415 101537 30 | 0.167 % |
171.53/171.55 c | 154846 | 3605 18369 59249 | 110415 102195 30 | 0.167 % |
172.43/172.47 c | 155569 | 3605 18369 59249 | 110415 102918 30 | 0.166 % |
173.73/173.78 c | 156362 | 3605 18369 59249 | 110415 103711 30 | 0.167 % |
175.23/175.24 c | 157234 | 3604 18360 59221 | 110415 104579 31 | 0.194 % |
176.83/176.88 c | 158195 | 3604 18360 59221 | 110415 105540 31 | 0.194 % |
178.83/178.89 c | 159248 | 3604 18360 59221 | 110415 106593 31 | 0.194 % |
180.63/180.68 c | 160406 | 3604 18360 59221 | 107346 107751 31 | 0.194 % |
183.43/183.45 c | 161679 | 3604 18360 59221 | 107346 94691 31 | 0.194 % |
185.63/185.63 c | 163081 | 3604 18360 59221 | 107346 96093 31 | 0.194 % |
187.84/187.92 c | 164622 | 3604 18360 59221 | 107346 97634 31 | 0.194 % |
190.84/190.91 c | 166319 | 3604 18360 59221 | 107346 99331 31 | 0.195 % |
191.14/191.12 c | 166419 | 3604 18360 59221 | 107346 99431 31 | 0.195 % |
191.24/191.26 c | 166530 | 3604 18360 59221 | 107346 99542 31 | 0.194 % |
191.44/191.43 c | 166651 | 3604 18360 59221 | 107346 99663 31 | 0.195 % |
191.64/191.63 c | 166786 | 3604 18360 59221 | 107346 99798 31 | 0.195 % |
191.84/191.92 c | 166934 | 3604 18360 59221 | 107346 99946 31 | 0.194 % |
192.14/192.16 c | 167096 | 3604 18360 59221 | 107346 100108 31 | 0.194 % |
192.44/192.47 c | 167272 | 3604 18360 59221 | 107346 100284 31 | 0.194 % |
192.74/192.82 c | 167465 | 3604 18360 59221 | 107346 100477 31 | 0.195 % |
193.14/193.17 c | 167681 | 3604 18360 59221 | 107346 100693 31 | 0.194 % |
193.44/193.44 c | 167914 | 3604 18360 59221 | 107346 100926 31 | 0.194 % |
193.74/193.80 c | 168170 | 3604 18360 59221 | 107346 101182 31 | 0.195 % |
194.24/194.29 c | 168451 | 3604 18360 59221 | 107346 101463 31 | 0.195 % |
194.84/194.84 c | 168762 | 3604 18360 59221 | 107346 101774 31 | 0.194 % |
195.44/195.44 c | 169102 | 3604 18360 59221 | 107346 102114 31 | 0.194 % |
196.14/196.16 c | 169475 | 3604 18360 59221 | 107346 102487 31 | 0.194 % |
196.84/196.84 c | 169885 | 3604 18360 59221 | 107346 102897 31 | 0.194 % |
197.74/197.75 c | 170337 | 3602 18349 59187 | 2147483647 103344 31 | 0.249 % |
198.64/198.65 c | 170831 | 3602 18349 59187 | 2147483647 103838 31 | 0.249 % |
199.64/199.67 c | 171373 | 3602 18349 59187 | 2147483647 104380 31 | 0.249 % |
200.64/200.66 c | 171970 | 3602 18349 59187 | 2147483647 104977 31 | 0.249 % |
202.04/202.03 c | 172625 | 3602 18349 59187 | 2147483647 105632 31 | 0.250 % |
203.24/203.28 c | 173346 | 3602 18349 59187 | 2147483647 106353 31 | 0.249 % |
204.74/204.77 c | 174141 | 3602 18349 59187 | 2147483647 107148 31 | 0.250 % |
206.44/206.50 c | 175013 | 3602 18349 59187 | 2147483647 108020 31 | 0.249 % |
208.54/208.53 c | 175971 | 3602 18349 59187 | 2147483647 108978 31 | 0.250 % |
210.64/210.70 c | 177024 | 3602 18349 59187 | 2147483647 110031 31 | 0.250 % |
212.74/212.73 c | 178182 | 3602 18349 59187 | 2147483647 111189 31 | 0.250 % |
214.64/214.63 c | 179456 | 3602 18349 59187 | 2147483647 112463 31 | 0.249 % |
218.04/218.06 c | 180856 | 3602 18349 59187 | 113007 97969 31 | 0.249 % |
220.04/220.09 c | 182396 | 3602 18349 59187 | 113007 99509 31 | 0.249 % |
222.94/222.94 c | 184090 | 3602 18349 59187 | 113007 101203 31 | 0.249 % |
226.34/226.38 c | 185956 | 3602 18349 59187 | 113007 103069 31 | 0.250 % |
226.54/226.57 c | 186059 | 3602 18349 59187 | 113007 103172 31 | 0.249 % |
226.74/226.79 c | 186169 | 3602 18349 59187 | 113007 103282 31 | 0.250 % |
227.04/227.02 c | 186292 | 3602 18349 59187 | 113007 103405 31 | 0.250 % |
227.24/227.26 c | 186425 | 3602 18349 59187 | 113007 103538 31 | 0.249 % |
227.54/227.56 c | 186572 | 3602 18349 59187 | 113007 103685 31 | 0.249 % |
227.84/227.90 c | 186732 | 3602 18349 59187 | 113007 103845 31 | 0.250 % |
228.14/228.19 c | 186908 | 3602 18349 59187 | 113007 104021 31 | 0.249 % |
228.54/228.59 c | 187102 | 3602 18349 59187 | 113007 104215 31 | 0.249 % |
229.04/229.03 c | 187316 | 3602 18349 59187 | 113007 104429 31 | 0.250 % |
229.44/229.47 c | 187551 | 3602 18349 59187 | 113007 104664 31 | 0.250 % |
229.84/229.85 c | 187807 | 3602 18349 59187 | 113007 104920 31 | 0.250 % |
230.24/230.25 c | 188088 | 3602 18349 59187 | 113007 105201 31 | 0.249 % |
230.64/230.68 c | 188397 | 3602 18349 59187 | 113007 105510 31 | 0.250 % |
231.24/231.31 c | 188738 | 3601 18339 59157 | 113007 105849 31 | 0.278 % |
231.94/232.00 c | 189111 | 3601 18339 59157 | 113007 106222 31 | 0.278 % |
232.54/232.52 c | 189523 | 3601 18339 59157 | 113007 106634 31 | 0.277 % |
233.24/233.25 c | 189974 | 3601 18339 59157 | 113007 107085 31 | 0.278 % |
234.14/234.12 c | 190469 | 3601 18339 59157 | 107112 107580 31 | 0.278 % |
235.34/235.32 c | 191012 | 3601 18339 59157 | 107112 96002 31 | 0.278 % |
236.14/236.20 c | 191608 | 3601 18339 59157 | 107112 96598 31 | 0.278 % |
237.44/237.49 c | 192264 | 3601 18339 59157 | 107112 97254 31 | 0.278 % |
238.64/238.71 c | 192985 | 3601 18339 59157 | 107112 97975 31 | 0.277 % |
240.04/240.06 c | 193777 | 3601 18339 59157 | 107112 98767 31 | 0.278 % |
241.64/241.70 c | 194648 | 3601 18339 59157 | 107112 99638 31 | 0.278 % |
243.44/243.49 c | 195607 | 3601 18339 59157 | 107112 100597 31 | 0.277 % |
245.35/245.33 c | 196661 | 3601 18339 59157 | 107112 101651 31 | 0.278 % |
247.34/247.39 c | 197823 | 3601 18339 59157 | 107112 102813 31 | 0.278 % |
249.64/249.69 c | 199098 | 3601 18339 59157 | 107112 104088 31 | 0.278 % |
252.14/252.17 c | 200499 | 3601 18339 59157 | 104990 105489 31 | 0.278 % |
255.04/255.05 c | 202039 | 3601 18339 59157 | 104990 91631 30 | 0.278 % |
257.94/257.96 c | 203733 | 3601 18339 59157 | 104990 93325 31 | 0.277 % |
261.04/261.03 c | 205599 | 3601 18339 59157 | 104990 95191 31 | 0.278 % |
263.94/263.99 c | 207648 | 3601 18339 59157 | 104990 97240 31 | 0.278 % |
264.14/264.20 c | 207750 | 3601 18339 59157 | 104990 97342 31 | 0.278 % |
264.34/264.40 c | 207862 | 3601 18339 59157 | 104990 97454 31 | 0.277 % |
264.64/264.63 c | 207984 | 3601 18339 59157 | 104990 97576 31 | 0.278 % |
264.84/264.89 c | 208119 | 3601 18339 59157 | 104990 97711 31 | 0.277 % |
265.15/265.15 c | 208266 | 3601 18339 59157 | 104990 97858 31 | 0.278 % |
265.44/265.50 c | 208426 | 3601 18339 59157 | 104990 98018 31 | 0.277 % |
265.94/265.95 c | 208602 | 3601 18339 59157 | 104990 98194 31 | 0.277 % |
266.34/266.41 c | 208795 | 3601 18339 59157 | 104990 98387 31 | 0.277 % |
266.84/266.89 c | 209007 | 3601 18339 59157 | 104990 98599 31 | 0.277 % |
267.35/267.41 c | 209240 | 3601 18339 59157 | 104990 98832 31 | 0.277 % |
267.84/267.86 c | 209500 | 3601 18339 59157 | 104990 99092 31 | 0.278 % |
268.34/268.38 c | 209781 | 3601 18339 59157 | 104990 99373 31 | 0.278 % |
268.94/268.92 c | 210090 | 3601 18339 59157 | 99593 99682 31 | 0.278 % |
269.64/269.65 c | 210429 | 3601 18339 59157 | 99593 89653 30 | 0.277 % |
270.24/270.23 c | 210802 | 3601 18339 59157 | 99593 90026 30 | 0.278 % |
270.84/270.89 c | 211214 | 3601 18339 59157 | 99593 90438 30 | 0.278 % |
271.64/271.69 c | 211663 | 3601 18339 59157 | 99593 90887 30 | 0.277 % |
272.44/272.42 c | 212159 | 3601 18339 59157 | 99593 91383 30 | 0.278 % |
273.24/273.29 c | 212704 | 3601 18339 59157 | 99593 91928 30 | 0.277 % |
274.44/274.48 c | 213302 | 3601 18339 59157 | 99593 92526 30 | 0.278 % |
275.64/275.65 c | 213959 | 3601 18339 59157 | 99593 93183 30 | 0.278 % |
276.84/276.85 c | 214679 | 3601 18339 59157 | 99593 93903 30 | 0.277 % |
278.04/278.02 c | 215471 | 3601 18339 59157 | 99593 94695 30 | 0.278 % |
279.54/279.56 c | 216342 | 3601 18339 59157 | 99593 95566 30 | 0.278 % |
281.24/281.26 c | 217300 | 3601 18339 59157 | 99593 96524 30 | 0.278 % |
283.04/283.07 c | 218353 | 3601 18339 59157 | 99593 97577 30 | 0.278 % |
285.05/285.08 c | 219511 | 3601 18339 59157 | 99593 98735 30 | 0.279 % |
287.25/287.26 c | 220786 | 3601 18339 59157 | 99225 86612 30 | 0.278 % |
289.65/289.65 c | 222186 | 3601 18339 59157 | 99225 88012 30 | 0.277 % |
292.25/292.28 c | 223729 | 3601 18339 59157 | 99225 89555 30 | 0.277 % |
295.05/295.03 c | 225423 | 3601 18339 59157 | 99225 91249 30 | 0.278 % |
298.15/298.15 c | 227286 | 3601 18339 59157 | 99225 93112 30 | 0.277 % |
301.64/301.67 c | 229335 | 3601 18339 59157 | 99225 95161 30 | 0.278 % |
306.04/306.05 c | 231588 | 3601 18339 59157 | 95828 83496 28 | 0.278 % |
306.14/306.20 c | 231691 | 3601 18339 59157 | 95828 83599 28 | 0.278 % |
306.34/306.36 c | 231802 | 3601 18339 59157 | 95828 83710 28 | 0.278 % |
306.44/306.49 c | 231923 | 3601 18339 59157 | 95828 83831 28 | 0.277 % |
306.64/306.69 c | 232059 | 3601 18339 59157 | 95828 83967 28 | 0.278 % |
306.84/306.91 c | 232205 | 3601 18339 59157 | 95828 84113 28 | 0.278 % |
307.14/307.14 c | 232368 | 3601 18339 59157 | 95828 84276 28 | 0.277 % |
307.44/307.44 c | 232546 | 3601 18339 59157 | 95828 84454 28 | 0.277 % |
307.74/307.72 c | 232739 | 3601 18339 59157 | 95828 84647 28 | 0.278 % |
308.14/308.12 c | 232952 | 3601 18339 59157 | 95828 84860 28 | 0.278 % |
308.44/308.45 c | 233185 | 3601 18339 59157 | 95828 85093 28 | 0.278 % |
308.84/308.88 c | 233443 | 3601 18339 59157 | 95828 85351 28 | 0.278 % |
309.34/309.35 c | 233724 | 3601 18339 59157 | 95828 85632 28 | 0.277 % |
309.84/309.81 c | 234033 | 3600 18331 59135 | 95828 85940 28 | 0.306 % |
310.24/310.29 c | 234372 | 3600 18331 59135 | 95828 86279 28 | 0.306 % |
310.94/310.91 c | 234745 | 3600 18331 59135 | 95828 86652 28 | 0.306 % |
311.64/311.62 c | 235155 | 3600 18331 59135 | 95828 87062 28 | 0.305 % |
312.34/312.41 c | 235605 | 3600 18331 59135 | 95828 87512 28 | 0.306 % |
313.14/313.20 c | 236100 | 3600 18331 59135 | 95828 88007 28 | 0.306 % |
314.14/314.15 c | 236645 | 3600 18331 59135 | 95828 88552 28 | 0.306 % |
315.24/315.25 c | 237241 | 3600 18331 59135 | 95828 89148 28 | 0.305 % |
316.34/316.39 c | 237896 | 3600 18331 59135 | 95828 89803 28 | 0.305 % |
317.54/317.53 c | 238616 | 3600 18331 59135 | 95828 90523 28 | 0.306 % |
318.84/318.82 c | 239409 | 3600 18331 59135 | 95828 91316 28 | 0.306 % |
320.34/320.32 c | 240281 | 3600 18331 59135 | 91907 81257 28 | 0.306 % |
321.64/321.66 c | 241239 | 3600 18331 59135 | 91907 82215 28 | 0.306 % |
323.24/323.23 c | 242293 | 3600 18331 59135 | 91907 83269 28 | 0.306 % |
325.04/325.02 c | 243451 | 3600 18331 59135 | 91907 84427 28 | 0.305 % |
327.04/327.10 c | 244724 | 3600 18331 59135 | 91907 85700 28 | 0.305 % |
329.04/329.09 c | 246125 | 3600 18331 59135 | 91907 87101 28 | 0.306 % |
331.44/331.42 c | 247667 | 3600 18331 59135 | 91907 88643 28 | 0.305 % |
333.64/333.69 c | 249363 | 3600 18331 59135 | 91907 90339 28 | 0.306 % |
336.64/336.61 c | 251226 | 3600 18331 59135 | 2147483647 92202 28 | 0.306 % |
339.64/339.64 c | 253276 | 3600 18331 59135 | 2147483647 94252 28 | 0.305 % |
343.44/343.49 c | 255531 | 3600 18331 59135 | 2147483647 96507 28 | 0.306 % |
347.84/347.88 c | 258010 | 3600 18331 59135 | 2147483647 98986 29 | 0.306 % |
348.04/348.10 c | 258110 | 3600 18331 59135 | 2147483647 99086 29 | 0.306 % |
348.34/348.34 c | 258222 | 3600 18331 59135 | 2147483647 99198 29 | 0.306 % |
348.54/348.56 c | 258344 | 3600 18331 59135 | 2147483647 99320 29 | 0.306 % |
348.75/348.77 c | 258477 | 3600 18331 59135 | 2147483647 99453 29 | 0.306 % |
349.04/349.02 c | 258627 | 3600 18331 59135 | 2147483647 99603 29 | 0.305 % |
349.34/349.33 c | 258787 | 3600 18331 59135 | 2147483647 99763 29 | 0.305 % |
349.64/349.67 c | 258963 | 3600 18331 59135 | 2147483647 99939 29 | 0.305 % |
349.94/349.96 c | 259159 | 3600 18331 59135 | 2147483647 100135 29 | 0.306 % |
350.34/350.33 c | 259371 | 3600 18331 59135 | 2147483647 100347 29 | 0.306 % |
350.74/350.71 c | 259606 | 3600 18331 59135 | 2147483647 100582 29 | 0.306 % |
351.14/351.19 c | 259862 | 3600 18331 59135 | 2147483647 100838 29 | 0.306 % |
351.54/351.60 c | 260143 | 3600 18331 59135 | 2147483647 101119 29 | 0.306 % |
352.05/352.08 c | 260452 | 3600 18331 59135 | 2147483647 101428 29 | 0.306 % |
352.64/352.64 c | 260791 | 3600 18331 59135 | 2147483647 101767 29 | 0.305 % |
353.24/353.27 c | 261167 | 3600 18331 59135 | 2147483647 102143 29 | 0.306 % |
354.04/354.08 c | 261576 | 3600 18331 59135 | 2147483647 102552 29 | 0.305 % |
354.84/354.85 c | 262028 | 3600 18331 59135 | 2147483647 103004 29 | 0.306 % |
355.64/355.71 c | 262521 | 3600 18331 59135 | 2147483647 103497 29 | 0.306 % |
356.84/356.83 c | 263068 | 3600 18331 59135 | 2147483647 104044 29 | 0.306 % |
358.04/358.03 c | 263664 | 3600 18331 59135 | 2147483647 104640 29 | 0.306 % |
359.44/359.50 c | 264319 | 3600 18331 59135 | 2147483647 105295 29 | 0.305 % |
361.04/361.04 c | 265042 | 3600 18331 59135 | 2147483647 106018 29 | 0.306 % |
362.64/362.63 c | 265835 | 3600 18331 59135 | 2147483647 106811 29 | 0.306 % |
364.54/364.60 c | 266706 | 3600 18331 59135 | 2147483647 107682 29 | 0.306 % |
366.64/366.63 c | 267666 | 3600 18331 59135 | 2147483647 108642 29 | 0.305 % |
369.04/369.08 c | 268719 | 3600 18331 59135 | 2147483647 109695 29 | 0.306 % |
371.54/371.54 c | 269879 | 3600 18331 59135 | 2147483647 110855 29 | 0.305 % |
374.14/374.18 c | 271153 | 3600 18331 59135 | 110976 95288 27 | 0.306 % |
376.84/376.90 c | 272553 | 3600 18331 59135 | 110976 96688 27 | 0.306 % |
379.44/379.45 c | 274095 | 3600 18331 59135 | 110976 98230 28 | 0.306 % |
381.84/381.87 c | 275789 | 3600 18331 59135 | 110976 99924 28 | 0.306 % |
384.85/384.83 c | 277652 | 3600 18331 59135 | 110976 101787 27 | 0.306 % |
388.15/388.11 c | 279702 | 3600 18331 59135 | 110976 103837 27 | 0.309 % |
392.75/392.77 c | 281957 | 3599 18237 58902 | 104136 16276 17 | 0.333 % |
393.55/393.53 c | 284435 | 3599 18237 58902 | 104136 18754 22 | 0.332 % |
394.45/394.46 c | 287162 | 3599 18237 58902 | 104136 21481 25 | 0.332 % |
394.45/394.51 c | 287262 | 3599 18237 58902 | 104136 21581 25 | 0.332 % |
394.55/394.55 c | 287373 | 3599 18237 58902 | 104136 21692 25 | 0.332 % |
394.55/394.61 c | 287495 | 3599 18237 58902 | 104136 21814 25 | 0.332 % |
394.65/394.67 c | 287629 | 3599 18237 58902 | 104136 21948 26 | 0.332 % |
394.75/394.73 c | 287776 | 3599 18237 58902 | 104136 22095 26 | 0.332 % |
394.75/394.79 c | 287939 | 3599 18237 58902 | 104136 22258 26 | 0.332 % |
394.85/394.89 c | 288116 | 3599 18237 58902 | 104136 22435 26 | 0.332 % |
394.95/394.95 c | 288309 | 3599 18237 58902 | 104136 22628 26 | 0.332 % |
395.05/395.04 c | 288521 | 3599 18237 58902 | 104136 22840 26 | 0.332 % |
395.15/395.12 c | 288754 | 3599 18237 58902 | 104136 23073 27 | 0.332 % |
395.25/395.26 c | 289012 | 3599 18237 58902 | 104136 23331 27 | 0.332 % |
395.35/395.35 c | 289293 | 3599 18237 58902 | 104136 23612 27 | 0.333 % |
395.45/395.49 c | 289602 | 3599 18237 58902 | 104136 23921 27 | 0.332 % |
395.65/395.67 c | 289943 | 3599 18237 58902 | 104136 24262 27 | 0.332 % |
395.85/395.87 c | 290316 | 3599 18237 58902 | 2147483647 24635 28 | 0.332 % |
396.05/396.09 c | 290728 | 3598 18222 58852 | 2147483647 25045 28 | 0.360 % |
396.25/396.28 c | 291177 | 3598 18222 58852 | 2147483647 25494 28 | 0.360 % |
396.55/396.58 c | 291672 | 3598 18222 58852 | 2147483647 25989 28 | 0.360 % |
396.85/396.86 c | 292214 | 3598 18222 58852 | 2147483647 26531 28 | 0.360 % |
397.25/397.29 c | 292813 | 3598 18222 58852 | 2147483647 27130 28 | 0.360 % |
397.75/397.72 c | 293468 | 3598 18222 58852 | 2147483647 27785 29 | 0.360 % |
398.15/398.14 c | 294188 | 3598 18222 58852 | 2147483647 28505 29 | 0.360 % |
398.55/398.58 c | 294981 | 3598 18222 58852 | 2147483647 29298 29 | 0.360 % |
399.15/399.12 c | 295853 | 3598 18222 58852 | 2147483647 30170 29 | 0.360 % |
399.75/399.76 c | 296811 | 3598 18222 58852 | 2147483647 31128 30 | 0.360 % |
400.35/400.41 c | 297866 | 3598 18222 58852 | 2147483647 32183 30 | 0.360 % |
401.15/401.21 c | 299026 | 3598 18222 58852 | 2147483647 33343 30 | 0.360 % |
401.75/401.75 c | 300300 | 3598 18222 58852 | 2147483647 34617 31 | 0.361 % |
402.65/402.62 c | 301701 | 3598 18222 58852 | 2147483647 36018 31 | 0.361 % |
403.65/403.67 c | 303241 | 3598 18222 58852 | 2147483647 37558 31 | 0.360 % |
404.55/404.61 c | 304936 | 3598 18222 58852 | 2147483647 39253 32 | 0.360 % |
406.05/406.04 c | 306800 | 3598 18222 58852 | 2147483647 41117 32 | 0.360 % |
407.75/407.75 c | 308850 | 3598 18222 58852 | 2147483647 43167 32 | 0.360 % |
409.35/409.40 c | 311105 | 3597 18212 58822 | 2147483647 45420 33 | 0.388 % |
411.95/411.97 c | 313585 | 3597 18212 58822 | 2147483647 47900 33 | 0.388 % |
413.45/413.45 c | 316311 | 3597 18212 58822 | 2147483647 50626 33 | 0.388 % |
415.85/415.84 c | 319309 | 3597 18212 58822 | 2147483647 53624 34 | 0.388 % |
415.95/415.93 c | 319409 | 3597 18212 58822 | 2147483647 53724 34 | 0.388 % |
416.05/416.02 c | 319520 | 3597 18212 58822 | 2147483647 53835 34 | 0.388 % |
416.15/416.15 c | 319641 | 3597 18212 58822 | 2147483647 53956 34 | 0.389 % |
416.25/416.28 c | 319774 | 3597 18212 58822 | 2147483647 54089 34 | 0.388 % |
416.45/416.47 c | 319920 | 3597 18212 58822 | 2147483647 54235 34 | 0.388 % |
416.65/416.62 c | 320080 | 3597 18212 58822 | 2147483647 54395 34 | 0.388 % |
416.75/416.74 c | 320257 | 3597 18212 58822 | 2147483647 54572 34 | 0.388 % |
416.85/416.88 c | 320450 | 3597 18212 58822 | 2147483647 54765 34 | 0.388 % |
417.05/417.07 c | 320664 | 3597 18212 58822 | 2147483647 54979 34 | 0.388 % |
417.25/417.29 c | 320898 | 3597 18212 58822 | 2147483647 55213 34 | 0.388 % |
417.55/417.56 c | 321154 | 3597 18212 58822 | 2147483647 55469 34 | 0.388 % |
417.85/417.89 c | 321437 | 3597 18212 58822 | 2147483647 55752 34 | 0.388 % |
418.15/418.19 c | 321747 | 3597 18212 58822 | 2147483647 56062 34 | 0.388 % |
418.45/418.49 c | 322088 | 3597 18212 58822 | 2147483647 56403 34 | 0.388 % |
418.75/418.81 c | 322462 | 3597 18212 58822 | 2147483647 56777 34 | 0.388 % |
419.05/419.10 c | 322873 | 3597 18212 58822 | 2147483647 57188 34 | 0.388 % |
419.55/419.52 c | 323322 | 3597 18212 58822 | 2147483647 57637 34 | 0.388 % |
419.95/419.97 c | 323816 | 3597 18212 58822 | 2147483647 58131 34 | 0.388 % |
420.45/420.48 c | 324358 | 3597 18212 58822 | 2147483647 58673 34 | 0.388 % |
420.85/420.90 c | 324959 | 3597 18212 58822 | 2147483647 59274 34 | 0.388 % |
421.65/421.61 c | 325614 | 3597 18212 58822 | 2147483647 59929 35 | 0.388 % |
422.55/422.53 c | 326335 | 3597 18212 58822 | 2147483647 60650 35 | 0.388 % |
423.35/423.33 c | 327127 | 3597 18212 58822 | 2147483647 61442 35 | 0.388 % |
424.45/424.49 c | 327998 | 3597 18212 58822 | 2147483647 62313 35 | 0.388 % |
425.55/425.56 c | 328956 | 3595 18204 58800 | 2147483647 63269 35 | 0.472 % |
426.45/426.50 c | 330011 | 3595 18204 58800 | 2147483647 64324 35 | 0.471 % |
427.35/427.38 c | 331171 | 3595 18204 58800 | 2147483647 65484 35 | 0.472 % |
428.55/428.58 c | 332445 | 3595 18204 58800 | 2147483647 66758 35 | 0.472 % |
429.65/429.61 c | 333845 | 3595 18204 58800 | 2147483647 68158 35 | 0.471 % |
431.35/431.38 c | 335385 | 3594 18191 58760 | 2147483647 69698 35 | 0.471 % |
433.25/433.30 c | 337079 | 3594 18191 58760 | 2147483647 71392 35 | 0.471 % |
435.25/435.22 c | 338946 | 3594 18191 58760 | 2147483647 73259 35 | 0.471 % |
437.45/437.42 c | 340996 | 3594 18191 58760 | 2147483647 75309 35 | 0.471 % |
440.05/440.10 c | 343249 | 3594 18191 58760 | 2147483647 77562 35 | 0.471 % |
443.15/443.16 c | 345727 | 3593 18186 58746 | 2147483647 80038 35 | 0.499 % |
447.45/447.49 c | 348452 | 3593 18186 58746 | 2147483647 82763 35 | 0.498 % |
452.05/452.04 c | 351450 | 3593 18186 58746 | 84310 76507 35 | 0.526 % |
456.85/456.85 c | 354746 | 3592 18176 58716 | 84310 79802 35 | 0.526 % |
456.95/457.00 c | 354846 | 3592 18176 58716 | 84310 79902 35 | 0.526 % |
457.15/457.20 c | 354957 | 3592 18176 58716 | 84310 80013 35 | 0.526 % |
457.35/457.35 c | 355079 | 3592 18176 58716 | 84310 80135 35 | 0.526 % |
457.55/457.52 c | 355212 | 3592 18176 58716 | 84310 80268 35 | 0.527 % |
457.75/457.71 c | 355359 | 3592 18176 58716 | 84310 80415 35 | 0.527 % |
457.85/457.90 c | 355520 | 3592 18176 58716 | 84310 80576 35 | 0.526 % |
458.05/458.07 c | 355696 | 3592 18176 58716 | 84310 80752 35 | 0.527 % |
458.25/458.28 c | 355890 | 3592 18176 58716 | 84310 80946 35 | 0.527 % |
458.45/458.47 c | 356103 | 3592 18176 58716 | 84310 81159 35 | 0.526 % |
458.65/458.70 c | 356336 | 3592 18176 58716 | 84310 81392 35 | 0.526 % |
458.95/458.98 c | 356593 | 3592 18176 58716 | 84310 81649 35 | 0.526 % |
459.35/459.34 c | 356874 | 3592 18176 58716 | 84310 81930 35 | 0.526 % |
459.65/459.66 c | 357183 | 3592 18176 58716 | 84310 82239 35 | 0.526 % |
460.05/460.06 c | 357524 | 3592 18176 58716 | 84310 82580 35 | 0.526 % |
460.35/460.39 c | 357896 | 3592 18176 58716 | 84310 82952 35 | 0.526 % |
460.75/460.79 c | 358306 | 3592 18176 58716 | 84310 83362 35 | 0.526 % |
461.35/461.31 c | 358755 | 3592 18176 58716 | 84310 83811 35 | 0.526 % |
461.95/461.91 c | 359249 | 3592 18176 58716 | 84310 84305 35 | 0.526 % |
462.55/462.53 c | 359792 | 3592 18176 58716 | 84310 84848 35 | 0.526 % |
463.65/463.62 c | 360388 | 3592 18176 58716 | 2147483647 76960 34 | 0.526 % |
464.45/464.43 c | 361044 | 3592 18176 58716 | 2147483647 77616 34 | 0.526 % |
465.25/465.24 c | 361766 | 3592 18176 58716 | 2147483647 78338 34 | 0.527 % |
466.15/466.20 c | 362558 | 3592 18176 58716 | 2147483647 79130 34 | 0.526 % |
466.95/466.95 c | 363429 | 3592 18176 58716 | 2147483647 80001 34 | 0.527 % |
467.85/467.83 c | 364389 | 3592 18176 58716 | 2147483647 80961 34 | 0.527 % |
468.95/468.98 c | 365442 | 3592 18176 58716 | 2147483647 82014 35 | 0.526 % |
470.25/470.24 c | 366602 | 3592 18176 58716 | 2147483647 83174 35 | 0.526 % |
472.05/472.01 c | 367875 | 3592 18176 58716 | 2147483647 84447 35 | 0.526 % |
473.75/473.79 c | 369275 | 3592 18176 58716 | 2147483647 85847 35 | 0.526 % |
475.65/475.69 c | 370815 | 3592 18176 58716 | 2147483647 87387 35 | 0.526 % |
477.95/477.91 c | 372509 | 3592 18176 58716 | 2147483647 89081 36 | 0.526 % |
480.15/480.17 c | 374372 | 3592 18176 58716 | 2147483647 90944 36 | 0.527 % |
482.66/482.64 c | 376421 | 3592 18176 58716 | 2147483647 92993 36 | 0.526 % |
485.66/485.67 c | 378676 | 3592 18176 58716 | 2147483647 95248 36 | 0.526 % |
488.86/488.82 c | 381154 | 3592 18176 58716 | 96575 84081 36 | 0.526 % |
491.86/491.84 c | 383879 | 3592 18176 58716 | 96575 86806 36 | 0.526 % |
496.26/496.31 c | 386876 | 3592 18176 58716 | 96575 89803 36 | 0.526 % |
500.66/500.69 c | 390175 | 3592 18176 58716 | 92928 93102 36 | 0.526 % |
504.66/504.66 c | 393803 | 3591 18166 58686 | 92928 84431 36 | 0.554 % |
504.76/504.78 c | 393904 | 3591 18166 58686 | 92928 84532 36 | 0.554 % |
504.96/504.95 c | 394014 | 3591 18166 58686 | 92928 84642 36 | 0.554 % |
505.06/505.09 c | 394135 | 3591 18166 58686 | 92928 84763 36 | 0.555 % |
505.26/505.27 c | 394268 | 3591 18166 58686 | 92928 84896 36 | 0.554 % |
505.46/505.46 c | 394416 | 3591 18166 58686 | 92928 85044 36 | 0.554 % |
505.66/505.64 c | 394576 | 3591 18166 58686 | 92928 85204 36 | 0.554 % |
505.86/505.89 c | 394752 | 3591 18166 58686 | 92928 85380 36 | 0.554 % |
506.16/506.14 c | 394945 | 3591 18166 58686 | 92928 85573 36 | 0.554 % |
506.56/506.52 c | 395158 | 3591 18166 58686 | 92928 85786 36 | 0.554 % |
506.96/506.94 c | 395395 | 3591 18166 58686 | 92928 86023 36 | 0.554 % |
507.36/507.37 c | 395651 | 3591 18166 58686 | 92928 86279 36 | 0.554 % |
507.76/507.74 c | 395932 | 3591 18166 58686 | 92928 86560 36 | 0.554 % |
508.16/508.16 c | 396243 | 3591 18166 58686 | 92928 86871 36 | 0.554 % |
508.76/508.80 c | 396582 | 3591 18166 58686 | 92928 87210 36 | 0.554 % |
509.26/509.23 c | 396958 | 3591 18166 58686 | 92928 87586 36 | 0.554 % |
509.76/509.76 c | 397367 | 3591 18166 58686 | 92928 87995 36 | 0.554 % |
510.46/510.44 c | 397817 | 3591 18166 58686 | 92928 88445 36 | 0.554 % |
511.16/511.13 c | 398310 | 3591 18166 58686 | 92928 88938 36 | 0.554 % |
511.96/512.00 c | 398852 | 3591 18166 58686 | 92928 89480 36 | 0.554 % |
512.96/512.91 c | 399449 | 3591 18166 58686 | 92928 90077 36 | 0.554 % |
514.06/514.03 c | 400105 | 3591 18166 58686 | 90631 90733 36 | 0.554 % |
515.56/515.53 c | 400825 | 3591 18166 58686 | 90631 81877 36 | 0.554 % |
516.66/516.69 c | 401618 | 3591 18166 58686 | 90631 82670 36 | 0.554 % |
518.16/518.18 c | 402490 | 3591 18166 58686 | 90631 83542 36 | 0.554 % |
519.76/519.76 c | 403448 | 3591 18166 58686 | 90631 84500 36 | 0.554 % |
521.46/521.45 c | 404501 | 3591 18166 58686 | 90631 85553 36 | 0.554 % |
522.56/522.53 c | 405659 | 3591 18166 58686 | 90631 86711 36 | 0.555 % |
524.16/524.14 c | 406932 | 3591 18166 58686 | 90631 87984 36 | 0.554 % |
526.06/526.01 c | 408333 | 3591 18166 58686 | 90631 89385 36 | 0.554 % |
528.16/528.14 c | 409873 | 3591 18166 58686 | 90631 90925 36 | 0.554 % |
530.46/530.42 c | 411570 | 3591 18166 58686 | 79916 71901 35 | 0.554 % |
532.06/532.05 c | 413433 | 3591 18166 58686 | 79916 73764 35 | 0.555 % |
533.86/533.90 c | 415483 | 3591 18166 58686 | 79916 75814 35 | 0.554 % |
535.96/535.92 c | 417736 | 3591 18166 58686 | 79916 78067 35 | 0.555 % |
539.26/539.23 c | 420214 | 3591 18166 58686 | 2147483647 72517 34 | 0.555 % |
542.26/542.22 c | 422940 | 3591 18166 58686 | 2147483647 75243 34 | 0.554 % |
545.26/545.23 c | 425938 | 3591 18166 58686 | 2147483647 78241 34 | 0.555 % |
548.36/548.40 c | 429234 | 3591 18166 58686 | 2147483647 81537 34 | 0.554 % |
552.27/552.23 c | 432861 | 3591 18166 58686 | 2147483647 85164 35 | 0.554 % |
556.96/556.96 c | 436850 | 3591 18166 58686 | 2147483647 89153 35 | 0.554 % |
557.16/557.11 c | 436952 | 3591 18166 58686 | 2147483647 89255 35 | 0.554 % |
557.26/557.27 c | 437062 | 3591 18166 58686 | 2147483647 89365 35 | 0.554 % |
557.46/557.46 c | 437189 | 3591 18166 58686 | 2147483647 89492 35 | 0.554 % |
557.66/557.67 c | 437322 | 3591 18166 58686 | 2147483647 89625 35 | 0.554 % |
557.86/557.86 c | 437468 | 3591 18166 58686 | 2147483647 89771 35 | 0.555 % |
558.06/558.05 c | 437630 | 3591 18166 58686 | 2147483647 89933 35 | 0.554 % |
558.26/558.25 c | 437808 | 3591 18166 58686 | 2147483647 90111 35 | 0.554 % |
558.46/558.46 c | 438002 | 3591 18166 58686 | 2147483647 90305 35 | 0.554 % |
558.76/558.72 c | 438214 | 3591 18166 58686 | 2147483647 90517 35 | 0.555 % |
558.96/558.99 c | 438447 | 3591 18166 58686 | 2147483647 90750 35 | 0.554 % |
559.26/559.22 c | 438706 | 3591 18166 58686 | 2147483647 91009 35 | 0.555 % |
559.56/559.60 c | 438988 | 3591 18166 58686 | 2147483647 91291 35 | 0.554 % |
559.97/560.01 c | 439298 | 3591 18166 58686 | 2147483647 91601 35 | 0.554 % |
560.46/560.47 c | 439639 | 3591 18166 58686 | 2147483647 91942 35 | 0.554 % |
560.96/560.97 c | 440011 | 3591 18166 58686 | 2147483647 92314 35 | 0.554 % |
561.56/561.58 c | 440420 | 3591 18166 58686 | 2147483647 92723 35 | 0.555 % |
562.26/562.29 c | 440871 | 3591 18166 58686 | 2147483647 93174 35 | 0.554 % |
563.16/563.11 c | 441364 | 3591 18166 58686 | 2147483647 93667 35 | 0.554 % |
563.86/563.89 c | 441906 | 3591 18166 58686 | 2147483647 94209 35 | 0.554 % |
564.46/564.47 c | 442503 | 3591 18166 58686 | 2147483647 94806 35 | 0.554 % |
565.36/565.36 c | 443158 | 3591 18166 58686 | 2147483647 95461 35 | 0.554 % |
566.36/566.38 c | 443881 | 3591 18166 58686 | 2147483647 96184 35 | 0.556 % |
567.56/567.55 c | 444676 | 3591 18166 58686 | 2147483647 96979 35 | 0.554 % |
568.96/568.99 c | 445548 | 3591 18166 58686 | 2147483647 97851 35 | 0.554 % |
570.26/570.29 c | 446507 | 3591 18166 58686 | 2147483647 98810 35 | 0.555 % |
571.26/571.28 c | 447561 | 3591 18166 58686 | 2147483647 99864 35 | 0.555 % |
572.76/572.80 c | 448719 | 3591 18166 58686 | 2147483647 101022 35 | 0.555 % |
574.76/574.79 c | 449993 | 3591 18166 58686 | 2147483647 102296 35 | 0.554 % |
577.26/577.25 c | 451395 | 3591 18166 58686 | 102305 103698 35 | 0.554 % |
579.67/579.72 c | 452936 | 3591 18166 58686 | 102305 84595 32 | 0.554 % |
582.17/582.14 c | 454632 | 3591 18166 58686 | 102305 86291 32 | 0.554 % |
584.47/584.50 c | 456495 | 3591 18166 58686 | 102305 88154 32 | 0.554 % |
587.07/587.06 c | 458545 | 3590 18156 58656 | 102305 90202 33 | 0.582 % |
590.37/590.38 c | 460798 | 3590 18156 58656 | 91657 81610 31 | 0.582 % |
593.27/593.22 c | 463276 | 3590 18156 58656 | 91657 84088 31 | 0.582 % |
596.57/596.55 c | 466001 | 3590 18156 58656 | 91657 86813 31 | 0.582 % |
600.37/600.37 c | 468998 | 3590 18156 58656 | 91657 89810 31 | 0.583 % |
604.87/604.86 c | 472295 | 3590 18156 58656 | 2147483647 93107 32 | 0.582 % |
608.97/609.01 c | 475920 | 3590 18156 58656 | 2147483647 96732 32 | 0.582 % |
613.67/613.66 c | 479907 | 3590 18156 58656 | 2147483647 100719 33 | 0.582 % |
619.97/619.96 c | 484293 | 3590 18156 58656 | 100818 92003 33 | 0.582 % |
620.07/620.08 c | 484396 | 3590 18156 58656 | 100818 92106 33 | 0.582 % |
620.27/620.27 c | 484507 | 3590 18156 58656 | 100818 92217 33 | 0.582 % |
620.47/620.47 c | 484629 | 3590 18156 58656 | 100818 92339 33 | 0.583 % |
620.57/620.61 c | 484762 | 3590 18156 58656 | 100818 92472 33 | 0.582 % |
620.67/620.70 c | 484908 | 3590 18156 58656 | 100818 92618 33 | 0.582 % |
620.97/620.94 c | 485070 | 3590 18156 58656 | 100818 92780 33 | 0.582 % |
621.17/621.21 c | 485249 | 3590 18156 58656 | 100818 92959 33 | 0.582 % |
621.57/621.53 c | 485442 | 3590 18156 58656 | 100818 93152 33 | 0.582 % |
621.87/621.87 c | 485658 | 3590 18156 58656 | 100818 93368 33 | 0.582 % |
622.27/622.23 c | 485891 | 3590 18156 58656 | 100818 93601 33 | 0.582 % |
622.57/622.57 c | 486148 | 3590 18156 58656 | 100818 93858 33 | 0.582 % |
623.07/623.01 c | 486430 | 3590 18156 58656 | 100818 94140 33 | 0.582 % |
623.47/623.48 c | 486740 | 3590 18156 58656 | 100818 94450 33 | 0.582 % |
623.97/623.96 c | 487079 | 3590 18156 58656 | 100818 94789 33 | 0.582 % |
624.47/624.47 c | 487452 | 3590 18156 58656 | 100818 95162 33 | 0.583 % |
625.07/625.09 c | 487861 | 3590 18156 58656 | 100818 95571 33 | 0.582 % |
625.77/625.78 c | 488311 | 3590 18156 58656 | 100818 96021 33 | 0.582 % |
626.67/626.70 c | 488804 | 3590 18156 58656 | 100818 96514 33 | 0.582 % |
627.57/627.58 c | 489347 | 3590 18156 58656 | 100818 97057 33 | 0.582 % |
628.47/628.47 c | 489943 | 3590 18156 58656 | 100818 97653 33 | 0.582 % |
630.07/630.10 c | 490599 | 3590 18156 58656 | 97714 85617 33 | 0.582 % |
630.77/630.75 c | 491320 | 3590 18156 58656 | 97714 86338 33 | 0.582 % |
631.67/631.66 c | 492112 | 3590 18156 58656 | 97714 87130 33 | 0.582 % |
632.87/632.83 c | 492983 | 3590 18156 58656 | 97714 88001 33 | 0.582 % |
634.07/634.08 c | 493941 | 3590 18156 58656 | 97714 88959 33 | 0.582 % |
635.77/635.79 c | 494995 | 3590 18156 58656 | 97714 90013 33 | 0.582 % |
637.57/637.55 c | 496157 | 3590 18156 58656 | 97714 91175 33 | 0.582 % |
639.47/639.47 c | 497432 | 3590 18156 58656 | 97714 92450 33 | 0.582 % |
641.67/641.71 c | 498833 | 3590 18156 58656 | 97714 93851 33 | 0.582 % |
644.17/644.13 c | 500374 | 3590 18156 58656 | 95018 95392 33 | 0.582 % |
647.17/647.17 c | 502069 | 3590 18156 58656 | 95018 82854 32 | 0.582 % |
649.17/649.21 c | 503932 | 3590 18156 58656 | 95018 84717 33 | 0.582 % |
652.07/652.09 c | 505983 | 3590 18156 58656 | 95018 86768 33 | 0.583 % |
655.07/655.05 c | 508237 | 3590 18156 58656 | 95018 89022 33 | 0.582 % |
658.47/658.44 c | 510715 | 3590 18156 58656 | 90788 81776 33 | 0.582 % |
661.46/661.50 c | 513440 | 3590 18156 58656 | 90788 84501 33 | 0.582 % |
664.76/664.79 c | 516437 | 3590 18156 58656 | 90788 87498 34 | 0.582 % |
668.87/668.85 c | 519736 | 3590 18156 58656 | 90788 90797 35 | 0.582 % |
673.66/673.64 c | 523361 | 3590 18156 58656 | 91063 83278 35 | 0.582 % |
677.47/677.44 c | 527348 | 3590 18156 58656 | 91063 87265 36 | 0.582 % |
683.17/683.15 c | 531734 | 3590 18156 58656 | 89919 79737 37 | 0.582 % |
689.27/689.30 c | 536557 | 3590 18156 58656 | 89919 84560 37 | 0.582 % |
689.47/689.41 c | 536658 | 3590 18156 58656 | 89919 84661 37 | 0.582 % |
689.57/689.51 c | 536768 | 3590 18156 58656 | 89919 84771 37 | 0.582 % |
689.67/689.66 c | 536890 | 3590 18156 58656 | 89919 84893 37 | 0.582 % |
689.87/689.87 c | 537023 | 3590 18156 58656 | 89919 85026 37 | 0.582 % |
690.17/690.15 c | 537170 | 3590 18156 58656 | 89919 85173 37 | 0.583 % |
690.47/690.41 c | 537330 | 3590 18156 58656 | 89919 85333 37 | 0.582 % |
690.67/690.70 c | 537508 | 3590 18156 58656 | 89919 85511 37 | 0.582 % |
690.97/690.92 c | 537702 | 3590 18156 58656 | 89919 85705 37 | 0.582 % |
691.27/691.23 c | 537914 | 3590 18156 58656 | 89919 85917 37 | 0.582 % |
691.57/691.55 c | 538147 | 3590 18156 58656 | 89919 86150 37 | 0.582 % |
691.87/691.88 c | 538406 | 3590 18156 58656 | 89919 86409 37 | 0.582 % |
692.27/692.25 c | 538687 | 3590 18156 58656 | 89919 86690 37 | 0.582 % |
692.67/692.61 c | 538996 | 3590 18156 58656 | 89919 86999 37 | 0.582 % |
693.17/693.13 c | 539336 | 3590 18156 58656 | 89919 87339 37 | 0.582 % |
693.67/693.66 c | 539710 | 3590 18156 58656 | 89919 87713 37 | 0.582 % |
694.27/694.25 c | 540120 | 3590 18156 58656 | 88005 88123 37 | 0.582 % |
694.87/694.90 c | 540570 | 3590 18156 58656 | 88005 77741 36 | 0.582 % |
695.77/695.74 c | 541063 | 3590 18156 58656 | 88005 78234 36 | 0.583 % |
696.27/696.28 c | 541605 | 3590 18156 58656 | 88005 78776 36 | 0.583 % |
696.97/696.97 c | 542201 | 3590 18156 58656 | 88005 79372 36 | 0.582 % |
697.87/697.89 c | 542858 | 3590 18156 58656 | 88005 80029 36 | 0.582 % |
698.77/698.72 c | 543578 | 3590 18156 58656 | 88005 80749 36 | 0.582 % |
699.47/699.46 c | 544370 | 3590 18156 58656 | 88005 81541 36 | 0.582 % |
700.57/700.52 c | 545241 | 3590 18156 58656 | 88005 82412 36 | 0.582 % |
701.67/701.67 c | 546199 | 3590 18156 58656 | 88005 83370 36 | 0.582 % |
702.97/702.93 c | 547253 | 3590 18156 58656 | 88005 84424 36 | 0.582 % |
704.47/704.46 c | 548413 | 3590 18156 58656 | 88005 85584 36 | 0.582 % |
706.27/706.22 c | 549688 | 3590 18156 58656 | 88005 86859 36 | 0.582 % |
708.07/708.10 c | 551088 | 3590 18156 58656 | 2147483647 88259 35 | 0.582 % |
709.57/709.52 c | 552630 | 3590 18156 58656 | 2147483647 89801 35 | 0.582 % |
712.47/712.42 c | 554324 | 3590 18156 58656 | 2147483647 91495 35 | 0.582 % |
715.27/715.23 c | 556187 | 3590 18156 58656 | 2147483647 93358 35 | 0.582 % |
718.17/718.11 c | 558237 | 3590 18156 58656 | 2147483647 95408 35 | 0.582 % |
721.47/721.50 c | 560491 | 3590 18156 58656 | 97171 97662 35 | 0.582 % |
725.67/725.61 c | 562970 | 3590 18156 58656 | 97171 88571 34 | 0.582 % |
729.07/729.06 c | 565695 | 3590 18156 58656 | 97171 91296 34 | 0.582 % |
732.97/732.95 c | 568692 | 3590 18156 58656 | 97171 94293 34 | 0.584 % |
738.27/738.20 c | 571988 | 3590 18156 58656 | 95602 73994 32 | 0.582 % |
742.77/742.73 c | 575613 | 3590 18156 58656 | 95602 77619 32 | 0.582 % |
748.08/748.09 c | 579601 | 3590 18156 58656 | 95602 81607 33 | 0.582 % |
753.27/753.22 c | 583987 | 3590 18156 58656 | 82006 73703 30 | 0.582 % |
757.47/757.47 c | 588812 | 3589 18151 58642 | 82006 78525 31 | 0.610 % |
761.77/761.79 c | 594117 | 3589 18151 58642 | 2147483647 83830 31 | 0.610 % |
761.87/761.90 c | 594217 | 3589 18151 58642 | 2147483647 83930 31 | 0.610 % |
762.07/762.06 c | 594327 | 3589 18151 58642 | 2147483647 84040 31 | 0.609 % |
762.27/762.21 c | 594448 | 3589 18151 58642 | 2147483647 84161 31 | 0.609 % |
762.38/762.36 c | 594581 | 3589 18151 58642 | 2147483647 84294 31 | 0.609 % |
762.57/762.55 c | 594728 | 3589 18151 58642 | 2147483647 84441 31 | 0.610 % |
762.77/762.76 c | 594888 | 3589 18151 58642 | 2147483647 84601 31 | 0.610 % |
762.97/762.96 c | 595064 | 3589 18151 58642 | 2147483647 84777 31 | 0.609 % |
763.27/763.20 c | 595259 | 3589 18151 58642 | 2147483647 84972 31 | 0.610 % |
763.48/763.44 c | 595471 | 3589 18151 58642 | 2147483647 85184 31 | 0.610 % |
763.77/763.76 c | 595704 | 3589 18151 58642 | 2147483647 85417 31 | 0.609 % |
764.07/764.10 c | 595962 | 3589 18151 58642 | 2147483647 85675 31 | 0.609 % |
764.47/764.45 c | 596245 | 3589 18151 58642 | 2147483647 85958 31 | 0.610 % |
764.87/764.86 c | 596554 | 3589 18151 58642 | 2147483647 86267 31 | 0.609 % |
765.27/765.25 c | 596893 | 3589 18151 58642 | 2147483647 86606 31 | 0.610 % |
765.77/765.72 c | 597265 | 3589 18151 58642 | 2147483647 86978 31 | 0.610 % |
766.37/766.30 c | 597674 | 3589 18151 58642 | 2147483647 87387 31 | 0.609 % |
766.87/766.81 c | 598123 | 3589 18151 58642 | 2147483647 87836 31 | 0.609 % |
767.47/767.48 c | 598616 | 3589 18151 58642 | 2147483647 88329 32 | 0.609 % |
768.17/768.15 c | 599158 | 3589 18151 58642 | 2147483647 88871 32 | 0.609 % |
768.98/768.97 c | 599754 | 3588 18142 58614 | 2147483647 89464 32 | 0.637 % |
769.87/769.89 c | 600409 | 3588 18142 58614 | 2147483647 90119 32 | 0.637 % |
770.87/770.83 c | 601129 | 3588 18142 58614 | 2147483647 90839 32 | 0.637 % |
771.97/771.95 c | 601921 | 3588 18142 58614 | 2147483647 91629 32 | 0.693 % |
773.17/773.12 c | 602793 | 3588 18142 58614 | 2147483647 92501 32 | 0.693 % |
773.97/773.99 c | 603751 | 3588 18142 58614 | 2147483647 93459 32 | 0.693 % |
775.38/775.40 c | 604805 | 3588 18142 58614 | 2147483647 94513 32 | 0.692 % |
776.98/776.94 c | 605963 | 3588 18142 58614 | 2147483647 95671 32 | 0.693 % |
778.78/778.76 c | 607236 | 3586 18129 58574 | 2147483647 96941 32 | 0.692 % |
780.78/780.75 c | 608636 | 3586 18129 58574 | 2147483647 98341 32 | 0.693 % |
782.98/782.93 c | 610176 | 3586 18129 58574 | 99706 99881 32 | 0.692 % |
785.68/785.67 c | 611870 | 3586 18129 58574 | 99706 90945 31 | 0.692 % |
788.18/788.13 c | 613737 | 3586 18129 58574 | 99706 92812 31 | 0.692 % |
790.48/790.47 c | 615786 | 3586 18129 58574 | 99706 94861 31 | 0.692 % |
793.38/793.35 c | 618042 | 3586 18129 58574 | 99706 97117 32 | 0.692 % |
796.58/796.53 c | 620520 | 3586 18129 58574 | 2147483647 99595 32 | 0.693 % |
799.48/799.43 c | 623247 | 3586 18129 58574 | 2147483647 102322 32 | 0.693 % |
803.78/803.72 c | 626244 | 3586 18129 58574 | 2147483647 105319 32 | 0.693 % |
808.08/808.07 c | 629542 | 3585 18124 58564 | 2147483647 108615 32 | 0.720 % |
812.58/812.53 c | 633169 | 3585 18124 58564 | 2147483647 112242 33 | 0.720 % |
818.68/818.70 c | 637156 | 3585 18124 58564 | 2147483647 116229 33 | 0.720 % |
825.38/825.40 c | 641541 | 3585 18124 58564 | 119073 98978 33 | 0.720 % |
831.18/831.11 c | 646366 | 3585 18124 58564 | 119073 103803 34 | 0.721 % |
839.48/839.46 c | 651672 | 3585 18124 58564 | 107440 90894 32 | 0.720 % |
847.18/847.16 c | 657511 | 3585 18124 58564 | 107440 96733 33 | 0.720 % |
847.38/847.36 c | 657611 | 3585 18124 58564 | 107440 96833 33 | 0.721 % |
847.58/847.53 c | 657722 | 3585 18124 58564 | 107440 96944 33 | 0.721 % |
847.68/847.68 c | 657843 | 3585 18124 58564 | 107440 97065 33 | 0.720 % |
847.88/847.89 c | 657976 | 3585 18124 58564 | 107440 97198 33 | 0.720 % |
848.08/848.10 c | 658122 | 3585 18124 58564 | 107440 97344 33 | 0.720 % |
848.38/848.34 c | 658283 | 3585 18124 58564 | 107440 97505 33 | 0.720 % |
848.58/848.60 c | 658460 | 3585 18124 58564 | 107440 97682 33 | 0.720 % |
848.98/848.97 c | 658653 | 3585 18124 58564 | 107440 97875 33 | 0.720 % |
849.38/849.32 c | 658865 | 3585 18124 58564 | 107440 98087 33 | 0.720 % |
849.78/849.71 c | 659098 | 3585 18124 58564 | 107440 98320 33 | 0.720 % |
850.08/850.08 c | 659356 | 3585 18124 58564 | 107440 98578 33 | 0.721 % |
850.48/850.44 c | 659637 | 3585 18124 58564 | 107440 98859 33 | 0.720 % |
850.78/850.79 c | 659948 | 3585 18124 58564 | 107440 99170 33 | 0.720 % |
851.28/851.23 c | 660288 | 3585 18124 58564 | 99222 99510 33 | 0.720 % |
851.98/851.97 c | 660662 | 3585 18124 58564 | 99222 85612 32 | 0.720 % |
852.38/852.38 c | 661076 | 3585 18124 58564 | 99222 86026 32 | 0.720 % |
853.08/853.02 c | 661525 | 3585 18124 58564 | 99222 86475 32 | 0.721 % |
853.69/853.63 c | 662020 | 3585 18124 58564 | 99222 86970 32 | 0.721 % |
854.38/854.33 c | 662563 | 3585 18124 58564 | 99222 87513 32 | 0.721 % |
854.88/854.84 c | 663160 | 3585 18124 58564 | 99222 88110 32 | 0.721 % |
855.68/855.63 c | 663815 | 3585 18124 58564 | 99222 88765 32 | 0.720 % |
856.58/856.53 c | 664535 | 3585 18124 58564 | 99222 89485 32 | 0.720 % |
857.78/857.72 c | 665328 | 3585 18124 58564 | 99222 90278 32 | 0.721 % |
858.98/858.96 c | 666201 | 3585 18124 58564 | 99222 91151 32 | 0.720 % |
860.08/860.04 c | 667159 | 3585 18124 58564 | 99222 92109 32 | 0.720 % |
861.39/861.34 c | 668213 | 3585 18124 58564 | 99222 93163 32 | 0.720 % |
862.88/862.83 c | 669371 | 3585 18124 58564 | 99222 94321 32 | 0.720 % |
864.38/864.36 c | 670646 | 3585 18124 58564 | 2147483647 95596 32 | 0.720 % |
866.18/866.12 c | 672046 | 3585 18124 58564 | 2147483647 96996 32 | 0.720 % |
868.38/868.39 c | 673586 | 3585 18124 58564 | 2147483647 98536 32 | 0.721 % |
870.19/870.20 c | 675280 | 3585 18124 58564 | 2147483647 100230 32 | 0.721 % |
872.69/872.66 c | 677145 | 3584 18115 58536 | 2147483647 102092 32 | 0.748 % |
875.29/875.21 c | 679196 | 3584 18115 58536 | 2147483647 104143 32 | 0.748 % |
878.49/878.51 c | 681449 | 3584 18115 58536 | 104947 93620 33 | 0.748 % |
881.89/881.88 c | 683927 | 3584 18115 58536 | 104947 96098 32 | 0.749 % |
885.49/885.44 c | 686653 | 3580 18093 58469 | 104947 98820 32 | 0.858 % |
889.99/890.01 c | 689650 | 3580 18093 58469 | 104947 101817 32 | 0.858 % |
894.99/894.93 c | 692946 | 3580 18093 58469 | 102169 88716 31 | 0.858 % |
899.99/899.96 c | 696575 | 3580 18093 58469 | 102169 92345 31 | 0.859 % |
903.89/903.87 c | 700562 | 3580 18093 58469 | 95771 96332 32 | 0.860 % |
909.59/909.54 c | 704947 | 3580 18093 58469 | 95771 87841 32 | 0.860 % |
914.99/914.95 c | 709770 | 3580 18093 58469 | 95771 92664 32 | 0.859 % |
921.89/921.85 c | 715081 | 3580 18093 58469 | 2147483647 97975 32 | 0.859 % |
929.29/929.22 c | 720917 | 3579 18078 58419 | 2147483647 103809 33 | 0.887 % |
937.80/937.74 c | 727335 | 3577 18063 58371 | 2147483647 110222 33 | 0.942 % |
937.90/937.88 c | 727435 | 3577 18063 58371 | 2147483647 110322 33 | 0.942 % |
938.10/938.07 c | 727545 | 3577 18063 58371 | 2147483647 110432 33 | 0.942 % |
938.30/938.22 c | 727667 | 3577 18063 58371 | 2147483647 110554 33 | 0.942 % |
938.41/938.40 c | 727800 | 3577 18063 58371 | 2147483647 110687 33 | 0.942 % |
938.70/938.65 c | 727949 | 3577 18063 58371 | 2147483647 110836 33 | 0.943 % |
939.00/938.95 c | 728110 | 3577 18063 58371 | 2147483647 110997 33 | 0.942 % |
939.40/939.36 c | 728286 | 3577 18063 58371 | 2147483647 111173 33 | 0.942 % |
939.80/939.72 c | 728480 | 3577 18063 58371 | 2147483647 111367 33 | 0.942 % |
940.10/940.04 c | 728692 | 3577 18063 58371 | 2147483647 111579 33 | 0.942 % |
940.50/940.49 c | 728929 | 3577 18063 58371 | 2147483647 111816 33 | 0.942 % |
941.00/940.93 c | 729185 | 3577 18063 58371 | 2147483647 112072 33 | 0.942 % |
941.50/941.48 c | 729468 | 3577 18063 58371 | 2147483647 112355 33 | 0.942 % |
942.10/942.07 c | 729778 | 3577 18063 58371 | 2147483647 112665 33 | 0.942 % |
942.60/942.55 c | 730117 | 3577 18063 58371 | 112888 113004 33 | 0.942 % |
943.50/943.48 c | 730489 | 3577 18063 58371 | 112888 95363 31 | 0.942 % |
944.00/944.00 c | 730898 | 3577 18063 58371 | 112888 95772 31 | 0.942 % |
944.60/944.60 c | 731347 | 3577 18063 58371 | 112888 96221 31 | 0.942 % |
945.30/945.25 c | 731841 | 3577 18063 58371 | 112888 96715 31 | 0.942 % |
946.00/945.94 c | 732383 | 3577 18063 58371 | 112888 97257 31 | 0.942 % |
946.70/946.69 c | 732979 | 3577 18063 58371 | 112888 97853 31 | 0.942 % |
947.60/947.61 c | 733635 | 3577 18063 58371 | 112888 98509 32 | 0.942 % |
948.60/948.54 c | 734355 | 3577 18063 58371 | 112888 99229 32 | 0.942 % |
949.80/949.74 c | 735147 | 3577 18063 58371 | 112888 100021 32 | 0.942 % |
951.10/951.03 c | 736019 | 3577 18063 58371 | 112888 100893 32 | 0.942 % |
952.20/952.19 c | 736978 | 3577 18063 58371 | 112888 101852 32 | 0.942 % |
953.40/953.40 c | 738032 | 3577 18063 58371 | 112888 102906 32 | 0.942 % |
955.20/955.18 c | 739190 | 3577 18063 58371 | 112888 104064 32 | 0.943 % |
957.20/957.15 c | 740463 | 3577 18063 58371 | 104875 105337 32 | 0.942 % |
959.90/959.85 c | 741863 | 3577 18063 58371 | 104875 88166 31 | 0.942 % |
961.80/961.79 c | 743403 | 3577 18063 58371 | 104875 89706 32 | 0.942 % |
964.20/964.18 c | 745097 | 3577 18063 58371 | 104875 91400 32 | 0.942 % |
966.40/966.36 c | 746961 | 3577 18063 58371 | 104875 93264 32 | 0.943 % |
969.30/969.22 c | 749011 | 3577 18063 58371 | 104875 95314 32 | 0.942 % |
972.51/972.51 c | 751264 | 3577 18063 58371 | 96303 85279 32 | 0.942 % |
975.81/975.77 c | 753742 | 3577 18063 58371 | 96303 87757 32 | 0.942 % |
979.11/979.08 c | 756467 | 3577 18063 58371 | 96303 90482 32 | 0.942 % |
983.21/983.16 c | 759464 | 3577 18063 58371 | 96303 93479 32 | 0.942 % |
987.81/987.77 c | 762761 | 3577 18063 58371 | 2147483647 96776 33 | 0.942 % |
993.41/993.33 c | 766388 | 3577 18063 58371 | 2147483647 100403 33 | 0.942 % |
998.51/998.50 c | 770375 | 3577 18063 58371 | 2147483647 104390 33 | 0.942 % |
1004.61/1004.52 c | 774760 | 3577 18063 58371 | 2147483647 108775 34 | 0.942 % |
1013.31/1013.28 c | 779587 | 3577 18063 58371 | 2147483647 113602 34 | 0.942 % |
1022.00/1022.00 c | 784893 | 3576 18053 58341 | 114013 96806 32 | 0.969 % |
1031.91/1031.85 c | 790731 | 3576 18053 58341 | 101914 86750 32 | 0.969 % |
1040.30/1040.24 c | 797150 | 3576 18053 58341 | 101914 93169 32 | 0.969 % |
1049.10/1049.10 c | 804212 | 3576 18053 58341 | 96020 87797 32 | 0.969 % |
1049.30/1049.24 c | 804313 | 3576 18053 58341 | 96020 87898 32 | 0.969 % |
1049.51/1049.42 c | 804423 | 3576 18053 58341 | 96020 88008 32 | 0.969 % |
1049.70/1049.63 c | 804545 | 3576 18053 58341 | 96020 88130 32 | 0.969 % |
1049.80/1049.80 c | 804679 | 3576 18053 58341 | 96020 88264 32 | 0.970 % |
1050.00/1049.99 c | 804825 | 3576 18053 58341 | 96020 88410 32 | 0.969 % |
1050.30/1050.21 c | 804986 | 3576 18053 58341 | 96020 88571 32 | 0.969 % |
1050.50/1050.47 c | 805162 | 3576 18053 58341 | 96020 88747 32 | 0.969 % |
1050.80/1050.75 c | 805356 | 3576 18053 58341 | 96020 88941 32 | 0.969 % |
1051.10/1051.06 c | 805569 | 3576 18053 58341 | 96020 89154 32 | 0.969 % |
1051.40/1051.37 c | 805804 | 3576 18053 58341 | 96020 89389 32 | 0.969 % |
1051.71/1051.62 c | 806063 | 3576 18053 58341 | 96020 89648 32 | 0.969 % |
1052.20/1052.13 c | 806346 | 3576 18053 58341 | 96020 89931 32 | 0.970 % |
1052.70/1052.67 c | 806659 | 3576 18053 58341 | 96020 90244 32 | 0.971 % |
1053.20/1053.11 c | 807001 | 3576 18053 58341 | 96020 90586 32 | 0.969 % |
1053.50/1053.45 c | 807373 | 3576 18053 58341 | 96020 90958 32 | 0.970 % |
1054.00/1053.99 c | 807788 | 3576 18053 58341 | 96020 91373 32 | 0.969 % |
1054.80/1054.77 c | 808237 | 3576 18053 58341 | 96020 91822 32 | 0.969 % |
1055.50/1055.50 c | 808731 | 3576 18053 58341 | 96020 92316 32 | 0.969 % |
1056.40/1056.36 c | 809277 | 3576 18053 58341 | 96020 92862 32 | 0.969 % |
1057.10/1057.08 c | 809873 | 3576 18053 58341 | 96020 93458 32 | 0.969 % |
1058.00/1057.94 c | 810528 | 3576 18053 58341 | 93588 94113 32 | 0.969 % |
1059.20/1059.14 c | 811248 | 3576 18053 58341 | 93588 81696 32 | 0.970 % |
1060.20/1060.19 c | 812040 | 3576 18053 58341 | 93588 82488 32 | 0.969 % |
1061.20/1061.11 c | 812912 | 3576 18053 58341 | 93588 83360 32 | 0.970 % |
1062.40/1062.36 c | 813870 | 3576 18053 58341 | 93588 84318 32 | 0.970 % |
1063.90/1063.83 c | 814923 | 3576 18053 58341 | 93588 85371 32 | 0.970 % |
1065.50/1065.45 c | 816081 | 3576 18053 58341 | 93588 86529 32 | 0.969 % |
1067.20/1067.13 c | 817356 | 3576 18053 58341 | 93588 87804 32 | 0.969 % |
1069.11/1069.08 c | 818756 | 3576 18053 58341 | 93588 89204 32 | 0.969 % |
1071.81/1071.78 c | 820297 | 3576 18053 58341 | 90449 90745 32 | 0.969 % |
1074.31/1074.22 c | 821991 | 3573 18041 58306 | 90449 83265 32 | 1.219 % |
1076.71/1076.66 c | 823854 | 3573 18041 58306 | 90449 85128 32 | 1.219 % |
1079.41/1079.38 c | 825903 | 3573 18041 58306 | 90449 87176 32 | 1.246 % |
1082.51/1082.42 c | 828156 | 3573 18041 58306 | 90449 89429 32 | 1.246 % |
1085.91/1085.85 c | 830635 | 3566 17905 57938 | 89645 90278 33 | 1.247 % |
1089.31/1089.27 c | 833360 | 3566 17905 57938 | 89645 78204 31 | 1.246 % |
1093.61/1093.56 c | 836359 | 3566 17905 57938 | 89645 81203 31 | 1.246 % |
1098.51/1098.50 c | 839656 | 3566 17905 57938 | 89645 84500 32 | 1.246 % |
1103.71/1103.66 c | 843282 | 3566 17905 57938 | 84845 79502 32 | 1.246 % |
1110.41/1110.34 c | 847269 | 3566 17905 57938 | 84845 83489 32 | 1.246 % |
1117.51/1117.46 c | 851654 | 3566 17905 57938 | 2147483647 79361 32 | 1.246 % |
1124.61/1124.59 c | 856478 | 3566 17905 57938 | 2147483647 84185 32 | 1.246 % |
1133.12/1133.05 c | 861785 | 3566 17905 57938 | 87707 76833 32 | 1.246 % |
1140.01/1139.92 c | 867623 | 3566 17905 57938 | 87707 82671 32 | 1.246 % |
1148.31/1148.30 c | 874041 | 3566 17905 57938 | 85049 77449 32 | 1.246 % |
1155.51/1155.43 c | 881101 | 3566 17905 57938 | 2147483647 84509 33 | 1.247 % |
1165.71/1165.67 c | 888865 | 3566 17905 57938 | 2147483647 92273 34 | 1.247 % |
1165.81/1165.80 c | 888966 | 3566 17905 57938 | 2147483647 92374 34 | 1.246 % |
1166.01/1165.94 c | 889078 | 3566 17905 57938 | 2147483647 92486 34 | 1.246 % |
1166.12/1166.05 c | 889199 | 3566 17905 57938 | 2147483647 92607 34 | 1.247 % |
1166.32/1166.27 c | 889335 | 3566 17905 57938 | 2147483647 92743 34 | 1.246 % |
1166.52/1166.43 c | 889482 | 3566 17905 57938 | 2147483647 92890 34 | 1.246 % |
1166.62/1166.60 c | 889645 | 3566 17905 57938 | 2147483647 93053 34 | 1.246 % |
1166.82/1166.74 c | 889821 | 3566 17905 57938 | 2147483647 93229 34 | 1.246 % |
1167.02/1166.98 c | 890014 | 3566 17905 57938 | 93408 93422 34 | 1.246 % |
1167.32/1167.23 c | 890226 | 3566 17905 57938 | 93408 93634 34 | 1.247 % |
1167.92/1167.86 c | 890460 | 3566 17905 57938 | 93408 81118 33 | 1.247 % |
1168.22/1168.15 c | 890716 | 3566 17905 57938 | 93408 81374 33 | 1.247 % |
1168.52/1168.51 c | 890997 | 3566 17905 57938 | 93408 81655 33 | 1.247 % |
1169.02/1168.93 c | 891307 | 3566 17905 57938 | 93408 81965 33 | 1.246 % |
1169.42/1169.37 c | 891647 | 3566 17905 57938 | 93408 82305 33 | 1.247 % |
1169.82/1169.77 c | 892019 | 3566 17905 57938 | 93408 82677 33 | 1.247 % |
1170.32/1170.25 c | 892433 | 3566 17905 57938 | 93408 83091 33 | 1.247 % |
1170.82/1170.79 c | 892884 | 3566 17905 57938 | 93408 83542 33 | 1.246 % |
1171.62/1171.57 c | 893378 | 3566 17905 57938 | 93408 84036 33 | 1.246 % |
1172.52/1172.42 c | 893920 | 3566 17905 57938 | 93408 84578 33 | 1.246 % |
1173.52/1173.46 c | 894516 | 3566 17905 57938 | 93408 85174 33 | 1.247 % |
1174.12/1174.10 c | 895173 | 3566 17905 57938 | 93408 85831 33 | 1.247 % |
1174.82/1174.81 c | 895894 | 3566 17905 57938 | 93408 86552 34 | 1.247 % |
1175.82/1175.74 c | 896687 | 3566 17905 57938 | 93408 87345 34 | 1.247 % |
1176.82/1176.76 c | 897558 | 3566 17905 57938 | 93408 88216 34 | 1.246 % |
1177.52/1177.45 c | 898520 | 3566 17905 57938 | 93408 89178 34 | 1.247 % |
1178.82/1178.75 c | 899573 | 3566 17905 57938 | 93408 90231 34 | 1.246 % |
1180.82/1180.73 c | 900731 | 3566 17905 57938 | 90658 82262 34 | 1.246 % |
1182.32/1182.26 c | 902005 | 3566 17905 57938 | 90658 83536 34 | 1.246 % |
1183.62/1183.60 c | 903405 | 3566 17905 57938 | 90658 84936 34 | 1.247 % |
1185.32/1185.26 c | 904945 | 3566 17905 57938 | 90658 86476 34 | 1.246 % |
1187.32/1187.25 c | 906639 | 3566 17905 57938 | 90658 88170 35 | 1.247 % |
1189.22/1189.18 c | 908502 | 3566 17905 57938 | 90658 90033 35 | 1.246 % |
1192.42/1192.41 c | 910551 | 3566 17905 57938 | 80980 81530 35 | 1.247 % |
1195.92/1195.85 c | 912806 | 3566 17905 57938 | 80980 74309 35 | 1.247 % |
1198.52/1198.50 c | 915284 | 3566 17905 57938 | 80980 76787 36 | 1.247 % |
1200.02/1199.92 HOME/SatELiteGTI: line 36: 23160 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-1820434-1242443880/watcher-1820434-1242443880 -o /tmp/evaluation-result-1820434-1242443880/solver-1820434-1242443880 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820434-1242443880.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: 0.92 0.98 0.99 2/93 23154
/proc/meminfo: memFree=1533892/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2412 CPUtime=0.01
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 366 645 0 0 0 0 0 1 25 0 1 0 1008885170 2469888 276 4294967295 134512640 135169312 3213210528 3213209064 3085577966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23154/statm: 603 276 235 161 0 42 0
[pid=23158] ppid=23154 vsize=956 CPUtime=0
/proc/23158/stat : 23158 (SatELite_releas) R 23154 23154 14060 0 -1 4202496 150 0 0 0 0 0 0 0 25 0 1 0 1008885171 978944 86 4294967295 134512640 135223648 3214796064 3214794944 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23158/statm: 272 87 45 174 0 97 0
[startup+0.082201 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23154
/proc/meminfo: memFree=1533892/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2412 CPUtime=0.01
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 366 645 0 0 0 0 0 1 25 0 1 0 1008885170 2469888 276 4294967295 134512640 135169312 3213210528 3213209064 3085577966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23154/statm: 603 276 235 161 0 42 0
[pid=23158] ppid=23154 vsize=5060 CPUtime=0.08
/proc/23158/stat : 23158 (SatELite_releas) R 23154 23154 14060 0 -1 4202496 1201 0 0 0 8 0 0 0 25 0 1 0 1008885171 5181440 1113 4294967295 134512640 135223648 3214796064 3214794080 134586730 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23158/statm: 1265 1113 73 174 0 1090 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7472
[startup+0.112206 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23154
/proc/meminfo: memFree=1533892/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2412 CPUtime=0.01
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 366 645 0 0 0 0 0 1 25 0 1 0 1008885170 2469888 276 4294967295 134512640 135169312 3213210528 3213209064 3085577966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/23154/statm: 603 276 235 161 0 42 0
[pid=23158] ppid=23154 vsize=5220 CPUtime=0.11
/proc/23158/stat : 23158 (SatELite_releas) R 23154 23154 14060 0 -1 4202496 1221 0 0 0 11 0 0 0 25 0 1 0 1008885171 5345280 1133 4294967295 134512640 135223648 3214796064 3214794140 134586618 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23158/statm: 1305 1133 73 174 0 1130 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7632
[startup+0.312187 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23154
/proc/meminfo: memFree=1533892/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2416
[startup+0.712153 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23154
/proc/meminfo: memFree=1533892/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2416
[startup+1.51208 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23160
/proc/meminfo: memFree=1530916/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=4112 CPUtime=1.24
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 790 0 0 0 124 0 0 0 25 0 1 0 1008885197 4210688 725 4294967295 134512640 135215339 3213386784 3213385072 134529059 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 1028 725 73 172 0 855 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 6528
[startup+3.11194 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23160
/proc/meminfo: memFree=1530544/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=5168 CPUtime=2.84
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 1056 0 0 0 284 0 0 0 25 0 1 0 1008885197 5292032 991 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 1292 991 73 172 0 1119 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 7584
[startup+6.31166 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23160
/proc/meminfo: memFree=1528500/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=6900 CPUtime=6.04
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 1474 0 0 0 602 2 0 0 25 0 1 0 1008885197 7065600 1409 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 1725 1409 73 172 0 1552 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9316
[startup+12.7111 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23160
/proc/meminfo: memFree=1525884/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=9180 CPUtime=12.44
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 2049 0 0 0 1240 4 0 0 25 0 1 0 1008885197 9400320 1984 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 2295 1984 73 172 0 2122 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 11596
[startup+25.51 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 23162
/proc/meminfo: memFree=1522600/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=12584 CPUtime=25.24
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 2882 0 0 0 2519 5 0 0 25 0 1 0 1008885197 12886016 2817 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 3146 2817 73 172 0 2973 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 15000
[startup+51.1078 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 23166
/proc/meminfo: memFree=1518168/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=16928 CPUtime=50.84
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 3968 0 0 0 5078 6 0 0 25 0 1 0 1008885197 17334272 3903 4294967295 134512640 135215339 3213386784 3213384784 134532610 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 4232 3903 73 172 0 4059 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 19344
[startup+102.313 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 23351
/proc/meminfo: memFree=1512720/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=22168 CPUtime=102.05
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5253 0 0 0 10198 7 0 0 25 0 1 0 1008885197 22700032 5188 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 5542 5188 73 172 0 5369 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 24584
[startup+162.318 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 23538
/proc/meminfo: memFree=1512224/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=22656 CPUtime=162.06
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5372 0 0 0 16198 8 0 0 25 0 1 0 1008885197 23199744 5307 4294967295 134512640 135215339 3213386784 3213385072 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 5664 5307 73 172 0 5491 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 25072
[startup+222.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 23727
/proc/meminfo: memFree=1511804/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=22996 CPUtime=222.07
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5431 0 0 0 22199 8 0 0 25 0 1 0 1008885197 23547904 5366 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 5749 5366 73 172 0 5576 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 25412
[startup+282.318 s]
/proc/loadavg: 1.09 1.01 1.00 2/95 23916
/proc/meminfo: memFree=1511308/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=23164 CPUtime=282.07
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5486 0 0 0 28188 19 0 0 25 0 1 0 1008885197 23719936 5421 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 5791 5421 73 172 0 5618 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 25580
[startup+342.313 s]
/proc/loadavg: 1.10 1.04 1.01 3/95 24108
/proc/meminfo: memFree=1510844/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=23680 CPUtime=342.07
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5590 0 0 0 34185 22 0 0 25 0 1 0 1008885197 24248320 5525 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/23160/statm: 5920 5525 73 172 0 5747 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 26096
[startup+402.317 s]
/proc/loadavg: 1.04 1.03 1.00 3/95 24296
/proc/meminfo: memFree=1510680/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
################
# More data... #
################
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5818 0 0 0 58188 22 0 0 25 0 1 0 1008885197 25235456 5753 4294967295 134512640 135215339 3213386784 3213385072 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6161 5753 73 172 0 5988 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 27060
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25047
/proc/meminfo: memFree=1510052/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=24808 CPUtime=642.1
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5854 0 0 0 64188 22 0 0 25 0 1 0 1008885197 25403392 5789 4294967295 134512640 135215339 3213386784 3213384784 134532646 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6202 5789 73 172 0 6029 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 27224
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25239
/proc/meminfo: memFree=1509828/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=24808 CPUtime=702.1
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5865 0 0 0 70188 22 0 0 25 0 1 0 1008885197 25403392 5800 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6202 5800 73 172 0 6029 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 27224
[startup+762.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25426
/proc/meminfo: memFree=1509564/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=24956 CPUtime=762.11
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 5874 0 0 0 76189 22 0 0 25 0 1 0 1008885197 25554944 5809 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6239 5809 73 172 0 6066 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 27372
[startup+822.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25615
/proc/meminfo: memFree=1507944/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=26396 CPUtime=822.11
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6233 0 0 0 82189 22 0 0 25 0 1 0 1008885197 27029504 6168 4294967295 134512640 135215339 3213386784 3213385072 134529083 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6599 6168 73 172 0 6426 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 28812
[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25804
/proc/meminfo: memFree=1507720/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=26828 CPUtime=882.12
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6334 0 0 0 88189 23 0 0 25 0 1 0 1008885197 27471872 6269 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6707 6269 73 172 0 6534 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 29244
[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25990
/proc/meminfo: memFree=1507696/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=26828 CPUtime=942.13
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6359 0 0 0 94190 23 0 0 25 0 1 0 1008885197 27471872 6294 4294967295 134512640 135215339 3213386784 3213384848 134538321 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6707 6294 73 172 0 6534 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 29244
[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26178
/proc/meminfo: memFree=1507572/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=26828 CPUtime=1002.14
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6363 0 0 0 100191 23 0 0 25 0 1 0 1008885197 27471872 6298 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6707 6298 73 172 0 6534 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 29244
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 26365
/proc/meminfo: memFree=1507448/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=27020 CPUtime=1062.13
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6399 0 0 0 106190 23 0 0 25 0 1 0 1008885197 27668480 6334 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6755 6334 73 172 0 6582 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 29436
[startup+1122.32 s]
/proc/loadavg: 1.13 1.03 1.01 3/95 26558
/proc/meminfo: memFree=1506844/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=27196 CPUtime=1122.14
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6456 0 0 0 112191 23 0 0 25 0 1 0 1008885197 27848704 6391 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6799 6391 73 172 0 6626 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 29612
[startup+1182.32 s]
/proc/loadavg: 1.05 1.02 1.00 2/95 26747
/proc/meminfo: memFree=1506852/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=27352 CPUtime=1182.15
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6484 0 0 0 118192 23 0 0 25 0 1 0 1008885197 28008448 6419 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6838 6419 73 172 0 6665 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 29768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.03 1.02 1.00 2/95 26747
/proc/meminfo: memFree=1506852/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=27352 CPUtime=1199.75
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6488 0 0 0 119952 23 0 0 25 0 1 0 1008885197 28008448 6423 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6838 6423 73 172 0 6665 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 29768
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.03 1.02 1.00 2/95 26747
/proc/meminfo: memFree=1506852/2074464 swapFree=1949056/1959888
[pid=23154] ppid=23152 vsize=2416 CPUtime=0.27
/proc/23154/stat : 23154 (SatELiteGTI) S 23152 23154 14060 0 -1 4194304 385 2070 0 0 0 0 26 1 23 0 1 0 1008885170 2473984 277 4294967295 134512640 135169312 3213210528 3213206744 3085577966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23154/statm: 604 277 235 161 0 43 0
[pid=23160] ppid=23154 vsize=27352 CPUtime=1199.75
/proc/23160/stat : 23160 (minisat_static) R 23154 23154 14060 0 -1 4202496 6488 0 0 0 119952 23 0 0 25 0 1 0 1008885197 28008448 6423 4294967295 134512640 135215339 3213386784 3213385072 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/23160/statm: 6838 6423 73 172 0 6665 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 29768
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23154 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=780000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=240000
# 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.93
CPU time (s): 1200.02
CPU user time (s): 1199.78
CPU system time (s): 0.24
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 29768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.78
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9221
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= 3109
runsolver used 0.06 second user time and 0 second system time
The end
Begin job on tipi27 at 2009-05-16 05:18:00
IDJOB=1820434
IDBENCH=20404
IDSOLVER=657
FILE ID=tipi27/1820434-1242443880
PBS_JOBID=
Free space on /tmp= 9987 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-27.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820434-1242443880/watcher-1820434-1242443880 -o /tmp/evaluation-result-1820434-1242443880/solver-1820434-1242443880 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820434-1242443880.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a948576641dd03cc33abaca38a6e7e4c
RANDOM SEED= 299719374
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: 1534388 kB
Buffers: 26660 kB
Cached: 427336 kB
SwapCached: 5508 kB
Active: 326564 kB
Inactive: 137232 kB
HighTotal: 1178688 kB
HighFree: 772548 kB
LowTotal: 895776 kB
LowFree: 761840 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 2060 kB
Writeback: 0 kB
AnonPages: 9196 kB
Mapped: 3228 kB
Slab: 67704 kB
PageTables: 460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90632 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 05:38:00