| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.01 | 4999.91 |
| Name | crafted/mosoi/289/ 289-unsat-5x41.cnf |
| MD5SUM | 420773b7b438dd18c8a88a15fb5bcae1 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 820 |
| Number of clauses | 34235 |
| Sum of the clauses size | 134480 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 1230 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 33005 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.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 | 34235 134480 | 10270 0 0 nan | 0.000 % | 0.00/0.24 c | 0 | 33415 198030 | -- 0 -- -- | -- | -820/63550 0.00/0.24 c ============================================================================== 0.00/0.24 c Result : #vars: 615 #clauses: 33415 #literals: 198030 0.00/0.24 c CPU time: 0.246962 s 0.00/0.24 c ============================================================================== 0.00/0.27 c 0.00/0.27 c Starting glucose 0.00/0.27 c 0.27/0.91 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.27/0.91 c WARNING: for repeatability, setting FPU to use double precision 0.27/0.91 c ============================[ Problem Statistics ]============================= 0.27/0.91 c | | 0.27/0.91 c | Number of variables: 615 | 0.27/0.91 c | Number of clauses: 33415 | 0.27/0.91 c | Parse time: 0.01 s | 0.27/0.91 c | | 0.27/0.91 c ============================[ Search Statistics ]============================== 0.27/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.91 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.27/0.91 c =============================================================================== 0.27/0.91 c | 37929 | 615 33415 198030 | 1 11300 28 | 0.000 % | 0.27/0.91 c | 38765 | 615 33415 198030 | 1 12136 30 | 0.000 % | 0.27/0.91 c | 38886 | 615 33415 198030 | 1 12257 30 | 0.000 % | 0.27/0.91 c | 39003 | 615 33415 198030 | 1 12374 30 | 0.000 % | 0.27/0.91 c | 39104 | 615 33415 198030 | 1 12475 30 | 0.000 % | 0.27/0.91 c | 39217 | 615 33415 198030 | 1 12588 30 | 0.000 % | 0.27/0.91 c | 39317 | 615 33415 198030 | 1 12688 30 | 0.000 % | 0.27/0.91 c | 39466 | 615 33415 198030 | 1 12837 31 | 0.000 % | 0.27/0.91 c | 39572 | 615 33415 198030 | 1 12943 31 | 0.000 % | 0.27/0.91 c | 39673 | 615 33415 198030 | 1 13044 31 | 0.000 % | 0.27/0.91 c | 39790 | 615 33415 198030 | 1 13161 31 | 0.000 % | 0.27/0.91 c | 39896 | 615 33415 198030 | 1 13267 31 | 0.000 % | 0.27/0.91 c | 39997 | 615 33415 198030 | 1 13368 31 | 0.000 % | 0.27/0.91 c | 40097 | 615 33415 198030 | 1 13468 32 | 0.000 % | 0.27/0.91 c | 40211 | 615 33415 198030 | 1 13582 32 | 0.000 % | 0.27/0.91 c | 40329 | 615 33415 198030 | 1 13700 32 | 0.000 % | 0.27/0.91 c | 40430 | 615 33415 198030 | 1 13801 32 | 0.000 % | 0.27/0.91 c | 40532 | 615 33415 198030 | 1 13903 32 | 0.000 % | 0.27/0.91 c | 40632 | 615 33415 198030 | 1 7024 19 | 0.000 % | 0.27/0.91 c | 40732 | 615 33415 198030 | 1 7124 19 | 0.000 % | 0.27/0.91 c | 40832 | 615 33415 198030 | 1 7224 20 | 0.000 % | 0.27/0.91 c | 40932 | 615 33415 198030 | 1 7324 20 | 0.000 % | 0.27/0.91 c | 41032 | 615 33415 198030 | 1 7424 21 | 0.000 % | 0.27/0.91 c | 41134 | 615 33415 198030 | 1 7526 21 | 0.000 % | 0.27/0.91 c | 41237 | 615 33415 198030 | 1 7629 22 | 0.000 % | 0.27/0.91 c | 41340 | 615 33415 198030 | 1 7732 23 | 0.000 % | 0.27/0.91 c | 41442 | 615 33415 198030 | 1 7834 24 | 0.000 % | 0.27/0.91 c | 41542 | 615 33415 198030 | 1 7934 25 | 0.000 % | 0.27/0.91 c | 41644 | 615 33415 198030 | 1 8036 26 | 0.000 % | 0.27/0.91 c | 41745 | 615 33415 198030 | 1 8137 26 | 0.000 % | 0.27/0.91 c | 41845 | 615 33415 198030 | 1 8237 27 | 0.000 % | 0.27/0.91 c | 41945 | 615 33415 198030 | 1 8337 28 | 0.000 % | 0.27/0.91 c | 42046 | 615 33415 198030 | 1 8438 29 | 0.000 % | 0.27/0.91 c | 42146 | 615 33415 198030 | 1 8538 30 | 0.000 % | 0.27/0.91 c | 42246 | 615 33415 198030 | 1 8638 31 | 0.000 % | 0.27/0.91 c | 42346 | 615 33415 198030 | 1 8738 31 | 0.000 % | 0.27/0.91 c | 42447 | 615 33415 198030 | 1 8839 32 | 0.000 % | 0.27/0.91 c | 42549 | 615 33415 198030 | 1 8941 33 | 0.000 % | 0.27/0.91 c | 42650 | 615 33415 198030 | 1 9042 34 | 0.000 % | 0.27/1.02 c | 42751 | 615 33415 198030 | 1 9143 34 | 0.000 % | 0.27/1.02 c | 42851 | 615 33415 198030 | 1 9243 35 | 0.000 % | 0.27/1.02 c | 42952 | 615 33415 198030 | 1 9344 36 | 0.000 % | 0.27/1.02 c | 43052 | 615 33415 198030 | 1 9444 37 | 0.000 % | 0.27/1.02 c | 43152 | 615 33415 198030 | 1 9544 37 | 0.000 % | 0.27/1.02 c | 43253 | 615 33415 198030 | 1 9645 38 | 0.000 % | 0.27/1.02 c | 43354 | 615 33415 198030 | 1 9746 39 | 0.000 % | 0.27/1.02 c | 43454 | 615 33415 198030 | 1 9846 39 | 0.000 % | 0.27/1.02 c | 43555 | 615 33415 198030 | 1 9947 40 | 0.000 % | 0.27/1.02 c | 43656 | 615 33415 198030 | 1 10048 40 | 0.000 % | 0.27/1.02 c | 43756 | 615 33415 198030 | 1 10148 41 | 0.000 % | 0.27/1.02 c | 43856 | 615 33415 198030 | 1 10248 42 | 0.000 % | 0.27/1.02 c | 43956 | 615 33415 198030 | 1 10348 42 | 0.000 % | 0.27/1.02 c | 44056 | 615 33415 198030 | 1 10448 43 | 0.000 % | 0.27/1.02 c | 44157 | 615 33415 198030 | 1 10549 43 | 0.000 % | 0.27/1.02 c | 44257 | 615 33415 198030 | 1 10649 44 | 0.000 % | 0.27/1.02 c | 44357 | 615 33415 198030 | 1 10749 45 | 0.000 % | 0.27/1.02 c | 44457 | 615 33415 198030 | 1 10849 45 | 0.000 % | 0.27/1.02 c | 44558 | 615 33415 198030 | 1 10950 46 | 0.000 % | 0.27/1.02 c | 44658 | 615 33415 198030 | 1 11050 46 | 0.000 % | 0.27/1.02 c | 44759 | 615 33415 198030 | 1 11151 47 | 0.000 % | 0.27/1.02 c | 44859 | 615 33415 198030 | 1 11251 47 | 0.000 % | 0.27/1.02 c | 44961 | 615 33415 198030 | 1 11353 48 | 0.000 % | 0.27/1.02 c | 45061 | 615 33415 198030 | 1 11453 48 | 0.000 % | 0.27/1.02 c | 45161 | 615 33415 198030 | 1 11553 49 | 0.000 % | 0.27/1.02 c | 45263 | 615 33415 198030 | 1 11655 49 | 0.000 % | 0.27/1.02 c | 45363 | 615 33415 198030 | 1 11755 50 | 0.000 % | 0.27/1.02 c | 45463 | 615 33415 198030 | 1 11855 50 | 0.000 % | 0.27/1.02 c | 45563 | 615 33415 198030 | 1 11955 51 | 0.000 % | 0.27/1.02 c | 45664 | 615 33415 198030 | 1 12056 51 | 0.000 % | 0.27/1.02 c | 45764 | 615 33415 198030 | 1 12156 52 | 0.000 % | 0.27/1.02 c | 45864 | 615 33415 198030 | 1 12256 52 | 0.000 % | 0.27/1.02 c | 45966 | 615 33415 198030 | 1 12358 52 | 0.000 % | 0.27/1.02 c | 46066 | 615 33415 198030 | 1 12458 53 | 0.000 % | 0.27/1.02 c | 46169 | 615 33415 198030 | 1 12561 53 | 0.000 % | 0.27/1.02 c | 46270 | 615 33415 198030 | 1 12662 54 | 0.000 % | 0.27/1.02 c | 46371 | 615 33415 198030 | 1 12763 54 | 0.000 % | 0.27/1.02 c | 46473 | 615 33415 198030 | 1 12865 55 | 0.000 % | 0.27/1.02 c | 46574 | 615 33415 198030 | 1 12966 55 | 0.000 % | 0.27/1.02 c | 46675 | 615 33415 198030 | 1 13067 55 | 0.000 % | 0.27/1.02 c | 46776 | 615 33415 198030 | 1 13168 56 | 0.000 % | 0.27/1.02 c | 46877 | 615 33415 198030 | 1 13269 56 | 0.000 % | 0.27/1.02 c | 46978 | 615 33415 198030 | 1 13370 57 | 0.000 % | 0.27/1.02 c | 47078 | 615 33415 198030 | 1 13470 57 | 0.000 % | 0.27/1.02 c | 47179 | 615 33415 198030 | 1 13571 57 | 0.000 % | 0.27/1.02 c | 47279 | 615 33415 198030 | 1 13671 58 | 0.000 % | 0.27/1.02 c | 47379 | 615 33415 198030 | 1 13771 58 | 0.000 % | 0.27/1.02 c | 47479 | 615 33415 198030 | 1 13871 58 | 0.000 % | 0.27/1.02 c | 47582 | 615 33415 198030 | 1 13974 59 | 0.000 % | 0.27/1.02 c | 47682 | 615 33415 198030 | 1 14074 59 | 0.000 % | 1.09/1.12 c | 47784 | 615 33415 198030 | 1 14176 59 | 0.000 % | 1.09/1.12 c | 47885 | 615 33415 198030 | 1 14277 60 | 0.000 % | 1.09/1.12 c | 47985 | 615 33415 198030 | 1 14377 60 | 0.000 % | 1.09/1.12 c | 48085 | 615 33415 198030 | 1 14477 60 | 0.000 % | 1.09/1.12 c | 48186 | 615 33415 198030 | 1 14578 61 | 0.000 % | 1.09/1.12 c | 48286 | 615 33415 198030 | 1 14678 61 | 0.000 % | 1.09/1.12 c | 48387 | 615 33415 198030 | 1 14779 61 | 0.000 % | 1.09/1.12 c | 48487 | 615 33415 198030 | 1 14879 62 | 0.000 % | 1.09/1.12 c | 48587 | 615 33415 198030 | 1 14979 62 | 0.000 % | 1.09/1.12 c | 48687 | 615 33415 198030 | 1 15079 62 | 0.000 % | 1.09/1.12 c | 48789 | 615 33415 198030 | 1 15181 62 | 0.000 % | 1.09/1.12 c | 48890 | 615 33415 198030 | 1 7696 22 | 0.000 % | 1.09/1.12 c | 48990 | 615 33415 198030 | 1 7796 23 | 0.000 % | 1.09/1.12 c | 49091 | 615 33415 198030 | 1 7897 24 | 0.000 % | 1.09/1.12 c | 49192 | 615 33415 198030 | 1 7998 25 | 0.000 % | 1.09/1.12 c | 49292 | 615 33415 198030 | 1 8098 26 | 0.000 % | 1.09/1.12 c | 49393 | 615 33415 198030 | 1 8199 26 | 0.000 % | 1.09/1.12 c | 49494 | 615 33415 198030 | 1 8300 27 | 0.000 % | 1.09/1.12 c | 49594 | 615 33415 198030 | 1 8400 28 | 0.000 % | 1.09/1.12 c | 49695 | 615 33415 198030 | 1 8501 29 | 0.000 % | 1.09/1.12 c | 49796 | 615 33415 198030 | 1 8602 30 | 0.000 % | 1.09/1.12 c | 49896 | 615 33415 198030 | 1 8702 31 | 0.000 % | 1.09/1.12 c | 49997 | 615 33415 198030 | 1 8803 32 | 0.000 % | 1.09/1.12 c | 50097 | 615 33415 198030 | 1 8903 32 | 0.000 % | 1.09/1.12 c | 50197 | 615 33415 198030 | 1 9003 33 | 0.000 % | 1.09/1.12 c | 50297 | 615 33415 198030 | 1 9103 34 | 0.000 % | 1.09/1.12 c | 50397 | 615 33415 198030 | 1 9203 34 | 0.000 % | 1.09/1.12 c | 50498 | 615 33415 198030 | 1 9304 35 | 0.000 % | 1.09/1.12 c | 50598 | 615 33415 198030 | 1 9404 36 | 0.000 % | 1.09/1.12 c | 50698 | 615 33415 198030 | 1 9504 37 | 0.000 % | 1.09/1.12 c | 50798 | 615 33415 198030 | 1 9604 37 | 0.000 % | 1.09/1.12 c | 50900 | 615 33415 198030 | 1 9706 38 | 0.000 % | 1.09/1.12 c | 51001 | 615 33415 198030 | 1 9807 39 | 0.000 % | 1.09/1.12 c | 51102 | 615 33415 198030 | 1 9908 39 | 0.000 % | 1.09/1.12 c | 51202 | 615 33415 198030 | 1 10008 40 | 0.000 % | 1.09/1.12 c | 51302 | 615 33415 198030 | 1 10108 41 | 0.000 % | 1.09/1.12 c | 51404 | 615 33415 198030 | 1 10210 41 | 0.000 % | 1.09/1.12 c | 51504 | 615 33415 198030 | 1 10310 42 | 0.000 % | 1.09/1.12 c | 51604 | 615 33415 198030 | 1 10410 42 | 0.000 % | 1.09/1.12 c | 51704 | 615 33415 198030 | 1 10510 43 | 0.000 % | 1.09/1.12 c | 51804 | 615 33415 198030 | 1 10610 44 | 0.000 % | 1.09/1.12 c | 51904 | 615 33415 198030 | 1 10710 44 | 0.000 % | 1.09/1.12 c | 52005 | 615 33415 198030 | 1 10811 45 | 0.000 % | 1.09/1.12 c | 52105 | 615 33415 198030 | 1 10911 45 | 0.000 % | 1.09/1.12 c | 52207 | 615 33415 198030 | 1 11013 46 | 0.000 % | 1.09/1.12 c | 52307 | 615 33415 198030 | 1 11113 46 | 0.000 % | 1.09/1.12 c | 52408 | 615 33415 198030 | 1 11214 47 | 0.000 % | 1.09/1.12 c | 52508 | 615 33415 198030 | 1 11314 47 | 0.000 % | 1.09/1.12 c | 52608 | 615 33415 198030 | 1 11414 48 | 0.000 % | 1.09/1.12 c | 52708 | 615 33415 198030 | 1 11514 48 | 0.000 % | 1.19/1.27 c | 52808 | 615 33415 198030 | 1 11614 49 | 0.000 % | 1.19/1.27 c | 52908 | 615 33415 198030 | 1 11714 49 | 0.000 % | 1.19/1.27 c | 53009 | 615 33415 198030 | 1 11815 50 | 0.000 % | 1.19/1.27 c | 53110 | 615 33415 198030 | 1 11916 50 | 0.000 % | 1.19/1.27 c | 53211 | 615 33415 198030 | 1 12017 51 | 0.000 % | 1.19/1.27 c | 53311 | 615 33415 198030 | 1 12117 51 | 0.000 % | 1.19/1.27 c | 53412 | 615 33415 198030 | 1 12218 52 | 0.000 % | 1.19/1.27 c | 53512 | 615 33415 198030 | 1 12318 52 | 0.000 % | 1.19/1.27 c | 53612 | 615 33415 198030 | 1 12418 52 | 0.000 % | 1.19/1.27 c | 53712 | 615 33415 198030 | 1 12518 53 | 0.000 % | 1.19/1.27 c | 53816 | 615 33415 198030 | 1 12622 53 | 0.000 % | 1.19/1.27 c | 53918 | 615 33415 198030 | 1 12724 54 | 0.000 % | 1.19/1.27 c | 54019 | 615 33415 198030 | 1 12825 54 | 0.000 % | 1.19/1.27 c | 54119 | 615 33415 198030 | 1 12925 54 | 0.000 % | 1.19/1.27 c | 54219 | 615 33415 198030 | 1 13025 55 | 0.000 % | 1.19/1.27 c | 54321 | 615 33415 198030 | 1 13127 55 | 0.000 % | 1.19/1.27 c | 54421 | 615 33415 198030 | 1 13227 56 | 0.000 % | 1.19/1.27 c | 54521 | 615 33415 198030 | 1 13327 56 | 0.000 % | 1.19/1.27 c | 54621 | 615 33415 198030 | 1 13427 56 | 0.000 % | 1.19/1.27 c | 54721 | 615 33415 198030 | 1 13527 57 | 0.000 % | 1.19/1.27 c | 54823 | 615 33415 198030 | 1 13629 57 | 0.000 % | 1.19/1.27 c | 54923 | 615 33415 198030 | 1 13729 58 | 0.000 % | 1.19/1.27 c | 55023 | 615 33415 198030 | 1 13829 58 | 0.000 % | 1.19/1.27 c | 55123 | 615 33415 198030 | 1 13929 58 | 0.000 % | 1.19/1.27 c | 55223 | 615 33415 198030 | 1 14029 59 | 0.000 % | 1.19/1.27 c | 55324 | 615 33415 198030 | 1 14130 59 | 0.000 % | 1.19/1.27 c | 55424 | 615 33415 198030 | 1 14230 59 | 0.000 % | 1.19/1.27 c | 55524 | 615 33415 198030 | 1 14330 60 | 0.000 % | 1.19/1.27 c | 55626 | 615 33415 198030 | 1 14432 60 | 0.000 % | 1.19/1.27 c | 55727 | 615 33415 198030 | 1 14533 60 | 0.000 % | 1.19/1.27 c | 55829 | 615 33415 198030 | 1 14635 61 | 0.000 % | 1.19/1.27 c | 55929 | 615 33415 198030 | 1 14735 61 | 0.000 % | 1.19/1.27 c | 56032 | 615 33415 198030 | 1 14838 61 | 0.000 % | 1.19/1.27 c | 56132 | 615 33415 198030 | 1 14938 62 | 0.000 % | 1.19/1.27 c | 56232 | 615 33415 198030 | 1 15038 62 | 0.000 % | 1.19/1.27 c | 56332 | 615 33415 198030 | 1 15138 62 | 0.000 % | 1.19/1.27 c | 56432 | 615 33415 198030 | 1 15238 62 | 0.000 % | 1.19/1.27 c | 56532 | 615 33415 198030 | 1 15338 63 | 0.000 % | 1.19/1.27 c | 56633 | 615 33415 198030 | 1 15439 63 | 0.000 % | 1.19/1.27 c | 56734 | 615 33415 198030 | 1 15540 63 | 0.000 % | 1.19/1.27 c | 56835 | 615 33415 198030 | 1 15641 64 | 0.000 % | 1.19/1.27 c | 56935 | 615 33415 198030 | 1 15741 64 | 0.000 % | 1.19/1.27 c | 57035 | 615 33415 198030 | 1 15841 64 | 0.000 % | 1.19/1.27 c | 57135 | 615 33415 198030 | 1 15941 64 | 0.000 % | 1.19/1.27 c | 57236 | 615 33415 198030 | 1 16042 65 | 0.000 % | 1.19/1.27 c | 57336 | 615 33415 198030 | 1 16142 65 | 0.000 % | 1.19/1.27 c | 57436 | 615 33415 198030 | 1 16242 65 | 0.000 % | 1.19/1.27 c | 57537 | 615 33415 198030 | 1 16343 65 | 0.000 % | 1.19/1.27 c | 57637 | 615 33415 198030 | 1 8248 24 | 0.000 % | 1.19/1.27 c | 57737 | 615 33415 198030 | 1 8348 25 | 0.000 % | 1.28/1.37 c | 57837 | 615 33415 198030 | 1 8448 26 | 0.000 % | 1.28/1.37 c | 57938 | 615 33415 198030 | 1 8549 27 | 0.000 % | 1.28/1.37 c | 58227 | 615 33415 198030 | 1 8838 29 | 0.000 % | 1.28/1.37 c | 58381 | 615 33415 198030 | 1 8992 29 | 0.000 % | 1.28/1.37 c | 58482 | 615 33415 198030 | 1 9093 30 | 0.000 % | 1.28/1.37 c | 58583 | 615 33415 198030 | 1 9194 31 | 0.000 % | 1.28/1.37 c | 58683 | 615 33415 198030 | 1 9294 31 | 0.000 % | 1.28/1.37 c | 58784 | 615 33415 198030 | 1 9395 32 | 0.000 % | 1.28/1.37 c | 58885 | 615 33415 198030 | 1 9496 33 | 0.000 % | 1.28/1.37 c | 58985 | 615 33415 198030 | 1 9596 33 | 0.000 % | 1.28/1.37 c | 59086 | 615 33415 198030 | 1 9697 34 | 0.000 % | 1.28/1.37 c | 59186 | 615 33415 198030 | 1 9797 35 | 0.000 % | 1.28/1.37 c | 59287 | 615 33415 198030 | 1 9898 35 | 0.000 % | 1.28/1.37 c | 59388 | 615 33415 198030 | 1 9999 36 | 0.000 % | 1.28/1.37 c | 59489 | 615 33415 198030 | 1 10100 37 | 0.000 % | 1.28/1.37 c | 59590 | 615 33415 198030 | 1 10201 37 | 0.000 % | 1.28/1.37 c | 59690 | 615 33415 198030 | 1 10301 38 | 0.000 % | 1.28/1.37 c | 59821 | 615 33415 198030 | 1 10432 38 | 0.000 % | 1.28/1.37 c | 59923 | 615 33415 198030 | 1 10534 39 | 0.000 % | 1.28/1.37 c | 60023 | 615 33415 198030 | 1 10634 39 | 0.000 % | 1.28/1.37 c | 60124 | 615 33415 198030 | 1 10735 40 | 0.000 % | 1.28/1.37 c | 60225 | 615 33415 198030 | 1 10836 40 | 0.000 % | 1.28/1.37 c | 60325 | 615 33415 198030 | 1 10936 41 | 0.000 % | 1.28/1.37 c | 60426 | 615 33415 198030 | 1 11037 41 | 0.000 % | 1.28/1.37 c | 60526 | 615 33415 198030 | 1 11137 42 | 0.000 % | 1.28/1.37 c | 60626 | 615 33415 198030 | 1 11237 42 | 0.000 % | 1.28/1.37 c | 60727 | 615 33415 198030 | 1 11338 43 | 0.000 % | 1.28/1.37 c | 60828 | 615 33415 198030 | 1 11439 43 | 0.000 % | 1.28/1.37 c | 60928 | 615 33415 198030 | 1 11539 44 | 0.000 % | 1.28/1.37 c | 61028 | 615 33415 198030 | 1 11639 44 | 0.000 % | 1.28/1.37 c | 61130 | 615 33415 198030 | 1 11741 45 | 0.000 % | 1.28/1.37 c | 61230 | 615 33415 198030 | 1 11841 45 | 0.000 % | 1.28/1.37 c | 61330 | 615 33415 198030 | 1 11941 46 | 0.000 % | 1.28/1.37 c | 61432 | 615 33415 198030 | 1 12043 46 | 0.000 % | 1.28/1.37 c | 61533 | 615 33415 198030 | 1 12144 47 | 0.000 % | 1.28/1.37 c | 61633 | 615 33415 198030 | 1 12244 47 | 0.000 % | 1.28/1.37 c | 61733 | 615 33415 198030 | 1 12344 48 | 0.000 % | 1.28/1.37 c | 61834 | 615 33415 198030 | 1 12445 48 | 0.000 % | 1.28/1.37 c | 61935 | 615 33415 198030 | 1 12546 49 | 0.000 % | 1.28/1.37 c | 62036 | 615 33415 198030 | 1 12647 49 | 0.000 % | 1.28/1.37 c | 62139 | 615 33415 198030 | 1 12750 50 | 0.000 % | 1.28/1.37 c | 62239 | 615 33415 198030 | 1 12850 50 | 0.000 % | 1.28/1.37 c | 62340 | 615 33415 198030 | 1 12951 50 | 0.000 % | 1.28/1.37 c | 62440 | 615 33415 198030 | 1 13051 51 | 0.000 % | 1.28/1.37 c | 62540 | 615 33415 198030 | 1 13151 51 | 0.000 % | 1.28/1.37 c | 62640 | 615 33415 198030 | 1 13251 52 | 0.000 % | 1.28/1.37 c | 62744 | 615 33415 198030 | 1 13355 52 | 0.000 % | 1.28/1.37 c | 62846 | 615 33415 198030 | 1 13457 52 | 0.000 % | 1.28/1.37 c | 62947 | 615 33415 198030 | 1 13558 53 | 0.000 % | 1.28/1.37 c | 63049 | 615 33415 198030 | 1 13660 53 | 0.000 % | 1.48/1.51 c | 63149 | 615 33415 198030 | 1 13760 53 | 0.000 % | 1.48/1.51 c | 63251 | 615 33415 198030 | 1 13862 54 | 0.000 % | 1.48/1.51 c | 63351 | 615 33415 198030 | 1 13962 54 | 0.000 % | 1.48/1.51 c | 63452 | 615 33415 198030 | 1 14063 55 | 0.000 % | 1.48/1.51 c | 63554 | 615 33415 198030 | 1 14165 55 | 0.000 % | 1.48/1.51 c | 63656 | 615 33415 198030 | 1 14267 55 | 0.000 % | 1.48/1.51 c | 63756 | 615 33415 198030 | 1 14367 56 | 0.000 % | 1.48/1.51 c | 63857 | 615 33415 198030 | 1 14468 56 | 0.000 % | 1.48/1.51 c | 63957 | 615 33415 198030 | 1 14568 56 | 0.000 % | 1.48/1.51 c | 64058 | 615 33415 198030 | 1 14669 57 | 0.000 % | 1.48/1.51 c | 64158 | 615 33415 198030 | 1 14769 57 | 0.000 % | 1.48/1.51 c | 64260 | 615 33415 198030 | 1 14871 57 | 0.000 % | 1.48/1.51 c | 64362 | 615 33415 198030 | 1 14973 58 | 0.000 % | 1.48/1.51 c | 64462 | 615 33415 198030 | 1 15073 58 | 0.000 % | 1.48/1.51 c | 64562 | 615 33415 198030 | 1 15173 58 | 0.000 % | 1.48/1.51 c | 64663 | 615 33415 198030 | 1 15274 59 | 0.000 % | 1.48/1.51 c | 64763 | 615 33415 198030 | 1 15374 59 | 0.000 % | 1.48/1.51 c | 64864 | 615 33415 198030 | 1 15475 59 | 0.000 % | 1.48/1.51 c | 64964 | 615 33415 198030 | 1 15575 59 | 0.000 % | 1.48/1.51 c | 65066 | 615 33415 198030 | 1 15677 60 | 0.000 % | 1.48/1.51 c | 65166 | 615 33415 198030 | 1 15777 60 | 0.000 % | 1.48/1.51 c | 65266 | 615 33415 198030 | 1 15877 60 | 0.000 % | 1.48/1.51 c | 65367 | 615 33415 198030 | 1 15978 61 | 0.000 % | 1.48/1.51 c | 65467 | 615 33415 198030 | 1 16078 61 | 0.000 % | 1.48/1.51 c | 65570 | 615 33415 198030 | 1 16181 61 | 0.000 % | 1.48/1.51 c | 65670 | 615 33415 198030 | 1 16281 61 | 0.000 % | 1.48/1.51 c | 65770 | 615 33415 198030 | 1 16381 62 | 0.000 % | 1.48/1.51 c | 65872 | 615 33415 198030 | 1 16483 62 | 0.000 % | 1.48/1.51 c | 65972 | 615 33415 198030 | 1 16583 62 | 0.000 % | 1.48/1.51 c | 66072 | 615 33415 198030 | 1 16683 63 | 0.000 % | 1.48/1.51 c | 66172 | 615 33415 198030 | 1 16783 63 | 0.000 % | 1.48/1.51 c | 66272 | 615 33415 198030 | 1 16883 63 | 0.000 % | 1.48/1.51 c | 66372 | 615 33415 198030 | 1 16983 63 | 0.000 % | 1.48/1.51 c | 66472 | 615 33415 198030 | 1 17083 64 | 0.000 % | 1.48/1.51 c | 66572 | 615 33415 198030 | 1 17183 64 | 0.000 % | 1.48/1.51 c | 66673 | 615 33415 198030 | 1 17284 64 | 0.000 % | 1.48/1.51 c | 66773 | 615 33415 198030 | 1 17384 64 | 0.000 % | 1.48/1.51 c | 66874 | 615 33415 198030 | 1 17485 65 | 0.000 % | 1.48/1.51 c | 66974 | 615 33415 198030 | 1 17585 65 | 0.000 % | 1.48/1.51 c | 67074 | 615 33415 198030 | 1 8892 26 | 0.000 % | 1.48/1.51 c | 67175 | 615 33415 198030 | 1 8993 27 | 0.000 % | 1.48/1.51 c | 67275 | 615 33415 198030 | 1 9093 28 | 0.000 % | 1.48/1.51 c | 67557 | 615 33415 198030 | 1 9375 29 | 0.000 % | 1.48/1.51 c | 67658 | 615 33415 198030 | 1 9476 30 | 0.000 % | 1.48/1.51 c | 67758 | 615 33415 198030 | 1 9576 31 | 0.000 % | 1.48/1.51 c | 67874 | 615 33415 198030 | 1 9692 31 | 0.000 % | 1.48/1.51 c | 67975 | 615 33415 198030 | 1 9793 32 | 0.000 % | 1.48/1.51 c | 68076 | 615 33415 198030 | 1 9894 33 | 0.000 % | 1.48/1.51 c | 68416 | 615 33415 198030 | 1 10234 34 | 0.000 % | 1.48/1.51 c | 68551 | 615 33415 198030 | 1 10369 35 | 0.000 % | 1.58/1.61 c | 68651 | 615 33415 198030 | 1 10469 35 | 0.000 % | 1.58/1.61 c | 68756 | 615 33415 198030 | 1 10574 36 | 0.000 % | 1.58/1.61 c | 68857 | 615 33415 198030 | 1 10675 37 | 0.000 % | 1.58/1.61 c | 68957 | 615 33415 198030 | 1 10775 37 | 0.000 % | 1.58/1.61 c | 69057 | 615 33415 198030 | 1 10875 38 | 0.000 % | 1.58/1.61 c | 69157 | 615 33415 198030 | 1 10975 38 | 0.000 % | 1.58/1.61 c | 69258 | 615 33415 198030 | 1 11076 39 | 0.000 % | 1.58/1.61 c | 69358 | 615 33415 198030 | 1 11176 39 | 0.000 % | 1.58/1.61 c | 69458 | 615 33415 198030 | 1 11276 40 | 0.000 % | 1.58/1.61 c | 69558 | 615 33415 198030 | 1 11376 40 | 0.000 % | 1.58/1.61 c | 69660 | 615 33415 198030 | 1 11478 41 | 0.000 % | 1.58/1.61 c | 69760 | 615 33415 198030 | 1 11578 41 | 0.000 % | 1.58/1.61 c | 69860 | 615 33415 198030 | 1 11678 42 | 0.000 % | 1.58/1.61 c | 69960 | 615 33415 198030 | 1 11778 43 | 0.000 % | 1.58/1.61 c | 70061 | 615 33415 198030 | 1 11879 43 | 0.000 % | 1.58/1.61 c | 70162 | 615 33415 198030 | 1 11980 44 | 0.000 % | 1.58/1.61 c | 70262 | 615 33415 198030 | 1 12080 44 | 0.000 % | 1.58/1.61 c | 70363 | 615 33415 198030 | 1 12181 45 | 0.000 % | 1.58/1.61 c | 70463 | 615 33415 198030 | 1 12281 45 | 0.000 % | 1.58/1.61 c | 70566 | 615 33415 198030 | 1 12384 45 | 0.000 % | 1.58/1.61 c | 70668 | 615 33415 198030 | 1 12486 46 | 0.000 % | 1.58/1.61 c | 70770 | 615 33415 198030 | 1 12588 46 | 0.000 % | 1.58/1.61 c | 70870 | 615 33415 198030 | 1 12688 47 | 0.000 % | 1.58/1.61 c | 70970 | 615 33415 198030 | 1 12788 47 | 0.000 % | 1.58/1.61 c | 71070 | 615 33415 198030 | 1 12888 48 | 0.000 % | 1.58/1.61 c | 71170 | 615 33415 198030 | 1 12988 48 | 0.000 % | 1.58/1.61 c | 71270 | 615 33415 198030 | 1 13088 49 | 0.000 % | 1.58/1.61 c | 71372 | 615 33415 198030 | 1 13190 49 | 0.000 % | 1.58/1.61 c | 71472 | 615 33415 198030 | 1 13290 49 | 0.000 % | 1.58/1.61 c | 71572 | 615 33415 198030 | 1 13390 50 | 0.000 % | 1.58/1.61 c | 71673 | 615 33415 198030 | 1 13491 50 | 0.000 % | 1.58/1.61 c | 71773 | 615 33415 198030 | 1 13591 51 | 0.000 % | 1.58/1.61 c | 71874 | 615 33415 198030 | 1 13692 51 | 0.000 % | 1.58/1.61 c | 71974 | 615 33415 198030 | 1 13792 51 | 0.000 % | 1.58/1.61 c | 72075 | 615 33415 198030 | 1 13893 52 | 0.000 % | 1.58/1.61 c | 72175 | 615 33415 198030 | 1 13993 52 | 0.000 % | 1.58/1.61 c | 72276 | 615 33415 198030 | 1 14094 53 | 0.000 % | 1.58/1.61 c | 72376 | 615 33415 198030 | 1 14194 53 | 0.000 % | 1.58/1.61 c | 72476 | 615 33415 198030 | 1 14294 53 | 0.000 % | 1.58/1.61 c | 72577 | 615 33415 198030 | 1 14395 54 | 0.000 % | 1.58/1.61 c | 72678 | 615 33415 198030 | 1 14496 54 | 0.000 % | 1.58/1.61 c | 72779 | 615 33415 198030 | 1 14597 54 | 0.000 % | 1.58/1.61 c | 72879 | 615 33415 198030 | 1 14697 55 | 0.000 % | 1.58/1.61 c | 72980 | 615 33415 198030 | 1 14798 55 | 0.000 % | 1.58/1.61 c | 73080 | 615 33415 198030 | 1 14898 55 | 0.000 % | 1.58/1.61 c | 73180 | 615 33415 198030 | 1 14998 56 | 0.000 % | 1.58/1.61 c | 73282 | 615 33415 198030 | 1 15100 56 | 0.000 % | 1.58/1.61 c | 73383 | 615 33415 198030 | 1 15201 56 | 0.000 % | 1.58/1.61 c | 73483 | 615 33415 198030 | 1 15301 57 | 0.000 % | 1.68/1.75 c | 73583 | 615 33415 198030 | 1 15401 57 | 0.000 % | 1.68/1.75 c | 73683 | 615 33415 198030 | 1 15501 57 | 0.000 % | 1.68/1.75 c | 73785 | 615 33415 198030 | 1 15603 58 | 0.000 % | 1.68/1.75 c | 73887 | 615 33415 198030 | 1 15705 58 | 0.000 % | 1.68/1.75 c | 73987 | 615 33415 198030 | 1 15805 58 | 0.000 % | 1.68/1.75 c | 74089 | 615 33415 198030 | 1 15907 59 | 0.000 % | 1.68/1.75 c | 74190 | 615 33415 198030 | 1 16008 59 | 0.000 % | 1.68/1.75 c | 74290 | 615 33415 198030 | 1 16108 59 | 0.000 % | 1.68/1.75 c | 74390 | 615 33415 198030 | 1 16208 60 | 0.000 % | 1.68/1.75 c | 74491 | 615 33415 198030 | 1 16309 60 | 0.000 % | 1.68/1.75 c | 74592 | 615 33415 198030 | 1 16410 60 | 0.000 % | 1.68/1.75 c | 74692 | 615 33415 198030 | 1 16510 60 | 0.000 % | 1.68/1.75 c | 74794 | 615 33415 198030 | 1 16612 61 | 0.000 % | 1.68/1.75 c | 74894 | 615 33415 198030 | 1 16712 61 | 0.000 % | 1.68/1.75 c | 74994 | 615 33415 198030 | 1 16812 61 | 0.000 % | 1.68/1.75 c | 75094 | 615 33415 198030 | 1 16912 62 | 0.000 % | 1.68/1.75 c | 75195 | 615 33415 198030 | 1 17013 62 | 0.000 % | 1.68/1.75 c | 75295 | 615 33415 198030 | 1 17113 62 | 0.000 % | 1.68/1.75 c | 75395 | 615 33415 198030 | 1 17213 62 | 0.000 % | 1.68/1.75 c | 75495 | 615 33415 198030 | 1 17313 63 | 0.000 % | 1.68/1.75 c | 75595 | 615 33415 198030 | 1 17413 63 | 0.000 % | 1.68/1.75 c | 75696 | 615 33415 198030 | 1 17514 63 | 0.000 % | 1.68/1.75 c | 75797 | 615 33415 198030 | 1 17615 63 | 0.000 % | 1.68/1.75 c | 75899 | 615 33415 198030 | 1 17717 64 | 0.000 % | 1.68/1.75 c | 75999 | 615 33415 198030 | 1 17817 64 | 0.000 % | 1.68/1.75 c | 76100 | 615 33415 198030 | 1 17918 64 | 0.000 % | 1.68/1.75 c | 76200 | 615 33415 198030 | 1 18018 64 | 0.000 % | 1.68/1.75 c | 76300 | 615 33415 198030 | 1 18118 65 | 0.000 % | 1.68/1.75 c | 76401 | 615 33415 198030 | 1 18219 65 | 0.000 % | 1.68/1.75 c | 76501 | 615 33415 198030 | 1 18319 65 | 0.000 % | 1.68/1.75 c | 76603 | 615 33415 198030 | 1 18421 65 | 0.000 % | 1.68/1.75 c | 76704 | 615 33415 198030 | 1 18522 66 | 0.000 % | 1.68/1.75 c | 76804 | 615 33415 198030 | 1 18622 66 | 0.000 % | 1.68/1.75 c | 76904 | 615 33415 198030 | 1 18722 66 | 0.000 % | 1.68/1.75 c | 77004 | 615 33415 198030 | 1 9414 27 | 0.000 % | 1.68/1.75 c | 77104 | 615 33415 198030 | 1 9514 28 | 0.000 % | 1.68/1.75 c | 77204 | 615 33415 198030 | 1 9614 29 | 0.000 % | 1.68/1.75 c | 77304 | 615 33415 198030 | 1 9714 30 | 0.000 % | 1.68/1.75 c | 77404 | 615 33415 198030 | 1 9814 30 | 0.000 % | 1.68/1.75 c | 77504 | 615 33415 198030 | 1 9914 31 | 0.000 % | 1.68/1.75 c | 77604 | 615 33415 198030 | 1 10014 32 | 0.000 % | 1.68/1.75 c | 77705 | 615 33415 198030 | 1 10115 32 | 0.000 % | 1.68/1.75 c | 77805 | 615 33415 198030 | 1 10215 33 | 0.000 % | 1.68/1.75 c | 77905 | 615 33415 198030 | 1 10315 34 | 0.000 % | 1.68/1.75 c | 78005 | 615 33415 198030 | 1 10415 34 | 0.000 % | 1.68/1.75 c | 78106 | 615 33415 198030 | 1 10516 35 | 0.000 % | 1.68/1.75 c | 78206 | 615 33415 198030 | 1 10616 36 | 0.000 % | 1.68/1.75 c | 78308 | 615 33415 198030 | 1 10718 36 | 0.000 % | 1.68/1.75 c | 78409 | 615 33415 198030 | 1 10819 37 | 0.000 % | 1.68/1.75 c | 78510 | 615 33415 198030 | 1 10920 38 | 0.000 % | 1.78/1.87 c | 78610 | 615 33415 198030 | 1 11020 38 | 0.000 % | 1.78/1.87 c | 78710 | 615 33415 198030 | 1 11120 39 | 0.000 % | 1.78/1.87 c | 78810 | 615 33415 198030 | 1 11220 39 | 0.000 % | 1.78/1.87 c | 78910 | 615 33415 198030 | 1 11320 40 | 0.000 % | 1.78/1.87 c | 79010 | 615 33415 198030 | 1 11420 40 | 0.000 % | 1.78/1.87 c | 79111 | 615 33415 198030 | 1 11521 41 | 0.000 % | 1.78/1.87 c | 79212 | 615 33415 198030 | 1 11622 41 | 0.000 % | 1.78/1.87 c | 79314 | 615 33415 198030 | 1 11724 42 | 0.000 % | 1.78/1.87 c | 79414 | 615 33415 198030 | 1 11824 43 | 0.000 % | 1.78/1.87 c | 79514 | 615 33415 198030 | 1 11924 43 | 0.000 % | 1.78/1.87 c | 79615 | 615 33415 198030 | 1 12025 43 | 0.000 % | 1.78/1.87 c | 79716 | 615 33415 198030 | 1 12126 44 | 0.000 % | 1.78/1.87 c | 79816 | 615 33415 198030 | 1 12226 45 | 0.000 % | 1.78/1.87 c | 79917 | 615 33415 198030 | 1 12327 45 | 0.000 % | 1.78/1.87 c | 80018 | 615 33415 198030 | 1 12428 45 | 0.000 % | 1.78/1.87 c | 80118 | 615 33415 198030 | 1 12528 46 | 0.000 % | 1.78/1.87 c | 80218 | 615 33415 198030 | 1 12628 46 | 0.000 % | 1.78/1.87 c | 80318 | 615 33415 198030 | 1 12728 47 | 0.000 % | 1.78/1.87 c | 80418 | 615 33415 198030 | 1 12828 47 | 0.000 % | 1.78/1.87 c | 80518 | 615 33415 198030 | 1 12928 48 | 0.000 % | 1.78/1.87 c | 80619 | 615 33415 198030 | 1 13029 48 | 0.000 % | 1.78/1.87 c | 80720 | 615 33415 198030 | 1 13130 49 | 0.000 % | 1.78/1.87 c | 80821 | 615 33415 198030 | 1 13231 49 | 0.000 % | 1.78/1.87 c | 80921 | 615 33415 198030 | 1 13331 50 | 0.000 % | 1.78/1.87 c | 81023 | 615 33415 198030 | 1 13433 50 | 0.000 % | 1.78/1.87 c | 81123 | 615 33415 198030 | 1 13533 50 | 0.000 % | 1.78/1.87 c | 81223 | 615 33415 198030 | 1 13633 51 | 0.000 % | 1.78/1.87 c | 81323 | 615 33415 198030 | 1 13733 51 | 0.000 % | 1.78/1.87 c | 81423 | 615 33415 198030 | 1 13833 52 | 0.000 % | 1.78/1.87 c | 81523 | 615 33415 198030 | 1 13933 52 | 0.000 % | 1.78/1.87 c | 81623 | 615 33415 198030 | 1 14033 52 | 0.000 % | 1.78/1.87 c | 81724 | 615 33415 198030 | 1 14134 53 | 0.000 % | 1.78/1.87 c | 81824 | 615 33415 198030 | 1 14234 53 | 0.000 % | 1.78/1.87 c | 81926 | 615 33415 198030 | 1 14336 53 | 0.000 % | 1.78/1.87 c | 82027 | 615 33415 198030 | 1 14437 54 | 0.000 % | 1.78/1.87 c | 82130 | 615 33415 198030 | 1 14540 54 | 0.000 % | 1.78/1.87 c | 82230 | 615 33415 198030 | 1 14640 55 | 0.000 % | 1.78/1.87 c | 82332 | 615 33415 198030 | 1 14742 55 | 0.000 % | 1.78/1.87 c | 82433 | 615 33415 198030 | 1 14843 55 | 0.000 % | 1.78/1.87 c | 82537 | 615 33415 198030 | 1 14947 56 | 0.000 % | 1.78/1.87 c | 82641 | 615 33415 198030 | 1 15051 56 | 0.000 % | 1.78/1.87 c | 82742 | 615 33415 198030 | 1 15152 56 | 0.000 % | 1.78/1.87 c | 82843 | 615 33415 198030 | 1 15253 57 | 0.000 % | 1.78/1.87 c | 82944 | 615 33415 198030 | 1 15354 57 | 0.000 % | 1.78/1.87 c | 83045 | 615 33415 198030 | 1 15455 57 | 0.000 % | 1.78/1.87 c | 83145 | 615 33415 198030 | 1 15555 58 | 0.000 % | 1.78/1.87 c | 83245 | 615 33415 198030 | 1 15655 58 | 0.000 % | 1.78/1.87 c | 83345 | 615 33415 198030 | 1 15755 58 | 0.000 % | 1.78/1.87 c | 83446 | 615 33415 198030 | 1 15856 58 | 0.000 % | 1.78/1.87 c | 83548 | 615 33415 198030 | 1 15958 59 | 0.000 % | 1.98/2.04 c | 83648 | 615 33415 198030 | 1 16058 59 | 0.000 % | 1.98/2.04 c | 83748 | 615 33415 198030 | 1 16158 59 | 0.000 % | 1.98/2.04 c | 83849 | 615 33415 198030 | 1 16259 60 | 0.000 % | 1.98/2.04 c | 83951 | 615 33415 198030 | 1 16361 60 | 0.000 % | 1.98/2.04 c | 84053 | 615 33415 198030 | 1 16463 60 | 0.000 % | 1.98/2.04 c | 84153 | 615 33415 198030 | 1 16563 61 | 0.000 % | 1.98/2.04 c | 84254 | 615 33415 198030 | 1 16664 61 | 0.000 % | 1.98/2.04 c | 84354 | 615 33415 198030 | 1 16764 61 | 0.000 % | 1.98/2.04 c | 84456 | 615 33415 198030 | 1 16866 61 | 0.000 % | 1.98/2.04 c | 84556 | 615 33415 198030 | 1 16966 62 | 0.000 % | 1.98/2.04 c | 84657 | 615 33415 198030 | 1 17067 62 | 0.000 % | 1.98/2.04 c | 84757 | 615 33415 198030 | 1 17167 62 | 0.000 % | 1.98/2.04 c | 84857 | 615 33415 198030 | 1 17267 62 | 0.000 % | 1.98/2.04 c | 84957 | 615 33415 198030 | 1 17367 63 | 0.000 % | 1.98/2.04 c | 85057 | 615 33415 198030 | 1 17467 63 | 0.000 % | 1.98/2.04 c | 85158 | 615 33415 198030 | 1 17568 63 | 0.000 % | 1.98/2.04 c | 85260 | 615 33415 198030 | 1 17670 63 | 0.000 % | 1.98/2.04 c | 85361 | 615 33415 198030 | 1 17771 64 | 0.000 % | 1.98/2.04 c | 85461 | 615 33415 198030 | 1 17871 64 | 0.000 % | 1.98/2.04 c | 85563 | 615 33415 198030 | 1 17973 64 | 0.000 % | 1.98/2.04 c | 85665 | 615 33415 198030 | 1 18075 64 | 0.000 % | 1.98/2.04 c | 85765 | 615 33415 198030 | 1 18175 65 | 0.000 % | 1.98/2.04 c | 85867 | 615 33415 198030 | 1 18277 65 | 0.000 % | 1.98/2.04 c | 85967 | 615 33415 198030 | 1 18377 65 | 0.000 % | 1.98/2.04 c | 86068 | 615 33415 198030 | 1 18478 65 | 0.000 % | 1.98/2.04 c | 86168 | 615 33415 198030 | 1 18578 66 | 0.000 % | 1.98/2.04 c | 86269 | 615 33415 198030 | 1 18679 66 | 0.000 % | 1.98/2.04 c | 86369 | 615 33415 198030 | 1 18779 66 | 0.000 % | 1.98/2.04 c | 86469 | 615 33415 198030 | 1 18879 66 | 0.000 % | 1.98/2.04 c | 86570 | 615 33415 198030 | 1 18980 66 | 0.000 % | 1.98/2.04 c | 86670 | 615 33415 198030 | 1 19080 67 | 0.000 % | 1.98/2.04 c | 86770 | 615 33415 198030 | 1 19180 67 | 0.000 % | 1.98/2.04 c | 86871 | 615 33415 198030 | 1 19281 67 | 0.000 % | 1.98/2.04 c | 86971 | 615 33415 198030 | 1 19381 67 | 0.000 % | 1.98/2.04 c | 87072 | 615 33415 198030 | 1 19482 68 | 0.000 % | 1.98/2.04 c | 87172 | 615 33415 198030 | 1 19582 68 | 0.000 % | 1.98/2.04 c | 87272 | 615 33415 198030 | 1 19682 68 | 0.000 % | 1.98/2.04 c | 87373 | 615 33415 198030 | 1 19783 68 | 0.000 % | 1.98/2.04 c | 87473 | 615 33415 198030 | 1 19883 68 | 0.000 % | 1.98/2.04 c | 87574 | 615 33415 198030 | 1 19984 69 | 0.000 % | 1.98/2.04 c | 87676 | 615 33415 198030 | 1 10089 30 | 0.000 % | 1.98/2.04 c | 87805 | 615 33415 198030 | 1 10218 31 | 0.000 % | 1.98/2.04 c | 88113 | 615 33415 198030 | 1 10526 33 | 0.000 % | 1.98/2.04 c | 88217 | 615 33415 198030 | 1 10630 34 | 0.000 % | 1.98/2.04 c | 88317 | 615 33415 198030 | 1 10730 34 | 0.000 % | 1.98/2.04 c | 88417 | 615 33415 198030 | 1 10830 35 | 0.000 % | 1.98/2.04 c | 88518 | 615 33415 198030 | 1 10931 36 | 0.000 % | 1.98/2.04 c | 88620 | 615 33415 198030 | 1 11033 36 | 0.000 % | 1.98/2.04 c | 88723 | 615 33415 198030 | 1 11136 37 | 0.000 % | 1.98/2.04 c | 88823 | 615 33415 198030 | 1 11236 37 | 0.000 % | 2.08/2.19 c | 88923 | 615 33415 198030 | 1 11336 38 | 0.000 % | 2.08/2.19 c | 89027 | 615 33415 198030 | 1 11440 39 | 0.000 % | 2.08/2.19 c | 89128 | 615 33415 198030 | 1 11541 39 | 0.000 % | 2.08/2.19 c | 89228 | 615 33415 198030 | 1 11641 40 | 0.000 % | 2.08/2.19 c | 89337 | 615 33415 198030 | 1 11750 40 | 0.000 % | 2.08/2.19 c | 89437 | 615 33415 198030 | 1 11850 41 | 0.000 % | 2.08/2.19 c | 89551 | 615 33415 198030 | 1 11964 41 | 0.000 % | 2.08/2.19 c | 89651 | 615 33415 198030 | 1 12064 42 | 0.000 % | 2.08/2.19 c | 89752 | 615 33415 198030 | 1 12165 42 | 0.000 % | 2.08/2.19 c | 89854 | 615 33415 198030 | 1 12267 43 | 0.000 % | 2.08/2.19 c | 89954 | 615 33415 198030 | 1 12367 43 | 0.000 % | 2.08/2.19 c | 90054 | 615 33415 198030 | 1 12467 44 | 0.000 % | 2.08/2.19 c | 90156 | 615 33415 198030 | 1 12569 44 | 0.000 % | 2.08/2.19 c | 90259 | 615 33415 198030 | 1 12672 45 | 0.000 % | 2.08/2.19 c | 90360 | 615 33415 198030 | 1 12773 45 | 0.000 % | 2.08/2.19 c | 90460 | 615 33415 198030 | 1 12873 46 | 0.000 % | 2.08/2.19 c | 90561 | 615 33415 198030 | 1 12974 46 | 0.000 % | 2.08/2.19 c | 90661 | 615 33415 198030 | 1 13074 47 | 0.000 % | 2.08/2.19 c | 90761 | 615 33415 198030 | 1 13174 47 | 0.000 % | 2.08/2.19 c | 90861 | 615 33415 198030 | 1 13274 48 | 0.000 % | 2.08/2.19 c | 90989 | 615 33415 198030 | 1 13402 48 | 0.000 % | 2.08/2.19 c | 91089 | 615 33415 198030 | 1 13502 49 | 0.000 % | 2.08/2.19 c | 91190 | 615 33415 198030 | 1 13603 49 | 0.000 % | 2.08/2.19 c | 91291 | 615 33415 198030 | 1 13704 49 | 0.000 % | 2.08/2.19 c | 91399 | 615 33415 198030 | 1 13812 50 | 0.000 % | 2.08/2.19 c | 91500 | 615 33415 198030 | 1 13913 50 | 0.000 % | 2.08/2.19 c | 91600 | 615 33415 198030 | 1 14013 51 | 0.000 % | 2.08/2.19 c | 91897 | 615 33415 198030 | 1 14310 52 | 0.000 % | 2.08/2.19 c | 91997 | 615 33415 198030 | 1 14410 52 | 0.000 % | 2.08/2.19 c | 92097 | 615 33415 198030 | 1 14510 52 | 0.000 % | 2.08/2.19 c | 92197 | 615 33415 198030 | 1 14610 53 | 0.000 % | 2.08/2.19 c | 92298 | 615 33415 198030 | 1 14711 53 | 0.000 % | 2.08/2.19 c | 92398 | 615 33415 198030 | 1 14811 53 | 0.000 % | 2.08/2.19 c | 92498 | 615 33415 198030 | 1 14911 54 | 0.000 % | 2.08/2.19 c | 92598 | 615 33415 198030 | 1 15011 54 | 0.000 % | 2.08/2.19 c | 92699 | 615 33415 198030 | 1 15112 54 | 0.000 % | 2.08/2.19 c | 92800 | 615 33415 198030 | 1 15213 55 | 0.000 % | 2.08/2.19 c | 92901 | 615 33415 198030 | 1 15314 55 | 0.000 % | 2.08/2.19 c | 93833 | 615 33415 198030 | 1 16246 57 | 0.000 % | 2.08/2.19 c | 94490 | 615 33415 198030 | 1 16903 59 | 0.000 % | 2.08/2.19 c | 94928 | 615 33415 198030 | 1 17341 60 | 0.000 % | 2.08/2.19 c | 95217 | 615 33415 198030 | 1 17630 60 | 0.000 % | 2.08/2.19 c | 95357 | 615 33415 198030 | 1 17770 61 | 0.000 % | 2.08/2.19 c | 95457 | 615 33415 198030 | 1 17870 61 | 0.000 % | 2.08/2.19 c | 95651 | 615 33415 198030 | 1 18064 61 | 0.000 % | 2.08/2.19 c | 95816 | 615 33415 198030 | 1 18229 62 | 0.000 % | 2.08/2.19 c | 95950 | 615 33415 198030 | 1 18363 62 | 0.000 % | 2.08/2.19 c | 96104 | 615 33415 198030 | 1 18517 62 | 0.000 % | 2.08/2.19 c | 96204 | 615 33415 198030 | 1 18617 62 | 0.000 % | 2.08/2.19 c | 96328 | 615 33415 198030 | 1 18741
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-3303409-1303899347/watcher-3303409-1303899347 -o /tmp/evaluation-result-3303409-1303899347/solver-3303409-1303899347 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303409-1303899347.cnf running on 4 cores: 1,3,5,7 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.00 0.00 0.00 1/172 3887 /proc/meminfo: memFree=18153904/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501537305 8912896 253 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3887/statm: 2176 253 211 178 0 69 0 [startup+0.114257 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3887 /proc/meminfo: memFree=18153904/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501537305 8912896 253 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3887/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200237 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3887 /proc/meminfo: memFree=18153904/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 501537305 8912896 253 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/3887/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300214 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3887 /proc/meminfo: memFree=18153904/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+0.700141 s] /proc/loadavg: 0.00 0.00 0.00 1/172 3887 /proc/meminfo: memFree=18153904/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+1.501 s] /proc/loadavg: 0.00 0.00 0.00 3/180 3902 /proc/meminfo: memFree=18131504/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=29348 CPUtime=1.21 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 6347 0 0 0 121 0 0 0 25 0 1 0 501537333 30052352 3896 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 7337 3896 251 17 0 3978 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38052 [startup+3.10072 s] /proc/loadavg: 0.16 0.03 0.01 3/180 3902 /proc/meminfo: memFree=18124940/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=32412 CPUtime=2.81 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 11492 0 0 0 279 2 0 0 25 0 1 0 501537333 33189888 4310 33554432000 4194304 4260849 140736477838128 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 8103 4310 252 17 0 4744 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41116 [startup+6.30115 s] /proc/loadavg: 0.16 0.03 0.01 3/180 3902 /proc/meminfo: memFree=18114512/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=43904 CPUtime=6.01 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 13104 0 0 0 599 2 0 0 25 0 1 0 501537333 44957696 5907 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 10976 5907 252 17 0 7617 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 52608 [startup+12.701 s] /proc/loadavg: 0.44 0.10 0.03 3/180 3902 /proc/meminfo: memFree=18098548/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=51088 CPUtime=12.42 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 15685 0 0 0 1239 3 0 0 25 0 1 0 501537333 52314112 8436 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 12772 8436 252 17 0 9413 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59792 [startup+25.5008 s] /proc/loadavg: 0.68 0.16 0.05 3/180 3902 /proc/meminfo: memFree=18089776/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=51088 CPUtime=25.21 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 16789 0 0 0 2518 3 0 0 25 0 1 0 501537333 52314112 9533 33554432000 4194304 4260849 140736477838128 18446744073709551615 216634212679 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 12772 9533 252 17 0 9413 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59792 [startup+51.1002 s] /proc/loadavg: 1.13 0.31 0.10 3/180 3903 /proc/meminfo: memFree=18065244/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=74340 CPUtime=50.81 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 32212 0 0 0 5076 5 0 0 25 0 1 0 501537333 76124160 13602 33554432000 4194304 4260849 140736477838128 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 18585 13602 252 17 0 15226 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83044 [startup+102.301 s] /proc/loadavg: 1.65 0.59 0.21 3/180 3905 /proc/meminfo: memFree=18044384/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=86452 CPUtime=102.02 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 51515 0 0 0 10192 10 0 0 25 0 1 0 501537333 88526848 17698 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 21613 17698 252 17 0 18254 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 95156 [startup+162.301 s] /proc/loadavg: 1.87 0.84 0.32 3/180 3906 /proc/meminfo: memFree=17959424/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=166592 CPUtime=162.02 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 131812 0 0 0 16178 24 0 0 25 0 1 0 501537333 170590208 35721 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 41648 35721 252 17 0 38289 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 175296 [startup+222.307 s] /proc/loadavg: 1.95 1.05 0.42 3/180 3908 /proc/meminfo: memFree=17965100/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=135772 CPUtime=222.02 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 197150 0 0 0 22166 36 0 0 25 0 1 0 501537333 139030528 29246 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 33943 29246 252 17 0 30584 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 144476 [startup+282.3 s] /proc/loadavg: 1.98 1.22 0.52 3/180 3909 /proc/meminfo: memFree=17908884/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=216680 CPUtime=282.02 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 260622 0 0 0 28153 49 0 0 25 0 1 0 501537333 221880320 41807 33554432000 4194304 4260849 140736477838128 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 54170 41807 252 17 0 50811 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 225384 [startup+342.301 s] /proc/loadavg: 1.99 1.36 0.61 3/180 3911 /proc/meminfo: memFree=17921732/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=166592 CPUtime=342.02 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 335548 0 0 0 34139 63 0 0 25 0 1 0 501537333 170590208 37558 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3902/statm: 41648 37558 252 17 0 38289 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 175296 [startup+402.3 s] /proc/loadavg: 1.99 1.47 0.69 3/180 3912 /proc/meminfo: memFree=17936936/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 ################ # More data... # ################ /proc/3902/statm: 77218 64444 252 17 0 73859 0 Current children cumulated CPU time (s) 4302.38 Current children cumulated vsize (KiB) 317576 [startup+4362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/180 4030 /proc/meminfo: memFree=17803420/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=227484 CPUtime=4362.11 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2684141 0 0 0 435594 617 0 0 25 0 1 0 501537333 232943616 51146 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 56871 51146 252 17 0 53512 0 Current children cumulated CPU time (s) 4362.38 Current children cumulated vsize (KiB) 236188 [startup+4422.3 s] /proc/loadavg: 2.07 2.02 1.92 3/180 4032 /proc/meminfo: memFree=17696604/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=441132 CPUtime=4422.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2710018 0 0 0 441588 624 0 0 25 0 1 0 501537333 451719168 76833 33554432000 4194304 4260849 140736477838128 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 110283 76833 252 17 0 106924 0 Current children cumulated CPU time (s) 4422.39 Current children cumulated vsize (KiB) 449836 [startup+4482.3 s] /proc/loadavg: 2.02 2.01 1.92 3/180 4033 /proc/meminfo: memFree=17691620/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=444620 CPUtime=4482.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2770438 0 0 0 447576 636 0 0 25 0 1 0 501537333 455290880 79087 33554432000 4194304 4260849 140736477838128 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 111155 79087 252 17 0 107796 0 Current children cumulated CPU time (s) 4482.39 Current children cumulated vsize (KiB) 453324 [startup+4542.3 s] /proc/loadavg: 2.01 2.00 1.92 3/180 4035 /proc/meminfo: memFree=17664296/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=446540 CPUtime=4542.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2828217 0 0 0 453564 648 0 0 25 0 1 0 501537333 457256960 77545 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 111635 77545 252 17 0 108276 0 Current children cumulated CPU time (s) 4542.39 Current children cumulated vsize (KiB) 455244 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4036 /proc/meminfo: memFree=17682860/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=447712 CPUtime=4602.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2886722 0 0 0 459553 659 0 0 25 0 1 0 501537333 458457088 77019 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 111928 77019 252 17 0 108569 0 Current children cumulated CPU time (s) 4602.39 Current children cumulated vsize (KiB) 456416 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4038 /proc/meminfo: memFree=17710596/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=315452 CPUtime=4662.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2938650 0 0 0 465543 669 0 0 25 0 1 0 501537333 323022848 69405 33554432000 4194304 4260849 140736477838128 18446744073709551615 4225421 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 78863 69405 252 17 0 75504 0 Current children cumulated CPU time (s) 4662.39 Current children cumulated vsize (KiB) 324156 [startup+4722.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4071 /proc/meminfo: memFree=17840560/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=316944 CPUtime=4722.13 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 2994276 0 0 0 471533 680 0 0 25 0 1 0 501537333 324550656 64769 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 79236 64769 252 17 0 75877 0 Current children cumulated CPU time (s) 4722.4 Current children cumulated vsize (KiB) 325648 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4072 /proc/meminfo: memFree=17757776/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=320944 CPUtime=4782.13 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 3058477 0 0 0 477519 694 0 0 25 0 1 0 501537333 328646656 68740 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 80236 68740 252 17 0 76877 0 Current children cumulated CPU time (s) 4782.4 Current children cumulated vsize (KiB) 329648 [startup+4842.31 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4074 /proc/meminfo: memFree=17754284/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=320944 CPUtime=4842.13 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 3120291 0 0 0 483507 706 0 0 25 0 1 0 501537333 328646656 69554 33554432000 4194304 4260849 140736477838128 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 80236 69554 252 17 0 76877 0 Current children cumulated CPU time (s) 4842.4 Current children cumulated vsize (KiB) 329648 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4075 /proc/meminfo: memFree=17752888/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=320944 CPUtime=4902.12 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 3176841 0 0 0 489492 720 0 0 25 0 1 0 501537333 328646656 65083 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 80236 65083 252 17 0 76877 0 Current children cumulated CPU time (s) 4902.39 Current children cumulated vsize (KiB) 329648 [startup+4962.3 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4077 /proc/meminfo: memFree=17832360/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=323256 CPUtime=4962.13 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 3231378 0 0 0 495482 731 0 0 25 0 1 0 501537333 331014144 58128 33554432000 4194304 4260849 140736477838128 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 80814 58128 252 17 0 77455 0 Current children cumulated CPU time (s) 4962.4 Current children cumulated vsize (KiB) 331960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.00 2.00 1.92 3/180 4078 /proc/meminfo: memFree=17698424/32951124 swapFree=67111528/67111528 [pid=3887] ppid=3885 vsize=8704 CPUtime=0.27 cores=1,3,5,7 /proc/3887/stat : 3887 (glucose.sh) S 3885 3887 3859 0 -1 4202496 360 1231 0 0 0 0 27 0 19 0 1 0 501537305 8912896 255 33554432000 4194304 4922060 140735931871616 18446744073709551615 216634334341 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/3887/statm: 2176 255 211 178 0 69 0 [pid=3902] ppid=3887 vsize=323684 CPUtime=4999.74 cores=1,3,5,7 /proc/3902/stat : 3902 (glucose_static) R 3887 3887 3859 0 -1 4202496 3249449 0 0 0 499237 737 0 0 25 0 1 0 501537333 331452416 76068 33554432000 4194304 4260849 140736477838128 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3902/statm: 80921 76068 252 17 0 77562 0 Current children cumulated CPU time (s) 5000.01 Current children cumulated vsize (KiB) 332388 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 3887 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=275958 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.277957 # while last known CPU time is 5000.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.01 CPU user time (s): 4992.64 CPU system time (s): 7.37 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 594448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.275958 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= 1591 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= 8 involuntary context switches= 5 runsolver used 7.8708 second user time and 17.9253 second system time The end
Begin job on node103 at 2011-04-27 12:15:47 IDJOB=3303409 IDBENCH=83163 IDSOLVER=1687 FILE ID=node103/3303409-1303899347 RUNJOBID= node103-1303899346-3878 PBS_JOBID= 13164545 Free space on /tmp= 71540 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-5x41.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303409-1303899347/watcher-3303409-1303899347 -o /tmp/evaluation-result-3303409-1303899347/solver-3303409-1303899347 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303409-1303899347.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 420773b7b438dd18c8a88a15fb5bcae1 RANDOM SEED=1081153599 node103.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.858 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.71 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.858 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.858 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.858 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18154184 kB Buffers: 2140624 kB Cached: 12010960 kB SwapCached: 0 kB Active: 5380952 kB Inactive: 8833880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18154184 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1976 kB Writeback: 0 kB AnonPages: 62876 kB Mapped: 14444 kB Slab: 517020 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185144 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= 71524 MiB End job on node103 at 2011-04-27 13:39:09