| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf |
| MD5SUM | ca42736a2fe4e8cf2cba6dd1668e0ad6 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 3.9384 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 760 |
| Number of clauses | 43649 |
| Sum of the clauses size | 87978 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43609 |
| 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 | 40 |
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.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 43649 87978 | 13094 0 0 nan | 0.000 % | 0.00/0.08 c | 0 | 42889 140801 | -- 0 -- -- | -- | -760/52823 0.00/0.08 c ============================================================================== 0.00/0.08 c Result : #vars: 720 #clauses: 42889 #literals: 140801 0.00/0.08 c CPU time: 0.074988 s 0.00/0.08 c ============================================================================== 0.00/0.10 c 0.00/0.10 c Starting glucose 0.00/0.10 c 88.77/88.83 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 88.77/88.83 c WARNING: for repeatability, setting FPU to use double precision 88.77/88.83 c ============================[ Problem Statistics ]============================= 88.77/88.83 c | | 88.77/88.83 c | Number of variables: 720 | 88.77/88.83 c | Number of clauses: 42889 | 88.77/88.83 c | Parse time: 0.01 s | 88.77/88.83 c | | 88.77/88.83 c ============================[ Search Statistics ]============================== 88.77/88.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.77/88.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 88.77/88.83 c =============================================================================== 88.77/88.83 c | 38735 | 720 42889 140801 | 1 16423 58 | 0.000 % | 88.77/88.83 c | 127994 | 720 42889 140801 | 1 42818 40 | 0.000 % | 88.77/88.83 c | 342686 | 720 42889 140801 | 1 47505 31 | 0.000 % | 88.77/88.83 c | 377720 | 720 42889 140801 | 1 42139 29 | 0.000 % | 88.77/88.83 c | 377823 | 720 42889 140801 | 1 42242 29 | 0.000 % | 88.77/88.83 c | 384513 | 720 42889 140801 | 1 48932 31 | 0.000 % | 88.77/88.83 c | 384613 | 720 42889 140801 | 1 49032 31 | 0.000 % | 88.77/88.83 c | 401909 | 720 42889 140801 | 1 66328 34 | 0.000 % | 88.77/88.83 c | 418708 | 720 42889 140801 | 1 83127 36 | 0.000 % | 88.77/88.83 c | 427913 | 720 42889 140801 | 1 49331 31 | 0.000 % | 88.77/88.83 c | 432350 | 720 42889 140801 | 1 53768 32 | 0.000 % | 88.77/88.83 c | 485273 | 720 42889 140801 | 1 61098 32 | 0.000 % | 88.77/88.83 c | 492436 | 720 42889 140801 | 1 68261 34 | 0.000 % | 88.77/88.83 c | 493593 | 720 42889 140801 | 1 69418 34 | 0.000 % | 88.77/88.83 c | 523110 | 720 42889 140801 | 1 50734 28 | 0.000 % | 88.77/88.83 c | 531889 | 720 42889 140801 | 1 59513 31 | 0.000 % | 88.77/88.83 c | 545573 | 720 42889 140801 | 1 73197 33 | 0.000 % | 88.77/88.83 c | 590089 | 720 42889 140801 | 1 66909 31 | 0.000 % | 88.77/88.83 c | 613208 | 720 42889 140801 | 1 90028 34 | 0.000 % | 88.77/88.83 c | 620619 | 720 42889 140801 | 1 97439 34 | 0.000 % | 88.77/88.83 c | 641732 | 720 42889 140801 | 1 65149 30 | 0.000 % | 88.77/88.83 c | 645111 | 720 42889 140801 | 1 68528 30 | 0.000 % | 88.77/88.83 c | 688880 | 720 42889 140801 | 1 56299 27 | 0.000 % | 88.77/88.83 c | 694016 | 720 42889 140801 | 1 61435 28 | 0.000 % | 88.77/88.83 c | 700700 | 720 42889 140801 | 1 68119 29 | 0.000 % | 88.77/88.83 c | 732743 | 720 42889 140801 | 1 100162 34 | 0.000 % | 88.77/88.83 c | 756293 | 720 42889 140801 | 1 65110 28 | 0.000 % | 88.77/88.83 c | 775491 | 720 42889 140801 | 1 84308 31 | 0.000 % | 88.77/88.83 c | 776827 | 720 42889 140801 | 1 85644 31 | 0.000 % | 88.77/88.83 c | 781276 | 720 42889 140801 | 1 90093 33 | 0.000 % | 88.77/88.83 c | 784401 | 720 42889 140801 | 1 93218 33 | 0.000 % | 88.77/88.83 c | 784502 | 720 42889 140801 | 1 93319 33 | 0.000 % | 88.77/88.83 c | 784861 | 720 42889 140801 | 1 93678 33 | 0.000 % | 88.77/88.83 c | 824032 | 720 42889 140801 | 1 71647 28 | 0.000 % | 88.77/88.83 c | 824192 | 720 42889 140801 | 1 71807 28 | 0.000 % | 88.77/88.83 c | 830085 | 720 42889 140801 | 1 77700 29 | 0.000 % | 88.77/88.83 c | 833015 | 720 42889 140801 | 1 80630 29 | 0.000 % | 88.77/88.83 c | 846474 | 720 42889 140801 | 1 94089 32 | 0.000 % | 88.77/88.83 c | 847116 | 720 42889 140801 | 1 94731 32 | 0.000 % | 156.28/156.34 c | 852716 | 720 42889 140801 | 1 100331 33 | 0.000 % | 156.28/156.34 c | 901366 | 720 42889 140801 | 1 85181 31 | 0.000 % | 156.28/156.34 c | 913503 | 720 42889 140801 | 1 97318 32 | 0.000 % | 156.28/156.34 c | 922429 | 720 42889 140801 | 1 106244 33 | 0.000 % | 156.28/156.34 c | 932922 | 720 42889 140801 | 1 116737 34 | 0.000 % | 156.28/156.34 c | 938542 | 720 42889 140801 | 1 122357 34 | 0.000 % | 156.28/156.34 c | 938642 | 720 42889 140801 | 1 122457 34 | 0.000 % | 156.28/156.34 c | 941182 | 720 42889 140801 | 1 124997 34 | 0.000 % | 156.28/156.34 c | 946411 | 720 42889 140801 | 1 130226 34 | 0.000 % | 156.28/156.34 c | 1007128 | 720 42889 140801 | 1 124550 34 | 0.000 % | 156.28/156.34 c | 1014507 | 720 42889 140801 | 1 131929 34 | 0.000 % | 156.28/156.34 c | 1024826 | 720 42889 140801 | 1 73244 27 | 0.000 % | 156.28/156.34 c | 1030817 | 720 42889 140801 | 1 79235 28 | 0.000 % | 156.28/156.34 c | 1040503 | 720 42889 140801 | 1 88921 31 | 0.000 % | 156.28/156.34 c | 1044712 | 720 42889 140801 | 1 93130 31 | 0.000 % | 156.28/156.34 c | 1044812 | 720 42889 140801 | 1 93230 32 | 0.000 % | 156.28/156.34 c | 1059059 | 720 42889 140801 | 1 107477 34 | 0.000 % | 156.28/156.34 c | 1071761 | 720 42889 140801 | 1 120179 35 | 0.000 % | 156.28/156.34 c | 1081850 | 720 42889 140801 | 1 130268 36 | 0.000 % | 156.28/156.34 c | 1081950 | 720 42889 140801 | 1 130368 36 | 0.000 % | 156.28/156.34 c | 1087945 | 720 42889 140801 | 1 136363 37 | 0.000 % | 156.28/156.34 c | 1089578 | 720 42889 140801 | 1 137996 37 | 0.000 % | 156.28/156.34 c | 1103430 | 720 42889 140801 | 1 80243 28 | 0.000 % | 156.28/156.34 c | 1103531 | 720 42889 140801 | 1 80344 28 | 0.000 % | 156.28/156.34 c | 1145486 | 720 42889 140801 | 1 122299 34 | 0.000 % | 156.28/156.34 c | 1145823 | 720 42889 140801 | 1 122636 34 | 0.000 % | 156.28/156.34 c | 1152940 | 720 42889 140801 | 1 129753 35 | 0.000 % | 156.28/156.34 c | 1154583 | 720 42889 140801 | 1 131396 35 | 0.000 % | 156.28/156.34 c | 1156225 | 720 42889 140801 | 1 133038 35 | 0.000 % | 156.28/156.34 c | 1156326 | 720 42889 140801 | 1 133139 35 | 0.000 % | 156.28/156.34 c | 1166476 | 720 42889 140801 | 1 143289 37 | 0.000 % | 156.28/156.34 c | 1168572 | 720 42889 140801 | 1 145385 37 | 0.000 % | 156.28/156.34 c | 1193324 | 720 42889 140801 | 1 95939 31 | 0.000 % | 156.28/156.34 c | 1193665 | 720 42889 140801 | 1 96280 31 | 0.000 % | 156.28/156.34 c | 1197771 | 720 42889 140801 | 1 100386 31 | 0.000 % | 156.28/156.34 c | 1200521 | 720 42889 140801 | 1 103136 32 | 0.000 % | 156.28/156.34 c | 1223160 | 720 42889 140801 | 1 125775 35 | 0.000 % | 156.28/156.34 c | 1229505 | 720 42889 140801 | 1 132120 35 | 0.000 % | 156.28/156.34 c | 1230088 | 720 42889 140801 | 1 132703 35 | 0.000 % | 156.28/156.34 c | 1231841 | 720 42889 140801 | 1 134456 36 | 0.000 % | 156.28/156.34 c | 1231942 | 720 42889 140801 | 1 134557 36 | 0.000 % | 156.28/156.34 c | 1268582 | 720 42889 140801 | 1 94396 29 | 0.000 % | 156.28/156.34 c | 1294888 | 720 42889 140801 | 1 120702 32 | 0.000 % | 156.28/156.34 c | 1305804 | 720 42889 140801 | 1 131618 33 | 0.000 % | 156.28/156.34 c | 1315303 | 720 42889 140801 | 1 141117 34 | 0.000 % | 156.28/156.34 c | 1321682 | 720 42889 140801 | 1 147496 35 | 0.000 % | 156.28/156.34 c | 1341470 | 720 42889 140801 | 1 87885 27 | 0.000 % | 156.28/156.34 c | 1341571 | 720 42889 140801 | 1 87986 27 | 0.000 % | 156.28/156.34 c | 1341956 | 720 42889 140801 | 1 88371 27 | 0.000 % | 156.28/156.34 c | 1342999 | 720 42889 140801 | 1 89414 28 | 0.000 % | 211.38/211.42 c | 1356991 | 720 42889 140801 | 1 103406 29 | 0.000 % | 211.38/211.42 c | 1360457 | 720 42889 140801 | 1 106872 30 | 0.000 % | 211.38/211.42 c | 1366193 | 720 42889 140801 | 1 112608 31 | 0.000 % | 211.38/211.42 c | 1375407 | 720 42889 140801 | 1 121822 32 | 0.000 % | 211.38/211.42 c | 1383886 | 720 42889 140801 | 1 130301 33 | 0.000 % | 211.38/211.42 c | 1384670 | 720 42889 140801 | 1 131085 33 | 0.000 % | 211.38/211.42 c | 1399397 | 720 42889 140801 | 1 145812 35 | 0.000 % | 211.38/211.42 c | 1399692 | 720 42889 140801 | 1 146107 35 | 0.000 % | 211.38/211.42 c | 1422021 | 720 42889 140801 | 1 86439 27 | 0.000 % | 211.38/211.42 c | 1440387 | 720 42889 140801 | 1 104805 30 | 0.000 % | 211.38/211.42 c | 1445169 | 720 42889 140801 | 1 109587 31 | 0.000 % | 211.38/211.42 c | 1445269 | 720 42889 140801 | 1 109687 31 | 0.000 % | 211.38/211.42 c | 1445369 | 720 42889 140801 | 1 109787 31 | 0.000 % | 211.38/211.42 c | 1446056 | 720 42889 140801 | 1 110474 31 | 0.000 % | 211.38/211.42 c | 1447493 | 720 42889 140801 | 1 111911 31 | 0.000 % | 211.38/211.42 c | 1449150 | 720 42889 140801 | 1 113568 31 | 0.000 % | 211.38/211.42 c | 1451019 | 720 42889 140801 | 1 115437 32 | 0.000 % | 211.38/211.42 c | 1465146 | 720 42889 140801 | 1 129564 34 | 0.000 % | 211.38/211.42 c | 1467671 | 720 42889 140801 | 1 132089 34 | 0.000 % | 211.38/211.42 c | 1486953 | 720 42889 140801 | 1 151371 35 | 0.000 % | 211.38/211.42 c | 1500948 | 720 42889 140801 | 1 165366 36 | 0.000 % | 211.38/211.42 c | 1519362 | 720 42889 140801 | 1 99182 27 | 0.000 % | 211.38/211.42 c | 1520459 | 720 42889 140801 | 1 100279 27 | 0.000 % | 211.38/211.42 c | 1528262 | 720 42889 140801 | 1 108082 28 | 0.000 % | 211.38/211.42 c | 1535601 | 720 42889 140801 | 1 115421 29 | 0.000 % | 211.38/211.42 c | 1541621 | 720 42889 140801 | 1 121441 29 | 0.000 % | 211.38/211.42 c | 1541897 | 720 42889 140801 | 1 121717 29 | 0.000 % | 211.38/211.42 c | 1552318 | 720 42889 140801 | 1 132138 30 | 0.000 % | 211.38/211.42 c | 1552681 | 720 42889 140801 | 1 132501 30 | 0.000 % | 211.38/211.42 c | 1555245 | 720 42889 140801 | 1 135065 30 | 0.000 % | 211.38/211.42 c | 1557111 | 720 42889 140801 | 1 136931 30 | 0.000 % | 211.38/211.42 c | 1558282 | 720 42889 140801 | 1 138102 31 | 0.000 % | 211.38/211.42 c | 1558383 | 720 42889 140801 | 1 138203 31 | 0.000 % | 211.38/211.42 c | 1563690 | 720 42889 140801 | 1 143510 31 | 0.000 % | 211.38/211.42 c | 1567668 | 720 42889 140801 | 1 147488 31 | 0.000 % | 211.38/211.42 c | 1570190 | 720 42889 140801 | 1 150010 31 | 0.000 % | 211.38/211.42 c | 1590224 | 720 42889 140801 | 1 170044 32 | 0.000 % | 211.38/211.42 c | 1599922 | 720 42889 140801 | 1 92539 24 | 0.000 % | 211.38/211.42 c | 1605564 | 720 42889 140801 | 1 98181 25 | 0.000 % | 211.38/211.42 c | 1614211 | 720 42889 140801 | 1 106828 26 | 0.000 % | 211.38/211.42 c | 1614311 | 720 42889 140801 | 1 106928 26 | 0.000 % | 211.38/211.42 c | 1635000 | 720 42889 140801 | 1 127617 27 | 0.000 % | 211.38/211.42 c | 1654070 | 720 42889 140801 | 1 146687 29 | 0.000 % | 211.38/211.42 c | 1655508 | 720 42889 140801 | 1 148125 29 | 0.000 % | 211.38/211.42 c | 1656226 | 720 42889 140801 | 1 148843 29 | 0.000 % | 211.38/211.42 c | 1659050 | 720 42889 140801 | 1 151667 30 | 0.000 % | 211.38/211.42 c | 1660191 | 720 42889 140801 | 1 152808 30 | 0.000 % | 211.38/211.42 c | 1682457 | 720 42889 140801 | 1 175074 31 | 0.000 % | 211.38/211.42 c | 1684039 | 720 42889 140801 | 1 176656 31 | 0.000 % | 211.38/211.42 c | 1686115 | 720 42889 140801 | 1 178732 31 | 0.000 % | 272.28/272.32 c | 1686219 | 720 42889 140801 | 1 178836 31 | 0.000 % | 272.28/272.32 c | 1686380 | 720 42889 140801 | 1 178997 31 | 0.000 % | 272.28/272.32 c | 1699531 | 720 42889 140801 | 1 102349 25 | 0.000 % | 272.28/272.32 c | 1708940 | 720 42889 140801 | 1 111758 26 | 0.000 % | 272.28/272.32 c | 1709126 | 720 42889 140801 | 1 111944 27 | 0.000 % | 272.28/272.32 c | 1711060 | 720 42889 140801 | 1 113878 27 | 0.000 % | 272.28/272.32 c | 1714661 | 720 42889 140801 | 1 117479 27 | 0.000 % | 272.28/272.32 c | 1732054 | 720 42889 140801 | 1 134872 29 | 0.000 % | 272.28/272.32 c | 1732347 | 720 42889 140801 | 1 135165 29 | 0.000 % | 272.28/272.32 c | 1750069 | 720 42889 140801 | 1 152887 30 | 0.000 % | 272.28/272.32 c | 1750341 | 720 42889 140801 | 1 153159 30 | 0.000 % | 272.28/272.32 c | 1755464 | 720 42889 140801 | 1 158282 30 | 0.000 % | 272.28/272.32 c | 1771846 | 720 42889 140801 | 1 174664 30 | 0.000 % | 272.28/272.32 c | 1772638 | 720 42889 140801 | 1 175456 31 | 0.000 % | 272.28/272.32 c | 1772740 | 720 42889 140801 | 1 175558 31 | 0.000 % | 272.28/272.32 c | 1781765 | 720 42889 140801 | 1 184583 31 | 0.000 % | 272.28/272.32 c | 1781866 | 720 42889 140801 | 1 184684 31 | 0.000 % | 272.28/272.32 c | 1814642 | 720 42889 140801 | 1 125053 28 | 0.000 % | 272.28/272.32 c | 1815069 | 720 42889 140801 | 1 125480 28 | 0.000 % | 272.28/272.32 c | 1815314 | 720 42889 140801 | 1 125725 28 | 0.000 % | 272.28/272.32 c | 1826210 | 720 42889 140801 | 1 136621 28 | 0.000 % | 272.28/272.32 c | 1828881 | 720 42889 140801 | 1 139292 29 | 0.000 % | 272.28/272.32 c | 1829481 | 720 42889 140801 | 1 139892 29 | 0.000 % | 272.28/272.32 c | 1830014 | 720 42889 140801 | 1 140425 29 | 0.000 % | 272.28/272.32 c | 1830116 | 720 42889 140801 | 1 140527 29 | 0.000 % | 272.28/272.32 c | 1832435 | 720 42889 140801 | 1 142846 29 | 0.000 % | 272.28/272.32 c | 1837855 | 720 42889 140801 | 1 148266 29 | 0.000 % | 272.28/272.32 c | 1840038 | 720 42889 140801 | 1 150449 29 | 0.000 % | 272.28/272.32 c | 1844345 | 720 42889 140801 | 1 154756 30 | 0.000 % | 272.28/272.32 c | 1848698 | 720 42889 140801 | 1 159109 30 | 0.000 % | 272.28/272.32 c | 1853526 | 720 42889 140801 | 1 163937 30 | 0.000 % | 272.28/272.32 c | 1854942 | 720 42889 140801 | 1 165353 31 | 0.000 % | 272.28/272.32 c | 1866764 | 720 42889 140801 | 1 177175 31 | 0.000 % | 272.28/272.32 c | 1879362 | 720 42889 140801 | 1 189773 32 | 0.000 % | 272.28/272.32 c | 1891016 | 720 42889 140801 | 1 106429 25 | 0.000 % | 272.28/272.32 c | 1892363 | 720 42889 140801 | 1 107776 25 | 0.000 % | 272.28/272.32 c | 1892813 | 720 42889 140801 | 1 108226 25 | 0.000 % | 272.28/272.32 c | 1903165 | 720 42889 140801 | 1 118578 26 | 0.000 % | 272.28/272.32 c | 1918912 | 720 42889 140801 | 1 134325 28 | 0.000 % | 272.28/272.32 c | 1925332 | 720 42889 140801 | 1 140745 29 | 0.000 % | 272.28/272.32 c | 1928753 | 720 42889 140801 | 1 144166 29 | 0.000 % | 272.28/272.32 c | 1937947 | 720 42889 140801 | 1 153360 30 | 0.000 % | 272.28/272.32 c | 1940971 | 720 42889 140801 | 1 156384 30 | 0.000 % | 272.28/272.32 c | 1943468 | 720 42889 140801 | 1 158881 31 | 0.000 % | 272.28/272.32 c | 1948024 | 720 42889 140801 | 1 163437 31 | 0.000 % | 272.28/272.32 c | 1973303 | 720 42889 140801 | 1 188716 32 | 0.000 % | 272.28/272.32 c | 1980891 | 720 42889 140801 | 1 98710 24 | 0.000 % | 272.28/272.32 c | 1994878 | 720 42889 140801 | 1 112697 25 | 0.000 % | 272.28/272.32 c | 1994992 | 720 42889 140801 | 1 112811 25 | 0.000 % | 272.28/272.32 c | 1996055 | 720 42889 140801 | 1 113874 26 | 0.000 % | 315.38/315.46 c | 2001425 | 720 42889 140801 | 1 119244 26 | 0.000 % | 315.38/315.46 c | 2002045 | 720 42889 140801 | 1 119864 27 | 0.000 % | 315.38/315.46 c | 2002145 | 720 42889 140801 | 1 119964 27 | 0.000 % | 315.38/315.46 c | 2002908 | 720 42889 140801 | 1 120727 27 | 0.000 % | 315.38/315.46 c | 2019179 | 720 42889 140801 | 1 136998 29 | 0.000 % | 315.38/315.46 c | 2036723 | 720 42889 140801 | 1 154542 30 | 0.000 % | 315.38/315.46 c | 2040942 | 720 42889 140801 | 1 158761 30 | 0.000 % | 315.38/315.46 c | 2041042 | 720 42889 140801 | 1 158861 30 | 0.000 % | 315.38/315.46 c | 2041143 | 720 42889 140801 | 1 158962 30 | 0.000 % | 315.38/315.46 c | 2055832 | 720 42889 140801 | 1 173651 31 | 0.000 % | 315.38/315.46 c | 2059267 | 720 42889 140801 | 1 177086 31 | 0.000 % | 315.38/315.46 c | 2061192 | 720 42889 140801 | 1 179011 31 | 0.000 % | 315.38/315.46 c | 2061292 | 720 42889 140801 | 1 179111 31 | 0.000 % | 315.38/315.46 c | 2068608 | 720 42889 140801 | 1 186427 32 | 0.000 % | 315.38/315.46 c | 2070325 | 720 42889 140801 | 1 188144 32 | 0.000 % | 315.38/315.46 c | 2074131 | 720 42889 140801 | 1 191950 32 | 0.000 % | 315.38/315.46 c | 2086715 | 720 42889 140801 | 1 104332 24 | 0.000 % | 315.38/315.46 c | 2090556 | 720 42889 140801 | 1 108173 25 | 0.000 % | 315.38/315.46 c | 2101314 | 720 42889 140801 | 1 118931 26 | 0.000 % | 315.38/315.46 c | 2110605 | 720 42889 140801 | 1 128222 27 | 0.000 % | 315.38/315.46 c | 2113312 | 720 42889 140801 | 1 130929 27 | 0.000 % | 315.38/315.46 c | 2114836 | 720 42889 140801 | 1 132453 27 | 0.000 % | 315.38/315.46 c | 2115084 | 720 42889 140801 | 1 132701 27 | 0.000 % | 315.38/315.46 c | 2125572 | 720 42889 140801 | 1 143189 29 | 0.000 % | 315.38/315.46 c | 2137615 | 720 42889 140801 | 1 155232 29 | 0.000 % | 315.38/315.46 c | 2140369 | 720 42889 140801 | 1 157986 30 | 0.000 % | 315.38/315.46 c | 2141418 | 720 42889 140801 | 1 159035 30 | 0.000 % | 315.38/315.46 c | 2141518 | 720 42889 140801 | 1 159135 30 | 0.000 % | 315.38/315.46 c | 2151146 | 720 42889 140801 | 1 168763 30 | 0.000 % | 315.38/315.46 c | 2152397 | 720 42889 140801 | 1 170014 30 | 0.000 % | 315.38/315.46 c | 2152620 | 720 42889 140801 | 1 170237 30 | 0.000 % | 315.38/315.46 c | 2152724 | 720 42889 140801 | 1 170341 30 | 0.000 % | 315.38/315.46 c | 2152825 | 720 42889 140801 | 1 170442 30 | 0.000 % | 315.38/315.46 c | 2156900 | 720 42889 140801 | 1 174517 31 | 0.000 % | 315.38/315.46 c | 2159981 | 720 42889 140801 | 1 177598 31 | 0.000 % | 315.38/315.46 c | 2162818 | 720 42889 140801 | 1 180435 31 | 0.000 % | 315.38/315.46 c | 2162918 | 720 42889 140801 | 1 180535 31 | 0.000 % | 315.38/315.46 c | 2163018 | 720 42889 140801 | 1 180635 31 | 0.000 % | 315.38/315.46 c | 2163258 | 720 42889 140801 | 1 180875 31 | 0.000 % | 315.38/315.46 c | 2164724 | 720 42889 140801 | 1 182341 31 | 0.000 % | 315.38/315.46 c | 2165494 | 720 42889 140801 | 1 183111 31 | 0.000 % | 315.38/315.46 c | 2176538 | 720 42889 140801 | 1 194155 32 | 0.000 % | 315.38/315.46 c | 2176643 | 720 42889 140801 | 1 194260 32 | 0.000 % | 315.38/315.46 c | 2180718 | 720 42889 140801 | 1 198335 32 | 0.000 % | 315.38/315.46 c | 2183476 | 720 42889 140801 | 1 201093 32 | 0.000 % | 315.38/315.46 c | 2192376 | 720 42889 140801 | 1 107190 24 | 0.000 % | 315.38/315.46 c | 2195711 | 720 42889 140801 | 1 110525 24 | 0.000 % | 315.38/315.46 c | 2202820 | 720 42889 140801 | 1 117634 25 | 0.000 % | 315.38/315.46 c | 2202921 | 720 42889 140801 | 1 117735 25 | 0.000 % | 315.38/315.46 c | 2203117 | 720 42889 140801 | 1 117931 25 | 0.000 % | 349.38/349.40 c | 2208851 | 720 42889 140801 | 1 123665 26 | 0.000 % | 349.38/349.40 c | 2231015 | 720 42889 140801 | 1 145829 27 | 0.000 % | 349.38/349.40 c | 2231425 | 720 42889 140801 | 1 146239 27 | 0.000 % | 349.38/349.40 c | 2231691 | 720 42889 140801 | 1 146505 27 | 0.000 % | 349.38/349.40 c | 2233766 | 720 42889 140801 | 1 148580 27 | 0.000 % | 349.38/349.40 c | 2233871 | 720 42889 140801 | 1 148685 27 | 0.000 % | 349.38/349.40 c | 2233973 | 720 42889 140801 | 1 148787 27 | 0.000 % | 349.38/349.40 c | 2241245 | 720 42889 140801 | 1 156059 28 | 0.000 % | 349.38/349.40 c | 2241348 | 720 42889 140801 | 1 156162 28 | 0.000 % | 349.38/349.40 c | 2241448 | 720 42889 140801 | 1 156262 28 | 0.000 % | 349.38/349.40 c | 2244712 | 720 42889 140801 | 1 159526 28 | 0.000 % | 349.38/349.40 c | 2244813 | 720 42889 140801 | 1 159627 28 | 0.000 % | 349.38/349.40 c | 2244913 | 720 42889 140801 | 1 159727 28 | 0.000 % | 349.38/349.40 c | 2245738 | 720 42889 140801 | 1 160552 28 | 0.000 % | 349.38/349.40 c | 2245890 | 720 42889 140801 | 1 160704 28 | 0.000 % | 349.38/349.40 c | 2246486 | 720 42889 140801 | 1 161300 28 | 0.000 % | 349.38/349.40 c | 2249525 | 720 42889 140801 | 1 164339 28 | 0.000 % | 349.38/349.40 c | 2249732 | 720 42889 140801 | 1 164546 28 | 0.000 % | 349.38/349.40 c | 2251965 | 720 42889 140801 | 1 166779 29 | 0.000 % | 349.38/349.40 c | 2252065 | 720 42889 140801 | 1 166879 29 | 0.000 % | 349.38/349.40 c | 2253110 | 720 42889 140801 | 1 167924 29 | 0.000 % | 349.38/349.40 c | 2253690 | 720 42889 140801 | 1 168504 29 | 0.000 % | 349.38/349.40 c | 2254758 | 720 42889 140801 | 1 169572 29 | 0.000 % | 349.38/349.40 c | 2257417 | 720 42889 140801 | 1 172231 29 | 0.000 % | 349.38/349.40 c | 2257519 | 720 42889 140801 | 1 172333 29 | 0.000 % | 349.38/349.40 c | 2257620 | 720 42889 140801 | 1 172434 29 | 0.000 % | 349.38/349.40 c | 2259287 | 720 42889 140801 | 1 174101 29 | 0.000 % | 349.38/349.40 c | 2260452 | 720 42889 140801 | 1 175266 29 | 0.000 % | 349.38/349.40 c | 2262268 | 720 42889 140801 | 1 177082 29 | 0.000 % | 349.38/349.40 c | 2265808 | 720 42889 140801 | 1 180622 29 | 0.000 % | 349.38/349.40 c | 2276587 | 720 42889 140801 | 1 191401 30 | 0.000 % | 349.38/349.40 c | 2277987 | 720 42889 140801 | 1 192801 30 | 0.000 % | 349.38/349.40 c | 2278300 | 720 42889 140801 | 1 193114 30 | 0.000 % | 349.38/349.40 c | 2285732 | 720 42889 140801 | 1 200546 30 | 0.000 % | 349.38/349.40 c | 2285954 | 720 42889 140801 | 1 200768 30 | 0.000 % | 349.38/349.40 c | 2287751 | 720 42889 140801 | 1 202565 31 | 0.000 % | 349.38/349.40 c | 2287852 | 720 42889 140801 | 1 202666 31 | 0.000 % | 349.38/349.40 c | 2296338 | 720 42889 140801 | 1 105763 23 | 0.000 % | 349.38/349.40 c | 2297768 | 720 42889 140801 | 1 107193 23 | 0.000 % | 349.38/349.40 c | 2297868 | 720 42889 140801 | 1 107293 23 | 0.000 % | 349.38/349.40 c | 2320527 | 720 42889 140801 | 1 129952 25 | 0.000 % | 349.38/349.40 c | 2331719 | 720 42889 140801 | 1 141144 26 | 0.000 % | 349.38/349.40 c | 2335549 | 720 42889 140801 | 1 144974 26 | 0.000 % | 349.38/349.40 c | 2340792 | 720 42889 140801 | 1 150217 27 | 0.000 % | 349.38/349.40 c | 2341060 | 720 42889 140801 | 1 150485 27 | 0.000 % | 349.38/349.40 c | 2343358 | 720 42889 140801 | 1 152783 27 | 0.000 % | 349.38/349.40 c | 2344501 | 720 42889 140801 | 1 153926 27 | 0.000 % | 349.38/349.40 c | 2353560 | 720 42889 140801 | 1 162985 27 | 0.000 % | 349.38/349.40 c | 2359919 | 720 42889 140801 | 1 169344 28 | 0.000 % | 349.38/349.40 c | 2360957 | 720 42889 140801 | 1 170382 28 | 0.000 % | 401.78/401.83 c | 2377353 | 720 42889 140801 | 1 186778 28 | 0.000 % | 401.78/401.83 c | 2392285 | 720 42889 140801 | 1 201710 29 | 0.000 % | 401.78/401.83 c | 2396069 | 720 42889 140801 | 1 205494 29 | 0.000 % | 401.78/401.83 c | 2405166 | 720 42889 140801 | 1 214591 30 | 0.000 % | 401.78/401.83 c | 2405308 | 720 42889 140801 | 1 214733 30 | 0.000 % | 401.78/401.83 c | 2411916 | 720 42889 140801 | 1 113329 23 | 0.000 % | 401.78/401.83 c | 2412336 | 720 42889 140801 | 1 113749 23 | 0.000 % | 401.78/401.83 c | 2415659 | 720 42889 140801 | 1 117072 23 | 0.000 % | 401.78/401.83 c | 2417229 | 720 42889 140801 | 1 118642 24 | 0.000 % | 401.78/401.83 c | 2417330 | 720 42889 140801 | 1 118743 24 | 0.000 % | 401.78/401.83 c | 2417431 | 720 42889 140801 | 1 118844 24 | 0.000 % | 401.78/401.83 c | 2426111 | 720 42889 140801 | 1 127524 25 | 0.000 % | 401.78/401.83 c | 2428782 | 720 42889 140801 | 1 130195 25 | 0.000 % | 401.78/401.83 c | 2429287 | 720 42889 140801 | 1 130700 25 | 0.000 % | 401.78/401.83 c | 2429493 | 720 42889 140801 | 1 130906 25 | 0.000 % | 401.78/401.83 c | 2437431 | 720 42889 140801 | 1 138844 26 | 0.000 % | 401.78/401.83 c | 2438314 | 720 42889 140801 | 1 139727 26 | 0.000 % | 401.78/401.83 c | 2438417 | 720 42889 140801 | 1 139830 26 | 0.000 % | 401.78/401.83 c | 2438623 | 720 42889 140801 | 1 140036 26 | 0.000 % | 401.78/401.83 c | 2441129 | 720 42889 140801 | 1 142542 26 | 0.000 % | 401.78/401.83 c | 2444889 | 720 42889 140801 | 1 146302 27 | 0.000 % | 401.78/401.83 c | 2451787 | 720 42889 140801 | 1 153200 27 | 0.000 % | 401.78/401.83 c | 2451888 | 720 42889 140801 | 1 153301 27 | 0.000 % | 401.78/401.83 c | 2451988 | 720 42889 140801 | 1 153401 27 | 0.000 % | 401.78/401.83 c | 2459174 | 720 42889 140801 | 1 160587 27 | 0.000 % | 401.78/401.83 c | 2459275 | 720 42889 140801 | 1 160688 27 | 0.000 % | 401.78/401.83 c | 2477162 | 720 42889 140801 | 1 178575 28 | 0.000 % | 401.78/401.83 c | 2477304 | 720 42889 140801 | 1 178717 28 | 0.000 % | 401.78/401.83 c | 2477406 | 720 42889 140801 | 1 178819 28 | 0.000 % | 401.78/401.83 c | 2477516 | 720 42889 140801 | 1 178929 28 | 0.000 % | 401.78/401.83 c | 2477616 | 720 42889 140801 | 1 179029 28 | 0.000 % | 401.78/401.83 c | 2477716 | 720 42889 140801 | 1 179129 28 | 0.000 % | 401.78/401.83 c | 2477820 | 720 42889 140801 | 1 179233 28 | 0.000 % | 401.78/401.83 c | 2479196 | 720 42889 140801 | 1 180609 29 | 0.000 % | 401.78/401.83 c | 2490750 | 720 42889 140801 | 1 192163 29 | 0.000 % | 401.78/401.83 c | 2495759 | 720 42889 140801 | 1 197172 29 | 0.000 % | 401.78/401.83 c | 2504018 | 720 42889 140801 | 1 205431 30 | 0.000 % | 401.78/401.83 c | 2541337 | 720 42889 140801 | 1 132151 26 | 0.000 % | 401.78/401.83 c | 2556158 | 720 42889 140801 | 1 146972 27 | 0.000 % | 401.78/401.83 c | 2572756 | 720 42889 140801 | 1 163570 29 | 0.000 % | 401.78/401.83 c | 2581912 | 720 42889 140801 | 1 172726 30 | 0.000 % | 401.78/401.83 c | 2588087 | 720 42889 140801 | 1 178901 31 | 0.000 % | 401.78/401.83 c | 2588407 | 720 42889 140801 | 1 179221 31 | 0.000 % | 401.78/401.83 c | 2594186 | 720 42889 140801 | 1 185000 31 | 0.000 % | 401.78/401.83 c | 2594289 | 720 42889 140801 | 1 185103 31 | 0.000 % | 401.78/401.83 c | 2605739 | 720 42889 140801 | 1 196553 32 | 0.000 % | 401.78/401.83 c | 2605975 | 720 42889 140801 | 1 196789 32 | 0.000 % | 401.78/401.83 c | 2625012 | 720 42889 140801 | 1 215826 33 | 0.000 % | 401.78/401.83 c | 2638151 | 720 42889 140801 | 1 115769 25 | 0.000 % | 466.89/466.91 c | 2645907 | 720 42889 140801 | 1 123525 26 | 0.000 % | 466.89/466.91 c | 2668330 | 720 42889 140801 | 1 145948 28 | 0.000 % | 466.89/466.91 c | 2668431 | 720 42889 140801 | 1 146049 28 | 0.000 % | 466.89/466.91 c | 2672476 | 720 42889 140801 | 1 150094 28 | 0.000 % | 466.89/466.91 c | 2677522 | 720 42889 140801 | 1 155140 29 | 0.000 % | 466.89/466.91 c | 2678573 | 720 42889 140801 | 1 156191 29 | 0.000 % | 466.89/466.91 c | 2678681 | 720 42889 140801 | 1 156299 29 | 0.000 % | 466.89/466.91 c | 2712113 | 720 42889 140801 | 1 189731 31 | 0.000 % | 466.89/466.91 c | 2721249 | 720 42889 140801 | 1 198867 32 | 0.000 % | 466.89/466.91 c | 2728410 | 720 42889 140801 | 1 206028 32 | 0.000 % | 466.89/466.91 c | 2734500 | 720 42889 140801 | 1 212118 32 | 0.000 % | 466.89/466.91 c | 2744960 | 720 42889 140801 | 1 222578 33 | 0.000 % | 466.89/466.91 c | 2749246 | 720 42889 140801 | 1 226864 33 | 0.000 % | 466.89/466.91 c | 2757417 | 720 42889 140801 | 1 119232 24 | 0.000 % | 466.89/466.91 c | 2783299 | 720 42889 140801 | 1 145114 27 | 0.000 % | 466.89/466.91 c | 2800211 | 720 42889 140801 | 1 162026 28 | 0.000 % | 466.89/466.91 c | 2800820 | 720 42889 140801 | 1 162635 28 | 0.000 % | 466.89/466.91 c | 2817011 | 720 42889 140801 | 1 178826 29 | 0.000 % | 466.89/466.91 c | 2819915 | 720 42889 140801 | 1 181730 29 | 0.000 % | 466.89/466.91 c | 2829693 | 720 42889 140801 | 1 191508 30 | 0.000 % | 466.89/466.91 c | 2836353 | 720 42889 140801 | 1 198168 30 | 0.000 % | 466.89/466.91 c | 2841502 | 720 42889 140801 | 1 203317 31 | 0.000 % | 466.89/466.91 c | 2852046 | 720 42889 140801 | 1 213861 31 | 0.000 % | 466.89/466.91 c | 2871485 | 720 42889 140801 | 1 233300 32 | 0.000 % | 466.89/466.91 c | 2873141 | 720 42889 140801 | 1 234956 32 | 0.000 % | 466.89/466.91 c | 2873241 | 720 42889 140801 | 1 235056 32 | 0.000 % | 466.89/466.91 c | 2879026 | 720 42889 140801 | 1 122440 24 | 0.000 % | 466.89/466.91 c | 2894876 | 720 42889 140801 | 1 138290 26 | 0.000 % | 466.89/466.91 c | 2894976 | 720 42889 140801 | 1 138390 26 | 0.000 % | 466.89/466.91 c | 2900609 | 720 42889 140801 | 1 144023 26 | 0.000 % | 466.89/466.91 c | 2922444 | 720 42889 140801 | 1 165858 28 | 0.000 % | 466.89/466.91 c | 2925495 | 720 42889 140801 | 1 168909 29 | 0.000 % | 466.89/466.91 c | 2936018 | 720 42889 140801 | 1 179432 29 | 0.000 % | 466.89/466.91 c | 2939736 | 720 42889 140801 | 1 183150 30 | 0.000 % | 466.89/466.91 c | 2954001 | 720 42889 140801 | 1 197415 31 | 0.000 % | 466.89/466.91 c | 2954146 | 720 42889 140801 | 1 197560 31 | 0.000 % | 466.89/466.91 c | 2975909 | 720 42889 140801 | 1 219323 33 | 0.000 % | 466.89/466.91 c | 2984540 | 720 42889 140801 | 1 227954 33 | 0.000 % | 466.89/466.91 c | 2991816 | 720 42889 140801 | 1 235230 34 | 0.000 % | 466.89/466.91 c | 2995247 | 720 42889 140801 | 1 238661 34 | 0.000 % | 466.89/466.91 c | 3002098 | 720 42889 140801 | 1 124509 25 | 0.000 % | 466.89/466.91 c | 3008009 | 720 42889 140801 | 1 130420 26 | 0.000 % | 466.89/466.91 c | 3009071 | 720 42889 140801 | 1 131482 26 | 0.000 % | 466.89/466.91 c | 3009261 | 720 42889 140801 | 1 131672 26 | 0.000 % | 466.89/466.91 c | 3012728 | 720 42889 140801 | 1 135139 27 | 0.000 % | 466.89/466.91 c | 3021505 | 720 42889 140801 | 1 143916 28 | 0.000 % | 466.89/466.91 c | 3028139 | 720 42889 140801 | 1 150550 28 | 0.000 % | 466.89/466.91 c | 3029684 | 720 42889 140801 | 1 152095 29 | 0.000 % | 466.89/466.91 c | 3034307 | 720 42889 140801 | 1 156718 29 | 0.000 % | 466.89/466.91 c | 3043091 | 720 42889 140801 | 1 165502 30 | 0.000 % | 534.79/534.84 c | 3062591 | 720 42889 140801 | 1 185002 31 | 0.000 % | 534.79/534.84 c | 3068053 | 720 42889 140801 | 1 190464 31 | 0.000 % | 534.79/534.84 c | 3072723 | 720 42889 140801 | 1 195134 32 | 0.000 % | 534.79/534.84 c | 3072823 | 720 42889 140801 | 1 195234 32 | 0.000 % | 534.79/534.84 c | 3080863 | 720 42889 140801 | 1 203274 32 | 0.000 % | 534.79/534.84 c | 3083078 | 720 42889 140801 | 1 205489 32 | 0.000 % | 534.79/534.84 c | 3083178 | 720 42889 140801 | 1 205589 32 | 0.000 % | 534.79/534.84 c | 3110285 | 720 42889 140801 | 1 232696 33 | 0.000 % | 534.79/534.84 c | 3110538 | 720 42889 140801 | 1 232949 33 | 0.000 % | 534.79/534.84 c | 3112657 | 720 42889 140801 | 1 235068 33 | 0.000 % | 534.79/534.84 c | 3113251 | 720 42889 140801 | 1 235662 33 | 0.000 % | 534.79/534.84 c | 3130458 | 720 42889 140801 | 1 129269 24 | 0.000 % | 534.79/534.84 c | 3133252 | 720 42889 140801 | 1 132063 24 | 0.000 % | 534.79/534.84 c | 3162880 | 720 42889 140801 | 1 161691 26 | 0.000 % | 534.79/534.84 c | 3166032 | 720 42889 140801 | 1 164843 27 | 0.000 % | 534.79/534.84 c | 3166275 | 720 42889 140801 | 1 165086 27 | 0.000 % | 534.79/534.84 c | 3178771 | 720 42889 140801 | 1 177582 28 | 0.000 % | 534.79/534.84 c | 3185955 | 720 42889 140801 | 1 184766 28 | 0.000 % | 534.79/534.84 c | 3190696 | 720 42889 140801 | 1 189507 28 | 0.000 % | 534.79/534.84 c | 3209013 | 720 42889 140801 | 1 207824 29 | 0.000 % | 534.79/534.84 c | 3213024 | 720 42889 140801 | 1 211835 29 | 0.000 % | 534.79/534.84 c | 3214106 | 720 42889 140801 | 1 212917 29 | 0.000 % | 534.79/534.84 c | 3222704 | 720 42889 140801 | 1 221515 30 | 0.000 % | 534.79/534.84 c | 3226397 | 720 42889 140801 | 1 225208 30 | 0.000 % | 534.79/534.84 c | 3241253 | 720 42889 140801 | 1 240064 30 | 0.000 % | 534.79/534.85 c | 3254311 | 720 42889 140801 | 1 126926 23 | 0.000 % | 534.79/534.85 c | 3254651 | 720 42889 140801 | 1 127266 23 | 0.000 % | 534.79/534.85 c | 3255986 | 720 42889 140801 | 1 128601 23 | 0.000 % | 534.79/534.85 c | 3280665 | 720 42889 140801 | 1 153280 26 | 0.000 % | 534.79/534.85 c | 3289875 | 720 42889 140801 | 1 162490 27 | 0.000 % | 534.79/534.85 c | 3292503 | 720 42889 140801 | 1 165118 27 | 0.000 % | 534.79/534.85 c | 3300893 | 720 42889 140801 | 1 173508 28 | 0.000 % | 534.79/534.85 c | 3307496 | 720 42889 140801 | 1 180111 28 | 0.000 % | 534.79/534.85 c | 3309382 | 720 42889 140801 | 1 181997 28 | 0.000 % | 534.79/534.85 c | 3309485 | 720 42889 140801 | 1 182100 29 | 0.000 % | 534.79/534.85 c | 3323310 | 720 42889 140801 | 1 195925 30 | 0.000 % | 534.79/534.85 c | 3323413 | 720 42889 140801 | 1 196028 30 | 0.000 % | 534.79/534.85 c | 3327072 | 720 42889 140801 | 1 199687 30 | 0.000 % | 534.79/534.85 c | 3327599 | 720 42889 140801 | 1 200214 30 | 0.000 % | 534.79/534.85 c | 3335752 | 720 42889 140801 | 1 208367 31 | 0.000 % | 534.79/534.85 c | 3336055 | 720 42889 140801 | 1 208670 31 | 0.000 % | 534.79/534.85 c | 3336361 | 720 42889 140801 | 1 208976 31 | 0.000 % | 534.79/534.85 c | 3339063 | 720 42889 140801 | 1 211678 31 | 0.000 % | 534.79/534.85 c | 3341316 | 720 42889 140801 | 1 213931 31 | 0.000 % | 534.79/534.85 c | 3368794 | 720 42889 140801 | 1 241409 32 | 0.000 % | 534.79/534.85 c | 3370918 | 720 42889 140801 | 1 243533 32 | 0.000 % | 534.79/534.85 c | 3379227 | 720 42889 140801 | 1 251842 32 | 0.000 % | 534.79/534.85 c | 3380798 | 720 42889 140801 | 1 253413 32 | 0.000 % | 534.79/534.85 c | 3381404 | 720 42889 140801 | 1 254019 32 | 0.000 % | 534.79/534.85 c | 3387245 | 720 42889 140801 | 1 131058 24 | 0.000 % | 587.99/588.07 c | 3390445 | 720 42889 140801 | 1 134258 24 | 0.000 % | 587.99/588.07 c | 3407358 | 720 42889 140801 | 1 151171 26 | 0.000 % | 587.99/588.07 c | 3416296 | 720 42889 140801 | 1 160109 27 | 0.000 % | 587.99/588.07 c | 3416791 | 720 42889 140801 | 1 160604 27 | 0.000 % | 587.99/588.07 c | 3420675 | 720 42889 140801 | 1 164488 28 | 0.000 % | 587.99/588.07 c | 3420776 | 720 42889 140801 | 1 164589 28 | 0.000 % | 587.99/588.07 c | 3426035 | 720 42889 140801 | 1 169848 28 | 0.000 % | 587.99/588.07 c | 3427457 | 720 42889 140801 | 1 171270 28 | 0.000 % | 587.99/588.07 c | 3428855 | 720 42889 140801 | 1 172668 28 | 0.000 % | 587.99/588.07 c | 3455674 | 720 42889 140801 | 1 199487 30 | 0.000 % | 587.99/588.07 c | 3455775 | 720 42889 140801 | 1 199588 30 | 0.000 % | 587.99/588.07 c | 3470461 | 720 42889 140801 | 1 214274 30 | 0.000 % | 587.99/588.07 c | 3473343 | 720 42889 140801 | 1 217156 30 | 0.000 % | 587.99/588.07 c | 3517005 | 720 42889 140801 | 1 260818 32 | 0.000 % | 587.99/588.07 c | 3525974 | 720 42889 140801 | 1 138389 24 | 0.000 % | 587.99/588.07 c | 3565965 | 720 42889 140801 | 1 178380 28 | 0.000 % | 587.99/588.07 c | 3568927 | 720 42889 140801 | 1 181342 28 | 0.000 % | 587.99/588.07 c | 3571970 | 720 42889 140801 | 1 184385 29 | 0.000 % | 587.99/588.07 c | 3575649 | 720 42889 140801 | 1 188064 29 | 0.000 % | 587.99/588.07 c | 3575749 | 720 42889 140801 | 1 188164 29 | 0.000 % | 587.99/588.07 c | 3575849 | 720 42889 140801 | 1 188264 29 | 0.000 % | 587.99/588.07 c | 3576131 | 720 42889 140801 | 1 188546 29 | 0.000 % | 587.99/588.07 c | 3576231 | 720 42889 140801 | 1 188646 29 | 0.000 % | 587.99/588.07 c | 3587811 | 720 42889 140801 | 1 200226 30 | 0.000 % | 587.99/588.07 c | 3587911 | 720 42889 140801 | 1 200326 30 | 0.000 % | 587.99/588.07 c | 3588011 | 720 42889 140801 | 1 200426 30 | 0.000 % | 587.99/588.07 c | 3591557 | 720 42889 140801 | 1 203972 30 | 0.000 % | 587.99/588.07 c | 3592969 | 720 42889 140801 | 1 205384 30 | 0.000 % | 587.99/588.07 c | 3611083 | 720 42889 140801 | 1 223498 31 | 0.000 % | 587.99/588.07 c | 3619789 | 720 42889 140801 | 1 232204 32 | 0.000 % | 587.99/588.07 c | 3625505 | 720 42889 140801 | 1 237920 32 | 0.000 % | 587.99/588.07 c | 3626952 | 720 42889 140801 | 1 239367 32 | 0.000 % | 587.99/588.07 c | 3627098 | 720 42889 140801 | 1 239513 32 | 0.000 % | 587.99/588.07 c | 3629408 | 720 42889 140801 | 1 241823 32 | 0.000 % | 587.99/588.07 c | 3629966 | 720 42889 140801 | 1 242381 32 | 0.000 % | 587.99/588.07 c | 3634078 | 720 42889 140801 | 1 246493 33 | 0.000 % | 587.99/588.07 c | 3634181 | 720 42889 140801 | 1 246596 33 | 0.000 % | 587.99/588.07 c | 3641375 | 720 42889 140801 | 1 253790 33 | 0.000 % | 587.99/588.07 c | 3647619 | 720 42889 140801 | 1 260034 33 | 0.000 % | 587.99/588.07 c | 3650577 | 720 42889 140801 | 1 262992 33 | 0.000 % | 587.99/588.07 c | 3654995 | 720 42889 140801 | 1 267410 33 | 0.000 % | 587.99/588.07 c | 3655188 | 720 42889 140801 | 1 267603 33 | 0.000 % | 587.99/588.07 c | 3656779 | 720 42889 140801 | 1 135194 24 | 0.000 % | 587.99/588.07 c | 3657211 | 720 42889 140801 | 1 135626 24 | 0.000 % | 587.99/588.07 c | 3669922 | 720 42889 140801 | 1 148337 25 | 0.000 % | 587.99/588.07 c | 3674861 | 720 42889 140801 | 1 153276 26 | 0.000 % | 587.99/588.07 c | 3678154 | 720 42889 140801 | 1 156569 26 | 0.000 % | 587.99/588.07 c | 3678356 | 720 42889 140801 | 1 156771 26 | 0.000 % | 587.99/588.07 c | 3678459 | 720 42889 140801 | 1 156874 26 | 0.000 % | 587.99/588.07 c | 3682705 | 720 42889 140801 | 1 161120 26 | 0.000 % | 626.00/626.01 c | 3687525 | 720 42889 140801 | 1 165940 27 | 0.000 % | 626.00/626.01 c | 3687883 | 720 42889 140801 | 1 166298 27 | 0.000 % | 626.00/626.01 c | 3691151 | 720 42889 140801 | 1 169566 27 | 0.000 % | 626.00/626.01 c | 3691953 | 720 42889 140801 | 1 170368 27 | 0.000 % | 626.00/626.01 c | 3693125 | 720 42889 140801 | 1 171540 28 | 0.000 % | 626.00/626.01 c | 3693678 | 720 42889 140801 | 1 172093 28 | 0.000 % | 626.00/626.01 c | 3695311 | 720 42889 140801 | 1 173726 28 | 0.000 % | 626.00/626.01 c | 3697102 | 720 42889 140801 | 1 175517 28 | 0.000 % | 626.00/626.01 c | 3701788 | 720 42889 140801 | 1 180203 28 | 0.000 % | 626.00/626.01 c | 3704283 | 720 42889 140801 | 1 182698 28 | 0.000 % | 626.00/626.01 c | 3704412 | 720 42889 140801 | 1 182827 28 | 0.000 % | 626.00/626.01 c | 3709218 | 720 42889 140801 | 1 187633 29 | 0.000 % | 626.00/626.01 c | 3714230 | 720 42889 140801 | 1 192645 29 | 0.000 % | 626.00/626.01 c | 3714379 | 720 42889 140801 | 1 192794 29 | 0.000 % | 626.00/626.01 c | 3714522 | 720 42889 140801 | 1 192937 29 | 0.000 % | 626.00/626.01 c | 3714729 | 720 42889 140801 | 1 193144 29 | 0.000 % | 626.00/626.01 c | 3716326 | 720 42889 140801 | 1 194741 29 | 0.000 % | 626.00/626.01 c | 3738368 | 720 42889 140801 | 1 216783 31 | 0.000 % | 626.00/626.01 c | 3739712 | 720 42889 140801 | 1 218127 31 | 0.000 % | 626.00/626.01 c | 3739813 | 720 42889 140801 | 1 218228 31 | 0.000 % | 626.00/626.01 c | 3740596 | 720 42889 140801 | 1 219011 31 | 0.000 % | 626.00/626.01 c | 3753601 | 720 42889 140801 | 1 232016 32 | 0.000 % | 626.00/626.01 c | 3753702 | 720 42889 140801 | 1 232117 32 | 0.000 % | 626.00/626.01 c | 3753802 | 720 42889 140801 | 1 232217 32 | 0.000 % | 626.00/626.01 c | 3753902 | 720 42889 140801 | 1 232317 32 | 0.000 % | 626.00/626.01 c | 3754648 | 720 42889 140801 | 1 233063 32 | 0.000 % | 626.00/626.01 c | 3777070 | 720 42889 140801 | 1 255485 33 | 0.000 % | 626.00/626.01 c | 3782550 | 720 42889 140801 | 1 260965 33 | 0.000 % | 626.00/626.01 c | 3783933 | 720 42889 140801 | 1 262348 34 | 0.000 % | 626.00/626.01 c | 3784036 | 720 42889 140801 | 1 262451 34 | 0.000 % | 626.00/626.01 c | 3784884 | 720 42889 140801 | 1 263299 34 | 0.000 % | 626.00/626.01 c | 3787083 | 720 42889 140801 | 1 265498 34 | 0.000 % | 626.00/626.01 c | 3787407 | 720 42889 140801 | 1 265822 34 | 0.000 % | 626.00/626.01 c | 3793354 | 720 42889 140801 | 1 271769 34 | 0.000 % | 626.00/626.01 c | 3793455 | 720 42889 140801 | 1 271870 34 | 0.000 % | 626.00/626.01 c | 3794647 | 720 42889 140801 | 1 273062 34 | 0.000 % | 626.00/626.01 c | 3797203 | 720 42889 140801 | 1 139017 24 | 0.000 % | 626.00/626.01 c | 3804105 | 720 42889 140801 | 1 145919 25 | 0.000 % | 626.00/626.01 c | 3810447 | 720 42889 140801 | 1 152261 25 | 0.000 % | 626.00/626.01 c | 3816198 | 720 42889 140801 | 1 158012 26 | 0.000 % | 626.00/626.01 c | 3817151 | 720 42889 140801 | 1 158965 26 | 0.000 % | 626.00/626.01 c | 3817676 | 720 42889 140801 | 1 159490 26 | 0.000 % | 626.00/626.01 c | 3818564 | 720 42889 140801 | 1 160378 26 | 0.000 % | 626.00/626.01 c | 3818667 | 720 42889 140801 | 1 160481 26 | 0.000 % | 626.00/626.01 c | 3826098 | 720 42889 140801 | 1 167912 27 | 0.000 % | 626.00/626.01 c | 3852930 | 720 42889 140801 | 1 194744 28 | 0.000 % | 626.00/626.01 c | 3858912 | 720 42889 140801 | 1 200726 29 | 0.000 % | 626.00/626.01 c | 3871182 | 720 42889 140801 | 1 212996 29 | 0.000 % | 626.00/626.01 c | 3872019 | 720 42889 140801 | 1 213833 29 | 0.000 % | 626.00/626.01 c | 3894791 | 720 42889 140801 | 1 236605 31 | 0.000 % | 689.19/689.25 c | 3897600 | 720 42889 140801 | 1 239414 31 | 0.000 % | 689.19/689.25 c | 3898178 | 720 42889 140801 | 1 239992 31 | 0.000 % | 689.19/689.25 c | 3906166 | 720 42889 140801 | 1 247980 32 | 0.000 % | 689.19/689.25 c | 3913314 | 720 42889 140801 | 1 255128 32 | 0.000 % | 689.19/689.25 c | 3913415 | 720 42889 140801 | 1 255229 32 | 0.000 % | 689.19/689.25 c | 3921044 | 720 42889 140801 | 1 262858 33 | 0.000 % | 689.19/689.25 c | 3929676 | 720 42889 140801 | 1 271490 33 | 0.000 % | 689.19/689.25 c | 3930034 | 720 42889 140801 | 1 271848 33 | 0.000 % | 689.19/689.25 c | 3936259 | 720 42889 140801 | 1 278073 33 | 0.000 % | 689.19/689.25 c | 3938355 | 720 42889 140801 | 1 140972 24 | 0.000 % | 689.19/689.25 c | 3944968 | 720 42889 140801 | 1 147585 25 | 0.000 % | 689.19/689.25 c | 3950074 | 720 42889 140801 | 1 152691 25 | 0.000 % | 689.19/689.25 c | 3952460 | 720 42889 140801 | 1 155077 25 | 0.000 % | 689.19/689.25 c | 3960354 | 720 42889 140801 | 1 162971 26 | 0.000 % | 689.19/689.25 c | 3962692 | 720 42889 140801 | 1 165309 27 | 0.000 % | 689.19/689.25 c | 3985919 | 720 42889 140801 | 1 188536 28 | 0.000 % | 689.19/689.25 c | 4010036 | 720 42889 140801 | 1 212653 29 | 0.000 % | 689.19/689.25 c | 4019836 | 720 42889 140801 | 1 222453 30 | 0.000 % | 689.19/689.25 c | 4029180 | 720 42889 140801 | 1 231797 30 | 0.000 % | 689.19/689.25 c | 4029373 | 720 42889 140801 | 1 231990 30 | 0.000 % | 689.19/689.25 c | 4051449 | 720 42889 140801 | 1 254066 32 | 0.000 % | 689.19/689.25 c | 4064429 | 720 42889 140801 | 1 267046 32 | 0.000 % | 689.19/689.25 c | 4066078 | 720 42889 140801 | 1 268695 32 | 0.000 % | 689.19/689.25 c | 4068716 | 720 42889 140801 | 1 271333 32 | 0.000 % | 689.19/689.25 c | 4068957 | 720 42889 140801 | 1 271574 32 | 0.000 % | 689.19/689.25 c | 4078723 | 720 42889 140801 | 1 281340 33 | 0.000 % | 689.19/689.25 c | 4080115 | 720 42889 140801 | 1 282732 33 | 0.000 % | 689.19/689.25 c | 4080730 | 720 42889 140801 | 1 283347 33 | 0.000 % | 689.19/689.25 c | 4080830 | 720 42889 140801 | 1 283447 33 | 0.000 % | 689.19/689.25 c | 4084713 | 720 42889 140801 | 1 145531 24 | 0.000 % | 689.19/689.25 c | 4084813 | 720 42889 140801 | 1 145631 24 | 0.000 % | 689.19/689.25 c | 4099672 | 720 42889 140801 | 1 160490 26 | 0.000 % | 689.19/689.25 c | 4124240 | 720 42889 140801 | 1 185058 28 | 0.000 % | 689.19/689.25 c | 4129433 | 720 42889 140801 | 1 190251 28 | 0.000 % | 689.19/689.25 c | 4153521 | 720 42889 140801 | 1 214339 30 | 0.000 % | 689.19/689.25 c | 4154007 | 720 42889 140801 | 1 214825 30 | 0.000 % | 689.19/689.25 c | 4161741 | 720 42889 140801 | 1 222559 30 | 0.000 % | 689.19/689.25 c | 4167094 | 720 42889 140801 | 1 227912 31 | 0.000 % | 689.19/689.25 c | 4173187 | 720 42889 140801 | 1 234005 31 | 0.000 % | 689.19/689.25 c | 4188599 | 720 42889 140801 | 1 249417 32 | 0.000 % | 689.19/689.25 c | 4190704 | 720 42889 140801 | 1 251522 32 | 0.000 % | 689.19/689.25 c | 4205194 | 720 42889 140801 | 1 266012 33 | 0.000 % | 689.19/689.25 c | 4206857 | 720 42889 140801 | 1 267675 33 | 0.000 % | 689.19/689.25 c | 4214241 | 720 42889 140801 | 1 275059 33 | 0.000 % | 689.19/689.25 c | 4214799 | 720 42889 140801 | 1 275617 33 | 0.000 % | 689.19/689.25 c | 4215035 | 720 42889 140801 | 1 275853 33 | 0.000 % | 689.19/689.25 c | 4219778 | 720 42889 140801 | 1 280596 33 | 0.000 % | 689.19/689.25 c | 4234620 | 720 42889 140801 | 1 151040 24 | 0.000 % | 689.19/689.25 c | 4236557 | 720 42889 140801 | 1 152977 25 | 0.000 % | 689.19/689.25 c | 4246319 | 720 42889 140801 | 1 162739 26 | 0.000 % | 745.40/745.42 c | 4247661 | 720 42889 140801 | 1 164081 26 | 0.000 % | 745.40/745.42 c | 4248005 | 720 42889 140801 | 1 164425 26 | 0.000 % | 745.40/745.42 c | 4258385 | 720 42889 140801 | 1 174805 27 | 0.000 % | 745.40/745.42 c | 4261258 | 720 42889 140801 | 1 177678 27 | 0.000 % | 745.40/745.42 c | 4286128 | 720 42889 140801 | 1 202548 29 | 0.000 % | 745.40/745.42 c | 4286358 | 720 42889 140801 | 1 202778 29 | 0.000 % | 745.40/745.42 c | 4292599 | 720 42889 140801 | 1 209019 29 | 0.000 % | 745.40/745.42 c | 4294232 | 720 42889 140801 | 1 210652 29 | 0.000 % | 745.40/745.42 c | 4298719 | 720 42889 140801 | 1 215139 30 | 0.000 % | 745.40/745.42 c | 4302841 | 720 42889 140801 | 1 219261 30 | 0.000 % | 745.40/745.42 c | 4317113 | 720 42889 140801 | 1 233533 32 | 0.000 % | 745.40/745.42 c | 4317306 | 720 42889 140801 | 1 233726 32 | 0.000 % | 745.40/745.42 c | 4326600 | 720 42889 140801 | 1 243020 32 | 0.000 % | 745.40/745.42 c | 4340665 | 720 42889 140801 | 1 257085 33 | 0.000 % | 745.40/745.42 c | 4343159 | 720 42889 140801 | 1 259579 33 | 0.000 % | 745.40/745.42 c | 4343261 | 720 42889 140801 | 1 259681 33 | 0.000 % | 745.40/745.42 c | 4350886 | 720 42889 140801 | 1 267306 33 | 0.000 % | 745.40/745.42 c | 4351714 | 720 42889 140801 | 1 268134 33 | 0.000 % | 745.40/745.42 c | 4366888 | 720 42889 140801 | 1 283308 34 | 0.000 % | 745.40/745.42 c | 4370416 | 720 42889 140801 | 1 286836 34 | 0.000 % | 745.40/745.42 c | 4372201 | 720 42889 140801 | 1 288621 34 | 0.000 % | 745.40/745.42 c | 4375589 | 720 42889 140801 | 1 292009 34 | 0.000 % | 745.40/745.42 c | 4380035 | 720 42889 140801 | 1 149452 24 | 0.000 % | 745.40/745.42 c | 4397264 | 720 42889 140801 | 1 166681 26 | 0.000 % | 745.40/745.42 c | 4405070 | 720 42889 140801 | 1 174487 27 | 0.000 % | 745.40/745.42 c | 4406953 | 720 42889 140801 | 1 176370 27 | 0.000 % | 745.40/745.42 c | 4414589 | 720 42889 140801 | 1 184006 27 | 0.000 % | 745.40/745.42 c | 4415278 | 720 42889 140801 | 1 184695 27 | 0.000 % | 745.40/745.42 c | 4419100 | 720 42889 140801 | 1 188517 28 | 0.000 % | 745.40/745.42 c | 4421883 | 720 42889 140801 | 1 191300 28 | 0.000 % | 745.40/745.42 c | 4428370 | 720 42889 140801 | 1 197787 28 | 0.000 % | 745.40/745.42 c | 4432585 | 720 42889 140801 | 1 202002 28 | 0.000 % | 745.40/745.42 c | 4433079 | 720 42889 140801 | 1 202496 28 | 0.000 % | 745.40/745.42 c | 4445830 | 720 42889 140801 | 1 215247 29 | 0.000 % | 745.40/745.42 c | 4447856 | 720 42889 140801 | 1 217273 29 | 0.000 % | 745.40/745.42 c | 4451529 | 720 42889 140801 | 1 220946 30 | 0.000 % | 745.40/745.42 c | 4462675 | 720 42889 140801 | 1 232092 30 | 0.000 % | 745.40/745.42 c | 4473526 | 720 42889 140801 | 1 242943 31 | 0.000 % | 745.40/745.42 c | 4479874 | 720 42889 140801 | 1 249291 31 | 0.000 % | 745.40/745.42 c | 4496117 | 720 42889 140801 | 1 265534 32 | 0.000 % | 745.40/745.42 c | 4496217 | 720 42889 140801 | 1 265634 32 | 0.000 % | 745.40/745.42 c | 4503454 | 720 42889 140801 | 1 272871 33 | 0.000 % | 745.40/745.42 c | 4504813 | 720 42889 140801 | 1 274230 33 | 0.000 % | 745.40/745.42 c | 4529306 | 720 42889 140801 | 1 298723 34 | 0.000 % | 745.40/745.42 c | 4529429 | 720 42889 140801 | 1 298846 34 | 0.000 % | 745.40/745.42 c | 4530549 | 720 42889 140801 | 1 150367 24 | 0.000 % | 745.40/745.42 c | 4531358 | 720 42889 140801 | 1 151176 24 | 0.000 % | 745.40/745.42 c | 4541946 | 720 42889 140801 | 1 161764 25 | 0.000 % | 745.40/745.42 c | 4551972 | 720 42889 140801 | 1 171790 27 | 0.000 % | 745.40/745.42 c | 4553181 | 720 42889 140801 | 1 172999 27 | 0.000 % | 794.30/794.32 c | 4577103 | 720 42889 140801 | 1 196921 28 | 0.000 % | 794.30/794.32 c | 4582760 | 720 42889 140801 | 1 202578 28 | 0.000 % | 794.30/794.32 c | 4584029 | 720 42889 140801 | 1 203847 29 | 0.000 % | 794.30/794.32 c | 4588723 | 720 42889 140801 | 1 208541 29 | 0.000 % | 794.30/794.32 c | 4593393 | 720 42889 140801 | 1 213211 29 | 0.000 % | 794.30/794.32 c | 4593494 | 720 42889 140801 | 1 213312 29 | 0.000 % | 794.30/794.32 c | 4596205 | 720 42889 140801 | 1 216023 29 | 0.000 % | 794.30/794.32 c | 4596352 | 720 42889 140801 | 1 216170 29 | 0.000 % | 794.30/794.32 c | 4597591 | 720 42889 140801 | 1 217409 30 | 0.000 % | 794.30/794.32 c | 4604557 | 720 42889 140801 | 1 224375 30 | 0.000 % | 794.30/794.32 c | 4611560 | 720 42889 140801 | 1 231378 30 | 0.000 % | 794.30/794.32 c | 4618948 | 720 42889 140801 | 1 238766 31 | 0.000 % | 794.30/794.32 c | 4633376 | 720 42889 140801 | 1 253194 32 | 0.000 % | 794.30/794.32 c | 4633532 | 720 42889 140801 | 1 253350 32 | 0.000 % | 794.30/794.32 c | 4634212 | 720 42889 140801 | 1 254030 32 | 0.000 % | 794.30/794.32 c | 4640807 | 720 42889 140801 | 1 260625 32 | 0.000 % | 794.30/794.32 c | 4643010 | 720 42889 140801 | 1 262828 32 | 0.000 % | 794.30/794.32 c | 4654196 | 720 42889 140801 | 1 274014 33 | 0.000 % | 794.30/794.32 c | 4661156 | 720 42889 140801 | 1 280974 33 | 0.000 % | 794.30/794.32 c | 4667595 | 720 42889 140801 | 1 287413 34 | 0.000 % | 794.30/794.32 c | 4667695 | 720 42889 140801 | 1 287513 34 | 0.000 % | 794.30/794.32 c | 4669586 | 720 42889 140801 | 1 289404 34 | 0.000 % | 794.30/794.32 c | 4670081 | 720 42889 140801 | 1 289899 34 | 0.000 % | 794.30/794.32 c | 4671058 | 720 42889 140801 | 1 290876 34 | 0.000 % | 794.30/794.32 c | 4671158 | 720 42889 140801 | 1 290976 34 | 0.000 % | 794.30/794.32 c | 4673542 | 720 42889 140801 | 1 293360 34 | 0.000 % | 794.30/794.32 c | 4673795 | 720 42889 140801 | 1 293613 34 | 0.000 % | 794.30/794.32 c | 4676875 | 720 42889 140801 | 1 296693 34 | 0.000 % | 794.30/794.32 c | 4685216 | 720 42889 140801 | 1 152835 24 | 0.000 % | 794.30/794.32 c | 4700565 | 720 42889 140801 | 1 168184 25 | 0.000 % | 794.30/794.32 c | 4701626 | 720 42889 140801 | 1 169245 25 | 0.000 % | 794.30/794.32 c | 4709461 | 720 42889 140801 | 1 177080 26 | 0.000 % | 794.30/794.32 c | 4733526 | 720 42889 140801 | 1 201145 28 | 0.000 % | 794.30/794.32 c | 4733627 | 720 42889 140801 | 1 201246 28 | 0.000 % | 794.30/794.32 c | 4739630 | 720 42889 140801 | 1 207249 29 | 0.000 % | 794.30/794.32 c | 4760599 | 720 42889 140801 | 1 228218 30 | 0.000 % | 794.30/794.32 c | 4763624 | 720 42889 140801 | 1 231243 31 | 0.000 % | 794.30/794.32 c | 4767818 | 720 42889 140801 | 1 235437 31 | 0.000 % | 794.30/794.32 c | 4772157 | 720 42889 140801 | 1 239776 31 | 0.000 % | 794.30/794.32 c | 4774721 | 720 42889 140801 | 1 242340 31 | 0.000 % | 794.30/794.32 c | 4790162 | 720 42889 140801 | 1 257781 32 | 0.000 % | 794.30/794.32 c | 4790304 | 720 42889 140801 | 1 257923 32 | 0.000 % | 794.30/794.32 c | 4792144 | 720 42889 140801 | 1 259763 32 | 0.000 % | 794.30/794.32 c | 4793712 | 720 42889 140801 | 1 261331 32 | 0.000 % | 794.30/794.32 c | 4795562 | 720 42889 140801 | 1 263181 32 | 0.000 % | 794.30/794.32 c | 4795669 | 720 42889 140801 | 1 263288 32 | 0.000 % | 794.30/794.32 c | 4798798 | 720 42889 140801 | 1 266417 32 | 0.000 % | 794.30/794.32 c | 4799896 | 720 42889 140801 | 1 267515 32 | 0.000 % | 794.30/794.32 c | 4800146 | 720 42889 140801 | 1 267765 32 | 0.000 % | 794.30/794.32 c | 4804641 | 720 42889 140801 | 1 272260 32 | 0.000 % | 842.79/842.87 c | 4805249 | 720 42889 140801 | 1 272868 32 | 0.000 % | 842.79/842.87 c | 4805489 | 720 42889 140801 | 1 273108 32 | 0.000 % | 842.79/842.87 c | 4805764 | 720 42889 140801 | 1 273383 32 | 0.000 % | 842.79/842.87 c | 4805864 | 720 42889 140801 | 1 273483 32 | 0.000 % | 842.79/842.87 c | 4806225 | 720 42889 140801 | 1 273844 32 | 0.000 % | 842.79/842.87 c | 4809763 | 720 42889 140801 | 1 277382 33 | 0.000 % | 842.79/842.87 c | 4816909 | 720 42889 140801 | 1 284528 33 | 0.000 % | 842.79/842.87 c | 4819845 | 720 42889 140801 | 1 287464 33 | 0.000 % | 842.79/842.87 c | 4819946 | 720 42889 140801 | 1 287565 33 | 0.000 % | 842.79/842.87 c | 4841034 | 720 42889 140801 | 1 308653 34 | 0.000 % | 842.79/842.87 c | 4845385 | 720 42889 140801 | 1 158201 24 | 0.000 % | 842.79/842.87 c | 4856315 | 720 42889 140801 | 1 169131 26 | 0.000 % | 842.79/842.87 c | 4856768 | 720 42889 140801 | 1 169584 26 | 0.000 % | 842.79/842.87 c | 4866085 | 720 42889 140801 | 1 178901 27 | 0.000 % | 842.79/842.87 c | 4874400 | 720 42889 140801 | 1 187216 27 | 0.000 % | 842.79/842.87 c | 4882067 | 720 42889 140801 | 1 194883 28 | 0.000 % | 842.79/842.87 c | 4884594 | 720 42889 140801 | 1 197410 28 | 0.000 % | 842.79/842.87 c | 4886749 | 720 42889 140801 | 1 199565 29 | 0.000 % | 842.79/842.87 c | 4887013 | 720 42889 140801 | 1 199829 29 | 0.000 % | 842.79/842.87 c | 4888095 | 720 42889 140801 | 1 200911 29 | 0.000 % | 842.79/842.87 c | 4891595 | 720 42889 140801 | 1 204411 29 | 0.000 % | 842.79/842.87 c | 4892961 | 720 42889 140801 | 1 205777 29 | 0.000 % | 842.79/842.87 c | 4893065 | 720 42889 140801 | 1 205881 29 | 0.000 % | 842.79/842.87 c | 4893165 | 720 42889 140801 | 1 205981 29 | 0.000 % | 842.79/842.87 c | 4893499 | 720 42889 140801 | 1 206315 29 | 0.000 % | 842.79/842.87 c | 4901171 | 720 42889 140801 | 1 213987 29 | 0.000 % | 842.79/842.87 c | 4909722 | 720 42889 140801 | 1 222538 30 | 0.000 % | 842.79/842.87 c | 4918601 | 720 42889 140801 | 1 231417 30 | 0.000 % | 842.79/842.87 c | 4918701 | 720 42889 140801 | 1 231517 30 | 0.000 % | 842.79/842.87 c | 4919731 | 720 42889 140801 | 1 232547 30 | 0.000 % | 842.79/842.87 c | 4930671 | 720 42889 140801 | 1 243487 30 | 0.000 % | 842.79/842.87 c | 4933341 | 720 42889 140801 | 1 246157 30 | 0.000 % | 842.79/842.87 c | 4942091 | 720 42889 140801 | 1 254907 31 | 0.000 % | 842.79/842.87 c | 4951250 | 720 42889 140801 | 1 264066 31 | 0.000 % | 842.79/842.87 c | 4954610 | 720 42889 140801 | 1 267426 31 | 0.000 % | 842.79/842.87 c | 4967536 | 720 42889 140801 | 1 280352 32 | 0.000 % | 842.79/842.87 c | 4969211 | 720 42889 140801 | 1 282027 32 | 0.000 % | 842.79/842.87 c | 4979691 | 720 42889 140801 | 1 292507 33 | 0.000 % | 842.79/842.87 c | 4985069 | 720 42889 140801 | 1 297885 33 | 0.000 % | 842.79/842.87 c | 4985307 | 720 42889 140801 | 1 298123 33 | 0.000 % | 842.79/842.87 c | 4990148 | 720 42889 140801 | 1 302964 33 | 0.000 % | 842.79/842.87 c | 5019289 | 720 42889 140801 | 1 174707 25 | 0.000 % | 842.79/842.87 c | 5026079 | 720 42889 140801 | 1 181497 26 | 0.000 % | 842.79/842.87 c | 5030763 | 720 42889 140801 | 1 186181 26 | 0.000 % | 842.79/842.87 c | 5036988 | 720 42889 140801 | 1 192406 27 | 0.000 % | 842.79/842.87 c | 5037088 | 720 42889 140801 | 1 192506 27 | 0.000 % | 842.79/842.87 c | 5037204 | 720 42889 140801 | 1 192622 27 | 0.000 % | 842.79/842.87 c | 5037561 | 720 42889 140801 | 1 192979 27 | 0.000 % | 842.79/842.87 c | 5051409 | 720 42889 140801 | 1 206827 28 | 0.000 % | 842.79/842.87 c | 5058861 | 720 42889 140801 | 1 214279 29 | 0.000 % | 911.80/911.86 c | 5060147 | 720 42889 140801 | 1 215565 29 | 0.000 % | 911.80/911.86 c | 5073320 | 720 42889 140801 | 1 228738 30 | 0.000 % | 911.80/911.86 c | 5075385 | 720 42889 140801 | 1 230803 30 | 0.000 % | 911.80/911.86 c | 5076632 | 720 42889 140801 | 1 232050 31 | 0.000 % | 911.80/911.86 c | 5097340 | 720 42889 140801 | 1 252758 32 | 0.000 % | 911.80/911.86 c | 5097619 | 720 42889 140801 | 1 253037 32 | 0.000 % | 911.80/911.86 c | 5100503 | 720 42889 140801 | 1 255921 32 | 0.000 % | 911.80/911.86 c | 5101716 | 720 42889 140801 | 1 257134 32 | 0.000 % | 911.80/911.86 c | 5107308 | 720 42889 140801 | 1 262726 32 | 0.000 % | 911.80/911.86 c | 5107410 | 720 42889 140801 | 1 262828 32 | 0.000 % | 911.80/911.86 c | 5113321 | 720 42889 140801 | 1 268739 32 | 0.000 % | 911.80/911.86 c | 5126125 | 720 42889 140801 | 1 281543 33 | 0.000 % | 911.80/911.86 c | 5126231 | 720 42889 140801 | 1 281649 33 | 0.000 % | 911.80/911.86 c | 5135764 | 720 42889 140801 | 1 291182 33 | 0.000 % | 911.80/911.86 c | 5149635 | 720 42889 140801 | 1 305053 33 | 0.000 % | 911.80/911.86 c | 5156140 | 720 42889 140801 | 1 311558 33 | 0.000 % | 911.80/911.86 c | 5160305 | 720 42889 140801 | 1 315723 33 | 0.000 % | 911.80/911.86 c | 5161454 | 720 42889 140801 | 1 316872 33 | 0.000 % | 911.80/911.86 c | 5164325 | 720 42889 140801 | 1 319743 33 | 0.000 % | 911.80/911.86 c | 5164426 | 720 42889 140801 | 1 319844 33 | 0.000 % | 911.80/911.86 c | 5164526 | 720 42889 140801 | 1 319944 33 | 0.000 % | 911.80/911.86 c | 5176540 | 720 42889 140801 | 1 171953 24 | 0.000 % | 911.80/911.86 c | 5177495 | 720 42889 140801 | 1 172908 25 | 0.000 % | 911.80/911.86 c | 5191042 | 720 42889 140801 | 1 186455 26 | 0.000 % | 911.80/911.86 c | 5209579 | 720 42889 140801 | 1 204992 27 | 0.000 % | 911.80/911.86 c | 5210921 | 720 42889 140801 | 1 206334 27 | 0.000 % | 911.80/911.86 c | 5211022 | 720 42889 140801 | 1 206435 27 | 0.000 % | 911.80/911.86 c | 5216065 | 720 42889 140801 | 1 211478 28 | 0.000 % | 911.80/911.86 c | 5216304 | 720 42889 140801 | 1 211717 28 | 0.000 % | 911.80/911.86 c | 5216405 | 720 42889 140801 | 1 211818 28 | 0.000 % | 911.80/911.86 c | 5232779 | 720 42889 140801 | 1 228192 29 | 0.000 % | 911.80/911.86 c | 5237257 | 720 42889 140801 | 1 232670 29 | 0.000 % | 911.80/911.86 c | 5239016 | 720 42889 140801 | 1 234429 29 | 0.000 % | 911.80/911.86 c | 5239116 | 720 42889 140801 | 1 234529 29 | 0.000 % | 911.80/911.86 c | 5249720 | 720 42889 140801 | 1 245133 29 | 0.000 % | 911.80/911.86 c | 5266901 | 720 42889 140801 | 1 262314 30 | 0.000 % | 911.80/911.86 c | 5287463 | 720 42889 140801 | 1 282876 31 | 0.000 % | 911.80/911.86 c | 5289305 | 720 42889 140801 | 1 284718 31 | 0.000 % | 911.80/911.86 c | 5290611 | 720 42889 140801 | 1 286024 31 | 0.000 % | 911.80/911.86 c | 5302864 | 720 42889 140801 | 1 298277 32 | 0.000 % | 911.80/911.86 c | 5309390 | 720 42889 140801 | 1 304803 32 | 0.000 % | 911.80/911.86 c | 5310335 | 720 42889 140801 | 1 305748 32 | 0.000 % | 911.80/911.86 c | 5311203 | 720 42889 140801 | 1 306616 32 | 0.000 % | 911.80/911.86 c | 5316911 | 720 42889 140801 | 1 312324 32 | 0.000 % | 911.80/911.86 c | 5317534 | 720 42889 140801 | 1 312947 32 | 0.000 % | 911.80/911.86 c | 5324468 | 720 42889 140801 | 1 319881 32 | 0.000 % | 911.80/911.86 c | 5364339 | 720 42889 140801 | 1 197160 26 | 0.000 % | 911.80/911.86 c | 5366326 | 720 42889 140801 | 1 199147 26 | 0.000 % | 911.80/911.86 c | 5371296 | 720 42889 140801 | 1 204117 27 | 0.000 % | 911.80/911.86 c | 5377257 | 720 42889 140801 | 1 210078 27 | 0.000 % | 964.71/964.78 c | 5387135 | 720 42889 140801 | 1 219956 28 | 0.000 % | 964.71/964.78 c | 5397775 | 720 42889 140801 | 1 230596 28 | 0.000 % | 964.71/964.78 c | 5401984 | 720 42889 140801 | 1 234805 28 | 0.000 % | 964.71/964.78 c | 5402085 | 720 42889 140801 | 1 234906 29 | 0.000 % | 964.71/964.78 c | 5402185 | 720 42889 140801 | 1 235006 29 | 0.000 % | 964.71/964.78 c | 5405881 | 720 42889 140801 | 1 238702 29 | 0.000 % | 964.71/964.78 c | 5405982 | 720 42889 140801 | 1 238803 29 | 0.000 % | 964.71/964.78 c | 5406111 | 720 42889 140801 | 1 238932 29 | 0.000 % | 964.71/964.78 c | 5407869 | 720 42889 140801 | 1 240690 29 | 0.000 % | 964.71/964.78 c | 5424085 | 720 42889 140801 | 1 256906 30 | 0.000 % | 964.71/964.78 c | 5428166 | 720 42889 140801 | 1 260987 31 | 0.000 % | 964.71/964.78 c | 5428267 | 720 42889 140801 | 1 261088 31 | 0.000 % | 964.71/964.78 c | 5428367 | 720 42889 140801 | 1 261188 31 | 0.000 % | 964.71/964.78 c | 5429085 | 720 42889 140801 | 1 261906 31 | 0.000 % | 964.71/964.78 c | 5448591 | 720 42889 140801 | 1 281412 32 | 0.000 % | 964.71/964.78 c | 5449539 | 720 42889 140801 | 1 282360 32 | 0.000 % | 964.71/964.78 c | 5451752 | 720 42889 140801 | 1 284573 32 | 0.000 % | 964.71/964.78 c | 5457442 | 720 42889 140801 | 1 290263 32 | 0.000 % | 964.71/964.78 c | 5465380 | 720 42889 140801 | 1 298201 33 | 0.000 % | 964.71/964.78 c | 5465483 | 720 42889 140801 | 1 298304 33 | 0.000 % | 964.71/964.78 c | 5465583 | 720 42889 140801 | 1 298404 33 | 0.000 % | 964.71/964.78 c | 5465974 | 720 42889 140801 | 1 298795 33 | 0.000 % | 964.71/964.78 c | 5470179 | 720 42889 140801 | 1 303000 33 | 0.000 % | 964.71/964.78 c | 5471023 | 720 42889 140801 | 1 303844 33 | 0.000 % | 964.71/964.78 c | 5471123 | 720 42889 140801 | 1 303944 33 | 0.000 % | 964.71/964.78 c | 5476801 | 720 42889 140801 | 1 309622 33 | 0.000 % | 964.71/964.78 c | 5476903 | 720 42889 140801 | 1 309724 33 | 0.000 % | 964.71/964.78 c | 5477199 | 720 42889 140801 | 1 310020 33 | 0.000 % | 964.71/964.78 c | 5482931 | 720 42889 140801 | 1 315752 33 | 0.000 % | 964.71/964.78 c | 5484762 | 720 42889 140801 | 1 317583 33 | 0.000 % | 964.71/964.78 c | 5493812 | 720 42889 140801 | 1 326633 33 | 0.000 % | 964.71/964.78 c | 5499634 | 720 42889 140801 | 1 167251 24 | 0.000 % | 964.71/964.78 c | 5503703 | 720 42889 140801 | 1 171320 24 | 0.000 % | 964.71/964.78 c | 5505290 | 720 42889 140801 | 1 172907 24 | 0.000 % | 964.71/964.78 c | 5512056 | 720 42889 140801 | 1 179673 25 | 0.000 % | 964.71/964.78 c | 5516431 | 720 42889 140801 | 1 184048 25 | 0.000 % | 964.71/964.78 c | 5522522 | 720 42889 140801 | 1 190139 25 | 0.000 % | 964.71/964.78 c | 5527690 | 720 42889 140801 | 1 195307 26 | 0.000 % | 964.71/964.78 c | 5578312 | 720 42889 140801 | 1 245929 29 | 0.000 % | 964.71/964.78 c | 5579106 | 720 42889 140801 | 1 246723 29 | 0.000 % | 964.71/964.78 c | 5583408 | 720 42889 140801 | 1 251025 30 | 0.000 % | 964.71/964.78 c | 5583549 | 720 42889 140801 | 1 251166 30 | 0.000 % | 964.71/964.78 c | 5584383 | 720 42889 140801 | 1 252000 30 | 0.000 % | 964.71/964.78 c | 5585601 | 720 42889 140801 | 1 253218 30 | 0.000 % | 964.71/964.78 c | 5609683 | 720 42889 140801 | 1 277300 31 | 0.000 % | 964.71/964.78 c | 5611707 | 720 42889 140801 | 1 279324 31 | 0.000 % | 964.71/964.78 c | 5615792 | 720 42889 140801 | 1 283409 31 | 0.000 % | 964.71/964.78 c | 5618458 | 720 42889 140801 | 1 286075 31 | 0.000 % | 964.71/964.78 c | 5619483 | 720 42889 140801 | 1 287100 31 | 0.000 % | 964.71/964.78 c | 5620838 | 720 42889 140801 | 1 288455 31 | 0.000 % | 1027.90/1027.94 c | 5636746 | 720 42889 140801 | 1 304363 32 | 0.000 % | 1027.90/1027.94 c | 5640337 | 720 42889 140801 | 1 307954 32 | 0.000 % | 1027.90/1027.94 c | 5643446 | 720 42889 140801 | 1 311063 32 | 0.000 % | 1027.90/1027.94 c | 5666791 | 720 42889 140801 | 1 334408 33 | 0.000 % | 1027.90/1027.94 c | 5666892 | 720 42889 140801 | 1 334509 33 | 0.000 % | 1027.90/1027.94 c | 5667615 | 720 42889 140801 | 1 335232 33 | 0.000 % | 1027.90/1027.94 c | 5670245 | 720 42889 140801 | 1 170063 24 | 0.000 % | 1027.90/1027.94 c | 5681923 | 720 42889 140801 | 1 181741 25 | 0.000 % | 1027.90/1027.94 c | 5687603 | 720 42889 140801 | 1 187421 26 | 0.000 % | 1027.90/1027.94 c | 5696624 | 720 42889 140801 | 1 196442 26 | 0.000 % | 1027.90/1027.94 c | 5704188 | 720 42889 140801 | 1 204006 27 | 0.000 % | 1027.90/1027.94 c | 5706964 | 720 42889 140801 | 1 206782 27 | 0.000 % | 1027.90/1027.94 c | 5719491 | 720 42889 140801 | 1 219309 28 | 0.000 % | 1027.90/1027.94 c | 5720068 | 720 42889 140801 | 1 219886 28 | 0.000 % | 1027.90/1027.94 c | 5721940 | 720 42889 140801 | 1 221758 28 | 0.000 % | 1027.90/1027.94 c | 5724069 | 720 42889 140801 | 1 223887 28 | 0.000 % | 1027.90/1027.94 c | 5725480 | 720 42889 140801 | 1 225298 28 | 0.000 % | 1027.90/1027.94 c | 5726111 | 720 42889 140801 | 1 225929 28 | 0.000 % | 1027.90/1027.94 c | 5746451 | 720 42889 140801 | 1 246269 30 | 0.000 % | 1027.90/1027.94 c | 5746551 | 720 42889 140801 | 1 246369 30 | 0.000 % | 1027.90/1027.94 c | 5751286 | 720 42889 140801 | 1 251104 30 | 0.000 % | 1027.90/1027.94 c | 5753854 | 720 42889 140801 | 1 253672 30 | 0.000 % | 1027.90/1027.94 c | 5755958 | 720 42889 140801 | 1 255776 30 | 0.000 % | 1027.90/1027.94 c | 5768750 | 720 42889 140801 | 1 268568 31 | 0.000 % | 1027.90/1027.94 c | 5771737 | 720 42889 140801 | 1 271555 31 | 0.000 % | 1027.90/1027.94 c | 5771839 | 720 42889 140801 | 1 271657 31 | 0.000 % | 1027.90/1027.94 c | 5776968 | 720 42889 140801 | 1 276786 31 | 0.000 % | 1027.90/1027.94 c | 5787168 | 720 42889 140801 | 1 286986 31 | 0.000 % | 1027.90/1027.94 c | 5789453 | 720 42889 140801 | 1 289271 31 | 0.000 % | 1027.90/1027.94 c | 5811054 | 720 42889 140801 | 1 310872 32 | 0.000 % | 1027.90/1027.94 c | 5811953 | 720 42889 140801 | 1 311771 32 | 0.000 % | 1027.90/1027.94 c | 5817486 | 720 42889 140801 | 1 317304 32 | 0.000 % | 1027.90/1027.94 c | 5818713 | 720 42889 140801 | 1 318531 32 | 0.000 % | 1027.90/1027.94 c | 5823627 | 720 42889 140801 | 1 323445 32 | 0.000 % | 1027.90/1027.94 c | 5828590 | 720 42889 140801 | 1 328408 33 | 0.000 % | 1027.90/1027.94 c | 5834046 | 720 42889 140801 | 1 333864 33 | 0.000 % | 1027.90/1027.94 c | 5844749 | 720 42889 140801 | 1 174166 24 | 0.000 % | 1027.90/1027.94 c | 5847306 | 720 42889 140801 | 1 176723 24 | 0.000 % | 1027.90/1027.94 c | 5848976 | 720 42889 140801 | 1 178393 24 | 0.000 % | 1027.90/1027.94 c | 5849296 | 720 42889 140801 | 1 178713 24 | 0.000 % | 1027.90/1027.94 c | 5851292 | 720 42889 140801 | 1 180709 24 | 0.000 % | 1027.90/1027.94 c | 5864454 | 720 42889 140801 | 1 193871 26 | 0.000 % | 1027.90/1027.94 c | 5870347 | 720 42889 140801 | 1 199764 26 | 0.000 % | 1027.90/1027.94 c | 5872614 | 720 42889 140801 | 1 202031 27 | 0.000 % | 1027.90/1027.94 c | 5890686 | 720 42889 140801 | 1 220103 28 | 0.000 % | 1027.90/1027.94 c | 5899003 | 720 42889 140801 | 1 228420 29 | 0.000 % | 1027.90/1027.94 c | 5908116 | 720 42889 140801 | 1 237533 30 | 0.000 % | 1027.90/1027.94 c | 5923294 | 720 42889 140801 | 1 252711 30 | 0.000 % | 1027.90/1027.94 c | 5923394 | 720 42889 140801 | 1 252811 30 | 0.000 % | 1027.90/1027.94 c | 5927915 | 720 42889 140801 | 1 257332 31 | 0.000 % | 1074.71/1074.76 c | 5930111 | 720 42889 140801 | 1 259528 31 | 0.000 % | 1074.71/1074.76 c | 5930211 | 720 42889 140801 | 1 259628 31 | 0.000 % | 1074.71/1074.76 c | 5933889 | 720 42889 140801 | 1 263306 31 | 0.000 % | 1074.71/1074.76 c | 5936479 | 720 42889 140801 | 1 265896 31 | 0.000 % | 1074.71/1074.76 c | 5958660 | 720 42889 140801 | 1 288077 32 | 0.000 % | 1074.71/1074.76 c | 5977294 | 720 42889 140801 | 1 306711 33 | 0.000 % | 1074.71/1074.76 c | 5978114 | 720 42889 140801 | 1 307531 33 | 0.000 % | 1074.71/1074.76 c | 5981193 | 720 42889 140801 | 1 310610 33 | 0.000 % | 1074.71/1074.76 c | 5989015 | 720 42889 140801 | 1 318432 33 | 0.000 % | 1074.71/1074.76 c | 5991287 | 720 42889 140801 | 1 320704 33 | 0.000 % | 1074.71/1074.76 c | 6005167 | 720 42889 140801 | 1 334584 33 | 0.000 % | 1074.71/1074.76 c | 6010410 | 720 42889 140801 | 1 339827 33 | 0.000 % | 1074.71/1074.76 c | 6010510 | 720 42889 140801 | 1 339927 33 | 0.000 % | 1074.71/1074.76 c | 6014914 | 720 42889 140801 | 1 344331 33 | 0.000 % | 1074.71/1074.76 c | 6020361 | 720 42889 140801 | 1 176777 24 | 0.000 % | 1074.71/1074.76 c | 6021428 | 720 42889 140801 | 1 177844 24 | 0.000 % | 1074.71/1074.76 c | 6021546 | 720 42889 140801 | 1 177962 24 | 0.000 % | 1074.71/1074.76 c | 6021646 | 720 42889 140801 | 1 178062 24 | 0.000 % | 1074.71/1074.76 c | 6030137 | 720 42889 140801 | 1 186553 25 | 0.000 % | 1074.71/1074.76 c | 6038260 | 720 42889 140801 | 1 194676 26 | 0.000 % | 1074.71/1074.76 c | 6039538 | 720 42889 140801 | 1 195954 26 | 0.000 % | 1074.71/1074.76 c | 6040793 | 720 42889 140801 | 1 197209 26 | 0.000 % | 1074.71/1074.76 c | 6041265 | 720 42889 140801 | 1 197681 26 | 0.000 % | 1074.71/1074.76 c | 6042747 | 720 42889 140801 | 1 199163 26 | 0.000 % | 1074.71/1074.76 c | 6042847 | 720 42889 140801 | 1 199263 26 | 0.000 % | 1074.71/1074.76 c | 6044747 | 720 42889 140801 | 1 201163 26 | 0.000 % | 1074.71/1074.76 c | 6052467 | 720 42889 140801 | 1 208883 27 | 0.000 % | 1074.71/1074.76 c | 6053673 | 720 42889 140801 | 1 210089 27 | 0.000 % | 1074.71/1074.76 c | 6057994 | 720 42889 140801 | 1 214410 27 | 0.000 % | 1074.71/1074.76 c | 6058337 | 720 42889 140801 | 1 214753 27 | 0.000 % | 1074.71/1074.76 c | 6072442 | 720 42889 140801 | 1 228858 28 | 0.000 % | 1074.71/1074.76 c | 6072930 | 720 42889 140801 | 1 229346 28 | 0.000 % | 1074.71/1074.76 c | 6080630 | 720 42889 140801 | 1 237046 29 | 0.000 % | 1074.71/1074.76 c | 6103343 | 720 42889 140801 | 1 259759 31 | 0.000 % | 1074.71/1074.76 c | 6103606 | 720 42889 140801 | 1 260022 31 | 0.000 % | 1074.71/1074.76 c | 6106367 | 720 42889 140801 | 1 262783 31 | 0.000 % | 1074.71/1074.76 c | 6109764 | 720 42889 140801 | 1 266180 31 | 0.000 % | 1074.71/1074.76 c | 6112150 | 720 42889 140801 | 1 268566 31 | 0.000 % | 1074.71/1074.76 c | 6118075 | 720 42889 140801 | 1 274491 32 | 0.000 % | 1074.71/1074.76 c | 6118176 | 720 42889 140801 | 1 274592 32 | 0.000 % | 1074.71/1074.76 c | 6123708 | 720 42889 140801 | 1 280124 32 | 0.000 % | 1074.71/1074.76 c | 6130626 | 720 42889 140801 | 1 287042 32 | 0.000 % | 1074.71/1074.76 c | 6130726 | 720 42889 140801 | 1 287142 32 | 0.000 % | 1074.71/1074.76 c | 6130826 | 720 42889 140801 | 1 287242 32 | 0.000 % | 1074.71/1074.76 c | 6130926 | 720 42889 140801 | 1 287342 32 | 0.000 % | 1074.71/1074.76 c | 6131055 | 720 42889 140801 | 1 287471 32 | 0.000 % | 1074.71/1074.76 c | 6134254 | 720 42889 140801 | 1 290670 32 | 0.000 % | 1074.71/1074.76 c | 6134518 | 720 42889 140801 | 1 290934 32 | 0.000 % | 1074.71/1074.76 c | 6139649 | 720 42889 140801 | 1 296065 33 | 0.000 % | 1074.71/1074.76 c | 6144470 | 720 42889 140801 | 1 300886 33 | 0.000 % | 1158.11/1158.16 c | 6151130 | 720 42889 140801 | 1 307546 33 | 0.000 % | 1158.11/1158.16 c | 6155788 | 720 42889 140801 | 1 312204 33 | 0.000 % | 1158.11/1158.16 c | 6155889 | 720 42889 140801 | 1 312305 33 | 0.000 % | 1158.11/1158.16 c | 6167363 | 720 42889 140801 | 1 323779 33 | 0.000 % | 1158.11/1158.16 c | 6176681 | 720 42889 140801 | 1 333097 33 | 0.000 % | 1158.11/1158.16 c | 6178703 | 720 42889 140801 | 1 335119 34 | 0.000 % | 1158.11/1158.16 c | 6181400 | 720 42889 140801 | 1 337816 34 | 0.000 % | 1158.11/1158.16 c | 6197204 | 720 42889 140801 | 1 178012 23 | 0.000 % | 1158.11/1158.16 c | 6208023 | 720 42889 140801 | 1 188831 24 | 0.000 % | 1158.11/1158.16 c | 6214552 | 720 42889 140801 | 1 195360 25 | 0.000 % | 1158.11/1158.16 c | 6216265 | 720 42889 140801 | 1 197073 25 | 0.000 % | 1158.11/1158.16 c | 6216369 | 720 42889 140801 | 1 197177 25 | 0.000 % | 1158.11/1158.16 c | 6218811 | 720 42889 140801 | 1 199619 25 | 0.000 % | 1158.11/1158.16 c | 6230949 | 720 42889 140801 | 1 211757 26 | 0.000 % | 1158.11/1158.16 c | 6246737 | 720 42889 140801 | 1 227545 27 | 0.000 % | 1158.11/1158.16 c | 6248885 | 720 42889 140801 | 1 229693 27 | 0.000 % | 1158.11/1158.16 c | 6249551 | 720 42889 140801 | 1 230359 27 | 0.000 % | 1158.11/1158.16 c | 6255814 | 720 42889 140801 | 1 236622 28 | 0.000 % | 1158.11/1158.16 c | 6256105 | 720 42889 140801 | 1 236913 28 | 0.000 % | 1158.11/1158.16 c | 6256207 | 720 42889 140801 | 1 237015 28 | 0.000 % | 1158.11/1158.16 c | 6273411 | 720 42889 140801 | 1 254219 28 | 0.000 % | 1158.11/1158.16 c | 6274742 | 720 42889 140801 | 1 255550 28 | 0.000 % | 1158.11/1158.16 c | 6306588 | 720 42889 140801 | 1 287396 30 | 0.000 % | 1158.11/1158.16 c | 6307363 | 720 42889 140801 | 1 288171 30 | 0.000 % | 1158.11/1158.16 c | 6307463 | 720 42889 140801 | 1 288271 30 | 0.000 % | 1158.11/1158.16 c | 6311054 | 720 42889 140801 | 1 291862 30 | 0.000 % | 1158.11/1158.16 c | 6318289 | 720 42889 140801 | 1 299097 30 | 0.000 % | 1158.11/1158.16 c | 6324201 | 720 42889 140801 | 1 305009 30 | 0.000 % | 1158.11/1158.16 c | 6336869 | 720 42889 140801 | 1 317677 31 | 0.000 % | 1158.11/1158.16 c | 6337208 | 720 42889 140801 | 1 318016 31 | 0.000 % | 1158.11/1158.16 c | 6348612 | 720 42889 140801 | 1 329420 31 | 0.000 % | 1158.11/1158.16 c | 6351543 | 720 42889 140801 | 1 332351 31 | 0.000 % | 1158.11/1158.16 c | 6352868 | 720 42889 140801 | 1 333676 31 | 0.000 % | 1158.11/1158.16 c | 6355088 | 720 42889 140801 | 1 335896 31 | 0.000 % | 1158.11/1158.16 c | 6363866 | 720 42889 140801 | 1 344674 32 | 0.000 % | 1158.11/1158.16 c | 6405885 | 720 42889 140801 | 1 208495 25 | 0.000 % | 1158.11/1158.16 c | 6406018 | 720 42889 140801 | 1 208628 25 | 0.000 % | 1158.11/1158.16 c | 6424373 | 720 42889 140801 | 1 226983 26 | 0.000 % | 1158.11/1158.16 c | 6431863 | 720 42889 140801 | 1 234473 27 | 0.000 % | 1158.11/1158.16 c | 6433787 | 720 42889 140801 | 1 236397 27 | 0.000 % | 1158.11/1158.16 c | 6472830 | 720 42889 140801 | 1 275440 30 | 0.000 % | 1158.11/1158.16 c | 6478326 | 720 42889 140801 | 1 280936 31 | 0.000 % | 1158.11/1158.16 c | 6483364 | 720 42889 140801 | 1 285974 31 | 0.000 % | 1158.11/1158.16 c | 6485195 | 720 42889 140801 | 1 287805 31 | 0.000 % | 1158.11/1158.16 c | 6500274 | 720 42889 140801 | 1 302884 32 | 0.000 % | 1158.11/1158.16 c | 6505366 | 720 42889 140801 | 1 307976 32 | 0.000 % | 1158.11/1158.16 c | 6507220 | 720 42889 140801 | 1 309830 32 | 0.000 % | 1158.11/1158.16 c | 6512752 | 720 42889 140801 | 1 315362 32 | 0.000 % | 1158.11/1158.16 c | 6516678 | 720 42889 140801 | 1 319288 32 | 0.000 % | 1158.11/1158.16 c | 6519305 | 720 42889 140801 | 1 321915 32 | 0.000 % | 1213.32/1213.30 c | 6537058 | 720 42889 140801 | 1 339668 33 | 0.000 % | 1213.32/1213.30 c | 6537160 | 720 42889 140801 | 1 339770 33 | 0.000 % | 1213.32/1213.30 c | 6539081 | 720 42889 140801 | 1 341691 33 | 0.000 % | 1213.32/1213.30 c | 6539604 | 720 42889 140801 | 1 342214 33 | 0.000 % | 1213.32/1213.30 c | 6561515 | 720 42889 140801 | 1 183328 24 | 0.000 % | 1213.32/1213.30 c | 6561619 | 720 42889 140801 | 1 183432 24 | 0.000 % | 1213.32/1213.30 c | 6561720 | 720 42889 140801 | 1 183533 24 | 0.000 % | 1213.32/1213.30 c | 6570873 | 720 42889 140801 | 1 192686 25 | 0.000 % | 1213.32/1213.30 c | 6587163 | 720 42889 140801 | 1 208976 26 | 0.000 % | 1213.32/1213.30 c | 6587650 | 720 42889 140801 | 1 209463 26 | 0.000 % | 1213.32/1213.30 c | 6591317 | 720 42889 140801 | 1 213130 27 | 0.000 % | 1213.32/1213.30 c | 6598973 | 720 42889 140801 | 1 220786 27 | 0.000 % | 1213.32/1213.30 c | 6599860 | 720 42889 140801 | 1 221673 27 | 0.000 % | 1213.32/1213.30 c | 6604796 | 720 42889 140801 | 1 226609 27 | 0.000 % | 1213.32/1213.30 c | 6606273 | 720 42889 140801 | 1 228086 27 | 0.000 % | 1213.32/1213.30 c | 6608570 | 720 42889 140801 | 1 230383 28 | 0.000 % | 1213.32/1213.30 c | 6608670 | 720 42889 140801 | 1 230483 28 | 0.000 % | 1213.32/1213.30 c | 6609301 | 720 42889 140801 | 1 231114 28 | 0.000 % | 1213.32/1213.30 c | 6612648 | 720 42889 140801 | 1 234461 28 | 0.000 % | 1213.32/1213.30 c | 6614905 | 720 42889 140801 | 1 236718 28 | 0.000 % | 1213.32/1213.30 c | 6641288 | 720 42889 140801 | 1 263101 29 | 0.000 % | 1213.32/1213.30 c | 6646781 | 720 42889 140801 | 1 268594 29 | 0.000 % | 1213.32/1213.30 c | 6653928 | 720 42889 140801 | 1 275741 30 | 0.000 % | 1213.32/1213.30 c | 6655255 | 720 42889 140801 | 1 277068 30 | 0.000 % | 1213.32/1213.30 c | 6656645 | 720 42889 140801 | 1 278458 30 | 0.000 % | 1213.32/1213.30 c | 6658067 | 720 42889 140801 | 1 279880 30 | 0.000 % | 1213.32/1213.30 c | 6666046 | 720 42889 140801 | 1 287859 30 | 0.000 % | 1213.32/1213.30 c | 6667581 | 720 42889 140801 | 1 289394 31 | 0.000 % | 1213.32/1213.30 c | 6673055 | 720 42889 140801 | 1 294868 31 | 0.000 % | 1213.32/1213.30 c | 6673224 | 720 42889 140801 | 1 295037 31 | 0.000 % | 1213.32/1213.30 c | 6674629 | 720 42889 140801 | 1 296442 31 | 0.000 % | 1213.32/1213.30 c | 6680188 | 720 42889 140801 | 1 302001 31 | 0.000 % | 1213.32/1213.30 c | 6680426 | 720 42889 140801 | 1 302239 31 | 0.000 % | 1213.32/1213.30 c | 6686340 | 720 42889 140801 | 1 308153 31 | 0.000 % | 1213.32/1213.30 c | 6690816 | 720 42889 140801 | 1 312629 31 | 0.000 % | 1213.32/1213.30 c | 6691926 | 720 42889 140801 | 1 313739 31 | 0.000 % | 1213.32/1213.30 c | 6701228 | 720 42889 140801 | 1 323041 32 | 0.000 % | 1213.32/1213.30 c | 6715062 | 720 42889 140801 | 1 336875 32 | 0.000 % | 1213.32/1213.30 c | 6715436 | 720 42889 140801 | 1 337249 32 | 0.000 % | 1213.32/1213.30 c | 6716905 | 720 42889 140801 | 1 338718 32 | 0.000 % | 1213.32/1213.30 c | 6719748 | 720 42889 140801 | 1 341561 32 | 0.000 % | 1213.32/1213.30 c | 6720048 | 720 42889 140801 | 1 341861 32 | 0.000 % | 1213.32/1213.30 c | 6720976 | 720 42889 140801 | 1 342789 32 | 0.000 % | 1213.32/1213.30 c | 6722974 | 720 42889 140801 | 1 344787 33 | 0.000 % | 1213.32/1213.30 c | 6723522 | 720 42889 140801 | 1 345335 33 | 0.000 % | 1213.32/1213.30 c | 6745887 | 720 42889 140801 | 1 184300 23 | 0.000 % | 1213.32/1213.30 c | 6745987 | 720 42889 140801 | 1 184400 23 | 0.000 % | 1213.32/1213.30 c | 6756526 | 720 42889 140801 | 1 194939 24 | 0.000 % | 1213.32/1213.30 c | 6761705 | 720 42889 140801 | 1 200118 24 | 0.000 % | 1213.32/1213.30 c | 6761805 | 720 42889 140801 | 1 200218 24 | 0.000 % | 1266.11/1266.13 c | 6762551 | 720 42889 140801 | 1 200964 24 | 0.000 % | 1266.11/1266.13 c | 6762651 | 720 42889 140801 | 1 201064 24 | 0.000 % | 1266.11/1266.13 c | 6765560 | 720 42889 140801 | 1 203973 25 | 0.000 % | 1266.11/1266.13 c | 6780892 | 720 42889 140801 | 1 219305 26 | 0.000 % | 1266.11/1266.13 c | 6800342 | 720 42889 140801 | 1 238755 27 | 0.000 % | 1266.11/1266.13 c | 6808575 | 720 42889 140801 | 1 246988 27 | 0.000 % | 1266.11/1266.13 c | 6816380 | 720 42889 140801 | 1 254793 28 | 0.000 % | 1266.11/1266.13 c | 6816485 | 720 42889 140801 | 1 254898 28 | 0.000 % | 1266.11/1266.13 c | 6820544 | 720 42889 140801 | 1 258957 28 | 0.000 % | 1266.11/1266.13 c | 6825460 | 720 42889 140801 | 1 263873 28 | 0.000 % | 1266.11/1266.13 c | 6838415 | 720 42889 140801 | 1 276828 28 | 0.000 % | 1266.11/1266.13 c | 6839322 | 720 42889 140801 | 1 277735 28 | 0.000 % | 1266.11/1266.13 c | 6846974 | 720 42889 140801 | 1 285387 29 | 0.000 % | 1266.11/1266.13 c | 6847267 | 720 42889 140801 | 1 285680 29 | 0.000 % | 1266.11/1266.13 c | 6847393 | 720 42889 140801 | 1 285806 29 | 0.000 % | 1266.11/1266.13 c | 6849298 | 720 42889 140801 | 1 287711 29 | 0.000 % | 1266.11/1266.13 c | 6849398 | 720 42889 140801 | 1 287811 29 | 0.000 % | 1266.11/1266.13 c | 6853208 | 720 42889 140801 | 1 291621 29 | 0.000 % | 1266.11/1266.13 c | 6854947 | 720 42889 140801 | 1 293360 29 | 0.000 % | 1266.11/1266.13 c | 6858626 | 720 42889 140801 | 1 297039 29 | 0.000 % | 1266.11/1266.13 c | 6858794 | 720 42889 140801 | 1 297207 29 | 0.000 % | 1266.11/1266.13 c | 6862126 | 720 42889 140801 | 1 300539 29 | 0.000 % | 1266.11/1266.13 c | 6863825 | 720 42889 140801 | 1 302238 29 | 0.000 % | 1266.11/1266.13 c | 6864549 | 720 42889 140801 | 1 302962 29 | 0.000 % | 1266.11/1266.13 c | 6873901 | 720 42889 140801 | 1 312314 30 | 0.000 % | 1266.11/1266.13 c | 6880979 | 720 42889 140801 | 1 319392 30 | 0.000 % | 1266.11/1266.13 c | 6881079 | 720 42889 140801 | 1 319492 30 | 0.000 % | 1266.11/1266.13 c | 6885584 | 720 42889 140801 | 1 323997 30 | 0.000 % | 1266.11/1266.13 c | 6885872 | 720 42889 140801 | 1 324285 30 | 0.000 % | 1266.11/1266.13 c | 6889842 | 720 42889 140801 | 1 328255 30 | 0.000 % | 1266.11/1266.13 c | 6889943 | 720 42889 140801 | 1 328356 30 | 0.000 % | 1266.11/1266.13 c | 6894745 | 720 42889 140801 | 1 333158 30 | 0.000 % | 1266.11/1266.13 c | 6905103 | 720 42889 140801 | 1 343516 31 | 0.000 % | 1266.11/1266.13 c | 6923984 | 720 42889 140801 | 1 362397 31 | 0.000 % | 1266.11/1266.13 c | 6931366 | 720 42889 140801 | 1 369779 31 | 0.000 % | 1266.11/1266.13 c | 6931467 | 720 42889 140801 | 1 369880 31 | 0.000 % | 1266.11/1266.13 c | 6933190 | 720 42889 140801 | 1 371603 31 | 0.000 % | 1266.11/1266.13 c | 6933821 | 720 42889 140801 | 1 186231 22 | 0.000 % | 1266.11/1266.13 c | 6934795 | 720 42889 140801 | 1 187205 22 | 0.000 % | 1266.11/1266.13 c | 6940076 | 720 42889 140801 | 1 192486 23 | 0.000 % | 1266.11/1266.13 c | 6948776 | 720 42889 140801 | 1 201186 24 | 0.000 % | 1266.11/1266.13 c | 6950083 | 720 42889 140801 | 1 202493 24 | 0.000 % | 1266.11/1266.13 c | 6951348 | 720 42889 140801 | 1 203758 24 | 0.000 % | 1266.11/1266.13 c | 6964808 | 720 42889 140801 | 1 217218 25 | 0.000 % | 1266.11/1266.13 c | 6964909 | 720 42889 140801 | 1 217319 25 | 0.000 % | 1266.11/1266.13 c | 6965951 | 720 42889 140801 | 1 218361 25 | 0.000 % | 1266.11/1266.13 c | 6967733 | 720 42889 140801 | 1 220143 25 | 0.000 % | 1266.11/1266.13 c | 6967833 | 720 42889 140801 | 1 220243 25 | 0.000 % | 1266.11/1266.13 c | 6970290 | 720 42889 140801 | 1 222700 26 | 0.000 % | 1266.11/1266.13 c | 6972550 |
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-3259448-1303504643/watcher-3259448-1303504643 -o /tmp/evaluation-result-3259448-1303504643/solver-3259448-1303504643 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259448-1303504643.cnf running on 2 cores: 4,6 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: 4.03 3.99 3.31 5/192 2492 /proc/meminfo: memFree=14267912/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=11800 CPUtime=0 cores=4,6 /proc/2492/stat : 2492 (runsolver) R 2490 2492 2261 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 462065071 12083200 51 33554432000 4194304 5434984 140736574853680 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/2492/statm: 2950 51 31 303 0 2644 0 [startup+0.0596929 s] /proc/loadavg: 4.03 3.99 3.31 5/192 2492 /proc/meminfo: memFree=14267912/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 462065071 8912896 253 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/2492/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100683 s] /proc/loadavg: 4.03 3.99 3.31 5/192 2492 /proc/meminfo: memFree=14267912/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 462065071 8912896 253 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0 /proc/2492/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300617 s] /proc/loadavg: 4.03 3.99 3.31 5/192 2492 /proc/meminfo: memFree=14267912/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.700546 s] /proc/loadavg: 4.03 3.99 3.31 5/192 2492 /proc/meminfo: memFree=14267912/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+1.50046 s] /proc/loadavg: 4.03 3.99 3.31 5/194 2497 /proc/meminfo: memFree=14245856/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=23744 CPUtime=1.38 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 5338 0 0 0 138 0 0 0 25 0 1 0 462065081 24313856 2687 33554432000 4194304 4260849 140735810344528 18446744073709551615 4228560 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 5936 2687 240 17 0 2577 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32448 [startup+3.10114 s] /proc/loadavg: 4.03 3.99 3.31 5/194 2497 /proc/meminfo: memFree=14227628/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=30816 CPUtime=2.98 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 7003 0 0 0 298 0 0 0 25 0 1 0 462065081 31555584 4291 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 7704 4291 247 17 0 4345 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 39520 [startup+6.30059 s] /proc/loadavg: 4.02 3.99 3.32 5/194 2497 /proc/meminfo: memFree=14167624/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=30816 CPUtime=6.18 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 7111 0 0 0 618 0 0 0 25 0 1 0 462065081 31555584 4398 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 7704 4398 247 17 0 4345 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 39520 [startup+12.7004 s] /proc/loadavg: 4.02 3.99 3.32 5/194 2497 /proc/meminfo: memFree=14160492/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=38452 CPUtime=12.58 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 10134 0 0 0 1258 0 0 0 25 0 1 0 462065081 39374848 5609 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224416 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 9613 5609 247 17 0 6254 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 47156 [startup+25.501 s] /proc/loadavg: 4.02 3.99 3.33 5/194 2497 /proc/meminfo: memFree=14092928/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=52708 CPUtime=25.38 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 14467 0 0 0 2537 1 0 0 25 0 1 0 462065081 53972992 9754 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 13177 9754 247 17 0 9818 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 61412 [startup+51.1003 s] /proc/loadavg: 4.01 3.99 3.35 5/194 2498 /proc/meminfo: memFree=14067028/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=52708 CPUtime=50.98 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 14623 0 0 0 5097 1 0 0 25 0 1 0 462065081 53972992 9910 33554432000 4194304 4260849 140735810344528 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 13177 9910 248 17 0 9818 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61412 [startup+102.307 s] /proc/loadavg: 4.00 3.99 3.38 5/194 2499 /proc/meminfo: memFree=14004804/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=95108 CPUtime=102.19 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 27042 0 0 0 10217 2 0 0 25 0 1 0 462065081 97390592 13327 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224484 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 23777 13327 248 17 0 20418 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 103812 [startup+162.301 s] /proc/loadavg: 4.00 3.99 3.42 5/194 2501 /proc/meminfo: memFree=13958032/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=95108 CPUtime=162.19 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 33062 0 0 0 16215 4 0 0 25 0 1 0 462065081 97390592 19133 33554432000 4194304 4260849 140735810344528 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 23777 19133 248 17 0 20418 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 103812 [startup+222.301 s] /proc/loadavg: 4.00 3.99 3.45 5/194 2503 /proc/meminfo: memFree=13927876/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=95108 CPUtime=222.19 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 33497 0 0 0 22215 4 0 0 25 0 1 0 462065081 97390592 19560 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 23777 19560 248 17 0 20418 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 103812 [startup+282.301 s] /proc/loadavg: 4.07 4.00 3.49 5/194 2504 /proc/meminfo: memFree=13936652/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=95108 CPUtime=282.19 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 33875 0 0 0 28215 4 0 0 25 0 1 0 462065081 97390592 19924 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 23777 19924 248 17 0 20418 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 103812 [startup+342.301 s] /proc/loadavg: 4.07 4.01 3.52 5/194 2506 /proc/meminfo: memFree=13944816/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=95108 CPUtime=342.19 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 34159 0 0 0 34215 4 0 0 25 0 1 0 462065081 97390592 20199 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 23777 20199 248 17 0 20418 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 103812 [startup+402.301 s] /proc/loadavg: 4.06 4.02 3.55 5/194 2507 /proc/meminfo: memFree=13910320/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 ################ # More data... # ################ /proc/2495/statm: 39333 33275 248 17 0 35974 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 166036 [startup+642.301 s] /proc/loadavg: 4.00 4.00 3.65 5/194 2514 /proc/meminfo: memFree=13849568/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=108012 CPUtime=642.2 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 137912 0 0 0 64199 21 0 0 25 0 1 0 462065081 110604288 23759 33554432000 4194304 4260849 140735810344528 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 27003 23759 248 17 0 23644 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 116716 [startup+702.301 s] /proc/loadavg: 4.05 4.01 3.67 5/194 2515 /proc/meminfo: memFree=13811476/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=702.2 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 167068 0 0 0 70194 26 0 0 25 0 1 0 462065081 161107968 32126 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 32126 248 17 0 35974 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 166036 [startup+762.307 s] /proc/loadavg: 4.02 4.01 3.69 5/194 2517 /proc/meminfo: memFree=13766812/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=762.22 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 189804 0 0 0 76191 31 0 0 25 0 1 0 462065081 161107968 32712 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 32712 248 17 0 35974 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 166036 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.70 5/194 2519 /proc/meminfo: memFree=13748816/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=822.21 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 212723 0 0 0 82185 36 0 0 25 0 1 0 462065081 161107968 32821 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 32821 248 17 0 35974 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 166036 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.72 5/194 2520 /proc/meminfo: memFree=13759684/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=882.21 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 234546 0 0 0 88181 40 0 0 25 0 1 0 462065081 161107968 31484 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 31484 248 17 0 35974 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 166036 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.74 5/194 2522 /proc/meminfo: memFree=13774168/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=108012 CPUtime=942.21 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 250450 0 0 0 94177 44 0 0 25 0 1 0 462065081 110604288 23761 33554432000 4194304 4260849 140735810344528 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 27003 23761 248 17 0 23644 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 116716 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.75 5/194 2523 /proc/meminfo: memFree=13732488/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=1002.21 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 273202 0 0 0 100173 48 0 0 25 0 1 0 462065081 161107968 34271 33554432000 4194304 4260849 140735810344528 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 34271 248 17 0 35974 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 166036 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.76 5/194 2525 /proc/meminfo: memFree=13723552/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=1062.22 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 295554 0 0 0 106168 54 0 0 25 0 1 0 462065081 161107968 31772 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 31772 248 17 0 35974 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 166036 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 3.77 5/194 2527 /proc/meminfo: memFree=13720924/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=1122.21 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 312088 0 0 0 112164 57 0 0 25 0 1 0 462065081 161107968 35274 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 35274 248 17 0 35974 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 166036 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.78 5/194 2528 /proc/meminfo: memFree=13697472/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=1182.22 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 334861 0 0 0 118161 61 0 0 25 0 1 0 462065081 161107968 32102 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 32102 248 17 0 35974 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 166036 [startup+1242.3 s] /proc/loadavg: 4.07 4.02 3.80 5/194 2530 /proc/meminfo: memFree=13690012/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=157332 CPUtime=1242.22 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 350330 0 0 0 124159 63 0 0 25 0 1 0 462065081 161107968 34267 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 39333 34267 248 17 0 35974 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 166036 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.02 4.01 3.81 2/186 2534 /proc/meminfo: memFree=14149476/32951124 swapFree=67111528/67111528 [pid=2492] ppid=2490 vsize=8704 CPUtime=0.09 cores=4,6 /proc/2492/stat : 2492 (glucose.sh) S 2490 2492 2261 0 -1 4202496 361 1044 0 0 0 0 9 0 25 0 1 0 462065071 8912896 255 33554432000 4194304 4922060 140737138234064 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/2492/statm: 2176 255 211 178 0 69 0 [pid=2495] ppid=2492 vsize=188152 CPUtime=1299.93 cores=4,6 /proc/2495/stat : 2495 (glucose_static) R 2492 2492 2261 0 -1 4202496 365559 0 0 0 129926 67 0 0 25 0 1 0 462065081 192667648 36666 33554432000 4194304 4260849 140735810344528 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/2495/statm: 47038 36666 248 17 0 43679 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 196856 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 2492 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=94985 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.100984 # while last known CPU time is 1300.02 # # 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.02 CPU user time (s): 1299.35 CPU system time (s): 0.67 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 196856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.094985 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= 1405 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= 6 involuntary context switches= 2 runsolver used 2.28165 second user time and 4.82727 second system time The end
Begin job on node109 at 2011-04-22 22:37:23 IDJOB=3259448 IDBENCH=71572 IDSOLVER=1651 FILE ID=node109/3259448-1303504643 RUNJOBID= node109-1303503341-2289 PBS_JOBID= 13134242 Free space on /tmp= 71256 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes8.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259448-1303504643/watcher-3259448-1303504643 -o /tmp/evaluation-result-3259448-1303504643/solver-3259448-1303504643 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259448-1303504643.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= ca42736a2fe4e8cf2cba6dd1668e0ad6 RANDOM SEED=1092565849 node109.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.809 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.61 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.809 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 : 5332.75 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.809 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.74 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.809 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.809 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.809 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14269712 kB Buffers: 1897868 kB Cached: 16108060 kB SwapCached: 0 kB Active: 9634324 kB Inactive: 8480420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14269712 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13636 kB Writeback: 0 kB AnonPages: 107928 kB Mapped: 15860 kB Slab: 503116 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 304096 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= 71244 MiB End job on node109 at 2011-04-22 22:59:05