Segfault happened at: 0x7f5d7f26c36b <_ZN18pkgProblemResolver10MakeScoresEv+1739>:	mov    0x28(%rax),%ecx
PC (0x7f5d7f26c36b) ok
source "0x28(%rax)" (0x7f5d80edb488) not located in a known VMA region (needed readable region)!
destination "%ecx" ok