0.00/0.00 c Parsing...
2.03/2.07 c ==============================================================================
2.03/2.07 c | | ORIGINAL | LEARNT | |
2.03/2.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.03/2.07 c ==============================================================================
2.03/2.07 c | 0 | 2098099 5069173 | 629429 0 0 nan | 0.000 % |
455.52/455.67 c | 0 | 769676 6992680 | -- 0 -- -- | -- | -1328423/1923507
455.52/455.68 c ==============================================================================
455.52/455.68 c Result : #vars: 20526 #clauses: 769676 #literals: 6992680
455.52/455.68 c CPU time: 454.26 s
455.52/455.68 c ==============================================================================
457.78/457.93 c This is MiniSat 2.0 beta
457.78/457.93 c WARNING: for repeatability, setting FPU to use double precision
457.78/457.93 c ============================[ Problem Statistics ]=============================
457.78/457.93 c | |
457.78/457.93 c | Number of variables: 20526 |
457.78/457.93 c | Number of clauses: 769676 |
458.78/458.96 c | Parsing time: 0.91 s |
458.88/459.02 c ============================[ Search Statistics ]==============================
458.88/459.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
458.88/459.02 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
458.88/459.02 c ===============================================================================
458.88/459.02 c | 0 | 20526 769676 6992680 | 256558 0 nan | 0.000 % |
459.38/459.55 c | 100 | 20526 769676 6992680 | 256558 100 6 | 0.000 % |
459.68/459.90 c | 201 | 20526 769676 6992680 | 256558 201 19 | 0.000 % |
459.98/460.17 c | 301 | 20526 769676 6992680 | 256558 301 54 | 0.000 % |
460.18/460.33 c | 411 | 20526 769676 6992680 | 256558 411 57 | 0.000 % |
460.38/460.53 c | 511 | 20526 769676 6992680 | 256558 511 50 | 0.000 % |
460.48/460.68 c | 621 | 20526 769676 6992680 | 256558 621 42 | 0.000 % |
460.68/460.85 c | 742 | 20526 769676 6992680 | 256558 742 43 | 0.000 % |
460.89/461.06 c | 842 | 20526 769676 6992680 | 256558 842 41 | 0.000 % |
460.98/461.14 c | 952 | 20526 769676 6992680 | 256558 952 38 | 0.000 % |
461.17/461.39 c | 1073 | 20526 769676 6992680 | 256558 1073 35 | 0.000 % |
461.37/461.55 c | 1206 | 20526 769676 6992680 | 256558 1206 33 | 0.000 % |
461.57/461.72 c | 1307 | 20526 769676 6992680 | 256558 1307 33 | 0.000 % |
461.67/461.85 c | 1417 | 20526 769676 6992680 | 256558 1417 32 | 0.000 % |
461.77/461.97 c | 1538 | 20526 769676 6992680 | 256558 1538 33 | 0.000 % |
461.98/462.17 c | 1671 | 20526 769676 6992680 | 256558 1671 34 | 0.000 % |
462.17/462.31 c | 1818 | 20526 769676 6992680 | 256558 1818 35 | 0.000 % |
462.27/462.47 c | 1918 | 20526 769676 6992680 | 256558 1918 39 | 0.000 % |
462.37/462.60 c | 2028 | 20526 769676 6992680 | 256558 2028 42 | 0.000 % |
462.67/462.81 c | 2149 | 20526 769676 6992680 | 256558 2149 41 | 0.000 % |
462.67/462.90 c | 2285 | 20526 769676 6992680 | 256558 2285 41 | 0.000 % |
462.87/463.07 c | 2431 | 20526 769676 6992680 | 256558 2431 41 | 0.000 % |
463.17/463.37 c | 2595 | 20526 769676 6992680 | 256558 2595 39 | 0.000 % |
463.37/463.56 c | 2695 | 20526 769676 6992680 | 256558 2695 39 | 0.000 % |
463.47/463.70 c | 2806 | 20526 769676 6992680 | 256558 2806 38 | 0.000 % |
463.67/463.85 c | 2927 | 20526 769676 6992680 | 256558 2927 38 | 0.000 % |
463.77/463.99 c | 3060 | 20526 769676 6992680 | 256558 3060 39 | 0.000 % |
463.97/464.17 c | 3208 | 20526 769676 6992680 | 256558 3208 38 | 0.000 % |
464.37/464.57 c | 3369 | 20522 769676 6992680 | 256558 3366 37 | 0.024 % |
464.57/464.79 c | 3545 | 20522 769676 6992680 | 256558 3542 37 | 0.024 % |
464.67/464.89 c | 3645 | 20522 769676 6992680 | 256558 3642 36 | 0.024 % |
464.77/465.00 c | 3756 | 20522 769676 6992680 | 256558 3753 36 | 0.024 % |
464.87/465.10 c | 3878 | 20522 769676 6992680 | 256558 3875 36 | 0.024 % |
464.97/465.20 c | 4011 | 20522 769676 6992680 | 256558 4008 37 | 0.024 % |
465.28/465.48 c | 4157 | 20522 769676 6992680 | 256558 4154 37 | 0.025 % |
465.47/465.61 c | 4322 | 20522 769676 6992680 | 256558 4319 39 | 0.024 % |
465.57/465.77 c | 4498 | 20522 769676 6992680 | 256558 4495 39 | 0.024 % |
465.97/466.11 c | 4692 | 20522 769676 6992680 | 256558 4689 40 | 0.024 % |
466.07/466.24 c | 4792 | 20522 769676 6992680 | 256558 4789 40 | 0.024 % |
466.17/466.35 c | 4907 | 20522 769676 6992680 | 256558 4904 41 | 0.024 % |
466.27/466.44 c | 5028 | 20522 769676 6992680 | 256558 5025 41 | 0.024 % |
466.47/466.64 c | 5161 | 20522 769676 6992680 | 256558 5158 41 | 0.024 % |
466.57/466.77 c | 5314 | 20522 769676 6992680 | 256558 5311 42 | 0.024 % |
466.77/466.93 c | 5475 | 20522 769676 6992680 | 256558 5472 42 | 0.024 % |
466.97/467.11 c | 5652 | 20522 769676 6992680 | 256558 5649 42 | 0.024 % |
467.17/467.39 c | 5849 | 20522 769676 6992680 | 256558 5846 41 | 0.024 % |
467.48/467.63 c | 6061 | 20520 769676 6992680 | 256558 6057 41 | 0.034 % |
467.48/467.70 c | 6163 | 20520 769676 6992680 | 256558 6159 40 | 0.034 % |
467.57/467.77 c | 6273 | 20520 769676 6992680 | 256558 6269 40 | 0.034 % |
467.67/467.83 c | 6394 | 20520 769676 6992680 | 256558 6390 40 | 0.034 % |
467.77/467.91 c | 6531 | 20520 769676 6992680 | 256558 6527 40 | 0.034 % |
467.97/468.12 c | 6679 | 20520 769676 6992680 | 256558 6675 40 | 0.034 % |
468.07/468.25 c | 6840 | 20520 769676 6992680 | 256558 6836 40 | 0.034 % |
468.27/468.43 c | 7016 | 20520 769676 6992680 | 256558 7012 41 | 0.034 % |
468.37/468.60 c | 7209 | 20520 769676 6992680 | 256558 7205 41 | 0.034 % |
468.58/468.76 c | 7421 | 20520 769676 6992680 | 256558 7417 42 | 0.034 % |
468.77/468.97 c | 7654 | 20520 769676 6992680 | 256558 7650 41 | 0.034 % |
468.87/469.08 c | 7755 | 20520 769676 6992680 | 256558 7751 41 | 0.034 % |
468.97/469.14 c | 7886 | 20520 769676 6992680 | 256558 7882 42 | 0.034 % |
469.07/469.24 c | 8023 | 20520 769676 6992680 | 256558 8019 42 | 0.034 % |
469.17/469.32 c | 8173 | 20520 769676 6992680 | 256558 8169 42 | 0.034 % |
469.17/469.40 c | 8324 | 20520 769676 6992680 | 256558 8320 41 | 0.034 % |
469.37/469.53 c | 8487 | 20520 769676 6992680 | 256558 8483 41 | 0.034 % |
469.56/469.72 c | 8665 | 20520 769676 6992680 | 256558 8661 42 | 0.034 % |
469.76/469.98 c | 8859 | 20520 769676 6992680 | 256558 8855 42 | 0.034 % |
470.06/470.24 c | 9071 | 20520 769676 6992680 | 256558 9067 41 | 0.034 % |
470.26/470.48 c | 9308 | 20520 769676 6992680 | 256558 9304 41 | 0.034 % |
470.56/470.77 c | 9564 | 20520 769676 6992680 | 256558 9560 40 | 0.034 % |
470.66/470.89 c | 9666 | 20517 769676 6992680 | 256558 9661 40 | 0.058 % |
470.77/471.00 c | 9777 | 20517 769676 6992680 | 256558 9772 40 | 0.058 % |
471.06/471.22 c | 9898 | 20517 769676 6992680 | 256558 9893 40 | 0.058 % |
471.16/471.36 c | 10031 | 20517 769676 6992680 | 2147483647 10026 40 | 0.058 % |
471.36/471.55 c | 10177 | 20517 769676 6992680 | 2147483647 10172 40 | 0.058 % |
471.56/471.72 c | 10339 | 20517 769676 6992680 | 2147483647 10334 40 | 0.058 % |
471.87/472.03 c | 10516 | 20517 769676 6992680 | 2147483647 10511 40 | 0.058 % |
472.06/472.22 c | 10712 | 20517 769676 6992680 | 2147483647 10707 40 | 0.058 % |
472.26/472.47 c | 10924 | 20517 769676 6992680 | 2147483647 10919 41 | 0.058 % |
472.56/472.73 c | 11157 | 20517 769676 6992680 | 2147483647 11152 41 | 0.058 % |
472.86/473.03 c | 11414 | 20517 769676 6992680 | 2147483647 11409 42 | 0.058 % |
473.16/473.35 c | 11695 | 20517 769676 6992680 | 2147483647 11690 41 | 0.058 % |
473.26/473.42 c | 11795 | 20517 769676 6992680 | 2147483647 11790 41 | 0.058 % |
473.36/473.59 c | 11907 | 20514 769676 6992680 | 2147483647 11901 41 | 0.088 % |
473.56/473.78 c | 12028 | 20514 769676 6992680 | 2147483647 12022 42 | 0.088 % |
473.76/474.00 c | 12161 | 20514 769676 6992680 | 2147483647 12155 42 | 0.088 % |
473.86/474.10 c | 12308 | 20514 769676 6992680 | 2147483647 12302 42 | 0.088 % |
474.16/474.39 c | 12468 | 20514 769676 6992680 | 2147483647 12462 45 | 0.088 % |
474.46/474.61 c | 12645 | 20514 769676 6992680 | 2147483647 12639 46 | 0.088 % |
474.66/474.81 c | 12838 | 20514 769676 6992680 | 2147483647 12832 45 | 0.088 % |
474.96/475.11 c | 13050 | 20508 768936 6982632 | 2147483647 12882 46 | 0.088 % |
475.06/475.25 c | 13284 | 20508 768936 6982632 | 2147483647 13116 45 | 0.088 % |
475.26/475.50 c | 13540 | 20508 768936 6982632 | 2147483647 13372 47 | 0.088 % |
475.46/475.70 c | 13822 | 20508 768936 6982632 | 2147483647 13654 47 | 0.088 % |
475.76/475.91 c | 14132 | 20508 768936 6982632 | 2147483647 13964 46 | 0.088 % |
475.86/476.03 c | 14234 | 20508 768936 6982632 | 2147483647 14066 46 | 0.088 % |
475.96/476.13 c | 14344 | 20508 768936 6982632 | 2147483647 14176 46 | 0.088 % |
476.06/476.22 c | 14466 | 20508 768936 6982632 | 2147483647 14298 46 | 0.088 % |
476.06/476.31 c | 14600 | 20507 768936 6982632 | 2147483647 14431 46 | 0.093 % |
476.16/476.41 c | 14746 | 20507 768936 6982632 | 2147483647 14577 46 | 0.093 % |
476.36/476.57 c | 14906 | 20507 768936 6982632 | 2147483647 14737 46 | 0.093 % |
476.56/476.76 c | 15082 | 20507 768936 6982632 | 2147483647 14913 46 | 0.093 % |
476.66/476.89 c | 15275 | 20507 768936 6982632 | 2147483647 15106 47 | 0.093 % |
476.76/476.96 c | 15495 | 20507 768936 6982632 | 2147483647 15326 48 | 0.093 % |
477.06/477.21 c | 15735 | 20504 768936 6982632 | 2147483647 15565 48 | 0.112 % |
477.66/477.88 c | 15991 | 20504 768936 6982632 | 2147483647 15821 48 | 0.112 % |
477.96/478.17 c | 16272 | 20504 768936 6982632 | 2147483647 16102 49 | 0.112 % |
478.36/478.53 c | 16583 | 20501 768936 6982632 | 2147483647 16411 48 | 0.136 % |
478.56/478.79 c | 16922 | 20501 768936 6982632 | 2147483647 16750 48 | 0.136 % |
478.86/479.06 c | 17023 | 20501 768936 6982632 | 2147483647 16851 48 | 0.136 % |
478.96/479.20 c | 17133 | 20501 768936 6982632 | 2147483647 16961 48 | 0.136 % |
479.06/479.29 c | 17263 | 20495 768936 6982632 | 2147483647 17089 47 | 0.171 % |
479.16/479.39 c | 17396 | 20494 768936 6982632 | 2147483647 17222 47 | 0.171 % |
479.36/479.58 c | 17542 | 20493 768936 6982632 | 2147483647 17367 47 | 0.175 % |
479.57/479.72 c | 17702 | 20488 768936 6982632 | 2147483647 17526 47 | 0.200 % |
479.76/479.92 c | 17881 | 20488 768936 6982632 | 2147483647 17705 47 | 0.200 % |
479.96/480.12 c | 18074 | 20486 768936 6982632 | 2147483647 17897 47 | 0.209 % |
480.16/480.38 c | 18289 | 20486 768936 6982632 | 2147483647 18112 46 | 0.209 % |
480.46/480.64 c | 18523 | 20486 768936 6982632 | 2147483647 18346 46 | 0.209 % |
480.67/480.83 c | 18780 | 20486 768936 6982632 | 2147483647 18603 46 | 0.209 % |
480.96/481.11 c | 19061 | 20486 768936 6982632 | 2147483647 18884 46 | 0.209 % |
481.06/481.29 c | 19374 | 20486 768936 6982632 | 2147483647 19197 46 | 0.210 % |
481.46/481.70 c | 19715 | 20486 768936 6982632 | 2147483647 19538 46 | 0.209 % |
481.96/482.15 c | 20088 | 20486 768936 6982632 | 2147483647 19911 46 | 0.209 % |
482.16/482.33 c | 20192 | 20486 768936 6982632 | 2147483647 20015 45 | 0.209 % |
482.16/482.39 c | 20304 | 20486 768936 6982632 | 2147483647 20127 45 | 0.209 % |
482.36/482.55 c | 20425 | 20486 768936 6982632 | 2147483647 20248 45 | 0.209 % |
482.56/482.72 c | 20558 | 20486 768936 6982632 | 2147483647 20381 45 | 0.209 % |
482.66/482.88 c | 20704 | 20486 768936 6982632 | 2147483647 20527 45 | 0.209 % |
482.76/482.98 c | 20869 | 20486 768936 6982632 | 2147483647 20692 45 | 0.209 % |
482.96/483.11 c | 21045 | 20486 768936 6982632 | 2147483647 20868 45 | 0.209 % |
483.06/483.30 c | 21240 | 20486 768936 6982632 | 2147483647 21063 45 | 0.210 % |
483.26/483.46 c | 21452 | 20486 768936 6982632 | 2147483647 21275 45 | 0.209 % |
483.46/483.69 c | 21685 | 20486 768936 6982632 | 2147483647 21508 45 | 0.209 % |
483.86/484.02 c | 21941 | 20486 768936 6982632 | 2147483647 21764 45 | 0.209 % |
484.16/484.34 c | 22226 | 20486 768936 6982632 | 2147483647 22049 44 | 0.210 % |
484.46/484.64 c | 22535 | 20486 768936 6982632 | 2147483647 22358 45 | 0.209 % |
484.76/485.00 c | 22876 | 20486 768936 6982632 | 2147483647 22699 44 | 0.210 % |
485.16/485.33 c | 23250 | 20486 768936 6982632 | 2147483647 23073 44 | 0.209 % |
485.56/485.75 c | 23675 | 20486 768936 6982632 | 2147483647 23498 44 | 0.209 % |
485.66/485.86 c | 23776 | 20481 768936 6982632 | 2147483647 23597 44 | 0.234 % |
485.76/485.94 c | 23886 | 20481 768936 6982632 | 2147483647 23707 44 | 0.234 % |
485.96/486.13 c | 24007 | 20481 768936 6982632 | 2147483647 23828 44 | 0.234 % |
486.17/486.33 c | 24140 | 20476 768936 6982632 | 2147483647 23958 44 | 0.263 % |
486.26/486.47 c | 24287 | 20476 768936 6982632 | 2147483647 24105 44 | 0.263 % |
486.36/486.56 c | 24447 | 20476 768936 6982632 | 2147483647 24265 44 | 0.263 % |
486.56/486.70 c | 24624 | 20476 768936 6982632 | 2147483647 24442 44 | 0.263 % |
486.66/486.87 c | 24819 | 20476 768936 6982632 | 2147483647 24637 44 | 0.263 % |
486.76/487.00 c | 25032 | 20476 768936 6982632 | 2147483647 24850 44 | 0.263 % |
487.16/487.31 c | 25265 | 20475 768936 6982632 | 2147483647 25082 44 | 0.268 % |
487.46/487.63 c | 25521 | 20475 768936 6982632 | 2147483647 25338 43 | 0.268 % |
487.66/487.86 c | 25802 | 20475 768936 6982632 | 2147483647 25619 43 | 0.268 % |
487.96/488.13 c | 26111 | 20475 768936 6982632 | 2147483647 25928 44 | 0.268 % |
488.26/488.51 c | 26450 | 20475 768936 6982632 | 2147483647 26267 44 | 0.268 % |
488.77/488.91 c | 26823 | 20475 768936 6982632 | 2147483647 26640 43 | 0.268 % |
489.37/489.54 c | 27232 | 20475 768936 6982632 | 2147483647 27049 43 | 0.268 % |
489.87/490.08 c | 27684 | 20475 768936 6982632 | 2147483647 27501 43 | 0.268 % |
490.07/490.28 c | 27786 | 20471 767606 6956983 | 2147483647 26823 43 | 0.268 % |
490.27/490.48 c | 27899 | 20468 767606 6956983 | 2147483647 26934 43 | 0.283 % |
490.47/490.62 c | 28020 | 20459 767606 6956983 | 2147483647 27053 43 | 0.341 % |
490.57/490.76 c | 28157 | 20380 767606 6956983 | 2147483647 27186 43 | 0.814 % |
490.67/490.91 c | 28307 | 20368 767606 6956983 | 2147483647 27336 43 | 0.814 % |
490.97/491.12 c | 28467 | 20360 767606 6956983 | 2147483647 27496 43 | 0.814 % |
491.17/491.33 c | 28644 | 20360 767606 6956983 | 2147483647 27673 43 | 0.814 % |
491.47/491.72 c | 28838 | 20360 767606 6956983 | 2147483647 27867 43 | 0.814 % |
491.77/491.98 c | 29050 | 20360 767606 6956983 | 2147483647 28079 43 | 0.814 % |
492.17/492.40 c | 29283 | 20360 767606 6956983 | 2147483647 28312 43 | 0.814 % |
492.67/492.88 c | 29540 | 20360 767606 6956983 | 2147483647 28569 42 | 0.814 % |
492.97/493.18 c | 29822 | 20353 767606 6956983 | 2147483647 28850 42 | 0.848 % |
493.47/493.67 c | 30133 | 20353 767606 6956983 | 2147483647 29161 42 | 0.848 % |
493.87/494.09 c | 30473 | 20353 767606 6956983 | 2147483647 29501 42 | 0.848 % |
494.37/494.61 c | 30847 | 20353 767606 6956983 | 2147483647 29875 42 | 0.848 % |
494.77/494.97 c | 31257 | 20353 767606 6956983 | 2147483647 30285 42 | 0.848 % |
495.27/495.44 c | 31708 | 20353 767606 6956983 | 2147483647 30736 41 | 0.848 % |
495.87/496.11 c | 32201 | 20353 767606 6956983 | 2147483647 31229 41 | 0.848 % |
496.07/496.22 c | 32306 | 20353 767606 6956983 | 2147483647 31334 41 | 0.848 % |
496.17/496.37 c | 32422 | 20353 767606 6956983 | 2147483647 31450 41 | 0.848 % |
496.27/496.51 c | 32544 | 20353 767606 6956983 | 2147483647 31572 41 | 0.848 % |
496.47/496.64 c | 32689 | 20353 767606 6956983 | 2147483647 31717 41 | 0.848 % |
496.67/496.81 c | 32835 | 20353 767606 6956983 | 2147483647 31863 41 | 0.848 % |
496.77/496.93 c | 32997 | 20353 767606 6956983 | 2147483647 32025 41 | 0.848 % |
496.97/497.16 c | 33174 | 20353 767606 6956983 | 2147483647 32202 41 | 0.848 % |
497.17/497.36 c | 33368 | 20353 767606 6956983 | 2147483647 32396 41 | 0.848 % |
497.37/497.57 c | 33580 | 20353 767606 6956983 | 2147483647 32608 41 | 0.848 % |
497.67/497.86 c | 33814 | 20352 767606 6956983 | 2147483647 32841 41 | 0.853 % |
497.97/498.19 c | 34070 | 20334 767606 6956983 | 2147483647 33088 41 | 0.994 % |
498.47/498.64 c | 34355 | 20327 767606 6956983 | 2147483647 33373 40 | 0.994 % |
498.77/498.97 c | 34665 | 20327 767606 6956983 | 2147483647 33683 40 | 0.994 % |
499.37/499.52 c | 35005 | 20326 767606 6956983 | 2147483647 34023 40 | 0.994 % |
499.77/499.99 c | 35380 | 20326 767606 6956983 | 2147483647 34398 40 | 0.994 % |
500.17/500.41 c | 35789 | 20326 767606 6956983 | 2147483647 34807 40 | 0.994 % |
500.77/501.00 c | 36242 | 20326 767606 6956983 | 2147483647 35260 40 | 0.994 % |
501.27/501.49 c | 36743 | 20298 767606 6956983 | 2147483647 35756 40 | 1.130 % |
501.97/502.17 c | 37285 | 20298 767606 6956983 | 2147483647 36298 40 | 1.130 % |
502.17/502.36 c | 37385 | 20298 767606 6956983 | 2147483647 36398 40 | 1.130 % |
502.37/502.59 c | 37496 | 20298 767606 6956983 | 2147483647 36509 40 | 1.130 % |
502.77/502.92 c | 37617 | 20298 767606 6956983 | 2147483647 36630 40 | 1.130 % |
502.97/503.17 c | 37751 | 20298 767606 6956983 | 2147483647 36764 39 | 1.130 % |
503.17/503.39 c | 37898 | 20298 767606 6956983 | 2147483647 36911 39 | 1.130 % |
503.57/503.74 c | 38058 | 20298 767606 6956983 | 2147483647 37071 39 | 1.130 % |
503.67/503.89 c | 38236 | 20297 767606 6956983 | 2147483647 37248 39 | 1.135 % |
504.07/504.24 c | 38429 | 20288 767606 6956983 | 2147483647 37436 39 | 1.242 % |
504.27/504.49 c | 38641 | 20265 767606 6956983 | 2147483647 37645 39 | 1.384 % |
504.57/504.74 c | 38875 | 20265 767606 6956983 | 2147483647 37879 39 | 1.384 % |
504.87/505.09 c | 39133 | 20265 767606 6956983 | 2147483647 38137 39 | 1.384 % |
505.17/505.40 c | 39415 | 20265 767606 6956983 | 2147483647 38419 39 | 1.384 % |
505.57/505.78 c | 39724 | 20256 767606 6956983 | 2147483647 38725 39 | 1.432 % |
506.07/506.27 c | 40064 | 20255 767606 6956983 | 2147483647 39065 40 | 1.432 % |
506.27/506.51 c | 40436 | 20255 767606 6956983 | 2147483647 39437 39 | 1.432 % |
506.77/506.95 c | 40846 | 20246 767606 6956983 | 2147483647 39843 39 | 1.491 % |
507.37/507.52 c | 41296 | 20211 756682 6706229 | 2147483647 30859 37 | 1.564 % |
508.37/508.60 c | 41790 | 20211 756682 6706229 | 2147483647 31353 37 | 1.564 % |
509.07/509.31 c | 42333 | 20211 756682 6706229 | 2147483647 31896 37 | 1.564 % |
510.37/510.55 c | 42931 | 20211 756682 6706229 | 2147483647 32494 36 | 1.564 % |
510.47/510.68 c | 43031 | 20211 756682 6706229 | 2147483647 32594 36 | 1.564 % |
510.57/510.77 c | 43141 | 20211 756682 6706229 | 2147483647 32704 36 | 1.564 % |
510.77/511.01 c | 43262 | 20211 756682 6706229 | 2147483647 32825 36 | 1.564 % |
511.07/511.23 c | 43397 | 20211 756682 6706229 | 2147483647 32960 36 | 1.564 % |
511.27/511.44 c | 43543 | 20211 756682 6706229 | 2147483647 33106 36 | 1.564 % |
511.47/511.67 c | 43707 | 20211 756682 6706229 | 2147483647 33270 36 | 1.564 % |
511.67/511.88 c | 43883 | 20211 756682 6706229 | 2147483647 33446 36 | 1.564 % |
511.97/512.13 c | 44076 | 20211 756682 6706229 | 2147483647 33639 36 | 1.564 % |
512.27/512.50 c | 44289 | 20211 756682 6706229 | 2147483647 33852 36 | 1.564 % |
512.57/512.79 c | 44522 | 20211 756682 6706229 | 2147483647 34085 36 | 1.564 % |
512.97/513.18 c | 44778 | 20211 756682 6706229 | 2147483647 34341 36 | 1.564 % |
513.47/513.62 c | 45059 | 20196 756682 6706229 | 2147483647 34613 36 | 1.734 % |
513.77/513.97 c | 45370 | 20195 756682 6706229 | 2147483647 34923 36 | 1.739 % |
514.27/514.42 c | 45717 | 20192 756682 6706229 | 2147483647 35269 35 | 1.759 % |
514.77/515.01 c | 46092 | 20183 756682 6706229 | 2147483647 35641 35 | 1.822 % |
515.37/515.60 c | 46502 | 20137 756682 6706229 | 2147483647 36048 35 | 2.075 % |
516.17/516.38 c | 46952 | 20112 756682 6706229 | 2147483647 36493 35 | 2.202 % |
517.07/517.23 c | 47447 | 20112 756682 6706229 | 2147483647 36988 35 | 2.202 % |
517.67/517.83 c | 47994 | 20112 756682 6706229 | 2147483647 37535 35 | 2.202 % |
518.27/518.50 c | 48590 | 20084 756682 6706229 | 2147483647 38123 35 | 2.611 % |
519.27/519.49 c | 49250 | 20033 756682 6706229 | 2147483647 38780 34 | 2.636 % |
519.47/519.69 c | 49350 | 20003 756682 6706229 | 2147483647 38876 34 | 2.811 % |
519.67/519.84 c | 49460 | 19981 756682 6706229 | 2147483647 38982 34 | 2.943 % |
519.97/520.13 c | 49584 | 19979 756682 6706229 | 2147483647 39106 34 | 2.943 % |
520.07/520.30 c | 49718 | 19979 756682 6706229 | 2147483647 39240 34 | 2.943 % |
520.47/520.68 c | 49864 | 19956 756682 6706229 | 2147483647 39383 34 | 3.074 % |
520.67/520.86 c | 50024 | 19955 756682 6706229 | 2147483647 39542 34 | 3.084 % |
520.97/521.18 c | 50200 | 19949 756682 6706229 | 2147483647 39717 34 | 3.113 % |
521.47/521.63 c | 50393 | 19949 756682 6706229 | 2147483647 39910 34 | 3.113 % |
521.87/522.05 c | 50606 | 19949 756682 6706229 | 2147483647 40123 34 | 3.113 % |
522.27/522.48 c | 50840 | 19949 756682 6706229 | 2147483647 40357 34 | 3.113 % |
522.97/523.18 c | 51096 | 19949 756682 6706229 | 2147483647 40613 35 | 3.113 % |
523.27/523.44 c | 51377 | 19949 756682 6706229 | 2147483647 40894 34 | 3.113 % |
523.67/523.89 c | 51687 | 19943 756682 6706229 | 2147483647 41201 34 | 3.142 % |
524.07/524.31 c | 52026 | 19881 742524 6376253 | 2147483647 34054 35 | 3.142 % |
524.57/524.78 c | 52400 | 19877 742524 6376253 | 2147483647 34425 35 | 3.162 % |
525.17/525.36 c | 52810 | 19854 742524 6376253 | 2147483647 34829 35 | 3.274 % |
526.07/526.23 c | 53259 | 19854 742524 6376253 | 2147483647 35278 35 | 3.274 % |
527.07/527.24 c | 53753 | 19854 742524 6376253 | 2147483647 35772 35 | 3.274 % |
528.27/528.44 c | 54296 | 19854 742524 6376253 | 2147483647 36315 35 | 3.274 % |
529.87/530.05 c | 54892 | 19854 742524 6376253 | 2147483647 36911 35 | 3.274 % |
530.87/531.06 c | 55547 | 19854 742524 6376253 | 2147483647 37566 35 | 3.274 % |
532.17/532.31 c | 56267 | 19853 742524 6376253 | 2147483647 38285 35 | 3.279 % |
532.27/532.47 c | 56367 | 19853 742524 6376253 | 2147483647 38385 35 | 3.279 % |
532.47/532.68 c | 56479 | 19853 742524 6376253 | 2147483647 38497 35 | 3.279 % |
532.77/532.96 c | 56600 | 19853 742524 6376253 | 2147483647 38618 35 | 3.279 % |
533.27/533.43 c | 56733 | 19853 742524 6376253 | 2147483647 38751 35 | 3.279 % |
533.57/533.73 c | 56880 | 19853 742524 6376253 | 2147483647 38898 35 | 3.279 % |
533.97/534.20 c | 57041 | 19853 742524 6376253 | 2147483647 39059 35 | 3.279 % |
534.17/534.37 c | 57218 | 19853 742524 6376253 | 2147483647 39236 35 | 3.279 % |
534.77/534.93 c | 57411 | 19853 742524 6376253 | 2147483647 39429 35 | 3.279 % |
535.17/535.35 c | 57625 | 19853 742524 6376253 | 2147483647 39643 35 | 3.279 % |
535.57/535.73 c | 57859 | 19853 742524 6376253 | 2147483647 39877 35 | 3.279 % |
536.07/536.29 c | 58115 | 19853 742524 6376253 | 2147483647 40133 35 | 3.279 % |
536.57/536.79 c | 58399 | 19853 742524 6376253 | 2147483647 40417 35 | 3.279 % |
537.07/537.22 c | 58709 | 19853 742524 6376253 | 2147483647 40727 35 | 3.279 % |
537.87/538.02 c | 59048 | 19853 742524 6376253 | 2147483647 41066 35 | 3.279 % |
538.37/538.56 c | 59420 | 19853 742524 6376253 | 2147483647 41438 35 | 3.279 % |
539.17/539.40 c | 59829 | 19849 742524 6376253 | 2147483647 41845 35 | 3.303 % |
540.37/540.54 c | 60280 | 19849 742524 6376253 | 2147483647 42296 35 | 3.303 % |
541.07/541.26 c | 60773 | 19849 742524 6376253 | 2147483647 42789 35 | 3.303 % |
542.17/542.32 c | 61315 | 19848 740979 6338319 | 2147483647 42531 35 | 3.303 % |
543.67/543.82 c | 61912 | 19848 740979 6338319 | 2147483647 43128 36 | 3.303 % |
545.27/545.46 c | 62569 | 19848 740979 6338319 | 2147483647 43785 37 | 3.303 % |
545.87/546.04 c | 63290 | 19848 740979 6338319 | 2147483647 44506 37 | 3.303 % |
546.97/547.20 c | 64082 | 19848 740979 6338319 | 2147483647 45298 37 | 3.303 % |
547.07/547.29 c | 64182 | 19844 740979 6338319 | 2147483647 45397 37 | 3.327 % |
547.27/547.48 c | 64294 | 19826 740979 6338319 | 2147483647 45504 37 | 3.459 % |
547.47/547.69 c | 64417 | 19823 740979 6338319 | 2147483647 45624 37 | 3.483 % |
547.67/547.85 c | 64550 | 19811 740979 6338319 | 2147483647 45755 36 | 3.498 % |
547.97/548.14 c | 64701 | 19805 740979 6338319 | 2147483647 45903 36 | 3.527 % |
548.37/548.57 c | 64865 | 19803 740979 6338319 | 2147483647 46065 36 | 3.537 % |
548.57/548.72 c | 65043 | 19803 740979 6338319 | 2147483647 46243 36 | 3.537 % |
548.97/549.13 c | 65236 | 19799 740979 6338319 | 2147483647 46433 36 | 3.566 % |
549.17/549.37 c | 65448 | 19782 740979 6338319 | 2147483647 46640 36 | 3.649 % |
549.37/549.59 c | 65681 | 19768 740979 6338319 | 2147483647 46870 36 | 3.722 % |
549.67/549.90 c | 65939 | 19746 740979 6338319 | 2147483647 47123 36 | 3.829 % |
550.07/550.22 c | 66220 | 19746 740979 6338319 | 2147483647 47404 36 | 3.829 % |
550.47/550.63 c | 66530 | 19746 740979 6338319 | 2147483647 47714 36 | 3.829 % |
550.87/551.06 c | 66871 | 19746 740979 6338319 | 2147483647 48055 36 | 3.829 % |
551.47/551.69 c | 67246 | 19738 740979 6338319 | 2147483647 48428 36 | 3.873 % |
551.97/552.21 c | 67655 | 19738 740979 6338319 | 2147483647 48837 36 | 3.873 % |
552.57/552.78 c | 68104 | 19737 740979 6338319 | 2147483647 49285 36 | 3.878 % |
553.37/553.61 c | 68599 | 19732 740979 6338319 | 2147483647 49777 36 | 3.907 % |
553.97/554.15 c | 69141 | 19729 740979 6338319 | 2147483647 50317 35 | 3.936 % |
554.87/555.07 c | 69739 | 19729 740979 6338319 | 2147483647 50915 35 | 3.936 % |
555.77/555.96 c | 70395 | 19729 740979 6338319 | 2147483647 51571 35 | 3.936 % |
556.67/556.89 c | 71115 | 19729 740979 6338319 | 2147483647 52291 35 | 3.936 % |
557.77/557.94 c | 71907 | 19729 740979 6338319 | 2147483647 53083 35 | 3.936 % |
559.07/559.22 c | 72779 | 19718 735113 6197432 | 2147483647 51180 34 | 3.936 % |
559.27/559.49 c | 72880 | 19718 735113 6197432 | 2147483647 51281 34 | 3.936 % |
559.47/559.68 c | 72991 | 19718 735113 6197432 | 2147483647 51392 34 | 3.936 % |
559.87/560.09 c | 73112 | 19718 735113 6197432 | 2147483647 51513 34 | 3.936 % |
560.07/560.26 c | 73245 | 19718 735113 6197432 | 2147483647 51646 34 | 3.937 % |
560.47/560.64 c | 73391 | 19718 735113 6197432 | 2147483647 51792 34 | 3.936 % |
560.67/560.85 c | 73552 | 19718 735113 6197432 | 2147483647 51953 34 | 3.937 % |
560.97/561.12 c | 73735 | 19718 735113 6197432 | 2147483647 52136 34 | 3.936 % |
561.27/561.49 c | 73929 | 19718 735113 6197432 | 2147483647 52330 34 | 3.936 % |
561.67/561.89 c | 74142 | 19718 735113 6197432 | 2147483647 52543 34 | 3.937 % |
562.17/562.39 c | 74376 | 19718 735113 6197432 | 2147483647 52777 34 | 3.936 % |
562.97/563.17 c | 74633 | 19718 735113 6197432 | 2147483647 53034 34 | 3.936 % |
563.57/563.73 c | 74915 | 19718 735113 6197432 | 2147483647 53316 34 | 3.936 % |
563.97/564.17 c | 75224 | 19718 735113 6197432 | 2147483647 53625 34 | 3.937 % |
564.67/564.81 c | 75564 | 19718 735113 6197432 | 2147483647 53965 34 | 3.936 % |
565.17/565.37 c | 75937 | 19718 735113 6197432 | 2147483647 54338 34 | 3.936 % |
566.47/566.62 c | 76347 | 19718 735113 6197432 | 2147483647 54748 34 | 3.936 % |
567.47/567.67 c | 76796 | 19718 735113 6197432 | 2147483647 55197 34 | 3.937 % |
568.97/569.11 c | 77289 | 19718 735113 6197432 | 2147483647 55690 34 | 3.936 % |
569.87/570.02 c | 77832 | 19718 735113 6197432 | 2147483647 56233 34 | 3.936 % |
571.17/571.37 c | 78429 | 19718 735113 6197432 | 2147483647 56830 34 | 3.936 % |
572.07/572.30 c | 79085 | 19718 735113 6197432 | 2147483647 57486 34 | 3.936 % |
573.08/573.22 c | 79805 | 19718 735113 6197432 | 2147483647 58206 34 | 3.937 % |
574.27/574.45 c | 80600 | 19718 735113 6197432 | 2147483647 59001 34 | 3.936 % |
575.96/576.18 c | 81471 | 19718 735113 6197432 | 2147483647 59872 34 | 3.936 % |
577.76/577.93 c | 82430 | 19718 735113 6197432 | 2147483647 60831 34 | 3.936 % |
577.86/578.10 c | 82530 | 19718 735113 6197432 | 2147483647 60931 34 | 3.937 % |
578.16/578.39 c | 82642 | 19712 735037 6195779 | 2147483647 60973 34 | 3.966 % |
578.36/578.59 c | 82763 | 19708 735037 6195779 | 2147483647 61093 34 | 3.985 % |
578.57/578.77 c | 82896 | 19680 735037 6195779 | 2147483647 61218 34 | 4.204 % |
578.96/579.12 c | 83043 | 19656 735037 6195779 | 2147483647 61362 34 | 4.253 % |
579.16/579.31 c | 83205 | 19656 735037 6195779 | 2147483647 61524 34 | 4.253 % |
579.46/579.64 c | 83382 | 19656 735037 6195779 | 2147483647 61701 33 | 4.253 % |
579.76/579.99 c | 83577 | 19656 735037 6195779 | 2147483647 61896 33 | 4.253 % |
579.96/580.16 c | 83790 | 19656 735037 6195779 | 2147483647 62109 33 | 4.253 % |
580.46/580.65 c | 84023 | 19656 735037 6195779 | 2147483647 62342 33 | 4.253 % |
580.86/581.01 c | 84281 | 19650 735037 6195779 | 2147483647 62598 33 | 4.282 % |
581.26/581.43 c | 84563 | 19650 735037 6195779 | 2147483647 62880 33 | 4.282 % |
581.56/581.77 c | 84873 | 19650 735037 6195779 | 2147483647 63190 33 | 4.282 % |
581.87/582.09 c | 85215 | 19650 735037 6195779 | 2147483647 63532 33 | 4.282 % |
582.26/582.42 c | 85588 | 19650 735037 6195779 | 2147483647 63905 33 | 4.282 % |
582.86/583.05 c | 85997 | 19618 735037 6195779 | 2147483647 64305 33 | 4.438 % |
583.76/583.95 c | 86446 | 19604 735037 6195779 | 2147483647 64750 33 | 4.506 % |
584.96/585.17 c | 86940 | 19604 735037 6195779 | 2147483647 65244 34 | 4.506 % |
586.06/586.28 c | 87482 | 19604 735037 6195779 | 2147483647 65786 33 | 4.507 % |
587.06/587.21 c | 88080 | 19595 735037 6195779 | 2147483647 66382 33 | 4.555 % |
587.86/588.01 c | 88735 | 19595 735037 6195779 | 2147483647 67037 33 | 4.555 % |
588.56/588.77 c | 89455 | 19582 735037 6195779 | 2147483647 67751 33 | 4.692 % |
589.66/589.85 c | 90249 | 19569 735037 6195779 | 2147483647 68541 33 | 4.745 % |
591.36/591.51 c | 91120 | 19569 735037 6195779 | 2147483647 69412 33 | 4.745 % |
593.36/593.52 c | 92078 | 19569 735037 6195779 | 2147483647 70370 33 | 4.745 % |
594.46/594.67 c | 93131 | 19569 735037 6195779 | 2147483647 71423 33 | 4.745 % |
594.76/594.91 c | 93231 | 19569 735037 6195779 | 2147483647 71523 33 | 4.745 % |
594.96/595.17 c | 93341 | 19569 735037 6195779 | 2147483647 71633 33 | 4.745 % |
595.36/595.58 c | 93464 | 19569 735037 6195779 | 2147483647 71756 33 | 4.745 % |
595.66/595.81 c | 93598 | 19569 735037 6195779 | 2147483647 71890 33 | 4.745 % |
595.86/596.08 c | 93746 | 19569 735037 6195779 | 2147483647 72038 33 | 4.745 % |
596.17/596.38 c | 93907 | 19569 735037 6195779 | 2147483647 72199 33 | 4.745 % |
596.76/596.93 c | 94083 | 19569 735037 6195779 | 2147483647 72375 33 | 4.745 % |
597.06/597.25 c | 94276 | 19569 735037 6195779 | 2147483647 72568 33 | 4.745 % |
597.46/597.63 c | 94489 | 19552 727641 6015686 | 2147483647 69250 33 | 4.745 % |
597.86/598.08 c | 94723 | 19552 727641 6015686 | 2147483647 69484 33 | 4.745 % |
598.26/598.51 c | 94980 | 19552 727641 6015686 | 2147483647 69741 32 | 4.745 % |
598.76/598.91 c | 95261 | 19552 727641 6015686 | 2147483647 70022 32 | 4.745 % |
599.36/599.51 c | 95571 | 19552 727641 6015686 | 2147483647 70332 32 | 4.745 % |
599.66/599.85 c | 95910 | 19552 727641 6015686 | 2147483647 70671 32 | 4.745 % |
600.06/600.25 c | 96282 | 19531 727641 6015686 | 2147483647 71037 32 | 4.896 % |
600.66/600.88 c | 96691 | 19528 727641 6015686 | 2147483647 71446 32 | 4.896 % |
602.06/602.27 c | 97141 | 19528 727641 6015686 | 2147483647 71896 33 | 4.896 % |
602.86/603.07 c | 97637 | 19528 727641 6015686 | 2147483647 72392 33 | 4.896 % |
603.96/604.11 c | 98181 | 19524 727641 6015686 | 2147483647 72935 32 | 4.916 % |
605.36/605.57 c | 98780 | 19524 727641 6015686 | 2147483647 73534 33 | 4.916 % |
606.46/606.62 c | 99435 | 19524 727641 6015686 | 2147483647 74189 32 | 4.916 % |
607.36/607.56 c | 100156 | 19524 727641 6015686 | 2147483647 74910 32 | 4.916 % |
608.36/608.58 c | 100949 | 19517 727641 6015686 | 2147483647 75701 32 | 4.950 % |
609.66/609.84 c | 101825 | 19498 727641 6015686 | 2147483647 76570 32 | 5.062 % |
611.26/611.47 c | 102783 | 19480 727641 6015686 | 2147483647 77523 32 | 5.154 % |
613.86/614.10 c | 103836 | 19480 727641 6015686 | 2147483647 78576 32 | 5.155 % |
616.56/616.77 c | 104994 | 19480 727641 6015686 | 2147483647 79734 32 | 5.154 % |
616.76/616.95 c | 105094 | 19480 727641 6015686 | 2147483647 79834 32 | 5.154 % |
616.86/617.10 c | 105204 | 19480 727641 6015686 | 2147483647 79944 32 | 5.154 % |
617.16/617.33 c | 105326 | 19480 727641 6015686 | 2147483647 80066 32 | 5.154 % |
617.36/617.57 c | 105460 | 19480 727641 6015686 | 2147483647 80200 32 | 5.154 % |
617.76/617.97 c | 105607 | 19468 723738 5920168 | 2147483647 78353 32 | 5.154 % |
618.17/618.39 c | 105767 | 19468 723738 5920168 | 2147483647 78513 32 | 5.154 % |
618.56/618.76 c | 105944 | 19468 723738 5920168 | 2147483647 78690 32 | 5.154 % |
618.96/619.13 c | 106139 | 19468 723738 5920168 | 2147483647 78885 32 | 5.154 % |
619.47/619.68 c | 106353 | 19468 723738 5920168 | 2147483647 79099 33 | 5.154 % |
619.97/620.12 c | 106586 | 19468 723738 5920168 | 2147483647 79332 33 | 5.154 % |
620.37/620.52 c | 106842 | 19468 723738 5920168 | 2147483647 79588 33 | 5.154 % |
620.97/621.16 c | 107123 | 19468 723738 5920168 | 2147483647 79869 33 | 5.154 % |
621.57/621.80 c | 107433 | 19468 723738 5920168 | 2147483647 80179 33 | 5.155 % |
622.27/622.48 c | 107772 | 19468 723738 5920168 | 2147483647 80518 33 | 5.155 % |
622.77/623.01 c | 108144 | 19468 723738 5920168 | 2147483647 80890 33 | 5.154 % |
623.97/624.20 c | 108553 | 19468 723738 5920168 | 2147483647 81299 33 | 5.154 % |
624.77/624.97 c | 109003 | 19468 723738 5920168 | 2147483647 81749 33 | 5.155 % |
625.57/625.80 c | 109498 | 19437 723738 5920168 | 2147483647 82232 33 | 5.340 % |
626.27/626.44 c | 110040 | 19427 723738 5920168 | 2147483647 82772 33 | 5.364 % |
627.37/627.54 c | 110636 | 19417 723738 5920168 | 2147483647 83364 33 | 5.432 % |
628.47/628.68 c | 111291 | 19417 723738 5920168 | 2147483647 84019 33 | 5.432 % |
629.57/629.72 c | 112013 | 19417 723738 5920168 | 2147483647 84741 33 | 5.432 % |
631.17/631.39 c | 112805 | 19410 723738 5920168 | 2147483647 85531 33 | 5.466 % |
632.37/632.60 c | 113678 | 19410 723738 5920168 | 2147483647 86404 32 | 5.466 % |
634.47/634.62 c | 114636 | 19405 723738 5920168 | 2147483647 87359 32 | 5.491 % |
636.37/636.52 c | 115689 | 19405 723738 5920168 | 2147483647 88412 32 | 5.491 % |
637.47/637.64 c | 116849 | 19405 723738 5920168 | 2147483647 89572 32 | 5.491 % |
639.47/639.66 c | 118122 | 19399 720973 5859516 | 2147483647 89194 32 | 5.491 % |
639.67/639.89 c | 118223 | 19399 720973 5859516 | 2147483647 89295 32 | 5.491 % |
639.97/640.12 c | 118333 | 19399 720973 5859516 | 2147483647 89405 32 | 5.491 % |
640.17/640.37 c | 118455 | 19399 720973 5859516 | 2147483647 89527 32 | 5.491 % |
640.47/640.61 c | 118589 | 19399 720973 5859516 | 2147483647 89661 32 | 5.491 % |
640.67/640.90 c | 118737 | 19398 720973 5859516 | 2147483647 89808 32 | 5.495 % |
641.07/641.25 c | 118897 | 19398 720973 5859516 | 2147483647 89968 32 | 5.495 % |
641.47/641.68 c | 119074 | 19398 720973 5859516 | 2147483647 90145 32 | 5.495 % |
641.77/641.98 c | 119269 | 19398 720973 5859516 | 2147483647 90340 32 | 5.495 % |
642.27/642.43 c | 119482 | 19398 720973 5859516 | 2147483647 90553 32 | 5.496 % |
642.57/642.73 c | 119715 | 19398 720973 5859516 | 2147483647 90786 32 | 5.495 % |
643.07/643.26 c | 119972 | 19389 720973 5859516 | 2147483647 91042 32 | 5.549 % |
643.47/643.63 c | 120254 | 19389 720973 5859516 | 2147483647 91324 32 | 5.549 % |
644.37/644.53 c | 120564 | 19389 720973 5859516 | 2147483647 91634 32 | 5.549 % |
644.87/645.10 c | 120903 | 19383 720973 5859516 | 2147483647 91971 32 | 5.578 % |
645.47/645.61 c | 121275 | 19383 720973 5859516 | 2147483647 92343 32 | 5.578 % |
646.17/646.39 c | 121684 | 19383 720973 5859516 | 2147483647 92752 32 | 5.578 % |
647.87/648.08 c | 122133 | 19383 720973 5859516 | 2147483647 93201 32 | 5.578 % |
648.87/649.10 c | 122626 | 19383 720973 5859516 | 2147483647 93694 32 | 5.578 % |
649.97/650.18 c | 123169 | 19382 720973 5859516 | 2147483647 94236 32 | 5.588 % |
651.47/651.67 c | 123765 | 19382 720973 5859516 | 2147483647 94832 32 | 5.588 % |
652.97/653.14 c | 124420 | 19382 720973 5859516 | 2147483647 95487 32 | 5.588 % |
653.97/654.14 c | 125140 | 19382 720973 5859516 | 2147483647 96207 32 | 5.588 % |
656.07/656.29 c | 125932 | 19382 720973 5859516 | 2147483647 96999 32 | 5.588 % |
657.77/657.99 c | 126803 | 19382 720973 5859516 | 2147483647 97870 33 | 5.588 % |
660.37/660.57 c | 127761 | 19381 720973 5859516 | 2147483647 98827 33 | 5.593 % |
662.37/662.52 c | 128814 | 19378 720165 5841579 | 2147483647 99591 33 | 5.593 % |
665.67/665.84 c | 129973 | 19378 720165 5841579 | 2147483647 100750 33 | 5.593 % |
667.27/667.51 c | 131246 | 19378 720165 5841579 | 2147483647 102023 33 | 5.593 % |
668.57/668.72 c | 132646 | 19378 720165 5841579 | 2147483647 103423 33 | 5.593 % |
668.87/669.05 c | 132746 | 19378 720165 5841579 | 2147483647 103523 33 | 5.593 % |
669.07/669.23 c | 132856 | 19378 720165 5841579 | 2147483647 103633 33 | 5.593 % |
669.37/669.57 c | 132978 | 19378 720165 5841579 | 2147483647 103755 33 | 5.593 % |
669.57/669.74 c | 133113 | 19378 720165 5841579 | 2147483647 103890 33 | 5.593 % |
669.77/669.97 c | 133260 | 19378 720165 5841579 | 2147483647 104037 33 | 5.593 % |
670.37/670.51 c | 133421 | 19378 720165 5841579 | 2147483647 104198 33 | 5.593 % |
670.87/671.06 c | 133597 | 19378 720165 5841579 | 2147483647 104374 33 | 5.593 % |
671.17/671.35 c | 133791 | 19378 720165 5841579 | 2147483647 104568 33 | 5.593 % |
671.77/671.96 c | 134004 | 19378 720165 5841579 | 2147483647 104781 33 | 5.593 % |
672.17/672.34 c | 134237 | 19378 720165 5841579 | 2147483647 105014 33 | 5.593 % |
672.77/672.91 c | 134496 | 19378 720165 5841579 | 2147483647 105273 33 | 5.593 % |
673.17/673.33 c | 134778 | 19378 720165 5841579 | 2147483647 105555 33 | 5.593 % |
673.57/673.78 c | 135087 | 19378 720165 5841579 | 2147483647 105864 33 | 5.593 % |
674.57/674.79 c | 135426 | 19378 720165 5841579 | 2147483647 106203 33 | 5.593 % |
675.17/675.39 c | 135798 | 19378 720165 5841579 | 2147483647 106575 33 | 5.593 % |
676.27/676.46 c | 136207 | 19378 720165 5841579 | 2147483647 106984 33 | 5.593 % |
677.07/677.25 c | 136656 | 19378 720165 5841579 | 2147483647 107433 33 | 5.593 % |
677.97/678.20 c | 137150 | 19378 720165 5841579 | 2147483647 107927 33 | 5.593 % |
679.17/679.39 c | 137693 | 19378 720165 5841579 | 2147483647 108470 33 | 5.593 % |
680.07/680.27 c | 138291 | 19378 720165 5841579 | 2147483647 109068 33 | 5.593 % |
681.27/681.42 c | 138948 | 19378 720165 5841579 | 2147483647 109725 33 | 5.593 % |
682.17/682.32 c | 139670 | 19378 720165 5841579 | 2147483647 110447 32 | 5.593 % |
682.87/683.01 c | 140463 | 19378 720165 5841579 | 2147483647 111240 32 | 5.593 % |
683.77/683.99 c | 141334 | 19372 719932 5836235 | 2147483647 111957 32 | 5.622 % |
685.57/685.77 c | 142293 | 19372 719932 5836235 | 2147483647 112916 32 | 5.622 % |
686.78/686.98 c | 143348 | 19372 719932 5836235 | 2147483647 113971 32 | 5.622 % |
688.38/688.58 c | 144506 | 19372 719932 5836235 | 2147483647 115129 32 | 5.622 % |
691.78/692.00 c | 145779 | 19360 719932 5836235 | 2147483647 116394 33 | 5.685 % |
694.08/694.22 c | 147181 | 19360 719932 5836235 | 2147483647 117796 33 | 5.685 % |
697.88/698.06 c | 148721 | 19360 719932 5836235 | 2147483647 119336 33 | 5.685 % |
698.28/698.48 c | 148822 | 19360 719932 5836235 | 2147483647 119437 33 | 5.685 % |
698.68/698.91 c | 148934 | 19360 719932 5836235 | 2147483647 119549 33 | 5.686 % |
698.98/699.21 c | 149055 | 19360 719932 5836235 | 2147483647 119670 33 | 5.685 % |
699.48/699.67 c | 149188 | 19360 719932 5836235 | 2147483647 119803 33 | 5.685 % |
699.88/700.03 c | 149335 | 19360 719932 5836235 | 2147483647 119950 33 | 5.686 % |
700.08/700.24 c | 149497 | 19360 719932 5836235 | 2147483647 120112 33 | 5.686 % |
700.48/700.63 c | 149673 | 19360 719932 5836235 | 2147483647 120288 33 | 5.685 % |
701.08/701.30 c | 149868 | 19360 719932 5836235 | 2147483647 120483 33 | 5.685 % |
701.68/701.85 c | 150081 | 19360 719932 5836235 | 2147483647 120696 33 | 5.685 % |
702.08/702.26 c | 150315 | 19360 719932 5836235 | 2147483647 120930 33 | 5.685 % |
702.68/702.91 c | 150572 | 19360 719932 5836235 | 2147483647 121187 33 | 5.686 % |
703.08/703.27 c | 150853 | 19360 719932 5836235 | 2147483647 121468 33 | 5.685 % |
703.78/703.93 c | 151162 | 19360 719932 5836235 | 2147483647 121777 33 | 5.685 % |
704.68/704.86 c | 151501 | 19360 719932 5836235 | 2147483647 122116 33 | 5.686 % |
705.28/705.44 c | 151873 | 19360 719932 5836235 | 2147483647 122488 33 | 5.685 % |
705.98/706.22 c | 152282 | 19360 719932 5836235 | 2147483647 122897 33 | 5.685 % |
706.88/707.05 c | 152731 | 19359 719332 5822922 | 2147483647 123073 33 | 5.686 % |
708.39/708.53 c | 153224 | 19359 719332 5822922 | 2147483647 123566 34 | 5.686 % |
709.18/709.35 c | 153767 | 19359 719332 5822922 | 2147483647 124109 33 | 5.685 % |
709.78/710.00 c | 154363 | 19359 719332 5822922 | 2147483647 124705 33 | 5.685 % |
710.59/710.78 c | 155019 | 19359 719332 5822922 | 2147483647 125361 33 | 5.685 % |
711.69/711.89 c | 155739 | 19356 719332 5822922 | 2147483647 126080 33 | 5.778 % |
712.98/713.16 c | 156531 | 19356 719332 5822922 | 2147483647 126872 33 | 5.778 % |
714.28/714.45 c | 157402 | 19356 719332 5822922 | 2147483647 127743 33 | 5.778 % |
715.68/715.84 c | 158360 | 19356 719332 5822922 | 2147483647 128701 33 | 5.778 % |
718.08/718.27 c | 159414 | 19356 719332 5822922 | 2147483647 129755 33 | 5.778 % |
719.78/719.93 c | 160573 | 19352 719332 5822922 | 2147483647 130911 33 | 5.802 % |
721.68/721.87 c | 161849 | 19351 719332 5822922 | 2147483647 132187 33 | 5.802 % |
725.28/725.48 c | 163249 | 19351 719332 5822922 | 2147483647 133587 33 | 5.802 % |
726.78/726.95 c | 164789 | 19351 719332 5822922 | 2147483647 135127 33 | 5.802 % |
730.48/730.64 c | 166486 | 19351 719332 5822922 | 2147483647 136824 34 | 5.802 % |
730.78/730.92 c | 166587 | 19335 718316 5798383 | 2147483647 136422 34 | 5.802 % |
730.98/731.20 c | 166697 | 19335 718316 5798383 | 2147483647 136532 34 | 5.802 % |
731.18/731.36 c | 166819 | 19335 718316 5798383 | 2147483647 136654 34 | 5.802 % |
731.38/731.58 c | 166953 | 19335 718316 5798383 | 2147483647 136788 34 | 5.802 % |
731.68/731.83 c | 167099 | 19335 718316 5798383 | 2147483647 136934 34 | 5.802 % |
732.18/732.33 c | 167262 | 19335 718316 5798383 | 2147483647 137097 34 | 5.802 % |
732.48/732.63 c | 167438 | 19335 718316 5798383 | 2147483647 137273 34 | 5.802 % |
732.88/733.06 c | 167631 | 19335 718316 5798383 | 2147483647 137466 34 | 5.802 % |
733.28/733.49 c | 167844 | 19335 718316 5798383 | 2147483647 137679 34 | 5.802 % |
733.78/733.96 c | 168077 | 19335 718316 5798383 | 2147483647 137912 34 | 5.802 % |
734.28/734.47 c | 168334 | 19335 718316 5798383 | 2147483647 138169 34 | 5.802 % |
734.68/734.92 c | 168615 | 19335 718316 5798383 | 2147483647 138450 34 | 5.802 % |
735.68/735.89 c | 168925 | 19335 718316 5798383 | 2147483647 138760 34 | 5.802 % |
736.18/736.34 c | 169265 | 19335 718316 5798383 | 2147483647 139100 34 | 5.802 % |
737.18/737.33 c | 169637 | 19335 718316 5798383 | 2147483647 139472 34 | 5.802 % |
737.78/737.97 c | 170046 | 19335 718316 5798383 | 2147483647 139881 34 | 5.802 % |
738.78/738.93 c | 170495 | 19334 718316 5798383 | 2147483647 140329 34 | 5.807 % |
739.19/739.41 c | 170989 | 19334 718316 5798383 | 2147483647 140823 34 | 5.807 % |
740.38/740.60 c | 171531 | 19334 718316 5798383 | 2147483647 141365 34 | 5.807 % |
741.08/741.27 c | 172127 | 19334 718316 5798383 | 2147483647 141961 34 | 5.807 % |
742.68/742.88 c | 172783 | 19334 718316 5798383 | 2147483647 142617 34 | 5.807 % |
743.88/744.10 c | 173503 | 19334 718316 5798383 | 2147483647 143337 34 | 5.807 % |
745.18/745.32 c | 174295 | 19333 718316 5798383 | 2147483647 144128 34 | 5.812 % |
746.48/746.63 c | 175166 | 19333 718316 5798383 | 2147483647 144999 34 | 5.812 % |
748.78/748.98 c | 176125 | 19333 718316 5798383 | 2147483647 145958 34 | 5.812 % |
750.48/750.69 c | 177181 | 19333 718316 5798383 | 2147483647 147014 34 | 5.812 % |
752.68/752.83 c | 178342 | 19333 718316 5798383 | 2147483647 148175 34 | 5.812 % |
754.58/754.74 c | 179615 | 19333 718316 5798383 | 2147483647 149448 33 | 5.812 % |
756.48/756.65 c | 181015 | 19333 718316 5798383 | 2147483647 150848 33 | 5.812 % |
758.48/758.68 c | 182555 | 19331 718212 5795629 | 2147483647 152360 33 | 5.822 % |
760.78/761.01 c | 184249 | 19331 718212 5795629 | 2147483647 154054 33 | 5.822 % |
763.68/763.83 c | 186112 | 19310 718212 5795629 | 2147483647 155910 33 | 5.934 % |
764.08/764.23 c | 186213 | 19310 718212 5795629 | 2147483647 156011 33 | 5.934 % |
764.38/764.58 c | 186323 | 19310 718212 5795629 | 2147483647 156121 33 | 5.934 % |
764.68/764.89 c | 186446 | 19310 718212 5795629 | 2147483647 156244 33 | 5.934 % |
764.98/765.19 c | 186579 | 19310 718212 5795629 | 2147483647 156377 33 | 5.934 % |
765.38/765.57 c | 186725 | 19310 718212 5795629 | 2147483647 156523 33 | 5.934 % |
765.78/765.98 c | 186887 | 19310 718212 5795629 | 2147483647 156685 33 | 5.934 % |
766.18/766.40 c | 187065 | 19310 718212 5795629 | 2147483647 156863 33 | 5.934 % |
766.58/766.72 c | 187258 | 19310 718212 5795629 | 2147483647 157056 33 | 5.934 % |
766.88/767.06 c | 187470 | 19308 718212 5795629 | 2147483647 157267 33 | 5.944 % |
767.38/767.52 c | 187705 | 19308 718212 5795629 | 2147483647 157502 33 | 5.944 % |
767.88/768.03 c | 187962 | 19304 718212 5795629 | 2147483647 157757 33 | 5.963 % |
768.38/768.61 c | 188243 | 19304 718212 5795629 | 2147483647 158038 33 | 5.963 % |
768.98/769.16 c | 188554 | 19304 718212 5795629 | 2147483647 158349 33 | 5.963 % |
769.68/769.89 c | 188893 | 19301 718212 5795629 | 2147483647 158686 33 | 5.978 % |
770.48/770.63 c | 189267 | 19301 718212 5795629 | 2147483647 159060 33 | 5.978 % |
771.68/771.86 c | 189677 | 19301 718212 5795629 | 2147483647 159470 33 | 5.978 % |
772.38/772.54 c | 190127 | 19301 718212 5795629 | 2147483647 159920 33 | 5.978 % |
773.58/773.77 c | 190623 | 19301 718212 5795629 | 2147483647 160416 33 | 5.978 % |
774.88/775.05 c | 191165 | 19301 718212 5795629 | 2147483647 160958 33 | 5.978 % |
775.58/775.81 c | 191762 | 19301 718212 5795629 | 2147483647 161555 33 | 5.978 % |
776.98/777.18 c | 192418 | 19301 718212 5795629 | 2147483647 162211 33 | 5.978 % |
778.58/778.73 c | 193138 | 19301 718212 5795629 | 2147483647 162931 33 | 5.978 % |
779.88/780.07 c | 193931 | 19301 718212 5795629 | 2147483647 163724 33 | 5.978 % |
781.38/781.60 c | 194804 | 19301 718212 5795629 | 2147483647 164597 33 | 5.978 % |
783.18/783.36 c | 195763 | 19301 718212 5795629 | 2147483647 165556 33 | 5.978 % |
785.08/785.30 c | 196818 | 19299 716702 5759436 | 2147483647 165881 33 | 5.978 % |
786.78/786.96 c | 197976 | 19299 716702 5759436 | 2147483647 167039 33 | 5.978 % |
788.48/788.65 c | 199249 | 19299 716702 5759436 | 2147483647 168312 32 | 5.978 % |
791.08/791.23 c | 200650 | 19299 716702 5759436 | 2147483647 169713 32 | 5.978 % |
792.88/793.05 c | 202191 | 19299 716702 5759436 | 2147483647 171254 32 | 5.978 % |
795.78/795.96 c | 203885 | 19299 716702 5759436 | 2147483647 172948 33 | 5.978 % |
798.68/798.89 c | 205749 | 19299 716702 5759436 | 2147483647 174812 32 | 5.978 % |
801.98/802.15 c | 207799 | 19299 716702 5759436 | 2147483647 176862 32 | 5.978 % |
802.18/802.38 c | 207899 | 19299 716702 5759436 | 2147483647 176962 32 | 5.978 % |
802.38/802.57 c | 208009 | 19299 716702 5759436 | 2147483647 177072 32 | 5.978 % |
802.68/802.84 c | 208130 | 19299 716702 5759436 | 2147483647 177193 32 | 5.978 % |
802.98/803.21 c | 208264 | 19299 716702 5759436 | 2147483647 177327 32 | 5.978 % |
803.38/803.58 c | 208410 | 19299 716702 5759436 | 2147483647 177473 32 | 5.978 % |
803.78/803.94 c | 208571 | 19299 716702 5759436 | 2147483647 177634 32 | 5.978 % |
804.08/804.22 c | 208748 | 19296 716702 5759436 | 2147483647 177810 32 | 5.997 % |
804.48/804.61 c | 208942 | 19296 716702 5759436 | 2147483647 178004 32 | 5.997 % |
804.88/805.02 c | 209156 | 19296 716702 5759436 | 2147483647 178218 32 | 5.997 % |
805.58/805.74 c | 209391 | 19296 716702 5759436 | 2147483647 178453 32 | 5.997 % |
806.18/806.35 c | 209647 | 19296 716702 5759436 | 2147483647 178709 32 | 5.997 % |
806.88/807.02 c | 209928 | 19296 716702 5759436 | 2147483647 178990 32 | 5.997 % |
807.38/807.57 c | 210237 | 19296 716702 5759436 | 2147483647 179299 32 | 5.997 % |
807.88/808.09 c | 210576 | 19296 716702 5759436 | 2147483647 179638 32 | 5.997 % |
809.18/809.34 c | 210948 | 19296 716702 5759436 | 2147483647 180010 32 | 5.997 % |
809.88/810.09 c | 211357 | 19296 716702 5759436 | 2147483647 180419 32 | 5.997 % |
810.78/810.93 c | 211806 | 19296 716702 5759436 | 2147483647 180868 32 | 5.997 % |
812.68/812.82 c | 212301 | 19295 716550 5756624 | 2147483647 181318 32 | 5.997 % |
813.38/813.54 c | 212846 | 19295 716550 5756624 | 2147483647 181863 32 | 5.997 % |
814.68/814.85 c | 213442 | 19295 716550 5756624 | 2147483647 182459 32 | 5.997 % |
816.58/816.76 c | 214097 | 19295 716550 5756624 | 2147483647 183114 32 | 5.997 % |
817.88/818.02 c | 214818 | 19295 716550 5756624 | 2147483647 183835 32 | 5.997 % |
820.18/820.33 c | 215613 | 19295 716550 5756624 | 2147483647 184630 32 | 5.997 % |
822.48/822.67 c | 216484 | 19295 716550 5756624 | 2147483647 185501 33 | 5.997 % |
823.98/824.16 c | 217444 | 19295 716550 5756624 | 2147483647 186461 33 | 5.997 % |
826.88/827.07 c | 218497 | 19295 716550 5756624 | 2147483647 187514 33 | 5.997 % |
828.68/828.87 c | 219656 | 19295 716550 5756624 | 2147483647 188673 33 | 5.997 % |
830.78/830.92 c | 220930 | 19295 716550 5756624 | 2147483647 189947 33 | 5.997 % |
832.58/832.79 c | 222333 | 19295 716550 5756624 | 2147483647 191350 32 | 5.997 % |
834.48/834.69 c | 223873 | 19295 716550 5756624 | 2147483647 192890 32 | 5.997 % |
835.99/836.14 c | 225568 | 19295 716550 5756624 | 2147483647 194585 32 | 5.997 % |
839.98/840.15 c | 227433 | 19295 716550 5756624 | 2147483647 196450 32 | 5.997 % |
843.69/843.84 c | 229483 | 19295 716550 5756624 | 2147483647 198500 33 | 5.997 % |
847.28/847.44 c | 231736 | 19295 716550 5756624 | 2147483647 200753 33 | 5.997 % |
847.48/847.67 c | 231837 | 19295 716550 5756624 | 2147483647 200854 33 | 5.997 % |
847.78/847.94 c | 231950 | 19295 716550 5756624 | 2147483647 200967 33 | 5.997 % |
848.09/848.28 c | 232071 | 19295 716550 5756624 | 2147483647 201088 33 | 5.997 % |
848.48/848.67 c | 232205 | 19287 716254 5749548 | 2147483647 201061 33 | 6.036 % |
848.88/849.01 c | 232351 | 19287 716254 5749548 | 2147483647 201207 32 | 6.036 % |
849.19/849.40 c | 232511 | 19287 716254 5749548 | 2147483647 201367 32 | 6.036 % |
849.68/849.90 c | 232688 | 19287 716254 5749548 | 2147483647 201544 32 | 6.036 % |
850.18/850.37 c | 232884 | 19287 716254 5749548 | 2147483647 201740 32 | 6.036 % |
850.78/850.97 c | 233096 | 19287 716254 5749548 | 2147483647 201952 32 | 6.036 % |
851.39/851.56 c | 233329 | 19287 716254 5749548 | 2147483647 202185 32 | 6.036 % |
851.58/851.75 c | 233585 | 19287 716254 5749548 | 2147483647 202441 32 | 6.036 % |
852.08/852.29 c | 233867 | 19282 716254 5749548 | 2147483647 202721 32 | 6.070 % |
853.28/853.42 c | 234176 | 19282 716254 5749548 | 2147483647 203030 32 | 6.070 % |
853.98/854.15 c | 234516 | 19282 716254 5749548 | 2147483647 203370 32 | 6.070 % |
854.69/854.82 c | 234888 | 19282 716254 5749548 | 2147483647 203742 32 | 6.070 % |
855.18/855.33 c | 235297 | 19282 716254 5749548 | 2147483647 204151 32 | 6.070 % |
856.08/856.28 c | 235746 | 19282 716254 5749548 | 2147483647 204600 32 | 6.070 % |
856.68/856.81 c | 236239 | 19282 716254 5749548 | 2147483647 205093 32 | 6.070 % |
857.68/857.84 c | 236782 | 19282 716254 5749548 | 2147483647 205636 32 | 6.070 % |
858.48/858.65 c | 237378 | 19282 716254 5749548 | 2147483647 206232 32 | 6.070 % |
859.38/859.54 c | 238033 | 19282 716254 5749548 | 2147483647 206887 32 | 6.070 % |
860.88/861.06 c | 238753 | 19282 716254 5749548 | 2147483647 207607 32 | 6.070 % |
862.58/862.78 c | 239545 | 19282 716254 5749548 | 2147483647 208399 32 | 6.070 % |
863.88/864.10 c | 240417 | 19279 716254 5749548 | 2147483647 209270 32 | 6.085 % |
865.38/865.60 c | 241375 | 19279 716254 5749548 | 2147483647 210228 32 | 6.085 % |
868.28/868.45 c | 242428 | 19279 716254 5749548 | 2147483647 211281 32 | 6.085 % |
869.88/870.09 c | 243587 | 19279 716254 5749548 | 2147483647 212440 32 | 6.085 % |
871.68/871.81 c | 244860 | 19279 716254 5749548 | 2147483647 213713 32 | 6.085 % |
873.88/874.05 c | 246260 | 19279 716254 5749548 | 2147483647 215113 32 | 6.085 % |
875.59/875.80 c | 247801 | 19279 716254 5749548 | 2147483647 216654 32 | 6.085 % |
879.38/879.55 c | 249495 | 19279 716254 5749548 | 2147483647 218348 32 | 6.085 % |
882.89/883.07 c | 251359 | 19277 715774 5737737 | 2147483647 220076 32 | 6.085 % |
887.49/887.62 c | 253409 | 19277 715774 5737737 | 2147483647 222126 32 | 6.085 % |
890.19/890.35 c | 255664 | 19277 715774 5737737 | 2147483647 224381 32 | 6.085 % |
893.89/894.04 c | 258142 | 19277 715774 5737737 | 2147483647 226859 32 | 6.085 % |
894.29/894.43 c | 258242 | 19277 715774 5737737 | 2147483647 226959 32 | 6.085 % |
894.49/894.66 c | 258352 | 19277 715774 5737737 | 2147483647 227069 32 | 6.085 % |
894.79/894.93 c | 258473 | 19277 715774 5737737 | 2147483647 227190 32 | 6.085 % |
895.09/895.23 c | 258607 | 19277 715774 5737737 | 2147483647 227324 32 | 6.085 % |
895.29/895.47 c | 258754 | 19277 715774 5737737 | 2147483647 227471 32 | 6.085 % |
895.49/895.70 c | 258915 | 19277 715774 5737737 | 2147483647 227632 32 | 6.085 % |
895.79/895.97 c | 259092 | 19277 715774 5737737 | 2147483647 227809 32 | 6.085 % |
896.19/896.32 c | 259285 | 19273 715774 5737737 | 2147483647 228000 32 | 6.173 % |
896.69/896.88 c | 259499 | 19273 715774 5737737 | 2147483647 228214 32 | 6.173 % |
897.19/897.36 c | 259732 | 19273 715774 5737737 | 2147483647 228447 32 | 6.173 % |
897.59/897.78 c | 259988 | 19273 715774 5737737 | 2147483647 228703 32 | 6.173 % |
898.49/898.70 c | 260269 | 19273 715774 5737737 | 2147483647 228984 32 | 6.173 % |
899.29/899.44 c | 260578 | 19273 715774 5737737 | 2147483647 229293 32 | 6.173 % |
899.89/900.11 c | 260918 | 19272 715774 5737737 | 2147483647 229632 32 | 6.236 % |
901.39/901.58 c | 261290 | 19272 715774 5737737 | 2147483647 230004 32 | 6.236 % |
902.19/902.34 c | 261700 | 19272 715774 5737737 | 2147483647 230414 32 | 6.236 % |
902.99/903.15 c | 262149 | 19272 715774 5737737 | 2147483647 230863 32 | 6.236 % |
904.29/904.45 c | 262642 | 19272 715774 5737737 | 2147483647 231356 32 | 6.236 % |
906.09/906.25 c | 263184 | 19272 715774 5737737 | 2147483647 231898 32 | 6.236 % |
906.89/907.04 c | 263780 | 19272 715774 5737737 | 2147483647 232494 32 | 6.236 % |
908.19/908.32 c | 264436 | 19272 715774 5737737 | 2147483647 233150 32 | 6.236 % |
910.69/910.91 c | 265158 | 19272 715774 5737737 | 2147483647 233872 32 | 6.236 % |
913.09/913.25 c | 265950 | 19272 715774 5737737 | 2147483647 234664 32 | 6.236 % |
916.69/916.81 c | 266822 | 19246 714291 5701344 | 2147483647 235069 32 | 6.236 % |
918.59/918.77 c | 267780 | 19246 714291 5701344 | 2147483647 236027 32 | 6.236 % |
922.99/923.14 c | 268834 | 19246 714291 5701344 | 2147483647 237081 32 | 6.236 % |
924.89/925.11 c | 269995 | 19246 714291 5701344 | 2147483647 238242 32 | 6.236 % |
927.19/927.41 c | 271269 | 19246 714291 5701344 | 2147483647 239516 32 | 6.236 % |
930.09/930.21 c | 272669 | 19246 714291 5701344 | 2147483647 240916 32 | 6.236 % |
933.29/933.42 c | 274209 | 19246 714291 5701344 | 2147483647 242456 32 | 6.236 % |
935.19/935.40 c | 275904 | 19246 714291 5701344 | 2147483647 244151 32 | 6.236 % |
939.99/940.11 c | 277769 | 19246 714291 5701344 | 2147483647 246016 32 | 6.236 % |
942.69/942.86 c | 279819 | 19246 714291 5701344 | 2147483647 248066 32 | 6.236 % |
945.49/945.66 c | 282072 | 19239 714291 5701344 | 2147483647 250318 32 | 6.275 % |
949.79/949.92 c | 284550 | 19232 714291 5701344 | 2147483647 252794 32 | 6.338 % |
956.59/956.71 c | 287277 | 19220 713551 5684785 | 2147483647 255235 33 | 6.363 % |
956.89/957.05 c | 287379 | 19220 713551 5684785 | 2147483647 255337 33 | 6.363 % |
957.19/957.40 c | 287489 | 19220 713551 5684785 | 2147483647 255447 33 | 6.363 % |
957.59/957.75 c | 287610 | 19220 713551 5684785 | 2147483647 255568 33 | 6.363 % |
957.99/958.17 c | 287744 | 19220 713551 5684785 | 2147483647 255702 33 | 6.363 % |
958.29/958.48 c | 287890 | 19220 713551 5684785 | 2147483647 255848 33 | 6.363 % |
959.09/959.22 c | 288051 | 19220 713551 5684785 | 2147483647 256009 33 | 6.363 % |
959.39/959.57 c | 288227 | 19220 713551 5684785 | 2147483647 256185 33 | 6.363 % |
959.99/960.18 c | 288420 | 19220 713551 5684785 | 2147483647 256378 33 | 6.363 % |
960.79/960.95 c | 288632 | 19220 713551 5684785 | 2147483647 256590 33 | 6.363 % |
961.49/961.63 c | 288865 | 19220 713551 5684785 | 2147483647 256823 33 | 6.363 % |
962.19/962.39 c | 289122 | 19220 713551 5684785 | 2147483647 257080 33 | 6.363 % |
962.79/962.94 c | 289404 | 19220 713551 5684785 | 2147483647 257362 33 | 6.363 % |
963.39/963.56 c | 289714 | 19220 713551 5684785 | 2147483647 257672 33 | 6.363 % |
964.39/964.59 c | 290053 | 19220 713551 5684785 | 2147483647 258011 33 | 6.363 % |
965.09/965.21 c | 290426 | 19220 713551 5684785 | 2147483647 258384 33 | 6.363 % |
965.69/965.82 c | 290836 | 19220 713551 5684785 | 2147483647 258794 33 | 6.363 % |
966.49/966.62 c | 291286 | 19220 713551 5684785 | 2147483647 259244 33 | 6.363 % |
967.59/967.71 c | 291780 | 19220 713551 5684785 | 2147483647 259738 33 | 6.363 % |
968.39/968.55 c | 292322 | 19220 713551 5684785 | 2147483647 260280 33 | 6.363 % |
970.20/970.36 c | 292919 | 19220 713551 5684785 | 2147483647 260877 33 | 6.363 % |
972.40/972.54 c | 293574 | 19220 713551 5684785 | 2147483647 261532 33 | 6.363 % |
973.19/973.40 c | 294294 | 19219 713551 5684785 | 2147483647 262251 33 | 6.368 % |
974.69/974.85 c | 295086 | 19219 713551 5684785 | 2147483647 263043 33 | 6.368 % |
975.99/976.12 c | 295957 | 19219 713551 5684785 | 2147483647 263914 33 | 6.368 % |
979.29/979.44 c | 296917 | 19219 713551 5684785 | 2147483647 264874 33 | 6.368 % |
981.89/982.10 c | 297970 | 19219 713551 5684785 | 2147483647 265927 33 | 6.368 % |
983.69/983.84 c | 299128 | 19219 713551 5684785 | 2147483647 267085 33 | 6.368 % |
985.39/985.52 c | 300401 | 19219 713551 5684785 | 2147483647 268358 33 | 6.368 % |
988.29/988.44 c | 301801 | 19219 713551 5684785 | 2147483647 269758 33 | 6.368 % |
993.79/993.95 c | 303341 | 19219 713551 5684785 | 2147483647 271298 34 | 6.368 % |
997.89/998.01 c | 305035 | 19219 713280 5677845 | 2147483647 272912 34 | 6.368 % |
1000.89/1001.01 c | 306900 | 19219 713280 5677845 | 2147483647 274777 34 | 6.368 % |
1006.09/1006.29 c | 308951 | 19219 713280 5677845 | 2147483647 276828 34 | 6.368 % |
1008.70/1008.81 c | 311204 | 19219 713280 5677845 | 2147483647 279081 34 | 6.368 % |
1012.00/1012.17 c | 313682 | 19219 713280 5677845 | 2147483647 281559 34 | 6.368 % |
1017.00/1017.15 c | 316408 | 19219 713280 5677845 | 2147483647 284285 34 | 6.368 % |
1022.20/1022.33 c | 319405 | 19219 713280 5677845 | 2147483647 287282 34 | 6.368 % |
1022.40/1022.56 c | 319507 | 19219 713280 5677845 | 2147483647 287384 34 | 6.368 % |
1022.70/1022.83 c | 319618 | 19219 713280 5677845 | 2147483647 287495 34 | 6.368 % |
1023.00/1023.13 c | 319740 | 19219 713280 5677845 | 2147483647 287617 34 | 6.368 % |
1023.20/1023.38 c | 319874 | 19219 713280 5677845 | 2147483647 287751 34 | 6.368 % |
1023.50/1023.66 c | 320021 | 19219 713280 5677845 | 2147483647 287898 34 | 6.368 % |
1023.90/1024.04 c | 320181 | 19219 713280 5677845 | 2147483647 288058 34 | 6.368 % |
1024.80/1024.97 c | 320359 | 19219 713280 5677845 | 2147483647 288236 34 | 6.368 % |
1025.10/1025.28 c | 320552 | 19219 713280 5677845 | 2147483647 288429 34 | 6.368 % |
1025.50/1025.70 c | 320764 | 19212 713280 5677845 | 2147483647 288637 34 | 6.402 % |
1026.40/1026.60 c | 320997 | 19212 713280 5677845 | 2147483647 288870 34 | 6.402 % |
1027.00/1027.12 c | 321254 | 19202 713280 5677845 | 2147483647 289125 34 | 6.450 % |
1027.70/1027.82 c | 321538 | 19202 713280 5677845 | 2147483647 289409 34 | 6.450 % |
1028.30/1028.51 c | 321847 | 19202 713280 5677845 | 2147483647 289718 34 | 6.450 % |
1029.00/1029.14 c | 322186 | 19202 713280 5677845 | 2147483647 290057 34 | 6.450 % |
1030.10/1030.26 c | 322558 | 19202 713280 5677845 | 2147483647 290429 34 | 6.450 % |
1031.00/1031.16 c | 322969 | 19202 713280 5677845 | 2147483647 290840 34 | 6.450 % |
1032.00/1032.21 c | 323419 | 19202 713280 5677845 | 2147483647 291290 34 | 6.450 % |
1032.70/1032.85 c | 323913 | 19202 713280 5677845 | 2147483647 291784 34 | 6.450 % |
1034.00/1034.13 c | 324456 | 19202 713280 5677845 | 2147483647 292327 34 | 6.450 % |
1034.90/1035.07 c | 325054 | 19202 713280 5677845 | 2147483647 292925 34 | 6.450 % |
1035.90/1036.08 c | 325710 | 19202 713280 5677845 | 2147483647 293581 34 | 6.450 % |
1037.20/1037.41 c | 326431 | 19202 712497 5658064 | 2147483647 294053 34 | 6.450 % |
1039.00/1039.21 c | 327224 | 19202 712497 5658064 | 2147483647 294846 34 | 6.450 % |
1040.91/1041.07 c | 328095 | 19202 712497 5658064 | 2147483647 295717 34 | 6.450 % |
1043.21/1043.37 c | 329053 | 19202 712497 5658064 | 2147483647 296675 34 | 6.450 % |
1045.71/1045.83 c | 330108 | 19188 712497 5658064 | 2147483647 297728 34 | 6.538 % |
1048.01/1048.13 c | 331267 | 19188 712497 5658064 | 2147483647 298887 34 | 6.538 % |
1050.11/1050.26 c | 332540 | 19188 712497 5658064 | 2147483647 300160 34 | 6.538 % |
1051.61/1051.74 c | 333940 | 19188 712497 5658064 | 2147483647 301560 34 | 6.538 % |
1054.11/1054.23 c | 335480 | 19188 712497 5658064 | 2147483647 303100 34 | 6.538 % |
1058.01/1058.15 c | 337174 | 19188 712497 5658064 | 2147483647 304794 34 | 6.538 % |
1059.81/1059.99 c | 339037 | 19188 712497 5658064 | 2147483647 306657 33 | 6.538 % |
1062.81/1062.96 c | 341086 | 19188 712497 5658064 | 2147483647 308705 33 | 6.548 % |
1065.71/1065.83 c | 343341 | 19186 712497 5658064 | 2147483647 310960 33 | 6.548 % |
1068.81/1068.95 c | 345821 | 19186 712497 5658064 | 2147483647 313440 33 | 6.548 % |
1080.51/1080.70 c | 348546 | 19185 712497 5658064 | 2147483647 316164 34 | 6.553 % |
1086.71/1086.87 c | 351544 | 19181 711548 5634605 | 2147483647 318846 34 | 6.553 % |
1093.01/1093.16 c | 354840 | 19181 711548 5634605 | 2147483647 322142 34 | 6.553 % |
1093.11/1093.32 c | 354941 | 19181 711548 5634605 | 2147483647 322243 34 | 6.553 % |
1093.51/1093.64 c | 355052 | 19181 711548 5634605 | 2147483647 322354 34 | 6.553 % |
1093.81/1093.95 c | 355173 | 19181 711548 5634605 | 2147483647 322475 34 | 6.553 % |
1094.11/1094.24 c | 355306 | 19181 711548 5634605 | 2147483647 322608 34 | 6.553 % |
1094.41/1094.55 c | 355453 | 19181 711548 5634605 | 2147483647 322755 34 | 6.553 % |
1094.71/1094.85 c | 355614 | 19181 711548 5634605 | 2147483647 322916 34 | 6.553 % |
1095.01/1095.20 c | 355790 | 19181 711548 5634605 | 2147483647 323092 34 | 6.553 % |
1095.41/1095.57 c | 355983 | 19181 711548 5634605 | 2147483647 323285 34 | 6.553 % |
1095.81/1095.96 c | 356195 | 19181 711548 5634605 | 2147483647 323497 34 | 6.553 % |
1096.21/1096.38 c | 356428 | 19181 711548 5634605 | 2147483647 323730 34 | 6.553 % |
1096.81/1097.01 c | 356686 | 19181 711548 5634605 | 2147483647 323988 34 | 6.553 % |
1097.51/1097.68 c | 356968 | 19181 711548 5634605 | 2147483647 324270 34 | 6.553 % |
1098.11/1098.27 c | 357278 | 19181 711548 5634605 | 2147483647 324580 34 | 6.553 % |
1098.71/1098.87 c | 357617 | 19181 711548 5634605 | 2147483647 324919 34 | 6.553 % |
1099.31/1099.45 c | 357990 | 19181 711548 5634605 | 2147483647 325292 34 | 6.553 % |
1099.91/1100.09 c | 358399 | 19181 711548 5634605 | 2147483647 325701 34 | 6.553 % |
1100.71/1100.89 c | 358848 | 19181 711548 5634605 | 2147483647 326150 34 | 6.553 % |
1101.21/1101.38 c | 359341 | 19181 711548 5634605 | 2147483647 326643 34 | 6.553 % |
1102.01/1102.18 c | 359883 | 19181 711548 5634605 | 2147483647 327185 34 | 6.553 % |
1103.01/1103.16 c | 360479 | 19181 711548 5634605 | 2147483647 327781 34 | 6.553 % |
1103.91/1104.08 c | 361135 | 19181 711548 5634605 | 2147483647 328437 34 | 6.553 % |
1105.11/1105.25 c | 361856 | 19181 711548 5634605 | 2147483647 329158 34 | 6.553 % |
1105.61/1105.80 c | 362649 | 19181 711548 5634605 | 2147483647 329951 34 | 6.553 % |
1106.51/1106.66 c | 363522 | 19181 711548 5634605 | 2147483647 330824 34 | 6.553 % |
1108.20/1108.37 c | 364480 | 19176 711548 5634605 | 2147483647 331780 34 | 6.592 % |
1109.80/1109.97 c | 365534 | 19176 711548 5634605 | 2147483647 332834 34 | 6.592 % |
1111.30/1111.43 c | 366693 | 19174 711548 5634605 | 2147483647 333992 34 | 6.641 % |
1113.70/1113.85 c | 367966 | 19164 711548 5634605 | 2147483647 335263 34 | 6.699 % |
1116.00/1116.18 c | 369366 | 19164 711548 5634605 | 2147483647 336663 33 | 6.699 % |
1117.80/1117.98 c | 370906 | 19164 711548 5634605 | 2147483647 338203 33 | 6.699 % |
1119.90/1120.10 c | 372602 | 19164 711548 5634605 | 2147483647 339899 33 | 6.699 % |
1124.80/1124.94 c | 374465 | 19164 711548 5634605 | 2147483647 341762 34 | 6.699 % |
1127.80/1127.96 c | 376514 | 19151 710135 5600526 | 2147483647 343369 33 | 6.699 % |
1133.30/1133.46 c | 378767 | 19151 710135 5600526 | 2147483647 345622 33 | 6.699 % |
1136.40/1136.58 c | 381245 | 19151 710135 5600526 | 2147483647 348100 33 | 6.699 % |
1139.20/1139.36 c | 383971 | 19151 710135 5600526 | 2147483647 350826 33 | 6.699 % |
1143.81/1144.01 c | 386968 | 19151 710135 5600526 | 2147483647 353823 33 | 6.699 % |
1152.41/1152.55 c | 390264 | 19149 710135 5600526 | 2147483647 357118 33 | 6.709 % |
1160.41/1160.58 c | 393889 | 19149 710135 5600526 | 2147483647 360743 33 | 6.709 % |
1160.71/1160.82 c | 393990 | 19149 710135 5600526 | 2147483647 360844 33 | 6.709 % |
1160.91/1161.03 c | 394101 | 19149 710135 5600526 | 2147483647 360955 33 | 6.709 % |
1161.21/1161.36 c | 394223 | 19149 710135 5600526 | 2147483647 361077 33 | 6.709 % |
1161.51/1161.70 c | 394358 | 19149 710135 5600526 | 2147483647 361212 33 | 6.709 % |
1162.01/1162.18 c | 394504 | 19149 710135 5600526 | 2147483647 361358 33 | 6.709 % |
1162.41/1162.57 c | 394667 | 19142 710135 5600526 | 2147483647 361519 33 | 6.743 % |
1162.81/1163.01 c | 394843 | 19142 710135 5600526 | 2147483647 361695 33 | 6.743 % |
1163.31/1163.41 c | 395038 | 19142 710135 5600526 | 2147483647 361890 33 | 6.743 % |
1163.61/1163.75 c | 395250 | 19142 710135 5600526 | 2147483647 362102 33 | 6.743 % |
1164.11/1164.25 c | 395483 | 19142 710135 5600526 | 2147483647 362335 33 | 6.743 % |
1164.71/1164.82 c | 395740 | 19142 710135 5600526 | 2147483647 362592 33 | 6.743 % |
1165.31/1165.47 c | 396021 | 19142 710135 5600526 | 2147483647 362873 33 | 6.743 % |
1166.11/1166.27 c | 396331 | 19142 710135 5600526 | 2147483647 363183 33 | 6.743 % |
1166.81/1166.95 c | 396670 | 19142 710135 5600526 | 2147483647 363522 33 | 6.743 % |
1167.51/1167.65 c | 397042 | 19142 710135 5600526 | 2147483647 363894 33 | 6.743 % |
1168.51/1168.71 c | 397451 | 19138 710135 5600526 | 2147483647 364301 33 | 6.762 % |
1169.41/1169.52 c | 397900 | 19137 710135 5600526 | 2147483647 364749 33 | 6.767 % |
1170.41/1170.54 c | 398396 | 19137 710135 5600526 | 2147483647 365245 33 | 6.767 % |
1171.31/1171.45 c | 398938 | 19137 710135 5600526 | 2147483647 365787 33 | 6.767 % |
1172.61/1172.78 c | 399534 | 19137 710135 5600526 | 2147483647 366383 33 | 6.767 % |
1174.31/1174.47 c | 400189 | 19137 710135 5600526 | 2147483647 367038 33 | 6.767 % |
1175.61/1175.72 c | 400910 | 19137 710135 5600526 | 2147483647 367759 33 | 6.767 % |
1177.31/1177.44 c | 401703 | 19137 709565 5587053 | 2147483647 368185 33 | 6.767 % |
1178.71/1178.84 c | 402574 | 19137 709565 5587053 | 2147483647 369056 33 | 6.767 % |
1180.71/1180.85 c | 403534 | 19137 709565 5587053 | 2147483647 370016 33 | 6.767 % |
1183.01/1183.16 c | 404587 | 19137 709565 5587053 | 2147483647 371069 33 | 6.767 % |
1184.81/1184.97 c | 405745 | 19137 709565 5587053 | 2147483647 372227 33 | 6.767 % |
1187.61/1187.72 c | 407018 | 19137 709565 5587053 | 2147483647 373500 33 | 6.767 % |
1191.61/1191.79 c | 408419 | 19135 709565 5587053 | 2147483647 374899 33 | 6.777 % |
1195.21/1195.38 c | 409960 | 19135 709565 5587053 | 2147483647 376440 33 | 6.777 % |
1199.31/1199.51 c | 411655 | 19135 709565 5587053 | 2147483647 378135 33 | 6.777 % |
1200.01/1200.12 HOME/SatELiteGTI: line 36: 1374 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820452-1242446550/watcher-1820452-1242446550 -o /tmp/evaluation-result-1820452-1242446550/solver-1820452-1242446550 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820452-1242446550.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/91 32498
/proc/meminfo: memFree=569524/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=816 CPUtime=0
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 80 0 0 0 0 0 0 0 18 0 1 0 1009153496 835584 16 4294967295 134512640 135223648 3214998864 3214998716 134808672 0 0 0 0 0 0 0 17 2 0 0 0
/proc/32502/statm: 237 31 24 174 0 62 0
[startup+0.125832 s]
/proc/loadavg: 1.00 1.02 1.00 3/91 32498
/proc/meminfo: memFree=569524/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=17924 CPUtime=0.13
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 3765 0 0 0 11 2 0 0 18 0 1 0 1009153496 18354176 3701 4294967295 134512640 135223648 3214998864 3214997744 134543108 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 4481 3702 47 174 0 4306 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 20340
[startup+0.225819 s]
/proc/loadavg: 1.00 1.02 1.00 3/91 32498
/proc/meminfo: memFree=569524/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=33588 CPUtime=0.23
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 6817 0 0 0 18 5 0 0 18 0 1 0 1009153496 34394112 6753 4294967295 134512640 135223648 3214998864 3214997816 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 8397 6753 47 174 0 8222 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 36004
[startup+0.32581 s]
/proc/loadavg: 1.00 1.02 1.00 3/91 32498
/proc/meminfo: memFree=569524/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=41904 CPUtime=0.33
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 9795 0 0 0 27 6 0 0 18 0 1 0 1009153496 42909696 9731 4294967295 134512640 135223648 3214998864 3214997816 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 10476 9731 47 174 0 10301 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 44320
[startup+0.725779 s]
/proc/loadavg: 1.00 1.02 1.00 3/91 32498
/proc/meminfo: memFree=569524/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=89760 CPUtime=0.73
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 21890 0 0 0 59 14 0 0 18 0 1 0 1009153496 91914240 21826 4294967295 134512640 135223648 3214998864 3214997816 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 22440 21827 47 174 0 22265 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 92176
[startup+1.52572 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32504
/proc/meminfo: memFree=433976/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=234428 CPUtime=1.53
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 46349 0 0 0 128 25 0 0 20 0 1 0 1009153496 240054272 46285 4294967295 134512640 135223648 3214998864 3214997816 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 58607 46285 47 174 0 58432 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 236844
[startup+3.1256 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32504
/proc/meminfo: memFree=317788/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=319504 CPUtime=3.13
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 66967 0 0 0 278 35 0 0 25 0 1 0 1009153496 327172096 65356 4294967295 134512640 135223648 3214998864 3214996864 134548979 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 79876 65356 73 174 0 79701 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 321920
[startup+6.32535 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32504
/proc/meminfo: memFree=290540/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=327020 CPUtime=6.33
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 68781 0 0 0 595 38 0 0 25 0 1 0 1009153496 334868480 67170 4294967295 134512640 135223648 3214998864 3214996864 134548161 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 81755 67170 73 174 0 81580 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 329436
[startup+12.7249 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32504
/proc/meminfo: memFree=261976/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=336664 CPUtime=12.73
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 71252 0 0 0 1229 44 0 0 25 0 1 0 1009153496 344743936 69641 4294967295 134512640 135223648 3214998864 3214996632 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 84166 69641 73 174 0 83991 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 339080
[startup+25.5239 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 32506
/proc/meminfo: memFree=220344/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=351272 CPUtime=25.52
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 74842 0 0 0 2496 56 0 0 25 0 1 0 1009153496 359702528 73231 4294967295 134512640 135223648 3214998864 3214996864 134548979 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32502/statm: 87818 73231 73 174 0 87643 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 353688
[startup+51.1119 s]
/proc/loadavg: 1.05 1.03 1.00 3/93 32692
/proc/meminfo: memFree=166536/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=374368 CPUtime=51.07
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 79823 0 0 0 5020 87 0 0 25 0 1 0 1009153496 383352832 78212 4294967295 134512640 135223648 3214998864 3214996632 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 93592 78212 73 174 0 93417 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 376784
[startup+102.318 s]
/proc/loadavg: 1.02 1.03 1.00 3/93 32695
/proc/meminfo: memFree=88944/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=403156 CPUtime=102.21
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 86360 0 0 0 10106 115 0 0 25 0 1 0 1009153496 412831744 84749 4294967295 134512640 135223648 3214998864 3214996632 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 100789 84749 73 174 0 100614 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 405572
[startup+162.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 414
/proc/meminfo: memFree=62756/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=424024 CPUtime=162.2
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 90879 0 0 0 16102 118 0 0 25 0 1 0 1009153496 434200576 88065 4294967295 134512640 135223648 3214998864 3214996832 134564077 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 106006 88065 73 174 0 105831 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 426440
[startup+222.319 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 602
/proc/meminfo: memFree=59532/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=427388 CPUtime=222.21
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 91624 0 0 0 22100 121 0 0 25 0 1 0 1009153496 437645312 88810 4294967295 134512640 135223648 3214998864 3214996880 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 106847 88810 73 174 0 106672 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 429804
[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 791
/proc/meminfo: memFree=56216/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=430912 CPUtime=282.21
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 92469 0 0 0 28100 121 0 0 25 0 1 0 1009153496 441253888 89655 4294967295 134512640 135223648 3214998864 3214996880 134549027 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 107728 89655 73 174 0 107553 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 433328
[startup+342.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 994
/proc/meminfo: memFree=52280/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2416 CPUtime=0
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 366 645 0 0 0 0 0 0 18 0 1 0 1009153495 2473984 276 4294967295 134512640 135169312 3219980832 3219979368 3085745902 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/32498/statm: 604 276 235 161 0 43 0
[pid=32502] ppid=32498 vsize=435460 CPUtime=342.22
/proc/32502/stat : 32502 (SatELite_releas) R 32498 32498 15108 0 -1 4202496 93420 0 0 0 34100 122 0 0 25 0 1 0 1009153496 445911040 90606 4294967295 134512640 135223648 3214998864 3214996656 134585461 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32502/statm: 108865 90606 73 174 0 108690 0
Current children cumulated CPU time (s) 342.22
################
# More data... #
################
[pid=1374] ppid=32498 vsize=74320 CPUtime=4.37
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 18116 0 0 0 424 13 0 0 25 0 1 0 1009199289 76103680 18051 4294967295 134512640 135215339 3219847760 3219846048 134528694 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 18580 18051 73 172 0 18407 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 76740
[startup+522.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1562
/proc/meminfo: memFree=347504/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=82008 CPUtime=64.37
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 20054 0 0 0 6421 16 0 0 25 0 1 0 1009199289 83976192 19989 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 20502 19989 73 172 0 20329 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 84428
[startup+582.311 s]
/proc/loadavg: 1.06 1.01 1.00 3/93 1751
/proc/meminfo: memFree=347256/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=82208 CPUtime=124.36
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 20077 0 0 0 12419 17 0 0 25 0 1 0 1009199289 84180992 20012 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 20552 20012 73 172 0 20379 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 84628
[startup+642.317 s]
/proc/loadavg: 1.02 1.01 1.00 3/93 1937
/proc/meminfo: memFree=344736/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=84716 CPUtime=184.37
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 20706 0 0 0 18419 18 0 0 25 0 1 0 1009199289 86749184 20641 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 21179 20641 73 172 0 21006 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 87136
[startup+702.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 2130
/proc/meminfo: memFree=339552/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=90044 CPUtime=244.38
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 22021 0 0 0 24420 18 0 0 25 0 1 0 1009199289 92205056 21956 4294967295 134512640 135215339 3219847760 3219846048 134528616 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 22511 21956 73 172 0 22338 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 92464
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2317
/proc/meminfo: memFree=334252/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=95328 CPUtime=304.38
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 23333 0 0 0 30420 18 0 0 25 0 1 0 1009199289 97615872 23268 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 23832 23268 73 172 0 23659 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 97748
[startup+822.313 s]
/proc/loadavg: 1.18 1.05 1.01 2/93 2512
/proc/meminfo: memFree=329772/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=99816 CPUtime=364.38
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 24475 0 0 0 36416 22 0 0 25 0 1 0 1009199289 102211584 24410 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 24954 24410 73 172 0 24781 0
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (KiB) 102236
[startup+882.318 s]
/proc/loadavg: 1.06 1.03 1.01 2/93 2711
/proc/meminfo: memFree=324424/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=105108 CPUtime=424.39
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 25735 0 0 0 42415 24 0 0 25 0 1 0 1009199289 107630592 25670 4294967295 134512640 135215339 3219847760 3219846048 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 26277 25670 73 172 0 26104 0
Current children cumulated CPU time (s) 882.19
Current children cumulated vsize (KiB) 107528
[startup+942.314 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 2899
/proc/meminfo: memFree=320116/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=109464 CPUtime=484.39
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 26853 0 0 0 48414 25 0 0 25 0 1 0 1009199289 112091136 26788 4294967295 134512640 135215339 3219847760 3219846048 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 27366 26788 73 172 0 27193 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 111884
[startup+1002.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 3089
/proc/meminfo: memFree=313288/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=116064 CPUtime=544.39
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 28509 0 0 0 54413 26 0 0 25 0 1 0 1009199289 118849536 28444 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 29016 28444 73 172 0 28843 0
Current children cumulated CPU time (s) 1002.19
Current children cumulated vsize (KiB) 118484
[startup+1062.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 3278
/proc/meminfo: memFree=308932/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=120288 CPUtime=604.41
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 29617 0 0 0 60413 28 0 0 25 0 1 0 1009199289 123174912 29552 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 30072 29552 73 172 0 29899 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 122708
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 3496
/proc/meminfo: memFree=303576/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=126176 CPUtime=664.4
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 30962 0 0 0 66411 29 0 0 25 0 1 0 1009199289 129204224 30897 4294967295 134512640 135215339 3219847760 3219846048 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 31544 30897 73 172 0 31371 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 128596
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 3685
/proc/meminfo: memFree=299492/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=130272 CPUtime=724.41
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 32026 0 0 0 72412 29 0 0 25 0 1 0 1009199289 133398528 31961 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 32568 31961 73 172 0 32395 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 132692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.11 s]
/proc/loadavg: 1.07 1.02 1.00 2/93 3868
/proc/meminfo: memFree=297884/2074464 swapFree=1952056/1959888
[pid=32498] ppid=32496 vsize=2420 CPUtime=457.8
/proc/32498/stat : 32498 (SatELiteGTI) S 32496 32498 15108 0 -1 4194304 385 103711 0 0 0 0 45633 147 20 0 1 0 1009153495 2478080 277 4294967295 134512640 135169312 3219980832 3219977048 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32498/statm: 605 277 235 161 0 44 0
[pid=1374] ppid=32498 vsize=131724 CPUtime=742.21
/proc/1374/stat : 1374 (minisat_static) R 32498 32498 15108 0 -1 4202496 32382 0 0 0 74192 29 0 0 25 0 1 0 1009199289 134885376 32317 4294967295 134512640 135215339 3219847760 3219846048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1374/statm: 32931 32317 73 172 0 32758 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 134144
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)
Real time (s): 1200.13
CPU time (s): 1200.02
CPU user time (s): 1198.25
CPU system time (s): 1.77
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 468868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.25
system time used= 1.77
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136570
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= 33
involuntary context switches= 4034
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-16 06:02:30
IDJOB=1820452
IDBENCH=20408
IDSOLVER=657
FILE ID=tipi24/1820452-1242446550
PBS_JOBID=
Free space on /tmp= 10883 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= runsolver --timestamp -w /tmp/evaluation-result-1820452-1242446550/watcher-1820452-1242446550 -o /tmp/evaluation-result-1820452-1242446550/solver-1820452-1242446550 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820452-1242446550.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= afc9746f162b3434bc79ea21bd1704d5
RANDOM SEED= 1358297782
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 569524 kB
Buffers: 37656 kB
Cached: 1363512 kB
SwapCached: 3968 kB
Active: 574984 kB
Inactive: 836052 kB
HighTotal: 1178688 kB
HighFree: 29788 kB
LowTotal: 895776 kB
LowFree: 539736 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 41156 kB
Writeback: 0 kB
AnonPages: 8896 kB
Mapped: 3172 kB
Slab: 85232 kB
PageTables: 636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87804 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10739 MiB
End job on tipi24 at 2009-05-16 06:22:36