// File: Kei18[P]pibt/./src/solver/solver.cpp
// Function: Solver::logStr[abi:cxx11]()
std::string Solver::logStr() {
  std::string str;

  str += "[solver] solved:" + std::to_string(P->isSolved()) + "\n";
  str += "[solver] elapsed:" + std::to_string((int)elapsedTime) + "\n";
  str += "[solver] makespan:" + std::to_string(P->getTerminationTime()) + "\n";
  str += P->logStr();

  return str;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x190, %rsp            # imm = 0x190
movq %rdi, -0x188(%rbp)
movq %rdi, %rax
movq %rax, -0x180(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x178(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x86b0
movq -0x178(%rbp), %rax
movq 0x10(%rax), %rdi
movq (%rdi), %rax
movq 0x10(%rax), %rax
callq *%rax
movb %al, -0x169(%rbp)
jmp 0x9daa4
movb -0x169(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x78(%rbp), %rdi
callq 0xdf50
jmp 0x9dabb
leaq 0x19497(%rip), %rsi     # 0xb6f59
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rdx
callq 0xdf00
jmp 0x9dad1
leaq 0x15adf(%rip), %rdx     # 0xb35b7
leaq -0x38(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0xdeb0
jmp 0x9dae7
movq -0x188(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x8640
jmp 0x9daf9
leaq -0x38(%rbp), %rdi
callq 0x8330
leaq -0x58(%rbp), %rdi
callq 0x8330
leaq -0x78(%rbp), %rdi
callq 0x8330
movq -0x178(%rbp), %rax
cvttsd2si 0x8(%rax), %esi
leaq -0xe8(%rbp), %rdi
callq 0xdf50
jmp 0x9db2e
leaq 0x15a6f(%rip), %rsi     # 0xb35a4
leaq -0xc8(%rbp), %rdi
leaq -0xe8(%rbp), %rdx
callq 0xdf00
jmp 0x9db4a
leaq 0x15a66(%rip), %rdx     # 0xb35b7
leaq -0xa8(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0xdeb0
jmp 0x9db66
movq -0x188(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x8640
jmp 0x9db7b
leaq -0xa8(%rbp), %rdi
callq 0x8330
leaq -0xc8(%rbp), %rdi
callq 0x8330
leaq -0xe8(%rbp), %rdi
callq 0x8330
movq -0x178(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x568d0
movl %eax, -0x18c(%rbp)
jmp 0x9dbb7
movl -0x18c(%rbp), %esi
leaq -0x148(%rbp), %rdi
callq 0xdf50
jmp 0x9dbcb
leaq 0x19398(%rip), %rsi     # 0xb6f6a
leaq -0x128(%rbp), %rdi
leaq -0x148(%rbp), %rdx
callq 0xdf00
jmp 0x9dbe7
leaq 0x159c9(%rip), %rdx     # 0xb35b7
leaq -0x108(%rbp), %rdi
leaq -0x128(%rbp), %rsi
callq 0xdeb0
jmp 0x9dc03
movq -0x188(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0x8640
jmp 0x9dc18
leaq -0x108(%rbp), %rdi
callq 0x8330
leaq -0x128(%rbp), %rdi
callq 0x8330
leaq -0x148(%rbp), %rdi
callq 0x8330
movq -0x178(%rbp), %rax
movq 0x10(%rax), %rsi
movq (%rsi), %rax
movq 0x30(%rax), %rax
leaq -0x168(%rbp), %rdi
callq *%rax
jmp 0x9dc59
movq -0x188(%rbp), %rdi
leaq -0x168(%rbp), %rsi
callq 0x8640
jmp 0x9dc6e
leaq -0x168(%rbp), %rdi
callq 0x8330
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x9ddcc
jmp 0x9ddc0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dddc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dce4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dcdb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x8330
leaq -0x58(%rbp), %rdi
callq 0x8330
leaq -0x78(%rbp), %rdi
callq 0x8330
jmp 0x9dddc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dd3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dd2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x8330
leaq -0xc8(%rbp), %rdi
callq 0x8330
leaq -0xe8(%rbp), %rdi
callq 0x8330
jmp 0x9dddc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dd95
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
jmp 0x9dd89
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x8330
leaq -0x128(%rbp), %rdi
callq 0x8330
leaq -0x148(%rbp), %rdi
callq 0x8330
jmp 0x9dddc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x168(%rbp), %rdi
callq 0x8330
jmp 0x9dddc
movq -0x188(%rbp), %rdi
callq 0x8330
movq -0x180(%rbp), %rax
addq $0x190, %rsp            # imm = 0x190
popq %rbp
retq
movq -0x188(%rbp), %rdi
callq 0x8330
movq -0x80(%rbp), %rdi
callq 0x8880
nopw %cs:(%rax,%rax)