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.018997 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.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.07 c | 101 | 160 13600 95200 | 4533 101 51 | 0.004 % |
0.00/0.08 c | 204 | 160 13600 95200 | 4533 204 50 | 0.004 % |
0.00/0.09 c | 305 | 160 13600 95200 | 4533 305 49 | 0.004 % |
0.04/0.10 c | 415 | 160 13600 95200 | 4533 415 49 | 0.004 % |
0.04/0.11 c | 518 | 160 13600 95200 | 4533 518 49 | 0.004 % |
0.04/0.11 c | 628 | 160 13600 95200 | 4533 628 49 | 0.004 % |
0.04/0.12 c | 751 | 160 13600 95200 | 4533 751 49 | 0.004 % |
0.04/0.13 c | 855 | 160 13600 95200 | 4533 855 50 | 0.004 % |
0.04/0.14 c | 965 | 160 13600 95200 | 4533 965 50 | 0.004 % |
0.04/0.15 c | 1086 | 160 13600 95200 | 4533 1086 49 | 0.004 % |
0.04/0.16 c | 1219 | 160 13600 95200 | 4533 1219 50 | 0.004 % |
0.04/0.17 c | 1321 | 160 13600 95200 | 4533 1321 50 | 0.004 % |
0.04/0.18 c | 1431 | 160 13600 95200 | 4533 1431 49 | 0.004 % |
0.04/0.19 c | 1552 | 160 13600 95200 | 4533 1552 49 | 0.004 % |
0.04/0.20 c | 1685 | 160 13600 95200 | 4533 1685 49 | 0.004 % |
0.04/0.21 c | 1831 | 160 13600 95200 | 4533 1831 49 | 0.004 % |
0.04/0.22 c | 1932 | 160 13600 95200 | 4533 1932 49 | 0.004 % |
0.04/0.23 c | 2043 | 160 13600 95200 | 4533 2043 49 | 0.004 % |
0.04/0.24 c | 2165 | 160 13600 95200 | 4533 2165 49 | 0.004 % |
0.04/0.25 c | 2298 | 160 13600 95200 | 4533 2298 49 | 0.004 % |
0.04/0.26 c | 2445 | 160 13600 95200 | 4533 2445 49 | 0.004 % |
0.04/0.27 c | 2606 | 160 13600 95200 | 4533 2606 49 | 0.004 % |
0.04/0.28 c | 2707 | 160 13600 95200 | 4533 2707 49 | 0.004 % |
0.04/0.29 c | 2818 | 160 13600 95200 | 4533 2818 49 | 0.004 % |
0.04/0.30 c | 2940 | 160 13600 95200 | 4533 2940 49 | 0.004 % |
0.04/0.31 c | 3073 | 160 13600 95200 | 4533 3073 49 | 0.004 % |
0.04/0.32 c | 3220 | 160 13600 95200 | 4533 3220 49 | 0.004 % |
0.04/0.34 c | 3381 | 160 13600 95200 | 4533 3381 49 | 0.004 % |
0.04/0.35 c | 3558 | 160 13600 95200 | 4533 3558 49 | 0.004 % |
0.04/0.36 c | 3661 | 160 13600 95200 | 4533 3661 49 | 0.004 % |
0.04/0.37 c | 3771 | 160 13600 95200 | 4533 3771 49 | 0.004 % |
0.04/0.38 c | 3893 | 160 13600 95200 | 4533 3893 49 | 0.004 % |
0.04/0.39 c | 4026 | 160 13600 95200 | 4533 4026 49 | 0.004 % |
0.04/0.41 c | 4174 | 160 13600 95200 | 4533 4174 49 | 0.004 % |
0.04/0.42 c | 4335 | 160 13600 95200 | 4533 4335 49 | 0.004 % |
0.04/0.44 c | 4512 | 160 13600 95200 | 4533 4512 49 | 0.004 % |
0.04/0.46 c | 4706 | 160 13600 95200 | 4533 4246 48 | 0.004 % |
0.04/0.47 c | 4808 | 160 13600 95200 | 4533 4348 48 | 0.004 % |
0.04/0.48 c | 4918 | 160 13600 95200 | 4533 4458 48 | 0.004 % |
0.04/0.49 c | 5040 | 160 13600 95200 | 4533 4580 48 | 0.004 % |
0.04/0.50 c | 5173 | 160 13600 95200 | 4533 4255 48 | 0.004 % |
0.04/0.52 c | 5319 | 160 13600 95200 | 4533 4401 48 | 0.004 % |
0.04/0.53 c | 5481 | 160 13600 95200 | 4533 4563 48 | 0.004 % |
0.04/0.55 c | 5657 | 160 13600 95200 | 4533 4283 47 | 0.004 % |
0.04/0.57 c | 5855 | 160 13600 95200 | 4533 4481 47 | 0.004 % |
0.04/0.59 c | 6069 | 160 13600 95200 | 4533 4235 47 | 0.004 % |
0.04/0.60 c | 6169 | 160 13600 95200 | 4533 4335 47 | 0.004 % |
0.04/0.61 c | 6280 | 160 13600 95200 | 4533 4446 47 | 0.004 % |
0.04/0.62 c | 6401 | 160 13600 95200 | 4533 4567 47 | 0.004 % |
0.04/0.63 c | 6535 | 160 13600 95200 | 4533 4245 47 | 0.004 % |
0.04/0.65 c | 6681 | 160 13600 95200 | 4533 4391 47 | 0.004 % |
0.04/0.66 c | 6841 | 160 13600 95200 | 4533 4551 47 | 0.004 % |
0.04/0.68 c | 7020 | 160 13600 95200 | 4533 4275 47 | 0.004 % |
0.04/0.70 c | 7215 | 160 13600 95200 | 4533 4470 47 | 0.004 % |
0.04/0.72 c | 7429 | 160 13600 95200 | 4533 4223 47 | 0.004 % |
0.04/0.74 c | 7662 | 160 13600 95200 | 4533 4456 47 | 0.004 % |
0.04/0.75 c | 7762 | 160 13600 95200 | 4533 4556 47 | 0.004 % |
0.04/0.76 c | 7873 | 160 13600 95200 | 4533 4212 47 | 0.004 % |
0.04/0.77 c | 7995 | 160 13600 95200 | 4533 4334 47 | 0.004 % |
0.04/0.79 c | 8129 | 160 13600 95200 | 4533 4468 47 | 0.004 % |
0.04/0.80 c | 8276 | 160 13600 95200 | 4533 4615 47 | 0.004 % |
0.04/0.81 c | 8436 | 160 13600 95200 | 4533 4314 47 | 0.004 % |
0.04/0.83 c | 8612 | 160 13600 95200 | 4533 4490 47 | 0.004 % |
0.04/0.85 c | 8807 | 160 13600 95200 | 4533 4226 47 | 0.004 % |
0.04/0.87 c | 9019 | 160 13600 95200 | 4533 4438 47 | 0.004 % |
0.04/0.89 c | 9253 | 160 13600 95200 | 4533 4212 47 | 0.004 % |
0.04/0.91 c | 9509 | 160 13600 95200 | 4533 4468 47 | 0.004 % |
0.04/0.92 c | 9610 | 160 13600 95200 | 4533 4569 47 | 0.004 % |
0.04/0.93 c | 9721 | 160 13600 95200 | 4533 4224 47 | 0.004 % |
0.04/0.94 c | 9842 | 160 13600 95200 | 4533 4345 47 | 0.004 % |
0.04/0.96 c | 9975 | 160 13600 95200 | 4533 4478 47 | 0.004 % |
0.04/0.97 c | 10122 | 160 13600 95200 | 2147483647 4625 47 | 0.004 % |
0.04/0.98 c | 10282 | 160 13600 95200 | 2147483647 4785 47 | 0.004 % |
0.97/1.00 c | 10459 | 160 13600 95200 | 2147483647 4962 47 | 0.004 % |
0.97/1.02 c | 10652 | 160 13600 95200 | 2147483647 5155 47 | 0.004 % |
0.97/1.04 c | 10865 | 160 13600 95200 | 2147483647 5368 47 | 0.004 % |
0.97/1.07 c | 11098 | 160 13600 95200 | 2147483647 5601 47 | 0.004 % |
0.97/1.09 c | 11355 | 160 13600 95200 | 2147483647 5858 47 | 0.004 % |
1.07/1.12 c | 11636 | 160 13600 95200 | 2147483647 6139 47 | 0.004 % |
1.07/1.13 c | 11737 | 160 13600 95200 | 2147483647 6240 47 | 0.004 % |
1.07/1.14 c | 11848 | 160 13600 95200 | 2147483647 6351 47 | 0.004 % |
1.07/1.16 c | 11970 | 160 13600 95200 | 2147483647 6473 47 | 0.004 % |
1.07/1.17 c | 12104 | 160 13600 95200 | 2147483647 6607 47 | 0.004 % |
1.07/1.19 c | 12250 | 160 13600 95200 | 2147483647 6753 47 | 0.004 % |
1.17/1.20 c | 12412 | 160 13600 95200 | 2147483647 6915 47 | 0.004 % |
1.17/1.22 c | 12588 | 160 13600 95200 | 2147483647 7091 47 | 0.004 % |
1.17/1.24 c | 12781 | 160 13600 95200 | 2147483647 7284 48 | 0.004 % |
1.17/1.26 c | 12995 | 160 13600 95200 | 2147483647 7498 48 | 0.004 % |
1.17/1.29 c | 13228 | 160 13600 95200 | 2147483647 7731 48 | 0.004 % |
1.27/1.32 c | 13486 | 160 13600 95200 | 2147483647 7989 48 | 0.004 % |
1.27/1.35 c | 13767 | 160 13600 95200 | 2147483647 8270 48 | 0.004 % |
1.27/1.39 c | 14076 | 160 13600 95200 | 2147483647 8579 48 | 0.004 % |
1.37/1.40 c | 14176 | 160 13600 95200 | 2147483647 8679 48 | 0.004 % |
1.37/1.42 c | 14287 | 160 13600 95200 | 2147483647 8790 48 | 0.004 % |
1.37/1.43 c | 14408 | 160 13600 95200 | 2147483647 8911 48 | 0.004 % |
1.37/1.45 c | 14542 | 160 13600 95200 | 2147483647 9045 48 | 0.004 % |
1.37/1.47 c | 14688 | 160 13600 95200 | 2147483647 9191 48 | 0.004 % |
1.37/1.49 c | 14850 | 160 13600 95200 | 2147483647 9353 48 | 0.004 % |
1.47/1.51 c | 15028 | 160 13600 95200 | 2147483647 9531 48 | 0.004 % |
1.47/1.54 c | 15222 | 160 13600 95200 | 2147483647 9725 48 | 0.004 % |
1.47/1.57 c | 15436 | 160 13600 95200 | 2147483647 9939 48 | 0.004 % |
1.57/1.60 c | 15669 | 160 13600 95200 | 2147483647 10172 48 | 0.004 % |
1.57/1.64 c | 15926 | 160 13600 95200 | 2147483647 10429 48 | 0.004 % |
1.57/1.67 c | 16207 | 160 13600 95200 | 2147483647 10710 48 | 0.004 % |
1.67/1.71 c | 16517 | 160 13600 95200 | 2147483647 11020 48 | 0.004 % |
1.67/1.77 c | 16856 | 160 13600 95200 | 2147483647 11359 48 | 0.004 % |
1.67/1.78 c | 16956 | 160 13600 95200 | 2147483647 11459 48 | 0.004 % |
1.77/1.80 c | 17066 | 160 13600 95200 | 2147483647 11569 48 | 0.004 % |
1.77/1.82 c | 17187 | 160 13600 95200 | 2147483647 11690 48 | 0.004 % |
1.77/1.84 c | 17321 | 160 13600 95200 | 2147483647 11824 48 | 0.004 % |
1.77/1.86 c | 17469 | 160 13600 95200 | 2147483647 11972 48 | 0.004 % |
1.77/1.89 c | 17629 | 160 13600 95200 | 2147483647 12132 48 | 0.004 % |
1.87/1.91 c | 17805 | 160 13600 95200 | 2147483647 12308 48 | 0.004 % |
1.87/1.94 c | 17998 | 160 13600 95200 | 2147483647 12501 48 | 0.004 % |
1.87/1.97 c | 18211 | 160 13600 95200 | 2147483647 12714 48 | 0.004 % |
1.97/2.01 c | 18447 | 160 13600 95200 | 2147483647 12950 48 | 0.004 % |
1.97/2.04 c | 18703 | 160 13600 95200 | 2147483647 13206 48 | 0.004 % |
1.97/2.09 c | 18984 | 160 13600 95200 | 2147483647 13487 48 | 0.004 % |
2.07/2.14 c | 19296 | 160 13600 95200 | 2147483647 13799 48 | 0.004 % |
2.07/2.19 c | 19635 | 160 13600 95200 | 2147483647 14138 48 | 0.004 % |
2.17/2.25 c | 20007 | 160 13600 95200 | 2147483647 14510 48 | 0.004 % |
2.17/2.27 c | 20107 | 160 13600 95200 | 2147483647 14610 48 | 0.004 % |
2.17/2.28 c | 20218 | 160 13600 95200 | 2147483647 14721 48 | 0.004 % |
2.26/2.31 c | 20340 | 160 13600 95200 | 2147483647 14843 48 | 0.004 % |
2.26/2.33 c | 20473 | 160 13600 95200 | 2147483647 14976 48 | 0.004 % |
2.26/2.35 c | 20623 | 160 13600 95200 | 2147483647 15126 48 | 0.004 % |
2.26/2.38 c | 20783 | 160 13600 95200 | 2147483647 15286 48 | 0.004 % |
2.37/2.41 c | 20963 | 160 13600 95200 | 2147483647 15466 48 | 0.004 % |
2.37/2.45 c | 21156 | 160 13600 95200 | 2147483647 15659 48 | 0.004 % |
2.37/2.49 c | 21369 | 160 13600 95200 | 2147483647 15872 48 | 0.004 % |
2.47/2.54 c | 21602 | 160 13600 95200 | 2147483647 16105 48 | 0.004 % |
2.47/2.58 c | 21858 | 160 13600 95200 | 2147483647 16361 48 | 0.004 % |
2.57/2.63 c | 22139 | 160 13600 95200 | 2147483647 16642 48 | 0.004 % |
2.57/2.69 c | 22450 | 160 13600 95200 | 2147483647 16953 48 | 0.004 % |
2.67/2.75 c | 22790 | 160 13600 95200 | 2147483647 17293 48 | 0.004 % |
2.77/2.82 c | 23162 | 160 13600 95200 | 2147483647 17665 48 | 0.004 % |
2.87/2.90 c | 23572 | 160 13600 95200 | 2147483647 18075 48 | 0.004 % |
2.87/2.93 c | 23673 | 160 13600 95200 | 2147483647 18176 48 | 0.004 % |
2.87/2.95 c | 23784 | 160 13600 95200 | 2147483647 18287 48 | 0.004 % |
2.87/2.98 c | 23905 | 160 13600 95200 | 2147483647 18408 48 | 0.004 % |
2.97/3.01 c | 24039 | 160 13600 95200 | 2147483647 18542 48 | 0.004 % |
2.97/3.05 c | 24185 | 160 13600 95200 | 2147483647 18688 48 | 0.004 % |
2.97/3.08 c | 24345 | 160 13600 95200 | 2147483647 18848 48 | 0.004 % |
3.07/3.12 c | 24522 | 160 13600 95200 | 2147483647 19025 48 | 0.004 % |
3.07/3.17 c | 24715 | 160 13600 95200 | 2147483647 19218 48 | 0.004 % |
3.17/3.22 c | 24927 | 160 13600 95200 | 2147483647 19430 48 | 0.004 % |
3.17/3.28 c | 25162 | 160 13600 95200 | 2147483647 19665 48 | 0.004 % |
3.27/3.34 c | 25421 | 160 13600 95200 | 2147483647 19924 48 | 0.004 % |
3.36/3.41 c | 25704 | 160 13600 95200 | 2147483647 20207 48 | 0.004 % |
3.36/3.48 c | 26015 | 160 13600 95200 | 2147483647 20518 48 | 0.004 % |
3.46/3.58 c | 26357 | 160 13600 95200 | 2147483647 20860 48 | 0.004 % |
3.56/3.67 c | 26729 | 160 13600 95200 | 2147483647 21232 48 | 0.004 % |
3.66/3.77 c | 27138 | 160 13600 95200 | 2147483647 21641 48 | 0.004 % |
3.76/3.89 c | 27589 | 160 13600 95200 | 2147483647 22092 48 | 0.004 % |
3.86/3.92 c | 27690 | 160 13600 95200 | 2147483647 22193 48 | 0.004 % |
3.86/3.95 c | 27801 | 160 13600 95200 | 2147483647 22304 48 | 0.004 % |
3.86/3.99 c | 27922 | 160 13600 95200 | 2147483647 22425 48 | 0.004 % |
3.96/4.02 c | 28056 | 160 13600 95200 | 2147483647 22559 48 | 0.004 % |
3.96/4.06 c | 28202 | 160 13600 95200 | 2147483647 22705 48 | 0.004 % |
4.06/4.10 c | 28364 | 160 13600 95200 | 2147483647 22867 48 | 0.004 % |
4.06/4.15 c | 28540 | 160 13600 95200 | 2147483647 23043 48 | 0.004 % |
4.16/4.22 c | 28733 | 160 13600 95200 | 2147483647 23236 48 | 0.004 % |
4.16/4.28 c | 28945 | 160 13600 95200 | 2147483647 23448 48 | 0.004 % |
4.26/4.34 c | 29178 | 160 13600 95200 | 2147483647 23681 48 | 0.004 % |
4.36/4.42 c | 29434 | 160 13600 95200 | 2147483647 23937 48 | 0.004 % |
4.36/4.49 c | 29716 | 160 13600 95200 | 2147483647 24219 48 | 0.004 % |
4.46/4.57 c | 30025 | 160 13600 95200 | 2147483647 24528 48 | 0.004 % |
4.56/4.69 c | 30365 | 160 13600 95200 | 2147483647 24868 48 | 0.004 % |
4.66/4.79 c | 30739 | 160 13600 95200 | 2147483647 25242 48 | 0.004 % |
4.86/4.92 c | 31148 | 160 13600 95200 | 2147483647 25651 48 | 0.004 % |
4.96/5.04 c | 31597 | 160 13600 95200 | 2147483647 26100 48 | 0.004 % |
5.06/5.19 c | 32092 | 160 13600 95200 | 2147483647 26595 48 | 0.004 % |
5.16/5.22 c | 32192 | 160 13600 95200 | 2147483647 26695 48 | 0.004 % |
5.16/5.26 c | 32302 | 160 13600 95200 | 2147483647 26805 48 | 0.004 % |
5.16/5.30 c | 32423 | 160 13600 95200 | 2147483647 26926 48 | 0.004 % |
5.26/5.33 c | 32557 | 160 13600 95200 | 2147483647 27060 48 | 0.004 % |
5.26/5.38 c | 32704 | 160 13600 95200 | 2147483647 27207 48 | 0.004 % |
5.36/5.43 c | 32864 | 160 13600 95200 | 2147483647 27367 48 | 0.004 % |
5.36/5.49 c | 33040 | 160 13600 95200 | 2147483647 27543 48 | 0.004 % |
5.46/5.56 c | 33233 | 160 13600 95200 | 2147483647 27736 48 | 0.004 % |
5.55/5.63 c | 33448 | 160 13600 95200 | 2147483647 27951 48 | 0.004 % |
5.65/5.70 c | 33682 | 160 13600 95200 | 2147483647 28185 48 | 0.004 % |
5.65/5.78 c | 33938 | 160 13600 95200 | 2147483647 28441 48 | 0.004 % |
5.75/5.86 c | 34223 | 160 13600 95200 | 2147483647 28726 48 | 0.004 % |
5.85/5.95 c | 34535 | 160 13600 95200 | 2147483647 29038 48 | 0.004 % |
5.95/6.07 c | 34875 | 160 13600 95200 | 2147483647 29378 48 | 0.004 % |
6.05/6.19 c | 35248 | 160 13600 95200 | 2147483647 29751 48 | 0.004 % |
6.25/6.35 c | 35658 | 160 13600 95200 | 2147483647 30161 48 | 0.004 % |
6.36/6.49 c | 36108 | 160 13600 95200 | 2147483647 30611 48 | 0.004 % |
6.56/6.66 c | 36602 | 160 13600 95200 | 2147483647 31105 48 | 0.004 % |
6.75/6.84 c | 37144 | 160 13600 95200 | 2147483647 31647 48 | 0.004 % |
6.75/6.88 c | 37245 | 160 13600 95200 | 2147483647 31748 48 | 0.004 % |
6.85/6.91 c | 37355 | 160 13600 95200 | 2147483647 31858 48 | 0.004 % |
6.85/6.95 c | 37476 | 160 13600 95200 | 2147483647 31979 48 | 0.004 % |
6.95/7.00 c | 37609 | 160 13600 95200 | 2147483647 32112 48 | 0.004 % |
6.95/7.04 c | 37756 | 160 13600 95200 | 2147483647 32259 48 | 0.004 % |
7.05/7.10 c | 37916 | 160 13600 95200 | 2147483647 32419 48 | 0.004 % |
7.05/7.16 c | 38093 | 160 13600 95200 | 2147483647 32596 48 | 0.004 % |
7.15/7.25 c | 38288 | 160 13600 95200 | 2147483647 32791 48 | 0.004 % |
7.25/7.34 c | 38500 | 160 13600 95200 | 2147483647 33003 48 | 0.004 % |
7.35/7.44 c | 38734 | 160 13600 95200 | 2147483647 33237 48 | 0.004 % |
7.45/7.54 c | 38990 | 160 13600 95200 | 2147483647 33493 48 | 0.004 % |
7.57/7.66 c | 39271 | 160 13600 95200 | 2147483647 33774 48 | 0.004 % |
7.67/7.77 c | 39581 | 160 13600 95200 | 2147483647 34084 48 | 0.004 % |
7.86/7.92 c | 39922 | 160 13600 95200 | 2147483647 34425 48 | 0.004 % |
7.96/8.07 c | 40295 | 160 13600 95200 | 2147483647 34798 48 | 0.004 % |
8.16/8.24 c | 40704 | 160 13600 95200 | 2147483647 35207 48 | 0.004 % |
8.36/8.41 c | 41154 | 160 13600 95200 | 2147483647 35657 48 | 0.004 % |
8.56/8.60 c | 41647 | 160 13600 95200 | 2147483647 36150 48 | 0.004 % |
8.77/8.80 c | 42190 | 160 13600 95200 | 2147483647 36693 48 | 0.004 % |
8.96/9.04 c | 42786 | 160 13600 95200 | 2147483647 37289 48 | 0.004 % |
8.96/9.08 c | 42887 | 160 13600 95200 | 2147483647 37390 48 | 0.004 % |
9.06/9.13 c | 42997 | 160 13600 95200 | 2147483647 37500 48 | 0.004 % |
9.06/9.19 c | 43118 | 160 13600 95200 | 2147483647 37621 48 | 0.004 % |
9.16/9.25 c | 43251 | 160 13600 95200 | 2147483647 37754 48 | 0.004 % |
9.26/9.31 c | 43397 | 160 13600 95200 | 2147483647 37900 48 | 0.004 % |
9.26/9.38 c | 43557 | 160 13600 95200 | 2147483647 38060 48 | 0.004 % |
9.36/9.48 c | 43733 | 160 13600 95200 | 2147483647 38236 48 | 0.004 % |
9.46/9.56 c | 43926 | 160 13600 95200 | 2147483647 38429 48 | 0.004 % |
9.56/9.68 c | 44139 | 160 13600 95200 | 2147483647 38642 48 | 0.004 % |
9.66/9.77 c | 44372 | 160 13600 95200 | 2147483647 38875 48 | 0.004 % |
9.76/9.88 c | 44630 | 160 13600 95200 | 2147483647 39133 48 | 0.004 % |
9.86/9.99 c | 44913 | 160 13600 95200 | 2147483647 39416 48 | 0.004 % |
10.06/10.13 c | 45223 | 160 13600 95200 | 2147483647 39726 48 | 0.004 % |
10.16/10.26 c | 45562 | 160 13600 95200 | 2147483647 40065 48 | 0.004 % |
10.36/10.44 c | 45935 | 160 13600 95200 | 2147483647 40438 48 | 0.004 % |
10.56/10.64 c | 46346 | 160 13600 95200 | 2147483647 40849 48 | 0.004 % |
10.76/10.84 c | 46796 | 160 13600 95200 | 2147483647 41299 48 | 0.004 % |
10.96/11.07 c | 47290 | 160 13600 95200 | 2147483647 41793 48 | 0.004 % |
11.26/11.31 c | 47834 | 160 13600 95200 | 2147483647 42337 48 | 0.004 % |
11.46/11.56 c | 48430 | 160 13600 95200 | 2147483647 42933 48 | 0.004 % |
11.76/11.85 c | 49087 | 160 13600 95200 | 2147483647 43590 48 | 0.004 % |
11.86/11.92 c | 49187 | 160 13600 95200 | 2147483647 43690 48 | 0.004 % |
11.86/11.99 c | 49297 | 160 13600 95200 | 2147483647 43800 48 | 0.004 % |
11.96/12.05 c | 49418 | 160 13600 95200 | 2147483647 43921 48 | 0.004 % |
12.06/12.13 c | 49552 | 160 13600 95200 | 2147483647 44055 48 | 0.004 % |
12.15/12.22 c | 49699 | 160 13600 95200 | 2147483647 44202 48 | 0.004 % |
12.25/12.31 c | 49859 | 160 13600 95200 | 2147483647 44362 48 | 0.004 % |
12.35/12.41 c | 50036 | 160 13600 95200 | 2147483647 44539 48 | 0.004 % |
12.45/12.52 c | 50230 | 160 13600 95200 | 2147483647 44733 48 | 0.004 % |
12.55/12.64 c | 50442 | 160 13600 95200 | 2147483647 44945 48 | 0.004 % |
12.65/12.76 c | 50676 | 160 13600 95200 | 2147483647 45179 48 | 0.004 % |
12.75/12.89 c | 50932 | 160 13600 95200 | 2147483647 45435 48 | 0.004 % |
12.95/13.03 c | 51213 | 160 13600 95200 | 2147483647 45716 48 | 0.004 % |
13.06/13.17 c | 51522 | 160 13600 95200 | 2147483647 46025 48 | 0.004 % |
13.26/13.38 c | 51861 | 160 13600 95200 | 2147483647 46364 48 | 0.004 % |
13.46/13.57 c | 52233 | 160 13600 95200 | 2147483647 46736 48 | 0.004 % |
13.66/13.76 c | 52642 | 160 13600 95200 | 2147483647 47145 48 | 0.004 % |
13.86/13.97 c | 53091 | 160 13600 95200 | 2147483647 47594 48 | 0.004 % |
14.16/14.27 c | 53584 | 160 13600 95200 | 2147483647 48087 48 | 0.004 % |
14.46/14.60 c | 54126 | 160 13600 95200 | 2147483647 48629 48 | 0.004 % |
14.86/14.95 c | 54723 | 160 13600 95200 | 2147483647 49226 48 | 0.004 % |
15.26/15.31 c | 55378 | 160 13600 95200 | 2147483647 49881 48 | 0.004 % |
15.66/15.71 c | 56098 | 160 13600 95200 | 2147483647 50601 48 | 0.004 % |
15.66/15.78 c | 56198 | 160 13600 95200 | 2147483647 50701 48 | 0.004 % |
15.76/15.86 c | 56308 | 160 13600 95200 | 2147483647 50811 48 | 0.004 % |
15.86/15.94 c | 56431 | 160 13600 95200 | 2147483647 50934 48 | 0.004 % |
15.96/16.02 c | 56565 | 160 13600 95200 | 2147483647 51068 48 | 0.004 % |
16.06/16.13 c | 56713 | 160 13600 95200 | 2147483647 51216 48 | 0.004 % |
16.15/16.23 c | 56873 | 160 13600 95200 | 2147483647 51376 48 | 0.004 % |
16.25/16.35 c | 57049 | 160 13600 95200 | 2147483647 51552 48 | 0.004 % |
16.35/16.49 c | 57242 | 160 13600 95200 | 2147483647 51745 48 | 0.004 % |
16.55/16.63 c | 57455 | 160 13600 95200 | 2147483647 51958 48 | 0.004 % |
16.65/16.75 c | 57688 | 160 13600 95200 | 2147483647 52191 48 | 0.004 % |
16.85/16.91 c | 57946 | 160 13600 95200 | 2147483647 52449 48 | 0.004 % |
16.95/17.08 c | 58227 | 160 13600 95200 | 2147483647 52730 48 | 0.004 % |
17.15/17.27 c | 58537 | 160 13600 95200 | 2147483647 53040 48 | 0.004 % |
17.45/17.52 c | 58876 | 160 13600 95200 | 2147483647 53379 48 | 0.004 % |
17.64/17.78 c | 59248 | 160 13600 95200 | 2147483647 53751 48 | 0.004 % |
17.94/18.03 c | 59659 | 160 13600 95200 | 2147483647 54162 48 | 0.004 % |
18.24/18.31 c | 60108 | 160 13600 95200 | 2147483647 54611 48 | 0.004 % |
18.54/18.61 c | 60603 | 160 13600 95200 | 2147483647 55106 48 | 0.004 % |
18.84/18.92 c | 61147 | 160 13600 95200 | 2147483647 55650 48 | 0.004 % |
19.14/19.27 c | 61743 | 160 13600 95200 | 2147483647 56246 48 | 0.004 % |
19.54/19.67 c | 62399 | 160 13600 95200 | 2147483647 56902 48 | 0.004 % |
19.94/20.07 c | 63120 | 160 13600 95200 | 2147483647 57623 48 | 0.004 % |
20.44/20.57 c | 63913 | 160 13600 95200 | 2147483647 58416 48 | 0.004 % |
20.54/20.64 c | 64013 | 160 13600 95200 | 2147483647 58516 48 | 0.004 % |
20.64/20.74 c | 64125 | 160 13600 95200 | 2147483647 58628 48 | 0.004 % |
20.74/20.83 c | 64246 | 160 13600 95200 | 2147483647 58749 48 | 0.004 % |
20.84/20.94 c | 64380 | 160 13600 95200 | 2147483647 58883 48 | 0.004 % |
20.94/21.04 c | 64526 | 160 13600 95200 | 2147483647 59029 48 | 0.004 % |
21.04/21.17 c | 64686 | 160 13600 95200 | 2147483647 59189 48 | 0.004 % |
21.25/21.30 c | 64862 | 160 13600 95200 | 2147483647 59365 48 | 0.004 % |
21.35/21.44 c | 65055 | 160 13600 95200 | 2147483647 59558 48 | 0.004 % |
21.45/21.60 c | 65268 | 160 13600 95200 | 2147483647 59771 48 | 0.004 % |
21.65/21.76 c | 65503 | 160 13600 95200 | 2147483647 60006 48 | 0.004 % |
21.85/21.96 c | 65759 | 160 13600 95200 | 2147483647 60262 48 | 0.004 % |
22.04/22.19 c | 66042 | 160 13600 95200 | 2147483647 60545 48 | 0.004 % |
22.34/22.45 c | 66351 | 160 13600 95200 | 2147483647 60854 48 | 0.004 % |
22.54/22.68 c | 66691 | 160 13600 95200 | 2147483647 61194 48 | 0.004 % |
22.84/22.90 c | 67066 | 160 13600 95200 | 2147483647 61569 48 | 0.004 % |
23.14/23.23 c | 67476 | 160 13600 95200 | 2147483647 61979 48 | 0.004 % |
23.44/23.56 c | 67927 | 160 13600 95200 | 2147483647 62430 48 | 0.004 % |
23.74/23.89 c | 68422 | 160 13600 95200 | 2147483647 62925 48 | 0.004 % |
24.15/24.28 c | 68965 | 160 13600 95200 | 2147483647 63468 48 | 0.004 % |
24.54/24.67 c | 69562 | 160 13600 95200 | 2147483647 64065 48 | 0.004 % |
25.14/25.23 c | 70219 | 160 13600 95200 | 64503 57333 48 | 0.004 % |
25.64/25.72 c | 70939 | 160 13600 95200 | 64503 58053 48 | 0.004 % |
26.04/26.18 c | 71732 | 160 13600 95200 | 64503 58846 48 | 0.004 % |
26.54/26.69 c | 72606 | 160 13600 95200 | 64503 59720 48 | 0.004 % |
26.64/26.76 c | 72707 | 160 13600 95200 | 64503 59821 48 | 0.004 % |
26.74/26.83 c | 72817 | 160 13600 95200 | 64503 59931 48 | 0.004 % |
26.84/26.92 c | 72939 | 160 13600 95200 | 64503 60053 48 | 0.004 % |
26.94/27.00 c | 73072 | 160 13600 95200 | 64503 60186 48 | 0.004 % |
27.04/27.14 c | 73218 | 160 13600 95200 | 64503 60332 48 | 0.004 % |
27.14/27.29 c | 73378 | 160 13600 95200 | 64503 60492 48 | 0.004 % |
27.34/27.43 c | 73556 | 160 13600 95200 | 64503 60670 48 | 0.004 % |
27.44/27.59 c | 73750 | 160 13600 95200 | 64503 60864 48 | 0.004 % |
27.64/27.74 c | 73964 | 160 13600 95200 | 64503 61078 48 | 0.004 % |
27.84/27.92 c | 74198 | 160 13600 95200 | 64503 61312 48 | 0.004 % |
27.94/28.09 c | 74454 | 160 13600 95200 | 64503 61568 48 | 0.004 % |
28.24/28.32 c | 74737 | 160 13600 95200 | 64503 61851 48 | 0.004 % |
28.44/28.52 c | 75046 | 160 13600 95200 | 64503 62160 48 | 0.004 % |
28.74/28.80 c | 75387 | 160 13600 95200 | 64503 62501 48 | 0.004 % |
29.04/29.11 c | 75760 | 160 13600 95200 | 64503 62874 48 | 0.004 % |
29.24/29.39 c | 76169 | 160 13600 95200 | 64503 63283 48 | 0.004 % |
29.64/29.72 c | 76618 | 160 13600 95200 | 64503 63732 48 | 0.004 % |
29.94/30.09 c | 77115 | 160 13600 95200 | 64503 64229 48 | 0.004 % |
30.44/30.54 c | 77658 | 160 13600 95200 | 64503 55985 48 | 0.004 % |
30.74/30.88 c | 78254 | 160 13600 95200 | 64503 56581 48 | 0.004 % |
31.14/31.26 c | 78910 | 160 13600 95200 | 64503 57237 48 | 0.004 % |
31.54/31.63 c | 79631 | 160 13600 95200 | 64503 57958 48 | 0.004 % |
32.03/32.11 c | 80423 | 160 13600 95200 | 58328 51358 48 | 0.004 % |
32.44/32.55 c | 81295 | 160 13600 95200 | 58328 52230 48 | 0.004 % |
32.94/33.06 c | 82254 | 160 13600 95200 | 58328 53189 48 | 0.004 % |
33.03/33.11 c | 82356 | 160 13600 95200 | 58328 53291 48 | 0.004 % |
33.03/33.17 c | 82470 | 160 13600 95200 | 58328 53405 48 | 0.004 % |
33.13/33.23 c | 82592 | 160 13600 95200 | 58328 53527 48 | 0.004 % |
33.23/33.34 c | 82725 | 160 13600 95200 | 58328 53660 48 | 0.004 % |
33.33/33.44 c | 82871 | 160 13600 95200 | 58328 53806 48 | 0.004 % |
33.43/33.55 c | 83032 | 160 13600 95200 | 58328 53967 48 | 0.004 % |
33.53/33.68 c | 83208 | 160 13600 95200 | 58328 54143 48 | 0.004 % |
33.73/33.81 c | 83401 | 160 13600 95200 | 58328 54336 48 | 0.004 % |
33.83/33.95 c | 83613 | 160 13600 95200 | 58328 54548 48 | 0.004 % |
34.04/34.11 c | 83846 | 160 13600 95200 | 58328 54781 48 | 0.004 % |
34.13/34.29 c | 84103 | 160 13600 95200 | 58328 55038 48 | 0.004 % |
34.33/34.47 c | 84386 | 160 13600 95200 | 58328 55321 48 | 0.004 % |
34.53/34.66 c | 84695 | 160 13600 95200 | 58328 55630 48 | 0.004 % |
34.73/34.86 c | 85035 | 160 13600 95200 | 58328 55970 48 | 0.004 % |
35.04/35.14 c | 85407 | 160 13600 95200 | 58328 56342 48 | 0.004 % |
35.33/35.42 c | 85819 | 160 13600 95200 | 58328 56754 48 | 0.004 % |
35.63/35.73 c | 86269 | 160 13600 95200 | 58328 57204 48 | 0.004 % |
35.93/36.04 c | 86762 | 160 13600 95200 | 58328 57697 48 | 0.004 % |
36.24/36.37 c | 87304 | 160 13600 95200 | 58328 58239 48 | 0.004 % |
36.73/36.80 c | 87902 | 160 13600 95200 | 58328 52681 48 | 0.004 % |
37.13/37.20 c | 88557 | 160 13600 95200 | 58328 53336 48 | 0.004 % |
37.63/37.70 c | 89277 | 160 13600 95200 | 58328 54056 48 | 0.004 % |
38.03/38.18 c | 90069 | 160 13600 95200 | 54779 54848 48 | 0.004 % |
38.63/38.75 c | 90941 | 160 13600 95200 | 54779 49962 48 | 0.004 % |
39.13/39.24 c | 91901 | 160 13600 95200 | 54779 50922 48 | 0.004 % |
39.63/39.79 c | 92956 | 160 13600 95200 | 54779 51977 48 | 0.004 % |
39.73/39.85 c | 93056 | 160 13600 95200 | 54779 52077 48 | 0.004 % |
39.83/39.93 c | 93169 | 160 13600 95200 | 54779 52190 48 | 0.004 % |
39.93/40.00 c | 93291 | 160 13600 95200 | 54779 52312 48 | 0.004 % |
40.03/40.10 c | 93424 | 160 13600 95200 | 54779 52445 48 | 0.004 % |
40.03/40.19 c | 93570 | 160 13600 95200 | 54779 52591 48 | 0.004 % |
40.23/40.30 c | 93730 | 160 13600 95200 | 54779 52751 48 | 0.004 % |
40.33/40.42 c | 93907 | 160 13600 95200 | 54779 52928 48 | 0.004 % |
40.43/40.53 c | 94100 | 160 13600 95200 | 54779 53121 48 | 0.004 % |
40.54/40.66 c | 94312 | 160 13600 95200 | 54779 53333 48 | 0.004 % |
40.64/40.79 c | 94546 | 160 13600 95200 | 54779 53567 48 | 0.004 % |
40.83/40.96 c | 94803 | 160 13600 95200 | 54779 53824 48 | 0.004 % |
41.03/41.15 c | 95084 | 160 13600 95200 | 54779 54105 48 | 0.004 % |
41.23/41.38 c | 95393 | 160 13600 95200 | 54779 54414 48 | 0.004 % |
41.53/41.60 c | 95734 | 160 13600 95200 | 54779 54755 48 | 0.004 % |
41.73/41.84 c | 96107 | 160 13600 95200 | 54779 49643 48 | 0.004 % |
41.93/42.04 c | 96516 | 160 13600 95200 | 54779 50052 48 | 0.004 % |
42.23/42.33 c | 96966 | 160 13600 95200 | 54779 50502 48 | 0.004 % |
42.53/42.65 c | 97460 | 160 13600 95200 | 54779 50996 48 | 0.004 % |
42.83/42.96 c | 98002 | 160 13600 95200 | 54779 51538 48 | 0.004 % |
43.23/43.33 c | 98598 | 160 13600 95200 | 54779 52134 48 | 0.004 % |
43.63/43.78 c | 99253 | 160 13600 95200 | 54779 52789 48 | 0.004 % |
44.13/44.22 c | 99973 | 160 13600 95200 | 54779 53509 48 | 0.004 % |
44.53/44.69 c | 100765 | 160 13600 95200 | 2147483647 54301 48 | 0.004 % |
45.13/45.21 c | 101637 | 160 13600 95200 | 2147483647 55173 48 | 0.004 % |
45.63/45.79 c | 102595 | 160 13600 95200 | 2147483647 56131 48 | 0.004 % |
46.43/46.52 c | 103649 | 160 13600 95200 | 2147483647 57185 48 | 0.004 % |
47.13/47.27 c | 104810 | 160 13600 95200 | 2147483647 58346 48 | 0.004 % |
47.23/47.33 c | 104910 | 160 13600 95200 | 2147483647 58446 48 | 0.004 % |
47.33/47.42 c | 105021 | 160 13600 95200 | 2147483647 58557 48 | 0.004 % |
47.43/47.51 c | 105142 | 160 13600 95200 | 2147483647 58678 48 | 0.004 % |
47.53/47.61 c | 105275 | 160 13600 95200 | 2147483647 58811 48 | 0.004 % |
47.63/47.70 c | 105421 | 160 13600 95200 | 2147483647 58957 48 | 0.004 % |
47.73/47.80 c | 105583 | 160 13600 95200 | 2147483647 59119 48 | 0.004 % |
47.83/47.95 c | 105760 | 160 13600 95200 | 2147483647 59296 48 | 0.004 % |
48.03/48.10 c | 105953 | 160 13600 95200 | 2147483647 59489 48 | 0.004 % |
48.13/48.25 c | 106165 | 160 13600 95200 | 2147483647 59701 48 | 0.004 % |
48.33/48.42 c | 106398 | 160 13600 95200 | 2147483647 59934 48 | 0.004 % |
48.53/48.60 c | 106657 | 160 13600 95200 | 2147483647 60193 48 | 0.004 % |
48.63/48.78 c | 106938 | 160 13600 95200 | 2147483647 60474 48 | 0.004 % |
48.93/49.00 c | 107248 | 160 13600 95200 | 2147483647 60784 48 | 0.004 % |
49.13/49.23 c | 107587 | 160 13600 95200 | 2147483647 61123 48 | 0.004 % |
49.43/49.53 c | 107962 | 160 13600 95200 | 2147483647 61498 48 | 0.004 % |
49.73/49.81 c | 108372 | 160 13600 95200 | 2147483647 61908 48 | 0.004 % |
49.93/50.09 c | 108821 | 160 13600 95200 | 2147483647 62357 48 | 0.004 % |
50.33/50.41 c | 109314 | 160 13600 95200 | 2147483647 62850 48 | 0.004 % |
50.63/50.79 c | 109856 | 160 13600 95200 | 2147483647 63392 48 | 0.004 % |
51.13/51.25 c | 110453 | 160 13600 95200 | 63537 56520 48 | 0.004 % |
51.53/51.67 c | 111108 | 160 13600 95200 | 63537 57175 48 | 0.004 % |
52.03/52.12 c | 111828 | 160 13600 95200 | 63537 57895 48 | 0.004 % |
52.53/52.64 c | 112620 | 160 13600 95200 | 63537 58687 48 | 0.004 % |
53.03/53.17 c | 113493 | 160 13600 95200 | 63537 59560 48 | 0.004 % |
53.63/53.76 c | 114451 | 160 13600 95200 | 63537 60518 48 | 0.004 % |
54.33/54.41 c | 115504 | 160 13600 95200 | 63537 61571 48 | 0.004 % |
55.23/55.31 c | 116662 | 160 13600 95200 | 63537 62729 48 | 0.004 % |
56.13/56.22 c | 117935 | 160 13600 95200 | 63537 56265 48 | 0.004 % |
56.13/56.28 c | 118036 | 160 13600 95200 | 63537 56366 48 | 0.004 % |
56.23/56.37 c | 118146 | 160 13600 95200 | 63537 56476 48 | 0.004 % |
56.33/56.45 c | 118267 | 160 13600 95200 | 63537 56597 48 | 0.004 % |
56.43/56.56 c | 118400 | 160 13600 95200 | 63537 56730 48 | 0.004 % |
56.53/56.65 c | 118546 | 160 13600 95200 | 63537 56876 48 | 0.004 % |
56.63/56.78 c | 118707 | 160 13600 95200 | 63537 57037 48 | 0.004 % |
56.83/56.90 c | 118883 | 160 13600 95200 | 63537 57213 48 | 0.004 % |
56.93/57.03 c | 119076 | 160 13600 95200 | 63537 57406 48 | 0.004 % |
57.03/57.19 c | 119290 | 160 13600 95200 | 63537 57620 48 | 0.004 % |
57.23/57.35 c | 119524 | 160 13600 95200 | 63537 57854 48 | 0.004 % |
57.43/57.54 c | 119781 | 160 13600 95200 | 63537 58111 48 | 0.004 % |
57.63/57.73 c | 120064 | 160 13600 95200 | 58331 58394 48 | 0.004 % |
57.83/57.99 c | 120373 | 160 13600 95200 | 58331 51465 48 | 0.004 % |
58.03/58.20 c | 120712 | 160 13600 95200 | 58331 51804 48 | 0.004 % |
58.33/58.43 c | 121084 | 160 13600 95200 | 58331 52176 48 | 0.004 % |
58.53/58.70 c | 121494 | 160 13600 95200 | 58331 52586 48 | 0.004 % |
58.83/58.99 c | 121944 | 160 13600 95200 | 58331 53036 48 | 0.004 % |
59.13/59.27 c | 122439 | 160 13600 95200 | 58331 53531 48 | 0.004 % |
59.52/59.61 c | 122982 | 160 13600 95200 | 58331 54074 48 | 0.004 % |
59.82/59.97 c | 123578 | 160 13600 95200 | 58331 54670 48 | 0.004 % |
60.33/60.42 c | 124235 | 160 13600 95200 | 58331 55327 48 | 0.004 % |
60.72/60.85 c | 124958 | 160 13600 95200 | 58331 56050 48 | 0.004 % |
61.22/61.34 c | 125750 | 160 13600 95200 | 58331 56842 48 | 0.004 % |
61.72/61.88 c | 126622 | 160 13600 95200 | 58331 57714 48 | 0.004 % |
62.32/62.50 c | 127580 | 160 13600 95200 | 58331 52484 48 | 0.004 % |
63.02/63.19 c | 128636 | 160 13600 95200 | 58331 53540 48 | 0.004 % |
63.72/63.87 c | 129795 | 160 13600 95200 | 58331 54699 49 | 0.004 % |
64.42/64.56 c | 131068 | 160 13600 95200 | 54904 50391 48 | 0.004 % |
65.32/65.46 c | 132468 | 160 13600 95200 | 54904 51791 48 | 0.004 % |
65.42/65.52 c | 132568 | 160 13600 95200 | 54904 51891 48 | 0.004 % |
65.52/65.60 c | 132678 | 160 13600 95200 | 54904 52001 48 | 0.004 % |
65.52/65.68 c | 132801 | 160 13600 95200 | 54904 52124 48 | 0.004 % |
65.62/65.77 c | 132934 | 160 13600 95200 | 54904 52257 48 | 0.004 % |
65.72/65.87 c | 133081 | 160 13600 95200 | 54904 52404 48 | 0.004 % |
65.92/66.01 c | 133243 | 160 13600 95200 | 54904 52566 48 | 0.004 % |
66.01/66.12 c | 133420 | 160 13600 95200 | 54904 52743 48 | 0.004 % |
66.11/66.26 c | 133615 | 160 13600 95200 | 54904 52938 48 | 0.004 % |
66.31/66.40 c | 133829 | 160 13600 95200 | 54904 53152 48 | 0.004 % |
66.41/66.55 c | 134063 | 160 13600 95200 | 54904 53386 48 | 0.004 % |
66.61/66.71 c | 134319 | 160 13600 95200 | 54904 53642 48 | 0.004 % |
66.71/66.88 c | 134602 | 160 13600 95200 | 54904 53925 48 | 0.004 % |
66.92/67.09 c | 134912 | 160 13600 95200 | 54904 54235 48 | 0.004 % |
67.11/67.29 c | 135251 | 160 13600 95200 | 54904 54574 48 | 0.004 % |
67.41/67.52 c | 135627 | 160 13600 95200 | 54904 54950 48 | 0.004 % |
67.61/67.78 c | 136037 | 160 13600 95200 | 54904 49865 48 | 0.004 % |
67.91/68.05 c | 136487 | 160 13600 95200 | 54904 50315 48 | 0.004 % |
68.21/68.32 c | 136981 | 160 13600 95200 | 54904 50809 48 | 0.004 % |
68.51/68.62 c | 137523 | 160 13600 95200 | 54904 51351 48 | 0.004 % |
68.91/69.04 c | 138119 | 160 13600 95200 | 54904 51947 48 | 0.004 % |
69.31/69.43 c | 138774 | 160 13600 95200 | 54904 52602 48 | 0.004 % |
69.71/69.87 c | 139497 | 160 13600 95200 | 54904 53325 48 | 0.004 % |
70.21/70.31 c | 140290 | 160 13600 95200 | 2147483647 54118 48 | 0.004 % |
70.61/70.79 c | 141164 | 160 13600 95200 | 2147483647 54992 48 | 0.004 % |
71.21/71.31 c | 142123 | 160 13600 95200 | 2147483647 55951 48 | 0.004 % |
71.71/71.87 c | 143178 | 160 13600 95200 | 2147483647 57006 48 | 0.004 % |
72.31/72.49 c | 144338 | 160 13600 95200 | 2147483647 58166 48 | 0.004 % |
73.11/73.26 c | 145612 | 160 13600 95200 | 2147483647 59440 48 | 0.004 % |
74.01/74.20 c | 147012 | 160 13600 95200 | 2147483647 60840 48 | 0.004 % |
75.21/75.32 c | 148552 | 160 13600 95200 | 2147483647 62380 48 | 0.004 % |
75.31/75.40 c | 148652 | 160 13600 95200 | 2147483647 62480 48 | 0.004 % |
75.31/75.47 c | 148763 | 160 13600 95200 | 2147483647 62591 48 | 0.004 % |
75.41/75.55 c | 148886 | 160 13600 95200 | 2147483647 62714 48 | 0.004 % |
75.51/75.64 c | 149020 | 160 13600 95200 | 2147483647 62848 48 | 0.004 % |
75.61/75.78 c | 149166 | 160 13600 95200 | 2147483647 62994 48 | 0.004 % |
75.71/75.89 c | 149326 | 160 13600 95200 | 2147483647 63154 48 | 0.004 % |
75.91/76.02 c | 149504 | 160 13600 95200 | 2147483647 63332 48 | 0.004 % |
76.11/76.20 c | 149697 | 160 13600 95200 | 2147483647 63525 48 | 0.004 % |
76.21/76.37 c | 149909 | 160 13600 95200 | 2147483647 63737 48 | 0.004 % |
76.41/76.58 c | 150143 | 160 13600 95200 | 63828 56905 49 | 0.004 % |
76.61/76.74 c | 150399 | 160 13600 95200 | 63828 57161 49 | 0.004 % |
76.81/76.91 c | 150682 | 160 13600 95200 | 63828 57444 49 | 0.004 % |
77.01/77.11 c | 150992 | 160 13600 95200 | 63828 57754 49 | 0.004 % |
77.21/77.31 c | 151331 | 160 13600 95200 | 63828 58093 49 | 0.004 % |
77.41/77.53 c | 151704 | 160 13600 95200 | 63828 58466 49 | 0.004 % |
77.61/77.77 c | 152115 | 160 13600 95200 | 63828 58877 49 | 0.004 % |
77.91/78.04 c | 152564 | 160 13600 95200 | 63828 59326 49 | 0.004 % |
78.31/78.44 c | 153057 | 160 13600 95200 | 63828 59819 49 | 0.004 % |
78.71/78.88 c | 153599 | 160 13600 95200 | 63828 60361 49 | 0.004 % |
79.20/79.35 c | 154196 | 160 13600 95200 | 63828 60958 49 | 0.004 % |
79.61/79.77 c | 154851 | 160 13600 95200 | 63828 61613 49 | 0.004 % |
80.12/80.24 c | 155571 | 160 13600 95200 | 63828 62333 49 | 0.004 % |
80.71/80.86 c | 156363 | 160 13600 95200 | 63828 63125 49 | 0.004 % |
81.41/81.50 c | 157235 | 160 13600 95200 | 63828 55513 49 | 0.004 % |
81.91/82.07 c | 158193 | 160 13600 95200 | 63828 56471 49 | 0.004 % |
82.61/82.74 c | 159246 | 160 13600 95200 | 63828 57524 49 | 0.004 % |
83.31/83.45 c | 160406 | 160 13600 95200 | 58278 51341 49 | 0.004 % |
83.91/84.07 c | 161679 | 160 13600 95200 | 58278 52614 49 | 0.004 % |
84.62/84.79 c | 163080 | 160 13600 95200 | 58278 54015 49 | 0.004 % |
85.71/85.81 c | 164621 | 160 13600 95200 | 58278 55556 49 | 0.004 % |
86.71/86.86 c | 166315 | 160 13600 95200 | 58278 57250 49 | 0.004 % |
86.81/86.93 c | 166416 | 160 13600 95200 | 58278 57351 49 | 0.004 % |
86.91/87.00 c | 166526 | 160 13600 95200 | 58278 57461 49 | 0.004 % |
87.01/87.11 c | 166647 | 160 13600 95200 | 58278 57582 49 | 0.004 % |
87.11/87.21 c | 166782 | 160 13600 95200 | 58278 57717 49 | 0.004 % |
87.21/87.30 c | 166930 | 160 13600 95200 | 58278 57865 49 | 0.004 % |
87.31/87.42 c | 167090 | 160 13600 95200 | 58278 58025 49 | 0.004 % |
87.41/87.56 c | 167266 | 160 13600 95200 | 58278 58201 49 | 0.004 % |
87.61/87.75 c | 167460 | 160 13600 95200 | 58278 52347 49 | 0.004 % |
87.71/87.88 c | 167672 | 160 13600 95200 | 58278 52559 49 | 0.004 % |
87.91/88.01 c | 167905 | 160 13600 95200 | 58278 52792 49 | 0.004 % |
88.01/88.18 c | 168161 | 160 13600 95200 | 58278 53048 49 | 0.004 % |
88.21/88.36 c | 168442 | 160 13600 95200 | 58278 53329 49 | 0.004 % |
88.41/88.52 c | 168752 | 160 13600 95200 | 58278 53639 49 | 0.004 % |
88.61/88.71 c | 169092 | 160 13600 95200 | 58278 53979 49 | 0.004 % |
88.81/88.99 c | 169465 | 160 13600 95200 | 58278 54352 49 | 0.004 % |
89.11/89.25 c | 169874 | 160 13600 95200 | 58278 54761 49 | 0.004 % |
89.41/89.54 c | 170325 | 160 13600 95200 | 54887 49616 49 | 0.004 % |
89.71/89.83 c | 170818 | 160 13600 95200 | 54887 50109 49 | 0.004 % |
90.01/90.14 c | 171363 | 160 13600 95200 | 54887 50654 49 | 0.004 % |
90.41/90.50 c | 171960 | 160 13600 95200 | 54887 51251 49 | 0.004 % |
90.81/90.91 c | 172615 | 160 13600 95200 | 54887 51906 49 | 0.004 % |
91.21/91.37 c | 173337 | 160 13600 95200 | 54887 52628 49 | 0.004 % |
91.71/91.85 c | 174129 | 160 13600 95200 | 54887 53420 49 | 0.004 % |
92.21/92.31 c | 175000 | 160 13600 95200 | 54887 54291 49 | 0.004 % |
92.81/92.92 c | 175959 | 160 13600 95200 | 54887 49754 49 | 0.004 % |
93.31/93.45 c | 177013 | 160 13600 95200 | 54887 50808 49 | 0.004 % |
94.01/94.15 c | 178171 | 160 13600 95200 | 54887 51966 49 | 0.004 % |
94.70/94.84 c | 179445 | 160 13600 95200 | 54887 53240 49 | 0.004 % |
95.51/95.64 c | 180848 | 160 13600 95200 | 2147483647 54643 49 | 0.004 % |
96.30/96.46 c | 182388 | 160 13600 95200 | 2147483647 56183 49 | 0.004 % |
97.30/97.43 c | 184083 | 160 13600 95200 | 2147483647 57878 49 | 0.004 % |
98.50/98.67 c | 185946 | 160 13600 95200 | 2147483647 59741 49 | 0.004 % |
98.60/98.75 c | 186046 | 160 13600 95200 | 2147483647 59841 49 | 0.004 % |
98.70/98.83 c | 186157 | 160 13600 95200 | 2147483647 59952 49 | 0.004 % |
98.81/98.92 c | 186278 | 160 13600 95200 | 2147483647 60073 49 | 0.004 % |
98.91/99.02 c | 186412 | 160 13600 95200 | 2147483647 60207 49 | 0.004 % |
99.00/99.13 c | 186559 | 160 13600 95200 | 2147483647 60354 49 | 0.004 % |
99.10/99.26 c | 186719 | 160 13600 95200 | 2147483647 60514 49 | 0.004 % |
99.30/99.41 c | 186895 | 160 13600 95200 | 2147483647 60690 49 | 0.004 % |
99.40/99.53 c | 187088 | 160 13600 95200 | 2147483647 60883 49 | 0.004 % |
99.60/99.70 c | 187300 | 160 13600 95200 | 2147483647 61095 49 | 0.004 % |
99.70/99.88 c | 187534 | 160 13600 95200 | 2147483647 61329 49 | 0.004 % |
99.90/100.07 c | 187790 | 160 13600 95200 | 2147483647 61585 49 | 0.004 % |
100.10/100.27 c | 188071 | 160 13600 95200 | 2147483647 61866 49 | 0.004 % |
100.40/100.54 c | 188383 | 160 13600 95200 | 2147483647 62178 49 | 0.004 % |
100.70/100.81 c | 188725 | 160 13600 95200 | 2147483647 62520 49 | 0.004 % |
100.90/101.08 c | 189098 | 160 13600 95200 | 2147483647 62893 49 | 0.004 % |
101.20/101.39 c | 189508 | 160 13600 95200 | 2147483647 63303 49 | 0.004 % |
101.60/101.76 c | 189959 | 160 13600 95200 | 2147483647 63754 49 | 0.004 % |
102.00/102.14 c | 190453 | 160 13600 95200 | 63796 56757 49 | 0.004 % |
102.30/102.50 c | 190995 | 160 13600 95200 | 63796 57299 49 | 0.004 % |
102.70/102.88 c | 191591 | 160 13600 95200 | 63796 57895 49 | 0.004 % |
103.20/103.39 c | 192246 | 160 13600 95200 | 63796 58550 49 | 0.004 % |
103.70/103.87 c | 192966 | 160 13600 95200 | 63796 59270 49 | 0.004 % |
104.20/104.39 c | 193760 | 160 13600 95200 | 63796 60064 49 | 0.004 % |
104.79/104.96 c | 194633 | 160 13600 95200 | 63796 60937 49 | 0.004 % |
105.49/105.63 c | 195592 | 160 13600 95200 | 63796 61896 49 | 0.004 % |
106.29/106.42 c | 196645 | 160 13600 95200 | 63796 62949 49 | 0.004 % |
107.09/107.28 c | 197803 | 160 13600 95200 | 63796 55994 49 | 0.004 % |
107.89/108.03 c | 199076 | 160 13600 95200 | 63796 57267 49 | 0.004 % |
108.89/109.00 c | 200477 | 160 13600 95200 | 58191 51290 49 | 0.004 % |
109.79/109.91 c | 202019 | 160 13600 95200 | 58191 52832 49 | 0.004 % |
110.79/110.98 c | 203715 | 160 13600 95200 | 58191 54528 49 | 0.004 % |
111.89/112.09 c | 205578 | 160 13600 95200 | 58191 56391 49 | 0.004 % |
113.29/113.44 c | 207627 | 160 13600 95200 | 58191 51982 49 | 0.004 % |
113.39/113.51 c | 207729 | 160 13600 95200 | 58191 52084 49 | 0.004 % |
113.39/113.58 c | 207839 | 160 13600 95200 | 58191 52194 49 | 0.004 % |
113.49/113.66 c | 207960 | 160 13600 95200 | 58191 52315 49 | 0.004 % |
113.59/113.74 c | 208093 | 160 13600 95200 | 58191 52448 49 | 0.004 % |
113.69/113.85 c | 208239 | 160 13600 95200 | 58191 52594 49 | 0.004 % |
113.78/113.96 c | 208399 | 160 13600 95200 | 58191 52754 49 | 0.004 % |
113.88/114.07 c | 208575 | 160 13600 95200 | 58191 52930 49 | 0.004 % |
114.08/114.21 c | 208768 | 160 13600 95200 | 58191 53123 49 | 0.004 % |
114.19/114.35 c | 208981 | 160 13600 95200 | 58191 53336 49 | 0.004 % |
114.29/114.49 c | 209214 | 160 13600 95200 | 58191 53569 49 | 0.004 % |
114.48/114.64 c | 209472 | 160 13600 95200 | 58191 53827 49 | 0.004 % |
114.68/114.82 c | 209754 | 160 13600 95200 | 58191 54109 49 | 0.004 % |
114.88/115.02 c | 210064 | 160 13600 95200 | 54355 54419 49 | 0.004 % |
115.18/115.31 c | 210403 | 160 13600 95200 | 54355 48811 49 | 0.004 % |
115.39/115.53 c | 210775 | 160 13600 95200 | 54355 49183 49 | 0.004 % |
115.58/115.77 c | 211184 | 160 13600 95200 | 54355 49592 49 | 0.004 % |
115.88/116.00 c | 211634 | 160 13600 95200 | 54355 50042 49 | 0.004 % |
116.08/116.28 c | 212127 | 160 13600 95200 | 54355 50535 49 | 0.004 % |
116.49/116.60 c | 212670 | 160 13600 95200 | 54355 51078 49 | 0.004 % |
116.78/116.94 c | 213267 | 160 13600 95200 | 54355 51675 49 | 0.004 % |
117.08/117.29 c | 213922 | 160 13600 95200 | 54355 52330 49 | 0.004 % |
117.59/117.71 c | 214642 | 160 13600 95200 | 54355 53050 49 | 0.004 % |
117.98/118.13 c | 215434 | 160 13600 95200 | 54355 53842 49 | 0.004 % |
118.48/118.65 c | 216305 | 160 13600 95200 | 54355 49270 49 | 0.004 % |
118.98/119.10 c | 217263 | 160 13600 95200 | 54355 50228 49 | 0.004 % |
119.48/119.69 c | 218316 | 160 13600 95200 | 54355 51281 49 | 0.004 % |
120.18/120.33 c | 219474 | 160 13600 95200 | 54355 52439 49 | 0.004 % |
120.88/121.06 c | 220748 | 160 13600 95200 | 2147483647 53713 49 | 0.004 % |
121.78/121.91 c | 222148 | 160 13600 95200 | 2147483647 55113 49 | 0.004 % |
122.68/122.84 c | 223690 | 160 13600 95200 | 2147483647 56655 49 | 0.004 % |
123.68/123.83 c | 225384 | 160 13600 95200 | 2147483647 58349 49 | 0.004 % |
124.88/125.01 c | 227248 | 160 13600 95200 | 2147483647 60213 49 | 0.004 % |
126.18/126.30 c | 229297 | 160 13600 95200 | 2147483647 62262 49 | 0.004 % |
127.57/127.79 c | 231550 | 160 13600 95200 | 2147483647 64515 49 | 0.004 % |
127.77/127.90 c | 231651 | 160 13600 95200 | 2147483647 64616 49 | 0.004 % |
127.87/128.01 c | 231761 | 160 13600 95200 | 2147483647 64726 49 | 0.004 % |
127.97/128.11 c | 231882 | 160 13600 95200 | 2147483647 64847 49 | 0.004 % |
128.07/128.22 c | 232016 | 160 13600 95200 | 2147483647 64981 49 | 0.004 % |
128.17/128.35 c | 232164 | 160 13600 95200 | 2147483647 65129 49 | 0.004 % |
128.27/128.47 c | 232324 | 160 13600 95200 | 2147483647 65289 49 | 0.004 % |
128.48/128.62 c | 232501 | 160 13600 95200 | 2147483647 65466 49 | 0.004 % |
128.67/128.80 c | 232694 | 160 13600 95200 | 2147483647 65659 49 | 0.004 % |
128.87/129.01 c | 232907 | 160 13600 95200 | 2147483647 65872 49 | 0.004 % |
129.07/129.22 c | 233140 | 160 13600 95200 | 2147483647 66105 49 | 0.004 % |
129.27/129.41 c | 233396 | 160 13600 95200 | 2147483647 66361 49 | 0.004 % |
129.47/129.64 c | 233677 | 160 13600 95200 | 2147483647 66642 49 | 0.004 % |
129.68/129.85 c | 233987 | 160 13600 95200 | 2147483647 66952 49 | 0.004 % |
129.97/130.11 c | 234326 | 160 13600 95200 | 2147483647 67291 49 | 0.004 % |
130.17/130.39 c | 234700 | 160 13600 95200 | 2147483647 67665 49 | 0.004 % |
130.47/130.68 c | 235113 | 160 13600 95200 | 2147483647 68078 49 | 0.004 % |
130.78/130.99 c | 235562 | 160 13600 95200 | 2147483647 68527 49 | 0.004 % |
131.27/131.41 c | 236055 | 160 13600 95200 | 2147483647 69020 49 | 0.004 % |
131.67/131.86 c | 236599 | 160 13600 95200 | 2147483647 69564 49 | 0.004 % |
132.27/132.44 c | 237196 | 160 13600 95200 | 2147483647 70161 49 | 0.004 % |
132.77/132.98 c | 237852 | 160 13600 95200 | 2147483647 70817 49 | 0.004 % |
133.37/133.57 c | 238572 | 160 13600 95200 | 2147483647 71537 49 | 0.004 % |
134.17/134.30 c | 239364 | 160 13600 95200 | 2147483647 72329 49 | 0.004 % |
134.87/135.05 c | 240235 | 160 13600 95200 | 72966 61048 49 | 0.004 % |
135.57/135.70 c | 241194 | 160 13600 95200 | 72966 62007 49 | 0.004 % |
136.17/136.38 c | 242247 | 160 13600 95200 | 72966 63060 49 | 0.004 % |
136.97/137.16 c | 243407 | 160 13600 95200 | 72966 64220 49 | 0.004 % |
137.87/138.00 c | 244680 | 160 13600 95200 | 72966 65493 49 | 0.004 % |
138.77/138.96 c | 246082 | 160 13600 95200 | 72966 66895 49 | 0.004 % |
139.97/140.14 c | 247623 | 160 13600 95200 | 72966 68436 49 | 0.004 % |
141.27/141.41 c | 249319 | 160 13600 95200 | 72966 70132 49 | 0.004 % |
142.57/142.75 c | 251182 | 160 13600 95200 | 70813 60598 49 | 0.004 % |
143.87/144.07 c | 253233 | 160 13600 95200 | 70813 62649 49 | 0.004 % |
145.36/145.53 c | 255486 | 160 13600 95200 | 70813 64902 49 | 0.004 % |
146.96/147.11 c | 257965 | 160 13600 95200 | 70813 67381 49 | 0.004 % |
146.96/147.18 c | 258066 | 160 13600 95200 | 70813 67482 49 | 0.004 % |
147.17/147.30 c | 258177 | 160 13600 95200 | 70813 67593 49 | 0.004 % |
147.27/147.41 c | 258298 | 160 13600 95200 | 70813 67714 49 | 0.004 % |
147.36/147.52 c | 258431 | 160 13600 95200 | 70813 67847 49 | 0.004 % |
147.46/147.64 c | 258577 | 160 13600 95200 | 70813 67993 49 | 0.004 % |
147.56/147.78 c | 258737 | 160 13600 95200 | 70813 68153 49 | 0.004 % |
147.76/147.91 c | 258913 | 160 13600 95200 | 70813 68329 49 | 0.004 % |
147.86/148.08 c | 259106 | 160 13600 95200 | 70813 68522 49 | 0.004 % |
148.06/148.25 c | 259321 | 160 13600 95200 | 70813 68737 49 | 0.004 % |
148.27/148.44 c | 259554 | 160 13600 95200 | 70813 68970 49 | 0.004 % |
148.46/148.69 c | 259810 | 160 13600 95200 | 70813 69226 49 | 0.004 % |
148.76/148.98 c | 260092 | 160 13600 95200 | 69416 58965 49 | 0.004 % |
148.96/149.19 c | 260403 | 160 13600 95200 | 69416 59276 49 | 0.004 % |
149.26/149.40 c | 260745 | 160 13600 95200 | 69416 59618 49 | 0.004 % |
149.47/149.67 c | 261117 | 160 13600 95200 | 69416 59990 49 | 0.004 % |
149.76/149.92 c | 261526 | 160 13600 95200 | 69416 60399 49 | 0.004 % |
150.06/150.24 c | 261976 | 160 13600 95200 | 69416 60849 49 | 0.004 % |
150.36/150.59 c | 262469 | 160 13600 95200 | 69416 61342 49 | 0.004 % |
150.75/150.96 c | 263011 | 160 13600 95200 | 69416 61884 49 | 0.004 % |
151.25/151.44 c | 263607 | 160 13600 95200 | 69416 62480 49 | 0.004 % |
151.75/151.91 c | 264262 | 160 13600 95200 | 69416 63135 49 | 0.004 % |
152.25/152.40 c | 264983 | 160 13600 95200 | 69416 63856 49 | 0.004 % |
152.76/152.97 c | 265775 | 160 13600 95200 | 69416 64648 49 | 0.004 % |
153.35/153.56 c | 266646 | 160 13600 95200 | 69416 65519 49 | 0.004 % |
154.05/154.21 c | 267605 | 160 13600 95200 | 69416 66478 49 | 0.004 % |
154.65/154.87 c | 268658 | 160 13600 95200 | 69416 67531 49 | 0.004 % |
155.55/155.70 c | 269816 | 160 13600 95200 | 69416 68689 49 | 0.004 % |
156.35/156.57 c | 271090 | 160 13600 95200 | 68875 59616 49 | 0.004 % |
157.35/157.54 c | 272491 | 160 13600 95200 | 68875 61017 49 | 0.004 % |
158.35/158.57 c | 274032 | 160 13600 95200 | 68875 62558 49 | 0.004 % |
159.65/159.80 c | 275726 | 160 13600 95200 | 68875 64252 49 | 0.004 % |
161.05/161.29 c | 277589 | 160 13600 95200 | 68875 66115 49 | 0.004 % |
162.55/162.77 c | 279639 | 160 13600 95200 | 68875 68165 49 | 0.004 % |
164.05/164.20 c | 281894 | 160 13600 95200 | 68526 60112 49 | 0.004 % |
165.55/165.71 c | 284374 | 160 13600 95200 | 68526 62592 49 | 0.004 % |
167.25/167.46 c | 287099 | 160 13600 95200 | 68526 65317 49 | 0.004 % |
167.35/167.55 c | 287201 | 160 13600 95200 | 68526 65419 49 | 0.004 % |
167.45/167.64 c | 287311 | 160 13600 95200 | 68526 65529 49 | 0.004 % |
167.55/167.73 c | 287435 | 160 13600 95200 | 68526 65653 49 | 0.004 % |
167.65/167.83 c | 287568 | 160 13600 95200 | 68526 65786 49 | 0.004 % |
167.75/167.98 c | 287716 | 160 13600 95200 | 68526 65934 49 | 0.004 % |
167.95/168.12 c | 287876 | 160 13600 95200 | 68526 66094 49 | 0.004 % |
168.05/168.27 c | 288053 | 160 13600 95200 | 68526 66271 49 | 0.004 % |
168.25/168.44 c | 288247 | 160 13600 95200 | 68526 66465 49 | 0.004 % |
168.35/168.59 c | 288460 | 160 13600 95200 | 68526 66678 49 | 0.004 % |
168.55/168.77 c | 288697 | 160 13600 95200 | 68526 66915 49 | 0.004 % |
168.75/168.96 c | 288954 | 160 13600 95200 | 68526 67172 49 | 0.004 % |
168.95/169.16 c | 289238 | 160 13600 95200 | 68526 67456 49 | 0.004 % |
169.15/169.38 c | 289547 | 160 13600 95200 | 68526 67765 49 | 0.004 % |
169.45/169.68 c | 289886 | 160 13600 95200 | 68526 68104 49 | 0.004 % |
169.75/170.00 c | 290259 | 160 13600 95200 | 68219 58793 49 | 0.004 % |
170.05/170.24 c | 290670 | 160 13600 95200 | 68219 59204 49 | 0.004 % |
170.25/170.48 c | 291119 | 160 13600 95200 | 68219 59653 49 | 0.004 % |
170.65/170.80 c | 291612 | 160 13600 95200 | 68219 60146 49 | 0.004 % |
170.95/171.18 c | 292156 | 160 13600 95200 | 68219 60690 49 | 0.004 % |
171.45/171.60 c | 292753 | 160 13600 95200 | 68219 61287 49 | 0.004 % |
171.84/172.03 c | 293408 | 160 13600 95200 | 68219 61942 49 | 0.004 % |
172.34/172.55 c | 294131 | 160 13600 95200 | 68219 62665 49 | 0.004 % |
172.94/173.13 c | 294923 | 160 13600 95200 | 68219 63457 49 | 0.004 % |
173.55/173.73 c | 295797 | 160 13600 95200 | 68219 64331 49 | 0.004 % |
174.24/174.45 c | 296756 | 160 13600 95200 | 68219 65290 49 | 0.004 % |
175.04/175.20 c | 297809 | 160 13600 95200 | 68219 66343 49 | 0.004 % |
175.85/176.02 c | 298967 | 160 13600 95200 | 68219 67501 49 | 0.004 % |
176.74/176.96 c | 300243 | 160 13600 95200 | 58937 50944 49 | 0.004 % |
177.54/177.75 c | 301643 | 160 13600 95200 | 58937 52344 49 | 0.004 % |
178.44/178.61 c | 303186 | 160 13600 95200 | 58937 53887 49 | 0.004 % |
179.34/179.50 c | 304881 | 160 13600 95200 | 58937 55582 49 | 0.004 % |
180.25/180.49 c | 306744 | 160 13600 95200 | 58937 57445 49 | 0.004 % |
181.44/181.68 c | 308794 | 160 13600 95200 | 58937 53594 48 | 0.004 % |
182.74/182.93 c | 311048 | 160 13600 95200 | 2147483647 55848 48 | 0.004 % |
184.34/184.60 c | 313526 | 160 13600 95200 | 2147483647 58326 48 | 0.004 % |
186.14/186.37 c | 316251 | 160 13600 95200 | 2147483647 61051 49 | 0.004 % |
188.14/188.34 c | 319248 | 160 13600 95200 | 2147483647 64048 49 | 0.004 % |
188.24/188.42 c | 319348 | 160 13600 95200 | 2147483647 64148 49 | 0.004 % |
188.34/188.51 c | 319459 | 160 13600 95200 | 2147483647 64259 49 | 0.004 % |
188.44/188.62 c | 319580 | 160 13600 95200 | 2147483647 64380 49 | 0.004 % |
188.54/188.74 c | 319713 | 160 13600 95200 | 2147483647 64513 49 | 0.004 % |
188.64/188.84 c | 319860 | 160 13600 95200 | 2147483647 64660 49 | 0.004 % |
188.74/188.96 c | 320021 | 160 13600 95200 | 64801 64821 49 | 0.004 % |
188.94/189.16 c | 320197 | 160 13600 95200 | 64801 57222 49 | 0.004 % |
189.14/189.31 c | 320390 | 160 13600 95200 | 64801 57415 49 | 0.004 % |
189.24/189.45 c | 320602 | 160 13600 95200 | 64801 57627 49 | 0.004 % |
189.44/189.61 c | 320838 | 160 13600 95200 | 64801 57863 49 | 0.004 % |
189.54/189.80 c | 321095 | 160 13600 95200 | 64801 58120 49 | 0.004 % |
189.84/190.01 c | 321376 | 160 13600 95200 | 64801 58401 49 | 0.004 % |
190.04/190.22 c | 321686 | 160 13600 95200 | 64801 58711 49 | 0.004 % |
190.24/190.45 c | 322025 | 160 13600 95200 | 64801 59050 49 | 0.004 % |
190.54/190.70 c | 322399 | 160 13600 95200 | 64801 59424 49 | 0.004 % |
190.74/190.96 c | 322809 | 160 13600 95200 | 64801 59834 49 | 0.004 % |
191.04/191.28 c | 323258 | 160 13600 95200 | 64801 60283 49 | 0.004 % |
191.44/191.60 c | 323752 | 160 13600 95200 | 64801 60777 49 | 0.004 % |
191.74/191.97 c | 324295 | 160 13600 95200 | 64801 61320 49 | 0.004 % |
192.14/192.38 c | 324892 | 160 13600 95200 | 64801 61917 49 | 0.004 % |
192.64/192.85 c | 325549 | 160 13600 95200 | 64801 62574 49 | 0.004 % |
193.24/193.40 c | 326269 | 160 13600 95200 | 64801 63294 49 | 0.004 % |
193.74/193.90 c | 327062 | 160 13600 95200 | 64801 64087 49 | 0.004 % |
194.34/194.59 c | 327933 | 160 13600 95200 | 64801 56359 49 | 0.004 % |
195.04/195.24 c | 328892 | 160 13600 95200 | 64801 57318 49 | 0.004 % |
195.63/195.87 c | 329947 | 160 13600 95200 | 64801 58373 49 | 0.004 % |
196.33/196.58 c | 331105 | 160 13600 95200 | 58426 51918 49 | 0.004 % |
197.13/197.31 c | 332378 | 160 13600 95200 | 58426 53191 49 | 0.004 % |
197.92/198.13 c | 333779 | 160 13600 95200 | 58426 54592 49 | 0.004 % |
198.83/199.01 c | 335320 | 160 13600 95200 | 58426 56133 49 | 0.004 % |
199.72/199.95 c | 337014 | 160 13600 95200 | 58426 57827 49 | 0.004 % |
200.82/201.08 c | 338877 | 160 13600 95200 | 58426 53840 48 | 0.004 % |
201.92/202.18 c | 340928 | 160 13600 95200 | 2147483647 55891 49 | 0.004 % |
203.23/203.42 c | 343182 | 160 13600 95200 | 2147483647 58145 48 | 0.004 % |
204.62/204.87 c | 345661 | 160 13600 95200 | 2147483647 60624 48 | 0.004 % |
206.32/206.52 c | 348386 | 160 13600 95200 | 2147483647 63349 49 | 0.004 % |
208.32/208.55 c | 351385 | 160 13600 95200 | 2147483647 66348 49 | 0.004 % |
210.52/210.77 c | 354681 | 160 13600 95200 | 2147483647 69644 49 | 0.004 % |
210.62/210.85 c | 354781 | 160 13600 95200 | 2147483647 69744 49 | 0.004 % |
210.72/210.94 c | 354894 | 160 13600 95200 | 2147483647 69857 49 | 0.004 % |
210.82/211.04 c | 355015 | 160 13600 95200 | 2147483647 69978 49 | 0.004 % |
210.92/211.18 c | 355150 | 160 13600 95200 | 2147483647 70113 49 | 0.004 % |
211.12/211.32 c | 355296 | 160 13600 95200 | 2147483647 70259 49 | 0.004 % |
211.22/211.45 c | 355458 | 160 13600 95200 | 2147483647 70421 49 | 0.004 % |
211.42/211.61 c | 355634 | 160 13600 95200 | 2147483647 70597 49 | 0.004 % |
211.52/211.75 c | 355827 | 160 13600 95200 | 2147483647 70790 49 | 0.004 % |
211.72/211.92 c | 356040 | 160 13600 95200 | 2147483647 71003 49 | 0.004 % |
211.92/212.15 c | 356274 | 160 13600 95200 | 2147483647 71237 49 | 0.004 % |
212.12/212.37 c | 356534 | 160 13600 95200 | 2147483647 71497 49 | 0.004 % |
212.42/212.62 c | 356815 | 160 13600 95200 | 2147483647 71778 49 | 0.004 % |
212.62/212.89 c | 357124 | 160 13600 95200 | 2147483647 72087 49 | 0.004 % |
212.92/213.16 c | 357463 | 160 13600 95200 | 2147483647 72426 49 | 0.004 % |
213.22/213.47 c | 357835 | 160 13600 95200 | 2147483647 72798 49 | 0.004 % |
213.62/213.81 c | 358244 | 160 13600 95200 | 2147483647 73207 49 | 0.004 % |
213.93/214.12 c | 358693 | 160 13600 95200 | 2147483647 73656 49 | 0.004 % |
214.23/214.47 c | 359186 | 160 13600 95200 | 2147483647 74149 49 | 0.004 % |
214.63/214.88 c | 359730 | 160 13600 95200 | 2147483647 74693 49 | 0.004 % |
215.23/215.40 c | 360329 | 160 13600 95200 | 74965 63521 49 | 0.004 % |
215.63/215.86 c | 360984 | 160 13600 95200 | 74965 64176 49 | 0.004 % |
216.13/216.39 c | 361704 | 160 13600 95200 | 74965 64896 49 | 0.004 % |
216.73/216.93 c | 362496 | 160 13600 95200 | 74965 65688 49 | 0.004 % |
217.32/217.55 c | 363368 | 160 13600 95200 | 74965 66560 49 | 0.004 % |
218.02/218.25 c | 364326 | 160 13600 95200 | 74965 67518 49 | 0.004 % |
218.82/219.02 c | 365380 | 160 13600 95200 | 74965 68572 49 | 0.004 % |
219.62/219.90 c | 366540 | 160 13600 95200 | 74965 69732 49 | 0.004 % |
220.73/220.98 c | 367814 | 160 13600 95200 | 74965 71006 49 | 0.004 % |
221.82/222.03 c | 369214 | 160 13600 95200 | 74965 72406 49 | 0.004 % |
222.82/223.10 c | 370755 | 160 13600 95200 | 73192 61714 49 | 0.004 % |
223.82/224.09 c | 372450 | 160 13600 95200 | 73192 63409 49 | 0.004 % |
225.12/225.39 c | 374314 | 160 13600 95200 | 73192 65273 49 | 0.004 % |
226.52/226.75 c | 376363 | 160 13600 95200 | 73192 67322 49 | 0.004 % |
228.22/228.47 c | 378618 | 160 13600 95200 | 73192 69577 49 | 0.004 % |
230.02/230.21 c | 381097 | 160 13600 95200 | 70959 61015 49 | 0.004 % |
231.72/231.90 c | 383823 | 160 13600 95200 | 70959 63741 49 | 0.004 % |
233.52/233.76 c | 386820 | 160 13600 95200 | 70959 66738 49 | 0.004 % |
235.82/236.05 c | 390118 | 160 13600 95200 | 69919 59937 49 | 0.004 % |
237.92/238.16 c | 393743 | 160 13600 95200 | 69919 63562 49 | 0.004 % |
238.02/238.22 c | 393843 | 160 13600 95200 | 69919 63662 49 | 0.004 % |
238.12/238.30 c | 393954 | 160 13600 95200 | 69919 63773 49 | 0.004 % |
238.12/238.39 c | 394075 | 160 13600 95200 | 69919 63894 49 | 0.004 % |
238.32/238.52 c | 394208 | 160 13600 95200 | 69919 64027 49 | 0.004 % |
238.42/238.64 c | 394356 | 160 13600 95200 | 69919 64175 49 | 0.004 % |
238.52/238.78 c | 394517 | 160 13600 95200 | 69919 64336 49 | 0.004 % |
238.72/238.96 c | 394693 | 160 13600 95200 | 69919 64512 49 | 0.004 % |
238.92/239.12 c | 394886 | 160 13600 95200 | 69919 64705 49 | 0.004 % |
239.02/239.29 c | 395098 | 160 13600 95200 | 69919 64917 49 | 0.004 % |
239.22/239.47 c | 395331 | 160 13600 95200 | 69919 65150 49 | 0.004 % |
239.42/239.65 c | 395587 | 160 13600 95200 | 69919 65406 49 | 0.004 % |
239.62/239.89 c | 395868 | 160 13600 95200 | 69919 65687 49 | 0.004 % |
239.92/240.10 c | 396178 | 160 13600 95200 | 69919 65997 49 | 0.004 % |
240.12/240.36 c | 396517 | 160 13600 95200 | 69919 66336 49 | 0.004 % |
240.41/240.68 c | 396889 | 160 13600 95200 | 69919 66708 49 | 0.004 % |
240.71/240.99 c | 397300 | 160 13600 95200 | 69919 67119 49 | 0.004 % |
241.11/241.33 c | 397749 | 160 13600 95200 | 69919 67568 49 | 0.004 % |
241.41/241.66 c | 398243 | 160 13600 95200 | 69919 68062 49 | 0.004 % |
241.81/242.04 c | 398785 | 160 13600 95200 | 69919 68604 49 | 0.004 % |
242.21/242.46 c | 399383 | 160 13600 95200 | 69919 69202 49 | 0.004 % |
242.71/242.94 c | 400038 | 160 13600 95200 | 69821 69857 49 | 0.004 % |
243.31/243.51 c | 400759 | 160 13600 95200 | 69821 60210 49 | 0.004 % |
243.81/244.05 c | 401551 | 160 13600 95200 | 69821 61002 49 | 0.004 % |
244.41/244.67 c | 402424 | 160 13600 95200 | 69821 61875 49 | 0.004 % |
245.11/245.37 c | 403384 | 160 13600 95200 | 69821 62835 49 | 0.004 % |
245.81/246.08 c | 404438 | 160 13600 95200 | 69821 63889 49 | 0.004 % |
246.61/246.80 c | 405597 | 160 13600 95200 | 69821 65048 49 | 0.004 % |
247.51/247.73 c | 406870 | 160 13600 95200 | 69821 66321 49 | 0.004 % |
248.51/248.72 c | 408272 | 160 13600 95200 | 69821 67723 49 | 0.004 % |
249.61/249.86 c | 409814 | 160 13600 95200 | 69821 69265 49 | 0.004 % |
250.70/250.99 c | 411508 | 160 13600 95200 | 69452 60344 49 | 0.004 % |
252.00/252.28 c | 413371 | 160 13600 95200 | 69452 62207 49 | 0.004 % |
253.40/253.66 c | 415422 | 160 13600 95200 | 69452 64258 49 | 0.004 % |
255.01/255.23 c | 417675 | 160 13600 95200 | 69452 66511 49 | 0.004 % |
256.80/257.02 c | 420155 | 160 13600 95200 | 68837 58929 49 | 0.004 % |
258.31/258.59 c | 422881 | 160 13600 95200 | 68837 61655 49 | 0.004 % |
260.20/260.49 c | 425879 | 160 13600 95200 | 68837 64653 49 | 0.004 % |
262.30/262.57 c | 429176 | 160 13600 95200 | 68837 67950 49 | 0.004 % |
264.40/264.60 c | 432802 | 160 13600 95200 | 68774 62640 49 | 0.004 % |
266.80/267.09 c | 436789 | 160 13600 95200 | 68774 66627 49 | 0.004 % |
266.90/267.15 c | 436889 | 160 13600 95200 | 68774 66727 49 | 0.004 % |
267.01/267.23 c | 436999 | 160 13600 95200 | 68774 66837 49 | 0.004 % |
267.11/267.34 c | 437120 | 160 13600 95200 | 68774 66958 49 | 0.004 % |
267.20/267.42 c | 437255 | 160 13600 95200 | 68774 67093 49 | 0.004 % |
267.30/267.54 c | 437402 | 160 13600 95200 | 68774 67240 49 | 0.004 % |
267.40/267.65 c | 437564 | 160 13600 95200 | 68774 67402 49 | 0.004 % |
267.60/267.83 c | 437740 | 160 13600 95200 | 68774 67578 49 | 0.004 % |
267.70/267.97 c | 437933 | 160 13600 95200 | 68774 67771 49 | 0.004 % |
267.90/268.16 c | 438147 | 160 13600 95200 | 68774 67985 49 | 0.004 % |
268.10/268.32 c | 438380 | 160 13600 95200 | 68774 68218 49 | 0.004 % |
268.30/268.53 c | 438639 | 160 13600 95200 | 68774 68477 49 | 0.004 % |
268.50/268.73 c | 438920 | 160 13600 95200 | 68774 68758 49 | 0.004 % |
268.70/268.98 c | 439230 | 160 13600 95200 | 68774 59671 49 | 0.004 % |
269.00/269.21 c | 439569 | 160 13600 95200 | 68774 60010 49 | 0.004 % |
269.30/269.51 c | 439942 | 160 13600 95200 | 68774 60383 49 | 0.004 % |
269.60/269.83 c | 440351 | 160 13600 95200 | 60442 52505 49 | 0.004 % |
269.80/270.09 c | 440800 | 160 13600 95200 | 60442 52954 49 | 0.004 % |
270.10/270.36 c | 441294 | 160 13600 95200 | 60442 53448 49 | 0.004 % |
270.40/270.66 c | 441836 | 160 13600 95200 | 60442 53990 49 | 0.004 % |
270.80/271.01 c | 442433 | 160 13600 95200 | 60442 54587 49 | 0.004 % |
271.10/271.39 c | 443088 | 160 13600 95200 | 60442 55242 49 | 0.004 % |
271.60/271.84 c | 443808 | 160 13600 95200 | 60442 55962 49 | 0.004 % |
272.10/272.39 c | 444600 | 160 13600 95200 | 60442 56754 49 | 0.004 % |
272.70/272.91 c | 445471 | 160 13600 95200 | 60442 57625 49 | 0.004 % |
273.30/273.52 c | 446429 | 160 13600 95200 | 60442 58583 49 | 0.004 % |
273.90/274.16 c | 447482 | 160 13600 95200 | 60442 59636 49 | 0.004 % |
274.60/274.87 c | 448640 | 160 13600 95200 | 60442 53982 49 | 0.004 % |
275.30/275.55 c | 449914 | 160 13600 95200 | 60442 55256 49 | 0.004 % |
276.00/276.25 c | 451314 | 160 13600 95200 | 55342 50716 49 | 0.004 % |
276.79/277.01 c | 452854 | 160 13600 95200 | 55342 52256 49 | 0.004 % |
277.59/277.85 c | 454549 | 160 13600 95200 | 55342 53951 49 | 0.004 % |
278.69/278.91 c | 456413 | 160 13600 95200 | 55342 50273 49 | 0.004 % |
279.59/279.88 c | 458462 | 160 13600 95200 | 55342 52322 49 | 0.004 % |
280.79/281.05 c | 460716 | 160 13600 95200 | 2147483647 54576 49 | 0.004 % |
282.09/282.38 c | 463195 | 160 13600 95200 | 2147483647 57055 49 | 0.004 % |
283.69/283.94 c | 465922 | 160 13600 95200 | 2147483647 59782 49 | 0.004 % |
285.59/285.80 c | 468921 | 160 13600 95200 | 2147483647 62781 49 | 0.004 % |
287.58/287.88 c | 472217 | 160 13600 95200 | 2147483647 66077 49 | 0.004 % |
289.97/290.29 c | 475843 | 160 13600 95200 | 2147483647 69703 49 | 0.004 % |
293.07/293.38 c | 479832 | 160 13600 95200 | 2147483647 73692 49 | 0.004 % |
296.07/296.36 c | 484218 | 160 13600 95200 | 73860 67734 49 | 0.004 % |
296.17/296.44 c | 484319 | 160 13600 95200 | 73860 67835 49 | 0.004 % |
296.27/296.52 c | 484430 | 160 13600 95200 | 73860 67946 49 | 0.004 % |
296.37/296.62 c | 484551 | 160 13600 95200 | 73860 68067 49 | 0.004 % |
296.47/296.76 c | 484685 | 160 13600 95200 | 73860 68201 49 | 0.004 % |
296.57/296.89 c | 484832 | 160 13600 95200 | 73860 68348 49 | 0.004 % |
296.78/297.02 c | 484992 | 160 13600 95200 | 73860 68508 49 | 0.004 % |
296.87/297.16 c | 485168 | 160 13600 95200 | 73860 68684 49 | 0.004 % |
297.07/297.31 c | 485361 | 160 13600 95200 | 73860 68877 49 | 0.004 % |
297.17/297.48 c | 485575 | 160 13600 95200 | 73860 69091 49 | 0.004 % |
297.37/297.65 c | 485810 | 160 13600 95200 | 73860 69326 49 | 0.004 % |
297.57/297.84 c | 486066 | 160 13600 95200 | 73860 69582 49 | 0.004 % |
297.77/298.09 c | 486347 | 160 13600 95200 | 73860 69863 49 | 0.004 % |
298.07/298.33 c | 486658 | 160 13600 95200 | 73860 70174 49 | 0.004 % |
298.27/298.60 c | 486998 | 160 13600 95200 | 73860 70514 49 | 0.004 % |
298.57/298.89 c | 487372 | 160 13600 95200 | 73860 70888 49 | 0.004 % |
298.97/299.21 c | 487784 | 160 13600 95200 | 73860 71300 49 | 0.004 % |
299.27/299.52 c | 488234 | 160 13600 95200 | 73860 71750 49 | 0.004 % |
299.57/299.89 c | 488729 | 160 13600 95200 | 73860 72245 49 | 0.004 % |
300.07/300.31 c | 489273 | 160 13600 95200 | 73860 72789 49 | 0.004 % |
300.47/300.74 c | 489870 | 160 13600 95200 | 73860 73386 49 | 0.004 % |
300.97/301.28 c | 490525 | 160 13600 95200 | 73517 61950 48 | 0.004 % |
301.57/301.80 c | 491246 | 160 13600 95200 | 73517 62671 48 | 0.004 % |
302.07/302.34 c | 492039 | 160 13600 95200 | 73517 63464 48 | 0.004 % |
302.67/302.92 c | 492910 | 160 13600 95200 | 73517 64335 49 | 0.004 % |
303.37/303.61 c | 493868 | 160 13600 95200 | 73517 65293 48 | 0.004 % |
304.06/304.34 c | 494922 | 160 13600 95200 | 73517 66347 49 | 0.004 % |
304.86/305.13 c | 496081 | 160 13600 95200 | 73517 67506 48 | 0.004 % |
305.86/306.15 c | 497356 | 160 13600 95200 | 73517 68781 48 | 0.004 % |
307.06/307.30 c | 498757 | 160 13600 95200 | 73517 70182 49 | 0.004 % |
308.26/308.58 c | 500298 | 160 13600 95200 | 71427 59586 48 | 0.004 % |
309.26/309.56 c | 501992 | 160 13600 95200 | 71427 61280 48 | 0.004 % |
310.36/310.69 c | 503858 | 160 13600 95200 | 71427 63146 48 | 0.004 % |
311.66/311.94 c | 505907 | 160 13600 95200 | 71427 65195 48 | 0.004 % |
313.16/313.47 c | 508160 | 160 13600 95200 | 71427 67448 48 | 0.004 % |
314.96/315.25 c | 510638 | 160 13600 95200 | 69288 59859 48 | 0.004 % |
316.66/316.99 c | 513364 | 160 13600 95200 | 69288 62585 48 | 0.004 % |
318.56/318.87 c | 516361 | 160 13600 95200 | 69288 65582 48 | 0.004 % |
320.66/320.97 c | 519657 | 160 13600 95200 | 69288 68878 48 | 0.004 % |
323.06/323.40 c | 523282 | 160 13600 95200 | 69224 63185 48 | 0.004 % |
325.66/325.98 c | 527271 | 160 13600 95200 | 69224 67174 48 | 0.004 % |
328.46/328.77 c | 531659 | 160 13600 95200 | 60340 53782 49 | 0.004 % |
331.25/331.50 c | 536482 | 160 13600 95200 | 60340 58605 49 | 0.004 % |
331.25/331.56 c | 536582 | 160 13600 95200 | 60340 58705 49 | 0.004 % |
331.35/331.66 c | 536694 | 160 13600 95200 | 60340 58817 49 | 0.004 % |
331.45/331.74 c | 536816 | 160 13600 95200 | 60340 58939 49 | 0.004 % |
331.55/331.82 c | 536949 | 160 13600 95200 | 60340 59072 49 | 0.004 % |
331.65/331.92 c | 537095 | 160 13600 95200 | 60340 59218 49 | 0.004 % |
331.75/332.03 c | 537256 | 160 13600 95200 | 60340 59379 49 | 0.004 % |
331.85/332.17 c | 537432 | 160 13600 95200 | 60340 59555 49 | 0.004 % |
332.05/332.30 c | 537625 | 160 13600 95200 | 60340 59748 49 | 0.004 % |
332.15/332.45 c | 537837 | 160 13600 95200 | 60340 59960 49 | 0.004 % |
332.25/332.59 c | 538070 | 160 13600 95200 | 60340 60193 49 | 0.004 % |
332.55/332.81 c | 538327 | 160 13600 95200 | 60340 54214 49 | 0.004 % |
332.65/332.99 c | 538610 | 160 13600 95200 | 60340 54497 49 | 0.004 % |
332.84/333.18 c | 538920 | 160 13600 95200 | 60340 54807 49 | 0.004 % |
333.05/333.39 c | 539260 | 160 13600 95200 | 60340 55147 49 | 0.004 % |
333.34/333.61 c | 539632 | 160 13600 95200 | 60340 55519 49 | 0.004 % |
333.54/333.86 c | 540041 | 160 13600 95200 | 55887 55928 49 | 0.004 % |
333.84/334.19 c | 540492 | 160 13600 95200 | 55887 50619 49 | 0.004 % |
334.15/334.49 c | 540985 | 160 13600 95200 | 55887 51112 49 | 0.004 % |
334.54/334.80 c | 541527 | 160 13600 95200 | 55887 51654 49 | 0.004 % |
334.84/335.15 c | 542124 | 160 13600 95200 | 55887 52251 49 | 0.004 % |
335.25/335.53 c | 542781 | 160 13600 95200 | 55887 52908 49 | 0.004 % |
335.64/335.98 c | 543502 | 160 13600 95200 | 55887 53629 49 | 0.004 % |
336.14/336.41 c | 544297 | 160 13600 95200 | 55887 54424 49 | 0.004 % |
336.54/336.90 c | 545169 | 160 13600 95200 | 55887 55296 49 | 0.004 % |
337.14/337.43 c | 546128 | 160 13600 95200 | 55887 50659 49 | 0.004 % |
337.64/337.97 c | 547183 | 160 13600 95200 | 55887 51714 49 | 0.004 % |
338.34/338.60 c | 548341 | 160 13600 95200 | 55887 52872 49 | 0.004 % |
339.04/339.37 c | 549616 | 160 13600 95200 | 55887 54147 49 | 0.004 % |
339.84/340.16 c | 551016 | 160 13600 95200 | 2147483647 55547 49 | 0.004 % |
340.84/341.17 c | 552557 | 160 13600 95200 | 2147483647 57088 49 | 0.004 % |
341.94/342.20 c | 554251 | 160 13600 95200 | 2147483647 58782 49 | 0.004 % |
343.04/343.39 c | 556115 | 160 13600 95200 | 2147483647 60646 49 | 0.004 % |
344.64/344.92 c | 558165 | 160 13600 95200 | 2147483647 62696 49 | 0.004 % |
346.04/346.36 c | 560419 | 160 13600 95200 | 64531 57673 49 | 0.004 % |
347.54/347.82 c | 562898 | 160 13600 95200 | 64531 60152 49 | 0.004 % |
349.24/349.55 c | 565623 | 160 13600 95200 | 64531 62877 49 | 0.004 % |
351.04/351.38 c | 568620 | 160 13600 95200 | 64531 58395 49 | 0.004 % |
352.84/353.11 c | 571917 | 160 13600 95200 | 59776 55100 49 | 0.004 % |
354.74/355.06 c | 575542 | 160 13600 95200 | 59776 58725 49 | 0.004 % |
357.14/357.41 c | 579531 | 160 13600 95200 | 59776 56729 49 | 0.004 % |
359.73/360.07 c | 583917 | 160 13600 95200 | 2147483647 61115 49 | 0.004 % |
363.13/363.42 c | 588740 | 160 13600 95200 | 2147483647 65938 49 | 0.004 % |
366.53/366.89 c | 594045 | 160 13600 95200 | 67198 62785 49 | 0.004 % |
366.63/366.98 c | 594145 | 160 13600 95200 | 67198 62885 49 | 0.004 % |
366.73/367.06 c | 594255 | 160 13600 95200 | 67198 62995 49 | 0.004 % |
366.83/367.15 c | 594378 | 160 13600 95200 | 67198 63118 49 | 0.004 % |
366.93/367.24 c | 594513 | 160 13600 95200 | 67198 63253 49 | 0.004 % |
367.04/367.37 c | 594659 | 160 13600 95200 | 67198 63399 49 | 0.004 % |
367.23/367.52 c | 594819 | 160 13600 95200 | 67198 63559 49 | 0.004 % |
367.33/367.64 c | 594995 | 160 13600 95200 | 67198 63735 49 | 0.004 % |
367.43/367.79 c | 595188 | 160 13600 95200 | 67198 63928 49 | 0.004 % |
367.63/367.93 c | 595400 | 160 13600 95200 | 67198 64140 49 | 0.004 % |
367.83/368.11 c | 595633 | 160 13600 95200 | 67198 64373 49 | 0.004 % |
367.93/368.27 c | 595890 | 160 13600 95200 | 67198 64630 49 | 0.004 % |
368.13/368.47 c | 596171 | 160 13600 95200 | 67198 64911 49 | 0.004 % |
368.33/368.69 c | 596480 | 160 13600 95200 | 67198 65220 49 | 0.004 % |
368.63/368.94 c | 596820 | 160 13600 95200 | 67198 65560 49 | 0.004 % |
368.93/369.23 c | 597193 | 160 13600 95200 | 67198 65933 49 | 0.004 % |
369.23/369.56 c | 597602 | 160 13600 95200 | 67198 66342 49 | 0.004 % |
369.53/369.88 c | 598051 | 160 13600 95200 | 67198 66791 49 | 0.004 % |
370.13/370.41 c | 598544 | 160 13600 95200 | 67198 57910 49 | 0.004 % |
370.43/370.79 c | 599087 | 160 13600 95200 | 67198 58453 49 | 0.004 % |
370.83/371.18 c | 599684 | 160 13600 95200 | 67198 59050 49 | 0.004 % |
371.33/371.66 c | 600340 | 160 13600 95200 | 59367 51443 49 | 0.004 % |
371.73/372.08 c | 601060 | 160 13600 95200 | 59367 52163 49 | 0.004 % |
372.23/372.59 c | 601853 | 160 13600 95200 | 59367 52956 49 | 0.004 % |
372.83/373.13 c | 602724 | 160 13600 95200 | 59367 53827 49 | 0.004 % |
373.43/373.71 c | 603682 | 160 13600 95200 | 59367 54785 49 | 0.004 % |
374.03/374.32 c | 604735 | 160 13600 95200 | 59367 55838 49 | 0.004 % |
374.63/374.98 c | 605893 | 160 13600 95200 | 59367 56996 49 | 0.004 % |
375.42/375.71 c | 607167 | 160 13600 95200 | 59367 58270 49 | 0.004 % |
376.22/376.54 c | 608567 | 160 13600 95200 | 59367 53551 49 | 0.004 % |
377.22/377.52 c | 610108 | 160 13600 95200 | 54985 49520 49 | 0.004 % |
378.12/378.42 c | 611802 | 160 13600 95200 | 54985 51214 49 | 0.004 % |
379.12/379.43 c | 613666 | 160 13600 95200 | 54985 53078 49 | 0.004 % |
380.22/380.53 c | 615715 | 160 13600 95200 | 54985 49623 49 | 0.004 % |
381.32/381.69 c | 617968 | 160 13600 95200 | 54985 51876 49 | 0.004 % |
382.71/383.03 c | 620446 | 160 13600 95200 | 2147483647 54354 49 | 0.004 % |
384.31/384.60 c | 623172 | 160 13600 95200 | 2147483647 57080 49 | 0.004 % |
386.11/386.47 c | 626169 | 160 13600 95200 | 2147483647 60077 49 | 0.004 % |
388.21/388.60 c | 629465 | 160 13600 95200 | 2147483647 63373 49 | 0.004 % |
390.61/390.93 c | 633093 | 160 13600 95200 | 2147483647 67001 49 | 0.004 % |
393.61/393.93 c | 637080 | 160 13600 95200 | 2147483647 70988 49 | 0.004 % |
396.91/397.27 c | 641466 | 160 13600 95200 | 73910 63590 49 | 0.004 % |
400.31/400.66 c | 646289 | 160 13600 95200 | 73910 68413 49 | 0.004 % |
404.10/404.42 c | 651594 | 160 13600 95200 | 72125 61589 49 | 0.004 % |
407.90/408.25 c | 657431 | 160 13600 95200 | 72125 67426 49 | 0.004 % |
408.00/408.32 c | 657531 | 160 13600 95200 | 72125 67526 49 | 0.004 % |
408.10/408.45 c | 657642 | 160 13600 95200 | 72125 67637 49 | 0.004 % |
408.20/408.54 c | 657763 | 160 13600 95200 | 72125 67758 49 | 0.004 % |
408.30/408.67 c | 657897 | 160 13600 95200 | 72125 67892 49 | 0.004 % |
408.40/408.79 c | 658043 | 160 13600 95200 | 72125 68038 49 | 0.004 % |
408.60/408.95 c | 658204 | 160 13600 95200 | 72125 68199 49 | 0.004 % |
408.81/409.10 c | 658381 | 160 13600 95200 | 72125 68376 49 | 0.004 % |
408.91/409.25 c | 658575 | 160 13600 95200 | 72125 68570 49 | 0.004 % |
409.10/409.45 c | 658787 | 160 13600 95200 | 72125 68782 49 | 0.004 % |
409.30/409.65 c | 659020 | 160 13600 95200 | 72125 69015 49 | 0.004 % |
409.50/409.87 c | 659277 | 160 13600 95200 | 72125 69272 49 | 0.004 % |
409.70/410.08 c | 659559 | 160 13600 95200 | 72125 69554 49 | 0.004 % |
410.00/410.36 c | 659868 | 160 13600 95200 | 72125 69863 49 | 0.004 % |
410.40/410.72 c | 660209 | 160 13600 95200 | 69997 58774 49 | 0.004 % |
410.60/410.97 c | 660581 | 160 13600 95200 | 69997 59146 49 | 0.004 % |
410.90/411.28 c | 660991 | 160 13600 95200 | 69997 59556 49 | 0.004 % |
411.30/411.61 c | 661443 | 160 13600 95200 | 69997 60008 49 | 0.004 % |
411.60/411.95 c | 661936 | 160 13600 95200 | 69997 60501 49 | 0.004 % |
412.00/412.32 c | 662479 | 160 13600 95200 | 69997 61044 49 | 0.004 % |
412.40/412.73 c | 663075 | 160 13600 95200 | 69997 61640 49 | 0.004 % |
412.90/413.24 c | 663730 | 160 13600 95200 | 69997 62295 49 | 0.004 % |
413.50/413.87 c | 664450 | 160 13600 95200 | 69997 63015 49 | 0.004 % |
414.10/414.44 c | 665243 | 160 13600 95200 | 69997 63808 49 | 0.004 % |
414.70/415.04 c | 666114 | 160 13600 95200 | 69997 64679 49 | 0.004 % |
415.30/415.67 c | 667072 | 160 13600 95200 | 69997 65637 49 | 0.004 % |
416.20/416.55 c | 668126 | 160 13600 95200 | 69997 66691 49 | 0.004 % |
417.00/417.39 c | 669288 | 160 13600 95200 | 69997 67853 49 | 0.004 % |
417.90/418.27 c | 670562 | 160 13600 95200 | 68566 58533 49 | 0.004 % |
418.90/419.25 c | 671963 | 160 13600 95200 | 68566 59934 49 | 0.004 % |
419.80/420.19 c | 673504 | 160 13600 95200 | 68566 61475 49 | 0.004 % |
421.00/421.37 c | 675198 | 160 13600 95200 | 68566 63169 49 | 0.004 % |
422.10/422.48 c | 677061 | 160 13600 95200 | 68566 65032 49 | 0.004 % |
423.59/423.95 c | 679111 | 160 13600 95200 | 68566 67082 49 | 0.004 % |
424.99/425.33 c | 681365 | 160 13600 95200 | 67972 59901 49 | 0.004 % |
426.50/426.84 c | 683843 | 160 13600 95200 | 67972 62379 49 | 0.004 % |
428.19/428.59 c | 686569 | 160 13600 95200 | 67972 65105 49 | 0.004 % |
430.69/431.04 c | 689566 | 160 13600 95200 | 67972 58769 49 | 0.004 % |
432.89/433.21 c | 692864 | 160 13600 95200 | 59205 53846 49 | 0.004 % |
435.08/435.41 c | 696490 | 160 13600 95200 | 59205 57472 49 | 0.004 % |
437.68/438.04 c | 700477 | 160 13600 95200 | 54207 48806 49 | 0.004 % |
440.08/440.48 c | 704862 | 160 13600 95200 | 54207 53191 49 | 0.004 % |
442.48/442.84 c | 709687 | 160 13600 95200 | 54207 52588 49 | 0.004 % |
445.28/445.63 c | 714997 | 160 13600 95200 | 2147483647 57898 49 | 0.004 % |
448.88/449.26 c | 720832 | 160 13600 95200 | 2147483647 63733 49 | 0.004 % |
453.08/453.43 c | 727253 | 160 13600 95200 | 2147483647 70154 49 | 0.004 % |
453.18/453.51 c | 727353 | 160 13600 95200 | 2147483647 70254 49 | 0.004 % |
453.18/453.58 c | 727463 | 160 13600 95200 | 2147483647 70364 49 | 0.004 % |
453.28/453.67 c | 727584 | 160 13600 95200 | 2147483647 70485 49 | 0.004 % |
453.48/453.83 c | 727718 | 160 13600 95200 | 2147483647 70619 49 | 0.004 % |
453.58/453.96 c | 727865 | 160 13600 95200 | 2147483647 70766 49 | 0.004 % |
453.68/454.08 c | 728025 | 160 13600 95200 | 2147483647 70926 49 | 0.004 % |
453.88/454.26 c | 728201 | 160 13600 95200 | 2147483647 71102 49 | 0.004 % |
454.08/454.42 c | 728395 | 160 13600 95200 | 2147483647 71296 49 | 0.004 % |
454.18/454.60 c | 728607 | 160 13600 95200 | 2147483647 71508 49 | 0.004 % |
454.38/454.79 c | 728842 | 160 13600 95200 | 2147483647 71743 49 | 0.004 % |
454.68/455.03 c | 729100 | 160 13600 95200 | 2147483647 72001 49 | 0.004 % |
454.88/455.25 c | 729381 | 160 13600 95200 | 2147483647 72282 49 | 0.004 % |
455.08/455.49 c | 729691 | 160 13600 95200 | 2147483647 72592 49 | 0.004 % |
455.38/455.72 c | 730032 | 160 13600 95200 | 72901 72933 49 | 0.004 % |
455.68/456.07 c | 730405 | 160 13600 95200 | 72901 63162 49 | 0.004 % |
456.08/456.42 c | 730815 | 160 13600 95200 | 72901 63572 49 | 0.004 % |
456.38/456.75 c | 731264 | 160 13600 95200 | 72901 64021 49 | 0.004 % |
456.78/457.11 c | 731759 | 160 13600 95200 | 72901 64516 49 | 0.004 % |
457.18/457.51 c | 732302 | 160 13600 95200 | 72901 65059 49 | 0.004 % |
457.57/457.91 c | 732900 | 160 13600 95200 | 72901 65657 49 | 0.004 % |
457.97/458.34 c | 733556 | 160 13600 95200 | 72901 66313 49 | 0.004 % |
458.57/458.95 c | 734276 | 160 13600 95200 | 72901 67033 49 | 0.004 % |
459.17/459.50 c | 735069 | 160 13600 95200 | 72901 67826 49 | 0.004 % |
459.87/460.20 c | 735941 | 160 13600 95200 | 72901 68698 49 | 0.004 % |
460.58/460.95 c | 736901 | 160 13600 95200 | 72901 69658 49 | 0.004 % |
461.27/461.67 c | 737954 | 160 13600 95200 | 72901 70711 49 | 0.004 % |
462.07/462.44 c | 739112 | 160 13600 95200 | 72901 71869 49 | 0.004 % |
463.07/463.41 c | 740385 | 160 13600 95200 | 72758 60854 49 | 0.004 % |
464.07/464.40 c | 741785 | 160 13600 95200 | 72758 62254 49 | 0.004 % |
464.98/465.32 c | 743325 | 160 13600 95200 | 72758 63794 49 | 0.004 % |
466.07/466.47 c | 745020 | 160 13600 95200 | 72758 65489 49 | 0.004 % |
467.46/467.84 c | 746883 | 160 13600 95200 | 72758 67352 49 | 0.004 % |
468.86/469.28 c | 748932 | 160 13600 95200 | 72758 69401 49 | 0.004 % |
470.37/470.75 c | 751185 | 160 13600 95200 | 70471 60800 49 | 0.004 % |
471.76/472.19 c | 753663 | 160 13600 95200 | 70471 63278 49 | 0.004 % |
473.56/473.93 c | 756388 | 160 13600 95200 | 70471 66003 49 | 0.004 % |
475.46/475.81 c | 759385 | 160 13600 95200 | 70471 69000 49 | 0.004 % |
477.26/477.69 c | 762683 | 160 13600 95200 | 69615 62687 49 | 0.004 % |
479.36/479.79 c | 766308 | 160 13600 95200 | 69615 66312 49 | 0.004 % |
481.86/482.23 c | 770297 | 160 13600 95200 | 61785 54834 49 | 0.004 % |
484.26/484.61 c | 774682 | 160 13600 95200 | 61785 59219 49 | 0.004 % |
487.06/487.49 c | 779506 | 160 13600 95200 | 61785 57857 49 | 0.004 % |
490.17/490.53 c | 784811 | 160 13600 95200 | 2147483647 63162 49 | 0.004 % |
493.76/494.16 c | 790647 | 160 13600 95200 | 68351 60479 49 | 0.004 % |
497.97/498.33 c | 797066 | 160 13600 95200 | 68351 66898 49 | 0.004 % |
501.86/502.24 c | 804126 | 160 13600 95200 | 60667 56675 49 | 0.004 % |
501.86/502.30 c | 804227 | 160 13600 95200 | 60667 56776 49 | 0.004 % |
501.96/502.37 c | 804338 | 160 13600 95200 | 60667 56887 49 | 0.004 % |
502.06/502.46 c | 804459 | 160 13600 95200 | 60667 57008 49 | 0.004 % |
502.16/502.55 c | 804593 | 160 13600 95200 | 60667 57142 49 | 0.004 % |
502.26/502.67 c | 804739 | 160 13600 95200 | 60667 57288 49 | 0.004 % |
502.36/502.79 c | 804901 | 160 13600 95200 | 60667 57450 49 | 0.004 % |
502.56/502.91 c | 805077 | 160 13600 95200 | 60667 57626 49 | 0.004 % |
502.66/503.08 c | 805271 | 160 13600 95200 | 60667 57820 49 | 0.004 % |
502.86/503.22 c | 805484 | 160 13600 95200 | 60667 58033 49 | 0.004 % |
502.96/503.37 c | 805718 | 160 13600 95200 | 60667 58267 49 | 0.004 % |
503.16/503.53 c | 805974 | 160 13600 95200 | 60667 58523 49 | 0.004 % |
503.36/503.71 c | 806256 | 160 13600 95200 | 60667 58805 49 | 0.004 % |
503.56/503.91 c | 806566 | 160 13600 95200 | 60667 59115 49 | 0.004 % |
503.76/504.17 c | 806905 | 160 13600 95200 | 60667 59454 49 | 0.004 % |
504.06/504.41 c | 807278 | 160 13600 95200 | 60667 59827 49 | 0.004 % |
504.26/504.66 c | 807687 | 160 13600 95200 | 60667 60236 49 | 0.004 % |
504.66/505.00 c | 808138 | 160 13600 95200 | 60667 60687 49 | 0.004 % |
504.96/505.36 c | 808632 | 160 13600 95200 | 60667 54139 49 | 0.004 % |
505.36/505.71 c | 809177 | 160 13600 95200 | 60667 54684 49 | 0.004 % |
505.66/506.07 c | 809774 | 160 13600 95200 | 60667 55281 49 | 0.004 % |
506.06/506.46 c | 810429 | 160 13600 95200 | 55509 49639 49 | 0.004 % |
506.46/506.83 c | 811149 | 160 13600 95200 | 55509 50359 49 | 0.004 % |
506.86/507.23 c | 811941 | 160 13600 95200 | 55509 51151 49 | 0.004 % |
507.26/507.66 c | 812813 | 160 13600 95200 | 55509 52023 49 | 0.004 % |
507.76/508.18 c | 813771 | 160 13600 95200 | 55509 52981 49 | 0.004 % |
508.35/508.77 c | 814825 | 160 13600 95200 | 55509 54035 49 | 0.004 % |
508.96/509.39 c | 815983 | 160 13600 95200 | 55509 55193 49 | 0.004 % |
509.75/510.15 c | 817256 | 160 13600 95200 | 55509 50909 49 | 0.004 % |
510.55/510.90 c | 818656 | 160 13600 95200 | 55509 52309 49 | 0.004 % |
511.35/511.77 c | 820196 | 160 13600 95200 | 2147483647 53849 49 | 0.004 % |
512.35/512.73 c | 821891 | 160 13600 95200 | 2147483647 55544 49 | 0.004 % |
513.45/513.82 c | 823756 | 160 13600 95200 | 2147483647 57409 49 | 0.004 % |
514.64/515.07 c | 825805 | 160 13600 95200 | 2147483647 59458 49 | 0.004 % |
516.14/516.50 c | 828058 | 160 13600 95200 | 2147483647 61711 49 | 0.004 % |
517.94/518.30 c | 830537 | 160 13600 95200 | 2147483647 64190 49 | 0.004 % |
519.85/520.28 c | 833262 | 160 13600 95200 | 2147483647 66915 49 | 0.004 % |
522.15/522.52 c | 836260 | 160 13600 95200 | 2147483647 69913 49 | 0.004 % |
524.44/524.85 c | 839557 | 160 13600 95200 | 2147483647 73210 49 | 0.004 % |
527.24/527.66 c | 843182 | 160 13600 95200 | 73654 65242 49 | 0.004 % |
529.74/530.10 c | 847170 | 160 13600 95200 | 73654 69230 49 | 0.004 % |
532.84/533.23 c | 851558 | 160 13600 95200 | 72061 62278 49 | 0.004 % |
536.14/536.53 c | 856381 | 160 13600 95200 | 72061 67101 49 | 0.004 % |
539.74/540.15 c | 861687 | 160 13600 95200 | 70723 61021 49 | 0.004 % |
543.54/544.00 c | 867523 | 160 13600 95200 | 70723 66857 49 | 0.004 % |
548.13/548.59 c | 873941 | 160 13600 95200 | 69336 62767 49 | 0.004 % |
553.13/553.58 c | 881001 | 160 13600 95200 | 68828 59647 49 | 0.004 % |
558.62/559.09 c | 888767 | 160 13600 95200 | 68828 67413 49 | 0.004 % |
558.72/559.17 c | 888867 | 160 13600 95200 | 68828 67513 49 | 0.004 % |
558.82/559.27 c | 888978 | 160 13600 95200 | 68828 67624 49 | 0.004 % |
558.92/559.36 c | 889099 | 160 13600 95200 | 68828 67745 49 | 0.004 % |
559.02/559.49 c | 889232 | 160 13600 95200 | 68828 67878 49 | 0.004 % |
559.22/559.61 c | 889378 | 160 13600 95200 | 68828 68024 49 | 0.004 % |
559.32/559.72 c | 889540 | 160 13600 95200 | 68828 68186 49 | 0.004 % |
559.42/559.90 c | 889716 | 160 13600 95200 | 68828 68362 49 | 0.004 % |
559.62/560.08 c | 889909 | 160 13600 95200 | 68828 68555 49 | 0.004 % |
559.92/560.32 c | 890121 | 160 13600 95200 | 68646 58260 50 | 0.004 % |
560.02/560.49 c | 890355 | 160 13600 95200 | 68646 58494 49 | 0.004 % |
560.22/560.67 c | 890612 | 160 13600 95200 | 68646 58751 49 | 0.004 % |
560.42/560.86 c | 890895 | 160 13600 95200 | 68646 59034 49 | 0.004 % |
560.62/561.08 c | 891204 | 160 13600 95200 | 68646 59343 49 | 0.004 % |
560.82/561.29 c | 891544 | 160 13600 95200 | 68646 59683 49 | 0.004 % |
561.22/561.63 c | 891916 | 160 13600 95200 | 68646 60055 49 | 0.004 % |
561.52/561.98 c | 892325 | 160 13600 95200 | 68646 60464 49 | 0.004 % |
561.92/562.34 c | 892774 | 160 13600 95200 | 68646 60913 49 | 0.004 % |
562.32/562.74 c | 893268 | 160 13600 95200 | 68646 61407 49 | 0.004 % |
562.72/563.11 c | 893810 | 160 13600 95200 | 68646 61949 49 | 0.004 % |
563.12/563.51 c | 894407 | 160 13600 95200 | 68646 62546 49 | 0.004 % |
563.52/563.99 c | 895062 | 160 13600 95200 | 68646 63201 49 | 0.004 % |
564.22/564.60 c | 895783 | 160 13600 95200 | 68646 63922 49 | 0.004 % |
564.82/565.24 c | 896575 | 160 13600 95200 | 68646 64714 49 | 0.004 % |
565.62/566.04 c | 897447 | 160 13600 95200 | 68646 65586 49 | 0.004 % |
566.32/566.73 c | 898406 | 160 13600 95200 | 68646 66545 49 | 0.004 % |
567.02/567.44 c | 899459 | 160 13600 95200 | 68646 67598 49 | 0.004 % |
567.92/568.31 c | 900617 | 160 13600 95200 | 68141 57439 49 | 0.004 % |
568.62/569.09 c | 901890 | 160 13600 95200 | 68141 58712 49 | 0.004 % |
569.52/569.93 c | 903291 | 160 13600 95200 | 68141 60113 49 | 0.004 % |
570.42/570.89 c | 904831 | 160 13600 95200 | 68141 61653 49 | 0.004 % |
571.42/571.82 c | 906527 | 160 13600 95200 | 68141 63349 49 | 0.004 % |
572.92/573.34 c | 908390 | 160 13600 95200 | 68141 65212 49 | 0.004 % |
574.52/574.95 c | 910439 | 160 13600 95200 | 66823 57544 49 | 0.004 % |
575.92/576.35 c | 912692 | 160 13600 95200 | 66823 59797 49 | 0.004 % |
577.41/577.84 c | 915170 | 160 13600 95200 | 66823 62275 49 | 0.004 % |
579.22/579.62 c | 917895 | 160 13600 95200 | 66823 65000 49 | 0.004 % |
581.11/581.52 c | 920892 | 160 13600 95200 | 58061 51145 49 | 0.004 % |
582.81/583.26 c | 924189 | 160 13600 95200 | 58061 54442 49 | 0.004 % |
584.72/585.11 c | 927815 | 160 13600 95200 | 58061 58068 49 | 0.004 % |
586.81/587.22 c | 931803 | 160 13600 95200 | 2147483647 56250 49 | 0.004 % |
589.11/589.60 c | 936191 | 160 13600 95200 | 2147483647 60638 49 | 0.004 % |
592.21/592.69 c | 941015 | 160 13600 95200 | 2147483647 65462 49 | 0.004 % |
596.31/596.71 c | 946320 | 160 13600 95200 | 2147483647 70767 49 | 0.004 % |
600.40/600.82 c | 952155 | 160 13600 95200 | 74447 64238 49 | 0.004 % |
604.60/605.09 c | 958574 | 160 13600 95200 | 74447 70657 49 | 0.004 % |
609.19/609.62 c | 965634 | 160 13600 95200 | 72084 66240 50 | 0.004 % |
613.99/614.44 c | 973398 | 160 13600 95200 | 70607 63328 50 | 0.004 % |
619.39/619.87 c | 981939 | 160 13600 95200 | 69930 62073 50 | 0.004 % |
619.49/619.92 c | 982039 | 160 13600 95200 | 69930 62173 50 | 0.004 % |
619.59/620.02 c | 982149 | 160 13600 95200 | 69930 62283 50 | 0.004 % |
619.69/620.12 c | 982270 | 160 13600 95200 | 69930 62404 50 | 0.004 % |
619.79/620.20 c | 982404 | 160 13600 95200 | 69930 62538 50 | 0.004 % |
619.89/620.31 c | 982550 | 160 13600 95200 | 69930 62684 50 | 0.004 % |
619.99/620.45 c | 982711 | 160 13600 95200 | 69930 62845 50 | 0.004 % |
620.09/620.58 c | 982887 | 160 13600 95200 | 69930 63021 50 | 0.004 % |
620.29/620.70 c | 983081 | 160 13600 95200 | 69930 63215 50 | 0.004 % |
620.39/620.87 c | 983293 | 160 13600 95200 | 69930 63427 50 | 0.004 % |
620.59/621.03 c | 983528 | 160 13600 95200 | 69930 63662 50 | 0.004 % |
620.79/621.25 c | 983786 | 160 13600 95200 | 69930 63920 50 | 0.004 % |
620.99/621.45 c | 984067 | 160 13600 95200 | 69930 64201 50 | 0.004 % |
621.19/621.69 c | 984379 | 160 13600 95200 | 69930 64513 50 | 0.004 % |
621.49/621.95 c | 984719 | 160 13600 95200 | 69930 64853 50 | 0.004 % |
621.79/622.24 c | 985092 | 160 13600 95200 | 69930 65226 50 | 0.004 % |
622.19/622.62 c | 985502 | 160 13600 95200 | 69930 65636 50 | 0.004 % |
622.49/622.97 c | 985952 | 160 13600 95200 | 69930 66086 50 | 0.004 % |
622.89/623.34 c | 986445 | 160 13600 95200 | 69930 66579 50 | 0.004 % |
623.29/623.76 c | 986987 | 160 13600 95200 | 69930 67121 50 | 0.004 % |
623.79/624.25 c | 987583 | 160 13600 95200 | 69930 67717 50 | 0.004 % |
624.29/624.80 c | 988238 | 160 13600 95200 | 69930 68372 50 | 0.004 % |
624.89/625.36 c | 988960 | 160 13600 95200 | 69930 69094 50 | 0.004 % |
625.49/625.97 c | 989753 | 160 13600 95200 | 69930 69887 50 | 0.004 % |
626.19/626.62 c | 990624 | 160 13600 95200 | 59209 50620 50 | 0.004 % |
626.69/627.14 c | 991583 | 160 13600 95200 | 59209 51579 50 | 0.004 % |
627.39/627.89 c | 992636 | 160 13600 95200 | 59209 52632 50 | 0.004 % |
628.19/628.63 c | 993795 | 160 13600 95200 | 59209 53791 50 | 0.004 % |
628.89/629.36 c | 995069 | 160 13600 95200 | 59209 55065 50 | 0.004 % |
629.89/630.36 c | 996470 | 160 13600 95200 | 59209 56466 50 | 0.004 % |
630.99/631.41 c | 998010 | 160 13600 95200 | 59209 58006 50 | 0.004 % |
632.09/632.58 c | 999704 | 160 13600 95200 | 59209 52750 49 | 0.004 % |
633.19/633.69 c | 1001568 | 160 13600 95200 | 53046 48492 49 | 0.004 % |
634.38/634.80 c | 1003619 | 160 13600 95200 | 53046 50543 49 | 0.004 % |
635.58/636.00 c | 1005873 | 160 13600 95200 | 53046 52797 49 | 0.004 % |
636.68/637.18 c | 1008352 | 160 13600 95200 | 53046 49964 49 | 0.004 % |
638.18/638.62 c | 1011077 | 160 13600 95200 | 2147483647 52689 49 | 0.004 % |
640.18/640.62 c | 1014074 | 160 13600 95200 | 2147483647 55686 49 | 0.004 % |
642.48/642.98 c | 1017370 | 160 13600 95200 | 2147483647 58982 49 | 0.004 % |
644.68/645.11 c | 1020995 | 160 13600 95200 | 61612 56334 49 | 0.004 % |
646.87/647.39 c | 1024982 | 160 13600 95200 | 61612 60321 49 | 0.004 % |
649.37/649.88 c | 1029368 | 160 13600 95200 | 61612 58407 49 | 0.004 % |
652.17/652.65 c | 1034191 | 160 13600 95200 | 2147483647 63230 49 | 0.004 % |
655.37/655.80 c | 1039496 | 160 13600 95200 | 2147483647 68535 49 | 0.004 % |
658.77/659.26 c | 1045331 | 160 13600 95200 | 69039 66932 49 | 0.004 % |
662.57/663.05 c | 1051750 | 160 13600 95200 | 63156 57306 49 | 0.004 % |
667.07/667.60 c | 1058810 | 160 13600 95200 | 63156 57289 49 | 0.004 % |
672.46/672.95 c | 1066574 | 160 13600 95200 | 58483 52830 49 | 0.004 % |
677.06/677.50 c | 1075117 | 160 13600 95200 | 2147483647 61373 49 | 0.004 % |
682.26/682.77 c | 1084513 | 160 13600 95200 | 66258 62868 49 | 0.004 % |
682.36/682.83 c | 1084613 | 160 13600 95200 | 66258 62968 49 | 0.004 % |
682.46/682.91 c | 1084724 | 160 13600 95200 | 66258 63079 49 | 0.004 % |
682.46/682.99 c | 1084845 | 160 13600 95200 | 66258 63200 49 | 0.004 % |
682.56/683.09 c | 1084979 | 160 13600 95200 | 66258 63334 49 | 0.004 % |
682.76/683.21 c | 1085126 | 160 13600 95200 | 66258 63481 49 | 0.004 % |
682.86/683.33 c | 1085286 | 160 13600 95200 | 66258 63641 49 | 0.004 % |
682.96/683.46 c | 1085462 | 160 13600 95200 | 66258 63817 49 | 0.004 % |
683.06/683.59 c | 1085655 | 160 13600 95200 | 66258 64010 49 | 0.004 % |
683.26/683.75 c | 1085868 | 160 13600 95200 | 66258 64223 49 | 0.004 % |
683.46/683.94 c | 1086102 | 160 13600 95200 | 66258 64457 49 | 0.004 % |
683.66/684.14 c | 1086358 | 160 13600 95200 | 66258 64713 49 | 0.004 % |
683.86/684.37 c | 1086642 | 160 13600 95200 | 66258 64997 49 | 0.004 % |
684.16/684.60 c | 1086953 | 160 13600 95200 | 66258 65308 49 | 0.004 % |
684.36/684.83 c | 1087293 | 160 13600 95200 | 66258 65648 49 | 0.004 % |
684.56/685.08 c | 1087667 | 160 13600 95200 | 66258 66022 49 | 0.004 % |
684.96/685.47 c | 1088078 | 160 13600 95200 | 66258 57827 49 | 0.004 % |
685.26/685.79 c | 1088528 | 160 13600 95200 | 66258 58277 49 | 0.004 % |
685.66/686.14 c | 1089025 | 160 13600 95200 | 66258 58774 49 | 0.004 % |
686.06/686.53 c | 1089568 | 160 13600 95200 | 66258 59317 49 | 0.004 % |
686.46/686.97 c | 1090165 | 160 13600 95200 | 59750 52070 49 | 0.004 % |
686.86/687.30 c | 1090820 | 160 13600 95200 | 59750 52725 49 | 0.004 % |
687.15/687.69 c | 1091543 | 160 13600 95200 | 59750 53448 49 | 0.004 % |
687.65/688.17 c | 1092336 | 160 13600 95200 | 59750 54241 49 | 0.004 % |
688.16/688.64 c | 1093208 | 160 13600 95200 | 59750 55113 49 | 0.004 % |
688.75/689.20 c | 1094167 | 160 13600 95200 | 59750 56072 49 | 0.004 % |
689.26/689.79 c | 1095223 | 160 13600 95200 | 59750 57128 49 | 0.004 % |
689.95/690.46 c | 1096381 | 160 13600 95200 | 59750 58286 49 | 0.004 % |
690.75/691.26 c | 1097654 | 160 13600 95200 | 59750 59559 49 | 0.004 % |
691.65/692.12 c | 1099054 | 160 13600 95200 | 59750 54978 49 | 0.004 % |
692.65/693.13 c | 1100594 | 160 13600 95200 | 2147483647 56518 49 | 0.004 % |
693.65/694.13 c | 1102291 | 160 13600 95200 | 2147483647 58215 49 | 0.004 % |
694.75/695.25 c | 1104154 | 160 13600 95200 | 2147483647 60078 49 | 0.004 % |
696.05/696.57 c | 1106204 | 160 13600 95200 | 2147483647 62128 49 | 0.004 % |
697.44/697.98 c | 1108457 | 160 13600 95200 | 2147483647 64381 49 | 0.004 % |
699.15/699.61 c | 1110936 | 160 13600 95200 | 65924 59162 49 | 0.004 % |
700.64/701.18 c | 1113661 | 160 13600 95200 | 65924 61887 49 | 0.004 % |
702.35/702.88 c | 1116658 | 160 13600 95200 | 65924 64884 49 | 0.004 % |
704.44/704.93 c | 1119956 | 160 13600 95200 | 65924 60934 49 | 0.004 % |
706.44/706.96 c | 1123581 | 160 13600 95200 | 60979 58055 49 | 0.004 % |
709.04/709.53 c | 1127569 | 160 13600 95200 | 60979 55769 49 | 0.004 % |
711.64/712.18 c | 1131955 | 160 13600 95200 | 58200 54100 49 | 0.004 % |
714.54/715.00 c | 1136779 | 160 13600 95200 | 58200 53098 49 | 0.004 % |
717.63/718.14 c | 1142084 | 160 13600 95200 | 2147483647 58403 49 | 0.004 % |
721.53/722.08 c | 1147920 | 160 13600 95200 | 2147483647 64239 49 | 0.004 % |
725.83/726.33 c | 1154338 | 160 13600 95200 | 66320 62373 49 | 0.004 % |
730.43/730.94 c | 1161397 | 160 13600 95200 | 59320 53145 49 | 0.004 % |
734.73/735.24 c | 1169162 | 160 13600 95200 | 59320 54971 49 | 0.004 % |
739.82/740.32 c | 1177703 | 160 13600 95200 | 2147483647 63512 49 | 0.004 % |
746.11/746.69 c | 1187097 | 160 13600 95200 | 65809 65683 49 | 0.004 % |
752.01/752.59 c | 1197430 | 160 13600 95200 | 60501 60551 49 | 0.004 % |
752.21/752.71 c | 1197531 | 160 13600 95200 | 60501 53878 49 | 0.004 % |
752.21/752.79 c | 1197641 | 160 13600 95200 | 60501 53988 49 | 0.004 % |
752.31/752.87 c | 1197762 | 160 13600 95200 | 60501 54109 49 | 0.004 % |
752.41/752.94 c | 1197896 | 160 13600 95200 | 60501 54243 49 | 0.004 % |
752.51/753.04 c | 1198042 | 160 13600 95200 | 60501 54389 49 | 0.004 % |
752.61/753.15 c | 1198202 | 160 13600 95200 | 60501 54549 49 | 0.004 % |
752.71/753.26 c | 1198378 | 160 13600 95200 | 60501 54725 49 | 0.004 % |
752.92/753.40 c | 1198572 | 160 13600 95200 | 60501 54919 49 | 0.004 % |
753.02/753.55 c | 1198784 | 160 13600 95200 | 60501 55131 49 | 0.004 % |
753.21/753.70 c | 1199017 | 160 13600 95200 | 60501 55364 49 | 0.004 % |
753.31/753.88 c | 1199273 | 160 13600 95200 | 60501 55620 49 | 0.004 % |
753.51/754.07 c | 1199554 | 160 13600 95200 | 60501 55901 49 | 0.004 % |
753.81/754.32 c | 1199864 | 160 13600 95200 | 60501 56211 49 | 0.004 % |
754.02/754.58 c | 1200203 | 160 13600 95200 | 56347 50128 49 | 0.004 % |
754.31/754.80 c | 1200575 | 160 13600 95200 | 56347 50500 49 | 0.004 % |
754.51/755.07 c | 1200986 | 160 13600 95200 | 56347 50911 49 | 0.004 % |
754.81/755.34 c | 1201436 | 160 13600 95200 | 56347 51361 49 | 0.004 % |
755.01/755.60 c | 1201930 | 160 13600 95200 | 56347 51855 49 | 0.004 % |
755.41/755.92 c | 1202473 | 160 13600 95200 | 56347 52398 49 | 0.004 % |
755.71/756.26 c | 1203069 | 160 13600 95200 | 56347 52994 49 | 0.004 % |
756.21/756.71 c | 1203725 | 160 13600 95200 | 56347 53650 49 | 0.004 % |
756.61/757.13 c | 1204447 | 160 13600 95200 | 56347 54372 49 | 0.004 % |
757.01/757.52 c | 1205241 | 160 13600 95200 | 56347 55166 49 | 0.004 % |
757.51/758.06 c | 1206112 | 160 13600 95200 | 56347 56037 49 | 0.004 % |
758.11/758.60 c | 1207070 | 160 13600 95200 | 56347 51354 49 | 0.004 % |
758.71/759.25 c | 1208124 | 160 13600 95200 | 56347 52408 49 | 0.004 % |
759.31/759.86 c | 1209282 | 160 13600 95200 | 56347 53566 49 | 0.004 % |
760.11/760.64 c | 1210555 | 160 13600 95200 | 2147483647 54839 49 | 0.004 % |
761.01/761.54 c | 1211955 | 160 13600 95200 | 2147483647 56239 49 | 0.004 % |
761.91/762.48 c | 1213496 | 160 13600 95200 | 2147483647 57780 49 | 0.004 % |
763.01/763.51 c | 1215190 | 160 13600 95200 | 2147483647 59474 49 | 0.004 % |
764.21/764.70 c | 1217054 | 160 13600 95200 | 2147483647 61338 49 | 0.004 % |
765.51/766.09 c | 1219104 | 160 13600 95200 | 2147483647 63388 49 | 0.004 % |
767.11/767.61 c | 1221357 | 160 13600 95200 | 64284 58095 49 | 0.004 % |
768.51/769.09 c | 1223835 | 160 13600 95200 | 64284 60573 49 | 0.004 % |
770.20/770.75 c | 1226561 | 160 13600 95200 | 64284 63299 49 | 0.004 % |
772.30/772.88 c | 1229558 | 160 13600 95200 | 64284 58516 49 | 0.004 % |
774.50/775.05 c | 1232856 | 160 13600 95200 | 58959 54598 49 | 0.004 % |
776.50/777.07 c | 1236485 | 160 13600 95200 | 58959 58227 49 | 0.004 % |
778.90/779.45 c | 1240473 | 160 13600 95200 | 2147483647 56242 49 | 0.004 % |
781.70/782.22 c | 1244859 | 160 13600 95200 | 2147483647 60628 49 | 0.004 % |
784.70/785.25 c | 1249682 | 160 13600 95200 | 2147483647 65451 49 | 0.004 % |
788.20/788.75 c | 1254987 | 160 13600 95200 | 65769 63339 49 | 0.004 % |
792.30/792.81 c | 1260823 | 160 13600 95200 | 59844 53043 49 | 0.004 % |
796.30/796.83 c | 1267241 | 160 13600 95200 | 59844 59461 49 | 0.004 % |
800.40/800.94 c | 1274300 | 160 13600 95200 | 55851 54468 49 | 0.004 % |
804.50/805.08 c | 1282065 | 160 13600 95200 | 2147483647 56641 50 | 0.004 % |
809.49/810.03 c | 1290605 | 160 13600 95200 | 64577 57912 50 | 0.004 % |
814.79/815.34 c | 1299999 | 160 13600 95200 | 64577 59752 50 | 0.004 % |
820.49/821.04 c | 1310332 | 160 13600 95200 | 2147483647 57386 50 | 0.004 % |
827.28/827.80 c | 1321698 | 160 13600 95200 | 2147483647 68752 50 | 0.004 % |
827.28/827.87 c | 1321798 | 160 13600 95200 | 2147483647 68852 50 | 0.004 % |
827.38/827.96 c | 1321908 | 160 13600 95200 | 2147483647 68962 50 | 0.004 % |
827.48/828.08 c | 1322029 | 160 13600 95200 | 2147483647 69083 50 | 0.004 % |
827.58/828.20 c | 1322162 | 160 13600 95200 | 2147483647 69216 50 | 0.004 % |
827.79/828.31 c | 1322310 | 160 13600 95200 | 2147483647 69364 50 | 0.004 % |
827.88/828.43 c | 1322470 | 160 13600 95200 | 2147483647 69524 50 | 0.004 % |
827.98/828.57 c | 1322646 | 160 13600 95200 | 2147483647 69700 50 | 0.004 % |
828.18/828.75 c | 1322839 | 160 13600 95200 | 2147483647 69893 50 | 0.004 % |
828.38/828.93 c | 1323051 | 160 13600 95200 | 2147483647 70105 50 | 0.004 % |
828.58/829.14 c | 1323284 | 160 13600 95200 | 2147483647 70338 50 | 0.004 % |
828.78/829.35 c | 1323543 | 160 13600 95200 | 2147483647 70597 50 | 0.004 % |
829.08/829.65 c | 1323825 | 160 13600 95200 | 2147483647 70879 50 | 0.004 % |
829.38/829.92 c | 1324134 | 160 13600 95200 | 2147483647 71188 50 | 0.004 % |
829.68/830.22 c | 1324475 | 160 13600 95200 | 2147483647 71529 50 | 0.004 % |
829.98/830.54 c | 1324847 | 160 13600 95200 | 2147483647 71901 50 | 0.004 % |
830.28/830.84 c | 1325258 | 160 13600 95200 | 2147483647 72312 50 | 0.004 % |
830.68/831.23 c | 1325707 | 160 13600 95200 | 2147483647 72761 50 | 0.004 % |
831.08/831.63 c | 1326201 | 160 13600 95200 | 2147483647 73255 50 | 0.004 % |
831.48/832.08 c | 1326744 | 160 13600 95200 | 2147483647 73798 50 | 0.004 % |
831.98/832.56 c | 1327341 | 160 13600 95200 | 2147483647 74395 50 | 0.004 % |
832.58/833.17 c | 1327997 | 160 13600 95200 | 2147483647 75051 50 | 0.004 % |
833.18/833.77 c | 1328718 | 160 13600 95200 | 2147483647 75772 50 | 0.004 % |
833.87/834.43 c | 1329510 | 160 13600 95200 | 2147483647 76564 50 | 0.004 % |
834.77/835.30 c | 1330382 | 160 13600 95200 | 77055 63862 50 | 0.004 % |
835.48/836.01 c | 1331341 | 160 13600 95200 | 77055 64821 50 | 0.004 % |
836.07/836.65 c | 1332396 | 160 13600 95200 | 77055 65876 50 | 0.004 % |
836.87/837.45 c | 1333554 | 160 13600 95200 | 77055 67034 50 | 0.004 % |
837.87/838.40 c | 1334827 | 160 13600 95200 | 77055 68307 50 | 0.004 % |
838.78/839.33 c | 1336227 | 160 13600 95200 | 77055 69707 50 | 0.004 % |
839.87/840.41 c | 1337768 | 160 13600 95200 | 77055 71248 50 | 0.004 % |
841.17/841.75 c | 1339462 | 160 13600 95200 | 77055 72942 50 | 0.004 % |
842.57/843.12 c | 1341325 | 160 13600 95200 | 73480 62452 50 | 0.004 % |
843.77/844.35 c | 1343377 | 160 13600 95200 | 73480 64504 50 | 0.004 % |
845.27/845.85 c | 1345631 | 160 13600 95200 | 73480 66758 50 | 0.004 % |
846.97/847.53 c | 1348109 | 160 13600 95200 | 73480 69236 50 | 0.004 % |
848.86/849.46 c | 1350834 | 160 13600 95200 | 71127 61840 49 | 0.004 % |
850.66/851.24 c | 1353832 | 160 13600 95200 | 71127 64838 49 | 0.004 % |
852.86/853.45 c | 1357129 | 160 13600 95200 | 71127 68135 49 | 0.004 % |
855.27/855.80 c | 1360756 | 160 13600 95200 | 71006 62708 49 | 0.004 % |
857.66/858.27 c | 1364743 | 160 13600 95200 | 71006 66695 49 | 0.004 % |
860.56/861.12 c | 1369129 | 160 13600 95200 | 71006 61685 49 | 0.004 % |
863.46/864.04 c | 1373955 | 160 13600 95200 | 62556 58347 49 | 0.004 % |
866.86/867.47 c | 1379261 | 160 13600 95200 | 62556 56860 49 | 0.004 % |
870.15/870.76 c | 1385097 | 160 13600 95200 | 57599 56605 49 | 0.004 % |
873.45/874.04 c | 1391516 | 160 13600 95200 | 2147483647 57257 49 | 0.004 % |
877.55/878.17 c | 1398575 | 160 13600 95200 | 2147483647 64316 49 | 0.004 % |
882.55/883.11 c | 1406339 | 160 13600 95200 | 65741 64879 49 | 0.004 % |
887.75/888.30 c | 1414881 | 160 13600 95200 | 60241 57930 49 | 0.004 % |
893.25/893.82 c | 1424275 | 160 13600 95200 | 2147483647 61293 49 | 0.004 % |
900.25/900.83 c | 1434609 | 160 13600 95200 | 67018 63811 49 | 0.004 % |
907.95/908.50 c | 1445977 | 160 13600 95200 | 60564 58796 49 | 0.004 % |
915.24/915.84 c | 1458480 | 160 13600 95200 | 56382 53508 49 | 0.004 % |
915.34/915.90 c | 1458581 | 160 13600 95200 | 56382 53609 49 | 0.004 % |
915.34/915.98 c | 1458693 | 160 13600 95200 | 56382 53721 49 | 0.004 % |
915.44/916.05 c | 1458814 | 160 13600 95200 | 56382 53842 49 | 0.004 % |
915.54/916.13 c | 1458947 | 160 13600 95200 | 56382 53975 49 | 0.004 % |
915.64/916.22 c | 1459094 | 160 13600 95200 | 56382 54122 49 | 0.004 % |
915.74/916.34 c | 1459258 | 160 13600 95200 | 56382 54286 49 | 0.004 % |
915.83/916.45 c | 1459434 | 160 13600 95200 | 56382 54462 49 | 0.004 % |
915.93/916.60 c | 1459627 | 160 13600 95200 | 56382 54655 49 | 0.004 % |
916.13/916.72 c | 1459839 | 160 13600 95200 | 56382 54867 49 | 0.004 % |
916.23/916.85 c | 1460072 | 160 13600 95200 | 2147483647 55100 49 | 0.004 % |
916.43/917.04 c | 1460329 | 160 13600 95200 | 2147483647 55357 49 | 0.004 % |
916.63/917.23 c | 1460611 | 160 13600 95200 | 2147483647 55639 49 | 0.004 % |
916.84/917.43 c | 1460921 | 160 13600 95200 | 2147483647 55949 49 | 0.004 % |
917.03/917.62 c | 1461260 | 160 13600 95200 | 2147483647 56288 49 | 0.004 % |
917.23/917.82 c | 1461632 | 160 13600 95200 | 2147483647 56660 49 | 0.004 % |
917.43/918.06 c | 1462041 | 160 13600 95200 | 2147483647 57069 49 | 0.004 % |
917.73/918.37 c | 1462490 | 160 13600 95200 | 2147483647 57518 49 | 0.004 % |
918.03/918.65 c | 1462985 | 160 13600 95200 | 2147483647 58013 49 | 0.004 % |
918.43/919.02 c | 1463527 | 160 13600 95200 | 2147483647 58555 49 | 0.004 % |
918.83/919.42 c | 1464124 | 160 13600 95200 | 2147483647 59152 49 | 0.004 % |
919.13/919.77 c | 1464779 | 160 13600 95200 | 2147483647 59807 49 | 0.004 % |
919.63/920.20 c | 1465504 | 160 13600 95200 | 2147483647 60532 49 | 0.004 % |
920.13/920.75 c | 1466296 | 160 13600 95200 | 2147483647 61324 49 | 0.004 % |
920.73/921.33 c | 1467170 | 160 13600 95200 | 2147483647 62198 49 | 0.004 % |
921.33/921.95 c | 1468128 | 160 13600 95200 | 2147483647 63156 49 | 0.004 % |
921.93/922.58 c | 1469184 | 160 13600 95200 | 2147483647 64212 49 | 0.004 % |
922.73/923.38 c | 1470343 | 160 13600 95200 | 65031 57664 49 | 0.004 % |
923.53/924.17 c | 1471617 | 160 13600 95200 | 65031 58938 49 | 0.004 % |
924.43/925.04 c | 1473020 | 160 13600 95200 | 65031 60341 49 | 0.004 % |
925.73/926.30 c | 1474560 | 160 13600 95200 | 65031 61881 49 | 0.004 % |
926.83/927.48 c | 1476254 | 160 13600 95200 | 65031 63575 49 | 0.004 % |
928.23/928.84 c | 1478119 | 160 13600 95200 | 65031 56410 49 | 0.004 % |
929.43/930.04 c | 1480168 | 160 13600 95200 | 58292 50867 49 | 0.004 % |
930.53/931.14 c | 1482422 | 160 13600 95200 | 58292 53121 49 | 0.004 % |
931.93/932.51 c | 1484900 | 160 13600 95200 | 58292 55599 49 | 0.004 % |
933.43/934.07 c | 1487625 | 160 13600 95200 | 58292 58324 49 | 0.004 % |
935.12/935.72 c | 1490622 | 160 13600 95200 | 2147483647 55489 49 | 0.004 % |
936.82/937.50 c | 1493919 | 160 13600 95200 | 2147483647 58786 49 | 0.004 % |
939.02/939.65 c | 1497545 | 160 13600 95200 | 2147483647 62412 49 | 0.004 % |
941.62/942.23 c | 1501532 | 160 13600 95200 | 64869 59623 49 | 0.004 % |
944.23/944.83 c | 1505917 | 160 13600 95200 | 64869 64008 49 | 0.004 % |
946.92/947.51 c | 1510741 | 160 13600 95200 | 60163 53951 49 | 0.004 % |
949.52/950.11 c | 1516046 | 160 13600 95200 | 60163 59256 49 | 0.004 % |
952.92/953.53 c | 1521882 | 160 13600 95200 | 2147483647 59069 50 | 0.004 % |
956.62/957.29 c | 1528302 | 160 13600 95200 | 2147483647 65489 50 | 0.004 % |
961.21/961.85 c | 1535362 | 160 13600 95200 | 67188 64592 50 | 0.004 % |
965.81/966.41 c | 1543127 | 160 13600 95200 | 61141 57074 50 | 0.004 % |
971.21/971.82 c | 1551667 | 160 13600 95200 | 57286 52955 50 | 0.004 % |
976.61/977.27 c | 1561065 | 160 13600 95200 | 2147483647 56617 50 | 0.004 % |
982.60/983.28 c | 1571398 | 160 13600 95200 | 2147483647 66950 50 | 0.004 % |
990.60/991.28 c | 1582765 | 160 13600 95200 | 75552 66703 50 | 0.004 % |
999.10/999.71 c | 1595267 | 160 13600 95200 | 73938 67865 50 | 0.004 % |
1009.39/1010.00 c | 1609019 | 160 13600 95200 | 72598 70446 49 | 0.004 % |
1009.49/1010.10 c | 1609119 | 160 13600 95200 | 72598 70546 49 | 0.004 % |
1009.49/1010.18 c | 1609230 | 160 13600 95200 | 72598 70657 49 | 0.004 % |
1009.59/1010.29 c | 1609351 | 160 13600 95200 | 72598 70778 49 | 0.004 % |
1009.69/1010.40 c | 1609485 | 160 13600 95200 | 72598 70912 49 | 0.004 % |
1009.89/1010.53 c | 1609632 | 160 13600 95200 | 72598 71059 49 | 0.004 % |
1009.99/1010.65 c | 1609793 | 160 13600 95200 | 72598 71220 49 | 0.004 % |
1010.09/1010.80 c | 1609970 | 160 13600 95200 | 72598 71397 49 | 0.004 % |
1010.39/1011.01 c | 1610163 | 160 13600 95200 | 71427 60374 49 | 0.004 % |
1010.49/1011.14 c | 1610375 | 160 13600 95200 | 71427 60586 49 | 0.004 % |
1010.59/1011.29 c | 1610608 | 160 13600 95200 | 71427 60819 49 | 0.004 % |
1010.79/1011.44 c | 1610864 | 160 13600 95200 | 71427 61075 49 | 0.004 % |
1010.99/1011.60 c | 1611145 | 160 13600 95200 | 71427 61356 49 | 0.004 % |
1011.09/1011.78 c | 1611455 | 160 13600 95200 | 71427 61666 49 | 0.004 % |
1011.29/1011.96 c | 1611794 | 160 13600 95200 | 71427 62005 49 | 0.004 % |
1011.59/1012.20 c | 1612166 | 160 13600 95200 | 71427 62377 49 | 0.004 % |
1011.79/1012.44 c | 1612575 | 160 13600 95200 | 71427 62786 49 | 0.004 % |
1012.09/1012.78 c | 1613026 | 160 13600 95200 | 71427 63237 49 | 0.004 % |
1012.49/1013.14 c | 1613520 | 160 13600 95200 | 71427 63731 49 | 0.004 % |
1012.89/1013.56 c | 1614064 | 160 13600 95200 | 71427 64275 49 | 0.004 % |
1013.39/1014.08 c | 1614663 | 160 13600 95200 | 71427 64874 49 | 0.004 % |
1013.89/1014.59 c | 1615320 | 160 13600 95200 | 71427 65531 49 | 0.004 % |
1014.39/1015.09 c | 1616040 | 160 13600 95200 | 71427 66251 49 | 0.004 % |
1015.09/1015.70 c | 1616832 | 160 13600 95200 | 71427 67043 49 | 0.004 % |
1015.69/1016.37 c | 1617706 | 160 13600 95200 | 71427 67917 49 | 0.004 % |
1016.48/1017.14 c | 1618665 | 160 13600 95200 | 71427 68876 49 | 0.004 % |
1017.28/1017.90 c | 1619718 | 160 13600 95200 | 71427 69929 49 | 0.004 % |
1018.08/1018.76 c | 1620877 | 160 13600 95200 | 70212 59809 49 | 0.004 % |
1018.78/1019.49 c | 1622151 | 160 13600 95200 | 70212 61083 49 | 0.004 % |
1019.68/1020.38 c | 1623551 | 160 13600 95200 | 70212 62483 49 | 0.004 % |
1020.88/1021.55 c | 1625092 | 160 13600 95200 | 70212 64024 49 | 0.004 % |
1022.08/1022.71 c | 1626786 | 160 13600 95200 | 70212 65718 49 | 0.004 % |
1023.28/1023.96 c | 1628649 | 160 13600 95200 | 70212 67581 49 | 0.004 % |
1024.68/1025.39 c | 1630698 | 160 13600 95200 | 68932 59139 49 | 0.004 % |
1026.18/1026.87 c | 1632951 | 160 13600 95200 | 68932 61392 49 | 0.004 % |
1027.68/1028.35 c | 1635429 | 160 13600 95200 | 68932 63870 49 | 0.004 % |
1029.38/1030.02 c | 1638155 | 160 13600 95200 | 68932 66596 49 | 0.004 % |
1031.38/1032.08 c | 1641152 | 160 13600 95200 | 68442 60037 49 | 0.004 % |
1033.28/1033.94 c | 1644450 | 160 13600 95200 | 68442 63335 49 | 0.004 % |
1035.38/1036.07 c | 1648075 | 160 13600 95200 | 68442 66960 49 | 0.004 % |
1037.98/1038.61 c | 1652062 | 160 13600 95200 | 60373 54877 49 | 0.004 % |
1040.57/1041.20 c | 1656448 | 160 13600 95200 | 60373 59263 49 | 0.004 % |
1043.28/1043.99 c | 1661271 | 160 13600 95200 | 2147483647 57820 49 | 0.004 % |
1046.37/1047.04 c | 1666576 | 160 13600 95200 | 2147483647 63125 49 | 0.004 % |
1050.27/1050.94 c | 1672411 | 160 13600 95200 | 66549 61299 50 | 0.004 % |
1054.37/1055.04 c | 1678829 | 160 13600 95200 | 66549 59680 50 | 0.004 % |
1058.57/1059.23 c | 1685889 | 160 13600 95200 | 60852 59472 50 | 0.004 % |
1063.36/1064.07 c | 1693654 | 160 13600 95200 | 56965 54598 50 | 0.004 % |
1068.26/1068.96 c | 1702197 | 160 13600 95200 | 2147483647 57437 50 | 0.004 % |
1074.06/1074.73 c | 1711592 | 160 13600 95200 | 65243 59775 50 | 0.004 % |
1080.46/1081.12 c | 1721925 | 160 13600 95200 | 59585 54001 50 | 0.004 % |
1087.06/1087.71 c | 1733292 | 160 13600 95200 | 2147483647 59105 50 | 0.004 % |
1094.55/1095.22 c | 1745794 | 160 13600 95200 | 65813 64325 49 | 0.004 % |
1102.45/1103.14 c | 1759548 | 160 13600 95200 | 60599 56825 49 | 0.004 % |
1111.94/1112.60 c | 1774675 | 160 13600 95200 | 67277 62988 50 | 0.004 % |
1111.94/1112.66 c | 1774775 | 160 13600 95200 | 67277 63088 50 | 0.004 % |
1112.04/1112.74 c | 1774885 | 160 13600 95200 | 67277 63198 50 | 0.004 % |
1112.14/1112.83 c | 1775006 | 160 13600 95200 | 67277 63319 50 | 0.004 % |
1112.24/1112.95 c | 1775143 | 160 13600 95200 | 67277 63456 50 | 0.004 % |
1112.34/1113.07 c | 1775289 | 160 13600 95200 | 67277 63602 50 | 0.004 % |
1112.45/1113.19 c | 1775449 | 160 13600 95200 | 67277 63762 50 | 0.004 % |
1112.64/1113.32 c | 1775626 | 160 13600 95200 | 67277 63939 50 | 0.004 % |
1112.74/1113.48 c | 1775819 | 160 13600 95200 | 67277 64132 50 | 0.004 % |
1112.94/1113.68 c | 1776031 | 160 13600 95200 | 67277 64344 50 | 0.004 % |
1113.24/1113.90 c | 1776264 | 160 13600 95200 | 67277 64577 50 | 0.004 % |
1113.34/1114.08 c | 1776520 | 160 13600 95200 | 67277 64833 50 | 0.004 % |
1113.65/1114.35 c | 1776801 | 160 13600 95200 | 67277 65114 50 | 0.004 % |
1113.84/1114.57 c | 1777110 | 160 13600 95200 | 67277 65423 50 | 0.004 % |
1114.14/1114.81 c | 1777451 | 160 13600 95200 | 67277 65764 50 | 0.004 % |
1114.44/1115.11 c | 1777824 | 160 13600 95200 | 67277 66137 50 | 0.004 % |
1114.75/1115.41 c | 1778234 | 160 13600 95200 | 67277 66547 50 | 0.004 % |
1115.04/1115.72 c | 1778683 | 160 13600 95200 | 67277 66996 50 | 0.004 % |
1115.44/1116.15 c | 1779176 | 160 13600 95200 | 67277 57566 49 | 0.004 % |
1115.75/1116.48 c | 1779719 | 160 13600 95200 | 67277 58109 49 | 0.004 % |
1116.14/1116.88 c | 1780315 | 160 13600 95200 | 58390 50258 49 | 0.004 % |
1116.54/1117.25 c | 1780974 | 160 13600 95200 | 58390 50917 49 | 0.004 % |
1116.95/1117.66 c | 1781694 | 160 13600 95200 | 58390 51637 49 | 0.004 % |
1117.34/1118.07 c | 1782486 | 160 13600 95200 | 58390 52429 49 | 0.004 % |
1117.74/1118.50 c | 1783359 | 160 13600 95200 | 58390 53302 49 | 0.004 % |
1118.24/1118.94 c | 1784318 | 160 13600 95200 | 58390 54261 49 | 0.004 % |
1118.84/1119.50 c | 1785371 | 160 13600 95200 | 58390 55314 49 | 0.004 % |
1119.44/1120.19 c | 1786529 | 160 13600 95200 | 58390 56472 49 | 0.004 % |
1120.24/1120.99 c | 1787802 | 160 13600 95200 | 58390 57745 49 | 0.004 % |
1121.14/1121.82 c | 1789203 | 160 13600 95200 | 58390 53300 49 | 0.004 % |
1121.94/1122.65 c | 1790744 | 160 13600 95200 | 2147483647 54841 49 | 0.004 % |
1122.84/1123.59 c | 1792439 | 160 13600 95200 | 2147483647 56536 49 | 0.004 % |
1123.94/1124.66 c | 1794302 | 160 13600 95200 | 2147483647 58399 49 | 0.004 % |
1125.14/1125.85 c | 1796351 | 160 13600 95200 | 2147483647 60448 49 | 0.004 % |
1126.54/1127.20 c | 1798605 | 160 13600 95200 | 2147483647 62702 49 | 0.004 % |
1128.04/1128.72 c | 1801083 | 160 13600 95200 | 2147483647 65180 49 | 0.004 % |
1130.14/1130.85 c | 1803809 | 160 13600 95200 | 2147483647 67906 49 | 0.004 % |
1132.74/1133.41 c | 1806806 | 160 13600 95200 | 2147483647 70903 49 | 0.004 % |
1135.24/1135.92 c | 1810106 | 160 13600 95200 | 74097 61708 49 | 0.004 % |
1137.44/1138.17 c | 1813731 | 160 13600 95200 | 74097 65333 49 | 0.004 % |
1140.23/1140.99 c | 1817720 | 160 13600 95200 | 74097 69322 49 | 0.004 % |
1143.23/1143.92 c | 1822106 | 160 13600 95200 | 71602 62724 49 | 0.004 % |
1146.23/1146.98 c | 1826932 | 160 13600 95200 | 71602 67550 49 | 0.004 % |
1149.94/1150.62 c | 1832238 | 160 13600 95200 | 70619 62520 49 | 0.004 % |
1153.73/1154.41 c | 1838073 | 160 13600 95200 | 70619 68355 49 | 0.004 % |
1157.53/1158.28 c | 1844491 | 160 13600 95200 | 70283 64541 49 | 0.004 % |
1162.23/1162.90 c | 1851551 | 160 13600 95200 | 70052 62091 49 | 0.004 % |
1167.03/1167.73 c | 1859316 | 160 13600 95200 | 70052 69856 50 | 0.004 % |
1171.83/1172.57 c | 1867857 | 160 13600 95200 | 60451 59702 50 | 0.004 % |
1177.53/1178.28 c | 1877252 | 160 13600 95200 | 2147483647 63045 50 | 0.004 % |
1184.12/1184.81 c | 1887585 | 160 13600 95200 | 65794 59263 50 | 0.004 % |
1190.21/1190.97 c | 1898952 | 160 13600 95200 | 61681 57210 50 | 0.004 % |
1196.71/1197.47 c | 1911457 | 160 13600 95200 | 2147483647 57801 50 | 0.004 % |
1200.01/1200.70 HOME/SatELiteGTI: line 36: 1462 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-1832615-1242785160/watcher-1832615-1242785160 -o /tmp/evaluation-result-1832615-1242785160/solver-1832615-1242785160 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832615-1242785160.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1456
/proc/meminfo: memFree=1707984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0
/proc/1456/stat : 1456 (SatELiteGTI) R 1454 1456 888 0 -1 4194304 287 249 0 0 0 0 0 0 18 0 1 0 306545687 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 214945202258 0 0 4100 65536 0 0 0 17 0 0 0
/proc/1456/statm: 1339 237 197 169 0 50 0
[startup+0.023547 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1456
/proc/meminfo: memFree=1707984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306545687 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101559 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1456
/proc/meminfo: memFree=1707984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301582 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1456
/proc/meminfo: memFree=1707984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70163 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1456
/proc/meminfo: memFree=1707984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50172 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1704832/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=4816 CPUtime=1.43
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 954 0 0 0 143 0 0 0 25 0 1 0 306545692 4931584 940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 1204 940 76 171 0 1031 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10172
[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1702656/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=7036 CPUtime=3.03
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 1499 0 0 0 302 1 0 0 25 0 1 0 306545692 7204864 1485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1462/statm: 1759 1485 76 171 0 1586 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12392
[startup+6.30126 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1699392/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=9708 CPUtime=6.21
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 2136 0 0 0 620 1 0 0 25 0 1 0 306545692 9940992 2122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 2427 2122 76 171 0 2254 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15064
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1695552/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=13236 CPUtime=12.61
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 3017 0 0 0 1259 2 0 0 25 0 1 0 306545692 13553664 3003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 3309 3003 76 171 0 3136 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18592
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1690816/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=17720 CPUtime=25.4
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 4151 0 0 0 2536 4 0 0 25 0 1 0 306545692 18145280 4137 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 4430 4137 76 171 0 4257 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23076
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1690560/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=17852 CPUtime=50.99
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 4183 0 0 0 5095 4 0 0 25 0 1 0 306545692 18280448 4169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 4463 4169 76 171 0 4290 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 23208
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1689984/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=18380 CPUtime=102.16
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 4304 0 0 0 10211 5 0 0 25 0 1 0 306545692 18821120 4290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 4595 4290 76 171 0 4422 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 23736
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1687808/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=20360 CPUtime=162.11
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 4815 0 0 0 16206 5 0 0 25 0 1 0 306545692 20848640 4801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5090 4801 76 171 0 4917 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 25716
[startup+222.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/67 1462
/proc/meminfo: memFree=1686976/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=21176 CPUtime=222.08
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5002 0 0 0 22202 6 0 0 25 0 1 0 306545692 21684224 4988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5294 4988 76 171 0 5121 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 26532
[startup+282.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 1462
/proc/meminfo: memFree=1686784/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=21176 CPUtime=282.05
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5007 0 0 0 28199 6 0 0 25 0 1 0 306545692 21684224 4993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5294 4993 76 171 0 5121 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 26532
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1686528/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=21308 CPUtime=342
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5043 0 0 0 34194 6 0 0 25 0 1 0 306545692 21819392 5029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5327 5029 76 171 0 5154 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 26664
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1686144/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=21572 CPUtime=401.96
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5126 0 0 0 40190 6 0 0 25 0 1 0 306545692 22089728 5112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5393 5112 76 171 0 5220 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 26928
[startup+462.301 s]
################
# More data... #
################
[pid=1462] ppid=1456 vsize=21704 CPUtime=521.9
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5134 0 0 0 52183 7 0 0 25 0 1 0 306545692 22224896 5120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5426 5120 76 171 0 5253 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 27060
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1685696/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=21836 CPUtime=581.87
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5187 0 0 0 58180 7 0 0 25 0 1 0 306545692 22360064 5173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5459 5173 76 171 0 5286 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 27192
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1685056/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=22376 CPUtime=641.84
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5309 0 0 0 64177 7 0 0 25 0 1 0 306545692 22913024 5295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5594 5295 76 171 0 5421 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 27732
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1684864/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=22376 CPUtime=701.8
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5310 0 0 0 70173 7 0 0 25 0 1 0 306545692 22913024 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5594 5296 76 171 0 5421 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 27732
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1684800/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=22376 CPUtime=761.77
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5310 0 0 0 76170 7 0 0 25 0 1 0 306545692 22913024 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5594 5296 76 171 0 5421 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 27732
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1684800/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=22376 CPUtime=821.75
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5310 0 0 0 82167 8 0 0 25 0 1 0 306545692 22913024 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5594 5296 76 171 0 5421 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 27732
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1683520/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23432 CPUtime=881.71
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5592 0 0 0 88163 8 0 0 25 0 1 0 306545692 23994368 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5858 5578 76 171 0 5685 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 28788
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1683456/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23432 CPUtime=941.68
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5592 0 0 0 94160 8 0 0 25 0 1 0 306545692 23994368 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5858 5578 76 171 0 5685 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 28788
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1683328/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23572 CPUtime=1001.66
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5599 0 0 0 100158 8 0 0 25 0 1 0 306545692 24137728 5585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5893 5585 76 171 0 5720 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 28928
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1683136/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23732 CPUtime=1061.62
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5633 0 0 0 106154 8 0 0 25 0 1 0 306545692 24301568 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5933 5619 76 171 0 5760 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 29088
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1683008/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23732 CPUtime=1121.6
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5633 0 0 0 112152 8 0 0 25 0 1 0 306545692 24301568 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5933 5619 76 171 0 5760 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 29088
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1682944/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23732 CPUtime=1181.58
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5633 0 0 0 118149 9 0 0 25 0 1 0 306545692 24301568 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5933 5619 76 171 0 5760 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 29088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1682880/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23732 CPUtime=1199.97
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5633 0 0 0 119988 9 0 0 25 0 1 0 306545692 24301568 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5933 5619 76 171 0 5760 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 29088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1462
/proc/meminfo: memFree=1682880/2055920 swapFree=4124168/4192956
[pid=1456] ppid=1454 vsize=5356 CPUtime=0.04
/proc/1456/stat : 1456 (SatELiteGTI) S 1454 1456 888 0 -1 4194304 336 668 0 0 0 0 4 0 17 0 1 0 306545687 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1456/statm: 1339 239 197 169 0 50 0
[pid=1462] ppid=1456 vsize=23732 CPUtime=1199.97
/proc/1462/stat : 1462 (minisat_static) R 1456 1456 888 0 -1 4194304 5633 0 0 0 119988 9 0 0 25 0 1 0 306545692 24301568 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/1462/statm: 5933 5619 76 171 0 5760 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 29088
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.94
CPU system time (s): 0.098984
CPU usage (%): 99.9436
Max. virtual memory (cumulated for all children) (KiB): 29088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6646
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= 23
involuntary context switches= 5729
runsolver used 1.16182 second user time and 3.34449 second system time
The end
Begin job on node85 at 2009-05-20 04:06:00
IDJOB=1832615
IDBENCH=70271
IDSOLVER=671
FILE ID=node85/1832615-1242785160
PBS_JOBID= 9322370
Free space on /tmp= 126512 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S285713182-059.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832615-1242785160/watcher-1832615-1242785160 -o /tmp/evaluation-result-1832615-1242785160/solver-1832615-1242785160 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832615-1242785160.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a43cbdef3a4536def8ea28a7d3ce3c97
RANDOM SEED=840567781
node85.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.238
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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1708536 kB
Buffers: 29448 kB
Cached: 208960 kB
SwapCached: 63444 kB
Active: 82300 kB
Inactive: 221564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708536 kB
SwapTotal: 4192956 kB
SwapFree: 4124168 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 29612 kB
Committed_AS: 945480 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126512 MiB
End job on node85 at 2009-05-20 04:26:03