| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.02 | 4999.91 |
| Name | APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf |
| MD5SUM | 49867705b76fc90285dd6fc48de2613c |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1376.76 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 69561 |
| Number of clauses | 226787 |
| Sum of the clauses size | 587727 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 129 |
| Number of clauses of size 2 | 92376 |
| Number of clauses of size 3 | 134282 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
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.09 c ============================================================================== 0.00/0.09 c | | ORIGINAL | LEARNT | | 0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.09 c ============================================================================== 0.00/0.09 c | 0 | 226144 586057 | 67843 0 0 nan | 0.000 % | 0.00/0.47 c | 0 | 163375 552718 | -- 0 -- -- | -- | -62769/-33339 0.00/0.47 c ============================================================================== 0.00/0.47 c Result : #vars: 28527 #clauses: 163375 #literals: 552718 0.00/0.47 c CPU time: 0.449931 s 0.00/0.47 c ============================================================================== 0.00/0.57 c 0.00/0.57 c Starting glucose 0.00/0.57 c 251.79/251.84 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 251.79/251.84 c WARNING: for repeatability, setting FPU to use double precision 251.79/251.84 c ============================[ Problem Statistics ]============================= 251.79/251.84 c | | 251.79/251.84 c | Number of variables: 28527 | 251.79/251.84 c | Number of clauses: 163375 | 251.79/251.84 c | Parse time: 0.04 s | 251.79/251.84 c | | 251.79/251.84 c ============================[ Search Statistics ]============================== 251.79/251.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.79/251.84 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 251.79/251.84 c =============================================================================== 251.79/251.84 c | 4032 | 28494 163213 552184 | 1 2024 60 | 0.116 % | 251.79/251.84 c | 9771 | 28492 163193 552116 | 1 7760 107 | 0.123 % | 251.79/251.84 c | 15456 | 28490 163174 552051 | 1 9150 82 | 0.130 % | 251.79/251.84 c | 15556 | 28490 163174 552051 | 1 9250 82 | 0.130 % | 251.79/251.84 c | 18558 | 28481 163147 551966 | 1 12234 71 | 0.161 % | 251.79/251.84 c | 23506 | 28481 163145 551960 | 1 10446 63 | 0.161 % | 251.79/251.84 c | 23740 | 28481 163145 551960 | 1 10680 64 | 0.161 % | 251.79/251.84 c | 23842 | 28481 163145 551960 | 1 10782 63 | 0.161 % | 251.79/251.84 c | 31248 | 28477 163106 551823 | 1 18168 93 | 0.175 % | 251.79/251.84 c | 31348 | 28477 163106 551823 | 1 18268 93 | 0.175 % | 251.79/251.84 c | 41874 | 28475 163082 551741 | 1 19534 82 | 0.182 % | 251.79/251.84 c | 41975 | 28475 163082 551741 | 1 19635 82 | 0.182 % | 251.79/251.84 c | 46064 | 28475 163082 551741 | 1 11898 28 | 0.182 % | 251.79/251.84 c | 57598 | 28475 163082 551741 | 1 23432 84 | 0.182 % | 251.79/251.84 c | 65599 | 28475 163082 551741 | 1 17021 50 | 0.182 % | 251.79/251.84 c | 69170 | 28475 163082 551741 | 1 20592 65 | 0.182 % | 251.79/251.84 c | 69285 | 28475 163082 551741 | 1 20707 65 | 0.182 % | 251.79/251.84 c | 77419 | 28475 163082 551741 | 1 28841 84 | 0.182 % | 251.79/251.84 c | 77519 | 28475 163082 551741 | 1 28941 85 | 0.182 % | 251.79/251.84 c | 84054 | 28475 163082 551741 | 1 18477 39 | 0.182 % | 251.79/251.84 c | 84185 | 28475 163082 551741 | 1 18608 39 | 0.182 % | 251.79/251.84 c | 93141 | 28472 163060 551667 | 1 27563 70 | 0.193 % | 251.79/251.84 c | 109359 | 28468 163031 551568 | 1 24177 54 | 0.207 % | 251.79/251.84 c | 109459 | 28468 163031 551568 | 1 24277 54 | 0.207 % | 251.79/251.84 c | 130550 | 28461 162998 551461 | 1 23159 39 | 0.231 % | 251.79/251.84 c | 133669 | 28461 162998 551461 | 1 26278 51 | 0.231 % | 251.79/251.84 c | 138556 | 28461 162998 551461 | 1 31165 64 | 0.231 % | 251.79/251.84 c | 139596 | 28461 162998 551461 | 1 32205 65 | 0.231 % | 251.79/251.84 c | 139746 | 28461 162998 551461 | 1 32355 65 | 0.231 % | 251.79/251.84 c | 144897 | 28458 162990 551437 | 1 37504 74 | 0.242 % | 251.79/251.84 c | 144998 | 28458 162990 551437 | 1 37605 74 | 0.242 % | 251.79/251.84 c | 149431 | 28458 162990 551437 | 1 42038 79 | 0.242 % | 251.79/251.84 c | 149869 | 28458 162990 551437 | 1 42476 79 | 0.242 % | 251.79/251.84 c | 157258 | 28458 162990 551437 | 1 25068 26 | 0.242 % | 251.79/251.84 c | 157358 | 28458 162990 551437 | 1 25168 26 | 0.242 % | 251.79/251.84 c | 175266 | 28457 162988 551431 | 1 43075 72 | 0.245 % | 251.79/251.84 c | 180750 | 28457 162988 551431 | 1 48559 81 | 0.245 % | 251.79/251.84 c | 188267 | 28457 162988 551431 | 1 28679 32 | 0.245 % | 251.79/251.84 c | 188471 | 28457 162988 551431 | 1 28883 32 | 0.245 % | 627.09/627.11 c | 194089 | 28457 162988 551431 | 1 34501 51 | 0.245 % | 627.09/627.11 c | 201711 | 28457 162988 551431 | 1 42123 65 | 0.245 % | 627.09/627.11 c | 205039 | 28457 162988 551431 | 1 45451 72 | 0.245 % | 627.09/627.11 c | 206291 | 28457 162988 551431 | 1 46703 73 | 0.245 % | 627.09/627.11 c | 214715 | 28457 162988 551431 | 1 55127 85 | 0.245 % | 627.09/627.11 c | 214983 | 28457 162988 551431 | 1 55395 84 | 0.245 % | 627.09/627.11 c | 215731 | 28457 162988 551431 | 1 56143 85 | 0.245 % | 627.09/627.11 c | 215832 | 28457 162988 551431 | 1 56244 85 | 0.245 % | 627.09/627.11 c | 215932 | 28457 162988 551431 | 1 56344 85 | 0.245 % | 627.09/627.11 c | 219629 | 28457 162988 551431 | 1 30041 29 | 0.245 % | 627.09/627.11 c | 226778 | 28457 162988 551431 | 1 37190 52 | 0.245 % | 627.09/627.11 c | 240208 | 28456 162984 551419 | 1 50618 78 | 0.249 % | 627.09/627.11 c | 251554 | 28456 162984 551419 | 1 61964 87 | 0.249 % | 627.09/627.11 c | 263287 | 28456 162984 551419 | 1 41704 57 | 0.249 % | 627.09/627.11 c | 271445 | 28456 162984 551419 | 1 49862 69 | 0.249 % | 627.09/627.11 c | 281950 | 28456 162984 551419 | 1 60367 85 | 0.249 % | 627.09/627.11 c | 290228 | 28456 162984 551419 | 1 68645 90 | 0.249 % | 627.09/627.11 c | 291309 | 28456 162984 551419 | 1 69726 91 | 0.249 % | 627.09/627.11 c | 291410 | 28456 162984 551419 | 1 69827 90 | 0.249 % | 627.09/627.11 c | 295898 | 28456 162984 551419 | 1 40284 37 | 0.249 % | 627.09/627.11 c | 303986 | 28456 162984 551419 | 1 48372 56 | 0.249 % | 627.09/627.11 c | 304086 | 28456 162984 551419 | 1 48472 56 | 0.249 % | 627.09/627.11 c | 304552 | 28456 162984 551419 | 1 48938 57 | 0.249 % | 627.09/627.11 c | 304652 | 28456 162984 551419 | 1 49038 57 | 0.249 % | 627.09/627.11 c | 311949 | 28456 162984 551419 | 1 56335 67 | 0.249 % | 627.09/627.11 c | 312848 | 28456 162984 551419 | 1 57234 68 | 0.249 % | 627.09/627.11 c | 321328 | 28456 162984 551419 | 1 65714 79 | 0.249 % | 627.09/627.11 c | 321429 | 28456 162984 551419 | 1 65815 79 | 0.249 % | 627.09/627.11 c | 333034 | 28456 162984 551419 | 1 40501 27 | 0.249 % | 627.09/627.11 c | 339395 | 28456 162984 551419 | 1 46862 44 | 0.249 % | 627.09/627.11 c | 343077 | 28456 162984 551419 | 1 50544 51 | 0.249 % | 627.09/627.11 c | 348741 | 28456 162984 551419 | 1 56208 61 | 0.249 % | 627.09/627.11 c | 368957 | 28455 162982 551413 | 1 76423 82 | 0.252 % | 627.09/627.11 c | 376587 | 28455 162982 551413 | 1 45348 29 | 0.252 % | 627.09/627.11 c | 377806 | 28455 162982 551413 | 1 46567 32 | 0.252 % | 627.09/627.11 c | 377907 | 28455 162982 551413 | 1 46668 32 | 0.252 % | 627.09/627.11 c | 385634 | 28455 162982 551413 | 1 54395 46 | 0.252 % | 627.09/627.11 c | 391615 | 28455 162982 551413 | 1 60376 57 | 0.252 % | 627.09/627.11 c | 391716 | 28455 162982 551413 | 1 60477 57 | 0.252 % | 627.09/627.11 c | 391816 | 28455 162982 551413 | 1 60577 56 | 0.252 % | 627.09/627.11 c | 393250 | 28455 162982 551413 | 1 62011 56 | 0.252 % | 627.09/627.11 c | 402886 | 28455 162982 551413 | 1 71647 66 | 0.252 % | 627.09/627.11 c | 419850 | 28452 162974 551389 | 1 88609 83 | 0.263 % | 627.09/627.11 c | 424059 | 28452 162974 551389 | 1 92818 86 | 0.263 % | 627.09/627.11 c | 427463 | 28452 162974 551389 | 1 96222 88 | 0.263 % | 627.09/627.11 c | 432530 | 28452 162974 551389 | 1 101289 91 | 0.263 % | 627.09/627.11 c | 437377 | 28452 162974 551389 | 1 106136 94 | 0.263 % | 627.09/627.11 c | 440169 | 28452 162974 551389 | 1 57005 35 | 0.263 % | 627.09/627.11 c | 445440 | 28452 162974 551389 | 1 62276 45 | 0.263 % | 627.09/627.11 c | 448250 | 28452 162974 551389 | 1 65086 49 | 0.263 % | 964.20/964.25 c | 455441 | 28450 162964 551355 | 1 72276 59 | 0.270 % | 964.20/964.25 c | 460706 | 28450 162964 551355 | 1 77541 64 | 0.270 % | 964.20/964.25 c | 463584 | 28450 162964 551355 | 1 80419 67 | 0.270 % | 964.20/964.25 c | 466316 | 28450 162964 551355 | 1 83151 69 | 0.270 % | 964.20/964.25 c | 467001 | 28450 162964 551355 | 1 83836 69 | 0.270 % | 964.20/964.25 c | 472384 | 28450 162964 551355 | 1 89219 73 | 0.270 % | 964.20/964.25 c | 477531 | 28450 162964 551355 | 1 94366 78 | 0.270 % | 964.20/964.25 c | 478631 | 28450 162964 551355 | 1 95466 79 | 0.270 % | 964.20/964.25 c | 479122 | 28450 162964 551355 | 1 95957 79 | 0.270 % | 964.20/964.25 c | 481794 | 28450 162964 551355 | 1 98629 81 | 0.270 % | 964.20/964.25 c | 482023 | 28450 162964 551355 | 1 98858 81 | 0.270 % | 964.20/964.25 c | 482466 | 28450 162964 551355 | 1 99301 81 | 0.270 % | 964.20/964.25 c | 487585 | 28450 162964 551355 | 1 104420 85 | 0.270 % | 964.20/964.25 c | 487954 | 28450 162964 551355 | 1 57944 31 | 0.270 % | 964.20/964.25 c | 493271 | 28450 162964 551355 | 1 63261 40 | 0.270 % | 964.20/964.25 c | 498483 | 28450 162964 551355 | 1 68473 48 | 0.270 % | 964.20/964.25 c | 499662 | 28450 162964 551355 | 1 69652 50 | 0.270 % | 964.20/964.25 c | 509335 | 28450 162964 551355 | 1 79325 63 | 0.270 % | 964.20/964.25 c | 515131 | 28450 162964 551355 | 1 85121 68 | 0.270 % | 964.20/964.25 c | 518762 | 28450 162964 551355 | 1 88752 72 | 0.270 % | 964.20/964.25 c | 518862 | 28450 162964 551355 | 1 88852 72 | 0.270 % | 964.20/964.25 c | 520758 | 28450 162964 551355 | 1 90748 73 | 0.270 % | 964.20/964.25 c | 523035 | 28448 162949 551304 | 1 93022 75 | 0.277 % | 964.20/964.25 c | 526022 | 28448 162949 551304 | 1 96009 76 | 0.277 % | 964.20/964.25 c | 534180 | 28447 162932 551243 | 1 104150 83 | 0.280 % | 964.20/964.25 c | 538952 | 28447 162932 551243 | 1 108922 85 | 0.280 % | 964.20/964.25 c | 539171 | 28447 162932 551243 | 1 109141 85 | 0.280 % | 964.20/964.25 c | 548626 | 28447 162932 551243 | 1 118596 91 | 0.280 % | 964.20/964.25 c | 550813 | 28447 162932 551243 | 1 120783 92 | 0.280 % | 964.20/964.25 c | 561549 | 28447 162932 551243 | 1 71049 39 | 0.280 % | 964.20/964.25 c | 561649 | 28447 162932 551243 | 1 71149 39 | 0.280 % | 964.20/964.25 c | 565902 | 28447 162932 551243 | 1 75402 45 | 0.280 % | 964.20/964.25 c | 581734 | 28447 162932 551243 | 1 91234 64 | 0.280 % | 964.20/964.25 c | 585529 | 28447 162932 551243 | 1 95029 67 | 0.280 % | 964.20/964.25 c | 585660 | 28447 162932 551243 | 1 95160 66 | 0.280 % | 964.20/964.25 c | 590807 | 28447 162932 551243 | 1 100307 71 | 0.280 % | 964.20/964.25 c | 590907 | 28447 162932 551243 | 1 100407 71 | 0.280 % | 964.20/964.25 c | 595995 | 28447 162932 551243 | 1 105495 74 | 0.280 % | 964.20/964.25 c | 611781 | 28447 162932 551243 | 1 121281 84 | 0.280 % | 964.20/964.25 c | 628773 | 28447 162932 551243 | 1 83832 50 | 0.280 % | 964.20/964.25 c | 629495 | 28447 162932 551243 | 1 84554 50 | 0.280 % | 964.20/964.25 c | 634829 | 28447 162932 551243 | 1 89888 55 | 0.280 % | 964.20/964.25 c | 644330 | 28447 162932 551243 | 1 99389 65 | 0.280 % | 964.20/964.25 c | 653969 | 28447 162932 551243 | 1 109028 72 | 0.280 % | 964.20/964.25 c | 663241 | 28447 162932 551243 | 1 118300 79 | 0.280 % | 964.20/964.25 c | 664573 | 28447 162932 551243 | 1 119632 80 | 0.280 % | 964.20/964.25 c | 674295 | 28447 162932 551243 | 1 129354 86 | 0.280 % | 964.20/964.25 c | 675537 | 28447 162932 551243 | 1 130596 86 | 0.280 % | 964.20/964.25 c | 683344 | 28447 162932 551243 | 1 138403 90 | 0.280 % | 964.20/964.25 c | 684572 | 28447 162932 551243 | 1 139631 91 | 0.280 % | 1327.91/1327.99 c | 689701 | 28447 162932 551243 | 1 144760 93 | 0.280 % | 1327.91/1327.99 c | 698650 | 28447 162932 551243 | 1 85611 40 | 0.280 % | 1327.91/1327.99 c | 699572 | 28447 162932 551243 | 1 86533 41 | 0.280 % | 1327.91/1327.99 c | 699673 | 28447 162932 551243 | 1 86634 41 | 0.280 % | 1327.91/1327.99 c | 703279 | 28447 162932 551243 | 1 90240 45 | 0.280 % | 1327.91/1327.99 c | 703379 | 28447 162932 551243 | 1 90340 45 | 0.280 % | 1327.91/1327.99 c | 713562 | 28447 162932 551243 | 1 100523 56 | 0.280 % | 1327.91/1327.99 c | 717213 | 28447 162932 551243 | 1 104174 59 | 0.280 % | 1327.91/1327.99 c | 723450 | 28447 162932 551243 | 1 110411 63 | 0.280 % | 1327.91/1327.99 c | 730334 | 28447 162932 551243 | 1 117295 66 | 0.280 % | 1327.91/1327.99 c | 743286 | 28447 162932 551243 | 1 130247 74 | 0.280 % | 1327.91/1327.99 c | 743386 | 28447 162932 551243 | 1 130347 74 | 0.280 % | 1327.91/1327.99 c | 748016 | 28447 162932 551243 | 1 134977 76 | 0.280 % | 1327.91/1327.99 c | 752197 | 28447 162932 551243 | 1 139158 78 | 0.280 % | 1327.91/1327.99 c | 757101 | 28447 162932 551243 | 1 144062 81 | 0.280 % | 1327.91/1327.99 c | 757338 | 28447 162932 551243 | 1 144299 80 | 0.280 % | 1327.91/1327.99 c | 764073 | 28447 162932 551243 | 1 151034 83 | 0.280 % | 1327.91/1327.99 c | 768321 | 28447 162932 551243 | 1 155282 85 | 0.280 % | 1327.91/1327.99 c | 780569 | 28447 162932 551243 | 1 91372 34 | 0.280 % | 1327.91/1327.99 c | 802343 | 28447 162932 551243 | 1 113146 57 | 0.280 % | 1327.91/1327.99 c | 805691 | 28447 162932 551243 | 1 116494 59 | 0.280 % | 1327.91/1327.99 c | 814877 | 28447 162932 551243 | 1 125680 66 | 0.280 % | 1327.91/1327.99 c | 814980 | 28447 162932 551243 | 1 125783 66 | 0.280 % | 1327.91/1327.99 c | 820159 | 28447 162932 551243 | 1 130962 70 | 0.280 % | 1327.91/1327.99 c | 820259 | 28447 162932 551243 | 1 131062 70 | 0.280 % | 1327.91/1327.99 c | 824465 | 28447 162932 551243 | 1 135268 72 | 0.280 % | 1327.91/1327.99 c | 833328 | 28447 162932 551243 | 1 144131 77 | 0.280 % | 1327.91/1327.99 c | 838025 | 28447 162932 551243 | 1 148828 78 | 0.280 % | 1327.91/1327.99 c | 838214 | 28447 162932 551243 | 1 149017 78 | 0.280 % | 1327.91/1327.99 c | 846675 | 28447 162932 551243 | 1 157478 83 | 0.280 % | 1327.91/1327.99 c | 847144 | 28447 162932 551243 | 1 157947 83 | 0.280 % | 1327.91/1327.99 c | 852147 | 28447 162932 551243 | 1 162950 85 | 0.280 % | 1327.91/1327.99 c | 860724 | 28447 162932 551243 | 1 171527 88 | 0.280 % | 1327.91/1327.99 c | 864797 | 28447 162932 551243 | 1 175600 89 | 0.280 % | 1327.91/1327.99 c | 865134 | 28447 162932 551243 | 1 94908 31 | 0.280 % | 1327.91/1327.99 c | 867308 | 28447 162932 551243 | 1 97082 34 | 0.280 % | 1327.91/1327.99 c | 867409 | 28447 162932 551243 | 1 97183 34 | 0.280 % | 1327.91/1327.99 c | 873287 | 28447 162932 551243 | 1 103061 40 | 0.280 % | 1327.91/1327.99 c | 877296 | 28447 162932 551243 | 1 107070 44 | 0.280 % | 1327.91/1327.99 c | 879694 | 28447 162932 551243 | 1 109468 46 | 0.280 % | 1327.91/1327.99 c | 879795 | 28447 162932 551243 | 1 109569 46 | 0.280 % | 1327.91/1327.99 c | 883737 | 28447 162932 551243 | 1 113511 50 | 0.280 % | 1327.91/1327.99 c | 889899 | 28447 162932 551243 | 1 119673 55 | 0.280 % | 1327.91/1327.99 c | 889999 | 28447 162932 551243 | 1 119773 55 | 0.280 % | 1327.91/1327.99 c | 895720 | 28447 162932 551243 | 1 125494 60 | 0.280 % | 1327.91/1327.99 c | 907078 | 28447 162932 551243 | 1 136852 66 | 0.280 % | 1327.91/1327.99 c | 907179 | 28447 162932 551243 | 1 136953 66 | 0.280 % | 1327.91/1327.99 c | 914426 | 28447 162932 551243 | 1 144200 70 | 0.280 % | 1327.91/1327.99 c | 918652 | 28447 162932 551243 | 1 148426 72 | 0.280 % | 1327.91/1327.99 c | 928333 | 28447 162932 551243 | 1 158107 77 | 0.280 % | 1747.02/1747.09 c | 932397 | 28447 162932 551243 | 1 162171 79 | 0.280 % | 1747.02/1747.09 c | 945278 | 28447 162932 551243 | 1 175052 84 | 0.280 % | 1747.02/1747.09 c | 950600 | 28447 162932 551243 | 1 180374 85 | 0.280 % | 1747.02/1747.09 c | 955137 | 28447 162932 551243 | 1 184911 87 | 0.280 % | 1747.02/1747.09 c | 955237 | 28447 162932 551243 | 1 185011 87 | 0.280 % | 1747.02/1747.09 c | 962219 | 28447 162932 551243 | 1 106234 36 | 0.280 % | 1747.02/1747.09 c | 962320 | 28447 162932 551243 | 1 106335 36 | 0.280 % | 1747.02/1747.09 c | 966618 | 28447 162932 551243 | 1 110633 40 | 0.280 % | 1747.02/1747.09 c | 978152 | 28447 162932 551243 | 1 122167 51 | 0.280 % | 1747.02/1747.09 c | 982182 | 28447 162932 551243 | 1 126197 54 | 0.280 % | 1747.02/1747.09 c | 986578 | 28447 162932 551243 | 1 130593 57 | 0.280 % | 1747.02/1747.09 c | 986882 | 28447 162932 551243 | 1 130897 57 | 0.280 % | 1747.02/1747.09 c | 999539 | 28444 162924 551219 | 1 143553 65 | 0.291 % | 1747.02/1747.09 c | 1003575 | 28444 162924 551219 | 1 147589 67 | 0.291 % | 1747.02/1747.09 c | 1011716 | 28444 162924 551219 | 1 155730 72 | 0.291 % | 1747.02/1747.09 c | 1015690 | 28444 162924 551219 | 1 159704 74 | 0.291 % | 1747.02/1747.09 c | 1019947 | 28444 162924 551219 | 1 163961 76 | 0.291 % | 1747.02/1747.09 c | 1027848 | 28444 162924 551219 | 1 171862 79 | 0.291 % | 1747.02/1747.09 c | 1027952 | 28444 162924 551219 | 1 171966 79 | 0.291 % | 1747.02/1747.09 c | 1028203 | 28444 162924 551219 | 1 172217 79 | 0.291 % | 1747.02/1747.09 c | 1035862 | 28444 162924 551219 | 1 179876 82 | 0.291 % | 1747.02/1747.09 c | 1037020 | 28444 162924 551219 | 1 181034 83 | 0.291 % | 1747.02/1747.09 c | 1037120 | 28444 162924 551219 | 1 181134 83 | 0.291 % | 1747.02/1747.09 c | 1044908 | 28444 162924 551219 | 1 188922 85 | 0.291 % | 1747.02/1747.09 c | 1049521 | 28444 162924 551219 | 1 193535 87 | 0.291 % | 1747.02/1747.09 c | 1065162 | 28444 162924 551219 | 1 119323 42 | 0.291 % | 1747.02/1747.09 c | 1073295 | 28444 162924 551219 | 1 127456 48 | 0.291 % | 1747.02/1747.09 c | 1076948 | 28444 162924 551219 | 1 131109 51 | 0.291 % | 1747.02/1747.09 c | 1089264 | 28444 162924 551219 | 1 143425 59 | 0.291 % | 1747.02/1747.09 c | 1090460 | 28444 162924 551219 | 1 144621 60 | 0.291 % | 1747.02/1747.09 c | 1094105 | 28444 162924 551219 | 1 148266 62 | 0.291 % | 1747.02/1747.09 c | 1113842 | 28444 162924 551219 | 1 168003 74 | 0.291 % | 1747.02/1747.09 c | 1118327 | 28444 162924 551219 | 1 172488 76 | 0.291 % | 1747.02/1747.09 c | 1118427 | 28444 162924 551219 | 1 172588 76 | 0.291 % | 1747.02/1747.09 c | 1121812 | 28444 162924 551219 | 1 175973 77 | 0.291 % | 1747.02/1747.09 c | 1121912 | 28444 162924 551219 | 1 176073 77 | 0.291 % | 1747.02/1747.09 c | 1125923 | 28444 162924 551219 | 1 180084 79 | 0.291 % | 1747.02/1747.09 c | 1133850 | 28444 162924 551219 | 1 188011 82 | 0.291 % | 1747.02/1747.09 c | 1141018 | 28444 162924 551219 | 1 195179 84 | 0.291 % | 1747.02/1747.09 c | 1145386 | 28444 162924 551219 | 1 199547 85 | 0.291 % | 1747.02/1747.09 c | 1149453 | 28444 162924 551219 | 1 203614 87 | 0.291 % | 1747.02/1747.09 c | 1153466 | 28444 162924 551219 | 1 207627 88 | 0.291 % | 1747.02/1747.09 c | 1157153 | 28444 162924 551219 | 1 116526 31 | 0.291 % | 1747.02/1747.09 c | 1161859 | 28444 162924 551219 | 1 121232 35 | 0.291 % | 1747.02/1747.09 c | 1161960 | 28444 162924 551219 | 1 121333 35 | 0.291 % | 1747.02/1747.09 c | 1162654 | 28444 162924 551219 | 1 122027 36 | 0.291 % | 1747.02/1747.09 c | 1180542 | 28444 162924 551219 | 1 139915 50 | 0.291 % | 1747.02/1747.09 c | 1194548 | 28444 162924 551219 | 1 153921 59 | 0.291 % | 1747.02/1747.09 c | 1194648 | 28444 162924 551219 | 1 154021 59 | 0.291 % | 1747.02/1747.09 c | 1196216 | 28444 162924 551219 | 1 155589 60 | 0.291 % | 2089.33/2089.35 c | 1200303 | 28444 162924 551219 | 1 159676 62 | 0.291 % | 2089.33/2089.35 c | 1201457 | 28444 162924 551219 | 1 160830 63 | 0.291 % | 2089.33/2089.35 c | 1205756 | 28444 162924 551219 | 1 165129 65 | 0.291 % | 2089.33/2089.35 c | 1205856 | 28444 162924 551219 | 1 165229 65 | 0.291 % | 2089.33/2089.35 c | 1210269 | 28444 162924 551219 | 1 169642 67 | 0.291 % | 2089.33/2089.35 c | 1217780 | 28444 162924 551219 | 1 177153 70 | 0.291 % | 2089.33/2089.35 c | 1221738 | 28444 162924 551219 | 1 181111 72 | 0.291 % | 2089.33/2089.35 c | 1225911 | 28444 162924 551219 | 1 185284 74 | 0.291 % | 2089.33/2089.35 c | 1229349 | 28444 162924 551219 | 1 188722 75 | 0.291 % | 2089.33/2089.35 c | 1229680 | 28444 162924 551219 | 1 189053 75 | 0.291 % | 2089.33/2089.35 c | 1243858 | 28444 162924 551219 | 1 203231 81 | 0.291 % | 2089.33/2089.35 c | 1247590 | 28444 162924 551219 | 1 206963 82 | 0.291 % | 2089.33/2089.35 c | 1257132 | 28444 162924 551219 | 1 216505 85 | 0.291 % | 2089.33/2089.35 c | 1261063 | 28444 162924 551219 | 1 220436 86 | 0.291 % | 2089.33/2089.35 c | 1267104 | 28444 162924 551219 | 1 128309 33 | 0.291 % | 2089.33/2089.35 c | 1272010 | 28444 162924 551219 | 1 133215 38 | 0.291 % | 2089.33/2089.35 c | 1273744 | 28444 162924 551219 | 1 134949 39 | 0.291 % | 2089.33/2089.35 c | 1284381 | 28444 162924 551219 | 1 145586 41 | 0.291 % | 2089.33/2089.35 c | 1284551 | 28444 162924 551219 | 1 145756 41 | 0.291 % | 2089.33/2089.35 c | 1290398 | 28444 162924 551219 | 1 151603 44 | 0.291 % | 2089.33/2089.35 c | 1294019 | 28444 162924 551219 | 1 155224 46 | 0.291 % | 2089.33/2089.35 c | 1294462 | 28444 162924 551219 | 1 155667 47 | 0.291 % | 2089.33/2089.35 c | 1298228 | 28444 162924 551219 | 1 159433 49 | 0.291 % | 2089.33/2089.35 c | 1300844 | 28444 162924 551219 | 1 162049 50 | 0.291 % | 2089.33/2089.35 c | 1301910 | 28444 162924 551219 | 1 163115 51 | 0.291 % | 2089.33/2089.35 c | 1304986 | 28444 162924 551219 | 1 166191 53 | 0.291 % | 2089.33/2089.35 c | 1312040 | 28444 162924 551219 | 1 173245 57 | 0.291 % | 2089.33/2089.35 c | 1317502 | 28444 162924 551219 | 1 178707 59 | 0.291 % | 2089.33/2089.35 c | 1324153 | 28444 162924 551219 | 1 185358 62 | 0.291 % | 2089.33/2089.35 c | 1326443 | 28444 162924 551219 | 1 187648 63 | 0.291 % | 2089.33/2089.35 c | 1333405 | 28444 162924 551219 | 1 194610 66 | 0.291 % | 2089.33/2089.35 c | 1336781 | 28444 162924 551219 | 1 197986 68 | 0.291 % | 2089.33/2089.35 c | 1340729 | 28444 162924 551219 | 1 201934 69 | 0.291 % | 2089.33/2089.35 c | 1347064 | 28444 162924 551219 | 1 208269 71 | 0.291 % | 2089.33/2089.35 c | 1347166 | 28444 162924 551219 | 1 208371 71 | 0.291 % | 2089.33/2089.35 c | 1347268 | 28444 162924 551219 | 1 208473 71 | 0.291 % | 2089.33/2089.35 c | 1349818 | 28444 162924 551219 | 1 211023 72 | 0.291 % | 2089.33/2089.35 c | 1356615 | 28444 162924 551219 | 1 217820 75 | 0.291 % | 2089.33/2089.35 c | 1359212 | 28444 162924 551219 | 1 220417 75 | 0.291 % | 2089.33/2089.35 c | 1362642 | 28444 162924 551219 | 1 223847 77 | 0.291 % | 2089.33/2089.35 c | 1370195 | 28444 162924 551219 | 1 231400 78 | 0.291 % | 2089.33/2089.35 c | 1373710 | 28444 162924 551219 | 1 234915 79 | 0.291 % | 2089.33/2089.35 c | 1376036 | 28444 162924 551219 | 1 135382 29 | 0.291 % | 2089.33/2089.35 c | 1379237 | 28444 162924 551219 | 1 138583 32 | 0.291 % | 2089.33/2089.35 c | 1384202 | 28444 162924 551219 | 1 143548 35 | 0.291 % | 2089.33/2089.35 c | 1384302 | 28444 162924 551219 | 1 143648 35 | 0.291 % | 2089.33/2089.35 c | 1386795 | 28444 162924 551219 | 1 146141 37 | 0.291 % | 2089.33/2089.35 c | 1404092 | 28444 162924 551219 | 1 163438 49 | 0.291 % | 2089.33/2089.35 c | 1411590 | 28444 162924 551219 | 1 170936 54 | 0.291 % | 2089.33/2089.35 c | 1411690 | 28444 162924 551219 | 1 171036 54 | 0.291 % | 2414.34/2414.39 c | 1414151 | 28444 162924 551219 | 1 173497 55 | 0.291 % | 2414.34/2414.39 c | 1417498 | 28444 162924 551219 | 1 176844 57 | 0.291 % | 2414.34/2414.39 c | 1422668 | 28444 162924 551219 | 1 182014 59 | 0.291 % | 2414.34/2414.39 c | 1422769 | 28444 162924 551219 | 1 182115 59 | 0.291 % | 2414.34/2414.39 c | 1427827 | 28444 162924 551219 | 1 187173 61 | 0.291 % | 2414.34/2414.39 c | 1433339 | 28444 162924 551219 | 1 192685 63 | 0.291 % | 2414.34/2414.39 c | 1435663 | 28444 162924 551219 | 1 195009 64 | 0.291 % | 2414.34/2414.39 c | 1438839 | 28444 162924 551219 | 1 198185 65 | 0.291 % | 2414.34/2414.39 c | 1443723 | 28444 162924 551219 | 1 203069 67 | 0.291 % | 2414.34/2414.39 c | 1453713 | 28444 162924 551219 | 1 213059 71 | 0.291 % | 2414.34/2414.39 c | 1453855 | 28444 162924 551219 | 1 213201 70 | 0.291 % | 2414.34/2414.39 c | 1459774 | 28444 162924 551219 | 1 219120 72 | 0.291 % | 2414.34/2414.39 c | 1459874 | 28444 162924 551219 | 1 219220 72 | 0.291 % | 2414.34/2414.39 c | 1462495 | 28444 162924 551219 | 1 221841 73 | 0.291 % | 2414.34/2414.39 c | 1465482 | 28444 162924 551219 | 1 224828 74 | 0.291 % | 2414.34/2414.39 c | 1470651 | 28444 162924 551219 | 1 229997 75 | 0.291 % | 2414.34/2414.39 c | 1474047 | 28444 162924 551219 | 1 233393 76 | 0.291 % | 2414.34/2414.39 c | 1487314 | 28444 162924 551219 | 1 246660 80 | 0.291 % | 2414.34/2414.39 c | 1493846 | 28444 162924 551219 | 1 142582 31 | 0.291 % | 2414.34/2414.39 c | 1494276 | 28444 162924 551219 | 1 143012 31 | 0.291 % | 2414.34/2414.39 c | 1498232 | 28444 162924 551219 | 1 146968 34 | 0.291 % | 2414.34/2414.39 c | 1503043 | 28444 162924 551219 | 1 151779 37 | 0.291 % | 2414.34/2414.39 c | 1503467 | 28444 162924 551219 | 1 152203 38 | 0.291 % | 2414.34/2414.39 c | 1507115 | 28444 162924 551219 | 1 155851 40 | 0.291 % | 2414.34/2414.39 c | 1510819 | 28444 162924 551219 | 1 159555 42 | 0.291 % | 2414.34/2414.39 c | 1520894 | 28444 162924 551219 | 1 169630 47 | 0.291 % | 2414.34/2414.39 c | 1523581 | 28444 162924 551219 | 1 172317 49 | 0.291 % | 2414.34/2414.39 c | 1528227 | 28444 162924 551219 | 1 176963 51 | 0.291 % | 2414.34/2414.39 c | 1530655 | 28444 162924 551219 | 1 179391 53 | 0.291 % | 2414.34/2414.39 c | 1532885 | 28444 162924 551219 | 1 181621 54 | 0.291 % | 2414.34/2414.39 c | 1535459 | 28444 162924 551219 | 1 184195 55 | 0.291 % | 2414.34/2414.39 c | 1538007 | 28444 162924 551219 | 1 186743 56 | 0.291 % | 2414.34/2414.39 c | 1545977 | 28444 162924 551219 | 1 194713 60 | 0.291 % | 2414.34/2414.39 c | 1546293 | 28444 162924 551219 | 1 195029 60 | 0.291 % | 2414.34/2414.39 c | 1551511 | 28444 162924 551219 | 1 200247 63 | 0.291 % | 2414.34/2414.39 c | 1558996 | 28444 162924 551219 | 1 207732 65 | 0.291 % | 2414.34/2414.39 c | 1561263 | 28444 162924 551219 | 1 209999 66 | 0.291 % | 2414.34/2414.39 c | 1563876 | 28444 162924 551219 | 1 212612 67 | 0.291 % | 2414.34/2414.39 c | 1566601 | 28444 162924 551219 | 1 215337 68 | 0.291 % | 2414.34/2414.39 c | 1569071 | 28444 162924 551219 | 1 217807 69 | 0.291 % | 2414.34/2414.39 c | 1571421 | 28444 162924 551219 | 1 220157 70 | 0.291 % | 2414.34/2414.39 c | 1573673 | 28444 162924 551219 | 1 222409 71 | 0.291 % | 2414.34/2414.39 c | 1576093 | 28444 162924 551219 | 1 224829 72 | 0.291 % | 2414.34/2414.39 c | 1578782 | 28444 162924 551219 | 1 227518 73 | 0.291 % | 2414.34/2414.39 c | 1583480 | 28444 162924 551219 | 1 232216 74 | 0.291 % | 2414.34/2414.39 c | 1588925 | 28444 162924 551219 | 1 237661 75 | 0.291 % | 2414.34/2414.39 c | 1591149 | 28444 162924 551219 | 1 239885 76 | 0.291 % | 2414.34/2414.39 c | 1593491 | 28444 162924 551219 | 1 242227 77 | 0.291 % | 2414.34/2414.39 c | 1603947 | 28444 162924 551219 | 1 252683 79 | 0.291 % | 2674.34/2674.33 c | 1604047 | 28444 162924 551219 | 1 252783 79 | 0.291 % | 2674.34/2674.33 c | 1605855 | 28444 162924 551219 | 1 254591 79 | 0.291 % | 2674.34/2674.33 c | 1610535 | 28444 162924 551219 | 1 259271 81 | 0.291 % | 2674.34/2674.33 c | 1618482 | 28444 162924 551219 | 1 152800 33 | 0.291 % | 2674.34/2674.33 c | 1629211 | 28444 162924 551219 | 1 163529 41 | 0.291 % | 2674.34/2674.33 c | 1638729 | 28444 162924 551219 | 1 173047 46 | 0.291 % | 2674.34/2674.33 c | 1638862 | 28444 162924 551219 | 1 173180 46 | 0.291 % | 2674.34/2674.33 c | 1641077 | 28444 162924 551219 | 1 175395 47 | 0.291 % | 2674.34/2674.33 c | 1643341 | 28444 162924 551219 | 1 177659 48 | 0.291 % | 2674.34/2674.33 c | 1649035 | 28444 162924 551219 | 1 183353 51 | 0.291 % | 2674.34/2674.33 c | 1651549 | 28444 162924 551219 | 1 185867 52 | 0.291 % | 2674.34/2674.33 c | 1656158 | 28444 162924 551219 | 1 190476 54 | 0.291 % | 2674.34/2674.33 c | 1658662 | 28444 162924 551219 | 1 192980 55 | 0.291 % | 2674.34/2674.33 c | 1661019 | 28444 162924 551219 | 1 195337 57 | 0.291 % | 2674.34/2674.33 c | 1663339 | 28444 162924 551219 | 1 197657 58 | 0.291 % | 2674.34/2674.33 c | 1667724 | 28444 162924 551219 | 1 202042 59 | 0.291 % | 2674.34/2674.33 c | 1668006 | 28444 162924 551219 | 1 202324 60 | 0.291 % | 2674.34/2674.33 c | 1670348 | 28444 162924 551219 | 1 204666 60 | 0.291 % | 2674.34/2674.33 c | 1675417 | 28444 162924 551219 | 1 209735 62 | 0.291 % | 2674.34/2674.33 c | 1678183 | 28444 162924 551219 | 1 212501 63 | 0.291 % | 2674.34/2674.33 c | 1680611 | 28444 162924 551219 | 1 214929 64 | 0.291 % | 2674.34/2674.33 c | 1680749 | 28444 162924 551219 | 1 215067 64 | 0.291 % | 2674.34/2674.33 c | 1683174 | 28444 162924 551219 | 1 217492 65 | 0.291 % | 2674.34/2674.33 c | 1683274 | 28444 162924 551219 | 1 217592 65 | 0.291 % | 2674.34/2674.33 c | 1685711 | 28444 162924 551219 | 1 220029 66 | 0.291 % | 2674.34/2674.33 c | 1688300 | 28444 162924 551219 | 1 222618 67 | 0.291 % | 2674.34/2674.33 c | 1690882 | 28444 162924 551219 | 1 225200 68 | 0.291 % | 2674.34/2674.33 c | 1694592 | 28444 162924 551219 | 1 228910 69 | 0.291 % | 2674.34/2674.33 c | 1695956 | 28444 162924 551219 | 1 230274 69 | 0.291 % | 2674.34/2674.33 c | 1696060 | 28444 162924 551219 | 1 230378 69 | 0.291 % | 2674.34/2674.33 c | 1703783 | 28444 162924 551219 | 1 238101 72 | 0.291 % | 2674.34/2674.33 c | 1706126 | 28444 162924 551219 | 1 240444 71 | 0.291 % | 2674.34/2674.33 c | 1708381 | 28444 162924 551219 | 1 242699 72 | 0.291 % | 2674.34/2674.33 c | 1710169 | 28444 162924 551219 | 1 244487 73 | 0.291 % | 2674.34/2674.33 c | 1710270 | 28444 162924 551219 | 1 244588 73 | 0.291 % | 2674.34/2674.33 c | 1710386 | 28444 162924 551219 | 1 244704 73 | 0.291 % | 2674.34/2674.33 c | 1713164 | 28444 162924 551219 | 1 247482 73 | 0.291 % | 2674.34/2674.33 c | 1715446 | 28444 162924 551219 | 1 249764 74 | 0.291 % | 2674.34/2674.33 c | 1717690 | 28444 162924 551219 | 1 252008 74 | 0.291 % | 2674.34/2674.33 c | 1717917 | 28444 162924 551219 | 1 252235 74 | 0.291 % | 2674.34/2674.33 c | 1725111 | 28444 162924 551219 | 1 259429 76 | 0.291 % | 2674.34/2674.33 c | 1727372 | 28444 162924 551219 | 1 261690 76 | 0.291 % | 2674.34/2674.33 c | 1730782 | 28444 162924 551219 | 1 265100 77 | 0.291 % | 2674.34/2674.33 c | 1733161 | 28444 162924 551219 | 1 267479 77 | 0.291 % | 2674.34/2674.33 c | 1738342 | 28444 162924 551219 | 1 155804 28 | 0.291 % | 2674.34/2674.33 c | 1740295 | 28444 162924 551219 | 1 157757 30 | 0.291 % | 2674.34/2674.33 c | 1747507 | 28444 162924 551219 | 1 164969 35 | 0.291 % | 2674.34/2674.33 c | 1749510 | 28444 162924 551219 | 1 166972 36 | 0.291 % | 2674.34/2674.33 c | 1751509 | 28444 162924 551219 | 1 168971 38 | 0.291 % | 2674.34/2674.33 c | 1756167 | 28444 162924 551219 | 1 173629 41 | 0.291 % | 2932.15/2932.17 c | 1765398 | 28444 162924 551219 | 1 182860 44 | 0.291 % | 2932.15/2932.17 c | 1770039 | 28444 162924 551219 | 1 187501 47 | 0.291 % | 2932.15/2932.17 c | 1772127 | 28444 162924 551219 | 1 189589 47 | 0.291 % | 2932.15/2932.17 c | 1774475 | 28444 162924 551219 | 1 191937 49 | 0.291 % | 2932.15/2932.17 c | 1779232 | 28444 162924 551219 | 1 196694 51 | 0.291 % | 2932.15/2932.17 c | 1779332 | 28444 162924 551219 | 1 196794 51 | 0.291 % | 2932.15/2932.17 c | 1779781 | 28444 162924 551219 | 1 197243 51 | 0.291 % | 2932.15/2932.17 c | 1781581 | 28444 162924 551219 | 1 199043 51 | 0.291 % | 2932.15/2932.17 c | 1784134 | 28444 162924 551219 | 1 201596 53 | 0.291 % | 2932.15/2932.17 c | 1786141 | 28444 162924 551219 | 1 203603 53 | 0.291 % | 2932.15/2932.17 c | 1790681 | 28444 162924 551219 | 1 208143 56 | 0.291 % | 2932.15/2932.17 c | 1790782 | 28444 162924 551219 | 1 208244 56 | 0.291 % | 2932.15/2932.17 c | 1793274 | 28444 162924 551219 | 1 210736 57 | 0.291 % | 2932.15/2932.17 c | 1795240 | 28444 162924 551219 | 1 212702 57 | 0.291 % | 2932.15/2932.17 c | 1797448 | 28444 162924 551219 | 1 214910 58 | 0.291 % | 2932.15/2932.17 c | 1801212 | 28444 162924 551219 | 1 218674 60 | 0.291 % | 2932.15/2932.17 c | 1801312 | 28444 162924 551219 | 1 218774 60 | 0.291 % | 2932.15/2932.17 c | 1805304 | 28444 162924 551219 | 1 222766 61 | 0.291 % | 2932.15/2932.17 c | 1806390 | 28444 162924 551219 | 1 223852 61 | 0.291 % | 2932.15/2932.17 c | 1810681 | 28444 162924 551219 | 1 228143 62 | 0.291 % | 2932.15/2932.17 c | 1814588 | 28444 162924 551219 | 1 232050 64 | 0.291 % | 2932.15/2932.17 c | 1816428 | 28444 162924 551219 | 1 233890 64 | 0.291 % | 2932.15/2932.17 c | 1819259 | 28444 162924 551219 | 1 236721 65 | 0.291 % | 2932.15/2932.17 c | 1820956 | 28444 162924 551219 | 1 238418 65 | 0.291 % | 2932.15/2932.17 c | 1826515 | 28444 162924 551219 | 1 243977 67 | 0.291 % | 2932.15/2932.17 c | 1830645 | 28444 162924 551219 | 1 248107 68 | 0.291 % | 2932.15/2932.17 c | 1835397 | 28444 162924 551219 | 1 252859 70 | 0.291 % | 2932.15/2932.17 c | 1841233 | 28444 162924 551219 | 1 258695 71 | 0.291 % | 2932.15/2932.17 c | 1854450 | 28444 162924 551219 | 1 271912 75 | 0.291 % | 2932.15/2932.17 c | 1855933 | 28444 162924 551219 | 1 273395 75 | 0.291 % | 2932.15/2932.17 c | 1857970 | 28444 162924 551219 | 1 275432 75 | 0.291 % | 2932.15/2932.17 c | 1859555 | 28444 162924 551219 | 1 277017 75 | 0.291 % | 2932.15/2932.17 c | 1863174 | 28444 162924 551219 | 1 280636 76 | 0.291 % | 2932.15/2932.17 c | 1866697 | 28444 162924 551219 | 1 161007 27 | 0.291 % | 2932.15/2932.17 c | 1871278 | 28444 162924 551219 | 1 165588 30 | 0.291 % | 2932.15/2932.17 c | 1871378 | 28444 162924 551219 | 1 165688 30 | 0.291 % | 2932.15/2932.17 c | 1875910 | 28444 162924 551219 | 1 170220 33 | 0.291 % | 2932.15/2932.17 c | 1881298 | 28444 162924 551219 | 1 175608 36 | 0.291 % | 2932.15/2932.17 c | 1882936 | 28444 162924 551219 | 1 177246 37 | 0.291 % | 2932.15/2932.17 c | 1884729 | 28444 162924 551219 | 1 179039 38 | 0.291 % | 2932.15/2932.17 c | 1888307 | 28444 162924 551219 | 1 182617 40 | 0.291 % | 2932.15/2932.17 c | 1892713 | 28444 162924 551219 | 1 187023 42 | 0.291 % | 2932.15/2932.17 c | 1900079 | 28444 162924 551219 | 1 194389 45 | 0.291 % | 2932.15/2932.17 c | 1900203 | 28444 162924 551219 | 1 194513 45 | 0.291 % | 2932.15/2932.17 c | 1901943 | 28444 162924 551219 | 1 196253 46 | 0.291 % | 2932.15/2932.17 c | 1902650 | 28444 162924 551219 | 1 196960 47 | 0.291 % | 2932.15/2932.17 c | 1903321 | 28444 162924 551219 | 1 197631 47 | 0.291 % | 2932.15/2932.17 c | 1905750 | 28444 162924 551219 | 1 200060 48 | 0.291 % | 2932.15/2932.17 c | 1907919 | 28444 162924 551219 | 1 202229 49 | 0.291 % | 2932.15/2932.17 c | 1909442 | 28444 162924 551219 | 1 203752 49 | 0.291 % | 3192.26/3192.23 c | 1911425 | 28444 162924 551219 | 1 205735 50 | 0.291 % | 3192.26/3192.23 c | 1913980 | 28444 162924 551219 | 1 208290 51 | 0.291 % | 3192.26/3192.23 c | 1917835 | 28444 162924 551219 | 1 212145 52 | 0.291 % | 3192.26/3192.23 c | 1921132 | 28444 162924 551219 | 1 215442 54 | 0.291 % | 3192.26/3192.23 c | 1921232 | 28444 162924 551219 | 1 215542 54 | 0.291 % | 3192.26/3192.23 c | 1924167 | 28444 162924 551219 | 1 218477 55 | 0.291 % | 3192.26/3192.23 c | 1926366 | 28444 162924 551219 | 1 220676 56 | 0.291 % | 3192.26/3192.23 c | 1928447 | 28444 162924 551219 | 1 222757 56 | 0.291 % | 3192.26/3192.23 c | 1929635 | 28444 162924 551219 | 1 223945 56 | 0.291 % | 3192.26/3192.23 c | 1931572 | 28444 162924 551219 | 1 225882 57 | 0.291 % | 3192.26/3192.23 c | 1931735 | 28444 162924 551219 | 1 226045 57 | 0.291 % | 3192.26/3192.23 c | 1935553 | 28444 162924 551219 | 1 229863 58 | 0.291 % | 3192.26/3192.23 c | 1936033 | 28444 162924 551219 | 1 230343 58 | 0.291 % | 3192.26/3192.23 c | 1942094 | 28444 162924 551219 | 1 236404 60 | 0.291 % | 3192.26/3192.23 c | 1945717 | 28444 162924 551219 | 1 240027 61 | 0.291 % | 3192.26/3192.23 c | 1950522 | 28444 162924 551219 | 1 244832 63 | 0.291 % | 3192.26/3192.23 c | 1950768 | 28444 162924 551219 | 1 245078 63 | 0.291 % | 3192.26/3192.23 c | 1954491 | 28444 162924 551219 | 1 248801 64 | 0.291 % | 3192.26/3192.23 c | 1960157 | 28444 162924 551219 | 1 254467 65 | 0.291 % | 3192.26/3192.23 c | 1972638 | 28444 162924 551219 | 1 266948 69 | 0.291 % | 3192.26/3192.23 c | 1977908 | 28444 162924 551219 | 1 272218 70 | 0.291 % | 3192.26/3192.23 c | 1981411 | 28444 162924 551219 | 1 275721 71 | 0.291 % | 3192.26/3192.23 c | 1981619 | 28444 162924 551219 | 1 275929 71 | 0.291 % | 3192.26/3192.23 c | 1983905 | 28444 162924 551219 | 1 278215 71 | 0.291 % | 3192.26/3192.23 c | 1987879 | 28444 162924 551219 | 1 282189 72 | 0.291 % | 3192.26/3192.23 c | 1989573 | 28444 162924 551219 | 1 283883 73 | 0.291 % | 3192.26/3192.23 c | 1996940 | 28444 162924 551219 | 1 291250 74 | 0.291 % | 3192.26/3192.23 c | 2002650 | 28444 162924 551219 | 1 168138 27 | 0.291 % | 3192.26/3192.23 c | 2004541 | 28444 162924 551219 | 1 170029 28 | 0.291 % | 3192.26/3192.23 c | 2008070 | 28444 162924 551219 | 1 173558 31 | 0.291 % | 3192.26/3192.23 c | 2010904 | 28444 162924 551219 | 1 176392 32 | 0.291 % | 3192.26/3192.23 c | 2011592 | 28444 162924 551219 | 1 177080 32 | 0.291 % | 3192.26/3192.23 c | 2013531 | 28444 162924 551219 | 1 179019 33 | 0.291 % | 3192.26/3192.23 c | 2014095 | 28444 162924 551219 | 1 179583 33 | 0.291 % | 3192.26/3192.23 c | 2014676 | 28444 162924 551219 | 1 180164 34 | 0.291 % | 3192.26/3192.23 c | 2016785 | 28444 162924 551219 | 1 182273 35 | 0.291 % | 3192.26/3192.23 c | 2018478 | 28444 162924 551219 | 1 183966 36 | 0.291 % | 3192.26/3192.23 c | 2025650 | 28444 162924 551219 | 1 191138 40 | 0.291 % | 3192.26/3192.23 c | 2027254 | 28444 162924 551219 | 1 192742 40 | 0.291 % | 3192.26/3192.23 c | 2029254 | 28444 162924 551219 | 1 194742 41 | 0.291 % | 3192.26/3192.23 c | 2030649 | 28444 162924 551219 | 1 196137 42 | 0.291 % | 3192.26/3192.23 c | 2033574 | 28444 162924 551219 | 1 199062 43 | 0.291 % | 3192.26/3192.23 c | 2035351 | 28444 162924 551219 | 1 200839 44 | 0.291 % | 3192.26/3192.23 c | 2035453 | 28444 162924 551219 | 1 200941 44 | 0.291 % | 3192.26/3192.23 c | 2043835 | 28444 162924 551219 | 1 209323 48 | 0.291 % | 3192.26/3192.23 c | 2043936 | 28444 162924 551219 | 1 209424 48 | 0.291 % | 3192.26/3192.23 c | 2051035 | 28444 162924 551219 | 1 216523 51 | 0.291 % | 3192.26/3192.23 c | 2054623 | 28444 162924 551219 | 1 220111 53 | 0.291 % | 3192.26/3192.23 c | 2056527 | 28444 162924 551219 | 1 222015 53 | 0.291 % | 3192.26/3192.23 c | 2060086 | 28444 162924 551219 | 1 225574 55 | 0.291 % | 3416.96/3416.95 c | 2061867 | 28444 162924 551219 | 1 227355 55 | 0.291 % | 3416.96/3416.95 c | 2065371 | 28444 162924 551219 | 1 230859 57 | 0.291 % | 3416.96/3416.95 c | 2067240 | 28444 162924 551219 | 1 232728 57 | 0.291 % | 3416.96/3416.95 c | 2072515 | 28444 162924 551219 | 1 238003 59 | 0.291 % | 3416.96/3416.95 c | 2074944 | 28444 162924 551219 | 1 240432 60 | 0.291 % | 3416.96/3416.95 c | 2078484 | 28444 162924 551219 | 1 243972 61 | 0.291 % | 3416.96/3416.95 c | 2079019 | 28444 162924 551219 | 1 244507 61 | 0.291 % | 3416.96/3416.95 c | 2079182 | 28444 162924 551219 | 1 244670 61 | 0.291 % | 3416.96/3416.95 c | 2080941 | 28444 162924 551219 | 1 246429 62 | 0.291 % | 3416.96/3416.95 c | 2085777 | 28444 162924 551219 | 1 251265 63 | 0.291 % | 3416.96/3416.95 c | 2092562 | 28444 162924 551219 | 1 258050 65 | 0.291 % | 3416.96/3416.95 c | 2092943 | 28444 162924 551219 | 1 258431 65 | 0.291 % | 3416.96/3416.95 c | 2094890 | 28444 162924 551219 | 1 260378 65 | 0.291 % | 3416.96/3416.95 c | 2096676 | 28444 162924 551219 | 1 262164 66 | 0.291 % | 3416.96/3416.95 c | 2100234 | 28444 162924 551219 | 1 265722 67 | 0.291 % | 3416.96/3416.95 c | 2103320 | 28444 162924 551219 | 1 268808 68 | 0.291 % | 3416.96/3416.95 c | 2105016 | 28444 162924 551219 | 1 270504 68 | 0.291 % | 3416.96/3416.95 c | 2112899 | 28444 162924 551219 | 1 278387 70 | 0.291 % | 3416.96/3416.95 c | 2116258 | 28444 162924 551219 | 1 281746 71 | 0.291 % | 3416.96/3416.95 c | 2116359 | 28444 162924 551219 | 1 281847 71 | 0.291 % | 3416.96/3416.95 c | 2118679 | 28444 162924 551219 | 1 284167 72 | 0.291 % | 3416.96/3416.95 c | 2120463 | 28444 162924 551219 | 1 285951 72 | 0.291 % | 3416.96/3416.95 c | 2127228 | 28444 162924 551219 | 1 292716 73 | 0.291 % | 3416.96/3416.95 c | 2128518 | 28444 162924 551219 | 1 294006 74 | 0.291 % | 3416.96/3416.95 c | 2130050 | 28444 162924 551219 | 1 295538 74 | 0.291 % | 3416.96/3416.95 c | 2131876 | 28444 162924 551219 | 1 297364 74 | 0.291 % | 3416.96/3416.95 c | 2133663 | 28444 162924 551219 | 1 299151 75 | 0.291 % | 3416.96/3416.95 c | 2140308 | 28444 162924 551219 | 1 171879 26 | 0.291 % | 3416.96/3416.95 c | 2141967 | 28444 162924 551219 | 1 173538 27 | 0.291 % | 3416.96/3416.95 c | 2143995 | 28444 162924 551219 | 1 175566 28 | 0.291 % | 3416.96/3416.95 c | 2147739 | 28444 162924 551219 | 1 179310 31 | 0.291 % | 3416.96/3416.95 c | 2148647 | 28444 162924 551219 | 1 180218 31 | 0.291 % | 3416.96/3416.95 c | 2151641 | 28444 162924 551219 | 1 183212 33 | 0.291 % | 3416.96/3416.95 c | 2154832 | 28444 162924 551219 | 1 186403 35 | 0.291 % | 3416.96/3416.95 c | 2156649 | 28444 162924 551219 | 1 188220 36 | 0.291 % | 3416.96/3416.95 c | 2156750 | 28444 162924 551219 | 1 188321 36 | 0.291 % | 3416.96/3416.95 c | 2157764 | 28444 162924 551219 | 1 189335 36 | 0.291 % | 3416.96/3416.95 c | 2159766 | 28444 162924 551219 | 1 191337 37 | 0.291 % | 3416.96/3416.95 c | 2161597 | 28444 162924 551219 | 1 193168 38 | 0.291 % | 3416.96/3416.95 c | 2164906 | 28444 162924 551219 | 1 196477 40 | 0.291 % | 3416.96/3416.95 c | 2165007 | 28444 162924 551219 | 1 196578 40 | 0.291 % | 3416.96/3416.95 c | 2168100 | 28444 162924 551219 | 1 199671 41 | 0.291 % | 3416.96/3416.95 c | 2168905 | 28444 162924 551219 | 1 200476 42 | 0.291 % | 3416.96/3416.95 c | 2170579 | 28444 162924 551219 | 1 202150 42 | 0.291 % | 3416.96/3416.95 c | 2172321 | 28444 162924 551219 | 1 203892 43 | 0.291 % | 3416.96/3416.95 c | 2174170 | 28444 162924 551219 | 1 205741 44 | 0.291 % | 3416.96/3416.95 c | 2178831 | 28444 162924 551219 | 1 210402 46 | 0.291 % | 3416.96/3416.95 c | 2179824 | 28444 162924 551219 | 1 211395 46 | 0.291 % | 3416.96/3416.95 c | 2181241 | 28444 162924 551219 | 1 212812 47 | 0.291 % | 3416.96/3416.95 c | 2187680 | 28444 162924 551219 | 1 219251 50 | 0.291 % | 3668.07/3668.05 c | 2190932 | 28444 162924 551219 | 1 222503 51 | 0.291 % | 3668.07/3668.05 c | 2192648 | 28444 162924 551219 | 1 224219 52 | 0.291 % | 3668.07/3668.05 c | 2196036 | 28444 162924 551219 | 1 227607 53 | 0.291 % | 3668.07/3668.05 c | 2197355 | 28444 162924 551219 | 1 228926 54 | 0.291 % | 3668.07/3668.05 c | 2197770 | 28444 162924 551219 | 1 229341 54 | 0.291 % | 3668.07/3668.05 c | 2202531 | 28444 162924 551219 | 1 234102 56 | 0.291 % | 3668.07/3668.05 c | 2203064 | 28444 162924 551219 | 1 234635 56 | 0.291 % | 3668.07/3668.05 c | 2204871 | 28444 162924 551219 | 1 236442 56 | 0.291 % | 3668.07/3668.05 c | 2206822 | 28444 162924 551219 | 1 238393 57 | 0.291 % | 3668.07/3668.05 c | 2211413 | 28444 162924 551219 | 1 242984 58 | 0.291 % | 3668.07/3668.05 c | 2211889 | 28444 162924 551219 | 1 243460 59 | 0.291 % | 3668.07/3668.05 c | 2211990 | 28444 162924 551219 | 1 243561 59 | 0.291 % | 3668.07/3668.05 c | 2212091 | 28444 162924 551219 | 1 243662 59 | 0.291 % | 3668.07/3668.05 c | 2213637 | 28444 162924 551219 | 1 245208 59 | 0.291 % | 3668.07/3668.05 c | 2217114 | 28444 162924 551219 | 1 248685 60 | 0.291 % | 3668.07/3668.05 c | 2224511 | 28444 162924 551219 | 1 256082 63 | 0.291 % | 3668.07/3668.05 c | 2227616 | 28444 162924 551219 | 1 259187 63 | 0.291 % | 3668.07/3668.05 c | 2231447 | 28444 162924 551219 | 1 263018 64 | 0.291 % | 3668.07/3668.05 c | 2231585 | 28444 162924 551219 | 1 263156 64 | 0.291 % | 3668.07/3668.05 c | 2236049 | 28444 162924 551219 | 1 267620 66 | 0.291 % | 3668.07/3668.05 c | 2240823 | 28444 162924 551219 | 1 272394 67 | 0.291 % | 3668.07/3668.05 c | 2247501 | 28444 162924 551219 | 1 279072 69 | 0.291 % | 3668.07/3668.05 c | 2247601 | 28444 162924 551219 | 1 279172 69 | 0.291 % | 3668.07/3668.05 c | 2253414 | 28444 162924 551219 | 1 284985 69 | 0.291 % | 3668.07/3668.05 c | 2255247 | 28444 162924 551219 | 1 286818 70 | 0.291 % | 3668.07/3668.05 c | 2256960 | 28444 162924 551219 | 1 288531 70 | 0.291 % | 3668.07/3668.05 c | 2257089 | 28444 162924 551219 | 1 288660 70 | 0.291 % | 3668.07/3668.05 c | 2258841 | 28444 162924 551219 | 1 290412 70 | 0.291 % | 3668.07/3668.05 c | 2260154 | 28444 162924 551219 | 1 291725 71 | 0.291 % | 3668.07/3668.05 c | 2261716 | 28444 162924 551219 | 1 293287 71 | 0.291 % | 3668.07/3668.05 c | 2264632 | 28444 162924 551219 | 1 296203 72 | 0.291 % | 3668.07/3668.05 c | 2267789 | 28444 162924 551219 | 1 299360 72 | 0.291 % | 3668.07/3668.05 c | 2269305 | 28444 162924 551219 | 1 300876 73 | 0.291 % | 3668.07/3668.05 c | 2272660 | 28444 162924 551219 | 1 304231 73 | 0.291 % | 3668.07/3668.05 c | 2273872 | 28444 162924 551219 | 1 305443 74 | 0.291 % | 3668.07/3668.05 c | 2274414 | 28444 162924 551219 | 1 305985 74 | 0.291 % | 3668.07/3668.05 c | 2275784 | 28444 162924 551219 | 1 307355 74 | 0.291 % | 3668.07/3668.05 c | 2275885 | 28444 162924 551219 | 1 307456 74 | 0.291 % | 3668.07/3668.05 c | 2279237 | 28444 162924 551219 | 1 310808 74 | 0.291 % | 3668.07/3668.05 c | 2292352 | 28444 162924 551219 | 1 185951 28 | 0.291 % | 3668.07/3668.05 c | 2296905 | 28444 162924 551219 | 1 190504 29 | 0.291 % | 3668.07/3668.05 c | 2298464 | 28444 162924 551219 | 1 192063 30 | 0.291 % | 3668.07/3668.05 c | 2301006 | 28444 162924 551219 | 1 194605 31 | 0.291 % | 3668.07/3668.05 c | 2301882 | 28444 162924 551219 | 1 195481 32 | 0.291 % | 3668.07/3668.05 c | 2303597 | 28444 162924 551219 | 1 197196 32 | 0.291 % | 3668.07/3668.05 c | 2305461 | 28444 162924 551219 | 1 199060 33 | 0.291 % | 3668.07/3668.05 c | 2305841 | 28444 162924 551219 | 1 199440 33 | 0.291 % | 3668.07/3668.05 c | 2307560 | 28444 162924 551219 | 1 201159 34 | 0.291 % | 3668.07/3668.05 c | 2313122 | 28444 162924 551219 | 1 206721 37 | 0.291 % | 3668.07/3668.05 c | 2313222 | 28444 162924 551219 | 1 206821 37 | 0.291 % | 3894.58/3894.56 c | 2314768 | 28444 162924 551219 | 1 208367 37 | 0.291 % | 3894.58/3894.56 c | 2318485 | 28444 162924 551219 | 1 212084 39 | 0.291 % | 3894.58/3894.56 c | 2320566 | 28444 162924 551219 | 1 214165 40 | 0.291 % | 3894.58/3894.56 c | 2326852 | 28444 162924 551219 | 1 220451 42 | 0.291 % | 3894.58/3894.56 c | 2326952 | 28444 162924 551219 | 1 220551 42 | 0.291 % | 3894.58/3894.56 c | 2329552 | 28444 162924 551219 | 1 223151 43 | 0.291 % | 3894.58/3894.56 c | 2329832 | 28444 162924 551219 | 1 223431 43 | 0.291 % | 3894.58/3894.56 c | 2333304 | 28444 162924 551219 | 1 226903 44 | 0.291 % | 3894.58/3894.56 c | 2339398 | 28444 162924 551219 | 1 232997 46 | 0.291 % | 3894.58/3894.56 c | 2341284 | 28444 162924 551219 | 1 234883 47 | 0.291 % | 3894.58/3894.56 c | 2343666 | 28444 162924 551219 | 1 237265 48 | 0.291 % | 3894.58/3894.56 c | 2348318 | 28444 162924 551219 | 1 241917 49 | 0.291 % | 3894.58/3894.56 c | 2349215 | 28444 162924 551219 | 1 242814 50 | 0.291 % | 3894.58/3894.56 c | 2355189 | 28444 162924 551219 | 1 248788 51 | 0.291 % | 3894.58/3894.56 c | 2356740 | 28444 162924 551219 | 1 250339 52 | 0.291 % | 3894.58/3894.56 c | 2362165 | 28444 162924 551219 | 1 255764 53 | 0.291 % | 3894.58/3894.56 c | 2365295 | 28444 162924 551219 | 1 258894 54 | 0.291 % | 3894.58/3894.56 c | 2366503 | 28444 162924 551219 | 1 260102 55 | 0.291 % | 3894.58/3894.56 c | 2368018 | 28444 162924 551219 | 1 261617 55 | 0.291 % | 3894.58/3894.56 c | 2368396 | 28444 162924 551219 | 1 261995 55 | 0.291 % | 3894.58/3894.56 c | 2368497 | 28444 162924 551219 | 1 262096 55 | 0.291 % | 3894.58/3894.56 c | 2370987 | 28444 162924 551219 | 1 264586 56 | 0.291 % | 3894.58/3894.56 c | 2371219 | 28444 162924 551219 | 1 264818 56 | 0.291 % | 3894.58/3894.56 c | 2373457 | 28444 162924 551219 | 1 267056 56 | 0.291 % | 3894.58/3894.56 c | 2373559 | 28444 162924 551219 | 1 267158 56 | 0.291 % | 3894.58/3894.56 c | 2375751 | 28444 162924 551219 | 1 269350 57 | 0.291 % | 3894.58/3894.56 c | 2376154 | 28444 162924 551219 | 1 269753 57 | 0.291 % | 3894.58/3894.56 c | 2377375 | 28444 162924 551219 | 1 270974 57 | 0.291 % | 3894.58/3894.56 c | 2382968 | 28444 162924 551219 | 1 276567 58 | 0.291 % | 3894.58/3894.56 c | 2385289 | 28444 162924 551219 | 1 278888 59 | 0.291 % | 3894.58/3894.56 c | 2386143 | 28444 162924 551219 | 1 279742 59 | 0.291 % | 3894.58/3894.56 c | 2389464 | 28444 162924 551219 | 1 283063 60 | 0.291 % | 3894.58/3894.56 c | 2397399 | 28444 162924 551219 | 1 290998 60 | 0.291 % | 3894.58/3894.56 c | 2398503 | 28444 162924 551219 | 1 292102 60 | 0.291 % | 3894.58/3894.56 c | 2399653 | 28444 162924 551219 | 1 293252 60 | 0.291 % | 3894.58/3894.56 c | 2403128 | 28444 162924 551219 | 1 296727 61 | 0.291 % | 3894.58/3894.56 c | 2403529 | 28444 162924 551219 | 1 297128 61 | 0.291 % | 3894.58/3894.56 c | 2405805 | 28444 162924 551219 | 1 299404 61 | 0.291 % | 3894.58/3894.56 c | 2406927 | 28444 162924 551219 | 1 300526 62 | 0.291 % | 3894.58/3894.56 c | 2409113 | 28444 162924 551219 | 1 302712 62 | 0.291 % | 3894.58/3894.56 c | 2413572 | 28444 162924 551219 | 1 307171 63 | 0.291 % | 3894.58/3894.56 c | 2414713 | 28444 162924 551219 | 1 308312 63 | 0.291 % | 3894.58/3894.56 c | 2418073 | 28444 162924 551219 | 1 311672 64 | 0.291 % | 3894.58/3894.56 c | 2418185 | 28444 162924 551219 | 1 311784 64 | 0.291 % | 3894.58/3894.56 c | 2419150 | 28444 162924 551219 | 1 312749 64 | 0.291 % | 3894.58/3894.56 c | 2427912 | 28444 162924 551219 | 1 321511 65 | 0.291 % | 3894.58/3894.56 c | 2430483 | 28444 162924 551219 | 1 185623 24 | 0.291 % | 3894.58/3894.56 c | 2431972 | 28444 162924 551219 | 1 187112 24 | 0.291 % | 3894.58/3894.56 c | 2435578 | 28444 162924 551219 | 1 190718 26 | 0.291 % | 3894.58/3894.56 c | 2435679 | 28444 162924 551219 | 1 190819 26 | 0.291 % | 4066.28/4066.29 c | 2436055 | 28444 162924 551219 | 1 191195 26 | 0.291 % | 4066.28/4066.29 c | 2439738 | 28444 162924 551219 | 1 194878 28 | 0.291 % | 4066.28/4066.29 c | 2440125 | 28444 162924 551219 | 1 195265 28 | 0.291 % | 4066.28/4066.29 c | 2442427 | 28444 162924 551219 | 1 197567 29 | 0.291 % | 4066.28/4066.29 c | 2444633 | 28444 162924 551219 | 1 199773 30 | 0.291 % | 4066.28/4066.29 c | 2447224 | 28444 162924 551219 | 1 202364 31 | 0.291 % | 4066.28/4066.29 c | 2449517 | 28444 162924 551219 | 1 204657 32 | 0.291 % | 4066.28/4066.29 c | 2450445 | 28444 162924 551219 | 1 205585 33 | 0.291 % | 4066.28/4066.29 c | 2455967 | 28444 162924 551219 | 1 211107 34 | 0.291 % | 4066.28/4066.29 c | 2456564 | 28444 162924 551219 | 1 211704 34 | 0.291 % | 4066.28/4066.29 c | 2457083 | 28444 162924 551219 | 1 212223 34 | 0.291 % | 4066.28/4066.29 c | 2457183 | 28444 162924 551219 | 1 212323 34 | 0.291 % | 4066.28/4066.29 c | 2458161 | 28444 162924 551219 | 1 213301 34 | 0.291 % | 4066.28/4066.29 c | 2459345 | 28444 162924 551219 | 1 214485 35 | 0.291 % | 4066.28/4066.29 c | 2461656 | 28444 162924 551219 | 1 216796 35 | 0.291 % | 4066.28/4066.29 c | 2463144 | 28444 162924 551219 | 1 218284 36 | 0.291 % | 4066.28/4066.29 c | 2465470 | 28444 162924 551219 | 1 220610 37 | 0.291 % | 4066.28/4066.29 c | 2465684 | 28444 162924 551219 | 1 220824 37 | 0.291 % | 4066.28/4066.29 c | 2466807 | 28444 162924 551219 | 1 221947 37 | 0.291 % | 4066.28/4066.29 c | 2468329 | 28444 162924 551219 | 1 223469 38 | 0.291 % | 4066.28/4066.29 c | 2470615 | 28444 162924 551219 | 1 225755 39 | 0.291 % | 4066.28/4066.29 c | 2478481 | 28444 162924 551219 | 1 233621 41 | 0.291 % | 4066.28/4066.29 c | 2481758 | 28444 162924 551219 | 1 236898 42 | 0.291 % | 4066.28/4066.29 c | 2481917 | 28444 162924 551219 | 1 237057 42 | 0.291 % | 4066.28/4066.29 c | 2483701 | 28444 162924 551219 | 1 238841 42 | 0.291 % | 4066.28/4066.29 c | 2484283 | 28444 162924 551219 | 1 239423 42 | 0.291 % | 4066.28/4066.29 c | 2485333 | 28444 162924 551219 | 1 240473 43 | 0.291 % | 4066.28/4066.29 c | 2486496 | 28444 162924 551219 | 1 241636 43 | 0.291 % | 4066.28/4066.29 c | 2488318 | 28444 162924 551219 | 1 243458 43 | 0.291 % | 4066.28/4066.29 c | 2489524 | 28444 162924 551219 | 1 244664 44 | 0.291 % | 4066.28/4066.29 c | 2491801 | 28444 162924 551219 | 1 246941 44 | 0.291 % | 4066.28/4066.29 c | 2493292 | 28444 162924 551219 | 1 248432 45 | 0.291 % | 4066.28/4066.29 c | 2496057 | 28444 162924 551219 | 1 251197 46 | 0.291 % | 4066.28/4066.29 c | 2498305 | 28444 162924 551219 | 1 253445 46 | 0.291 % | 4066.28/4066.29 c | 2499156 | 28444 162924 551219 | 1 254296 46 | 0.291 % | 4066.28/4066.29 c | 2501379 | 28444 162924 551219 | 1 256519 47 | 0.291 % | 4066.28/4066.29 c | 2502702 | 28444 162924 551219 | 1 257842 47 | 0.291 % | 4066.28/4066.29 c | 2504809 | 28444 162924 551219 | 1 259949 48 | 0.291 % | 4066.28/4066.29 c | 2507984 | 28444 162924 551219 | 1 263124 49 | 0.291 % | 4066.28/4066.29 c | 2510031 | 28444 162924 551219 | 1 265171 49 | 0.291 % | 4066.28/4066.29 c | 2511215 | 28444 162924 551219 | 1 266355 49 | 0.291 % | 4066.28/4066.29 c | 2513430 | 28444 162924 551219 | 1 268570 50 | 0.291 % | 4066.28/4066.29 c | 2514572 | 28444 162924 551219 | 1 269712 50 | 0.291 % | 4066.28/4066.29 c | 2515762 | 28444 162924 551219 | 1 270902 50 | 0.291 % | 4066.28/4066.29 c | 2516956 | 28444 162924 551219 | 1 272096 51 | 0.291 % | 4066.28/4066.29 c | 2519061 | 28444 162924 551219 | 1 274201 51 | 0.291 % | 4066.28/4066.29 c | 2519665 | 28444 162924 551219 | 1 274805 51 | 0.291 % | 4066.28/4066.29 c | 2523402 | 28444 162924 551219 | 1 278542 52 | 0.291 % | 4066.28/4066.29 c | 2523807 | 28444 162924 551219 | 1 278947 52 | 0.291 % | 4066.28/4066.29 c | 2527363 | 28444 162924 551219 | 1 282503 53 | 0.291 % | 4247.89/4247.82 c | 2528258 | 28444 162924 551219 | 1 283398 53 | 0.291 % | 4247.89/4247.82 c | 2529439 | 28444 162924 551219 | 1 284579 53 | 0.291 % | 4247.89/4247.82 c | 2530994 | 28444 162924 551219 | 1 286134 53 | 0.291 % | 4247.89/4247.82 c | 2531599 | 28444 162924 551219 | 1 286739 54 | 0.291 % | 4247.89/4247.82 c | 2534793 | 28444 162924 551219 | 1 289933 54 | 0.291 % | 4247.89/4247.82 c | 2535318 | 28444 162924 551219 | 1 290458 54 | 0.291 % | 4247.89/4247.82 c | 2538641 | 28444 162924 551219 | 1 293781 55 | 0.291 % | 4247.89/4247.82 c | 2539698 | 28444 162924 551219 | 1 294838 55 | 0.291 % | 4247.89/4247.82 c | 2540027 | 28444 162924 551219 | 1 295167 55 | 0.291 % | 4247.89/4247.82 c | 2542217 | 28444 162924 551219 | 1 297357 56 | 0.291 % | 4247.89/4247.82 c | 2544452 | 28444 162924 551219 | 1 299592 56 | 0.291 % | 4247.89/4247.82 c | 2549666 | 28444 162924 551219 | 1 304806 57 | 0.291 % | 4247.89/4247.82 c | 2550518 | 28444 162924 551219 | 1 305658 57 | 0.291 % | 4247.89/4247.82 c | 2552670 | 28444 162924 551219 | 1 307810 58 | 0.291 % | 4247.89/4247.82 c | 2552771 | 28444 162924 551219 | 1 307911 58 | 0.291 % | 4247.89/4247.82 c | 2553836 | 28444 162924 551219 | 1 308976 58 | 0.291 % | 4247.89/4247.82 c | 2554375 | 28444 162924 551219 | 1 309515 58 | 0.291 % | 4247.89/4247.82 c | 2556327 | 28444 162924 551219 | 1 311467 58 | 0.291 % | 4247.89/4247.82 c | 2558077 | 28444 162924 551219 | 1 313217 59 | 0.291 % | 4247.89/4247.82 c | 2570736 | 28444 162924 551219 | 1 325876 60 | 0.291 % | 4247.89/4247.82 c | 2571975 | 28444 162924 551219 | 1 327115 60 | 0.291 % | 4247.89/4247.82 c | 2574073 | 28444 162924 551219 | 1 329213 60 | 0.291 % | 4247.89/4247.82 c | 2574656 | 28444 162924 551219 | 1 329796 61 | 0.291 % | 4247.89/4247.82 c | 2575820 | 28444 162924 551219 | 1 330960 61 | 0.291 % | 4247.89/4247.82 c | 2577733 | 28444 162924 551219 | 1 332873 61 | 0.291 % | 4247.89/4247.82 c | 2580015 | 28444 162924 551219 | 1 335155 61 | 0.291 % | 4247.89/4247.82 c | 2582563 | 28444 162924 551219 | 1 337703 62 | 0.291 % | 4247.89/4247.82 c | 2582785 | 28444 162924 551219 | 1 191783 23 | 0.291 % | 4247.89/4247.82 c | 2584163 | 28444 162924 551219 | 1 193161 24 | 0.291 % | 4247.89/4247.82 c | 2585015 | 28444 162924 551219 | 1 194013 24 | 0.291 % | 4247.89/4247.82 c | 2588155 | 28444 162924 551219 | 1 197153 25 | 0.291 % | 4247.89/4247.82 c | 2591435 | 28444 162924 551219 | 1 200433 27 | 0.291 % | 4247.89/4247.82 c | 2591536 | 28444 162924 551219 | 1 200534 27 | 0.291 % | 4247.89/4247.82 c | 2592290 | 28444 162924 551219 | 1 201288 27 | 0.291 % | 4247.89/4247.82 c | 2594898 | 28444 162924 551219 | 1 203896 28 | 0.291 % | 4247.89/4247.82 c | 2597446 | 28444 162924 551219 | 1 206444 29 | 0.291 % | 4247.89/4247.82 c | 2597546 | 28444 162924 551219 | 1 206544 29 | 0.291 % | 4247.89/4247.82 c | 2602311 | 28444 162924 551219 | 1 211309 31 | 0.291 % | 4247.89/4247.82 c | 2604375 | 28444 162924 551219 | 1 213373 32 | 0.291 % | 4247.89/4247.82 c | 2605274 | 28444 162924 551219 | 1 214272 32 | 0.291 % | 4247.89/4247.82 c | 2606235 | 28444 162924 551219 | 1 215233 33 | 0.291 % | 4247.89/4247.82 c | 2608617 | 28444 162924 551219 | 1 217615 34 | 0.291 % | 4247.89/4247.82 c | 2611415 | 28444 162924 551219 | 1 220413 35 | 0.291 % | 4247.89/4247.82 c | 2611517 | 28444 162924 551219 | 1 220515 35 | 0.291 % | 4247.89/4247.82 c | 2612597 | 28444 162924 551219 | 1 221595 35 | 0.291 % | 4247.89/4247.82 c | 2614999 | 28444 162924 551219 | 1 223997 36 | 0.291 % | 4247.89/4247.82 c | 2616082 | 28444 162924 551219 | 1 225080 36 | 0.291 % | 4247.89/4247.82 c | 2616232 | 28444 162924 551219 | 1 225230 36 | 0.291 % | 4247.89/4247.82 c | 2618495 | 28444 162924 551219 | 1 227493 37 | 0.291 % | 4247.89/4247.82 c | 2620460 | 28444 162924 551219 | 1 229458 38 | 0.291 % | 4412.29/4412.21 c | 2621529 | 28444 162924 551219 | 1 230527 38 | 0.291 % | 4412.29/4412.21 c | 2623444 | 28444 162924 551219 | 1 232442 39 | 0.291 % | 4412.29/4412.21 c | 2625976 | 28444 162924 551219 | 1 234974 39 | 0.291 % | 4412.29/4412.21 c | 2626978 | 28444 162924 551219 | 1 235976 40 | 0.291 % | 4412.29/4412.21 c | 2629317 | 28444 162924 551219 | 1 238315 40 | 0.291 % | 4412.29/4412.21 c | 2629496 | 28444 162924 551219 | 1 238494 40 | 0.291 % | 4412.29/4412.21 c | 2631095 | 28444 162924 551219 | 1 240093 41 | 0.291 % | 4412.29/4412.21 c | 2633144 | 28444 162924 551219 | 1 242142 41 | 0.291 % | 4412.29/4412.21 c | 2633915 | 28444 162924 551219 | 1 242913 41 | 0.291 % | 4412.29/4412.21 c | 2640203 | 28444 162924 551219 | 1 249201 43 | 0.291 % | 4412.29/4412.21 c | 2641456 | 28444 162924 551219 | 1 250454 44 | 0.291 % | 4412.29/4412.21 c | 2643498 | 28444 162924 551219 | 1 252496 44 | 0.291 % | 4412.29/4412.21 c | 2644196 | 28444 162924 551219 | 1 253194 44 | 0.291 % | 4412.29/4412.21 c | 2645153 | 28444 162924 551219 | 1 254151 45 | 0.291 % | 4412.29/4412.21 c | 2646337 | 28444 162924 551219 | 1 255335 45 | 0.291 % | 4412.29/4412.21 c | 2649417 | 28444 162924 551219 | 1 258415 46 | 0.291 % | 4412.29/4412.21 c | 2651907 | 28444 162924 551219 | 1 260905 46 | 0.291 % | 4412.29/4412.21 c | 2652846 | 28444 162924 551219 | 1 261844 47 | 0.291 % | 4412.29/4412.21 c | 2654709 | 28444 162924 551219 | 1 263707 47 | 0.291 % | 4412.29/4412.21 c | 2655495 | 28444 162924 551219 | 1 264493 47 | 0.291 % | 4412.29/4412.21 c | 2655741 | 28444 162924 551219 | 1 264739 47 | 0.291 % | 4412.29/4412.21 c | 2656832 | 28444 162924 551219 | 1 265830 47 | 0.291 % | 4412.29/4412.21 c | 2659833 | 28444 162924 551219 | 1 268831 48 | 0.291 % | 4412.29/4412.21 c | 2659933 | 28444 162924 551219 | 1 268931 48 | 0.291 % | 4412.29/4412.21 c | 2661189 | 28444 162924 551219 | 1 270187 49 | 0.291 % | 4412.29/4412.21 c | 2664818 | 28444 162924 551219 | 1 273816 49 | 0.291 % | 4412.29/4412.21 c | 2666352 | 28444 162924 551219 | 1 275350 50 | 0.291 % | 4412.29/4412.21 c | 2667344 | 28444 162924 551219 | 1 276342 50 | 0.291 % | 4412.29/4412.21 c | 2670169 | 28444 162924 551219 | 1 279167 51 | 0.291 % | 4412.29/4412.21 c | 2671186 | 28444 162924 551219 | 1 280184 51 | 0.291 % | 4412.29/4412.21 c | 2674294 | 28444 162924 551219 | 1 283292 51 | 0.291 % | 4412.29/4412.21 c | 2674599 | 28444 162924 551219 | 1 283597 52 | 0.291 % | 4412.29/4412.21 c | 2674708 | 28444 162924 551219 | 1 283706 52 | 0.291 % | 4412.29/4412.21 c | 2675048 | 28444 162924 551219 | 1 284046 52 | 0.291 % | 4412.29/4412.21 c | 2677026 | 28444 162924 551219 | 1 286024 52 | 0.291 % | 4412.29/4412.21 c | 2678833 | 28444 162924 551219 | 1 287831 52 | 0.291 % | 4412.29/4412.21 c | 2679768 | 28444 162924 551219 | 1 288766 53 | 0.291 % | 4412.29/4412.21 c | 2680941 | 28444 162924 551219 | 1 289939 53 | 0.291 % | 4412.29/4412.21 c | 2681942 | 28444 162924 551219 | 1 290940 53 | 0.291 % | 4412.29/4412.21 c | 2682644 | 28444 162924 551219 | 1 291642 53 | 0.291 % | 4412.29/4412.21 c | 2684437 | 28444 162924 551219 | 1 293435 54 | 0.291 % | 4412.29/4412.21 c | 2686717 | 28444 162924 551219 | 1 295715 54 | 0.291 % | 4412.29/4412.21 c | 2689150 | 28444 162924 551219 | 1 298148 55 | 0.291 % | 4412.29/4412.21 c | 2693334 | 28444 162924 551219 | 1 302332 56 | 0.291 % | 4412.29/4412.21 c | 2695102 | 28444 162924 551219 | 1 304100 56 | 0.291 % | 4412.29/4412.21 c | 2696930 | 28442 162917 551198 | 1 305927 56 | 0.298 % | 4412.29/4412.21 c | 2700855 | 28442 162917 551198 | 1 309852 57 | 0.298 % | 4412.29/4412.21 c | 2700957 | 28442 162917 551198 | 1 309954 57 | 0.298 % | 4412.29/4412.21 c | 2705132 | 28441 162915 551192 | 1 314128 56 | 0.301 % | 4412.29/4412.21 c | 2706862 | 28441 162915 551192 | 1 315858 57 | 0.301 % | 4580.00/4579.99 c | 2709989 | 28441 162915 551192 | 1 318985 57 | 0.301 % | 4580.00/4579.99 c | 2710919 | 28441 162915 551192 | 1 319915 57 | 0.301 % | 4580.00/4579.99 c | 2713371 | 28441 162915 551192 | 1 322367 57 | 0.301 % | 4580.00/4579.99 c | 2714603 | 28441 162915 551192 | 1 323599 58 | 0.301 % | 4580.00/4579.99 c | 2715458 | 28441 162915 551192 | 1 324454 58 | 0.301 % | 4580.00/4579.99 c | 2716245 | 28441 162915 551192 | 1 325241 58 | 0.301 % | 4580.00/4579.99 c | 2718789 | 28441 162915 551192 | 1 327785 58 | 0.301 % | 4580.00/4579.99 c | 2719718 | 28441 162915 551192 | 1 328714 58 | 0.301 % | 4580.00/4579.99 c | 2719818 | 28441 162915 551192 | 1 328814 58 | 0.301 % | 4580.00/4579.99 c | 2721880 | 28441 162915 551192 | 1 330876 59 | 0.301 % | 4580.00/4579.99 c | 2723577 | 28441 162915 551192 | 1 332573 59 | 0.301 % | 4580.00/4579.99 c | 2725674 | 28441 162915 551192 | 1 334670 59 | 0.301 % | 4580.00/4579.99 c | 2727375 | 28441 162915 551192 | 1 336371 59 | 0.301 % | 4580.00/4579.99 c | 2729784 | 28441 162915 551192 | 1 338780 60 | 0.301 % | 4580.00/4579.99 c | 2729927 | 28441 162915 551192 | 1 338923 60 | 0.301 % | 4580.00/4579.99 c | 2732528 | 28441 162915 551192 | 1 341524 60 | 0.301 % | 4580.00/4579.99 c | 2732750 | 28441 162915 551192 | 1 341746 60 | 0.301 % | 4580.00/4579.99 c | 2733520 | 28441 162915 551192 | 1 342516 60 | 0.301 % | 4580.00/4579.99 c | 2735801 | 28441 162915 551192 | 1 344797 60 | 0.301 % | 4580.00/4579.99 c | 2739870 | 28441 162915 551192 | 1 198576 23 | 0.301 % | 4580.00/4579.99 c | 2742837 | 28441 162915 551192 | 1 201543 24 | 0.301 % | 4580.00/4579.99 c | 2747904 | 28441 162915 551192 | 1 206610 26 | 0.301 % | 4580.00/4579.99 c | 2748005 | 28441 162915 551192 | 1 206711 26 | 0.301 % | 4580.00/4579.99 c | 2748105 | 28441 162915 551192 | 1 206811 26 | 0.301 % | 4580.00/4579.99 c | 2749857 | 28441 162915 551192 | 1 208563 27 | 0.301 % | 4580.00/4579.99 c | 2751735 | 28441 162915 551192 | 1 210441 27 | 0.301 % | 4580.00/4579.99 c | 2751835 | 28441 162915 551192 | 1 210541 27 | 0.301 % | 4580.00/4579.99 c | 2752984 | 28441 162915 551192 | 1 211690 28 | 0.301 % | 4580.00/4579.99 c | 2761277 | 28441 162915 551192 | 1 219983 29 | 0.301 % | 4580.00/4579.99 c | 2767924 | 28441 162915 551192 | 1 226630 30 | 0.301 % | 4580.00/4579.99 c | 2769267 | 28441 162915 551192 | 1 227973 31 | 0.301 % | 4580.00/4579.99 c | 2771817 | 28441 162915 551192 | 1 230523 31 | 0.301 % | 4580.00/4579.99 c | 2772135 | 28441 162915 551192 | 1 230841 31 | 0.301 % | 4580.00/4579.99 c | 2773371 | 28441 162915 551192 | 1 232077 32 | 0.301 % | 4580.00/4579.99 c | 2775718 | 28441 162915 551192 | 1 234424 32 | 0.301 % | 4580.00/4579.99 c | 2776355 | 28441 162915 551192 | 1 235061 32 | 0.301 % | 4580.00/4579.99 c | 2777167 | 28441 162915 551192 | 1 235873 33 | 0.301 % | 4580.00/4579.99 c | 2777773 | 28441 162915 551192 | 1 236479 33 | 0.301 % | 4580.00/4579.99 c | 2780057 | 28441 162915 551192 | 1 238763 33 | 0.301 % | 4580.00/4579.99 c | 2780862 | 28441 162915 551192 | 1 239568 33 | 0.301 % | 4580.00/4579.99 c | 2781066 | 28441 162915 551192 | 1 239772 33 | 0.301 % | 4580.00/4579.99 c | 2782838 | 28441 162915 551192 | 1 241544 34 | 0.301 % | 4580.00/4579.99 c | 2783801 | 28441 162915 551192 | 1 242507 34 | 0.301 % | 4580.00/4579.99 c | 2785045 | 28441 162915 551192 | 1 243751 34 | 0.301 % | 4580.00/4579.99 c | 2786651 | 28441 162915 551192 | 1 245357 35 | 0.301 % | 4580.00/4579.99 c | 2787648 | 28441 162915 551192 | 1 246354 35 | 0.301 % | 4580.00/4579.99 c | 2787770 | 28441 162915 551192 | 1 246476 35 | 0.301 % | 4580.00/4579.99 c | 2788596 | 28441 162915 551192 | 1 247302 35 | 0.301 % | 4580.00/4579.99 c | 2790192 | 28441 162915 551192 | 1 248898 36 | 0.301 % | 4580.00/4579.99 c | 2790431 | 28441 162915 551192 | 1 249137 36 | 0.301 % | 4724.00/4723.92 c | 2792296 | 28441 162915 551192 | 1 251002 36 | 0.301 % | 4724.00/4723.92 c | 2792541 | 28441 162915 551192 | 1 251247 36 | 0.301 % | 4724.00/4723.92 c | 2793942 | 28441 162915 551192 | 1 252648 36 | 0.301 % | 4724.00/4723.92 c | 2794045 | 28441 162915 551192 | 1 252751 36 | 0.301 % | 4724.00/4723.92 c | 2796412 | 28441 162915 551192 | 1 255118 37 | 0.301 % | 4724.00/4723.92 c | 2798706 | 28441 162915 551192 | 1 257412 37 | 0.301 % | 4724.00/4723.92 c | 2800974 | 28441 162915 551192 | 1 259680 38 | 0.301 % | 4724.00/4723.92 c | 2802068 | 28441 162915 551192 | 1 260774 38 | 0.301 % | 4724.00/4723.92 c | 2803664 | 28441 162915 551192 | 1 262370 39 | 0.301 % | 4724.00/4723.92 c | 2803969 | 28441 162915 551192 | 1 262675 39 | 0.301 % | 4724.00/4723.92 c | 2804098 | 28441 162915 551192 | 1 262804 39 | 0.301 % | 4724.00/4723.92 c | 2804928 | 28441 162915 551192 | 1 263634 39 | 0.301 % | 4724.00/4723.92 c | 2810486 | 28441 162915 551192 | 1 269192 40 | 0.301 % | 4724.00/4723.92 c | 2811293 | 28441 162915 551192 | 1 269999 40 | 0.301 % | 4724.00/4723.92 c | 2812343 | 28441 162915 551192 | 1 271049 40 | 0.301 % | 4724.00/4723.92 c | 2813770 | 28441 162915 551192 | 1 272476 41 | 0.301 % | 4724.00/4723.92 c | 2814061 | 28441 162915 551192 | 1 272767 41 | 0.301 % | 4724.00/4723.92 c | 2815916 | 28441 162915 551192 | 1 274622 41 | 0.301 % | 4724.00/4723.92 c | 2819391 | 28441 162915 551192 | 1 278097 42 | 0.301 % | 4724.00/4723.92 c | 2821578 | 28441 162915 551192 | 1 280284 42 | 0.301 % | 4724.00/4723.92 c | 2823988 | 28441 162915 551192 | 1 282694 43 | 0.301 % | 4724.00/4723.92 c | 2824088 | 28441 162915 551192 | 1 282794 42 | 0.301 % | 4724.00/4723.92 c | 2825443 | 28441 162915 551192 | 1 284149 43 | 0.301 % | 4724.00/4723.92 c | 2827850 | 28441 162915 551192 | 1 286556 43 | 0.301 % | 4724.00/4723.92 c | 2828572 | 28441 162915 551192 | 1 287278 43 | 0.301 % | 4724.00/4723.92 c | 2830082 | 28441 162915 551192 | 1 288788 44 | 0.301 % | 4724.00/4723.92 c | 2831490 | 28441 162915 551192 | 1 290196 44 | 0.301 % | 4724.00/4723.92 c | 2833644 | 28441 162915 551192 | 1 292350 44 | 0.301 % | 4724.00/4723.92 c | 2834051 | 28441 162915 551192 | 1 292757 44 | 0.301 % | 4724.00/4723.92 c | 2834609 | 28441 162915 551192 | 1 293315 44 | 0.301 % | 4724.00/4723.92 c | 2835908 | 28441 162915 551192 | 1 294614 45 | 0.301 % | 4724.00/4723.92 c | 2836746 | 28441 162915 551192 | 1 295452 45 | 0.301 % | 4724.00/4723.92 c | 2843294 | 28441 162915 551192 | 1 302000 45 | 0.301 % | 4724.00/4723.92 c | 2845078 | 28441 162915 551192 | 1 303784 46 | 0.301 % | 4724.00/4723.92 c | 2845778 | 28441 162915 551192 | 1 304484 46 | 0.301 % | 4724.00/4723.92 c | 2847554 | 28441 162915 551192 | 1 306260 46 | 0.301 % | 4724.00/4723.92 c | 2849019 | 28441 162915 551192 | 1 307725 47 | 0.301 % | 4724.00/4723.92 c | 2849841 | 28441 162915 551192 | 1 308547 47 | 0.301 % | 4724.00/4723.92 c | 2850466 | 28441 162915 551192 | 1 309172 47 | 0.301 % | 4724.00/4723.92 c | 2852449 | 28441 162915 551192 | 1 311155 47 | 0.301 % | 4724.00/4723.92 c | 2856947 | 28441 162915 551192 | 1 315653 47 | 0.301 % | 4724.00/4723.92 c | 2857214 | 28441 162915 551192 | 1 315920 47 | 0.301 % | 4724.00/4723.92 c | 2858001 | 28441 162915 551192 | 1 316707 47 | 0.301 % | 4724.00/4723.92 c | 2859269 | 28441 162915 551192 | 1 317975 47 | 0.301 % | 4724.00/4723.92 c | 2859501 | 28441 162915 551192 | 1 318207 47 | 0.301 % | 4724.00/4723.92 c | 2861959 | 28441 162915 551192 | 1 320665 48 | 0.301 % | 4724.00/4723.92 c | 2863141 | 28441 162915 551192 | 1 321847 48 | 0.301 % | 4724.00/4723.92 c | 2863780 | 28441 162915 551192 | 1 322486 48 | 0.301 % | 4724.00/4723.92 c | 2864397 | 28441 162915 551192 | 1 323103 48 | 0.301 % | 4724.00/4723.92 c | 2865237 | 28441 162915 551192 | 1 323943 48 | 0.301 % | 4833.11/4833.05 c | 2865996 | 28441 162915 551192 | 1 324702 48 | 0.301 % | 4833.11/4833.05 c | 2867318 | 28441 162915 551192 | 1 326024 48 | 0.301 % | 4833.11/4833.05 c | 2868076 | 28441 162915 551192 | 1 326782 48 | 0.301 % | 4833.11/4833.05 c | 2870286 | 28441 162915 551192 | 1 328992 49 | 0.301 % | 4833.11/4833.05 c | 2870919 | 28441 162915 551192 | 1 329625 49 | 0.301 % | 4833.11/4833.05 c | 2871061 | 28441 162915 551192 | 1 329767 49 | 0.301 % | 4833.11/4833.05 c | 2871957 | 28441 162915 551192 | 1 330663 49 | 0.301 % | 4833.11/4833.05 c | 2874107 | 28441 162915 551192 | 1 332813 49 | 0.301 % | 4833.11/4833.05 c | 2875081 | 28441 162915 551192 | 1 333787 49 | 0.301 % | 4833.11/4833.05 c | 2877241 | 28441 162915 551192 | 1 335947 50 | 0.301 % | 4833.11/4833.05 c | 2878581 | 28441 162915 551192 | 1 337287 50 | 0.301 % | 4833.11/4833.05 c | 2879113 | 28441 162915 551192 | 1 337819 50 | 0.301 % | 4833.11/4833.05 c | 2880309 | 28441 162915 551192 | 1 339015 50 | 0.301 % | 4833.11/4833.05 c | 2880562 | 28441 162915 551192 | 1 339268 50 | 0.301 % | 4833.11/4833.05 c | 2881316 | 28441 162915 551192 | 1 340022 50 | 0.301 % | 4833.11/4833.05 c | 2881996 | 28441 162915 551192 | 1 340702 50 | 0.301 % | 4833.11/4833.05 c | 2882695 | 28441 162915 551192 | 1 341401 50 | 0.301 % | 4833.11/4833.05 c | 2883504 | 28441 162915 551192 | 1 342210 50 | 0.301 % | 4833.11/4833.05 c | 2883605 | 28441 162915 551192 | 1 342311 50 | 0.301 % | 4833.11/4833.05 c | 2884477 | 28441 162915 551192 | 1 343183 50 | 0.301 % | 4833.11/4833.05 c | 2887080 | 28441 162915 551192 | 1 345786 51 | 0.301 % | 4833.11/4833.05 c | 2887897 | 28441 162915 551192 | 1 346603 51 | 0.301 % | 4833.11/4833.05 c | 2888530 | 28441 162915 551192 | 1 347236 51 | 0.301 % | 4833.11/4833.05 c | 2889055 | 28441 162915 551192 | 1 347761 51 | 0.301 % | 4833.11/4833.05 c | 2891992 | 28441 162915 551192 | 1 350698 51 | 0.301 % | 4833.11/4833.05 c | 2892719 | 28441 162915 551192 | 1 351425 51 | 0.301 % | 4833.11/4833.05 c | 2893407 | 28441 162915 551192 | 1 352113 51 | 0.301 % | 4833.11/4833.05 c | 2894185 | 28441 162915 551192 | 1 352891 51 | 0.301 % | 4833.11/4833.05 c | 2894633 | 28441 162915 551192 | 1 353339 51 | 0.301 % | 4833.11/4833.05 c | 2895924 | 28441 162915 551192 | 1 354630 51 | 0.301 % | 4833.11/4833.05 c | 2896337 | 28441 162915 551192 | 1 355043 51 | 0.301 % | 4833.11/4833.05 c | 2897572 | 28441 162915 551192 | 1 356278 51 | 0.301 % | 4833.11/4833.05 c | 2899201 | 28441 162915 551192 | 1 357907 52 | 0.301 % | 4833.11/4833.05 c | 2900348 | 28441 162915 551192 | 1 359054 52 | 0.301 % | 4833.11/4833.05 c | 2900942 | 28441 162915 551192 | 1 359648 52 | 0.301 % | 4833.11/4833.05 c | 2902263 | 28441 162915 551192 | 1 209353 23 | 0.301 % | 4833.11/4833.05 c | 2903134 | 28441 162915 551192 | 1 210224 23 | 0.301 % | 4833.11/4833.05 c | 2903834 | 28441 162915 551192 | 1 210924 23 | 0.301 % | 4833.11/4833.05 c | 2905394 | 28441 162915 551192 | 1 212484 24 | 0.301 % | 4833.11/4833.05 c | 2906747 | 28441 162915 551192 | 1 213837 24 | 0.301 % | 4833.11/4833.05 c | 2908815 | 28441 162915 551192 | 1 215905 25 | 0.301 % | 4833.11/4833.05 c | 2909738 | 28441 162915 551192 | 1 216828 25 | 0.301 % | 4833.11/4833.05 c | 2911249 | 28441 162915 551192 | 1 218339 25 | 0.301 % | 4833.11/4833.05 c | 2912177 | 28441 162915 551192 | 1 219267 26 | 0.301 % | 4833.11/4833.05 c | 2913795 | 28441 162915 551192 | 1 220885 26 | 0.301 % | 4833.11/4833.05 c | 2916369 | 28441 162915 551192 | 1 223459 27 | 0.301 % | 4833.11/4833.05 c | 2917809 | 28441 162915 551192 | 1 224899 27 | 0.301 % | 4833.11/4833.05 c | 2921703 | 28441 162915 551192 | 1 228793 28 | 0.301 % | 4833.11/4833.05 c | 2922624 | 28441 162915 551192 | 1 229714 28 | 0.301 % | 4833.11/4833.05 c | 2924049 | 28441 162915 551192 | 1 231139 29 | 0.301 % | 4940.11/4940.09 c | 2924913 | 28441 162915 551192 | 1 232003 29 | 0.301 % | 4940.11/4940.09 c | 2926265 | 28441 162915 551192 | 1 233355 29 | 0.301 % | 4940.11/4940.09 c | 2927733 | 28441 162915 551192 | 1 234823 30 | 0.301 % | 4940.11/4940.09 c | 2928468 | 28441 162915 551192 | 1 235558 30 | 0.301 % | 4940.11/4940.09 c | 2929155 | 28441 162915 551192 | 1 236245 30 | 0.301 % | 4940.11/4940.09 c | 2931179 | 28441 162915 551192 | 1 238269 30 | 0.301 % | 4940.11/4940.09 c | 2939185 | 28441 162915 551192 | 1 246275 32 | 0.301 % | 4940.11/4940.09 c | 2940420 | 28441 162915 551192 | 1 247510 32 | 0.301 % | 4940.11/4940.09 c | 2941178 | 28441 162915 551192 | 1 248268 32 | 0.301 % | 4940.11/4940.09 c | 2942488 | 28441 162915 551192 | 1 249578 33 | 0.301 % | 4940.11/4940.09 c | 2942588 | 28441 162915 551192 | 1 249678 33 | 0.301 % | 4940.11/4940.09 c | 2945099 | 28441 162915 551192 | 1 252189 33 | 0.301 % | 4940.11/4940.09 c | 2946234 | 28441 162915 551192 | 1 253324 33 | 0.301 % | 4940.11/4940.09 c | 2946834 | 28441 162915 551192 | 1 253924 33 | 0.301 % | 4940.11/4940.09 c | 2948128 | 28441 162915 551192 | 1 255218 33 | 0.301 % | 4940.11/4940.09 c | 2948234 | 28441 162915 551192 | 1 255324 33 | 0.301 % | 4940.11/4940.09 c | 2948338 | 28441 162915 551192 | 1 255428 33 | 0.301 % | 4940.11/4940.09 c | 2949638 | 28441 162915 551192 | 1 256728 34 | 0.301 % | 4940.11/4940.09 c | 2951454 | 28441 162915 551192 | 1 258544 34 | 0.301 % | 4940.11/4940.09 c | 2952046 | 28441 162915 551192 | 1 259136 34 | 0.301 % | 4940.11/4940.09 c | 2952176 | 28441 162915 551192 | 1 259266 34 | 0.301 % | 4940.11/4940.09 c | 2952855 | 28441 162915 551192 | 1 259945 34 | 0.301 % | 4940.11/4940.09 c | 2953900 | 28441 162915 551192 | 1 260990 34 | 0.301 % | 4940.11/4940.09 c | 2955883 | 28441 162915 551192 | 1 262973 35 | 0.301 % | 4940.11/4940.09 c | 2956548 | 28441 162915 551192 | 1 263638 35 | 0.301 % | 4940.11/4940.09 c | 2957543 | 28441 162915 551192 | 1 264633 35 | 0.301 % | 4940.11/4940.09 c | 2959477 | 28441 162915 551192 | 1 266567 36 | 0.301 % | 4940.11/4940.09 c | 2961266 | 28441 162915 551192 | 1 268356 36 | 0.301 % | 4940.11/4940.09 c | 2963077 | 28441 162915 551192 | 1 270167 36 | 0.301 % | 4940.11/4940.09 c | 2963177 | 28441 162915 551192 | 1 270267 36 | 0.301 % | 4940.11/4940.09 c | 2963277 | 28441 162915 551192 | 1 270367 36 | 0.301 % | 4940.11/4940.09 c | 2964492 | 28441 162915 551192 | 1 271582 37 | 0.301 % | 4940.11/4940.09 c | 2965809 | 28441 162915 551192 | 1 272899 37 | 0.301 % | 4940.11/4940.09 c | 2965909 | 28441 162915 551192 | 1 272999 37 | 0.301 % | 4940.11/4940.09 c | 2966942 | 28441 162915 551192 | 1 274032 37 | 0.301 % | 4940.11/4940.09 c | 2967351 | 28441 162915 551192 | 1 274441 37 | 0.301 % | 4940.11/4940.09 c | 2969324 | 28441 162915 551192 | 1 276414 37 | 0.301 % | 4940.11/4940.09 c | 2969464 | 28441 162915 551192 | 1 276554 37 | 0.301 % | 4940.11/4940.09 c | 2971601 | 28441 162915 551192 | 1 278691 38 | 0.301 % | 4940.11/4940.09 c | 2972778 | 28441 162915 551192 | 1 279868 38 | 0.301 % | 4940.11/4940.09 c | 2972902 | 28441 162915 551192 | 1 279992 38 | 0.301 % | 4940.11/4940.09 c | 2974519 | 28441 162915 551192 | 1 281609 38 | 0.301 % | 4940.11/4940.09 c | 2974680 | 28441 162915 551192 | 1 281770 38 | 0.301 % | 4940.11/4940.09 c | 2976022 | 28441 162915 551192 | 1 283112 38 | 0.301 % | 4940.11/4940.09 c | 2976919 | 28441 162915 551192 | 1 284009 38 | 0.301 % | 4940.11/4940.09 c | 2977044 | 28441 162915 551192 | 1 284134 38 | 0.301 % | 4940.11/4940.09 c | 2977338 | 28441 162915 551192 | 1 284428 38 | 0.301 % | 4940.11/4940.09 c | 2978475 | 28441 162915 551192 | 1 285565 39 | 0.301 % | 4940.11/4940.09 c | 2980511 | 28441 162915 551192 | 1 287601 39 | 0.301 % | 4940.11/4940.09 c | 2981909 | 28441 1
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-3303735-1303904332/watcher-3303735-1303904332 -o /tmp/evaluation-result-3303735-1303904332/solver-3303735-1303904332 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303735-1303904332.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 2/172 7400 /proc/meminfo: memFree=12681424/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 482849515 8912896 252 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7400/statm: 2176 252 211 178 0 69 0 [startup+0.059519 s] /proc/loadavg: 2.00 2.00 1.95 2/172 7400 /proc/meminfo: memFree=12681424/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 482849515 8912896 252 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7400/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100541 s] /proc/loadavg: 2.00 2.00 1.95 2/172 7400 /proc/meminfo: memFree=12681424/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 482849515 8912896 252 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7400/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300482 s] /proc/loadavg: 2.00 2.00 1.95 2/172 7400 /proc/meminfo: memFree=12681424/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 482849515 8912896 252 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/7400/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700407 s] /proc/loadavg: 2.00 2.00 1.95 2/172 7400 /proc/meminfo: memFree=12681424/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 8704 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7415 /proc/meminfo: memFree=12643548/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=30792 CPUtime=0.91 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 4408 0 0 0 91 0 0 0 25 0 1 0 482849573 31531008 4155 33554432000 4194304 4260849 140734703786592 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 7698 4155 240 17 0 4339 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 39496 [startup+3.10099 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7415 /proc/meminfo: memFree=12641812/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=31188 CPUtime=2.52 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 4653 0 0 0 251 1 0 0 25 0 1 0 482849573 31936512 4395 33554432000 4194304 4260849 140734703786592 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 7797 4395 240 17 0 4438 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 39892 [startup+6.30037 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7415 /proc/meminfo: memFree=12639084/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=31576 CPUtime=5.72 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 6130 0 0 0 571 1 0 0 25 0 1 0 482849573 32333824 4385 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 7894 4385 251 17 0 4535 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 40280 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7415 /proc/meminfo: memFree=12636780/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=34680 CPUtime=12.11 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 6896 0 0 0 1210 1 0 0 25 0 1 0 482849573 35512320 5146 33554432000 4194304 4260849 140734703786592 18446744073709551615 4209925 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 8670 5146 251 17 0 5311 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 43384 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7416 /proc/meminfo: memFree=12618800/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=53376 CPUtime=24.92 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 12298 0 0 0 2489 3 0 0 25 0 1 0 482849573 54657024 8396 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 13344 8396 251 17 0 9985 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62080 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7416 /proc/meminfo: memFree=12603800/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=64872 CPUtime=50.52 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 14232 0 0 0 5049 3 0 0 25 0 1 0 482849573 66428928 10323 33554432000 4194304 4260849 140734703786592 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 16218 10323 251 17 0 12859 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73576 [startup+102.306 s] /proc/loadavg: 2.08 2.02 1.95 3/180 7418 /proc/meminfo: memFree=12605144/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=60564 CPUtime=101.72 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 18543 0 0 0 10169 3 0 0 25 0 1 0 482849573 62017536 10650 33554432000 4194304 4260849 140734703786592 18446744073709551615 4209245 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 15141 10650 252 17 0 11782 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 69268 [startup+162.301 s] /proc/loadavg: 2.03 2.01 1.95 3/180 7419 /proc/meminfo: memFree=12598428/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=65164 CPUtime=161.72 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 24443 0 0 0 16168 4 0 0 25 0 1 0 482849573 66727936 10136 33554432000 4194304 4260849 140734703786592 18446744073709551615 4225132 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 16291 10136 252 17 0 12932 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 73868 [startup+222.301 s] /proc/loadavg: 2.01 2.00 1.95 3/180 7421 /proc/meminfo: memFree=12580532/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=83840 CPUtime=221.72 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 33645 0 0 0 22167 5 0 0 25 0 1 0 482849573 85852160 13759 33554432000 4194304 4260849 140734703786592 18446744073709551615 4226293 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 20960 13759 252 17 0 17601 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 92544 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7423 /proc/meminfo: memFree=12571320/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=114188 CPUtime=281.73 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 35737 0 0 0 28167 6 0 0 25 0 1 0 482849573 116928512 15842 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 28547 15842 252 17 0 25188 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 122892 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7424 /proc/meminfo: memFree=12586652/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=83840 CPUtime=341.73 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 40723 0 0 0 34165 8 0 0 25 0 1 0 482849573 85852160 11811 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 20960 11811 252 17 0 17601 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 92544 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/180 7426 /proc/meminfo: memFree=12561960/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 ################ # More data... # ################ /proc/7414/statm: 41030 34943 252 17 0 37671 0 Current children cumulated CPU time (s) 4362.39 Current children cumulated vsize (KiB) 172824 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 7545 /proc/meminfo: memFree=12427360/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=164120 CPUtime=4421.84 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 478198 0 0 0 442065 119 0 0 25 0 1 0 482849573 168058880 37360 33554432000 4194304 4260849 140734703786592 18446744073709551615 4209415 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41030 37360 252 17 0 37671 0 Current children cumulated CPU time (s) 4422.4 Current children cumulated vsize (KiB) 172824 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 7547 /proc/meminfo: memFree=12505924/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=84736 CPUtime=4481.83 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 481041 0 0 0 448063 120 0 0 25 0 1 0 482849573 86769664 17588 33554432000 4194304 4260849 140734703786592 18446744073709551615 4209356 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 21184 17588 252 17 0 17825 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 93440 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/180 7548 /proc/meminfo: memFree=12471296/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=134056 CPUtime=4541.83 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 489424 0 0 0 454062 121 0 0 25 0 1 0 482849573 137273344 25960 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 33514 25960 252 17 0 30155 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 142760 [startup+4602.3 s] /proc/loadavg: 2.06 2.01 2.00 3/180 7550 /proc/meminfo: memFree=12457496/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=134056 CPUtime=4601.85 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 492801 0 0 0 460061 124 0 0 25 0 1 0 482849573 137273344 29306 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 33514 29306 252 17 0 30155 0 Current children cumulated CPU time (s) 4602.41 Current children cumulated vsize (KiB) 142760 [startup+4662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/180 7551 /proc/meminfo: memFree=12444324/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=164876 CPUtime=4661.84 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 496129 0 0 0 466059 125 0 0 25 0 1 0 482849573 168833024 32606 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41219 32606 252 17 0 37860 0 Current children cumulated CPU time (s) 4662.4 Current children cumulated vsize (KiB) 173580 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7553 /proc/meminfo: memFree=12432884/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=164876 CPUtime=4721.84 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 498228 0 0 0 472058 126 0 0 25 0 1 0 482849573 168833024 34679 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41219 34679 252 17 0 37860 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 173580 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7555 /proc/meminfo: memFree=12416608/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=164876 CPUtime=4781.85 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 500689 0 0 0 478057 128 0 0 25 0 1 0 482849573 168833024 37113 33554432000 4194304 4260849 140734703786592 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41219 37113 252 17 0 37860 0 Current children cumulated CPU time (s) 4782.41 Current children cumulated vsize (KiB) 173580 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7556 /proc/meminfo: memFree=12454520/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=136520 CPUtime=4841.84 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 510762 0 0 0 484054 130 0 0 25 0 1 0 482849573 139796480 26990 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 34130 26990 252 17 0 30771 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 145224 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7558 /proc/meminfo: memFree=12444564/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=136520 CPUtime=4901.85 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 513365 0 0 0 490054 131 0 0 25 0 1 0 482849573 139796480 29556 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 34130 29556 252 17 0 30771 0 Current children cumulated CPU time (s) 4902.41 Current children cumulated vsize (KiB) 145224 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7568 /proc/meminfo: memFree=12433452/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=167340 CPUtime=4961.85 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 515865 0 0 0 496053 132 0 0 25 0 1 0 482849573 171356160 32032 33554432000 4194304 4260849 140734703786592 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41835 32032 252 17 0 38476 0 Current children cumulated CPU time (s) 4962.41 Current children cumulated vsize (KiB) 176044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7569 /proc/meminfo: memFree=12394620/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=167340 CPUtime=4999.46 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 517625 0 0 0 499813 133 0 0 25 0 1 0 482849573 171356160 33772 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41835 33772 252 17 0 38476 0 Current children cumulated CPU time (s) 5000.02 Current children cumulated vsize (KiB) 176044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 7569 /proc/meminfo: memFree=12394620/32951124 swapFree=67111528/67111528 [pid=7400] ppid=7398 vsize=8704 CPUtime=0.56 cores=0,2,4,6 /proc/7400/stat : 7400 (glucose.sh) S 7398 7400 7164 0 -1 4202496 359 9867 0 0 0 0 54 2 20 0 1 0 482849515 8912896 254 33554432000 4194304 4922060 140736143424368 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/7400/statm: 2176 254 211 178 0 69 0 [pid=7414] ppid=7400 vsize=167340 CPUtime=4999.46 cores=0,2,4,6 /proc/7414/stat : 7414 (glucose_static) R 7400 7400 7164 0 -1 4202496 517625 0 0 0 499813 133 0 0 25 0 1 0 482849573 171356160 33772 33554432000 4194304 4260849 140734703786592 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/7414/statm: 41835 33772 252 17 0 38476 0 Current children cumulated CPU time (s) 5000.02 Current children cumulated vsize (KiB) 176044 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7400 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=543917 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=29995 # CPU time returned by wait4() is 0.573912 # while last known CPU time is 5000.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.02 CPU user time (s): 4998.67 CPU system time (s): 1.35 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 226132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.543917 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10226 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= 9 runsolver used 9.15861 second user time and 17.9343 second system time The end
Begin job on node146 at 2011-04-27 13:38:53 IDJOB=3303735 IDBENCH=70830 IDSOLVER=1687 FILE ID=node146/3303735-1303904332 RUNJOBID= node146-1303899330-7182 PBS_JOBID= 13164502 Free space on /tmp= 73004 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303735-1303904332/watcher-3303735-1303904332 -o /tmp/evaluation-result-3303735-1303904332/solver-3303735-1303904332 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303735-1303904332.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c RANDOM SEED=971221135 node146.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.830 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.66 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.830 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.830 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.830 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.86 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.830 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.830 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 12681464 kB Buffers: 2084968 kB Cached: 17587892 kB SwapCached: 0 kB Active: 9973688 kB Inactive: 9762792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 12681464 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5448 kB Writeback: 0 kB AnonPages: 62576 kB Mapped: 14704 kB Slab: 470188 kB PageTables: 4924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184872 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= 72988 MiB End job on node146 at 2011-04-27 15:02:14