0.00/0.08 c Parsing...
1.81/1.93 c ==============================================================================
1.81/1.93 c | | ORIGINAL | LEARNT | |
1.81/1.93 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.81/1.93 c ==============================================================================
1.81/1.93 c | 0 | 2098099 5069173 | 629429 0 0 nan | 0.000 % |
375.29/375.56 c | 0 | 769676 6992680 | -- 0 -- -- | -- | -1328423/1923507
375.29/375.56 c ==============================================================================
375.29/375.56 c Result : #vars: 20526 #clauses: 769676 #literals: 6992680
375.29/375.56 c CPU time: 373.173 s
375.29/375.56 c ==============================================================================
377.38/377.64 c This is MiniSat 2.0 beta
377.38/377.64 c WARNING: for repeatability, setting FPU to use double precision
377.38/377.64 c ============================[ Problem Statistics ]=============================
377.38/377.64 c | |
377.38/377.65 c | Number of variables: 20526 |
377.38/377.65 c | Number of clauses: 769676 |
378.26/378.53 c | Parsing time: 0.79 s |
378.26/378.58 c ============================[ Search Statistics ]==============================
378.26/378.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
378.26/378.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
378.26/378.58 c ===============================================================================
378.26/378.58 c | 0 | 20526 769676 6992680 | 256558 0 nan | 0.000 % |
378.76/379.01 c | 100 | 20526 769676 6992680 | 256558 100 6 | 0.000 % |
378.96/379.30 c | 201 | 20526 769676 6992680 | 256558 201 19 | 0.000 % |
379.26/379.51 c | 301 | 20526 769676 6992680 | 256558 301 54 | 0.000 % |
379.36/379.64 c | 411 | 20526 769676 6992680 | 256558 411 57 | 0.000 % |
379.46/379.79 c | 511 | 20526 769676 6992680 | 256558 511 50 | 0.000 % |
379.66/379.91 c | 621 | 20526 769676 6992680 | 256558 621 42 | 0.000 % |
379.76/380.04 c | 742 | 20526 769676 6992680 | 256558 742 43 | 0.000 % |
379.96/380.20 c | 842 | 20526 769676 6992680 | 256558 842 41 | 0.000 % |
379.96/380.27 c | 952 | 20526 769676 6992680 | 256558 952 38 | 0.000 % |
380.16/380.47 c | 1073 | 20526 769676 6992680 | 256558 1073 35 | 0.000 % |
380.35/380.61 c | 1206 | 20526 769676 6992680 | 256558 1206 33 | 0.000 % |
380.45/380.75 c | 1307 | 20526 769676 6992680 | 256558 1307 33 | 0.000 % |
380.55/380.86 c | 1417 | 20526 769676 6992680 | 256558 1417 32 | 0.000 % |
380.65/380.96 c | 1538 | 20526 769676 6992680 | 256558 1538 33 | 0.000 % |
380.85/381.14 c | 1671 | 20526 769676 6992680 | 256558 1671 34 | 0.000 % |
380.95/381.26 c | 1818 | 20526 769676 6992680 | 256558 1818 35 | 0.000 % |
381.05/381.38 c | 1918 | 20526 769676 6992680 | 256558 1918 39 | 0.000 % |
381.15/381.49 c | 2028 | 20526 769676 6992680 | 256558 2028 42 | 0.000 % |
381.35/381.68 c | 2149 | 20526 769676 6992680 | 256558 2149 41 | 0.000 % |
381.45/381.76 c | 2285 | 20526 769676 6992680 | 256558 2285 41 | 0.000 % |
381.65/381.90 c | 2431 | 20526 769676 6992680 | 256558 2431 41 | 0.000 % |
381.84/382.14 c | 2595 | 20526 769676 6992680 | 256558 2595 39 | 0.000 % |
382.04/382.31 c | 2695 | 20526 769676 6992680 | 256558 2695 39 | 0.000 % |
382.14/382.42 c | 2806 | 20526 769676 6992680 | 256558 2806 38 | 0.000 % |
382.24/382.55 c | 2927 | 20526 769676 6992680 | 256558 2927 38 | 0.000 % |
382.34/382.65 c | 3060 | 20526 769676 6992680 | 256558 3060 39 | 0.000 % |
382.55/382.81 c | 3208 | 20526 769676 6992680 | 256558 3208 38 | 0.000 % |
382.84/383.15 c | 3369 | 20522 769676 6992680 | 256558 3366 37 | 0.024 % |
383.04/383.34 c | 3545 | 20522 769676 6992680 | 256558 3542 37 | 0.024 % |
383.14/383.42 c | 3645 | 20522 769676 6992680 | 256558 3642 36 | 0.024 % |
383.24/383.52 c | 3756 | 20522 769676 6992680 | 256558 3753 36 | 0.024 % |
383.35/383.60 c | 3878 | 20522 769676 6992680 | 256558 3875 36 | 0.024 % |
383.35/383.69 c | 4011 | 20522 769676 6992680 | 256558 4008 37 | 0.024 % |
383.66/383.90 c | 4157 | 20522 769676 6992680 | 256558 4154 37 | 0.025 % |
383.75/384.02 c | 4322 | 20522 769676 6992680 | 256558 4319 39 | 0.024 % |
383.85/384.15 c | 4498 | 20522 769676 6992680 | 256558 4495 39 | 0.024 % |
384.15/384.41 c | 4692 | 20522 769676 6992680 | 256558 4689 40 | 0.024 % |
384.25/384.51 c | 4792 | 20522 769676 6992680 | 256558 4789 40 | 0.024 % |
384.35/384.60 c | 4907 | 20522 769676 6992680 | 256558 4904 41 | 0.024 % |
384.35/384.68 c | 5028 | 20522 769676 6992680 | 256558 5025 41 | 0.024 % |
384.55/384.83 c | 5161 | 20522 769676 6992680 | 256558 5158 41 | 0.024 % |
384.65/384.95 c | 5314 | 20522 769676 6992680 | 256558 5311 42 | 0.024 % |
384.75/385.08 c | 5475 | 20522 769676 6992680 | 256558 5472 42 | 0.024 % |
384.95/385.24 c | 5652 | 20522 769676 6992680 | 256558 5649 42 | 0.024 % |
385.15/385.47 c | 5849 | 20522 769676 6992680 | 256558 5846 41 | 0.024 % |
385.35/385.67 c | 6061 | 20520 769676 6992680 | 256558 6057 41 | 0.034 % |
385.44/385.73 c | 6163 | 20520 769676 6992680 | 256558 6159 40 | 0.034 % |
385.44/385.79 c | 6273 | 20520 769676 6992680 | 256558 6269 40 | 0.034 % |
385.54/385.84 c | 6394 | 20520 769676 6992680 | 256558 6390 40 | 0.034 % |
385.64/385.92 c | 6531 | 20520 769676 6992680 | 256558 6527 40 | 0.034 % |
385.75/386.08 c | 6679 | 20520 769676 6992680 | 256558 6675 40 | 0.034 % |
385.85/386.19 c | 6840 | 20520 769676 6992680 | 256558 6836 40 | 0.034 % |
386.05/386.35 c | 7016 | 20520 769676 6992680 | 256558 7012 41 | 0.034 % |
386.15/386.49 c | 7209 | 20520 769676 6992680 | 256558 7205 41 | 0.034 % |
386.35/386.62 c | 7421 | 20520 769676 6992680 | 256558 7417 42 | 0.034 % |
386.55/386.80 c | 7654 | 20520 769676 6992680 | 256558 7650 41 | 0.034 % |
386.55/386.89 c | 7755 | 20520 769676 6992680 | 256558 7751 41 | 0.034 % |
386.65/386.95 c | 7886 | 20520 769676 6992680 | 256558 7882 42 | 0.034 % |
386.75/387.04 c | 8023 | 20520 769676 6992680 | 256558 8019 42 | 0.034 % |
386.85/387.11 c | 8173 | 20520 769676 6992680 | 256558 8169 42 | 0.034 % |
386.85/387.19 c | 8324 | 20520 769676 6992680 | 256558 8320 41 | 0.034 % |
386.95/387.29 c | 8487 | 20520 769676 6992680 | 256558 8483 41 | 0.034 % |
387.14/387.45 c | 8665 | 20520 769676 6992680 | 256558 8661 42 | 0.034 % |
387.34/387.67 c | 8859 | 20520 769676 6992680 | 256558 8855 42 | 0.034 % |
387.54/387.90 c | 9071 | 20520 769676 6992680 | 256558 9067 41 | 0.034 % |
387.84/388.10 c | 9308 | 20520 769676 6992680 | 256558 9304 41 | 0.034 % |
388.05/388.35 c | 9564 | 20520 769676 6992680 | 256558 9560 40 | 0.034 % |
388.14/388.46 c | 9666 | 20517 769676 6992680 | 256558 9661 40 | 0.058 % |
388.24/388.56 c | 9777 | 20517 769676 6992680 | 256558 9772 40 | 0.058 % |
388.44/388.73 c | 9898 | 20517 769676 6992680 | 256558 9893 40 | 0.058 % |
388.54/388.84 c | 10031 | 20517 769676 6992680 | 2147483647 10026 40 | 0.058 % |
388.74/389.01 c | 10177 | 20517 769676 6992680 | 2147483647 10172 40 | 0.058 % |
388.84/389.16 c | 10339 | 20517 769676 6992680 | 2147483647 10334 40 | 0.058 % |
389.14/389.41 c | 10516 | 20517 769676 6992680 | 2147483647 10511 40 | 0.058 % |
389.24/389.57 c | 10712 | 20517 769676 6992680 | 2147483647 10707 40 | 0.058 % |
389.44/389.78 c | 10924 | 20517 769676 6992680 | 2147483647 10919 41 | 0.058 % |
389.64/390.00 c | 11157 | 20517 769676 6992680 | 2147483647 11152 41 | 0.058 % |
389.94/390.25 c | 11414 | 20517 769676 6992680 | 2147483647 11409 42 | 0.058 % |
390.24/390.52 c | 11695 | 20517 769676 6992680 | 2147483647 11690 41 | 0.058 % |
390.24/390.58 c | 11795 | 20517 769676 6992680 | 2147483647 11790 41 | 0.058 % |
390.44/390.73 c | 11907 | 20514 769676 6992680 | 2147483647 11901 41 | 0.088 % |
390.54/390.88 c | 12028 | 20514 769676 6992680 | 2147483647 12022 42 | 0.088 % |
390.74/391.07 c | 12161 | 20514 769676 6992680 | 2147483647 12155 42 | 0.088 % |
390.84/391.15 c | 12308 | 20514 769676 6992680 | 2147483647 12302 42 | 0.088 % |
391.04/391.39 c | 12468 | 20514 769676 6992680 | 2147483647 12462 45 | 0.088 % |
391.24/391.58 c | 12645 | 20514 769676 6992680 | 2147483647 12639 46 | 0.088 % |
391.44/391.74 c | 12838 | 20514 769676 6992680 | 2147483647 12832 45 | 0.088 % |
391.64/391.99 c | 13050 | 20508 768936 6982632 | 2147483647 12882 46 | 0.088 % |
391.84/392.11 c | 13284 | 20508 768936 6982632 | 2147483647 13116 45 | 0.088 % |
392.04/392.31 c | 13540 | 20508 768936 6982632 | 2147483647 13372 47 | 0.088 % |
392.14/392.48 c | 13822 | 20508 768936 6982632 | 2147483647 13654 47 | 0.088 % |
392.34/392.68 c | 14132 | 20508 768936 6982632 | 2147483647 13964 46 | 0.088 % |
392.44/392.78 c | 14234 | 20508 768936 6982632 | 2147483647 14066 46 | 0.088 % |
392.54/392.87 c | 14344 | 20508 768936 6982632 | 2147483647 14176 46 | 0.088 % |
392.64/392.96 c | 14466 | 20508 768936 6982632 | 2147483647 14298 46 | 0.088 % |
392.74/393.03 c | 14600 | 20507 768936 6982632 | 2147483647 14431 46 | 0.093 % |
392.84/393.12 c | 14746 | 20507 768936 6982632 | 2147483647 14577 46 | 0.093 % |
392.94/393.26 c | 14906 | 20507 768936 6982632 | 2147483647 14737 46 | 0.093 % |
393.14/393.42 c | 15082 | 20507 768936 6982632 | 2147483647 14913 46 | 0.093 % |
393.24/393.54 c | 15275 | 20507 768936 6982632 | 2147483647 15106 47 | 0.093 % |
393.34/393.60 c | 15495 | 20507 768936 6982632 | 2147483647 15326 48 | 0.093 % |
393.54/393.82 c | 15735 | 20504 768936 6982632 | 2147483647 15565 48 | 0.112 % |
394.03/394.32 c | 15991 | 20504 768936 6982632 | 2147483647 15821 48 | 0.112 % |
394.23/394.57 c | 16272 | 20504 768936 6982632 | 2147483647 16102 49 | 0.112 % |
394.54/394.88 c | 16583 | 20501 768936 6982632 | 2147483647 16411 48 | 0.136 % |
394.83/395.11 c | 16922 | 20501 768936 6982632 | 2147483647 16750 48 | 0.136 % |
395.03/395.32 c | 17023 | 20501 768936 6982632 | 2147483647 16851 48 | 0.136 % |
395.13/395.44 c | 17133 | 20501 768936 6982632 | 2147483647 16961 48 | 0.136 % |
395.23/395.53 c | 17263 | 20495 768936 6982632 | 2147483647 17089 47 | 0.171 % |
395.33/395.62 c | 17396 | 20494 768936 6982632 | 2147483647 17222 47 | 0.171 % |
395.43/395.78 c | 17542 | 20493 768936 6982632 | 2147483647 17367 47 | 0.175 % |
395.64/395.90 c | 17702 | 20488 768936 6982632 | 2147483647 17526 47 | 0.200 % |
395.74/396.08 c | 17881 | 20488 768936 6982632 | 2147483647 17705 47 | 0.200 % |
395.93/396.26 c | 18074 | 20486 768936 6982632 | 2147483647 17897 47 | 0.209 % |
396.13/396.48 c | 18289 | 20486 768936 6982632 | 2147483647 18112 46 | 0.209 % |
396.43/396.70 c | 18523 | 20486 768936 6982632 | 2147483647 18346 46 | 0.209 % |
396.53/396.87 c | 18780 | 20486 768936 6982632 | 2147483647 18603 46 | 0.209 % |
396.73/397.10 c | 19061 | 20486 768936 6982632 | 2147483647 18884 46 | 0.209 % |
396.93/397.26 c | 19374 | 20486 768936 6982632 | 2147483647 19197 46 | 0.210 % |
397.23/397.59 c | 19715 | 20486 768936 6982632 | 2147483647 19538 46 | 0.209 % |
397.63/397.96 c | 20088 | 20486 768936 6982632 | 2147483647 19911 46 | 0.209 % |
397.83/398.11 c | 20192 | 20486 768936 6982632 | 2147483647 20015 45 | 0.209 % |
397.83/398.17 c | 20304 | 20486 768936 6982632 | 2147483647 20127 45 | 0.209 % |
398.03/398.30 c | 20425 | 20486 768936 6982632 | 2147483647 20248 45 | 0.209 % |
398.13/398.44 c | 20558 | 20486 768936 6982632 | 2147483647 20381 45 | 0.209 % |
398.23/398.58 c | 20704 | 20486 768936 6982632 | 2147483647 20527 45 | 0.209 % |
398.33/398.67 c | 20869 | 20486 768936 6982632 | 2147483647 20692 45 | 0.209 % |
398.42/398.78 c | 21045 | 20486 768936 6982632 | 2147483647 20868 45 | 0.209 % |
398.62/398.93 c | 21240 | 20486 768936 6982632 | 2147483647 21063 45 | 0.210 % |
398.73/399.07 c | 21452 | 20486 768936 6982632 | 2147483647 21275 45 | 0.209 % |
398.94/399.26 c | 21685 | 20486 768936 6982632 | 2147483647 21508 45 | 0.209 % |
399.23/399.53 c | 21941 | 20486 768936 6982632 | 2147483647 21764 45 | 0.209 % |
399.43/399.79 c | 22226 | 20486 768936 6982632 | 2147483647 22049 44 | 0.210 % |
399.73/400.05 c | 22535 | 20486 768936 6982632 | 2147483647 22358 45 | 0.209 % |
400.04/400.35 c | 22876 | 20486 768936 6982632 | 2147483647 22699 44 | 0.210 % |
400.33/400.63 c | 23250 | 20486 768936 6982632 | 2147483647 23073 44 | 0.209 % |
400.63/400.98 c | 23675 | 20486 768936 6982632 | 2147483647 23498 44 | 0.209 % |
400.73/401.07 c | 23776 | 20481 768936 6982632 | 2147483647 23597 44 | 0.234 % |
400.83/401.15 c | 23886 | 20481 768936 6982632 | 2147483647 23707 44 | 0.234 % |
401.03/401.30 c | 24007 | 20481 768936 6982632 | 2147483647 23828 44 | 0.234 % |
401.13/401.47 c | 24140 | 20476 768936 6982632 | 2147483647 23958 44 | 0.263 % |
401.23/401.59 c | 24287 | 20476 768936 6982632 | 2147483647 24105 44 | 0.263 % |
401.33/401.68 c | 24447 | 20476 768936 6982632 | 2147483647 24265 44 | 0.263 % |
401.53/401.80 c | 24624 | 20476 768936 6982632 | 2147483647 24442 44 | 0.263 % |
401.63/401.95 c | 24819 | 20476 768936 6982632 | 2147483647 24637 44 | 0.263 % |
401.73/402.06 c | 25032 | 20476 768936 6982632 | 2147483647 24850 44 | 0.263 % |
402.03/402.32 c | 25265 | 20475 768936 6982632 | 2147483647 25082 44 | 0.268 % |
402.23/402.58 c | 25521 | 20475 768936 6982632 | 2147483647 25338 43 | 0.268 % |
402.43/402.78 c | 25802 | 20475 768936 6982632 | 2147483647 25619 43 | 0.268 % |
402.73/403.01 c | 26111 | 20475 768936 6982632 | 2147483647 25928 44 | 0.268 % |
403.03/403.32 c | 26450 | 20475 768936 6982632 | 2147483647 26267 44 | 0.268 % |
403.33/403.65 c | 26823 | 20475 768936 6982632 | 2147483647 26640 43 | 0.268 % |
403.83/404.15 c | 27232 | 20475 768936 6982632 | 2147483647 27049 43 | 0.268 % |
404.23/404.58 c | 27684 | 20475 768936 6982632 | 2147483647 27501 43 | 0.268 % |
404.43/404.75 c | 27786 | 20471 767606 6956983 | 2147483647 26823 43 | 0.268 % |
404.63/404.92 c | 27899 | 20468 767606 6956983 | 2147483647 26934 43 | 0.283 % |
404.73/405.03 c | 28020 | 20459 767606 6956983 | 2147483647 27053 43 | 0.341 % |
404.83/405.15 c | 28157 | 20380 767606 6956983 | 2147483647 27186 43 | 0.814 % |
404.93/405.28 c | 28307 | 20368 767606 6956983 | 2147483647 27336 43 | 0.814 % |
405.13/405.46 c | 28467 | 20360 767606 6956983 | 2147483647 27496 43 | 0.814 % |
405.33/405.62 c | 28644 | 20360 767606 6956983 | 2147483647 27673 43 | 0.814 % |
405.63/405.92 c | 28838 | 20360 767606 6956983 | 2147483647 27867 43 | 0.814 % |
405.83/406.12 c | 29050 | 20360 767606 6956983 | 2147483647 28079 43 | 0.814 % |
406.13/406.45 c | 29283 | 20360 767606 6956983 | 2147483647 28312 43 | 0.814 % |
406.53/406.84 c | 29540 | 20360 767606 6956983 | 2147483647 28569 42 | 0.814 % |
406.73/407.08 c | 29822 | 20353 767606 6956983 | 2147483647 28850 42 | 0.848 % |
407.13/407.48 c | 30133 | 20353 767606 6956983 | 2147483647 29161 42 | 0.848 % |
407.53/407.82 c | 30473 | 20353 767606 6956983 | 2147483647 29501 42 | 0.848 % |
407.93/408.23 c | 30847 | 20353 767606 6956983 | 2147483647 29875 42 | 0.848 % |
408.23/408.54 c | 31257 | 20353 767606 6956983 | 2147483647 30285 42 | 0.848 % |
408.63/408.94 c | 31708 | 20353 767606 6956983 | 2147483647 30736 41 | 0.848 % |
409.12/409.49 c | 32201 | 20353 767606 6956983 | 2147483647 31229 41 | 0.848 % |
409.22/409.59 c | 32306 | 20353 767606 6956983 | 2147483647 31334 41 | 0.848 % |
409.42/409.71 c | 32422 | 20353 767606 6956983 | 2147483647 31450 41 | 0.848 % |
409.52/409.83 c | 32544 | 20353 767606 6956983 | 2147483647 31572 41 | 0.848 % |
409.62/409.94 c | 32689 | 20353 767606 6956983 | 2147483647 31717 41 | 0.848 % |
409.72/410.09 c | 32835 | 20353 767606 6956983 | 2147483647 31863 41 | 0.848 % |
409.82/410.19 c | 32997 | 20353 767606 6956983 | 2147483647 32025 41 | 0.848 % |
410.03/410.38 c | 33174 | 20353 767606 6956983 | 2147483647 32202 41 | 0.848 % |
410.22/410.55 c | 33368 | 20353 767606 6956983 | 2147483647 32396 41 | 0.848 % |
410.42/410.73 c | 33580 | 20353 767606 6956983 | 2147483647 32608 41 | 0.848 % |
410.62/410.98 c | 33814 | 20352 767606 6956983 | 2147483647 32841 41 | 0.853 % |
410.92/411.25 c | 34070 | 20334 767606 6956983 | 2147483647 33088 41 | 0.994 % |
411.32/411.62 c | 34355 | 20327 767606 6956983 | 2147483647 33373 40 | 0.994 % |
411.52/411.89 c | 34665 | 20327 767606 6956983 | 2147483647 33683 40 | 0.994 % |
412.02/412.33 c | 35005 | 20326 767606 6956983 | 2147483647 34023 40 | 0.994 % |
412.42/412.72 c | 35380 | 20326 767606 6956983 | 2147483647 34398 40 | 0.994 % |
412.72/413.08 c | 35789 | 20326 767606 6956983 | 2147483647 34807 40 | 0.994 % |
413.22/413.56 c | 36242 | 20326 767606 6956983 | 2147483647 35260 40 | 0.994 % |
413.62/413.99 c | 36743 | 20298 767606 6956983 | 2147483647 35756 40 | 1.130 % |
414.22/414.55 c | 37285 | 20298 767606 6956983 | 2147483647 36298 40 | 1.130 % |
414.32/414.70 c | 37385 | 20298 767606 6956983 | 2147483647 36398 40 | 1.130 % |
414.52/414.88 c | 37496 | 20298 767606 6956983 | 2147483647 36509 40 | 1.130 % |
414.82/415.13 c | 37617 | 20298 767606 6956983 | 2147483647 36630 40 | 1.130 % |
415.02/415.33 c | 37751 | 20298 767606 6956983 | 2147483647 36764 39 | 1.130 % |
415.22/415.50 c | 37898 | 20298 767606 6956983 | 2147483647 36911 39 | 1.130 % |
415.42/415.77 c | 38058 | 20298 767606 6956983 | 2147483647 37071 39 | 1.130 % |
415.62/415.90 c | 38236 | 20297 767606 6956983 | 2147483647 37248 39 | 1.135 % |
415.82/416.19 c | 38429 | 20288 767606 6956983 | 2147483647 37436 39 | 1.242 % |
416.12/416.40 c | 38641 | 20265 767606 6956983 | 2147483647 37645 39 | 1.384 % |
416.32/416.60 c | 38875 | 20265 767606 6956983 | 2147483647 37879 39 | 1.384 % |
416.52/416.90 c | 39133 | 20265 767606 6956983 | 2147483647 38137 39 | 1.384 % |
416.82/417.16 c | 39415 | 20265 767606 6956983 | 2147483647 38419 39 | 1.384 % |
417.11/417.47 c | 39724 | 20256 767606 6956983 | 2147483647 38725 39 | 1.432 % |
417.51/417.86 c | 40064 | 20255 767606 6956983 | 2147483647 39065 40 | 1.432 % |
417.72/418.06 c | 40436 | 20255 767606 6956983 | 2147483647 39437 39 | 1.432 % |
418.11/418.42 c | 40846 | 20246 767606 6956983 | 2147483647 39843 39 | 1.491 % |
418.51/418.89 c | 41296 | 20211 756682 6706229 | 2147483647 30859 37 | 1.564 % |
419.41/419.73 c | 41790 | 20211 756682 6706229 | 2147483647 31353 37 | 1.564 % |
419.92/420.27 c | 42333 | 20211 756682 6706229 | 2147483647 31896 37 | 1.564 % |
420.92/421.23 c | 42931 | 20211 756682 6706229 | 2147483647 32494 36 | 1.564 % |
421.02/421.34 c | 43031 | 20211 756682 6706229 | 2147483647 32594 36 | 1.564 % |
421.11/421.42 c | 43141 | 20211 756682 6706229 | 2147483647 32704 36 | 1.564 % |
421.31/421.61 c | 43262 | 20211 756682 6706229 | 2147483647 32825 36 | 1.564 % |
421.41/421.79 c | 43397 | 20211 756682 6706229 | 2147483647 32960 36 | 1.564 % |
421.62/421.96 c | 43543 | 20211 756682 6706229 | 2147483647 33106 36 | 1.564 % |
421.82/422.15 c | 43707 | 20211 756682 6706229 | 2147483647 33270 36 | 1.564 % |
422.03/422.32 c | 43883 | 20211 756682 6706229 | 2147483647 33446 36 | 1.564 % |
422.22/422.52 c | 44076 | 20211 756682 6706229 | 2147483647 33639 36 | 1.564 % |
422.52/422.82 c | 44289 | 20211 756682 6706229 | 2147483647 33852 36 | 1.564 % |
422.72/423.05 c | 44522 | 20211 756682 6706229 | 2147483647 34085 36 | 1.564 % |
423.02/423.36 c | 44778 | 20211 756682 6706229 | 2147483647 34341 36 | 1.564 % |
423.42/423.72 c | 45059 | 20196 756682 6706229 | 2147483647 34613 36 | 1.734 % |
423.72/424.02 c | 45370 | 20195 756682 6706229 | 2147483647 34923 36 | 1.739 % |
424.02/424.39 c | 45717 | 20192 756682 6706229 | 2147483647 35269 35 | 1.759 % |
424.52/424.88 c | 46092 | 20183 756682 6706229 | 2147483647 35641 35 | 1.822 % |
425.02/425.37 c | 46502 | 20137 756682 6706229 | 2147483647 36048 35 | 2.075 % |
425.62/425.99 c | 46952 | 20112 756682 6706229 | 2147483647 36493 35 | 2.202 % |
426.32/426.65 c | 47447 | 20112 756682 6706229 | 2147483647 36988 35 | 2.202 % |
426.82/427.14 c | 47994 | 20112 756682 6706229 | 2147483647 37535 35 | 2.202 % |
427.42/427.70 c | 48590 | 20084 756682 6706229 | 2147483647 38123 35 | 2.611 % |
428.22/428.52 c | 49250 | 20033 756682 6706229 | 2147483647 38780 34 | 2.636 % |
428.32/428.68 c | 49350 | 20003 756682 6706229 | 2147483647 38876 34 | 2.811 % |
428.52/428.81 c | 49460 | 19981 756682 6706229 | 2147483647 38982 34 | 2.943 % |
428.72/429.03 c | 49584 | 19979 756682 6706229 | 2147483647 39106 34 | 2.943 % |
428.82/429.18 c | 49718 | 19979 756682 6706229 | 2147483647 39240 34 | 2.943 % |
429.12/429.49 c | 49864 | 19956 756682 6706229 | 2147483647 39383 34 | 3.074 % |
429.32/429.63 c | 50024 | 19955 756682 6706229 | 2147483647 39542 34 | 3.084 % |
429.62/429.90 c | 50200 | 19949 756682 6706229 | 2147483647 39717 34 | 3.113 % |
429.91/430.25 c | 50393 | 19949 756682 6706229 | 2147483647 39910 34 | 3.113 % |
430.21/430.58 c | 50606 | 19949 756682 6706229 | 2147483647 40123 34 | 3.113 % |
430.61/430.90 c | 50840 | 19949 756682 6706229 | 2147483647 40357 34 | 3.113 % |
431.11/431.44 c | 51096 | 19949 756682 6706229 | 2147483647 40613 35 | 3.113 % |
431.31/431.65 c | 51377 | 19949 756682 6706229 | 2147483647 40894 34 | 3.113 % |
431.71/432.02 c | 51687 | 19943 756682 6706229 | 2147483647 41201 34 | 3.142 % |
432.02/432.35 c | 52026 | 19881 742524 6376253 | 2147483647 34054 35 | 3.142 % |
432.41/432.75 c | 52400 | 19877 742524 6376253 | 2147483647 34425 35 | 3.162 % |
432.91/433.23 c | 52810 | 19854 742524 6376253 | 2147483647 34829 35 | 3.274 % |
433.61/433.91 c | 53259 | 19854 742524 6376253 | 2147483647 35278 35 | 3.274 % |
434.31/434.68 c | 53753 | 19854 742524 6376253 | 2147483647 35772 35 | 3.274 % |
435.31/435.63 c | 54296 | 19854 742524 6376253 | 2147483647 36315 35 | 3.274 % |
436.51/436.88 c | 54892 | 19854 742524 6376253 | 2147483647 36911 35 | 3.274 % |
437.31/437.66 c | 55547 | 19854 742524 6376253 | 2147483647 37566 35 | 3.274 % |
438.31/438.62 c | 56267 | 19853 742524 6376253 | 2147483647 38285 35 | 3.279 % |
438.41/438.74 c | 56367 | 19853 742524 6376253 | 2147483647 38385 35 | 3.279 % |
438.61/438.91 c | 56479 | 19853 742524 6376253 | 2147483647 38497 35 | 3.279 % |
438.81/439.12 c | 56600 | 19853 742524 6376253 | 2147483647 38618 35 | 3.279 % |
439.11/439.48 c | 56733 | 19853 742524 6376253 | 2147483647 38751 35 | 3.279 % |
439.41/439.72 c | 56880 | 19853 742524 6376253 | 2147483647 38898 35 | 3.279 % |
439.71/440.08 c | 57041 | 19853 742524 6376253 | 2147483647 39059 35 | 3.279 % |
439.91/440.22 c | 57218 | 19853 742524 6376253 | 2147483647 39236 35 | 3.279 % |
440.31/440.66 c | 57411 | 19853 742524 6376253 | 2147483647 39429 35 | 3.279 % |
440.61/440.98 c | 57625 | 19853 742524 6376253 | 2147483647 39643 35 | 3.279 % |
440.91/441.27 c | 57859 | 19853 742524 6376253 | 2147483647 39877 35 | 3.279 % |
441.41/441.71 c | 58115 | 19853 742524 6376253 | 2147483647 40133 35 | 3.279 % |
441.71/442.10 c | 58399 | 19853 742524 6376253 | 2147483647 40417 35 | 3.279 % |
442.11/442.44 c | 58709 | 19853 742524 6376253 | 2147483647 40727 35 | 3.279 % |
442.70/443.06 c | 59048 | 19853 742524 6376253 | 2147483647 41066 35 | 3.279 % |
443.10/443.50 c | 59420 | 19853 742524 6376253 | 2147483647 41438 35 | 3.279 % |
443.80/444.15 c | 59829 | 19849 742524 6376253 | 2147483647 41845 35 | 3.303 % |
444.70/445.04 c | 60280 | 19849 742524 6376253 | 2147483647 42296 35 | 3.303 % |
445.30/445.61 c | 60773 | 19849 742524 6376253 | 2147483647 42789 35 | 3.303 % |
446.10/446.43 c | 61315 | 19848 740979 6338319 | 2147483647 42531 35 | 3.303 % |
447.31/447.63 c | 61912 | 19848 740979 6338319 | 2147483647 43128 36 | 3.303 % |
448.60/448.94 c | 62569 | 19848 740979 6338319 | 2147483647 43785 37 | 3.303 % |
449.10/449.43 c | 63290 | 19848 740979 6338319 | 2147483647 44506 37 | 3.303 % |
450.00/450.36 c | 64082 | 19848 740979 6338319 | 2147483647 45298 37 | 3.303 % |
450.10/450.44 c | 64182 | 19844 740979 6338319 | 2147483647 45397 37 | 3.327 % |
450.20/450.59 c | 64294 | 19826 740979 6338319 | 2147483647 45504 37 | 3.459 % |
450.40/450.76 c | 64417 | 19823 740979 6338319 | 2147483647 45624 37 | 3.483 % |
450.50/450.90 c | 64550 | 19811 740979 6338319 | 2147483647 45755 36 | 3.498 % |
450.80/451.14 c | 64701 | 19805 740979 6338319 | 2147483647 45903 36 | 3.527 % |
451.10/451.49 c | 64865 | 19803 740979 6338319 | 2147483647 46065 36 | 3.537 % |
451.30/451.61 c | 65043 | 19803 740979 6338319 | 2147483647 46243 36 | 3.537 % |
451.60/451.94 c | 65236 | 19799 740979 6338319 | 2147483647 46433 36 | 3.566 % |
451.80/452.14 c | 65448 | 19782 740979 6338319 | 2147483647 46640 36 | 3.649 % |
452.00/452.32 c | 65681 | 19768 740979 6338319 | 2147483647 46870 36 | 3.722 % |
452.20/452.59 c | 65939 | 19746 740979 6338319 | 2147483647 47123 36 | 3.829 % |
452.50/452.84 c | 66220 | 19746 740979 6338319 | 2147483647 47404 36 | 3.829 % |
452.80/453.17 c | 66530 | 19746 740979 6338319 | 2147483647 47714 36 | 3.829 % |
453.20/453.51 c | 66871 | 19746 740979 6338319 | 2147483647 48055 36 | 3.829 % |
453.70/454.01 c | 67246 | 19738 740979 6338319 | 2147483647 48428 36 | 3.873 % |
454.10/454.44 c | 67655 | 19738 740979 6338319 | 2147483647 48837 36 | 3.873 % |
454.60/454.90 c | 68104 | 19737 740979 6338319 | 2147483647 49285 36 | 3.878 % |
455.20/455.56 c | 68599 | 19732 740979 6338319 | 2147483647 49777 36 | 3.907 % |
455.70/456.00 c | 69141 | 19729 740979 6338319 | 2147483647 50317 35 | 3.936 % |
456.40/456.74 c | 69739 | 19729 740979 6338319 | 2147483647 50915 35 | 3.936 % |
457.10/457.43 c | 70395 | 19729 740979 6338319 | 2147483647 51571 35 | 3.936 % |
457.80/458.17 c | 71115 | 19729 740979 6338319 | 2147483647 52291 35 | 3.936 % |
458.60/458.99 c | 71907 | 19729 740979 6338319 | 2147483647 53083 35 | 3.936 % |
459.70/460.01 c | 72779 | 19718 735113 6197432 | 2147483647 51180 34 | 3.936 % |
459.90/460.22 c | 72880 | 19718 735113 6197432 | 2147483647 51281 34 | 3.936 % |
460.00/460.37 c | 72991 | 19718 735113 6197432 | 2147483647 51392 34 | 3.936 % |
460.30/460.69 c | 73112 | 19718 735113 6197432 | 2147483647 51513 34 | 3.936 % |
460.50/460.83 c | 73245 | 19718 735113 6197432 | 2147483647 51646 34 | 3.937 % |
460.80/461.13 c | 73391 | 19718 735113 6197432 | 2147483647 51792 34 | 3.936 % |
460.90/461.29 c | 73552 | 19718 735113 6197432 | 2147483647 51953 34 | 3.937 % |
461.20/461.50 c | 73735 | 19718 735113 6197432 | 2147483647 52136 34 | 3.936 % |
461.50/461.80 c | 73929 | 19718 735113 6197432 | 2147483647 52330 34 | 3.936 % |
461.80/462.11 c | 74142 | 19718 735113 6197432 | 2147483647 52543 34 | 3.937 % |
462.20/462.50 c | 74376 | 19718 735113 6197432 | 2147483647 52777 34 | 3.936 % |
462.80/463.11 c | 74633 | 19718 735113 6197432 | 2147483647 53034 34 | 3.936 % |
463.20/463.54 c | 74915 | 19718 735113 6197432 | 2147483647 53316 34 | 3.936 % |
463.50/463.88 c | 75224 | 19718 735113 6197432 | 2147483647 53625 34 | 3.937 % |
463.99/464.39 c | 75564 | 19718 735113 6197432 | 2147483647 53965 34 | 3.936 % |
464.49/464.83 c | 75937 | 19718 735113 6197432 | 2147483647 54338 34 | 3.936 % |
465.39/465.78 c | 76347 | 19718 735113 6197432 | 2147483647 54748 34 | 3.936 % |
466.29/466.60 c | 76796 | 19718 735113 6197432 | 2147483647 55197 34 | 3.937 % |
467.39/467.71 c | 77289 | 19718 735113 6197432 | 2147483647 55690 34 | 3.936 % |
468.09/468.43 c | 77832 | 19718 735113 6197432 | 2147483647 56233 34 | 3.936 % |
469.09/469.48 c | 78429 | 19718 735113 6197432 | 2147483647 56830 34 | 3.936 % |
469.89/470.20 c | 79085 | 19718 735113 6197432 | 2147483647 57486 34 | 3.936 % |
470.59/470.92 c | 79805 | 19718 735113 6197432 | 2147483647 58206 34 | 3.937 % |
471.59/471.91 c | 80600 | 19718 735113 6197432 | 2147483647 59001 34 | 3.936 % |
472.89/473.27 c | 81471 | 19718 735113 6197432 | 2147483647 59872 34 | 3.936 % |
474.29/474.64 c | 82430 | 19718 735113 6197432 | 2147483647 60831 34 | 3.936 % |
474.39/474.78 c | 82530 | 19718 735113 6197432 | 2147483647 60931 34 | 3.937 % |
474.69/475.01 c | 82642 | 19712 735037 6195779 | 2147483647 60973 34 | 3.966 % |
474.79/475.18 c | 82763 | 19708 735037 6195779 | 2147483647 61093 34 | 3.985 % |
474.99/475.32 c | 82896 | 19680 735037 6195779 | 2147483647 61218 34 | 4.204 % |
475.29/475.60 c | 83043 | 19656 735037 6195779 | 2147483647 61362 34 | 4.253 % |
475.39/475.76 c | 83205 | 19656 735037 6195779 | 2147483647 61524 34 | 4.253 % |
475.69/476.02 c | 83382 | 19656 735037 6195779 | 2147483647 61701 33 | 4.253 % |
475.89/476.30 c | 83577 | 19656 735037 6195779 | 2147483647 61896 33 | 4.253 % |
476.09/476.44 c | 83790 | 19656 735037 6195779 | 2147483647 62109 33 | 4.253 % |
476.49/476.83 c | 84023 | 19656 735037 6195779 | 2147483647 62342 33 | 4.253 % |
476.79/477.12 c | 84281 | 19650 735037 6195779 | 2147483647 62598 33 | 4.282 % |
477.09/477.46 c | 84563 | 19650 735037 6195779 | 2147483647 62880 33 | 4.282 % |
477.39/477.75 c | 84873 | 19650 735037 6195779 | 2147483647 63190 33 | 4.282 % |
477.69/478.02 c | 85215 | 19650 735037 6195779 | 2147483647 63532 33 | 4.282 % |
477.89/478.28 c | 85588 | 19650 735037 6195779 | 2147483647 63905 33 | 4.282 % |
478.39/478.79 c | 85997 | 19618 735037 6195779 | 2147483647 64305 33 | 4.438 % |
479.09/479.50 c | 86446 | 19604 735037 6195779 | 2147483647 64750 33 | 4.506 % |
480.09/480.43 c | 86940 | 19604 735037 6195779 | 2147483647 65244 34 | 4.506 % |
480.89/481.29 c | 87482 | 19604 735037 6195779 | 2147483647 65786 33 | 4.507 % |
481.68/482.02 c | 88080 | 19595 735037 6195779 | 2147483647 66382 33 | 4.555 % |
482.28/482.67 c | 88735 | 19595 735037 6195779 | 2147483647 67037 33 | 4.555 % |
482.88/483.28 c | 89455 | 19582 735037 6195779 | 2147483647 67751 33 | 4.692 % |
483.78/484.14 c | 90249 | 19569 735037 6195779 | 2147483647 68541 33 | 4.745 % |
485.08/485.42 c | 91120 | 19569 735037 6195779 | 2147483647 69412 33 | 4.745 % |
486.58/486.99 c | 92078 | 19569 735037 6195779 | 2147483647 70370 33 | 4.745 % |
487.59/487.93 c | 93131 | 19569 735037 6195779 | 2147483647 71423 33 | 4.745 % |
487.79/488.12 c | 93231 | 19569 735037 6195779 | 2147483647 71523 33 | 4.745 % |
487.99/488.32 c | 93341 | 19569 735037 6195779 | 2147483647 71633 33 | 4.745 % |
488.29/488.64 c | 93464 | 19569 735037 6195779 | 2147483647 71756 33 | 4.745 % |
488.49/488.82 c | 93598 | 19569 735037 6195779 | 2147483647 71890 33 | 4.745 % |
488.69/489.05 c | 93746 | 19569 735037 6195779 | 2147483647 72038 33 | 4.745 % |
488.89/489.29 c | 93907 | 19569 735037 6195779 | 2147483647 72199 33 | 4.745 % |
489.39/489.71 c | 94083 | 19569 735037 6195779 | 2147483647 72375 33 | 4.745 % |
489.58/489.96 c | 94276 | 19569 735037 6195779 | 2147483647 72568 33 | 4.745 % |
489.88/490.26 c | 94489 | 19552 727641 6015686 | 2147483647 69250 33 | 4.745 % |
490.29/490.63 c | 94723 | 19552 727641 6015686 | 2147483647 69484 33 | 4.745 % |
490.58/490.96 c | 94980 | 19552 727641 6015686 | 2147483647 69741 32 | 4.745 % |
490.88/491.27 c | 95261 | 19552 727641 6015686 | 2147483647 70022 32 | 4.745 % |
491.39/491.75 c | 95571 | 19552 727641 6015686 | 2147483647 70332 32 | 4.745 % |
491.68/492.02 c | 95910 | 19552 727641 6015686 | 2147483647 70671 32 | 4.745 % |
491.98/492.35 c | 96282 | 19531 727641 6015686 | 2147483647 71037 32 | 4.896 % |
492.49/492.86 c | 96691 | 19528 727641 6015686 | 2147483647 71446 32 | 4.896 % |
493.59/493.94 c | 97141 | 19528 727641 6015686 | 2147483647 71896 33 | 4.896 % |
494.18/494.56 c | 97637 | 19528 727641 6015686 | 2147483647 72392 33 | 4.896 % |
494.98/495.38 c | 98181 | 19524 727641 6015686 | 2147483647 72935 32 | 4.916 % |
496.08/496.49 c | 98780 | 19524 727641 6015686 | 2147483647 73534 33 | 4.916 % |
496.98/497.31 c | 99435 | 19524 727641 6015686 | 2147483647 74189 32 | 4.916 % |
497.68/498.04 c | 100156 | 19524 727641 6015686 | 2147483647 74910 32 | 4.916 % |
498.48/498.84 c | 100949 | 19517 727641 6015686 | 2147483647 75701 32 | 4.950 % |
499.48/499.86 c | 101825 | 19498 727641 6015686 | 2147483647 76570 32 | 5.062 % |
500.78/501.17 c | 102783 | 19480 727641 6015686 | 2147483647 77523 32 | 5.154 % |
502.78/503.15 c | 103836 | 19480 727641 6015686 | 2147483647 78576 32 | 5.155 % |
504.88/505.20 c | 104994 | 19480 727641 6015686 | 2147483647 79734 32 | 5.154 % |
504.98/505.34 c | 105094 | 19480 727641 6015686 | 2147483647 79834 32 | 5.154 % |
505.08/505.46 c | 105204 | 19480 727641 6015686 | 2147483647 79944 32 | 5.154 % |
505.28/505.65 c | 105326 | 19480 727641 6015686 | 2147483647 80066 32 | 5.154 % |
505.48/505.84 c | 105460 | 19480 727641 6015686 | 2147483647 80200 32 | 5.154 % |
505.78/506.17 c | 105607 | 19468 723738 5920168 | 2147483647 78353 32 | 5.154 % |
506.08/506.49 c | 105767 | 19468 723738 5920168 | 2147483647 78513 32 | 5.154 % |
506.37/506.78 c | 105944 | 19468 723738 5920168 | 2147483647 78690 32 | 5.154 % |
506.68/507.07 c | 106139 | 19468 723738 5920168 | 2147483647 78885 32 | 5.154 % |
507.17/507.52 c | 106353 | 19468 723738 5920168 | 2147483647 79099 33 | 5.154 % |
507.47/507.86 c | 106586 | 19468 723738 5920168 | 2147483647 79332 33 | 5.154 % |
507.78/508.19 c | 106842 | 19468 723738 5920168 | 2147483647 79588 33 | 5.154 % |
508.27/508.69 c | 107123 | 19468 723738 5920168 | 2147483647 79869 33 | 5.154 % |
508.77/509.18 c | 107433 | 19468 723738 5920168 | 2147483647 80179 33 | 5.155 % |
509.37/509.72 c | 107772 | 19468 723738 5920168 | 2147483647 80518 33 | 5.155 % |
509.77/510.14 c | 108144 | 19468 723738 5920168 | 2147483647 80890 33 | 5.154 % |
510.67/511.06 c | 108553 | 19468 723738 5920168 | 2147483647 81299 33 | 5.154 % |
511.27/511.66 c | 109003 | 19468 723738 5920168 | 2147483647 81749 33 | 5.155 % |
511.97/512.33 c | 109498 | 19437 723738 5920168 | 2147483647 82232 33 | 5.340 % |
512.47/512.84 c | 110040 | 19427 723738 5920168 | 2147483647 82772 33 | 5.364 % |
513.37/513.73 c | 110636 | 19417 723738 5920168 | 2147483647 83364 33 | 5.432 % |
514.27/514.61 c | 111291 | 19417 723738 5920168 | 2147483647 84019 33 | 5.432 % |
515.07/515.45 c | 112013 | 19417 723738 5920168 | 2147483647 84741 33 | 5.432 % |
516.37/516.77 c | 112805 | 19410 723738 5920168 | 2147483647 85531 33 | 5.466 % |
517.36/517.72 c | 113678 | 19410 723738 5920168 | 2147483647 86404 32 | 5.466 % |
518.96/519.30 c | 114636 | 19405 723738 5920168 | 2147483647 87359 32 | 5.491 % |
520.36/520.75 c | 115689 | 19405 723738 5920168 | 2147483647 88412 32 | 5.491 % |
521.27/521.64 c | 116849 | 19405 723738 5920168 | 2147483647 89572 32 | 5.491 % |
522.87/523.21 c | 118122 | 19399 720973 5859516 | 2147483647 89194 32 | 5.491 % |
522.97/523.39 c | 118223 | 19399 720973 5859516 | 2147483647 89295 32 | 5.491 % |
523.17/523.57 c | 118333 | 19399 720973 5859516 | 2147483647 89405 32 | 5.491 % |
523.37/523.76 c | 118455 | 19399 720973 5859516 | 2147483647 89527 32 | 5.491 % |
523.57/523.95 c | 118589 | 19399 720973 5859516 | 2147483647 89661 32 | 5.491 % |
523.77/524.19 c | 118737 | 19398 720973 5859516 | 2147483647 89808 32 | 5.495 % |
524.07/524.46 c | 118897 | 19398 720973 5859516 | 2147483647 89968 32 | 5.495 % |
524.37/524.79 c | 119074 | 19398 720973 5859516 | 2147483647 90145 32 | 5.495 % |
524.66/525.04 c | 119269 | 19398 720973 5859516 | 2147483647 90340 32 | 5.495 % |
524.96/525.39 c | 119482 | 19398 720973 5859516 | 2147483647 90553 32 | 5.496 % |
525.26/525.64 c | 119715 | 19398 720973 5859516 | 2147483647 90786 32 | 5.495 % |
525.66/526.06 c | 119972 | 19389 720973 5859516 | 2147483647 91042 32 | 5.549 % |
525.96/526.36 c | 120254 | 19389 720973 5859516 | 2147483647 91324 32 | 5.549 % |
526.66/527.04 c | 120564 | 19389 720973 5859516 | 2147483647 91634 32 | 5.549 % |
527.06/527.49 c | 120903 | 19383 720973 5859516 | 2147483647 91971 32 | 5.578 % |
527.57/527.90 c | 121275 | 19383 720973 5859516 | 2147483647 92343 32 | 5.578 % |
528.16/528.51 c | 121684 | 19383 720973 5859516 | 2147483647 92752 32 | 5.578 % |
529.46/529.83 c | 122133 | 19383 720973 5859516 | 2147483647 93201 32 | 5.578 % |
530.26/530.65 c | 122626 | 19383 720973 5859516 | 2147483647 93694 32 | 5.578 % |
531.16/531.51 c | 123169 | 19382 720973 5859516 | 2147483647 94236 32 | 5.588 % |
532.26/532.69 c | 123765 | 19382 720973 5859516 | 2147483647 94832 32 | 5.588 % |
533.46/533.83 c | 124420 | 19382 720973 5859516 | 2147483647 95487 32 | 5.588 % |
534.26/534.62 c | 125140 | 19382 720973 5859516 | 2147483647 96207 32 | 5.588 % |
535.86/536.23 c | 125932 | 19382 720973 5859516 | 2147483647 96999 32 | 5.588 % |
537.16/537.59 c | 126803 | 19382 720973 5859516 | 2147483647 97870 33 | 5.588 % |
539.26/539.60 c | 127761 | 19381 720973 5859516 | 2147483647 98827 33 | 5.593 % |
540.76/541.12 c | 128814 | 19378 720165 5841579 | 2147483647 99591 33 | 5.593 % |
543.25/543.65 c | 129973 | 19378 720165 5841579 | 2147483647 100750 33 | 5.593 % |
544.55/544.95 c | 131246 | 19378 720165 5841579 | 2147483647 102023 33 | 5.593 % |
545.55/545.90 c | 132646 | 19378 720165 5841579 | 2147483647 103423 33 | 5.593 % |
545.75/546.15 c | 132746 | 19378 720165 5841579 | 2147483647 103523 33 | 5.593 % |
545.95/546.30 c | 132856 | 19378 720165 5841579 | 2147483647 103633 33 | 5.593 % |
546.15/546.56 c | 132978 | 19378 720165 5841579 | 2147483647 103755 33 | 5.593 % |
546.26/546.69 c | 133113 | 19378 720165 5841579 | 2147483647 103890 33 | 5.593 % |
546.45/546.88 c | 133260 | 19378 720165 5841579 | 2147483647 104037 33 | 5.593 % |
546.85/547.29 c | 133421 | 19378 720165 5841579 | 2147483647 104198 33 | 5.593 % |
547.35/547.72 c | 133597 | 19378 720165 5841579 | 2147483647 104374 33 | 5.593 % |
547.55/547.95 c | 133791 | 19378 720165 5841579 | 2147483647 104568 33 | 5.593 % |
548.05/548.42 c | 134004 | 19378 720165 5841579 | 2147483647 104781 33 | 5.593 % |
548.35/548.73 c | 134237 | 19378 720165 5841579 | 2147483647 105014 33 | 5.593 % |
548.75/549.18 c | 134496 | 19378 720165 5841579 | 2147483647 105273 33 | 5.593 % |
549.15/549.51 c | 134778 | 19378 720165 5841579 | 2147483647 105555 33 | 5.593 % |
549.45/549.88 c | 135087 | 19378 720165 5841579 | 2147483647 105864 33 | 5.593 % |
550.25/550.67 c | 135426 | 19378 720165 5841579 | 2147483647 106203 33 | 5.593 % |
550.75/551.16 c | 135798 | 19378 720165 5841579 | 2147483647 106575 33 | 5.593 % |
551.65/552.00 c | 136207 | 19378 720165 5841579 | 2147483647 106984 33 | 5.593 % |
552.25/552.63 c | 136656 | 19378 720165 5841579 | 2147483647 107433 33 | 5.593 % |
552.95/553.37 c | 137150 | 19378 720165 5841579 | 2147483647 107927 33 | 5.593 % |
553.95/554.32 c | 137693 | 19378 720165 5841579 | 2147483647 108470 33 | 5.593 % |
554.65/555.02 c | 138291 | 19378 720165 5841579 | 2147483647 109068 33 | 5.593 % |
555.55/555.93 c | 138948 | 19378 720165 5841579 | 2147483647 109725 33 | 5.593 % |
556.25/556.64 c | 139670 | 19378 720165 5841579 | 2147483647 110447 32 | 5.593 % |
556.75/557.18 c | 140463 | 19378 720165 5841579 | 2147483647 111240 32 | 5.593 % |
557.55/557.99 c | 141334 | 19372 719932 5836235 | 2147483647 111957 32 | 5.622 % |
558.95/559.38 c | 142293 | 19372 719932 5836235 | 2147483647 112916 32 | 5.622 % |
559.95/560.34 c | 143348 | 19372 719932 5836235 | 2147483647 113971 32 | 5.622 % |
561.25/561.66 c | 144506 | 19372 719932 5836235 | 2147483647 115129 32 | 5.622 % |
563.86/564.29 c | 145779 | 19360 719932 5836235 | 2147483647 116394 33 | 5.685 % |
565.65/566.04 c | 147181 | 19360 719932 5836235 | 2147483647 117796 33 | 5.685 % |
568.65/569.05 c | 148721 | 19360 719932 5836235 | 2147483647 119336 33 | 5.685 % |
568.95/569.38 c | 148822 | 19360 719932 5836235 | 2147483647 119437 33 | 5.685 % |
569.35/569.71 c | 148934 | 19360 719932 5836235 | 2147483647 119549 33 | 5.686 % |
569.55/569.96 c | 149055 | 19360 719932 5836235 | 2147483647 119670 33 | 5.685 % |
569.95/570.32 c | 149188 | 19360 719932 5836235 | 2147483647 119803 33 | 5.685 % |
570.25/570.60 c | 149335 | 19360 719932 5836235 | 2147483647 119950 33 | 5.686 % |
570.35/570.77 c | 149497 | 19360 719932 5836235 | 2147483647 120112 33 | 5.686 % |
570.65/571.09 c | 149673 | 19360 719932 5836235 | 2147483647 120288 33 | 5.685 % |
571.25/571.61 c | 149868 | 19360 719932 5836235 | 2147483647 120483 33 | 5.685 % |
571.65/572.04 c | 150081 | 19360 719932 5836235 | 2147483647 120696 33 | 5.685 % |
571.95/572.39 c | 150315 | 19360 719932 5836235 | 2147483647 120930 33 | 5.685 % |
572.45/572.89 c | 150572 | 19360 719932 5836235 | 2147483647 121187 33 | 5.686 % |
572.75/573.18 c | 150853 | 19360 719932 5836235 | 2147483647 121468 33 | 5.685 % |
573.35/573.72 c | 151162 | 19360 719932 5836235 | 2147483647 121777 33 | 5.685 % |
574.05/574.45 c | 151501 | 19360 719932 5836235 | 2147483647 122116 33 | 5.686 % |
574.55/574.92 c | 151873 | 19360 719932 5836235 | 2147483647 122488 33 | 5.685 % |
575.14/575.54 c | 152282 | 19360 719932 5836235 | 2147483647 122897 33 | 5.685 % |
575.84/576.20 c | 152731 | 19359 719332 5822922 | 2147483647 123073 33 | 5.686 % |
576.94/577.36 c | 153224 | 19359 719332 5822922 | 2147483647 123566 34 | 5.686 % |
577.64/578.00 c | 153767 | 19359 719332 5822922 | 2147483647 124109 33 | 5.685 % |
578.15/578.52 c | 154363 | 19359 719332 5822922 | 2147483647 124705 33 | 5.685 % |
578.74/579.13 c | 155019 | 19359 719332 5822922 | 2147483647 125361 33 | 5.685 % |
579.64/580.03 c | 155739 | 19356 719332 5822922 | 2147483647 126080 33 | 5.778 % |
580.64/581.04 c | 156531 | 19356 719332 5822922 | 2147483647 126872 33 | 5.778 % |
581.65/582.07 c | 157402 | 19356 719332 5822922 | 2147483647 127743 33 | 5.778 % |
582.85/583.21 c | 158360 | 19356 719332 5822922 | 2147483647 128701 33 | 5.778 % |
584.65/585.09 c | 159414 | 19356 719332 5822922 | 2147483647 129755 33 | 5.778 % |
586.04/586.45 c | 160573 | 19352 719332 5822922 | 2147483647 130911 33 | 5.802 % |
587.54/587.99 c | 161849 | 19351 719332 5822922 | 2147483647 132187 33 | 5.802 % |
590.34/590.78 c | 163249 | 19351 719332 5822922 | 2147483647 133587 33 | 5.802 % |
591.54/591.99 c | 164789 | 19351 719332 5822922 | 2147483647 135127 33 | 5.802 % |
594.53/594.98 c | 166486 | 19351 719332 5822922 | 2147483647 136824 34 | 5.802 % |
594.83/595.20 c | 166587 | 19335 718316 5798383 | 2147483647 136422 34 | 5.802 % |
595.03/595.43 c | 166697 | 19335 718316 5798383 | 2147483647 136532 34 | 5.802 % |
595.13/595.57 c | 166819 | 19335 718316 5798383 | 2147483647 136654 34 | 5.802 % |
595.33/595.74 c | 166953 | 19335 718316 5798383 | 2147483647 136788 34 | 5.802 % |
595.53/595.94 c | 167099 | 19335 718316 5798383 | 2147483647 136934 34 | 5.802 % |
595.93/596.33 c | 167262 | 19335 718316 5798383 | 2147483647 137097 34 | 5.802 % |
596.13/596.58 c | 167438 | 19335 718316 5798383 | 2147483647 137273 34 | 5.802 % |
596.53/596.92 c | 167631 | 19335 718316 5798383 | 2147483647 137466 34 | 5.802 % |
596.84/597.25 c | 167844 | 19335 718316 5798383 | 2147483647 137679 34 | 5.802 % |
597.23/597.62 c | 168077 | 19335 718316 5798383 | 2147483647 137912 34 | 5.802 % |
597.63/598.03 c | 168334 | 19335 718316 5798383 | 2147483647 138169 34 | 5.802 % |
597.95/598.40 c | 168615 | 19335 718316 5798383 | 2147483647 138450 34 | 5.802 % |
598.74/599.14 c | 168925 | 19335 718316 5798383 | 2147483647 138760 34 | 5.802 % |
599.04/599.50 c | 169265 | 19335 718316 5798383 | 2147483647 139100 34 | 5.802 % |
599.84/600.27 c | 169637 | 19335 718316 5798383 | 2147483647 139472 34 | 5.802 % |
600.34/600.79 c | 170046 | 19335 718316 5798383 | 2147483647 139881 34 | 5.802 % |
601.14/601.55 c | 170495 | 19334 718316 5798383 | 2147483647 140329 34 | 5.807 % |
601.54/601.93 c | 170989 | 19334 718316 5798383 | 2147483647 140823 34 | 5.807 % |
602.44/602.84 c | 171531 | 19334 718316 5798383 | 2147483647 141365 34 | 5.807 % |
602.94/603.38 c | 172127 | 19334 718316 5798383 | 2147483647 141961 34 | 5.807 % |
604.24/604.64 c | 172783 | 19334 718316 5798383 | 2147483647 142617 34 | 5.807 % |
605.13/605.58 c | 173503 | 19334 718316 5798383 | 2147483647 143337 34 | 5.807 % |
606.13/606.58 c | 174295 | 19333 718316 5798383 | 2147483647 144128 34 | 5.812 % |
607.23/607.62 c | 175166 | 19333 718316 5798383 | 2147483647 144999 34 | 5.812 % |
609.04/609.48 c | 176125 | 19333 718316 5798383 | 2147483647 145958 34 | 5.812 % |
610.43/610.82 c | 177181 | 19333 718316 5798383 | 2147483647 147014 34 | 5.812 % |
612.13/612.55 c | 178342 | 19333 718316 5798383 | 2147483647 148175 34 | 5.812 % |
613.63/614.05 c | 179615 | 19333 718316 5798383 | 2147483647 149448 33 | 5.812 % |
615.13/615.59 c | 181015 | 19333 718316 5798383 | 2147483647 150848 33 | 5.812 % |
616.83/617.27 c | 182555 | 19331 718212 5795629 | 2147483647 152360 33 | 5.822 % |
618.73/619.13 c | 184249 | 19331 718212 5795629 | 2147483647 154054 33 | 5.822 % |
621.03/621.41 c | 186112 | 19310 718212 5795629 | 2147483647 155910 33 | 5.934 % |
621.33/621.73 c | 186213 | 19310 718212 5795629 | 2147483647 156011 33 | 5.934 % |
621.53/622.00 c | 186323 | 19310 718212 5795629 | 2147483647 156121 33 | 5.934 % |
621.83/622.24 c | 186446 | 19310 718212 5795629 | 2147483647 156244 33 | 5.934 % |
622.03/622.48 c | 186579 | 19310 718212 5795629 | 2147483647 156377 33 | 5.934 % |
622.33/622.79 c | 186725 | 19310 718212 5795629 | 2147483647 156523 33 | 5.934 % |
622.73/623.11 c | 186887 | 19310 718212 5795629 | 2147483647 156685 33 | 5.934 % |
623.03/623.43 c | 187065 | 19310 718212 5795629 | 2147483647 156863 33 | 5.934 % |
623.23/623.68 c | 187258 | 19310 718212 5795629 | 2147483647 157056 33 | 5.934 % |
623.53/623.96 c | 187470 | 19308 718212 5795629 | 2147483647 157267 33 | 5.944 % |
623.93/624.31 c | 187705 | 19308 718212 5795629 | 2147483647 157502 33 | 5.944 % |
624.33/624.73 c | 187962 | 19304 718212 5795629 | 2147483647 157757 33 | 5.963 % |
624.73/625.19 c | 188243 | 19304 718212 5795629 | 2147483647 158038 33 | 5.963 % |
625.23/625.63 c | 188554 | 19304 718212 5795629 | 2147483647 158349 33 | 5.963 % |
625.83/626.22 c | 188893 | 19301 718212 5795629 | 2147483647 158686 33 | 5.978 % |
626.43/626.81 c | 189267 | 19301 718212 5795629 | 2147483647 159060 33 | 5.978 % |
627.33/627.77 c | 189677 | 19301 718212 5795629 | 2147483647 159470 33 | 5.978 % |
627.93/628.30 c | 190127 | 19301 718212 5795629 | 2147483647 159920 33 | 5.978 % |
628.83/629.27 c | 190623 | 19301 718212 5795629 | 2147483647 160416 33 | 5.978 % |
629.83/630.29 c | 191165 | 19301 718212 5795629 | 2147483647 160958 33 | 5.978 % |
630.53/630.91 c | 191762 | 19301 718212 5795629 | 2147483647 161555 33 | 5.978 % |
631.53/631.99 c | 192418 | 19301 718212 5795629 | 2147483647 162211 33 | 5.978 % |
632.83/633.23 c | 193138 | 19301 718212 5795629 | 2147483647 162931 33 | 5.978 % |
633.83/634.28 c | 193931 | 19301 718212 5795629 | 2147483647 163724 33 | 5.978 % |
635.03/635.47 c | 194804 | 19301 718212 5795629 | 2147483647 164597 33 | 5.978 % |
636.43/636.88 c | 195763 | 19301 718212 5795629 | 2147483647 165556 33 | 5.978 % |
637.92/638.39 c | 196818 | 19299 716702 5759436 | 2147483647 165881 33 | 5.978 % |
639.22/639.68 c | 197976 | 19299 716702 5759436 | 2147483647 167039 33 | 5.978 % |
640.62/641.00 c | 199249 | 19299 716702 5759436 | 2147483647 168312 32 | 5.978 % |
642.62/643.09 c | 200650 | 19299 716702 5759436 | 2147483647 169713 32 | 5.978 % |
644.13/644.53 c | 202191 | 19299 716702 5759436 | 2147483647 171254 32 | 5.978 % |
646.33/646.79 c | 203885 | 19299 716702 5759436 | 2147483647 172948 33 | 5.978 % |
648.72/649.13 c | 205749 | 19299 716702 5759436 | 2147483647 174812 32 | 5.978 % |
651.22/651.70 c | 207799 | 19299 716702 5759436 | 2147483647 176862 32 | 5.978 % |
651.42/651.88 c | 207899 | 19299 716702 5759436 | 2147483647 176962 32 | 5.978 % |
651.62/652.04 c | 208009 | 19299 716702 5759436 | 2147483647 177072 32 | 5.978 % |
651.83/652.27 c | 208130 | 19299 716702 5759436 | 2147483647 177193 32 | 5.978 % |
652.12/652.56 c | 208264 | 19299 716702 5759436 | 2147483647 177327 32 | 5.978 % |
652.42/652.85 c | 208410 | 19299 716702 5759436 | 2147483647 177473 32 | 5.978 % |
652.72/653.13 c | 208571 | 19299 716702 5759436 | 2147483647 177634 32 | 5.978 % |
652.93/653.36 c | 208748 | 19296 716702 5759436 | 2147483647 177810 32 | 5.997 % |
653.22/653.67 c | 208942 | 19296 716702 5759436 | 2147483647 178004 32 | 5.997 % |
653.62/654.01 c | 209156 | 19296 716702 5759436 | 2147483647 178218 32 | 5.997 % |
654.13/654.57 c | 209391 | 19296 716702 5759436 | 2147483647 178453 32 | 5.997 % |
654.62/655.04 c | 209647 | 19296 716702 5759436 | 2147483647 178709 32 | 5.997 % |
655.13/655.58 c | 209928 | 19296 716702 5759436 | 2147483647 178990 32 | 5.997 % |
655.62/656.01 c | 210237 | 19296 716702 5759436 | 2147483647 179299 32 | 5.997 % |
656.02/656.43 c | 210576 | 19296 716702 5759436 | 2147483647 179638 32 | 5.997 % |
657.02/657.41 c | 210948 | 19296 716702 5759436 | 2147483647 180010 32 | 5.997 % |
657.62/658.03 c | 211357 | 19296 716702 5759436 | 2147483647 180419 32 | 5.997 % |
658.22/658.69 c | 211806 | 19296 716702 5759436 | 2147483647 180868 32 | 5.997 % |
659.72/660.12 c | 212301 | 19295 716550 5756624 | 2147483647 181318 32 | 5.997 % |
660.22/660.68 c | 212846 | 19295 716550 5756624 | 2147483647 181863 32 | 5.997 % |
661.32/661.73 c | 213442 | 19295 716550 5756624 | 2147483647 182459 32 | 5.997 % |
662.82/663.21 c | 214097 | 19295 716550 5756624 | 2147483647 183114 32 | 5.997 % |
663.81/664.20 c | 214818 | 19295 716550 5756624 | 2147483647 183835 32 | 5.997 % |
665.61/666.02 c | 215613 | 19295 716550 5756624 | 2147483647 184630 32 | 5.997 % |
667.41/667.85 c | 216484 | 19295 716550 5756624 | 2147483647 185501 33 | 5.997 % |
668.61/669.01 c | 217444 | 19295 716550 5756624 | 2147483647 186461 33 | 5.997 % |
670.80/671.28 c | 218497 | 19295 716550 5756624 | 2147483647 187514 33 | 5.997 % |
672.30/672.70 c | 219656 | 19295 716550 5756624 | 2147483647 188673 33 | 5.997 % |
673.91/674.37 c | 220930 | 19295 716550 5756624 | 2147483647 189947 33 | 5.997 % |
675.40/675.87 c | 222333 | 19295 716550 5756624 | 2147483647 191350 32 | 5.997 % |
677.00/677.45 c | 223873 | 19295 716550 5756624 | 2147483647 192890 32 | 5.997 % |
678.10/678.59 c | 225568 | 19295 716550 5756624 | 2147483647 194585 32 | 5.997 % |
681.31/681.79 c | 227433 | 19295 716550 5756624 | 2147483647 196450 32 | 5.997 % |
684.31/684.73 c | 229483 | 19295 716550 5756624 | 2147483647 198500 33 | 5.997 % |
687.11/687.53 c | 231736 | 19295 716550 5756624 | 2147483647 200753 33 | 5.997 % |
687.30/687.71 c | 231837 | 19295 716550 5756624 | 2147483647 200854 33 | 5.997 % |
687.50/687.92 c | 231950 | 19295 716550 5756624 | 2147483647 200967 33 | 5.997 % |
687.80/688.20 c | 232071 | 19295 716550 5756624 | 2147483647 201088 33 | 5.997 % |
688.11/688.51 c | 232205 | 19287 716254 5749548 | 2147483647 201061 33 | 6.036 % |
688.30/688.79 c | 232351 | 19287 716254 5749548 | 2147483647 201207 32 | 6.036 % |
688.70/689.10 c | 232511 | 19287 716254 5749548 | 2147483647 201367 32 | 6.036 % |
689.10/689.50 c | 232688 | 19287 716254 5749548 | 2147483647 201544 32 | 6.036 % |
689.40/689.89 c | 232884 | 19287 716254 5749548 | 2147483647 201740 32 | 6.036 % |
689.90/690.37 c | 233096 | 19287 716254 5749548 | 2147483647 201952 32 | 6.036 % |
690.41/690.87 c | 233329 | 19287 716254 5749548 | 2147483647 202185 32 | 6.036 % |
690.60/691.02 c | 233585 | 19287 716254 5749548 | 2147483647 202441 32 | 6.036 % |
691.00/691.48 c | 233867 | 19282 716254 5749548 | 2147483647 202721 32 | 6.070 % |
691.90/692.37 c | 234176 | 19282 716254 5749548 | 2147483647 203030 32 | 6.070 % |
692.51/692.94 c | 234516 | 19282 716254 5749548 | 2147483647 203370 32 | 6.070 % |
693.00/693.49 c | 234888 | 19282 716254 5749548 | 2147483647 203742 32 | 6.070 % |
693.50/693.91 c | 235297 | 19282 716254 5749548 | 2147483647 204151 32 | 6.070 % |
694.20/694.67 c | 235746 | 19282 716254 5749548 | 2147483647 204600 32 | 6.070 % |
694.60/695.09 c | 236239 | 19282 716254 5749548 | 2147483647 205093 32 | 6.070 % |
695.50/695.90 c | 236782 | 19282 716254 5749548 | 2147483647 205636 32 | 6.070 % |
696.20/696.60 c | 237378 | 19282 716254 5749548 | 2147483647 206232 32 | 6.070 % |
696.80/697.30 c | 238033 | 19282 716254 5749548 | 2147483647 206887 32 | 6.070 % |
698.00/698.50 c | 238753 | 19282 716254 5749548 | 2147483647 207607 32 | 6.070 % |
699.40/699.84 c | 239545 | 19282 716254 5749548 | 2147483647 208399 32 | 6.070 % |
700.39/700.89 c | 240417 | 19279 716254 5749548 | 2147483647 209270 32 | 6.085 % |
701.59/702.09 c | 241375 | 19279 716254 5749548 | 2147483647 210228 32 | 6.085 % |
703.80/704.27 c | 242428 | 19279 716254 5749548 | 2147483647 211281 32 | 6.085 % |
705.10/705.54 c | 243587 | 19279 716254 5749548 | 2147483647 212440 32 | 6.085 % |
706.50/706.95 c | 244860 | 19279 716254 5749548 | 2147483647 213713 32 | 6.085 % |
708.30/708.74 c | 246260 | 19279 716254 5749548 | 2147483647 215113 32 | 6.085 % |
709.70/710.15 c | 247801 | 19279 716254 5749548 | 2147483647 216654 32 | 6.085 % |
712.70/713.10 c | 249495 | 19279 716254 5749548 | 2147483647 218348 32 | 6.085 % |
715.49/715.98 c | 251359 | 19277 715774 5737737 | 2147483647 220076 32 | 6.085 % |
719.09/719.53 c | 253409 | 19277 715774 5737737 | 2147483647 222126 32 | 6.085 % |
721.39/721.83 c | 255664 | 19277 715774 5737737 | 2147483647 224381 32 | 6.085 % |
724.29/724.72 c | 258142 | 19277 715774 5737737 | 2147483647 226859 32 | 6.085 % |
724.59/725.02 c | 258242 | 19277 715774 5737737 | 2147483647 226959 32 | 6.085 % |
724.79/725.21 c | 258352 | 19277 715774 5737737 | 2147483647 227069 32 | 6.085 % |
724.99/725.42 c | 258473 | 19277 715774 5737737 | 2147483647 227190 32 | 6.085 % |
725.19/725.66 c | 258607 | 19277 715774 5737737 | 2147483647 227324 32 | 6.085 % |
725.39/725.85 c | 258754 | 19277 715774 5737737 | 2147483647 227471 32 | 6.085 % |
725.59/726.03 c | 258915 | 19277 715774 5737737 | 2147483647 227632 32 | 6.085 % |
725.79/726.25 c | 259092 | 19277 715774 5737737 | 2147483647 227809 32 | 6.085 % |
726.09/726.55 c | 259285 | 19273 715774 5737737 | 2147483647 228000 32 | 6.173 % |
726.48/726.99 c | 259499 | 19273 715774 5737737 | 2147483647 228214 32 | 6.173 % |
726.98/727.40 c | 259732 | 19273 715774 5737737 | 2147483647 228447 32 | 6.173 % |
727.28/727.74 c | 259988 | 19273 715774 5737737 | 2147483647 228703 32 | 6.173 % |
727.98/728.46 c | 260269 | 19273 715774 5737737 | 2147483647 228984 32 | 6.173 % |
728.58/729.04 c | 260578 | 19273 715774 5737737 | 2147483647 229293 32 | 6.173 % |
729.08/729.59 c | 260918 | 19272 715774 5737737 | 2147483647 229632 32 | 6.236 % |
730.28/730.74 c | 261290 | 19272 715774 5737737 | 2147483647 230004 32 | 6.236 % |
730.89/731.34 c | 261700 | 19272 715774 5737737 | 2147483647 230414 32 | 6.236 % |
731.49/731.99 c | 262149 | 19272 715774 5737737 | 2147483647 230863 32 | 6.236 % |
732.59/733.02 c | 262642 | 19272 715774 5737737 | 2147483647 231356 32 | 6.236 % |
733.99/734.43 c | 263184 | 19272 715774 5737737 | 2147483647 231898 32 | 6.236 % |
734.59/735.10 c | 263780 | 19272 715774 5737737 | 2147483647 232494 32 | 6.236 % |
735.69/736.10 c | 264436 | 19272 715774 5737737 | 2147483647 233150 32 | 6.236 % |
737.69/738.13 c | 265158 | 19272 715774 5737737 | 2147483647 233872 32 | 6.236 % |
739.48/739.95 c | 265950 | 19272 715774 5737737 | 2147483647 234664 32 | 6.236 % |
742.28/742.74 c | 266822 | 19246 714291 5701344 | 2147483647 235069 32 | 6.236 % |
743.88/744.32 c | 267780 | 19246 714291 5701344 | 2147483647 236027 32 | 6.236 % |
747.28/747.71 c | 268834 | 19246 714291 5701344 | 2147483647 237081 32 | 6.236 % |
748.78/749.27 c | 269995 | 19246 714291 5701344 | 2147483647 238242 32 | 6.236 % |
750.69/751.15 c | 271269 | 19246 714291 5701344 | 2147483647 239516 32 | 6.236 % |
752.88/753.36 c | 272669 | 19246 714291 5701344 | 2147483647 240916 32 | 6.236 % |
755.48/755.92 c | 274209 | 19246 714291 5701344 | 2147483647 242456 32 | 6.236 % |
757.08/757.56 c | 275904 | 19246 714291 5701344 | 2147483647 244151 32 | 6.236 % |
760.78/761.24 c | 277769 | 19246 714291 5701344 | 2147483647 246016 32 | 6.236 % |
762.98/763.42 c | 279819 | 19246 714291 5701344 | 2147483647 248066 32 | 6.236 % |
765.28/765.71 c | 282072 | 19239 714291 5701344 | 2147483647 250318 32 | 6.275 % |
768.77/769.21 c | 284550 | 19232 714291 5701344 | 2147483647 252794 32 | 6.338 % |
774.28/774.78 c | 287277 | 19220 713551 5684785 | 2147483647 255235 33 | 6.363 % |
774.58/775.05 c | 287379 | 19220 713551 5684785 | 2147483647 255337 33 | 6.363 % |
774.88/775.33 c | 287489 | 19220 713551 5684785 | 2147483647 255447 33 | 6.363 % |
775.18/775.61 c | 287610 | 19220 713551 5684785 | 2147483647 255568 33 | 6.363 % |
775.48/775.95 c | 287744 | 19220 713551 5684785 | 2147483647 255702 33 | 6.363 % |
775.68/776.19 c | 287890 | 19220 713551 5684785 | 2147483647 255848 33 | 6.363 % |
776.28/776.79 c | 288051 | 19220 713551 5684785 | 2147483647 256009 33 | 6.363 % |
776.58/777.07 c | 288227 | 19220 713551 5684785 | 2147483647 256185 33 | 6.363 % |
777.08/777.54 c | 288420 | 19220 713551 5684785 | 2147483647 256378 33 | 6.363 % |
777.68/778.15 c | 288632 | 19220 713551 5684785 | 2147483647 256590 33 | 6.363 % |
778.18/778.69 c | 288865 | 19220 713551 5684785 | 2147483647 256823 33 | 6.363 % |
778.78/779.29 c | 289122 | 19220 713551 5684785 | 2147483647 257080 33 | 6.363 % |
779.28/779.72 c | 289404 | 19220 713551 5684785 | 2147483647 257362 33 | 6.363 % |
779.78/780.22 c | 289714 | 19220 713551 5684785 | 2147483647 257672 33 | 6.363 % |
780.58/781.02 c | 290053 | 19220 713551 5684785 | 2147483647 258011 33 | 6.363 % |
781.07/781.52 c | 290426 | 19220 713551 5684785 | 2147483647 258384 33 | 6.363 % |
781.58/782.01 c | 290836 | 19220 713551 5684785 | 2147483647 258794 33 | 6.363 % |
782.17/782.66 c | 291286 | 19220 713551 5684785 | 2147483647 259244 33 | 6.363 % |
783.07/783.51 c | 291780 | 19220 713551 5684785 | 2147483647 259738 33 | 6.363 % |
783.67/784.16 c | 292322 | 19220 713551 5684785 | 2147483647 260280 33 | 6.363 % |
785.17/785.63 c | 292919 | 19220 713551 5684785 | 2147483647 260877 33 | 6.363 % |
786.87/787.31 c | 293574 | 19220 713551 5684785 | 2147483647 261532 33 | 6.363 % |
787.57/788.03 c | 294294 | 19219 713551 5684785 | 2147483647 262251 33 | 6.368 % |
788.77/789.20 c | 295086 | 19219 713551 5684785 | 2147483647 263043 33 | 6.368 % |
789.77/790.21 c | 295957 | 19219 713551 5684785 | 2147483647 263914 33 | 6.368 % |
792.37/792.88 c | 296917 | 19219 713551 5684785 | 2147483647 264874 33 | 6.368 % |
794.57/795.03 c | 297970 | 19219 713551 5684785 | 2147483647 265927 33 | 6.368 % |
795.97/796.43 c | 299128 | 19219 713551 5684785 | 2147483647 267085 33 | 6.368 % |
797.27/797.76 c | 300401 | 19219 713551 5684785 | 2147483647 268358 33 | 6.368 % |
799.57/800.08 c | 301801 | 19219 713551 5684785 | 2147483647 269758 33 | 6.368 % |
803.96/804.45 c | 303341 | 19219 713551 5684785 | 2147483647 271298 34 | 6.368 % |
807.16/807.67 c | 305035 | 19219 713280 5677845 | 2147483647 272912 34 | 6.368 % |
809.67/810.12 c | 306900 | 19219 713280 5677845 | 2147483647 274777 34 | 6.368 % |
813.87/814.37 c | 308951 | 19219 713280 5677845 | 2147483647 276828 34 | 6.368 % |
815.87/816.39 c | 311204 | 19219 713280 5677845 | 2147483647 279081 34 | 6.368 % |
818.66/819.19 c | 313682 | 19219 713280 5677845 | 2147483647 281559 34 | 6.368 % |
822.66/823.16 c | 316408 | 19219 713280 5677845 | 2147483647 284285 34 | 6.368 % |
826.76/827.29 c | 319405 | 19219 713280 5677845 | 2147483647 287282 34 | 6.368 % |
826.96/827.47 c | 319507 | 19219 713280 5677845 | 2147483647 287384 34 | 6.368 % |
827.26/827.71 c | 319618 | 19219 713280 5677845 | 2147483647 287495 34 | 6.368 % |
827.46/827.96 c | 319740 | 19219 713280 5677845 | 2147483647 287617 34 | 6.368 % |
827.66/828.17 c | 319874 | 19219 713280 5677845 | 2147483647 287751 34 | 6.368 % |
827.96/828.40 c | 320021 | 19219 713280 5677845 | 2147483647 287898 34 | 6.368 % |
828.26/828.71 c | 320181 | 19219 713280 5677845 | 2147483647 288058 34 | 6.368 % |
828.96/829.44 c | 320359 | 19219 713280 5677845 | 2147483647 288236 34 | 6.368 % |
829.26/829.70 c | 320552 | 19219 713280 5677845 | 2147483647 288429 34 | 6.368 % |
829.56/830.05 c | 320764 | 19212 713280 5677845 | 2147483647 288637 34 | 6.402 % |
830.26/830.75 c | 320997 | 19212 713280 5677845 | 2147483647 288870 34 | 6.402 % |
830.76/831.20 c | 321254 | 19202 713280 5677845 | 2147483647 289125 34 | 6.450 % |
831.26/831.78 c | 321538 | 19202 713280 5677845 | 2147483647 289409 34 | 6.450 % |
831.85/832.34 c | 321847 | 19202 713280 5677845 | 2147483647 289718 34 | 6.450 % |
832.35/832.84 c | 322186 | 19202 713280 5677845 | 2147483647 290057 34 | 6.450 % |
833.26/833.72 c | 322558 | 19202 713280 5677845 | 2147483647 290429 34 | 6.450 % |
833.95/834.44 c | 322969 | 19202 713280 5677845 | 2147483647 290840 34 | 6.450 % |
834.75/835.28 c | 323419 | 19202 713280 5677845 | 2147483647 291290 34 | 6.450 % |
835.35/835.82 c | 323913 | 19202 713280 5677845 | 2147483647 291784 34 | 6.450 % |
836.35/836.83 c | 324456 | 19202 713280 5677845 | 2147483647 292327 34 | 6.450 % |
837.05/837.58 c | 325054 | 19202 713280 5677845 | 2147483647 292925 34 | 6.450 % |
837.95/838.40 c | 325710 | 19202 713280 5677845 | 2147483647 293581 34 | 6.450 % |
838.95/839.49 c | 326431 | 19202 712497 5658064 | 2147483647 294053 34 | 6.450 % |
840.45/840.91 c | 327224 | 19202 712497 5658064 | 2147483647 294846 34 | 6.450 % |
841.86/842.36 c | 328095 | 19202 712497 5658064 | 2147483647 295717 34 | 6.450 % |
843.66/844.18 c | 329053 | 19202 712497 5658064 | 2147483647 296675 34 | 6.450 % |
845.65/846.19 c | 330108 | 19188 712497 5658064 | 2147483647 297728 34 | 6.538 % |
847.56/848.03 c | 331267 | 19188 712497 5658064 | 2147483647 298887 34 | 6.538 % |
849.25/849.77 c | 332540 | 19188 712497 5658064 | 2147483647 300160 34 | 6.538 % |
850.45/850.99 c | 333940 | 19188 712497 5658064 | 2147483647 301560 34 | 6.538 % |
852.55/853.08 c | 335480 | 19188 712497 5658064 | 2147483647 303100 34 | 6.538 % |
855.65/856.18 c | 337174 | 19188 712497 5658064 | 2147483647 304794 34 | 6.538 % |
857.15/857.65 c | 339037 | 19188 712497 5658064 | 2147483647 306657 33 | 6.538 % |
859.55/860.07 c | 341086 | 19188 712497 5658064 | 2147483647 308705 33 | 6.548 % |
861.95/862.47 c | 343341 | 19186 712497 5658064 | 2147483647 310960 33 | 6.548 % |
864.54/865.09 c | 345821 | 19186 712497 5658064 | 2147483647 313440 33 | 6.548 % |
873.64/874.18 c | 348546 | 19185 712497 5658064 | 2147483647 316164 34 | 6.553 % |
878.74/879.21 c | 351544 | 19181 711548 5634605 | 2147483647 318846 34 | 6.553 % |
883.64/884.16 c | 354840 | 19181 711548 5634605 | 2147483647 322142 34 | 6.553 % |
883.74/884.29 c | 354941 | 19181 711548 5634605 | 2147483647 322243 34 | 6.553 % |
884.03/884.55 c | 355052 | 19181 711548 5634605 | 2147483647 322354 34 | 6.553 % |
884.33/884.80 c | 355173 | 19181 711548 5634605 | 2147483647 322475 34 | 6.553 % |
884.53/885.02 c | 355306 | 19181 711548 5634605 | 2147483647 322608 34 | 6.553 % |
884.73/885.29 c | 355453 | 19181 711548 5634605 | 2147483647 322755 34 | 6.553 % |
885.04/885.53 c | 355614 | 19181 711548 5634605 | 2147483647 322916 34 | 6.553 % |
885.33/885.81 c | 355790 | 19181 711548 5634605 | 2147483647 323092 34 | 6.553 % |
885.63/886.10 c | 355983 | 19181 711548 5634605 | 2147483647 323285 34 | 6.553 % |
885.93/886.41 c | 356195 | 19181 711548 5634605 | 2147483647 323497 34 | 6.553 % |
886.23/886.75 c | 356428 | 19181 711548 5634605 | 2147483647 323730 34 | 6.553 % |
886.73/887.26 c | 356686 | 19181 711548 5634605 | 2147483647 323988 34 | 6.553 % |
887.23/887.79 c | 356968 | 19181 711548 5634605 | 2147483647 324270 34 | 6.553 % |
887.73/888.27 c | 357278 | 19181 711548 5634605 | 2147483647 324580 34 | 6.553 % |
888.23/888.75 c | 357617 | 19181 711548 5634605 | 2147483647 324919 34 | 6.553 % |
888.73/889.21 c | 357990 | 19181 711548 5634605 | 2147483647 325292 34 | 6.553 % |
889.23/889.73 c | 358399 | 19181 711548 5634605 | 2147483647 325701 34 | 6.553 % |
889.83/890.36 c | 358848 | 19181 711548 5634605 | 2147483647 326150 34 | 6.553 % |
890.23/890.78 c | 359341 | 19181 711548 5634605 | 2147483647 326643 34 | 6.553 % |
890.93/891.44 c | 359883 | 19181 711548 5634605 | 2147483647 327185 34 | 6.553 % |
891.73/892.20 c | 360479 | 19181 711548 5634605 | 2147483647 327781 34 | 6.553 % |
892.43/892.96 c | 361135 | 19181 711548 5634605 | 2147483647 328437 34 | 6.553 % |
893.33/893.89 c | 361856 | 19181 711548 5634605 | 2147483647 329158 34 | 6.553 % |
893.83/894.36 c | 362649 | 19181 711548 5634605 | 2147483647 329951 34 | 6.553 % |
894.54/895.06 c | 363522 | 19181 711548 5634605 | 2147483647 330824 34 | 6.553 % |
895.94/896.47 c | 364480 | 19176 711548 5634605 | 2147483647 331780 34 | 6.592 % |
897.33/897.82 c | 365534 | 19176 711548 5634605 | 2147483647 332834 34 | 6.592 % |
898.53/899.01 c | 366693 | 19174 711548 5634605 | 2147483647 333992 34 | 6.641 % |
900.43/900.94 c | 367966 | 19164 711548 5634605 | 2147483647 335263 34 | 6.699 % |
902.23/902.79 c | 369366 | 19164 711548 5634605 | 2147483647 336663 33 | 6.699 % |
903.73/904.25 c | 370906 | 19164 711548 5634605 | 2147483647 338203 33 | 6.699 % |
905.53/906.04 c | 372602 | 19164 711548 5634605 | 2147483647 339899 33 | 6.699 % |
909.33/909.85 c | 374465 | 19164 711548 5634605 | 2147483647 341762 34 | 6.699 % |
911.83/912.37 c | 376514 | 19151 710135 5600526 | 2147483647 343369 33 | 6.699 % |
916.13/916.68 c | 378767 | 19151 710135 5600526 | 2147483647 345622 33 | 6.699 % |
918.62/919.17 c | 381245 | 19151 710135 5600526 | 2147483647 348100 33 | 6.699 % |
920.92/921.40 c | 383971 | 19151 710135 5600526 | 2147483647 350826 33 | 6.699 % |
924.52/925.04 c | 386968 | 19151 710135 5600526 | 2147483647 353823 33 | 6.699 % |
931.42/931.95 c | 390264 | 19149 710135 5600526 | 2147483647 357118 33 | 6.709 % |
937.72/938.28 c | 393889 | 19149 710135 5600526 | 2147483647 360743 33 | 6.709 % |
937.92/938.48 c | 393990 | 19149 710135 5600526 | 2147483647 360844 33 | 6.709 % |
938.12/938.67 c | 394101 | 19149 710135 5600526 | 2147483647 360955 33 | 6.709 % |
938.42/938.94 c | 394223 | 19149 710135 5600526 | 2147483647 361077 33 | 6.709 % |
938.72/939.23 c | 394358 | 19149 710135 5600526 | 2147483647 361212 33 | 6.709 % |
939.12/939.61 c | 394504 | 19149 710135 5600526 | 2147483647 361358 33 | 6.709 % |
939.42/939.96 c | 394667 | 19142 710135 5600526 | 2147483647 361519 33 | 6.743 % |
939.72/940.29 c | 394843 | 19142 710135 5600526 | 2147483647 361695 33 | 6.743 % |
940.12/940.63 c | 395038 | 19142 710135 5600526 | 2147483647 361890 33 | 6.743 % |
940.42/940.91 c | 395250 | 19142 710135 5600526 | 2147483647 362102 33 | 6.743 % |
940.82/941.31 c | 395483 | 19142 710135 5600526 | 2147483647 362335 33 | 6.743 % |
941.22/941.78 c | 395740 | 19142 710135 5600526 | 2147483647 362592 33 | 6.743 % |
941.72/942.30 c | 396021 | 19142 710135 5600526 | 2147483647 362873 33 | 6.743 % |
942.42/942.97 c | 396331 | 19142 710135 5600526 | 2147483647 363183 33 | 6.743 % |
943.02/943.54 c | 396670 | 19142 710135 5600526 | 2147483647 363522 33 | 6.743 % |
943.62/944.10 c | 397042 | 19142 710135 5600526 | 2147483647 363894 33 | 6.743 % |
944.42/944.98 c | 397451 | 19138 710135 5600526 | 2147483647 364301 33 | 6.762 % |
945.12/945.66 c | 397900 | 19137 710135 5600526 | 2147483647 364749 33 | 6.767 % |
945.92/946.47 c | 398396 | 19137 710135 5600526 | 2147483647 365245 33 | 6.767 % |
946.62/947.19 c | 398938 | 19137 710135 5600526 | 2147483647 365787 33 | 6.767 % |
947.72/948.26 c | 399534 | 19137 710135 5600526 | 2147483647 366383 33 | 6.767 % |
949.12/949.63 c | 400189 | 19137 710135 5600526 | 2147483647 367038 33 | 6.767 % |
950.11/950.67 c | 400910 | 19137 710135 5600526 | 2147483647 367759 33 | 6.767 % |
951.51/952.06 c | 401703 | 19137 709565 5587053 | 2147483647 368185 33 | 6.767 % |
952.61/953.17 c | 402574 | 19137 709565 5587053 | 2147483647 369056 33 | 6.767 % |
954.32/954.85 c | 403534 | 19137 709565 5587053 | 2147483647 370016 33 | 6.767 % |
956.21/956.79 c | 404587 | 19137 709565 5587053 | 2147483647 371069 33 | 6.767 % |
957.71/958.25 c | 405745 | 19137 709565 5587053 | 2147483647 372227 33 | 6.767 % |
959.91/960.48 c | 407018 | 19137 709565 5587053 | 2147483647 373500 33 | 6.767 % |
963.20/963.71 c | 408419 | 19135 709565 5587053 | 2147483647 374899 33 | 6.777 % |
966.00/966.57 c | 409960 | 19135 709565 5587053 | 2147483647 376440 33 | 6.777 % |
969.30/969.84 c | 411655 | 19135 709565 5587053 | 2147483647 378135 33 | 6.777 % |
972.10/972.63 c | 413518 | 19135 709565 5587053 | 2147483647 379998 33 | 6.777 % |
973.70/974.30 c | 415567 | 19135 709565 5587053 | 2147483647 382047 33 | 6.777 % |
975.30/975.89 c | 417820 | 19120 709565 5587053 | 2147483647 384294 33 | 6.860 % |
983.70/984.24 c | 420299 | 19120 709565 5587053 | 2147483647 386773 33 | 6.860 % |
986.50/987.03 c | 423024 | 19120 709565 5587053 | 2147483647 389498 33 | 6.860 % |
990.20/990.76 c | 426022 | 19120 709565 5587053 | 2147483647 392496 33 | 6.860 % |
995.70/996.26 c | 429318 | 19120 709565 5587053 | 2147483647 395792 33 | 6.860 % |
1000.50/1001.09 c | 432944 | 19120 709565 5587053 | 2147483647 399418 33 | 6.860 % |
1006.89/1007.46 c | 436931 | 19118 708685 5565505 | 2147483647 402922 33 | 6.860 % |
1007.10/1007.61 c | 437032 | 19118 708685 5565505 | 2147483647 403023 33 | 6.860 % |
1007.39/1007.92 c | 437142 | 19118 708685 5565505 | 2147483647 403133 33 | 6.860 % |
1007.69/1008.22 c | 437263 | 19118 708685 5565505 | 2147483647 403254 33 | 6.860 % |
1007.89/1008.42 c | 437397 | 19118 708685 5565505 | 2147483647 403388 33 | 6.860 % |
1008.20/1008.72 c | 437544 | 19118 708685 5565505 | 2147483647 403535 33 | 6.860 % |
1008.49/1009.01 c | 437705 | 19118 708685 5565505 | 2147483647 403696 33 | 6.860 % |
1008.79/1009.37 c | 437882 | 19118 708685 5565505 | 2147483647 403873 33 | 6.860 % |
1009.20/1009.77 c | 438075 | 19118 708685 5565505 | 2147483647 404066 33 | 6.860 % |
1009.49/1010.09 c | 438287 | 19118 708685 5565505 | 2147483647 404278 33 | 6.860 % |
1009.89/1010.44 c | 438520 | 19118 708685 5565505 | 2147483647 404511 33 | 6.860 % |
1010.09/1010.67 c | 438777 | 19118 708685 5565505 | 2147483647 404768 33 | 6.860 % |
1010.69/1011.28 c | 439060 | 19118 708685 5565505 | 2147483647 405051 33 | 6.860 % |
1011.19/1011.72 c | 439370 | 19118 708685 5565505 | 2147483647 405361 33 | 6.860 % |
1011.59/1012.11 c | 439711 | 19118 708685 5565505 | 2147483647 405702 33 | 6.860 % |
1011.99/1012.59 c | 440083 | 19118 708685 5565505 | 2147483647 406074 33 | 6.860 % |
1012.50/1013.00 c | 440492 | 19118 708685 5565505 | 2147483647 406483 33 | 6.860 % |
1013.20/1013.78 c | 440941 | 19118 708685 5565505 | 2147483647 406932 33 | 6.860 % |
1014.00/1014.57 c | 441436 | 19118 708685 5565505 | 2147483647 407427 33 | 6.860 % |
1014.60/1015.14 c | 441979 | 19118 708685 5565505 | 2147483647 407970 33 | 6.860 % |
1015.40/1015.91 c | 442575 | 19118 708685 5565505 | 2147483647 408566 33 | 6.860 % |
1016.49/1017.02 c | 443230 | 19118 708685 5565505 | 2147483647 409221 33 | 6.860 % |
1017.59/1018.12 c | 443951 | 19118 708685 5565505 | 2147483647 409942 33 | 6.860 % |
1019.19/1019.73 c | 444744 | 19118 708685 5565505 | 2147483647 410735 33 | 6.860 % |
1020.39/1020.90 c | 445615 | 19118 708685 5565505 | 2147483647 411606 33 | 6.860 % |
1021.69/1022.20 c | 446573 | 19118 708685 5565505 | 2147483647 412564 33 | 6.860 % |
1023.29/1023.82 c | 447627 | 19118 708685 5565505 | 2147483647 413618 33 | 6.860 % |
1025.28/1025.83 c | 448787 | 19118 708685 5565505 | 2147483647 414778 33 | 6.860 % |
1026.38/1026.99 c | 450061 | 19118 708685 5565505 | 2147483647 416052 33 | 6.860 % |
1027.89/1028.50 c | 451461 | 19118 708685 5565505 | 2147483647 417452 33 | 6.860 % |
1030.08/1030.64 c | 453002 | 19118 708685 5565505 | 2147483647 418993 33 | 6.860 % |
1031.68/1032.28 c | 454696 | 19118 708685 5565505 | 2147483647 420687 33 | 6.860 % |
1035.29/1035.83 c | 456560 | 19118 708685 5565505 | 2147483647 422551 33 | 6.860 % |
1036.79/1037.35 c | 458609 | 19118 708685 5565505 | 2147483647 424600 33 | 6.860 % |
1038.99/1039.55 c | 460864 | 19118 708685 5565505 | 2147483647 426855 33 | 6.860 % |
1042.78/1043.32 c | 463343 | 19118 708685 5565505 | 2147483647 429334 33 | 6.860 % |
1047.27/1047.83 c | 466068 | 19118 708685 5565505 | 2147483647 432059 33 | 6.860 % |
1052.28/1052.81 c | 469065 | 19113 708461 5559877 | 2147483647 434998 33 | 6.884 % |
1059.88/1060.45 c | 472361 | 19113 708461 5559877 | 2147483647 438294 33 | 6.884 % |
1064.57/1065.13 c | 475986 | 19113 708461 5559877 | 2147483647 441919 33 | 6.884 % |
1069.97/1070.54 c | 479974 | 19113 708461 5559877 | 2147483647 445907 33 | 6.884 % |
1076.66/1077.29 c | 484359 | 19113 708461 5559877 | 2147483647 450292 33 | 6.884 % |
1076.86/1077.49 c | 484459 | 19113 708461 5559877 | 2147483647 450392 33 | 6.884 % |
1077.16/1077.75 c | 484570 | 19113 708461 5559877 | 2147483647 450503 33 | 6.884 % |
1077.47/1078.06 c | 484691 | 19108 708461 5559877 | 2147483647 450622 33 | 6.913 % |
1077.66/1078.28 c | 484825 | 19108 708461 5559877 | 2147483647 450756 33 | 6.913 % |
1078.06/1078.63 c | 484971 | 19108 708461 5559877 | 2147483647 450902 33 | 6.913 % |
1078.36/1078.90 c | 485132 | 19108 708461 5559877 | 2147483647 451063 33 | 6.913 % |
1078.96/1079.52 c | 485308 | 19108 708461 5559877 | 2147483647 451239 33 | 6.913 % |
1079.16/1079.73 c | 485502 | 19108 708461 5559877 | 2147483647 451433 33 | 6.913 % |
1079.67/1080.23 c | 485715 | 19108 708461 5559877 | 2147483647 451646 33 | 6.913 % |
1080.06/1080.62 c | 485949 | 19108 708461 5559877 | 2147483647 451880 33 | 6.913 % |
1080.36/1080.94 c | 486207 | 19108 708461 5559877 | 2147483647 452138 33 | 6.913 % |
1080.77/1081.39 c | 486489 | 19108 708461 5559877 | 2147483647 452420 33 | 6.913 % |
1081.37/1081.98 c | 486799 | 19108 708461 5559877 | 2147483647 452730 33 | 6.913 % |
1081.88/1082.47 c | 487139 | 19108 708461 5559877 | 2147483647 453070 33 | 6.913 % |
1082.27/1082.84 c | 487511 | 19108 708461 5559877 | 2147483647 453442 33 | 6.913 % |
1083.17/1083.79 c | 487921 | 19108 708461 5559877 | 2147483647 453852 33 | 6.913 % |
1083.87/1084.46 c | 488370 | 19108 708461 5559877 | 2147483647 454301 33 | 6.913 % |
1084.57/1085.17 c | 488864 | 19108 708461 5559877 | 2147483647 454795 33 | 6.913 % |
1085.87/1086.43 c | 489406 | 19108 708461 5559877 | 2147483647 455337 33 | 6.913 % |
1086.47/1087.06 c | 490002 | 19108 708461 5559877 | 2147483647 455933 33 | 6.913 % |
1087.37/1087.99 c | 490657 | 19108 708461 5559877 | 2147483647 456588 33 | 6.913 % |
1088.57/1089.11 c | 491379 | 19108 708461 5559877 | 2147483647 457310 33 | 6.913 % |
1089.77/1090.32 c | 492172 | 19108 708461 5559877 | 2147483647 458103 33 | 6.913 % |
1091.37/1091.98 c | 493043 | 19108 708461 5559877 | 2147483647 458974 33 | 6.913 % |
1092.27/1092.83 c | 494001 | 19107 708461 5559877 | 2147483647 459931 33 | 6.918 % |
1093.97/1094.57 c | 495054 | 19096 708461 5559877 | 2147483647 460979 33 | 6.986 % |
1096.76/1097.38 c | 496212 | 19096 708461 5559877 | 2147483647 462137 33 | 6.986 % |
1098.86/1099.47 c | 497485 | 19092 707546 5538170 | 2147483647 463057 33 | 6.986 % |
1100.76/1101.35 c | 498888 | 19092 707546 5538170 | 2147483647 464460 33 | 6.986 % |
1103.06/1103.69 c | 500428 | 19092 707546 5538170 | 2147483647 466000 33 | 6.986 % |
1105.86/1106.41 c | 502123 | 19092 707546 5538170 | 2147483647 467695 33 | 6.986 % |
1109.86/1110.41 c | 503986 | 19092 707546 5538170 | 2147483647 469558 33 | 6.986 % |
1115.65/1116.28 c | 506037 | 19092 707546 5538170 | 2147483647 471609 33 | 6.986 % |
1118.85/1119.47 c | 508292 | 19092 707546 5538170 | 2147483647 473864 33 | 6.986 % |
1124.36/1124.93 c | 510772 | 19092 707546 5538170 | 2147483647 476344 33 | 6.986 % |
1127.66/1128.22 c | 513498 | 19092 707546 5538170 | 2147483647 479070 33 | 6.986 % |
1130.66/1131.27 c | 516495 | 19084 707546 5538170 | 2147483647 482064 33 | 7.040 % |
1138.25/1138.88 c | 519791 | 19080 707546 5538170 | 2147483647 485359 33 | 7.050 % |
1144.05/1144.66 c | 523416 | 19080 707546 5538170 | 2147483647 488984 33 | 7.050 % |
1145.85/1146.45 c | 527403 | 19080 707546 5538170 | 2147483647 492971 33 | 7.050 % |
1152.35/1152.91 c | 531789 | 19080 707546 5538170 | 2147483647 497357 33 | 7.050 % |
1158.35/1158.93 c | 536614 | 19079 706938 5524230 | 2147483647 501886 33 | 7.050 % |
1158.55/1159.12 c | 536714 | 19079 706938 5524230 | 2147483647 501986 33 | 7.050 % |
1158.95/1159.55 c | 536825 | 19079 706938 5524230 | 2147483647 502097 33 | 7.050 % |
1159.25/1159.83 c | 536946 | 19079 706938 5524230 | 2147483647 502218 33 | 7.050 % |
1159.35/1159.97 c | 537079 | 19079 706938 5524230 | 2147483647 502351 33 | 7.050 % |
1159.65/1160.28 c | 537231 | 19079 706938 5524230 | 2147483647 502503 33 | 7.050 % |
1160.05/1160.62 c | 537393 | 19079 706938 5524230 | 2147483647 502665 33 | 7.050 % |
1160.35/1160.93 c | 537570 | 19079 706938 5524230 | 2147483647 502842 33 | 7.050 % |
1160.65/1161.29 c | 537763 | 19079 706938 5524230 | 2147483647 503035 33 | 7.050 % |
1161.15/1161.72 c | 537977 | 19079 706938 5524230 | 2147483647 503249 33 | 7.050 % |
1161.45/1162.02 c | 538210 | 19079 706938 5524230 | 2147483647 503482 33 | 7.050 % |
1161.95/1162.59 c | 538466 | 19079 706938 5524230 | 2147483647 503738 33 | 7.050 % |
1162.45/1163.06 c | 538749 | 19079 706938 5524230 | 2147483647 504021 33 | 7.050 % |
1163.04/1163.67 c | 539058 | 19079 706938 5524230 | 2147483647 504330 33 | 7.050 % |
1163.54/1164.18 c | 539398 | 19079 706938 5524230 | 2147483647 504670 33 | 7.050 % |
1164.75/1165.39 c | 539771 | 19079 706938 5524230 | 2147483647 505043 33 | 7.050 % |
1165.45/1166.09 c | 540181 | 19079 706938 5524230 | 2147483647 505453 33 | 7.050 % |
1166.24/1166.81 c | 540630 | 19079 706938 5524230 | 2147483647 505902 33 | 7.050 % |
1167.55/1168.10 c | 541124 | 19079 706938 5524230 | 2147483647 506396 33 | 7.050 % |
1168.94/1169.54 c | 541666 | 19079 706938 5524230 | 2147483647 506938 33 | 7.050 % |
1169.94/1170.55 c | 542262 | 19079 706938 5524230 | 2147483647 507534 33 | 7.050 % |
1171.14/1171.73 c | 542917 | 19079 706938 5524230 | 2147483647 508189 33 | 7.050 % |
1171.94/1172.53 c | 543637 | 19079 706938 5524230 | 2147483647 508909 33 | 7.050 % |
1174.04/1174.64 c | 544429 | 19079 706938 5524230 | 2147483647 509701 33 | 7.050 % |
1175.04/1175.68 c | 545300 | 19079 706938 5524230 | 2147483647 510572 33 | 7.050 % |
1177.14/1177.75 c | 546258 | 19079 706938 5524230 | 2147483647 511530 33 | 7.050 % |
1178.44/1179.09 c | 547311 | 19079 706938 5524230 | 2147483647 512583 33 | 7.050 % |
1180.43/1181.07 c | 548469 | 19079 706938 5524230 | 2147483647 513741 33 | 7.050 % |
1182.53/1183.19 c | 549744 | 19079 706938 5524230 | 2147483647 515016 33 | 7.050 % |
1184.14/1184.75 c | 551144 | 19079 706938 5524230 | 2147483647 516416 33 | 7.050 % |
1186.94/1187.58 c | 552685 | 19079 706938 5524230 | 2147483647 517957 33 | 7.050 % |
1189.04/1189.65 c | 554379 | 19079 706938 5524230 | 2147483647 519651 33 | 7.050 % |
1190.44/1191.03 c | 556242 | 19079 706938 5524230 | 2147483647 521514 33 | 7.050 % |
1194.13/1194.79 c | 558292 | 19079 706938 5524230 | 2147483647 523564 33 | 7.050 % |
1196.03/1196.61 c | 560546 | 19079 706938 5524230 | 2147483647 525818 33 | 7.050 % |
1198.34/1198.97 c | 563024 | 19077 706938 5524230 | 2147483647 528295 33 | 7.059 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832059-1242769130/watcher-1832059-1242769130 -o /tmp/evaluation-result-1832059-1242769130/solver-1832059-1242769130 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832059-1242769130.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 7483
/proc/meminfo: memFree=1839992/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) R 7481 7483 7396 0 -1 4194304 266 0 0 0 0 0 0 0 19 0 1 0 304939299 5484544 233 1992294400 4194304 4889804 548682068832 18446744073709551615 233401674227 0 0 4100 65536 0 0 0 17 1 0 0
/proc/7483/statm: 1339 233 194 169 0 50 0
[startup+0.035824 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 7483
/proc/meminfo: memFree=1839992/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 304939299 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233402237010 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/7483/statm: 1339 235 195 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10184 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 7483
/proc/meminfo: memFree=1839992/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301849 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 7483
/proc/meminfo: memFree=1839992/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701889 s]
/proc/loadavg: 1.00 1.00 0.94 2/64 7483
/proc/meminfo: memFree=1839992/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50297 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1715368/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=239760 CPUtime=1.41
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 48257 0 0 0 111 30 0 0 25 0 1 0 304939307 245514240 48243 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 59940 48244 50 173 0 59765 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 245116
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1583720/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=319424 CPUtime=3.01
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 66917 0 0 0 260 41 0 0 25 0 1 0 304939307 327090176 65356 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 79856 65356 76 173 0 79681 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 324780
[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1561320/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=326408 CPUtime=6.2
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 68670 0 0 0 572 48 0 0 25 0 1 0 304939307 334241792 67109 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 81602 67109 76 173 0 81427 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 331764
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1531752/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=337124 CPUtime=12.61
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 71341 0 0 0 1195 66 0 0 25 0 1 0 304939307 345214976 69780 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 84281 69780 76 173 0 84106 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 342480
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1485864/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=353080 CPUtime=25.4
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 75287 0 0 0 2441 99 0 0 25 0 1 0 304939307 361553920 73726 1992294400 134512640 135223648 4294956128 18446744073709551615 134734703 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 88270 73726 76 173 0 88095 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 358436
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1415784/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=381884 CPUtime=50.99
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 81906 0 0 0 4947 152 0 0 25 0 1 0 304939307 391049216 80345 1992294400 134512640 135223648 4294956128 18446744073709551615 134578181 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 95471 80345 76 173 0 95296 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 387240
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1338792/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=423084 CPUtime=102.17
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 90600 0 0 0 10008 209 0 0 25 0 1 0 304939307 433238016 87836 1992294400 134512640 135223648 4294956128 18446744073709551615 134549039 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 105771 87836 76 173 0 105596 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 428440
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1335528/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=426904 CPUtime=162.15
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 91461 0 0 0 16005 210 0 0 25 0 1 0 304939307 437149696 88697 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 106726 88697 76 173 0 106551 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 432260
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7488
/proc/meminfo: memFree=1331560/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=430968 CPUtime=222.13
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 92444 0 0 0 22002 211 0 0 25 0 1 0 304939307 441311232 89680 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 107742 89680 76 173 0 107567 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 436324
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7490
/proc/meminfo: memFree=1326952/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=436312 CPUtime=282.12
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 93604 0 0 0 27999 213 0 0 25 0 1 0 304939307 446783488 90840 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 109078 90840 76 173 0 108903 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 441668
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 7490
/proc/meminfo: memFree=1320808/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=0
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 304939299 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 237 197 169 0 50 0
[pid=7488] ppid=7483 vsize=442796 CPUtime=342.1
/proc/7488/stat : 7488 (SatELite_releas) R 7483 7483 7396 0 -1 4194304 95119 0 0 0 33995 215 0 0 25 0 1 0 304939307 453423104 92355 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/7488/statm: 110699 92355 76 173 0 110524 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 448152
[startup+402.302 s]
/proc/loadavg: 1.04 1.01 0.95 2/66 7491
/proc/meminfo: memFree=1569384/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=79840 CPUtime=24.61
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 19456 0 0 0 2447 14 0 0 25 0 1 0 304977064 81756160 19442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 19960 19442 77 171 0 19787 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 85196
[startup+462.302 s]
################
# More data... #
################
/proc/7491/statm: 21140 20629 77 171 0 20967 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 89916
[startup+582.302 s]
/proc/loadavg: 1.21 1.08 0.98 2/66 7491
/proc/meminfo: memFree=1558056/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=90944 CPUtime=204.53
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 22208 0 0 0 20434 19 0 0 25 0 1 0 304977064 93126656 22194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 22736 22194 77 171 0 22563 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 96300
[startup+642.302 s]
/proc/loadavg: 1.07 1.06 0.98 2/66 7491
/proc/meminfo: memFree=1551784/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=97020 CPUtime=264.5
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 23724 0 0 0 26429 21 0 0 25 0 1 0 304977064 99348480 23710 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 24255 23710 77 171 0 24082 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 102376
[startup+702.302 s]
/proc/loadavg: 1.02 1.05 0.98 2/66 7491
/proc/meminfo: memFree=1545192/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=103760 CPUtime=324.47
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 25344 0 0 0 32424 23 0 0 25 0 1 0 304977064 106250240 25330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 25940 25330 77 171 0 25767 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 109116
[startup+762.306 s]
/proc/loadavg: 1.01 1.04 0.98 2/66 7491
/proc/meminfo: memFree=1539240/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=109436 CPUtime=384.46
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 26787 0 0 0 38420 26 0 0 25 0 1 0 304977064 112062464 26773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 27359 26773 77 171 0 27186 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 114792
[startup+822.302 s]
/proc/loadavg: 1.00 1.03 0.98 2/66 7491
/proc/meminfo: memFree=1531432/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=117092 CPUtime=444.44
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 28730 0 0 0 44415 29 0 0 25 0 1 0 304977064 119902208 28716 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 29273 28716 77 171 0 29100 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 122448
[startup+882.302 s]
/proc/loadavg: 1.00 1.02 0.98 2/66 7491
/proc/meminfo: memFree=1525224/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=123640 CPUtime=504.42
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 30250 0 0 0 50411 31 0 0 25 0 1 0 304977064 126607360 30236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 30910 30236 77 171 0 30737 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 128996
[startup+942.302 s]
/proc/loadavg: 1.00 1.02 0.98 2/66 7491
/proc/meminfo: memFree=1519144/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=129448 CPUtime=564.4
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 31750 0 0 0 56406 34 0 0 25 0 1 0 304977064 132554752 31736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 32362 31736 77 171 0 32189 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 134804
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 7491
/proc/meminfo: memFree=1513320/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=134992 CPUtime=624.38
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 33178 0 0 0 62403 35 0 0 25 0 1 0 304977064 138231808 33164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 33748 33164 77 171 0 33575 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 140348
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 7491
/proc/meminfo: memFree=1506536/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=141604 CPUtime=684.36
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 34876 0 0 0 68398 38 0 0 25 0 1 0 304977064 145002496 34862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 35401 34862 77 171 0 35228 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 146960
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 7491
/proc/meminfo: memFree=1500456/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=148324 CPUtime=744.33
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 36361 0 0 0 74394 39 0 0 25 0 1 0 304977064 151883776 36347 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 37081 36347 77 171 0 36908 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 153680
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 7491
/proc/meminfo: memFree=1494184/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=154412 CPUtime=804.31
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 37921 0 0 0 80390 41 0 0 25 0 1 0 304977064 158117888 37907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 38603 37907 77 171 0 38430 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 159768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 7491
/proc/meminfo: memFree=1491752/2055920 swapFree=4179760/4192956
[pid=7483] ppid=7481 vsize=5356 CPUtime=377.42
/proc/7483/stat : 7483 (SatELiteGTI) S 7481 7483 7396 0 -1 4194304 336 103272 0 0 0 0 37501 241 16 0 1 0 304939299 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7483/statm: 1339 239 197 169 0 50 0
[pid=7491] ppid=7483 vsize=156656 CPUtime=822.61
/proc/7491/stat : 7491 (minisat_static) R 7483 7483 7396 0 -1 4194304 38495 0 0 0 82219 42 0 0 25 0 1 0 304977064 160415744 38481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7491/statm: 39164 38481 77 171 0 38991 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 162012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7483 and gives
# childrusage.ru_utime.tv_sec=375
# childrusage.ru_utime.tv_usec=18988
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=421631
# CPU time returned by wait4() is 377.441
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.03
CPU user time (s): 1197.2
CPU system time (s): 2.83
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (KiB): 471732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.019
system time used= 2.42163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103608
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= 19
involuntary context switches= 579
runsolver used 1.39879 second user time and 3.04754 second system time
The end
Begin job on node70 at 2009-05-19 23:38:53
IDJOB=1832059
IDBENCH=20408
IDSOLVER=671
FILE ID=node70/1832059-1242769130
PBS_JOBID= 9322232
Free space on /tmp= 66332 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/safe-50-h49-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832059-1242769130/watcher-1832059-1242769130 -o /tmp/evaluation-result-1832059-1242769130/solver-1832059-1242769130 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832059-1242769130.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= afc9746f162b3434bc79ea21bd1704d5
RANDOM SEED=1643827855
node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1840472 kB
Buffers: 9252 kB
Cached: 168456 kB
SwapCached: 7388 kB
Active: 61576 kB
Inactive: 124960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840472 kB
SwapTotal: 4192956 kB
SwapFree: 4179760 kB
Dirty: 40684 kB
Writeback: 0 kB
Mapped: 13984 kB
Slab: 15004 kB
Committed_AS: 958364 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66144 MiB
End job on node70 at 2009-05-19 23:58:55