// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/minisat/core/Solver.cc
// Function: Minisat::Solver::printStats() const
void Solver::printStats() const
{
    double cpu_time = cpuTime();
    double mem_used = memUsedPeak();
    printf("restarts              : %" PRIu64 "\n", starts);
    printf("conflicts             : %-12" PRIu64 "   (%.0f /sec)\n", conflicts   , conflicts   /cpu_time);
    printf("decisions             : %-12" PRIu64 "   (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions   /cpu_time);
    printf("propagations          : %-12" PRIu64 "   (%.0f /sec)\n", propagations, propagations/cpu_time);
    printf("conflict literals     : %-12" PRIu64 "   (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
    if (mem_used != 0) printf("Memory used           : %.2f MB\n", mem_used);
    printf("CPU time              : %g s\n", cpu_time);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0xa8, %rsp
movq %rdi, %rbx
leaq 0x18(%rsp), %r14
xorl %edi, %edi
movq %r14, %rsi
callq 0x20c0
cvtsi2sdq (%r14), %xmm0
cvtsi2sdq 0x8(%r14), %xmm1
divsd 0x3643(%rip), %xmm1     # 0x9580
addsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
xorl %edi, %edi
callq 0x81b1
movsd %xmm0, 0x10(%rsp)
movq 0xe8(%rbx), %rsi
leaq 0x3987(%rip), %rdi      # 0x98e9
xorl %eax, %eax
callq 0x2050
movq 0x108(%rbx), %rsi
movq %rsi, %xmm1
punpckldq 0x33b3(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x33bb(%rip), %xmm1     # 0x9340
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
divsd 0x8(%rsp), %xmm0
leaq 0x3968(%rip), %rdi      # 0x9906
movb $0x1, %al
callq 0x2050
movq 0xf0(%rbx), %rsi
movq 0xf8(%rbx), %rax
testq %rax, %rax
js 0x5fbf
cvtsi2ss %rax, %xmm0
jmp 0x5fd4
movq %rax, %rcx
shrq %rcx
andl $0x1, %eax
orq %rcx, %rax
cvtsi2ss %rax, %xmm0
addss %xmm0, %xmm0
mulss 0x35c4(%rip), %xmm0     # 0x95a0
testq %rsi, %rsi
js 0x5fe8
cvtsi2ss %rsi, %xmm1
jmp 0x5fff
movq %rsi, %rax
shrq %rax
movl %esi, %ecx
andl $0x1, %ecx
orq %rax, %rcx
cvtsi2ss %rcx, %xmm1
addss %xmm1, %xmm1
divss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movq %rsi, %xmm2
movq 0x331c(%rip), %xmm1     # 0x9330
punpckldq %xmm1, %xmm2    # xmm2 = xmm2[0],xmm1[0],xmm2[1],xmm1[1]
movapd 0x3320(%rip), %xmm1     # 0x9340
subpd %xmm1, %xmm2
movapd %xmm2, %xmm1
unpckhpd %xmm2, %xmm1            # xmm1 = xmm1[1],xmm2[1]
addsd %xmm2, %xmm1
divsd 0x8(%rsp), %xmm1
leaq 0x38f7(%rip), %rdi      # 0x9934
movb $0x2, %al
callq 0x2050
movq 0x100(%rbx), %rsi
movq %rsi, %xmm1
punpckldq 0x32d8(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x32e0(%rip), %xmm1     # 0x9340
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
divsd 0x8(%rsp), %xmm0
leaq 0x38fb(%rip), %rdi      # 0x9974
movb $0x1, %al
callq 0x2050
movq 0x138(%rbx), %rax
movq 0x140(%rbx), %rsi
movq %rax, %xmm1
subq %rsi, %rax
imulq $0x64, %rax, %rax
movq %rax, %xmm2
movq 0x3289(%rip), %xmm3     # 0x9330
punpckldq %xmm3, %xmm2    # xmm2 = xmm2[0],xmm3[0],xmm2[1],xmm3[1]
movapd 0x328d(%rip), %xmm4     # 0x9340
subpd %xmm4, %xmm2
movapd %xmm2, %xmm0
unpckhpd %xmm2, %xmm0            # xmm0 = xmm0[1],xmm2[1]
addsd %xmm2, %xmm0
punpckldq %xmm3, %xmm1    # xmm1 = xmm1[0],xmm3[0],xmm1[1],xmm3[1]
subpd %xmm4, %xmm1
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
leaq 0x38c0(%rip), %rdi      # 0x99a2
movb $0x1, %al
callq 0x2050
xorpd %xmm0, %xmm0
movsd 0x10(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x60fb
jnp 0x610d
movapd %xmm1, %xmm0
leaq 0x38d1(%rip), %rdi      # 0x99d7
movb $0x1, %al
callq 0x2050
leaq 0x38e4(%rip), %rdi      # 0x99f8
movsd 0x8(%rsp), %xmm0
movb $0x1, %al
callq 0x2050
addq $0xa8, %rsp
popq %rbx
popq %r14
retq