| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf |
| MD5SUM | c904604702db7cfabf92e607e197d409 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 8.17476 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1375 |
| Number of clauses | 111739 |
| Sum of the clauses size | 224743 |
| Maximum clause length | 25 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 111684 |
| 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 | 55 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 111739 224743 | 33521 0 0 nan | 0.000 % | 0.00/0.26 c | 0 | 109969 362654 | -- 0 -- -- | -- | -1770/137911 0.00/0.26 c ============================================================================== 0.00/0.26 c Result : #vars: 1320 #clauses: 109969 #literals: 362654 0.00/0.26 c CPU time: 0.254961 s 0.00/0.26 c ============================================================================== 0.00/0.31 c 0.00/0.31 c Starting glucose 0.00/0.31 c 86.78/86.84 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 86.78/86.84 c WARNING: for repeatability, setting FPU to use double precision 86.78/86.84 c ============================[ Problem Statistics ]============================= 86.78/86.84 c | | 86.78/86.84 c | Number of variables: 1320 | 86.78/86.84 c | Number of clauses: 109969 | 86.78/86.84 c | Parse time: 0.02 s | 86.78/86.84 c | | 86.78/86.84 c ============================[ Search Statistics ]============================== 86.78/86.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.78/86.84 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 86.78/86.84 c =============================================================================== 86.78/86.84 c | 7798 | 1320 109969 362654 | 1 5802 106 | 0.000 % | 86.78/86.84 c | 48033 | 1320 109969 362654 | 1 13893 48 | 0.000 % | 86.78/86.84 c | 51320 | 1320 109969 362654 | 1 17180 54 | 0.000 % | 86.78/86.84 c | 144423 | 1320 109969 362654 | 1 37056 46 | 0.000 % | 86.78/86.84 c | 175663 | 1320 109969 362654 | 1 43486 48 | 0.000 % | 86.78/86.84 c | 274987 | 1320 109969 362654 | 1 52810 45 | 0.000 % | 86.78/86.84 c | 312202 | 1320 109969 362654 | 1 54827 45 | 0.000 % | 86.78/86.84 c | 344454 | 1320 109969 362654 | 1 49273 42 | 0.000 % | 86.78/86.84 c | 395983 | 1320 109969 362654 | 1 60399 45 | 0.000 % | 86.78/86.84 c | 421031 | 1320 109969 362654 | 1 85447 53 | 0.000 % | 86.78/86.84 c | 432336 | 1320 109969 362654 | 1 53751 42 | 0.000 % | 86.78/86.84 c | 462273 | 1320 109969 362654 | 1 83688 49 | 0.000 % | 86.78/86.84 c | 462573 | 1320 109969 362654 | 1 83988 49 | 0.000 % | 86.78/86.84 c | 501670 | 1320 109969 362654 | 1 77488 47 | 0.000 % | 86.78/86.84 c | 503905 | 1320 109969 362654 | 1 79723 47 | 0.000 % | 86.78/86.84 c | 504006 | 1320 109969 362654 | 1 79824 47 | 0.000 % | 86.78/86.84 c | 504106 | 1320 109969 362654 | 1 79924 47 | 0.000 % | 86.78/86.84 c | 504206 | 1320 109969 362654 | 1 80024 47 | 0.000 % | 86.78/86.84 c | 508674 | 1320 109969 362654 | 1 84492 48 | 0.000 % | 86.78/86.84 c | 513077 | 1320 109969 362654 | 1 88895 49 | 0.000 % | 86.78/86.84 c | 515591 | 1320 109969 362654 | 1 91409 49 | 0.000 % | 86.78/86.84 c | 516060 | 1320 109969 362654 | 1 91878 49 | 0.000 % | 86.78/86.84 c | 517418 | 1320 109969 362654 | 1 93236 49 | 0.000 % | 86.78/86.84 c | 524392 | 1320 109969 362654 | 1 52005 36 | 0.000 % | 86.78/86.84 c | 524494 | 1320 109969 362654 | 1 52107 36 | 0.000 % | 86.78/86.84 c | 528944 | 1320 109969 362654 | 1 56557 38 | 0.000 % | 86.78/86.84 c | 559577 | 1320 109969 362654 | 1 87190 46 | 0.000 % | 86.78/86.84 c | 622758 | 1320 109969 362654 | 1 99574 46 | 0.000 % | 86.78/86.84 c | 628315 | 1320 109969 362654 | 1 105131 47 | 0.000 % | 86.78/86.84 c | 630059 | 1320 109969 362654 | 1 53473 34 | 0.000 % | 86.78/86.84 c | 632836 | 1320 109969 362654 | 1 56250 36 | 0.000 % | 86.78/86.84 c | 647695 | 1320 109969 362654 | 1 71109 41 | 0.000 % | 86.78/86.84 c | 658376 | 1320 109969 362654 | 1 81790 43 | 0.000 % | 86.78/86.84 c | 659259 | 1320 109969 362654 | 1 82673 44 | 0.000 % | 86.78/86.84 c | 664560 | 1320 109969 362654 | 1 87974 45 | 0.000 % | 86.78/86.84 c | 664661 | 1320 109969 362654 | 1 88075 45 | 0.000 % | 86.78/86.84 c | 664923 | 1320 109969 362654 | 1 88337 45 | 0.000 % | 86.78/86.84 c | 682691 | 1320 109969 362654 | 1 106105 47 | 0.000 % | 86.78/86.84 c | 703006 | 1320 109969 362654 | 1 70419 36 | 0.000 % | 168.98/169.03 c | 744477 | 1320 109969 362654 | 1 111890 45 | 0.000 % | 168.98/169.03 c | 749150 | 1320 109969 362654 | 1 116563 45 | 0.000 % | 168.98/169.03 c | 752306 | 1320 109969 362654 | 1 61117 34 | 0.000 % | 168.98/169.03 c | 766788 | 1320 109969 362654 | 1 75599 41 | 0.000 % | 168.98/169.03 c | 824098 | 1320 109969 362654 | 1 71711 36 | 0.000 % | 168.98/169.03 c | 825698 | 1320 109969 362654 | 1 73311 36 | 0.000 % | 168.98/169.03 c | 837193 | 1320 109969 362654 | 1 84806 39 | 0.000 % | 168.98/169.03 c | 850741 | 1320 109969 362654 | 1 98354 42 | 0.000 % | 168.98/169.03 c | 850961 | 1320 109969 362654 | 1 98574 42 | 0.000 % | 168.98/169.03 c | 875895 | 1320 109969 362654 | 1 123508 45 | 0.000 % | 168.98/169.03 c | 888983 | 1320 109969 362654 | 1 72795 36 | 0.000 % | 168.98/169.03 c | 892618 | 1320 109969 362654 | 1 76430 37 | 0.000 % | 168.98/169.03 c | 892789 | 1320 109969 362654 | 1 76601 37 | 0.000 % | 168.98/169.03 c | 929210 | 1320 109969 362654 | 1 113022 44 | 0.000 % | 168.98/169.03 c | 929711 | 1320 109969 362654 | 1 113523 44 | 0.000 % | 168.98/169.03 c | 943550 | 1320 109969 362654 | 1 127362 45 | 0.000 % | 168.98/169.03 c | 947291 | 1320 109969 362654 | 1 131103 46 | 0.000 % | 168.98/169.03 c | 960211 | 1320 109969 362654 | 1 77626 38 | 0.000 % | 168.98/169.03 c | 962579 | 1320 109969 362654 | 1 79994 39 | 0.000 % | 168.98/169.03 c | 977583 | 1320 109969 362654 | 1 94998 43 | 0.000 % | 168.98/169.03 c | 985600 | 1320 109969 362654 | 1 103015 45 | 0.000 % | 168.98/169.03 c | 988375 | 1320 109969 362654 | 1 105790 45 | 0.000 % | 168.98/169.03 c | 993707 | 1320 109969 362654 | 1 111122 47 | 0.000 % | 168.98/169.03 c | 996863 | 1320 109969 362654 | 1 114278 47 | 0.000 % | 168.98/169.03 c | 1001305 | 1320 109969 362654 | 1 118720 48 | 0.000 % | 168.98/169.03 c | 1028243 | 1320 109969 362654 | 1 76658 36 | 0.000 % | 168.98/169.03 c | 1082594 | 1320 109969 362654 | 1 131009 43 | 0.000 % | 168.98/169.03 c | 1095201 | 1320 109969 362654 | 1 72026 31 | 0.000 % | 168.98/169.03 c | 1098800 | 1320 109969 362654 | 1 75625 32 | 0.000 % | 168.98/169.03 c | 1099088 | 1320 109969 362654 | 1 75913 32 | 0.000 % | 168.98/169.03 c | 1106503 | 1320 109969 362654 | 1 83328 35 | 0.000 % | 168.98/169.03 c | 1106603 | 1320 109969 362654 | 1 83428 35 | 0.000 % | 168.98/169.03 c | 1115977 | 1320 109969 362654 | 1 92802 37 | 0.000 % | 168.98/169.03 c | 1116668 | 1320 109969 362654 | 1 93493 37 | 0.000 % | 168.98/169.03 c | 1124354 | 1320 109969 362654 | 1 101179 39 | 0.000 % | 168.98/169.03 c | 1125985 | 1320 109969 362654 | 1 102810 40 | 0.000 % | 168.98/169.03 c | 1133033 | 1320 109969 362654 | 1 109858 41 | 0.000 % | 168.98/169.03 c | 1142457 | 1320 109969 362654 | 1 119282 43 | 0.000 % | 168.98/169.03 c | 1148447 | 1320 109969 362654 | 1 125272 44 | 0.000 % | 168.98/169.03 c | 1157901 | 1320 109969 362654 | 1 134726 45 | 0.000 % | 168.98/169.03 c | 1187235 | 1320 109969 362654 | 1 89868 38 | 0.000 % | 168.98/169.03 c | 1193312 | 1320 109969 362654 | 1 95945 40 | 0.000 % | 168.98/169.03 c | 1205023 | 1320 109969 362654 | 1 107656 41 | 0.000 % | 168.98/169.03 c | 1212268 | 1320 109969 362654 | 1 114901 43 | 0.000 % | 168.98/169.03 c | 1216158 | 1320 109969 362654 | 1 118791 44 | 0.000 % | 168.98/169.03 c | 1225964 | 1320 109969 362654 | 1 128597 45 | 0.000 % | 168.98/169.03 c | 1233143 | 1320 109969 362654 | 1 135776 46 | 0.000 % | 168.98/169.03 c | 1238897 | 1320 109969 362654 | 1 141530 46 | 0.000 % | 168.98/169.03 c | 1252235 | 1320 109969 362654 | 1 78065 32 | 0.000 % | 168.98/169.03 c | 1252361 | 1320 109969 362654 | 1 78191 32 | 0.000 % | 240.89/240.98 c | 1265849 | 1320 109969 362654 | 1 91679 38 | 0.000 % | 240.89/240.98 c | 1287524 | 1320 109969 362654 | 1 113354 42 | 0.000 % | 240.89/240.98 c | 1287775 | 1320 109969 362654 | 1 113605 42 | 0.000 % | 240.89/240.98 c | 1293937 | 1320 109969 362654 | 1 119767 44 | 0.000 % | 240.89/240.98 c | 1325148 | 1320 109969 362654 | 1 150978 47 | 0.000 % | 240.89/240.98 c | 1328960 | 1320 109969 362654 | 1 154790 47 | 0.000 % | 240.89/240.98 c | 1329610 | 1320 109969 362654 | 1 155440 47 | 0.000 % | 240.89/240.98 c | 1332433 | 1320 109969 362654 | 1 158263 48 | 0.000 % | 240.89/240.98 c | 1333691 | 1320 109969 362654 | 1 80111 33 | 0.000 % | 240.89/240.98 c | 1335748 | 1320 109969 362654 | 1 82168 33 | 0.000 % | 240.89/240.98 c | 1337911 | 1320 109969 362654 | 1 84331 34 | 0.000 % | 240.89/240.98 c | 1347455 | 1320 109969 362654 | 1 93875 37 | 0.000 % | 240.89/240.98 c | 1359755 | 1320 109969 362654 | 1 106175 40 | 0.000 % | 240.89/240.98 c | 1369379 | 1320 109969 362654 | 1 115799 41 | 0.000 % | 240.89/240.98 c | 1371490 | 1320 109969 362654 | 1 117910 42 | 0.000 % | 240.89/240.98 c | 1376845 | 1320 109969 362654 | 1 123265 43 | 0.000 % | 240.89/240.98 c | 1378700 | 1320 109969 362654 | 1 125120 44 | 0.000 % | 240.89/240.98 c | 1383835 | 1320 109969 362654 | 1 130255 45 | 0.000 % | 240.89/240.98 c | 1383936 | 1320 109969 362654 | 1 130356 45 | 0.000 % | 240.89/240.98 c | 1396203 | 1320 109969 362654 | 1 142623 46 | 0.000 % | 240.89/240.98 c | 1418038 | 1320 109969 362654 | 1 82463 33 | 0.000 % | 240.89/240.98 c | 1430455 | 1320 109969 362654 | 1 94880 37 | 0.000 % | 240.89/240.98 c | 1431755 | 1320 109969 362654 | 1 96180 37 | 0.000 % | 240.89/240.98 c | 1433085 | 1320 109969 362654 | 1 97510 37 | 0.000 % | 240.89/240.98 c | 1435652 | 1320 109969 362654 | 1 100077 38 | 0.000 % | 240.89/240.98 c | 1453630 | 1320 109969 362654 | 1 118055 41 | 0.000 % | 240.89/240.98 c | 1456663 | 1320 109969 362654 | 1 121088 42 | 0.000 % | 240.89/240.98 c | 1458197 | 1320 109969 362654 | 1 122622 42 | 0.000 % | 240.89/240.98 c | 1477763 | 1320 109969 362654 | 1 142188 43 | 0.000 % | 240.89/240.98 c | 1477870 | 1320 109969 362654 | 1 142295 43 | 0.000 % | 240.89/240.98 c | 1480653 | 1320 109969 362654 | 1 145078 44 | 0.000 % | 240.89/240.98 c | 1494797 | 1320 109969 362654 | 1 159222 46 | 0.000 % | 240.89/240.98 c | 1502378 | 1320 109969 362654 | 1 166803 47 | 0.000 % | 240.89/240.98 c | 1511430 | 1320 109969 362654 | 1 91250 33 | 0.000 % | 240.89/240.98 c | 1519804 | 1320 109969 362654 | 1 99624 35 | 0.000 % | 240.89/240.98 c | 1527314 | 1320 109969 362654 | 1 107134 37 | 0.000 % | 240.89/240.98 c | 1528370 | 1320 109969 362654 | 1 108190 37 | 0.000 % | 240.89/240.98 c | 1532017 | 1320 109969 362654 | 1 111837 38 | 0.000 % | 240.89/240.98 c | 1532117 | 1320 109969 362654 | 1 111937 38 | 0.000 % | 240.89/240.98 c | 1536620 | 1320 109969 362654 | 1 116440 39 | 0.000 % | 240.89/240.98 c | 1538243 | 1320 109969 362654 | 1 118063 40 | 0.000 % | 240.89/240.98 c | 1540290 | 1320 109969 362654 | 1 120110 40 | 0.000 % | 240.89/240.98 c | 1542365 | 1320 109969 362654 | 1 122185 41 | 0.000 % | 240.89/240.98 c | 1557426 | 1320 109969 362654 | 1 137246 43 | 0.000 % | 240.89/240.98 c | 1632807 | 1320 109969 362654 | 1 125425 40 | 0.000 % | 240.89/240.98 c | 1642132 | 1320 109969 362654 | 1 134750 41 | 0.000 % | 240.89/240.98 c | 1648420 | 1320 109969 362654 | 1 141038 42 | 0.000 % | 240.89/240.98 c | 1667943 | 1320 109969 362654 | 1 160561 44 | 0.000 % | 240.89/240.98 c | 1671325 | 1320 109969 362654 | 1 163943 44 | 0.000 % | 240.89/240.98 c | 1675827 | 1320 109969 362654 | 1 168445 45 | 0.000 % | 286.08/286.16 c | 1735850 | 1320 109969 362654 | 1 138668 39 | 0.000 % | 286.08/286.16 c | 1736690 | 1320 109969 362654 | 1 139508 39 | 0.000 % | 286.08/286.16 c | 1736879 | 1320 109969 362654 | 1 139697 39 | 0.000 % | 286.08/286.16 c | 1737533 | 1320 109969 362654 | 1 140351 40 | 0.000 % | 286.08/286.16 c | 1737633 | 1320 109969 362654 | 1 140451 40 | 0.000 % | 286.08/286.16 c | 1739448 | 1320 109969 362654 | 1 142266 40 | 0.000 % | 286.08/286.16 c | 1739914 | 1320 109969 362654 | 1 142732 40 | 0.000 % | 286.08/286.16 c | 1740015 | 1320 109969 362654 | 1 142833 40 | 0.000 % | 286.08/286.16 c | 1743526 | 1320 109969 362654 | 1 146344 41 | 0.000 % | 286.08/286.16 c | 1743908 | 1320 109969 362654 | 1 146726 41 | 0.000 % | 286.08/286.16 c | 1746607 | 1320 109969 362654 | 1 149425 41 | 0.000 % | 286.08/286.16 c | 1746708 | 1320 109969 362654 | 1 149526 41 | 0.000 % | 286.08/286.16 c | 1746888 | 1320 109969 362654 | 1 149706 41 | 0.000 % | 286.08/286.16 c | 1747016 | 1320 109969 362654 | 1 149834 41 | 0.000 % | 286.08/286.16 c | 1762844 | 1320 109969 362654 | 1 165662 43 | 0.000 % | 286.08/286.16 c | 1783457 | 1320 109969 362654 | 1 93881 33 | 0.000 % | 286.08/286.16 c | 1785959 | 1320 109969 362654 | 1 96383 34 | 0.000 % | 286.08/286.16 c | 1787373 | 1320 109969 362654 | 1 97797 34 | 0.000 % | 286.08/286.16 c | 1788766 | 1320 109969 362654 | 1 99190 35 | 0.000 % | 286.08/286.16 c | 1788866 | 1320 109969 362654 | 1 99290 35 | 0.000 % | 286.08/286.16 c | 1789834 | 1320 109969 362654 | 1 100258 35 | 0.000 % | 286.08/286.16 c | 1804810 | 1320 109969 362654 | 1 115234 39 | 0.000 % | 286.08/286.16 c | 1812914 | 1320 109969 362654 | 1 123338 41 | 0.000 % | 286.08/286.16 c | 1815663 | 1320 109969 362654 | 1 126087 42 | 0.000 % | 286.08/286.16 c | 1818069 | 1320 109969 362654 | 1 128493 42 | 0.000 % | 286.08/286.16 c | 1822507 | 1320 109969 362654 | 1 132931 43 | 0.000 % | 286.08/286.16 c | 1822679 | 1320 109969 362654 | 1 133103 43 | 0.000 % | 286.08/286.16 c | 1828374 | 1320 109969 362654 | 1 138798 44 | 0.000 % | 286.08/286.16 c | 1836429 | 1320 109969 362654 | 1 146853 45 | 0.000 % | 286.08/286.16 c | 1837138 | 1320 109969 362654 | 1 147562 45 | 0.000 % | 286.08/286.16 c | 1841251 | 1320 109969 362654 | 1 151675 46 | 0.000 % | 286.08/286.16 c | 1852428 | 1320 109969 362654 | 1 162852 48 | 0.000 % | 286.08/286.16 c | 1854413 | 1320 109969 362654 | 1 164837 48 | 0.000 % | 286.08/286.16 c | 1858537 | 1320 109969 362654 | 1 168961 48 | 0.000 % | 286.08/286.16 c | 1860059 | 1320 109969 362654 | 1 170483 49 | 0.000 % | 286.08/286.16 c | 1863374 | 1320 109969 362654 | 1 173798 49 | 0.000 % | 286.08/286.16 c | 1864101 | 1320 109969 362654 | 1 174525 49 | 0.000 % | 286.08/286.16 c | 1871101 | 1320 109969 362654 | 1 181525 49 | 0.000 % | 286.08/286.16 c | 1874009 | 1320 109969 362654 | 1 184433 49 | 0.000 % | 286.08/286.16 c | 1901387 | 1320 109969 362654 | 1 116809 37 | 0.000 % | 286.08/286.16 c | 1902124 | 1320 109969 362654 | 1 117546 38 | 0.000 % | 286.08/286.16 c | 1918002 | 1320 109969 362654 | 1 133424 42 | 0.000 % | 286.08/286.16 c | 1921448 | 1320 109969 362654 | 1 136870 42 | 0.000 % | 286.08/286.16 c | 1927649 | 1320 109969 362654 | 1 143071 43 | 0.000 % | 286.08/286.16 c | 1927750 | 1320 109969 362654 | 1 143172 43 | 0.000 % | 286.08/286.16 c | 1928459 | 1320 109969 362654 | 1 143881 43 | 0.000 % | 286.08/286.16 c | 1936055 | 1320 109969 362654 | 1 151477 45 | 0.000 % | 286.08/286.16 c | 1936159 | 1320 109969 362654 | 1 151581 45 | 0.000 % | 286.08/286.16 c | 1936279 | 1320 109969 362654 | 1 151701 45 | 0.000 % | 286.08/286.16 c | 1955852 | 1320 109969 362654 | 1 171274 47 | 0.000 % | 346.09/346.14 c | 1958716 | 1320 109969 362654 | 1 174138 48 | 0.000 % | 346.09/346.14 c | 1964631 | 1320 109969 362654 | 1 180053 48 | 0.000 % | 346.09/346.14 c | 1983318 | 1320 109969 362654 | 1 101142 33 | 0.000 % | 346.09/346.14 c | 1990824 | 1320 109969 362654 | 1 108648 35 | 0.000 % | 346.09/346.14 c | 2003311 | 1320 109969 362654 | 1 121135 37 | 0.000 % | 346.09/346.14 c | 2006053 | 1320 109969 362654 | 1 123877 38 | 0.000 % | 346.09/346.14 c | 2007311 | 1320 109969 362654 | 1 125135 38 | 0.000 % | 346.09/346.14 c | 2016892 | 1320 109969 362654 | 1 134716 39 | 0.000 % | 346.09/346.14 c | 2029577 | 1320 109969 362654 | 1 147401 42 | 0.000 % | 346.09/346.14 c | 2034861 | 1320 109969 362654 | 1 152685 43 | 0.000 % | 346.09/346.14 c | 2049168 | 1320 109969 362654 | 1 166992 45 | 0.000 % | 346.09/346.14 c | 2096887 | 1320 109969 362654 | 1 114510 35 | 0.000 % | 346.09/346.14 c | 2114548 | 1320 109969 362654 | 1 132171 38 | 0.000 % | 346.09/346.14 c | 2125933 | 1320 109969 362654 | 1 143556 39 | 0.000 % | 346.09/346.14 c | 2133835 | 1320 109969 362654 | 1 151458 41 | 0.000 % | 346.09/346.14 c | 2134613 | 1320 109969 362654 | 1 152236 41 | 0.000 % | 346.09/346.14 c | 2148737 | 1320 109969 362654 | 1 166360 42 | 0.000 % | 346.09/346.14 c | 2150691 | 1320 109969 362654 | 1 168314 42 | 0.000 % | 346.09/346.14 c | 2150792 | 1320 109969 362654 | 1 168415 42 | 0.000 % | 346.09/346.14 c | 2151465 | 1320 109969 362654 | 1 169088 42 | 0.000 % | 346.09/346.14 c | 2154030 | 1320 109969 362654 | 1 171653 42 | 0.000 % | 346.09/346.14 c | 2158448 | 1320 109969 362654 | 1 176071 43 | 0.000 % | 346.09/346.14 c | 2159045 | 1320 109969 362654 | 1 176668 43 | 0.000 % | 346.09/346.14 c | 2167846 | 1320 109969 362654 | 1 185469 44 | 0.000 % | 346.09/346.14 c | 2182749 | 1320 109969 362654 | 1 200372 45 | 0.000 % | 346.09/346.14 c | 2184165 | 1320 109969 362654 | 1 201788 45 | 0.000 % | 346.09/346.14 c | 2184696 | 1320 109969 362654 | 1 202319 45 | 0.000 % | 346.09/346.14 c | 2184817 | 1320 109969 362654 | 1 202440 45 | 0.000 % | 346.09/346.14 c | 2189715 | 1320 109969 362654 | 1 104537 31 | 0.000 % | 346.09/346.14 c | 2191137 | 1320 109969 362654 | 1 105959 32 | 0.000 % | 346.09/346.14 c | 2191237 | 1320 109969 362654 | 1 106059 32 | 0.000 % | 346.09/346.14 c | 2192806 | 1320 109969 362654 | 1 107628 32 | 0.000 % | 346.09/346.14 c | 2195700 | 1320 109969 362654 | 1 110522 33 | 0.000 % | 346.09/346.14 c | 2195800 | 1320 109969 362654 | 1 110622 33 | 0.000 % | 346.09/346.14 c | 2203992 | 1320 109969 362654 | 1 118814 35 | 0.000 % | 346.09/346.14 c | 2222405 | 1320 109969 362654 | 1 137227 37 | 0.000 % | 346.09/346.14 c | 2224283 | 1320 109969 362654 | 1 139105 38 | 0.000 % | 346.09/346.14 c | 2224384 | 1320 109969 362654 | 1 139206 38 | 0.000 % | 346.09/346.14 c | 2225477 | 1320 109969 362654 | 1 140299 38 | 0.000 % | 346.09/346.14 c | 2231415 | 1320 109969 362654 | 1 146237 39 | 0.000 % | 346.09/346.14 c | 2231703 | 1320 109969 362654 | 1 146525 39 | 0.000 % | 346.09/346.14 c | 2231803 | 1320 109969 362654 | 1 146625 39 | 0.000 % | 346.09/346.14 c | 2232279 | 1320 109969 362654 | 1 147101 39 | 0.000 % | 346.09/346.14 c | 2241634 | 1320 109969 362654 | 1 156456 41 | 0.000 % | 346.09/346.14 c | 2250049 | 1320 109969 362654 | 1 164871 42 | 0.000 % | 346.09/346.14 c | 2270230 | 1320 109969 362654 | 1 185052 44 | 0.000 % | 346.09/346.14 c | 2290427 | 1320 109969 362654 | 1 205249 46 | 0.000 % | 346.09/346.14 c | 2294115 | 1320 109969 362654 | 1 208937 46 | 0.000 % | 346.09/346.14 c | 2304110 | 1320 109969 362654 | 1 113531 32 | 0.000 % | 346.09/346.14 c | 2304477 | 1320 109969 362654 | 1 113898 32 | 0.000 % | 401.89/401.90 c | 2342887 | 1320 109969 362654 | 1 152308 40 | 0.000 % | 401.89/401.90 c | 2349936 | 1320 109969 362654 | 1 159357 41 | 0.000 % | 401.89/401.90 c | 2350101 | 1320 109969 362654 | 1 159522 41 | 0.000 % | 401.89/401.90 c | 2354446 | 1320 109969 362654 | 1 163867 42 | 0.000 % | 401.89/401.90 c | 2355973 | 1320 109969 362654 | 1 165394 42 | 0.000 % | 401.89/401.90 c | 2356462 | 1320 109969 362654 | 1 165883 43 | 0.000 % | 401.89/401.90 c | 2356562 | 1320 109969 362654 | 1 165983 43 | 0.000 % | 401.89/401.90 c | 2356662 | 1320 109969 362654 | 1 166083 43 | 0.000 % | 401.89/401.90 c | 2357601 | 1320 109969 362654 | 1 167022 43 | 0.000 % | 401.89/401.90 c | 2373577 | 1320 109969 362654 | 1 182998 46 | 0.000 % | 401.89/401.90 c | 2377555 | 1320 109969 362654 | 1 186976 46 | 0.000 % | 401.89/401.90 c | 2383466 | 1320 109969 362654 | 1 192887 47 | 0.000 % | 401.89/401.90 c | 2388349 | 1320 109969 362654 | 1 197770 47 | 0.000 % | 401.89/401.90 c | 2390781 | 1320 109969 362654 | 1 200202 47 | 0.000 % | 401.89/401.90 c | 2407127 | 1320 109969 362654 | 1 108560 32 | 0.000 % | 401.89/401.90 c | 2408691 | 1320 109969 362654 | 1 110124 33 | 0.000 % | 401.89/401.90 c | 2408874 | 1320 109969 362654 | 1 110307 33 | 0.000 % | 401.89/401.90 c | 2422946 | 1320 109969 362654 | 1 124379 36 | 0.000 % | 401.89/401.90 c | 2425353 | 1320 109969 362654 | 1 126786 37 | 0.000 % | 401.89/401.90 c | 2425503 | 1320 109969 362654 | 1 126936 37 | 0.000 % | 401.89/401.90 c | 2428486 | 1320 109969 362654 | 1 129919 37 | 0.000 % | 401.89/401.90 c | 2428587 | 1320 109969 362654 | 1 130020 37 | 0.000 % | 401.89/401.90 c | 2439128 | 1320 109969 362654 | 1 140561 38 | 0.000 % | 401.89/401.90 c | 2439366 | 1320 109969 362654 | 1 140799 38 | 0.000 % | 401.89/401.90 c | 2439466 | 1320 109969 362654 | 1 140899 38 | 0.000 % | 401.89/401.90 c | 2440942 | 1320 109969 362654 | 1 142375 38 | 0.000 % | 401.89/401.90 c | 2452166 | 1320 109969 362654 | 1 153599 40 | 0.000 % | 401.89/401.90 c | 2465336 | 1320 109969 362654 | 1 166769 41 | 0.000 % | 401.89/401.90 c | 2465505 | 1320 109969 362654 | 1 166938 41 | 0.000 % | 401.89/401.90 c | 2483517 | 1320 109969 362654 | 1 184950 43 | 0.000 % | 401.89/401.90 c | 2483752 | 1320 109969 362654 | 1 185185 43 | 0.000 % | 401.89/401.90 c | 2483925 | 1320 109969 362654 | 1 185358 43 | 0.000 % | 401.89/401.90 c | 2484025 | 1320 109969 362654 | 1 185458 43 | 0.000 % | 401.89/401.90 c | 2490957 | 1320 109969 362654 | 1 192390 43 | 0.000 % | 401.89/401.90 c | 2495525 | 1320 109969 362654 | 1 196958 44 | 0.000 % | 401.89/401.90 c | 2495788 | 1320 109969 362654 | 1 197221 44 | 0.000 % | 401.89/401.90 c | 2498253 | 1320 109969 362654 | 1 199686 45 | 0.000 % | 401.89/401.90 c | 2515377 | 1320 109969 362654 | 1 216810 46 | 0.000 % | 401.89/401.90 c | 2517766 | 1320 109969 362654 | 1 219199 46 | 0.000 % | 401.89/401.90 c | 2518246 | 1320 109969 362654 | 1 219679 46 | 0.000 % | 401.89/401.90 c | 2529440 | 1320 109969 362654 | 1 120273 33 | 0.000 % | 401.89/401.90 c | 2537947 | 1320 109969 362654 | 1 128780 35 | 0.000 % | 401.89/401.90 c | 2541177 | 1320 109969 362654 | 1 132010 36 | 0.000 % | 401.89/401.90 c | 2541317 | 1320 109969 362654 | 1 132150 36 | 0.000 % | 401.89/401.90 c | 2561262 | 1320 109969 362654 | 1 152095 39 | 0.000 % | 401.89/401.90 c | 2561798 | 1320 109969 362654 | 1 152631 39 | 0.000 % | 401.89/401.90 c | 2585560 | 1320 109969 362654 | 1 176393 42 | 0.000 % | 401.89/401.90 c | 2591918 | 1320 109969 362654 | 1 182751 42 | 0.000 % | 401.89/401.90 c | 2592834 | 1320 109969 362654 | 1 183667 42 | 0.000 % | 401.89/401.90 c | 2609197 | 1320 109969 362654 | 1 200030 43 | 0.000 % | 458.39/458.41 c | 2641503 | 1320 109969 362654 | 1 119127 31 | 0.000 % | 458.39/458.41 c | 2641762 | 1320 109969 362654 | 1 119386 31 | 0.000 % | 458.39/458.41 c | 2650673 | 1320 109969 362654 | 1 128297 33 | 0.000 % | 458.39/458.41 c | 2658785 | 1320 109969 362654 | 1 136409 35 | 0.000 % | 458.39/458.41 c | 2659732 | 1320 109969 362654 | 1 137356 35 | 0.000 % | 458.39/458.41 c | 2661158 | 1320 109969 362654 | 1 138782 35 | 0.000 % | 458.39/458.41 c | 2665517 | 1320 109969 362654 | 1 143141 36 | 0.000 % | 458.39/458.41 c | 2667622 | 1320 109969 362654 | 1 145246 36 | 0.000 % | 458.39/458.41 c | 2669827 | 1320 109969 362654 | 1 147451 37 | 0.000 % | 458.39/458.41 c | 2670618 | 1320 109969 362654 | 1 148242 37 | 0.000 % | 458.39/458.41 c | 2670719 | 1320 109969 362654 | 1 148343 37 | 0.000 % | 458.39/458.41 c | 2670821 | 1320 109969 362654 | 1 148445 37 | 0.000 % | 458.39/458.41 c | 2670922 | 1320 109969 362654 | 1 148546 37 | 0.000 % | 458.39/458.41 c | 2671022 | 1320 109969 362654 | 1 148646 37 | 0.000 % | 458.39/458.41 c | 2671192 | 1320 109969 362654 | 1 148816 37 | 0.000 % | 458.39/458.41 c | 2672100 | 1320 109969 362654 | 1 149724 37 | 0.000 % | 458.39/458.41 c | 2679410 | 1320 109969 362654 | 1 157034 38 | 0.000 % | 458.39/458.41 c | 2683740 | 1320 109969 362654 | 1 161364 39 | 0.000 % | 458.39/458.41 c | 2684665 | 1320 109969 362654 | 1 162289 39 | 0.000 % | 458.39/458.41 c | 2684800 | 1320 109969 362654 | 1 162424 39 | 0.000 % | 458.39/458.41 c | 2698433 | 1320 109969 362654 | 1 176057 41 | 0.000 % | 458.39/458.41 c | 2725126 | 1320 109969 362654 | 1 202750 43 | 0.000 % | 458.39/458.41 c | 2725336 | 1320 109969 362654 | 1 202960 43 | 0.000 % | 458.39/458.41 c | 2725437 | 1320 109969 362654 | 1 203061 43 | 0.000 % | 458.39/458.41 c | 2725578 | 1320 109969 362654 | 1 203202 43 | 0.000 % | 458.39/458.41 c | 2745361 | 1320 109969 362654 | 1 222985 44 | 0.000 % | 458.39/458.41 c | 2745779 | 1320 109969 362654 | 1 223403 44 | 0.000 % | 458.39/458.41 c | 2746299 | 1320 109969 362654 | 1 223923 44 | 0.000 % | 458.39/458.41 c | 2746399 | 1320 109969 362654 | 1 224023 44 | 0.000 % | 458.39/458.41 c | 2749084 | 1320 109969 362654 | 1 226708 44 | 0.000 % | 458.39/458.41 c | 2749184 | 1320 109969 362654 | 1 226808 44 | 0.000 % | 458.39/458.41 c | 2765680 | 1320 109969 362654 | 1 127496 33 | 0.000 % | 458.39/458.41 c | 2783561 | 1320 109969 362654 | 1 145377 35 | 0.000 % | 458.39/458.41 c | 2799264 | 1320 109969 362654 | 1 161080 37 | 0.000 % | 458.39/458.41 c | 2800677 | 1320 109969 362654 | 1 162493 38 | 0.000 % | 458.39/458.41 c | 2801908 | 1320 109969 362654 | 1 163724 38 | 0.000 % | 458.39/458.41 c | 2804200 | 1320 109969 362654 | 1 166016 38 | 0.000 % | 458.39/458.41 c | 2807945 | 1320 109969 362654 | 1 169761 39 | 0.000 % | 458.39/458.41 c | 2808159 | 1320 109969 362654 | 1 169975 39 | 0.000 % | 458.39/458.41 c | 2820472 | 1320 109969 362654 | 1 182288 40 | 0.000 % | 458.39/458.41 c | 2820670 | 1320 109969 362654 | 1 182486 40 | 0.000 % | 458.39/458.41 c | 2838882 | 1320 109969 362654 | 1 200698 41 | 0.000 % | 458.39/458.41 c | 2847523 | 1320 109969 362654 | 1 209339 42 | 0.000 % | 458.39/458.41 c | 2859664 | 1320 109969 362654 | 1 221480 43 | 0.000 % | 458.39/458.41 c | 2860419 | 1320 109969 362654 | 1 222235 43 | 0.000 % | 458.39/458.41 c | 2861239 | 1320 109969 362654 | 1 223055 43 | 0.000 % | 458.39/458.41 c | 2861796 | 1320 109969 362654 | 1 223612 43 | 0.000 % | 458.39/458.41 c | 2862402 | 1320 109969 362654 | 1 224218 43 | 0.000 % | 458.39/458.41 c | 2881900 | 1320 109969 362654 | 1 125317 31 | 0.000 % | 514.49/514.55 c | 2883467 | 1320 109969 362654 | 1 126884 31 | 0.000 % | 514.49/514.55 c | 2893510 | 1320 109969 362654 | 1 136927 33 | 0.000 % | 514.49/514.55 c | 2893665 | 1320 109969 362654 | 1 137082 33 | 0.000 % | 514.49/514.55 c | 2910583 | 1320 109969 362654 | 1 154000 37 | 0.000 % | 514.49/514.55 c | 2911929 | 1320 109969 362654 | 1 155346 37 | 0.000 % | 514.49/514.55 c | 2912636 | 1320 109969 362654 | 1 156053 37 | 0.000 % | 514.49/514.55 c | 2913196 | 1320 109969 362654 | 1 156613 37 | 0.000 % | 514.49/514.55 c | 2913296 | 1320 109969 362654 | 1 156713 37 | 0.000 % | 514.49/514.55 c | 2922054 | 1320 109969 362654 | 1 165471 39 | 0.000 % | 514.49/514.55 c | 2953451 | 1320 109969 362654 | 1 196868 44 | 0.000 % | 514.49/514.55 c | 2961658 | 1320 109969 362654 | 1 205075 44 | 0.000 % | 514.49/514.55 c | 2968876 | 1320 109969 362654 | 1 212293 45 | 0.000 % | 514.49/514.55 c | 2972710 | 1320 109969 362654 | 1 216127 45 | 0.000 % | 514.49/514.55 c | 2972811 | 1320 109969 362654 | 1 216228 45 | 0.000 % | 514.49/514.55 c | 2972911 | 1320 109969 362654 | 1 216328 45 | 0.000 % | 514.49/514.55 c | 2988965 | 1320 109969 362654 | 1 232382 47 | 0.000 % | 514.49/514.55 c | 2989333 | 1320 109969 362654 | 1 232750 47 | 0.000 % | 514.49/514.55 c | 2989433 | 1320 109969 362654 | 1 232850 47 | 0.000 % | 514.49/514.55 c | 2989533 | 1320 109969 362654 | 1 232950 47 | 0.000 % | 514.49/514.55 c | 2993494 | 1320 109969 362654 | 1 236911 47 | 0.000 % | 514.49/514.55 c | 2996307 | 1320 109969 362654 | 1 239724 47 | 0.000 % | 514.49/514.55 c | 2996811 | 1320 109969 362654 | 1 240228 47 | 0.000 % | 514.49/514.55 c | 2997704 | 1320 109969 362654 | 1 241121 48 | 0.000 % | 514.49/514.55 c | 3000472 | 1320 109969 362654 | 1 122891 32 | 0.000 % | 514.49/514.55 c | 3008833 | 1320 109969 362654 | 1 131252 33 | 0.000 % | 514.49/514.55 c | 3009010 | 1320 109969 362654 | 1 131429 33 | 0.000 % | 514.49/514.55 c | 3020544 | 1320 109969 362654 | 1 142963 35 | 0.000 % | 514.49/514.55 c | 3020645 | 1320 109969 362654 | 1 143064 35 | 0.000 % | 514.49/514.55 c | 3021388 | 1320 109969 362654 | 1 143807 36 | 0.000 % | 514.49/514.55 c | 3038293 | 1320 109969 362654 | 1 160712 39 | 0.000 % | 514.49/514.55 c | 3057889 | 1320 109969 362654 | 1 180308 42 | 0.000 % | 514.49/514.55 c | 3072449 | 1320 109969 362654 | 1 194868 43 | 0.000 % | 514.49/514.55 c | 3077167 | 1320 109969 362654 | 1 199586 43 | 0.000 % | 514.49/514.55 c | 3077854 | 1320 109969 362654 | 1 200273 44 | 0.000 % | 514.49/514.55 c | 3081645 | 1320 109969 362654 | 1 204064 44 | 0.000 % | 514.49/514.55 c | 3081745 | 1320 109969 362654 | 1 204164 44 | 0.000 % | 514.49/514.55 c | 3086516 | 1320 109969 362654 | 1 208935 44 | 0.000 % | 514.49/514.55 c | 3087249 | 1320 109969 362654 | 1 209668 44 | 0.000 % | 514.49/514.55 c | 3098968 | 1320 109969 362654 | 1 221387 45 | 0.000 % | 514.49/514.55 c | 3100615 | 1320 109969 362654 | 1 223034 45 | 0.000 % | 514.49/514.55 c | 3104549 | 1320 109969 362654 | 1 226968 45 | 0.000 % | 514.49/514.55 c | 3104705 | 1320 109969 362654 | 1 227124 45 | 0.000 % | 514.49/514.55 c | 3106084 | 1320 109969 362654 | 1 228503 45 | 0.000 % | 514.49/514.55 c | 3106185 | 1320 109969 362654 | 1 228604 45 | 0.000 % | 514.49/514.55 c | 3117331 | 1320 109969 362654 | 1 239750 46 | 0.000 % | 514.49/514.55 c | 3117432 | 1320 109969 362654 | 1 239851 46 | 0.000 % | 514.49/514.55 c | 3117926 | 1320 109969 362654 | 1 240345 46 | 0.000 % | 514.49/514.55 c | 3120341 | 1320 109969 362654 | 1 242760 46 | 0.000 % | 514.49/514.55 c | 3127080 | 1320 109969 362654 | 1 125904 31 | 0.000 % | 514.49/514.55 c | 3134289 | 1320 109969 362654 | 1 133113 32 | 0.000 % | 562.89/562.97 c | 3134392 | 1320 109969 362654 | 1 133216 32 | 0.000 % | 562.89/562.97 c | 3137519 | 1320 109969 362654 | 1 136343 33 | 0.000 % | 562.89/562.97 c | 3145537 | 1320 109969 362654 | 1 144361 34 | 0.000 % | 562.89/562.97 c | 3149173 | 1320 109969 362654 | 1 147997 34 | 0.000 % | 562.89/562.97 c | 3149277 | 1320 109969 362654 | 1 148101 34 | 0.000 % | 562.89/562.97 c | 3150236 | 1320 109969 362654 | 1 149060 35 | 0.000 % | 562.89/562.97 c | 3151519 | 1320 109969 362654 | 1 150343 35 | 0.000 % | 562.89/562.97 c | 3161999 | 1320 109969 362654 | 1 160823 37 | 0.000 % | 562.89/562.97 c | 3168232 | 1320 109969 362654 | 1 167056 38 | 0.000 % | 562.89/562.97 c | 3170271 | 1320 109969 362654 | 1 169095 38 | 0.000 % | 562.89/562.97 c | 3170864 | 1320 109969 362654 | 1 169688 38 | 0.000 % | 562.89/562.97 c | 3173790 | 1320 109969 362654 | 1 172614 39 | 0.000 % | 562.89/562.97 c | 3176565 | 1320 109969 362654 | 1 175389 39 | 0.000 % | 562.89/562.97 c | 3177569 | 1320 109969 362654 | 1 176393 39 | 0.000 % | 562.89/562.97 c | 3192915 | 1320 109969 362654 | 1 191739 40 | 0.000 % | 562.89/562.97 c | 3193016 | 1320 109969 362654 | 1 191840 40 | 0.000 % | 562.89/562.97 c | 3196799 | 1320 109969 362654 | 1 195623 41 | 0.000 % | 562.89/562.97 c | 3197833 | 1320 109969 362654 | 1 196657 41 | 0.000 % | 562.89/562.97 c | 3208949 | 1320 109969 362654 | 1 207773 42 | 0.000 % | 562.89/562.97 c | 3209050 | 1320 109969 362654 | 1 207874 42 | 0.000 % | 562.89/562.97 c | 3224116 | 1320 109969 362654 | 1 222940 43 | 0.000 % | 562.89/562.97 c | 3227122 | 1320 109969 362654 | 1 225946 43 | 0.000 % | 562.89/562.97 c | 3233324 | 1320 109969 362654 | 1 232148 44 | 0.000 % | 562.89/562.97 c | 3233424 | 1320 109969 362654 | 1 232248 44 | 0.000 % | 562.89/562.97 c | 3251382 | 1320 109969 362654 | 1 250206 44 | 0.000 % | 562.89/562.97 c | 3274531 | 1320 109969 362654 | 1 147152 35 | 0.000 % | 562.89/562.97 c | 3275028 | 1320 109969 362654 | 1 147649 35 | 0.000 % | 562.89/562.97 c | 3275167 | 1320 109969 362654 | 1 147788 35 | 0.000 % | 562.89/562.97 c | 3275811 | 1320 109969 362654 | 1 148432 35 | 0.000 % | 562.89/562.97 c | 3275911 | 1320 109969 362654 | 1 148532 35 | 0.000 % | 562.89/562.97 c | 3287079 | 1320 109969 362654 | 1 159700 37 | 0.000 % | 562.89/562.97 c | 3287855 | 1320 109969 362654 | 1 160476 37 | 0.000 % | 562.89/562.97 c | 3288194 | 1320 109969 362654 | 1 160815 37 | 0.000 % | 562.89/562.97 c | 3307479 | 1320 109969 362654 | 1 180100 39 | 0.000 % | 562.89/562.97 c | 3335679 | 1320 109969 362654 | 1 208300 41 | 0.000 % | 562.89/562.97 c | 3339467 | 1320 109969 362654 | 1 212088 42 | 0.000 % | 562.89/562.97 c | 3339567 | 1320 109969 362654 | 1 212188 42 | 0.000 % | 562.89/562.97 c | 3344029 | 1320 109969 362654 | 1 216650 42 | 0.000 % | 562.89/562.97 c | 3344755 | 1320 109969 362654 | 1 217376 42 | 0.000 % | 562.89/562.97 c | 3344922 | 1320 109969 362654 | 1 217543 42 | 0.000 % | 562.89/562.97 c | 3347929 | 1320 109969 362654 | 1 220550 42 | 0.000 % | 562.89/562.97 c | 3348800 | 1320 109969 362654 | 1 221421 42 | 0.000 % | 562.89/562.97 c | 3349359 | 1320 109969 362654 | 1 221980 42 | 0.000 % | 562.89/562.97 c | 3360653 | 1320 109969 362654 | 1 233274 43 | 0.000 % | 562.89/562.97 c | 3363624 | 1320 109969 362654 | 1 236245 43 | 0.000 % | 562.89/562.97 c | 3367487 | 1320 109969 362654 | 1 240108 44 | 0.000 % | 562.89/562.97 c | 3367660 | 1320 109969 362654 | 1 240281 44 | 0.000 % | 562.89/562.97 c | 3367760 | 1320 109969 362654 | 1 240381 44 | 0.000 % | 562.89/562.97 c | 3367860 | 1320 109969 362654 | 1 240481 44 | 0.000 % | 562.89/562.97 c | 3370222 | 1320 109969 362654 | 1 242843 44 | 0.000 % | 617.29/617.38 c | 3376127 | 1320 109969 362654 | 1 248748 45 | 0.000 % | 617.29/617.38 c | 3381600 | 1320 109969 362654 | 1 254221 45 | 0.000 % | 617.29/617.38 c | 3382172 | 1320 109969 362654 | 1 254793 45 | 0.000 % | 617.29/617.38 c | 3382392 | 1320 109969 362654 | 1 255013 45 | 0.000 % | 617.29/617.38 c | 3382667 | 1320 109969 362654 | 1 255288 45 | 0.000 % | 617.29/617.38 c | 3383319 | 1320 109969 362654 | 1 255940 45 | 0.000 % | 617.29/617.38 c | 3385198 | 1320 109969 362654 | 1 129028 30 | 0.000 % | 617.29/617.38 c | 3385794 | 1320 109969 362654 | 1 129624 30 | 0.000 % | 617.29/617.38 c | 3396945 | 1320 109969 362654 | 1 140775 33 | 0.000 % | 617.29/617.38 c | 3435689 | 1320 109969 362654 | 1 179519 39 | 0.000 % | 617.29/617.38 c | 3449087 | 1320 109969 362654 | 1 192917 41 | 0.000 % | 617.29/617.38 c | 3451020 | 1320 109969 362654 | 1 194850 41 | 0.000 % | 617.29/617.38 c | 3451120 | 1320 109969 362654 | 1 194950 41 | 0.000 % | 617.29/617.38 c | 3451457 | 1320 109969 362654 | 1 195287 41 | 0.000 % | 617.29/617.38 c | 3457305 | 1320 109969 362654 | 1 201135 42 | 0.000 % | 617.29/617.38 c | 3460289 | 1320 109969 362654 | 1 204119 42 | 0.000 % | 617.29/617.38 c | 3466906 | 1320 109969 362654 | 1 210736 43 | 0.000 % | 617.29/617.38 c | 3467092 | 1320 109969 362654 | 1 210922 43 | 0.000 % | 617.29/617.38 c | 3474145 | 1320 109969 362654 | 1 217975 44 | 0.000 % | 617.29/617.38 c | 3475955 | 1320 109969 362654 | 1 219785 44 | 0.000 % | 617.29/617.38 c | 3478569 | 1320 109969 362654 | 1 222399 44 | 0.000 % | 617.29/617.38 c | 3489498 | 1320 109969 362654 | 1 233328 45 | 0.000 % | 617.29/617.38 c | 3497849 | 1320 109969 362654 | 1 241679 46 | 0.000 % | 617.29/617.38 c | 3510944 | 1320 109969 362654 | 1 254774 46 | 0.000 % | 617.29/617.38 c | 3527646 | 1320 109969 362654 | 1 140072 32 | 0.000 % | 617.29/617.38 c | 3529708 | 1320 109969 362654 | 1 142134 32 | 0.000 % | 617.29/617.38 c | 3549267 | 1320 109969 362654 | 1 161693 35 | 0.000 % | 617.29/617.38 c | 3553044 | 1320 109969 362654 | 1 165470 36 | 0.000 % | 617.29/617.38 c | 3554243 | 1320 109969 362654 | 1 166669 36 | 0.000 % | 617.29/617.38 c | 3554451 | 1320 109969 362654 | 1 166877 36 | 0.000 % | 617.29/617.38 c | 3554735 | 1320 109969 362654 | 1 167161 36 | 0.000 % | 617.29/617.38 c | 3559153 | 1320 109969 362654 | 1 171579 37 | 0.000 % | 617.29/617.38 c | 3565069 | 1320 109969 362654 | 1 177495 38 | 0.000 % | 617.29/617.38 c | 3565823 | 1320 109969 362654 | 1 178249 38 | 0.000 % | 617.29/617.38 c | 3566920 | 1320 109969 362654 | 1 179346 38 | 0.000 % | 617.29/617.38 c | 3567645 | 1320 109969 362654 | 1 180071 38 | 0.000 % | 617.29/617.38 c | 3568503 | 1320 109969 362654 | 1 180929 38 | 0.000 % | 617.29/617.38 c | 3568604 | 1320 109969 362654 | 1 181030 38 | 0.000 % | 617.29/617.38 c | 3579651 | 1320 109969 362654 | 1 192077 40 | 0.000 % | 617.29/617.38 c | 3580420 | 1320 109969 362654 | 1 192846 40 | 0.000 % | 617.29/617.38 c | 3581654 | 1320 109969 362654 | 1 194080 41 | 0.000 % | 617.29/617.38 c | 3582052 | 1320 109969 362654 | 1 194478 41 | 0.000 % | 617.29/617.38 c | 3582359 | 1320 109969 362654 | 1 194785 41 | 0.000 % | 617.29/617.38 c | 3592816 | 1320 109969 362654 | 1 205242 42 | 0.000 % | 617.29/617.38 c | 3606468 | 1320 109969 362654 | 1 218894 43 | 0.000 % | 617.29/617.38 c | 3606675 | 1320 109969 362654 | 1 219101 43 | 0.000 % | 617.29/617.38 c | 3625422 | 1320 109969 362654 | 1 237848 44 | 0.000 % | 617.29/617.38 c | 3628202 | 1320 109969 362654 | 1 240628 44 | 0.000 % | 617.29/617.38 c | 3633280 | 1320 109969 362654 | 1 245706 44 | 0.000 % | 617.29/617.38 c | 3637161 | 1320 109969 362654 | 1 249587 44 | 0.000 % | 670.50/670.57 c | 3641168 | 1320 109969 362654 | 1 253594 44 | 0.000 % | 670.50/670.57 c | 3641924 | 1320 109969 362654 | 1 254350 44 | 0.000 % | 670.50/670.57 c | 3642024 | 1320 109969 362654 | 1 254450 44 | 0.000 % | 670.50/670.57 c | 3645981 | 1320 109969 362654 | 1 258407 45 | 0.000 % | 670.50/670.57 c | 3646287 | 1320 109969 362654 | 1 258713 45 | 0.000 % | 670.50/670.57 c | 3649041 | 1320 109969 362654 | 1 261467 45 | 0.000 % | 670.50/670.57 c | 3649672 | 1320 109969 362654 | 1 262098 45 | 0.000 % | 670.50/670.57 c | 3656029 | 1320 109969 362654 | 1 134448 30 | 0.000 % | 670.50/670.57 c | 3665015 | 1320 109969 362654 | 1 143434 31 | 0.000 % | 670.50/670.57 c | 3674407 | 1320 109969 362654 | 1 152826 33 | 0.000 % | 670.50/670.57 c | 3677273 | 1320 109969 362654 | 1 155692 34 | 0.000 % | 670.50/670.57 c | 3677373 | 1320 109969 362654 | 1 155792 34 | 0.000 % | 670.50/670.57 c | 3677473 | 1320 109969 362654 | 1 155892 34 | 0.000 % | 670.50/670.57 c | 3684357 | 1320 109969 362654 | 1 162776 36 | 0.000 % | 670.50/670.57 c | 3685212 | 1320 109969 362654 | 1 163631 36 | 0.000 % | 670.50/670.57 c | 3687486 | 1320 109969 362654 | 1 165905 36 | 0.000 % | 670.50/670.57 c | 3687626 | 1320 109969 362654 | 1 166045 36 | 0.000 % | 670.50/670.57 c | 3687729 | 1320 109969 362654 | 1 166148 36 | 0.000 % | 670.50/670.57 c | 3700981 | 1320 109969 362654 | 1 179400 37 | 0.000 % | 670.50/670.57 c | 3701135 | 1320 109969 362654 | 1 179554 37 | 0.000 % | 670.50/670.57 c | 3701235 | 1320 109969 362654 | 1 179654 37 | 0.000 % | 670.50/670.57 c | 3702275 | 1320 109969 362654 | 1 180694 37 | 0.000 % | 670.50/670.57 c | 3707013 | 1320 109969 362654 | 1 185432 38 | 0.000 % | 670.50/670.57 c | 3707517 | 1320 109969 362654 | 1 185936 38 | 0.000 % | 670.50/670.57 c | 3722503 | 1320 109969 362654 | 1 200922 40 | 0.000 % | 670.50/670.57 c | 3732050 | 1320 109969 362654 | 1 210469 41 | 0.000 % | 670.50/670.57 c | 3732529 | 1320 109969 362654 | 1 210948 41 | 0.000 % | 670.50/670.57 c | 3737800 | 1320 109969 362654 | 1 216219 42 | 0.000 % | 670.50/670.57 c | 3738963 | 1320 109969 362654 | 1 217382 42 | 0.000 % | 670.50/670.57 c | 3740563 | 1320 109969 362654 | 1 218982 42 | 0.000 % | 670.50/670.57 c | 3749881 | 1320 109969 362654 | 1 228300 43 | 0.000 % | 670.50/670.57 c | 3755760 | 1320 109969 362654 | 1 234179 44 | 0.000 % | 670.50/670.57 c | 3755966 | 1320 109969 362654 | 1 234385 44 | 0.000 % | 670.50/670.57 c | 3760109 | 1320 109969 362654 | 1 238528 44 | 0.000 % | 670.50/670.57 c | 3760323 | 1320 109969 362654 | 1 238742 44 | 0.000 % | 670.50/670.57 c | 3771641 | 1320 109969 362654 | 1 250060 45 | 0.000 % | 670.50/670.57 c | 3786693 | 1320 109969 362654 | 1 265112 46 | 0.000 % | 670.50/670.57 c | 3793239 | 1320 109969 362654 | 1 271658 47 | 0.000 % | 670.50/670.57 c | 3800829 | 1320 109969 362654 | 1 142651 32 | 0.000 % | 670.50/670.57 c | 3805510 | 1320 109969 362654 | 1 147332 33 | 0.000 % | 670.50/670.57 c | 3813899 | 1320 109969 362654 | 1 155721 34 | 0.000 % | 670.50/670.57 c | 3815569 | 1320 109969 362654 | 1 157391 35 | 0.000 % | 670.50/670.57 c | 3818582 | 1320 109969 362654 | 1 160404 35 | 0.000 % | 670.50/670.57 c | 3846942 | 1320 109969 362654 | 1 188764 38 | 0.000 % | 670.50/670.57 c | 3847113 | 1320 109969 362654 | 1 188935 38 | 0.000 % | 670.50/670.57 c | 3847396 | 1320 109969 362654 | 1 189218 39 | 0.000 % | 670.50/670.57 c | 3867936 | 1320 109969 362654 | 1 209758 41 | 0.000 % | 670.50/670.57 c | 3871679 | 1320 109969 362654 | 1 213501 41 | 0.000 % | 670.50/670.57 c | 3872267 | 1320 109969 362654 | 1 214089 41 | 0.000 % | 670.50/670.57 c | 3885364 | 1320 109969 362654 | 1 227186 42 | 0.000 % | 712.70/712.75 c | 3885775 | 1320 109969 362654 | 1 227597 42 | 0.000 % | 712.70/712.75 c | 3894253 | 1320 109969 362654 | 1 236075 43 | 0.000 % | 712.70/712.75 c | 3897074 | 1320 109969 362654 | 1 238896 44 | 0.000 % | 712.70/712.75 c | 3899136 | 1320 109969 362654 | 1 240958 44 | 0.000 % | 712.70/712.75 c | 3902048 | 1320 109969 362654 | 1 243870 44 | 0.000 % | 712.70/712.75 c | 3902503 | 1320 109969 362654 | 1 244325 44 | 0.000 % | 712.70/712.75 c | 3906608 | 1320 109969 362654 | 1 248430 44 | 0.000 % | 712.70/712.75 c | 3908952 | 1320 109969 362654 | 1 250774 45 | 0.000 % | 712.70/712.75 c | 3911592 | 1320 109969 362654 | 1 253414 45 | 0.000 % | 712.70/712.75 c | 3913632 | 1320 109969 362654 | 1 255454 45 | 0.000 % | 712.70/712.75 c | 3914921 | 1320 109969 362654 | 1 256743 45 | 0.000 % | 712.70/712.75 c | 3919697 | 1320 109969 362654 | 1 261519 45 | 0.000 % | 712.70/712.75 c | 3929177 | 1320 109969 362654 | 1 270999 46 | 0.000 % | 712.70/712.75 c | 3931625 | 1320 109969 362654 | 1 273447 46 | 0.000 % | 712.70/712.75 c | 3931834 | 1320 109969 362654 | 1 273656 46 | 0.000 % | 712.70/712.75 c | 3932058 | 1320 109969 362654 | 1 273880 46 | 0.000 % | 712.70/712.75 c | 3937236 | 1320 109969 362654 | 1 139864 30 | 0.000 % | 712.70/712.75 c | 3937365 | 1320 109969 362654 | 1 139993 30 | 0.000 % | 712.70/712.75 c | 3942396 | 1320 109969 362654 | 1 145024 31 | 0.000 % | 712.70/712.75 c | 3945636 | 1320 109969 362654 | 1 148264 32 | 0.000 % | 712.70/712.75 c | 3952729 | 1320 109969 362654 | 1 155357 34 | 0.000 % | 712.70/712.75 c | 3961705 | 1320 109969 362654 | 1 164333 35 | 0.000 % | 712.70/712.75 c | 3962171 | 1320 109969 362654 | 1 164799 35 | 0.000 % | 712.70/712.75 c | 3965167 | 1320 109969 362654 | 1 167795 36 | 0.000 % | 712.70/712.75 c | 3973869 | 1320 109969 362654 | 1 176497 37 | 0.000 % | 712.70/712.75 c | 3973970 | 1320 109969 362654 | 1 176598 37 | 0.000 % | 712.70/712.75 c | 3981045 | 1320 109969 362654 | 1 183673 38 | 0.000 % | 712.70/712.75 c | 3984878 | 1320 109969 362654 | 1 187506 38 | 0.000 % | 712.70/712.75 c | 3987249 | 1320 109969 362654 | 1 189877 39 | 0.000 % | 712.70/712.75 c | 3987350 | 1320 109969 362654 | 1 189978 39 | 0.000 % | 712.70/712.75 c | 3987766 | 1320 109969 362654 | 1 190394 39 | 0.000 % | 712.70/712.75 c | 3989357 | 1320 109969 362654 | 1 191985 39 | 0.000 % | 712.70/712.75 c | 3989457 | 1320 109969 362654 | 1 192085 39 | 0.000 % | 712.70/712.75 c | 3990107 | 1320 109969 362654 | 1 192735 39 | 0.000 % | 712.70/712.75 c | 3999207 | 1320 109969 362654 | 1 201835 39 | 0.000 % | 712.70/712.75 c | 4013953 | 1320 109969 362654 | 1 216581 40 | 0.000 % | 712.70/712.75 c | 4016735 | 1320 109969 362654 | 1 219363 41 | 0.000 % | 712.70/712.75 c | 4017468 | 1320 109969 362654 | 1 220096 41 | 0.000 % | 712.70/712.75 c | 4026181 | 1320 109969 362654 | 1 228809 42 | 0.000 % | 712.70/712.75 c | 4027780 | 1320 109969 362654 | 1 230408 42 | 0.000 % | 712.70/712.75 c | 4027884 | 1320 109969 362654 | 1 230512 42 | 0.000 % | 712.70/712.75 c | 4035353 | 1320 109969 362654 | 1 237981 42 | 0.000 % | 712.70/712.75 c | 4039116 | 1320 109969 362654 | 1 241744 42 | 0.000 % | 712.70/712.75 c | 4039231 | 1320 109969 362654 | 1 241859 42 | 0.000 % | 712.70/712.75 c | 4053103 | 1320 109969 362654 | 1 255731 43 | 0.000 % | 712.70/712.75 c | 4059406 | 1320 109969 362654 | 1 262034 43 | 0.000 % | 712.70/712.75 c | 4066160 | 1320 109969 362654 | 1 268788 44 | 0.000 % | 712.70/712.75 c | 4066260 | 1320 109969 362654 | 1 268888 44 | 0.000 % | 712.70/712.75 c | 4069972 | 1320 109969 362654 | 1 272600 44 | 0.000 % | 712.70/712.75 c | 4070072 | 1320 109969 362654 | 1 272700 44 | 0.000 % | 758.39/758.49 c | 4070172 | 1320 109969 362654 | 1 272800 44 | 0.000 % | 758.39/758.49 c | 4070272 | 1320 109969 362654 | 1 272900 44 | 0.000 % | 758.39/758.49 c | 4070372 | 1320 109969 362654 | 1 273000 44 | 0.000 % | 758.39/758.49 c | 4071925 | 1320 109969 362654 | 1 274553 44 | 0.000 % | 758.39/758.49 c | 4077749 | 1320 109969 362654 | 1 280377 45 | 0.000 % | 758.39/758.49 c | 4077849 | 1320 109969 362654 | 1 280477 45 | 0.000 % | 758.39/758.49 c | 4077951 | 1320 109969 362654 | 1 280579 45 | 0.000 % | 758.39/758.49 c | 4078143 | 1320 109969 362654 | 1 280771 45 | 0.000 % | 758.39/758.49 c | 4078290 | 1320 109969 362654 | 1 280918 45 | 0.000 % | 758.39/758.49 c | 4079185 | 1320 109969 362654 | 1 281813 45 | 0.000 % | 758.39/758.49 c | 4083366 | 1320 109969 362654 | 1 144184 30 | 0.000 % | 758.39/758.49 c | 4091366 | 1320 109969 362654 | 1 152184 32 | 0.000 % | 758.39/758.49 c | 4095753 | 1320 109969 362654 | 1 156571 33 | 0.000 % | 758.39/758.49 c | 4096730 | 1320 109969 362654 | 1 157548 33 | 0.000 % | 758.39/758.49 c | 4101409 | 1320 109969 362654 | 1 162227 34 | 0.000 % | 758.39/758.49 c | 4110969 | 1320 109969 362654 | 1 171787 35 | 0.000 % | 758.39/758.49 c | 4112345 | 1320 109969 362654 | 1 173163 35 | 0.000 % | 758.39/758.49 c | 4112516 | 1320 109969 362654 | 1 173334 35 | 0.000 % | 758.39/758.49 c | 4121338 | 1320 109969 362654 | 1 182156 36 | 0.000 % | 758.39/758.49 c | 4133069 | 1320 109969 362654 | 1 193887 37 | 0.000 % | 758.39/758.49 c | 4133427 | 1320 109969 362654 | 1 194245 37 | 0.000 % | 758.39/758.49 c | 4135200 | 1320 109969 362654 | 1 196018 38 | 0.000 % | 758.39/758.49 c | 4135300 | 1320 109969 362654 | 1 196118 38 | 0.000 % | 758.39/758.49 c | 4137002 | 1320 109969 362654 | 1 197820 38 | 0.000 % | 758.39/758.49 c | 4159137 | 1320 109969 362654 | 1 219955 40 | 0.000 % | 758.39/758.49 c | 4159741 | 1320 109969 362654 | 1 220559 40 | 0.000 % | 758.39/758.49 c | 4159842 | 1320 109969 362654 | 1 220660 41 | 0.000 % | 758.39/758.49 c | 4197721 | 1320 109969 362654 | 1 258539 42 | 0.000 % | 758.39/758.49 c | 4201908 | 1320 109969 362654 | 1 262726 42 | 0.000 % | 758.39/758.49 c | 4202161 | 1320 109969 362654 | 1 262979 42 | 0.000 % | 758.39/758.49 c | 4221812 | 1320 109969 362654 | 1 282630 44 | 0.000 % | 758.39/758.49 c | 4229616 | 1320 109969 362654 | 1 146030 30 | 0.000 % | 758.39/758.49 c | 4229720 | 1320 109969 362654 | 1 146134 30 | 0.000 % | 758.39/758.49 c | 4230035 | 1320 109969 362654 | 1 146449 30 | 0.000 % | 758.39/758.49 c | 4231401 | 1320 109969 362654 | 1 147815 30 | 0.000 % | 758.39/758.49 c | 4240162 | 1320 109969 362654 | 1 156576 32 | 0.000 % | 758.39/758.49 c | 4242882 | 1320 109969 362654 | 1 159296 32 | 0.000 % | 758.39/758.49 c | 4244512 | 1320 109969 362654 | 1 160926 33 | 0.000 % | 758.39/758.49 c | 4246851 | 1320 109969 362654 | 1 163265 33 | 0.000 % | 758.39/758.49 c | 4247209 | 1320 109969 362654 | 1 163623 33 | 0.000 % | 758.39/758.49 c | 4247313 | 1320 109969 362654 | 1 163727 33 | 0.000 % | 758.39/758.49 c | 4256339 | 1320 109969 362654 | 1 172753 34 | 0.000 % | 758.39/758.49 c | 4257686 | 1320 109969 362654 | 1 174100 34 | 0.000 % | 758.39/758.49 c | 4258040 | 1320 109969 362654 | 1 174454 34 | 0.000 % | 758.39/758.49 c | 4263275 | 1320 109969 362654 | 1 179689 35 | 0.000 % | 758.39/758.49 c | 4263375 | 1320 109969 362654 | 1 179789 35 | 0.000 % | 758.39/758.49 c | 4264270 | 1320 109969 362654 | 1 180684 36 | 0.000 % | 758.39/758.49 c | 4270860 | 1320 109969 362654 | 1 187274 36 | 0.000 % | 758.39/758.49 c | 4272257 | 1320 109969 362654 | 1 188671 36 | 0.000 % | 758.39/758.49 c | 4272849 | 1320 109969 362654 | 1 189263 36 | 0.000 % | 803.20/803.27 c | 4275380 | 1320 109969 362654 | 1 191794 37 | 0.000 % | 803.20/803.27 c | 4277670 | 1320 109969 362654 | 1 194084 37 | 0.000 % | 803.20/803.27 c | 4278928 | 1320 109969 362654 | 1 195342 37 | 0.000 % | 803.20/803.27 c | 4285442 | 1320 109969 362654 | 1 201856 38 | 0.000 % | 803.20/803.27 c | 4290322 | 1320 109969 362654 | 1 206736 39 | 0.000 % | 803.20/803.27 c | 4293502 | 1320 109969 362654 | 1 209916 39 | 0.000 % | 803.20/803.27 c | 4295766 | 1320 109969 362654 | 1 212180 39 | 0.000 % | 803.20/803.27 c | 4297236 | 1320 109969 362654 | 1 213650 39 | 0.000 % | 803.20/803.27 c | 4297420 | 1320 109969 362654 | 1 213834 39 | 0.000 % | 803.20/803.27 c | 4297597 | 1320 109969 362654 | 1 214011 39 | 0.000 % | 803.20/803.27 c | 4300433 | 1320 109969 362654 | 1 216847 40 | 0.000 % | 803.20/803.27 c | 4305311 | 1320 109969 362654 | 1 221725 40 | 0.000 % | 803.20/803.27 c | 4306547 | 1320 109969 362654 | 1 222961 40 | 0.000 % | 803.20/803.27 c | 4308536 | 1320 109969 362654 | 1 224950 40 | 0.000 % | 803.20/803.27 c | 4311646 | 1320 109969 362654 | 1 228060 40 | 0.000 % | 803.20/803.27 c | 4311856 | 1320 109969 362654 | 1 228270 40 | 0.000 % | 803.20/803.27 c | 4318955 | 1320 109969 362654 | 1 235369 41 | 0.000 % | 803.20/803.27 c | 4319056 | 1320 109969 362654 | 1 235470 41 | 0.000 % | 803.20/803.27 c | 4322644 | 1320 109969 362654 | 1 239058 41 | 0.000 % | 803.20/803.27 c | 4322744 | 1320 109969 362654 | 1 239158 41 | 0.000 % | 803.20/803.27 c | 4327814 | 1320 109969 362654 | 1 244228 42 | 0.000 % | 803.20/803.27 c | 4329295 | 1320 109969 362654 | 1 245709 42 | 0.000 % | 803.20/803.27 c | 4329706 | 1320 109969 362654 | 1 246120 42 | 0.000 % | 803.20/803.27 c | 4329807 | 1320 109969 362654 | 1 246221 42 | 0.000 % | 803.20/803.27 c | 4331664 | 1320 109969 362654 | 1 248078 42 | 0.000 % | 803.20/803.27 c | 4332779 | 1320 109969 362654 | 1 249193 42 | 0.000 % | 803.20/803.27 c | 4333547 | 1320 109969 362654 | 1 249961 42 | 0.000 % | 803.20/803.27 c | 4338672 | 1320 109969 362654 | 1 255086 43 | 0.000 % | 803.20/803.27 c | 4338772 | 1320 109969 362654 | 1 255186 43 | 0.000 % | 803.20/803.27 c | 4338872 | 1320 109969 362654 | 1 255286 43 | 0.000 % | 803.20/803.27 c | 4362630 | 1320 109969 362654 | 1 279044 44 | 0.000 % | 803.20/803.27 c | 4362829 | 1320 109969 362654 | 1 279243 44 | 0.000 % | 803.20/803.27 c | 4366020 | 1320 109969 362654 | 1 282434 44 | 0.000 % | 803.20/803.27 c | 4384547 | 1320 109969 362654 | 1 153969 30 | 0.000 % | 803.20/803.27 c | 4401825 | 1320 109969 362654 | 1 171247 33 | 0.000 % | 803.20/803.27 c | 4409634 | 1320 109969 362654 | 1 179056 33 | 0.000 % | 803.20/803.27 c | 4414367 | 1320 109969 362654 | 1 183789 34 | 0.000 % | 803.20/803.27 c | 4415079 | 1320 109969 362654 | 1 184501 34 | 0.000 % | 803.20/803.27 c | 4429726 | 1320 109969 362654 | 1 199148 36 | 0.000 % | 803.20/803.27 c | 4437715 | 1320 109969 362654 | 1 207137 36 | 0.000 % | 803.20/803.27 c | 4438076 | 1320 109969 362654 | 1 207498 36 | 0.000 % | 803.20/803.27 c | 4446050 | 1320 109969 362654 | 1 215472 38 | 0.000 % | 803.20/803.27 c | 4450334 | 1320 109969 362654 | 1 219756 38 | 0.000 % | 803.20/803.27 c | 4456985 | 1320 109969 362654 | 1 226407 39 | 0.000 % | 803.20/803.27 c | 4457458 | 1320 109969 362654 | 1 226880 39 | 0.000 % | 803.20/803.27 c | 4468571 | 1320 109969 362654 | 1 237993 40 | 0.000 % | 803.20/803.27 c | 4471305 | 1320 109969 362654 | 1 240727 40 | 0.000 % | 803.20/803.27 c | 4473893 | 1320 109969 362654 | 1 243315 40 | 0.000 % | 803.20/803.27 c | 4479674 | 1320 109969 362654 | 1 249096 41 | 0.000 % | 803.20/803.27 c | 4479927 | 1320 109969 362654 | 1 249349 41 | 0.000 % | 855.29/855.39 c | 4483502 | 1320 109969 362654 | 1 252924 41 | 0.000 % | 855.29/855.39 c | 4483602 | 1320 109969 362654 | 1 253024 41 | 0.000 % | 855.29/855.39 c | 4484935 | 1320 109969 362654 | 1 254357 41 | 0.000 % | 855.29/855.39 c | 4503594 | 1320 109969 362654 | 1 273016 42 | 0.000 % | 855.29/855.39 c | 4516342 | 1320 109969 362654 | 1 285764 43 | 0.000 % | 855.29/855.39 c | 4517667 | 1320 109969 362654 | 1 287089 43 | 0.000 % | 855.29/855.39 c | 4518943 | 1320 109969 362654 | 1 288365 43 | 0.000 % | 855.29/855.39 c | 4520249 | 1320 109969 362654 | 1 289671 43 | 0.000 % | 855.29/855.39 c | 4535876 | 1320 109969 362654 | 1 155710 30 | 0.000 % | 855.29/855.39 c | 4536605 | 1320 109969 362654 | 1 156439 30 | 0.000 % | 855.29/855.39 c | 4536705 | 1320 109969 362654 | 1 156539 30 | 0.000 % | 855.29/855.39 c | 4545103 | 1320 109969 362654 | 1 164937 32 | 0.000 % | 855.29/855.39 c | 4545278 | 1320 109969 362654 | 1 165112 32 | 0.000 % | 855.29/855.39 c | 4545378 | 1320 109969 362654 | 1 165212 32 | 0.000 % | 855.29/855.39 c | 4554248 | 1320 109969 362654 | 1 174082 33 | 0.000 % | 855.29/855.39 c | 4556679 | 1320 109969 362654 | 1 176513 34 | 0.000 % | 855.29/855.39 c | 4558302 | 1320 109969 362654 | 1 178136 34 | 0.000 % | 855.29/855.39 c | 4559279 | 1320 109969 362654 | 1 179113 34 | 0.000 % | 855.29/855.39 c | 4561692 | 1320 109969 362654 | 1 181526 34 | 0.000 % | 855.29/855.39 c | 4572833 | 1320 109969 362654 | 1 192667 35 | 0.000 % | 855.29/855.39 c | 4581069 | 1320 109969 362654 | 1 200903 37 | 0.000 % | 855.29/855.39 c | 4588950 | 1320 109969 362654 | 1 208784 38 | 0.000 % | 855.29/855.39 c | 4591057 | 1320 109969 362654 | 1 210891 38 | 0.000 % | 855.29/855.39 c | 4591196 | 1320 109969 362654 | 1 211030 38 | 0.000 % | 855.29/855.39 c | 4594933 | 1320 109969 362654 | 1 214767 38 | 0.000 % | 855.29/855.39 c | 4596058 | 1320 109969 362654 | 1 215892 38 | 0.000 % | 855.29/855.39 c | 4596158 | 1320 109969 362654 | 1 215992 38 | 0.000 % | 855.29/855.39 c | 4596950 | 1320 109969 362654 | 1 216784 38 | 0.000 % | 855.29/855.39 c | 4600046 | 1320 109969 362654 | 1 219880 39 | 0.000 % | 855.29/855.39 c | 4601952 | 1320 109969 362654 | 1 221786 39 | 0.000 % | 855.29/855.39 c | 4615428 | 1320 109969 362654 | 1 235262 40 | 0.000 % | 855.29/855.39 c | 4622974 | 1320 109969 362654 | 1 242808 40 | 0.000 % | 855.29/855.39 c | 4627554 | 1320 109969 362654 | 1 247388 41 | 0.000 % | 855.29/855.39 c | 4634126 | 1320 109969 362654 | 1 253960 41 | 0.000 % | 855.29/855.39 c | 4634226 | 1320 109969 362654 | 1 254060 41 | 0.000 % | 855.29/855.39 c | 4634326 | 1320 109969 362654 | 1 254160 41 | 0.000 % | 855.29/855.39 c | 4653070 | 1320 109969 362654 | 1 272904 43 | 0.000 % | 855.29/855.39 c | 4658699 | 1320 109969 362654 | 1 278533 43 | 0.000 % | 855.29/855.39 c | 4671961 | 1320 109969 362654 | 1 291795 44 | 0.000 % | 855.29/855.39 c | 4672061 | 1320 109969 362654 | 1 291895 44 | 0.000 % | 855.29/855.39 c | 4672264 | 1320 109969 362654 | 1 292098 44 | 0.000 % | 855.29/855.39 c | 4672365 | 1320 109969 362654 | 1 292199 44 | 0.000 % | 855.29/855.39 c | 4674526 | 1320 109969 362654 | 1 294360 44 | 0.000 % | 855.29/855.39 c | 4675254 | 1320 109969 362654 | 1 295088 44 | 0.000 % | 855.29/855.39 c | 4675356 | 1320 109969 362654 | 1 295190 44 | 0.000 % | 855.29/855.39 c | 4678552 | 1320 109969 362654 | 1 298386 45 | 0.000 % | 855.29/855.39 c | 4682954 | 1320 109969 362654 | 1 302788 45 | 0.000 % | 855.29/855.39 c | 4683665 | 1320 109969 362654 | 1 303499 45 | 0.000 % | 855.29/855.39 c | 4711415 | 1320 109969 362654 | 1 179040 34 | 0.000 % | 855.29/855.39 c | 4711749 | 1320 109969 362654 | 1 179374 34 | 0.000 % | 903.80/903.87 c | 4717159 | 1320 109969 362654 | 1 184784 34 | 0.000 % | 903.80/903.87 c | 4726763 | 1320 109969 362654 | 1 194388 36 | 0.000 % | 903.80/903.87 c | 4726865 | 1320 109969 362654 | 1 194490 36 | 0.000 % | 903.80/903.87 c | 4731222 | 1320 109969 362654 | 1 198847 36 | 0.000 % | 903.80/903.87 c | 4738780 | 1320 109969 362654 | 1 206405 37 | 0.000 % | 903.80/903.87 c | 4743678 | 1320 109969 362654 | 1 211303 38 | 0.000 % | 903.80/903.87 c | 4746325 | 1320 109969 362654 | 1 213950 38 | 0.000 % | 903.80/903.87 c | 4746979 | 1320 109969 362654 | 1 214604 38 | 0.000 % | 903.80/903.87 c | 4756831 | 1320 109969 362654 | 1 224456 39 | 0.000 % | 903.80/903.87 c | 4757619 | 1320 109969 362654 | 1 225244 39 | 0.000 % | 903.80/903.87 c | 4758583 | 1320 109969 362654 | 1 226208 39 | 0.000 % | 903.80/903.87 c | 4758804 | 1320 109969 362654 | 1 226429 39 | 0.000 % | 903.80/903.87 c | 4762737 | 1320 109969 362654 | 1 230362 40 | 0.000 % | 903.80/903.87 c | 4763982 | 1320 109969 362654 | 1 231607 40 | 0.000 % | 903.80/903.87 c | 4767215 | 1320 109969 362654 | 1 234840 40 | 0.000 % | 903.80/903.87 c | 4767574 | 1320 109969 362654 | 1 235199 40 | 0.000 % | 903.80/903.87 c | 4769964 | 1320 109969 362654 | 1 237589 40 | 0.000 % | 903.80/903.87 c | 4773384 | 1320 109969 362654 | 1 241009 40 | 0.000 % | 903.80/903.87 c | 4789403 | 1320 109969 362654 | 1 257028 41 | 0.000 % | 903.80/903.87 c | 4790668 | 1320 109969 362654 | 1 258293 41 | 0.000 % | 903.80/903.87 c | 4796361 | 1320 109969 362654 | 1 263986 42 | 0.000 % | 903.80/903.87 c | 4798363 | 1320 109969 362654 | 1 265988 42 | 0.000 % | 903.80/903.87 c | 4798464 | 1320 109969 362654 | 1 266089 42 | 0.000 % | 903.80/903.87 c | 4799709 | 1320 109969 362654 | 1 267334 42 | 0.000 % | 903.80/903.87 c | 4800022 | 1320 109969 362654 | 1 267647 42 | 0.000 % | 903.80/903.87 c | 4800254 | 1320 109969 362654 | 1 267879 42 | 0.000 % | 903.80/903.87 c | 4801518 | 1320 109969 362654 | 1 269143 42 | 0.000 % | 903.80/903.87 c | 4801620 | 1320 109969 362654 | 1 269245 42 | 0.000 % | 903.80/903.87 c | 4801756 | 1320 109969 362654 | 1 269381 42 | 0.000 % | 903.80/903.87 c | 4803207 | 1320 109969 362654 | 1 270832 42 | 0.000 % | 903.80/903.87 c | 4803311 | 1320 109969 362654 | 1 270936 42 | 0.000 % | 903.80/903.87 c | 4805657 | 1320 109969 362654 | 1 273282 43 | 0.000 % | 903.80/903.87 c | 4809370 | 1320 109969 362654 | 1 276995 43 | 0.000 % | 903.80/903.87 c | 4809973 | 1320 109969 362654 | 1 277598 43 | 0.000 % | 903.80/903.87 c | 4815709 | 1320 109969 362654 | 1 283334 43 | 0.000 % | 903.80/903.87 c | 4823480 | 1320 109969 362654 | 1 291105 43 | 0.000 % | 903.80/903.87 c | 4825334 | 1320 109969 362654 | 1 292959 44 | 0.000 % | 903.80/903.87 c | 4828883 | 1320 109969 362654 | 1 296508 44 | 0.000 % | 903.80/903.87 c | 4830249 | 1320 109969 362654 | 1 297874 44 | 0.000 % | 903.80/903.87 c | 4831084 | 1320 109969 362654 | 1 298709 44 | 0.000 % | 903.80/903.87 c | 4831885 | 1320 109969 362654 | 1 299510 44 | 0.000 % | 903.80/903.87 c | 4881038 | 1320 109969 362654 | 1 193853 35 | 0.000 % | 903.80/903.87 c | 4884416 | 1320 109969 362654 | 1 197231 35 | 0.000 % | 903.80/903.87 c | 4884517 | 1320 109969 362654 | 1 197332 35 | 0.000 % | 903.80/903.87 c | 4893213 | 1320 109969 362654 | 1 206028 36 | 0.000 % | 903.80/903.87 c | 4906712 | 1320 109969 362654 | 1 219527 38 | 0.000 % | 903.80/903.87 c | 4910460 | 1320 109969 362654 | 1 223275 38 | 0.000 % | 903.80/903.87 c | 4910560 | 1320 109969 362654 | 1 223375 38 | 0.000 % | 903.80/903.87 c | 4913592 | 1320 109969 362654 | 1 226407 39 | 0.000 % | 903.80/903.87 c | 4913697 | 1320 109969 362654 | 1 226512 39 | 0.000 % | 946.90/946.98 c | 4916275 | 1320 109969 362654 | 1 229090 39 | 0.000 % | 946.90/946.98 c | 4923002 | 1320 109969 362654 | 1 235817 39 | 0.000 % | 946.90/946.98 c | 4929411 | 1320 109969 362654 | 1 242226 40 | 0.000 % | 946.90/946.98 c | 4932193 | 1320 109969 362654 | 1 245008 40 | 0.000 % | 946.90/946.98 c | 4935947 | 1320 109969 362654 | 1 248762 40 | 0.000 % | 946.90/946.98 c | 4936078 | 1320 109969 362654 | 1 248893 40 | 0.000 % | 946.90/946.98 c | 4936535 | 1320 109969 362654 | 1 249350 40 | 0.000 % | 946.90/946.98 c | 4940827 | 1320 109969 362654 | 1 253642 41 | 0.000 % | 946.90/946.98 c | 4953460 | 1320 109969 362654 | 1 266275 41 | 0.000 % | 946.90/946.98 c | 4953702 | 1320 109969 362654 | 1 266517 41 | 0.000 % | 946.90/946.98 c | 4953803 | 1320 109969 362654 | 1 266618 41 | 0.000 % | 946.90/946.98 c | 4955351 | 1320 109969 362654 | 1 268166 41 | 0.000 % | 946.90/946.98 c | 4961937 | 1320 109969 362654 | 1 274752 42 | 0.000 % | 946.90/946.98 c | 4962038 | 1320 109969 362654 | 1 274853 42 | 0.000 % | 946.90/946.98 c | 4966181 | 1320 109969 362654 | 1 278996 42 | 0.000 % | 946.90/946.98 c | 4966791 | 1320 109969 362654 | 1 279606 42 | 0.000 % | 946.90/946.98 c | 4974771 | 1320 109969 362654 | 1 287586 42 | 0.000 % | 946.90/946.98 c | 4974871 | 1320 109969 362654 | 1 287686 42 | 0.000 % | 946.90/946.98 c | 4976397 | 1320 109969 362654 | 1 289212 42 | 0.000 % | 946.90/946.98 c | 4977190 | 1320 109969 362654 | 1 290005 42 | 0.000 % | 946.90/946.98 c | 4979919 | 1320 109969 362654 | 1 292734 42 | 0.000 % | 946.90/946.98 c | 4980714 | 1320 109969 362654 | 1 293529 42 | 0.000 % | 946.90/946.98 c | 4981214 | 1320 109969 362654 | 1 294029 42 | 0.000 % | 946.90/946.98 c | 4986854 | 1320 109969 362654 | 1 299669 43 | 0.000 % | 946.90/946.98 c | 4986954 | 1320 109969 362654 | 1 299769 43 | 0.000 % | 946.90/946.98 c | 4987225 | 1320 109969 362654 | 1 300040 43 | 0.000 % | 946.90/946.98 c | 4989776 | 1320 109969 362654 | 1 302591 43 | 0.000 % | 946.90/946.98 c | 4994644 | 1320 109969 362654 | 1 307459 43 | 0.000 % | 946.90/946.98 c | 4998298 | 1320 109969 362654 | 1 311113 43 | 0.000 % | 946.90/946.98 c | 5004170 | 1320 109969 362654 | 1 159588 29 | 0.000 % | 946.90/946.98 c | 5004294 | 1320 109969 362654 | 1 159712 29 | 0.000 % | 946.90/946.98 c | 5004469 | 1320 109969 362654 | 1 159887 29 | 0.000 % | 946.90/946.98 c | 5012086 | 1320 109969 362654 | 1 167504 30 | 0.000 % | 946.90/946.98 c | 5031729 | 1320 109969 362654 | 1 187147 33 | 0.000 % | 946.90/946.98 c | 5032470 | 1320 109969 362654 | 1 187888 33 | 0.000 % | 946.90/946.98 c | 5054564 | 1320 109969 362654 | 1 209982 36 | 0.000 % | 946.90/946.98 c | 5057225 | 1320 109969 362654 | 1 212643 36 | 0.000 % | 946.90/946.98 c | 5057378 | 1320 109969 362654 | 1 212796 36 | 0.000 % | 946.90/946.98 c | 5057478 | 1320 109969 362654 | 1 212896 36 | 0.000 % | 946.90/946.98 c | 5060404 | 1320 109969 362654 | 1 215822 36 | 0.000 % | 946.90/946.98 c | 5063835 | 1320 109969 362654 | 1 219253 36 | 0.000 % | 946.90/946.98 c | 5067818 | 1320 109969 362654 | 1 223236 37 | 0.000 % | 946.90/946.98 c | 5070635 | 1320 109969 362654 | 1 226053 37 | 0.000 % | 946.90/946.98 c | 5073174 | 1320 109969 362654 | 1 228592 37 | 0.000 % | 946.90/946.98 c | 5075082 | 1320 109969 362654 | 1 230500 38 | 0.000 % | 946.90/946.98 c | 5077231 | 1320 109969 362654 | 1 232649 38 | 0.000 % | 946.90/946.98 c | 5077649 | 1320 109969 362654 | 1 233067 38 | 0.000 % | 946.90/946.98 c | 5077749 | 1320 109969 362654 | 1 233167 38 | 0.000 % | 946.90/946.98 c | 5078620 | 1320 109969 362654 | 1 234038 38 | 0.000 % | 946.90/946.98 c | 5081429 | 1320 109969 362654 | 1 236847 38 | 0.000 % | 1000.00/1000.07 c | 5081529 | 1320 109969 362654 | 1 236947 38 | 0.000 % | 1000.00/1000.07 c | 5081934 | 1320 109969 362654 | 1 237352 38 | 0.000 % | 1000.00/1000.07 c | 5092574 | 1320 109969 362654 | 1 247992 39 | 0.000 % | 1000.00/1000.07 c | 5092674 | 1320 109969 362654 | 1 248092 39 | 0.000 % | 1000.00/1000.07 c | 5096713 | 1320 109969 362654 | 1 252131 39 | 0.000 % | 1000.00/1000.07 c | 5097557 | 1320 109969 362654 | 1 252975 39 | 0.000 % | 1000.00/1000.07 c | 5097773 | 1320 109969 362654 | 1 253191 39 | 0.000 % | 1000.00/1000.07 c | 5098881 | 1320 109969 362654 | 1 254299 39 | 0.000 % | 1000.00/1000.07 c | 5100706 | 1320 109969 362654 | 1 256124 40 | 0.000 % | 1000.00/1000.07 c | 5100878 | 1320 109969 362654 | 1 256296 40 | 0.000 % | 1000.00/1000.07 c | 5101041 | 1320 109969 362654 | 1 256459 40 | 0.000 % | 1000.00/1000.07 c | 5103731 | 1320 109969 362654 | 1 259149 40 | 0.000 % | 1000.00/1000.07 c | 5104306 | 1320 109969 362654 | 1 259724 40 | 0.000 % | 1000.00/1000.07 c | 5114487 | 1320 109969 362654 | 1 269905 40 | 0.000 % | 1000.00/1000.07 c | 5123118 | 1320 109969 362654 | 1 278536 41 | 0.000 % | 1000.00/1000.07 c | 5126493 | 1320 109969 362654 | 1 281911 41 | 0.000 % | 1000.00/1000.07 c | 5140807 | 1320 109969 362654 | 1 296225 42 | 0.000 % | 1000.00/1000.07 c | 5141028 | 1320 109969 362654 | 1 296446 42 | 0.000 % | 1000.00/1000.07 c | 5141769 | 1320 109969 362654 | 1 297187 42 | 0.000 % | 1000.00/1000.07 c | 5145126 | 1320 109969 362654 | 1 300544 42 | 0.000 % | 1000.00/1000.07 c | 5145708 | 1320 109969 362654 | 1 301126 42 | 0.000 % | 1000.00/1000.07 c | 5147186 | 1320 109969 362654 | 1 302604 42 | 0.000 % | 1000.00/1000.07 c | 5149222 | 1320 109969 362654 | 1 304640 42 | 0.000 % | 1000.00/1000.07 c | 5153365 | 1320 109969 362654 | 1 308783 43 | 0.000 % | 1000.00/1000.07 c | 5155856 | 1320 109969 362654 | 1 311274 43 | 0.000 % | 1000.00/1000.07 c | 5173812 | 1320 109969 362654 | 1 169229 30 | 0.000 % | 1000.00/1000.07 c | 5200135 | 1320 109969 362654 | 1 195552 33 | 0.000 % | 1000.00/1000.07 c | 5200240 | 1320 109969 362654 | 1 195657 33 | 0.000 % | 1000.00/1000.07 c | 5203187 | 1320 109969 362654 | 1 198604 33 | 0.000 % | 1000.00/1000.07 c | 5206549 | 1320 109969 362654 | 1 201966 34 | 0.000 % | 1000.00/1000.07 c | 5215855 | 1320 109969 362654 | 1 211272 35 | 0.000 % | 1000.00/1000.07 c | 5216286 | 1320 109969 362654 | 1 211703 35 | 0.000 % | 1000.00/1000.07 c | 5216494 | 1320 109969 362654 | 1 211911 35 | 0.000 % | 1000.00/1000.07 c | 5217693 | 1320 109969 362654 | 1 213110 35 | 0.000 % | 1000.00/1000.07 c | 5218824 | 1320 109969 362654 | 1 214241 35 | 0.000 % | 1000.00/1000.07 c | 5219225 | 1320 109969 362654 | 1 214642 36 | 0.000 % | 1000.00/1000.07 c | 5219732 | 1320 109969 362654 | 1 215149 36 | 0.000 % | 1000.00/1000.07 c | 5228370 | 1320 109969 362654 | 1 223787 36 | 0.000 % | 1000.00/1000.07 c | 5233201 | 1320 109969 362654 | 1 228618 37 | 0.000 % | 1000.00/1000.07 c | 5234326 | 1320 109969 362654 | 1 229743 37 | 0.000 % | 1000.00/1000.07 c | 5235399 | 1320 109969 362654 | 1 230816 37 | 0.000 % | 1000.00/1000.07 c | 5249677 | 1320 109969 362654 | 1 245094 39 | 0.000 % | 1000.00/1000.07 c | 5249803 | 1320 109969 362654 | 1 245220 39 | 0.000 % | 1000.00/1000.07 c | 5249904 | 1320 109969 362654 | 1 245321 39 | 0.000 % | 1000.00/1000.07 c | 5250066 | 1320 109969 362654 | 1 245483 39 | 0.000 % | 1000.00/1000.07 c | 5250534 | 1320 109969 362654 | 1 245951 39 | 0.000 % | 1000.00/1000.07 c | 5255549 | 1320 109969 362654 | 1 250966 40 | 0.000 % | 1000.00/1000.07 c | 5256265 | 1320 109969 362654 | 1 251682 40 | 0.000 % | 1000.00/1000.07 c | 5262254 | 1320 109969 362654 | 1 257671 41 | 0.000 % | 1000.00/1000.07 c | 5292987 | 1320 109969 362654 | 1 288404 42 | 0.000 % | 1058.70/1058.79 c | 5322345 | 1320 109969 362654 | 1 317762 43 | 0.000 % | 1058.70/1058.79 c | 5327466 | 1320 109969 362654 | 1 322883 43 | 0.000 % | 1058.70/1058.79 c | 5331286 | 1320 109969 362654 | 1 164104 29 | 0.000 % | 1058.70/1058.79 c | 5331387 | 1320 109969 362654 | 1 164205 29 | 0.000 % | 1058.70/1058.79 c | 5344380 | 1320 109969 362654 | 1 177198 31 | 0.000 % | 1058.70/1058.79 c | 5349885 | 1320 109969 362654 | 1 182703 32 | 0.000 % | 1058.70/1058.79 c | 5350485 | 1320 109969 362654 | 1 183303 32 | 0.000 % | 1058.70/1058.79 c | 5351601 | 1320 109969 362654 | 1 184419 32 | 0.000 % | 1058.70/1058.79 c | 5351767 | 1320 109969 362654 | 1 184585 32 | 0.000 % | 1058.70/1058.79 c | 5352042 | 1320 109969 362654 | 1 184860 32 | 0.000 % | 1058.70/1058.79 c | 5359610 | 1320 109969 362654 | 1 192428 34 | 0.000 % | 1058.70/1058.79 c | 5362423 | 1320 109969 362654 | 1 195241 34 | 0.000 % | 1058.70/1058.79 c | 5366082 | 1320 109969 362654 | 1 198900 35 | 0.000 % | 1058.70/1058.79 c | 5373063 | 1320 109969 362654 | 1 205881 35 | 0.000 % | 1058.70/1058.79 c | 5374474 | 1320 109969 362654 | 1 207292 36 | 0.000 % | 1058.70/1058.79 c | 5376148 | 1320 109969 362654 | 1 208966 36 | 0.000 % | 1058.70/1058.79 c | 5379554 | 1320 109969 362654 | 1 212372 36 | 0.000 % | 1058.70/1058.79 c | 5380994 | 1320 109969 362654 | 1 213812 36 | 0.000 % | 1058.70/1058.79 c | 5381395 | 1320 109969 362654 | 1 214213 36 | 0.000 % | 1058.70/1058.79 c | 5381495 | 1320 109969 362654 | 1 214313 36 | 0.000 % | 1058.70/1058.79 c | 5399421 | 1320 109969 362654 | 1 232239 39 | 0.000 % | 1058.70/1058.79 c | 5402201 | 1320 109969 362654 | 1 235019 39 | 0.000 % | 1058.70/1058.79 c | 5410048 | 1320 109969 362654 | 1 242866 39 | 0.000 % | 1058.70/1058.79 c | 5411639 | 1320 109969 362654 | 1 244457 39 | 0.000 % | 1058.70/1058.79 c | 5429067 | 1320 109969 362654 | 1 261885 40 | 0.000 % | 1058.70/1058.79 c | 5444800 | 1320 109969 362654 | 1 277618 41 | 0.000 % | 1058.70/1058.79 c | 5446075 | 1320 109969 362654 | 1 278893 41 | 0.000 % | 1058.70/1058.79 c | 5447714 | 1320 109969 362654 | 1 280532 41 | 0.000 % | 1058.70/1058.79 c | 5448567 | 1320 109969 362654 | 1 281385 41 | 0.000 % | 1058.70/1058.79 c | 5452061 | 1320 109969 362654 | 1 284879 42 | 0.000 % | 1058.70/1058.79 c | 5452164 | 1320 109969 362654 | 1 284982 42 | 0.000 % | 1058.70/1058.79 c | 5452264 | 1320 109969 362654 | 1 285082 42 | 0.000 % | 1058.70/1058.79 c | 5452364 | 1320 109969 362654 | 1 285182 42 | 0.000 % | 1058.70/1058.79 c | 5455310 | 1320 109969 362654 | 1 288128 42 | 0.000 % | 1058.70/1058.79 c | 5455412 | 1320 109969 362654 | 1 288230 42 | 0.000 % | 1058.70/1058.79 c | 5456436 | 1320 109969 362654 | 1 289254 42 | 0.000 % | 1058.70/1058.79 c | 5456536 | 1320 109969 362654 | 1 289354 42 | 0.000 % | 1058.70/1058.79 c | 5460524 | 1320 109969 362654 | 1 293342 43 | 0.000 % | 1058.70/1058.79 c | 5462107 | 1320 109969 362654 | 1 294925 43 | 0.000 % | 1058.70/1058.79 c | 5462207 | 1320 109969 362654 | 1 295025 43 | 0.000 % | 1058.70/1058.79 c | 5462307 | 1320 109969 362654 | 1 295125 43 | 0.000 % | 1058.70/1058.79 c | 5463061 | 1320 109969 362654 | 1 295879 43 | 0.000 % | 1058.70/1058.79 c | 5463419 | 1320 109969 362654 | 1 296237 43 | 0.000 % | 1058.70/1058.79 c | 5464126 | 1320 109969 362654 | 1 296944 43 | 0.000 % | 1058.70/1058.79 c | 5479699 | 1320 109969 362654 | 1 312517 43 | 0.000 % | 1058.70/1058.79 c | 5502454 | 1320 109969 362654 | 1 170080 30 | 0.000 % | 1058.70/1058.79 c | 5502935 | 1320 109969 362654 | 1 170561 30 | 0.000 % | 1058.70/1058.79 c | 5505591 | 1320 109969 362654 | 1 173217 30 | 0.000 % | 1058.70/1058.79 c | 5508421 | 1320 109969 362654 | 1 176047 31 | 0.000 % | 1058.70/1058.79 c | 5514620 | 1320 109969 362654 | 1 182246 32 | 0.000 % | 1110.21/1110.26 c | 5517147 | 1320 109969 362654 | 1 184773 33 | 0.000 % | 1110.21/1110.26 c | 5517247 | 1320 109969 362654 | 1 184873 33 | 0.000 % | 1110.21/1110.26 c | 5517398 | 1320 109969 362654 | 1 185024 33 | 0.000 % | 1110.21/1110.26 c | 5521713 | 1320 109969 362654 | 1 189339 33 | 0.000 % | 1110.21/1110.26 c | 5522143 | 1320 109969 362654 | 1 189769 33 | 0.000 % | 1110.21/1110.26 c | 5536371 | 1320 109969 362654 | 1 203997 35 | 0.000 % | 1110.21/1110.26 c | 5536868 | 1320 109969 362654 | 1 204494 35 | 0.000 % | 1110.21/1110.26 c | 5537188 | 1320 109969 362654 | 1 204814 35 | 0.000 % | 1110.21/1110.26 c | 5545401 | 1320 109969 362654 | 1 213027 36 | 0.000 % | 1110.21/1110.26 c | 5550795 | 1320 109969 362654 | 1 218421 36 | 0.000 % | 1110.21/1110.26 c | 5559813 | 1320 109969 362654 | 1 227439 37 | 0.000 % | 1110.21/1110.26 c | 5563057 | 1320 109969 362654 | 1 230683 37 | 0.000 % | 1110.21/1110.26 c | 5564865 | 1320 109969 362654 | 1 232491 37 | 0.000 % | 1110.21/1110.26 c | 5580481 | 1320 109969 362654 | 1 248107 38 | 0.000 % | 1110.21/1110.26 c | 5580586 | 1320 109969 362654 | 1 248212 39 | 0.000 % | 1110.21/1110.26 c | 5580694 | 1320 109969 362654 | 1 248320 39 | 0.000 % | 1110.21/1110.26 c | 5581113 | 1320 109969 362654 | 1 248739 39 | 0.000 % | 1110.21/1110.26 c | 5581710 | 1320 109969 362654 | 1 249336 39 | 0.000 % | 1110.21/1110.26 c | 5582195 | 1320 109969 362654 | 1 249821 39 | 0.000 % | 1110.21/1110.26 c | 5582295 | 1320 109969 362654 | 1 249921 39 | 0.000 % | 1110.21/1110.26 c | 5584632 | 1320 109969 362654 | 1 252258 39 | 0.000 % | 1110.21/1110.26 c | 5584864 | 1320 109969 362654 | 1 252490 39 | 0.000 % | 1110.21/1110.26 c | 5602845 | 1320 109969 362654 | 1 270471 40 | 0.000 % | 1110.21/1110.26 c | 5605686 | 1320 109969 362654 | 1 273312 40 | 0.000 % | 1110.21/1110.26 c | 5610413 | 1320 109969 362654 | 1 278039 40 | 0.000 % | 1110.21/1110.26 c | 5611188 | 1320 109969 362654 | 1 278814 40 | 0.000 % | 1110.21/1110.26 c | 5612327 | 1320 109969 362654 | 1 279953 40 | 0.000 % | 1110.21/1110.26 c | 5617768 | 1320 109969 362654 | 1 285394 41 | 0.000 % | 1110.21/1110.26 c | 5621101 | 1320 109969 362654 | 1 288727 41 | 0.000 % | 1110.21/1110.26 c | 5625944 | 1320 109969 362654 | 1 293570 41 | 0.000 % | 1110.21/1110.26 c | 5626045 | 1320 109969 362654 | 1 293671 41 | 0.000 % | 1110.21/1110.26 c | 5627400 | 1320 109969 362654 | 1 295026 42 | 0.000 % | 1110.21/1110.26 c | 5649275 | 1320 109969 362654 | 1 316901 43 | 0.000 % | 1110.21/1110.26 c | 5651218 | 1320 109969 362654 | 1 318844 43 | 0.000 % | 1110.21/1110.26 c | 5653058 | 1320 109969 362654 | 1 320684 43 | 0.000 % | 1110.21/1110.26 c | 5670083 | 1320 109969 362654 | 1 169911 29 | 0.000 % | 1110.21/1110.26 c | 5670954 | 1320 109969 362654 | 1 170782 29 | 0.000 % | 1110.21/1110.26 c | 5688668 | 1320 109969 362654 | 1 188496 33 | 0.000 % | 1110.21/1110.26 c | 5689206 | 1320 109969 362654 | 1 189034 33 | 0.000 % | 1110.21/1110.26 c | 5697235 | 1320 109969 362654 | 1 197063 34 | 0.000 % | 1110.21/1110.26 c | 5698365 | 1320 109969 362654 | 1 198193 34 | 0.000 % | 1110.21/1110.26 c | 5700933 | 1320 109969 362654 | 1 200761 34 | 0.000 % | 1110.21/1110.26 c | 5704920 | 1320 109969 362654 | 1 204748 35 | 0.000 % | 1110.21/1110.26 c | 5713198 | 1320 109969 362654 | 1 213026 36 | 0.000 % | 1110.21/1110.26 c | 5715477 | 1320 109969 362654 | 1 215305 36 | 0.000 % | 1110.21/1110.26 c | 5715881 | 1320 109969 362654 | 1 215709 36 | 0.000 % | 1110.21/1110.26 c | 5715981 | 1320 109969 362654 | 1 215809 36 | 0.000 % | 1110.21/1110.26 c | 5717350 | 1320 109969 362654 | 1 217178 37 | 0.000 % | 1110.21/1110.26 c | 5720932 | 1320 109969 362654 | 1 220760 37 | 0.000 % | 1110.21/1110.26 c | 5721600 | 1320 109969 362654 | 1 221428 37 | 0.000 % | 1144.60/1144.62 c | 5721754 | 1320 109969 362654 | 1 221582 37 | 0.000 % | 1144.60/1144.62 c | 5723090 | 1320 109969 362654 | 1 222918 37 | 0.000 % | 1144.60/1144.62 c | 5725191 | 1320 109969 362654 | 1 225019 38 | 0.000 % | 1144.60/1144.62 c | 5726427 | 1320 109969 362654 | 1 226255 38 | 0.000 % | 1144.60/1144.62 c | 5726544 | 1320 109969 362654 | 1 226372 38 | 0.000 % | 1144.60/1144.62 c | 5726644 | 1320 109969 362654 | 1 226472 38 | 0.000 % | 1144.60/1144.62 c | 5727145 | 1320 109969 362654 | 1 226973 38 | 0.000 % | 1144.60/1144.62 c | 5732529 | 1320 109969 362654 | 1 232357 39 | 0.000 % | 1144.60/1144.62 c | 5732629 | 1320 109969 362654 | 1 232457 39 | 0.000 % | 1144.60/1144.62 c | 5732744 | 1320 109969 362654 | 1 232572 39 | 0.000 % | 1144.60/1144.62 c | 5739874 | 1320 109969 362654 | 1 239702 39 | 0.000 % | 1144.60/1144.62 c | 5743034 | 1320 109969 362654 | 1 242862 39 | 0.000 % | 1144.60/1144.62 c | 5743134 | 1320 109969 362654 | 1 242962 39 | 0.000 % | 1144.60/1144.62 c | 5743236 | 1320 109969 362654 | 1 243064 40 | 0.000 % | 1144.60/1144.62 c | 5746561 | 1320 109969 362654 | 1 246389 40 | 0.000 % | 1144.60/1144.62 c | 5746662 | 1320 109969 362654 | 1 246490 40 | 0.000 % | 1144.60/1144.62 c | 5752029 | 1320 109969 362654 | 1 251857 40 | 0.000 % | 1144.60/1144.62 c | 5753278 | 1320 109969 362654 | 1 253106 40 | 0.000 % | 1144.60/1144.62 c | 5753380 | 1320 109969 362654 | 1 253208 40 | 0.000 % | 1144.60/1144.62 c | 5757975 | 1320 109969 362654 | 1 257803 41 | 0.000 % | 1144.60/1144.62 c | 5758871 | 1320 109969 362654 | 1 258699 41 | 0.000 % | 1144.60/1144.62 c | 5763388 | 1320 109969 362654 | 1 263216 42 | 0.000 % | 1144.60/1144.62 c | 5763512 | 1320 109969 362654 | 1 263340 42 | 0.000 % | 1144.60/1144.62 c | 5767463 | 1320 109969 362654 | 1 267291 42 | 0.000 % | 1144.60/1144.62 c | 5777706 | 1320 109969 362654 | 1 277534 43 | 0.000 % | 1144.60/1144.62 c | 5779523 | 1320 109969 362654 | 1 279351 43 | 0.000 % | 1144.60/1144.62 c | 5787434 | 1320 109969 362654 | 1 287262 44 | 0.000 % | 1144.60/1144.62 c | 5787828 | 1320 109969 362654 | 1 287656 44 | 0.000 % | 1144.60/1144.62 c | 5790630 | 1320 109969 362654 | 1 290458 44 | 0.000 % | 1144.60/1144.62 c | 5791380 | 1320 109969 362654 | 1 291208 44 | 0.000 % | 1144.60/1144.62 c | 5791517 | 1320 109969 362654 | 1 291345 44 | 0.000 % | 1144.60/1144.62 c | 5792024 | 1320 109969 362654 | 1 291852 44 | 0.000 % | 1144.60/1144.62 c | 5799383 | 1320 109969 362654 | 1 299211 44 | 0.000 % | 1144.60/1144.62 c | 5803095 | 1320 109969 362654 | 1 302923 44 | 0.000 % | 1144.60/1144.62 c | 5810923 | 1320 109969 362654 | 1 310751 44 | 0.000 % | 1144.60/1144.62 c | 5811055 | 1320 109969 362654 | 1 310883 44 | 0.000 % | 1144.60/1144.62 c | 5818942 | 1320 109969 362654 | 1 318770 45 | 0.000 % | 1144.60/1144.62 c | 5828239 | 1320 109969 362654 | 1 328067 45 | 0.000 % | 1144.60/1144.62 c | 5828394 | 1320 109969 362654 | 1 328222 45 | 0.000 % | 1144.60/1144.62 c | 5839070 | 1320 109969 362654 | 1 338898 46 | 0.000 % | 1144.60/1144.62 c | 5839170 | 1320 109969 362654 | 1 338998 46 | 0.000 % | 1144.60/1144.62 c | 5839272 | 1320 109969 362654 | 1 339100 46 | 0.000 % | 1144.60/1144.62 c | 5839373 | 1320 109969 362654 | 1 339201 46 | 0.000 % | 1144.60/1144.62 c | 5839651 | 1320 109969 362654 | 1 339479 46 | 0.000 % | 1144.60/1144.62 c | 5852454 | 1320 109969 362654 | 1 181874 32 | 0.000 % | 1144.60/1144.62 c | 5854050 | 1320 109969 362654 | 1 183470 32 | 0.000 % | 1144.60/1144.62 c | 5856761 | 1320 109969 362654 | 1 186181 32 | 0.000 % | 1144.60/1144.62 c | 5858336 | 1320 109969 362654 | 1 187756 33 | 0.000 % | 1144.60/1144.62 c | 5860829 | 1320 109969 362654 | 1 190249 33 | 0.000 % | 1144.60/1144.62 c | 5860929 | 1320 109969 362654 | 1 190349 33 | 0.000 % | 1179.91/1179.97 c | 5861425 | 1320 109969 362654 | 1 190845 33 | 0.000 % | 1179.91/1179.97 c | 5869705 | 1320 109969 362654 | 1 199125 34 | 0.000 % | 1179.91/1179.97 c | 5871375 | 1320 109969 362654 | 1 200795 35 | 0.000 % | 1179.91/1179.97 c | 5871884 | 1320 109969 362654 | 1 201304 35 | 0.000 % | 1179.91/1179.97 c | 5873459 | 1320 109969 362654 | 1 202879 35 | 0.000 % | 1179.91/1179.97 c | 5889794 | 1320 109969 362654 | 1 219214 37 | 0.000 % | 1179.91/1179.97 c | 5896186 | 1320 109969 362654 | 1 225606 37 | 0.000 % | 1179.91/1179.97 c | 5901194 | 1320 109969 362654 | 1 230614 38 | 0.000 % | 1179.91/1179.97 c | 5902717 | 1320 109969 362654 | 1 232137 38 | 0.000 % | 1179.91/1179.97 c | 5902817 | 1320 109969 362654 | 1 232237 38 | 0.000 % | 1179.91/1179.97 c | 5902917 | 1320 109969 362654 | 1 232337 38 | 0.000 % | 1179.91/1179.97 c | 5903215 | 1320 109969 362654 | 1 232635 38 | 0.000 % | 1179.91/1179.97 c | 5903319 | 1320 109969 362654 | 1 232739 38 | 0.000 % | 1179.91/1179.97 c | 5904988 | 1320 109969 362654 | 1 234408 38 | 0.000 % | 1179.91/1179.97 c | 5905090 | 1320 109969 362654 | 1 234510 38 | 0.000 % | 1179.91/1179.97 c | 5906231 | 1320 109969 362654 | 1 235651 38 | 0.000 % | 1179.91/1179.97 c | 5908690 | 1320 109969 362654 | 1 238110 39 | 0.000 % | 1179.91/1179.97 c | 5908790 | 1320 109969 362654 | 1 238210 39 | 0.000 % | 1179.91/1179.97 c | 5908892 | 1320 109969 362654 | 1 238312 39 | 0.000 % | 1179.91/1179.97 c | 5909748 | 1320 109969 362654 | 1 239168 39 | 0.000 % | 1179.91/1179.97 c | 5914722 | 1320 109969 362654 | 1 244142 39 | 0.000 % | 1179.91/1179.97 c | 5916380 | 1320 109969 362654 | 1 245800 39 | 0.000 % | 1179.91/1179.97 c | 5917349 | 1320 109969 362654 | 1 246769 39 | 0.000 % | 1179.91/1179.97 c | 5917449 | 1320 109969 362654 | 1 246869 39 | 0.000 % | 1179.91/1179.97 c | 5925967 | 1320 109969 362654 | 1 255387 40 | 0.000 % | 1179.91/1179.97 c | 5929996 | 1320 109969 362654 | 1 259416 40 | 0.000 % | 1179.91/1179.97 c | 5930404 | 1320 109969 362654 | 1 259824 40 | 0.000 % | 1179.91/1179.97 c | 5930514 | 1320 109969 362654 | 1 259934 40 | 0.000 % | 1179.91/1179.97 c | 5930880 | 1320 109969 362654 | 1 260300 40 | 0.000 % | 1179.91/1179.97 c | 5933216 | 1320 109969 362654 | 1 262636 40 | 0.000 % | 1179.91/1179.97 c | 5936865 | 1320 109969 362654 | 1 266285 41 | 0.000 % | 1179.91/1179.97 c | 5941997 | 1320 109969 362654 | 1 271417 41 | 0.000 % | 1179.91/1179.97 c | 5942469 | 1320 109969 362654 | 1 271889 41 | 0.000 % | 1179.91/1179.97 c | 5943487 | 1320 109969 362654 | 1 272907 41 | 0.000 % | 1179.91/1179.97 c | 5944284 | 1320 109969 362654 | 1 273704 41 | 0.000 % | 1179.91/1179.97 c | 5944426 | 1320 109969 362654 | 1 273846 41 | 0.000 % | 1179.91/1179.97 c | 5946461 | 1320 109969 362654 | 1 275881 41 | 0.000 % | 1179.91/1179.97 c | 5964752 | 1320 109969 362654 | 1 294172 42 | 0.000 % | 1179.91/1179.97 c | 5966405 | 1320 109969 362654 | 1 295825 43 | 0.000 % | 1179.91/1179.97 c | 5979225 | 1320 109969 362654 | 1 308645 43 | 0.000 % | 1179.91/1179.97 c | 5979859 | 1320 109969 362654 | 1 309279 43 | 0.000 % | 1179.91/1179.97 c | 5986443 | 1320 109969 362654 | 1 315863 44 | 0.000 % | 1179.91/1179.97 c | 5994488 | 1320 109969 362654 | 1 323908 44 | 0.000 % | 1179.91/1179.97 c | 5994603 | 1320 109969 362654 | 1 324023 44 | 0.000 % | 1179.91/1179.97 c | 5995134 | 1320 109969 362654 | 1 324554 44 | 0.000 % | 1179.91/1179.97 c | 6002166 | 1320 109969 362654 | 1 331586 45 | 0.000 % | 1179.91/1179.97 c | 6003563 | 1320 109969 362654 | 1 332983 45 | 0.000 % | 1179.91/1179.97 c | 6003664 | 1320 109969 362654 | 1 333084 45 | 0.000 % | 1179.91/1179.97 c | 6004323 | 1320 109969 362654 | 1 333743 45 | 0.000 % | 1179.91/1179.97 c | 6005205 | 1320 109969 362654 | 1 334625 45 | 0.000 % | 1221.61/1221.69 c | 6006597 | 1320 109969 362654 | 1 336017 45 | 0.000 % | 1221.61/1221.69 c | 6007378 | 1320 109969 362654 | 1 336798 45 | 0.000 % | 1221.61/1221.69 c | 6009746 | 1320 109969 362654 | 1 339166 45 | 0.000 % | 1221.61/1221.69 c | 6009846 | 1320 109969 362654 | 1 339266 45 | 0.000 % | 1221.61/1221.69 c | 6010118 | 1320 109969 362654 | 1 339538 45 | 0.000 % | 1221.61/1221.69 c | 6010220 | 1320 109969 362654 | 1 339640 45 | 0.000 % | 1221.61/1221.69 c | 6010450 | 1320 109969 362654 | 1 339870 45 | 0.000 % | 1221.61/1221.69 c | 6024522 | 1320 109969 362654 | 1 180940 30 | 0.000 % | 1221.61/1221.69 c | 6024622 | 1320 109969 362654 | 1 181040 30 | 0.000 % | 1221.61/1221.69 c | 6024723 | 1320 109969 362654 | 1 181141 30 | 0.000 % | 1221.61/1221.69 c | 6024898 | 1320 109969 362654 | 1 181316 30 | 0.000 % | 1221.61/1221.69 c | 6025513 | 1320 109969 362654 | 1 181931 31 | 0.000 % | 1221.61/1221.69 c | 6025798 | 1320 109969 362654 | 1 182216 31 | 0.000 % | 1221.61/1221.69 c | 6028952 | 1320 109969 362654 | 1 185370 31 | 0.000 % | 1221.61/1221.69 c | 6029968 | 1320 109969 362654 | 1 186386 31 | 0.000 % | 1221.61/1221.69 c | 6036690 | 1320 109969 362654 | 1 193108 32 | 0.000 % | 1221.61/1221.69 c | 6036792 | 1320 109969 362654 | 1 193210 32 | 0.000 % | 1221.61/1221.69 c | 6044106 | 1320 109969 362654 | 1 200524 32 | 0.000 % | 1221.61/1221.69 c | 6044362 | 1320 109969 362654 | 1 200780 33 | 0.000 % | 1221.61/1221.69 c | 6044467 | 1320 109969 362654 | 1 200885 33 | 0.000 % | 1221.61/1221.69 c | 6055971 | 1320 109969 362654 | 1 212389 35 | 0.000 % | 1221.61/1221.69 c | 6060733 | 1320 109969 362654 | 1 217151 35 | 0.000 % | 1221.61/1221.69 c | 6063497 | 1320 109969 362654 | 1 219915 36 | 0.000 % | 1221.61/1221.69 c | 6064196 | 1320 109969 362654 | 1 220614 36 | 0.000 % | 1221.61/1221.69 c | 6065647 | 1320 109969 362654 | 1 222065 36 | 0.000 % | 1221.61/1221.69 c | 6067821 | 1320 109969 362654 | 1 224239 36 | 0.000 % | 1221.61/1221.69 c | 6070062 | 1320 109969 362654 | 1 226480 37 | 0.000 % | 1221.61/1221.69 c | 6084622 | 1320 109969 362654 | 1 241040 39 | 0.000 % | 1221.61/1221.69 c | 6084756 | 1320 109969 362654 | 1 241174 39 | 0.000 % | 1221.61/1221.69 c | 6099064 | 1320 109969 362654 | 1 255482 41 | 0.000 % | 1221.61/1221.69 c | 6103604 | 1320 109969 362654 | 1 260022 41 | 0.000 % | 1221.61/1221.69 c | 6104278 | 1320 109969 362654 | 1 260696 41 | 0.000 % | 1221.61/1221.69 c | 6120109 | 1320 109969 362654 | 1 276527 42 | 0.000 % | 1221.61/1221.69 c | 6123857 | 1320 109969 362654 | 1 280275 42 | 0.000 % | 1221.61/1221.69 c | 6123981 | 1320 109969 362654 | 1 280399 42 | 0.000 % | 1221.61/1221.69 c | 6125546 | 1320 109969 362654 | 1 281964 42 | 0.000 % | 1221.61/1221.69 c | 6126881 | 1320 109969 362654 | 1 283299 43 | 0.000 % | 1221.61/1221.69 c | 6126981 | 1320 109969 362654 | 1 283399 43 | 0.000 % | 1221.61/1221.69 c | 6127304 | 1320 109969 362654 | 1 283722 43 | 0.000 % | 1221.61/1221.69 c | 6132848 | 1320 109969 362654 | 1 289266 43 | 0.000 % | 1221.61/1221.69 c | 6146842 | 1320 109969 362654 | 1 303260 44 | 0.000 % | 1221.61/1221.69 c | 6148943 | 1320 109969 362654 | 1 305361 44 | 0.000 % | 1221.61/1221.69 c | 6159866 | 1320 109969 362654 | 1 316284 44 | 0.000 % | 1221.61/1221.69 c | 6160689 | 1320 109969 362654 | 1 317107 45 | 0.000 % | 1221.61/1221.69 c | 6161375 | 1320 109969 362654 | 1 317793 45 | 0.000 % | 1221.61/1221.69 c | 6162164 | 1320 109969 362654 | 1 318582 45 | 0.000 % | 1221.61/1221.69 c | 6162646 | 1320 109969 362654 | 1 319064 45 | 0.000 % | 1221.61/1221.69 c | 6171617 | 1320 109969 362654 | 1 328035 45 | 0.000 % | 1221.61/1221.69 c | 6175150 | 1320 109969 362654 | 1 331568 45 | 0.000 % | 1221.61/1221.69 c | 6177418 | 1320 109969 362654 | 1 333836 45 | 0.000 % | 1268.91/1268.90 c | 6177518 | 1320 109969 362654 | 1 333936 45 | 0.000 % | 1268.91/1268.90 c | 6181380 | 1320 109969 362654 | 1 337798 45 | 0.000 % | 1268.91/1268.90 c | 6185018 | 1320 109969 362654 | 1 341436 46 | 0.000 % | 1268.91/1268.90 c | 6185195 | 1320 109969 362654 | 1 341613 46 | 0.000 % | 1268.91/1268.90 c | 6188455 | 1320 109969 362654 | 1 344873 46 | 0.000 % | 1268.91/1268.90 c | 6190081 | 1320 109969 362654 | 1 346499 46 | 0.000 % | 1268.91/1268.90 c | 6190182 | 1320 109969 362654 | 1 346600 46 | 0.000 % | 1268.91/1268.90 c | 6199800 | 1320 109969 362654 | 1 180615 30 | 0.000 % | 1268.91/1268.90 c | 6201187 | 1320 109969 362654 | 1 182002 31 | 0.000 % | 1268.91/1268.90 c | 6201287 | 1320 109969 362654 | 1 182102 31 | 0.000 % | 1268.91/1268.90 c | 6201748 | 1320 109969 362654 | 1 182563 31 | 0.000 % | 1268.91/1268.90 c | 6213371 | 1320 109969 362654 | 1 194186 33 | 0.000 % | 1268.91/1268.91 c | 6216753 | 1320 109969 362654 | 1 197568 34 | 0.000 % | 1268.91/1268.91 c | 6217783 | 1320 109969 362654 | 1 198598 34 | 0.000 % | 1268.91/1268.91 c | 6222770 | 1320 109969 362654 | 1 203585 34 | 0.000 % | 1268.91/1268.91 c | 6222870 | 1320 109969 362654 | 1 203685 34 | 0.000 % | 1268.91/1268.91 c | 6232508 | 1320 109969 362654 | 1 213323 36 | 0.000 % | 1268.91/1268.91 c | 6269257 | 1320 109969 362654 | 1 250072 38 | 0.000 % | 1268.91/1268.91 c | 6270447 | 1320 109969 362654 | 1 251262 39 | 0.000 % | 1268.91/1268.91 c | 6273860 | 1320 109969 362654 | 1 254675 39 | 0.000 % | 1268.91/1268.91 c | 6276950 | 1320 109969 362654 | 1 257765 39 | 0.000 % | 1268.91/1268.91 c | 6277117 | 1320 109969 362654 | 1 257932 39 | 0.000 % | 1268.91/1268.91 c | 6277217 | 1320 109969 362654 | 1 258032 39 | 0.000 % | 1268.91/1268.91 c | 6281375 | 1320 109969 362654 | 1 262190 40 | 0.000 % | 1268.91/1268.91 c | 6282020 | 1320 109969 362654 | 1 262835 40 | 0.000 % | 1268.91/1268.91 c | 6282122 | 1320 109969 362654 | 1 262937 40 | 0.000 % | 1268.91/1268.91 c | 6282223 | 1320 109969 362654 | 1 263038 40 | 0.000 % | 1268.91/1268.91 c | 6286327 | 1320 109969 362654 | 1 267142 40 | 0.000 % | 1268.91/1268.91 c | 6286430 | 1320 109969 362654 | 1 267245 40 | 0.000 % | 1268.91/1268.91 c | 6294239 | 1320 109969 362654 | 1 275054 41 | 0.000 % | 1268.91/1268.91 c | 6294339 | 1320 109969 362654 | 1 275154 41 | 0.000 % | 1268.91/1268.91 c | 6298104 | 1320 109969 362654 | 1 278919 41 | 0.000 % | 1268.91/1268.91 c | 6299071 | 1320 109969 362654 | 1 279886 41 | 0.000 % | 1268.91/1268.91 c | 6310583 | 1320 109969 362654 | 1 291398 42 | 0.000 % | 1268.91/1268.91 c | 6318031 | 1320 109969 362654 | 1 298846 43 | 0.000 % | 1268.91/1268.91 c | 6318388 | 1320 109969 362654 | 1 299203 43 | 0.000 % | 1268.91/1268.91 c | 6322545 | 1320 109969 362654 | 1 303360 43 | 0.000 % | 1268.91/1268.91 c | 6331994 | 1320 109969 362654 | 1 312809 44 | 0.000 % | 1268.91/1268.91 c | 6332746 | 1320 109969 362654 | 1 313561 44 | 0.000 % | 1268.91/1268.91 c | 6332846 | 1320 109969 362654 | 1 313661 44 | 0.000 % | 1268.91/1268.91 c | 6335352 | 1320 109969 362654 | 1 316167 44 | 0.000 % | 1268.91/1268.91 c | 6342693 | 1320 109969 362654 | 1 323508 44 | 0.000 % | 1268.91/1268.91 c | 6354290 | 1320 109969 362654 | 1 335105 45 | 0.000 % | 1268.91/1268.91 c | 6354425 | 1320 109969 362654 | 1 335240 45 | 0.000 % | 1268.91/1268.91 c | 6356054 | 1320 109969 362654 | 1 336869 45 | 0.000 % | 1268.91/1268.91 c | 6367255 | 1320 109969 362654 | 1 348070 45 | 0.000 % | 1268.91/1268.91 c | 6367357 | 1320 109969 362654 | 1 348172 45 | 0.000 % | 1268.91/1268.91 c | 6368934 | 1320 109969 362654 | 1 349749 45 | 0.000 % | 1268.91/1268.91 c | 6369789 | 1320 109969 362654 | 1 350604 45 | 0.000 % | 1268.91/1268.91 c | 63797
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-3258612-1303476551/watcher-3258612-1303476551 -o /tmp/evaluation-result-3258612-1303476551/solver-3258612-1303476551 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258612-1303476551.cnf running on 2 cores: 1,3 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: 3.38 3.86 3.82 4/175 25527 /proc/meminfo: memFree=17656404/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 440071024 8912896 252 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 252 211 178 0 69 0 [startup+0.022571 s] /proc/loadavg: 3.38 3.86 3.82 4/175 25527 /proc/meminfo: memFree=17656404/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 440071024 8912896 252 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100548 s] /proc/loadavg: 3.38 3.86 3.82 4/175 25527 /proc/meminfo: memFree=17656404/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 440071024 8912896 252 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.30051 s] /proc/loadavg: 3.38 3.86 3.82 4/175 25527 /proc/meminfo: memFree=17656404/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 440071024 8912896 252 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700432 s] /proc/loadavg: 3.38 3.86 3.82 4/175 25527 /proc/meminfo: memFree=17656404/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 8704 [startup+1.50029 s] /proc/loadavg: 3.38 3.86 3.82 4/188 25547 /proc/meminfo: memFree=17588320/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=30076 CPUtime=1.18 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 6809 0 0 0 117 1 0 0 18 0 1 0 440071055 30797824 3900 33554432000 4194304 4260849 140736614468272 18446744073709551615 4229333 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 7519 3900 249 17 0 4160 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38780 [startup+3.10099 s] /proc/loadavg: 3.38 3.86 3.82 5/194 25561 /proc/meminfo: memFree=17554868/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=38848 CPUtime=2.77 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 9693 0 0 0 276 1 0 0 20 0 1 0 440071055 39780352 6536 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 9712 6536 249 17 0 6353 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 47552 [startup+6.3004 s] /proc/loadavg: 3.43 3.87 3.82 5/194 25561 /proc/meminfo: memFree=17482888/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=41568 CPUtime=5.98 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 14524 0 0 0 596 2 0 0 25 0 1 0 440071055 42565632 4418 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 10392 4418 250 17 0 7033 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50272 [startup+12.7002 s] /proc/loadavg: 3.48 3.87 3.82 5/194 25561 /proc/meminfo: memFree=17433324/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=41568 CPUtime=12.37 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 17423 0 0 0 1235 2 0 0 25 0 1 0 440071055 42565632 7150 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 10392 7150 250 17 0 7033 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 50272 [startup+25.5009 s] /proc/loadavg: 3.59 3.87 3.82 5/194 25561 /proc/meminfo: memFree=17405968/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=60676 CPUtime=25.17 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 24858 0 0 0 2514 3 0 0 25 0 1 0 440071055 62132224 10864 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 15169 10864 250 17 0 11810 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 69380 [startup+51.1012 s] /proc/loadavg: 3.73 3.88 3.82 5/194 25562 /proc/meminfo: memFree=17369484/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=91024 CPUtime=50.78 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 31375 0 0 0 5073 5 0 0 25 0 1 0 440071055 93208576 12592 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 22756 12592 250 17 0 19397 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99728 [startup+102.307 s] /proc/loadavg: 3.88 3.90 3.83 5/194 25563 /proc/meminfo: memFree=17298400/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=91024 CPUtime=101.98 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 36322 0 0 0 10193 5 0 0 25 0 1 0 440071055 93208576 17346 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 22756 17346 251 17 0 19397 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 99728 [startup+162.301 s] /proc/loadavg: 3.95 3.91 3.83 5/194 25565 /proc/meminfo: memFree=17314860/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=88128 CPUtime=161.97 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 56757 0 0 0 16188 9 0 0 25 0 1 0 440071055 90243072 12608 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 22032 12608 251 17 0 18673 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 96832 [startup+222.301 s] /proc/loadavg: 3.98 3.93 3.84 5/194 25567 /proc/meminfo: memFree=17199268/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=221.98 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 108467 0 0 0 22181 17 0 0 25 0 1 0 440071055 153010176 29584 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 29584 251 17 0 33997 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 158128 [startup+282.301 s] /proc/loadavg: 3.99 3.94 3.85 5/194 25568 /proc/meminfo: memFree=17236444/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=100104 CPUtime=281.98 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 138955 0 0 0 28175 23 0 0 25 0 1 0 440071055 102506496 21857 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 25026 21857 251 17 0 21667 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 108808 [startup+342.3 s] /proc/loadavg: 4.07 3.96 3.86 5/194 25570 /proc/meminfo: memFree=17143056/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=341.98 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 180178 0 0 0 34168 30 0 0 25 0 1 0 440071055 153010176 31747 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 31747 251 17 0 33997 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 158128 [startup+402.3 s] /proc/loadavg: 4.09 3.98 3.87 5/194 25571 /proc/meminfo: memFree=17183688/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 ################ # More data... # ################ /proc/25540/statm: 37356 31925 251 17 0 33997 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 158128 [startup+642.301 s] /proc/loadavg: 4.06 4.00 3.90 5/194 25578 /proc/meminfo: memFree=17118928/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=642 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 325637 0 0 0 64137 63 0 0 25 0 1 0 440071055 153010176 32711 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 32711 251 17 0 33997 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 158128 [startup+702.301 s] /proc/loadavg: 4.02 4.00 3.90 5/194 25579 /proc/meminfo: memFree=17119392/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=702 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 353679 0 0 0 70130 70 0 0 25 0 1 0 440071055 153010176 32732 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 32732 251 17 0 33997 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 158128 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25590 /proc/meminfo: memFree=17035004/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=762 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 379632 0 0 0 76123 77 0 0 25 0 1 0 440071055 153010176 30882 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 30882 251 17 0 33997 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 158128 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25592 /proc/meminfo: memFree=17062632/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=822 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 406782 0 0 0 82116 84 0 0 25 0 1 0 440071055 153010176 29555 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 29555 251 17 0 33997 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 158128 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25593 /proc/meminfo: memFree=16989700/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=180244 CPUtime=882 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 427262 0 0 0 88109 91 0 0 25 0 1 0 440071055 184569856 35001 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 45061 35001 251 17 0 41702 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 188948 [startup+942.301 s] /proc/loadavg: 4.04 4.01 3.91 5/194 25595 /proc/meminfo: memFree=16999456/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=942 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 453035 0 0 0 94103 97 0 0 25 0 1 0 440071055 153010176 30866 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 30866 251 17 0 33997 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 158128 [startup+1002.3 s] /proc/loadavg: 4.05 4.02 3.92 5/194 25596 /proc/meminfo: memFree=17023992/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=180244 CPUtime=1002 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 472835 0 0 0 100096 104 0 0 25 0 1 0 440071055 184569856 35539 33554432000 4194304 4260849 140736614468272 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 45061 35539 251 17 0 41702 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 188948 [startup+1062.3 s] /proc/loadavg: 4.08 4.03 3.93 5/194 25598 /proc/meminfo: memFree=17020008/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=1062 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 498166 0 0 0 106090 110 0 0 25 0 1 0 440071055 153010176 29720 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 29720 251 17 0 33997 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 158128 [startup+1122.3 s] /proc/loadavg: 4.03 4.02 3.93 5/194 25600 /proc/meminfo: memFree=17002236/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=180244 CPUtime=1122.01 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 519197 0 0 0 112085 116 0 0 25 0 1 0 440071055 184569856 34661 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 45061 34661 251 17 0 41702 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 188948 [startup+1182.3 s] /proc/loadavg: 4.09 4.04 3.93 5/194 25601 /proc/meminfo: memFree=17014108/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=180244 CPUtime=1182.01 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 540415 0 0 0 118080 121 0 0 25 0 1 0 440071055 184569856 38678 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 45061 38678 251 17 0 41702 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 188948 [startup+1242.3 s] /proc/loadavg: 4.03 4.03 3.93 5/194 25603 /proc/meminfo: memFree=17049668/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=149424 CPUtime=1242 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 568891 0 0 0 124072 128 0 0 25 0 1 0 440071055 153010176 32575 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 37356 32575 251 17 0 33997 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 158128 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.01 4.02 3.93 5/194 25604 /proc/meminfo: memFree=17000528/32951124 swapFree=67111528/67111528 [pid=25527] ppid=25525 vsize=8704 CPUtime=0.3 cores=1,3 /proc/25527/stat : 25527 (glucose.sh) S 25525 25527 24386 0 -1 4202496 360 2402 0 0 0 0 30 0 15 0 1 0 440071024 8912896 254 33554432000 4194304 4922060 140736578617088 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25527/statm: 2176 254 211 178 0 69 0 [pid=25540] ppid=25527 vsize=180244 CPUtime=1299.72 cores=1,3 /proc/25540/stat : 25540 (glucose_static) R 25527 25527 24386 0 -1 4202496 590978 0 0 0 129837 135 0 0 25 0 1 0 440071055 184569856 36960 33554432000 4194304 4260849 140736614468272 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25540/statm: 45061 36960 251 17 0 41702 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 188948 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 25527 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=309952 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.315951 # 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): 1298.67 CPU system time (s): 1.35 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 188948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.309952 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= 2762 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= 35 involuntary context switches= 4 runsolver used 1.9847 second user time and 5.12422 second system time The end
Begin job on node147 at 2011-04-22 14:49:11 IDJOB=3258612 IDBENCH=71397 IDSOLVER=1651 FILE ID=node147/3258612-1303476551 RUNJOBID= node147-1303476551-25512 PBS_JOBID= 13107198 Free space on /tmp= 71964 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258612-1303476551/watcher-3258612-1303476551 -o /tmp/evaluation-result-3258612-1303476551/solver-3258612-1303476551 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258612-1303476551.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= c904604702db7cfabf92e607e197d409 RANDOM SEED=781870268 node147.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.836 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.67 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.836 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 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.836 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.76 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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 17656552 kB Buffers: 1271312 kB Cached: 13422560 kB SwapCached: 0 kB Active: 7233768 kB Inactive: 7523900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 17656552 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6452 kB Writeback: 0 kB AnonPages: 63852 kB Mapped: 14488 kB Slab: 473672 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187108 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= 71936 MiB End job on node147 at 2011-04-22 15:10:53