| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf |
| MD5SUM | a722a199fd84ba0b319251daa47aa19c |
| 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 | 232 |
| Number of clauses | 28991 |
| Sum of the clauses size | 130855 |
| Maximum clause length | 22 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 77 |
| Number of clauses of size 3 | 26594 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2320 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 28991 130855 | 8697 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 232 #clauses: 28991 #literals: 130855 0.00/0.01 c CPU time: 0.010998 s 0.00/0.01 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 15.38/15.46 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 15.38/15.46 c WARNING: for repeatability, setting FPU to use double precision 15.38/15.46 c ============================[ Problem Statistics ]============================= 15.38/15.46 c | | 15.38/15.46 c | Number of variables: 232 | 15.38/15.46 c | Number of clauses: 28991 | 15.38/15.46 c | Parse time: 0.01 s | 15.38/15.46 c | | 15.38/15.46 c ============================[ Search Statistics ]============================== 15.38/15.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.38/15.46 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 15.38/15.46 c =============================================================================== 15.38/15.46 c | 6636 | 232 28991 130855 | 1 4638 25 | 0.000 % | 15.38/15.46 c | 11802 | 232 28991 130855 | 1 5505 25 | 0.000 % | 15.38/15.46 c | 11902 | 232 28991 130855 | 1 5605 25 | 0.000 % | 15.38/15.46 c | 12002 | 232 28991 130855 | 1 5705 25 | 0.000 % | 15.38/15.46 c | 16581 | 232 28991 130855 | 1 10284 27 | 0.000 % | 15.38/15.46 c | 36986 | 232 28991 130855 | 1 14670 27 | 0.000 % | 15.38/15.46 c | 37087 | 232 28991 130855 | 1 14771 27 | 0.000 % | 15.38/15.46 c | 37187 | 232 28991 130855 | 1 14871 27 | 0.000 % | 15.38/15.46 c | 37288 | 232 28991 130855 | 1 14972 27 | 0.000 % | 15.38/15.46 c | 44499 | 232 28991 130855 | 1 22183 28 | 0.000 % | 15.38/15.46 c | 50469 | 232 28991 130855 | 1 16313 26 | 0.000 % | 15.38/15.46 c | 65808 | 232 28991 130855 | 1 17231 25 | 0.000 % | 15.38/15.46 c | 65910 | 232 28991 130855 | 1 17333 25 | 0.000 % | 15.38/15.46 c | 79069 | 232 28991 130855 | 1 30492 25 | 0.000 % | 15.38/15.46 c | 88679 | 232 28991 130855 | 1 23099 25 | 0.000 % | 15.38/15.46 c | 96746 | 232 28991 130855 | 1 31166 27 | 0.000 % | 15.38/15.46 c | 96847 | 232 28991 130855 | 1 31267 27 | 0.000 % | 15.38/15.46 c | 96950 | 232 28991 130855 | 1 31370 27 | 0.000 % | 15.38/15.46 c | 97071 | 232 28991 130855 | 1 31491 27 | 0.000 % | 15.38/15.46 c | 97171 | 232 28991 130855 | 1 31591 27 | 0.000 % | 15.38/15.46 c | 97271 | 232 28991 130855 | 1 31691 27 | 0.000 % | 15.38/15.46 c | 99252 | 232 28991 130855 | 1 33672 27 | 0.000 % | 15.38/15.46 c | 139665 | 232 28991 130855 | 1 32275 24 | 0.000 % | 15.38/15.46 c | 141348 | 232 28991 130855 | 1 33958 25 | 0.000 % | 15.38/15.46 c | 143730 | 232 28991 130855 | 1 36340 25 | 0.000 % | 15.38/15.46 c | 155813 | 232 28991 130855 | 1 48423 26 | 0.000 % | 15.38/15.46 c | 156997 | 232 28991 130855 | 1 49607 26 | 0.000 % | 15.38/15.46 c | 158947 | 232 28991 130855 | 1 26753 24 | 0.000 % | 15.38/15.46 c | 191692 | 232 28991 130855 | 1 32099 25 | 0.000 % | 15.38/15.46 c | 191796 | 232 28991 130855 | 1 32203 25 | 0.000 % | 15.38/15.46 c | 206786 | 232 28991 130855 | 1 47193 25 | 0.000 % | 15.38/15.46 c | 210805 | 232 28991 130855 | 1 51212 26 | 0.000 % | 15.38/15.46 c | 211771 | 232 28991 130855 | 1 52178 26 | 0.000 % | 15.38/15.46 c | 212038 | 232 28991 130855 | 1 52445 26 | 0.000 % | 15.38/15.46 c | 212138 | 232 28991 130855 | 1 52545 26 | 0.000 % | 15.38/15.46 c | 212238 | 232 28991 130855 | 1 52645 26 | 0.000 % | 15.38/15.46 c | 212338 | 232 28991 130855 | 1 52745 26 | 0.000 % | 15.38/15.46 c | 286543 | 232 28991 130855 | 1 64350 24 | 0.000 % | 15.38/15.46 c | 286646 | 232 28991 130855 | 1 64453 24 | 0.000 % | 65.18/65.22 c | 318508 | 232 28991 130855 | 1 61121 25 | 0.000 % | 65.18/65.22 c | 318608 | 232 28991 130855 | 1 61221 25 | 0.000 % | 65.18/65.22 c | 318708 | 232 28991 130855 | 1 61321 25 | 0.000 % | 65.18/65.22 c | 318810 | 232 28991 130855 | 1 61423 25 | 0.000 % | 65.18/65.22 c | 318910 | 232 28991 130855 | 1 61523 25 | 0.000 % | 65.18/65.22 c | 319011 | 232 28991 130855 | 1 61624 25 | 0.000 % | 65.18/65.22 c | 388105 | 232 28991 130855 | 1 52522 24 | 0.000 % | 65.18/65.22 c | 439414 | 232 28991 130855 | 1 60826 23 | 0.000 % | 65.18/65.22 c | 452887 | 232 28991 130855 | 1 74299 23 | 0.000 % | 65.18/65.22 c | 453000 | 232 28991 130855 | 1 74412 23 | 0.000 % | 65.18/65.22 c | 454560 | 232 28991 130855 | 1 75972 23 | 0.000 % | 65.18/65.22 c | 456225 | 232 28991 130855 | 1 77637 24 | 0.000 % | 65.18/65.22 c | 456325 | 232 28991 130855 | 1 77737 24 | 0.000 % | 65.18/65.22 c | 460346 | 232 28991 130855 | 1 81758 24 | 0.000 % | 65.18/65.22 c | 460450 | 232 28991 130855 | 1 81862 24 | 0.000 % | 65.18/65.22 c | 460740 | 232 28991 130855 | 1 82152 24 | 0.000 % | 65.18/65.22 c | 538114 | 232 28991 130855 | 1 65732 23 | 0.000 % | 65.18/65.22 c | 541742 | 232 28991 130855 | 1 69360 23 | 0.000 % | 65.18/65.22 c | 541842 | 232 28991 130855 | 1 69460 23 | 0.000 % | 65.18/65.22 c | 541944 | 232 28991 130855 | 1 69562 23 | 0.000 % | 65.18/65.22 c | 542044 | 232 28991 130855 | 1 69662 23 | 0.000 % | 65.18/65.22 c | 553136 | 232 28991 130855 | 1 80754 24 | 0.000 % | 65.18/65.22 c | 556678 | 232 28991 130855 | 1 84296 24 | 0.000 % | 65.18/65.22 c | 621309 | 232 28991 130855 | 1 98132 24 | 0.000 % | 65.18/65.22 c | 622332 | 232 28991 130855 | 1 99155 24 | 0.000 % | 65.18/65.22 c | 622432 | 232 28991 130855 | 1 99255 24 | 0.000 % | 65.18/65.22 c | 643371 | 232 28991 130855 | 1 66787 23 | 0.000 % | 65.18/65.22 c | 684388 | 232 28991 130855 | 1 107804 24 | 0.000 % | 65.18/65.22 c | 754904 | 232 28991 130855 | 1 63719 22 | 0.000 % | 65.18/65.22 c | 757983 | 232 28991 130855 | 1 66798 22 | 0.000 % | 65.18/65.22 c | 763324 | 232 28991 130855 | 1 72139 23 | 0.000 % | 65.18/65.22 c | 763898 | 232 28991 130855 | 1 72713 23 | 0.000 % | 65.18/65.22 c | 764316 | 232 28991 130855 | 1 73131 23 | 0.000 % | 65.18/65.22 c | 857112 | 232 28991 130855 | 1 104728 24 | 0.000 % | 65.18/65.22 c | 857213 | 232 28991 130855 | 1 104829 24 | 0.000 % | 65.18/65.22 c | 857314 | 232 28991 130855 | 1 104930 24 | 0.000 % | 65.18/65.22 c | 857414 | 232 28991 130855 | 1 105030 24 | 0.000 % | 65.18/65.22 c | 857514 | 232 28991 130855 | 1 105130 24 | 0.000 % | 65.18/65.22 c | 857911 | 232 28991 130855 | 1 105527 24 | 0.000 % | 65.18/65.22 c | 858011 | 232 28991 130855 | 1 105627 24 | 0.000 % | 65.18/65.22 c | 868663 | 232 28991 130855 | 1 116279 24 | 0.000 % | 65.18/65.22 c | 869739 | 232 28991 130855 | 1 117355 24 | 0.000 % | 65.18/65.22 c | 869839 | 232 28991 130855 | 1 117455 24 | 0.000 % | 65.18/65.22 c | 869941 | 232 28991 130855 | 1 117557 24 | 0.000 % | 65.18/65.22 c | 870041 | 232 28991 130855 | 1 117657 24 | 0.000 % | 65.18/65.22 c | 870141 | 232 28991 130855 | 1 117757 24 | 0.000 % | 65.18/65.22 c | 877392 | 232 28991 130855 | 1 125008 24 | 0.000 % | 65.18/65.22 c | 955330 | 232 28991 130855 | 1 72752 22 | 0.000 % | 65.18/65.22 c | 969590 | 232 28991 130855 | 1 87012 23 | 0.000 % | 65.18/65.22 c | 969690 | 232 28991 130855 | 1 87112 23 | 0.000 % | 97.18/97.29 c | 972333 | 232 28991 130855 | 1 89755 23 | 0.000 % | 97.18/97.29 c | 972433 | 232 28991 130855 | 1 89855 23 | 0.000 % | 97.18/97.29 c | 972888 | 232 28991 130855 | 1 90310 23 | 0.000 % | 97.18/97.29 c | 973473 | 232 28991 130855 | 1 90895 23 | 0.000 % | 97.18/97.29 c | 1072716 | 232 28991 130855 | 1 121128 22 | 0.000 % | 97.18/97.29 c | 1083719 | 232 28991 130855 | 1 132131 23 | 0.000 % | 97.18/97.29 c | 1083820 | 232 28991 130855 | 1 132232 23 | 0.000 % | 97.18/97.29 c | 1084980 | 232 28991 130855 | 1 133392 23 | 0.000 % | 97.18/97.29 c | 1093851 | 232 28991 130855 | 1 142263 23 | 0.000 % | 97.18/97.29 c | 1119036 | 232 28991 130855 | 1 95849 22 | 0.000 % | 97.18/97.29 c | 1119136 | 232 28991 130855 | 1 95949 22 | 0.000 % | 97.18/97.29 c | 1121676 | 232 28991 130855 | 1 98489 22 | 0.000 % | 97.18/97.29 c | 1121778 | 232 28991 130855 | 1 98591 22 | 0.000 % | 97.18/97.29 c | 1122867 | 232 28991 130855 | 1 99680 23 | 0.000 % | 97.18/97.29 c | 1128304 | 232 28991 130855 | 1 105117 23 | 0.000 % | 97.18/97.29 c | 1128433 | 232 28991 130855 | 1 105246 23 | 0.000 % | 97.18/97.29 c | 1128533 | 232 28991 130855 | 1 105346 23 | 0.000 % | 97.18/97.29 c | 1130928 | 232 28991 130855 | 1 107741 23 | 0.000 % | 97.18/97.29 c | 1132796 | 232 28991 130855 | 1 109609 23 | 0.000 % | 97.18/97.29 c | 1153182 | 232 28991 130855 | 1 129995 23 | 0.000 % | 97.18/97.29 c | 1157944 | 232 28991 130855 | 1 134757 24 | 0.000 % | 97.18/97.29 c | 1158044 | 232 28991 130855 | 1 134857 24 | 0.000 % | 97.18/97.29 c | 1162107 | 232 28991 130855 | 1 138920 24 | 0.000 % | 97.18/97.29 c | 1162207 | 232 28991 130855 | 1 139020 24 | 0.000 % | 97.18/97.29 c | 1213151 | 232 28991 130855 | 1 115764 22 | 0.000 % | 97.18/97.29 c | 1217970 | 232 28991 130855 | 1 120583 22 | 0.000 % | 97.18/97.29 c | 1218089 | 232 28991 130855 | 1 120702 22 | 0.000 % | 97.18/97.29 c | 1224129 | 232 28991 130855 | 1 126742 23 | 0.000 % | 97.18/97.29 c | 1236470 | 232 28991 130855 | 1 139083 23 | 0.000 % | 97.18/97.29 c | 1240425 | 232 28991 130855 | 1 143038 23 | 0.000 % | 97.18/97.29 c | 1254089 | 232 28991 130855 | 1 79905 21 | 0.000 % | 97.18/97.29 c | 1254189 | 232 28991 130855 | 1 80005 21 | 0.000 % | 97.18/97.29 c | 1254594 | 232 28991 130855 | 1 80410 21 | 0.000 % | 97.18/97.29 c | 1264186 | 232 28991 130855 | 1 90002 22 | 0.000 % | 97.18/97.29 c | 1264946 | 232 28991 130855 | 1 90762 22 | 0.000 % | 97.18/97.29 c | 1280330 | 232 28991 130855 | 1 106146 23 | 0.000 % | 97.18/97.29 c | 1280471 | 232 28991 130855 | 1 106287 23 | 0.000 % | 97.18/97.29 c | 1280571 | 232 28991 130855 | 1 106387 23 | 0.000 % | 97.18/97.29 c | 1310047 | 232 28991 130855 | 1 135863 23 | 0.000 % | 97.18/97.29 c | 1316986 | 232 28991 130855 | 1 142802 24 | 0.000 % | 97.18/97.29 c | 1321487 | 232 28991 130855 | 1 147303 24 | 0.000 % | 97.18/97.29 c | 1323301 | 232 28991 130855 | 1 149117 24 | 0.000 % | 97.18/97.29 c | 1325992 | 232 28991 130855 | 1 151808 24 | 0.000 % | 97.18/97.29 c | 1326092 | 232 28991 130855 | 1 151908 24 | 0.000 % | 97.18/97.29 c | 1350772 | 232 28991 130855 | 1 97189 22 | 0.000 % | 97.18/97.29 c | 1350873 | 232 28991 130855 | 1 97290 22 | 0.000 % | 97.18/97.29 c | 1353916 | 232 28991 130855 | 1 100333 22 | 0.000 % | 97.18/97.29 c | 1355106 | 232 28991 130855 | 1 101523 22 | 0.000 % | 97.18/97.29 c | 1357765 | 232 28991 130855 | 1 104182 23 | 0.000 % | 97.18/97.29 c | 1360189 | 232 28991 130855 | 1 106606 23 | 0.000 % | 148.28/148.30 c | 1361390 | 232 28991 130855 | 1 107807 23 | 0.000 % | 148.28/148.30 c | 1417040 | 232 28991 130855 | 1 163457 24 | 0.000 % | 148.28/148.30 c | 1418110 | 232 28991 130855 | 1 82526 21 | 0.000 % | 148.28/148.30 c | 1449589 | 232 28991 130855 | 1 114005 23 | 0.000 % | 148.28/148.30 c | 1468296 | 232 28991 130855 | 1 132712 24 | 0.000 % | 148.28/148.30 c | 1471000 | 232 28991 130855 | 1 135416 24 | 0.000 % | 148.28/148.30 c | 1494497 | 232 28991 130855 | 1 158913 25 | 0.000 % | 148.28/148.30 c | 1498352 | 232 28991 130855 | 1 162768 25 | 0.000 % | 148.28/148.30 c | 1540560 | 232 28991 130855 | 1 120369 22 | 0.000 % | 148.28/148.30 c | 1540662 | 232 28991 130855 | 1 120471 22 | 0.000 % | 148.28/148.30 c | 1554421 | 232 28991 130855 | 1 134230 23 | 0.000 % | 148.28/148.30 c | 1554605 | 232 28991 130855 | 1 134414 23 | 0.000 % | 148.28/148.30 c | 1560256 | 232 28991 130855 | 1 140065 23 | 0.000 % | 148.28/148.30 c | 1593956 | 232 28991 130855 | 1 173765 24 | 0.000 % | 148.28/148.30 c | 1607764 | 232 28991 130855 | 1 100373 21 | 0.000 % | 148.28/148.30 c | 1629398 | 232 28991 130855 | 1 122007 22 | 0.000 % | 148.28/148.30 c | 1629841 | 232 28991 130855 | 1 122450 22 | 0.000 % | 148.28/148.30 c | 1629945 | 232 28991 130855 | 1 122554 22 | 0.000 % | 148.28/148.30 c | 1630048 | 232 28991 130855 | 1 122657 22 | 0.000 % | 148.28/148.30 c | 1630263 | 232 28991 130855 | 1 122872 22 | 0.000 % | 148.28/148.30 c | 1630697 | 232 28991 130855 | 1 123306 22 | 0.000 % | 148.28/148.30 c | 1631720 | 232 28991 130855 | 1 124329 22 | 0.000 % | 148.28/148.30 c | 1644011 | 232 28991 130855 | 1 136620 23 | 0.000 % | 148.28/148.30 c | 1645444 | 232 28991 130855 | 1 138053 23 | 0.000 % | 148.28/148.30 c | 1647981 | 232 28991 130855 | 1 140590 23 | 0.000 % | 148.28/148.30 c | 1649142 | 232 28991 130855 | 1 141751 23 | 0.000 % | 148.28/148.30 c | 1649850 | 232 28991 130855 | 1 142459 23 | 0.000 % | 148.28/148.30 c | 1666223 | 232 28991 130855 | 1 158832 24 | 0.000 % | 148.28/148.30 c | 1728411 | 232 28991 130855 | 1 131220 23 | 0.000 % | 148.28/148.30 c | 1728511 | 232 28991 130855 | 1 131320 23 | 0.000 % | 148.28/148.30 c | 1729029 | 232 28991 130855 | 1 131838 23 | 0.000 % | 148.28/148.30 c | 1742140 | 232 28991 130855 | 1 144949 23 | 0.000 % | 148.28/148.30 c | 1744873 | 232 28991 130855 | 1 147682 23 | 0.000 % | 148.28/148.30 c | 1744973 | 232 28991 130855 | 1 147782 23 | 0.000 % | 148.28/148.30 c | 1745073 | 232 28991 130855 | 1 147882 23 | 0.000 % | 148.28/148.30 c | 1745174 | 232 28991 130855 | 1 147983 23 | 0.000 % | 148.28/148.30 c | 1764986 | 232 28991 130855 | 1 167795 24 | 0.000 % | 148.28/148.30 c | 1774612 | 232 28991 130855 | 1 177421 24 | 0.000 % | 148.28/148.30 c | 1774712 | 232 28991 130855 | 1 177521 24 | 0.000 % | 148.28/148.30 c | 1811699 | 232 28991 130855 | 1 122109 22 | 0.000 % | 148.28/148.30 c | 1811799 | 232 28991 130855 | 1 122209 22 | 0.000 % | 148.28/148.30 c | 1860085 | 232 28991 130855 | 1 170495 24 | 0.000 % | 148.28/148.30 c | 1866976 | 232 28991 130855 | 1 177386 24 | 0.000 % | 148.28/148.30 c | 1872489 | 232 28991 130855 | 1 182899 24 | 0.000 % | 148.28/148.30 c | 1880543 | 232 28991 130855 | 1 95954 21 | 0.000 % | 148.28/148.30 c | 1888788 | 232 28991 130855 | 1 104199 21 | 0.000 % | 148.28/148.30 c | 1910773 | 232 28991 130855 | 1 126184 22 | 0.000 % | 148.28/148.30 c | 1920073 | 232 28991 130855 | 1 135484 22 | 0.000 % | 148.28/148.30 c | 1920217 | 232 28991 130855 | 1 135628 22 | 0.000 % | 148.28/148.30 c | 1927206 | 232 28991 130855 | 1 142617 23 | 0.000 % | 218.29/218.38 c | 1927306 | 232 28991 130855 | 1 142717 23 | 0.000 % | 218.29/218.38 c | 1927965 | 232 28991 130855 | 1 143376 23 | 0.000 % | 218.29/218.38 c | 1932276 | 232 28991 130855 | 1 147687 23 | 0.000 % | 218.29/218.38 c | 1944375 | 232 28991 130855 | 1 159786 23 | 0.000 % | 218.29/218.38 c | 1944477 | 232 28991 130855 | 1 159888 23 | 0.000 % | 218.29/218.38 c | 1944805 | 232 28991 130855 | 1 160216 23 | 0.000 % | 218.29/218.38 c | 1944905 | 232 28991 130855 | 1 160316 23 | 0.000 % | 218.29/218.38 c | 1962162 | 232 28991 130855 | 1 177573 24 | 0.000 % | 218.29/218.38 c | 1962437 | 232 28991 130855 | 1 177848 24 | 0.000 % | 218.29/218.38 c | 2003397 | 232 28991 130855 | 1 121214 22 | 0.000 % | 218.29/218.38 c | 2003498 | 232 28991 130855 | 1 121315 22 | 0.000 % | 218.29/218.38 c | 2012780 | 232 28991 130855 | 1 130597 22 | 0.000 % | 218.29/218.38 c | 2017582 | 232 28991 130855 | 1 135399 22 | 0.000 % | 218.29/218.38 c | 2017686 | 232 28991 130855 | 1 135503 22 | 0.000 % | 218.29/218.38 c | 2089264 | 232 28991 130855 | 1 106879 21 | 0.000 % | 218.29/218.38 c | 2089523 | 232 28991 130855 | 1 107138 21 | 0.000 % | 218.29/218.38 c | 2228516 | 232 28991 130855 | 1 143331 21 | 0.000 % | 218.29/218.38 c | 2255874 | 232 28991 130855 | 1 170689 22 | 0.000 % | 218.29/218.38 c | 2423030 | 232 28991 130855 | 1 124453 21 | 0.000 % | 218.29/218.38 c | 2476599 | 232 28991 130855 | 1 178022 22 | 0.000 % | 218.29/218.38 c | 2478179 | 232 28991 130855 | 1 179602 22 | 0.000 % | 218.29/218.38 c | 2478833 | 232 28991 130855 | 1 180256 22 | 0.000 % | 218.29/218.38 c | 2516580 | 232 28991 130855 | 1 218003 23 | 0.000 % | 218.29/218.38 c | 2516682 | 232 28991 130855 | 1 218105 23 | 0.000 % | 218.29/218.38 c | 2519933 | 232 28991 130855 | 1 110755 20 | 0.000 % | 218.29/218.38 c | 2523949 | 232 28991 130855 | 1 114771 21 | 0.000 % | 218.29/218.38 c | 2551559 | 232 28991 130855 | 1 142381 22 | 0.000 % | 218.29/218.38 c | 2553520 | 232 28991 130855 | 1 144342 22 | 0.000 % | 218.29/218.38 c | 2553712 | 232 28991 130855 | 1 144534 22 | 0.000 % | 218.29/218.38 c | 2564520 | 232 28991 130855 | 1 155342 22 | 0.000 % | 218.29/218.38 c | 2565670 | 232 28991 130855 | 1 156492 22 | 0.000 % | 218.29/218.38 c | 2571555 | 232 28991 130855 | 1 162377 22 | 0.000 % | 218.29/218.38 c | 2573087 | 232 28991 130855 | 1 163909 23 | 0.000 % | 218.29/218.38 c | 2573188 | 232 28991 130855 | 1 164010 23 | 0.000 % | 218.29/218.38 c | 2574649 | 232 28991 130855 | 1 165471 23 | 0.000 % | 218.29/218.38 c | 2576252 | 232 28991 130855 | 1 167074 23 | 0.000 % | 218.29/218.38 c | 2582487 | 232 28991 130855 | 1 173309 23 | 0.000 % | 218.29/218.38 c | 2586234 | 232 28991 130855 | 1 177056 23 | 0.000 % | 218.29/218.38 c | 2586335 | 232 28991 130855 | 1 177157 23 | 0.000 % | 218.29/218.38 c | 2586435 | 232 28991 130855 | 1 177257 23 | 0.000 % | 218.29/218.38 c | 2593791 | 232 28991 130855 | 1 184613 23 | 0.000 % | 218.29/218.38 c | 2611363 | 232 28991 130855 | 1 202185 24 | 0.000 % | 218.29/218.38 c | 2611464 | 232 28991 130855 | 1 202286 24 | 0.000 % | 218.29/218.38 c | 2611587 | 232 28991 130855 | 1 202409 24 | 0.000 % | 218.29/218.38 c | 2636905 | 232 28991 130855 | 1 114523 21 | 0.000 % | 218.29/218.38 c | 2637006 | 232 28991 130855 | 1 114624 21 | 0.000 % | 218.29/218.38 c | 2637107 | 232 28991 130855 | 1 114725 21 | 0.000 % | 218.29/218.38 c | 2637207 | 232 28991 130855 | 1 114825 21 | 0.000 % | 218.29/218.38 c | 2637307 | 232 28991 130855 | 1 114925 21 | 0.000 % | 218.29/218.38 c | 2637924 | 232 28991 130855 | 1 115542 21 | 0.000 % | 266.99/267.00 c | 2639173 | 232 28991 130855 | 1 116791 21 | 0.000 % | 266.99/267.00 c | 2752740 | 232 28991 130855 | 1 230358 23 | 0.000 % | 266.99/267.00 c | 2752912 | 232 28991 130855 | 1 230530 23 | 0.000 % | 266.99/267.00 c | 2753014 | 232 28991 130855 | 1 230632 23 | 0.000 % | 266.99/267.00 c | 2753358 | 232 28991 130855 | 1 230976 23 | 0.000 % | 266.99/267.00 c | 2754728 | 232 28991 130855 | 1 116542 20 | 0.000 % | 266.99/267.00 c | 2756047 | 232 28991 130855 | 1 117861 20 | 0.000 % | 266.99/267.00 c | 2756734 | 232 28991 130855 | 1 118548 20 | 0.000 % | 266.99/267.00 c | 2757548 | 232 28991 130855 | 1 119362 20 | 0.000 % | 266.99/267.00 c | 2757650 | 232 28991 130855 | 1 119464 20 | 0.000 % | 266.99/267.00 c | 2757767 | 232 28991 130855 | 1 119581 20 | 0.000 % | 266.99/267.00 c | 2763919 | 232 28991 130855 | 1 125733 21 | 0.000 % | 266.99/267.00 c | 2773460 | 232 28991 130855 | 1 135274 21 | 0.000 % | 266.99/267.00 c | 2776891 | 232 28991 130855 | 1 138705 21 | 0.000 % | 266.99/267.00 c | 2780796 | 232 28991 130855 | 1 142610 22 | 0.000 % | 266.99/267.00 c | 2781187 | 232 28991 130855 | 1 143001 22 | 0.000 % | 266.99/267.00 c | 2781287 | 232 28991 130855 | 1 143101 22 | 0.000 % | 266.99/267.00 c | 2793095 | 232 28991 130855 | 1 154909 22 | 0.000 % | 266.99/267.00 c | 2800757 | 232 28991 130855 | 1 162571 22 | 0.000 % | 266.99/267.00 c | 2801073 | 232 28991 130855 | 1 162887 22 | 0.000 % | 266.99/267.00 c | 2801175 | 232 28991 130855 | 1 162989 22 | 0.000 % | 266.99/267.00 c | 2809074 | 232 28991 130855 | 1 170888 23 | 0.000 % | 266.99/267.00 c | 2809348 | 232 28991 130855 | 1 171162 23 | 0.000 % | 266.99/267.00 c | 2829421 | 232 28991 130855 | 1 191235 23 | 0.000 % | 266.99/267.00 c | 2829970 | 232 28991 130855 | 1 191784 23 | 0.000 % | 266.99/267.00 c | 2839817 | 232 28991 130855 | 1 201631 23 | 0.000 % | 266.99/267.00 c | 2859319 | 232 28991 130855 | 1 221133 24 | 0.000 % | 266.99/267.00 c | 2859635 | 232 28991 130855 | 1 221449 24 | 0.000 % | 266.99/267.00 c | 2859799 | 232 28991 130855 | 1 221613 24 | 0.000 % | 266.99/267.00 c | 2859899 | 232 28991 130855 | 1 221713 24 | 0.000 % | 266.99/267.00 c | 2869696 | 232 28991 130855 | 1 231510 24 | 0.000 % | 266.99/267.00 c | 2869847 | 232 28991 130855 | 1 231661 24 | 0.000 % | 266.99/267.00 c | 2870395 | 232 28991 130855 | 1 232209 24 | 0.000 % | 266.99/267.00 c | 2918340 | 232 28991 130855 | 1 161754 22 | 0.000 % | 266.99/267.00 c | 2977600 | 232 28991 130855 | 1 221014 23 | 0.000 % | 266.99/267.00 c | 2977913 | 232 28991 130855 | 1 221327 23 | 0.000 % | 266.99/267.00 c | 3018318 | 232 28991 130855 | 1 140737 21 | 0.000 % | 266.99/267.00 c | 3033328 | 232 28991 130855 | 1 155747 22 | 0.000 % | 266.99/267.00 c | 3037744 | 232 28991 130855 | 1 160163 22 | 0.000 % | 266.99/267.00 c | 3038436 | 232 28991 130855 | 1 160855 22 | 0.000 % | 266.99/267.00 c | 3052174 | 232 28991 130855 | 1 174593 22 | 0.000 % | 266.99/267.00 c | 3052274 | 232 28991 130855 | 1 174693 22 | 0.000 % | 266.99/267.00 c | 3053849 | 232 28991 130855 | 1 176268 23 | 0.000 % | 266.99/267.00 c | 3053960 | 232 28991 130855 | 1 176379 23 | 0.000 % | 266.99/267.00 c | 3056334 | 232 28991 130855 | 1 178753 23 | 0.000 % | 266.99/267.00 c | 3067453 | 232 28991 130855 | 1 189872 23 | 0.000 % | 266.99/267.00 c | 3072732 | 232 28991 130855 | 1 195151 23 | 0.000 % | 266.99/267.00 c | 3075390 | 232 28991 130855 | 1 197809 23 | 0.000 % | 266.99/267.00 c | 3097537 | 232 28991 130855 | 1 219956 24 | 0.000 % | 266.99/267.00 c | 3097637 | 232 28991 130855 | 1 220056 24 | 0.000 % | 322.59/322.65 c | 3099393 | 232 28991 130855 | 1 221812 24 | 0.000 % | 322.59/322.65 c | 3099518 | 232 28991 130855 | 1 221937 24 | 0.000 % | 322.59/322.65 c | 3120802 | 232 28991 130855 | 1 243221 24 | 0.000 % | 322.59/322.65 c | 3121119 | 232 28991 130855 | 1 243538 24 | 0.000 % | 322.59/322.65 c | 3132923 | 232 28991 130855 | 1 131737 21 | 0.000 % | 322.59/322.65 c | 3147848 | 232 28991 130855 | 1 146662 21 | 0.000 % | 322.59/322.65 c | 3152889 | 232 28991 130855 | 1 151703 21 | 0.000 % | 322.59/322.65 c | 3153746 | 232 28991 130855 | 1 152560 21 | 0.000 % | 322.59/322.65 c | 3153853 | 232 28991 130855 | 1 152667 21 | 0.000 % | 322.59/322.65 c | 3153953 | 232 28991 130855 | 1 152767 21 | 0.000 % | 322.59/322.65 c | 3154053 | 232 28991 130855 | 1 152867 21 | 0.000 % | 322.59/322.65 c | 3155955 | 232 28991 130855 | 1 154769 22 | 0.000 % | 322.59/322.65 c | 3156056 | 232 28991 130855 | 1 154870 22 | 0.000 % | 322.59/322.65 c | 3156158 | 232 28991 130855 | 1 154972 22 | 0.000 % | 322.59/322.65 c | 3178937 | 232 28991 130855 | 1 177751 22 | 0.000 % | 322.59/322.65 c | 3194316 | 232 28991 130855 | 1 193130 23 | 0.000 % | 322.59/322.65 c | 3196108 | 232 28991 130855 | 1 194922 23 | 0.000 % | 322.59/322.65 c | 3232286 | 232 28991 130855 | 1 231100 23 | 0.000 % | 322.59/322.65 c | 3250431 | 232 28991 130855 | 1 249245 24 | 0.000 % | 322.59/322.65 c | 3250533 | 232 28991 130855 | 1 249347 24 | 0.000 % | 322.59/322.65 c | 3250721 | 232 28991 130855 | 1 249535 24 | 0.000 % | 322.59/322.65 c | 3256312 | 232 28991 130855 | 1 128926 21 | 0.000 % | 322.59/322.65 c | 3256510 | 232 28991 130855 | 1 129124 21 | 0.000 % | 322.59/322.65 c | 3256735 | 232 28991 130855 | 1 129349 21 | 0.000 % | 322.59/322.65 c | 3258352 | 232 28991 130855 | 1 130966 21 | 0.000 % | 322.59/322.65 c | 3258454 | 232 28991 130855 | 1 131068 21 | 0.000 % | 322.59/322.65 c | 3267143 | 232 28991 130855 | 1 139757 21 | 0.000 % | 322.59/322.65 c | 3298915 | 232 28991 130855 | 1 171529 22 | 0.000 % | 322.59/322.65 c | 3374695 | 232 28991 130855 | 1 247309 22 | 0.000 % | 322.59/322.65 c | 3385352 | 232 28991 130855 | 1 129168 20 | 0.000 % | 322.59/322.65 c | 3396257 | 232 28991 130855 | 1 140073 21 | 0.000 % | 322.59/322.65 c | 3430188 | 232 28991 130855 | 1 174004 21 | 0.000 % | 322.59/322.65 c | 3430291 | 232 28991 130855 | 1 174107 21 | 0.000 % | 322.59/322.65 c | 3437626 | 232 28991 130855 | 1 181442 22 | 0.000 % | 322.59/322.65 c | 3437726 | 232 28991 130855 | 1 181542 22 | 0.000 % | 322.59/322.65 c | 3444246 | 232 28991 130855 | 1 188062 22 | 0.000 % | 322.59/322.65 c | 3447019 | 232 28991 130855 | 1 190835 22 | 0.000 % | 322.59/322.65 c | 3450983 | 232 28991 130855 | 1 194799 22 | 0.000 % | 322.59/322.65 c | 3451084 | 232 28991 130855 | 1 194900 22 | 0.000 % | 322.59/322.65 c | 3452428 | 232 28991 130855 | 1 196244 22 | 0.000 % | 322.59/322.65 c | 3461656 | 232 28991 130855 | 1 205472 22 | 0.000 % | 322.59/322.65 c | 3526538 | 232 28991 130855 | 1 138955 20 | 0.000 % | 322.59/322.65 c | 3526638 | 232 28991 130855 | 1 139055 20 | 0.000 % | 322.59/322.65 c | 3528020 | 232 28991 130855 | 1 140437 21 | 0.000 % | 322.59/322.65 c | 3531597 | 232 28991 130855 | 1 144014 21 | 0.000 % | 322.59/322.65 c | 3537471 | 232 28991 130855 | 1 149888 21 | 0.000 % | 322.59/322.65 c | 3608876 | 232 28991 130855 | 1 221293 22 | 0.000 % | 322.59/322.65 c | 3614797 | 232 28991 130855 | 1 227214 22 | 0.000 % | 322.59/322.65 c | 3614938 | 232 28991 130855 | 1 227355 22 | 0.000 % | 403.19/403.29 c | 3615039 | 232 28991 130855 | 1 227456 22 | 0.000 % | 403.19/403.29 c | 3615139 | 232 28991 130855 | 1 227556 22 | 0.000 % | 403.19/403.29 c | 3615241 | 232 28991 130855 | 1 227658 22 | 0.000 % | 403.19/403.29 c | 3615696 | 232 28991 130855 | 1 228113 22 | 0.000 % | 403.19/403.29 c | 3620612 | 232 28991 130855 | 1 233029 23 | 0.000 % | 403.19/403.29 c | 3620941 | 232 28991 130855 | 1 233358 23 | 0.000 % | 403.19/403.29 c | 3621185 | 232 28991 130855 | 1 233602 23 | 0.000 % | 403.19/403.29 c | 3621285 | 232 28991 130855 | 1 233702 23 | 0.000 % | 403.19/403.29 c | 3621386 | 232 28991 130855 | 1 233803 23 | 0.000 % | 403.19/403.29 c | 3627292 | 232 28991 130855 | 1 239709 23 | 0.000 % | 403.19/403.29 c | 3627392 | 232 28991 130855 | 1 239809 23 | 0.000 % | 403.19/403.29 c | 3661464 | 232 28991 130855 | 1 139881 20 | 0.000 % | 403.19/403.29 c | 3667920 | 232 28991 130855 | 1 146337 21 | 0.000 % | 403.19/403.29 c | 3680884 | 232 28991 130855 | 1 159301 21 | 0.000 % | 403.19/403.29 c | 3681501 | 232 28991 130855 | 1 159918 21 | 0.000 % | 403.19/403.29 c | 3798390 | 232 28991 130855 | 1 140209 20 | 0.000 % | 403.19/403.29 c | 3821362 | 232 28991 130855 | 1 163181 21 | 0.000 % | 403.19/403.29 c | 3824873 | 232 28991 130855 | 1 166692 21 | 0.000 % | 403.19/403.29 c | 3890113 | 232 28991 130855 | 1 231932 22 | 0.000 % | 403.19/403.29 c | 3892694 | 232 28991 130855 | 1 234513 22 | 0.000 % | 403.19/403.29 c | 3896707 | 232 28991 130855 | 1 238526 22 | 0.000 % | 403.19/403.29 c | 3908710 | 232 28991 130855 | 1 250529 22 | 0.000 % | 403.19/403.29 c | 3908811 | 232 28991 130855 | 1 250630 22 | 0.000 % | 403.19/403.29 c | 3916419 | 232 28991 130855 | 1 258238 23 | 0.000 % | 403.19/403.29 c | 3925886 | 232 28991 130855 | 1 267705 23 | 0.000 % | 403.19/403.29 c | 3932068 | 232 28991 130855 | 1 273887 23 | 0.000 % | 403.19/403.29 c | 3996225 | 232 28991 130855 | 1 198839 22 | 0.000 % | 403.19/403.29 c | 4008652 | 232 28991 130855 | 1 211266 22 | 0.000 % | 403.19/403.29 c | 4008753 | 232 28991 130855 | 1 211367 22 | 0.000 % | 403.19/403.29 c | 4011827 | 232 28991 130855 | 1 214441 22 | 0.000 % | 403.19/403.29 c | 4072477 | 232 28991 130855 | 1 275091 23 | 0.000 % | 403.19/403.29 c | 4072577 | 232 28991 130855 | 1 275191 23 | 0.000 % | 403.19/403.29 c | 4077067 | 232 28991 130855 | 1 279681 23 | 0.000 % | 403.19/403.29 c | 4077624 | 232 28991 130855 | 1 280238 23 | 0.000 % | 403.19/403.29 c | 4078961 | 232 28991 130855 | 1 281575 23 | 0.000 % | 403.19/403.29 c | 4135114 | 232 28991 130855 | 1 195927 22 | 0.000 % | 403.19/403.29 c | 4203072 | 232 28991 130855 | 1 263885 23 | 0.000 % | 403.19/403.29 c | 4203282 | 232 28991 130855 | 1 264095 23 | 0.000 % | 403.19/403.29 c | 4212871 | 232 28991 130855 | 1 273684 23 | 0.000 % | 403.19/403.29 c | 4238198 | 232 28991 130855 | 1 154613 21 | 0.000 % | 403.19/403.29 c | 4239072 | 232 28991 130855 | 1 155487 21 | 0.000 % | 403.19/403.29 c | 4245329 | 232 28991 130855 | 1 161744 21 | 0.000 % | 403.19/403.29 c | 4245429 | 232 28991 130855 | 1 161844 21 | 0.000 % | 403.19/403.29 c | 4245725 | 232 28991 130855 | 1 162140 21 | 0.000 % | 403.19/403.29 c | 4246474 | 232 28991 130855 | 1 162889 21 | 0.000 % | 403.19/403.29 c | 4317437 | 232 28991 130855 | 1 233852 22 | 0.000 % | 403.19/403.29 c | 4317541 | 232 28991 130855 | 1 233956 22 | 0.000 % | 403.19/403.29 c | 4321548 | 232 28991 130855 | 1 237963 22 | 0.000 % | 403.19/403.29 c | 4321649 | 232 28991 130855 | 1 238064 22 | 0.000 % | 403.19/403.29 c | 4331904 | 232 28991 130855 | 1 248319 22 | 0.000 % | 483.59/483.65 c | 4332022 | 232 28991 130855 | 1 248437 22 | 0.000 % | 483.59/483.65 c | 4337942 | 232 28991 130855 | 1 254357 23 | 0.000 % | 483.59/483.65 c | 4341560 | 232 28991 130855 | 1 257975 23 | 0.000 % | 483.59/483.65 c | 4341660 | 232 28991 130855 | 1 258075 23 | 0.000 % | 483.59/483.65 c | 4380776 | 232 28991 130855 | 1 150192 20 | 0.000 % | 483.59/483.65 c | 4381606 | 232 28991 130855 | 1 151022 20 | 0.000 % | 483.59/483.65 c | 4400772 | 232 28991 130855 | 1 170188 21 | 0.000 % | 483.59/483.65 c | 4400875 | 232 28991 130855 | 1 170291 21 | 0.000 % | 483.59/483.65 c | 4401566 | 232 28991 130855 | 1 170982 21 | 0.000 % | 483.59/483.65 c | 4402850 | 232 28991 130855 | 1 172266 21 | 0.000 % | 483.59/483.65 c | 4403768 | 232 28991 130855 | 1 173184 21 | 0.000 % | 483.59/483.65 c | 4419090 | 232 28991 130855 | 1 188506 21 | 0.000 % | 483.59/483.65 c | 4419190 | 232 28991 130855 | 1 188606 21 | 0.000 % | 483.59/483.65 c | 4419293 | 232 28991 130855 | 1 188709 21 | 0.000 % | 483.59/483.65 c | 4432123 | 232 28991 130855 | 1 201539 22 | 0.000 % | 483.59/483.65 c | 4434269 | 232 28991 130855 | 1 203685 22 | 0.000 % | 483.59/483.65 c | 4450645 | 232 28991 130855 | 1 220061 22 | 0.000 % | 483.59/483.65 c | 4498453 | 232 28991 130855 | 1 267869 23 | 0.000 % | 483.59/483.65 c | 4505950 | 232 28991 130855 | 1 275366 23 | 0.000 % | 483.59/483.65 c | 4519709 | 232 28991 130855 | 1 289125 23 | 0.000 % | 483.59/483.65 c | 4542937 | 232 28991 130855 | 1 162751 20 | 0.000 % | 483.59/483.65 c | 4543208 | 232 28991 130855 | 1 163022 20 | 0.000 % | 483.59/483.65 c | 4544142 | 232 28991 130855 | 1 163956 20 | 0.000 % | 483.59/483.65 c | 4634989 | 232 28991 130855 | 1 254803 22 | 0.000 % | 483.59/483.65 c | 4638574 | 232 28991 130855 | 1 258388 22 | 0.000 % | 483.59/483.65 c | 4638681 | 232 28991 130855 | 1 258495 22 | 0.000 % | 483.59/483.65 c | 4639104 | 232 28991 130855 | 1 258918 22 | 0.000 % | 483.59/483.65 c | 4676975 | 232 28991 130855 | 1 296789 22 | 0.000 % | 483.59/483.65 c | 4679943 | 232 28991 130855 | 1 299757 22 | 0.000 % | 483.59/483.65 c | 4720450 | 232 28991 130855 | 1 188071 21 | 0.000 % | 483.59/483.65 c | 4720551 | 232 28991 130855 | 1 188172 21 | 0.000 % | 483.59/483.65 c | 4757875 | 232 28991 130855 | 1 225496 22 | 0.000 % | 483.59/483.65 c | 4771085 | 232 28991 130855 | 1 238706 22 | 0.000 % | 483.59/483.65 c | 4814778 | 232 28991 130855 | 1 282399 23 | 0.000 % | 483.59/483.65 c | 4900236 | 232 28991 130855 | 1 213054 21 | 0.000 % | 483.59/483.65 c | 4906685 | 232 28991 130855 | 1 219503 22 | 0.000 % | 483.59/483.65 c | 4907146 | 232 28991 130855 | 1 219964 22 | 0.000 % | 483.59/483.65 c | 4908223 | 232 28991 130855 | 1 221041 22 | 0.000 % | 483.59/483.65 c | 4933608 | 232 28991 130855 | 1 246426 22 | 0.000 % | 483.59/483.65 c | 4935369 | 232 28991 130855 | 1 248187 22 | 0.000 % | 483.59/483.65 c | 4935470 | 232 28991 130855 | 1 248288 22 | 0.000 % | 483.59/483.65 c | 4940356 | 232 28991 130855 | 1 253174 22 | 0.000 % | 483.59/483.65 c | 4941447 | 232 28991 130855 | 1 254265 22 | 0.000 % | 483.59/483.65 c | 4962210 | 232 28991 130855 | 1 275028 23 | 0.000 % | 483.59/483.65 c | 4963434 | 232 28991 130855 | 1 276252 23 | 0.000 % | 483.59/483.65 c | 4969049 | 232 28991 130855 | 1 281867 23 | 0.000 % | 483.59/483.65 c | 4972407 | 232 28991 130855 | 1 285225 23 | 0.000 % | 483.59/483.65 c | 4973794 | 232 28991 130855 | 1 286612 23 | 0.000 % | 483.59/483.65 c | 4981504 | 232 28991 130855 | 1 294322 23 | 0.000 % | 483.59/483.65 c | 4982169 | 232 28991 130855 | 1 294987 23 | 0.000 % | 549.50/549.56 c | 4986794 | 232 28991 130855 | 1 299612 23 | 0.000 % | 549.50/549.56 c | 4987959 | 232 28991 130855 | 1 300777 23 | 0.000 % | 549.50/549.56 c | 5002109 | 232 28991 130855 | 1 157529 20 | 0.000 % | 549.50/549.56 c | 5004284 | 232 28991 130855 | 1 159704 20 | 0.000 % | 549.50/549.56 c | 5005252 | 232 28991 130855 | 1 160672 20 | 0.000 % | 549.50/549.56 c | 5007422 | 232 28991 130855 | 1 162842 20 | 0.000 % | 549.50/549.56 c | 5012657 | 232 28991 130855 | 1 168077 20 | 0.000 % | 549.50/549.56 c | 5012757 | 232 28991 130855 | 1 168177 20 | 0.000 % | 549.50/549.56 c | 5012858 | 232 28991 130855 | 1 168278 20 | 0.000 % | 549.50/549.56 c | 5012958 | 232 28991 130855 | 1 168378 20 | 0.000 % | 549.50/549.56 c | 5018697 | 232 28991 130855 | 1 174117 21 | 0.000 % | 549.50/549.56 c | 5024501 | 232 28991 130855 | 1 179921 21 | 0.000 % | 549.50/549.56 c | 5027506 | 232 28991 130855 | 1 182926 21 | 0.000 % | 549.50/549.56 c | 5048867 | 232 28991 130855 | 1 204287 22 | 0.000 % | 549.50/549.56 c | 5049791 | 232 28991 130855 | 1 205211 22 | 0.000 % | 549.50/549.56 c | 5049942 | 232 28991 130855 | 1 205362 22 | 0.000 % | 549.50/549.56 c | 5077514 | 232 28991 130855 | 1 232934 22 | 0.000 % | 549.50/549.56 c | 5098727 | 232 28991 130855 | 1 254147 23 | 0.000 % | 549.50/549.56 c | 5098828 | 232 28991 130855 | 1 254248 23 | 0.000 % | 549.50/549.56 c | 5109364 | 232 28991 130855 | 1 264784 23 | 0.000 % | 549.50/549.56 c | 5114247 | 232 28991 130855 | 1 269667 23 | 0.000 % | 549.50/549.56 c | 5114390 | 232 28991 130855 | 1 269810 23 | 0.000 % | 549.50/549.56 c | 5115134 | 232 28991 130855 | 1 270554 23 | 0.000 % | 549.50/549.56 c | 5115235 | 232 28991 130855 | 1 270655 23 | 0.000 % | 549.50/549.56 c | 5131962 | 232 28991 130855 | 1 287382 23 | 0.000 % | 549.50/549.56 c | 5134881 | 232 28991 130855 | 1 290301 23 | 0.000 % | 549.50/549.56 c | 5168773 | 232 28991 130855 | 1 164190 20 | 0.000 % | 549.50/549.56 c | 5303036 | 232 28991 130855 | 1 298453 22 | 0.000 % | 549.50/549.56 c | 5309652 | 232 28991 130855 | 1 305069 22 | 0.000 % | 549.50/549.56 c | 5313129 | 232 28991 130855 | 1 308546 22 | 0.000 % | 549.50/549.56 c | 5314041 | 232 28991 130855 | 1 309458 22 | 0.000 % | 549.50/549.56 c | 5319722 | 232 28991 130855 | 1 315139 22 | 0.000 % | 549.50/549.56 c | 5322492 | 232 28991 130855 | 1 317909 22 | 0.000 % | 549.50/549.56 c | 5334121 | 232 28991 130855 | 1 166942 20 | 0.000 % | 549.50/549.56 c | 5334224 | 232 28991 130855 | 1 167045 20 | 0.000 % | 549.50/549.56 c | 5334325 | 232 28991 130855 | 1 167146 20 | 0.000 % | 549.50/549.56 c | 5334428 | 232 28991 130855 | 1 167249 20 | 0.000 % | 549.50/549.56 c | 5334836 | 232 28991 130855 | 1 167657 20 | 0.000 % | 549.50/549.56 c | 5339946 | 232 28991 130855 | 1 172767 20 | 0.000 % | 549.50/549.56 c | 5368309 | 232 28991 130855 | 1 201130 21 | 0.000 % | 549.50/549.56 c | 5370257 | 232 28991 130855 | 1 203078 21 | 0.000 % | 549.50/549.56 c | 5482430 | 232 28991 130855 | 1 315251 22 | 0.000 % | 549.50/549.56 c | 5493655 | 232 28991 130855 | 1 326476 23 | 0.000 % | 549.50/549.56 c | 5494085 | 232 28991 130855 | 1 326906 23 | 0.000 % | 549.50/549.56 c | 5494275 | 232 28991 130855 | 1 327096 23 | 0.000 % | 549.50/549.56 c | 5495191 | 232 28991 130855 | 1 328012 23 | 0.000 % | 549.50/549.56 c | 5496093 | 232 28991 130855 | 1 328914 23 | 0.000 % | 549.50/549.56 c | 5496194 | 232 28991 130855 | 1 329015 23 | 0.000 % | 549.50/549.56 c | 5496385 | 232 28991 130855 | 1 329206 23 | 0.000 % | 549.50/549.56 c | 5498705 | 232 28991 130855 | 1 166322 20 | 0.000 % | 662.21/662.22 c | 5507968 | 232 28991 130855 | 1 175585 20 | 0.000 % | 662.21/662.22 c | 5571975 | 232 28991 130855 | 1 239592 22 | 0.000 % | 662.21/662.22 c | 5578250 | 232 28991 130855 | 1 245867 22 | 0.000 % | 662.21/662.22 c | 5578351 | 232 28991 130855 | 1 245968 22 | 0.000 % | 662.21/662.22 c | 5594985 | 232 28991 130855 | 1 262602 22 | 0.000 % | 662.21/662.22 c | 5659641 | 232 28991 130855 | 1 327258 23 | 0.000 % | 662.21/662.22 c | 5677972 | 232 28991 130855 | 1 177782 20 | 0.000 % | 662.21/662.22 c | 5680542 | 232 28991 130855 | 1 180352 20 | 0.000 % | 662.21/662.22 c | 5691362 | 232 28991 130855 | 1 191172 21 | 0.000 % | 662.21/662.22 c | 5707035 | 232 28991 130855 | 1 206845 21 | 0.000 % | 662.21/662.22 c | 5707320 | 232 28991 130855 | 1 207130 21 | 0.000 % | 662.21/662.22 c | 5711192 | 232 28991 130855 | 1 211002 21 | 0.000 % | 662.21/662.22 c | 5724868 | 232 28991 130855 | 1 224678 21 | 0.000 % | 662.21/662.22 c | 5737659 | 232 28991 130855 | 1 237469 21 | 0.000 % | 662.21/662.22 c | 5737764 | 232 28991 130855 | 1 237574 21 | 0.000 % | 662.21/662.22 c | 5738478 | 232 28991 130855 | 1 238288 22 | 0.000 % | 662.21/662.22 c | 5762423 | 232 28991 130855 | 1 262233 22 | 0.000 % | 662.21/662.22 c | 5762523 | 232 28991 130855 | 1 262333 22 | 0.000 % | 662.21/662.22 c | 5774901 | 232 28991 130855 | 1 274711 22 | 0.000 % | 662.21/662.22 c | 5775021 | 232 28991 130855 | 1 274831 22 | 0.000 % | 662.21/662.22 c | 5791820 | 232 28991 130855 | 1 291630 22 | 0.000 % | 662.21/662.22 c | 5792064 | 232 28991 130855 | 1 291874 22 | 0.000 % | 662.21/662.22 c | 5792164 | 232 28991 130855 | 1 291974 22 | 0.000 % | 662.21/662.22 c | 5957138 | 232 28991 130855 | 1 286550 22 | 0.000 % | 662.21/662.22 c | 5960980 | 232 28991 130855 | 1 290392 22 | 0.000 % | 662.21/662.22 c | 5971936 | 232 28991 130855 | 1 301348 22 | 0.000 % | 662.21/662.22 c | 5977944 | 232 28991 130855 | 1 307356 22 | 0.000 % | 662.21/662.22 c | 5983975 | 232 28991 130855 | 1 313387 22 | 0.000 % | 662.21/662.22 c | 5986014 | 232 28991 130855 | 1 315426 23 | 0.000 % | 662.21/662.22 c | 6000030 | 232 28991 130855 | 1 329442 23 | 0.000 % | 662.21/662.22 c | 6066415 | 232 28991 130855 | 1 222836 21 | 0.000 % | 662.21/662.22 c | 6069609 | 232 28991 130855 | 1 226030 21 | 0.000 % | 662.21/662.22 c | 6070142 | 232 28991 130855 | 1 226563 21 | 0.000 % | 662.21/662.22 c | 6070243 | 232 28991 130855 | 1 226664 21 | 0.000 % | 662.21/662.22 c | 6083785 | 232 28991 130855 | 1 240206 21 | 0.000 % | 662.21/662.22 c | 6083885 | 232 28991 130855 | 1 240306 21 | 0.000 % | 662.21/662.22 c | 6085558 | 232 28991 130855 | 1 241979 21 | 0.000 % | 662.21/662.22 c | 6090064 | 232 28991 130855 | 1 246485 21 | 0.000 % | 662.21/662.22 c | 6090311 | 232 28991 130855 | 1 246732 21 | 0.000 % | 662.21/662.22 c | 6172496 | 232 28991 130855 | 1 328917 23 | 0.000 % | 662.21/662.22 c | 6183030 | 232 28991 130855 | 1 339451 23 | 0.000 % | 662.21/662.22 c | 6186396 | 232 28991 130855 | 1 342817 23 | 0.000 % | 662.21/662.22 c | 6218580 | 232 28991 130855 | 1 199400 20 | 0.000 % | 662.21/662.22 c | 6220148 | 232 28991 130855 | 1 200968 20 | 0.000 % | 662.21/662.22 c | 6220248 | 232 28991 130855 | 1 201068 20 | 0.000 % | 662.21/662.22 c | 6222380 | 232 28991 130855 | 1 203200 21 | 0.000 % | 662.21/662.22 c | 6324923 | 232 28991 130855 | 1 305743 22 | 0.000 % | 662.21/662.22 c | 6338864 | 232 28991 130855 | 1 319684 22 | 0.000 % | 662.21/662.22 c | 6344547 | 232 28991 130855 | 1 325367 22 | 0.000 % | 662.21/662.22 c | 6357693 | 232 28991 130855 | 1 338513 22 | 0.000 % | 761.30/761.38 c | 6358099 | 232 28991 130855 | 1 338919 22 | 0.000 % | 761.30/761.38 c | 6360325 | 232 28991 130855 | 1 341145 22 | 0.000 % | 761.30/761.38 c | 6364724 | 232 28991 130855 | 1 345544 22 | 0.000 % | 761.30/761.38 c | 6410580 | 232 28991 130855 | 1 213199 20 | 0.000 % | 761.30/761.38 c | 6410682 | 232 28991 130855 | 1 213301 20 | 0.000 % | 761.30/761.38 c | 6413295 | 232 28991 130855 | 1 215914 20 | 0.000 % | 761.30/761.38 c | 6413672 | 232 28991 130855 | 1 216291 20 | 0.000 % | 761.30/761.38 c | 6413964 | 232 28991 130855 | 1 216583 20 | 0.000 % | 761.30/761.38 c | 6447566 | 232 28991 130855 | 1 250185 21 | 0.000 % | 761.30/761.38 c | 6447666 | 232 28991 130855 | 1 250285 21 | 0.000 % | 761.30/761.38 c | 6519747 | 232 28991 130855 | 1 322366 22 | 0.000 % | 761.30/761.38 c | 6537896 | 232 28991 130855 | 1 340515 23 | 0.000 % | 761.30/761.38 c | 6559067 | 232 28991 130855 | 1 180883 20 | 0.000 % | 761.30/761.38 c | 6591663 | 232 28991 130855 | 1 213479 21 | 0.000 % | 761.30/761.38 c | 6591789 | 232 28991 130855 | 1 213605 21 | 0.000 % | 761.30/761.38 c | 6595306 | 232 28991 130855 | 1 217122 21 | 0.000 % | 761.30/761.38 c | 6595408 | 232 28991 130855 | 1 217224 21 | 0.000 % | 761.30/761.38 c | 6606538 | 232 28991 130855 | 1 228354 21 | 0.000 % | 761.30/761.38 c | 6606863 | 232 28991 130855 | 1 228679 21 | 0.000 % | 761.30/761.38 c | 6645485 | 232 28991 130855 | 1 267301 22 | 0.000 % | 761.30/761.38 c | 6645664 | 232 28991 130855 | 1 267480 22 | 0.000 % | 761.30/761.38 c | 6654023 | 232 28991 130855 | 1 275839 22 | 0.000 % | 761.30/761.38 c | 6677200 | 232 28991 130855 | 1 299016 22 | 0.000 % | 761.30/761.38 c | 6688034 | 232 28991 130855 | 1 309850 23 | 0.000 % | 761.30/761.38 c | 6688137 | 232 28991 130855 | 1 309953 23 | 0.000 % | 761.30/761.38 c | 6697436 | 232 28991 130855 | 1 319252 23 | 0.000 % | 761.30/761.38 c | 6697538 | 232 28991 130855 | 1 319354 23 | 0.000 % | 761.30/761.38 c | 6697950 | 232 28991 130855 | 1 319766 23 | 0.000 % | 761.30/761.38 c | 6699647 | 232 28991 130855 | 1 321463 23 | 0.000 % | 761.30/761.38 c | 6700907 | 232 28991 130855 | 1 322723 23 | 0.000 % | 761.30/761.38 c | 6747906 | 232 28991 130855 | 1 186324 20 | 0.000 % | 761.30/761.38 c | 6748006 | 232 28991 130855 | 1 186424 20 | 0.000 % | 761.30/761.38 c | 6837010 | 232 28991 130855 | 1 275428 21 | 0.000 % | 761.30/761.38 c | 6893364 | 232 28991 130855 | 1 331782 22 | 0.000 % | 761.30/761.38 c | 6913955 | 232 28991 130855 | 1 352373 22 | 0.000 % | 761.30/761.38 c | 6914055 | 232 28991 130855 | 1 352473 22 | 0.000 % | 761.30/761.38 c | 6930445 | 232 28991 130855 | 1 368863 22 | 0.000 % | 761.30/761.38 c | 6934253 | 232 28991 130855 | 1 186667 19 | 0.000 % | 761.30/761.38 c | 6938825 | 232 28991 130855 | 1 191239 20 | 0.000 % | 761.30/761.38 c | 6940924 | 232 28991 130855 | 1 193338 20 | 0.000 % | 761.30/761.38 c | 6942202 | 232 28991 130855 | 1 194616 20 | 0.000 % | 761.30/761.38 c | 6945235 | 232 28991 130855 | 1 197649 20 | 0.000 % | 761.30/761.38 c | 6964676 | 232 28991 130855 | 1 217090 20 | 0.000 % | 761.30/761.38 c | 6964776 | 232 28991 130855 | 1 217190 20 | 0.000 % | 761.30/761.38 c | 7014327 | 232 28991 130855 | 1 266741 22 | 0.000 % | 761.30/761.38 c | 7020393 | 232 28991 130855 | 1 272807 22 | 0.000 % | 761.30/761.38 c | 7070018 | 232 28991 130855 | 1 322432 22 | 0.000 % | 761.30/761.38 c | 7072768 | 232 28991 130855 | 1 325182 22 | 0.000 % | 761.30/761.38 c | 7078420 | 232 28991 130855 | 1 330834 22 | 0.000 % | 761.30/761.38 c | 7082458 | 232 28991 130855 | 1 334872 22 | 0.000 % | 850.40/850.42 c | 7101270 | 232 28991 130855 | 1 353684 23 | 0.000 % | 850.40/850.42 c | 7143385 | 232 28991 130855 | 1 207195 20 | 0.000 % | 850.40/850.42 c | 7145420 | 232 28991 130855 | 1 209230 20 | 0.000 % | 850.40/850.42 c | 7146741 | 232 28991 130855 | 1 210551 20 | 0.000 % | 850.40/850.42 c | 7146842 | 232 28991 130855 | 1 210652 20 | 0.000 % | 850.40/850.42 c | 7149953 | 232 28991 130855 | 1 213763 20 | 0.000 % | 850.40/850.42 c | 7173926 | 232 28991 130855 | 1 237736 21 | 0.000 % | 850.40/850.42 c | 7178203 | 232 28991 130855 | 1 242013 21 | 0.000 % | 850.40/850.42 c | 7178329 | 232 28991 130855 | 1 242139 21 | 0.000 % | 850.40/850.42 c | 7178911 | 232 28991 130855 | 1 242721 21 | 0.000 % | 850.40/850.42 c | 7180791 | 232 28991 130855 | 1 244601 21 | 0.000 % | 850.40/850.42 c | 7183434 | 232 28991 130855 | 1 247244 21 | 0.000 % | 850.40/850.42 c | 7184230 | 232 28991 130855 | 1 248040 21 | 0.000 % | 850.40/850.42 c | 7187502 | 232 28991 130855 | 1 251312 21 | 0.000 % | 850.40/850.42 c | 7187603 | 232 28991 130855 | 1 251413 21 | 0.000 % | 850.40/850.42 c | 7188101 | 232 28991 130855 | 1 251911 21 | 0.000 % | 850.40/850.42 c | 7189866 | 232 28991 130855 | 1 253676 21 | 0.000 % | 850.40/850.42 c | 7196084 | 232 28991 130855 | 1 259894 21 | 0.000 % | 850.40/850.42 c | 7196228 | 232 28991 130855 | 1 260038 21 | 0.000 % | 850.40/850.42 c | 7202407 | 232 28991 130855 | 1 266217 22 | 0.000 % | 850.40/850.42 c | 7238313 | 232 28991 130855 | 1 302123 22 | 0.000 % | 850.40/850.42 c | 7255858 | 232 28991 130855 | 1 319668 22 | 0.000 % | 850.40/850.42 c | 7257521 | 232 28991 130855 | 1 321331 22 | 0.000 % | 850.40/850.42 c | 7422912 | 232 28991 130855 | 1 295530 21 | 0.000 % | 850.40/850.42 c | 7437631 | 232 28991 130855 | 1 310249 21 | 0.000 % | 850.40/850.42 c | 7508012 | 232 28991 130855 | 1 380630 22 | 0.000 % | 850.40/850.42 c | 7600177 | 232 28991 130855 | 1 278990 21 | 0.000 % | 850.40/850.42 c | 7600277 | 232 28991 130855 | 1 279090 21 | 0.000 % | 850.40/850.42 c | 7604872 | 232 28991 130855 | 1 283685 21 | 0.000 % | 850.40/850.42 c | 7605390 | 232 28991 130855 | 1 284203 21 | 0.000 % | 850.40/850.42 c | 7616351 | 232 28991 130855 | 1 295164 21 | 0.000 % | 850.40/850.42 c | 7622775 | 232 28991 130855 | 1 301588 22 | 0.000 % | 850.40/850.42 c | 7629911 | 232 28991 130855 | 1 308724 22 | 0.000 % | 850.40/850.42 c | 7632244 | 232 28991 130855 | 1 311057 22 | 0.000 % | 850.40/850.42 c | 7632344 | 232 28991 130855 | 1 311157 22 | 0.000 % | 850.40/850.42 c | 7632971 | 232 28991 130855 | 1 311784 22 | 0.000 % | 850.40/850.42 c | 7633667 | 232 28991 130855 | 1 312480 22 | 0.000 % | 850.40/850.42 c | 7633767 | 232 28991 130855 | 1 312580 22 | 0.000 % | 850.40/850.42 c | 7638922 | 232 28991 130855 | 1 317735 22 | 0.000 % | 850.40/850.42 c | 7653635 | 232 28991 130855 | 1 332448 22 | 0.000 % | 850.40/850.42 c | 7653736 | 232 28991 130855 | 1 332549 22 | 0.000 % | 850.40/850.42 c | 7655023 | 232 28991 130855 | 1 333836 22 | 0.000 % | 850.40/850.42 c | 7676308 | 232 28991 130855 | 1 355121 22 | 0.000 % | 850.40/850.42 c | 7676408 | 232 28991 130855 | 1 355221 22 | 0.000 % | 850.40/850.42 c | 7676509 | 232 28991 130855 | 1 355322 22 | 0.000 % | 850.40/850.42 c | 7680068 | 232 28991 130855 | 1 358881 22 | 0.000 % | 850.40/850.42 c | 7680168 | 232 28991 130855 | 1 358981 22 | 0.000 % | 850.40/850.42 c | 7680269 | 232 28991 130855 | 1 359082 22 | 0.000 % | 850.40/850.42 c | 7710050 | 232 28991 130855 | 1 388863 23 | 0.000 % | 850.40/850.42 c | 7731510 | 232 28991 130855 | 1 213925 20 | 0.000 % | 1031.91/1031.96 c | 7732075 | 232 28991 130855 | 1 214490 20 | 0.000 % | 1031.91/1031.96 c | 7732175 | 232 28991 130855 | 1 214590 20 | 0.000 % | 1031.91/1031.96 c | 7758581 | 232 28991 130855 | 1 240996 21 | 0.000 % | 1031.91/1031.96 c | 7758791 | 232 28991 130855 | 1 241206 21 | 0.000 % | 1031.91/1031.96 c | 7758892 | 232 28991 130855 | 1 241307 21 | 0.000 % | 1031.91/1031.96 c | 7764598 | 232 28991 130855 | 1 247013 21 | 0.000 % | 1031.91/1031.96 c | 7793772 | 232 28991 130855 | 1 276187 21 | 0.000 % | 1031.91/1031.96 c | 7793872 | 232 28991 130855 | 1 276287 21 | 0.000 % | 1031.91/1031.96 c | 7798759 | 232 28991 130855 | 1 281174 21 | 0.000 % | 1031.91/1031.96 c | 7813678 | 232 28991 130855 | 1 296093 22 | 0.000 % | 1031.91/1031.96 c | 7823153 | 232 28991 130855 | 1 305568 22 | 0.000 % | 1031.91/1031.96 c | 7826449 | 232 28991 130855 | 1 308864 22 | 0.000 % | 1031.91/1031.96 c | 7835723 | 232 28991 130855 | 1 318138 22 | 0.000 % | 1031.91/1031.96 c | 7861563 | 232 28991 130855 | 1 343978 22 | 0.000 % | 1031.91/1031.96 c | 7868586 | 232 28991 130855 | 1 351001 22 | 0.000 % | 1031.91/1031.96 c | 8101255 | 232 28991 130855 | 1 384679 22 | 0.000 % | 1031.91/1031.96 c | 8263072 | 232 28991 130855 | 1 344887 22 | 0.000 % | 1031.91/1031.96 c | 8263832 | 232 28991 130855 | 1 345647 22 | 0.000 % | 1031.91/1031.96 c | 8269215 | 232 28991 130855 | 1 351030 22 | 0.000 % | 1031.91/1031.96 c | 8273651 | 232 28991 130855 | 1 355466 22 | 0.000 % | 1031.91/1031.96 c | 8295204 | 232 28991 130855 | 1 377019 22 | 0.000 % | 1031.91/1031.96 c | 8297634 | 232 28991 130855 | 1 379449 22 | 0.000 % | 1031.91/1031.96 c | 8378630 | 232 28991 130855 | 1 256242 20 | 0.000 % | 1031.91/1031.96 c | 8397335 | 232 28991 130855 | 1 274947 21 | 0.000 % | 1031.91/1031.96 c | 8404626 | 232 28991 130855 | 1 282238 21 | 0.000 % | 1031.91/1031.96 c | 8405843 | 232 28991 130855 | 1 283455 21 | 0.000 % | 1031.91/1031.96 c | 8461098 | 232 28991 130855 | 1 338710 22 | 0.000 % | 1031.91/1031.96 c | 8472736 | 232 28991 130855 | 1 350348 22 | 0.000 % | 1031.91/1031.96 c | 8476302 | 232 28991 130855 | 1 353914 22 | 0.000 % | 1031.91/1031.96 c | 8476402 | 232 28991 130855 | 1 354014 22 | 0.000 % | 1031.91/1031.96 c | 8479720 | 232 28991 130855 | 1 357332 22 | 0.000 % | 1031.91/1031.96 c | 8491892 | 232 28991 130855 | 1 369504 22 | 0.000 % | 1031.91/1031.96 c | 8494408 | 232 28991 130855 | 1 372020 22 | 0.000 % | 1031.91/1031.96 c | 8499231 | 232 28991 130855 | 1 376843 22 | 0.000 % | 1031.91/1031.96 c | 8499393 | 232 28991 130855 | 1 377005 22 | 0.000 % | 1031.91/1031.96 c | 8518832 | 232 28991 130855 | 1 396444 22 | 0.000 % | 1031.91/1031.96 c | 8527610 | 232 28991 130855 | 1 405222 22 | 0.000 % | 1031.91/1031.96 c | 8527711 | 232 28991 130855 | 1 405323 22 | 0.000 % | 1031.91/1031.96 c | 8626618 | 232 28991 130855 | 1 297430 21 | 0.000 % | 1031.91/1031.96 c | 8627007 | 232 28991 130855 | 1 297819 21 | 0.000 % | 1031.91/1031.96 c | 8627109 | 232 28991 130855 | 1 297921 21 | 0.000 % | 1031.91/1031.96 c | 8655208 | 232 28991 130855 | 1 326020 21 | 0.000 % | 1031.91/1031.96 c | 8703169 | 232 28991 130855 | 1 373981 22 | 0.000 % | 1031.91/1031.96 c | 8776012 | 232 28991 130855 | 1 237428 20 | 0.000 % | 1031.91/1031.96 c | 8800807 | 232 28991 130855 | 1 262223 20 | 0.000 % | 1031.91/1031.96 c | 8994270 | 232 28991 130855 | 1 243690 20 | 0.000 % | 1031.91/1031.96 c | 8994371 | 232 28991 130855 | 1 243791 20 | 0.000 % | 1031.91/1031.96 c | 9002499 | 232 28991 130855 | 1 251919 20 | 0.000 % | 1031.91/1031.96 c | 9008476 | 232 28991 130855 | 1 257896 21 | 0.000 % | 1031.91/1031.96 c | 9008576 | 232 28991 130855 | 1 257996 21 | 0.000 % | 1140.62/1140.62 c | 9044008 | 232 28991 130855 | 1 293428 21 | 0.000 % | 1140.62/1140.62 c | 9049180 | 232 28991 130855 | 1 298600 22 | 0.000 % | 1140.62/1140.62 c | 9049457 | 232 28991 130855 | 1 298877 22 | 0.000 % | 1140.62/1140.62 c | 9070969 | 232 28991 130855 | 1 320389 22 | 0.000 % | 1140.62/1140.62 c | 9072632 | 232 28991 130855 | 1 322052 22 | 0.000 % | 1140.62/1140.62 c | 9076573 | 232 28991 130855 | 1 325993 22 | 0.000 % | 1140.62/1140.62 c | 9167226 | 232 28991 130855 | 1 416646 23 | 0.000 % | 1140.62/1140.62 c | 9192407 | 232 28991 130855 | 1 227229 20 | 0.000 % | 1140.62/1140.62 c | 9196098 | 232 28991 130855 | 1 230920 20 | 0.000 % | 1140.62/1140.62 c | 9214416 | 232 28991 130855 | 1 249238 20 | 0.000 % | 1140.62/1140.62 c | 9227398 | 232 28991 130855 | 1 262220 21 | 0.000 % | 1140.62/1140.62 c | 9275943 | 232 28991 130855 | 1 310765 21 | 0.000 % | 1140.62/1140.62 c | 9278358 | 232 28991 130855 | 1 313180 21 | 0.000 % | 1140.62/1140.62 c | 9278782 | 232 28991 130855 | 1 313604 22 | 0.000 % | 1140.62/1140.62 c | 9278882 | 232 28991 130855 | 1 313704 22 | 0.000 % | 1140.62/1140.62 c | 9278983 | 232 28991 130855 | 1 313805 22 | 0.000 % | 1140.62/1140.62 c | 9286163 | 232 28991 130855 | 1 320985 22 | 0.000 % | 1140.62/1140.62 c | 9288988 | 232 28991 130855 | 1 323810 22 | 0.000 % | 1140.62/1140.62 c | 9323888 | 232 28991 130855 | 1 358710 22 | 0.000 % | 1140.62/1140.62 c | 9338690 | 232 28991 130855 | 1 373512 22 | 0.000 % | 1140.62/1140.62 c | 9364081 | 232 28991 130855 | 1 398903 23 | 0.000 % | 1140.62/1140.62 c | 9366624 | 232 28991 130855 | 1 401446 23 | 0.000 % | 1140.62/1140.62 c | 9366724 | 232 28991 130855 | 1 401546 23 | 0.000 % | 1140.62/1140.62 c | 9378843 | 232 28991 130855 | 1 413665 23 | 0.000 % | 1140.62/1140.62 c | 9380647 | 232 28991 130855 | 1 415469 23 | 0.000 % | 1140.62/1140.62 c | 9380747 | 232 28991 130855 | 1 415569 23 | 0.000 % | 1140.62/1140.62 c | 9389981 | 232 28991 130855 | 1 424803 23 | 0.000 % | 1140.62/1140.62 c | 9431547 | 232 28991 130855 | 1 249165 20 | 0.000 % | 1140.62/1140.62 c | 9432940 | 232 28991 130855 | 1 250558 20 | 0.000 % | 1140.62/1140.62 c | 9464665 | 232 28991 130855 | 1 282283 21 | 0.000 % | 1140.62/1140.62 c | 9508641 | 232 28991 130855 | 1 326259 21 | 0.000 % | 1140.62/1140.62 c | 9508741 | 232 28991 130855 | 1 326359 21 | 0.000 % | 1140.62/1140.62 c | 9524331 | 232 28991 130855 | 1 341949 21 | 0.000 % | 1140.62/1140.62 c | 9524681 | 232 28991 130855 | 1 342299 21 | 0.000 % | 1140.62/1140.62 c | 9524782 | 232 28991 130855 | 1 342400 21 | 0.000 % | 1140.62/1140.62 c | 9524882 | 232 28991 130855 | 1 342500 21 | 0.000 % | 1140.62/1140.62 c | 9555580 | 232 28991 130855 | 1 373198 22 | 0.000 % | 1140.62/1140.62 c | 9576792 | 232 28991 130855 | 1 394410 22 | 0.000 % | 1140.62/1140.62 c | 9591846 | 232 28991 130855 | 1 409464 22 | 0.000 % | 1140.62/1140.62 c | 9596290 | 232 28991 130855 | 1 413908 22 | 0.000 % | 1140.62/1140.62 c | 9597641 | 232 28991 130855 | 1 415259 22 | 0.000 % | 1140.62/1140.62 c | 9618022 | 232 28991 130855 | 1 435640 22 | 0.000 % | 1140.62/1140.62 c | 9628600 | 232 28991 130855 | 1 226415 19 | 0.000 % | 1140.62/1140.62 c | 9631958 | 232 28991 130855 | 1 229773 19 | 0.000 % | 1140.62/1140.62 c | 9708020 | 232 28991 130855 | 1 305835 21 | 0.000 % | 1140.62/1140.62 c | 9719102 | 232 28991 130855 | 1 316917 21 | 0.000 % | 1140.62/1140.62 c | 9719204 | 232 28991 130855 | 1 317019 21 | 0.000 % | 1140.62/1140.62 c | 9726525 | 232 28991 130855 | 1 324340 21 | 0.000 % | 1140.62/1140.62 c | 9728960 | 232 28991 130855 | 1 326775 21 | 0.000 % | 1140.62/1140.62 c | 9748188 | 232 28991 130855 | 1 346003 21 | 0.000 % | 1257.82/1257.87 c | 9748288 | 232 28991 130855 | 1 346103 21 | 0.000 % | 1257.82/1257.87 c | 9751159 | 232 28991 130855 | 1 348974 21 | 0.000 % | 1257.82/1257.87 c | 9790532 | 232 28991 130855 | 1 388347 22 | 0.000 % | 1257.82/1257.87 c | 9790633 | 232 28991 130855 | 1 388448 22 | 0.000 % | 1257.82/1257.87 c | 9795638 | 232 28991 130855 | 1 393453 22 | 0.000 % | 1257.82/1257.87 c | 9814641 | 232 28991 130855 | 1 412456 22 | 0.000 % | 1257.82/1257.87 c | 9816592 | 232 28991 130855 | 1 414407 22 | 0.000 % | 1257.82/1257.87 c | 9848369 | 232 28991 130855 | 1 223785 19 | 0.000 % | 1257.82/1257.87 c | 9849387 | 232 28991 130855 | 1 224803 19 | 0.000 % | 1257.82/1257.87 c | 9853933 | 232 28991 130855 | 1 229349 20 | 0.000 % | 1257.82/1257.87 c | 9887586 | 232 28991 130855 | 1 263002 20 | 0.000 % | 1257.82/1257.87 c | 9960383 | 232 28991 130855 | 1 335799 21 | 0.000 % | 1257.82/1257.87 c | 10023839 | 232 28991 130855 | 1 399255 22 | 0.000 % | 1257.82/1257.87 c | 10055190 | 232 28991 130855 | 1 430606 22 | 0.000 % | 1257.82/1257.87 c | 10063938 | 232 28991 130855 | 1 439354 22 | 0.000 % | 1257.82/1257.87 c | 10069455 | 232 28991 130855 | 1 444871 22 | 0.000 % | 1257.82/1257.87 c | 10083679 | 232 28991 130855 | 1 234091 19 | 0.000 % | 1257.82/1257.87 c | 10085683 | 232 28991 130855 | 1 236095 19 | 0.000 % | 1257.82/1257.87 c | 10095898 | 232 28991 130855 | 1 246310 20 | 0.000 % | 1257.82/1257.87 c | 10096188 | 232 28991 130855 | 1 246600 20 | 0.000 % | 1257.82/1257.87 c | 10113426 | 232 28991 130855 | 1 263838 20 | 0.000 % | 1257.82/1257.87 c | 10113528 | 232 28991 130855 | 1 263940 20 | 0.000 % | 1257.82/1257.87 c | 10140354 | 232 28991 130855 | 1 290766 20 | 0.000 % | 1257.82/1257.87 c | 10144986 | 232 28991 130855 | 1 295398 21 | 0.000 % | 1257.82/1257.87 c | 10147865 | 232 28991 130855 | 1 298277 21 | 0.000 % | 1257.82/1257.87 c | 10200564 | 232 28991 130855 | 1 350976 21 | 0.000 % | 1257.82/1257.87 c | 10226263 | 232 28991 130855 | 1 376675 22 | 0.000 % | 1257.82/1257.87 c | 10256575 | 232 28991 130855 | 1 406987 22 | 0.000 % | 1257.82/1257.87 c | 10271770 | 232 28991 130855 | 1 422182 22 | 0.000 % | 1257.82/1257.87 c | 10282801 | 232 28991 130855 | 1 433213 22 | 0.000 % | 1257.82/1257.87 c | 10282996 | 232 28991 130855 | 1 433408 22 | 0.000 % | 1257.82/1257.87 c | 10283096 | 232 28991 130855 | 1 433508 22 | 0.000 % | 1257.82/1257.87 c | 10303220 | 232 28991 130855 | 1 453632 23 | 0.000 % | 1257.82/1257.87 c | 10303940 | 232 28991 130855 | 1 454352 23 | 0.000 % | 1257.82/1257.87 c | 10305160 | 232 28991 130855 | 1 227968 19 | 0.000 % | 1257.82/1257.87 c | 10306742 | 232 28991 130855 | 1 229550 19 | 0.000 % | 1257.82/1257.87 c | 10306846 | 232 28991 130855 | 1 229654 19 | 0.000 % | 1257.82/1257.87 c | 10341925 | 232 28991 130855 | 1 264733 20 | 0.000 % | 1257.82/1257.87 c | 10370575 | 232 28991 130855 | 1 293383 20 | 0.000 % | 1257.82/1257.87 c | 10376754 | 232 28991 130855 | 1 299562 21 | 0.000 % | 1257.82/1257.87 c | 10382653 | 232 28991 130855 | 1 305461 21 | 0.000 % | 1257.82/1257.87 c | 10384753 | 232 28991 130855 | 1 307561 21 | 0.000 % | 1257.82/1257.87 c | 10388405 | 232 28991 130855 | 1 311213 21 | 0.000 % | 1257.82/1257.87 c | 10392888 | 232 28991 130855 | 1 315696 21 | 0.000 % | 1257.82/1257.87 c | 10398501 | 232 28991 130855 | 1 321309 21 | 0.000 % | 1257.82/1257.87 c | 10400499 | 232 28991 130855 | 1 323307 21 | 0.000 % | 1257.82/1257.87 c | 10476405 | 232 28991 130855 | 1 399213 22 | 0.000 % | 1257.82/1257.87 c | 10483456 | 232 28991 130855 | 1 406264 22 | 0.000 % | 1257.82/1257.87 c | 10502782 | 232 28991 130855 | 1 425590 22 | 0.000 % | 1257.82/1257.87 c | 10502884 | 232 28991 130855 |
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-3262000-1303515093/watcher-3262000-1303515093 -o /tmp/evaluation-result-3262000-1303515093/solver-3262000-1303515093 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262000-1303515093.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.85 3.95 3.86 3/189 2769 /proc/meminfo: memFree=15722128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) R 2767 2769 925 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 463108087 8912896 252 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272509333 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/2769/statm: 2176 252 211 178 0 69 0 [startup+0.074948 s] /proc/loadavg: 3.85 3.95 3.86 3/189 2769 /proc/meminfo: memFree=15722128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.100905 s] /proc/loadavg: 3.85 3.95 3.86 3/189 2769 /proc/meminfo: memFree=15722128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.300874 s] /proc/loadavg: 3.85 3.95 3.86 3/189 2769 /proc/meminfo: memFree=15722128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.700797 s] /proc/loadavg: 3.85 3.95 3.86 3/189 2769 /proc/meminfo: memFree=15722128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+1.50066 s] /proc/loadavg: 3.85 3.95 3.86 5/190 2783 /proc/meminfo: memFree=15712184/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=26760 CPUtime=1.46 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 4318 0 0 0 146 0 0 0 25 0 1 0 463108090 27402240 3018 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225300 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 6690 3018 249 17 0 3331 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35464 [startup+3.10031 s] /proc/loadavg: 3.85 3.95 3.86 5/194 2804 /proc/meminfo: memFree=15713900/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=26760 CPUtime=3.06 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 4681 0 0 0 306 0 0 0 25 0 1 0 463108090 27402240 3366 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 6690 3366 249 17 0 3331 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35464 [startup+6.30074 s] /proc/loadavg: 3.87 3.95 3.86 5/194 2805 /proc/meminfo: memFree=15693740/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=31148 CPUtime=6.26 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 5901 0 0 0 626 0 0 0 25 0 1 0 463108090 31895552 4518 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 7787 4518 250 17 0 4428 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39852 [startup+12.7006 s] /proc/loadavg: 3.88 3.95 3.86 5/194 2805 /proc/meminfo: memFree=15676288/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=34076 CPUtime=12.66 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 10318 0 0 0 1265 1 0 0 25 0 1 0 463108090 34893824 5251 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 8519 5251 250 17 0 5160 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42780 [startup+25.5003 s] /proc/loadavg: 3.90 3.96 3.86 5/194 2805 /proc/meminfo: memFree=15636992/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=45568 CPUtime=25.46 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 12923 0 0 0 2545 1 0 0 25 0 1 0 463108090 46661632 7739 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 11392 7739 250 17 0 8033 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54272 [startup+51.1008 s] /proc/loadavg: 3.93 3.96 3.86 5/194 2806 /proc/meminfo: memFree=15600740/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=69044 CPUtime=51.06 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 18493 0 0 0 5104 2 0 0 25 0 1 0 463108090 70701056 9930 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 17261 9930 250 17 0 13902 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77748 [startup+102.307 s] /proc/loadavg: 3.97 3.96 3.87 5/194 2807 /proc/meminfo: memFree=15544932/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=69044 CPUtime=102.26 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 22489 0 0 0 10223 3 0 0 25 0 1 0 463108090 70701056 13741 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 17261 13741 250 17 0 13902 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 77748 [startup+162.301 s] /proc/loadavg: 3.99 3.97 3.87 5/194 2809 /proc/meminfo: memFree=15467156/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=87900 CPUtime=162.26 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 32354 0 0 0 16221 5 0 0 25 0 1 0 463108090 90009600 18671 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 21975 18671 250 17 0 18616 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 96604 [startup+222.3 s] /proc/loadavg: 3.99 3.97 3.88 5/194 2842 /proc/meminfo: memFree=15487584/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=222.27 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 34010 0 0 0 22221 6 0 0 25 0 1 0 463108090 102674432 20287 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 20287 250 17 0 21708 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 108972 [startup+282.301 s] /proc/loadavg: 3.99 3.97 3.88 5/194 2844 /proc/meminfo: memFree=15471444/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=282.27 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 34567 0 0 0 28221 6 0 0 25 0 1 0 463108090 102674432 20825 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 20825 250 17 0 21708 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 108972 [startup+342.301 s] /proc/loadavg: 4.07 3.99 3.89 5/194 2845 /proc/meminfo: memFree=15431372/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=342.27 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 34996 0 0 0 34221 6 0 0 25 0 1 0 463108090 102674432 21235 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 21235 250 17 0 21708 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 108972 [startup+402.3 s] /proc/loadavg: 4.03 3.99 3.90 5/194 2847 /proc/meminfo: memFree=15413104/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 ################ # More data... # ################ /proc/2772/statm: 25067 21797 250 17 0 21708 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 108972 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2926 /proc/meminfo: memFree=15439804/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=642.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 135923 0 0 0 64203 25 0 0 25 0 1 0 463108090 102674432 21797 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 21797 250 17 0 21708 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 108972 [startup+702.301 s] /proc/loadavg: 4.04 4.01 3.92 5/194 2928 /proc/meminfo: memFree=15407184/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=702.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 154366 0 0 0 70200 28 0 0 25 0 1 0 463108090 102674432 21797 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 21797 250 17 0 21708 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 108972 [startup+762.307 s] /proc/loadavg: 4.01 4.01 3.92 5/194 2964 /proc/meminfo: memFree=15421068/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=149588 CPUtime=762.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 182070 0 0 0 76195 33 0 0 25 0 1 0 463108090 153178112 30523 33554432000 4194304 4260849 140736782395424 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 37397 30523 250 17 0 34038 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 158292 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2965 /proc/meminfo: memFree=15385772/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=149588 CPUtime=822.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 202465 0 0 0 82190 38 0 0 25 0 1 0 463108090 153178112 31204 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 37397 31204 250 17 0 34038 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 158292 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2967 /proc/meminfo: memFree=15415024/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=882.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 223080 0 0 0 88186 42 0 0 25 0 1 0 463108090 102674432 21805 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 21805 250 17 0 21708 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 108972 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2968 /proc/meminfo: memFree=15388724/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=100268 CPUtime=942.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 243741 0 0 0 94181 47 0 0 25 0 1 0 463108090 102674432 21805 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25067 21805 250 17 0 21708 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 108972 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2970 /proc/meminfo: memFree=15378288/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=103124 CPUtime=1002.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 264925 0 0 0 100174 54 0 0 25 0 1 0 463108090 105598976 21806 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25781 21806 250 17 0 22422 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 111828 [startup+1062.3 s] /proc/loadavg: 4.03 4.01 3.92 5/194 2972 /proc/meminfo: memFree=15359660/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=103124 CPUtime=1062.28 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 287660 0 0 0 106169 59 0 0 25 0 1 0 463108090 105598976 22519 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 25781 22519 250 17 0 22422 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 111828 [startup+1122.3 s] /proc/loadavg: 4.01 4.01 3.92 5/194 2973 /proc/meminfo: memFree=15313756/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=152444 CPUtime=1122.29 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 310127 0 0 0 112163 66 0 0 25 0 1 0 463108090 156102656 33587 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 38111 33587 250 17 0 34752 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 161148 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2975 /proc/meminfo: memFree=15279004/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=153084 CPUtime=1182.29 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 331709 0 0 0 118158 71 0 0 25 0 1 0 463108090 156758016 32629 33554432000 4194304 4260849 140736782395424 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 38271 32629 250 17 0 34912 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 161788 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2976 /proc/meminfo: memFree=15277128/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=154224 CPUtime=1242.29 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 353201 0 0 0 124154 75 0 0 25 0 1 0 463108090 157925376 31140 33554432000 4194304 4260849 140736782395424 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 38556 31140 250 17 0 35197 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 162928 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2978 /proc/meminfo: memFree=15254540/32950928 swapFree=67111528/67111528 [pid=2769] ppid=2767 vsize=8704 CPUtime=0.02 cores=1,3 /proc/2769/stat : 2769 (glucose.sh) S 2767 2769 925 0 -1 4202496 360 645 0 0 0 0 2 0 25 0 1 0 463108087 8912896 254 33554432000 4194304 4922060 140734451917008 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/2769/statm: 2176 254 211 178 0 69 0 [pid=2772] ppid=2769 vsize=155360 CPUtime=1300 cores=1,3 /proc/2772/stat : 2772 (glucose_static) R 2769 2769 925 0 -1 4202496 368870 0 0 0 129919 81 0 0 25 0 1 0 463108090 159088640 34927 33554432000 4194304 4260849 140736782395424 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2772/statm: 38840 34927 250 17 0 35481 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 164064 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 2769 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=28995 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.030994 # 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.21 CPU system time (s): 0.81 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 164064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.028995 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1005 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= 4 runsolver used 2.07668 second user time and 5.03323 second system time The end
Begin job on node122 at 2011-04-23 01:31:33 IDJOB=3262000 IDBENCH=83268 IDSOLVER=1651 FILE ID=node122/3262000-1303515093 RUNJOBID= node122-1303513790-2592 PBS_JOBID= 13134241 Free space on /tmp= 70780 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_464.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262000-1303515093/watcher-3262000-1303515093 -o /tmp/evaluation-result-3262000-1303515093/solver-3262000-1303515093 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262000-1303515093.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= a722a199fd84ba0b319251daa47aa19c 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: 15722400 kB Buffers: 1618420 kB Cached: 14980392 kB SwapCached: 0 kB Active: 4806224 kB Inactive: 11873340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15722400 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6776 kB Writeback: 0 kB AnonPages: 80092 kB Mapped: 15352 kB Slab: 484388 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 281812 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= 70796 MiB End job on node122 at 2011-04-23 01:53:15