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 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.016997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.08 c | 101 | 160 13600 95200 | 4533 101 49 | 0.004 % |
0.00/0.08 c | 201 | 160 13600 95200 | 4533 201 48 | 0.004 % |
0.00/0.09 c | 302 | 160 13600 95200 | 4533 302 47 | 0.004 % |
0.04/0.10 c | 414 | 160 13600 95200 | 4533 414 47 | 0.004 % |
0.04/0.11 c | 514 | 160 13600 95200 | 4533 514 47 | 0.004 % |
0.04/0.12 c | 624 | 160 13600 95200 | 4533 624 48 | 0.004 % |
0.04/0.13 c | 745 | 160 13600 95200 | 4533 745 48 | 0.004 % |
0.04/0.13 c | 845 | 160 13600 95200 | 4533 845 48 | 0.004 % |
0.04/0.14 c | 955 | 160 13600 95200 | 4533 955 48 | 0.004 % |
0.04/0.15 c | 1076 | 160 13600 95200 | 4533 1076 47 | 0.004 % |
0.04/0.16 c | 1210 | 160 13600 95200 | 4533 1210 48 | 0.004 % |
0.04/0.17 c | 1313 | 160 13600 95200 | 4533 1313 48 | 0.004 % |
0.04/0.18 c | 1423 | 160 13600 95200 | 4533 1423 48 | 0.004 % |
0.04/0.19 c | 1544 | 160 13600 95200 | 4533 1544 48 | 0.004 % |
0.04/0.20 c | 1678 | 160 13600 95200 | 4533 1678 48 | 0.004 % |
0.04/0.21 c | 1825 | 160 13600 95200 | 4533 1825 48 | 0.004 % |
0.04/0.22 c | 1925 | 160 13600 95200 | 4533 1925 48 | 0.004 % |
0.04/0.23 c | 2035 | 160 13600 95200 | 4533 2035 48 | 0.004 % |
0.04/0.24 c | 2157 | 160 13600 95200 | 4533 2157 48 | 0.004 % |
0.04/0.25 c | 2290 | 160 13600 95200 | 4533 2290 48 | 0.004 % |
0.04/0.26 c | 2436 | 160 13600 95200 | 4533 2436 48 | 0.004 % |
0.04/0.27 c | 2596 | 160 13600 95200 | 4533 2596 48 | 0.004 % |
0.04/0.28 c | 2696 | 160 13600 95200 | 4533 2696 48 | 0.004 % |
0.04/0.29 c | 2808 | 160 13600 95200 | 4533 2808 48 | 0.004 % |
0.04/0.31 c | 2929 | 160 13600 95200 | 4533 2929 48 | 0.004 % |
0.04/0.32 c | 3063 | 160 13600 95200 | 4533 3063 48 | 0.004 % |
0.04/0.33 c | 3209 | 160 13600 95200 | 4533 3209 48 | 0.004 % |
0.04/0.34 c | 3369 | 160 13600 95200 | 4533 3369 48 | 0.004 % |
0.04/0.36 c | 3545 | 160 13600 95200 | 4533 3545 48 | 0.004 % |
0.04/0.37 c | 3649 | 160 13600 95200 | 4533 3649 48 | 0.004 % |
0.04/0.38 c | 3760 | 160 13600 95200 | 4533 3760 48 | 0.004 % |
0.04/0.39 c | 3882 | 160 13600 95200 | 4533 3882 48 | 0.004 % |
0.04/0.40 c | 4018 | 160 13600 95200 | 4533 4018 48 | 0.004 % |
0.04/0.41 c | 4166 | 160 13600 95200 | 4533 4166 48 | 0.004 % |
0.04/0.43 c | 4328 | 160 13600 95200 | 4533 4328 48 | 0.004 % |
0.04/0.44 c | 4507 | 160 13600 95200 | 4533 4507 48 | 0.004 % |
0.04/0.47 c | 4701 | 160 13600 95200 | 4533 4240 48 | 0.004 % |
0.04/0.47 c | 4801 | 160 13600 95200 | 4533 4340 48 | 0.004 % |
0.04/0.48 c | 4912 | 160 13600 95200 | 4533 4451 48 | 0.004 % |
0.04/0.50 c | 5035 | 160 13600 95200 | 4533 4574 48 | 0.004 % |
0.04/0.51 c | 5169 | 160 13600 95200 | 4533 4251 48 | 0.004 % |
0.04/0.52 c | 5316 | 160 13600 95200 | 4533 4398 48 | 0.004 % |
0.04/0.54 c | 5478 | 160 13600 95200 | 4533 4560 48 | 0.004 % |
0.04/0.56 c | 5654 | 160 13600 95200 | 4533 4280 48 | 0.004 % |
0.04/0.57 c | 5849 | 160 13600 95200 | 4533 4475 48 | 0.004 % |
0.04/0.60 c | 6062 | 160 13600 95200 | 4533 4227 48 | 0.004 % |
0.04/0.61 c | 6162 | 160 13600 95200 | 4533 4327 48 | 0.004 % |
0.04/0.62 c | 6274 | 160 13600 95200 | 4533 4439 48 | 0.004 % |
0.04/0.63 c | 6395 | 160 13600 95200 | 4533 4560 48 | 0.004 % |
0.04/0.64 c | 6528 | 160 13600 95200 | 4533 4237 48 | 0.004 % |
0.04/0.66 c | 6675 | 160 13600 95200 | 4533 4384 48 | 0.004 % |
0.04/0.67 c | 6836 | 160 13600 95200 | 4533 4545 48 | 0.004 % |
0.04/0.69 c | 7012 | 160 13600 95200 | 4533 4267 48 | 0.004 % |
0.04/0.71 c | 7207 | 160 13600 95200 | 4533 4462 48 | 0.004 % |
0.04/0.73 c | 7419 | 160 13600 95200 | 4533 4214 48 | 0.004 % |
0.04/0.75 c | 7652 | 160 13600 95200 | 4533 4447 48 | 0.004 % |
0.04/0.76 c | 7752 | 160 13600 95200 | 4533 4547 48 | 0.004 % |
0.04/0.77 c | 7863 | 160 13600 95200 | 4533 4204 48 | 0.004 % |
0.04/0.78 c | 7985 | 160 13600 95200 | 4533 4326 48 | 0.004 % |
0.04/0.80 c | 8122 | 160 13600 95200 | 4533 4463 48 | 0.004 % |
0.04/0.81 c | 8268 | 160 13600 95200 | 4533 4149 48 | 0.004 % |
0.04/0.83 c | 8428 | 160 13600 95200 | 4533 4309 48 | 0.004 % |
0.04/0.85 c | 8604 | 160 13600 95200 | 4533 4485 48 | 0.004 % |
0.04/0.87 c | 8797 | 160 13600 95200 | 4533 4217 48 | 0.004 % |
0.04/0.89 c | 9011 | 160 13600 95200 | 4533 4431 48 | 0.004 % |
0.04/0.91 c | 9244 | 160 13600 95200 | 4533 4204 48 | 0.004 % |
0.04/0.93 c | 9500 | 160 13600 95200 | 4533 4460 47 | 0.004 % |
0.04/0.94 c | 9601 | 160 13600 95200 | 4533 4561 47 | 0.004 % |
0.04/0.96 c | 9711 | 160 13600 95200 | 4533 4215 47 | 0.004 % |
0.04/0.97 c | 9832 | 160 13600 95200 | 4533 4336 47 | 0.004 % |
0.04/0.98 c | 9966 | 160 13600 95200 | 4533 4470 47 | 0.004 % |
0.04/0.99 c | 10112 | 160 13600 95200 | 2147483647 4616 48 | 0.004 % |
0.98/1.01 c | 10272 | 160 13600 95200 | 2147483647 4776 48 | 0.004 % |
0.98/1.03 c | 10448 | 160 13600 95200 | 2147483647 4952 48 | 0.004 % |
0.98/1.05 c | 10641 | 160 13600 95200 | 2147483647 5145 48 | 0.004 % |
0.98/1.08 c | 10853 | 160 13600 95200 | 2147483647 5357 48 | 0.004 % |
1.08/1.10 c | 11086 | 160 13600 95200 | 2147483647 5590 47 | 0.004 % |
1.08/1.13 c | 11343 | 160 13600 95200 | 2147483647 5847 48 | 0.004 % |
1.08/1.15 c | 11626 | 160 13600 95200 | 2147483647 6130 48 | 0.004 % |
1.08/1.16 c | 11726 | 160 13600 95200 | 2147483647 6230 48 | 0.004 % |
1.08/1.18 c | 11837 | 160 13600 95200 | 2147483647 6341 48 | 0.004 % |
1.08/1.19 c | 11958 | 160 13600 95200 | 2147483647 6462 48 | 0.004 % |
1.17/1.20 c | 12092 | 160 13600 95200 | 2147483647 6596 48 | 0.004 % |
1.17/1.22 c | 12238 | 160 13600 95200 | 2147483647 6742 48 | 0.004 % |
1.17/1.24 c | 12398 | 160 13600 95200 | 2147483647 6902 48 | 0.004 % |
1.17/1.26 c | 12575 | 160 13600 95200 | 2147483647 7079 48 | 0.004 % |
1.17/1.28 c | 12769 | 160 13600 95200 | 2147483647 7273 48 | 0.004 % |
1.27/1.30 c | 12981 | 160 13600 95200 | 2147483647 7485 48 | 0.004 % |
1.27/1.33 c | 13218 | 160 13600 95200 | 2147483647 7722 48 | 0.004 % |
1.27/1.36 c | 13475 | 160 13600 95200 | 2147483647 7979 48 | 0.004 % |
1.27/1.39 c | 13757 | 160 13600 95200 | 2147483647 8261 48 | 0.004 % |
1.37/1.43 c | 14066 | 160 13600 95200 | 2147483647 8570 48 | 0.004 % |
1.37/1.45 c | 14169 | 160 13600 95200 | 2147483647 8673 48 | 0.004 % |
1.37/1.46 c | 14279 | 160 13600 95200 | 2147483647 8783 48 | 0.004 % |
1.37/1.48 c | 14402 | 160 13600 95200 | 2147483647 8906 48 | 0.004 % |
1.37/1.50 c | 14536 | 160 13600 95200 | 2147483647 9040 48 | 0.004 % |
1.47/1.52 c | 14684 | 160 13600 95200 | 2147483647 9188 48 | 0.004 % |
1.47/1.54 c | 14845 | 160 13600 95200 | 2147483647 9349 48 | 0.004 % |
1.47/1.56 c | 15021 | 160 13600 95200 | 2147483647 9525 48 | 0.004 % |
1.47/1.59 c | 15214 | 160 13600 95200 | 2147483647 9718 48 | 0.004 % |
1.57/1.61 c | 15426 | 160 13600 95200 | 2147483647 9930 48 | 0.004 % |
1.57/1.64 c | 15660 | 160 13600 95200 | 2147483647 10164 48 | 0.004 % |
1.57/1.68 c | 15916 | 160 13600 95200 | 2147483647 10420 48 | 0.004 % |
1.67/1.72 c | 16198 | 160 13600 95200 | 2147483647 10702 48 | 0.004 % |
1.67/1.76 c | 16509 | 160 13600 95200 | 2147483647 11013 48 | 0.004 % |
1.77/1.81 c | 16848 | 160 13600 95200 | 2147483647 11352 48 | 0.004 % |
1.77/1.83 c | 16948 | 160 13600 95200 | 2147483647 11452 48 | 0.004 % |
1.77/1.85 c | 17058 | 160 13600 95200 | 2147483647 11562 48 | 0.004 % |
1.77/1.87 c | 17179 | 160 13600 95200 | 2147483647 11683 48 | 0.004 % |
1.77/1.89 c | 17312 | 160 13600 95200 | 2147483647 11816 48 | 0.004 % |
1.87/1.91 c | 17461 | 160 13600 95200 | 2147483647 11965 48 | 0.004 % |
1.87/1.94 c | 17621 | 160 13600 95200 | 2147483647 12125 48 | 0.004 % |
1.87/1.96 c | 17797 | 160 13600 95200 | 2147483647 12301 48 | 0.004 % |
1.87/1.99 c | 17990 | 160 13600 95200 | 2147483647 12494 48 | 0.004 % |
1.97/2.03 c | 18202 | 160 13600 95200 | 2147483647 12706 48 | 0.004 % |
1.97/2.07 c | 18435 | 160 13600 95200 | 2147483647 12939 48 | 0.004 % |
2.07/2.11 c | 18691 | 160 13600 95200 | 2147483647 13195 48 | 0.004 % |
2.07/2.16 c | 18974 | 160 13600 95200 | 2147483647 13478 48 | 0.004 % |
2.17/2.20 c | 19284 | 160 13600 95200 | 2147483647 13788 48 | 0.004 % |
2.17/2.27 c | 19624 | 160 13600 95200 | 2147483647 14128 48 | 0.004 % |
2.27/2.33 c | 19998 | 160 13600 95200 | 2147483647 14502 48 | 0.004 % |
2.27/2.35 c | 20099 | 160 13600 95200 | 2147483647 14603 48 | 0.004 % |
2.27/2.37 c | 20211 | 160 13600 95200 | 2147483647 14715 48 | 0.004 % |
2.27/2.40 c | 20332 | 160 13600 95200 | 2147483647 14836 48 | 0.004 % |
2.37/2.42 c | 20469 | 160 13600 95200 | 2147483647 14973 48 | 0.004 % |
2.37/2.45 c | 20615 | 160 13600 95200 | 2147483647 15119 48 | 0.004 % |
2.37/2.48 c | 20776 | 160 13600 95200 | 2147483647 15280 48 | 0.004 % |
2.47/2.51 c | 20952 | 160 13600 95200 | 2147483647 15456 48 | 0.004 % |
2.47/2.55 c | 21145 | 160 13600 95200 | 2147483647 15649 48 | 0.004 % |
2.47/2.58 c | 21358 | 160 13600 95200 | 2147483647 15862 48 | 0.004 % |
2.57/2.63 c | 21592 | 160 13600 95200 | 2147483647 16096 48 | 0.004 % |
2.57/2.68 c | 21851 | 160 13600 95200 | 2147483647 16355 48 | 0.004 % |
2.67/2.74 c | 22133 | 160 13600 95200 | 2147483647 16637 48 | 0.004 % |
2.77/2.80 c | 22442 | 160 13600 95200 | 2147483647 16946 48 | 0.004 % |
2.77/2.87 c | 22781 | 160 13600 95200 | 2147483647 17285 48 | 0.004 % |
2.87/2.94 c | 23153 | 160 13600 95200 | 2147483647 17657 48 | 0.004 % |
2.97/3.02 c | 23562 | 160 13600 95200 | 2147483647 18066 48 | 0.004 % |
2.97/3.05 c | 23662 | 160 13600 95200 | 2147483647 18166 48 | 0.004 % |
2.97/3.08 c | 23772 | 160 13600 95200 | 2147483647 18276 48 | 0.004 % |
3.07/3.11 c | 23894 | 160 13600 95200 | 2147483647 18398 48 | 0.004 % |
3.07/3.14 c | 24027 | 160 13600 95200 | 2147483647 18531 48 | 0.004 % |
3.07/3.17 c | 24173 | 160 13600 95200 | 2147483647 18677 48 | 0.004 % |
3.18/3.21 c | 24334 | 160 13600 95200 | 2147483647 18838 48 | 0.004 % |
3.18/3.25 c | 24510 | 160 13600 95200 | 2147483647 19014 48 | 0.004 % |
3.18/3.30 c | 24704 | 160 13600 95200 | 2147483647 19208 48 | 0.004 % |
3.28/3.35 c | 24917 | 160 13600 95200 | 2147483647 19421 48 | 0.004 % |
3.37/3.41 c | 25151 | 160 13600 95200 | 2147483647 19655 48 | 0.004 % |
3.37/3.47 c | 25408 | 160 13600 95200 | 2147483647 19912 48 | 0.004 % |
3.47/3.53 c | 25689 | 160 13600 95200 | 2147483647 20193 48 | 0.004 % |
3.57/3.61 c | 25998 | 160 13600 95200 | 2147483647 20502 48 | 0.004 % |
3.57/3.69 c | 26340 | 160 13600 95200 | 2147483647 20844 48 | 0.004 % |
3.67/3.78 c | 26713 | 160 13600 95200 | 2147483647 21217 48 | 0.004 % |
3.77/3.88 c | 27123 | 160 13600 95200 | 2147483647 21627 48 | 0.004 % |
3.87/3.99 c | 27573 | 160 13600 95200 | 2147483647 22077 48 | 0.004 % |
3.97/4.02 c | 27673 | 160 13600 95200 | 2147483647 22177 48 | 0.004 % |
3.97/4.06 c | 27785 | 160 13600 95200 | 2147483647 22289 48 | 0.004 % |
3.97/4.09 c | 27906 | 160 13600 95200 | 2147483647 22410 48 | 0.004 % |
4.07/4.13 c | 28039 | 160 13600 95200 | 2147483647 22543 48 | 0.004 % |
4.07/4.18 c | 28185 | 160 13600 95200 | 2147483647 22689 48 | 0.004 % |
4.17/4.23 c | 28345 | 160 13600 95200 | 2147483647 22849 48 | 0.004 % |
4.17/4.28 c | 28522 | 160 13600 95200 | 2147483647 23026 48 | 0.004 % |
4.27/4.33 c | 28715 | 160 13600 95200 | 2147483647 23219 48 | 0.004 % |
4.27/4.39 c | 28928 | 160 13600 95200 | 2147483647 23432 48 | 0.004 % |
4.37/4.47 c | 29163 | 160 13600 95200 | 2147483647 23667 48 | 0.004 % |
4.47/4.54 c | 29422 | 160 13600 95200 | 2147483647 23926 48 | 0.004 % |
4.57/4.61 c | 29703 | 160 13600 95200 | 2147483647 24207 48 | 0.004 % |
4.57/4.69 c | 30015 | 160 13600 95200 | 2147483647 24519 48 | 0.004 % |
4.77/4.80 c | 30355 | 160 13600 95200 | 2147483647 24859 48 | 0.004 % |
4.87/4.90 c | 30728 | 160 13600 95200 | 2147483647 25232 48 | 0.004 % |
4.97/5.03 c | 31138 | 160 13600 95200 | 2147483647 25642 48 | 0.004 % |
5.07/5.16 c | 31587 | 160 13600 95200 | 2147483647 26091 48 | 0.004 % |
5.27/5.32 c | 32080 | 160 13600 95200 | 2147483647 26584 48 | 0.004 % |
5.27/5.36 c | 32180 | 160 13600 95200 | 2147483647 26684 48 | 0.004 % |
5.27/5.39 c | 32294 | 160 13600 95200 | 2147483647 26798 48 | 0.004 % |
5.38/5.43 c | 32417 | 160 13600 95200 | 2147483647 26921 48 | 0.004 % |
5.38/5.48 c | 32550 | 160 13600 95200 | 2147483647 27054 48 | 0.004 % |
5.48/5.54 c | 32697 | 160 13600 95200 | 2147483647 27201 48 | 0.004 % |
5.48/5.59 c | 32857 | 160 13600 95200 | 2147483647 27361 48 | 0.004 % |
5.57/5.64 c | 33034 | 160 13600 95200 | 2147483647 27538 48 | 0.004 % |
5.67/5.71 c | 33227 | 160 13600 95200 | 2147483647 27731 48 | 0.004 % |
5.67/5.78 c | 33439 | 160 13600 95200 | 2147483647 27943 48 | 0.004 % |
5.77/5.86 c | 33672 | 160 13600 95200 | 2147483647 28176 48 | 0.004 % |
5.87/5.94 c | 33928 | 160 13600 95200 | 2147483647 28432 48 | 0.004 % |
5.97/6.03 c | 34211 | 160 13600 95200 | 2147483647 28715 48 | 0.004 % |
6.07/6.13 c | 34520 | 160 13600 95200 | 2147483647 29024 48 | 0.004 % |
6.17/6.25 c | 34860 | 160 13600 95200 | 2147483647 29364 48 | 0.004 % |
6.27/6.38 c | 35233 | 160 13600 95200 | 2147483647 29737 48 | 0.004 % |
6.47/6.54 c | 35642 | 160 13600 95200 | 2147483647 30146 48 | 0.004 % |
6.57/6.69 c | 36091 | 160 13600 95200 | 2147483647 30595 48 | 0.004 % |
6.76/6.89 c | 36585 | 160 13600 95200 | 2147483647 31089 48 | 0.004 % |
6.97/7.09 c | 37127 | 160 13600 95200 | 2147483647 31631 48 | 0.004 % |
7.07/7.13 c | 37227 | 160 13600 95200 | 2147483647 31731 48 | 0.004 % |
7.07/7.17 c | 37337 | 160 13600 95200 | 2147483647 31841 48 | 0.004 % |
7.17/7.21 c | 37458 | 160 13600 95200 | 2147483647 31962 48 | 0.004 % |
7.17/7.27 c | 37592 | 160 13600 95200 | 2147483647 32096 48 | 0.004 % |
7.27/7.34 c | 37738 | 160 13600 95200 | 2147483647 32242 48 | 0.004 % |
7.27/7.39 c | 37900 | 160 13600 95200 | 2147483647 32404 48 | 0.004 % |
7.37/7.46 c | 38077 | 160 13600 95200 | 2147483647 32581 48 | 0.004 % |
7.47/7.55 c | 38271 | 160 13600 95200 | 2147483647 32775 48 | 0.004 % |
7.58/7.64 c | 38483 | 160 13600 95200 | 2147483647 32987 48 | 0.004 % |
7.68/7.73 c | 38716 | 160 13600 95200 | 2147483647 33220 48 | 0.004 % |
7.77/7.81 c | 38972 | 160 13600 95200 | 2147483647 33476 48 | 0.004 % |
7.87/7.91 c | 39255 | 160 13600 95200 | 2147483647 33759 48 | 0.004 % |
7.97/8.03 c | 39565 | 160 13600 95200 | 2147483647 34069 48 | 0.004 % |
8.07/8.18 c | 39906 | 160 13600 95200 | 2147483647 34410 48 | 0.004 % |
8.27/8.34 c | 40278 | 160 13600 95200 | 2147483647 34782 48 | 0.004 % |
8.47/8.51 c | 40688 | 160 13600 95200 | 2147483647 35192 48 | 0.004 % |
8.57/8.69 c | 41138 | 160 13600 95200 | 2147483647 35642 48 | 0.004 % |
8.77/8.88 c | 41631 | 160 13600 95200 | 2147483647 36135 48 | 0.004 % |
8.97/9.09 c | 42173 | 160 13600 95200 | 2147483647 36677 48 | 0.004 % |
9.27/9.33 c | 42772 | 160 13600 95200 | 2147483647 37276 48 | 0.004 % |
9.27/9.38 c | 42872 | 160 13600 95200 | 2147483647 37376 48 | 0.004 % |
9.37/9.42 c | 42982 | 160 13600 95200 | 2147483647 37486 48 | 0.004 % |
9.37/9.48 c | 43103 | 160 13600 95200 | 2147483647 37607 48 | 0.004 % |
9.47/9.54 c | 43236 | 160 13600 95200 | 2147483647 37740 48 | 0.004 % |
9.56/9.60 c | 43383 | 160 13600 95200 | 2147483647 37887 48 | 0.004 % |
9.56/9.68 c | 43543 | 160 13600 95200 | 2147483647 38047 48 | 0.004 % |
9.66/9.79 c | 43719 | 160 13600 95200 | 2147483647 38223 48 | 0.004 % |
9.77/9.89 c | 43913 | 160 13600 95200 | 2147483647 38417 48 | 0.004 % |
9.96/10.00 c | 44126 | 160 13600 95200 | 2147483647 38630 48 | 0.004 % |
10.06/10.12 c | 44359 | 160 13600 95200 | 2147483647 38863 48 | 0.004 % |
10.16/10.23 c | 44615 | 160 13600 95200 | 2147483647 39119 48 | 0.004 % |
10.26/10.33 c | 44897 | 160 13600 95200 | 2147483647 39401 48 | 0.004 % |
10.36/10.47 c | 45207 | 160 13600 95200 | 2147483647 39711 48 | 0.004 % |
10.57/10.62 c | 45546 | 160 13600 95200 | 2147483647 40050 48 | 0.004 % |
10.77/10.84 c | 45920 | 160 13600 95200 | 2147483647 40424 48 | 0.004 % |
10.98/11.06 c | 46329 | 160 13600 95200 | 2147483647 40833 48 | 0.004 % |
11.17/11.28 c | 46783 | 160 13600 95200 | 2147483647 41287 48 | 0.004 % |
11.47/11.50 c | 47276 | 160 13600 95200 | 2147483647 41780 48 | 0.004 % |
11.67/11.75 c | 47818 | 160 13600 95200 | 2147483647 42322 48 | 0.004 % |
11.98/12.03 c | 48415 | 160 13600 95200 | 2147483647 42919 48 | 0.004 % |
12.27/12.36 c | 49070 | 160 13600 95200 | 2147483647 43574 48 | 0.004 % |
12.37/12.43 c | 49172 | 160 13600 95200 | 2147483647 43676 48 | 0.004 % |
12.37/12.50 c | 49282 | 160 13600 95200 | 2147483647 43786 48 | 0.004 % |
12.47/12.56 c | 49404 | 160 13600 95200 | 2147483647 43908 48 | 0.004 % |
12.57/12.63 c | 49537 | 160 13600 95200 | 2147483647 44041 48 | 0.004 % |
12.67/12.73 c | 49685 | 160 13600 95200 | 2147483647 44189 48 | 0.004 % |
12.77/12.81 c | 49846 | 160 13600 95200 | 2147483647 44350 48 | 0.004 % |
12.87/12.92 c | 50025 | 160 13600 95200 | 2147483647 44529 48 | 0.004 % |
12.97/13.05 c | 50218 | 160 13600 95200 | 2147483647 44722 48 | 0.004 % |
13.07/13.17 c | 50430 | 160 13600 95200 | 2147483647 44934 48 | 0.004 % |
13.17/13.29 c | 50663 | 160 13600 95200 | 2147483647 45167 48 | 0.004 % |
13.37/13.43 c | 50919 | 160 13600 95200 | 2147483647 45423 48 | 0.004 % |
13.47/13.59 c | 51202 | 160 13600 95200 | 2147483647 45706 48 | 0.004 % |
13.67/13.73 c | 51511 | 160 13600 95200 | 2147483647 46015 48 | 0.004 % |
13.87/13.95 c | 51851 | 160 13600 95200 | 2147483647 46355 48 | 0.004 % |
14.07/14.15 c | 52223 | 160 13600 95200 | 2147483647 46727 48 | 0.004 % |
14.27/14.39 c | 52633 | 160 13600 95200 | 2147483647 47137 48 | 0.004 % |
14.57/14.63 c | 53082 | 160 13600 95200 | 2147483647 47586 48 | 0.004 % |
14.87/14.93 c | 53576 | 160 13600 95200 | 2147483647 48080 48 | 0.004 % |
15.17/15.26 c | 54119 | 160 13600 95200 | 2147483647 48623 48 | 0.004 % |
15.47/15.58 c | 54715 | 160 13600 95200 | 2147483647 49219 48 | 0.004 % |
15.87/15.96 c | 55370 | 160 13600 95200 | 2147483647 49874 48 | 0.004 % |
16.27/16.39 c | 56091 | 160 13600 95200 | 2147483647 50595 48 | 0.004 % |
16.37/16.47 c | 56192 | 160 13600 95200 | 2147483647 50696 48 | 0.004 % |
16.47/16.54 c | 56302 | 160 13600 95200 | 2147483647 50806 48 | 0.004 % |
16.56/16.62 c | 56423 | 160 13600 95200 | 2147483647 50927 48 | 0.004 % |
16.66/16.71 c | 56557 | 160 13600 95200 | 2147483647 51061 48 | 0.004 % |
16.76/16.82 c | 56703 | 160 13600 95200 | 2147483647 51207 48 | 0.004 % |
16.86/16.91 c | 56863 | 160 13600 95200 | 2147483647 51367 48 | 0.004 % |
16.96/17.02 c | 57040 | 160 13600 95200 | 2147483647 51544 48 | 0.004 % |
17.06/17.15 c | 57233 | 160 13600 95200 | 2147483647 51737 48 | 0.004 % |
17.26/17.30 c | 57445 | 160 13600 95200 | 2147483647 51949 48 | 0.004 % |
17.36/17.44 c | 57679 | 160 13600 95200 | 2147483647 52183 48 | 0.004 % |
17.46/17.60 c | 57935 | 160 13600 95200 | 2147483647 52439 48 | 0.004 % |
17.67/17.77 c | 58216 | 160 13600 95200 | 2147483647 52720 48 | 0.004 % |
17.87/17.96 c | 58529 | 160 13600 95200 | 2147483647 53033 48 | 0.004 % |
18.17/18.20 c | 58868 | 160 13600 95200 | 2147483647 53372 48 | 0.004 % |
18.37/18.44 c | 59240 | 160 13600 95200 | 2147483647 53744 48 | 0.004 % |
18.57/18.68 c | 59650 | 160 13600 95200 | 2147483647 54154 48 | 0.004 % |
18.87/18.98 c | 60099 | 160 13600 95200 | 2147483647 54603 48 | 0.004 % |
19.27/19.32 c | 60593 | 160 13600 95200 | 2147483647 55097 48 | 0.004 % |
19.57/19.70 c | 61135 | 160 13600 95200 | 2147483647 55639 48 | 0.004 % |
20.07/20.12 c | 61732 | 160 13600 95200 | 2147483647 56236 48 | 0.004 % |
20.47/20.56 c | 62387 | 160 13600 95200 | 2147483647 56891 48 | 0.004 % |
20.97/21.03 c | 63108 | 160 13600 95200 | 2147483647 57612 48 | 0.004 % |
21.47/21.51 c | 63901 | 160 13600 95200 | 2147483647 58405 48 | 0.004 % |
21.47/21.57 c | 64002 | 160 13600 95200 | 2147483647 58506 48 | 0.004 % |
21.57/21.67 c | 64114 | 160 13600 95200 | 2147483647 58618 48 | 0.004 % |
21.67/21.76 c | 64235 | 160 13600 95200 | 2147483647 58739 48 | 0.004 % |
21.77/21.86 c | 64368 | 160 13600 95200 | 2147483647 58872 48 | 0.004 % |
21.87/21.97 c | 64514 | 160 13600 95200 | 2147483647 59018 48 | 0.004 % |
22.07/22.10 c | 64675 | 160 13600 95200 | 2147483647 59179 48 | 0.004 % |
22.17/22.24 c | 64851 | 160 13600 95200 | 2147483647 59355 48 | 0.004 % |
22.27/22.37 c | 65044 | 160 13600 95200 | 2147483647 59548 48 | 0.004 % |
22.47/22.56 c | 65258 | 160 13600 95200 | 2147483647 59762 48 | 0.004 % |
22.67/22.75 c | 65492 | 160 13600 95200 | 2147483647 59996 48 | 0.004 % |
22.87/22.93 c | 65748 | 160 13600 95200 | 2147483647 60252 48 | 0.004 % |
23.07/23.12 c | 66030 | 160 13600 95200 | 2147483647 60534 48 | 0.004 % |
23.27/23.39 c | 66341 | 160 13600 95200 | 2147483647 60845 48 | 0.004 % |
23.57/23.66 c | 66682 | 160 13600 95200 | 2147483647 61186 48 | 0.004 % |
23.86/23.94 c | 67054 | 160 13600 95200 | 2147483647 61558 48 | 0.004 % |
24.17/24.26 c | 67463 | 160 13600 95200 | 2147483647 61967 48 | 0.004 % |
24.56/24.64 c | 67912 | 160 13600 95200 | 2147483647 62416 48 | 0.004 % |
24.96/25.03 c | 68407 | 160 13600 95200 | 2147483647 62911 48 | 0.004 % |
25.36/25.40 c | 68950 | 160 13600 95200 | 2147483647 63454 48 | 0.004 % |
25.76/25.85 c | 69546 | 160 13600 95200 | 2147483647 64050 48 | 0.004 % |
26.36/26.46 c | 70203 | 160 13600 95200 | 64504 57018 48 | 0.004 % |
26.86/26.96 c | 70924 | 160 13600 95200 | 64504 57739 48 | 0.004 % |
27.46/27.53 c | 71716 | 160 13600 95200 | 64504 58531 48 | 0.004 % |
27.96/28.08 c | 72587 | 160 13600 95200 | 64504 59402 48 | 0.004 % |
28.06/28.17 c | 72688 | 160 13600 95200 | 64504 59503 48 | 0.004 % |
28.16/28.26 c | 72798 | 160 13600 95200 | 64504 59613 48 | 0.004 % |
28.26/28.35 c | 72920 | 160 13600 95200 | 64504 59735 48 | 0.004 % |
28.36/28.44 c | 73056 | 160 13600 95200 | 64504 59871 48 | 0.004 % |
28.46/28.58 c | 73203 | 160 13600 95200 | 64504 60018 48 | 0.004 % |
28.66/28.72 c | 73363 | 160 13600 95200 | 64504 60178 48 | 0.004 % |
28.76/28.85 c | 73539 | 160 13600 95200 | 64504 60354 48 | 0.004 % |
28.96/29.02 c | 73733 | 160 13600 95200 | 64504 60548 48 | 0.004 % |
29.06/29.19 c | 73946 | 160 13600 95200 | 64504 60761 48 | 0.004 % |
29.26/29.36 c | 74179 | 160 13600 95200 | 64504 60994 48 | 0.004 % |
29.46/29.55 c | 74435 | 160 13600 95200 | 64504 61250 48 | 0.004 % |
29.66/29.78 c | 74716 | 160 13600 95200 | 64504 61531 48 | 0.004 % |
29.86/29.98 c | 75026 | 160 13600 95200 | 64504 61841 48 | 0.004 % |
30.16/30.28 c | 75366 | 160 13600 95200 | 64504 62181 48 | 0.004 % |
30.46/30.56 c | 75739 | 160 13600 95200 | 64504 62554 48 | 0.004 % |
30.76/30.86 c | 76149 | 160 13600 95200 | 64504 62964 48 | 0.004 % |
31.06/31.17 c | 76599 | 160 13600 95200 | 64504 63414 48 | 0.004 % |
31.46/31.57 c | 77095 | 160 13600 95200 | 64504 63910 48 | 0.004 % |
31.96/32.00 c | 77637 | 160 13600 95200 | 64504 64452 48 | 0.004 % |
32.36/32.43 c | 78233 | 160 13600 95200 | 64504 56248 48 | 0.004 % |
32.76/32.83 c | 78888 | 160 13600 95200 | 64504 56903 48 | 0.004 % |
33.16/33.24 c | 79608 | 160 13600 95200 | 64504 57623 48 | 0.004 % |
33.66/33.75 c | 80402 | 160 13600 95200 | 58015 50822 48 | 0.004 % |
34.06/34.19 c | 81275 | 160 13600 95200 | 58015 51695 48 | 0.004 % |
34.66/34.73 c | 82234 | 160 13600 95200 | 58015 52654 48 | 0.004 % |
34.66/34.79 c | 82335 | 160 13600 95200 | 58015 52755 48 | 0.004 % |
34.76/34.85 c | 82445 | 160 13600 95200 | 58015 52865 48 | 0.004 % |
34.86/34.93 c | 82566 | 160 13600 95200 | 58015 52986 48 | 0.004 % |
34.96/35.05 c | 82699 | 160 13600 95200 | 58015 53119 48 | 0.004 % |
35.06/35.15 c | 82846 | 160 13600 95200 | 58015 53266 48 | 0.004 % |
35.16/35.25 c | 83006 | 160 13600 95200 | 58015 53426 48 | 0.004 % |
35.26/35.39 c | 83182 | 160 13600 95200 | 58015 53602 48 | 0.004 % |
35.46/35.54 c | 83376 | 160 13600 95200 | 58015 53796 48 | 0.004 % |
35.56/35.68 c | 83590 | 160 13600 95200 | 58015 54010 48 | 0.004 % |
35.76/35.84 c | 83824 | 160 13600 95200 | 58015 54244 48 | 0.004 % |
35.96/36.01 c | 84082 | 160 13600 95200 | 58015 54502 48 | 0.004 % |
36.16/36.22 c | 84364 | 160 13600 95200 | 58015 54784 48 | 0.004 % |
36.36/36.44 c | 84674 | 160 13600 95200 | 58015 55094 48 | 0.004 % |
36.56/36.61 c | 85014 | 160 13600 95200 | 58015 55434 48 | 0.004 % |
36.76/36.89 c | 85386 | 160 13600 95200 | 58015 55806 48 | 0.004 % |
37.06/37.16 c | 85796 | 160 13600 95200 | 58015 56216 48 | 0.004 % |
37.36/37.45 c | 86246 | 160 13600 95200 | 58015 56666 48 | 0.004 % |
37.66/37.77 c | 86740 | 160 13600 95200 | 58015 57160 48 | 0.004 % |
38.06/38.11 c | 87283 | 160 13600 95200 | 58015 57703 48 | 0.004 % |
38.36/38.48 c | 87879 | 160 13600 95200 | 58015 52237 48 | 0.004 % |
38.76/38.86 c | 88535 | 160 13600 95200 | 58015 52893 48 | 0.004 % |
39.26/39.35 c | 89255 | 160 13600 95200 | 58015 53613 48 | 0.004 % |
39.76/39.87 c | 90049 | 160 13600 95200 | 54359 54407 48 | 0.004 % |
40.36/40.41 c | 90922 | 160 13600 95200 | 54359 49777 48 | 0.004 % |
40.86/40.97 c | 91880 | 160 13600 95200 | 54359 50735 48 | 0.004 % |
41.46/41.51 c | 92933 | 160 13600 95200 | 54359 51788 48 | 0.004 % |
41.46/41.57 c | 93033 | 160 13600 95200 | 54359 51888 48 | 0.004 % |
41.56/41.66 c | 93143 | 160 13600 95200 | 54359 51998 48 | 0.004 % |
41.66/41.75 c | 93264 | 160 13600 95200 | 54359 52119 48 | 0.004 % |
41.76/41.84 c | 93398 | 160 13600 95200 | 54359 52253 48 | 0.004 % |
41.86/41.92 c | 93544 | 160 13600 95200 | 54359 52399 48 | 0.004 % |
41.96/42.05 c | 93704 | 160 13600 95200 | 54359 52559 48 | 0.004 % |
42.06/42.15 c | 93881 | 160 13600 95200 | 54359 52736 48 | 0.004 % |
42.16/42.29 c | 94074 | 160 13600 95200 | 54359 52929 48 | 0.004 % |
42.36/42.44 c | 94286 | 160 13600 95200 | 54359 53141 48 | 0.004 % |
42.55/42.61 c | 94521 | 160 13600 95200 | 54359 53376 48 | 0.004 % |
42.76/42.80 c | 94778 | 160 13600 95200 | 54359 53633 48 | 0.004 % |
42.86/42.97 c | 95059 | 160 13600 95200 | 54359 53914 48 | 0.004 % |
43.05/43.19 c | 95368 | 160 13600 95200 | 54359 54223 48 | 0.004 % |
43.35/43.47 c | 95708 | 160 13600 95200 | 54359 49121 48 | 0.004 % |
43.65/43.70 c | 96082 | 160 13600 95200 | 54359 49495 48 | 0.004 % |
43.86/43.99 c | 96491 | 160 13600 95200 | 54359 49904 48 | 0.004 % |
44.15/44.25 c | 96941 | 160 13600 95200 | 54359 50354 48 | 0.004 % |
44.45/44.52 c | 97434 | 160 13600 95200 | 54359 50847 48 | 0.004 % |
44.75/44.84 c | 97976 | 160 13600 95200 | 54359 51389 48 | 0.004 % |
45.15/45.20 c | 98572 | 160 13600 95200 | 54359 51985 48 | 0.004 % |
45.55/45.64 c | 99228 | 160 13600 95200 | 54359 52641 48 | 0.004 % |
45.95/46.06 c | 99948 | 160 13600 95200 | 54359 53361 48 | 0.004 % |
46.35/46.46 c | 100741 | 160 13600 95200 | 2147483647 54154 48 | 0.004 % |
46.85/46.93 c | 101612 | 160 13600 95200 | 2147483647 55025 48 | 0.004 % |
47.35/47.48 c | 102570 | 160 13600 95200 | 2147483647 55983 48 | 0.004 % |
48.15/48.28 c | 103624 | 160 13600 95200 | 2147483647 57037 48 | 0.004 % |
48.95/49.08 c | 104783 | 160 13600 95200 | 2147483647 58196 48 | 0.004 % |
49.05/49.15 c | 104883 | 160 13600 95200 | 2147483647 58296 48 | 0.004 % |
49.15/49.22 c | 104994 | 160 13600 95200 | 2147483647 58407 48 | 0.004 % |
49.25/49.32 c | 105115 | 160 13600 95200 | 2147483647 58528 48 | 0.004 % |
49.36/49.41 c | 105249 | 160 13600 95200 | 2147483647 58662 48 | 0.004 % |
49.46/49.53 c | 105395 | 160 13600 95200 | 2147483647 58808 48 | 0.004 % |
49.55/49.64 c | 105557 | 160 13600 95200 | 2147483647 58970 48 | 0.004 % |
49.75/49.80 c | 105733 | 160 13600 95200 | 2147483647 59146 48 | 0.004 % |
49.85/49.96 c | 105927 | 160 13600 95200 | 2147483647 59340 48 | 0.004 % |
50.05/50.13 c | 106139 | 160 13600 95200 | 2147483647 59552 48 | 0.004 % |
50.15/50.28 c | 106372 | 160 13600 95200 | 2147483647 59785 48 | 0.004 % |
50.35/50.47 c | 106629 | 160 13600 95200 | 2147483647 60042 48 | 0.004 % |
50.56/50.64 c | 106910 | 160 13600 95200 | 2147483647 60323 48 | 0.004 % |
50.75/50.84 c | 107219 | 160 13600 95200 | 2147483647 60632 48 | 0.004 % |
50.95/51.05 c | 107558 | 160 13600 95200 | 2147483647 60971 48 | 0.004 % |
51.25/51.36 c | 107931 | 160 13600 95200 | 2147483647 61344 48 | 0.004 % |
51.56/51.66 c | 108341 | 160 13600 95200 | 2147483647 61754 48 | 0.004 % |
51.85/51.96 c | 108791 | 160 13600 95200 | 2147483647 62204 48 | 0.004 % |
52.25/52.31 c | 109285 | 160 13600 95200 | 2147483647 62698 48 | 0.004 % |
52.55/52.68 c | 109827 | 160 13600 95200 | 2147483647 63240 48 | 0.004 % |
53.05/53.16 c | 110423 | 160 13600 95200 | 63415 56729 48 | 0.004 % |
53.45/53.56 c | 111079 | 160 13600 95200 | 63415 57385 48 | 0.004 % |
54.05/54.10 c | 111799 | 160 13600 95200 | 63415 58105 48 | 0.004 % |
54.65/54.71 c | 112592 | 160 13600 95200 | 63415 58898 48 | 0.004 % |
55.25/55.34 c | 113463 | 160 13600 95200 | 63415 59769 48 | 0.004 % |
55.95/56.02 c | 114423 | 160 13600 95200 | 63415 60729 48 | 0.004 % |
56.65/56.79 c | 115476 | 160 13600 95200 | 63415 61782 48 | 0.004 % |
57.55/57.63 c | 116635 | 160 13600 95200 | 63415 62941 48 | 0.004 % |
58.36/58.47 c | 117909 | 160 13600 95200 | 63415 56311 48 | 0.004 % |
58.46/58.53 c | 118011 | 160 13600 95200 | 63415 56413 48 | 0.004 % |
58.56/58.64 c | 118121 | 160 13600 95200 | 63415 56523 48 | 0.004 % |
58.66/58.73 c | 118244 | 160 13600 95200 | 63415 56646 48 | 0.004 % |
58.76/58.83 c | 118380 | 160 13600 95200 | 63415 56782 48 | 0.004 % |
58.86/58.94 c | 118526 | 160 13600 95200 | 63415 56928 48 | 0.004 % |
58.96/59.08 c | 118686 | 160 13600 95200 | 63415 57088 48 | 0.004 % |
59.16/59.20 c | 118863 | 160 13600 95200 | 63415 57265 48 | 0.004 % |
59.26/59.32 c | 119057 | 160 13600 95200 | 63415 57459 48 | 0.004 % |
59.46/59.51 c | 119269 | 160 13600 95200 | 63415 57671 48 | 0.004 % |
59.66/59.70 c | 119503 | 160 13600 95200 | 63415 57905 48 | 0.004 % |
59.76/59.90 c | 119759 | 160 13600 95200 | 63415 58161 48 | 0.004 % |
60.06/60.12 c | 120040 | 160 13600 95200 | 58402 58442 48 | 0.004 % |
60.26/60.40 c | 120349 | 160 13600 95200 | 58402 51512 48 | 0.004 % |
60.56/60.63 c | 120689 | 160 13600 95200 | 58402 51852 48 | 0.004 % |
60.76/60.85 c | 121063 | 160 13600 95200 | 58402 52226 48 | 0.004 % |
61.06/61.12 c | 121472 | 160 13600 95200 | 58402 52635 48 | 0.004 % |
61.36/61.44 c | 121922 | 160 13600 95200 | 58402 53085 48 | 0.004 % |
61.66/61.76 c | 122416 | 160 13600 95200 | 58402 53579 48 | 0.004 % |
62.06/62.11 c | 122961 | 160 13600 95200 | 58402 54124 48 | 0.004 % |
62.46/62.51 c | 123557 | 160 13600 95200 | 58402 54720 48 | 0.004 % |
62.86/62.97 c | 124212 | 160 13600 95200 | 58402 55375 48 | 0.004 % |
63.36/63.46 c | 124934 | 160 13600 95200 | 58402 56097 48 | 0.004 % |
63.86/63.96 c | 125726 | 160 13600 95200 | 58402 56889 48 | 0.004 % |
64.35/64.46 c | 126597 | 160 13600 95200 | 58402 57760 48 | 0.004 % |
65.15/65.24 c | 127557 | 160 13600 95200 | 58402 52144 48 | 0.004 % |
65.86/65.92 c | 128610 | 160 13600 95200 | 58402 53197 48 | 0.004 % |
66.55/66.69 c | 129768 | 160 13600 95200 | 58402 54355 48 | 0.004 % |
67.35/67.44 c | 131042 | 160 13600 95200 | 54588 49755 48 | 0.004 % |
68.25/68.30 c | 132444 | 160 13600 95200 | 54588 51157 48 | 0.004 % |
68.25/68.37 c | 132545 | 160 13600 95200 | 54588 51258 48 | 0.004 % |
68.35/68.45 c | 132655 | 160 13600 95200 | 54588 51368 48 | 0.004 % |
68.45/68.52 c | 132776 | 160 13600 95200 | 54588 51489 48 | 0.004 % |
68.55/68.61 c | 132911 | 160 13600 95200 | 54588 51624 48 | 0.004 % |
68.65/68.71 c | 133058 | 160 13600 95200 | 54588 51771 48 | 0.004 % |
68.75/68.83 c | 133219 | 160 13600 95200 | 54588 51932 48 | 0.004 % |
68.85/68.96 c | 133396 | 160 13600 95200 | 54588 52109 48 | 0.004 % |
69.05/69.10 c | 133589 | 160 13600 95200 | 54588 52302 48 | 0.004 % |
69.16/69.26 c | 133801 | 160 13600 95200 | 54588 52514 48 | 0.004 % |
69.35/69.41 c | 134034 | 160 13600 95200 | 54588 52747 48 | 0.004 % |
69.45/69.59 c | 134290 | 160 13600 95200 | 54588 53003 48 | 0.004 % |
69.65/69.78 c | 134571 | 160 13600 95200 | 54588 53284 48 | 0.004 % |
69.95/70.02 c | 134880 | 160 13600 95200 | 54588 53593 48 | 0.004 % |
70.15/70.25 c | 135221 | 160 13600 95200 | 54588 53934 48 | 0.004 % |
70.36/70.48 c | 135593 | 160 13600 95200 | 54588 54306 48 | 0.004 % |
70.75/70.82 c | 136002 | 160 13600 95200 | 54588 49250 48 | 0.004 % |
71.05/71.12 c | 136451 | 160 13600 95200 | 54588 49699 48 | 0.004 % |
71.35/71.43 c | 136946 | 160 13600 95200 | 54588 50194 48 | 0.004 % |
71.65/71.73 c | 137488 | 160 13600 95200 | 54588 50736 48 | 0.004 % |
71.95/72.05 c | 138085 | 160 13600 95200 | 54588 51333 48 | 0.004 % |
72.45/72.55 c | 138742 | 160 13600 95200 | 54588 51990 48 | 0.004 % |
72.85/72.99 c | 139462 | 160 13600 95200 | 54588 52710 48 | 0.004 % |
73.45/73.50 c | 140254 | 160 13600 95200 | 2147483647 53502 48 | 0.004 % |
73.95/74.02 c | 141125 | 160 13600 95200 | 2147483647 54373 48 | 0.004 % |
74.55/74.60 c | 142083 | 160 13600 95200 | 2147483647 55331 48 | 0.004 % |
75.25/75.35 c | 143137 | 160 13600 95200 | 2147483647 56385 48 | 0.004 % |
76.05/76.13 c | 144295 | 160 13600 95200 | 2147483647 57543 48 | 0.004 % |
76.85/76.93 c | 145568 | 160 13600 95200 | 2147483647 58816 48 | 0.004 % |
77.85/77.97 c | 146968 | 160 13600 95200 | 2147483647 60216 49 | 0.004 % |
78.95/79.00 c | 148510 | 160 13600 95200 | 2147483647 61758 49 | 0.004 % |
78.95/79.10 c | 148611 | 160 13600 95200 | 2147483647 61859 49 | 0.004 % |
79.05/79.20 c | 148723 | 160 13600 95200 | 2147483647 61971 49 | 0.004 % |
79.15/79.29 c | 148845 | 160 13600 95200 | 2147483647 62093 49 | 0.004 % |
79.25/79.39 c | 148978 | 160 13600 95200 | 2147483647 62226 49 | 0.004 % |
79.35/79.49 c | 149125 | 160 13600 95200 | 2147483647 62373 49 | 0.004 % |
79.45/79.59 c | 149285 | 160 13600 95200 | 2147483647 62533 49 | 0.004 % |
79.65/79.72 c | 149461 | 160 13600 95200 | 2147483647 62709 49 | 0.004 % |
79.75/79.85 c | 149654 | 160 13600 95200 | 2147483647 62902 49 | 0.004 % |
79.95/80.03 c | 149866 | 160 13600 95200 | 2147483647 63114 49 | 0.004 % |
80.15/80.24 c | 150101 | 160 13600 95200 | 63249 56099 49 | 0.004 % |
80.34/80.40 c | 150358 | 160 13600 95200 | 63249 56356 49 | 0.004 % |
80.44/80.59 c | 150639 | 160 13600 95200 | 63249 56637 49 | 0.004 % |
80.64/80.78 c | 150950 | 160 13600 95200 | 63249 56948 49 | 0.004 % |
80.84/80.96 c | 151289 | 160 13600 95200 | 63249 57287 49 | 0.004 % |
81.04/81.18 c | 151661 | 160 13600 95200 | 63249 57659 49 | 0.004 % |
81.35/81.46 c | 152070 | 160 13600 95200 | 63249 58068 49 | 0.004 % |
81.74/81.83 c | 152519 | 160 13600 95200 | 63249 58517 49 | 0.004 % |
82.14/82.22 c | 153014 | 160 13600 95200 | 63249 59012 49 | 0.004 % |
82.54/82.67 c | 153556 | 160 13600 95200 | 63249 59554 49 | 0.004 % |
83.04/83.11 c | 154153 | 160 13600 95200 | 63249 60151 49 | 0.004 % |
83.45/83.60 c | 154808 | 160 13600 95200 | 63249 60806 49 | 0.004 % |
83.94/84.10 c | 155528 | 160 13600 95200 | 63249 61526 49 | 0.004 % |
84.65/84.71 c | 156321 | 160 13600 95200 | 63249 62319 49 | 0.004 % |
85.24/85.39 c | 157192 | 160 13600 95200 | 63249 63190 49 | 0.004 % |
85.94/86.03 c | 158150 | 160 13600 95200 | 63249 55711 49 | 0.004 % |
86.54/86.63 c | 159203 | 160 13600 95200 | 63249 56764 49 | 0.004 % |
87.24/87.31 c | 160361 | 160 13600 95200 | 57561 50893 49 | 0.004 % |
87.84/87.95 c | 161634 | 160 13600 95200 | 57561 52166 49 | 0.004 % |
88.54/88.69 c | 163034 | 160 13600 95200 | 57561 53566 49 | 0.004 % |
89.64/89.78 c | 164575 | 160 13600 95200 | 57561 55107 49 | 0.004 % |
90.84/90.97 c | 166271 | 160 13600 95200 | 57561 56803 49 | 0.004 % |
90.94/91.05 c | 166371 | 160 13600 95200 | 57561 56903 49 | 0.004 % |
91.04/91.12 c | 166481 | 160 13600 95200 | 57561 57013 49 | 0.004 % |
91.04/91.20 c | 166602 | 160 13600 95200 | 57561 57134 49 | 0.004 % |
91.14/91.28 c | 166735 | 160 13600 95200 | 57561 57267 49 | 0.004 % |
91.24/91.38 c | 166884 | 160 13600 95200 | 57561 57416 49 | 0.004 % |
91.34/91.49 c | 167044 | 160 13600 95200 | 57561 57576 49 | 0.004 % |
91.54/91.68 c | 167221 | 160 13600 95200 | 57561 51996 49 | 0.004 % |
91.74/91.83 c | 167414 | 160 13600 95200 | 57561 52189 49 | 0.004 % |
91.84/91.97 c | 167628 | 160 13600 95200 | 57561 52403 49 | 0.004 % |
92.04/92.12 c | 167864 | 160 13600 95200 | 57561 52639 49 | 0.004 % |
92.14/92.29 c | 168121 | 160 13600 95200 | 57561 52896 49 | 0.004 % |
92.34/92.46 c | 168402 | 160 13600 95200 | 57561 53177 49 | 0.004 % |
92.54/92.64 c | 168712 | 160 13600 95200 | 57561 53487 49 | 0.004 % |
92.74/92.84 c | 169052 | 160 13600 95200 | 57561 53827 49 | 0.004 % |
93.04/93.11 c | 169424 | 160 13600 95200 | 57561 54199 49 | 0.004 % |
93.24/93.40 c | 169833 | 160 13600 95200 | 57561 54608 49 | 0.004 % |
93.54/93.69 c | 170283 | 160 13600 95200 | 2147483647 55058 49 | 0.004 % |
93.84/93.99 c | 170777 | 160 13600 95200 | 2147483647 55552 49 | 0.004 % |
94.24/94.33 c | 171319 | 160 13600 95200 | 2147483647 56094 49 | 0.004 % |
94.54/94.69 c | 171915 | 160 13600 95200 | 2147483647 56690 49 | 0.004 % |
94.93/95.08 c | 172571 | 160 13600 95200 | 2147483647 57346 49 | 0.004 % |
95.54/95.68 c | 173292 | 160 13600 95200 | 2147483647 58067 49 | 0.004 % |
96.13/96.22 c | 174084 | 160 13600 95200 | 2147483647 58859 49 | 0.004 % |
96.83/96.94 c | 174955 | 160 13600 95200 | 2147483647 59730 49 | 0.004 % |
97.53/97.60 c | 175913 | 160 13600 95200 | 2147483647 60688 49 | 0.004 % |
98.23/98.34 c | 176966 | 160 13600 95200 | 2147483647 61741 49 | 0.004 % |
99.03/99.13 c | 178127 | 160 13600 95200 | 2147483647 62902 49 | 0.004 % |
99.83/99.96 c | 179401 | 160 13600 95200 | 2147483647 64176 49 | 0.004 % |
100.84/100.93 c | 180803 | 160 13600 95200 | 64777 57782 49 | 0.004 % |
101.84/101.94 c | 182343 | 160 13600 95200 | 64777 59322 49 | 0.004 % |
102.94/103.01 c | 184038 | 160 13600 95200 | 64777 61017 49 | 0.004 % |
104.34/104.40 c | 185901 | 160 13600 95200 | 64777 62880 49 | 0.004 % |
104.34/104.47 c | 186002 | 160 13600 95200 | 64777 62981 49 | 0.004 % |
104.44/104.57 c | 186114 | 160 13600 95200 | 64777 63093 49 | 0.004 % |
104.54/104.66 c | 186235 | 160 13600 95200 | 64777 63214 49 | 0.004 % |
104.64/104.75 c | 186368 | 160 13600 95200 | 64777 63347 49 | 0.004 % |
104.74/104.87 c | 186514 | 160 13600 95200 | 64777 63493 49 | 0.004 % |
104.94/105.03 c | 186675 | 160 13600 95200 | 64777 63654 49 | 0.004 % |
105.04/105.19 c | 186851 | 160 13600 95200 | 64777 63830 49 | 0.004 % |
105.24/105.36 c | 187045 | 160 13600 95200 | 64777 64024 49 | 0.004 % |
105.44/105.54 c | 187257 | 160 13600 95200 | 64777 64236 49 | 0.004 % |
105.64/105.74 c | 187490 | 160 13600 95200 | 64777 64469 49 | 0.004 % |
105.84/105.95 c | 187746 | 160 13600 95200 | 64777 64725 49 | 0.004 % |
106.14/106.24 c | 188028 | 160 13600 95200 | 64777 56617 49 | 0.004 % |
106.34/106.48 c | 188343 | 160 13600 95200 | 64777 56932 49 | 0.004 % |
106.54/106.70 c | 188683 | 160 13600 95200 | 64777 57272 49 | 0.004 % |
106.84/106.93 c | 189056 | 160 13600 95200 | 64777 57645 49 | 0.004 % |
107.13/107.25 c | 189465 | 160 13600 95200 | 64777 58054 49 | 0.004 % |
107.43/107.56 c | 189914 | 160 13600 95200 | 64777 58503 49 | 0.004 % |
107.83/107.93 c | 190408 | 160 13600 95200 | 58589 51305 49 | 0.004 % |
108.13/108.26 c | 190952 | 160 13600 95200 | 58589 51849 49 | 0.004 % |
108.53/108.63 c | 191548 | 160 13600 95200 | 58589 52445 49 | 0.004 % |
108.93/109.07 c | 192204 | 160 13600 95200 | 58589 53101 49 | 0.004 % |
109.43/109.55 c | 192924 | 160 13600 95200 | 58589 53821 49 | 0.004 % |
109.94/110.03 c | 193716 | 160 13600 95200 | 58589 54613 49 | 0.004 % |
110.43/110.56 c | 194591 | 160 13600 95200 | 58589 55488 49 | 0.004 % |
111.13/111.27 c | 195549 | 160 13600 95200 | 58589 56446 49 | 0.004 % |
111.83/111.96 c | 196606 | 160 13600 95200 | 58589 57503 49 | 0.004 % |
112.63/112.77 c | 197765 | 160 13600 95200 | 58589 58662 49 | 0.004 % |
113.43/113.55 c | 199040 | 160 13600 95200 | 58589 53228 49 | 0.004 % |
114.33/114.45 c | 200442 | 160 13600 95200 | 54189 48752 48 | 0.004 % |
115.23/115.31 c | 201983 | 160 13600 95200 | 54189 50293 49 | 0.004 % |
116.23/116.32 c | 203677 | 160 13600 95200 | 54189 51987 49 | 0.004 % |
117.23/117.34 c | 205544 | 160 13600 95200 | 54189 53854 49 | 0.004 % |
118.53/118.63 c | 207593 | 160 13600 95200 | 54189 50478 49 | 0.004 % |
118.53/118.69 c | 207693 | 160 13600 95200 | 54189 50578 49 | 0.004 % |
118.63/118.76 c | 207805 | 160 13600 95200 | 54189 50690 49 | 0.004 % |
118.73/118.83 c | 207927 | 160 13600 95200 | 54189 50812 49 | 0.004 % |
118.83/118.91 c | 208060 | 160 13600 95200 | 54189 50945 49 | 0.004 % |
118.93/119.02 c | 208208 | 160 13600 95200 | 54189 51093 49 | 0.004 % |
119.03/119.13 c | 208368 | 160 13600 95200 | 54189 51253 49 | 0.004 % |
119.13/119.24 c | 208546 | 160 13600 95200 | 54189 51431 49 | 0.004 % |
119.23/119.39 c | 208739 | 160 13600 95200 | 54189 51624 49 | 0.004 % |
119.43/119.55 c | 208952 | 160 13600 95200 | 54189 51837 49 | 0.004 % |
119.63/119.70 c | 209185 | 160 13600 95200 | 54189 52070 49 | 0.004 % |
119.73/119.86 c | 209441 | 160 13600 95200 | 54189 52326 49 | 0.004 % |
119.93/120.02 c | 209722 | 160 13600 95200 | 54189 52607 48 | 0.004 % |
120.13/120.20 c | 210032 | 160 13600 95200 | 2147483647 52917 48 | 0.004 % |
120.33/120.47 c | 210372 | 160 13600 95200 | 2147483647 53257 48 | 0.004 % |
120.63/120.72 c | 210744 | 160 13600 95200 | 2147483647 53629 48 | 0.004 % |
120.83/120.97 c | 211153 | 160 13600 95200 | 2147483647 54038 48 | 0.004 % |
121.13/121.25 c | 211602 | 160 13600 95200 | 2147483647 54487 48 | 0.004 % |
121.43/121.55 c | 212095 | 160 13600 95200 | 2147483647 54980 48 | 0.004 % |
121.83/121.92 c | 212640 | 160 13600 95200 | 2147483647 55525 48 | 0.004 % |
122.23/122.31 c | 213236 | 160 13600 95200 | 2147483647 56121 48 | 0.004 % |
122.63/122.74 c | 213891 | 160 13600 95200 | 2147483647 56776 48 | 0.004 % |
123.03/123.16 c | 214613 | 160 13600 95200 | 2147483647 57498 48 | 0.004 % |
123.53/123.66 c | 215406 | 160 13600 95200 | 2147483647 58291 48 | 0.004 % |
124.02/124.20 c | 216277 | 160 13600 95200 | 2147483647 59162 48 | 0.004 % |
124.72/124.80 c | 217236 | 160 13600 95200 | 2147483647 60121 48 | 0.004 % |
125.33/125.47 c | 218290 | 160 13600 95200 | 2147483647 61175 48 | 0.004 % |
126.12/126.22 c | 219451 | 160 13600 95200 | 2147483647 62336 48 | 0.004 % |
126.92/127.09 c | 220726 | 160 13600 95200 | 62885 57136 48 | 0.004 % |
127.82/127.95 c | 222127 | 160 13600 95200 | 62885 58537 48 | 0.004 % |
128.82/128.92 c | 223667 | 160 13600 95200 | 62885 60077 48 | 0.004 % |
129.92/130.00 c | 225361 | 160 13600 95200 | 62885 61771 48 | 0.004 % |
131.02/131.16 c | 227224 | 160 13600 95200 | 62885 57225 48 | 0.004 % |
132.32/132.43 c | 229273 | 160 13600 95200 | 62885 59274 48 | 0.004 % |
133.62/133.74 c | 231527 | 160 13600 95200 | 60001 55479 48 | 0.004 % |
133.72/133.84 c | 231629 | 160 13600 95200 | 60001 55581 48 | 0.004 % |
133.82/133.94 c | 231740 | 160 13600 95200 | 60001 55692 48 | 0.004 % |
133.92/134.03 c | 231861 | 160 13600 95200 | 60001 55813 48 | 0.004 % |
134.02/134.11 c | 231994 | 160 13600 95200 | 60001 55946 48 | 0.004 % |
134.02/134.20 c | 232142 | 160 13600 95200 | 60001 56094 48 | 0.004 % |
134.22/134.30 c | 232304 | 160 13600 95200 | 60001 56256 48 | 0.004 % |
134.32/134.41 c | 232481 | 160 13600 95200 | 60001 56433 48 | 0.004 % |
134.42/134.54 c | 232674 | 160 13600 95200 | 60001 56626 48 | 0.004 % |
134.52/134.67 c | 232888 | 160 13600 95200 | 60001 56840 48 | 0.004 % |
134.72/134.83 c | 233122 | 160 13600 95200 | 60001 57074 48 | 0.004 % |
134.92/135.00 c | 233379 | 160 13600 95200 | 60001 57331 48 | 0.004 % |
135.02/135.20 c | 233661 | 160 13600 95200 | 60001 57613 48 | 0.004 % |
135.32/135.40 c | 233970 | 160 13600 95200 | 60001 57922 48 | 0.004 % |
135.52/135.63 c | 234309 | 160 13600 95200 | 60001 58261 48 | 0.004 % |
135.82/135.92 c | 234683 | 160 13600 95200 | 60001 58635 48 | 0.004 % |
136.12/136.20 c | 235093 | 160 13600 95200 | 60001 59045 48 | 0.004 % |
136.42/136.56 c | 235543 | 160 13600 95200 | 60001 59495 48 | 0.004 % |
136.82/136.93 c | 236037 | 160 13600 95200 | 60001 59989 48 | 0.004 % |
137.22/137.34 c | 236580 | 160 13600 95200 | 60001 54313 48 | 0.004 % |
137.62/137.72 c | 237177 | 160 13600 95200 | 60001 54910 48 | 0.004 % |
138.02/138.13 c | 237832 | 160 13600 95200 | 60001 55565 48 | 0.004 % |
138.52/138.61 c | 238552 | 160 13600 95200 | 60001 56285 48 | 0.004 % |
139.02/139.13 c | 239344 | 160 13600 95200 | 60001 57077 48 | 0.004 % |
139.62/139.70 c | 240216 | 160 13600 95200 | 57734 52091 48 | 0.004 % |
140.12/140.21 c | 241176 | 160 13600 95200 | 57734 53051 48 | 0.004 % |
140.62/140.78 c | 242230 | 160 13600 95200 | 57734 54105 48 | 0.004 % |
141.32/141.44 c | 243391 | 160 13600 95200 | 57734 55266 48 | 0.004 % |
142.01/142.18 c | 244664 | 160 13600 95200 | 57734 56539 48 | 0.004 % |
143.01/143.10 c | 246064 | 160 13600 95200 | 57734 52158 48 | 0.004 % |
143.92/144.09 c | 247604 | 160 13600 95200 | 57734 53698 48 | 0.004 % |
144.91/145.07 c | 249298 | 160 13600 95200 | 57734 55392 48 | 0.004 % |
146.01/146.17 c | 251162 | 160 13600 95200 | 2147483647 57256 48 | 0.004 % |
147.41/147.56 c | 253213 | 160 13600 95200 | 2147483647 59307 49 | 0.004 % |
148.81/148.97 c | 255466 | 160 13600 95200 | 2147483647 61560 49 | 0.004 % |
150.41/150.53 c | 257944 | 160 13600 95200 | 2147483647 64038 49 | 0.004 % |
150.52/150.60 c | 258045 | 160 13600 95200 | 2147483647 64139 49 | 0.004 % |
150.62/150.72 c | 258155 | 160 13600 95200 | 2147483647 64249 49 | 0.004 % |
150.71/150.81 c | 258276 | 160 13600 95200 | 2147483647 64370 49 | 0.004 % |
150.81/150.92 c | 258411 | 160 13600 95200 | 2147483647 64505 49 | 0.004 % |
150.91/151.03 c | 258558 | 160 13600 95200 | 2147483647 64652 49 | 0.004 % |
151.11/151.20 c | 258718 | 160 13600 95200 | 2147483647 64812 49 | 0.004 % |
151.21/151.34 c | 258894 | 160 13600 95200 | 2147483647 64988 49 | 0.004 % |
151.31/151.49 c | 259087 | 160 13600 95200 | 2147483647 65181 49 | 0.004 % |
151.51/151.66 c | 259299 | 160 13600 95200 | 2147483647 65393 49 | 0.004 % |
151.71/151.84 c | 259533 | 160 13600 95200 | 2147483647 65627 49 | 0.004 % |
151.91/152.02 c | 259789 | 160 13600 95200 | 2147483647 65883 49 | 0.004 % |
152.11/152.23 c | 260071 | 160 13600 95200 | 66095 66165 49 | 0.004 % |
152.41/152.51 c | 260380 | 160 13600 95200 | 66095 58541 49 | 0.004 % |
152.61/152.74 c | 260719 | 160 13600 95200 | 66095 58880 49 | 0.004 % |
152.91/153.04 c | 261091 | 160 13600 95200 | 66095 59252 49 | 0.004 % |
153.21/153.38 c | 261500 | 160 13600 95200 | 66095 59661 49 | 0.004 % |
153.51/153.68 c | 261949 | 160 13600 95200 | 66095 60110 49 | 0.004 % |
153.91/154.02 c | 262442 | 160 13600 95200 | 66095 60603 49 | 0.004 % |
154.21/154.37 c | 262984 | 160 13600 95200 | 66095 61145 49 | 0.004 % |
154.61/154.78 c | 263581 | 160 13600 95200 | 66095 61742 49 | 0.004 % |
155.11/155.28 c | 264237 | 160 13600 95200 | 66095 62398 49 | 0.004 % |
155.61/155.79 c | 264957 | 160 13600 95200 | 66095 63118 49 | 0.004 % |
156.21/156.32 c | 265749 | 160 13600 95200 | 66095 63910 49 | 0.004 % |
156.81/156.93 c | 266620 | 160 13600 95200 | 66095 64781 49 | 0.004 % |
157.41/157.56 c | 267579 | 160 13600 95200 | 66095 65740 49 | 0.004 % |
158.21/158.34 c | 268634 | 160 13600 95200 | 66095 57636 49 | 0.004 % |
158.90/159.06 c | 269793 | 160 13600 95200 | 66095 58795 49 | 0.004 % |
159.70/159.84 c | 271066 | 160 13600 95200 | 59003 52114 49 | 0.004 % |
160.51/160.62 c | 272466 | 160 13600 95200 | 59003 53514 49 | 0.004 % |
161.41/161.53 c | 274006 | 160 13600 95200 | 59003 55054 49 | 0.004 % |
162.40/162.59 c | 275700 | 160 13600 95200 | 59003 56748 49 | 0.004 % |
163.60/163.76 c | 277563 | 160 13600 95200 | 59003 58611 49 | 0.004 % |
164.91/165.02 c | 279612 | 160 13600 95200 | 59003 54602 49 | 0.004 % |
166.20/166.38 c | 281865 | 160 13600 95200 | 2147483647 56855 49 | 0.004 % |
167.90/168.07 c | 284343 | 160 13600 95200 | 2147483647 59333 49 | 0.004 % |
169.80/169.98 c | 287069 | 160 13600 95200 | 2147483647 62059 49 | 0.004 % |
169.90/170.07 c | 287170 | 160 13600 95200 | 2147483647 62160 49 | 0.004 % |
170.00/170.15 c | 287280 | 160 13600 95200 | 2147483647 62270 49 | 0.004 % |
170.10/170.25 c | 287401 | 160 13600 95200 | 2147483647 62391 49 | 0.004 % |
170.20/170.37 c | 287535 | 160 13600 95200 | 2147483647 62525 49 | 0.004 % |
170.31/170.50 c | 287681 | 160 13600 95200 | 2147483647 62671 49 | 0.004 % |
170.50/170.63 c | 287842 | 160 13600 95200 | 2147483647 62832 49 | 0.004 % |
170.60/170.79 c | 288019 | 160 13600 95200 | 2147483647 63009 49 | 0.004 % |
170.80/170.98 c | 288212 | 160 13600 95200 | 2147483647 63202 49 | 0.004 % |
171.00/171.17 c | 288425 | 160 13600 95200 | 2147483647 63415 49 | 0.004 % |
171.20/171.35 c | 288659 | 160 13600 95200 | 2147483647 63649 49 | 0.004 % |
171.40/171.54 c | 288916 | 160 13600 95200 | 2147483647 63906 49 | 0.004 % |
171.60/171.76 c | 289197 | 160 13600 95200 | 2147483647 64187 49 | 0.004 % |
171.80/171.99 c | 289507 | 160 13600 95200 | 2147483647 64497 49 | 0.004 % |
172.10/172.29 c | 289847 | 160 13600 95200 | 2147483647 64837 49 | 0.004 % |
172.50/172.65 c | 290219 | 160 13600 95200 | 64991 57167 49 | 0.004 % |
172.80/172.94 c | 290629 | 160 13600 95200 | 64991 57577 49 | 0.004 % |
173.10/173.26 c | 291078 | 160 13600 95200 | 64991 58026 49 | 0.004 % |
173.50/173.63 c | 291571 | 160 13600 95200 | 64991 58519 49 | 0.004 % |
173.90/174.01 c | 292113 | 160 13600 95200 | 64991 59061 49 | 0.004 % |
174.20/174.40 c | 292709 | 160 13600 95200 | 64991 59657 49 | 0.004 % |
174.70/174.81 c | 293364 | 160 13600 95200 | 64991 60312 49 | 0.004 % |
175.10/175.27 c | 294085 | 160 13600 95200 | 64991 61033 49 | 0.004 % |
175.70/175.89 c | 294878 | 160 13600 95200 | 64991 61826 49 | 0.004 % |
176.30/176.50 c | 295749 | 160 13600 95200 | 64991 62697 49 | 0.004 % |
177.00/177.18 c | 296707 | 160 13600 95200 | 64991 63655 49 | 0.004 % |
177.80/177.91 c | 297760 | 160 13600 95200 | 64991 64708 49 | 0.004 % |
178.60/178.71 c | 298919 | 160 13600 95200 | 64991 57464 49 | 0.004 % |
179.40/179.50 c | 300193 | 160 13600 95200 | 58545 51537 49 | 0.004 % |
180.10/180.28 c | 301593 | 160 13600 95200 | 58545 52937 49 | 0.004 % |
181.10/181.25 c | 303133 | 160 13600 95200 | 58545 54477 49 | 0.004 % |
182.09/182.27 c | 304829 | 160 13600 95200 | 58545 56173 49 | 0.004 % |
183.29/183.43 c | 306692 | 160 13600 95200 | 58545 58036 49 | 0.004 % |
184.49/184.63 c | 308741 | 160 13600 95200 | 58545 54224 49 | 0.004 % |
185.79/185.93 c | 310995 | 160 13600 95200 | 2147483647 56478 49 | 0.004 % |
187.19/187.36 c | 313475 | 160 13600 95200 | 2147483647 58958 49 | 0.004 % |
188.89/189.01 c | 316200 | 160 13600 95200 | 2147483647 61683 49 | 0.004 % |
190.79/190.92 c | 319198 | 160 13600 95200 | 2147483647 64681 49 | 0.004 % |
190.89/191.00 c | 319299 | 160 13600 95200 | 2147483647 64782 49 | 0.004 % |
190.89/191.09 c | 319411 | 160 13600 95200 | 2147483647 64894 49 | 0.004 % |
190.99/191.18 c | 319532 | 160 13600 95200 | 2147483647 65015 49 | 0.004 % |
191.19/191.33 c | 319665 | 160 13600 95200 | 2147483647 65148 49 | 0.004 % |
191.29/191.46 c | 319811 | 160 13600 95200 | 2147483647 65294 49 | 0.004 % |
191.39/191.58 c | 319972 | 160 13600 95200 | 2147483647 65455 49 | 0.004 % |
191.59/191.76 c | 320148 | 160 13600 95200 | 65485 58704 49 | 0.004 % |
191.79/191.93 c | 320342 | 160 13600 95200 | 65485 58898 49 | 0.004 % |
191.89/192.06 c | 320555 | 160 13600 95200 | 65485 59111 49 | 0.004 % |
192.09/192.27 c | 320788 | 160 13600 95200 | 65485 59344 49 | 0.004 % |
192.29/192.46 c | 321045 | 160 13600 95200 | 65485 59601 49 | 0.004 % |
192.59/192.72 c | 321329 | 160 13600 95200 | 65485 59885 49 | 0.004 % |
192.79/192.95 c | 321638 | 160 13600 95200 | 65485 60194 49 | 0.004 % |
192.99/193.17 c | 321977 | 160 13600 95200 | 65485 60533 49 | 0.004 % |
193.29/193.41 c | 322349 | 160 13600 95200 | 65485 60905 49 | 0.004 % |
193.49/193.69 c | 322758 | 160 13600 95200 | 65485 61314 49 | 0.004 % |
193.89/194.01 c | 323207 | 160 13600 95200 | 65485 61763 49 | 0.004 % |
194.19/194.39 c | 323702 | 160 13600 95200 | 65485 62258 49 | 0.004 % |
194.59/194.76 c | 324244 | 160 13600 95200 | 65485 62800 49 | 0.004 % |
194.99/195.18 c | 324840 | 160 13600 95200 | 65485 63396 49 | 0.004 % |
195.49/195.62 c | 325495 | 160 13600 95200 | 65485 64051 49 | 0.004 % |
195.89/196.09 c | 326216 | 160 13600 95200 | 65485 64772 49 | 0.004 % |
196.59/196.70 c | 327009 | 160 13600 95200 | 65485 57106 48 | 0.004 % |
197.19/197.34 c | 327881 | 160 13600 95200 | 65485 57978 48 | 0.004 % |
197.79/198.00 c | 328840 | 160 13600 95200 | 65485 58937 48 | 0.004 % |
198.58/198.76 c | 329894 | 160 13600 95200 | 65485 59991 49 | 0.004 % |
199.28/199.46 c | 331054 | 160 13600 95200 | 60098 53206 48 | 0.004 % |
200.28/200.40 c | 332328 | 160 13600 95200 | 60098 54480 48 | 0.004 % |
201.09/201.25 c | 333728 | 160 13600 95200 | 60098 55880 48 | 0.004 % |
201.98/202.19 c | 335271 | 160 13600 95200 | 60098 57423 48 | 0.004 % |
202.98/203.18 c | 336965 | 160 13600 95200 | 60098 59117 48 | 0.004 % |
204.18/204.33 c | 338831 | 160 13600 95200 | 60098 54609 48 | 0.004 % |
205.49/205.63 c | 340881 | 160 13600 95200 | 55779 50991 48 | 0.004 % |
206.78/206.97 c | 343137 | 160 13600 95200 | 55779 53247 48 | 0.004 % |
208.18/208.39 c | 345617 | 160 13600 95200 | 55779 55727 48 | 0.004 % |
209.68/209.87 c | 348342 | 160 13600 95200 | 55779 52868 48 | 0.004 % |
211.28/211.47 c | 351339 | 160 13600 95200 | 2147483647 55865 49 | 0.004 % |
213.28/213.45 c | 354636 | 160 13600 95200 | 2147483647 59162 49 | 0.004 % |
213.38/213.52 c | 354739 | 160 13600 95200 | 2147483647 59265 49 | 0.004 % |
213.48/213.60 c | 354850 | 160 13600 95200 | 2147483647 59376 49 | 0.004 % |
213.48/213.69 c | 354971 | 160 13600 95200 | 2147483647 59497 49 | 0.004 % |
213.58/213.78 c | 355105 | 160 13600 95200 | 2147483647 59631 49 | 0.004 % |
213.68/213.89 c | 355251 | 160 13600 95200 | 2147483647 59777 49 | 0.004 % |
213.88/214.02 c | 355411 | 160 13600 95200 | 2147483647 59937 49 | 0.004 % |
213.98/214.16 c | 355587 | 160 13600 95200 | 2147483647 60113 49 | 0.004 % |
214.18/214.32 c | 355780 | 160 13600 95200 | 2147483647 60306 49 | 0.004 % |
214.28/214.48 c | 355992 | 160 13600 95200 | 2147483647 60518 49 | 0.004 % |
214.48/214.64 c | 356225 | 160 13600 95200 | 2147483647 60751 49 | 0.004 % |
214.68/214.82 c | 356481 | 160 13600 95200 | 2147483647 61007 49 | 0.004 % |
214.88/215.01 c | 356764 | 160 13600 95200 | 2147483647 61290 49 | 0.004 % |
215.08/215.22 c | 357075 | 160 13600 95200 | 2147483647 61601 49 | 0.004 % |
215.28/215.46 c | 357415 | 160 13600 95200 | 2147483647 61941 49 | 0.004 % |
215.58/215.72 c | 357788 | 160 13600 95200 | 2147483647 62314 49 | 0.004 % |
215.88/216.00 c | 358201 | 160 13600 95200 | 2147483647 62727 49 | 0.004 % |
216.18/216.31 c | 358650 | 160 13600 95200 | 2147483647 63176 49 | 0.004 % |
216.48/216.63 c | 359143 | 160 13600 95200 | 2147483647 63669 49 | 0.004 % |
216.87/217.01 c | 359685 | 160 13600 95200 | 2147483647 64211 49 | 0.004 % |
217.27/217.45 c | 360281 | 160 13600 95200 | 64527 57758 48 | 0.004 % |
217.68/217.85 c | 360936 | 160 13600 95200 | 64527 58413 49 | 0.004 % |
218.17/218.34 c | 361656 | 160 13600 95200 | 64527 59133 48 | 0.004 % |
218.68/218.87 c | 362448 | 160 13600 95200 | 64527 59925 48 | 0.004 % |
219.17/219.40 c | 363321 | 160 13600 95200 | 64527 60798 48 | 0.004 % |
219.78/219.97 c | 364279 | 160 13600 95200 | 64527 61756 49 | 0.004 % |
220.37/220.59 c | 365333 | 160 13600 95200 | 64527 62810 49 | 0.004 % |
221.18/221.31 c | 366493 | 160 13600 95200 | 64527 63970 49 | 0.004 % |
222.09/222.21 c | 367767 | 160 13600 95200 | 64527 57713 49 | 0.004 % |
222.88/223.06 c | 369169 | 160 13600 95200 | 64527 59115 49 | 0.004 % |
223.88/224.00 c | 370710 | 160 13600 95200 | 59946 53928 49 | 0.004 % |
224.78/224.94 c | 372405 | 160 13600 95200 | 59946 55623 49 | 0.004 % |
225.88/226.05 c | 374269 | 160 13600 95200 | 59946 57487 49 | 0.004 % |
226.98/227.20 c | 376321 | 160 13600 95200 | 59946 59539 49 | 0.004 % |
228.38/228.50 c | 378574 | 160 13600 95200 | 59946 55791 49 | 0.004 % |
229.88/230.00 c | 381052 | 160 13600 95200 | 2147483647 58269 49 | 0.004 % |
231.68/231.81 c | 383778 | 160 13600 95200 | 2147483647 60995 49 | 0.004 % |
233.48/233.68 c | 386776 | 160 13600 95200 | 2147483647 63993 49 | 0.004 % |
235.68/235.82 c | 390072 | 160 13600 95200 | 67218 67289 49 | 0.004 % |
237.98/238.15 c | 393699 | 160 13600 95200 | 67218 63144 49 | 0.004 % |
238.08/238.22 c | 393799 | 160 13600 95200 | 67218 63244 49 | 0.004 % |
238.18/238.32 c | 393909 | 160 13600 95200 | 67218 63354 49 | 0.004 % |
238.28/238.41 c | 394030 | 160 13600 95200 | 67218 63475 49 | 0.004 % |
238.38/238.53 c | 394164 | 160 13600 95200 | 67218 63609 49 | 0.004 % |
238.48/238.65 c | 394310 | 160 13600 95200 | 67218 63755 49 | 0.004 % |
238.58/238.79 c | 394471 | 160 13600 95200 | 67218 63916 49 | 0.004 % |
238.78/238.93 c | 394648 | 160 13600 95200 | 67218 64093 49 | 0.004 % |
238.97/239.10 c | 394841 | 160 13600 95200 | 67218 64286 49 | 0.004 % |
239.07/239.27 c | 395053 | 160 13600 95200 | 67218 64498 49 | 0.004 % |
239.27/239.48 c | 395287 | 160 13600 95200 | 67218 64732 49 | 0.004 % |
239.47/239.68 c | 395543 | 160 13600 95200 | 67218 64988 49 | 0.004 % |
239.77/239.90 c | 395824 | 160 13600 95200 | 67218 65269 49 | 0.004 % |
239.97/240.12 c | 396135 | 160 13600 95200 | 67218 65580 49 | 0.004 % |
240.17/240.39 c | 396474 | 160 13600 95200 | 67218 65919 49 | 0.004 % |
240.47/240.64 c | 396849 | 160 13600 95200 | 67218 66294 49 | 0.004 % |
240.78/240.95 c | 397260 | 160 13600 95200 | 67218 66705 49 | 0.004 % |
241.07/241.28 c | 397710 | 160 13600 95200 | 67218 67155 49 | 0.004 % |
241.57/241.70 c | 398203 | 160 13600 95200 | 67218 58458 49 | 0.004 % |
241.78/242.00 c | 398745 | 160 13600 95200 | 67218 59000 49 | 0.004 % |
242.17/242.38 c | 399342 | 160 13600 95200 | 67218 59597 49 | 0.004 % |
242.57/242.75 c | 399997 | 160 13600 95200 | 67218 60252 49 | 0.004 % |
243.07/243.20 c | 400719 | 160 13600 95200 | 60257 53047 49 | 0.004 % |
243.37/243.60 c | 401512 | 160 13600 95200 | 60257 53840 49 | 0.004 % |
243.98/244.16 c | 402384 | 160 13600 95200 | 60257 54712 49 | 0.004 % |
244.57/244.76 c | 403343 | 160 13600 95200 | 60257 55671 49 | 0.004 % |
245.18/245.38 c | 404399 | 160 13600 95200 | 60257 56727 49 | 0.004 % |
245.97/246.11 c | 405558 | 160 13600 95200 | 60257 57886 49 | 0.004 % |
246.77/246.93 c | 406832 | 160 13600 95200 | 60257 59160 49 | 0.004 % |
247.67/247.90 c | 408233 | 160 13600 95200 | 60257 54036 49 | 0.004 % |
248.67/248.80 c | 409774 | 160 13600 95200 | 60257 55577 49 | 0.004 % |
249.67/249.80 c | 411468 | 160 13600 95200 | 55805 51528 49 | 0.004 % |
250.57/250.73 c | 413332 | 160 13600 95200 | 55805 53392 49 | 0.004 % |
251.67/251.88 c | 415382 | 160 13600 95200 | 55805 55442 49 | 0.004 % |
252.87/253.01 c | 417636 | 160 13600 95200 | 55805 52109 49 | 0.004 % |
254.17/254.34 c | 420117 | 160 13600 95200 | 2147483647 54590 49 | 0.004 % |
255.77/255.91 c | 422843 | 160 13600 95200 | 2147483647 57316 49 | 0.004 % |
257.47/257.67 c | 425841 | 160 13600 95200 | 2147483647 60314 49 | 0.004 % |
259.57/259.76 c | 429138 | 160 13600 95200 | 2147483647 63611 49 | 0.004 % |
261.87/262.04 c | 432763 | 160 13600 95200 | 2147483647 67236 49 | 0.004 % |
264.77/264.90 c | 436750 | 160 13600 95200 | 2147483647 71223 49 | 0.004 % |
264.77/264.98 c | 436850 | 160 13600 95200 | 2147483647 71323 49 | 0.004 % |
264.87/265.09 c | 436961 | 160 13600 95200 | 2147483647 71434 49 | 0.004 % |
265.06/265.21 c | 437083 | 160 13600 95200 | 2147483647 71556 49 | 0.004 % |
265.16/265.35 c | 437218 | 160 13600 95200 | 2147483647 71691 49 | 0.004 % |
265.36/265.50 c | 437365 | 160 13600 95200 | 2147483647 71838 49 | 0.004 % |
265.46/265.66 c | 437526 | 160 13600 95200 | 2147483647 71999 49 | 0.004 % |
265.66/265.83 c | 437703 | 160 13600 95200 | 2147483647 72176 49 | 0.004 % |
265.86/266.00 c | 437896 | 160 13600 95200 | 2147483647 72369 49 | 0.004 % |
265.97/266.17 c | 438108 | 160 13600 95200 | 2147483647 72581 49 | 0.004 % |
266.16/266.38 c | 438341 | 160 13600 95200 | 2147483647 72814 49 | 0.004 % |
266.36/266.60 c | 438599 | 160 13600 95200 | 2147483647 73072 49 | 0.004 % |
266.66/266.87 c | 438881 | 160 13600 95200 | 2147483647 73354 49 | 0.004 % |
266.96/267.14 c | 439190 | 160 13600 95200 | 2147483647 73663 49 | 0.004 % |
267.17/267.39 c | 439529 | 160 13600 95200 | 2147483647 74002 49 | 0.004 % |
267.56/267.76 c | 439901 | 160 13600 95200 | 2147483647 74374 49 | 0.004 % |
267.96/268.16 c | 440311 | 160 13600 95200 | 74475 63551 49 | 0.004 % |
268.26/268.48 c | 440761 | 160 13600 95200 | 74475 64001 49 | 0.004 % |
268.66/268.84 c | 441254 | 160 13600 95200 | 74475 64494 49 | 0.004 % |
269.06/269.25 c | 441797 | 160 13600 95200 | 74475 65037 49 | 0.004 % |
269.46/269.63 c | 442393 | 160 13600 95200 | 74475 65633 49 | 0.004 % |
269.86/270.07 c | 443049 | 160 13600 95200 | 74475 66289 49 | 0.004 % |
270.56/270.74 c | 443771 | 160 13600 95200 | 74475 67011 49 | 0.004 % |
271.16/271.34 c | 444564 | 160 13600 95200 | 74475 67804 49 | 0.004 % |
271.76/271.97 c | 445435 | 160 13600 95200 | 74475 68675 49 | 0.004 % |
272.56/272.73 c | 446393 | 160 13600 95200 | 74475 69633 49 | 0.004 % |
273.36/273.53 c | 447446 | 160 13600 95200 | 74475 70686 49 | 0.004 % |
274.16/274.35 c | 448604 | 160 13600 95200 | 74475 71844 49 | 0.004 % |
275.06/275.22 c | 449878 | 160 13600 95200 | 74475 73118 49 | 0.004 % |
276.06/276.21 c | 451278 | 160 13600 95200 | 73242 62969 49 | 0.004 % |
277.06/277.29 c | 452818 | 160 13600 95200 | 73242 64509 49 | 0.004 % |
278.16/278.37 c | 454513 | 160 13600 95200 | 73242 66204 49 | 0.004 % |
279.55/279.75 c | 456378 | 160 13600 95200 | 73242 68069 49 | 0.004 % |
281.06/281.27 c | 458430 | 160 13600 95200 | 73242 70121 49 | 0.004 % |
282.75/282.99 c | 460683 | 160 13600 95200 | 71691 61165 49 | 0.004 % |
284.35/284.57 c | 463161 | 160 13600 95200 | 71691 63643 49 | 0.004 % |
286.25/286.40 c | 465886 | 160 13600 95200 | 71691 66368 49 | 0.004 % |
288.25/288.42 c | 468883 | 160 13600 95200 | 71691 69365 49 | 0.004 % |
290.45/290.68 c | 472180 | 160 13600 95200 | 70482 62480 49 | 0.004 % |
292.75/292.99 c | 475805 | 160 13600 95200 | 70482 66105 49 | 0.004 % |
295.65/295.89 c | 479794 | 160 13600 95200 | 70482 70094 49 | 0.004 % |
298.65/298.82 c | 484180 | 160 13600 95200 | 70303 64513 49 | 0.004 % |
298.65/298.89 c | 484280 | 160 13600 95200 | 70303 64613 49 | 0.004 % |
298.75/298.97 c | 484391 | 160 13600 95200 | 70303 64724 49 | 0.004 % |
298.85/299.07 c | 484513 | 160 13600 95200 | 70303 64846 49 | 0.004 % |
298.95/299.20 c | 484646 | 160 13600 95200 | 70303 64979 49 | 0.004 % |
299.15/299.33 c | 484792 | 160 13600 95200 | 70303 65125 49 | 0.004 % |
299.25/299.48 c | 484952 | 160 13600 95200 | 70303 65285 49 | 0.004 % |
299.45/299.62 c | 485128 | 160 13600 95200 | 70303 65461 49 | 0.004 % |
299.55/299.77 c | 485321 | 160 13600 95200 | 70303 65654 49 | 0.004 % |
299.75/299.97 c | 485536 | 160 13600 95200 | 70303 65869 49 | 0.004 % |
299.95/300.18 c | 485771 | 160 13600 95200 | 70303 66104 49 | 0.004 % |
300.25/300.42 c | 486027 | 160 13600 95200 | 70303 66360 49 | 0.004 % |
300.44/300.64 c | 486308 | 160 13600 95200 | 70303 66641 49 | 0.004 % |
300.64/300.87 c | 486619 | 160 13600 95200 | 70303 66952 49 | 0.004 % |
300.94/301.14 c | 486959 | 160 13600 95200 | 70303 67292 49 | 0.004 % |
301.25/301.43 c | 487332 | 160 13600 95200 | 70303 67665 49 | 0.004 % |
301.54/301.71 c | 487742 | 160 13600 95200 | 70303 68075 49 | 0.004 % |
301.84/302.06 c | 488191 | 160 13600 95200 | 70303 68524 49 | 0.004 % |
302.14/302.40 c | 488685 | 160 13600 95200 | 70303 69018 49 | 0.004 % |
302.54/302.78 c | 489228 | 160 13600 95200 | 70303 69561 49 | 0.004 % |
303.04/303.21 c | 489824 | 160 13600 95200 | 70303 70157 49 | 0.004 % |
303.54/303.71 c | 490480 | 160 13600 95200 | 70333 60163 49 | 0.004 % |
303.94/304.18 c | 491203 | 160 13600 95200 | 70333 60886 49 | 0.004 % |
304.44/304.68 c | 491995 | 160 13600 95200 | 70333 61678 49 | 0.004 % |
305.04/305.24 c | 492866 | 160 13600 95200 | 70333 62549 49 | 0.004 % |
305.64/305.87 c | 493824 | 160 13600 95200 | 70333 63507 49 | 0.004 % |
306.44/306.68 c | 494877 | 160 13600 95200 | 70333 64560 49 | 0.004 % |
307.34/307.50 c | 496039 | 160 13600 95200 | 70333 65722 49 | 0.004 % |
308.24/308.49 c | 497313 | 160 13600 95200 | 70333 66996 49 | 0.004 % |
309.24/309.43 c | 498713 | 160 13600 95200 | 70333 68396 49 | 0.004 % |
310.44/310.64 c | 500255 | 160 13600 95200 | 69684 59353 49 | 0.004 % |
311.44/311.64 c | 501949 | 160 13600 95200 | 69684 61047 49 | 0.004 % |
312.54/312.76 c | 503813 | 160 13600 95200 | 69684 62911 49 | 0.004 % |
313.94/314.19 c | 505863 | 160 13600 95200 | 69684 64961 49 | 0.004 % |
315.54/315.78 c | 508117 | 160 13600 95200 | 69684 67215 49 | 0.004 % |
317.24/317.49 c | 510596 | 160 13600 95200 | 69098 60094 49 | 0.004 % |
319.04/319.23 c | 513325 | 160 13600 95200 | 69098 62823 49 | 0.004 % |
320.94/321.16 c | 516323 | 160 13600 95200 | 69098 65821 49 | 0.004 % |
323.14/323.36 c | 519622 | 160 13600 95200 | 69098 69120 49 | 0.004 % |
325.34/325.60 c | 523248 | 160 13600 95200 | 59842 54711 49 | 0.004 % |
327.73/327.93 c | 527235 | 160 13600 95200 | 59842 58698 49 | 0.004 % |
330.33/330.56 c | 531621 | 160 13600 95200 | 2147483647 57093 49 | 0.004 % |
333.33/333.56 c | 536447 | 160 13600 95200 | 2147483647 61919 48 | 0.004 % |
333.43/333.63 c | 536548 | 160 13600 95200 | 2147483647 62020 48 | 0.004 % |
333.53/333.73 c | 536658 | 160 13600 95200 | 2147483647 62130 48 | 0.004 % |
333.63/333.83 c | 536779 | 160 13600 95200 | 2147483647 62251 48 | 0.004 % |
333.73/333.92 c | 536912 | 160 13600 95200 | 2147483647 62384 48 | 0.004 % |
333.83/334.02 c | 537059 | 160 13600 95200 | 2147483647 62531 48 | 0.004 % |
333.93/334.16 c | 537219 | 160 13600 95200 | 2147483647 62691 48 | 0.004 % |
334.03/334.30 c | 537396 | 160 13600 95200 | 2147483647 62868 48 | 0.004 % |
334.23/334.46 c | 537591 | 160 13600 95200 | 2147483647 63063 48 | 0.004 % |
334.43/334.61 c | 537804 | 160 13600 95200 | 2147483647 63276 48 | 0.004 % |
334.53/334.77 c | 538037 | 160 13600 95200 | 2147483647 63509 48 | 0.004 % |
334.73/335.00 c | 538293 | 160 13600 95200 | 2147483647 63765 48 | 0.004 % |
335.03/335.20 c | 538574 | 160 13600 95200 | 2147483647 64046 48 | 0.004 % |
335.23/335.44 c | 538884 | 160 13600 95200 | 2147483647 64356 48 | 0.004 % |
335.53/335.71 c | 539224 | 160 13600 95200 | 2147483647 64696 48 | 0.004 % |
335.83/336.01 c | 539596 | 160 13600 95200 | 2147483647 65068 48 | 0.004 % |
336.13/336.36 c | 540005 | 160 13600 95200 | 65474 65477 48 | 0.004 % |
336.53/336.74 c | 540454 | 160 13600 95200 | 65474 58418 49 | 0.004 % |
336.83/337.06 c | 540948 | 160 13600 95200 | 65474 58912 49 | 0.004 % |
337.23/337.40 c | 541490 | 160 13600 95200 | 65474 59454 49 | 0.004 % |
337.63/337.82 c | 542087 | 160 13600 95200 | 65474 60051 49 | 0.004 % |
338.03/338.27 c | 542742 | 160 13600 95200 | 65474 60706 49 | 0.004 % |
338.53/338.71 c | 543463 | 160 13600 95200 | 65474 61427 49 | 0.004 % |
339.03/339.21 c | 544255 | 160 13600 95200 | 65474 62219 49 | 0.004 % |
339.53/339.75 c | 545126 | 160 13600 95200 | 65474 63090 49 | 0.004 % |
340.13/340.32 c | 546086 | 160 13600 95200 | 65474 64050 49 | 0.004 % |
340.93/341.11 c | 547140 | 160 13600 95200 | 65474 65104 49 | 0.004 % |
341.73/341.93 c | 548298 | 160 13600 95200 | 65474 57937 49 | 0.004 % |
342.53/342.75 c | 549573 | 160 13600 95200 | 65474 59212 49 | 0.004 % |
343.43/343.63 c | 550974 | 160 13600 95200 | 59640 53117 49 | 0.004 % |
344.33/344.53 c | 552516 | 160 13600 95200 | 59640 54659 49 | 0.004 % |
345.33/345.56 c | 554212 | 160 13600 95200 | 59640 56355 49 | 0.004 % |
346.42/346.67 c | 556075 | 160 13600 95200 | 59640 58218 49 | 0.004 % |
347.82/348.01 c | 558124 | 160 13600 95200 | 59640 54095 49 | 0.004 % |
349.22/349.40 c | 560378 | 160 13600 95200 | 2147483647 56349 49 | 0.004 % |
350.73/350.94 c | 562856 | 160 13600 95200 | 2147483647 58827 49 | 0.004 % |
352.52/352.72 c | 565582 | 160 13600 95200 | 2147483647 61553 49 | 0.004 % |
354.52/354.79 c | 568579 | 160 13600 95200 | 2147483647 64550 49 | 0.004 % |
357.02/357.20 c | 571877 | 160 13600 95200 | 65973 60168 48 | 0.004 % |
359.32/359.53 c | 575502 | 160 13600 95200 | 65973 63793 48 | 0.004 % |
361.92/362.13 c | 579491 | 160 13600 95200 | 65973 59466 48 | 0.004 % |
364.63/364.89 c | 583878 | 160 13600 95200 | 59980 56445 48 | 0.004 % |
367.83/368.07 c | 588702 | 160 13600 95200 | 59980 55029 48 | 0.004 % |
371.23/371.44 c | 594007 | 160 13600 95200 | 2147483647 60334 48 | 0.004 % |
371.33/371.53 c | 594107 | 160 13600 95200 | 2147483647 60434 48 | 0.004 % |
371.43/371.62 c | 594217 | 160 13600 95200 | 2147483647 60544 48 | 0.004 % |
371.53/371.71 c | 594340 | 160 13600 95200 | 2147483647 60667 48 | 0.004 % |
371.63/371.81 c | 594475 | 160 13600 95200 | 2147483647 60802 48 | 0.004 % |
371.73/371.93 c | 594622 | 160 13600 95200 | 2147483647 60949 48 | 0.004 % |
371.83/372.04 c | 594783 | 160 13600 95200 | 2147483647 61110 48 | 0.004 % |
371.92/372.18 c | 594959 | 160 13600 95200 | 2147483647 61286 48 | 0.004 % |
372.12/372.31 c | 595152 | 160 13600 95200 | 2147483647 61479 48 | 0.004 % |
372.22/372.46 c | 595364 | 160 13600 95200 | 2147483647 61691 48 | 0.004 % |
372.42/372.62 c | 595597 | 160 13600 95200 | 2147483647 61924 48 | 0.004 % |
372.63/372.83 c | 595856 | 160 13600 95200 | 2147483647 62183 48 | 0.004 % |
372.82/373.04 c | 596137 | 160 13600 95200 | 2147483647 62464 48 | 0.004 % |
373.02/373.23 c | 596446 | 160 13600 95200 | 2147483647 62773 48 | 0.004 % |
373.22/373.48 c | 596785 | 160 13600 95200 | 2147483647 63112 48 | 0.004 % |
373.52/373.74 c | 597158 | 160 13600 95200 | 2147483647 63485 48 | 0.004 % |
373.83/374.01 c | 597567 | 160 13600 95200 | 2147483647 63894 48 | 0.004 % |
374.22/374.41 c | 598019 | 160 13600 95200 | 2147483647 64346 48 | 0.004 % |
374.52/374.79 c | 598512 | 160 13600 95200 | 2147483647 64839 48 | 0.004 % |
375.02/375.27 c | 599056 | 160 13600 95200 | 2147483647 65383 48 | 0.004 % |
375.62/375.81 c | 599652 | 160 13600 95200 | 2147483647 65979 48 | 0.004 % |
376.12/376.34 c | 600307 | 160 13600 95200 | 66329 58179 49 | 0.004 % |
376.52/376.76 c | 601028 | 160 13600 95200 | 66329 58900 49 | 0.004 % |
377.22/377.42 c | 601820 | 160 13600 95200 | 66329 59692 49 | 0.004 % |
377.82/378.00 c | 602693 | 160 13600 95200 | 66329 60565 49 | 0.004 % |
378.42/378.63 c | 603652 | 160 13600 95200 | 66329 61524 49 | 0.004 % |
379.12/379.36 c | 604708 | 160 13600 95200 | 66329 62580 49 | 0.004 % |
379.92/380.11 c | 605867 | 160 13600 95200 | 66329 63739 49 | 0.004 % |
380.72/380.95 c | 607140 | 160 13600 95200 | 66329 65012 49 | 0.004 % |
381.72/381.94 c | 608541 | 160 13600 95200 | 66329 57900 48 | 0.004 % |
382.92/383.15 c | 610081 | 160 13600 95200 | 59359 51722 49 | 0.004 % |
383.92/384.15 c | 611777 | 160 13600 95200 | 59359 53418 48 | 0.004 % |
385.12/385.38 c | 613640 | 160 13600 95200 | 59359 55281 48 | 0.004 % |
386.42/386.67 c | 615689 | 160 13600 95200 | 59359 57330 48 | 0.004 % |
387.92/388.15 c | 617944 | 160 13600 95200 | 59359 53446 49 | 0.004 % |
389.32/389.52 c | 620423 | 160 13600 95200 | 2147483647 55925 48 | 0.004 % |
390.82/391.09 c | 623148 | 160 13600 95200 | 2147483647 58650 48 | 0.004 % |
392.82/393.06 c | 626145 | 160 13600 95200 | 2147483647 61647 49 | 0.004 % |
395.21/395.45 c | 629441 | 160 13600 95200 | 2147483647 64943 49 | 0.004 % |
397.71/397.98 c | 633067 | 160 13600 95200 | 2147483647 68569 49 | 0.004 % |
401.11/401.36 c | 637054 | 160 13600 95200 | 2147483647 72556 49 | 0.004 % |
404.71/404.95 c | 641439 | 160 13600 95200 | 75503 63964 49 | 0.004 % |
408.11/408.31 c | 646263 | 160 13600 95200 | 75503 68788 49 | 0.004 % |
412.11/412.30 c | 651569 | 160 13600 95200 | 72525 62126 49 | 0.004 % |
416.20/416.42 c | 657405 | 160 13600 95200 | 72525 67962 49 | 0.004 % |
416.20/416.49 c | 657505 | 160 13600 95200 | 72525 68062 49 | 0.004 % |
416.40/416.61 c | 657617 | 160 13600 95200 | 72525 68174 49 | 0.004 % |
416.50/416.72 c | 657740 | 160 13600 95200 | 72525 68297 49 | 0.004 % |
416.61/416.83 c | 657873 | 160 13600 95200 | 72525 68430 49 | 0.004 % |
416.71/416.95 c | 658021 | 160 13600 95200 | 72525 68578 49 | 0.004 % |
416.90/417.12 c | 658181 | 160 13600 95200 | 72525 68738 49 | 0.004 % |
417.00/417.27 c | 658359 | 160 13600 95200 | 72525 68916 49 | 0.004 % |
417.20/417.46 c | 658552 | 160 13600 95200 | 72525 69109 49 | 0.004 % |
417.40/417.66 c | 658764 | 160 13600 95200 | 72525 69321 49 | 0.004 % |
417.60/417.86 c | 658997 | 160 13600 95200 | 72525 69554 49 | 0.004 % |
417.81/418.08 c | 659254 | 160 13600 95200 | 72525 69811 49 | 0.004 % |
418.10/418.31 c | 659536 | 160 13600 95200 | 72525 70093 49 | 0.004 % |
418.40/418.62 c | 659845 | 160 13600 95200 | 72525 70402 49 | 0.004 % |
418.70/418.98 c | 660184 | 160 13600 95200 | 70557 58903 49 | 0.004 % |
419.00/419.25 c | 660557 | 160 13600 95200 | 70557 59276 49 | 0.004 % |
419.30/419.58 c | 660966 | 160 13600 95200 | 70557 59685 49 | 0.004 % |
419.70/419.90 c | 661416 | 160 13600 95200 | 70557 60135 49 | 0.004 % |
420.00/420.25 c | 661911 | 160 13600 95200 | 70557 60630 49 | 0.004 % |
420.40/420.62 c | 662454 | 160 13600 95200 | 70557 61173 49 | 0.004 % |
420.80/421.05 c | 663050 | 160 13600 95200 | 70557 61769 49 | 0.004 % |
421.40/421.64 c | 663705 | 160 13600 95200 | 70557 62424 49 | 0.004 % |
421.90/422.18 c | 664425 | 160 13600 95200 | 70557 63144 49 | 0.004 % |
422.50/422.76 c | 665217 | 160 13600 95200 | 70557 63936 49 | 0.004 % |
423.10/423.33 c | 666088 | 160 13600 95200 | 70557 64807 49 | 0.004 % |
423.90/424.12 c | 667046 | 160 13600 95200 | 70557 65765 49 | 0.004 % |
424.70/424.90 c | 668099 | 160 13600 95200 | 70557 66818 49 | 0.004 % |
425.70/425.90 c | 669257 | 160 13600 95200 | 70557 67976 49 | 0.004 % |
426.60/426.87 c | 670531 | 160 13600 95200 | 68719 57670 49 | 0.004 % |
427.60/427.89 c | 671931 | 160 13600 95200 | 68719 59070 49 | 0.004 % |
428.70/428.95 c | 673471 | 160 13600 95200 | 68719 60610 49 | 0.004 % |
429.80/430.03 c | 675166 | 160 13600 95200 | 68719 62305 49 | 0.004 % |
431.00/431.23 c | 677032 | 160 13600 95200 | 68719 64171 49 | 0.004 % |
432.59/432.80 c | 679082 | 160 13600 95200 | 68719 66221 49 | 0.004 % |
434.30/434.59 c | 681336 | 160 13600 95200 | 67139 58508 49 | 0.004 % |
435.99/436.25 c | 683816 | 160 13600 95200 | 67139 60988 49 | 0.004 % |
437.69/437.99 c | 686542 | 160 13600 95200 | 67139 63714 49 | 0.004 % |
440.29/440.50 c | 689539 | 160 13600 95200 | 67139 66711 49 | 0.004 % |
442.69/442.98 c | 692837 | 160 13600 95200 | 67174 60201 49 | 0.004 % |
445.29/445.55 c | 696462 | 160 13600 95200 | 67174 63826 49 | 0.004 % |
448.09/448.31 c | 700451 | 160 13600 95200 | 58313 50945 49 | 0.004 % |
450.59/450.86 c | 704836 | 160 13600 95200 | 58313 55330 49 | 0.004 % |
453.39/453.70 c | 709661 | 160 13600 95200 | 58313 54317 49 | 0.004 % |
456.48/456.70 c | 714967 | 160 13600 95200 | 2147483647 59623 49 | 0.004 % |
459.98/460.25 c | 720802 | 160 13600 95200 | 2147483647 65458 49 | 0.004 % |
464.28/464.57 c | 727221 | 160 13600 95200 | 2147483647 71877 49 | 0.004 % |
464.39/464.66 c | 727322 | 160 13600 95200 | 2147483647 71978 49 | 0.004 % |
464.49/464.75 c | 727433 | 160 13600 95200 | 2147483647 72089 49 | 0.004 % |
464.59/464.84 c | 727555 | 160 13600 95200 | 2147483647 72211 49 | 0.004 % |
464.79/465.02 c | 727690 | 160 13600 95200 | 2147483647 72346 49 | 0.004 % |
464.89/465.17 c | 727836 | 160 13600 95200 | 2147483647 72492 49 | 0.004 % |
465.09/465.34 c | 727997 | 160 13600 95200 | 2147483647 72653 49 | 0.004 % |
465.19/465.46 c | 728173 | 160 13600 95200 | 2147483647 72829 49 | 0.004 % |
465.29/465.60 c | 728368 | 160 13600 95200 | 2147483647 73024 49 | 0.004 % |
465.49/465.79 c | 728582 | 160 13600 95200 | 2147483647 73238 49 | 0.004 % |
465.79/466.05 c | 728815 | 160 13600 95200 | 2147483647 73471 49 | 0.004 % |
466.09/466.33 c | 729071 | 160 13600 95200 | 2147483647 73727 49 | 0.004 % |
466.39/466.62 c | 729356 | 160 13600 95200 | 2147483647 74012 49 | 0.004 % |
466.69/466.93 c | 729665 | 160 13600 95200 | 2147483647 74321 49 | 0.004 % |
466.99/467.21 c | 730004 | 160 13600 95200 | 74656 74660 49 | 0.004 % |
467.39/467.66 c | 730377 | 160 13600 95200 | 74656 63486 49 | 0.004 % |
467.69/467.98 c | 730786 | 160 13600 95200 | 74656 63895 49 | 0.004 % |
468.09/468.34 c | 731235 | 160 13600 95200 | 74656 64344 49 | 0.004 % |
468.39/468.70 c | 731729 | 160 13600 95200 | 74656 64838 49 | 0.004 % |
468.79/469.08 c | 732274 | 160 13600 95200 | 74656 65383 49 | 0.004 % |
469.29/469.52 c | 732870 | 160 13600 95200 | 74656 65979 49 | 0.004 % |
469.79/470.02 c | 733525 | 160 13600 95200 | 74656 66634 49 | 0.004 % |
470.39/470.64 c | 734248 | 160 13600 95200 | 74656 67357 49 | 0.004 % |
470.89/471.17 c | 735042 | 160 13600 95200 | 74656 68151 49 | 0.004 % |
471.59/471.87 c | 735913 | 160 13600 95200 | 74656 69022 49 | 0.004 % |
472.29/472.55 c | 736871 | 160 13600 95200 | 74656 69980 49 | 0.004 % |
473.09/473.34 c | 737924 | 160 13600 95200 | 74656 71033 49 | 0.004 % |
473.89/474.15 c | 739083 | 160 13600 95200 | 74656 72192 49 | 0.004 % |
474.99/475.25 c | 740356 | 160 13600 95200 | 73110 60855 49 | 0.004 % |
475.99/476.20 c | 741760 | 160 13600 95200 | 73110 62259 49 | 0.004 % |
476.88/477.15 c | 743303 | 160 13600 95200 | 73110 63802 49 | 0.004 % |
477.98/478.27 c | 744997 | 160 13600 95200 | 73110 65496 49 | 0.004 % |
479.39/479.62 c | 746861 | 160 13600 95200 | 73110 67360 49 | 0.004 % |
480.78/481.09 c | 748910 | 160 13600 95200 | 73110 69409 49 | 0.004 % |
482.48/482.78 c | 751164 | 160 13600 95200 | 70499 61264 49 | 0.004 % |
484.18/484.46 c | 753642 | 160 13600 95200 | 70499 63742 49 | 0.004 % |
485.98/486.28 c | 756367 | 160 13600 95200 | 70499 66467 49 | 0.004 % |
488.08/488.32 c | 759364 | 160 13600 95200 | 70499 69464 49 | 0.004 % |
490.28/490.50 c | 762660 | 160 13600 95200 | 70100 62826 49 | 0.004 % |
492.58/492.87 c | 766285 | 160 13600 95200 | 70100 66451 49 | 0.004 % |
495.28/495.50 c | 770272 | 160 13600 95200 | 70168 60882 49 | 0.004 % |
497.88/498.13 c | 774657 | 160 13600 95200 | 70168 65267 49 | 0.004 % |
501.07/501.33 c | 779480 | 160 13600 95200 | 70168 70090 49 | 0.004 % |
504.27/504.55 c | 784785 | 160 13600 95200 | 61604 58499 49 | 0.004 % |
507.88/508.11 c | 790621 | 160 13600 95200 | 57250 52129 49 | 0.004 % |
511.57/511.87 c | 797039 | 160 13600 95200 | 57250 52815 49 | 0.004 % |
515.47/515.74 c | 804099 | 160 13600 95200 | 2147483647 59875 49 | 0.004 % |
515.57/515.81 c | 804200 | 160 13600 95200 | 2147483647 59976 49 | 0.004 % |
515.57/515.89 c | 804312 | 160 13600 95200 | 2147483647 60088 49 | 0.004 % |
515.67/515.97 c | 804433 | 160 13600 95200 | 2147483647 60209 49 | 0.004 % |
515.77/516.06 c | 804568 | 160 13600 95200 | 2147483647 60344 49 | 0.004 % |
515.87/516.18 c | 804715 | 160 13600 95200 | 2147483647 60491 49 | 0.004 % |
515.97/516.29 c | 804875 | 160 13600 95200 | 2147483647 60651 49 | 0.004 % |
516.17/516.41 c | 805051 | 160 13600 95200 | 2147483647 60827 49 | 0.004 % |
516.27/516.57 c | 805245 | 160 13600 95200 | 2147483647 61021 49 | 0.004 % |
516.47/516.71 c | 805457 | 160 13600 95200 | 2147483647 61233 49 | 0.004 % |
516.57/516.88 c | 805690 | 160 13600 95200 | 2147483647 61466 49 | 0.004 % |
516.77/517.04 c | 805946 | 160 13600 95200 | 2147483647 61722 49 | 0.004 % |
516.97/517.22 c | 806229 | 160 13600 95200 | 2147483647 62005 49 | 0.004 % |
517.17/517.42 c | 806539 | 160 13600 95200 | 2147483647 62315 49 | 0.004 % |
517.47/517.70 c | 806878 | 160 13600 95200 | 2147483647 62654 49 | 0.004 % |
517.67/517.95 c | 807250 | 160 13600 95200 | 2147483647 63026 49 | 0.004 % |
517.97/518.26 c | 807659 | 160 13600 95200 | 2147483647 63435 49 | 0.004 % |
518.27/518.58 c | 808108 | 160 13600 95200 | 2147483647 63884 49 | 0.004 % |
518.67/518.95 c | 808602 | 160 13600 95200 | 2147483647 64378 49 | 0.004 % |
519.07/519.32 c | 809144 | 160 13600 95200 | 2147483647 64920 49 | 0.004 % |
519.47/519.76 c | 809741 | 160 13600 95200 | 2147483647 65517 49 | 0.004 % |
519.97/520.25 c | 810398 | 160 13600 95200 | 65777 58479 49 | 0.004 % |
520.36/520.70 c | 811119 | 160 13600 95200 | 65777 59200 49 | 0.004 % |
520.86/521.18 c | 811913 | 160 13600 95200 | 65777 59994 49 | 0.004 % |
521.36/521.69 c | 812785 | 160 13600 95200 | 65777 60866 49 | 0.004 % |
522.06/522.31 c | 813747 | 160 13600 95200 | 65777 61828 49 | 0.004 % |
522.76/523.01 c | 814801 | 160 13600 95200 | 65777 62882 49 | 0.004 % |
523.56/523.80 c | 815959 | 160 13600 95200 | 65777 64040 49 | 0.004 % |
524.26/524.56 c | 817234 | 160 13600 95200 | 65777 65315 49 | 0.004 % |
525.16/525.45 c | 818637 | 160 13600 95200 | 65777 58799 49 | 0.004 % |
526.06/526.39 c | 820177 | 160 13600 95200 | 60164 53455 49 | 0.004 % |
526.96/527.29 c | 821872 | 160 13600 95200 | 60164 55150 49 | 0.004 % |
527.96/528.23 c | 823735 | 160 13600 95200 | 60164 57013 49 | 0.004 % |
529.16/529.43 c | 825785 | 160 13600 95200 | 60164 59063 49 | 0.004 % |
530.46/530.78 c | 828038 | 160 13600 95200 | 60164 55291 49 | 0.004 % |
532.06/532.30 c | 830516 | 160 13600 95200 | 2147483647 57769 49 | 0.004 % |
533.76/534.08 c | 833241 | 160 13600 95200 | 2147483647 60494 49 | 0.004 % |
535.66/535.94 c | 836238 | 160 13600 95200 | 2147483647 63491 49 | 0.004 % |
537.76/538.01 c | 839535 | 160 13600 95200 | 2147483647 66788 49 | 0.004 % |
540.15/540.43 c | 843162 | 160 13600 95200 | 67253 62604 49 | 0.004 % |
542.95/543.21 c | 847150 | 160 13600 95200 | 67253 66592 49 | 0.004 % |
545.75/546.08 c | 851538 | 160 13600 95200 | 60545 54260 49 | 0.004 % |
548.85/549.10 c | 856362 | 160 13600 95200 | 60545 59084 49 | 0.004 % |
551.85/552.15 c | 861667 | 160 13600 95200 | 2147483647 58209 49 | 0.004 % |
555.55/555.84 c | 867502 | 160 13600 95200 | 2147483647 64044 49 | 0.004 % |
560.35/560.70 c | 873920 | 160 13600 95200 | 66542 62641 49 | 0.004 % |
565.05/565.34 c | 880979 | 160 13600 95200 | 59871 53317 49 | 0.004 % |
569.94/570.25 c | 888743 | 160 13600 95200 | 59871 54666 49 | 0.004 % |
570.04/570.33 c | 888844 | 160 13600 95200 | 59871 54767 49 | 0.004 % |
570.14/570.40 c | 888955 | 160 13600 95200 | 59871 54878 49 | 0.004 % |
570.14/570.48 c | 889077 | 160 13600 95200 | 59871 55000 49 | 0.004 % |
570.34/570.60 c | 889212 | 160 13600 95200 | 59871 55135 49 | 0.004 % |
570.44/570.72 c | 889360 | 160 13600 95200 | 59871 55283 49 | 0.004 % |
570.55/570.83 c | 889521 | 160 13600 95200 | 59871 55444 49 | 0.004 % |
570.65/570.98 c | 889697 | 160 13600 95200 | 59871 55620 49 | 0.004 % |
570.84/571.13 c | 889891 | 160 13600 95200 | 59871 55814 49 | 0.004 % |
571.04/571.32 c | 890103 | 160 13600 95200 | 55923 50031 49 | 0.004 % |
571.14/571.44 c | 890339 | 160 13600 95200 | 55923 50267 49 | 0.004 % |
571.24/571.58 c | 890595 | 160 13600 95200 | 55923 50523 49 | 0.004 % |
571.54/571.82 c | 890876 | 160 13600 95200 | 55923 50804 49 | 0.004 % |
571.75/572.02 c | 891185 | 160 13600 95200 | 55923 51113 49 | 0.004 % |
571.94/572.23 c | 891524 | 160 13600 95200 | 55923 51452 49 | 0.004 % |
572.24/572.52 c | 891897 | 160 13600 95200 | 55923 51825 49 | 0.004 % |
572.44/572.76 c | 892306 | 160 13600 95200 | 55923 52234 49 | 0.004 % |
572.74/573.03 c | 892756 | 160 13600 95200 | 55923 52684 49 | 0.004 % |
573.04/573.30 c | 893249 | 160 13600 95200 | 55923 53177 49 | 0.004 % |
573.34/573.62 c | 893791 | 160 13600 95200 | 55923 53719 49 | 0.004 % |
573.64/573.97 c | 894387 | 160 13600 95200 | 55923 54315 49 | 0.004 % |
574.04/574.38 c | 895043 | 160 13600 95200 | 55923 54971 49 | 0.004 % |
574.74/575.04 c | 895763 | 160 13600 95200 | 55923 55691 49 | 0.004 % |
575.34/575.65 c | 896557 | 160 13600 95200 | 55923 50552 49 | 0.004 % |
575.94/576.25 c | 897429 | 160 13600 95200 | 55923 51424 49 | 0.004 % |
576.54/576.86 c | 898388 | 160 13600 95200 | 55923 52383 49 | 0.004 % |
577.14/577.40 c | 899441 | 160 13600 95200 | 55923 53436 49 | 0.004 % |
577.74/578.08 c | 900600 | 160 13600 95200 | 2147483647 54595 49 | 0.004 % |
578.54/578.88 c | 901875 | 160 13600 95200 | 2147483647 55870 49 | 0.004 % |
579.44/579.76 c | 903276 | 160 13600 95200 | 2147483647 57271 49 | 0.004 % |
580.34/580.67 c | 904816 | 160 13600 95200 | 2147483647 58811 49 | 0.004 % |
581.35/581.68 c | 906510 | 160 13600 95200 | 2147483647 60505 49 | 0.004 % |
582.65/582.98 c | 908374 | 160 13600 95200 | 2147483647 62369 49 | 0.004 % |
584.05/584.39 c | 910423 | 160 13600 95200 | 63995 57509 49 | 0.004 % |
585.34/585.68 c | 912676 | 160 13600 95200 | 63995 59762 49 | 0.004 % |
586.94/587.23 c | 915154 | 160 13600 95200 | 63995 62240 49 | 0.004 % |
588.74/589.04 c | 917880 | 160 13600 95200 | 63995 58154 49 | 0.004 % |
590.64/590.91 c | 920877 | 160 13600 95200 | 60275 54872 49 | 0.004 % |
592.65/592.99 c | 924173 | 160 13600 95200 | 60275 58168 49 | 0.004 % |
594.94/595.20 c | 927798 | 160 13600 95200 | 60275 55662 49 | 0.004 % |
597.34/597.67 c | 931785 | 160 13600 95200 | 2147483647 59649 49 | 0.004 % |
600.54/600.88 c | 936170 | 160 13600 95200 | 2147483647 64034 49 | 0.004 % |
604.14/604.46 c | 940994 | 160 13600 95200 | 67865 60123 49 | 0.004 % |
607.54/607.83 c | 946299 | 160 13600 95200 | 67865 65428 49 | 0.004 % |
611.34/611.62 c | 952134 | 160 13600 95200 | 60797 55701 49 | 0.004 % |
615.04/615.32 c | 958552 | 160 13600 95200 | 60797 56033 49 | 0.004 % |
618.94/619.23 c | 965612 | 160 13600 95200 | 2147483647 63093 49 | 0.004 % |
623.73/624.01 c | 973377 | 160 13600 95200 | 67482 63531 49 | 0.004 % |
629.13/629.46 c | 981917 | 160 13600 95200 | 62002 56540 49 | 0.004 % |
629.23/629.52 c | 982017 | 160 13600 95200 | 62002 56640 49 | 0.004 % |
629.33/629.62 c | 982127 | 160 13600 95200 | 62002 56750 49 | 0.004 % |
629.43/629.70 c | 982248 | 160 13600 95200 | 62002 56871 49 | 0.004 % |
629.43/629.79 c | 982382 | 160 13600 95200 | 62002 57005 49 | 0.004 % |
629.53/629.89 c | 982528 | 160 13600 95200 | 62002 57151 49 | 0.004 % |
629.73/630.02 c | 982688 | 160 13600 95200 | 62002 57311 49 | 0.004 % |
629.83/630.14 c | 982865 | 160 13600 95200 | 62002 57488 49 | 0.004 % |
629.93/630.28 c | 983058 | 160 13600 95200 | 62002 57681 49 | 0.004 % |
630.13/630.43 c | 983270 | 160 13600 95200 | 62002 57893 49 | 0.004 % |
630.23/630.57 c | 983504 | 160 13600 95200 | 62002 58127 49 | 0.004 % |
630.43/630.76 c | 983760 | 160 13600 95200 | 62002 58383 49 | 0.004 % |
630.63/630.96 c | 984041 | 160 13600 95200 | 62002 58664 49 | 0.004 % |
630.93/631.21 c | 984350 | 160 13600 95200 | 62002 58973 49 | 0.004 % |
631.13/631.45 c | 984690 | 160 13600 95200 | 62002 59313 49 | 0.004 % |
631.43/631.71 c | 985063 | 160 13600 95200 | 62002 59686 49 | 0.004 % |
631.73/632.04 c | 985474 | 160 13600 95200 | 62002 60097 49 | 0.004 % |
632.03/632.34 c | 985925 | 160 13600 95200 | 62002 60548 49 | 0.004 % |
632.43/632.71 c | 986419 | 160 13600 95200 | 62002 61042 49 | 0.004 % |
632.73/633.08 c | 986961 | 160 13600 95200 | 62002 61584 49 | 0.004 % |
633.23/633.52 c | 987557 | 160 13600 95200 | 62002 54845 49 | 0.004 % |
633.63/633.99 c | 988213 | 160 13600 95200 | 62002 55501 49 | 0.004 % |
634.23/634.51 c | 988935 | 160 13600 95200 | 62002 56223 49 | 0.004 % |
634.73/635.00 c | 989728 | 160 13600 95200 | 62002 57016 49 | 0.004 % |
635.23/635.53 c | 990599 | 160 13600 95200 | 57290 51234 49 | 0.004 % |
635.73/636.09 c | 991558 | 160 13600 95200 | 57290 52193 49 | 0.004 % |
636.33/636.70 c | 992612 | 160 13600 95200 | 57290 53247 49 | 0.004 % |
637.03/637.33 c | 993771 | 160 13600 95200 | 57290 54406 49 | 0.004 % |
637.73/638.04 c | 995044 | 160 13600 95200 | 57290 55679 49 | 0.004 % |
638.63/638.92 c | 996444 | 160 13600 95200 | 57290 57079 49 | 0.004 % |
639.53/639.83 c | 997986 | 160 13600 95200 | 57290 52885 49 | 0.004 % |
640.43/640.79 c | 999680 | 160 13600 95200 | 57290 54579 49 | 0.004 % |
641.43/641.77 c | 1001543 | 160 13600 95200 | 2147483647 56442 49 | 0.004 % |
642.73/643.02 c | 1003592 | 160 13600 95200 | 2147483647 58491 49 | 0.004 % |
644.13/644.45 c | 1005846 | 160 13600 95200 | 2147483647 60745 49 | 0.004 % |
645.82/646.17 c | 1008325 | 160 13600 95200 | 2147483647 63224 49 | 0.004 % |
647.72/648.05 c | 1011051 | 160 13600 95200 | 2147483647 65950 49 | 0.004 % |
650.12/650.46 c | 1014051 | 160 13600 95200 | 2147483647 68950 49 | 0.004 % |
652.72/653.05 c | 1017347 | 160 13600 95200 | 2147483647 72246 49 | 0.004 % |
655.62/655.96 c | 1020974 | 160 13600 95200 | 74899 63458 49 | 0.004 % |
658.52/658.84 c | 1024963 | 160 13600 95200 | 74899 67447 49 | 0.004 % |
661.42/661.76 c | 1029348 | 160 13600 95200 | 74899 71832 49 | 0.004 % |
664.82/665.14 c | 1034173 | 160 13600 95200 | 72484 65145 49 | 0.004 % |
668.62/668.95 c | 1039478 | 160 13600 95200 | 72484 70450 49 | 0.004 % |
672.42/672.71 c | 1045313 | 160 13600 95200 | 70973 65530 49 | 0.004 % |
677.32/677.63 c | 1051732 | 160 13600 95200 | 70218 61787 49 | 0.004 % |
682.21/682.55 c | 1058791 | 160 13600 95200 | 70218 68846 49 | 0.004 % |
687.71/688.08 c | 1066555 | 160 13600 95200 | 70056 66902 49 | 0.004 % |
693.21/693.52 c | 1075096 | 160 13600 95200 | 59888 56133 49 | 0.004 % |
698.21/698.50 c | 1084492 | 160 13600 95200 | 54599 53378 49 | 0.004 % |
698.21/698.56 c | 1084593 | 160 13600 95200 | 54599 53479 49 | 0.004 % |
698.30/698.63 c | 1084704 | 160 13600 95200 | 54599 53590 49 | 0.004 % |
698.30/698.69 c | 1084825 | 160 13600 95200 | 54599 53711 49 | 0.004 % |
698.40/698.77 c | 1084958 | 160 13600 95200 | 54599 53844 49 | 0.004 % |
698.50/698.86 c | 1085104 | 160 13600 95200 | 54599 53990 49 | 0.004 % |
698.60/698.95 c | 1085264 | 160 13600 95200 | 54599 54150 49 | 0.004 % |
698.70/699.03 c | 1085441 | 160 13600 95200 | 54599 54327 49 | 0.004 % |
698.80/699.15 c | 1085635 | 160 13600 95200 | 54599 54521 49 | 0.004 % |
699.00/699.31 c | 1085847 | 160 13600 95200 | 54599 49266 49 | 0.004 % |
699.10/699.43 c | 1086080 | 160 13600 95200 | 54599 49499 49 | 0.004 % |
699.31/699.62 c | 1086336 | 160 13600 95200 | 54599 49755 49 | 0.004 % |
699.40/699.77 c | 1086617 | 160 13600 95200 | 54599 50036 49 | 0.004 % |
699.60/699.96 c | 1086927 | 160 13600 95200 | 54599 50346 49 | 0.004 % |
699.80/700.16 c | 1087269 | 160 13600 95200 | 54599 50688 49 | 0.004 % |
700.00/700.37 c | 1087641 | 160 13600 95200 | 54599 51060 49 | 0.004 % |
700.20/700.60 c | 1088050 | 160 13600 95200 | 54599 51469 49 | 0.004 % |
700.50/700.88 c | 1088499 | 160 13600 95200 | 54599 51918 49 | 0.004 % |
700.80/701.17 c | 1088992 | 160 13600 95200 | 54599 52411 49 | 0.004 % |
701.10/701.47 c | 1089534 | 160 13600 95200 | 54599 52953 49 | 0.004 % |
701.51/701.87 c | 1090132 | 160 13600 95200 | 2147483647 53551 49 | 0.004 % |
701.90/702.28 c | 1090787 | 160 13600 95200 | 2147483647 54206 49 | 0.004 % |
702.30/702.69 c | 1091507 | 160 13600 95200 | 2147483647 54926 49 | 0.004 % |
703.00/703.30 c | 1092300 | 160 13600 95200 | 2147483647 55719 49 | 0.004 % |
703.50/703.85 c | 1093173 | 160 13600 95200 | 2147483647 56592 49 | 0.004 % |
704.10/704.48 c | 1094132 | 160 13600 95200 | 2147483647 57551 49 | 0.004 % |
704.80/705.13 c | 1095186 | 160 13600 95200 | 2147483647 58605 49 | 0.004 % |
705.50/705.83 c | 1096344 | 160 13600 95200 | 2147483647 59763 49 | 0.004 % |
706.30/706.62 c | 1097617 | 160 13600 95200 | 2147483647 61036 49 | 0.004 % |
707.20/707.51 c | 1099017 | 160 13600 95200 | 2147483647 62436 49 | 0.004 % |
708.30/708.67 c | 1100558 | 160 13600 95200 | 63420 56991 49 | 0.004 % |
709.50/709.82 c | 1102252 | 160 13600 95200 | 63420 58685 49 | 0.004 % |
710.70/711.05 c | 1104116 | 160 13600 95200 | 63420 60549 49 | 0.004 % |
712.20/712.52 c | 1106165 | 160 13600 95200 | 63420 62598 49 | 0.004 % |
713.80/714.12 c | 1108419 | 160 13600 95200 | 63420 56912 49 | 0.004 % |
715.30/715.66 c | 1110898 | 160 13600 95200 | 58494 52467 49 | 0.004 % |
716.80/717.18 c | 1113624 | 160 13600 95200 | 58494 55193 49 | 0.004 % |
718.59/718.97 c | 1116621 | 160 13600 95200 | 58494 58190 49 | 0.004 % |
720.59/720.92 c | 1119919 | 160 13600 95200 | 58494 55631 49 | 0.004 % |
722.69/723.00 c | 1123544 | 160 13600 95200 | 2147483647 59256 49 | 0.004 % |
725.39/725.77 c | 1127532 | 160 13600 95200 | 2147483647 63244 49 | 0.004 % |
728.59/728.90 c | 1131918 | 160 13600 95200 | 65713 59564 49 | 0.004 % |
731.69/732.06 c | 1136741 | 160 13600 95200 | 65713 64387 49 | 0.004 % |
734.79/735.12 c | 1142051 | 160 13600 95200 | 59430 54404 49 | 0.004 % |
738.39/738.77 c | 1147888 | 160 13600 95200 | 59430 54204 49 | 0.004 % |
742.39/742.72 c | 1154306 | 160 13600 95200 | 2147483647 60622 49 | 0.004 % |
747.28/747.69 c | 1161365 | 160 13600 95200 | 66316 59643 49 | 0.004 % |
752.58/752.92 c | 1169129 | 160 13600 95200 | 66316 58881 49 | 0.004 % |
757.78/758.10 c | 1177669 | 160 13600 95200 | 59752 53934 49 | 0.004 % |
763.28/763.69 c | 1187064 | 160 13600 95200 | 2147483647 63329 49 | 0.004 % |
769.58/769.96 c | 1197399 | 160 13600 95200 | 66265 66273 50 | 0.004 % |
769.68/770.09 c | 1197499 | 160 13600 95200 | 66265 57842 50 | 0.004 % |
769.78/770.18 c | 1197609 | 160 13600 95200 | 66265 57952 50 | 0.004 % |
769.88/770.26 c | 1197731 | 160 13600 95200 | 66265 58074 50 | 0.004 % |
769.98/770.37 c | 1197864 | 160 13600 95200 | 66265 58207 50 | 0.004 % |
770.08/770.48 c | 1198012 | 160 13600 95200 | 66265 58355 50 | 0.004 % |
770.28/770.65 c | 1198173 | 160 13600 95200 | 66265 58516 50 | 0.004 % |
770.48/770.80 c | 1198350 | 160 13600 95200 | 66265 58693 50 | 0.004 % |
770.57/770.96 c | 1198548 | 160 13600 95200 | 66265 58891 50 | 0.004 % |
770.78/771.15 c | 1198762 | 160 13600 95200 | 66265 59105 49 | 0.004 % |
770.97/771.31 c | 1198996 | 160 13600 95200 | 66265 59339 49 | 0.004 % |
771.07/771.48 c | 1199252 | 160 13600 95200 | 66265 59595 49 | 0.004 % |
771.27/771.67 c | 1199534 | 160 13600 95200 | 66265 59877 49 | 0.004 % |
771.57/771.94 c | 1199843 | 160 13600 95200 | 66265 60186 49 | 0.004 % |
771.88/772.24 c | 1200182 | 160 13600 95200 | 60344 52515 50 | 0.004 % |
772.07/772.48 c | 1200554 | 160 13600 95200 | 60344 52887 50 | 0.004 % |
772.37/772.78 c | 1200965 | 160 13600 95200 | 60344 53298 50 | 0.004 % |
772.67/773.05 c | 1201414 | 160 13600 95200 | 60344 53747 50 | 0.004 % |
772.98/773.35 c | 1201907 | 160 13600 95200 | 60344 54240 50 | 0.004 % |
773.27/773.68 c | 1202450 | 160 13600 95200 | 60344 54783 50 | 0.004 % |
773.67/774.06 c | 1203046 | 160 13600 95200 | 60344 55379 50 | 0.004 % |
774.17/774.54 c | 1203701 | 160 13600 95200 | 60344 56034 50 | 0.004 % |
774.67/775.02 c | 1204421 | 160 13600 95200 | 60344 56754 50 | 0.004 % |
775.18/775.59 c | 1205214 | 160 13600 95200 | 60344 57547 50 | 0.004 % |
775.87/776.23 c | 1206085 | 160 13600 95200 | 60344 58418 50 | 0.004 % |
776.67/777.03 c | 1207043 | 160 13600 95200 | 60344 59376 49 | 0.004 % |
777.57/777.94 c | 1208096 | 160 13600 95200 | 60344 53022 49 | 0.004 % |
778.38/778.77 c | 1209256 | 160 13600 95200 | 60344 54182 49 | 0.004 % |
779.17/779.57 c | 1210532 | 160 13600 95200 | 54927 48943 49 | 0.004 % |
779.97/780.38 c | 1211932 | 160 13600 95200 | 54927 50343 49 | 0.004 % |
780.97/781.31 c | 1213473 | 160 13600 95200 | 54927 51884 49 | 0.004 % |
781.97/782.37 c | 1215167 | 160 13600 95200 | 54927 53578 49 | 0.004 % |
783.17/783.59 c | 1217030 | 160 13600 95200 | 54927 49941 49 | 0.004 % |
784.47/784.87 c | 1219083 | 160 13600 95200 | 54927 51994 49 | 0.004 % |
785.97/786.33 c | 1221337 | 160 13600 95200 | 2147483647 54248 49 | 0.004 % |
787.57/787.95 c | 1223816 | 160 13600 95200 | 2147483647 56727 49 | 0.004 % |
789.07/789.47 c | 1226541 | 160 13600 95200 | 2147483647 59452 49 | 0.004 % |
791.16/791.54 c | 1229538 | 160 13600 95200 | 2147483647 62449 49 | 0.004 % |
793.26/793.65 c | 1232835 | 160 13600 95200 | 62911 59200 49 | 0.004 % |
795.66/796.08 c | 1236461 | 160 13600 95200 | 62911 62826 49 | 0.004 % |
798.36/798.77 c | 1240450 | 160 13600 95200 | 59377 53352 49 | 0.004 % |
800.96/801.33 c | 1244835 | 160 13600 95200 | 59377 57737 49 | 0.004 % |
803.56/803.94 c | 1249660 | 160 13600 95200 | 59377 56617 49 | 0.004 % |
806.77/807.15 c | 1254965 | 160 13600 95200 | 2147483647 61922 49 | 0.004 % |
810.87/811.25 c | 1260801 | 160 13600 95200 | 66957 60387 49 | 0.004 % |
814.97/815.32 c | 1267220 | 160 13600 95200 | 66957 66806 49 | 0.004 % |
819.07/819.48 c | 1274281 | 160 13600 95200 | 61588 58819 49 | 0.004 % |
823.66/824.09 c | 1282045 | 160 13600 95200 | 2147483647 60374 49 | 0.004 % |
829.16/829.54 c | 1290586 | 160 13600 95200 | 68330 59277 50 | 0.004 % |
834.66/835.09 c | 1299980 | 160 13600 95200 | 68330 60089 50 | 0.004 % |
840.86/841.22 c | 1310313 | 160 13600 95200 | 2147483647 56739 50 | 0.004 % |
847.26/847.70 c | 1321681 | 160 13600 95200 | 2147483647 68107 50 | 0.004 % |
847.36/847.77 c | 1321782 | 160 13600 95200 | 2147483647 68208 50 | 0.004 % |
847.46/847.85 c | 1321892 | 160 13600 95200 | 2147483647 68318 50 | 0.004 % |
847.56/847.97 c | 1322013 | 160 13600 95200 | 2147483647 68439 50 | 0.004 % |
847.76/848.12 c | 1322146 | 160 13600 95200 | 2147483647 68572 50 | 0.004 % |
847.86/848.26 c | 1322292 | 160 13600 95200 | 2147483647 68718 50 | 0.004 % |
848.06/848.41 c | 1322453 | 160 13600 95200 | 2147483647 68879 50 | 0.004 % |
848.16/848.55 c | 1322630 | 160 13600 95200 | 2147483647 69056 50 | 0.004 % |
848.36/848.74 c | 1322824 | 160 13600 95200 | 2147483647 69250 50 | 0.004 % |
848.56/848.91 c | 1323036 | 160 13600 95200 | 2147483647 69462 50 | 0.004 % |
848.76/849.17 c | 1323270 | 160 13600 95200 | 2147483647 69696 50 | 0.004 % |
849.05/849.41 c | 1323527 | 160 13600 95200 | 2147483647 69953 50 | 0.004 % |
849.25/849.69 c | 1323810 | 160 13600 95200 | 2147483647 70236 50 | 0.004 % |
849.55/849.96 c | 1324119 | 160 13600 95200 | 2147483647 70545 50 | 0.004 % |
849.86/850.22 c | 1324458 | 160 13600 95200 | 2147483647 70884 50 | 0.004 % |
850.05/850.50 c | 1324831 | 160 13600 95200 | 2147483647 71257 50 | 0.004 % |
850.45/850.84 c | 1325241 | 160 13600 95200 | 2147483647 71667 50 | 0.004 % |
850.75/851.16 c | 1325693 | 160 13600 95200 | 2147483647 72119 50 | 0.004 % |
851.15/851.53 c | 1326186 | 160 13600 95200 | 2147483647 72612 50 | 0.004 % |
851.55/851.92 c | 1326728 | 160 13600 95200 | 2147483647 73154 50 | 0.004 % |
851.95/852.34 c | 1327324 | 160 13600 95200 | 2147483647 73750 50 | 0.004 % |
852.45/852.81 c | 1327979 | 160 13600 95200 | 2147483647 74405 50 | 0.004 % |
852.95/853.36 c | 1328700 | 160 13600 95200 | 2147483647 75126 50 | 0.004 % |
853.55/853.98 c | 1329494 | 160 13600 95200 | 2147483647 75920 50 | 0.004 % |
854.36/854.75 c | 1330365 | 160 13600 95200 | 76426 64061 50 | 0.004 % |
854.95/855.39 c | 1331324 | 160 13600 95200 | 76426 65020 50 | 0.004 % |
855.75/856.10 c | 1332377 | 160 13600 95200 | 76426 66073 50 | 0.004 % |
856.55/856.98 c | 1333535 | 160 13600 95200 | 76426 67231 50 | 0.004 % |
857.65/858.04 c | 1334808 | 160 13600 95200 | 76426 68504 50 | 0.004 % |
858.65/859.04 c | 1336208 | 160 13600 95200 | 76426 69904 50 | 0.004 % |
859.75/860.17 c | 1337750 | 160 13600 95200 | 76426 71446 50 | 0.004 % |
861.05/861.41 c | 1339445 | 160 13600 95200 | 76426 73141 50 | 0.004 % |
862.35/862.75 c | 1341308 | 160 13600 95200 | 73697 62443 50 | 0.004 % |
863.65/864.09 c | 1343357 | 160 13600 95200 | 73697 64492 50 | 0.004 % |
865.15/865.52 c | 1345611 | 160 13600 95200 | 73697 66746 50 | 0.004 % |
866.85/867.20 c | 1348091 | 160 13600 95200 | 73697 69226 50 | 0.004 % |
869.15/869.55 c | 1350816 | 160 13600 95200 | 71135 60387 50 | 0.004 % |
871.15/871.56 c | 1353814 | 160 13600 95200 | 71135 63385 50 | 0.004 % |
873.24/873.68 c | 1357110 | 160 13600 95200 | 71135 66681 50 | 0.004 % |
875.84/876.25 c | 1360735 | 160 13600 95200 | 69572 59911 49 | 0.004 % |
878.34/878.70 c | 1364723 | 160 13600 95200 | 69572 63899 49 | 0.004 % |
881.04/881.46 c | 1369108 | 160 13600 95200 | 69572 68284 49 | 0.004 % |
884.14/884.58 c | 1373931 | 160 13600 95200 | 69176 63937 49 | 0.004 % |
887.44/887.85 c | 1379236 | 160 13600 95200 | 69176 69242 49 | 0.004 % |
890.84/891.23 c | 1385073 | 160 13600 95200 | 60968 58137 49 | 0.004 % |
894.83/895.28 c | 1391494 | 160 13600 95200 | 2147483647 58454 49 | 0.004 % |
899.03/899.48 c | 1398553 | 160 13600 95200 | 2147483647 65513 49 | 0.004 % |
904.03/904.40 c | 1406317 | 160 13600 95200 | 66960 65677 49 | 0.004 % |
908.83/909.26 c | 1414858 | 160 13600 95200 | 61201 59015 49 | 0.004 % |
914.23/914.67 c | 1424256 | 160 13600 95200 | 2147483647 62286 50 | 0.004 % |
920.83/921.22 c | 1434589 | 160 13600 95200 | 68031 64704 50 | 0.004 % |
927.93/928.31 c | 1445958 | 160 13600 95200 | 61502 59815 50 | 0.004 % |
935.42/935.81 c | 1458460 | 160 13600 95200 | 57364 54187 50 | 0.004 % |
935.42/935.87 c | 1458560 | 160 13600 95200 | 57364 54287 50 | 0.004 % |
935.52/935.95 c | 1458671 | 160 13600 95200 | 57364 54398 50 | 0.004 % |
935.62/936.02 c | 1458794 | 160 13600 95200 | 57364 54521 50 | 0.004 % |
935.72/936.11 c | 1458927 | 160 13600 95200 | 57364 54654 50 | 0.004 % |
935.72/936.19 c | 1459073 | 160 13600 95200 | 57364 54800 50 | 0.004 % |
935.92/936.33 c | 1459233 | 160 13600 95200 | 57364 54960 50 | 0.004 % |
936.02/936.46 c | 1459412 | 160 13600 95200 | 57364 55139 50 | 0.004 % |
936.22/936.60 c | 1459606 | 160 13600 95200 | 57364 55333 50 | 0.004 % |
936.32/936.73 c | 1459818 | 160 13600 95200 | 57364 55545 50 | 0.004 % |
936.42/936.88 c | 1460051 | 160 13600 95200 | 2147483647 55778 50 | 0.004 % |
936.62/937.07 c | 1460308 | 160 13600 95200 | 2147483647 56035 50 | 0.004 % |
936.82/937.28 c | 1460592 | 160 13600 95200 | 2147483647 56319 50 | 0.004 % |
937.12/937.51 c | 1460901 | 160 13600 95200 | 2147483647 56628 50 | 0.004 % |
937.32/937.74 c | 1461241 | 160 13600 95200 | 2147483647 56968 50 | 0.004 % |
937.52/937.99 c | 1461613 | 160 13600 95200 | 2147483647 57340 50 | 0.004 % |
937.82/938.25 c | 1462022 | 160 13600 95200 | 2147483647 57749 50 | 0.004 % |
938.22/938.61 c | 1462472 | 160 13600 95200 | 2147483647 58199 50 | 0.004 % |
938.52/938.99 c | 1462967 | 160 13600 95200 | 2147483647 58694 50 | 0.004 % |
938.92/939.37 c | 1463512 | 160 13600 95200 | 2147483647 59239 50 | 0.004 % |
939.42/939.84 c | 1464108 | 160 13600 95200 | 2147483647 59835 50 | 0.004 % |
939.92/940.32 c | 1464763 | 160 13600 95200 | 2147483647 60490 50 | 0.004 % |
940.32/940.73 c | 1465484 | 160 13600 95200 | 2147483647 61211 50 | 0.004 % |
940.82/941.22 c | 1466277 | 160 13600 95200 | 2147483647 62004 50 | 0.004 % |
941.32/941.80 c | 1467148 | 160 13600 95200 | 2147483647 62875 50 | 0.004 % |
942.02/942.50 c | 1468106 | 160 13600 95200 | 2147483647 63833 50 | 0.004 % |
942.72/943.17 c | 1469160 | 160 13600 95200 | 2147483647 64887 50 | 0.004 % |
943.52/943.97 c | 1470319 | 160 13600 95200 | 65729 58176 49 | 0.004 % |
944.32/944.75 c | 1471593 | 160 13600 95200 | 65729 59450 49 | 0.004 % |
945.32/945.79 c | 1472993 | 160 13600 95200 | 65729 60850 49 | 0.004 % |
946.32/946.75 c | 1474534 | 160 13600 95200 | 65729 62391 49 | 0.004 % |
947.42/947.86 c | 1476229 | 160 13600 95200 | 65729 64086 49 | 0.004 % |
948.82/949.23 c | 1478092 | 160 13600 95200 | 65729 57657 49 | 0.004 % |
950.21/950.61 c | 1480141 | 160 13600 95200 | 59567 52194 49 | 0.004 % |
951.41/951.88 c | 1482394 | 160 13600 95200 | 59567 54447 49 | 0.004 % |
952.81/953.28 c | 1484873 | 160 13600 95200 | 59567 56926 49 | 0.004 % |
954.51/954.91 c | 1487598 | 160 13600 95200 | 59567 53688 49 | 0.004 % |
956.31/956.71 c | 1490595 | 160 13600 95200 | 2147483647 56685 49 | 0.004 % |
958.61/959.00 c | 1493893 | 160 13600 95200 | 2147483647 59983 49 | 0.004 % |
961.02/961.49 c | 1497519 | 160 13600 95200 | 2147483647 63609 49 | 0.004 % |
963.92/964.38 c | 1501506 | 160 13600 95200 | 66090 59665 49 | 0.004 % |
967.12/967.55 c | 1505892 | 160 13600 95200 | 66090 64051 49 | 0.004 % |
970.52/970.96 c | 1510718 | 160 13600 95200 | 59630 52938 49 | 0.004 % |
973.72/974.15 c | 1516023 | 160 13600 95200 | 59630 58243 49 | 0.004 % |
977.61/978.06 c | 1521859 | 160 13600 95200 | 2147483647 58109 49 | 0.004 % |
981.71/982.20 c | 1528278 | 160 13600 95200 | 2147483647 64528 49 | 0.004 % |
986.61/987.10 c | 1535337 | 160 13600 95200 | 66252 63726 49 | 0.004 % |
991.51/991.94 c | 1543101 | 160 13600 95200 | 60137 56027 49 | 0.004 % |
996.81/997.20 c | 1551642 | 160 13600 95200 | 2147483647 58547 49 | 0.004 % |
1003.10/1003.56 c | 1561036 | 160 13600 95200 | 66905 60118 49 | 0.004 % |
1009.90/1010.32 c | 1571369 | 160 13600 95200 | 60335 53950 49 | 0.004 % |
1016.60/1017.03 c | 1582735 | 160 13600 95200 | 2147483647 59276 49 | 0.004 % |
1024.60/1025.04 c | 1595241 | 160 13600 95200 | 66543 64274 49 | 0.004 % |
1033.89/1034.32 c | 1608993 | 160 13600 95200 | 60646 55103 50 | 0.004 % |
1033.89/1034.39 c | 1609094 | 160 13600 95200 | 60646 55204 50 | 0.004 % |
1033.99/1034.47 c | 1609204 | 160 13600 95200 | 60646 55314 50 | 0.004 % |
1034.09/1034.55 c | 1609326 | 160 13600 95200 | 60646 55436 50 | 0.004 % |
1034.19/1034.64 c | 1609461 | 160 13600 95200 | 60646 55571 50 | 0.004 % |
1034.29/1034.73 c | 1609608 | 160 13600 95200 | 60646 55718 50 | 0.004 % |
1034.39/1034.83 c | 1609769 | 160 13600 95200 | 60646 55879 50 | 0.004 % |
1034.49/1034.94 c | 1609945 | 160 13600 95200 | 60646 56055 50 | 0.004 % |
1034.70/1035.13 c | 1610139 | 160 13600 95200 | 56110 49777 50 | 0.004 % |
1034.79/1035.27 c | 1610351 | 160 13600 95200 | 56110 49989 50 | 0.004 % |
1034.99/1035.42 c | 1610586 | 160 13600 95200 | 56110 50224 50 | 0.004 % |
1035.19/1035.63 c | 1610843 | 160 13600 95200 | 56110 50481 50 | 0.004 % |
1035.39/1035.82 c | 1611124 | 160 13600 95200 | 56110 50762 50 | 0.004 % |
1035.59/1036.03 c | 1611433 | 160 13600 95200 | 56110 51071 50 | 0.004 % |
1035.80/1036.26 c | 1611772 | 160 13600 95200 | 56110 51410 50 | 0.004 % |
1035.99/1036.47 c | 1612145 | 160 13600 95200 | 56110 51783 50 | 0.004 % |
1036.29/1036.71 c | 1612554 | 160 13600 95200 | 56110 52192 50 | 0.004 % |
1036.59/1037.03 c | 1613003 | 160 13600 95200 | 56110 52641 50 | 0.004 % |
1036.90/1037.39 c | 1613497 | 160 13600 95200 | 56110 53135 50 | 0.004 % |
1037.29/1037.74 c | 1614041 | 160 13600 95200 | 56110 53679 50 | 0.004 % |
1037.69/1038.15 c | 1614641 | 160 13600 95200 | 56110 54279 50 | 0.004 % |
1038.09/1038.59 c | 1615297 | 160 13600 95200 | 56110 54935 50 | 0.004 % |
1038.59/1039.07 c | 1616020 | 160 13600 95200 | 56110 55658 50 | 0.004 % |
1039.19/1039.69 c | 1616813 | 160 13600 95200 | 56110 50373 49 | 0.004 % |
1039.69/1040.17 c | 1617684 | 160 13600 95200 | 56110 51244 49 | 0.004 % |
1040.19/1040.67 c | 1618642 | 160 13600 95200 | 56110 52202 49 | 0.004 % |
1040.79/1041.21 c | 1619697 | 160 13600 95200 | 56110 53257 49 | 0.004 % |
1041.39/1041.81 c | 1620855 | 160 13600 95200 | 2147483647 54415 49 | 0.004 % |
1042.09/1042.55 c | 1622130 | 160 13600 95200 | 2147483647 55690 49 | 0.004 % |
1042.89/1043.34 c | 1623530 | 160 13600 95200 | 2147483647 57090 49 | 0.004 % |
1043.99/1044.44 c | 1625071 | 160 13600 95200 | 2147483647 58631 49 | 0.004 % |
1045.09/1045.53 c | 1626766 | 160 13600 95200 | 2147483647 60326 49 | 0.004 % |
1046.39/1046.81 c | 1628630 | 160 13600 95200 | 2147483647 62190 49 | 0.004 % |
1047.79/1048.21 c | 1630679 | 160 13600 95200 | 63560 57304 49 | 0.004 % |
1049.09/1049.54 c | 1632933 | 160 13600 95200 | 63560 59558 49 | 0.004 % |
1050.39/1050.86 c | 1635412 | 160 13600 95200 | 63560 62037 49 | 0.004 % |
1052.09/1052.56 c | 1638137 | 160 13600 95200 | 63560 58364 49 | 0.004 % |
1053.78/1054.22 c | 1641134 | 160 13600 95200 | 2147483647 61361 49 | 0.004 % |
1055.78/1056.29 c | 1644434 | 160 13600 95200 | 2147483647 64661 49 | 0.004 % |
1058.18/1058.67 c | 1648059 | 160 13600 95200 | 2147483647 68286 49 | 0.004 % |
1060.88/1061.37 c | 1652046 | 160 13600 95200 | 70230 63515 49 | 0.004 % |
1063.98/1064.41 c | 1656432 | 160 13600 95200 | 70230 67901 49 | 0.004 % |
1066.98/1067.47 c | 1661259 | 160 13600 95200 | 61126 53574 49 | 0.004 % |
1069.78/1070.22 c | 1666564 | 160 13600 95200 | 61126 58879 49 | 0.004 % |
1073.48/1073.90 c | 1672400 | 160 13600 95200 | 2147483647 58596 49 | 0.004 % |
1077.68/1078.15 c | 1678820 | 160 13600 95200 | 2147483647 65016 49 | 0.004 % |
1082.28/1082.79 c | 1685882 | 160 13600 95200 | 66197 64503 49 | 0.004 % |
1086.97/1087.40 c | 1693647 | 160 13600 95200 | 60608 57312 49 | 0.004 % |
1091.88/1092.37 c | 1702187 | 160 13600 95200 | 2147483647 59785 49 | 0.004 % |
1097.87/1098.36 c | 1711583 | 160 13600 95200 | 67598 61947 49 | 0.004 % |
1104.47/1104.93 c | 1721916 | 160 13600 95200 | 61464 55641 49 | 0.004 % |
1110.77/1111.27 c | 1733285 | 160 13600 95200 | 2147483647 60559 49 | 0.004 % |
1118.37/1118.80 c | 1745787 | 160 13600 95200 | 67275 65676 49 | 0.004 % |
1126.27/1126.78 c | 1759539 | 160 13600 95200 | 62053 58401 49 | 0.004 % |
1135.47/1135.90 c | 1774666 | 160 13600 95200 | 68862 65107 49 | 0.004 % |
1135.47/1135.98 c | 1774766 | 160 13600 95200 | 68862 65207 49 | 0.004 % |
1135.57/1136.07 c | 1774877 | 160 13600 95200 | 68862 65318 49 | 0.004 % |
1135.67/1136.18 c | 1774998 | 160 13600 95200 | 68862 65439 49 | 0.004 % |
1135.77/1136.30 c | 1775132 | 160 13600 95200 | 68862 65573 49 | 0.004 % |
1135.87/1136.39 c | 1775278 | 160 13600 95200 | 68862 65719 49 | 0.004 % |
1136.07/1136.53 c | 1775438 | 160 13600 95200 | 68862 65879 49 | 0.004 % |
1136.27/1136.70 c | 1775614 | 160 13600 95200 | 68862 66055 49 | 0.004 % |
1136.37/1136.86 c | 1775807 | 160 13600 95200 | 68862 66248 49 | 0.004 % |
1136.57/1137.03 c | 1776020 | 160 13600 95200 | 68862 66461 49 | 0.004 % |
1136.77/1137.26 c | 1776254 | 160 13600 95200 | 68862 66695 49 | 0.004 % |
1136.97/1137.47 c | 1776510 | 160 13600 95200 | 68862 66951 49 | 0.004 % |
1137.27/1137.73 c | 1776792 | 160 13600 95200 | 68862 67233 49 | 0.004 % |
1137.47/1137.96 c | 1777101 | 160 13600 95200 | 68862 67542 49 | 0.004 % |
1137.77/1138.20 c | 1777440 | 160 13600 95200 | 68862 67881 49 | 0.004 % |
1137.97/1138.49 c | 1777812 | 160 13600 95200 | 68862 68253 49 | 0.004 % |
1138.27/1138.75 c | 1778222 | 160 13600 95200 | 68862 68663 49 | 0.004 % |
1138.67/1139.13 c | 1778672 | 160 13600 95200 | 68862 59266 49 | 0.004 % |
1138.96/1139.47 c | 1779168 | 160 13600 95200 | 68862 59762 49 | 0.004 % |
1139.26/1139.77 c | 1779712 | 160 13600 95200 | 68862 60306 49 | 0.004 % |
1139.76/1140.21 c | 1780309 | 160 13600 95200 | 60595 52469 49 | 0.004 % |
1140.17/1140.61 c | 1780964 | 160 13600 95200 | 60595 53124 49 | 0.004 % |
1140.56/1141.04 c | 1781684 | 160 13600 95200 | 60595 53844 49 | 0.004 % |
1140.96/1141.47 c | 1782476 | 160 13600 95200 | 60595 54636 49 | 0.004 % |
1141.46/1141.92 c | 1783348 | 160 13600 95200 | 60595 55508 49 | 0.004 % |
1141.86/1142.37 c | 1784306 | 160 13600 95200 | 60595 56466 49 | 0.004 % |
1142.46/1142.94 c | 1785359 | 160 13600 95200 | 60595 57519 49 | 0.004 % |
1143.16/1143.61 c | 1786517 | 160 13600 95200 | 60595 58677 49 | 0.004 % |
1144.06/1144.52 c | 1787790 | 160 13600 95200 | 60595 59950 49 | 0.004 % |
1144.96/1145.47 c | 1789190 | 160 13600 95200 | 60595 55186 49 | 0.004 % |
1145.86/1146.34 c | 1790730 | 160 13600 95200 | 55996 51088 49 | 0.004 % |
1146.66/1147.11 c | 1792424 | 160 13600 95200 | 55996 52782 49 | 0.004 % |
1147.56/1148.06 c | 1794289 | 160 13600 95200 | 55996 54647 49 | 0.004 % |
1148.76/1149.20 c | 1796338 | 160 13600 95200 | 55996 51090 50 | 0.004 % |
1149.96/1150.43 c | 1798592 | 160 13600 95200 | 55996 53344 50 | 0.004 % |
1151.35/1151.85 c | 1801070 | 160 13600 95200 | 2147483647 55822 50 | 0.004 % |
1152.95/1153.43 c | 1803798 | 160 13600 95200 | 2147483647 58550 50 | 0.004 % |
1154.65/1155.12 c | 1806796 | 160 13600 95200 | 2147483647 61548 50 | 0.004 % |
1156.66/1157.14 c | 1810094 | 160 13600 95200 | 2147483647 64846 49 | 0.004 % |
1159.15/1159.65 c | 1813720 | 160 13600 95200 | 2147483647 68472 49 | 0.004 % |
1161.95/1162.42 c | 1817707 | 160 13600 95200 | 2147483647 72459 49 | 0.004 % |
1165.05/1165.56 c | 1822092 | 160 13600 95200 | 74752 65902 49 | 0.004 % |
1168.65/1169.10 c | 1826917 | 160 13600 95200 | 74752 70727 49 | 0.004 % |
1172.35/1172.88 c | 1832222 | 160 13600 95200 | 73810 64247 49 | 0.004 % |
1176.25/1176.72 c | 1838058 | 160 13600 95200 | 73810 70083 49 | 0.004 % |
1180.44/1180.95 c | 1844476 | 160 13600 95200 | 72025 65367 49 | 0.004 % |
1185.25/1185.77 c | 1851536 | 160 13600 95200 | 70891 62009 49 | 0.004 % |
1190.75/1191.22 c | 1859302 | 160 13600 95200 | 70891 69775 49 | 0.004 % |
1196.24/1196.72 c | 1867842 | 160 13600 95200 | 70473 67951 49 | 0.004 % |
1200.04/1200.50 HOME/SatELiteGTI: line 36: 5290 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832619-1242785164/watcher-1832619-1242785164 -o /tmp/evaluation-result-1832619-1242785164/solver-1832619-1242785164 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832619-1242785164.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 1.00 0.95 3/65 5284
/proc/meminfo: memFree=1780792/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306549062 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228774871122 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5284/statm: 1339 235 195 169 0 50 0
[pid=5285] ppid=5284 vsize=5356 CPUtime=0
/proc/5285/stat : 5285 (SatELiteGTI) S 5284 5284 4692 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306549062 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/5285/statm: 1339 238 198 169 0 50 0
[pid=5287] ppid=5285 vsize=192 CPUtime=0
/proc/5287/stat : 5287 (sed) R 5285 5284 4692 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306549062 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 228772082965 0 0 4096 0 0 0 0 17 0 0 0
/proc/5287/statm: 48 23 16 11 0 11 0
[startup+0.0265639 s]
/proc/loadavg: 0.92 1.00 0.95 3/65 5284
/proc/meminfo: memFree=1780792/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306549062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5284/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101127 s]
/proc/loadavg: 0.92 1.00 0.95 3/65 5284
/proc/meminfo: memFree=1780792/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.30115 s]
/proc/loadavg: 0.92 1.00 0.95 3/65 5284
/proc/meminfo: memFree=1780792/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701198 s]
/proc/loadavg: 0.92 1.00 0.95 3/65 5284
/proc/meminfo: memFree=1780792/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 0.92 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1777640/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=4836 CPUtime=1.43
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 937 0 0 0 143 0 0 0 25 0 1 0 306549067 4952064 923 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 1209 923 76 171 0 1036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10192
[startup+3.10147 s]
/proc/loadavg: 0.92 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1775656/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=6952 CPUtime=3.03
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 1478 0 0 0 302 1 0 0 25 0 1 0 306549067 7118848 1464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 1738 1464 76 171 0 1565 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12308
[startup+6.30184 s]
/proc/loadavg: 0.93 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1772328/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=9492 CPUtime=6.23
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 2110 0 0 0 621 2 0 0 25 0 1 0 306549067 9719808 2096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 2373 2096 76 171 0 2200 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14848
[startup+12.7016 s]
/proc/loadavg: 0.94 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1768496/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=13012 CPUtime=12.63
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 2969 0 0 0 1259 4 0 0 25 0 1 0 306549067 13324288 2955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 3253 2955 76 171 0 3080 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18368
[startup+25.5011 s]
/proc/loadavg: 0.95 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1763760/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=17496 CPUtime=25.42
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 4095 0 0 0 2537 5 0 0 25 0 1 0 306549067 17915904 4081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 4374 4081 76 171 0 4201 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22852
[startup+51.102 s]
/proc/loadavg: 0.97 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1763312/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=17896 CPUtime=51.01
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 4183 0 0 0 5096 5 0 0 25 0 1 0 306549067 18325504 4169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 4474 4169 76 171 0 4301 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 23252
[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1762672/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=18424 CPUtime=102.2
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 4325 0 0 0 10213 7 0 0 25 0 1 0 306549067 18866176 4311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 4606 4311 76 171 0 4433 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23780
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1761840/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=19084 CPUtime=162.16
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 4484 0 0 0 16209 7 0 0 25 0 1 0 306549067 19542016 4470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 4771 4470 76 171 0 4598 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 24440
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1761712/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=19216 CPUtime=222.14
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 4505 0 0 0 22206 8 0 0 25 0 1 0 306549067 19677184 4491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 4804 4491 76 171 0 4631 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 24572
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1759344/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=21332 CPUtime=282.11
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5058 0 0 0 28203 8 0 0 25 0 1 0 306549067 21843968 5044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5333 5044 76 171 0 5160 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 26688
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1759216/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=21332 CPUtime=342.09
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5058 0 0 0 34201 8 0 0 25 0 1 0 306549067 21843968 5044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5333 5044 76 171 0 5160 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 26688
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1759152/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=21332 CPUtime=402.07
################
# More data... #
################
[pid=5290] ppid=5284 vsize=22008 CPUtime=522.02
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5217 0 0 0 52192 10 0 0 25 0 1 0 306549067 22536192 5203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5502 5203 76 171 0 5329 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 27364
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1758256/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=22008 CPUtime=582.01
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5217 0 0 0 58190 11 0 0 25 0 1 0 306549067 22536192 5203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5502 5203 76 171 0 5329 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 27364
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1758064/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=22008 CPUtime=641.99
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5217 0 0 0 64188 11 0 0 25 0 1 0 306549067 22536192 5203 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5502 5203 76 171 0 5329 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 27364
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1757744/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=22272 CPUtime=701.96
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5286 0 0 0 70185 11 0 0 25 0 1 0 306549067 22806528 5272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5568 5272 76 171 0 5395 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 27628
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1757616/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=22272 CPUtime=761.94
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5287 0 0 0 76183 11 0 0 25 0 1 0 306549067 22806528 5273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5568 5273 76 171 0 5395 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 27628
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1757552/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=22272 CPUtime=821.93
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5287 0 0 0 82181 12 0 0 25 0 1 0 306549067 22806528 5273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5568 5273 76 171 0 5395 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 27628
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756464/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=881.9
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 88178 12 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 28696
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756400/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=941.88
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 94176 12 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 28696
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756272/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1001.86
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 100173 13 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 28696
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756208/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1061.84
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 106171 13 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 28696
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756208/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1121.83
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 112169 14 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 28696
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756016/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1181.8
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 118166 14 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 28696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756016/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1200
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 119986 14 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 0.95 2/67 5290
/proc/meminfo: memFree=1756016/2055920 swapFree=4179252/4192956
[pid=5284] ppid=5282 vsize=5356 CPUtime=0.04
/proc/5284/stat : 5284 (SatELiteGTI) S 5282 5284 4692 0 -1 4194304 336 668 0 0 0 0 4 0 16 0 1 0 306549062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5284/statm: 1339 239 197 169 0 50 0
[pid=5290] ppid=5284 vsize=23340 CPUtime=1200
/proc/5290/stat : 5290 (minisat_static) R 5284 5284 4692 0 -1 4194304 5541 0 0 0 119986 14 0 0 25 0 1 0 306549067 23900160 5527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/5290/statm: 5835 5527 76 171 0 5662 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28696
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.91
CPU system time (s): 0.159975
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 28696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6554
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= 27
involuntary context switches= 5532
runsolver used 1.25381 second user time and 3.2505 second system time
The end
Begin job on node74 at 2009-05-20 04:06:04
IDJOB=1832619
IDBENCH=70273
IDSOLVER=671
FILE ID=node74/1832619-1242785164
PBS_JOBID= 9322365
Free space on /tmp= 102936 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S327274323-044.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832619-1242785164/watcher-1832619-1242785164 -o /tmp/evaluation-result-1832619-1242785164/solver-1832619-1242785164 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832619-1242785164.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 828620c36787edb17d919cfe2c324682
RANDOM SEED=1495464545
node74.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.233
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.233
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: 1781344 kB
Buffers: 29016 kB
Cached: 197064 kB
SwapCached: 7160 kB
Active: 34728 kB
Inactive: 200920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781344 kB
SwapTotal: 4192956 kB
SwapFree: 4179252 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 14816 kB
Slab: 24836 kB
Committed_AS: 1046512 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 102932 MiB
End job on node74 at 2009-05-20 04:26:06