| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf |
| MD5SUM | 00e6f1cbbaaa8f43dc6451d49bfa1cef |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.241962 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 975 |
| Number of clauses | 34275 |
| Sum of the clauses size | 69375 |
| Maximum clause length | 13 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 34200 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 75 |
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.00 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 34275 69375 | 10282 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 33196 103825 | -- 0 -- -- | -- | -1079/34450 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 900 #clauses: 33196 #literals: 103825 0.00/0.04 c CPU time: 0.041993 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 64.08/64.11 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 64.08/64.11 c WARNING: for repeatability, setting FPU to use double precision 64.08/64.11 c ============================[ Problem Statistics ]============================= 64.08/64.11 c | | 64.08/64.11 c | Number of variables: 900 | 64.08/64.11 c | Number of clauses: 33196 | 64.08/64.11 c | Parse time: 0.01 s | 64.08/64.11 c | | 64.08/64.11 c ============================[ Search Statistics ]============================== 64.08/64.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.08/64.11 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 64.08/64.11 c =============================================================================== 64.08/64.11 c | 914 | 900 33196 103825 | 1 914 61 | 0.000 % | 64.08/64.11 c | 52763 | 900 33196 103825 | 1 18633 36 | 0.000 % | 64.08/64.11 c | 75594 | 900 33196 103825 | 1 27032 31 | 0.000 % | 64.08/64.11 c | 143850 | 900 33196 103825 | 1 36467 31 | 0.000 % | 64.08/64.11 c | 206718 | 900 33196 103825 | 1 47137 31 | 0.000 % | 64.08/64.11 c | 240313 | 900 33196 103825 | 1 50735 34 | 0.000 % | 64.08/64.11 c | 257573 | 900 33196 103825 | 1 35393 24 | 0.000 % | 64.08/64.11 c | 298636 | 900 33196 103825 | 1 41255 27 | 0.000 % | 64.08/64.11 c | 330111 | 900 33196 103825 | 1 72730 34 | 0.000 % | 64.08/64.11 c | 383476 | 900 33196 103825 | 1 47892 25 | 0.000 % | 64.08/64.11 c | 392784 | 900 33196 103825 | 1 57200 28 | 0.000 % | 64.08/64.11 c | 392884 | 900 33196 103825 | 1 57300 28 | 0.000 % | 64.08/64.11 c | 393283 | 900 33196 103825 | 1 57699 28 | 0.000 % | 64.08/64.11 c | 407851 | 900 33196 103825 | 1 72267 31 | 0.000 % | 64.08/64.11 c | 411369 | 900 33196 103825 | 1 75785 32 | 0.000 % | 64.08/64.11 c | 446088 | 900 33196 103825 | 1 67505 29 | 0.000 % | 64.08/64.11 c | 448627 | 900 33196 103825 | 1 70044 29 | 0.000 % | 64.08/64.11 c | 453908 | 900 33196 103825 | 1 75325 30 | 0.000 % | 64.08/64.11 c | 458924 | 900 33196 103825 | 1 80341 31 | 0.000 % | 64.08/64.11 c | 460768 | 900 33196 103825 | 1 82185 31 | 0.000 % | 64.08/64.11 c | 464031 | 900 33196 103825 | 1 85448 31 | 0.000 % | 64.08/64.11 c | 464131 | 900 33196 103825 | 1 85548 31 | 0.000 % | 64.08/64.11 c | 467189 | 900 33196 103825 | 1 88606 32 | 0.000 % | 64.08/64.11 c | 467291 | 900 33196 103825 | 1 88708 32 | 0.000 % | 64.08/64.11 c | 467392 | 900 33196 103825 | 1 88809 32 | 0.000 % | 64.08/64.11 c | 470279 | 900 33196 103825 | 1 46104 21 | 0.000 % | 64.08/64.11 c | 470381 | 900 33196 103825 | 1 46206 21 | 0.000 % | 64.08/64.11 c | 475271 | 900 33196 103825 | 1 51096 24 | 0.000 % | 64.08/64.11 c | 476873 | 900 33196 103825 | 1 52698 24 | 0.000 % | 64.08/64.11 c | 493562 | 900 33196 103825 | 1 69387 28 | 0.000 % | 64.08/64.11 c | 521601 | 900 33196 103825 | 1 49230 21 | 0.000 % | 64.08/64.11 c | 521871 | 900 33196 103825 | 1 49500 21 | 0.000 % | 64.08/64.11 c | 528295 | 900 33196 103825 | 1 55924 24 | 0.000 % | 64.08/64.11 c | 528653 | 900 33196 103825 | 1 56282 24 | 0.000 % | 64.08/64.11 c | 564277 | 900 33196 103825 | 1 91906 31 | 0.000 % | 64.08/64.11 c | 578595 | 900 33196 103825 | 1 55421 23 | 0.000 % | 64.08/64.11 c | 599571 | 900 33196 103825 | 1 76397 28 | 0.000 % | 64.08/64.11 c | 613262 | 900 33196 103825 | 1 90088 30 | 0.000 % | 64.08/64.11 c | 617354 | 900 33196 103825 | 1 94180 30 | 0.000 % | 149.28/149.35 c | 620753 | 900 33196 103825 | 1 97579 31 | 0.000 % | 149.28/149.35 c | 630321 | 900 33196 103825 | 1 53738 21 | 0.000 % | 149.28/149.35 c | 633823 | 900 33196 103825 | 1 57240 23 | 0.000 % | 149.28/149.35 c | 645703 | 900 33196 103825 | 1 69120 26 | 0.000 % | 149.28/149.35 c | 680987 | 900 33196 103825 | 1 104404 31 | 0.000 % | 149.28/149.35 c | 693581 | 900 33196 103825 | 1 60999 22 | 0.000 % | 149.28/149.35 c | 695553 | 900 33196 103825 | 1 62971 23 | 0.000 % | 149.28/149.35 c | 719379 | 900 33196 103825 | 1 86797 28 | 0.000 % | 149.28/149.35 c | 773188 | 900 33196 103825 | 1 82014 26 | 0.000 % | 149.28/149.35 c | 784084 | 900 33196 103825 | 1 92910 28 | 0.000 % | 149.28/149.35 c | 826493 | 900 33196 103825 | 1 74118 25 | 0.000 % | 149.28/149.35 c | 838641 | 900 33196 103825 | 1 86266 27 | 0.000 % | 149.28/149.35 c | 838931 | 900 33196 103825 | 1 86556 27 | 0.000 % | 149.28/149.35 c | 864302 | 900 33196 103825 | 1 111927 31 | 0.000 % | 149.28/149.35 c | 875855 | 900 33196 103825 | 1 123480 32 | 0.000 % | 149.28/149.35 c | 875971 | 900 33196 103825 | 1 123596 32 | 0.000 % | 149.28/149.35 c | 923924 | 900 33196 103825 | 1 107741 27 | 0.000 % | 149.28/149.35 c | 925245 | 900 33196 103825 | 1 109062 27 | 0.000 % | 149.28/149.35 c | 930630 | 900 33196 103825 | 1 114447 28 | 0.000 % | 149.28/149.35 c | 930730 | 900 33196 103825 | 1 114547 28 | 0.000 % | 149.28/149.35 c | 930830 | 900 33196 103825 | 1 114647 28 | 0.000 % | 149.28/149.35 c | 931017 | 900 33196 103825 | 1 114834 28 | 0.000 % | 149.28/149.35 c | 932269 | 900 33196 103825 | 1 116086 28 | 0.000 % | 149.28/149.35 c | 932369 | 900 33196 103825 | 1 116186 28 | 0.000 % | 149.28/149.35 c | 939376 | 900 33196 103825 | 1 123193 29 | 0.000 % | 149.28/149.35 c | 943142 | 900 33196 103825 | 1 126959 30 | 0.000 % | 149.28/149.35 c | 945411 | 900 33196 103825 | 1 129228 30 | 0.000 % | 149.28/149.35 c | 945511 | 900 33196 103825 | 1 129328 30 | 0.000 % | 149.28/149.35 c | 949675 | 900 33196 103825 | 1 67097 20 | 0.000 % | 149.28/149.35 c | 980435 | 900 33196 103825 | 1 97857 25 | 0.000 % | 149.28/149.35 c | 1053318 | 900 33196 103825 | 1 101738 27 | 0.000 % | 149.28/149.35 c | 1066445 | 900 33196 103825 | 1 114865 29 | 0.000 % | 149.28/149.35 c | 1096360 | 900 33196 103825 | 1 73175 21 | 0.000 % | 149.28/149.35 c | 1096513 | 900 33196 103825 | 1 73328 21 | 0.000 % | 149.28/149.35 c | 1100847 | 900 33196 103825 | 1 77662 23 | 0.000 % | 149.28/149.35 c | 1101308 | 900 33196 103825 | 1 78123 23 | 0.000 % | 149.28/149.35 c | 1107684 | 900 33196 103825 | 1 84499 24 | 0.000 % | 149.28/149.35 c | 1108986 | 900 33196 103825 | 1 85801 24 | 0.000 % | 149.28/149.35 c | 1109831 | 900 33196 103825 | 1 86646 25 | 0.000 % | 149.28/149.35 c | 1109931 | 900 33196 103825 | 1 86746 25 | 0.000 % | 149.28/149.35 c | 1138374 | 900 33196 103825 | 1 115189 29 | 0.000 % | 149.28/149.35 c | 1150313 | 900 33196 103825 | 1 127128 30 | 0.000 % | 149.28/149.35 c | 1151375 | 900 33196 103825 | 1 128190 30 | 0.000 % | 149.28/149.35 c | 1156044 | 900 33196 103825 | 1 132859 31 | 0.000 % | 149.28/149.35 c | 1161912 | 900 33196 103825 | 1 138727 32 | 0.000 % | 149.28/149.35 c | 1183657 | 900 33196 103825 | 1 86272 24 | 0.000 % | 149.28/149.35 c | 1192764 | 900 33196 103825 | 1 95379 25 | 0.000 % | 149.28/149.35 c | 1192864 | 900 33196 103825 | 1 95479 26 | 0.000 % | 149.28/149.35 c | 1192964 | 900 33196 103825 | 1 95579 26 | 0.000 % | 149.28/149.35 c | 1193416 | 900 33196 103825 | 1 96031 26 | 0.000 % | 198.78/198.81 c | 1202271 | 900 33196 103825 | 1 104886 27 | 0.000 % | 198.78/198.81 c | 1212612 | 900 33196 103825 | 1 115227 29 | 0.000 % | 198.78/198.81 c | 1213107 | 900 33196 103825 | 1 115722 29 | 0.000 % | 198.78/198.81 c | 1213243 | 900 33196 103825 | 1 115858 29 | 0.000 % | 198.78/198.81 c | 1213722 | 900 33196 103825 | 1 116337 29 | 0.000 % | 198.78/198.81 c | 1214158 | 900 33196 103825 | 1 116773 29 | 0.000 % | 198.78/198.81 c | 1215067 | 900 33196 103825 | 1 117682 29 | 0.000 % | 198.78/198.81 c | 1221622 | 900 33196 103825 | 1 124237 30 | 0.000 % | 198.78/198.81 c | 1230361 | 900 33196 103825 | 1 132976 31 | 0.000 % | 198.78/198.81 c | 1238933 | 900 33196 103825 | 1 141548 31 | 0.000 % | 198.78/198.81 c | 1240298 | 900 33196 103825 | 1 142913 32 | 0.000 % | 198.78/198.81 c | 1244726 | 900 33196 103825 | 1 147341 32 | 0.000 % | 198.78/198.81 c | 1244872 | 900 33196 103825 | 1 147487 32 | 0.000 % | 198.78/198.81 c | 1246709 | 900 33196 103825 | 1 149324 32 | 0.000 % | 198.78/198.81 c | 1248856 | 900 33196 103825 | 1 151471 32 | 0.000 % | 198.78/198.81 c | 1251957 | 900 33196 103825 | 1 77776 20 | 0.000 % | 198.78/198.81 c | 1252057 | 900 33196 103825 | 1 77876 20 | 0.000 % | 198.78/198.81 c | 1263256 | 900 33196 103825 | 1 89075 23 | 0.000 % | 198.78/198.81 c | 1263369 | 900 33196 103825 | 1 89188 23 | 0.000 % | 198.78/198.81 c | 1281574 | 900 33196 103825 | 1 107393 27 | 0.000 % | 198.78/198.81 c | 1291408 | 900 33196 103825 | 1 117227 29 | 0.000 % | 198.78/198.81 c | 1299454 | 900 33196 103825 | 1 125273 29 | 0.000 % | 198.78/198.81 c | 1299902 | 900 33196 103825 | 1 125721 29 | 0.000 % | 198.78/198.81 c | 1300100 | 900 33196 103825 | 1 125919 29 | 0.000 % | 198.78/198.81 c | 1301604 | 900 33196 103825 | 1 127423 29 | 0.000 % | 198.78/198.81 c | 1303714 | 900 33196 103825 | 1 129533 30 | 0.000 % | 198.78/198.81 c | 1304255 | 900 33196 103825 | 1 130074 30 | 0.000 % | 198.78/198.81 c | 1312234 | 900 33196 103825 | 1 138053 31 | 0.000 % | 198.78/198.81 c | 1337553 | 900 33196 103825 | 1 83976 20 | 0.000 % | 198.78/198.81 c | 1339386 | 900 33196 103825 | 1 85809 21 | 0.000 % | 198.78/198.81 c | 1366988 | 900 33196 103825 | 1 113411 26 | 0.000 % | 198.78/198.81 c | 1371526 | 900 33196 103825 | 1 117949 26 | 0.000 % | 198.78/198.81 c | 1371628 | 900 33196 103825 | 1 118051 26 | 0.000 % | 198.78/198.81 c | 1371729 | 900 33196 103825 | 1 118152 26 | 0.000 % | 198.78/198.81 c | 1382711 | 900 33196 103825 | 1 129134 28 | 0.000 % | 198.78/198.81 c | 1384827 | 900 33196 103825 | 1 131250 28 | 0.000 % | 198.78/198.81 c | 1395498 | 900 33196 103825 | 1 141921 30 | 0.000 % | 198.78/198.81 c | 1395599 | 900 33196 103825 | 1 142022 30 | 0.000 % | 198.78/198.81 c | 1407077 | 900 33196 103825 | 1 153500 31 | 0.000 % | 198.78/198.81 c | 1410493 | 900 33196 103825 | 1 156916 31 | 0.000 % | 198.78/198.81 c | 1410593 | 900 33196 103825 | 1 157016 31 | 0.000 % | 198.78/198.81 c | 1432257 | 900 33196 103825 | 1 96674 23 | 0.000 % | 198.78/198.81 c | 1454472 | 900 33196 103825 | 1 118889 27 | 0.000 % | 198.78/198.81 c | 1469976 | 900 33196 103825 | 1 134393 29 | 0.000 % | 198.78/198.81 c | 1470076 | 900 33196 103825 | 1 134493 29 | 0.000 % | 198.78/198.81 c | 1470417 | 900 33196 103825 | 1 134834 29 | 0.000 % | 198.78/198.81 c | 1478681 | 900 33196 103825 | 1 143098 30 | 0.000 % | 198.78/198.81 c | 1482049 | 900 33196 103825 | 1 146466 30 | 0.000 % | 198.78/198.81 c | 1484045 | 900 33196 103825 | 1 148462 30 | 0.000 % | 198.78/198.81 c | 1485302 | 900 33196 103825 | 1 149719 30 | 0.000 % | 303.48/303.55 c | 1532166 | 900 33196 103825 | 1 111983 27 | 0.000 % | 303.48/303.55 c | 1534231 | 900 33196 103825 | 1 114048 27 | 0.000 % | 303.48/303.55 c | 1540381 | 900 33196 103825 | 1 120198 28 | 0.000 % | 303.48/303.55 c | 1542341 | 900 33196 103825 | 1 122158 28 | 0.000 % | 303.48/303.55 c | 1543419 | 900 33196 103825 | 1 123236 28 | 0.000 % | 303.48/303.55 c | 1547077 | 900 33196 103825 | 1 126894 29 | 0.000 % | 303.48/303.55 c | 1548762 | 900 33196 103825 | 1 128579 29 | 0.000 % | 303.48/303.55 c | 1557729 | 900 33196 103825 | 1 137546 30 | 0.000 % | 303.48/303.55 c | 1559750 | 900 33196 103825 | 1 139567 30 | 0.000 % | 303.48/303.55 c | 1563819 | 900 33196 103825 | 1 143636 31 | 0.000 % | 303.48/303.55 c | 1563954 | 900 33196 103825 | 1 143771 31 | 0.000 % | 303.48/303.55 c | 1571511 | 900 33196 103825 | 1 151328 31 | 0.000 % | 303.48/303.55 c | 1573515 | 900 33196 103825 | 1 153332 31 | 0.000 % | 303.48/303.55 c | 1577349 | 900 33196 103825 | 1 157166 32 | 0.000 % | 303.48/303.55 c | 1578347 | 900 33196 103825 | 1 158164 32 | 0.000 % | 303.48/303.55 c | 1580050 | 900 33196 103825 | 1 159867 32 | 0.000 % | 303.48/303.55 c | 1581497 | 900 33196 103825 | 1 161314 32 | 0.000 % | 303.48/303.55 c | 1581752 | 900 33196 103825 | 1 161569 32 | 0.000 % | 303.48/303.55 c | 1608279 | 900 33196 103825 | 1 100908 23 | 0.000 % | 303.48/303.55 c | 1713146 | 900 33196 103825 | 1 115968 23 | 0.000 % | 303.48/303.55 c | 1731742 | 900 33196 103825 | 1 134564 26 | 0.000 % | 303.48/303.55 c | 1732147 | 900 33196 103825 | 1 134969 26 | 0.000 % | 303.48/303.55 c | 1746930 | 900 33196 103825 | 1 149752 27 | 0.000 % | 303.48/303.55 c | 1755858 | 900 33196 103825 | 1 158680 28 | 0.000 % | 303.48/303.55 c | 1756111 | 900 33196 103825 | 1 158933 28 | 0.000 % | 303.48/303.55 c | 1756215 | 900 33196 103825 | 1 159037 28 | 0.000 % | 303.48/303.55 c | 1783995 | 900 33196 103825 | 1 94410 19 | 0.000 % | 303.48/303.55 c | 1822431 | 900 33196 103825 | 1 132846 24 | 0.000 % | 303.48/303.55 c | 1842511 | 900 33196 103825 | 1 152926 26 | 0.000 % | 303.48/303.55 c | 1892401 | 900 33196 103825 | 1 107816 21 | 0.000 % | 303.48/303.55 c | 1901057 | 900 33196 103825 | 1 116472 22 | 0.000 % | 303.48/303.55 c | 1911175 | 900 33196 103825 | 1 126590 24 | 0.000 % | 303.48/303.55 c | 1912819 | 900 33196 103825 | 1 128234 24 | 0.000 % | 303.48/303.55 c | 1917481 | 900 33196 103825 | 1 132896 24 | 0.000 % | 303.48/303.55 c | 1919880 | 900 33196 103825 | 1 135295 24 | 0.000 % | 303.48/303.55 c | 1920059 | 900 33196 103825 | 1 135474 24 | 0.000 % | 303.48/303.55 c | 1921342 | 900 33196 103825 | 1 136757 24 | 0.000 % | 303.48/303.55 c | 1937050 | 900 33196 103825 | 1 152465 26 | 0.000 % | 303.48/303.55 c | 1939367 | 900 33196 103825 | 1 154782 26 | 0.000 % | 303.48/303.55 c | 1950227 | 900 33196 103825 | 1 165642 27 | 0.000 % | 303.48/303.55 c | 1954465 | 900 33196 103825 | 1 169880 28 | 0.000 % | 303.48/303.55 c | 1975738 | 900 33196 103825 | 1 191153 29 | 0.000 % | 303.48/303.55 c | 1978115 | 900 33196 103825 | 1 193530 29 | 0.000 % | 303.48/303.55 c | 1993885 | 900 33196 103825 | 1 111710 22 | 0.000 % | 303.48/303.55 c | 2001930 | 900 33196 103825 | 1 119755 23 | 0.000 % | 303.48/303.55 c | 2002970 | 900 33196 103825 | 1 120795 23 | 0.000 % | 303.48/303.55 c | 2003317 | 900 33196 103825 | 1 121142 23 | 0.000 % | 303.48/303.55 c | 2028101 | 900 33196 103825 | 1 145926 27 | 0.000 % | 303.48/303.55 c | 2028449 | 900 33196 103825 | 1 146274 27 | 0.000 % | 303.48/303.55 c | 2032909 | 900 33196 103825 | 1 150734 28 | 0.000 % | 369.98/370.06 c | 2033009 | 900 33196 103825 | 1 150834 28 | 0.000 % | 369.98/370.06 c | 2033119 | 900 33196 103825 | 1 150944 28 | 0.000 % | 369.98/370.06 c | 2064037 | 900 33196 103825 | 1 181862 30 | 0.000 % | 369.98/370.06 c | 2069047 | 900 33196 103825 | 1 186872 31 | 0.000 % | 369.98/370.06 c | 2072517 | 900 33196 103825 | 1 190342 31 | 0.000 % | 369.98/370.06 c | 2087867 | 900 33196 103825 | 1 105483 21 | 0.000 % | 369.98/370.06 c | 2096966 | 900 33196 103825 | 1 114582 22 | 0.000 % | 369.98/370.06 c | 2120505 | 900 33196 103825 | 1 138121 26 | 0.000 % | 369.98/370.06 c | 2120718 | 900 33196 103825 | 1 138334 26 | 0.000 % | 369.98/370.06 c | 2125312 | 900 33196 103825 | 1 142928 26 | 0.000 % | 369.98/370.06 c | 2130258 | 900 33196 103825 | 1 147874 27 | 0.000 % | 369.98/370.06 c | 2132396 | 900 33196 103825 | 1 150012 27 | 0.000 % | 369.98/370.06 c | 2137837 | 900 33196 103825 | 1 155453 28 | 0.000 % | 369.98/370.06 c | 2138762 | 900 33196 103825 | 1 156378 28 | 0.000 % | 369.98/370.06 c | 2141447 | 900 33196 103825 | 1 159063 28 | 0.000 % | 369.98/370.06 c | 2142749 | 900 33196 103825 | 1 160365 28 | 0.000 % | 369.98/370.06 c | 2154455 | 900 33196 103825 | 1 172071 29 | 0.000 % | 369.98/370.06 c | 2163832 | 900 33196 103825 | 1 181448 30 | 0.000 % | 369.98/370.06 c | 2163932 | 900 33196 103825 | 1 181548 30 | 0.000 % | 369.98/370.06 c | 2164032 | 900 33196 103825 | 1 181648 30 | 0.000 % | 369.98/370.06 c | 2173244 | 900 33196 103825 | 1 190860 30 | 0.000 % | 369.98/370.06 c | 2206872 | 900 33196 103825 | 1 121688 23 | 0.000 % | 369.98/370.06 c | 2219159 | 900 33196 103825 | 1 133975 24 | 0.000 % | 369.98/370.06 c | 2219387 | 900 33196 103825 | 1 134203 24 | 0.000 % | 369.98/370.06 c | 2221278 | 900 33196 103825 | 1 136094 25 | 0.000 % | 369.98/370.06 c | 2236505 | 900 33196 103825 | 1 151321 26 | 0.000 % | 369.98/370.06 c | 2266378 | 900 33196 103825 | 1 181194 29 | 0.000 % | 369.98/370.06 c | 2266478 | 900 33196 103825 | 1 181294 29 | 0.000 % | 369.98/370.06 c | 2266579 | 900 33196 103825 | 1 181395 29 | 0.000 % | 369.98/370.06 c | 2267535 | 900 33196 103825 | 1 182351 29 | 0.000 % | 369.98/370.06 c | 2269699 | 900 33196 103825 | 1 184515 30 | 0.000 % | 369.98/370.06 c | 2270911 | 900 33196 103825 | 1 185727 30 | 0.000 % | 369.98/370.06 c | 2275826 | 900 33196 103825 | 1 190642 30 | 0.000 % | 369.98/370.06 c | 2284288 | 900 33196 103825 | 1 199104 31 | 0.000 % | 369.98/370.06 c | 2284538 | 900 33196 103825 | 1 199354 31 | 0.000 % | 369.98/370.06 c | 2285232 | 900 33196 103825 | 1 200048 31 | 0.000 % | 369.98/370.06 c | 2285405 | 900 33196 103825 | 1 200221 31 | 0.000 % | 369.98/370.06 c | 2285505 | 900 33196 103825 | 1 200321 31 | 0.000 % | 369.98/370.06 c | 2286396 | 900 33196 103825 | 1 201212 31 | 0.000 % | 369.98/370.06 c | 2286517 | 900 33196 103825 | 1 201333 31 | 0.000 % | 369.98/370.06 c | 2286633 | 900 33196 103825 | 1 201449 31 | 0.000 % | 369.98/370.06 c | 2287636 | 900 33196 103825 | 1 202452 31 | 0.000 % | 369.98/370.06 c | 2287885 | 900 33196 103825 | 1 202701 31 | 0.000 % | 369.98/370.06 c | 2298893 | 900 33196 103825 | 1 108304 20 | 0.000 % | 369.98/370.06 c | 2299725 | 900 33196 103825 | 1 109136 20 | 0.000 % | 369.98/370.06 c | 2307708 | 900 33196 103825 | 1 117119 21 | 0.000 % | 369.98/370.06 c | 2343783 | 900 33196 103825 | 1 153194 25 | 0.000 % | 369.98/370.06 c | 2345304 | 900 33196 103825 | 1 154715 25 | 0.000 % | 369.98/370.06 c | 2354663 | 900 33196 103825 | 1 164074 26 | 0.000 % | 369.98/370.06 c | 2355000 | 900 33196 103825 | 1 164411 26 | 0.000 % | 449.89/449.90 c | 2367725 | 900 33196 103825 | 1 177136 28 | 0.000 % | 449.89/449.90 c | 2367827 | 900 33196 103825 | 1 177238 28 | 0.000 % | 449.89/449.90 c | 2400881 | 900 33196 103825 | 1 210292 30 | 0.000 % | 449.89/449.90 c | 2403346 | 900 33196 103825 | 1 212757 30 | 0.000 % | 449.89/449.90 c | 2458766 | 900 33196 103825 | 1 160179 26 | 0.000 % | 449.89/449.90 c | 2459881 | 900 33196 103825 | 1 161294 27 | 0.000 % | 449.89/449.90 c | 2461458 | 900 33196 103825 | 1 162871 27 | 0.000 % | 449.89/449.90 c | 2469295 | 900 33196 103825 | 1 170708 27 | 0.000 % | 449.89/449.90 c | 2469414 | 900 33196 103825 | 1 170827 27 | 0.000 % | 449.89/449.90 c | 2472458 | 900 33196 103825 | 1 173871 28 | 0.000 % | 449.89/449.90 c | 2472559 | 900 33196 103825 | 1 173972 28 | 0.000 % | 449.89/449.90 c | 2475488 | 900 33196 103825 | 1 176901 28 | 0.000 % | 449.89/449.90 c | 2475793 | 900 33196 103825 | 1 177206 28 | 0.000 % | 449.89/449.90 c | 2475893 | 900 33196 103825 | 1 177306 28 | 0.000 % | 449.89/449.90 c | 2475997 | 900 33196 103825 | 1 177410 28 | 0.000 % | 449.89/449.90 c | 2476097 | 900 33196 103825 | 1 177510 28 | 0.000 % | 449.89/449.90 c | 2501301 | 900 33196 103825 | 1 202714 30 | 0.000 % | 449.89/449.90 c | 2505054 | 900 33196 103825 | 1 206467 30 | 0.000 % | 449.89/449.90 c | 2532207 | 900 33196 103825 | 1 123030 21 | 0.000 % | 449.89/449.90 c | 2546884 | 900 33196 103825 | 1 137707 23 | 0.000 % | 449.89/449.90 c | 2556293 | 900 33196 103825 | 1 147116 24 | 0.000 % | 449.89/449.90 c | 2564846 | 900 33196 103825 | 1 155669 25 | 0.000 % | 449.89/449.90 c | 2565736 | 900 33196 103825 | 1 156559 25 | 0.000 % | 449.89/449.90 c | 2566141 | 900 33196 103825 | 1 156964 25 | 0.000 % | 449.89/449.90 c | 2566564 | 900 33196 103825 | 1 157387 25 | 0.000 % | 449.89/449.91 c | 2570372 | 900 33196 103825 | 1 161195 26 | 0.000 % | 449.89/449.91 c | 2570474 | 900 33196 103825 | 1 161297 26 | 0.000 % | 449.89/449.91 c | 2589585 | 900 33196 103825 | 1 180408 27 | 0.000 % | 449.89/449.91 c | 2591223 | 900 33196 103825 | 1 182046 28 | 0.000 % | 449.89/449.91 c | 2607472 | 900 33196 103825 | 1 198295 29 | 0.000 % | 449.89/449.91 c | 2607780 | 900 33196 103825 | 1 198603 29 | 0.000 % | 449.89/449.91 c | 2608611 | 900 33196 103825 | 1 199434 29 | 0.000 % | 449.89/449.91 c | 2609018 | 900 33196 103825 | 1 199841 29 | 0.000 % | 449.89/449.91 c | 2611036 | 900 33196 103825 | 1 201859 29 | 0.000 % | 449.89/449.91 c | 2611139 | 900 33196 103825 | 1 201962 29 | 0.000 % | 449.89/449.91 c | 2613840 | 900 33196 103825 | 1 204663 30 | 0.000 % | 449.89/449.91 c | 2614233 | 900 33196 103825 | 1 205056 30 | 0.000 % | 449.89/449.91 c | 2614642 | 900 33196 103825 | 1 205465 30 | 0.000 % | 449.89/449.91 c | 2616484 | 900 33196 103825 | 1 207307 30 | 0.000 % | 449.89/449.91 c | 2624117 | 900 33196 103825 | 1 214940 30 | 0.000 % | 449.89/449.91 c | 2624218 | 900 33196 103825 | 1 215041 30 | 0.000 % | 449.89/449.91 c | 2624994 | 900 33196 103825 | 1 215817 30 | 0.000 % | 449.89/449.91 c | 2626345 | 900 33196 103825 | 1 217168 30 | 0.000 % | 449.89/449.91 c | 2626960 | 900 33196 103825 | 1 217783 31 | 0.000 % | 449.89/449.91 c | 2632087 | 900 33196 103825 | 1 222910 31 | 0.000 % | 449.89/449.91 c | 2657964 | 900 33196 103825 | 1 135577 22 | 0.000 % | 449.89/449.91 c | 2659597 | 900 33196 103825 | 1 137210 23 | 0.000 % | 449.89/449.91 c | 2713136 | 900 33196 103825 | 1 190749 28 | 0.000 % | 449.89/449.91 c | 2713877 | 900 33196 103825 | 1 191490 28 | 0.000 % | 449.89/449.91 c | 2715250 | 900 33196 103825 | 1 192863 28 | 0.000 % | 539.29/539.31 c | 2718011 | 900 33196 103825 | 1 195624 28 | 0.000 % | 539.29/539.31 c | 2724419 | 900 33196 103825 | 1 202032 29 | 0.000 % | 539.29/539.31 c | 2729582 | 900 33196 103825 | 1 207195 29 | 0.000 % | 539.29/539.31 c | 2734861 | 900 33196 103825 | 1 212474 29 | 0.000 % | 539.29/539.31 c | 2743965 | 900 33196 103825 | 1 221578 30 | 0.000 % | 539.29/539.31 c | 2753432 | 900 33196 103825 | 1 231045 30 | 0.000 % | 539.29/539.31 c | 2753533 | 900 33196 103825 | 1 231146 30 | 0.000 % | 539.29/539.31 c | 2758668 | 900 33196 103825 | 1 120478 20 | 0.000 % | 539.29/539.31 c | 2762309 | 900 33196 103825 | 1 124119 20 | 0.000 % | 539.29/539.31 c | 2778665 | 900 33196 103825 | 1 140475 23 | 0.000 % | 539.29/539.31 c | 2782352 | 900 33196 103825 | 1 144162 24 | 0.000 % | 539.29/539.31 c | 2789961 | 900 33196 103825 | 1 151771 25 | 0.000 % | 539.29/539.31 c | 2790111 | 900 33196 103825 | 1 151921 25 | 0.000 % | 539.29/539.31 c | 2792722 | 900 33196 103825 | 1 154532 25 | 0.000 % | 539.29/539.31 c | 2808317 | 900 33196 103825 | 1 170127 26 | 0.000 % | 539.29/539.31 c | 2848161 | 900 33196 103825 | 1 209971 30 | 0.000 % | 539.29/539.31 c | 2848264 | 900 33196 103825 | 1 210074 30 | 0.000 % | 539.29/539.31 c | 2848495 | 900 33196 103825 | 1 210305 30 | 0.000 % | 539.29/539.31 c | 2848688 | 900 33196 103825 | 1 210498 30 | 0.000 % | 539.29/539.31 c | 2866354 | 900 33196 103825 | 1 228164 31 | 0.000 % | 539.29/539.31 c | 2920139 | 900 33196 103825 | 1 163549 24 | 0.000 % | 539.29/539.31 c | 2956743 | 900 33196 103825 | 1 200153 27 | 0.000 % | 539.29/539.31 c | 2975955 | 900 33196 103825 | 1 219365 29 | 0.000 % | 539.29/539.31 c | 2976248 | 900 33196 103825 | 1 219658 29 | 0.000 % | 539.29/539.31 c | 2976493 | 900 33196 103825 | 1 219903 29 | 0.000 % | 539.29/539.31 c | 2996525 | 900 33196 103825 | 1 239935 30 | 0.000 % | 539.29/539.31 c | 2999339 | 900 33196 103825 | 1 121750 19 | 0.000 % | 539.29/539.31 c | 3002186 | 900 33196 103825 | 1 124597 19 | 0.000 % | 539.29/539.31 c | 3020893 | 900 33196 103825 | 1 143304 22 | 0.000 % | 539.29/539.31 c | 3029924 | 900 33196 103825 | 1 152335 23 | 0.000 % | 539.29/539.31 c | 3032491 | 900 33196 103825 | 1 154902 23 | 0.000 % | 539.29/539.31 c | 3036498 | 900 33196 103825 | 1 158909 24 | 0.000 % | 539.29/539.31 c | 3037071 | 900 33196 103825 | 1 159482 24 | 0.000 % | 539.29/539.31 c | 3043533 | 900 33196 103825 | 1 165944 24 | 0.000 % | 539.29/539.31 c | 3046686 | 900 33196 103825 | 1 169097 25 | 0.000 % | 539.29/539.31 c | 3049324 | 900 33196 103825 | 1 171735 25 | 0.000 % | 539.29/539.31 c | 3063335 | 900 33196 103825 | 1 185746 26 | 0.000 % | 539.29/539.31 c | 3063925 | 900 33196 103825 | 1 186336 26 | 0.000 % | 539.29/539.31 c | 3071190 | 900 33196 103825 | 1 193601 27 | 0.000 % | 539.29/539.31 c | 3072342 | 900 33196 103825 | 1 194753 27 | 0.000 % | 539.29/539.31 c | 3076360 | 900 33196 103825 | 1 198771 27 | 0.000 % | 539.29/539.31 c | 3081701 | 900 33196 103825 | 1 204112 28 | 0.000 % | 539.29/539.31 c | 3084257 | 900 33196 103825 | 1 206668 28 | 0.000 % | 539.29/539.31 c | 3085702 | 900 33196 103825 | 1 208113 28 | 0.000 % | 539.29/539.31 c | 3085802 | 900 33196 103825 | 1 208213 28 | 0.000 % | 539.29/539.31 c | 3091546 | 900 33196 103825 | 1 213957 28 | 0.000 % | 539.29/539.31 c | 3094339 | 900 33196 103825 | 1 216750 29 | 0.000 % | 539.29/539.31 c | 3121067 | 900 33196 103825 | 1 243478 30 | 0.000 % | 539.29/539.31 c | 3121168 | 900 33196 103825 | 1 243579 30 | 0.000 % | 596.69/596.74 c | 3121379 | 900 33196 103825 | 1 243790 30 | 0.000 % | 596.69/596.74 c | 3121592 | 900 33196 103825 | 1 244003 30 | 0.000 % | 596.69/596.74 c | 3181290 | 900 33196 103825 | 1 180100 24 | 0.000 % | 596.69/596.74 c | 3182861 | 900 33196 103825 | 1 181671 24 | 0.000 % | 596.69/596.74 c | 3183426 | 900 33196 103825 | 1 182236 24 | 0.000 % | 596.69/596.74 c | 3183527 | 900 33196 103825 | 1 182337 24 | 0.000 % | 596.69/596.74 c | 3183627 | 900 33196 103825 | 1 182437 25 | 0.000 % | 596.69/596.74 c | 3187226 | 900 33196 103825 | 1 186036 25 | 0.000 % | 596.69/596.74 c | 3187326 | 900 33196 103825 | 1 186136 25 | 0.000 % | 596.69/596.74 c | 3188481 | 900 33196 103825 | 1 187291 25 | 0.000 % | 596.69/596.74 c | 3188703 | 900 33196 103825 | 1 187513 25 | 0.000 % | 596.69/596.74 c | 3190132 | 900 33196 103825 | 1 188942 25 | 0.000 % | 596.69/596.74 c | 3190823 | 900 33196 103825 | 1 189633 25 | 0.000 % | 596.69/596.74 c | 3191091 | 900 33196 103825 | 1 189901 25 | 0.000 % | 596.69/596.74 c | 3191208 | 900 33196 103825 | 1 190018 25 | 0.000 % | 596.69/596.74 c | 3202117 | 900 33196 103825 | 1 200927 26 | 0.000 % | 596.69/596.74 c | 3210393 | 900 33196 103825 | 1 209203 26 | 0.000 % | 596.69/596.74 c | 3213310 | 900 33196 103825 | 1 212120 27 | 0.000 % | 596.69/596.74 c | 3213537 | 900 33196 103825 | 1 212347 27 | 0.000 % | 596.69/596.74 c | 3213638 | 900 33196 103825 | 1 212448 27 | 0.000 % | 596.69/596.74 c | 3213739 | 900 33196 103825 | 1 212549 27 | 0.000 % | 596.69/596.74 c | 3226937 | 900 33196 103825 | 1 225747 28 | 0.000 % | 596.69/596.74 c | 3232484 | 900 33196 103825 | 1 231294 28 | 0.000 % | 596.69/596.74 c | 3242479 | 900 33196 103825 | 1 241289 29 | 0.000 % | 596.69/596.74 c | 3243794 | 900 33196 103825 | 1 242604 29 | 0.000 % | 596.69/596.74 c | 3243897 | 900 33196 103825 | 1 242707 29 | 0.000 % | 596.69/596.74 c | 3248663 | 900 33196 103825 | 1 247473 29 | 0.000 % | 596.69/596.74 c | 3250824 | 900 33196 103825 | 1 249634 29 | 0.000 % | 596.69/596.74 c | 3250956 | 900 33196 103825 | 1 249766 29 | 0.000 % | 596.69/596.74 c | 3251400 | 900 33196 103825 | 1 250210 29 | 0.000 % | 596.69/596.74 c | 3251859 | 900 33196 103825 | 1 250669 29 | 0.000 % | 596.69/596.74 c | 3252642 | 900 33196 103825 | 1 251452 29 | 0.000 % | 596.69/596.74 c | 3252905 | 900 33196 103825 | 1 251715 29 | 0.000 % | 596.69/596.74 c | 3275482 | 900 33196 103825 | 1 148091 21 | 0.000 % | 596.69/596.74 c | 3292285 | 900 33196 103825 | 1 164894 23 | 0.000 % | 596.69/596.74 c | 3293450 | 900 33196 103825 | 1 166059 23 | 0.000 % | 596.69/596.74 c | 3297754 | 900 33196 103825 | 1 170363 23 | 0.000 % | 596.69/596.74 c | 3309943 | 900 33196 103825 | 1 182552 24 | 0.000 % | 596.69/596.74 c | 3316274 | 900 33196 103825 | 1 188883 24 | 0.000 % | 596.69/596.74 c | 3327105 | 900 33196 103825 | 1 199714 25 | 0.000 % | 596.69/596.74 c | 3330467 | 900 33196 103825 | 1 203076 26 | 0.000 % | 596.69/596.74 c | 3334657 | 900 33196 103825 | 1 207266 26 | 0.000 % | 596.69/596.74 c | 3338167 | 900 33196 103825 | 1 210776 26 | 0.000 % | 596.69/596.74 c | 3352794 | 900 33196 103825 | 1 225403 27 | 0.000 % | 596.69/596.74 c | 3354292 | 900 33196 103825 | 1 226901 27 | 0.000 % | 596.69/596.74 c | 3357772 | 900 33196 103825 | 1 230381 27 | 0.000 % | 596.69/596.74 c | 3358128 | 900 33196 103825 | 1 230737 27 | 0.000 % | 596.69/596.74 c | 3358228 | 900 33196 103825 | 1 230837 27 | 0.000 % | 596.69/596.74 c | 3358468 | 900 33196 103825 | 1 231077 28 | 0.000 % | 596.69/596.74 c | 3379290 | 900 33196 103825 | 1 251899 29 | 0.000 % | 671.29/671.36 c | 3387257 | 900 33196 103825 | 1 131075 19 | 0.000 % | 671.29/671.36 c | 3396657 | 900 33196 103825 | 1 140475 21 | 0.000 % | 671.29/671.36 c | 3414897 | 900 33196 103825 | 1 158715 23 | 0.000 % | 671.29/671.36 c | 3416076 | 900 33196 103825 | 1 159894 23 | 0.000 % | 671.29/671.36 c | 3416600 | 900 33196 103825 | 1 160418 23 | 0.000 % | 671.29/671.36 c | 3417786 | 900 33196 103825 | 1 161604 23 | 0.000 % | 671.29/671.36 c | 3423138 | 900 33196 103825 | 1 166956 24 | 0.000 % | 671.29/671.36 c | 3423565 | 900 33196 103825 | 1 167383 24 | 0.000 % | 671.29/671.36 c | 3436276 | 900 33196 103825 | 1 180094 25 | 0.000 % | 671.29/671.36 c | 3462707 | 900 33196 103825 | 1 206525 26 | 0.000 % | 671.29/671.36 c | 3462807 | 900 33196 103825 | 1 206625 26 | 0.000 % | 671.29/671.36 c | 3462940 | 900 33196 103825 | 1 206758 26 | 0.000 % | 671.29/671.36 c | 3463277 | 900 33196 103825 | 1 207095 26 | 0.000 % | 671.29/671.36 c | 3463765 | 900 33196 103825 | 1 207583 26 | 0.000 % | 671.29/671.36 c | 3467474 | 900 33196 103825 | 1 211292 27 | 0.000 % | 671.29/671.36 c | 3468904 | 900 33196 103825 | 1 212722 27 | 0.000 % | 671.29/671.36 c | 3469006 | 900 33196 103825 | 1 212824 27 | 0.000 % | 671.29/671.36 c | 3472627 | 900 33196 103825 | 1 216445 27 | 0.000 % | 671.29/671.36 c | 3479664 | 900 33196 103825 | 1 223482 28 | 0.000 % | 671.29/671.36 c | 3480609 | 900 33196 103825 | 1 224427 28 | 0.000 % | 671.29/671.36 c | 3484021 | 900 33196 103825 | 1 227839 28 | 0.000 % | 671.29/671.36 c | 3484790 | 900 33196 103825 | 1 228608 28 | 0.000 % | 671.29/671.36 c | 3486068 | 900 33196 103825 | 1 229886 28 | 0.000 % | 671.29/671.36 c | 3486582 | 900 33196 103825 | 1 230400 28 | 0.000 % | 671.29/671.36 c | 3494730 | 900 33196 103825 | 1 238548 29 | 0.000 % | 671.29/671.36 c | 3495465 | 900 33196 103825 | 1 239283 29 | 0.000 % | 671.29/671.36 c | 3497318 | 900 33196 103825 | 1 241136 29 | 0.000 % | 671.29/671.36 c | 3502676 | 900 33196 103825 | 1 246494 29 | 0.000 % | 671.29/671.36 c | 3508948 | 900 33196 103825 | 1 252766 29 | 0.000 % | 671.29/671.36 c | 3532564 | 900 33196 103825 | 1 144983 20 | 0.000 % | 671.29/671.36 c | 3533196 | 900 33196 103825 | 1 145615 20 | 0.000 % | 671.29/671.36 c | 3533297 | 900 33196 103825 | 1 145716 20 | 0.000 % | 671.29/671.36 c | 3546872 | 900 33196 103825 | 1 159291 22 | 0.000 % | 671.29/671.36 c | 3552514 | 900 33196 103825 | 1 164933 23 | 0.000 % | 671.29/671.36 c | 3552616 | 900 33196 103825 | 1 165035 23 | 0.000 % | 671.29/671.36 c | 3553035 | 900 33196 103825 | 1 165454 23 | 0.000 % | 671.29/671.36 c | 3566237 | 900 33196 103825 | 1 178656 24 | 0.000 % | 671.29/671.36 c | 3568585 | 900 33196 103825 | 1 181004 24 | 0.000 % | 671.29/671.36 c | 3609991 | 900 33196 103825 | 1 222410 27 | 0.000 % | 671.29/671.36 c | 3653862 | 900 33196 103825 | 1 266281 29 | 0.000 % | 671.29/671.36 c | 3658490 | 900 33196 103825 | 1 136905 19 | 0.000 % | 671.29/671.36 c | 3658671 | 900 33196 103825 | 1 137086 19 | 0.000 % | 671.29/671.36 c | 3665709 | 900 33196 103825 | 1 144124 21 | 0.000 % | 671.29/671.36 c | 3667124 | 900 33196 103825 | 1 145539 21 | 0.000 % | 671.29/671.36 c | 3678209 | 900 33196 103825 | 1 156624 23 | 0.000 % | 671.29/671.36 c | 3685134 | 900 33196 103825 | 1 163549 24 | 0.000 % | 671.29/671.36 c | 3685234 | 900 33196 103825 | 1 163649 24 | 0.000 % | 671.29/671.36 c | 3687275 | 900 33196 103825 | 1 165690 24 | 0.000 % | 671.29/671.36 c | 3701237 | 900 33196 103825 | 1 179652 26 | 0.000 % | 671.29/671.36 c | 3708376 | 900 33196 103825 | 1 186791 26 | 0.000 % | 741.70/741.75 c | 3710362 | 900 33196 103825 | 1 188777 26 | 0.000 % | 741.70/741.75 c | 3734919 | 900 33196 103825 | 1 213334 29 | 0.000 % | 741.70/741.75 c | 3742324 | 900 33196 103825 | 1 220739 29 | 0.000 % | 741.70/741.75 c | 3742434 | 900 33196 103825 | 1 220849 29 | 0.000 % | 741.70/741.75 c | 3743291 | 900 33196 103825 | 1 221706 29 | 0.000 % | 741.70/741.75 c | 3745942 | 900 33196 103825 | 1 224357 29 | 0.000 % | 741.70/741.75 c | 3747240 | 900 33196 103825 | 1 225655 29 | 0.000 % | 741.70/741.75 c | 3747663 | 900 33196 103825 | 1 226078 29 | 0.000 % | 741.70/741.75 c | 3749532 | 900 33196 103825 | 1 227947 29 | 0.000 % | 741.70/741.75 c | 3769941 | 900 33196 103825 | 1 248356 31 | 0.000 % | 741.70/741.75 c | 3783631 | 900 33196 103825 | 1 262046 31 | 0.000 % | 741.70/741.75 c | 3784783 | 900 33196 103825 | 1 263198 31 | 0.000 % | 741.70/741.75 c | 3797135 | 900 33196 103825 | 1 138952 19 | 0.000 % | 741.70/741.75 c | 3803490 | 900 33196 103825 | 1 145307 20 | 0.000 % | 741.70/741.75 c | 3814735 | 900 33196 103825 | 1 156552 22 | 0.000 % | 741.70/741.75 c | 3819978 | 900 33196 103825 | 1 161795 23 | 0.000 % | 741.70/741.75 c | 3823876 | 900 33196 103825 | 1 165693 23 | 0.000 % | 741.70/741.75 c | 3837620 | 900 33196 103825 | 1 179437 25 | 0.000 % | 741.70/741.75 c | 3840523 | 900 33196 103825 | 1 182340 25 | 0.000 % | 741.70/741.75 c | 3841654 | 900 33196 103825 | 1 183471 25 | 0.000 % | 741.70/741.75 c | 3842129 | 900 33196 103825 | 1 183946 25 | 0.000 % | 741.70/741.75 c | 3845351 | 900 33196 103825 | 1 187168 25 | 0.000 % | 741.70/741.75 c | 3845935 | 900 33196 103825 | 1 187752 26 | 0.000 % | 741.70/741.75 c | 3846048 | 900 33196 103825 | 1 187865 26 | 0.000 % | 741.70/741.75 c | 3868157 | 900 33196 103825 | 1 209974 27 | 0.000 % | 741.70/741.75 c | 3872841 | 900 33196 103825 | 1 214658 28 | 0.000 % | 741.70/741.75 c | 3872945 | 900 33196 103825 | 1 214762 28 | 0.000 % | 741.70/741.75 c | 3888421 | 900 33196 103825 | 1 230238 28 | 0.000 % | 741.70/741.75 c | 3895551 | 900 33196 103825 | 1 237368 29 | 0.000 % | 741.70/741.75 c | 3902032 | 900 33196 103825 | 1 243849 29 | 0.000 % | 741.70/741.75 c | 3905677 | 900 33196 103825 | 1 247494 29 | 0.000 % | 741.70/741.75 c | 3905919 | 900 33196 103825 | 1 247736 30 | 0.000 % | 741.70/741.75 c | 3928534 | 900 33196 103825 | 1 270351 31 | 0.000 % | 741.70/741.75 c | 3929443 | 900 33196 103825 | 1 271260 31 | 0.000 % | 741.70/741.75 c | 3936406 | 900 33196 103825 | 1 278223 31 | 0.000 % | 741.70/741.75 c | 3936533 | 900 33196 103825 | 1 278350 31 | 0.000 % | 741.70/741.75 c | 3951056 | 900 33196 103825 | 1 153668 21 | 0.000 % | 741.70/741.75 c | 3952863 | 900 33196 103825 | 1 155475 21 | 0.000 % | 741.70/741.75 c | 3963071 | 900 33196 103825 | 1 165683 22 | 0.000 % | 741.70/741.75 c | 3963173 | 900 33196 103825 | 1 165785 22 | 0.000 % | 741.70/741.75 c | 3969096 | 900 33196 103825 | 1 171708 23 | 0.000 % | 741.70/741.75 c | 3970131 | 900 33196 103825 | 1 172743 23 | 0.000 % | 741.70/741.75 c | 3976162 | 900 33196 103825 | 1 178774 23 | 0.000 % | 741.70/741.75 c | 3982420 | 900 33196 103825 | 1 185032 24 | 0.000 % | 741.70/741.75 c | 3986516 | 900 33196 103825 | 1 189128 24 | 0.000 % | 741.70/741.75 c | 3987757 | 900 33196 103825 | 1 190369 25 | 0.000 % | 741.70/741.75 c | 3990563 | 900 33196 103825 | 1 193175 25 | 0.000 % | 741.70/741.75 c | 3990667 | 900 33196 103825 | 1 193279 25 | 0.000 % | 741.70/741.75 c | 3991997 | 900 33196 103825 | 1 194609 25 | 0.000 % | 741.70/741.75 c | 4001053 | 900 33196 103825 | 1 203665 26 | 0.000 % | 815.50/815.55 c | 4007961 | 900 33196 103825 | 1 210573 26 | 0.000 % | 815.50/815.55 c | 4008121 | 900 33196 103825 | 1 210733 26 | 0.000 % | 815.50/815.55 c | 4012526 | 900 33196 103825 | 1 215138 27 | 0.000 % | 815.50/815.55 c | 4019014 | 900 33196 103825 | 1 221626 27 | 0.000 % | 815.50/815.55 c | 4026386 | 900 33196 103825 | 1 228998 28 | 0.000 % | 815.50/815.55 c | 4059291 | 900 33196 103825 | 1 261903 29 | 0.000 % | 815.50/815.55 c | 4061126 | 900 33196 103825 | 1 263738 29 | 0.000 % | 815.50/815.55 c | 4068808 | 900 33196 103825 | 1 271420 29 | 0.000 % | 815.50/815.55 c | 4068917 | 900 33196 103825 | 1 271529 29 | 0.000 % | 815.50/815.55 c | 4090492 | 900 33196 103825 | 1 151307 19 | 0.000 % | 815.50/815.55 c | 4122942 | 900 33196 103825 | 1 183757 23 | 0.000 % | 815.50/815.55 c | 4125547 | 900 33196 103825 | 1 186362 23 | 0.000 % | 815.50/815.55 c | 4125783 | 900 33196 103825 | 1 186598 23 | 0.000 % | 815.50/815.55 c | 4125885 | 900 33196 103825 | 1 186700 23 | 0.000 % | 815.50/815.55 c | 4130822 | 900 33196 103825 | 1 191637 24 | 0.000 % | 815.50/815.55 c | 4131385 | 900 33196 103825 | 1 192200 24 | 0.000 % | 815.50/815.55 c | 4167413 | 900 33196 103825 | 1 228228 27 | 0.000 % | 815.50/815.55 c | 4167545 | 900 33196 103825 | 1 228360 27 | 0.000 % | 815.50/815.55 c | 4167648 | 900 33196 103825 | 1 228463 27 | 0.000 % | 815.50/815.55 c | 4167924 | 900 33196 103825 | 1 228739 27 | 0.000 % | 815.50/815.55 c | 4168025 | 900 33196 103825 | 1 228840 27 | 0.000 % | 815.50/815.55 c | 4170962 | 900 33196 103825 | 1 231777 27 | 0.000 % | 815.50/815.55 c | 4180021 | 900 33196 103825 | 1 240836 28 | 0.000 % | 815.50/815.55 c | 4180122 | 900 33196 103825 | 1 240937 28 | 0.000 % | 815.50/815.55 c | 4187241 | 900 33196 103825 | 1 248056 28 | 0.000 % | 815.50/815.55 c | 4188026 | 900 33196 103825 | 1 248841 28 | 0.000 % | 815.50/815.55 c | 4194433 | 900 33196 103825 | 1 255248 28 | 0.000 % | 815.50/815.55 c | 4220116 | 900 33196 103825 | 1 280931 29 | 0.000 % | 815.50/815.55 c | 4225670 | 900 33196 103825 | 1 286485 29 | 0.000 % | 815.50/815.55 c | 4226545 | 900 33196 103825 | 1 287360 29 | 0.000 % | 815.50/815.55 c | 4227361 | 900 33196 103825 | 1 288176 29 | 0.000 % | 815.50/815.55 c | 4230363 | 900 33196 103825 | 1 146777 18 | 0.000 % | 815.50/815.55 c | 4241109 | 900 33196 103825 | 1 157523 20 | 0.000 % | 815.50/815.55 c | 4244536 | 900 33196 103825 | 1 160950 21 | 0.000 % | 815.50/815.55 c | 4255160 | 900 33196 103825 | 1 171574 22 | 0.000 % | 815.50/815.55 c | 4267511 | 900 33196 103825 | 1 183925 23 | 0.000 % | 815.50/815.55 c | 4267613 | 900 33196 103825 | 1 184027 23 | 0.000 % | 815.50/815.55 c | 4267715 | 900 33196 103825 | 1 184129 23 | 0.000 % | 815.50/815.55 c | 4270142 | 900 33196 103825 | 1 186556 23 | 0.000 % | 815.50/815.55 c | 4273461 | 900 33196 103825 | 1 189875 24 | 0.000 % | 815.50/815.55 c | 4276838 | 900 33196 103825 | 1 193252 24 | 0.000 % | 815.50/815.55 c | 4277538 | 900 33196 103825 | 1 193952 24 | 0.000 % | 815.50/815.55 c | 4277767 | 900 33196 103825 | 1 194181 24 | 0.000 % | 815.50/815.55 c | 4277867 | 900 33196 103825 | 1 194281 24 | 0.000 % | 815.50/815.55 c | 4277967 | 900 33196 103825 | 1 194381 24 | 0.000 % | 815.50/815.55 c | 4285773 | 900 33196 103825 | 1 202187 25 | 0.000 % | 815.50/815.55 c | 4290683 | 900 33196 103825 | 1 207097 25 | 0.000 % | 815.50/815.55 c | 4299802 | 900 33196 103825 | 1 216216 26 | 0.000 % | 815.50/815.55 c | 4301352 | 900 33196 103825 | 1 217766 26 | 0.000 % | 815.50/815.55 c | 4302187 | 900 33196 103825 | 1 218601 26 | 0.000 % | 878.70/878.77 c | 4317722 | 900 33196 103825 | 1 234136 27 | 0.000 % | 878.70/878.77 c | 4321045 | 900 33196 103825 | 1 237459 27 | 0.000 % | 878.70/878.77 c | 4328015 | 900 33196 103825 | 1 244429 27 | 0.000 % | 878.70/878.77 c | 4333883 | 900 33196 103825 | 1 250297 28 | 0.000 % | 878.70/878.77 c | 4361896 | 900 33196 103825 | 1 278310 29 | 0.000 % | 878.70/878.77 c | 4374856 | 900 33196 103825 | 1 291270 30 | 0.000 % | 878.70/878.77 c | 4376354 | 900 33196 103825 | 1 292768 30 | 0.000 % | 878.70/878.77 c | 4376703 | 900 33196 103825 | 1 293117 30 | 0.000 % | 878.70/878.77 c | 4391897 | 900 33196 103825 | 1 161312 20 | 0.000 % | 878.70/878.77 c | 4402773 | 900 33196 103825 | 1 172188 22 | 0.000 % | 878.70/878.77 c | 4403864 | 900 33196 103825 | 1 173279 22 | 0.000 % | 878.70/878.77 c | 4412708 | 900 33196 103825 | 1 182123 23 | 0.000 % | 878.70/878.77 c | 4412938 | 900 33196 103825 | 1 182353 23 | 0.000 % | 878.70/878.77 c | 4414593 | 900 33196 103825 | 1 184008 23 | 0.000 % | 878.70/878.77 c | 4417973 | 900 33196 103825 | 1 187388 23 | 0.000 % | 878.70/878.77 c | 4418075 | 900 33196 103825 | 1 187490 23 | 0.000 % | 878.70/878.77 c | 4418932 | 900 33196 103825 | 1 188347 23 | 0.000 % | 878.70/878.77 c | 4419565 | 900 33196 103825 | 1 188980 23 | 0.000 % | 878.70/878.77 c | 4421437 | 900 33196 103825 | 1 190852 24 | 0.000 % | 878.70/878.77 c | 4422872 | 900 33196 103825 | 1 192287 24 | 0.000 % | 878.70/878.77 c | 4428226 | 900 33196 103825 | 1 197641 24 | 0.000 % | 878.70/878.77 c | 4437682 | 900 33196 103825 | 1 207097 25 | 0.000 % | 878.70/878.77 c | 4438046 | 900 33196 103825 | 1 207461 25 | 0.000 % | 878.70/878.77 c | 4440725 | 900 33196 103825 | 1 210140 25 | 0.000 % | 878.70/878.77 c | 4460329 | 900 33196 103825 | 1 229744 27 | 0.000 % | 878.70/878.77 c | 4460429 | 900 33196 103825 | 1 229844 27 | 0.000 % | 878.70/878.77 c | 4471887 | 900 33196 103825 | 1 241302 27 | 0.000 % | 878.70/878.77 c | 4471987 | 900 33196 103825 | 1 241402 27 | 0.000 % | 878.70/878.77 c | 4472087 | 900 33196 103825 | 1 241502 27 | 0.000 % | 878.70/878.77 c | 4474688 | 900 33196 103825 | 1 244103 28 | 0.000 % | 878.70/878.77 c | 4476265 | 900 33196 103825 | 1 245680 28 | 0.000 % | 878.70/878.77 c | 4478887 | 900 33196 103825 | 1 248302 28 | 0.000 % | 878.70/878.77 c | 4481556 | 900 33196 103825 | 1 250971 28 | 0.000 % | 878.70/878.77 c | 4481859 | 900 33196 103825 | 1 251274 28 | 0.000 % | 878.70/878.77 c | 4484304 | 900 33196 103825 | 1 253719 28 | 0.000 % | 878.70/878.77 c | 4484665 | 900 33196 103825 | 1 254080 28 | 0.000 % | 878.70/878.77 c | 4495073 | 900 33196 103825 | 1 264488 29 | 0.000 % | 878.70/878.77 c | 4495373 | 900 33196 103825 | 1 264788 29 | 0.000 % | 878.70/878.77 c | 4499968 | 900 33196 103825 | 1 269383 29 | 0.000 % | 878.70/878.77 c | 4501683 | 900 33196 103825 | 1 271098 29 | 0.000 % | 878.70/878.77 c | 4501783 | 900 33196 103825 | 1 271198 29 | 0.000 % | 878.70/878.77 c | 4504654 | 900 33196 103825 | 1 274069 29 | 0.000 % | 878.70/878.77 c | 4514745 | 900 33196 103825 | 1 284160 30 | 0.000 % | 878.70/878.77 c | 4514846 | 900 33196 103825 | 1 284261 30 | 0.000 % | 878.70/878.77 c | 4514948 | 900 33196 103825 | 1 284363 30 | 0.000 % | 878.70/878.77 c | 4520261 | 900 33196 103825 | 1 289676 30 | 0.000 % | 878.70/878.77 c | 4523610 | 900 33196 103825 | 1 293025 30 | 0.000 % | 878.70/878.77 c | 4527316 | 900 33196 103825 | 1 296731 30 | 0.000 % | 878.70/878.77 c | 4535091 | 900 33196 103825 | 1 154901 19 | 0.000 % | 878.70/878.77 c | 4540460 | 900 33196 103825 | 1 160270 20 | 0.000 % | 924.90/924.90 c | 4540560 | 900 33196 103825 | 1 160370 20 | 0.000 % | 924.90/924.90 c | 4542974 | 900 33196 103825 | 1 162784 20 | 0.000 % | 924.90/924.90 c | 4546147 | 900 33196 103825 | 1 165957 21 | 0.000 % | 924.90/924.90 c | 4546521 | 900 33196 103825 | 1 166331 21 | 0.000 % | 924.90/924.90 c | 4555318 | 900 33196 103825 | 1 175128 22 | 0.000 % | 924.90/924.90 c | 4560229 | 900 33196 103825 | 1 180039 23 | 0.000 % | 924.90/924.90 c | 4560491 | 900 33196 103825 | 1 180301 23 | 0.000 % | 924.90/924.90 c | 4564728 | 900 33196 103825 | 1 184538 23 | 0.000 % | 924.90/924.90 c | 4564828 | 900 33196 103825 | 1 184638 23 | 0.000 % | 924.90/924.90 c | 4573239 | 900 33196 103825 | 1 193049 24 | 0.000 % | 924.90/924.90 c | 4578771 | 900 33196 103825 | 1 198581 25 | 0.000 % | 924.90/924.90 c | 4578872 | 900 33196 103825 | 1 198682 25 | 0.000 % | 924.90/924.90 c | 4579121 | 900 33196 103825 | 1 198931 25 | 0.000 % | 924.90/924.90 c | 4579875 | 900 33196 103825 | 1 199685 25 | 0.000 % | 924.90/924.90 c | 4591266 | 900 33196 103825 | 1 211076 25 | 0.000 % | 924.90/924.90 c | 4594895 | 900 33196 103825 | 1 214705 26 | 0.000 % | 924.90/924.90 c | 4594999 | 900 33196 103825 | 1 214809 26 | 0.000 % | 924.90/924.90 c | 4598484 | 900 33196 103825 | 1 218294 26 | 0.000 % | 924.90/924.90 c | 4598679 | 900 33196 103825 | 1 218489 26 | 0.000 % | 924.90/924.90 c | 4603284 | 900 33196 103825 | 1 223094 26 | 0.000 % | 924.90/924.90 c | 4611356 | 900 33196 103825 | 1 231166 27 | 0.000 % | 924.90/924.90 c | 4611456 | 900 33196 103825 | 1 231266 27 | 0.000 % | 924.90/924.90 c | 4611556 | 900 33196 103825 | 1 231366 27 | 0.000 % | 924.90/924.90 c | 4613344 | 900 33196 103825 | 1 233154 27 | 0.000 % | 924.90/924.90 c | 4624307 | 900 33196 103825 | 1 244117 28 | 0.000 % | 924.90/924.90 c | 4632353 | 900 33196 103825 | 1 252163 28 | 0.000 % | 924.90/924.90 c | 4640137 | 900 33196 103825 | 1 259947 29 | 0.000 % | 924.90/924.90 c | 4643333 | 900 33196 103825 | 1 263143 29 | 0.000 % | 924.90/924.90 c | 4643939 | 900 33196 103825 | 1 263749 29 | 0.000 % | 924.90/924.90 c | 4644725 | 900 33196 103825 | 1 264535 29 | 0.000 % | 924.90/924.90 c | 4645935 | 900 33196 103825 | 1 265745 29 | 0.000 % | 924.90/924.90 c | 4646035 | 900 33196 103825 | 1 265845 29 | 0.000 % | 924.90/924.90 c | 4649793 | 900 33196 103825 | 1 269603 29 | 0.000 % | 924.90/924.90 c | 4649937 | 900 33196 103825 | 1 269747 29 | 0.000 % | 924.90/924.90 c | 4650377 | 900 33196 103825 | 1 270187 29 | 0.000 % | 924.90/924.90 c | 4652861 | 900 33196 103825 | 1 272671 29 | 0.000 % | 924.90/924.90 c | 4654875 | 900 33196 103825 | 1 274685 30 | 0.000 % | 924.90/924.90 c | 4679928 | 900 33196 103825 | 1 299738 30 | 0.000 % | 924.90/924.90 c | 4682082 | 900 33196 103825 | 1 301892 30 | 0.000 % | 924.90/924.90 c | 4682598 | 900 33196 103825 | 1 302408 30 | 0.000 % | 924.90/924.90 c | 4682699 | 900 33196 103825 | 1 302509 30 | 0.000 % | 924.90/924.90 c | 4682801 | 900 33196 103825 | 1 302611 30 | 0.000 % | 924.90/924.90 c | 4683018 | 900 33196 103825 | 1 302828 30 | 0.000 % | 924.90/924.90 c | 4683792 | 900 33196 103825 | 1 303602 30 | 0.000 % | 924.90/924.90 c | 4684280 | 900 33196 103825 | 1 304090 30 | 0.000 % | 924.90/924.90 c | 4684770 | 900 33196 103825 | 1 152381 18 | 0.000 % | 924.90/924.90 c | 4708619 | 900 33196 103825 | 1 176230 21 | 0.000 % | 924.90/924.90 c | 4708827 | 900 33196 103825 | 1 176438 21 | 0.000 % | 924.90/924.90 c | 4711256 | 900 33196 103825 | 1 178867 22 | 0.000 % | 924.90/924.90 c | 4713482 | 900 33196 103825 | 1 181093 22 | 0.000 % | 1030.90/1030.98 c | 4715219 | 900 33196 103825 | 1 182830 22 | 0.000 % | 1030.90/1030.98 c | 4717661 | 900 33196 103825 | 1 185272 22 | 0.000 % | 1030.90/1030.98 c | 4736169 | 900 33196 103825 | 1 203780 24 | 0.000 % | 1030.90/1030.98 c | 4781603 | 900 33196 103825 | 1 249214 26 | 0.000 % | 1030.90/1030.98 c | 4781735 | 900 33196 103825 | 1 249346 26 | 0.000 % | 1030.90/1030.98 c | 4822441 | 900 33196 103825 | 1 290052 28 | 0.000 % | 1030.90/1030.98 c | 4824689 | 900 33196 103825 | 1 292300 28 | 0.000 % | 1030.90/1030.98 c | 4844158 | 900 33196 103825 | 1 156972 18 | 0.000 % | 1030.90/1030.98 c | 4850917 | 900 33196 103825 | 1 163731 19 | 0.000 % | 1030.90/1030.98 c | 4851019 | 900 33196 103825 | 1 163833 19 | 0.000 % | 1030.90/1030.98 c | 4857321 | 900 33196 103825 | 1 170135 20 | 0.000 % | 1030.90/1030.98 c | 4866205 | 900 33196 103825 | 1 179019 20 | 0.000 % | 1030.90/1030.98 c | 4866326 | 900 33196 103825 | 1 179140 20 | 0.000 % | 1030.90/1030.98 c | 4874283 | 900 33196 103825 | 1 187097 21 | 0.000 % | 1030.90/1030.98 c | 4874628 | 900 33196 103825 | 1 187442 21 | 0.000 % | 1030.90/1030.98 c | 4875847 | 900 33196 103825 | 1 188661 22 | 0.000 % | 1030.90/1030.98 c | 4876257 | 900 33196 103825 | 1 189071 22 | 0.000 % | 1030.90/1030.98 c | 4877884 | 900 33196 103825 | 1 190698 22 | 0.000 % | 1030.90/1030.98 c | 4878940 | 900 33196 103825 | 1 191754 22 | 0.000 % | 1030.90/1030.98 c | 4879144 | 900 33196 103825 | 1 191958 22 | 0.000 % | 1030.90/1030.98 c | 4879392 | 900 33196 103825 | 1 192206 22 | 0.000 % | 1030.90/1030.98 c | 4879725 | 900 33196 103825 | 1 192539 22 | 0.000 % | 1030.90/1030.98 c | 4888858 | 900 33196 103825 | 1 201672 23 | 0.000 % | 1030.90/1030.98 c | 4921383 | 900 33196 103825 | 1 234197 25 | 0.000 % | 1030.90/1030.98 c | 4924678 | 900 33196 103825 | 1 237492 25 | 0.000 % | 1030.90/1030.98 c | 4935296 | 900 33196 103825 | 1 248110 26 | 0.000 % | 1030.90/1030.98 c | 4954898 | 900 33196 103825 | 1 267712 27 | 0.000 % | 1030.90/1030.98 c | 4966485 | 900 33196 103825 | 1 279299 27 | 0.000 % | 1030.90/1030.98 c | 4968261 | 900 33196 103825 | 1 281075 27 | 0.000 % | 1030.90/1030.98 c | 4971165 | 900 33196 103825 | 1 283979 28 | 0.000 % | 1030.90/1030.98 c | 4978320 | 900 33196 103825 | 1 291134 28 | 0.000 % | 1030.90/1030.98 c | 4979653 | 900 33196 103825 | 1 292467 28 | 0.000 % | 1030.90/1030.98 c | 4982936 | 900 33196 103825 | 1 295750 28 | 0.000 % | 1030.90/1030.98 c | 4984836 | 900 33196 103825 | 1 297650 28 | 0.000 % | 1030.90/1030.98 c | 4991099 | 900 33196 103825 | 1 303913 28 | 0.000 % | 1030.90/1030.98 c | 5003363 | 900 33196 103825 | 1 158778 18 | 0.000 % | 1030.90/1030.98 c | 5005688 | 900 33196 103825 | 1 161103 18 | 0.000 % | 1030.90/1030.98 c | 5009012 | 900 33196 103825 | 1 164427 19 | 0.000 % | 1030.90/1030.98 c | 5009932 | 900 33196 103825 | 1 165347 19 | 0.000 % | 1030.90/1030.98 c | 5016857 | 900 33196 103825 | 1 172272 20 | 0.000 % | 1030.90/1030.98 c | 5017603 | 900 33196 103825 | 1 173018 20 | 0.000 % | 1030.90/1030.98 c | 5020198 | 900 33196 103825 | 1 175613 21 | 0.000 % | 1030.90/1030.98 c | 5049167 | 900 33196 103825 | 1 204582 22 | 0.000 % | 1030.90/1030.98 c | 5055829 | 900 33196 103825 | 1 211244 23 | 0.000 % | 1030.90/1030.98 c | 5075983 | 900 33196 103825 | 1 231398 24 | 0.000 % | 1030.90/1030.98 c | 5078657 | 900 33196 103825 | 1 234072 24 | 0.000 % | 1030.90/1030.98 c | 5082526 | 900 33196 103825 | 1 237941 25 | 0.000 % | 1030.90/1030.98 c | 5088628 | 900 33196 103825 | 1 244043 25 | 0.000 % | 1030.90/1030.98 c | 5088854 | 900 33196 103825 | 1 244269 25 | 0.000 % | 1030.90/1030.98 c | 5096428 | 900 33196 103825 | 1 251843 26 | 0.000 % | 1161.20/1161.25 c | 5122444 | 900 33196 103825 | 1 277859 27 | 0.000 % | 1161.20/1161.25 c | 5128781 | 900 33196 103825 | 1 284196 27 | 0.000 % | 1161.20/1161.25 c | 5149304 | 900 33196 103825 | 1 304719 28 | 0.000 % | 1161.20/1161.25 c | 5215406 | 900 33196 103825 | 1 210826 24 | 0.000 % | 1161.20/1161.25 c | 5241273 | 900 33196 103825 | 1 236693 26 | 0.000 % | 1161.20/1161.25 c | 5241910 | 900 33196 103825 | 1 237330 26 | 0.000 % | 1161.20/1161.25 c | 5242107 | 900 33196 103825 | 1 237527 26 | 0.000 % | 1161.20/1161.25 c | 5265226 | 900 33196 103825 | 1 260646 27 | 0.000 % | 1161.20/1161.25 c | 5265326 | 900 33196 103825 | 1 260746 27 | 0.000 % | 1161.20/1161.25 c | 5286651 | 900 33196 103825 | 1 282071 29 | 0.000 % | 1161.20/1161.25 c | 5307610 | 900 33196 103825 | 1 303030 30 | 0.000 % | 1161.20/1161.25 c | 5309268 | 900 33196 103825 | 1 304688 30 | 0.000 % | 1161.20/1161.25 c | 5309368 | 900 33196 103825 | 1 304788 30 | 0.000 % | 1161.20/1161.25 c | 5309468 | 900 33196 103825 | 1 304888 30 | 0.000 % | 1161.20/1161.25 c | 5311379 | 900 33196 103825 | 1 306799 30 | 0.000 % | 1161.20/1161.25 c | 5311571 | 900 33196 103825 | 1 306991 30 | 0.000 % | 1161.20/1161.25 c | 5323934 | 900 33196 103825 | 1 319354 30 | 0.000 % | 1161.20/1161.25 c | 5328439 | 900 33196 103825 | 1 323859 30 | 0.000 % | 1161.20/1161.25 c | 5338531 | 900 33196 103825 | 1 171347 19 | 0.000 % | 1161.20/1161.25 c | 5338631 | 900 33196 103825 | 1 171447 19 | 0.000 % | 1161.20/1161.25 c | 5342644 | 900 33196 103825 | 1 175460 20 | 0.000 % | 1161.20/1161.25 c | 5356436 | 900 33196 103825 | 1 189252 21 | 0.000 % | 1161.20/1161.25 c | 5358339 | 900 33196 103825 | 1 191155 21 | 0.000 % | 1161.20/1161.25 c | 5382636 | 900 33196 103825 | 1 215452 23 | 0.000 % | 1161.20/1161.25 c | 5388237 | 900 33196 103825 | 1 221053 23 | 0.000 % | 1161.20/1161.25 c | 5424581 | 900 33196 103825 | 1 257397 25 | 0.000 % | 1161.20/1161.25 c | 5432389 | 900 33196 103825 | 1 265205 26 | 0.000 % | 1161.20/1161.25 c | 5475418 | 900 33196 103825 | 1 308234 28 | 0.000 % | 1161.20/1161.25 c | 5476737 | 900 33196 103825 | 1 309553 28 | 0.000 % | 1161.20/1161.25 c | 5477495 | 900 33196 103825 | 1 310311 28 | 0.000 % | 1161.20/1161.25 c | 5480392 | 900 33196 103825 | 1 313208 28 | 0.000 % | 1161.20/1161.25 c | 5486533 | 900 33196 103825 | 1 319349 28 | 0.000 % | 1161.20/1161.25 c | 5491004 | 900 33196 103825 | 1 323820 29 | 0.000 % | 1161.20/1161.25 c | 5496117 | 900 33196 103825 | 1 328933 29 | 0.000 % | 1161.20/1161.25 c | 5501259 | 900 33196 103825 | 1 168877 18 | 0.000 % | 1161.20/1161.25 c | 5504392 | 900 33196 103825 | 1 172010 19 | 0.000 % | 1161.20/1161.25 c | 5513652 | 900 33196 103825 | 1 181270 20 | 0.000 % | 1161.20/1161.25 c | 5516695 | 900 33196 103825 | 1 184313 20 | 0.000 % | 1161.20/1161.25 c | 5520241 | 900 33196 103825 | 1 187859 21 | 0.000 % | 1161.20/1161.25 c | 5520342 | 900 33196 103825 | 1 187960 21 | 0.000 % | 1161.20/1161.25 c | 5525506 | 900 33196 103825 | 1 193124 22 | 0.000 % | 1161.20/1161.25 c | 5525608 | 900 33196 103825 | 1 193226 22 | 0.000 % | 1161.20/1161.25 c | 5539316 | 900 33196 103825 | 1 206934 23 | 0.000 % | 1161.20/1161.25 c | 5541263 | 900 33196 103825 | 1 208881 23 | 0.000 % | 1161.20/1161.25 c | 5541741 | 900 33196 103825 | 1 209359 23 | 0.000 % | 1161.20/1161.25 c | 5545302 | 900 33196 103825 | 1 212920 24 | 0.000 % | 1161.20/1161.25 c | 5562936 | 900 33196 103825 | 1 230554 25 | 0.000 % | 1161.20/1161.25 c | 5565323 | 900 33196 103825 | 1 232941 25 | 0.000 % | 1161.20/1161.25 c | 5568736 | 900 33196 103825 | 1 236354 25 | 0.000 % | 1161.20/1161.25 c | 5568874 | 900 33196 103825 | 1 236492 25 | 0.000 % | 1236.51/1236.55 c | 5578891 | 900 33196 103825 | 1 246509 26 | 0.000 % | 1236.51/1236.55 c | 5589637 | 900 33196 103825 | 1 257255 27 | 0.000 % | 1236.51/1236.55 c | 5593508 | 900 33196 103825 | 1 261126 27 | 0.000 % | 1236.51/1236.55 c | 5618036 | 900 33196 103825 | 1 285654 28 | 0.000 % | 1236.51/1236.55 c | 5628568 | 900 33196 103825 | 1 296186 29 | 0.000 % | 1236.51/1236.55 c | 5639410 | 900 33196 103825 | 1 307028 29 | 0.000 % | 1236.51/1236.55 c | 5639511 | 900 33196 103825 | 1 307129 29 | 0.000 % | 1236.51/1236.55 c | 5640021 | 900 33196 103825 | 1 307639 29 | 0.000 % | 1236.51/1236.55 c | 5654188 | 900 33196 103825 | 1 321806 30 | 0.000 % | 1236.51/1236.55 c | 5661227 | 900 33196 103825 | 1 328845 30 | 0.000 % | 1236.51/1236.55 c | 5663565 | 900 33196 103825 | 1 331183 30 | 0.000 % | 1236.51/1236.55 c | 5663666 | 900 33196 103825 | 1 331284 30 | 0.000 % | 1236.51/1236.55 c | 5664264 | 900 33196 103825 | 1 331882 30 | 0.000 % | 1236.51/1236.55 c | 5664364 | 900 33196 103825 | 1 331982 30 | 0.000 % | 1236.51/1236.55 c | 5664726 | 900 33196 103825 | 1 332344 30 | 0.000 % | 1236.51/1236.55 c | 5670668 | 900 33196 103825 | 1 170486 19 | 0.000 % | 1236.51/1236.55 c | 5683762 | 900 33196 103825 | 1 183580 20 | 0.000 % | 1236.51/1236.55 c | 5694528 | 900 33196 103825 | 1 194346 22 | 0.000 % | 1236.51/1236.55 c | 5701130 | 900 33196 103825 | 1 200948 22 | 0.000 % | 1236.51/1236.55 c | 5702844 | 900 33196 103825 | 1 202662 23 | 0.000 % | 1236.51/1236.55 c | 5703219 | 900 33196 103825 | 1 203037 23 | 0.000 % | 1236.51/1236.55 c | 5704214 | 900 33196 103825 | 1 204032 23 | 0.000 % | 1236.51/1236.55 c | 5717953 | 900 33196 103825 | 1 217771 24 | 0.000 % | 1236.51/1236.55 c | 5718055 | 900 33196 103825 | 1 217873 24 | 0.000 % | 1236.51/1236.55 c | 5727622 | 900 33196 103825 | 1 227440 25 | 0.000 % | 1236.51/1236.55 c | 5727724 | 900 33196 103825 | 1 227542 25 | 0.000 % | 1236.51/1236.55 c | 5727827 | 900 33196 103825 | 1 227645 25 | 0.000 % | 1236.51/1236.55 c | 5734178 | 900 33196 103825 | 1 233996 25 | 0.000 % | 1236.51/1236.55 c | 5734296 | 900 33196 103825 | 1 234114 25 | 0.000 % | 1236.51/1236.55 c | 5741980 | 900 33196 103825 | 1 241798 26 | 0.000 % | 1236.51/1236.55 c | 5751451 | 900 33196 103825 | 1 251269 27 | 0.000 % | 1236.51/1236.55 c | 5759073 | 900 33196 103825 | 1 258891 27 | 0.000 % | 1236.51/1236.55 c | 5759193 | 900 33196 103825 | 1 259011 27 | 0.000 % | 1236.51/1236.55 c | 5769568 | 900 33196 103825 | 1 269386 28 | 0.000 % | 1236.51/1236.55 c | 5769669 | 900 33196 103825 | 1 269487 28 | 0.000 % | 1236.51/1236.55 c | 5770283 | 900 33196 103825 | 1 270101 28 | 0.000 % | 1236.51/1236.55 c | 5771256 | 900 33196 103825 | 1 271074 28 | 0.000 % | 1236.51/1236.55 c | 5780022 | 900 33196 103825 | 1 279840 28 | 0.000 % | 1236.51/1236.55 c | 5780978 | 900 33196 103825 | 1 280796 28 | 0.000 % | 1236.51/1236.55 c | 5782548 | 900 33196 103825 | 1 282366 28 | 0.000 % | 1236.51/1236.55 c | 5782648 | 900 33196 103825 | 1 282466 28 | 0.000 % | 1236.51/1236.55 c | 5785027 | 900 33196 103825 | 1 284845 28 | 0.000 % | 1236.51/1236.55 c | 5798438 | 900 33196 103825 | 1 298256 29 | 0.000 % | 1236.51/1236.55 c | 5798540 | 900 33196 103825 | 1 298358 29 | 0.000 % | 1236.51/1236.55 c | 5804268 | 900 33196 103825 | 1 304086 29 | 0.000 % | 1236.51/1236.55 c | 5808287 | 900 33196 103825 | 1 308105 29 | 0.000 % | 1236.51/1236.55 c | 5808387 | 900 33196 103825 | 1 308205 29 | 0.000 % | 1236.51/1236.55 c | 5812149 | 900 33196 103825 | 1 311967 29 | 0.000 % | 1236.51/1236.55 c | 5817271 | 900 33196 103825 | 1 317089 30 | 0.000 % | 1236.51/1236.55 c | 5826775 | 900 33196 103825 |
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-3264068-1303546549/watcher-3264068-1303546549 -o /tmp/evaluation-result-3264068-1303546549/solver-3264068-1303546549 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264068-1303546549.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.53 2.76 3.44 4/192 15766 /proc/meminfo: memFree=14447452/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 466255693 8912896 252 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 252 211 178 0 69 0 [startup+0.0773489 s] /proc/loadavg: 1.53 2.76 3.44 4/192 15766 /proc/meminfo: memFree=14447452/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.100328 s] /proc/loadavg: 1.53 2.76 3.44 4/192 15766 /proc/meminfo: memFree=14447452/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.300291 s] /proc/loadavg: 1.53 2.76 3.44 4/192 15766 /proc/meminfo: memFree=14447452/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700219 s] /proc/loadavg: 1.53 2.76 3.44 4/192 15766 /proc/meminfo: memFree=14447452/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.50111 s] /proc/loadavg: 1.53 2.76 3.44 4/188 15817 /proc/meminfo: memFree=14434024/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=25064 CPUtime=1.42 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 3972 0 0 0 142 0 0 0 25 0 1 0 466255699 25665536 2773 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 6266 2773 248 17 0 2907 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33768 [startup+3.10082 s] /proc/loadavg: 1.53 2.76 3.44 5/194 15829 /proc/meminfo: memFree=14410980/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=27784 CPUtime=3.02 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 4916 0 0 0 302 0 0 0 25 0 1 0 466255699 28450816 3665 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 6946 3665 248 17 0 3587 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 36488 [startup+6.30023 s] /proc/loadavg: 1.73 2.78 3.44 5/194 15830 /proc/meminfo: memFree=14391528/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=34032 CPUtime=6.22 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 6412 0 0 0 622 0 0 0 25 0 1 0 466255699 34848768 3749 33554432000 4194304 4260849 140735451898112 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 8508 3749 248 17 0 5149 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 42736 [startup+12.7011 s] /proc/loadavg: 1.91 2.80 3.44 5/194 15830 /proc/meminfo: memFree=14366260/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=38456 CPUtime=12.63 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 9119 0 0 0 1262 1 0 0 25 0 1 0 466255699 39378944 6327 33554432000 4194304 4260849 140735451898112 18446744073709551615 4226623 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 9614 6327 248 17 0 6255 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47160 [startup+25.5007 s] /proc/loadavg: 2.37 2.86 3.45 5/194 15830 /proc/meminfo: memFree=14334536/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=38456 CPUtime=25.43 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 9119 0 0 0 2542 1 0 0 25 0 1 0 466255699 39378944 6327 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 9614 6327 248 17 0 6255 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47160 [startup+51.101 s] /proc/loadavg: 2.93 2.95 3.47 5/194 15831 /proc/meminfo: memFree=14311936/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=64556 CPUtime=51.03 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 14391 0 0 0 5101 2 0 0 25 0 1 0 466255699 66105344 8637 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 16139 8637 249 17 0 12780 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73260 [startup+102.307 s] /proc/loadavg: 3.53 3.11 3.49 5/194 15832 /proc/meminfo: memFree=14257860/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=64556 CPUtime=102.24 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 18659 0 0 0 10221 3 0 0 25 0 1 0 466255699 66105344 12762 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 16139 12762 249 17 0 12780 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 73260 [startup+162.301 s] /proc/loadavg: 3.86 3.28 3.53 5/194 15834 /proc/meminfo: memFree=14208248/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=83396 CPUtime=162.23 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 28793 0 0 0 16218 5 0 0 25 0 1 0 466255699 85397504 17536 33554432000 4194304 4260849 140735451898112 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 20849 17536 249 17 0 17490 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 92100 [startup+222.301 s] /proc/loadavg: 3.95 3.41 3.55 5/194 15865 /proc/meminfo: memFree=14201404/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=83396 CPUtime=222.23 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 28793 0 0 0 22218 5 0 0 25 0 1 0 466255699 85397504 17536 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224445 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 20849 17536 249 17 0 17490 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 92100 [startup+282.301 s] /proc/loadavg: 3.98 3.51 3.58 5/194 15867 /proc/meminfo: memFree=14140512/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=282.23 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 30346 0 0 0 28218 5 0 0 25 0 1 0 466255699 97632256 19054 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 19054 249 17 0 20477 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 104048 [startup+342.301 s] /proc/loadavg: 4.04 3.61 3.61 5/194 15868 /proc/meminfo: memFree=14126860/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=342.23 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 31328 0 0 0 34218 5 0 0 25 0 1 0 466255699 97632256 20016 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224669 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20016 249 17 0 20477 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 104048 [startup+402.301 s] /proc/loadavg: 4.01 3.68 3.63 5/194 15870 /proc/meminfo: memFree=14076956/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 ################ # More data... # ################ /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 104048 [startup+642.301 s] /proc/loadavg: 4.00 3.86 3.71 5/194 15876 /proc/meminfo: memFree=14033584/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=642.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 96513 0 0 0 64209 16 0 0 25 0 1 0 466255699 97632256 20523 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 104048 [startup+702.301 s] /proc/loadavg: 4.05 3.90 3.73 5/194 15878 /proc/meminfo: memFree=14045224/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=702.24 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 114613 0 0 0 70205 19 0 0 25 0 1 0 466255699 97632256 20523 33554432000 4194304 4260849 140735451898112 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 104048 [startup+762.307 s] /proc/loadavg: 4.02 3.91 3.74 5/194 15880 /proc/meminfo: memFree=14003912/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=144664 CPUtime=762.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 133428 0 0 0 76203 22 0 0 25 0 1 0 466255699 148135936 29750 33554432000 4194304 4260849 140735451898112 18446744073709551615 4246707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 36166 29750 249 17 0 32807 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 153368 [startup+822.301 s] /proc/loadavg: 4.00 3.92 3.75 5/194 15881 /proc/meminfo: memFree=14052376/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=822.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 142797 0 0 0 82201 24 0 0 25 0 1 0 466255699 97632256 20523 33554432000 4194304 4260849 140735451898112 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 104048 [startup+882.301 s] /proc/loadavg: 4.06 3.95 3.77 5/194 15883 /proc/meminfo: memFree=14063632/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=882.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 162445 0 0 0 88197 28 0 0 25 0 1 0 466255699 97632256 20523 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224361 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 104048 [startup+942.301 s] /proc/loadavg: 4.09 3.97 3.79 5/194 15884 /proc/meminfo: memFree=14017836/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=942.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 172506 0 0 0 94196 29 0 0 25 0 1 0 466255699 97632256 20523 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20523 249 17 0 20477 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 104048 [startup+1002.3 s] /proc/loadavg: 4.03 3.97 3.80 5/194 15886 /proc/meminfo: memFree=13999716/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=144664 CPUtime=1002.25 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 191905 0 0 0 100193 32 0 0 25 0 1 0 466255699 148135936 30068 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 36166 30068 249 17 0 32807 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 153368 [startup+1062.3 s] /proc/loadavg: 4.06 3.99 3.82 5/194 15888 /proc/meminfo: memFree=13972908/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=1062.26 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 202573 0 0 0 106190 36 0 0 25 0 1 0 466255699 97632256 20565 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20565 249 17 0 20477 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 104048 [startup+1122.3 s] /proc/loadavg: 4.02 3.99 3.82 5/194 15889 /proc/meminfo: memFree=14013688/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=1122.26 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 213397 0 0 0 112187 39 0 0 25 0 1 0 466255699 97632256 20565 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20565 249 17 0 20477 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 104048 [startup+1182.3 s] /proc/loadavg: 4.00 3.99 3.83 5/194 15891 /proc/meminfo: memFree=13950180/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=144664 CPUtime=1182.26 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 233826 0 0 0 118183 43 0 0 25 0 1 0 466255699 148135936 30422 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 36166 30422 249 17 0 32807 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 153368 [startup+1242.3 s] /proc/loadavg: 4.00 3.99 3.83 5/194 15892 /proc/meminfo: memFree=13975304/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=1242.26 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 246316 0 0 0 124180 46 0 0 25 0 1 0 466255699 97632256 20565 33554432000 4194304 4260849 140735451898112 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20565 249 17 0 20477 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 104048 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.99 3.84 5/194 15894 /proc/meminfo: memFree=13964872/32951124 swapFree=67111528/67111528 [pid=15766] ppid=15764 vsize=8704 CPUtime=0.05 cores=5,7 /proc/15766/stat : 15766 (glucose.sh) S 15764 15766 14093 0 -1 4202496 359 859 0 0 0 0 5 0 21 0 1 0 466255693 8912896 254 33554432000 4194304 4922060 140736686599168 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/15766/statm: 2176 254 211 178 0 69 0 [pid=15770] ppid=15766 vsize=95344 CPUtime=1299.97 cores=5,7 /proc/15770/stat : 15770 (glucose_static) R 15766 15766 14093 0 -1 4202496 257411 0 0 0 129948 49 0 0 25 0 1 0 466255699 97632256 20565 33554432000 4194304 4260849 140735451898112 18446744073709551615 4225296 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15770/statm: 23836 20565 249 17 0 20477 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 104048 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 15766 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=55991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.06099 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.53 CPU system time (s): 0.49 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 153368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.055991 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1218 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 14 runsolver used 2.10668 second user time and 5.00124 second system time The end
Begin job on node109 at 2011-04-23 10:15:49 IDJOB=3264068 IDBENCH=84551 IDSOLVER=1651 FILE ID=node109/3264068-1303546549 RUNJOBID= node109-1303546549-15721 PBS_JOBID= 13143129 Free space on /tmp= 71628 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264068-1303546549/watcher-3264068-1303546549 -o /tmp/evaluation-result-3264068-1303546549/solver-3264068-1303546549 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264068-1303546549.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 00e6f1cbbaaa8f43dc6451d49bfa1cef RANDOM SEED=473174024 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14447732 kB Buffers: 2093912 kB Cached: 15763776 kB SwapCached: 0 kB Active: 9705872 kB Inactive: 8226624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14447732 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5224 kB Writeback: 0 kB AnonPages: 73712 kB Mapped: 14884 kB Slab: 506236 kB PageTables: 6280 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 265372 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= 71620 MiB End job on node109 at 2011-04-23 10:37:31