| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.06 | 5000.12 |
| Name | SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf |
| MD5SUM | 3aff0c2163848e3eed6bc22fc2c30cdf |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1801.9 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 95 |
| Number of clauses | 36888 |
| Sum of the clauses size | 368690 |
| Maximum clause length | 10 |
| Minimum clause length | 5 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 38 |
| Number of clauses of size over 5 | 36850 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.03 c ============================================================================== 0.00/0.03 c | | ORIGINAL | LEARNT | | 0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 0 | 36888 368690 | 11066 0 0 nan | 0.000 % | 0.00/0.03 c ============================================================================== 0.00/0.03 c Result : #vars: 95 #clauses: 36888 #literals: 368690 0.00/0.03 c CPU time: 0.035994 s 0.00/0.03 c ============================================================================== 0.00/0.08 c 0.00/0.08 c Starting glucose 0.00/0.08 c 3521.73/3521.80 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 3521.73/3521.80 c WARNING: for repeatability, setting FPU to use double precision 3521.73/3521.80 c ============================[ Problem Statistics ]============================= 3521.73/3521.80 c | | 3521.73/3521.80 c | Number of variables: 95 | 3521.73/3521.80 c | Number of clauses: 36888 | 3521.73/3521.80 c | Parse time: 0.02 s | 3521.73/3521.80 c | | 3521.73/3521.80 c ============================[ Search Statistics ]============================== 3521.73/3521.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3521.73/3521.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 3521.73/3521.80 c =============================================================================== 3521.73/3521.80 c | 20028408 | 95 36888 368690 | 1 347225 15 | 0.000 % | 3521.73/3521.80 c | 20028848 | 95 36888 368690 | 1 347665 15 | 0.000 % | 3521.73/3521.80 c | 20103210 | 95 36888 368690 | 1 422027 16 | 0.000 % | 3521.73/3521.80 c | 20138232 | 95 36888 368690 | 1 457049 16 | 0.000 % | 3521.73/3521.80 c | 20138332 | 95 36888 368690 | 1 457149 16 | 0.000 % | 3521.73/3521.80 c | 20138480 | 95 36888 368690 | 1 457297 16 | 0.000 % | 3521.73/3521.80 c | 20139520 | 95 36888 368690 | 1 458337 16 | 0.000 % | 3521.73/3521.80 c | 20147744 | 95 36888 368690 | 1 466561 16 | 0.000 % | 3521.73/3521.80 c | 20147844 | 95 36888 368690 | 1 466661 16 | 0.000 % | 3521.73/3521.80 c | 20147945 | 95 36888 368690 | 1 466762 16 | 0.000 % | 3521.73/3521.80 c | 21861554 | 95 36888 368690 | 1 548375 15 | 0.000 % | 3521.73/3521.80 c | 21861654 | 95 36888 368690 | 1 548475 15 | 0.000 % | 3521.73/3521.80 c | 21891156 | 95 36888 368690 | 1 577977 15 | 0.000 % | 3521.73/3521.80 c | 21891785 | 95 36888 368690 | 1 578606 15 | 0.000 % | 3521.73/3521.80 c | 21891887 | 95 36888 368690 | 1 578708 15 | 0.000 % | 3521.73/3521.80 c | 21998614 | 95 36888 368690 | 1 351234 14 | 0.000 % | 3521.73/3521.80 c | 21998785 | 95 36888 368690 | 1 351405 14 | 0.000 % | 3521.73/3521.80 c | 22019737 | 95 36888 368690 | 1 372357 14 | 0.000 % | 3521.73/3521.80 c | 22024468 | 95 36888 368690 | 1 377088 14 | 0.000 % | 3521.73/3521.80 c | 22024569 | 95 36888 368690 | 1 377189 14 | 0.000 % | 3521.73/3521.80 c | 22055846 | 95 36888 368690 | 1 408466 15 | 0.000 % | 3521.73/3521.80 c | 22055979 | 95 36888 368690 | 1 408599 15 | 0.000 % | 3521.73/3521.80 c | 22056079 | 95 36888 368690 | 1 408699 15 | 0.000 % | 3521.73/3521.80 c | 22056180 | 95 36888 368690 | 1 408800 15 | 0.000 % | 3521.73/3521.80 c | 22058902 | 95 36888 368690 | 1 411522 15 | 0.000 % | 3521.73/3521.80 c | 22084517 | 95 36888 368690 | 1 437137 15 | 0.000 % | 3521.73/3521.80 c | 22267088 | 95 36888 368690 | 1 619708 16 | 0.000 % | 3521.73/3521.80 c | 22278317 | 95 36888 368690 | 1 630937 16 | 0.000 % | 3521.73/3521.80 c | 22278418 | 95 36888 368690 | 1 631038 16 | 0.000 % | 3521.73/3521.80 c | 22278532 | 95 36888 368690 | 1 631152 16 | 0.000 % | 3521.73/3521.80 c | 22278632 | 95 36888 368690 | 1 631252 16 | 0.000 % | 3521.73/3521.80 c | 22278846 | 95 36888 368690 | 1 631466 16 | 0.000 % | 3521.73/3521.80 c | 22283008 | 95 36888 368690 | 1 635628 16 | 0.000 % | 3521.73/3521.80 c | 22306961 | 95 36888 368690 | 1 659581 16 | 0.000 % | 3521.73/3521.80 c | 22313508 | 95 36888 368690 | 1 666128 16 | 0.000 % | 3521.73/3521.80 c | 22334478 | 95 36888 368690 | 1 350300 14 | 0.000 % | 3521.73/3521.80 c | 22334648 | 95 36888 368690 | 1 350470 14 | 0.000 % | 3521.73/3521.80 c | 22357084 | 95 36888 368690 | 1 372906 14 | 0.000 % | 3521.73/3521.80 c | 22434803 | 95 36888 368690 | 1 450625 15 | 0.000 % | 3727.74/3727.86 c | 22437535 | 95 36888 368690 | 1 453357 15 | 0.000 % | 3727.74/3727.86 c | 22437635 | 95 36888 368690 | 1 453457 15 | 0.000 % | 3727.74/3727.86 c | 22437737 | 95 36888 368690 | 1 453559 15 | 0.000 % | 3727.74/3727.86 c | 22437838 | 95 36888 368690 | 1 453660 15 | 0.000 % | 3727.74/3727.86 c | 22516243 | 95 36888 368690 | 1 532065 15 | 0.000 % | 3727.74/3727.86 c | 22523032 | 95 36888 368690 | 1 538854 15 | 0.000 % | 3727.74/3727.86 c | 22523749 | 95 36888 368690 | 1 539571 15 | 0.000 % | 3727.74/3727.86 c | 22524530 | 95 36888 368690 | 1 540352 15 | 0.000 % | 3727.74/3727.86 c | 22524654 | 95 36888 368690 | 1 540476 15 | 0.000 % | 3727.74/3727.86 c | 22524768 | 95 36888 368690 | 1 540590 15 | 0.000 % | 3727.74/3727.86 c | 22525101 | 95 36888 368690 | 1 540923 15 | 0.000 % | 3727.74/3727.86 c | 22526876 | 95 36888 368690 | 1 542698 15 | 0.000 % | 3727.74/3727.86 c | 22527248 | 95 36888 368690 | 1 543070 15 | 0.000 % | 3727.74/3727.86 c | 22527351 | 95 36888 368690 | 1 543173 15 | 0.000 % | 3727.74/3727.86 c | 22527453 | 95 36888 368690 | 1 543275 15 | 0.000 % | 3727.74/3727.86 c | 22648944 | 95 36888 368690 | 1 664766 16 | 0.000 % | 3727.74/3727.86 c | 22690370 | 95 36888 368690 | 1 366792 14 | 0.000 % | 3727.74/3727.86 c | 22690691 | 95 36888 368690 | 1 367113 14 | 0.000 % | 3727.74/3727.86 c | 22692613 | 95 36888 368690 | 1 369035 14 | 0.000 % | 3727.74/3727.86 c | 22692946 | 95 36888 368690 | 1 369368 14 | 0.000 % | 3727.74/3727.86 c | 22693046 | 95 36888 368690 | 1 369468 14 | 0.000 % | 3727.74/3727.86 c | 22695627 | 95 36888 368690 | 1 372049 14 | 0.000 % | 3727.74/3727.86 c | 22695727 | 95 36888 368690 | 1 372149 14 | 0.000 % | 3727.74/3727.86 c | 22695827 | 95 36888 368690 | 1 372249 14 | 0.000 % | 3727.74/3727.86 c | 22697181 | 95 36888 368690 | 1 373603 14 | 0.000 % | 3727.74/3727.86 c | 22697281 | 95 36888 368690 | 1 373703 14 | 0.000 % | 3727.74/3727.86 c | 22697382 | 95 36888 368690 | 1 373804 14 | 0.000 % | 3727.74/3727.86 c | 22697483 | 95 36888 368690 | 1 373905 14 | 0.000 % | 3727.74/3727.86 c | 22697584 | 95 36888 368690 | 1 374006 14 | 0.000 % | 3727.74/3727.86 c | 22940059 | 95 36888 368690 | 1 616481 15 | 0.000 % | 3727.74/3727.86 c | 22947602 | 95 36888 368690 | 1 624024 15 | 0.000 % | 3727.74/3727.86 c | 22947702 | 95 36888 368690 | 1 624124 15 | 0.000 % | 3727.74/3727.86 c | 22947802 | 95 36888 368690 | 1 624224 15 | 0.000 % | 3727.74/3727.86 c | 22948644 | 95 36888 368690 | 1 625066 15 | 0.000 % | 3727.74/3727.86 c | 22948797 | 95 36888 368690 | 1 625219 15 | 0.000 % | 3727.74/3727.86 c | 22948994 | 95 36888 368690 | 1 625416 15 | 0.000 % | 3727.74/3727.86 c | 22949147 | 95 36888 368690 | 1 625569 15 | 0.000 % | 3727.74/3727.86 c | 22949311 | 95 36888 368690 | 1 625733 15 | 0.000 % | 3727.74/3727.86 c | 22949451 | 95 36888 368690 | 1 625873 15 | 0.000 % | 3727.74/3727.86 c | 22949552 | 95 36888 368690 | 1 625974 15 | 0.000 % | 3727.74/3727.86 c | 22949652 | 95 36888 368690 | 1 626074 15 | 0.000 % | 3727.74/3727.86 c | 23031641 | 95 36888 368690 | 1 366063 14 | 0.000 % | 3727.74/3727.86 c | 23031742 | 95 36888 368690 | 1 366164 14 | 0.000 % | 3727.74/3727.86 c | 23099314 | 95 36888 368690 | 1 433736 15 | 0.000 % | 3727.74/3727.86 c | 23123169 | 95 36888 368690 | 1 457591 15 | 0.000 % | 3727.74/3727.86 c | 23148783 | 95 36888 368690 | 1 483205 15 | 0.000 % | 3727.74/3727.86 c | 23148883 | 95 36888 368690 | 1 483305 15 | 0.000 % | 3727.74/3727.86 c | 23149626 | 95 36888 368690 | 1 484048 15 | 0.000 % | 3727.74/3727.86 c | 23149726 | 95 36888 368690 | 1 484148 15 | 0.000 % | 3727.74/3727.86 c | 23156538 | 95 36888 368690 | 1 490960 15 | 0.000 % | 3818.33/3818.49 c | 23156638 | 95 36888 368690 | 1 491060 15 | 0.000 % | 3818.33/3818.49 c | 23156739 | 95 36888 368690 | 1 491161 15 | 0.000 % | 3818.33/3818.49 c | 23156839 | 95 36888 368690 | 1 491261 15 | 0.000 % | 3818.33/3818.49 c | 23231495 | 95 36888 368690 | 1 565917 16 | 0.000 % | 3818.33/3818.49 c | 23231684 | 95 36888 368690 | 1 566106 16 | 0.000 % | 3818.33/3818.49 c | 23232456 | 95 36888 368690 | 1 566878 16 | 0.000 % | 3818.33/3818.49 c | 23240602 | 95 36888 368690 | 1 575024 16 | 0.000 % | 3818.33/3818.49 c | 23240749 | 95 36888 368690 | 1 575171 16 | 0.000 % | 3818.33/3818.49 c | 23240849 | 95 36888 368690 | 1 575271 16 | 0.000 % | 3818.33/3818.49 c | 23242945 | 95 36888 368690 | 1 577367 16 | 0.000 % | 3818.33/3818.49 c | 23245948 | 95 36888 368690 | 1 580370 16 | 0.000 % | 3818.33/3818.49 c | 23246194 | 95 36888 368690 | 1 580616 16 | 0.000 % | 3818.33/3818.49 c | 23246294 | 95 36888 368690 | 1 580716 16 | 0.000 % | 3818.33/3818.49 c | 23246600 | 95 36888 368690 | 1 581022 16 | 0.000 % | 3818.33/3818.49 c | 23250211 | 95 36888 368690 | 1 584633 16 | 0.000 % | 3818.33/3818.49 c | 23250312 | 95 36888 368690 | 1 584734 16 | 0.000 % | 3818.33/3818.49 c | 23250413 | 95 36888 368690 | 1 584835 16 | 0.000 % | 3818.33/3818.49 c | 23256678 | 95 36888 368690 | 1 591100 16 | 0.000 % | 3818.33/3818.49 c | 23256779 | 95 36888 368690 | 1 591201 16 | 0.000 % | 3818.33/3818.49 c | 23256880 | 95 36888 368690 | 1 591302 16 | 0.000 % | 3818.33/3818.49 c | 23256995 | 95 36888 368690 | 1 591417 16 | 0.000 % | 3818.33/3818.49 c | 23258140 | 95 36888 368690 | 1 592562 16 | 0.000 % | 3818.33/3818.49 c | 23258280 | 95 36888 368690 | 1 592702 16 | 0.000 % | 3818.33/3818.49 c | 23258381 | 95 36888 368690 | 1 592803 16 | 0.000 % | 3818.33/3818.49 c | 23259211 | 95 36888 368690 | 1 593633 16 | 0.000 % | 3818.33/3818.49 c | 23349964 | 95 36888 368690 | 1 684386 16 | 0.000 % | 3818.33/3818.49 c | 23350064 | 95 36888 368690 | 1 684486 16 | 0.000 % | 3818.33/3818.49 c | 23350164 | 95 36888 368690 | 1 684586 16 | 0.000 % | 3818.33/3818.49 c | 23358318 | 95 36888 368690 | 1 348139 14 | 0.000 % | 3818.33/3818.49 c | 23358419 | 95 36888 368690 | 1 348240 14 | 0.000 % | 3818.33/3818.49 c | 23358519 | 95 36888 368690 | 1 348340 14 | 0.000 % | 3818.33/3818.49 c | 23359564 | 95 36888 368690 | 1 349385 14 | 0.000 % | 3818.33/3818.49 c | 23360712 | 95 36888 368690 | 1 350533 14 | 0.000 % | 3818.33/3818.49 c | 23377425 | 95 36888 368690 | 1 367246 14 | 0.000 % | 3818.33/3818.49 c | 23377591 | 95 36888 368690 | 1 367412 14 | 0.000 % | 3818.33/3818.49 c | 23399434 | 95 36888 368690 | 1 389255 15 | 0.000 % | 3818.33/3818.49 c | 23399719 | 95 36888 368690 | 1 389540 15 | 0.000 % | 3818.33/3818.49 c | 23399826 | 95 36888 368690 | 1 389647 15 | 0.000 % | 3818.33/3818.49 c | 23400140 | 95 36888 368690 | 1 389961 15 | 0.000 % | 3818.33/3818.49 c | 23400240 | 95 36888 368690 | 1 390061 15 | 0.000 % | 3818.33/3818.49 c | 23403687 | 95 36888 368690 | 1 393508 15 | 0.000 % | 3818.33/3818.49 c | 23403788 | 95 36888 368690 | 1 393609 15 | 0.000 % | 3818.33/3818.49 c | 23403888 | 95 36888 368690 | 1 393709 15 | 0.000 % | 3818.33/3818.49 c | 23403988 | 95 36888 368690 | 1 393809 15 | 0.000 % | 3818.33/3818.49 c | 23404088 | 95 36888 368690 | 1 393909 15 | 0.000 % | 3818.33/3818.49 c | 23404538 | 95 36888 368690 | 1 394359 15 | 0.000 % | 3818.33/3818.49 c | 23404639 | 95 36888 368690 | 1 394460 15 | 0.000 % | 3818.33/3818.49 c | 23404739 | 95 36888 368690 | 1 394560 15 | 0.000 % | 3818.33/3818.49 c | 23405094 | 95 36888 368690 | 1 394915 15 | 0.000 % | 3818.33/3818.49 c | 23524884 | 95 36888 368690 | 1 514705 15 | 0.000 % | 4213.22/4213.33 c | 23553596 | 95 36888 368690 | 1 543417 16 | 0.000 % | 4213.22/4213.33 c | 23564978 | 95 36888 368690 | 1 554799 16 | 0.000 % | 4213.22/4213.33 c | 23565078 | 95 36888 368690 | 1 554899 16 | 0.000 % | 4213.22/4213.33 c | 23565329 | 95 36888 368690 | 1 555150 16 | 0.000 % | 4213.22/4213.33 c | 23565433 | 95 36888 368690 | 1 555254 16 | 0.000 % | 4213.22/4213.33 c | 23565671 | 95 36888 368690 | 1 555492 16 | 0.000 % | 4213.22/4213.33 c | 23565772 | 95 36888 368690 | 1 555593 16 | 0.000 % | 4213.22/4213.33 c | 23942843 | 95 36888 368690 | 1 585462 16 | 0.000 % | 4213.22/4213.33 c | 23942944 | 95 36888 368690 | 1 585563 16 | 0.000 % | 4213.22/4213.33 c | 23943435 | 95 36888 368690 | 1 586054 16 | 0.000 % | 4213.22/4213.33 c | 23943619 | 95 36888 368690 | 1 586238 16 | 0.000 % | 4213.22/4213.33 c | 23947158 | 95 36888 368690 | 1 589777 16 | 0.000 % | 4213.22/4213.33 c | 24442048 | 95 36888 368690 | 1 382469 14 | 0.000 % | 4213.22/4213.33 c | 24442910 | 95 36888 368690 | 1 383331 14 | 0.000 % | 4213.22/4213.33 c | 24525427 | 95 36888 368690 | 1 465848 15 | 0.000 % | 4213.22/4213.33 c | 24525528 | 95 36888 368690 | 1 465949 15 | 0.000 % | 4213.22/4213.33 c | 24525628 | 95 36888 368690 | 1 466049 15 | 0.000 % | 4213.22/4213.33 c | 24525729 | 95 36888 368690 | 1 466150 15 | 0.000 % | 4213.22/4213.33 c | 24526748 | 95 36888 368690 | 1 467169 15 | 0.000 % | 4213.22/4213.33 c | 24526950 | 95 36888 368690 | 1 467371 15 | 0.000 % | 4213.22/4213.33 c | 24565288 | 95 36888 368690 | 1 505709 15 | 0.000 % | 4213.22/4213.33 c | 24569282 | 95 36888 368690 | 1 509703 15 | 0.000 % | 4213.22/4213.33 c | 24570150 | 95 36888 368690 | 1 510571 15 | 0.000 % | 4213.22/4213.33 c | 24669230 | 95 36888 368690 | 1 609651 15 | 0.000 % | 4213.22/4213.33 c | 24690102 | 95 36888 368690 | 1 630523 15 | 0.000 % | 4213.22/4213.33 c | 24690203 | 95 36888 368690 | 1 630624 15 | 0.000 % | 4213.22/4213.33 c | 24690398 | 95 36888 368690 | 1 630819 15 | 0.000 % | 4213.22/4213.33 c | 24691211 | 95 36888 368690 | 1 631632 15 | 0.000 % | 4213.22/4213.33 c | 24691370 | 95 36888 368690 | 1 631791 15 | 0.000 % | 4213.22/4213.33 c | 24692696 | 95 36888 368690 | 1 633117 15 | 0.000 % | 4213.22/4213.33 c | 24762128 | 95 36888 368690 | 1 702549 16 | 0.000 % | 4213.22/4213.33 c | 24762229 | 95 36888 368690 | 1 702650 16 | 0.000 % | 4213.22/4213.33 c | 25015368 | 95 36888 368690 | 1 600786 15 | 0.000 % | 4213.22/4213.33 c | 25015481 | 95 36888 368690 | 1 600899 15 | 0.000 % | 4213.22/4213.33 c | 25018595 | 95 36888 368690 | 1 604013 15 | 0.000 % | 4213.22/4213.33 c | 25018764 | 95 36888 368690 | 1 604182 15 | 0.000 % | 4213.22/4213.33 c | 25018866 | 95 36888 368690 | 1 604284 15 | 0.000 % | 4213.22/4213.34 c | 25019820 | 95 36888 368690 | 1 605238 15 | 0.000 % | 4213.22/4213.34 c | 25019920 | 95 36888 368690 | 1 605338 15 | 0.000 % | 4213.22/4213.34 c | 25020055 | 95 36888 368690 | 1 605473 15 | 0.000 % | 4213.22/4213.34 c | 25020156 | 95 36888 368690 | 1 605574 15 | 0.000 % | 4213.22/4213.34 c | 25020256 | 95 36888 368690 | 1 605674 15 | 0.000 % | 4213.22/4213.34 c | 25020970 | 95 36888 368690 | 1 606388 15 | 0.000 % | 4213.22/4213.34 c | 25021070 | 95 36888 368690 | 1 606488 15 | 0.000 % | 4213.22/4213.34 c | 25021571 | 95 36888 368690 | 1 606989 15 | 0.000 % | 4213.22/4213.34 c | 25021678 | 95 36888 368690 | 1 607096 15 | 0.000 % | 4213.22/4213.34 c | 25021780 | 95 36888 368690 | 1 607198 15 | 0.000 % | 4213.22/4213.34 c | 25021881 | 95 36888 368690 | 1 607299 15 | 0.000 % | 4213.22/4213.34 c | 25044641 | 95 36888 368690 | 1 630059 15 | 0.000 % | 4213.22/4213.34 c | 25044742 | 95 36888 368690 | 1 630160 15 | 0.000 % | 4338.13/4338.25 c | 25044842 | 95 36888 368690 | 1 630260 15 | 0.000 % | 4338.13/4338.25 c | 25044942 | 95 36888 368690 | 1 630360 15 | 0.000 % | 4338.13/4338.25 c | 25053956 | 95 36888 368690 | 1 639374 15 | 0.000 % | 4338.13/4338.25 c | 25054057 | 95 36888 368690 | 1 639475 15 | 0.000 % | 4338.13/4338.25 c | 25054159 | 95 36888 368690 | 1 639577 15 | 0.000 % | 4338.13/4338.25 c | 25054295 | 95 36888 368690 | 1 639713 15 | 0.000 % | 4338.13/4338.25 c | 25057386 | 95 36888 368690 | 1 642804 15 | 0.000 % | 4338.13/4338.25 c | 25057486 | 95 36888 368690 | 1 642904 15 | 0.000 % | 4338.13/4338.25 c | 25057588 | 95 36888 368690 | 1 643006 15 | 0.000 % | 4338.13/4338.25 c | 25057688 | 95 36888 368690 | 1 643106 15 | 0.000 % | 4338.13/4338.25 c | 25057792 | 95 36888 368690 | 1 643210 15 | 0.000 % | 4338.13/4338.25 c | 25057895 | 95 36888 368690 | 1 643313 15 | 0.000 % | 4338.13/4338.25 c | 25058785 | 95 36888 368690 | 1 644203 15 | 0.000 % | 4338.13/4338.25 c | 25058885 | 95 36888 368690 | 1 644303 15 | 0.000 % | 4338.13/4338.25 c | 25105323 | 95 36888 368690 | 1 690741 15 | 0.000 % | 4338.13/4338.25 c | 25105423 | 95 36888 368690 | 1 690841 15 | 0.000 % | 4338.13/4338.25 c | 25105525 | 95 36888 368690 | 1 690943 15 | 0.000 % | 4338.13/4338.25 c | 25105643 | 95 36888 368690 | 1 691061 15 | 0.000 % | 4338.13/4338.25 c | 25106164 | 95 36888 368690 | 1 691582 15 | 0.000 % | 4338.13/4338.25 c | 25106265 | 95 36888 368690 | 1 691683 15 | 0.000 % | 4338.13/4338.25 c | 25106366 | 95 36888 368690 | 1 691784 15 | 0.000 % | 4338.13/4338.25 c | 25125383 | 95 36888 368690 | 1 710801 15 | 0.000 % | 4338.13/4338.25 c | 25128179 | 95 36888 368690 | 1 713597 15 | 0.000 % | 4338.13/4338.25 c | 25128280 | 95 36888 368690 | 1 713698 15 | 0.000 % | 4338.13/4338.25 c | 25129099 | 95 36888 368690 | 1 714517 15 | 0.000 % | 4338.13/4338.25 c | 25129202 | 95 36888 368690 | 1 714620 15 | 0.000 % | 4338.13/4338.25 c | 25129884 | 95 36888 368690 | 1 357695 13 | 0.000 % | 4338.13/4338.25 c | 25130129 | 95 36888 368690 | 1 357940 13 | 0.000 % | 4338.13/4338.25 c | 25131216 | 95 36888 368690 | 1 359027 13 | 0.000 % | 4338.13/4338.25 c | 25131526 | 95 36888 368690 | 1 359337 13 | 0.000 % | 4338.13/4338.25 c | 25131626 | 95 36888 368690 | 1 359437 13 | 0.000 % | 4338.13/4338.25 c | 25132972 | 95 36888 368690 | 1 360783 13 | 0.000 % | 4338.13/4338.25 c | 25133258 | 95 36888 368690 | 1 361069 13 | 0.000 % | 4338.13/4338.25 c | 25133358 | 95 36888 368690 | 1 361169 13 | 0.000 % | 4338.13/4338.25 c | 25255768 | 95 36888 368690 | 1 483579 14 | 0.000 % | 4338.13/4338.25 c | 25258825 | 95 36888 368690 | 1 486636 14 | 0.000 % | 4338.13/4338.25 c | 25258925 | 95 36888 368690 | 1 486736 14 | 0.000 % | 4338.13/4338.25 c | 25259025 | 95 36888 368690 | 1 486836 14 | 0.000 % | 4338.13/4338.25 c | 25260064 | 95 36888 368690 | 1 487875 14 | 0.000 % | 4338.13/4338.25 c | 25260165 | 95 36888 368690 | 1 487976 14 | 0.000 % | 4338.13/4338.25 c | 25321349 | 95 36888 368690 | 1 549160 14 | 0.000 % | 4338.13/4338.25 c | 25324125 | 95 36888 368690 | 1 551936 14 | 0.000 % | 4338.13/4338.25 c | 25324225 | 95 36888 368690 | 1 552036 14 | 0.000 % | 4338.13/4338.25 c | 25324326 | 95 36888 368690 | 1 552137 14 | 0.000 % | 4338.13/4338.25 c | 25329750 | 95 36888 368690 | 1 557561 14 | 0.000 % | 4338.13/4338.25 c | 25329850 | 95 36888 368690 | 1 557661 14 | 0.000 % | 4338.13/4338.25 c | 25329951 | 95 36888 368690 | 1 557762 14 | 0.000 % | 4338.13/4338.25 c | 25330085 | 95 36888 368690 | 1 557896 14 | 0.000 % | 4338.13/4338.25 c | 25330511 | 95 36888 368690 | 1 558322 14 | 0.000 % | 4338.13/4338.25 c | 25385594 | 95 36888 368690 | 1 613405 15 | 0.000 % | 4434.33/4434.43 c | 25389174 | 95 36888 368690 | 1 616985 15 | 0.000 % | 4434.33/4434.43 c | 25389275 | 95 36888 368690 | 1 617086 15 | 0.000 % | 4434.33/4434.43 c | 25482333 | 95 36888 368690 | 1 710144 15 | 0.000 % | 4434.33/4434.43 c | 25482490 | 95 36888 368690 | 1 710301 15 | 0.000 % | 4434.33/4434.43 c | 25482771 | 95 36888 368690 | 1 710582 15 | 0.000 % | 4434.33/4434.43 c | 25482872 | 95 36888 368690 | 1 710683 15 | 0.000 % | 4434.33/4434.43 c | 25482974 | 95 36888 368690 | 1 710785 15 | 0.000 % | 4434.33/4434.43 c | 25483076 | 95 36888 368690 | 1 710887 15 | 0.000 % | 4434.33/4434.43 c | 25483178 | 95 36888 368690 | 1 710989 15 | 0.000 % | 4434.33/4434.43 c | 25483278 | 95 36888 368690 | 1 711089 15 | 0.000 % | 4434.33/4434.43 c | 25483378 | 95 36888 368690 | 1 711189 15 | 0.000 % | 4434.33/4434.43 c | 25483478 | 95 36888 368690 | 1 711289 15 | 0.000 % | 4434.33/4434.43 c | 25483578 | 95 36888 368690 | 1 711389 15 | 0.000 % | 4434.33/4434.43 c | 25483727 | 95 36888 368690 | 1 711538 15 | 0.000 % | 4434.33/4434.43 c | 25483828 | 95 36888 368690 | 1 711639 15 | 0.000 % | 4434.33/4434.43 c | 25483928 | 95 36888 368690 | 1 711739 15 | 0.000 % | 4434.33/4434.43 c | 25502004 | 95 36888 368690 | 1 369616 13 | 0.000 % | 4434.33/4434.43 c | 25502105 | 95 36888 368690 | 1 369717 13 | 0.000 % | 4434.33/4434.43 c | 25502205 | 95 36888 368690 | 1 369817 13 | 0.000 % | 4434.33/4434.43 c | 25502308 | 95 36888 368690 | 1 369920 13 | 0.000 % | 4434.33/4434.43 c | 25502788 | 95 36888 368690 | 1 370400 13 | 0.000 % | 4434.33/4434.43 c | 25502889 | 95 36888 368690 | 1 370501 13 | 0.000 % | 4434.33/4434.43 c | 25502990 | 95 36888 368690 | 1 370602 13 | 0.000 % | 4434.33/4434.43 c | 25646589 | 95 36888 368690 | 1 514201 14 | 0.000 % | 4434.33/4434.43 c | 25646689 | 95 36888 368690 | 1 514301 14 | 0.000 % | 4434.33/4434.43 c | 25646790 | 95 36888 368690 | 1 514402 14 | 0.000 % | 4434.33/4434.43 c | 25647609 | 95 36888 368690 | 1 515221 14 | 0.000 % | 4434.33/4434.43 c | 25647709 | 95 36888 368690 | 1 515321 14 | 0.000 % | 4434.33/4434.43 c | 25657128 | 95 36888 368690 | 1 524740 14 | 0.000 % | 4434.33/4434.43 c | 25662436 | 95 36888 368690 | 1 530048 14 | 0.000 % | 4434.33/4434.43 c | 25662537 | 95 36888 368690 | 1 530149 14 | 0.000 % | 4434.33/4434.43 c | 25662638 | 95 36888 368690 | 1 530250 14 | 0.000 % | 4434.33/4434.43 c | 25662739 | 95 36888 368690 | 1 530351 14 | 0.000 % | 4434.33/4434.43 c | 25662840 | 95 36888 368690 | 1 530452 14 | 0.000 % | 4434.33/4434.43 c | 25664011 | 95 36888 368690 | 1 531623 14 | 0.000 % | 4434.33/4434.43 c | 25664117 | 95 36888 368690 | 1 531729 14 | 0.000 % | 4434.33/4434.43 c | 25664217 | 95 36888 368690 | 1 531829 14 | 0.000 % | 4434.33/4434.43 c | 25664318 | 95 36888 368690 | 1 531930 14 | 0.000 % | 4434.33/4434.43 c | 25664419 | 95 36888 368690 | 1 532031 14 | 0.000 % | 4434.33/4434.43 c | 25671116 | 95 36888 368690 | 1 538728 14 | 0.000 % | 4434.33/4434.43 c | 25672880 | 95 36888 368690 | 1 540492 14 | 0.000 % | 4434.33/4434.43 c | 25672980 | 95 36888 368690 | 1 540592 14 | 0.000 % | 4434.33/4434.43 c | 25712152 | 95 36888 368690 | 1 579764 14 | 0.000 % | 4434.33/4434.43 c | 25712253 | 95 36888 368690 | 1 579865 14 | 0.000 % | 4434.33/4434.43 c | 25712353 | 95 36888 368690 | 1 579965 14 | 0.000 % | 4434.33/4434.43 c | 25712453 | 95 36888 368690 | 1 580065 14 | 0.000 % | 4434.33/4434.43 c | 25712553 | 95 36888 368690 | 1 580165 14 | 0.000 % | 4434.33/4434.43 c | 25712655 | 95 36888 368690 | 1 580267 14 | 0.000 % | 4434.33/4434.43 c | 25712755 | 95 36888 368690 | 1 580367 14 | 0.000 % | 4434.33/4434.43 c | 25713103 | 95 36888 368690 | 1 580715 14 | 0.000 % | 4498.94/4499.06 c | 25713204 | 95 36888 368690 | 1 580816 14 | 0.000 % | 4498.94/4499.06 c | 25713305 | 95 36888 368690 | 1 580917 14 | 0.000 % | 4498.94/4499.06 c | 25713406 | 95 36888 368690 | 1 581018 14 | 0.000 % | 4498.94/4499.06 c | 25713509 | 95 36888 368690 | 1 581121 14 | 0.000 % | 4498.94/4499.06 c | 25714018 | 95 36888 368690 | 1 581630 14 | 0.000 % | 4498.94/4499.06 c | 25714120 | 95 36888 368690 | 1 581732 14 | 0.000 % | 4498.94/4499.06 c | 25714221 | 95 36888 368690 | 1 581833 14 | 0.000 % | 4498.94/4499.06 c | 25714322 | 95 36888 368690 | 1 581934 14 | 0.000 % | 4498.94/4499.06 c | 25714423 | 95 36888 368690 | 1 582035 14 | 0.000 % | 4498.94/4499.06 c | 25731544 | 95 36888 368690 | 1 599156 15 | 0.000 % | 4498.94/4499.06 c | 25731672 | 95 36888 368690 | 1 599284 15 | 0.000 % | 4498.94/4499.06 c | 25731772 | 95 36888 368690 | 1 599384 15 | 0.000 % | 4498.94/4499.06 c | 25731873 | 95 36888 368690 | 1 599485 15 | 0.000 % | 4498.94/4499.06 c | 25738800 | 95 36888 368690 | 1 606412 15 | 0.000 % | 4498.94/4499.06 c | 25738900 | 95 36888 368690 | 1 606512 15 | 0.000 % | 4498.94/4499.06 c | 25739839 | 95 36888 368690 | 1 607451 15 | 0.000 % | 4498.94/4499.06 c | 25741341 | 95 36888 368690 | 1 608953 15 | 0.000 % | 4498.94/4499.06 c | 25741441 | 95 36888 368690 | 1 609053 15 | 0.000 % | 4498.94/4499.06 c | 25741584 | 95 36888 368690 | 1 609196 15 | 0.000 % | 4498.94/4499.06 c | 25769896 | 95 36888 368690 | 1 637508 15 | 0.000 % | 4498.94/4499.06 c | 25769996 | 95 36888 368690 | 1 637608 15 | 0.000 % | 4498.94/4499.06 c | 25770096 | 95 36888 368690 | 1 637708 15 | 0.000 % | 4498.94/4499.06 c | 25770437 | 95 36888 368690 | 1 638049 15 | 0.000 % | 4498.94/4499.06 c | 25779681 | 95 36888 368690 | 1 647293 15 | 0.000 % | 4498.94/4499.06 c | 25779781 | 95 36888 368690 | 1 647393 15 | 0.000 % | 4498.94/4499.06 c | 25779882 | 95 36888 368690 | 1 647494 15 | 0.000 % | 4498.94/4499.06 c | 25780107 | 95 36888 368690 | 1 647719 15 | 0.000 % | 4498.94/4499.06 c | 25785950 | 95 36888 368690 | 1 653562 15 | 0.000 % | 4498.94/4499.06 c | 25786340 | 95 36888 368690 | 1 653952 15 | 0.000 % | 4498.94/4499.06 c | 25868027 | 95 36888 368690 | 1 372848 13 | 0.000 % | 4498.94/4499.06 c | 25868335 | 95 36888 368690 | 1 373156 13 | 0.000 % | 4498.94/4499.06 c | 25868435 | 95 36888 368690 | 1 373256 13 | 0.000 % | 4498.94/4499.06 c | 25869219 | 95 36888 368690 | 1 374040 13 | 0.000 % | 4498.94/4499.06 c | 25872414 | 95 36888 368690 | 1 377235 14 | 0.000 % | 4498.94/4499.06 c | 25872724 | 95 36888 368690 | 1 377545 14 | 0.000 % | 4498.94/4499.06 c | 25872825 | 95 36888 368690 | 1 377646 14 | 0.000 % | 4498.94/4499.06 c | 25872926 | 95 36888 368690 | 1 377747 14 | 0.000 % | 4498.94/4499.06 c | 25873026 | 95 36888 368690 | 1 377847 14 | 0.000 % | 4498.94/4499.06 c | 25873129 | 95 36888 368690 | 1 377950 14 | 0.000 % | 4498.94/4499.06 c | 25873229 | 95 36888 368690 | 1 378050 14 | 0.000 % | 4498.94/4499.06 c | 25886640 | 95 36888 368690 | 1 391461 14 | 0.000 % | 4498.94/4499.06 c | 25886949 | 95 36888 368690 | 1 391770 14 | 0.000 % | 4498.94/4499.06 c | 25887049 | 95 36888 368690 | 1 391870 14 | 0.000 % | 4498.94/4499.06 c | 25887536 | 95 36888 368690 | 1 392357 14 | 0.000 % | 4498.94/4499.06 c | 25887638 | 95 36888 368690 | 1 392459 14 | 0.000 % | 4498.94/4499.06 c | 25887739 | 95 36888 368690 | 1 392560 14 | 0.000 % | 4498.94/4499.06 c | 25887840 | 95 36888 368690 | 1 392661 14 | 0.000 % | 4498.94/4499.06 c | 25888320 | 95 36888 368690 | 1 393141 14 | 0.000 % | 4498.94/4499.06 c | 25889256 | 95 36888 368690 | 1 394077 14 | 0.000 % | 4536.34/4536.48 c | 25892872 | 95 36888 368690 | 1 397693 14 | 0.000 % | 4536.34/4536.48 c | 25892973 | 95 36888 368690 | 1 397794 14 | 0.000 % | 4536.34/4536.48 c | 25893108 | 95 36888 368690 | 1 397929 14 | 0.000 % | 4536.34/4536.48 c | 25893209 | 95 36888 368690 | 1 398030 14 | 0.000 % | 4536.34/4536.48 c | 25893310 | 95 36888 368690 | 1 398131 14 | 0.000 % | 4536.34/4536.48 c | 25893410 | 95 36888 368690 | 1 398231 14 | 0.000 % | 4536.34/4536.48 c | 25894378 | 95 36888 368690 | 1 399199 14 | 0.000 % | 4536.34/4536.48 c | 25894478 | 95 36888 368690 | 1 399299 14 | 0.000 % | 4536.34/4536.48 c | 25894579 | 95 36888 368690 | 1 399400 14 | 0.000 % | 4536.34/4536.48 c | 25894682 | 95 36888 368690 | 1 399503 14 | 0.000 % | 4536.34/4536.48 c | 25894783 | 95 36888 368690 | 1 399604 14 | 0.000 % | 4536.34/4536.48 c | 25897608 | 95 36888 368690 | 1 402429 14 | 0.000 % | 4536.34/4536.48 c | 25915561 | 95 36888 368690 | 1 420382 14 | 0.000 % | 4536.34/4536.48 c | 25919029 | 95 36888 368690 | 1 423850 14 | 0.000 % | 4536.34/4536.48 c | 25919131 | 95 36888 368690 | 1 423952 14 | 0.000 % | 4536.34/4536.48 c | 25933609 | 95 36888 368690 | 1 438430 14 | 0.000 % | 4536.34/4536.48 c | 25934458 | 95 36888 368690 | 1 439279 14 | 0.000 % | 4536.34/4536.48 c | 25934558 | 95 36888 368690 | 1 439379 14 | 0.000 % | 4536.34/4536.48 c | 25934826 | 95 36888 368690 | 1 439647 14 | 0.000 % | 4536.34/4536.48 c | 25934968 | 95 36888 368690 | 1 439789 14 | 0.000 % | 4536.34/4536.48 c | 25935069 | 95 36888 368690 | 1 439890 14 | 0.000 % | 4536.34/4536.48 c | 25935171 | 95 36888 368690 | 1 439992 14 | 0.000 % | 4536.34/4536.48 c | 25935827 | 95 36888 368690 | 1 440648 14 | 0.000 % | 4536.34/4536.48 c | 25936224 | 95 36888 368690 | 1 441045 14 | 0.000 % | 4536.34/4536.48 c | 25939608 | 95 36888 368690 | 1 444429 14 | 0.000 % | 4536.34/4536.48 c | 25939710 | 95 36888 368690 | 1 444531 14 | 0.000 % | 4536.34/4536.48 c | 25940592 | 95 36888 368690 | 1 445413 14 | 0.000 % | 4536.34/4536.48 c | 25943330 | 95 36888 368690 | 1 448151 14 | 0.000 % | 4536.34/4536.48 c | 25943430 | 95 36888 368690 | 1 448251 14 | 0.000 % | 4536.34/4536.48 c | 25943534 | 95 36888 368690 | 1 448355 14 | 0.000 % | 4536.34/4536.48 c | 25943634 | 95 36888 368690 | 1 448455 14 | 0.000 % | 4536.34/4536.48 c | 25943734 | 95 36888 368690 | 1 448555 14 | 0.000 % | 4536.34/4536.48 c | 25943834 | 95 36888 368690 | 1 448655 14 | 0.000 % | 4536.34/4536.48 c | 25957091 | 95 36888 368690 | 1 461912 14 | 0.000 % | 4536.34/4536.48 c | 25957192 | 95 36888 368690 | 1 462013 14 | 0.000 % | 4536.34/4536.48 c | 25957295 | 95 36888 368690 | 1 462116 14 | 0.000 % | 4536.34/4536.48 c | 25959176 | 95 36888 368690 | 1 463997 14 | 0.000 % | 4536.34/4536.48 c | 25959279 | 95 36888 368690 | 1 464100 14 | 0.000 % | 4536.34/4536.48 c | 25970683 | 95 36888 368690 | 1 475504 14 | 0.000 % | 4536.34/4536.48 c | 25971106 | 95 36888 368690 | 1 475927 14 | 0.000 % | 4536.34/4536.48 c | 25971234 | 95 36888 368690 | 1 476055 14 | 0.000 % | 4536.34/4536.48 c | 26007316 | 95 36888 368690 | 1 512137 15 | 0.000 % | 4536.34/4536.48 c | 26007416 | 95 36888 368690 | 1 512237 15 | 0.000 % | 4536.34/4536.48 c | 26007519 | 95 36888 368690 | 1 512340 15 | 0.000 % | 4536.34/4536.48 c | 26021256 | 95 36888 368690 | 1 526077 15 | 0.000 % | 4536.34/4536.48 c | 26021357 | 95 36888 368690 | 1 526178 15 | 0.000 % | 4536.34/4536.48 c | 26021457 | 95 36888 368690 | 1 526278 15 | 0.000 % | 4536.34/4536.48 c | 26021865 | 95 36888 368690 | 1 526686 15 | 0.000 % | 4536.34/4536.48 c | 26021965 | 95 36888 368690 | 1 526786 15 | 0.000 % | 4536.34/4536.48 c | 26022065 | 95 36888 368690 | 1 526886 15 | 0.000 % | 4601.53/4601.65 c | 26022188 | 95 36888 368690 | 1 527009 15 | 0.000 % | 4601.53/4601.65 c | 26022288 | 95 36888 368690 | 1 527109 15 | 0.000 % | 4601.53/4601.65 c | 26022389 | 95 36888 368690 | 1 527210 15 | 0.000 % | 4601.53/4601.65 c | 26022490 | 95 36888 368690 | 1 527311 15 | 0.000 % | 4601.53/4601.65 c | 26022590 | 95 36888 368690 | 1 527411 15 | 0.000 % | 4601.53/4601.65 c | 26022691 | 95 36888 368690 | 1 527512 15 | 0.000 % | 4601.53/4601.65 c | 26022792 | 95 36888 368690 | 1 527613 15 | 0.000 % | 4601.53/4601.65 c | 26022893 | 95 36888 368690 | 1 527714 15 | 0.000 % | 4601.53/4601.65 c | 26023068 | 95 36888 368690 | 1 527889 15 | 0.000 % | 4601.53/4601.65 c | 26023168 | 95 36888 368690 | 1 527989 15 | 0.000 % | 4601.53/4601.65 c | 26023583 | 95 36888 368690 | 1 528404 15 | 0.000 % | 4601.53/4601.65 c | 26023683 | 95 36888 368690 | 1 528504 15 | 0.000 % | 4601.53/4601.65 c | 26023783 | 95 36888 368690 | 1 528604 15 | 0.000 % | 4601.53/4601.65 c | 26023883 | 95 36888 368690 | 1 528704 15 | 0.000 % | 4601.53/4601.65 c | 26024153 | 95 36888 368690 | 1 528974 15 | 0.000 % | 4601.53/4601.65 c | 26024253 | 95 36888 368690 | 1 529074 15 | 0.000 % | 4601.53/4601.65 c | 26024355 | 95 36888 368690 | 1 529176 15 | 0.000 % | 4601.53/4601.65 c | 26027135 | 95 36888 368690 | 1 531956 15 | 0.000 % | 4601.53/4601.65 c | 26027237 | 95 36888 368690 | 1 532058 15 | 0.000 % | 4601.53/4601.65 c | 26027338 | 95 36888 368690 | 1 532159 15 | 0.000 % | 4601.53/4601.65 c | 26027650 | 95 36888 368690 | 1 532471 15 | 0.000 % | 4601.53/4601.65 c | 26035473 | 95 36888 368690 | 1 540294 15 | 0.000 % | 4601.53/4601.65 c | 26035573 | 95 36888 368690 | 1 540394 15 | 0.000 % | 4601.53/4601.65 c | 26035673 | 95 36888 368690 | 1 540494 15 | 0.000 % | 4601.53/4601.65 c | 26035773 | 95 36888 368690 | 1 540594 15 | 0.000 % | 4601.53/4601.65 c | 26038069 | 95 36888 368690 | 1 542890 15 | 0.000 % | 4601.53/4601.65 c | 26038173 | 95 36888 368690 | 1 542994 15 | 0.000 % | 4601.53/4601.65 c | 26038273 | 95 36888 368690 | 1 543094 15 | 0.000 % | 4601.53/4601.65 c | 26038374 | 95 36888 368690 | 1 543195 15 | 0.000 % | 4601.53/4601.65 c | 26038474 | 95 36888 368690 | 1 543295 15 | 0.000 % | 4601.53/4601.65 c | 26038576 | 95 36888 368690 | 1 543397 15 | 0.000 % | 4601.53/4601.65 c | 26038677 | 95 36888 368690 | 1 543498 15 | 0.000 % | 4601.53/4601.65 c | 26061125 | 95 36888 368690 | 1 565946 15 | 0.000 % | 4601.53/4601.65 c | 26061708 | 95 36888 368690 | 1 566529 15 | 0.000 % | 4601.53/4601.65 c | 26061810 | 95 36888 368690 | 1 566631 15 | 0.000 % | 4601.53/4601.65 c | 26061912 | 95 36888 368690 | 1 566733 15 | 0.000 % | 4601.53/4601.65 c | 26138970 | 95 36888 368690 | 1 643791 15 | 0.000 % | 4601.53/4601.65 c | 26139070 | 95 36888 368690 | 1 643891 15 | 0.000 % | 4601.53/4601.65 c | 26161692 | 95 36888 368690 | 1 666513 15 | 0.000 % | 4601.53/4601.65 c | 26174126 | 95 36888 368690 | 1 678947 15 | 0.000 % | 4601.53/4601.65 c | 26175981 | 95 36888 368690 | 1 680802 15 | 0.000 % | 4601.53/4601.65 c | 26176081 | 95 36888 368690 | 1 680902 15 | 0.000 % | 4601.53/4601.65 c | 26176181 | 95 36888 368690 | 1 681002 15 | 0.000 % | 4601.53/4601.65 c | 26176283 | 95 36888 368690 | 1 681104 15 | 0.000 % | 4601.53/4601.65 c | 26176383 | 95 36888 368690 | 1 681204 15 | 0.000 % | 4601.53/4601.65 c | 26176498 | 95 36888 368690 | 1 681319 15 | 0.000 % | 4601.53/4601.65 c | 26176599 | 95 36888 368690 | 1 681420 15 | 0.000 % | 4601.53/4601.65 c | 26187667 | 95 36888 368690 | 1 692488 15 | 0.000 % | 4601.53/4601.65 c | 26193279 | 95 36888 368690 | 1 698100 15 | 0.000 % | 4601.53/4601.65 c | 26193537 | 95 36888 368690 | 1 698358 15 | 0.000 % | 4645.15/4645.24 c | 26193655 | 95 36888 368690 | 1 698476 15 | 0.000 % | 4645.15/4645.24 c | 26193756 | 95 36888 368690 | 1 698577 15 | 0.000 % | 4645.15/4645.24 c | 26193856 | 95 36888 368690 | 1 698677 15 | 0.000 % | 4645.15/4645.24 c | 26193957 | 95 36888 368690 | 1 698778 15 | 0.000 % | 4645.15/4645.24 c | 26194057 | 95 36888 368690 | 1 698878 15 | 0.000 % | 4645.15/4645.24 c | 26194159 | 95 36888 368690 | 1 698980 15 | 0.000 % | 4645.15/4645.24 c | 26194465 | 95 36888 368690 | 1 699286 15 | 0.000 % | 4645.15/4645.24 c | 26195175 | 95 36888 368690 | 1 699996 15 | 0.000 % | 4645.15/4645.24 c | 26195275 | 95 36888 368690 | 1 700096 15 | 0.000 % | 4645.15/4645.24 c | 26195457 | 95 36888 368690 | 1 700278 15 | 0.000 % | 4645.15/4645.24 c | 26195611 | 95 36888 368690 | 1 700432 15 | 0.000 % | 4645.15/4645.24 c | 26195711 | 95 36888 368690 | 1 700532 15 | 0.000 % | 4645.15/4645.24 c | 26195811 | 95 36888 368690 | 1 700632 15 | 0.000 % | 4645.15/4645.24 c | 26195914 | 95 36888 368690 | 1 700735 15 | 0.000 % | 4645.15/4645.24 c | 26196187 | 95 36888 368690 | 1 701008 16 | 0.000 % | 4645.15/4645.24 c | 26196289 | 95 36888 368690 | 1 701110 16 | 0.000 % | 4645.15/4645.24 c | 26196393 | 95 36888 368690 | 1 701214 16 | 0.000 % | 4645.15/4645.24 c | 26196493 | 95 36888 368690 | 1 701314 16 | 0.000 % | 4645.15/4645.24 c | 26196594 | 95 36888 368690 | 1 701415 16 | 0.000 % | 4645.15/4645.24 c | 26198490 | 95 36888 368690 | 1 703311 16 | 0.000 % | 4645.15/4645.24 c | 26198754 | 95 36888 368690 | 1 703575 16 | 0.000 % | 4645.15/4645.24 c | 26198854 | 95 36888 368690 | 1 703675 16 | 0.000 % | 4645.15/4645.24 c | 26198955 | 95 36888 368690 | 1 703776 16 | 0.000 % | 4645.15/4645.24 c | 26200380 | 95 36888 368690 | 1 705201 16 | 0.000 % | 4645.15/4645.24 c | 26200481 | 95 36888 368690 | 1 705302 16 | 0.000 % | 4645.15/4645.24 c | 26200581 | 95 36888 368690 | 1 705402 16 | 0.000 % | 4645.15/4645.24 c | 26200681 | 95 36888 368690 | 1 705502 16 | 0.000 % | 4645.15/4645.24 c | 26201275 | 95 36888 368690 | 1 706096 16 | 0.000 % | 4645.15/4645.24 c | 26201379 | 95 36888 368690 | 1 706200 16 | 0.000 % | 4645.15/4645.24 c | 26201485 | 95 36888 368690 | 1 706306 16 | 0.000 % | 4645.15/4645.24 c | 26201587 | 95 36888 368690 | 1 706408 16 | 0.000 % | 4645.15/4645.24 c | 26201688 | 95 36888 368690 | 1 706509 16 | 0.000 % | 4645.15/4645.24 c | 26201789 | 95 36888 368690 | 1 706610 16 | 0.000 % | 4645.15/4645.24 c | 26303216 | 95 36888 368690 | 1 442637 14 | 0.000 % | 4645.15/4645.24 c | 26303460 | 95 36888 368690 | 1 442881 14 | 0.000 % | 4645.15/4645.24 c | 26303561 | 95 36888 368690 | 1 442982 14 | 0.000 % | 4645.15/4645.24 c | 26303661 | 95 36888 368690 | 1 443082 14 | 0.000 % | 4645.15/4645.24 c | 26307351 | 95 36888 368690 | 1 446772 14 | 0.000 % | 4645.15/4645.24 c | 26307451 | 95 36888 368690 | 1 446872 14 | 0.000 % | 4645.15/4645.24 c | 26319953 | 95 36888 368690 | 1 459374 14 | 0.000 % | 4645.15/4645.24 c | 26322280 | 95 36888 368690 | 1 461701 14 | 0.000 % | 4645.15/4645.24 c | 26322380 | 95 36888 368690 | 1 461801 14 | 0.000 % | 4645.15/4645.24 c | 26322482 | 95 36888 368690 | 1 461903 14 | 0.000 % | 4645.15/4645.24 c | 26334914 | 95 36888 368690 | 1 474335 14 | 0.000 % | 4645.15/4645.24 c | 26335014 | 95 36888 368690 | 1 474435 14 | 0.000 % | 4645.15/4645.24 c | 26335125 | 95 36888 368690 | 1 474546 14 | 0.000 % | 4645.15/4645.24 c | 26335225 | 95 36888 368690 | 1 474646 14 | 0.000 % | 4645.15/4645.24 c | 26335327 | 95 36888 368690 | 1 474748 14 | 0.000 % | 4645.15/4645.24 c | 26335736 | 95 36888 368690 | 1 475157 14 | 0.000 % | 4645.15/4645.24 c | 26346748 | 95 36888 368690 | 1 486169 14 | 0.000 % | 4672.13/4672.20 c | 26346909 | 95 36888 368690 | 1 486330 14 | 0.000 % | 4672.13/4672.20 c | 26347009 | 95 36888 368690 | 1 486430 14 | 0.000 % | 4672.13/4672.20 c | 26347109 | 95 36888 368690 | 1 486530 14 | 0.000 % | 4672.13/4672.20 c | 26347210 | 95 36888 368690 | 1 486631 14 | 0.000 % | 4672.13/4672.20 c | 26348523 | 95 36888 368690 | 1 487944 14 | 0.000 % | 4672.13/4672.20 c | 26356976 | 95 36888 368690 | 1 496397 15 | 0.000 % | 4672.13/4672.20 c | 26357077 | 95 36888 368690 | 1 496498 15 | 0.000 % | 4672.13/4672.20 c | 26358731 | 95 36888 368690 | 1 498152 15 | 0.000 % | 4672.13/4672.20 c | 26359611 | 95 36888 368690 | 1 499032 15 | 0.000 % | 4672.13/4672.20 c | 26376020 | 95 36888 368690 | 1 515441 15 | 0.000 % | 4672.13/4672.20 c | 26377370 | 95 36888 368690 | 1 516791 15 | 0.000 % | 4672.13/4672.20 c | 26377871 | 95 36888 368690 | 1 517292 15 | 0.000 % | 4672.13/4672.20 c | 26378136 | 95 36888 368690 | 1 517557 15 | 0.000 % | 4672.13/4672.20 c | 26378236 | 95 36888 368690 | 1 517657 15 | 0.000 % | 4672.13/4672.20 c | 26386720 | 95 36888 368690 | 1 526141 15 | 0.000 % | 4672.13/4672.20 c | 26387696 | 95 36888 368690 | 1 527117 15 | 0.000 % | 4672.13/4672.20 c | 26392443 | 95 36888 368690 | 1 531864 15 | 0.000 % | 4672.13/4672.20 c | 26392543 | 95 36888 368690 | 1 531964 15 | 0.000 % | 4672.13/4672.20 c | 26392645 | 95 36888 368690 | 1 532066 15 | 0.000 % | 4672.13/4672.20 c | 26392909 | 95 36888 368690 | 1 532330 15 | 0.000 % | 4672.13/4672.20 c | 26393009 | 95 36888 368690 | 1 532430 15 | 0.000 % | 4672.13/4672.20 c | 26393109 | 95 36888 368690 | 1 532530 15 | 0.000 % | 4672.13/4672.20 c | 26393263 | 95 36888 368690 | 1 532684 15 | 0.000 % | 4672.13/4672.20 c | 26393363 | 95 36888 368690 | 1 532784 15 | 0.000 % | 4672.13/4672.20 c | 26395191 | 95 36888 368690 | 1 534612 15 | 0.000 % | 4672.13/4672.20 c | 26399494 | 95 36888 368690 | 1 538915 15 | 0.000 % | 4672.13/4672.20 c | 26408212 | 95 36888 368690 | 1 547633 15 | 0.000 % | 4672.13/4672.20 c | 26408312 | 95 36888 368690 | 1 547733 15 | 0.000 % | 4672.13/4672.20 c | 26408417 | 95 36888 368690 | 1 547838 15 | 0.000 % | 4672.13/4672.20 c | 26409053 | 95 36888 368690 | 1 548474 15 | 0.000 % | 4672.13/4672.20 c | 26409333 | 95 36888 368690 | 1 548754 15 | 0.000 % | 4672.13/4672.20 c | 26411525 | 95 36888 368690 | 1 550946 15 | 0.000 % | 4672.13/4672.20 c | 26412014 | 95 36888 368690 | 1 551435 15 | 0.000 % | 4672.13/4672.20 c | 26412114 | 95 36888 368690 | 1 551535 15 | 0.000 % | 4672.13/4672.20 c | 26412215 | 95 36888 368690 | 1 551636 15 | 0.000 % | 4672.13/4672.20 c | 26412509 | 95 36888 368690 | 1 551930 15 | 0.000 % | 4672.13/4672.20 c | 26412610 | 95 36888 368690 | 1 552031 15 | 0.000 % | 4672.13/4672.20 c | 26412880 | 95 36888 368690 | 1 552301 15 | 0.000 % | 4672.13/4672.20 c | 26414872 | 95 36888 368690 | 1 554293 15 | 0.000 % | 4672.13/4672.20 c | 26416138 | 95 36888 368690 | 1 555559 15 | 0.000 % | 4672.13/4672.20 c | 26416240 | 95 36888 368690 | 1 555661 15 | 0.000 % | 4672.13/4672.20 c | 26416511 | 95 36888 368690 | 1 555932 15 | 0.000 % | 4672.13/4672.20 c | 26417189 | 95 36888 368690 | 1 556610 15 | 0.000 % | 4672.13/4672.20 c | 26419210 | 95 36888 368690 | 1 558631 15 | 0.000 % | 4672.13/4672.20 c | 26419310 | 95 36888 368690 | 1 558731 15 | 0.000 % | 4672.13/4672.20 c | 26419410 | 95 36888 368690 | 1 558831 15 | 0.000 % | 4672.13/4672.20 c | 26419512 | 95 36888 368690 | 1 558933 15 | 0.000 % | 4672.13/4672.20 c | 26419612 | 95 36888 368690 | 1 559033 15 | 0.000 % | 4672.13/4672.20 c | 26419714 | 95 36888 368690 | 1 559135 15 | 0.000 % | 4672.13/4672.20 c | 26419848 | 95 36888 368690 | 1 559269 15 | 0.000 % | 4819.24/4819.36 c | 26420602 | 95 36888 368690 | 1 560023 15 | 0.000 % | 4819.24/4819.36 c | 26420702 | 95 36888 368690 | 1 560123 15 | 0.000 % | 4819.24/4819.36 c | 26420803 | 95 36888 368690 | 1 560224 15 | 0.000 % | 4819.24/4819.36 c | 26420903 | 95 36888 368690 | 1 560324 15 | 0.000 % | 4819.24/4819.36 c | 26421032 | 95 36888 368690 | 1 560453 15 | 0.000 % | 4819.24/4819.36 c | 26421134 | 95 36888 368690 | 1 560555 15 | 0.000 % | 4819.24/4819.36 c | 26422371 | 95 36888 368690 | 1 561792 15 | 0.000 % | 4819.24/4819.36 c | 26458440 | 95 36888 368690 | 1 597861 15 | 0.000 % | 4819.24/4819.36 c | 26458540 | 95 36888 368690 | 1 597961 15 | 0.000 % | 4819.24/4819.36 c | 26458640 | 95 36888 368690 | 1 598061 15 | 0.000 % | 4819.24/4819.36 c | 26459831 | 95 36888 368690 | 1 599252 15 | 0.000 % | 4819.24/4819.36 c | 26460203 | 95 36888 368690 | 1 599624 15 | 0.000 % | 4819.24/4819.36 c | 26460304 | 95 36888 368690 | 1 599725 15 | 0.000 % | 4819.24/4819.36 c | 26462274 | 95 36888 368690 | 1 601695 15 | 0.000 % | 4819.24/4819.36 c | 26462766 | 95 36888 368690 | 1 602187 15 | 0.000 % | 4819.24/4819.36 c | 26462874 | 95 36888 368690 | 1 602295 15 | 0.000 % | 4819.24/4819.36 c | 26462981 | 95 36888 368690 | 1 602402 15 | 0.000 % | 4819.24/4819.36 c | 26463581 | 95 36888 368690 | 1 603002 15 | 0.000 % | 4819.24/4819.36 c | 26474035 | 95 36888 368690 | 1 613456 15 | 0.000 % | 4819.24/4819.36 c | 26474144 | 95 36888 368690 | 1 613565 15 | 0.000 % | 4819.24/4819.36 c | 26475457 | 95 36888 368690 | 1 614878 15 | 0.000 % | 4819.24/4819.36 c | 26477921 | 95 36888 368690 | 1 617342 15 | 0.000 % | 4819.24/4819.36 c | 26478021 | 95 36888 368690 | 1 617442 15 | 0.000 % | 4819.24/4819.36 c | 26496932 | 95 36888 368690 | 1 636353 15 | 0.000 % | 4819.24/4819.36 c | 26498225 | 95 36888 368690 | 1 637646 15 | 0.000 % | 4819.24/4819.36 c | 26498326 | 95 36888 368690 | 1 637747 15 | 0.000 % | 4819.24/4819.36 c | 26498428 | 95 36888 368690 | 1 637849 15 | 0.000 % | 4819.24/4819.36 c | 26599578 | 95 36888 368690 | 1 370998 13 | 0.000 % | 4819.24/4819.36 c | 26599711 | 95 36888 368690 | 1 371131 13 | 0.000 % | 4819.24/4819.36 c | 26606828 | 95 36888 368690 | 1 378248 13 | 0.000 % | 4819.24/4819.36 c | 26609203 | 95 36888 368690 | 1 380623 14 | 0.000 % | 4819.24/4819.36 c | 26609339 | 95 36888 368690 | 1 380759 14 | 0.000 % | 4819.24/4819.36 c | 26609830 | 95 36888 368690 | 1 381250 14 | 0.000 % | 4819.24/4819.36 c | 26609931 | 95 36888 368690 | 1 381351 14 | 0.000 % | 4819.24/4819.36 c | 26610031 | 95 36888 368690 | 1 381451 14 | 0.000 % | 4819.24/4819.36 c | 26610131 | 95 36888 368690 | 1 381551 14 | 0.000 % | 4819.24/4819.36 c | 26610304 | 95 36888 368690 | 1 381724 14 | 0.000 % | 4819.24/4819.36 c | 26610404 | 95 36888 368690 | 1 381824 14 | 0.000 % | 4819.24/4819.36 c | 26610504 | 95 36888 368690 | 1 381924 14 | 0.000 % | 4819.24/4819.36 c | 26610845 | 95 36888 368690 | 1 382265 14 | 0.000 % | 4819.24/4819.36 c | 26610946 | 95 36888 368690 | 1 382366 14 | 0.000 % | 4819.24/4819.36 c | 26611248 | 95 36888 368690 | 1 382668 14 | 0.000 % | 4819.24/4819.36 c | 26614839 | 95 36888 368690 | 1 386259 14 | 0.000 % | 4819.24/4819.36 c | 26616618 | 95 36888 368690 | 1 388038 14 | 0.000 % | 4819.24/4819.36 c | 26616718 | 95 36888 368690 | 1 388138 14 | 0.000 % | 4819.24/4819.36 c | 26617349 | 95 36888 368690 | 1 388769 14 | 0.000 % | 4819.24/4819.36 c | 26617451 | 95 36888 368690 | 1 388871 14 | 0.000 % | 4819.24/4819.36 c | 26626878 | 95 36888 368690 | 1 398298 14 | 0.000 % | 4819.24/4819.36 c | 26626980 | 95 36888 368690 | 1 398400 14 | 0.000 % | 4819.24/4819.36 c | 26826747 | 95 36888 368690 | 1 598167 14 | 0.000 % | 4885.06/4885.12 c | 26827783 | 95 36888 368690 | 1 599203 14 | 0.000 % | 4885.06/4885.12 c | 26827892 | 95 36888 368690 | 1 599312 14 | 0.000 % | 4885.06/4885.12 c | 26827993 | 95 36888 368690 | 1 599413 14 | 0.000 % | 4885.06/4885.12 c | 26828093 | 95 36888 368690 | 1 599513 14 | 0.000 % | 4885.06/4885.12 c | 26828193 | 95 36888 368690 | 1 599613 14 | 0.000 % | 4885.06/4885.12 c | 26828296 | 95 36888 368690 | 1 599716 14 | 0.000 % | 4885.06/4885.12 c | 26828396 | 95 36888 368690 | 1 599816 14 | 0.000 % | 4885.06/4885.12 c | 26828496 | 95 36888 368690 | 1 599916 14 | 0.000 % | 4885.06/4885.12 c | 26828598 | 95 36888 368690 | 1 600018 14 | 0.000 % | 4885.06/4885.12 c | 26828699 | 95 36888 368690 | 1 600119 14 | 0.000 % | 4885.06/4885.12 c | 26831467 | 95 36888 368690 | 1 602887 14 | 0.000 % | 4885.06/4885.12 c | 26831567 | 95 36888 368690 | 1 602987 14 | 0.000 % | 4885.06/4885.12 c | 26831667 | 95 36888 368690 | 1 603087 14 | 0.000 % | 4885.06/4885.12 c | 26831767 | 95 36888 368690 | 1 603187 14 | 0.000 % | 4885.06/4885.12 c | 26831868 | 95 36888 368690 | 1 603288 14 | 0.000 % | 4885.06/4885.12 c | 26831974 | 95 36888 368690 | 1 603394 14 | 0.000 % | 4885.06/4885.12 c | 26832412 | 95 36888 368690 | 1 603832 14 | 0.000 % | 4885.06/4885.12 c | 26832513 | 95 36888 368690 | 1 603933 14 | 0.000 % | 4885.06/4885.12 c | 26832615 | 95 36888 368690 | 1 604035 14 | 0.000 % | 4885.06/4885.12 c | 26832715 | 95 36888 368690 | 1 604135 14 | 0.000 % | 4885.06/4885.12 c | 26832815 | 95 36888 368690 | 1 604235 14 | 0.000 % | 4885.06/4885.12 c | 26833110 | 95 36888 368690 | 1 604530 14 | 0.000 % | 4885.06/4885.12 c | 26884176 | 95 36888 368690 | 1 655596 15 | 0.000 % | 4885.06/4885.12 c | 26884276 | 95 36888 368690 | 1 655696 15 | 0.000 % | 4885.06/4885.12 c | 26887592 | 95 36888 368690 | 1 659012 15 | 0.000 % | 4885.06/4885.12 c | 26887762 | 95 36888 368690 | 1 659182 15 | 0.000 % | 4885.06/4885.12 c | 26887863 | 95 36888 368690 | 1 659283 15 | 0.000 % | 4885.06/4885.12 c | 26915359 | 95 36888 368690 | 1 686779 15 | 0.000 % | 4885.06/4885.12 c | 26993617 | 95 36888 368690 | 1 394433 14 | 0.000 % | 4885.06/4885.12 c | 26993825 | 95 36888 368690 | 1 394641 14 | 0.000 % | 4885.06/4885.12 c | 26997247 | 95 36888 368690 | 1 398063 14 | 0.000 % | 4885.06/4885.12 c | 26997347 | 95 36888 368690 | 1 398163 14 | 0.000 % | 4885.06/4885.12 c | 26997447 | 95 36888 368690 | 1 398263 14 | 0.000 % | 4885.06/4885.12 c | 26997547 | 95 36888 368690 | 1 398363 14 | 0.000 % | 4885.06/4885.12 c | 27001546 | 95 36888 368690 | 1 402362 14 | 0.000 % | 4885.06/4885.12 c | 27001806 | 95 36888 368690 | 1 402622 14 | 0.000 % | 4885.06/4885.12 c | 27001908 | 95 36888 368690 | 1 402724 14 | 0.000 % | 4885.06/4885.12 c | 27002029 | 95 36888 368690 | 1 402845 14 | 0.000 % | 4885.06/4885.12 c | 27002129 | 95 36888 368690 | 1 402945 14 | 0.000 % | 4885.06/4885.12 c | 27002330 | 95 36888 368690 | 1 403146 14 | 0.000 % | 4885.06/4885.12 c | 27002795 | 95 36888 368690 | 1 403611 14 | 0.000 % | 4885.06/4885.12 c | 27004940 | 95 36888 368690 | 1 405756 14 | 0.000 % | 4885.06/4885.12 c | 27005040 | 95 36888 368690 | 1 405856 14 | 0.000 % | 4885.06/4885.12 c | 27005143 | 95 36888 368690 | 1 405959 14 | 0.000 % | 4885.06/4885.12 c | 27005243 | 95 36888 368690 | 1 406059 14 | 0.000 % | 4885.06/4885.12 c | 27005343 | 95 36888 368690 | 1 406159 14 | 0.000 % | 4885.06/4885.12 c | 27005540 | 95 36888 368690 | 1 406356 14 | 0.000 % | 4885.06/4885.12 c | 27007666 | 95 36888 368690 | 1 408482 14 | 0.000 % | 4885.06/4885.12 c | 27007767 | 95 36888 368690 | 1 408583 14 | 0.000 % | 4885.06/4885.12 c | 27007867 | 95 36888 368690 | 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: 977) 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-3303510-1306946893/watcher-3303510-1306946893 -o /tmp/evaluation-result-3303510-1306946893/solver-3303510-1306946893 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303510-1306946893.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: 0.92 0.98 1.14 4/497 19426 /proc/meminfo: memFree=31392652/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 806290228 8912896 252 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19426/statm: 2176 252 211 178 0 69 0 [startup+0.0229319 s] /proc/loadavg: 0.92 0.98 1.14 4/497 19426 /proc/meminfo: memFree=31392652/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 334 0 0 0 0 0 0 0 18 0 1 0 806290228 8912896 252 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19426/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100963 s] /proc/loadavg: 0.92 0.98 1.14 4/497 19426 /proc/meminfo: memFree=31392652/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300927 s] /proc/loadavg: 0.92 0.98 1.14 4/497 19426 /proc/meminfo: memFree=31392652/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700855 s] /proc/loadavg: 0.92 0.98 1.14 4/497 19426 /proc/meminfo: memFree=31392652/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.50072 s] /proc/loadavg: 0.92 0.98 1.14 4/501 19432 /proc/meminfo: memFree=31366516/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=26692 CPUtime=1.4 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 5158 0 0 0 140 0 0 0 20 0 1 0 806290237 27332608 3500 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224669 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 6673 3500 241 17 0 3314 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35396 [startup+3.10043 s] /proc/loadavg: 0.92 0.98 1.14 4/501 19432 /proc/meminfo: memFree=31361184/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=33500 CPUtime=3 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 9854 0 0 0 299 1 0 0 25 0 1 0 806290237 34304000 4689 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 8375 4689 241 17 0 5016 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 42204 [startup+6.30087 s] /proc/loadavg: 1.01 1.00 1.14 5/501 19432 /proc/meminfo: memFree=31341828/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=33500 CPUtime=6.2 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 10244 0 0 0 619 1 0 0 25 0 1 0 806290237 34304000 5067 33554432000 4194304 4260849 140735138720000 18446744073709551615 4227295 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 8375 5067 241 17 0 5016 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 42204 [startup+12.7007 s] /proc/loadavg: 1.09 1.02 1.15 4/501 19433 /proc/meminfo: memFree=31313136/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=33864 CPUtime=12.6 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 14280 0 0 0 1259 1 0 0 25 0 1 0 806290237 34676736 4389 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 8466 4389 241 17 0 5107 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42568 [startup+25.5005 s] /proc/loadavg: 1.29 1.06 1.16 4/501 19433 /proc/meminfo: memFree=31296264/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=54020 CPUtime=25.4 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 20079 0 0 0 2538 2 0 0 25 0 1 0 806290237 55316480 7784 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 13505 7784 241 17 0 10146 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62724 [startup+51.1009 s] /proc/loadavg: 1.53 1.14 1.18 4/501 19434 /proc/meminfo: memFree=31284920/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=61204 CPUtime=51 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 23083 0 0 0 5098 2 0 0 25 0 1 0 806290237 62672896 10638 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 15301 10638 241 17 0 11942 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69908 [startup+102.32 s] /proc/loadavg: 1.79 1.27 1.22 4/501 19435 /proc/meminfo: memFree=31243080/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=65624 CPUtime=102.21 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 25109 0 0 0 10219 2 0 0 25 0 1 0 806290237 67198976 12571 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 16406 12571 241 17 0 13047 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 74328 [startup+162.3 s] /proc/loadavg: 1.92 1.40 1.27 4/501 19437 /proc/meminfo: memFree=31252596/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=88676 CPUtime=162.2 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 33259 0 0 0 16217 3 0 0 25 0 1 0 806290237 90804224 16012 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 22169 16012 241 17 0 18810 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 97380 [startup+222.301 s] /proc/loadavg: 1.97 1.51 1.31 4/501 19438 /proc/meminfo: memFree=31197008/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=89672 CPUtime=222.19 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 34191 0 0 0 22216 3 0 0 25 0 1 0 806290237 91824128 16915 33554432000 4194304 4260849 140735138720000 18446744073709551615 4210284 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 22418 16915 241 17 0 19059 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 98376 [startup+282.301 s] /proc/loadavg: 1.99 1.59 1.35 4/501 19440 /proc/meminfo: memFree=31168792/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=101164 CPUtime=282.19 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 37834 0 0 0 28215 4 0 0 25 0 1 0 806290237 103591936 20382 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 25291 20382 241 17 0 21932 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 109868 [startup+342.3 s] /proc/loadavg: 1.99 1.66 1.39 4/501 19441 /proc/meminfo: memFree=31165484/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=101164 CPUtime=342.19 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 38319 0 0 0 34215 4 0 0 25 0 1 0 806290237 103591936 20844 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 25291 20844 241 17 0 21932 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 109868 [startup+402.301 s] /proc/loadavg: 1.99 1.72 1.42 4/501 19443 /proc/meminfo: memFree=31166128/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 ################ # More data... # ################ /proc/19431/statm: 61272 50592 250 17 0 57913 0 Current children cumulated CPU time (s) 4362.22 Current children cumulated vsize (KiB) 253792 [startup+4422.3 s] /proc/loadavg: 2.27 2.07 2.02 4/501 19571 /proc/meminfo: memFree=31010704/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=215708 CPUtime=4422.15 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 852794 0 0 0 442036 179 0 0 25 0 1 0 806290237 220884992 48001 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19431/statm: 53927 48001 250 17 0 50568 0 Current children cumulated CPU time (s) 4422.23 Current children cumulated vsize (KiB) 224412 [startup+4482.3 s] /proc/loadavg: 2.22 2.08 2.03 4/501 19573 /proc/meminfo: memFree=30958956/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=246528 CPUtime=4482.14 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 856089 0 0 0 448034 180 0 0 25 0 1 0 806290237 252444672 51150 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 61632 51150 250 17 0 58273 0 Current children cumulated CPU time (s) 4482.22 Current children cumulated vsize (KiB) 255232 [startup+4542.3 s] /proc/loadavg: 2.08 2.07 2.02 4/501 19576 /proc/meminfo: memFree=30938940/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=217148 CPUtime=4542.15 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 867115 0 0 0 454032 183 0 0 25 0 1 0 806290237 222359552 48761 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54287 48761 250 17 0 50928 0 Current children cumulated CPU time (s) 4542.23 Current children cumulated vsize (KiB) 225852 [startup+4602.3 s] /proc/loadavg: 2.03 2.05 2.01 4/501 19579 /proc/meminfo: memFree=30976060/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=247968 CPUtime=4602.16 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 870354 0 0 0 460032 184 0 0 25 0 1 0 806290237 253919232 51840 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 61992 51840 250 17 0 58633 0 Current children cumulated CPU time (s) 4602.24 Current children cumulated vsize (KiB) 256672 [startup+4662.3 s] /proc/loadavg: 2.01 2.04 2.01 4/501 19581 /proc/meminfo: memFree=30955684/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=217148 CPUtime=4662.15 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 880824 0 0 0 466029 186 0 0 25 0 1 0 806290237 222359552 48478 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54287 48478 250 17 0 50928 0 Current children cumulated CPU time (s) 4662.23 Current children cumulated vsize (KiB) 225852 [startup+4722.32 s] /proc/loadavg: 2.00 2.03 2.00 4/501 19582 /proc/meminfo: memFree=31001264/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=247968 CPUtime=4722.17 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 883637 0 0 0 472030 187 0 0 25 0 1 0 806290237 253919232 51155 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 61992 51155 250 17 0 58633 0 Current children cumulated CPU time (s) 4722.25 Current children cumulated vsize (KiB) 256672 [startup+4782.3 s] /proc/loadavg: 2.00 2.02 2.00 4/501 19584 /proc/meminfo: memFree=30983968/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=217148 CPUtime=4782.16 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 893319 0 0 0 478027 189 0 0 25 0 1 0 806290237 222359552 47140 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54287 47140 250 17 0 50928 0 Current children cumulated CPU time (s) 4782.24 Current children cumulated vsize (KiB) 225852 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 4/501 19585 /proc/meminfo: memFree=30944744/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=217148 CPUtime=4842.15 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 896871 0 0 0 484025 190 0 0 25 0 1 0 806290237 222359552 50512 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54287 50512 250 17 0 50928 0 Current children cumulated CPU time (s) 4842.23 Current children cumulated vsize (KiB) 225852 [startup+4902.3 s] /proc/loadavg: 2.00 2.01 2.00 4/501 19587 /proc/meminfo: memFree=30930316/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=218588 CPUtime=4902.16 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 907599 0 0 0 490024 192 0 0 25 0 1 0 806290237 223834112 47499 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54647 47499 250 17 0 51288 0 Current children cumulated CPU time (s) 4902.24 Current children cumulated vsize (KiB) 227292 [startup+4962.3 s] /proc/loadavg: 2.00 2.01 2.00 4/501 19589 /proc/meminfo: memFree=30967100/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=218588 CPUtime=4962.16 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 911380 0 0 0 496022 194 0 0 25 0 1 0 806290237 223834112 51096 33554432000 4194304 4260849 140735138720000 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 54647 51096 250 17 0 51288 0 Current children cumulated CPU time (s) 4962.24 Current children cumulated vsize (KiB) 227292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000.1 s] /proc/loadavg: 2.10 2.03 2.01 2/499 19591 /proc/meminfo: memFree=31167820/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=249408 CPUtime=4999.98 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 913023 0 0 0 499803 195 0 0 25 0 1 0 806290237 255393792 52655 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225095 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 62352 52655 250 17 0 58993 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 258112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+5000.1 s] /proc/loadavg: 2.10 2.03 2.01 2/499 19591 /proc/meminfo: memFree=31167820/32951124 swapFree=53876544/67111528 [pid=19426] ppid=19422 vsize=8704 CPUtime=0.08 cores=0,2,4,6 /proc/19426/stat : 19426 (glucose.sh) S 19422 19426 18603 0 -1 4202496 359 1211 0 0 0 0 8 0 18 0 1 0 806290228 8912896 254 33554432000 4194304 4922060 140734854575040 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/19426/statm: 2176 254 211 178 0 69 0 [pid=19431] ppid=19426 vsize=249408 CPUtime=4999.98 cores=0,2,4,6 /proc/19431/stat : 19431 (glucose_static) R 19426 19426 18603 0 -1 4202496 913023 0 0 0 499803 195 0 0 25 0 1 0 806290237 255393792 52655 33554432000 4194304 4260849 140735138720000 18446744073709551615 4225095 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19431/statm: 62352 52655 250 17 0 58993 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 258112 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19426 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=86986 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.088985 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.12 CPU time (s): 5000.06 CPU user time (s): 4998.11 CPU system time (s): 1.95 CPU usage (%): 99.9987 Max. virtual memory (cumulated for all children) (KiB): 258112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.086986 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1570 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= 23 involuntary context switches= 4 runsolver used 26.489 second user time and 59.17 second system time The end
Begin job on node108 at 2011-06-01 18:48:13 IDJOB=3303510 IDBENCH=83899 IDSOLVER=1687 FILE ID=node108/3303510-1306946893 RUNJOBID= node108-1306946893-19407 PBS_JOBID= 13488589 Free space on /tmp= 73852 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303510-1306946893/watcher-3303510-1306946893 -o /tmp/evaluation-result-3303510-1306946893/solver-3303510-1306946893 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303510-1306946893.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3aff0c2163848e3eed6bc22fc2c30cdf RANDOM SEED=41023668 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31393088 kB Buffers: 179176 kB Cached: 117352 kB SwapCached: 13416 kB Active: 1122456 kB Inactive: 165440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31393088 kB SwapTotal: 67111528 kB SwapFree: 53876544 kB Dirty: 4308 kB Writeback: 0 kB AnonPages: 988092 kB Mapped: 12244 kB Slab: 135248 kB PageTables: 65724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 134538964 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= 73844 MiB End job on node108 at 2011-06-01 20:11:35