| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf |
| MD5SUM | f38a91a0947f21d9ceeb8762ba4c5f93 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 919.536 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2969 |
| Number of clauses | 18473 |
| Sum of the clauses size | 132415 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 442 |
| Number of clauses of size 3 | 2342 |
| Number of clauses of size 4 | 463 |
| Number of clauses of size 5 | 642 |
| Number of clauses of size over 5 | 14542 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 18226 130794 | 5467 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16559 121007 | -- 0 -- -- | -- | -368/-4371 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2875 #clauses: 16559 #literals: 121007 0.00/0.04 c CPU time: 0.039993 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 0.05/0.68 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.05/0.68 c WARNING: for repeatability, setting FPU to use double precision 0.05/0.68 c ============================[ Problem Statistics ]============================= 0.05/0.68 c | | 0.05/0.68 c | Number of variables: 2875 | 0.05/0.68 c | Number of clauses: 16559 | 0.05/0.68 c | Parse time: 0.01 s | 0.05/0.68 c | | 0.05/0.68 c ============================[ Search Statistics ]============================== 0.05/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.68 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.05/0.68 c =============================================================================== 0.05/0.68 c | 459 | 2875 16559 121007 | 1 459 24 | 0.000 % | 0.05/0.68 c | 618 | 2875 16559 121007 | 1 618 25 | 0.000 % | 0.05/0.68 c | 1297 | 2875 16559 121007 | 1 1297 25 | 0.000 % | 0.05/0.68 c | 2432 | 2875 16559 121007 | 1 2432 26 | 0.000 % | 0.05/0.68 c | 2743 | 2875 16559 121007 | 1 2743 26 | 0.000 % | 0.05/0.68 c | 2843 | 2875 16559 121007 | 1 2843 27 | 0.000 % | 0.05/0.68 c | 3275 | 2875 16559 121007 | 1 3275 26 | 0.000 % | 0.05/0.68 c | 3603 | 2875 16559 121007 | 1 3603 26 | 0.000 % | 0.05/0.68 c | 4411 | 2875 16559 121007 | 1 2422 18 | 0.000 % | 0.05/0.68 c | 5966 | 2875 16559 121007 | 1 3977 20 | 0.000 % | 0.05/0.68 c | 6804 | 2875 16559 121007 | 1 4815 21 | 0.000 % | 0.05/0.68 c | 7125 | 2875 16559 121007 | 1 5136 21 | 0.000 % | 0.05/0.68 c | 8809 | 2875 16559 121007 | 1 6820 22 | 0.000 % | 0.05/0.68 c | 10259 | 2875 16559 121007 | 1 8270 23 | 0.000 % | 0.05/0.68 c | 10955 | 2875 16559 121007 | 1 4676 16 | 0.000 % | 0.05/0.68 c | 11901 | 2875 16559 121007 | 1 5622 17 | 0.000 % | 0.05/0.68 c | 12149 | 2875 16559 121007 | 1 5870 18 | 0.000 % | 0.05/0.68 c | 12708 | 2875 16559 121007 | 1 6429 19 | 0.000 % | 0.05/0.68 c | 12938 | 2875 16559 121007 | 1 6659 19 | 0.000 % | 0.05/0.68 c | 13047 | 2875 16559 121007 | 1 6768 19 | 0.000 % | 0.05/0.68 c | 13753 | 2875 16559 121007 | 1 7474 20 | 0.000 % | 0.05/0.68 c | 13957 | 2875 16559 121007 | 1 7678 20 | 0.000 % | 0.05/0.68 c | 14665 | 2875 16559 121007 | 1 8386 21 | 0.000 % | 0.05/0.68 c | 15407 | 2875 16559 121007 | 1 9128 21 | 0.000 % | 0.05/0.68 c | 16372 | 2875 16559 121007 | 1 10093 22 | 0.000 % | 0.05/0.68 c | 20189 | 2875 16559 121007 | 1 7165 15 | 0.000 % | 0.05/0.68 c | 21108 | 2875 16559 121007 | 1 8084 17 | 0.000 % | 0.05/0.68 c | 21244 | 2875 16559 121007 | 1 8220 17 | 0.000 % | 0.05/0.68 c | 21753 | 2875 16559 121007 | 1 8729 17 | 0.000 % | 0.05/0.68 c | 23995 | 2875 16559 121007 | 1 10971 19 | 0.000 % | 0.05/0.68 c | 24519 | 2875 16559 121007 | 1 11495 19 | 0.000 % | 0.05/0.68 c | 24689 | 2875 16559 121007 | 1 11665 19 | 0.000 % | 0.05/0.68 c | 25676 | 2875 16559 121007 | 1 12652 20 | 0.000 % | 0.05/0.68 c | 25813 | 2875 16559 121007 | 1 12789 20 | 0.000 % | 0.05/0.68 c | 28493 | 2875 16559 121007 | 1 15469 21 | 0.000 % | 0.05/0.68 c | 29354 | 2875 16559 121007 | 1 16330 21 | 0.000 % | 0.05/0.68 c | 29702 | 2875 16559 121007 | 1 16678 22 | 0.000 % | 0.05/0.68 c | 30088 | 2875 16559 121007 | 1 17064 22 | 0.000 % | 0.05/0.68 c | 30953 | 2875 16559 121007 | 1 17929 22 | 0.000 % | 2.87/2.90 c | 32379 | 2875 16559 121007 | 1 10077 15 | 0.000 % | 2.87/2.90 c | 32526 | 2875 16559 121007 | 1 10224 15 | 0.000 % | 2.87/2.90 c | 32733 | 2875 16559 121007 | 1 10431 15 | 0.000 % | 2.87/2.90 c | 32961 | 2875 16559 121007 | 1 10659 16 | 0.000 % | 2.87/2.90 c | 34092 | 2875 16559 121007 | 1 11790 16 | 0.000 % | 2.87/2.90 c | 38097 | 2875 16559 121007 | 1 15795 20 | 0.000 % | 2.87/2.90 c | 39065 | 2875 16559 121007 | 1 16763 21 | 0.000 % | 2.87/2.90 c | 41051 | 2875 16559 121007 | 1 18749 22 | 0.000 % | 2.87/2.90 c | 41151 | 2875 16559 121007 | 1 18849 22 | 0.000 % | 2.87/2.90 c | 41451 | 2875 16559 121007 | 1 19149 22 | 0.000 % | 2.87/2.90 c | 41993 | 2875 16559 121007 | 1 19691 22 | 0.000 % | 2.87/2.90 c | 42094 | 2875 16559 121007 | 1 19792 22 | 0.000 % | 2.87/2.90 c | 42610 | 2875 16559 121007 | 1 20308 22 | 0.000 % | 2.87/2.90 c | 43661 | 2875 16559 121007 | 1 21359 22 | 0.000 % | 2.87/2.90 c | 44151 | 2875 16559 121007 | 1 21849 22 | 0.000 % | 2.87/2.90 c | 44253 | 2875 16559 121007 | 1 21951 23 | 0.000 % | 2.87/2.90 c | 44527 | 2875 16559 121007 | 1 22225 23 | 0.000 % | 2.87/2.90 c | 45985 | 2875 16559 121007 | 1 23683 23 | 0.000 % | 2.87/2.90 c | 52319 | 2875 16559 121007 | 1 18174 19 | 0.000 % | 2.87/2.90 c | 54512 | 2875 16559 121007 | 1 20367 20 | 0.000 % | 2.87/2.90 c | 54612 | 2875 16559 121007 | 1 20467 20 | 0.000 % | 2.87/2.90 c | 55700 | 2875 16559 121007 | 1 21555 21 | 0.000 % | 2.87/2.90 c | 56598 | 2875 16559 121007 | 1 22453 21 | 0.000 % | 2.87/2.90 c | 56932 | 2875 16559 121007 | 1 22787 21 | 0.000 % | 2.87/2.90 c | 57112 | 2875 16559 121007 | 1 22967 21 | 0.000 % | 2.87/2.90 c | 57466 | 2875 16559 121007 | 1 23321 21 | 0.000 % | 2.87/2.90 c | 58391 | 2875 16559 121007 | 1 24246 22 | 0.000 % | 2.87/2.90 c | 58700 | 2875 16559 121007 | 1 24555 22 | 0.000 % | 2.87/2.90 c | 59335 | 2875 16559 121007 | 1 25190 22 | 0.000 % | 2.87/2.90 c | 60461 | 2875 16559 121007 | 1 26316 22 | 0.000 % | 2.87/2.90 c | 61216 | 2875 16559 121007 | 1 27071 23 | 0.000 % | 2.87/2.90 c | 61548 | 2875 16559 121007 | 1 27403 23 | 0.000 % | 2.87/2.90 c | 62418 | 2875 16559 121007 | 1 28273 23 | 0.000 % | 2.87/2.90 c | 63355 | 2875 16559 121007 | 1 14798 15 | 0.000 % | 2.87/2.90 c | 63764 | 2875 16559 121007 | 1 15207 15 | 0.000 % | 2.87/2.90 c | 72582 | 2875 16559 121007 | 1 24025 21 | 0.000 % | 2.87/2.90 c | 72954 | 2875 16559 121007 | 1 24397 21 | 0.000 % | 2.87/2.90 c | 73580 | 2875 16559 121007 | 1 25023 21 | 0.000 % | 2.87/2.90 c | 73727 | 2875 16559 121007 | 1 25170 21 | 0.000 % | 2.87/2.90 c | 75949 | 2875 16559 121007 | 1 27392 22 | 0.000 % | 2.87/2.90 c | 76479 | 2875 16559 121007 | 1 27922 22 | 0.000 % | 2.87/2.90 c | 78264 | 2875 16559 121007 | 1 29707 22 | 0.000 % | 2.87/2.90 c | 82406 | 2875 16559 121007 | 1 33849 23 | 0.000 % | 2.87/2.90 c | 87992 | 2875 16559 121007 | 1 22427 18 | 0.000 % | 2.87/2.90 c | 89213 | 2875 16559 121007 | 1 23648 19 | 0.000 % | 2.87/2.90 c | 90464 | 2875 16559 121007 | 1 24899 19 | 0.000 % | 2.87/2.90 c | 90576 | 2875 16559 121007 | 1 25011 19 | 0.000 % | 2.87/2.90 c | 92645 | 2875 16559 121007 | 1 27080 20 | 0.000 % | 2.87/2.90 c | 92869 | 2875 16559 121007 | 1 27304 20 | 0.000 % | 2.87/2.90 c | 93120 | 2875 16559 121007 | 1 27555 20 | 0.000 % | 6.58/6.64 c | 93780 | 2875 16559 121007 | 1 28215 20 | 0.000 % | 6.58/6.64 c | 94172 | 2875 16559 121007 | 1 28607 20 | 0.000 % | 6.58/6.64 c | 94700 | 2875 16559 121007 | 1 29135 20 | 0.000 % | 6.58/6.64 c | 94923 | 2875 16559 121007 | 1 29358 21 | 0.000 % | 6.58/6.64 c | 95067 | 2875 16559 121007 | 1 29502 21 | 0.000 % | 6.58/6.64 c | 95653 | 2875 16559 121007 | 1 30088 21 | 0.000 % | 6.58/6.64 c | 95753 | 2875 16559 121007 | 1 30188 21 | 0.000 % | 6.58/6.64 c | 96590 | 2875 16559 121007 | 1 31025 21 | 0.000 % | 6.58/6.64 c | 98233 | 2875 16559 121007 | 1 32668 21 | 0.000 % | 6.58/6.64 c | 103390 | 2875 16559 121007 | 1 37825 23 | 0.000 % | 6.58/6.64 c | 107277 | 2875 16559 121007 | 1 22102 16 | 0.000 % | 6.58/6.64 c | 108614 | 2875 16559 121007 | 1 23439 17 | 0.000 % | 6.58/6.64 c | 110535 | 2875 16559 121007 | 1 25360 18 | 0.000 % | 6.58/6.64 c | 110695 | 2875 16559 121007 | 1 25520 18 | 0.000 % | 6.58/6.64 c | 112028 | 2875 16559 121007 | 1 26853 18 | 0.000 % | 6.58/6.64 c | 116343 | 2875 16559 121007 | 1 31168 20 | 0.000 % | 6.58/6.64 c | 116472 | 2875 16559 121007 | 1 31297 20 | 0.000 % | 6.58/6.64 c | 117578 | 2875 16559 121007 | 1 32403 21 | 0.000 % | 6.58/6.64 c | 118855 | 2875 16559 121007 | 1 33680 21 | 0.000 % | 6.58/6.64 c | 122005 | 2875 16559 121007 | 1 36830 22 | 0.000 % | 6.58/6.64 c | 122387 | 2875 16559 121007 | 1 37212 22 | 0.000 % | 6.58/6.64 c | 122820 | 2875 16559 121007 | 1 37645 22 | 0.000 % | 6.58/6.64 c | 122920 | 2875 16559 121007 | 1 37745 22 | 0.000 % | 6.58/6.64 c | 123731 | 2875 16559 121007 | 1 38556 22 | 0.000 % | 6.58/6.64 c | 124402 | 2875 16559 121007 | 1 39227 22 | 0.000 % | 6.58/6.64 c | 124598 | 2875 16559 121007 | 1 39423 22 | 0.000 % | 6.58/6.64 c | 124752 | 2875 16559 121007 | 1 39577 22 | 0.000 % | 6.58/6.64 c | 127316 | 2875 16559 121007 | 1 42141 23 | 0.000 % | 6.58/6.64 c | 128860 | 2875 16559 121007 | 1 43685 23 | 0.000 % | 6.58/6.64 c | 130427 | 2875 16559 121007 | 1 23054 15 | 0.000 % | 6.58/6.64 c | 131883 | 2875 16559 121007 | 1 24510 16 | 0.000 % | 6.58/6.64 c | 132436 | 2875 16559 121007 | 1 25063 16 | 0.000 % | 6.58/6.64 c | 132697 | 2875 16559 121007 | 1 25324 16 | 0.000 % | 6.58/6.64 c | 133120 | 2875 16559 121007 | 1 25747 17 | 0.000 % | 6.58/6.64 c | 134495 | 2875 16559 121007 | 1 27122 17 | 0.000 % | 6.58/6.64 c | 142011 | 2875 16559 121007 | 1 34638 20 | 0.000 % | 6.58/6.64 c | 143272 | 2875 16559 121007 | 1 35899 21 | 0.000 % | 6.58/6.64 c | 145155 | 2875 16559 121007 | 1 37782 22 | 0.000 % | 6.58/6.64 c | 147491 | 2875 16559 121007 | 1 40118 22 | 0.000 % | 6.58/6.64 c | 150176 | 2875 16559 121007 | 1 42803 22 | 0.000 % | 6.58/6.64 c | 150716 | 2875 16559 121007 | 1 43343 23 | 0.000 % | 6.58/6.64 c | 151875 | 2875 16559 121007 | 1 44502 23 | 0.000 % | 6.58/6.64 c | 153637 | 2875 16559 121007 | 1 46264 23 | 0.000 % | 6.58/6.64 c | 161071 | 2875 16559 121007 | 1 28895 17 | 0.000 % | 6.58/6.64 c | 163774 | 2875 16559 121007 | 1 31598 18 | 0.000 % | 6.58/6.64 c | 163981 | 2875 16559 121007 | 1 31805 18 | 0.000 % | 6.58/6.64 c | 164235 | 2875 16559 121007 | 1 32059 18 | 0.000 % | 6.58/6.64 c | 165337 | 2875 16559 121007 | 1 33161 19 | 0.000 % | 6.58/6.64 c | 166651 | 2875 16559 121007 | 1 34475 19 | 0.000 % | 6.58/6.64 c | 166851 | 2875 16559 121007 | 1 34675 19 | 0.000 % | 24.28/24.38 c | 167015 | 2875 16559 121007 | 1 34839 19 | 0.000 % | 24.28/24.38 c | 176114 | 2875 16559 121007 | 1 43938 22 | 0.000 % | 24.28/24.38 c | 199900 | 2875 16559 121007 | 1 40328 20 | 0.000 % | 24.28/24.38 c | 201893 | 2875 16559 121007 | 1 42321 21 | 0.000 % | 24.28/24.38 c | 202766 | 2875 16559 121007 | 1 43194 21 | 0.000 % | 24.28/24.38 c | 208809 | 2875 16559 121007 | 1 49237 23 | 0.000 % | 24.28/24.38 c | 209011 | 2875 16559 121007 | 1 49439 23 | 0.000 % | 24.28/24.38 c | 209134 | 2875 16559 121007 | 1 49562 23 | 0.000 % | 24.28/24.38 c | 209357 | 2875 16559 121007 | 1 49785 23 | 0.000 % | 24.28/24.38 c | 211006 | 2875 16559 121007 | 1 51434 23 | 0.000 % | 24.28/24.38 c | 211474 | 2875 16559 121007 | 1 51902 23 | 0.000 % | 24.28/24.38 c | 228695 | 2875 16559 121007 | 1 39122 19 | 0.000 % | 24.28/24.38 c | 232985 | 2875 16559 121007 | 1 43412 20 | 0.000 % | 24.28/24.38 c | 233713 | 2875 16559 121007 | 1 44140 21 | 0.000 % | 24.28/24.38 c | 234630 | 2875 16559 121007 | 1 45057 21 | 0.000 % | 24.28/24.38 c | 235535 | 2875 16559 121007 | 1 45962 21 | 0.000 % | 24.28/24.38 c | 235746 | 2875 16559 121007 | 1 46173 21 | 0.000 % | 24.28/24.38 c | 239073 | 2875 16559 121007 | 1 49500 22 | 0.000 % | 24.28/24.38 c | 239209 | 2875 16559 121007 | 1 49636 22 | 0.000 % | 24.28/24.38 c | 240907 | 2875 16559 121007 | 1 51334 22 | 0.000 % | 24.28/24.38 c | 241177 | 2875 16559 121007 | 1 51604 22 | 0.000 % | 24.28/24.38 c | 241575 | 2875 16559 121007 | 1 52002 23 | 0.000 % | 24.28/24.38 c | 242998 | 2875 16559 121007 | 1 53425 23 | 0.000 % | 24.28/24.38 c | 247400 | 2875 16559 121007 | 1 57827 24 | 0.000 % | 24.28/24.38 c | 251762 | 2875 16559 121007 | 1 62189 24 | 0.000 % | 24.28/24.38 c | 252341 | 2875 16559 121007 | 1 62768 24 | 0.000 % | 24.28/24.38 c | 257972 | 2875 16559 121007 | 1 35792 16 | 0.000 % | 24.28/24.38 c | 260236 | 2875 16559 121007 | 1 38056 17 | 0.000 % | 24.28/24.38 c | 260645 | 2875 16559 121007 | 1 38465 17 | 0.000 % | 24.28/24.38 c | 272026 | 2875 16559 121007 | 1 49846 21 | 0.000 % | 24.28/24.38 c | 273750 | 2875 16559 121007 | 1 51570 21 | 0.000 % | 24.28/24.38 c | 274347 | 2875 16559 121007 | 1 52167 21 | 0.000 % | 24.28/24.38 c | 278237 | 2875 16559 121007 | 1 56057 22 | 0.000 % | 24.28/24.38 c | 300504 | 2875 16559 121007 | 1 43136 18 | 0.000 % | 24.28/24.38 c | 300605 | 2875 16559 121007 | 1 43237 19 | 0.000 % | 24.28/24.38 c | 300707 | 2875 16559 121007 | 1 43339 19 | 0.000 % | 24.28/24.38 c | 304687 | 2875 16559 121007 | 1 47319 20 | 0.000 % | 24.28/24.38 c | 320787 | 2875 16559 121007 | 1 63419 23 | 0.000 % | 24.28/24.38 c | 354889 | 2875 16559 121007 | 1 59724 25 | 0.000 % | 24.28/24.38 c | 355797 | 2875 16559 121007 | 1 60632 25 | 0.000 % | 24.28/24.38 c | 357581 | 2875 16559 121007 | 1 62416 25 | 0.000 % | 24.28/24.38 c | 361839 | 2875 16559 121007 | 1 66674 25 | 0.000 % | 24.28/24.38 c | 363263 | 2875 16559 121007 | 1 68098 26 | 0.000 % | 24.28/24.38 c | 378285 | 2875 16559 121007 | 1 42729 17 | 0.000 % | 24.28/24.38 c | 379039 | 2875 16559 121007 | 1 43483 17 | 0.000 % | 24.28/24.38 c | 381421 | 2875 16559 121007 | 1 45865 18 | 0.000 % | 24.28/24.38 c | 381756 | 2875 16559 121007 | 1 46200 18 | 0.000 % | 24.28/24.38 c | 381900 | 2875 16559 121007 | 1 46344 18 | 0.000 % | 24.28/24.38 c | 390686 | 2875 16559 121007 | 1 55130 20 | 0.000 % | 24.28/24.38 c | 399502 | 2875 16559 121007 | 1 63946 22 | 0.000 % | 157.68/157.71 c | 431915 | 2875 16559 121007 | 1 53366 19 | 0.000 % | 157.68/157.71 c | 432072 | 2875 16559 121007 | 1 53523 19 | 0.000 % | 157.68/157.71 c | 442602 | 2875 16559 121007 | 1 64053 22 | 0.000 % | 157.68/157.71 c | 452529 | 2875 16559 121007 | 1 73980 24 | 0.000 % | 157.68/157.71 c | 456041 | 2875 16559 121007 | 1 77492 24 | 0.000 % | 157.68/157.71 c | 458489 | 2875 16559 121007 | 1 79940 24 | 0.000 % | 157.68/157.71 c | 470383 | 2875 16559 121007 | 1 46213 15 | 0.000 % | 157.68/157.71 c | 510874 | 2875 16559 121007 | 1 86704 23 | 0.000 % | 157.68/157.71 c | 531948 | 2875 16559 121007 | 1 59586 19 | 0.000 % | 157.68/157.71 c | 568160 | 2875 16559 121007 | 1 95798 25 | 0.000 % | 157.68/157.71 c | 569015 | 2875 16559 121007 | 1 96653 25 | 0.000 % | 157.68/157.71 c | 572030 | 2875 16559 121007 | 1 99668 25 | 0.000 % | 157.68/157.71 c | 587045 | 2875 16559 121007 | 1 63881 19 | 0.000 % | 157.68/157.71 c | 592992 | 2875 16559 121007 | 1 69828 21 | 0.000 % | 157.68/157.71 c | 823224 | 2875 16559 121007 | 1 70844 17 | 0.000 % | 157.68/157.71 c | 829554 | 2875 16559 121007 | 1 77174 18 | 0.000 % | 157.68/157.71 c | 830134 | 2875 16559 121007 | 1 77754 18 | 0.000 % | 157.68/157.71 c | 830244 | 2875 16559 121007 | 1 77864 18 | 0.000 % | 157.68/157.71 c | 830347 | 2875 16559 121007 | 1 77967 18 | 0.000 % | 157.68/157.71 c | 831529 | 2875 16559 121007 | 1 79149 19 | 0.000 % | 157.68/157.71 c | 832444 | 2875 16559 121007 | 1 80064 19 | 0.000 % | 157.68/157.71 c | 838384 | 2875 16559 121007 | 1 86004 20 | 0.000 % | 157.68/157.71 c | 839431 | 2875 16559 121007 | 1 87051 20 | 0.000 % | 157.68/157.71 c | 1013421 | 2875 16559 121007 | 1 130842 24 | 0.000 % | 157.68/157.71 c | 1145711 | 2874 16538 120879 | 1 122534 21 | 0.035 % | 157.68/157.71 c | 1145929 | 2874 16538 120879 | 1 122752 21 | 0.035 % | 157.68/157.71 c | 1146029 | 2874 16538 120879 | 1 122852 21 | 0.035 % | 157.68/157.71 c | 1199692 | 2874 16538 120879 | 1 102319 20 | 0.035 % | 157.68/157.71 c | 1199792 | 2874 16538 120879 | 1 102419 20 | 0.035 % | 157.68/157.71 c | 1201697 | 2874 16538 120879 | 1 104324 20 | 0.035 % | 157.68/157.71 c | 1202002 | 2874 16538 120879 | 1 104629 20 | 0.035 % | 157.68/157.71 c | 1202102 | 2874 16538 120879 | 1 104729 20 | 0.035 % | 157.68/157.71 c | 1202328 | 2874 16538 120879 | 1 104955 20 | 0.035 % | 157.68/157.71 c | 1202844 | 2874 16538 120879 | 1 105471 20 | 0.035 % | 157.68/157.71 c | 1202947 | 2874 16538 120879 | 1 105574 20 | 0.035 % | 157.68/157.71 c | 1203851 | 2874 16538 120879 | 1 106478 21 | 0.035 % | 157.68/157.71 c | 1219699 | 2874 16538 120879 | 1 122326 23 | 0.035 % | 157.68/157.71 c | 1219832 | 2874 16538 120879 | 1 122459 23 | 0.035 % | 157.68/157.71 c | 1219932 | 2874 16538 120879 | 1 122559 23 | 0.035 % | 157.68/157.71 c | 1221135 | 2874 16538 120879 | 1 123762 23 | 0.035 % | 157.68/157.71 c | 1233074 | 2874 16538 120879 | 1 135701 25 | 0.035 % | 157.68/157.71 c | 1233463 | 2874 16538 120879 | 1 136090 25 | 0.035 % | 157.68/157.71 c | 1234261 | 2874 16538 120879 | 1 136888 25 | 0.035 % | 157.68/157.71 c | 1234790 | 2874 16538 120879 | 1 137417 25 | 0.035 % | 157.68/157.71 c | 1234904 | 2874 16538 120879 | 1 137531 25 | 0.035 % | 157.68/157.71 c | 1235221 | 2874 16538 120879 | 1 137848 25 | 0.035 % | 157.68/157.71 c | 1235323 | 2874 16538 120879 | 1 137950 25 | 0.035 % | 157.68/157.71 c | 1236608 | 2874 16538 120879 | 1 139235 25 | 0.035 % | 157.68/157.71 c | 1236722 | 2874 16538 120879 | 1 139349 25 | 0.035 % | 157.68/157.71 c | 1236823 | 2874 16538 120879 | 1 139450 25 | 0.035 % | 381.69/381.79 c | 1238874 | 2874 16538 120879 | 1 141501 25 | 0.035 % | 381.69/381.79 c | 1273714 | 2874 16538 120879 | 1 99535 19 | 0.035 % | 381.69/381.79 c | 1286059 | 2874 16538 120879 | 1 111880 21 | 0.035 % | 381.69/381.79 c | 1286183 | 2874 16538 120879 | 1 112004 21 | 0.035 % | 381.69/381.79 c | 1294880 | 2874 16538 120879 | 1 120701 22 | 0.035 % | 381.69/381.79 c | 1295266 | 2874 16538 120879 | 1 121087 22 | 0.035 % | 381.69/381.79 c | 1347895 | 2874 16538 120879 | 1 94317 18 | 0.035 % | 381.69/381.79 c | 1350164 | 2874 16538 120879 | 1 96586 18 | 0.035 % | 381.69/381.79 c | 1371120 | 2874 16538 120879 | 1 117542 21 | 0.035 % | 381.69/381.79 c | 1519176 | 2874 16538 120879 | 1 99005 17 | 0.035 % | 381.69/381.79 c | 1519783 | 2874 16538 120879 | 1 99612 17 | 0.035 % | 381.69/381.79 c | 1524946 | 2874 16538 120879 | 1 104775 19 | 0.035 % | 381.69/381.79 c | 1525195 | 2874 16538 120879 | 1 105024 19 | 0.035 % | 381.69/381.79 c | 1525680 | 2874 16538 120879 | 1 105509 19 | 0.035 % | 381.69/381.79 c | 1597572 | 2874 16538 120879 | 1 90200 15 | 0.035 % | 381.69/381.79 c | 1644188 | 2874 16538 120879 | 1 136816 21 | 0.035 % | 381.69/381.79 c | 1644947 | 2874 16538 120879 | 1 137575 21 | 0.035 % | 381.69/381.79 c | 1655396 | 2874 16538 120879 | 1 148024 22 | 0.035 % | 381.69/381.79 c | 1656028 | 2874 16538 120879 | 1 148656 22 | 0.035 % | 381.69/381.79 c | 1675333 | 2874 16538 120879 | 1 167961 24 | 0.035 % | 381.69/381.79 c | 1676760 | 2874 16538 120879 | 1 169388 24 | 0.035 % | 381.69/381.79 c | 1681063 | 2874 16538 120879 | 1 173691 24 | 0.035 % | 381.69/381.79 c | 1732805 | 2874 16538 120879 | 1 135627 20 | 0.035 % | 381.69/381.79 c | 1738571 | 2874 16538 120879 | 1 141393 20 | 0.035 % | 381.69/381.79 c | 1738672 | 2874 16538 120879 | 1 141494 20 | 0.035 % | 381.69/381.79 c | 1738854 | 2874 16538 120879 | 1 141676 20 | 0.035 % | 381.69/381.79 c | 1738954 | 2874 16538 120879 | 1 141776 20 | 0.035 % | 381.69/381.79 c | 1740660 | 2874 16538 120879 | 1 143482 21 | 0.035 % | 381.69/381.79 c | 1740825 | 2874 16538 120879 | 1 143647 21 | 0.035 % | 381.69/381.79 c | 1755236 | 2874 16538 120879 | 1 158058 22 | 0.035 % | 381.69/381.79 c | 1755338 | 2874 16538 120879 | 1 158160 22 | 0.035 % | 381.69/381.79 c | 1755438 | 2874 16538 120879 | 1 158260 22 | 0.035 % | 381.69/381.79 c | 1759761 | 2874 16538 120879 | 1 162583 23 | 0.035 % | 381.69/381.79 c | 1772605 | 2874 16538 120879 | 1 175427 24 | 0.035 % | 381.69/381.79 c | 1797470 | 2874 16538 120879 | 1 107892 17 | 0.035 % | 381.69/381.79 c | 1797685 | 2874 16538 120879 | 1 108107 17 | 0.035 % | 381.69/381.79 c | 1804923 | 2874 16538 120879 | 1 115345 18 | 0.035 % | 381.69/381.79 c | 1805063 | 2874 16538 120879 | 1 115485 18 | 0.035 % | 381.69/381.79 c | 1819164 | 2874 16538 120879 | 1 129586 20 | 0.035 % | 381.69/381.79 c | 1819711 | 2874 16538 120879 | 1 130133 20 | 0.035 % | 381.69/381.79 c | 1830558 | 2874 16538 120879 | 1 140980 22 | 0.035 % | 381.69/381.79 c | 1830658 | 2874 16538 120879 | 1 141080 22 | 0.035 % | 381.69/381.79 c | 1858856 | 2874 16538 120879 | 1 169278 24 | 0.035 % | 381.69/381.79 c | 1936694 | 2874 16538 120879 | 1 152115 21 | 0.035 % | 381.69/381.79 c | 2093675 | 2874 16538 120879 | 1 111291 16 | 0.035 % | 381.69/381.79 c | 2145914 | 2874 16538 120879 | 1 163530 21 | 0.035 % | 381.69/381.79 c | 2146239 | 2874 16538 120879 | 1 163855 21 | 0.035 % | 381.69/381.79 c | 2157368 | 2874 16538 120879 | 1 174984 22 | 0.035 % | 381.69/381.79 c | 2185709 | 2874 16538 120879 | 1 203325 24 | 0.035 % | 381.69/381.79 c | 2185809 | 2874 16538 120879 | 1 203425 24 | 0.035 % | 564.39/564.43 c | 2192276 | 2874 16538 120879 | 1 107088 15 | 0.035 % | 564.39/564.43 c | 2221990 | 2874 16538 120879 | 1 136802 19 | 0.035 % | 564.39/564.43 c | 2222090 | 2874 16538 120879 | 1 136902 19 | 0.035 % | 564.39/564.43 c | 2222353 | 2874 16538 120879 | 1 137165 19 | 0.035 % | 564.39/564.43 c | 2222688 | 2874 16538 120879 | 1 137500 20 | 0.035 % | 564.39/564.43 c | 2222985 | 2874 16538 120879 | 1 137797 20 | 0.035 % | 564.39/564.43 c | 2233654 | 2874 16538 120879 | 1 148466 21 | 0.035 % | 564.39/564.43 c | 2250158 | 2874 16538 120879 | 1 164970 23 | 0.035 % | 564.39/564.43 c | 2250260 | 2874 16538 120879 | 1 165072 23 | 0.035 % | 564.39/564.43 c | 2262157 | 2874 16538 120879 | 1 176969 24 | 0.035 % | 564.39/564.43 c | 2298373 | 2874 16538 120879 | 1 107788 14 | 0.035 % | 564.39/564.43 c | 2298819 | 2874 16538 120879 | 1 108234 15 | 0.035 % | 564.39/564.43 c | 2300249 | 2874 16538 120879 | 1 109664 15 | 0.035 % | 564.39/564.43 c | 2302297 | 2874 16538 120879 | 1 111712 15 | 0.035 % | 564.39/564.43 c | 2302665 | 2874 16538 120879 | 1 112080 15 | 0.035 % | 564.39/564.43 c | 2302881 | 2874 16538 120879 | 1 112296 15 | 0.035 % | 564.39/564.43 c | 2303074 | 2874 16538 120879 | 1 112489 15 | 0.035 % | 564.39/564.43 c | 2305991 | 2874 16538 120879 | 1 115406 16 | 0.035 % | 564.39/564.43 c | 2307118 | 2874 16538 120879 | 1 116533 16 | 0.035 % | 564.39/564.43 c | 2310924 | 2874 16538 120879 | 1 120339 17 | 0.035 % | 564.39/564.43 c | 2543217 | 2874 16538 120879 | 1 134041 17 | 0.035 % | 564.39/564.43 c | 2566172 | 2874 16538 120879 | 1 156996 20 | 0.035 % | 564.39/564.43 c | 2566272 | 2874 16538 120879 | 1 157096 20 | 0.035 % | 564.39/564.43 c | 2570072 | 2874 16538 120879 | 1 160896 21 | 0.035 % | 564.39/564.43 c | 2570340 | 2874 16538 120879 | 1 161164 21 | 0.035 % | 564.39/564.43 c | 2571176 | 2874 16538 120879 | 1 162000 21 | 0.035 % | 564.39/564.43 c | 2571276 | 2874 16538 120879 | 1 162100 21 | 0.035 % | 564.39/564.43 c | 2573205 | 2874 16538 120879 | 1 164029 21 | 0.035 % | 564.39/564.43 c | 2573524 | 2874 16538 120879 | 1 164348 21 | 0.035 % | 564.39/564.43 c | 2581032 | 2874 16538 120879 | 1 171856 22 | 0.035 % | 564.39/564.43 c | 2581615 | 2874 16538 120879 | 1 172439 22 | 0.035 % | 564.39/564.43 c | 2581716 | 2874 16538 120879 | 1 172540 22 | 0.035 % | 564.39/564.43 c | 2627823 | 2874 16538 120879 | 1 218647 25 | 0.035 % | 564.39/564.43 c | 2638632 | 2874 16538 120879 | 1 116257 14 | 0.035 % | 564.39/564.43 c | 2660801 | 2874 16538 120879 | 1 138426 18 | 0.035 % | 564.39/564.43 c | 2669500 | 2874 16538 120879 | 1 147125 19 | 0.035 % | 564.39/564.43 c | 2708384 | 2874 16538 120879 | 1 186009 23 | 0.035 % | 564.39/564.43 c | 2713811 | 2874 16538 120879 | 1 191436 24 | 0.035 % | 564.39/564.43 c | 2713916 | 2874 16538 120879 | 1 191541 24 | 0.035 % | 564.39/564.43 c | 2714038 | 2874 16538 120879 | 1 191663 24 | 0.035 % | 564.39/564.43 c | 2714606 | 2874 16538 120879 | 1 192231 24 | 0.035 % | 564.39/564.43 c | 2716286 | 2874 16538 120879 | 1 193911 24 | 0.035 % | 564.39/564.43 c | 2716387 | 2874 16538 120879 | 1 194012 24 | 0.035 % | 564.39/564.43 c | 2737798 | 2874 16538 120879 | 1 215423 25 | 0.035 % | 564.39/564.43 c | 2775550 | 2874 16538 120879 | 1 137372 17 | 0.035 % | 564.39/564.43 c | 2775692 | 2874 16538 120879 | 1 137514 17 | 0.035 % | 564.39/564.43 c | 2777561 | 2874 16538 120879 | 1 139383 18 | 0.035 % | 564.39/564.43 c | 2789772 | 2874 16538 120879 | 1 151594 19 | 0.035 % | 564.39/564.43 c | 2789978 | 2874 16538 120879 | 1 151800 19 | 0.035 % | 708.69/708.78 c | 2790079 | 2874 16538 120879 | 1 151901 19 | 0.035 % | 708.69/708.78 c | 2790180 | 2874 16538 120879 | 1 152002 19 | 0.035 % | 708.69/708.78 c | 2790281 | 2874 16538 120879 | 1 152103 19 | 0.035 % | 708.69/708.78 c | 2842956 | 2874 16538 120879 | 1 204778 24 | 0.035 % | 708.69/708.78 c | 2843057 | 2874 16538 120879 | 1 204879 24 | 0.035 % | 708.69/708.78 c | 2844551 | 2874 16538 120879 | 1 206373 24 | 0.035 % | 708.69/708.78 c | 2854903 | 2874 16538 120879 | 1 216725 25 | 0.035 % | 708.69/708.78 c | 2856522 | 2874 16538 120879 | 1 218344 25 | 0.035 % | 708.69/708.78 c | 2860131 | 2874 16538 120879 | 1 221953 25 | 0.035 % | 708.69/708.78 c | 2896553 | 2874 16538 120879 | 1 139986 17 | 0.035 % | 708.69/708.78 c | 2897497 | 2874 16538 120879 | 1 140930 17 | 0.035 % | 708.69/708.78 c | 2897597 | 2874 16538 120879 | 1 141030 17 | 0.035 % | 708.69/708.78 c | 2897791 | 2874 16538 120879 | 1 141224 17 | 0.035 % | 708.69/708.78 c | 2904366 | 2874 16538 120879 | 1 147799 18 | 0.035 % | 708.69/708.78 c | 2904576 | 2874 16538 120879 | 1 148009 18 | 0.035 % | 708.69/708.78 c | 2904681 | 2874 16538 120879 | 1 148114 18 | 0.035 % | 708.69/708.78 c | 2909648 | 2874 16538 120879 | 1 153081 19 | 0.035 % | 708.69/708.78 c | 2924217 | 2874 16538 120879 | 1 167650 21 | 0.035 % | 708.69/708.78 c | 2928408 | 2874 16538 120879 | 1 171841 21 | 0.035 % | 708.69/708.78 c | 2928523 | 2874 16538 120879 | 1 171956 21 | 0.035 % | 708.69/708.78 c | 2928820 | 2874 16538 120879 | 1 172253 21 | 0.035 % | 708.69/708.78 c | 2930356 | 2874 16538 120879 | 1 173789 21 | 0.035 % | 708.69/708.78 c | 2959834 | 2874 16538 120879 | 1 203267 23 | 0.035 % | 708.69/708.78 c | 2961216 | 2874 16538 120879 | 1 204649 24 | 0.035 % | 708.69/708.78 c | 2974674 | 2874 16538 120879 | 1 218107 24 | 0.035 % | 708.69/708.78 c | 2975577 | 2874 16538 120879 | 1 219010 24 | 0.035 % | 708.69/708.78 c | 2975679 | 2874 16538 120879 | 1 219112 24 | 0.035 % | 708.69/708.78 c | 2975940 | 2874 16538 120879 | 1 219373 24 | 0.035 % | 708.69/708.78 c | 2990358 | 2874 16538 120879 | 1 233791 25 | 0.035 % | 708.69/708.78 c | 2993448 | 2874 16538 120879 | 1 236881 25 | 0.035 % | 708.69/708.78 c | 2997748 | 2874 16538 120879 | 1 241181 26 | 0.035 % | 708.69/708.78 c | 2997971 | 2874 16538 120879 | 1 241404 26 | 0.035 % | 708.69/708.78 c | 3004206 | 2874 16538 120879 | 1 126626 15 | 0.035 % | 708.69/708.78 c | 3011032 | 2874 16538 120879 | 1 133452 16 | 0.035 % | 708.69/708.78 c | 3014658 | 2874 16538 120879 | 1 137078 17 | 0.035 % | 708.69/708.78 c | 3016906 | 2874 16538 120879 | 1 139326 17 | 0.035 % | 708.69/708.78 c | 3017006 | 2874 16538 120879 | 1 139426 17 | 0.035 % | 708.69/708.78 c | 3021774 | 2874 16538 120879 | 1 144194 18 | 0.035 % | 708.69/708.78 c | 3023924 | 2874 16538 120879 | 1 146344 18 | 0.035 % | 708.69/708.78 c | 3065416 | 2874 16538 120879 | 1 187836 23 | 0.035 % | 708.69/708.78 c | 3071667 | 2874 16538 120879 | 1 194087 23 | 0.035 % | 708.69/708.78 c | 3074593 | 2874 16538 120879 | 1 197013 23 | 0.035 % | 708.69/708.78 c | 3105842 | 2874 16538 120879 | 1 228262 25 | 0.035 % | 708.69/708.78 c | 3116062 | 2874 16538 120879 | 1 238482 26 | 0.035 % | 708.69/708.78 c | 3119621 | 2874 16538 120879 | 1 242041 26 | 0.035 % | 708.69/708.78 c | 3123852 | 2874 16538 120879 | 1 246272 26 | 0.035 % | 708.69/708.78 c | 3180870 | 2874 16538 120879 | 1 179686 21 | 0.035 % | 708.69/708.78 c | 3181003 | 2874 16538 120879 | 1 179819 21 | 0.035 % | 708.69/708.78 c | 3218042 | 2874 16538 120879 | 1 216858 24 | 0.035 % | 708.69/708.78 c | 3218143 | 2874 16538 120879 | 1 216959 24 | 0.035 % | 879.90/879.93 c | 3218243 | 2874 16538 120879 | 1 217059 24 | 0.035 % | 879.90/879.93 c | 3255404 | 2874 16538 120879 | 1 128023 14 | 0.035 % | 879.90/879.93 c | 3255506 | 2874 16538 120879 | 1 128125 14 | 0.035 % | 879.90/879.93 c | 3256430 | 2874 16538 120879 | 1 129049 14 | 0.035 % | 879.90/879.93 c | 3256530 | 2874 16538 120879 | 1 129149 14 | 0.035 % | 879.90/879.93 c | 3281089 | 2874 16538 120879 | 1 153708 17 | 0.035 % | 879.90/879.93 c | 3283581 | 2874 16538 120879 | 1 156200 18 | 0.035 % | 879.90/879.93 c | 3298263 | 2874 16538 120879 | 1 170882 20 | 0.035 % | 879.90/879.93 c | 3307797 | 2874 16538 120879 | 1 180416 21 | 0.035 % | 879.90/879.93 c | 3313919 | 2874 16538 120879 | 1 186538 21 | 0.035 % | 879.90/879.93 c | 3314037 | 2874 16538 120879 | 1 186656 21 | 0.035 % | 879.90/879.93 c | 3314535 | 2874 16538 120879 | 1 187154 21 | 0.035 % | 879.90/879.93 c | 3314635 | 2874 16538 120879 | 1 187254 21 | 0.035 % | 879.90/879.93 c | 3328672 | 2874 16538 120879 | 1 201291 22 | 0.035 % | 879.90/879.93 c | 3329459 | 2874 16538 120879 | 1 202078 23 | 0.035 % | 879.90/879.93 c | 3329866 | 2874 16538 120879 | 1 202485 23 | 0.035 % | 879.90/879.93 c | 3340399 | 2874 16538 120879 | 1 213018 23 | 0.035 % | 879.90/879.93 c | 3340499 | 2874 16538 120879 | 1 213118 23 | 0.035 % | 879.90/879.93 c | 3341355 | 2874 16538 120879 | 1 213974 23 | 0.035 % | 879.90/879.93 c | 3341494 | 2874 16538 120879 | 1 214113 23 | 0.035 % | 879.90/879.93 c | 3351571 | 2874 16538 120879 | 1 224190 24 | 0.035 % | 879.90/879.93 c | 3375937 | 2874 16538 120879 | 1 248556 25 | 0.035 % | 879.90/879.93 c | 3378845 | 2874 16538 120879 | 1 251464 25 | 0.035 % | 879.90/879.93 c | 3378963 | 2874 16538 120879 | 1 251582 25 | 0.035 % | 879.90/879.93 c | 3379065 | 2874 16538 120879 | 1 251684 25 | 0.035 % | 879.90/879.93 c | 3383777 | 2874 16538 120879 | 1 256396 26 | 0.035 % | 879.90/879.93 c | 3492864 | 2874 16538 120879 | 1 236682 23 | 0.035 % | 879.90/879.93 c | 3555242 | 2874 16538 120879 | 1 167662 18 | 0.035 % | 879.90/879.93 c | 3555343 | 2874 16538 120879 | 1 167763 18 | 0.035 % | 879.90/879.93 c | 3558333 | 2874 16538 120879 | 1 170753 19 | 0.035 % | 879.90/879.93 c | 3558433 | 2874 16538 120879 | 1 170853 19 | 0.035 % | 879.90/879.93 c | 3576497 | 2874 16538 120879 | 1 188917 21 | 0.035 % | 879.90/879.93 c | 3576598 | 2874 16538 120879 | 1 189018 21 | 0.035 % | 879.90/879.93 c | 3579387 | 2874 16538 120879 | 1 191807 21 | 0.035 % | 879.90/879.93 c | 3627135 | 2874 16538 120879 | 1 239555 24 | 0.035 % | 879.90/879.93 c | 3627549 | 2874 16538 120879 | 1 239969 24 | 0.035 % | 879.90/879.93 c | 3653723 | 2874 16538 120879 | 1 266143 25 | 0.035 % | 879.90/879.93 c | 3654118 | 2874 16538 120879 | 1 266538 25 | 0.035 % | 879.90/879.93 c | 3657738 | 2874 16538 120879 | 1 136152 14 | 0.035 % | 879.90/879.93 c | 3660673 | 2874 16538 120879 | 1 139087 14 | 0.035 % | 879.90/879.93 c | 3671276 | 2874 16538 120879 | 1 149690 16 | 0.035 % | 879.90/879.93 c | 3677100 | 2874 16538 120879 | 1 155514 17 | 0.035 % | 879.90/879.93 c | 3677260 | 2874 16538 120879 | 1 155674 17 | 0.035 % | 879.90/879.93 c | 3685431 | 2874 16538 120879 | 1 163845 18 | 0.035 % | 879.90/879.93 c | 3687547 | 2874 16538 120879 | 1 165961 18 | 0.035 % | 879.90/879.93 c | 3692049 | 2874 16538 120879 | 1 170463 18 | 0.035 % | 879.90/879.93 c | 3696313 | 2874 16538 120879 | 1 174727 19 | 0.035 % | 879.90/879.93 c | 3700018 | 2874 16538 120879 | 1 178432 19 | 0.035 % | 879.90/879.93 c | 3700461 | 2874 16538 120879 | 1 178875 19 | 0.035 % | 879.90/879.93 c | 3700843 | 2874 16538 120879 | 1 179257 19 | 0.035 % | 1037.51/1037.59 c | 3715643 | 2874 16538 120879 | 1 194057 21 | 0.035 % | 1037.51/1037.59 c | 3718555 | 2874 16538 120879 | 1 196969 21 | 0.035 % | 1037.51/1037.59 c | 3728469 | 2874 16538 120879 | 1 206883 22 | 0.035 % | 1037.51/1037.59 c | 3738749 | 2874 16538 120879 | 1 217163 23 | 0.035 % | 1037.51/1037.59 c | 3740591 | 2874 16538 120879 | 1 219005 23 | 0.035 % | 1037.51/1037.59 c | 3743004 | 2874 16538 120879 | 1 221418 23 | 0.035 % | 1037.51/1037.59 c | 3744688 | 2874 16538 120879 | 1 223102 23 | 0.035 % | 1037.51/1037.59 c | 3744792 | 2874 16538 120879 | 1 223206 23 | 0.035 % | 1037.51/1037.59 c | 3745430 | 2874 16538 120879 | 1 223844 23 | 0.035 % | 1037.51/1037.59 c | 3746065 | 2874 16538 120879 | 1 224479 23 | 0.035 % | 1037.51/1037.59 c | 3782489 | 2874 16538 120879 | 1 260903 25 | 0.035 % | 1037.51/1037.59 c | 3782591 | 2874 16538 120879 | 1 261005 25 | 0.035 % | 1037.51/1037.59 c | 3786565 | 2874 16538 120879 | 1 264979 25 | 0.035 % | 1037.51/1037.59 c | 3824721 | 2874 16538 120879 | 1 166533 18 | 0.035 % | 1037.51/1037.59 c | 3830118 | 2874 16538 120879 | 1 171930 19 | 0.035 % | 1037.51/1037.59 c | 3830218 | 2874 16538 120879 | 1 172030 19 | 0.035 % | 1037.51/1037.59 c | 3830319 | 2874 16538 120879 | 1 172131 19 | 0.035 % | 1037.51/1037.59 c | 3831591 | 2874 16538 120879 | 1 173403 19 | 0.035 % | 1037.51/1037.59 c | 3831693 | 2874 16538 120879 | 1 173505 19 | 0.035 % | 1037.51/1037.59 c | 3854512 | 2874 16538 120879 | 1 196324 21 | 0.035 % | 1037.51/1037.59 c | 3888383 | 2874 16538 120879 | 1 230195 23 | 0.035 % | 1037.51/1037.59 c | 3889301 | 2874 16538 120879 | 1 231113 23 | 0.035 % | 1037.51/1037.59 c | 3889402 | 2874 16538 120879 | 1 231214 23 | 0.035 % | 1037.51/1037.59 c | 3889929 | 2874 16538 120879 | 1 231741 23 | 0.035 % | 1037.51/1037.59 c | 3890029 | 2874 16538 120879 | 1 231841 23 | 0.035 % | 1037.51/1037.59 c | 3890452 | 2874 16538 120879 | 1 232264 23 | 0.035 % | 1037.51/1037.59 c | 3905100 | 2874 16538 120879 | 1 246912 24 | 0.035 % | 1037.51/1037.59 c | 3905206 | 2874 16538 120879 | 1 247018 24 | 0.035 % | 1037.51/1037.59 c | 3905306 | 2874 16538 120879 | 1 247118 24 | 0.035 % | 1037.51/1037.59 c | 3915778 | 2874 16538 120879 | 1 257590 25 | 0.035 % | 1037.51/1037.59 c | 3915879 | 2874 16538 120879 | 1 257691 25 | 0.035 % | 1037.51/1037.59 c | 3915980 | 2874 16538 120879 | 1 257792 25 | 0.035 % | 1037.51/1037.59 c | 3916144 | 2874 16538 120879 | 1 257956 25 | 0.035 % | 1037.51/1037.59 c | 3916262 | 2874 16538 120879 | 1 258074 25 | 0.035 % | 1037.51/1037.59 c | 3916504 | 2874 16538 120879 | 1 258316 25 | 0.035 % | 1037.51/1037.59 c | 3976447 | 2874 16538 120879 | 1 179061 18 | 0.035 % | 1037.51/1037.59 c | 3976595 | 2874 16538 120879 | 1 179209 18 | 0.035 % | 1037.51/1037.59 c | 4000262 | 2874 16538 120879 | 1 202876 20 | 0.035 % | 1037.51/1037.59 c | 4000472 | 2874 16538 120879 | 1 203086 20 | 0.035 % | 1037.51/1037.59 c | 4009651 | 2874 16538 120879 | 1 212265 21 | 0.035 % | 1037.51/1037.59 c | 4031724 | 2874 16538 120879 | 1 234338 22 | 0.035 % | 1037.51/1037.59 c | 4059184 | 2874 16538 120879 | 1 261798 24 | 0.035 % | 1037.51/1037.59 c | 4076687 | 2874 16538 120879 | 1 279301 25 | 0.035 % | 1037.51/1037.59 c | 4076790 | 2874 16538 120879 | 1 279404 25 | 0.035 % | 1037.51/1037.59 c | 4077078 | 2874 16538 120879 | 1 279692 25 | 0.035 % | 1037.51/1037.59 c | 4077257 | 2874 16538 120879 | 1 279871 25 | 0.035 % | 1037.51/1037.59 c | 4078119 | 2874 16538 120879 | 1 280733 25 | 0.035 % | 1037.51/1037.59 c | 4098171 | 2874 16538 120879 | 1 158985 16 | 0.035 % | 1037.51/1037.59 c | 4106646 | 2874 16538 120879 | 1 167460 17 | 0.035 % | 1037.51/1037.59 c | 4108865 | 2874 16538 120879 | 1 169679 17 | 0.035 % | 1243.21/1243.23 c | 4109586 | 2874 16538 120879 | 1 170400 17 | 0.035 % | 1243.21/1243.23 c | 4112246 | 2874 16538 120879 | 1 173060 18 | 0.035 % | 1243.21/1243.23 c | 4112609 | 2874 16538 120879 | 1 173423 18 | 0.035 % | 1243.21/1243.23 c | 4112721 | 2874 16538 120879 | 1 173535 18 | 0.035 % | 1243.21/1243.23 c | 4119997 | 2874 16538 120879 | 1 180811 19 | 0.035 % | 1243.21/1243.23 c | 4145403 | 2874 16538 120879 | 1 206217 20 | 0.035 % | 1243.21/1243.23 c | 4147017 | 2874 16538 120879 | 1 207831 21 | 0.035 % | 1243.21/1243.23 c | 4149970 | 2874 16538 120879 | 1 210784 21 | 0.035 % | 1243.21/1243.23 c | 4151294 | 2874 16538 120879 | 1 212108 21 | 0.035 % | 1243.21/1243.23 c | 4156682 | 2874 16538 120879 | 1 217496 21 | 0.035 % | 1243.21/1243.23 c | 4156905 | 2874 16538 120879 | 1 217719 21 | 0.035 % | 1243.21/1243.23 c | 4157010 | 2874 16538 120879 | 1 217824 22 | 0.035 % | 1243.21/1243.23 c | 4189276 | 2874 16538 120879 | 1 250090 24 | 0.035 % | 1243.21/1243.23 c | 4207212 | 2874 16538 120879 | 1 268026 25 | 0.035 % | 1243.21/1243.23 c | 4209467 | 2874 16538 120879 | 1 270281 25 | 0.035 % | 1243.21/1243.23 c | 4289963 | 2874 16538 120879 | 1 206382 20 | 0.035 % | 1243.21/1243.23 c | 4290064 | 2874 16538 120879 | 1 206483 20 | 0.035 % | 1243.21/1243.23 c | 4290370 | 2874 16538 120879 | 1 206789 20 | 0.035 % | 1243.21/1243.23 c | 4359188 | 2874 16538 120879 | 1 275607 24 | 0.035 % | 1243.21/1243.23 c | 4359897 | 2874 16538 120879 | 1 276316 25 | 0.035 % | 1243.21/1243.23 c | 4368934 | 2874 16538 120879 | 1 285353 25 | 0.035 % | 1243.21/1243.23 c | 4369809 | 2874 16538 120879 | 1 286228 25 | 0.035 % | 1243.21/1243.23 c | 4369909 | 2874 16538 120879 | 1 286328 25 | 0.035 % | 1243.21/1243.23 c | 4370137 | 2874 16538 120879 | 1 286556 25 | 0.035 % | 1243.21/1243.23 c | 4394966 | 2874 16538 120879 | 1 164382 16 | 0.035 % | 1243.21/1243.23 c | 4395067 | 2874 16538 120879 | 1 164483 16 | 0.035 % | 1243.21/1243.23 c | 4395167 | 2874 16538 120879 | 1 164583 16 | 0.035 % | 1243.21/1243.23 c | 4395323 | 2874 16538 120879 | 1 164739 16 | 0.035 % | 1243.21/1243.23 c | 4425724 | 2874 16538 120879 | 1 195140 20 | 0.035 % | 1243.21/1243.23 c | 4426633 | 2874 16538 120879 | 1 196049 20 | 0.035 % | 1243.21/1243.23 c | 4432797 | 2874 16538 120879 | 1 202213 20 | 0.035 % | 1243.21/1243.23 c | 4433709 | 2874 16538 120879 | 1 203125 20 | 0.035 % | 1243.21/1243.23 c | 4450326 | 2874 16538 120879 | 1 219742 22 | 0.035 % | 1243.21/1243.23 c | 4452800 | 2874 16538 120879 | 1 222216 22 | 0.035 % | 1243.21/1243.23 c | 4452903 | 2874 16538 120879 | 1 222319 22 | 0.035 % | 1243.21/1243.23 c | 4462867 | 2874 16538 120879 | 1 232283 23 | 0.035 % | 1243.21/1243.23 c | 4465036 | 2874 16538 120879 | 1 234452 23 | 0.035 % | 1243.21/1243.23 c | 4467073 | 2874 16538 120879 | 1 236489 23 | 0.035 % | 1243.21/1243.23 c | 4469807 | 2874 16538 120879 | 1 239223 23 | 0.035 % | 1243.21/1243.23 c | 4469909 | 2874 16538 120879 | 1 239325 23 | 0.035 % | 1243.21/1243.23 c | 4473370 | 2874 16538 120879 | 1 242786 23 | 0.035 % | 1243.21/1243.23 c | 4483671 | 2874 16538 120879 | 1 253087 24 | 0.035 % | 1243.21/1243.23 c | 4558197 | 2874 16538 120879 | 1 178014 17 | 0.035 % | 1243.21/1243.23 c | 4559574 | 2874 16538 120879 | 1 179391 17 | 0.035 % | 1243.21/1243.23 c | 4576527 | 2874 16538 120879 | 1 196344 19 | 0.035 % | 1243.21/1243.23 c | 4576630 | 2874 16538 120879 | 1 196447 19 | 0.035 % | 1243.21/1243.23 c | 4606238 | 2874 16538 120879 | 1 226055 21 | 0.035 % | 1243.21/1243.23 c | 4610508 | 2874 16538 120879 | 1 230325 21 | 0.035 % | 1243.21/1243.23 c | 4610612 | 2874 16538 120879 | 1 230429 21 | 0.035 % | 1243.21/1243.23 c | 4611000 | 2874 16538 120879 | 1 230817
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-3265740-1303562489/watcher-3265740-1303562489 -o /tmp/evaluation-result-3265740-1303562489/solver-3265740-1303562489 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265740-1303562489.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14799 /proc/meminfo: memFree=13944548/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 546479609 8912896 253 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 253 211 178 0 69 0 [startup+0.0182099 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14799 /proc/meminfo: memFree=13944548/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 334 0 0 0 0 0 0 0 23 0 1 0 546479609 8912896 253 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101198 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14799 /proc/meminfo: memFree=13944548/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.301163 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14799 /proc/meminfo: memFree=13944548/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.701095 s] /proc/loadavg: 3.39 3.87 4.16 6/192 14799 /proc/meminfo: memFree=13944548/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.50094 s] /proc/loadavg: 3.39 3.87 4.16 5/194 14833 /proc/meminfo: memFree=13922560/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=24188 CPUtime=1.42 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 3623 0 0 0 142 0 0 0 25 0 1 0 546479616 24768512 2789 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 6047 2789 251 17 0 2688 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32892 [startup+3.10065 s] /proc/loadavg: 3.39 3.87 4.16 5/194 14833 /proc/meminfo: memFree=13913384/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=29688 CPUtime=3.02 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 4171 0 0 0 302 0 0 0 25 0 1 0 546479616 30400512 3310 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225064 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 7422 3310 251 17 0 4063 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 38392 [startup+6.30106 s] /proc/loadavg: 3.44 3.87 4.16 5/194 14833 /proc/meminfo: memFree=13892584/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=29688 CPUtime=6.22 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 4736 0 0 0 622 0 0 0 25 0 1 0 546479616 30400512 3856 33554432000 4194304 4260849 140736691801056 18446744073709551615 4211192 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 7422 3856 251 17 0 4063 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38392 [startup+12.7009 s] /proc/loadavg: 3.48 3.88 4.16 5/194 14833 /proc/meminfo: memFree=13881496/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=27008 CPUtime=12.62 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 8487 0 0 0 1261 1 0 0 25 0 1 0 546479616 27656192 3192 33554432000 4194304 4260849 140736691801056 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 6752 3192 251 17 0 3393 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 35712 [startup+25.5005 s] /proc/loadavg: 3.60 3.88 4.16 5/194 14834 /proc/meminfo: memFree=13858572/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=38500 CPUtime=25.43 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 11417 0 0 0 2541 2 0 0 25 0 1 0 546479616 39424000 6009 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 9625 6009 251 17 0 6266 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47204 [startup+51.1008 s] /proc/loadavg: 3.73 3.89 4.15 5/194 14835 /proc/meminfo: memFree=13810656/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=64796 CPUtime=51.03 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 16734 0 0 0 5100 3 0 0 25 0 1 0 546479616 66351104 8322 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 16199 8322 251 17 0 12840 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73500 [startup+102.307 s] /proc/loadavg: 3.88 3.90 4.14 5/194 14836 /proc/meminfo: memFree=13774552/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=64796 CPUtime=102.23 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 20407 0 0 0 10220 3 0 0 25 0 1 0 546479616 66351104 11850 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 16199 11850 251 17 0 12840 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 73500 [startup+162.3 s] /proc/loadavg: 4.03 3.94 4.14 5/194 14837 /proc/meminfo: memFree=13747376/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=64796 CPUtime=162.23 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 21308 0 0 0 16219 4 0 0 25 0 1 0 546479616 66351104 12724 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 16199 12724 251 17 0 12840 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 73500 [startup+222.301 s] /proc/loadavg: 4.01 3.94 4.12 5/194 14839 /proc/meminfo: memFree=13717844/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=71544 CPUtime=222.23 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 23284 0 0 0 22219 4 0 0 25 0 1 0 546479616 73261056 14602 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 17886 14602 251 17 0 14527 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 80248 [startup+282.301 s] /proc/loadavg: 4.00 3.95 4.11 5/194 14841 /proc/meminfo: memFree=13713232/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=71544 CPUtime=282.23 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 28445 0 0 0 28219 4 0 0 25 0 1 0 546479616 73261056 14607 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 17886 14607 251 17 0 14527 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 80248 [startup+342.301 s] /proc/loadavg: 4.05 3.97 4.11 5/194 14842 /proc/meminfo: memFree=13696592/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=342.23 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 28452 0 0 0 34219 4 0 0 25 0 1 0 546479616 97042432 14614 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 14614 251 17 0 20333 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 103472 [startup+402.301 s] /proc/loadavg: 4.02 3.97 4.09 5/194 14844 /proc/meminfo: memFree=13654404/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 ################ # More data... # ################ /proc/14802/statm: 23692 19565 251 17 0 20333 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 103472 [startup+642.301 s] /proc/loadavg: 4.00 3.97 4.07 5/194 14850 /proc/meminfo: memFree=13638948/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=642.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 33812 0 0 0 64219 6 0 0 25 0 1 0 546479616 97042432 19780 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 19780 251 17 0 20333 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 103472 [startup+702.301 s] /proc/loadavg: 4.00 3.97 4.06 5/194 14852 /proc/meminfo: memFree=13633840/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=702.24 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 34013 0 0 0 70218 6 0 0 25 0 1 0 546479616 97042432 19978 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 19978 251 17 0 20333 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 103472 [startup+762.307 s] /proc/loadavg: 4.12 4.00 4.07 5/194 14853 /proc/meminfo: memFree=13631708/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=762.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 34013 0 0 0 76219 6 0 0 25 0 1 0 546479616 97042432 19978 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 19978 251 17 0 20333 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 103472 [startup+822.301 s] /proc/loadavg: 4.11 4.02 4.07 5/194 14855 /proc/meminfo: memFree=13625980/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=822.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 34237 0 0 0 82219 6 0 0 25 0 1 0 546479616 97042432 20197 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 20197 251 17 0 20333 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 103472 [startup+882.3 s] /proc/loadavg: 4.04 4.01 4.06 5/194 14857 /proc/meminfo: memFree=13623224/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=882.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 34466 0 0 0 88219 6 0 0 25 0 1 0 546479616 97042432 20419 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224730 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 20419 251 17 0 20333 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 103472 [startup+942.3 s] /proc/loadavg: 4.01 4.00 4.06 5/194 14858 /proc/meminfo: memFree=13622092/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=94768 CPUtime=942.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 42201 0 0 0 94218 7 0 0 25 0 1 0 546479616 97042432 20420 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 23692 20420 251 17 0 20333 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 103472 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 4.05 5/194 14860 /proc/meminfo: memFree=13615136/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1002.25 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 51317 0 0 0 100216 9 0 0 25 0 1 0 546479616 109707264 21618 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 21618 251 17 0 23425 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 115840 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 4.04 5/194 14861 /proc/meminfo: memFree=13588464/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1062.26 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 61192 0 0 0 106215 11 0 0 25 0 1 0 546479616 109707264 23512 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 23512 251 17 0 23425 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 115840 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 4.04 5/194 14863 /proc/meminfo: memFree=13582228/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1122.26 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 69554 0 0 0 112214 12 0 0 25 0 1 0 546479616 109707264 23512 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 23512 251 17 0 23425 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 115840 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 4.03 5/194 14874 /proc/meminfo: memFree=13581576/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1182.26 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 77840 0 0 0 118213 13 0 0 25 0 1 0 546479616 109707264 23512 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 23512 251 17 0 23425 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 115840 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 4.03 5/194 14875 /proc/meminfo: memFree=13551104/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1242.26 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 86390 0 0 0 124211 15 0 0 25 0 1 0 546479616 109707264 23512 33554432000 4194304 4260849 140736691801056 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 23512 251 17 0 23425 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 115840 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 4.02 3/188 14879 /proc/meminfo: memFree=13760320/32950928 swapFree=67111528/67111528 [pid=14799] ppid=14797 vsize=8704 CPUtime=0.05 cores=4,6 /proc/14799/stat : 14799 (glucose.sh) S 14797 14799 14396 0 -1 4202496 360 766 0 0 0 0 5 0 23 0 1 0 546479609 8912896 255 33554432000 4194304 4922060 140737329260768 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/14799/statm: 2176 255 211 178 0 69 0 [pid=14802] ppid=14799 vsize=107136 CPUtime=1299.97 cores=4,6 /proc/14802/stat : 14802 (glucose_static) R 14799 14799 14396 0 -1 4202496 94926 0 0 0 129981 16 0 0 25 0 1 0 546479616 109707264 23512 33554432000 4194304 4260849 140736691801056 18446744073709551615 4224652 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14802/statm: 26784 23512 251 17 0 23425 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 115840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14799 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=56991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=6998 # CPU time returned by wait4() is 0.063989 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.86 CPU system time (s): 0.16 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 165160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.056991 system time used= 0.006998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1126 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= 7 involuntary context switches= 15 runsolver used 2.27165 second user time and 4.83526 second system time The end
Begin job on node113 at 2011-04-23 14:41:29 IDJOB=3265740 IDBENCH=85802 IDSOLVER=1651 FILE ID=node113/3265740-1303562489 RUNJOBID= node113-1303562489-14752 PBS_JOBID= 13150282 Free space on /tmp= 70792 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265740-1303562489/watcher-3265740-1303562489 -o /tmp/evaluation-result-3265740-1303562489/solver-3265740-1303562489 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265740-1303562489.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93 RANDOM SEED=1697947097 node113.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.846 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.69 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.846 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.76 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.74 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.846 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.846 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.83 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13945192 kB Buffers: 1839200 kB Cached: 16504140 kB SwapCached: 0 kB Active: 10558476 kB Inactive: 7861616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13945192 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9460 kB Writeback: 0 kB AnonPages: 75452 kB Mapped: 15256 kB Slab: 522304 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 269424 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= 70788 MiB End job on node113 at 2011-04-23 15:03:11