// File: iu-vail[P]iprimal/Utils.cpp
// Function: Utils::OutLog()
void 
Utils::OutLog(void){
  int a = 0; //a dummy
  stringstream ss;
  ss << a;
  string log = LOG_DIR + ss.str() + ".log";
  ofstream fout(log.c_str(),ios::app);
  if(!fout)
    cerr << "Cannot open output file. No log file generated!"<<endl;

  if(this->GetCurTime()-this->last_time > 100){
    fout<<"The "<<int(this->GetCurTime()-this->start_time)<<"th second: "<<endl;
    this->last_time = this->GetCurTime();
   }

  fout.close();

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x440, %rsp            # imm = 0x440
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x410(%rbp)
movl $0x0, -0xc(%rbp)
leaq -0x198(%rbp), %rdi
callq 0x31c0
leaq -0x188(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x3480
jmp 0x15efe
leaq -0x208(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x3260
jmp 0x15f13
leaq 0x4579(%rip), %rsi      # 0x1a493
leaq -0x1e8(%rbp), %rdi
leaq -0x208(%rbp), %rdx
callq 0x16260
jmp 0x15f2f
leaq 0x4565(%rip), %rdx      # 0x1a49b
leaq -0x1c8(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x16210
jmp 0x15f4b
leaq -0x1e8(%rbp), %rdi
callq 0x3180
leaq -0x208(%rbp), %rdi
callq 0x3180
leaq -0x1c8(%rbp), %rdi
callq 0x3100
movq %rax, %rsi
leaq -0x408(%rbp), %rdi
movl $0x1, %edx
callq 0x32e0
jmp 0x15f85
movq -0x408(%rbp), %rax
movq -0x18(%rax), %rax
leaq -0x408(%rbp,%rax), %rdi
callq 0x3130
movb %al, -0x411(%rbp)
jmp 0x15fa5
movb -0x411(%rbp), %al
testb $0x1, %al
jne 0x15fb4
jmp 0x1607e
movq 0x11035(%rip), %rdi     # 0x26ff0
leaq 0x44de(%rip), %rsi      # 0x1a4a0
callq 0x3270
movq %rax, -0x420(%rbp)
jmp 0x15fd0
movq -0x420(%rbp), %rdi
movq 0x10fd2(%rip), %rsi     # 0x26fb0
callq 0x32b0
jmp 0x15fe5
jmp 0x1607e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
jmp 0x16188
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
jmp 0x16033
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x3180
leaq -0x208(%rbp), %rdi
callq 0x3180
jmp 0x16188
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
jmp 0x1617c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x408(%rbp), %rdi
callq 0x33d0
jmp 0x1617c
movq -0x410(%rbp), %rdi
callq 0x15880
movq -0x410(%rbp), %rax
subsd 0x8(%rax), %xmm0
movsd 0x43aa(%rip), %xmm1     # 0x1a448
ucomisd %xmm1, %xmm0
jbe 0x16141
leaq 0x4421(%rip), %rsi      # 0x1a4d0
leaq -0x408(%rbp), %rdi
callq 0x3270
movq %rax, -0x428(%rbp)
jmp 0x160c4
movq -0x410(%rbp), %rdi
callq 0x15880
movq -0x410(%rbp), %rax
movq -0x428(%rbp), %rdi
movsd (%rax), %xmm1
subsd %xmm1, %xmm0
cvttsd2si %xmm0, %esi
callq 0x3480
movq %rax, -0x430(%rbp)
jmp 0x160f8
movq -0x430(%rbp), %rdi
leaq 0x43cf(%rip), %rsi      # 0x1a4d5
callq 0x3270
movq %rax, -0x438(%rbp)
jmp 0x16114
movq -0x438(%rbp), %rdi
movq 0x10e8e(%rip), %rsi     # 0x26fb0
callq 0x32b0
jmp 0x16129
movq -0x410(%rbp), %rdi
callq 0x15880
movq -0x410(%rbp), %rax
movsd %xmm0, 0x8(%rax)
leaq -0x408(%rbp), %rdi
callq 0x33a0
jmp 0x1614f
leaq -0x408(%rbp), %rdi
callq 0x33d0
leaq -0x1c8(%rbp), %rdi
callq 0x3180
leaq -0x198(%rbp), %rdi
callq 0x31e0
addq $0x440, %rsp            # imm = 0x440
popq %rbp
retq
leaq -0x1c8(%rbp), %rdi
callq 0x3180
leaq -0x198(%rbp), %rdi
callq 0x31e0
movq -0x1a0(%rbp), %rdi
callq 0x3490