| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf |
| MD5SUM | 0c4fc551e2fe598a8074df6204d87f7d |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 254 |
| Number of clauses | 34289 |
| Sum of the clauses size | 152236 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 337 |
| Number of clauses of size 3 | 31448 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2504 |
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.03 c ============================================================================== 0.00/0.03 c | | ORIGINAL | LEARNT | | 0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 0 | 34289 152236 | 10286 0 0 nan | 0.000 % | 0.00/0.03 c ============================================================================== 0.00/0.03 c Result : #vars: 254 #clauses: 34289 #literals: 152236 0.00/0.03 c CPU time: 0.011998 s 0.00/0.03 c ============================================================================== 0.00/0.04 c 0.00/0.04 c Starting glucose 0.00/0.04 c 47.68/47.77 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 47.68/47.77 c WARNING: for repeatability, setting FPU to use double precision 47.68/47.77 c ============================[ Problem Statistics ]============================= 47.68/47.77 c | | 47.68/47.77 c | Number of variables: 254 | 47.68/47.77 c | Number of clauses: 34289 | 47.68/47.77 c | Parse time: 0.01 s | 47.68/47.77 c | | 47.68/47.77 c ============================[ Search Statistics ]============================== 47.68/47.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.68/47.77 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 47.68/47.77 c =============================================================================== 47.68/47.77 c | 1801 | 254 34289 152236 | 1 1801 24 | 0.000 % | 47.68/47.77 c | 1901 | 254 34289 152236 | 1 1901 24 | 0.000 % | 47.68/47.77 c | 48576 | 254 34289 152236 | 1 14422 25 | 0.000 % | 47.68/47.77 c | 77418 | 254 34289 152236 | 1 28849 26 | 0.000 % | 47.68/47.77 c | 80901 | 254 34289 152236 | 1 32332 26 | 0.000 % | 47.68/47.77 c | 81079 | 254 34289 152236 | 1 32510 26 | 0.000 % | 47.68/47.77 c | 82151 | 254 34289 152236 | 1 33582 26 | 0.000 % | 47.68/47.77 c | 83764 | 254 34289 152236 | 1 18185 24 | 0.000 % | 47.68/47.77 c | 98278 | 254 34289 152236 | 1 32699 27 | 0.000 % | 47.68/47.77 c | 107150 | 254 34289 152236 | 1 21969 24 | 0.000 % | 47.68/47.77 c | 166566 | 254 34289 152236 | 1 34382 23 | 0.000 % | 47.68/47.77 c | 188547 | 254 34289 152236 | 1 28963 22 | 0.000 % | 47.68/47.77 c | 188650 | 254 34289 152236 | 1 29066 23 | 0.000 % | 47.68/47.77 c | 241175 | 254 34289 152236 | 1 51591 24 | 0.000 % | 47.68/47.77 c | 247462 | 254 34289 152236 | 1 57878 25 | 0.000 % | 47.68/47.77 c | 320048 | 254 34289 152236 | 1 62669 23 | 0.000 % | 47.68/47.77 c | 356407 | 254 34289 152236 | 1 61233 23 | 0.000 % | 47.68/47.77 c | 356901 | 254 34289 152236 | 1 61727 23 | 0.000 % | 47.68/47.77 c | 401166 | 254 34289 152236 | 1 65583 23 | 0.000 % | 47.68/47.77 c | 555019 | 254 34289 152236 | 1 82633 22 | 0.000 % | 47.68/47.77 c | 561059 | 254 34289 152236 | 1 88673 22 | 0.000 % | 47.68/47.77 c | 591257 | 254 34289 152236 | 1 68066 21 | 0.000 % | 47.68/47.77 c | 591358 | 254 34289 152236 | 1 68167 21 | 0.000 % | 47.68/47.77 c | 599455 | 254 34289 152236 | 1 76264 21 | 0.000 % | 47.68/47.77 c | 600647 | 254 34289 152236 | 1 77456 22 | 0.000 % | 47.68/47.77 c | 600885 | 254 34289 152236 | 1 77694 22 | 0.000 % | 47.68/47.77 c | 637895 | 254 34289 152236 | 1 61306 20 | 0.000 % | 47.68/47.77 c | 637996 | 254 34289 152236 | 1 61407 20 | 0.000 % | 47.68/47.77 c | 639062 | 254 34289 152236 | 1 62473 20 | 0.000 % | 47.68/47.77 c | 658765 | 254 34289 152236 | 1 82176 21 | 0.000 % | 47.68/47.77 c | 682804 | 254 34289 152236 | 1 106215 22 | 0.000 % | 47.68/47.77 c | 691655 | 254 34289 152236 | 1 59065 20 | 0.000 % | 47.68/47.77 c | 694017 | 254 34289 152236 | 1 61427 20 | 0.000 % | 47.68/47.77 c | 694180 | 254 34289 152236 | 1 61590 20 | 0.000 % | 47.68/47.77 c | 704370 | 254 34289 152236 | 1 71780 21 | 0.000 % | 47.68/47.77 c | 708932 | 254 34289 152236 | 1 76342 22 | 0.000 % | 47.68/47.77 c | 712210 | 254 34289 152236 | 1 79620 22 | 0.000 % | 47.68/47.77 c | 712310 | 254 34289 152236 | 1 79720 22 | 0.000 % | 47.68/47.77 c | 712412 | 254 34289 152236 | 1 79822 22 | 0.000 % | 114.28/114.36 c | 713274 | 254 34289 152236 | 1 80684 22 | 0.000 % | 114.28/114.36 c | 740370 | 254 34289 152236 | 1 107780 23 | 0.000 % | 114.28/114.36 c | 740470 | 254 34289 152236 | 1 107880 23 | 0.000 % | 114.28/114.36 c | 747469 | 254 34289 152236 | 1 114879 24 | 0.000 % | 114.28/114.36 c | 759279 | 254 34289 152236 | 1 68093 21 | 0.000 % | 114.28/114.36 c | 759380 | 254 34289 152236 | 1 68194 21 | 0.000 % | 114.28/114.36 c | 964099 | 254 34289 152236 | 1 81512 20 | 0.000 % | 114.28/114.36 c | 1009928 | 254 34289 152236 | 1 127341 21 | 0.000 % | 114.28/114.36 c | 1023174 | 254 34289 152236 | 1 71586 19 | 0.000 % | 114.28/114.36 c | 1024451 | 254 34289 152236 | 1 72863 20 | 0.000 % | 114.28/114.36 c | 1024677 | 254 34289 152236 | 1 73089 20 | 0.000 % | 114.28/114.36 c | 1025628 | 254 34289 152236 | 1 74040 20 | 0.000 % | 114.28/114.36 c | 1072218 | 254 34289 152236 | 1 120630 23 | 0.000 % | 114.28/114.36 c | 1114818 | 254 34289 152236 | 1 91634 20 | 0.000 % | 114.28/114.36 c | 1115157 | 254 34289 152236 | 1 91973 20 | 0.000 % | 114.28/114.36 c | 1117239 | 254 34289 152236 | 1 94055 20 | 0.000 % | 114.28/114.36 c | 1118595 | 254 34289 152236 | 1 95411 20 | 0.000 % | 114.28/114.36 c | 1120954 | 254 34289 152236 | 1 97770 20 | 0.000 % | 114.28/114.36 c | 1177548 | 254 34289 152236 | 1 80162 20 | 0.000 % | 114.28/114.36 c | 1177648 | 254 34289 152236 | 1 80262 20 | 0.000 % | 114.28/114.36 c | 1179442 | 254 34289 152236 | 1 82056 20 | 0.000 % | 114.28/114.36 c | 1179543 | 254 34289 152236 | 1 82157 20 | 0.000 % | 114.28/114.36 c | 1179783 | 254 34289 152236 | 1 82397 20 | 0.000 % | 114.28/114.36 c | 1222557 | 254 34289 152236 | 1 125171 22 | 0.000 % | 114.28/114.36 c | 1222657 | 254 34289 152236 | 1 125271 22 | 0.000 % | 114.28/114.36 c | 1327449 | 254 34289 152236 | 1 153263 22 | 0.000 % | 114.28/114.36 c | 1327550 | 254 34289 152236 | 1 153364 22 | 0.000 % | 114.28/114.36 c | 1343073 | 254 34289 152236 | 1 89486 20 | 0.000 % | 114.28/114.36 c | 1343672 | 254 34289 152236 | 1 90085 20 | 0.000 % | 114.28/114.36 c | 1343923 | 254 34289 152236 | 1 90336 20 | 0.000 % | 114.28/114.36 c | 1344256 | 254 34289 152236 | 1 90669 20 | 0.000 % | 114.28/114.36 c | 1344357 | 254 34289 152236 | 1 90770 20 | 0.000 % | 114.28/114.36 c | 1364673 | 254 34289 152236 | 1 111086 21 | 0.000 % | 114.28/114.36 c | 1365426 | 254 34289 152236 | 1 111839 21 | 0.000 % | 114.28/114.36 c | 1367928 | 254 34289 152236 | 1 114341 21 | 0.000 % | 114.28/114.36 c | 1368028 | 254 34289 152236 | 1 114441 21 | 0.000 % | 114.28/114.36 c | 1368209 | 254 34289 152236 | 1 114622 21 | 0.000 % | 114.28/114.36 c | 1370089 | 254 34289 152236 | 1 116502 21 | 0.000 % | 114.28/114.36 c | 1392809 | 254 34289 152236 | 1 139222 22 | 0.000 % | 114.28/114.36 c | 1393336 | 254 34289 152236 | 1 139749 22 | 0.000 % | 114.28/114.36 c | 1397265 | 254 34289 152236 | 1 143678 22 | 0.000 % | 114.28/114.36 c | 1460919 | 254 34289 152236 | 1 125328 21 | 0.000 % | 114.28/114.36 c | 1461020 | 254 34289 152236 | 1 125429 21 | 0.000 % | 114.28/114.36 c | 1461543 | 254 34289 152236 | 1 125952 21 | 0.000 % | 114.28/114.36 c | 1461643 | 254 34289 152236 | 1 126052 21 | 0.000 % | 114.28/114.36 c | 1469605 | 254 34289 152236 | 1 134014 21 | 0.000 % | 114.28/114.36 c | 1469705 | 254 34289 152236 | 1 134114 21 | 0.000 % | 114.28/114.36 c | 1469806 | 254 34289 152236 | 1 134215 21 | 0.000 % | 114.28/114.36 c | 1473358 | 254 34289 152236 | 1 137767 21 | 0.000 % | 114.28/114.36 c | 1496307 | 254 34289 152236 | 1 160716 22 | 0.000 % | 156.19/156.25 c | 1496409 | 254 34289 152236 | 1 160818 22 | 0.000 % | 156.19/156.25 c | 1498926 | 254 34289 152236 | 1 163335 22 | 0.000 % | 156.19/156.25 c | 1499494 | 254 34289 152236 | 1 163903 22 | 0.000 % | 156.19/156.25 c | 1507839 | 254 34289 152236 | 1 87650 19 | 0.000 % | 156.19/156.25 c | 1507940 | 254 34289 152236 | 1 87751 19 | 0.000 % | 156.19/156.25 c | 1521980 | 254 34289 152236 | 1 101791 20 | 0.000 % | 156.19/156.25 c | 1542947 | 254 34289 152236 | 1 122758 21 | 0.000 % | 156.19/156.25 c | 1543049 | 254 34289 152236 | 1 122860 21 | 0.000 % | 156.19/156.25 c | 1544682 | 254 34289 152236 | 1 124493 21 | 0.000 % | 156.19/156.25 c | 1579417 | 254 34289 152236 | 1 159228 22 | 0.000 % | 156.19/156.25 c | 1581782 | 254 34289 152236 | 1 161593 22 | 0.000 % | 156.19/156.25 c | 1581886 | 254 34289 152236 | 1 161697 22 | 0.000 % | 156.19/156.25 c | 1585471 | 254 34289 152236 | 1 165282 22 | 0.000 % | 156.19/156.25 c | 1616850 | 254 34289 152236 | 1 109461 20 | 0.000 % | 156.19/156.25 c | 1617370 | 254 34289 152236 | 1 109981 20 | 0.000 % | 156.19/156.25 c | 1619272 | 254 34289 152236 | 1 111883 20 | 0.000 % | 156.19/156.25 c | 1620102 | 254 34289 152236 | 1 112713 20 | 0.000 % | 156.19/156.25 c | 1621640 | 254 34289 152236 | 1 114251 20 | 0.000 % | 156.19/156.25 c | 1623712 | 254 34289 152236 | 1 116323 20 | 0.000 % | 156.19/156.25 c | 1629638 | 254 34289 152236 | 1 122249 21 | 0.000 % | 156.19/156.25 c | 1641676 | 254 34289 152236 | 1 134287 21 | 0.000 % | 156.19/156.25 c | 1641905 | 254 34289 152236 | 1 134516 21 | 0.000 % | 156.19/156.25 c | 1642517 | 254 34289 152236 | 1 135128 21 | 0.000 % | 156.19/156.25 c | 1643442 | 254 34289 152236 | 1 136053 21 | 0.000 % | 156.19/156.25 c | 1643542 | 254 34289 152236 | 1 136153 21 | 0.000 % | 156.19/156.25 c | 1643642 | 254 34289 152236 | 1 136253 21 | 0.000 % | 156.19/156.25 c | 1648140 | 254 34289 152236 | 1 140751 21 | 0.000 % | 156.19/156.25 c | 1654927 | 254 34289 152236 | 1 147538 21 | 0.000 % | 156.19/156.25 c | 1659186 | 254 34289 152236 | 1 151797 22 | 0.000 % | 156.19/156.25 c | 1726500 | 254 34289 152236 | 1 129317 21 | 0.000 % | 156.19/156.25 c | 1726790 | 254 34289 152236 | 1 129607 21 | 0.000 % | 156.19/156.25 c | 1726891 | 254 34289 152236 | 1 129708 21 | 0.000 % | 156.19/156.25 c | 1742099 | 254 34289 152236 | 1 144916 22 | 0.000 % | 156.19/156.25 c | 1747410 | 254 34289 152236 | 1 150227 22 | 0.000 % | 156.19/156.25 c | 1757110 | 254 34289 152236 | 1 159927 23 | 0.000 % | 156.19/156.25 c | 1761077 | 254 34289 152236 | 1 163894 23 | 0.000 % | 156.19/156.25 c | 1761195 | 254 34289 152236 | 1 164012 23 | 0.000 % | 156.19/156.25 c | 1761296 | 254 34289 152236 | 1 164113 23 | 0.000 % | 156.19/156.25 c | 1762671 | 254 34289 152236 | 1 165488 23 | 0.000 % | 156.19/156.25 c | 1813309 | 254 34289 152236 | 1 123719 21 | 0.000 % | 156.19/156.25 c | 1842390 | 254 34289 152236 | 1 152800 21 | 0.000 % | 156.19/156.25 c | 1853001 | 254 34289 152236 | 1 163411 22 | 0.000 % | 156.19/156.25 c | 1856576 | 254 34289 152236 | 1 166986 22 | 0.000 % | 156.19/156.25 c | 1857128 | 254 34289 152236 | 1 167538 22 | 0.000 % | 156.19/156.25 c | 1857230 | 254 34289 152236 | 1 167640 22 | 0.000 % | 156.19/156.25 c | 1871418 | 254 34289 152236 | 1 181828 22 | 0.000 % | 156.19/156.25 c | 1871518 | 254 34289 152236 | 1 181928 22 | 0.000 % | 156.19/156.25 c | 1871619 | 254 34289 152236 | 1 182029 22 | 0.000 % | 156.19/156.25 c | 1890426 | 254 34289 152236 | 1 105848 19 | 0.000 % | 156.19/156.25 c | 1958766 | 254 34289 152236 | 1 174188 21 | 0.000 % | 204.88/204.90 c | 1963291 | 254 34289 152236 | 1 178713 21 | 0.000 % | 204.88/204.90 c | 2022239 | 254 34289 152236 | 1 140066 20 | 0.000 % | 204.88/204.90 c | 2030267 | 254 34289 152236 | 1 148094 20 | 0.000 % | 204.88/204.90 c | 2053674 | 254 34289 152236 | 1 171501 21 | 0.000 % | 204.88/204.90 c | 2053774 | 254 34289 152236 | 1 171601 21 | 0.000 % | 204.88/204.90 c | 2053876 | 254 34289 152236 | 1 171703 21 | 0.000 % | 204.88/204.90 c | 2056050 | 254 34289 152236 | 1 173877 21 | 0.000 % | 204.88/204.90 c | 2056150 | 254 34289 152236 | 1 173977 21 | 0.000 % | 204.88/204.90 c | 2056650 | 254 34289 152236 | 1 174477 21 | 0.000 % | 204.88/204.90 c | 2094550 | 254 34289 152236 | 1 112175 19 | 0.000 % | 204.88/204.90 c | 2126452 | 254 34289 152236 | 1 144077 21 | 0.000 % | 204.88/204.90 c | 2131731 | 254 34289 152236 | 1 149356 21 | 0.000 % | 204.88/204.90 c | 2185397 | 254 34289 152236 | 1 203022 22 | 0.000 % | 204.88/204.90 c | 2185497 | 254 34289 152236 | 1 203122 22 | 0.000 % | 204.88/204.90 c | 2185598 | 254 34289 152236 | 1 203223 22 | 0.000 % | 204.88/204.90 c | 2188762 | 254 34289 152236 | 1 103581 19 | 0.000 % | 204.88/204.90 c | 2189126 | 254 34289 152236 | 1 103945 19 | 0.000 % | 204.88/204.90 c | 2215547 | 254 34289 152236 | 1 130366 20 | 0.000 % | 204.88/204.90 c | 2218958 | 254 34289 152236 | 1 133777 20 | 0.000 % | 204.88/204.90 c | 2229362 | 254 34289 152236 | 1 144181 20 | 0.000 % | 204.88/204.90 c | 2229587 | 254 34289 152236 | 1 144406 20 | 0.000 % | 204.88/204.90 c | 2250422 | 254 34289 152236 | 1 165241 21 | 0.000 % | 204.88/204.90 c | 2250523 | 254 34289 152236 | 1 165342 21 | 0.000 % | 204.88/204.90 c | 2251089 | 254 34289 152236 | 1 165908 21 | 0.000 % | 204.88/204.90 c | 2252841 | 254 34289 152236 | 1 167660 21 | 0.000 % | 204.88/204.90 c | 2263561 | 254 34289 152236 | 1 178380 21 | 0.000 % | 204.88/204.90 c | 2264085 | 254 34289 152236 | 1 178904 21 | 0.000 % | 204.88/204.90 c | 2264406 | 254 34289 152236 | 1 179225 21 | 0.000 % | 204.88/204.90 c | 2264714 | 254 34289 152236 | 1 179533 21 | 0.000 % | 204.88/204.90 c | 2265153 | 254 34289 152236 | 1 179972 21 | 0.000 % | 204.88/204.90 c | 2284380 | 254 34289 152236 | 1 199199 21 | 0.000 % | 204.88/204.90 c | 2284867 | 254 34289 152236 | 1 199686 21 | 0.000 % | 204.88/204.90 c | 2295038 | 254 34289 152236 | 1 209857 22 | 0.000 % | 204.88/204.90 c | 2295139 | 254 34289 152236 | 1 209958 22 | 0.000 % | 204.88/204.90 c | 2305548 | 254 34289 152236 | 1 114961 19 | 0.000 % | 204.88/204.90 c | 2312049 | 254 34289 152236 | 1 121462 19 | 0.000 % | 204.88/204.90 c | 2313196 | 254 34289 152236 | 1 122609 19 | 0.000 % | 204.88/204.90 c | 2387463 | 254 34289 152236 | 1 196876 21 | 0.000 % | 204.88/204.90 c | 2388867 | 254 34289 152236 | 1 198280 21 | 0.000 % | 204.88/204.90 c | 2388968 | 254 34289 152236 | 1 198381 21 | 0.000 % | 204.88/204.90 c | 2396617 | 254 34289 152236 | 1 206030 21 | 0.000 % | 204.88/204.90 c | 2418181 | 254 34289 152236 | 1 119594 19 | 0.000 % | 204.88/204.90 c | 2418281 | 254 34289 152236 | 1 119694 19 | 0.000 % | 204.88/204.90 c | 2418597 | 254 34289 152236 | 1 120010 19 | 0.000 % | 204.88/204.90 c | 2431770 | 254 34289 152236 | 1 133183 20 | 0.000 % | 204.88/204.90 c | 2431977 | 254 34289 152236 | 1 133390 20 | 0.000 % | 204.88/204.90 c | 2435112 | 254 34289 152236 | 1 136525 20 | 0.000 % | 204.88/204.90 c | 2443225 | 254 34289 152236 | 1 144638 20 | 0.000 % | 204.88/204.90 c | 2453249 | 254 34289 152236 | 1 154662 20 | 0.000 % | 204.88/204.90 c | 2453350 | 254 34289 152236 | 1 154763 20 | 0.000 % | 245.29/245.39 c | 2454619 | 254 34289 152236 | 1 156032 21 | 0.000 % | 245.29/245.39 c | 2456054 | 254 34289 152236 | 1 157467 21 | 0.000 % | 245.29/245.39 c | 2456517 | 254 34289 152236 | 1 157930 21 | 0.000 % | 245.29/245.39 c | 2464949 | 254 34289 152236 | 1 166362 21 | 0.000 % | 245.29/245.39 c | 2465881 | 254 34289 152236 | 1 167294 21 | 0.000 % | 245.29/245.39 c | 2471387 | 254 34289 152236 | 1 172800 21 | 0.000 % | 245.29/245.39 c | 2500976 | 254 34289 152236 | 1 202389 21 | 0.000 % | 245.29/245.39 c | 2504863 | 254 34289 152236 | 1 206276 22 | 0.000 % | 245.29/245.39 c | 2510744 | 254 34289 152236 | 1 212157 22 | 0.000 % | 245.29/245.39 c | 2510874 | 254 34289 152236 | 1 212287 22 | 0.000 % | 245.29/245.39 c | 2511040 | 254 34289 152236 | 1 212453 22 | 0.000 % | 245.29/245.39 c | 2585967 | 254 34289 152236 | 1 176788 20 | 0.000 % | 245.29/245.39 c | 2588301 | 254 34289 152236 | 1 179122 21 | 0.000 % | 245.29/245.39 c | 2588402 | 254 34289 152236 | 1 179223 21 | 0.000 % | 245.29/245.39 c | 2596202 | 254 34289 152236 | 1 187023 21 | 0.000 % | 245.29/245.39 c | 2600696 | 254 34289 152236 | 1 191517 21 | 0.000 % | 245.29/245.39 c | 2605639 | 254 34289 152236 | 1 196460 21 | 0.000 % | 245.29/245.39 c | 2615303 | 254 34289 152236 | 1 206124 21 | 0.000 % | 245.29/245.39 c | 2619550 | 254 34289 152236 | 1 210371 21 | 0.000 % | 245.29/245.39 c | 2620789 | 254 34289 152236 | 1 211610 21 | 0.000 % | 245.29/245.39 c | 2621515 | 254 34289 152236 | 1 212336 21 | 0.000 % | 245.29/245.39 c | 2625462 | 254 34289 152236 | 1 216283 21 | 0.000 % | 245.29/245.39 c | 2625565 | 254 34289 152236 | 1 216386 21 | 0.000 % | 245.29/245.39 c | 2629590 | 254 34289 152236 | 1 220411 22 | 0.000 % | 245.29/245.39 c | 2634860 | 254 34289 152236 | 1 225681 22 | 0.000 % | 245.29/245.39 c | 2635437 | 254 34289 152236 | 1 226258 22 | 0.000 % | 245.29/245.39 c | 2635696 | 254 34289 152236 | 1 113308 18 | 0.000 % | 245.29/245.39 c | 2639445 | 254 34289 152236 | 1 117057 19 | 0.000 % | 245.29/245.39 c | 2642581 | 254 34289 152236 | 1 120193 19 | 0.000 % | 245.29/245.39 c | 2651671 | 254 34289 152236 | 1 129283 19 | 0.000 % | 245.29/245.39 c | 2651772 | 254 34289 152236 | 1 129384 19 | 0.000 % | 245.29/245.39 c | 2679561 | 254 34289 152236 | 1 157173 20 | 0.000 % | 245.29/245.39 c | 2680449 | 254 34289 152236 | 1 158061 20 | 0.000 % | 245.29/245.39 c | 2680549 | 254 34289 152236 | 1 158161 20 | 0.000 % | 245.29/245.39 c | 2690365 | 254 34289 152236 | 1 167977 21 | 0.000 % | 245.29/245.39 c | 2705963 | 254 34289 152236 | 1 183575 21 | 0.000 % | 245.29/245.39 c | 2706077 | 254 34289 152236 | 1 183689 21 | 0.000 % | 245.29/245.39 c | 2826248 | 254 34289 152236 | 1 188063 20 | 0.000 % | 245.29/245.39 c | 2826348 | 254 34289 152236 | 1 188163 20 | 0.000 % | 245.29/245.39 c | 2826616 | 254 34289 152236 | 1 188431 20 | 0.000 % | 245.29/245.39 c | 2831044 | 254 34289 152236 | 1 192859 20 | 0.000 % | 245.29/245.39 c | 2831960 | 254 34289 152236 | 1 193775 20 | 0.000 % | 245.29/245.39 c | 2832060 | 254 34289 152236 | 1 193875 20 | 0.000 % | 245.29/245.39 c | 2832419 | 254 34289 152236 | 1 194234 20 | 0.000 % | 245.29/245.39 c | 2832521 | 254 34289 152236 | 1 194336 20 | 0.000 % | 245.29/245.39 c | 2832670 | 254 34289 152236 | 1 194485 20 | 0.000 % | 245.29/245.39 c | 2832945 | 254 34289 152236 | 1 194760 20 | 0.000 % | 245.29/245.39 c | 2834276 | 254 34289 152236 | 1 196091 20 | 0.000 % | 245.29/245.39 c | 2841449 | 254 34289 152236 | 1 203264 21 | 0.000 % | 245.29/245.39 c | 2841549 | 254 34289 152236 | 1 203364 21 | 0.000 % | 280.49/280.51 c | 2841649 | 254 34289 152236 | 1 203464 21 | 0.000 % | 280.49/280.51 c | 2850346 | 254 34289 152236 | 1 212161 21 | 0.000 % | 280.49/280.51 c | 2894976 | 254 34289 152236 | 1 138392 19 | 0.000 % | 280.49/280.51 c | 2897160 | 254 34289 152236 | 1 140576 19 | 0.000 % | 280.49/280.51 c | 2897260 | 254 34289 152236 | 1 140676 19 | 0.000 % | 280.49/280.51 c | 2908726 | 254 34289 152236 | 1 152142 19 | 0.000 % | 280.49/280.51 c | 2908946 | 254 34289 152236 | 1 152362 19 | 0.000 % | 280.49/280.51 c | 2910309 | 254 34289 152236 | 1 153725 19 | 0.000 % | 280.49/280.51 c | 2921093 | 254 34289 152236 | 1 164509 20 | 0.000 % | 280.49/280.51 c | 2921264 | 254 34289 152236 | 1 164680 20 | 0.000 % | 280.49/280.51 c | 2924676 | 254 34289 152236 | 1 168092 20 | 0.000 % | 280.49/280.51 c | 2927553 | 254 34289 152236 | 1 170969 20 | 0.000 % | 280.49/280.51 c | 2931110 | 254 34289 152236 | 1 174526 20 | 0.000 % | 280.49/280.51 c | 2972237 | 254 34289 152236 | 1 215653 21 | 0.000 % | 280.49/280.51 c | 2982075 | 254 34289 152236 | 1 225491 21 | 0.000 % | 280.49/280.51 c | 2988935 | 254 34289 152236 | 1 232351 21 | 0.000 % | 280.49/280.51 c | 2995522 | 254 34289 152236 | 1 238938 21 | 0.000 % | 280.49/280.51 c | 3001789 | 254 34289 152236 | 1 124203 18 | 0.000 % | 280.49/280.51 c | 3001895 | 254 34289 152236 | 1 124309 18 | 0.000 % | 280.49/280.51 c | 3016376 | 254 34289 152236 | 1 138790 19 | 0.000 % | 280.49/280.51 c | 3016496 | 254 34289 152236 | 1 138910 19 | 0.000 % | 280.49/280.51 c | 3069398 | 254 34289 152236 | 1 191812 20 | 0.000 % | 280.49/280.51 c | 3078808 | 254 34289 152236 | 1 201222 21 | 0.000 % | 280.49/280.51 c | 3109372 | 254 34289 152236 | 1 231786 21 | 0.000 % | 280.49/280.51 c | 3109472 | 254 34289 152236 | 1 231886 21 | 0.000 % | 280.49/280.51 c | 3144281 | 254 34289 152236 | 1 143099 19 | 0.000 % | 280.49/280.51 c | 3144383 | 254 34289 152236 | 1 143201 19 | 0.000 % | 280.49/280.51 c | 3147884 | 254 34289 152236 | 1 146702 19 | 0.000 % | 280.49/280.51 c | 3148450 | 254 34289 152236 | 1 147268 20 | 0.000 % | 280.49/280.51 c | 3148654 | 254 34289 152236 | 1 147472 20 | 0.000 % | 280.49/280.51 c | 3148864 | 254 34289 152236 | 1 147682 20 | 0.000 % | 280.49/280.51 c | 3148965 | 254 34289 152236 | 1 147783 20 | 0.000 % | 280.49/280.51 c | 3150472 | 254 34289 152236 | 1 149290 20 | 0.000 % | 280.49/280.51 c | 3160261 | 254 34289 152236 | 1 159079 20 | 0.000 % | 280.49/280.51 c | 3167568 | 254 34289 152236 | 1 166386 20 | 0.000 % | 280.49/280.51 c | 3167669 | 254 34289 152236 | 1 166487 20 | 0.000 % | 280.49/280.51 c | 3169485 | 254 34289 152236 | 1 168303 20 | 0.000 % | 280.49/280.51 c | 3169988 | 254 34289 152236 | 1 168806 20 | 0.000 % | 280.49/280.51 c | 3171645 | 254 34289 152236 | 1 170463 20 | 0.000 % | 280.49/280.51 c | 3175575 | 254 34289 152236 | 1 174393 20 | 0.000 % | 280.49/280.51 c | 3175753 | 254 34289 152236 | 1 174571 20 | 0.000 % | 280.49/280.51 c | 3175853 | 254 34289 152236 | 1 174671 20 | 0.000 % | 280.49/280.51 c | 3175953 | 254 34289 152236 | 1 174771 20 | 0.000 % | 280.49/280.51 c | 3176053 | 254 34289 152236 | 1 174871 21 | 0.000 % | 280.49/280.51 c | 3176202 | 254 34289 152236 | 1 175020 21 | 0.000 % | 280.49/280.51 c | 3176302 | 254 34289 152236 | 1 175120 21 | 0.000 % | 280.49/280.51 c | 3178909 | 254 34289 152236 | 1 177727 21 | 0.000 % | 280.49/280.51 c | 3179009 | 254 34289 152236 | 1 177827 21 | 0.000 % | 280.49/280.51 c | 3179111 | 254 34289 152236 | 1 177929 21 | 0.000 % | 280.49/280.51 c | 3184692 | 254 34289 152236 | 1 183510 21 | 0.000 % | 313.19/313.23 c | 3184793 | 254 34289 152236 | 1 183611 21 | 0.000 % | 313.19/313.23 c | 3184893 | 254 34289 152236 | 1 183711 21 | 0.000 % | 313.19/313.23 c | 3221380 | 254 34289 152236 | 1 220198 21 | 0.000 % | 313.19/313.23 c | 3222986 | 254 34289 152236 | 1 221804 21 | 0.000 % | 313.19/313.23 c | 3223091 | 254 34289 152236 | 1 221909 21 | 0.000 % | 313.19/313.23 c | 3223560 | 254 34289 152236 | 1 222378 21 | 0.000 % | 313.19/313.23 c | 3237780 | 254 34289 152236 | 1 236598 22 | 0.000 % | 313.19/313.23 c | 3248862 | 254 34289 152236 | 1 247680 22 | 0.000 % | 313.19/313.23 c | 3249468 | 254 34289 152236 | 1 248286 22 | 0.000 % | 313.19/313.23 c | 3249569 | 254 34289 152236 | 1 248387 22 | 0.000 % | 313.19/313.23 c | 3253993 | 254 34289 152236 | 1 126608 18 | 0.000 % | 313.19/313.23 c | 3255280 | 254 34289 152236 | 1 127895 18 | 0.000 % | 313.19/313.23 c | 3255382 | 254 34289 152236 | 1 127997 18 | 0.000 % | 313.19/313.23 c | 3256102 | 254 34289 152236 | 1 128717 18 | 0.000 % | 313.19/313.23 c | 3280570 | 254 34289 152236 | 1 153185 19 | 0.000 % | 313.19/313.23 c | 3282706 | 254 34289 152236 | 1 155321 19 | 0.000 % | 313.19/313.23 c | 3285441 | 254 34289 152236 | 1 158056 20 | 0.000 % | 313.19/313.23 c | 3285541 | 254 34289 152236 | 1 158156 20 | 0.000 % | 313.19/313.23 c | 3297392 | 254 34289 152236 | 1 170007 20 | 0.000 % | 313.19/313.23 c | 3300775 | 254 34289 152236 | 1 173390 20 | 0.000 % | 313.19/313.23 c | 3302583 | 254 34289 152236 | 1 175198 20 | 0.000 % | 313.19/313.23 c | 3302684 | 254 34289 152236 | 1 175299 20 | 0.000 % | 313.19/313.23 c | 3302919 | 254 34289 152236 | 1 175534 20 | 0.000 % | 313.19/313.23 c | 3318807 | 254 34289 152236 | 1 191422 21 | 0.000 % | 313.19/313.23 c | 3321174 | 254 34289 152236 | 1 193789 21 | 0.000 % | 313.19/313.23 c | 3324663 | 254 34289 152236 | 1 197278 21 | 0.000 % | 313.19/313.23 c | 3326437 | 254 34289 152236 | 1 199052 21 | 0.000 % | 313.19/313.23 c | 3326610 | 254 34289 152236 | 1 199225 21 | 0.000 % | 313.19/313.23 c | 3326711 | 254 34289 152236 | 1 199326 21 | 0.000 % | 313.19/313.23 c | 3333449 | 254 34289 152236 | 1 206064 21 | 0.000 % | 313.19/313.23 c | 3334554 | 254 34289 152236 | 1 207169 21 | 0.000 % | 313.19/313.23 c | 3334660 | 254 34289 152236 | 1 207275 21 | 0.000 % | 313.19/313.23 c | 3336270 | 254 34289 152236 | 1 208885 21 | 0.000 % | 313.19/313.23 c | 3352042 | 254 34289 152236 | 1 224657 22 | 0.000 % | 313.19/313.23 c | 3370087 | 254 34289 152236 | 1 242702 22 | 0.000 % | 313.19/313.23 c | 3371417 | 254 34289 152236 | 1 244032 22 | 0.000 % | 313.19/313.23 c | 3372158 | 254 34289 152236 | 1 244773 22 | 0.000 % | 313.19/313.23 c | 3401933 | 254 34289 152236 | 1 145743 19 | 0.000 % | 313.19/313.23 c | 3402037 | 254 34289 152236 | 1 145847 19 | 0.000 % | 313.19/313.23 c | 3402138 | 254 34289 152236 | 1 145948 19 | 0.000 % | 313.19/313.23 c | 3412473 | 254 34289 152236 | 1 156283 19 | 0.000 % | 313.19/313.23 c | 3412574 | 254 34289 152236 | 1 156384 19 | 0.000 % | 313.19/313.23 c | 3415162 | 254 34289 152236 | 1 158972 20 | 0.000 % | 313.19/313.23 c | 3416548 | 254 34289 152236 | 1 160358 20 | 0.000 % | 313.19/313.23 c | 3420742 | 254 34289 152236 | 1 164552 20 | 0.000 % | 313.19/313.23 c | 3449490 | 254 34289 152236 | 1 193300 21 | 0.000 % | 313.19/313.23 c | 3472836 | 254 34289 152236 | 1 216646 21 | 0.000 % | 313.19/313.23 c | 3480741 | 254 34289 152236 | 1 224551 21 | 0.000 % | 313.19/313.23 c | 3489874 | 254 34289 152236 | 1 233684 22 | 0.000 % | 392.59/392.61 c | 3494397 | 254 34289 152236 | 1 238207 22 | 0.000 % | 392.59/392.61 c | 3517424 | 254 34289 152236 | 1 261234 22 | 0.000 % | 392.59/392.61 c | 3519734 | 254 34289 152236 | 1 132146 18 | 0.000 % | 392.59/392.61 c | 3520998 | 254 34289 152236 | 1 133410 18 | 0.000 % | 392.59/392.61 c | 3525462 | 254 34289 152236 | 1 137874 19 | 0.000 % | 392.59/392.61 c | 3587626 | 254 34289 152236 | 1 200038 21 | 0.000 % | 392.59/392.61 c | 3590353 | 254 34289 152236 | 1 202765 21 | 0.000 % | 392.59/392.61 c | 3590453 | 254 34289 152236 | 1 202865 21 | 0.000 % | 392.59/392.61 c | 3590948 | 254 34289 152236 | 1 203360 21 | 0.000 % | 392.59/392.61 c | 3592846 | 254 34289 152236 | 1 205258 21 | 0.000 % | 392.59/392.61 c | 3593889 | 254 34289 152236 | 1 206301 21 | 0.000 % | 392.59/392.61 c | 3596861 | 254 34289 152236 | 1 209273 21 | 0.000 % | 392.59/392.61 c | 3617012 | 254 34289 152236 | 1 229424 21 | 0.000 % | 392.59/392.61 c | 3617979 | 254 34289 152236 | 1 230391 21 | 0.000 % | 392.59/392.61 c | 3622480 | 254 34289 152236 | 1 234892 22 | 0.000 % | 392.59/392.61 c | 3623951 | 254 34289 152236 | 1 236363 22 | 0.000 % | 392.59/392.61 c | 3630632 | 254 34289 152236 | 1 243044 22 | 0.000 % | 392.59/392.61 c | 3656359 | 254 34289 152236 | 1 134775 18 | 0.000 % | 392.59/392.61 c | 3662231 | 254 34289 152236 | 1 140647 19 | 0.000 % | 392.59/392.61 c | 3665024 | 254 34289 152236 | 1 143440 19 | 0.000 % | 392.59/392.61 c | 3673660 | 254 34289 152236 | 1 152076 19 | 0.000 % | 392.59/392.61 c | 3676272 | 254 34289 152236 | 1 154688 19 | 0.000 % | 392.59/392.61 c | 3711776 | 254 34289 152236 | 1 190192 20 | 0.000 % | 392.59/392.61 c | 3712393 | 254 34289 152236 | 1 190809 20 | 0.000 % | 392.59/392.61 c | 3762709 | 254 34289 152236 | 1 241125 21 | 0.000 % | 392.59/392.61 c | 3783649 | 254 34289 152236 | 1 262065 22 | 0.000 % | 392.59/392.61 c | 3789622 | 254 34289 152236 | 1 268038 22 | 0.000 % | 392.59/392.61 c | 3791286 | 254 34289 152236 | 1 269702 22 | 0.000 % | 392.59/392.61 c | 3792702 | 254 34289 152236 | 1 271118 22 | 0.000 % | 392.59/392.61 c | 3795605 | 254 34289 152236 | 1 137421 18 | 0.000 % | 392.59/392.61 c | 3797731 | 254 34289 152236 | 1 139547 18 | 0.000 % | 392.59/392.61 c | 3804557 | 254 34289 152236 | 1 146373 19 | 0.000 % | 392.59/392.61 c | 3873184 | 254 34289 152236 | 1 215000 21 | 0.000 % | 392.59/392.61 c | 3923661 | 254 34289 152236 | 1 265477 21 | 0.000 % | 392.59/392.61 c | 3925607 | 254 34289 152236 | 1 267423 21 | 0.000 % | 392.59/392.61 c | 3930580 | 254 34289 152236 | 1 272396 21 | 0.000 % | 392.59/392.61 c | 3944810 | 254 34289 152236 | 1 147427 18 | 0.000 % | 392.59/392.61 c | 3945779 | 254 34289 152236 | 1 148396 18 | 0.000 % | 392.59/392.61 c | 4012742 | 254 34289 152236 | 1 215359 20 | 0.000 % | 392.59/392.61 c | 4023357 | 254 34289 152236 | 1 225974 20 | 0.000 % | 392.59/392.61 c | 4023754 | 254 34289 152236 | 1 226371 20 | 0.000 % | 392.59/392.61 c | 4046041 | 254 34289 152236 | 1 248658 21 | 0.000 % | 392.59/392.61 c | 4057770 | 254 34289 152236 | 1 260387 21 | 0.000 % | 392.59/392.61 c | 4122591 | 254 34289 152236 | 1 183403 20 | 0.000 % | 392.59/392.61 c | 4135479 | 254 34289 152236 | 1 196291 20 | 0.000 % | 392.59/392.61 c | 4139027 | 254 34289 152236 | 1 199839 20 | 0.000 % | 392.59/392.61 c | 4175054 | 254 34289 152236 | 1 235866 21 | 0.000 % | 392.59/392.61 c | 4189737 | 254 34289 152236 | 1 250549 21 | 0.000 % | 392.59/392.61 c | 4189922 | 254 34289 152236 | 1 250734 21 | 0.000 % | 392.59/392.61 c | 4191926 | 254 34289 152236 | 1 252738 21 | 0.000 % | 470.69/470.71 c | 4210654 | 254 34289 152236 | 1 271466 21 | 0.000 % | 470.69/470.71 c | 4210830 | 254 34289 152236 | 1 271642 21 | 0.000 % | 470.69/470.71 c | 4212940 | 254 34289 152236 | 1 273752 21 | 0.000 % | 470.69/470.71 c | 4230460 | 254 34289 152236 | 1 146874 18 | 0.000 % | 470.69/470.71 c | 4276415 | 254 34289 152236 | 1 192829 19 | 0.000 % | 470.69/470.71 c | 4328378 | 254 34289 152236 | 1 244792 21 | 0.000 % | 470.69/470.71 c | 4336187 | 254 34289 152236 | 1 252601 21 | 0.000 % | 470.69/470.71 c | 4368457 | 254 34289 152236 | 1 284871 21 | 0.000 % | 470.69/470.71 c | 4386619 | 254 34289 152236 | 1 156037 18 | 0.000 % | 470.69/470.71 c | 4387273 | 254 34289 152236 | 1 156691 18 | 0.000 % | 470.69/470.71 c | 4387374 | 254 34289 152236 | 1 156792 18 | 0.000 % | 470.69/470.71 c | 4390734 | 254 34289 152236 | 1 160152 19 | 0.000 % | 470.69/470.71 c | 4393432 | 254 34289 152236 | 1 162850 19 | 0.000 % | 470.69/470.71 c | 4393867 | 254 34289 152236 | 1 163285 19 | 0.000 % | 470.69/470.71 c | 4397754 | 254 34289 152236 | 1 167172 19 | 0.000 % | 470.69/470.71 c | 4397854 | 254 34289 152236 | 1 167272 19 | 0.000 % | 470.69/470.71 c | 4417199 | 254 34289 152236 | 1 186617 19 | 0.000 % | 470.69/470.71 c | 4428394 | 254 34289 152236 | 1 197812 20 | 0.000 % | 470.69/470.71 c | 4446521 | 254 34289 152236 | 1 215939 20 | 0.000 % | 470.69/470.71 c | 4456668 | 254 34289 152236 | 1 226086 20 | 0.000 % | 470.69/470.71 c | 4458770 | 254 34289 152236 | 1 228188 20 | 0.000 % | 470.69/470.71 c | 4458870 | 254 34289 152236 | 1 228288 20 | 0.000 % | 470.69/470.71 c | 4458971 | 254 34289 152236 | 1 228389 20 | 0.000 % | 470.69/470.71 c | 4495449 | 254 34289 152236 | 1 264867 21 | 0.000 % | 470.69/470.71 c | 4495550 | 254 34289 152236 | 1 264968 21 | 0.000 % | 470.69/470.71 c | 4505016 | 254 34289 152236 | 1 274434 21 | 0.000 % | 470.69/470.71 c | 4507479 | 254 34289 152236 | 1 276897 21 | 0.000 % | 470.69/470.71 c | 4521215 | 254 34289 152236 | 1 290633 21 | 0.000 % | 470.69/470.71 c | 4521316 | 254 34289 152236 | 1 290734 21 | 0.000 % | 470.69/470.71 c | 4521416 | 254 34289 152236 | 1 290834 21 | 0.000 % | 470.69/470.71 c | 4547874 | 254 34289 152236 | 1 167691 18 | 0.000 % | 470.69/470.71 c | 4549369 | 254 34289 152236 | 1 169186 18 | 0.000 % | 470.69/470.71 c | 4549470 | 254 34289 152236 | 1 169287 18 | 0.000 % | 470.69/470.71 c | 4549571 | 254 34289 152236 | 1 169388 18 | 0.000 % | 470.69/470.71 c | 4578489 | 254 34289 152236 | 1 198306 19 | 0.000 % | 470.69/470.71 c | 4578589 | 254 34289 152236 | 1 198406 19 | 0.000 % | 470.69/470.71 c | 4607529 | 254 34289 152236 | 1 227346 20 | 0.000 % | 470.69/470.71 c | 4607684 | 254 34289 152236 | 1 227501 20 | 0.000 % | 470.69/470.71 c | 4625450 | 254 34289 152236 | 1 245267 21 | 0.000 % | 470.69/470.71 c | 4635073 | 254 34289 152236 | 1 254890 21 | 0.000 % | 470.69/470.71 c | 4643229 | 254 34289 152236 | 1 263046 21 | 0.000 % | 470.69/470.71 c | 4648276 | 254 34289 152236 | 1 268093 21 | 0.000 % | 470.69/470.71 c | 4648376 | 254 34289 152236 | 1 268193 21 | 0.000 % | 470.69/470.71 c | 4649356 | 254 34289 152236 | 1 269173 21 | 0.000 % | 470.69/470.71 c | 4649458 | 254 34289 152236 | 1 269275 21 | 0.000 % | 470.69/470.71 c | 4683174 | 254 34289 152236 | 1 302991 21 | 0.000 % | 470.69/470.71 c | 4689723 | 254 34289 152236 | 1 157336 18 | 0.000 % | 470.69/470.71 c | 4770005 | 254 34289 152236 | 1 237618 19 | 0.000 % | 470.69/470.71 c | 4810106 | 254 34289 152236 | 1 277719 20 | 0.000 % | 470.69/470.71 c | 4833905 | 254 34289 152236 | 1 301518 20 | 0.000 % | 531.29/531.35 c | 4835027 | 254 34289 152236 | 1 302640 20 | 0.000 % | 531.29/531.35 c | 4850320 | 254 34289 152236 | 1 163138 18 | 0.000 % | 531.29/531.35 c | 4854759 | 254 34289 152236 | 1 167577 18 | 0.000 % | 531.29/531.35 c | 4857584 | 254 34289 152236 | 1 170402 18 | 0.000 % | 531.29/531.35 c | 4857684 | 254 34289 152236 | 1 170502 18 | 0.000 % | 531.29/531.35 c | 4891937 | 254 34289 152236 | 1 204755 19 | 0.000 % | 531.29/531.35 c | 4895484 | 254 34289 152236 | 1 208302 19 | 0.000 % | 531.29/531.35 c | 4934830 | 254 34289 152236 | 1 247648 20 | 0.000 % | 531.29/531.35 c | 4935350 | 254 34289 152236 | 1 248168 20 | 0.000 % | 531.29/531.35 c | 4948803 | 254 34289 152236 | 1 261621 20 | 0.000 % | 531.29/531.35 c | 4968525 | 254 34289 152236 | 1 281343 20 | 0.000 % | 531.29/531.35 c | 4968625 | 254 34289 152236 | 1 281443 20 | 0.000 % | 531.29/531.35 c | 4969233 | 254 34289 152236 | 1 282051 20 | 0.000 % | 531.29/531.35 c | 4970250 | 254 34289 152236 | 1 283068 20 | 0.000 % | 531.29/531.35 c | 4971527 | 254 34289 152236 | 1 284345 20 | 0.000 % | 531.29/531.35 c | 4989899 | 254 34289 152236 | 1 302717 21 | 0.000 % | 531.29/531.35 c | 4990826 | 254 34289 152236 | 1 303644 21 | 0.000 % | 531.29/531.35 c | 4990926 | 254 34289 152236 | 1 303744 21 | 0.000 % | 531.29/531.35 c | 4996712 | 254 34289 152236 | 1 309530 21 | 0.000 % | 531.29/531.35 c | 4999902 | 254 34289 152236 | 1 312720 21 | 0.000 % | 531.29/531.35 c | 5005634 | 254 34289 152236 | 1 161050 18 | 0.000 % | 531.29/531.35 c | 5009361 | 254 34289 152236 | 1 164777 18 | 0.000 % | 531.29/531.35 c | 5011936 | 254 34289 152236 | 1 167352 18 | 0.000 % | 531.29/531.35 c | 5037213 | 254 34289 152236 | 1 192629 19 | 0.000 % | 531.29/531.35 c | 5053239 | 254 34289 152236 | 1 208655 19 | 0.000 % | 531.29/531.35 c | 5055807 | 254 34289 152236 | 1 211223 20 | 0.000 % | 531.29/531.35 c | 5056041 | 254 34289 152236 | 1 211457 20 | 0.000 % | 531.29/531.35 c | 5056143 | 254 34289 152236 | 1 211559 20 | 0.000 % | 531.29/531.35 c | 5060663 | 254 34289 152236 | 1 216079 20 | 0.000 % | 531.29/531.35 c | 5077392 | 254 34289 152236 | 1 232808 20 | 0.000 % | 531.29/531.35 c | 5077729 | 254 34289 152236 | 1 233145 20 | 0.000 % | 531.29/531.35 c | 5077832 | 254 34289 152236 | 1 233248 20 | 0.000 % | 531.29/531.35 c | 5086597 | 254 34289 152236 | 1 242013 20 | 0.000 % | 531.29/531.35 c | 5121342 | 254 34289 152236 | 1 276758 21 | 0.000 % | 531.29/531.35 c | 5121443 | 254 34289 152236 | 1 276859 21 | 0.000 % | 531.29/531.35 c | 5153973 | 254 34289 152236 | 1 309389 21 | 0.000 % | 531.29/531.35 c | 5155715 | 254 34289 152236 | 1 311131 21 | 0.000 % | 531.29/531.35 c | 5155871 | 254 34289 152236 | 1 311287 21 | 0.000 % | 531.29/531.35 c | 5158727 | 254 34289 152236 | 1 314143 21 | 0.000 % | 531.29/531.35 c | 5158827 | 254 34289 152236 | 1 314243 21 | 0.000 % | 531.29/531.35 c | 5210696 | 254 34289 152236 | 1 206109 19 | 0.000 % | 531.29/531.35 c | 5210959 | 254 34289 152236 | 1 206372 19 | 0.000 % | 531.29/531.35 c | 5229213 | 254 34289 152236 | 1 224626 19 | 0.000 % | 531.29/531.35 c | 5238969 | 254 34289 152236 | 1 234382 20 | 0.000 % | 531.29/531.35 c | 5245968 | 254 34289 152236 | 1 241381 20 | 0.000 % | 531.29/531.35 c | 5254135 | 254 34289 152236 | 1 249548 20 | 0.000 % | 531.29/531.35 c | 5254732 | 254 34289 152236 | 1 250145 20 | 0.000 % | 531.29/531.35 c | 5259875 | 254 34289 152236 | 1 255288 20 | 0.000 % | 531.29/531.35 c | 5340043 | 254 34289 152236 | 1 172853 18 | 0.000 % | 531.29/531.35 c | 5343543 | 254 34289 152236 | 1 176353 18 | 0.000 % | 593.89/593.95 c | 5343643 | 254 34289 152236 | 1 176453 18 | 0.000 % | 593.89/593.95 c | 5344639 | 254 34289 152236 | 1 177449 18 | 0.000 % | 593.89/593.95 c | 5394995 | 254 34289 152236 | 1 227805 19 | 0.000 % | 593.89/593.95 c | 5407102 | 254 34289 152236 | 1 239912 20 | 0.000 % | 593.89/593.95 c | 5407315 | 254 34289 152236 | 1 240125 20 | 0.000 % | 593.89/593.95 c | 5409411 | 254 34289 152236 | 1 242221 20 | 0.000 % | 593.89/593.95 c | 5420592 | 254 34289 152236 | 1 253402 20 | 0.000 % | 593.89/593.95 c | 5429607 | 254 34289 152236 | 1 262417 20 | 0.000 % | 593.89/593.95 c | 5429709 | 254 34289 152236 | 1 262519 20 | 0.000 % | 593.89/593.95 c | 5432930 | 254 34289 152236 | 1 265740 20 | 0.000 % | 593.89/593.95 c | 5433030 | 254 34289 152236 | 1 265840 20 | 0.000 % | 593.89/593.95 c | 5456746 | 254 34289 152236 | 1 289556 21 | 0.000 % | 593.89/593.95 c | 5456848 | 254 34289 152236 | 1 289658 21 | 0.000 % | 593.89/593.95 c | 5456966 | 254 34289 152236 | 1 289776 21 | 0.000 % | 593.89/593.95 c | 5460011 | 254 34289 152236 | 1 292821 21 | 0.000 % | 593.89/593.95 c | 5465370 | 254 34289 152236 | 1 298180 21 | 0.000 % | 593.89/593.95 c | 5469738 | 254 34289 152236 | 1 302548 21 | 0.000 % | 593.89/593.95 c | 5479796 | 254 34289 152236 | 1 312606 21 | 0.000 % | 593.89/593.95 c | 5480129 | 254 34289 152236 | 1 312939 21 | 0.000 % | 593.89/593.95 c | 5509190 | 254 34289 152236 | 1 176806 18 | 0.000 % | 593.89/593.95 c | 5530514 | 254 34289 152236 | 1 198130 19 | 0.000 % | 593.89/593.95 c | 5538658 | 254 34289 152236 | 1 206274 19 | 0.000 % | 593.89/593.95 c | 5542292 | 254 34289 152236 | 1 209908 19 | 0.000 % | 593.89/593.95 c | 5545534 | 254 34289 152236 | 1 213150 19 | 0.000 % | 593.89/593.95 c | 5571583 | 254 34289 152236 | 1 239199 20 | 0.000 % | 593.89/593.95 c | 5618730 | 254 34289 152236 | 1 286346 21 | 0.000 % | 593.89/593.95 c | 5632288 | 254 34289 152236 | 1 299904 21 | 0.000 % | 593.89/593.95 c | 5632388 | 254 34289 152236 | 1 300004 21 | 0.000 % | 593.89/593.95 c | 5632489 | 254 34289 152236 | 1 300105 21 | 0.000 % | 593.89/593.95 c | 5633585 | 254 34289 152236 | 1 301201 21 | 0.000 % | 593.89/593.95 c | 5633685 | 254 34289 152236 | 1 301301 21 | 0.000 % | 593.89/593.95 c | 5641599 | 254 34289 152236 | 1 309215 21 | 0.000 % | 593.89/593.95 c | 5641700 | 254 34289 152236 | 1 309316 21 | 0.000 % | 593.89/593.95 c | 5730677 | 254 34289 152236 | 1 230493 20 | 0.000 % | 593.89/593.95 c | 5741655 | 254 34289 152236 | 1 241471 20 | 0.000 % | 593.89/593.95 c | 5744410 | 254 34289 152236 | 1 244226 20 | 0.000 % | 593.89/593.95 c | 5749630 | 254 34289 152236 | 1 249446 20 | 0.000 % | 593.89/593.95 c | 5780417 | 254 34289 152236 | 1 280233 20 | 0.000 % | 593.89/593.95 c | 5780566 | 254 34289 152236 | 1 280382 20 | 0.000 % | 593.89/593.95 c | 5782345 | 254 34289 152236 | 1 282161 20 | 0.000 % | 593.89/593.95 c | 5782563 | 254 34289 152236 | 1 282379 20 | 0.000 % | 593.89/593.95 c | 5787048 | 254 34289 152236 | 1 286864 21 | 0.000 % | 593.89/593.95 c | 5801156 | 254 34289 152236 | 1 300972 21 | 0.000 % | 593.89/593.95 c | 5807311 | 254 34289 152236 | 1 307127 21 | 0.000 % | 593.89/593.95 c | 5807749 | 254 34289 152236 | 1 307565 21 | 0.000 % | 593.89/593.95 c | 5815178 | 254 34289 152236 | 1 314994 21 | 0.000 % | 593.89/593.95 c | 5816859 | 254 34289 152236 | 1 316675 21 | 0.000 % | 593.89/593.95 c | 5821510 | 254 34289 152236 | 1 321326 21 | 0.000 % | 593.89/593.95 c | 5821610 | 254 34289 152236 | 1 321426 21 | 0.000 % | 593.89/593.95 c | 5829096 | 254 34289 152236 | 1 328912 21 | 0.000 % | 659.19/659.27 c | 5836415 | 254 34289 152236 | 1 336231 21 | 0.000 % | 659.19/659.27 c | 5844612 | 254 34289 152236 | 1 174025 18 | 0.000 % | 659.19/659.27 c | 5846206 | 254 34289 152236 | 1 175619 18 | 0.000 % | 659.19/659.27 c | 5850187 | 254 34289 152236 | 1 179600 18 | 0.000 % | 659.19/659.27 c | 5854300 | 254 34289 152236 | 1 183713 18 | 0.000 % | 659.19/659.27 c | 5854485 | 254 34289 152236 | 1 183898 18 | 0.000 % | 659.19/659.27 c | 5857478 | 254 34289 152236 | 1 186891 18 | 0.000 % | 659.19/659.27 c | 5859597 | 254 34289 152236 | 1 189010 19 | 0.000 % | 659.19/659.27 c | 5883759 | 254 34289 152236 | 1 213172 19 | 0.000 % | 659.19/659.27 c | 5883860 | 254 34289 152236 | 1 213273 19 | 0.000 % | 659.19/659.27 c | 5883962 | 254 34289 152236 | 1 213375 19 | 0.000 % | 659.19/659.27 c | 5918465 | 254 34289 152236 | 1 247878 20 | 0.000 % | 659.19/659.27 c | 5919230 | 254 34289 152236 | 1 248643 20 | 0.000 % | 659.19/659.27 c | 5932433 | 254 34289 152236 | 1 261846 20 | 0.000 % | 659.19/659.27 c | 5934086 | 254 34289 152236 | 1 263499 21 | 0.000 % | 659.19/659.27 c | 5995854 | 254 34289 152236 | 1 325267 21 | 0.000 % | 659.19/659.27 c | 5997639 | 254 34289 152236 | 1 327052 21 | 0.000 % | 659.19/659.27 c | 6002953 | 254 34289 152236 | 1 332366 21 | 0.000 % | 659.19/659.27 c | 6003054 | 254 34289 152236 | 1 332467 21 | 0.000 % | 659.19/659.27 c | 6021326 | 254 34289 152236 | 1 177741 18 | 0.000 % | 659.19/659.27 c | 6028034 | 254 34289 152236 | 1 184449 18 | 0.000 % | 659.19/659.27 c | 6041293 | 254 34289 152236 | 1 197708 19 | 0.000 % | 659.19/659.27 c | 6041393 | 254 34289 152236 | 1 197808 19 | 0.000 % | 659.19/659.27 c | 6051732 | 254 34289 152236 | 1 208147 19 | 0.000 % | 659.19/659.27 c | 6052099 | 254 34289 152236 | 1 208514 19 | 0.000 % | 659.19/659.27 c | 6054069 | 254 34289 152236 | 1 210484 19 | 0.000 % | 659.19/659.27 c | 6054533 | 254 34289 152236 | 1 210948 19 | 0.000 % | 659.19/659.27 c | 6058772 | 254 34289 152236 | 1 215187 19 | 0.000 % | 659.19/659.27 c | 6058874 | 254 34289 152236 | 1 215289 19 | 0.000 % | 659.19/659.27 c | 6063754 | 254 34289 152236 | 1 220169 19 | 0.000 % | 659.19/659.27 c | 6063855 | 254 34289 152236 | 1 220270 19 | 0.000 % | 659.19/659.27 c | 6071622 | 254 34289 152236 | 1 228037 20 | 0.000 % | 659.19/659.27 c | 6072419 | 254 34289 152236 | 1 228834 20 | 0.000 % | 659.19/659.27 c | 6120144 | 254 34289 152236 | 1 276559 21 | 0.000 % | 659.19/659.27 c | 6120245 | 254 34289 152236 | 1 276660 21 | 0.000 % | 659.19/659.27 c | 6121866 | 254 34289 152236 | 1 278281 21 | 0.000 % | 659.19/659.27 c | 6154989 | 254 34289 152236 | 1 311404 21 | 0.000 % | 659.19/659.27 c | 6155091 | 254 34289 152236 | 1 311506 21 | 0.000 % | 659.19/659.27 c | 6196068 | 254 34289 152236 | 1 176884 18 | 0.000 % | 659.19/659.27 c | 6196275 | 254 34289 152236 | 1 177091 18 | 0.000 % | 659.19/659.27 c | 6256966 | 254 34289 152236 | 1 237782 19 | 0.000 % | 659.19/659.27 c | 6263149 | 254 34289 152236 | 1 243965 19 | 0.000 % | 659.19/659.27 c | 6295914 | 254 34289 152236 | 1 276730 20 | 0.000 % | 659.19/659.27 c | 6302197 | 254 34289 152236 | 1 283013 20 | 0.000 % | 659.19/659.27 c | 6304784 | 254 34289 152236 | 1 285600 20 | 0.000 % | 659.19/659.27 c | 6309888 | 254 34289 152236 | 1 290704 20 | 0.000 % | 659.19/659.27 c | 6311023 | 254 34289 152236 | 1 291839 20 | 0.000 % | 659.19/659.27 c | 6311736 | 254 34289 152236 | 1 292552 20 | 0.000 % | 659.19/659.27 c | 6323203 | 254 34289 152236 | 1 304019 21 | 0.000 % | 659.19/659.27 c | 6331421 | 254 34289 152236 | 1 312237 21 | 0.000 % | 752.09/752.19 c | 6334573 | 254 34289 152236 | 1 315389 21 | 0.000 % | 752.09/752.19 c | 6348470 | 254 34289 152236 | 1 329286 21 | 0.000 % | 752.09/752.19 c | 6351805 | 254 34289 152236 | 1 332621 21 | 0.000 % | 752.09/752.19 c | 6388172 | 254 34289 152236 | 1 190789 18 | 0.000 % | 752.09/752.19 c | 6419907 | 254 34289 152236 | 1 222524 19 | 0.000 % | 752.09/752.19 c | 6424062 | 254 34289 152236 | 1 226679 19 | 0.000 % | 752.09/752.19 c | 6424163 | 254 34289 152236 | 1 226780 19 | 0.000 % | 752.09/752.19 c | 6470374 | 254 34289 152236 | 1 272991 20 | 0.000 % | 752.09/752.19 c | 6470506 | 254 34289 152236 | 1 273123 20 | 0.000 % | 752.09/752.19 c | 6470666 | 254 34289 152236 | 1 273283 20 | 0.000 % | 752.09/752.19 c | 6472294 | 254 34289 152236 | 1 274911 20 | 0.000 % | 752.09/752.19 c | 6473754 | 254 34289 152236 | 1 276371 20 | 0.000 % | 752.09/752.19 c | 6477894 | 254 34289 152236 | 1 280511 20 | 0.000 % | 752.09/752.19 c | 6478906 | 254 34289 152236 | 1 281523 20 | 0.000 % | 752.09/752.19 c | 6480190 | 254 34289 152236 | 1 282807 20 | 0.000 % | 752.09/752.19 c | 6486573 | 254 34289 152236 | 1 289190 20 | 0.000 % | 752.09/752.19 c | 6489249 | 254 34289 152236 | 1 291866 20 | 0.000 % | 752.09/752.19 c | 6505110 | 254 34289 152236 | 1 307727 20 | 0.000 % | 752.09/752.19 c | 6505812 | 254 34289 152236 | 1 308429 20 | 0.000 % | 752.09/752.19 c | 6509099 | 254 34289 152236 | 1 311716 20 | 0.000 % | 752.09/752.19 c | 6509665 | 254 34289 152236 | 1 312282 20 | 0.000 % | 752.09/752.19 c | 6721747 | 254 34289 152236 | 1 343561 20 | 0.000 % | 752.09/752.19 c | 6721848 | 254 34289 152236 | 1 343662 20 | 0.000 % | 752.09/752.19 c | 6722764 | 254 34289 152236 | 1 344578 20 | 0.000 % | 752.09/752.19 c | 6765293 | 254 34289 152236 | 1 203710 18 | 0.000 % | 752.09/752.19 c | 6767893 | 254 34289 152236 | 1 206310 18 | 0.000 % | 752.09/752.19 c | 6767993 | 254 34289 152236 | 1 206410 18 | 0.000 % | 752.09/752.19 c | 6768095 | 254 34289 152236 | 1 206512 18 | 0.000 % | 752.09/752.19 c | 6774478 | 254 34289 152236 | 1 212895 18 | 0.000 % | 752.09/752.19 c | 6789986 | 254 34289 152236 | 1 228403 19 | 0.000 % | 752.09/752.19 c | 6790147 | 254 34289 152236 | 1 228564 19 | 0.000 % | 752.09/752.19 c | 6808083 | 254 34289 152236 | 1 246500 19 | 0.000 % | 752.09/752.19 c | 6808633 | 254 34289 152236 | 1 247050 19 | 0.000 % | 752.09/752.19 c | 6937890 | 254 34289 152236 | 1 190306 18 | 0.000 % | 752.09/752.19 c | 6937993 | 254 34289 152236 | 1 190409 18 | 0.000 % | 752.09/752.19 c | 6947036 | 254 34289 152236 | 1 199452 18 | 0.000 % | 752.09/752.19 c | 6947139 | 254 34289 152236 | 1 199555 18 | 0.000 % | 752.09/752.19 c | 6947241 | 254 34289 152236 | 1 199657 18 | 0.000 % | 752.09/752.19 c | 6947341 | 254 34289 152236 | 1 199757 18 | 0.000 % | 752.09/752.19 c | 6948809 | 254 34289 152236 | 1 201225 18 | 0.000 % | 752.09/752.19 c | 6948910 | 254 34289 152236 | 1 201326 18 | 0.000 % | 752.09/752.19 c | 6965017 | 254 34289 152236 | 1 217433 19 | 0.000 % | 752.09/752.19 c | 7000103 | 254 34289 152236 | 1 252519 19 | 0.000 % | 752.09/752.19 c | 7004032 | 254 34289 152236 | 1 256448 19 | 0.000 % | 752.09/752.19 c | 7008694 | 254 34289 152236 | 1 261110 20 | 0.000 % | 752.09/752.19 c | 7010070 | 254 34289 152236 | 1 262486 20 | 0.000 % | 752.09/752.19 c | 7028292 | 254 34289 152236 | 1 280708 20 | 0.000 % | 752.09/752.19 c | 7029002 | 254 34289 152236 | 1 281418 20 | 0.000 % | 752.09/752.19 c | 7043743 | 254 34289 152236 | 1 296159 20 | 0.000 % | 752.09/752.19 c | 7049053 | 254 34289 152236 | 1 301469 20 | 0.000 % | 821.29/821.37 c | 7049155 | 254 34289 152236 | 1 301571 20 | 0.000 % | 821.29/821.37 c | 7054166 | 254 34289 152236 | 1 306582 20 | 0.000 % | 821.29/821.37 c | 7054267 | 254 34289 152236 | 1 306683 20 | 0.000 % | 821.29/821.37 c | 7055240 | 254 34289 152236 | 1 307656 20 | 0.000 % | 821.29/821.37 c | 7061280 | 254 34289 152236 | 1 313696 20 | 0.000 % | 821.29/821.37 c | 7061842 | 254 34289 152236 | 1 314258 20 | 0.000 % | 821.29/821.37 c | 7062467 | 254 34289 152236 | 1 314883 20 | 0.000 % | 821.29/821.37 c | 7071227 | 254 34289 152236 | 1 323643 21 | 0.000 % | 821.29/821.37 c | 7082369 | 254 34289 152236 | 1 334785 21 | 0.000 % | 821.29/821.37 c | 7088889 | 254 34289 152236 | 1 341305 21 | 0.000 % | 821.29/821.37 c | 7095293 | 254 34289 152236 | 1 347709 21 | 0.000 % | 821.29/821.37 c | 7095394 | 254 34289 152236 | 1 347810 21 | 0.000 % | 821.29/821.37 c | 7095496 | 254 34289 152236 | 1 347912 21 | 0.000 % | 821.29/821.37 c | 7097051 | 254 34289 152236 | 1 349467 21 | 0.000 % | 821.29/821.37 c | 7145648 | 254 34289 152236 | 1 209464 18 | 0.000 % | 821.29/821.37 c | 7152209 | 254 34289 152236 | 1 216025 19 | 0.000 % | 821.29/821.37 c | 7174259 | 254 34289 152236 | 1 238075 19 | 0.000 % | 821.29/821.37 c | 7174361 | 254 34289 152236 | 1 238177 19 | 0.000 % | 821.29/821.37 c | 7174803 | 254 34289 152236 | 1 238619 19 | 0.000 % | 821.29/821.37 c | 7179240 | 254 34289 152236 | 1 243056 19 | 0.000 % | 821.29/821.37 c | 7185183 | 254 34289 152236 | 1 248999 19 | 0.000 % | 821.29/821.37 c | 7185283 | 254 34289 152236 | 1 249099 19 | 0.000 % | 821.29/821.37 c | 7235208 | 254 34289 152236 | 1 299024 20 | 0.000 % | 821.29/821.37 c | 7235409 | 254 34289 152236 | 1 299225 20 | 0.000 % | 821.29/821.37 c | 7276628 | 254 34289 152236 | 1 340444 21 | 0.000 % | 821.29/821.37 c | 7292923 | 254 34289 152236 | 1 356739 21 | 0.000 % | 821.29/821.37 c | 7338431 | 254 34289 152236 | 1 211053 18 | 0.000 % | 821.29/821.37 c | 7383068 | 254 34289 152236 | 1 255690 19 | 0.000 % | 821.29/821.37 c | 7383408 | 254 34289 152236 | 1 256030 19 | 0.000 % | 821.29/821.37 c | 7383517 | 254 34289 152236 | 1 256139 19 | 0.000 % | 821.29/821.37 c | 7411181 | 254 34289 152236 | 1 283803 20 | 0.000 % | 821.29/821.37 c | 7420799 | 254 34289 152236 | 1 293421 20 | 0.000 % | 821.29/821.37 c | 7429036 | 254 34289 152236 | 1 301658 20 | 0.000 % | 821.29/821.37 c | 7438229 | 254 34289 152236 | 1 310851 20 | 0.000 % | 821.29/821.37 c | 7454802 | 254 34289 152236 | 1 327424 20 | 0.000 % | 821.29/821.37 c | 7456996 | 254 34289 152236 | 1 329618 21 | 0.000 % | 821.29/821.37 c | 7460137 | 254 34289 152236 | 1 332759 21 | 0.000 % | 821.29/821.37 c | 7460237 | 254 34289 152236 | 1 332859 21 | 0.000 % | 821.29/821.37 c | 7460338 | 254 34289 152236 | 1 332960 21 | 0.000 % | 821.29/821.37 c | 7472004 | 254 34289 152236 | 1 344626 21 | 0.000 % | 821.29/821.37 c | 7479207 | 254 34289 152236 | 1 351829 21 | 0.000 % | 821.29/821.37 c | 7489717 | 254 34289 152236 | 1 362339 21 | 0.000 % | 821.29/821.37 c | 7504227 | 254 34289 152236 | 1 376849 21 | 0.000 % | 821.29/821.37 c | 7508545 | 254 34289 152236 | 1 381167 21 | 0.000 % | 821.29/821.37 c | 7527525 | 254 34289 152236 | 1 206340 18 | 0.000 % | 821.29/821.37 c | 7527625 | 254 34289 152236 | 1 206440 18 | 0.000 % | 821.29/821.37 c | 7540101 | 254 34289 152236 | 1 218916 19 | 0.000 % | 821.29/821.37 c | 7546745 | 254 34289 152236 | 1 225560 19 | 0.000 % | 821.29/821.37 c | 7547206 | 254 34289 152236 | 1 226021 19 | 0.000 % | 821.29/821.37 c | 7564757 | 254 34289 152236 | 1 243572 19 | 0.000 % | 881.99/882.03 c | 7564949 | 254 34289 152236 | 1 243764 19 | 0.000 % | 881.99/882.03 c | 7567845 | 254 34289 152236 | 1 246660 19 | 0.000 % | 881.99/882.03 c | 7609255 | 254 34289 152236 | 1 288070 20 | 0.000 % | 881.99/882.03 c | 7610937 | 254 34289 152236 | 1 289752 20 | 0.000 % | 881.99/882.03 c | 7611037 | 254 34289 152236 | 1 289852 20 | 0.000 % | 881.99/882.03 c | 7622505 | 254 34289 152236 | 1 301320 20 | 0.000 % | 881.99/882.03 c | 7628317 | 254 34289 152236 | 1 307132 20 | 0.000 % | 881.99/882.03 c | 7630533 | 254 34289 152236 | 1 309348 20 | 0.000 % | 881.99/882.03 c | 7733560 | 254 34289 152236 | 1 215982 18 | 0.000 % | 881.99/882.03 c | 7734246 | 254 34289 152236 | 1 216668 18 | 0.000 % | 881.99/882.03 c | 7738382 | 254 34289 152236 | 1 220804 18 | 0.000 % | 881.99/882.03 c | 7738482 | 254 34289 152236 | 1 220904 18 | 0.000 % | 881.99/882.03 c | 7743177 | 254 34289 152236 | 1 225599 19 | 0.000 % | 881.99/882.03 c | 7743835 | 254 34289 152236 | 1 226257 19 | 0.000 % | 881.99/882.03 c | 7743939 | 254 34289 152236 | 1 226361 19 | 0.000 % | 881.99/882.03 c | 7752406 | 254 34289 152236 | 1 234828 19 | 0.000 % | 881.99/882.03 c | 7754283 | 254 34289 152236 | 1 236705 19 | 0.000 % | 881.99/882.03 c | 7757336 | 254 34289 152236 | 1 239758 19 | 0.000 % | 881.99/882.03 c | 7759801 | 254 34289 152236 | 1 242223 19 | 0.000 % | 881.99/882.03 c | 7759902 | 254 34289 152236 | 1 242324 19 | 0.000 % | 881.99/882.03 c | 7761477 | 254 34289 152236 | 1 243899 19 | 0.000 % | 881.99/882.03 c | 7768842 | 254 34289 152236 | 1 251264 20 | 0.000 % | 881.99/882.03 c | 7770956 | 254 34289 152236 | 1 253378 20 | 0.000 % | 881.99/882.03 c | 7778000 | 254 34289 152236 | 1 260422 20 | 0.000 % | 881.99/882.03 c | 7778437 | 254 34289 152236 | 1 260859 20 | 0.000 % | 881.99/882.03 c | 7780625 | 254 34289 152236 | 1 263047 20 | 0.000 % | 881.99/882.03 c | 7780725 | 254 34289 152236 | 1 263147 20 | 0.000 % | 881.99/882.03 c | 7780827 | 254 34289 152236 | 1 263249 20 | 0.000 % | 881.99/882.03 c | 7790395 | 254 34289 152236 | 1 272817 20 | 0.000 % | 881.99/882.03 c | 7790547 | 254 34289 152236 | 1 272969 20 | 0.000 % | 881.99/882.03 c | 7790649 | 254 34289 152236 | 1 273071 20 | 0.000 % | 881.99/882.03 c | 7792058 | 254 34289 152236 | 1 274480 20 | 0.000 % | 881.99/882.03 c | 7795469 | 254 34289 152236 | 1 277891 20 | 0.000 % | 881.99/882.03 c | 7804272 | 254 34289 152236 | 1 286694 20 | 0.000 % | 881.99/882.03 c | 7804374 | 254 34289 152236 | 1 286796 20 | 0.000 % | 881.99/882.03 c | 7805182 | 254 34289 152236 | 1 287604 20 | 0.000 % | 881.99/882.03 c | 7884463 | 254 34289 152236 | 1 366885 21 | 0.000 % | 881.99/882.03 c | 7885022 | 254 34289 152236 | 1 367444 21 | 0.000 % | 881.99/882.03 c | 7885661 | 254 34289 152236 | 1 368083 21 | 0.000 % | 881.99/882.03 c | 7886112 | 254 34289 152236 | 1 368534 21 | 0.000 % | 881.99/882.03 c | 7886938 | 254 34289 152236 | 1 369360 21 | 0.000 % | 881.99/882.03 c | 7894644 | 254 34289 152236 | 1 377066 21 | 0.000 % | 881.99/882.03 c | 7909212 | 254 34289 152236 | 1 391634 21 | 0.000 % | 881.99/882.03 c | 7957191 | 254 34289 152236 | 1 240608 19 | 0.000 % | 881.99/882.03 c | 7963322 | 254 34289 152236 | 1 246739 19 | 0.000 % | 881.99/882.03 c | 7966820 | 254 34289 152236 | 1 250237 19 | 0.000 % | 881.99/882.03 c | 7977716 | 254 34289 152236 | 1 261133 19 | 0.000 % | 881.99/882.03 c | 7978199 | 254 34289 152236 | 1 261616 19 | 0.000 % | 881.99/882.03 c | 7982253 | 254 34289 152236 | 1 265670 19 | 0.000 % | 881.99/882.03 c | 7994487 | 254 34289 152236 | 1 277904 19 | 0.000 % | 961.99/962.06 c | 8050157 | 254 34289 152236 | 1 333574 20 | 0.000 % | 961.99/962.06 c | 8071400 | 254 34289 152236 | 1 354817 20 | 0.000 % | 961.99/962.06 c | 8087004 | 254 34289 152236 | 1 370421 21 | 0.000 % | 961.99/962.06 c | 8094326 | 254 34289 152236 | 1 377743 21 | 0.000 % | 961.99/962.06 c | 8094443 | 254 34289 152236 | 1 377860 21 | 0.000 % | 961.99/962.06 c | 8099018 | 254 34289 152236 | 1 382435 21 | 0.000 % | 961.99/962.06 c | 8100059 | 254 34289 152236 | 1 383476 21 | 0.000 % | 961.99/962.06 c | 8107184 | 254 34289 152236 | 1 390601 21 | 0.000 % | 961.99/962.06 c | 8110638 | 254 34289 152236 | 1 394055 21 | 0.000 % | 961.99/962.06 c | 8115538 | 254 34289 152236 | 1 398955 21 | 0.000 % | 961.99/962.06 c | 8118765 | 254 34289 152236 | 1 402182 21 | 0.000 % | 961.99/962.06 c | 8132770 | 254 34289 152236 | 1 214583 18 | 0.000 % | 961.99/962.06 c | 8133489 | 254 34289 152236 | 1 215302 18 | 0.000 % | 961.99/962.06 c | 8136181 | 254 34289 152236 | 1 217994 18 | 0.000 % | 961.99/962.06 c | 8143809 | 254 34289 152236 | 1 225622 18 | 0.000 % | 961.99/962.06 c | 8145721 | 254 34289 152236 | 1 227534 18 | 0.000 % | 961.99/962.06 c | 8152868 | 254 34289 152236 | 1 234681 19 | 0.000 % | 961.99/962.06 c | 8156294 | 254 34289 152236 | 1 238107 19 | 0.000 % | 961.99/962.06 c | 8157320 | 254 34289 152236 | 1 239133 19 | 0.000 % | 961.99/962.06 c | 8178901 | 254 34289 152236 | 1 260714 19 | 0.000 % | 961.99/962.06 c | 8205733 | 254 34289 152236 | 1 287546 20 | 0.000 % | 961.99/962.06 c | 8234222 | 254 34289 152236 | 1 316035 20 | 0.000 % | 961.99/962.06 c | 8285468 | 254 34289 152236 | 1 367281 21 | 0.000 % | 961.99/962.06 c | 8295947 | 254 34289 152236 | 1 377760 21 | 0.000 % | 961.99/962.06 c | 8299582 | 254 34289 152236 | 1 381395 21 | 0.000 % | 961.99/962.06 c | 8323819 | 254 34289 152236 | 1 405632 21 | 0.000 % | 961.99/962.06 c | 8324613 | 254 34289 152236 | 1 406426 21 | 0.000 % | 961.99/962.06 c | 8324860 | 254 34289 152236 | 1 406673 21 | 0.000 % | 961.99/962.06 c | 8380030 | 254 34289 152236 | 1 257645 19 | 0.000 % | 961.99/962.06 c | 8380196 | 254 34289 152236 | 1 257811 19 | 0.000 % | 961.99/962.06 c | 8384059 | 254 34289 152236 | 1 261674 19 | 0.000 % | 961.99/962.06 c | 8387201 | 254 34289 152236 | 1 264816 19 | 0.000 % | 961.99/962.06 c | 8388029 | 254 34289 152236 | 1 265644 19 | 0.000 % | 961.99/962.06 c | 8401118 | 254 34289 152236 | 1 278733 19 | 0.000 % | 961.99/962.06 c | 8424745 | 254 34289 152236 | 1 302360 20 | 0.000 % | 961.99/962.06 c | 8425828 | 254 34289 152236 | 1 303443 20 | 0.000 % | 961.99/962.06 c | 8432506 | 254 34289 152236 | 1 310121 20 | 0.000 % | 961.99/962.06 c | 8473983 | 254 34289 152236 | 1 351598 20 | 0.000 % | 961.99/962.06 c | 8474085 | 254 34289 152236 | 1 351700 20 | 0.000 % | 961.99/962.06 c | 8475484 | 254 34289 152236 | 1 353099 20 | 0.000 % | 961.99/962.06 c | 8485847 | 254 34289 152236 | 1 363462 20 | 0.000 % | 961.99/962.06 c | 8485949 | 254 34289 152236 | 1 363564 20 | 0.000 % | 961.99/962.06 c | 8495194 | 254 34289 152236 | 1 372809 21 | 0.000 % | 961.99/962.06 c | 8497929 | 254 34289 152236 | 1 375544 21 | 0.000 % | 961.99/962.06 c | 8498029 | 254 34289 152236 | 1 375644 21 | 0.000 % | 961.99/962.06 c | 8508083 | 254 34289 152236 | 1 385698 21 | 0.000 % | 961.99/962.06 c | 8510786 | 254 34289 152236 | 1 388401 21 | 0.000 % | 961.99/962.06 c | 8511026 | 254 34289 152236 | 1 388641 21 | 0.000 % | 961.99/962.06 c | 8514273 | 254 34289 152236 | 1 391888 21 | 0.000 % | 961.99/962.06 c | 8547780 | 254 34289 152236 | 1 218591 18 | 0.000 % | 997.71/997.75 c | 8579758 | 254 34289 152236 | 1 250569 18 | 0.000 % | 997.71/997.75 c | 8583764 | 254 34289 152236 | 1 254575 18 | 0.000 % | 997.71/997.75 c | 8586800 | 254 34289 152236 | 1 257611 19 | 0.000 % | 997.71/997.75 c | 8586901 | 254 34289 152236 | 1 257712 19 | 0.000 % | 997.71/997.75 c | 8587003 | 254 34289 152236 | 1 257814 19 | 0.000 % | 997.71/997.75 c | 8587629 | 254 34289 152236 | 1 258440 19 | 0.000 % | 997.71/997.75 c | 8587854 | 254 34289 152236 | 1 258665 19 | 0.000 % | 997.71/997.75 c | 8607423 | 254 34289 152236 | 1 278234 19 | 0.000 % | 997.71/997.75 c | 8607656 | 254 34289 152236 | 1 278467 19 | 0.000 % | 997.71/997.75 c | 8608128 | 254 34289 152236 | 1 278939 19 | 0.000 % | 997.71/997.75 c | 8608272 | 254 34289 152236 | 1 279083 19 | 0.000 % | 997.71/997.75 c | 8608728 | 254 34289 152236 | 1 279539 19 | 0.000 % | 997.71/997.75 c | 8627771 | 254 34289 152236 | 1 298582 20 | 0.000 % | 997.71/997.75 c | 8627971 | 254 34289 152236 | 1 298782 20 | 0.000 % | 997.71/997.75 c | 8632814 | 254 34289 152236 | 1 303625 20 | 0.000 % | 997.71/997.75 c | 8633181 | 254 34289 152236 | 1 303992 20 | 0.000 % | 997.71/997.75 c | 8653393 | 254 34289 152236 | 1 324204 20 | 0.000 % | 997.71/997.75 c | 8655117 | 254 34289 152236 | 1 325928 20 | 0.000 % | 997.71/997.75 c | 8655219 | 254 34289 152236 | 1 326030 20 | 0.000 % | 997.71/997.75 c | 8655458 | 254 34289 152236 | 1 326269 20 | 0.000 % | 997.71/997.75 c | 8664485 | 254 34289 152236 | 1 335296 20 | 0.000 % | 997.71/997.75 c | 8664590 | 254 34289 152236 | 1 335401 20 | 0.000 % | 997.71/997.75 c | 8677441 | 254 34289 152236 | 1 348252 20 | 0.000 % | 997.71/997.75 c | 8679595 | 254 34289 152236 | 1 350406 20 | 0.000 % | 997.71/997.75 c | 8679696 | 254 34289 152236 | 1 350507 20 | 0.000 % | 997.71/997.75 c | 8692734 | 254 34289 152236 | 1 363545 21 | 0.000 % | 997.71/997.75 c | 8703602 | 254 34289 152236 | 1 374413 21 | 0.000 % | 997.71/997.75 c | 8705224 | 254 34289 152236 | 1 376035 21 | 0.000 % | 997.71/997.75 c | 8706655 | 254 34289 152236 | 1 377466 21 | 0.000 % | 997.71/997.75 c | 8706758 | 254 34289 152236 | 1 377569 21 | 0.000 % | 997.71/997.75 c | 8707418 | 254 34289 152236 | 1 378229 21 | 0.000 % | 997.71/997.75 c | 8709556 | 254 34289 152236 | 1 380367 21 | 0.000 % | 997.71/997.75 c | 8710867 | 254 34289 152236 | 1 381678 21 | 0.000 % | 997.71/997.75 c | 8711896 | 254 34289 152236 | 1 382707 21 | 0.000 % | 997.71/997.75 c | 8717818 | 254 34289 152236 | 1 388629 21 | 0.000 % | 997.71/997.75 c | 8717918 | 254 34289 152236 | 1 388729 21 | 0.000 % | 997.71/997.75 c | 8733129 | 254 34289 152236 | 1 403940 21 | 0.000 % | 997.71/997.75 c | 8736668 | 254 34289 152236 | 1 407479 21 | 0.000 % | 997.71/997.75 c | 8741627 | 254 34289 152236 | 1 412438 21 | 0.000 % | 997.71/997.75 c | 8746340 | 254 34289 152236 | 1 417151 21 | 0.000 % | 997.71/997.75 c | 8763700 | 254 34289 152236 | 1 225115 18 | 0.000 % | 997.71/997.75 c | 8768301 | 254 34289 152236 | 1 229716 18 | 0.000 % | 997.71/997.75 c | 8772113 | 254 34289 152236 | 1 233528 18 | 0.000 % | 997.71/997.75 c | 8772359 | 254 34289 152236 | 1 233774 18 | 0.000 % | 997.71/997.75 c | 8772460 | 254 34289 152236 | 1 233875 18 | 0.000 % | 997.71/997.75 c | 8795333 | 254 34289 152236 | 1 256748 19 | 0.000 % | 997.71/997.75 c | 8797644 | 254 34289 152236 | 1 259059 19 | 0.000 % | 997.71/997.75 c | 8801439 | 254 34289 152236 | 1 262854 19 | 0.000 % | 997.71/997.75 c | 8805307 | 254 34289 152236 | 1 266722 19 | 0.000 % | 997.71/997.75 c | 8805634 | 254 34289 152236 | 1 267049 19 | 0.000 % | 1058.81/1058.83 c | 8806441 | 254 34289 152236 | 1 267856 19 | 0.000 % | 1058.81/1058.83 c | 8806542 | 254 34289 152236 | 1 267957 19 | 0.000 % | 1058.81/1058.83 c | 8811013 | 254 34289 152236 | 1 272428 19 | 0.000 % | 1058.81/1058.83 c | 8829639 | 254 34289 152236 | 1 291054 20 | 0.000 % | 1058.81/1058.83 c | 8854263 | 254 34289 152236 | 1 315678 20 | 0.000 % | 1058.81/1058.83 c | 8856243 | 254 34289 152236 | 1 317658 20 | 0.000 % | 1058.81/1058.83 c | 8856416 | 254 34289 152236 | 1 317831 20 | 0.000 % | 1058.81/1058.83 c | 8865054 | 254 34289 152236 | 1 326469 20 | 0.000 % | 1058.81/1058.83 c | 8866376 | 254 34289 152236 | 1 327791 20 | 0.000 % | 1058.81/1058.83 c | 8866476 | 254 34289 152236 | 1 327891 20 | 0.000 % | 1058.81/1058.83 c | 8867946 | 254 34289 152236 | 1 329361 20 | 0.000 % | 1058.81/1058.83 c | 8873434 | 254 34289 152236 | 1 334849 20 | 0.000 % | 1058.81/1058.83 c | 8879076 | 254 34289 152236 | 1 340491 20 | 0.000 % | 1058.81/1058.83 c | 8887683 | 254 34289 152236 | 1 349098 20 | 0.000 % | 1058.81/1058.83 c | 8890282 | 254 34289 152236 | 1 351697 20 | 0.000 % | 1058.81/1058.83 c | 8908099 | 254 34289 152236 | 1 369514 21 | 0.000 % | 1058.81/1058.83 c | 8918332 | 254 34289 152236 | 1 379747 21 | 0.000 % | 1058.81/1058.83 c | 8918546 | 254 34289 152236 | 1 379961 21 | 0.000 % | 1058.81/1058.83 c | 8923622 | 254 34289 152236 | 1 385037 21 | 0.000 % | 1058.81/1058.83 c | 8929921 | 254 34289 152236 | 1 391336 21 | 0.000 % | 1058.81/1058.83 c | 8930022 | 254 34289 152236 | 1 391437 21 | 0.000 % | 1058.81/1058.83 c | 8941149 | 254 34289 152236 | 1 402564 21 | 0.000 % | 1058.81/1058.83 c | 8941249 | 254 34289 152236 | 1 402664 21 | 0.000 % | 1058.81/1058.83 c | 8941448 | 254 34289 152236 | 1 402863 21 | 0.000 % | 1058.81/1058.83 c | 8958774 | 254 34289 152236 | 1 420189 21 | 0.000 % | 1058.81/1058.83 c | 8966525 | 254 34289 152236 | 1 215941 18 | 0.000 % | 1058.81/1058.83 c | 8976179 | 254 34289 152236 | 1 225595 18 | 0.000 % | 1058.81/1058.83 c | 8977347 | 254 34289 152236 | 1 226763 18 | 0.000 % | 1058.81/1058.83 c | 8977552 | 254 34289 152236 | 1 226968 18 | 0.000 % | 1058.81/1058.83 c | 9000505 | 254 34289 152236 | 1 249921 19 | 0.000 % | 1058.81/1058.83 c | 9001997 | 254 34289 152236 | 1 251413 19 | 0.000 % | 1058.81/1058.83 c | 9021318 | 254 34289 152236 | 1 270734 19 | 0.000 % | 1058.81/1058.83 c | 9022457 | 254 34289 152236 | 1 271873 19 | 0.000 % | 1058.81/1058.83 c | 9041220 | 254 34289 152236 | 1 290636 19 | 0.000 % | 1058.81/1058.83 c | 9048246 | 254 34289 152236 | 1 297662 20 | 0.000 % | 1058.81/1058.83 c | 9060426 | 254 34289 152236 | 1 309842 20 | 0.000 % | 1058.81/1058.83 c | 9064934 | 254 34289 152236 | 1 314350 20 | 0.000 % | 1058.81/1058.83 c | 9065988 | 254 34289 152236 | 1 315404 20 | 0.000 % | 1058.81/1058.83 c | 9083746 | 254 34289 152236 | 1 333162 20 | 0.000 % | 1058.81/1058.83 c | 9088146 | 254 34289 152236 | 1 337562 20 | 0.000 % | 1058.81/1058.83 c | 9088246 | 254 34289 152236 | 1 337662 20 | 0.000 % | 1058.81/1058.83 c | 9096865 | 254 34289 152236 | 1 346281 20 | 0.000 % | 1058.81/1058.83 c | 9110871 | 254 34289 152236 | 1 360287 21 | 0.000 % | 1058.81/1058.83 c | 9112003 | 254 34289 152236 | 1 361419 21 | 0.000 % | 1058.81/1058.83 c | 9112109 | 254 34289 152236 | 1 361525 21 | 0.000 % | 1058.81/1058.83 c | 9129611 | 254 34289 152236 | 1 379027 21 | 0.000 % | 1058.81/1058.83 c | 9135366 | 254 34289 152236 | 1 384782 21 | 0.000 % | 1058.81/1058.83 c | 9135466 | 254 34289 152236 | 1 384882 21 | 0.000 % | 1058.81/1058.83 c | 9143772 | 254 34289 152236 | 1 393188 21 | 0.000 % | 1058.81/1058.83 c | 9222485 | 254 34289 152236 | 1 257304 18 | 0.000 % | 1169.80/1169.85 c | 9236807 | 254 34289 152236 | 1 271626 19 | 0.000 % | 1169.80/1169.85 c | 9264691 | 254 34289 152236 | 1 299510 20 | 0.000 % | 1169.80/1169.85 c | 9303870 | 254 34289 152236 | 1 338689 20 | 0.000 % | 1169.80/1169.85 c | 9303971 | 254 34289 152236 | 1 338790 20 | 0.000 % | 1169.80/1169.85 c | 9304858 | 254 34289 152236 | 1 339677 20 | 0.000 % | 1169.80/1169.85 c | 9305486 | 254 34289 152236 | 1 340305 20 | 0.000 % | 1169.80/1169.85 c | 9313037 | 254 34289 152236 | 1 347856 20 | 0.000 % | 1169.80/1169.85 c | 9321853 | 254 34289 152236 | 1 356672 20 | 0.000 % | 1169.80/1169.85 c | 9321953 | 254 34289 152236 | 1 356772 20 | 0.000 % | 1169.80/1169.85 c | 9324102 | 254 34289 152236 | 1 358921 20 | 0.000 % | 1169.80/1169.85 c | 9324202 | 254 34289 152236 | 1 359021 20 | 0.000 % | 1169.80/1169.85 c | 9346486 | 254 34289 152236 | 1 381305 21 | 0.000 % | 1169.80/1169.85 c | 9353544 | 254 34289 152236 | 1 388363 21 | 0.000 % | 1169.80/1169.85 c | 9396922 | 254 34289 152236 | 1 431741 21 | 0.000 % | 1169.80/1169.85 c | 9397123 | 254 34289 152236 | 1 431942 21 | 0.000 % | 1169.80/1169.85 c | 9557038 | 254 34289 152236 | 1 374653 19 | 0.000 % | 1169.80/1169.85 c | 9560148 | 254 34289 152236 | 1 377763 19 | 0.000 % | 1169.80/1169.85 c | 9612307 | 254 34289 152236 | 1 429922 20 | 0.000 % | 1169.80/1169.85 c | 9636429 | 254 34289 152236 | 1 234240 17 | 0.000 % | 1169.80/1169.85 c | 9645472 | 254 34289 152236 | 1 243283 18 | 0.000 % | 1169.80/1169.85 c | 9651569 | 254 34289 152236 | 1 249380 18 | 0.000 % | 1169.80/1169.85 c | 9654043 | 254 34289 152236 | 1 251854 18 | 0.000 % | 1169.80/1169.85 c | 9654282 | 254 34289 152236 | 1 252093 18 | 0.000 % | 1169.80/1169.85 c | 9655181 | 254 34289 152236 | 1 252992 18 | 0.000 % | 1169.80/1169.85 c | 9656827 | 254 34289 152236 | 1 254638 18 | 0.000 % | 1169.80/1169.85 c | 9657864 | 254 34289 152236 | 1 255675 18 | 0.000 % | 1169.80/1169.85 c | 9657964 | 254 34289 152236 | 1 255775 18 | 0.000 % | 1169.80/1169.85 c | 9660036 | 254 34289 152236 | 1 257847 18 | 0.000 % | 1169.80/1169.85 c | 9660137 | 254 34289 152236 | 1 257948 18 | 0.000 % | 1169.80/1169.85 c | 9662632 | 254 34289 152236 | 1 260443 18 | 0.000 % | 1169.80/1169.85 c | 9666347 | 254 34289 152236 | 1 264158 18 | 0.000 % | 1169.80/1169.85 c | 9727881 | 254 34289 152236 | 1 325692 19 | 0.000 % | 1169.80/1169.85 c | 9728714 | 254 34289 152236 | 1 326525 19 | 0.000 % | 1169.80/1169.85 c | 9762929 | 254 34289 152236 | 1 360740 20 | 0.000 % | 1169.80/1169.85 c | 9763030 | 254 34289 152236 | 1 360841 20 | 0.000 % | 1169.80/1169.85 c | 9769915 | 254 34289 152236 | 1 367726 20 | 0.000 % | 1169.80/1169.85 c | 9770163 | 254 34289 152236 | 1 367974 20 | 0.000 % | 1169.80/1169.85 c | 9777415 | 254 34289 152236 | 1 375226 20 | 0.000 % | 1169.80/1169.85 c | 9824127 | 254 34289 152236 | 1 421938 20 | 0.000 % | 1169.80/1169.85 c | 9851865 | 254 34289 152236 | 1 227278 17 | 0.000 % | 1169.80/1169.85 c | 9851965 | 254 34289 152236 | 1 227378 17 | 0.000 % | 1169.80/1169.85 c | 9855640 | 254 34289 152236 | 1 231053 18 | 0.000 % | 1169.80/1169.85 c | 9855741 | 254 34289 152236 | 1 231154 18 | 0.000 % | 1169.80/1169.85 c | 9906262 | 254 34289 152236 | 1 281675 19 | 0.000 % | 1169.80/1169.85 c | 9907815 | 254 34289 152236 | 1 283228 19 | 0.000 % | 1169.80/1169.85 c | 9911540 | 254 34289 152236 | 1 286953 19 | 0.000 % | 1169.80/1169.85 c | 9913021 | 254 34289 152236 | 1 288434 19 | 0.000 % | 1169.80/1169.85 c | 9913121 | 254 34289 152236 | 1 288534 19 | 0.000 % | 1169.80/1169.85 c | 9942742 | 254 34289 152236 | 1 318155 19 | 0.000 % | 1169.80/1169.85 c | 9971643 | 254 34289 152236 | 1 347056 20 | 0.000 % | 1284.30/1284.33 c | 10002864 | 254 34289 152236 | 1 378277 20 | 0.000 % | 1284.30/1284.33 c | 10020656 | 254 34289 152236 | 1 396069 20 | 0.000 % | 1284.30/1284.33 c | 10022774 | 254 34289 152236 | 1 398187 20 | 0.000 % | 1284.30/1284.33 c | 10033635 | 254 34289 152236 | 1 409048 21 | 0.000 % | 1284.30/1284.33 c | 10098712 | 254 34289 152236 | 1 249128 18 | 0.000 % | 1284.30/1284.33 c | 10141531 | 254 34289 152236 | 1 291947 19 | 0.000 % | 1284.30/1284.33 c | 10158970 | 254 34289 152236 | 1 309386 19 | 0.000 % | 1284.30/1284.33 c | 10181268 | 254 34289 152236 | 1 331684 19 | 0.000 % | 1284.30/1284.33 c | 10184066 | 254 34289 152236 | 1 334482 19 | 0.000 % | 1284.30/1284.33 c | 10199696 | 254 34289 152236 | 1 350112 19 | 0.000 % | 1284.30/1284.33 c | 10200598 | 254 34289 152236 | 1 351014 19 | 0.000 % | 1284.30/1284.33 c | 10202316 | 254 34289 152236 | 1 352732 19 | 0.000 % | 1284.30/1284.33 c | 10204800 | 254 34289 152236 | 1 355216 20 | 0.000 % | 1284.30/1284.33 c | 10204900 | 254 34289 152236 | 1 355316 20 | 0.000 % | 1284.30/1284.33 c | 10205282 | 254 34289 152236 | 1 355698 20 | 0.000 % | 1284.30/1284.33 c | 10294953 | 254 34289 152236 | 1 445369 20 | 0.000 % | 1284.30/1284.33 c | 10300263 | 254 34289 152236 | 1 450679 20 | 0.000 % | 1284.30/1284.33 c | 10356061 | 254 34289 152236 | 1 278870 18 | 0.000 % | 1284.30/1284.33 c | 10356519 | 254 34289 152236 | 1 279328 18 | 0.000 % | 1284.30/1284.33 c | 10366566 | 254 34289 152236 | 1 289375 18 | 0.000 % | 1284.30/1284.33 c | 10368864 | 254 34289 152236 | 1 291673 18 | 0.000 % | 1284.30/1284.33 c | 10383953 | 254 34289 152236 | 1 306762 19 | 0.000 % | 1284.30/1284.33 c | 10393437 | 254 34289 152236 | 1 316246 19 | 0.000 % | 1284.30/1284.33 c | 10408252 | 254 34289 152236 | 1 331061 19 | 0.000 % | 1284.30/1284.33 c | 10410129 | 254 34289 152236 | 1 332938 19 | 0.000 % | 1284.30/1284.33 c | 10410322 | 254 34289 152236 | 1 333131 19 | 0.000 % | 1284.30/1284.33 c | 10423807 | 254 34289 152236 | 1 346616 19 | 0.000 % | 1284.30/1284.33 c | 10469150 | 254 34289 152236 | 1 391959 20 | 0.000 % | 1284.30/1284.33 c | 10476795 | 254 34289 152236 | 1 399604 20 | 0.000 % | 1284.30/1284.33 c | 10517018 | 254 34289 152236 | 1 439827 21 | 0.000 % | 1284.30/1284.33 c | 10517118 | 254 34289 152236 | 1 439927 21 | 0.000 % | 1284.30/1284.33 c | 10520509 | 254 34289 152236 | 1 443318 21 | 0.000 % | 1284.30/1284.33 c | 10521243 | 254 34289 152236 | 1 444052 21 | 0.000 % | 1284.30/1284.33 c | 10521344 | 254 34289 152236 | 1 444153 21 | 0.000 % | 1284.30/1284.33 c | 10540886 | 254 34289 152236 | 1 233495 17 | 0.000 % | 1284.30/1284.33 c | 10541998 | 254 34289 152236 | 1 234607 17 | 0.000 % | 1284.30/1284.33 c | 10553816 | 254 34289 152236 | 1 246425 18 | 0.000 % | 1284.30/1284.33 c | 10559978 | 254 34289 152236 | 1 252587 18 | 0.000 % | 1284.30/1284.33 c | 10560078 | 254 34289 152236 | 1 252687 18 | 0.000 % | 1284.30/1284.33 c | 10593568 | 254 34289 152236 | 1 286177 19 | 0.000 % | 1284.30/1284.33 c | 10593820 | 254 34289 152236 | 1 286429 19 | 0.000 % | 1284.30/1284.33 c | 10606081 | 254 34289 152236 | 1 298690 19 | 0.000 % | 1284.30/1284.33 c | 10651324 | 254 34289 152236 | 1 343933 20 | 0.000 % | 1284.30/1284.33 c | 10651473 | 254 34289 152236 | 1 344082 20 | 0.000 % | 1284.30/1284.33 c | 10662003 | 254 34289 152236 | 1 354612 20 | 0.000 % | 1284.30/1284.33 c | 10677487 | 254 34289 152236 | 1 370096 20 | 0.000 % | 1284.30/1284.33 c | 10677587 | 254 34289 152236 | 1 370196 20 | 0.000 % | 1284.30/1284.33 c | 10687528 | 254 34289 152236 | 1 380137 20 | 0.000 % | 1284.30/1284.33 c | 10710175 | 254 34289 152236 | 1 402784 20 | 0.000 % | 1284.30/1284.33 c | 10710275 | 254
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262044-1303515094/watcher-3262044-1303515094 -o /tmp/evaluation-result-3262044-1303515094/solver-3262044-1303515094 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262044-1303515094.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.85 3.95 3.86 6/192 2801 /proc/meminfo: memFree=15723092/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=11800 CPUtime=0 cores=5,7 /proc/2801/stat : 2801 (runsolver) R 2799 2801 925 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 463108244 12083200 51 33554432000 4194304 5434984 140734131502704 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0 /proc/2801/statm: 2950 51 31 303 0 2644 0 [startup+0.038694 s] /proc/loadavg: 3.85 3.95 3.86 6/192 2801 /proc/meminfo: memFree=15723092/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 463108244 8912896 253 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100684 s] /proc/loadavg: 3.85 3.95 3.86 6/192 2801 /proc/meminfo: memFree=15723092/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.300649 s] /proc/loadavg: 3.85 3.95 3.86 6/192 2801 /proc/meminfo: memFree=15723092/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.700577 s] /proc/loadavg: 3.85 3.95 3.86 6/192 2801 /proc/meminfo: memFree=15723092/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.50044 s] /proc/loadavg: 3.85 3.95 3.86 5/194 2804 /proc/meminfo: memFree=15712784/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=24012 CPUtime=1.44 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 3786 0 0 0 144 0 0 0 25 0 1 0 463108248 24588288 2430 33554432000 4194304 4260849 140734240678800 18446744073709551615 4246653 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 6003 2430 248 17 0 2644 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32716 [startup+3.10015 s] /proc/loadavg: 3.87 3.95 3.86 5/194 2805 /proc/meminfo: memFree=15701128/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=26688 CPUtime=3.04 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 4751 0 0 0 304 0 0 0 25 0 1 0 463108248 27328512 3337 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 6672 3337 248 17 0 3313 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 35392 [startup+6.30058 s] /proc/loadavg: 3.87 3.95 3.86 5/194 2805 /proc/meminfo: memFree=15689896/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=31084 CPUtime=6.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 6011 0 0 0 624 1 0 0 25 0 1 0 463108248 31830016 4524 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225424 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 7771 4524 248 17 0 4412 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39788 [startup+12.7004 s] /proc/loadavg: 3.89 3.96 3.86 5/194 2805 /proc/meminfo: memFree=15672700/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=31972 CPUtime=12.64 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 8117 0 0 0 1263 1 0 0 25 0 1 0 463108248 32739328 4756 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 7993 4756 248 17 0 4634 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 40676 [startup+25.5002 s] /proc/loadavg: 3.90 3.96 3.86 5/194 2805 /proc/meminfo: memFree=15636992/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=46412 CPUtime=25.44 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 11331 0 0 0 2543 1 0 0 25 0 1 0 463108248 47525888 7851 33554432000 4194304 4260849 140734240678800 18446744073709551615 4209925 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 11603 7851 248 17 0 8244 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 55116 [startup+51.1007 s] /proc/loadavg: 3.93 3.96 3.86 5/194 2806 /proc/meminfo: memFree=15600740/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=53596 CPUtime=51.05 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 13725 0 0 0 5103 2 0 0 25 0 1 0 463108248 54882304 10141 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 13399 10141 248 17 0 10040 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 62300 [startup+102.306 s] /proc/loadavg: 3.97 3.96 3.87 5/194 2807 /proc/meminfo: memFree=15542948/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=70192 CPUtime=102.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 20726 0 0 0 10222 3 0 0 25 0 1 0 463108248 71876608 13766 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 17548 13766 248 17 0 14189 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 78896 [startup+162.301 s] /proc/loadavg: 3.99 3.97 3.87 5/194 2809 /proc/meminfo: memFree=15467032/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=89048 CPUtime=162.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 30852 0 0 0 16220 5 0 0 25 0 1 0 463108248 91185152 18986 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 22262 18986 248 17 0 18903 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 97752 [startup+222.301 s] /proc/loadavg: 3.99 3.97 3.88 5/194 2842 /proc/meminfo: memFree=15485724/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=119396 CPUtime=222.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 31456 0 0 0 22220 5 0 0 25 0 1 0 463108248 122261504 19566 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 29849 19566 248 17 0 26490 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 128100 [startup+282.3 s] /proc/loadavg: 3.99 3.97 3.88 5/194 2844 /proc/meminfo: memFree=15471444/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=91340 CPUtime=282.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 48971 0 0 0 28214 11 0 0 25 0 1 0 463108248 93532160 18065 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225100 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 22835 18065 249 17 0 19476 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 100044 [startup+342.301 s] /proc/loadavg: 4.07 3.99 3.89 5/194 2845 /proc/meminfo: memFree=15429624/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=110016 CPUtime=342.25 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 54566 0 0 0 34212 13 0 0 25 0 1 0 463108248 112656384 23421 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 27504 23421 249 17 0 24145 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 118720 [startup+402.301 s] /proc/loadavg: 4.02 3.99 3.90 5/194 2847 /proc/meminfo: memFree=15413104/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 ################ # More data... # ################ /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 137496 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2926 /proc/meminfo: memFree=15406696/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=128792 CPUtime=642.26 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60345 0 0 0 64212 14 0 0 25 0 1 0 463108248 131883008 28943 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 137496 [startup+702.301 s] /proc/loadavg: 4.04 4.01 3.92 5/194 2928 /proc/meminfo: memFree=15377052/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=128792 CPUtime=702.26 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60345 0 0 0 70212 14 0 0 25 0 1 0 463108248 131883008 28943 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 137496 [startup+762.307 s] /proc/loadavg: 4.01 4.01 3.92 6/194 2964 /proc/meminfo: memFree=15415984/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=128792 CPUtime=762.27 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60345 0 0 0 76213 14 0 0 25 0 1 0 463108248 131883008 28943 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 137496 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.92 6/194 2965 /proc/meminfo: memFree=15383788/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=128792 CPUtime=822.26 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60345 0 0 0 82212 14 0 0 25 0 1 0 463108248 131883008 28943 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 137496 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2967 /proc/meminfo: memFree=15415024/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=128792 CPUtime=882.26 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60345 0 0 0 88212 14 0 0 25 0 1 0 463108248 131883008 28943 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32198 28943 249 17 0 28839 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 137496 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2968 /proc/meminfo: memFree=15388724/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=130072 CPUtime=942.26 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 60681 0 0 0 94212 14 0 0 25 0 1 0 463108248 133193728 29263 33554432000 4194304 4260849 140734240678800 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 32518 29263 249 17 0 29159 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 138776 [startup+1002.3 s] /proc/loadavg: 4.08 4.02 3.92 6/194 2970 /proc/meminfo: memFree=15378288/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=133144 CPUtime=1002.27 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 61489 0 0 0 100212 15 0 0 25 0 1 0 463108248 136339456 30031 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 33286 30031 249 17 0 29927 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 141848 [startup+1062.3 s] /proc/loadavg: 4.03 4.01 3.92 5/194 2972 /proc/meminfo: memFree=15359536/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=133144 CPUtime=1062.28 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 61494 0 0 0 106213 15 0 0 25 0 1 0 463108248 136339456 30036 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 33286 30036 249 17 0 29927 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 141848 [startup+1122.3 s] /proc/loadavg: 4.01 4.00 3.92 5/194 2973 /proc/meminfo: memFree=15356660/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=133144 CPUtime=1122.27 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 71485 0 0 0 112211 16 0 0 25 0 1 0 463108248 136339456 30036 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 33286 30036 249 17 0 29927 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 141848 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.92 6/194 2975 /proc/meminfo: memFree=15247260/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=182464 CPUtime=1182.28 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 92209 0 0 0 118208 20 0 0 25 0 1 0 463108248 186843136 40036 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 45616 40036 249 17 0 42257 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 191168 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.92 6/194 2976 /proc/meminfo: memFree=15275020/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=182464 CPUtime=1242.28 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 112093 0 0 0 124203 25 0 0 25 0 1 0 463108248 186843136 38464 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 45616 38464 249 17 0 42257 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 191168 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.92 4/191 2979 /proc/meminfo: memFree=15390832/32950928 swapFree=67111528/67111528 [pid=2801] ppid=2799 vsize=8704 CPUtime=0.03 cores=5,7 /proc/2801/stat : 2801 (glucose.sh) S 2799 2801 925 0 -1 4202496 361 733 0 0 0 0 3 0 25 0 1 0 463108244 8912896 255 33554432000 4194304 4922060 140735643772608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2801/statm: 2176 255 211 178 0 69 0 [pid=2804] ppid=2801 vsize=144816 CPUtime=1299.98 cores=5,7 /proc/2804/stat : 2804 (glucose_static) R 2801 2801 925 0 -1 4202496 127128 0 0 0 129968 30 0 0 25 0 1 0 463108248 148291584 31322 33554432000 4194304 4260849 140734240678800 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2804/statm: 36204 31322 249 17 0 32845 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 153520 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2801 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=33994 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.036993 # while last known CPU time is 1300.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.01 CPU user time (s): 1299.71 CPU system time (s): 0.3 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 202840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.033994 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1094 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 5 runsolver used 2.10168 second user time and 5.00824 second system time The end
Begin job on node122 at 2011-04-23 01:31:35 IDJOB=3262044 IDBENCH=83269 IDSOLVER=1651 FILE ID=node122/3262044-1303515094 RUNJOBID= node122-1303513790-2593 PBS_JOBID= 13134241 Free space on /tmp= 70800 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_507.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262044-1303515094/watcher-3262044-1303515094 -o /tmp/evaluation-result-3262044-1303515094/solver-3262044-1303515094 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262044-1303515094.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 0c4fc551e2fe598a8074df6204d87f7d RANDOM SEED=1576495218 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 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.75 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.820 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.820 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.75 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 15723116 kB Buffers: 1618444 kB Cached: 14959156 kB SwapCached: 0 kB Active: 4805428 kB Inactive: 11873444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15723116 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9456 kB Writeback: 0 kB AnonPages: 100852 kB Mapped: 15480 kB Slab: 484936 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 292604 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= 70800 MiB End job on node122 at 2011-04-23 01:53:17