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.00/0.23 c | 0 | 19862 62399 | -- 0 -- -- | -- | -8325/-12062
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 3611 #clauses: 19862 #literals: 62399
0.00/0.23 c CPU time: 0.222966 s
0.00/0.23 c ==============================================================================
0.00/0.25 c This is MiniSat 2.0 beta
0.00/0.25 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.25 c ============================[ Problem Statistics ]=============================
0.00/0.25 c | |
0.00/0.26 c | Number of variables: 3611 |
0.00/0.26 c | Number of clauses: 19862 |
0.00/0.27 c | Parsing time: 0.01 s |
0.00/0.27 c ============================[ Search Statistics ]==============================
0.00/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.27 c ===============================================================================
0.00/0.27 c | 0 | 3611 19862 62399 | 6620 0 nan | 0.000 % |
0.00/0.28 c | 101 | 3611 19862 62399 | 6620 101 20 | 0.001 % |
0.00/0.29 c | 203 | 3611 19862 62399 | 6620 203 19 | 0.000 % |
0.24/0.30 c | 304 | 3611 19862 62399 | 6620 304 16 | 0.000 % |
0.24/0.31 c | 414 | 3611 19862 62399 | 6620 414 15 | 0.000 % |
0.24/0.32 c | 515 | 3611 19862 62399 | 6620 515 20 | 0.000 % |
0.24/0.33 c | 625 | 3610 18426 59423 | 6620 621 19 | 0.029 % |
0.24/0.34 c | 746 | 3610 18426 59423 | 6620 742 21 | 0.028 % |
0.24/0.35 c | 846 | 3610 18426 59423 | 6620 842 21 | 0.028 % |
0.24/0.36 c | 957 | 3610 18426 59423 | 6620 953 21 | 0.028 % |
0.24/0.38 c | 1078 | 3610 18426 59423 | 6620 1074 22 | 0.028 % |
0.24/0.39 c | 1211 | 3610 18426 59423 | 6620 1207 22 | 0.028 % |
0.24/0.40 c | 1312 | 3610 18426 59423 | 6620 1308 22 | 0.028 % |
0.24/0.41 c | 1422 | 3610 18426 59423 | 6620 1418 21 | 0.028 % |
0.24/0.42 c | 1544 | 3610 18426 59423 | 6620 1540 21 | 0.028 % |
0.24/0.43 c | 1677 | 3610 18426 59423 | 6620 1673 23 | 0.028 % |
0.24/0.46 c | 1823 | 3610 18426 59423 | 6620 1819 24 | 0.028 % |
0.24/0.48 c | 1924 | 3610 18426 59423 | 6620 1920 25 | 0.028 % |
0.24/0.49 c | 2035 | 3610 18426 59423 | 6620 2031 26 | 0.028 % |
0.24/0.50 c | 2158 | 3610 18426 59423 | 6620 2154 26 | 0.028 % |
0.24/0.53 c | 2292 | 3610 18426 59423 | 6620 2288 26 | 0.028 % |
0.24/0.54 c | 2439 | 3610 18426 59423 | 6620 2435 26 | 0.028 % |
0.24/0.56 c | 2599 | 3610 18426 59423 | 6620 2595 26 | 0.028 % |
0.24/0.58 c | 2699 | 3610 18426 59423 | 6620 2695 26 | 0.029 % |
0.24/0.59 c | 2810 | 3610 18426 59423 | 6620 2806 26 | 0.028 % |
0.24/0.60 c | 2933 | 3610 18426 59423 | 6620 2929 26 | 0.028 % |
0.24/0.62 c | 3066 | 3610 18426 59423 | 6620 3062 25 | 0.028 % |
0.24/0.64 c | 3212 | 3610 18426 59423 | 6620 3208 26 | 0.028 % |
0.24/0.65 c | 3372 | 3610 18426 59423 | 6620 3368 26 | 0.028 % |
0.24/0.67 c | 3548 | 3610 18426 59423 | 6620 3544 26 | 0.028 % |
0.24/0.68 c | 3648 | 3610 18426 59423 | 6620 3644 26 | 0.028 % |
0.24/0.70 c | 3758 | 3610 18426 59423 | 6620 3754 26 | 0.029 % |
0.24/0.72 c | 3882 | 3610 18426 59423 | 6620 3878 26 | 0.030 % |
0.24/0.74 c | 4015 | 3610 18426 59423 | 6620 4011 26 | 0.028 % |
0.24/0.75 c | 4162 | 3610 18426 59423 | 6620 4158 26 | 0.028 % |
0.24/0.78 c | 4322 | 3610 18426 59423 | 6620 4318 26 | 0.028 % |
0.24/0.81 c | 4498 | 3610 18426 59423 | 6620 4494 26 | 0.028 % |
0.24/0.84 c | 4691 | 3610 18426 59423 | 6620 4687 26 | 0.028 % |
0.24/0.85 c | 4792 | 3610 18426 59423 | 6620 4788 27 | 0.028 % |
0.24/0.87 c | 4903 | 3610 18426 59423 | 6620 4899 26 | 0.028 % |
0.24/0.88 c | 5027 | 3610 18426 59423 | 6620 5023 26 | 0.028 % |
0.24/0.90 c | 5160 | 3610 18426 59423 | 6620 5156 27 | 0.028 % |
0.24/0.93 c | 5306 | 3610 18426 59423 | 6620 5302 27 | 0.028 % |
0.24/0.96 c | 5466 | 3610 18426 59423 | 6620 5462 27 | 0.028 % |
0.24/0.98 c | 5642 | 3610 18426 59423 | 6620 5638 27 | 0.028 % |
0.97/1.01 c | 5836 | 3610 18426 59423 | 6620 5832 27 | 0.029 % |
0.97/1.04 c | 6049 | 3610 18426 59423 | 6620 6045 27 | 0.028 % |
0.97/1.05 c | 6150 | 3610 18426 59423 | 6620 6146 27 | 0.029 % |
0.97/1.07 c | 6262 | 3610 18426 59423 | 6620 6258 27 | 0.028 % |
0.97/1.09 c | 6385 | 3610 18426 59423 | 6620 6381 27 | 0.028 % |
1.07/1.12 c | 6518 | 3610 18426 59423 | 6620 6514 27 | 0.028 % |
1.07/1.15 c | 6665 | 3610 18426 59423 | 6620 6661 28 | 0.029 % |
1.07/1.18 c | 6825 | 3610 18426 59423 | 6620 6155 27 | 0.029 % |
1.17/1.20 c | 7001 | 3610 18426 59423 | 6620 6331 28 | 0.028 % |
1.17/1.23 c | 7194 | 3610 18426 59423 | 6620 6524 27 | 0.029 % |
1.17/1.27 c | 7407 | 3610 18426 59423 | 6620 6737 28 | 0.028 % |
1.27/1.32 c | 7640 | 3610 18426 59423 | 6620 6297 27 | 0.028 % |
1.27/1.34 c | 7740 | 3610 18426 59423 | 6620 6397 27 | 0.028 % |
1.27/1.36 c | 7850 | 3610 18426 59423 | 6620 6507 27 | 0.028 % |
1.27/1.38 c | 7972 | 3610 18426 59423 | 6620 6629 28 | 0.028 % |
1.37/1.41 c | 8108 | 3610 18426 59423 | 6620 6103 27 | 0.028 % |
1.37/1.43 c | 8255 | 3610 18426 59423 | 6620 6250 27 | 0.028 % |
1.37/1.47 c | 8416 | 3610 18426 59423 | 6620 6411 28 | 0.028 % |
1.47/1.50 c | 8593 | 3610 18426 59423 | 6620 6588 28 | 0.028 % |
1.47/1.54 c | 8787 | 3610 18426 59423 | 6620 6782 28 | 0.029 % |
1.47/1.58 c | 8999 | 3610 18426 59423 | 6620 6316 29 | 0.028 % |
1.57/1.63 c | 9234 | 3610 18426 59423 | 6620 6551 29 | 0.028 % |
1.57/1.68 c | 9490 | 3610 18426 59423 | 6620 6807 29 | 0.028 % |
1.57/1.70 c | 9591 | 3610 18426 59423 | 6620 6228 29 | 0.028 % |
1.67/1.71 c | 9701 | 3610 18426 59423 | 6620 6338 29 | 0.028 % |
1.67/1.73 c | 9824 | 3610 18426 59423 | 6620 6461 29 | 0.028 % |
1.67/1.76 c | 9957 | 3610 18426 59423 | 6620 6594 30 | 0.028 % |
1.67/1.79 c | 10103 | 3610 18426 59423 | 2147483647 6740 30 | 0.028 % |
1.76/1.81 c | 10263 | 3610 18426 59423 | 2147483647 6900 30 | 0.028 % |
1.76/1.83 c | 10439 | 3610 18426 59423 | 2147483647 7076 29 | 0.028 % |
1.76/1.86 c | 10632 | 3610 18426 59423 | 2147483647 7269 29 | 0.028 % |
1.86/1.90 c | 10844 | 3610 18426 59423 | 2147483647 7481 29 | 0.028 % |
1.86/1.93 c | 11079 | 3610 18426 59423 | 2147483647 7716 29 | 0.028 % |
1.86/1.97 c | 11335 | 3610 18426 59423 | 2147483647 7972 29 | 0.029 % |
1.96/2.02 c | 11616 | 3610 18426 59423 | 2147483647 8253 30 | 0.028 % |
1.96/2.05 c | 11717 | 3610 18426 59423 | 2147483647 8354 30 | 0.028 % |
1.96/2.08 c | 11827 | 3610 18426 59423 | 2147483647 8464 30 | 0.028 % |
2.07/2.11 c | 11950 | 3610 18426 59423 | 2147483647 8587 30 | 0.028 % |
2.07/2.14 c | 12083 | 3610 18426 59423 | 2147483647 8720 30 | 0.028 % |
2.07/2.17 c | 12229 | 3610 18426 59423 | 2147483647 8866 30 | 0.028 % |
2.07/2.20 c | 12391 | 3610 18426 59423 | 2147483647 9028 30 | 0.028 % |
2.17/2.23 c | 12567 | 3610 18426 59423 | 2147483647 9204 30 | 0.028 % |
2.17/2.27 c | 12760 | 3610 18426 59423 | 2147483647 9397 30 | 0.029 % |
2.26/2.31 c | 12972 | 3610 18426 59423 | 2147483647 9609 30 | 0.028 % |
2.26/2.37 c | 13206 | 3610 18426 59423 | 2147483647 9843 31 | 0.028 % |
2.36/2.43 c | 13464 | 3610 18426 59423 | 2147483647 10101 31 | 0.028 % |
2.46/2.51 c | 13745 | 3610 18426 59423 | 2147483647 10382 31 | 0.028 % |
2.46/2.58 c | 14055 | 3610 18426 59423 | 2147483647 10692 31 | 0.028 % |
2.56/2.60 c | 14155 | 3610 18426 59423 | 2147483647 10792 31 | 0.029 % |
2.56/2.62 c | 14267 | 3610 18426 59423 | 2147483647 10904 31 | 0.028 % |
2.56/2.66 c | 14389 | 3610 18426 59423 | 2147483647 11026 31 | 0.028 % |
2.56/2.68 c | 14522 | 3610 18426 59423 | 2147483647 11159 31 | 0.028 % |
2.66/2.71 c | 14668 | 3610 18426 59423 | 2147483647 11305 31 | 0.028 % |
2.66/2.74 c | 14831 | 3610 18426 59423 | 2147483647 11468 32 | 0.028 % |
2.66/2.77 c | 15008 | 3610 18426 59423 | 2147483647 11645 32 | 0.028 % |
2.76/2.81 c | 15201 | 3610 18426 59423 | 2147483647 11838 32 | 0.028 % |
2.76/2.86 c | 15414 | 3610 18426 59423 | 2147483647 12051 32 | 0.028 % |
2.86/2.92 c | 15647 | 3610 18426 59423 | 2147483647 12284 32 | 0.029 % |
2.86/2.99 c | 15904 | 3610 18426 59423 | 2147483647 12541 32 | 0.029 % |
2.96/3.07 c | 16185 | 3610 18426 59423 | 2147483647 12822 32 | 0.028 % |
3.06/3.14 c | 16494 | 3610 18426 59423 | 2147483647 13131 31 | 0.029 % |
3.16/3.24 c | 16833 | 3610 18426 59423 | 2147483647 13470 31 | 0.029 % |
3.16/3.26 c | 16933 | 3610 18426 59423 | 2147483647 13570 31 | 0.028 % |
3.16/3.29 c | 17043 | 3610 18426 59423 | 2147483647 13680 31 | 0.028 % |
3.26/3.31 c | 17164 | 3610 18426 59423 | 2147483647 13801 31 | 0.028 % |
3.26/3.34 c | 17297 | 3610 18426 59423 | 2147483647 13934 31 | 0.028 % |
3.26/3.37 c | 17443 | 3610 18426 59423 | 2147483647 14080 31 | 0.028 % |
3.36/3.41 c | 17603 | 3610 18426 59423 | 2147483647 14240 31 | 0.028 % |
3.36/3.46 c | 17779 | 3610 18426 59423 | 2147483647 14416 31 | 0.028 % |
3.46/3.51 c | 17974 | 3610 18426 59423 | 2147483647 14611 32 | 0.028 % |
3.46/3.59 c | 18187 | 3610 18426 59423 | 2147483647 14824 31 | 0.028 % |
3.56/3.65 c | 18420 | 3610 18426 59423 | 2147483647 15057 31 | 0.028 % |
3.66/3.72 c | 18676 | 3610 18426 59423 | 2147483647 15313 31 | 0.028 % |
3.66/3.79 c | 18957 | 3610 18426 59423 | 2147483647 15594 31 | 0.028 % |
3.76/3.86 c | 19266 | 3610 18426 59423 | 2147483647 15903 31 | 0.028 % |
3.86/3.95 c | 19606 | 3610 18426 59423 | 2147483647 16243 31 | 0.029 % |
3.96/4.05 c | 19980 | 3610 18426 59423 | 2147483647 16617 31 | 0.029 % |
3.96/4.09 c | 20080 | 3610 18426 59423 | 2147483647 16717 31 | 0.029 % |
4.05/4.12 c | 20190 | 3610 18426 59423 | 2147483647 16827 31 | 0.029 % |
4.05/4.15 c | 20313 | 3610 18426 59423 | 2147483647 16950 31 | 0.028 % |
4.05/4.19 c | 20447 | 3610 18426 59423 | 2147483647 17084 31 | 0.028 % |
4.15/4.22 c | 20594 | 3610 18426 59423 | 2147483647 17231 31 | 0.028 % |
4.15/4.27 c | 20756 | 3610 18426 59423 | 2147483647 17393 31 | 0.029 % |
4.26/4.32 c | 20932 | 3610 18426 59423 | 2147483647 17569 31 | 0.029 % |
4.26/4.37 c | 21126 | 3610 18426 59423 | 2147483647 17763 31 | 0.030 % |
4.36/4.43 c | 21338 | 3610 18426 59423 | 2147483647 17975 31 | 0.030 % |
4.36/4.49 c | 21573 | 3610 18426 59423 | 2147483647 18210 31 | 0.030 % |
4.45/4.54 c | 21830 | 3610 18426 59423 | 2147483647 18467 31 | 0.028 % |
4.55/4.60 c | 22112 | 3610 18426 59423 | 2147483647 18749 31 | 0.028 % |
4.55/4.66 c | 22423 | 3610 18426 59423 | 2147483647 19060 32 | 0.028 % |
4.65/4.75 c | 22762 | 3610 18426 59423 | 2147483647 19399 32 | 0.028 % |
4.75/4.84 c | 23134 | 3610 18426 59423 | 2147483647 19771 33 | 0.028 % |
4.96/5.02 c | 23546 | 3610 18426 59423 | 2147483647 20183 33 | 0.028 % |
4.96/5.05 c | 23647 | 3610 18426 59423 | 2147483647 20284 33 | 0.029 % |
4.96/5.09 c | 23757 | 3610 18426 59423 | 2147483647 20394 33 | 0.028 % |
5.06/5.13 c | 23878 | 3610 18426 59423 | 2147483647 20515 33 | 0.028 % |
5.06/5.18 c | 24011 | 3610 18426 59423 | 2147483647 20648 33 | 0.028 % |
5.16/5.23 c | 24158 | 3610 18426 59423 | 2147483647 20795 33 | 0.029 % |
5.16/5.29 c | 24322 | 3610 18426 59423 | 2147483647 20959 33 | 0.028 % |
5.26/5.34 c | 24498 | 3610 18426 59423 | 2147483647 21135 33 | 0.029 % |
5.36/5.41 c | 24691 | 3610 18426 59423 | 2147483647 21328 33 | 0.028 % |
5.36/5.47 c | 24904 | 3610 18426 59423 | 2147483647 21541 33 | 0.028 % |
5.46/5.54 c | 25138 | 3610 18426 59423 | 2147483647 21775 33 | 0.028 % |
5.56/5.63 c | 25394 | 3610 18426 59423 | 2147483647 22031 33 | 0.028 % |
5.66/5.71 c | 25677 | 3610 18426 59423 | 2147483647 22314 33 | 0.030 % |
5.76/5.81 c | 25986 | 3610 18426 59423 | 2147483647 22623 33 | 0.028 % |
5.86/5.92 c | 26327 | 3610 18426 59423 | 2147483647 22964 33 | 0.028 % |
5.96/6.05 c | 26699 | 3610 18426 59423 | 2147483647 23336 33 | 0.028 % |
6.06/6.19 c | 27109 | 3610 18426 59423 | 2147483647 23746 33 | 0.028 % |
6.26/6.37 c | 27560 | 3610 18426 59423 | 2147483647 24197 33 | 0.028 % |
6.26/6.40 c | 27660 | 3610 18426 59423 | 2147483647 24297 33 | 0.029 % |
6.36/6.43 c | 27770 | 3610 18426 59423 | 2147483647 24407 33 | 0.028 % |
6.36/6.47 c | 27891 | 3610 18426 59423 | 2147483647 24528 33 | 0.028 % |
6.46/6.51 c | 28024 | 3610 18426 59423 | 2147483647 24661 33 | 0.028 % |
6.46/6.57 c | 28173 | 3610 18426 59423 | 2147483647 24810 33 | 0.029 % |
6.56/6.64 c | 28333 | 3610 18426 59423 | 2147483647 24970 33 | 0.028 % |
6.66/6.70 c | 28509 | 3610 18426 59423 | 2147483647 25146 33 | 0.028 % |
6.66/6.78 c | 28703 | 3610 18426 59423 | 2147483647 25340 33 | 0.028 % |
6.75/6.85 c | 28916 | 3610 18426 59423 | 2147483647 25553 33 | 0.029 % |
6.85/6.91 c | 29151 | 3610 18426 59423 | 2147483647 25788 33 | 0.029 % |
6.95/7.01 c | 29409 | 3610 18426 59423 | 2147483647 26046 33 | 0.028 % |
7.05/7.12 c | 29690 | 3610 18426 59423 | 2147483647 26327 33 | 0.028 % |
7.15/7.26 c | 30000 | 3610 18426 59423 | 2147483647 26637 33 | 0.029 % |
7.25/7.38 c | 30339 | 3610 18426 59423 | 2147483647 26976 33 | 0.029 % |
7.45/7.54 c | 30711 | 3610 18426 59423 | 2147483647 27348 33 | 0.028 % |
7.65/7.73 c | 31120 | 3610 18426 59423 | 2147483647 27757 33 | 0.028 % |
7.85/7.93 c | 31569 | 3610 18426 59423 | 2147483647 28206 33 | 0.029 % |
8.05/8.14 c | 32062 | 3610 18426 59423 | 2147483647 28699 33 | 0.028 % |
8.05/8.17 c | 32162 | 3610 18426 59423 | 2147483647 28799 33 | 0.028 % |
8.15/8.22 c | 32273 | 3610 18426 59423 | 2147483647 28910 33 | 0.028 % |
8.15/8.27 c | 32395 | 3610 18426 59423 | 2147483647 29032 33 | 0.028 % |
8.25/8.33 c | 32529 | 3610 18426 59423 | 2147483647 29166 33 | 0.029 % |
8.25/8.38 c | 32675 | 3610 18426 59423 | 2147483647 29312 33 | 0.028 % |
8.35/8.42 c | 32835 | 3610 18426 59423 | 2147483647 29472 33 | 0.028 % |
8.35/8.48 c | 33013 | 3610 18426 59423 | 2147483647 29650 33 | 0.028 % |
8.45/8.55 c | 33206 | 3610 18426 59423 | 2147483647 29843 33 | 0.029 % |
8.55/8.63 c | 33418 | 3610 18426 59423 | 2147483647 30055 33 | 0.028 % |
8.65/8.74 c | 33653 | 3610 18426 59423 | 2147483647 30290 33 | 0.028 % |
8.75/8.86 c | 33910 | 3610 18426 59423 | 2147483647 30547 33 | 0.028 % |
8.85/8.99 c | 34191 | 3610 18426 59423 | 2147483647 30828 33 | 0.028 % |
9.04/9.14 c | 34500 | 3610 18426 59423 | 2147483647 31137 33 | 0.028 % |
9.14/9.28 c | 34840 | 3610 18426 59423 | 2147483647 31477 33 | 0.029 % |
9.34/9.46 c | 35212 | 3610 18426 59423 | 2147483647 31849 33 | 0.029 % |
9.55/9.67 c | 35624 | 3610 18426 59423 | 2147483647 32261 33 | 0.028 % |
9.76/9.85 c | 36077 | 3610 18426 59423 | 2147483647 32714 33 | 0.028 % |
9.95/10.08 c | 36570 | 3610 18426 59423 | 2147483647 33207 33 | 0.028 % |
10.15/10.21 c | 37112 | 3610 18426 59423 | 2147483647 33749 33 | 0.028 % |
10.15/10.25 c | 37212 | 3610 18426 59423 | 2147483647 33849 33 | 0.028 % |
10.15/10.29 c | 37323 | 3610 18426 59423 | 2147483647 33960 33 | 0.028 % |
10.25/10.34 c | 37444 | 3610 18426 59423 | 2147483647 34081 33 | 0.028 % |
10.25/10.39 c | 37577 | 3610 18426 59423 | 2147483647 34214 33 | 0.028 % |
10.35/10.44 c | 37724 | 3610 18426 59423 | 2147483647 34361 33 | 0.029 % |
10.45/10.52 c | 37885 | 3610 18426 59423 | 2147483647 34522 33 | 0.030 % |
10.55/10.60 c | 38062 | 3610 18426 59423 | 2147483647 34699 33 | 0.028 % |
10.55/10.67 c | 38255 | 3610 18426 59423 | 2147483647 34892 33 | 0.029 % |
10.65/10.76 c | 38468 | 3610 18426 59423 | 2147483647 35105 33 | 0.029 % |
10.75/10.84 c | 38701 | 3610 18426 59423 | 2147483647 35338 33 | 0.028 % |
10.85/10.98 c | 38959 | 3610 18426 59423 | 2147483647 35596 33 | 0.028 % |
11.05/11.10 c | 39241 | 3610 18426 59423 | 2147483647 35878 33 | 0.028 % |
11.15/11.28 c | 39550 | 3610 18426 59423 | 2147483647 36187 33 | 0.028 % |
11.35/11.43 c | 39893 | 3610 18426 59423 | 2147483647 36530 33 | 0.028 % |
11.55/11.60 c | 40267 | 3610 18426 59423 | 2147483647 36904 33 | 0.028 % |
11.75/11.88 c | 40676 | 3610 18426 59423 | 2147483647 37313 34 | 0.028 % |
12.05/12.11 c | 41125 | 3610 18426 59423 | 2147483647 37762 34 | 0.028 % |
12.35/12.43 c | 41620 | 3610 18426 59423 | 2147483647 38257 34 | 0.028 % |
12.65/12.78 c | 42163 | 3610 18426 59423 | 2147483647 38800 34 | 0.028 % |
13.05/13.18 c | 42761 | 3610 18426 59423 | 2147483647 39398 34 | 0.028 % |
13.15/13.24 c | 42863 | 3610 18426 59423 | 2147483647 39500 34 | 0.028 % |
13.24/13.32 c | 42974 | 3610 18426 59423 | 2147483647 39611 34 | 0.028 % |
13.24/13.36 c | 43095 | 3610 18426 59423 | 2147483647 39732 34 | 0.028 % |
13.34/13.40 c | 43229 | 3610 18426 59423 | 2147483647 39866 34 | 0.028 % |
13.34/13.47 c | 43375 | 3610 18426 59423 | 2147483647 40012 34 | 0.028 % |
13.44/13.55 c | 43536 | 3610 18426 59423 | 2147483647 40173 34 | 0.028 % |
13.54/13.66 c | 43714 | 3610 18426 59423 | 2147483647 40351 34 | 0.029 % |
13.64/13.74 c | 43907 | 3610 18426 59423 | 2147483647 40544 34 | 0.028 % |
13.74/13.81 c | 44119 | 3610 18426 59423 | 2147483647 40756 34 | 0.028 % |
13.84/13.92 c | 44352 | 3610 18426 59423 | 2147483647 40989 34 | 0.028 % |
13.94/14.04 c | 44608 | 3610 18426 59423 | 2147483647 41245 34 | 0.028 % |
14.04/14.19 c | 44890 | 3610 18426 59423 | 2147483647 41527 34 | 0.028 % |
14.25/14.38 c | 45199 | 3610 18426 59423 | 2147483647 41836 34 | 0.028 % |
14.44/14.55 c | 45538 | 3610 18426 59423 | 2147483647 42175 34 | 0.028 % |
14.64/14.77 c | 45910 | 3610 18426 59423 | 2147483647 42547 34 | 0.029 % |
14.94/15.03 c | 46319 | 3610 18426 59423 | 2147483647 42956 34 | 0.028 % |
15.14/15.25 c | 46768 | 3610 18426 59423 | 2147483647 43405 34 | 0.028 % |
15.44/15.55 c | 47262 | 3610 18426 59423 | 2147483647 43899 34 | 0.028 % |
15.84/15.91 c | 47805 | 3610 18426 59423 | 2147483647 44442 34 | 0.028 % |
16.24/16.34 c | 48401 | 3610 18426 59423 | 2147483647 45038 34 | 0.028 % |
16.74/16.80 c | 49057 | 3610 18426 59423 | 2147483647 45694 34 | 0.028 % |
16.74/16.87 c | 49157 | 3610 18426 59423 | 2147483647 45794 34 | 0.028 % |
16.84/16.94 c | 49268 | 3610 18426 59423 | 2147483647 45905 34 | 0.028 % |
16.94/17.01 c | 49389 | 3610 18426 59423 | 2147483647 46026 34 | 0.028 % |
17.04/17.10 c | 49522 | 3610 18426 59423 | 2147483647 46159 34 | 0.028 % |
17.14/17.23 c | 49668 | 3610 18426 59423 | 2147483647 46305 34 | 0.028 % |
17.24/17.32 c | 49828 | 3610 18426 59423 | 2147483647 46465 34 | 0.028 % |
17.34/17.44 c | 50004 | 3610 18426 59423 | 2147483647 46641 34 | 0.028 % |
17.44/17.57 c | 50198 | 3609 18416 59393 | 2147483647 46834 34 | 0.056 % |
17.64/17.70 c | 50410 | 3609 18416 59393 | 2147483647 47046 34 | 0.055 % |
17.74/17.82 c | 50644 | 3609 18416 59393 | 2147483647 47280 34 | 0.055 % |
17.84/17.95 c | 50903 | 3609 18416 59393 | 2147483647 47539 34 | 0.055 % |
18.04/18.12 c | 51185 | 3609 18416 59393 | 2147483647 47821 34 | 0.055 % |
18.24/18.33 c | 51494 | 3609 18416 59393 | 2147483647 48130 34 | 0.055 % |
18.44/18.58 c | 51834 | 3609 18416 59393 | 2147483647 48470 35 | 0.055 % |
18.64/18.77 c | 52207 | 3609 18416 59393 | 2147483647 48843 35 | 0.055 % |
18.94/19.05 c | 52619 | 3609 18416 59393 | 2147483647 49255 35 | 0.055 % |
19.14/19.28 c | 53069 | 3609 18416 59393 | 2147483647 49705 35 | 0.055 % |
19.44/19.58 c | 53563 | 3609 18416 59393 | 2147483647 50199 35 | 0.056 % |
19.84/19.93 c | 54105 | 3609 18416 59393 | 2147483647 50741 35 | 0.056 % |
20.24/20.33 c | 54701 | 3609 18416 59393 | 2147483647 51337 35 | 0.055 % |
20.74/20.84 c | 55357 | 3609 18416 59393 | 2147483647 51993 35 | 0.055 % |
21.14/21.28 c | 56079 | 3609 18416 59393 | 2147483647 52715 35 | 0.055 % |
21.24/21.35 c | 56179 | 3609 18416 59393 | 2147483647 52815 35 | 0.056 % |
21.34/21.41 c | 56290 | 3609 18416 59393 | 2147483647 52926 35 | 0.055 % |
21.34/21.49 c | 56414 | 3609 18416 59393 | 2147483647 53050 35 | 0.055 % |
21.44/21.59 c | 56549 | 3609 18416 59393 | 2147483647 53185 35 | 0.055 % |
21.64/21.70 c | 56697 | 3609 18416 59393 | 2147483647 53333 35 | 0.056 % |
21.74/21.80 c | 56857 | 3609 18416 59393 | 2147483647 53493 35 | 0.055 % |
21.84/21.94 c | 57033 | 3609 18416 59393 | 2147483647 53669 35 | 0.055 % |
21.94/22.07 c | 57227 | 3609 18416 59393 | 2147483647 53863 35 | 0.056 % |
22.14/22.24 c | 57439 | 3609 18416 59393 | 2147483647 54075 35 | 0.056 % |
22.24/22.37 c | 57673 | 3609 18416 59393 | 2147483647 54309 35 | 0.055 % |
22.44/22.59 c | 57929 | 3609 18416 59393 | 2147483647 54565 35 | 0.055 % |
22.74/22.83 c | 58211 | 3609 18416 59393 | 2147483647 54847 36 | 0.055 % |
22.94/23.06 c | 58521 | 3609 18416 59393 | 2147483647 55157 36 | 0.055 % |
23.24/23.30 c | 58861 | 3609 18416 59393 | 2147483647 55497 36 | 0.055 % |
23.44/23.55 c | 59233 | 3609 18416 59393 | 2147483647 55869 36 | 0.056 % |
23.73/23.84 c | 59642 | 3609 18416 59393 | 2147483647 56278 36 | 0.057 % |
24.04/24.18 c | 60091 | 3609 18416 59393 | 2147483647 56727 36 | 0.055 % |
24.33/24.46 c | 60584 | 3609 18416 59393 | 2147483647 57220 36 | 0.056 % |
24.73/24.80 c | 61130 | 3609 18416 59393 | 2147483647 57766 36 | 0.056 % |
25.13/25.26 c | 61726 | 3609 18416 59393 | 2147483647 58362 35 | 0.056 % |
25.63/25.74 c | 62385 | 3609 18416 59393 | 2147483647 59021 35 | 0.056 % |
26.13/26.29 c | 63105 | 3609 18416 59393 | 2147483647 59741 35 | 0.056 % |
26.93/27.00 c | 63900 | 3609 18416 59393 | 2147483647 60536 35 | 0.055 % |
26.93/27.08 c | 64001 | 3609 18416 59393 | 2147483647 60637 35 | 0.055 % |
27.03/27.18 c | 64111 | 3609 18416 59393 | 2147483647 60747 35 | 0.056 % |
27.13/27.26 c | 64233 | 3609 18416 59393 | 2147483647 60869 35 | 0.056 % |
27.23/27.36 c | 64366 | 3609 18416 59393 | 2147483647 61002 35 | 0.055 % |
27.33/27.46 c | 64512 | 3609 18416 59393 | 2147483647 61148 35 | 0.055 % |
27.53/27.60 c | 64672 | 3609 18416 59393 | 2147483647 61308 35 | 0.056 % |
27.63/27.76 c | 64848 | 3609 18416 59393 | 2147483647 61484 35 | 0.056 % |
27.83/27.95 c | 65043 | 3609 18416 59393 | 2147483647 61679 35 | 0.056 % |
28.03/28.10 c | 65257 | 3609 18416 59393 | 2147483647 61893 35 | 0.056 % |
28.13/28.27 c | 65491 | 3609 18416 59393 | 2147483647 62127 35 | 0.055 % |
28.23/28.39 c | 65747 | 3609 18416 59393 | 2147483647 62383 35 | 0.055 % |
28.43/28.56 c | 66029 | 3609 18416 59393 | 2147483647 62665 35 | 0.055 % |
28.63/28.75 c | 66339 | 3609 18416 59393 | 2147483647 62975 35 | 0.056 % |
28.83/28.94 c | 66679 | 3609 18416 59393 | 2147483647 63315 35 | 0.056 % |
29.03/29.10 c | 67051 | 3609 18416 59393 | 2147483647 63687 35 | 0.055 % |
29.33/29.42 c | 67462 | 3609 18416 59393 | 2147483647 64098 35 | 0.055 % |
29.64/29.79 c | 67911 | 3609 18416 59393 | 2147483647 64547 35 | 0.056 % |
30.03/30.14 c | 68405 | 3609 18416 59393 | 2147483647 65041 35 | 0.056 % |
30.53/30.60 c | 68947 | 3609 18416 59393 | 2147483647 65583 35 | 0.055 % |
30.93/31.07 c | 69544 | 3609 18416 59393 | 2147483647 66180 35 | 0.056 % |
31.33/31.48 c | 70199 | 3609 18416 59393 | 2147483647 66835 35 | 0.056 % |
32.03/32.14 c | 70920 | 3609 18416 59393 | 2147483647 67556 35 | 0.055 % |
32.53/32.67 c | 71712 | 3609 18416 59393 | 2147483647 68348 35 | 0.055 % |
33.23/33.33 c | 72583 | 3609 18416 59393 | 2147483647 69219 35 | 0.055 % |
33.33/33.44 c | 72684 | 3609 18416 59393 | 2147483647 69320 35 | 0.056 % |
33.43/33.56 c | 72795 | 3609 18416 59393 | 2147483647 69431 35 | 0.056 % |
33.53/33.68 c | 72916 | 3609 18416 59393 | 2147483647 69552 35 | 0.055 % |
33.72/33.82 c | 73049 | 3609 18416 59393 | 2147483647 69685 35 | 0.055 % |
33.82/33.96 c | 73195 | 3609 18416 59393 | 2147483647 69831 35 | 0.056 % |
33.92/34.07 c | 73355 | 3609 18416 59393 | 2147483647 69991 35 | 0.055 % |
34.02/34.18 c | 73531 | 3609 18416 59393 | 2147483647 70167 35 | 0.055 % |
34.22/34.38 c | 73724 | 3609 18416 59393 | 2147483647 70360 35 | 0.056 % |
34.42/34.56 c | 73938 | 3609 18416 59393 | 2147483647 70574 35 | 0.056 % |
34.62/34.76 c | 74171 | 3609 18416 59393 | 2147483647 70807 35 | 0.055 % |
34.82/34.98 c | 74429 | 3609 18416 59393 | 2147483647 71065 35 | 0.056 % |
35.12/35.29 c | 74710 | 3608 18400 59341 | 2147483647 71343 35 | 0.083 % |
35.42/35.60 c | 75019 | 3608 18400 59341 | 2147483647 71652 35 | 0.083 % |
35.72/35.88 c | 75358 | 3608 18400 59341 | 2147483647 71991 35 | 0.083 % |
36.12/36.22 c | 75733 | 3608 18400 59341 | 2147483647 72366 35 | 0.083 % |
36.52/36.62 c | 76145 | 3608 18400 59341 | 2147483647 72778 35 | 0.083 % |
36.92/37.05 c | 76594 | 3608 18400 59341 | 2147483647 73227 35 | 0.083 % |
37.42/37.50 c | 77090 | 3608 18400 59341 | 2147483647 73723 35 | 0.084 % |
37.82/37.97 c | 77634 | 3608 18400 59341 | 2147483647 74267 35 | 0.084 % |
38.42/38.53 c | 78232 | 3608 18400 59341 | 2147483647 74865 35 | 0.083 % |
39.11/39.23 c | 78887 | 3608 18400 59341 | 2147483647 75520 35 | 0.083 % |
39.81/39.90 c | 79608 | 3608 18400 59341 | 2147483647 76241 35 | 0.083 % |
40.62/40.71 c | 80400 | 3608 18400 59341 | 2147483647 77033 35 | 0.084 % |
41.51/41.65 c | 81271 | 3608 18400 59341 | 2147483647 77904 35 | 0.083 % |
42.51/42.62 c | 82231 | 3608 18400 59341 | 2147483647 78864 35 | 0.083 % |
42.61/42.72 c | 82334 | 3608 18400 59341 | 2147483647 78967 35 | 0.083 % |
42.72/42.84 c | 82444 | 3608 18400 59341 | 2147483647 79077 35 | 0.083 % |
42.91/43.00 c | 82566 | 3608 18400 59341 | 2147483647 79199 35 | 0.083 % |
43.01/43.14 c | 82700 | 3608 18400 59341 | 2147483647 79333 35 | 0.084 % |
43.11/43.29 c | 82846 | 3608 18400 59341 | 2147483647 79479 35 | 0.083 % |
43.31/43.44 c | 83008 | 3608 18400 59341 | 2147483647 79641 35 | 0.083 % |
43.51/43.61 c | 83184 | 3608 18400 59341 | 2147483647 79817 35 | 0.084 % |
43.61/43.77 c | 83377 | 3608 18400 59341 | 2147483647 80010 35 | 0.084 % |
43.81/43.98 c | 83589 | 3608 18400 59341 | 2147483647 80222 35 | 0.083 % |
44.11/44.27 c | 83822 | 3608 18400 59341 | 2147483647 80455 35 | 0.084 % |
44.31/44.47 c | 84079 | 3608 18400 59341 | 2147483647 80712 35 | 0.083 % |
44.61/44.77 c | 84360 | 3608 18400 59341 | 2147483647 80993 35 | 0.084 % |
44.91/45.03 c | 84670 | 3608 18400 59341 | 2147483647 81303 35 | 0.083 % |
45.41/45.51 c | 85010 | 3608 18400 59341 | 2147483647 81643 35 | 0.084 % |
45.72/45.87 c | 85382 | 3608 18400 59341 | 2147483647 82015 35 | 0.084 % |
46.12/46.29 c | 85791 | 3608 18400 59341 | 2147483647 82424 35 | 0.084 % |
46.62/46.79 c | 86241 | 3608 18400 59341 | 2147483647 82874 35 | 0.083 % |
47.22/47.36 c | 86734 | 3608 18400 59341 | 2147483647 83367 35 | 0.083 % |
47.82/47.91 c | 87277 | 3608 18400 59341 | 2147483647 83910 35 | 0.083 % |
48.42/48.55 c | 87874 | 3608 18400 59341 | 2147483647 84507 35 | 0.083 % |
49.22/49.31 c | 88530 | 3608 18400 59341 | 2147483647 85163 35 | 0.083 % |
49.92/50.03 c | 89251 | 3608 18400 59341 | 2147483647 85884 35 | 0.083 % |
50.81/50.94 c | 90043 | 3608 18400 59341 | 2147483647 86676 35 | 0.084 % |
51.71/51.88 c | 90914 | 3608 18400 59341 | 2147483647 87547 34 | 0.084 % |
52.72/52.89 c | 91874 | 3608 18400 59341 | 2147483647 88507 35 | 0.084 % |
53.91/54.04 c | 92928 | 3608 18400 59341 | 2147483647 89561 34 | 0.083 % |
54.01/54.13 c | 93030 | 3608 18400 59341 | 2147483647 89663 34 | 0.083 % |
54.21/54.32 c | 93140 | 3608 18400 59341 | 2147483647 89773 34 | 0.084 % |
54.31/54.42 c | 93263 | 3608 18400 59341 | 2147483647 89896 34 | 0.083 % |
54.41/54.59 c | 93396 | 3608 18400 59341 | 2147483647 90029 34 | 0.083 % |
54.61/54.72 c | 93542 | 3608 18400 59341 | 2147483647 90175 34 | 0.083 % |
54.71/54.88 c | 93703 | 3608 18400 59341 | 2147483647 90336 34 | 0.083 % |
54.91/55.07 c | 93879 | 3608 18400 59341 | 2147483647 90512 34 | 0.083 % |
55.11/55.23 c | 94073 | 3608 18400 59341 | 2147483647 90706 34 | 0.083 % |
55.41/55.54 c | 94285 | 3608 18400 59341 | 2147483647 90918 35 | 0.084 % |
55.61/55.77 c | 94519 | 3608 18400 59341 | 2147483647 91152 34 | 0.083 % |
55.91/56.04 c | 94776 | 3608 18400 59341 | 2147483647 91409 35 | 0.083 % |
56.21/56.34 c | 95059 | 3608 18400 59341 | 2147483647 91692 35 | 0.083 % |
56.61/56.77 c | 95368 | 3608 18400 59341 | 2147483647 92001 35 | 0.084 % |
57.01/57.12 c | 95709 | 3608 18400 59341 | 2147483647 92342 35 | 0.083 % |
57.51/57.62 c | 96082 | 3608 18400 59341 | 2147483647 92715 34 | 0.083 % |
58.00/58.12 c | 96491 | 3608 18400 59341 | 2147483647 93124 34 | 0.083 % |
58.40/58.56 c | 96943 | 3608 18400 59341 | 2147483647 93576 34 | 0.084 % |
58.90/59.07 c | 97437 | 3608 18400 59341 | 2147483647 94070 34 | 0.084 % |
59.50/59.69 c | 97979 | 3608 18400 59341 | 2147483647 94612 34 | 0.084 % |
60.10/60.21 c | 98576 | 3608 18400 59341 | 2147483647 95209 34 | 0.084 % |
60.80/60.98 c | 99232 | 3608 18400 59341 | 2147483647 95865 34 | 0.084 % |
61.60/61.76 c | 99952 | 3608 18400 59341 | 2147483647 96585 34 | 0.083 % |
62.60/62.71 c | 100745 | 3608 18400 59341 | 2147483647 97378 34 | 0.084 % |
63.50/63.66 c | 101618 | 3608 18400 59341 | 2147483647 98251 34 | 0.083 % |
64.40/64.59 c | 102576 | 3608 18400 59341 | 2147483647 99209 34 | 0.084 % |
65.80/65.92 c | 103631 | 3608 18400 59341 | 2147483647 100264 34 | 0.083 % |
67.10/67.27 c | 104790 | 3608 18400 59341 | 2147483647 101423 34 | 0.084 % |
67.30/67.41 c | 104891 | 3608 18400 59341 | 2147483647 101524 34 | 0.083 % |
67.40/67.55 c | 105001 | 3608 18400 59341 | 2147483647 101634 34 | 0.083 % |
67.60/67.79 c | 105123 | 3608 18400 59341 | 2147483647 101756 34 | 0.083 % |
67.80/67.99 c | 105258 | 3608 18400 59341 | 2147483647 101891 34 | 0.084 % |
68.00/68.17 c | 105404 | 3608 18400 59341 | 2147483647 102037 34 | 0.083 % |
68.20/68.36 c | 105566 | 3608 18400 59341 | 2147483647 102199 34 | 0.083 % |
68.40/68.58 c | 105742 | 3608 18400 59341 | 2147483647 102375 34 | 0.084 % |
68.59/68.79 c | 105938 | 3608 18400 59341 | 2147483647 102571 34 | 0.085 % |
68.89/69.03 c | 106150 | 3608 18400 59341 | 2147483647 102783 34 | 0.083 % |
69.20/69.32 c | 106383 | 3608 18400 59341 | 2147483647 103016 34 | 0.083 % |
69.49/69.61 c | 106639 | 3608 18400 59341 | 2147483647 103272 34 | 0.083 % |
69.79/69.93 c | 106920 | 3608 18400 59341 | 2147483647 103553 34 | 0.083 % |
70.20/70.35 c | 107229 | 3608 18400 59341 | 2147483647 103862 34 | 0.083 % |
70.69/70.81 c | 107568 | 3607 18395 59331 | 2147483647 104197 34 | 0.111 % |
71.19/71.32 c | 107940 | 3607 18395 59331 | 2147483647 104569 34 | 0.111 % |
71.69/71.85 c | 108349 | 3607 18395 59331 | 2147483647 104978 34 | 0.111 % |
72.19/72.31 c | 108801 | 3607 18395 59331 | 2147483647 105430 34 | 0.111 % |
72.70/72.87 c | 109294 | 3607 18395 59331 | 2147483647 105922 34 | 0.138 % |
73.30/73.48 c | 109837 | 3607 18395 59331 | 2147483647 106465 34 | 0.138 % |
74.50/74.62 c | 110434 | 3607 18395 59331 | 106629 96378 33 | 0.138 % |
75.50/75.67 c | 111089 | 3607 18395 59331 | 106629 97033 34 | 0.138 % |
76.60/76.70 c | 111809 | 3607 18395 59331 | 106629 97753 34 | 0.139 % |
77.60/77.71 c | 112601 | 3607 18395 59331 | 106629 98545 34 | 0.138 % |
78.60/78.76 c | 113474 | 3607 18395 59331 | 106629 99418 33 | 0.139 % |
79.79/79.92 c | 114432 | 3607 18395 59331 | 106629 100376 33 | 0.138 % |
81.09/81.27 c | 115488 | 3607 18395 59331 | 106629 101432 33 | 0.138 % |
82.59/82.78 c | 116646 | 3606 18385 59301 | 106629 102589 34 | 0.139 % |
84.19/84.33 c | 117920 | 3606 18385 59301 | 106629 103863 34 | 0.138 % |
84.39/84.51 c | 118020 | 3606 18385 59301 | 106629 103963 34 | 0.138 % |
84.50/84.68 c | 118130 | 3606 18385 59301 | 106629 104073 34 | 0.139 % |
84.69/84.86 c | 118257 | 3606 18385 59301 | 106629 104200 34 | 0.139 % |
84.89/85.02 c | 118390 | 3606 18385 59301 | 106629 104333 34 | 0.138 % |
85.09/85.25 c | 118537 | 3606 18385 59301 | 106629 104480 34 | 0.138 % |
85.39/85.50 c | 118699 | 3606 18385 59301 | 106629 104642 34 | 0.139 % |
85.60/85.73 c | 118875 | 3606 18385 59301 | 106629 104818 34 | 0.138 % |
85.89/86.01 c | 119068 | 3606 18385 59301 | 106629 105011 34 | 0.138 % |
86.19/86.30 c | 119281 | 3606 18385 59301 | 106629 105224 34 | 0.139 % |
86.49/86.62 c | 119518 | 3606 18385 59301 | 106629 105461 34 | 0.138 % |
86.79/86.98 c | 119774 | 3606 18385 59301 | 106629 105717 34 | 0.139 % |
87.19/87.36 c | 120056 | 3606 18385 59301 | 105943 105999 34 | 0.139 % |
87.99/88.14 c | 120367 | 3606 18385 59301 | 105943 90862 32 | 0.139 % |
88.39/88.58 c | 120706 | 3606 18385 59301 | 105943 91201 32 | 0.138 % |
88.89/89.05 c | 121078 | 3606 18385 59301 | 105943 91573 32 | 0.139 % |
89.49/89.62 c | 121487 | 3606 18385 59301 | 105943 91982 32 | 0.139 % |
90.09/90.22 c | 121937 | 3606 18385 59301 | 105943 92432 32 | 0.139 % |
90.59/90.76 c | 122430 | 3606 18385 59301 | 105943 92925 32 | 0.138 % |
91.09/91.29 c | 122973 | 3606 18385 59301 | 105943 93468 32 | 0.139 % |
91.89/92.07 c | 123570 | 3606 18385 59301 | 105943 94065 32 | 0.138 % |
92.79/92.90 c | 124225 | 3606 18385 59301 | 105943 94720 32 | 0.139 % |
93.59/93.77 c | 124945 | 3606 18385 59301 | 105943 95440 32 | 0.138 % |
94.69/94.83 c | 125737 | 3606 18385 59301 | 105943 96232 32 | 0.139 % |
95.79/95.93 c | 126608 | 3606 18385 59301 | 105943 97103 32 | 0.138 % |
96.69/96.81 c | 127567 | 3606 18385 59301 | 105943 98062 32 | 0.138 % |
97.69/97.82 c | 128621 | 3606 18385 59301 | 105943 99116 32 | 0.139 % |
98.79/98.95 c | 129780 | 3606 18385 59301 | 105943 100275 32 | 0.139 % |
100.39/100.55 c | 131054 | 3606 18385 59301 | 100496 91466 31 | 0.138 % |
101.28/101.41 c | 132454 | 3606 18385 59301 | 100496 92866 31 | 0.139 % |
101.38/101.52 c | 132554 | 3606 18385 59301 | 100496 92966 31 | 0.139 % |
101.48/101.68 c | 132664 | 3606 18385 59301 | 100496 93076 31 | 0.139 % |
101.68/101.85 c | 132785 | 3606 18385 59301 | 100496 93197 31 | 0.138 % |
101.88/102.05 c | 132918 | 3606 18385 59301 | 100496 93330 31 | 0.138 % |
102.09/102.20 c | 133064 | 3606 18385 59301 | 100496 93476 31 | 0.138 % |
102.19/102.32 c | 133225 | 3606 18385 59301 | 100496 93637 31 | 0.139 % |
102.28/102.50 c | 133405 | 3606 18385 59301 | 100496 93817 31 | 0.139 % |
102.58/102.71 c | 133599 | 3606 18385 59301 | 100496 94011 31 | 0.138 % |
102.78/102.93 c | 133812 | 3606 18385 59301 | 100496 94224 31 | 0.139 % |
102.98/103.16 c | 134046 | 3606 18385 59301 | 100496 94458 31 | 0.138 % |
103.19/103.33 c | 134302 | 3606 18385 59301 | 100496 94714 31 | 0.139 % |
103.29/103.50 c | 134584 | 3606 18385 59301 | 100496 94996 31 | 0.139 % |
103.58/103.76 c | 134893 | 3606 18385 59301 | 100496 95305 31 | 0.139 % |
103.88/104.02 c | 135234 | 3606 18385 59301 | 100496 95646 31 | 0.139 % |
104.29/104.46 c | 135607 | 3606 18385 59301 | 100496 96019 31 | 0.139 % |
104.78/104.93 c | 136016 | 3606 18385 59301 | 100496 96428 31 | 0.138 % |
105.18/105.36 c | 136467 | 3606 18385 59301 | 100496 96879 31 | 0.139 % |
105.58/105.79 c | 136963 | 3606 18385 59301 | 100496 97375 31 | 0.138 % |
106.08/106.29 c | 137507 | 3606 18385 59301 | 100496 97919 31 | 0.138 % |
107.08/107.24 c | 138106 | 3606 18385 59301 | 100496 98518 31 | 0.139 % |
107.98/108.17 c | 138762 | 3606 18385 59301 | 100496 99174 31 | 0.138 % |
108.98/109.11 c | 139483 | 3606 18385 59301 | 100496 99895 31 | 0.138 % |
109.88/110.07 c | 140275 | 3606 18385 59301 | 2147483647 100687 31 | 0.138 % |
111.08/111.24 c | 141146 | 3606 18385 59301 | 2147483647 101558 31 | 0.139 % |
112.28/112.42 c | 142105 | 3606 18385 59301 | 2147483647 102517 31 | 0.138 % |
113.48/113.67 c | 143158 | 3606 18385 59301 | 2147483647 103570 31 | 0.138 % |
115.08/115.20 c | 144316 | 3606 18385 59301 | 2147483647 104728 31 | 0.138 % |
116.78/116.95 c | 145590 | 3606 18385 59301 | 2147483647 106002 31 | 0.138 % |
118.88/119.07 c | 146991 | 3605 18369 59249 | 2147483647 107401 31 | 0.167 % |
120.88/121.08 c | 148532 | 3605 18369 59249 | 2147483647 108942 31 | 0.167 % |
121.08/121.22 c | 148632 | 3605 18369 59249 | 2147483647 109042 31 | 0.167 % |
121.28/121.41 c | 148746 | 3605 18369 59249 | 2147483647 109156 31 | 0.166 % |
121.38/121.57 c | 148868 | 3605 18369 59249 | 2147483647 109278 31 | 0.166 % |
121.58/121.73 c | 149003 | 3605 18369 59249 | 2147483647 109413 31 | 0.166 % |
121.78/121.91 c | 149150 | 3605 18369 59249 | 2147483647 109560 31 | 0.166 % |
121.88/122.08 c | 149311 | 3605 18369 59249 | 2147483647 109721 31 | 0.167 % |
122.08/122.27 c | 149488 | 3605 18369 59249 | 2147483647 109898 31 | 0.167 % |
122.37/122.53 c | 149682 | 3605 18369 59249 | 2147483647 110092 31 | 0.166 % |
122.67/122.81 c | 149897 | 3605 18369 59249 | 2147483647 110307 31 | 0.166 % |
122.98/123.10 c | 150130 | 3605 18369 59249 | 110415 110540 31 | 0.166 % |
123.57/123.77 c | 150386 | 3605 18369 59249 | 110415 97735 30 | 0.166 % |
123.97/124.11 c | 150669 | 3605 18369 59249 | 110415 98018 30 | 0.166 % |
124.27/124.49 c | 150980 | 3605 18369 59249 | 110415 98329 30 | 0.166 % |
124.77/124.90 c | 151319 | 3605 18369 59249 | 110415 98668 30 | 0.166 % |
125.18/125.40 c | 151694 | 3605 18369 59249 | 110415 99043 30 | 0.166 % |
125.77/125.93 c | 152104 | 3605 18369 59249 | 110415 99453 30 | 0.166 % |
126.38/126.56 c | 152553 | 3605 18369 59249 | 110415 99902 30 | 0.166 % |
127.17/127.36 c | 153048 | 3605 18369 59249 | 110415 100397 30 | 0.167 % |
127.97/128.13 c | 153591 | 3605 18369 59249 | 110415 100940 30 | 0.167 % |
128.48/128.68 c | 154188 | 3605 18369 59249 | 110415 101537 30 | 0.167 % |
129.17/129.33 c | 154846 | 3605 18369 59249 | 110415 102195 30 | 0.167 % |
129.87/130.01 c | 155569 | 3605 18369 59249 | 110415 102918 30 | 0.166 % |
130.77/130.95 c | 156362 | 3605 18369 59249 | 110415 103711 30 | 0.167 % |
131.87/132.02 c | 157234 | 3604 18360 59221 | 110415 104579 31 | 0.194 % |
133.07/133.23 c | 158195 | 3604 18360 59221 | 110415 105540 31 | 0.194 % |
134.47/134.67 c | 159248 | 3604 18360 59221 | 110415 106593 31 | 0.194 % |
135.77/135.97 c | 160406 | 3604 18360 59221 | 107346 107751 31 | 0.194 % |
137.87/138.04 c | 161679 | 3604 18360 59221 | 107346 94691 31 | 0.194 % |
139.47/139.61 c | 163081 | 3604 18360 59221 | 107346 96093 31 | 0.194 % |
141.07/141.29 c | 164622 | 3604 18360 59221 | 107346 97634 31 | 0.194 % |
143.27/143.43 c | 166319 | 3604 18360 59221 | 107346 99331 31 | 0.195 % |
143.37/143.59 c | 166419 | 3604 18360 59221 | 107346 99431 31 | 0.195 % |
143.47/143.70 c | 166530 | 3604 18360 59221 | 107346 99542 31 | 0.194 % |
143.67/143.82 c | 166651 | 3604 18360 59221 | 107346 99663 31 | 0.195 % |
143.77/143.96 c | 166786 | 3604 18360 59221 | 107346 99798 31 | 0.195 % |
143.97/144.18 c | 166934 | 3604 18360 59221 | 107346 99946 31 | 0.194 % |
144.16/144.35 c | 167096 | 3604 18360 59221 | 107346 100108 31 | 0.194 % |
144.46/144.60 c | 167272 | 3604 18360 59221 | 107346 100284 31 | 0.194 % |
144.66/144.85 c | 167465 | 3604 18360 59221 | 107346 100477 31 | 0.195 % |
144.97/145.10 c | 167681 | 3604 18360 59221 | 107346 100693 31 | 0.194 % |
145.16/145.30 c | 167914 | 3604 18360 59221 | 107346 100926 31 | 0.194 % |
145.36/145.56 c | 168170 | 3604 18360 59221 | 107346 101182 31 | 0.195 % |
145.76/145.92 c | 168451 | 3604 18360 59221 | 107346 101463 31 | 0.195 % |
146.17/146.32 c | 168762 | 3604 18360 59221 | 107346 101774 31 | 0.194 % |
146.56/146.76 c | 169102 | 3604 18360 59221 | 107346 102114 31 | 0.194 % |
147.06/147.28 c | 169475 | 3604 18360 59221 | 107346 102487 31 | 0.194 % |
147.56/147.77 c | 169885 | 3604 18360 59221 | 107346 102897 31 | 0.194 % |
148.27/148.45 c | 170337 | 3602 18349 59187 | 2147483647 103344 31 | 0.249 % |
148.96/149.12 c | 170831 | 3602 18349 59187 | 2147483647 103838 31 | 0.249 % |
149.76/149.90 c | 171373 | 3602 18349 59187 | 2147483647 104380 31 | 0.249 % |
150.46/150.63 c | 171970 | 3602 18349 59187 | 2147483647 104977 31 | 0.249 % |
151.46/151.63 c | 172625 | 3602 18349 59187 | 2147483647 105632 31 | 0.250 % |
152.36/152.53 c | 173346 | 3602 18349 59187 | 2147483647 106353 31 | 0.249 % |
153.46/153.60 c | 174141 | 3602 18349 59187 | 2147483647 107148 31 | 0.250 % |
154.66/154.84 c | 175013 | 3602 18349 59187 | 2147483647 108020 31 | 0.249 % |
156.16/156.34 c | 175971 | 3602 18349 59187 | 2147483647 108978 31 | 0.250 % |
157.66/157.90 c | 177024 | 3602 18349 59187 | 2147483647 110031 31 | 0.250 % |
159.16/159.35 c | 178182 | 3602 18349 59187 | 2147483647 111189 31 | 0.250 % |
160.46/160.68 c | 179456 | 3602 18349 59187 | 2147483647 112463 31 | 0.249 % |
163.06/163.27 c | 180856 | 3602 18349 59187 | 113007 97969 31 | 0.249 % |
164.56/164.75 c | 182396 | 3602 18349 59187 | 113007 99509 31 | 0.249 % |
166.56/166.78 c | 184090 | 3602 18349 59187 | 113007 101203 31 | 0.249 % |
169.06/169.22 c | 185956 | 3602 18349 59187 | 113007 103069 31 | 0.250 % |
169.16/169.36 c | 186059 | 3602 18349 59187 | 113007 103172 31 | 0.249 % |
169.36/169.53 c | 186169 | 3602 18349 59187 | 113007 103282 31 | 0.250 % |
169.46/169.70 c | 186292 | 3602 18349 59187 | 113007 103405 31 | 0.250 % |
169.65/169.87 c | 186425 | 3602 18349 59187 | 113007 103538 31 | 0.249 % |
169.85/170.09 c | 186572 | 3602 18349 59187 | 113007 103685 31 | 0.249 % |
170.15/170.34 c | 186732 | 3602 18349 59187 | 113007 103845 31 | 0.250 % |
170.36/170.56 c | 186908 | 3602 18349 59187 | 113007 104021 31 | 0.249 % |
170.65/170.85 c | 187102 | 3602 18349 59187 | 113007 104215 31 | 0.249 % |
170.95/171.18 c | 187316 | 3602 18349 59187 | 113007 104429 31 | 0.250 % |
171.25/171.50 c | 187551 | 3602 18349 59187 | 113007 104664 31 | 0.250 % |
171.55/171.77 c | 187807 | 3602 18349 59187 | 113007 104920 31 | 0.250 % |
171.85/172.06 c | 188088 | 3602 18349 59187 | 113007 105201 31 | 0.249 % |
172.15/172.37 c | 188397 | 3602 18349 59187 | 113007 105510 31 | 0.250 % |
172.65/172.85 c | 188738 | 3601 18339 59157 | 113007 105849 31 | 0.278 % |
173.15/173.35 c | 189111 | 3601 18339 59157 | 113007 106222 31 | 0.278 % |
173.55/173.73 c | 189523 | 3601 18339 59157 | 113007 106634 31 | 0.277 % |
174.05/174.28 c | 189974 | 3601 18339 59157 | 113007 107085 31 | 0.278 % |
174.75/174.91 c | 190469 | 3601 18339 59157 | 107112 107580 31 | 0.278 % |
175.65/175.82 c | 191012 | 3601 18339 59157 | 107112 96002 31 | 0.278 % |
176.25/176.46 c | 191608 | 3601 18339 59157 | 107112 96598 31 | 0.278 % |
177.25/177.42 c | 192264 | 3601 18339 59157 | 107112 97254 31 | 0.278 % |
178.15/178.31 c | 192985 | 3601 18339 59157 | 107112 97975 31 | 0.277 % |
179.05/179.30 c | 193777 | 3601 18339 59157 | 107112 98767 31 | 0.278 % |
180.25/180.46 c | 194648 | 3601 18339 59157 | 107112 99638 31 | 0.278 % |
181.55/181.72 c | 195607 | 3601 18339 59157 | 107112 100597 31 | 0.277 % |
182.85/183.04 c | 196661 | 3601 18339 59157 | 107112 101651 31 | 0.278 % |
184.35/184.52 c | 197823 | 3601 18339 59157 | 107112 102813 31 | 0.278 % |
185.94/186.13 c | 199098 | 3601 18339 59157 | 107112 104088 31 | 0.278 % |
187.74/187.96 c | 200499 | 3601 18339 59157 | 104990 105489 31 | 0.278 % |
189.94/190.10 c | 202039 | 3601 18339 59157 | 104990 91631 30 | 0.278 % |
192.04/192.24 c | 203733 | 3601 18339 59157 | 104990 93325 31 | 0.277 % |
194.34/194.50 c | 205599 | 3601 18339 59157 | 104990 95191 31 | 0.278 % |
196.44/196.66 c | 207648 | 3601 18339 59157 | 104990 97240 31 | 0.278 % |
196.64/196.80 c | 207750 | 3601 18339 59157 | 104990 97342 31 | 0.278 % |
196.74/196.96 c | 207862 | 3601 18339 59157 | 104990 97454 31 | 0.277 % |
196.94/197.12 c | 207984 | 3601 18339 59157 | 104990 97576 31 | 0.278 % |
197.14/197.31 c | 208119 | 3601 18339 59157 | 104990 97711 31 | 0.277 % |
197.34/197.50 c | 208266 | 3601 18339 59157 | 104990 97858 31 | 0.278 % |
197.54/197.76 c | 208426 | 3601 18339 59157 | 104990 98018 31 | 0.277 % |
197.94/198.10 c | 208602 | 3601 18339 59157 | 104990 98194 31 | 0.277 % |
198.24/198.43 c | 208795 | 3601 18339 59157 | 104990 98387 31 | 0.277 % |
198.54/198.77 c | 209007 | 3601 18339 59157 | 104990 98599 31 | 0.277 % |
198.94/199.15 c | 209240 | 3601 18339 59157 | 104990 98832 31 | 0.277 % |
199.24/199.48 c | 209500 | 3601 18339 59157 | 104990 99092 31 | 0.278 % |
199.64/199.85 c | 209781 | 3601 18339 59157 | 104990 99373 31 | 0.278 % |
200.04/200.24 c | 210090 | 3601 18339 59157 | 99593 99682 31 | 0.278 % |
200.64/200.82 c | 210429 | 3601 18339 59157 | 99593 89653 30 | 0.277 % |
201.04/201.24 c | 210802 | 3601 18339 59157 | 99593 90026 30 | 0.278 % |
201.54/201.72 c | 211214 | 3601 18339 59157 | 99593 90438 30 | 0.278 % |
202.03/202.29 c | 211663 | 3601 18339 59157 | 99593 90887 30 | 0.277 % |
202.64/202.81 c | 212159 | 3601 18339 59157 | 99593 91383 30 | 0.278 % |
203.24/203.46 c | 212704 | 3601 18339 59157 | 99593 91928 30 | 0.277 % |
204.13/204.33 c | 213302 | 3601 18339 59157 | 99593 92526 30 | 0.278 % |
204.93/205.16 c | 213959 | 3601 18339 59157 | 99593 93183 30 | 0.278 % |
205.83/206.01 c | 214679 | 3601 18339 59157 | 99593 93903 30 | 0.277 % |
206.63/206.85 c | 215471 | 3601 18339 59157 | 99593 94695 30 | 0.278 % |
207.73/207.96 c | 216342 | 3601 18339 59157 | 99593 95566 30 | 0.278 % |
208.93/209.18 c | 217300 | 3601 18339 59157 | 99593 96524 30 | 0.278 % |
210.23/210.48 c | 218353 | 3601 18339 59157 | 99593 97577 30 | 0.278 % |
211.73/211.95 c | 219511 | 3601 18339 59157 | 99593 98735 30 | 0.279 % |
213.33/213.58 c | 220786 | 3601 18339 59157 | 99225 86612 30 | 0.278 % |
215.13/215.35 c | 222186 | 3601 18339 59157 | 99225 88012 30 | 0.277 % |
217.03/217.27 c | 223729 | 3601 18339 59157 | 99225 89555 30 | 0.277 % |
219.03/219.28 c | 225423 | 3601 18339 59157 | 99225 91249 30 | 0.278 % |
221.33/221.51 c | 227286 | 3601 18339 59157 | 99225 93112 30 | 0.277 % |
223.83/224.02 c | 229335 | 3601 18339 59157 | 99225 95161 30 | 0.278 % |
227.03/227.22 c | 231588 | 3601 18339 59157 | 95828 83496 28 | 0.278 % |
227.13/227.34 c | 231691 | 3601 18339 59157 | 95828 83599 28 | 0.278 % |
227.23/227.47 c | 231802 | 3601 18339 59157 | 95828 83710 28 | 0.278 % |
227.33/227.56 c | 231923 | 3601 18339 59157 | 95828 83831 28 | 0.277 % |
227.53/227.71 c | 232059 | 3601 18339 59157 | 95828 83967 28 | 0.278 % |
227.63/227.88 c | 232205 | 3601 18339 59157 | 95828 84113 28 | 0.278 % |
227.82/228.05 c | 232368 | 3601 18339 59157 | 95828 84276 28 | 0.277 % |
228.02/228.28 c | 232546 | 3601 18339 59157 | 95828 84454 28 | 0.277 % |
228.22/228.48 c | 232739 | 3601 18339 59157 | 95828 84647 28 | 0.278 % |
228.53/228.78 c | 232952 | 3601 18339 59157 | 95828 84860 28 | 0.278 % |
228.83/229.02 c | 233185 | 3601 18339 59157 | 95828 85093 28 | 0.278 % |
229.13/229.34 c | 233443 | 3601 18339 59157 | 95828 85351 28 | 0.278 % |
229.52/229.70 c | 233724 | 3601 18339 59157 | 95828 85632 28 | 0.277 % |
229.82/230.05 c | 234033 | 3600 18331 59135 | 95828 85940 28 | 0.306 % |
230.22/230.40 c | 234372 | 3600 18331 59135 | 95828 86279 28 | 0.306 % |
230.62/230.87 c | 234745 | 3600 18331 59135 | 95828 86652 28 | 0.306 % |
231.22/231.41 c | 235155 | 3600 18331 59135 | 95828 87062 28 | 0.305 % |
231.83/232.01 c | 235605 | 3600 18331 59135 | 95828 87512 28 | 0.306 % |
232.32/232.59 c | 236100 | 3600 18331 59135 | 95828 88007 28 | 0.306 % |
233.03/233.29 c | 236645 | 3600 18331 59135 | 95828 88552 28 | 0.306 % |
233.82/234.09 c | 237241 | 3600 18331 59135 | 95828 89148 28 | 0.305 % |
234.72/234.92 c | 237896 | 3600 18331 59135 | 95828 89803 28 | 0.305 % |
235.52/235.74 c | 238616 | 3600 18331 59135 | 95828 90523 28 | 0.306 % |
236.42/236.68 c | 239409 | 3600 18331 59135 | 95828 91316 28 | 0.306 % |
237.62/237.80 c | 240281 | 3600 18331 59135 | 91907 81257 28 | 0.306 % |
238.52/238.76 c | 241239 | 3600 18331 59135 | 91907 82215 28 | 0.306 % |
239.62/239.89 c | 242293 | 3600 18331 59135 | 91907 83269 28 | 0.306 % |
240.92/241.18 c | 243451 | 3600 18331 59135 | 91907 84427 28 | 0.305 % |
242.42/242.68 c | 244724 | 3600 18331 59135 | 91907 85700 28 | 0.305 % |
243.82/244.08 c | 246125 | 3600 18331 59135 | 91907 87101 28 | 0.306 % |
245.52/245.78 c | 247667 | 3600 18331 59135 | 91907 88643 28 | 0.305 % |
247.22/247.43 c | 249363 | 3600 18331 59135 | 91907 90339 28 | 0.306 % |
249.32/249.58 c | 251226 | 3600 18331 59135 | 2147483647 92202 28 | 0.306 % |
251.51/251.79 c | 253276 | 3600 18331 59135 | 2147483647 94252 28 | 0.305 % |
254.42/254.64 c | 255531 | 3600 18331 59135 | 2147483647 96507 28 | 0.306 % |
257.61/257.85 c | 258010 | 3600 18331 59135 | 2147483647 98986 29 | 0.306 % |
257.81/258.02 c | 258110 | 3600 18331 59135 | 2147483647 99086 29 | 0.306 % |
257.91/258.19 c | 258222 | 3600 18331 59135 | 2147483647 99198 29 | 0.306 % |
258.11/258.35 c | 258344 | 3600 18331 59135 | 2147483647 99320 29 | 0.306 % |
258.32/258.50 c | 258477 | 3600 18331 59135 | 2147483647 99453 29 | 0.306 % |
258.41/258.68 c | 258627 | 3600 18331 59135 | 2147483647 99603 29 | 0.305 % |
258.71/258.91 c | 258787 | 3600 18331 59135 | 2147483647 99763 29 | 0.305 % |
258.91/259.14 c | 258963 | 3600 18331 59135 | 2147483647 99939 29 | 0.305 % |
259.11/259.36 c | 259159 | 3600 18331 59135 | 2147483647 100135 29 | 0.306 % |
259.42/259.62 c | 259371 | 3600 18331 59135 | 2147483647 100347 29 | 0.306 % |
259.71/259.90 c | 259606 | 3600 18331 59135 | 2147483647 100582 29 | 0.306 % |
260.01/260.25 c | 259862 | 3600 18331 59135 | 2147483647 100838 29 | 0.306 % |
260.31/260.54 c | 260143 | 3600 18331 59135 | 2147483647 101119 29 | 0.306 % |
260.61/260.88 c | 260452 | 3600 18331 59135 | 2147483647 101428 29 | 0.306 % |
261.01/261.28 c | 260791 | 3600 18331 59135 | 2147483647 101767 29 | 0.305 % |
261.52/261.73 c | 261167 | 3600 18331 59135 | 2147483647 102143 29 | 0.306 % |
262.11/262.31 c | 261576 | 3600 18331 59135 | 2147483647 102552 29 | 0.305 % |
262.62/262.86 c | 262028 | 3600 18331 59135 | 2147483647 103004 29 | 0.306 % |
263.21/263.49 c | 262521 | 3600 18331 59135 | 2147483647 103497 29 | 0.306 % |
264.11/264.32 c | 263068 | 3600 18331 59135 | 2147483647 104044 29 | 0.306 % |
265.01/265.21 c | 263664 | 3600 18331 59135 | 2147483647 104640 29 | 0.306 % |
266.01/266.29 c | 264319 | 3600 18331 59135 | 2147483647 105295 29 | 0.305 % |
267.11/267.39 c | 265042 | 3600 18331 59135 | 2147483647 106018 29 | 0.306 % |
268.31/268.57 c | 265835 | 3600 18331 59135 | 2147483647 106811 29 | 0.306 % |
269.81/270.02 c | 266706 | 3600 18331 59135 | 2147483647 107682 29 | 0.306 % |
271.21/271.49 c | 267666 | 3600 18331 59135 | 2147483647 108642 29 | 0.305 % |
273.01/273.29 c | 268719 | 3600 18331 59135 | 2147483647 109695 29 | 0.306 % |
274.81/275.08 c | 269879 | 3600 18331 59135 | 2147483647 110855 29 | 0.305 % |
276.81/277.05 c | 271153 | 3600 18331 59135 | 110976 95288 27 | 0.306 % |
278.82/279.03 c | 272553 | 3600 18331 59135 | 110976 96688 27 | 0.306 % |
280.92/281.13 c | 274095 | 3600 18331 59135 | 110976 98230 28 | 0.306 % |
283.12/283.32 c | 275789 | 3600 18331 59135 | 110976 99924 28 | 0.306 % |
285.82/286.07 c | 277652 | 3600 18331 59135 | 110976 101787 27 | 0.306 % |
288.91/289.11 c | 279702 | 3600 18331 59135 | 110976 103837 27 | 0.309 % |
292.91/293.18 c | 281957 | 3599 18237 58902 | 104136 16276 17 | 0.333 % |
293.71/293.91 c | 284435 | 3599 18237 58902 | 104136 18754 22 | 0.332 % |
294.62/294.80 c | 287162 | 3599 18237 58902 | 104136 21481 25 | 0.332 % |
294.62/294.85 c | 287262 | 3599 18237 58902 | 104136 21581 25 | 0.332 % |
294.62/294.89 c | 287373 | 3599 18237 58902 | 104136 21692 25 | 0.332 % |
294.71/294.94 c | 287495 | 3599 18237 58902 | 104136 21814 25 | 0.332 % |
294.81/295.00 c | 287629 | 3599 18237 58902 | 104136 21948 26 | 0.332 % |
294.81/295.06 c | 287776 | 3599 18237 58902 | 104136 22095 26 | 0.332 % |
294.91/295.12 c | 287939 | 3599 18237 58902 | 104136 22258 26 | 0.332 % |
295.01/295.21 c | 288116 | 3599 18237 58902 | 104136 22435 26 | 0.332 % |
295.01/295.27 c | 288309 | 3599 18237 58902 | 104136 22628 26 | 0.332 % |
295.11/295.36 c | 288521 | 3599 18237 58902 | 104136 22840 26 | 0.332 % |
295.21/295.44 c | 288754 | 3599 18237 58902 | 104136 23073 27 | 0.332 % |
295.31/295.57 c | 289012 | 3599 18237 58902 | 104136 23331 27 | 0.332 % |
295.41/295.66 c | 289293 | 3599 18237 58902 | 104136 23612 27 | 0.333 % |
295.51/295.80 c | 289602 | 3599 18237 58902 | 104136 23921 27 | 0.332 % |
295.71/295.97 c | 289943 | 3599 18237 58902 | 104136 24262 27 | 0.332 % |
295.91/296.17 c | 290316 | 3599 18237 58902 | 2147483647 24635 28 | 0.332 % |
296.11/296.37 c | 290728 | 3598 18222 58852 | 2147483647 25045 28 | 0.360 % |
296.31/296.56 c | 291177 | 3598 18222 58852 | 2147483647 25494 28 | 0.360 % |
296.61/296.85 c | 291672 | 3598 18222 58852 | 2147483647 25989 28 | 0.360 % |
296.91/297.12 c | 292214 | 3598 18222 58852 | 2147483647 26531 28 | 0.360 % |
297.31/297.53 c | 292813 | 3598 18222 58852 | 2147483647 27130 28 | 0.360 % |
297.71/297.93 c | 293468 | 3598 18222 58852 | 2147483647 27785 29 | 0.360 % |
298.11/298.33 c | 294188 | 3598 18222 58852 | 2147483647 28505 29 | 0.360 % |
298.51/298.75 c | 294981 | 3598 18222 58852 | 2147483647 29298 29 | 0.360 % |
299.01/299.27 c | 295853 | 3598 18222 58852 | 2147483647 30170 29 | 0.360 % |
299.61/299.88 c | 296811 | 3598 18222 58852 | 2147483647 31128 30 | 0.360 % |
300.21/300.49 c | 297866 | 3598 18222 58852 | 2147483647 32183 30 | 0.360 % |
301.01/301.24 c | 299026 | 3598 18222 58852 | 2147483647 33343 30 | 0.360 % |
301.51/301.75 c | 300300 | 3598 18222 58852 | 2147483647 34617 31 | 0.361 % |
302.31/302.58 c | 301701 | 3598 18222 58852 | 2147483647 36018 31 | 0.361 % |
303.31/303.57 c | 303241 | 3598 18222 58852 | 2147483647 37558 31 | 0.360 % |
304.21/304.46 c | 304936 | 3598 18222 58852 | 2147483647 39253 32 | 0.360 % |
305.61/305.83 c | 306800 | 3598 18222 58852 | 2147483647 41117 32 | 0.360 % |
307.21/307.46 c | 308850 | 3598 18222 58852 | 2147483647 43167 32 | 0.360 % |
308.81/309.03 c | 311105 | 3597 18212 58822 | 2147483647 45420 33 | 0.388 % |
311.31/311.52 c | 313585 | 3597 18212 58822 | 2147483647 47900 33 | 0.388 % |
312.71/312.94 c | 316311 | 3597 18212 58822 | 2147483647 50626 33 | 0.388 % |
315.01/315.20 c | 319309 | 3597 18212 58822 | 2147483647 53624 34 | 0.388 % |
315.01/315.29 c | 319409 | 3597 18212 58822 | 2147483647 53724 34 | 0.388 % |
315.11/315.38 c | 319520 | 3597 18212 58822 | 2147483647 53835 34 | 0.388 % |
315.31/315.50 c | 319641 | 3597 18212 58822 | 2147483647 53956 34 | 0.389 % |
315.41/315.64 c | 319774 | 3597 18212 58822 | 2147483647 54089 34 | 0.388 % |
315.61/315.83 c | 319920 | 3597 18212 58822 | 2147483647 54235 34 | 0.388 % |
315.71/315.97 c | 320080 | 3597 18212 58822 | 2147483647 54395 34 | 0.388 % |
315.81/316.09 c | 320257 | 3597 18212 58822 | 2147483647 54572 34 | 0.388 % |
316.01/316.23 c | 320450 | 3597 18212 58822 | 2147483647 54765 34 | 0.388 % |
316.20/316.42 c | 320664 | 3597 18212 58822 | 2147483647 54979 34 | 0.388 % |
316.40/316.63 c | 320898 | 3597 18212 58822 | 2147483647 55213 34 | 0.388 % |
316.61/316.88 c | 321154 | 3597 18212 58822 | 2147483647 55469 34 | 0.388 % |
316.90/317.19 c | 321437 | 3597 18212 58822 | 2147483647 55752 34 | 0.388 % |
317.20/317.48 c | 321747 | 3597 18212 58822 | 2147483647 56062 34 | 0.388 % |
317.50/317.76 c | 322088 | 3597 18212 58822 | 2147483647 56403 34 | 0.388 % |
317.80/318.07 c | 322462 | 3597 18212 58822 | 2147483647 56777 34 | 0.388 % |
318.10/318.35 c | 322873 | 3597 18212 58822 | 2147483647 57188 34 | 0.388 % |
318.50/318.75 c | 323322 | 3597 18212 58822 | 2147483647 57637 34 | 0.388 % |
318.90/319.18 c | 323816 | 3597 18212 58822 | 2147483647 58131 34 | 0.388 % |
319.40/319.65 c | 324358 | 3597 18212 58822 | 2147483647 58673 34 | 0.388 % |
319.81/320.05 c | 324959 | 3597 18212 58822 | 2147483647 59274 34 | 0.388 % |
320.50/320.73 c | 325614 | 3597 18212 58822 | 2147483647 59929 35 | 0.388 % |
321.30/321.58 c | 326335 | 3597 18212 58822 | 2147483647 60650 35 | 0.388 % |
322.11/322.34 c | 327127 | 3597 18212 58822 | 2147483647 61442 35 | 0.388 % |
323.21/323.45 c | 327998 | 3597 18212 58822 | 2147483647 62313 35 | 0.388 % |
324.20/324.49 c | 328956 | 3595 18204 58800 | 2147483647 63269 35 | 0.472 % |
325.10/325.39 c | 330011 | 3595 18204 58800 | 2147483647 64324 35 | 0.471 % |
326.00/326.21 c | 331171 | 3595 18204 58800 | 2147483647 65484 35 | 0.472 % |
327.10/327.37 c | 332445 | 3595 18204 58800 | 2147483647 66758 35 | 0.472 % |
328.10/328.35 c | 333845 | 3595 18204 58800 | 2147483647 68158 35 | 0.471 % |
329.80/330.05 c | 335385 | 3594 18191 58760 | 2147483647 69698 35 | 0.471 % |
331.60/331.88 c | 337079 | 3594 18191 58760 | 2147483647 71392 35 | 0.471 % |
333.40/333.69 c | 338946 | 3594 18191 58760 | 2147483647 73259 35 | 0.471 % |
335.50/335.76 c | 340996 | 3594 18191 58760 | 2147483647 75309 35 | 0.471 % |
337.99/338.21 c | 343249 | 3594 18191 58760 | 2147483647 77562 35 | 0.471 % |
340.80/341.06 c | 345727 | 3593 18186 58746 | 2147483647 80038 35 | 0.499 % |
344.89/345.15 c | 348452 | 3593 18186 58746 | 2147483647 82763 35 | 0.498 % |
349.19/349.47 c | 351450 | 3593 18186 58746 | 84310 76507 35 | 0.526 % |
353.69/353.92 c | 354746 | 3592 18176 58716 | 84310 79802 35 | 0.526 % |
353.79/354.06 c | 354846 | 3592 18176 58716 | 84310 79902 35 | 0.526 % |
353.99/354.25 c | 354957 | 3592 18176 58716 | 84310 80013 35 | 0.526 % |
354.19/354.40 c | 355079 | 3592 18176 58716 | 84310 80135 35 | 0.526 % |
354.29/354.57 c | 355212 | 3592 18176 58716 | 84310 80268 35 | 0.527 % |
354.49/354.75 c | 355359 | 3592 18176 58716 | 84310 80415 35 | 0.527 % |
354.69/354.94 c | 355520 | 3592 18176 58716 | 84310 80576 35 | 0.526 % |
354.89/355.10 c | 355696 | 3592 18176 58716 | 84310 80752 35 | 0.527 % |
354.99/355.30 c | 355890 | 3592 18176 58716 | 84310 80946 35 | 0.527 % |
355.19/355.47 c | 356103 | 3592 18176 58716 | 84310 81159 35 | 0.526 % |
355.49/355.70 c | 356336 | 3592 18176 58716 | 84310 81392 35 | 0.526 % |
355.69/355.96 c | 356593 | 3592 18176 58716 | 84310 81649 35 | 0.526 % |
356.09/356.31 c | 356874 | 3592 18176 58716 | 84310 81930 35 | 0.526 % |
356.39/356.62 c | 357183 | 3592 18176 58716 | 84310 82239 35 | 0.526 % |
356.79/357.00 c | 357524 | 3592 18176 58716 | 84310 82580 35 | 0.526 % |
357.09/357.31 c | 357896 | 3592 18176 58716 | 84310 82952 35 | 0.526 % |
357.39/357.68 c | 358306 | 3592 18176 58716 | 84310 83362 35 | 0.526 % |
357.89/358.17 c | 358755 | 3592 18176 58716 | 84310 83811 35 | 0.526 % |
358.49/358.73 c | 359249 | 3592 18176 58716 | 84310 84305 35 | 0.526 % |
359.09/359.31 c | 359792 | 3592 18176 58716 | 84310 84848 35 | 0.526 % |
359.99/360.28 c | 360388 | 3592 18176 58716 | 2147483647 76960 34 | 0.526 % |
360.79/361.05 c | 361044 | 3592 18176 58716 | 2147483647 77616 34 | 0.526 % |
361.59/361.80 c | 361766 | 3592 18176 58716 | 2147483647 78338 34 | 0.527 % |
362.49/362.74 c | 362558 | 3592 18176 58716 | 2147483647 79130 34 | 0.526 % |
363.19/363.45 c | 363429 | 3592 18176 58716 | 2147483647 80001 34 | 0.527 % |
363.99/364.29 c | 364389 | 3592 18176 58716 | 2147483647 80961 34 | 0.527 % |
365.08/365.34 c | 365442 | 3592 18176 58716 | 2147483647 82014 35 | 0.526 % |
366.19/366.48 c | 366602 | 3592 18176 58716 | 2147483647 83174 35 | 0.526 % |
367.88/368.13 c | 367875 | 3592 18176 58716 | 2147483647 84447 35 | 0.526 % |
369.58/369.81 c | 369275 | 3592 18176 58716 | 2147483647 85847 35 | 0.526 % |
371.28/371.56 c | 370815 | 3592 18176 58716 | 2147483647 87387 35 | 0.526 % |
373.28/373.59 c | 372509 | 3592 18176 58716 | 2147483647 89081 36 | 0.526 % |
375.48/375.74 c | 374372 | 3592 18176 58716 | 2147483647 90944 36 | 0.527 % |
377.68/377.99 c | 376421 | 3592 18176 58716 | 2147483647 92993 36 | 0.526 % |
380.48/380.74 c | 378676 | 3592 18176 58716 | 2147483647 95248 36 | 0.526 % |
383.38/383.64 c | 381154 | 3592 18176 58716 | 96575 84081 36 | 0.526 % |
386.18/386.40 c | 383879 | 3592 18176 58716 | 96575 86806 36 | 0.526 % |
390.38/390.64 c | 386876 | 3592 18176 58716 | 96575 89803 36 | 0.526 % |
394.47/394.75 c | 390175 | 3592 18176 58716 | 92928 93102 36 | 0.526 % |
398.17/398.46 c | 393803 | 3591 18166 58686 | 92928 84431 36 | 0.554 % |
398.27/398.57 c | 393904 | 3591 18166 58686 | 92928 84532 36 | 0.554 % |
398.47/398.74 c | 394014 | 3591 18166 58686 | 92928 84642 36 | 0.554 % |
398.57/398.87 c | 394135 | 3591 18166 58686 | 92928 84763 36 | 0.555 % |
398.77/399.04 c | 394268 | 3591 18166 58686 | 92928 84896 36 | 0.554 % |
398.98/399.22 c | 394416 | 3591 18166 58686 | 92928 85044 36 | 0.554 % |
399.17/399.41 c | 394576 | 3591 18166 58686 | 92928 85204 36 | 0.554 % |
399.37/399.65 c | 394752 | 3591 18166 58686 | 92928 85380 36 | 0.554 % |
399.67/399.91 c | 394945 | 3591 18166 58686 | 92928 85573 36 | 0.554 % |
399.97/400.27 c | 395158 | 3591 18166 58686 | 92928 85786 36 | 0.554 % |
400.37/400.68 c | 395395 | 3591 18166 58686 | 92928 86023 36 | 0.554 % |
400.77/401.09 c | 395651 | 3591 18166 58686 | 92928 86279 36 | 0.554 % |
401.17/401.44 c | 395932 | 3591 18166 58686 | 92928 86560 36 | 0.554 % |
401.57/401.85 c | 396243 | 3591 18166 58686 | 92928 86871 36 | 0.554 % |
402.17/402.46 c | 396582 | 3591 18166 58686 | 92928 87210 36 | 0.554 % |
402.57/402.87 c | 396958 | 3591 18166 58686 | 92928 87586 36 | 0.554 % |
403.07/403.35 c | 397367 | 3591 18166 58686 | 92928 87995 36 | 0.554 % |
403.77/404.01 c | 397817 | 3591 18166 58686 | 92928 88445 36 | 0.554 % |
404.37/404.70 c | 398310 | 3591 18166 58686 | 92928 88938 36 | 0.554 % |
405.27/405.52 c | 398852 | 3591 18166 58686 | 92928 89480 36 | 0.554 % |
406.17/406.40 c | 399449 | 3591 18166 58686 | 92928 90077 36 | 0.554 % |
407.17/407.45 c | 400105 | 3591 18166 58686 | 90631 90733 36 | 0.554 % |
408.57/408.90 c | 400825 | 3591 18166 58686 | 90631 81877 36 | 0.554 % |
409.77/410.02 c | 401618 | 3591 18166 58686 | 90631 82670 36 | 0.554 % |
411.17/411.45 c | 402490 | 3591 18166 58686 | 90631 83542 36 | 0.554 % |
412.67/412.99 c | 403448 | 3591 18166 58686 | 90631 84500 36 | 0.554 % |
414.27/414.57 c | 404501 | 3591 18166 58686 | 90631 85553 36 | 0.554 % |
415.37/415.63 c | 405659 | 3591 18166 58686 | 90631 86711 36 | 0.555 % |
416.87/417.15 c | 406932 | 3591 18166 58686 | 90631 87984 36 | 0.554 % |
418.57/418.83 c | 408333 | 3591 18166 58686 | 90631 89385 36 | 0.554 % |
420.46/420.77 c | 409873 | 3591 18166 58686 | 90631 90925 36 | 0.554 % |
422.56/422.85 c | 411570 | 3591 18166 58686 | 79916 71901 35 | 0.554 % |
424.16/424.42 c | 413433 | 3591 18166 58686 | 79916 73764 35 | 0.555 % |
425.86/426.15 c | 415483 | 3591 18166 58686 | 79916 75814 35 | 0.554 % |
427.76/428.05 c | 417736 | 3591 18166 58686 | 79916 78067 35 | 0.555 % |
430.87/431.19 c | 420214 | 3591 18166 58686 | 2147483647 72517 34 | 0.555 % |
433.76/434.00 c | 422940 | 3591 18166 58686 | 2147483647 75243 34 | 0.554 % |
436.56/436.81 c | 425938 | 3591 18166 58686 | 2147483647 78241 34 | 0.555 % |
439.46/439.71 c | 429234 | 3591 18166 58686 | 2147483647 81537 34 | 0.554 % |
442.96/443.25 c | 432861 | 3591 18166 58686 | 2147483647 85164 35 | 0.554 % |
447.36/447.68 c | 436850 | 3591 18166 58686 | 2147483647 89153 35 | 0.554 % |
447.56/447.82 c | 436952 | 3591 18166 58686 | 2147483647 89255 35 | 0.554 % |
447.66/447.98 c | 437062 | 3591 18166 58686 | 2147483647 89365 35 | 0.554 % |
447.86/448.16 c | 437189 | 3591 18166 58686 | 2147483647 89492 35 | 0.554 % |
448.06/448.35 c | 437322 | 3591 18166 58686 | 2147483647 89625 35 | 0.554 % |
448.26/448.54 c | 437468 | 3591 18166 58686 | 2147483647 89771 35 | 0.555 % |
448.46/448.72 c | 437630 | 3591 18166 58686 | 2147483647 89933 35 | 0.554 % |
448.66/448.91 c | 437808 | 3591 18166 58686 | 2147483647 90111 35 | 0.554 % |
448.86/449.11 c | 438002 | 3591 18166 58686 | 2147483647 90305 35 | 0.554 % |
449.06/449.36 c | 438214 | 3591 18166 58686 | 2147483647 90517 35 | 0.555 % |
449.36/449.62 c | 438447 | 3591 18166 58686 | 2147483647 90750 35 | 0.554 % |
449.56/449.86 c | 438706 | 3591 18166 58686 | 2147483647 91009 35 | 0.555 % |
449.96/450.21 c | 438988 | 3591 18166 58686 | 2147483647 91291 35 | 0.554 % |
450.36/450.60 c | 439298 | 3591 18166 58686 | 2147483647 91601 35 | 0.554 % |
450.76/451.04 c | 439639 | 3591 18166 58686 | 2147483647 91942 35 | 0.554 % |
451.26/451.51 c | 440011 | 3591 18166 58686 | 2147483647 92314 35 | 0.554 % |
451.86/452.11 c | 440420 | 3591 18166 58686 | 2147483647 92723 35 | 0.555 % |
452.56/452.81 c | 440871 | 3591 18166 58686 | 2147483647 93174 35 | 0.554 % |
453.36/453.62 c | 441364 | 3591 18166 58686 | 2147483647 93667 35 | 0.554 % |
454.06/454.36 c | 441906 | 3591 18166 58686 | 2147483647 94209 35 | 0.554 % |
454.65/454.90 c | 442503 | 3591 18166 58686 | 2147483647 94806 35 | 0.554 % |
455.45/455.74 c | 443158 | 3591 18166 58686 | 2147483647 95461 35 | 0.554 % |
456.35/456.69 c | 443881 | 3591 18166 58686 | 2147483647 96184 35 | 0.556 % |
457.45/457.77 c | 444676 | 3591 18166 58686 | 2147483647 96979 35 | 0.554 % |
458.85/459.11 c | 445548 | 3591 18166 58686 | 2147483647 97851 35 | 0.554 % |
460.05/460.35 c | 446507 | 3591 18166 58686 | 2147483647 98810 35 | 0.555 % |
460.95/461.28 c | 447561 | 3591 18166 58686 | 2147483647 99864 35 | 0.555 % |
462.45/462.71 c | 448719 | 3591 18166 58686 | 2147483647 101022 35 | 0.555 % |
464.25/464.52 c | 449993 | 3591 18166 58686 | 2147483647 102296 35 | 0.554 % |
466.55/466.80 c | 451395 | 3591 18166 58686 | 102305 103698 35 | 0.554 % |
468.75/469.08 c | 452936 | 3591 18166 58686 | 102305 84595 32 | 0.554 % |
471.05/471.38 c | 454632 | 3591 18166 58686 | 102305 86291 32 | 0.554 % |
473.35/473.60 c | 456495 | 3591 18166 58686 | 102305 88154 32 | 0.554 % |
475.65/476.00 c | 458545 | 3590 18156 58656 | 102305 90202 33 | 0.582 % |
478.85/479.13 c | 460798 | 3590 18156 58656 | 91657 81610 31 | 0.582 % |
481.45/481.78 c | 463276 | 3590 18156 58656 | 91657 84088 31 | 0.582 % |
484.55/484.85 c | 466001 | 3590 18156 58656 | 91657 86813 31 | 0.582 % |
488.15/488.43 c | 468998 | 3590 18156 58656 | 91657 89810 31 | 0.583 % |
492.14/492.49 c | 472295 | 3590 18156 58656 | 2147483647 93107 32 | 0.582 % |
495.94/496.26 c | 475920 | 3590 18156 58656 | 2147483647 96732 32 | 0.582 % |
500.15/500.47 c | 479907 | 3590 18156 58656 | 2147483647 100719 33 | 0.582 % |
506.04/506.31 c | 484293 | 3590 18156 58656 | 100818 92003 33 | 0.582 % |
506.14/506.41 c | 484396 | 3590 18156 58656 | 100818 92106 33 | 0.582 % |
506.24/506.59 c | 484507 | 3590 18156 58656 | 100818 92217 33 | 0.582 % |
506.44/506.78 c | 484629 | 3590 18156 58656 | 100818 92339 33 | 0.583 % |
506.64/506.92 c | 484762 | 3590 18156 58656 | 100818 92472 33 | 0.582 % |
506.74/507.01 c | 484908 | 3590 18156 58656 | 100818 92618 33 | 0.582 % |
506.94/507.23 c | 485070 | 3590 18156 58656 | 100818 92780 33 | 0.582 % |
507.14/507.49 c | 485249 | 3590 18156 58656 | 100818 92959 33 | 0.582 % |
507.44/507.79 c | 485442 | 3590 18156 58656 | 100818 93152 33 | 0.582 % |
507.84/508.11 c | 485658 | 3590 18156 58656 | 100818 93368 33 | 0.582 % |
508.14/508.46 c | 485891 | 3590 18156 58656 | 100818 93601 33 | 0.582 % |
508.54/508.80 c | 486148 | 3590 18156 58656 | 100818 93858 33 | 0.582 % |
508.94/509.22 c | 486430 | 3590 18156 58656 | 100818 94140 33 | 0.582 % |
509.34/509.65 c | 486740 | 3590 18156 58656 | 100818 94450 33 | 0.582 % |
509.84/510.11 c | 487079 | 3590 18156 58656 | 100818 94789 33 | 0.582 % |
510.24/510.59 c | 487452 | 3590 18156 58656 | 100818 95162 33 | 0.583 % |
510.84/511.18 c | 487861 | 3590 18156 58656 | 100818 95571 33 | 0.582 % |
511.54/511.84 c | 488311 | 3590 18156 58656 | 100818 96021 33 | 0.582 % |
512.44/512.72 c | 488804 | 3590 18156 58656 | 100818 96514 33 | 0.582 % |
513.24/513.53 c | 489347 | 3590 18156 58656 | 100818 97057 33 | 0.582 % |
514.04/514.38 c | 489943 | 3590 18156 58656 | 100818 97653 33 | 0.582 % |
515.54/515.80 c | 490599 | 3590 18156 58656 | 97714 85617 33 | 0.582 % |
516.14/516.40 c | 491320 | 3590 18156 58656 | 97714 86338 33 | 0.582 % |
516.94/517.23 c | 492112 | 3590 18156 58656 | 97714 87130 33 | 0.582 % |
518.03/518.31 c | 492983 | 3590 18156 58656 | 97714 88001 33 | 0.582 % |
519.14/519.46 c | 493941 | 3590 18156 58656 | 97714 88959 33 | 0.582 % |
520.73/521.08 c | 494995 | 3590 18156 58656 | 97714 90013 33 | 0.582 % |
522.43/522.78 c | 496157 | 3590 18156 58656 | 97714 91175 33 | 0.582 % |
524.23/524.57 c | 497432 | 3590 18156 58656 | 97714 92450 33 | 0.582 % |
526.33/526.64 c | 498833 | 3590 18156 58656 | 97714 93851 33 | 0.582 % |
528.63/528.90 c | 500374 | 3590 18156 58656 | 95018 95392 33 | 0.582 % |
531.43/531.76 c | 502069 | 3590 18156 58656 | 95018 82854 32 | 0.582 % |
533.33/533.65 c | 503932 | 3590 18156 58656 | 95018 84717 33 | 0.582 % |
536.03/536.33 c | 505983 | 3590 18156 58656 | 95018 86768 33 | 0.583 % |
538.73/539.03 c | 508237 | 3590 18156 58656 | 95018 89022 33 | 0.582 % |
541.83/542.12 c | 510715 | 3590 18156 58656 | 90788 81776 33 | 0.582 % |
544.63/544.94 c | 513440 | 3590 18156 58656 | 90788 84501 33 | 0.582 % |
547.62/547.97 c | 516437 | 3590 18156 58656 | 90788 87498 34 | 0.582 % |
551.52/551.85 c | 519736 | 3590 18156 58656 | 90788 90797 35 | 0.582 % |
556.02/556.39 c | 523361 | 3590 18156 58656 | 91063 83278 35 | 0.582 % |
559.62/559.93 c | 527348 | 3590 18156 58656 | 91063 87265 36 | 0.582 % |
565.02/565.36 c | 531734 | 3590 18156 58656 | 89919 79737 37 | 0.582 % |
570.82/571.11 c | 536557 | 3590 18156 58656 | 89919 84560 37 | 0.582 % |
570.92/571.22 c | 536658 | 3590 18156 58656 | 89919 84661 37 | 0.582 % |
571.02/571.32 c | 536768 | 3590 18156 58656 | 89919 84771 37 | 0.582 % |
571.12/571.47 c | 536890 | 3590 18156 58656 | 89919 84893 37 | 0.582 % |
571.32/571.68 c | 537023 | 3590 18156 58656 | 89919 85026 37 | 0.582 % |
571.62/571.96 c | 537170 | 3590 18156 58656 | 89919 85173 37 | 0.583 % |
571.92/572.21 c | 537330 | 3590 18156 58656 | 89919 85333 37 | 0.582 % |
572.11/572.48 c | 537508 | 3590 18156 58656 | 89919 85511 37 | 0.582 % |
572.31/572.69 c | 537702 | 3590 18156 58656 | 89919 85705 37 | 0.582 % |
572.72/573.00 c | 537914 | 3590 18156 58656 | 89919 85917 37 | 0.582 % |
572.91/573.29 c | 538147 | 3590 18156 58656 | 89919 86150 37 | 0.582 % |
573.31/573.61 c | 538406 | 3590 18156 58656 | 89919 86409 37 | 0.582 % |
573.61/573.95 c | 538687 | 3590 18156 58656 | 89919 86690 37 | 0.582 % |
573.92/574.30 c | 538996 | 3590 18156 58656 | 89919 86999 37 | 0.582 % |
574.51/574.81 c | 539336 | 3590 18156 58656 | 89919 87339 37 | 0.582 % |
575.02/575.32 c | 539710 | 3590 18156 58656 | 89919 87713 37 | 0.582 % |
575.51/575.86 c | 540120 | 3590 18156 58656 | 88005 88123 37 | 0.582 % |
576.12/576.47 c | 540570 | 3590 18156 58656 | 88005 77741 36 | 0.582 % |
576.91/577.28 c | 541063 | 3590 18156 58656 | 88005 78234 36 | 0.583 % |
577.51/577.80 c | 541605 | 3590 18156 58656 | 88005 78776 36 | 0.583 % |
578.11/578.47 c | 542201 | 3590 18156 58656 | 88005 79372 36 | 0.582 % |
579.01/579.34 c | 542858 | 3590 18156 58656 | 88005 80029 36 | 0.582 % |
579.81/580.15 c | 543578 | 3590 18156 58656 | 88005 80749 36 | 0.582 % |
580.51/580.85 c | 544370 | 3590 18156 58656 | 88005 81541 36 | 0.582 % |
581.51/581.82 c | 545241 | 3590 18156 58656 | 88005 82412 36 | 0.582 % |
582.51/582.89 c | 546199 | 3590 18156 58656 | 88005 83370 36 | 0.582 % |
583.71/584.05 c | 547253 | 3590 18156 58656 | 88005 84424 36 | 0.582 % |
585.11/585.47 c | 548413 | 3590 18156 58656 | 88005 85584 36 | 0.582 % |
586.71/587.10 c | 549688 | 3590 18156 58656 | 88005 86859 36 | 0.582 % |
588.51/588.83 c | 551088 | 3590 18156 58656 | 2147483647 88259 35 | 0.582 % |
589.81/590.19 c | 552630 | 3590 18156 58656 | 2147483647 89801 35 | 0.582 % |
592.61/592.91 c | 554324 | 3590 18156 58656 | 2147483647 91495 35 | 0.582 % |
595.11/595.48 c | 556187 | 3590 18156 58656 | 2147483647 93358 35 | 0.582 % |
597.81/598.12 c | 558237 | 3590 18156 58656 | 2147483647 95408 35 | 0.582 % |
600.90/601.20 c | 560491 | 3590 18156 58656 | 97171 97662 35 | 0.582 % |
604.61/604.91 c | 562970 | 3590 18156 58656 | 97171 88571 34 | 0.582 % |
607.70/608.01 c | 565695 | 3590 18156 58656 | 97171 91296 34 | 0.582 % |
611.20/611.55 c | 568692 | 3590 18156 58656 | 97171 94293 34 | 0.584 % |
616.00/616.32 c | 571988 | 3590 18156 58656 | 95602 73994 32 | 0.582 % |
620.10/620.50 c | 575613 | 3590 18156 58656 | 95602 77619 32 | 0.582 % |
625.10/625.45 c | 579601 | 3590 18156 58656 | 95602 81607 33 | 0.582 % |
629.79/630.17 c | 583987 | 3590 18156 58656 | 82006 73703 30 | 0.582 % |
633.79/634.13 c | 588812 | 3589 18151 58642 | 82006 78525 31 | 0.610 % |
637.79/638.18 c | 594117 | 3589 18151 58642 | 2147483647 83830 31 | 0.610 % |
637.89/638.28 c | 594217 | 3589 18151 58642 | 2147483647 83930 31 | 0.610 % |
638.09/638.43 c | 594327 | 3589 18151 58642 | 2147483647 84040 31 | 0.609 % |
638.19/638.58 c | 594448 | 3589 18151 58642 | 2147483647 84161 31 | 0.609 % |
638.39/638.71 c | 594581 | 3589 18151 58642 | 2147483647 84294 31 | 0.609 % |
638.59/638.90 c | 594728 | 3589 18151 58642 | 2147483647 84441 31 | 0.610 % |
638.69/639.10 c | 594888 | 3589 18151 58642 | 2147483647 84601 31 | 0.610 % |
638.89/639.29 c | 595064 | 3589 18151 58642 | 2147483647 84777 31 | 0.609 % |
639.19/639.52 c | 595259 | 3589 18151 58642 | 2147483647 84972 31 | 0.610 % |
639.39/639.75 c | 595471 | 3589 18151 58642 | 2147483647 85184 31 | 0.610 % |
639.69/640.06 c | 595704 | 3589 18151 58642 | 2147483647 85417 31 | 0.609 % |
639.98/640.39 c | 595962 | 3589 18151 58642 | 2147483647 85675 31 | 0.609 % |
640.38/640.74 c | 596245 | 3589 18151 58642 | 2147483647 85958 31 | 0.610 % |
640.78/641.14 c | 596554 | 3589 18151 58642 | 2147483647 86267 31 | 0.609 % |
641.18/641.50 c | 596893 | 3589 18151 58642 | 2147483647 86606 31 | 0.610 % |
641.58/641.94 c | 597265 | 3589 18151 58642 | 2147483647 86978 31 | 0.610 % |
642.09/642.49 c | 597674 | 3589 18151 58642 | 2147483647 87387 31 | 0.609 % |
642.58/642.95 c | 598123 | 3589 18151 58642 | 2147483647 87836 31 | 0.609 % |
643.19/643.56 c | 598616 | 3589 18151 58642 | 2147483647 88329 32 | 0.609 % |
643.78/644.17 c | 599158 | 3589 18151 58642 | 2147483647 88871 32 | 0.609 % |
644.58/644.92 c | 599754 | 3588 18142 58614 | 2147483647 89464 32 | 0.637 % |
645.39/645.77 c | 600409 | 3588 18142 58614 | 2147483647 90119 32 | 0.637 % |
646.28/646.62 c | 601129 | 3588 18142 58614 | 2147483647 90839 32 | 0.637 % |
647.28/647.69 c | 601921 | 3588 18142 58614 | 2147483647 91629 32 | 0.693 % |
648.48/648.80 c | 602793 | 3588 18142 58614 | 2147483647 92501 32 | 0.693 % |
649.28/649.62 c | 603751 | 3588 18142 58614 | 2147483647 93459 32 | 0.693 % |
650.58/650.93 c | 604805 | 3588 18142 58614 | 2147483647 94513 32 | 0.692 % |
651.98/652.37 c | 605963 | 3588 18142 58614 | 2147483647 95671 32 | 0.693 % |
653.68/654.09 c | 607236 | 3586 18129 58574 | 2147483647 96941 32 | 0.692 % |
655.58/655.95 c | 608636 | 3586 18129 58574 | 2147483647 98341 32 | 0.693 % |
657.68/658.02 c | 610176 | 3586 18129 58574 | 99706 99881 32 | 0.692 % |
660.18/660.50 c | 611870 | 3586 18129 58574 | 99706 90945 31 | 0.692 % |
662.48/662.81 c | 613737 | 3586 18129 58574 | 99706 92812 31 | 0.692 % |
664.58/664.93 c | 615786 | 3586 18129 58574 | 99706 94861 31 | 0.692 % |
667.28/667.62 c | 618042 | 3586 18129 58574 | 99706 97117 32 | 0.692 % |
670.17/670.52 c | 620520 | 3586 18129 58574 | 2147483647 99595 32 | 0.693 % |
672.88/673.26 c | 623247 | 3586 18129 58574 | 2147483647 102322 32 | 0.693 % |
676.77/677.18 c | 626244 | 3586 18129 58574 | 2147483647 105319 32 | 0.693 % |
680.77/681.12 c | 629542 | 3585 18124 58564 | 2147483647 108615 32 | 0.720 % |
684.88/685.21 c | 633169 | 3585 18124 58564 | 2147483647 112242 33 | 0.720 % |
690.48/690.87 c | 637156 | 3585 18124 58564 | 2147483647 116229 33 | 0.720 % |
696.67/697.02 c | 641541 | 3585 18124 58564 | 119073 98978 33 | 0.720 % |
701.77/702.12 c | 646366 | 3585 18124 58564 | 119073 103803 34 | 0.721 % |
709.37/709.75 c | 651672 | 3585 18124 58564 | 107440 90894 32 | 0.720 % |
716.47/716.80 c | 657511 | 3585 18124 58564 | 107440 96733 33 | 0.720 % |
716.67/717.00 c | 657611 | 3585 18124 58564 | 107440 96833 33 | 0.721 % |
716.77/717.16 c | 657722 | 3585 18124 58564 | 107440 96944 33 | 0.721 % |
716.87/717.29 c | 657843 | 3585 18124 58564 | 107440 97065 33 | 0.720 % |
717.06/717.49 c | 657976 | 3585 18124 58564 | 107440 97198 33 | 0.720 % |
717.26/717.68 c | 658122 | 3585 18124 58564 | 107440 97344 33 | 0.720 % |
717.56/717.90 c | 658283 | 3585 18124 58564 | 107440 97505 33 | 0.720 % |
717.76/718.14 c | 658460 | 3585 18124 58564 | 107440 97682 33 | 0.720 % |
718.06/718.49 c | 658653 | 3585 18124 58564 | 107440 97875 33 | 0.720 % |
718.46/718.81 c | 658865 | 3585 18124 58564 | 107440 98087 33 | 0.720 % |
718.76/719.18 c | 659098 | 3585 18124 58564 | 107440 98320 33 | 0.720 % |
719.16/719.51 c | 659356 | 3585 18124 58564 | 107440 98578 33 | 0.721 % |
719.46/719.84 c | 659637 | 3585 18124 58564 | 107440 98859 33 | 0.720 % |
719.76/720.17 c | 659948 | 3585 18124 58564 | 107440 99170 33 | 0.720 % |
720.16/720.58 c | 660288 | 3585 18124 58564 | 99222 99510 33 | 0.720 % |
720.86/721.25 c | 660662 | 3585 18124 58564 | 99222 85612 32 | 0.720 % |
721.26/721.65 c | 661076 | 3585 18124 58564 | 99222 86026 32 | 0.720 % |
721.86/722.25 c | 661525 | 3585 18124 58564 | 99222 86475 32 | 0.721 % |
722.46/722.83 c | 662020 | 3585 18124 58564 | 99222 86970 32 | 0.721 % |
723.16/723.50 c | 662563 | 3585 18124 58564 | 99222 87513 32 | 0.721 % |
723.56/723.98 c | 663160 | 3585 18124 58564 | 99222 88110 32 | 0.721 % |
724.36/724.72 c | 663815 | 3585 18124 58564 | 99222 88765 32 | 0.720 % |
725.16/725.54 c | 664535 | 3585 18124 58564 | 99222 89485 32 | 0.720 % |
726.26/726.65 c | 665328 | 3585 18124 58564 | 99222 90278 32 | 0.721 % |
727.46/727.83 c | 666201 | 3585 18124 58564 | 99222 91151 32 | 0.720 % |
728.46/728.85 c | 667159 | 3585 18124 58564 | 99222 92109 32 | 0.720 % |
729.66/730.06 c | 668213 | 3585 18124 58564 | 99222 93163 32 | 0.720 % |
731.06/731.48 c | 669371 | 3585 18124 58564 | 99222 94321 32 | 0.720 % |
732.56/732.90 c | 670646 | 3585 18124 58564 | 2147483647 95596 32 | 0.720 % |
734.16/734.53 c | 672046 | 3585 18124 58564 | 2147483647 96996 32 | 0.720 % |
736.26/736.63 c | 673586 | 3585 18124 58564 | 2147483647 98536 32 | 0.721 % |
737.85/738.29 c | 675280 | 3585 18124 58564 | 2147483647 100230 32 | 0.721 % |
740.15/740.56 c | 677145 | 3584 18115 58536 | 2147483647 102092 32 | 0.748 % |
742.45/742.87 c | 679196 | 3584 18115 58536 | 2147483647 104143 32 | 0.748 % |
745.46/745.84 c | 681449 | 3584 18115 58536 | 104947 93620 33 | 0.748 % |
748.55/749.00 c | 683927 | 3584 18115 58536 | 104947 96098 32 | 0.749 % |
751.85/752.24 c | 686653 | 3580 18093 58469 | 104947 98820 32 | 0.858 % |
756.05/756.46 c | 689650 | 3580 18093 58469 | 104947 101817 32 | 0.858 % |
760.65/761.00 c | 692946 | 3580 18093 58469 | 102169 88716 31 | 0.858 % |
765.15/765.55 c | 696575 | 3580 18093 58469 | 102169 92345 31 | 0.859 % |
768.65/769.10 c | 700562 | 3580 18093 58469 | 95771 96332 32 | 0.860 % |
773.84/774.21 c | 704947 | 3580 18093 58469 | 95771 87841 32 | 0.860 % |
778.74/779.11 c | 709770 | 3580 18093 58469 | 95771 92664 32 | 0.859 % |
785.04/785.43 c | 715081 | 3580 18093 58469 | 2147483647 97975 32 | 0.859 % |
791.94/792.38 c | 720917 | 3579 18078 58419 | 2147483647 103809 33 | 0.887 % |
799.73/800.10 c | 727335 | 3577 18063 58371 | 2147483647 110222 33 | 0.942 % |
799.83/800.22 c | 727435 | 3577 18063 58371 | 2147483647 110322 33 | 0.942 % |
799.93/800.39 c | 727545 | 3577 18063 58371 | 2147483647 110432 33 | 0.942 % |
800.13/800.54 c | 727667 | 3577 18063 58371 | 2147483647 110554 33 | 0.942 % |
800.34/800.71 c | 727800 | 3577 18063 58371 | 2147483647 110687 33 | 0.942 % |
800.53/800.93 c | 727949 | 3577 18063 58371 | 2147483647 110836 33 | 0.943 % |
800.83/801.20 c | 728110 | 3577 18063 58371 | 2147483647 110997 33 | 0.942 % |
801.13/801.60 c | 728286 | 3577 18063 58371 | 2147483647 111173 33 | 0.942 % |
801.54/801.94 c | 728480 | 3577 18063 58371 | 2147483647 111367 33 | 0.942 % |
801.83/802.24 c | 728692 | 3577 18063 58371 | 2147483647 111579 33 | 0.942 % |
802.23/802.66 c | 728929 | 3577 18063 58371 | 2147483647 111816 33 | 0.942 % |
802.64/803.06 c | 729185 | 3577 18063 58371 | 2147483647 112072 33 | 0.942 % |
803.13/803.57 c | 729468 | 3577 18063 58371 | 2147483647 112355 33 | 0.942 % |
803.74/804.11 c | 729778 | 3577 18063 58371 | 2147483647 112665 33 | 0.942 % |
804.13/804.54 c | 730117 | 3577 18063 58371 | 112888 113004 33 | 0.942 % |
804.93/805.39 c | 730489 | 3577 18063 58371 | 112888 95363 31 | 0.942 % |
805.43/805.88 c | 730898 | 3577 18063 58371 | 112888 95772 31 | 0.942 % |
806.03/806.42 c | 731347 | 3577 18063 58371 | 112888 96221 31 | 0.942 % |
806.63/807.00 c | 731841 | 3577 18063 58371 | 112888 96715 31 | 0.942 % |
807.23/807.64 c | 732383 | 3577 18063 58371 | 112888 97257 31 | 0.942 % |
807.93/808.32 c | 732979 | 3577 18063 58371 | 112888 97853 31 | 0.942 % |
808.73/809.17 c | 733635 | 3577 18063 58371 | 112888 98509 32 | 0.942 % |
809.63/810.01 c | 734355 | 3577 18063 58371 | 112888 99229 32 | 0.942 % |
810.73/811.11 c | 735147 | 3577 18063 58371 | 112888 100021 32 | 0.942 % |
811.83/812.29 c | 736019 | 3577 18063 58371 | 112888 100893 32 | 0.942 % |
812.93/813.36 c | 736978 | 3577 18063 58371 | 112888 101852 32 | 0.942 % |
814.03/814.47 c | 738032 | 3577 18063 58371 | 112888 102906 32 | 0.942 % |
815.73/816.11 c | 739190 | 3577 18063 58371 | 112888 104064 32 | 0.943 % |
817.43/817.86 c | 740463 | 3577 18063 58371 | 104875 105337 32 | 0.942 % |
819.83/820.29 c | 741863 | 3577 18063 58371 | 104875 88166 31 | 0.942 % |
821.63/822.08 c | 743403 | 3577 18063 58371 | 104875 89706 32 | 0.942 % |
823.92/824.32 c | 745097 | 3577 18063 58371 | 104875 91400 32 | 0.942 % |
825.92/826.36 c | 746961 | 3577 18063 58371 | 104875 93264 32 | 0.943 % |
828.62/829.03 c | 749011 | 3577 18063 58371 | 104875 95314 32 | 0.942 % |
831.62/832.01 c | 751264 | 3577 18063 58371 | 96303 85279 32 | 0.942 % |
834.72/835.11 c | 753742 | 3577 18063 58371 | 96303 87757 32 | 0.942 % |
837.72/838.18 c | 756467 | 3577 18063 58371 | 96303 90482 32 | 0.942 % |
841.52/841.96 c | 759464 | 3577 18063 58371 | 96303 93479 32 | 0.942 % |
845.82/846.23 c | 762761 | 3577 18063 58371 | 2147483647 96776 33 | 0.942 % |
851.12/851.54 c | 766388 | 3577 18063 58371 | 2147483647 100403 33 | 0.942 % |
855.82/856.26 c | 770375 | 3577 18063 58371 | 2147483647 104390 33 | 0.942 % |
861.32/861.79 c | 774760 | 3577 18063 58371 | 2147483647 108775 34 | 0.942 % |
869.31/869.70 c | 779587 | 3577 18063 58371 | 2147483647 113602 34 | 0.942 % |
877.21/877.68 c | 784893 | 3576 18053 58341 | 114013 96806 32 | 0.969 % |
886.11/886.56 c | 790731 | 3576 18053 58341 | 101914 86750 32 | 0.969 % |
893.81/894.20 c | 797150 | 3576 18053 58341 | 101914 93169 32 | 0.969 % |
901.80/902.28 c | 804212 | 3576 18053 58341 | 96020 87797 32 | 0.969 % |
902.00/902.41 c | 804313 | 3576 18053 58341 | 96020 87898 32 | 0.969 % |
902.10/902.58 c | 804423 | 3576 18053 58341 | 96020 88008 32 | 0.969 % |
902.30/902.78 c | 804545 | 3576 18053 58341 | 96020 88130 32 | 0.969 % |
902.50/902.94 c | 804679 | 3576 18053 58341 | 96020 88264 32 | 0.970 % |
902.71/903.11 c | 804825 | 3576 18053 58341 | 96020 88410 32 | 0.969 % |
902.90/903.33 c | 804986 | 3576 18053 58341 | 96020 88571 32 | 0.969 % |
903.10/903.58 c | 805162 | 3576 18053 58341 | 96020 88747 32 | 0.969 % |
903.40/903.85 c | 805356 | 3576 18053 58341 | 96020 88941 32 | 0.969 % |
903.71/904.14 c | 805569 | 3576 18053 58341 | 96020 89154 32 | 0.969 % |
904.00/904.44 c | 805804 | 3576 18053 58341 | 96020 89389 32 | 0.969 % |
904.20/904.67 c | 806063 | 3576 18053 58341 | 96020 89648 32 | 0.969 % |
904.70/905.14 c | 806346 | 3576 18053 58341 | 96020 89931 32 | 0.970 % |
905.20/905.65 c | 806659 | 3576 18053 58341 | 96020 90244 32 | 0.971 % |
905.60/906.06 c | 807001 | 3576 18053 58341 | 96020 90586 32 | 0.969 % |
905.91/906.37 c | 807373 | 3576 18053 58341 | 96020 90958 32 | 0.970 % |
906.40/906.88 c | 807788 | 3576 18053 58341 | 96020 91373 32 | 0.969 % |
907.20/907.61 c | 808237 | 3576 18053 58341 | 96020 91822 32 | 0.969 % |
907.80/908.29 c | 808731 | 3576 18053 58341 | 96020 92316 32 | 0.969 % |
908.70/909.11 c | 809277 | 3576 18053 58341 | 96020 92862 32 | 0.969 % |
909.30/909.77 c | 809873 | 3576 18053 58341 | 96020 93458 32 | 0.969 % |
910.10/910.57 c | 810528 | 3576 18053 58341 | 93588 94113 32 | 0.969 % |
911.20/911.68 c | 811248 | 3576 18053 58341 | 93588 81696 32 | 0.970 % |
912.20/912.69 c | 812040 | 3576 18053 58341 | 93588 82488 32 | 0.969 % |
913.10/913.58 c | 812912 | 3576 18053 58341 | 93588 83360 32 | 0.970 % |
914.30/914.75 c | 813870 | 3576 18053 58341 | 93588 84318 32 | 0.970 % |
915.70/916.16 c | 814923 | 3576 18053 58341 | 93588 85371 32 | 0.970 % |
917.20/917.69 c | 816081 | 3576 18053 58341 | 93588 86529 32 | 0.969 % |
918.80/919.26 c | 817356 | 3576 18053 58341 | 93588 87804 32 | 0.969 % |
920.60/921.05 c | 818756 | 3576 18053 58341 | 93588 89204 32 | 0.969 % |
923.20/923.62 c | 820297 | 3576 18053 58341 | 90449 90745 32 | 0.969 % |
925.50/925.91 c | 821991 | 3573 18041 58306 | 90449 83265 32 | 1.219 % |
927.70/928.17 c | 823854 | 3573 18041 58306 | 90449 85128 32 | 1.219 % |
930.30/930.71 c | 825903 | 3573 18041 58306 | 90449 87176 32 | 1.246 % |
933.09/933.50 c | 828156 | 3573 18041 58306 | 90449 89429 32 | 1.246 % |
936.19/936.63 c | 830635 | 3566 17905 57938 | 89645 90278 33 | 1.247 % |
939.29/939.77 c | 833360 | 3566 17905 57938 | 89645 78204 31 | 1.246 % |
943.29/943.73 c | 836359 | 3566 17905 57938 | 89645 81203 31 | 1.246 % |
947.89/948.30 c | 839656 | 3566 17905 57938 | 89645 84500 32 | 1.246 % |
952.69/953.12 c | 843282 | 3566 17905 57938 | 84845 79502 32 | 1.246 % |
958.89/959.32 c | 847269 | 3566 17905 57938 | 84845 83489 32 | 1.246 % |
965.49/965.90 c | 851654 | 3566 17905 57938 | 2147483647 79361 32 | 1.246 % |
971.99/972.47 c | 856478 | 3566 17905 57938 | 2147483647 84185 32 | 1.246 % |
979.68/980.17 c | 861785 | 3566 17905 57938 | 87707 76833 32 | 1.246 % |
985.98/986.45 c | 867623 | 3566 17905 57938 | 87707 82671 32 | 1.246 % |
993.68/994.16 c | 874041 | 3566 17905 57938 | 85049 77449 32 | 1.246 % |
1000.27/1000.80 c | 881101 | 3566 17905 57938 | 2147483647 84509 33 | 1.247 % |
1009.77/1010.20 c | 888865 | 3566 17905 57938 | 2147483647 92273 34 | 1.247 % |
1009.87/1010.32 c | 888966 | 3566 17905 57938 | 2147483647 92374 34 | 1.246 % |
1009.97/1010.45 c | 889078 | 3566 17905 57938 | 2147483647 92486 34 | 1.246 % |
1010.07/1010.56 c | 889199 | 3566 17905 57938 | 2147483647 92607 34 | 1.247 % |
1010.27/1010.77 c | 889335 | 3566 17905 57938 | 2147483647 92743 34 | 1.246 % |
1010.48/1010.93 c | 889482 | 3566 17905 57938 | 2147483647 92890 34 | 1.246 % |
1010.57/1011.09 c | 889645 | 3566 17905 57938 | 2147483647 93053 34 | 1.246 % |
1010.77/1011.22 c | 889821 | 3566 17905 57938 | 2147483647 93229 34 | 1.246 % |
1010.97/1011.45 c | 890014 | 3566 17905 57938 | 93408 93422 34 | 1.246 % |
1011.17/1011.68 c | 890226 | 3566 17905 57938 | 93408 93634 34 | 1.247 % |
1011.77/1012.25 c | 890460 | 3566 17905 57938 | 93408 81118 33 | 1.247 % |
1012.07/1012.55 c | 890716 | 3566 17905 57938 | 93408 81374 33 | 1.247 % |
1012.47/1012.91 c | 890997 | 3566 17905 57938 | 93408 81655 33 | 1.247 % |
1012.87/1013.35 c | 891307 | 3566 17905 57938 | 93408 81965 33 | 1.246 % |
1013.27/1013.76 c | 891647 | 3566 17905 57938 | 93408 82305 33 | 1.247 % |
1013.67/1014.15 c | 892019 | 3566 17905 57938 | 93408 82677 33 | 1.247 % |
1014.17/1014.62 c | 892433 | 3566 17905 57938 | 93408 83091 33 | 1.247 % |
1014.67/1015.13 c | 892884 | 3566 17905 57938 | 93408 83542 33 | 1.246 % |
1015.37/1015.87 c | 893378 | 3566 17905 57938 | 93408 84036 33 | 1.246 % |
1016.17/1016.69 c | 893920 | 3566 17905 57938 | 93408 84578 33 | 1.246 % |
1017.17/1017.65 c | 894516 | 3566 17905 57938 | 93408 85174 33 | 1.247 % |
1017.77/1018.23 c | 895173 | 3566 17905 57938 | 93408 85831 33 | 1.247 % |
1018.47/1018.90 c | 895894 | 3566 17905 57938 | 93408 86552 34 | 1.247 % |
1019.27/1019.75 c | 896687 | 3566 17905 57938 | 93408 87345 34 | 1.247 % |
1020.17/1020.70 c | 897558 | 3566 17905 57938 | 93408 88216 34 | 1.246 % |
1020.87/1021.34 c | 898520 | 3566 17905 57938 | 93408 89178 34 | 1.247 % |
1022.07/1022.53 c | 899573 | 3566 17905 57938 | 93408 90231 34 | 1.246 % |
1023.87/1024.32 c | 900731 | 3566 17905 57938 | 90658 82262 34 | 1.246 % |
1025.27/1025.71 c | 902005 | 3566 17905 57938 | 90658 83536 34 | 1.246 % |
1026.47/1026.94 c | 903405 | 3566 17905 57938 | 90658 84936 34 | 1.247 % |
1027.97/1028.49 c | 904945 | 3566 17905 57938 | 90658 86476 34 | 1.246 % |
1029.86/1030.33 c | 906639 | 3566 17905 57938 | 90658 88170 35 | 1.247 % |
1031.66/1032.13 c | 908502 | 3566 17905 57938 | 90658 90033 35 | 1.246 % |
1034.67/1035.11 c | 910551 | 3566 17905 57938 | 80980 81530 35 | 1.247 % |
1037.87/1038.36 c | 912806 | 3566 17905 57938 | 80980 74309 35 | 1.247 % |
1040.36/1040.83 c | 915284 | 3566 17905 57938 | 80980 76787 36 | 1.247 % |
1043.76/1044.22 c | 918010 | 3566 17905 57938 | 80980 79513 36 | 1.246 % |
1046.66/1047.12 c | 921008 | 3566 17905 57938 | 2147483647 82511 36 | 1.247 % |
1050.46/1050.92 c | 924305 | 3566 17905 57938 | 2147483647 85808 37 | 1.247 % |
1055.06/1055.50 c | 927930 | 3566 17905 57938 | 2147483647 89433 37 | 1.247 % |
1060.16/1060.69 c | 931917 | 3566 17905 57938 | 2147483647 93420 36 | 1.246 % |
1067.45/1067.90 c | 936303 | 3566 17905 57938 | 2147483647 97806 36 | 1.246 % |
1074.75/1075.21 c | 941127 | 3566 17905 57938 | 101504 84204 36 | 1.246 % |
1080.45/1080.99 c | 946433 | 3566 17905 57938 | 101504 89510 37 | 1.246 % |
1087.35/1087.87 c | 952269 | 3566 17905 57938 | 93077 76594 36 | 1.246 % |
1095.65/1096.20 c | 958687 | 3564 17890 57890 | 93077 83008 36 | 1.302 % |
1105.54/1106.03 c | 965746 | 3564 17890 57890 | 84325 79512 34 | 1.302 % |
1114.64/1115.17 c | 973510 | 3563 17880 57860 | 83763 74792 33 | 1.329 % |
1125.34/1125.87 c | 982050 | 3563 17880 57860 | 81282 73959 33 | 1.330 % |
1125.44/1125.95 c | 982152 | 3563 17880 57860 | 81282 74061 33 | 1.330 % |
1125.54/1126.05 c | 982262 | 3563 17880 57860 | 81282 74171 33 | 1.330 % |
1125.64/1126.18 c | 982384 | 3563 17880 57860 | 81282 74293 33 | 1.329 % |
1125.84/1126.39 c | 982517 | 3563 17880 57860 | 81282 74426 33 | 1.330 % |
1126.04/1126.53 c | 982663 | 3563 17880 57860 | 81282 74572 33 | 1.329 % |
1126.24/1126.73 c | 982823 | 3563 17880 57860 | 81282 74732 33 | 1.330 % |
1126.44/1126.97 c | 983001 | 3563 17880 57860 | 81282 74910 33 | 1.329 % |
1126.74/1127.23 c | 983196 | 3563 17880 57860 | 81282 75105 33 | 1.330 % |
1126.94/1127.48 c | 983411 | 3563 17880 57860 | 81282 75320 33 | 1.330 % |
1127.24/1127.74 c | 983644 | 3563 17880 57860 | 81282 75553 33 | 1.330 % |
1127.54/1128.09 c | 983901 | 3563 17880 57860 | 81282 75810 33 | 1.330 % |
1127.93/1128.47 c | 984182 | 3563 17880 57860 | 81282 76091 33 | 1.329 % |
1128.53/1129.01 c | 984491 | 3563 17880 57860 | 81282 76400 33 | 1.329 % |
1129.03/1129.50 c | 984831 | 3563 17880 57860 | 81282 76740 33 | 1.329 % |
1129.53/1130.04 c | 985205 | 3563 17880 57860 | 81282 77114 33 | 1.329 % |
1130.24/1130.71 c | 985615 | 3563 17880 57860 | 81282 77524 33 | 1.329 % |
1130.93/1131.45 c | 986067 | 3563 17880 57860 | 81282 77976 33 | 1.329 % |
1131.44/1131.98 c | 986562 | 3563 17880 57860 | 81282 78471 33 | 1.330 % |
1132.23/1132.70 c | 987106 | 3563 17880 57860 | 81282 79015 33 | 1.330 % |
1132.83/1133.36 c | 987702 | 3563 17880 57860 | 81282 79611 33 | 1.330 % |
1133.54/1134.03 c | 988359 | 3563 17880 57860 | 81282 80268 33 | 1.329 % |
1134.43/1134.93 c | 989080 | 3563 17880 57860 | 81282 80989 33 | 1.329 % |
1135.13/1135.64 c | 989873 | 3563 17880 57860 | 81282 81782 33 | 1.330 % |
1136.43/1136.98 c | 990744 | 3563 17880 57860 | 2147483647 74475 33 | 1.329 % |
1137.43/1137.92 c | 991702 | 3563 17880 57860 | 2147483647 75433 33 | 1.329 % |
1138.53/1139.07 c | 992755 | 3563 17880 57860 | 2147483647 76486 33 | 1.329 % |
1140.13/1140.69 c | 993916 | 3563 17880 57860 | 2147483647 77647 33 | 1.329 % |
1141.63/1142.12 c | 995189 | 3563 17880 57860 | 2147483647 78920 34 | 1.329 % |
1143.13/1143.68 c | 996589 | 3563 17880 57860 | 2147483647 80320 34 | 1.329 % |
1144.93/1145.40 c | 998129 | 3563 17880 57860 | 2147483647 81860 34 | 1.330 % |
1146.83/1147.36 c | 999823 | 3563 17880 57860 | 2147483647 83554 34 | 1.329 % |
1148.73/1149.28 c | 1001689 | 3563 17880 57860 | 83733 74499 32 | 1.329 % |
1150.83/1151.31 c | 1003738 | 3563 17880 57860 | 83733 76548 33 | 1.329 % |
1153.43/1153.92 c | 1005992 | 3563 17880 57860 | 83733 78802 34 | 1.329 % |
1156.22/1156.77 c | 1008471 | 3563 17880 57860 | 83733 81281 34 | 1.329 % |
1159.12/1159.65 c | 1011197 | 3563 17880 57860 | 82811 84007 34 | 1.329 % |
1162.62/1163.18 c | 1014196 | 3561 17858 57788 | 82811 73939 34 | 1.386 % |
1166.22/1166.80 c | 1017492 | 3561 17858 57788 | 82811 77235 34 | 1.385 % |
1170.93/1171.45 c | 1021118 | 3561 17858 57788 | 79745 71944 34 | 1.385 % |
1175.92/1176.41 c | 1025105 | 3561 17858 57788 | 79745 75931 34 | 1.386 % |
1180.52/1181.03 c | 1029490 | 3561 17858 57788 | 79745 80316 34 | 1.385 % |
1186.22/1186.78 c | 1034314 | 3561 17858 57788 | 2147483647 77109 35 | 1.385 % |
1193.02/1193.56 c | 1039620 | 3561 17858 57788 | 2147483647 82415 35 | 1.385 % |
1200.02/1200.51 HOME/SatELiteGTI: line 36: 10973 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832053-1242769114/watcher-1832053-1242769114 -o /tmp/evaluation-result-1832053-1242769114/solver-1832053-1242769114 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832053-1242769114.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10967
/proc/meminfo: memFree=1818904/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0
/proc/10967/stat : 10967 (SatELiteGTI) R 10965 10967 10880 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 304941075 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 240153848479 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10967/statm: 1339 235 195 169 0 50 0
[pid=10968] ppid=10967 vsize=5356 CPUtime=0
/proc/10968/stat : 10968 (SatELiteGTI) R 10967 10967 10880 0 -1 4194368 21 0 0 0 0 0 0 0 20 0 1 0 304941075 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240153848479 0 65538 4096 65538 0 0 0 17 1 0 0
/proc/10968/statm: 1339 238 198 169 0 50 0
[pid=10969] ppid=10968 vsize=5356 CPUtime=0
/proc/10969/stat : 10969 (SatELiteGTI) R 10968 10967 10880 0 -1 4194368 19 0 0 0 0 0 0 0 20 0 1 0 304941075 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 240153523549 0 0 4096 65538 0 0 0 17 1 0 0
/proc/10969/statm: 1340 239 198 169 0 51 0
[startup+0.0844009 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10967
/proc/meminfo: memFree=1818904/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941075 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10967/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101401 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10967
/proc/meminfo: memFree=1818904/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304941075 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10967/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301419 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10967
/proc/meminfo: memFree=1818904/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+0.701459 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 10967
/proc/meminfo: memFree=1818904/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1815432/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=4100 CPUtime=1.23
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 743 0 0 0 123 0 0 0 25 0 1 0 304941101 4198400 729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 1025 729 77 171 0 852 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9456
[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1814728/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=5288 CPUtime=2.82
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 1024 0 0 0 282 0 0 0 25 0 1 0 304941101 5414912 1010 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 1322 1010 77 171 0 1149 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10644
[startup+6.30208 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1812296/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=7152 CPUtime=6.02
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 1509 0 0 0 601 1 0 0 25 0 1 0 304941101 7323648 1495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 1788 1495 77 171 0 1615 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12508
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1809352/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=9840 CPUtime=12.41
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 2168 0 0 0 1239 2 0 0 25 0 1 0 304941101 10076160 2154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 2460 2154 77 171 0 2287 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 15196
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1805320/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=13768 CPUtime=25.19
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 3145 0 0 0 2516 3 0 0 25 0 1 0 304941101 14098432 3131 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 3442 3131 77 171 0 3269 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19124
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1800648/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=18500 CPUtime=50.77
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 4328 0 0 0 5072 5 0 0 25 0 1 0 304941101 18944000 4314 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 4625 4314 77 171 0 4452 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 23856
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1796616/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=22484 CPUtime=101.95
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5283 0 0 0 10189 6 0 0 25 0 1 0 304941101 23023616 5269 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 5621 5269 77 171 0 5448 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27840
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1796040/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=22984 CPUtime=161.92
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5383 0 0 0 16186 6 0 0 25 0 1 0 304941101 23535616 5369 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 5746 5369 77 171 0 5573 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 28340
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1795784/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=23152 CPUtime=221.89
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5443 0 0 0 22183 6 0 0 25 0 1 0 304941101 23707648 5429 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 5788 5429 77 171 0 5615 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 28508
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10973
/proc/meminfo: memFree=1794952/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=23976 CPUtime=281.88
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5626 0 0 0 28181 7 0 0 25 0 1 0 304941101 24551424 5612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 5994 5612 77 171 0 5821 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 29332
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1794504/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=24152 CPUtime=341.85
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5652 0 0 0 34178 7 0 0 25 0 1 0 304941101 24731648 5638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6038 5638 77 171 0 5865 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 29508
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1794248/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=24348 CPUtime=401.83
################
# More data... #
################
[pid=10973] ppid=10967 vsize=24812 CPUtime=521.79
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5809 0 0 0 52172 7 0 0 25 0 1 0 304941101 25407488 5795 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6203 5795 77 171 0 6030 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 30168
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1793672/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=24812 CPUtime=581.77
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5821 0 0 0 58170 7 0 0 25 0 1 0 304941101 25407488 5807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6203 5807 77 171 0 6030 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 30168
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1793480/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=24960 CPUtime=641.75
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 5830 0 0 0 64168 7 0 0 25 0 1 0 304941101 25559040 5816 1992294400 134512640 135215339 4294956240 18446744073709551615 134537955 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6240 5816 77 171 0 6067 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 30316
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1791880/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=26512 CPUtime=701.73
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6221 0 0 0 70165 8 0 0 25 0 1 0 304941101 27148288 6207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6628 6207 77 171 0 6455 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 31868
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1791496/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=26812 CPUtime=761.71
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6285 0 0 0 76163 8 0 0 25 0 1 0 304941101 27455488 6271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6703 6271 77 171 0 6530 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 32168
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1791240/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=26812 CPUtime=821.69
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6314 0 0 0 82161 8 0 0 25 0 1 0 304941101 27455488 6300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6703 6300 77 171 0 6530 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 32168
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1791176/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=26812 CPUtime=881.67
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6332 0 0 0 88159 8 0 0 25 0 1 0 304941101 27455488 6318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6703 6318 77 171 0 6530 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 32168
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790728/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27180 CPUtime=941.65
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6406 0 0 0 94157 8 0 0 25 0 1 0 304941101 27832320 6392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6795 6392 77 171 0 6622 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 32536
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790600/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27180 CPUtime=1001.63
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6412 0 0 0 100155 8 0 0 25 0 1 0 304941101 27832320 6398 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6795 6398 77 171 0 6622 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 32536
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790408/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27336 CPUtime=1061.61
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6445 0 0 0 106153 8 0 0 25 0 1 0 304941101 27992064 6431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6834 6431 77 171 0 6661 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 32692
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790216/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27476 CPUtime=1121.6
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6474 0 0 0 112152 8 0 0 25 0 1 0 304941101 28135424 6460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6869 6460 77 171 0 6696 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 32832
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790088/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27476 CPUtime=1181.58
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6474 0 0 0 118150 8 0 0 25 0 1 0 304941101 28135424 6460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6869 6460 77 171 0 6696 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 32832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790088/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27476 CPUtime=1199.78
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6474 0 0 0 119970 8 0 0 25 0 1 0 304941101 28135424 6460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6869 6460 77 171 0 6696 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 32832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10975
/proc/meminfo: memFree=1790088/2055920 swapFree=4120964/4192956
[pid=10967] ppid=10965 vsize=5356 CPUtime=0.24
/proc/10967/stat : 10967 (SatELiteGTI) S 10965 10967 10880 0 -1 4194304 336 1627 0 0 0 0 24 0 15 0 1 0 304941075 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10967/statm: 1339 239 197 169 0 50 0
[pid=10973] ppid=10967 vsize=27476 CPUtime=1199.78
/proc/10973/stat : 10973 (minisat_static) R 10967 10967 10880 0 -1 4194304 6474 0 0 0 119970 8 0 0 25 0 1 0 304941101 28135424 6460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/10973/statm: 6869 6460 77 171 0 6696 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 32832
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.05
CPU user time (s): 1199.95
CPU system time (s): 0.104984
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 32832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8446
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= 28
involuntary context switches= 3784
runsolver used 1.14582 second user time and 3.36349 second system time
The end
Begin job on node86 at 2009-05-19 23:38:34
IDJOB=1832053
IDBENCH=20404
IDSOLVER=671
FILE ID=node86/1832053-1242769114
PBS_JOBID= 9322218
Free space on /tmp= 66364 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832053-1242769114/watcher-1832053-1242769114 -o /tmp/evaluation-result-1832053-1242769114/solver-1832053-1242769114 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832053-1242769114.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a948576641dd03cc33abaca38a6e7e4c
RANDOM SEED=2019843845
node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1819320 kB
Buffers: 12752 kB
Cached: 124648 kB
SwapCached: 66192 kB
Active: 73040 kB
Inactive: 132764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819320 kB
SwapTotal: 4192956 kB
SwapFree: 4120964 kB
Dirty: 2024 kB
Writeback: 0 kB
Mapped: 13948 kB
Slab: 16620 kB
Committed_AS: 1052168 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66360 MiB
End job on node86 at 2009-05-19 23:58:37