| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 1275.86 | 1275.83 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf |
| MD5SUM | cffaf116c6c0eb21439a109753d19c34 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 4.01139 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 945 |
| Number of clauses | 61409 |
| Sum of the clauses size | 123673 |
| Maximum clause length | 21 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 61364 |
| 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 | 45 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % | 0.00/0.11 c | 0 | 60246 195744 | -- 0 -- -- | -- | -1163/72071 0.00/0.11 c ============================================================================== 0.00/0.11 c Result : #vars: 900 #clauses: 60246 #literals: 195744 0.00/0.11 c CPU time: 0.114982 s 0.00/0.11 c ============================================================================== 0.00/0.14 c 0.00/0.14 c Starting glucose 0.00/0.14 c 122.69/122.70 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 122.69/122.70 c WARNING: for repeatability, setting FPU to use double precision 122.69/122.70 c ============================[ Problem Statistics ]============================= 122.69/122.70 c | | 122.69/122.70 c | Number of variables: 900 | 122.69/122.70 c | Number of clauses: 60246 | 122.69/122.70 c | Parse time: 0.01 s | 122.69/122.70 c | | 122.69/122.70 c ============================[ Search Statistics ]============================== 122.69/122.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 122.69/122.70 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 122.69/122.70 c =============================================================================== 122.69/122.70 c | 9794 | 900 60246 195744 | 1 7802 74 | 0.000 % | 122.69/122.70 c | 48264 | 900 60246 195744 | 1 14124 46 | 0.000 % | 122.69/122.70 c | 117410 | 900 60246 195744 | 1 32240 45 | 0.000 % | 122.69/122.70 c | 264734 | 900 60246 195744 | 1 42561 35 | 0.000 % | 122.69/122.70 c | 446000 | 900 60246 195744 | 1 67419 36 | 0.000 % | 122.69/122.70 c | 561095 | 900 60246 195744 | 1 88713 36 | 0.000 % | 122.69/122.70 c | 614350 | 900 60246 195744 | 1 91171 34 | 0.000 % | 122.69/122.70 c | 614601 | 900 60246 195744 | 1 91422 34 | 0.000 % | 122.69/122.70 c | 618498 | 900 60246 195744 | 1 95319 35 | 0.000 % | 122.69/122.70 c | 678563 | 900 60246 195744 | 1 101982 40 | 0.000 % | 122.69/122.70 c | 679420 | 900 60246 195744 | 1 102839 40 | 0.000 % | 122.69/122.70 c | 695096 | 900 60246 195744 | 1 62523 31 | 0.000 % | 122.69/122.70 c | 696020 | 900 60246 195744 | 1 63447 32 | 0.000 % | 122.69/122.70 c | 739412 | 900 60246 195744 | 1 106839 42 | 0.000 % | 122.69/122.70 c | 793797 | 900 60246 195744 | 1 102622 40 | 0.000 % | 122.69/122.70 c | 820153 | 900 60246 195744 | 1 67776 31 | 0.000 % | 122.69/122.70 c | 829822 | 900 60246 195744 | 1 77445 34 | 0.000 % | 122.69/122.70 c | 836010 | 900 60246 195744 | 1 83633 36 | 0.000 % | 122.69/122.70 c | 846711 | 900 60246 195744 | 1 94334 38 | 0.000 % | 122.69/122.70 c | 851759 | 900 60246 195744 | 1 99382 39 | 0.000 % | 122.69/122.70 c | 855289 | 900 60246 195744 | 1 102912 39 | 0.000 % | 122.69/122.70 c | 855434 | 900 60246 195744 | 1 103057 39 | 0.000 % | 122.69/122.70 c | 908023 | 900 60246 195744 | 1 91840 35 | 0.000 % | 122.69/122.70 c | 935806 | 900 60246 195744 | 1 119623 39 | 0.000 % | 122.69/122.70 c | 941581 | 900 60246 195744 | 1 125398 39 | 0.000 % | 122.69/122.70 c | 941698 | 900 60246 195744 | 1 125515 39 | 0.000 % | 122.69/122.70 c | 949902 | 900 60246 195744 | 1 67317 27 | 0.000 % | 122.69/122.70 c | 963510 | 900 60246 195744 | 1 80925 31 | 0.000 % | 122.69/122.70 c | 967351 | 900 60246 195744 | 1 84766 32 | 0.000 % | 122.69/122.70 c | 973606 | 900 60246 195744 | 1 91021 34 | 0.000 % | 122.69/122.70 c | 984927 | 900 60246 195744 | 1 102342 36 | 0.000 % | 122.69/122.70 c | 989709 | 900 60246 195744 | 1 107124 37 | 0.000 % | 122.69/122.70 c | 1007103 | 900 60246 195744 | 1 124518 40 | 0.000 % | 122.69/122.70 c | 1010069 | 900 60246 195744 | 1 127484 40 | 0.000 % | 122.69/122.70 c | 1011846 | 900 60246 195744 | 1 129261 40 | 0.000 % | 122.69/122.70 c | 1018331 | 900 60246 195744 | 1 135746 41 | 0.000 % | 122.69/122.70 c | 1019887 | 900 60246 195744 | 1 137302 41 | 0.000 % | 122.69/122.70 c | 1034977 | 900 60246 195744 | 1 83389 33 | 0.000 % | 122.69/122.70 c | 1035078 | 900 60246 195744 | 1 83490 33 | 0.000 % | 185.29/185.31 c | 1035321 | 900 60246 195744 | 1 83733 33 | 0.000 % | 185.29/185.31 c | 1038671 | 900 60246 195744 | 1 87083 34 | 0.000 % | 185.29/185.31 c | 1084570 | 900 60246 195744 | 1 132982 41 | 0.000 % | 185.29/185.31 c | 1085549 | 900 60246 195744 | 1 133961 41 | 0.000 % | 185.29/185.31 c | 1092582 | 900 60246 195744 | 1 140994 41 | 0.000 % | 185.29/185.31 c | 1098694 | 900 60246 195744 | 1 75506 29 | 0.000 % | 185.29/185.31 c | 1105653 | 900 60246 195744 | 1 82465 32 | 0.000 % | 185.29/185.31 c | 1107061 | 900 60246 195744 | 1 83873 32 | 0.000 % | 185.29/185.31 c | 1112668 | 900 60246 195744 | 1 89480 33 | 0.000 % | 185.29/185.31 c | 1119716 | 900 60246 195744 | 1 96528 36 | 0.000 % | 185.29/185.31 c | 1120965 | 900 60246 195744 | 1 97777 36 | 0.000 % | 185.29/185.31 c | 1121647 | 900 60246 195744 | 1 98459 36 | 0.000 % | 185.29/185.31 c | 1121782 | 900 60246 195744 | 1 98594 36 | 0.000 % | 185.29/185.31 c | 1127278 | 900 60246 195744 | 1 104090 37 | 0.000 % | 185.29/185.31 c | 1127462 | 900 60246 195744 | 1 104274 37 | 0.000 % | 185.29/185.31 c | 1131778 | 900 60246 195744 | 1 108590 38 | 0.000 % | 185.29/185.31 c | 1134338 | 900 60246 195744 | 1 111150 38 | 0.000 % | 185.29/185.31 c | 1136363 | 900 60246 195744 | 1 113175 39 | 0.000 % | 185.29/185.31 c | 1147882 | 900 60246 195744 | 1 124694 39 | 0.000 % | 185.29/185.31 c | 1155045 | 900 60246 195744 | 1 131857 40 | 0.000 % | 185.29/185.31 c | 1165315 | 900 60246 195744 | 1 142127 41 | 0.000 % | 185.29/185.31 c | 1165952 | 900 60246 195744 | 1 142764 41 | 0.000 % | 185.29/185.31 c | 1168414 | 900 60246 195744 | 1 145226 41 | 0.000 % | 185.29/185.31 c | 1169394 | 900 60246 195744 | 1 146206 41 | 0.000 % | 185.29/185.31 c | 1174131 | 900 60246 195744 | 1 76744 28 | 0.000 % | 185.29/185.31 c | 1175257 | 900 60246 195744 | 1 77870 28 | 0.000 % | 185.29/185.31 c | 1196979 | 900 60246 195744 | 1 99592 32 | 0.000 % | 185.29/185.31 c | 1197379 | 900 60246 195744 | 1 99992 32 | 0.000 % | 185.29/185.31 c | 1197479 | 900 60246 195744 | 1 100092 32 | 0.000 % | 185.29/185.31 c | 1201270 | 900 60246 195744 | 1 103883 33 | 0.000 % | 185.29/185.31 c | 1213268 | 900 60246 195744 | 1 115881 34 | 0.000 % | 185.29/185.31 c | 1232335 | 900 60246 195744 | 1 134948 35 | 0.000 % | 185.29/185.31 c | 1255285 | 900 60246 195744 | 1 81096 27 | 0.000 % | 185.29/185.31 c | 1257587 | 900 60246 195744 | 1 83398 27 | 0.000 % | 185.29/185.31 c | 1257688 | 900 60246 195744 | 1 83499 27 | 0.000 % | 185.29/185.31 c | 1257871 | 900 60246 195744 | 1 83682 28 | 0.000 % | 185.29/185.31 c | 1263380 | 900 60246 195744 | 1 89191 28 | 0.000 % | 185.29/185.31 c | 1271117 | 900 60246 195744 | 1 96928 30 | 0.000 % | 185.29/185.31 c | 1271861 | 900 60246 195744 | 1 97672 30 | 0.000 % | 185.29/185.31 c | 1322146 | 900 60246 195744 | 1 147957 34 | 0.000 % | 185.29/185.31 c | 1322268 | 900 60246 195744 | 1 148079 34 | 0.000 % | 185.29/185.31 c | 1327471 | 900 60246 195744 | 1 153282 35 | 0.000 % | 185.29/185.31 c | 1370876 | 900 60246 195744 | 1 117298 31 | 0.000 % | 185.29/185.31 c | 1385612 | 900 60246 195744 | 1 132034 32 | 0.000 % | 185.29/185.31 c | 1388105 | 900 60246 195744 | 1 134527 32 | 0.000 % | 185.29/185.31 c | 1394741 | 900 60246 195744 | 1 141163 33 | 0.000 % | 185.29/185.31 c | 1407252 | 900 60246 195744 | 1 153674 35 | 0.000 % | 185.29/185.31 c | 1410136 | 900 60246 195744 | 1 156558 35 | 0.000 % | 185.29/185.31 c | 1416401 | 900 60246 195744 | 1 162823 36 | 0.000 % | 185.29/185.31 c | 1416826 | 900 60246 195744 | 1 163248 36 | 0.000 % | 228.39/228.49 c | 1427895 | 900 60246 195744 | 1 92315 28 | 0.000 % | 228.39/228.49 c | 1433919 | 900 60246 195744 | 1 98339 29 | 0.000 % | 228.39/228.49 c | 1461376 | 900 60246 195744 | 1 125796 33 | 0.000 % | 228.39/228.49 c | 1465256 | 900 60246 195744 | 1 129676 34 | 0.000 % | 228.39/228.49 c | 1470358 | 900 60246 195744 | 1 134778 34 | 0.000 % | 228.39/228.49 c | 1474233 | 900 60246 195744 | 1 138653 35 | 0.000 % | 228.39/228.49 c | 1474334 | 900 60246 195744 | 1 138754 35 | 0.000 % | 228.39/228.49 c | 1489930 | 900 60246 195744 | 1 154350 36 | 0.000 % | 228.39/228.49 c | 1491858 | 900 60246 195744 | 1 156278 36 | 0.000 % | 228.39/228.49 c | 1499850 | 900 60246 195744 | 1 164270 37 | 0.000 % | 228.39/228.49 c | 1510309 | 900 60246 195744 | 1 90124 27 | 0.000 % | 228.39/228.49 c | 1510411 | 900 60246 195744 | 1 90226 27 | 0.000 % | 228.39/228.49 c | 1511085 | 900 60246 195744 | 1 90900 28 | 0.000 % | 228.39/228.49 c | 1515999 | 900 60246 195744 | 1 95814 29 | 0.000 % | 228.39/228.49 c | 1516099 | 900 60246 195744 | 1 95914 29 | 0.000 % | 228.39/228.49 c | 1530518 | 900 60246 195744 | 1 110333 31 | 0.000 % | 228.39/228.49 c | 1534490 | 900 60246 195744 | 1 114305 32 | 0.000 % | 228.39/228.49 c | 1543204 | 900 60246 195744 | 1 123019 33 | 0.000 % | 228.39/228.49 c | 1543767 | 900 60246 195744 | 1 123582 34 | 0.000 % | 228.39/228.49 c | 1552505 | 900 60246 195744 | 1 132320 35 | 0.000 % | 228.39/228.49 c | 1552605 | 900 60246 195744 | 1 132420 35 | 0.000 % | 228.39/228.49 c | 1552706 | 900 60246 195744 | 1 132521 35 | 0.000 % | 228.39/228.49 c | 1560495 | 900 60246 195744 | 1 140310 36 | 0.000 % | 228.39/228.49 c | 1568281 | 900 60246 195744 | 1 148096 37 | 0.000 % | 228.39/228.49 c | 1570010 | 900 60246 195744 | 1 149825 37 | 0.000 % | 228.39/228.49 c | 1576021 | 900 60246 195744 | 1 155836 38 | 0.000 % | 228.39/228.49 c | 1585979 | 900 60246 195744 | 1 165794 39 | 0.000 % | 228.39/228.49 c | 1596068 | 900 60246 195744 | 1 88685 27 | 0.000 % | 228.39/228.49 c | 1596594 | 900 60246 195744 | 1 89211 27 | 0.000 % | 228.39/228.49 c | 1601214 | 900 60246 195744 | 1 93831 28 | 0.000 % | 228.39/228.49 c | 1604444 | 900 60246 195744 | 1 97061 29 | 0.000 % | 228.39/228.49 c | 1612395 | 900 60246 195744 | 1 105012 31 | 0.000 % | 228.39/228.49 c | 1617777 | 900 60246 195744 | 1 110394 32 | 0.000 % | 228.39/228.49 c | 1630493 | 900 60246 195744 | 1 123110 34 | 0.000 % | 228.39/228.49 c | 1646850 | 900 60246 195744 | 1 139467 36 | 0.000 % | 228.39/228.49 c | 1647342 | 900 60246 195744 | 1 139959 36 | 0.000 % | 228.39/228.49 c | 1650240 | 900 60246 195744 | 1 142857 37 | 0.000 % | 228.39/228.49 c | 1652806 | 900 60246 195744 | 1 145423 37 | 0.000 % | 228.39/228.49 c | 1652910 | 900 60246 195744 | 1 145527 37 | 0.000 % | 228.39/228.49 c | 1653011 | 900 60246 195744 | 1 145628 37 | 0.000 % | 228.39/228.49 c | 1656969 | 900 60246 195744 | 1 149586 37 | 0.000 % | 228.39/228.49 c | 1661961 | 900 60246 195744 | 1 154578 38 | 0.000 % | 228.39/228.49 c | 1662112 | 900 60246 195744 | 1 154729 38 | 0.000 % | 228.39/228.49 c | 1668808 | 900 60246 195744 | 1 161425 38 | 0.000 % | 228.39/228.49 c | 1671853 | 900 60246 195744 | 1 164470 39 | 0.000 % | 228.39/228.49 c | 1675630 | 900 60246 195744 | 1 168247 39 | 0.000 % | 228.39/228.49 c | 1675730 | 900 60246 195744 | 1 168347 39 | 0.000 % | 228.39/228.49 c | 1679014 | 900 60246 195744 | 1 171631 40 | 0.000 % | 228.39/228.49 c | 1684056 | 900 60246 195744 | 1 176673 40 | 0.000 % | 228.39/228.49 c | 1693853 | 900 60246 195744 | 1 96671 28 | 0.000 % | 268.99/269.02 c | 1693955 | 900 60246 195744 | 1 96773 28 | 0.000 % | 268.99/269.02 c | 1695555 | 900 60246 195744 | 1 98373 29 | 0.000 % | 268.99/269.02 c | 1696532 | 900 60246 195744 | 1 99350 29 | 0.000 % | 268.99/269.02 c | 1700035 | 900 60246 195744 | 1 102853 30 | 0.000 % | 268.99/269.02 c | 1707307 | 900 60246 195744 | 1 110125 32 | 0.000 % | 268.99/269.02 c | 1709681 | 900 60246 195744 | 1 112499 33 | 0.000 % | 268.99/269.02 c | 1712480 | 900 60246 195744 | 1 115298 33 | 0.000 % | 268.99/269.02 c | 1714709 | 900 60246 195744 | 1 117527 33 | 0.000 % | 268.99/269.02 c | 1721494 | 900 60246 195744 | 1 124312 34 | 0.000 % | 268.99/269.02 c | 1736474 | 900 60246 195744 | 1 139292 36 | 0.000 % | 268.99/269.02 c | 1750336 | 900 60246 195744 | 1 153154 39 | 0.000 % | 268.99/269.02 c | 1750992 | 900 60246 195744 | 1 153810 39 | 0.000 % | 268.99/269.02 c | 1756561 | 900 60246 195744 | 1 159379 39 | 0.000 % | 268.99/269.02 c | 1758415 | 900 60246 195744 | 1 161233 39 | 0.000 % | 268.99/269.02 c | 1775485 | 900 60246 195744 | 1 178303 41 | 0.000 % | 268.99/269.02 c | 1775596 | 900 60246 195744 | 1 178414 41 | 0.000 % | 268.99/269.02 c | 1781535 | 900 60246 195744 | 1 184353 42 | 0.000 % | 268.99/269.02 c | 1791086 | 900 60246 195744 | 1 101497 29 | 0.000 % | 268.99/269.02 c | 1798661 | 900 60246 195744 | 1 109072 30 | 0.000 % | 268.99/269.02 c | 1805558 | 900 60246 195744 | 1 115969 32 | 0.000 % | 268.99/269.02 c | 1828002 | 900 60246 195744 | 1 138413 34 | 0.000 % | 268.99/269.02 c | 1829011 | 900 60246 195744 | 1 139422 35 | 0.000 % | 268.99/269.02 c | 1833391 | 900 60246 195744 | 1 143802 35 | 0.000 % | 268.99/269.02 c | 1857363 | 900 60246 195744 | 1 167774 38 | 0.000 % | 268.99/269.02 c | 1859350 | 900 60246 195744 | 1 169761 39 | 0.000 % | 268.99/269.02 c | 1868190 | 900 60246 195744 | 1 178601 39 | 0.000 % | 268.99/269.02 c | 1868303 | 900 60246 195744 | 1 178714 39 | 0.000 % | 268.99/269.02 c | 1869017 | 900 60246 195744 | 1 179428 39 | 0.000 % | 268.99/269.02 c | 1869151 | 900 60246 195744 | 1 179562 39 | 0.000 % | 268.99/269.02 c | 1869573 | 900 60246 195744 | 1 179984 39 | 0.000 % | 268.99/269.02 c | 1873234 | 900 60246 195744 | 1 183645 40 | 0.000 % | 268.99/269.02 c | 1878955 | 900 60246 195744 | 1 189366 40 | 0.000 % | 268.99/269.02 c | 1880606 | 900 60246 195744 | 1 96023 27 | 0.000 % | 268.99/269.02 c | 1880728 | 900 60246 195744 | 1 96145 27 | 0.000 % | 268.99/269.02 c | 1881235 | 900 60246 195744 | 1 96652 27 | 0.000 % | 268.99/269.02 c | 1886834 | 900 60246 195744 | 1 102251 28 | 0.000 % | 268.99/269.02 c | 1887594 | 900 60246 195744 | 1 103011 29 | 0.000 % | 268.99/269.02 c | 1891409 | 900 60246 195744 | 1 106826 30 | 0.000 % | 268.99/269.02 c | 1901503 | 900 60246 195744 | 1 116920 32 | 0.000 % | 268.99/269.02 c | 1904971 | 900 60246 195744 | 1 120388 32 | 0.000 % | 268.99/269.02 c | 1907033 | 900 60246 195744 | 1 122450 32 | 0.000 % | 268.99/269.02 c | 1912722 | 900 60246 195744 | 1 128139 34 | 0.000 % | 268.99/269.02 c | 1913164 | 900 60246 195744 | 1 128581 34 | 0.000 % | 268.99/269.02 c | 1914311 | 900 60246 195744 | 1 129728 34 | 0.000 % | 268.99/269.02 c | 1914910 | 900 60246 195744 | 1 130327 34 | 0.000 % | 268.99/269.02 c | 1917067 | 900 60246 195744 | 1 132484 35 | 0.000 % | 268.99/269.02 c | 1917373 | 900 60246 195744 | 1 132790 35 | 0.000 % | 268.99/269.02 c | 1918679 | 900 60246 195744 | 1 134096 35 | 0.000 % | 268.99/269.02 c | 1944941 | 900 60246 195744 | 1 160358 37 | 0.000 % | 268.99/269.02 c | 1945041 | 900 60246 195744 | 1 160458 37 | 0.000 % | 328.60/328.68 c | 1948261 | 900 60246 195744 | 1 163678 38 | 0.000 % | 328.60/328.68 c | 1955518 | 900 60246 195744 | 1 170935 38 | 0.000 % | 328.60/328.68 c | 1965884 | 900 60246 195744 | 1 181301 39 | 0.000 % | 328.60/328.68 c | 1979905 | 900 60246 195744 | 1 97731 26 | 0.000 % | 328.60/328.68 c | 1980005 | 900 60246 195744 | 1 97831 26 | 0.000 % | 328.60/328.68 c | 1982714 | 900 60246 195744 | 1 100540 27 | 0.000 % | 328.60/328.68 c | 1997925 | 900 60246 195744 | 1 115751 31 | 0.000 % | 328.60/328.68 c | 2000077 | 900 60246 195744 | 1 117903 31 | 0.000 % | 328.60/328.68 c | 2003047 | 900 60246 195744 | 1 120873 32 | 0.000 % | 328.60/328.68 c | 2009554 | 900 60246 195744 | 1 127380 34 | 0.000 % | 328.60/328.68 c | 2021859 | 900 60246 195744 | 1 139685 36 | 0.000 % | 328.60/328.68 c | 2026334 | 900 60246 195744 | 1 144160 36 | 0.000 % | 328.60/328.68 c | 2030066 | 900 60246 195744 | 1 147892 37 | 0.000 % | 328.60/328.68 c | 2032458 | 900 60246 195744 | 1 150284 37 | 0.000 % | 328.60/328.68 c | 2032823 | 900 60246 195744 | 1 150649 37 | 0.000 % | 328.60/328.68 c | 2038037 | 900 60246 195744 | 1 155863 38 | 0.000 % | 328.60/328.68 c | 2047452 | 900 60246 195744 | 1 165278 39 | 0.000 % | 328.60/328.68 c | 2075225 | 900 60246 195744 | 1 193051 41 | 0.000 % | 328.60/328.68 c | 2076546 | 900 60246 195744 | 1 194372 41 | 0.000 % | 328.60/328.68 c | 2076647 | 900 60246 195744 | 1 194473 41 | 0.000 % | 328.60/328.68 c | 2076748 | 900 60246 195744 | 1 194574 41 | 0.000 % | 328.60/328.68 c | 2076848 | 900 60246 195744 | 1 194674 41 | 0.000 % | 328.60/328.68 c | 2081222 | 900 60246 195744 | 1 199048 41 | 0.000 % | 328.60/328.68 c | 2095708 | 900 60246 195744 | 1 113325 30 | 0.000 % | 328.60/328.68 c | 2112167 | 900 60246 195744 | 1 129784 32 | 0.000 % | 328.60/328.68 c | 2130832 | 900 60246 195744 | 1 148449 35 | 0.000 % | 328.60/328.68 c | 2130933 | 900 60246 195744 | 1 148550 35 | 0.000 % | 328.60/328.68 c | 2141578 | 900 60246 195744 | 1 159195 36 | 0.000 % | 328.60/328.68 c | 2152816 | 900 60246 195744 | 1 170433 37 | 0.000 % | 328.60/328.68 c | 2155341 | 900 60246 195744 | 1 172958 38 | 0.000 % | 328.60/328.68 c | 2164360 | 900 60246 195744 | 1 181977 39 | 0.000 % | 328.60/328.68 c | 2178159 | 900 60246 195744 | 1 195776 40 | 0.000 % | 328.60/328.68 c | 2187924 | 900 60246 195744 | 1 205541 41 | 0.000 % | 328.60/328.68 c | 2191321 | 900 60246 195744 | 1 106134 27 | 0.000 % | 328.60/328.68 c | 2195311 | 900 60246 195744 | 1 110124 28 | 0.000 % | 328.60/328.68 c | 2199776 | 900 60246 195744 | 1 114589 30 | 0.000 % | 328.60/328.68 c | 2206639 | 900 60246 195744 | 1 121452 31 | 0.000 % | 328.60/328.68 c | 2208092 | 900 60246 195744 | 1 122905 31 | 0.000 % | 328.60/328.68 c | 2209407 | 900 60246 195744 | 1 124220 31 | 0.000 % | 328.60/328.68 c | 2212135 | 900 60246 195744 | 1 126948 32 | 0.000 % | 328.60/328.68 c | 2213963 | 900 60246 195744 | 1 128776 32 | 0.000 % | 328.60/328.68 c | 2219156 | 900 60246 195744 | 1 133969 33 | 0.000 % | 328.60/328.68 c | 2219257 | 900 60246 195744 | 1 134070 33 | 0.000 % | 328.60/328.68 c | 2225414 | 900 60246 195744 | 1 140227 34 | 0.000 % | 328.60/328.68 c | 2229894 | 900 60246 195744 | 1 144707 35 | 0.000 % | 328.60/328.68 c | 2231930 | 900 60246 195744 | 1 146743 35 | 0.000 % | 328.60/328.68 c | 2245107 | 900 60246 195744 | 1 159920 37 | 0.000 % | 328.60/328.68 c | 2261127 | 900 60246 195744 | 1 175940 39 | 0.000 % | 328.60/328.68 c | 2281450 | 900 60246 195744 | 1 196263 40 | 0.000 % | 328.60/328.68 c | 2289234 | 900 60246 195744 | 1 204047 40 | 0.000 % | 376.59/376.67 c | 2292151 | 900 60246 195744 | 1 206964 41 | 0.000 % | 376.59/376.67 c | 2292588 | 900 60246 195744 | 1 207401 41 | 0.000 % | 376.59/376.67 c | 2300536 | 900 60246 195744 | 1 109954 28 | 0.000 % | 376.59/376.67 c | 2312164 | 900 60246 195744 | 1 121582 30 | 0.000 % | 376.59/376.67 c | 2317088 | 900 60246 195744 | 1 126506 31 | 0.000 % | 376.59/376.67 c | 2320453 | 900 60246 195744 | 1 129871 31 | 0.000 % | 376.59/376.67 c | 2322989 | 900 60246 195744 | 1 132407 32 | 0.000 % | 376.59/376.67 c | 2339092 | 900 60246 195744 | 1 148510 35 | 0.000 % | 376.59/376.67 c | 2342265 | 900 60246 195744 | 1 151683 35 | 0.000 % | 376.59/376.67 c | 2345327 | 900 60246 195744 | 1 154745 35 | 0.000 % | 376.59/376.67 c | 2359441 | 900 60246 195744 | 1 168859 37 | 0.000 % | 376.59/376.67 c | 2366306 | 900 60246 195744 | 1 175724 37 | 0.000 % | 376.59/376.67 c | 2381385 | 900 60246 195744 | 1 190803 38 | 0.000 % | 376.59/376.67 c | 2386290 | 900 60246 195744 | 1 195708 39 | 0.000 % | 376.59/376.67 c | 2386394 | 900 60246 195744 | 1 195812 39 | 0.000 % | 376.59/376.67 c | 2387506 | 900 60246 195744 | 1 196924 39 | 0.000 % | 376.59/376.67 c | 2388270 | 900 60246 195744 | 1 197688 39 | 0.000 % | 376.59/376.67 c | 2391874 | 900 60246 195744 | 1 201292 39 | 0.000 % | 376.59/376.67 c | 2401356 | 900 60246 195744 | 1 210774 39 | 0.000 % | 376.59/376.67 c | 2413933 | 900 60246 195744 | 1 115355 28 | 0.000 % | 376.59/376.67 c | 2427212 | 900 60246 195744 | 1 128634 30 | 0.000 % | 376.59/376.67 c | 2437316 | 900 60246 195744 | 1 138738 31 | 0.000 % | 376.59/376.67 c | 2439860 | 900 60246 195744 | 1 141282 31 | 0.000 % | 376.59/376.67 c | 2447072 | 900 60246 195744 | 1 148494 32 | 0.000 % | 376.59/376.67 c | 2452845 | 900 60246 195744 | 1 154267 33 | 0.000 % | 376.59/376.67 c | 2453036 | 900 60246 195744 | 1 154458 33 | 0.000 % | 376.59/376.67 c | 2454217 | 900 60246 195744 | 1 155639 33 | 0.000 % | 376.59/376.67 c | 2454742 | 900 60246 195744 | 1 156164 33 | 0.000 % | 376.59/376.67 c | 2456673 | 900 60246 195744 | 1 158095 33 | 0.000 % | 376.59/376.67 c | 2458927 | 900 60246 195744 | 1 160349 34 | 0.000 % | 376.59/376.67 c | 2488068 | 900 60246 195744 | 1 189490 37 | 0.000 % | 376.59/376.67 c | 2493097 | 900 60246 195744 | 1 194519 37 | 0.000 % | 376.59/376.67 c | 2494032 | 900 60246 195744 | 1 195454 37 | 0.000 % | 376.59/376.67 c | 2497884 | 900 60246 195744 | 1 199306 38 | 0.000 % | 376.59/376.67 c | 2502025 | 900 60246 195744 | 1 203447 38 | 0.000 % | 376.59/376.67 c | 2505120 | 900 60246 195744 | 1 206542 38 | 0.000 % | 376.59/376.67 c | 2505221 | 900 60246 195744 | 1 206643 38 | 0.000 % | 376.59/376.67 c | 2505322 | 900 60246 195744 | 1 206744 38 | 0.000 % | 376.59/376.67 c | 2511497 | 900 60246 195744 | 1 212919 39 | 0.000 % | 376.59/376.67 c | 2514068 | 900 60246 195744 | 1 215490 39 | 0.000 % | 376.59/376.67 c | 2514169 | 900 60246 195744 | 1 215591 39 | 0.000 % | 376.59/376.67 c | 2514494 | 900 60246 195744 | 1 215916 39 | 0.000 % | 376.59/376.67 c | 2516987 | 900 60246 195744 | 1 218409 39 | 0.000 % | 376.59/376.67 c | 2518091 | 900 60246 195744 | 1 219513 39 | 0.000 % | 376.59/376.67 c | 2518191 | 900 60246 195744 | 1 219613 39 | 0.000 % | 376.59/376.67 c | 2527011 | 900 60246 195744 | 1 117840 27 | 0.000 % | 376.59/376.67 c | 2527112 | 900 60246 195744 | 1 117941 27 | 0.000 % | 376.59/376.67 c | 2532164 | 900 60246 195744 | 1 122993 28 | 0.000 % | 376.59/376.67 c | 2543583 | 900 60246 195744 | 1 134412 29 | 0.000 % | 376.59/376.67 c | 2548013 | 900 60246 195744 | 1 138842 30 | 0.000 % | 417.20/417.29 c | 2561647 | 900 60246 195744 | 1 152476 31 | 0.000 % | 417.20/417.29 c | 2565490 | 900 60246 195744 | 1 156319 32 | 0.000 % | 417.20/417.29 c | 2569695 | 900 60246 195744 | 1 160524 33 | 0.000 % | 417.20/417.29 c | 2577630 | 900 60246 195744 | 1 168459 34 | 0.000 % | 417.20/417.29 c | 2578003 | 900 60246 195744 | 1 168832 34 | 0.000 % | 417.20/417.29 c | 2578482 | 900 60246 195744 | 1 169311 34 | 0.000 % | 417.20/417.29 c | 2579651 | 900 60246 195744 | 1 170480 34 | 0.000 % | 417.20/417.29 c | 2586690 | 900 60246 195744 | 1 177519 35 | 0.000 % | 417.20/417.29 c | 2587133 | 900 60246 195744 | 1 177962 35 | 0.000 % | 417.20/417.29 c | 2587490 | 900 60246 195744 | 1 178319 35 | 0.000 % | 417.20/417.29 c | 2603954 | 900 60246 195744 | 1 194783 37 | 0.000 % | 417.20/417.29 c | 2609128 | 900 60246 195744 | 1 199957 37 | 0.000 % | 417.20/417.29 c | 2609229 | 900 60246 195744 | 1 200058 37 | 0.000 % | 417.20/417.29 c | 2615560 | 900 60246 195744 | 1 206389 38 | 0.000 % | 417.20/417.29 c | 2615748 | 900 60246 195744 | 1 206577 38 | 0.000 % | 417.20/417.29 c | 2618453 | 900 60246 195744 | 1 209282 38 | 0.000 % | 417.20/417.29 c | 2624418 | 900 60246 195744 | 1 215247 38 | 0.000 % | 417.20/417.29 c | 2653156 | 900 60246 195744 | 1 130786 29 | 0.000 % | 417.20/417.29 c | 2662147 | 900 60246 195744 | 1 139777 30 | 0.000 % | 417.20/417.29 c | 2671312 | 900 60246 195744 | 1 148942 32 | 0.000 % | 417.20/417.29 c | 2676971 | 900 60246 195744 | 1 154601 32 | 0.000 % | 417.20/417.29 c | 2683135 | 900 60246 195744 | 1 160765 33 | 0.000 % | 417.20/417.29 c | 2686083 | 900 60246 195744 | 1 163713 34 | 0.000 % | 417.20/417.29 c | 2687485 | 900 60246 195744 | 1 165115 34 | 0.000 % | 417.20/417.29 c | 2688652 | 900 60246 195744 | 1 166282 34 | 0.000 % | 417.20/417.29 c | 2691881 | 900 60246 195744 | 1 169511 34 | 0.000 % | 417.20/417.29 c | 2701361 | 900 60246 195744 | 1 178991 35 | 0.000 % | 417.20/417.29 c | 2718446 | 900 60246 195744 | 1 196076 36 | 0.000 % | 417.20/417.29 c | 2721590 | 900 60246 195744 | 1 199220 36 | 0.000 % | 417.20/417.29 c | 2722335 | 900 60246 195744 | 1 199965 36 | 0.000 % | 417.20/417.29 c | 2724791 | 900 60246 195744 | 1 202421 37 | 0.000 % | 417.20/417.29 c | 2725101 | 900 60246 195744 | 1 202731 37 | 0.000 % | 417.20/417.29 c | 2725202 | 900 60246 195744 | 1 202832 37 | 0.000 % | 417.20/417.29 c | 2740546 | 900 60246 195744 | 1 218176 38 | 0.000 % | 417.20/417.29 c | 2741061 | 900 60246 195744 | 1 218691 38 | 0.000 % | 417.20/417.29 c | 2742198 | 900 60246 195744 | 1 219828 38 | 0.000 % | 417.20/417.29 c | 2746583 | 900 60246 195744 | 1 224213 38 | 0.000 % | 417.20/417.29 c | 2746849 | 900 60246 195744 | 1 224479 38 | 0.000 % | 417.20/417.29 c | 2747554 | 900 60246 195744 | 1 225184 39 | 0.000 % | 417.20/417.29 c | 2749673 | 900 60246 195744 | 1 227303 39 | 0.000 % | 417.20/417.29 c | 2750474 | 900 60246 195744 | 1 228104 39 | 0.000 % | 417.20/417.29 c | 2757927 | 900 60246 195744 | 1 119755 27 | 0.000 % | 417.20/417.29 c | 2758988 | 900 60246 195744 | 1 120816 27 | 0.000 % | 417.20/417.29 c | 2759136 | 900 60246 195744 | 1 120964 27 | 0.000 % | 417.20/417.29 c | 2761897 | 900 60246 195744 | 1 123725 28 | 0.000 % | 417.20/417.29 c | 2764766 | 900 60246 195744 | 1 126594 28 | 0.000 % | 417.20/417.29 c | 2764866 | 900 60246 195744 | 1 126694 28 | 0.000 % | 417.20/417.29 c | 2766943 | 900 60246 195744 | 1 128771 29 | 0.000 % | 417.20/417.29 c | 2767347 | 900 60246 195744 | 1 129175 29 | 0.000 % | 454.69/454.74 c | 2769161 | 900 60246 195744 | 1 130989 29 | 0.000 % | 454.69/454.74 c | 2769568 | 900 60246 195744 | 1 131396 29 | 0.000 % | 454.69/454.74 c | 2771633 | 900 60246 195744 | 1 133461 30 | 0.000 % | 454.69/454.74 c | 2772125 | 900 60246 195744 | 1 133953 30 | 0.000 % | 454.69/454.74 c | 2774208 | 900 60246 195744 | 1 136036 30 | 0.000 % | 454.69/454.74 c | 2777207 | 900 60246 195744 | 1 139035 31 | 0.000 % | 454.69/454.74 c | 2777315 | 900 60246 195744 | 1 139143 31 | 0.000 % | 454.69/454.74 c | 2777416 | 900 60246 195744 | 1 139244 31 | 0.000 % | 454.69/454.74 c | 2777822 | 900 60246 195744 | 1 139650 31 | 0.000 % | 454.69/454.74 c | 2780484 | 900 60246 195744 | 1 142312 32 | 0.000 % | 454.69/454.74 c | 2791069 | 900 60246 195744 | 1 152897 33 | 0.000 % | 454.69/454.74 c | 2792485 | 900 60246 195744 | 1 154313 33 | 0.000 % | 454.69/454.74 c | 2797898 | 900 60246 195744 | 1 159726 34 | 0.000 % | 454.69/454.74 c | 2804624 | 900 60246 195744 | 1 166452 35 | 0.000 % | 454.69/454.74 c | 2805086 | 900 60246 195744 | 1 166914 35 | 0.000 % | 454.69/454.74 c | 2810540 | 900 60246 195744 | 1 172368 35 | 0.000 % | 454.69/454.74 c | 2810640 | 900 60246 195744 | 1 172468 35 | 0.000 % | 454.69/454.74 c | 2811049 | 900 60246 195744 | 1 172877 35 | 0.000 % | 454.69/454.74 c | 2811244 | 900 60246 195744 | 1 173072 35 | 0.000 % | 454.69/454.74 c | 2811965 | 900 60246 195744 | 1 173793 35 | 0.000 % | 454.69/454.74 c | 2812065 | 900 60246 195744 | 1 173893 35 | 0.000 % | 454.69/454.74 c | 2820491 | 900 60246 195744 | 1 182319 36 | 0.000 % | 454.69/454.74 c | 2820758 | 900 60246 195744 | 1 182586 36 | 0.000 % | 454.69/454.74 c | 2820861 | 900 60246 195744 | 1 182689 36 | 0.000 % | 454.69/454.74 c | 2830497 | 900 60246 195744 | 1 192325 37 | 0.000 % | 454.69/454.74 c | 2843732 | 900 60246 195744 | 1 205560 38 | 0.000 % | 454.69/454.74 c | 2844373 | 900 60246 195744 | 1 206201 38 | 0.000 % | 454.69/454.74 c | 2851228 | 900 60246 195744 | 1 213056 38 | 0.000 % | 454.69/454.74 c | 2853295 | 900 60246 195744 | 1 215123 39 | 0.000 % | 454.69/454.74 c | 2853400 | 900 60246 195744 | 1 215228 39 | 0.000 % | 454.69/454.74 c | 2857850 | 900 60246 195744 | 1 219678 39 | 0.000 % | 454.69/454.74 c | 2859279 | 900 60246 195744 | 1 221107 39 | 0.000 % | 454.69/454.74 c | 2869557 | 900 60246 195744 | 1 231385 39 | 0.000 % | 454.69/454.74 c | 2870426 | 900 60246 195744 | 1 232254 39 | 0.000 % | 454.69/454.74 c | 2875412 | 900 60246 195744 | 1 118837 26 | 0.000 % | 454.69/454.74 c | 2880947 | 900 60246 195744 | 1 124372 27 | 0.000 % | 454.69/454.74 c | 2901497 | 900 60246 195744 | 1 144922 31 | 0.000 % | 454.69/454.74 c | 2903276 | 900 60246 195744 | 1 146701 31 | 0.000 % | 454.69/454.74 c | 2913750 | 900 60246 195744 | 1 157175 33 | 0.000 % | 454.69/454.74 c | 2917367 | 900 60246 195744 | 1 160792 33 | 0.000 % | 454.69/454.74 c | 2917469 | 900 60246 195744 | 1 160894 33 | 0.000 % | 454.69/454.74 c | 2920197 | 900 60246 195744 | 1 163622 33 | 0.000 % | 454.69/454.74 c | 2920643 | 900 60246 195744 | 1 164068 33 | 0.000 % | 454.69/454.74 c | 2928624 | 900 60246 195744 | 1 172049 34 | 0.000 % | 454.69/454.74 c | 2936323 | 900 60246 195744 | 1 179748 35 | 0.000 % | 454.69/454.74 c | 2949357 | 900 60246 195744 | 1 192782 36 | 0.000 % | 454.69/454.74 c | 2951191 | 900 60246 195744 | 1 194616 36 | 0.000 % | 454.69/454.74 c | 2952362 | 900 60246 195744 | 1 195787 37 | 0.000 % | 454.69/454.74 c | 2958769 | 900 60246 195744 | 1 202194 37 | 0.000 % | 454.69/454.74 c | 2961039 | 900 60246 195744 | 1 204464 38 | 0.000 % | 497.70/497.71 c | 2961184 | 900 60246 195744 | 1 204609 38 | 0.000 % | 497.70/497.71 c | 2961284 | 900 60246 195744 | 1 204709 38 | 0.000 % | 497.70/497.71 c | 2971896 | 900 60246 195744 | 1 215321 38 | 0.000 % | 497.70/497.71 c | 2975605 | 900 60246 195744 | 1 219030 38 | 0.000 % | 497.70/497.71 c | 2975747 | 900 60246 195744 | 1 219172 38 | 0.000 % | 497.70/497.71 c | 2976662 | 900 60246 195744 | 1 220087 38 | 0.000 % | 497.70/497.71 c | 2976942 | 900 60246 195744 | 1 220367 38 | 0.000 % | 497.70/497.71 c | 2979673 | 900 60246 195744 | 1 223098 39 | 0.000 % | 497.70/497.71 c | 2990589 | 900 60246 195744 | 1 234014 39 | 0.000 % | 497.70/497.71 c | 2992184 | 900 60246 195744 | 1 235609 39 | 0.000 % | 497.70/497.71 c | 2992849 | 900 60246 195744 | 1 236274 39 | 0.000 % | 497.70/497.71 c | 3006115 | 900 60246 195744 | 1 128535 27 | 0.000 % | 497.70/497.71 c | 3008747 | 900 60246 195744 | 1 131167 28 | 0.000 % | 497.70/497.71 c | 3009069 | 900 60246 195744 | 1 131489 28 | 0.000 % | 497.70/497.71 c | 3039095 | 900 60246 195744 | 1 161515 32 | 0.000 % | 497.70/497.71 c | 3045185 | 900 60246 195744 | 1 167605 33 | 0.000 % | 497.70/497.71 c | 3045602 | 900 60246 195744 | 1 168022 33 | 0.000 % | 497.70/497.71 c | 3053184 | 900 60246 195744 | 1 175604 34 | 0.000 % | 497.70/497.71 c | 3056207 | 900 60246 195744 | 1 178627 34 | 0.000 % | 497.70/497.71 c | 3057476 | 900 60246 195744 | 1 179896 34 | 0.000 % | 497.70/497.71 c | 3057958 | 900 60246 195744 | 1 180378 34 | 0.000 % | 497.70/497.71 c | 3058517 | 900 60246 195744 | 1 180937 34 | 0.000 % | 497.70/497.71 c | 3069258 | 900 60246 195744 | 1 191678 36 | 0.000 % | 497.70/497.71 c | 3073687 | 900 60246 195744 | 1 196107 36 | 0.000 % | 497.70/497.71 c | 3073788 | 900 60246 195744 | 1 196208 36 | 0.000 % | 497.70/497.71 c | 3079557 | 900 60246 195744 | 1 201977 37 | 0.000 % | 497.70/497.71 c | 3096472 | 900 60246 195744 | 1 218892 38 | 0.000 % | 497.70/497.71 c | 3097905 | 900 60246 195744 | 1 220325 38 | 0.000 % | 497.70/497.71 c | 3098005 | 900 60246 195744 | 1 220425 38 | 0.000 % | 497.70/497.71 c | 3098125 | 900 60246 195744 | 1 220545 38 | 0.000 % | 497.70/497.71 c | 3098678 | 900 60246 195744 | 1 221098 38 | 0.000 % | 497.70/497.71 c | 3100790 | 900 60246 195744 | 1 223210 38 | 0.000 % | 497.70/497.71 c | 3107242 | 900 60246 195744 | 1 229662 39 | 0.000 % | 497.70/497.71 c | 3114918 | 900 60246 195744 | 1 237338 39 | 0.000 % | 497.70/497.71 c | 3117809 | 900 60246 195744 | 1 240229 39 | 0.000 % | 497.70/497.71 c | 3117914 | 900 60246 195744 | 1 240334 39 | 0.000 % | 497.70/497.71 c | 3123405 | 900 60246 195744 | 1 245825 40 | 0.000 % | 497.70/497.71 c | 3132426 | 900 60246 195744 | 1 131247 27 | 0.000 % | 497.70/497.71 c | 3135716 | 900 60246 195744 | 1 134537 28 | 0.000 % | 497.70/497.71 c | 3137413 | 900 60246 195744 | 1 136234 28 | 0.000 % | 497.70/497.71 c | 3145594 | 900 60246 195744 | 1 144415 30 | 0.000 % | 497.70/497.71 c | 3155682 | 900 60246 195744 | 1 154503 31 | 0.000 % | 497.70/497.71 c | 3165245 | 900 60246 195744 | 1 164066 33 | 0.000 % | 497.70/497.71 c | 3168346 | 900 60246 195744 | 1 167167 33 | 0.000 % | 497.70/497.71 c | 3169099 | 900 60246 195744 | 1 167920 33 | 0.000 % | 497.70/497.71 c | 3169201 | 900 60246 195744 | 1 168022 33 | 0.000 % | 497.70/497.71 c | 3169900 | 900 60246 195744 | 1 168721 34 | 0.000 % | 497.70/497.71 c | 3171179 | 900 60246 195744 | 1 170000 34 | 0.000 % | 497.70/497.71 c | 3173320 | 900 60246 195744 | 1 172141 34 | 0.000 % | 497.70/497.71 c | 3175415 | 900 60246 195744 | 1 174236 34 | 0.000 % | 528.40/528.42 c | 3176194 | 900 60246 195744 | 1 175015 34 | 0.000 % | 528.40/528.42 c | 3176570 | 900 60246 195744 | 1 175391 34 | 0.000 % | 528.40/528.42 c | 3178305 | 900 60246 195744 | 1 177126 35 | 0.000 % | 528.40/528.42 c | 3184826 | 900 60246 195744 | 1 183647 36 | 0.000 % | 528.40/528.42 c | 3184927 | 900 60246 195744 | 1 183748 36 | 0.000 % | 528.40/528.42 c | 3192809 | 900 60246 195744 | 1 191630 36 | 0.000 % | 528.40/528.42 c | 3199086 | 900 60246 195744 | 1 197907 37 | 0.000 % | 528.40/528.42 c | 3199261 | 900 60246 195744 | 1 198082 37 | 0.000 % | 528.40/528.42 c | 3207367 | 900 60246 195744 | 1 206188 38 | 0.000 % | 528.40/528.42 c | 3208241 | 900 60246 195744 | 1 207062 38 | 0.000 % | 528.40/528.42 c | 3208890 | 900 60246 195744 | 1 207711 38 | 0.000 % | 528.40/528.42 c | 3209233 | 900 60246 195744 | 1 208054 38 | 0.000 % | 528.40/528.42 c | 3209335 | 900 60246 195744 | 1 208156 38 | 0.000 % | 528.40/528.42 c | 3210563 | 900 60246 195744 | 1 209384 38 | 0.000 % | 528.40/528.42 c | 3213328 | 900 60246 195744 | 1 212149 38 | 0.000 % | 528.40/528.42 c | 3217242 | 900 60246 195744 | 1 216063 38 | 0.000 % | 528.40/528.42 c | 3222088 | 900 60246 195744 | 1 220909 39 | 0.000 % | 528.40/528.42 c | 3225436 | 900 60246 195744 | 1 224257 39 | 0.000 % | 528.40/528.42 c | 3233561 | 900 60246 195744 | 1 232382 39 | 0.000 % | 528.40/528.42 c | 3235976 | 900 60246 195744 | 1 234797 39 | 0.000 % | 528.40/528.42 c | 3238282 | 900 60246 195744 | 1 237103 40 | 0.000 % | 528.40/528.42 c | 3243388 | 900 60246 195744 | 1 242209 40 | 0.000 % | 528.40/528.42 c | 3247521 | 900 60246 195744 | 1 246342 40 | 0.000 % | 528.40/528.42 c | 3249227 | 900 60246 195744 | 1 248048 40 | 0.000 % | 528.40/528.42 c | 3250908 | 900 60246 195744 | 1 249729 40 | 0.000 % | 528.40/528.42 c | 3251345 | 900 60246 195744 | 1 250166 40 | 0.000 % | 528.40/528.42 c | 3252459 | 900 60246 195744 | 1 251280 40 | 0.000 % | 528.40/528.42 c | 3252561 | 900 60246 195744 | 1 251382 40 | 0.000 % | 528.40/528.42 c | 3258758 | 900 60246 195744 | 1 131382 27 | 0.000 % | 528.40/528.42 c | 3259244 | 900 60246 195744 | 1 131868 28 | 0.000 % | 528.40/528.42 c | 3260084 | 900 60246 195744 | 1 132708 28 | 0.000 % | 528.40/528.42 c | 3264866 | 900 60246 195744 | 1 137490 29 | 0.000 % | 528.40/528.42 c | 3264966 | 900 60246 195744 | 1 137590 29 | 0.000 % | 528.40/528.42 c | 3265234 | 900 60246 195744 | 1 137858 29 | 0.000 % | 528.40/528.42 c | 3265337 | 900 60246 195744 | 1 137961 29 | 0.000 % | 528.40/528.42 c | 3272156 | 900 60246 195744 | 1 144780 30 | 0.000 % | 528.40/528.42 c | 3272860 | 900 60246 195744 | 1 145484 30 | 0.000 % | 528.40/528.42 c | 3273043 | 900 60246 195744 | 1 145667 30 | 0.000 % | 528.40/528.42 c | 3273594 | 900 60246 195744 | 1 146218 30 | 0.000 % | 528.40/528.42 c | 3274510 | 900 60246 195744 | 1 147134 30 | 0.000 % | 528.40/528.42 c | 3274784 | 900 60246 195744 | 1 147408 30 | 0.000 % | 528.40/528.42 c | 3288334 | 900 60246 195744 | 1 160958 32 | 0.000 % | 528.40/528.42 c | 3289575 | 900 60246 195744 | 1 162199 32 | 0.000 % | 528.40/528.42 c | 3300392 | 900 60246 195744 | 1 173016 34 | 0.000 % | 528.40/528.42 c | 3300894 | 900 60246 195744 | 1 173518 34 | 0.000 % | 528.40/528.42 c | 3308004 | 900 60246 195744 | 1 180628 35 | 0.000 % | 528.40/528.42 c | 3315329 | 900 60246 195744 | 1 187953 35 | 0.000 % | 528.40/528.42 c | 3315429 | 900 60246 195744 | 1 188053 36 | 0.000 % | 528.40/528.42 c | 3320533 | 900 60246 195744 | 1 193157 36 | 0.000 % | 528.40/528.42 c | 3322307 | 900 60246 195744 | 1 194931 36 | 0.000 % | 563.40/563.42 c | 3326673 | 900 60246 195744 | 1 199297 36 | 0.000 % | 563.40/563.42 c | 3328567 | 900 60246 195744 | 1 201191 37 | 0.000 % | 563.40/563.42 c | 3329052 | 900 60246 195744 | 1 201676 37 | 0.000 % | 563.40/563.42 c | 3330372 | 900 60246 195744 | 1 202996 37 | 0.000 % | 563.40/563.42 c | 3334013 | 900 60246 195744 | 1 206637 37 | 0.000 % | 563.40/563.42 c | 3335462 | 900 60246 195744 | 1 208086 37 | 0.000 % | 563.40/563.42 c | 3340551 | 900 60246 195744 | 1 213175 38 | 0.000 % | 563.40/563.42 c | 3348833 | 900 60246 195744 | 1 221457 38 | 0.000 % | 563.40/563.42 c | 3349351 | 900 60246 195744 | 1 221975 38 | 0.000 % | 563.40/563.42 c | 3350814 | 900 60246 195744 | 1 223438 38 | 0.000 % | 563.40/563.42 c | 3356569 | 900 60246 195744 | 1 229193 39 | 0.000 % | 563.40/563.42 c | 3356670 | 900 60246 195744 | 1 229294 39 | 0.000 % | 563.40/563.42 c | 3356860 | 900 60246 195744 | 1 229484 39 | 0.000 % | 563.40/563.42 c | 3374515 | 900 60246 195744 | 1 247139 40 | 0.000 % | 563.40/563.42 c | 3374711 | 900 60246 195744 | 1 247335 40 | 0.000 % | 563.40/563.42 c | 3379424 | 900 60246 195744 | 1 252048 40 | 0.000 % | 563.40/563.42 c | 3380930 | 900 60246 195744 | 1 253554 40 | 0.000 % | 563.40/563.42 c | 3381081 | 900 60246 195744 | 1 253705 40 | 0.000 % | 563.40/563.42 c | 3384758 | 900 60246 195744 | 1 257382 40 | 0.000 % | 563.40/563.42 c | 3385172 | 900 60246 195744 | 1 128988 26 | 0.000 % | 563.40/563.42 c | 3386814 | 900 60246 195744 | 1 130630 26 | 0.000 % | 563.40/563.42 c | 3393172 | 900 60246 195744 | 1 136988 28 | 0.000 % | 563.40/563.42 c | 3393274 | 900 60246 195744 | 1 137090 28 | 0.000 % | 563.40/563.42 c | 3399174 | 900 60246 195744 | 1 142990 29 | 0.000 % | 563.40/563.42 c | 3400510 | 900 60246 195744 | 1 144326 29 | 0.000 % | 563.40/563.42 c | 3401816 | 900 60246 195744 | 1 145632 29 | 0.000 % | 563.40/563.42 c | 3407498 | 900 60246 195744 | 1 151314 30 | 0.000 % | 563.40/563.42 c | 3407840 | 900 60246 195744 | 1 151656 30 | 0.000 % | 563.40/563.42 c | 3408679 | 900 60246 195744 | 1 152495 30 | 0.000 % | 563.40/563.42 c | 3410133 | 900 60246 195744 | 1 153949 31 | 0.000 % | 563.40/563.42 c | 3410343 | 900 60246 195744 | 1 154159 31 | 0.000 % | 563.40/563.42 c | 3414320 | 900 60246 195744 | 1 158136 31 | 0.000 % | 563.40/563.42 c | 3414843 | 900 60246 195744 | 1 158659 31 | 0.000 % | 563.40/563.42 c | 3415410 | 900 60246 195744 | 1 159226 32 | 0.000 % | 563.40/563.42 c | 3415737 | 900 60246 195744 | 1 159553 32 | 0.000 % | 563.40/563.42 c | 3432171 | 900 60246 195744 | 1 175987 32 | 0.000 % | 563.40/563.42 c | 3445483 | 900 60246 195744 | 1 189299 33 | 0.000 % | 563.40/563.42 c | 3445902 | 900 60246 195744 | 1 189718 33 | 0.000 % | 563.40/563.42 c | 3453994 | 900 60246 195744 | 1 197810 33 | 0.000 % | 563.40/563.42 c | 3456401 | 900 60246 195744 | 1 200217 34 | 0.000 % | 563.40/563.42 c | 3456501 | 900 60246 195744 | 1 200317 34 | 0.000 % | 563.40/563.42 c | 3461031 | 900 60246 195744 | 1 204847 34 | 0.000 % | 563.40/563.42 c | 3465276 | 900 60246 195744 | 1 209092 35 | 0.000 % | 563.40/563.42 c | 3469210 | 900 60246 195744 | 1 213026 35 | 0.000 % | 563.40/563.42 c | 3472762 | 900 60246 195744 | 1 216578 35 | 0.000 % | 563.40/563.42 c | 3476089 | 900 60246 195744 | 1 219905 36 | 0.000 % | 563.40/563.42 c | 3477691 | 900 60246 195744 | 1 221507 36 | 0.000 % | 563.40/563.42 c | 3477792 | 900 60246 195744 | 1 221608 36 | 0.000 % | 563.40/563.42 c | 3482059 | 900 60246 195744 | 1 225875 36 | 0.000 % | 563.40/563.42 c | 3482346 | 900 60246 195744 | 1 226162 36 | 0.000 % | 603.81/603.87 c | 3488080 | 900 60246 195744 | 1 231896 37 | 0.000 % | 603.81/603.87 c | 3488220 | 900 60246 195744 | 1 232036 37 | 0.000 % | 603.81/603.87 c | 3496030 | 900 60246 195744 | 1 239846 37 | 0.000 % | 603.81/603.87 c | 3501778 | 900 60246 195744 | 1 245594 38 | 0.000 % | 603.81/603.87 c | 3505430 | 900 60246 195744 | 1 249246 38 | 0.000 % | 603.81/603.87 c | 3518432 | 900 60246 195744 | 1 262248 39 | 0.000 % | 603.81/603.87 c | 3531405 | 900 60246 195744 | 1 143819 28 | 0.000 % | 603.81/603.87 c | 3534526 | 900 60246 195744 | 1 146940 29 | 0.000 % | 603.81/603.87 c | 3534626 | 900 60246 195744 | 1 147040 29 | 0.000 % | 603.81/603.87 c | 3538712 | 900 60246 195744 | 1 151126 29 | 0.000 % | 603.81/603.87 c | 3546262 | 900 60246 195744 | 1 158676 30 | 0.000 % | 603.81/603.87 c | 3546363 | 900 60246 195744 | 1 158777 30 | 0.000 % | 603.81/603.87 c | 3553654 | 900 60246 195744 | 1 166068 31 | 0.000 % | 603.81/603.87 c | 3553757 | 900 60246 195744 | 1 166171 31 | 0.000 % | 603.81/603.87 c | 3557294 | 900 60246 195744 | 1 169708 32 | 0.000 % | 603.81/603.87 c | 3559374 | 900 60246 195744 | 1 171788 32 | 0.000 % | 603.81/603.87 c | 3575031 | 900 60246 195744 | 1 187445 34 | 0.000 % | 603.81/603.87 c | 3576832 | 900 60246 195744 | 1 189246 34 | 0.000 % | 603.81/603.87 c | 3576932 | 900 60246 195744 | 1 189346 34 | 0.000 % | 603.81/603.87 c | 3583935 | 900 60246 195744 | 1 196349 35 | 0.000 % | 603.81/603.87 c | 3585789 | 900 60246 195744 | 1 198203 35 | 0.000 % | 603.81/603.87 c | 3596208 | 900 60246 195744 | 1 208622 36 | 0.000 % | 603.81/603.87 c | 3597134 | 900 60246 195744 | 1 209548 36 | 0.000 % | 603.81/603.87 c | 3598936 | 900 60246 195744 | 1 211350 36 | 0.000 % | 603.81/603.87 c | 3601805 | 900 60246 195744 | 1 214219 36 | 0.000 % | 603.81/603.87 c | 3606684 | 900 60246 195744 | 1 219098 36 | 0.000 % | 603.81/603.87 c | 3613250 | 900 60246 195744 | 1 225664 37 | 0.000 % | 603.81/603.87 c | 3613368 | 900 60246 195744 | 1 225782 37 | 0.000 % | 603.81/603.87 c | 3621519 | 900 60246 195744 | 1 233933 37 | 0.000 % | 603.81/603.87 c | 3627247 | 900 60246 195744 | 1 239661 38 | 0.000 % | 603.81/603.87 c | 3638194 | 900 60246 195744 | 1 250608 38 | 0.000 % | 603.81/603.87 c | 3638849 | 900 60246 195744 | 1 251263 38 | 0.000 % | 603.81/603.87 c | 3639189 | 900 60246 195744 | 1 251603 38 | 0.000 % | 603.81/603.87 c | 3640101 | 900 60246 195744 | 1 252515 39 | 0.000 % | 603.81/603.87 c | 3640202 | 900 60246 195744 | 1 252616 39 | 0.000 % | 603.81/603.87 c | 3645523 | 900 60246 195744 | 1 257937 39 | 0.000 % | 603.81/603.87 c | 3648048 | 900 60246 195744 | 1 260462 39 | 0.000 % | 603.81/603.87 c | 3648273 | 900 60246 195744 | 1 260687 39 | 0.000 % | 603.81/603.87 c | 3648376 | 900 60246 195744 | 1 260790 39 | 0.000 % | 603.81/603.87 c | 3656943 | 900 60246 195744 | 1 135358 26 | 0.000 % | 603.81/603.87 c | 3658692 | 900 60246 195744 | 1 137107 26 | 0.000 % | 603.81/603.87 c | 3658819 | 900 60246 195744 | 1 137234 26 | 0.000 % | 603.81/603.87 c | 3659235 | 900 60246 195744 | 1 137650 27 | 0.000 % | 603.81/603.87 c | 3663760 | 900 60246 195744 | 1 142175 27 | 0.000 % | 603.81/603.87 c | 3665614 | 900 60246 195744 | 1 144029 28 | 0.000 % | 603.81/603.87 c | 3666217 | 900 60246 195744 | 1 144632 28 | 0.000 % | 603.81/603.87 c | 3666583 | 900 60246 195744 | 1 144998 28 | 0.000 % | 603.81/603.87 c | 3666839 | 900 60246 195744 | 1 145254 28 | 0.000 % | 603.81/603.87 c | 3670221 | 900 60246 195744 | 1 148636 29 | 0.000 % | 603.81/603.87 c | 3670321 | 900 60246 195744 | 1 148736 29 | 0.000 % | 644.10/644.11 c | 3674687 | 900 60246 195744 | 1 153102 29 | 0.000 % | 644.10/644.11 c | 3688249 | 900 60246 195744 | 1 166664 31 | 0.000 % | 644.10/644.11 c | 3688575 | 900 60246 195744 | 1 166990 31 | 0.000 % | 644.10/644.11 c | 3694020 | 900 60246 195744 | 1 172435 32 | 0.000 % | 644.10/644.11 c | 3710646 | 900 60246 195744 | 1 189061 33 | 0.000 % | 644.10/644.11 c | 3716642 | 900 60246 195744 | 1 195057 34 | 0.000 % | 644.10/644.11 c | 3716814 | 900 60246 195744 | 1 195229 34 | 0.000 % | 644.10/644.11 c | 3716914 | 900 60246 195744 | 1 195329 34 | 0.000 % | 644.10/644.11 c | 3717311 | 900 60246 195744 | 1 195726 34 | 0.000 % | 644.10/644.11 c | 3717545 | 900 60246 195744 | 1 195960 34 | 0.000 % | 644.10/644.11 c | 3723898 | 900 60246 195744 | 1 202313 35 | 0.000 % | 644.10/644.11 c | 3727840 | 900 60246 195744 | 1 206255 35 | 0.000 % | 644.10/644.11 c | 3734962 | 900 60246 195744 | 1 213377 35 | 0.000 % | 644.10/644.11 c | 3738323 | 900 60246 195744 | 1 216738 35 | 0.000 % | 644.10/644.11 c | 3739198 | 900 60246 195744 | 1 217613 36 | 0.000 % | 644.10/644.11 c | 3742504 | 900 60246 195744 | 1 220919 36 | 0.000 % | 644.10/644.11 c | 3744789 | 900 60246 195744 | 1 223204 36 | 0.000 % | 644.10/644.11 c | 3748372 | 900 60246 195744 | 1 226787 36 | 0.000 % | 644.10/644.11 c | 3748548 | 900 60246 195744 | 1 226963 36 | 0.000 % | 644.10/644.11 c | 3752833 | 900 60246 195744 | 1 231248 36 | 0.000 % | 644.10/644.11 c | 3757388 | 900 60246 195744 | 1 235803 37 | 0.000 % | 644.10/644.11 c | 3758489 | 900 60246 195744 | 1 236904 37 | 0.000 % | 644.10/644.11 c | 3760407 | 900 60246 195744 | 1 238822 37 | 0.000 % | 644.10/644.11 c | 3762215 | 900 60246 195744 | 1 240630 37 | 0.000 % | 644.10/644.11 c | 3763529 | 900 60246 195744 | 1 241944 37 | 0.000 % | 644.10/644.11 c | 3766074 | 900 60246 195744 | 1 244489 37 | 0.000 % | 644.10/644.11 c | 3766293 | 900 60246 195744 | 1 244708 37 | 0.000 % | 644.10/644.11 c | 3776743 | 900 60246 195744 | 1 255158 38 | 0.000 % | 644.10/644.11 c | 3779350 | 900 60246 195744 | 1 257765 38 | 0.000 % | 644.10/644.11 c | 3779524 | 900 60246 195744 | 1 257939 38 | 0.000 % | 644.10/644.11 c | 3787186 | 900 60246 195744 | 1 265601 39 | 0.000 % | 644.10/644.11 c | 3788916 | 900 60246 195744 | 1 267331 39 | 0.000 % | 644.10/644.11 c | 3789020 | 900 60246 195744 | 1 267435 39 | 0.000 % | 644.10/644.11 c | 3789122 | 900 60246 195744 | 1 267537 39 | 0.000 % | 644.10/644.11 c | 3790246 | 900 60246 195744 | 1 268661 39 | 0.000 % | 644.10/644.11 c | 3790480 | 900 60246 195744 | 1 268895 39 | 0.000 % | 644.10/644.11 c | 3790687 | 900 60246 195744 | 1 269102 39 | 0.000 % | 644.10/644.11 c | 3790831 | 900 60246 195744 | 1 269246 39 | 0.000 % | 644.10/644.11 c | 3790932 | 900 60246 195744 | 1 269347 39 | 0.000 % | 644.10/644.11 c | 3809777 | 900 60246 195744 | 1 151594 28 | 0.000 % | 644.10/644.11 c | 3811761 | 900 60246 195744 | 1 153578 28 | 0.000 % | 644.10/644.11 c | 3813533 | 900 60246 195744 | 1 155350 28 | 0.000 % | 644.10/644.11 c | 3813633 | 900 60246 195744 | 1 155450 28 | 0.000 % | 644.10/644.11 c | 3813806 | 900 60246 195744 | 1 155623 28 | 0.000 % | 644.10/644.11 c | 3840552 | 900 60246 195744 | 1 182369 32 | 0.000 % | 644.10/644.11 c | 3841419 | 900 60246 195744 | 1 183236 32 | 0.000 % | 644.10/644.11 c | 3841664 | 900 60246 195744 | 1 183481 32 | 0.000 % | 644.10/644.11 c | 3842288 | 900 60246 195744 | 1 184105 32 | 0.000 % | 644.10/644.11 c | 3846682 | 900 60246 195744 | 1 188499 32 | 0.000 % | 644.10/644.11 c | 3850036 | 900 60246 195744 | 1 191853 33 | 0.000 % | 676.30/676.32 c | 3853574 | 900 60246 195744 | 1 195391 33 | 0.000 % | 676.30/676.32 c | 3853848 | 900 60246 195744 | 1 195665 33 | 0.000 % | 676.30/676.32 c | 3857552 | 900 60246 195744 | 1 199369 34 | 0.000 % | 676.30/676.32 c | 3860783 | 900 60246 195744 | 1 202600 34 | 0.000 % | 676.30/676.32 c | 3874985 | 900 60246 195744 | 1 216802 35 | 0.000 % | 676.30/676.32 c | 3886369 | 900 60246 195744 | 1 228186 36 | 0.000 % | 676.30/676.32 c | 3889101 | 900 60246 195744 | 1 230918 36 | 0.000 % | 676.30/676.32 c | 3889324 | 900 60246 195744 | 1 231141 36 | 0.000 % | 676.30/676.32 c | 3889729 | 900 60246 195744 | 1 231546 36 | 0.000 % | 676.30/676.32 c | 3889962 | 900 60246 195744 | 1 231779 36 | 0.000 % | 676.30/676.32 c | 3890587 | 900 60246 195744 | 1 232404 36 | 0.000 % | 676.30/676.32 c | 3890687 | 900 60246 195744 | 1 232504 36 | 0.000 % | 676.30/676.32 c | 3895883 | 900 60246 195744 | 1 237700 37 | 0.000 % | 676.30/676.32 c | 3902485 | 900 60246 195744 | 1 244302 37 | 0.000 % | 676.30/676.32 c | 3903886 | 900 60246 195744 | 1 245703 37 | 0.000 % | 676.30/676.32 c | 3904266 | 900 60246 195744 | 1 246083 37 | 0.000 % | 676.30/676.32 c | 3908520 | 900 60246 195744 | 1 250337 38 | 0.000 % | 676.30/676.32 c | 3909890 | 900 60246 195744 | 1 251707 38 | 0.000 % | 676.30/676.32 c | 3915732 | 900 60246 195744 | 1 257549 38 | 0.000 % | 676.30/676.32 c | 3917503 | 900 60246 195744 | 1 259320 39 | 0.000 % | 676.30/676.32 c | 3917603 | 900 60246 195744 | 1 259420 39 | 0.000 % | 676.30/676.32 c | 3924984 | 900 60246 195744 | 1 266801 39 | 0.000 % | 676.30/676.32 c | 3928557 | 900 60246 195744 | 1 270374 39 | 0.000 % | 676.30/676.32 c | 3929729 | 900 60246 195744 | 1 271546 39 | 0.000 % | 676.30/676.32 c | 3929829 | 900 60246 195744 | 1 271646 39 | 0.000 % | 676.30/676.32 c | 3929932 | 900 60246 195744 | 1 271749 39 | 0.000 % | 676.30/676.32 c | 3931245 | 900 60246 195744 | 1 273062 39 | 0.000 % | 676.30/676.32 c | 3931838 | 900 60246 195744 | 1 273655 40 | 0.000 % | 676.30/676.32 c | 3934434 | 900 60246 195744 | 1 276251 40 | 0.000 % | 676.30/676.32 c | 3934534 | 900 60246 195744 | 1 276351 40 | 0.000 % | 676.30/676.32 c | 3938157 | 900 60246 195744 | 1 140774 26 | 0.000 % | 676.30/676.32 c | 3938271 | 900 60246 195744 | 1 140888 26 | 0.000 % | 676.30/676.32 c | 3940109 | 900 60246 195744 | 1 142726 27 | 0.000 % | 676.30/676.32 c | 3940578 | 900 60246 195744 | 1 143195 27 | 0.000 % | 676.30/676.32 c | 3942520 | 900 60246 195744 | 1 145137 27 | 0.000 % | 676.30/676.32 c | 3943088 | 900 60246 195744 | 1 145705 27 | 0.000 % | 676.30/676.32 c | 3947333 | 900 60246 195744 | 1 149950 28 | 0.000 % | 676.30/676.32 c | 3950814 | 900 60246 195744 | 1 153431 28 | 0.000 % | 676.30/676.32 c | 3950914 | 900 60246 195744 | 1 153531 28 | 0.000 % | 676.30/676.32 c | 3952255 | 900 60246 195744 | 1 154872 29 | 0.000 % | 676.30/676.32 c | 3953436 | 900 60246 195744 | 1 156053 29 | 0.000 % | 676.30/676.32 c | 3953897 | 900 60246 195744 | 1 156514 29 | 0.000 % | 676.30/676.32 c | 3953997 | 900 60246 195744 | 1 156614 29 | 0.000 % | 676.30/676.32 c | 3962538 | 900 60246 195744 | 1 165155 29 | 0.000 % | 676.30/676.32 c | 3967456 | 900 60246 195744 | 1 170073 30 | 0.000 % | 676.30/676.32 c | 3969513 | 900 60246 195744 | 1 172130 30 | 0.000 % | 676.30/676.32 c | 3979440 | 900 60246 195744 | 1 182057 31 | 0.000 % | 676.30/676.32 c | 3987564 | 900 60246 195744 | 1 190181 32 | 0.000 % | 676.30/676.32 c | 3990215 | 900 60246 195744 | 1 192832 32 | 0.000 % | 676.30/676.32 c | 3995669 | 900 60246 195744 | 1 198286 33 | 0.000 % | 731.31/731.30 c | 3995769 | 900 60246 195744 | 1 198386 33 | 0.000 % | 731.31/731.30 c | 3996187 | 900 60246 195744 | 1 198804 33 | 0.000 % | 731.31/731.30 c | 4003148 | 900 60246 195744 | 1 205765 34 | 0.000 % | 731.31/731.30 c | 4007314 | 900 60246 195744 | 1 209931 35 | 0.000 % | 731.31/731.30 c | 4016682 | 900 60246 195744 | 1 219299 35 | 0.000 % | 731.31/731.30 c | 4018385 | 900 60246 195744 | 1 221002 36 | 0.000 % | 731.31/731.30 c | 4018487 | 900 60246 195744 | 1 221104 36 | 0.000 % | 731.31/731.30 c | 4020211 | 900 60246 195744 | 1 222828 36 | 0.000 % | 731.31/731.30 c | 4026234 | 900 60246 195744 | 1 228851 36 | 0.000 % | 731.31/731.30 c | 4038417 | 900 60246 195744 | 1 241034 37 | 0.000 % | 731.31/731.30 c | 4043560 | 900 60246 195744 | 1 246177 38 | 0.000 % | 731.31/731.30 c | 4047584 | 900 60246 195744 | 1 250201 38 | 0.000 % | 731.31/731.30 c | 4047814 | 900 60246 195744 | 1 250431 38 | 0.000 % | 731.31/731.30 c | 4052117 | 900 60246 195744 | 1 254734 38 | 0.000 % | 731.31/731.30 c | 4052289 | 900 60246 195744 | 1 254906 38 | 0.000 % | 731.31/731.30 c | 4070496 | 900 60246 195744 | 1 273113 39 | 0.000 % | 731.31/731.30 c | 4072801 | 900 60246 195744 | 1 275418 39 | 0.000 % | 731.31/731.30 c | 4072901 | 900 60246 195744 | 1 275518 39 | 0.000 % | 731.31/731.30 c | 4073001 | 900 60246 195744 | 1 275618 39 | 0.000 % | 731.31/731.30 c | 4098200 | 900 60246 195744 | 1 159016 29 | 0.000 % | 731.31/731.30 c | 4105563 | 900 60246 195744 | 1 166379 30 | 0.000 % | 731.31/731.30 c | 4109547 | 900 60246 195744 | 1 170363 31 | 0.000 % | 731.31/731.30 c | 4110499 | 900 60246 195744 | 1 171315 31 | 0.000 % | 731.31/731.30 c | 4112351 | 900 60246 195744 | 1 173167 31 | 0.000 % | 731.31/731.30 c | 4124314 | 900 60246 195744 | 1 185130 32 | 0.000 % | 731.31/731.30 c | 4129638 | 900 60246 195744 | 1 190454 33 | 0.000 % | 731.31/731.30 c | 4133264 | 900 60246 195744 | 1 194080 33 | 0.000 % | 731.31/731.30 c | 4133365 | 900 60246 195744 | 1 194181 33 | 0.000 % | 731.31/731.30 c | 4133568 | 900 60246 195744 | 1 194384 33 | 0.000 % | 731.31/731.30 c | 4134245 | 900 60246 195744 | 1 195061 34 | 0.000 % | 731.31/731.30 c | 4135131 | 900 60246 195744 | 1 195947 34 | 0.000 % | 731.31/731.30 c | 4138378 | 900 60246 195744 | 1 199194 34 | 0.000 % | 731.31/731.30 c | 4138776 | 900 60246 195744 | 1 199592 34 | 0.000 % | 731.31/731.30 c | 4139468 | 900 60246 195744 | 1 200284 34 | 0.000 % | 731.31/731.30 c | 4142869 | 900 60246 195744 | 1 203685 34 | 0.000 % | 731.31/731.30 c | 4142971 | 900 60246 195744 | 1 203787 34 | 0.000 % | 731.31/731.30 c | 4143729 | 900 60246 195744 | 1 204545 35 | 0.000 % | 731.31/731.30 c | 4143950 | 900 60246 195744 | 1 204766 35 | 0.000 % | 731.31/731.30 c | 4147961 | 900 60246 195744 | 1 208777 35 | 0.000 % | 731.31/731.30 c | 4148271 | 900 60246 195744 | 1 209087 35 | 0.000 % | 731.31/731.30 c | 4148375 | 900 60246 195744 | 1 209191 35 | 0.000 % | 731.31/731.30 c | 4153809 | 900 60246 195744 | 1 214625 35 | 0.000 % | 731.31/731.30 c | 4164136 | 900 60246 195744 | 1 224952 37 | 0.000 % | 731.31/731.30 c | 4167260 | 900 60246 195744 | 1 228076 37 | 0.000 % | 731.31/731.30 c | 4173871 | 900 60246 195744 | 1 234687 37 | 0.000 % | 731.31/731.30 c | 4191299 | 900 60246 195744 | 1 252115 38 | 0.000 % | 731.31/731.30 c | 4198242 | 900 60246 195744 | 1 259058 39 | 0.000 % | 731.31/731.30 c | 4238318 | 900 60246 195744 | 1 154734 28 | 0.000 % | 731.31/731.30 c | 4238783 | 900 60246 195744 | 1 155199 28 | 0.000 % | 731.31/731.30 c | 4238884 | 900 60246 195744 | 1 155300 28 | 0.000 % | 768.70/768.74 c | 4238985 | 900 60246 195744 | 1 155401 28 | 0.000 % | 768.70/768.74 c | 4251829 | 900 60246 195744 | 1 168245 30 | 0.000 % | 768.70/768.74 c | 4254088 | 900 60246 195744 | 1 170504 30 | 0.000 % | 768.70/768.74 c | 4256200 | 900 60246 195744 | 1 172616 31 | 0.000 % | 768.70/768.74 c | 4258899 | 900 60246 195744 | 1 175315 31 | 0.000 % | 768.70/768.74 c | 4262606 | 900 60246 195744 | 1 179022 32 | 0.000 % | 768.70/768.74 c | 4263881 | 900 60246 195744 | 1 180297 32 | 0.000 % | 768.70/768.74 c | 4273286 | 900 60246 195744 | 1 189702 33 | 0.000 % | 768.70/768.74 c | 4276962 | 900 60246 195744 | 1 193378 33 | 0.000 % | 768.70/768.74 c | 4297279 | 900 60246 195744 | 1 213695 35 | 0.000 % | 768.70/768.74 c | 4298773 | 900 60246 195744 | 1 215189 35 | 0.000 % | 768.70/768.74 c | 4308906 | 900 60246 195744 | 1 225322 36 | 0.000 % | 768.70/768.74 c | 4309006 | 900 60246 195744 | 1 225422 36 | 0.000 % | 768.70/768.74 c | 4309277 | 900 60246 195744 | 1 225693 36 | 0.000 % | 768.70/768.74 c | 4316810 | 900 60246 195744 | 1 233226 36 | 0.000 % | 768.70/768.74 c | 4334139 | 900 60246 195744 | 1 250555 37 | 0.000 % | 768.70/768.74 c | 4335033 | 900 60246 195744 | 1 251449 37 | 0.000 % | 768.70/768.74 c | 4336548 | 900 60246 195744 | 1 252964 37 | 0.000 % | 768.70/768.74 c | 4336648 | 900 60246 195744 | 1 253064 37 | 0.000 % | 768.70/768.74 c | 4340806 | 900 60246 195744 | 1 257222 37 | 0.000 % | 768.70/768.74 c | 4340930 | 900 60246 195744 | 1 257346 37 | 0.000 % | 768.70/768.74 c | 4343404 | 900 60246 195744 | 1 259820 37 | 0.000 % | 768.70/768.74 c | 4345722 | 900 60246 195744 | 1 262138 38 | 0.000 % | 768.70/768.74 c | 4349790 | 900 60246 195744 | 1 266206 38 | 0.000 % | 768.70/768.74 c | 4352692 | 900 60246 195744 | 1 269108 38 | 0.000 % | 768.70/768.74 c | 4353962 | 900 60246 195744 | 1 270378 38 | 0.000 % | 768.70/768.74 c | 4354513 | 900 60246 195744 | 1 270929 38 | 0.000 % | 768.70/768.74 c | 4354801 | 900 60246 195744 | 1 271217 38 | 0.000 % | 768.70/768.74 c | 4357472 | 900 60246 195744 | 1 273888 39 | 0.000 % | 768.70/768.74 c | 4357574 | 900 60246 195744 | 1 273990 39 | 0.000 % | 768.70/768.74 c | 4357790 | 900 60246 195744 | 1 274206 39 | 0.000 % | 768.70/768.74 c | 4362538 | 900 60246 195744 | 1 278954 39 | 0.000 % | 768.70/768.74 c | 4364582 | 900 60246 195744 | 1 280998 39 | 0.000 % | 768.70/768.74 c | 4379478 | 900 60246 195744 | 1 148894 26 | 0.000 % | 768.70/768.74 c | 4379599 | 900 60246 195744 | 1 149015 26 | 0.000 % | 768.70/768.74 c | 4382589 | 900 60246 195744 | 1 152005 26 | 0.000 % | 768.70/768.74 c | 4383817 | 900 60246 195744 | 1 153233 26 | 0.000 % | 768.70/768.74 c | 4384240 | 900 60246 195744 | 1 153656 27 | 0.000 % | 768.70/768.74 c | 4385831 | 900 60246 195744 | 1 155247 27 | 0.000 % | 768.70/768.74 c | 4386044 | 900 60246 195744 | 1 155460 27 | 0.000 % | 768.70/768.74 c | 4393129 | 900 60246 195744 | 1 162545 28 | 0.000 % | 768.70/768.74 c | 4394876 | 900 60246 195744 | 1 164292 28 | 0.000 % | 768.70/768.74 c | 4395057 | 900 60246 195744 | 1 164473 28 | 0.000 % | 768.70/768.74 c | 4395161 | 900 60246 195744 | 1 164577 28 | 0.000 % | 768.70/768.74 c | 4396545 | 900 60246 195744 | 1 165961 29 | 0.000 % | 768.70/768.74 c | 4398043 | 900 60246 195744 | 1 167459 29 | 0.000 % | 768.70/768.74 c | 4398484 | 900 60246 195744 | 1 167900 29 | 0.000 % | 768.70/768.74 c | 4398585 | 900 60246 195744 | 1 168001 29 | 0.000 % | 768.70/768.74 c | 4400879 | 900 60246 195744 | 1 170295 29 | 0.000 % | 768.70/768.74 c | 4400979 | 900 60246 195744 | 1 170395 29 | 0.000 % | 802.11/802.15 c | 4401082 | 900 60246 195744 | 1 170498 29 | 0.000 % | 802.11/802.15 c | 4402424 | 900 60246 195744 | 1 171840 30 | 0.000 % | 802.11/802.15 c | 4405374 | 900 60246 195744 | 1 174790 30 | 0.000 % | 802.11/802.15 c | 4408110 | 900 60246 195744 | 1 177526 31 | 0.000 % | 802.11/802.15 c | 4408214 | 900 60246 195744 | 1 177630 31 | 0.000 % | 802.11/802.15 c | 4410214 | 900 60246 195744 | 1 179630 31 | 0.000 % | 802.11/802.15 c | 4412941 | 900 60246 195744 | 1 182357 31 | 0.000 % | 802.11/802.15 c | 4413042 | 900 60246 195744 | 1 182458 31 | 0.000 % | 802.11/802.15 c | 4413892 | 900 60246 195744 | 1 183308 31 | 0.000 % | 802.11/802.15 c | 4415149 | 900 60246 195744 | 1 184565 31 | 0.000 % | 802.11/802.15 c | 4416969 | 900 60246 195744 | 1 186385 32 | 0.000 % | 802.11/802.15 c | 4424353 | 900 60246 195744 | 1 193769 33 | 0.000 % | 802.11/802.15 c | 4424687 | 900 60246 195744 | 1 194103 33 | 0.000 % | 802.11/802.15 c | 4429923 | 900 60246 195744 | 1 199339 33 | 0.000 % | 802.11/802.15 c | 4430181 | 900 60246 195744 | 1 199597 33 | 0.000 % | 802.11/802.15 c | 4431822 | 900 60246 195744 | 1 201238 33 | 0.000 % | 802.11/802.15 c | 4435194 | 900 60246 195744 | 1 204610 34 | 0.000 % | 802.11/802.15 c | 4445032 | 900 60246 195744 | 1 214448 35 | 0.000 % | 802.11/802.15 c | 4446538 | 900 60246 195744 | 1 215954 35 | 0.000 % | 802.11/802.15 c | 4449381 | 900 60246 195744 | 1 218797 35 | 0.000 % | 802.11/802.15 c | 4449481 | 900 60246 195744 | 1 218897 35 | 0.000 % | 802.11/802.15 c | 4450431 | 900 60246 195744 | 1 219847 35 | 0.000 % | 802.11/802.15 c | 4450531 | 900 60246 195744 | 1 219947 35 | 0.000 % | 802.11/802.15 c | 4452302 | 900 60246 195744 | 1 221718 36 | 0.000 % | 802.11/802.15 c | 4454588 | 900 60246 195744 | 1 224004 36 | 0.000 % | 802.11/802.15 c | 4456755 | 900 60246 195744 | 1 226171 36 | 0.000 % | 802.11/802.15 c | 4456856 | 900 60246 195744 | 1 226272 36 | 0.000 % | 802.11/802.15 c | 4457349 | 900 60246 195744 | 1 226765 36 | 0.000 % | 802.11/802.15 c | 4458772 | 900 60246 195744 | 1 228188 36 | 0.000 % | 802.11/802.15 c | 4458872 | 900 60246 195744 | 1 228288 36 | 0.000 % | 802.11/802.15 c | 4459861 | 900 60246 195744 | 1 229277 36 | 0.000 % | 802.11/802.15 c | 4463216 | 900 60246 195744 | 1 232632 37 | 0.000 % | 802.11/802.15 c | 4467000 | 900 60246 195744 | 1 236416 37 | 0.000 % | 802.11/802.15 c | 4470913 | 900 60246 195744 | 1 240329 37 | 0.000 % | 802.11/802.15 c | 4471582 | 900 60246 195744 | 1 240998 37 | 0.000 % | 802.11/802.15 c | 4476302 | 900 60246 195744 | 1 245718 37 | 0.000 % | 802.11/802.15 c | 4476404 | 900 60246 195744 | 1 245820 37 | 0.000 % | 802.11/802.15 c | 4482955 | 900 60246 195744 | 1 252371 38 | 0.000 % | 802.11/802.15 c | 4498890 | 900 60246 195744 | 1 268306 39 | 0.000 % | 802.11/802.15 c | 4515484 | 900 60246 195744 | 1 284900 39 | 0.000 % | 802.11/802.15 c | 4515586 | 900 60246 195744 | 1 285002 39 | 0.000 % | 802.11/802.15 c | 4517725 | 900 60246 195744 | 1 287141 40 | 0.000 % | 802.11/802.15 c | 4518131 | 900 60246 195744 | 1 287547 40 | 0.000 % | 802.11/802.15 c | 4519229 | 900 60246 195744 | 1 288645 40 | 0.000 % | 802.11/802.15 c | 4521671 | 900 60246 195744 | 1 291087 40 | 0.000 % | 802.11/802.15 c | 4522493 | 900 60246 195744 | 1 291909 40 | 0.000 % | 802.11/802.15 c | 4529741 | 900 60246 195744 | 1 299157 40 | 0.000 % | 802.11/802.15 c | 4541131 | 900 60246 195744 | 1 160944 27 | 0.000 % | 802.11/802.15 c | 4543521 | 900 60246 195744 | 1 163334 28 | 0.000 % | 802.11/802.15 c | 4544743 | 900 60246 195744 | 1 164556 28 | 0.000 % | 829.11/829.11 c | 4544882 | 900 60246 195744 | 1 164695 28 | 0.000 % | 829.11/829.11 c | 4548818 | 900 60246 195744 | 1 168631 29 | 0.000 % | 829.11/829.11 c | 4550068 | 900 60246 195744 | 1 169881 29 | 0.000 % | 829.11/829.11 c | 4554165 | 900 60246 195744 | 1 173978 30 | 0.000 % | 829.11/829.11 c | 4554267 | 900 60246 195744 | 1 174080 30 | 0.000 % | 829.11/829.11 c | 4556252 | 900 60246 195744 | 1 176065 30 | 0.000 % | 829.11/829.11 c | 4556702 | 900 60246 195744 | 1 176515 30 | 0.000 % | 829.11/829.11 c | 4556805 | 900 60246 195744 | 1 176618 30 | 0.000 % | 829.11/829.11 c | 4557624 | 900 60246 195744 | 1 177437 30 | 0.000 % | 829.11/829.11 c | 4558356 | 900 60246 195744 | 1 178169 30 | 0.000 % | 829.11/829.11 c | 4558458 | 900 60246 195744 | 1 178271 30 | 0.000 % | 829.11/829.11 c | 4564021 | 900 60246 195744 | 1 183834 31 | 0.000 % | 829.11/829.11 c | 4568184 | 900 60246 195744 | 1 187997 31 | 0.000 % | 829.11/829.11 c | 4568465 | 900 60246 195744 | 1 188278 31 | 0.000 % | 829.11/829.11 c | 4569442 | 900 60246 195744 | 1 189255 31 | 0.000 % | 829.11/829.11 c | 4569695 | 900 60246 195744 | 1 189508 31 | 0.000 % | 829.11/829.11 c | 4570160 | 900 60246 195744 | 1 189973 31 | 0.000 % | 829.11/829.11 c | 4572835 | 900 60246 195744 | 1 192648 32 | 0.000 % | 829.11/829.11 c | 4574513 | 900 60246 195744 | 1 194326 32 | 0.000 % | 829.11/829.11 c | 4591293 | 900 60246 195744 | 1 211106 33 | 0.000 % | 829.11/829.11 c | 4594584 | 900 60246 195744 | 1 214397 33 | 0.000 % | 829.11/829.11 c | 4594684 | 900 60246 195744 | 1 214497 34 | 0.000 % | 829.11/829.11 c | 4601229 | 900 60246 195744 | 1 221042 34 | 0.000 % | 829.11/829.11 c | 4608562 | 900 60246 195744 | 1 228375 35 | 0.000 % | 829.11/829.11 c | 4615214 | 900 60246 195744 | 1 235027 35 | 0.000 % | 829.11/829.11 c | 4618635 | 900 60246 195744 | 1 238448 36 | 0.000 % | 829.11/829.11 c | 4618861 | 900 60246 195744 | 1 238674 36 | 0.000 % | 829.11/829.11 c | 4621027 | 900 60246 195744 | 1 240840 36 | 0.000 % | 829.11/829.11 c | 4626519 | 900 60246 195744 | 1 246332 36 | 0.000 % | 829.11/829.11 c | 4626620 | 900 60246 195744 | 1 246433 36 | 0.000 % | 829.11/829.11 c | 4626723 | 900 60246 195744 | 1 246536 36 | 0.000 % | 829.11/829.11 c | 4627907 | 900 60246 195744 | 1 247720 36 | 0.000 % | 829.11/829.11 c | 4629365 | 900 60246 195744 | 1 249178 36 | 0.000 % | 829.11/829.11 c | 4630439 | 900 60246 195744 | 1 250252 36 | 0.000 % | 829.11/829.11 c | 4632220 | 900 60246 195744 | 1 252033 36 | 0.000 % | 829.11/829.11 c | 4633852 | 900 60246 195744 | 1 253665 37 | 0.000 % | 829.11/829.11 c | 4634050 | 900 60246 195744 | 1 253863 37 | 0.000 % | 829.11/829.11 c | 4636197 | 900 60246 195744 | 1 256010 37 | 0.000 % | 829.11/829.11 c | 4636630 | 900 60246 195744 | 1 256443 37 | 0.000 % | 829.11/829.11 c | 4639432 | 900 60246 195744 | 1 259245 37 | 0.000 % | 829.11/829.11 c | 4641431 | 900 60246 195744 | 1 261244 37 | 0.000 % | 829.11/829.11 c | 4641538 | 900 60246 195744 | 1 261351 37 | 0.000 % | 829.11/829.11 c | 4644964 | 900 60246 195744 | 1 264777 37 | 0.000 % | 829.11/829.11 c | 4646155 | 900 60246 195744 | 1 265968 37 | 0.000 % | 829.11/829.11 c | 4646617 | 900 60246 195744 | 1 266430 37 | 0.000 % | 829.11/829.11 c | 4652030 | 900 60246 195744 | 1 271843 38 | 0.000 % | 829.11/829.11 c | 4652130 | 900 60246 195744 | 1 271943 38 | 0.000 % | 829.11/829.11 c | 4652619 | 900 60246 195744 | 1 272432 38 | 0.000 % | 829.11/829.11 c | 4653503 | 900 60246 195744 | 1 273316 38 | 0.000 % | 829.11/829.11 c | 4653753 | 900 60246 195744 | 1 273566 38 | 0.000 % | 878.71/878.71 c | 4667251 | 900 60246 195744 | 1 287064 38 | 0.000 % | 878.71/878.71 c | 4668180 | 900 60246 195744 | 1 287993 38 | 0.000 % | 878.71/878.71 c | 4671382 | 900 60246 195744 | 1 291195 39 | 0.000 % | 878.71/878.71 c | 4672311 | 900 60246 195744 | 1 292124 39 | 0.000 % | 878.71/878.71 c | 4672411 | 900 60246 195744 | 1 292224 39 | 0.000 % | 878.71/878.71 c | 4675350 | 900 60246 195744 | 1 295163 39 | 0.000 % | 878.71/878.71 c | 4676345 | 900 60246 195744 | 1 296158 39 | 0.000 % | 878.71/878.71 c | 4689411 | 900 60246 195744 | 1 157039 26 | 0.000 % | 878.71/878.71 c | 4700026 | 900 60246 195744 | 1 167654 28 | 0.000 % | 878.71/878.71 c | 4701059 | 900 60246 195744 | 1 168687 28 | 0.000 % | 878.71/878.71 c | 4714831 | 900 60246 195744 | 1 182459 30 | 0.000 % | 878.71/878.71 c | 4715083 | 900 60246 195744 | 1 182711 30 | 0.000 % | 878.71/878.71 c | 4715301 | 900 60246 195744 | 1 182929 30 | 0.000 % | 878.71/878.71 c | 4721492 | 900 60246 195744 | 1 189120 31 | 0.000 % | 878.71/878.71 c | 4721593 | 900 60246 195744 | 1 189221 31 | 0.000 % | 878.71/878.71 c | 4731830 | 900 60246 195744 | 1 199458 32 | 0.000 % | 878.71/878.71 c | 4735730 | 900 60246 195744 | 1 203358 33 | 0.000 % | 878.71/878.71 c | 4735830 | 900 60246 195744 | 1 203458 33 | 0.000 % | 878.71/878.71 c | 4737687 | 900 60246 195744 | 1 205315 33 | 0.000 % | 878.71/878.71 c | 4737787 | 900 60246 195744 | 1 205415 33 | 0.000 % | 878.71/878.71 c | 4739180 | 900 60246 195744 | 1 206808 33 | 0.000 % | 878.71/878.71 c | 4754480 | 900 60246 195744 | 1 222108 34 | 0.000 % | 878.71/878.71 c | 4754992 | 900 60246 195744 | 1 222620 34 | 0.000 % | 878.71/878.71 c | 4755092 | 900 60246 195744 | 1 222720 34 | 0.000 % | 878.71/878.71 c | 4757075 | 900 60246 195744 | 1 224703 34 | 0.000 % | 878.71/878.71 c | 4763723 | 900 60246 195744 | 1 231351 35 | 0.000 % | 878.71/878.71 c | 4770395 | 900 60246 195744 | 1 238023 35 | 0.000 % | 878.71/878.71 c | 4770646 | 900 60246 195744 | 1 238274 35 | 0.000 % | 878.71/878.71 c | 4775139 | 900 60246 195744 | 1 242767 36 | 0.000 % | 878.71/878.71 c | 4779203 | 900 60246 195744 | 1 246831 36 | 0.000 % | 878.71/878.71 c | 4780623 | 900 60246 195744 | 1 248251 36 | 0.000 % | 878.71/878.71 c | 4789600 | 900 60246 195744 | 1 257228 36 | 0.000 % | 878.71/878.71 c | 4789700 | 900 60246 195744 | 1 257328 36 | 0.000 % | 878.71/878.71 c | 4798244 | 900 60246 195744 | 1 265872 36 | 0.000 % | 878.71/878.71 c | 4802051 | 900 60246 195744 | 1 269679 37 | 0.000 % | 878.71/878.71 c | 4806157 | 900 60246 195744 | 1 273785 37 | 0.000 % | 878.71/878.71 c | 4806964 | 900 60246 195744 | 1 274592 37 | 0.000 % | 878.71/878.71 c | 4808766 | 900 60246 195744 | 1 276394 37 | 0.000 % | 878.71/878.71 c | 4808948 | 900 60246 195744 | 1 276576 37 | 0.000 % | 878.71/878.71 c | 4809087 | 900 60246 195744 | 1 276715 37 | 0.000 % | 878.71/878.71 c | 4810300 | 900 60246 195744 | 1 277928 37 | 0.000 % | 878.71/878.71 c | 4810877 | 900 60246 195744 | 1 278505 37 | 0.000 % | 878.71/878.71 c | 4815350 | 900 60246 195744 | 1 282978 37 | 0.000 % | 878.71/878.71 c | 4819372 | 900 60246 195744 | 1 287000 38 | 0.000 % | 878.71/878.71 c | 4829783 | 900 60246 195744 | 1 297411 38 | 0.000 % | 878.71/878.71 c | 4842942 | 900 60246 195744 | 1 155763 25 | 0.000 % | 878.71/878.71 c | 4843475 | 900 60246 195744 | 1 156296 25 | 0.000 % | 878.71/878.71 c | 4844686 | 900 60246 195744 | 1 157507 25 | 0.000 % | 878.71/878.71 c | 4848976 | 900 60246 195744 | 1 161797 26 | 0.000 % | 878.71/878.71 c | 4854017 | 900 60246 195744 | 1 166838 27 | 0.000 % | 917.91/917.92 c | 4855216 | 900 60246 195744 | 1 168037 27 | 0.000 % | 917.91/917.92 c | 4855964 | 900 60246 195744 | 1 168785 27 | 0.000 % | 917.91/917.92 c | 4857292 | 900 60246 195744 | 1 170113 28 | 0.000 % | 917.91/917.92 c | 4859586 | 900 60246 195744 | 1 172407 28 | 0.000 % | 917.91/917.92 c | 4860165 | 900 60246 195744 | 1 172986 28 | 0.000 % | 917.91/917.92 c | 4860283 | 900 60246 195744 | 1 173104 28 | 0.000 % | 917.91/917.92 c | 4872213 | 900 60246 195744 | 1 185034 30 | 0.000 % | 917.91/917.92 c | 4872313 | 900 60246 195744 | 1 185134 30 | 0.000 % | 917.91/917.92 c | 4872422 | 900 60246 195744 | 1 185243 30 | 0.000 % | 917.91/917.92 c | 4873870 | 900 60246 195744 | 1 186691 30 | 0.000 % | 917.91/917.92 c | 4876840 | 900 60246 195744 | 1 189661 31 | 0.000 % | 917.91/917.92 c | 4878027 | 900 60246 195744 | 1 190848 31 | 0.000 % | 917.91/917.92 c | 4878402 | 900 60246 195744 | 1 191223 31 | 0.000 % | 917.91/917.92 c | 4880888 | 900 60246 195744 | 1 193709 31 | 0.000 % | 917.91/917.92 c | 4892406 | 900 60246 195744 | 1 205227 32 | 0.000 % | 917.91/917.92 c | 4892809 | 900 60246 195744 | 1 205630 32 | 0.000 % | 917.91/917.92 c | 4893716 | 900 60246 195744 | 1 206537 32 | 0.000 % | 917.91/917.92 c | 4893816 | 900 60246 195744 | 1 206637 32 | 0.000 % | 917.91/917.92 c | 4899303 | 900 60246 195744 | 1 212124 33 | 0.000 % | 917.91/917.92 c | 4899433 | 900 60246 195744 | 1 212254 33 | 0.000 % | 917.91/917.92 c | 4910298 | 900 60246 195744 | 1 223119 34 | 0.000 % | 917.91/917.92 c | 4910810 | 900 60246 195744 | 1 223631 34 | 0.000 % | 917.91/917.92 c | 4910910 | 900 60246 195744 | 1 223731 34 | 0.000 % | 917.91/917.92 c | 4913360 | 900 60246 195744 | 1 226181 34 | 0.000 % | 917.91/917.92 c | 4916082 | 900 60246 195744 | 1 228903 34 | 0.000 % | 917.91/917.92 c | 4922252 | 900 60246 195744 | 1 235073 35 | 0.000 % | 917.91/917.92 c | 4926837 | 900 60246 195744 | 1 239658 35 | 0.000 % | 917.91/917.92 c | 4939781 | 900 60246 195744 | 1 252602 36 | 0.000 % | 917.91/917.92 c | 4939881 | 900 60246 195744 | 1 252702 36 | 0.000 % | 917.91/917.92 c | 4944192 | 900 60246 195744 | 1 257013 36 | 0.000 % | 917.91/917.92 c | 4944293 | 900 60246 195744 | 1 257114 36 | 0.000 % | 917.91/917.92 c | 4952224 | 900 60246 195744 | 1 265045 37 | 0.000 % | 917.91/917.92 c | 4952325 | 900 60246 195744 | 1 265146 37 | 0.000 % | 917.91/917.92 c | 4953501 | 900 60246 195744 | 1 266322 37 | 0.000 % | 917.91/917.92 c | 4954057 | 900 60246 195744 | 1 266878 37 | 0.000 % | 917.91/917.92 c | 4957619 | 900 60246 195744 | 1 270440 37 | 0.000 % | 917.91/917.92 c | 4957720 | 900 60246 195744 | 1 270541 37 | 0.000 % | 917.91/917.92 c | 4984943 | 900 60246 195744 | 1 297764 38 | 0.000 % | 917.91/917.92 c | 4989193 | 900 60246 195744 | 1 302014 39 | 0.000 % | 917.91/917.92 c | 4993506 | 900 60246 195744 | 1 306327 39 | 0.000 % | 917.91/917.92 c | 4995555 | 900 60246 195744 | 1 308376 39 | 0.000 % | 917.91/917.92 c | 4996046 | 900 60246 195744 | 1 308867 39 | 0.000 % | 917.91/917.92 c | 4996959 | 900 60246 195744 | 1 309780 39 | 0.000 % | 917.91/917.92 c | 5002949 | 900 60246 195744 | 1 158369 25 | 0.000 % | 917.91/917.92 c | 5004007 | 900 60246 195744 | 1 159427 26 | 0.000 % | 917.91/917.92 c | 5006146 | 900 60246 195744 | 1 161566 26 | 0.000 % | 917.91/917.92 c | 5006552 | 900 60246 195744 | 1 161972 26 | 0.000 % | 917.91/917.92 c | 5006925 | 900 60246 195744 | 1 162345 26 | 0.000 % | 917.91/917.92 c | 5009039 | 900 60246 195744 | 1 164459 27 | 0.000 % | 917.91/917.92 c | 5009139 | 900 60246 195744 | 1 164559 27 | 0.000 % | 956.61/956.61 c | 5011258 | 900 60246 195744 | 1 166678 27 | 0.000 % | 956.61/956.61 c | 5017507 | 900 60246 195744 | 1 172927 28 | 0.000 % | 956.61/956.61 c | 5018155 | 900 60246 195744 | 1 173575 28 | 0.000 % | 956.61/956.61 c | 5020157 | 900 60246 195744 | 1 175577 28 | 0.000 % | 956.61/956.61 c | 5020618 | 900 60246 195744 | 1 176038 29 | 0.000 % | 956.61/956.61 c | 5025778 | 900 60246 195744 | 1 181198 29 | 0.000 % | 956.61/956.61 c | 5025959 | 900 60246 195744 | 1 181379 29 | 0.000 % | 956.61/956.61 c | 5026530 | 900 60246 195744 | 1 181950 30 | 0.000 % | 956.61/956.61 c | 5027413 | 900 60246 195744 | 1 182833 30 | 0.000 % | 956.61/956.61 c | 5029734 | 900 60246 195744 | 1 185154 30 | 0.000 % | 956.61/956.61 c | 5029834 | 900 60246 195744 | 1 185254 30 | 0.000 % | 956.61/956.61 c | 5030165 | 900 60246 195744 | 1 185585 30 | 0.000 % | 956.61/956.61 c | 5030266 | 900 60246 195744 | 1 185686 30 | 0.000 % | 956.61/956.61 c | 5032208 | 900 60246 195744 | 1 187628 31 | 0.000 % | 956.61/956.61 c | 5032308 | 900 60246 195744 | 1 187728 31 | 0.000 % | 956.61/956.61 c | 5033603 | 900 60246 195744 | 1 189023 31 | 0.000 % | 956.61/956.61 c | 5053754 | 900 60246 195744 | 1 209174 34 | 0.000 % | 956.61/956.61 c | 5056925 | 900 60246 195744 | 1 212345 34 | 0.000 % | 956.61/956.61 c | 5062649 | 900 60246 195744 | 1 218069 34 | 0.000 % | 956.61/956.61 c | 5065294 | 900 60246 195744 | 1 220714 35 | 0.000 % | 956.61/956.61 c | 5075524 | 900 60246 195744 | 1 230944 35 | 0.000 % | 956.61/956.61 c | 5094811 | 900 60246 195744 | 1 250231 36 | 0.000 % | 956.61/956.61 c | 5097612 | 900 60246 195744 | 1 253032 36 | 0.000 % | 956.61/956.61 c | 5099330 | 900 60246 195744 | 1 254750 37 | 0.000 % | 956.61/956.61 c | 5099431 | 900 60246 195744 | 1 254851 37 | 0.000 % | 956.61/956.61 c | 5103500 | 900 60246 195744 | 1 258920 37 | 0.000 % | 956.61/956.61 c | 5103603 | 900 60246 195744 | 1 259023 37 | 0.000 % | 956.61/956.61 c | 5104149 | 900 60246 195744 | 1 259569 37 | 0.000 % | 956.61/956.61 c | 5104435 | 900 60246 195744 | 1 259855 37 | 0.000 % | 956.61/956.61 c | 5110180 | 900 60246 195744 | 1 265600 37 | 0.000 % | 956.61/956.61 c | 5110557 | 900 60246 195744 | 1 265977 37 | 0.000 % | 956.61/956.61 c | 5114546 | 900 60246 195744 | 1 269966 38 | 0.000 % | 956.61/956.61 c | 5119939 | 900 60246 195744 | 1 275359 38 | 0.000 % | 956.61/956.61 c | 5120283 | 900 60246 195744 | 1 275703 38 | 0.000 % | 956.61/956.61 c | 5120459 | 900 60246 195744 | 1 275879 38 | 0.000 % | 956.61/956.61 c | 5135512 | 900 60246 195744 | 1 290932 39 | 0.000 % | 956.61/956.61 c | 5137911 | 900 60246 195744 | 1 293331 39 | 0.000 % | 956.61/956.61 c | 5140548 | 900 60246 195744 | 1 295968 39 | 0.000 % | 956.61/956.61 c | 5140648 | 900 60246 195744 | 1 296068 39 | 0.000 % | 956.61/956.61 c | 5141583 | 900 60246 195744 | 1 297003 39 | 0.000 % | 956.61/956.61 c | 5143861 | 900 60246 195744 | 1 299281 40 | 0.000 % | 956.61/956.61 c | 5144295 | 900 60246 195744 | 1 299715 40 | 0.000 % | 956.61/956.61 c | 5145386 | 900 60246 195744 | 1 300806 40 | 0.000 % | 956.61/956.61 c | 5153026 | 900 60246 195744 | 1 308446 40 | 0.000 % | 956.61/956.61 c | 5153193 | 900 60246 195744 | 1 308613 40 | 0.000 % | 956.61/956.61 c | 5158761 | 900 60246 195744 | 1 314181 40 | 0.000 % | 956.61/956.61 c | 5159020 | 900 60246 195744 | 1 314440 40 | 0.000 % | 956.61/956.61 c | 5162780 | 900 60246 195744 | 1 318200 41 | 0.000 % | 956.61/956.61 c | 5167451 | 900 60246 195744 | 1 162867 26 | 0.000 % | 956.61/956.61 c | 5167790 | 900 60246 195744 | 1 163206 26 | 0.000 % | 995.31/995.33 c | 5175459 | 900 60246 195744 | 1 170875 28 | 0.000 % | 995.31/995.33 c | 5177158 | 900 60246 195744 | 1 172574 28 | 0.000 % | 995.31/995.33 c | 5178614 | 900 60246 195744 | 1 174030 28 | 0.000 % | 995.31/995.33 c | 5179393 | 900 60246 195744 | 1 174809 29 | 0.000 % | 995.31/995.33 c | 5179493 | 900 60246 195744 | 1 174909 29 | 0.000 % | 995.31/995.33 c | 5182084 | 900 60246 195744 | 1 177500 29 | 0.000 % | 995.31/995.33 c | 5182189 | 900 60246 195744 | 1 177605 29 | 0.000 % | 995.31/995.33 c | 5182659 | 900 60246 195744 | 1 178075 29 | 0.000 % | 995.31/995.33 c | 5187386 | 900 60246 195744 | 1 182802 30 | 0.000 % | 995.31/995.33 c | 5188092 | 900 60246 195744 | 1 183508 30 | 0.000 % | 995.31/995.33 c | 5188192 | 900 60246 195744 | 1 183608 30 | 0.000 % | 995.31/995.33 c | 5188369 | 900 60246 195744 | 1 183785 30 | 0.000 % | 995.31/995.33 c | 5192629 | 900 60246 195744 | 1 188045 30 | 0.000 % | 995.31/995.33 c | 5197102 | 900 60246 195744 | 1 192518 31 | 0.000 % | 995.31/995.33 c | 5203500 | 900 60246 195744 | 1 198916 32 | 0.000 % | 995.31/995.33 c | 5203600 | 900 60246 195744 | 1 199016 32 | 0.000 % | 995.31/995.33 c | 5203756 | 900 60246 195744 | 1 199172 32 | 0.000 % | 995.31/995.33 c | 5207349 | 900 60246 195744 | 1 202765 32 | 0.000 % | 995.31/995.33 c | 5214758 | 900 60246 195744 | 1 210174 32 | 0.000 % | 995.31/995.33 c | 5223186 | 900 60246 195744 | 1 218602 33 | 0.000 % | 995.31/995.33 c | 5223288 | 900 60246 195744 | 1 218704 33 | 0.000 % | 995.31/995.33 c | 5246087 | 900 60246 195744 | 1 241503 35 | 0.000 % | 995.31/995.33 c | 5246188 | 900 60246 195744 | 1 241604 35 | 0.000 % | 995.31/995.33 c | 5246291 | 900 60246 195744 | 1 241707 35 | 0.000 % | 995.31/995.33 c | 5246392 | 900 60246 195744 | 1 241808 35 | 0.000 % | 995.31/995.33 c | 5246493 | 900 60246 195744 | 1 241909 35 | 0.000 % | 995.31/995.33 c | 5251089 | 900 60246 195744 | 1 246505 35 | 0.000 % | 995.31/995.33 c | 5251455 | 900 60246 195744 | 1 246871 35 | 0.000 % | 995.31/995.33 c | 5255997 | 900 60246 195744 | 1 251413 36 | 0.000 % | 995.31/995.33 c | 5259122 | 900 60246 195744 | 1 254538 36 | 0.000 % | 995.31/995.33 c | 5280987 | 900 60246 195744 | 1 276403 37 | 0.000 % | 995.31/995.33 c | 5283826 | 900 60246 195744 | 1 279242 37 | 0.000 % | 995.31/995.33 c | 5286135 | 900 60246 195744 | 1 281551 37 | 0.000 % | 995.31/995.33 c | 5286236 | 900 60246 195744 | 1 281652 37 | 0.000 % | 995.31/995.33 c | 5286354 | 900 60246 195744 | 1 281770 38 | 0.000 % | 995.31/995.33 c | 5287137 | 900 60246 195744 | 1 282553 38 | 0.000 % | 995.31/995.33 c | 5287237 | 900 60246 195744 | 1 282653 38 | 0.000 % | 995.31/995.33 c | 5288207 | 900 60246 195744 | 1 283623 38 | 0.000 % | 995.31/995.33 c | 5288307 | 900 60246 195744 | 1 283723 38 | 0.000 % | 995.31/995.33 c | 5288510 | 900 60246 195744 | 1 283926 38 | 0.000 % | 995.31/995.33 c | 5291484 | 900 60246 195744 | 1 286900 38 | 0.000 % | 995.31/995.33 c | 5294959 | 900 60246 195744 | 1 290375 38 | 0.000 % | 995.31/995.33 c | 5295059 | 900 60246 195744 | 1 290475 38 | 0.000 % | 995.31/995.33 c | 5306745 | 900 60246 195744 | 1 302161 38 | 0.000 % | 995.31/995.33 c | 5312320 | 900 60246 195744 | 1 307736 38 | 0.000 % | 995.31/995.33 c | 5320777 | 900 60246 195744 | 1 316193 39 | 0.000 % | 995.31/995.33 c | 5324245 | 900 60246 195744 | 1 319661 39 | 0.000 % | 995.31/995.33 c | 5324345 | 900 60246 195744 | 1 319761 39 | 0.000 % | 995.31/995.33 c | 5324658 | 900 60246 195744 | 1 320074 39 | 0.000 % | 995.31/995.33 c | 5324759 | 900 60246 195744 | 1 320175 39 | 0.000 % | 1035.71/1035.78 c | 5325972 | 900 60246 195744 | 1 321388 39 | 0.000 % | 1035.71/1035.78 c | 5326250 | 900 60246 195744 | 1 321666 39 | 0.000 % | 1035.71/1035.78 c | 5331863 | 900 60246 195744 | 1 164678 25 | 0.000 % | 1035.71/1035.78 c | 5337857 | 900 60246 195744 | 1 170672 26 | 0.000 % | 1035.71/1035.78 c | 5343459 | 900 60246 195744 | 1 176274 27 | 0.000 % | 1035.71/1035.78 c | 5344436 | 900 60246 195744 | 1 177251 27 | 0.000 % | 1035.71/1035.78 c | 5344809 | 900 60246 195744 | 1 177624 27 | 0.000 % | 1035.71/1035.78 c | 5346221 | 900 60246 195744 | 1 179036 27 | 0.000 % | 1035.71/1035.78 c | 5346827 | 900 60246 195744 | 1 179642 28 | 0.000 % | 1035.71/1035.78 c | 5353426 | 900 60246 195744 | 1 186241 28 | 0.000 % | 1035.71/1035.78 c | 5354611 | 900 60246 195744 | 1 187426 29 | 0.000 % | 1035.71/1035.78 c | 5356058 | 900 60246 195744 | 1 188873 29 | 0.000 % | 1035.71/1035.78 c | 5356158 | 900 60246 195744 | 1 188973 29 | 0.000 % | 1035.71/1035.78 c | 5359428 | 900 60246 195744 | 1 192243 29 | 0.000 % | 1035.71/1035.78 c | 5367839 | 900 60246 195744 | 1 200654 30 | 0.000 % | 1035.71/1035.78 c | 5368527 | 900 60246 195744 | 1 201342 31 | 0.000 % | 1035.71/1035.78 c | 5370362 | 900 60246 195744 | 1 203177 31 | 0.000 % | 1035.71/1035.78 c | 5370462 | 900 60246 195744 | 1 203277 31 | 0.000 % | 1035.71/1035.78 c | 5376455 | 900 60246 195744 | 1 209270 31 | 0.000 % | 1035.71/1035.78 c | 5376618 | 900 60246 195744 | 1 209433 31 | 0.000 % | 1035.71/1035.78 c | 5378187 | 900 60246 195744 | 1 211002 32 | 0.000 % | 1035.71/1035.78 c | 5379682 | 900 60246 195744 | 1 212497 32 | 0.000 % | 1035.71/1035.78 c | 5380054 | 900 60246 195744 | 1 212869 32 | 0.000 % | 1035.71/1035.78 c | 5405267 | 900 60246 195744 | 1 238082 34 | 0.000 % | 1035.71/1035.78 c | 5406289 | 900 60246 195744 | 1 239104 34 | 0.000 % | 1035.71/1035.78 c | 5407171 | 900 60246 195744 | 1 239986 34 | 0.000 % | 1035.71/1035.78 c | 5409248 | 900 60246 195744 | 1 242063 34 | 0.000 % | 1035.71/1035.78 c | 5410399 | 900 60246 195744 | 1 243214 34 | 0.000 % | 1035.71/1035.78 c | 5410563 | 900 60246 195744 | 1 243378 34 | 0.000 % | 1035.71/1035.78 c | 5417250 | 900 60246 195744 | 1 250065 35 | 0.000 % | 1035.71/1035.78 c | 5420606 | 900 60246 195744 | 1 253421 35 | 0.000 % | 1035.71/1035.78 c | 5427325 | 900 60246 195744 | 1 260140 35 | 0.000 % | 1035.71/1035.78 c | 5433363 | 900 60246 195744 | 1 266178 36 | 0.000 % | 1035.71/1035.78 c | 5436458 | 900 60246 195744 | 1 269273 36 | 0.000 % | 1035.71/1035.78 c | 5443243 | 900 60246 195744 | 1 276058 36 | 0.000 % | 1035.71/1035.78 c | 5450372 | 900 60246 195744 | 1 283187 37 | 0.000 % | 1035.71/1035.78 c | 5450473 | 900 60246 195744 | 1 283288 37 | 0.000 % | 1035.71/1035.78 c | 5453080 | 900 60246 195744 | 1 285895 37 | 0.000 % | 1035.71/1035.78 c | 5454398 | 900 60246 195744 | 1 287213 37 | 0.000 % | 1035.71/1035.78 c | 5455769 | 900 60246 195744 | 1 288584 37 | 0.000 % | 1035.71/1035.78 c | 5468279 | 900 60246 195744 | 1 301094 39 | 0.000 % | 1035.71/1035.78 c | 5468857 | 900 60246 195744 | 1 301672 39 | 0.000 % | 1035.71/1035.78 c | 5470365 | 900 60246 195744 | 1 303180 39 | 0.000 % | 1035.71/1035.78 c | 5477261 | 900 60246 195744 | 1 310076 39 | 0.000 % | 1035.71/1035.78 c | 5477362 | 900 60246 195744 | 1 310177 39 | 0.000 % | 1035.71/1035.78 c | 5481983 | 900 60246 195744 | 1 314798 39 | 0.000 % | 1035.71/1035.78 c | 5486751 | 900 60246 195744 | 1 319566 39 | 0.000 % | 1035.71/1035.78 c | 5486859 | 900 60246 195744 | 1 319674 39 | 0.000 % | 1035.71/1035.78 c | 5486995 | 900 60246 195744 | 1 319810 39 | 0.000 % | 1035.71/1035.78 c | 5487097 | 900 60246 195744 | 1 319912 39 | 0.000 % | 1066.01/1066.08 c | 5487198 | 900 60246 195744 | 1 320013 39 | 0.000 % | 1066.01/1066.08 c | 5488300 | 900 60246 195744 | 1 321115 40 | 0.000 % | 1066.01/1066.08 c | 5491019 | 900 60246 195744 | 1 323834 40 | 0.000 % | 1066.01/1066.08 c | 5497804 | 900 60246 195744 | 1 165423 25 | 0.000 % | 1066.01/1066.08 c | 5499402 | 900 60246 195744 | 1 167021 26 | 0.000 % | 1066.01/1066.08 c | 5510480 | 900 60246 195744 | 1 178099 27 | 0.000 % | 1066.01/1066.08 c | 5510830 | 900 60246 195744 | 1 178449 27 | 0.000 % | 1066.01/1066.08 c | 5511973 | 900 60246 195744 | 1 179592 27 | 0.000 % | 1066.01/1066.08 c | 5512075 | 900 60246 195744 | 1 179694 27 | 0.000 % | 1066.01/1066.08 c | 5516857 | 900 60246 195744 | 1 184476 28 | 0.000 % | 1066.01/1066.08 c | 5519971 | 900 60246 195744 | 1 187590 28 | 0.000 % | 1066.01/1066.08 c | 5520130 | 900 60246 195744 | 1 187749 28 | 0.000 % | 1066.01/1066.08 c | 5523113 | 900 60246 195744 | 1 190732 29 | 0.000 % | 1066.01/1066.08 c | 5523498 | 900 60246 195744 | 1 191117 29 | 0.000 % | 1066.01/1066.08 c | 5523869 | 900 60246 195744 | 1 191488 29 | 0.000 % | 1066.01/1066.08 c | 5527319 | 900 60246 195744 | 1 194938 29 | 0.000 % | 1066.01/1066.08 c | 5527421 | 900 60246 195744 | 1 195040 29 | 0.000 % | 1066.01/1066.08 c | 5527523 | 900 60246 195744 | 1 195142 29 | 0.000 % | 1066.01/1066.08 c | 5528456 | 900 60246 195744 | 1 196075 29 | 0.000 % | 1066.01/1066.08 c | 5528928 | 900 60246 195744 | 1 196547 29 | 0.000 % | 1066.01/1066.08 c | 5532377 | 900 60246 195744 | 1 199996 29 | 0.000 % | 1066.01/1066.08 c | 5532859 | 900 60246 195744 | 1 200478 30 | 0.000 % | 1066.01/1066.08 c | 5534863 | 900 60246 195744 | 1 202482 30 | 0.000 % | 1066.01/1066.08 c | 5542943 | 900 60246 195744 | 1 210562 31 | 0.000 % | 1066.01/1066.08 c | 5543043 | 900 60246 195744 | 1 210662 31 | 0.000 % | 1066.01/1066.08 c | 5544371 | 900 60246 195744 | 1 211990 31 | 0.000 % | 1066.01/1066.08 c | 5544709 | 900 60246 195744 | 1 212328 31 | 0.000 % | 1066.01/1066.08 c | 5545088 | 900 60246 195744 | 1 212707 31 | 0.000 % | 1066.01/1066.08 c | 5545189 | 900 60246 195744 | 1 212808 31 | 0.000 % | 1066.01/1066.08 c | 5547088 | 900 60246 195744 | 1 214707 31 | 0.000 % | 1066.01/1066.08 c | 5551314 | 900 60246 195744 | 1 218933 32 | 0.000 % | 1066.01/1066.08 c | 5551415 | 900 60246 195744 | 1 219034 32 | 0.000 % | 1066.01/1066.08 c | 5551535 | 900 60246 195744 | 1 219154 32 | 0.000 % | 1066.01/1066.08 c | 5560010 | 900 60246 195744 | 1 227629 32 | 0.000 % | 1066.01/1066.08 c | 5561316 | 900 60246 195744 | 1 228935 32 | 0.000 % | 1066.01/1066.08 c | 5565750 | 900 60246 195744 | 1 233369 33 | 0.000 % | 1066.01/1066.08 c | 5566438 | 900 60246 195744 | 1 234057 33 | 0.000 % | 1066.01/1066.08 c | 5568878 | 900 60246 195744 | 1 236497 33 | 0.000 % | 1066.01/1066.08 c | 5570597 | 900 60246 195744 | 1 238216 33 | 0.000 % | 1066.01/1066.08 c | 5578275 | 900 60246 195744 | 1 245894 34 | 0.000 % | 1066.01/1066.08 c | 5584005 | 900 60246 195744 | 1 251624 34 | 0.000 % | 1066.01/1066.08 c | 5586126 | 900 60246 195744 | 1 253745 34 | 0.000 % | 1066.01/1066.08 c | 5586492 | 900 60246 195744 | 1 254111 34 | 0.000 % | 1066.01/1066.08 c | 5587717 | 900 60246 195744 | 1 255336 34 | 0.000 % | 1066.01/1066.08 c | 5587818 | 900 60246 195744 | 1 255437 34 | 0.000 % | 1066.01/1066.08 c | 5598446 | 900 60246 195744 | 1 266065 35 | 0.000 % | 1066.01/1066.08 c | 5598621 | 900 60246 195744 | 1 266240 35 | 0.000 % | 1066.01/1066.08 c | 5598921 | 900 60246 195744 | 1 266540 35 | 0.000 % | 1066.01/1066.08 c | 5606598 | 900 60246 195744 | 1 274217 36 | 0.000 % | 1066.01/1066.08 c | 5607096 | 900 60246 195744 | 1 274715 36 | 0.000 % | 1089.42/1089.41 c | 5608715 | 900 60246 195744 | 1 276334 36 | 0.000 % | 1089.42/1089.41 c | 5609271 | 900 60246 195744 | 1 276890 36 | 0.000 % | 1089.42/1089.41 c | 5609572 | 900 60246 195744 | 1 277191 36 | 0.000 % | 1089.42/1089.41 c | 5609757 | 900 60246 195744 | 1 277376 36 | 0.000 % | 1089.42/1089.41 c | 5609857 | 900 60246 195744 | 1 277476 36 | 0.000 % | 1089.42/1089.41 c | 5610324 | 900 60246 195744 | 1 277943 36 | 0.000 % | 1089.42/1089.41 c | 5615913 | 900 60246 195744 | 1 283532 36 | 0.000 % | 1089.42/1089.41 c | 5619174 | 900 60246 195744 | 1 286793 36 | 0.000 % | 1089.42/1089.41 c | 5619275 | 900 60246 195744 | 1 286894 36 | 0.000 % | 1089.42/1089.41 c | 5619636 | 900 60246 195744 | 1 287255 36 | 0.000 % | 1089.42/1089.41 c | 5620749 | 900 60246 195744 | 1 288368 36 | 0.000 % | 1089.42/1089.41 c | 5623664 | 900 60246 195744 | 1 291283 36 | 0.000 % | 1089.42/1089.41 c | 5625977 | 900 60246 195744 | 1 293596 37 | 0.000 % | 1089.42/1089.41 c | 5627521 | 900 60246 195744 | 1 295140 37 | 0.000 % | 1089.42/1089.41 c | 5631059 | 900 60246 195744 | 1 298678 37 | 0.000 % | 1089.42/1089.41 c | 5632785 | 900 60246 195744 | 1 300404 37 | 0.000 % | 1089.42/1089.41 c | 5637640 | 900 60246 195744 | 1 305259 37 | 0.000 % | 1089.42/1089.41 c | 5638361 | 900 60246 195744 | 1 305980 37 | 0.000 % | 1089.42/1089.41 c | 5638461 | 900 60246 195744 | 1 306080 37 | 0.000 % | 1089.42/1089.41 c | 5640074 | 900 60246 195744 | 1 307693 37 | 0.000 % | 1089.42/1089.41 c | 5642293 | 900 60246 195744 | 1 309912 38 | 0.000 % | 1089.42/1089.41 c | 5642397 | 900 60246 195744 | 1 310016 38 | 0.000 % | 1089.42/1089.41 c | 5645796 | 900 60246 195744 | 1 313415 38 | 0.000 % | 1089.42/1089.41 c | 5651468 | 900 60246 195744 | 1 319087 38 | 0.000 % | 1089.42/1089.41 c | 5651785 | 900 60246 195744 | 1 319404 38 | 0.000 % | 1089.42/1089.41 c | 5655718 | 900 60246 195744 | 1 323337 38 | 0.000 % | 1089.42/1089.41 c | 5658887 | 900 60246 195744 | 1 326506 39 | 0.000 % | 1089.42/1089.41 c | 5661094 | 900 60246 195744 | 1 328713 39 | 0.000 % | 1089.42/1089.41 c | 5662925 | 900 60246 195744 | 1 330544 39 | 0.000 % | 1089.42/1089.41 c | 5666201 | 900 60246 195744 | 1 333820 39 | 0.000 % | 1089.42/1089.41 c | 5668358 | 900 60246 195744 | 1 168172 25 | 0.000 % | 1089.42/1089.41 c | 5668462 | 900 60246 195744 | 1 168276 25 | 0.000 % | 1089.42/1089.41 c | 5668843 | 900 60246 195744 | 1 168657 25 | 0.000 % | 1089.42/1089.41 c | 5669337 | 900 60246 195744 | 1 169151 25 | 0.000 % | 1089.42/1089.41 c | 5670334 | 900 60246 195744 | 1 170148 25 | 0.000 % | 1089.42/1089.41 c | 5670727 | 900 60246 195744 | 1 170541 25 | 0.000 % | 1089.42/1089.41 c | 5676109 | 900 60246 195744 | 1 175923 26 | 0.000 % | 1089.42/1089.41 c | 5676828 | 900 60246 195744 | 1 176642 27 | 0.000 % | 1089.42/1089.41 c | 5676939 | 900 60246 195744 | 1 176753 27 | 0.000 % | 1089.42/1089.41 c | 5680992 | 900 60246 195744 | 1 180806 27 | 0.000 % | 1089.42/1089.41 c | 5687994 | 900 60246 195744 | 1 187808 28 | 0.000 % | 1089.42/1089.41 c | 5688134 | 900 60246 195744 | 1 187948 28 | 0.000 % | 1089.42/1089.41 c | 5689165 | 900 60246 195744 | 1 188979 28 | 0.000 % | 1089.42/1089.41 c | 5689311 | 900 60246 195744 | 1 189125 28 | 0.000 % | 1089.42/1089.41 c | 5689895 | 900 60246 195744 | 1 189709 28 | 0.000 % | 1089.42/1089.41 c | 5693177 | 900 60246 195744 | 1 192991 29 | 0.000 % | 1089.42/1089.41 c | 5693581 | 900 60246 195744 | 1 193395 29 | 0.000 % | 1089.42/1089.41 c | 5693682 | 900 60246 195744 | 1 193496 29 | 0.000 % | 1089.42/1089.41 c | 5694149 | 900 60246 195744 | 1 193963 29 | 0.000 % | 1089.42/1089.41 c | 5694621 | 900 60246 195744 | 1 194435 29 | 0.000 % | 1113.92/1113.98 c | 5696152 | 900 60246 195744 | 1 195966 30 | 0.000 % | 1113.92/1113.98 c | 5703333 | 900 60246 195744 | 1 203147 30 | 0.000 % | 1113.92/1113.98 c | 5703578 | 900 60246 195744 | 1 203392 30 | 0.000 % | 1113.92/1113.98 c | 5703857 | 900 60246 195744 | 1 203671 30 | 0.000 % | 1113.92/1113.98 c | 5705499 | 900 60246 195744 | 1 205313 30 | 0.000 % | 1113.92/1113.98 c | 5710149 | 900 60246 195744 | 1 209963 31 | 0.000 % | 1113.92/1113.98 c | 5710250 | 900 60246 195744 | 1 210064 31 | 0.000 % | 1113.92/1113.98 c | 5715174 | 900 60246 195744 | 1 214988 31 | 0.000 % | 1113.92/1113.98 c | 5719234 | 900 60246 195744 | 1 219048 32 | 0.000 % | 1113.92/1113.98 c | 5719337 | 900 60246 195744 | 1 219151 32 | 0.000 % | 1113.92/1113.98 c | 5719749 | 900 60246 195744 | 1 219563 32 | 0.000 % | 1113.92/1113.98 c | 5720406 | 900 60246 195744 | 1 220220 32 | 0.000 % | 1113.92/1113.98 c | 5720829 | 900 60246 195744 | 1 220643 32 | 0.000 % | 1113.92/1113.98 c | 5723280 | 900 60246 195744 | 1 223094 32 | 0.000 % | 1113.92/1113.98 c | 5727802 | 900 60246 195744 | 1 227616 33 | 0.000 % | 1113.92/1113.98 c | 5728226 | 900 60246 195744 | 1 228040 33 | 0.000 % | 1113.92/1113.98 c | 5728327 | 900 60246 195744 | 1 228141 33 | 0.000 % | 1113.92/1113.98 c | 5731753 | 900 60246 195744 | 1 231567 33 | 0.000 % | 1113.92/1113.98 c | 5738859 | 900 60246 195744 | 1 238673 33 | 0.000 % | 1113.92/1113.98 c | 5739331 | 900 60246 195744 | 1 239145 33 | 0.000 % | 1113.92/1113.98 c | 5739522 | 900 60246 195744 | 1 239336 33 | 0.000 % | 1113.92/1113.98 c | 5739622 | 900 60246 195744 | 1 239436 34 | 0.000 % | 1113.92/1113.98 c | 5742275 | 900 60246 195744 | 1 242089 34 | 0.000 % | 1113.92/1113.98 c | 5743028 | 900 60246 195744 | 1 242842 34 | 0.000 % | 1113.92/1113.98 c | 5745160 | 900 60246 195744 | 1 244974 34 | 0.000 % | 1113.92/1113.98 c | 5752853 | 900 60246 195744 | 1 252667 34 | 0.000 % | 1113.92/1113.98 c | 5753541 | 900 60246 195744 | 1 253355 34 | 0.000 % | 1113.92/1113.98 c | 5760345 | 900 60246 195744 | 1 260159 35 | 0.000 % | 1113.92/1113.98 c | 5762604 | 900 60246 195744 | 1 262418 35 | 0.000 % | 1113.92/1113.98 c | 5763285 | 900 60246 195744 | 1 263099 35 | 0.000 % | 1113.92/1113.98 c | 5768207 | 900 60246 195744 | 1 268021 36 | 0.000 % | 1113.92/1113.98 c | 5769052 | 900 60246 195744 | 1 268866 36 | 0.000 % | 1113.92/1113.98 c | 5771245 | 900 60246 195744 | 1 271059 36 | 0.000 % | 1113.92/1113.98 c | 5771747 | 900 60246 195744 | 1 271561 36 | 0.000 % | 1113.92/1113.98 c | 5771853 | 900 60246 195744 | 1 271667 36 | 0.000 % | 1113.92/1113.98 c | 5772521 | 900 60246 195744 | 1 272335 36 | 0.000 % | 1113.92/1113.98 c | 5773670 | 900 60246 195744 | 1 273484 36 | 0.000 % | 1113.92/1113.98 c | 5774478 | 900 60246 195744 | 1 274292 36 | 0.000 % | 1113.92/1113.98 c | 5774578 | 900 60246 195744 | 1 274392 36 | 0.000 % | 1113.92/1113.98 c | 5774679 | 900 60246 195744 | 1 274493 36 | 0.000 % | 1113.92/1113.98 c | 5775150 | 900 60246 195744 | 1 274964 36 | 0.000 % | 1113.92/1113.98 c | 5775251 | 900 60246 195744 | 1 275065 36 | 0.000 % | 1113.92/1113.98 c | 5780626 | 900 60246 195744 | 1 280440 36 | 0.000 % | 1113.92/1113.98 c | 5783172 | 900 60246 195744 | 1 282986 36 | 0.000 % | 1113.92/1113.98 c | 5784065 | 900 60246 195744 | 1 283879 36 | 0.000 % | 1113.92/1113.98 c | 5786984 | 900 60246 195744 | 1 286798 37 | 0.000 % | 1113.92/1113.98 c | 5789080 | 900 60246 195744 | 1 288894 37 | 0.000 % | 1113.92/1113.98 c | 5789670 | 900 60246 195744 | 1 289484 37 | 0.000 % | 1113.92/1113.98 c | 5790003 | 900 60246 195744 | 1 289817 37 | 0.000 % | 1113.92/1113.98 c | 5790105 | 900 60246 195744 | 1 289919 37 | 0.000 % | 1132.82/1132.86 c | 5790205 | 900 60246 195744 | 1 290019 37 | 0.000 % | 1132.82/1132.86 c | 5790460 | 900 60246 195744 | 1 290274 37 | 0.000 % | 1132.82/1132.86 c | 5790889 | 900 60246 195744 | 1 290703 37 | 0.000 % | 1132.82/1132.86 c | 5790989 | 900 60246 195744 | 1 290803 37 | 0.000 % | 1132.82/1132.86 c | 5791091 | 900 60246 195744 | 1 290905 37 | 0.000 % | 1132.82/1132.86 c | 5796499 | 900 60246 195744 | 1 296313 37 | 0.000 % | 1132.82/1132.86 c | 5802583 | 900 60246 195744 | 1 302397 38 | 0.000 % | 1132.82/1132.86 c | 5805851 | 900 60246 195744 | 1 305665 38 | 0.000 % | 1132.82/1132.86 c | 5807731 | 900 60246 195744 | 1 307545 38 | 0.000 % | 1132.82/1132.86 c | 5815191 | 900 60246 195744 | 1 315005 38 | 0.000 % | 1132.82/1132.86 c | 5815292 | 900 60246 195744 | 1 315106 38 | 0.000 % | 1132.82/1132.86 c | 5815466 | 900 60246 195744 | 1 315280 38 | 0.000 % | 1132.82/1132.86 c | 5815858 | 900 60246 195744 | 1 315672 38 | 0.000 % | 1132.82/1132.86 c | 5815958 | 900 60246 195744 | 1 315772 38 | 0.000 % | 1132.82/1132.86 c | 5816456 | 900 60246 195744 | 1 316270 38 | 0.000 % | 1132.82/1132.86 c | 5818259 | 900 60246 195744 | 1 318073 38 | 0.000 % | 1132.82/1132.86 c | 5818360 | 900 60246 195744 | 1 318174 38 | 0.000 % | 1132.82/1132.86 c | 5821763 | 900 60246 195744 | 1 321577 39 | 0.000 % | 1132.82/1132.86 c | 5821866 | 900 60246 195744 | 1 321680 39 | 0.000 % | 1132.82/1132.86 c | 5823679 | 900 60246 195744 | 1 323493 39 | 0.000 % | 1132.82/1132.86 c | 5824834 | 900 60246 195744 | 1 324648 39 | 0.000 % | 1132.82/1132.86 c | 5829500 | 900 60246 195744 | 1 329314 39 | 0.000 % | 1132.82/1132.86 c | 5829622 | 900 60246 195744 | 1 329436 39 | 0.000 % | 1132.82/1132.86 c | 5832647 | 900 60246 195744 | 1 332461 39 | 0.000 % | 1132.82/1132.86 c | 5833172 | 900 60246 195744 | 1 332986 39 | 0.000 % | 1132.82/1132.86 c | 5833683 | 900 60246 195744 | 1 333497 39 | 0.000 % | 1132.82/1132.86 c | 5833785 | 900 60246 195744 | 1 333599 39 | 0.000 % | 1132.82/1132.86 c | 5833955 | 900 60246 195744 | 1 333769 39 | 0.000 % | 1132.82/1132.86 c | 5834056 | 900 60246 195744 | 1 333870 39 | 0.000 % | 1132.82/1132.86 c | 5834665 | 900 60246 195744 | 1 334479 39 | 0.000 % | 1132.82/1132.86 c | 5834791 | 900 60246 195744 | 1 334605 39 | 0.000 % | 1132.82/1132.86 c | 5838329 | 900 60246 195744 | 1 338143 39 | 0.000 % | 1132.82/1132.86 c | 5840055 | 900 60246 195744 | 1 339869 39 | 0.000 % | 1132.82/1132.86 c | 5845160 | 900 60246 195744 | 1 174573 26 | 0.000 % | 1132.82/1132.86 c | 5845264 | 900 60246 195744 | 1 174677 26 | 0.000 % | 1132.82/1132.86 c | 5845364 | 900 60246 195744 | 1 174777 26 | 0.000 % | 1132.82/1132.86 c | 5845464 | 900 60246 195744 | 1 174877 26 | 0.000 % | 1132.82/1132.86 c | 5846999 | 900 60246 195744 | 1 176412 26 | 0.000 % | 1132.82/1132.86 c | 5853452 | 900 60246 195744 | 1 182865 27 | 0.000 % | 1132.82/1132.86 c | 5854091 | 900 60246 195744 | 1 183504 27 | 0.000 % | 1132.82/1132.86 c | 5854212 | 900 60246 195744 | 1 183625 27 | 0.000 % | 1132.82/1132.86 c | 5855526 | 900 60246 195744 | 1 184939 27 | 0.000 % | 1132.82/1132.86 c | 5855626 | 900 60246 195744 | 1 185039 27 | 0.000 % | 1132.82/1132.86 c | 5856040 | 900 60246 195744 | 1 185453 27 | 0.000 % | 1132.82/1132.86 c | 5859960 | 900 60246 195744 | 1 189373 28 | 0.000 % | 1132.82/1132.86 c | 5860232 | 900 60246 195744 | 1 189645 28 | 0.000 % | 1132.82/1132.86 c | 5860394 | 900 60246 195744 | 1 189807 28 | 0.000 % | 1132.82/1132.86 c | 5860834 | 900 60246 195744 | 1 190247 28 | 0.000 % | 1132.82/1132.86 c | 5861604 | 900 60246 195744 | 1 191017 28 | 0.000 % | 1159.01/1159.03 c | 5861704 | 900 60246 195744 | 1 191117 28 | 0.000 % | 1159.01/1159.03 c | 5861804 | 900 60246 195744 | 1 191217 28 | 0.000 % | 1159.01/1159.03 c | 5871972 | 900 60246 195744 | 1 201385 29 | 0.000 % | 1159.01/1159.03 c | 5872072 | 900 60246 195744 | 1 201485 29 | 0.000 % | 1159.01/1159.03 c | 5875895 | 900 60246 195744 | 1 205308 30 | 0.000 % | 1159.01/1159.03 c | 5890683 | 900 60246 195744 | 1 220096 31 | 0.000 % | 1159.01/1159.03 c | 5891687 | 900 60246 195744 | 1 221100 31 | 0.000 % | 1159.01/1159.03 c | 5891820 | 900 60246 195744 | 1 221233 31 | 0.000 % | 1159.01/1159.03 c | 5892766 | 900 60246 195744 | 1 222179 31 | 0.000 % | 1159.01/1159.03 c | 5893426 | 900 60246 195744 | 1 222839 31 | 0.000 % | 1159.01/1159.03 c | 5905421 | 900 60246 195744 | 1 234834 32 | 0.000 % | 1159.01/1159.03 c | 5905674 | 900 60246 195744 | 1 235087 32 | 0.000 % | 1159.01/1159.03 c | 5905777 | 900 60246 195744 | 1 235190 32 | 0.000 % | 1159.01/1159.03 c | 5909071 | 900 60246 195744 | 1 238484 33 | 0.000 % | 1159.01/1159.03 c | 5909291 | 900 60246 195744 | 1 238704 33 | 0.000 % | 1159.01/1159.03 c | 5909911 | 900 60246 195744 | 1 239324 33 | 0.000 % | 1159.01/1159.03 c | 5910778 | 900 60246 195744 | 1 240191 33 | 0.000 % | 1159.01/1159.03 c | 5910879 | 900 60246 195744 | 1 240292 33 | 0.000 % | 1159.01/1159.03 c | 5913385 | 900 60246 195744 | 1 242798 33 | 0.000 % | 1159.01/1159.03 c | 5913487 | 900 60246 195744 | 1 242900 33 | 0.000 % | 1159.01/1159.03 c | 5916635 | 900 60246 195744 | 1 246048 33 | 0.000 % | 1159.01/1159.03 c | 5919687 | 900 60246 195744 | 1 249100 34 | 0.000 % | 1159.01/1159.03 c | 5922572 | 900 60246 195744 | 1 251985 34 | 0.000 % | 1159.01/1159.03 c | 5922673 | 900 60246 195744 | 1 252086 34 | 0.000 % | 1159.01/1159.03 c | 5922773 | 900 60246 195744 | 1 252186 34 | 0.000 % | 1159.01/1159.03 c | 5925241 | 900 60246 195744 | 1 254654 34 | 0.000 % | 1159.01/1159.03 c | 5925940 | 900 60246 195744 | 1 255353 34 | 0.000 % | 1159.01/1159.03 c | 5926197 | 900 60246 195744 | 1 255610 34 | 0.000 % | 1159.01/1159.03 c | 5926995 | 900 60246 195744 | 1 256408 34 | 0.000 % | 1159.01/1159.03 c | 5927098 | 900 60246 195744 | 1 256511 34 | 0.000 % | 1159.01/1159.03 c | 5927403 | 900 60246 195744 | 1 256816 34 | 0.000 % | 1159.01/1159.03 c | 5929039 | 900 60246 195744 | 1 258452 34 | 0.000 % | 1159.01/1159.03 c | 5929196 | 900 60246 195744 | 1 258609 34 | 0.000 % | 1159.01/1159.03 c | 5929425 | 900 60246 195744 | 1 258838 34 | 0.000 % | 1159.01/1159.03 c | 5930695 | 900 60246 195744 | 1 260108 34 | 0.000 % | 1159.01/1159.03 c | 5932039 | 900 60246 195744 | 1 261452 34 | 0.000 % | 1159.01/1159.03 c | 5937474 | 900 60246 195744 | 1 266887 35 | 0.000 % | 1159.01/1159.03 c | 5940177 | 900 60246 195744 | 1 269590 35 | 0.000 % | 1159.01/1159.03 c | 5948100 | 900 60246 195744 | 1 277513 36 | 0.000 % | 1159.01/1159.03 c | 5948557 | 900 60246 195744 | 1 277970 36 | 0.000 % | 1159.01/1159.03 c | 5949043 | 900 60246 195744 | 1 278456 36 | 0.000 % | 1159.01/1159.03 c | 5949145 | 900 60246 195744 | 1 278558 36 | 0.000 % | 1159.01/1159.03 c | 5954930 | 900 60246 195744 | 1 284343 36 | 0.000 % | 1159.01/1159.03 c | 5955031 | 900 60246 195744 | 1 284444 36 | 0.000 % | 1159.01/1159.03 c | 5955744 | 900 60246 195744 | 1 285157 36 | 0.000 % | 1159.01/1159.03 c | 5959419 | 900 60246 195744 | 1 288832 36 | 0.000 % | 1159.01/1159.03 c | 5959521 | 900 60246 195744 | 1 288934 36 | 0.000 % | 1159.01/1159.03 c | 5962288 | 900 60246 195744 | 1 291701 37 | 0.000 % | 1159.01/1159.03 c | 5962388 | 900 60246 195744 | 1 291801 37 | 0.000 % | 1159.01/1159.03 c | 5962490 | 900 60246 195744 | 1 291903 37 | 0.000 % | 1180.12/1180.18 c | 5962591 | 900 60246 195744 | 1 292004 37 | 0.000 % | 1180.12/1180.18 c | 5964635 | 900 60246 195744 | 1 294048 37 | 0.000 % | 1180.12/1180.18 c | 5966716 | 900 60246 195744 | 1 296129 37 | 0.000 % | 1180.12/1180.18 c | 5967899 | 900 60246 195744 | 1 297312 37 | 0.000 % | 1180.12/1180.18 c | 5968242 | 900 60246 195744 | 1 297655 37 | 0.000 % | 1180.12/1180.18 c | 5970606 | 900 60246 195744 | 1 300019 37 | 0.000 % | 1180.12/1180.18 c | 5970708 | 900 60246 195744 | 1 300121 37 | 0.000 % | 1180.12/1180.18 c | 5970812 | 900 60246 195744 | 1 300225 37 | 0.000 % | 1180.12/1180.18 c | 5970914 | 900 60246 195744 | 1 300327 37 | 0.000 % | 1180.12/1180.18 c | 5981535 | 900 60246 195744 | 1 310948 38 | 0.000 % | 1180.12/1180.18 c | 5981635 | 900 60246 195744 | 1 311048 38 | 0.000 % | 1180.12/1180.18 c | 5981737 | 900 60246 195744 | 1 311150 38 | 0.000 % | 1180.12/1180.18 c | 5982759 | 900 60246 195744 | 1 312172 38 | 0.000 % | 1180.12/1180.18 c | 5984444 | 900 60246 195744 | 1 313857 38 | 0.000 % | 1180.12/1180.18 c | 5986386 | 900 60246 195744 | 1 315799 38 | 0.000 % | 1180.12/1180.18 c | 5988289 | 900 60246 195744 | 1 317702 38 | 0.000 % | 1180.12/1180.18 c | 5989029 | 900 60246 195744 | 1 318442 38 | 0.000 % | 1180.12/1180.18 c | 5996705 | 900 60246 195744 | 1 326118 39 | 0.000 % | 1180.12/1180.18 c | 5996820 | 900 60246 195744 | 1 326233 39 | 0.000 % | 1180.12/1180.18 c | 5996921 | 900 60246 195744 | 1 326334 39 | 0.000 % | 1180.12/1180.18 c | 5997023 | 900 60246 195744 | 1 326436 39 | 0.000 % | 1180.12/1180.18 c | 5998562 | 900 60246 195744 | 1 327975 39 | 0.000 % | 1180.12/1180.18 c | 5999699 | 900 60246 195744 | 1 329112 39 | 0.000 % | 1180.12/1180.18 c | 5999799 | 900 60246 195744 | 1 329212 39 | 0.000 % | 1180.12/1180.18 c | 6005925 | 900 60246 195744 | 1 335338 39 | 0.000 % | 1180.12/1180.19 c | 6006742 | 900 60246 195744 | 1 336155 39 | 0.000 % | 1180.12/1180.19 c | 6014859 | 900 60246 195744 | 1 344272 39 | 0.000 % | 1180.12/1180.19 c | 6015252 | 900 60246 195744 | 1 344665 39 | 0.000 % | 1180.12/1180.19 c | 6017728 | 900 60246 195744 | 1 174140 25 | 0.000 % | 1180.12/1180.19 c | 6017845 | 900 60246 195744 | 1 174257 25 | 0.000 % | 1180.12/1180.19 c | 6020281 | 900 60246 195744 | 1 176693 26 | 0.000 % | 1180.12/1180.19 c | 6022717 | 900 60246 195744 | 1 179129 26 | 0.000 % | 1180.12/1180.19 c | 6024900 | 900 60246 195744 | 1 181312 26 | 0.000 % | 1180.12/1180.19 c | 6025537 | 900 60246 195744 | 1 181949 26 | 0.000 % | 1180.12/1180.19 c | 6026498 | 900 60246 195744 | 1 182910 26 | 0.000 % | 1180.12/1180.19 c | 6026676 | 900 60246 195744 | 1 183088 26 | 0.000 % | 1180.12/1180.19 c | 6026991 | 900 60246 195744 | 1 183403 27 | 0.000 % | 1180.12/1180.19 c | 6028060 | 900 60246 195744 | 1 184472 27 | 0.000 % | 1180.12/1180.19 c | 6028249 | 900 60246 195744 | 1 184661 27 | 0.000 % | 1180.12/1180.19 c | 6028423 | 900 60246 195744 | 1 184835 27 | 0.000 % | 1180.12/1180.19 c | 6031214 | 900 60246 195744 | 1 187626 27 | 0.000 % | 1180.12/1180.19 c | 6031391 | 900 60246 195744 | 1 187803 27 | 0.000 % | 1180.12/1180.19 c | 6031637 | 900 60246 195744 | 1 188049 27 | 0.000 % | 1180.12/1180.19 c | 6031739 | 900 60246 195744 | 1 188151 27 | 0.000 % | 1180.12/1180.19 c | 6032126 | 900 60246 195744 | 1 188538 27 | 0.000 % | 1180.12/1180.19 c | 6032230 | 900 60246 195744 | 1 188642 27 | 0.000 % | 1180.12/1180.19 c | 6038474 | 900 60246 195744 | 1 194886 28 | 0.000 % | 1180.12/1180.19 c | 6039252 | 900 60246 195744 | 1 195664 28 | 0.000 % | 1180.12/1180.19 c | 6040780 | 900 60246 195744 | 1 197192 28 | 0.000 % | 1180.12/1180.19 c | 6041930 | 900 60246 195744 | 1 198342 28 | 0.000 % | 1202.42/1202.45 c | 6042075 | 900 60246 195744 | 1 198487 28 | 0.000 % | 1202.42/1202.45 c | 6042422 | 900 60246 195744 | 1 198834 28 | 0.000 % | 1202.42/1202.45 c | 6042667 | 900 60246 195744 | 1 199079 28 | 0.000 % | 1202.42/1202.45 c | 6042768 | 900 60246 195744 | 1 199180 28 | 0.000 % | 1202.42/1202.45 c | 6047770 | 900 60246 195744 | 1 204182 29 | 0.000 % | 1202.42/1202.45 c | 6047870 | 900 60246 195744 | 1 204282 29 | 0.000 % | 1202.42/1202.45 c | 6056683 | 900 60246 195744 | 1 213095 30 | 0.000 % | 1202.42/1202.45 c | 6056783 | 900 60246 195744 | 1 213195 30 | 0.000 % | 1202.42/1202.45 c | 6057091 | 900 60246 195744 | 1 213503 30 | 0.000 % | 1202.42/1202.45 c | 6058339 | 900 60246 195744 | 1 214751 31 | 0.000 % | 1202.42/1202.45 c | 6059007 | 900 60246 195744 | 1 215419 31 | 0.000 % | 1202.42/1202.45 c | 6061854 | 900 60246 195744 | 1 218266 31 | 0.000 % | 1202.42/1202.45 c | 6065529 | 900 60246 195744 | 1 221941 31 | 0.000 % | 1202.42/1202.45 c | 6070390 | 900 60246 195744 | 1 226802 32 | 0.000 % | 1202.42/1202.45 c | 6071489 | 900 60246 195744 | 1 227901 32 | 0.000 % | 1202.42/1202.45 c | 6073324 | 900 60246 195744 | 1 229736 32 | 0.000 % | 1202.42/1202.45 c | 6073575 | 900 60246 195744 | 1 229987 32 | 0.000 % | 1202.42/1202.45 c | 6076886 | 900 60246 195744 | 1 233298 32 | 0.000 % | 1202.42/1202.45 c | 6080049 | 900 60246 195744 | 1 236461 33 | 0.000 % | 1202.42/1202.45 c | 6080149 | 900 60246 195744 | 1 236561 33 | 0.000 % | 1202.42/1202.45 c | 6081613 | 900 60246 195744 | 1 238025 33 | 0.000 % | 1202.42/1202.45 c | 6084479 | 900 60246 195744 | 1 240891 33 | 0.000 % | 1202.42/1202.45 c | 6087318 | 900 60246 195744 | 1 243730 33 | 0.000 % | 1202.42/1202.45 c | 6091036 | 900 60246 195744 | 1 247448 34 | 0.000 % | 1202.42/1202.45 c | 6091161 | 900 60246 195744 | 1 247573 34 | 0.000 % | 1202.42/1202.45 c | 6093708 | 900 60246 195744 | 1 250120 34 | 0.000 % | 1202.42/1202.45 c | 6096100 | 900 60246 195744 | 1 252512 34 | 0.000 % | 1202.42/1202.45 c | 6096202 | 900 60246 195744 | 1 252614 34 | 0.000 % | 1202.42/1202.45 c | 6100229 | 900 60246 195744 | 1 256641 34 | 0.000 % | 1202.42/1202.45 c | 6100331 | 900 60246 195744 | 1 256743 34 | 0.000 % | 1202.42/1202.45 c | 6100431 | 900 60246 195744 | 1 256843 34 | 0.000 % | 1202.42/1202.45 c | 6103129 | 900 60246 195744 | 1 259541 35 | 0.000 % | 1202.42/1202.45 c | 6104460 | 900 60246 195744 | 1 260872 35 | 0.000 % | 1202.42/1202.45 c | 6107191 | 900 60246 195744 | 1 263603 35 | 0.000 % | 1202.42/1202.45 c | 6108669 | 900 60246 195744 | 1 265081 35 | 0.000 % | 1202.42/1202.45 c | 6111307 | 900 60246 195744 | 1 267719 35 | 0.000 % | 1202.42/1202.45 c | 6113027 | 900 60246 195744 | 1 269439 35 | 0.000 % | 1202.42/1202.45 c | 6113129 | 900 60246 195744 | 1 269541 35 | 0.000 % | 1202.42/1202.45 c | 6115208 | 900 60246 195744 | 1 271620 35 | 0.000 % | 1202.42/1202.45 c | 6118818 | 900 60246 195744 | 1 275230 36 | 0.000 % | 1202.42/1202.45 c | 6120268 | 900 60246 195744 | 1 276680 36 | 0.000 % | 1202.42/1202.45 c | 6121714 | 900 60246 195744 | 1 278126 36 | 0.000 % | 1202.42/1202.45 c | 6125189 | 900 60246 195744 | 1 281601 36 | 0.000 % | 1202.42/1202.45 c | 6125290 | 900 60246 195744 | 1 281702 36 | 0.000 % | 1202.42/1202.45 c | 6126488 | 900 60246 195744 | 1 282900 36 | 0.000 % | 1202.42/1202.45 c | 6127210 | 900 60246 195744 | 1 283622 36 | 0.000 % | 1202.42/1202.45 c | 6127311 | 900 60246 195744 | 1 283723 36 | 0.000 % | 1202.42/1202.45 c | 6128347 | 900 60246 195744 | 1 284759 36 | 0.000 % | 1202.42/1202.45 c | 6130784 | 900 60246 195744 | 1 287196 37 | 0.000 % | 1202.42/1202.45 c | 6130898 | 900 60246 195744 | 1 287310 37 | 0.000 % | 1235.91/1235.90 c | 6131071 | 900 60246 195744 | 1 287483 37 | 0.000 % | 1235.91/1235.90 c | 6131174 | 900 60246 195744 | 1 287586 37 | 0.000 % | 1235.91/1235.90 c | 6131715 | 900 60246 195744 | 1 288127 37 | 0.000 % | 1235.91/1235.90 c | 6132590 | 900 60246 195744 | 1 289002 37 | 0.000 % | 1235.91/1235.90 c | 6139780 | 900 60246 195744 | 1 296192 37 | 0.000 % | 1235.91/1235.90 c | 6140521 | 900 60246 195744 | 1 296933 37 | 0.000 % | 1235.91/1235.90 c | 6140656 | 900 60246 195744 | 1 297068 37 | 0.000 % | 1235.91/1235.90 c | 6157979 | 900 60246 195744 | 1 314391 38 | 0.000 % | 1235.91/1235.90 c | 6158083 | 900 60246 195744 | 1 314495 38 | 0.000 % | 1235.91/1235.90 c | 6158629 | 900 60246 195744 | 1 315041 38 | 0.000 % | 1235.91/1235.90 c | 6160313 | 900 60246 195744 | 1 316725 38 | 0.000 % | 1235.91/1235.90 c | 6160413 | 900 60246 195744 | 1 316825 38 | 0.000 % | 1235.91/1235.90 c | 6160882 | 900 60246 195744 | 1 317294 38 | 0.000 % | 1235.91/1235.90 c | 6162249 | 900 60246 195744 | 1 318661 38 | 0.000 % | 1235.91/1235.90 c | 6162359 | 900 60246 195744 | 1 318771 38 | 0.000 % | 1235.91/1235.90 c | 6162459 | 900 60246 195744 | 1 318871 38 | 0.000 % | 1235.91/1235.90 c | 6169014 | 900 60246 195744 | 1 325426 38 | 0.000 % | 1235.91/1235.90 c | 6169400 | 900 60246 195744 | 1 325812 38 | 0.000 % | 1235.91/1235.90 c | 6169669 | 900 60246 195744 | 1 326081 39 | 0.000 % | 1235.91/1235.90 c | 6172294 | 900 60246 195744 | 1 328706 39 | 0.000 % | 1235.91/1235.90 c | 6173550 | 900 60246 195744 | 1 329962 39 | 0.000 % | 1235.91/1235.90 c | 6173827 | 900 60246 195744 | 1 330239 39 | 0.000 % | 1235.91/1235.90 c | 6177509 | 900 60246 195744 | 1 333921 39 | 0.000 % | 1235.91/1235.90 c | 6178278 | 900 60246 195744 | 1 334690 39 | 0.000 % | 1235.91/1235.90 c | 6179490 | 900 60246 195744 | 1 335902 39 | 0.000 % | 1235.91/1235.90 c | 6184909 | 900 60246 195744 | 1 341321 39 | 0.000 % | 1235.91/1235.90 c | 6191100 | 900 60246 195744 | 1 347512 39 | 0.000 % | 1235.91/1235.90 c | 6217200 | 900 60246 195744 | 1 198013 28 | 0.000 % | 1235.91/1235.90 c | 6223364 | 900 60246 195744 | 1 204177 29 | 0.000 % | 1235.91/1235.90 c | 6223486 | 900 60246 195744 | 1 204299 29 | 0.000 % | 1235.91/1235.90 c | 6225205 | 900 60246 195744 | 1 206018 29 | 0.000 % | 1235.91/1235.90 c | 6226556 | 900 60246 195744 | 1 207369 29 | 0.000 % | 1235.91/1235.90 c | 6226680 | 900 60246 195744 | 1 207493 29 | 0.000 % | 1235.91/1235.90 c | 6227982 | 900 60246 195744 | 1 208795 29 | 0.000 % | 1235.91/1235.90 c | 6231338 | 900 60246 195744 | 1 212151 30 | 0.000 % | 1235.91/1235.90 c | 6231687 | 900 60246 195744 | 1 212500 30 | 0.000 % | 1235.91/1235.90 c | 6233105 | 900 60246 195744 | 1 213918 30 | 0.000 % | 1235.91/1235.90 c | 6233802 | 900 60246 195744 | 1 214615 30 | 0.000 % | 1235.91/1235.90 c | 6234669 | 900 60246 195744 | 1 215482 30 | 0.000 % | 1235.91/1235.90 c | 6234771 | 900 60246 195744 | 1 215584 30 | 0.000 % | 1235.91/1235.90 c | 6235073 | 900 60246 195744 | 1 215886 30 | 0.000 % | 1235.91/1235.90 c | 6245306 | 900 60246 195744 | 1 226119 31 | 0.000 % | 1235.91/1235.90 c | 6245406 | 900 60246 195744 | 1 226219 31 | 0.000 % | 1235.91/1235.90 c | 6247688 | 900 60246 195744 | 1 228501 32 | 0.000 % | 1235.91/1235.90 c | 6248342 | 900 60246 195744 | 1 229155 32 | 0.000 % | 1235.91/1235.90 c | 6248444 | 900 60246 195744 | 1 229257 32 | 0.000 % | 1235.91/1235.90 c | 6248650 | 900 60246 195744 | 1 229463 32 | 0.000 % | 1235.91/1235.90 c | 6251655 | 900 60246 195744 | 1 232468 32 | 0.000 % | 1235.91/1235.90 c | 6251755 | 900 60246 195744 | 1 232568 32 | 0.000 % | 1235.91/1235.90 c | 6252139 | 900 60246 195744 | 1 232952 32 | 0.000 % | 1264.02/1264.02 c | 6255821 | 900 60246 195744 | 1 236634 33 | 0.000 % | 1264.02/1264.02 c | 6258990 | 900 60246 195744 | 1 239803 33 | 0.000 % | 1264.02/1264.02 c | 6259854 | 900 60246 195744 | 1 240667 33 | 0.000 % | 1264.02/1264.02 c | 6263463 | 900 60246 195744 | 1 244276 33 | 0.000 % | 1264.02/1264.02 c | 6263965 | 900 60246 195744 | 1 244778 33 | 0.000 % | 1264.02/1264.02 c | 6265932 | 900 60246 195744 | 1 246745 33 | 0.000 % | 1264.02/1264.02 c | 6266032 | 900 60246 195744 | 1 246845 33 | 0.000 % | 1264.02/1264.02 c | 6277438 | 900 60246 195744 | 1 258251 34 | 0.000 % | 1264.02/1264.02 c | 6279276 | 900 60246 195744 | 1 260089 34 | 0.000 % | 1264.02/1264.02 c | 6279850 | 900 60246 195744 | 1 260663 34 | 0.000 % | 1264.02/1264.02 c | 6286098 | 900 60246 195744 | 1 266911 34 | 0.000 % | 1264.02/1264.02 c | 6286200 | 900 60246 195744 | 1 267013 34 | 0.000 % | 1264.02/1264.02 c | 6287040 | 900 60246 195744 | 1 267853 34 | 0.000 % | 1264.02/1264.02 c | 6287262 | 900 60246 195744 | 1 268075 34 | 0.000 % | 1264.02/1264.02 c | 6287609 | 900 60246 195744 | 1 268422 34 | 0.000 % | 1264.02/1264.02 c | 6290773 | 900 60246 195744 | 1 271586 35 | 0.000 % | 1264.02/1264.02 c | 6291373 | 900 60246 195744 | 1 272186 35 | 0.000 % | 1264.02/1264.02 c | 6292787 | 900 60246 195744 | 1 273600 35 | 0.000 % | 1264.02/1264.02 c | 6293697 | 900 60246 195744 | 1 274510 35 | 0.000 % | 1264.02/1264.02 c | 6297891 | 900 60246 195744 | 1 278704 35 | 0.000 % | 1264.02/1264.02 c | 6297992 | 900 60246 195744 | 1 278805 35 | 0.000 % | 1264.02/1264.02 c | 6298097 | 900 60246 195744 | 1 278910 35 | 0.000 % | 1264.02/1264.02 c | 6299295 | 900 60246 195744 | 1 280108 35 | 0.000 % | 1264.02/1264.02 c | 6302640 | 900 60246 195744 | 1 283453 35 | 0.000 % | 1264.02/1264.02 c | 6306256 | 900 60246 195744 | 1 287069 35 | 0.000 % | 1264.02/1264.02 c | 6310323 | 900 60246 195744 | 1 291136 36 | 0.000 % | 1264.02/1264.02 c | 6312510 | 900 60246 195744 | 1 293323 36 | 0.000 % | 1264.02/1264.02 c | 6315314 | 900 60246 195744 | 1 296127 36 | 0.000 % | 1264.02/1264.02 c | 6317239 | 900 60246 195744 | 1 298052 36 | 0.000 % | 1264.02/1264.02 c | 6318760 | 900 60246 195744 | 1 299573 36 | 0.000 % | 1264.02/1264.02 c | 6318860 | 900 60246 195744 | 1 299673 36 | 0.000 % | 1264.02/1264.02 c | 6319639 | 900 60246 195744 | 1 300452 36 | 0.000 % | 1264.02/1264.02 c | 6321397 | 900 60246 195744 | 1 302210 36 | 0.000 % | 1264.02/1264.02 c | 6323144 | 900 60246 195744 | 1 303957 36 | 0.000 % | 1264.02/1264.02 c | 6323596 | 900 60246 195744 | 1 304409 36 | 0.000 % | 1264.02/1264.02 c | 6323696 | 900 60246 195744 | 1 304509 36 | 0.000 % | 1264.02/1264.02 c | 6324623 | 900 60246 195744 | 1 305436 36 | 0.000 % | 1264.02/1264.02 c | 6325320 | 900 60246 195744 | 1 306133 36 | 0.000 % | 1264.02/1264.02 c | 6326734 | 900 60246 195744 | 1 307547 36 | 0.000 % | 1264.02/1264.02 c | 6331288 | 900 60246 195744 | 1 312101 37 | 0.000 % | 1264.02/1264.02 c | 6332917 | 900 60246 195744 | 1 313730 37 | 0.000 % | 1264.02/1264.02 c | 6338254 | 900 60246 195744 | 1 319067 37 | 0.000 % | 1264.02/1264.02 c | 6338411 | 900 60246 195744 | 1 319224 37 | 0.000 % | 1264.02/1264.02 c | 6338779 | 900 60246 195744 | 1 319592 37 | 0.000 % | 1264.02/1264.02 c | 6339835 | 900 60246 195744 | 1 320648 37 | 0.000 % | 1264.02/1264.02 c | 6347473 | 900 60246 195744 | 1 328286 37 | 0.000 % | 1264.02/1264.02 c | 6348047 | 900 60246 195744 | 1 328860 37 | 0.000 % | 1264.02/1264.02 c | 6348405 | 900 60246 195744 | 1 329218 37 | 0.000 % | 1264.02/1264.02 c | 6348506 | 900 60246 195744 | 1 329319 37 | 0.000 % | 1264.02/1264.02 c | 6350434 | 900 60246 195744 | 1 331247 38 | 0.000 % | 1275.81/1275.81 c | 6353180 | 900 60246 195744 | 1 333993 38 | 0.000 % | 1275.81/1275.81 c | 6356954 | 900 60246 195744 | 1 337767 38 | 0.000 % | 1275.81/1275.81 c | 6371466 | 900 60246 195744 | 1 352279 39 | 0.000 % | 1275.81/1275.81 c | 6377344 | 900 60246 195744 | 1 179957 25 | 0.000 % | 1275.81/1275.81 c | 6384557 | 900 60246 195744 | 1 187170 26 | 0.000 % | 1275.81/1275.81 c | 6384657 | 900 60246 195744 | 1 187270 26 | 0.000 % | 1275.81/1275.81 c | 6385464 | 900 60246 195744 | 1 188077 26 | 0.000 % | 1275.81/1275.81 c | 6385564 | 900 60246 195744 | 1 188177 26 | 0.000 % | 1275.81/1275.81 c | 6385789 | 900 60246 195744 | 1 188402 26 | 0.000 % | 1275.81/1275.81 c | 6385956 | 900 60246 195744 | 1 188569 27 | 0.000 % | 1275.81/1275.81 c | 6388845 | 900 60246 195744 | 1 191458 27 | 0.000 % | 1275.81/1275.81 c | 6393563 | 900 60246 195744 | 1 196176 28 | 0.000 % | 1275.81/1275.81 c | 6394473 | 900 60246 195744 | 1 197086 28 | 0.000 % | 1275.81/1275.81 c =============================================================================== 1275.81/1275.81 c restarts : 1600 1275.81/1275.81 c nb ReduceDB : 69 1275.81/1275.81 c nb removed Clauses : 6197387 1275.81/1275.81 c nb learnts DL2 : 479 1275.81/1275.81 c nb learnts size 2 : 65 1275.81/1275.81 c nb learnts size 1 : 0 1275.81/1275.81 c conflicts : 6394473 (5015 /sec) 1275.81/1275.81 c decisions : 7937347 (0.00 % random) (6225 /sec) 1275.81/1275.81 c propagations : 547139822 (429134 /sec) 1275.81/1275.81 c conflict literals : 336574563 (58.57 % deleted) 1275.81/1275.81 c nb reduced Clauses : 122122 1275.81/1275.81 c CPU time : 1274.99 s 1275.81/1275.81 1275.81/1275.82 s SATISFIABLE 1275.81/1275.82 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 207 -208 -209 -210 -211 -212 -213 -214 -215 -216 217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 944 -945 0
OK
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-3303339-1303899331/watcher-3303339-1303899331 -o /tmp/evaluation-result-3303339-1303899331/solver-3303339-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303339-1303899331.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/174 10781 /proc/meminfo: memFree=13849444/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531064 8912896 253 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10781/statm: 2176 253 211 178 0 69 0 [startup+0.043585 s] /proc/loadavg: 0.00 0.00 0.00 1/174 10781 /proc/meminfo: memFree=13849444/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531064 8912896 253 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10781/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100557 s] /proc/loadavg: 0.00 0.00 0.00 1/174 10781 /proc/meminfo: memFree=13849444/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501531064 8912896 253 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10781/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300534 s] /proc/loadavg: 0.00 0.00 0.00 1/174 10781 /proc/meminfo: memFree=13849444/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+0.700451 s] /proc/loadavg: 0.00 0.00 0.00 1/174 10781 /proc/meminfo: memFree=13849444/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 8704 [startup+1.50031 s] /proc/loadavg: 0.00 0.00 0.00 3/180 10792 /proc/meminfo: memFree=13824964/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=24228 CPUtime=1.34 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 5952 0 0 0 134 0 0 0 25 0 1 0 501531079 24809472 2879 33554432000 4194304 4260849 140735432102320 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 6057 2879 248 17 0 2698 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32932 [startup+3.10101 s] /proc/loadavg: 0.00 0.00 0.00 3/180 10792 /proc/meminfo: memFree=13816036/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=31300 CPUtime=2.95 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 7801 0 0 0 294 1 0 0 25 0 1 0 501531079 32051200 4648 33554432000 4194304 4260849 140735432102320 18446744073709551615 4247411 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 7825 4648 248 17 0 4466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40004 [startup+6.30044 s] /proc/loadavg: 0.16 0.03 0.01 3/180 10792 /proc/meminfo: memFree=13804024/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=35724 CPUtime=6.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 8968 0 0 0 614 1 0 0 25 0 1 0 501531079 36581376 5738 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 8931 5738 248 17 0 5572 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44428 [startup+12.7003 s] /proc/loadavg: 0.31 0.07 0.02 3/180 10793 /proc/meminfo: memFree=13789392/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=36212 CPUtime=12.54 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 11458 0 0 0 1253 1 0 0 25 0 1 0 501531079 37081088 5860 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 9053 5860 248 17 0 5694 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44916 [startup+25.5009 s] /proc/loadavg: 0.68 0.16 0.05 3/180 10793 /proc/meminfo: memFree=13782532/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=43352 CPUtime=25.34 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 16391 0 0 0 2532 2 0 0 25 0 1 0 501531079 44392448 7643 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 10838 7643 248 17 0 7479 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52056 [startup+51.1003 s] /proc/loadavg: 1.13 0.31 0.10 3/180 10794 /proc/meminfo: memFree=13759304/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=62016 CPUtime=50.95 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 20547 0 0 0 5092 3 0 0 25 0 1 0 501531079 63504384 11648 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 15504 11648 248 17 0 12145 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70720 [startup+102.307 s] /proc/loadavg: 1.62 0.56 0.20 3/180 10795 /proc/meminfo: memFree=13711524/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=80872 CPUtime=102.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 31228 0 0 0 10211 4 0 0 25 0 1 0 501531079 82812928 16994 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 20218 16994 249 17 0 16859 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 89576 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 3/180 10797 /proc/meminfo: memFree=13698232/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=93480 CPUtime=162.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 33551 0 0 0 16210 5 0 0 25 0 1 0 501531079 95723520 19273 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 23370 19273 249 17 0 20011 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 102184 [startup+222.301 s] /proc/loadavg: 1.95 1.04 0.41 3/180 10798 /proc/meminfo: memFree=13691136/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=93480 CPUtime=222.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 34413 0 0 0 22210 5 0 0 25 0 1 0 501531079 95723520 20116 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 23370 20116 249 17 0 20011 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 102184 [startup+282.3 s] /proc/loadavg: 1.98 1.21 0.51 3/180 10800 /proc/meminfo: memFree=13688276/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=282.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 67564 0 0 0 28206 9 0 0 25 0 1 0 501531079 115216384 20237 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224477 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 28129 20237 249 17 0 24770 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 121220 [startup+342.3 s] /proc/loadavg: 1.99 1.35 0.60 3/180 10801 /proc/meminfo: memFree=13682920/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=342.15 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 95121 0 0 0 34202 13 0 0 25 0 1 0 501531079 115216384 20237 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10791/statm: 28129 20237 249 17 0 24770 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 121220 [startup+402.3 s] /proc/loadavg: 1.99 1.47 0.68 3/180 10803 /proc/meminfo: memFree=13675328/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 1.90 1.25 3/180 10817 /proc/meminfo: memFree=13592652/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=161836 CPUtime=942.17 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 333864 0 0 0 94167 50 0 0 25 0 1 0 501531079 165720064 31284 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 40459 31284 249 17 0 37100 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 170540 [startup+1002.3 s] /proc/loadavg: 2.00 1.92 1.29 3/180 10819 /proc/meminfo: memFree=13673976/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1002.17 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 350688 0 0 0 100164 53 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 121220 [startup+1062.3 s] /proc/loadavg: 2.00 1.93 1.33 3/180 10821 /proc/meminfo: memFree=13603388/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=161836 CPUtime=1062.17 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 374807 0 0 0 106159 58 0 0 25 0 1 0 501531079 165720064 30242 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 40459 30242 249 17 0 37100 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 170540 [startup+1122.3 s] /proc/loadavg: 2.00 1.94 1.37 3/180 10822 /proc/meminfo: memFree=13577200/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=192656 CPUtime=1122.17 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 392500 0 0 0 112155 62 0 0 25 0 1 0 501531079 197279744 33662 33554432000 4194304 4260849 140735432102320 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 48164 33662 249 17 0 44805 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 201360 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.41 3/180 10824 /proc/meminfo: memFree=13618728/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1182.18 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 408432 0 0 0 118151 67 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 121220 [startup+1242.3 s] /proc/loadavg: 2.00 1.95 1.44 3/180 10825 /proc/meminfo: memFree=13636540/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=161836 CPUtime=1242.18 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 432996 0 0 0 124148 70 0 0 25 0 1 0 501531079 165720064 29976 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 40459 29976 249 17 0 37100 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 170540 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 2.00 1.95 1.45 3/180 10826 /proc/meminfo: memFree=13592132/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=161836 CPUtime=1254.18 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 435074 0 0 0 125348 70 0 0 25 0 1 0 501531079 165720064 32017 33554432000 4194304 4260849 140735432102320 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 40459 32017 249 17 0 37100 0 Current children cumulated CPU time (s) 1254.32 Current children cumulated vsize (KiB) 170540 [startup+1267.1 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13572912/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=192656 CPUtime=1266.98 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 437566 0 0 0 126627 71 0 0 25 0 1 0 501531079 197279744 34472 33554432000 4194304 4260849 140735432102320 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 48164 34472 249 17 0 44805 0 Current children cumulated CPU time (s) 1267.12 Current children cumulated vsize (KiB) 201360 [startup+1270.3 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13569316/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=192656 CPUtime=1270.18 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438223 0 0 0 126947 71 0 0 25 0 1 0 501531079 197279744 35119 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 48164 35119 249 17 0 44805 0 Current children cumulated CPU time (s) 1270.32 Current children cumulated vsize (KiB) 201360 [startup+1273.5 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13624720/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1273.37 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438435 0 0 0 127266 71 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1273.51 Current children cumulated vsize (KiB) 121220 [startup+1275.1 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13622860/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1274.97 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438435 0 0 0 127426 71 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1275.11 Current children cumulated vsize (KiB) 121220 [startup+1275.5 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13622860/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1275.37 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438435 0 0 0 127466 71 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1275.51 Current children cumulated vsize (KiB) 121220 [startup+1275.7 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13622860/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1275.57 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438435 0 0 0 127486 71 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1275.71 Current children cumulated vsize (KiB) 121220 [startup+1275.8 s] /proc/loadavg: 2.00 1.96 1.46 3/180 10826 /proc/meminfo: memFree=13622860/32951124 swapFree=67111528/67111528 [pid=10781] ppid=10779 vsize=8704 CPUtime=0.14 cores=1,3,5,7 /proc/10781/stat : 10781 (glucose.sh) S 10779 10781 10749 0 -1 4202496 360 1399 0 0 0 0 14 0 20 0 1 0 501531064 8912896 255 33554432000 4194304 4922060 140733334696336 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/10781/statm: 2176 255 211 178 0 69 0 [pid=10791] ppid=10781 vsize=112516 CPUtime=1275.67 cores=1,3,5,7 /proc/10791/stat : 10791 (glucose_static) R 10781 10781 10749 0 -1 4202496 438435 0 0 0 127496 71 0 0 25 0 1 0 501531079 115216384 20410 33554432000 4194304 4260849 140735432102320 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10791/statm: 28129 20410 249 17 0 24770 0 Current children cumulated CPU time (s) 1275.81 Current children cumulated vsize (KiB) 121220 Child status: 10 Real time (s): 1275.83 CPU time (s): 1275.86 CPU user time (s): 1275.13 CPU system time (s): 0.726889 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 201360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1275.13 system time used= 0.726889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 440596 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= 42 involuntary context switches= 11528 runsolver used 2.11268 second user time and 4.81027 second system time The end
Begin job on node138 at 2011-04-27 12:15:31 IDJOB=3303339 IDBENCH=71284 IDSOLVER=1687 FILE ID=node138/3303339-1303899331 RUNJOBID= node138-1303899330-10768 PBS_JOBID= 13164510 Free space on /tmp= 71840 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303339-1303899331/watcher-3303339-1303899331 -o /tmp/evaluation-result-3303339-1303899331/solver-3303339-1303899331 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303339-1303899331.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34 RANDOM SEED=580329049 node138.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.854 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.70 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.854 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.854 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.854 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.854 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.80 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 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: 13849716 kB Buffers: 2087324 kB Cached: 16383488 kB SwapCached: 0 kB Active: 10653268 kB Inactive: 7881612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13849716 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1976 kB Writeback: 0 kB AnonPages: 63320 kB Mapped: 14324 kB Slab: 502724 kB PageTables: 4524 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185460 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= 71836 MiB End job on node138 at 2011-04-27 12:36:47