// File: /workspace/github_cpp_makefile_star2_O3/JenTus[P]TCEM/src_TCEM/allocator.cc
// Function: Cide::allocator::writeInMasterOutputFile(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, float, float, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::set<int, std::less<int>, std::allocator<int>>, std::set<int, std::less<int>, std::allocator<int>>)
void allocator::writeInMasterOutputFile(const string& algorithm, float duration, float memory, string score, set<int> reds, set<int> blues) {
        // seed-node item mgScore totScore runTime(sec) memory(mb)
        outMasterStream << std::fixed<<std::setprecision(2) << algorithm << " & " << duration << " & " <<  memory << " & " << score <<  endl;
        set<int>::iterator it;

        outMasterStream << "red: ";
        for (it=reds.begin(); it!=reds.end(); ++it)
            outMasterStream << *it << " ";
        outMasterStream << endl;

        outMasterStream << "blue: ";
        for (it=blues.begin(); it!= blues.end(); ++it) {
            outMasterStream << *it << " ";
        }
        outMasterStream << endl;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %r8, %r14
movq %rcx, %r15
movq %rdx, %r12
movss %xmm1, 0x4(%rsp)
movss %xmm0, (%rsp)
leaq 0xb98(%rdi), %rbx
movq 0xb98(%rdi), %rax
movq -0x18(%rax), %rcx
movl $0xfffffefb, %edx       # imm = 0xFFFFFEFB
andl 0xbb0(%rdi,%rcx), %edx
orl $0x4, %edx
movl %edx, 0xbb0(%rdi,%rcx)
movq -0x18(%rax), %rax
movq $0x2, 0xba0(%rdi,%rax)
movq (%rsi), %rax
movq 0x8(%rsi), %rdx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3340
movq %rax, %rbp
leaq 0x7f9e(%rip), %r13      # 0x124d5
movl $0x3, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x3340
xorps %xmm0, %xmm0
cvtss2sd (%rsp), %xmm0
movq %rbp, %rdi
callq 0x3500
movq %rax, %rbp
movl $0x3, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x3340
xorps %xmm0, %xmm0
cvtss2sd 0x4(%rsp), %xmm0
movq %rbp, %rdi
callq 0x3500
movq %rax, %rbp
movl $0x3, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x3340
movq (%r12), %rsi
movq 0x8(%r12), %rdx
movq %rbp, %rdi
callq 0x3340
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x32d0
movsbl %al, %esi
movq %r12, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
leaq 0x7f09(%rip), %rsi      # 0x124d9
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3340
movq 0x18(%r15), %r12
addq $0x8, %r15
cmpq %r15, %r12
je 0xa61e
leaq 0x7c7e(%rip), %r13      # 0x1226f
movl 0x20(%r12), %esi
movq %rbx, %rdi
callq 0x3580
movl $0x1, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x3340
movq %r12, %rdi
callq 0x3350
movq %rax, %r12
cmpq %r15, %rax
jne 0xa5f1
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x32d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
leaq 0x7e93(%rip), %rsi      # 0x124df
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3340
movq 0x18(%r14), %r15
addq $0x8, %r14
cmpq %r14, %r15
je 0xa699
leaq 0x7c02(%rip), %r12      # 0x1226f
movl 0x20(%r15), %esi
movq %rbx, %rdi
callq 0x3580
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x3340
movq %r15, %rdi
callq 0x3350
movq %rax, %r15
cmpq %r14, %rax
jne 0xa66d
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x32d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x31e0