| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1299.97 | 1300.01 |
| 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.25 c | 0 | 33415 198030 | -- 0 -- -- | -- | -820/63550 0.00/0.25 c ============================================================================== 0.00/0.25 c Result : #vars: 615 #clauses: 33415 #literals: 198030 0.00/0.25 c CPU time: 0.247962 s 0.00/0.25 c ============================================================================== 0.00/0.28 c 0.00/0.28 c Starting glucose 0.00/0.28 c 0.27/0.92 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.27/0.92 c WARNING: for repeatability, setting FPU to use double precision 0.27/0.92 c ============================[ Problem Statistics ]============================= 0.27/0.92 c | | 0.27/0.92 c | Number of variables: 615 | 0.27/0.92 c | Number of clauses: 33415 | 0.27/0.92 c | Parse time: 0.01 s | 0.27/0.92 c | | 0.27/0.92 c ============================[ Search Statistics ]============================== 0.27/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.92 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.27/0.92 c =============================================================================== 0.27/0.92 c | 37929 | 615 33415 198030 | 1 11300 28 | 0.000 % | 0.27/0.92 c | 38765 | 615 33415 198030 | 1 12136 30 | 0.000 % | 0.27/0.92 c | 38886 | 615 33415 198030 | 1 12257 30 | 0.000 % | 0.27/0.92 c | 39003 | 615 33415 198030 | 1 12374 30 | 0.000 % | 0.27/0.92 c | 39104 | 615 33415 198030 | 1 12475 30 | 0.000 % | 0.27/0.92 c | 39217 | 615 33415 198030 | 1 12588 30 | 0.000 % | 0.27/0.92 c | 39317 | 615 33415 198030 | 1 12688 30 | 0.000 % | 0.27/0.92 c | 39466 | 615 33415 198030 | 1 12837 31 | 0.000 % | 0.27/0.92 c | 39572 | 615 33415 198030 | 1 12943 31 | 0.000 % | 0.27/0.92 c | 39673 | 615 33415 198030 | 1 13044 31 | 0.000 % | 0.27/0.92 c | 39790 | 615 33415 198030 | 1 13161 31 | 0.000 % | 0.27/0.92 c | 39896 | 615 33415 198030 | 1 13267 31 | 0.000 % | 0.27/0.92 c | 39997 | 615 33415 198030 | 1 13368 31 | 0.000 % | 0.27/0.92 c | 40097 | 615 33415 198030 | 1 13468 32 | 0.000 % | 0.27/0.92 c | 40211 | 615 33415 198030 | 1 13582 32 | 0.000 % | 0.27/0.92 c | 40329 | 615 33415 198030 | 1 13700 32 | 0.000 % | 0.27/0.92 c | 40430 | 615 33415 198030 | 1 13801 32 | 0.000 % | 0.27/0.92 c | 40532 | 615 33415 198030 | 1 13903 32 | 0.000 % | 0.27/0.92 c | 40632 | 615 33415 198030 | 1 7024 19 | 0.000 % | 0.27/0.92 c | 40732 | 615 33415 198030 | 1 7124 19 | 0.000 % | 0.27/0.92 c | 40832 | 615 33415 198030 | 1 7224 20 | 0.000 % | 0.27/0.92 c | 40932 | 615 33415 198030 | 1 7324 20 | 0.000 % | 0.27/0.92 c | 41032 | 615 33415 198030 | 1 7424 21 | 0.000 % | 0.27/0.92 c | 41134 | 615 33415 198030 | 1 7526 21 | 0.000 % | 0.27/0.92 c | 41237 | 615 33415 198030 | 1 7629 22 | 0.000 % | 0.27/0.92 c | 41340 | 615 33415 198030 | 1 7732 23 | 0.000 % | 0.27/0.92 c | 41442 | 615 33415 198030 | 1 7834 24 | 0.000 % | 0.27/0.92 c | 41542 | 615 33415 198030 | 1 7934 25 | 0.000 % | 0.27/0.92 c | 41644 | 615 33415 198030 | 1 8036 26 | 0.000 % | 0.27/0.92 c | 41745 | 615 33415 198030 | 1 8137 26 | 0.000 % | 0.27/0.92 c | 41845 | 615 33415 198030 | 1 8237 27 | 0.000 % | 0.27/0.92 c | 41945 | 615 33415 198030 | 1 8337 28 | 0.000 % | 0.27/0.92 c | 42046 | 615 33415 198030 | 1 8438 29 | 0.000 % | 0.27/0.92 c | 42146 | 615 33415 198030 | 1 8538 30 | 0.000 % | 0.27/0.92 c | 42246 | 615 33415 198030 | 1 8638 31 | 0.000 % | 0.27/0.92 c | 42346 | 615 33415 198030 | 1 8738 31 | 0.000 % | 0.27/0.92 c | 42447 | 615 33415 198030 | 1 8839 32 | 0.000 % | 0.27/0.92 c | 42549 | 615 33415 198030 | 1 8941 33 | 0.000 % | 0.27/0.92 c | 42650 | 615 33415 198030 | 1 9042 34 | 0.000 % | 0.98/1.04 c | 42751 | 615 33415 198030 | 1 9143 34 | 0.000 % | 0.98/1.04 c | 42851 | 615 33415 198030 | 1 9243 35 | 0.000 % | 0.98/1.04 c | 42952 | 615 33415 198030 | 1 9344 36 | 0.000 % | 0.98/1.04 c | 43052 | 615 33415 198030 | 1 9444 37 | 0.000 % | 0.98/1.04 c | 43152 | 615 33415 198030 | 1 9544 37 | 0.000 % | 0.98/1.04 c | 43253 | 615 33415 198030 | 1 9645 38 | 0.000 % | 0.98/1.04 c | 43354 | 615 33415 198030 | 1 9746 39 | 0.000 % | 0.98/1.04 c | 43454 | 615 33415 198030 | 1 9846 39 | 0.000 % | 0.98/1.04 c | 43555 | 615 33415 198030 | 1 9947 40 | 0.000 % | 0.98/1.04 c | 43656 | 615 33415 198030 | 1 10048 40 | 0.000 % | 0.98/1.04 c | 43756 | 615 33415 198030 | 1 10148 41 | 0.000 % | 0.98/1.04 c | 43856 | 615 33415 198030 | 1 10248 42 | 0.000 % | 0.98/1.04 c | 43956 | 615 33415 198030 | 1 10348 42 | 0.000 % | 0.98/1.04 c | 44056 | 615 33415 198030 | 1 10448 43 | 0.000 % | 0.98/1.04 c | 44157 | 615 33415 198030 | 1 10549 43 | 0.000 % | 0.98/1.04 c | 44257 | 615 33415 198030 | 1 10649 44 | 0.000 % | 0.98/1.04 c | 44357 | 615 33415 198030 | 1 10749 45 | 0.000 % | 0.98/1.04 c | 44457 | 615 33415 198030 | 1 10849 45 | 0.000 % | 0.98/1.04 c | 44558 | 615 33415 198030 | 1 10950 46 | 0.000 % | 0.98/1.04 c | 44658 | 615 33415 198030 | 1 11050 46 | 0.000 % | 0.98/1.04 c | 44759 | 615 33415 198030 | 1 11151 47 | 0.000 % | 0.98/1.04 c | 44859 | 615 33415 198030 | 1 11251 47 | 0.000 % | 0.98/1.04 c | 44961 | 615 33415 198030 | 1 11353 48 | 0.000 % | 0.98/1.04 c | 45061 | 615 33415 198030 | 1 11453 48 | 0.000 % | 0.98/1.04 c | 45161 | 615 33415 198030 | 1 11553 49 | 0.000 % | 0.98/1.04 c | 45263 | 615 33415 198030 | 1 11655 49 | 0.000 % | 0.98/1.04 c | 45363 | 615 33415 198030 | 1 11755 50 | 0.000 % | 0.98/1.04 c | 45463 | 615 33415 198030 | 1 11855 50 | 0.000 % | 0.98/1.04 c | 45563 | 615 33415 198030 | 1 11955 51 | 0.000 % | 0.98/1.04 c | 45664 | 615 33415 198030 | 1 12056 51 | 0.000 % | 0.98/1.04 c | 45764 | 615 33415 198030 | 1 12156 52 | 0.000 % | 0.98/1.04 c | 45864 | 615 33415 198030 | 1 12256 52 | 0.000 % | 0.98/1.04 c | 45966 | 615 33415 198030 | 1 12358 52 | 0.000 % | 0.98/1.04 c | 46066 | 615 33415 198030 | 1 12458 53 | 0.000 % | 0.98/1.04 c | 46169 | 615 33415 198030 | 1 12561 53 | 0.000 % | 0.98/1.04 c | 46270 | 615 33415 198030 | 1 12662 54 | 0.000 % | 0.98/1.04 c | 46371 | 615 33415 198030 | 1 12763 54 | 0.000 % | 0.98/1.04 c | 46473 | 615 33415 198030 | 1 12865 55 | 0.000 % | 0.98/1.04 c | 46574 | 615 33415 198030 | 1 12966 55 | 0.000 % | 0.98/1.04 c | 46675 | 615 33415 198030 | 1 13067 55 | 0.000 % | 0.98/1.04 c | 46776 | 615 33415 198030 | 1 13168 56 | 0.000 % | 0.98/1.04 c | 46877 | 615 33415 198030 | 1 13269 56 | 0.000 % | 0.98/1.04 c | 46978 | 615 33415 198030 | 1 13370 57 | 0.000 % | 0.98/1.04 c | 47078 | 615 33415 198030 | 1 13470 57 | 0.000 % | 0.98/1.04 c | 47179 | 615 33415 198030 | 1 13571 57 | 0.000 % | 0.98/1.04 c | 47279 | 615 33415 198030 | 1 13671 58 | 0.000 % | 0.98/1.04 c | 47379 | 615 33415 198030 | 1 13771 58 | 0.000 % | 0.98/1.04 c | 47479 | 615 33415 198030 | 1 13871 58 | 0.000 % | 0.98/1.04 c | 47582 | 615 33415 198030 | 1 13974 59 | 0.000 % | 0.98/1.04 c | 47682 | 615 33415 198030 | 1 14074 59 | 0.000 % | 1.08/1.15 c | 47784 | 615 33415 198030 | 1 14176 59 | 0.000 % | 1.08/1.15 c | 47885 | 615 33415 198030 | 1 14277 60 | 0.000 % | 1.08/1.15 c | 47985 | 615 33415 198030 | 1 14377 60 | 0.000 % | 1.08/1.15 c | 48085 | 615 33415 198030 | 1 14477 60 | 0.000 % | 1.08/1.15 c | 48186 | 615 33415 198030 | 1 14578 61 | 0.000 % | 1.08/1.15 c | 48286 | 615 33415 198030 | 1 14678 61 | 0.000 % | 1.08/1.15 c | 48387 | 615 33415 198030 | 1 14779 61 | 0.000 % | 1.08/1.15 c | 48487 | 615 33415 198030 | 1 14879 62 | 0.000 % | 1.08/1.15 c | 48587 | 615 33415 198030 | 1 14979 62 | 0.000 % | 1.08/1.15 c | 48687 | 615 33415 198030 | 1 15079 62 | 0.000 % | 1.08/1.15 c | 48789 | 615 33415 198030 | 1 15181 62 | 0.000 % | 1.08/1.15 c | 48890 | 615 33415 198030 | 1 7696 22 | 0.000 % | 1.08/1.15 c | 48990 | 615 33415 198030 | 1 7796 23 | 0.000 % | 1.08/1.15 c | 49091 | 615 33415 198030 | 1 7897 24 | 0.000 % | 1.08/1.15 c | 49192 | 615 33415 198030 | 1 7998 25 | 0.000 % | 1.08/1.15 c | 49292 | 615 33415 198030 | 1 8098 26 | 0.000 % | 1.08/1.15 c | 49393 | 615 33415 198030 | 1 8199 26 | 0.000 % | 1.08/1.15 c | 49494 | 615 33415 198030 | 1 8300 27 | 0.000 % | 1.08/1.15 c | 49594 | 615 33415 198030 | 1 8400 28 | 0.000 % | 1.08/1.15 c | 49695 | 615 33415 198030 | 1 8501 29 | 0.000 % | 1.08/1.15 c | 49796 | 615 33415 198030 | 1 8602 30 | 0.000 % | 1.08/1.15 c | 49896 | 615 33415 198030 | 1 8702 31 | 0.000 % | 1.08/1.15 c | 49997 | 615 33415 198030 | 1 8803 32 | 0.000 % | 1.08/1.15 c | 50097 | 615 33415 198030 | 1 8903 32 | 0.000 % | 1.08/1.15 c | 50197 | 615 33415 198030 | 1 9003 33 | 0.000 % | 1.08/1.15 c | 50297 | 615 33415 198030 | 1 9103 34 | 0.000 % | 1.08/1.15 c | 50397 | 615 33415 198030 | 1 9203 34 | 0.000 % | 1.08/1.15 c | 50498 | 615 33415 198030 | 1 9304 35 | 0.000 % | 1.08/1.15 c | 50598 | 615 33415 198030 | 1 9404 36 | 0.000 % | 1.08/1.15 c | 50698 | 615 33415 198030 | 1 9504 37 | 0.000 % | 1.08/1.15 c | 50798 | 615 33415 198030 | 1 9604 37 | 0.000 % | 1.08/1.15 c | 50900 | 615 33415 198030 | 1 9706 38 | 0.000 % | 1.08/1.15 c | 51001 | 615 33415 198030 | 1 9807 39 | 0.000 % | 1.08/1.15 c | 51102 | 615 33415 198030 | 1 9908 39 | 0.000 % | 1.08/1.15 c | 51202 | 615 33415 198030 | 1 10008 40 | 0.000 % | 1.08/1.15 c | 51302 | 615 33415 198030 | 1 10108 41 | 0.000 % | 1.08/1.15 c | 51404 | 615 33415 198030 | 1 10210 41 | 0.000 % | 1.08/1.15 c | 51504 | 615 33415 198030 | 1 10310 42 | 0.000 % | 1.08/1.15 c | 51604 | 615 33415 198030 | 1 10410 42 | 0.000 % | 1.08/1.15 c | 51704 | 615 33415 198030 | 1 10510 43 | 0.000 % | 1.08/1.15 c | 51804 | 615 33415 198030 | 1 10610 44 | 0.000 % | 1.08/1.15 c | 51904 | 615 33415 198030 | 1 10710 44 | 0.000 % | 1.08/1.15 c | 52005 | 615 33415 198030 | 1 10811 45 | 0.000 % | 1.08/1.15 c | 52105 | 615 33415 198030 | 1 10911 45 | 0.000 % | 1.08/1.15 c | 52207 | 615 33415 198030 | 1 11013 46 | 0.000 % | 1.08/1.15 c | 52307 | 615 33415 198030 | 1 11113 46 | 0.000 % | 1.08/1.15 c | 52408 | 615 33415 198030 | 1 11214 47 | 0.000 % | 1.08/1.15 c | 52508 | 615 33415 198030 | 1 11314 47 | 0.000 % | 1.08/1.15 c | 52608 | 615 33415 198030 | 1 11414 48 | 0.000 % | 1.08/1.15 c | 52708 | 615 33415 198030 | 1 11514 48 | 0.000 % | 1.27/1.30 c | 52808 | 615 33415 198030 | 1 11614 49 | 0.000 % | 1.27/1.30 c | 52908 | 615 33415 198030 | 1 11714 49 | 0.000 % | 1.27/1.30 c | 53009 | 615 33415 198030 | 1 11815 50 | 0.000 % | 1.27/1.30 c | 53110 | 615 33415 198030 | 1 11916 50 | 0.000 % | 1.27/1.30 c | 53211 | 615 33415 198030 | 1 12017 51 | 0.000 % | 1.27/1.30 c | 53311 | 615 33415 198030 | 1 12117 51 | 0.000 % | 1.27/1.30 c | 53412 | 615 33415 198030 | 1 12218 52 | 0.000 % | 1.27/1.30 c | 53512 | 615 33415 198030 | 1 12318 52 | 0.000 % | 1.27/1.30 c | 53612 | 615 33415 198030 | 1 12418 52 | 0.000 % | 1.27/1.30 c | 53712 | 615 33415 198030 | 1 12518 53 | 0.000 % | 1.27/1.30 c | 53816 | 615 33415 198030 | 1 12622 53 | 0.000 % | 1.27/1.30 c | 53918 | 615 33415 198030 | 1 12724 54 | 0.000 % | 1.27/1.30 c | 54019 | 615 33415 198030 | 1 12825 54 | 0.000 % | 1.27/1.30 c | 54119 | 615 33415 198030 | 1 12925 54 | 0.000 % | 1.27/1.30 c | 54219 | 615 33415 198030 | 1 13025 55 | 0.000 % | 1.27/1.30 c | 54321 | 615 33415 198030 | 1 13127 55 | 0.000 % | 1.27/1.30 c | 54421 | 615 33415 198030 | 1 13227 56 | 0.000 % | 1.27/1.30 c | 54521 | 615 33415 198030 | 1 13327 56 | 0.000 % | 1.27/1.30 c | 54621 | 615 33415 198030 | 1 13427 56 | 0.000 % | 1.27/1.30 c | 54721 | 615 33415 198030 | 1 13527 57 | 0.000 % | 1.27/1.30 c | 54823 | 615 33415 198030 | 1 13629 57 | 0.000 % | 1.27/1.30 c | 54923 | 615 33415 198030 | 1 13729 58 | 0.000 % | 1.27/1.30 c | 55023 | 615 33415 198030 | 1 13829 58 | 0.000 % | 1.27/1.30 c | 55123 | 615 33415 198030 | 1 13929 58 | 0.000 % | 1.27/1.30 c | 55223 | 615 33415 198030 | 1 14029 59 | 0.000 % | 1.27/1.30 c | 55324 | 615 33415 198030 | 1 14130 59 | 0.000 % | 1.27/1.30 c | 55424 | 615 33415 198030 | 1 14230 59 | 0.000 % | 1.27/1.30 c | 55524 | 615 33415 198030 | 1 14330 60 | 0.000 % | 1.27/1.30 c | 55626 | 615 33415 198030 | 1 14432 60 | 0.000 % | 1.27/1.30 c | 55727 | 615 33415 198030 | 1 14533 60 | 0.000 % | 1.27/1.30 c | 55829 | 615 33415 198030 | 1 14635 61 | 0.000 % | 1.27/1.30 c | 55929 | 615 33415 198030 | 1 14735 61 | 0.000 % | 1.27/1.30 c | 56032 | 615 33415 198030 | 1 14838 61 | 0.000 % | 1.27/1.30 c | 56132 | 615 33415 198030 | 1 14938 62 | 0.000 % | 1.27/1.30 c | 56232 | 615 33415 198030 | 1 15038 62 | 0.000 % | 1.27/1.30 c | 56332 | 615 33415 198030 | 1 15138 62 | 0.000 % | 1.27/1.30 c | 56432 | 615 33415 198030 | 1 15238 62 | 0.000 % | 1.27/1.30 c | 56532 | 615 33415 198030 | 1 15338 63 | 0.000 % | 1.27/1.30 c | 56633 | 615 33415 198030 | 1 15439 63 | 0.000 % | 1.27/1.30 c | 56734 | 615 33415 198030 | 1 15540 63 | 0.000 % | 1.27/1.30 c | 56835 | 615 33415 198030 | 1 15641 64 | 0.000 % | 1.27/1.30 c | 56935 | 615 33415 198030 | 1 15741 64 | 0.000 % | 1.27/1.30 c | 57035 | 615 33415 198030 | 1 15841 64 | 0.000 % | 1.27/1.30 c | 57135 | 615 33415 198030 | 1 15941 64 | 0.000 % | 1.27/1.30 c | 57236 | 615 33415 198030 | 1 16042 65 | 0.000 % | 1.27/1.30 c | 57336 | 615 33415 198030 | 1 16142 65 | 0.000 % | 1.27/1.30 c | 57436 | 615 33415 198030 | 1 16242 65 | 0.000 % | 1.27/1.30 c | 57537 | 615 33415 198030 | 1 16343 65 | 0.000 % | 1.27/1.30 c | 57637 | 615 33415 198030 | 1 8248 24 | 0.000 % | 1.27/1.30 c | 57737 | 615 33415 198030 | 1 8348 25 | 0.000 % | 1.37/1.40 c | 57837 | 615 33415 198030 | 1 8448 26 | 0.000 % | 1.37/1.40 c | 57938 | 615 33415 198030 | 1 8549 27 | 0.000 % | 1.37/1.40 c | 58227 | 615 33415 198030 | 1 8838 29 | 0.000 % | 1.37/1.40 c | 58381 | 615 33415 198030 | 1 8992 29 | 0.000 % | 1.37/1.40 c | 58482 | 615 33415 198030 | 1 9093 30 | 0.000 % | 1.37/1.40 c | 58583 | 615 33415 198030 | 1 9194 31 | 0.000 % | 1.37/1.40 c | 58683 | 615 33415 198030 | 1 9294 31 | 0.000 % | 1.37/1.40 c | 58784 | 615 33415 198030 | 1 9395 32 | 0.000 % | 1.37/1.40 c | 58885 | 615 33415 198030 | 1 9496 33 | 0.000 % | 1.37/1.40 c | 58985 | 615 33415 198030 | 1 9596 33 | 0.000 % | 1.37/1.40 c | 59086 | 615 33415 198030 | 1 9697 34 | 0.000 % | 1.37/1.40 c | 59186 | 615 33415 198030 | 1 9797 35 | 0.000 % | 1.37/1.40 c | 59287 | 615 33415 198030 | 1 9898 35 | 0.000 % | 1.37/1.40 c | 59388 | 615 33415 198030 | 1 9999 36 | 0.000 % | 1.37/1.40 c | 59489 | 615 33415 198030 | 1 10100 37 | 0.000 % | 1.37/1.40 c | 59590 | 615 33415 198030 | 1 10201 37 | 0.000 % | 1.37/1.40 c | 59690 | 615 33415 198030 | 1 10301 38 | 0.000 % | 1.37/1.40 c | 59821 | 615 33415 198030 | 1 10432 38 | 0.000 % | 1.37/1.40 c | 59923 | 615 33415 198030 | 1 10534 39 | 0.000 % | 1.37/1.40 c | 60023 | 615 33415 198030 | 1 10634 39 | 0.000 % | 1.37/1.40 c | 60124 | 615 33415 198030 | 1 10735 40 | 0.000 % | 1.37/1.40 c | 60225 | 615 33415 198030 | 1 10836 40 | 0.000 % | 1.37/1.40 c | 60325 | 615 33415 198030 | 1 10936 41 | 0.000 % | 1.37/1.40 c | 60426 | 615 33415 198030 | 1 11037 41 | 0.000 % | 1.37/1.40 c | 60526 | 615 33415 198030 | 1 11137 42 | 0.000 % | 1.37/1.40 c | 60626 | 615 33415 198030 | 1 11237 42 | 0.000 % | 1.37/1.40 c | 60727 | 615 33415 198030 | 1 11338 43 | 0.000 % | 1.37/1.40 c | 60828 | 615 33415 198030 | 1 11439 43 | 0.000 % | 1.37/1.40 c | 60928 | 615 33415 198030 | 1 11539 44 | 0.000 % | 1.37/1.40 c | 61028 | 615 33415 198030 | 1 11639 44 | 0.000 % | 1.37/1.40 c | 61130 | 615 33415 198030 | 1 11741 45 | 0.000 % | 1.37/1.40 c | 61230 | 615 33415 198030 | 1 11841 45 | 0.000 % | 1.37/1.40 c | 61330 | 615 33415 198030 | 1 11941 46 | 0.000 % | 1.37/1.40 c | 61432 | 615 33415 198030 | 1 12043 46 | 0.000 % | 1.37/1.40 c | 61533 | 615 33415 198030 | 1 12144 47 | 0.000 % | 1.37/1.40 c | 61633 | 615 33415 198030 | 1 12244 47 | 0.000 % | 1.37/1.40 c | 61733 | 615 33415 198030 | 1 12344 48 | 0.000 % | 1.37/1.40 c | 61834 | 615 33415 198030 | 1 12445 48 | 0.000 % | 1.37/1.40 c | 61935 | 615 33415 198030 | 1 12546 49 | 0.000 % | 1.37/1.40 c | 62036 | 615 33415 198030 | 1 12647 49 | 0.000 % | 1.37/1.40 c | 62139 | 615 33415 198030 | 1 12750 50 | 0.000 % | 1.37/1.40 c | 62239 | 615 33415 198030 | 1 12850 50 | 0.000 % | 1.37/1.40 c | 62340 | 615 33415 198030 | 1 12951 50 | 0.000 % | 1.37/1.40 c | 62440 | 615 33415 198030 | 1 13051 51 | 0.000 % | 1.37/1.40 c | 62540 | 615 33415 198030 | 1 13151 51 | 0.000 % | 1.37/1.40 c | 62640 | 615 33415 198030 | 1 13251 52 | 0.000 % | 1.37/1.40 c | 62744 | 615 33415 198030 | 1 13355 52 | 0.000 % | 1.37/1.40 c | 62846 | 615 33415 198030 | 1 13457 52 | 0.000 % | 1.37/1.40 c | 62947 | 615 33415 198030 | 1 13558 53 | 0.000 % | 1.37/1.40 c | 63049 | 615 33415 198030 | 1 13660 53 | 0.000 % | 1.47/1.55 c | 63149 | 615 33415 198030 | 1 13760 53 | 0.000 % | 1.47/1.55 c | 63251 | 615 33415 198030 | 1 13862 54 | 0.000 % | 1.47/1.55 c | 63351 | 615 33415 198030 | 1 13962 54 | 0.000 % | 1.47/1.55 c | 63452 | 615 33415 198030 | 1 14063 55 | 0.000 % | 1.47/1.55 c | 63554 | 615 33415 198030 | 1 14165 55 | 0.000 % | 1.47/1.55 c | 63656 | 615 33415 198030 | 1 14267 55 | 0.000 % | 1.47/1.55 c | 63756 | 615 33415 198030 | 1 14367 56 | 0.000 % | 1.47/1.55 c | 63857 | 615 33415 198030 | 1 14468 56 | 0.000 % | 1.47/1.55 c | 63957 | 615 33415 198030 | 1 14568 56 | 0.000 % | 1.47/1.55 c | 64058 | 615 33415 198030 | 1 14669 57 | 0.000 % | 1.47/1.55 c | 64158 | 615 33415 198030 | 1 14769 57 | 0.000 % | 1.47/1.55 c | 64260 | 615 33415 198030 | 1 14871 57 | 0.000 % | 1.47/1.55 c | 64362 | 615 33415 198030 | 1 14973 58 | 0.000 % | 1.47/1.55 c | 64462 | 615 33415 198030 | 1 15073 58 | 0.000 % | 1.47/1.55 c | 64562 | 615 33415 198030 | 1 15173 58 | 0.000 % | 1.47/1.55 c | 64663 | 615 33415 198030 | 1 15274 59 | 0.000 % | 1.47/1.55 c | 64763 | 615 33415 198030 | 1 15374 59 | 0.000 % | 1.47/1.55 c | 64864 | 615 33415 198030 | 1 15475 59 | 0.000 % | 1.47/1.55 c | 64964 | 615 33415 198030 | 1 15575 59 | 0.000 % | 1.47/1.55 c | 65066 | 615 33415 198030 | 1 15677 60 | 0.000 % | 1.47/1.55 c | 65166 | 615 33415 198030 | 1 15777 60 | 0.000 % | 1.47/1.55 c | 65266 | 615 33415 198030 | 1 15877 60 | 0.000 % | 1.47/1.55 c | 65367 | 615 33415 198030 | 1 15978 61 | 0.000 % | 1.47/1.55 c | 65467 | 615 33415 198030 | 1 16078 61 | 0.000 % | 1.47/1.55 c | 65570 | 615 33415 198030 | 1 16181 61 | 0.000 % | 1.47/1.55 c | 65670 | 615 33415 198030 | 1 16281 61 | 0.000 % | 1.47/1.55 c | 65770 | 615 33415 198030 | 1 16381 62 | 0.000 % | 1.47/1.55 c | 65872 | 615 33415 198030 | 1 16483 62 | 0.000 % | 1.47/1.55 c | 65972 | 615 33415 198030 | 1 16583 62 | 0.000 % | 1.47/1.55 c | 66072 | 615 33415 198030 | 1 16683 63 | 0.000 % | 1.47/1.55 c | 66172 | 615 33415 198030 | 1 16783 63 | 0.000 % | 1.47/1.55 c | 66272 | 615 33415 198030 | 1 16883 63 | 0.000 % | 1.47/1.55 c | 66372 | 615 33415 198030 | 1 16983 63 | 0.000 % | 1.47/1.55 c | 66472 | 615 33415 198030 | 1 17083 64 | 0.000 % | 1.47/1.55 c | 66572 | 615 33415 198030 | 1 17183 64 | 0.000 % | 1.47/1.55 c | 66673 | 615 33415 198030 | 1 17284 64 | 0.000 % | 1.47/1.55 c | 66773 | 615 33415 198030 | 1 17384 64 | 0.000 % | 1.47/1.55 c | 66874 | 615 33415 198030 | 1 17485 65 | 0.000 % | 1.47/1.55 c | 66974 | 615 33415 198030 | 1 17585 65 | 0.000 % | 1.47/1.55 c | 67074 | 615 33415 198030 | 1 8892 26 | 0.000 % | 1.47/1.55 c | 67175 | 615 33415 198030 | 1 8993 27 | 0.000 % | 1.47/1.55 c | 67275 | 615 33415 198030 | 1 9093 28 | 0.000 % | 1.47/1.55 c | 67557 | 615 33415 198030 | 1 9375 29 | 0.000 % | 1.47/1.55 c | 67658 | 615 33415 198030 | 1 9476 30 | 0.000 % | 1.47/1.55 c | 67758 | 615 33415 198030 | 1 9576 31 | 0.000 % | 1.47/1.55 c | 67874 | 615 33415 198030 | 1 9692 31 | 0.000 % | 1.47/1.55 c | 67975 | 615 33415 198030 | 1 9793 32 | 0.000 % | 1.47/1.55 c | 68076 | 615 33415 198030 | 1 9894 33 | 0.000 % | 1.47/1.55 c | 68416 | 615 33415 198030 | 1 10234 34 | 0.000 % | 1.47/1.55 c | 68551 | 615 33415 198030 | 1 10369 35 | 0.000 % | 1.57/1.66 c | 68651 | 615 33415 198030 | 1 10469 35 | 0.000 % | 1.57/1.66 c | 68756 | 615 33415 198030 | 1 10574 36 | 0.000 % | 1.57/1.66 c | 68857 | 615 33415 198030 | 1 10675 37 | 0.000 % | 1.57/1.66 c | 68957 | 615 33415 198030 | 1 10775 37 | 0.000 % | 1.57/1.66 c | 69057 | 615 33415 198030 | 1 10875 38 | 0.000 % | 1.57/1.66 c | 69157 | 615 33415 198030 | 1 10975 38 | 0.000 % | 1.57/1.66 c | 69258 | 615 33415 198030 | 1 11076 39 | 0.000 % | 1.57/1.66 c | 69358 | 615 33415 198030 | 1 11176 39 | 0.000 % | 1.57/1.66 c | 69458 | 615 33415 198030 | 1 11276 40 | 0.000 % | 1.57/1.66 c | 69558 | 615 33415 198030 | 1 11376 40 | 0.000 % | 1.57/1.66 c | 69660 | 615 33415 198030 | 1 11478 41 | 0.000 % | 1.57/1.66 c | 69760 | 615 33415 198030 | 1 11578 41 | 0.000 % | 1.57/1.66 c | 69860 | 615 33415 198030 | 1 11678 42 | 0.000 % | 1.57/1.66 c | 69960 | 615 33415 198030 | 1 11778 43 | 0.000 % | 1.57/1.66 c | 70061 | 615 33415 198030 | 1 11879 43 | 0.000 % | 1.57/1.66 c | 70162 | 615 33415 198030 | 1 11980 44 | 0.000 % | 1.57/1.66 c | 70262 | 615 33415 198030 | 1 12080 44 | 0.000 % | 1.57/1.66 c | 70363 | 615 33415 198030 | 1 12181 45 | 0.000 % | 1.57/1.66 c | 70463 | 615 33415 198030 | 1 12281 45 | 0.000 % | 1.57/1.66 c | 70566 | 615 33415 198030 | 1 12384 45 | 0.000 % | 1.57/1.66 c | 70668 | 615 33415 198030 | 1 12486 46 | 0.000 % | 1.57/1.66 c | 70770 | 615 33415 198030 | 1 12588 46 | 0.000 % | 1.57/1.66 c | 70870 | 615 33415 198030 | 1 12688 47 | 0.000 % | 1.57/1.66 c | 70970 | 615 33415 198030 | 1 12788 47 | 0.000 % | 1.57/1.66 c | 71070 | 615 33415 198030 | 1 12888 48 | 0.000 % | 1.57/1.66 c | 71170 | 615 33415 198030 | 1 12988 48 | 0.000 % | 1.57/1.66 c | 71270 | 615 33415 198030 | 1 13088 49 | 0.000 % | 1.57/1.66 c | 71372 | 615 33415 198030 | 1 13190 49 | 0.000 % | 1.57/1.66 c | 71472 | 615 33415 198030 | 1 13290 49 | 0.000 % | 1.57/1.66 c | 71572 | 615 33415 198030 | 1 13390 50 | 0.000 % | 1.57/1.66 c | 71673 | 615 33415 198030 | 1 13491 50 | 0.000 % | 1.57/1.66 c | 71773 | 615 33415 198030 | 1 13591 51 | 0.000 % | 1.57/1.66 c | 71874 | 615 33415 198030 | 1 13692 51 | 0.000 % | 1.57/1.66 c | 71974 | 615 33415 198030 | 1 13792 51 | 0.000 % | 1.57/1.66 c | 72075 | 615 33415 198030 | 1 13893 52 | 0.000 % | 1.57/1.66 c | 72175 | 615 33415 198030 | 1 13993 52 | 0.000 % | 1.57/1.66 c | 72276 | 615 33415 198030 | 1 14094 53 | 0.000 % | 1.57/1.66 c | 72376 | 615 33415 198030 | 1 14194 53 | 0.000 % | 1.57/1.66 c | 72476 | 615 33415 198030 | 1 14294 53 | 0.000 % | 1.57/1.66 c | 72577 | 615 33415 198030 | 1 14395 54 | 0.000 % | 1.57/1.66 c | 72678 | 615 33415 198030 | 1 14496 54 | 0.000 % | 1.57/1.66 c | 72779 | 615 33415 198030 | 1 14597 54 | 0.000 % | 1.57/1.66 c | 72879 | 615 33415 198030 | 1 14697 55 | 0.000 % | 1.57/1.66 c | 72980 | 615 33415 198030 | 1 14798 55 | 0.000 % | 1.57/1.66 c | 73080 | 615 33415 198030 | 1 14898 55 | 0.000 % | 1.57/1.66 c | 73180 | 615 33415 198030 | 1 14998 56 | 0.000 % | 1.57/1.66 c | 73282 | 615 33415 198030 | 1 15100 56 | 0.000 % | 1.57/1.66 c | 73383 | 615 33415 198030 | 1 15201 56 | 0.000 % | 1.57/1.66 c | 73483 | 615 33415 198030 | 1 15301 57 | 0.000 % | 1.77/1.80 c | 73583 | 615 33415 198030 | 1 15401 57 | 0.000 % | 1.77/1.80 c | 73683 | 615 33415 198030 | 1 15501 57 | 0.000 % | 1.77/1.80 c | 73785 | 615 33415 198030 | 1 15603 58 | 0.000 % | 1.77/1.80 c | 73887 | 615 33415 198030 | 1 15705 58 | 0.000 % | 1.77/1.80 c | 73987 | 615 33415 198030 | 1 15805 58 | 0.000 % | 1.77/1.80 c | 74089 | 615 33415 198030 | 1 15907 59 | 0.000 % | 1.77/1.80 c | 74190 | 615 33415 198030 | 1 16008 59 | 0.000 % | 1.77/1.80 c | 74290 | 615 33415 198030 | 1 16108 59 | 0.000 % | 1.77/1.80 c | 74390 | 615 33415 198030 | 1 16208 60 | 0.000 % | 1.77/1.80 c | 74491 | 615 33415 198030 | 1 16309 60 | 0.000 % | 1.77/1.80 c | 74592 | 615 33415 198030 | 1 16410 60 | 0.000 % | 1.77/1.80 c | 74692 | 615 33415 198030 | 1 16510 60 | 0.000 % | 1.77/1.80 c | 74794 | 615 33415 198030 | 1 16612 61 | 0.000 % | 1.77/1.80 c | 74894 | 615 33415 198030 | 1 16712 61 | 0.000 % | 1.77/1.80 c | 74994 | 615 33415 198030 | 1 16812 61 | 0.000 % | 1.77/1.80 c | 75094 | 615 33415 198030 | 1 16912 62 | 0.000 % | 1.77/1.80 c | 75195 | 615 33415 198030 | 1 17013 62 | 0.000 % | 1.77/1.80 c | 75295 | 615 33415 198030 | 1 17113 62 | 0.000 % | 1.77/1.80 c | 75395 | 615 33415 198030 | 1 17213 62 | 0.000 % | 1.77/1.80 c | 75495 | 615 33415 198030 | 1 17313 63 | 0.000 % | 1.77/1.80 c | 75595 | 615 33415 198030 | 1 17413 63 | 0.000 % | 1.77/1.80 c | 75696 | 615 33415 198030 | 1 17514 63 | 0.000 % | 1.77/1.80 c | 75797 | 615 33415 198030 | 1 17615 63 | 0.000 % | 1.77/1.80 c | 75899 | 615 33415 198030 | 1 17717 64 | 0.000 % | 1.77/1.80 c | 75999 | 615 33415 198030 | 1 17817 64 | 0.000 % | 1.77/1.80 c | 76100 | 615 33415 198030 | 1 17918 64 | 0.000 % | 1.77/1.80 c | 76200 | 615 33415 198030 | 1 18018 64 | 0.000 % | 1.77/1.80 c | 76300 | 615 33415 198030 | 1 18118 65 | 0.000 % | 1.77/1.80 c | 76401 | 615 33415 198030 | 1 18219 65 | 0.000 % | 1.77/1.80 c | 76501 | 615 33415 198030 | 1 18319 65 | 0.000 % | 1.77/1.80 c | 76603 | 615 33415 198030 | 1 18421 65 | 0.000 % | 1.77/1.80 c | 76704 | 615 33415 198030 | 1 18522 66 | 0.000 % | 1.77/1.80 c | 76804 | 615 33415 198030 | 1 18622 66 | 0.000 % | 1.77/1.80 c | 76904 | 615 33415 198030 | 1 18722 66 | 0.000 % | 1.77/1.80 c | 77004 | 615 33415 198030 | 1 9414 27 | 0.000 % | 1.77/1.80 c | 77104 | 615 33415 198030 | 1 9514 28 | 0.000 % | 1.77/1.80 c | 77204 | 615 33415 198030 | 1 9614 29 | 0.000 % | 1.77/1.80 c | 77304 | 615 33415 198030 | 1 9714 30 | 0.000 % | 1.77/1.80 c | 77404 | 615 33415 198030 | 1 9814 30 | 0.000 % | 1.77/1.80 c | 77504 | 615 33415 198030 | 1 9914 31 | 0.000 % | 1.77/1.80 c | 77604 | 615 33415 198030 | 1 10014 32 | 0.000 % | 1.77/1.80 c | 77705 | 615 33415 198030 | 1 10115 32 | 0.000 % | 1.77/1.80 c | 77805 | 615 33415 198030 | 1 10215 33 | 0.000 % | 1.77/1.80 c | 77905 | 615 33415 198030 | 1 10315 34 | 0.000 % | 1.77/1.80 c | 78005 | 615 33415 198030 | 1 10415 34 | 0.000 % | 1.77/1.80 c | 78106 | 615 33415 198030 | 1 10516 35 | 0.000 % | 1.77/1.80 c | 78206 | 615 33415 198030 | 1 10616 36 | 0.000 % | 1.77/1.80 c | 78308 | 615 33415 198030 | 1 10718 36 | 0.000 % | 1.77/1.80 c | 78409 | 615 33415 198030 | 1 10819 37 | 0.000 % | 1.77/1.80 c | 78510 | 615 33415 198030 | 1 10920 38 | 0.000 % | 1.87/1.93 c | 78610 | 615 33415 198030 | 1 11020 38 | 0.000 % | 1.87/1.93 c | 78710 | 615 33415 198030 | 1 11120 39 | 0.000 % | 1.87/1.93 c | 78810 | 615 33415 198030 | 1 11220 39 | 0.000 % | 1.87/1.93 c | 78910 | 615 33415 198030 | 1 11320 40 | 0.000 % | 1.87/1.93 c | 79010 | 615 33415 198030 | 1 11420 40 | 0.000 % | 1.87/1.93 c | 79111 | 615 33415 198030 | 1 11521 41 | 0.000 % | 1.87/1.93 c | 79212 | 615 33415 198030 | 1 11622 41 | 0.000 % | 1.87/1.93 c | 79314 | 615 33415 198030 | 1 11724 42 | 0.000 % | 1.87/1.93 c | 79414 | 615 33415 198030 | 1 11824 43 | 0.000 % | 1.87/1.93 c | 79514 | 615 33415 198030 | 1 11924 43 | 0.000 % | 1.87/1.93 c | 79615 | 615 33415 198030 | 1 12025 43 | 0.000 % | 1.87/1.93 c | 79716 | 615 33415 198030 | 1 12126 44 | 0.000 % | 1.87/1.93 c | 79816 | 615 33415 198030 | 1 12226 45 | 0.000 % | 1.87/1.93 c | 79917 | 615 33415 198030 | 1 12327 45 | 0.000 % | 1.87/1.93 c | 80018 | 615 33415 198030 | 1 12428 45 | 0.000 % | 1.87/1.93 c | 80118 | 615 33415 198030 | 1 12528 46 | 0.000 % | 1.87/1.93 c | 80218 | 615 33415 198030 | 1 12628 46 | 0.000 % | 1.87/1.93 c | 80318 | 615 33415 198030 | 1 12728 47 | 0.000 % | 1.87/1.93 c | 80418 | 615 33415 198030 | 1 12828 47 | 0.000 % | 1.87/1.93 c | 80518 | 615 33415 198030 | 1 12928 48 | 0.000 % | 1.87/1.93 c | 80619 | 615 33415 198030 | 1 13029 48 | 0.000 % | 1.87/1.93 c | 80720 | 615 33415 198030 | 1 13130 49 | 0.000 % | 1.87/1.93 c | 80821 | 615 33415 198030 | 1 13231 49 | 0.000 % | 1.87/1.93 c | 80921 | 615 33415 198030 | 1 13331 50 | 0.000 % | 1.87/1.93 c | 81023 | 615 33415 198030 | 1 13433 50 | 0.000 % | 1.87/1.93 c | 81123 | 615 33415 198030 | 1 13533 50 | 0.000 % | 1.87/1.93 c | 81223 | 615 33415 198030 | 1 13633 51 | 0.000 % | 1.87/1.93 c | 81323 | 615 33415 198030 | 1 13733 51 | 0.000 % | 1.87/1.93 c | 81423 | 615 33415 198030 | 1 13833 52 | 0.000 % | 1.87/1.93 c | 81523 | 615 33415 198030 | 1 13933 52 | 0.000 % | 1.87/1.93 c | 81623 | 615 33415 198030 | 1 14033 52 | 0.000 % | 1.87/1.93 c | 81724 | 615 33415 198030 | 1 14134 53 | 0.000 % | 1.87/1.93 c | 81824 | 615 33415 198030 | 1 14234 53 | 0.000 % | 1.87/1.93 c | 81926 | 615 33415 198030 | 1 14336 53 | 0.000 % | 1.87/1.93 c | 82027 | 615 33415 198030 | 1 14437 54 | 0.000 % | 1.87/1.93 c | 82130 | 615 33415 198030 | 1 14540 54 | 0.000 % | 1.87/1.93 c | 82230 | 615 33415 198030 | 1 14640 55 | 0.000 % | 1.87/1.93 c | 82332 | 615 33415 198030 | 1 14742 55 | 0.000 % | 1.87/1.93 c | 82433 | 615 33415 198030 | 1 14843 55 | 0.000 % | 1.87/1.93 c | 82537 | 615 33415 198030 | 1 14947 56 | 0.000 % | 1.87/1.93 c | 82641 | 615 33415 198030 | 1 15051 56 | 0.000 % | 1.87/1.93 c | 82742 | 615 33415 198030 | 1 15152 56 | 0.000 % | 1.87/1.93 c | 82843 | 615 33415 198030 | 1 15253 57 | 0.000 % | 1.87/1.93 c | 82944 | 615 33415 198030 | 1 15354 57 | 0.000 % | 1.87/1.93 c | 83045 | 615 33415 198030 | 1 15455 57 | 0.000 % | 1.87/1.93 c | 83145 | 615 33415 198030 | 1 15555 58 | 0.000 % | 1.87/1.93 c | 83245 | 615 33415 198030 | 1 15655 58 | 0.000 % | 1.87/1.93 c | 83345 | 615 33415 198030 | 1 15755 58 | 0.000 % | 1.87/1.93 c | 83446 | 615 33415 198030 | 1 15856 58 | 0.000 % | 1.87/1.93 c | 83548 | 615 33415 198030 | 1 15958 59 | 0.000 % | 2.08/2.10 c | 83648 | 615 33415 198030 | 1 16058 59 | 0.000 % | 2.08/2.10 c | 83748 | 615 33415 198030 | 1 16158 59 | 0.000 % | 2.08/2.10 c | 83849 | 615 33415 198030 | 1 16259 60 | 0.000 % | 2.08/2.10 c | 83951 | 615 33415 198030 | 1 16361 60 | 0.000 % | 2.08/2.10 c | 84053 | 615 33415 198030 | 1 16463 60 | 0.000 % | 2.08/2.10 c | 84153 | 615 33415 198030 | 1 16563 61 | 0.000 % | 2.08/2.10 c | 84254 | 615 33415 198030 | 1 16664 61 | 0.000 % | 2.08/2.10 c | 84354 | 615 33415 198030 | 1 16764 61 | 0.000 % | 2.08/2.10 c | 84456 | 615 33415 198030 | 1 16866 61 | 0.000 % | 2.08/2.10 c | 84556 | 615 33415 198030 | 1 16966 62 | 0.000 % | 2.08/2.10 c | 84657 | 615 33415 198030 | 1 17067 62 | 0.000 % | 2.08/2.10 c | 84757 | 615 33415 198030 | 1 17167 62 | 0.000 % | 2.08/2.10 c | 84857 | 615 33415 198030 | 1 17267 62 | 0.000 % | 2.08/2.10 c | 84957 | 615 33415 198030 | 1 17367 63 | 0.000 % | 2.08/2.10 c | 85057 | 615 33415 198030 | 1 17467 63 | 0.000 % | 2.08/2.10 c | 85158 | 615 33415 198030 | 1 17568 63 | 0.000 % | 2.08/2.10 c | 85260 | 615 33415 198030 | 1 17670 63 | 0.000 % | 2.08/2.10 c | 85361 | 615 33415 198030 | 1 17771 64 | 0.000 % | 2.08/2.10 c | 85461 | 615 33415 198030 | 1 17871 64 | 0.000 % | 2.08/2.10 c | 85563 | 615 33415 198030 | 1 17973 64 | 0.000 % | 2.08/2.10 c | 85665 | 615 33415 198030 | 1 18075 64 | 0.000 % | 2.08/2.10 c | 85765 | 615 33415 198030 | 1 18175 65 | 0.000 % | 2.08/2.10 c | 85867 | 615 33415 198030 | 1 18277 65 | 0.000 % | 2.08/2.10 c | 85967 | 615 33415 198030 | 1 18377 65 | 0.000 % | 2.08/2.10 c | 86068 | 615 33415 198030 | 1 18478 65 | 0.000 % | 2.08/2.10 c | 86168 | 615 33415 198030 | 1 18578 66 | 0.000 % | 2.08/2.10 c | 86269 | 615 33415 198030 | 1 18679 66 | 0.000 % | 2.08/2.10 c | 86369 | 615 33415 198030 | 1 18779 66 | 0.000 % | 2.08/2.10 c | 86469 | 615 33415 198030 | 1 18879 66 | 0.000 % | 2.08/2.10 c | 86570 | 615 33415 198030 | 1 18980 66 | 0.000 % | 2.08/2.10 c | 86670 | 615 33415 198030 | 1 19080 67 | 0.000 % | 2.08/2.10 c | 86770 | 615 33415 198030 | 1 19180 67 | 0.000 % | 2.08/2.10 c | 86871 | 615 33415 198030 | 1 19281 67 | 0.000 % | 2.08/2.10 c | 86971 | 615 33415 198030 | 1 19381 67 | 0.000 % | 2.08/2.10 c | 87072 | 615 33415 198030 | 1 19482 68 | 0.000 % | 2.08/2.10 c | 87172 | 615 33415 198030 | 1 19582 68 | 0.000 % | 2.08/2.10 c | 87272 | 615 33415 198030 | 1 19682 68 | 0.000 % | 2.08/2.10 c | 87373 | 615 33415 198030 | 1 19783 68 | 0.000 % | 2.08/2.10 c | 87473 | 615 33415 198030 | 1 19883 68 | 0.000 % | 2.08/2.10 c | 87574 | 615 33415 198030 | 1 19984 69 | 0.000 % | 2.08/2.10 c | 87676 | 615 33415 198030 | 1 10089 30 | 0.000 % | 2.08/2.10 c | 87805 | 615 33415 198030 | 1 10218 31 | 0.000 % | 2.08/2.10 c | 88113 | 615 33415 198030 | 1 10526 33 | 0.000 % | 2.08/2.10 c | 88217 | 615 33415 198030 | 1 10630 34 | 0.000 % | 2.08/2.10 c | 88317 | 615 33415 198030 | 1 10730 34 | 0.000 % | 2.08/2.10 c | 88417 | 615 33415 198030 | 1 10830 35 | 0.000 % | 2.08/2.10 c | 88518 | 615 33415 198030 | 1 10931 36 | 0.000 % | 2.08/2.10 c | 88620 | 615 33415 198030 | 1 11033 36 | 0.000 % | 2.08/2.10 c | 88723 | 615 33415 198030 | 1 11136 37 | 0.000 % | 2.08/2.10 c | 88823 | 615 33415 198030 | 1 11236 37 | 0.000 % | 2.19/2.26 c | 88923 | 615 33415 198030 | 1 11336 38 | 0.000 % | 2.19/2.26 c | 89027 | 615 33415 198030 | 1 11440 39 | 0.000 % | 2.19/2.26 c | 89128 | 615 33415 198030 | 1 11541 39 | 0.000 % | 2.19/2.26 c | 89228 | 615 33415 198030 | 1 11641 40 | 0.000 % | 2.19/2.26 c | 89337 | 615 33415 198030 | 1 11750 40 | 0.000 % | 2.19/2.26 c | 89437 | 615 33415 198030 | 1 11850 41 | 0.000 % | 2.19/2.26 c | 89551 | 615 33415 198030 | 1 11964 41 | 0.000 % | 2.19/2.26 c | 89651 | 615 33415 198030 | 1 12064 42 | 0.000 % | 2.19/2.26 c | 89752 | 615 33415 198030 | 1 12165 42 | 0.000 % | 2.19/2.26 c | 89854 | 615 33415 198030 | 1 12267 43 | 0.000 % | 2.19/2.26 c | 89954 | 615 33415 198030 | 1 12367 43 | 0.000 % | 2.19/2.26 c | 90054 | 615 33415 198030 | 1 12467 44 | 0.000 % | 2.19/2.26 c | 90156 | 615 33415 198030 | 1 12569 44 | 0.000 % | 2.19/2.26 c | 90259 | 615 33415 198030 | 1 12672 45 | 0.000 % | 2.19/2.26 c | 90360 | 615 33415 198030 | 1 12773 45 | 0.000 % | 2.19/2.26 c | 90460 | 615 33415 198030 | 1 12873 46 | 0.000 % | 2.19/2.26 c | 90561 | 615 33415 198030 | 1 12974 46 | 0.000 % | 2.19/2.26 c | 90661 | 615 33415 198030 | 1 13074 47 | 0.000 % | 2.19/2.26 c | 90761 | 615 33415 198030 | 1 13174 47 | 0.000 % | 2.19/2.26 c | 90861 | 615 33415 198030 | 1 13274 48 | 0.000 % | 2.19/2.26 c | 90989 | 615 33415 198030 | 1 13402 48 | 0.000 % | 2.19/2.26 c | 91089 | 615 33415 198030 | 1 13502 49 | 0.000 % | 2.19/2.26 c | 91190 | 615 33415 198030 | 1 13603 49 | 0.000 % | 2.19/2.26 c | 91291 | 615 33415 198030 | 1 13704 49 | 0.000 % | 2.19/2.26 c | 91399 | 615 33415 198030 | 1 13812 50 | 0.000 % | 2.19/2.26 c | 91500 | 615 33415 198030 | 1 13913 50 | 0.000 % | 2.19/2.26 c | 91600 | 615 33415 198030 | 1 14013 51 | 0.000 % | 2.19/2.26 c | 91897 | 615 33415 198030 | 1 14310 52 | 0.000 % | 2.19/2.26 c | 91997 | 615 33415 198030 | 1 14410 52 | 0.000 % | 2.19/2.26 c | 92097 | 615 33415 198030 | 1 14510 52 | 0.000 % | 2.19/2.26 c | 92197 | 615 33415 198030 | 1 14610 53 | 0.000 % | 2.19/2.26 c | 92298 | 615 33415 198030 | 1 14711 53 | 0.000 % | 2.19/2.26 c | 92398 | 615 33415 198030 | 1 14811 53 | 0.000 % | 2.19/2.26 c | 92498 | 615 33415 198030 | 1 14911 54 | 0.000 % | 2.19/2.26 c | 92598 | 615 33415 198030 | 1 15011 54 | 0.000 % | 2.19/2.26 c | 92699 | 615 33415 198030 | 1 15112 54 | 0.000 % | 2.19/2.26 c | 92800 | 615 33415 198030 | 1 15213 55 | 0.000 % | 2.19/2.26 c | 92901 | 615 33415 198030 | 1 15314 55 | 0.000 % | 2.19/2.26 c | 93833 | 615 33415 198030 | 1 16246 57 | 0.000 % | 2.19/2.26 c | 94490 | 615 33415 198030 | 1 16903 59 | 0.000 % | 2.19/2.26 c | 94928 | 615 33415 198030 | 1 17341 60 | 0.000 % | 2.19/2.26 c | 95217 | 615 33415 198030 | 1 17630 60 | 0.000 % | 2.19/2.26 c | 95357 | 615 33415 198030 | 1 17770 61 | 0.000 % | 2.19/2.26 c | 95457 | 615 33415 198030 | 1 17870 61 | 0.000 % | 2.19/2.26 c | 95651 | 615 33415 198030 | 1 18064 61 | 0.000 % | 2.19/2.26 c | 95816 | 615 33415 198030 | 1 18229 62 | 0.000 % | 2.19/2.26 c | 95950 | 615 33415 198030 | 1 18363 62 | 0.000 % | 2.19/2.26 c | 96104 | 615 33415 198030 | 1 18517 62 | 0.000 % | 2.19/2.26 c | 96204 | 615 33415 198030 | 1 18617 62 | 0.000 % | 2.19/2.26 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-3249282-1303506162/watcher-3249282-1303506162 -o /tmp/evaluation-result-3249282-1303506162/solver-3249282-1303506162 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3249282-1303506162.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.05 4.03 3.85 5/192 2793 /proc/meminfo: memFree=13900624/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462216903 8912896 253 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 253 211 178 0 69 0 [startup+0.081848 s] /proc/loadavg: 4.05 4.03 3.85 5/192 2793 /proc/meminfo: memFree=13900624/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462216903 8912896 253 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100845 s] /proc/loadavg: 4.05 4.03 3.85 5/192 2793 /proc/meminfo: memFree=13900624/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 462216903 8912896 253 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300775 s] /proc/loadavg: 4.05 4.03 3.85 5/192 2793 /proc/meminfo: memFree=13900624/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+0.700703 s] /proc/loadavg: 4.05 4.03 3.85 5/192 2793 /proc/meminfo: memFree=13900624/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8704 [startup+1.50059 s] /proc/loadavg: 4.05 4.03 3.85 5/194 2796 /proc/meminfo: memFree=13884124/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=29348 CPUtime=1.2 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 6348 0 0 0 120 0 0 0 25 0 1 0 462216931 30052352 3897 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 7337 3897 251 17 0 3978 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 38052 [startup+3.10029 s] /proc/loadavg: 4.05 4.03 3.85 5/194 2796 /proc/meminfo: memFree=13875196/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=25316 CPUtime=2.8 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 10345 0 0 0 279 1 0 0 25 0 1 0 462216931 25923584 3163 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 6329 3163 252 17 0 2970 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34020 [startup+6.30071 s] /proc/loadavg: 4.05 4.03 3.85 5/194 2796 /proc/meminfo: memFree=13856364/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=43904 CPUtime=6 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 13055 0 0 0 599 1 0 0 25 0 1 0 462216931 44957696 5859 33554432000 4194304 4260849 140737049306624 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 10976 5859 252 17 0 7617 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 52608 [startup+12.7005 s] /proc/loadavg: 4.04 4.03 3.85 5/194 2798 /proc/meminfo: memFree=13919480/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=51088 CPUtime=12.4 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 15686 0 0 0 1238 2 0 0 25 0 1 0 462216931 52314112 8437 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224652 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 12772 8437 252 17 0 9413 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 59792 [startup+25.5012 s] /proc/loadavg: 4.03 4.03 3.85 5/194 2798 /proc/meminfo: memFree=13849680/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=51088 CPUtime=25.2 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 16687 0 0 0 2518 2 0 0 25 0 1 0 462216931 52314112 9432 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 12772 9432 252 17 0 9413 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 59792 [startup+51.1005 s] /proc/loadavg: 4.02 4.02 3.85 5/194 2799 /proc/meminfo: memFree=13820108/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=74340 CPUtime=50.81 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 32122 0 0 0 5076 5 0 0 25 0 1 0 462216931 76124160 13513 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 18585 13513 252 17 0 15226 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83044 [startup+102.307 s] /proc/loadavg: 4.01 4.02 3.86 5/194 2804 /proc/meminfo: memFree=13811008/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=135772 CPUtime=102.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 48300 0 0 0 10194 7 0 0 25 0 1 0 462216931 139030528 29624 33554432000 4194304 4260849 140737049306624 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 33943 29624 252 17 0 30584 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 144476 [startup+162.301 s] /proc/loadavg: 4.13 4.04 3.88 5/194 2806 /proc/meminfo: memFree=13741780/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=162.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 113592 0 0 0 16180 21 0 0 25 0 1 0 462216931 221880320 39853 33554432000 4194304 4260849 140737049306624 18446744073709551615 4246521 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 39853 252 17 0 50811 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 225384 [startup+222.301 s] /proc/loadavg: 4.04 4.03 3.88 5/194 2807 /proc/meminfo: memFree=13704564/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=166592 CPUtime=222.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 177416 0 0 0 22166 35 0 0 25 0 1 0 462216931 170590208 34104 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 41648 34104 252 17 0 38289 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 175296 [startup+282.301 s] /proc/loadavg: 4.09 4.04 3.89 5/194 2809 /proc/meminfo: memFree=13699088/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=282.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 231946 0 0 0 28153 48 0 0 25 0 1 0 462216931 221880320 38794 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 38794 252 17 0 50811 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 225384 [startup+342.301 s] /proc/loadavg: 4.03 4.03 3.90 5/194 2810 /proc/meminfo: memFree=13685924/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=166592 CPUtime=342.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 306922 0 0 0 34136 65 0 0 25 0 1 0 462216931 170590208 35751 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 41648 35751 252 17 0 38289 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 175296 [startup+402.301 s] /proc/loadavg: 4.01 4.02 3.90 5/194 2812 /proc/meminfo: memFree=13672132/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 ################ # More data... # ################ /proc/2796/statm: 54170 46258 252 17 0 50811 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 225384 [startup+642.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2820 /proc/meminfo: memFree=13729964/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=166592 CPUtime=642.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 536880 0 0 0 64083 118 0 0 25 0 1 0 462216931 170590208 37998 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 41648 37998 252 17 0 38289 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 175296 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2821 /proc/meminfo: memFree=13719036/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=702.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 571184 0 0 0 70073 128 0 0 25 0 1 0 462216931 221880320 41602 33554432000 4194304 4260849 140737049306624 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 41602 252 17 0 50811 0 Current children cumulated CPU time (s) 702.28 Current children cumulated vsize (KiB) 225384 [startup+762.307 s] /proc/loadavg: 4.03 4.01 3.91 5/194 2823 /proc/meminfo: memFree=13662964/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=762.02 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 607416 0 0 0 76064 138 0 0 25 0 1 0 462216931 221880320 46739 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 46739 252 17 0 50811 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 225384 [startup+822.301 s] /proc/loadavg: 4.01 4.01 3.91 5/194 2824 /proc/meminfo: memFree=13675952/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=822.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 642558 0 0 0 82054 147 0 0 25 0 1 0 462216931 221880320 50003 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 50003 252 17 0 50811 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 225384 [startup+882.301 s] /proc/loadavg: 4.04 4.02 3.92 5/194 2826 /proc/meminfo: memFree=13585160/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=298068 CPUtime=882 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 676855 0 0 0 88042 158 0 0 25 0 1 0 462216931 305221632 51639 33554432000 4194304 4260849 140737049306624 18446744073709551615 4246868 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 74517 51639 252 17 0 71158 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 306772 [startup+942.3 s] /proc/loadavg: 4.01 4.01 3.92 5/194 2827 /proc/meminfo: memFree=13633748/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=942.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 732036 0 0 0 94030 171 0 0 25 0 1 0 462216931 221880320 39474 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 39474 252 17 0 50811 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 225384 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2829 /proc/meminfo: memFree=13621580/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1002.01 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 768535 0 0 0 100018 183 0 0 25 0 1 0 462216931 221880320 41696 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 41696 252 17 0 50811 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 225384 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2831 /proc/meminfo: memFree=13625396/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1062 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 805118 0 0 0 106007 193 0 0 25 0 1 0 462216931 221880320 43445 33554432000 4194304 4260849 140737049306624 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 43445 252 17 0 50811 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 225384 [startup+1122.3 s] /proc/loadavg: 2.58 3.64 3.80 2/173 2896 /proc/meminfo: memFree=14100756/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1122 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 843262 0 0 0 111998 202 0 0 25 0 1 0 462216931 221880320 46375 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 46375 252 17 0 50811 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 225384 [startup+1182.3 s] /proc/loadavg: 1.58 3.15 3.62 2/173 2898 /proc/meminfo: memFree=14101604/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1182 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 878869 0 0 0 117988 212 0 0 25 0 1 0 462216931 221880320 46239 33554432000 4194304 4260849 140737049306624 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 46239 252 17 0 50811 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 225384 [startup+1242.3 s] /proc/loadavg: 1.21 2.76 3.45 2/173 2899 /proc/meminfo: memFree=14100960/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1241.99 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 915177 0 0 0 123979 220 0 0 25 0 1 0 462216931 221880320 46243 33554432000 4194304 4260849 140737049306624 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 46243 252 17 0 50811 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 225384 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 1.08 2.44 3.30 2/173 2901 /proc/meminfo: memFree=14097836/32951124 swapFree=67111528/67111528 [pid=2793] ppid=2791 vsize=8704 CPUtime=0.27 cores=5,7 /proc/2793/stat : 2793 (glucose.sh) S 2791 2793 2261 0 -1 4202496 361 1229 0 0 0 0 27 0 23 0 1 0 462216903 8912896 255 33554432000 4194304 4922060 140734869616816 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/2793/statm: 2176 255 211 178 0 69 0 [pid=2796] ppid=2793 vsize=216680 CPUtime=1299.7 cores=5,7 /proc/2796/stat : 2796 (glucose_static) R 2793 2793 2261 0 -1 4202496 952531 0 0 0 129741 229 0 0 25 0 1 0 462216931 221880320 46953 33554432000 4194304 4260849 140737049306624 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/2796/statm: 54170 46953 252 17 0 50811 0 Current children cumulated CPU time (s) 1299.97 Current children cumulated vsize (KiB) 225384 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 2793 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=276957 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.280956 # while last known CPU time is 1299.97 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1299.97 CPU user time (s): 1297.68 CPU system time (s): 2.29 CPU usage (%): 99.9967 Max. virtual memory (cumulated for all children) (KiB): 386912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.276957 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1590 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 6 runsolver used 2.01269 second user time and 4.90425 second system time The end
Begin job on node109 at 2011-04-22 23:02:42 IDJOB=3249282 IDBENCH=83163 IDSOLVER=1651 FILE ID=node109/3249282-1303506162 RUNJOBID= node109-1303503341-2291 PBS_JOBID= 13134242 Free space on /tmp= 71212 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-3249282-1303506162/watcher-3249282-1303506162 -o /tmp/evaluation-result-3249282-1303506162/solver-3249282-1303506162 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3249282-1303506162.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 420773b7b438dd18c8a88a15fb5bcae1 RANDOM SEED=1824836474 node109.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.809 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.61 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.809 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.82 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13900904 kB Buffers: 1898084 kB Cached: 16155152 kB SwapCached: 0 kB Active: 9995228 kB Inactive: 8486468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13900904 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2132 kB Writeback: 0 kB AnonPages: 427412 kB Mapped: 15296 kB Slab: 503036 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 675880 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= 71232 MiB End job on node109 at 2011-04-22 23:24:24