| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf |
| MD5SUM | 08b4f1e095a7a4b98cb40c2c00e78d45 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.477926 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 952 |
| Number of clauses | 84809 |
| Sum of the clauses size | 170510 |
| Maximum clause length | 32 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 84779 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 30 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 84809 170510 | 25442 0 0 nan | 0.000 % | 0.00/0.14 c | 0 | 83857 242480 | -- 0 -- -- | -- | -952/71970 0.00/0.14 c ============================================================================== 0.00/0.14 c Result : #vars: 922 #clauses: 83857 #literals: 242480 0.00/0.14 c CPU time: 0.137979 s 0.00/0.14 c ============================================================================== 0.00/0.18 c 0.00/0.18 c Starting glucose 0.00/0.18 c 132.05/132.12 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 132.05/132.12 c WARNING: for repeatability, setting FPU to use double precision 132.05/132.12 c ============================[ Problem Statistics ]============================= 132.05/132.12 c | | 132.05/132.12 c | Number of variables: 922 | 132.05/132.12 c | Number of clauses: 83857 | 132.05/132.12 c | Parse time: 0.01 s | 132.05/132.12 c | | 132.05/132.12 c ============================[ Search Statistics ]============================== 132.05/132.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 132.05/132.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 132.05/132.12 c =============================================================================== 132.05/132.12 c | 18359 | 922 83857 242480 | 1 12068 197 | 0.000 % | 132.05/132.12 c | 18459 | 922 83857 242480 | 1 12168 196 | 0.000 % | 132.05/132.12 c | 18706 | 922 83857 242480 | 1 12415 196 | 0.000 % | 132.05/132.12 c | 18870 | 922 83857 242480 | 1 12579 195 | 0.000 % | 132.05/132.12 c | 20690 | 922 83857 242480 | 1 7651 149 | 0.000 % | 132.05/132.12 c | 25087 | 922 83857 242480 | 1 12048 140 | 0.000 % | 132.05/132.12 c | 25210 | 922 83857 242480 | 1 12171 141 | 0.000 % | 132.05/132.12 c | 25310 | 922 83857 242480 | 1 12271 140 | 0.000 % | 132.05/132.12 c | 30150 | 922 83857 242480 | 1 17111 141 | 0.000 % | 132.05/132.12 c | 30285 | 922 83857 242480 | 1 17246 141 | 0.000 % | 132.05/132.12 c | 30385 | 922 83857 242480 | 1 17346 141 | 0.000 % | 132.05/132.12 c | 33295 | 922 83857 242480 | 1 10982 126 | 0.000 % | 132.05/132.12 c | 34087 | 922 83857 242480 | 1 11774 126 | 0.000 % | 132.05/132.12 c | 35282 | 922 83857 242480 | 1 12969 127 | 0.000 % | 132.05/132.12 c | 35382 | 922 83857 242480 | 1 13069 127 | 0.000 % | 132.05/132.12 c | 35577 | 922 83857 242480 | 1 13264 127 | 0.000 % | 132.05/132.12 c | 35677 | 922 83857 242480 | 1 13364 127 | 0.000 % | 132.05/132.12 c | 35777 | 922 83857 242480 | 1 13464 127 | 0.000 % | 132.05/132.12 c | 35878 | 922 83857 242480 | 1 13565 128 | 0.000 % | 132.05/132.12 c | 35979 | 922 83857 242480 | 1 13666 128 | 0.000 % | 132.05/132.12 c | 36285 | 922 83857 242480 | 1 13972 128 | 0.000 % | 132.05/132.12 c | 262224 | 922 83857 242480 | 1 40038 87 | 0.000 % | 132.05/132.12 c | 773132 | 922 83857 242480 | 1 81952 78 | 0.000 % | 132.05/132.12 c | 773234 | 922 83857 242480 | 1 82054 78 | 0.000 % | 132.05/132.12 c | 773336 | 922 83857 242480 | 1 82156 78 | 0.000 % | 132.05/132.12 c | 773437 | 922 83857 242480 | 1 82257 78 | 0.000 % | 132.05/132.12 c | 773917 | 922 83857 242480 | 1 82737 78 | 0.000 % | 132.05/132.12 c | 774222 | 922 83857 242480 | 1 83042 78 | 0.000 % | 132.05/132.12 c | 774336 | 922 83857 242480 | 1 83156 78 | 0.000 % | 132.05/132.12 c | 774436 | 922 83857 242480 | 1 83256 78 | 0.000 % | 132.05/132.12 c | 774538 | 922 83857 242480 | 1 83358 78 | 0.000 % | 132.05/132.12 c | 774638 | 922 83857 242480 | 1 83458 79 | 0.000 % | 132.05/132.12 c | 774738 | 922 83857 242480 | 1 83558 79 | 0.000 % | 132.05/132.12 c | 774839 | 922 83857 242480 | 1 83659 79 | 0.000 % | 132.05/132.12 c | 775163 | 922 83857 242480 | 1 83983 79 | 0.000 % | 132.05/132.12 c | 775265 | 922 83857 242480 | 1 84085 79 | 0.000 % | 132.05/132.12 c | 775365 | 922 83857 242480 | 1 84185 79 | 0.000 % | 132.05/132.12 c | 775466 | 922 83857 242480 | 1 84286 79 | 0.000 % | 132.05/132.12 c | 775568 | 922 83857 242480 | 1 84388 79 | 0.000 % | 242.56/242.70 c | 775670 | 922 83857 242480 | 1 84490 79 | 0.000 % | 242.56/242.70 c | 775770 | 922 83857 242480 | 1 84590 79 | 0.000 % | 242.56/242.70 c | 783957 | 922 83857 242480 | 1 92777 83 | 0.000 % | 242.56/242.70 c | 784057 | 922 83857 242480 | 1 92877 83 | 0.000 % | 242.56/242.70 c | 784157 | 922 83857 242480 | 1 92977 83 | 0.000 % | 242.56/242.70 c | 784257 | 922 83857 242480 | 1 93077 83 | 0.000 % | 242.56/242.70 c | 784358 | 922 83857 242480 | 1 93178 83 | 0.000 % | 242.56/242.70 c | 784460 | 922 83857 242480 | 1 93280 83 | 0.000 % | 242.56/242.70 c | 784560 | 922 83857 242480 | 1 93380 83 | 0.000 % | 242.56/242.70 c | 784663 | 922 83857 242480 | 1 93483 84 | 0.000 % | 242.56/242.70 c | 784764 | 922 83857 242480 | 1 93584 84 | 0.000 % | 242.56/242.70 c | 784864 | 922 83857 242480 | 1 93684 84 | 0.000 % | 242.56/242.70 c | 784965 | 922 83857 242480 | 1 93785 84 | 0.000 % | 242.56/242.70 c | 785066 | 922 83857 242480 | 1 93886 84 | 0.000 % | 242.56/242.70 c | 785167 | 922 83857 242480 | 1 93987 84 | 0.000 % | 242.56/242.70 c | 785270 | 922 83857 242480 | 1 94090 84 | 0.000 % | 242.56/242.70 c | 788037 | 922 83857 242480 | 1 96857 84 | 0.000 % | 242.56/242.70 c | 794870 | 922 83857 242480 | 1 103690 85 | 0.000 % | 242.56/242.70 c | 794970 | 922 83857 242480 | 1 103790 85 | 0.000 % | 242.56/242.70 c | 795070 | 922 83857 242480 | 1 103890 85 | 0.000 % | 242.56/242.70 c | 795171 | 922 83857 242480 | 1 103991 85 | 0.000 % | 242.56/242.70 c | 795271 | 922 83857 242480 | 1 104091 85 | 0.000 % | 242.56/242.70 c | 795372 | 922 83857 242480 | 1 104192 85 | 0.000 % | 242.56/242.70 c | 795473 | 922 83857 242480 | 1 104293 85 | 0.000 % | 242.56/242.70 c | 795575 | 922 83857 242480 | 1 104395 85 | 0.000 % | 242.56/242.70 c | 795679 | 922 83857 242480 | 1 104499 85 | 0.000 % | 242.56/242.70 c | 795783 | 922 83857 242480 | 1 104603 85 | 0.000 % | 242.56/242.70 c | 795883 | 922 83857 242480 | 1 104703 85 | 0.000 % | 242.56/242.70 c | 795983 | 922 83857 242480 | 1 104803 85 | 0.000 % | 242.56/242.70 c | 796087 | 922 83857 242480 | 1 104907 86 | 0.000 % | 242.56/242.70 c | 796187 | 922 83857 242480 | 1 105007 86 | 0.000 % | 242.56/242.70 c | 820030 | 922 83857 242480 | 1 67655 63 | 0.000 % | 242.56/242.70 c | 960479 | 922 83857 242480 | 1 77905 60 | 0.000 % | 242.56/242.70 c | 962018 | 922 83857 242480 | 1 79444 60 | 0.000 % | 242.56/242.70 c | 962352 | 922 83857 242480 | 1 79778 60 | 0.000 % | 242.56/242.70 c | 962453 | 922 83857 242480 | 1 79879 60 | 0.000 % | 242.56/242.70 c | 970227 | 922 83857 242480 | 1 87653 62 | 0.000 % | 242.56/242.70 c | 971989 | 922 83857 242480 | 1 89415 62 | 0.000 % | 242.56/242.70 c | 986568 | 922 83857 242480 | 1 103994 65 | 0.000 % | 242.56/242.70 c | 986670 | 922 83857 242480 | 1 104096 65 | 0.000 % | 242.56/242.70 c | 986770 | 922 83857 242480 | 1 104196 65 | 0.000 % | 242.56/242.70 c | 1279089 | 922 83857 242480 | 1 104922 63 | 0.000 % | 242.56/242.70 c | 1279279 | 922 83857 242480 | 1 105112 63 | 0.000 % | 242.56/242.70 c | 1279381 | 922 83857 242480 | 1 105214 63 | 0.000 % | 242.56/242.70 c | 1279482 | 922 83857 242480 | 1 105315 63 | 0.000 % | 242.56/242.70 c | 1279582 | 922 83857 242480 | 1 105415 64 | 0.000 % | 242.56/242.70 c | 1279930 | 922 83857 242480 | 1 105763 64 | 0.000 % | 242.56/242.70 c | 1280048 | 922 83857 242480 | 1 105881 64 | 0.000 % | 242.56/242.70 c | 1305377 | 922 83857 242480 | 1 131210 65 | 0.000 % | 242.56/242.70 c | 1305509 | 922 83857 242480 | 1 131342 65 | 0.000 % | 375.26/375.30 c | 1443091 | 922 83857 242480 | 1 107517 56 | 0.000 % | 375.26/375.30 c | 1451559 | 922 83857 242480 | 1 115985 57 | 0.000 % | 375.26/375.30 c | 1451659 | 922 83857 242480 | 1 116085 57 | 0.000 % | 375.26/375.30 c | 1451781 | 922 83857 242480 | 1 116207 57 | 0.000 % | 375.26/375.30 c | 1451887 | 922 83857 242480 | 1 116313 57 | 0.000 % | 375.26/375.30 c | 1454865 | 922 83857 242480 | 1 119291 58 | 0.000 % | 375.26/375.30 c | 1456062 | 922 83857 242480 | 1 120488 58 | 0.000 % | 375.26/375.30 c | 1496167 | 922 83857 242480 | 1 160593 66 | 0.000 % | 375.26/375.30 c | 1570199 | 922 83857 242480 | 1 150022 57 | 0.000 % | 375.26/375.30 c | 1570724 | 922 83857 242480 | 1 150547 57 | 0.000 % | 375.26/375.30 c | 1570824 | 922 83857 242480 | 1 150647 57 | 0.000 % | 375.26/375.30 c | 1570924 | 922 83857 242480 | 1 150747 57 | 0.000 % | 375.26/375.30 c | 1575968 | 922 83857 242480 | 1 155791 58 | 0.000 % | 375.26/375.30 c | 1576468 | 922 83857 242480 | 1 156291 58 | 0.000 % | 375.26/375.30 c | 1620679 | 922 83857 242480 | 1 113300 58 | 0.000 % | 375.26/375.30 c | 1620779 | 922 83857 242480 | 1 113400 58 | 0.000 % | 375.26/375.30 c | 1630638 | 922 83857 242480 | 1 123259 60 | 0.000 % | 375.26/375.30 c | 1631893 | 922 83857 242480 | 1 124514 60 | 0.000 % | 375.26/375.30 c | 1637465 | 922 83857 242480 | 1 130086 62 | 0.000 % | 375.26/375.30 c | 1637566 | 922 83857 242480 | 1 130187 62 | 0.000 % | 375.26/375.30 c | 1637667 | 922 83857 242480 | 1 130288 62 | 0.000 % | 375.26/375.30 c | 1637767 | 922 83857 242480 | 1 130388 62 | 0.000 % | 375.26/375.30 c | 1637954 | 922 83857 242480 | 1 130575 62 | 0.000 % | 375.26/375.30 c | 1638105 | 922 83857 242480 | 1 130726 62 | 0.000 % | 375.26/375.30 c | 1707631 | 922 83857 242480 | 1 110448 55 | 0.000 % | 375.26/375.30 c | 1716992 | 922 83857 242480 | 1 119809 57 | 0.000 % | 375.26/375.30 c | 1720774 | 922 83857 242480 | 1 123591 58 | 0.000 % | 375.26/375.30 c | 1721587 | 922 83857 242480 | 1 124404 58 | 0.000 % | 375.26/375.30 c | 1739815 | 922 83857 242480 | 1 142632 63 | 0.000 % | 375.26/375.30 c | 1739916 | 922 83857 242480 | 1 142733 63 | 0.000 % | 375.26/375.30 c | 1740017 | 922 83857 242480 | 1 142834 63 | 0.000 % | 375.26/375.30 c | 1740117 | 922 83857 242480 | 1 142934 63 | 0.000 % | 375.26/375.30 c | 1740217 | 922 83857 242480 | 1 143034 63 | 0.000 % | 375.26/375.30 c | 1757063 | 922 83857 242480 | 1 159880 65 | 0.000 % | 375.26/375.30 c | 1757163 | 922 83857 242480 | 1 159980 65 | 0.000 % | 375.26/375.30 c | 1757271 | 922 83857 242480 | 1 160088 65 | 0.000 % | 375.26/375.30 c | 1757447 | 922 83857 242480 | 1 160264 65 | 0.000 % | 375.26/375.30 c | 1757552 | 922 83857 242480 | 1 160369 65 | 0.000 % | 375.26/375.30 c | 1757652 | 922 83857 242480 | 1 160469 65 | 0.000 % | 375.26/375.30 c | 1757754 | 922 83857 242480 | 1 160571 65 | 0.000 % | 375.26/375.30 c | 1765851 | 922 83857 242480 | 1 168668 67 | 0.000 % | 375.26/375.30 c | 1765952 | 922 83857 242480 | 1 168769 67 | 0.000 % | 375.26/375.30 c | 1766052 | 922 83857 242480 | 1 168869 67 | 0.000 % | 375.26/375.30 c | 1766219 | 922 83857 242480 | 1 169036 67 | 0.000 % | 375.26/375.30 c | 1766320 | 922 83857 242480 | 1 169137 67 | 0.000 % | 375.26/375.30 c | 1766421 | 922 83857 242480 | 1 169238 67 | 0.000 % | 375.26/375.30 c | 1838102 | 922 83857 242480 | 1 148521 61 | 0.000 % | 375.26/375.30 c | 1838205 | 922 83857 242480 | 1 148624 61 | 0.000 % | 375.26/375.30 c | 1898367 | 922 83857 242480 | 1 113782 56 | 0.000 % | 375.26/375.30 c | 1898503 | 922 83857 242480 | 1 113918 56 | 0.000 % | 439.27/439.36 c | 1925872 | 922 83857 242480 | 1 141287 58 | 0.000 % | 439.27/439.36 c | 1925976 | 922 83857 242480 | 1 141391 58 | 0.000 % | 439.27/439.36 c | 1938418 | 922 83857 242480 | 1 153833 60 | 0.000 % | 439.27/439.36 c | 1939195 | 922 83857 242480 | 1 154610 60 | 0.000 % | 439.27/439.36 c | 1939295 | 922 83857 242480 | 1 154710 60 | 0.000 % | 439.27/439.36 c | 1940146 | 922 83857 242480 | 1 155561 60 | 0.000 % | 439.27/439.36 c | 1940251 | 922 83857 242480 | 1 155666 60 | 0.000 % | 439.27/439.36 c | 1940356 | 922 83857 242480 | 1 155771 60 | 0.000 % | 439.27/439.36 c | 1940456 | 922 83857 242480 | 1 155871 60 | 0.000 % | 439.27/439.36 c | 1940561 | 922 83857 242480 | 1 155976 60 | 0.000 % | 439.27/439.36 c | 1940662 | 922 83857 242480 | 1 156077 60 | 0.000 % | 439.27/439.36 c | 1950339 | 922 83857 242480 | 1 165754 62 | 0.000 % | 439.27/439.36 c | 1950440 | 922 83857 242480 | 1 165855 62 | 0.000 % | 439.27/439.36 c | 1950638 | 922 83857 242480 | 1 166053 62 | 0.000 % | 439.27/439.36 c | 2020732 | 922 83857 242480 | 1 138548 61 | 0.000 % | 439.27/439.36 c | 2025469 | 922 83857 242480 | 1 143285 62 | 0.000 % | 439.27/439.36 c | 2045015 | 922 83857 242480 | 1 162831 64 | 0.000 % | 439.27/439.36 c | 2045491 | 922 83857 242480 | 1 163307 64 | 0.000 % | 439.27/439.36 c | 2047048 | 922 83857 242480 | 1 164864 65 | 0.000 % | 439.27/439.36 c | 2047669 | 922 83857 242480 | 1 165485 65 | 0.000 % | 439.27/439.36 c | 2047770 | 922 83857 242480 | 1 165586 65 | 0.000 % | 439.27/439.36 c | 2047870 | 922 83857 242480 | 1 165686 65 | 0.000 % | 439.27/439.36 c | 2047970 | 922 83857 242480 | 1 165786 65 | 0.000 % | 439.27/439.36 c | 2048070 | 922 83857 242480 | 1 165886 65 | 0.000 % | 439.27/439.36 c | 2068996 | 922 83857 242480 | 1 186812 67 | 0.000 % | 439.27/439.36 c | 2069096 | 922 83857 242480 | 1 186912 67 | 0.000 % | 439.27/439.36 c | 2069196 | 922 83857 242480 | 1 187012 67 | 0.000 % | 439.27/439.36 c | 2069297 | 922 83857 242480 | 1 187113 67 | 0.000 % | 439.27/439.36 c | 2069400 | 922 83857 242480 | 1 187216 67 | 0.000 % | 439.27/439.36 c | 2069578 | 922 83857 242480 | 1 187394 67 | 0.000 % | 439.27/439.36 c | 2069679 | 922 83857 242480 | 1 187495 67 | 0.000 % | 439.27/439.36 c | 2069779 | 922 83857 242480 | 1 187595 67 | 0.000 % | 439.27/439.36 c | 2069879 | 922 83857 242480 | 1 187695 67 | 0.000 % | 439.27/439.36 c | 2069981 | 922 83857 242480 | 1 187797 67 | 0.000 % | 439.27/439.36 c | 2070081 | 922 83857 242480 | 1 187897 67 | 0.000 % | 439.27/439.36 c | 2070182 | 922 83857 242480 | 1 187998 67 | 0.000 % | 439.27/439.36 c | 2070282 | 922 83857 242480 | 1 188098 67 | 0.000 % | 439.27/439.36 c | 2071888 | 922 83857 242480 | 1 189704 68 | 0.000 % | 439.27/439.36 c | 2071990 | 922 83857 242480 | 1 189806 68 | 0.000 % | 439.27/439.36 c | 2072090 | 922 83857 242480 | 1 189906 68 | 0.000 % | 439.27/439.36 c | 2072190 | 922 83857 242480 | 1 190006 68 | 0.000 % | 439.27/439.36 c | 2072291 | 922 83857 242480 | 1 190107 68 | 0.000 % | 439.27/439.36 c | 2072392 | 922 83857 242480 | 1 190208 68 | 0.000 % | 439.27/439.36 c | 2072500 | 922 83857 242480 | 1 190316 68 | 0.000 % | 439.27/439.36 c | 2153843 | 922 83857 242480 | 1 171465 64 | 0.000 % | 439.27/439.36 c | 2153946 | 922 83857 242480 | 1 171568 64 | 0.000 % | 439.27/439.36 c | 2154046 | 922 83857 242480 | 1 171668 64 | 0.000 % | 439.27/439.36 c | 2154374 | 922 83857 242480 | 1 171996 64 | 0.000 % | 439.27/439.36 c | 2154606 | 922 83857 242480 | 1 172228 64 | 0.000 % | 439.27/439.36 c | 2154709 | 922 83857 242480 | 1 172331 64 | 0.000 % | 527.37/527.46 c | 2192379 | 922 83857 242480 | 1 107198 55 | 0.000 % | 527.37/527.46 c | 2192480 | 922 83857 242480 | 1 107299 55 | 0.000 % | 527.37/527.46 c | 2192580 | 922 83857 242480 | 1 107399 55 | 0.000 % | 527.37/527.46 c | 2192680 | 922 83857 242480 | 1 107499 55 | 0.000 % | 527.37/527.46 c | 2192935 | 922 83857 242480 | 1 107754 55 | 0.000 % | 527.37/527.46 c | 2193035 | 922 83857 242480 | 1 107854 55 | 0.000 % | 527.37/527.46 c | 2193190 | 922 83857 242480 | 1 108009 56 | 0.000 % | 527.37/527.46 c | 2193479 | 922 83857 242480 | 1 108298 56 | 0.000 % | 527.37/527.46 c | 2245163 | 922 83857 242480 | 1 159982 60 | 0.000 % | 527.37/527.46 c | 2250209 | 922 83857 242480 | 1 165028 60 | 0.000 % | 527.37/527.46 c | 2250527 | 922 83857 242480 | 1 165346 60 | 0.000 % | 527.37/527.46 c | 2258019 | 922 83857 242480 | 1 172838 61 | 0.000 % | 527.37/527.46 c | 2259369 | 922 83857 242480 | 1 174188 61 | 0.000 % | 527.37/527.46 c | 2259584 | 922 83857 242480 | 1 174403 61 | 0.000 % | 527.37/527.46 c | 2365667 | 922 83857 242480 | 1 175079 65 | 0.000 % | 527.37/527.46 c | 2365821 | 922 83857 242480 | 1 175233 65 | 0.000 % | 527.37/527.46 c | 2365921 | 922 83857 242480 | 1 175333 65 | 0.000 % | 527.37/527.46 c | 2366021 | 922 83857 242480 | 1 175433 65 | 0.000 % | 527.37/527.46 c | 2366122 | 922 83857 242480 | 1 175534 65 | 0.000 % | 527.37/527.46 c | 2366223 | 922 83857 242480 | 1 175635 65 | 0.000 % | 527.37/527.46 c | 2366325 | 922 83857 242480 | 1 175737 65 | 0.000 % | 527.37/527.46 c | 2366427 | 922 83857 242480 | 1 175839 65 | 0.000 % | 527.37/527.46 c | 2366528 | 922 83857 242480 | 1 175940 65 | 0.000 % | 527.37/527.46 c | 2366628 | 922 83857 242480 | 1 176040 65 | 0.000 % | 527.37/527.46 c | 2366729 | 922 83857 242480 | 1 176141 65 | 0.000 % | 527.37/527.46 c | 2367207 | 922 83857 242480 | 1 176619 65 | 0.000 % | 527.37/527.46 c | 2367309 | 922 83857 242480 | 1 176721 65 | 0.000 % | 527.37/527.46 c | 2367410 | 922 83857 242480 | 1 176822 65 | 0.000 % | 527.37/527.46 c | 2367511 | 922 83857 242480 | 1 176923 65 | 0.000 % | 527.37/527.46 c | 2367611 | 922 83857 242480 | 1 177023 65 | 0.000 % | 527.37/527.46 c | 2367712 | 922 83857 242480 | 1 177124 65 | 0.000 % | 527.37/527.46 c | 2367812 | 922 83857 242480 | 1 177224 65 | 0.000 % | 527.37/527.46 c | 2367970 | 922 83857 242480 | 1 177382 65 | 0.000 % | 527.37/527.46 c | 2371173 | 922 83857 242480 | 1 180585 66 | 0.000 % | 527.37/527.46 c | 2371274 | 922 83857 242480 | 1 180686 66 | 0.000 % | 527.37/527.46 c | 2371377 | 922 83857 242480 | 1 180789 66 | 0.000 % | 527.37/527.46 c | 2371477 | 922 83857 242480 | 1 180889 66 | 0.000 % | 527.37/527.46 c | 2371577 | 922 83857 242480 | 1 180989 66 | 0.000 % | 527.37/527.46 c | 2371677 | 922 83857 242480 | 1 181089 66 | 0.000 % | 527.37/527.46 c | 2371778 | 922 83857 242480 | 1 181190 66 | 0.000 % | 527.37/527.46 c | 2371879 | 922 83857 242480 | 1 181291 66 | 0.000 % | 527.37/527.46 c | 2371979 | 922 83857 242480 | 1 181391 66 | 0.000 % | 527.37/527.46 c | 2372082 | 922 83857 242480 | 1 181494 66 | 0.000 % | 527.37/527.46 c | 2372185 | 922 83857 242480 | 1 181597 66 | 0.000 % | 527.37/527.46 c | 2379484 | 922 83857 242480 | 1 188896 66 | 0.000 % | 527.37/527.46 c | 2380893 | 922 83857 242480 | 1 190305 66 | 0.000 % | 527.37/527.46 c | 2381917 | 922 83857 242480 | 1 191329 66 | 0.000 % | 527.37/527.46 c | 2427697 | 922 83857 242480 | 1 129117 57 | 0.000 % | 527.37/527.46 c | 2427797 | 922 83857 242480 | 1 129217 57 | 0.000 % | 527.37/527.46 c | 2442924 | 922 83857 242480 | 1 144344 59 | 0.000 % | 561.78/561.84 c | 2445673 | 922 83857 242480 | 1 147093 60 | 0.000 % | 561.78/561.84 c | 2445773 | 922 83857 242480 | 1 147193 60 | 0.000 % | 561.78/561.84 c | 2445891 | 922 83857 242480 | 1 147311 60 | 0.000 % | 561.78/561.84 c | 2445992 | 922 83857 242480 | 1 147412 60 | 0.000 % | 561.78/561.84 c | 2446094 | 922 83857 242480 | 1 147514 60 | 0.000 % | 561.78/561.84 c | 2447131 | 922 83857 242480 | 1 148551 60 | 0.000 % | 561.78/561.84 c | 2447231 | 922 83857 242480 | 1 148651 60 | 0.000 % | 561.78/561.84 c | 2510940 | 922 83857 242480 | 1 212360 68 | 0.000 % | 561.78/561.84 c | 2511041 | 922 83857 242480 | 1 212461 68 | 0.000 % | 561.78/561.84 c | 2511144 | 922 83857 242480 | 1 212564 68 | 0.000 % | 561.78/561.84 c | 2511244 | 922 83857 242480 | 1 212664 68 | 0.000 % | 561.78/561.84 c | 2511346 | 922 83857 242480 | 1 212766 68 | 0.000 % | 561.78/561.84 c | 2511446 | 922 83857 242480 | 1 212866 68 | 0.000 % | 561.78/561.84 c | 2511547 | 922 83857 242480 | 1 212967 68 | 0.000 % | 561.78/561.84 c | 2511648 | 922 83857 242480 | 1 213068 68 | 0.000 % | 561.78/561.84 c | 2511748 | 922 83857 242480 | 1 213168 68 | 0.000 % | 561.78/561.84 c | 2511850 | 922 83857 242480 | 1 213270 68 | 0.000 % | 561.78/561.84 c | 2511951 | 922 83857 242480 | 1 213371 68 | 0.000 % | 561.78/561.84 c | 2512051 | 922 83857 242480 | 1 213471 68 | 0.000 % | 561.78/561.84 c | 2512153 | 922 83857 242480 | 1 213573 68 | 0.000 % | 561.78/561.84 c | 2512254 | 922 83857 242480 | 1 213674 68 | 0.000 % | 561.78/561.84 c | 2513255 | 922 83857 242480 | 1 214675 68 | 0.000 % | 561.78/561.84 c | 2513394 | 922 83857 242480 | 1 214814 68 | 0.000 % | 561.78/561.84 c | 2513497 | 922 83857 242480 | 1 214917 68 | 0.000 % | 561.78/561.84 c | 2519021 | 922 83857 242480 | 1 220441 69 | 0.000 % | 561.78/561.84 c | 2528942 | 922 83857 242480 | 1 119754 55 | 0.000 % | 561.78/561.84 c | 2532583 | 922 83857 242480 | 1 123395 56 | 0.000 % | 561.78/561.84 c | 2532684 | 922 83857 242480 | 1 123496 56 | 0.000 % | 561.78/561.84 c | 2533615 | 922 83857 242480 | 1 124427 56 | 0.000 % | 561.78/561.84 c | 2533717 | 922 83857 242480 | 1 124529 56 | 0.000 % | 561.78/561.84 c | 2533818 | 922 83857 242480 | 1 124630 56 | 0.000 % | 561.78/561.84 c | 2533922 | 922 83857 242480 | 1 124734 56 | 0.000 % | 561.78/561.84 c | 2543038 | 922 83857 242480 | 1 133850 59 | 0.000 % | 561.78/561.84 c | 2543139 | 922 83857 242480 | 1 133951 59 | 0.000 % | 561.78/561.84 c | 2543368 | 922 83857 242480 | 1 134180 59 | 0.000 % | 561.78/561.84 c | 2551949 | 922 83857 242480 | 1 142761 61 | 0.000 % | 561.78/561.84 c | 2557588 | 922 83857 242480 | 1 148400 61 | 0.000 % | 561.78/561.84 c | 2557689 | 922 83857 242480 | 1 148501 61 | 0.000 % | 561.78/561.84 c | 2557789 | 922 83857 242480 | 1 148601 61 | 0.000 % | 561.78/561.84 c | 2557891 | 922 83857 242480 | 1 148703 61 | 0.000 % | 561.78/561.84 c | 2557991 | 922 83857 242480 | 1 148803 61 | 0.000 % | 561.78/561.84 c | 2558093 | 922 83857 242480 | 1 148905 62 | 0.000 % | 561.78/561.84 c | 2558193 | 922 83857 242480 | 1 149005 62 | 0.000 % | 561.78/561.84 c | 2558293 | 922 83857 242480 | 1 149105 62 | 0.000 % | 561.78/561.84 c | 2558395 | 922 83857 242480 | 1 149207 62 | 0.000 % | 561.78/561.84 c | 2558495 | 922 83857 242480 | 1 149307 62 | 0.000 % | 561.78/561.84 c | 2558597 | 922 83857 242480 | 1 149409 62 | 0.000 % | 561.78/561.84 c | 2558701 | 922 83857 242480 | 1 149513 62 | 0.000 % | 561.78/561.84 c | 2558802 | 922 83857 242480 | 1 149614 62 | 0.000 % | 561.78/561.84 c | 2558903 | 922 83857 242480 | 1 149715 62 | 0.000 % | 619.98/620.09 c | 2559008 | 922 83857 242480 | 1 149820 62 | 0.000 % | 619.98/620.09 c | 2559112 | 922 83857 242480 | 1 149924 62 | 0.000 % | 619.98/620.09 c | 2559213 | 922 83857 242480 | 1 150025 62 | 0.000 % | 619.98/620.09 c | 2559317 | 922 83857 242480 | 1 150129 62 | 0.000 % | 619.98/620.09 c | 2580453 | 922 83857 242480 | 1 171265 67 | 0.000 % | 619.98/620.09 c | 2580554 | 922 83857 242480 | 1 171366 67 | 0.000 % | 619.98/620.09 c | 2580654 | 922 83857 242480 | 1 171466 67 | 0.000 % | 619.98/620.09 c | 2580754 | 922 83857 242480 | 1 171566 67 | 0.000 % | 619.98/620.09 c | 2580854 | 922 83857 242480 | 1 171666 67 | 0.000 % | 619.98/620.09 c | 2580954 | 922 83857 242480 | 1 171766 67 | 0.000 % | 619.98/620.09 c | 2581057 | 922 83857 242480 | 1 171869 67 | 0.000 % | 619.98/620.09 c | 2581157 | 922 83857 242480 | 1 171969 67 | 0.000 % | 619.98/620.09 c | 2581259 | 922 83857 242480 | 1 172071 67 | 0.000 % | 619.98/620.09 c | 2582092 | 922 83857 242480 | 1 172904 67 | 0.000 % | 619.98/620.09 c | 2582193 | 922 83857 242480 | 1 173005 67 | 0.000 % | 619.98/620.09 c | 2582293 | 922 83857 242480 | 1 173105 67 | 0.000 % | 619.98/620.09 c | 2582395 | 922 83857 242480 | 1 173207 67 | 0.000 % | 619.98/620.09 c | 2582496 | 922 83857 242480 | 1 173308 67 | 0.000 % | 619.98/620.09 c | 2582598 | 922 83857 242480 | 1 173410 67 | 0.000 % | 619.98/620.09 c | 2588604 | 922 83857 242480 | 1 179416 68 | 0.000 % | 619.98/620.09 c | 2588710 | 922 83857 242480 | 1 179522 68 | 0.000 % | 619.98/620.09 c | 2588813 | 922 83857 242480 | 1 179625 68 | 0.000 % | 619.98/620.09 c | 2588916 | 922 83857 242480 | 1 179728 68 | 0.000 % | 619.98/620.09 c | 2589288 | 922 83857 242480 | 1 180100 68 | 0.000 % | 619.98/620.09 c | 2589389 | 922 83857 242480 | 1 180201 68 | 0.000 % | 619.98/620.09 c | 2589490 | 922 83857 242480 | 1 180302 68 | 0.000 % | 619.98/620.09 c | 2647689 | 922 83857 242480 | 1 125303 56 | 0.000 % | 619.98/620.09 c | 2648134 | 922 83857 242480 | 1 125748 56 | 0.000 % | 619.98/620.09 c | 2701257 | 922 83857 242480 | 1 178871 59 | 0.000 % | 619.98/620.09 c | 2704548 | 922 83857 242480 | 1 182162 60 | 0.000 % | 619.98/620.09 c | 2724895 | 922 83857 242480 | 1 202509 61 | 0.000 % | 619.98/620.09 c | 2724995 | 922 83857 242480 | 1 202609 61 | 0.000 % | 619.98/620.09 c | 2725102 | 922 83857 242480 | 1 202716 61 | 0.000 % | 619.98/620.09 c | 2725202 | 922 83857 242480 | 1 202816 61 | 0.000 % | 619.98/620.09 c | 2725303 | 922 83857 242480 | 1 202917 61 | 0.000 % | 619.98/620.09 c | 2725405 | 922 83857 242480 | 1 203019 61 | 0.000 % | 619.98/620.09 c | 2725506 | 922 83857 242480 | 1 203120 61 | 0.000 % | 619.98/620.09 c | 2725607 | 922 83857 242480 | 1 203221 61 | 0.000 % | 619.98/620.09 c | 2725709 | 922 83857 242480 | 1 203323 61 | 0.000 % | 619.98/620.09 c | 2725811 | 922 83857 242480 | 1 203425 61 | 0.000 % | 619.98/620.09 c | 2725912 | 922 83857 242480 | 1 203526 61 | 0.000 % | 619.98/620.09 c | 2726082 | 922 83857 242480 | 1 203696 62 | 0.000 % | 619.98/620.09 c | 2726185 | 922 83857 242480 | 1 203799 62 | 0.000 % | 619.98/620.09 c | 2726286 | 922 83857 242480 | 1 203900 62 | 0.000 % | 619.98/620.09 c | 2726386 | 922 83857 242480 | 1 204000 62 | 0.000 % | 619.98/620.09 c | 2726487 | 922 83857 242480 | 1 204101 62 | 0.000 % | 619.98/620.09 c | 2726588 | 922 83857 242480 | 1 204202 62 | 0.000 % | 619.98/620.09 c | 2726688 | 922 83857 242480 | 1 204302 62 | 0.000 % | 619.98/620.09 c | 2726788 | 922 83857 242480 | 1 204402 62 | 0.000 % | 629.67/629.75 c | 2726891 | 922 83857 242480 | 1 204505 62 | 0.000 % | 629.67/629.75 c | 2726991 | 922 83857 242480 | 1 204605 62 | 0.000 % | 629.67/629.75 c | 2727091 | 922 83857 242480 | 1 204705 62 | 0.000 % | 629.67/629.75 c | 2727191 | 922 83857 242480 | 1 204805 62 | 0.000 % | 629.67/629.75 c | 2727292 | 922 83857 242480 | 1 204906 62 | 0.000 % | 629.67/629.75 c | 2727392 | 922 83857 242480 | 1 205006 62 | 0.000 % | 629.67/629.75 c | 2727493 | 922 83857 242480 | 1 205107 62 | 0.000 % | 629.67/629.75 c | 2738338 | 922 83857 242480 | 1 215952 62 | 0.000 % | 629.67/629.75 c | 2738674 | 922 83857 242480 | 1 216288 62 | 0.000 % | 629.67/629.75 c | 2738776 | 922 83857 242480 | 1 216390 62 | 0.000 % | 629.67/629.75 c | 2738876 | 922 83857 242480 | 1 216490 62 | 0.000 % | 629.67/629.75 c | 2738978 | 922 83857 242480 | 1 216592 62 | 0.000 % | 629.67/629.75 c | 2739079 | 922 83857 242480 | 1 216693 62 | 0.000 % | 629.67/629.75 c | 2739179 | 922 83857 242480 | 1 216793 62 | 0.000 % | 629.67/629.75 c | 2739281 | 922 83857 242480 | 1 216895 62 | 0.000 % | 629.67/629.75 c | 2739381 | 922 83857 242480 | 1 216995 62 | 0.000 % | 629.67/629.75 c | 2739484 | 922 83857 242480 | 1 217098 62 | 0.000 % | 629.67/629.75 c | 2739585 | 922 83857 242480 | 1 217199 62 | 0.000 % | 629.67/629.75 c | 2739685 | 922 83857 242480 | 1 217299 62 | 0.000 % | 629.67/629.75 c | 2739785 | 922 83857 242480 | 1 217399 62 | 0.000 % | 629.67/629.75 c | 2739887 | 922 83857 242480 | 1 217501 62 | 0.000 % | 629.67/629.75 c | 2739987 | 922 83857 242480 | 1 217601 62 | 0.000 % | 629.67/629.75 c | 2740088 | 922 83857 242480 | 1 217702 62 | 0.000 % | 629.67/629.75 c | 2740188 | 922 83857 242480 | 1 217802 62 | 0.000 % | 629.67/629.75 c | 2740289 | 922 83857 242480 | 1 217903 62 | 0.000 % | 629.67/629.75 c | 2740389 | 922 83857 242480 | 1 218003 63 | 0.000 % | 629.67/629.75 c | 2740489 | 922 83857 242480 | 1 218103 63 | 0.000 % | 629.67/629.75 c | 2740593 | 922 83857 242480 | 1 218207 63 | 0.000 % | 629.67/629.75 c | 2740696 | 922 83857 242480 | 1 218310 63 | 0.000 % | 629.67/629.75 c | 2740796 | 922 83857 242480 | 1 218410 63 | 0.000 % | 629.67/629.75 c | 2740900 | 922 83857 242480 | 1 218514 63 | 0.000 % | 629.67/629.75 c | 2741001 | 922 83857 242480 | 1 218615 63 | 0.000 % | 629.67/629.75 c | 2741101 | 922 83857 242480 | 1 218715 63 | 0.000 % | 629.67/629.75 c | 2741201 | 922 83857 242480 | 1 218815 63 | 0.000 % | 629.67/629.75 c | 2741303 | 922 83857 242480 | 1 218917 63 | 0.000 % | 629.67/629.75 c | 2741403 | 922 83857 242480 | 1 219017 63 | 0.000 % | 629.67/629.75 c | 2741721 | 922 83857 242480 | 1 219335 63 | 0.000 % | 629.67/629.75 c | 2741823 | 922 83857 242480 | 1 219437 63 | 0.000 % | 629.67/629.75 c | 2741924 | 922 83857 242480 | 1 219538 63 | 0.000 % | 629.67/629.75 c | 2742024 | 922 83857 242480 | 1 219638 63 | 0.000 % | 629.67/629.75 c | 2742126 | 922 83857 242480 | 1 219740 63 | 0.000 % | 629.67/629.75 c | 2742227 | 922 83857 242480 | 1 219841 63 | 0.000 % | 629.67/629.75 c | 2742329 | 922 83857 242480 | 1 219943 63 | 0.000 % | 629.67/629.75 c | 2742504 | 922 83857 242480 | 1 220118 63 | 0.000 % | 629.67/629.75 c | 2742605 | 922 83857 242480 | 1 220219 63 | 0.000 % | 629.67/629.75 c | 2742706 | 922 83857 242480 | 1 220320 63 | 0.000 % | 629.67/629.75 c | 2744462 | 922 83857 242480 | 1 222076 63 | 0.000 % | 629.67/629.75 c | 2744562 | 922 83857 242480 | 1 222176 63 | 0.000 % | 629.67/629.75 c | 2744665 | 922 83857 242480 | 1 222279 63 | 0.000 % | 629.67/629.75 c | 2745087 | 922 83857 242480 | 1 222701 63 | 0.000 % | 705.67/705.73 c | 2745187 | 922 83857 242480 | 1 222801 63 | 0.000 % | 705.67/705.73 c | 2745924 | 922 83857 242480 | 1 223538 63 | 0.000 % | 705.67/705.73 c | 2746089 | 922 83857 242480 | 1 223703 63 | 0.000 % | 705.67/705.73 c | 2746190 | 922 83857 242480 | 1 223804 63 | 0.000 % | 705.67/705.73 c | 2761980 | 922 83857 242480 | 1 123794 55 | 0.000 % | 705.67/705.73 c | 2762912 | 922 83857 242480 | 1 124726 56 | 0.000 % | 705.67/705.73 c | 2763015 | 922 83857 242480 | 1 124829 56 | 0.000 % | 705.67/705.73 c | 2763116 | 922 83857 242480 | 1 124930 56 | 0.000 % | 705.67/705.73 c | 2763217 | 922 83857 242480 | 1 125031 56 | 0.000 % | 705.67/705.73 c | 2763319 | 922 83857 242480 | 1 125133 56 | 0.000 % | 705.67/705.73 c | 2763419 | 922 83857 242480 | 1 125233 56 | 0.000 % | 705.67/705.73 c | 2763521 | 922 83857 242480 | 1 125335 56 | 0.000 % | 705.67/705.73 c | 2763624 | 922 83857 242480 | 1 125438 56 | 0.000 % | 705.67/705.73 c | 2918312 | 922 83857 242480 | 1 161727 57 | 0.000 % | 705.67/705.73 c | 2919914 | 922 83857 242480 | 1 163329 58 | 0.000 % | 705.67/705.73 c | 2920014 | 922 83857 242480 | 1 163429 58 | 0.000 % | 705.67/705.73 c | 2920115 | 922 83857 242480 | 1 163530 58 | 0.000 % | 705.67/705.73 c | 2920557 | 922 83857 242480 | 1 163972 58 | 0.000 % | 705.67/705.73 c | 2922484 | 922 83857 242480 | 1 165899 58 | 0.000 % | 705.67/705.73 c | 2922585 | 922 83857 242480 | 1 166000 58 | 0.000 % | 705.67/705.73 c | 2922685 | 922 83857 242480 | 1 166100 58 | 0.000 % | 705.67/705.73 c | 2922788 | 922 83857 242480 | 1 166203 58 | 0.000 % | 705.67/705.73 c | 2922890 | 922 83857 242480 | 1 166305 58 | 0.000 % | 705.67/705.73 c | 2923087 | 922 83857 242480 | 1 166502 58 | 0.000 % | 705.67/705.73 c | 2923188 | 922 83857 242480 | 1 166603 58 | 0.000 % | 705.67/705.73 c | 2923288 | 922 83857 242480 | 1 166703 58 | 0.000 % | 705.67/705.73 c | 2923390 | 922 83857 242480 | 1 166805 58 | 0.000 % | 705.67/705.73 c | 2923490 | 922 83857 242480 | 1 166905 58 | 0.000 % | 705.67/705.73 c | 2923590 | 922 83857 242480 | 1 167005 58 | 0.000 % | 705.67/705.73 c | 2923690 | 922 83857 242480 | 1 167105 58 | 0.000 % | 705.67/705.73 c | 2923791 | 922 83857 242480 | 1 167206 58 | 0.000 % | 705.67/705.73 c | 2923894 | 922 83857 242480 | 1 167309 58 | 0.000 % | 705.67/705.73 c | 2923994 | 922 83857 242480 | 1 167409 58 | 0.000 % | 705.67/705.73 c | 2924129 | 922 83857 242480 | 1 167544 58 | 0.000 % | 705.67/705.73 c | 2924230 | 922 83857 242480 | 1 167645 58 | 0.000 % | 705.67/705.73 c | 2951246 | 922 83857 242480 | 1 194661 62 | 0.000 % | 705.67/705.73 c | 2951347 | 922 83857 242480 | 1 194762 62 | 0.000 % | 705.67/705.73 c | 2951447 | 922 83857 242480 | 1 194862 62 | 0.000 % | 705.67/705.73 c | 2951882 | 922 83857 242480 | 1 195297 62 | 0.000 % | 705.67/705.73 c | 2952176 | 922 83857 242480 | 1 195591 62 | 0.000 % | 705.67/705.73 c | 2952480 | 922 83857 242480 | 1 195895 62 | 0.000 % | 705.67/705.73 c | 2952581 | 922 83857 242480 | 1 195996 62 | 0.000 % | 705.67/705.73 c | 2952681 | 922 83857 242480 | 1 196096 62 | 0.000 % | 705.67/705.73 c | 2952784 | 922 83857 242480 | 1 196199 62 | 0.000 % | 705.67/705.73 c | 2952894 | 922 83857 242480 | 1 196309 62 | 0.000 % | 705.67/705.73 c | 2952995 | 922 83857 242480 | 1 196410 62 | 0.000 % | 705.67/705.73 c | 2953560 | 922 83857 242480 | 1 196975 62 | 0.000 % | 705.67/705.73 c | 2953661 | 922 83857 242480 | 1 197076 62 | 0.000 % | 705.67/705.73 c | 2959880 | 922 83857 242480 | 1 203295 63 | 0.000 % | 705.67/705.73 c | 2959980 | 922 83857 242480 | 1 203395 63 | 0.000 % | 723.79/723.86 c | 2960080 | 922 83857 242480 | 1 203495 63 | 0.000 % | 723.79/723.86 c | 2960180 | 922 83857 242480 | 1 203595 63 | 0.000 % | 723.79/723.86 c | 2960280 | 922 83857 242480 | 1 203695 63 | 0.000 % | 723.79/723.86 c | 2960380 | 922 83857 242480 | 1 203795 63 | 0.000 % | 723.79/723.86 c | 2960482 | 922 83857 242480 | 1 203897 63 | 0.000 % | 723.79/723.86 c | 2960957 | 922 83857 242480 | 1 204372 63 | 0.000 % | 723.79/723.86 c | 2961057 | 922 83857 242480 | 1 204472 64 | 0.000 % | 723.79/723.86 c | 2964724 | 922 83857 242480 | 1 208139 64 | 0.000 % | 723.79/723.86 c | 2964828 | 922 83857 242480 | 1 208243 64 | 0.000 % | 723.79/723.86 c | 2964929 | 922 83857 242480 | 1 208344 64 | 0.000 % | 723.79/723.86 c | 2965030 | 922 83857 242480 | 1 208445 64 | 0.000 % | 723.79/723.86 c | 2965130 | 922 83857 242480 | 1 208545 64 | 0.000 % | 723.79/723.86 c | 2965230 | 922 83857 242480 | 1 208645 64 | 0.000 % | 723.79/723.86 c | 2965339 | 922 83857 242480 | 1 208754 64 | 0.000 % | 723.79/723.86 c | 2965764 | 922 83857 242480 | 1 209179 64 | 0.000 % | 723.79/723.86 c | 2967180 | 922 83857 242480 | 1 210595 64 | 0.000 % | 723.79/723.86 c | 2967280 | 922 83857 242480 | 1 210695 64 | 0.000 % | 723.79/723.86 c | 2998002 | 922 83857 242480 | 1 241417 65 | 0.000 % | 723.79/723.86 c | 2998576 | 922 83857 242480 | 1 241991 65 | 0.000 % | 723.79/723.86 c | 2998676 | 922 83857 242480 | 1 121085 54 | 0.000 % | 723.79/723.86 c | 2998776 | 922 83857 242480 | 1 121185 54 | 0.000 % | 723.79/723.86 c | 2998902 | 922 83857 242480 | 1 121311 54 | 0.000 % | 723.79/723.86 c | 3000689 | 922 83857 242480 | 1 123098 54 | 0.000 % | 723.79/723.86 c | 3000790 | 922 83857 242480 | 1 123199 54 | 0.000 % | 723.79/723.86 c | 3000891 | 922 83857 242480 | 1 123300 54 | 0.000 % | 723.79/723.86 c | 3000994 | 922 83857 242480 | 1 123403 54 | 0.000 % | 723.79/723.86 c | 3001095 | 922 83857 242480 | 1 123504 54 | 0.000 % | 723.79/723.86 c | 3001196 | 922 83857 242480 | 1 123605 54 | 0.000 % | 723.79/723.86 c | 3001296 | 922 83857 242480 | 1 123705 54 | 0.000 % | 723.79/723.86 c | 3001399 | 922 83857 242480 | 1 123808 54 | 0.000 % | 723.79/723.86 c | 3001499 | 922 83857 242480 | 1 123908 54 | 0.000 % | 723.79/723.86 c | 3001602 | 922 83857 242480 | 1 124011 55 | 0.000 % | 723.79/723.86 c | 3001703 | 922 83857 242480 | 1 124112 55 | 0.000 % | 723.79/723.86 c | 3001804 | 922 83857 242480 | 1 124213 55 | 0.000 % | 723.79/723.86 c | 3001906 | 922 83857 242480 | 1 124315 55 | 0.000 % | 723.79/723.86 c | 3002009 | 922 83857 242480 | 1 124418 55 | 0.000 % | 723.79/723.86 c | 3002112 | 922 83857 242480 | 1 124521 55 | 0.000 % | 723.79/723.86 c | 3002213 | 922 83857 242480 | 1 124622 55 | 0.000 % | 723.79/723.86 c | 3002315 | 922 83857 242480 | 1 124724 55 | 0.000 % | 723.79/723.86 c | 3002418 | 922 83857 242480 | 1 124827 55 | 0.000 % | 723.79/723.86 c | 3002520 | 922 83857 242480 | 1 124929 55 | 0.000 % | 723.79/723.86 c | 3002621 | 922 83857 242480 | 1 125030 55 | 0.000 % | 723.79/723.86 c | 3002721 | 922 83857 242480 | 1 125130 55 | 0.000 % | 723.79/723.86 c | 3002821 | 922 83857 242480 | 1 125230 55 | 0.000 % | 723.79/723.86 c | 3002922 | 922 83857 242480 | 1 125331 55 | 0.000 % | 723.79/723.86 c | 3003022 | 922 83857 242480 | 1 125431 55 | 0.000 % | 723.79/723.86 c | 3003122 | 922 83857 242480 | 1 125531 55 | 0.000 % | 723.79/723.86 c | 3003223 | 922 83857 242480 | 1 125632 55 | 0.000 % | 723.79/723.86 c | 3005420 | 922 83857 242480 | 1 127829 56 | 0.000 % | 723.79/723.86 c | 3005521 | 922 83857 242480 | 1 127930 56 | 0.000 % | 747.38/747.48 c | 3005622 | 922 83857 242480 | 1 128031 56 | 0.000 % | 747.38/747.48 c | 3007478 | 922 83857 242480 | 1 129887 56 | 0.000 % | 747.38/747.48 c | 3007985 | 922 83857 242480 | 1 130394 57 | 0.000 % | 747.38/747.48 c | 3008085 | 922 83857 242480 | 1 130494 57 | 0.000 % | 747.38/747.48 c | 3008185 | 922 83857 242480 | 1 130594 57 | 0.000 % | 747.38/747.48 c | 3009121 | 922 83857 242480 | 1 131530 57 | 0.000 % | 747.38/747.48 c | 3009315 | 922 83857 242480 | 1 131724 57 | 0.000 % | 747.38/747.48 c | 3009517 | 922 83857 242480 | 1 131926 57 | 0.000 % | 747.38/747.48 c | 3013159 | 922 83857 242480 | 1 135568 58 | 0.000 % | 747.38/747.48 c | 3014561 | 922 83857 242480 | 1 136970 58 | 0.000 % | 747.38/747.48 c | 3014662 | 922 83857 242480 | 1 137071 58 | 0.000 % | 747.38/747.48 c | 3018564 | 922 83857 242480 | 1 140973 59 | 0.000 % | 747.38/747.48 c | 3021793 | 922 83857 242480 | 1 144202 60 | 0.000 % | 747.38/747.48 c | 3021895 | 922 83857 242480 | 1 144304 60 | 0.000 % | 747.38/747.48 c | 3050540 | 922 83857 242480 | 1 172949 64 | 0.000 % | 747.38/747.48 c | 3050642 | 922 83857 242480 | 1 173051 64 | 0.000 % | 747.38/747.48 c | 3057978 | 922 83857 242480 | 1 180387 65 | 0.000 % | 747.38/747.48 c | 3058078 | 922 83857 242480 | 1 180487 65 | 0.000 % | 747.38/747.48 c | 3059617 | 922 83857 242480 | 1 182026 65 | 0.000 % | 747.38/747.48 c | 3059717 | 922 83857 242480 | 1 182126 65 | 0.000 % | 747.38/747.48 c | 3059818 | 922 83857 242480 | 1 182227 65 | 0.000 % | 747.38/747.48 c | 3061352 | 922 83857 242480 | 1 183761 65 | 0.000 % | 747.38/747.48 c | 3061453 | 922 83857 242480 | 1 183862 65 | 0.000 % | 747.38/747.48 c | 3063531 | 922 83857 242480 | 1 185940 65 | 0.000 % | 747.38/747.48 c | 3072626 | 922 83857 242480 | 1 195035 66 | 0.000 % | 747.38/747.48 c | 3072728 | 922 83857 242480 | 1 195137 66 | 0.000 % | 747.38/747.48 c | 3072830 | 922 83857 242480 | 1 195239 66 | 0.000 % | 747.38/747.48 c | 3072931 | 922 83857 242480 | 1 195340 66 | 0.000 % | 747.38/747.48 c | 3073031 | 922 83857 242480 | 1 195440 66 | 0.000 % | 747.38/747.48 c | 3073134 | 922 83857 242480 | 1 195543 66 | 0.000 % | 747.38/747.48 c | 3073234 | 922 83857 242480 | 1 195643 66 | 0.000 % | 747.38/747.48 c | 3073334 | 922 83857 242480 | 1 195743 66 | 0.000 % | 747.38/747.48 c | 3073434 | 922 83857 242480 | 1 195843 66 | 0.000 % | 747.38/747.48 c | 3073534 | 922 83857 242480 | 1 195943 66 | 0.000 % | 747.38/747.48 c | 3073634 | 922 83857 242480 | 1 196043 66 | 0.000 % | 747.38/747.48 c | 3073735 | 922 83857 242480 | 1 196144 66 | 0.000 % | 747.38/747.48 c | 3073837 | 922 83857 242480 | 1 196246 66 | 0.000 % | 747.38/747.48 c | 3073937 | 922 83857 242480 | 1 196346 66 | 0.000 % | 747.38/747.48 c | 3074041 | 922 83857 242480 | 1 196450 66 | 0.000 % | 747.38/747.48 c | 3074141 | 922 83857 242480 | 1 196550 66 | 0.000 % | 747.38/747.48 c | 3074242 | 922 83857 242480 | 1 196651 66 | 0.000 % | 747.38/747.48 c | 3074344 | 922 83857 242480 | 1 196753 66 | 0.000 % | 747.38/747.48 c | 3074459 | 922 83857 242480 | 1 196868 66 | 0.000 % | 747.38/747.48 c | 3074559 | 922 83857 242480 | 1 196968 66 | 0.000 % | 747.38/747.48 c | 3074665 | 922 83857 242480 | 1 197074 66 | 0.000 % | 747.38/747.48 c | 3074766 | 922 83857 242480 | 1 197175 66 | 0.000 % | 747.38/747.48 c | 3074868 | 922 83857 242480 | 1 197277 66 | 0.000 % | 747.38/747.48 c | 3074968 | 922 83857 242480 | 1 197377 66 | 0.000 % | 747.38/747.48 c | 3075069 | 922 83857 242480 | 1 197478 66 | 0.000 % | 747.38/747.48 c | 3075169 | 922 83857 242480 | 1 197578 66 | 0.000 % | 751.98/752.09 c | 3075271 | 922 83857 242480 | 1 197680 66 | 0.000 % | 751.98/752.09 c | 3075372 | 922 83857 242480 | 1 197781 66 | 0.000 % | 751.98/752.09 c | 3075472 | 922 83857 242480 | 1 197881 66 | 0.000 % | 751.98/752.09 c | 3075572 | 922 83857 242480 | 1 197981 66 | 0.000 % | 751.98/752.09 c | 3075673 | 922 83857 242480 | 1 198082 66 | 0.000 % | 751.98/752.09 c | 3075773 | 922 83857 242480 | 1 198182 66 | 0.000 % | 751.98/752.09 c | 3075877 | 922 83857 242480 | 1 198286 66 | 0.000 % | 751.98/752.09 c | 3075979 | 922 83857 242480 | 1 198388 66 | 0.000 % | 751.98/752.09 c | 3076079 | 922 83857 242480 | 1 198488 66 | 0.000 % | 751.98/752.09 c | 3076180 | 922 83857 242480 | 1 198589 66 | 0.000 % | 751.98/752.09 c | 3078872 | 922 83857 242480 | 1 201281 67 | 0.000 % | 751.98/752.09 c | 3078972 | 922 83857 242480 | 1 201381 67 | 0.000 % | 751.98/752.09 c | 3079073 | 922 83857 242480 | 1 201482 67 | 0.000 % | 751.98/752.10 c | 3079173 | 922 83857 242480 | 1 201582 67 | 0.000 % | 751.98/752.10 c | 3079273 | 922 83857 242480 | 1 201682 67 | 0.000 % | 751.98/752.10 c | 3079373 | 922 83857 242480 | 1 201782 67 | 0.000 % | 751.98/752.10 c | 3079473 | 922 83857 242480 | 1 201882 67 | 0.000 % | 751.98/752.10 c | 3079574 | 922 83857 242480 | 1 201983 67 | 0.000 % | 751.98/752.10 c | 3079676 | 922 83857 242480 | 1 202085 67 | 0.000 % | 751.98/752.10 c | 3079776 | 922 83857 242480 | 1 202185 67 | 0.000 % | 751.98/752.10 c | 3079882 | 922 83857 242480 | 1 202291 67 | 0.000 % | 751.98/752.10 c | 3079982 | 922 83857 242480 | 1 202391 67 | 0.000 % | 751.98/752.10 c | 3080213 | 922 83857 242480 | 1 202622 67 | 0.000 % | 751.98/752.10 c | 3080313 | 922 83857 242480 | 1 202722 67 | 0.000 % | 751.98/752.10 c | 3080414 | 922 83857 242480 | 1 202823 67 | 0.000 % | 751.98/752.10 c | 3080514 | 922 83857 242480 | 1 202923 67 | 0.000 % | 751.98/752.10 c | 3080615 | 922 83857 242480 | 1 203024 67 | 0.000 % | 751.98/752.10 c | 3080715 | 922 83857 242480 | 1 203124 67 | 0.000 % | 751.98/752.10 c | 3080815 | 922 83857 242480 | 1 203224 67 | 0.000 % | 751.98/752.10 c | 3080915 | 922 83857 242480 | 1 203324 67 | 0.000 % | 751.98/752.10 c | 3081016 | 922 83857 242480 | 1 203425 67 | 0.000 % | 751.98/752.10 c | 3081116 | 922 83857 242480 | 1 203525 67 | 0.000 % | 751.98/752.10 c | 3081218 | 922 83857 242480 | 1 203627 67 | 0.000 % | 751.98/752.10 c | 3081319 | 922 83857 242480 | 1 203728 67 | 0.000 % | 751.98/752.10 c | 3081419 | 922 83857 242480 | 1 203828 67 | 0.000 % | 751.98/752.10 c | 3081521 | 922 83857 242480 | 1 203930 67 | 0.000 % | 751.98/752.10 c | 3081622 | 922 83857 242480 | 1 204031 67 | 0.000 % | 751.98/752.10 c | 3081722 | 922 83857 242480 | 1 204131 67 | 0.000 % | 751.98/752.10 c | 3081982 | 922 83857 242480 | 1 204391 67 | 0.000 % | 751.98/752.10 c | 3082083 | 922 83857 242480 | 1 204492 67 | 0.000 % | 751.98/752.10 c | 3082184 | 922 83857 242480 | 1 204593 67 | 0.000 % | 751.98/752.10 c | 3083714 | 922 83857 242480 | 1 206123 68 | 0.000 % | 751.98/752.10 c | 3083814 | 922 83857 242480 | 1 206223 68 | 0.000 % | 751.98/752.10 c | 3083914 | 922 83857 242480 | 1 206323 68 | 0.000 % | 751.98/752.10 c | 3084016 | 922 83857 242480 | 1 206425 68 | 0.000 % | 751.98/752.10 c | 3084118 | 922 83857 242480 | 1 206527 68 | 0.000 % | 751.98/752.10 c | 3084306 | 922 83857 242480 | 1 206715 68 | 0.000 % | 751.98/752.10 c | 3084406 | 922 83857 242480 | 1 206815 68 | 0.000 % | 751.98/752.10 c | 3084826 | 922 83857 242480 | 1 207235 68 | 0.000 % | 751.98/752.10 c | 3085087 | 922 83857 242480 | 1 207496 68 | 0.000 % | 785.59/785.62 c | 3091264 | 922 83857 242480 | 1 213673 68 | 0.000 % | 785.59/785.62 c | 3091365 | 922 83857 242480 | 1 213774 68 | 0.000 % | 785.59/785.62 c | 3091465 | 922 83857 242480 | 1 213874 68 | 0.000 % | 785.59/785.62 c | 3091566 | 922 83857 242480 | 1 213975 68 | 0.000 % | 785.59/785.62 c | 3092418 | 922 83857 242480 | 1 214827 68 | 0.000 % | 785.59/785.62 c | 3092518 | 922 83857 242480 | 1 214927 68 | 0.000 % | 785.59/785.62 c | 3092704 | 922 83857 242480 | 1 215113 68 | 0.000 % | 785.59/785.62 c | 3092805 | 922 83857 242480 | 1 215214 68 | 0.000 % | 785.59/785.62 c | 3092907 | 922 83857 242480 | 1 215316 68 | 0.000 % | 785.59/785.62 c | 3094023 | 922 83857 242480 | 1 216432 68 | 0.000 % | 785.59/785.62 c | 3094125 | 922 83857 242480 | 1 216534 68 | 0.000 % | 785.59/785.62 c | 3144596 | 922 83857 242480 | 1 143407 54 | 0.000 % | 785.59/785.62 c | 3147648 | 922 83857 242480 | 1 146459 54 | 0.000 % | 785.59/785.62 c | 3155970 | 922 83857 242480 | 1 154781 55 | 0.000 % | 785.59/785.62 c | 3157017 | 922 83857 242480 | 1 155828 55 | 0.000 % | 785.59/785.62 c | 3161259 | 922 83857 242480 | 1 160070 56 | 0.000 % | 785.59/785.62 c | 3161359 | 922 83857 242480 | 1 160170 56 | 0.000 % | 785.59/785.62 c | 3161459 | 922 83857 242480 | 1 160270 56 | 0.000 % | 785.59/785.62 c | 3161561 | 922 83857 242480 | 1 160372 56 | 0.000 % | 785.59/785.62 c | 3161661 | 922 83857 242480 | 1 160472 56 | 0.000 % | 785.59/785.62 c | 3161761 | 922 83857 242480 | 1 160572 57 | 0.000 % | 785.59/785.62 c | 3161861 | 922 83857 242480 | 1 160672 57 | 0.000 % | 785.59/785.62 c | 3161961 | 922 83857 242480 | 1 160772 57 | 0.000 % | 785.59/785.62 c | 3162064 | 922 83857 242480 | 1 160875 57 | 0.000 % | 785.59/785.62 c | 3162167 | 922 83857 242480 | 1 160978 57 | 0.000 % | 785.59/785.62 c | 3162268 | 922 83857 242480 | 1 161079 57 | 0.000 % | 785.59/785.62 c | 3162368 | 922 83857 242480 | 1 161179 57 | 0.000 % | 785.59/785.62 c | 3162468 | 922 83857 242480 | 1 161279 57 | 0.000 % | 785.59/785.62 c | 3162568 | 922 83857 242480 | 1 161379 57 | 0.000 % | 785.59/785.62 c | 3162671 | 922 83857 242480 | 1 161482 57 | 0.000 % | 785.59/785.62 c | 3162771 | 922 83857 242480 | 1 161582 57 | 0.000 % | 785.59/785.62 c | 3162874 | 922 83857 242480 | 1 161685 57 | 0.000 % | 785.59/785.62 c | 3166765 | 922 83857 242480 | 1 165576 58 | 0.000 % | 785.59/785.62 c | 3166866 | 922 83857 242480 | 1 165677 58 | 0.000 % | 785.59/785.62 c | 3166968 | 922 83857 242480 | 1 165779 58 | 0.000 % | 785.59/785.62 c | 3167071 | 922 83857 242480 | 1 165882 58 | 0.000 % | 785.59/785.62 c | 3167172 | 922 83857 242480 | 1 165983 58 | 0.000 % | 785.59/785.62 c | 3167272 | 922 83857 242480 | 1 166083 58 | 0.000 % | 785.59/785.62 c | 3167373 | 922 83857 242480 | 1 166184 58 | 0.000 % | 785.59/785.62 c | 3167473 | 922 83857 242480 | 1 166284 58 | 0.000 % | 785.59/785.62 c | 3167695 | 922 83857 242480 | 1 166506 58 | 0.000 % | 785.59/785.62 c | 3168821 | 922 83857 242480 | 1 167632 58 | 0.000 % | 785.59/785.62 c | 3168921 | 922 83857 242480 | 1 167732 58 | 0.000 % | 785.59/785.62 c | 3169021 | 922 83857 242480 | 1 167832 58 | 0.000 % | 785.59/785.62 c | 3169121 | 922 83857 242480 | 1 167932 58 | 0.000 % | 785.59/785.62 c | 3169223 | 922 83857 242480 | 1 168034 58 | 0.000 % | 785.59/785.62 c | 3169325 | 922 83857 242480 | 1 168136 58 | 0.000 % | 785.59/785.62 c | 3169426 | 922 83857 242480 | 1 168237 58 | 0.000 % | 785.59/785.62 c | 3169526 | 922 83857 242480 | 1 168337 58 | 0.000 % | 785.59/785.62 c | 3169626 | 922 83857 242480 | 1 168437 58 | 0.000 % | 821.19/821.20 c | 3169729 | 922 83857 242480 | 1 168540 59 | 0.000 % | 821.19/821.20 c | 3169833 | 922 83857 242480 | 1 168644 59 | 0.000 % | 821.19/821.20 c | 3169933 | 922 83857 242480 | 1 168744 59 | 0.000 % | 821.19/821.20 c | 3172604 | 922 83857 242480 | 1 171415 59 | 0.000 % | 821.19/821.20 c | 3177324 | 922 83857 242480 | 1 176135 59 | 0.000 % | 821.19/821.20 c | 3177654 | 922 83857 242480 | 1 176465 59 | 0.000 % | 821.19/821.20 c | 3180382 | 922 83857 242480 | 1 179193 60 | 0.000 % | 821.19/821.20 c | 3180482 | 922 83857 242480 | 1 179293 60 | 0.000 % | 821.19/821.20 c | 3180583 | 922 83857 242480 | 1 179394 60 | 0.000 % | 821.19/821.20 c | 3180683 | 922 83857 242480 | 1 179494 60 | 0.000 % | 821.19/821.20 c | 3180786 | 922 83857 242480 | 1 179597 60 | 0.000 % | 821.19/821.20 c | 3180886 | 922 83857 242480 | 1 179697 60 | 0.000 % | 821.19/821.20 c | 3180987 | 922 83857 242480 | 1 179798 60 | 0.000 % | 821.19/821.20 c | 3181087 | 922 83857 242480 | 1 179898 60 | 0.000 % | 821.19/821.20 c | 3181189 | 922 83857 242480 | 1 180000 60 | 0.000 % | 821.19/821.20 c | 3181289 | 922 83857 242480 | 1 180100 60 | 0.000 % | 821.19/821.20 c | 3181389 | 922 83857 242480 | 1 180200 60 | 0.000 % | 821.19/821.20 c | 3181490 | 922 83857 242480 | 1 180301 60 | 0.000 % | 821.19/821.20 c | 3181590 | 922 83857 242480 | 1 180401 60 | 0.000 % | 821.19/821.20 c | 3181691 | 922 83857 242480 | 1 180502 60 | 0.000 % | 821.19/821.20 c | 3181792 | 922 83857 242480 | 1 180603 60 | 0.000 % | 821.19/821.20 c | 3181892 | 922 83857 242480 | 1 180703 60 | 0.000 % | 821.19/821.20 c | 3181993 | 922 83857 242480 | 1 180804 60 | 0.000 % | 821.19/821.20 c | 3182097 | 922 83857 242480 | 1 180908 60 | 0.000 % | 821.19/821.20 c | 3182200 | 922 83857 242480 | 1 181011 60 | 0.000 % | 821.19/821.20 c | 3182479 | 922 83857 242480 | 1 181290 60 | 0.000 % | 821.19/821.20 c | 3182580 | 922 83857 242480 | 1 181391 60 | 0.000 % | 821.19/821.20 c | 3182683 | 922 83857 242480 | 1 181494 60 | 0.000 % | 821.19/821.20 c | 3182783 | 922 83857 242480 | 1 181594 60 | 0.000 % | 821.19/821.20 c | 3183257 | 922 83857 242480 | 1 182068 60 | 0.000 % | 821.19/821.20 c | 3245804 | 922 83857 242480 | 1 244615 64 | 0.000 % | 821.19/821.20 c | 3246504 | 922 83857 242480 | 1 245315 64 | 0.000 % | 821.19/821.20 c | 3246604 | 922 83857 242480 | 1 245415 64 | 0.000 % | 821.19/821.20 c | 3246704 | 922 83857 242480 | 1 245515 64 | 0.000 % | 821.19/821.20 c | 3246805 | 922 83857 242480 | 1 245616 64 | 0.000 % | 821.19/821.20 c | 3246905 | 922 83857 242480 | 1 245716 64 | 0.000 % | 821.19/821.20 c | 3247005 | 922 83857 242480 | 1 245816 64 | 0.000 % | 821.19/821.20 c | 3247105 | 922 83857 242480 | 1 245916 64 | 0.000 % | 821.19/821.20 c | 3247206 | 922 83857 242480 | 1 246017 64 | 0.000 % | 821.19/821.20 c | 3247306 | 922 83857 242480 | 1 246117 64 | 0.000 % | 821.19/821.20 c | 3247551 | 922 83857 242480 | 1 246362 64 | 0.000 % | 821.19/821.20 c | 3247651 | 922 83857 242480 | 1 246462 64 | 0.000 % | 821.19/821.20 c | 3247751 | 922 83857 242480 | 1 246562 64 | 0.000 % | 821.19/821.20 c | 3247854 | 922 83857 242480 | 1 246665 64 | 0.000 % | 821.19/821.20 c | 3257472 | 922 83857 242480 | 1 130082 53 | 0.000 % | 821.19/821.20 c | 3257576 | 922 83857 242480 | 1 130186 53 | 0.000 % | 821.19/821.20 c | 3257678 | 922 83857 242480 | 1 130288 53 | 0.000 % | 821.19/821.20 c | 3257781 | 922 83857 242480 | 1 130391 54 | 0.000 % | 821.19/821.20 c | 3257881 | 922 83857 242480 | 1 130491 54 | 0.000 % | 821.19/821.20 c | 3257981 | 922 83857 242480 | 1 130591 54 | 0.000 % | 833.79/833.84 c | 3258085 | 922 83857 242480 | 1 130695 54 | 0.000 % | 833.79/833.84 c | 3258185 | 922 83857 242480 | 1 130795 54 | 0.000 % | 833.79/833.84 c | 3258285 | 922 83857 242480 | 1 130895 54 | 0.000 % | 833.79/833.84 c | 3258386 | 922 83857 242480 | 1 130996 54 | 0.000 % | 833.79/833.84 c | 3258486 | 922 83857 242480 | 1 131096 54 | 0.000 % | 833.79/833.84 c | 3258587 | 922 83857 242480 | 1 131197 54 | 0.000 % | 833.79/833.84 c | 3258688 | 922 83857 242480 | 1 131298 54 | 0.000 % | 833.79/833.84 c | 3258791 | 922 83857 242480 | 1 131401 54 | 0.000 % | 833.79/833.84 c | 3258892 | 922 83857 242480 | 1 131502 54 | 0.000 % | 833.79/833.84 c | 3258992 | 922 83857 242480 | 1 131602 54 | 0.000 % | 833.79/833.84 c | 3259093 | 922 83857 242480 | 1 131703 54 | 0.000 % | 833.79/833.84 c | 3259193 | 922 83857 242480 | 1 131803 54 | 0.000 % | 833.79/833.84 c | 3259293 | 922 83857 242480 | 1 131903 54 | 0.000 % | 833.79/833.84 c | 3259394 | 922 83857 242480 | 1 132004 54 | 0.000 % | 833.79/833.84 c | 3260048 | 922 83857 242480 | 1 132658 54 | 0.000 % | 833.79/833.84 c | 3260148 | 922 83857 242480 | 1 132758 54 | 0.000 % | 833.79/833.84 c | 3260328 | 922 83857 242480 | 1 132938 55 | 0.000 % | 833.79/833.84 c | 3260765 | 922 83857 242480 | 1 133375 55 | 0.000 % | 833.79/833.84 c | 3260865 | 922 83857 242480 | 1 133475 55 | 0.000 % | 833.79/833.84 c | 3260965 | 922 83857 242480 | 1 133575 55 | 0.000 % | 833.79/833.84 c | 3261066 | 922 83857 242480 | 1 133676 55 | 0.000 % | 833.79/833.84 c | 3261167 | 922 83857 242480 | 1 133777 55 | 0.000 % | 833.79/833.84 c | 3262046 | 922 83857 242480 | 1 134656 55 | 0.000 % | 833.79/833.84 c | 3262148 | 922 83857 242480 | 1 134758 55 | 0.000 % | 833.79/833.84 c | 3262249 | 922 83857 242480 | 1 134859 55 | 0.000 % | 833.79/833.84 c | 3271416 | 922 83857 242480 | 1 144026 56 | 0.000 % | 833.79/833.84 c | 3271517 | 922 83857 242480 | 1 144127 56 | 0.000 % | 833.79/833.84 c | 3271617 | 922 83857 242480 | 1 144227 56 | 0.000 % | 833.79/833.84 c | 3279967 | 922 83857 242480 | 1 152577 57 | 0.000 % | 833.79/833.84 c | 3282360 | 922 83857 242480 | 1 154970 57 | 0.000 % | 833.79/833.84 c | 3282461 | 922 83857 242480 | 1 155071 57 | 0.000 % | 833.79/833.84 c | 3282561 | 922 83857 242480 | 1 155171 57 | 0.000 % | 833.79/833.84 c | 3282663 | 922 83857 242480 | 1 155273 57 | 0.000 % | 833.79/833.84 c | 3282766 | 922 83857 242480 | 1 155376 57 | 0.000 % | 833.79/833.84 c | 3282866 | 922 83857 242480 | 1 155476 57 | 0.000 % | 833.79/833.84 c | 3282968 | 922 83857 242480 | 1 155578 57 | 0.000 % | 833.79/833.84 c | 3283069 | 922 83857 242480 | 1 155679 57 | 0.000 % | 833.79/833.84 c | 3283170 | 922 83857 242480 | 1 155780 57 | 0.000 % | 833.79/833.84 c | 3285322 | 922 83857 242480 | 1 157932 58 | 0.000 % | 833.79/833.84 c | 3285423 | 922 83857 242480 | 1 158033 58 | 0.000 % | 833.79/833.84 c | 3285671 | 922 83857 242480 | 1 158281 58 | 0.000 % | 833.79/833.84 c | 3290960 | 922 83857 242480 | 1 163570 59 | 0.000 % | 833.79/833.84 c | 3291061 | 922 83857 242480 | 1 163671 59 | 0.000 % | 833.79/833.84 c | 3297380 | 922 83857 242480 | 1 169990 60 | 0.000 % | 833.79/833.84 c | 3297480 | 922 83857 242480 | 1 170090 60 | 0.000 % | 833.79/833.84 c | 3297580 | 922 83857 242480 | 1 170190 60 | 0.000 % | 833.79/833.84 c | 3297680 | 922 83857 242480 | 1 170290 60 | 0.000 % | 833.79/833.84 c | 3297781 | 922 83857 242480 | 1 170391 60 | 0.000 % | 833.79/833.84 c | 3297885 | 922 83857 242480 | 1 170495 60 | 0.000 % | 833.79/833.84 c | 3297985 | 922 83857 242480 | 1 170595 60 | 0.000 % | 922.99/923.05 c | 3298085 | 922 83857 242480 | 1 170695 60 | 0.000 % | 922.99/923.05 c | 3321933 | 922 83857 242480 | 1 194543 61 | 0.000 % | 922.99/923.05 c | 3324904 | 922 83857 242480 | 1 197514 62 | 0.000 % | 922.99/923.05 c | 3327822 | 922 83857 242480 | 1 200432 62 | 0.000 % | 922.99/923.05 c | 3327924 | 922 83857 242480 | 1 200534 62 | 0.000 % | 922.99/923.05 c | 3373763 | 922 83857 242480 | 1 246373 63 | 0.000 % | 922.99/923.05 c | 3373863 | 922 83857 242480 | 1 246473 63 | 0.000 % | 922.99/923.05 c | 3374811 | 922 83857 242480 | 1 247421 63 | 0.000 % | 922.99/923.05 c | 3412531 | 922 83857 242480 | 1 156339 57 | 0.000 % | 922.99/923.05 c | 3412634 | 922 83857 242480 | 1 156442 57 | 0.000 % | 922.99/923.05 c | 3412735 | 922 83857 242480 | 1 156543 57 | 0.000 % | 922.99/923.05 c | 3414290 | 922 83857 242480 | 1 158098 57 | 0.000 % | 922.99/923.05 c | 3416287 | 922 83857 242480 | 1 160095 57 | 0.000 % | 922.99/923.05 c | 3416559 | 922 83857 242480 | 1 160367 57 | 0.000 % | 922.99/923.05 c | 3416659 | 922 83857 242480 | 1 160467 57 | 0.000 % | 922.99/923.05 c | 3418104 | 922 83857 242480 | 1 161912 57 | 0.000 % | 922.99/923.05 c | 3429647 | 922 83857 242480 | 1 173455 59 | 0.000 % | 922.99/923.05 c | 3429747 | 922 83857 242480 | 1 173555 59 | 0.000 % | 922.99/923.05 c | 3429847 | 922 83857 242480 | 1 173655 59 | 0.000 % | 922.99/923.05 c | 3429949 | 922 83857 242480 | 1 173757 59 | 0.000 % | 922.99/923.05 c | 3430049 | 922 83857 242480 | 1 173857 59 | 0.000 % | 922.99/923.05 c | 3430151 | 922 83857 242480 | 1 173959 59 | 0.000 % | 922.99/923.05 c | 3430253 | 922 83857 242480 | 1 174061 59 | 0.000 % | 922.99/923.05 c | 3430353 | 922 83857 242480 | 1 174161 60 | 0.000 % | 922.99/923.05 c | 3430453 | 922 83857 242480 | 1 174261 60 | 0.000 % | 922.99/923.05 c | 3479553 | 922 83857 242480 | 1 223361 65 | 0.000 % | 922.99/923.05 c | 3479654 | 922 83857 242480 | 1 223462 65 | 0.000 % | 922.99/923.05 c | 3479754 | 922 83857 242480 | 1 223562 65 | 0.000 % | 922.99/923.05 c | 3480035 | 922 83857 242480 | 1 223843 65 | 0.000 % | 922.99/923.05 c | 3480135 | 922 83857 242480 | 1 223943 65 | 0.000 % | 922.99/923.05 c | 3480238 | 922 83857 242480 | 1 224046 65 | 0.000 % | 922.99/923.05 c | 3480338 | 922 83857 242480 | 1 224146 65 | 0.000 % | 922.99/923.05 c | 3480439 | 922 83857 242480 | 1 224247 65 | 0.000 % | 922.99/923.05 c | 3498332 | 922 83857 242480 | 1 242140 67 | 0.000 % | 922.99/923.05 c | 3498462 | 922 83857 242480 | 1 242270 67 | 0.000 % | 922.99/923.05 c | 3498562 | 922 83857 242480 | 1 242370 67 | 0.000 % | 922.99/923.05 c | 3498778 | 922 83857 242480 | 1 242586 67 | 0.000 % | 922.99/923.05 c | 3498881 | 922 83857 242480 | 1 242689 67 | 0.000 % | 922.99/923.05 c | 3498981 | 922 83857 242480 | 1 242789 67 | 0.000 % | 922.99/923.05 c | 3499081 | 922 83857 242480 | 1 242889 67 | 0.000 % | 922.99/923.05 c | 3499182 | 922 83857 242480 | 1 242990 67 | 0.000 % | 922.99/923.05 c | 3499284 | 922 83857 242480 | 1 243092 67 | 0.000 % | 922.99/923.05 c | 3499384 | 922 83857 242480 | 1 243192 67 | 0.000 % | 922.99/923.05 c | 3499640 | 922 83857 242480 | 1 243448 67 | 0.000 % | 922.99/923.05 c | 3500387 | 922 83857 242480 | 1 244195 67 | 0.000 % | 922.99/923.05 c | 3500487 | 922 83857 242480 | 1 244295 67 | 0.000 % | 922.99/923.05 c | 3500588 | 922 83857 242480 | 1 244396 67 | 0.000 % | 922.99/923.05 c | 3517533 | 922 83857 242480 | 1 261341 69 | 0.000 % | 922.99/923.05 c | 3517633 | 922 83857 242480 | 1 261441 69 | 0.000 % | 922.99/923.05 c | 3517733 | 922 83857 242480 | 1 261541 69 | 0.000 % | 986.99/987.01 c | 3525677 | 922 83857 242480 | 1 138087 56 | 0.000 % | 986.99/987.01 c | 3525777 | 922 83857 242480 | 1 138187 56 | 0.000 % | 986.99/987.01 c | 3525878 | 922 83857 242480 | 1 138288 56 | 0.000 % | 986.99/987.01 c | 3525978 | 922 83857 242480 | 1 138388 56 | 0.000 % | 986.99/987.01 c | 3526081 | 922 83857 242480 | 1 138491 56 | 0.000 % | 986.99/987.01 c | 3526181 | 922 83857 242480 | 1 138591 56 | 0.000 % | 986.99/987.01 c | 3526282 | 922 83857 242480 | 1 138692 56 | 0.000 % | 986.99/987.01 c | 3526383 | 922 83857 242480 | 1 138793 56 | 0.000 % | 986.99/987.01 c | 3526483 | 922 83857 242480 | 1 138893 56 | 0.000 % | 986.99/987.01 c | 3526583 | 922 83857 242480 | 1 138993 56 | 0.000 % | 986.99/987.01 c | 3526683 | 922 83857 242480 | 1 139093 56 | 0.000 % | 986.99/987.01 c | 3526784 | 922 83857 242480 | 1 139194 56 | 0.000 % | 986.99/987.01 c | 3526885 | 922 83857 242480 | 1 139295 57 | 0.000 % | 986.99/987.01 c | 3526986 | 922 83857 242480 | 1 139396 57 | 0.000 % | 986.99/987.01 c | 3527086 | 922 83857 242480 | 1 139496 57 | 0.000 % | 986.99/987.01 c | 3527186 | 922 83857 242480 | 1 139596 57 | 0.000 % | 986.99/987.01 c | 3533210 | 922 83857 242480 | 1 145620 58 | 0.000 % | 986.99/987.01 c | 3533311 | 922 83857 242480 | 1 145721 58 | 0.000 % | 986.99/987.01 c | 3533411 | 922 83857 242480 | 1 145821 58 | 0.000 % | 986.99/987.01 c | 3533514 | 922 83857 242480 | 1 145924 58 | 0.000 % | 986.99/987.01 c | 3534296 | 922 83857 242480 | 1 146706 58 | 0.000 % | 986.99/987.01 c | 3534396 | 922 83857 242480 | 1 146806 58 | 0.000 % | 986.99/987.01 c | 3585012 | 922 83857 242480 | 1 197422 67 | 0.000 % | 986.99/987.01 c | 3588438 | 922 83857 242480 | 1 200848 67 | 0.000 % | 986.99/987.01 c | 3588539 | 922 83857 242480 | 1 200949 67 | 0.000 % | 986.99/987.01 c | 3588639 | 922 83857 242480 | 1 201049 67 | 0.000 % | 986.99/987.01 c | 3588742 | 922 83857 242480 | 1 201152 67 | 0.000 % | 986.99/987.01 c | 3640134 | 922 83857 242480 | 1 252544 68 | 0.000 % | 986.99/987.01 c | 3640236 | 922 83857 242480 | 1 252646 68 | 0.000 % | 986.99/987.01 c | 3647288 | 922 83857 242480 | 1 259698 68 | 0.000 % | 986.99/987.01 c | 3647388 | 922 83857 242480 | 1 259798 68 | 0.000 % | 986.99/987.01 c | 3647488 | 922 83857 242480 | 1 259898 68 | 0.000 % | 986.99/987.01 c | 3647654 | 922 83857 242480 | 1 260064 68 | 0.000 % | 986.99/987.01 c | 3647755 | 922 83857 242480 | 1 260165 68 | 0.000 % | 986.99/987.01 c | 3650698 | 922 83857 242480 | 1 263108 68 | 0.000 % | 986.99/987.01 c | 3650798 | 922 83857 242480 | 1 263208 68 | 0.000 % | 986.99/987.01 c | 3651322 | 922 83857 242480 | 1 263732 68 | 0.000 % | 986.99/987.01 c | 3651422 | 922 83857 242480 | 1 263832 68 | 0.000 % | 986.99/987.01 c | 3651523 | 922 83857 242480 | 1 263933 68 | 0.000 % | 986.99/987.01 c | 3651783 | 922 83857 242480 | 1 264193 68 | 0.000 % | 986.99/987.01 c | 3652500 | 922 83857 242480 | 1 264910 68 | 0.000 % | 986.99/987.01 c | 3652600 | 922 83857 242480 | 1 265010 68 | 0.000 % | 986.99/987.01 c | 3652700 | 922 83857 242480 | 1 265110 68 | 0.000 % | 986.99/987.01 c | 3654029 | 922 83857 242480 | 1 266439 69 | 0.000 % | 986.99/987.01 c | 3654131 | 922 83857 242480 | 1 266541 69 | 0.000 % | 986.99/987.01 c | 3654231 | 922 83857 242480 | 1 266641 69 | 0.000 % | 986.99/987.01 c | 3654331 | 922 83857 242480 | 1 266741 69 | 0.000 % | 986.99/987.01 c | 3663194 | 922 83857 242480 | 1 141607 54 | 0.000 % | 986.99/987.01 c | 3664241 | 922 83857 242480 | 1 142654 55 | 0.000 % | 986.99/987.01 c | 3664662 | 922 83857 242480 | 1 143075 55 | 0.000 % | 1027.79/1027.83 c | 3664763 | 922 83857 242480 | 1 143176 55 | 0.000 % | 1027.79/1027.83 c | 3664863 | 922 83857 242480 | 1 143276 55 | 0.000 % | 1027.79/1027.83 c | 3664963 | 922 83857 242480 | 1 143376 55 | 0.000 % | 1027.79/1027.83 c | 3665064 | 922 83857 242480 | 1 143477 55 | 0.000 % | 1027.79/1027.83 c | 3665164 | 922 83857 242480 | 1 143577 55 | 0.000 % | 1027.79/1027.83 c | 3667443 | 922 83857 242480 | 1 145856 55 | 0.000 % | 1027.79/1027.83 c | 3667745 | 922 83857 242480 | 1 146158 55 | 0.000 % | 1027.79/1027.83 c | 3670474 | 922 83857 242480 | 1 148887 56 | 0.000 % | 1027.79/1027.83 c | 3681924 | 922 83857 242480 | 1 160337 56 | 0.000 % | 1027.79/1027.83 c | 3682024 | 922 83857 242480 | 1 160437 56 | 0.000 % | 1027.79/1027.83 c | 3682124 | 922 83857 242480 | 1 160537 56 | 0.000 % | 1027.79/1027.83 c | 3682225 | 922 83857 242480 | 1 160638 56 | 0.000 % | 1027.79/1027.83 c | 3682325 | 922 83857 242480 | 1 160738 56 | 0.000 % | 1027.79/1027.83 c | 3695016 | 922 83857 242480 | 1 173429 58 | 0.000 % | 1027.79/1027.83 c | 3695117 | 922 83857 242480 | 1 173530 58 | 0.000 % | 1027.79/1027.83 c | 3695219 | 922 83857 242480 | 1 173632 58 | 0.000 % | 1027.79/1027.83 c | 3695319 | 922 83857 242480 | 1 173732 58 | 0.000 % | 1027.79/1027.83 c | 3695421 | 922 83857 242480 | 1 173834 58 | 0.000 % | 1027.79/1027.83 c | 3695562 | 922 83857 242480 | 1 173975 59 | 0.000 % | 1027.79/1027.83 c | 3696103 | 922 83857 242480 | 1 174516 59 | 0.000 % | 1027.79/1027.83 c | 3696257 | 922 83857 242480 | 1 174670 59 | 0.000 % | 1027.79/1027.83 c | 3699880 | 922 83857 242480 | 1 178293 59 | 0.000 % | 1027.79/1027.83 c | 3699981 | 922 83857 242480 | 1 178394 59 | 0.000 % | 1027.79/1027.83 c | 3701323 | 922 83857 242480 | 1 179736 59 | 0.000 % | 1027.79/1027.83 c | 3701424 | 922 83857 242480 | 1 179837 59 | 0.000 % | 1027.79/1027.83 c | 3737761 | 922 83857 242480 | 1 216174 62 | 0.000 % | 1027.79/1027.83 c | 3738625 | 922 83857 242480 | 1 217038 62 | 0.000 % | 1027.79/1027.83 c | 3738725 | 922 83857 242480 | 1 217138 62 | 0.000 % | 1027.79/1027.83 c | 3738828 | 922 83857 242480 | 1 217241 63 | 0.000 % | 1027.79/1027.83 c | 3738933 | 922 83857 242480 | 1 217346 63 | 0.000 % | 1027.79/1027.83 c | 3739035 | 922 83857 242480 | 1 217448 63 | 0.000 % | 1027.79/1027.83 c | 3739136 | 922 83857 242480 | 1 217549 63 | 0.000 % | 1027.79/1027.83 c | 3739239 | 922 83857 242480 | 1 217652 63 | 0.000 % | 1027.79/1027.83 c | 3739340 | 922 83857 242480 | 1 217753 63 | 0.000 % | 1027.79/1027.83 c | 3764356 | 922 83857 242480 | 1 242769 65 | 0.000 % | 1027.79/1027.83 c | 3764458 | 922 83857 242480 | 1 242871 65 | 0.000 % | 1027.79/1027.83 c | 3764558 | 922 83857 242480 | 1 242971 65 | 0.000 % | 1027.79/1027.83 c | 3764658 | 922 83857 242480 | 1 243071 65 | 0.000 % | 1027.79/1027.83 c | 3764759 | 922 83857 242480 | 1 243172 65 | 0.000 % | 1027.79/1027.83 c | 3764859 | 922 83857 242480 | 1 243272 65 | 0.000 % | 1027.79/1027.83 c | 3764963 | 922 83857 242480 | 1 243376 65 | 0.000 % | 1027.79/1027.83 c | 3765064 | 922 83857 242480 | 1 243477 65 | 0.000 % | 1027.79/1027.83 c | 3765164 | 922 83857 242480 | 1 243577 65 | 0.000 % | 1027.79/1027.83 c | 3765264 | 922 83857 242480 | 1 243677 65 | 0.000 % | 1027.79/1027.83 c | 3765364 | 922 83857 242480 | 1 243777 65 | 0.000 % | 1027.79/1027.83 c | 3765466 | 922 83857 242480 | 1 243879 65 | 0.000 % | 1027.79/1027.83 c | 3765568 | 922 83857 242480 | 1 243981 65 | 0.000 % | 1027.79/1027.83 c | 3765670 | 922 83857 242480 | 1 244083 65 | 0.000 % | 1027.79/1027.83 c | 3765771 | 922 83857 242480 | 1 244184 65 | 0.000 % | 1027.79/1027.83 c | 3765871 | 922 83857 242480 | 1 244284 65 | 0.000 % | 1046.59/1046.68 c | 3766140 | 922 83857 242480 | 1 244553 65 | 0.000 % | 1046.59/1046.68 c | 3766240 | 922 83857 242480 | 1 244653 65 | 0.000 % | 1046.59/1046.68 c | 3766341 | 922 83857 242480 | 1 244754 65 | 0.000 % | 1046.59/1046.68 c | 3766441 | 922 83857 242480 | 1 244854 65 | 0.000 % | 1046.59/1046.68 c | 3766542 | 922 83857 242480 | 1 244955 65 | 0.000 % | 1046.59/1046.68 c | 3766644 | 922 83857 242480 | 1 245057 65 | 0.000 % | 1046.59/1046.68 c | 3766748 | 922 83857 242480 | 1 245161 65 | 0.000 % | 1046.59/1046.68 c | 3766849 | 922 83857 242480 | 1 245262 65 | 0.000 % | 1046.59/1046.68 c | 3767441 | 922 83857 242480 | 1 245854 65 | 0.000 % | 1046.59/1046.68 c | 3767542 | 922 83857 242480 | 1 245955 65 | 0.000 % | 1046.59/1046.68 c | 3767644 | 922 83857 242480 | 1 246057 65 | 0.000 % | 1046.59/1046.68 c | 3767746 | 922 83857 242480 | 1 246159 65 | 0.000 % | 1046.59/1046.68 c | 3778969 | 922 83857 242480 | 1 257382 65 | 0.000 % | 1046.59/1046.68 c | 3779069 | 922 83857 242480 | 1 257482 65 | 0.000 % | 1046.59/1046.68 c | 3779170 | 922 83857 242480 | 1 257583 65 | 0.000 % | 1046.59/1046.68 c | 3779271 | 922 83857 242480 | 1 257684 65 | 0.000 % | 1046.59/1046.68 c | 3779373 | 922 83857 242480 | 1 257786 65 | 0.000 % | 1046.59/1046.68 c | 3779477 | 922 83857 242480 | 1 257890 65 | 0.000 % | 1046.59/1046.68 c | 3779672 | 922 83857 242480 | 1 258085 65 | 0.000 % | 1046.59/1046.68 c | 3783713 | 922 83857 242480 | 1 262126 66 | 0.000 % | 1046.59/1046.68 c | 3785507 | 922 83857 242480 | 1 263920 66 | 0.000 % | 1046.59/1046.68 c | 3785608 | 922 83857 242480 | 1 264021 66 | 0.000 % | 1046.59/1046.68 c | 3785980 | 922 83857 242480 | 1 264393 66 | 0.000 % | 1046.59/1046.68 c | 3786084 | 922 83857 242480 | 1 264497 66 | 0.000 % | 1046.59/1046.68 c | 3786185 | 922 83857 242480 | 1 264598 66 | 0.000 % | 1046.59/1046.68 c | 3797582 | 922 83857 242480 | 1 139393 54 | 0.000 % | 1046.59/1046.68 c | 3797800 | 922 83857 242480 | 1 139611 54 | 0.000 % | 1046.59/1046.68 c | 3798034 | 922 83857 242480 | 1 139845 54 | 0.000 % | 1046.59/1046.68 c | 3798615 | 922 83857 242480 | 1 140426 54 | 0.000 % | 1046.59/1046.68 c | 3798716 | 922 83857 242480 | 1 140527 54 | 0.000 % | 1046.59/1046.68 c | 3798816 | 922 83857 242480 | 1 140627 54 | 0.000 % | 1046.59/1046.68 c | 3799606 | 922 83857 242480 | 1 141417 54 | 0.000 % | 1046.59/1046.68 c | 3799706 | 922 83857 242480 | 1 141517 54 | 0.000 % | 1046.59/1046.68 c | 3804561 | 922 83857 242480 | 1 146372 55 | 0.000 % | 1046.59/1046.68 c | 3804661 | 922 83857 242480 | 1 146472 55 | 0.000 % | 1046.59/1046.68 c | 3804824 | 922 83857 242480 | 1 146635 55 | 0.000 % | 1046.59/1046.68 c | 3804926 | 922 83857 242480 | 1 146737 55 | 0.000 % | 1046.59/1046.68 c | 3805027 | 922 83857 242480 | 1 146838 55 | 0.000 % | 1046.59/1046.68 c | 3805129 | 922 83857 242480 | 1 146940 55 | 0.000 % | 1046.59/1046.68 c | 3805232 | 922 83857 242480 | 1 147043 55 | 0.000 % | 1046.59/1046.68 c | 3807904 | 922 83857 242480 | 1 149715 56 | 0.000 % | 1046.59/1046.68 c | 3808005 | 922 83857 242480 | 1 149816 56 | 0.000 % | 1046.59/1046.68 c | 3808106 | 922 83857 242480 | 1 149917 56 | 0.000 % | 1046.59/1046.68 c | 3808206 | 922 83857 242480 | 1 150017 56 | 0.000 % | 1046.59/1046.68 c | 3808976 | 922 83857 242480 | 1 150787 56 | 0.000 % | 1046.59/1046.68 c | 3809078 | 922 83857 242480 | 1 150889 56 | 0.000 % | 1046.59/1046.68 c | 3809180 | 922 83857 242480 | 1 150991 56 | 0.000 % | 1046.59/1046.68 c | 3809280 | 922 83857 242480 | 1 151091 57 | 0.000 % | 1046.59/1046.68 c | 3809381 | 922 83857 242480 | 1 151192 57 | 0.000 % | 1046.59/1046.68 c | 3809488 | 922 83857 242480 | 1 151299 57 | 0.000 % | 1060.69/1060.73 c | 3809590 | 922 83857 242480 | 1 151401 57 | 0.000 % | 1060.69/1060.73 c | 3809690 | 922 83857 242480 | 1 151501 57 | 0.000 % | 1060.69/1060.73 c | 3809790 | 922 83857 242480 | 1 151601 57 | 0.000 % | 1060.69/1060.73 c | 3809891 | 922 83857 242480 | 1 151702 57 | 0.000 % | 1060.69/1060.73 c | 3809991 | 922 83857 242480 | 1 151802 57 | 0.000 % | 1060.69/1060.73 c | 3810093 | 922 83857 242480 | 1 151904 57 | 0.000 % | 1060.69/1060.73 c | 3810194 | 922 83857 242480 | 1 152005 57 | 0.000 % | 1060.69/1060.73 c | 3810294 | 922 83857 242480 | 1 152105 57 | 0.000 % | 1060.69/1060.73 c | 3810395 | 922 83857 242480 | 1 152206 57 | 0.000 % | 1060.69/1060.73 c | 3810495 | 922 83857 242480 | 1 152306 57 | 0.000 % | 1060.69/1060.73 c | 3810599 | 922 83857 242480 | 1 152410 57 | 0.000 % | 1060.69/1060.73 c | 3810703 | 922 83857 242480 | 1 152514 57 | 0.000 % | 1060.69/1060.73 c | 3810803 | 922 83857 242480 | 1 152614 57 | 0.000 % | 1060.69/1060.73 c | 3810904 | 922 83857 242480 | 1 152715 57 | 0.000 % | 1060.69/1060.73 c | 3812649 | 922 83857 242480 | 1 154460 57 | 0.000 % | 1060.69/1060.73 c | 3812751 | 922 83857 242480 | 1 154562 58 | 0.000 % | 1060.69/1060.73 c | 3812907 | 922 83857 242480 | 1 154718 58 | 0.000 % | 1060.69/1060.73 c | 3813007 | 922 83857 242480 | 1 154818 58 | 0.000 % | 1060.69/1060.73 c | 3813110 | 922 83857 242480 | 1 154921 58 | 0.000 % | 1060.69/1060.73 c | 3813959 | 922 83857 242480 | 1 155770 58 | 0.000 % | 1060.69/1060.73 c | 3814198 | 922 83857 242480 | 1 156009 58 | 0.000 % | 1060.69/1060.73 c | 3814927 | 922 83857 242480 | 1 156738 58 | 0.000 % | 1060.69/1060.73 c | 3815027 | 922 83857 242480 | 1 156838 58 | 0.000 % | 1060.69/1060.73 c | 3815128 | 922 83857 242480 | 1 156939 58 | 0.000 % | 1060.69/1060.73 c | 3815229 | 922 83857 242480 | 1 157040 58 | 0.000 % | 1060.69/1060.73 c | 3815334 | 922 83857 242480 | 1 157145 58 | 0.000 % | 1060.69/1060.73 c | 3815439 | 922 83857 242480 | 1 157250 58 | 0.000 % | 1060.69/1060.73 c | 3815540 | 922 83857 242480 | 1 157351 58 | 0.000 % | 1060.69/1060.73 c | 3815641 | 922 83857 242480 | 1 157452 58 | 0.000 % | 1060.69/1060.73 c | 3816938 | 922 83857 242480 | 1 158749 58 | 0.000 % | 1060.69/1060.73 c | 3817039 | 922 83857 242480 | 1 158850 59 | 0.000 % | 1060.69/1060.73 c | 3817140 | 922 83857 242480 | 1 158951 59 | 0.000 % | 1060.69/1060.73 c | 3817240 | 922 83857 242480 | 1 159051 59 | 0.000 % | 1060.69/1060.73 c | 3817342 | 922 83857 242480 | 1 159153 59 | 0.000 % | 1060.69/1060.73 c | 3817532 | 922 83857 242480 | 1 159343 59 | 0.000 % | 1060.69/1060.73 c | 3817632 | 922 83857 242480 | 1 159443 59 | 0.000 % | 1060.69/1060.73 c | 3835311 | 922 83857 242480 | 1 177122 59 | 0.000 % | 1060.69/1060.73 c | 3835412 | 922 83857 242480 | 1 177223 59 | 0.000 % | 1060.69/1060.73 c | 3835512 | 922 83857 242480 | 1 177323 59 | 0.000 % | 1060.69/1060.73 c | 3835864 | 922 83857 242480 | 1 177675 59 | 0.000 % | 1060.69/1060.73 c | 3835964 | 922 83857 242480 | 1 177775 59 | 0.000 % | 1060.69/1060.73 c | 3842615 | 922 83857 242480 | 1 184426 60 | 0.000 % | 1060.69/1060.73 c | 3842716 | 922 83857 242480 | 1 184527 60 | 0.000 % | 1060.69/1060.73 c | 3843514 | 922 83857 242480 | 1 185325 60 | 0.000 % | 1060.69/1060.73 c | 3844640 | 922 83857 242480 | 1 186451 60 | 0.000 % | 1060.69/1060.73 c | 3844740 | 922 83857 242480 | 1 186551 60 | 0.000 % | 1060.69/1060.73 c | 3844841 | 922 83857 242480 | 1 186652 60 | 0.000 % | 1060.69/1060.73 c | 3844941 | 922 83857 242480 | 1 186752 60 | 0.000 % | 1060.69/1060.73 c | 3845856 | 922 83857 242480 | 1 187667 61 | 0.000 % | 1060.69/1060.73 c | 3845957 | 922 83857 242480 | 1 187768 61 | 0.000 % | 1102.10/1102.12 c | 3846057 | 922 83857 242480 | 1 187868 61 | 0.000 % | 1102.10/1102.12 c | 3846157 | 922 83857 242480 | 1 187968 61 | 0.000 % | 1102.10/1102.12 c | 3846257 | 922 83857 242480 | 1 188068 61 | 0.000 % | 1102.10/1102.12 c | 3846358 | 922 83857 242480 | 1 188169 61 | 0.000 % | 1102.10/1102.12 c | 3846459 | 922 83857 242480 | 1 188270 61 | 0.000 % | 1102.10/1102.12 c | 3846559 | 922 83857 242480 | 1 188370 61 | 0.000 % | 1102.10/1102.12 c | 3846664 | 922 83857 242480 | 1 188475 61 | 0.000 % | 1102.10/1102.12 c | 3846766 | 922 83857 242480 | 1 188577 61 | 0.000 % | 1102.10/1102.12 c | 3846866 | 922 83857 242480 | 1 188677 61 | 0.000 % | 1102.10/1102.12 c | 3846967 | 922 83857 242480 | 1 188778 61 | 0.000 % | 1102.10/1102.12 c | 3847067 | 922 83857 242480 | 1 188878 61 | 0.000 % | 1102.10/1102.12 c | 3847169 | 922 83857 242480 | 1 188980 61 | 0.000 % | 1102.10/1102.12 c | 3847269 | 922 83857 242480 | 1 189080 61 | 0.000 % | 1102.10/1102.12 c | 3847369 | 922 83857 242480 | 1 189180 61 | 0.000 % | 1102.10/1102.12 c | 3847470 | 922 83857 242480 | 1 189281 61 | 0.000 % | 1102.10/1102.12 c | 3847571 | 922 83857 242480 | 1 189382 61 | 0.000 % | 1102.10/1102.12 c | 3847672 | 922 83857 242480 | 1 189483 61 | 0.000 % | 1102.10/1102.12 c | 3847776 | 922 83857 242480 | 1 189587 61 | 0.000 % | 1102.10/1102.12 c | 3847878 | 922 83857 242480 | 1 189689 61 | 0.000 % | 1102.10/1102.12 c | 3847978 | 922 83857 242480 | 1 189789 61 | 0.000 % | 1102.10/1102.12 c | 3848078 | 922 83857 242480 | 1 189889 61 | 0.000 % | 1102.10/1102.12 c | 3848178 | 922 83857 242480 | 1 189989 61 | 0.000 % | 1102.10/1102.12 c | 3848279 | 922 83857 242480 | 1 190090 61 | 0.000 % | 1102.10/1102.12 c | 3848379 | 922 83857 242480 | 1 190190 61 | 0.000 % | 1102.10/1102.12 c | 3848480 | 922 83857 242480 | 1 190291 61 | 0.000 % | 1102.10/1102.12 c | 3848583 | 922 83857 242480 | 1 190394 61 | 0.000 % | 1102.10/1102.12 c | 3848687 | 922 83857 242480 | 1 190498 61 | 0.000 % | 1102.10/1102.12 c | 3848787 | 922 83857 242480 | 1 190598 61 | 0.000 % | 1102.10/1102.12 c | 3848887 | 922 83857 242480 | 1 190698 61 | 0.000 % | 1102.10/1102.12 c | 3848987 | 922 83857 242480 | 1 190798 61 | 0.000 % | 1102.10/1102.12 c | 3849088 | 922 83857 242480 | 1 190899 61 | 0.000 % | 1102.10/1102.12 c | 3849190 | 922 83857 242480 | 1 191001 61 | 0.000 % | 1102.10/1102.12 c | 3849290 | 922 83857 242480 | 1 191101 62 | 0.000 % | 1102.10/1102.12 c | 3849391 | 922 83857 242480 | 1 191202 62 | 0.000 % | 1102.10/1102.12 c | 3849491 | 922 83857 242480 | 1 191302 62 | 0.000 % | 1102.10/1102.12 c | 3849593 | 922 83857 242480 | 1 191404 62 | 0.000 % | 1102.10/1102.12 c | 3849790 | 922 83857 242480 | 1 191601 62 | 0.000 % | 1102.10/1102.12 c | 3852853 | 922 83857 242480 | 1 194664 62 | 0.000 % | 1102.10/1102.12 c | 3852953 | 922 83857 242480 | 1 194764 62 | 0.000 % | 1102.10/1102.12 c | 3853053 | 922 83857 242480 | 1 194864 62 | 0.000 % | 1102.10/1102.12 c | 3853154 | 922 83857 242480 | 1 194965 62 | 0.000 % | 1102.10/1102.12 c | 3853261 | 922 83857 242480 | 1 195072 62 | 0.000 % | 1102.10/1102.12 c | 3858033 | 922 83857 242480 | 1 199844 62 | 0.000 % | 1102.10/1102.12 c | 3858134 | 922 83857 242480 | 1 199945 62 | 0.000 % | 1102.10/1102.12 c | 3863993 | 922 83857 242480 | 1 205804 63 | 0.000 % | 1102.10/1102.12 c | 3864853 | 922 83857 242480 | 1 206664 63 | 0.000 % | 1102.10/1102.12 c | 3865148 | 922 83857 242480 | 1 206959 63 | 0.000 % | 1102.10/1102.12 c | 3865248 | 922 83857 242480 | 1 207059 63 | 0.000 % | 1102.10/1102.12 c | 3917826 | 922 83857 242480 | 1 259637 65 | 0.000 % | 1102.10/1102.12 c | 3930567 | 922 83857 242480 | 1 272378 65 | 0.000 % | 1139.30/1139.35 c | 3931440 | 922 83857 242480 | 1 273251 65 | 0.000 % | 1139.30/1139.35 c | 3931853 | 922 83857 242480 | 1 273664 65 | 0.000 % | 1139.30/1139.35 c | 3931953 | 922 83857 242480 | 1 273764 65 | 0.000 % | 1139.30/1139.35 c | 3932053 | 922 83857 242480 | 1 273864 65 | 0.000 % | 1139.30/1139.35 c | 3933097 | 922 83857 242480 | 1 274908 66 | 0.000 % | 1139.30/1139.35 c | 3934833 | 922 83857 242480 | 1 276644 66 | 0.000 % | 1139.30/1139.35 c | 3940117 | 922 83857 242480 | 1 142729 53 | 0.000 % | 1139.30/1139.35 c | 3940313 | 922 83857 242480 | 1 142925 53 | 0.000 % | 1139.30/1139.35 c | 3940413 | 922 83857 242480 | 1 143025 53 | 0.000 % | 1139.30/1139.35 c | 3987505 | 922 83857 242480 | 1 190117 65 | 0.000 % | 1139.30/1139.35 c | 3987606 | 922 83857 242480 | 1 190218 65 | 0.000 % | 1139.30/1139.35 c | 3987709 | 922 83857 242480 | 1 190321 65 | 0.000 % | 1139.30/1139.35 c | 3987811 | 922 83857 242480 | 1 190423 65 | 0.000 % | 1139.30/1139.35 c | 3987911 | 922 83857 242480 | 1 190523 65 | 0.000 % | 1139.30/1139.35 c | 3988011 | 922 83857 242480 | 1 190623 65 | 0.000 % | 1139.30/1139.35 c | 3988113 | 922 83857 242480 | 1 190725 65 | 0.000 % | 1139.30/1139.35 c | 3988216 | 922 83857 242480 | 1 190828 65 | 0.000 % | 1139.30/1139.35 c | 3988316 | 922 83857 242480 | 1 190928 65 | 0.000 % | 1139.30/1139.35 c | 3988435 | 922 83857 242480 | 1 191047 65 | 0.000 % | 1139.30/1139.35 c | 3988535 | 922 83857 242480 | 1 191147 65 | 0.000 % | 1139.30/1139.35 c | 3988636 | 922 83857 242480 | 1 191248 65 | 0.000 % | 1139.30/1139.35 c | 3989157 | 922 83857 242480 | 1 191769 65 | 0.000 % | 1139.30/1139.35 c | 3991855 | 922 83857 242480 | 1 194467 66 | 0.000 % | 1139.30/1139.35 c | 3991999 | 922 83857 242480 | 1 194611 66 | 0.000 % | 1139.30/1139.35 c | 4013218 | 922 83857 242480 | 1 215830 67 | 0.000 % | 1139.30/1139.35 c | 4013320 | 922 83857 242480 | 1 215932 67 | 0.000 % | 1139.30/1139.35 c | 4013420 | 922 83857 242480 | 1 216032 67 | 0.000 % | 1139.30/1139.35 c | 4013521 | 922 83857 242480 | 1 216133 67 | 0.000 % | 1139.30/1139.35 c | 4013623 | 922 83857 242480 | 1 216235 67 | 0.000 % | 1139.30/1139.35 c | 4013723 | 922 83857 242480 | 1 216335 67 | 0.000 % | 1139.30/1139.35 c | 4013824 | 922 83857 242480 | 1 216436 68 | 0.000 % | 1139.30/1139.35 c | 4013924 | 922 83857 242480 | 1 216536 68 | 0.000 % | 1139.30/1139.35 c | 4014024 | 922 83857 242480 | 1 216636 68 | 0.000 % | 1139.30/1139.35 c | 4014124 | 922 83857 242480 | 1 216736 68 | 0.000 % | 1139.30/1139.35 c | 4014226 | 922 83857 242480 | 1 216838 68 | 0.000 % | 1139.30/1139.35 c | 4014327 | 922 83857 242480 | 1 216939 68 | 0.000 % | 1139.30/1139.35 c | 4014427 | 922 83857 242480 | 1 217039 68 | 0.000 % | 1139.30/1139.35 c | 4015229 | 922 83857 242480 | 1 217841 68 | 0.000 % | 1139.30/1139.35 c | 4015329 | 922 83857 242480 | 1 217941 68 | 0.000 % | 1139.30/1139.35 c | 4015429 | 922 83857 242480 | 1 218041 68 | 0.000 % | 1139.30/1139.35 c | 4015529 | 922 83857 242480 | 1 218141 68 | 0.000 % | 1139.30/1139.35 c | 4015630 | 922 83857 242480 | 1 218242 68 | 0.000 % | 1139.30/1139.35 c | 4015731 | 922 83857 242480 | 1 218343 68 | 0.000 % | 1139.30/1139.35 c | 4015835 | 922 83857 242480 | 1 218447 68 | 0.000 % | 1139.30/1139.35 c | 4015935 | 922 83857 242480 | 1 218547 68 | 0.000 % | 1139.30/1139.35 c | 4016036 | 922 83857 242480 | 1 218648 68 | 0.000 % | 1139.30/1139.35 c | 4016136 | 922 83857 242480 | 1 218748 68 | 0.000 % | 1139.30/1139.35 c | 4016236 | 922 83857 242480 | 1 218848 68 | 0.000 % | 1139.30/1139.35 c | 4016336 | 922 83857 242480 | 1 218948 68 | 0.000 % | 1139.30/1139.35 c | 4017370 | 922 83857 242480 | 1 219982 68 | 0.000 % | 1156.90/1156.96 c | 4017471 | 922 83857 242480 | 1 220083 68 | 0.000 % | 1156.90/1156.96 c | 4017574 | 922 83857 242480 | 1 220186 68 | 0.000 % | 1156.90/1156.96 c | 4017674 | 922 83857 242480 | 1 220286 68 | 0.000 % | 1156.90/1156.96 c | 4017774 | 922 83857 242480 | 1 220386 68 | 0.000 % | 1156.90/1156.96 c | 4017876 | 922 83857 242480 | 1 220488 68 | 0.000 % | 1156.90/1156.96 c | 4017977 | 922 83857 242480 | 1 220589 68 | 0.000 % | 1156.90/1156.96 c | 4018077 | 922 83857 242480 | 1 220689 68 | 0.000 % | 1156.90/1156.96 c | 4018181 | 922 83857 242480 | 1 220793 68 | 0.000 % | 1156.90/1156.96 c | 4018282 | 922 83857 242480 | 1 220894 68 | 0.000 % | 1156.90/1156.96 c | 4018383 | 922 83857 242480 | 1 220995 68 | 0.000 % | 1156.90/1156.96 c | 4018483 | 922 83857 242480 | 1 221095 68 | 0.000 % | 1156.90/1156.96 c | 4018583 | 922 83857 242480 | 1 221195 68 | 0.000 % | 1156.90/1156.96 c | 4018684 | 922 83857 242480 | 1 221296 68 | 0.000 % | 1156.90/1156.96 c | 4018785 | 922 83857 242480 | 1 221397 68 | 0.000 % | 1156.90/1156.96 c | 4018885 | 922 83857 242480 | 1 221497 68 | 0.000 % | 1156.90/1156.96 c | 4020301 | 922 83857 242480 | 1 222913 68 | 0.000 % | 1156.90/1156.96 c | 4020454 | 922 83857 242480 | 1 223066 69 | 0.000 % | 1156.90/1156.96 c | 4020554 | 922 83857 242480 | 1 223166 69 | 0.000 % | 1156.90/1156.96 c | 4020656 | 922 83857 242480 | 1 223268 69 | 0.000 % | 1156.90/1156.96 c | 4020758 | 922 83857 242480 | 1 223370 69 | 0.000 % | 1156.90/1156.96 c | 4020860 | 922 83857 242480 | 1 223472 69 | 0.000 % | 1156.90/1156.96 c | 4020961 | 922 83857 242480 | 1 223573 69 | 0.000 % | 1156.90/1156.96 c | 4021063 | 922 83857 242480 | 1 223675 69 | 0.000 % | 1156.90/1156.96 c | 4045395 | 922 83857 242480 | 1 248007 72 | 0.000 % | 1156.90/1156.96 c | 4045495 | 922 83857 242480 | 1 248107 72 | 0.000 % | 1156.90/1156.96 c | 4045599 | 922 83857 242480 | 1 248211 72 | 0.000 % | 1156.90/1156.96 c | 4045699 | 922 83857 242480 | 1 248311 72 | 0.000 % | 1156.90/1156.96 c | 4045801 | 922 83857 242480 | 1 248413 72 | 0.000 % | 1156.90/1156.96 c | 4045902 | 922 83857 242480 | 1 248514 72 | 0.000 % | 1156.90/1156.96 c | 4046038 | 922 83857 242480 | 1 248650 72 | 0.000 % | 1156.90/1156.96 c | 4047704 | 922 83857 242480 | 1 250316 72 | 0.000 % | 1156.90/1156.96 c | 4047804 | 922 83857 242480 | 1 250416 72 | 0.000 % | 1156.90/1156.96 c | 4047904 | 922 83857 242480 | 1 250516 72 | 0.000 % | 1156.90/1156.96 c | 4048008 | 922 83857 242480 | 1 250620 72 | 0.000 % | 1156.90/1156.96 c | 4048110 | 922 83857 242480 | 1 250722 72 | 0.000 % | 1156.90/1156.96 c | 4048211 | 922 83857 242480 | 1 250823 72 | 0.000 % | 1156.90/1156.96 c | 4048311 | 922 83857 242480 | 1 250923 72 | 0.000 % | 1156.90/1156.96 c | 4048412 | 922 83857 242480 | 1 251024 72 | 0.000 % | 1156.90/1156.96 c | 4048513 | 922 83857 242480 | 1 251125 72 | 0.000 % | 1156.90/1156.96 c | 4048614 | 922 83857 242480 | 1 251226 72 | 0.000 % | 1156.90/1156.96 c | 4048714 | 922 83857 242480 | 1 251326 72 | 0.000 % | 1156.90/1156.96 c | 4048814 | 922 83857 242480 | 1 251426 72 | 0.000 % | 1156.90/1156.96 c | 4048914 | 922 83857 242480 | 1 251526 72 | 0.000 % | 1156.90/1156.96 c | 4049021 | 922 83857 242480 | 1 251633 72 | 0.000 % | 1156.90/1156.96 c | 4049123 | 922 83857 242480 | 1 251735 72 | 0.000 % | 1156.90/1156.96 c | 4049224 | 922 83857 242480 | 1 251836 72 | 0.000 % | 1156.90/1156.96 c | 4049324 | 922 83857 242480 | 1 251936 72 | 0.000 % | 1156.90/1156.96 c | 4049424 | 922 83857 242480 | 1 252036 72 | 0.000 % | 1156.90/1156.96 c | 4049525 | 922 83857 242480 | 1 252137 72 | 0.000 % | 1156.90/1156.96 c | 4049625 | 922 83857 242480 | 1 252237 72 | 0.000 % | 1170.59/1170.66 c | 4049727 | 922 83857 242480 | 1 252339 72 | 0.000 % | 1170.59/1170.66 c | 4049827 | 922 83857 242480 | 1 252439 72 | 0.000 % | 1170.59/1170.66 c | 4049929 | 922 83857 242480 | 1 252541 72 | 0.000 % | 1170.59/1170.66 c | 4050876 | 922 83857 242480 | 1 253488 72 | 0.000 % | 1170.59/1170.66 c | 4051298 | 922 83857 242480 | 1 253910 73 | 0.000 % | 1170.59/1170.66 c | 4053074 | 922 83857 242480 | 1 255686 73 | 0.000 % | 1170.59/1170.66 c | 4054384 | 922 83857 242480 | 1 256996 73 | 0.000 % | 1170.59/1170.66 c | 4054484 | 922 83857 242480 | 1 257096 73 | 0.000 % | 1170.59/1170.66 c | 4055387 | 922 83857 242480 | 1 257999 73 | 0.000 % | 1170.59/1170.66 c | 4055493 | 922 83857 242480 | 1 258105 73 | 0.000 % | 1170.59/1170.66 c | 4055593 | 922 83857 242480 | 1 258205 73 | 0.000 % | 1170.59/1170.66 c | 4055693 | 922 83857 242480 | 1 258305 73 | 0.000 % | 1170.59/1170.66 c | 4055795 | 922 83857 242480 | 1 258407 73 | 0.000 % | 1170.59/1170.66 c | 4055896 | 922 83857 242480 | 1 258508 73 | 0.000 % | 1170.59/1170.66 c | 4055997 | 922 83857 242480 | 1 258609 73 | 0.000 % | 1170.59/1170.66 c | 4056099 | 922 83857 242480 | 1 258711 73 | 0.000 % | 1170.59/1170.66 c | 4056200 | 922 83857 242480 | 1 258812 73 | 0.000 % | 1170.59/1170.66 c | 4056302 | 922 83857 242480 | 1 258914 73 | 0.000 % | 1170.59/1170.66 c | 4056402 | 922 83857 242480 | 1 259014 73 | 0.000 % | 1170.59/1170.66 c | 4056504 | 922 83857 242480 | 1 259116 73 | 0.000 % | 1170.59/1170.66 c | 4056604 | 922 83857 242480 | 1 259216 73 | 0.000 % | 1170.59/1170.66 c | 4056705 | 922 83857 242480 | 1 259317 73 | 0.000 % | 1170.59/1170.66 c | 4057311 | 922 83857 242480 | 1 259923 73 | 0.000 % | 1170.59/1170.66 c | 4057450 | 922 83857 242480 | 1 260062 73 | 0.000 % | 1170.59/1170.66 c | 4057554 | 922 83857 242480 | 1 260166 73 | 0.000 % | 1170.59/1170.66 c | 4057655 | 922 83857 242480 | 1 260267 73 | 0.000 % | 1170.59/1170.66 c | 4057858 | 922 83857 242480 | 1 260470 73 | 0.000 % | 1170.59/1170.66 c | 4057960 | 922 83857 242480 | 1 260572 73 | 0.000 % | 1170.59/1170.66 c | 4065193 | 922 83857 242480 | 1 267805 73 | 0.000 % | 1170.59/1170.66 c | 4065293 | 922 83857 242480 | 1 267905 73 | 0.000 % | 1170.59/1170.66 c | 4065396 | 922 83857 242480 | 1 268008 73 | 0.000 % | 1170.59/1170.66 c | 4066132 | 922 83857 242480 | 1 268744 73 | 0.000 % | 1170.59/1170.66 c | 4066527 | 922 83857 242480 | 1 269139 73 | 0.000 % | 1170.59/1170.66 c | 4066631 | 922 83857 242480 | 1 269243 73 | 0.000 % | 1170.59/1170.66 c | 4066731 | 922 83857 242480 | 1 269343 73 | 0.000 % | 1170.59/1170.66 c | 4066831 | 922 83857 242480 | 1 269443 73 | 0.000 % | 1170.59/1170.66 c | 4066931 | 922 83857 242480 | 1 269543 73 | 0.000 % | 1170.59/1170.66 c | 4067031 | 922 83857 242480 | 1 269643 73 | 0.000 % | 1170.59/1170.66 c | 4067132 | 922 83857 242480 | 1 269744 73 | 0.000 % | 1170.59/1170.66 c | 4067236 | 922 83857 242480 | 1 269848 73 | 0.000 % | 1170.59/1170.66 c | 4068890 | 922 83857 242480 | 1 271502 74 | 0.000 % | 1170.59/1170.66 c | 4068990 | 922 83857 242480 | 1 271602 74 | 0.000 % | 1170.59/1170.66 c | 4069090 | 922 83857 242480 | 1 271702 74 | 0.000 % | 1170.59/1170.66 c | 4069190 | 922 83857 242480 | 1 271802 74 | 0.000 % | 1170.59/1170.66 c | 4069290 | 922 83857 242480 | 1 271902 74 | 0.000 % | 1170.59/1170.66 c | 4069391 | 922 83857 242480 | 1 272003 74 | 0.000 % | 1170.59/1170.66 c | 4069491 | 922 83857 242480 | 1 272103 74 | 0.000 % | 1170.59/1170.66 c | 4069595 | 922 83857 242480 | 1 272207 74 | 0.000 % | 1170.59/1170.66 c | 4070090 | 922 83857 242480 | 1 272702 74 | 0.000 % | 1170.59/1170.66 c | 4070190 | 922 83857 242480 | 1 272802 74 | 0.000 % | 1193.40/1193.47 c | 4070291 | 922 83857 242480 | 1 272903 74 | 0.000 % | 1193.40/1193.47 c | 4070391 | 922 83857 242480 | 1 273003 74 | 0.000 % | 1193.40/1193.47 c | 4070491 | 922 83857 242480 | 1 273103 74 | 0.000 % | 1193.40/1193.47 c | 4070593 | 922 83857 242480 | 1 273205 74 | 0.000 % | 1193.40/1193.47 c | 4070695 | 922 83857 242480 | 1 273307 74 | 0.000 % | 1193.40/1193.47 c | 4070797 | 922 83857 242480 | 1 273409 74 | 0.000 % | 1193.40/1193.47 c | 4075663 | 922 83857 242480 | 1 278275 74 | 0.000 % | 1193.40/1193.47 c | 4075763 | 922 83857 242480 | 1 278375 74 | 0.000 % | 1193.40/1193.47 c | 4075863 | 922 83857 242480 | 1 278475 74 | 0.000 % | 1193.40/1193.47 c | 4075964 | 922 83857 242480 | 1 278576 74 | 0.000 % | 1193.40/1193.47 c | 4076064 | 922 83857 242480 | 1 278676 74 | 0.000 % | 1193.40/1193.47 c | 4076168 | 922 83857 242480 | 1 278780 74 | 0.000 % | 1193.40/1193.47 c | 4076268 | 922 83857 242480 | 1 278880 74 | 0.000 % | 1193.40/1193.47 c | 4076381 | 922 83857 242480 | 1 278993 74 | 0.000 % | 1193.40/1193.47 c | 4076481 | 922 83857 242480 | 1 279093 74 | 0.000 % | 1193.40/1193.47 c | 4076583 | 922 83857 242480 | 1 279195 74 | 0.000 % | 1193.40/1193.47 c | 4076686 | 922 83857 242480 | 1 279298 74 | 0.000 % | 1193.40/1193.47 c | 4076790 | 922 83857 242480 | 1 279402 74 | 0.000 % | 1193.40/1193.47 c | 4076892 | 922 83857 242480 | 1 279504 74 | 0.000 % | 1193.40/1193.47 c | 4076993 | 922 83857 242480 | 1 279605 74 | 0.000 % | 1193.40/1193.47 c | 4078675 | 922 83857 242480 | 1 281287 74 | 0.000 % | 1193.40/1193.47 c | 4078775 | 922 83857 242480 | 1 281387 74 | 0.000 % | 1193.40/1193.47 c | 4078875 | 922 83857 242480 | 1 281487 74 | 0.000 % | 1193.40/1193.47 c | 4078975 | 922 83857 242480 | 1 281587 74 | 0.000 % | 1193.40/1193.47 c | 4079075 | 922 83857 242480 | 1 281687 74 | 0.000 % | 1193.40/1193.47 c | 4079177 | 922 83857 242480 | 1 281789 74 | 0.000 % | 1193.40/1193.47 c | 4079278 | 922 83857 242480 | 1 281890 74 | 0.000 % | 1193.40/1193.47 c | 4079380 | 922 83857 242480 | 1 281992 75 | 0.000 % | 1193.40/1193.47 c | 4079480 | 922 83857 242480 | 1 282092 75 | 0.000 % | 1193.40/1193.47 c | 4079581 | 922 83857 242480 | 1 282193 75 | 0.000 % | 1193.40/1193.47 c | 4079681 | 922 83857 242480 | 1 282293 75 | 0.000 % | 1193.40/1193.47 c | 4079782 | 922 83857 242480 | 1 282394 75 | 0.000 % | 1193.40/1193.47 c | 4079882 | 922 83857 242480 | 1 282494 75 | 0.000 % | 1193.40/1193.47 c | 4079983 | 922 83857 242480 | 1 282595 75 | 0.000 % | 1193.40/1193.47 c | 4080084 | 922 83857 242480 | 1 282696 75 | 0.000 % | 1193.40/1193.47 c | 4080185 | 922 83857 242480 | 1 282797 75 | 0.000 % | 1193.40/1193.47 c | 4080291 | 922 83857 242480 | 1 282903 75 | 0.000 % | 1193.40/1193.47 c | 4080391 | 922 83857 242480 | 1 283003 75 | 0.000 % | 1193.40/1193.47 c | 4090841 | 922 83857 242480 | 1 151654 58 | 0.000 % | 1193.40/1193.47 c | 4093513 | 922 83857 242480 | 1 154326 58 | 0.000 % | 1193.40/1193.47 c | 4093613 | 922 83857 242480 | 1 154426 58 | 0.000 % | 1193.40/1193.47 c | 4093713 | 922 83857 242480 | 1 154526 58 | 0.000 % | 1193.40/1193.47 c | 4093814 | 922 83857 242480 | 1 154627 58 | 0.000 % | 1193.40/1193.47 c | 4103908 | 922 83857 242480 | 1 164721 61 | 0.000 % | 1193.40/1193.47 c | 4104010 | 922 83857 242480 | 1 164823 61 | 0.000 % | 1193.40/1193.47 c | 4116843 | 922 83857 242480 | 1 177656 62 | 0.000 % | 1193.40/1193.47 c | 4116946 | 922 83857 242480 | 1 177759 62 | 0.000 % | 1193.40/1193.47 c | 4117048 | 922 83857 242480 | 1 177861 62 | 0.000 % | 1193.40/1193.47 c | 4118613 | 922 83857 242480 | 1 179426 62 | 0.000 % | 1193.40/1193.47 c | 4119008 | 922 83857 242480 | 1 179821 62 | 0.000 % | 1221.40/1221.42 c | 4119109 | 922 83857 242480 | 1 179922 62 | 0.000 % | 1221.40/1221.42 c | 4133587 | 922 83857 242480 | 1 194400 66 | 0.000 % | 1221.40/1221.42 c | 4133688 | 922 83857 242480 | 1 194501 66 | 0.000 % | 1221.40/1221.42 c | 4133897 | 922 83857 242480 | 1 194710 66 | 0.000 % | 1221.40/1221.42 c | 4134115 | 922 83857 242480 | 1 194928 66 | 0.000 % | 1221.40/1221.42 c | 4135199 | 922 83857 242480 | 1 196012 66 | 0.000 % | 1221.40/1221.42 c | 4135477 | 922 83857 242480 | 1 196290 66 | 0.000 % | 1221.40/1221.42 c | 4143386 | 922 83857 242480 | 1 204199 66 | 0.000 % | 1221.40/1221.42 c | 4143487 | 922 83857 242480 | 1 204300 66 | 0.000 % | 1221.40/1221.42 c | 4143587 | 922 83857 242480 | 1 204400 66 | 0.000 % | 1221.40/1221.42 c | 4143687 | 922 83857 242480 | 1 204500 66 | 0.000 % | 1221.40/1221.42 c | 4143789 | 922 83857 242480 | 1 204602 66 | 0.000 % | 1221.40/1221.42 c | 4143889 | 922 83857 242480 | 1 204702 66 | 0.000 % | 1221.40/1221.42 c | 4143992 | 922 83857 242480 | 1 204805 66 | 0.000 % | 1221.40/1221.42 c | 4144092 | 922 83857 242480 | 1 204905 66 | 0.000 % | 1221.40/1221.42 c | 4144193 | 922 83857 242480 | 1 205006 66 | 0.000 % | 1221.40/1221.42 c | 4144294 | 922 83857 242480 | 1 205107 66 | 0.000 % | 1221.40/1221.42 c | 4144394 | 922 83857 242480 | 1 205207 66 | 0.000 % | 1221.40/1221.42 c | 4144495 | 922 83857 242480 | 1 205308 66 | 0.000 % | 1221.40/1221.42 c | 4144596 | 922 83857 242480 | 1 205409 66 | 0.000 % | 1221.40/1221.42 c | 4147651 | 922 83857 242480 | 1 208464 67 | 0.000 % | 1221.40/1221.42 c | 4147751 | 922 83857 242480 | 1 208564 67 | 0.000 % | 1221.40/1221.42 c | 4147852 | 922 83857 242480 | 1 208665 67 | 0.000 % | 1221.40/1221.42 c | 4147976 | 922 83857 242480 | 1 208789 67 | 0.000 % | 1221.40/1221.42 c | 4148079 | 922 83857 242480 | 1 208892 67 | 0.000 % | 1221.40/1221.42 c | 4167181 | 922 83857 242480 | 1 227994 68 | 0.000 % | 1221.40/1221.42 c | 4167343 | 922 83857 242480 | 1 228156 68 | 0.000 % | 1221.40/1221.42 c | 4167445 | 922 83857 242480 | 1 228258 68 | 0.000 % | 1221.40/1221.42 c | 4167549 | 922 83857 242480 | 1 228362 68 | 0.000 % | 1221.40/1221.42 c | 4167651 | 922 83857 242480 | 1 228464 68 | 0.000 % | 1221.40/1221.42 c | 4169542 | 922 83857 242480 | 1 230355 68 | 0.000 % | 1221.40/1221.42 c | 4169643 | 922 83857 242480 | 1 230456 68 | 0.000 % | 1221.40/1221.42 c | 4169744 | 922 83857 242480 | 1 230557 68 | 0.000 % | 1221.40/1221.42 c | 4169847 | 922 83857 242480 | 1 230660 68 | 0.000 % | 1221.40/1221.42 c | 4169947 | 922 83857 242480 | 1 230760 68 | 0.000 % | 1221.40/1221.42 c | 4170048 | 922 83857 242480 | 1 230861 68 | 0.000 % | 1221.40/1221.42 c | 4170149 | 922 83857 242480 | 1 230962 68 | 0.000 % | 1221.40/1221.42 c | 4170252 | 922 83857 242480 | 1 231065 68 | 0.000 % | 1221.40/1221.42 c | 4170353 | 922 83857 242480 | 1 231166 68 | 0.000 % | 1221.40/1221.42 c | 4170454 | 922 83857 242480 | 1 231267 68 | 0.000 % | 1221.40/1221.42 c | 4170554 | 922 83857 242480 | 1 231367 68 | 0.000 % | 1221.40/1221.42 c | 4170658 | 922 83857 242480 | 1 231471 68 | 0.000 % | 1221.40/1221.42 c | 4170759 | 922 83857 242480 | 1 231572 68 | 0.000 % | 1221.40/1221.42 c | 4170862 | 922 83857 242480 | 1 231675 68 | 0.000 % | 1221.40/1221.42 c | 4170966 | 922 83857 242480 | 1 231779 68 | 0.000 % | 1221.40/1221.42 c | 4171066 | 922 83857 242480 | 1 231879 68 | 0.000 % | 1221.40/1221.42 c | 4171166 | 922 83857 242480 | 1 231979 68 | 0.000 % | 1221.40/1221.42 c | 4171266 | 922 83857 242480 | 1 232079 68 | 0.000 % | 1221.40/1221.42 c | 4171366 | 922 83857 242480 | 1 232179 68 | 0.000 % | 1221.40/1221.42 c |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251614-1303574792/watcher-3251614-1303574792 -o /tmp/evaluation-result-3251614-1303574792/solver-3251614-1303574792 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3251614-1303574792.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.69 1.98 2.80 5/184 1891 /proc/meminfo: memFree=12946024/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=11800 CPUtime=0 cores=5,7 /proc/1891/stat : 1891 (runsolver) R 1889 1891 504 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 469081526 12083200 52 33554432000 4194304 5434984 140733434715728 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0 /proc/1891/statm: 2950 52 31 303 0 2644 0 [startup+0.0628211 s] /proc/loadavg: 1.69 1.98 2.80 5/184 1891 /proc/meminfo: memFree=12946024/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 469081526 8912896 252 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100812 s] /proc/loadavg: 1.69 1.98 2.80 5/184 1891 /proc/meminfo: memFree=12946024/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 469081526 8912896 252 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300732 s] /proc/loadavg: 1.69 1.98 2.80 5/184 1891 /proc/meminfo: memFree=12946024/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 8704 [startup+0.700655 s] /proc/loadavg: 1.69 1.98 2.80 5/184 1891 /proc/meminfo: memFree=12946024/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 8704 [startup+1.5005 s] /proc/loadavg: 1.69 1.98 2.80 5/194 1910 /proc/meminfo: memFree=12877496/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=29532 CPUtime=1.3 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 6496 0 0 0 129 1 0 0 25 0 1 0 469081544 30240768 2782 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/1909/statm: 7383 2782 240 17 0 4024 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 38236 [startup+3.1002 s] /proc/loadavg: 1.69 1.98 2.80 5/194 1911 /proc/meminfo: memFree=12840800/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=36780 CPUtime=2.9 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 12704 0 0 0 288 2 0 0 25 0 1 0 469081544 37662720 6009 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/1909/statm: 9195 6009 250 17 0 5836 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 45484 [startup+6.30063 s] /proc/loadavg: 1.88 2.02 2.80 5/194 1911 /proc/meminfo: memFree=12745148/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=55456 CPUtime=6.08 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 16268 0 0 0 606 2 0 0 25 0 1 0 469081544 56786944 9473 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 13864 9473 251 17 0 10505 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 64160 [startup+12.7004 s] /proc/loadavg: 2.05 2.05 2.81 5/194 1911 /proc/meminfo: memFree=12686436/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=55456 CPUtime=12.48 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 17296 0 0 0 1246 2 0 0 25 0 1 0 469081544 56786944 10490 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 13864 10490 251 17 0 10505 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 64160 [startup+25.501 s] /proc/loadavg: 2.48 2.14 2.83 5/194 1912 /proc/meminfo: memFree=12637596/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=74312 CPUtime=25.29 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 27226 0 0 0 2525 4 0 0 25 0 1 0 469081544 76095488 15350 33554432000 4194304 4260849 140734957143664 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 18578 15350 251 17 0 15219 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 83016 [startup+51.1011 s] /proc/loadavg: 3.00 2.29 2.86 5/194 1913 /proc/meminfo: memFree=12604408/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=105092 CPUtime=50.89 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 29675 0 0 0 5085 4 0 0 25 0 1 0 469081544 107614208 17780 33554432000 4194304 4260849 140734957143664 18446744073709551615 4209403 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 26273 17780 251 17 0 22914 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 113796 [startup+102.306 s] /proc/loadavg: 3.56 2.55 2.92 5/194 1914 /proc/meminfo: memFree=12523420/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=105092 CPUtime=102.09 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 29942 0 0 0 10205 4 0 0 25 0 1 0 469081544 107614208 18045 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 26273 18045 251 17 0 22914 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113796 [startup+162.301 s] /proc/loadavg: 3.84 2.81 2.98 5/194 1915 /proc/meminfo: memFree=12463236/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=105092 CPUtime=162.09 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 67933 0 0 0 16199 10 0 0 25 0 1 0 469081544 107614208 23085 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 26273 23085 251 17 0 22914 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 113796 [startup+222.301 s] /proc/loadavg: 3.94 3.03 3.04 5/194 1917 /proc/meminfo: memFree=12417336/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=105092 CPUtime=222.09 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 106488 0 0 0 22194 15 0 0 25 0 1 0 469081544 107614208 23085 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 26273 23085 251 17 0 22914 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 113796 [startup+282.3 s] /proc/loadavg: 4.03 3.22 3.10 5/194 1919 /proc/meminfo: memFree=12288968/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=282.09 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 152587 0 0 0 28185 24 0 0 25 0 1 0 469081544 170156032 37678 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 37678 251 17 0 38183 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 174872 [startup+342.301 s] /proc/loadavg: 4.01 3.36 3.16 5/194 1920 /proc/meminfo: memFree=12308172/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=342.1 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 188664 0 0 0 34180 30 0 0 25 0 1 0 469081544 201715712 38475 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 38475 251 17 0 45888 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 205692 [startup+402.301 s] /proc/loadavg: 4.00 3.47 3.21 5/194 1922 /proc/meminfo: memFree=12351428/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 ################ # More data... # ################ /proc/1909/statm: 49247 40973 251 17 0 45888 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 205692 [startup+642.301 s] /proc/loadavg: 4.00 3.76 3.38 5/194 1928 /proc/meminfo: memFree=12302820/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=642.11 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 330714 0 0 0 64152 59 0 0 25 0 1 0 469081544 170156032 35393 33554432000 4194304 4260849 140734957143664 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 35393 251 17 0 38183 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 174872 [startup+702.301 s] /proc/loadavg: 3.92 3.79 3.41 4/188 1949 /proc/meminfo: memFree=12404000/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=702.11 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 349288 0 0 0 70148 63 0 0 25 0 1 0 469081544 201715712 38613 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 38613 251 17 0 45888 0 Current children cumulated CPU time (s) 702.28 Current children cumulated vsize (KiB) 205692 [startup+762.306 s] /proc/loadavg: 3.34 3.64 3.38 4/187 1950 /proc/meminfo: memFree=12440744/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=762.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 369480 0 0 0 76144 68 0 0 25 0 1 0 469081544 201715712 42157 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 42157 251 17 0 45888 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 205692 [startup+822.301 s] /proc/loadavg: 3.12 3.52 3.35 4/187 1952 /proc/meminfo: memFree=12470696/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=822.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 395816 0 0 0 82137 75 0 0 25 0 1 0 469081544 170156032 34049 33554432000 4194304 4260849 140734957143664 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 34049 251 17 0 38183 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 174872 [startup+882.301 s] /proc/loadavg: 3.04 3.42 3.33 4/187 1954 /proc/meminfo: memFree=12402816/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=882.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 414571 0 0 0 88134 78 0 0 25 0 1 0 469081544 170156032 35553 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 35553 251 17 0 38183 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 174872 [startup+942.3 s] /proc/loadavg: 3.01 3.34 3.31 5/187 1955 /proc/meminfo: memFree=12443452/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=942.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 437475 0 0 0 94128 84 0 0 25 0 1 0 469081544 201715712 39119 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 39119 251 17 0 45888 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 205692 [startup+1002.3 s] /proc/loadavg: 3.07 3.29 3.29 4/187 1957 /proc/meminfo: memFree=12358940/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=1002.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 455407 0 0 0 100124 88 0 0 25 0 1 0 469081544 170156032 37549 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 37549 251 17 0 38183 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 174872 [startup+1062.3 s] /proc/loadavg: 3.10 3.25 3.27 4/187 1958 /proc/meminfo: memFree=12440600/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=1062.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 475578 0 0 0 106119 93 0 0 25 0 1 0 469081544 201715712 38427 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 38427 251 17 0 45888 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 205692 [startup+1122.3 s] /proc/loadavg: 3.03 3.21 3.25 4/187 1960 /proc/meminfo: memFree=12394816/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=1122.12 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 495092 0 0 0 112115 97 0 0 25 0 1 0 469081544 201715712 38479 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 38479 251 17 0 45888 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 205692 [startup+1182.3 s] /proc/loadavg: 3.01 3.17 3.24 4/187 1962 /proc/meminfo: memFree=12422772/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=166168 CPUtime=1182.13 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 514488 0 0 0 118110 103 0 0 25 0 1 0 469081544 170156032 35641 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 41542 35641 251 17 0 38183 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 174872 [startup+1242.3 s] /proc/loadavg: 3.00 3.13 3.22 4/187 1963 /proc/meminfo: memFree=12329472/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=1242.13 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 524934 0 0 0 124106 107 0 0 25 0 1 0 469081544 201715712 45974 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 45974 251 17 0 45888 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 205692 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.00 3.11 3.20 4/187 1965 /proc/meminfo: memFree=12374444/32951124 swapFree=67111528/67111528 [pid=1891] ppid=1889 vsize=8704 CPUtime=0.17 cores=5,7 /proc/1891/stat : 1891 (glucose.sh) S 1889 1891 504 0 -1 4202496 360 1705 0 0 0 0 17 0 24 0 1 0 469081526 8912896 254 33554432000 4194304 4922060 140736796228800 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1891/statm: 2176 254 211 178 0 69 0 [pid=1909] ppid=1891 vsize=196988 CPUtime=1299.84 cores=5,7 /proc/1909/stat : 1909 (glucose_static) R 1891 1891 504 0 -1 4202496 543631 0 0 0 129871 113 0 0 25 0 1 0 469081544 201715712 42889 33554432000 4194304 4260849 140734957143664 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1909/statm: 49247 42889 251 17 0 45888 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 205692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1891 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=172973 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.178972 # while last known CPU time is 1300.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.01 CPU user time (s): 1298.88 CPU system time (s): 1.13 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 305100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.172973 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2065 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= 9 involuntary context switches= 5 runsolver used 2.08768 second user time and 5.02124 second system time The end
Begin job on node102 at 2011-04-23 18:06:32 IDJOB=3251614 IDBENCH=88227 IDSOLVER=1651 FILE ID=node102/3251614-1303574792 RUNJOBID= node102-1303574792-1863 PBS_JOBID= 13150307 Free space on /tmp= 70724 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251614-1303574792/watcher-3251614-1303574792 -o /tmp/evaluation-result-3251614-1303574792/solver-3251614-1303574792 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3251614-1303574792.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 08b4f1e095a7a4b98cb40c2c00e78d45 RANDOM SEED=934114269 node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 12947172 kB Buffers: 1838316 kB Cached: 17535196 kB SwapCached: 0 kB Active: 9794236 kB Inactive: 9653652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 12947172 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6752 kB Writeback: 0 kB AnonPages: 73932 kB Mapped: 15264 kB Slab: 493404 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 222816 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 70700 MiB End job on node102 at 2011-04-23 18:28:14