0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.016997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.04/0.06 c | Parsing time: 0.01 s |
0.04/0.06 c ============================[ Search Statistics ]==============================
0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.06 c ===============================================================================
0.04/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.04/0.08 c | 102 | 160 13600 95200 | 4533 102 49 | 0.004 % |
0.04/0.08 c | 202 | 160 13600 95200 | 4533 202 50 | 0.004 % |
0.04/0.09 c | 304 | 160 13600 95200 | 4533 304 49 | 0.004 % |
0.04/0.10 c | 414 | 160 13600 95200 | 4533 414 49 | 0.004 % |
0.04/0.11 c | 515 | 160 13600 95200 | 4533 515 49 | 0.004 % |
0.04/0.12 c | 626 | 160 13600 95200 | 4533 626 49 | 0.004 % |
0.04/0.13 c | 748 | 160 13600 95200 | 4533 748 49 | 0.004 % |
0.04/0.14 c | 849 | 160 13600 95200 | 4533 849 49 | 0.004 % |
0.04/0.14 c | 959 | 160 13600 95200 | 4533 959 48 | 0.004 % |
0.04/0.15 c | 1083 | 160 13600 95200 | 4533 1083 48 | 0.004 % |
0.04/0.16 c | 1217 | 160 13600 95200 | 4533 1217 49 | 0.004 % |
0.04/0.17 c | 1318 | 160 13600 95200 | 4533 1318 49 | 0.004 % |
0.04/0.18 c | 1428 | 160 13600 95200 | 4533 1428 49 | 0.004 % |
0.04/0.19 c | 1550 | 160 13600 95200 | 4533 1550 49 | 0.004 % |
0.04/0.20 c | 1684 | 160 13600 95200 | 4533 1684 49 | 0.004 % |
0.04/0.21 c | 1830 | 160 13600 95200 | 4533 1830 48 | 0.004 % |
0.04/0.22 c | 1931 | 160 13600 95200 | 4533 1931 49 | 0.004 % |
0.04/0.23 c | 2043 | 160 13600 95200 | 4533 2043 48 | 0.004 % |
0.04/0.24 c | 2165 | 160 13600 95200 | 4533 2165 48 | 0.004 % |
0.04/0.25 c | 2301 | 160 13600 95200 | 4533 2301 48 | 0.004 % |
0.04/0.27 c | 2448 | 160 13600 95200 | 4533 2448 48 | 0.004 % |
0.04/0.28 c | 2611 | 160 13600 95200 | 4533 2611 48 | 0.004 % |
0.04/0.29 c | 2711 | 160 13600 95200 | 4533 2711 48 | 0.004 % |
0.04/0.29 c | 2822 | 160 13600 95200 | 4533 2822 48 | 0.004 % |
0.04/0.31 c | 2944 | 160 13600 95200 | 4533 2944 48 | 0.004 % |
0.04/0.32 c | 3078 | 160 13600 95200 | 4533 3078 48 | 0.004 % |
0.04/0.33 c | 3224 | 160 13600 95200 | 4533 3224 48 | 0.004 % |
0.04/0.34 c | 3385 | 160 13600 95200 | 4533 3385 48 | 0.004 % |
0.04/0.36 c | 3563 | 160 13600 95200 | 4533 3563 48 | 0.004 % |
0.04/0.37 c | 3665 | 160 13600 95200 | 4533 3665 48 | 0.004 % |
0.04/0.38 c | 3775 | 160 13600 95200 | 4533 3775 48 | 0.004 % |
0.04/0.39 c | 3900 | 160 13600 95200 | 4533 3900 48 | 0.004 % |
0.04/0.40 c | 4033 | 160 13600 95200 | 4533 4033 48 | 0.004 % |
0.04/0.41 c | 4181 | 160 13600 95200 | 4533 4181 48 | 0.004 % |
0.04/0.43 c | 4342 | 160 13600 95200 | 4533 4342 48 | 0.004 % |
0.04/0.44 c | 4518 | 160 13600 95200 | 4533 4518 48 | 0.004 % |
0.04/0.46 c | 4712 | 160 13600 95200 | 4533 4252 47 | 0.004 % |
0.04/0.47 c | 4812 | 160 13600 95200 | 4533 4352 47 | 0.004 % |
0.04/0.48 c | 4922 | 160 13600 95200 | 4533 4462 47 | 0.004 % |
0.04/0.49 c | 5045 | 160 13600 95200 | 4533 4585 47 | 0.004 % |
0.04/0.51 c | 5178 | 160 13600 95200 | 4533 4260 47 | 0.004 % |
0.04/0.52 c | 5324 | 160 13600 95200 | 4533 4406 47 | 0.004 % |
0.04/0.54 c | 5484 | 160 13600 95200 | 4533 4566 47 | 0.004 % |
0.04/0.56 c | 5661 | 160 13600 95200 | 4533 4287 47 | 0.004 % |
0.04/0.58 c | 5854 | 160 13600 95200 | 4533 4480 47 | 0.004 % |
0.04/0.60 c | 6066 | 160 13600 95200 | 4533 4233 47 | 0.004 % |
0.04/0.61 c | 6168 | 160 13600 95200 | 4533 4335 47 | 0.004 % |
0.04/0.62 c | 6278 | 160 13600 95200 | 4533 4445 47 | 0.004 % |
0.04/0.63 c | 6400 | 160 13600 95200 | 4533 4567 47 | 0.004 % |
0.04/0.64 c | 6533 | 160 13600 95200 | 4533 4244 47 | 0.004 % |
0.04/0.66 c | 6680 | 160 13600 95200 | 4533 4391 47 | 0.004 % |
0.04/0.67 c | 6841 | 160 13600 95200 | 4533 4552 47 | 0.004 % |
0.04/0.69 c | 7018 | 160 13600 95200 | 4533 4274 47 | 0.004 % |
0.04/0.71 c | 7213 | 160 13600 95200 | 4533 4469 47 | 0.004 % |
0.04/0.73 c | 7425 | 160 13600 95200 | 4533 4221 47 | 0.004 % |
0.04/0.75 c | 7661 | 160 13600 95200 | 4533 4457 47 | 0.004 % |
0.04/0.76 c | 7761 | 160 13600 95200 | 4533 4557 47 | 0.004 % |
0.04/0.77 c | 7873 | 160 13600 95200 | 4533 4214 47 | 0.004 % |
0.04/0.79 c | 7994 | 160 13600 95200 | 4533 4335 47 | 0.004 % |
0.04/0.80 c | 8127 | 160 13600 95200 | 4533 4468 47 | 0.004 % |
0.04/0.81 c | 8274 | 160 13600 95200 | 4533 4155 47 | 0.004 % |
0.04/0.83 c | 8436 | 160 13600 95200 | 4533 4317 47 | 0.004 % |
0.04/0.85 c | 8612 | 160 13600 95200 | 4533 4493 47 | 0.004 % |
0.04/0.87 c | 8805 | 160 13600 95200 | 4533 4226 47 | 0.004 % |
0.04/0.89 c | 9017 | 160 13600 95200 | 4533 4438 47 | 0.004 % |
0.04/0.91 c | 9251 | 160 13600 95200 | 4533 4212 47 | 0.004 % |
0.04/0.94 c | 9508 | 160 13600 95200 | 4533 4469 47 | 0.004 % |
0.04/0.95 c | 9608 | 160 13600 95200 | 4533 4569 47 | 0.004 % |
0.04/0.96 c | 9718 | 160 13600 95200 | 4533 4223 47 | 0.004 % |
0.04/0.97 c | 9840 | 160 13600 95200 | 4533 4345 47 | 0.004 % |
0.04/0.98 c | 9973 | 160 13600 95200 | 4533 4478 47 | 0.004 % |
0.97/1.00 c | 10119 | 160 13600 95200 | 2147483647 4624 47 | 0.004 % |
0.97/1.02 c | 10280 | 160 13600 95200 | 2147483647 4785 47 | 0.004 % |
0.97/1.04 c | 10457 | 160 13600 95200 | 2147483647 4962 47 | 0.004 % |
0.97/1.06 c | 10650 | 160 13600 95200 | 2147483647 5155 47 | 0.004 % |
0.97/1.08 c | 10864 | 160 13600 95200 | 2147483647 5369 47 | 0.004 % |
1.07/1.11 c | 11097 | 160 13600 95200 | 2147483647 5602 47 | 0.004 % |
1.07/1.14 c | 11353 | 160 13600 95200 | 2147483647 5858 47 | 0.004 % |
1.07/1.17 c | 11635 | 160 13600 95200 | 2147483647 6140 48 | 0.004 % |
1.07/1.18 c | 11739 | 160 13600 95200 | 2147483647 6244 48 | 0.004 % |
1.07/1.19 c | 11849 | 160 13600 95200 | 2147483647 6354 48 | 0.004 % |
1.17/1.20 c | 11971 | 160 13600 95200 | 2147483647 6476 48 | 0.004 % |
1.17/1.22 c | 12106 | 160 13600 95200 | 2147483647 6611 47 | 0.004 % |
1.17/1.23 c | 12252 | 160 13600 95200 | 2147483647 6757 47 | 0.004 % |
1.17/1.25 c | 12412 | 160 13600 95200 | 2147483647 6917 47 | 0.004 % |
1.17/1.27 c | 12588 | 160 13600 95200 | 2147483647 7093 48 | 0.004 % |
1.17/1.29 c | 12781 | 160 13600 95200 | 2147483647 7286 48 | 0.004 % |
1.27/1.31 c | 12994 | 160 13600 95200 | 2147483647 7499 48 | 0.004 % |
1.27/1.34 c | 13228 | 160 13600 95200 | 2147483647 7733 48 | 0.004 % |
1.27/1.37 c | 13484 | 160 13600 95200 | 2147483647 7989 48 | 0.004 % |
1.37/1.41 c | 13768 | 160 13600 95200 | 2147483647 8273 48 | 0.004 % |
1.37/1.44 c | 14077 | 160 13600 95200 | 2147483647 8582 48 | 0.004 % |
1.37/1.45 c | 14178 | 160 13600 95200 | 2147483647 8683 48 | 0.004 % |
1.37/1.47 c | 14290 | 160 13600 95200 | 2147483647 8795 48 | 0.004 % |
1.37/1.49 c | 14413 | 160 13600 95200 | 2147483647 8918 48 | 0.004 % |
1.47/1.51 c | 14546 | 160 13600 95200 | 2147483647 9051 48 | 0.004 % |
1.47/1.53 c | 14692 | 160 13600 95200 | 2147483647 9197 48 | 0.004 % |
1.47/1.55 c | 14852 | 160 13600 95200 | 2147483647 9357 48 | 0.004 % |
1.47/1.57 c | 15030 | 160 13600 95200 | 2147483647 9535 48 | 0.004 % |
1.57/1.60 c | 15223 | 160 13600 95200 | 2147483647 9728 48 | 0.004 % |
1.57/1.63 c | 15438 | 160 13600 95200 | 2147483647 9943 48 | 0.004 % |
1.57/1.66 c | 15672 | 160 13600 95200 | 2147483647 10177 48 | 0.004 % |
1.67/1.70 c | 15929 | 160 13600 95200 | 2147483647 10434 48 | 0.004 % |
1.67/1.74 c | 16210 | 160 13600 95200 | 2147483647 10715 48 | 0.004 % |
1.67/1.79 c | 16519 | 160 13600 95200 | 2147483647 11024 48 | 0.004 % |
1.77/1.84 c | 16860 | 160 13600 95200 | 2147483647 11365 48 | 0.004 % |
1.77/1.86 c | 16961 | 160 13600 95200 | 2147483647 11466 48 | 0.004 % |
1.77/1.88 c | 17073 | 160 13600 95200 | 2147483647 11578 48 | 0.004 % |
1.87/1.90 c | 17195 | 160 13600 95200 | 2147483647 11700 48 | 0.004 % |
1.87/1.92 c | 17328 | 160 13600 95200 | 2147483647 11833 48 | 0.004 % |
1.87/1.94 c | 17477 | 160 13600 95200 | 2147483647 11982 48 | 0.004 % |
1.87/1.97 c | 17638 | 160 13600 95200 | 2147483647 12143 48 | 0.004 % |
1.87/1.99 c | 17815 | 160 13600 95200 | 2147483647 12320 48 | 0.004 % |
1.97/2.02 c | 18008 | 160 13600 95200 | 2147483647 12513 48 | 0.004 % |
1.97/2.06 c | 18221 | 160 13600 95200 | 2147483647 12726 48 | 0.004 % |
1.97/2.10 c | 18454 | 160 13600 95200 | 2147483647 12959 48 | 0.004 % |
2.07/2.14 c | 18711 | 160 13600 95200 | 2147483647 13216 48 | 0.004 % |
2.07/2.19 c | 18992 | 160 13600 95200 | 2147483647 13497 48 | 0.004 % |
2.17/2.24 c | 19301 | 160 13600 95200 | 2147483647 13806 48 | 0.004 % |
2.27/2.30 c | 19640 | 160 13600 95200 | 2147483647 14145 48 | 0.004 % |
2.27/2.37 c | 20012 | 160 13600 95200 | 2147483647 14517 48 | 0.004 % |
2.37/2.40 c | 20112 | 160 13600 95200 | 2147483647 14617 48 | 0.004 % |
2.37/2.42 c | 20225 | 160 13600 95200 | 2147483647 14730 48 | 0.004 % |
2.37/2.45 c | 20347 | 160 13600 95200 | 2147483647 14852 48 | 0.004 % |
2.37/2.47 c | 20480 | 160 13600 95200 | 2147483647 14985 48 | 0.004 % |
2.37/2.50 c | 20626 | 160 13600 95200 | 2147483647 15131 48 | 0.004 % |
2.47/2.52 c | 20788 | 160 13600 95200 | 2147483647 15293 48 | 0.004 % |
2.47/2.56 c | 20965 | 160 13600 95200 | 2147483647 15470 48 | 0.004 % |
2.57/2.60 c | 21159 | 160 13600 95200 | 2147483647 15664 48 | 0.004 % |
2.57/2.64 c | 21371 | 160 13600 95200 | 2147483647 15876 48 | 0.004 % |
2.57/2.68 c | 21605 | 160 13600 95200 | 2147483647 16110 48 | 0.004 % |
2.66/2.73 c | 21861 | 160 13600 95200 | 2147483647 16366 48 | 0.004 % |
2.66/2.78 c | 22143 | 160 13600 95200 | 2147483647 16648 48 | 0.004 % |
2.76/2.84 c | 22452 | 160 13600 95200 | 2147483647 16957 48 | 0.004 % |
2.86/2.91 c | 22791 | 160 13600 95200 | 2147483647 17296 48 | 0.004 % |
2.96/3.00 c | 23163 | 160 13600 95200 | 2147483647 17668 48 | 0.004 % |
2.96/3.08 c | 23572 | 160 13600 95200 | 2147483647 18077 48 | 0.004 % |
3.06/3.11 c | 23673 | 160 13600 95200 | 2147483647 18178 48 | 0.004 % |
3.06/3.14 c | 23784 | 160 13600 95200 | 2147483647 18289 48 | 0.004 % |
3.06/3.17 c | 23907 | 160 13600 95200 | 2147483647 18412 48 | 0.004 % |
3.06/3.20 c | 24040 | 160 13600 95200 | 2147483647 18545 48 | 0.004 % |
3.17/3.24 c | 24186 | 160 13600 95200 | 2147483647 18691 48 | 0.004 % |
3.17/3.28 c | 24348 | 160 13600 95200 | 2147483647 18853 48 | 0.004 % |
3.27/3.32 c | 24524 | 160 13600 95200 | 2147483647 19029 48 | 0.004 % |
3.27/3.38 c | 24718 | 160 13600 95200 | 2147483647 19223 48 | 0.004 % |
3.36/3.44 c | 24932 | 160 13600 95200 | 2147483647 19437 48 | 0.004 % |
3.46/3.50 c | 25165 | 160 13600 95200 | 2147483647 19670 48 | 0.004 % |
3.46/3.56 c | 25421 | 160 13600 95200 | 2147483647 19926 48 | 0.004 % |
3.57/3.63 c | 25706 | 160 13600 95200 | 2147483647 20211 48 | 0.004 % |
3.67/3.70 c | 26015 | 160 13600 95200 | 2147483647 20520 48 | 0.004 % |
3.67/3.79 c | 26355 | 160 13600 95200 | 2147483647 20860 48 | 0.004 % |
3.77/3.87 c | 26729 | 160 13600 95200 | 2147483647 21234 48 | 0.004 % |
3.87/3.97 c | 27138 | 160 13600 95200 | 2147483647 21643 48 | 0.004 % |
3.97/4.09 c | 27587 | 160 13600 95200 | 2147483647 22092 48 | 0.004 % |
4.07/4.12 c | 27687 | 160 13600 95200 | 2147483647 22192 48 | 0.004 % |
4.07/4.16 c | 27797 | 160 13600 95200 | 2147483647 22302 48 | 0.004 % |
4.07/4.19 c | 27920 | 160 13600 95200 | 2147483647 22425 48 | 0.004 % |
4.17/4.23 c | 28055 | 160 13600 95200 | 2147483647 22560 48 | 0.004 % |
4.17/4.27 c | 28201 | 160 13600 95200 | 2147483647 22706 48 | 0.004 % |
4.27/4.32 c | 28361 | 160 13600 95200 | 2147483647 22866 48 | 0.004 % |
4.27/4.37 c | 28538 | 160 13600 95200 | 2147483647 23043 48 | 0.004 % |
4.37/4.42 c | 28734 | 160 13600 95200 | 2147483647 23239 48 | 0.004 % |
4.37/4.48 c | 28947 | 160 13600 95200 | 2147483647 23452 48 | 0.004 % |
4.47/4.55 c | 29182 | 160 13600 95200 | 2147483647 23687 48 | 0.004 % |
4.57/4.63 c | 29438 | 160 13600 95200 | 2147483647 23943 48 | 0.004 % |
4.67/4.70 c | 29721 | 160 13600 95200 | 2147483647 24226 48 | 0.004 % |
4.67/4.78 c | 30031 | 160 13600 95200 | 2147483647 24536 48 | 0.004 % |
4.77/4.89 c | 30370 | 160 13600 95200 | 2147483647 24875 48 | 0.004 % |
4.97/5.00 c | 30742 | 160 13600 95200 | 2147483647 25247 48 | 0.004 % |
5.07/5.13 c | 31151 | 160 13600 95200 | 2147483647 25656 48 | 0.004 % |
5.17/5.26 c | 31600 | 160 13600 95200 | 2147483647 26105 48 | 0.004 % |
5.27/5.40 c | 32094 | 160 13600 95200 | 2147483647 26599 48 | 0.004 % |
5.37/5.44 c | 32195 | 160 13600 95200 | 2147483647 26700 48 | 0.004 % |
5.37/5.48 c | 32306 | 160 13600 95200 | 2147483647 26811 48 | 0.004 % |
5.47/5.52 c | 32427 | 160 13600 95200 | 2147483647 26932 48 | 0.004 % |
5.47/5.56 c | 32560 | 160 13600 95200 | 2147483647 27065 48 | 0.004 % |
5.57/5.61 c | 32706 | 160 13600 95200 | 2147483647 27211 48 | 0.004 % |
5.57/5.67 c | 32868 | 160 13600 95200 | 2147483647 27373 48 | 0.004 % |
5.67/5.73 c | 33044 | 160 13600 95200 | 2147483647 27549 48 | 0.004 % |
5.77/5.81 c | 33238 | 160 13600 95200 | 2147483647 27743 48 | 0.004 % |
5.77/5.88 c | 33451 | 160 13600 95200 | 2147483647 27956 48 | 0.004 % |
5.87/5.95 c | 33685 | 160 13600 95200 | 2147483647 28190 48 | 0.004 % |
5.96/6.04 c | 33941 | 160 13600 95200 | 2147483647 28446 48 | 0.004 % |
6.06/6.14 c | 34223 | 160 13600 95200 | 2147483647 28728 48 | 0.004 % |
6.16/6.24 c | 34533 | 160 13600 95200 | 2147483647 29038 48 | 0.004 % |
6.26/6.36 c | 34872 | 160 13600 95200 | 2147483647 29377 48 | 0.004 % |
6.36/6.50 c | 35244 | 160 13600 95200 | 2147483647 29749 48 | 0.004 % |
6.57/6.62 c | 35653 | 160 13600 95200 | 2147483647 30158 48 | 0.004 % |
6.66/6.77 c | 36102 | 160 13600 95200 | 2147483647 30607 48 | 0.004 % |
6.86/6.92 c | 36596 | 160 13600 95200 | 2147483647 31101 48 | 0.004 % |
7.06/7.15 c | 37139 | 160 13600 95200 | 2147483647 31644 48 | 0.004 % |
7.06/7.18 c | 37241 | 160 13600 95200 | 2147483647 31746 48 | 0.004 % |
7.16/7.22 c | 37351 | 160 13600 95200 | 2147483647 31856 48 | 0.004 % |
7.16/7.27 c | 37472 | 160 13600 95200 | 2147483647 31977 48 | 0.004 % |
7.26/7.33 c | 37606 | 160 13600 95200 | 2147483647 32111 48 | 0.004 % |
7.26/7.39 c | 37753 | 160 13600 95200 | 2147483647 32258 48 | 0.004 % |
7.36/7.45 c | 37914 | 160 13600 95200 | 2147483647 32419 48 | 0.004 % |
7.46/7.52 c | 38091 | 160 13600 95200 | 2147483647 32596 48 | 0.004 % |
7.56/7.61 c | 38284 | 160 13600 95200 | 2147483647 32789 48 | 0.004 % |
7.56/7.69 c | 38497 | 160 13600 95200 | 2147483647 33002 48 | 0.004 % |
7.66/7.78 c | 38731 | 160 13600 95200 | 2147483647 33236 48 | 0.004 % |
7.76/7.87 c | 38987 | 160 13600 95200 | 2147483647 33492 48 | 0.004 % |
7.86/7.99 c | 39270 | 160 13600 95200 | 2147483647 33775 48 | 0.004 % |
8.06/8.11 c | 39580 | 160 13600 95200 | 2147483647 34085 48 | 0.004 % |
8.16/8.28 c | 39919 | 160 13600 95200 | 2147483647 34424 48 | 0.004 % |
8.36/8.44 c | 40291 | 160 13600 95200 | 2147483647 34796 48 | 0.004 % |
8.56/8.61 c | 40700 | 160 13600 95200 | 2147483647 35205 48 | 0.004 % |
8.66/8.80 c | 41150 | 160 13600 95200 | 2147483647 35655 48 | 0.004 % |
8.96/9.01 c | 41643 | 160 13600 95200 | 2147483647 36148 48 | 0.004 % |
9.15/9.21 c | 42185 | 160 13600 95200 | 2147483647 36690 48 | 0.004 % |
9.35/9.44 c | 42781 | 160 13600 95200 | 2147483647 37286 48 | 0.004 % |
9.35/9.49 c | 42881 | 160 13600 95200 | 2147483647 37386 48 | 0.004 % |
9.45/9.53 c | 42992 | 160 13600 95200 | 2147483647 37497 48 | 0.004 % |
9.45/9.58 c | 43114 | 160 13600 95200 | 2147483647 37619 48 | 0.004 % |
9.55/9.63 c | 43247 | 160 13600 95200 | 2147483647 37752 48 | 0.004 % |
9.55/9.69 c | 43394 | 160 13600 95200 | 2147483647 37899 48 | 0.004 % |
9.66/9.75 c | 43555 | 160 13600 95200 | 2147483647 38060 48 | 0.004 % |
9.76/9.85 c | 43732 | 160 13600 95200 | 2147483647 38237 48 | 0.004 % |
9.86/9.94 c | 43925 | 160 13600 95200 | 2147483647 38430 48 | 0.004 % |
9.96/10.04 c | 44137 | 160 13600 95200 | 2147483647 38642 48 | 0.004 % |
10.06/10.17 c | 44371 | 160 13600 95200 | 2147483647 38876 48 | 0.004 % |
10.16/10.28 c | 44629 | 160 13600 95200 | 2147483647 39134 48 | 0.004 % |
10.36/10.40 c | 44913 | 160 13600 95200 | 2147483647 39418 48 | 0.004 % |
10.46/10.53 c | 45222 | 160 13600 95200 | 2147483647 39727 48 | 0.004 % |
10.56/10.67 c | 45563 | 160 13600 95200 | 2147483647 40068 48 | 0.004 % |
10.76/10.87 c | 45935 | 160 13600 95200 | 2147483647 40440 48 | 0.004 % |
10.96/11.08 c | 46344 | 160 13600 95200 | 2147483647 40849 48 | 0.004 % |
11.25/11.31 c | 46794 | 160 13600 95200 | 2147483647 41299 48 | 0.004 % |
11.45/11.55 c | 47287 | 160 13600 95200 | 2147483647 41792 48 | 0.004 % |
11.75/11.81 c | 47829 | 160 13600 95200 | 2147483647 42334 48 | 0.004 % |
12.06/12.11 c | 48426 | 160 13600 95200 | 2147483647 42931 48 | 0.004 % |
12.35/12.42 c | 49081 | 160 13600 95200 | 2147483647 43586 48 | 0.004 % |
12.35/12.47 c | 49181 | 160 13600 95200 | 2147483647 43686 48 | 0.004 % |
12.45/12.54 c | 49292 | 160 13600 95200 | 2147483647 43797 48 | 0.004 % |
12.55/12.60 c | 49413 | 160 13600 95200 | 2147483647 43918 48 | 0.004 % |
12.55/12.68 c | 49546 | 160 13600 95200 | 2147483647 44051 48 | 0.004 % |
12.65/12.77 c | 49693 | 160 13600 95200 | 2147483647 44198 48 | 0.004 % |
12.75/12.87 c | 49853 | 160 13600 95200 | 2147483647 44358 48 | 0.004 % |
12.85/12.97 c | 50029 | 160 13600 95200 | 2147483647 44534 48 | 0.004 % |
12.95/13.08 c | 50224 | 160 13600 95200 | 2147483647 44729 48 | 0.004 % |
13.06/13.20 c | 50436 | 160 13600 95200 | 2147483647 44941 48 | 0.004 % |
13.25/13.31 c | 50671 | 160 13600 95200 | 2147483647 45176 48 | 0.004 % |
13.35/13.43 c | 50928 | 160 13600 95200 | 2147483647 45433 48 | 0.004 % |
13.45/13.58 c | 51211 | 160 13600 95200 | 2147483647 45716 48 | 0.004 % |
13.65/13.76 c | 51521 | 160 13600 95200 | 2147483647 46026 48 | 0.004 % |
13.85/13.99 c | 51861 | 160 13600 95200 | 2147483647 46366 48 | 0.004 % |
14.05/14.19 c | 52233 | 160 13600 95200 | 2147483647 46738 48 | 0.004 % |
14.35/14.41 c | 52643 | 160 13600 95200 | 2147483647 47148 48 | 0.004 % |
14.55/14.64 c | 53094 | 160 13600 95200 | 2147483647 47599 48 | 0.004 % |
14.85/14.93 c | 53587 | 160 13600 95200 | 2147483647 48092 48 | 0.004 % |
15.15/15.25 c | 54132 | 160 13600 95200 | 2147483647 48637 48 | 0.004 % |
15.45/15.57 c | 54728 | 160 13600 95200 | 2147483647 49233 48 | 0.004 % |
15.85/15.94 c | 55383 | 160 13600 95200 | 2147483647 49888 48 | 0.004 % |
16.25/16.36 c | 56104 | 160 13600 95200 | 2147483647 50609 48 | 0.004 % |
16.36/16.43 c | 56204 | 160 13600 95200 | 2147483647 50709 48 | 0.004 % |
16.36/16.49 c | 56314 | 160 13600 95200 | 2147483647 50819 48 | 0.004 % |
16.46/16.55 c | 56436 | 160 13600 95200 | 2147483647 50941 48 | 0.004 % |
16.56/16.63 c | 56570 | 160 13600 95200 | 2147483647 51075 48 | 0.004 % |
16.66/16.74 c | 56717 | 160 13600 95200 | 2147483647 51222 48 | 0.004 % |
16.76/16.84 c | 56878 | 160 13600 95200 | 2147483647 51383 48 | 0.004 % |
16.86/16.96 c | 57055 | 160 13600 95200 | 2147483647 51560 48 | 0.004 % |
16.96/17.09 c | 57248 | 160 13600 95200 | 2147483647 51753 48 | 0.004 % |
17.16/17.24 c | 57463 | 160 13600 95200 | 2147483647 51968 48 | 0.004 % |
17.26/17.39 c | 57698 | 160 13600 95200 | 2147483647 52203 48 | 0.004 % |
17.46/17.54 c | 57955 | 160 13600 95200 | 2147483647 52460 48 | 0.004 % |
17.66/17.70 c | 58236 | 160 13600 95200 | 2147483647 52741 48 | 0.004 % |
17.76/17.88 c | 58549 | 160 13600 95200 | 2147483647 53054 48 | 0.004 % |
18.06/18.12 c | 58888 | 160 13600 95200 | 2147483647 53393 48 | 0.004 % |
18.36/18.40 c | 59261 | 160 13600 95200 | 2147483647 53766 48 | 0.004 % |
18.56/18.65 c | 59670 | 160 13600 95200 | 2147483647 54175 48 | 0.004 % |
18.85/18.95 c | 60121 | 160 13600 95200 | 2147483647 54626 48 | 0.004 % |
19.15/19.24 c | 60616 | 160 13600 95200 | 2147483647 55121 48 | 0.004 % |
19.55/19.60 c | 61159 | 160 13600 95200 | 2147483647 55664 48 | 0.004 % |
19.85/19.97 c | 61755 | 160 13600 95200 | 2147483647 56260 48 | 0.004 % |
20.25/20.36 c | 62410 | 160 13600 95200 | 2147483647 56915 48 | 0.004 % |
20.65/20.79 c | 63131 | 160 13600 95200 | 2147483647 57636 48 | 0.004 % |
21.15/21.26 c | 63925 | 160 13600 95200 | 2147483647 58430 48 | 0.004 % |
21.25/21.32 c | 64025 | 160 13600 95200 | 2147483647 58530 48 | 0.004 % |
21.35/21.43 c | 64135 | 160 13600 95200 | 2147483647 58640 48 | 0.004 % |
21.45/21.54 c | 64256 | 160 13600 95200 | 2147483647 58761 48 | 0.004 % |
21.55/21.65 c | 64389 | 160 13600 95200 | 2147483647 58894 48 | 0.004 % |
21.65/21.77 c | 64535 | 160 13600 95200 | 2147483647 59040 48 | 0.004 % |
21.74/21.90 c | 64695 | 160 13600 95200 | 2147483647 59200 48 | 0.004 % |
21.95/22.04 c | 64871 | 160 13600 95200 | 2147483647 59376 48 | 0.004 % |
22.04/22.18 c | 65066 | 160 13600 95200 | 2147483647 59571 48 | 0.004 % |
22.24/22.35 c | 65278 | 160 13600 95200 | 2147483647 59783 48 | 0.004 % |
22.44/22.53 c | 65512 | 160 13600 95200 | 2147483647 60017 48 | 0.004 % |
22.64/22.76 c | 65770 | 160 13600 95200 | 2147483647 60275 48 | 0.004 % |
22.84/22.98 c | 66051 | 160 13600 95200 | 2147483647 60556 48 | 0.004 % |
23.15/23.25 c | 66362 | 160 13600 95200 | 2147483647 60867 48 | 0.004 % |
23.45/23.51 c | 66701 | 160 13600 95200 | 2147483647 61206 48 | 0.004 % |
23.65/23.78 c | 67074 | 160 13600 95200 | 2147483647 61579 48 | 0.004 % |
24.05/24.14 c | 67483 | 160 13600 95200 | 2147483647 61988 48 | 0.004 % |
24.35/24.47 c | 67934 | 160 13600 95200 | 2147483647 62439 48 | 0.004 % |
24.75/24.84 c | 68427 | 160 13600 95200 | 2147483647 62932 48 | 0.004 % |
25.15/25.21 c | 68969 | 160 13600 95200 | 2147483647 63474 48 | 0.004 % |
25.55/25.65 c | 69565 | 160 13600 95200 | 2147483647 64070 48 | 0.004 % |
26.15/26.24 c | 70220 | 160 13600 95200 | 64506 57152 48 | 0.004 % |
26.65/26.72 c | 70941 | 160 13600 95200 | 64506 57873 48 | 0.004 % |
27.15/27.22 c | 71734 | 160 13600 95200 | 64506 58666 48 | 0.004 % |
27.75/27.80 c | 72607 | 160 13600 95200 | 64506 59539 48 | 0.004 % |
27.75/27.87 c | 72707 | 160 13600 95200 | 64506 59639 48 | 0.004 % |
27.85/27.94 c | 72817 | 160 13600 95200 | 64506 59749 48 | 0.004 % |
27.95/28.02 c | 72939 | 160 13600 95200 | 64506 59871 48 | 0.004 % |
28.05/28.12 c | 73072 | 160 13600 95200 | 64506 60004 48 | 0.004 % |
28.15/28.26 c | 73218 | 160 13600 95200 | 64506 60150 48 | 0.004 % |
28.25/28.39 c | 73378 | 160 13600 95200 | 64506 60310 48 | 0.004 % |
28.45/28.52 c | 73555 | 160 13600 95200 | 64506 60487 48 | 0.004 % |
28.65/28.70 c | 73749 | 160 13600 95200 | 64506 60681 48 | 0.004 % |
28.75/28.88 c | 73961 | 160 13600 95200 | 64506 60893 48 | 0.004 % |
28.95/29.04 c | 74196 | 160 13600 95200 | 64506 61128 48 | 0.004 % |
29.15/29.22 c | 74452 | 160 13600 95200 | 64506 61384 48 | 0.004 % |
29.35/29.40 c | 74734 | 160 13600 95200 | 64506 61666 48 | 0.004 % |
29.55/29.62 c | 75043 | 160 13600 95200 | 64506 61975 48 | 0.004 % |
29.85/29.92 c | 75382 | 160 13600 95200 | 64506 62314 48 | 0.004 % |
30.15/30.21 c | 75757 | 160 13600 95200 | 64506 62689 48 | 0.004 % |
30.45/30.51 c | 76167 | 160 13600 95200 | 64506 63099 48 | 0.004 % |
30.75/30.83 c | 76618 | 160 13600 95200 | 64506 63550 48 | 0.004 % |
31.05/31.16 c | 77113 | 160 13600 95200 | 64506 64045 48 | 0.004 % |
31.55/31.60 c | 77655 | 160 13600 95200 | 64506 56155 48 | 0.004 % |
31.85/31.95 c | 78253 | 160 13600 95200 | 64506 56753 48 | 0.004 % |
32.25/32.38 c | 78908 | 160 13600 95200 | 64506 57408 48 | 0.004 % |
32.75/32.82 c | 79628 | 160 13600 95200 | 64506 58128 48 | 0.004 % |
33.24/33.30 c | 80420 | 160 13600 95200 | 58501 51509 48 | 0.004 % |
33.64/33.76 c | 81293 | 160 13600 95200 | 58501 52382 48 | 0.004 % |
34.14/34.27 c | 82251 | 160 13600 95200 | 58501 53340 48 | 0.004 % |
34.24/34.33 c | 82351 | 160 13600 95200 | 58501 53440 48 | 0.004 % |
34.24/34.39 c | 82462 | 160 13600 95200 | 58501 53551 48 | 0.004 % |
34.34/34.46 c | 82583 | 160 13600 95200 | 58501 53672 48 | 0.004 % |
34.44/34.58 c | 82716 | 160 13600 95200 | 58501 53805 48 | 0.004 % |
34.54/34.67 c | 82864 | 160 13600 95200 | 58501 53953 48 | 0.004 % |
34.64/34.78 c | 83024 | 160 13600 95200 | 58501 54113 48 | 0.004 % |
34.84/34.90 c | 83200 | 160 13600 95200 | 58501 54289 48 | 0.004 % |
34.94/35.04 c | 83395 | 160 13600 95200 | 58501 54484 48 | 0.004 % |
35.15/35.21 c | 83607 | 160 13600 95200 | 58501 54696 48 | 0.004 % |
35.24/35.37 c | 83840 | 160 13600 95200 | 58501 54929 48 | 0.004 % |
35.44/35.53 c | 84099 | 160 13600 95200 | 58501 55188 48 | 0.004 % |
35.64/35.74 c | 84381 | 160 13600 95200 | 58501 55470 48 | 0.004 % |
35.84/35.97 c | 84690 | 160 13600 95200 | 58501 55779 48 | 0.004 % |
36.04/36.18 c | 85032 | 160 13600 95200 | 58501 56121 48 | 0.004 % |
36.34/36.47 c | 85405 | 160 13600 95200 | 58501 56494 48 | 0.004 % |
36.64/36.73 c | 85814 | 160 13600 95200 | 58501 56903 48 | 0.004 % |
36.94/37.01 c | 86264 | 160 13600 95200 | 58501 57353 48 | 0.004 % |
37.25/37.32 c | 86757 | 160 13600 95200 | 58501 57846 48 | 0.004 % |
37.54/37.64 c | 87300 | 160 13600 95200 | 58501 58389 48 | 0.004 % |
37.94/38.02 c | 87897 | 160 13600 95200 | 58501 52589 48 | 0.004 % |
38.24/38.36 c | 88552 | 160 13600 95200 | 58501 53244 48 | 0.004 % |
38.74/38.85 c | 89272 | 160 13600 95200 | 58501 53964 48 | 0.004 % |
39.14/39.29 c | 90064 | 160 13600 95200 | 54693 54756 48 | 0.004 % |
39.74/39.82 c | 90935 | 160 13600 95200 | 54693 49881 48 | 0.004 % |
40.24/40.36 c | 91893 | 160 13600 95200 | 54693 50839 48 | 0.004 % |
40.84/40.91 c | 92950 | 160 13600 95200 | 54693 51896 48 | 0.004 % |
40.84/40.97 c | 93052 | 160 13600 95200 | 54693 51998 48 | 0.004 % |
40.94/41.06 c | 93164 | 160 13600 95200 | 54693 52110 48 | 0.004 % |
41.04/41.13 c | 93285 | 160 13600 95200 | 54693 52231 48 | 0.004 % |
41.14/41.23 c | 93418 | 160 13600 95200 | 54693 52364 48 | 0.004 % |
41.24/41.33 c | 93564 | 160 13600 95200 | 54693 52510 48 | 0.004 % |
41.34/41.44 c | 93724 | 160 13600 95200 | 54693 52670 48 | 0.004 % |
41.44/41.55 c | 93900 | 160 13600 95200 | 54693 52846 48 | 0.004 % |
41.54/41.67 c | 94093 | 160 13600 95200 | 54693 53039 48 | 0.004 % |
41.74/41.83 c | 94306 | 160 13600 95200 | 54693 53252 48 | 0.004 % |
41.84/41.99 c | 94539 | 160 13600 95200 | 54693 53485 48 | 0.004 % |
42.04/42.17 c | 94796 | 160 13600 95200 | 54693 53742 48 | 0.004 % |
42.24/42.35 c | 95077 | 160 13600 95200 | 54693 54023 48 | 0.004 % |
42.43/42.56 c | 95387 | 160 13600 95200 | 54693 54333 48 | 0.004 % |
42.63/42.78 c | 95726 | 160 13600 95200 | 54693 54672 48 | 0.004 % |
42.93/43.02 c | 96099 | 160 13600 95200 | 54693 49568 48 | 0.004 % |
43.23/43.30 c | 96509 | 160 13600 95200 | 54693 49978 48 | 0.004 % |
43.43/43.56 c | 96958 | 160 13600 95200 | 54693 50427 48 | 0.004 % |
43.73/43.85 c | 97452 | 160 13600 95200 | 54693 50921 48 | 0.004 % |
44.03/44.17 c | 97994 | 160 13600 95200 | 54693 51463 48 | 0.004 % |
44.43/44.52 c | 98590 | 160 13600 95200 | 54693 52059 48 | 0.004 % |
44.83/44.95 c | 99247 | 160 13600 95200 | 54693 52716 48 | 0.004 % |
45.33/45.42 c | 99967 | 160 13600 95200 | 54693 53436 48 | 0.004 % |
45.73/45.89 c | 100759 | 160 13600 95200 | 2147483647 54228 48 | 0.004 % |
46.33/46.42 c | 101632 | 160 13600 95200 | 2147483647 55101 48 | 0.004 % |
46.83/46.99 c | 102593 | 160 13600 95200 | 2147483647 56062 48 | 0.004 % |
47.63/47.71 c | 103649 | 160 13600 95200 | 2147483647 57118 48 | 0.004 % |
48.23/48.39 c | 104807 | 160 13600 95200 | 2147483647 58276 48 | 0.004 % |
48.33/48.45 c | 104908 | 160 13600 95200 | 2147483647 58377 48 | 0.004 % |
48.43/48.53 c | 105018 | 160 13600 95200 | 2147483647 58487 48 | 0.004 % |
48.53/48.63 c | 105139 | 160 13600 95200 | 2147483647 58608 48 | 0.004 % |
48.63/48.72 c | 105276 | 160 13600 95200 | 2147483647 58745 48 | 0.004 % |
48.73/48.83 c | 105422 | 160 13600 95200 | 2147483647 58891 48 | 0.004 % |
48.83/48.94 c | 105582 | 160 13600 95200 | 2147483647 59051 48 | 0.004 % |
48.93/49.09 c | 105758 | 160 13600 95200 | 2147483647 59227 48 | 0.004 % |
49.13/49.23 c | 105952 | 160 13600 95200 | 2147483647 59421 48 | 0.004 % |
49.33/49.40 c | 106165 | 160 13600 95200 | 2147483647 59634 48 | 0.004 % |
49.43/49.55 c | 106398 | 160 13600 95200 | 2147483647 59867 48 | 0.004 % |
49.63/49.74 c | 106654 | 160 13600 95200 | 2147483647 60123 48 | 0.004 % |
49.83/49.93 c | 106936 | 160 13600 95200 | 2147483647 60405 48 | 0.004 % |
50.03/50.11 c | 107245 | 160 13600 95200 | 2147483647 60714 48 | 0.004 % |
50.23/50.33 c | 107584 | 160 13600 95200 | 2147483647 61053 48 | 0.004 % |
50.53/50.69 c | 107956 | 160 13600 95200 | 2147483647 61425 48 | 0.004 % |
50.93/51.01 c | 108366 | 160 13600 95200 | 2147483647 61835 48 | 0.004 % |
51.23/51.37 c | 108817 | 160 13600 95200 | 2147483647 62286 48 | 0.004 % |
51.63/51.74 c | 109310 | 160 13600 95200 | 2147483647 62779 48 | 0.004 % |
52.03/52.14 c | 109853 | 160 13600 95200 | 2147483647 63322 48 | 0.004 % |
52.43/52.60 c | 110449 | 160 13600 95200 | 63469 56297 48 | 0.004 % |
52.93/53.02 c | 111105 | 160 13600 95200 | 63469 56953 48 | 0.004 % |
53.43/53.51 c | 111825 | 160 13600 95200 | 63469 57673 48 | 0.004 % |
53.93/54.08 c | 112619 | 160 13600 95200 | 63469 58467 48 | 0.004 % |
54.52/54.64 c | 113491 | 160 13600 95200 | 63469 59339 48 | 0.004 % |
55.12/55.25 c | 114450 | 160 13600 95200 | 63469 60298 48 | 0.004 % |
55.82/55.94 c | 115503 | 160 13600 95200 | 63469 61351 48 | 0.004 % |
56.73/56.84 c | 116661 | 160 13600 95200 | 63469 62509 48 | 0.004 % |
57.72/57.80 c | 117934 | 160 13600 95200 | 63469 55684 48 | 0.004 % |
57.72/57.87 c | 118036 | 160 13600 95200 | 63469 55786 48 | 0.004 % |
57.82/57.96 c | 118146 | 160 13600 95200 | 63469 55896 48 | 0.004 % |
57.92/58.06 c | 118270 | 160 13600 95200 | 63469 56020 48 | 0.004 % |
58.02/58.16 c | 118405 | 160 13600 95200 | 63469 56155 48 | 0.004 % |
58.13/58.27 c | 118551 | 160 13600 95200 | 63469 56301 48 | 0.004 % |
58.32/58.41 c | 118712 | 160 13600 95200 | 63469 56462 48 | 0.004 % |
58.42/58.54 c | 118890 | 160 13600 95200 | 63469 56640 48 | 0.004 % |
58.52/58.69 c | 119083 | 160 13600 95200 | 63469 56833 48 | 0.004 % |
58.72/58.85 c | 119296 | 160 13600 95200 | 63469 57046 48 | 0.004 % |
58.92/59.02 c | 119529 | 160 13600 95200 | 63469 57279 48 | 0.004 % |
59.12/59.22 c | 119785 | 160 13600 95200 | 63469 57535 48 | 0.004 % |
59.33/59.42 c | 120068 | 160 13600 95200 | 57751 57818 48 | 0.004 % |
59.52/59.65 c | 120378 | 160 13600 95200 | 57751 50667 48 | 0.004 % |
59.72/59.85 c | 120718 | 160 13600 95200 | 57751 51007 48 | 0.004 % |
59.92/60.06 c | 121091 | 160 13600 95200 | 57751 51380 48 | 0.004 % |
60.22/60.35 c | 121502 | 160 13600 95200 | 57751 51791 48 | 0.004 % |
60.52/60.65 c | 121951 | 160 13600 95200 | 57751 52240 48 | 0.004 % |
60.82/60.98 c | 122445 | 160 13600 95200 | 57751 52734 48 | 0.004 % |
61.22/61.32 c | 122987 | 160 13600 95200 | 57751 53276 48 | 0.004 % |
61.53/61.67 c | 123583 | 160 13600 95200 | 57751 53872 48 | 0.004 % |
62.02/62.13 c | 124238 | 160 13600 95200 | 57751 54527 48 | 0.004 % |
62.42/62.59 c | 124958 | 160 13600 95200 | 57751 55247 48 | 0.004 % |
62.92/63.08 c | 125750 | 160 13600 95200 | 57751 56039 48 | 0.004 % |
63.42/63.57 c | 126621 | 160 13600 95200 | 57751 56910 48 | 0.004 % |
64.02/64.16 c | 127582 | 160 13600 95200 | 57751 51832 48 | 0.004 % |
64.62/64.79 c | 128635 | 160 13600 95200 | 57751 52885 48 | 0.004 % |
65.32/65.45 c | 129793 | 160 13600 95200 | 57751 54043 48 | 0.004 % |
66.02/66.18 c | 131066 | 160 13600 95200 | 54250 49847 48 | 0.004 % |
66.92/67.06 c | 132466 | 160 13600 95200 | 54250 51247 48 | 0.004 % |
67.02/67.13 c | 132567 | 160 13600 95200 | 54250 51348 48 | 0.004 % |
67.12/67.20 c | 132678 | 160 13600 95200 | 54250 51459 48 | 0.004 % |
67.12/67.27 c | 132801 | 160 13600 95200 | 54250 51582 48 | 0.004 % |
67.22/67.36 c | 132936 | 160 13600 95200 | 54250 51717 48 | 0.004 % |
67.32/67.46 c | 133084 | 160 13600 95200 | 54250 51865 48 | 0.004 % |
67.42/67.58 c | 133244 | 160 13600 95200 | 54250 52025 48 | 0.004 % |
67.52/67.69 c | 133420 | 160 13600 95200 | 54250 52201 48 | 0.004 % |
67.72/67.82 c | 133613 | 160 13600 95200 | 54250 52394 48 | 0.004 % |
67.82/67.95 c | 133826 | 160 13600 95200 | 54250 52607 48 | 0.004 % |
67.92/68.10 c | 134059 | 160 13600 95200 | 54250 52840 48 | 0.004 % |
68.12/68.29 c | 134316 | 160 13600 95200 | 54250 53097 48 | 0.004 % |
68.32/68.47 c | 134597 | 160 13600 95200 | 54250 53378 48 | 0.004 % |
68.52/68.67 c | 134907 | 160 13600 95200 | 54250 53688 48 | 0.004 % |
68.72/68.88 c | 135248 | 160 13600 95200 | 54250 54029 48 | 0.004 % |
69.02/69.13 c | 135620 | 160 13600 95200 | 54250 48969 48 | 0.004 % |
69.22/69.35 c | 136029 | 160 13600 95200 | 54250 49378 48 | 0.004 % |
69.51/69.69 c | 136478 | 160 13600 95200 | 54250 49827 48 | 0.004 % |
69.91/70.01 c | 136973 | 160 13600 95200 | 54250 50322 48 | 0.004 % |
70.22/70.35 c | 137515 | 160 13600 95200 | 54250 50864 48 | 0.004 % |
70.61/70.79 c | 138112 | 160 13600 95200 | 54250 51461 48 | 0.004 % |
71.01/71.20 c | 138770 | 160 13600 95200 | 54250 52119 48 | 0.004 % |
71.51/71.60 c | 139490 | 160 13600 95200 | 54250 52839 48 | 0.004 % |
71.91/72.05 c | 140282 | 160 13600 95200 | 2147483647 53631 48 | 0.004 % |
72.42/72.58 c | 141153 | 160 13600 95200 | 2147483647 54502 48 | 0.004 % |
73.01/73.13 c | 142113 | 160 13600 95200 | 2147483647 55462 48 | 0.004 % |
73.62/73.71 c | 143167 | 160 13600 95200 | 2147483647 56516 48 | 0.004 % |
74.31/74.47 c | 144326 | 160 13600 95200 | 2147483647 57675 48 | 0.004 % |
75.21/75.34 c | 145601 | 160 13600 95200 | 2147483647 58950 48 | 0.004 % |
76.01/76.16 c | 147002 | 160 13600 95200 | 2147483647 60351 48 | 0.004 % |
77.31/77.43 c | 148542 | 160 13600 95200 | 2147483647 61891 48 | 0.004 % |
77.41/77.51 c | 148642 | 160 13600 95200 | 2147483647 61991 48 | 0.004 % |
77.51/77.60 c | 148753 | 160 13600 95200 | 2147483647 62102 48 | 0.004 % |
77.51/77.69 c | 148874 | 160 13600 95200 | 2147483647 62223 48 | 0.004 % |
77.71/77.81 c | 149010 | 160 13600 95200 | 2147483647 62359 48 | 0.004 % |
77.81/77.95 c | 149157 | 160 13600 95200 | 2147483647 62506 48 | 0.004 % |
77.91/78.08 c | 149317 | 160 13600 95200 | 2147483647 62666 48 | 0.004 % |
78.11/78.24 c | 149496 | 160 13600 95200 | 2147483647 62845 48 | 0.004 % |
78.31/78.40 c | 149689 | 160 13600 95200 | 2147483647 63038 48 | 0.004 % |
78.41/78.59 c | 149905 | 160 13600 95200 | 2147483647 63254 48 | 0.004 % |
78.71/78.80 c | 150138 | 160 13600 95200 | 63349 56625 48 | 0.004 % |
78.81/78.97 c | 150396 | 160 13600 95200 | 63349 56883 48 | 0.004 % |
79.01/79.15 c | 150677 | 160 13600 95200 | 63349 57164 48 | 0.004 % |
79.21/79.35 c | 150986 | 160 13600 95200 | 63349 57473 48 | 0.004 % |
79.41/79.57 c | 151327 | 160 13600 95200 | 63349 57814 48 | 0.004 % |
79.71/79.83 c | 151702 | 160 13600 95200 | 63349 58189 48 | 0.004 % |
80.01/80.11 c | 152111 | 160 13600 95200 | 63349 58598 48 | 0.004 % |
80.21/80.39 c | 152561 | 160 13600 95200 | 63349 59048 48 | 0.004 % |
80.61/80.75 c | 153054 | 160 13600 95200 | 63349 59541 48 | 0.004 % |
81.01/81.16 c | 153596 | 160 13600 95200 | 63349 60083 48 | 0.004 % |
81.51/81.65 c | 154193 | 160 13600 95200 | 63349 60680 48 | 0.004 % |
82.01/82.15 c | 154850 | 160 13600 95200 | 63349 61337 48 | 0.004 % |
82.61/82.70 c | 155570 | 160 13600 95200 | 63349 62057 48 | 0.004 % |
83.21/83.32 c | 156364 | 160 13600 95200 | 63349 62851 48 | 0.004 % |
83.81/83.97 c | 157237 | 160 13600 95200 | 63349 55510 48 | 0.004 % |
84.41/84.55 c | 158196 | 160 13600 95200 | 63349 56469 48 | 0.004 % |
85.01/85.19 c | 159250 | 160 13600 95200 | 63349 57523 48 | 0.004 % |
85.71/85.88 c | 160409 | 160 13600 95200 | 58275 51670 48 | 0.004 % |
86.51/86.64 c | 161686 | 160 13600 95200 | 58275 52947 48 | 0.004 % |
87.31/87.43 c | 163086 | 160 13600 95200 | 58275 54347 48 | 0.004 % |
88.41/88.58 c | 164626 | 160 13600 95200 | 58275 55887 48 | 0.004 % |
89.61/89.74 c | 166321 | 160 13600 95200 | 58275 57582 48 | 0.004 % |
89.71/89.81 c | 166422 | 160 13600 95200 | 58275 57683 48 | 0.004 % |
89.71/89.88 c | 166532 | 160 13600 95200 | 58275 57793 48 | 0.004 % |
89.81/89.99 c | 166654 | 160 13600 95200 | 58275 57915 48 | 0.004 % |
89.91/90.09 c | 166790 | 160 13600 95200 | 58275 58051 48 | 0.004 % |
90.01/90.18 c | 166937 | 160 13600 95200 | 58275 58198 48 | 0.004 % |
90.21/90.33 c | 167097 | 160 13600 95200 | 58275 52170 48 | 0.004 % |
90.31/90.46 c | 167273 | 160 13600 95200 | 58275 52346 48 | 0.004 % |
90.41/90.60 c | 167467 | 160 13600 95200 | 58275 52540 48 | 0.004 % |
90.61/90.73 c | 167680 | 160 13600 95200 | 58275 52753 48 | 0.004 % |
90.71/90.86 c | 167914 | 160 13600 95200 | 58275 52987 48 | 0.004 % |
90.91/91.00 c | 168171 | 160 13600 95200 | 58275 53244 48 | 0.004 % |
91.01/91.15 c | 168453 | 160 13600 95200 | 58275 53526 48 | 0.004 % |
91.21/91.34 c | 168763 | 160 13600 95200 | 58275 53836 48 | 0.004 % |
91.41/91.55 c | 169102 | 160 13600 95200 | 58275 54175 48 | 0.004 % |
91.60/91.78 c | 169474 | 160 13600 95200 | 58275 54547 48 | 0.004 % |
91.90/92.05 c | 169883 | 160 13600 95200 | 58275 54956 48 | 0.004 % |
92.21/92.35 c | 170333 | 160 13600 95200 | 55073 49662 49 | 0.004 % |
92.50/92.65 c | 170828 | 160 13600 95200 | 55073 50157 49 | 0.004 % |
92.80/92.96 c | 171370 | 160 13600 95200 | 55073 50699 49 | 0.004 % |
93.20/93.33 c | 171966 | 160 13600 95200 | 55073 51295 49 | 0.004 % |
93.60/93.71 c | 172621 | 160 13600 95200 | 55073 51950 49 | 0.004 % |
94.00/94.13 c | 173341 | 160 13600 95200 | 55073 52670 49 | 0.004 % |
94.40/94.55 c | 174133 | 160 13600 95200 | 55073 53462 49 | 0.004 % |
94.90/95.07 c | 175004 | 160 13600 95200 | 55073 54333 49 | 0.004 % |
95.70/95.84 c | 175963 | 160 13600 95200 | 55073 49779 49 | 0.004 % |
96.30/96.47 c | 177016 | 160 13600 95200 | 55073 50832 49 | 0.004 % |
97.00/97.10 c | 178175 | 160 13600 95200 | 55073 51991 49 | 0.004 % |
97.60/97.80 c | 179448 | 160 13600 95200 | 55073 53264 49 | 0.004 % |
98.50/98.65 c | 180848 | 160 13600 95200 | 2147483647 54664 49 | 0.004 % |
99.40/99.56 c | 182388 | 160 13600 95200 | 2147483647 56204 49 | 0.004 % |
100.40/100.59 c | 184082 | 160 13600 95200 | 2147483647 57898 49 | 0.004 % |
101.60/101.79 c | 185949 | 160 13600 95200 | 2147483647 59765 49 | 0.004 % |
101.70/101.88 c | 186049 | 160 13600 95200 | 2147483647 59865 49 | 0.004 % |
101.80/101.96 c | 186160 | 160 13600 95200 | 2147483647 59976 49 | 0.004 % |
101.90/102.05 c | 186283 | 160 13600 95200 | 2147483647 60099 49 | 0.004 % |
102.00/102.14 c | 186416 | 160 13600 95200 | 2147483647 60232 49 | 0.004 % |
102.10/102.26 c | 186563 | 160 13600 95200 | 2147483647 60379 49 | 0.004 % |
102.20/102.39 c | 186723 | 160 13600 95200 | 2147483647 60539 49 | 0.004 % |
102.40/102.53 c | 186899 | 160 13600 95200 | 2147483647 60715 49 | 0.004 % |
102.50/102.68 c | 187092 | 160 13600 95200 | 2147483647 60908 49 | 0.004 % |
102.70/102.87 c | 187304 | 160 13600 95200 | 2147483647 61120 49 | 0.004 % |
102.90/103.06 c | 187539 | 160 13600 95200 | 2147483647 61355 49 | 0.004 % |
103.10/103.25 c | 187795 | 160 13600 95200 | 2147483647 61611 49 | 0.004 % |
103.40/103.51 c | 188077 | 160 13600 95200 | 2147483647 61893 49 | 0.004 % |
103.70/103.80 c | 188386 | 160 13600 95200 | 2147483647 62202 49 | 0.004 % |
103.90/104.07 c | 188725 | 160 13600 95200 | 2147483647 62541 49 | 0.004 % |
104.20/104.31 c | 189097 | 160 13600 95200 | 2147483647 62913 49 | 0.004 % |
104.50/104.64 c | 189506 | 160 13600 95200 | 2147483647 63322 49 | 0.004 % |
104.90/105.06 c | 189955 | 160 13600 95200 | 2147483647 63771 48 | 0.004 % |
105.30/105.47 c | 190448 | 160 13600 95200 | 63816 56326 48 | 0.004 % |
105.69/105.81 c | 190994 | 160 13600 95200 | 63816 56872 48 | 0.004 % |
105.99/106.19 c | 191591 | 160 13600 95200 | 63816 57469 48 | 0.004 % |
106.60/106.71 c | 192247 | 160 13600 95200 | 63816 58125 48 | 0.004 % |
107.09/107.22 c | 192971 | 160 13600 95200 | 63816 58849 48 | 0.004 % |
107.60/107.80 c | 193764 | 160 13600 95200 | 63816 59642 48 | 0.004 % |
108.19/108.37 c | 194635 | 160 13600 95200 | 63816 60513 48 | 0.004 % |
108.80/108.97 c | 195594 | 160 13600 95200 | 63816 61472 48 | 0.004 % |
109.59/109.75 c | 196647 | 160 13600 95200 | 63816 62525 48 | 0.004 % |
110.39/110.54 c | 197807 | 160 13600 95200 | 63816 63685 48 | 0.004 % |
111.19/111.36 c | 199080 | 160 13600 95200 | 63816 56518 48 | 0.004 % |
112.19/112.33 c | 200481 | 160 13600 95200 | 57440 50490 49 | 0.004 % |
112.89/113.09 c | 202021 | 160 13600 95200 | 57440 52030 49 | 0.004 % |
113.99/114.17 c | 203717 | 160 13600 95200 | 57440 53726 49 | 0.004 % |
115.19/115.34 c | 205580 | 160 13600 95200 | 57440 55589 49 | 0.004 % |
116.50/116.66 c | 207630 | 160 13600 95200 | 57440 51888 49 | 0.004 % |
116.59/116.72 c | 207730 | 160 13600 95200 | 57440 51988 49 | 0.004 % |
116.59/116.78 c | 207841 | 160 13600 95200 | 57440 52099 49 | 0.004 % |
116.69/116.85 c | 207963 | 160 13600 95200 | 57440 52221 49 | 0.004 % |
116.79/116.92 c | 208096 | 160 13600 95200 | 57440 52354 49 | 0.004 % |
116.89/117.04 c | 208243 | 160 13600 95200 | 57440 52501 49 | 0.004 % |
116.99/117.15 c | 208403 | 160 13600 95200 | 57440 52661 49 | 0.004 % |
117.09/117.27 c | 208579 | 160 13600 95200 | 57440 52837 49 | 0.004 % |
117.29/117.41 c | 208772 | 160 13600 95200 | 57440 53030 49 | 0.004 % |
117.39/117.55 c | 208984 | 160 13600 95200 | 57440 53242 49 | 0.004 % |
117.59/117.70 c | 209220 | 160 13600 95200 | 57440 53478 49 | 0.004 % |
117.69/117.87 c | 209476 | 160 13600 95200 | 57440 53734 49 | 0.004 % |
117.89/118.04 c | 209758 | 160 13600 95200 | 57440 54016 49 | 0.004 % |
118.09/118.23 c | 210068 | 160 13600 95200 | 2147483647 54326 49 | 0.004 % |
118.39/118.51 c | 210407 | 160 13600 95200 | 2147483647 54665 49 | 0.004 % |
118.59/118.78 c | 210781 | 160 13600 95200 | 2147483647 55039 49 | 0.004 % |
118.89/119.05 c | 211192 | 160 13600 95200 | 2147483647 55450 49 | 0.004 % |
119.19/119.33 c | 211641 | 160 13600 95200 | 2147483647 55899 49 | 0.004 % |
119.49/119.65 c | 212135 | 160 13600 95200 | 2147483647 56393 49 | 0.004 % |
119.89/120.02 c | 212677 | 160 13600 95200 | 2147483647 56935 49 | 0.004 % |
120.29/120.42 c | 213273 | 160 13600 95200 | 2147483647 57531 49 | 0.004 % |
120.69/120.81 c | 213928 | 160 13600 95200 | 2147483647 58186 49 | 0.004 % |
121.09/121.23 c | 214648 | 160 13600 95200 | 2147483647 58906 49 | 0.004 % |
121.59/121.76 c | 215443 | 160 13600 95200 | 2147483647 59701 49 | 0.004 % |
122.19/122.34 c | 216314 | 160 13600 95200 | 2147483647 60572 49 | 0.004 % |
122.79/122.98 c | 217273 | 160 13600 95200 | 2147483647 61531 49 | 0.004 % |
123.49/123.64 c | 218328 | 160 13600 95200 | 2147483647 62586 49 | 0.004 % |
124.29/124.46 c | 219487 | 160 13600 95200 | 2147483647 63745 49 | 0.004 % |
125.19/125.34 c | 220760 | 160 13600 95200 | 64258 57927 49 | 0.004 % |
126.08/126.22 c | 222161 | 160 13600 95200 | 64258 59328 48 | 0.004 % |
126.98/127.18 c | 223702 | 160 13600 95200 | 64258 60869 48 | 0.004 % |
127.98/128.20 c | 225397 | 160 13600 95200 | 64258 62564 48 | 0.004 % |
129.28/129.47 c | 227261 | 160 13600 95200 | 64258 57385 48 | 0.004 % |
130.58/130.73 c | 229310 | 160 13600 95200 | 64258 59434 48 | 0.004 % |
131.98/132.18 c | 231565 | 160 13600 95200 | 60125 55142 48 | 0.004 % |
132.08/132.28 c | 231665 | 160 13600 95200 | 60125 55242 48 | 0.004 % |
132.18/132.35 c | 231775 | 160 13600 95200 | 60125 55352 48 | 0.004 % |
132.28/132.42 c | 231896 | 160 13600 95200 | 60125 55473 48 | 0.004 % |
132.38/132.51 c | 232030 | 160 13600 95200 | 60125 55607 48 | 0.004 % |
132.48/132.64 c | 232176 | 160 13600 95200 | 60125 55753 48 | 0.004 % |
132.58/132.76 c | 232336 | 160 13600 95200 | 60125 55913 48 | 0.004 % |
132.68/132.88 c | 232513 | 160 13600 95200 | 60125 56090 48 | 0.004 % |
132.89/133.02 c | 232707 | 160 13600 95200 | 60125 56284 48 | 0.004 % |
132.99/133.17 c | 232919 | 160 13600 95200 | 60125 56496 48 | 0.004 % |
133.18/133.34 c | 233152 | 160 13600 95200 | 60125 56729 48 | 0.004 % |
133.38/133.51 c | 233408 | 160 13600 95200 | 60125 56985 48 | 0.004 % |
133.58/133.72 c | 233690 | 160 13600 95200 | 60125 57267 48 | 0.004 % |
133.78/133.93 c | 234001 | 160 13600 95200 | 60125 57578 48 | 0.004 % |
133.98/134.20 c | 234340 | 160 13600 95200 | 60125 57917 48 | 0.004 % |
134.28/134.49 c | 234712 | 160 13600 95200 | 60125 58289 48 | 0.004 % |
134.58/134.74 c | 235121 | 160 13600 95200 | 60125 58698 48 | 0.004 % |
134.88/135.01 c | 235570 | 160 13600 95200 | 60125 59147 48 | 0.004 % |
135.18/135.38 c | 236063 | 160 13600 95200 | 60125 59640 48 | 0.004 % |
135.68/135.80 c | 236606 | 160 13600 95200 | 60125 60183 48 | 0.004 % |
136.08/136.21 c | 237204 | 160 13600 95200 | 60125 53704 48 | 0.004 % |
136.48/136.64 c | 237859 | 160 13600 95200 | 60125 54359 48 | 0.004 % |
136.88/137.07 c | 238580 | 160 13600 95200 | 60125 55080 48 | 0.004 % |
137.38/137.58 c | 239373 | 160 13600 95200 | 60125 55873 48 | 0.004 % |
137.98/138.17 c | 240245 | 160 13600 95200 | 56502 50420 48 | 0.004 % |
138.58/138.74 c | 241203 | 160 13600 95200 | 56502 51378 48 | 0.004 % |
139.18/139.33 c | 242256 | 160 13600 95200 | 56502 52431 48 | 0.004 % |
139.78/139.98 c | 243417 | 160 13600 95200 | 56502 53592 48 | 0.004 % |
140.58/140.71 c | 244691 | 160 13600 95200 | 56502 54866 48 | 0.004 % |
141.38/141.57 c | 246091 | 160 13600 95200 | 56502 56266 48 | 0.004 % |
142.38/142.57 c | 247633 | 160 13600 95200 | 56502 52151 48 | 0.004 % |
143.38/143.50 c | 249327 | 160 13600 95200 | 56502 53845 48 | 0.004 % |
144.28/144.48 c | 251190 | 160 13600 95200 | 2147483647 55708 48 | 0.004 % |
145.48/145.64 c | 253239 | 160 13600 95200 | 2147483647 57757 49 | 0.004 % |
146.78/146.94 c | 255494 | 160 13600 95200 | 2147483647 60012 49 | 0.004 % |
148.28/148.40 c | 257973 | 160 13600 95200 | 2147483647 62491 49 | 0.004 % |
148.28/148.48 c | 258073 | 160 13600 95200 | 2147483647 62591 49 | 0.004 % |
148.38/148.58 c | 258183 | 160 13600 95200 | 2147483647 62701 49 | 0.004 % |
148.48/148.68 c | 258305 | 160 13600 95200 | 2147483647 62823 49 | 0.004 % |
148.68/148.81 c | 258438 | 160 13600 95200 | 2147483647 62956 49 | 0.004 % |
148.78/148.94 c | 258585 | 160 13600 95200 | 2147483647 63103 49 | 0.004 % |
148.87/149.08 c | 258745 | 160 13600 95200 | 2147483647 63263 49 | 0.004 % |
149.07/149.24 c | 258922 | 160 13600 95200 | 2147483647 63440 49 | 0.004 % |
149.27/149.40 c | 259116 | 160 13600 95200 | 2147483647 63634 49 | 0.004 % |
149.38/149.58 c | 259328 | 160 13600 95200 | 2147483647 63846 49 | 0.004 % |
149.57/149.77 c | 259561 | 160 13600 95200 | 2147483647 64079 49 | 0.004 % |
149.87/150.00 c | 259819 | 160 13600 95200 | 2147483647 64337 49 | 0.004 % |
150.17/150.30 c | 260100 | 160 13600 95200 | 64518 57533 48 | 0.004 % |
150.37/150.51 c | 260410 | 160 13600 95200 | 64518 57843 49 | 0.004 % |
150.58/150.74 c | 260751 | 160 13600 95200 | 64518 58184 49 | 0.004 % |
150.77/150.99 c | 261123 | 160 13600 95200 | 64518 58556 49 | 0.004 % |
151.07/151.26 c | 261532 | 160 13600 95200 | 64518 58965 49 | 0.004 % |
151.37/151.58 c | 261981 | 160 13600 95200 | 64518 59414 49 | 0.004 % |
151.77/151.92 c | 262474 | 160 13600 95200 | 64518 59907 49 | 0.004 % |
152.07/152.28 c | 263016 | 160 13600 95200 | 64518 60449 49 | 0.004 % |
152.57/152.75 c | 263613 | 160 13600 95200 | 64518 61046 49 | 0.004 % |
153.07/153.21 c | 264269 | 160 13600 95200 | 64518 61702 49 | 0.004 % |
153.47/153.66 c | 264989 | 160 13600 95200 | 64518 62422 49 | 0.004 % |
154.07/154.21 c | 265781 | 160 13600 95200 | 64518 63214 49 | 0.004 % |
154.67/154.82 c | 266652 | 160 13600 95200 | 64518 64085 49 | 0.004 % |
155.37/155.53 c | 267610 | 160 13600 95200 | 64518 56536 49 | 0.004 % |
155.98/156.15 c | 268664 | 160 13600 95200 | 64518 57590 49 | 0.004 % |
156.67/156.84 c | 269822 | 160 13600 95200 | 64518 58748 49 | 0.004 % |
157.37/157.56 c | 271096 | 160 13600 95200 | 58928 52830 49 | 0.004 % |
158.27/158.46 c | 272496 | 160 13600 95200 | 58928 54230 49 | 0.004 % |
159.17/159.39 c | 274037 | 160 13600 95200 | 58928 55771 49 | 0.004 % |
160.27/160.43 c | 275735 | 160 13600 95200 | 58928 57469 49 | 0.004 % |
161.37/161.56 c | 277598 | 160 13600 95200 | 58928 53082 49 | 0.004 % |
162.67/162.82 c | 279647 | 160 13600 95200 | 58928 55131 49 | 0.004 % |
163.97/164.14 c | 281900 | 160 13600 95200 | 55486 51764 49 | 0.004 % |
165.37/165.50 c | 284378 | 160 13600 95200 | 55486 54242 49 | 0.004 % |
166.77/166.98 c | 287103 | 160 13600 95200 | 55486 51411 49 | 0.004 % |
166.87/167.03 c | 287203 | 160 13600 95200 | 55486 51511 49 | 0.004 % |
166.97/167.10 c | 287314 | 160 13600 95200 | 55486 51622 49 | 0.004 % |
166.97/167.17 c | 287435 | 160 13600 95200 | 55486 51743 49 | 0.004 % |
167.07/167.27 c | 287570 | 160 13600 95200 | 55486 51878 49 | 0.004 % |
167.17/167.40 c | 287716 | 160 13600 95200 | 55486 52024 49 | 0.004 % |
167.37/167.53 c | 287877 | 160 13600 95200 | 55486 52185 49 | 0.004 % |
167.47/167.66 c | 288053 | 160 13600 95200 | 55486 52361 49 | 0.004 % |
167.67/167.82 c | 288248 | 160 13600 95200 | 55486 52556 49 | 0.004 % |
167.77/167.98 c | 288463 | 160 13600 95200 | 55486 52771 49 | 0.004 % |
167.97/168.13 c | 288696 | 160 13600 95200 | 55486 53004 49 | 0.004 % |
168.07/168.29 c | 288953 | 160 13600 95200 | 55486 53261 49 | 0.004 % |
168.27/168.48 c | 289235 | 160 13600 95200 | 55486 53543 49 | 0.004 % |
168.47/168.67 c | 289545 | 160 13600 95200 | 55486 53853 49 | 0.004 % |
168.76/168.93 c | 289886 | 160 13600 95200 | 55486 54194 49 | 0.004 % |
169.06/169.20 c | 290258 | 160 13600 95200 | 2147483647 54566 49 | 0.004 % |
169.27/169.49 c | 290667 | 160 13600 95200 | 2147483647 54975 49 | 0.004 % |
169.56/169.77 c | 291119 | 160 13600 95200 | 2147483647 55427 49 | 0.004 % |
169.86/170.07 c | 291614 | 160 13600 95200 | 2147483647 55922 49 | 0.004 % |
170.27/170.41 c | 292158 | 160 13600 95200 | 2147483647 56466 49 | 0.004 % |
170.56/170.77 c | 292755 | 160 13600 95200 | 2147483647 57063 49 | 0.004 % |
170.96/171.17 c | 293410 | 160 13600 95200 | 2147483647 57718 49 | 0.004 % |
171.47/171.61 c | 294134 | 160 13600 95200 | 2147483647 58442 49 | 0.004 % |
171.96/172.12 c | 294928 | 160 13600 95200 | 2147483647 59236 49 | 0.004 % |
172.57/172.71 c | 295802 | 160 13600 95200 | 2147483647 60110 49 | 0.004 % |
173.16/173.32 c | 296762 | 160 13600 95200 | 2147483647 61070 49 | 0.004 % |
173.87/174.03 c | 297816 | 160 13600 95200 | 2147483647 62124 49 | 0.004 % |
174.57/174.79 c | 298975 | 160 13600 95200 | 2147483647 63283 49 | 0.004 % |
175.47/175.68 c | 300250 | 160 13600 95200 | 64308 57757 49 | 0.004 % |
176.37/176.55 c | 301651 | 160 13600 95200 | 64308 59158 49 | 0.004 % |
177.37/177.53 c | 303191 | 160 13600 95200 | 64308 60698 49 | 0.004 % |
178.37/178.57 c | 304885 | 160 13600 95200 | 64308 62392 49 | 0.004 % |
179.57/179.76 c | 306749 | 160 13600 95200 | 64308 64256 49 | 0.004 % |
180.87/181.07 c | 308798 | 160 13600 95200 | 64308 58753 49 | 0.004 % |
182.17/182.32 c | 311051 | 160 13600 95200 | 59955 54256 49 | 0.004 % |
183.67/183.84 c | 313529 | 160 13600 95200 | 59955 56734 49 | 0.004 % |
185.27/185.49 c | 316254 | 160 13600 95200 | 59955 59459 49 | 0.004 % |
186.97/187.15 c | 319254 | 160 13600 95200 | 59955 55834 49 | 0.004 % |
187.07/187.21 c | 319355 | 160 13600 95200 | 59955 55935 49 | 0.004 % |
187.07/187.27 c | 319465 | 160 13600 95200 | 59955 56045 49 | 0.004 % |
187.17/187.36 c | 319587 | 160 13600 95200 | 59955 56167 49 | 0.004 % |
187.27/187.48 c | 319722 | 160 13600 95200 | 59955 56302 49 | 0.004 % |
187.37/187.58 c | 319869 | 160 13600 95200 | 59955 56449 49 | 0.004 % |
187.47/187.67 c | 320030 | 160 13600 95200 | 56580 56610 49 | 0.004 % |
187.67/187.85 c | 320206 | 160 13600 95200 | 56580 50931 49 | 0.004 % |
187.77/187.97 c | 320399 | 160 13600 95200 | 56580 51124 49 | 0.004 % |
187.97/188.11 c | 320613 | 160 13600 95200 | 56580 51338 49 | 0.004 % |
188.07/188.24 c | 320849 | 160 13600 95200 | 56580 51574 49 | 0.004 % |
188.27/188.40 c | 321105 | 160 13600 95200 | 56580 51830 49 | 0.004 % |
188.37/188.57 c | 321388 | 160 13600 95200 | 56580 52113 49 | 0.004 % |
188.57/188.74 c | 321697 | 160 13600 95200 | 56580 52422 49 | 0.004 % |
188.77/188.91 c | 322038 | 160 13600 95200 | 56580 52763 49 | 0.004 % |
188.97/189.18 c | 322411 | 160 13600 95200 | 56580 53136 49 | 0.004 % |
189.27/189.42 c | 322821 | 160 13600 95200 | 56580 53546 49 | 0.004 % |
189.57/189.70 c | 323272 | 160 13600 95200 | 56580 53997 49 | 0.004 % |
189.87/190.00 c | 323765 | 160 13600 95200 | 56580 54490 49 | 0.004 % |
190.17/190.33 c | 324307 | 160 13600 95200 | 56580 55032 49 | 0.004 % |
190.47/190.69 c | 324904 | 160 13600 95200 | 56580 55629 49 | 0.004 % |
190.86/191.06 c | 325561 | 160 13600 95200 | 56580 56286 49 | 0.004 % |
191.46/191.63 c | 326283 | 160 13600 95200 | 56580 51342 48 | 0.004 % |
191.96/192.13 c | 327075 | 160 13600 95200 | 56580 52134 48 | 0.004 % |
192.46/192.66 c | 327946 | 160 13600 95200 | 56580 53005 48 | 0.004 % |
193.06/193.25 c | 328906 | 160 13600 95200 | 56580 53965 48 | 0.004 % |
193.66/193.90 c | 329960 | 160 13600 95200 | 56580 55019 48 | 0.004 % |
194.47/194.65 c | 331119 | 160 13600 95200 | 2147483647 56178 48 | 0.004 % |
195.26/195.45 c | 332394 | 160 13600 95200 | 2147483647 57453 48 | 0.004 % |
196.06/196.29 c | 333796 | 160 13600 95200 | 2147483647 58855 48 | 0.004 % |
197.06/197.27 c | 335336 | 160 13600 95200 | 2147483647 60395 49 | 0.004 % |
198.16/198.30 c | 337030 | 160 13600 95200 | 2147483647 62089 49 | 0.004 % |
199.56/199.70 c | 338893 | 160 13600 95200 | 2147483647 63952 49 | 0.004 % |
201.06/201.23 c | 340944 | 160 13600 95200 | 65060 57678 49 | 0.004 % |
202.46/202.65 c | 343201 | 160 13600 95200 | 65060 59935 49 | 0.004 % |
204.16/204.33 c | 345679 | 160 13600 95200 | 65060 62413 49 | 0.004 % |
206.06/206.20 c | 348404 | 160 13600 95200 | 65060 56905 49 | 0.004 % |
207.86/208.04 c | 351404 | 160 13600 95200 | 58501 52683 49 | 0.004 % |
210.06/210.20 c | 354700 | 160 13600 95200 | 58501 55979 49 | 0.004 % |
210.06/210.27 c | 354803 | 160 13600 95200 | 58501 56082 49 | 0.004 % |
210.16/210.34 c | 354914 | 160 13600 95200 | 58501 56193 49 | 0.004 % |
210.26/210.42 c | 355035 | 160 13600 95200 | 58501 56314 49 | 0.004 % |
210.36/210.54 c | 355168 | 160 13600 95200 | 58501 56447 49 | 0.004 % |
210.46/210.65 c | 355314 | 160 13600 95200 | 58501 56593 49 | 0.004 % |
210.56/210.76 c | 355476 | 160 13600 95200 | 58501 56755 49 | 0.004 % |
210.66/210.89 c | 355653 | 160 13600 95200 | 58501 56932 49 | 0.004 % |
210.86/211.02 c | 355848 | 160 13600 95200 | 58501 57127 49 | 0.004 % |
210.96/211.18 c | 356061 | 160 13600 95200 | 58501 57340 49 | 0.004 % |
211.16/211.36 c | 356297 | 160 13600 95200 | 58501 57576 49 | 0.004 % |
211.36/211.55 c | 356553 | 160 13600 95200 | 58501 57832 49 | 0.004 % |
211.56/211.79 c | 356835 | 160 13600 95200 | 58501 58114 49 | 0.004 % |
211.86/212.00 c | 357145 | 160 13600 95200 | 58501 58424 49 | 0.004 % |
212.06/212.26 c | 357484 | 160 13600 95200 | 58501 52241 49 | 0.004 % |
212.36/212.50 c | 357856 | 160 13600 95200 | 58501 52613 49 | 0.004 % |
212.56/212.74 c | 358266 | 160 13600 95200 | 58501 53023 49 | 0.004 % |
212.76/212.99 c | 358715 | 160 13600 95200 | 58501 53472 49 | 0.004 % |
213.06/213.26 c | 359208 | 160 13600 95200 | 58501 53965 49 | 0.004 % |
213.36/213.57 c | 359750 | 160 13600 95200 | 58501 54507 49 | 0.004 % |
213.75/213.93 c | 360347 | 160 13600 95200 | 54757 49444 49 | 0.004 % |
214.05/214.29 c | 361002 | 160 13600 95200 | 54757 50099 49 | 0.004 % |
214.65/214.82 c | 361722 | 160 13600 95200 | 54757 50819 49 | 0.004 % |
215.05/215.27 c | 362514 | 160 13600 95200 | 54757 51611 49 | 0.004 % |
215.65/215.85 c | 363385 | 160 13600 95200 | 54757 52482 49 | 0.004 % |
216.25/216.41 c | 364343 | 160 13600 95200 | 54757 53440 49 | 0.004 % |
216.75/217.00 c | 365396 | 160 13600 95200 | 54757 54493 49 | 0.004 % |
217.45/217.64 c | 366555 | 160 13600 95200 | 54757 50169 49 | 0.004 % |
218.15/218.33 c | 367829 | 160 13600 95200 | 54757 51443 49 | 0.004 % |
218.85/219.09 c | 369230 | 160 13600 95200 | 54757 52844 49 | 0.004 % |
219.65/219.84 c | 370770 | 160 13600 95200 | 2147483647 54384 49 | 0.004 % |
220.65/220.83 c | 372464 | 160 13600 95200 | 2147483647 56078 49 | 0.004 % |
221.75/221.92 c | 374327 | 160 13600 95200 | 2147483647 57941 49 | 0.004 % |
222.95/223.13 c | 376376 | 160 13600 95200 | 2147483647 59990 49 | 0.004 % |
224.35/224.56 c | 378630 | 160 13600 95200 | 2147483647 62244 49 | 0.004 % |
226.05/226.20 c | 381108 | 160 13600 95200 | 2147483647 64722 49 | 0.004 % |
227.85/228.09 c | 383833 | 160 13600 95200 | 2147483647 67447 49 | 0.004 % |
229.95/230.14 c | 386830 | 160 13600 95200 | 2147483647 70444 49 | 0.004 % |
232.55/232.74 c | 390126 | 160 13600 95200 | 73614 62744 49 | 0.004 % |
235.15/235.33 c | 393751 | 160 13600 95200 | 73614 66369 49 | 0.004 % |
235.25/235.41 c | 393851 | 160 13600 95200 | 73614 66469 49 | 0.004 % |
235.35/235.50 c | 393962 | 160 13600 95200 | 73614 66580 49 | 0.004 % |
235.35/235.59 c | 394083 | 160 13600 95200 | 73614 66701 49 | 0.004 % |
235.55/235.73 c | 394216 | 160 13600 95200 | 73614 66834 49 | 0.004 % |
235.65/235.85 c | 394365 | 160 13600 95200 | 73614 66983 49 | 0.004 % |
235.75/235.99 c | 394525 | 160 13600 95200 | 73614 67143 49 | 0.004 % |
235.95/236.17 c | 394701 | 160 13600 95200 | 73614 67319 49 | 0.004 % |
236.15/236.33 c | 394895 | 160 13600 95200 | 73614 67513 49 | 0.004 % |
236.35/236.53 c | 395109 | 160 13600 95200 | 73614 67727 49 | 0.004 % |
236.55/236.72 c | 395344 | 160 13600 95200 | 73614 67962 49 | 0.004 % |
236.75/236.91 c | 395601 | 160 13600 95200 | 73614 68219 49 | 0.004 % |
236.94/237.11 c | 395882 | 160 13600 95200 | 73614 68500 49 | 0.004 % |
237.14/237.35 c | 396192 | 160 13600 95200 | 73614 68810 49 | 0.004 % |
237.35/237.59 c | 396532 | 160 13600 95200 | 73614 69150 49 | 0.004 % |
237.74/237.95 c | 396904 | 160 13600 95200 | 73614 69522 49 | 0.004 % |
238.14/238.31 c | 397314 | 160 13600 95200 | 73614 69932 49 | 0.004 % |
238.45/238.68 c | 397764 | 160 13600 95200 | 73614 70382 49 | 0.004 % |
238.84/239.04 c | 398258 | 160 13600 95200 | 73614 70876 49 | 0.004 % |
239.14/239.39 c | 398800 | 160 13600 95200 | 73614 71418 49 | 0.004 % |
239.65/239.84 c | 399397 | 160 13600 95200 | 73614 72015 49 | 0.004 % |
240.14/240.34 c | 400052 | 160 13600 95200 | 72618 72670 49 | 0.004 % |
240.75/240.93 c | 400772 | 160 13600 95200 | 72618 61202 49 | 0.004 % |
241.24/241.46 c | 401566 | 160 13600 95200 | 72618 61996 49 | 0.004 % |
241.75/241.98 c | 402437 | 160 13600 95200 | 72618 62867 49 | 0.004 % |
242.34/242.59 c | 403396 | 160 13600 95200 | 72618 63826 49 | 0.004 % |
243.04/243.27 c | 404450 | 160 13600 95200 | 72618 64880 49 | 0.004 % |
243.74/243.99 c | 405610 | 160 13600 95200 | 72618 66040 49 | 0.004 % |
244.64/244.85 c | 406885 | 160 13600 95200 | 72618 67315 49 | 0.004 % |
245.64/245.83 c | 408285 | 160 13600 95200 | 72618 68715 49 | 0.004 % |
246.74/246.94 c | 409825 | 160 13600 95200 | 72618 70255 49 | 0.004 % |
247.94/248.14 c | 411519 | 160 13600 95200 | 70430 60865 49 | 0.004 % |
249.34/249.51 c | 413382 | 160 13600 95200 | 70430 62728 49 | 0.004 % |
250.64/250.86 c | 415432 | 160 13600 95200 | 70430 64778 49 | 0.004 % |
252.14/252.33 c | 417686 | 160 13600 95200 | 70430 67032 49 | 0.004 % |
253.84/254.07 c | 420168 | 160 13600 95200 | 69346 58944 49 | 0.004 % |
255.43/255.68 c | 422894 | 160 13600 95200 | 69346 61670 49 | 0.004 % |
257.43/257.61 c | 425891 | 160 13600 95200 | 69346 64667 49 | 0.004 % |
259.44/259.68 c | 429187 | 160 13600 95200 | 69346 67963 49 | 0.004 % |
261.83/262.09 c | 432813 | 160 13600 95200 | 68777 62597 49 | 0.004 % |
264.53/264.76 c | 436800 | 160 13600 95200 | 68777 66584 49 | 0.004 % |
264.63/264.84 c | 436902 | 160 13600 95200 | 68777 66686 49 | 0.004 % |
264.73/264.93 c | 437012 | 160 13600 95200 | 68777 66796 49 | 0.004 % |
264.83/265.04 c | 437133 | 160 13600 95200 | 68777 66917 49 | 0.004 % |
264.93/265.15 c | 437267 | 160 13600 95200 | 68777 67051 49 | 0.004 % |
265.03/265.26 c | 437413 | 160 13600 95200 | 68777 67197 49 | 0.004 % |
265.23/265.40 c | 437575 | 160 13600 95200 | 68777 67359 49 | 0.004 % |
265.33/265.53 c | 437752 | 160 13600 95200 | 68777 67536 49 | 0.004 % |
265.53/265.70 c | 437945 | 160 13600 95200 | 68777 67729 49 | 0.004 % |
265.63/265.88 c | 438157 | 160 13600 95200 | 68777 67941 49 | 0.004 % |
265.83/266.07 c | 438392 | 160 13600 95200 | 68777 68176 49 | 0.004 % |
266.03/266.29 c | 438650 | 160 13600 95200 | 68777 68434 49 | 0.004 % |
266.33/266.52 c | 438931 | 160 13600 95200 | 68777 68715 49 | 0.004 % |
266.63/266.83 c | 439240 | 160 13600 95200 | 68777 59595 49 | 0.004 % |
266.83/267.06 c | 439580 | 160 13600 95200 | 68777 59935 49 | 0.004 % |
267.13/267.34 c | 439953 | 160 13600 95200 | 68777 60308 49 | 0.004 % |
267.43/267.65 c | 440364 | 160 13600 95200 | 60356 52411 49 | 0.004 % |
267.73/267.90 c | 440815 | 160 13600 95200 | 60356 52862 49 | 0.004 % |
267.93/268.19 c | 441309 | 160 13600 95200 | 60356 53356 49 | 0.004 % |
268.23/268.49 c | 441854 | 160 13600 95200 | 60356 53901 49 | 0.004 % |
268.63/268.83 c | 442450 | 160 13600 95200 | 60356 54497 49 | 0.004 % |
268.93/269.19 c | 443105 | 160 13600 95200 | 60356 55152 49 | 0.004 % |
269.43/269.64 c | 443826 | 160 13600 95200 | 60356 55873 49 | 0.004 % |
269.83/270.08 c | 444618 | 160 13600 95200 | 60356 56665 49 | 0.004 % |
270.33/270.58 c | 445490 | 160 13600 95200 | 60356 57537 49 | 0.004 % |
270.93/271.19 c | 446449 | 160 13600 95200 | 60356 58496 49 | 0.004 % |
271.63/271.85 c | 447503 | 160 13600 95200 | 60356 59550 49 | 0.004 % |
272.53/272.74 c | 448661 | 160 13600 95200 | 60356 54196 49 | 0.004 % |
273.33/273.55 c | 449934 | 160 13600 95200 | 60356 55469 49 | 0.004 % |
274.13/274.37 c | 451335 | 160 13600 95200 | 55535 50990 49 | 0.004 % |
275.03/275.25 c | 452876 | 160 13600 95200 | 55535 52531 49 | 0.004 % |
276.03/276.26 c | 454570 | 160 13600 95200 | 55535 54225 49 | 0.004 % |
277.12/277.39 c | 456434 | 160 13600 95200 | 55535 50528 49 | 0.004 % |
278.32/278.58 c | 458484 | 160 13600 95200 | 55535 52578 49 | 0.004 % |
279.62/279.85 c | 460737 | 160 13600 95200 | 2147483647 54831 49 | 0.004 % |
281.12/281.30 c | 463217 | 160 13600 95200 | 2147483647 57311 49 | 0.004 % |
282.72/282.99 c | 465942 | 160 13600 95200 | 2147483647 60036 49 | 0.004 % |
284.82/285.09 c | 468941 | 160 13600 95200 | 2147483647 63035 49 | 0.004 % |
287.22/287.46 c | 472240 | 160 13600 95200 | 64095 59551 49 | 0.004 % |
289.62/289.82 c | 475866 | 160 13600 95200 | 64095 63177 49 | 0.004 % |
292.02/292.26 c | 479853 | 160 13600 95200 | 64095 59732 49 | 0.004 % |
294.52/294.71 c | 484239 | 160 13600 95200 | 59880 57469 49 | 0.004 % |
294.52/294.77 c | 484341 | 160 13600 95200 | 59880 57571 49 | 0.004 % |
294.62/294.83 c | 484451 | 160 13600 95200 | 59880 57681 49 | 0.004 % |
294.72/294.92 c | 484573 | 160 13600 95200 | 59880 57803 49 | 0.004 % |
294.83/295.02 c | 484706 | 160 13600 95200 | 59880 57936 49 | 0.004 % |
294.93/295.11 c | 484852 | 160 13600 95200 | 59880 58082 49 | 0.004 % |
295.03/295.21 c | 485012 | 160 13600 95200 | 59880 58242 49 | 0.004 % |
295.13/295.33 c | 485188 | 160 13600 95200 | 59880 58418 49 | 0.004 % |
295.23/295.46 c | 485383 | 160 13600 95200 | 59880 58613 49 | 0.004 % |
295.33/295.60 c | 485595 | 160 13600 95200 | 59880 58825 49 | 0.004 % |
295.53/295.76 c | 485829 | 160 13600 95200 | 59880 59059 49 | 0.004 % |
295.73/295.94 c | 486085 | 160 13600 95200 | 59880 59315 49 | 0.004 % |
295.93/296.14 c | 486370 | 160 13600 95200 | 59880 59600 49 | 0.004 % |
296.13/296.35 c | 486680 | 160 13600 95200 | 59880 59910 49 | 0.004 % |
296.43/296.62 c | 487021 | 160 13600 95200 | 59880 54260 49 | 0.004 % |
296.63/296.90 c | 487393 | 160 13600 95200 | 59880 54632 49 | 0.004 % |
297.02/297.20 c | 487803 | 160 13600 95200 | 59880 55042 49 | 0.004 % |
297.22/297.45 c | 488252 | 160 13600 95200 | 59880 55491 49 | 0.004 % |
297.52/297.75 c | 488746 | 160 13600 95200 | 59880 55985 49 | 0.004 % |
297.83/298.06 c | 489290 | 160 13600 95200 | 59880 56529 49 | 0.004 % |
298.22/298.45 c | 489888 | 160 13600 95200 | 59880 57127 49 | 0.004 % |
298.72/298.91 c | 490543 | 160 13600 95200 | 2147483647 57782 49 | 0.004 % |
299.12/299.39 c | 491263 | 160 13600 95200 | 2147483647 58502 49 | 0.004 % |
299.72/299.90 c | 492055 | 160 13600 95200 | 2147483647 59294 49 | 0.004 % |
300.22/300.47 c | 492926 | 160 13600 95200 | 2147483647 60165 49 | 0.004 % |
300.92/301.15 c | 493884 | 160 13600 95200 | 2147483647 61123 49 | 0.004 % |
301.62/301.85 c | 494937 | 160 13600 95200 | 2147483647 62176 49 | 0.004 % |
302.42/302.63 c | 496095 | 160 13600 95200 | 2147483647 63334 49 | 0.004 % |
303.33/303.51 c | 497368 | 160 13600 95200 | 2147483647 64607 49 | 0.004 % |
304.22/304.40 c | 498768 | 160 13600 95200 | 2147483647 66007 49 | 0.004 % |
305.32/305.50 c | 500309 | 160 13600 95200 | 67240 59069 49 | 0.004 % |
306.32/306.55 c | 502003 | 160 13600 95200 | 67240 60763 49 | 0.004 % |
307.72/307.95 c | 503871 | 160 13600 95200 | 67240 62631 49 | 0.004 % |
309.12/309.30 c | 505920 | 160 13600 95200 | 67240 64680 49 | 0.004 % |
310.72/310.97 c | 508174 | 160 13600 95200 | 67240 66934 49 | 0.004 % |
312.42/312.61 c | 510653 | 160 13600 95200 | 59447 52283 49 | 0.004 % |
314.02/314.23 c | 513378 | 160 13600 95200 | 59447 55008 49 | 0.004 % |
315.82/316.02 c | 516375 | 160 13600 95200 | 59447 58005 49 | 0.004 % |
317.82/318.09 c | 519674 | 160 13600 95200 | 59447 55353 49 | 0.004 % |
319.92/320.15 c | 523302 | 160 13600 95200 | 2147483647 58981 49 | 0.004 % |
322.22/322.48 c | 527290 | 160 13600 95200 | 2147483647 62969 49 | 0.004 % |
325.02/325.20 c | 531675 | 160 13600 95200 | 2147483647 67354 49 | 0.004 % |
328.31/328.59 c | 536498 | 160 13600 95200 | 2147483647 72177 49 | 0.004 % |
328.41/328.68 c | 536598 | 160 13600 95200 | 2147483647 72277 49 | 0.004 % |
328.51/328.79 c | 536708 | 160 13600 95200 | 2147483647 72387 49 | 0.004 % |
328.62/328.90 c | 536829 | 160 13600 95200 | 2147483647 72508 49 | 0.004 % |
328.81/329.01 c | 536964 | 160 13600 95200 | 2147483647 72643 49 | 0.004 % |
328.91/329.14 c | 537114 | 160 13600 95200 | 2147483647 72793 49 | 0.004 % |
329.01/329.26 c | 537274 | 160 13600 95200 | 2147483647 72953 49 | 0.004 % |
329.21/329.40 c | 537451 | 160 13600 95200 | 2147483647 73130 49 | 0.004 % |
329.31/329.56 c | 537645 | 160 13600 95200 | 2147483647 73324 49 | 0.004 % |
329.51/329.74 c | 537857 | 160 13600 95200 | 2147483647 73536 49 | 0.004 % |
329.72/329.93 c | 538090 | 160 13600 95200 | 2147483647 73769 49 | 0.004 % |
330.01/330.20 c | 538347 | 160 13600 95200 | 2147483647 74026 49 | 0.004 % |
330.21/330.47 c | 538628 | 160 13600 95200 | 2147483647 74307 49 | 0.004 % |
330.51/330.72 c | 538939 | 160 13600 95200 | 2147483647 74618 49 | 0.004 % |
330.71/331.00 c | 539278 | 160 13600 95200 | 2147483647 74957 49 | 0.004 % |
331.01/331.28 c | 539650 | 160 13600 95200 | 2147483647 75329 49 | 0.004 % |
331.41/331.61 c | 540059 | 160 13600 95200 | 75681 75738 49 | 0.004 % |
331.81/332.04 c | 540511 | 160 13600 95200 | 75681 64438 49 | 0.004 % |
332.21/332.40 c | 541005 | 160 13600 95200 | 75681 64932 49 | 0.004 % |
332.61/332.84 c | 541547 | 160 13600 95200 | 75681 65474 49 | 0.004 % |
333.11/333.30 c | 542147 | 160 13600 95200 | 75681 66074 49 | 0.004 % |
333.61/333.80 c | 542803 | 160 13600 95200 | 75681 66730 49 | 0.004 % |
334.11/334.36 c | 543526 | 160 13600 95200 | 75681 67453 49 | 0.004 % |
334.81/335.01 c | 544320 | 160 13600 95200 | 75681 68247 49 | 0.004 % |
335.41/335.65 c | 545192 | 160 13600 95200 | 75681 69119 49 | 0.004 % |
336.21/336.44 c | 546151 | 160 13600 95200 | 75681 70078 49 | 0.004 % |
337.01/337.20 c | 547205 | 160 13600 95200 | 75681 71132 49 | 0.004 % |
337.91/338.11 c | 548363 | 160 13600 95200 | 75681 72290 49 | 0.004 % |
338.81/339.07 c | 549638 | 160 13600 95200 | 75681 73565 49 | 0.004 % |
339.81/340.09 c | 551039 | 160 13600 95200 | 73929 62325 48 | 0.004 % |
341.01/341.24 c | 552579 | 160 13600 95200 | 73929 63865 49 | 0.004 % |
342.30/342.55 c | 554274 | 160 13600 95200 | 73929 65560 49 | 0.004 % |
343.50/343.77 c | 556138 | 160 13600 95200 | 73929 67424 49 | 0.004 % |
345.11/345.31 c | 558187 | 160 13600 95200 | 73929 69473 49 | 0.004 % |
346.70/346.97 c | 560440 | 160 13600 95200 | 71288 60077 49 | 0.004 % |
348.51/348.71 c | 562918 | 160 13600 95200 | 71288 62555 49 | 0.004 % |
350.50/350.76 c | 565645 | 160 13600 95200 | 71288 65282 49 | 0.004 % |
352.80/353.02 c | 568642 | 160 13600 95200 | 71288 68279 49 | 0.004 % |
355.20/355.43 c | 571938 | 160 13600 95200 | 69638 61133 48 | 0.004 % |
357.80/358.02 c | 575563 | 160 13600 95200 | 69638 64758 48 | 0.004 % |
360.60/360.89 c | 579550 | 160 13600 95200 | 69638 68745 49 | 0.004 % |
363.50/363.78 c | 583936 | 160 13600 95200 | 69196 62684 49 | 0.004 % |
366.69/366.94 c | 588760 | 160 13600 95200 | 69196 67508 49 | 0.004 % |
370.09/370.35 c | 594066 | 160 13600 95200 | 68748 63336 49 | 0.004 % |
370.19/370.44 c | 594166 | 160 13600 95200 | 68748 63436 49 | 0.004 % |
370.29/370.53 c | 594276 | 160 13600 95200 | 68748 63546 49 | 0.004 % |
370.40/370.62 c | 594398 | 160 13600 95200 | 68748 63668 49 | 0.004 % |
370.50/370.71 c | 594532 | 160 13600 95200 | 68748 63802 49 | 0.004 % |
370.59/370.85 c | 594679 | 160 13600 95200 | 68748 63949 49 | 0.004 % |
370.69/370.98 c | 594840 | 160 13600 95200 | 68748 64110 49 | 0.004 % |
370.89/371.12 c | 595016 | 160 13600 95200 | 68748 64286 49 | 0.004 % |
370.99/371.29 c | 595209 | 160 13600 95200 | 68748 64479 49 | 0.004 % |
371.19/371.45 c | 595422 | 160 13600 95200 | 68748 64692 49 | 0.004 % |
371.39/371.63 c | 595655 | 160 13600 95200 | 68748 64925 49 | 0.004 % |
371.60/371.80 c | 595912 | 160 13600 95200 | 68748 65182 49 | 0.004 % |
371.79/372.00 c | 596194 | 160 13600 95200 | 68748 65464 49 | 0.004 % |
371.99/372.23 c | 596504 | 160 13600 95200 | 68748 65774 49 | 0.004 % |
372.29/372.54 c | 596843 | 160 13600 95200 | 68748 66113 49 | 0.004 % |
372.60/372.87 c | 597215 | 160 13600 95200 | 68748 66485 49 | 0.004 % |
372.89/373.18 c | 597624 | 160 13600 95200 | 68748 66894 49 | 0.004 % |
373.19/373.49 c | 598073 | 160 13600 95200 | 68748 67343 49 | 0.004 % |
373.70/373.90 c | 598566 | 160 13600 95200 | 68748 67836 49 | 0.004 % |
374.09/374.32 c | 599108 | 160 13600 95200 | 68748 68378 49 | 0.004 % |
374.59/374.87 c | 599704 | 160 13600 95200 | 68748 58758 49 | 0.004 % |
375.09/375.37 c | 600359 | 160 13600 95200 | 59056 50690 49 | 0.004 % |
375.49/375.79 c | 601079 | 160 13600 95200 | 59056 51410 49 | 0.004 % |
375.99/376.29 c | 601872 | 160 13600 95200 | 59056 52203 49 | 0.004 % |
376.59/376.81 c | 602743 | 160 13600 95200 | 59056 53074 49 | 0.004 % |
377.09/377.36 c | 603703 | 160 13600 95200 | 59056 54034 49 | 0.004 % |
377.69/377.96 c | 604756 | 160 13600 95200 | 59056 55087 49 | 0.004 % |
378.39/378.62 c | 605916 | 160 13600 95200 | 59056 56247 49 | 0.004 % |
379.09/379.39 c | 607189 | 160 13600 95200 | 59056 57520 49 | 0.004 % |
379.89/380.17 c | 608590 | 160 13600 95200 | 59056 58921 49 | 0.004 % |
380.89/381.16 c | 610130 | 160 13600 95200 | 2147483647 54548 49 | 0.004 % |
381.99/382.26 c | 611825 | 160 13600 95200 | 2147483647 56243 49 | 0.004 % |
383.09/383.39 c | 613689 | 160 13600 95200 | 2147483647 58107 49 | 0.004 % |
384.39/384.65 c | 615740 | 160 13600 95200 | 2147483647 60158 49 | 0.004 % |
385.79/386.09 c | 617993 | 160 13600 95200 | 2147483647 62411 49 | 0.004 % |
387.59/387.80 c | 620472 | 160 13600 95200 | 64418 57239 49 | 0.004 % |
389.19/389.46 c | 623197 | 160 13600 95200 | 64418 59964 49 | 0.004 % |
391.18/391.48 c | 626195 | 160 13600 95200 | 64418 62962 49 | 0.004 % |
393.38/393.64 c | 629491 | 160 13600 95200 | 64418 58399 49 | 0.004 % |
395.48/395.76 c | 633117 | 160 13600 95200 | 58908 55086 49 | 0.004 % |
397.68/397.93 c | 637104 | 160 13600 95200 | 58908 53176 49 | 0.004 % |
399.78/400.08 c | 641489 | 160 13600 95200 | 2147483647 57561 49 | 0.004 % |
402.68/402.99 c | 646315 | 160 13600 95200 | 2147483647 62387 49 | 0.004 % |
406.08/406.39 c | 651625 | 160 13600 95200 | 2147483647 67697 49 | 0.004 % |
410.38/410.67 c | 657460 | 160 13600 95200 | 2147483647 73532 49 | 0.004 % |
410.48/410.74 c | 657561 | 160 13600 95200 | 2147483647 73633 49 | 0.004 % |
410.58/410.88 c | 657671 | 160 13600 95200 | 2147483647 73743 49 | 0.004 % |
410.68/411.00 c | 657792 | 160 13600 95200 | 2147483647 73864 49 | 0.004 % |
410.88/411.13 c | 657926 | 160 13600 95200 | 2147483647 73998 49 | 0.004 % |
410.98/411.28 c | 658073 | 160 13600 95200 | 2147483647 74145 49 | 0.004 % |
411.18/411.42 c | 658233 | 160 13600 95200 | 2147483647 74305 49 | 0.004 % |
411.28/411.58 c | 658409 | 160 13600 95200 | 2147483647 74481 49 | 0.004 % |
411.48/411.72 c | 658602 | 160 13600 95200 | 2147483647 74674 49 | 0.004 % |
411.58/411.89 c | 658815 | 160 13600 95200 | 2147483647 74887 49 | 0.004 % |
411.78/412.09 c | 659048 | 160 13600 95200 | 2147483647 75120 49 | 0.004 % |
412.08/412.31 c | 659305 | 160 13600 95200 | 2147483647 75377 49 | 0.004 % |
412.28/412.54 c | 659587 | 160 13600 95200 | 2147483647 75659 49 | 0.004 % |
412.58/412.85 c | 659897 | 160 13600 95200 | 2147483647 75969 49 | 0.004 % |
412.98/413.22 c | 660239 | 160 13600 95200 | 76074 63611 49 | 0.004 % |
413.28/413.51 c | 660611 | 160 13600 95200 | 76074 63983 49 | 0.004 % |
413.48/413.79 c | 661020 | 160 13600 95200 | 76074 64392 49 | 0.004 % |
413.88/414.11 c | 661469 | 160 13600 95200 | 76074 64841 49 | 0.004 % |
414.18/414.49 c | 661962 | 160 13600 95200 | 76074 65334 49 | 0.004 % |
414.58/414.88 c | 662505 | 160 13600 95200 | 76074 65877 49 | 0.004 % |
415.08/415.35 c | 663101 | 160 13600 95200 | 76074 66473 49 | 0.004 % |
415.58/415.85 c | 663757 | 160 13600 95200 | 76074 67129 49 | 0.004 % |
416.08/416.39 c | 664479 | 160 13600 95200 | 76074 67851 49 | 0.004 % |
416.68/416.99 c | 665271 | 160 13600 95200 | 76074 68643 49 | 0.004 % |
417.28/417.57 c | 666143 | 160 13600 95200 | 76074 69515 49 | 0.004 % |
417.98/418.28 c | 667102 | 160 13600 95200 | 76074 70474 49 | 0.004 % |
418.78/419.03 c | 668156 | 160 13600 95200 | 76074 71528 49 | 0.004 % |
419.57/419.89 c | 669315 | 160 13600 95200 | 76074 72687 49 | 0.004 % |
420.57/420.86 c | 670590 | 160 13600 95200 | 73372 61797 49 | 0.004 % |
421.47/421.79 c | 671990 | 160 13600 95200 | 73372 63197 49 | 0.004 % |
422.47/422.79 c | 673531 | 160 13600 95200 | 73372 64738 49 | 0.004 % |
423.67/423.91 c | 675226 | 160 13600 95200 | 73372 66433 49 | 0.004 % |
424.87/425.16 c | 677091 | 160 13600 95200 | 73372 68298 49 | 0.004 % |
426.27/426.56 c | 679142 | 160 13600 95200 | 73372 70349 49 | 0.004 % |
427.97/428.24 c | 681395 | 160 13600 95200 | 71207 61701 49 | 0.004 % |
429.57/429.85 c | 683875 | 160 13600 95200 | 71207 64181 49 | 0.004 % |
431.37/431.66 c | 686602 | 160 13600 95200 | 71207 66908 49 | 0.004 % |
433.37/433.67 c | 689599 | 160 13600 95200 | 71207 69905 49 | 0.004 % |
435.77/436.07 c | 692897 | 160 13600 95200 | 70306 62883 49 | 0.004 % |
438.27/438.57 c | 696525 | 160 13600 95200 | 70306 66511 49 | 0.004 % |
441.17/441.40 c | 700512 | 160 13600 95200 | 69986 59648 49 | 0.004 % |
444.08/444.34 c | 704897 | 160 13600 95200 | 69986 64033 49 | 0.004 % |
447.28/447.60 c | 709722 | 160 13600 95200 | 69986 68858 49 | 0.004 % |
451.17/451.48 c | 715027 | 160 13600 95200 | 69137 63755 49 | 0.004 % |
455.67/455.93 c | 720862 | 160 13600 95200 | 68729 58909 49 | 0.004 % |
459.97/460.27 c | 727284 | 160 13600 95200 | 68729 65331 49 | 0.004 % |
460.07/460.35 c | 727385 | 160 13600 95200 | 68729 65432 49 | 0.004 % |
460.17/460.45 c | 727497 | 160 13600 95200 | 68729 65544 49 | 0.004 % |
460.27/460.56 c | 727621 | 160 13600 95200 | 68729 65668 49 | 0.004 % |
460.37/460.66 c | 727755 | 160 13600 95200 | 68729 65802 49 | 0.004 % |
460.47/460.76 c | 727901 | 160 13600 95200 | 68729 65948 49 | 0.004 % |
460.58/460.88 c | 728061 | 160 13600 95200 | 68729 66108 49 | 0.004 % |
460.77/461.06 c | 728237 | 160 13600 95200 | 68729 66284 49 | 0.004 % |
460.97/461.24 c | 728432 | 160 13600 95200 | 68729 66479 49 | 0.004 % |
461.17/461.44 c | 728646 | 160 13600 95200 | 68729 66693 49 | 0.004 % |
461.37/461.64 c | 728880 | 160 13600 95200 | 68729 66927 49 | 0.004 % |
461.57/461.85 c | 729136 | 160 13600 95200 | 68729 67183 49 | 0.004 % |
461.77/462.02 c | 729417 | 160 13600 95200 | 68729 67464 49 | 0.004 % |
461.97/462.24 c | 729726 | 160 13600 95200 | 68729 67773 49 | 0.004 % |
462.17/462.48 c | 730065 | 160 13600 95200 | 68048 68112 49 | 0.004 % |
462.57/462.89 c | 730438 | 160 13600 95200 | 68048 58093 49 | 0.004 % |
462.97/463.22 c | 730847 | 160 13600 95200 | 68048 58502 49 | 0.004 % |
463.27/463.57 c | 731296 | 160 13600 95200 | 68048 58951 49 | 0.004 % |
463.67/463.93 c | 731790 | 160 13600 95200 | 68048 59445 49 | 0.004 % |
463.97/464.29 c | 732332 | 160 13600 95200 | 68048 59987 49 | 0.004 % |
464.37/464.66 c | 732928 | 160 13600 95200 | 68048 60583 49 | 0.004 % |
464.77/465.05 c | 733585 | 160 13600 95200 | 68048 61240 49 | 0.004 % |
465.37/465.66 c | 734305 | 160 13600 95200 | 68048 61960 49 | 0.004 % |
465.97/466.26 c | 735097 | 160 13600 95200 | 68048 62752 49 | 0.004 % |
466.67/466.90 c | 735969 | 160 13600 95200 | 68048 63624 49 | 0.004 % |
467.37/467.63 c | 736927 | 160 13600 95200 | 68048 64582 49 | 0.004 % |
468.17/468.44 c | 737981 | 160 13600 95200 | 68048 65636 49 | 0.004 % |
468.97/469.26 c | 739139 | 160 13600 95200 | 68048 66794 49 | 0.004 % |
469.97/470.21 c | 740414 | 160 13600 95200 | 67655 58047 49 | 0.004 % |
470.77/471.05 c | 741815 | 160 13600 95200 | 67655 59448 49 | 0.004 % |
471.67/471.97 c | 743357 | 160 13600 95200 | 67655 60990 49 | 0.004 % |
472.77/473.01 c | 745051 | 160 13600 95200 | 67655 62684 49 | 0.004 % |
474.17/474.47 c | 746918 | 160 13600 95200 | 67655 64551 49 | 0.004 % |
475.67/475.94 c | 748969 | 160 13600 95200 | 67655 66602 49 | 0.004 % |
477.17/477.48 c | 751222 | 160 13600 95200 | 67633 59119 49 | 0.004 % |
478.76/479.03 c | 753700 | 160 13600 95200 | 67633 61597 49 | 0.004 % |
480.56/480.87 c | 756425 | 160 13600 95200 | 67633 64322 49 | 0.004 % |
482.56/482.89 c | 759423 | 160 13600 95200 | 67633 67320 49 | 0.004 % |
484.46/484.73 c | 762719 | 160 13600 95200 | 58301 52870 49 | 0.004 % |
486.46/486.77 c | 766344 | 160 13600 95200 | 58301 56495 49 | 0.004 % |
488.96/489.24 c | 770332 | 160 13600 95200 | 2147483647 54645 49 | 0.004 % |
491.56/491.87 c | 774720 | 160 13600 95200 | 2147483647 59033 49 | 0.004 % |
494.85/495.13 c | 779543 | 160 13600 95200 | 2147483647 63856 49 | 0.004 % |
498.15/498.45 c | 784850 | 160 13600 95200 | 64313 62456 49 | 0.004 % |
501.55/501.87 c | 790686 | 160 13600 95200 | 60007 53826 49 | 0.004 % |
505.25/505.51 c | 797104 | 160 13600 95200 | 60007 54236 49 | 0.004 % |
509.15/509.42 c | 804164 | 160 13600 95200 | 2147483647 61296 49 | 0.004 % |
509.15/509.49 c | 804265 | 160 13600 95200 | 2147483647 61397 49 | 0.004 % |
509.25/509.58 c | 804375 | 160 13600 95200 | 2147483647 61507 49 | 0.004 % |
509.35/509.66 c | 804497 | 160 13600 95200 | 2147483647 61629 49 | 0.004 % |
509.45/509.77 c | 804630 | 160 13600 95200 | 2147483647 61762 49 | 0.004 % |
509.55/509.87 c | 804776 | 160 13600 95200 | 2147483647 61908 49 | 0.004 % |
509.65/509.98 c | 804937 | 160 13600 95200 | 2147483647 62069 49 | 0.004 % |
509.85/510.12 c | 805115 | 160 13600 95200 | 2147483647 62247 49 | 0.004 % |
509.95/510.26 c | 805309 | 160 13600 95200 | 2147483647 62441 49 | 0.004 % |
510.15/510.40 c | 805524 | 160 13600 95200 | 2147483647 62656 49 | 0.004 % |
510.35/510.63 c | 805758 | 160 13600 95200 | 2147483647 62890 49 | 0.004 % |
510.55/510.84 c | 806015 | 160 13600 95200 | 2147483647 63147 49 | 0.004 % |
510.75/511.06 c | 806296 | 160 13600 95200 | 2147483647 63428 49 | 0.004 % |
510.95/511.28 c | 806606 | 160 13600 95200 | 2147483647 63738 49 | 0.004 % |
511.25/511.55 c | 806948 | 160 13600 95200 | 2147483647 64080 49 | 0.004 % |
511.55/511.82 c | 807320 | 160 13600 95200 | 2147483647 64452 49 | 0.004 % |
511.85/512.10 c | 807730 | 160 13600 95200 | 2147483647 64862 49 | 0.004 % |
512.15/512.46 c | 808180 | 160 13600 95200 | 2147483647 65312 49 | 0.004 % |
512.55/512.81 c | 808673 | 160 13600 95200 | 2147483647 65805 49 | 0.004 % |
512.95/513.22 c | 809216 | 160 13600 95200 | 2147483647 66348 49 | 0.004 % |
513.35/513.68 c | 809812 | 160 13600 95200 | 2147483647 66944 49 | 0.004 % |
513.94/514.22 c | 810467 | 160 13600 95200 | 67133 58906 49 | 0.004 % |
514.34/514.65 c | 811188 | 160 13600 95200 | 67133 59627 49 | 0.004 % |
514.84/515.15 c | 811980 | 160 13600 95200 | 67133 60419 49 | 0.004 % |
515.44/515.72 c | 812853 | 160 13600 95200 | 67133 61292 49 | 0.004 % |
516.04/516.33 c | 813812 | 160 13600 95200 | 67133 62251 49 | 0.004 % |
516.75/517.06 c | 814865 | 160 13600 95200 | 67133 63304 49 | 0.004 % |
517.54/517.85 c | 816023 | 160 13600 95200 | 67133 64462 49 | 0.004 % |
518.54/518.81 c | 817296 | 160 13600 95200 | 67133 65735 49 | 0.004 % |
519.54/519.80 c | 818697 | 160 13600 95200 | 67133 67136 49 | 0.004 % |
520.54/520.89 c | 820238 | 160 13600 95200 | 58994 51043 49 | 0.004 % |
521.54/521.83 c | 821932 | 160 13600 95200 | 58994 52737 49 | 0.004 % |
522.54/522.80 c | 823796 | 160 13600 95200 | 58994 54601 49 | 0.004 % |
523.64/523.94 c | 825845 | 160 13600 95200 | 58994 56650 49 | 0.004 % |
525.14/525.42 c | 828101 | 160 13600 95200 | 58994 58906 49 | 0.004 % |
526.54/526.88 c | 830579 | 160 13600 95200 | 2147483647 55478 49 | 0.004 % |
528.24/528.54 c | 833306 | 160 13600 95200 | 2147483647 58205 49 | 0.004 % |
530.04/530.33 c | 836303 | 160 13600 95200 | 2147483647 61202 49 | 0.004 % |
532.14/532.43 c | 839599 | 160 13600 95200 | 2147483647 64498 49 | 0.004 % |
534.64/534.97 c | 843225 | 160 13600 95200 | 64899 60329 49 | 0.004 % |
537.44/537.77 c | 847212 | 160 13600 95200 | 64899 64316 49 | 0.004 % |
540.23/540.55 c | 851598 | 160 13600 95200 | 58492 52630 49 | 0.004 % |
543.04/543.34 c | 856421 | 160 13600 95200 | 58492 57453 49 | 0.004 % |
546.13/546.41 c | 861726 | 160 13600 95200 | 2147483647 56683 49 | 0.004 % |
549.53/549.81 c | 867561 | 160 13600 95200 | 2147483647 62518 49 | 0.004 % |
553.63/553.93 c | 873979 | 160 13600 95200 | 64959 62127 49 | 0.004 % |
558.23/558.51 c | 881038 | 160 13600 95200 | 59596 53196 50 | 0.004 % |
563.13/563.43 c | 888803 | 160 13600 95200 | 59596 54360 49 | 0.004 % |
563.23/563.50 c | 888908 | 160 13600 95200 | 59596 54465 49 | 0.004 % |
563.23/563.58 c | 889019 | 160 13600 95200 | 59596 54576 49 | 0.004 % |
563.33/563.68 c | 889141 | 160 13600 95200 | 59596 54698 49 | 0.004 % |
563.43/563.77 c | 889276 | 160 13600 95200 | 59596 54833 49 | 0.004 % |
563.53/563.87 c | 889422 | 160 13600 95200 | 59596 54979 49 | 0.004 % |
563.63/563.97 c | 889582 | 160 13600 95200 | 59596 55139 49 | 0.004 % |
563.83/564.13 c | 889760 | 160 13600 95200 | 59596 55317 49 | 0.004 % |
563.93/564.27 c | 889953 | 160 13600 95200 | 59596 55510 49 | 0.004 % |
564.13/564.46 c | 890165 | 160 13600 95200 | 55558 49498 49 | 0.004 % |
564.33/564.60 c | 890398 | 160 13600 95200 | 55558 49731 49 | 0.004 % |
564.43/564.75 c | 890655 | 160 13600 95200 | 55558 49988 49 | 0.004 % |
564.63/564.90 c | 890936 | 160 13600 95200 | 55558 50269 49 | 0.004 % |
564.73/565.08 c | 891246 | 160 13600 95200 | 55558 50579 49 | 0.004 % |
564.93/565.29 c | 891585 | 160 13600 95200 | 55558 50918 49 | 0.004 % |
565.23/565.55 c | 891958 | 160 13600 95200 | 55558 51291 49 | 0.004 % |
565.53/565.81 c | 892367 | 160 13600 95200 | 55558 51700 49 | 0.004 % |
565.83/566.13 c | 892819 | 160 13600 95200 | 55558 52152 49 | 0.004 % |
566.13/566.47 c | 893316 | 160 13600 95200 | 55558 52649 49 | 0.004 % |
566.42/566.79 c | 893859 | 160 13600 95200 | 55558 53192 49 | 0.004 % |
566.82/567.13 c | 894457 | 160 13600 95200 | 55558 53790 49 | 0.004 % |
567.23/567.55 c | 895114 | 160 13600 95200 | 55558 54447 49 | 0.004 % |
567.62/567.98 c | 895836 | 160 13600 95200 | 55558 55169 49 | 0.004 % |
568.12/568.46 c | 896628 | 160 13600 95200 | 55558 50398 49 | 0.004 % |
568.62/568.91 c | 897499 | 160 13600 95200 | 55558 51269 49 | 0.004 % |
569.02/569.36 c | 898458 | 160 13600 95200 | 55558 52228 49 | 0.004 % |
569.53/569.90 c | 899512 | 160 13600 95200 | 55558 53282 49 | 0.004 % |
570.53/570.81 c | 900672 | 160 13600 95200 | 2147483647 54442 49 | 0.004 % |
571.22/571.58 c | 901945 | 160 13600 95200 | 2147483647 55715 49 | 0.004 % |
572.12/572.49 c | 903346 | 160 13600 95200 | 2147483647 57116 49 | 0.004 % |
573.22/573.50 c | 904886 | 160 13600 95200 | 2147483647 58656 49 | 0.004 % |
574.22/574.54 c | 906580 | 160 13600 95200 | 2147483647 60350 49 | 0.004 % |
575.62/575.94 c | 908443 | 160 13600 95200 | 2147483647 62213 49 | 0.004 % |
577.13/577.48 c | 910494 | 160 13600 95200 | 63772 56757 49 | 0.004 % |
578.62/578.92 c | 912747 | 160 13600 95200 | 63772 59010 49 | 0.004 % |
580.22/580.51 c | 915225 | 160 13600 95200 | 63772 61488 49 | 0.004 % |
581.82/582.16 c | 917950 | 160 13600 95200 | 63772 56678 49 | 0.004 % |
583.62/583.98 c | 920949 | 160 13600 95200 | 58731 53118 49 | 0.004 % |
585.42/585.74 c | 924246 | 160 13600 95200 | 58731 56415 49 | 0.004 % |
587.72/588.04 c | 927874 | 160 13600 95200 | 58731 54164 49 | 0.004 % |
590.02/590.32 c | 931862 | 160 13600 95200 | 2147483647 58152 49 | 0.004 % |
592.91/593.22 c | 936247 | 160 13600 95200 | 2147483647 62537 49 | 0.004 % |
596.02/596.37 c | 941071 | 160 13600 95200 | 66292 59772 49 | 0.004 % |
599.61/599.98 c | 946376 | 160 13600 95200 | 66292 65077 49 | 0.004 % |
603.52/603.89 c | 952211 | 160 13600 95200 | 59708 53975 49 | 0.004 % |
607.71/608.01 c | 958629 | 160 13600 95200 | 59708 54097 49 | 0.004 % |
611.71/612.07 c | 965689 | 160 13600 95200 | 55468 55397 49 | 0.004 % |
616.01/616.37 c | 973453 | 160 13600 95200 | 2147483647 57607 49 | 0.004 % |
621.31/621.67 c | 981995 | 160 13600 95200 | 2147483647 66149 49 | 0.004 % |
621.41/621.74 c | 982095 | 160 13600 95200 | 2147483647 66249 49 | 0.004 % |
621.51/621.85 c | 982205 | 160 13600 95200 | 2147483647 66359 49 | 0.004 % |
621.61/621.96 c | 982328 | 160 13600 95200 | 2147483647 66482 49 | 0.004 % |
621.71/622.08 c | 982463 | 160 13600 95200 | 2147483647 66617 49 | 0.004 % |
621.80/622.18 c | 982610 | 160 13600 95200 | 2147483647 66764 49 | 0.004 % |
622.00/622.31 c | 982770 | 160 13600 95200 | 2147483647 66924 49 | 0.004 % |
622.10/622.45 c | 982947 | 160 13600 95200 | 2147483647 67101 49 | 0.004 % |
622.21/622.60 c | 983141 | 160 13600 95200 | 2147483647 67295 49 | 0.004 % |
622.40/622.75 c | 983354 | 160 13600 95200 | 2147483647 67508 49 | 0.004 % |
622.60/622.91 c | 983588 | 160 13600 95200 | 2147483647 67742 49 | 0.004 % |
622.80/623.14 c | 983844 | 160 13600 95200 | 2147483647 67998 49 | 0.004 % |
623.00/623.34 c | 984125 | 160 13600 95200 | 2147483647 68279 49 | 0.004 % |
623.20/623.58 c | 984434 | 160 13600 95200 | 2147483647 68588 49 | 0.004 % |
623.50/623.84 c | 984774 | 160 13600 95200 | 2147483647 68928 49 | 0.004 % |
623.80/624.15 c | 985148 | 160 13600 95200 | 2147483647 69302 49 | 0.004 % |
624.10/624.47 c | 985559 | 160 13600 95200 | 2147483647 69713 49 | 0.004 % |
624.51/624.83 c | 986008 | 160 13600 95200 | 2147483647 70162 49 | 0.004 % |
624.90/625.29 c | 986504 | 160 13600 95200 | 2147483647 70658 49 | 0.004 % |
625.40/625.73 c | 987047 | 160 13600 95200 | 2147483647 71201 49 | 0.004 % |
625.90/626.23 c | 987643 | 160 13600 95200 | 2147483647 71797 49 | 0.004 % |
626.50/626.81 c | 988299 | 160 13600 95200 | 2147483647 72453 49 | 0.004 % |
627.10/627.40 c | 989019 | 160 13600 95200 | 2147483647 73173 49 | 0.004 % |
627.80/628.16 c | 989811 | 160 13600 95200 | 2147483647 73965 49 | 0.004 % |
628.50/628.89 c | 990685 | 160 13600 95200 | 74155 62705 49 | 0.004 % |
629.30/629.64 c | 991646 | 160 13600 95200 | 74155 63666 49 | 0.004 % |
630.10/630.42 c | 992700 | 160 13600 95200 | 74155 64720 49 | 0.004 % |
630.90/631.20 c | 993858 | 160 13600 95200 | 74155 65878 49 | 0.004 % |
631.80/632.15 c | 995133 | 160 13600 95200 | 74155 67153 49 | 0.004 % |
632.70/633.09 c | 996533 | 160 13600 95200 | 74155 68553 49 | 0.004 % |
634.00/634.30 c | 998075 | 160 13600 95200 | 74155 70095 49 | 0.004 % |
635.30/635.69 c | 999771 | 160 13600 95200 | 74155 71791 49 | 0.004 % |
636.70/637.07 c | 1001635 | 160 13600 95200 | 72020 61270 49 | 0.004 % |
637.90/638.28 c | 1003687 | 160 13600 95200 | 72020 63322 49 | 0.004 % |
639.40/639.79 c | 1005941 | 160 13600 95200 | 72020 65576 49 | 0.004 % |
641.10/641.44 c | 1008422 | 160 13600 95200 | 72020 68057 49 | 0.004 % |
643.00/643.36 c | 1011149 | 160 13600 95200 | 69635 60622 49 | 0.004 % |
644.90/645.26 c | 1014146 | 160 13600 95200 | 69635 63619 49 | 0.004 % |
647.20/647.53 c | 1017442 | 160 13600 95200 | 69635 66915 49 | 0.004 % |
649.90/650.24 c | 1021068 | 160 13600 95200 | 69473 60800 49 | 0.004 % |
652.40/652.77 c | 1025055 | 160 13600 95200 | 69473 64787 49 | 0.004 % |
655.60/655.92 c | 1029443 | 160 13600 95200 | 69473 69175 49 | 0.004 % |
658.70/659.06 c | 1034266 | 160 13600 95200 | 59527 55083 49 | 0.004 % |
662.20/662.55 c | 1039571 | 160 13600 95200 | 59527 54014 49 | 0.004 % |
665.40/665.70 c | 1045408 | 160 13600 95200 | 54443 54108 49 | 0.004 % |
668.80/669.10 c | 1051827 | 160 13600 95200 | 2147483647 55076 49 | 0.004 % |
673.09/673.45 c | 1058887 | 160 13600 95200 | 2147483647 62136 49 | 0.004 % |
678.49/678.86 c | 1066652 | 160 13600 95200 | 2147483647 69901 49 | 0.004 % |
684.79/685.10 c | 1075196 | 160 13600 95200 | 73250 68094 49 | 0.004 % |
691.89/692.22 c | 1084590 | 160 13600 95200 | 72899 66166 49 | 0.004 % |
691.99/692.31 c | 1084690 | 160 13600 95200 | 72899 66266 49 | 0.004 % |
692.09/692.41 c | 1084801 | 160 13600 95200 | 72899 66377 49 | 0.004 % |
692.09/692.49 c | 1084924 | 160 13600 95200 | 72899 66500 49 | 0.004 % |
692.29/692.60 c | 1085057 | 160 13600 95200 | 72899 66633 49 | 0.004 % |
692.39/692.74 c | 1085204 | 160 13600 95200 | 72899 66780 49 | 0.004 % |
692.49/692.88 c | 1085364 | 160 13600 95200 | 72899 66940 49 | 0.004 % |
692.69/693.01 c | 1085540 | 160 13600 95200 | 72899 67116 49 | 0.004 % |
692.79/693.19 c | 1085733 | 160 13600 95200 | 72899 67309 49 | 0.004 % |
692.99/693.35 c | 1085945 | 160 13600 95200 | 72899 67521 49 | 0.004 % |
693.19/693.53 c | 1086178 | 160 13600 95200 | 72899 67754 49 | 0.004 % |
693.39/693.76 c | 1086435 | 160 13600 95200 | 72899 68011 49 | 0.004 % |
693.69/694.01 c | 1086719 | 160 13600 95200 | 72899 68295 49 | 0.004 % |
693.89/694.24 c | 1087029 | 160 13600 95200 | 72899 68605 49 | 0.004 % |
694.19/694.52 c | 1087368 | 160 13600 95200 | 72899 68944 49 | 0.004 % |
694.49/694.83 c | 1087740 | 160 13600 95200 | 72899 69316 49 | 0.004 % |
694.79/695.18 c | 1088149 | 160 13600 95200 | 72899 69725 49 | 0.004 % |
695.19/695.58 c | 1088598 | 160 13600 95200 | 72899 70174 49 | 0.004 % |
695.59/695.95 c | 1089091 | 160 13600 95200 | 72899 70667 49 | 0.004 % |
695.99/696.36 c | 1089634 | 160 13600 95200 | 72899 71210 49 | 0.004 % |
696.49/696.84 c | 1090230 | 160 13600 95200 | 71578 60172 49 | 0.004 % |
696.89/697.26 c | 1090887 | 160 13600 95200 | 71578 60829 49 | 0.004 % |
697.38/697.72 c | 1091609 | 160 13600 95200 | 71578 61551 49 | 0.004 % |
697.78/698.19 c | 1092401 | 160 13600 95200 | 71578 62343 49 | 0.004 % |
698.38/698.71 c | 1093272 | 160 13600 95200 | 71578 63214 49 | 0.004 % |
698.98/699.36 c | 1094230 | 160 13600 95200 | 71578 64172 49 | 0.004 % |
699.68/700.09 c | 1095284 | 160 13600 95200 | 71578 65226 49 | 0.004 % |
700.48/700.86 c | 1096444 | 160 13600 95200 | 71578 66386 49 | 0.004 % |
701.28/701.65 c | 1097717 | 160 13600 95200 | 71578 67659 49 | 0.004 % |
702.18/702.50 c | 1099117 | 160 13600 95200 | 71578 69059 49 | 0.004 % |
703.28/703.62 c | 1100658 | 160 13600 95200 | 69944 60322 49 | 0.004 % |
704.38/704.77 c | 1102352 | 160 13600 95200 | 69944 62016 49 | 0.004 % |
705.58/705.91 c | 1104215 | 160 13600 95200 | 69944 63879 49 | 0.004 % |
706.89/707.28 c | 1106265 | 160 13600 95200 | 69944 65929 49 | 0.004 % |
708.58/708.96 c | 1108518 | 160 13600 95200 | 69944 68182 49 | 0.004 % |
710.48/710.87 c | 1110996 | 160 13600 95200 | 69664 60385 49 | 0.004 % |
712.18/712.51 c | 1113721 | 160 13600 95200 | 69664 63110 49 | 0.004 % |
714.08/714.42 c | 1116718 | 160 13600 95200 | 69664 66107 49 | 0.004 % |
716.38/716.77 c | 1120016 | 160 13600 95200 | 69391 69405 49 | 0.004 % |
718.78/719.13 c | 1123641 | 160 13600 95200 | 69391 62749 49 | 0.004 % |
721.18/721.52 c | 1127628 | 160 13600 95200 | 69391 66736 49 | 0.004 % |
724.18/724.56 c | 1132013 | 160 13600 95200 | 69110 61517 49 | 0.004 % |
727.27/727.69 c | 1136838 | 160 13600 95200 | 69110 66342 49 | 0.004 % |
730.77/731.11 c | 1142146 | 160 13600 95200 | 59640 53408 49 | 0.004 % |
734.17/734.52 c | 1147983 | 160 13600 95200 | 59640 59245 49 | 0.004 % |
737.67/738.05 c | 1154401 | 160 13600 95200 | 2147483647 59608 49 | 0.004 % |
742.07/742.44 c | 1161460 | 160 13600 95200 | 65208 59723 49 | 0.004 % |
746.67/747.07 c | 1169225 | 160 13600 95200 | 65208 60216 50 | 0.004 % |
752.07/752.49 c | 1177765 | 160 13600 95200 | 60991 55992 50 | 0.004 % |
759.07/759.42 c | 1187159 | 160 13600 95200 | 2147483647 65386 49 | 0.004 % |
766.96/767.39 c | 1197493 | 160 13600 95200 | 68229 66669 49 | 0.004 % |
767.06/767.46 c | 1197593 | 160 13600 95200 | 68229 66769 49 | 0.004 % |
767.16/767.57 c | 1197703 | 160 13600 95200 | 68229 66879 49 | 0.004 % |
767.26/767.65 c | 1197824 | 160 13600 95200 | 68229 67000 49 | 0.004 % |
767.36/767.77 c | 1197957 | 160 13600 95200 | 68229 67133 49 | 0.004 % |
767.46/767.89 c | 1198103 | 160 13600 95200 | 68229 67279 49 | 0.004 % |
767.66/768.02 c | 1198266 | 160 13600 95200 | 68229 67442 49 | 0.004 % |
767.76/768.17 c | 1198443 | 160 13600 95200 | 68229 67619 49 | 0.004 % |
767.96/768.31 c | 1198637 | 160 13600 95200 | 68229 67813 49 | 0.004 % |
768.06/768.48 c | 1198851 | 160 13600 95200 | 68229 68027 49 | 0.004 % |
768.26/768.69 c | 1199085 | 160 13600 95200 | 68229 68261 49 | 0.004 % |
768.56/768.98 c | 1199345 | 160 13600 95200 | 68229 58397 49 | 0.004 % |
768.76/769.15 c | 1199626 | 160 13600 95200 | 68229 58678 49 | 0.004 % |
768.96/769.32 c | 1199935 | 160 13600 95200 | 68229 58987 49 | 0.004 % |
769.16/769.59 c | 1200275 | 160 13600 95200 | 59053 50701 49 | 0.004 % |
769.36/769.79 c | 1200648 | 160 13600 95200 | 59053 51074 49 | 0.004 % |
769.66/770.03 c | 1201057 | 160 13600 95200 | 59053 51483 49 | 0.004 % |
769.96/770.34 c | 1201506 | 160 13600 95200 | 59053 51932 49 | 0.004 % |
770.26/770.65 c | 1201999 | 160 13600 95200 | 59053 52425 49 | 0.004 % |
770.66/771.02 c | 1202543 | 160 13600 95200 | 59053 52969 49 | 0.004 % |
770.96/771.34 c | 1203139 | 160 13600 95200 | 59053 53565 49 | 0.004 % |
771.26/771.70 c | 1203794 | 160 13600 95200 | 59053 54220 49 | 0.004 % |
771.76/772.13 c | 1204517 | 160 13600 95200 | 59053 54943 49 | 0.004 % |
772.15/772.56 c | 1205310 | 160 13600 95200 | 59053 55736 49 | 0.004 % |
772.65/773.07 c | 1206181 | 160 13600 95200 | 59053 56607 49 | 0.004 % |
773.25/773.61 c | 1207139 | 160 13600 95200 | 59053 57565 49 | 0.004 % |
773.85/774.22 c | 1208193 | 160 13600 95200 | 59053 58619 49 | 0.004 % |
774.45/774.87 c | 1209351 | 160 13600 95200 | 59053 53765 49 | 0.004 % |
775.16/775.54 c | 1210626 | 160 13600 95200 | 2147483647 55040 49 | 0.004 % |
775.95/776.37 c | 1212026 | 160 13600 95200 | 2147483647 56440 49 | 0.004 % |
776.85/777.24 c | 1213566 | 160 13600 95200 | 2147483647 57980 49 | 0.004 % |
777.85/778.28 c | 1215261 | 160 13600 95200 | 2147483647 59675 49 | 0.004 % |
779.05/779.42 c | 1217126 | 160 13600 95200 | 2147483647 61540 49 | 0.004 % |
780.35/780.79 c | 1219175 | 160 13600 95200 | 2147483647 63589 49 | 0.004 % |
781.95/782.31 c | 1221429 | 160 13600 95200 | 64414 58768 49 | 0.004 % |
783.45/783.84 c | 1223908 | 160 13600 95200 | 64414 61247 49 | 0.004 % |
785.15/785.54 c | 1226633 | 160 13600 95200 | 64414 63972 49 | 0.004 % |
787.05/787.44 c | 1229630 | 160 13600 95200 | 64414 59381 49 | 0.004 % |
788.85/789.23 c | 1232928 | 160 13600 95200 | 59751 55822 49 | 0.004 % |
791.05/791.43 c | 1236555 | 160 13600 95200 | 59751 59449 49 | 0.004 % |
793.55/793.94 c | 1240543 | 160 13600 95200 | 2147483647 57455 49 | 0.004 % |
796.35/796.72 c | 1244929 | 160 13600 95200 | 2147483647 61841 49 | 0.004 % |
799.65/800.05 c | 1249752 | 160 13600 95200 | 2147483647 66664 49 | 0.004 % |
803.04/803.42 c | 1255057 | 160 13600 95200 | 66914 63718 48 | 0.004 % |
806.84/807.23 c | 1260894 | 160 13600 95200 | 59621 52550 49 | 0.004 % |
810.35/810.78 c | 1267313 | 160 13600 95200 | 59621 58969 49 | 0.004 % |
814.24/814.70 c | 1274374 | 160 13600 95200 | 55308 54000 49 | 0.004 % |
818.64/819.02 c | 1282139 | 160 13600 95200 | 2147483647 56227 49 | 0.004 % |
823.94/824.39 c | 1290680 | 160 13600 95200 | 2147483647 64768 49 | 0.004 % |
830.54/830.96 c | 1300074 | 160 13600 95200 | 74089 74162 50 | 0.004 % |
837.43/837.89 c | 1310409 | 160 13600 95200 | 72544 60619 50 | 0.004 % |
844.44/844.86 c | 1321776 | 160 13600 95200 | 70210 61443 50 | 0.004 % |
844.53/844.94 c | 1321878 | 160 13600 95200 | 70210 61545 50 | 0.004 % |
844.63/845.02 c | 1321988 | 160 13600 95200 | 70210 61655 50 | 0.004 % |
844.63/845.09 c | 1322109 | 160 13600 95200 | 70210 61776 50 | 0.004 % |
844.73/845.18 c | 1322242 | 160 13600 95200 | 70210 61909 50 | 0.004 % |
844.83/845.28 c | 1322388 | 160 13600 95200 | 70210 62055 50 | 0.004 % |
845.03/845.40 c | 1322548 | 160 13600 95200 | 70210 62215 50 | 0.004 % |
845.13/845.56 c | 1322724 | 160 13600 95200 | 70210 62391 50 | 0.004 % |
845.33/845.73 c | 1322918 | 160 13600 95200 | 70210 62585 50 | 0.004 % |
845.43/845.90 c | 1323130 | 160 13600 95200 | 70210 62797 50 | 0.004 % |
845.63/846.06 c | 1323364 | 160 13600 95200 | 70210 63031 50 | 0.004 % |
845.83/846.25 c | 1323620 | 160 13600 95200 | 70210 63287 50 | 0.004 % |
846.03/846.44 c | 1323902 | 160 13600 95200 | 70210 63569 50 | 0.004 % |
846.23/846.63 c | 1324211 | 160 13600 95200 | 70210 63878 50 | 0.004 % |
846.43/846.82 c | 1324550 | 160 13600 95200 | 70210 64217 50 | 0.004 % |
846.73/847.17 c | 1324923 | 160 13600 95200 | 70210 64590 50 | 0.004 % |
847.03/847.49 c | 1325333 | 160 13600 95200 | 70210 65000 50 | 0.004 % |
847.43/847.85 c | 1325785 | 160 13600 95200 | 70210 65452 50 | 0.004 % |
847.83/848.20 c | 1326279 | 160 13600 95200 | 70210 65946 50 | 0.004 % |
848.13/848.55 c | 1326822 | 160 13600 95200 | 70210 66489 50 | 0.004 % |
848.53/848.96 c | 1327421 | 160 13600 95200 | 70210 67088 50 | 0.004 % |
849.03/849.42 c | 1328076 | 160 13600 95200 | 70210 67743 50 | 0.004 % |
849.63/850.02 c | 1328796 | 160 13600 95200 | 70210 68463 50 | 0.004 % |
850.23/850.68 c | 1329588 | 160 13600 95200 | 70210 69255 50 | 0.004 % |
851.03/851.44 c | 1330460 | 160 13600 95200 | 69667 58996 50 | 0.004 % |
851.63/852.04 c | 1331418 | 160 13600 95200 | 69667 59954 50 | 0.004 % |
852.23/852.67 c | 1332471 | 160 13600 95200 | 69667 61007 50 | 0.004 % |
852.83/853.29 c | 1333629 | 160 13600 95200 | 69667 62165 50 | 0.004 % |
853.62/854.02 c | 1334903 | 160 13600 95200 | 69667 63439 50 | 0.004 % |
854.52/854.91 c | 1336304 | 160 13600 95200 | 69667 64840 50 | 0.004 % |
855.43/855.80 c | 1337847 | 160 13600 95200 | 69667 66383 50 | 0.004 % |
856.53/856.91 c | 1339542 | 160 13600 95200 | 69667 68078 50 | 0.004 % |
857.92/858.34 c | 1341406 | 160 13600 95200 | 68536 60552 50 | 0.004 % |
859.32/859.76 c | 1343457 | 160 13600 95200 | 68536 62603 50 | 0.004 % |
860.83/861.27 c | 1345710 | 160 13600 95200 | 68536 64856 50 | 0.004 % |
862.52/862.99 c | 1348188 | 160 13600 95200 | 68536 67334 50 | 0.004 % |
864.32/864.79 c | 1350913 | 160 13600 95200 | 58985 51307 49 | 0.004 % |
865.92/866.38 c | 1353910 | 160 13600 95200 | 58985 54304 49 | 0.004 % |
867.72/868.18 c | 1357206 | 160 13600 95200 | 58985 57600 49 | 0.004 % |
869.92/870.37 c | 1360833 | 160 13600 95200 | 2147483647 55322 49 | 0.004 % |
872.22/872.66 c | 1364822 | 160 13600 95200 | 2147483647 59311 49 | 0.004 % |
874.92/875.36 c | 1369210 | 160 13600 95200 | 2147483647 63699 49 | 0.004 % |
878.43/878.82 c | 1374033 | 160 13600 95200 | 2147483647 68522 49 | 0.004 % |
882.23/882.63 c | 1379340 | 160 13600 95200 | 2147483647 73829 49 | 0.004 % |
886.13/886.57 c | 1385176 | 160 13600 95200 | 74489 68254 49 | 0.004 % |
890.53/890.93 c | 1391594 | 160 13600 95200 | 73078 63217 49 | 0.004 % |
895.03/895.44 c | 1398653 | 160 13600 95200 | 73078 70276 49 | 0.004 % |
899.82/900.28 c | 1406417 | 160 13600 95200 | 71623 67039 49 | 0.004 % |
905.42/905.81 c | 1414957 | 160 13600 95200 | 70622 65520 49 | 0.004 % |
911.62/912.09 c | 1424351 | 160 13600 95200 | 70564 65115 49 | 0.004 % |
918.71/919.13 c | 1434684 | 160 13600 95200 | 60899 57150 49 | 0.004 % |
926.21/926.66 c | 1446051 | 160 13600 95200 | 56088 50760 48 | 0.004 % |
933.31/933.77 c | 1458554 | 160 13600 95200 | 2147483647 63263 49 | 0.004 % |
933.41/933.85 c | 1458656 | 160 13600 95200 | 2147483647 63365 49 | 0.004 % |
933.51/933.93 c | 1458768 | 160 13600 95200 | 2147483647 63477 49 | 0.004 % |
933.61/934.02 c | 1458890 | 160 13600 95200 | 2147483647 63599 49 | 0.004 % |
933.71/934.13 c | 1459024 | 160 13600 95200 | 2147483647 63733 49 | 0.004 % |
933.81/934.28 c | 1459171 | 160 13600 95200 | 2147483647 63880 49 | 0.004 % |
934.01/934.44 c | 1459332 | 160 13600 95200 | 2147483647 64041 49 | 0.004 % |
934.11/934.58 c | 1459508 | 160 13600 95200 | 2147483647 64217 49 | 0.004 % |
934.31/934.76 c | 1459701 | 160 13600 95200 | 2147483647 64410 49 | 0.004 % |
934.51/934.94 c | 1459913 | 160 13600 95200 | 2147483647 64622 49 | 0.004 % |
934.81/935.21 c | 1460146 | 160 13600 95200 | 64710 56327 49 | 0.004 % |
935.01/935.40 c | 1460402 | 160 13600 95200 | 64710 56583 49 | 0.004 % |
935.21/935.60 c | 1460685 | 160 13600 95200 | 64710 56866 49 | 0.004 % |
935.31/935.79 c | 1460997 | 160 13600 95200 | 64710 57178 49 | 0.004 % |
935.61/936.01 c | 1461339 | 160 13600 95200 | 64710 57520 49 | 0.004 % |
935.81/936.24 c | 1461711 | 160 13600 95200 | 64710 57892 49 | 0.004 % |
936.11/936.53 c | 1462120 | 160 13600 95200 | 64710 58301 49 | 0.004 % |
936.41/936.84 c | 1462572 | 160 13600 95200 | 64710 58753 49 | 0.004 % |
936.81/937.26 c | 1463065 | 160 13600 95200 | 64710 59246 49 | 0.004 % |
937.21/937.66 c | 1463607 | 160 13600 95200 | 64710 59788 49 | 0.004 % |
937.71/938.11 c | 1464203 | 160 13600 95200 | 64710 60384 49 | 0.004 % |
938.11/938.55 c | 1464858 | 160 13600 95200 | 64710 61039 49 | 0.004 % |
938.61/939.07 c | 1465578 | 160 13600 95200 | 64710 61759 49 | 0.004 % |
939.21/939.69 c | 1466371 | 160 13600 95200 | 64710 62552 49 | 0.004 % |
939.91/940.30 c | 1467242 | 160 13600 95200 | 64710 63423 49 | 0.004 % |
940.61/941.02 c | 1468200 | 160 13600 95200 | 64710 64381 49 | 0.004 % |
941.31/941.76 c | 1469253 | 160 13600 95200 | 64710 56435 49 | 0.004 % |
942.10/942.50 c | 1470411 | 160 13600 95200 | 57182 50034 49 | 0.004 % |
942.70/943.14 c | 1471684 | 160 13600 95200 | 57182 51307 49 | 0.004 % |
943.41/943.87 c | 1473084 | 160 13600 95200 | 57182 52707 49 | 0.004 % |
944.41/944.85 c | 1474624 | 160 13600 95200 | 57182 54247 49 | 0.004 % |
945.40/945.87 c | 1476318 | 160 13600 95200 | 57182 55941 49 | 0.004 % |
946.51/946.98 c | 1478181 | 160 13600 95200 | 57182 52079 49 | 0.004 % |
947.60/948.08 c | 1480231 | 160 13600 95200 | 2147483647 54129 49 | 0.004 % |
948.91/949.38 c | 1482484 | 160 13600 95200 | 2147483647 56382 49 | 0.004 % |
950.30/950.75 c | 1484962 | 160 13600 95200 | 2147483647 58860 49 | 0.004 % |
952.00/952.44 c | 1487689 | 160 13600 95200 | 2147483647 61587 49 | 0.004 % |
953.70/954.19 c | 1490687 | 160 13600 95200 | 2147483647 64585 49 | 0.004 % |
955.90/956.39 c | 1493983 | 160 13600 95200 | 2147483647 67881 49 | 0.004 % |
958.50/958.98 c | 1497611 | 160 13600 95200 | 2147483647 71509 49 | 0.004 % |
961.40/961.88 c | 1501598 | 160 13600 95200 | 73900 65062 49 | 0.004 % |
964.70/965.11 c | 1505985 | 160 13600 95200 | 73900 69449 49 | 0.004 % |
968.20/968.69 c | 1510810 | 160 13600 95200 | 73465 61750 49 | 0.004 % |
971.80/972.28 c | 1516119 | 160 13600 95200 | 73465 67059 49 | 0.004 % |
975.59/976.00 c | 1521957 | 160 13600 95200 | 70941 62018 49 | 0.004 % |
979.79/980.25 c | 1528376 | 160 13600 95200 | 70941 68437 49 | 0.004 % |
984.19/984.68 c | 1535436 | 160 13600 95200 | 70061 65670 49 | 0.004 % |
989.19/989.65 c | 1543200 | 160 13600 95200 | 60993 56154 49 | 0.004 % |
994.69/995.15 c | 1551742 | 160 13600 95200 | 2147483647 58452 49 | 0.004 % |
1001.09/1001.50 c | 1561137 | 160 13600 95200 | 66710 59723 49 | 0.004 % |
1008.58/1009.06 c | 1571470 | 160 13600 95200 | 59465 52862 49 | 0.004 % |
1017.18/1017.60 c | 1582836 | 160 13600 95200 | 54180 50679 49 | 0.004 % |
1024.38/1024.87 c | 1595338 | 160 13600 95200 | 2147483647 57756 49 | 0.004 % |
1033.48/1033.90 c | 1609090 | 160 13600 95200 | 62420 58634 49 | 0.004 % |
1033.48/1033.96 c | 1609191 | 160 13600 95200 | 62420 58735 49 | 0.004 % |
1033.58/1034.03 c | 1609301 | 160 13600 95200 | 62420 58845 49 | 0.004 % |
1033.67/1034.10 c | 1609423 | 160 13600 95200 | 62420 58967 49 | 0.004 % |
1033.77/1034.21 c | 1609556 | 160 13600 95200 | 62420 59100 49 | 0.004 % |
1033.87/1034.30 c | 1609703 | 160 13600 95200 | 62420 59247 49 | 0.004 % |
1033.97/1034.41 c | 1609864 | 160 13600 95200 | 62420 59408 49 | 0.004 % |
1034.07/1034.52 c | 1610040 | 160 13600 95200 | 59545 59584 49 | 0.004 % |
1034.27/1034.70 c | 1610233 | 160 13600 95200 | 59545 53264 48 | 0.004 % |
1034.37/1034.83 c | 1610447 | 160 13600 95200 | 59545 53478 48 | 0.004 % |
1034.47/1034.96 c | 1610681 | 160 13600 95200 | 59545 53712 48 | 0.004 % |
1034.58/1035.10 c | 1610937 | 160 13600 95200 | 59545 53968 48 | 0.004 % |
1034.77/1035.28 c | 1611220 | 160 13600 95200 | 59545 54251 48 | 0.004 % |
1034.97/1035.47 c | 1611529 | 160 13600 95200 | 59545 54560 48 | 0.004 % |
1035.17/1035.69 c | 1611870 | 160 13600 95200 | 59545 54901 48 | 0.004 % |
1035.47/1035.92 c | 1612242 | 160 13600 95200 | 59545 55273 48 | 0.004 % |
1035.68/1036.17 c | 1612651 | 160 13600 95200 | 59545 55682 48 | 0.004 % |
1035.97/1036.43 c | 1613101 | 160 13600 95200 | 59545 56132 48 | 0.004 % |
1036.27/1036.73 c | 1613594 | 160 13600 95200 | 59545 56625 48 | 0.004 % |
1036.57/1037.08 c | 1614136 | 160 13600 95200 | 59545 57167 48 | 0.004 % |
1036.97/1037.45 c | 1614733 | 160 13600 95200 | 59545 57764 48 | 0.004 % |
1037.47/1037.94 c | 1615388 | 160 13600 95200 | 59545 58419 48 | 0.004 % |
1037.98/1038.42 c | 1616108 | 160 13600 95200 | 59545 59139 48 | 0.004 % |
1038.47/1038.93 c | 1616902 | 160 13600 95200 | 59545 53348 48 | 0.004 % |
1038.87/1039.36 c | 1617774 | 160 13600 95200 | 59545 54220 48 | 0.004 % |
1039.47/1039.92 c | 1618732 | 160 13600 95200 | 59545 55178 48 | 0.004 % |
1040.08/1040.54 c | 1619786 | 160 13600 95200 | 59545 56232 48 | 0.004 % |
1040.77/1041.22 c | 1620944 | 160 13600 95200 | 56448 51563 48 | 0.004 % |
1041.37/1041.90 c | 1622217 | 160 13600 95200 | 56448 52836 48 | 0.004 % |
1042.17/1042.60 c | 1623619 | 160 13600 95200 | 56448 54238 48 | 0.004 % |
1042.87/1043.38 c | 1625160 | 160 13600 95200 | 56448 55779 48 | 0.004 % |
1043.87/1044.34 c | 1626854 | 160 13600 95200 | 56448 51821 48 | 0.004 % |
1044.77/1045.29 c | 1628717 | 160 13600 95200 | 56448 53684 48 | 0.004 % |
1045.97/1046.40 c | 1630766 | 160 13600 95200 | 2147483647 55733 48 | 0.004 % |
1047.17/1047.65 c | 1633019 | 160 13600 95200 | 2147483647 57986 49 | 0.004 % |
1048.67/1049.12 c | 1635497 | 160 13600 95200 | 2147483647 60464 49 | 0.004 % |
1050.47/1050.93 c | 1638224 | 160 13600 95200 | 2147483647 63191 49 | 0.004 % |
1052.47/1052.97 c | 1641221 | 160 13600 95200 | 64969 59170 49 | 0.004 % |
1054.37/1054.85 c | 1644517 | 160 13600 95200 | 64969 62466 49 | 0.004 % |
1056.77/1057.28 c | 1648142 | 160 13600 95200 | 64969 58715 49 | 0.004 % |
1059.27/1059.71 c | 1652129 | 160 13600 95200 | 60573 55933 49 | 0.004 % |
1061.87/1062.36 c | 1656515 | 160 13600 95200 | 60573 60319 49 | 0.004 % |
1064.67/1065.17 c | 1661338 | 160 13600 95200 | 2147483647 59077 49 | 0.004 % |
1068.06/1068.51 c | 1666643 | 160 13600 95200 | 2147483647 64382 49 | 0.004 % |
1071.66/1072.15 c | 1672478 | 160 13600 95200 | 67739 62071 49 | 0.004 % |
1075.56/1076.03 c | 1678896 | 160 13600 95200 | 67739 60063 49 | 0.004 % |
1079.67/1080.19 c | 1685955 | 160 13600 95200 | 61168 59658 49 | 0.004 % |
1084.77/1085.23 c | 1693720 | 160 13600 95200 | 57053 54509 49 | 0.004 % |
1089.97/1090.46 c | 1702261 | 160 13600 95200 | 2147483647 57338 50 | 0.004 % |
1096.37/1096.87 c | 1711655 | 160 13600 95200 | 65077 59385 50 | 0.004 % |
1102.87/1103.39 c | 1721988 | 160 13600 95200 | 60592 56113 50 | 0.004 % |
1110.57/1111.08 c | 1733355 | 160 13600 95200 | 2147483647 61414 50 | 0.004 % |
1120.56/1121.05 c | 1745857 | 160 13600 95200 | 68060 64464 49 | 0.004 % |
1130.55/1131.08 c | 1759612 | 160 13600 95200 | 58479 52466 49 | 0.004 % |
1139.25/1139.73 c | 1774741 | 160 13600 95200 | 2147483647 56140 49 | 0.004 % |
1139.25/1139.79 c | 1774842 | 160 13600 95200 | 2147483647 56241 49 | 0.004 % |
1139.35/1139.86 c | 1774952 | 160 13600 95200 | 2147483647 56351 49 | 0.004 % |
1139.45/1139.95 c | 1775073 | 160 13600 95200 | 2147483647 56472 49 | 0.004 % |
1139.55/1140.04 c | 1775208 | 160 13600 95200 | 2147483647 56607 49 | 0.004 % |
1139.65/1140.13 c | 1775354 | 160 13600 95200 | 2147483647 56753 49 | 0.004 % |
1139.75/1140.24 c | 1775515 | 160 13600 95200 | 2147483647 56914 49 | 0.004 % |
1139.85/1140.36 c | 1775691 | 160 13600 95200 | 2147483647 57090 49 | 0.004 % |
1139.95/1140.47 c | 1775888 | 160 13600 95200 | 2147483647 57287 49 | 0.004 % |
1140.16/1140.60 c | 1776101 | 160 13600 95200 | 2147483647 57500 49 | 0.004 % |
1140.26/1140.75 c | 1776336 | 160 13600 95200 | 2147483647 57735 49 | 0.004 % |
1140.45/1140.92 c | 1776592 | 160 13600 95200 | 2147483647 57991 49 | 0.004 % |
1140.65/1141.11 c | 1776874 | 160 13600 95200 | 2147483647 58273 49 | 0.004 % |
1140.75/1141.29 c | 1777184 | 160 13600 95200 | 2147483647 58583 49 | 0.004 % |
1140.95/1141.48 c | 1777526 | 160 13600 95200 | 2147483647 58925 49 | 0.004 % |
1141.15/1141.69 c | 1777899 | 160 13600 95200 | 2147483647 59298 49 | 0.004 % |
1141.45/1141.96 c | 1778310 | 160 13600 95200 | 2147483647 59709 49 | 0.004 % |
1141.75/1142.25 c | 1778760 | 160 13600 95200 | 2147483647 60159 49 | 0.004 % |
1142.05/1142.57 c | 1779253 | 160 13600 95200 | 2147483647 60652 49 | 0.004 % |
1142.46/1142.90 c | 1779796 | 160 13600 95200 | 2147483647 61195 49 | 0.004 % |
1142.75/1143.28 c | 1780392 | 160 13600 95200 | 2147483647 61791 49 | 0.004 % |
1143.15/1143.68 c | 1781048 | 160 13600 95200 | 2147483647 62447 49 | 0.004 % |
1143.65/1144.12 c | 1781768 | 160 13600 95200 | 2147483647 63167 49 | 0.004 % |
1144.15/1144.62 c | 1782560 | 160 13600 95200 | 2147483647 63959 49 | 0.004 % |
1144.75/1145.26 c | 1783433 | 160 13600 95200 | 2147483647 64832 49 | 0.004 % |
1145.45/1145.98 c | 1784392 | 160 13600 95200 | 2147483647 65791 49 | 0.004 % |
1146.25/1146.71 c | 1785445 | 160 13600 95200 | 2147483647 66844 49 | 0.004 % |
1147.15/1147.66 c | 1786604 | 160 13600 95200 | 2147483647 68003 49 | 0.004 % |
1148.15/1148.65 c | 1787878 | 160 13600 95200 | 2147483647 69277 49 | 0.004 % |
1149.05/1149.58 c | 1789278 | 160 13600 95200 | 2147483647 70677 49 | 0.004 % |
1150.35/1150.84 c | 1790818 | 160 13600 95200 | 71399 61969 49 | 0.004 % |
1151.55/1152.03 c | 1792512 | 160 13600 95200 | 71399 63663 49 | 0.004 % |
1152.95/1153.40 c | 1794375 | 160 13600 95200 | 71399 65526 49 | 0.004 % |
1154.45/1154.92 c | 1796424 | 160 13600 95200 | 71399 67575 49 | 0.004 % |
1156.15/1156.61 c | 1798679 | 160 13600 95200 | 71399 69830 49 | 0.004 % |
1157.75/1158.29 c | 1801157 | 160 13600 95200 | 71152 60865 49 | 0.004 % |
1159.75/1160.23 c | 1803882 | 160 13600 95200 | 71152 63590 49 | 0.004 % |
1161.74/1162.27 c | 1806880 | 160 13600 95200 | 71152 66588 49 | 0.004 % |
1164.35/1164.86 c | 1810177 | 160 13600 95200 | 69708 59401 49 | 0.004 % |
1166.84/1167.38 c | 1813802 | 160 13600 95200 | 69708 63026 49 | 0.004 % |
1169.64/1170.13 c | 1817791 | 160 13600 95200 | 69708 67015 49 | 0.004 % |
1172.94/1173.47 c | 1822176 | 160 13600 95200 | 69225 61959 49 | 0.004 % |
1176.24/1176.75 c | 1827001 | 160 13600 95200 | 69225 66784 49 | 0.004 % |
1179.54/1180.07 c | 1832306 | 160 13600 95200 | 60464 54690 49 | 0.004 % |
1182.64/1183.15 c | 1838143 | 160 13600 95200 | 60464 60527 49 | 0.004 % |
1186.14/1186.64 c | 1844562 | 160 13600 95200 | 2147483647 60850 49 | 0.004 % |
1190.74/1191.20 c | 1851621 | 160 13600 95200 | 66288 60359 49 | 0.004 % |
1195.74/1196.28 c | 1859386 | 160 13600 95200 | 66288 59473 49 | 0.004 % |
1200.04/1200.50 HOME/SatELiteGTI: line 36: 6781 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-1832617-1242785163/watcher-1832617-1242785163 -o /tmp/evaluation-result-1832617-1242785163/solver-1832617-1242785163 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832617-1242785163.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.02 1.00 2/64 6775
/proc/meminfo: memFree=1735464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306544346 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6775/statm: 1339 237 197 169 0 50 0
[startup+0.0632721 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 6775
/proc/meminfo: memFree=1735464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101277 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 6775
/proc/meminfo: memFree=1735464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301294 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 6775
/proc/meminfo: memFree=1735464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70133 s]
/proc/loadavg: 1.00 1.02 1.00 2/64 6775
/proc/meminfo: memFree=1735464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.5014 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6781
/proc/meminfo: memFree=1732312/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=4824 CPUtime=1.43
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 934 0 0 0 143 0 0 0 25 0 1 0 306544351 4939776 920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 1206 920 76 171 0 1033 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10180
[startup+3.10154 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6781
/proc/meminfo: memFree=1730392/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=6812 CPUtime=3.02
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 1450 0 0 0 302 0 0 0 25 0 1 0 306544351 6975488 1436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 1703 1436 76 171 0 1530 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12168
[startup+6.30182 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6781
/proc/meminfo: memFree=1727128/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=9448 CPUtime=6.22
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 2091 0 0 0 621 1 0 0 25 0 1 0 306544351 9674752 2077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 2362 2077 76 171 0 2189 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14804
[startup+12.7014 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 6781
/proc/meminfo: memFree=1723296/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=12964 CPUtime=12.61
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 2954 0 0 0 1259 2 0 0 25 0 1 0 306544351 13275136 2940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 3241 2940 76 171 0 3068 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18320
[startup+25.5015 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 6781
/proc/meminfo: memFree=1718432/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=17588 CPUtime=25.41
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4117 0 0 0 2537 4 0 0 25 0 1 0 306544351 18010112 4103 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 4397 4103 76 171 0 4224 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 22944
[startup+51.1017 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 6781
/proc/meminfo: memFree=1718048/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=17852 CPUtime=50.99
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4175 0 0 0 5095 4 0 0 25 0 1 0 306544351 18280448 4161 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 4463 4161 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.01 1.00 2/66 6781
/proc/meminfo: memFree=1717728/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=18120 CPUtime=102.16
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4224 0 0 0 10212 4 0 0 25 0 1 0 306544351 18554880 4210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 4530 4210 76 171 0 4357 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 23476
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1716896/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=18792 CPUtime=162.13
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4400 0 0 0 16209 4 0 0 25 0 1 0 306544351 19243008 4386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 4698 4386 76 171 0 4525 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 24148
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1716576/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=19060 CPUtime=222.11
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4469 0 0 0 22206 5 0 0 25 0 1 0 306544351 19517440 4455 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 4765 4455 76 171 0 4592 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 24416
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1714464/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=21052 CPUtime=282.08
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 4991 0 0 0 28203 5 0 0 25 0 1 0 306544351 21557248 4977 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5263 4977 76 171 0 5090 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 26408
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1713632/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=21720 CPUtime=342.07
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5148 0 0 0 34201 6 0 0 25 0 1 0 306544351 22241280 5134 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5430 5134 76 171 0 5257 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 27076
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1713568/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=21720 CPUtime=402.04
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5148 0 0 0 40198 6 0 0 25 0 1 0 306544351 22241280 5134 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5430 5134 76 171 0 5257 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 27076
[startup+462.302 s]
################
# More data... #
################
[pid=6781] ppid=6775 vsize=22264 CPUtime=522
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5275 0 0 0 52193 7 0 0 25 0 1 0 306544351 22798336 5261 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5566 5261 76 171 0 5393 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 27620
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1712736/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22264 CPUtime=581.98
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5275 0 0 0 58191 7 0 0 25 0 1 0 306544351 22798336 5261 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5566 5261 76 171 0 5393 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 27620
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1712544/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22264 CPUtime=641.96
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5290 0 0 0 64189 7 0 0 25 0 1 0 306544351 22798336 5276 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5566 5276 76 171 0 5393 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 27620
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1712288/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22416 CPUtime=701.94
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5316 0 0 0 70186 8 0 0 25 0 1 0 306544351 22953984 5302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5604 5302 76 171 0 5431 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 27772
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1712096/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22552 CPUtime=761.93
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5335 0 0 0 76185 8 0 0 25 0 1 0 306544351 23093248 5321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5638 5321 76 171 0 5465 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 27908
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1712032/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22552 CPUtime=821.9
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5335 0 0 0 82182 8 0 0 25 0 1 0 306544351 23093248 5321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5638 5321 76 171 0 5465 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 27908
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711584/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=881.89
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5435 0 0 0 88180 9 0 0 25 0 1 0 306544351 23506944 5421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5421 76 171 0 5566 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 28312
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711520/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=941.87
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5436 0 0 0 94178 9 0 0 25 0 1 0 306544351 23506944 5422 1992294400 134512640 135215339 4294956240 18446744073709551615 134534179 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5422 76 171 0 5566 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 28312
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711392/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1001.85
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5436 0 0 0 100176 9 0 0 25 0 1 0 306544351 23506944 5422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5422 76 171 0 5566 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 28312
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711328/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1061.83
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5437 0 0 0 106174 9 0 0 25 0 1 0 306544351 23506944 5423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5423 76 171 0 5566 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 28312
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711264/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1121.82
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5438 0 0 0 112172 10 0 0 25 0 1 0 306544351 23506944 5424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5424 76 171 0 5566 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 28312
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711136/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1181.8
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5438 0 0 0 118170 10 0 0 25 0 1 0 306544351 23506944 5424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5424 76 171 0 5566 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 28312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711136/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1200
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5438 0 0 0 119990 10 0 0 25 0 1 0 306544351 23506944 5424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5424 76 171 0 5566 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6781
/proc/meminfo: memFree=1711136/2055920 swapFree=4180332/4192956
[pid=6775] ppid=6773 vsize=5356 CPUtime=0.04
/proc/6775/stat : 6775 (SatELiteGTI) S 6773 6775 6171 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306544346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6775/statm: 1339 239 197 169 0 50 0
[pid=6781] ppid=6775 vsize=22956 CPUtime=1200
/proc/6781/stat : 6781 (minisat_static) R 6775 6775 6171 0 -1 4194304 5438 0 0 0 119990 10 0 0 25 0 1 0 306544351 23506944 5424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/6781/statm: 5739 5424 76 171 0 5566 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 28312
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.95
CPU system time (s): 0.113982
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 28312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6452
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= 25
involuntary context switches= 5235
runsolver used 1.37679 second user time and 3.12552 second system time
The end
Begin job on node50 at 2009-05-20 04:06:03
IDJOB=1832617
IDBENCH=70272
IDSOLVER=671
FILE ID=node50/1832617-1242785163
PBS_JOBID= 9322364
Free space on /tmp= 65924 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S566590366-099.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832617-1242785163/watcher-1832617-1242785163 -o /tmp/evaluation-result-1832617-1242785163/solver-1832617-1242785163 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832617-1242785163.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= af242f12cd81864273d9a43871d67b92
RANDOM SEED=1695168882
node50.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.216
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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1735944 kB
Buffers: 32280 kB
Cached: 217948 kB
SwapCached: 6948 kB
Active: 45904 kB
Inactive: 212848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1735944 kB
SwapTotal: 4192956 kB
SwapFree: 4180332 kB
Dirty: 1980 kB
Writeback: 0 kB
Mapped: 13556 kB
Slab: 47188 kB
Committed_AS: 982656 kB
PageTables: 1452 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= 65920 MiB
End job on node50 at 2009-05-20 04:26:06