c wbo 1.4 beta - 20100610 c | Number of variables: 513 | c | Number of clauses: 1788 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2044 | c | Number Clauses: 1702 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2044 1702 5106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3093775 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 2044 1703 6721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3093577 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 2044 1704 8336 | 5000 1 1560 | 0.000 % | c =============================================================================== c New solution: 3091736 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 2044 1705 9951 | 5000 1 1560 | 0.000 % | c =============================================================================== c New solution: 3091001 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 2044 1706 11566 | 5000 1 1560 | 0.000 % | c | 102 | 2044 1706 11566 | 5500 102 1558 | 0.000 % | c =============================================================================== c New solution: 3090944 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 203 | 2044 1707 13181 | 5000 203 1558 | 0.000 % | c =============================================================================== c New solution: 3089818 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 204 | 2044 1708 14796 | 5000 204 1558 | 0.000 % | c | 304 | 2044 1708 14796 | 5500 304 1558 | 0.000 % | c =============================================================================== c New solution: 3089635 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 308 | 2044 1709 16411 | 5000 308 1558 | 0.000 % | c =============================================================================== c New solution: 3089529 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 336 | 2044 1710 18026 | 5000 336 1558 | 0.000 % | c =============================================================================== c New solution: 3089455 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 344 | 2044 1711 19641 | 5000 344 1558 | 0.000 % | c =============================================================================== c New solution: 3089127 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 344 | 2044 1712 21256 | 5000 344 1558 | 0.000 % | c =============================================================================== c New solution: 3088931 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 412 | 2044 1713 22871 | 5000 412 1558 | 0.000 % | c | 513 | 2044 1713 22871 | 5500 513 1558 | 0.000 % | c =============================================================================== c New solution: 3088878 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 572 | 2044 1714 24486 | 5000 572 1558 | 0.000 % | c =============================================================================== c New solution: 3088612 c Elapsed CPU time: 0.620905 s Remaining CPU time: 179.379 s c =============================================================================== c | 604 | 2044 1715 26101 | 5000 604 1558 | 0.000 % | c | 704 | 2044 1715 26101 | 5500 704 1557 | 0.000 % | c | 855 | 2044 1715 26101 | 6050 855 1557 | 0.000 % | c | 1081 | 2044 1715 26101 | 6655 1081 1557 | 0.000 % | c =============================================================================== c New solution: 3088567 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 1225 | 2044 1716 27716 | 5000 1225 1557 | 0.000 % | c | 1325 | 2044 1716 27716 | 5500 1325 1557 | 0.000 % | c | 1475 | 2044 1716 27716 | 6050 1475 1557 | 0.000 % | c | 1700 | 2044 1716 27716 | 6655 1700 1557 | 0.000 % | c =============================================================================== c New solution: 3088552 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 1818 | 2044 1717 29331 | 5000 1818 1557 | 0.000 % | c | 1918 | 2044 1717 29331 | 5500 1918 1557 | 0.000 % | c | 2068 | 2044 1717 29331 | 6050 2068 1557 | 0.000 % | c | 2294 | 2044 1717 29331 | 6655 2294 1557 | 0.000 % | c =============================================================================== c New solution: 3088536 c Elapsed CPU time: 2.36564 s Remaining CPU time: 177.634 s c =============================================================================== c | 2340 | 2044 1718 30946 | 5000 2340 1557 | 0.000 % | c | 2441 | 2044 1718 30946 | 5500 2441 1557 | 0.000 % | c | 2592 | 2044 1718 30946 | 6050 2592 1557 | 0.000 % | c | 2817 | 2044 1718 30946 | 6655 2817 1557 | 0.000 % | c =============================================================================== c New solution: 3088406 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 2828 | 2044 1719 32561 | 5000 2828 1557 | 0.000 % | c | 2928 | 2044 1719 32561 | 5500 2928 1557 | 0.000 % | c | 3079 | 2044 1719 32561 | 6050 3079 1557 | 0.000 % | c =============================================================================== c New solution: 3088318 c Elapsed CPU time: 3.2585 s Remaining CPU time: 176.741 s c =============================================================================== c | 3088 | 2044 1720 34176 | 5000 3088 1557 | 0.000 % | c | 3189 | 2044 1720 34176 | 5500 3189 1557 | 0.000 % | c | 3340 | 2044 1720 34176 | 6050 3340 1557 | 0.000 % | c =============================================================================== c New solution: 3087695 c Elapsed CPU time: 3.58545 s Remaining CPU time: 176.415 s c =============================================================================== c | 3340 | 2044 1721 35791 | 5000 3340 1557 | 0.000 % | c =============================================================================== c New solution: 3087633 c Elapsed CPU time: 3.62045 s Remaining CPU time: 176.38 s c =============================================================================== c | 3347 | 2044 1722 37406 | 5000 3347 1557 | 0.000 % | c | 3447 | 2044 1722 37406 | 5500 3447 1557 | 0.000 % | c =============================================================================== c New solution: 3087623 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s c =============================================================================== c | 3464 | 2044 1723 39021 | 5000 3464 1557 | 0.000 % | c | 3564 | 2044 1723 39021 | 5500 3564 1557 | 0.000 % | c | 3714 | 2044 1723 39021 | 6050 3714 1557 | 0.000 % | c =============================================================================== c New solution: 3087587 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s c =============================================================================== c | 3819 | 2044 1724 40636 | 5000 3819 1557 | 0.000 % | c | 3920 | 2044 1724 40636 | 5500 3920 1557 | 0.000 % | c | 4070 | 2044 1724 40636 | 6050 4070 1557 | 0.000 % | c | 4296 | 2044 1724 40636 | 6655 4296 1557 | 0.000 % | c | 4633 | 2044 1724 40636 | 7320 4633 1557 | 0.000 % | c =============================================================================== c New solution: 3087540 c Elapsed CPU time: 5.71013 s Remaining CPU time: 174.29 s c =============================================================================== c | 5011 | 2044 1725 42251 | 5000 5011 1557 | 0.000 % | c | 5111 | 2044 1725 42251 | 5500 2606 1557 | 0.000 % | c =============================================================================== c New solution: 3087501 c Elapsed CPU time: 5.99009 s Remaining CPU time: 174.01 s c =============================================================================== c | 5202 | 2044 1726 43866 | 5000 2697 1557 | 0.000 % | c | 5302 | 2044 1726 43866 | 5500 2797 1557 | 0.000 % | c =============================================================================== c New solution: 3087256 c Elapsed CPU time: 6.25205 s Remaining CPU time: 173.748 s c =============================================================================== c | 5359 | 2044 1727 45481 | 5000 2854 1557 | 0.000 % | c | 5460 | 2044 1727 45481 | 5500 2955 1557 | 0.000 % | c | 5610 | 2044 1727 45481 | 6050 3105 1557 | 0.000 % | c | 5836 | 2044 1727 45481 | 6655 3331 1557 | 0.000 % | c | 6173 | 2044 1727 45481 | 7320 3668 1557 | 0.000 % | c | 6679 | 2044 1727 45481 | 8052 4174 1557 | 0.000 % | c =============================================================================== c New solution: 3087095 c Elapsed CPU time: 8.31874 s Remaining CPU time: 171.681 s c =============================================================================== c | 6744 | 2044 1728 47096 | 5000 4239 1557 | 0.000 % | c | 6845 | 2044 1728 47096 | 5500 4340 1557 | 0.000 % | c =============================================================================== c New solution: 3086892 c Elapsed CPU time: 8.5337 s Remaining CPU time: 171.466 s c =============================================================================== c | 6857 | 2044 1729 48711 | 5000 4352 1557 | 0.000 % | c | 6957 | 2044 1729 48711 | 5500 4452 1557 | 0.000 % | c | 7108 | 2044 1729 48711 | 6050 4603 1557 | 0.000 % | c | 7333 | 2044 1729 48711 | 6655 4828 1556 | 0.000 % | c =============================================================================== c New solution: 3086878 c Elapsed CPU time: 9.59554 s Remaining CPU time: 170.404 s c =============================================================================== c | 7589 | 2044 1730 50326 | 5000 5084 1556 | 0.000 % | c | 7689 | 2044 1730 50326 | 5500 2642 1556 | 0.000 % | c | 7839 | 2044 1730 50326 | 6050 2792 1556 | 0.000 % | c | 8064 | 2044 1730 50326 | 6655 3017 1556 | 0.000 % | c =============================================================================== c New solution: 3086874 c Elapsed CPU time: 10.5834 s Remaining CPU time: 169.417 s c =============================================================================== c | 8235 | 2044 1731 51941 | 5000 3188 1556 | 0.000 % | c | 8336 | 2044 1731 51941 | 5500 3289 1556 | 0.000 % | c =============================================================================== c New solution: 3086806 c Elapsed CPU time: 10.8034 s Remaining CPU time: 169.197 s c =============================================================================== c | 8353 | 2044 1732 53556 | 5000 3306 1556 | 0.000 % | c | 8454 | 2044 1732 53556 | 5500 3407 1556 | 0.000 % | c =============================================================================== c New solution: 3086805 c Elapsed CPU time: 10.9813 s Remaining CPU time: 169.019 s c =============================================================================== c | 8456 | 2044 1733 55171 | 5000 3409 1556 | 0.000 % | c | 8557 | 2044 1733 55171 | 5500 3510 1556 | 0.000 % | c | 8707 | 2044 1733 55171 | 6050 3660 1556 | 0.000 % | c | 8934 | 2044 1733 55171 | 6655 3887 1556 | 0.000 % | c | 9271 | 2044 1733 55171 | 7320 4224 1556 | 0.000 % | c =============================================================================== c New solution: 3086693 c Elapsed CPU time: 12.2421 s Remaining CPU time: 167.758 s c =============================================================================== c | 9335 | 2044 1734 56786 | 5000 4288 1556 | 0.000 % | c | 9435 | 2044 1734 56786 | 5500 4388 1556 | 0.000 % | c | 9585 | 2044 1734 56786 | 6050 4538 1556 | 0.000 % | c | 9811 | 2044 1734 56786 | 6655 4764 1556 | 0.000 % | c | 10149 | 2044 1734 56786 | 7320 5102 1556 | 0.000 % | c | 10655 | 2044 1734 56786 | 8052 5608 1556 | 0.000 % | c | 11415 | 2044 1734 56786 | 8857 6368 1556 | 0.000 % | c | 12555 | 2044 1734 56786 | 9743 7508 1556 | 0.000 % | c | 14264 | 2044 1734 56786 | 10717 9217 1556 | 0.000 % | c =============================================================================== c New solution: 3086614 c Elapsed CPU time: 20.3359 s Remaining CPU time: 159.664 s c =============================================================================== c | 14303 | 2044 1735 58401 | 5000 9256 1556 | 0.000 % | c | 14404 | 2044 1735 58401 | 5500 4729 1556 | 0.000 % | c | 14554 | 2044 1735 58401 | 6050 4879 1556 | 0.000 % | c | 14780 | 2044 1735 58401 | 6655 5105 1556 | 0.000 % | c | 15117 | 2044 1735 58401 | 7320 5442 1555 | 0.000 % | c =============================================================================== c New solution: 3086549 c Elapsed CPU time: 21.8577 s Remaining CPU time: 158.142 s c =============================================================================== c | 15251 | 2044 1736 60016 | 5000 5576 1555 | 0.000 % | c | 15351 | 2044 1736 60016 | 5500 2888 1555 | 0.000 % | c | 15501 | 2044 1736 60016 | 6050 3038 1555 | 0.000 % | c | 15727 | 2044 1736 60016 | 6655 3264 1555 | 0.000 % | c | 16065 | 2044 1736 60016 | 7320 3602 1555 | 0.000 % | c | 16571 | 2044 1736 60016 | 8052 4108 1555 | 0.000 % | c =============================================================================== c New solution: 3086525 c Elapsed CPU time: 24.1993 s Remaining CPU time: 155.801 s c =============================================================================== c | 16576 | 2044 1737 61631 | 5000 4113 1555 | 0.000 % | c | 16677 | 2044 1737 61631 | 5500 4214 1555 | 0.000 % | c | 16829 | 2044 1737 61631 | 6050 4366 1555 | 0.000 % | c =============================================================================== c New solution: 3086290 c Elapsed CPU time: 24.7042 s Remaining CPU time: 155.296 s c =============================================================================== c | 16833 | 2044 1738 63246 | 5000 4370 1555 | 0.000 % | c | 16934 | 2044 1738 63246 | 5500 4471 1555 | 0.000 % | c | 17086 | 2044 1738 63246 | 6050 4623 1555 | 0.000 % | c =============================================================================== c New solution: 3086267 c Elapsed CPU time: 25.5391 s Remaining CPU time: 154.461 s c =============================================================================== c | 17242 | 2044 1739 64861 | 5000 4779 1555 | 0.000 % | c | 17343 | 2044 1739 64861 | 5500 4880 1555 | 0.000 % | c | 17493 | 2044 1739 64861 | 6050 5030 1555 | 0.000 % | c | 17718 | 2044 1739 64861 | 6655 5255 1555 | 0.000 % | c | 18055 | 2044 1739 64861 | 7320 5592 1555 | 0.000 % | c | 18561 | 2044 1739 64861 | 8052 6098 1555 | 0.000 % | c =============================================================================== c New solution: 3086253 c Elapsed CPU time: 28.7586 s Remaining CPU time: 151.241 s c =============================================================================== c | 19026 | 2044 1740 66476 | 5000 6563 1555 | 0.000 % | c | 19126 | 2044 1740 66476 | 5500 3382 1556 | 0.000 % | c | 19277 | 2044 1740 66476 | 6050 3533 1556 | 0.000 % | c | 19503 | 2044 1740 66476 | 6655 3759 1555 | 0.000 % | c | 19840 | 2044 1740 66476 | 7320 4096 1556 | 0.000 % | c | 20346 | 2044 1740 66476 | 8052 4602 1555 | 0.000 % | c =============================================================================== c New solution: 3086235 c Elapsed CPU time: 31.7352 s Remaining CPU time: 148.265 s c =============================================================================== c | 20715 | 2044 1741 68091 | 5000 4971 1555 | 0.000 % | c | 20816 | 2044 1741 68091 | 5500 5072 1555 | 0.000 % | c | 20967 | 2044 1741 68091 | 6050 5223 1555 | 0.000 % | c | 21192 | 2044 1741 68091 | 6655 5448 1555 | 0.000 % | c =============================================================================== c New solution: 3086126 c Elapsed CPU time: 32.738 s Remaining CPU time: 147.262 s c =============================================================================== c | 21219 | 2044 1742 69706 | 5000 5475 1555 | 0.000 % | c | 21320 | 2044 1742 69706 | 5500 2839 1555 | 0.000 % | c =============================================================================== c New solution: 3086100 c Elapsed CPU time: 33.2189 s Remaining CPU time: 146.781 s c =============================================================================== c | 21431 | 2044 1743 71321 | 5000 2950 1555 | 0.000 % | c | 21532 | 2044 1743 71321 | 5500 3051 1555 | 0.000 % | c | 21683 | 2044 1743 71321 | 6050 3202 1555 | 0.000 % | c | 21908 | 2044 1743 71321 | 6655 3427 1555 | 0.000 % | c | 22245 | 2044 1743 71321 | 7320 3764 1555 | 0.000 % | c | 22752 | 2044 1743 71321 | 8052 4271 1555 | 0.000 % | c =============================================================================== c New solution: 3085973 c Elapsed CPU time: 35.5816 s Remaining CPU time: 144.418 s c =============================================================================== c | 22794 | 2044 1744 72936 | 5000 4313 1555 | 0.000 % | c | 22894 | 2044 1744 72936 | 5500 4413 1555 | 0.000 % | c | 23045 | 2044 1744 72936 | 6050 4564 1555 | 0.000 % | c | 23270 | 2044 1744 72936 | 6655 4789 1555 | 0.000 % | c | 23608 | 2044 1744 72936 | 7320 5127 1555 | 0.000 % | c | 24115 | 2044 1744 72936 | 8052 5634 1555 | 0.000 % | c =============================================================================== c New solution: 3085972 c Elapsed CPU time: 38.6461 s Remaining CPU time: 141.354 s c =============================================================================== c | 24410 | 2044 1745 74551 | 5000 5929 1555 | 0.000 % | c | 24512 | 2044 1745 74551 | 5500 3067 1555 | 0.000 % | c | 24662 | 2044 1745 74551 | 6050 3217 1555 | 0.000 % | c | 24887 | 2044 1745 74551 | 6655 3442 1555 | 0.000 % | c | 25224 | 2044 1745 74551 | 7320 3779 1555 | 0.000 % | c | 25730 | 2044 1745 74551 | 8052 4285 1555 | 0.000 % | c | 26489 | 2044 1745 74551 | 8857 5044 1555 | 0.000 % | c | 27629 | 2044 1745 74551 | 9743 6184 1555 | 0.000 % | c =============================================================================== c New solution: 3085926 c Elapsed CPU time: 45.4921 s Remaining CPU time: 134.508 s c =============================================================================== c | 27876 | 2044 1746 76166 | 5000 6431 1555 | 0.000 % | c | 27976 | 2044 1746 76166 | 5500 3316 1555 | 0.000 % | c | 28127 | 2044 1746 76166 | 6050 3467 1555 | 0.000 % | c | 28353 | 2044 1746 76166 | 6655 3693 1555 | 0.000 % | c | 28691 | 2044 1746 76166 | 7320 4031 1555 | 0.000 % | c | 29197 | 2044 1746 76166 | 8052 4537 1555 | 0.000 % | c =============================================================================== c New solution: 3085884 c Elapsed CPU time: 48.2327 s Remaining CPU time: 131.767 s c =============================================================================== c | 29262 | 2044 1747 77781 | 5000 4602 1555 | 0.000 % | c | 29363 | 2044 1747 77781 | 5500 4703 1555 | 0.000 % | c | 29513 | 2044 1747 77781 | 6050 4853 1555 | 0.000 % | c | 29738 | 2044 1747 77781 | 6655 5078 1555 | 0.000 % | c =============================================================================== c New solution: 3085854 c Elapsed CPU time: 49.3885 s Remaining CPU time: 130.612 s c =============================================================================== c | 29758 | 2044 1748 79396 | 5000 5098 1555 | 0.000 % | c | 29858 | 2044 1748 79396 | 5500 2649 1555 | 0.000 % | c | 30008 | 2044 1748 79396 | 6050 2799 1555 | 0.000 % | c | 30234 | 2044 1748 79396 | 6655 3025 1555 | 0.000 % | c | 30572 | 2044 1748 79396 | 7320 3363 1555 | 0.000 % | c | 31079 | 2044 1748 79396 | 8052 3870 1555 | 0.000 % | c | 31839 | 2044 1748 79396 | 8857 4630 1555 | 0.000 % | c =============================================================================== c New solution: 3085746 c Elapsed CPU time: 53.6888 s Remaining CPU time: 126.311 s c =============================================================================== c | 31964 | 2044 1749 81011 | 5000 4755 1555 | 0.000 % | c | 32064 | 2044 1749 81011 | 5500 4855 1555 | 0.000 % | c | 32214 | 2044 1749 81011 | 6050 5005 1555 | 0.000 % | c | 32439 | 2044 1749 81011 | 6655 5230 1555 | 0.000 % | c =============================================================================== c New solution: 3085453 c Elapsed CPU time: 54.6287 s Remaining CPU time: 125.371 s c =============================================================================== c | 32443 | 2044 1750 82626 | 5000 5234 1555 | 0.000 % | c | 32544 | 2044 1750 82626 | 5500 2718 1554 | 0.000 % | c | 32695 | 2044 1750 82626 | 6050 2869 1554 | 0.000 % | c | 32922 | 2044 1750 82626 | 6655 3096 1554 | 0.000 % | c | 33260 | 2044 1750 82626 | 7320 3434 1554 | 0.000 % | c | 33767 | 2044 1750 82626 | 8052 3941 1554 | 0.000 % | c | 34526 | 2044 1750 82626 | 8857 4700 1554 | 0.000 % | c =============================================================================== c New solution: 3085364 c Elapsed CPU time: 58.6761 s Remaining CPU time: 121.324 s c =============================================================================== c | 34782 | 2044 1751 84241 | 5000 4956 1554 | 0.000 % | c | 34882 | 2044 1751 84241 | 5500 5056 1554 | 0.000 % | c | 35033 | 2044 1751 84241 | 6050 5207 1554 | 0.000 % | c | 35258 | 2044 1751 84241 | 6655 5432 1554 | 0.000 % | c | 35595 | 2044 1751 84241 | 7320 5769 1554 | 0.000 % | c | 36102 | 2044 1751 84241 | 8052 6276 1555 | 0.000 % | c | 36862 | 2044 1751 84241 | 8857 7036 1554 | 0.000 % | c | 38001 | 2044 1751 84241 | 9743 8175 1555 | 0.000 % | c | 39709 | 2044 1751 84241 | 10717 9883 1555 | 0.000 % | c | 42273 | 2044 1751 84241 | 11789 6286 1555 | 0.000 % | c | 46117 | 2044 1751 84241 | 12968 10130 1554 | 0.000 % | c =============================================================================== c New solution: 3085361 c Elapsed CPU time: 81.9745 s Remaining CPU time: 98.0255 s c =============================================================================== c | 46951 | 2044 1752 85856 | 5000 10964 1554 | 0.000 % | c | 47052 | 2044 1752 85856 | 5500 2842 1554 | 0.000 % | c | 47202 | 2044 1752 85856 | 6050 2992 1554 | 0.000 % | c | 47427 | 2044 1752 85856 | 6655 3217 1554 | 0.000 % | c | 47765 | 2044 1752 85856 | 7320 3555 1554 | 0.000 % | c | 48271 | 2044 1752 85856 | 8052 4061 1554 | 0.000 % | c | 49030 | 2044 1752 85856 | 8857 4820 1554 | 0.000 % | c | 50170 | 2044 1752 85856 | 9743 5960 1554 | 0.000 % | c | 51878 | 2044 1752 85856 | 10717 7668 1554 | 0.000 % | c | 54440 | 2044 1752 85856 | 11789 10230 1554 | 0.000 % | c =============================================================================== c New solution: 3085354 c Elapsed CPU time: 99.9808 s Remaining CPU time: 80.0192 s c =============================================================================== c | 56431 | 2044 1753 87471 | 5000 12221 1555 | 0.000 % | c | 56532 | 2044 1753 87471 | 5500 3157 1555 | 0.000 % | c | 56683 | 2044 1753 87471 | 6050 3308 1555 | 0.000 % | c | 56908 | 2044 1753 87471 | 6655 3533 1555 | 0.000 % | c | 57245 | 2044 1753 87471 | 7320 3870 1555 | 0.000 % | c | 57752 | 2044 1753 87471 | 8052 4377 1555 | 0.000 % | c | 58512 | 2044 1753 87471 | 8857 5137 1555 | 0.000 % | c | 59651 | 2044 1753 87471 | 9743 6276 1555 | 0.000 % | c | 61360 | 2044 1753 87471 | 10717 7985 1555 | 0.000 % |