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 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16680 50680 | -- 0 -- -- | -- | -120/280
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3894 #clauses: 16680 #literals: 50680
0.00/0.05 c CPU time: 0.045993 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3894 |
0.00/0.07 c | Number of clauses: 16680 |
0.06/0.08 c | Parsing time: 0.01 s |
0.06/0.08 c ============================[ Search Statistics ]==============================
0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.06/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.06/0.08 c ===============================================================================
0.06/0.08 c | 0 | 3894 16680 50680 | 5560 0 nan | 0.000 % |
0.06/0.10 c | 100 | 3894 16680 50680 | 5560 100 96 | 0.000 % |
0.06/0.11 c | 201 | 3894 16680 50680 | 5560 201 82 | 0.000 % |
0.06/0.12 c | 302 | 3894 16680 50680 | 5560 302 88 | 0.000 % |
0.06/0.14 c | 412 | 3894 16680 50680 | 5560 412 89 | 0.000 % |
0.06/0.15 c | 515 | 3894 16680 50680 | 5560 515 91 | 0.000 % |
0.06/0.17 c | 625 | 3894 16680 50680 | 5560 625 93 | 0.000 % |
0.06/0.19 c | 750 | 3894 16680 50680 | 5560 750 93 | 0.000 % |
0.06/0.20 c | 850 | 3894 16680 50680 | 5560 850 93 | 0.000 % |
0.06/0.21 c | 960 | 3894 16680 50680 | 5560 960 92 | 0.000 % |
0.06/0.23 c | 1082 | 3894 16680 50680 | 5560 1082 90 | 0.000 % |
0.06/0.25 c | 1219 | 3894 16680 50680 | 5560 1219 91 | 0.000 % |
0.06/0.26 c | 1319 | 3894 16680 50680 | 5560 1319 91 | 0.000 % |
0.06/0.28 c | 1429 | 3894 16680 50680 | 5560 1429 92 | 0.000 % |
0.06/0.30 c | 1550 | 3894 16680 50680 | 5560 1550 92 | 0.000 % |
0.06/0.31 c | 1685 | 3894 16680 50680 | 5560 1685 91 | 0.000 % |
0.06/0.33 c | 1831 | 3894 16680 50680 | 5560 1831 92 | 0.000 % |
0.06/0.35 c | 1932 | 3894 16680 50680 | 5560 1932 92 | 0.000 % |
0.06/0.36 c | 2043 | 3894 16680 50680 | 5560 2043 92 | 0.000 % |
0.06/0.38 c | 2164 | 3894 16680 50680 | 5560 2164 91 | 0.000 % |
0.06/0.40 c | 2298 | 3894 16680 50680 | 5560 2298 91 | 0.000 % |
0.06/0.42 c | 2445 | 3894 16680 50680 | 5560 2445 91 | 0.000 % |
0.06/0.44 c | 2605 | 3894 16680 50680 | 5560 2605 91 | 0.000 % |
0.06/0.46 c | 2707 | 3894 16680 50680 | 5560 2707 92 | 0.000 % |
0.06/0.47 c | 2817 | 3894 16680 50680 | 5560 2817 91 | 0.000 % |
0.06/0.49 c | 2938 | 3894 16680 50680 | 5560 2938 91 | 0.000 % |
0.06/0.51 c | 3072 | 3894 16680 50680 | 5560 3072 90 | 0.000 % |
0.06/0.53 c | 3220 | 3894 16680 50680 | 5560 3220 91 | 0.000 % |
0.06/0.56 c | 3380 | 3894 16680 50680 | 5560 3380 91 | 0.000 % |
0.06/0.58 c | 3558 | 3894 16680 50680 | 5560 3558 92 | 0.000 % |
0.06/0.60 c | 3658 | 3894 16680 50680 | 5560 3658 92 | 0.000 % |
0.06/0.61 c | 3769 | 3894 16680 50680 | 5560 3769 91 | 0.000 % |
0.06/0.63 c | 3890 | 3894 16680 50680 | 5560 3890 91 | 0.000 % |
0.06/0.65 c | 4023 | 3894 16680 50680 | 5560 4023 91 | 0.000 % |
0.06/0.68 c | 4170 | 3894 16680 50680 | 5560 4170 91 | 0.000 % |
0.06/0.70 c | 4330 | 3894 16680 50680 | 5560 4330 91 | 0.000 % |
0.06/0.73 c | 4507 | 3894 16680 50680 | 5560 4507 91 | 0.000 % |
0.06/0.75 c | 4701 | 3894 16680 50680 | 5560 4701 91 | 0.000 % |
0.06/0.77 c | 4801 | 3894 16680 50680 | 5560 4801 91 | 0.000 % |
0.06/0.78 c | 4912 | 3894 16680 50680 | 5560 4912 91 | 0.000 % |
0.06/0.80 c | 5036 | 3894 16680 50680 | 5560 5036 91 | 0.000 % |
0.06/0.82 c | 5169 | 3894 16680 50680 | 5560 5169 91 | 0.000 % |
0.06/0.85 c | 5317 | 3894 16680 50680 | 5560 5317 91 | 0.000 % |
0.06/0.87 c | 5478 | 3894 16680 50680 | 5560 5478 90 | 0.000 % |
0.06/0.90 c | 5654 | 3894 16680 50680 | 5560 5654 90 | 0.000 % |
0.06/0.93 c | 5849 | 3894 16680 50680 | 5560 5284 89 | 0.000 % |
0.06/0.96 c | 6061 | 3894 16680 50680 | 5560 5496 89 | 0.000 % |
0.06/0.98 c | 6166 | 3894 16680 50680 | 5560 5601 89 | 0.000 % |
0.06/1.00 c | 6276 | 3894 16680 50680 | 5560 5151 88 | 0.000 % |
0.97/1.02 c | 6397 | 3894 16680 50680 | 5560 5272 89 | 0.000 % |
0.97/1.04 c | 6532 | 3894 16680 50680 | 5560 5407 89 | 0.000 % |
0.97/1.06 c | 6679 | 3894 16680 50680 | 5560 5554 89 | 0.000 % |
0.97/1.08 c | 6839 | 3894 16680 50680 | 5560 5714 89 | 0.000 % |
1.07/1.11 c | 7015 | 3894 16680 50680 | 5560 5319 89 | 0.000 % |
1.07/1.13 c | 7208 | 3894 16680 50680 | 5560 5512 88 | 0.000 % |
1.07/1.16 c | 7421 | 3894 16680 50680 | 5560 5725 89 | 0.000 % |
1.17/1.20 c | 7655 | 3894 16680 50680 | 5560 5387 90 | 0.000 % |
1.17/1.22 c | 7755 | 3894 16680 50680 | 5560 5487 90 | 0.000 % |
1.17/1.23 c | 7866 | 3894 16680 50680 | 5560 5598 90 | 0.000 % |
1.17/1.25 c | 7988 | 3894 16680 50680 | 5560 5161 89 | 0.000 % |
1.17/1.27 c | 8121 | 3894 16680 50680 | 5560 5294 89 | 0.000 % |
1.17/1.29 c | 8271 | 3894 16680 50680 | 5560 5444 89 | 0.000 % |
1.27/1.32 c | 8431 | 3894 16680 50680 | 5560 5604 89 | 0.000 % |
1.27/1.35 c | 8608 | 3894 16680 50680 | 5560 5221 89 | 0.000 % |
1.27/1.37 c | 8801 | 3894 16680 50680 | 5560 5414 89 | 0.000 % |
1.37/1.41 c | 9015 | 3894 16680 50680 | 5560 5628 90 | 0.000 % |
1.37/1.44 c | 9249 | 3894 16680 50680 | 5560 5300 89 | 0.000 % |
1.37/1.48 c | 9505 | 3894 16680 50680 | 5560 5556 90 | 0.000 % |
1.37/1.49 c | 9605 | 3894 16680 50680 | 5560 5656 90 | 0.000 % |
1.47/1.51 c | 9718 | 3894 16680 50680 | 5560 5204 90 | 0.000 % |
1.47/1.53 c | 9839 | 3894 16680 50680 | 5560 5325 90 | 0.000 % |
1.47/1.54 c | 9973 | 3894 16680 50680 | 5560 5459 90 | 0.000 % |
1.47/1.57 c | 10120 | 3894 16680 50680 | 2147483647 5606 89 | 0.000 % |
1.47/1.59 c | 10280 | 3894 16680 50680 | 2147483647 5766 89 | 0.000 % |
1.57/1.62 c | 10456 | 3894 16680 50680 | 2147483647 5942 90 | 0.000 % |
1.57/1.64 c | 10649 | 3894 16680 50680 | 2147483647 6135 90 | 0.000 % |
1.57/1.67 c | 10861 | 3894 16680 50680 | 2147483647 6347 90 | 0.000 % |
1.67/1.71 c | 11094 | 3894 16680 50680 | 2147483647 6580 90 | 0.000 % |
1.67/1.75 c | 11350 | 3894 16680 50680 | 2147483647 6836 90 | 0.000 % |
1.67/1.79 c | 11634 | 3894 16680 50680 | 2147483647 7120 91 | 0.000 % |
1.76/1.81 c | 11735 | 3894 16680 50680 | 2147483647 7221 91 | 0.000 % |
1.76/1.83 c | 11845 | 3894 16680 50680 | 2147483647 7331 91 | 0.000 % |
1.76/1.85 c | 11966 | 3894 16680 50680 | 2147483647 7452 91 | 0.000 % |
1.76/1.87 c | 12102 | 3894 16680 50680 | 2147483647 7588 91 | 0.000 % |
1.76/1.89 c | 12248 | 3894 16680 50680 | 2147483647 7734 91 | 0.000 % |
1.86/1.92 c | 12408 | 3894 16680 50680 | 2147483647 7894 91 | 0.000 % |
1.86/1.95 c | 12586 | 3894 16680 50680 | 2147483647 8072 91 | 0.000 % |
1.86/1.97 c | 12780 | 3894 16680 50680 | 2147483647 8266 91 | 0.000 % |
1.96/2.01 c | 12994 | 3894 16680 50680 | 2147483647 8480 91 | 0.000 % |
1.96/2.05 c | 13231 | 3894 16680 50680 | 2147483647 8717 91 | 0.000 % |
1.96/2.09 c | 13488 | 3894 16680 50680 | 2147483647 8974 92 | 0.000 % |
2.07/2.13 c | 13770 | 3894 16680 50680 | 2147483647 9256 92 | 0.000 % |
2.07/2.19 c | 14080 | 3894 16680 50680 | 2147483647 9566 93 | 0.000 % |
2.17/2.20 c | 14180 | 3894 16680 50680 | 2147483647 9666 93 | 0.000 % |
2.17/2.22 c | 14293 | 3894 16680 50680 | 2147483647 9779 92 | 0.000 % |
2.17/2.25 c | 14416 | 3894 16680 50680 | 2147483647 9902 92 | 0.000 % |
2.17/2.27 c | 14549 | 3894 16680 50680 | 2147483647 10035 92 | 0.000 % |
2.17/2.29 c | 14695 | 3894 16680 50680 | 2147483647 10181 92 | 0.000 % |
2.26/2.32 c | 14855 | 3894 16680 50680 | 2147483647 10341 92 | 0.000 % |
2.26/2.35 c | 15034 | 3894 16680 50680 | 2147483647 10520 92 | 0.000 % |
2.26/2.38 c | 15227 | 3894 16680 50680 | 2147483647 10713 93 | 0.000 % |
2.36/2.41 c | 15439 | 3894 16680 50680 | 2147483647 10925 93 | 0.000 % |
2.36/2.46 c | 15672 | 3894 16680 50680 | 2147483647 11158 93 | 0.000 % |
2.47/2.50 c | 15928 | 3894 16680 50680 | 2147483647 11414 93 | 0.000 % |
2.47/2.55 c | 16210 | 3894 16680 50680 | 2147483647 11696 93 | 0.000 % |
2.57/2.61 c | 16519 | 3894 16680 50680 | 2147483647 12005 94 | 0.000 % |
2.57/2.67 c | 16858 | 3894 16680 50680 | 2147483647 12344 94 | 0.000 % |
2.57/2.69 c | 16959 | 3894 16680 50680 | 2147483647 12445 94 | 0.000 % |
2.67/2.71 c | 17069 | 3894 16680 50680 | 2147483647 12555 95 | 0.000 % |
2.67/2.74 c | 17191 | 3894 16680 50680 | 2147483647 12677 94 | 0.000 % |
2.67/2.77 c | 17324 | 3894 16680 50680 | 2147483647 12810 95 | 0.000 % |
2.76/2.80 c | 17472 | 3894 16680 50680 | 2147483647 12958 95 | 0.000 % |
2.76/2.83 c | 17634 | 3894 16680 50680 | 2147483647 13120 95 | 0.000 % |
2.76/2.86 c | 17811 | 3894 16680 50680 | 2147483647 13297 95 | 0.000 % |
2.86/2.90 c | 18004 | 3894 16680 50680 | 2147483647 13490 95 | 0.000 % |
2.86/2.94 c | 18217 | 3894 16680 50680 | 2147483647 13703 95 | 0.000 % |
2.86/2.99 c | 18451 | 3894 16680 50680 | 2147483647 13937 95 | 0.000 % |
2.96/3.04 c | 18707 | 3894 16680 50680 | 2147483647 14193 94 | 0.000 % |
2.96/3.09 c | 18988 | 3894 16680 50680 | 2147483647 14474 94 | 0.000 % |
3.06/3.16 c | 19299 | 3894 16680 50680 | 2147483647 14785 95 | 0.000 % |
3.16/3.22 c | 19638 | 3894 16680 50680 | 2147483647 15124 95 | 0.000 % |
3.16/3.30 c | 20010 | 3894 16680 50680 | 2147483647 15496 95 | 0.000 % |
3.26/3.33 c | 20112 | 3894 16680 50680 | 2147483647 15598 95 | 0.000 % |
3.26/3.35 c | 20224 | 3894 16680 50680 | 2147483647 15710 95 | 0.000 % |
3.26/3.38 c | 20347 | 3894 16680 50680 | 2147483647 15833 95 | 0.000 % |
3.36/3.40 c | 20480 | 3894 16680 50680 | 2147483647 15966 95 | 0.000 % |
3.36/3.43 c | 20627 | 3894 16680 50680 | 2147483647 16113 95 | 0.000 % |
3.36/3.47 c | 20787 | 3894 16680 50680 | 2147483647 16273 95 | 0.000 % |
3.46/3.51 c | 20963 | 3894 16680 50680 | 2147483647 16449 95 | 0.000 % |
3.46/3.55 c | 21160 | 3894 16680 50680 | 2147483647 16646 95 | 0.000 % |
3.46/3.59 c | 21372 | 3894 16680 50680 | 2147483647 16858 95 | 0.000 % |
3.56/3.64 c | 21607 | 3894 16680 50680 | 2147483647 17093 95 | 0.000 % |
3.56/3.70 c | 21863 | 3894 16680 50680 | 2147483647 17349 95 | 0.000 % |
3.66/3.75 c | 22145 | 3894 16680 50680 | 2147483647 17631 95 | 0.000 % |
3.77/3.82 c | 22455 | 3894 16680 50680 | 2147483647 17941 95 | 0.000 % |
3.77/3.89 c | 22794 | 3894 16680 50680 | 2147483647 18280 96 | 0.000 % |
3.86/3.98 c | 23166 | 3894 16680 50680 | 2147483647 18652 96 | 0.000 % |
3.96/4.07 c | 23575 | 3894 16680 50680 | 2147483647 19061 96 | 0.000 % |
3.96/4.10 c | 23675 | 3894 16680 50680 | 2147483647 19161 96 | 0.000 % |
4.06/4.12 c | 23785 | 3894 16680 50680 | 2147483647 19271 96 | 0.000 % |
4.06/4.15 c | 23906 | 3894 16680 50680 | 2147483647 19392 96 | 0.000 % |
4.06/4.18 c | 24039 | 3894 16680 50680 | 2147483647 19525 96 | 0.000 % |
4.16/4.22 c | 24185 | 3894 16680 50680 | 2147483647 19671 96 | 0.000 % |
4.16/4.25 c | 24348 | 3894 16680 50680 | 2147483647 19834 96 | 0.000 % |
4.16/4.30 c | 24525 | 3894 16680 50680 | 2147483647 20011 96 | 0.000 % |
4.26/4.34 c | 24719 | 3894 16680 50680 | 2147483647 20205 96 | 0.000 % |
4.26/4.39 c | 24932 | 3894 16680 50680 | 2147483647 20418 95 | 0.000 % |
4.36/4.44 c | 25165 | 3894 16680 50680 | 2147483647 20651 95 | 0.000 % |
4.46/4.50 c | 25421 | 3894 16680 50680 | 2147483647 20907 96 | 0.000 % |
4.46/4.57 c | 25702 | 3894 16680 50680 | 2147483647 21188 96 | 0.000 % |
4.56/4.64 c | 26011 | 3894 16680 50680 | 2147483647 21497 96 | 0.000 % |
4.66/4.73 c | 26350 | 3894 16680 50680 | 2147483647 21836 96 | 0.000 % |
4.76/4.82 c | 26725 | 3894 16680 50680 | 2147483647 22211 96 | 0.000 % |
4.85/4.92 c | 27134 | 3894 16680 50680 | 2147483647 22620 96 | 0.000 % |
4.95/5.02 c | 27586 | 3894 16680 50680 | 2147483647 23072 96 | 0.000 % |
4.95/5.05 c | 27686 | 3894 16680 50680 | 2147483647 23172 96 | 0.000 % |
4.95/5.08 c | 27799 | 3894 16680 50680 | 2147483647 23285 96 | 0.000 % |
5.05/5.11 c | 27920 | 3894 16680 50680 | 2147483647 23406 96 | 0.000 % |
5.05/5.15 c | 28053 | 3894 16680 50680 | 2147483647 23539 96 | 0.000 % |
5.05/5.19 c | 28200 | 3894 16680 50680 | 2147483647 23686 96 | 0.000 % |
5.15/5.23 c | 28360 | 3894 16680 50680 | 2147483647 23846 96 | 0.000 % |
5.15/5.28 c | 28536 | 3894 16680 50680 | 2147483647 24022 96 | 0.000 % |
5.25/5.33 c | 28729 | 3894 16680 50680 | 2147483647 24215 96 | 0.000 % |
5.25/5.39 c | 28941 | 3894 16680 50680 | 2147483647 24427 96 | 0.000 % |
5.36/5.45 c | 29175 | 3894 16680 50680 | 2147483647 24661 96 | 0.000 % |
5.46/5.51 c | 29431 | 3894 16680 50680 | 2147483647 24917 96 | 0.000 % |
5.46/5.59 c | 29712 | 3894 16680 50680 | 2147483647 25198 96 | 0.000 % |
5.55/5.67 c | 30022 | 3894 16680 50680 | 2147483647 25508 96 | 0.000 % |
5.65/5.77 c | 30361 | 3894 16680 50680 | 2147483647 25847 96 | 0.000 % |
5.75/5.87 c | 30733 | 3894 16680 50680 | 2147483647 26219 97 | 0.000 % |
5.86/5.98 c | 31143 | 3894 16680 50680 | 2147483647 26629 96 | 0.000 % |
6.06/6.11 c | 31593 | 3894 16680 50680 | 2147483647 27079 97 | 0.000 % |
6.16/6.26 c | 32086 | 3894 16680 50680 | 2147483647 27572 97 | 0.000 % |
6.16/6.29 c | 32187 | 3894 16680 50680 | 2147483647 27673 97 | 0.000 % |
6.26/6.32 c | 32298 | 3894 16680 50680 | 2147483647 27784 97 | 0.000 % |
6.26/6.36 c | 32419 | 3894 16680 50680 | 2147483647 27905 97 | 0.000 % |
6.36/6.40 c | 32553 | 3894 16680 50680 | 2147483647 28039 97 | 0.000 % |
6.36/6.45 c | 32699 | 3894 16680 50680 | 2147483647 28185 97 | 0.000 % |
6.36/6.49 c | 32862 | 3894 16680 50680 | 2147483647 28348 97 | 0.000 % |
6.46/6.55 c | 33039 | 3894 16680 50680 | 2147483647 28525 97 | 0.000 % |
6.56/6.61 c | 33234 | 3894 16680 50680 | 2147483647 28720 97 | 0.000 % |
6.56/6.67 c | 33446 | 3894 16680 50680 | 2147483647 28932 97 | 0.000 % |
6.66/6.74 c | 33681 | 3894 16680 50680 | 2147483647 29167 97 | 0.000 % |
6.76/6.81 c | 33938 | 3894 16680 50680 | 2147483647 29424 97 | 0.000 % |
6.85/6.90 c | 34220 | 3894 16680 50680 | 2147483647 29706 97 | 0.000 % |
6.85/6.98 c | 34529 | 3894 16680 50680 | 2147483647 30015 97 | 0.000 % |
6.95/7.09 c | 34869 | 3894 16680 50680 | 2147483647 30355 97 | 0.000 % |
7.15/7.21 c | 35242 | 3894 16680 50680 | 2147483647 30728 97 | 0.000 % |
7.25/7.33 c | 35652 | 3894 16680 50680 | 2147483647 31138 97 | 0.000 % |
7.35/7.47 c | 36101 | 3894 16680 50680 | 2147483647 31587 97 | 0.000 % |
7.55/7.62 c | 36597 | 3894 16680 50680 | 2147483647 32083 97 | 0.000 % |
7.65/7.77 c | 37141 | 3894 16680 50680 | 2147483647 32627 98 | 0.000 % |
7.75/7.81 c | 37241 | 3894 16680 50680 | 2147483647 32727 98 | 0.000 % |
7.75/7.84 c | 37351 | 3894 16680 50680 | 2147483647 32837 98 | 0.000 % |
7.75/7.88 c | 37472 | 3894 16680 50680 | 2147483647 32958 98 | 0.000 % |
7.86/7.93 c | 37605 | 3894 16680 50680 | 2147483647 33091 98 | 0.000 % |
7.86/7.98 c | 37752 | 3894 16680 50680 | 2147483647 33238 98 | 0.000 % |
7.96/8.03 c | 37912 | 3894 16680 50680 | 2147483647 33398 98 | 0.000 % |
7.96/8.09 c | 38089 | 3894 16680 50680 | 2147483647 33575 98 | 0.000 % |
8.06/8.17 c | 38283 | 3894 16680 50680 | 2147483647 33769 98 | 0.000 % |
8.16/8.25 c | 38495 | 3894 16680 50680 | 2147483647 33981 98 | 0.000 % |
8.26/8.33 c | 38728 | 3894 16680 50680 | 2147483647 34214 98 | 0.000 % |
8.36/8.41 c | 38984 | 3894 16680 50680 | 2147483647 34470 98 | 0.000 % |
8.46/8.50 c | 39265 | 3894 16680 50680 | 2147483647 34751 98 | 0.000 % |
8.56/8.61 c | 39575 | 3894 16680 50680 | 2147483647 35061 98 | 0.000 % |
8.66/8.73 c | 39915 | 3894 16680 50680 | 2147483647 35401 98 | 0.000 % |
8.76/8.85 c | 40289 | 3894 16680 50680 | 2147483647 35775 98 | 0.000 % |
8.85/8.98 c | 40698 | 3894 16680 50680 | 2147483647 36184 98 | 0.000 % |
9.05/9.12 c | 41148 | 3894 16680 50680 | 2147483647 36634 98 | 0.000 % |
9.25/9.30 c | 41641 | 3894 16680 50680 | 2147483647 37127 98 | 0.000 % |
9.35/9.50 c | 42184 | 3894 16680 50680 | 2147483647 37670 98 | 0.000 % |
9.65/9.70 c | 42780 | 3894 16680 50680 | 2147483647 38266 98 | 0.000 % |
9.65/9.74 c | 42881 | 3894 16680 50680 | 2147483647 38367 98 | 0.000 % |
9.65/9.78 c | 42991 | 3894 16680 50680 | 2147483647 38477 98 | 0.000 % |
9.75/9.82 c | 43113 | 3894 16680 50680 | 2147483647 38599 98 | 0.000 % |
9.75/9.87 c | 43247 | 3894 16680 50680 | 2147483647 38733 98 | 0.000 % |
9.85/9.92 c | 43393 | 3894 16680 50680 | 2147483647 38879 98 | 0.000 % |
9.85/9.98 c | 43553 | 3894 16680 50680 | 2147483647 39039 98 | 0.000 % |
9.95/10.05 c | 43729 | 3894 16680 50680 | 2147483647 39215 98 | 0.000 % |
10.05/10.13 c | 43923 | 3894 16680 50680 | 2147483647 39409 98 | 0.000 % |
10.15/10.21 c | 44136 | 3894 16680 50680 | 2147483647 39622 98 | 0.000 % |
10.15/10.29 c | 44370 | 3894 16680 50680 | 2147483647 39856 98 | 0.000 % |
10.25/10.39 c | 44626 | 3894 16680 50680 | 2147483647 40112 98 | 0.000 % |
10.35/10.50 c | 44908 | 3894 16680 50680 | 2147483647 40394 98 | 0.000 % |
10.55/10.61 c | 45218 | 3894 16680 50680 | 2147483647 40704 98 | 0.000 % |
10.65/10.73 c | 45557 | 3894 16680 50680 | 2147483647 41043 98 | 0.000 % |
10.74/10.87 c | 45930 | 3894 16680 50680 | 2147483647 41416 99 | 0.000 % |
10.95/11.00 c | 46339 | 3894 16680 50680 | 2147483647 41825 99 | 0.000 % |
11.04/11.17 c | 46789 | 3894 16680 50680 | 2147483647 42275 98 | 0.000 % |
11.24/11.36 c | 47286 | 3894 16680 50680 | 2147483647 42772 99 | 0.000 % |
11.44/11.55 c | 47828 | 3894 16680 50680 | 2147483647 43314 99 | 0.000 % |
11.65/11.77 c | 48424 | 3894 16680 50680 | 2147483647 43910 99 | 0.000 % |
11.95/12.02 c | 49080 | 3894 16680 50680 | 2147483647 44566 99 | 0.000 % |
11.95/12.07 c | 49182 | 3894 16680 50680 | 2147483647 44668 99 | 0.000 % |
12.05/12.13 c | 49292 | 3894 16680 50680 | 2147483647 44778 99 | 0.000 % |
12.05/12.18 c | 49413 | 3894 16680 50680 | 2147483647 44899 99 | 0.000 % |
12.14/12.24 c | 49548 | 3894 16680 50680 | 2147483647 45034 99 | 0.000 % |
12.24/12.31 c | 49695 | 3894 16680 50680 | 2147483647 45181 99 | 0.000 % |
12.24/12.37 c | 49857 | 3894 16680 50680 | 2147483647 45343 99 | 0.000 % |
12.34/12.44 c | 50033 | 3894 16680 50680 | 2147483647 45519 98 | 0.000 % |
12.44/12.53 c | 50226 | 3894 16680 50680 | 2147483647 45712 99 | 0.000 % |
12.54/12.62 c | 50438 | 3894 16680 50680 | 2147483647 45924 99 | 0.000 % |
12.64/12.71 c | 50673 | 3894 16680 50680 | 2147483647 46159 99 | 0.000 % |
12.74/12.81 c | 50931 | 3894 16680 50680 | 2147483647 46417 99 | 0.000 % |
12.84/12.94 c | 51212 | 3894 16680 50680 | 2147483647 46698 98 | 0.000 % |
12.94/13.06 c | 51521 | 3894 16680 50680 | 2147483647 47007 98 | 0.000 % |
13.14/13.20 c | 51860 | 3894 16680 50680 | 2147483647 47346 98 | 0.000 % |
13.24/13.36 c | 52234 | 3894 16680 50680 | 2147483647 47720 98 | 0.000 % |
13.44/13.54 c | 52646 | 3894 16680 50680 | 2147483647 48132 98 | 0.000 % |
13.65/13.71 c | 53095 | 3894 16680 50680 | 2147483647 48581 98 | 0.000 % |
13.85/13.92 c | 53588 | 3894 16680 50680 | 2147483647 49074 99 | 0.000 % |
14.05/14.15 c | 54131 | 3894 16680 50680 | 2147483647 49617 99 | 0.000 % |
14.35/14.41 c | 54727 | 3894 16680 50680 | 2147483647 50213 99 | 0.000 % |
14.55/14.68 c | 55382 | 3894 16680 50680 | 2147483647 50868 99 | 0.000 % |
14.85/14.98 c | 56104 | 3894 16680 50680 | 2147483647 51590 99 | 0.000 % |
14.95/15.03 c | 56206 | 3894 16680 50680 | 2147483647 51692 99 | 0.000 % |
14.95/15.08 c | 56318 | 3894 16680 50680 | 2147483647 51804 99 | 0.000 % |
15.05/15.14 c | 56442 | 3894 16680 50680 | 2147483647 51928 99 | 0.000 % |
15.15/15.21 c | 56575 | 3894 16680 50680 | 2147483647 52061 99 | 0.000 % |
15.15/15.29 c | 56721 | 3894 16680 50680 | 2147483647 52207 99 | 0.000 % |
15.25/15.38 c | 56882 | 3894 16680 50680 | 2147483647 52368 99 | 0.000 % |
15.35/15.46 c | 57059 | 3894 16680 50680 | 2147483647 52545 99 | 0.000 % |
15.45/15.56 c | 57253 | 3894 16680 50680 | 2147483647 52739 99 | 0.000 % |
15.55/15.66 c | 57465 | 3894 16680 50680 | 2147483647 52951 99 | 0.000 % |
15.64/15.77 c | 57699 | 3894 16680 50680 | 2147483647 53185 99 | 0.000 % |
15.74/15.88 c | 57955 | 3894 16680 50680 | 2147483647 53441 99 | 0.000 % |
15.94/16.01 c | 58236 | 3894 16680 50680 | 2147483647 53722 99 | 0.000 % |
16.04/16.15 c | 58547 | 3894 16680 50680 | 2147483647 54033 99 | 0.000 % |
16.24/16.30 c | 58887 | 3894 16680 50680 | 2147483647 54373 99 | 0.000 % |
16.35/16.47 c | 59259 | 3894 16680 50680 | 2147483647 54745 99 | 0.000 % |
16.54/16.66 c | 59669 | 3894 16680 50680 | 2147483647 55155 99 | 0.000 % |
16.74/16.85 c | 60118 | 3894 16680 50680 | 2147483647 55604 100 | 0.000 % |
16.94/17.09 c | 60611 | 3894 16680 50680 | 2147483647 56097 100 | 0.000 % |
17.24/17.35 c | 61155 | 3894 16680 50680 | 2147483647 56641 100 | 0.000 % |
17.54/17.61 c | 61755 | 3894 16680 50680 | 2147483647 57241 100 | 0.000 % |
17.84/17.91 c | 62412 | 3894 16680 50680 | 2147483647 57898 100 | 0.000 % |
18.14/18.24 c | 63134 | 3894 16680 50680 | 2147483647 58620 100 | 0.000 % |
18.55/18.60 c | 63927 | 3894 16680 50680 | 2147483647 59413 100 | 0.000 % |
18.55/18.66 c | 64028 | 3894 16680 50680 | 2147483647 59514 100 | 0.000 % |
18.65/18.73 c | 64140 | 3894 16680 50680 | 2147483647 59626 100 | 0.000 % |
18.65/18.79 c | 64263 | 3894 16680 50680 | 2147483647 59749 100 | 0.000 % |
18.75/18.87 c | 64400 | 3894 16680 50680 | 2147483647 59886 100 | 0.000 % |
18.85/18.93 c | 64546 | 3894 16680 50680 | 2147483647 60032 100 | 0.000 % |
18.95/19.03 c | 64707 | 3894 16680 50680 | 2147483647 60193 100 | 0.000 % |
19.05/19.12 c | 64884 | 3894 16680 50680 | 2147483647 60370 100 | 0.000 % |
19.14/19.22 c | 65078 | 3894 16680 50680 | 2147483647 60564 100 | 0.000 % |
19.24/19.34 c | 65291 | 3894 16680 50680 | 2147483647 60777 100 | 0.000 % |
19.34/19.45 c | 65524 | 3894 16680 50680 | 2147483647 61010 100 | 0.000 % |
19.44/19.59 c | 65783 | 3894 16680 50680 | 2147483647 61269 100 | 0.000 % |
19.65/19.73 c | 66064 | 3894 16680 50680 | 2147483647 61550 100 | 0.000 % |
19.75/19.90 c | 66375 | 3894 16680 50680 | 2147483647 61861 100 | 0.000 % |
19.94/20.06 c | 66714 | 3894 16680 50680 | 2147483647 62200 100 | 0.000 % |
20.14/20.23 c | 67089 | 3894 16680 50680 | 2147483647 62575 100 | 0.000 % |
20.34/20.46 c | 67500 | 3894 16680 50680 | 2147483647 62986 100 | 0.000 % |
20.54/20.70 c | 67950 | 3894 16680 50680 | 2147483647 63436 100 | 0.000 % |
20.84/20.96 c | 68443 | 3894 16680 50680 | 2147483647 63929 100 | 0.000 % |
21.13/21.23 c | 68986 | 3894 16680 50680 | 2147483647 64472 100 | 0.000 % |
21.43/21.55 c | 69582 | 3894 16680 50680 | 2147483647 65068 100 | 0.000 % |
21.73/21.87 c | 70237 | 3894 16680 50680 | 2147483647 65723 100 | 0.000 % |
22.13/22.22 c | 70957 | 3894 16680 50680 | 2147483647 66443 100 | 0.000 % |
22.54/22.63 c | 71749 | 3894 16680 50680 | 2147483647 67235 101 | 0.000 % |
22.94/23.05 c | 72620 | 3894 16680 50680 | 2147483647 68106 101 | 0.000 % |
23.04/23.11 c | 72720 | 3894 16680 50680 | 2147483647 68206 101 | 0.000 % |
23.04/23.18 c | 72833 | 3894 16680 50680 | 2147483647 68319 101 | 0.000 % |
23.13/23.25 c | 72955 | 3894 16680 50680 | 2147483647 68441 101 | 0.000 % |
23.23/23.33 c | 73088 | 3894 16680 50680 | 2147483647 68574 101 | 0.000 % |
23.33/23.44 c | 73234 | 3894 16680 50680 | 2147483647 68720 101 | 0.000 % |
23.43/23.53 c | 73394 | 3894 16680 50680 | 2147483647 68880 101 | 0.000 % |
23.53/23.64 c | 73570 | 3894 16680 50680 | 2147483647 69056 101 | 0.000 % |
23.63/23.75 c | 73766 | 3894 16680 50680 | 2147483647 69252 101 | 0.000 % |
23.73/23.88 c | 73979 | 3894 16680 50680 | 2147483647 69465 101 | 0.000 % |
23.93/24.01 c | 74212 | 3894 16680 50680 | 2147483647 69698 101 | 0.000 % |
24.04/24.15 c | 74468 | 3894 16680 50680 | 2147483647 69954 101 | 0.000 % |
24.23/24.30 c | 74749 | 3894 16680 50680 | 2147483647 70235 101 | 0.000 % |
24.33/24.48 c | 75058 | 3894 16680 50680 | 2147483647 70544 101 | 0.000 % |
24.53/24.69 c | 75398 | 3894 16680 50680 | 2147483647 70884 101 | 0.000 % |
24.74/24.89 c | 75771 | 3894 16680 50680 | 2147483647 71257 101 | 0.000 % |
25.03/25.11 c | 76181 | 3894 16680 50680 | 2147483647 71667 101 | 0.000 % |
25.24/25.36 c | 76631 | 3894 16680 50680 | 2147483647 72117 101 | 0.000 % |
25.43/25.59 c | 77124 | 3894 16680 50680 | 2147483647 72610 101 | 0.000 % |
25.73/25.87 c | 77671 | 3894 16680 50680 | 2147483647 73157 101 | 0.000 % |
26.03/26.19 c | 78267 | 3894 16680 50680 | 2147483647 73753 101 | 0.000 % |
26.43/26.55 c | 78924 | 3894 16680 50680 | 2147483647 74410 101 | 0.000 % |
26.84/26.93 c | 79644 | 3894 16680 50680 | 2147483647 75130 101 | 0.000 % |
27.24/27.33 c | 80437 | 3894 16680 50680 | 2147483647 75923 102 | 0.000 % |
27.73/27.80 c | 81308 | 3894 16680 50680 | 2147483647 76794 102 | 0.000 % |
28.13/28.29 c | 82270 | 3894 16680 50680 | 2147483647 77756 102 | 0.000 % |
28.23/28.36 c | 82371 | 3894 16680 50680 | 2147483647 77857 102 | 0.000 % |
28.33/28.43 c | 82483 | 3894 16680 50680 | 2147483647 77969 102 | 0.000 % |
28.44/28.52 c | 82604 | 3894 16680 50680 | 2147483647 78090 102 | 0.000 % |
28.54/28.61 c | 82738 | 3894 16680 50680 | 2147483647 78224 102 | 0.000 % |
28.63/28.70 c | 82886 | 3894 16680 50680 | 2147483647 78372 102 | 0.000 % |
28.73/28.81 c | 83046 | 3894 16680 50680 | 2147483647 78532 102 | 0.000 % |
28.83/28.93 c | 83222 | 3894 16680 50680 | 2147483647 78708 102 | 0.000 % |
28.93/29.07 c | 83418 | 3894 16680 50680 | 2147483647 78904 102 | 0.000 % |
29.13/29.21 c | 83630 | 3894 16680 50680 | 2147483647 79116 102 | 0.000 % |
29.23/29.37 c | 83863 | 3894 16680 50680 | 2147483647 79349 102 | 0.000 % |
29.43/29.54 c | 84119 | 3894 16680 50680 | 2147483647 79605 102 | 0.000 % |
29.63/29.71 c | 84401 | 3894 16680 50680 | 2147483647 79887 102 | 0.000 % |
29.83/29.90 c | 84711 | 3894 16680 50680 | 2147483647 80197 102 | 0.000 % |
30.03/30.13 c | 85051 | 3894 16680 50680 | 2147483647 80537 102 | 0.000 % |
30.23/30.35 c | 85424 | 3894 16680 50680 | 2147483647 80910 102 | 0.000 % |
30.53/30.60 c | 85834 | 3894 16680 50680 | 2147483647 81320 102 | 0.000 % |
30.73/30.88 c | 86283 | 3894 16680 50680 | 2147483647 81769 102 | 0.000 % |
31.02/31.19 c | 86776 | 3894 16680 50680 | 2147483647 82262 102 | 0.000 % |
31.42/31.51 c | 87318 | 3894 16680 50680 | 2147483647 82804 102 | 0.000 % |
31.73/31.87 c | 87914 | 3894 16680 50680 | 2147483647 83400 102 | 0.000 % |
32.12/32.28 c | 88569 | 3894 16680 50680 | 2147483647 84055 102 | 0.000 % |
32.63/32.73 c | 89290 | 3894 16680 50680 | 2147483647 84776 102 | 0.000 % |
33.13/33.22 c | 90082 | 3894 16680 50680 | 2147483647 85568 102 | 0.000 % |
33.73/33.83 c | 90954 | 3894 16680 50680 | 2147483647 86440 102 | 0.000 % |
34.32/34.43 c | 91914 | 3894 16680 50680 | 2147483647 87400 102 | 0.000 % |
35.03/35.12 c | 92969 | 3894 16680 50680 | 2147483647 88455 102 | 0.000 % |
35.03/35.20 c | 93070 | 3894 16680 50680 | 2147483647 88556 102 | 0.000 % |
35.22/35.30 c | 93182 | 3894 16680 50680 | 2147483647 88668 102 | 0.000 % |
35.32/35.41 c | 93305 | 3894 16680 50680 | 2147483647 88791 102 | 0.000 % |
35.42/35.50 c | 93439 | 3894 16680 50680 | 2147483647 88925 102 | 0.000 % |
35.52/35.60 c | 93585 | 3894 16680 50680 | 2147483647 89071 102 | 0.000 % |
35.62/35.73 c | 93747 | 3894 16680 50680 | 2147483647 89233 102 | 0.000 % |
35.72/35.84 c | 93923 | 3894 16680 50680 | 2147483647 89409 102 | 0.000 % |
35.82/35.98 c | 94116 | 3894 16680 50680 | 2147483647 89602 102 | 0.000 % |
36.02/36.13 c | 94328 | 3894 16680 50680 | 2147483647 89814 102 | 0.000 % |
36.12/36.29 c | 94561 | 3894 16680 50680 | 2147483647 90047 102 | 0.000 % |
36.32/36.48 c | 94819 | 3894 16680 50680 | 2147483647 90305 102 | 0.000 % |
36.52/36.69 c | 95104 | 3894 16680 50680 | 2147483647 90590 102 | 0.000 % |
36.83/36.91 c | 95413 | 3894 16680 50680 | 2147483647 90899 102 | 0.000 % |
37.03/37.15 c | 95752 | 3894 16680 50680 | 2147483647 91238 102 | 0.000 % |
37.33/37.41 c | 96124 | 3894 16680 50680 | 2147483647 91610 102 | 0.000 % |
37.53/37.70 c | 96534 | 3894 16680 50680 | 2147483647 92020 102 | 0.000 % |
37.93/38.03 c | 96985 | 3894 16680 50680 | 2147483647 92471 102 | 0.000 % |
38.23/38.38 c | 97478 | 3894 16680 50680 | 2147483647 92964 102 | 0.000 % |
38.62/38.75 c | 98021 | 3894 16680 50680 | 2147483647 93507 102 | 0.000 % |
39.02/39.16 c | 98617 | 3894 16680 50680 | 2147483647 94103 102 | 0.000 % |
39.43/39.59 c | 99272 | 3894 16680 50680 | 2147483647 94758 102 | 0.000 % |
39.92/40.02 c | 99992 | 3894 16680 50680 | 2147483647 95478 102 | 0.000 % |
40.42/40.53 c | 100785 | 3894 16680 50680 | 2147483647 96271 102 | 0.000 % |
41.02/41.11 c | 101656 | 3894 16680 50680 | 2147483647 97142 103 | 0.000 % |
41.62/41.80 c | 102614 | 3894 16680 50680 | 2147483647 98100 103 | 0.000 % |
42.43/42.53 c | 103670 | 3894 16680 50680 | 2147483647 99156 103 | 0.000 % |
43.13/43.29 c | 104828 | 3894 16680 50680 | 2147483647 100314 103 | 0.000 % |
43.23/43.38 c | 104928 | 3894 16680 50680 | 2147483647 100414 103 | 0.000 % |
43.33/43.48 c | 105041 | 3894 16680 50680 | 2147483647 100527 103 | 0.000 % |
43.43/43.60 c | 105162 | 3894 16680 50680 | 2147483647 100648 103 | 0.000 % |
43.62/43.70 c | 105295 | 3894 16680 50680 | 2147483647 100781 103 | 0.000 % |
43.72/43.82 c | 105441 | 3894 16680 50680 | 2147483647 100927 103 | 0.000 % |
43.83/43.95 c | 105602 | 3894 16680 50680 | 2147483647 101088 103 | 0.000 % |
43.93/44.09 c | 105783 | 3894 16680 50680 | 2147483647 101269 103 | 0.000 % |
44.12/44.25 c | 105976 | 3894 16680 50680 | 2147483647 101462 103 | 0.000 % |
44.32/44.41 c | 106189 | 3894 16680 50680 | 2147483647 101675 103 | 0.000 % |
44.42/44.58 c | 106422 | 3894 16680 50680 | 2147483647 101908 103 | 0.000 % |
44.62/44.78 c | 106678 | 3894 16680 50680 | 2147483647 102164 103 | 0.000 % |
44.82/44.97 c | 106960 | 3894 16680 50680 | 2147483647 102446 103 | 0.000 % |
45.12/45.20 c | 107270 | 3894 16680 50680 | 2147483647 102756 103 | 0.000 % |
45.32/45.45 c | 107609 | 3894 16680 50680 | 2147483647 103095 103 | 0.000 % |
45.62/45.71 c | 107981 | 3894 16680 50680 | 2147483647 103467 103 | 0.000 % |
45.92/46.00 c | 108390 | 3894 16680 50680 | 2147483647 103876 103 | 0.000 % |
46.22/46.33 c | 108840 | 3894 16680 50680 | 2147483647 104326 103 | 0.000 % |
46.52/46.67 c | 109333 | 3894 16680 50680 | 2147483647 104819 103 | 0.000 % |
46.91/47.06 c | 109876 | 3894 16680 50680 | 2147483647 105362 103 | 0.000 % |
47.31/47.49 c | 110473 | 3894 16680 50680 | 2147483647 105959 103 | 0.000 % |
47.81/47.94 c | 111128 | 3894 16680 50680 | 2147483647 106614 103 | 0.000 % |
48.32/48.45 c | 111851 | 3894 16680 50680 | 2147483647 107337 103 | 0.000 % |
48.91/49.06 c | 112644 | 3894 16680 50680 | 2147483647 108130 103 | 0.000 % |
49.61/49.72 c | 113517 | 3894 16680 50680 | 2147483647 109003 103 | 0.000 % |
50.32/50.46 c | 114475 | 3894 16680 50680 | 2147483647 109961 103 | 0.000 % |
51.12/51.24 c | 115528 | 3894 16680 50680 | 2147483647 111014 103 | 0.000 % |
52.02/52.13 c | 116687 | 3894 16680 50680 | 2147483647 112173 103 | 0.000 % |
53.01/53.10 c | 117960 | 3894 16680 50680 | 2147483647 113446 103 | 0.000 % |
53.01/53.19 c | 118061 | 3894 16680 50680 | 2147483647 113547 103 | 0.000 % |
53.21/53.30 c | 118171 | 3894 16680 50680 | 2147483647 113657 103 | 0.000 % |
53.31/53.44 c | 118292 | 3894 16680 50680 | 2147483647 113778 103 | 0.000 % |
53.41/53.57 c | 118425 | 3894 16680 50680 | 2147483647 113911 103 | 0.000 % |
53.61/53.72 c | 118571 | 3894 16680 50680 | 2147483647 114057 103 | 0.000 % |
53.72/53.89 c | 118734 | 3894 16680 50680 | 2147483647 114220 103 | 0.000 % |
53.91/54.05 c | 118910 | 3894 16680 50680 | 2147483647 114396 103 | 0.000 % |
54.11/54.21 c | 119104 | 3894 16680 50680 | 2147483647 114590 103 | 0.000 % |
54.31/54.41 c | 119319 | 3894 16680 50680 | 2147483647 114805 103 | 0.000 % |
54.51/54.61 c | 119552 | 3894 16680 50680 | 2147483647 115038 103 | 0.000 % |
54.71/54.85 c | 119810 | 3894 16680 50680 | 2147483647 115296 103 | 0.000 % |
55.01/55.10 c | 120091 | 3894 16680 50680 | 2147483647 115577 103 | 0.000 % |
55.21/55.39 c | 120400 | 3894 16680 50680 | 2147483647 115886 103 | 0.000 % |
55.61/55.70 c | 120739 | 3894 16680 50680 | 2147483647 116225 103 | 0.000 % |
55.91/56.02 c | 121111 | 3894 16680 50680 | 2147483647 116597 103 | 0.000 % |
56.21/56.34 c | 121520 | 3894 16680 50680 | 2147483647 117006 103 | 0.000 % |
56.61/56.76 c | 121969 | 3894 16680 50680 | 2147483647 117455 103 | 0.000 % |
57.01/57.16 c | 122462 | 3894 16680 50680 | 2147483647 117948 103 | 0.000 % |
57.51/57.62 c | 123004 | 3894 16680 50680 | 2147483647 118490 103 | 0.000 % |
58.01/58.13 c | 123600 | 3894 16680 50680 | 2147483647 119086 103 | 0.000 % |
58.51/58.65 c | 124257 | 3894 16680 50680 | 2147483647 119743 104 | 0.000 % |
59.11/59.20 c | 124977 | 3894 16680 50680 | 2147483647 120463 104 | 0.000 % |
59.71/59.83 c | 125769 | 3894 16680 50680 | 2147483647 121255 104 | 0.000 % |
60.41/60.53 c | 126641 | 3894 16680 50680 | 2147483647 122127 104 | 0.000 % |
61.20/61.30 c | 127600 | 3894 16680 50680 | 2147483647 123086 104 | 0.000 % |
62.10/62.24 c | 128653 | 3894 16680 50680 | 2147483647 124139 104 | 0.000 % |
63.01/63.19 c | 129813 | 3894 16680 50680 | 2147483647 125299 104 | 0.000 % |
64.21/64.35 c | 131086 | 3894 16680 50680 | 2147483647 126572 104 | 0.000 % |
65.41/65.56 c | 132486 | 3894 16680 50680 | 2147483647 127972 104 | 0.000 % |
65.51/65.68 c | 132588 | 3894 16680 50680 | 2147483647 128074 104 | 0.000 % |
65.71/65.81 c | 132698 | 3894 16680 50680 | 2147483647 128184 104 | 0.000 % |
65.81/65.95 c | 132820 | 3894 16680 50680 | 2147483647 128306 104 | 0.000 % |
65.91/66.07 c | 132954 | 3894 16680 50680 | 2147483647 128440 104 | 0.000 % |
66.10/66.24 c | 133100 | 3894 16680 50680 | 2147483647 128586 104 | 0.000 % |
66.30/66.40 c | 133263 | 3894 16680 50680 | 2147483647 128749 104 | 0.000 % |
66.40/66.57 c | 133441 | 3894 16680 50680 | 2147483647 128927 104 | 0.000 % |
66.60/66.77 c | 133634 | 3894 16680 50680 | 2147483647 129120 104 | 0.000 % |
66.80/66.98 c | 133846 | 3894 16680 50680 | 2147483647 129332 104 | 0.000 % |
67.10/67.25 c | 134081 | 3894 16680 50680 | 2147483647 129567 104 | 0.000 % |
67.40/67.51 c | 134342 | 3894 16680 50680 | 2147483647 129828 104 | 0.000 % |
67.70/67.81 c | 134625 | 3894 16680 50680 | 2147483647 130111 104 | 0.000 % |
67.90/68.10 c | 134935 | 3894 16680 50680 | 2147483647 130421 104 | 0.000 % |
68.30/68.41 c | 135275 | 3894 16680 50680 | 2147483647 130761 104 | 0.000 % |
68.59/68.76 c | 135647 | 3894 16680 50680 | 2147483647 131133 104 | 0.000 % |
68.99/69.15 c | 136056 | 3894 16680 50680 | 2147483647 131542 104 | 0.000 % |
69.50/69.62 c | 136505 | 3894 16680 50680 | 2147483647 131991 104 | 0.000 % |
70.00/70.12 c | 136998 | 3894 16680 50680 | 2147483647 132484 104 | 0.000 % |
70.50/70.61 c | 137541 | 3894 16680 50680 | 2147483647 133027 104 | 0.000 % |
71.00/71.18 c | 138137 | 3894 16680 50680 | 2147483647 133623 104 | 0.000 % |
71.60/71.79 c | 138792 | 3894 16680 50680 | 2147483647 134278 104 | 0.000 % |
72.30/72.41 c | 139512 | 3894 16680 50680 | 2147483647 134998 104 | 0.000 % |
72.99/73.14 c | 140305 | 3894 16680 50680 | 2147483647 135791 104 | 0.000 % |
73.79/73.99 c | 141179 | 3894 16680 50680 | 2147483647 136665 104 | 0.000 % |
74.70/74.83 c | 142139 | 3894 16680 50680 | 2147483647 137625 104 | 0.000 % |
75.60/75.80 c | 143194 | 3894 16680 50680 | 2147483647 138680 104 | 0.000 % |
76.70/76.85 c | 144354 | 3894 16680 50680 | 2147483647 139840 104 | 0.000 % |
77.90/78.03 c | 145627 | 3894 16680 50680 | 2147483647 141113 105 | 0.000 % |
79.19/79.34 c | 147028 | 3894 16680 50680 | 2147483647 142514 105 | 0.000 % |
80.70/80.81 c | 148568 | 3894 16680 50680 | 2147483647 144054 105 | 0.000 % |
80.79/80.95 c | 148669 | 3894 16680 50680 | 2147483647 144155 105 | 0.000 % |
80.89/81.07 c | 148779 | 3894 16680 50680 | 2147483647 144265 105 | 0.000 % |
80.99/81.19 c | 148900 | 3894 16680 50680 | 2147483647 144386 105 | 0.000 % |
81.20/81.35 c | 149036 | 3894 16680 50680 | 2147483647 144522 105 | 0.000 % |
81.39/81.52 c | 149184 | 3894 16680 50680 | 2147483647 144670 105 | 0.000 % |
81.49/81.68 c | 149344 | 3894 16680 50680 | 2147483647 144830 105 | 0.000 % |
81.69/81.89 c | 149521 | 3894 16680 50680 | 2147483647 145007 105 | 0.000 % |
81.99/82.12 c | 149718 | 3894 16680 50680 | 2147483647 145204 105 | 0.000 % |
82.19/82.34 c | 149930 | 3894 16680 50680 | 2147483647 145416 105 | 0.000 % |
82.39/82.59 c | 150165 | 3894 16680 50680 | 2147483647 145651 105 | 0.000 % |
82.69/82.86 c | 150421 | 3894 16680 50680 | 2147483647 145907 105 | 0.000 % |
82.99/83.13 c | 150702 | 3894 16680 50680 | 2147483647 146188 105 | 0.000 % |
83.29/83.44 c | 151012 | 3894 16680 50680 | 2147483647 146498 105 | 0.000 % |
83.69/83.80 c | 151351 | 3894 16680 50680 | 2147483647 146837 105 | 0.000 % |
84.09/84.21 c | 151723 | 3894 16680 50680 | 2147483647 147209 105 | 0.000 % |
84.49/84.62 c | 152132 | 3894 16680 50680 | 2147483647 147618 105 | 0.000 % |
84.89/85.07 c | 152582 | 3894 16680 50680 | 2147483647 148068 105 | 0.000 % |
85.40/85.57 c | 153076 | 3894 16680 50680 | 2147483647 148562 105 | 0.000 % |
85.99/86.14 c | 153618 | 3894 16680 50680 | 2147483647 149104 105 | 0.000 % |
86.59/86.74 c | 154214 | 3894 16680 50680 | 2147483647 149700 105 | 0.000 % |
87.29/87.42 c | 154870 | 3894 16680 50680 | 2147483647 150356 105 | 0.000 % |
87.99/88.18 c | 155590 | 3894 16680 50680 | 2147483647 151076 105 | 0.000 % |
88.89/89.02 c | 156382 | 3894 16680 50680 | 2147483647 151868 105 | 0.000 % |
89.79/89.94 c | 157253 | 3894 16680 50680 | 2147483647 152739 105 | 0.000 % |
90.79/90.91 c | 158213 | 3894 16680 50680 | 2147483647 153699 105 | 0.000 % |
91.79/91.96 c | 159266 | 3894 16680 50680 | 2147483647 154752 105 | 0.000 % |
92.98/93.13 c | 160425 | 3894 16680 50680 | 2147483647 155911 105 | 0.000 % |
94.18/94.35 c | 161698 | 3894 16680 50680 | 2147483647 157184 105 | 0.000 % |
95.78/95.92 c | 163099 | 3894 16680 50680 | 2147483647 158585 105 | 0.000 % |
97.49/97.69 c | 164639 | 3894 16680 50680 | 2147483647 160125 105 | 0.000 % |
99.19/99.39 c | 166333 | 3894 16680 50680 | 2147483647 161819 105 | 0.000 % |
99.38/99.51 c | 166433 | 3894 16680 50680 | 2147483647 161919 105 | 0.000 % |
99.48/99.66 c | 166546 | 3894 16680 50680 | 2147483647 162032 105 | 0.000 % |
99.68/99.82 c | 166671 | 3894 16680 50680 | 2147483647 162157 105 | 0.000 % |
99.78/99.98 c | 166804 | 3894 16680 50680 | 2147483647 162290 105 | 0.000 % |
99.99/100.15 c | 166950 | 3894 16680 50680 | 2147483647 162436 105 | 0.000 % |
100.18/100.37 c | 167110 | 3894 16680 50680 | 2147483647 162596 105 | 0.000 % |
100.38/100.58 c | 167287 | 3894 16680 50680 | 2147483647 162773 105 | 0.000 % |
100.68/100.80 c | 167480 | 3894 16680 50680 | 2147483647 162966 105 | 0.000 % |
100.88/101.07 c | 167693 | 3894 16680 50680 | 2147483647 163179 105 | 0.000 % |
101.18/101.33 c | 167926 | 3894 16680 50680 | 2147483647 163412 105 | 0.000 % |
101.48/101.61 c | 168184 | 3894 16680 50680 | 2147483647 163670 105 | 0.000 % |
101.78/101.92 c | 168466 | 3894 16680 50680 | 2147483647 163952 105 | 0.000 % |
102.08/102.29 c | 168775 | 3894 16680 50680 | 2147483647 164261 105 | 0.000 % |
102.48/102.67 c | 169115 | 3894 16680 50680 | 2147483647 164601 105 | 0.000 % |
102.98/103.11 c | 169489 | 3894 16680 50680 | 2147483647 164975 105 | 0.000 % |
103.38/103.58 c | 169899 | 3894 16680 50680 | 2147483647 165385 105 | 0.000 % |
103.88/104.06 c | 170348 | 3894 16680 50680 | 2147483647 165834 105 | 0.000 % |
104.48/104.62 c | 170841 | 3894 16680 50680 | 2147483647 166327 105 | 0.000 % |
105.08/105.23 c | 171385 | 3894 16680 50680 | 2147483647 166871 105 | 0.000 % |
105.78/105.93 c | 171981 | 3894 16680 50680 | 2147483647 167467 105 | 0.000 % |
106.48/106.70 c | 172636 | 3894 16680 50680 | 2147483647 168122 105 | 0.000 % |
107.28/107.47 c | 173357 | 3894 16680 50680 | 2147483647 168843 105 | 0.000 % |
108.18/108.38 c | 174149 | 3894 16680 50680 | 2147483647 169635 105 | 0.000 % |
109.18/109.35 c | 175021 | 3894 16680 50680 | 2147483647 170507 105 | 0.000 % |
110.37/110.53 c | 175979 | 3894 16680 50680 | 2147483647 171465 105 | 0.000 % |
111.68/111.84 c | 177033 | 3894 16680 50680 | 2147483647 172519 105 | 0.000 % |
113.08/113.26 c | 178191 | 3894 16680 50680 | 2147483647 173677 105 | 0.000 % |
114.47/114.67 c | 179465 | 3894 16680 50680 | 2147483647 174951 105 | 0.000 % |
116.07/116.26 c | 180865 | 3894 16680 50680 | 2147483647 176351 105 | 0.000 % |
117.77/117.92 c | 182406 | 3894 16680 50680 | 2147483647 177892 106 | 0.000 % |
119.67/119.80 c | 184103 | 3894 16680 50680 | 2147483647 179589 106 | 0.000 % |
121.66/121.84 c | 185967 | 3894 16680 50680 | 2147483647 181453 106 | 0.000 % |
121.76/121.99 c | 186068 | 3894 16680 50680 | 2147483647 181554 106 | 0.000 % |
121.97/122.15 c | 186178 | 3894 16680 50680 | 2147483647 181664 106 | 0.000 % |
122.16/122.35 c | 186300 | 3894 16680 50680 | 2147483647 181786 106 | 0.000 % |
122.36/122.53 c | 186433 | 3894 16680 50680 | 2147483647 181919 106 | 0.000 % |
122.56/122.77 c | 186581 | 3894 16680 50680 | 2147483647 182067 106 | 0.000 % |
122.86/123.04 c | 186742 | 3894 16680 50680 | 2147483647 182228 106 | 0.000 % |
123.17/123.30 c | 186918 | 3894 16680 50680 | 2147483647 182404 106 | 0.000 % |
123.37/123.57 c | 187113 | 3894 16680 50680 | 2147483647 182599 106 | 0.000 % |
123.67/123.84 c | 187325 | 3894 16680 50680 | 2147483647 182811 106 | 0.000 % |
123.97/124.13 c | 187559 | 3894 16680 50680 | 2147483647 183045 106 | 0.000 % |
124.27/124.48 c | 187820 | 3894 16680 50680 | 2147483647 183306 106 | 0.000 % |
124.67/124.88 c | 188103 | 3894 16680 50680 | 2147483647 183589 106 | 0.000 % |
125.17/125.30 c | 188413 | 3894 16680 50680 | 2147483647 183899 106 | 0.000 % |
125.57/125.75 c | 188752 | 3894 16680 50680 | 2147483647 184238 106 | 0.000 % |
126.07/126.22 c | 189124 | 3894 16680 50680 | 2147483647 184610 106 | 0.000 % |
126.57/126.73 c | 189533 | 3894 16680 50680 | 2147483647 185019 106 | 0.000 % |
127.17/127.31 c | 189984 | 3894 16680 50680 | 2147483647 185470 106 | 0.000 % |
127.77/127.93 c | 190478 | 3894 16680 50680 | 2147483647 185964 106 | 0.000 % |
128.47/128.62 c | 191020 | 3894 16680 50680 | 2147483647 186506 106 | 0.000 % |
129.16/129.40 c | 191616 | 3894 16680 50680 | 2147483647 187102 106 | 0.000 % |
130.06/130.23 c | 192271 | 3894 16680 50680 | 2147483647 187757 106 | 0.000 % |
130.86/131.09 c | 192991 | 3894 16680 50680 | 2147483647 188477 106 | 0.000 % |
131.96/132.15 c | 193783 | 3894 16680 50680 | 2147483647 189269 106 | 0.000 % |
133.06/133.23 c | 194654 | 3894 16680 50680 | 2147483647 190140 106 | 0.000 % |
134.27/134.41 c | 195612 | 3894 16680 50680 | 2147483647 191098 106 | 0.000 % |
135.56/135.70 c | 196665 | 3894 16680 50680 | 2147483647 192151 106 | 0.000 % |
136.96/137.10 c | 197823 | 3894 16680 50680 | 2147483647 193309 106 | 0.000 % |
138.56/138.73 c | 199096 | 3894 16680 50680 | 2147483647 194582 106 | 0.000 % |
140.26/140.43 c | 200498 | 3894 16680 50680 | 2147483647 195984 106 | 0.000 % |
142.16/142.35 c | 202038 | 3894 16680 50680 | 2147483647 197524 106 | 0.000 % |
144.26/144.48 c | 203732 | 3894 16680 50680 | 2147483647 199218 106 | 0.000 % |
146.46/146.68 c | 205595 | 3894 16680 50680 | 2147483647 201081 106 | 0.000 % |
149.06/149.26 c | 207645 | 3894 16680 50680 | 2147483647 203131 106 | 0.000 % |
149.26/149.42 c | 207746 | 3894 16680 50680 | 2147483647 203232 106 | 0.000 % |
149.47/149.61 c | 207856 | 3894 16680 50680 | 2147483647 203342 106 | 0.000 % |
149.66/149.80 c | 207978 | 3894 16680 50680 | 2147483647 203464 106 | 0.000 % |
149.86/150.03 c | 208113 | 3894 16680 50680 | 2147483647 203599 106 | 0.000 % |
150.06/150.26 c | 208260 | 3894 16680 50680 | 2147483647 203746 106 | 0.000 % |
150.36/150.51 c | 208420 | 3894 16680 50680 | 2147483647 203906 106 | 0.000 % |
150.57/150.77 c | 208598 | 3894 16680 50680 | 2147483647 204084 106 | 0.000 % |
150.96/151.13 c | 208791 | 3894 16680 50680 | 2147483647 204277 106 | 0.000 % |
151.26/151.42 c | 209003 | 3894 16680 50680 | 2147483647 204489 106 | 0.000 % |
151.56/151.77 c | 209236 | 3894 16680 50680 | 2147483647 204722 106 | 0.000 % |
151.96/152.17 c | 209494 | 3894 16680 50680 | 2147483647 204980 106 | 0.000 % |
152.36/152.56 c | 209776 | 3894 16680 50680 | 2147483647 205262 106 | 0.000 % |
152.76/152.97 c | 210086 | 3894 16680 50680 | 205486 205572 106 | 0.000 % |
153.46/153.68 c | 210426 | 3894 16680 50680 | 205486 184859 107 | 0.000 % |
153.96/154.13 c | 210798 | 3894 16680 50680 | 205486 185231 107 | 0.000 % |
154.46/154.63 c | 211207 | 3894 16680 50680 | 205486 185640 107 | 0.000 % |
154.96/155.18 c | 211662 | 3894 16680 50680 | 205486 186095 107 | 0.000 % |
155.65/155.85 c | 212155 | 3894 16680 50680 | 205486 186588 107 | 0.000 % |
156.35/156.53 c | 212699 | 3894 16680 50680 | 205486 187132 107 | 0.000 % |
157.16/157.30 c | 213299 | 3894 16680 50680 | 205486 187732 107 | 0.000 % |
157.95/158.18 c | 213954 | 3894 16680 50680 | 205486 188387 107 | 0.000 % |
158.85/159.03 c | 214676 | 3894 16680 50680 | 205486 189109 107 | 0.000 % |
159.65/159.89 c | 215469 | 3894 16680 50680 | 205486 189902 107 | 0.000 % |
160.65/160.89 c | 216342 | 3894 16680 50680 | 205486 190775 107 | 0.000 % |
161.75/161.98 c | 217302 | 3894 16680 50680 | 205486 191735 107 | 0.000 % |
163.15/163.39 c | 218355 | 3894 16680 50680 | 205486 192788 107 | 0.000 % |
164.65/164.83 c | 219517 | 3894 16680 50680 | 205486 193950 107 | 0.000 % |
166.45/166.70 c | 220790 | 3894 16680 50680 | 2147483647 195223 107 | 0.000 % |
168.25/168.48 c | 222192 | 3894 16680 50680 | 2147483647 196625 107 | 0.000 % |
170.35/170.54 c | 223732 | 3894 16680 50680 | 2147483647 198165 107 | 0.000 % |
172.55/172.77 c | 225428 | 3894 16680 50680 | 2147483647 199861 107 | 0.000 % |
175.04/175.23 c | 227291 | 3894 16680 50680 | 2147483647 201724 107 | 0.000 % |
177.64/177.86 c | 229341 | 3894 16680 50680 | 2147483647 203774 107 | 0.000 % |
180.44/180.68 c | 231594 | 3894 16680 50680 | 2147483647 206027 108 | 0.000 % |
180.64/180.89 c | 231694 | 3894 16680 50680 | 2147483647 206127 108 | 0.000 % |
180.84/181.08 c | 231805 | 3894 16680 50680 | 2147483647 206238 108 | 0.000 % |
181.04/181.29 c | 231927 | 3894 16680 50680 | 2147483647 206360 108 | 0.000 % |
181.24/181.48 c | 232060 | 3894 16680 50680 | 2147483647 206493 108 | 0.000 % |
181.54/181.72 c | 232207 | 3894 16680 50680 | 2147483647 206640 108 | 0.000 % |
181.74/181.96 c | 232367 | 3894 16680 50680 | 2147483647 206800 108 | 0.000 % |
182.04/182.25 c | 232545 | 3894 16680 50680 | 2147483647 206978 108 | 0.000 % |
182.34/182.59 c | 232741 | 3894 16680 50680 | 2147483647 207174 108 | 0.000 % |
182.74/182.90 c | 232953 | 3894 16680 50680 | 2147483647 207386 108 | 0.000 % |
183.04/183.24 c | 233186 | 3894 16680 50680 | 2147483647 207619 108 | 0.000 % |
183.44/183.61 c | 233442 | 3894 16680 50680 | 2147483647 207875 108 | 0.000 % |
183.83/184.02 c | 233724 | 3894 16680 50680 | 2147483647 208157 108 | 0.000 % |
184.23/184.45 c | 234035 | 3894 16680 50680 | 2147483647 208468 108 | 0.000 % |
184.73/184.99 c | 234376 | 3894 16680 50680 | 2147483647 208809 108 | 0.000 % |
185.33/185.55 c | 234748 | 3894 16680 50680 | 2147483647 209181 108 | 0.000 % |
185.93/186.18 c | 235160 | 3894 16680 50680 | 2147483647 209593 108 | 0.000 % |
186.53/186.77 c | 235609 | 3894 16680 50680 | 2147483647 210042 108 | 0.000 % |
187.24/187.47 c | 236103 | 3894 16680 50680 | 2147483647 210536 108 | 0.000 % |
188.04/188.22 c | 236645 | 3894 16680 50680 | 2147483647 211078 108 | 0.000 % |
188.84/189.07 c | 237246 | 3894 16680 50680 | 2147483647 211679 108 | 0.000 % |
189.74/189.94 c | 237901 | 3894 16680 50680 | 2147483647 212334 108 | 0.000 % |
190.74/190.91 c | 238622 | 3894 16680 50680 | 2147483647 213055 108 | 0.000 % |
191.84/192.05 c | 239416 | 3894 16680 50680 | 2147483647 213849 108 | 0.000 % |
193.03/193.21 c | 240287 | 3894 16680 50680 | 214433 214720 108 | 0.000 % |
194.44/194.68 c | 241248 | 3894 16680 50680 | 214433 190916 108 | 0.000 % |
195.83/196.01 c | 242303 | 3894 16680 50680 | 214433 191971 108 | 0.000 % |
197.23/197.41 c | 243463 | 3894 16680 50680 | 214433 193131 108 | 0.000 % |
198.84/199.05 c | 244736 | 3894 16680 50680 | 214433 194404 108 | 0.000 % |
200.63/200.83 c | 246136 | 3894 16680 50680 | 214433 195804 108 | 0.000 % |
202.63/202.84 c | 247676 | 3894 16680 50680 | 214433 197344 108 | 0.000 % |
204.83/205.03 c | 249370 | 3894 16680 50680 | 214433 199038 108 | 0.000 % |
207.23/207.41 c | 251234 | 3894 16680 50680 | 2147483647 200902 108 | 0.000 % |
209.63/209.88 c | 253283 | 3894 16680 50680 | 2147483647 202951 108 | 0.000 % |
212.42/212.68 c | 255536 | 3894 16680 50680 | 2147483647 205204 108 | 0.000 % |
215.72/215.91 c | 258015 | 3894 16680 50680 | 2147483647 207683 109 | 0.000 % |
215.82/216.09 c | 258117 | 3894 16680 50680 | 2147483647 207785 109 | 0.000 % |
216.02/216.28 c | 258228 | 3894 16680 50680 | 2147483647 207896 109 | 0.000 % |
216.32/216.50 c | 258350 | 3894 16680 50680 | 2147483647 208018 109 | 0.000 % |
216.53/216.74 c | 258485 | 3894 16680 50680 | 2147483647 208153 109 | 0.000 % |
216.72/216.99 c | 258631 | 3894 16680 50680 | 2147483647 208299 109 | 0.000 % |
217.02/217.22 c | 258792 | 3894 16680 50680 | 2147483647 208460 109 | 0.000 % |
217.32/217.52 c | 258969 | 3894 16680 50680 | 2147483647 208637 109 | 0.000 % |
217.63/217.81 c | 259162 | 3894 16680 50680 | 2147483647 208830 109 | 0.000 % |
217.92/218.11 c | 259375 | 3894 16680 50680 | 2147483647 209043 109 | 0.000 % |
218.22/218.49 c | 259608 | 3894 16680 50680 | 2147483647 209276 109 | 0.000 % |
218.63/218.84 c | 259867 | 3894 16680 50680 | 2147483647 209535 109 | 0.000 % |
219.02/219.24 c | 260148 | 3894 16680 50680 | 2147483647 209816 109 | 0.000 % |
219.52/219.73 c | 260457 | 3894 16680 50680 | 2147483647 210125 109 | 0.000 % |
220.12/220.31 c | 260796 | 3894 16680 50680 | 2147483647 210464 109 | 0.000 % |
220.62/220.85 c | 261168 | 3894 16680 50680 | 2147483647 210836 109 | 0.000 % |
221.22/221.46 c | 261577 | 3894 16680 50680 | 2147483647 211245 108 | 0.000 % |
221.92/222.19 c | 262028 | 3894 16680 50680 | 2147483647 211696 108 | 0.000 % |
222.72/222.91 c | 262524 | 3894 16680 50680 | 2147483647 212192 108 | 0.000 % |
223.52/223.73 c | 263067 | 3894 16680 50680 | 2147483647 212735 108 | 0.000 % |
224.52/224.73 c | 263663 | 3894 16680 50680 | 2147483647 213331 108 | 0.000 % |
225.42/225.68 c | 264319 | 3894 16680 50680 | 2147483647 213987 108 | 0.000 % |
226.42/226.66 c | 265039 | 3894 16680 50680 | 2147483647 214707 108 | 0.000 % |
227.62/227.84 c | 265833 | 3894 16680 50680 | 2147483647 215501 108 | 0.000 % |
228.82/229.09 c | 266704 | 3894 16680 50680 | 2147483647 216372 108 | 0.000 % |
230.22/230.43 c | 267663 | 3894 16680 50680 | 2147483647 217331 108 | 0.000 % |
231.72/231.90 c | 268716 | 3894 16680 50680 | 2147483647 218384 108 | 0.000 % |
233.22/233.50 c | 269874 | 3894 16680 50680 | 2147483647 219542 108 | 0.000 % |
235.22/235.46 c | 271148 | 3894 16680 50680 | 219668 189943 109 | 0.000 % |
237.02/237.27 c | 272548 | 3894 16680 50680 | 219668 191343 109 | 0.000 % |
239.02/239.25 c | 274088 | 3894 16680 50680 | 219668 192883 109 | 0.000 % |
241.12/241.35 c | 275782 | 3894 16680 50680 | 219668 194577 109 | 0.000 % |
243.52/243.71 c | 277645 | 3894 16680 50680 | 219668 196440 109 | 0.000 % |
246.01/246.24 c | 279694 | 3894 16680 50680 | 219668 198489 109 | 0.000 % |
248.71/248.94 c | 281948 | 3894 16680 50680 | 2147483647 200743 109 | 0.000 % |
251.71/251.99 c | 284427 | 3894 16680 50680 | 2147483647 203222 109 | 0.000 % |
255.21/255.48 c | 287155 | 3894 16680 50680 | 2147483647 205950 109 | 0.000 % |
255.41/255.63 c | 287256 | 3894 16680 50680 | 2147483647 206051 109 | 0.000 % |
255.51/255.77 c | 287366 | 3894 16680 50680 | 2147483647 206161 109 | 0.000 % |
255.71/255.97 c | 287488 | 3894 16680 50680 | 2147483647 206283 109 | 0.000 % |
255.91/256.17 c | 287621 | 3894 16680 50680 | 2147483647 206416 109 | 0.000 % |
256.21/256.41 c | 287767 | 3894 16680 50680 | 2147483647 206562 109 | 0.000 % |
256.41/256.65 c | 287927 | 3894 16680 50680 | 2147483647 206722 109 | 0.000 % |
256.71/256.91 c | 288103 | 3894 16680 50680 | 2147483647 206898 109 | 0.000 % |
257.01/257.21 c | 288297 | 3894 16680 50680 | 2147483647 207092 109 | 0.000 % |
257.30/257.58 c | 288510 | 3894 16680 50680 | 2147483647 207305 109 | 0.000 % |
257.70/258.00 c | 288743 | 3894 16680 50680 | 2147483647 207538 109 | 0.000 % |
258.10/258.38 c | 288999 | 3894 16680 50680 | 2147483647 207794 109 | 0.000 % |
258.60/258.88 c | 289280 | 3894 16680 50680 | 2147483647 208075 109 | 0.000 % |
259.10/259.34 c | 289589 | 3894 16680 50680 | 2147483647 208384 109 | 0.000 % |
259.60/259.87 c | 289928 | 3894 16680 50680 | 2147483647 208723 109 | 0.000 % |
260.20/260.44 c | 290300 | 3894 16680 50680 | 2147483647 209095 109 | 0.000 % |
260.80/261.04 c | 290709 | 3894 16680 50680 | 2147483647 209504 109 | 0.000 % |
261.40/261.65 c | 291159 | 3894 16680 50680 | 2147483647 209954 109 | 0.000 % |
262.10/262.37 c | 291652 | 3894 16680 50680 | 2147483647 210447 109 | 0.000 % |
262.90/263.10 c | 292194 | 3894 16680 50680 | 2147483647 210989 109 | 0.000 % |
263.60/263.87 c | 292791 | 3894 16680 50680 | 2147483647 211586 109 | 0.000 % |
264.50/264.71 c | 293448 | 3894 16680 50680 | 2147483647 212243 109 | 0.000 % |
265.60/265.83 c | 294169 | 3894 16680 50680 | 2147483647 212964 109 | 0.000 % |
266.70/266.90 c | 294961 | 3894 16680 50680 | 2147483647 213756 109 | 0.000 % |
267.90/268.10 c | 295832 | 3894 16680 50680 | 2147483647 214627 109 | 0.000 % |
269.20/269.48 c | 296791 | 3894 16680 50680 | 2147483647 215586 109 | 0.000 % |
270.70/270.92 c | 297848 | 3894 16680 50680 | 2147483647 216643 109 | 0.000 % |
272.30/272.51 c | 299006 | 3894 16680 50680 | 2147483647 217801 109 | 0.000 % |
274.20/274.44 c | 300281 | 3894 16680 50680 | 218795 219076 109 | 0.000 % |
276.10/276.39 c | 301682 | 3894 16680 50680 | 218795 193267 109 | 0.000 % |
278.00/278.28 c | 303224 | 3894 16680 50680 | 218795 194809 109 | 0.000 % |
280.10/280.40 c | 304918 | 3894 16680 50680 | 218795 196503 109 | 0.000 % |
282.50/282.71 c | 306781 | 3894 16680 50680 | 218795 198366 109 | 0.000 % |
284.89/285.19 c | 308833 | 3894 16680 50680 | 218795 200418 109 | 0.000 % |
287.79/288.00 c | 311087 | 3894 16680 50680 | 2147483647 202672 109 | 0.000 % |
290.99/291.26 c | 313566 | 3894 16680 50680 | 2147483647 205151 110 | 0.000 % |
294.59/294.87 c | 316291 | 3894 16680 50680 | 2147483647 207876 110 | 0.000 % |
298.58/298.85 c | 319288 | 3894 16680 50680 | 2147483647 210873 110 | 0.000 % |
298.68/298.98 c | 319388 | 3894 16680 50680 | 2147483647 210973 110 | 0.000 % |
298.89/299.17 c | 319499 | 3894 16680 50680 | 2147483647 211084 110 | 0.000 % |
299.08/299.39 c | 319620 | 3894 16680 50680 | 2147483647 211205 110 | 0.000 % |
299.38/299.62 c | 319753 | 3894 16680 50680 | 2147483647 211338 110 | 0.000 % |
299.58/299.87 c | 319899 | 3894 16680 50680 | 2147483647 211484 110 | 0.000 % |
299.88/300.17 c | 320063 | 3894 16680 50680 | 211587 211648 110 | 0.000 % |
300.38/300.64 c | 320239 | 3894 16680 50680 | 211587 189240 110 | 0.000 % |
300.68/300.91 c | 320433 | 3894 16680 50680 | 211587 189434 110 | 0.000 % |
300.88/301.18 c | 320647 | 3894 16680 50680 | 211587 189648 110 | 0.000 % |
301.28/301.51 c | 320880 | 3894 16680 50680 | 211587 189881 110 | 0.000 % |
301.58/301.89 c | 321137 | 3894 16680 50680 | 211587 190138 110 | 0.000 % |
301.88/302.19 c | 321419 | 3894 16680 50680 | 211587 190420 110 | 0.000 % |
302.38/302.60 c | 321729 | 3894 16680 50680 | 211587 190730 110 | 0.000 % |
302.78/303.09 c | 322070 | 3894 16680 50680 | 211587 191071 110 | 0.000 % |
303.38/303.64 c | 322442 | 3894 16680 50680 | 211587 191443 110 | 0.000 % |
303.98/304.24 c | 322853 | 3894 16680 50680 | 211587 191854 110 | 0.000 % |
304.68/304.91 c | 323304 | 3894 16680 50680 | 211587 192305 110 | 0.000 % |
305.28/305.53 c | 323797 | 3894 16680 50680 | 211587 192798 110 | 0.000 % |
305.88/306.18 c | 324342 | 3894 16680 50680 | 211587 193343 110 | 0.000 % |
306.68/306.94 c | 324938 | 3894 16680 50680 | 211587 193939 110 | 0.000 % |
307.48/307.79 c | 325593 | 3894 16680 50680 | 211587 194594 110 | 0.000 % |
308.58/308.84 c | 326315 | 3894 16680 50680 | 211587 195316 110 | 0.000 % |
309.57/309.85 c | 327107 | 3894 16680 50680 | 211587 196108 110 | 0.000 % |
310.67/310.98 c | 327978 | 3894 16680 50680 | 211587 196979 110 | 0.000 % |
311.97/312.25 c | 328936 | 3894 16680 50680 | 211587 197937 110 | 0.000 % |
313.37/313.60 c | 329989 | 3894 16680 50680 | 211587 198990 110 | 0.000 % |
314.97/315.27 c | 331147 | 3894 16680 50680 | 199002 180191 110 | 0.000 % |
316.47/316.72 c | 332420 | 3894 16680 50680 | 199002 181464 110 | 0.000 % |
318.07/318.37 c | 333820 | 3894 16680 50680 | 199002 182864 110 | 0.000 % |
319.87/320.17 c | 335360 | 3894 16680 50680 | 199002 184404 110 | 0.000 % |
321.87/322.17 c | 337054 | 3894 16680 50680 | 199002 186098 110 | 0.000 % |
324.17/324.45 c | 338918 | 3894 16680 50680 | 199002 187962 110 | 0.000 % |
326.57/326.89 c | 340969 | 3894 16680 50680 | 2147483647 190013 110 | 0.000 % |
329.17/329.49 c | 343223 | 3894 16680 50680 | 2147483647 192267 110 | 0.000 % |
332.16/332.43 c | 345701 | 3894 16680 50680 | 2147483647 194745 111 | 0.000 % |
335.36/335.68 c | 348426 | 3894 16680 50680 | 2147483647 197470 111 | 0.000 % |
338.96/339.24 c | 351425 | 3894 16680 50680 | 2147483647 200469 111 | 0.000 % |
342.96/343.28 c | 354722 | 3894 16680 50680 | 2147483647 203766 111 | 0.000 % |
343.16/343.44 c | 354824 | 3894 16680 50680 | 2147483647 203868 111 | 0.000 % |
343.36/343.64 c | 354934 | 3894 16680 50680 | 2147483647 203978 111 | 0.000 % |
343.56/343.86 c | 355059 | 3894 16680 50680 | 2147483647 204103 111 | 0.000 % |
343.86/344.12 c | 355194 | 3894 16680 50680 | 2147483647 204238 111 | 0.000 % |
344.06/344.32 c | 355340 | 3894 16680 50680 | 2147483647 204384 111 | 0.000 % |
344.26/344.58 c | 355504 | 3894 16680 50680 | 2147483647 204548 111 | 0.000 % |
344.55/344.88 c | 355680 | 3894 16680 50680 | 2147483647 204724 111 | 0.000 % |
344.85/345.19 c | 355876 | 3894 16680 50680 | 2147483647 204920 111 | 0.000 % |
345.25/345.52 c | 356090 | 3894 16680 50680 | 2147483647 205134 111 | 0.000 % |
345.65/345.91 c | 356323 | 3894 16680 50680 | 2147483647 205367 111 | 0.000 % |
346.05/346.32 c | 356579 | 3894 16680 50680 | 2147483647 205623 111 | 0.000 % |
346.45/346.77 c | 356860 | 3894 16680 50680 | 2147483647 205904 111 | 0.000 % |
346.95/347.23 c | 357170 | 3894 16680 50680 | 2147483647 206214 111 | 0.000 % |
347.45/347.70 c | 357511 | 3894 16680 50680 | 2147483647 206555 111 | 0.000 % |
347.95/348.27 c | 357886 | 3894 16680 50680 | 2147483647 206930 111 | 0.000 % |
348.55/348.89 c | 358296 | 3894 16680 50680 | 2147483647 207340 111 | 0.000 % |
349.25/349.50 c | 358745 | 3894 16680 50680 | 2147483647 207789 111 | 0.000 % |
349.95/350.21 c | 359239 | 3894 16680 50680 | 2147483647 208283 111 | 0.000 % |
350.75/351.02 c | 359784 | 3894 16680 50680 | 2147483647 208828 111 | 0.000 % |
351.55/351.82 c | 360382 | 3894 16680 50680 | 209044 209426 111 | 0.000 % |
352.55/352.84 c | 361039 | 3894 16680 50680 | 209044 187884 110 | 0.000 % |
353.55/353.84 c | 361760 | 3894 16680 50680 | 209044 188605 110 | 0.000 % |
354.55/354.88 c | 362552 | 3894 16680 50680 | 209044 189397 110 | 0.000 % |
355.65/355.98 c | 363423 | 3894 16680 50680 | 209044 190268 110 | 0.000 % |
356.85/357.16 c | 364381 | 3894 16680 50680 | 209044 191226 110 | 0.000 % |
358.15/358.48 c | 365434 | 3894 16680 50680 | 209044 192279 110 | 0.000 % |
359.65/359.91 c | 366592 | 3894 16680 50680 | 209044 193437 111 | 0.000 % |
361.25/361.54 c | 367866 | 3894 16680 50680 | 209044 194711 111 | 0.000 % |
362.95/363.27 c | 369266 | 3894 16680 50680 | 209044 196111 111 | 0.000 % |
364.85/365.16 c | 370807 | 3894 16680 50680 | 2147483647 197652 111 | 0.000 % |
367.05/367.38 c | 372502 | 3894 16680 50680 | 2147483647 199347 111 | 0.000 % |
369.64/369.90 c | 374367 | 3894 16680 50680 | 2147483647 201212 111 | 0.000 % |
372.24/372.53 c | 376416 | 3894 16680 50680 | 2147483647 203261 111 | 0.000 % |
375.24/375.51 c | 378669 | 3894 16680 50680 | 2147483647 205514 111 | 0.000 % |
378.64/378.92 c | 381148 | 3894 16680 50680 | 2147483647 207993 111 | 0.000 % |
382.33/382.62 c | 383874 | 3894 16680 50680 | 2147483647 210719 111 | 0.000 % |
386.13/386.44 c | 386871 | 3894 16680 50680 | 2147483647 213716 111 | 0.000 % |
390.43/390.76 c | 390167 | 3894 16680 50680 | 2147483647 217012 111 | 0.000 % |
395.03/395.31 c | 393792 | 3894 16680 50680 | 2147483647 220637 111 | 0.000 % |
395.13/395.48 c | 393895 | 3894 16680 50680 | 2147483647 220740 111 | 0.000 % |
395.33/395.68 c | 394006 | 3894 16680 50680 | 2147483647 220851 111 | 0.000 % |
395.64/395.90 c | 394127 | 3894 16680 50680 | 2147483647 220972 111 | 0.000 % |
395.83/396.11 c | 394263 | 3894 16680 50680 | 2147483647 221108 111 | 0.000 % |
396.03/396.36 c | 394410 | 3894 16680 50680 | 2147483647 221255 111 | 0.000 % |
396.33/396.64 c | 394570 | 3894 16680 50680 | 2147483647 221415 111 | 0.000 % |
396.63/396.97 c | 394746 | 3894 16680 50680 | 2147483647 221591 111 | 0.000 % |
396.93/397.28 c | 394939 | 3894 16680 50680 | 2147483647 221784 111 | 0.000 % |
397.33/397.61 c | 395151 | 3894 16680 50680 | 2147483647 221996 111 | 0.000 % |
397.73/398.01 c | 395385 | 3894 16680 50680 | 2147483647 222230 111 | 0.000 % |
398.13/398.41 c | 395645 | 3894 16680 50680 | 2147483647 222490 111 | 0.000 % |
398.53/398.87 c | 395927 | 3894 16680 50680 | 2147483647 222772 111 | 0.000 % |
399.03/399.33 c | 396238 | 3894 16680 50680 | 2147483647 223083 111 | 0.000 % |
399.53/399.89 c | 396577 | 3894 16680 50680 | 2147483647 223422 111 | 0.000 % |
400.13/400.49 c | 396949 | 3894 16680 50680 | 2147483647 223794 111 | 0.000 % |
400.83/401.12 c | 397359 | 3894 16680 50680 | 2147483647 224204 111 | 0.000 % |
401.53/401.82 c | 397810 | 3894 16680 50680 | 2147483647 224655 111 | 0.000 % |
402.24/402.53 c | 398308 | 3894 16680 50680 | 2147483647 225153 111 | 0.000 % |
403.03/403.37 c | 398850 | 3894 16680 50680 | 2147483647 225695 111 | 0.000 % |
404.03/404.30 c | 399447 | 3894 16680 50680 | 2147483647 226292 111 | 0.000 % |
404.93/405.29 c | 400103 | 3894 16680 50680 | 226846 226948 111 | 0.000 % |
406.23/406.60 c | 400823 | 3894 16680 50680 | 226846 199139 111 | 0.000 % |
407.33/407.61 c | 401616 | 3894 16680 50680 | 226846 199932 111 | 0.000 % |
408.43/408.78 c | 402488 | 3894 16680 50680 | 226846 200804 110 | 0.000 % |
409.73/410.08 c | 403447 | 3894 16680 50680 | 226846 201763 110 | 0.000 % |
411.13/411.49 c | 404500 | 3894 16680 50680 | 226846 202816 110 | 0.000 % |
412.73/413.08 c | 405658 | 3894 16680 50680 | 226846 203974 111 | 0.000 % |
414.33/414.70 c | 406934 | 3894 16680 50680 | 226846 205250 111 | 0.000 % |
416.22/416.51 c | 408335 | 3894 16680 50680 | 226846 206651 111 | 0.000 % |
418.22/418.50 c | 409877 | 3894 16680 50680 | 226846 208193 111 | 0.000 % |
420.52/420.88 c | 411571 | 3894 16680 50680 | 208316 188262 111 | 0.000 % |
422.82/423.19 c | 413434 | 3894 16680 50680 | 208316 190125 111 | 0.000 % |
425.42/425.75 c | 415483 | 3894 16680 50680 | 208316 192174 111 | 0.000 % |
428.12/428.49 c | 417736 | 3894 16680 50680 | 208316 194427 111 | 0.000 % |
431.22/431.59 c | 420214 | 3894 16680 50680 | 2147483647 196905 111 | 0.000 % |
434.71/435.10 c | 422939 | 3894 16680 50680 | 2147483647 199630 111 | 0.000 % |
438.62/438.95 c | 425936 | 3894 16680 50680 | 2147483647 202627 111 | 0.000 % |
442.61/442.95 c | 429232 | 3894 16680 50680 | 2147483647 205923 111 | 0.000 % |
447.42/447.76 c | 432858 | 3894 16680 50680 | 2147483647 209549 111 | 0.000 % |
452.81/453.10 c | 436846 | 3894 16680 50680 | 2147483647 213537 111 | 0.000 % |
452.91/453.28 c | 436948 | 3894 16680 50680 | 2147483647 213639 111 | 0.000 % |
453.11/453.46 c | 437059 | 3894 16680 50680 | 2147483647 213750 111 | 0.000 % |
453.41/453.72 c | 437180 | 3894 16680 50680 | 2147483647 213871 111 | 0.000 % |
453.61/453.94 c | 437313 | 3894 16680 50680 | 2147483647 214004 111 | 0.000 % |
453.81/454.20 c | 437459 | 3894 16680 50680 | 2147483647 214150 111 | 0.000 % |
454.21/454.50 c | 437622 | 3894 16680 50680 | 2147483647 214313 111 | 0.000 % |
454.41/454.79 c | 437798 | 3894 16680 50680 | 2147483647 214489 111 | 0.000 % |
454.81/455.11 c | 437991 | 3894 16680 50680 | 2147483647 214682 111 | 0.000 % |
455.21/455.51 c | 438203 | 3894 16680 50680 | 2147483647 214894 111 | 0.000 % |
455.51/455.87 c | 438437 | 3894 16680 50680 | 2147483647 215128 111 | 0.000 % |
455.91/456.25 c | 438694 | 3894 16680 50680 | 2147483647 215385 111 | 0.000 % |
456.31/456.68 c | 438976 | 3894 16680 50680 | 2147483647 215667 111 | 0.000 % |
456.81/457.18 c | 439286 | 3894 16680 50680 | 2147483647 215977 111 | 0.000 % |
457.41/457.73 c | 439626 | 3894 16680 50680 | 2147483647 216317 111 | 0.000 % |
457.91/458.29 c | 439998 | 3894 16680 50680 | 2147483647 216689 111 | 0.000 % |
458.61/458.90 c | 440408 | 3894 16680 50680 | 216693 217099 111 | 0.000 % |
459.41/459.75 c | 440858 | 3894 16680 50680 | 216693 193926 111 | 0.000 % |
460.11/460.44 c | 441351 | 3894 16680 50680 | 216693 194419 111 | 0.000 % |
460.71/461.08 c | 441893 | 3894 16680 50680 | 216693 194961 111 | 0.000 % |
461.50/461.86 c | 442489 | 3894 16680 50680 | 216693 195557 111 | 0.000 % |
462.40/462.73 c | 443144 | 3894 16680 50680 | 216693 196212 111 | 0.000 % |
463.40/463.71 c | 443865 | 3894 16680 50680 | 216693 196933 111 | 0.000 % |
464.30/464.66 c | 444657 | 3894 16680 50680 | 216693 197725 111 | 0.000 % |
465.30/465.70 c | 445529 | 3894 16680 50680 | 216693 198597 111 | 0.000 % |
466.70/467.09 c | 446487 | 3894 16680 50680 | 216693 199555 111 | 0.000 % |
468.10/468.46 c | 447540 | 3894 16680 50680 | 216693 200608 111 | 0.000 % |
469.70/470.02 c | 448698 | 3894 16680 50680 | 216693 201766 111 | 0.000 % |
471.30/471.64 c | 449973 | 3894 16680 50680 | 216693 203041 111 | 0.000 % |
473.10/473.48 c | 451373 | 3894 16680 50680 | 203068 184079 111 | 0.000 % |
474.99/475.31 c | 452914 | 3894 16680 50680 | 203068 185620 111 | 0.000 % |
477.00/477.39 c | 454608 | 3894 16680 50680 | 203068 187314 111 | 0.000 % |
479.30/479.66 c | 456472 | 3894 16680 50680 | 203068 189178 111 | 0.000 % |
481.79/482.13 c | 458522 | 3894 16680 50680 | 203068 191228 111 | 0.000 % |
484.59/484.93 c | 460778 | 3894 16680 50680 | 2147483647 193484 111 | 0.000 % |
487.59/487.98 c | 463257 | 3894 16680 50680 | 2147483647 195963 111 | 0.000 % |
490.99/491.38 c | 465982 | 3894 16680 50680 | 2147483647 198688 111 | 0.000 % |
494.69/495.01 c | 468979 | 3894 16680 50680 | 2147483647 201685 112 | 0.000 % |
498.79/499.13 c | 472275 | 3894 16680 50680 | 2147483647 204981 112 | 0.000 % |
503.29/503.60 c | 475901 | 3894 16680 50680 | 2147483647 208607 112 | 0.000 % |
508.39/508.75 c | 479888 | 3894 16680 50680 | 2147483647 212594 112 | 0.000 % |
514.29/514.70 c | 484273 | 3894 16680 50680 | 2147483647 216979 112 | 0.000 % |
514.49/514.85 c | 484374 | 3894 16680 50680 | 2147483647 217080 112 | 0.000 % |
514.69/515.06 c | 484485 | 3894 16680 50680 | 2147483647 217191 112 | 0.000 % |
514.89/515.30 c | 484606 | 3894 16680 50680 | 2147483647 217312 112 | 0.000 % |
515.19/515.52 c | 484742 | 3894 16680 50680 | 2147483647 217448 112 | 0.000 % |
515.39/515.78 c | 484888 | 3894 16680 50680 | 2147483647 217594 112 | 0.000 % |
515.68/516.07 c | 485048 | 3894 16680 50680 | 2147483647 217754 112 | 0.000 % |
515.98/516.36 c | 485225 | 3894 16680 50680 | 2147483647 217931 112 | 0.000 % |
516.28/516.69 c | 485418 | 3894 16680 50680 | 2147483647 218124 112 | 0.000 % |
516.69/517.03 c | 485630 | 3894 16680 50680 | 2147483647 218336 112 | 0.000 % |
516.98/517.37 c | 485863 | 3894 16680 50680 | 2147483647 218569 112 | 0.000 % |
517.38/517.76 c | 486119 | 3894 16680 50680 | 2147483647 218825 112 | 0.000 % |
517.79/518.17 c | 486403 | 3894 16680 50680 | 2147483647 219109 112 | 0.000 % |
518.28/518.65 c | 486712 | 3894 16680 50680 | 2147483647 219418 112 | 0.000 % |
518.89/519.21 c | 487053 | 3894 16680 50680 | 2147483647 219759 112 | 0.000 % |
519.38/519.79 c | 487429 | 3894 16680 50680 | 2147483647 220135 112 | 0.000 % |
520.08/520.47 c | 487839 | 3894 16680 50680 | 2147483647 220545 112 | 0.000 % |
520.78/521.13 c | 488289 | 3894 16680 50680 | 2147483647 220995 112 | 0.000 % |
521.48/521.88 c | 488782 | 3894 16680 50680 | 2147483647 221488 112 | 0.000 % |
522.28/522.69 c | 489324 | 3894 16680 50680 | 2147483647 222030 112 | 0.000 % |
523.18/523.55 c | 489920 | 3894 16680 50680 | 2147483647 222626 112 | 0.000 % |
524.08/524.48 c | 490576 | 3894 16680 50680 | 222708 223282 112 | 0.000 % |
525.28/525.70 c | 491296 | 3894 16680 50680 | 222708 195960 112 | 0.000 % |
526.38/526.76 c | 492088 | 3894 16680 50680 | 222708 196752 112 | 0.000 % |
527.58/527.94 c | 492959 | 3894 16680 50680 | 222708 197623 112 | 0.000 % |
528.78/529.15 c | 493917 | 3894 16680 50680 | 222708 198581 112 | 0.000 % |
530.17/530.54 c | 494971 | 3894 16680 50680 | 222708 199635 112 | 0.000 % |
531.67/532.07 c | 496129 | 3894 16680 50680 | 222708 200793 112 | 0.000 % |
533.18/533.60 c | 497404 | 3894 16680 50680 | 222708 202068 113 | 0.000 % |
535.07/535.44 c | 498804 | 3894 16680 50680 | 222708 203468 113 | 0.000 % |
536.97/537.35 c | 500345 | 3894 16680 50680 | 204665 205009 113 | 0.000 % |
539.27/539.61 c | 502039 | 3894 16680 50680 | 204665 186203 113 | 0.000 % |
541.47/541.87 c | 503902 | 3894 16680 50680 | 204665 188066 113 | 0.000 % |
543.87/544.24 c | 505951 | 3894 16680 50680 | 204665 190115 113 | 0.000 % |
546.67/547.01 c | 508204 | 3894 16680 50680 | 204665 192368 113 | 0.000 % |
549.67/550.01 c | 510682 | 3894 16680 50680 | 2147483647 194846 113 | 0.000 % |
553.07/553.42 c | 513410 | 3894 16680 50680 | 2147483647 197574 113 | 0.000 % |
556.56/556.91 c | 516407 | 3894 16680 50680 | 2147483647 200571 113 | 0.000 % |
560.86/561.22 c | 519709 | 3894 16680 50680 | 2147483647 203873 113 | 0.000 % |
565.46/565.87 c | 523334 | 3894 16680 50680 | 2147483647 207498 113 | 0.000 % |
570.75/571.13 c | 527321 | 3894 16680 50680 | 2147483647 211485 113 | 0.000 % |
576.35/576.75 c | 531706 | 3894 16680 50680 | 2147483647 215870 114 | 0.000 % |
583.05/583.43 c | 536530 | 3894 16680 50680 | 2147483647 220694 114 | 0.000 % |
583.25/583.63 c | 536630 | 3894 16680 50680 | 2147483647 220794 114 | 0.000 % |
583.45/583.83 c | 536741 | 3894 16680 50680 | 2147483647 220905 114 | 0.000 % |
583.65/584.05 c | 536863 | 3894 16680 50680 | 2147483647 221027 114 | 0.000 % |
583.95/584.31 c | 536998 | 3894 16680 50680 | 2147483647 221162 114 | 0.000 % |
584.15/584.59 c | 537144 | 3894 16680 50680 | 2147483647 221308 114 | 0.000 % |
584.45/584.87 c | 537304 | 3894 16680 50680 | 2147483647 221468 114 | 0.000 % |
584.75/585.15 c | 537483 | 3894 16680 50680 | 2147483647 221647 114 | 0.000 % |
585.05/585.42 c | 537677 | 3894 16680 50680 | 2147483647 221841 114 | 0.000 % |
585.45/585.80 c | 537889 | 3894 16680 50680 | 2147483647 222053 114 | 0.000 % |
585.74/586.16 c | 538123 | 3894 16680 50680 | 2147483647 222287 114 | 0.000 % |
586.14/586.58 c | 538379 | 3894 16680 50680 | 2147483647 222543 114 | 0.000 % |
586.64/587.04 c | 538663 | 3894 16680 50680 | 2147483647 222827 114 | 0.000 % |
587.14/587.50 c | 538972 | 3894 16680 50680 | 2147483647 223136 114 | 0.000 % |
587.64/588.06 c | 539312 | 3894 16680 50680 | 2147483647 223476 114 | 0.000 % |
588.24/588.64 c | 539684 | 3894 16680 50680 | 2147483647 223848 114 | 0.000 % |
588.84/589.27 c | 540093 | 3894 16680 50680 | 224164 224257 114 | 0.000 % |
589.84/590.20 c | 540543 | 3894 16680 50680 | 224164 196407 114 | 0.000 % |
590.54/590.97 c | 541038 | 3894 16680 50680 | 224164 196902 114 | 0.000 % |
591.35/591.77 c | 541581 | 3894 16680 50680 | 224164 197445 114 | 0.000 % |
592.24/592.61 c | 542179 | 3894 16680 50680 | 224164 198043 114 | 0.000 % |
593.04/593.49 c | 542834 | 3894 16680 50680 | 224164 198698 114 | 0.000 % |
594.04/594.44 c | 543555 | 3894 16680 50680 | 224164 199419 114 | 0.000 % |
595.04/595.50 c | 544347 | 3894 16680 50680 | 224164 200211 114 | 0.000 % |
596.34/596.70 c | 545219 | 3894 16680 50680 | 224164 201083 114 | 0.000 % |
597.54/597.99 c | 546179 | 3894 16680 50680 | 224164 202043 114 | 0.000 % |
599.04/599.43 c | 547232 | 3894 16680 50680 | 224164 203096 114 | 0.000 % |
600.44/600.82 c | 548390 | 3894 16680 50680 | 224164 204254 114 | 0.000 % |
602.04/602.46 c | 549663 | 3894 16680 50680 | 224164 205527 114 | 0.000 % |
604.04/604.48 c | 551065 | 3894 16680 50680 | 205866 184250 114 | 0.000 % |
606.03/606.47 c | 552605 | 3894 16680 50680 | 205866 185790 114 | 0.000 % |
608.23/608.66 c | 554301 | 3894 16680 50680 | 205866 187486 114 | 0.000 % |
610.53/610.98 c | 556164 | 3894 16680 50680 | 205866 189349 114 | 0.000 % |
613.02/613.47 c | 558213 | 3894 16680 50680 | 205866 191398 114 | 0.000 % |
615.62/616.07 c | 560467 | 3894 16680 50680 | 2147483647 193652 114 | 0.000 % |
618.63/619.02 c | 562948 | 3894 16680 50680 | 2147483647 196133 114 | 0.000 % |
621.83/622.29 c | 565674 | 3894 16680 50680 | 2147483647 198859 114 | 0.000 % |
625.43/625.89 c | 568672 | 3894 16680 50680 | 2147483647 201857 115 | 0.000 % |
629.43/629.80 c | 571970 | 3894 16680 50680 | 2147483647 205155 115 | 0.000 % |
634.12/634.51 c | 575595 | 3894 16680 50680 | 2147483647 208780 115 | 0.000 % |
639.42/639.89 c | 579584 | 3894 16680 50680 | 2147483647 212769 115 | 0.000 % |
645.02/645.45 c | 583969 | 3894 16680 50680 | 2147483647 217154 115 | 0.000 % |
651.21/651.63 c | 588794 | 3894 16680 50680 | 2147483647 221979 115 | 0.000 % |
658.90/659.33 c | 594100 | 3894 16680 50680 | 223188 202673 116 | 0.000 % |
659.00/659.47 c | 594200 | 3894 16680 50680 | 223188 202773 116 | 0.000 % |
659.20/659.65 c | 594311 | 3894 16680 50680 | 223188 202884 116 | 0.000 % |
659.39/659.85 c | 594433 | 3894 16680 50680 | 223188 203006 116 | 0.000 % |
659.60/660.08 c | 594566 | 3894 16680 50680 | 223188 203139 116 | 0.000 % |
659.89/660.36 c | 594712 | 3894 16680 50680 | 223188 203285 116 | 0.000 % |
660.19/660.60 c | 594873 | 3894 16680 50680 | 223188 203446 116 | 0.000 % |
660.39/660.88 c | 595049 | 3894 16680 50680 | 223188 203622 116 | 0.000 % |
660.79/661.20 c | 595242 | 3894 16680 50680 | 223188 203815 116 | 0.000 % |
661.09/661.52 c | 595454 | 3894 16680 50680 | 223188 204027 116 | 0.000 % |
661.49/661.91 c | 595687 | 3894 16680 50680 | 223188 204260 116 | 0.000 % |
661.89/662.31 c | 595943 | 3894 16680 50680 | 223188 204516 116 | 0.000 % |
662.29/662.72 c | 596224 | 3894 16680 50680 | 223188 204797 115 | 0.000 % |
662.69/663.19 c | 596534 | 3894 16680 50680 | 223188 205107 115 | 0.000 % |
663.29/663.74 c | 596875 | 3894 16680 50680 | 223188 205448 115 | 0.000 % |
663.79/664.26 c | 597247 | 3894 16680 50680 | 223188 205820 115 | 0.000 % |
664.39/664.86 c | 597656 | 3894 16680 50680 | 223188 206229 115 | 0.000 % |
664.99/665.49 c | 598106 | 3894 16680 50680 | 223188 206679 115 | 0.000 % |
665.79/666.20 c | 598600 | 3894 16680 50680 | 223188 207173 115 | 0.000 % |
666.49/666.93 c | 599143 | 3894 16680 50680 | 223188 207716 115 | 0.000 % |
667.19/667.68 c | 599741 | 3894 16680 50680 | 223188 208314 115 | 0.000 % |
668.19/668.67 c | 600396 | 3894 16680 50680 | 208573 208969 115 | 0.000 % |
669.39/669.82 c | 601116 | 3894 16680 50680 | 208573 185326 115 | 0.000 % |
670.39/670.81 c | 601908 | 3894 16680 50680 | 208573 186118 115 | 0.000 % |
671.49/671.93 c | 602779 | 3894 16680 50680 | 208573 186989 115 | 0.000 % |
672.69/673.19 c | 603737 | 3894 16680 50680 | 208573 187947 115 | 0.000 % |
673.89/674.39 c | 604791 | 3894 16680 50680 | 208573 189001 115 | 0.000 % |
675.38/675.81 c | 605952 | 3894 16680 50680 | 208573 190162 115 | 0.000 % |
676.78/677.28 c | 607225 | 3894 16680 50680 | 208573 191435 115 | 0.000 % |
678.58/679.03 c | 608625 | 3894 16680 50680 | 208573 192835 115 | 0.000 % |
680.39/680.83 c | 610167 | 3894 16680 50680 | 2147483647 194377 115 | 0.000 % |
682.48/682.96 c | 611862 | 3894 16680 50680 | 2147483647 196072 115 | 0.000 % |
684.68/685.18 c | 613726 | 3894 16680 50680 | 2147483647 197936 115 | 0.000 % |
687.08/687.53 c | 615775 | 3894 16680 50680 | 2147483647 199985 115 | 0.000 % |
689.78/690.23 c | 618030 | 3894 16680 50680 | 2147483647 202240 115 | 0.000 % |
692.88/693.32 c | 620511 | 3894 16680 50680 | 2147483647 204721 115 | 0.000 % |
696.27/696.76 c | 623236 | 3894 16680 50680 | 2147483647 207446 115 | 0.000 % |
700.27/700.74 c | 626233 | 3894 16680 50680 | 2147483647 210443 115 | 0.000 % |
704.47/704.91 c | 629529 | 3894 16680 50680 | 2147483647 213739 115 | 0.000 % |
709.27/709.77 c | 633155 | 3894 16680 50680 | 2147483647 217365 115 | 0.000 % |
714.57/715.09 c | 637142 | 3894 16680 50680 | 2147483647 221352 115 | 0.000 % |
720.67/721.10 c | 641527 | 3894 16680 50680 | 224210 201857 116 | 0.000 % |
727.16/727.68 c | 646353 | 3894 16680 50680 | 224210 206683 116 | 0.000 % |
734.46/734.99 c | 651658 | 3894 16680 50680 | 210331 187237 117 | 0.000 % |
741.76/742.24 c | 657495 | 3894 16680 50680 | 210331 193074 117 | 0.000 % |
741.86/742.39 c | 657597 | 3894 16680 50680 | 210331 193176 117 | 0.000 % |
742.16/742.61 c | 657707 | 3894 16680 50680 | 210331 193286 117 | 0.000 % |
742.26/742.78 c | 657830 | 3894 16680 50680 | 210331 193409 117 | 0.000 % |
742.46/742.98 c | 657963 | 3894 16680 50680 | 210331 193542 117 | 0.000 % |
742.76/743.21 c | 658109 | 3894 16680 50680 | 210331 193688 117 | 0.000 % |
742.96/743.46 c | 658269 | 3894 16680 50680 | 210331 193848 117 | 0.000 % |
743.26/743.75 c | 658445 | 3894 16680 50680 | 210331 194024 117 | 0.000 % |
743.56/744.05 c | 658641 | 3894 16680 50680 | 210331 194220 117 | 0.000 % |
743.86/744.37 c | 658854 | 3894 16680 50680 | 210331 194433 117 | 0.000 % |
744.26/744.72 c | 659088 | 3894 16680 50680 | 210331 194667 117 | 0.000 % |
744.65/745.14 c | 659347 | 3894 16680 50680 | 210331 194926 117 | 0.000 % |
745.05/745.53 c | 659628 | 3894 16680 50680 | 210331 195207 117 | 0.000 % |
745.45/745.95 c | 659937 | 3894 16680 50680 | 210331 195516 117 | 0.000 % |
745.95/746.47 c | 660276 | 3894 16680 50680 | 2147483647 195855 117 | 0.000 % |
746.46/746.91 c | 660648 | 3894 16680 50680 | 2147483647 196227 117 | 0.000 % |
746.95/747.49 c | 661057 | 3894 16680 50680 | 2147483647 196636 117 | 0.000 % |
747.65/748.13 c | 661508 | 3894 16680 50680 | 2147483647 197087 117 | 0.000 % |
748.35/748.84 c | 662001 | 3894 16680 50680 | 2147483647 197580 117 | 0.000 % |
749.15/749.65 c | 662544 | 3894 16680 50680 | 2147483647 198123 117 | 0.000 % |
749.95/750.49 c | 663140 | 3894 16680 50680 | 2147483647 198719 117 | 0.000 % |
750.95/751.42 c | 663795 | 3894 16680 50680 | 2147483647 199374 117 | 0.000 % |
751.95/752.46 c | 664518 | 3894 16680 50680 | 2147483647 200097 117 | 0.000 % |
753.15/753.61 c | 665310 | 3894 16680 50680 | 2147483647 200889 117 | 0.000 % |
754.25/754.79 c | 666181 | 3894 16680 50680 | 2147483647 201760 116 | 0.000 % |
755.55/756.08 c | 667140 | 3894 16680 50680 | 2147483647 202719 116 | 0.000 % |
756.95/757.47 c | 668194 | 3894 16680 50680 | 2147483647 203773 116 | 0.000 % |
758.45/759.00 c | 669352 | 3894 16680 50680 | 2147483647 204931 116 | 0.000 % |
760.15/760.65 c | 670625 | 3894 16680 50680 | 205580 206204 116 | 0.000 % |
762.14/762.66 c | 672026 | 3894 16680 50680 | 205580 184321 116 | 0.000 % |
764.14/764.63 c | 673566 | 3894 16680 50680 | 205580 185861 116 | 0.000 % |
766.25/766.77 c | 675260 | 3894 16680 50680 | 205580 187555 116 | 0.000 % |
768.54/769.04 c | 677124 | 3894 16680 50680 | 205580 189419 116 | 0.000 % |
771.14/771.60 c | 679173 | 3894 16680 50680 | 205580 191468 116 | 0.000 % |
773.94/774.42 c | 681426 | 3894 16680 50680 | 2147483647 193721 116 | 0.000 % |
777.14/777.60 c | 683904 | 3894 16680 50680 | 2147483647 196199 116 | 0.000 % |
780.84/781.31 c | 686631 | 3894 16680 50680 | 2147483647 198926 116 | 0.000 % |
784.43/784.99 c | 689628 | 3894 16680 50680 | 2147483647 201923 116 | 0.000 % |
788.83/789.37 c | 692924 | 3894 16680 50680 | 2147483647 205219 116 | 0.000 % |
793.53/794.03 c | 696550 | 3894 16680 50680 | 2147483647 208845 116 | 0.000 % |
799.02/799.50 c | 700537 | 3894 16680 50680 | 2147483647 212832 116 | 0.000 % |
804.82/805.36 c | 704922 | 3894 16680 50680 | 2147483647 217217 116 | 0.000 % |
811.82/812.38 c | 709746 | 3894 16680 50680 | 2147483647 222041 116 | 0.000 % |
818.52/819.08 c | 715052 | 3894 16680 50680 | 222296 197992 116 | 0.000 % |
826.11/826.65 c | 720887 | 3894 16680 50680 | 2147483647 203827 117 | 0.000 % |
834.10/834.62 c | 727305 | 3894 16680 50680 | 2147483647 210245 117 | 0.000 % |
834.20/834.78 c | 727406 | 3894 16680 50680 | 2147483647 210346 117 | 0.000 % |
834.41/834.95 c | 727516 | 3894 16680 50680 | 2147483647 210456 117 | 0.000 % |
834.60/835.17 c | 727637 | 3894 16680 50680 | 2147483647 210577 117 | 0.000 % |
834.80/835.39 c | 727772 | 3894 16680 50680 | 2147483647 210712 117 | 0.000 % |
835.10/835.63 c | 727918 | 3894 16680 50680 | 2147483647 210858 117 | 0.000 % |
835.30/835.90 c | 728078 | 3894 16680 50680 | 2147483647 211018 117 | 0.000 % |
835.70/836.20 c | 728254 | 3894 16680 50680 | 2147483647 211194 117 | 0.000 % |
836.00/836.53 c | 728447 | 3894 16680 50680 | 2147483647 211387 117 | 0.000 % |
836.30/836.88 c | 728660 | 3894 16680 50680 | 2147483647 211600 117 | 0.000 % |
836.70/837.25 c | 728893 | 3894 16680 50680 | 2147483647 211833 117 | 0.000 % |
837.10/837.69 c | 729151 | 3894 16680 50680 | 2147483647 212091 117 | 0.000 % |
837.50/838.09 c | 729433 | 3894 16680 50680 | 2147483647 212373 117 | 0.000 % |
838.10/838.63 c | 729743 | 3894 16680 50680 | 2147483647 212683 117 | 0.000 % |
838.60/839.14 c | 730082 | 3894 16680 50680 | 212941 213022 117 | 0.000 % |
839.40/839.98 c | 730458 | 3894 16680 50680 | 212941 189548 117 | 0.000 % |
840.00/840.54 c | 730867 | 3894 16680 50680 | 212941 189957 117 | 0.000 % |
840.60/841.19 c | 731319 | 3894 16680 50680 | 212941 190409 116 | 0.000 % |
841.30/841.83 c | 731814 | 3894 16680 50680 | 212941 190904 116 | 0.000 % |
842.00/842.55 c | 732359 | 3894 16680 50680 | 212941 191449 116 | 0.000 % |
842.90/843.40 c | 732956 | 3894 16680 50680 | 212941 192046 116 | 0.000 % |
843.70/844.26 c | 733612 | 3894 16680 50680 | 212941 192702 116 | 0.000 % |
844.70/845.20 c | 734334 | 3894 16680 50680 | 212941 193424 116 | 0.000 % |
845.70/846.24 c | 735130 | 3894 16680 50680 | 212941 194220 116 | 0.000 % |
846.80/847.35 c | 736003 | 3894 16680 50680 | 212941 195093 116 | 0.000 % |
848.30/848.81 c | 736961 | 3894 16680 50680 | 212941 196051 116 | 0.000 % |
849.59/850.17 c | 738014 | 3894 16680 50680 | 212941 197104 116 | 0.000 % |
851.09/851.63 c | 739172 | 3894 16680 50680 | 212941 198262 116 | 0.000 % |
852.69/853.28 c | 740447 | 3894 16680 50680 | 199090 199537 116 | 0.000 % |
854.69/855.24 c | 741849 | 3894 16680 50680 | 199090 180986 117 | 0.000 % |
856.59/857.17 c | 743389 | 3894 16680 50680 | 199090 182526 117 | 0.000 % |
858.69/859.23 c | 745084 | 3894 16680 50680 | 199090 184221 117 | 0.000 % |
860.99/861.58 c | 746947 | 3894 16680 50680 | 199090 186084 117 | 0.000 % |
863.39/863.95 c | 748999 | 3894 16680 50680 | 199090 188136 117 | 0.000 % |
866.09/866.64 c | 751252 | 3894 16680 50680 | 2147483647 190389 117 | 0.000 % |
869.09/869.64 c | 753730 | 3894 16680 50680 | 2147483647 192867 117 | 0.000 % |
872.49/873.05 c | 756457 | 3894 16680 50680 | 2147483647 195594 117 | 0.000 % |
876.48/877.05 c | 759454 | 3894 16680 50680 | 2147483647 198591 117 | 0.000 % |
880.78/881.31 c | 762750 | 3894 16680 50680 | 2147483647 201887 116 | 0.000 % |
885.28/885.85 c | 766377 | 3894 16680 50680 | 2147483647 205514 117 | 0.000 % |
890.07/890.66 c | 770367 | 3894 16680 50680 | 2147483647 209504 117 | 0.000 % |
895.77/896.32 c | 774752 | 3894 16680 50680 | 2147483647 213889 117 | 0.000 % |
901.77/902.39 c | 779576 | 3894 16680 50680 | 2147483647 218713 117 | 0.000 % |
908.96/909.56 c | 784882 | 3894 16680 50680 | 2147483647 224019 117 | 0.000 % |
917.36/917.95 c | 790718 | 3894 16680 50680 | 229138 198184 116 | 0.000 % |
925.36/925.92 c | 797139 | 3894 16680 50680 | 229138 204605 117 | 0.000 % |
934.36/934.97 c | 804198 | 3894 16680 50680 | 207468 189774 117 | 0.000 % |
934.55/935.12 c | 804298 | 3894 16680 50680 | 207468 189874 117 | 0.000 % |
934.65/935.29 c | 804409 | 3894 16680 50680 | 207468 189985 117 | 0.000 % |
934.95/935.50 c | 804532 | 3894 16680 50680 | 207468 190108 117 | 0.000 % |
935.15/935.74 c | 804665 | 3894 16680 50680 | 207468 190241 117 | 0.000 % |
935.35/935.99 c | 804814 | 3894 16680 50680 | 207468 190390 117 | 0.000 % |
935.65/936.22 c | 804974 | 3894 16680 50680 | 207468 190550 117 | 0.000 % |
935.85/936.49 c | 805151 | 3894 16680 50680 | 207468 190727 117 | 0.000 % |
936.15/936.79 c | 805344 | 3894 16680 50680 | 207468 190920 117 | 0.000 % |
936.45/937.09 c | 805556 | 3894 16680 50680 | 207468 191132 117 | 0.000 % |
936.85/937.44 c | 805789 | 3894 16680 50680 | 207468 191365 117 | 0.000 % |
937.25/937.80 c | 806046 | 3894 16680 50680 | 207468 191622 117 | 0.000 % |
937.65/938.21 c | 806328 | 3894 16680 50680 | 207468 191904 117 | 0.000 % |
938.05/938.61 c | 806637 | 3894 16680 50680 | 207468 192213 117 | 0.000 % |
938.45/939.08 c | 806976 | 3894 16680 50680 | 207468 192552 117 | 0.000 % |
939.05/939.62 c | 807348 | 3894 16680 50680 | 207468 192924 117 | 0.000 % |
939.55/940.17 c | 807758 | 3894 16680 50680 | 207468 193334 117 | 0.000 % |
940.15/940.78 c | 808208 | 3894 16680 50680 | 207468 193784 117 | 0.000 % |
940.85/941.46 c | 808702 | 3894 16680 50680 | 207468 194278 117 | 0.000 % |
941.55/942.14 c | 809245 | 3894 16680 50680 | 207468 194821 117 | 0.000 % |
942.35/942.93 c | 809841 | 3894 16680 50680 | 207468 195417 117 | 0.000 % |
943.25/943.81 c | 810496 | 3894 16680 50680 | 2147483647 196072 116 | 0.000 % |
944.05/944.63 c | 811217 | 3894 16680 50680 | 2147483647 196793 116 | 0.000 % |
945.05/945.65 c | 812009 | 3894 16680 50680 | 2147483647 197585 116 | 0.000 % |
946.35/946.93 c | 812880 | 3894 16680 50680 | 2147483647 198456 116 | 0.000 % |
947.65/948.22 c | 813838 | 3894 16680 50680 | 2147483647 199414 116 | 0.000 % |
949.05/949.60 c | 814891 | 3894 16680 50680 | 2147483647 200467 116 | 0.000 % |
950.35/950.98 c | 816050 | 3894 16680 50680 | 2147483647 201626 116 | 0.000 % |
952.06/952.67 c | 817323 | 3894 16680 50680 | 2147483647 202899 116 | 0.000 % |
954.06/954.68 c | 818723 | 3894 16680 50680 | 2147483647 204299 116 | 0.000 % |
956.15/956.78 c | 820263 | 3894 16680 50680 | 205580 205839 116 | 0.000 % |
958.66/959.26 c | 821957 | 3894 16680 50680 | 205580 186893 117 | 0.000 % |
960.76/961.36 c | 823821 | 3894 16680 50680 | 205580 188757 117 | 0.000 % |
963.15/963.79 c | 825870 | 3894 16680 50680 | 205580 190806 117 | 0.000 % |
965.85/966.42 c | 828123 | 3894 16680 50680 | 205580 193059 117 | 0.000 % |
968.74/969.31 c | 830604 | 3894 16680 50680 | 2147483647 195540 117 | 0.000 % |
972.04/972.62 c | 833332 | 3894 16680 50680 | 2147483647 198268 117 | 0.000 % |
975.84/976.41 c | 836329 | 3894 16680 50680 | 2147483647 201265 117 | 0.000 % |
979.94/980.53 c | 839625 | 3894 16680 50680 | 2147483647 204561 117 | 0.000 % |
984.44/985.00 c | 843251 | 3894 16680 50680 | 2147483647 208187 117 | 0.000 % |
989.54/990.12 c | 847242 | 3894 16680 50680 | 2147483647 212178 117 | 0.000 % |
995.14/995.72 c | 851627 | 3894 16680 50680 | 2147483647 216563 117 | 0.000 % |
1001.93/1002.51 c | 856450 | 3894 16680 50680 | 2147483647 221386 117 | 0.000 % |
1009.53/1010.19 c | 861756 | 3894 16680 50680 | 224936 201403 117 | 0.000 % |
1017.03/1017.62 c | 867592 | 3894 16680 50680 | 224936 207239 117 | 0.000 % |
1025.63/1026.22 c | 874010 | 3894 16680 50680 | 209647 189480 118 | 0.000 % |
1033.92/1034.59 c | 881069 | 3894 16680 50680 | 2147483647 196539 118 | 0.000 % |
1043.72/1044.38 c | 888836 | 3894 16680 50680 | 2147483647 204306 119 | 0.000 % |
1043.92/1044.56 c | 888937 | 3894 16680 50680 | 2147483647 204407 119 | 0.000 % |
1044.12/1044.72 c | 889047 | 3894 16680 50680 | 2147483647 204517 119 | 0.000 % |
1044.32/1044.98 c | 889168 | 3894 16680 50680 | 2147483647 204638 119 | 0.000 % |
1044.62/1045.21 c | 889301 | 3894 16680 50680 | 2147483647 204771 119 | 0.000 % |
1044.82/1045.46 c | 889448 | 3894 16680 50680 | 2147483647 204918 119 | 0.000 % |
1045.12/1045.73 c | 889608 | 3894 16680 50680 | 2147483647 205078 119 | 0.000 % |
1045.42/1046.01 c | 889787 | 3894 16680 50680 | 2147483647 205257 119 | 0.000 % |
1045.72/1046.31 c | 889981 | 3894 16680 50680 | 2147483647 205451 119 | 0.000 % |
1046.02/1046.64 c | 890195 | 3894 16680 50680 | 205471 205665 119 | 0.000 % |
1046.62/1047.23 c | 890431 | 3894 16680 50680 | 205471 184263 118 | 0.000 % |
1046.92/1047.59 c | 890691 | 3894 16680 50680 | 205471 184523 118 | 0.000 % |
1047.32/1047.98 c | 890972 | 3894 16680 50680 | 205471 184804 118 | 0.000 % |
1047.81/1048.43 c | 891281 | 3894 16680 50680 | 205471 185113 118 | 0.000 % |
1048.21/1048.90 c | 891620 | 3894 16680 50680 | 205471 185452 118 | 0.000 % |
1048.82/1049.42 c | 891992 | 3894 16680 50680 | 205471 185824 118 | 0.000 % |
1049.31/1049.94 c | 892401 | 3894 16680 50680 | 205471 186233 118 | 0.000 % |
1049.82/1050.50 c | 892850 | 3894 16680 50680 | 205471 186682 118 | 0.000 % |
1050.51/1051.12 c | 893345 | 3894 16680 50680 | 205471 187177 118 | 0.000 % |
1051.21/1051.82 c | 893887 | 3894 16680 50680 | 205471 187719 118 | 0.000 % |
1051.91/1052.54 c | 894483 | 3894 16680 50680 | 205471 188315 118 | 0.000 % |
1052.81/1053.45 c | 895138 | 3894 16680 50680 | 205471 188970 118 | 0.000 % |
1053.81/1054.42 c | 895858 | 3894 16680 50680 | 205471 189690 118 | 0.000 % |
1054.71/1055.38 c | 896650 | 3894 16680 50680 | 205471 190482 118 | 0.000 % |
1055.91/1056.54 c | 897523 | 3894 16680 50680 | 205471 191355 118 | 0.000 % |
1057.21/1057.88 c | 898481 | 3894 16680 50680 | 205471 192313 118 | 0.000 % |
1058.71/1059.33 c | 899535 | 3894 16680 50680 | 205471 193367 118 | 0.000 % |
1060.20/1060.83 c | 900695 | 3894 16680 50680 | 2147483647 194527 118 | 0.000 % |
1061.91/1062.53 c | 901972 | 3894 16680 50680 | 2147483647 195804 118 | 0.000 % |
1063.70/1064.39 c | 903375 | 3894 16680 50680 | 2147483647 197207 118 | 0.000 % |
1065.60/1066.25 c | 904915 | 3894 16680 50680 | 2147483647 198747 118 | 0.000 % |
1067.60/1068.28 c | 906610 | 3894 16680 50680 | 2147483647 200442 118 | 0.000 % |
1070.10/1070.71 c | 908473 | 3894 16680 50680 | 2147483647 202305 118 | 0.000 % |
1072.70/1073.36 c | 910524 | 3894 16680 50680 | 2147483647 204356 118 | 0.000 % |
1075.70/1076.37 c | 912778 | 3894 16680 50680 | 2147483647 206610 118 | 0.000 % |
1079.10/1079.76 c | 915256 | 3894 16680 50680 | 2147483647 209088 118 | 0.000 % |
1082.80/1083.46 c | 917982 | 3894 16680 50680 | 2147483647 211814 118 | 0.000 % |
1087.20/1087.87 c | 920980 | 3894 16680 50680 | 213833 190518 117 | 0.000 % |
1091.39/1092.05 c | 924276 | 3894 16680 50680 | 213833 193814 117 | 0.000 % |
1095.79/1096.49 c | 927902 | 3894 16680 50680 | 213833 197440 117 | 0.000 % |
1100.89/1101.52 c | 931889 | 3894 16680 50680 | 2147483647 201427 117 | 0.000 % |
1106.69/1107.35 c | 936276 | 3894 16680 50680 | 2147483647 205814 118 | 0.000 % |
1112.98/1113.60 c | 941100 | 3894 16680 50680 | 2147483647 210638 118 | 0.000 % |
1119.78/1120.44 c | 946406 | 3894 16680 50680 | 2147483647 215944 118 | 0.000 % |
1127.78/1128.47 c | 952241 | 3894 16680 50680 | 2147483647 221779 118 | 0.000 % |
1136.47/1137.11 c | 958661 | 3894 16680 50680 | 2147483647 228199 118 | 0.000 % |
1145.96/1146.60 c | 965723 | 3894 16680 50680 | 229539 208026 118 | 0.000 % |
1156.15/1156.80 c | 973487 | 3894 16680 50680 | 2147483647 215790 118 | 0.000 % |
1167.75/1168.42 c | 982028 | 3894 16680 50680 | 222303 199903 118 | 0.000 % |
1167.95/1168.64 c | 982129 | 3894 16680 50680 | 222303 200004 118 | 0.000 % |
1168.15/1168.81 c | 982240 | 3894 16680 50680 | 222303 200115 118 | 0.000 % |
1168.35/1169.03 c | 982363 | 3894 16680 50680 | 222303 200238 118 | 0.000 % |
1168.55/1169.23 c | 982497 | 3894 16680 50680 | 222303 200372 118 | 0.000 % |
1168.75/1169.49 c | 982644 | 3894 16680 50680 | 222303 200519 118 | 0.000 % |
1169.05/1169.73 c | 982804 | 3894 16680 50680 | 222303 200679 118 | 0.000 % |
1169.25/1169.97 c | 982980 | 3894 16680 50680 | 222303 200855 118 | 0.000 % |
1169.55/1170.28 c | 983174 | 3894 16680 50680 | 222303 201049 118 | 0.000 % |
1169.85/1170.58 c | 983391 | 3894 16680 50680 | 222303 201266 118 | 0.000 % |
1170.25/1170.93 c | 983625 | 3894 16680 50680 | 222303 201500 118 | 0.000 % |
1170.55/1171.28 c | 983882 | 3894 16680 50680 | 222303 201757 118 | 0.000 % |
1171.05/1171.71 c | 984163 | 3894 16680 50680 | 222303 202038 118 | 0.000 % |
1171.45/1172.17 c | 984472 | 3894 16680 50680 | 222303 202347 118 | 0.000 % |
1171.95/1172.67 c | 984812 | 3894 16680 50680 | 222303 202687 118 | 0.000 % |
1172.45/1173.17 c | 985185 | 3894 16680 50680 | 222303 203060 118 | 0.000 % |
1173.05/1173.75 c | 985595 | 3894 16680 50680 | 222303 203470 118 | 0.000 % |
1173.75/1174.46 c | 986044 | 3894 16680 50680 | 222303 203919 118 | 0.000 % |
1174.45/1175.17 c | 986539 | 3894 16680 50680 | 222303 204414 118 | 0.000 % |
1175.25/1175.99 c | 987081 | 3894 16680 50680 | 222303 204956 118 | 0.000 % |
1176.15/1176.88 c | 987678 | 3894 16680 50680 | 222303 205553 118 | 0.000 % |
1177.15/1177.85 c | 988335 | 3894 16680 50680 | 222303 206210 118 | 0.000 % |
1178.15/1178.84 c | 989057 | 3894 16680 50680 | 222303 206932 118 | 0.000 % |
1179.24/1179.96 c | 989849 | 3894 16680 50680 | 222303 207724 118 | 0.000 % |
1180.75/1181.43 c | 990720 | 3894 16680 50680 | 207875 183264 118 | 0.000 % |
1181.94/1182.61 c | 991679 | 3894 16680 50680 | 207875 184223 118 | 0.000 % |
1183.24/1183.94 c | 992733 | 3894 16680 50680 | 207875 185277 118 | 0.000 % |
1184.74/1185.49 c | 993891 | 3894 16680 50680 | 207875 186435 118 | 0.000 % |
1186.24/1186.97 c | 995166 | 3894 16680 50680 | 207875 187710 118 | 0.000 % |
1187.84/1188.54 c | 996566 | 3894 16680 50680 | 207875 189110 118 | 0.000 % |
1189.74/1190.49 c | 998106 | 3894 16680 50680 | 207875 190650 118 | 0.000 % |
1191.75/1192.41 c | 999801 | 3894 16680 50680 | 207875 192345 118 | 0.000 % |
1194.04/1194.71 c | 1001664 | 3894 16680 50680 | 2147483647 194208 118 | 0.000 % |
1196.54/1197.28 c | 1003714 | 3894 16680 50680 | 2147483647 196258 118 | 0.000 % |
1199.34/1200.04 c | 1005967 | 3894 16680 50680 | 2147483647 198511 118 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832745-1242787247/watcher-1832745-1242787247 -o /tmp/evaluation-result-1832745-1242787247/solver-1832745-1242787247 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832745-1242787247.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: 0.92 0.98 0.98 3/64 16495
/proc/meminfo: memFree=1849880/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0
/proc/16495/stat : 16495 (SatELiteGTI) R 16493 16495 15862 0 -1 4194304 292 249 0 0 0 0 0 0 19 0 1 0 133726530 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/16495/statm: 1339 237 197 169 0 50 0
[startup+0.079918 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 16495
/proc/meminfo: memFree=1849880/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.10192 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 16495
/proc/meminfo: memFree=1849880/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301942 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 16495
/proc/meminfo: memFree=1849880/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701985 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 16495
/proc/meminfo: memFree=1849880/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1845512/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=5292 CPUtime=1.41
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 1024 0 0 0 141 0 0 0 25 0 1 0 133726537 5419008 1010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 1323 1010 77 171 0 1150 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10648
[startup+3.10223 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1843976/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=8856 CPUtime=3
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 1942 0 0 0 299 1 0 0 25 0 1 0 133726537 9068544 1928 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 2214 1928 77 171 0 2041 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 14212
[startup+6.30157 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1837320/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=14564 CPUtime=6.2
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 3350 0 0 0 617 3 0 0 25 0 1 0 133726537 14913536 3336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 3641 3336 77 171 0 3468 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19920
[startup+12.7022 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1828552/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=22564 CPUtime=12.58
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 5353 0 0 0 1254 4 0 0 25 0 1 0 133726537 23105536 5339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 5641 5339 77 171 0 5468 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27920
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1816328/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=34432 CPUtime=25.37
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 8306 0 0 0 2529 8 0 0 25 0 1 0 133726537 35258368 8292 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 8608 8292 77 171 0 8435 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39788
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1798728/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=52168 CPUtime=50.96
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 12726 0 0 0 5083 13 0 0 25 0 1 0 133726537 53420032 12712 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 13042 12712 77 171 0 12869 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57524
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1773256/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=77120 CPUtime=102.12
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 18949 0 0 0 10192 20 0 0 25 0 1 0 133726537 78970880 18935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 19280 18935 77 171 0 19107 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 82476
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1753352/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=96656 CPUtime=162.09
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 23882 0 0 0 16183 26 0 0 25 0 1 0 133726537 98975744 23868 1992294400 134512640 135215339 4294956240 18446744073709551615 134529091 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 24164 23868 77 171 0 23991 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 102012
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1747656/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=102604 CPUtime=222.06
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 25263 0 0 0 22178 28 0 0 25 0 1 0 133726537 105066496 25249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 25651 25249 77 171 0 25478 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 107960
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1743688/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=106432 CPUtime=282.04
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 26243 0 0 0 28175 29 0 0 25 0 1 0 133726537 108986368 26229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 26608 26229 77 171 0 26435 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 111788
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1743560/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=106432 CPUtime=342
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 26243 0 0 0 34171 29 0 0 25 0 1 0 133726537 108986368 26229 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 26608 26229 77 171 0 26435 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 111788
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1739080/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=111184 CPUtime=401.97
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 27414 0 0 0 40166 31 0 0 25 0 1 0 133726537 113852416 27400 1992294400 134512640 135215339 4294956240 18446744073709551615 134525121 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 27796 27400 77 171 0 27623 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 116540
[startup+462.301 s]
################
# More data... #
################
/proc/16501/statm: 27994 27627 77 171 0 27821 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 117332
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1735816/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=113692 CPUtime=641.86
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 28058 0 0 0 64153 33 0 0 25 0 1 0 133726537 116420608 28044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 28423 28044 77 171 0 28250 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 119048
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1734280/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=115144 CPUtime=701.81
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 28420 0 0 0 70148 33 0 0 25 0 1 0 133726537 117907456 28406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 28786 28406 77 171 0 28613 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 120500
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1733192/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=116068 CPUtime=761.79
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 28663 0 0 0 76145 34 0 0 25 0 1 0 133726537 118853632 28649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 29017 28649 77 171 0 28844 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 121424
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1733000/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=116200 CPUtime=821.75
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 28682 0 0 0 82141 34 0 0 25 0 1 0 133726537 118988800 28668 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 29050 28668 77 171 0 28877 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 121556
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1732936/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=116200 CPUtime=881.72
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 28682 0 0 0 88138 34 0 0 25 0 1 0 133726537 118988800 28668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 29050 28668 77 171 0 28877 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 121556
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1728712/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=120292 CPUtime=941.69
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 29701 0 0 0 94134 35 0 0 25 0 1 0 133726537 123179008 29687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30073 29687 77 171 0 29900 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 125648
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1728648/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=120292 CPUtime=1001.67
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 29701 0 0 0 100131 36 0 0 25 0 1 0 133726537 123179008 29687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30073 29687 77 171 0 29900 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 125648
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1728520/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=120292 CPUtime=1061.64
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 29701 0 0 0 106128 36 0 0 25 0 1 0 133726537 123179008 29687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30073 29687 77 171 0 29900 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 125648
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1728392/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=120292 CPUtime=1121.62
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 29701 0 0 0 112126 36 0 0 25 0 1 0 133726537 123179008 29687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30073 29687 77 171 0 29900 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 125648
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1726984/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=121612 CPUtime=1181.58
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 30054 0 0 0 118122 36 0 0 25 0 1 0 133726537 124530688 30040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30403 30040 77 171 0 30230 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 126968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1726984/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=121612 CPUtime=1199.98
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 30054 0 0 0 119961 37 0 0 25 0 1 0 133726537 124530688 30040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30403 30040 77 171 0 30230 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 126968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.98 2/66 16501
/proc/meminfo: memFree=1726984/2055920 swapFree=4180328/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0.06
/proc/16495/stat : 16495 (SatELiteGTI) S 16493 16495 15862 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 133726530 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16495/statm: 1339 239 197 169 0 50 0
[pid=16501] ppid=16495 vsize=121612 CPUtime=1199.98
/proc/16501/stat : 16501 (minisat_static) R 16495 16495 15862 0 -1 4194304 30054 0 0 0 119961 37 0 0 25 0 1 0 133726537 124530688 30040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16501/statm: 30403 30040 77 171 0 30230 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 126968
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16495 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=62990
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.070988
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.67
CPU system time (s): 0.37
CPU usage (%): 99.9439
Max. virtual memory (cumulated for all children) (KiB): 126968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06299
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1177
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= 13
involuntary context switches= 7
runsolver used 1.00585 second user time and 3.49947 second system time
The end
Begin job on node7 at 2009-05-20 04:40:47
IDJOB=1832745
IDBENCH=70336
IDSOLVER=671
FILE ID=node7/1832745-1242787247
PBS_JOBID= 9322330
Free space on /tmp= 66312 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832745-1242787247/watcher-1832745-1242787247 -o /tmp/evaluation-result-1832745-1242787247/solver-1832745-1242787247 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832745-1242787247.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2cf097c2e3f08e952b8382a74656155a
RANDOM SEED=1919317534
node7.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850360 kB
Buffers: 27236 kB
Cached: 130760 kB
SwapCached: 7448 kB
Active: 73744 kB
Inactive: 93168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850360 kB
SwapTotal: 4192956 kB
SwapFree: 4180328 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 13560 kB
Slab: 24680 kB
Committed_AS: 386848 kB
PageTables: 1444 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= 66308 MiB
End job on node7 at 2009-05-20 05:00:49